df0b54ea-d387-4c94-beee-4819d345c6a5
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 |
|---|---|---|---|---|
| 30428 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 93967 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 93968 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 93969 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 93970 | capability.graph | complete | 1 / 3 | 1 week ago |
| 93971 | detector.run | complete | 1 / 3 | 1 week ago |
| 93972 | 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-7mvznge1
[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: 019b687f-7bd8-77b3-8b21-78bfc59086f2
[codex:1333722] --------
[codex:1333722] user
[codex:1333722] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:1333722] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:1333722] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:1333722]
[codex:1333722] Scope rules:
[codex:1333722] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:1333722] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:1333722]
[codex:1333722] Output MUST be valid JSON matching the provided schema.
[codex:1333722] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:1333722] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:1333722]
[codex:1333722] Output constraints (IMPORTANT):
[codex:1333722] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:1333722] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:1333722] mcp startup: no servers
[codex:1333722]
[codex:1333722] thinking
[codex:1333722] **Preparing to inspect audit file**
[codex:1333722] exec
[codex:1333722] /bin/bash -lc ls in /tmp/codex-multi-7mvznge1 succeeded in 5ms:
[codex:1333722] AUDIT_BUNDLE.txt
[codex:1333722] codex-output-schema.json
[codex:1333722] contracts
[codex:1333722]
[codex:1333722] thinking
[codex:1333722] **Inspecting AUDIT_BUNDLE file**
[codex:1333722] exec
[codex:1333722] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-7mvznge1 succeeded in 6ms:
[codex:1333722] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:1333722]
[codex:1333722] ================================================================================
[codex:1333722] FILE: contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol
[codex:1333722] ================================================================================
[codex:1333722] // SPDX-License-Identifier: MIT
[codex:1333722] // OpenZeppelin Contracts v4.4.1 (proxy/utils/Initializable.sol)
[codex:1333722]
[codex:1333722] pragma solidity ^0.8.0;
[codex:1333722]
[codex:1333722] import "../../utils/AddressUpgradeable.sol";
[codex:1333722]
[codex:1333722] /**
[codex:1333722] * @dev This is a base contract to aid in writing upgradeable contracts, or any kind of contract that will be deployed
[codex:1333722] * behind a proxy. Since a proxied contract can't have a constructor, it's common to move constructor logic to an
[codex:1333722] * external initializer function, usually called `initialize`. It then becomes necessary to protect this initializer
[codex:1333722] * function so it can only be called once. The {initializer} modifier provided by this contract will have this effect.
[codex:1333722] *
[codex:1333722] * TIP: To avoid leaving the proxy in an uninitialized state, the initializer function should be called as early as
[codex:1333722] * possible by providing the encoded function call as the `_data` argument to {ERC1967Proxy-constructor}.
[codex:1333722]
[codex:1333722] thinking
[codex:1333722] **Focusing on first-party contracts in audit bundle**
[codex:1333722] exec
[codex:1333722] /bin/bash -lc 'rg -n "''^FILE: contracts/contracts" AUDIT_BUNDLE.txt' in /tmp/codex-multi-7mvznge1 succeeded in 8ms:
[codex:1333722] 906:FILE: contracts/contracts/interfaces/IBToken.sol
[codex:1333722] 1029:FILE: contracts/contracts/interfaces/IIncentivesController.sol
[codex:1333722] 1053:FILE: contracts/contracts/interfaces/ILendPool.sol
[codex:1333722] 1539:FILE: contracts/contracts/interfaces/ILendPoolAddressesProvider.sol
[codex:1333722] 1632:FILE: contracts/contracts/interfaces/ILendPoolConfigurator.sol
[codex:1333722] 1810:FILE: contracts/contracts/interfaces/IScaledBalanceToken.sol
[codex:1333722] 1840:FILE: contracts/contracts/libraries/helpers/Errors.sol
[codex:1333722] 1971:FILE: contracts/contracts/libraries/math/WadRayMath.sol
[codex:1333722] 2110:FILE: contracts/contracts/libraries/types/DataTypes.sol
[codex:1333722] 2298:FILE: contracts/contracts/protocol/BToken.sol
[codex:1333722] 2601:FILE: contracts/contracts/protocol/IncentivizedERC20.sol
[codex:1333722]
[codex:1333722]
[codex:1333722] thinking
[codex:1333722] **Analyzing BToken and IncentivizedERC20 vulnerabilities**
[codex:1333722]
[codex:1333722] I'm carefully inspecting BToken’s code for risks like reentrancy, access control flaws, and upgradeability issues. The main points include possible reentrancy through external calls like finalizeTransfer and IncentivesController.handleAction, initializer misuse causing deployment failures, and the implications of external components like LendPool’s trustworthiness. I'll consider if any of these patterns could lead to real exploits or just represent design quirks.
[codex:1333722] thinking
[codex:1333722] **Clarifying transfer mechanics and initialization risks**
[codex:1333722]
[codex:1333722] I'm untangling how BToken and IncentivizedERC20 handle scaled vs nominal balances during transfers, confirming the math and inheritance are consistent despite complexity. I also reflect on initializer exposure, which could let an attacker hijack a proxy if initialization is missed, underscoring a proxy upgradeability concern rather than a direct exploit.
[codex:1333722] exec
[codex:1333722] /bin/bash -lc 'rg -n "''^FILE:" AUDIT_BUNDLE.txt | head -n 50' in /tmp/codex-multi-7mvznge1 succeeded in 8ms:
[codex:1333722] 4:FILE: contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol
[codex:1333722] 88:FILE: contracts/@openzeppelin/contracts-upgradeable/token/ERC20/ERC20Upgradeable.sol
[codex:1333722] 455:FILE: contracts/@openzeppelin/contracts-upgradeable/token/ERC20/IERC20Upgradeable.sol
[codex:1333722] 541:FILE: contracts/@openzeppelin/contracts-upgradeable/token/ERC20/extensions/IERC20MetadataUpgradeable.sol
[codex:1333722] 573:FILE: contracts/@openzeppelin/contracts-upgradeable/token/ERC20/utils/SafeERC20Upgradeable.sol
[codex:1333722] 676:FILE: contracts/@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol
[codex:1333722] 870:FILE: contracts/@openzeppelin/contracts-upgradeable/utils/ContextUpgradeable.sol
[codex:1333722] 906:FILE: contracts/contracts/interfaces/IBToken.sol
[codex:1333722] 1029:FILE: contracts/contracts/interfaces/IIncentivesController.sol
[codex:1333722] 1053:FILE: contracts/contracts/interfaces/ILendPool.sol
[codex:1333722] 1539:FILE: contracts/contracts/interfaces/ILendPoolAddressesProvider.sol
[codex:1333722] 1632:FILE: contracts/contracts/interfaces/ILendPoolConfigurator.sol
[codex:1333722] 1810:FILE: contracts/contracts/interfaces/IScaledBalanceToken.sol
[codex:1333722] 1840:FILE: contracts/contracts/libraries/helpers/Errors.sol
[codex:1333722] 1971:FILE: contracts/contracts/libraries/math/WadRayMath.sol
[codex:1333722] 2110:FILE: contracts/contracts/libraries/types/DataTypes.sol
[codex:1333722] 2298:FILE: contracts/contracts/protocol/BToken.sol
[codex:1333722] 2601:FILE: contracts/contracts/protocol/IncentivizedERC20.sol
[codex:1333722]
[codex:1333722] thinking
[codex:1333722] **Analyzing BToken and IncentivizedERC20 vulnerabilities**
[codex:1333722] exec
[codex:1333722] /bin/bash -lc 'rg --files contracts/contracts/protocol' in /tmp/codex-multi-7mvznge1 succeeded in 9ms:
[codex:1333722] contracts/contracts/protocol/IncentivizedERC20.sol
[codex:1333722] contracts/contracts/protocol/BToken.sol
[codex:1333722]
[codex:1333722] thinking
[codex:1333722] **Inspecting IncentivizedERC20 file**
[codex:1333722] exec
[codex:1333722] /bin/bash -lc 'nl -ba contracts/contracts/protocol/IncentivizedERC20.sol' in /tmp/codex-multi-7mvznge1 succeeded in 5ms:
[codex:1333722] 1 // SPDX-License-Identifier: agpl-3.0
[codex:1333722] 2 pragma solidity 0.8.4;
[codex:1333722] 3
[codex:1333722] 4 import {IIncentivesController} from "../interfaces/IIncentivesController.sol";
[codex:1333722] 5 import {ILendPoolAddressesProvider} from "../interfaces/ILendPoolAddressesProvider.sol";
[codex:1333722] 6
[codex:1333722] 7 import {Initializable} from "@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol";
[codex:1333722] 8 import {ERC20Upgradeable} from "@openzeppelin/contracts-upgradeable/token/ERC20/ERC20Upgradeable.sol";
[codex:1333722] 9 import {IERC20Upgradeable} from "@openzeppelin/contracts-upgradeable/token/ERC20/IERC20Upgradeable.sol";
[codex:1333722] 10 import {IERC20MetadataUpgradeable} from "@openzeppelin/contracts-upgradeable/token/ERC20/extensions/IERC20MetadataUpgradeable.sol";
[codex:1333722] 11
[codex:1333722] 12 /**
[codex:1333722] 13 * @title IncentivizedERC20
[codex:1333722] 14 * @notice Add Incentivized Logic to ERC20 implementation
[codex:1333722] 15 * @author Bitty
[codex:1333722] 16 **/
[codex:1333722] 17 abstract contract IncentivizedERC20 is Initializable, IERC20MetadataUpgradeable, ERC20Upgradeable {
[codex:1333722] 18 uint8 private _customDecimals;
[codex:1333722] 19
[codex:1333722] 20 function __IncentivizedERC20_init(
[codex:1333722]
[codex:1333722] thinking
[codex:1333722] **Reviewing file with line numbers**
[codex:1333722] exec
[codex:1333722] /bin/bash -lc 'nl -ba contracts/contracts/protocol/BToken.sol' in /tmp/codex-multi-7mvznge1 succeeded in 6ms:
[codex:1333722] 1 // SPDX-License-Identifier: agpl-3.0
[codex:1333722] 2 pragma solidity 0.8.4;
[codex:1333722] 3
[codex:1333722] 4 import {ILendPoolAddressesProvider} from "../interfaces/ILendPoolAddressesProvider.sol";
[codex:1333722] 5 import {ILendPoolConfigurator} from "../interfaces/ILendPoolConfigurator.sol";
[codex:1333722] 6 import {ILendPool} from "../interfaces/ILendPool.sol";
[codex:1333722] 7 import {IBToken} from "../interfaces/IBToken.sol";
[codex:1333722] 8 import {IIncentivesController} from "../interfaces/IIncentivesController.sol";
[codex:1333722] 9 import {IncentivizedERC20} from "./IncentivizedERC20.sol";
[codex:1333722] 10 import {WadRayMath} from "../libraries/math/WadRayMath.sol";
[codex:1333722] 11 import {Errors} from "../libraries/helpers/Errors.sol";
[codex:1333722] 12
[codex:1333722] 13 import {Initializable} from "@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol";
[codex:1333722] 14 import {IERC20Upgradeable} from "@openzeppelin/contracts-upgradeable/token/ERC20/IERC20Upgradeable.sol";
[codex:1333722] 15 import {SafeERC20Upgradeable} from "@openzeppelin/contracts-upgradeable/token/ERC20/utils/SafeERC20Upgradeable.sol";
[codex:1333722] 16
[codex:1333722] 17 /**
[codex:1333722] 18 * @title ERC20 BToken
[codex:1333722] 19 * @dev Implementation of the interest bearing token for the Bitty protocol
[codex:1333722] 20 * @author Bitty
[codex:1333722]
[codex:1333722] thinking
[codex:1333722] **Identifying critical initializer misuse**
[codex:1333722] codex
[codex:1333722] {"no_findings":false,"summary":"Found 1 high-severity upgradeability issue that prevents proxy initialization.","findings":[{"severity":"high","category":"upgradeability","title":"Nested initializer misuse bricks BToken initialization","exploit_scenario":"When a proxy deployer calls `BToken.initialize`, it invokes `__IncentivizedERC20_init` which is marked `initializer`. OZ Initializable forbids calling another `initializer` while `_initializing` is true (outside a constructor), so the call reverts. This makes the proxy uninitializable, leaving `_addressProvider`, `_treasury`, and `_underlyingAsset` unset and effectively bricking all core functionality (onlyLendPool calls revert, mint/burn/underlying transfers are impossible).","recommendation":"Change `__IncentivizedERC20_init` to `onlyInitializing` (and optionally add an `__IncentivizedERC20_init_unchained`) so it can be safely called from `BToken.initialize`. Ensure the proxy is initialized in the same deployment transaction.","evidence":"`__IncentivizedERC20_init` is declared with `initializer`, and `BToken.initialize` (also `initializer`) calls it, triggering the nested-initializer revert in OZ Initializable.","locations":["contracts/contracts/protocol/IncentivizedERC20.sol:20","contracts/contracts/protocol/BToken.sol:46"]}]}
[codex:1333722] tokens used
[codex:1333722] 31,253
[codex:1333722] {"no_findings":false,"summary":"Found 1 high-severity upgradeability issue that prevents proxy initialization.","findings":[{"severity":"high","category":"upgradeability","title":"Nested initializer misuse bricks BToken initialization","exploit_scenario":"When a proxy deployer calls `BToken.initialize`, it invokes `__IncentivizedERC20_init` which is marked `initializer`. OZ Initializable forbids calling another `initializer` while `_initializing` is true (outside a constructor), so the call reverts. This makes the proxy uninitializable, leaving `_addressProvider`, `_treasury`, and `_underlyingAsset` unset and effectively bricking all core functionality (onlyLendPool calls revert, mint/burn/underlying transfers are impossible).","recommendation":"Change `__IncentivizedERC20_init` to `onlyInitializing` (and optionally add an `__IncentivizedERC20_init_unchained`) so it can be safely called from `BToken.initialize`. Ensure the proxy is initialized in the same deployment transaction.","evidence":"`__IncentivizedERC20_init` is declared with `initializer`, and `BToken.initialize` (also `initializer`) calls it, triggering the nested-initializer revert in OZ Initializable.","locations":["contracts/contracts/protocol/IncentivizedERC20.sol:20","contracts/contracts/protocol/BToken.sol:46"]}]}
{
"codex": {
"ran_at": "2025-12-29T05:09:07.667920+00:00",
"returncode": 0
},
"summary": "Found 1 high-severity upgradeability issue that prevents proxy initialization.",
"raw_final": {
"summary": "Found 1 high-severity upgradeability issue that prevents proxy initialization.",
"findings": [
{
"title": "Nested initializer misuse bricks BToken initialization",
"category": "upgradeability",
"evidence": "`__IncentivizedERC20_init` is declared with `initializer`, and `BToken.initialize` (also `initializer`) calls it, triggering the nested-initializer revert in OZ Initializable.",
"severity": "high",
"locations": [
"contracts/contracts/protocol/IncentivizedERC20.sol:20",
"contracts/contracts/protocol/BToken.sol:46"
],
"recommendation": "Change `__IncentivizedERC20_init` to `onlyInitializing` (and optionally add an `__IncentivizedERC20_init_unchained`) so it can be safely called from `BToken.initialize`. Ensure the proxy is initialized in the same deployment transaction.",
"exploit_scenario": "When a proxy deployer calls `BToken.initialize`, it invokes `__IncentivizedERC20_init` which is marked `initializer`. OZ Initializable forbids calling another `initializer` while `_initializing` is true (outside a constructor), so the call reverts. This makes the proxy uninitializable, leaving `_addressProvider`, `_treasury`, and `_underlyingAsset` unset and effectively bricking all core functionality (onlyLendPool calls revert, mint/burn/underlying transfers are impossible)."
}
],
"no_findings": false
},
"no_findings": false,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLVALUE 00000006: DUP1 00000007: ISZERO 00000008: PUSH2 0x0010 0000000b: JUMPI 0000000c: PUSH1 0x00 0000000e: DUP1 0000000f: REVERT 00000010: JUMPDEST 00000011: POP 00000012: PUSH1 0x04 00000014: CALLDATASIZE 00000015: LT 00000016: PUSH2 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 | upgradeability | codex | Nested initializer misuse bricks BToken initialization | 85 | no | — |
viewevidence_json{
"evidence": "`__IncentivizedERC20_init` is declared with `initializer`, and `BToken.initialize` (also `initializer`) calls it, triggering the nested-initializer revert in OZ Initializable.",
"locations": [
"contracts/contracts/protocol/IncentivizedERC20.sol:20",
"contracts/contracts/protocol/BToken.sol:46"
],
"recommendation": "Change `__IncentivizedERC20_init` to `onlyInitializing` (and optionally add an `__IncentivizedERC20_init_unchained`) so it can be safely called from `BToken.initialize`. Ensure the proxy is initialized in the same deployment transaction.",
"exploit_scenario": "When a proxy deployer calls `BToken.initialize`, it invokes `__IncentivizedERC20_init` which is marked `initializer`. OZ Initializable forbids calling another `initializer` while `_initializing` is true (outside a constructor), so the call reverts. This makes the proxy uninitializable, leaving `_addressProvider`, `_treasury`, and `_underlyingAsset` unset and effectively bricking all core functionality (onlyLendPool calls revert, mint/burn/underlying transfers are impossible)."
}
|
| 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
}
|
| 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": []
}
|
| 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
}
|