21b1fd8b-ca60-4e2e-b402-22da252f799c
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 |
|---|---|---|---|---|
| 30910 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 94471 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 94472 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 94473 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 94474 | capability.graph | complete | 1 / 3 | 1 week ago |
| 94475 | detector.run | complete | 1 / 3 | 1 week ago |
| 94476 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:1333722] OpenAI Codex v0.77.0 (research preview)
[codex:1333722] --------
[codex:1333722] workdir: /tmp/codex-multi-3vd25inm
[codex:1333722] model: gpt-5.2-codex
[codex:1333722] provider: openai
[codex:1333722] approval: never
[codex:1333722] sandbox: read-only
[codex:1333722] reasoning effort: xhigh
[codex:1333722] reasoning summaries: auto
[codex:1333722] session id: 019b760c-8344-7950-b189-539eebaab978
[codex:1333722] --------
[codex:1333722] user
[codex:1333722] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1333722]
[codex:1333722] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1333722]
[codex:1333722] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1333722] - Gas inefficiency, code quality, naming, or best practices
[codex:1333722] - Theoretical vulnerabilities without a clear extraction path
[codex:1333722] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1333722] - Front-running unless it enables theft beyond MEV
[codex:1333722] - DoS, griefing, or issues that don't result in attacker profit
[codex:1333722] - Missing events, view function issues, or informational findings
[codex:1333722]
[codex:1333722] HIGH-VALUE PATTERNS TO HUNT:
[codex:1333722] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1333722] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1333722] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1333722] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1333722] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1333722] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1333722] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1333722] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1333722] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1333722]
[codex:1333722] For each finding, you MUST provide:
[codex:1333722] 1. Exact file and line numbers of vulnerable code
[codex:1333722] 2. Step-by-step exploit transaction sequence
[codex:1333722] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1333722]
[codex:1333722] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1333722]
[codex:1333722] Output MUST be valid JSON matching the provided schema.
[codex:1333722] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1333722] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1333722] mcp startup: no servers
[codex:1333722]
[codex:1333722] thinking
[codex:1333722] **Preparing to read AUDIT_BUNDLE.txt**
[codex:1333722] exec
[codex:1333722] /bin/bash -lc ls in /tmp/codex-multi-3vd25inm succeeded in 6ms:
[codex:1333722] AUDIT_BUNDLE.txt
[codex:1333722] codex-output-schema.json
[codex:1333722] contracts
[codex:1333722] exec
[codex:1333722] /bin/bash -lc "sed -n '1,200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-3vd25inm succeeded in 5ms:
[codex:1333722] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1333722]
[codex:1333722] ================================================================================
[codex:1333722] FILE: contracts/contracts/interfaces/IBToken.sol
[codex:1333722] ================================================================================
[codex:1333722] // SPDX-License-Identifier: agpl-3.0
[codex:1333722] pragma solidity 0.8.4;
[codex:1333722]
[codex:1333722] import {ILendPoolAddressesProvider} from "./ILendPoolAddressesProvider.sol";
[codex:1333722] import {IIncentivesController} from "./IIncentivesController.sol";
[codex:1333722] import {IScaledBalanceToken} from "./IScaledBalanceToken.sol";
[codex:1333722]
[codex:1333722] import {IERC20Upgradeable} from "@openzeppelin/contracts-upgradeable/token/ERC20/IERC20Upgradeable.sol";
[codex:1333722] import {IERC20MetadataUpgradeable} from "@openzeppelin/contracts-upgradeable/token/ERC20/extensions/IERC20MetadataUpgradeable.sol";
[codex:1333722]
[codex:1333722] interface IBToken is IScaledBalanceToken, IERC20Upgradeable, IERC20MetadataUpgradeable {
[codex:1333722] /**
[codex:1333722] * @dev Emitted when an bToken is initialized
[codex:1333722] * @param underlyingAsset The address of the underlying asset
[codex:1333722] * @param pool The address of the associated lending pool
[codex:1333722]
[codex:1333722] thinking
[codex:1333722] **Continuing to read AUDIT_BUNDLE**
[codex:1333722] exec
[codex:1333722] /bin/bash -lc "sed -n '200,400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-3vd25inm succeeded in 5ms:
[codex:1333722] uint256 nftTokenId,
[codex:1333722] address indexed onBehalfOf,
[codex:1333722] uint256 borrowRate,
[codex:1333722] uint256 loanId,
[codex:1333722] uint16 indexed referral
[codex:1333722] );
[codex:1333722]
[codex:1333722] /**
[codex:1333722] * @dev Emitted on repay()
[codex:1333722] * @param user The address of the user initiating the repay(), providing the funds
[codex:1333722] * @param reserve The address of the underlying asset of the reserve
[codex:1333722] * @param amount The amount repaid
[codex:1333722] * @param nftAsset The address of the underlying NFT used as collateral
[codex:1333722] * @param nftTokenId The token id of the underlying NFT used as collateral
[codex:1333722] * @param borrower The beneficiary of the repayment, getting his debt reduced
[codex:1333722] * @param loanId The loan ID of the NFT loans
[codex:1333722] **/
[codex:1333722] event Repay(
[codex:1333722] address user,
[codex:1333722] address indexed reserve,
[codex:1333722]
[codex:1333722] thinking
[codex:1333722] **Requesting full file for context**
[codex:1333722] exec
[codex:1333722] /bin/bash -lc "sed -n '400,800p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-3vd25inm succeeded in 6ms:
[codex:1333722] uint256 amount
[codex:1333722] ) external returns (uint256, bool);
[codex:1333722]
[codex:1333722] function batchRepay(
[codex:1333722] address[] calldata nftAssets,
[codex:1333722] uint256[] calldata nftTokenIds,
[codex:1333722] uint256[] calldata amounts
[codex:1333722] ) external returns (uint256[] memory, bool[] memory);
[codex:1333722]
[codex:1333722] /**
[codex:1333722] * @dev Function to auction a non-healthy position collateral-wise
[codex:1333722] * - The caller (liquidator) want to buy collateral asset of the user getting liquidated
[codex:1333722] * @param nftAsset The address of the underlying NFT used as collateral
[codex:1333722] * @param nftTokenId The token ID of the underlying NFT used as collateral
[codex:1333722] * @param bidPrice The bid price of the liquidator want to buy the underlying NFT
[codex:1333722] * @param onBehalfOf Address of the user who will get the underlying NFT, same as msg.sender if the user
[codex:1333722] * wants to receive them on his own wallet, or a different address if the beneficiary of NFT
[codex:1333722] * is a different wallet
[codex:1333722] **/
[codex:1333722] function auction(
[codex:1333722]
[codex:1333722] thinking
[codex:1333722] **Scanning AUDIT_BUNDLE.txt for vulnerabilities**
[codex:1333722] exec
[codex:1333722] /bin/bash -lc 'rg --files' in /tmp/codex-multi-3vd25inm succeeded in 9ms:
[codex:1333722] codex-output-schema.json
[codex:1333722] AUDIT_BUNDLE.txt
[codex:1333722] contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol
[codex:1333722] contracts/@openzeppelin/contracts-upgradeable/token/ERC20/IERC20Upgradeable.sol
[codex:1333722] contracts/contracts/interfaces/ILendPoolConfigurator.sol
[codex:1333722] contracts/contracts/interfaces/IIncentivesController.sol
[codex:1333722] contracts/contracts/interfaces/IBToken.sol
[codex:1333722] contracts/contracts/interfaces/ILendPoolAddressesProvider.sol
[codex:1333722] contracts/contracts/interfaces/IScaledBalanceToken.sol
[codex:1333722] contracts/contracts/interfaces/ILendPool.sol
[codex:1333722] contracts/@openzeppelin/contracts-upgradeable/token/ERC20/extensions/IERC20MetadataUpgradeable.sol
[codex:1333722] contracts/@openzeppelin/contracts-upgradeable/token/ERC20/ERC20Upgradeable.sol
[codex:1333722] contracts/@openzeppelin/contracts-upgradeable/utils/ContextUpgradeable.sol
[codex:1333722] contracts/contracts/protocol/IncentivizedERC20.sol
[codex:1333722] contracts/@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol
[codex:1333722] contracts/contracts/protocol/BToken.sol
[codex:1333722] contracts/@openzeppelin/contracts-upgradeable/token/ERC20/utils/SafeERC20Upgradeable.sol
[codex:1333722] contracts/contracts/libraries/math/WadRayMath.sol
[codex:1333722] contracts/contracts/libraries/helpers/Errors.sol
[codex:1333722] contracts/contracts/libraries/types/DataTypes.sol
[codex:1333722]
[codex:1333722] thinking
[codex:1333722] **Reading remaining AUDIT_BUNDLE sections**
[codex:1333722] exec
[codex:1333722] /bin/bash -lc "sed -n '800,1200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-3vd25inm succeeded in 5ms:
[codex:1333722] * @dev Emitted when a reserve is unfrozen
[codex:1333722] * @param asset The address of the underlying asset of the reserve
[codex:1333722] **/
[codex:1333722] event ReserveUnfrozen(address indexed asset);
[codex:1333722]
[codex:1333722] /**
[codex:1333722] * @dev Emitted when a reserve factor is updated
[codex:1333722] * @param asset The address of the underlying asset of the reserve
[codex:1333722] * @param factor The new reserve factor
[codex:1333722] **/
[codex:1333722] event ReserveFactorChanged(address indexed asset, uint256 factor);
[codex:1333722]
[codex:1333722] /**
[codex:1333722] * @dev Emitted when the reserve decimals are updated
[codex:1333722] * @param asset The address of the underlying asset of the reserve
[codex:1333722] * @param decimals The new decimals
[codex:1333722] **/
[codex:1333722] event ReserveDecimalsChanged(address indexed asset, uint256 decimals);
[codex:1333722]
[codex:1333722] /**
[codex:1333722]
[codex:1333722] thinking
[codex:1333722] **Continuing exploration**
[codex:1333722] exec
[codex:1333722] /bin/bash -lc "sed -n '1200,1600p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-3vd25inm succeeded in 5ms:
[codex:1333722] function wadToRay(uint256 a) internal pure returns (uint256) {
[codex:1333722] uint256 result = a * WAD_RAY_RATIO;
[codex:1333722] require(result / WAD_RAY_RATIO == a, Errors.MATH_MULTIPLICATION_OVERFLOW);
[codex:1333722] return result;
[codex:1333722] }
[codex:1333722] }
[codex:1333722]
[codex:1333722] ================================================================================
[codex:1333722] FILE: contracts/contracts/libraries/types/DataTypes.sol
[codex:1333722] ================================================================================
[codex:1333722] // SPDX-License-Identifier: agpl-3.0
[codex:1333722] pragma solidity 0.8.4;
[codex:1333722]
[codex:1333722] library DataTypes {
[codex:1333722] struct ReserveData {
[codex:1333722] //stores the reserve configuration
[codex:1333722] ReserveConfigurationMap configuration;
[codex:1333722] //the liquidity index. Expressed in ray
[codex:1333722] uint128 liquidityIndex;
[codex:1333722] //variable borrow index. Expressed in ray
[codex:1333722]
[codex:1333722] thinking
[codex:1333722] **Continuing process**
[codex:1333722] exec
[codex:1333722] /bin/bash -lc "sed -n '1600,2000p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-3vd25inm succeeded in 6ms:
[codex:1333722] /**
[codex:1333722] * @dev Returns the address of the underlying asset of this bToken
[codex:1333722] **/
[codex:1333722] function UNDERLYING_ASSET_ADDRESS() public view override returns (address) {
[codex:1333722] return _underlyingAsset;
[codex:1333722] }
[codex:1333722]
[codex:1333722] /**
[codex:1333722] * @dev Returns the address of the lending pool where this bToken is used
[codex:1333722] **/
[codex:1333722] function POOL() public view returns (ILendPool) {
[codex:1333722] return _getLendPool();
[codex:1333722] }
[codex:1333722]
[codex:1333722] /**
[codex:1333722] * @dev For internal usage in the logic of the parent contract IncentivizedERC20
[codex:1333722] **/
[codex:1333722] function _getIncentivesController() internal view override returns (IIncentivesController) {
[codex:1333722] return IIncentivesController(_addressProvider.getIncentivesController());
[codex:1333722] }
[codex:1333722]
[codex:1333722] thinking
[codex:1333722] **Analyzing BToken for attack vectors**
[codex:1333722] exec
[codex:1333722] /bin/bash -lc 'tail -n 20 AUDIT_BUNDLE.txt' in /tmp/codex-multi-3vd25inm succeeded in 5ms:
[codex:1333722]
[codex:1333722] if (address(_getIncentivesController()) != address(0)) {
[codex:1333722] _getIncentivesController().handleAction(account, oldTotalSupply, oldAccountBalance);
[codex:1333722] }
[codex:1333722] }
[codex:1333722]
[codex:1333722] function _burn(address account, uint256 amount) internal virtual override {
[codex:1333722] uint256 oldTotalSupply = super.totalSupply();
[codex:1333722] uint256 oldAccountBalance = super.balanceOf(account);
[codex:1333722]
[codex:1333722] super._burn(account, amount);
[codex:1333722]
[codex:1333722] if (address(_getIncentivesController()) != address(0)) {
[codex:1333722] _getIncentivesController().handleAction(account, oldTotalSupply, oldAccountBalance);
[codex:1333722] }
[codex:1333722] }
[codex:1333722]
[codex:1333722] uint256[45] private __gap;
[codex:1333722] }
[codex:1333722]
[codex:1333722]
[codex:1333722] thinking
[codex:1333722] **Preparing audit summary output**
[codex:1333722] codex
[codex:1333722] {"no_findings":true,"summary":"No concrete exploitable profit paths found in the provided sources.","findings":[]}
[codex:1333722] tokens used
[codex:1333722] 26,014
[codex:1333722] {"no_findings":true,"summary":"No concrete exploitable profit paths found in the provided sources.","findings":[]}
{
"codex": {
"ran_at": "2025-12-31T20:16:17.271116+00:00",
"returncode": 0
},
"summary": "No concrete exploitable profit paths found in the provided sources.",
"raw_final": {
"summary": "No concrete exploitable profit paths found in the provided sources.",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLVALUE 00000006: DUP1 00000007: ISZERO 00000008: PUSH2 0x0010 0000000b: JUMPI 0000000c: PUSH1 0x00 0000000e: DUP1 0000000f: REVERT 00000010: JUMPDEST 00000011: POP 00000012: PUSH1 0x04 00000014: CALLDATASIZE 00000015: LT 00000016: PUSH2 0x014d 00000019: JUMPI 0000001a: PUSH1 0x00 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0x7535d246 00000026: GT 00000027: PUSH2 0x00c3 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0xae167335 00000031: GT 00000032: PUSH2 0x007c 00000035: JUMPI 00000036: DUP1 00000037: PUSH4 0xae167335 0000003c: EQ 0000003d: PUSH2 0x02c3 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0xb16a19de 00000047: EQ 00000048: PUSH2 0x02d4 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0xb1bf962d 00000052: EQ 00000053: PUSH2 0x02e5 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0xd3b1e9a4 0000005d: EQ 0000005e: PUSH2 0x02ed 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0xd7020d0a 00000068: EQ 00000069: PUSH2 0x0300 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0xdd62ed3e 00000073: EQ 00000074: PUSH2 0x0313 00000077: JUMPI 00000078: PUSH1 0x00 0000007a: DUP1 0000007b: REVERT 0000007c: JUMPDEST 0000007d: DUP1 0000007e: PUSH4 0x7535d246 00000083: EQ 00000084: PUSH2 0x0258 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0x75d26413 0000008e: EQ 0000008f: PUSH2 0x0278 00000092: JUMPI 00000093: DUP1 00000094: PUSH4 0x7df5bd3b 00000099: EQ 0000009a: PUSH2 0x0280 0000009d: JUMPI 0000009e: DUP1 0000009f: PUSH4 0x95d89b41 000000a4: EQ 000000a5: PUSH2 0x0295 000000a8: JUMPI 000000a9: DUP1 000000aa: PUSH4 0xa457c2d7 000000af: EQ 000000b0: PUSH2 0x029d 000000b3: JUMPI 000000b4: DUP1 000000b5: PUSH4 0xa9059cbb 000000ba: EQ 000000bb: PUSH2 0x02b0 000000be: JUMPI 000000bf: PUSH1 0x00 000000c1: DUP1 000000c2: REVERT 000000c3: JUMPDEST 000000c4: DUP1 000000c5: PUSH4 0x1da24f3e 000000ca: GT 000000cb: PUSH2 0x0115 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x1da24f3e 000000d5: EQ 000000d6: PUSH2 0x01e4 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0x23b872dd 000000e0: EQ 000000e1: PUSH2 0x01f7 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0x313ce567 000000eb: EQ 000000ec: PUSH2 0x020a 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0x39509351 000000f6: EQ 000000f7: PUSH2 0x021f 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0x4efecaa5 00000101: EQ 00000102: PUSH2 0x0232 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0x70a08231 0000010c: EQ 0000010d: PUSH2 0x0245 00000110: JUMPI 00000111: PUSH1 0x00 00000113: DUP1 00000114: REVERT 00000115: JUMPDEST 00000116: DUP1 00000117: PUSH4 0x06fdde03 0000011c: EQ 0000011d: PUSH2 0x0152 00000120: JUMPI 00000121: DUP1 00000122: PUSH4 0x095ea7b3 00000127: EQ 00000128: PUSH2 0x0170 0000012b: JUMPI 0000012c: DUP1 0000012d: PUSH4 0x0afbcdc9 00000132: EQ 00000133: PUSH2 0x0193 00000136: JUMPI 00000137: DUP1 00000138: PUSH4 0x156e29f6 0000013d: EQ 0000013e: PUSH2 0x01bb 00000141: JUMPI 00000142: DUP1 00000143: PUSH4 0x18160ddd 00000148: EQ 00000149: PUSH2 0x01ce 0000014c: JUMPI 0000014d: JUMPDEST 0000014e: PUSH1 0x00 00000150: DUP1 00000151: REVERT 00000152: JUMPDEST 00000153: PUSH2 0x015a 00000156: PUSH2 0x034c 00000159: JUMP 0000015a: JUMPDEST 0000015b: PUSH1 0x40 0000015d: MLOAD 0000015e: PUSH2 0x0167 00000161: SWAP2 00000162: SWAP1 00000163: PUSH2 0x1fc8 00000166: JUMP 00000167: JUMPDEST 00000168: PUSH1 0x40 0000016a: MLOAD 0000016b: DUP1 0000016c: SWAP2 0000016d: SUB 0000016e: SWAP1 0000016f: RETURN 00000170: JUMPDEST 00000171: PUSH2 0x0183 00000174: PUSH2 0x017e 00000177: CALLDATASIZE 00000178: PUSH1 0x04 0000017a: PUSH2 0x1e38 0000017d: JUMP 0000017e: JUMPDEST 0000017f: PUSH2 0x03de 00000182: JUMP 00000183: JUMPDEST 00000184: PUSH1 0x40 00000186: MLOAD 00000187: SWAP1 00000188: ISZERO 00000189: ISZERO 0000018a: DUP2 0000018b: MSTORE 0000018c: PUSH1 0x20 0000018e: ADD 0000018f: PUSH2 0x0167 00000192: JUMP 00000193: JUMPDEST 00000194: PUSH2 0x01a6 00000197: PUSH2 0x01a1 0000019a: CALLDATASIZE 0000019b: PUSH1 0x04 0000019d: PUSH2 0x1d43 000001a0: JUMP 000001a1: JUMPDEST 000001a2: PUSH2 0x03f5 000001a5: JUMP 000001a6: JUMPDEST 000001a7: PUSH1 0x40 000001a9: DUP1 000001aa: MLOAD 000001ab: SWAP3 000001ac: DUP4 000001ad: MSTORE 000001ae: PUSH1 0x20 000001b0: DUP4 000001b1: ADD 000001b2: SWAP2 000001b3: SWAP1 000001b4: SWAP2 000001b5: MSTORE 000001b6: ADD 000001b7: PUSH2 0x0167 000001ba: JUMP 000001bb: JUMPDEST 000001bc: PUSH2 0x0183 000001bf: PUSH2 0x01c9 000001c2: CALLDATASIZE 000001c3: PUSH1 0x04 000001c5: PUSH2 0x1e63 000001c8: JUMP 000001c9: JUMPDEST 000001ca: PUSH2 0x040d 000001cd: JUMP 000001ce: JUMPDEST 000001cf: PUSH2 0x01d6 000001d2: PUSH2 0x051e 000001d5: JUMP 000001d6: JUMPDEST 000001d7: PUSH1 0x40 000001d9: MLOAD 000001da: SWAP1 000001db: DUP2 000001dc: MSTORE 000001dd: PUSH1 0x20 000001df: ADD 000001e0: PUSH2 0x0167 000001e3: JUMP 000001e4: JUMPDEST 000001e5: PUSH2 0x01d6 000001e8: PUSH2 0x01f2 000001eb: CALLDATASIZE 000001ec: PUSH1 0x04 000001ee: PUSH2 0x1d43 000001f1: JUMP 000001f2: JUMPDEST 000001f3: PUSH2 0x05d5 000001f6: JUMP 000001f7: JUMPDEST 000001f8: PUSH2 0x0183 000001fb: PUSH2 0x0205 000001fe: CALLDATASIZE 000001ff: PUSH1 0x04 00000201: PUSH2 0x1db3 00000204: JUMP 00000205: JUMPDEST 00000206: PUSH2 0x05e0 00000209: JUMP 0000020a: JUMPDEST 0000020b: PUSH1 0x65 0000020d: SLOAD 0000020e: PUSH1 0x40 00000210: MLOAD 00000211: PUSH1 0xff 00000213: SWAP1 00000214: SWAP2 00000215: AND 00000216: DUP2 00000217: MSTORE 00000218: PUSH1 0x20 0000021a: ADD 0000021b: PUSH2 0x0167 0000021e: JUMP 0000021f: JUMPDEST 00000220: PUSH2 0x0183 00000223: PUSH2 0x022d 00000226: CALLDATASIZE 00000227: PUSH1 0x04 00000229: PUSH2 0x1e38 0000022c: JUMP 0000022d: JUMPDEST 0000022e: PUSH2 0x068a 00000231: JUMP 00000232: JUMPDEST 00000233: PUSH2 0x01d6 00000236: PUSH2 0x0240 00000239: CALLDATASIZE 0000023a: PUSH1 0x04 0000023c: PUSH2 0x1e38 0000023f: JUMP 00000240: JUMPDEST 00000241: PUSH2 0x06c6 00000244: JUMP 00000245: JUMPDEST 00000246: PUSH2 0x01d6 00000249: PUSH2 0x0253 0000024c: CALLDATASIZE 0000024d: PUSH1 0x04 0000024f: PUSH2 0x1d43 00000252: JUMP 00000253: JUMPDEST 00000254: PUSH2 0x073c 00000257: JUMP 00000258: JUMPDEST 00000259: PUSH2 0x0260 0000025c: PUSH2 0x07da 0000025f: JUMP 00000260: JUMPDEST 00000261: PUSH1 0x40 00000263: MLOAD 00000264: PUSH1 0x01 00000266: PUSH1 0x01 00000268: PUSH1 0xa0 0000026a: SHL 0000026b: SUB 0000026c: SWAP1 0000026d: SWAP2 0000026e: AND 0000026f: DUP2 00000270: MSTORE 00000271: PUSH1 0x20 00000273: ADD 00000274: PUSH2 0x0167 00000277: JUMP 00000278: JUMPDEST 00000279: PUSH2 0x0260 0000027c: PUSH2 0x07e9 0000027f: JUMP 00000280: JUMPDEST 00000281: PUSH2 0x0293 00000284: PUSH2 0x028e 00000287: CALLDATASIZE 00000288: PUSH1 0x04 0000028a: PUSH2 0x1f8b 0000028d: JUMP 0000028e: JUMPDEST 0000028f: PUSH2 0x07f3 00000292: JUMP 00000293: JUMPDEST 00000294: STOP 00000295: JUMPDEST 00000296: PUSH2 0x015a 00000299: PUSH2 0x08eb 0000029c: JUMP 0000029d: JUMPDEST 0000029e: PUSH2 0x0183 000002a1: PUSH2 0x02ab 000002a4: CALLDATASIZE 000002a5: PUSH1 0x04 000002a7: PUSH2 0x1e38 000002aa: JUMP 000002ab: JUMPDEST 000002ac: PUSH2 0x08fa 000002af: JUMP 000002b0: JUMPDEST 000002b1: PUSH2 0x0183 000002b4: PUSH2 0x02be 000002b7: CALLDATASIZE 000002b8: PUSH1 0x04 000002ba: PUSH2 0x1e38 000002bd: JUMP 000002be: JUMPDEST 000002bf: PUSH2 0x0993 000002c2: JUMP 000002c3: JUMPDEST 000002c4: PUSH1 0x94 000002c6: SLOAD 000002c7: PUSH1 0x01 000002c9: PUSH1 0x01 000002cb: PUSH1 0xa0 000002cd: SHL 000002ce: SUB 000002cf: AND 000002d0: PUSH2 0x0260 000002d3: JUMP 000002d4: JUMPDEST 000002d5: PUSH1 0x95 000002d7: SLOAD 000002d8: PUSH1 0x01 000002da: PUSH1 0x01 000002dc: PUSH1 0xa0 000002de: SHL 000002df: SUB 000002e0: AND 000002e1: PUSH2 0x0260 000002e4: JUMP 000002e5: JUMPDEST 000002e6: PUSH2 0x01d6 000002e9: PUSH2 0x09a0 000002ec: JUMP 000002ed: JUMPDEST 000002ee: PUSH2 0x0293 000002f1: PUSH2 0x02fb 000002f4: CALLDATASIZE 000002f5: PUSH1 0x04 000002f7: PUSH2 0x1eb7 000002fa: JUMP 000002fb: JUMPDEST 000002fc: PUSH2 0x09ab 000002ff: JUMP 00000300: JUMPDEST 00000301: PUSH2 0x0293 00000304: PUSH2 0x030e 00000307: CALLDATASIZE 00000308: PUSH1 0x04 0000030a: PUSH2 0x1df3 0000030d: JUMP 0000030e: JUMPDEST 0000030f: PUSH2 0x0c21 00000312: JUMP 00000313: JUMPDEST 00000314: PUSH2 0x01d6 00000317: PUSH2 0x0321 0000031a: CALLDATASIZE 0000031b: PUSH1 0x04 0000031d: PUSH2 0x1d7b 00000320: JUMP 00000321: JUMPDEST 00000322: PUSH1 0x01 00000324: PUSH1 0x01 00000326: PUSH1 0xa0 00000328: SHL 00000329: SUB 0000032a: SWAP2 0000032b: DUP3 0000032c: AND 0000032d: PUSH1 0x00 0000032f: SWAP1 00000330: DUP2 00000331: MSTORE 00000332: PUSH1 0x34 00000334: PUSH1 0x20 00000336: SWAP1 00000337: DUP2 00000338: MSTORE 00000339: PUSH1 0x40 0000033b: DUP1 0000033c: DUP4 0000033d: KECCAK256 0000033e: SWAP4 0000033f: SWAP1 00000340: SWAP5 00000341: AND 00000342: DUP3 00000343: MSTORE 00000344: SWAP2 00000345: SWAP1 00000346: SWAP2 00000347: MSTORE 00000348: KECCAK256 00000349: SLOAD 0000034a: SWAP1 0000034b: JUMP 0000034c: JUMPDEST 0000034d: PUSH1 0x60 0000034f: PUSH1 0x36 00000351: DUP1 00000352: SLOAD 00000353: PUSH2 0x035b 00000356: SWAP1 00000357: PUSH2 0x212e 0000035a: JUMP 0000035b: JUMPDEST 0000035c: DUP1 0000035d: PUSH1 0x1f 0000035f: ADD 00000360: PUSH1 0x20 00000362: DUP1 00000363: SWAP2 00000364: DIV 00000365: MUL 00000366: PUSH1 0x20 00000368: ADD 00000369: PUSH1 0x40 0000036b: MLOAD 0000036c: SWAP1 0000036d: DUP2 0000036e: ADD 0000036f: PUSH1 0x40 00000371: MSTORE 00000372: DUP1 00000373: SWAP3 00000374: SWAP2 00000375: SWAP1 00000376: DUP2 00000377: DUP2 00000378: MSTORE 00000379: PUSH1 0x20 0000037b: ADD 0000037c: DUP3 0000037d: DUP1 0000037e: SLOAD 0000037f: PUSH2 0x0387 00000382: SWAP1 00000383: PUSH2 0x212e 00000386: JUMP 00000387: JUMPDEST 00000388: DUP1 00000389: ISZERO 0000038a: PUSH2 0x03d4 0000038d: JUMPI 0000038e: DUP1 0000038f: PUSH1 0x1f 00000391: LT 00000392: PUSH2 0x03a9 00000395: JUMPI 00000396: PUSH2 0x0100 00000399: DUP1 0000039a: DUP4 0000039b: SLOAD 0000039c: DIV 0000039d: MUL 0000039e: DUP4 0000039f: MSTORE 000003a0: SWAP2 000003a1: PUSH1 0x20 000003a3: ADD 000003a4: SWAP2 000003a5: PUSH2 0x03d4 000003a8: JUMP 000003a9: JUMPDEST 000003aa: DUP3 000003ab: ADD 000003ac: SWAP2 000003ad: SWAP1 000003ae: PUSH1 0x00 000003b0: MSTORE 000003b1: PUSH1 0x20 000003b3: PUSH1 0x00 000003b5: KECCAK256 000003b6: SWAP1 000003b7: JUMPDEST 000003b8: DUP2 000003b9: SLOAD 000003ba: DUP2 000003bb: MSTORE 000003bc: SWAP1 000003bd: PUSH1 0x01 000003bf: ADD 000003c0: SWAP1 000003c1: PUSH1 0x20 000003c3: ADD 000003c4: DUP1 000003c5: DUP4 000003c6: GT 000003c7: PUSH2 0x03b7 000003ca: JUMPI 000003cb: DUP3 000003cc: SWAP1 000003cd: SUB 000003ce: PUSH1 0x1f 000003d0: AND 000003d1: DUP3 000003d2: ADD 000003d3: SWAP2 000003d4: JUMPDEST 000003d5: POP 000003d6: POP 000003d7: POP 000003d8: POP 000003d9: POP 000003da: SWAP1 000003db: POP 000003dc: SWAP1 000003dd: JUMP 000003de: JUMPDEST 000003df: PUSH1 0x00 000003e1: PUSH2 0x03eb 000003e4: CALLER 000003e5: DUP5 000003e6: DUP5 000003e7: PUSH2 0x0d3e 000003ea: JUMP 000003eb: JUMPDEST 000003ec: POP 000003ed: PUSH1 0x01 000003ef: JUMPDEST 000003f0: SWAP3 000003f1: SWAP2 000003f2: POP 000003f3: POP 000003f4: JUMP 000003f5: JUMPDEST 000003f6: PUSH1 0x00 000003f8: DUP1 000003f9: PUSH2 0x0401 000003fc: DUP4 000003fd: PUSH2 0x0e62 00000400: JUMP 00000401: JUMPDEST 00000402: PUSH1 0x35 00000404: SLOAD 00000405: SWAP2 00000406: POP 00000407: SWAP2 00000408: POP 00000409: SWAP2 0000040a: POP 0000040b: SWAP2 0000040c: JUMP 0000040d: JUMPDEST 0000040e: PUSH1 0x00 00000410: PUSH2 0x0417 00000413: PUSH2 0x0e7d 00000416: JUMP 00000417: JUMPDEST 00000418: PUSH1 0x01 0000041a: PUSH1 0x01 0000041c: PUSH1 0xa0 0000041e: SHL 0000041f: SUB 00000420: AND 00000421: CALLER 00000422: PUSH1 0x01 00000424: PUSH1 0x01 00000426: PUSH1 0xa0 00000428: SHL 00000429: SUB 0000042a: AND 0000042b: EQ 0000042c: PUSH1 0x40 0000042e: MLOAD 0000042f: DUP1 00000430: PUSH1 0x40 00000432: ADD 00000433: PUSH1 0x40 00000435: MSTORE 00000436: DUP1 00000437: PUSH1 0x03 00000439: DUP2 0000043a: MSTORE 0000043b: PUSH1 0x20 0000043d: ADD 0000043e: PUSH3 0x035303 00000442: PUSH1 0xec 00000444: SHL 00000445: DUP2 00000446: MSTORE 00000447: POP 00000448: SWAP1 00000449: PUSH2 0x046e 0000044c: JUMPI 0000044d: PUSH1 0x40 0000044f: MLOAD 00000450: PUSH3 0x461bcd 00000454: PUSH1 0xe5 00000456: SHL 00000457: DUP2 00000458: MSTORE 00000459: PUSH1 0x04 0000045b: ADD 0000045c: PUSH2 0x0465 0000045f: SWAP2 00000460: SWAP1 00000461: PUSH2 0x1fc8 00000464: JUMP 00000465: JUMPDEST 00000466: PUSH1 0x40 00000468: MLOAD 00000469: DUP1 0000046a: SWAP2 0000046b: SUB 0000046c: SWAP1 0000046d: REVERT 0000046e: JUMPDEST 0000046f: POP 00000470: PUSH1 0x00 00000472: PUSH2 0x047a 00000475: DUP6 00000476: PUSH2 0x0e62 00000479: JUMP 0000047a: JUMPDEST 0000047b: SWAP1 0000047c: POP 0000047d: PUSH1 0x00 0000047f: PUSH2 0x0488 00000482: DUP6 00000483: DUP6 00000484: PUSH2 0x0efa 00000487: JUMP 00000488: JUMPDEST 00000489: PUSH1 0x40 0000048b: DUP1 0000048c: MLOAD 0000048d: DUP1 0000048e: DUP3 0000048f: ADD 00000490: SWAP1 00000491: SWAP2 00000492: MSTORE 00000493: PUSH1 0x03 00000495: DUP2 00000496: MSTORE 00000497: PUSH3 0x353031 0000049b: PUSH1 0xe8 0000049d: SHL 0000049e: PUSH1 0x20 000004a0: DUP3 000004a1: ADD 000004a2: MSTORE 000004a3: SWAP1 000004a4: SWAP2 000004a5: POP 000004a6: DUP2 000004a7: PUSH2 0x04c3 000004aa: JUMPI 000004ab: PUSH1 0x40 000004ad: MLOAD 000004ae: PUSH3 0x461bcd 000004b2: PUSH1 0xe5 000004b4: SHL 000004b5: DUP2 000004b6: MSTORE 000004b7: PUSH1 0x04 000004b9: ADD 000004ba: PUSH2 0x0465 000004bd: SWAP2 000004be: SWAP1 000004bf: PUSH2 0x1fc8 000004c2: JUMP 000004c3: JUMPDEST 000004c4: POP 000004c5: PUSH2 0x04ce 000004c8: DUP7 000004c9: DUP3 000004ca: PUSH2 0x0fda 000004cd: JUMP 000004ce: JUMPDEST 000004cf: PUSH1 0x40 000004d1: DUP1 000004d2: MLOAD 000004d3: DUP7 000004d4: DUP2 000004d5: MSTORE 000004d6: PUSH1 0x20 000004d8: DUP2 000004d9: ADD 000004da: DUP7 000004db: SWAP1 000004dc: MSTORE 000004dd: PUSH1 0x01 000004df: PUSH1 0x01 000004e1: PUSH1 0xa0 000004e3: SHL 000004e4: SUB 000004e5: DUP9 000004e6: AND 000004e7: SWAP2 000004e8: PUSH32 0x4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f 00000509: SWAP2 0000050a: ADD 0000050b: PUSH1 0x40 0000050d: MLOAD 0000050e: DUP1 0000050f: SWAP2 00000510: SUB 00000511: SWAP1 00000512: LOG2 00000513: POP 00000514: ISZERO 00000515: SWAP1 00000516: POP 00000517: JUMPDEST 00000518: SWAP4 00000519: SWAP3 0000051a: POP 0000051b: POP 0000051c: POP 0000051d: JUMP 0000051e: JUMPDEST 0000051f: PUSH1 0x00 00000521: DUP1 00000522: PUSH2 0x052a 00000525: PUSH1 0x35 00000527: SLOAD 00000528: SWAP1 00000529: JUMP 0000052a: JUMPDEST 0000052b: SWAP1 0000052c: POP 0000052d: DUP1 0000052e: PUSH2 0x0539 00000531: JUMPI 00000532: PUSH1 0x00 00000534: SWAP2 00000535: POP 00000536: POP 00000537: SWAP1 00000538: JUMP 00000539: JUMPDEST 0000053a: PUSH1 0x00 0000053c: PUSH2 0x0543 0000053f: PUSH2 0x0e7d 00000542: JUMP 00000543: JUMPDEST 00000544: PUSH1 0x95 00000546: SLOAD 00000547: PUSH1 0x40 00000549: MLOAD 0000054a: PUSH4 0xd15e0053 0000054f: PUSH1 0xe0 00000551: SHL 00000552: DUP2 00000553: MSTORE 00000554: PUSH1 0x01 00000556: PUSH1 0x01 00000558: PUSH1 0xa0 0000055a: SHL 0000055b: SUB 0000055c: SWAP2 0000055d: DUP3 0000055e: AND 0000055f: PUSH1 0x04 00000561: DUP3 00000562: ADD 00000563: MSTORE 00000564: SWAP2 00000565: SWAP3 00000566: POP 00000567: PUSH2 0x05ce 0000056a: SWAP2 0000056b: SWAP1 0000056c: DUP4 0000056d: AND 0000056e: SWAP1 0000056f: PUSH4 0xd15e0053 00000574: SWAP1 00000575: PUSH1 0x24 00000577: ADD 00000578: PUSH1 0x20 0000057a: PUSH1 0x40 0000057c: MLOAD 0000057d: DUP1 0000057e: DUP4 0000057f: SUB 00000580: DUP2 00000581: DUP7 00000582: DUP1 00000583: EXTCODESIZE 00000584: ISZERO 00000585: DUP1 00000586: ISZERO 00000587: PUSH2 0x058f 0000058a: JUMPI 0000058b: PUSH1 0x00 0000058d: DUP1 0000058e: REVERT 0000058f: JUMPDEST 00000590: POP 00000591: GAS 00000592: STATICCALL 00000593: ISZERO 00000594: DUP1 00000595: ISZERO 00000596: PUSH2 0x05a3 00000599: JUMPI 0000059a: RETURNDATASIZE 0000059b: PUSH1 0x00 0000059d: DUP1 0000059e: RETURNDATACOPY 0000059f: RETURNDATASIZE 000005a0: PUSH1 0x00 000005a2: REVERT 000005a3: JUMPDEST 000005a4: POP 000005a5: POP 000005a6: POP 000005a7: POP 000005a8: PUSH1 0x40 000005aa: MLOAD 000005ab: RETURNDATASIZE 000005ac: PUSH1 0x1f 000005ae: NOT 000005af: PUSH1 0x1f 000005b1: DUP3 000005b2: ADD 000005b3: AND 000005b4: DUP3 000005b5: ADD 000005b6: DUP1 000005b7: PUSH1 0x40 000005b9: MSTORE 000005ba: POP 000005bb: DUP2 000005bc: ADD 000005bd: SWAP1 000005be: PUSH2 0x05c7 000005c1: SWAP2 000005c2: SWAP1 000005c3: PUSH2 0x1f73 000005c6: JUMP 000005c7: JUMPDEST 000005c8: DUP4 000005c9: SWAP1 000005ca: PUSH2 0x1090 000005cd: JUMP 000005ce: JUMPDEST 000005cf: SWAP3 000005d0: POP 000005d1: POP 000005d2: POP 000005d3: SWAP1 000005d4: JUMP 000005d5: JUMPDEST 000005d6: PUSH1 0x00 000005d8: PUSH2 0x03ef 000005db: DUP3 000005dc: PUSH2 0x0e62 000005df: JUMP 000005e0: JUMPDEST 000005e1: PUSH1 0x00 000005e3: PUSH2 0x05ed 000005e6: DUP5 000005e7: DUP5 000005e8: DUP5 000005e9: PUSH2 0x114c 000005ec: JUMP 000005ed: JUMPDEST 000005ee: PUSH1 0x01 000005f0: PUSH1 0x01 000005f2: PUSH1 0xa0 000005f4: SHL 000005f5: SUB 000005f6: DUP5 000005f7: AND 000005f8: PUSH1 0x00 000005fa: SWAP1 000005fb: DUP2 000005fc: MSTORE 000005fd: PUSH1 0x34 000005ff: PUSH1 0x20 00000601: SWAP1 00000602: DUP2 00000603: MSTORE 00000604: PUSH1 0x40 00000606: DUP1 00000607: DUP4 00000608: KECCAK256 00000609: CALLER 0000060a: DUP5 0000060b: MSTORE 0000060c: SWAP1 0000060d: SWAP2 0000060e: MSTORE 0000060f: SWAP1 00000610: KECCAK256 00000611: SLOAD 00000612: DUP3 00000613: DUP2 00000614: LT 00000615: ISZERO 00000616: PUSH2 0x0672 00000619: JUMPI 0000061a: PUSH1 0x40 0000061c: MLOAD 0000061d: PUSH3 0x461bcd 00000621: PUSH1 0xe5 00000623: SHL 00000624: DUP2 00000625: MSTORE 00000626: PUSH1 0x20 00000628: PUSH1 0x04 0000062a: DUP3 0000062b: ADD 0000062c: MSTORE 0000062d: PUSH1 0x28 0000062f: PUSH1 0x24 00000631: DUP3 00000632: ADD 00000633: MSTORE 00000634: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732061 00000655: PUSH1 0x44 00000657: DUP3 00000658: ADD 00000659: MSTORE 0000065a: PUSH8 0x6c6c6f77616e6365 00000663: PUSH1 0xc0 00000665: SHL 00000666: PUSH1 0x64 00000668: DUP3 00000669: ADD 0000066a: MSTORE 0000066b: PUSH1 0x84 0000066d: ADD 0000066e: PUSH2 0x0465 00000671: JUMP 00000672: JUMPDEST 00000673: PUSH2 0x067f 00000676: DUP6 00000677: CALLER 00000678: DUP6 00000679: DUP5 0000067a: SUB 0000067b: PUSH2 0x0d3e 0000067e: JUMP 0000067f: JUMPDEST 00000680: POP 00000681: PUSH1 0x01 00000683: SWAP5 00000684: SWAP4 00000685: POP 00000686: POP 00000687: POP 00000688: POP 00000689: JUMP 0000068a: JUMPDEST 0000068b: CALLER 0000068c: PUSH1 0x00 0000068e: DUP2 0000068f: DUP2 00000690: MSTORE 00000691: PUSH1 0x34 00000693: PUSH1 0x20 00000695: SWAP1 00000696: DUP2 00000697: MSTORE 00000698: PUSH1 0x40 0000069a: DUP1 0000069b: DUP4 0000069c: KECCAK256 0000069d: PUSH1 0x01 0000069f: PUSH1 0x01 000006a1: PUSH1 0xa0 000006a3: SHL 000006a4: SUB 000006a5: DUP8 000006a6: AND 000006a7: DUP5 000006a8: MSTORE 000006a9: SWAP1 000006aa: SWAP2 000006ab: MSTORE 000006ac: DUP2 000006ad: KECCAK256 000006ae: SLOAD 000006af: SWAP1 000006b0: SWAP2 000006b1: PUSH2 0x03eb 000006b4: SWAP2 000006b5: DUP6 000006b6: SWAP1 000006b7: PUSH2 0x06c1 000006ba: SWAP1 000006bb: DUP7 000006bc: SWAP1 000006bd: PUSH2 0x2094 000006c0: JUMP 000006c1: JUMPDEST 000006c2: PUSH2 0x0d3e 000006c5: JUMP 000006c6: JUMPDEST 000006c7: PUSH1 0x00 000006c9: PUSH2 0x06d0 000006cc: PUSH2 0x0e7d 000006cf: JUMP 000006d0: JUMPDEST 000006d1: PUSH1 0x01 000006d3: PUSH1 0x01 000006d5: PUSH1 0xa0 000006d7: SHL 000006d8: SUB 000006d9: AND 000006da: CALLER 000006db: PUSH1 0x01 000006dd: PUSH1 0x01 000006df: PUSH1 0xa0 000006e1: SHL 000006e2: SUB 000006e3: AND 000006e4: EQ 000006e5: PUSH1 0x40 000006e7: MLOAD 000006e8: DUP1 000006e9: PUSH1 0x40 000006eb: ADD 000006ec: PUSH1 0x40 000006ee: MSTORE 000006ef: DUP1 000006f0: PUSH1 0x03 000006f2: DUP2 000006f3: MSTORE 000006f4: PUSH1 0x20 000006f6: ADD 000006f7: PUSH3 0x035303 000006fb: PUSH1 0xec 000006fd: SHL 000006fe: DUP2 000006ff: MSTORE 00000700: POP 00000701: SWAP1 00000702: PUSH2 0x071e 00000705: JUMPI 00000706: PUSH1 0x40 00000708: MLOAD 00000709: PUSH3 0x461bcd 0000070d: PUSH1 0xe5 0000070f: SHL 00000710: DUP2 00000711: MSTORE 00000712: PUSH1 0x04 00000714: ADD 00000715: PUSH2 0x0465 00000718: SWAP2 00000719: SWAP1 0000071a: PUSH2 0x1fc8 0000071d: JUMP 0000071e: JUMPDEST 0000071f: POP 00000720: PUSH1 0x95 00000722: SLOAD 00000723: PUSH2 0x0736 00000726: SWAP1 00000727: PUSH1 0x01 00000729: PUSH1 0x01 0000072b: PUSH1 0xa0 0000072d: SHL 0000072e: SUB 0000072f: AND 00000730: DUP5 00000731: DUP5 00000732: PUSH2 0x115e 00000735: JUMP 00000736: JUMPDEST 00000737: POP 00000738: SWAP2 00000739: SWAP1 0000073a: POP 0000073b: JUMP 0000073c: JUMPDEST 0000073d: PUSH1 0x00 0000073f: DUP1 00000740: PUSH2 0x0747 00000743: PUSH2 0x0e7d 00000746: JUMP 00000747: JUMPDEST 00000748: PUSH1 0x95 0000074a: SLOAD 0000074b: PUSH1 0x40 0000074d: MLOAD 0000074e: PUSH4 0xd15e0053 00000753: PUSH1 0xe0 00000755: SHL 00000756: DUP2 00000757: MSTORE 00000758: PUSH1 0x01 0000075a: PUSH1 0x01 0000075c: PUSH1 0xa0 0000075e: SHL 0000075f: SUB 00000760: SWAP2 00000761: DUP3 00000762: AND 00000763: PUSH1 0x04 00000765: DUP3 00000766: ADD 00000767: MSTORE 00000768: SWAP2 00000769: SWAP3 0000076a: POP 0000076b: PUSH2 0x0517 0000076e: SWAP2 0000076f: SWAP1 00000770: DUP4 00000771: AND 00000772: SWAP1 00000773: PUSH4 0xd15e0053 00000778: SWAP1 00000779: PUSH1 0x24 0000077b: ADD 0000077c: PUSH1 0x20 0000077e: PUSH1 0x40 00000780: MLOAD 00000781: DUP1 00000782: DUP4 00000783: SUB 00000784: DUP2 00000785: DUP7 00000786: DUP1 00000787: EXTCODESIZE 00000788: ISZERO 00000789: DUP1 0000078a: ISZERO 0000078b: PUSH2 0x0793 0000078e: JUMPI 0000078f: PUSH1 0x00 00000791: DUP1 00000792: REVERT 00000793: JUMPDEST 00000794: POP 00000795: GAS 00000796: STATICCALL 00000797: ISZERO 00000798: DUP1 00000799: ISZERO 0000079a: PUSH2 0x07a7 0000079d: JUMPI 0000079e: RETURNDATASIZE 0000079f: PUSH1 0x00 000007a1: DUP1 000007a2: RETURNDATACOPY 000007a3: RETURNDATASIZE 000007a4: PUSH1 0x00 000007a6: REVERT 000007a7: JUMPDEST 000007a8: POP 000007a9: POP 000007aa: POP 000007ab: POP 000007ac: PUSH1 0x40 000007ae: MLOAD 000007af: RETURNDATASIZE 000007b0: PUSH1 0x1f 000007b2: NOT 000007b3: PUSH1 0x1f 000007b5: DUP3 000007b6: ADD 000007b7: AND 000007b8: DUP3 000007b9: ADD 000007ba: DUP1 000007bb: PUSH1 0x40 000007bd: MSTORE 000007be: POP 000007bf: DUP2 000007c0: ADD 000007c1: SWAP1 000007c2: PUSH2 0x07cb 000007c5: SWAP2 000007c6: SWAP1 000007c7: PUSH2 0x1f73 000007ca: JUMP 000007cb: JUMPDEST 000007cc: PUSH2 0x07d4 000007cf: DUP6 000007d0: PUSH2 0x0e62 000007d3: JUMP 000007d4: JUMPDEST 000007d5: SWAP1 000007d6: PUSH2 0x1090 000007d9: JUMP 000007da: JUMPDEST 000007db: PUSH1 0x00 000007dd: PUSH2 0x07e4 000007e0: PUSH2 0x0e7d 000007e3: JUMP 000007e4: JUMPDEST 000007e5: SWAP1 000007e6: POP 000007e7: SWAP1 000007e8: JUMP 000007e9: JUMPDEST 000007ea: PUSH1 0x00 000007ec: PUSH2 0x07e4 000007ef: PUSH2 0x11b0 000007f2: JUMP 000007f3: JUMPDEST 000007f4: PUSH2 0x07fb 000007f7: PUSH2 0x0e7d 000007fa: JUMP 000007fb: JUMPDEST 000007fc: PUSH1 0x01 000007fe: PUSH1 0x01 00000800: PUSH1 0xa0 00000802: SHL 00000803: SUB 00000804: AND 00000805: CALLER 00000806: PUSH1 0x01 00000808: PUSH1 0x01 0000080a: PUSH1 0xa0 0000080c: SHL 0000080d: SUB 0000080e: AND 0000080f: EQ 00000810: PUSH1 0x40 00000812: MLOAD 00000813: DUP1 00000814: PUSH1 0x40 00000816: ADD 00000817: PUSH1 0x40 00000819: MSTORE 0000081a: DUP1 0000081b: PUSH1 0x03 0000081d: DUP2 0000081e: MSTORE 0000081f: PUSH1 0x20 00000821: ADD 00000822: PUSH3 0x035303 00000826: PUSH1 0xec 00000828: SHL 00000829: DUP2 0000082a: MSTORE 0000082b: POP 0000082c: SWAP1 0000082d: PUSH2 0x0849 00000830: JUMPI 00000831: PUSH1 0x40 00000833: MLOAD 00000834: PUSH3 0x461bcd 00000838: PUSH1 0xe5 0000083a: SHL 0000083b: DUP2 0000083c: MSTORE 0000083d: PUSH1 0x04 0000083f: ADD 00000840: PUSH2 0x0465 00000843: SWAP2 00000844: SWAP1 00000845: PUSH2 0x1fc8 00000848: JUMP 00000849: JUMPDEST 0000084a: POP 0000084b: DUP2 0000084c: PUSH2 0x0853 0000084f: JUMPI 00000850: POP 00000851: POP 00000852: JUMP 00000853: JUMPDEST 00000854: PUSH1 0x94 00000856: SLOAD 00000857: PUSH1 0x01 00000859: PUSH1 0x01 0000085b: PUSH1 0xa0 0000085d: SHL 0000085e: SUB 0000085f: AND 00000860: PUSH2 0x0872 00000863: DUP2 00000864: PUSH2 0x086d 00000867: DUP6 00000868: DUP6 00000869: PUSH2 0x0efa 0000086c: JUMP 0000086d: JUMPDEST 0000086e: PUSH2 0x0fda 00000871: JUMP 00000872: JUMPDEST 00000873: PUSH1 0x40 00000875: MLOAD 00000876: DUP4 00000877: DUP2 00000878: MSTORE 00000879: PUSH1 0x01 0000087b: PUSH1 0x01 0000087d: PUSH1 0xa0 0000087f: SHL 00000880: SUB 00000881: DUP3 00000882: AND 00000883: SWAP1 00000884: PUSH1 0x00 00000886: SWAP1 00000887: PUSH1 0x00 00000889: DUP1 0000088a: MLOAD 0000088b: PUSH1 0x20 0000088d: PUSH2 0x2192 00000890: DUP4 00000891: CODECOPY 00000892: DUP2 00000893: MLOAD 00000894: SWAP2 00000895: MSTORE 00000896: SWAP1 00000897: PUSH1 0x20 00000899: ADD 0000089a: PUSH1 0x40 0000089c: MLOAD 0000089d: DUP1 0000089e: SWAP2 0000089f: SUB 000008a0: SWAP1 000008a1: LOG3 000008a2: PUSH1 0x40 000008a4: DUP1 000008a5: MLOAD 000008a6: DUP5 000008a7: DUP2 000008a8: MSTORE 000008a9: PUSH1 0x20 000008ab: DUP2 000008ac: ADD 000008ad: DUP5 000008ae: SWAP1 000008af: MSTORE 000008b0: PUSH1 0x01 000008b2: PUSH1 0x01 000008b4: PUSH1 0xa0 000008b6: SHL 000008b7: SUB 000008b8: DUP4 000008b9: AND 000008ba: SWAP2 000008bb: PUSH32 0x4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f 000008dc: SWAP2 000008dd: ADD 000008de: PUSH1 0x40 000008e0: MLOAD 000008e1: DUP1 000008e2: SWAP2 000008e3: SUB 000008e4: SWAP1 000008e5: LOG2 000008e6: POP 000008e7: JUMPDEST 000008e8: POP 000008e9: POP 000008ea: JUMP 000008eb: JUMPDEST 000008ec: PUSH1 0x60 000008ee: PUSH1 0x37 000008f0: DUP1 000008f1: SLOAD 000008f2: PUSH2 0x035b 000008f5: SWAP1 000008f6: PUSH2 0x212e 000008f9: JUMP 000008fa: JUMPDEST 000008fb: CALLER 000008fc: PUSH1 0x00 000008fe: SWAP1 000008ff: DUP2 00000900: MSTORE 00000901: PUSH1 0x34 00000903: PUSH1 0x20 00000905: SWAP1 00000906: DUP2 00000907: MSTORE 00000908: PUSH1 0x40 0000090a: DUP1 0000090b: DUP4 0000090c: KECCAK256 0000090d: PUSH1 0x01 0000090f: PUSH1 0x01 00000911: PUSH1 0xa0 00000913: SHL 00000914: SUB 00000915: DUP7 00000916: AND 00000917: DUP5 00000918: MSTORE 00000919: SWAP1 0000091a: SWAP2 0000091b: MSTORE 0000091c: DUP2 0000091d: KECCAK256 0000091e: SLOAD 0000091f: DUP3 00000920: DUP2 00000921: LT 00000922: ISZERO 00000923: PUSH2 0x097c 00000926: JUMPI 00000927: PUSH1 0x40 00000929: MLOAD 0000092a: PUSH3 0x461bcd 0000092e: PUSH1 0xe5 00000930: SHL 00000931: DUP2 00000932: MSTORE 00000933: PUSH1 0x20 00000935: PUSH1 0x04 00000937: DUP3 00000938: ADD 00000939: MSTORE 0000093a: PUSH1 0x25 0000093c: PUSH1 0x24 0000093e: DUP3 0000093f: ADD 00000940: MSTORE 00000941: PUSH32 0x45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77 00000962: PUSH1 0x44 00000964: DUP3 00000965: ADD 00000966: MSTORE 00000967: PUSH5 0x207a65726f 0000096d: PUSH1 0xd8 0000096f: SHL 00000970: PUSH1 0x64 00000972: DUP3 00000973: ADD 00000974: MSTORE 00000975: PUSH1 0x84 00000977: ADD 00000978: PUSH2 0x0465 0000097b: JUMP 0000097c: JUMPDEST 0000097d: PUSH2 0x0989 00000980: CALLER 00000981: DUP6 00000982: DUP6 00000983: DUP5 00000984: SUB 00000985: PUSH2 0x0d3e 00000988: JUMP 00000989: JUMPDEST 0000098a: POP 0000098b: PUSH1 0x01 0000098d: SWAP4 0000098e: SWAP3 0000098f: POP 00000990: POP 00000991: POP 00000992: JUMP 00000993: JUMPDEST 00000994: PUSH1 0x00 00000996: PUSH2 0x03eb 00000999: CALLER 0000099a: DUP5 0000099b: DUP5 0000099c: PUSH2 0x114c 0000099f: JUMP 000009a0: JUMPDEST 000009a1: PUSH1 0x00 000009a3: PUSH2 0x07e4 000009a6: PUSH1 0x35 000009a8: SLOAD 000009a9: SWAP1 000009aa: JUMP 000009ab: JUMPDEST 000009ac: PUSH1 0x00 000009ae: SLOAD 000009af: PUSH2 0x0100 000009b2: SWAP1 000009b3: DIV 000009b4: PUSH1 0xff 000009b6: AND 000009b7: PUSH2 0x09c6 000009ba: JUMPI 000009bb: PUSH1 0x00 000009bd: SLOAD 000009be: PUSH1 0xff 000009c0: AND 000009c1: ISZERO 000009c2: PUSH2 0x09ca 000009c5: JUMP 000009c6: JUMPDEST 000009c7: ADDRESS 000009c8: EXTCODESIZE 000009c9: ISZERO 000009ca: JUMPDEST 000009cb: PUSH2 0x09e6 000009ce: JUMPI 000009cf: PUSH1 0x40 000009d1: MLOAD 000009d2: PUSH3 0x461bcd 000009d6: PUSH1 0xe5 000009d8: SHL 000009d9: DUP2 000009da: MSTORE 000009db: PUSH1 0x04 000009dd: ADD 000009de: PUSH2 0x0465 000009e1: SWAP1 000009e2: PUSH2 0x1ffb 000009e5: JUMP 000009e6: JUMPDEST 000009e7: PUSH1 0x00 000009e9: SLOAD 000009ea: PUSH2 0x0100 000009ed: SWAP1 000009ee: DIV 000009ef: PUSH1 0xff 000009f1: AND 000009f2: ISZERO 000009f3: DUP1 000009f4: ISZERO 000009f5: PUSH2 0x0a08 000009f8: JUMPI 000009f9: PUSH1 0x00 000009fb: DUP1 000009fc: SLOAD 000009fd: PUSH2 0xffff 00000a00: NOT 00000a01: AND 00000a02: PUSH2 0x0101 00000a05: OR 00000a06: SWAP1 00000a07: SSTORE 00000a08: JUMPDEST 00000a09: PUSH2 0x0a7d 00000a0c: DUP6 00000a0d: DUP6 00000a0e: DUP1 00000a0f: DUP1 00000a10: PUSH1 0x1f 00000a12: ADD 00000a13: PUSH1 0x20 00000a15: DUP1 00000a16: SWAP2 00000a17: DIV 00000a18: MUL 00000a19: PUSH1 0x20 00000a1b: ADD 00000a1c: PUSH1 0x40 00000a1e: MLOAD 00000a1f: SWAP1 00000a20: DUP2 00000a21: ADD 00000a22: PUSH1 0x40 00000a24: MSTORE 00000a25: DUP1 00000a26: SWAP4 00000a27: SWAP3 00000a28: SWAP2 00000a29: SWAP1 00000a2a: DUP2 00000a2b: DUP2 00000a2c: MSTORE 00000a2d: PUSH1 0x20 00000a2f: ADD 00000a30: DUP4 00000a31: DUP4 00000a32: DUP1 00000a33: DUP3 00000a34: DUP5 00000a35: CALLDATACOPY 00000a36: PUSH1 0x00 00000a38: SWAP3 00000a39: ADD 00000a3a: SWAP2 00000a3b: SWAP1 00000a3c: SWAP2 00000a3d: MSTORE 00000a3e: POP 00000a3f: POP 00000a40: PUSH1 0x40 00000a42: DUP1 00000a43: MLOAD 00000a44: PUSH1 0x20 00000a46: PUSH1 0x1f 00000a48: DUP10 00000a49: ADD 00000a4a: DUP2 00000a4b: SWAP1 00000a4c: DIV 00000a4d: DUP2 00000a4e: MUL 00000a4f: DUP3 00000a50: ADD 00000a51: DUP2 00000a52: ADD 00000a53: SWAP1 00000a54: SWAP3 00000a55: MSTORE 00000a56: DUP8 00000a57: DUP2 00000a58: MSTORE 00000a59: SWAP3 00000a5a: POP 00000a5b: DUP8 00000a5c: SWAP2 00000a5d: POP 00000a5e: DUP7 00000a5f: SWAP1 00000a60: DUP2 00000a61: SWAP1 00000a62: DUP5 00000a63: ADD 00000a64: DUP4 00000a65: DUP3 00000a66: DUP1 00000a67: DUP3 00000a68: DUP5 00000a69: CALLDATACOPY 00000a6a: PUSH1 0x00 00000a6c: SWAP3 00000a6d: ADD 00000a6e: SWAP2 00000a6f: SWAP1 00000a70: SWAP2 00000a71: MSTORE 00000a72: POP 00000a73: DUP12 00000a74: SWAP3 00000a75: POP 00000a76: PUSH2 0x11f5 00000a79: SWAP2 00000a7a: POP 00000a7b: POP 00000a7c: JUMP 00000a7d: JUMPDEST 00000a7e: PUSH1 0x94 00000a80: DUP1 00000a81: SLOAD 00000a82: PUSH1 0x01 00000a84: PUSH1 0x01 00000a86: PUSH1 0xa0 00000a88: SHL 00000a89: SUB 00000a8a: DUP1 00000a8b: DUP12 00000a8c: AND 00000a8d: PUSH1 0x01 00000a8f: PUSH1 0x01 00000a91: PUSH1 0xa0 00000a93: SHL 00000a94: SUB 00000a95: NOT 00000a96: SWAP3 00000a97: DUP4 00000a98: AND 00000a99: OR 00000a9a: SWAP1 00000a9b: SWAP3 00000a9c: SSTORE 00000a9d: PUSH1 0x95 00000a9f: DUP1 00000aa0: SLOAD 00000aa1: DUP11 00000aa2: DUP5 00000aa3: AND 00000aa4: SWAP1 00000aa5: DUP4 00000aa6: AND 00000aa7: OR 00000aa8: SWAP1 00000aa9: SSTORE 00000aaa: PUSH1 0x93 00000aac: DUP1 00000aad: SLOAD 00000aae: SWAP3 00000aaf: DUP13 00000ab0: AND 00000ab1: SWAP3 00000ab2: SWAP1 00000ab3: SWAP2 00000ab4: AND 00000ab5: DUP3 00000ab6: OR 00000ab7: SWAP1 00000ab8: SSTORE 00000ab9: PUSH1 0x40 00000abb: DUP1 00000abc: MLOAD 00000abd: PUSH4 0x11ead9ef 00000ac2: PUSH1 0xe3 00000ac4: SHL 00000ac5: DUP2 00000ac6: MSTORE 00000ac7: SWAP1 00000ac8: MLOAD 00000ac9: PUSH4 0x8f56cf78 00000ace: SWAP2 00000acf: PUSH1 0x04 00000ad1: DUP1 00000ad2: DUP3 00000ad3: ADD 00000ad4: SWAP3 00000ad5: PUSH1 0x20 00000ad7: SWAP3 00000ad8: SWAP1 00000ad9: SWAP2 00000ada: SWAP1 00000adb: DUP3 00000adc: SWAP1 00000add: SUB 00000ade: ADD 00000adf: DUP2 00000ae0: DUP7 00000ae1: DUP1 00000ae2: EXTCODESIZE 00000ae3: ISZERO 00000ae4: DUP1 00000ae5: ISZERO 00000ae6: PUSH2 0x0aee 00000ae9: JUMPI 00000aea: PUSH1 0x00 00000aec: DUP1 00000aed: REVERT 00000aee: JUMPDEST 00000aef: POP 00000af0: GAS 00000af1: STATICCALL 00000af2: ISZERO 00000af3: DUP1 00000af4: ISZERO 00000af5: PUSH2 0x0b02 00000af8: JUMPI 00000af9: RETURNDATASIZE 00000afa: PUSH1 0x00 00000afc: DUP1 00000afd: RETURNDATACOPY 00000afe: RETURNDATASIZE 00000aff: PUSH1 0x00 00000b01: REVERT 00000b02: JUMPDEST 00000b03: POP 00000b04: POP 00000b05: POP 00000b06: POP 00000b07: PUSH1 0x40 00000b09: MLOAD 00000b0a: RETURNDATASIZE 00000b0b: PUSH1 0x1f 00000b0d: NOT 00000b0e: PUSH1 0x1f 00000b10: DUP3 00000b11: ADD 00000b12: AND 00000b13: DUP3 00000b14: ADD 00000b15: DUP1 00000b16: PUSH1 0x40 00000b18: MSTORE 00000b19: POP 00000b1a: DUP2 00000b1b: ADD 00000b1c: SWAP1 00000b1d: PUSH2 0x0b26 00000b20: SWAP2 00000b21: SWAP1 00000b22: PUSH2 0x1d5f 00000b25: JUMP 00000b26: JUMPDEST 00000b27: PUSH1 0x01 00000b29: PUSH1 0x01 00000b2b: PUSH1 0xa0 00000b2d: SHL 00000b2e: SUB 00000b2f: AND 00000b30: DUP8 00000b31: PUSH1 0x01 00000b33: PUSH1 0x01 00000b35: PUSH1 0xa0 00000b37: SHL 00000b38: SUB 00000b39: AND 00000b3a: PUSH32 0x3514319b7a526ad5f1f42edf0c1df25fa0ea2ae054779987fbe636f164515e2f 00000b5b: DUP11 00000b5c: PUSH1 0x93 00000b5e: PUSH1 0x00 00000b60: SWAP1 00000b61: SLOAD 00000b62: SWAP1 00000b63: PUSH2 0x0100 00000b66: EXP 00000b67: SWAP1 00000b68: DIV 00000b69: PUSH1 0x01 00000b6b: PUSH1 0x01 00000b6d: PUSH1 0xa0 00000b6f: SHL 00000b70: SUB 00000b71: AND 00000b72: PUSH1 0x01 00000b74: PUSH1 0x01 00000b76: PUSH1 0xa0 00000b78: SHL 00000b79: SUB 00000b7a: AND 00000b7b: PUSH4 0x75d26413 00000b80: PUSH1 0x40 00000b82: MLOAD 00000b83: DUP2 00000b84: PUSH4 0xffffffff 00000b89: AND 00000b8a: PUSH1 0xe0 00000b8c: SHL 00000b8d: DUP2 00000b8e: MSTORE 00000b8f: PUSH1 0x04 00000b91: ADD 00000b92: PUSH1 0x20 00000b94: PUSH1 0x40 00000b96: MLOAD 00000b97: DUP1 00000b98: DUP4 00000b99: SUB 00000b9a: DUP2 00000b9b: DUP7 00000b9c: DUP1 00000b9d: EXTCODESIZE 00000b9e: ISZERO 00000b9f: DUP1 00000ba0: ISZERO 00000ba1: PUSH2 0x0ba9 00000ba4: JUMPI 00000ba5: PUSH1 0x00 00000ba7: DUP1 00000ba8: REVERT 00000ba9: JUMPDEST 00000baa: POP 00000bab: GAS 00000bac: STATICCALL 00000bad: ISZERO 00000bae: DUP1 00000baf: ISZERO 00000bb0: PUSH2 0x0bbd 00000bb3: JUMPI 00000bb4: RETURNDATASIZE 00000bb5: PUSH1 0x00 00000bb7: DUP1 00000bb8: RETURNDATACOPY 00000bb9: RETURNDATASIZE 00000bba: PUSH1 0x00 00000bbc: REVERT 00000bbd: JUMPDEST 00000bbe: POP 00000bbf: POP 00000bc0: POP 00000bc1: POP 00000bc2: PUSH1 0x40 00000bc4: MLOAD 00000bc5: RETURNDATASIZE 00000bc6: PUSH1 0x1f 00000bc8: NOT 00000bc9: PUSH1 0x1f 00000bcb: DUP3 00000bcc: ADD 00000bcd: AND 00000bce: DUP3 00000bcf: ADD 00000bd0: DUP1 00000bd1: PUSH1 0x40 00000bd3: MSTORE 00000bd4: POP 00000bd5: DUP2 00000bd6: ADD 00000bd7: SWAP1 00000bd8: PUSH2 0x0be1 00000bdb: SWAP2 00000bdc: SWAP1 00000bdd: PUSH2 0x1d5f 00000be0: JUMP 00000be1: JUMPDEST 00000be2: PUSH1 0x40 00000be4: DUP1 00000be5: MLOAD 00000be6: PUSH1 0x01 00000be8: PUSH1 0x01 00000bea: PUSH1 0xa0 00000bec: SHL 00000bed: SUB 00000bee: SWAP4 00000bef: DUP5 00000bf0: AND 00000bf1: DUP2 00000bf2: MSTORE 00000bf3: SWAP3 00000bf4: SWAP1 00000bf5: SWAP2 00000bf6: AND 00000bf7: PUSH1 0x20 00000bf9: DUP4 00000bfa: ADD 00000bfb: MSTORE 00000bfc: ADD 00000bfd: PUSH1 0x40 00000bff: MLOAD 00000c00: DUP1 00000c01: SWAP2 00000c02: SUB 00000c03: SWAP1 00000c04: LOG3 00000c05: DUP1 00000c06: ISZERO 00000c07: PUSH2 0x0c16 00000c0a: JUMPI 00000c0b: PUSH1 0x00 00000c0d: DUP1 00000c0e: SLOAD 00000c0f: PUSH2 0xff00 00000c12: NOT 00000c13: AND 00000c14: SWAP1 00000c15: SSTORE 00000c16: JUMPDEST 00000c17: POP 00000c18: POP 00000c19: POP 00000c1a: POP 00000c1b: POP 00000c1c: POP 00000c1d: POP 00000c1e: POP 00000c1f: POP 00000c20: JUMP 00000c21: JUMPDEST 00000c22: PUSH2 0x0c29 00000c25: PUSH2 0x0e7d 00000c28: JUMP 00000c29: JUMPDEST 00000c2a: PUSH1 0x01 00000c2c: PUSH1 0x01 00000c2e: PUSH1 0xa0 00000c30: SHL 00000c31: SUB 00000c32: AND 00000c33: CALLER 00000c34: PUSH1 0x01 00000c36: PUSH1 0x01 00000c38: PUSH1 0xa0 00000c3a: SHL 00000c3b: SUB 00000c3c: AND 00000c3d: EQ 00000c3e: PUSH1 0x40 00000c40: MLOAD 00000c41: DUP1 00000c42: PUSH1 0x40 00000c44: ADD 00000c45: PUSH1 0x40 00000c47: MSTORE 00000c48: DUP1 00000c49: PUSH1 0x03 00000c4b: DUP2 00000c4c: MSTORE 00000c4d: PUSH1 0x20 00000c4f: ADD 00000c50: PUSH3 0x035303 00000c54: PUSH1 0xec 00000c56: SHL 00000c57: DUP2 00000c58: MSTORE 00000c59: POP 00000c5a: SWAP1 00000c5b: PUSH2 0x0c77 00000c5e: JUMPI 00000c5f: PUSH1 0x40 00000c61: MLOAD 00000c62: PUSH3 0x461bcd 00000c66: PUSH1 0xe5 00000c68: SHL 00000c69: DUP2 00000c6a: MSTORE 00000c6b: PUSH1 0x04 00000c6d: ADD 00000c6e: PUSH2 0x0465 00000c71: SWAP2 00000c72: SWAP1 00000c73: PUSH2 0x1fc8 00000c76: JUMP 00000c77: JUMPDEST 00000c78: POP 00000c79: PUSH1 0x00 00000c7b: PUSH2 0x0c84 00000c7e: DUP4 00000c7f: DUP4 00000c80: PUSH2 0x0efa 00000c83: JUMP 00000c84: JUMPDEST 00000c85: PUSH1 0x40 00000c87: DUP1 00000c88: MLOAD 00000c89: DUP1 00000c8a: DUP3 00000c8b: ADD 00000c8c: SWAP1 00000c8d: SWAP2 00000c8e: MSTORE 00000c8f: PUSH1 0x03 00000c91: DUP2 00000c92: MSTORE 00000c93: PUSH3 0x1a9819 00000c97: PUSH1 0xe9 00000c99: SHL 00000c9a: PUSH1 0x20 00000c9c: DUP3 00000c9d: ADD 00000c9e: MSTORE 00000c9f: SWAP1 00000ca0: SWAP2 00000ca1: POP 00000ca2: DUP2 00000ca3: PUSH2 0x0cbf 00000ca6: JUMPI 00000ca7: PUSH1 0x40 00000ca9: MLOAD 00000caa: PUSH3 0x461bcd 00000cae: PUSH1 0xe5 00000cb0: SHL 00000cb1: DUP2 00000cb2: MSTORE 00000cb3: PUSH1 0x04 00000cb5: ADD 00000cb6: PUSH2 0x0465 00000cb9: SWAP2 00000cba: SWAP1 00000cbb: PUSH2 0x1fc8 00000cbe: JUMP 00000cbf: JUMPDEST 00000cc0: POP 00000cc1: PUSH2 0x0cca 00000cc4: DUP6 00000cc5: DUP3 00000cc6: PUSH2 0x1282 00000cc9: JUMP 00000cca: JUMPDEST 00000ccb: PUSH1 0x95 00000ccd: SLOAD 00000cce: PUSH2 0x0ce1 00000cd1: SWAP1 00000cd2: PUSH1 0x01 00000cd4: PUSH1 0x01 00000cd6: PUSH1 0xa0 00000cd8: SHL 00000cd9: SUB 00000cda: AND 00000cdb: DUP6 00000cdc: DUP6 00000cdd: PUSH2 0x115e 00000ce0: JUMP 00000ce1: JUMPDEST 00000ce2: DUP4 00000ce3: PUSH1 0x01 00000ce5: PUSH1 0x01 00000ce7: PUSH1 0xa0 00000ce9: SHL 00000cea: SUB 00000ceb: AND 00000cec: DUP6 00000ced: PUSH1 0x01 00000cef: PUSH1 0x01 00000cf1: PUSH1 0xa0 00000cf3: SHL 00000cf4: SUB 00000cf5: AND 00000cf6: PUSH32 0x5d624aa9c148153ab3446c1b154f660ee7701e549fe9b62dab7171b1c80e6fa2 00000d17: DUP6 00000d18: DUP6 00000d19: PUSH1 0x40 00000d1b: MLOAD 00000d1c: PUSH2 0x0d2f 00000d1f: SWAP3 00000d20: SWAP2 00000d21: SWAP1 00000d22: SWAP2 00000d23: DUP3 00000d24: MSTORE 00000d25: PUSH1 0x20 00000d27: DUP3 00000d28: ADD 00000d29: MSTORE 00000d2a: PUSH1 0x40 00000d2c: ADD 00000d2d: SWAP1 00000d2e: JUMP 00000d2f: JUMPDEST 00000d30: PUSH1 0x40 00000d32: MLOAD 00000d33: DUP1 00000d34: SWAP2 00000d35: SUB 00000d36: SWAP1 00000d37: LOG3 00000d38: POP 00000d39: POP 00000d3a: POP 00000d3b: POP 00000d3c: POP 00000d3d: JUMP 00000d3e: JUMPDEST 00000d3f: PUSH1 0x01 00000d41: PUSH1 0x01 00000d43: PUSH1 0xa0 00000d45: SHL 00000d46: SUB 00000d47: DUP4 00000d48: AND 00000d49: PUSH2 0x0da0 00000d4c: JUMPI 00000d4d: PUSH1 0x40 00000d4f: MLOAD 00000d50: PUSH3 0x461bcd 00000d54: PUSH1 0xe5 00000d56: SHL 00000d57: DUP2 00000d58: MSTORE 00000d59: PUSH1 0x20 00000d5b: PUSH1 0x04 00000d5d: DUP3 00000d5e: ADD 00000d5f: MSTORE 00000d60: PUSH1 0x24 00000d62: DUP1 00000d63: DUP3 00000d64: ADD 00000d65: MSTORE 00000d66: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464 00000d87: PUSH1 0x44 00000d89: DUP3 00000d8a: ADD 00000d8b: MSTORE 00000d8c: PUSH4 0x72657373 00000d91: PUSH1 0xe0 00000d93: SHL 00000d94: PUSH1 0x64 00000d96: DUP3 00000d97: ADD 00000d98: MSTORE 00000d99: PUSH1 0x84 00000d9b: ADD 00000d9c: PUSH2 0x0465 00000d9f: JUMP 00000da0: JUMPDEST 00000da1: PUSH1 0x01 00000da3: PUSH1 0x01 00000da5: PUSH1 0xa0 00000da7: SHL 00000da8: SUB 00000da9: DUP3 00000daa: AND 00000dab: PUSH2 0x0e01 00000dae: JUMPI 00000daf: PUSH1 0x40 00000db1: MLOAD 00000db2: PUSH3 0x461bcd 00000db6: PUSH1 0xe5 00000db8: SHL 00000db9: DUP2 00000dba: MSTORE 00000dbb: PUSH1 0x20 00000dbd: PUSH1 0x04 00000dbf: DUP3 00000dc0: ADD 00000dc1: MSTORE 00000dc2: PUSH1 0x22 00000dc4: PUSH1 0x24 00000dc6: DUP3 00000dc7: ADD 00000dc8: MSTORE 00000dc9: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265 00000dea: PUSH1 0x44 00000dec: DUP3 00000ded: ADD 00000dee: MSTORE 00000def: PUSH2 0x7373 00000df2: PUSH1 0xf0 00000df4: SHL 00000df5: PUSH1 0x64 00000df7: DUP3 00000df8: ADD 00000df9: MSTORE 00000dfa: PUSH1 0x84 00000dfc: ADD 00000dfd: PUSH2 0x0465 00000e00: JUMP 00000e01: JUMPDEST 00000e02: PUSH1 0x01 00000e04: PUSH1 0x01 00000e06: PUSH1 0xa0 00000e08: SHL 00000e09: SUB 00000e0a: DUP4 00000e0b: DUP2 00000e0c: AND 00000e0d: PUSH1 0x00 00000e0f: DUP2 00000e10: DUP2 00000e11: MSTORE 00000e12: PUSH1 0x34 00000e14: PUSH1 0x20 00000e16: SWAP1 00000e17: DUP2 00000e18: MSTORE 00000e19: PUSH1 0x40 00000e1b: DUP1 00000e1c: DUP4 00000e1d: KECCAK256 00000e1e: SWAP5 00000e1f: DUP8 00000e20: AND 00000e21: DUP1 00000e22: DUP5 00000e23: MSTORE 00000e24: SWAP5 00000e25: DUP3 00000e26: MSTORE 00000e27: SWAP2 00000e28: DUP3 00000e29: SWAP1 00000e2a: KECCAK256 00000e2b: DUP6 00000e2c: SWAP1 00000e2d: SSTORE 00000e2e: SWAP1 00000e2f: MLOAD 00000e30: DUP5 00000e31: DUP2 00000e32: MSTORE 00000e33: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000e54: SWAP2 00000e55: ADD 00000e56: PUSH1 0x40 00000e58: MLOAD 00000e59: DUP1 00000e5a: SWAP2 00000e5b: SUB 00000e5c: SWAP1 00000e5d: LOG3 00000e5e: POP 00000e5f: POP 00000e60: POP 00000e61: JUMP 00000e62: JUMPDEST 00000e63: PUSH1 0x01 00000e65: PUSH1 0x01 00000e67: PUSH1 0xa0 00000e69: SHL 00000e6a: SUB 00000e6b: AND 00000e6c: PUSH1 0x00 00000e6e: SWAP1 00000e6f: DUP2 00000e70: MSTORE 00000e71: PUSH1 0x33 00000e73: PUSH1 0x20 00000e75: MSTORE 00000e76: PUSH1 0x40 00000e78: SWAP1 00000e79: KECCAK256 00000e7a: SLOAD 00000e7b: SWAP1 00000e7c: JUMP 00000e7d: JUMPDEST 00000e7e: PUSH1 0x93 00000e80: SLOAD 00000e81: PUSH1 0x40 00000e83: DUP1 00000e84: MLOAD 00000e85: PUSH4 0x11ead9ef 00000e8a: PUSH1 0xe3 00000e8c: SHL 00000e8d: DUP2 00000e8e: MSTORE 00000e8f: SWAP1 00000e90: MLOAD 00000e91: PUSH1 0x00 00000e93: SWAP3 00000e94: PUSH1 0x01 00000e96: PUSH1 0x01 00000e98: PUSH1 0xa0 00000e9a: SHL 00000e9b: SUB 00000e9c: AND 00000e9d: SWAP2 00000e9e: PUSH4 0x8f56cf78 00000ea3: SWAP2 00000ea4: PUSH1 0x04 00000ea6: DUP1 00000ea7: DUP4 00000ea8: ADD 00000ea9: SWAP3 00000eaa: PUSH1 0x20 00000eac: SWAP3 00000ead: SWAP2 00000eae: SWAP1 00000eaf: DUP3 00000eb0: SWAP1 00000eb1: SUB 00000eb2: ADD 00000eb3: DUP2 00000eb4: DUP7 00000eb5: DUP1 00000eb6: EXTCODESIZE 00000eb7: ISZERO 00000eb8: DUP1 00000eb9: ISZERO 00000eba: PUSH2 0x0ec2 00000ebd: JUMPI 00000ebe: PUSH1 0x00 00000ec0: DUP1 00000ec1: REVERT 00000ec2: JUMPDEST 00000ec3: POP 00000ec4: GAS 00000ec5: STATICCALL 00000ec6: ISZERO 00000ec7: DUP1 00000ec8: ISZERO 00000ec9: PUSH2 0x0ed6 00000ecc: JUMPI 00000ecd: RETURNDATASIZE 00000ece: PUSH1 0x00 00000ed0: DUP1 00000ed1: RETURNDATACOPY 00000ed2: RETURNDATASIZE 00000ed3: PUSH1 0x00 00000ed5: REVERT 00000ed6: JUMPDEST 00000ed7: POP 00000ed8: POP 00000ed9: POP 00000eda: POP 00000edb: PUSH1 0x40 00000edd: MLOAD 00000ede: RETURNDATASIZE 00000edf: PUSH1 0x1f 00000ee1: NOT 00000ee2: PUSH1 0x1f 00000ee4: DUP3 00000ee5: ADD 00000ee6: AND 00000ee7: DUP3 00000ee8: ADD 00000ee9: DUP1 00000eea: PUSH1 0x40 00000eec: MSTORE 00000eed: POP 00000eee: DUP2 00000eef: ADD 00000ef0: SWAP1 00000ef1: PUSH2 0x07e4 00000ef4: SWAP2 00000ef5: SWAP1 00000ef6: PUSH2 0x1d5f 00000ef9: JUMP 00000efa: JUMPDEST 00000efb: PUSH1 0x40 00000efd: DUP1 00000efe: MLOAD 00000eff: DUP1 00000f00: DUP3 00000f01: ADD 00000f02: SWAP1 00000f03: SWAP2 00000f04: MSTORE 00000f05: PUSH1 0x03 00000f07: DUP2 00000f08: MSTORE 00000f09: PUSH3 0x191819 00000f0d: PUSH1 0xe9 00000f0f: SHL 00000f10: PUSH1 0x20 00000f12: DUP3 00000f13: ADD 00000f14: MSTORE 00000f15: PUSH1 0x00 00000f17: SWAP1 00000f18: DUP3 00000f19: PUSH2 0x0f35 00000f1c: JUMPI 00000f1d: PUSH1 0x40 00000f1f: MLOAD 00000f20: PUSH3 0x461bcd 00000f24: PUSH1 0xe5 00000f26: SHL 00000f27: DUP2 00000f28: MSTORE 00000f29: PUSH1 0x04 00000f2b: ADD 00000f2c: PUSH2 0x0465 00000f2f: SWAP2 00000f30: SWAP1 00000f31: PUSH2 0x1fc8 00000f34: JUMP 00000f35: JUMPDEST 00000f36: POP 00000f37: PUSH1 0x00 00000f39: PUSH2 0x0f43 00000f3c: PUSH1 0x02 00000f3e: DUP5 00000f3f: PUSH2 0x20ac 00000f42: JUMP 00000f43: JUMPDEST 00000f44: SWAP1 00000f45: POP 00000f46: PUSH12 0x033b2e3c9fd0803ce8000000 00000f53: PUSH2 0x0f5e 00000f56: DUP3 00000f57: PUSH1 0x00 00000f59: NOT 00000f5a: PUSH2 0x20eb 00000f5d: JUMP 00000f5e: JUMPDEST 00000f5f: PUSH2 0x0f68 00000f62: SWAP2 00000f63: SWAP1 00000f64: PUSH2 0x20ac 00000f67: JUMP 00000f68: JUMPDEST 00000f69: DUP5 00000f6a: GT 00000f6b: ISZERO 00000f6c: PUSH1 0x40 00000f6e: MLOAD 00000f6f: DUP1 00000f70: PUSH1 0x40 00000f72: ADD 00000f73: PUSH1 0x40 00000f75: MSTORE 00000f76: DUP1 00000f77: PUSH1 0x03 00000f79: DUP2 00000f7a: MSTORE 00000f7b: PUSH1 0x20 00000f7d: ADD 00000f7e: PUSH3 0x032303 00000f82: PUSH1 0xec 00000f84: SHL 00000f85: DUP2 00000f86: MSTORE 00000f87: POP 00000f88: SWAP1 00000f89: PUSH2 0x0fa5 00000f8c: JUMPI 00000f8d: PUSH1 0x40 00000f8f: MLOAD 00000f90: PUSH3 0x461bcd 00000f94: PUSH1 0xe5 00000f96: SHL 00000f97: DUP2 00000f98: MSTORE 00000f99: PUSH1 0x04 00000f9b: ADD 00000f9c: PUSH2 0x0465 00000f9f: SWAP2 00000fa0: SWAP1 00000fa1: PUSH2 0x1fc8 00000fa4: JUMP 00000fa5: JUMPDEST 00000fa6: POP 00000fa7: DUP3 00000fa8: DUP2 00000fa9: PUSH2 0x0fbe 00000fac: PUSH12 0x033b2e3c9fd0803ce8000000 00000fb9: DUP8 00000fba: PUSH2 0x20cc 00000fbd: JUMP 00000fbe: JUMPDEST 00000fbf: PUSH2 0x0fc8 00000fc2: SWAP2 00000fc3: SWAP1 00000fc4: PUSH2 0x2094 00000fc7: JUMP 00000fc8: JUMPDEST 00000fc9: PUSH2 0x0fd2 00000fcc: SWAP2 00000fcd: SWAP1 00000fce: PUSH2 0x20ac 00000fd1: JUMP 00000fd2: JUMPDEST 00000fd3: SWAP5 00000fd4: SWAP4 00000fd5: POP 00000fd6: POP 00000fd7: POP 00000fd8: POP 00000fd9: JUMP 00000fda: JUMPDEST 00000fdb: PUSH1 0x00 00000fdd: PUSH2 0x0fe5 00000fe0: PUSH1 0x35 00000fe2: SLOAD 00000fe3: SWAP1 00000fe4: JUMP 00000fe5: JUMPDEST 00000fe6: SWAP1 00000fe7: POP 00000fe8: PUSH1 0x00 00000fea: PUSH2 0x0ff2 00000fed: DUP5 00000fee: PUSH2 0x0e62 00000ff1: JUMP 00000ff2: JUMPDEST 00000ff3: SWAP1 00000ff4: POP 00000ff5: PUSH2 0x0ffe 00000ff8: DUP5 00000ff9: DUP5 00000ffa: PUSH2 0x12a6 00000ffd: JUMP 00000ffe: JUMPDEST 00000fff: PUSH1 0x00 00001001: PUSH2 0x1008 00001004: PUSH2 0x11b0 00001007: JUMP 00001008: JUMPDEST 00001009: PUSH1 0x01 0000100b: PUSH1 0x01 0000100d: PUSH1 0xa0 0000100f: SHL 00001010: SUB 00001011: AND 00001012: EQ 00001013: PUSH2 0x108a 00001016: JUMPI 00001017: PUSH2 0x101e 0000101a: PUSH2 0x11b0 0000101d: JUMP 0000101e: JUMPDEST 0000101f: PUSH1 0x40 00001021: MLOAD 00001022: PUSH4 0x18c39f17 00001027: PUSH1 0xe1 00001029: SHL 0000102a: DUP2 0000102b: MSTORE 0000102c: PUSH1 0x01 0000102e: PUSH1 0x01 00001030: PUSH1 0xa0 00001032: SHL 00001033: SUB 00001034: DUP7 00001035: DUP2 00001036: AND 00001037: PUSH1 0x04 00001039: DUP4 0000103a: ADD 0000103b: MSTORE 0000103c: PUSH1 0x24 0000103e: DUP3 0000103f: ADD 00001040: DUP6 00001041: SWAP1 00001042: MSTORE 00001043: PUSH1 0x44 00001045: DUP3 00001046: ADD 00001047: DUP5 00001048: SWAP1 00001049: MSTORE 0000104a: SWAP2 0000104b: SWAP1 0000104c: SWAP2 0000104d: AND 0000104e: SWAP1 0000104f: PUSH4 0x31873e2e 00001054: SWAP1 00001055: PUSH1 0x64 00001057: ADD 00001058: PUSH1 0x00 0000105a: PUSH1 0x40 0000105c: MLOAD 0000105d: DUP1 0000105e: DUP4 0000105f: SUB 00001060: DUP2 00001061: PUSH1 0x00 00001063: DUP8 00001064: DUP1 00001065: EXTCODESIZE 00001066: ISZERO 00001067: DUP1 00001068: ISZERO 00001069: PUSH2 0x1071 0000106c: JUMPI 0000106d: PUSH1 0x00 0000106f: DUP1 00001070: REVERT 00001071: JUMPDEST 00001072: POP 00001073: GAS 00001074: CALL 00001075: ISZERO 00001076: DUP1 00001077: ISZERO 00001078: PUSH2 0x1085 0000107b: JUMPI 0000107c: RETURNDATASIZE 0000107d: PUSH1 0x00 0000107f: DUP1 00001080: RETURNDATACOPY 00001081: RETURNDATASIZE 00001082: PUSH1 0x00 00001084: REVERT 00001085: JUMPDEST 00001086: POP 00001087: POP 00001088: POP 00001089: POP 0000108a: JUMPDEST 0000108b: POP 0000108c: POP 0000108d: POP 0000108e: POP 0000108f: JUMP 00001090: JUMPDEST 00001091: PUSH1 0x00 00001093: DUP3 00001094: ISZERO 00001095: DUP1 00001096: PUSH2 0x109d 00001099: JUMPI 0000109a: POP 0000109b: DUP2 0000109c: ISZERO 0000109d: JUMPDEST 0000109e: ISZERO 0000109f: PUSH2 0x10aa 000010a2: JUMPI 000010a3: POP 000010a4: PUSH1 0x00 000010a6: PUSH2 0x03ef 000010a9: JUMP 000010aa: JUMPDEST 000010ab: DUP2 000010ac: PUSH2 0x10c2 000010af: PUSH1 0x02 000010b1: PUSH12 0x033b2e3c9fd0803ce8000000 000010be: PUSH2 0x20ac 000010c1: JUMP 000010c2: JUMPDEST 000010c3: PUSH2 0x10ce 000010c6: SWAP1 000010c7: PUSH1 0x00 000010c9: NOT 000010ca: PUSH2 0x20eb 000010cd: JUMP 000010ce: JUMPDEST 000010cf: PUSH2 0x10d8 000010d2: SWAP2 000010d3: SWAP1 000010d4: PUSH2 0x20ac 000010d7: JUMP 000010d8: JUMPDEST 000010d9: DUP4 000010da: GT 000010db: ISZERO 000010dc: PUSH1 0x40 000010de: MLOAD 000010df: DUP1 000010e0: PUSH1 0x40 000010e2: ADD 000010e3: PUSH1 0x40 000010e5: MSTORE 000010e6: DUP1 000010e7: PUSH1 0x03 000010e9: DUP2 000010ea: MSTORE 000010eb: PUSH1 0x20 000010ed: ADD 000010ee: PUSH3 0x032303 000010f2: PUSH1 0xec 000010f4: SHL 000010f5: DUP2 000010f6: MSTORE 000010f7: POP 000010f8: SWAP1 000010f9: PUSH2 0x1115 000010fc: JUMPI 000010fd: PUSH1 0x40 000010ff: MLOAD 00001100: PUSH3 0x461bcd 00001104: PUSH1 0xe5 00001106: SHL 00001107: DUP2 00001108: MSTORE 00001109: PUSH1 0x04 0000110b: ADD 0000110c: PUSH2 0x0465 0000110f: SWAP2 00001110: SWAP1 00001111: PUSH2 0x1fc8 00001114: JUMP 00001115: JUMPDEST 00001116: POP 00001117: PUSH12 0x033b2e3c9fd0803ce8000000 00001124: PUSH2 0x112e 00001127: PUSH1 0x02 00001129: DUP3 0000112a: PUSH2 0x20ac 0000112d: JUMP 0000112e: JUMPDEST 0000112f: PUSH2 0x1138 00001132: DUP5 00001133: DUP7 00001134: PUSH2 0x20cc 00001137: JUMP 00001138: JUMPDEST 00001139: PUSH2 0x1142 0000113c: SWAP2 0000113d: SWAP1 0000113e: PUSH2 0x2094 00001141: JUMP 00001142: JUMPDEST 00001143: PUSH2 0x0517 00001146: SWAP2 00001147: SWAP1 00001148: PUSH2 0x20ac 0000114b: JUMP 0000114c: JUMPDEST 0000114d: PUSH2 0x1159 00001150: DUP4 00001151: DUP4 00001152: DUP4 00001153: PUSH1 0x01 00001155: PUSH2 0x1373 00001158: JUMP 00001159: JUMPDEST 0000115a: POP 0000115b: POP 0000115c: POP 0000115d: JUMP 0000115e: JUMPDEST 0000115f: PUSH1 0x40 00001161: DUP1 00001162: MLOAD 00001163: PUSH1 0x01 00001165: PUSH1 0x01 00001167: PUSH1 0xa0 00001169: SHL 0000116a: SUB 0000116b: DUP5 0000116c: AND 0000116d: PUSH1 0x24 0000116f: DUP3 00001170: ADD 00001171: MSTORE 00001172: PUSH1 0x44 00001174: DUP1 00001175: DUP3 00001176: ADD 00001177: DUP5 00001178: SWAP1 00001179: MSTORE 0000117a: DUP3 0000117b: MLOAD 0000117c: DUP1 0000117d: DUP4 0000117e: SUB 0000117f: SWAP1 00001180: SWAP2 00001181: ADD 00001182: DUP2 00001183: MSTORE 00001184: PUSH1 0x64 00001186: SWAP1 00001187: SWAP2 00001188: ADD 00001189: SWAP1 0000118a: SWAP2 0000118b: MSTORE 0000118c: PUSH1 0x20 0000118e: DUP2 0000118f: ADD 00001190: DUP1 00001191: MLOAD 00001192: PUSH1 0x01 00001194: PUSH1 0x01 00001196: PUSH1 0xe0 00001198: SHL 00001199: SUB 0000119a: AND 0000119b: PUSH4 0xa9059cbb 000011a0: PUSH1 0xe0 000011a2: SHL 000011a3: OR 000011a4: SWAP1 000011a5: MSTORE 000011a6: PUSH2 0x1159 000011a9: SWAP1 000011aa: DUP5 000011ab: SWAP1 000011ac: PUSH2 0x1526 000011af: JUMP 000011b0: JUMPDEST 000011b1: PUSH1 0x93 000011b3: SLOAD 000011b4: PUSH1 0x40 000011b6: DUP1 000011b7: MLOAD 000011b8: PUSH4 0x75d26413 000011bd: PUSH1 0xe0 000011bf: SHL 000011c0: DUP2 000011c1: MSTORE 000011c2: SWAP1 000011c3: MLOAD 000011c4: PUSH1 0x00 000011c6: SWAP3 000011c7: PUSH1 0x01 000011c9: PUSH1 0x01 000011cb: PUSH1 0xa0 000011cd: SHL 000011ce: SUB 000011cf: AND 000011d0: SWAP2 000011d1: PUSH4 0x75d26413 000011d6: SWAP2 000011d7: PUSH1 0x04 000011d9: DUP1 000011da: DUP4 000011db: ADD 000011dc: SWAP3 000011dd: PUSH1 0x20 000011df: SWAP3 000011e0: SWAP2 000011e1: SWAP1 000011e2: DUP3 000011e3: SWAP1 000011e4: SUB 000011e5: ADD 000011e6: DUP2 000011e7: DUP7 000011e8: DUP1 000011e9: EXTCODESIZE 000011ea: ISZERO 000011eb: DUP1 000011ec: ISZERO 000011ed: PUSH2 0x0ec2 000011f0: JUMPI 000011f1: PUSH1 0x00 000011f3: DUP1 000011f4: REVERT 000011f5: JUMPDEST 000011f6: PUSH1 0x00 000011f8: SLOAD 000011f9: PUSH2 0x0100 000011fc: SWAP1 000011fd: DIV 000011fe: PUSH1 0xff 00001200: AND 00001201: PUSH2 0x1210 00001204: JUMPI 00001205: PUSH1 0x00 00001207: SLOAD 00001208: PUSH1 0xff 0000120a: AND 0000120b: ISZERO 0000120c: PUSH2 0x1214 0000120f: JUMP 00001210: JUMPDEST 00001211: ADDRESS 00001212: EXTCODESIZE 00001213: ISZERO 00001214: JUMPDEST 00001215: PUSH2 0x1230 00001218: JUMPI 00001219: PUSH1 0x40 0000121b: MLOAD 0000121c: PUSH3 0x461bcd 00001220: PUSH1 0xe5 00001222: SHL 00001223: DUP2 00001224: MSTORE 00001225: PUSH1 0x04 00001227: ADD 00001228: PUSH2 0x0465 0000122b: SWAP1 0000122c: PUSH2 0x1ffb 0000122f: JUMP 00001230: JUMPDEST 00001231: PUSH1 0x00 00001233: SLOAD 00001234: PUSH2 0x0100 00001237: SWAP1 00001238: DIV 00001239: PUSH1 0xff 0000123b: AND 0000123c: ISZERO 0000123d: DUP1 0000123e: ISZERO 0000123f: PUSH2 0x1252 00001242: JUMPI 00001243: PUSH1 0x00 00001245: DUP1 00001246: SLOAD 00001247: PUSH2 0xffff 0000124a: NOT 0000124b: AND 0000124c: PUSH2 0x0101 0000124f: OR 00001250: SWAP1 00001251: SSTORE 00001252: JUMPDEST 00001253: PUSH2 0x125c 00001256: DUP5 00001257: DUP5 00001258: PUSH2 0x15f8 0000125b: JUMP 0000125c: JUMPDEST 0000125d: PUSH1 0x65 0000125f: DUP1 00001260: SLOAD 00001261: PUSH1 0xff 00001263: NOT 00001264: AND 00001265: PUSH1 0xff 00001267: DUP5 00001268: AND 00001269: OR 0000126a: SWAP1 0000126b: SSTORE 0000126c: DUP1 0000126d: ISZERO 0000126e: PUSH2 0x108a 00001271: JUMPI 00001272: PUSH1 0x00 00001274: DUP1 00001275: SLOAD 00001276: PUSH2 0xff00 00001279: NOT 0000127a: AND 0000127b: SWAP1 0000127c: SSTORE 0000127d: POP 0000127e: POP 0000127f: POP 00001280: POP 00001281: JUMP 00001282: JUMPDEST 00001283: PUSH1 0x00 00001285: PUSH2 0x128d 00001288: PUSH1 0x35 0000128a: SLOAD 0000128b: SWAP1 0000128c: JUMP 0000128d: JUMPDEST 0000128e: SWAP1 0000128f: POP 00001290: PUSH1 0x00 00001292: PUSH2 0x129a 00001295: DUP5 00001296: PUSH2 0x0e62 00001299: JUMP 0000129a: JUMPDEST 0000129b: SWAP1 0000129c: POP 0000129d: PUSH2 0x0ffe 000012a0: DUP5 000012a1: DUP5 000012a2: PUSH2 0x1631 000012a5: JUMP 000012a6: JUMPDEST 000012a7: PUSH1 0x01 000012a9: PUSH1 0x01 000012ab: PUSH1 0xa0 000012ad: SHL 000012ae: SUB 000012af: DUP3 000012b0: AND 000012b1: PUSH2 0x12fc 000012b4: JUMPI 000012b5: PUSH1 0x40 000012b7: MLOAD 000012b8: PUSH3 0x461bcd 000012bc: PUSH1 0xe5 000012be: SHL 000012bf: DUP2 000012c0: MSTORE 000012c1: PUSH1 0x20 000012c3: PUSH1 0x04 000012c5: DUP3 000012c6: ADD 000012c7: MSTORE 000012c8: PUSH1 0x1f 000012ca: PUSH1 0x24 000012cc: DUP3 000012cd: ADD 000012ce: MSTORE 000012cf: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300 000012f0: PUSH1 0x44 000012f2: DUP3 000012f3: ADD 000012f4: MSTORE 000012f5: PUSH1 0x64 000012f7: ADD 000012f8: PUSH2 0x0465 000012fb: JUMP 000012fc: JUMPDEST 000012fd: DUP1 000012fe: PUSH1 0x35 00001300: PUSH1 0x00 00001302: DUP3 00001303: DUP3 00001304: SLOAD 00001305: PUSH2 0x130e 00001308: SWAP2 00001309: SWAP1 0000130a: PUSH2 0x2094 0000130d: JUMP 0000130e: JUMPDEST 0000130f: SWAP1 00001310: SWAP2 00001311: SSTORE 00001312: POP 00001313: POP 00001314: PUSH1 0x01 00001316: PUSH1 0x01 00001318: PUSH1 0xa0 0000131a: SHL 0000131b: SUB 0000131c: DUP3 0000131d: AND 0000131e: PUSH1 0x00 00001320: SWAP1 00001321: DUP2 00001322: MSTORE 00001323: PUSH1 0x33 00001325: PUSH1 0x20 00001327: MSTORE 00001328: PUSH1 0x40 0000132a: DUP2 0000132b: KECCAK256 0000132c: DUP1 0000132d: SLOAD 0000132e: DUP4 0000132f: SWAP3 00001330: SWAP1 00001331: PUSH2 0x133b 00001334: SWAP1 00001335: DUP5 00001336: SWAP1 00001337: PUSH2 0x2094 0000133a: JUMP 0000133b: JUMPDEST 0000133c: SWAP1 0000133d: SWAP2 0000133e: SSTORE 0000133f: POP 00001340: POP 00001341: PUSH1 0x40 00001343: MLOAD 00001344: DUP2 00001345: DUP2 00001346: MSTORE 00001347: PUSH1 0x01 00001349: PUSH1 0x01 0000134b: PUSH1 0xa0 0000134d: SHL 0000134e: SUB 0000134f: DUP4 00001350: AND 00001351: SWAP1 00001352: PUSH1 0x00 00001354: SWAP1 00001355: PUSH1 0x00 00001357: DUP1 00001358: MLOAD 00001359: PUSH1 0x20 0000135b: PUSH2 0x2192 0000135e: DUP4 0000135f: CODECOPY 00001360: DUP2 00001361: MLOAD 00001362: SWAP2 00001363: MSTORE 00001364: SWAP1 00001365: PUSH1 0x20 00001367: ADD 00001368: PUSH1 0x40 0000136a: MLOAD 0000136b: DUP1 0000136c: SWAP2 0000136d: SUB 0000136e: SWAP1 0000136f: LOG3 00001370: POP 00001371: POP 00001372: JUMP 00001373: JUMPDEST 00001374: PUSH1 0x95 00001376: SLOAD 00001377: PUSH1 0x01 00001379: PUSH1 0x01 0000137b: PUSH1 0xa0 0000137d: SHL 0000137e: SUB 0000137f: AND 00001380: PUSH1 0x00 00001382: PUSH2 0x1389 00001385: PUSH2 0x0e7d 00001388: JUMP 00001389: JUMPDEST 0000138a: PUSH1 0x40 0000138c: MLOAD 0000138d: PUSH4 0xd15e0053 00001392: PUSH1 0xe0 00001394: SHL 00001395: DUP2 00001396: MSTORE 00001397: PUSH1 0x01 00001399: PUSH1 0x01 0000139b: PUSH1 0xa0 0000139d: SHL 0000139e: SUB 0000139f: DUP5 000013a0: DUP2 000013a1: AND 000013a2: PUSH1 0x04 000013a4: DUP4 000013a5: ADD 000013a6: MSTORE 000013a7: SWAP2 000013a8: SWAP3 000013a9: POP 000013aa: PUSH1 0x00 000013ac: SWAP2 000013ad: DUP4 000013ae: AND 000013af: SWAP1 000013b0: PUSH4 0xd15e0053 000013b5: SWAP1 000013b6: PUSH1 0x24 000013b8: ADD 000013b9: PUSH1 0x20 000013bb: PUSH1 0x40 000013bd: MLOAD 000013be: DUP1 000013bf: DUP4 000013c0: SUB 000013c1: DUP2 000013c2: DUP7 000013c3: DUP1 000013c4: EXTCODESIZE 000013c5: ISZERO 000013c6: DUP1 000013c7: ISZERO 000013c8: PUSH2 0x13d0 000013cb: JUMPI 000013cc: PUSH1 0x00 000013ce: DUP1 000013cf: REVERT 000013d0: JUMPDEST 000013d1: POP 000013d2: GAS 000013d3: STATICCALL 000013d4: ISZERO 000013d5: DUP1 000013d6: ISZERO 000013d7: PUSH2 0x13e4 000013da: JUMPI 000013db: RETURNDATASIZE 000013dc: PUSH1 0x00 000013de: DUP1 000013df: RETURNDATACOPY 000013e0: RETURNDATASIZE 000013e1: PUSH1 0x00 000013e3: REVERT 000013e4: JUMPDEST 000013e5: POP 000013e6: POP 000013e7: POP 000013e8: POP 000013e9: PUSH1 0x40 000013eb: MLOAD 000013ec: RETURNDATASIZE 000013ed: PUSH1 0x1f 000013ef: NOT 000013f0: PUSH1 0x1f 000013f2: DUP3 000013f3: ADD 000013f4: AND 000013f5: DUP3 000013f6: ADD 000013f7: DUP1 000013f8: PUSH1 0x40 000013fa: MSTORE 000013fb: POP 000013fc: DUP2 000013fd: ADD 000013fe: SWAP1 000013ff: PUSH2 0x1408 00001402: SWAP2 00001403: SWAP1 00001404: PUSH2 0x1f73 00001407: JUMP 00001408: JUMPDEST 00001409: SWAP1 0000140a: POP 0000140b: PUSH1 0x00 0000140d: PUSH2 0x1419 00001410: DUP3 00001411: PUSH2 0x07d4 00001414: DUP11 00001415: PUSH2 0x0e62 00001418: JUMP 00001419: JUMPDEST 0000141a: SWAP1 0000141b: POP 0000141c: PUSH1 0x00 0000141e: PUSH2 0x142a 00001421: DUP4 00001422: PUSH2 0x07d4 00001425: DUP11 00001426: PUSH2 0x0e62 00001429: JUMP 0000142a: JUMPDEST 0000142b: SWAP1 0000142c: POP 0000142d: PUSH2 0x1440 00001430: DUP10 00001431: DUP10 00001432: PUSH2 0x143b 00001435: DUP11 00001436: DUP8 00001437: PUSH2 0x0efa 0000143a: JUMP 0000143b: JUMPDEST 0000143c: PUSH2 0x176d 0000143f: JUMP 00001440: JUMPDEST 00001441: DUP6 00001442: ISZERO 00001443: PUSH2 0x14c5 00001446: JUMPI 00001447: PUSH1 0x40 00001449: MLOAD 0000144a: PUSH4 0xd5ed3933 0000144f: PUSH1 0xe0 00001451: SHL 00001452: DUP2 00001453: MSTORE 00001454: PUSH1 0x01 00001456: PUSH1 0x01 00001458: PUSH1 0xa0 0000145a: SHL 0000145b: SUB 0000145c: DUP7 0000145d: DUP2 0000145e: AND 0000145f: PUSH1 0x04 00001461: DUP4 00001462: ADD 00001463: MSTORE 00001464: DUP11 00001465: DUP2 00001466: AND 00001467: PUSH1 0x24 00001469: DUP4 0000146a: ADD 0000146b: MSTORE 0000146c: DUP10 0000146d: DUP2 0000146e: AND 0000146f: PUSH1 0x44 00001471: DUP4 00001472: ADD 00001473: MSTORE 00001474: PUSH1 0x64 00001476: DUP3 00001477: ADD 00001478: DUP10 00001479: SWAP1 0000147a: MSTORE 0000147b: PUSH1 0x84 0000147d: DUP3 0000147e: ADD 0000147f: DUP5 00001480: SWAP1 00001481: MSTORE 00001482: PUSH1 0xa4 00001484: DUP3 00001485: ADD 00001486: DUP4 00001487: SWAP1 00001488: MSTORE 00001489: DUP6 0000148a: AND 0000148b: SWAP1 0000148c: PUSH4 0xd5ed3933 00001491: SWAP1 00001492: PUSH1 0xc4 00001494: ADD 00001495: PUSH1 0x00 00001497: PUSH1 0x40 00001499: MLOAD 0000149a: DUP1 0000149b: DUP4 0000149c: SUB 0000149d: DUP2 0000149e: DUP7 0000149f: DUP1 000014a0: EXTCODESIZE 000014a1: ISZERO 000014a2: DUP1 000014a3: ISZERO 000014a4: PUSH2 0x14ac 000014a7: JUMPI 000014a8: PUSH1 0x00 000014aa: DUP1 000014ab: REVERT 000014ac: JUMPDEST 000014ad: POP 000014ae: GAS 000014af: STATICCALL 000014b0: ISZERO 000014b1: DUP1 000014b2: ISZERO 000014b3: PUSH2 0x14c0 000014b6: JUMPI 000014b7: RETURNDATASIZE 000014b8: PUSH1 0x00 000014ba: DUP1 000014bb: RETURNDATACOPY 000014bc: RETURNDATASIZE 000014bd: PUSH1 0x00 000014bf: REVERT 000014c0: JUMPDEST 000014c1: POP 000014c2: POP 000014c3: POP 000014c4: POP 000014c5: JUMPDEST 000014c6: DUP8 000014c7: PUSH1 0x01 000014c9: PUSH1 0x01 000014cb: PUSH1 0xa0 000014cd: SHL 000014ce: SUB 000014cf: AND 000014d0: DUP10 000014d1: PUSH1 0x01 000014d3: PUSH1 0x01 000014d5: PUSH1 0xa0 000014d7: SHL 000014d8: SUB 000014d9: AND 000014da: PUSH32 0x4beccb90f994c31aced7a23b5611020728a23d8ec5cddd1a3e9d97b96fda8666 000014fb: DUP10 000014fc: DUP7 000014fd: PUSH1 0x40 000014ff: MLOAD 00001500: PUSH2 0x1513 00001503: SWAP3 00001504: SWAP2 00001505: SWAP1 00001506: SWAP2 00001507: DUP3 00001508: MSTORE 00001509: PUSH1 0x20 0000150b: DUP3 0000150c: ADD 0000150d: MSTORE 0000150e: PUSH1 0x40 00001510: ADD 00001511: SWAP1 00001512: JUMP 00001513: JUMPDEST 00001514: PUSH1 0x40 00001516: MLOAD 00001517: DUP1 00001518: SWAP2 00001519: SUB 0000151a: SWAP1 0000151b: LOG3 0000151c: POP 0000151d: POP 0000151e: POP 0000151f: POP 00001520: POP 00001521: POP 00001522: POP 00001523: POP 00001524: POP 00001525: JUMP 00001526: JUMPDEST 00001527: PUSH1 0x00 00001529: PUSH2 0x157b 0000152c: DUP3 0000152d: PUSH1 0x40 0000152f: MLOAD 00001530: DUP1 00001531: PUSH1 0x40 00001533: ADD 00001534: PUSH1 0x40 00001536: MSTORE 00001537: DUP1 00001538: PUSH1 0x20 0000153a: DUP2 0000153b: MSTORE 0000153c: PUSH1 0x20 0000153e: ADD 0000153f: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00001560: DUP2 00001561: MSTORE 00001562: POP 00001563: DUP6 00001564: PUSH1 0x01 00001566: PUSH1 0x01 00001568: PUSH1 0xa0 0000156a: SHL 0000156b: SUB 0000156c: AND 0000156d: PUSH2 0x18c0 00001570: SWAP1 00001571: SWAP3 00001572: SWAP2 00001573: SWAP1 00001574: PUSH4 0xffffffff 00001579: AND 0000157a: JUMP 0000157b: JUMPDEST 0000157c: DUP1 0000157d: MLOAD 0000157e: SWAP1 0000157f: SWAP2 00001580: POP 00001581: ISZERO 00001582: PUSH2 0x1159 00001585: JUMPI 00001586: DUP1 00001587: DUP1 00001588: PUSH1 0x20 0000158a: ADD 0000158b: SWAP1 0000158c: MLOAD 0000158d: DUP2 0000158e: ADD 0000158f: SWAP1 00001590: PUSH2 0x1599 00001593: SWAP2 00001594: SWAP1 00001595: PUSH2 0x1e97 00001598: JUMP 00001599: JUMPDEST 0000159a: PUSH2 0x1159 0000159d: JUMPI 0000159e: PUSH1 0x40 000015a0: MLOAD 000015a1: PUSH3 0x461bcd 000015a5: PUSH1 0xe5 000015a7: SHL 000015a8: DUP2 000015a9: MSTORE 000015aa: PUSH1 0x20 000015ac: PUSH1 0x04 000015ae: DUP3 000015af: ADD 000015b0: MSTORE 000015b1: PUSH1 0x2a 000015b3: PUSH1 0x24 000015b5: DUP3 000015b6: ADD 000015b7: MSTORE 000015b8: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 000015d9: PUSH1 0x44 000015db: DUP3 000015dc: ADD 000015dd: MSTORE 000015de: PUSH10 0x1bdd081cdd58d8d95959 000015e9: PUSH1 0xb2 000015eb: SHL 000015ec: PUSH1 0x64 000015ee: DUP3 000015ef: ADD 000015f0: MSTORE 000015f1: PUSH1 0x84 000015f3: ADD 000015f4: PUSH2 0x0465 000015f7: JUMP 000015f8: JUMPDEST 000015f9: PUSH1 0x00 000015fb: SLOAD 000015fc: PUSH2 0x0100 000015ff: SWAP1 00001600: DIV 00001601: PUSH1 0xff 00001603: AND 00001604: PUSH2 0x161f 00001607: JUMPI 00001608: PUSH1 0x40 0000160a: MLOAD 0000160b: PUSH3 0x461bcd 0000160f: PUSH1 0xe5 00001611: SHL 00001612: DUP2 00001613: MSTORE 00001614: PUSH1 0x04 00001616: ADD 00001617: PUSH2 0x0465 0000161a: SWAP1 0000161b: PUSH2 0x2049 0000161e: JUMP 0000161f: JUMPDEST 00001620: PUSH2 0x1627 00001623: PUSH2 0x18cf 00001626: JUMP 00001627: JUMPDEST 00001628: PUSH2 0x08e7 0000162b: DUP3 0000162c: DUP3 0000162d: PUSH2 0x18f8 00001630: JUMP 00001631: JUMPDEST 00001632: PUSH1 0x01 00001634: PUSH1 0x01 00001636: PUSH1 0xa0 00001638: SHL 00001639: SUB 0000163a: DUP3 0000163b: AND 0000163c: PUSH2 0x1691 0000163f: JUMPI 00001640: PUSH1 0x40 00001642: MLOAD 00001643: PUSH3 0x461bcd 00001647: PUSH1 0xe5 00001649: SHL 0000164a: DUP2 0000164b: MSTORE 0000164c: PUSH1 0x20 0000164e: PUSH1 0x04 00001650: DUP3 00001651: ADD 00001652: MSTORE 00001653: PUSH1 0x21 00001655: PUSH1 0x24 00001657: DUP3 00001658: ADD 00001659: MSTORE 0000165a: PUSH32 0x45524332303a206275726e2066726f6d20746865207a65726f20616464726573 0000167b: PUSH1 0x44 0000167d: DUP3 0000167e: ADD 0000167f: MSTORE 00001680: PUSH1 0x73 00001682: PUSH1 0xf8 00001684: SHL 00001685: PUSH1 0x64 00001687: DUP3 00001688: ADD 00001689: MSTORE 0000168a: PUSH1 0x84 0000168c: ADD 0000168d: PUSH2 0x0465 00001690: JUMP 00001691: JUMPDEST 00001692: PUSH1 0x01 00001694: PUSH1 0x01 00001696: PUSH1 0xa0 00001698: SHL 00001699: SUB 0000169a: DUP3 0000169b: AND 0000169c: PUSH1 0x00 0000169e: SWAP1 0000169f: DUP2 000016a0: MSTORE 000016a1: PUSH1 0x33 000016a3: PUSH1 0x20 000016a5: MSTORE 000016a6: PUSH1 0x40 000016a8: SWAP1 000016a9: KECCAK256 000016aa: SLOAD 000016ab: DUP2 000016ac: DUP2 000016ad: LT 000016ae: ISZERO 000016af: PUSH2 0x1705 000016b2: JUMPI 000016b3: PUSH1 0x40 000016b5: MLOAD 000016b6: PUSH3 0x461bcd 000016ba: PUSH1 0xe5 000016bc: SHL 000016bd: DUP2 000016be: MSTORE 000016bf: PUSH1 0x20 000016c1: PUSH1 0x04 000016c3: DUP3 000016c4: ADD 000016c5: MSTORE 000016c6: PUSH1 0x22 000016c8: PUSH1 0x24 000016ca: DUP3 000016cb: ADD 000016cc: MSTORE 000016cd: PUSH32 0x45524332303a206275726e20616d6f756e7420657863656564732062616c616e 000016ee: PUSH1 0x44 000016f0: DUP3 000016f1: ADD 000016f2: MSTORE 000016f3: PUSH2 0x6365 000016f6: PUSH1 0xf0 000016f8: SHL 000016f9: PUSH1 0x64 000016fb: DUP3 000016fc: ADD 000016fd: MSTORE 000016fe: PUSH1 0x84 00001700: ADD 00001701: PUSH2 0x0465 00001704: JUMP 00001705: JUMPDEST 00001706: PUSH1 0x01 00001708: PUSH1 0x01 0000170a: PUSH1 0xa0 0000170c: SHL 0000170d: SUB 0000170e: DUP4 0000170f: AND 00001710: PUSH1 0x00 00001712: SWAP1 00001713: DUP2 00001714: MSTORE 00001715: PUSH1 0x33 00001717: PUSH1 0x20 00001719: MSTORE 0000171a: PUSH1 0x40 0000171c: DUP2 0000171d: KECCAK256 0000171e: DUP4 0000171f: DUP4 00001720: SUB 00001721: SWAP1 00001722: SSTORE 00001723: PUSH1 0x35 00001725: DUP1 00001726: SLOAD 00001727: DUP5 00001728: SWAP3 00001729: SWAP1 0000172a: PUSH2 0x1734 0000172d: SWAP1 0000172e: DUP5 0000172f: SWAP1 00001730: PUSH2 0x20eb 00001733: JUMP 00001734: JUMPDEST 00001735: SWAP1 00001736: SWAP2 00001737: SSTORE 00001738: POP 00001739: POP 0000173a: PUSH1 0x40 0000173c: MLOAD 0000173d: DUP3 0000173e: DUP2 0000173f: MSTORE 00001740: PUSH1 0x00 00001742: SWAP1 00001743: PUSH1 0x01 00001745: PUSH1 0x01 00001747: PUSH1 0xa0 00001749: SHL 0000174a: SUB 0000174b: DUP6 0000174c: AND 0000174d: SWAP1 0000174e: PUSH1 0x00 00001750: DUP1 00001751: MLOAD 00001752: PUSH1 0x20 00001754: PUSH2 0x2192 00001757: DUP4 00001758: CODECOPY 00001759: DUP2 0000175a: MLOAD 0000175b: SWAP2 0000175c: MSTORE 0000175d: SWAP1 0000175e: PUSH1 0x20 00001760: ADD 00001761: PUSH1 0x40 00001763: MLOAD 00001764: DUP1 00001765: SWAP2 00001766: SUB 00001767: SWAP1 00001768: LOG3 00001769: POP 0000176a: POP 0000176b: POP 0000176c: JUMP 0000176d: JUMPDEST 0000176e: PUSH1 0x00 00001770: PUSH2 0x1778 00001773: DUP5 00001774: PUSH2 0x0e62 00001777: JUMP 00001778: JUMPDEST 00001779: SWAP1 0000177a: POP 0000177b: PUSH1 0x00 0000177d: PUSH2 0x1785 00001780: DUP5 00001781: PUSH2 0x0e62 00001784: JUMP 00001785: JUMPDEST 00001786: SWAP1 00001787: POP 00001788: PUSH2 0x1792 0000178b: DUP6 0000178c: DUP6 0000178d: DUP6 0000178e: PUSH2 0x1946 00001791: JUMP 00001792: JUMPDEST 00001793: PUSH1 0x00 00001795: PUSH2 0x179c 00001798: PUSH2 0x11b0 0000179b: JUMP 0000179c: JUMPDEST 0000179d: PUSH1 0x01 0000179f: PUSH1 0x01 000017a1: PUSH1 0xa0 000017a3: SHL 000017a4: SUB 000017a5: AND 000017a6: EQ 000017a7: PUSH2 0x18b9 000017aa: JUMPI 000017ab: PUSH1 0x00 000017ad: PUSH2 0x17b5 000017b0: PUSH1 0x35 000017b2: SLOAD 000017b3: SWAP1 000017b4: JUMP 000017b5: JUMPDEST 000017b6: SWAP1 000017b7: POP 000017b8: PUSH2 0x17bf 000017bb: PUSH2 0x11b0 000017be: JUMP 000017bf: JUMPDEST 000017c0: PUSH1 0x40 000017c2: MLOAD 000017c3: PUSH4 0x18c39f17 000017c8: PUSH1 0xe1 000017ca: SHL 000017cb: DUP2 000017cc: MSTORE 000017cd: PUSH1 0x01 000017cf: PUSH1 0x01 000017d1: PUSH1 0xa0 000017d3: SHL 000017d4: SUB 000017d5: DUP9 000017d6: DUP2 000017d7: AND 000017d8: PUSH1 0x04 000017da: DUP4 000017db: ADD 000017dc: MSTORE 000017dd: PUSH1 0x24 000017df: DUP3 000017e0: ADD 000017e1: DUP5 000017e2: SWAP1 000017e3: MSTORE 000017e4: PUSH1 0x44 000017e6: DUP3 000017e7: ADD 000017e8: DUP7 000017e9: SWAP1 000017ea: MSTORE 000017eb: SWAP2 000017ec: SWAP1 000017ed: SWAP2 000017ee: AND 000017ef: SWAP1 000017f0: PUSH4 0x31873e2e 000017f5: SWAP1 000017f6: PUSH1 0x64 000017f8: ADD 000017f9: PUSH1 0x00 000017fb: PUSH1 0x40 000017fd: MLOAD 000017fe: DUP1 000017ff: DUP4 00001800: SUB 00001801: DUP2 00001802: PUSH1 0x00 00001804: DUP8 00001805: DUP1 00001806: EXTCODESIZE 00001807: ISZERO 00001808: DUP1 00001809: ISZERO 0000180a: PUSH2 0x1812 0000180d: JUMPI 0000180e: PUSH1 0x00 00001810: DUP1 00001811: REVERT 00001812: JUMPDEST 00001813: POP 00001814: GAS 00001815: CALL 00001816: ISZERO 00001817: DUP1 00001818: ISZERO 00001819: PUSH2 0x1826 0000181c: JUMPI 0000181d: RETURNDATASIZE 0000181e: PUSH1 0x00 00001820: DUP1 00001821: RETURNDATACOPY 00001822: RETURNDATASIZE 00001823: PUSH1 0x00 00001825: REVERT 00001826: JUMPDEST 00001827: POP 00001828: POP 00001829: POP 0000182a: POP 0000182b: DUP5 0000182c: PUSH1 0x01 0000182e: PUSH1 0x01 00001830: PUSH1 0xa0 00001832: SHL 00001833: SUB 00001834: AND 00001835: DUP7 00001836: PUSH1 0x01 00001838: PUSH1 0x01 0000183a: PUSH1 0xa0 0000183c: SHL 0000183d: SUB 0000183e: AND 0000183f: EQ 00001840: PUSH2 0x18b7 00001843: JUMPI 00001844: PUSH2 0x184b 00001847: PUSH2 0x11b0 0000184a: JUMP 0000184b: JUMPDEST 0000184c: PUSH1 0x40 0000184e: MLOAD 0000184f: PUSH4 0x18c39f17 00001854: PUSH1 0xe1 00001856: SHL 00001857: DUP2 00001858: MSTORE 00001859: PUSH1 0x01 0000185b: PUSH1 0x01 0000185d: PUSH1 0xa0 0000185f: SHL 00001860: SUB 00001861: DUP8 00001862: DUP2 00001863: AND 00001864: PUSH1 0x04 00001866: DUP4 00001867: ADD 00001868: MSTORE 00001869: PUSH1 0x24 0000186b: DUP3 0000186c: ADD 0000186d: DUP5 0000186e: SWAP1 0000186f: MSTORE 00001870: PUSH1 0x44 00001872: DUP3 00001873: ADD 00001874: DUP6 00001875: SWAP1 00001876: MSTORE 00001877: SWAP2 00001878: SWAP1 00001879: SWAP2 0000187a: AND 0000187b: SWAP1 0000187c: PUSH4 0x31873e2e 00001881: SWAP1 00001882: PUSH1 0x64 00001884: ADD 00001885: PUSH1 0x00 00001887: PUSH1 0x40 00001889: MLOAD 0000188a: DUP1 0000188b: DUP4 0000188c: SUB 0000188d: DUP2 0000188e: PUSH1 0x00 00001890: DUP8 00001891: DUP1 00001892: EXTCODESIZE 00001893: ISZERO 00001894: DUP1 00001895: ISZERO 00001896: PUSH2 0x189e 00001899: JUMPI 0000189a: PUSH1 0x00 0000189c: DUP1 0000189d: REVERT 0000189e: JUMPDEST 0000189f: POP 000018a0: GAS 000018a1: CALL 000018a2: ISZERO 000018a3: DUP1 000018a4: ISZERO 000018a5: PUSH2 0x18b2 000018a8: JUMPI 000018a9: RETURNDATASIZE 000018aa: PUSH1 0x00 000018ac: DUP1 000018ad: RETURNDATACOPY 000018ae: RETURNDATASIZE 000018af: PUSH1 0x00 000018b1: REVERT 000018b2: JUMPDEST 000018b3: POP 000018b4: POP 000018b5: POP 000018b6: POP 000018b7: JUMPDEST 000018b8: POP 000018b9: JUMPDEST 000018ba: POP 000018bb: POP 000018bc: POP 000018bd: POP 000018be: POP 000018bf: JUMP 000018c0: JUMPDEST 000018c1: PUSH1 0x60 000018c3: PUSH2 0x0fd2 000018c6: DUP5 000018c7: DUP5 000018c8: PUSH1 0x00 000018ca: DUP6 000018cb: PUSH2 0x1b02 000018ce: JUMP 000018cf: JUMPDEST 000018d0: PUSH1 0x00 000018d2: SLOAD 000018d3: PUSH2 0x0100 000018d6: SWAP1 000018d7: DIV 000018d8: PUSH1 0xff 000018da: AND 000018db: PUSH2 0x18f6 000018de: JUMPI 000018df: PUSH1 0x40 000018e1: MLOAD 000018e2: PUSH3 0x461bcd 000018e6: PUSH1 0xe5 000018e8: SHL 000018e9: DUP2 000018ea: MSTORE 000018eb: PUSH1 0x04 000018ed: ADD 000018ee: PUSH2 0x0465 000018f1: SWAP1 000018f2: PUSH2 0x2049 000018f5: JUMP 000018f6: JUMPDEST 000018f7: JUMP 000018f8: JUMPDEST 000018f9: PUSH1 0x00 000018fb: SLOAD 000018fc: PUSH2 0x0100 000018ff: SWAP1 00001900: DIV 00001901: PUSH1 0xff 00001903: AND 00001904: PUSH2 0x191f 00001907: JUMPI 00001908: PUSH1 0x40 0000190a: MLOAD 0000190b: PUSH3 0x461bcd 0000190f: PUSH1 0xe5 00001911: SHL 00001912: DUP2 00001913: MSTORE 00001914: PUSH1 0x04 00001916: ADD 00001917: PUSH2 0x0465 0000191a: SWAP1 0000191b: PUSH2 0x2049 0000191e: JUMP 0000191f: JUMPDEST 00001920: DUP2 00001921: MLOAD 00001922: PUSH2 0x1932 00001925: SWAP1 00001926: PUSH1 0x36 00001928: SWAP1 00001929: PUSH1 0x20 0000192b: DUP6 0000192c: ADD 0000192d: SWAP1 0000192e: PUSH2 0x1c63 00001931: JUMP 00001932: JUMPDEST 00001933: POP 00001934: DUP1 00001935: MLOAD 00001936: PUSH2 0x1159 00001939: SWAP1 0000193a: PUSH1 0x37 0000193c: SWAP1 0000193d: PUSH1 0x20 0000193f: DUP5 00001940: ADD 00001941: SWAP1 00001942: PUSH2 0x1c63 00001945: JUMP 00001946: JUMPDEST 00001947: PUSH1 0x01 00001949: PUSH1 0x01 0000194b: PUSH1 0xa0 0000194d: SHL 0000194e: SUB 0000194f: DUP4 00001950: AND 00001951: PUSH2 0x19aa 00001954: JUMPI 00001955: PUSH1 0x40 00001957: MLOAD 00001958: PUSH3 0x461bcd 0000195c: PUSH1 0xe5 0000195e: SHL 0000195f: DUP2 00001960: MSTORE 00001961: PUSH1 0x20 00001963: PUSH1 0x04 00001965: DUP3 00001966: ADD 00001967: MSTORE 00001968: PUSH1 0x25 0000196a: PUSH1 0x24 0000196c: DUP3 0000196d: ADD 0000196e: MSTORE 0000196f: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164 00001990: PUSH1 0x44 00001992: DUP3 00001993: ADD 00001994: MSTORE 00001995: PUSH5 0x6472657373 0000199b: PUSH1 0xd8 0000199d: SHL 0000199e: PUSH1 0x64 000019a0: DUP3 000019a1: ADD 000019a2: MSTORE 000019a3: PUSH1 0x84 000019a5: ADD 000019a6: PUSH2 0x0465 000019a9: JUMP 000019aa: JUMPDEST 000019ab: PUSH1 0x01 000019ad: PUSH1 0x01 000019af: PUSH1 0xa0 000019b1: SHL 000019b2: SUB 000019b3: DUP3 000019b4: AND 000019b5: PUSH2 0x1a0c 000019b8: JUMPI 000019b9: PUSH1 0x40 000019bb: MLOAD 000019bc: PUSH3 0x461bcd 000019c0: PUSH1 0xe5 000019c2: SHL 000019c3: DUP2 000019c4: MSTORE 000019c5: PUSH1 0x20 000019c7: PUSH1 0x04 000019c9: DUP3 000019ca: ADD 000019cb: MSTORE 000019cc: PUSH1 0x23 000019ce: PUSH1 0x24 000019d0: DUP3 000019d1: ADD 000019d2: MSTORE 000019d3: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472 000019f4: PUSH1 0x44 000019f6: DUP3 000019f7: ADD 000019f8: MSTORE 000019f9: PUSH3 0x657373 000019fd: PUSH1 0xe8 000019ff: SHL 00001a00: PUSH1 0x64 00001a02: DUP3 00001a03: ADD 00001a04: MSTORE 00001a05: PUSH1 0x84 00001a07: ADD 00001a08: PUSH2 0x0465 00001a0b: JUMP 00001a0c: JUMPDEST 00001a0d: PUSH1 0x01 00001a0f: PUSH1 0x01 00001a11: PUSH1 0xa0 00001a13: SHL 00001a14: SUB 00001a15: DUP4 00001a16: AND 00001a17: PUSH1 0x00 00001a19: SWAP1 00001a1a: DUP2 00001a1b: MSTORE 00001a1c: PUSH1 0x33 00001a1e: PUSH1 0x20 00001a20: MSTORE 00001a21: PUSH1 0x40 00001a23: SWAP1 00001a24: KECCAK256 00001a25: SLOAD 00001a26: DUP2 00001a27: DUP2 00001a28: LT 00001a29: ISZERO 00001a2a: PUSH2 0x1a84 00001a2d: JUMPI 00001a2e: PUSH1 0x40 00001a30: MLOAD 00001a31: PUSH3 0x461bcd 00001a35: PUSH1 0xe5 00001a37: SHL 00001a38: DUP2 00001a39: MSTORE 00001a3a: PUSH1 0x20 00001a3c: PUSH1 0x04 00001a3e: DUP3 00001a3f: ADD 00001a40: MSTORE 00001a41: PUSH1 0x26 00001a43: PUSH1 0x24 00001a45: DUP3 00001a46: ADD 00001a47: MSTORE 00001a48: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732062 00001a69: PUSH1 0x44 00001a6b: DUP3 00001a6c: ADD 00001a6d: MSTORE 00001a6e: PUSH6 0x616c616e6365 00001a75: PUSH1 0xd0 00001a77: SHL 00001a78: PUSH1 0x64 00001a7a: DUP3 00001a7b: ADD 00001a7c: MSTORE 00001a7d: PUSH1 0x84 00001a7f: ADD 00001a80: PUSH2 0x0465 00001a83: JUMP 00001a84: JUMPDEST 00001a85: PUSH1 0x01 00001a87: PUSH1 0x01 00001a89: PUSH1 0xa0 00001a8b: SHL 00001a8c: SUB 00001a8d: DUP1 00001a8e: DUP6 00001a8f: AND 00001a90: PUSH1 0x00 00001a92: SWAP1 00001a93: DUP2 00001a94: MSTORE 00001a95: PUSH1 0x33 00001a97: PUSH1 0x20 00001a99: MSTORE 00001a9a: PUSH1 0x40 00001a9c: DUP1 00001a9d: DUP3 00001a9e: KECCAK256 00001a9f: DUP6 00001aa0: DUP6 00001aa1: SUB 00001aa2: SWAP1 00001aa3: SSTORE 00001aa4: SWAP2 00001aa5: DUP6 00001aa6: AND 00001aa7: DUP2 00001aa8: MSTORE 00001aa9: SWAP1 00001aaa: DUP2 00001aab: KECCAK256 00001aac: DUP1 00001aad: SLOAD 00001aae: DUP5 00001aaf: SWAP3 00001ab0: SWAP1 00001ab1: PUSH2 0x1abb 00001ab4: SWAP1 00001ab5: DUP5 00001ab6: SWAP1 00001ab7: PUSH2 0x2094 00001aba: JUMP 00001abb: JUMPDEST 00001abc: SWAP3 00001abd: POP 00001abe: POP 00001abf: DUP2 00001ac0: SWAP1 00001ac1: SSTORE 00001ac2: POP 00001ac3: DUP3 00001ac4: PUSH1 0x01 00001ac6: PUSH1 0x01 00001ac8: PUSH1 0xa0 00001aca: SHL 00001acb: SUB 00001acc: AND 00001acd: DUP5 00001ace: PUSH1 0x01 00001ad0: PUSH1 0x01 00001ad2: PUSH1 0xa0 00001ad4: SHL 00001ad5: SUB 00001ad6: AND 00001ad7: PUSH1 0x00 00001ad9: DUP1 00001ada: MLOAD 00001adb: PUSH1 0x20 00001add: PUSH2 0x2192 00001ae0: DUP4 00001ae1: CODECOPY 00001ae2: DUP2 00001ae3: MLOAD 00001ae4: SWAP2 00001ae5: MSTORE 00001ae6: DUP5 00001ae7: PUSH1 0x40 00001ae9: MLOAD 00001aea: PUSH2 0x1af5 00001aed: SWAP2 00001aee: DUP2 00001aef: MSTORE 00001af0: PUSH1 0x20 00001af2: ADD 00001af3: SWAP1 00001af4: JUMP 00001af5: JUMPDEST 00001af6: PUSH1 0x40 00001af8: MLOAD 00001af9: DUP1 00001afa: SWAP2 00001afb: SUB 00001afc: SWAP1 00001afd: LOG3 00001afe: PUSH2 0x108a 00001b01: JUMP 00001b02: JUMPDEST 00001b03: PUSH1 0x60 00001b05: DUP3 00001b06: SELFBALANCE 00001b07: LT 00001b08: ISZERO 00001b09: PUSH2 0x1b63 00001b0c: JUMPI 00001b0d: PUSH1 0x40 00001b0f: MLOAD 00001b10: PUSH3 0x461bcd 00001b14: PUSH1 0xe5 00001b16: SHL 00001b17: DUP2 00001b18: MSTORE 00001b19: PUSH1 0x20 00001b1b: PUSH1 0x04 00001b1d: DUP3 00001b1e: ADD 00001b1f: MSTORE 00001b20: PUSH1 0x26 00001b22: PUSH1 0x24 00001b24: DUP3 00001b25: ADD 00001b26: MSTORE 00001b27: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f 00001b48: PUSH1 0x44 00001b4a: DUP3 00001b4b: ADD 00001b4c: MSTORE 00001b4d: PUSH6 0x1c8818d85b1b 00001b54: PUSH1 0xd2 00001b56: SHL 00001b57: PUSH1 0x64 00001b59: DUP3 00001b5a: ADD 00001b5b: MSTORE 00001b5c: PUSH1 0x84 00001b5e: ADD 00001b5f: PUSH2 0x0465 00001b62: JUMP 00001b63: JUMPDEST 00001b64: DUP5 00001b65: EXTCODESIZE 00001b66: PUSH2 0x1bb1 00001b69: JUMPI 00001b6a: PUSH1 0x40 00001b6c: MLOAD 00001b6d: PUSH3 0x461bcd 00001b71: PUSH1 0xe5 00001b73: SHL 00001b74: DUP2 00001b75: MSTORE 00001b76: PUSH1 0x20 00001b78: PUSH1 0x04 00001b7a: DUP3 00001b7b: ADD 00001b7c: MSTORE 00001b7d: PUSH1 0x1d 00001b7f: PUSH1 0x24 00001b81: DUP3 00001b82: ADD 00001b83: MSTORE 00001b84: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00001ba5: PUSH1 0x44 00001ba7: DUP3 00001ba8: ADD 00001ba9: MSTORE 00001baa: PUSH1 0x64 00001bac: ADD 00001bad: PUSH2 0x0465 00001bb0: JUMP 00001bb1: JUMPDEST 00001bb2: PUSH1 0x00 00001bb4: DUP1 00001bb5: DUP7 00001bb6: PUSH1 0x01 00001bb8: PUSH1 0x01 00001bba: PUSH1 0xa0 00001bbc: SHL 00001bbd: SUB 00001bbe: AND 00001bbf: DUP6 00001bc0: DUP8 00001bc1: PUSH1 0x40 00001bc3: MLOAD 00001bc4: PUSH2 0x1bcd 00001bc7: SWAP2 00001bc8: SWAP1 00001bc9: PUSH2 0x1fac 00001bcc: JUMP 00001bcd: JUMPDEST 00001bce: PUSH1 0x00 00001bd0: PUSH1 0x40 00001bd2: MLOAD 00001bd3: DUP1 00001bd4: DUP4 00001bd5: SUB 00001bd6: DUP2 00001bd7: DUP6 00001bd8: DUP8 00001bd9: GAS 00001bda: CALL 00001bdb: SWAP3 00001bdc: POP 00001bdd: POP 00001bde: POP 00001bdf: RETURNDATASIZE 00001be0: DUP1 00001be1: PUSH1 0x00 00001be3: DUP2 00001be4: EQ 00001be5: PUSH2 0x1c0a 00001be8: JUMPI 00001be9: PUSH1 0x40 00001beb: MLOAD 00001bec: SWAP2 00001bed: POP 00001bee: PUSH1 0x1f 00001bf0: NOT 00001bf1: PUSH1 0x3f 00001bf3: RETURNDATASIZE 00001bf4: ADD 00001bf5: AND 00001bf6: DUP3 00001bf7: ADD 00001bf8: PUSH1 0x40 00001bfa: MSTORE 00001bfb: RETURNDATASIZE 00001bfc: DUP3 00001bfd: MSTORE 00001bfe: RETURNDATASIZE 00001bff: PUSH1 0x00 00001c01: PUSH1 0x20 00001c03: DUP5 00001c04: ADD 00001c05: RETURNDATACOPY 00001c06: PUSH2 0x1c0f 00001c09: JUMP 00001c0a: JUMPDEST 00001c0b: PUSH1 0x60 00001c0d: SWAP2 00001c0e: POP 00001c0f: JUMPDEST 00001c10: POP 00001c11: SWAP2 00001c12: POP 00001c13: SWAP2 00001c14: POP 00001c15: PUSH2 0x1c1f 00001c18: DUP3 00001c19: DUP3 00001c1a: DUP7 00001c1b: PUSH2 0x1c2a 00001c1e: JUMP 00001c1f: JUMPDEST 00001c20: SWAP8 00001c21: SWAP7 00001c22: POP 00001c23: POP 00001c24: POP 00001c25: POP 00001c26: POP 00001c27: POP 00001c28: POP 00001c29: JUMP 00001c2a: JUMPDEST 00001c2b: PUSH1 0x60 00001c2d: DUP4 00001c2e: ISZERO 00001c2f: PUSH2 0x1c39 00001c32: JUMPI 00001c33: POP 00001c34: DUP2 00001c35: PUSH2 0x0517 00001c38: JUMP 00001c39: JUMPDEST 00001c3a: DUP3 00001c3b: MLOAD 00001c3c: ISZERO 00001c3d: PUSH2 0x1c49 00001c40: JUMPI 00001c41: DUP3 00001c42: MLOAD 00001c43: DUP1 00001c44: DUP5 00001c45: PUSH1 0x20 00001c47: ADD 00001c48: REVERT 00001c49: JUMPDEST 00001c4a: DUP2 00001c4b: PUSH1 0x40 00001c4d: MLOAD 00001c4e: PUSH3 0x461bcd 00001c52: PUSH1 0xe5 00001c54: SHL 00001c55: DUP2 00001c56: MSTORE 00001c57: PUSH1 0x04 00001c59: ADD 00001c5a: PUSH2 0x0465 00001c5d: SWAP2 00001c5e: SWAP1 00001c5f: PUSH2 0x1fc8 00001c62: JUMP 00001c63: JUMPDEST 00001c64: DUP3 00001c65: DUP1 00001c66: SLOAD 00001c67: PUSH2 0x1c6f 00001c6a: SWAP1 00001c6b: PUSH2 0x212e 00001c6e: JUMP 00001c6f: JUMPDEST 00001c70: SWAP1 00001c71: PUSH1 0x00 00001c73: MSTORE 00001c74: PUSH1 0x20 00001c76: PUSH1 0x00 00001c78: KECCAK256 00001c79: SWAP1 00001c7a: PUSH1 0x1f 00001c7c: ADD 00001c7d: PUSH1 0x20 00001c7f: SWAP1 00001c80: DIV 00001c81: DUP2 00001c82: ADD 00001c83: SWAP3 00001c84: DUP3 00001c85: PUSH2 0x1c91 00001c88: JUMPI 00001c89: PUSH1 0x00 00001c8b: DUP6 00001c8c: SSTORE 00001c8d: PUSH2 0x1cd7 00001c90: JUMP 00001c91: JUMPDEST 00001c92: DUP3 00001c93: PUSH1 0x1f 00001c95: LT 00001c96: PUSH2 0x1caa 00001c99: JUMPI 00001c9a: DUP1 00001c9b: MLOAD 00001c9c: PUSH1 0xff 00001c9e: NOT 00001c9f: AND 00001ca0: DUP4 00001ca1: DUP1 00001ca2: ADD 00001ca3: OR 00001ca4: DUP6 00001ca5: SSTORE 00001ca6: PUSH2 0x1cd7 00001ca9: JUMP 00001caa: JUMPDEST 00001cab: DUP3 00001cac: DUP1 00001cad: ADD 00001cae: PUSH1 0x01 00001cb0: ADD 00001cb1: DUP6 00001cb2: SSTORE 00001cb3: DUP3 00001cb4: ISZERO 00001cb5: PUSH2 0x1cd7 00001cb8: JUMPI 00001cb9: SWAP2 00001cba: DUP3 00001cbb: ADD 00001cbc: JUMPDEST 00001cbd: DUP3 00001cbe: DUP2 00001cbf: GT 00001cc0: ISZERO 00001cc1: PUSH2 0x1cd7 00001cc4: JUMPI 00001cc5: DUP3 00001cc6: MLOAD 00001cc7: DUP3 00001cc8: SSTORE 00001cc9: SWAP2 00001cca: PUSH1 0x20 00001ccc: ADD 00001ccd: SWAP2 00001cce: SWAP1 00001ccf: PUSH1 0x01 00001cd1: ADD 00001cd2: SWAP1 00001cd3: PUSH2 0x1cbc 00001cd6: JUMP 00001cd7: JUMPDEST 00001cd8: POP 00001cd9: PUSH2 0x1ce3 00001cdc: SWAP3 00001cdd: SWAP2 00001cde: POP 00001cdf: PUSH2 0x1ce7 00001ce2: JUMP 00001ce3: JUMPDEST 00001ce4: POP 00001ce5: SWAP1 00001ce6: JUMP 00001ce7: JUMPDEST 00001ce8: JUMPDEST 00001ce9: DUP1 00001cea: DUP3 00001ceb: GT 00001cec: ISZERO 00001ced: PUSH2 0x1ce3 00001cf0: JUMPI 00001cf1: PUSH1 0x00 00001cf3: DUP2 00001cf4: SSTORE 00001cf5: PUSH1 0x01 00001cf7: ADD 00001cf8: PUSH2 0x1ce8 00001cfb: JUMP 00001cfc: JUMPDEST 00001cfd: PUSH1 0x00 00001cff: DUP1 00001d00: DUP4 00001d01: PUSH1 0x1f 00001d03: DUP5 00001d04: ADD 00001d05: SLT 00001d06: PUSH2 0x1d0d 00001d09: JUMPI 00001d0a: DUP2 00001d0b: DUP3 00001d0c: REVERT 00001d0d: JUMPDEST 00001d0e: POP 00001d0f: DUP2 00001d10: CALLDATALOAD 00001d11: PUSH8 0xffffffffffffffff 00001d1a: DUP2 00001d1b: GT 00001d1c: ISZERO 00001d1d: PUSH2 0x1d24 00001d20: JUMPI 00001d21: DUP2 00001d22: DUP3 00001d23: REVERT 00001d24: JUMPDEST 00001d25: PUSH1 0x20 00001d27: DUP4 00001d28: ADD 00001d29: SWAP2 00001d2a: POP 00001d2b: DUP4 00001d2c: PUSH1 0x20 00001d2e: DUP3 00001d2f: DUP6 00001d30: ADD 00001d31: ADD 00001d32: GT 00001d33: ISZERO 00001d34: PUSH2 0x1d3c 00001d37: JUMPI 00001d38: PUSH1 0x00 00001d3a: DUP1 00001d3b: REVERT 00001d3c: JUMPDEST 00001d3d: SWAP3 00001d3e: POP 00001d3f: SWAP3 00001d40: SWAP1 00001d41: POP 00001d42: JUMP 00001d43: JUMPDEST 00001d44: PUSH1 0x00 00001d46: PUSH1 0x20 00001d48: DUP3 00001d49: DUP5 00001d4a: SUB 00001d4b: SLT 00001d4c: ISZERO 00001d4d: PUSH2 0x1d54 00001d50: JUMPI 00001d51: DUP1 00001d52: DUP2 00001d53: REVERT 00001d54: JUMPDEST 00001d55: DUP2 00001d56: CALLDATALOAD 00001d57: PUSH2 0x0517 00001d5a: DUP2 00001d5b: PUSH2 0x2179 00001d5e: JUMP 00001d5f: JUMPDEST 00001d60: PUSH1 0x00 00001d62: PUSH1 0x20 00001d64: DUP3 00001d65: DUP5 00001d66: SUB 00001d67: SLT 00001d68: ISZERO 00001d69: PUSH2 0x1d70 00001d6c: JUMPI 00001d6d: DUP1 00001d6e: DUP2 00001d6f: REVERT 00001d70: JUMPDEST 00001d71: DUP2 00001d72: MLOAD 00001d73: PUSH2 0x0517 00001d76: DUP2 00001d77: PUSH2 0x2179 00001d7a: JUMP 00001d7b: JUMPDEST 00001d7c: PUSH1 0x00 00001d7e: DUP1 00001d7f: PUSH1 0x40 00001d81: DUP4 00001d82: DUP6 00001d83: SUB 00001d84: SLT 00001d85: ISZERO 00001d86: PUSH2 0x1d8d 00001d89: JUMPI 00001d8a: DUP1 00001d8b: DUP2 00001d8c: REVERT 00001d8d: JUMPDEST 00001d8e: DUP3 00001d8f: CALLDATALOAD 00001d90: PUSH2 0x1d98 00001d93: DUP2 00001d94: PUSH2 0x2179 00001d97: JUMP 00001d98: JUMPDEST 00001d99: SWAP2 00001d9a: POP 00001d9b: PUSH1 0x20 00001d9d: DUP4 00001d9e: ADD 00001d9f: CALLDATALOAD 00001da0: PUSH2 0x1da8 00001da3: DUP2 00001da4: PUSH2 0x2179 00001da7: JUMP 00001da8: JUMPDEST 00001da9: DUP1 00001daa: SWAP2 00001dab: POP 00001dac: POP 00001dad: SWAP3 00001dae: POP 00001daf: SWAP3 00001db0: SWAP1 00001db1: POP 00001db2: JUMP 00001db3: JUMPDEST 00001db4: PUSH1 0x00 00001db6: DUP1 00001db7: PUSH1 0x00 00001db9: PUSH1 0x60 00001dbb: DUP5 00001dbc: DUP7 00001dbd: SUB 00001dbe: SLT 00001dbf: ISZERO 00001dc0: PUSH2 0x1dc7 00001dc3: JUMPI 00001dc4: DUP1 00001dc5: DUP2 00001dc6: REVERT 00001dc7: JUMPDEST 00001dc8: DUP4 00001dc9: CALLDATALOAD 00001dca: PUSH2 0x1dd2 00001dcd: DUP2 00001dce: PUSH2 0x2179 00001dd1: JUMP 00001dd2: JUMPDEST 00001dd3: SWAP3 00001dd4: POP 00001dd5: PUSH1 0x20 00001dd7: DUP5 00001dd8: ADD 00001dd9: CALLDATALOAD 00001dda: PUSH2 0x1de2 00001ddd: DUP2 00001dde: PUSH2 0x2179 00001de1: JUMP 00001de2: JUMPDEST 00001de3: SWAP3 00001de4: SWAP6 00001de5: SWAP3 00001de6: SWAP5 00001de7: POP 00001de8: POP 00001de9: POP 00001dea: PUSH1 0x40 00001dec: SWAP2 00001ded: SWAP1 00001dee: SWAP2 00001def: ADD 00001df0: CALLDATALOAD 00001df1: SWAP1 00001df2: JUMP 00001df3: JUMPDEST 00001df4: PUSH1 0x00 00001df6: DUP1 00001df7: PUSH1 0x00 00001df9: DUP1 00001dfa: PUSH1 0x80 00001dfc: DUP6 00001dfd: DUP8 00001dfe: SUB 00001dff: SLT 00001e00: ISZERO 00001e01: PUSH2 0x1e08 00001e04: JUMPI 00001e05: DUP1 00001e06: DUP2 00001e07: REVERT 00001e08: JUMPDEST 00001e09: DUP5 00001e0a: CALLDATALOAD 00001e0b: PUSH2 0x1e13 00001e0e: DUP2 00001e0f: PUSH2 0x2179 00001e12: JUMP 00001e13: JUMPDEST 00001e14: SWAP4 00001e15: POP 00001e16: PUSH1 0x20 00001e18: DUP6 00001e19: ADD 00001e1a: CALLDATALOAD 00001e1b: PUSH2 0x1e23 00001e1e: DUP2 00001e1f: PUSH2 0x2179 00001e22: JUMP 00001e23: JUMPDEST 00001e24: SWAP4 00001e25: SWAP7 00001e26: SWAP4 00001e27: SWAP6 00001e28: POP 00001e29: POP 00001e2a: POP 00001e2b: POP 00001e2c: PUSH1 0x40 00001e2e: DUP3 00001e2f: ADD 00001e30: CALLDATALOAD 00001e31: SWAP2 00001e32: PUSH1 0x60 00001e34: ADD 00001e35: CALLDATALOAD 00001e36: SWAP1 00001e37: JUMP 00001e38: JUMPDEST 00001e39: PUSH1 0x00 00001e3b: DUP1 00001e3c: PUSH1 0x40 00001e3e: DUP4 00001e3f: DUP6 00001e40: SUB 00001e41: SLT 00001e42: ISZERO 00001e43: PUSH2 0x1e4a 00001e46: JUMPI 00001e47: DUP2 00001e48: DUP3 00001e49: REVERT 00001e4a: JUMPDEST 00001e4b: DUP3 00001e4c: CALLDATALOAD 00001e4d: PUSH2 0x1e55 00001e50: DUP2 00001e51: PUSH2 0x2179 00001e54: JUMP 00001e55: JUMPDEST 00001e56: SWAP5 00001e57: PUSH1 0x20 00001e59: SWAP4 00001e5a: SWAP1 00001e5b: SWAP4 00001e5c: ADD 00001e5d: CALLDATALOAD 00001e5e: SWAP4 00001e5f: POP 00001e60: POP 00001e61: POP 00001e62: JUMP 00001e63: JUMPDEST 00001e64: PUSH1 0x00 00001e66: DUP1 00001e67: PUSH1 0x00 00001e69: PUSH1 0x60 00001e6b: DUP5 00001e6c: DUP7 00001e6d: SUB 00001e6e: SLT 00001e6f: ISZERO 00001e70: PUSH2 0x1e77 00001e73: JUMPI 00001e74: DUP3 00001e75: DUP4 00001e76: REVERT 00001e77: JUMPDEST 00001e78: DUP4 00001e79: CALLDATALOAD 00001e7a: PUSH2 0x1e82 00001e7d: DUP2 00001e7e: PUSH2 0x2179 00001e81: JUMP 00001e82: JUMPDEST 00001e83: SWAP6 00001e84: PUSH1 0x20 00001e86: DUP6 00001e87: ADD 00001e88: CALLDATALOAD 00001e89: SWAP6 00001e8a: POP 00001e8b: PUSH1 0x40 00001e8d: SWAP1 00001e8e: SWAP5 00001e8f: ADD 00001e90: CALLDATALOAD 00001e91: SWAP4 00001e92: SWAP3 00001e93: POP 00001e94: POP 00001e95: POP 00001e96: JUMP 00001e97: JUMPDEST 00001e98: PUSH1 0x00 00001e9a: PUSH1 0x20 00001e9c: DUP3 00001e9d: DUP5 00001e9e: SUB 00001e9f: SLT 00001ea0: ISZERO 00001ea1: PUSH2 0x1ea8 00001ea4: JUMPI 00001ea5: DUP1 00001ea6: DUP2 00001ea7: REVERT 00001ea8: JUMPDEST 00001ea9: DUP2 00001eaa: MLOAD 00001eab: DUP1 00001eac: ISZERO 00001ead: ISZERO 00001eae: DUP2 00001eaf: EQ 00001eb0: PUSH2 0x0517 00001eb3: JUMPI 00001eb4: DUP2 00001eb5: DUP3 00001eb6: REVERT 00001eb7: JUMPDEST 00001eb8: PUSH1 0x00 00001eba: DUP1 00001ebb: PUSH1 0x00 00001ebd: DUP1 00001ebe: PUSH1 0x00 00001ec0: DUP1 00001ec1: PUSH1 0x00 00001ec3: DUP1 00001ec4: PUSH1 0xc0 00001ec6: DUP10 00001ec7: DUP12 00001ec8: SUB 00001ec9: SLT 00001eca: ISZERO 00001ecb: PUSH2 0x1ed2 00001ece: JUMPI 00001ecf: DUP4 00001ed0: DUP5 00001ed1: REVERT 00001ed2: JUMPDEST 00001ed3: DUP9 00001ed4: CALLDATALOAD 00001ed5: PUSH2 0x1edd 00001ed8: DUP2 00001ed9: PUSH2 0x2179 00001edc: JUMP 00001edd: JUMPDEST 00001ede: SWAP8 00001edf: POP 00001ee0: PUSH1 0x20 00001ee2: DUP10 00001ee3: ADD 00001ee4: CALLDATALOAD 00001ee5: PUSH2 0x1eed 00001ee8: DUP2 00001ee9: PUSH2 0x2179 00001eec: JUMP 00001eed: JUMPDEST 00001eee: SWAP7 00001eef: POP 00001ef0: PUSH1 0x40 00001ef2: DUP10 00001ef3: ADD 00001ef4: CALLDATALOAD 00001ef5: PUSH2 0x1efd 00001ef8: DUP2 00001ef9: PUSH2 0x2179 00001efc: JUMP 00001efd: JUMPDEST 00001efe: SWAP6 00001eff: POP 00001f00: PUSH1 0x60 00001f02: DUP10 00001f03: ADD 00001f04: CALLDATALOAD 00001f05: PUSH1 0xff 00001f07: DUP2 00001f08: AND 00001f09: DUP2 00001f0a: EQ 00001f0b: PUSH2 0x1f12 00001f0e: JUMPI 00001f0f: DUP5 00001f10: DUP6 00001f11: REVERT 00001f12: JUMPDEST 00001f13: SWAP5 00001f14: POP 00001f15: PUSH1 0x80 00001f17: DUP10 00001f18: ADD 00001f19: CALLDATALOAD 00001f1a: PUSH8 0xffffffffffffffff 00001f23: DUP1 00001f24: DUP3 00001f25: GT 00001f26: ISZERO 00001f27: PUSH2 0x1f2e 00001f2a: JUMPI 00001f2b: DUP6 00001f2c: DUP7 00001f2d: REVERT 00001f2e: JUMPDEST 00001f2f: PUSH2 0x1f3a 00001f32: DUP13 00001f33: DUP4 00001f34: DUP14 00001f35: ADD 00001f36: PUSH2 0x1cfc 00001f39: JUMP 00001f3a: JUMPDEST 00001f3b: SWAP1 00001f3c: SWAP7 00001f3d: POP 00001f3e: SWAP5 00001f3f: POP 00001f40: PUSH1 0xa0 00001f42: DUP12 00001f43: ADD 00001f44: CALLDATALOAD 00001f45: SWAP2 00001f46: POP 00001f47: DUP1 00001f48: DUP3 00001f49: GT 00001f4a: ISZERO 00001f4b: PUSH2 0x1f52 00001f4e: JUMPI 00001f4f: DUP4 00001f50: DUP5 00001f51: REVERT 00001f52: JUMPDEST 00001f53: POP 00001f54: PUSH2 0x1f5f 00001f57: DUP12 00001f58: DUP3 00001f59: DUP13 00001f5a: ADD 00001f5b: PUSH2 0x1cfc 00001f5e: JUMP 00001f5f: JUMPDEST 00001f60: SWAP10 00001f61: SWAP13 00001f62: SWAP9 00001f63: SWAP12 00001f64: POP 00001f65: SWAP7 00001f66: SWAP10 00001f67: POP 00001f68: SWAP5 00001f69: SWAP8 00001f6a: SWAP4 00001f6b: SWAP7 00001f6c: SWAP3 00001f6d: SWAP6 00001f6e: SWAP5 00001f6f: POP 00001f70: POP 00001f71: POP 00001f72: JUMP 00001f73: JUMPDEST 00001f74: PUSH1 0x00 00001f76: PUSH1 0x20 00001f78: DUP3 00001f79: DUP5 00001f7a: SUB 00001f7b: SLT 00001f7c: ISZERO 00001f7d: PUSH2 0x1f84 00001f80: JUMPI 00001f81: DUP1 00001f82: DUP2 00001f83: REVERT 00001f84: JUMPDEST 00001f85: POP 00001f86: MLOAD 00001f87: SWAP2 00001f88: SWAP1 00001f89: POP 00001f8a: JUMP 00001f8b: JUMPDEST 00001f8c: PUSH1 0x00 00001f8e: DUP1 00001f8f: PUSH1 0x40 00001f91: DUP4 00001f92: DUP6 00001f93: SUB 00001f94: SLT 00001f95: ISZERO 00001f96: PUSH2 0x1f9d 00001f99: JUMPI 00001f9a: DUP2 00001f9b: DUP3 00001f9c: REVERT 00001f9d: JUMPDEST 00001f9e: POP 00001f9f: POP 00001fa0: DUP1 00001fa1: CALLDATALOAD 00001fa2: SWAP3 00001fa3: PUSH1 0x20 00001fa5: SWAP1 00001fa6: SWAP2 00001fa7: ADD 00001fa8: CALLDATALOAD 00001fa9: SWAP2 00001faa: POP 00001fab: JUMP 00001fac: JUMPDEST 00001fad: PUSH1 0x00 00001faf: DUP3 00001fb0: MLOAD 00001fb1: PUSH2 0x1fbe 00001fb4: DUP2 00001fb5: DUP5 00001fb6: PUSH1 0x20 00001fb8: DUP8 00001fb9: ADD 00001fba: PUSH2 0x2102 00001fbd: JUMP 00001fbe: JUMPDEST 00001fbf: SWAP2 00001fc0: SWAP1 00001fc1: SWAP2 00001fc2: ADD 00001fc3: SWAP3 00001fc4: SWAP2 00001fc5: POP 00001fc6: POP 00001fc7: JUMP 00001fc8: JUMPDEST 00001fc9: PUSH1 0x20 00001fcb: DUP2 00001fcc: MSTORE 00001fcd: PUSH1 0x00 00001fcf: DUP3 00001fd0: MLOAD 00001fd1: DUP1 00001fd2: PUSH1 0x20 00001fd4: DUP5 00001fd5: ADD 00001fd6: MSTORE 00001fd7: PUSH2 0x1fe7 00001fda: DUP2 00001fdb: PUSH1 0x40 00001fdd: DUP6 00001fde: ADD 00001fdf: PUSH1 0x20 00001fe1: DUP8 00001fe2: ADD 00001fe3: PUSH2 0x2102 00001fe6: JUMP 00001fe7: JUMPDEST 00001fe8: PUSH1 0x1f 00001fea: ADD 00001feb: PUSH1 0x1f 00001fed: NOT 00001fee: AND 00001fef: SWAP2 00001ff0: SWAP1 00001ff1: SWAP2 00001ff2: ADD 00001ff3: PUSH1 0x40 00001ff5: ADD 00001ff6: SWAP3 00001ff7: SWAP2 00001ff8: POP 00001ff9: POP 00001ffa: JUMP 00001ffb: JUMPDEST 00001ffc: PUSH1 0x20 00001ffe: DUP1 00001fff: DUP3 00002000: MSTORE 00002001: PUSH1 0x2e 00002003: SWAP1 00002004: DUP3 00002005: ADD 00002006: MSTORE 00002007: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561 00002028: PUSH1 0x40 0000202a: DUP3 0000202b: ADD 0000202c: MSTORE 0000202d: PUSH14 0x191e481a5b9a5d1a585b1a5e9959 0000203c: PUSH1 0x92 0000203e: SHL 0000203f: PUSH1 0x60 00002041: DUP3 00002042: ADD 00002043: MSTORE 00002044: PUSH1 0x80 00002046: ADD 00002047: SWAP1 00002048: JUMP 00002049: JUMPDEST 0000204a: PUSH1 0x20 0000204c: DUP1 0000204d: DUP3 0000204e: MSTORE 0000204f: PUSH1 0x2b 00002051: SWAP1 00002052: DUP3 00002053: ADD 00002054: MSTORE 00002055: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069 00002076: PUSH1 0x40 00002078: DUP3 00002079: ADD 0000207a: MSTORE 0000207b: PUSH11 0x6e697469616c697a696e67 00002087: PUSH1 0xa8 00002089: SHL 0000208a: PUSH1 0x60 0000208c: DUP3 0000208d: ADD 0000208e: MSTORE 0000208f: PUSH1 0x80 00002091: ADD 00002092: SWAP1 00002093: JUMP 00002094: JUMPDEST 00002095: PUSH1 0x00 00002097: DUP3 00002098: NOT 00002099: DUP3 0000209a: GT 0000209b: ISZERO 0000209c: PUSH2 0x20a7 0000209f: JUMPI 000020a0: PUSH2 0x20a7 000020a3: PUSH2 0x2163 000020a6: JUMP 000020a7: JUMPDEST 000020a8: POP 000020a9: ADD 000020aa: SWAP1 000020ab: JUMP 000020ac: JUMPDEST 000020ad: PUSH1 0x00 000020af: DUP3 000020b0: PUSH2 0x20c7 000020b3: JUMPI 000020b4: PUSH4 0x4e487b71 000020b9: PUSH1 0xe0 000020bb: SHL 000020bc: DUP2 000020bd: MSTORE 000020be: PUSH1 0x12 000020c0: PUSH1 0x04 000020c2: MSTORE 000020c3: PUSH1 0x24 000020c5: DUP2 000020c6: REVERT 000020c7: JUMPDEST 000020c8: POP 000020c9: DIV 000020ca: SWAP1 000020cb: JUMP 000020cc: JUMPDEST 000020cd: PUSH1 0x00 000020cf: DUP2 000020d0: PUSH1 0x00 000020d2: NOT 000020d3: DIV 000020d4: DUP4 000020d5: GT 000020d6: DUP3 000020d7: ISZERO 000020d8: ISZERO 000020d9: AND 000020da: ISZERO 000020db: PUSH2 0x20e6 000020de: JUMPI 000020df: PUSH2 0x20e6 000020e2: PUSH2 0x2163 000020e5: JUMP 000020e6: JUMPDEST 000020e7: POP 000020e8: MUL 000020e9: SWAP1 000020ea: JUMP 000020eb: JUMPDEST 000020ec: PUSH1 0x00 000020ee: DUP3 000020ef: DUP3 000020f0: LT 000020f1: ISZERO 000020f2: PUSH2 0x20fd 000020f5: JUMPI 000020f6: PUSH2 0x20fd 000020f9: PUSH2 0x2163 000020fc: JUMP 000020fd: JUMPDEST 000020fe: POP 000020ff: SUB 00002100: SWAP1 00002101: JUMP 00002102: JUMPDEST 00002103: PUSH1 0x00 00002105: JUMPDEST 00002106: DUP4 00002107: DUP2 00002108: LT 00002109: ISZERO 0000210a: PUSH2 0x211d 0000210d: JUMPI 0000210e: DUP2 0000210f: DUP2 00002110: ADD 00002111: MLOAD 00002112: DUP4 00002113: DUP3 00002114: ADD 00002115: MSTORE 00002116: PUSH1 0x20 00002118: ADD 00002119: PUSH2 0x2105 0000211c: JUMP 0000211d: JUMPDEST 0000211e: DUP4 0000211f: DUP2 00002120: GT 00002121: ISZERO 00002122: PUSH2 0x108a 00002125: JUMPI 00002126: POP 00002127: POP 00002128: PUSH1 0x00 0000212a: SWAP2 0000212b: ADD 0000212c: MSTORE 0000212d: JUMP 0000212e: JUMPDEST 0000212f: PUSH1 0x01 00002131: DUP2 00002132: DUP2 00002133: SHR 00002134: SWAP1 00002135: DUP3 00002136: AND 00002137: DUP1 00002138: PUSH2 0x2142 0000213b: JUMPI 0000213c: PUSH1 0x7f 0000213e: DUP3 0000213f: AND 00002140: SWAP2 00002141: POP 00002142: JUMPDEST 00002143: PUSH1 0x20 00002145: DUP3 00002146: LT 00002147: DUP2 00002148: EQ 00002149: ISZERO 0000214a: PUSH2 0x0736 0000214d: JUMPI 0000214e: PUSH4 0x4e487b71 00002153: PUSH1 0xe0 00002155: SHL 00002156: PUSH1 0x00 00002158: MSTORE 00002159: PUSH1 0x22 0000215b: PUSH1 0x04 0000215d: MSTORE 0000215e: PUSH1 0x24 00002160: PUSH1 0x00 00002162: REVERT 00002163: JUMPDEST 00002164: PUSH4 0x4e487b71 00002169: PUSH1 0xe0 0000216b: SHL 0000216c: PUSH1 0x00 0000216e: MSTORE 0000216f: PUSH1 0x11 00002171: PUSH1 0x04 00002173: MSTORE 00002174: PUSH1 0x24 00002176: PUSH1 0x00 00002178: REVERT 00002179: JUMPDEST 0000217a: PUSH1 0x01 0000217c: PUSH1 0x01 0000217e: PUSH1 0xa0 00002180: SHL 00002181: SUB 00002182: DUP2 00002183: AND 00002184: DUP2 00002185: EQ 00002186: PUSH2 0x218e 00002189: JUMPI 0000218a: PUSH1 0x00 0000218c: DUP1 0000218d: REVERT 0000218e: JUMPDEST 0000218f: POP 00002190: JUMP 00002191: INVALID 00002192: UNKNOWN(0xDD) 00002193: CALLCODE 00002194: MSTORE 00002195: UNKNOWN(0xAD) 00002196: SHL 00002197: UNKNOWN(0xE2) 00002198: UNKNOWN(0xC8) 00002199: SWAP12 0000219a: PUSH10 0xc2b068fc378daa952ba7 000021a5: CALL 000021a6: PUSH4 0xc4a11628 000021ab: CREATE2 000021ac: GAS 000021ad: UNKNOWN(0x4D) 000021ae: CREATE2 000021af: UNKNOWN(0x23) 000021b0: UNKNOWN(0xB3) 000021b1: UNKNOWN(0xEF) 000021b2: LOG2 000021b3: PUSH5 0x6970667358 000021b9: UNKNOWN(0x22) 000021ba: SLT 000021bb: KECCAK256 000021bc: SAR 000021bd: EXP 000021be: PC 000021bf: MOD 000021c0: UNKNOWN(0xC6) 000021c1: RETURNDATACOPY 000021c2: DIV 000021c3: PUSH13 0x8774bd2f0d2d74b707e49a560e 000021d1: INVALID 000021d2: DUP5 000021d3: UNKNOWN(0x27) 000021d4: UNKNOWN(0x4D) 000021d5: MSTORE8 000021d6: GASLIMIT 000021d7: STATICCALL 000021d8: UNKNOWN(0x26) 000021d9: DIV 000021da: UNKNOWN(0x2F) 000021db: DELEGATECALL 000021dc: PUSH5 0x736f6c6343 000021e2: STOP 000021e3: ADDMOD 000021e4: DIV 000021e5: STOP 000021e6: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x758a78c8764dcd6924bd61a410847a542564544e30ce6d5439ae259c242320e3
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x758a78c8764dcd6924bd61a410847a542564544e30ce6d5439ae259c242320e3",
"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": "0xae167335",
"selector": "0xae167335",
"calldata_variants": [
"0xae167335",
"0xae1673350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb16a19de",
"selector": "0xb16a19de",
"calldata_variants": [
"0xb16a19de",
"0xb16a19de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb1bf962d",
"selector": "0xb1bf962d",
"calldata_variants": [
"0xb1bf962d",
"0xb1bf962d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd3b1e9a4",
"selector": "0xd3b1e9a4",
"calldata_variants": [
"0xd3b1e9a4",
"0xd3b1e9a40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd7020d0a",
"selector": "0xd7020d0a",
"calldata_variants": [
"0xd7020d0a",
"0xd7020d0a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7535d246",
"selector": "0x7535d246",
"calldata_variants": [
"0x7535d246",
"0x7535d2460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x75d26413",
"selector": "0x75d26413",
"calldata_variants": [
"0x75d26413",
"0x75d264130000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 8667,
"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 | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xf56f18665a4eec59d7bdba8772123cea04243a1e3079b28106688c1611ccc39d
call_targets:
0xd388b2a8e82df6a6c13a18ea7541df9449880954
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf56f18665a4eec59d7bdba8772123cea04243a1e3079b28106688c1611ccc39d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd388b2a8e82df6a6c13a18ea7541df9449880954"
],
"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": "0xae167335",
"selector": "0xae167335",
"calldata_variants": [
"0xae167335",
"0xae1673350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb16a19de",
"selector": "0xb16a19de",
"calldata_variants": [
"0xb16a19de",
"0xb16a19de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb1bf962d",
"selector": "0xb1bf962d",
"calldata_variants": [
"0xb1bf962d",
"0xb1bf962d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd3b1e9a4",
"selector": "0xd3b1e9a4",
"calldata_variants": [
"0xd3b1e9a4",
"0xd3b1e9a40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd7020d0a",
"selector": "0xd7020d0a",
"calldata_variants": [
"0xd7020d0a",
"0xd7020d0a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7535d246",
"selector": "0x7535d246",
"calldata_variants": [
"0x7535d246",
"0x7535d2460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x75d26413",
"selector": "0x75d26413",
"calldata_variants": [
"0x75d26413",
"0x75d264130000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4212,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6165,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6305,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": []
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xf56f18665a4eec59d7bdba8772123cea04243a1e3079b28106688c1611ccc39d
call_targets:
0xd388b2a8e82df6a6c13a18ea7541df9449880954
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf56f18665a4eec59d7bdba8772123cea04243a1e3079b28106688c1611ccc39d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd388b2a8e82df6a6c13a18ea7541df9449880954"
],
"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": "0xae167335",
"selector": "0xae167335",
"calldata_variants": [
"0xae167335",
"0xae1673350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb16a19de",
"selector": "0xb16a19de",
"calldata_variants": [
"0xb16a19de",
"0xb16a19de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb1bf962d",
"selector": "0xb1bf962d",
"calldata_variants": [
"0xb1bf962d",
"0xb1bf962d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd3b1e9a4",
"selector": "0xd3b1e9a4",
"calldata_variants": [
"0xd3b1e9a4",
"0xd3b1e9a40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd7020d0a",
"selector": "0xd7020d0a",
"calldata_variants": [
"0xd7020d0a",
"0xd7020d0a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7535d246",
"selector": "0x7535d246",
"calldata_variants": [
"0x7535d246",
"0x7535d2460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x75d26413",
"selector": "0x75d26413",
"calldata_variants": [
"0x75d26413",
"0x75d264130000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4212,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6165,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6305,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [],
"untrusted_call_count": 6
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0xa6f5c56c0017155af0424d60dc4779796a5db193006668f7937f7f94f39b83f0
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0xa6f5c56c0017155af0424d60dc4779796a5db193006668f7937f7f94f39b83f0",
"confirmed": false,
"trace_mode": "structLogs",
"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": "0xae167335",
"selector": "0xae167335",
"calldata_variants": [
"0xae167335",
"0xae1673350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb16a19de",
"selector": "0xb16a19de",
"calldata_variants": [
"0xb16a19de",
"0xb16a19de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb1bf962d",
"selector": "0xb1bf962d",
"calldata_variants": [
"0xb1bf962d",
"0xb1bf962d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd3b1e9a4",
"selector": "0xd3b1e9a4",
"calldata_variants": [
"0xd3b1e9a4",
"0xd3b1e9a40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd7020d0a",
"selector": "0xd7020d0a",
"calldata_variants": [
"0xd7020d0a",
"0xd7020d0a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7535d246",
"selector": "0x7535d246",
"calldata_variants": [
"0x7535d246",
"0x7535d2460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x75d26413",
"selector": "0x75d26413",
"calldata_variants": [
"0x75d26413",
"0x75d264130000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 2
}
|
| medium | upgradeability | cast | DELEGATECALL present | 80 | no | — |
viewevidence_json{
"notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
"delegatecall_count": 1
}
|
| low | other | cast | Contract creation opcode present | 60 | no | — |
viewevidence_json{
"notes": "runtime can deploy contracts dynamically via CREATE/CREATE2",
"create_count": 0,
"create2_count": 2
}
|
| 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": 14
}
|
| 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": 14
}
|