4081bbb3-84c7-40ae-bbd1-eed209f6c414
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 |
|---|---|---|---|---|
| 31283 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 110696 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 110697 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 110698 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 110699 | capability.graph | complete | 1 / 3 | 1 week ago |
| 110700 | detector.run | complete | 1 / 3 | 1 week ago |
| 110701 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:1180285] OpenAI Codex v0.77.0 (research preview)
[codex:1180285] --------
[codex:1180285] workdir: /tmp/codex-multi-jim4rjh7
[codex:1180285] model: gpt-5.2-codex
[codex:1180285] provider: openai
[codex:1180285] approval: never
[codex:1180285] sandbox: read-only
[codex:1180285] reasoning effort: xhigh
[codex:1180285] reasoning summaries: auto
[codex:1180285] session id: 019b7f66-c37b-7530-a913-16c3e0a17224
[codex:1180285] --------
[codex:1180285] user
[codex:1180285] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1180285]
[codex:1180285] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1180285]
[codex:1180285] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1180285] - Gas inefficiency, code quality, naming, or best practices
[codex:1180285] - Theoretical vulnerabilities without a clear extraction path
[codex:1180285] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1180285] - Front-running unless it enables theft beyond MEV
[codex:1180285] - DoS, griefing, or issues that don't result in attacker profit
[codex:1180285] - Missing events, view function issues, or informational findings
[codex:1180285]
[codex:1180285] HIGH-VALUE PATTERNS TO HUNT:
[codex:1180285] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1180285] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1180285] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1180285] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1180285] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1180285] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1180285] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1180285] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1180285] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1180285]
[codex:1180285] For each finding, you MUST provide:
[codex:1180285] 1. Exact file and line numbers of vulnerable code
[codex:1180285] 2. Step-by-step exploit transaction sequence
[codex:1180285] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1180285]
[codex:1180285] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1180285]
[codex:1180285] Output MUST be valid JSON matching the provided schema.
[codex:1180285] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1180285] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1180285] mcp startup: no servers
[codex:1180285]
[codex:1180285] thinking
[codex:1180285] **Preparing to read instructions**
[codex:1180285] exec
[codex:1180285] /bin/bash -lc ls in /tmp/codex-multi-jim4rjh7 succeeded in 7ms:
[codex:1180285] AUDIT_BUNDLE.txt
[codex:1180285] codex-output-schema.json
[codex:1180285] contracts
[codex:1180285] exec
[codex:1180285] /bin/bash -lc "sed -n '1,200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-jim4rjh7 succeeded in 5ms:
[codex:1180285] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1180285]
[codex:1180285] ================================================================================
[codex:1180285] FILE: contracts/src/Errors.sol
[codex:1180285] ================================================================================
[codex:1180285] // SPDX-License-Identifier: GPL-3.0
[codex:1180285] pragma solidity >=0.8.0 <0.9.0;
[codex:1180285]
[codex:1180285] /**
[codex:1180285] * @notice Thrown when the operation is not authorized
[codex:1180285] * @dev Signature "0x82b42900"
[codex:1180285] */
[codex:1180285] error Unauthorized();
[codex:1180285]
[codex:1180285] /**
[codex:1180285] * @notice Thrown if the address supplied is not valid
[codex:1180285] * @dev Signature "0xe6c4247b"
[codex:1180285] */
[codex:1180285] error InvalidAddress();
[codex:1180285]
[codex:1180285] exec
[codex:1180285] /bin/bash -lc "sed -n '200,400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-jim4rjh7 succeeded in 5ms:
[codex:1180285] return lockedAmount + pendingWithdrawalAmount;
[codex:1180285] }
[codex:1180285]
[codex:1180285] /**
[codex:1180285] * @notice Returns the amount of ETH that is pending withdrawal from Lido
[codex:1180285] * @return The amount of ETH pending withdrawal
[codex:1180285] */
[codex:1180285] function getPendingLidoETHAmount() public view virtual returns (uint256) {
[codex:1180285] VaultStorage storage $ = _getPufferVaultStorage();
[codex:1180285] return $.lidoLockedETH;
[codex:1180285] }
[codex:1180285]
[codex:1180285] /**
[codex:1180285] * @notice Deposits stETH into `stETH EigenLayer strategy`
[codex:1180285] * Restricted access
[codex:1180285] * @param amount the amount of stETH to deposit
[codex:1180285] */
[codex:1180285] function depositToEigenLayer(uint256 amount) external virtual restricted {
[codex:1180285] SafeERC20.safeIncreaseAllowance(_ST_ETH, address(_EIGEN_STRATEGY_MANAGER), amount);
[codex:1180285] _EIGEN_STRATEGY_MANAGER.depositIntoStrategy({ strategy: _EIGEN_STETH_STRATEGY, token: _ST_ETH, amount: amount });
[codex:1180285] exec
[codex:1180285] /bin/bash -lc "sed -n '400,800p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-jim4rjh7 succeeded in 6ms:
[codex:1180285] import { IStrategy } from "./interface/EigenLayer/IStrategy.sol";
[codex:1180285] import { IDelegationManager } from "./interface/EigenLayer/IDelegationManager.sol";
[codex:1180285] import { IWETH } from "./interface/Other/IWETH.sol";
[codex:1180285] import { IPufferVaultV2 } from "./interface/IPufferVaultV2.sol";
[codex:1180285] import { IPufferOracle } from "./interface/IPufferOracle.sol";
[codex:1180285] import { SafeERC20 } from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:1180285] import { EnumerableMap } from "@openzeppelin/contracts/utils/structs/EnumerableMap.sol";
[codex:1180285] import { Math } from "@openzeppelin/contracts/utils/math/Math.sol";
[codex:1180285] import { IERC20 } from "@openzeppelin/contracts/token/ERC20/IERC20.sol";
[codex:1180285] import { EnumerableSet } from "@openzeppelin/contracts/utils/structs/EnumerableSet.sol";
[codex:1180285]
[codex:1180285] /**
[codex:1180285] * @title PufferVaultV2
[codex:1180285] * @author Puffer Finance
[codex:1180285] * @custom:security-contact security@puffer.fi
[codex:1180285] */
[codex:1180285] contract PufferVaultV2 is PufferVault, IPufferVaultV2 {
[codex:1180285] using SafeERC20 for address;
[codex:1180285] using EnumerableMap for EnumerableMap.UintToUintMap;
[codex:1180285] using EnumerableSet for EnumerableSet.Bytes32Set;
[codex:1180285] exec
[codex:1180285] /bin/bash -lc "sed -n '800,1200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-jim4rjh7 succeeded in 5ms:
[codex:1180285] /**
[codex:1180285] * @notice Calculates the maximum amount of assets (WETH) that can be withdrawn by the `owner`.
[codex:1180285] * @dev This function considers both the remaining daily withdrawal limit and the `owner`'s balance.
[codex:1180285] * See {IERC4626-maxWithdraw}
[codex:1180285] * @param owner The address of the owner for which the maximum withdrawal amount is calculated.
[codex:1180285] * @return maxAssets The maximum amount of assets that can be withdrawn by the `owner`.
[codex:1180285] */
[codex:1180285] function maxWithdraw(address owner) public view virtual override returns (uint256 maxAssets) {
[codex:1180285] uint256 remainingAssets = getRemainingAssetsDailyWithdrawalLimit();
[codex:1180285] uint256 maxUserAssets = previewRedeem(balanceOf(owner));
[codex:1180285] return remainingAssets < maxUserAssets ? remainingAssets : maxUserAssets;
[codex:1180285] }
[codex:1180285]
[codex:1180285] /**
[codex:1180285] * @notice Calculates the maximum amount of shares (pufETH) that can be redeemed by the `owner`.
[codex:1180285] * @dev This function considers both the remaining daily withdrawal limit in terms of assets and converts it to shares, and the `owner`'s share balance.
[codex:1180285] * See {IERC4626-maxRedeem}
[codex:1180285] * @param owner The address of the owner for which the maximum redeemable shares are calculated.
[codex:1180285] * @return maxShares The maximum amount of shares that can be redeemed by the `owner`.
[codex:1180285] */
[codex:1180285] exec
[codex:1180285] /bin/bash -lc "sed -n '1200,1600p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-jim4rjh7 succeeded in 6ms:
[codex:1180285] /**
[codex:1180285] * @notice The batch size for the withdrawal manager
[codex:1180285] * @custom:oz-upgrades-unsafe-allow state-variable-immutable
[codex:1180285] */
[codex:1180285] PufferVaultV3 public immutable PUFFER_VAULT;
[codex:1180285] /**
[codex:1180285] * @notice The minimum withdrawal amount
[codex:1180285] * @custom:oz-upgrades-unsafe-allow state-variable-immutable
[codex:1180285] */
[codex:1180285] uint256 public constant MIN_WITHDRAWAL_AMOUNT = 0.01 ether;
[codex:1180285] /**
[codex:1180285] * @notice The WETH contract
[codex:1180285] * @custom:oz-upgrades-unsafe-allow state-variable-immutable
[codex:1180285] */
[codex:1180285] IWETH public immutable WETH;
[codex:1180285] /**
[codex:1180285] * @notice The batch size for the withdrawal manager
[codex:1180285] * @custom:oz-upgrades-unsafe-allow state-variable-immutable
[codex:1180285] */
[codex:1180285] uint256 public immutable BATCH_SIZE;
[codex:1180285] exec
[codex:1180285] /bin/bash -lc "sed -n '1600,2000p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-jim4rjh7 succeeded in 6ms:
[codex:1180285] * @dev +-----------------------------------------------------------+
[codex:1180285] * | |
[codex:1180285] * | DO NOT CHANGE, REORDER, REMOVE EXISTING STORAGE VARIABLES |
[codex:1180285] * | |
[codex:1180285] * +-----------------------------------------------------------+
[codex:1180285] */
[codex:1180285] struct WithdrawalBatch {
[codex:1180285] uint64 pufETHToETHExchangeRate; // packed slot 0
[codex:1180285] uint88 toBurn; // packed slot 0
[codex:1180285] uint96 toTransfer; // packed slot 0
[codex:1180285] uint128 withdrawalsClaimed; // packed slot 1
[codex:1180285] uint128 amountClaimed; // packed slot 1
[codex:1180285] }
[codex:1180285]
[codex:1180285] /**
[codex:1180285] * @custom:storage-location erc7201:WithdrawalManager.storage
[codex:1180285] * @dev +-----------------------------------------------------------+
[codex:1180285] * | |
[codex:1180285] * | DO NOT CHANGE, REORDER, REMOVE EXISTING STORAGE VARIABLES |
[codex:1180285] * | |
[codex:1180285]
[codex:1180285] thinking
[codex:1180285] **Completing audit file review**
[codex:1180285] exec
[codex:1180285] /bin/bash -lc "sed -n '2000,2400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-jim4rjh7 succeeded in 5ms:
[codex:1180285]
[codex:1180285] /**
[codex:1180285] * @dev Thrown when a withdrawal attempt is made with invalid parameters
[codex:1180285] */
[codex:1180285] error InvalidWithdrawal();
[codex:1180285] }
[codex:1180285]
[codex:1180285] ================================================================================
[codex:1180285] FILE: contracts/src/interface/IPufferVaultV2.sol
[codex:1180285] ================================================================================
[codex:1180285] // SPDX-License-Identifier: GPL-3.0
[codex:1180285] pragma solidity >=0.8.0 <0.9.0;
[codex:1180285]
[codex:1180285] import { IPufferVault } from "./IPufferVault.sol";
[codex:1180285]
[codex:1180285] /**
[codex:1180285] * @title IPufferVaultV2
[codex:1180285] * @author Puffer Finance
[codex:1180285] * @custom:security-contact security@puffer.fi
[codex:1180285] */
[codex:1180285] exec
[codex:1180285] /bin/bash -lc "sed -n '2400,2800p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-jim4rjh7 succeeded in 5ms:
[codex:1180285] /**
[codex:1180285] * @dev Process user deposit, mints liquid tokens and increase the pool buffer
[codex:1180285] * @param _referral address of referral.
[codex:1180285] * @return amount of StETH shares generated
[codex:1180285] */
[codex:1180285] function submit(address _referral) external payable returns (uint256);
[codex:1180285]
[codex:1180285] /**
[codex:1180285] * @notice Returns the number of shares owned by `_account`
[codex:1180285] */
[codex:1180285] function sharesOf(address _account) external view returns (uint256);
[codex:1180285] }
[codex:1180285]
[codex:1180285] ================================================================================
[codex:1180285] FILE: contracts/src/interface/Other/IWETH.sol
[codex:1180285] ================================================================================
[codex:1180285] // SPDX-License-Identifier: GPL-3.0
[codex:1180285] pragma solidity >=0.8.0 <0.9.0;
[codex:1180285]
[codex:1180285] import { IERC20 } from "@openzeppelin/contracts/token/ERC20/IERC20.sol";
[codex:1180285]
[codex:1180285]
[codex:1180285]
[codex:1180285]
[codex:1180285]
[codex:1180285]
[codex:1180285] thinking
[codex:1180285] **Analyzing potential exploit vectors**
[codex:1180285] thinking
[codex:1180285] **Evaluating withdrawal and oracle edge cases**
[codex:1180285]
[codex:1180285] I'm considering various edge cases around withdrawal limits, oracle-influenced totalAssets, and reentrancy—especially how locking, balances, and reward accounting interact. There’s interesting potential with manipulating totalAssets via lidoLockedETH adjustments during Lido withdrawals, but external calls restrict attacker influence. I’m closely examining timing, access control, and whether deposit-withdraw combos or share price rounding might offer profit, though none clearly yield exploitable gains yet.
[codex:1180285] thinking
[codex:1180285] **Analyzing asset valuation and fee handling nuances**
[codex:1180285]
[codex:1180285] I’m investigating how totalAssets valuation—especially oracle influence—affects request and finalization rates, and whether that can be manipulated to inflate withdrawal value. I’m also checking fee implementation in withdraw/redeem versus ETH wrapping to see if mismatches create issues. The complex interplay of access restrictions, transient storage, and ERC4626 overrides raises many possibilities, but no clear exploit emerges yet.
[codex:1180285] thinking
[codex:1180285] **Evaluating withdrawal rates and share minting edge cases**
[codex:1180285]
[codex:1180285] I’m exploring if differences between request and batch rates in withdrawals create leftover ETH and how restricted functions guard against misuse. The “first depositor” scenario with pre-existing assets caught my eye as a plausible edge case, especially involving locked ETH and share calculation during upgrades. I’m also analyzing potential integer truncation in batch transfers, depositETH rounding nuances, and underflow risks in totalAssets calculations to assess subtle vulnerabilities or denial-of-service conditions.
[codex:1180285] thinking
[codex:1180285] **Analyzing reentrancy and permission nuances**
[codex:1180285]
[codex:1180285] I’m sifting through potential reentrancy around WETH withdrawals and the interplay of deposit and withdrawal functions with access restrictions. The claim functions for Lido and EigenLayer caught my attention for their open calls, though they seem safe as ETH or tokens go to the vault, not the caller. I’m also checking upgrade initialization, allowance handling, and storage layout to spot subtle permission or logic gaps but finding no clear profit path.
[codex:1180285] thinking
[codex:1180285] **Preparing final results and output format**
[codex:1180285]
[codex:1180285] I’m wrapping up the analysis by confirming no concrete profit exploits exist and ensuring the final output matches the requested JSON schema with a minimal summary and empty findings array.
[codex:1180285] codex
[codex:1180285] {"no_findings":true,"summary":"No concrete, exploitable profit paths identified in the provided contracts.","findings":[]}
[codex:1180285] tokens used
[codex:1180285] 49,759
[codex:1180285] {"no_findings":true,"summary":"No concrete, exploitable profit paths identified in the provided contracts.","findings":[]}
{
"codex": {
"ran_at": "2026-01-02T15:57:11.064799+00:00",
"returncode": 0
},
"summary": "No concrete, exploitable profit paths identified in the provided contracts.",
"raw_final": {
"summary": "No concrete, exploitable profit paths identified in the provided contracts.",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0134 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x9ce7f670 00000018: GT 00000019: PUSH2 0x00a8 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0xbb21fd3d 00000023: GT 00000024: PUSH2 0x006d 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0xbb21fd3d 0000002e: EQ 0000002f: PUSH2 0x0479 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xbf7e214f 00000039: EQ 0000003a: PUSH2 0x0498 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xc4d66de8 00000044: EQ 00000045: PUSH2 0x04ac 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xd3e5792b 0000004f: EQ 00000050: PUSH2 0x04cb 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0xecb613ff 0000005a: EQ 0000005b: PUSH2 0x04e5 0000005e: JUMPI 0000005f: DUP1 00000060: PUSH4 0xef027fbf 00000065: EQ 00000066: PUSH2 0x0504 00000069: JUMPI 0000006a: PUSH0 0000006b: PUSH0 0000006c: REVERT 0000006d: JUMPDEST 0000006e: DUP1 0000006f: PUSH4 0x9ce7f670 00000074: EQ 00000075: PUSH2 0x03ab 00000078: JUMPI 00000079: DUP1 0000007a: PUSH4 0xa231d21b 0000007f: EQ 00000080: PUSH2 0x03cb 00000083: JUMPI 00000084: DUP1 00000085: PUSH4 0xad3cb1cc 0000008a: EQ 0000008b: PUSH2 0x03ea 0000008e: JUMPI 0000008f: DUP1 00000090: PUSH4 0xad5c4648 00000095: EQ 00000096: PUSH2 0x0427 00000099: JUMPI 0000009a: DUP1 0000009b: PUSH4 0xb3a6cf6c 000000a0: EQ 000000a1: PUSH2 0x045a 000000a4: JUMPI 000000a5: PUSH0 000000a6: PUSH0 000000a7: REVERT 000000a8: JUMPDEST 000000a9: DUP1 000000aa: PUSH4 0x5ac44282 000000af: GT 000000b0: PUSH2 0x00f9 000000b3: JUMPI 000000b4: DUP1 000000b5: PUSH4 0x5ac44282 000000ba: EQ 000000bb: PUSH2 0x0228 000000be: JUMPI 000000bf: DUP1 000000c0: PUSH4 0x6a4800a4 000000c5: EQ 000000c6: PUSH2 0x02b5 000000c9: JUMPI 000000ca: DUP1 000000cb: PUSH4 0x7a9e5e4b 000000d0: EQ 000000d1: PUSH2 0x02d4 000000d4: JUMPI 000000d5: DUP1 000000d6: PUSH4 0x8a4fb16a 000000db: EQ 000000dc: PUSH2 0x02f3 000000df: JUMPI 000000e0: DUP1 000000e1: PUSH4 0x8fb36037 000000e6: EQ 000000e7: PUSH2 0x034b 000000ea: JUMPI 000000eb: DUP1 000000ec: PUSH4 0x90294b42 000000f1: EQ 000000f2: PUSH2 0x0378 000000f5: JUMPI 000000f6: PUSH0 000000f7: PUSH0 000000f8: REVERT 000000f9: JUMPDEST 000000fa: DUP1 000000fb: PUSH4 0x2d9b7f4d 00000100: EQ 00000101: PUSH2 0x013f 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0x3e68b094 0000010b: EQ 0000010c: PUSH2 0x0181 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0x49faa4d4 00000116: EQ 00000117: PUSH2 0x01cc 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0x4f1ef286 00000121: EQ 00000122: PUSH2 0x01ff 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0x52d1902d 0000012c: EQ 0000012d: PUSH2 0x0214 00000130: JUMPI 00000131: PUSH0 00000132: PUSH0 00000133: REVERT 00000134: JUMPDEST 00000135: CALLDATASIZE 00000136: PUSH2 0x013b 00000139: JUMPI 0000013a: STOP 0000013b: JUMPDEST 0000013c: PUSH0 0000013d: PUSH0 0000013e: REVERT 0000013f: JUMPDEST 00000140: CALLVALUE 00000141: DUP1 00000142: ISZERO 00000143: PUSH2 0x014a 00000146: JUMPI 00000147: PUSH0 00000148: PUSH0 00000149: REVERT 0000014a: JUMPDEST 0000014b: POP 0000014c: PUSH32 0x2cc4e591e9323af22eeee6c9b0444863dad4345eb452e3c71b610fffca87e102 0000016d: SLOAD 0000016e: JUMPDEST 0000016f: PUSH1 0x40 00000171: MLOAD 00000172: SWAP1 00000173: DUP2 00000174: MSTORE 00000175: PUSH1 0x20 00000177: ADD 00000178: JUMPDEST 00000179: PUSH1 0x40 0000017b: MLOAD 0000017c: DUP1 0000017d: SWAP2 0000017e: SUB 0000017f: SWAP1 00000180: RETURN 00000181: JUMPDEST 00000182: CALLVALUE 00000183: DUP1 00000184: ISZERO 00000185: PUSH2 0x018c 00000188: JUMPI 00000189: PUSH0 0000018a: PUSH0 0000018b: REVERT 0000018c: JUMPDEST 0000018d: POP 0000018e: PUSH2 0x01b4 00000191: PUSH32 0x000000000000000000000000d9a442856c234a39a81a089c06451ebaa4306a72 000001b2: DUP2 000001b3: JUMP 000001b4: JUMPDEST 000001b5: PUSH1 0x40 000001b7: MLOAD 000001b8: PUSH1 0x01 000001ba: PUSH1 0x01 000001bc: PUSH1 0xa0 000001be: SHL 000001bf: SUB 000001c0: SWAP1 000001c1: SWAP2 000001c2: AND 000001c3: DUP2 000001c4: MSTORE 000001c5: PUSH1 0x20 000001c7: ADD 000001c8: PUSH2 0x0178 000001cb: JUMP 000001cc: JUMPDEST 000001cd: CALLVALUE 000001ce: DUP1 000001cf: ISZERO 000001d0: PUSH2 0x01d7 000001d3: JUMPI 000001d4: PUSH0 000001d5: PUSH0 000001d6: REVERT 000001d7: JUMPDEST 000001d8: POP 000001d9: PUSH2 0x016e 000001dc: PUSH32 0x000000000000000000000000000000000000000000000000000000000000000a 000001fd: DUP2 000001fe: JUMP 000001ff: JUMPDEST 00000200: PUSH2 0x0212 00000203: PUSH2 0x020d 00000206: CALLDATASIZE 00000207: PUSH1 0x04 00000209: PUSH2 0x2249 0000020c: JUMP 0000020d: JUMPDEST 0000020e: PUSH2 0x0523 00000211: JUMP 00000212: JUMPDEST 00000213: STOP 00000214: JUMPDEST 00000215: CALLVALUE 00000216: DUP1 00000217: ISZERO 00000218: PUSH2 0x021f 0000021b: JUMPI 0000021c: PUSH0 0000021d: PUSH0 0000021e: REVERT 0000021f: JUMPDEST 00000220: POP 00000221: PUSH2 0x016e 00000224: PUSH2 0x0542 00000227: JUMP 00000228: JUMPDEST 00000229: CALLVALUE 0000022a: DUP1 0000022b: ISZERO 0000022c: PUSH2 0x0233 0000022f: JUMPI 00000230: PUSH0 00000231: PUSH0 00000232: REVERT 00000233: JUMPDEST 00000234: POP 00000235: PUSH2 0x0247 00000238: PUSH2 0x0242 0000023b: CALLDATASIZE 0000023c: PUSH1 0x04 0000023e: PUSH2 0x230a 00000241: JUMP 00000242: JUMPDEST 00000243: PUSH2 0x055d 00000246: JUMP 00000247: JUMPDEST 00000248: PUSH1 0x40 0000024a: MLOAD 0000024b: PUSH2 0x0178 0000024e: SWAP2 0000024f: SWAP1 00000250: PUSH0 00000251: PUSH1 0xa0 00000253: DUP3 00000254: ADD 00000255: SWAP1 00000256: POP 00000257: PUSH1 0x01 00000259: PUSH1 0x01 0000025b: PUSH1 0x40 0000025d: SHL 0000025e: SUB 0000025f: DUP4 00000260: MLOAD 00000261: AND 00000262: DUP3 00000263: MSTORE 00000264: PUSH1 0x01 00000266: PUSH1 0x01 00000268: PUSH1 0x58 0000026a: SHL 0000026b: SUB 0000026c: PUSH1 0x20 0000026e: DUP5 0000026f: ADD 00000270: MLOAD 00000271: AND 00000272: PUSH1 0x20 00000274: DUP4 00000275: ADD 00000276: MSTORE 00000277: PUSH1 0x01 00000279: PUSH1 0x01 0000027b: PUSH1 0x60 0000027d: SHL 0000027e: SUB 0000027f: PUSH1 0x40 00000281: DUP5 00000282: ADD 00000283: MLOAD 00000284: AND 00000285: PUSH1 0x40 00000287: DUP4 00000288: ADD 00000289: MSTORE 0000028a: PUSH1 0x01 0000028c: PUSH1 0x01 0000028e: PUSH1 0x80 00000290: SHL 00000291: SUB 00000292: PUSH1 0x60 00000294: DUP5 00000295: ADD 00000296: MLOAD 00000297: AND 00000298: PUSH1 0x60 0000029a: DUP4 0000029b: ADD 0000029c: MSTORE 0000029d: PUSH1 0x01 0000029f: PUSH1 0x01 000002a1: PUSH1 0x80 000002a3: SHL 000002a4: SUB 000002a5: PUSH1 0x80 000002a7: DUP5 000002a8: ADD 000002a9: MLOAD 000002aa: AND 000002ab: PUSH1 0x80 000002ad: DUP4 000002ae: ADD 000002af: MSTORE 000002b0: SWAP3 000002b1: SWAP2 000002b2: POP 000002b3: POP 000002b4: JUMP 000002b5: JUMPDEST 000002b6: CALLVALUE 000002b7: DUP1 000002b8: ISZERO 000002b9: PUSH2 0x02c0 000002bc: JUMPI 000002bd: PUSH0 000002be: PUSH0 000002bf: REVERT 000002c0: JUMPDEST 000002c1: POP 000002c2: PUSH2 0x0212 000002c5: PUSH2 0x02cf 000002c8: CALLDATASIZE 000002c9: PUSH1 0x04 000002cb: PUSH2 0x230a 000002ce: JUMP 000002cf: JUMPDEST 000002d0: PUSH2 0x0686 000002d3: JUMP 000002d4: JUMPDEST 000002d5: CALLVALUE 000002d6: DUP1 000002d7: ISZERO 000002d8: PUSH2 0x02df 000002db: JUMPI 000002dc: PUSH0 000002dd: PUSH0 000002de: REVERT 000002df: JUMPDEST 000002e0: POP 000002e1: PUSH2 0x0212 000002e4: PUSH2 0x02ee 000002e7: CALLDATASIZE 000002e8: PUSH1 0x04 000002ea: PUSH2 0x2321 000002ed: JUMP 000002ee: JUMPDEST 000002ef: PUSH2 0x0a39 000002f2: JUMP 000002f3: JUMPDEST 000002f4: CALLVALUE 000002f5: DUP1 000002f6: ISZERO 000002f7: PUSH2 0x02fe 000002fa: JUMPI 000002fb: PUSH0 000002fc: PUSH0 000002fd: REVERT 000002fe: JUMPDEST 000002ff: POP 00000300: PUSH2 0x0312 00000303: PUSH2 0x030d 00000306: CALLDATASIZE 00000307: PUSH1 0x04 00000309: PUSH2 0x230a 0000030c: JUMP 0000030d: JUMPDEST 0000030e: PUSH2 0x0ac0 00000311: JUMP 00000312: JUMPDEST 00000313: PUSH1 0x40 00000315: DUP1 00000316: MLOAD 00000317: DUP3 00000318: MLOAD 00000319: PUSH1 0x01 0000031b: PUSH1 0x01 0000031d: PUSH1 0x80 0000031f: SHL 00000320: SUB 00000321: SWAP1 00000322: DUP2 00000323: AND 00000324: DUP3 00000325: MSTORE 00000326: PUSH1 0x20 00000328: DUP1 00000329: DUP6 0000032a: ADD 0000032b: MLOAD 0000032c: SWAP1 0000032d: SWAP2 0000032e: AND 0000032f: SWAP1 00000330: DUP3 00000331: ADD 00000332: MSTORE 00000333: SWAP2 00000334: DUP2 00000335: ADD 00000336: MLOAD 00000337: PUSH1 0x01 00000339: PUSH1 0x01 0000033b: PUSH1 0xa0 0000033d: SHL 0000033e: SUB 0000033f: AND 00000340: SWAP1 00000341: DUP3 00000342: ADD 00000343: MSTORE 00000344: PUSH1 0x60 00000346: ADD 00000347: PUSH2 0x0178 0000034a: JUMP 0000034b: JUMPDEST 0000034c: CALLVALUE 0000034d: DUP1 0000034e: ISZERO 0000034f: PUSH2 0x0356 00000352: JUMPI 00000353: PUSH0 00000354: PUSH0 00000355: REVERT 00000356: JUMPDEST 00000357: POP 00000358: PUSH2 0x035f 0000035b: PUSH2 0x0ba3 0000035e: JUMP 0000035f: JUMPDEST 00000360: PUSH1 0x40 00000362: MLOAD 00000363: PUSH1 0x01 00000365: PUSH1 0x01 00000367: PUSH1 0xe0 00000369: SHL 0000036a: SUB 0000036b: NOT 0000036c: SWAP1 0000036d: SWAP2 0000036e: AND 0000036f: DUP2 00000370: MSTORE 00000371: PUSH1 0x20 00000373: ADD 00000374: PUSH2 0x0178 00000377: JUMP 00000378: JUMPDEST 00000379: CALLVALUE 0000037a: DUP1 0000037b: ISZERO 0000037c: PUSH2 0x0383 0000037f: JUMPI 00000380: PUSH0 00000381: PUSH0 00000382: REVERT 00000383: JUMPDEST 00000384: POP 00000385: PUSH32 0x2cc4e591e9323af22eeee6c9b0444863dad4345eb452e3c71b610fffca87e101 000003a6: SLOAD 000003a7: PUSH2 0x016e 000003aa: JUMP 000003ab: JUMPDEST 000003ac: CALLVALUE 000003ad: DUP1 000003ae: ISZERO 000003af: PUSH2 0x03b6 000003b2: JUMPI 000003b3: PUSH0 000003b4: PUSH0 000003b5: REVERT 000003b6: JUMPDEST 000003b7: POP 000003b8: PUSH0 000003b9: MLOAD 000003ba: PUSH1 0x20 000003bc: PUSH2 0x273b 000003bf: PUSH0 000003c0: CODECOPY 000003c1: PUSH0 000003c2: MLOAD 000003c3: SWAP1 000003c4: PUSH0 000003c5: MSTORE 000003c6: SLOAD 000003c7: PUSH2 0x016e 000003ca: JUMP 000003cb: JUMPDEST 000003cc: CALLVALUE 000003cd: DUP1 000003ce: ISZERO 000003cf: PUSH2 0x03d6 000003d2: JUMPI 000003d3: PUSH0 000003d4: PUSH0 000003d5: REVERT 000003d6: JUMPDEST 000003d7: POP 000003d8: PUSH2 0x0212 000003db: PUSH2 0x03e5 000003de: CALLDATASIZE 000003df: PUSH1 0x04 000003e1: PUSH2 0x233a 000003e4: JUMP 000003e5: JUMPDEST 000003e6: PUSH2 0x0bd9 000003e9: JUMP 000003ea: JUMPDEST 000003eb: CALLVALUE 000003ec: DUP1 000003ed: ISZERO 000003ee: PUSH2 0x03f5 000003f1: JUMPI 000003f2: PUSH0 000003f3: PUSH0 000003f4: REVERT 000003f5: JUMPDEST 000003f6: POP 000003f7: PUSH2 0x041a 000003fa: PUSH1 0x40 000003fc: MLOAD 000003fd: DUP1 000003fe: PUSH1 0x40 00000400: ADD 00000401: PUSH1 0x40 00000403: MSTORE 00000404: DUP1 00000405: PUSH1 0x05 00000407: DUP2 00000408: MSTORE 00000409: PUSH1 0x20 0000040b: ADD 0000040c: PUSH5 0x0352e302e3 00000412: PUSH1 0xdc 00000414: SHL 00000415: DUP2 00000416: MSTORE 00000417: POP 00000418: DUP2 00000419: JUMP 0000041a: JUMPDEST 0000041b: PUSH1 0x40 0000041d: MLOAD 0000041e: PUSH2 0x0178 00000421: SWAP2 00000422: SWAP1 00000423: PUSH2 0x2372 00000426: JUMP 00000427: JUMPDEST 00000428: CALLVALUE 00000429: DUP1 0000042a: ISZERO 0000042b: PUSH2 0x0432 0000042e: JUMPI 0000042f: PUSH0 00000430: PUSH0 00000431: REVERT 00000432: JUMPDEST 00000433: POP 00000434: PUSH2 0x01b4 00000437: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00000458: DUP2 00000459: JUMP 0000045a: JUMPDEST 0000045b: CALLVALUE 0000045c: DUP1 0000045d: ISZERO 0000045e: PUSH2 0x0465 00000461: JUMPI 00000462: PUSH0 00000463: PUSH0 00000464: REVERT 00000465: JUMPDEST 00000466: POP 00000467: PUSH2 0x0212 0000046a: PUSH2 0x0474 0000046d: CALLDATASIZE 0000046e: PUSH1 0x04 00000470: PUSH2 0x230a 00000473: JUMP 00000474: JUMPDEST 00000475: PUSH2 0x0cba 00000478: JUMP 00000479: JUMPDEST 0000047a: CALLVALUE 0000047b: DUP1 0000047c: ISZERO 0000047d: PUSH2 0x0484 00000480: JUMPI 00000481: PUSH0 00000482: PUSH0 00000483: REVERT 00000484: JUMPDEST 00000485: POP 00000486: PUSH2 0x0212 00000489: PUSH2 0x0493 0000048c: CALLDATASIZE 0000048d: PUSH1 0x04 0000048f: PUSH2 0x230a 00000492: JUMP 00000493: JUMPDEST 00000494: PUSH2 0x0fe1 00000497: JUMP 00000498: JUMPDEST 00000499: CALLVALUE 0000049a: DUP1 0000049b: ISZERO 0000049c: PUSH2 0x04a3 0000049f: JUMPI 000004a0: PUSH0 000004a1: PUSH0 000004a2: REVERT 000004a3: JUMPDEST 000004a4: POP 000004a5: PUSH2 0x01b4 000004a8: PUSH2 0x105d 000004ab: JUMP 000004ac: JUMPDEST 000004ad: CALLVALUE 000004ae: DUP1 000004af: ISZERO 000004b0: PUSH2 0x04b7 000004b3: JUMPI 000004b4: PUSH0 000004b5: PUSH0 000004b6: REVERT 000004b7: JUMPDEST 000004b8: POP 000004b9: PUSH2 0x0212 000004bc: PUSH2 0x04c6 000004bf: CALLDATASIZE 000004c0: PUSH1 0x04 000004c2: PUSH2 0x2321 000004c5: JUMP 000004c6: JUMPDEST 000004c7: PUSH2 0x1078 000004ca: JUMP 000004cb: JUMPDEST 000004cc: CALLVALUE 000004cd: DUP1 000004ce: ISZERO 000004cf: PUSH2 0x04d6 000004d2: JUMPI 000004d3: PUSH0 000004d4: PUSH0 000004d5: REVERT 000004d6: JUMPDEST 000004d7: POP 000004d8: PUSH2 0x016e 000004db: PUSH7 0x2386f26fc10000 000004e3: DUP2 000004e4: JUMP 000004e5: JUMPDEST 000004e6: CALLVALUE 000004e7: DUP1 000004e8: ISZERO 000004e9: PUSH2 0x04f0 000004ec: JUMPI 000004ed: PUSH0 000004ee: PUSH0 000004ef: REVERT 000004f0: JUMPDEST 000004f1: POP 000004f2: PUSH2 0x0212 000004f5: PUSH2 0x04ff 000004f8: CALLDATASIZE 000004f9: PUSH1 0x04 000004fb: PUSH2 0x23a7 000004fe: JUMP 000004ff: JUMPDEST 00000500: PUSH2 0x130a 00000503: JUMP 00000504: JUMPDEST 00000505: CALLVALUE 00000506: DUP1 00000507: ISZERO 00000508: PUSH2 0x050f 0000050b: JUMPI 0000050c: PUSH0 0000050d: PUSH0 0000050e: REVERT 0000050f: JUMPDEST 00000510: POP 00000511: PUSH2 0x0212 00000514: PUSH2 0x051e 00000517: CALLDATASIZE 00000518: PUSH1 0x04 0000051a: PUSH2 0x2416 0000051d: JUMP 0000051e: JUMPDEST 0000051f: PUSH2 0x1586 00000522: JUMP 00000523: JUMPDEST 00000524: PUSH2 0x052b 00000527: PUSH2 0x1599 0000052a: JUMP 0000052b: JUMPDEST 0000052c: PUSH2 0x0534 0000052f: DUP3 00000530: PUSH2 0x163f 00000533: JUMP 00000534: JUMPDEST 00000535: PUSH2 0x053e 00000538: DUP3 00000539: DUP3 0000053a: PUSH2 0x16eb 0000053d: JUMP 0000053e: JUMPDEST 0000053f: POP 00000540: POP 00000541: JUMP 00000542: JUMPDEST 00000543: PUSH0 00000544: PUSH2 0x054b 00000547: PUSH2 0x17ac 0000054a: JUMP 0000054b: JUMPDEST 0000054c: POP 0000054d: PUSH0 0000054e: MLOAD 0000054f: PUSH1 0x20 00000551: PUSH2 0x271b 00000554: PUSH0 00000555: CODECOPY 00000556: PUSH0 00000557: MLOAD 00000558: SWAP1 00000559: PUSH0 0000055a: MSTORE 0000055b: SWAP1 0000055c: JUMP 0000055d: JUMPDEST 0000055e: PUSH1 0x40 00000560: DUP1 00000561: MLOAD 00000562: PUSH1 0xa0 00000564: DUP2 00000565: ADD 00000566: DUP3 00000567: MSTORE 00000568: PUSH0 00000569: DUP1 0000056a: DUP3 0000056b: MSTORE 0000056c: PUSH1 0x20 0000056e: DUP3 0000056f: ADD 00000570: DUP2 00000571: SWAP1 00000572: MSTORE 00000573: SWAP2 00000574: DUP2 00000575: ADD 00000576: DUP3 00000577: SWAP1 00000578: MSTORE 00000579: PUSH1 0x60 0000057b: DUP2 0000057c: ADD 0000057d: DUP3 0000057e: SWAP1 0000057f: MSTORE 00000580: PUSH1 0x80 00000582: DUP2 00000583: ADD 00000584: SWAP2 00000585: SWAP1 00000586: SWAP2 00000587: MSTORE 00000588: PUSH32 0x2cc4e591e9323af22eeee6c9b0444863dad4345eb452e3c71b610fffca87e103 000005a9: SLOAD 000005aa: PUSH0 000005ab: MLOAD 000005ac: PUSH1 0x20 000005ae: PUSH2 0x273b 000005b1: PUSH0 000005b2: CODECOPY 000005b3: PUSH0 000005b4: MLOAD 000005b5: SWAP1 000005b6: PUSH0 000005b7: MSTORE 000005b8: SWAP1 000005b9: DUP4 000005ba: LT 000005bb: PUSH2 0x05ef 000005be: JUMPI 000005bf: POP 000005c0: POP 000005c1: PUSH1 0x40 000005c3: DUP1 000005c4: MLOAD 000005c5: PUSH1 0xa0 000005c7: DUP2 000005c8: ADD 000005c9: DUP3 000005ca: MSTORE 000005cb: PUSH0 000005cc: DUP1 000005cd: DUP3 000005ce: MSTORE 000005cf: PUSH1 0x20 000005d1: DUP3 000005d2: ADD 000005d3: DUP2 000005d4: SWAP1 000005d5: MSTORE 000005d6: SWAP2 000005d7: DUP2 000005d8: ADD 000005d9: DUP3 000005da: SWAP1 000005db: MSTORE 000005dc: PUSH1 0x60 000005de: DUP2 000005df: ADD 000005e0: DUP3 000005e1: SWAP1 000005e2: MSTORE 000005e3: PUSH1 0x80 000005e5: DUP2 000005e6: ADD 000005e7: SWAP2 000005e8: SWAP1 000005e9: SWAP2 000005ea: MSTORE 000005eb: SWAP2 000005ec: SWAP1 000005ed: POP 000005ee: JUMP 000005ef: JUMPDEST 000005f0: DUP1 000005f1: PUSH1 0x03 000005f3: ADD 000005f4: DUP4 000005f5: DUP2 000005f6: SLOAD 000005f7: DUP2 000005f8: LT 000005f9: PUSH2 0x0604 000005fc: JUMPI 000005fd: PUSH2 0x0604 00000600: PUSH2 0x244b 00000603: JUMP 00000604: JUMPDEST 00000605: PUSH0 00000606: SWAP2 00000607: DUP3 00000608: MSTORE 00000609: PUSH1 0x20 0000060b: SWAP2 0000060c: DUP3 0000060d: SWAP1 0000060e: KECCAK256 0000060f: PUSH1 0x40 00000611: DUP1 00000612: MLOAD 00000613: PUSH1 0xa0 00000615: DUP2 00000616: ADD 00000617: DUP3 00000618: MSTORE 00000619: PUSH1 0x02 0000061b: SWAP4 0000061c: SWAP1 0000061d: SWAP4 0000061e: MUL 0000061f: SWAP1 00000620: SWAP2 00000621: ADD 00000622: DUP1 00000623: SLOAD 00000624: PUSH1 0x01 00000626: PUSH1 0x01 00000628: PUSH1 0x40 0000062a: SHL 0000062b: SUB 0000062c: DUP2 0000062d: AND 0000062e: DUP5 0000062f: MSTORE 00000630: PUSH1 0x01 00000632: PUSH1 0x40 00000634: SHL 00000635: DUP2 00000636: DIV 00000637: PUSH1 0x01 00000639: PUSH1 0x01 0000063b: PUSH1 0x58 0000063d: SHL 0000063e: SUB 0000063f: AND 00000640: SWAP5 00000641: DUP5 00000642: ADD 00000643: SWAP5 00000644: SWAP1 00000645: SWAP5 00000646: MSTORE 00000647: PUSH1 0x01 00000649: PUSH1 0x98 0000064b: SHL 0000064c: SWAP1 0000064d: SWAP4 0000064e: DIV 0000064f: PUSH1 0x01 00000651: PUSH1 0x01 00000653: PUSH1 0x60 00000655: SHL 00000656: SUB 00000657: AND 00000658: SWAP1 00000659: DUP3 0000065a: ADD 0000065b: MSTORE 0000065c: PUSH1 0x01 0000065e: SWAP1 0000065f: SWAP2 00000660: ADD 00000661: SLOAD 00000662: PUSH1 0x01 00000664: PUSH1 0x01 00000666: PUSH1 0x80 00000668: SHL 00000669: SUB 0000066a: DUP1 0000066b: DUP3 0000066c: AND 0000066d: PUSH1 0x60 0000066f: DUP5 00000670: ADD 00000671: MSTORE 00000672: PUSH1 0x01 00000674: PUSH1 0x80 00000676: SHL 00000677: SWAP1 00000678: SWAP2 00000679: DIV 0000067a: AND 0000067b: PUSH1 0x80 0000067d: DUP3 0000067e: ADD 0000067f: MSTORE 00000680: SWAP4 00000681: SWAP3 00000682: POP 00000683: POP 00000684: POP 00000685: JUMP 00000686: JUMPDEST 00000687: PUSH2 0x0692 0000068a: CALLER 0000068b: JUMPDEST 0000068c: PUSH0 0000068d: CALLDATASIZE 0000068e: PUSH2 0x17f5 00000691: JUMP 00000692: JUMPDEST 00000693: PUSH0 00000694: MLOAD 00000695: PUSH1 0x20 00000697: PUSH2 0x273b 0000069a: PUSH0 0000069b: CODECOPY 0000069c: PUSH0 0000069d: MLOAD 0000069e: SWAP1 0000069f: PUSH0 000006a0: MSTORE 000006a1: PUSH0 000006a2: PUSH2 0x06cb 000006a5: PUSH32 0x000000000000000000000000000000000000000000000000000000000000000a 000006c6: DUP5 000006c7: PUSH2 0x2473 000006ca: JUMP 000006cb: JUMPDEST 000006cc: SWAP1 000006cd: POP 000006ce: DUP2 000006cf: PUSH1 0x01 000006d1: ADD 000006d2: SLOAD 000006d3: DUP2 000006d4: GT 000006d5: ISZERO 000006d6: PUSH2 0x06f2 000006d9: JUMPI 000006da: PUSH1 0x40 000006dc: MLOAD 000006dd: PUSH4 0x0df706ad 000006e2: PUSH1 0xe1 000006e4: SHL 000006e5: DUP2 000006e6: MSTORE 000006e7: PUSH1 0x04 000006e9: ADD 000006ea: PUSH1 0x40 000006ec: MLOAD 000006ed: DUP1 000006ee: SWAP2 000006ef: SUB 000006f0: SWAP1 000006f1: REVERT 000006f2: JUMPDEST 000006f3: PUSH0 000006f4: DUP3 000006f5: PUSH1 0x02 000006f7: ADD 000006f8: DUP5 000006f9: DUP2 000006fa: SLOAD 000006fb: DUP2 000006fc: LT 000006fd: PUSH2 0x0708 00000700: JUMPI 00000701: PUSH2 0x0708 00000704: PUSH2 0x244b 00000707: JUMP 00000708: JUMPDEST 00000709: PUSH0 0000070a: SWAP2 0000070b: DUP3 0000070c: MSTORE 0000070d: PUSH1 0x20 0000070f: SWAP1 00000710: SWAP2 00000711: KECCAK256 00000712: PUSH1 0x02 00000714: SWAP1 00000715: SWAP2 00000716: MUL 00000717: ADD 00000718: PUSH1 0x01 0000071a: DUP2 0000071b: ADD 0000071c: SLOAD 0000071d: SWAP1 0000071e: SWAP2 0000071f: POP 00000720: PUSH1 0x01 00000722: PUSH1 0x01 00000724: PUSH1 0xa0 00000726: SHL 00000727: SUB 00000728: AND 00000729: PUSH2 0x0745 0000072c: JUMPI 0000072d: PUSH1 0x40 0000072f: MLOAD 00000730: PUSH4 0x55780d0f 00000735: PUSH1 0xe1 00000737: SHL 00000738: DUP2 00000739: MSTORE 0000073a: PUSH1 0x04 0000073c: ADD 0000073d: PUSH1 0x40 0000073f: MLOAD 00000740: DUP1 00000741: SWAP2 00000742: SUB 00000743: SWAP1 00000744: REVERT 00000745: JUMPDEST 00000746: PUSH0 00000747: DUP4 00000748: PUSH1 0x03 0000074a: ADD 0000074b: DUP4 0000074c: DUP2 0000074d: SLOAD 0000074e: DUP2 0000074f: LT 00000750: PUSH2 0x075b 00000753: JUMPI 00000754: PUSH2 0x075b 00000757: PUSH2 0x244b 0000075a: JUMP 0000075b: JUMPDEST 0000075c: PUSH0 0000075d: SWAP2 0000075e: DUP3 0000075f: MSTORE 00000760: PUSH1 0x20 00000762: DUP3 00000763: KECCAK256 00000764: PUSH1 0x02 00000766: SWAP1 00000767: SWAP2 00000768: MUL 00000769: ADD 0000076a: SLOAD 0000076b: DUP4 0000076c: SLOAD 0000076d: PUSH1 0x01 0000076f: PUSH1 0x01 00000771: PUSH1 0x40 00000773: SHL 00000774: SUB 00000775: SWAP1 00000776: SWAP2 00000777: AND 00000778: SWAP3 00000779: POP 0000077a: PUSH2 0x0794 0000077d: SWAP1 0000077e: PUSH1 0x01 00000780: PUSH1 0x01 00000782: PUSH1 0x80 00000784: SHL 00000785: SUB 00000786: PUSH1 0x01 00000788: PUSH1 0x80 0000078a: SHL 0000078b: SWAP1 0000078c: SWAP2 0000078d: DIV 0000078e: AND 0000078f: DUP4 00000790: PUSH2 0x18eb 00000793: JUMP 00000794: JUMPDEST 00000795: DUP4 00000796: SLOAD 00000797: SWAP1 00000798: SWAP2 00000799: POP 0000079a: PUSH0 0000079b: SWAP1 0000079c: PUSH8 0x0de0b6b3a7640000 000007a5: SWAP1 000007a6: PUSH2 0x07b9 000007a9: SWAP1 000007aa: DUP5 000007ab: SWAP1 000007ac: PUSH1 0x01 000007ae: PUSH1 0x01 000007b0: PUSH1 0x80 000007b2: SHL 000007b3: SUB 000007b4: AND 000007b5: PUSH2 0x2492 000007b8: JUMP 000007b9: JUMPDEST 000007ba: PUSH2 0x07c3 000007bd: SWAP2 000007be: SWAP1 000007bf: PUSH2 0x2473 000007c2: JUMP 000007c3: JUMPDEST 000007c4: PUSH1 0x01 000007c6: DUP6 000007c7: ADD 000007c8: SLOAD 000007c9: PUSH1 0x03 000007cb: DUP9 000007cc: ADD 000007cd: DUP1 000007ce: SLOAD 000007cf: SWAP3 000007d0: SWAP4 000007d1: POP 000007d2: PUSH1 0x01 000007d4: PUSH1 0x01 000007d6: PUSH1 0xa0 000007d8: SHL 000007d9: SUB 000007da: SWAP1 000007db: SWAP2 000007dc: AND 000007dd: SWAP2 000007de: DUP8 000007df: SWAP1 000007e0: DUP2 000007e1: LT 000007e2: PUSH2 0x07ed 000007e5: JUMPI 000007e6: PUSH2 0x07ed 000007e9: PUSH2 0x244b 000007ec: JUMP 000007ed: JUMPDEST 000007ee: PUSH0 000007ef: SWAP2 000007f0: DUP3 000007f1: MSTORE 000007f2: PUSH1 0x20 000007f4: DUP3 000007f5: KECCAK256 000007f6: PUSH1 0x01 000007f8: PUSH1 0x02 000007fa: SWAP1 000007fb: SWAP3 000007fc: MUL 000007fd: ADD 000007fe: ADD 000007ff: DUP1 00000800: SLOAD 00000801: SWAP1 00000802: SWAP2 00000803: SWAP1 00000804: PUSH2 0x0815 00000807: SWAP1 00000808: PUSH1 0x01 0000080a: PUSH1 0x01 0000080c: PUSH1 0x80 0000080e: SHL 0000080f: SUB 00000810: AND 00000811: PUSH2 0x24a9 00000814: JUMP 00000815: JUMPDEST 00000816: SWAP2 00000817: SWAP1 00000818: PUSH2 0x0100 0000081b: EXP 0000081c: DUP2 0000081d: SLOAD 0000081e: DUP2 0000081f: PUSH1 0x01 00000821: PUSH1 0x01 00000823: PUSH1 0x80 00000825: SHL 00000826: SUB 00000827: MUL 00000828: NOT 00000829: AND 0000082a: SWAP1 0000082b: DUP4 0000082c: PUSH1 0x01 0000082e: PUSH1 0x01 00000830: PUSH1 0x80 00000832: SHL 00000833: SUB 00000834: AND 00000835: MUL 00000836: OR 00000837: SWAP1 00000838: SSTORE 00000839: POP 0000083a: PUSH2 0x0842 0000083d: DUP3 0000083e: PUSH2 0x1904 00000841: JUMP 00000842: JUMPDEST 00000843: DUP8 00000844: PUSH1 0x03 00000846: ADD 00000847: DUP8 00000848: DUP2 00000849: SLOAD 0000084a: DUP2 0000084b: LT 0000084c: PUSH2 0x0857 0000084f: JUMPI 00000850: PUSH2 0x0857 00000853: PUSH2 0x244b 00000856: JUMP 00000857: JUMPDEST 00000858: SWAP1 00000859: PUSH0 0000085a: MSTORE 0000085b: PUSH1 0x20 0000085d: PUSH0 0000085e: KECCAK256 0000085f: SWAP1 00000860: PUSH1 0x02 00000862: MUL 00000863: ADD 00000864: PUSH1 0x01 00000866: ADD 00000867: PUSH1 0x10 00000869: DUP3 0000086a: DUP3 0000086b: DUP3 0000086c: SWAP1 0000086d: SLOAD 0000086e: SWAP1 0000086f: PUSH2 0x0100 00000872: EXP 00000873: SWAP1 00000874: DIV 00000875: PUSH1 0x01 00000877: PUSH1 0x01 00000879: PUSH1 0x80 0000087b: SHL 0000087c: SUB 0000087d: AND 0000087e: PUSH2 0x0887 00000881: SWAP2 00000882: SWAP1 00000883: PUSH2 0x24d3 00000886: JUMP 00000887: JUMPDEST 00000888: SWAP3 00000889: POP 0000088a: PUSH2 0x0100 0000088d: EXP 0000088e: DUP2 0000088f: SLOAD 00000890: DUP2 00000891: PUSH1 0x01 00000893: PUSH1 0x01 00000895: PUSH1 0x80 00000897: SHL 00000898: SUB 00000899: MUL 0000089a: NOT 0000089b: AND 0000089c: SWAP1 0000089d: DUP4 0000089e: PUSH1 0x01 000008a0: PUSH1 0x01 000008a2: PUSH1 0x80 000008a4: SHL 000008a5: SUB 000008a6: AND 000008a7: MUL 000008a8: OR 000008a9: SWAP1 000008aa: SSTORE 000008ab: POP 000008ac: DUP7 000008ad: PUSH1 0x02 000008af: ADD 000008b0: DUP9 000008b1: DUP2 000008b2: SLOAD 000008b3: DUP2 000008b4: LT 000008b5: PUSH2 0x08c0 000008b8: JUMPI 000008b9: PUSH2 0x08c0 000008bc: PUSH2 0x244b 000008bf: JUMP 000008c0: JUMPDEST 000008c1: PUSH0 000008c2: SWAP2 000008c3: DUP3 000008c4: MSTORE 000008c5: PUSH1 0x20 000008c7: DUP3 000008c8: KECCAK256 000008c9: PUSH1 0x02 000008cb: SWAP1 000008cc: SWAP2 000008cd: MUL 000008ce: ADD 000008cf: DUP2 000008d0: DUP2 000008d1: SSTORE 000008d2: PUSH1 0x01 000008d4: ADD 000008d5: DUP1 000008d6: SLOAD 000008d7: PUSH1 0x01 000008d9: PUSH1 0x01 000008db: PUSH1 0xa0 000008dd: SHL 000008de: SUB 000008df: NOT 000008e0: AND 000008e1: SWAP1 000008e2: SSTORE 000008e3: PUSH1 0x40 000008e5: DUP1 000008e6: MLOAD 000008e7: PUSH4 0x0d0e30db 000008ec: PUSH1 0xe4 000008ee: SHL 000008ef: DUP2 000008f0: MSTORE 000008f1: SWAP1 000008f2: MLOAD 000008f3: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00000914: PUSH1 0x01 00000916: PUSH1 0x01 00000918: PUSH1 0xa0 0000091a: SHL 0000091b: SUB 0000091c: AND 0000091d: SWAP3 0000091e: PUSH4 0xd0e30db0 00000923: SWAP3 00000924: DUP7 00000925: SWAP3 00000926: PUSH1 0x04 00000928: DUP1 00000929: DUP4 0000092a: ADD 0000092b: SWAP4 0000092c: SWAP3 0000092d: DUP3 0000092e: SWAP1 0000092f: SUB 00000930: ADD 00000931: DUP2 00000932: DUP6 00000933: DUP9 00000934: DUP1 00000935: EXTCODESIZE 00000936: ISZERO 00000937: DUP1 00000938: ISZERO 00000939: PUSH2 0x0940 0000093c: JUMPI 0000093d: PUSH0 0000093e: PUSH0 0000093f: REVERT 00000940: JUMPDEST 00000941: POP 00000942: GAS 00000943: CALL 00000944: ISZERO 00000945: DUP1 00000946: ISZERO 00000947: PUSH2 0x0952 0000094a: JUMPI 0000094b: RETURNDATASIZE 0000094c: PUSH0 0000094d: PUSH0 0000094e: RETURNDATACOPY 0000094f: RETURNDATASIZE 00000950: PUSH0 00000951: REVERT 00000952: JUMPDEST 00000953: POP 00000954: POP 00000955: PUSH1 0x40 00000957: MLOAD 00000958: PUSH4 0xa9059cbb 0000095d: PUSH1 0xe0 0000095f: SHL 00000960: DUP2 00000961: MSTORE 00000962: PUSH1 0x01 00000964: PUSH1 0x01 00000966: PUSH1 0xa0 00000968: SHL 00000969: SUB 0000096a: DUP6 0000096b: DUP2 0000096c: AND 0000096d: PUSH1 0x04 0000096f: DUP4 00000970: ADD 00000971: MSTORE 00000972: PUSH1 0x24 00000974: DUP3 00000975: ADD 00000976: DUP8 00000977: SWAP1 00000978: MSTORE 00000979: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 0000099a: AND 0000099b: SWAP4 0000099c: POP 0000099d: PUSH4 0xa9059cbb 000009a2: SWAP3 000009a3: POP 000009a4: PUSH1 0x44 000009a6: ADD 000009a7: SWAP1 000009a8: POP 000009a9: PUSH1 0x20 000009ab: PUSH1 0x40 000009ad: MLOAD 000009ae: DUP1 000009af: DUP4 000009b0: SUB 000009b1: DUP2 000009b2: PUSH0 000009b3: DUP8 000009b4: GAS 000009b5: CALL 000009b6: ISZERO 000009b7: DUP1 000009b8: ISZERO 000009b9: PUSH2 0x09c4 000009bc: JUMPI 000009bd: RETURNDATASIZE 000009be: PUSH0 000009bf: PUSH0 000009c0: RETURNDATACOPY 000009c1: RETURNDATASIZE 000009c2: PUSH0 000009c3: REVERT 000009c4: JUMPDEST 000009c5: POP 000009c6: POP 000009c7: POP 000009c8: POP 000009c9: PUSH1 0x40 000009cb: MLOAD 000009cc: RETURNDATASIZE 000009cd: PUSH1 0x1f 000009cf: NOT 000009d0: PUSH1 0x1f 000009d2: DUP3 000009d3: ADD 000009d4: AND 000009d5: DUP3 000009d6: ADD 000009d7: DUP1 000009d8: PUSH1 0x40 000009da: MSTORE 000009db: POP 000009dc: DUP2 000009dd: ADD 000009de: SWAP1 000009df: PUSH2 0x09e8 000009e2: SWAP2 000009e3: SWAP1 000009e4: PUSH2 0x2501 000009e7: JUMP 000009e8: JUMPDEST 000009e9: POP 000009ea: PUSH1 0x40 000009ec: DUP1 000009ed: MLOAD 000009ee: DUP4 000009ef: DUP2 000009f0: MSTORE 000009f1: PUSH1 0x20 000009f3: DUP2 000009f4: ADD 000009f5: DUP6 000009f6: SWAP1 000009f7: MSTORE 000009f8: PUSH1 0x01 000009fa: PUSH1 0x01 000009fc: PUSH1 0xa0 000009fe: SHL 000009ff: SUB 00000a00: DUP4 00000a01: AND 00000a02: SWAP2 00000a03: DUP11 00000a04: SWAP2 00000a05: PUSH32 0x0c2a147edace3ecd219b47541b15983312439ba5097047dba3affdaef156f19b 00000a26: SWAP2 00000a27: ADD 00000a28: PUSH1 0x40 00000a2a: MLOAD 00000a2b: DUP1 00000a2c: SWAP2 00000a2d: SUB 00000a2e: SWAP1 00000a2f: LOG3 00000a30: POP 00000a31: POP 00000a32: POP 00000a33: POP 00000a34: POP 00000a35: POP 00000a36: POP 00000a37: POP 00000a38: JUMP 00000a39: JUMPDEST 00000a3a: CALLER 00000a3b: PUSH2 0x0a42 00000a3e: PUSH2 0x105d 00000a41: JUMP 00000a42: JUMPDEST 00000a43: PUSH1 0x01 00000a45: PUSH1 0x01 00000a47: PUSH1 0xa0 00000a49: SHL 00000a4a: SUB 00000a4b: AND 00000a4c: DUP2 00000a4d: PUSH1 0x01 00000a4f: PUSH1 0x01 00000a51: PUSH1 0xa0 00000a53: SHL 00000a54: SUB 00000a55: AND 00000a56: EQ 00000a57: PUSH2 0x0a82 00000a5a: JUMPI 00000a5b: PUSH1 0x40 00000a5d: MLOAD 00000a5e: PUSH3 0xd1953b 00000a62: PUSH1 0xe3 00000a64: SHL 00000a65: DUP2 00000a66: MSTORE 00000a67: PUSH1 0x01 00000a69: PUSH1 0x01 00000a6b: PUSH1 0xa0 00000a6d: SHL 00000a6e: SUB 00000a6f: DUP3 00000a70: AND 00000a71: PUSH1 0x04 00000a73: DUP3 00000a74: ADD 00000a75: MSTORE 00000a76: PUSH1 0x24 00000a78: ADD 00000a79: JUMPDEST 00000a7a: PUSH1 0x40 00000a7c: MLOAD 00000a7d: DUP1 00000a7e: SWAP2 00000a7f: SUB 00000a80: SWAP1 00000a81: REVERT 00000a82: JUMPDEST 00000a83: DUP2 00000a84: PUSH1 0x01 00000a86: PUSH1 0x01 00000a88: PUSH1 0xa0 00000a8a: SHL 00000a8b: SUB 00000a8c: AND 00000a8d: EXTCODESIZE 00000a8e: PUSH0 00000a8f: SUB 00000a90: PUSH2 0x0ab7 00000a93: JUMPI 00000a94: PUSH1 0x40 00000a96: MLOAD 00000a97: PUSH4 0x61798f2f 00000a9c: PUSH1 0xe1 00000a9e: SHL 00000a9f: DUP2 00000aa0: MSTORE 00000aa1: PUSH1 0x01 00000aa3: PUSH1 0x01 00000aa5: PUSH1 0xa0 00000aa7: SHL 00000aa8: SUB 00000aa9: DUP4 00000aaa: AND 00000aab: PUSH1 0x04 00000aad: DUP3 00000aae: ADD 00000aaf: MSTORE 00000ab0: PUSH1 0x24 00000ab2: ADD 00000ab3: PUSH2 0x0a79 00000ab6: JUMP 00000ab7: JUMPDEST 00000ab8: PUSH2 0x053e 00000abb: DUP3 00000abc: PUSH2 0x193b 00000abf: JUMP 00000ac0: JUMPDEST 00000ac1: PUSH1 0x40 00000ac3: DUP1 00000ac4: MLOAD 00000ac5: PUSH1 0x60 00000ac7: DUP2 00000ac8: ADD 00000ac9: DUP3 00000aca: MSTORE 00000acb: PUSH0 00000acc: DUP1 00000acd: DUP3 00000ace: MSTORE 00000acf: PUSH1 0x20 00000ad1: DUP3 00000ad2: ADD 00000ad3: DUP2 00000ad4: SWAP1 00000ad5: MSTORE 00000ad6: SWAP2 00000ad7: DUP2 00000ad8: ADD 00000ad9: SWAP2 00000ada: SWAP1 00000adb: SWAP2 00000adc: MSTORE 00000add: PUSH32 0x2cc4e591e9323af22eeee6c9b0444863dad4345eb452e3c71b610fffca87e102 00000afe: SLOAD 00000aff: PUSH0 00000b00: MLOAD 00000b01: PUSH1 0x20 00000b03: PUSH2 0x273b 00000b06: PUSH0 00000b07: CODECOPY 00000b08: PUSH0 00000b09: MLOAD 00000b0a: SWAP1 00000b0b: PUSH0 00000b0c: MSTORE 00000b0d: SWAP1 00000b0e: DUP4 00000b0f: LT 00000b10: PUSH2 0x0b36 00000b13: JUMPI 00000b14: POP 00000b15: POP 00000b16: PUSH1 0x40 00000b18: DUP1 00000b19: MLOAD 00000b1a: PUSH1 0x60 00000b1c: DUP2 00000b1d: ADD 00000b1e: DUP3 00000b1f: MSTORE 00000b20: PUSH0 00000b21: DUP1 00000b22: DUP3 00000b23: MSTORE 00000b24: PUSH1 0x20 00000b26: DUP3 00000b27: ADD 00000b28: DUP2 00000b29: SWAP1 00000b2a: MSTORE 00000b2b: SWAP2 00000b2c: DUP2 00000b2d: ADD 00000b2e: SWAP2 00000b2f: SWAP1 00000b30: SWAP2 00000b31: MSTORE 00000b32: SWAP2 00000b33: SWAP1 00000b34: POP 00000b35: JUMP 00000b36: JUMPDEST 00000b37: DUP1 00000b38: PUSH1 0x02 00000b3a: ADD 00000b3b: DUP4 00000b3c: DUP2 00000b3d: SLOAD 00000b3e: DUP2 00000b3f: LT 00000b40: PUSH2 0x0b4b 00000b43: JUMPI 00000b44: PUSH2 0x0b4b 00000b47: PUSH2 0x244b 00000b4a: JUMP 00000b4b: JUMPDEST 00000b4c: PUSH0 00000b4d: SWAP2 00000b4e: DUP3 00000b4f: MSTORE 00000b50: PUSH1 0x20 00000b52: SWAP2 00000b53: DUP3 00000b54: SWAP1 00000b55: KECCAK256 00000b56: PUSH1 0x40 00000b58: DUP1 00000b59: MLOAD 00000b5a: PUSH1 0x60 00000b5c: DUP2 00000b5d: ADD 00000b5e: DUP3 00000b5f: MSTORE 00000b60: PUSH1 0x02 00000b62: SWAP1 00000b63: SWAP4 00000b64: MUL 00000b65: SWAP1 00000b66: SWAP2 00000b67: ADD 00000b68: DUP1 00000b69: SLOAD 00000b6a: PUSH1 0x01 00000b6c: PUSH1 0x01 00000b6e: PUSH1 0x80 00000b70: SHL 00000b71: SUB 00000b72: DUP1 00000b73: DUP3 00000b74: AND 00000b75: DUP6 00000b76: MSTORE 00000b77: PUSH1 0x01 00000b79: PUSH1 0x80 00000b7b: SHL 00000b7c: SWAP1 00000b7d: SWAP2 00000b7e: DIV 00000b7f: AND 00000b80: SWAP4 00000b81: DUP4 00000b82: ADD 00000b83: SWAP4 00000b84: SWAP1 00000b85: SWAP4 00000b86: MSTORE 00000b87: PUSH1 0x01 00000b89: SWAP1 00000b8a: SWAP3 00000b8b: ADD 00000b8c: SLOAD 00000b8d: PUSH1 0x01 00000b8f: PUSH1 0x01 00000b91: PUSH1 0xa0 00000b93: SHL 00000b94: SUB 00000b95: AND 00000b96: SWAP2 00000b97: DUP2 00000b98: ADD 00000b99: SWAP2 00000b9a: SWAP1 00000b9b: SWAP2 00000b9c: MSTORE 00000b9d: SWAP4 00000b9e: SWAP3 00000b9f: POP 00000ba0: POP 00000ba1: POP 00000ba2: JUMP 00000ba3: JUMPDEST 00000ba4: PUSH0 00000ba5: MLOAD 00000ba6: PUSH1 0x20 00000ba8: PUSH2 0x26fb 00000bab: PUSH0 00000bac: CODECOPY 00000bad: PUSH0 00000bae: MLOAD 00000baf: SWAP1 00000bb0: PUSH0 00000bb1: MSTORE 00000bb2: DUP1 00000bb3: SLOAD 00000bb4: PUSH0 00000bb5: SWAP2 00000bb6: SWAP1 00000bb7: PUSH1 0x01 00000bb9: PUSH1 0xa0 00000bbb: SHL 00000bbc: SWAP1 00000bbd: DIV 00000bbe: PUSH1 0xff 00000bc0: AND 00000bc1: PUSH2 0x0bca 00000bc4: JUMPI 00000bc5: PUSH0 00000bc6: PUSH2 0x0bd3 00000bc9: JUMP 00000bca: JUMPDEST 00000bcb: PUSH4 0x8fb36037 00000bd0: PUSH1 0xe0 00000bd2: SHL 00000bd3: JUMPDEST 00000bd4: SWAP2 00000bd5: POP 00000bd6: POP 00000bd7: SWAP1 00000bd8: JUMP 00000bd9: JUMPDEST 00000bda: PUSH2 0x0be2 00000bdd: CALLER 00000bde: PUSH2 0x068b 00000be1: JUMP 00000be2: JUMPDEST 00000be3: PUSH1 0x01 00000be5: PUSH1 0x01 00000be7: PUSH1 0xa0 00000be9: SHL 00000bea: SUB 00000beb: PUSH32 0x000000000000000000000000d9a442856c234a39a81a089c06451ebaa4306a72 00000c0c: AND 00000c0d: PUSH4 0xd505accf 00000c12: CALLER 00000c13: ADDRESS 00000c14: PUSH1 0x20 00000c16: DUP7 00000c17: ADD 00000c18: CALLDATALOAD 00000c19: DUP7 00000c1a: CALLDATALOAD 00000c1b: PUSH2 0x0c2a 00000c1e: PUSH1 0x60 00000c20: DUP10 00000c21: ADD 00000c22: PUSH1 0x40 00000c24: DUP11 00000c25: ADD 00000c26: PUSH2 0x251a 00000c29: JUMP 00000c2a: JUMPDEST 00000c2b: PUSH1 0x40 00000c2d: MLOAD 00000c2e: PUSH1 0x01 00000c30: PUSH1 0x01 00000c32: PUSH1 0xe0 00000c34: SHL 00000c35: SUB 00000c36: NOT 00000c37: PUSH1 0xe0 00000c39: DUP9 00000c3a: SWAP1 00000c3b: SHL 00000c3c: AND 00000c3d: DUP2 00000c3e: MSTORE 00000c3f: PUSH1 0x01 00000c41: PUSH1 0x01 00000c43: PUSH1 0xa0 00000c45: SHL 00000c46: SUB 00000c47: SWAP6 00000c48: DUP7 00000c49: AND 00000c4a: PUSH1 0x04 00000c4c: DUP3 00000c4d: ADD 00000c4e: MSTORE 00000c4f: SWAP5 00000c50: SWAP1 00000c51: SWAP4 00000c52: AND 00000c53: PUSH1 0x24 00000c55: DUP6 00000c56: ADD 00000c57: MSTORE 00000c58: PUSH1 0x44 00000c5a: DUP5 00000c5b: ADD 00000c5c: SWAP2 00000c5d: SWAP1 00000c5e: SWAP2 00000c5f: MSTORE 00000c60: PUSH1 0x64 00000c62: DUP4 00000c63: ADD 00000c64: MSTORE 00000c65: PUSH1 0xff 00000c67: AND 00000c68: PUSH1 0x84 00000c6a: DUP3 00000c6b: ADD 00000c6c: MSTORE 00000c6d: PUSH1 0x60 00000c6f: DUP6 00000c70: ADD 00000c71: CALLDATALOAD 00000c72: PUSH1 0xa4 00000c74: DUP3 00000c75: ADD 00000c76: MSTORE 00000c77: PUSH1 0x80 00000c79: DUP6 00000c7a: ADD 00000c7b: CALLDATALOAD 00000c7c: PUSH1 0xc4 00000c7e: DUP3 00000c7f: ADD 00000c80: MSTORE 00000c81: PUSH1 0xe4 00000c83: ADD 00000c84: PUSH0 00000c85: PUSH1 0x40 00000c87: MLOAD 00000c88: DUP1 00000c89: DUP4 00000c8a: SUB 00000c8b: DUP2 00000c8c: PUSH0 00000c8d: DUP8 00000c8e: DUP1 00000c8f: EXTCODESIZE 00000c90: ISZERO 00000c91: DUP1 00000c92: ISZERO 00000c93: PUSH2 0x0c9a 00000c96: JUMPI 00000c97: PUSH0 00000c98: PUSH0 00000c99: REVERT 00000c9a: JUMPDEST 00000c9b: POP 00000c9c: GAS 00000c9d: CALL 00000c9e: SWAP3 00000c9f: POP 00000ca0: POP 00000ca1: POP 00000ca2: DUP1 00000ca3: ISZERO 00000ca4: PUSH2 0x0cab 00000ca7: JUMPI 00000ca8: POP 00000ca9: PUSH1 0x01 00000cab: JUMPDEST 00000cac: POP 00000cad: PUSH2 0x053e 00000cb0: DUP3 00000cb1: PUSH1 0x20 00000cb3: ADD 00000cb4: CALLDATALOAD 00000cb5: DUP3 00000cb6: PUSH2 0x199b 00000cb9: JUMP 00000cba: JUMPDEST 00000cbb: PUSH2 0x0cc3 00000cbe: CALLER 00000cbf: PUSH2 0x068b 00000cc2: JUMP 00000cc3: JUMPDEST 00000cc4: PUSH32 0x2cc4e591e9323af22eeee6c9b0444863dad4345eb452e3c71b610fffca87e102 00000ce5: SLOAD 00000ce6: PUSH0 00000ce7: MLOAD 00000ce8: PUSH1 0x20 00000cea: PUSH2 0x273b 00000ced: PUSH0 00000cee: CODECOPY 00000cef: PUSH0 00000cf0: MLOAD 00000cf1: SWAP1 00000cf2: PUSH0 00000cf3: MSTORE 00000cf4: SWAP1 00000cf5: PUSH2 0x0d1f 00000cf8: SWAP1 00000cf9: PUSH32 0x000000000000000000000000000000000000000000000000000000000000000a 00000d1a: SWAP1 00000d1b: PUSH2 0x2473 00000d1e: JUMP 00000d1f: JUMPDEST 00000d20: DUP3 00000d21: LT 00000d22: PUSH2 0x0d3e 00000d25: JUMPI 00000d26: PUSH1 0x40 00000d28: MLOAD 00000d29: PUSH4 0x8b923bcf 00000d2e: PUSH1 0xe0 00000d30: SHL 00000d31: DUP2 00000d32: MSTORE 00000d33: PUSH1 0x04 00000d35: ADD 00000d36: PUSH1 0x40 00000d38: MLOAD 00000d39: DUP1 00000d3a: SWAP2 00000d3b: SUB 00000d3c: SWAP1 00000d3d: REVERT 00000d3e: JUMPDEST 00000d3f: PUSH1 0x01 00000d41: DUP2 00000d42: ADD 00000d43: SLOAD 00000d44: DUP3 00000d45: DUP2 00000d46: DUP2 00000d47: GT 00000d48: PUSH2 0x0d67 00000d4b: JUMPI 00000d4c: PUSH1 0x40 00000d4e: MLOAD 00000d4f: PUSH4 0xa99bd781 00000d54: PUSH1 0xe0 00000d56: SHL 00000d57: DUP2 00000d58: MSTORE 00000d59: PUSH1 0x04 00000d5b: ADD 00000d5c: PUSH2 0x0a79 00000d5f: SWAP2 00000d60: DUP2 00000d61: MSTORE 00000d62: PUSH1 0x20 00000d64: ADD 00000d65: SWAP1 00000d66: JUMP 00000d67: JUMPDEST 00000d68: POP 00000d69: PUSH0 00000d6a: PUSH2 0x0d74 00000d6d: DUP3 00000d6e: PUSH1 0x01 00000d70: PUSH2 0x253a 00000d73: JUMP 00000d74: JUMPDEST 00000d75: SWAP1 00000d76: POP 00000d77: JUMPDEST 00000d78: DUP4 00000d79: DUP2 00000d7a: GT 00000d7b: PUSH2 0x0fd9 00000d7e: JUMPI 00000d7f: PUSH1 0x40 00000d81: MLOAD 00000d82: PUSH4 0x03d1689d 00000d87: PUSH1 0xe1 00000d89: SHL 00000d8a: DUP2 00000d8b: MSTORE 00000d8c: PUSH8 0x0de0b6b3a7640000 00000d95: PUSH1 0x04 00000d97: DUP3 00000d98: ADD 00000d99: MSTORE 00000d9a: PUSH0 00000d9b: SWAP1 00000d9c: PUSH32 0x000000000000000000000000d9a442856c234a39a81a089c06451ebaa4306a72 00000dbd: PUSH1 0x01 00000dbf: PUSH1 0x01 00000dc1: PUSH1 0xa0 00000dc3: SHL 00000dc4: SUB 00000dc5: AND 00000dc6: SWAP1 00000dc7: PUSH4 0x07a2d13a 00000dcc: SWAP1 00000dcd: PUSH1 0x24 00000dcf: ADD 00000dd0: PUSH1 0x20 00000dd2: PUSH1 0x40 00000dd4: MLOAD 00000dd5: DUP1 00000dd6: DUP4 00000dd7: SUB 00000dd8: DUP2 00000dd9: DUP7 00000dda: GAS 00000ddb: STATICCALL 00000ddc: ISZERO 00000ddd: DUP1 00000dde: ISZERO 00000ddf: PUSH2 0x0dea 00000de2: JUMPI 00000de3: RETURNDATASIZE 00000de4: PUSH0 00000de5: PUSH0 00000de6: RETURNDATACOPY 00000de7: RETURNDATASIZE 00000de8: PUSH0 00000de9: REVERT 00000dea: JUMPDEST 00000deb: POP 00000dec: POP 00000ded: POP 00000dee: POP 00000def: PUSH1 0x40 00000df1: MLOAD 00000df2: RETURNDATASIZE 00000df3: PUSH1 0x1f 00000df5: NOT 00000df6: PUSH1 0x1f 00000df8: DUP3 00000df9: ADD 00000dfa: AND 00000dfb: DUP3 00000dfc: ADD 00000dfd: DUP1 00000dfe: PUSH1 0x40 00000e00: MSTORE 00000e01: POP 00000e02: DUP2 00000e03: ADD 00000e04: SWAP1 00000e05: PUSH2 0x0e0e 00000e08: SWAP2 00000e09: SWAP1 00000e0a: PUSH2 0x254d 00000e0d: JUMP 00000e0e: JUMPDEST 00000e0f: SWAP1 00000e10: POP 00000e11: PUSH0 00000e12: DUP5 00000e13: PUSH1 0x03 00000e15: ADD 00000e16: DUP4 00000e17: DUP2 00000e18: SLOAD 00000e19: DUP2 00000e1a: LT 00000e1b: PUSH2 0x0e26 00000e1e: JUMPI 00000e1f: PUSH2 0x0e26 00000e22: PUSH2 0x244b 00000e25: JUMP 00000e26: JUMPDEST 00000e27: PUSH0 00000e28: SWAP2 00000e29: DUP3 00000e2a: MSTORE 00000e2b: PUSH1 0x20 00000e2d: DUP3 00000e2e: KECCAK256 00000e2f: PUSH1 0x02 00000e31: SWAP2 00000e32: SWAP1 00000e33: SWAP2 00000e34: MUL 00000e35: ADD 00000e36: DUP1 00000e37: SLOAD 00000e38: SWAP1 00000e39: SWAP3 00000e3a: POP 00000e3b: PUSH1 0x01 00000e3d: PUSH1 0x98 00000e3f: SHL 00000e40: DUP2 00000e41: DIV 00000e42: PUSH1 0x01 00000e44: PUSH1 0x01 00000e46: PUSH1 0x60 00000e48: SHL 00000e49: SUB 00000e4a: AND 00000e4b: SWAP2 00000e4c: PUSH1 0x01 00000e4e: PUSH1 0x40 00000e50: SHL 00000e51: SWAP1 00000e52: SWAP2 00000e53: DIV 00000e54: PUSH1 0x01 00000e56: PUSH1 0x01 00000e58: PUSH1 0x58 00000e5a: SHL 00000e5b: SUB 00000e5c: AND 00000e5d: SWAP1 00000e5e: PUSH2 0x0e68 00000e61: DUP3 00000e62: DUP7 00000e63: DUP6 00000e64: PUSH2 0x1e6b 00000e67: JUMP 00000e68: JUMPDEST 00000e69: PUSH1 0x40 00000e6b: MLOAD 00000e6c: PUSH4 0x7b1a4909 00000e71: PUSH1 0xe0 00000e73: SHL 00000e74: DUP2 00000e75: MSTORE 00000e76: ADDRESS 00000e77: PUSH1 0x04 00000e79: DUP3 00000e7a: ADD 00000e7b: MSTORE 00000e7c: PUSH1 0x24 00000e7e: DUP2 00000e7f: ADD 00000e80: DUP3 00000e81: SWAP1 00000e82: MSTORE 00000e83: SWAP1 00000e84: SWAP2 00000e85: POP 00000e86: PUSH32 0x000000000000000000000000d9a442856c234a39a81a089c06451ebaa4306a72 00000ea7: PUSH1 0x01 00000ea9: PUSH1 0x01 00000eab: PUSH1 0xa0 00000ead: SHL 00000eae: SUB 00000eaf: AND 00000eb0: SWAP1 00000eb1: PUSH4 0x7b1a4909 00000eb6: SWAP1 00000eb7: PUSH1 0x44 00000eb9: ADD 00000eba: PUSH0 00000ebb: PUSH1 0x40 00000ebd: MLOAD 00000ebe: DUP1 00000ebf: DUP4 00000ec0: SUB 00000ec1: DUP2 00000ec2: PUSH0 00000ec3: DUP8 00000ec4: DUP1 00000ec5: EXTCODESIZE 00000ec6: ISZERO 00000ec7: DUP1 00000ec8: ISZERO 00000ec9: PUSH2 0x0ed0 00000ecc: JUMPI 00000ecd: PUSH0 00000ece: PUSH0 00000ecf: REVERT 00000ed0: JUMPDEST 00000ed1: POP 00000ed2: GAS 00000ed3: CALL 00000ed4: ISZERO 00000ed5: DUP1 00000ed6: ISZERO 00000ed7: PUSH2 0x0ee2 00000eda: JUMPI 00000edb: RETURNDATASIZE 00000edc: PUSH0 00000edd: PUSH0 00000ede: RETURNDATACOPY 00000edf: RETURNDATASIZE 00000ee0: PUSH0 00000ee1: REVERT 00000ee2: JUMPDEST 00000ee3: POP 00000ee4: POP 00000ee5: PUSH1 0x40 00000ee7: MLOAD 00000ee8: PUSH4 0x0852cd8d 00000eed: PUSH1 0xe3 00000eef: SHL 00000ef0: DUP2 00000ef1: MSTORE 00000ef2: PUSH1 0x04 00000ef4: DUP2 00000ef5: ADD 00000ef6: DUP6 00000ef7: SWAP1 00000ef8: MSTORE 00000ef9: PUSH32 0x000000000000000000000000d9a442856c234a39a81a089c06451ebaa4306a72 00000f1a: PUSH1 0x01 00000f1c: PUSH1 0x01 00000f1e: PUSH1 0xa0 00000f20: SHL 00000f21: SUB 00000f22: AND 00000f23: SWAP3 00000f24: POP 00000f25: PUSH4 0x42966c68 00000f2a: SWAP2 00000f2b: POP 00000f2c: PUSH1 0x24 00000f2e: ADD 00000f2f: PUSH0 00000f30: PUSH1 0x40 00000f32: MLOAD 00000f33: DUP1 00000f34: DUP4 00000f35: SUB 00000f36: DUP2 00000f37: PUSH0 00000f38: DUP8 00000f39: DUP1 00000f3a: EXTCODESIZE 00000f3b: ISZERO 00000f3c: DUP1 00000f3d: ISZERO 00000f3e: PUSH2 0x0f45 00000f41: JUMPI 00000f42: PUSH0 00000f43: PUSH0 00000f44: REVERT 00000f45: JUMPDEST 00000f46: POP 00000f47: GAS 00000f48: CALL 00000f49: ISZERO 00000f4a: DUP1 00000f4b: ISZERO 00000f4c: PUSH2 0x0f57 00000f4f: JUMPI 00000f50: RETURNDATASIZE 00000f51: PUSH0 00000f52: PUSH0 00000f53: RETURNDATACOPY 00000f54: RETURNDATASIZE 00000f55: PUSH0 00000f56: REVERT 00000f57: JUMPDEST 00000f58: POP 00000f59: POP 00000f5a: POP 00000f5b: POP 00000f5c: PUSH2 0x0f64 00000f5f: DUP6 00000f60: PUSH2 0x1ea1 00000f63: JUMP 00000f64: JUMPDEST 00000f65: DUP5 00000f66: SLOAD 00000f67: PUSH8 0xffffffffffffffff 00000f70: NOT 00000f71: AND 00000f72: PUSH1 0x01 00000f74: PUSH1 0x01 00000f76: PUSH1 0x40 00000f78: SHL 00000f79: SUB 00000f7a: SWAP2 00000f7b: SWAP1 00000f7c: SWAP2 00000f7d: AND 00000f7e: OR 00000f7f: DUP5 00000f80: SSTORE 00000f81: PUSH1 0x40 00000f83: DUP1 00000f84: MLOAD 00000f85: DUP5 00000f86: DUP2 00000f87: MSTORE 00000f88: PUSH1 0x20 00000f8a: DUP2 00000f8b: ADD 00000f8c: DUP4 00000f8d: SWAP1 00000f8e: MSTORE 00000f8f: SWAP1 00000f90: DUP2 00000f91: ADD 00000f92: DUP4 00000f93: SWAP1 00000f94: MSTORE 00000f95: DUP7 00000f96: SWAP1 00000f97: PUSH32 0xdbf5480ceeeae3e5602bc1ea462e9976902866b38caf585679d5cebe0594dd9e 00000fb8: SWAP1 00000fb9: PUSH1 0x60 00000fbb: ADD 00000fbc: PUSH1 0x40 00000fbe: MLOAD 00000fbf: DUP1 00000fc0: SWAP2 00000fc1: SUB 00000fc2: SWAP1 00000fc3: LOG2 00000fc4: POP 00000fc5: POP 00000fc6: POP 00000fc7: POP 00000fc8: POP 00000fc9: DUP1 00000fca: PUSH2 0x0fd2 00000fcd: SWAP1 00000fce: PUSH2 0x2564 00000fd1: JUMP 00000fd2: JUMPDEST 00000fd3: SWAP1 00000fd4: POP 00000fd5: PUSH2 0x0d77 00000fd8: JUMP 00000fd9: JUMPDEST 00000fda: POP 00000fdb: POP 00000fdc: PUSH1 0x01 00000fde: ADD 00000fdf: SSTORE 00000fe0: JUMP 00000fe1: JUMPDEST 00000fe2: PUSH2 0x0fea 00000fe5: CALLER 00000fe6: PUSH2 0x068b 00000fe9: JUMP 00000fea: JUMPDEST 00000feb: PUSH0 00000fec: MLOAD 00000fed: PUSH1 0x20 00000fef: PUSH2 0x273b 00000ff2: PUSH0 00000ff3: CODECOPY 00000ff4: PUSH0 00000ff5: MLOAD 00000ff6: SWAP1 00000ff7: PUSH0 00000ff8: MSTORE 00000ff9: PUSH7 0x2386f26fc10000 00001001: DUP3 00001002: GT 00001003: PUSH2 0x101f 00001006: JUMPI 00001007: PUSH1 0x40 00001009: MLOAD 0000100a: PUSH4 0x1d14ca83 0000100f: PUSH1 0xe2 00001011: SHL 00001012: DUP2 00001013: MSTORE 00001014: PUSH1 0x04 00001016: ADD 00001017: PUSH1 0x40 00001019: MLOAD 0000101a: DUP1 0000101b: SWAP2 0000101c: SUB 0000101d: SWAP1 0000101e: REVERT 0000101f: JUMPDEST 00001020: DUP1 00001021: SLOAD 00001022: PUSH1 0x40 00001024: DUP1 00001025: MLOAD 00001026: SWAP2 00001027: DUP3 00001028: MSTORE 00001029: PUSH1 0x20 0000102b: DUP3 0000102c: ADD 0000102d: DUP5 0000102e: SWAP1 0000102f: MSTORE 00001030: PUSH32 0x3e431ca134400a33fe0cfb866ec9047e25ee5689045d5d184497a9fdd912bd52 00001051: SWAP2 00001052: ADD 00001053: PUSH1 0x40 00001055: MLOAD 00001056: DUP1 00001057: SWAP2 00001058: SUB 00001059: SWAP1 0000105a: LOG1 0000105b: SSTORE 0000105c: JUMP 0000105d: JUMPDEST 0000105e: PUSH0 0000105f: MLOAD 00001060: PUSH1 0x20 00001062: PUSH2 0x26fb 00001065: PUSH0 00001066: CODECOPY 00001067: PUSH0 00001068: MLOAD 00001069: SWAP1 0000106a: PUSH0 0000106b: MSTORE 0000106c: SLOAD 0000106d: PUSH1 0x01 0000106f: PUSH1 0x01 00001071: PUSH1 0xa0 00001073: SHL 00001074: SUB 00001075: AND 00001076: SWAP1 00001077: JUMP 00001078: JUMPDEST 00001079: PUSH32 0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00 0000109a: DUP1 0000109b: SLOAD 0000109c: PUSH1 0x01 0000109e: PUSH1 0x40 000010a0: SHL 000010a1: DUP2 000010a2: DIV 000010a3: PUSH1 0xff 000010a5: AND 000010a6: ISZERO 000010a7: SWAP1 000010a8: PUSH1 0x01 000010aa: PUSH1 0x01 000010ac: PUSH1 0x40 000010ae: SHL 000010af: SUB 000010b0: AND 000010b1: PUSH0 000010b2: DUP2 000010b3: ISZERO 000010b4: DUP1 000010b5: ISZERO 000010b6: PUSH2 0x10bc 000010b9: JUMPI 000010ba: POP 000010bb: DUP3 000010bc: JUMPDEST 000010bd: SWAP1 000010be: POP 000010bf: PUSH0 000010c0: DUP3 000010c1: PUSH1 0x01 000010c3: PUSH1 0x01 000010c5: PUSH1 0x40 000010c7: SHL 000010c8: SUB 000010c9: AND 000010ca: PUSH1 0x01 000010cc: EQ 000010cd: DUP1 000010ce: ISZERO 000010cf: PUSH2 0x10d7 000010d2: JUMPI 000010d3: POP 000010d4: ADDRESS 000010d5: EXTCODESIZE 000010d6: ISZERO 000010d7: JUMPDEST 000010d8: SWAP1 000010d9: POP 000010da: DUP2 000010db: ISZERO 000010dc: DUP1 000010dd: ISZERO 000010de: PUSH2 0x10e5 000010e1: JUMPI 000010e2: POP 000010e3: DUP1 000010e4: ISZERO 000010e5: JUMPDEST 000010e6: ISZERO 000010e7: PUSH2 0x1103 000010ea: JUMPI 000010eb: PUSH1 0x40 000010ed: MLOAD 000010ee: PUSH4 0xf92ee8a9 000010f3: PUSH1 0xe0 000010f5: SHL 000010f6: DUP2 000010f7: MSTORE 000010f8: PUSH1 0x04 000010fa: ADD 000010fb: PUSH1 0x40 000010fd: MLOAD 000010fe: DUP1 000010ff: SWAP2 00001100: SUB 00001101: SWAP1 00001102: REVERT 00001103: JUMPDEST 00001104: DUP5 00001105: SLOAD 00001106: PUSH8 0xffffffffffffffff 0000110f: NOT 00001110: AND 00001111: PUSH1 0x01 00001113: OR 00001114: DUP6 00001115: SSTORE 00001116: DUP4 00001117: ISZERO 00001118: PUSH2 0x112d 0000111b: JUMPI 0000111c: DUP5 0000111d: SLOAD 0000111e: PUSH1 0xff 00001120: PUSH1 0x40 00001122: SHL 00001123: NOT 00001124: AND 00001125: PUSH1 0x01 00001127: PUSH1 0x40 00001129: SHL 0000112a: OR 0000112b: DUP6 0000112c: SSTORE 0000112d: JUMPDEST 0000112e: PUSH2 0x1136 00001131: DUP7 00001132: PUSH2 0x1ed6 00001135: JUMP 00001136: JUMPDEST 00001137: PUSH0 00001138: MLOAD 00001139: PUSH1 0x20 0000113b: PUSH2 0x273b 0000113e: PUSH0 0000113f: CODECOPY 00001140: PUSH0 00001141: MLOAD 00001142: SWAP1 00001143: PUSH0 00001144: MSTORE 00001145: PUSH0 00001146: JUMPDEST 00001147: PUSH32 0x000000000000000000000000000000000000000000000000000000000000000a 00001168: DUP2 00001169: LT 0000116a: ISZERO 0000116b: PUSH2 0x11ef 0000116e: JUMPI 0000116f: PUSH1 0x40 00001171: DUP1 00001172: MLOAD 00001173: PUSH1 0x60 00001175: DUP2 00001176: ADD 00001177: DUP3 00001178: MSTORE 00001179: PUSH0 0000117a: DUP1 0000117b: DUP3 0000117c: MSTORE 0000117d: PUSH1 0x20 0000117f: DUP1 00001180: DUP4 00001181: ADD 00001182: DUP3 00001183: DUP2 00001184: MSTORE 00001185: SWAP4 00001186: DUP4 00001187: ADD 00001188: DUP3 00001189: DUP2 0000118a: MSTORE 0000118b: PUSH1 0x02 0000118d: DUP1 0000118e: DUP9 0000118f: ADD 00001190: DUP1 00001191: SLOAD 00001192: PUSH1 0x01 00001194: DUP2 00001195: DUP2 00001196: ADD 00001197: DUP4 00001198: SSTORE 00001199: SWAP2 0000119a: DUP7 0000119b: MSTORE 0000119c: SWAP4 0000119d: SWAP1 0000119e: SWAP5 0000119f: KECCAK256 000011a0: SWAP5 000011a1: MLOAD 000011a2: SWAP6 000011a3: MLOAD 000011a4: PUSH1 0x01 000011a6: PUSH1 0x01 000011a8: PUSH1 0x80 000011aa: SHL 000011ab: SUB 000011ac: SWAP1 000011ad: DUP2 000011ae: AND 000011af: PUSH1 0x01 000011b1: PUSH1 0x80 000011b3: SHL 000011b4: MUL 000011b5: SWAP7 000011b6: AND 000011b7: SWAP6 000011b8: SWAP1 000011b9: SWAP6 000011ba: OR 000011bb: SWAP2 000011bc: SWAP1 000011bd: SWAP5 000011be: MUL 000011bf: SWAP1 000011c0: SWAP3 000011c1: ADD 000011c2: SWAP2 000011c3: DUP3 000011c4: SSTORE 000011c5: SWAP2 000011c6: MLOAD 000011c7: SWAP1 000011c8: DUP3 000011c9: ADD 000011ca: DUP1 000011cb: SLOAD 000011cc: PUSH1 0x01 000011ce: PUSH1 0x01 000011d0: PUSH1 0xa0 000011d2: SHL 000011d3: SUB 000011d4: SWAP3 000011d5: SWAP1 000011d6: SWAP3 000011d7: AND 000011d8: PUSH1 0x01 000011da: PUSH1 0x01 000011dc: PUSH1 0xa0 000011de: SHL 000011df: SUB 000011e0: NOT 000011e1: SWAP1 000011e2: SWAP3 000011e3: AND 000011e4: SWAP2 000011e5: SWAP1 000011e6: SWAP2 000011e7: OR 000011e8: SWAP1 000011e9: SSTORE 000011ea: ADD 000011eb: PUSH2 0x1146 000011ee: JUMP 000011ef: JUMPDEST 000011f0: POP 000011f1: PUSH1 0x40 000011f3: DUP1 000011f4: MLOAD 000011f5: PUSH1 0xa0 000011f7: DUP2 000011f8: ADD 000011f9: DUP3 000011fa: MSTORE 000011fb: PUSH0 000011fc: DUP1 000011fd: DUP3 000011fe: MSTORE 000011ff: PUSH1 0x20 00001201: DUP1 00001202: DUP4 00001203: ADD 00001204: DUP3 00001205: DUP2 00001206: MSTORE 00001207: SWAP4 00001208: DUP4 00001209: ADD 0000120a: DUP3 0000120b: DUP2 0000120c: MSTORE 0000120d: PUSH1 0x60 0000120f: DUP5 00001210: ADD 00001211: DUP4 00001212: DUP2 00001213: MSTORE 00001214: PUSH1 0x80 00001216: DUP6 00001217: ADD 00001218: DUP5 00001219: DUP2 0000121a: MSTORE 0000121b: PUSH1 0x03 0000121d: DUP9 0000121e: ADD 0000121f: DUP1 00001220: SLOAD 00001221: PUSH1 0x01 00001223: DUP2 00001224: DUP2 00001225: ADD 00001226: DUP4 00001227: SSTORE 00001228: SWAP2 00001229: DUP8 0000122a: MSTORE 0000122b: SWAP5 0000122c: DUP7 0000122d: KECCAK256 0000122e: SWAP7 0000122f: MLOAD 00001230: PUSH1 0x02 00001232: SWAP1 00001233: SWAP6 00001234: MUL 00001235: SWAP1 00001236: SWAP7 00001237: ADD 00001238: DUP1 00001239: SLOAD 0000123a: SWAP8 0000123b: MLOAD 0000123c: SWAP4 0000123d: MLOAD 0000123e: PUSH1 0x01 00001240: PUSH1 0x01 00001242: PUSH1 0x60 00001244: SHL 00001245: SUB 00001246: AND 00001247: PUSH1 0x01 00001249: PUSH1 0x98 0000124b: SHL 0000124c: MUL 0000124d: PUSH12 0xffffffffffffffffffffffff 0000125a: PUSH1 0x98 0000125c: SHL 0000125d: NOT 0000125e: PUSH1 0x01 00001260: PUSH1 0x01 00001262: PUSH1 0x58 00001264: SHL 00001265: SUB 00001266: SWAP6 00001267: SWAP1 00001268: SWAP6 00001269: AND 0000126a: PUSH1 0x01 0000126c: PUSH1 0x40 0000126e: SHL 0000126f: MUL 00001270: PUSH1 0x01 00001272: PUSH1 0x01 00001274: PUSH1 0x98 00001276: SHL 00001277: SUB 00001278: NOT 00001279: SWAP1 0000127a: SWAP10 0000127b: AND 0000127c: PUSH1 0x01 0000127e: PUSH1 0x01 00001280: PUSH1 0x40 00001282: SHL 00001283: SUB 00001284: SWAP7 00001285: SWAP1 00001286: SWAP7 00001287: AND 00001288: SWAP6 00001289: SWAP1 0000128a: SWAP6 0000128b: OR 0000128c: SWAP8 0000128d: SWAP1 0000128e: SWAP8 0000128f: OR 00001290: SWAP3 00001291: SWAP1 00001292: SWAP3 00001293: AND 00001294: SWAP3 00001295: SWAP1 00001296: SWAP3 00001297: OR 00001298: DUP6 00001299: SSTORE 0000129a: SWAP1 0000129b: MLOAD 0000129c: SWAP1 0000129d: MLOAD 0000129e: PUSH1 0x01 000012a0: PUSH1 0x01 000012a2: PUSH1 0x80 000012a4: SHL 000012a5: SUB 000012a6: SWAP1 000012a7: DUP2 000012a8: AND 000012a9: PUSH1 0x01 000012ab: PUSH1 0x80 000012ad: SHL 000012ae: MUL 000012af: SWAP2 000012b0: AND 000012b1: OR 000012b2: SWAP3 000012b3: DUP3 000012b4: ADD 000012b5: SWAP3 000012b6: SWAP1 000012b7: SWAP3 000012b8: SSTORE 000012b9: SWAP1 000012ba: SWAP2 000012bb: ADD 000012bc: SSTORE 000012bd: DUP4 000012be: ISZERO 000012bf: PUSH2 0x1302 000012c2: JUMPI 000012c3: DUP5 000012c4: SLOAD 000012c5: PUSH1 0xff 000012c7: PUSH1 0x40 000012c9: SHL 000012ca: NOT 000012cb: AND 000012cc: DUP6 000012cd: SSTORE 000012ce: PUSH1 0x40 000012d0: MLOAD 000012d1: PUSH1 0x01 000012d3: DUP2 000012d4: MSTORE 000012d5: PUSH32 0xc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d2 000012f6: SWAP1 000012f7: PUSH1 0x20 000012f9: ADD 000012fa: PUSH1 0x40 000012fc: MLOAD 000012fd: DUP1 000012fe: SWAP2 000012ff: SUB 00001300: SWAP1 00001301: LOG1 00001302: JUMPDEST 00001303: POP 00001304: POP 00001305: POP 00001306: POP 00001307: POP 00001308: POP 00001309: JUMP 0000130a: JUMPDEST 0000130b: PUSH2 0x1313 0000130e: CALLER 0000130f: PUSH2 0x068b 00001312: JUMP 00001313: JUMPDEST 00001314: PUSH0 00001315: MLOAD 00001316: PUSH1 0x20 00001318: PUSH2 0x273b 0000131b: PUSH0 0000131c: CODECOPY 0000131d: PUSH0 0000131e: MLOAD 0000131f: SWAP1 00001320: PUSH0 00001321: MSTORE 00001322: PUSH0 00001323: DUP1 00001324: JUMPDEST 00001325: DUP4 00001326: DUP2 00001327: LT 00001328: ISZERO 00001329: PUSH2 0x14ac 0000132c: JUMPI 0000132d: PUSH0 0000132e: DUP4 0000132f: PUSH1 0x03 00001331: ADD 00001332: DUP7 00001333: DUP7 00001334: DUP5 00001335: DUP2 00001336: DUP2 00001337: LT 00001338: PUSH2 0x1343 0000133b: JUMPI 0000133c: PUSH2 0x1343 0000133f: PUSH2 0x244b 00001342: JUMP 00001343: JUMPDEST 00001344: SWAP1 00001345: POP 00001346: PUSH1 0x20 00001348: MUL 00001349: ADD 0000134a: CALLDATALOAD 0000134b: DUP2 0000134c: SLOAD 0000134d: DUP2 0000134e: LT 0000134f: PUSH2 0x135a 00001352: JUMPI 00001353: PUSH2 0x135a 00001356: PUSH2 0x244b 00001359: JUMP 0000135a: JUMPDEST 0000135b: PUSH0 0000135c: SWAP2 0000135d: DUP3 0000135e: MSTORE 0000135f: PUSH1 0x20 00001361: SWAP1 00001362: SWAP2 00001363: KECCAK256 00001364: PUSH1 0x01 00001366: PUSH1 0x02 00001368: SWAP1 00001369: SWAP3 0000136a: MUL 0000136b: ADD 0000136c: SWAP1 0000136d: DUP2 0000136e: ADD 0000136f: SLOAD 00001370: SWAP1 00001371: SWAP2 00001372: POP 00001373: PUSH1 0x01 00001375: PUSH1 0x01 00001377: PUSH1 0x80 00001379: SHL 0000137a: SUB 0000137b: AND 0000137c: PUSH32 0x000000000000000000000000000000000000000000000000000000000000000a 0000139d: EQ 0000139e: PUSH2 0x13ba 000013a1: JUMPI 000013a2: PUSH1 0x40 000013a4: MLOAD 000013a5: PUSH4 0x18af2883 000013aa: PUSH1 0xe2 000013ac: SHL 000013ad: DUP2 000013ae: MSTORE 000013af: PUSH1 0x04 000013b1: ADD 000013b2: PUSH1 0x40 000013b4: MLOAD 000013b5: DUP1 000013b6: SWAP2 000013b7: SUB 000013b8: SWAP1 000013b9: REVERT 000013ba: JUMPDEST 000013bb: DUP1 000013bc: SLOAD 000013bd: PUSH1 0x01 000013bf: DUP3 000013c0: ADD 000013c1: SLOAD 000013c2: PUSH1 0x01 000013c4: PUSH1 0x98 000013c6: SHL 000013c7: SWAP1 000013c8: SWAP2 000013c9: DIV 000013ca: PUSH1 0x01 000013cc: PUSH1 0x01 000013ce: PUSH1 0x60 000013d0: SHL 000013d1: SUB 000013d2: AND 000013d3: PUSH1 0x01 000013d5: PUSH1 0x80 000013d7: SHL 000013d8: SWAP1 000013d9: SWAP2 000013da: DIV 000013db: PUSH1 0x01 000013dd: PUSH1 0x01 000013df: PUSH1 0x80 000013e1: SHL 000013e2: SUB 000013e3: AND 000013e4: SUB 000013e5: PUSH2 0x1401 000013e8: JUMPI 000013e9: PUSH1 0x40 000013eb: MLOAD 000013ec: PUSH4 0x6d6a4f9f 000013f1: PUSH1 0xe0 000013f3: SHL 000013f4: DUP2 000013f5: MSTORE 000013f6: PUSH1 0x04 000013f8: ADD 000013f9: PUSH1 0x40 000013fb: MLOAD 000013fc: DUP1 000013fd: SWAP2 000013fe: SUB 000013ff: SWAP1 00001400: REVERT 00001401: JUMPDEST 00001402: DUP1 00001403: SLOAD 00001404: PUSH1 0x01 00001406: PUSH1 0x01 00001408: PUSH1 0x60 0000140a: SHL 0000140b: SUB 0000140c: PUSH1 0x01 0000140e: PUSH1 0x98 00001410: SHL 00001411: DUP3 00001412: DIV 00001413: AND 00001414: SWAP1 00001415: PUSH1 0x01 00001417: PUSH1 0x01 00001419: PUSH1 0x58 0000141b: SHL 0000141c: SUB 0000141d: PUSH1 0x01 0000141f: PUSH1 0x40 00001421: SHL 00001422: DUP3 00001423: DIV 00001424: AND 00001425: SWAP1 00001426: PUSH0 00001427: SWAP1 00001428: PUSH2 0x143c 0000142b: SWAP1 0000142c: DUP4 0000142d: SWAP1 0000142e: PUSH1 0x01 00001430: PUSH1 0x01 00001432: PUSH1 0x40 00001434: SHL 00001435: SUB 00001436: AND 00001437: DUP6 00001438: PUSH2 0x1e6b 0000143b: JUMP 0000143c: JUMPDEST 0000143d: PUSH1 0x01 0000143f: DUP6 00001440: ADD 00001441: SLOAD 00001442: SWAP1 00001443: SWAP2 00001444: POP 00001445: PUSH0 00001446: SWAP1 00001447: PUSH2 0x1460 0000144a: SWAP1 0000144b: PUSH1 0x01 0000144d: PUSH1 0x80 0000144f: SHL 00001450: SWAP1 00001451: DIV 00001452: PUSH1 0x01 00001454: PUSH1 0x01 00001456: PUSH1 0x80 00001458: SHL 00001459: SUB 0000145a: AND 0000145b: DUP4 0000145c: PUSH2 0x257c 0000145f: JUMP 00001460: JUMPDEST 00001461: SWAP1 00001462: POP 00001463: PUSH2 0x146c 00001466: DUP2 00001467: DUP9 00001468: PUSH2 0x253a 0000146b: JUMP 0000146c: JUMPDEST 0000146d: DUP6 0000146e: SLOAD 0000146f: PUSH1 0x01 00001471: SWAP7 00001472: DUP8 00001473: ADD 00001474: DUP1 00001475: SLOAD 00001476: PUSH1 0x01 00001478: PUSH1 0x01 0000147a: PUSH1 0x80 0000147c: SHL 0000147d: SUB 0000147e: AND 0000147f: PUSH1 0x01 00001481: PUSH1 0x98 00001483: SHL 00001484: SWAP1 00001485: SWAP3 00001486: DIV 00001487: PUSH1 0x01 00001489: PUSH1 0x01 0000148b: PUSH1 0x60 0000148d: SHL 0000148e: SUB 0000148f: AND 00001490: PUSH1 0x01 00001492: PUSH1 0x80 00001494: SHL 00001495: MUL 00001496: SWAP2 00001497: SWAP1 00001498: SWAP2 00001499: OR 0000149a: SWAP1 0000149b: SSTORE 0000149c: SWAP7 0000149d: POP 0000149e: POP 0000149f: POP 000014a0: SWAP3 000014a1: SWAP1 000014a2: SWAP2 000014a3: ADD 000014a4: SWAP2 000014a5: POP 000014a6: PUSH2 0x1324 000014a9: SWAP1 000014aa: POP 000014ab: JUMP 000014ac: JUMPDEST 000014ad: POP 000014ae: DUP1 000014af: ISZERO 000014b0: PUSH2 0x1580 000014b3: JUMPI 000014b4: PUSH0 000014b5: PUSH32 0x000000000000000000000000d9a442856c234a39a81a089c06451ebaa4306a72 000014d6: PUSH1 0x01 000014d8: PUSH1 0x01 000014da: PUSH1 0xa0 000014dc: SHL 000014dd: SUB 000014de: AND 000014df: DUP3 000014e0: PUSH1 0x40 000014e2: MLOAD 000014e3: PUSH0 000014e4: PUSH1 0x40 000014e6: MLOAD 000014e7: DUP1 000014e8: DUP4 000014e9: SUB 000014ea: DUP2 000014eb: DUP6 000014ec: DUP8 000014ed: GAS 000014ee: CALL 000014ef: SWAP3 000014f0: POP 000014f1: POP 000014f2: POP 000014f3: RETURNDATASIZE 000014f4: DUP1 000014f5: PUSH0 000014f6: DUP2 000014f7: EQ 000014f8: PUSH2 0x151c 000014fb: JUMPI 000014fc: PUSH1 0x40 000014fe: MLOAD 000014ff: SWAP2 00001500: POP 00001501: PUSH1 0x1f 00001503: NOT 00001504: PUSH1 0x3f 00001506: RETURNDATASIZE 00001507: ADD 00001508: AND 00001509: DUP3 0000150a: ADD 0000150b: PUSH1 0x40 0000150d: MSTORE 0000150e: RETURNDATASIZE 0000150f: DUP3 00001510: MSTORE 00001511: RETURNDATASIZE 00001512: PUSH0 00001513: PUSH1 0x20 00001515: DUP5 00001516: ADD 00001517: RETURNDATACOPY 00001518: PUSH2 0x1521 0000151b: JUMP 0000151c: JUMPDEST 0000151d: PUSH1 0x60 0000151f: SWAP2 00001520: POP 00001521: JUMPDEST 00001522: POP 00001523: POP 00001524: SWAP1 00001525: POP 00001526: DUP1 00001527: PUSH2 0x1543 0000152a: JUMPI 0000152b: PUSH1 0x40 0000152d: MLOAD 0000152e: PUSH4 0x12171d83 00001533: PUSH1 0xe3 00001535: SHL 00001536: DUP2 00001537: MSTORE 00001538: PUSH1 0x04 0000153a: ADD 0000153b: PUSH1 0x40 0000153d: MLOAD 0000153e: DUP1 0000153f: SWAP2 00001540: SUB 00001541: SWAP1 00001542: REVERT 00001543: JUMPDEST 00001544: PUSH32 0xe7ebe2f99689b40ec52f7d9f3b43da813a21d7f2f68f186da901ceb6bdbcb7d8 00001565: DUP6 00001566: DUP6 00001567: DUP5 00001568: PUSH1 0x40 0000156a: MLOAD 0000156b: PUSH2 0x1576 0000156e: SWAP4 0000156f: SWAP3 00001570: SWAP2 00001571: SWAP1 00001572: PUSH2 0x258f 00001575: JUMP 00001576: JUMPDEST 00001577: PUSH1 0x40 00001579: MLOAD 0000157a: DUP1 0000157b: SWAP2 0000157c: SUB 0000157d: SWAP1 0000157e: LOG1 0000157f: POP 00001580: JUMPDEST 00001581: POP 00001582: POP 00001583: POP 00001584: POP 00001585: JUMP 00001586: JUMPDEST 00001587: PUSH2 0x158f 0000158a: CALLER 0000158b: PUSH2 0x068b 0000158e: JUMP 0000158f: JUMPDEST 00001590: PUSH2 0x053e 00001593: DUP3 00001594: DUP3 00001595: PUSH2 0x199b 00001598: JUMP 00001599: JUMPDEST 0000159a: ADDRESS 0000159b: PUSH1 0x01 0000159d: PUSH1 0x01 0000159f: PUSH1 0xa0 000015a1: SHL 000015a2: SUB 000015a3: PUSH32 0x00000000000000000000000098e1d95b4b3a5a082642e17274d67d62691288f1 000015c4: AND 000015c5: EQ 000015c6: DUP1 000015c7: PUSH2 0x161f 000015ca: JUMPI 000015cb: POP 000015cc: PUSH32 0x00000000000000000000000098e1d95b4b3a5a082642e17274d67d62691288f1 000015ed: PUSH1 0x01 000015ef: PUSH1 0x01 000015f1: PUSH1 0xa0 000015f3: SHL 000015f4: SUB 000015f5: AND 000015f6: PUSH2 0x1613 000015f9: PUSH0 000015fa: MLOAD 000015fb: PUSH1 0x20 000015fd: PUSH2 0x271b 00001600: PUSH0 00001601: CODECOPY 00001602: PUSH0 00001603: MLOAD 00001604: SWAP1 00001605: PUSH0 00001606: MSTORE 00001607: SLOAD 00001608: PUSH1 0x01 0000160a: PUSH1 0x01 0000160c: PUSH1 0xa0 0000160e: SHL 0000160f: SUB 00001610: AND 00001611: SWAP1 00001612: JUMP 00001613: JUMPDEST 00001614: PUSH1 0x01 00001616: PUSH1 0x01 00001618: PUSH1 0xa0 0000161a: SHL 0000161b: SUB 0000161c: AND 0000161d: EQ 0000161e: ISZERO 0000161f: JUMPDEST 00001620: ISZERO 00001621: PUSH2 0x163d 00001624: JUMPI 00001625: PUSH1 0x40 00001627: MLOAD 00001628: PUSH4 0x703e46dd 0000162d: PUSH1 0xe1 0000162f: SHL 00001630: DUP2 00001631: MSTORE 00001632: PUSH1 0x04 00001634: ADD 00001635: PUSH1 0x40 00001637: MLOAD 00001638: DUP1 00001639: SWAP2 0000163a: SUB 0000163b: SWAP1 0000163c: REVERT 0000163d: JUMPDEST 0000163e: JUMP 0000163f: JUMPDEST 00001640: PUSH2 0x1648 00001643: CALLER 00001644: PUSH2 0x068b 00001647: JUMP 00001648: JUMPDEST 00001649: PUSH0 0000164a: DUP2 0000164b: SWAP1 0000164c: POP 0000164d: PUSH32 0x000000000000000000000000000000000000000000000000000000000000000a 0000166e: DUP2 0000166f: PUSH1 0x01 00001671: PUSH1 0x01 00001673: PUSH1 0xa0 00001675: SHL 00001676: SUB 00001677: AND 00001678: PUSH4 0x49faa4d4 0000167d: PUSH1 0x40 0000167f: MLOAD 00001680: DUP2 00001681: PUSH4 0xffffffff 00001686: AND 00001687: PUSH1 0xe0 00001689: SHL 0000168a: DUP2 0000168b: MSTORE 0000168c: PUSH1 0x04 0000168e: ADD 0000168f: PUSH1 0x20 00001691: PUSH1 0x40 00001693: MLOAD 00001694: DUP1 00001695: DUP4 00001696: SUB 00001697: DUP2 00001698: DUP7 00001699: GAS 0000169a: STATICCALL 0000169b: ISZERO 0000169c: DUP1 0000169d: ISZERO 0000169e: PUSH2 0x16a9 000016a1: JUMPI 000016a2: RETURNDATASIZE 000016a3: PUSH0 000016a4: PUSH0 000016a5: RETURNDATACOPY 000016a6: RETURNDATASIZE 000016a7: PUSH0 000016a8: REVERT 000016a9: JUMPDEST 000016aa: POP 000016ab: POP 000016ac: POP 000016ad: POP 000016ae: PUSH1 0x40 000016b0: MLOAD 000016b1: RETURNDATASIZE 000016b2: PUSH1 0x1f 000016b4: NOT 000016b5: PUSH1 0x1f 000016b7: DUP3 000016b8: ADD 000016b9: AND 000016ba: DUP3 000016bb: ADD 000016bc: DUP1 000016bd: PUSH1 0x40 000016bf: MSTORE 000016c0: POP 000016c1: DUP2 000016c2: ADD 000016c3: SWAP1 000016c4: PUSH2 0x16cd 000016c7: SWAP2 000016c8: SWAP1 000016c9: PUSH2 0x254d 000016cc: JUMP 000016cd: JUMPDEST 000016ce: EQ 000016cf: PUSH2 0x053e 000016d2: JUMPI 000016d3: PUSH1 0x40 000016d5: MLOAD 000016d6: PUSH4 0xc3944823 000016db: PUSH1 0xe0 000016dd: SHL 000016de: DUP2 000016df: MSTORE 000016e0: PUSH1 0x04 000016e2: ADD 000016e3: PUSH1 0x40 000016e5: MLOAD 000016e6: DUP1 000016e7: SWAP2 000016e8: SUB 000016e9: SWAP1 000016ea: REVERT 000016eb: JUMPDEST 000016ec: DUP2 000016ed: PUSH1 0x01 000016ef: PUSH1 0x01 000016f1: PUSH1 0xa0 000016f3: SHL 000016f4: SUB 000016f5: AND 000016f6: PUSH4 0x52d1902d 000016fb: PUSH1 0x40 000016fd: MLOAD 000016fe: DUP2 000016ff: PUSH4 0xffffffff 00001704: AND 00001705: PUSH1 0xe0 00001707: SHL 00001708: DUP2 00001709: MSTORE 0000170a: PUSH1 0x04 0000170c: ADD 0000170d: PUSH1 0x20 0000170f: PUSH1 0x40 00001711: MLOAD 00001712: DUP1 00001713: DUP4 00001714: SUB 00001715: DUP2 00001716: DUP7 00001717: GAS 00001718: STATICCALL 00001719: SWAP3 0000171a: POP 0000171b: POP 0000171c: POP 0000171d: DUP1 0000171e: ISZERO 0000171f: PUSH2 0x1745 00001722: JUMPI 00001723: POP 00001724: PUSH1 0x40 00001726: DUP1 00001727: MLOAD 00001728: PUSH1 0x1f 0000172a: RETURNDATASIZE 0000172b: SWAP1 0000172c: DUP2 0000172d: ADD 0000172e: PUSH1 0x1f 00001730: NOT 00001731: AND 00001732: DUP3 00001733: ADD 00001734: SWAP1 00001735: SWAP3 00001736: MSTORE 00001737: PUSH2 0x1742 0000173a: SWAP2 0000173b: DUP2 0000173c: ADD 0000173d: SWAP1 0000173e: PUSH2 0x254d 00001741: JUMP 00001742: JUMPDEST 00001743: PUSH1 0x01 00001745: JUMPDEST 00001746: PUSH2 0x176d 00001749: JUMPI 0000174a: PUSH1 0x40 0000174c: MLOAD 0000174d: PUSH4 0x4c9c8ce3 00001752: PUSH1 0xe0 00001754: SHL 00001755: DUP2 00001756: MSTORE 00001757: PUSH1 0x01 00001759: PUSH1 0x01 0000175b: PUSH1 0xa0 0000175d: SHL 0000175e: SUB 0000175f: DUP4 00001760: AND 00001761: PUSH1 0x04 00001763: DUP3 00001764: ADD 00001765: MSTORE 00001766: PUSH1 0x24 00001768: ADD 00001769: PUSH2 0x0a79 0000176c: JUMP 0000176d: JUMPDEST 0000176e: PUSH0 0000176f: MLOAD 00001770: PUSH1 0x20 00001772: PUSH2 0x271b 00001775: PUSH0 00001776: CODECOPY 00001777: PUSH0 00001778: MLOAD 00001779: SWAP1 0000177a: PUSH0 0000177b: MSTORE 0000177c: DUP2 0000177d: EQ 0000177e: PUSH2 0x179d 00001781: JUMPI 00001782: PUSH1 0x40 00001784: MLOAD 00001785: PUSH4 0x2a875269 0000178a: PUSH1 0xe2 0000178c: SHL 0000178d: DUP2 0000178e: MSTORE 0000178f: PUSH1 0x04 00001791: DUP2 00001792: ADD 00001793: DUP3 00001794: SWAP1 00001795: MSTORE 00001796: PUSH1 0x24 00001798: ADD 00001799: PUSH2 0x0a79 0000179c: JUMP 0000179d: JUMPDEST 0000179e: PUSH2 0x17a7 000017a1: DUP4 000017a2: DUP4 000017a3: PUSH2 0x1eea 000017a6: JUMP 000017a7: JUMPDEST 000017a8: POP 000017a9: POP 000017aa: POP 000017ab: JUMP 000017ac: JUMPDEST 000017ad: ADDRESS 000017ae: PUSH1 0x01 000017b0: PUSH1 0x01 000017b2: PUSH1 0xa0 000017b4: SHL 000017b5: SUB 000017b6: PUSH32 0x00000000000000000000000098e1d95b4b3a5a082642e17274d67d62691288f1 000017d7: AND 000017d8: EQ 000017d9: PUSH2 0x163d 000017dc: JUMPI 000017dd: PUSH1 0x40 000017df: MLOAD 000017e0: PUSH4 0x703e46dd 000017e5: PUSH1 0xe1 000017e7: SHL 000017e8: DUP2 000017e9: MSTORE 000017ea: PUSH1 0x04 000017ec: ADD 000017ed: PUSH1 0x40 000017ef: MLOAD 000017f0: DUP1 000017f1: SWAP2 000017f2: SUB 000017f3: SWAP1 000017f4: REVERT 000017f5: JUMPDEST 000017f6: PUSH0 000017f7: MLOAD 000017f8: PUSH1 0x20 000017fa: PUSH2 0x26fb 000017fd: PUSH0 000017fe: CODECOPY 000017ff: PUSH0 00001800: MLOAD 00001801: SWAP1 00001802: PUSH0 00001803: MSTORE 00001804: PUSH0 00001805: DUP1 00001806: PUSH2 0x182d 00001809: PUSH2 0x1810 0000180c: PUSH2 0x105d 0000180f: JUMP 00001810: JUMPDEST 00001811: DUP8 00001812: ADDRESS 00001813: PUSH2 0x181f 00001816: PUSH1 0x04 00001818: PUSH0 00001819: DUP11 0000181a: DUP13 0000181b: PUSH2 0x25cb 0000181e: JUMP 0000181f: JUMPDEST 00001820: PUSH2 0x1828 00001823: SWAP2 00001824: PUSH2 0x25f2 00001827: JUMP 00001828: JUMPDEST 00001829: PUSH2 0x1f3f 0000182c: JUMP 0000182d: JUMPDEST 0000182e: SWAP2 0000182f: POP 00001830: SWAP2 00001831: POP 00001832: DUP2 00001833: PUSH2 0x1302 00001836: JUMPI 00001837: PUSH4 0xffffffff 0000183c: DUP2 0000183d: AND 0000183e: ISZERO 0000183f: PUSH2 0x18c8 00001842: JUMPI 00001843: DUP3 00001844: SLOAD 00001845: PUSH1 0xff 00001847: PUSH1 0xa0 00001849: SHL 0000184a: NOT 0000184b: AND 0000184c: PUSH1 0x01 0000184e: PUSH1 0xa0 00001850: SHL 00001851: OR 00001852: DUP4 00001853: SSTORE 00001854: PUSH2 0x185b 00001857: PUSH2 0x105d 0000185a: JUMP 0000185b: JUMPDEST 0000185c: PUSH1 0x01 0000185e: PUSH1 0x01 00001860: PUSH1 0xa0 00001862: SHL 00001863: SUB 00001864: AND 00001865: PUSH4 0x94c7d7ee 0000186a: DUP8 0000186b: DUP8 0000186c: DUP8 0000186d: PUSH1 0x40 0000186f: MLOAD 00001870: DUP5 00001871: PUSH4 0xffffffff 00001876: AND 00001877: PUSH1 0xe0 00001879: SHL 0000187a: DUP2 0000187b: MSTORE 0000187c: PUSH1 0x04 0000187e: ADD 0000187f: PUSH2 0x188a 00001882: SWAP4 00001883: SWAP3 00001884: SWAP2 00001885: SWAP1 00001886: PUSH2 0x262a 00001889: JUMP 0000188a: JUMPDEST 0000188b: PUSH0 0000188c: PUSH1 0x40 0000188e: MLOAD 0000188f: DUP1 00001890: DUP4 00001891: SUB 00001892: DUP2 00001893: PUSH0 00001894: DUP8 00001895: DUP1 00001896: EXTCODESIZE 00001897: ISZERO 00001898: DUP1 00001899: ISZERO 0000189a: PUSH2 0x18a1 0000189d: JUMPI 0000189e: PUSH0 0000189f: PUSH0 000018a0: REVERT 000018a1: JUMPDEST 000018a2: POP 000018a3: GAS 000018a4: CALL 000018a5: ISZERO 000018a6: DUP1 000018a7: ISZERO 000018a8: PUSH2 0x18b3 000018ab: JUMPI 000018ac: RETURNDATASIZE 000018ad: PUSH0 000018ae: PUSH0 000018af: RETURNDATACOPY 000018b0: RETURNDATASIZE 000018b1: PUSH0 000018b2: REVERT 000018b3: JUMPDEST 000018b4: POP 000018b5: POP 000018b6: DUP5 000018b7: SLOAD 000018b8: PUSH1 0xff 000018ba: PUSH1 0xa0 000018bc: SHL 000018bd: NOT 000018be: AND 000018bf: DUP6 000018c0: SSTORE 000018c1: POP 000018c2: PUSH2 0x1302 000018c5: SWAP1 000018c6: POP 000018c7: JUMP 000018c8: JUMPDEST 000018c9: PUSH1 0x40 000018cb: MLOAD 000018cc: PUSH3 0xd1953b 000018d0: PUSH1 0xe3 000018d2: SHL 000018d3: DUP2 000018d4: MSTORE 000018d5: PUSH1 0x01 000018d7: PUSH1 0x01 000018d9: PUSH1 0xa0 000018db: SHL 000018dc: SUB 000018dd: DUP8 000018de: AND 000018df: PUSH1 0x04 000018e1: DUP3 000018e2: ADD 000018e3: MSTORE 000018e4: PUSH1 0x24 000018e6: ADD 000018e7: PUSH2 0x0a79 000018ea: JUMP 000018eb: JUMPDEST 000018ec: PUSH0 000018ed: DUP2 000018ee: DUP4 000018ef: LT 000018f0: PUSH2 0x18f9 000018f3: JUMPI 000018f4: DUP2 000018f5: PUSH2 0x18fb 000018f8: JUMP 000018f9: JUMPDEST 000018fa: DUP3 000018fb: JUMPDEST 000018fc: SWAP1 000018fd: POP 000018fe: JUMPDEST 000018ff: SWAP3 00001900: SWAP2 00001901: POP 00001902: POP 00001903: JUMP 00001904: JUMPDEST 00001905: PUSH0 00001906: PUSH1 0x01 00001908: PUSH1 0x01 0000190a: PUSH1 0x80 0000190c: SHL 0000190d: SUB 0000190e: DUP3 0000190f: GT 00001910: ISZERO 00001911: PUSH2 0x1937 00001914: JUMPI 00001915: PUSH1 0x40 00001917: MLOAD 00001918: PUSH4 0x06dfcc65 0000191d: PUSH1 0xe4 0000191f: SHL 00001920: DUP2 00001921: MSTORE 00001922: PUSH1 0x80 00001924: PUSH1 0x04 00001926: DUP3 00001927: ADD 00001928: MSTORE 00001929: PUSH1 0x24 0000192b: DUP2 0000192c: ADD 0000192d: DUP4 0000192e: SWAP1 0000192f: MSTORE 00001930: PUSH1 0x44 00001932: ADD 00001933: PUSH2 0x0a79 00001936: JUMP 00001937: JUMPDEST 00001938: POP 00001939: SWAP1 0000193a: JUMP 0000193b: JUMPDEST 0000193c: PUSH0 0000193d: MLOAD 0000193e: PUSH1 0x20 00001940: PUSH2 0x26fb 00001943: PUSH0 00001944: CODECOPY 00001945: PUSH0 00001946: MLOAD 00001947: SWAP1 00001948: PUSH0 00001949: MSTORE 0000194a: DUP1 0000194b: SLOAD 0000194c: PUSH1 0x01 0000194e: PUSH1 0x01 00001950: PUSH1 0xa0 00001952: SHL 00001953: SUB 00001954: DUP4 00001955: AND 00001956: PUSH1 0x01 00001958: PUSH1 0x01 0000195a: PUSH1 0xa0 0000195c: SHL 0000195d: SUB 0000195e: NOT 0000195f: SWAP1 00001960: SWAP2 00001961: AND 00001962: DUP2 00001963: OR 00001964: DUP3 00001965: SSTORE 00001966: PUSH1 0x40 00001968: DUP1 00001969: MLOAD 0000196a: SWAP2 0000196b: DUP3 0000196c: MSTORE 0000196d: MLOAD 0000196e: PUSH32 0x2f658b440c35314f52658ea8a740e05b284cdc84dc9ae01e891f21b8933e7cad 0000198f: SWAP2 00001990: DUP2 00001991: SWAP1 00001992: SUB 00001993: PUSH1 0x20 00001995: ADD 00001996: SWAP1 00001997: LOG1 00001998: POP 00001999: POP 0000199a: JUMP 0000199b: JUMPDEST 0000199c: PUSH32 0xa4e2950800ad48b89d951842a006c666c0b29f755b9face41cad0b8d83328900 000019bd: TLOAD 000019be: ISZERO 000019bf: PUSH2 0x19cf 000019c2: JUMPI 000019c3: PUSH4 0x0eca04b2 000019c8: PUSH0 000019c9: MSTORE 000019ca: PUSH1 0x04 000019cc: PUSH1 0x1c 000019ce: REVERT 000019cf: JUMPDEST 000019d0: PUSH1 0x01 000019d2: PUSH32 0xa4e2950800ad48b89d951842a006c666c0b29f755b9face41cad0b8d83328900 000019f3: TSTORE 000019f4: PUSH0 000019f5: MLOAD 000019f6: PUSH1 0x20 000019f8: PUSH2 0x273b 000019fb: PUSH0 000019fc: CODECOPY 000019fd: PUSH0 000019fe: MLOAD 000019ff: SWAP1 00001a00: PUSH0 00001a01: MSTORE 00001a02: PUSH7 0x2386f26fc10000 00001a0a: PUSH1 0x01 00001a0c: PUSH1 0x01 00001a0e: PUSH1 0x80 00001a10: SHL 00001a11: SUB 00001a12: DUP5 00001a13: AND 00001a14: LT 00001a15: ISZERO 00001a16: PUSH2 0x1a32 00001a19: JUMPI 00001a1a: PUSH1 0x40 00001a1c: MLOAD 00001a1d: PUSH4 0x74c51ccb 00001a22: PUSH1 0xe1 00001a24: SHL 00001a25: DUP2 00001a26: MSTORE 00001a27: PUSH1 0x04 00001a29: ADD 00001a2a: PUSH1 0x40 00001a2c: MLOAD 00001a2d: DUP1 00001a2e: SWAP2 00001a2f: SUB 00001a30: SWAP1 00001a31: REVERT 00001a32: JUMPDEST 00001a33: DUP1 00001a34: SLOAD 00001a35: PUSH1 0x01 00001a37: PUSH1 0x01 00001a39: PUSH1 0x80 00001a3b: SHL 00001a3c: SUB 00001a3d: DUP5 00001a3e: AND 00001a3f: GT 00001a40: ISZERO 00001a41: PUSH2 0x1a5d 00001a44: JUMPI 00001a45: PUSH1 0x40 00001a47: MLOAD 00001a48: PUSH4 0x4afeaa93 00001a4d: PUSH1 0xe1 00001a4f: SHL 00001a50: DUP2 00001a51: MSTORE 00001a52: PUSH1 0x04 00001a54: ADD 00001a55: PUSH1 0x40 00001a57: MLOAD 00001a58: DUP1 00001a59: SWAP2 00001a5a: SUB 00001a5b: SWAP1 00001a5c: REVERT 00001a5d: JUMPDEST 00001a5e: PUSH1 0x01 00001a60: PUSH1 0x01 00001a62: PUSH1 0xa0 00001a64: SHL 00001a65: SUB 00001a66: DUP3 00001a67: AND 00001a68: PUSH2 0x1a84 00001a6b: JUMPI 00001a6c: PUSH1 0x40 00001a6e: MLOAD 00001a6f: PUSH4 0x54f7ed33 00001a74: PUSH1 0xe0 00001a76: SHL 00001a77: DUP2 00001a78: MSTORE 00001a79: PUSH1 0x04 00001a7b: ADD 00001a7c: PUSH1 0x40 00001a7e: MLOAD 00001a7f: DUP1 00001a80: SWAP2 00001a81: SUB 00001a82: SWAP1 00001a83: REVERT 00001a84: JUMPDEST 00001a85: PUSH1 0x40 00001a87: MLOAD 00001a88: PUSH4 0x23b872dd 00001a8d: PUSH1 0xe0 00001a8f: SHL 00001a90: DUP2 00001a91: MSTORE 00001a92: CALLER 00001a93: PUSH1 0x04 00001a95: DUP3 00001a96: ADD 00001a97: MSTORE 00001a98: ADDRESS 00001a99: PUSH1 0x24 00001a9b: DUP3 00001a9c: ADD 00001a9d: MSTORE 00001a9e: PUSH1 0x01 00001aa0: PUSH1 0x01 00001aa2: PUSH1 0x80 00001aa4: SHL 00001aa5: SUB 00001aa6: DUP5 00001aa7: AND 00001aa8: PUSH1 0x44 00001aaa: DUP3 00001aab: ADD 00001aac: MSTORE 00001aad: PUSH32 0x000000000000000000000000d9a442856c234a39a81a089c06451ebaa4306a72 00001ace: PUSH1 0x01 00001ad0: PUSH1 0x01 00001ad2: PUSH1 0xa0 00001ad4: SHL 00001ad5: SUB 00001ad6: AND 00001ad7: SWAP1 00001ad8: PUSH4 0x23b872dd 00001add: SWAP1 00001ade: PUSH1 0x64 00001ae0: ADD 00001ae1: PUSH1 0x20 00001ae3: PUSH1 0x40 00001ae5: MLOAD 00001ae6: DUP1 00001ae7: DUP4 00001ae8: SUB 00001ae9: DUP2 00001aea: PUSH0 00001aeb: DUP8 00001aec: GAS 00001aed: CALL 00001aee: ISZERO 00001aef: DUP1 00001af0: ISZERO 00001af1: PUSH2 0x1afc 00001af4: JUMPI 00001af5: RETURNDATASIZE 00001af6: PUSH0 00001af7: PUSH0 00001af8: RETURNDATACOPY 00001af9: RETURNDATASIZE 00001afa: PUSH0 00001afb: REVERT 00001afc: JUMPDEST 00001afd: POP 00001afe: POP 00001aff: POP 00001b00: POP 00001b01: PUSH1 0x40 00001b03: MLOAD 00001b04: RETURNDATASIZE 00001b05: PUSH1 0x1f 00001b07: NOT 00001b08: PUSH1 0x1f 00001b0a: DUP3 00001b0b: ADD 00001b0c: AND 00001b0d: DUP3 00001b0e: ADD 00001b0f: DUP1 00001b10: PUSH1 0x40 00001b12: MSTORE 00001b13: POP 00001b14: DUP2 00001b15: ADD 00001b16: SWAP1 00001b17: PUSH2 0x1b20 00001b1a: SWAP2 00001b1b: SWAP1 00001b1c: PUSH2 0x2501 00001b1f: JUMP 00001b20: JUMPDEST 00001b21: POP 00001b22: PUSH1 0x02 00001b24: DUP2 00001b25: ADD 00001b26: SLOAD 00001b27: PUSH0 00001b28: PUSH2 0x1b51 00001b2b: PUSH32 0x000000000000000000000000000000000000000000000000000000000000000a 00001b4c: DUP4 00001b4d: PUSH2 0x2473 00001b50: JUMP 00001b51: JUMPDEST 00001b52: PUSH1 0x03 00001b54: DUP5 00001b55: ADD 00001b56: SLOAD 00001b57: SWAP1 00001b58: SWAP2 00001b59: POP 00001b5a: DUP2 00001b5b: SUB 00001b5c: PUSH2 0x1c27 00001b5f: JUMPI 00001b60: PUSH1 0x40 00001b62: DUP1 00001b63: MLOAD 00001b64: PUSH1 0xa0 00001b66: DUP2 00001b67: ADD 00001b68: DUP3 00001b69: MSTORE 00001b6a: PUSH0 00001b6b: DUP1 00001b6c: DUP3 00001b6d: MSTORE 00001b6e: PUSH1 0x20 00001b70: DUP1 00001b71: DUP4 00001b72: ADD 00001b73: DUP3 00001b74: DUP2 00001b75: MSTORE 00001b76: SWAP4 00001b77: DUP4 00001b78: ADD 00001b79: DUP3 00001b7a: DUP2 00001b7b: MSTORE 00001b7c: PUSH1 0x60 00001b7e: DUP5 00001b7f: ADD 00001b80: DUP4 00001b81: DUP2 00001b82: MSTORE 00001b83: PUSH1 0x80 00001b85: DUP6 00001b86: ADD 00001b87: DUP5 00001b88: DUP2 00001b89: MSTORE 00001b8a: PUSH1 0x03 00001b8c: DUP11 00001b8d: ADD 00001b8e: DUP1 00001b8f: SLOAD 00001b90: PUSH1 0x01 00001b92: DUP2 00001b93: DUP2 00001b94: ADD 00001b95: DUP4 00001b96: SSTORE 00001b97: SWAP2 00001b98: DUP8 00001b99: MSTORE 00001b9a: SWAP5 00001b9b: SWAP1 00001b9c: SWAP6 00001b9d: KECCAK256 00001b9e: SWAP6 00001b9f: MLOAD 00001ba0: PUSH1 0x02 00001ba2: SWAP1 00001ba3: SWAP5 00001ba4: MUL 00001ba5: SWAP1 00001ba6: SWAP6 00001ba7: ADD 00001ba8: DUP1 00001ba9: SLOAD 00001baa: SWAP7 00001bab: MLOAD 00001bac: SWAP3 00001bad: MLOAD 00001bae: PUSH1 0x01 00001bb0: PUSH1 0x01 00001bb2: PUSH1 0x60 00001bb4: SHL 00001bb5: SUB 00001bb6: AND 00001bb7: PUSH1 0x01 00001bb9: PUSH1 0x98 00001bbb: SHL 00001bbc: MUL 00001bbd: PUSH12 0xffffffffffffffffffffffff 00001bca: PUSH1 0x98 00001bcc: SHL 00001bcd: NOT 00001bce: PUSH1 0x01 00001bd0: PUSH1 0x01 00001bd2: PUSH1 0x58 00001bd4: SHL 00001bd5: SUB 00001bd6: SWAP5 00001bd7: SWAP1 00001bd8: SWAP5 00001bd9: AND 00001bda: PUSH1 0x01 00001bdc: PUSH1 0x40 00001bde: SHL 00001bdf: MUL 00001be0: PUSH1 0x01 00001be2: PUSH1 0x01 00001be4: PUSH1 0x98 00001be6: SHL 00001be7: SUB 00001be8: NOT 00001be9: SWAP1 00001bea: SWAP9 00001beb: AND 00001bec: PUSH1 0x01 00001bee: PUSH1 0x01 00001bf0: PUSH1 0x40 00001bf2: SHL 00001bf3: SUB 00001bf4: SWAP6 00001bf5: SWAP1 00001bf6: SWAP6 00001bf7: AND 00001bf8: SWAP5 00001bf9: SWAP1 00001bfa: SWAP5 00001bfb: OR 00001bfc: SWAP7 00001bfd: SWAP1 00001bfe: SWAP7 00001bff: OR 00001c00: SWAP2 00001c01: SWAP1 00001c02: SWAP2 00001c03: AND 00001c04: SWAP2 00001c05: SWAP1 00001c06: SWAP2 00001c07: OR 00001c08: DUP5 00001c09: SSTORE 00001c0a: MLOAD 00001c0b: SWAP2 00001c0c: MLOAD 00001c0d: PUSH1 0x01 00001c0f: PUSH1 0x01 00001c11: PUSH1 0x80 00001c13: SHL 00001c14: SUB 00001c15: SWAP1 00001c16: DUP2 00001c17: AND 00001c18: PUSH1 0x01 00001c1a: PUSH1 0x80 00001c1c: SHL 00001c1d: MUL 00001c1e: SWAP3 00001c1f: AND 00001c20: SWAP2 00001c21: SWAP1 00001c22: SWAP2 00001c23: OR 00001c24: SWAP2 00001c25: ADD 00001c26: SSTORE 00001c27: JUMPDEST 00001c28: PUSH1 0x40 00001c2a: MLOAD 00001c2b: PUSH4 0x03d1689d 00001c30: PUSH1 0xe1 00001c32: SHL 00001c33: DUP2 00001c34: MSTORE 00001c35: PUSH8 0x0de0b6b3a7640000 00001c3e: PUSH1 0x04 00001c40: DUP3 00001c41: ADD 00001c42: MSTORE 00001c43: PUSH0 00001c44: SWAP1 00001c45: PUSH32 0x000000000000000000000000d9a442856c234a39a81a089c06451ebaa4306a72 00001c66: PUSH1 0x01 00001c68: PUSH1 0x01 00001c6a: PUSH1 0xa0 00001c6c: SHL 00001c6d: SUB 00001c6e: AND 00001c6f: SWAP1 00001c70: PUSH4 0x07a2d13a 00001c75: SWAP1 00001c76: PUSH1 0x24 00001c78: ADD 00001c79: PUSH1 0x20 00001c7b: PUSH1 0x40 00001c7d: MLOAD 00001c7e: DUP1 00001c7f: DUP4 00001c80: SUB 00001c81: DUP2 00001c82: DUP7 00001c83: GAS 00001c84: STATICCALL 00001c85: ISZERO 00001c86: DUP1 00001c87: ISZERO 00001c88: PUSH2 0x1c93 00001c8b: JUMPI 00001c8c: RETURNDATASIZE 00001c8d: PUSH0 00001c8e: PUSH0 00001c8f: RETURNDATACOPY 00001c90: RETURNDATASIZE 00001c91: PUSH0 00001c92: REVERT 00001c93: JUMPDEST 00001c94: POP 00001c95: POP 00001c96: POP 00001c97: POP 00001c98: PUSH1 0x40 00001c9a: MLOAD 00001c9b: RETURNDATASIZE 00001c9c: PUSH1 0x1f 00001c9e: NOT 00001c9f: PUSH1 0x1f 00001ca1: DUP3 00001ca2: ADD 00001ca3: AND 00001ca4: DUP3 00001ca5: ADD 00001ca6: DUP1 00001ca7: PUSH1 0x40 00001ca9: MSTORE 00001caa: POP 00001cab: DUP2 00001cac: ADD 00001cad: SWAP1 00001cae: PUSH2 0x1cb7 00001cb1: SWAP2 00001cb2: SWAP1 00001cb3: PUSH2 0x254d 00001cb6: JUMP 00001cb7: JUMPDEST 00001cb8: SWAP1 00001cb9: POP 00001cba: PUSH0 00001cbb: PUSH8 0x0de0b6b3a7640000 00001cc4: PUSH2 0x1cd6 00001cc7: DUP4 00001cc8: PUSH1 0x01 00001cca: PUSH1 0x01 00001ccc: PUSH1 0x80 00001cce: SHL 00001ccf: SUB 00001cd0: DUP11 00001cd1: AND 00001cd2: PUSH2 0x2492 00001cd5: JUMP 00001cd6: JUMPDEST 00001cd7: PUSH2 0x1ce0 00001cda: SWAP2 00001cdb: SWAP1 00001cdc: PUSH2 0x2473 00001cdf: JUMP 00001ce0: JUMPDEST 00001ce1: SWAP1 00001ce2: POP 00001ce3: PUSH0 00001ce4: DUP6 00001ce5: PUSH1 0x03 00001ce7: ADD 00001ce8: DUP5 00001ce9: DUP2 00001cea: SLOAD 00001ceb: DUP2 00001cec: LT 00001ced: PUSH2 0x1cf8 00001cf0: JUMPI 00001cf1: PUSH2 0x1cf8 00001cf4: PUSH2 0x244b 00001cf7: JUMP 00001cf8: JUMPDEST 00001cf9: SWAP1 00001cfa: PUSH0 00001cfb: MSTORE 00001cfc: PUSH1 0x20 00001cfe: PUSH0 00001cff: KECCAK256 00001d00: SWAP1 00001d01: PUSH1 0x02 00001d03: MUL 00001d04: ADD 00001d05: SWAP1 00001d06: POP 00001d07: DUP8 00001d08: DUP2 00001d09: PUSH0 00001d0a: ADD 00001d0b: PUSH1 0x08 00001d0d: DUP3 00001d0e: DUP3 00001d0f: DUP3 00001d10: SWAP1 00001d11: SLOAD 00001d12: SWAP1 00001d13: PUSH2 0x0100 00001d16: EXP 00001d17: SWAP1 00001d18: DIV 00001d19: PUSH1 0x01 00001d1b: PUSH1 0x01 00001d1d: PUSH1 0x58 00001d1f: SHL 00001d20: SUB 00001d21: AND 00001d22: PUSH2 0x1d2b 00001d25: SWAP2 00001d26: SWAP1 00001d27: PUSH2 0x2669 00001d2a: JUMP 00001d2b: JUMPDEST 00001d2c: SWAP3 00001d2d: POP 00001d2e: PUSH2 0x0100 00001d31: EXP 00001d32: DUP2 00001d33: SLOAD 00001d34: DUP2 00001d35: PUSH1 0x01 00001d37: PUSH1 0x01 00001d39: PUSH1 0x58 00001d3b: SHL 00001d3c: SUB 00001d3d: MUL 00001d3e: NOT 00001d3f: AND 00001d40: SWAP1 00001d41: DUP4 00001d42: PUSH1 0x01 00001d44: PUSH1 0x01 00001d46: PUSH1 0x58 00001d48: SHL 00001d49: SUB 00001d4a: AND 00001d4b: MUL 00001d4c: OR 00001d4d: SWAP1 00001d4e: SSTORE 00001d4f: POP 00001d50: DUP2 00001d51: DUP2 00001d52: PUSH0 00001d53: ADD 00001d54: PUSH1 0x13 00001d56: DUP3 00001d57: DUP3 00001d58: DUP3 00001d59: SWAP1 00001d5a: SLOAD 00001d5b: SWAP1 00001d5c: PUSH2 0x0100 00001d5f: EXP 00001d60: SWAP1 00001d61: DIV 00001d62: PUSH1 0x01 00001d64: PUSH1 0x01 00001d66: PUSH1 0x60 00001d68: SHL 00001d69: SUB 00001d6a: AND 00001d6b: PUSH2 0x1d74 00001d6e: SWAP2 00001d6f: SWAP1 00001d70: PUSH2 0x2688 00001d73: JUMP 00001d74: JUMPDEST 00001d75: SWAP3 00001d76: POP 00001d77: PUSH2 0x0100 00001d7a: EXP 00001d7b: DUP2 00001d7c: SLOAD 00001d7d: DUP2 00001d7e: PUSH1 0x01 00001d80: PUSH1 0x01 00001d82: PUSH1 0x60 00001d84: SHL 00001d85: SUB 00001d86: MUL 00001d87: NOT 00001d88: AND 00001d89: SWAP1 00001d8a: DUP4 00001d8b: PUSH1 0x01 00001d8d: PUSH1 0x01 00001d8f: PUSH1 0x60 00001d91: SHL 00001d92: SUB 00001d93: AND 00001d94: MUL 00001d95: OR 00001d96: SWAP1 00001d97: SSTORE 00001d98: POP 00001d99: DUP6 00001d9a: PUSH1 0x02 00001d9c: ADD 00001d9d: PUSH1 0x40 00001d9f: MLOAD 00001da0: DUP1 00001da1: PUSH1 0x60 00001da3: ADD 00001da4: PUSH1 0x40 00001da6: MSTORE 00001da7: DUP1 00001da8: DUP11 00001da9: PUSH1 0x01 00001dab: PUSH1 0x01 00001dad: PUSH1 0x80 00001daf: SHL 00001db0: SUB 00001db1: AND 00001db2: DUP2 00001db3: MSTORE 00001db4: PUSH1 0x20 00001db6: ADD 00001db7: PUSH2 0x1dbf 00001dba: DUP7 00001dbb: PUSH2 0x1904 00001dbe: JUMP 00001dbf: JUMPDEST 00001dc0: PUSH1 0x01 00001dc2: PUSH1 0x01 00001dc4: PUSH1 0x80 00001dc6: SHL 00001dc7: SUB 00001dc8: SWAP1 00001dc9: DUP2 00001dca: AND 00001dcb: DUP3 00001dcc: MSTORE 00001dcd: PUSH1 0x01 00001dcf: PUSH1 0x01 00001dd1: PUSH1 0xa0 00001dd3: SHL 00001dd4: SUB 00001dd5: DUP12 00001dd6: DUP2 00001dd7: AND 00001dd8: PUSH1 0x20 00001dda: SWAP4 00001ddb: DUP5 00001ddc: ADD 00001ddd: DUP2 00001dde: SWAP1 00001ddf: MSTORE 00001de0: DUP6 00001de1: SLOAD 00001de2: PUSH1 0x01 00001de4: DUP1 00001de5: DUP3 00001de6: ADD 00001de7: DUP9 00001de8: SSTORE 00001de9: PUSH0 00001dea: SWAP8 00001deb: DUP9 00001dec: MSTORE 00001ded: SWAP7 00001dee: DUP6 00001def: SWAP1 00001df0: KECCAK256 00001df1: DUP7 00001df2: MLOAD 00001df3: DUP8 00001df4: DUP8 00001df5: ADD 00001df6: MLOAD 00001df7: DUP7 00001df8: AND 00001df9: PUSH1 0x01 00001dfb: PUSH1 0x80 00001dfd: SHL 00001dfe: MUL 00001dff: SWAP1 00001e00: DUP7 00001e01: AND 00001e02: OR 00001e03: PUSH1 0x02 00001e05: SWAP1 00001e06: SWAP3 00001e07: MUL 00001e08: ADD 00001e09: SWAP1 00001e0a: DUP2 00001e0b: SSTORE 00001e0c: PUSH1 0x40 00001e0e: SWAP6 00001e0f: DUP7 00001e10: ADD 00001e11: MLOAD 00001e12: SWAP7 00001e13: ADD 00001e14: DUP1 00001e15: SLOAD 00001e16: SWAP7 00001e17: SWAP1 00001e18: SWAP3 00001e19: AND 00001e1a: PUSH1 0x01 00001e1c: PUSH1 0x01 00001e1e: PUSH1 0xa0 00001e20: SHL 00001e21: SUB 00001e22: NOT 00001e23: SWAP1 00001e24: SWAP7 00001e25: AND 00001e26: SWAP6 00001e27: SWAP1 00001e28: SWAP6 00001e29: OR 00001e2a: SWAP1 00001e2b: SSTORE 00001e2c: SWAP2 00001e2d: MLOAD 00001e2e: SWAP2 00001e2f: DUP12 00001e30: AND 00001e31: DUP3 00001e32: MSTORE 00001e33: DUP7 00001e34: SWAP2 00001e35: DUP9 00001e36: SWAP2 00001e37: PUSH32 0x18b30bd1409a6a29a2f7518298686a8e7fff748e461a0143a8c772ed29015ece 00001e58: SWAP2 00001e59: ADD 00001e5a: PUSH1 0x40 00001e5c: MLOAD 00001e5d: DUP1 00001e5e: SWAP2 00001e5f: SUB 00001e60: SWAP1 00001e61: LOG4 00001e62: POP 00001e63: POP 00001e64: POP 00001e65: POP 00001e66: POP 00001e67: POP 00001e68: POP 00001e69: POP 00001e6a: JUMP 00001e6b: JUMPDEST 00001e6c: PUSH0 00001e6d: DUP1 00001e6e: PUSH8 0x0de0b6b3a7640000 00001e77: PUSH2 0x1e80 00001e7a: DUP6 00001e7b: DUP8 00001e7c: PUSH2 0x2492 00001e7f: JUMP 00001e80: JUMPDEST 00001e81: PUSH2 0x1e8a 00001e84: SWAP2 00001e85: SWAP1 00001e86: PUSH2 0x2473 00001e89: JUMP 00001e8a: JUMPDEST 00001e8b: SWAP1 00001e8c: POP 00001e8d: PUSH2 0x1e96 00001e90: DUP4 00001e91: DUP3 00001e92: PUSH2 0x18eb 00001e95: JUMP 00001e96: JUMPDEST 00001e97: SWAP2 00001e98: POP 00001e99: POP 00001e9a: JUMPDEST 00001e9b: SWAP4 00001e9c: SWAP3 00001e9d: POP 00001e9e: POP 00001e9f: POP 00001ea0: JUMP 00001ea1: JUMPDEST 00001ea2: PUSH0 00001ea3: PUSH1 0x01 00001ea5: PUSH1 0x01 00001ea7: PUSH1 0x40 00001ea9: SHL 00001eaa: SUB 00001eab: DUP3 00001eac: GT 00001ead: ISZERO 00001eae: PUSH2 0x1937 00001eb1: JUMPI 00001eb2: PUSH1 0x40 00001eb4: DUP1 00001eb5: MLOAD 00001eb6: PUSH4 0x06dfcc65 00001ebb: PUSH1 0xe4 00001ebd: SHL 00001ebe: DUP2 00001ebf: MSTORE 00001ec0: PUSH1 0x04 00001ec2: DUP2 00001ec3: ADD 00001ec4: SWAP2 00001ec5: SWAP1 00001ec6: SWAP2 00001ec7: MSTORE 00001ec8: PUSH1 0x24 00001eca: DUP2 00001ecb: ADD 00001ecc: DUP4 00001ecd: SWAP1 00001ece: MSTORE 00001ecf: PUSH1 0x44 00001ed1: ADD 00001ed2: PUSH2 0x0a79 00001ed5: JUMP 00001ed6: JUMPDEST 00001ed7: PUSH2 0x1ede 00001eda: PUSH2 0x2047 00001edd: JUMP 00001ede: JUMPDEST 00001edf: PUSH2 0x1ee7 00001ee2: DUP2 00001ee3: PUSH2 0x2090 00001ee6: JUMP 00001ee7: JUMPDEST 00001ee8: POP 00001ee9: JUMP 00001eea: JUMPDEST 00001eeb: PUSH2 0x1ef3 00001eee: DUP3 00001eef: PUSH2 0x20a1 00001ef2: JUMP 00001ef3: JUMPDEST 00001ef4: PUSH1 0x40 00001ef6: MLOAD 00001ef7: PUSH1 0x01 00001ef9: PUSH1 0x01 00001efb: PUSH1 0xa0 00001efd: SHL 00001efe: SUB 00001eff: DUP4 00001f00: AND 00001f01: SWAP1 00001f02: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b 00001f23: SWAP1 00001f24: PUSH0 00001f25: SWAP1 00001f26: LOG2 00001f27: DUP1 00001f28: MLOAD 00001f29: ISZERO 00001f2a: PUSH2 0x1f37 00001f2d: JUMPI 00001f2e: PUSH2 0x17a7 00001f31: DUP3 00001f32: DUP3 00001f33: PUSH2 0x2104 00001f36: JUMP 00001f37: JUMPDEST 00001f38: PUSH2 0x053e 00001f3b: PUSH2 0x2176 00001f3e: JUMP 00001f3f: JUMPDEST 00001f40: PUSH1 0x40 00001f42: MLOAD 00001f43: PUSH1 0x01 00001f45: PUSH1 0x01 00001f47: PUSH1 0xa0 00001f49: SHL 00001f4a: SUB 00001f4b: DUP5 00001f4c: DUP2 00001f4d: AND 00001f4e: PUSH1 0x24 00001f50: DUP4 00001f51: ADD 00001f52: MSTORE 00001f53: DUP4 00001f54: DUP2 00001f55: AND 00001f56: PUSH1 0x44 00001f58: DUP4 00001f59: ADD 00001f5a: MSTORE 00001f5b: PUSH1 0x01 00001f5d: PUSH1 0x01 00001f5f: PUSH1 0xe0 00001f61: SHL 00001f62: SUB 00001f63: NOT 00001f64: DUP4 00001f65: AND 00001f66: PUSH1 0x64 00001f68: DUP4 00001f69: ADD 00001f6a: MSTORE 00001f6b: PUSH0 00001f6c: SWAP2 00001f6d: DUP3 00001f6e: SWAP2 00001f6f: DUP3 00001f70: SWAP2 00001f71: DUP3 00001f72: SWAP2 00001f73: DUP10 00001f74: AND 00001f75: SWAP1 00001f76: PUSH1 0x84 00001f78: ADD 00001f79: PUSH1 0x40 00001f7b: DUP1 00001f7c: MLOAD 00001f7d: PUSH1 0x1f 00001f7f: NOT 00001f80: DUP2 00001f81: DUP5 00001f82: SUB 00001f83: ADD 00001f84: DUP2 00001f85: MSTORE 00001f86: SWAP2 00001f87: DUP2 00001f88: MSTORE 00001f89: PUSH1 0x20 00001f8b: DUP3 00001f8c: ADD 00001f8d: DUP1 00001f8e: MLOAD 00001f8f: PUSH1 0x01 00001f91: PUSH1 0x01 00001f93: PUSH1 0xe0 00001f95: SHL 00001f96: SUB 00001f97: AND 00001f98: PUSH4 0xb7009613 00001f9d: PUSH1 0xe0 00001f9f: SHL 00001fa0: OR 00001fa1: SWAP1 00001fa2: MSTORE 00001fa3: MLOAD 00001fa4: PUSH2 0x1fad 00001fa7: SWAP2 00001fa8: SWAP1 00001fa9: PUSH2 0x26a7 00001fac: JUMP 00001fad: JUMPDEST 00001fae: PUSH0 00001faf: PUSH1 0x40 00001fb1: MLOAD 00001fb2: DUP1 00001fb3: DUP4 00001fb4: SUB 00001fb5: DUP2 00001fb6: DUP6 00001fb7: GAS 00001fb8: STATICCALL 00001fb9: SWAP2 00001fba: POP 00001fbb: POP 00001fbc: RETURNDATASIZE 00001fbd: DUP1 00001fbe: PUSH0 00001fbf: DUP2 00001fc0: EQ 00001fc1: PUSH2 0x1fe5 00001fc4: JUMPI 00001fc5: PUSH1 0x40 00001fc7: MLOAD 00001fc8: SWAP2 00001fc9: POP 00001fca: PUSH1 0x1f 00001fcc: NOT 00001fcd: PUSH1 0x3f 00001fcf: RETURNDATASIZE 00001fd0: ADD 00001fd1: AND 00001fd2: DUP3 00001fd3: ADD 00001fd4: PUSH1 0x40 00001fd6: MSTORE 00001fd7: RETURNDATASIZE 00001fd8: DUP3 00001fd9: MSTORE 00001fda: RETURNDATASIZE 00001fdb: PUSH0 00001fdc: PUSH1 0x20 00001fde: DUP5 00001fdf: ADD 00001fe0: RETURNDATACOPY 00001fe1: PUSH2 0x1fea 00001fe4: JUMP 00001fe5: JUMPDEST 00001fe6: PUSH1 0x60 00001fe8: SWAP2 00001fe9: POP 00001fea: JUMPDEST 00001feb: POP 00001fec: SWAP2 00001fed: POP 00001fee: SWAP2 00001fef: POP 00001ff0: DUP2 00001ff1: ISZERO 00001ff2: PUSH2 0x203c 00001ff5: JUMPI 00001ff6: PUSH1 0x40 00001ff8: DUP2 00001ff9: MLOAD 00001ffa: LT 00001ffb: PUSH2 0x201c 00001ffe: JUMPI 00001fff: DUP1 00002000: DUP1 00002001: PUSH1 0x20 00002003: ADD 00002004: SWAP1 00002005: MLOAD 00002006: DUP2 00002007: ADD 00002008: SWAP1 00002009: PUSH2 0x2012 0000200c: SWAP2 0000200d: SWAP1 0000200e: PUSH2 0x26bd 00002011: JUMP 00002012: JUMPDEST 00002013: SWAP1 00002014: SWAP5 00002015: POP 00002016: SWAP3 00002017: POP 00002018: PUSH2 0x203c 0000201b: JUMP 0000201c: JUMPDEST 0000201d: PUSH1 0x20 0000201f: DUP2 00002020: MLOAD 00002021: LT 00002022: PUSH2 0x203c 00002025: JUMPI 00002026: DUP1 00002027: DUP1 00002028: PUSH1 0x20 0000202a: ADD 0000202b: SWAP1 0000202c: MLOAD 0000202d: DUP2 0000202e: ADD 0000202f: SWAP1 00002030: PUSH2 0x2039 00002033: SWAP2 00002034: SWAP1 00002035: PUSH2 0x2501 00002038: JUMP 00002039: JUMPDEST 0000203a: SWAP4 0000203b: POP 0000203c: JUMPDEST 0000203d: POP 0000203e: POP 0000203f: SWAP5 00002040: POP 00002041: SWAP5 00002042: SWAP3 00002043: POP 00002044: POP 00002045: POP 00002046: JUMP 00002047: JUMPDEST 00002048: PUSH32 0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00 00002069: SLOAD 0000206a: PUSH1 0x01 0000206c: PUSH1 0x40 0000206e: SHL 0000206f: SWAP1 00002070: DIV 00002071: PUSH1 0xff 00002073: AND 00002074: PUSH2 0x163d 00002077: JUMPI 00002078: PUSH1 0x40 0000207a: MLOAD 0000207b: PUSH4 0x1afcd79f 00002080: PUSH1 0xe3 00002082: SHL 00002083: DUP2 00002084: MSTORE 00002085: PUSH1 0x04 00002087: ADD 00002088: PUSH1 0x40 0000208a: MLOAD 0000208b: DUP1 0000208c: SWAP2 0000208d: SUB 0000208e: SWAP1 0000208f: REVERT 00002090: JUMPDEST 00002091: PUSH2 0x2098 00002094: PUSH2 0x2047 00002097: JUMP 00002098: JUMPDEST 00002099: PUSH2 0x1ee7 0000209c: DUP2 0000209d: PUSH2 0x193b 000020a0: JUMP 000020a1: JUMPDEST 000020a2: DUP1 000020a3: PUSH1 0x01 000020a5: PUSH1 0x01 000020a7: PUSH1 0xa0 000020a9: SHL 000020aa: SUB 000020ab: AND 000020ac: EXTCODESIZE 000020ad: PUSH0 000020ae: SUB 000020af: PUSH2 0x20d6 000020b2: JUMPI 000020b3: PUSH1 0x40 000020b5: MLOAD 000020b6: PUSH4 0x4c9c8ce3 000020bb: PUSH1 0xe0 000020bd: SHL 000020be: DUP2 000020bf: MSTORE 000020c0: PUSH1 0x01 000020c2: PUSH1 0x01 000020c4: PUSH1 0xa0 000020c6: SHL 000020c7: SUB 000020c8: DUP3 000020c9: AND 000020ca: PUSH1 0x04 000020cc: DUP3 000020cd: ADD 000020ce: MSTORE 000020cf: PUSH1 0x24 000020d1: ADD 000020d2: PUSH2 0x0a79 000020d5: JUMP 000020d6: JUMPDEST 000020d7: PUSH0 000020d8: MLOAD 000020d9: PUSH1 0x20 000020db: PUSH2 0x271b 000020de: PUSH0 000020df: CODECOPY 000020e0: PUSH0 000020e1: MLOAD 000020e2: SWAP1 000020e3: PUSH0 000020e4: MSTORE 000020e5: DUP1 000020e6: SLOAD 000020e7: PUSH1 0x01 000020e9: PUSH1 0x01 000020eb: PUSH1 0xa0 000020ed: SHL 000020ee: SUB 000020ef: NOT 000020f0: AND 000020f1: PUSH1 0x01 000020f3: PUSH1 0x01 000020f5: PUSH1 0xa0 000020f7: SHL 000020f8: SUB 000020f9: SWAP3 000020fa: SWAP1 000020fb: SWAP3 000020fc: AND 000020fd: SWAP2 000020fe: SWAP1 000020ff: SWAP2 00002100: OR 00002101: SWAP1 00002102: SSTORE 00002103: JUMP 00002104: JUMPDEST 00002105: PUSH1 0x60 00002107: PUSH0 00002108: PUSH0 00002109: DUP5 0000210a: PUSH1 0x01 0000210c: PUSH1 0x01 0000210e: PUSH1 0xa0 00002110: SHL 00002111: SUB 00002112: AND 00002113: DUP5 00002114: PUSH1 0x40 00002116: MLOAD 00002117: PUSH2 0x2120 0000211a: SWAP2 0000211b: SWAP1 0000211c: PUSH2 0x26a7 0000211f: JUMP 00002120: JUMPDEST 00002121: PUSH0 00002122: PUSH1 0x40 00002124: MLOAD 00002125: DUP1 00002126: DUP4 00002127: SUB 00002128: DUP2 00002129: DUP6 0000212a: GAS 0000212b: DELEGATECALL 0000212c: SWAP2 0000212d: POP 0000212e: POP 0000212f: RETURNDATASIZE 00002130: DUP1 00002131: PUSH0 00002132: DUP2 00002133: EQ 00002134: PUSH2 0x2158 00002137: JUMPI 00002138: PUSH1 0x40 0000213a: MLOAD 0000213b: SWAP2 0000213c: POP 0000213d: PUSH1 0x1f 0000213f: NOT 00002140: PUSH1 0x3f 00002142: RETURNDATASIZE 00002143: ADD 00002144: AND 00002145: DUP3 00002146: ADD 00002147: PUSH1 0x40 00002149: MSTORE 0000214a: RETURNDATASIZE 0000214b: DUP3 0000214c: MSTORE 0000214d: RETURNDATASIZE 0000214e: PUSH0 0000214f: PUSH1 0x20 00002151: DUP5 00002152: ADD 00002153: RETURNDATACOPY 00002154: PUSH2 0x215d 00002157: JUMP 00002158: JUMPDEST 00002159: PUSH1 0x60 0000215b: SWAP2 0000215c: POP 0000215d: JUMPDEST 0000215e: POP 0000215f: SWAP2 00002160: POP 00002161: SWAP2 00002162: POP 00002163: PUSH2 0x216d 00002166: DUP6 00002167: DUP4 00002168: DUP4 00002169: PUSH2 0x2195 0000216c: JUMP 0000216d: JUMPDEST 0000216e: SWAP6 0000216f: SWAP5 00002170: POP 00002171: POP 00002172: POP 00002173: POP 00002174: POP 00002175: JUMP 00002176: JUMPDEST 00002177: CALLVALUE 00002178: ISZERO 00002179: PUSH2 0x163d 0000217c: JUMPI 0000217d: PUSH1 0x40 0000217f: MLOAD 00002180: PUSH4 0xb398979f 00002185: PUSH1 0xe0 00002187: SHL 00002188: DUP2 00002189: MSTORE 0000218a: PUSH1 0x04 0000218c: ADD 0000218d: PUSH1 0x40 0000218f: MLOAD 00002190: DUP1 00002191: SWAP2 00002192: SUB 00002193: SWAP1 00002194: REVERT 00002195: JUMPDEST 00002196: PUSH1 0x60 00002198: DUP3 00002199: PUSH2 0x21aa 0000219c: JUMPI 0000219d: PUSH2 0x21a5 000021a0: DUP3 000021a1: PUSH2 0x21f1 000021a4: JUMP 000021a5: JUMPDEST 000021a6: PUSH2 0x1e9a 000021a9: JUMP 000021aa: JUMPDEST 000021ab: DUP2 000021ac: MLOAD 000021ad: ISZERO 000021ae: DUP1 000021af: ISZERO 000021b0: PUSH2 0x21c1 000021b3: JUMPI 000021b4: POP 000021b5: PUSH1 0x01 000021b7: PUSH1 0x01 000021b9: PUSH1 0xa0 000021bb: SHL 000021bc: SUB 000021bd: DUP5 000021be: AND 000021bf: EXTCODESIZE 000021c0: ISZERO 000021c1: JUMPDEST 000021c2: ISZERO 000021c3: PUSH2 0x21ea 000021c6: JUMPI 000021c7: PUSH1 0x40 000021c9: MLOAD 000021ca: PUSH4 0x9996b315 000021cf: PUSH1 0xe0 000021d1: SHL 000021d2: DUP2 000021d3: MSTORE 000021d4: PUSH1 0x01 000021d6: PUSH1 0x01 000021d8: PUSH1 0xa0 000021da: SHL 000021db: SUB 000021dc: DUP6 000021dd: AND 000021de: PUSH1 0x04 000021e0: DUP3 000021e1: ADD 000021e2: MSTORE 000021e3: PUSH1 0x24 000021e5: ADD 000021e6: PUSH2 0x0a79 000021e9: JUMP 000021ea: JUMPDEST 000021eb: POP 000021ec: DUP1 000021ed: PUSH2 0x1e9a 000021f0: JUMP 000021f1: JUMPDEST 000021f2: DUP1 000021f3: MLOAD 000021f4: ISZERO 000021f5: PUSH2 0x2201 000021f8: JUMPI 000021f9: DUP1 000021fa: MLOAD 000021fb: DUP1 000021fc: DUP3 000021fd: PUSH1 0x20 000021ff: ADD 00002200: REVERT 00002201: JUMPDEST 00002202: PUSH1 0x40 00002204: MLOAD 00002205: PUSH4 0x0a12f521 0000220a: PUSH1 0xe1 0000220c: SHL 0000220d: DUP2 0000220e: MSTORE 0000220f: PUSH1 0x04 00002211: ADD 00002212: PUSH1 0x40 00002214: MLOAD 00002215: DUP1 00002216: SWAP2 00002217: SUB 00002218: SWAP1 00002219: REVERT 0000221a: JUMPDEST 0000221b: DUP1 0000221c: CALLDATALOAD 0000221d: PUSH1 0x01 0000221f: PUSH1 0x01 00002221: PUSH1 0xa0 00002223: SHL 00002224: SUB 00002225: DUP2 00002226: AND 00002227: DUP2 00002228: EQ 00002229: PUSH2 0x2230 0000222c: JUMPI 0000222d: PUSH0 0000222e: PUSH0 0000222f: REVERT 00002230: JUMPDEST 00002231: SWAP2 00002232: SWAP1 00002233: POP 00002234: JUMP 00002235: JUMPDEST 00002236: PUSH4 0x4e487b71 0000223b: PUSH1 0xe0 0000223d: SHL 0000223e: PUSH0 0000223f: MSTORE 00002240: PUSH1 0x41 00002242: PUSH1 0x04 00002244: MSTORE 00002245: PUSH1 0x24 00002247: PUSH0 00002248: REVERT 00002249: JUMPDEST 0000224a: PUSH0 0000224b: PUSH0 0000224c: PUSH1 0x40 0000224e: DUP4 0000224f: DUP6 00002250: SUB 00002251: SLT 00002252: ISZERO 00002253: PUSH2 0x225a 00002256: JUMPI 00002257: PUSH0 00002258: PUSH0 00002259: REVERT 0000225a: JUMPDEST 0000225b: PUSH2 0x2263 0000225e: DUP4 0000225f: PUSH2 0x221a 00002262: JUMP 00002263: JUMPDEST 00002264: SWAP2 00002265: POP 00002266: PUSH1 0x20 00002268: DUP4 00002269: ADD 0000226a: CALLDATALOAD 0000226b: PUSH1 0x01 0000226d: PUSH1 0x01 0000226f: PUSH1 0x40 00002271: SHL 00002272: SUB 00002273: DUP2 00002274: GT 00002275: ISZERO 00002276: PUSH2 0x227d 00002279: JUMPI 0000227a: PUSH0 0000227b: PUSH0 0000227c: REVERT 0000227d: JUMPDEST 0000227e: DUP4 0000227f: ADD 00002280: PUSH1 0x1f 00002282: DUP2 00002283: ADD 00002284: DUP6 00002285: SGT 00002286: PUSH2 0x228d 00002289: JUMPI 0000228a: PUSH0 0000228b: PUSH0 0000228c: REVERT 0000228d: JUMPDEST 0000228e: DUP1 0000228f: CALLDATALOAD 00002290: PUSH1 0x01 00002292: PUSH1 0x01 00002294: PUSH1 0x40 00002296: SHL 00002297: SUB 00002298: DUP2 00002299: GT 0000229a: ISZERO 0000229b: PUSH2 0x22a6 0000229e: JUMPI 0000229f: PUSH2 0x22a6 000022a2: PUSH2 0x2235 000022a5: JUMP 000022a6: JUMPDEST 000022a7: PUSH1 0x40 000022a9: MLOAD 000022aa: PUSH1 0x1f 000022ac: DUP3 000022ad: ADD 000022ae: PUSH1 0x1f 000022b0: NOT 000022b1: SWAP1 000022b2: DUP2 000022b3: AND 000022b4: PUSH1 0x3f 000022b6: ADD 000022b7: AND 000022b8: DUP2 000022b9: ADD 000022ba: PUSH1 0x01 000022bc: PUSH1 0x01 000022be: PUSH1 0x40 000022c0: SHL 000022c1: SUB 000022c2: DUP2 000022c3: GT 000022c4: DUP3 000022c5: DUP3 000022c6: LT 000022c7: OR 000022c8: ISZERO 000022c9: PUSH2 0x22d4 000022cc: JUMPI 000022cd: PUSH2 0x22d4 000022d0: PUSH2 0x2235 000022d3: JUMP 000022d4: JUMPDEST 000022d5: PUSH1 0x40 000022d7: MSTORE 000022d8: DUP2 000022d9: DUP2 000022da: MSTORE 000022db: DUP3 000022dc: DUP3 000022dd: ADD 000022de: PUSH1 0x20 000022e0: ADD 000022e1: DUP8 000022e2: LT 000022e3: ISZERO 000022e4: PUSH2 0x22eb 000022e7: JUMPI 000022e8: PUSH0 000022e9: PUSH0 000022ea: REVERT 000022eb: JUMPDEST 000022ec: DUP2 000022ed: PUSH1 0x20 000022ef: DUP5 000022f0: ADD 000022f1: PUSH1 0x20 000022f3: DUP4 000022f4: ADD 000022f5: CALLDATACOPY 000022f6: PUSH0 000022f7: PUSH1 0x20 000022f9: DUP4 000022fa: DUP4 000022fb: ADD 000022fc: ADD 000022fd: MSTORE 000022fe: DUP1 000022ff: SWAP4 00002300: POP 00002301: POP 00002302: POP 00002303: POP 00002304: SWAP3 00002305: POP 00002306: SWAP3 00002307: SWAP1 00002308: POP 00002309: JUMP 0000230a: JUMPDEST 0000230b: PUSH0 0000230c: PUSH1 0x20 0000230e: DUP3 0000230f: DUP5 00002310: SUB 00002311: SLT 00002312: ISZERO 00002313: PUSH2 0x231a 00002316: JUMPI 00002317: PUSH0 00002318: PUSH0 00002319: REVERT 0000231a: JUMPDEST 0000231b: POP 0000231c: CALLDATALOAD 0000231d: SWAP2 0000231e: SWAP1 0000231f: POP 00002320: JUMP 00002321: JUMPDEST 00002322: PUSH0 00002323: PUSH1 0x20 00002325: DUP3 00002326: DUP5 00002327: SUB 00002328: SLT 00002329: ISZERO 0000232a: PUSH2 0x2331 0000232d: JUMPI 0000232e: PUSH0 0000232f: PUSH0 00002330: REVERT 00002331: JUMPDEST 00002332: PUSH2 0x18fb 00002335: DUP3 00002336: PUSH2 0x221a 00002339: JUMP 0000233a: JUMPDEST 0000233b: PUSH0 0000233c: PUSH0 0000233d: DUP3 0000233e: DUP5 0000233f: SUB 00002340: PUSH1 0xc0 00002342: DUP2 00002343: SLT 00002344: ISZERO 00002345: PUSH2 0x234c 00002348: JUMPI 00002349: PUSH0 0000234a: PUSH0 0000234b: REVERT 0000234c: JUMPDEST 0000234d: PUSH1 0xa0 0000234f: DUP2 00002350: SLT 00002351: ISZERO 00002352: PUSH2 0x2359 00002355: JUMPI 00002356: PUSH0 00002357: PUSH0 00002358: REVERT 00002359: JUMPDEST 0000235a: POP 0000235b: DUP3 0000235c: SWAP2 0000235d: POP 0000235e: PUSH2 0x2369 00002361: PUSH1 0xa0 00002363: DUP5 00002364: ADD 00002365: PUSH2 0x221a 00002368: JUMP 00002369: JUMPDEST 0000236a: SWAP1 0000236b: POP 0000236c: SWAP3 0000236d: POP 0000236e: SWAP3 0000236f: SWAP1 00002370: POP 00002371: JUMP 00002372: JUMPDEST 00002373: PUSH1 0x20 00002375: DUP2 00002376: MSTORE 00002377: PUSH0 00002378: DUP3 00002379: MLOAD 0000237a: DUP1 0000237b: PUSH1 0x20 0000237d: DUP5 0000237e: ADD 0000237f: MSTORE 00002380: DUP1 00002381: PUSH1 0x20 00002383: DUP6 00002384: ADD 00002385: PUSH1 0x40 00002387: DUP6 00002388: ADD 00002389: MCOPY 0000238a: PUSH0 0000238b: PUSH1 0x40 0000238d: DUP3 0000238e: DUP6 0000238f: ADD 00002390: ADD 00002391: MSTORE 00002392: PUSH1 0x40 00002394: PUSH1 0x1f 00002396: NOT 00002397: PUSH1 0x1f 00002399: DUP4 0000239a: ADD 0000239b: AND 0000239c: DUP5 0000239d: ADD 0000239e: ADD 0000239f: SWAP2 000023a0: POP 000023a1: POP 000023a2: SWAP3 000023a3: SWAP2 000023a4: POP 000023a5: POP 000023a6: JUMP 000023a7: JUMPDEST 000023a8: PUSH0 000023a9: PUSH0 000023aa: PUSH1 0x20 000023ac: DUP4 000023ad: DUP6 000023ae: SUB 000023af: SLT 000023b0: ISZERO 000023b1: PUSH2 0x23b8 000023b4: JUMPI 000023b5: PUSH0 000023b6: PUSH0 000023b7: REVERT 000023b8: JUMPDEST 000023b9: DUP3 000023ba: CALLDATALOAD 000023bb: PUSH1 0x01 000023bd: PUSH1 0x01 000023bf: PUSH1 0x40 000023c1: SHL 000023c2: SUB 000023c3: DUP2 000023c4: GT 000023c5: ISZERO 000023c6: PUSH2 0x23cd 000023c9: JUMPI 000023ca: PUSH0 000023cb: PUSH0 000023cc: REVERT 000023cd: JUMPDEST 000023ce: DUP4 000023cf: ADD 000023d0: PUSH1 0x1f 000023d2: DUP2 000023d3: ADD 000023d4: DUP6 000023d5: SGT 000023d6: PUSH2 0x23dd 000023d9: JUMPI 000023da: PUSH0 000023db: PUSH0 000023dc: REVERT 000023dd: JUMPDEST 000023de: DUP1 000023df: CALLDATALOAD 000023e0: PUSH1 0x01 000023e2: PUSH1 0x01 000023e4: PUSH1 0x40 000023e6: SHL 000023e7: SUB 000023e8: DUP2 000023e9: GT 000023ea: ISZERO 000023eb: PUSH2 0x23f2 000023ee: JUMPI 000023ef: PUSH0 000023f0: PUSH0 000023f1: REVERT 000023f2: JUMPDEST 000023f3: DUP6 000023f4: PUSH1 0x20 000023f6: DUP3 000023f7: PUSH1 0x05 000023f9: SHL 000023fa: DUP5 000023fb: ADD 000023fc: ADD 000023fd: GT 000023fe: ISZERO 000023ff: PUSH2 0x2406 00002402: JUMPI 00002403: PUSH0 00002404: PUSH0 00002405: REVERT 00002406: JUMPDEST 00002407: PUSH1 0x20 00002409: SWAP2 0000240a: SWAP1 0000240b: SWAP2 0000240c: ADD 0000240d: SWAP6 0000240e: SWAP1 0000240f: SWAP5 00002410: POP 00002411: SWAP3 00002412: POP 00002413: POP 00002414: POP 00002415: JUMP 00002416: JUMPDEST 00002417: PUSH0 00002418: PUSH0 00002419: PUSH1 0x40 0000241b: DUP4 0000241c: DUP6 0000241d: SUB 0000241e: SLT 0000241f: ISZERO 00002420: PUSH2 0x2427 00002423: JUMPI 00002424: PUSH0 00002425: PUSH0 00002426: REVERT 00002427: JUMPDEST 00002428: DUP3 00002429: CALLDATALOAD 0000242a: PUSH1 0x01 0000242c: PUSH1 0x01 0000242e: PUSH1 0x80 00002430: SHL 00002431: SUB 00002432: DUP2 00002433: AND 00002434: DUP2 00002435: EQ 00002436: PUSH2 0x243d 00002439: JUMPI 0000243a: PUSH0 0000243b: PUSH0 0000243c: REVERT 0000243d: JUMPDEST 0000243e: SWAP2 0000243f: POP 00002440: PUSH2 0x2369 00002443: PUSH1 0x20 00002445: DUP5 00002446: ADD 00002447: PUSH2 0x221a 0000244a: JUMP 0000244b: JUMPDEST 0000244c: PUSH4 0x4e487b71 00002451: PUSH1 0xe0 00002453: SHL 00002454: PUSH0 00002455: MSTORE 00002456: PUSH1 0x32 00002458: PUSH1 0x04 0000245a: MSTORE 0000245b: PUSH1 0x24 0000245d: PUSH0 0000245e: REVERT 0000245f: JUMPDEST 00002460: PUSH4 0x4e487b71 00002465: PUSH1 0xe0 00002467: SHL 00002468: PUSH0 00002469: MSTORE 0000246a: PUSH1 0x11 0000246c: PUSH1 0x04 0000246e: MSTORE 0000246f: PUSH1 0x24 00002471: PUSH0 00002472: REVERT 00002473: JUMPDEST 00002474: PUSH0 00002475: DUP3 00002476: PUSH2 0x248d 00002479: JUMPI 0000247a: PUSH4 0x4e487b71 0000247f: PUSH1 0xe0 00002481: SHL 00002482: PUSH0 00002483: MSTORE 00002484: PUSH1 0x12 00002486: PUSH1 0x04 00002488: MSTORE 00002489: PUSH1 0x24 0000248b: PUSH0 0000248c: REVERT 0000248d: JUMPDEST 0000248e: POP 0000248f: DIV 00002490: SWAP1 00002491: JUMP 00002492: JUMPDEST 00002493: DUP1 00002494: DUP3 00002495: MUL 00002496: DUP2 00002497: ISZERO 00002498: DUP3 00002499: DUP3 0000249a: DIV 0000249b: DUP5 0000249c: EQ 0000249d: OR 0000249e: PUSH2 0x18fe 000024a1: JUMPI 000024a2: PUSH2 0x18fe 000024a5: PUSH2 0x245f 000024a8: JUMP 000024a9: JUMPDEST 000024aa: PUSH0 000024ab: PUSH1 0x01 000024ad: PUSH1 0x01 000024af: PUSH1 0x80 000024b1: SHL 000024b2: SUB 000024b3: DUP3 000024b4: AND 000024b5: PUSH1 0x01 000024b7: PUSH1 0x01 000024b9: PUSH1 0x80 000024bb: SHL 000024bc: SUB 000024bd: DUP2 000024be: SUB 000024bf: PUSH2 0x24ca 000024c2: JUMPI 000024c3: PUSH2 0x24ca 000024c6: PUSH2 0x245f 000024c9: JUMP 000024ca: JUMPDEST 000024cb: PUSH1 0x01 000024cd: ADD 000024ce: SWAP3 000024cf: SWAP2 000024d0: POP 000024d1: POP 000024d2: JUMP 000024d3: JUMPDEST 000024d4: PUSH1 0x01 000024d6: PUSH1 0x01 000024d8: PUSH1 0x80 000024da: SHL 000024db: SUB 000024dc: DUP2 000024dd: DUP2 000024de: AND 000024df: DUP4 000024e0: DUP3 000024e1: AND 000024e2: ADD 000024e3: SWAP1 000024e4: DUP2 000024e5: GT 000024e6: ISZERO 000024e7: PUSH2 0x18fe 000024ea: JUMPI 000024eb: PUSH2 0x18fe 000024ee: PUSH2 0x245f 000024f1: JUMP 000024f2: JUMPDEST 000024f3: DUP1 000024f4: MLOAD 000024f5: DUP1 000024f6: ISZERO 000024f7: ISZERO 000024f8: DUP2 000024f9: EQ 000024fa: PUSH2 0x2230 000024fd: JUMPI 000024fe: PUSH0 000024ff: PUSH0 00002500: REVERT 00002501: JUMPDEST 00002502: PUSH0 00002503: PUSH1 0x20 00002505: DUP3 00002506: DUP5 00002507: SUB 00002508: SLT 00002509: ISZERO 0000250a: PUSH2 0x2511 0000250d: JUMPI 0000250e: PUSH0 0000250f: PUSH0 00002510: REVERT 00002511: JUMPDEST 00002512: PUSH2 0x18fb 00002515: DUP3 00002516: PUSH2 0x24f2 00002519: JUMP 0000251a: JUMPDEST 0000251b: PUSH0 0000251c: PUSH1 0x20 0000251e: DUP3 0000251f: DUP5 00002520: SUB 00002521: SLT 00002522: ISZERO 00002523: PUSH2 0x252a 00002526: JUMPI 00002527: PUSH0 00002528: PUSH0 00002529: REVERT 0000252a: JUMPDEST 0000252b: DUP2 0000252c: CALLDATALOAD 0000252d: PUSH1 0xff 0000252f: DUP2 00002530: AND 00002531: DUP2 00002532: EQ 00002533: PUSH2 0x1e9a 00002536: JUMPI 00002537: PUSH0 00002538: PUSH0 00002539: REVERT 0000253a: JUMPDEST 0000253b: DUP1 0000253c: DUP3 0000253d: ADD 0000253e: DUP1 0000253f: DUP3 00002540: GT 00002541: ISZERO 00002542: PUSH2 0x18fe 00002545: JUMPI 00002546: PUSH2 0x18fe 00002549: PUSH2 0x245f 0000254c: JUMP 0000254d: JUMPDEST 0000254e: PUSH0 0000254f: PUSH1 0x20 00002551: DUP3 00002552: DUP5 00002553: SUB 00002554: SLT 00002555: ISZERO 00002556: PUSH2 0x255d 00002559: JUMPI 0000255a: PUSH0 0000255b: PUSH0 0000255c: REVERT 0000255d: JUMPDEST 0000255e: POP 0000255f: MLOAD 00002560: SWAP2 00002561: SWAP1 00002562: POP 00002563: JUMP 00002564: JUMPDEST 00002565: PUSH0 00002566: PUSH1 0x01 00002568: DUP3 00002569: ADD 0000256a: PUSH2 0x2575 0000256d: JUMPI 0000256e: PUSH2 0x2575 00002571: PUSH2 0x245f 00002574: JUMP 00002575: JUMPDEST 00002576: POP 00002577: PUSH1 0x01 00002579: ADD 0000257a: SWAP1 0000257b: JUMP 0000257c: JUMPDEST 0000257d: DUP2 0000257e: DUP2 0000257f: SUB 00002580: DUP2 00002581: DUP2 00002582: GT 00002583: ISZERO 00002584: PUSH2 0x18fe 00002587: JUMPI 00002588: PUSH2 0x18fe 0000258b: PUSH2 0x245f 0000258e: JUMP 0000258f: JUMPDEST 00002590: PUSH1 0x40 00002592: DUP1 00002593: DUP3 00002594: MSTORE 00002595: DUP2 00002596: ADD 00002597: DUP4 00002598: SWAP1 00002599: MSTORE 0000259a: PUSH0 0000259b: PUSH1 0x01 0000259d: PUSH1 0x01 0000259f: PUSH1 0xfb 000025a1: SHL 000025a2: SUB 000025a3: DUP5 000025a4: GT 000025a5: ISZERO 000025a6: PUSH2 0x25ad 000025a9: JUMPI 000025aa: PUSH0 000025ab: PUSH0 000025ac: REVERT 000025ad: JUMPDEST 000025ae: DUP4 000025af: PUSH1 0x05 000025b1: SHL 000025b2: DUP1 000025b3: DUP7 000025b4: PUSH1 0x60 000025b6: DUP6 000025b7: ADD 000025b8: CALLDATACOPY 000025b9: PUSH1 0x20 000025bb: DUP4 000025bc: ADD 000025bd: SWAP4 000025be: SWAP1 000025bf: SWAP4 000025c0: MSTORE 000025c1: POP 000025c2: ADD 000025c3: PUSH1 0x60 000025c5: ADD 000025c6: SWAP3 000025c7: SWAP2 000025c8: POP 000025c9: POP 000025ca: JUMP 000025cb: JUMPDEST 000025cc: PUSH0 000025cd: PUSH0 000025ce: DUP6 000025cf: DUP6 000025d0: GT 000025d1: ISZERO 000025d2: PUSH2 0x25d9 000025d5: JUMPI 000025d6: PUSH0 000025d7: PUSH0 000025d8: REVERT 000025d9: JUMPDEST 000025da: DUP4 000025db: DUP7 000025dc: GT 000025dd: ISZERO 000025de: PUSH2 0x25e5 000025e1: JUMPI 000025e2: PUSH0 000025e3: PUSH0 000025e4: REVERT 000025e5: JUMPDEST 000025e6: POP 000025e7: POP 000025e8: DUP3 000025e9: ADD 000025ea: SWAP4 000025eb: SWAP2 000025ec: SWAP1 000025ed: SWAP3 000025ee: SUB 000025ef: SWAP2 000025f0: POP 000025f1: JUMP 000025f2: JUMPDEST 000025f3: DUP1 000025f4: CALLDATALOAD 000025f5: PUSH1 0x01 000025f7: PUSH1 0x01 000025f9: PUSH1 0xe0 000025fb: SHL 000025fc: SUB 000025fd: NOT 000025fe: DUP2 000025ff: AND 00002600: SWAP1 00002601: PUSH1 0x04 00002603: DUP5 00002604: LT 00002605: ISZERO 00002606: PUSH2 0x2623 00002609: JUMPI 0000260a: PUSH1 0x01 0000260c: PUSH1 0x01 0000260e: PUSH1 0xe0 00002610: SHL 00002611: SUB 00002612: NOT 00002613: PUSH1 0x04 00002615: DUP6 00002616: SWAP1 00002617: SUB 00002618: PUSH1 0x03 0000261a: SHL 0000261b: DUP2 0000261c: SWAP1 0000261d: SHL 0000261e: DUP3 0000261f: AND 00002620: AND 00002621: SWAP2 00002622: POP 00002623: JUMPDEST 00002624: POP 00002625: SWAP3 00002626: SWAP2 00002627: POP 00002628: POP 00002629: JUMP 0000262a: JUMPDEST 0000262b: PUSH1 0x01 0000262d: PUSH1 0x01 0000262f: PUSH1 0xa0 00002631: SHL 00002632: SUB 00002633: DUP5 00002634: AND 00002635: DUP2 00002636: MSTORE 00002637: PUSH1 0x40 00002639: PUSH1 0x20 0000263b: DUP3 0000263c: ADD 0000263d: DUP2 0000263e: SWAP1 0000263f: MSTORE 00002640: DUP2 00002641: ADD 00002642: DUP3 00002643: SWAP1 00002644: MSTORE 00002645: DUP2 00002646: DUP4 00002647: PUSH1 0x60 00002649: DUP4 0000264a: ADD 0000264b: CALLDATACOPY 0000264c: PUSH0 0000264d: DUP2 0000264e: DUP4 0000264f: ADD 00002650: PUSH1 0x60 00002652: SWAP1 00002653: DUP2 00002654: ADD 00002655: SWAP2 00002656: SWAP1 00002657: SWAP2 00002658: MSTORE 00002659: PUSH1 0x1f 0000265b: SWAP1 0000265c: SWAP3 0000265d: ADD 0000265e: PUSH1 0x1f 00002660: NOT 00002661: AND 00002662: ADD 00002663: ADD 00002664: SWAP3 00002665: SWAP2 00002666: POP 00002667: POP 00002668: JUMP 00002669: JUMPDEST 0000266a: PUSH1 0x01 0000266c: PUSH1 0x01 0000266e: PUSH1 0x58 00002670: SHL 00002671: SUB 00002672: DUP2 00002673: DUP2 00002674: AND 00002675: DUP4 00002676: DUP3 00002677: AND 00002678: ADD 00002679: SWAP1 0000267a: DUP2 0000267b: GT 0000267c: ISZERO 0000267d: PUSH2 0x18fe 00002680: JUMPI 00002681: PUSH2 0x18fe 00002684: PUSH2 0x245f 00002687: JUMP 00002688: JUMPDEST 00002689: PUSH1 0x01 0000268b: PUSH1 0x01 0000268d: PUSH1 0x60 0000268f: SHL 00002690: SUB 00002691: DUP2 00002692: DUP2 00002693: AND 00002694: DUP4 00002695: DUP3 00002696: AND 00002697: ADD 00002698: SWAP1 00002699: DUP2 0000269a: GT 0000269b: ISZERO 0000269c: PUSH2 0x18fe 0000269f: JUMPI 000026a0: PUSH2 0x18fe 000026a3: PUSH2 0x245f 000026a6: JUMP 000026a7: JUMPDEST 000026a8: PUSH0 000026a9: DUP3 000026aa: MLOAD 000026ab: DUP1 000026ac: PUSH1 0x20 000026ae: DUP6 000026af: ADD 000026b0: DUP5 000026b1: MCOPY 000026b2: PUSH0 000026b3: SWAP3 000026b4: ADD 000026b5: SWAP2 000026b6: DUP3 000026b7: MSTORE 000026b8: POP 000026b9: SWAP2 000026ba: SWAP1 000026bb: POP 000026bc: JUMP 000026bd: JUMPDEST 000026be: PUSH0 000026bf: PUSH0 000026c0: PUSH1 0x40 000026c2: DUP4 000026c3: DUP6 000026c4: SUB 000026c5: SLT 000026c6: ISZERO 000026c7: PUSH2 0x26ce 000026ca: JUMPI 000026cb: PUSH0 000026cc: PUSH0 000026cd: REVERT 000026ce: JUMPDEST 000026cf: PUSH2 0x26d7 000026d2: DUP4 000026d3: PUSH2 0x24f2 000026d6: JUMP 000026d7: JUMPDEST 000026d8: SWAP2 000026d9: POP 000026da: PUSH1 0x20 000026dc: DUP4 000026dd: ADD 000026de: MLOAD 000026df: PUSH4 0xffffffff 000026e4: DUP2 000026e5: AND 000026e6: DUP2 000026e7: EQ 000026e8: PUSH2 0x26ef 000026eb: JUMPI 000026ec: PUSH0 000026ed: PUSH0 000026ee: REVERT 000026ef: JUMPDEST 000026f0: DUP1 000026f1: SWAP2 000026f2: POP 000026f3: POP 000026f4: SWAP3 000026f5: POP 000026f6: SWAP3 000026f7: SWAP1 000026f8: POP 000026f9: JUMP 000026fa: INVALID 000026fb: RETURN 000026fc: OR 000026fd: PUSH20 0x57ab46d8af007ab3fdb9af81da189e1068fefdc0 00002712: SMOD 00002713: RETURNDATASIZE 00002714: UNKNOWN(0xCA) 00002715: DUP9 00002716: LOG2 00002717: UNKNOWN(0xCA) 00002718: UNKNOWN(0xB4) 00002719: EXP 0000271a: STOP 0000271b: CALLDATASIZE 0000271c: ADDMOD 0000271d: SWAP5 0000271e: LOG1 0000271f: EXTCODESIZE 00002720: LOG1 00002721: LOG3 00002722: UNKNOWN(0x21) 00002723: MOD 00002724: PUSH8 0xc828492db98dca3e 0000272d: KECCAK256 0000272e: PUSH23 0xcc3735a920a3ca505d382bbc2cc4e591e9323af22eeee6 00002746: UNKNOWN(0xC9) 00002747: UNKNOWN(0xB0) 00002748: DIFFICULTY 00002749: BASEFEE 0000274a: PUSH4 0xdad4345e 0000274f: UNKNOWN(0xB4) 00002750: MSTORE 00002751: UNKNOWN(0xE3) 00002752: UNKNOWN(0xC7) 00002753: SHL 00002754: PUSH2 0x0fff 00002757: UNKNOWN(0xCA) 00002758: DUP8 00002759: UNKNOWN(0xE1) 0000275a: STOP 0000275b: LOG2 0000275c: PUSH5 0x6970667358 00002762: UNKNOWN(0x22) 00002763: SLT 00002764: KECCAK256 00002765: REVERT 00002766: LOG2 00002767: UNKNOWN(0xC0) 00002768: PUSH28 0x57026c6e77d03d35fe8f7fe5bda62afe12e3f31d1102d8092938f525 00002785: PUSH5 0x736f6c6343 0000278b: STOP 0000278c: ADDMOD 0000278d: SHL 0000278e: STOP 0000278f: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x1637a91a8531145ee6e965afeade35e24c8316b27c8b096af3c0b9f66f3e3b95
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x1637a91a8531145ee6e965afeade35e24c8316b27c8b096af3c0b9f66f3e3b95",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xbb21fd3d",
"selector": "0xbb21fd3d",
"calldata_variants": [
"0xbb21fd3d",
"0xbb21fd3d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf7e214f",
"selector": "0xbf7e214f",
"calldata_variants": [
"0xbf7e214f",
"0xbf7e214f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc4d66de8",
"selector": "0xc4d66de8",
"calldata_variants": [
"0xc4d66de8",
"0xc4d66de80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd3e5792b",
"selector": "0xd3e5792b",
"calldata_variants": [
"0xd3e5792b",
"0xd3e5792b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xecb613ff",
"selector": "0xecb613ff",
"calldata_variants": [
"0xecb613ff",
"0xecb613ff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xef027fbf",
"selector": "0xef027fbf",
"calldata_variants": [
"0xef027fbf",
"0xef027fbf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9ce7f670",
"selector": "0x9ce7f670",
"calldata_variants": [
"0x9ce7f670",
"0x9ce7f6700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa231d21b",
"selector": "0xa231d21b",
"calldata_variants": [
"0xa231d21b",
"0xa231d21b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 8491,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xa322aad9f6e8b5559168250766581f01070322b42e57ab9033182756e4cc850b
call_targets:
0x98e1d95b4b3a5a082642e17274d67d62691288f1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa322aad9f6e8b5559168250766581f01070322b42e57ab9033182756e4cc850b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x98e1d95b4b3a5a082642e17274d67d62691288f1"
],
"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": "0xbb21fd3d",
"selector": "0xbb21fd3d",
"calldata_variants": [
"0xbb21fd3d",
"0xbb21fd3d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf7e214f",
"selector": "0xbf7e214f",
"calldata_variants": [
"0xbf7e214f",
"0xbf7e214f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc4d66de8",
"selector": "0xc4d66de8",
"calldata_variants": [
"0xc4d66de8",
"0xc4d66de80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd3e5792b",
"selector": "0xd3e5792b",
"calldata_variants": [
"0xd3e5792b",
"0xd3e5792b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xecb613ff",
"selector": "0xecb613ff",
"calldata_variants": [
"0xecb613ff",
"0xecb613ff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xef027fbf",
"selector": "0xef027fbf",
"calldata_variants": [
"0xef027fbf",
"0xef027fbf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9ce7f670",
"selector": "0x9ce7f670",
"calldata_variants": [
"0x9ce7f670",
"0x9ce7f6700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa231d21b",
"selector": "0xa231d21b",
"calldata_variants": [
"0xa231d21b",
"0xa231d21b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2371,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2485,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3229,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 8,
"guards_detected": [],
"untrusted_call_count": 8
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xa322aad9f6e8b5559168250766581f01070322b42e57ab9033182756e4cc850b
call_targets:
0x98e1d95b4b3a5a082642e17274d67d62691288f1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa322aad9f6e8b5559168250766581f01070322b42e57ab9033182756e4cc850b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x98e1d95b4b3a5a082642e17274d67d62691288f1"
],
"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": "0xbb21fd3d",
"selector": "0xbb21fd3d",
"calldata_variants": [
"0xbb21fd3d",
"0xbb21fd3d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf7e214f",
"selector": "0xbf7e214f",
"calldata_variants": [
"0xbf7e214f",
"0xbf7e214f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc4d66de8",
"selector": "0xc4d66de8",
"calldata_variants": [
"0xc4d66de8",
"0xc4d66de80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd3e5792b",
"selector": "0xd3e5792b",
"calldata_variants": [
"0xd3e5792b",
"0xd3e5792b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xecb613ff",
"selector": "0xecb613ff",
"calldata_variants": [
"0xecb613ff",
"0xecb613ff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xef027fbf",
"selector": "0xef027fbf",
"calldata_variants": [
"0xef027fbf",
"0xef027fbf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9ce7f670",
"selector": "0x9ce7f670",
"calldata_variants": [
"0x9ce7f670",
"0x9ce7f6700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa231d21b",
"selector": "0xa231d21b",
"calldata_variants": [
"0xa231d21b",
"0xa231d21b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2371,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2485,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3229,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 8,
"guards_detected": []
}
|
| medium | upgradeability | cast | DELEGATECALL present | 80 | no | — |
viewevidence_json{
"notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
"delegatecall_count": 1
}
|
| 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": 10
}
|
| 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": 13
}
|