85c0a2a1-f2fc-4692-a9ce-841d68465508
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 |
|---|---|---|---|---|
| 31183 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 76912 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 76913 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 76914 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 76915 | capability.graph | complete | 1 / 3 | 1 week ago |
| 76916 | detector.run | complete | 1 / 3 | 1 week ago |
| 76917 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:510562] OpenAI Codex v0.77.0 (research preview)
[codex:510562] --------
[codex:510562] workdir: /tmp/codex-multi-5u5lv0qg
[codex:510562] model: gpt-5.2-codex
[codex:510562] provider: openai
[codex:510562] approval: never
[codex:510562] sandbox: read-only
[codex:510562] reasoning effort: xhigh
[codex:510562] reasoning summaries: auto
[codex:510562] session id: 019b7c72-97c0-7a91-a91e-c6d3a7f2ea94
[codex:510562] --------
[codex:510562] user
[codex:510562] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:510562]
[codex:510562] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:510562]
[codex:510562] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:510562] - Gas inefficiency, code quality, naming, or best practices
[codex:510562] - Theoretical vulnerabilities without a clear extraction path
[codex:510562] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:510562] - Front-running unless it enables theft beyond MEV
[codex:510562] - DoS, griefing, or issues that don't result in attacker profit
[codex:510562] - Missing events, view function issues, or informational findings
[codex:510562]
[codex:510562] HIGH-VALUE PATTERNS TO HUNT:
[codex:510562] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:510562] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:510562] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:510562] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:510562] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:510562] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:510562] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:510562] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:510562] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:510562]
[codex:510562] For each finding, you MUST provide:
[codex:510562] 1. Exact file and line numbers of vulnerable code
[codex:510562] 2. Step-by-step exploit transaction sequence
[codex:510562] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:510562]
[codex:510562] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:510562]
[codex:510562] Output MUST be valid JSON matching the provided schema.
[codex:510562] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:510562] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:510562] mcp startup: no servers
[codex:510562]
[codex:510562] thinking
[codex:510562] **Reading instructions from AUDIT_BUNDLE.txt**
[codex:510562] exec
[codex:510562] /bin/bash -lc ls in /tmp/codex-multi-5u5lv0qg succeeded in 6ms:
[codex:510562] AUDIT_BUNDLE.txt
[codex:510562] codex-output-schema.json
[codex:510562] contracts
[codex:510562] exec
[codex:510562] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-5u5lv0qg succeeded in 5ms:
[codex:510562] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:510562]
[codex:510562] ================================================================================
[codex:510562] FILE: contracts/src/CollectorWithCustomImpl.sol
[codex:510562] ================================================================================
[codex:510562] // SPDX-License-Identifier: MIT
[codex:510562] pragma solidity ^0.8.0;
[codex:510562]
[codex:510562] import {Collector, ICollector} from 'aave-v3-origin/contracts/treasury/Collector.sol';
[codex:510562]
[codex:510562] /**
[codex:510562] * @title Collector
[codex:510562] * Custom modifications of this implementation:
[codex:510562] * - the initialize function manually alters private storage slots via assembly
[codex:510562] * - storage slot 0 (previously revision) is reset to zero
[codex:510562] * - storage slot 51 (previously _status) is set to zero
[codex:510562] * - storage slot 52 (previously _fundsAdmin) is set to zero
[codex:510562] * @author BGD Labs
[codex:510562] *
[codex:510562] */
[codex:510562]
[codex:510562] thinking
[codex:510562] **Opening file with line numbers**
[codex:510562] exec
[codex:510562] /bin/bash -lc 'nl -ba contracts/src/CollectorWithCustomImpl.sol' in /tmp/codex-multi-5u5lv0qg succeeded in 6ms:
[codex:510562] 1 // SPDX-License-Identifier: MIT
[codex:510562] 2 pragma solidity ^0.8.0;
[codex:510562] 3
[codex:510562] 4 import {Collector, ICollector} from 'aave-v3-origin/contracts/treasury/Collector.sol';
[codex:510562] 5
[codex:510562] 6 /**
[codex:510562] 7 * @title Collector
[codex:510562] 8 * Custom modifications of this implementation:
[codex:510562] 9 * - the initialize function manually alters private storage slots via assembly
[codex:510562] 10 * - storage slot 0 (previously revision) is reset to zero
[codex:510562] 11 * - storage slot 51 (previously _status) is set to zero
[codex:510562] 12 * - storage slot 52 (previously _fundsAdmin) is set to zero
[codex:510562] 13 * @author BGD Labs
[codex:510562] 14 *
[codex:510562] 15 */
[codex:510562] 16 contract CollectorWithCustomImpl is Collector {
[codex:510562] 17 function initialize(uint256, address admin) external virtual override initializer {
[codex:510562] 18 assembly {
[codex:510562] 19 sstore(0, 0) // this slot was revision, which is no longer used
[codex:510562] 20 sstore(51, 0) // this slot was _status, but is now part of the gap
[codex:510562]
[codex:510562] thinking
[codex:510562] **Searching for relevant contract files**
[codex:510562] exec
[codex:510562] /bin/bash -lc 'rg --files' in /tmp/codex-multi-5u5lv0qg succeeded in 15ms:
[codex:510562] codex-output-schema.json
[codex:510562] AUDIT_BUNDLE.txt
[codex:510562] contracts/src/CollectorWithCustomImpl.sol
[codex:510562] contracts/lib/aave-v3-origin/src/contracts/treasury/ICollector.sol
[codex:510562] contracts/lib/aave-v3-origin/src/contracts/treasury/Collector.sol
[codex:510562] contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/interfaces/IERC1363.sol
[codex:510562] contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/interfaces/IERC20.sol
[codex:510562] contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/interfaces/IERC165.sol
[codex:510562] contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/access/IAccessControl.sol
[codex:510562] contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/token/ERC20/IERC20.sol
[codex:510562] contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/token/ERC20/utils/SafeERC20.sol
[codex:510562] contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/utils/Address.sol
[codex:510562] contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/utils/Errors.sol
[codex:510562] contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/utils/introspection/IERC165.sol
[codex:510562] contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/contracts/proxy/utils/Initializable.sol
[codex:510562] contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/contracts/access/AccessControlUpgradeable.sol
[codex:510562] contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/contracts/utils/ContextUpgradeable.sol
[codex:510562] contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/contracts/utils/ReentrancyGuardUpgradeable.sol
[codex:510562] contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/contracts/utils/introspection/ERC165Upgradeable.sol
[codex:510562]
[codex:510562] thinking
[codex:510562] **Reviewing Collector.sol for issues**
[codex:510562] exec
[codex:510562] /bin/bash -lc 'nl -ba contracts/lib/aave-v3-origin/src/contracts/treasury/Collector.sol' in /tmp/codex-multi-5u5lv0qg succeeded in 5ms:
[codex:510562] 1 // SPDX-License-Identifier: MIT
[codex:510562] 2 pragma solidity ^0.8.0;
[codex:510562] 3
[codex:510562] 4 import {AccessControlUpgradeable} from 'openzeppelin-contracts-upgradeable/contracts/access/AccessControlUpgradeable.sol';
[codex:510562] 5 import {ReentrancyGuardUpgradeable} from 'openzeppelin-contracts-upgradeable/contracts/utils/ReentrancyGuardUpgradeable.sol';
[codex:510562] 6 import {IERC20} from 'openzeppelin-contracts/contracts/token/ERC20/IERC20.sol';
[codex:510562] 7 import {SafeERC20} from 'openzeppelin-contracts/contracts/token/ERC20/utils/SafeERC20.sol';
[codex:510562] 8 import {Address} from 'openzeppelin-contracts/contracts/utils/Address.sol';
[codex:510562] 9 import {ICollector} from './ICollector.sol';
[codex:510562] 10
[codex:510562] 11 /**
[codex:510562] 12 * @title Collector
[codex:510562] 13 * @notice Stores ERC20 tokens of an ecosystem reserve and allows to dispose of them via approval
[codex:510562] 14 * or transfer dynamics or streaming capabilities.
[codex:510562] 15 * Modification of Sablier https://github.com/sablierhq/sablier/blob/develop/packages/protocol/contracts/Sablier.sol
[codex:510562] 16 * Original can be found also deployed on https://etherscan.io/address/0xCD18eAa163733Da39c232722cBC4E8940b1D8888
[codex:510562] 17 * Modifications:
[codex:510562] 18 * - Sablier "pulls" the funds from the creator of the stream at creation. In the Aave case, we already have the funds.
[codex:510562] 19 * - Anybody can create streams on Sablier. Here, only the funds admin (Aave governance via controller) can
[codex:510562] 20 * - Adapted codebase to Solidity 0.8.11, mainly removing SafeMath and CarefulMath to use native safe math
[codex:510562]
[codex:510562] thinking
[codex:510562] **Analyzing storage slot resets for upgrade exploits**
[codex:510562] exec
[codex:510562] /bin/bash -lc 'nl -ba contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/contracts/proxy/utils/Initializable.sol' in /tmp/codex-multi-5u5lv0qg succeeded in 5ms:
[codex:510562] 1 // SPDX-License-Identifier: MIT
[codex:510562] 2 // OpenZeppelin Contracts (last updated v5.0.0) (proxy/utils/Initializable.sol)
[codex:510562] 3
[codex:510562] 4 pragma solidity ^0.8.20;
[codex:510562] 5
[codex:510562] 6 /**
[codex:510562] 7 * @dev This is a base contract to aid in writing upgradeable contracts, or any kind of contract that will be deployed
[codex:510562] 8 * behind a proxy. Since proxied contracts do not make use of a constructor, it's common to move constructor logic to an
[codex:510562] 9 * external initializer function, usually called `initialize`. It then becomes necessary to protect this initializer
[codex:510562] 10 * function so it can only be called once. The {initializer} modifier provided by this contract will have this effect.
[codex:510562] 11 *
[codex:510562] 12 * The initialization functions use a version number. Once a version number is used, it is consumed and cannot be
[codex:510562] 13 * reused. This mechanism prevents re-execution of each "step" but allows the creation of new initialization steps in
[codex:510562] 14 * case an upgrade adds a module that needs to be initialized.
[codex:510562] 15 *
[codex:510562] 16 * For example:
[codex:510562] 17 *
[codex:510562] 18 * [.hljs-theme-light.nopadding]
[codex:510562] 19 * ```solidity
[codex:510562] 20 * contract MyToken is ERC20Upgradeable {
[codex:510562]
[codex:510562] thinking
[codex:510562] **Analyzing initializer and storage slot risks**
[codex:510562] exec
[codex:510562] /bin/bash -lc 'nl -ba contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/contracts/utils/ReentrancyGuardUpgradeable.sol' in /tmp/codex-multi-5u5lv0qg succeeded in 5ms:
[codex:510562] 1 // SPDX-License-Identifier: MIT
[codex:510562] 2 // OpenZeppelin Contracts (last updated v5.1.0) (utils/ReentrancyGuard.sol)
[codex:510562] 3
[codex:510562] 4 pragma solidity ^0.8.20;
[codex:510562] 5 import {Initializable} from "../proxy/utils/Initializable.sol";
[codex:510562] 6
[codex:510562] 7 /**
[codex:510562] 8 * @dev Contract module that helps prevent reentrant calls to a function.
[codex:510562] 9 *
[codex:510562] 10 * Inheriting from `ReentrancyGuard` will make the {nonReentrant} modifier
[codex:510562] 11 * available, which can be applied to functions to make sure there are no nested
[codex:510562] 12 * (reentrant) calls to them.
[codex:510562] 13 *
[codex:510562] 14 * Note that because there is a single `nonReentrant` guard, functions marked as
[codex:510562] 15 * `nonReentrant` may not call one another. This can be worked around by making
[codex:510562] 16 * those functions `private`, and then adding `external` `nonReentrant` entry
[codex:510562] 17 * points to them.
[codex:510562] 18 *
[codex:510562] 19 * TIP: If EIP-1153 (transient storage) is available on the chain you're deploying at,
[codex:510562] 20 * consider using {ReentrancyGuardTransient} instead.
[codex:510562]
[codex:510562] thinking
[codex:510562] **Analyzing storage resets and initialization risks**
[codex:510562] exec
[codex:510562] /bin/bash -lc 'nl -ba contracts/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/contracts/access/AccessControlUpgradeable.sol' in /tmp/codex-multi-5u5lv0qg succeeded in 7ms:
[codex:510562] 1 // SPDX-License-Identifier: MIT
[codex:510562] 2 // OpenZeppelin Contracts (last updated v5.0.0) (access/AccessControl.sol)
[codex:510562] 3
[codex:510562] 4 pragma solidity ^0.8.20;
[codex:510562] 5
[codex:510562] 6 import {IAccessControl} from "@openzeppelin/contracts/access/IAccessControl.sol";
[codex:510562] 7 import {ContextUpgradeable} from "../utils/ContextUpgradeable.sol";
[codex:510562] 8 import {ERC165Upgradeable} from "../utils/introspection/ERC165Upgradeable.sol";
[codex:510562] 9 import {Initializable} from "../proxy/utils/Initializable.sol";
[codex:510562] 10
[codex:510562] 11 /**
[codex:510562] 12 * @dev Contract module that allows children to implement role-based access
[codex:510562] 13 * control mechanisms. This is a lightweight version that doesn't allow enumerating role
[codex:510562] 14 * members except through off-chain means by accessing the contract event logs. Some
[codex:510562] 15 * applications may benefit from on-chain enumerability, for those cases see
[codex:510562] 16 * {AccessControlEnumerable}.
[codex:510562] 17 *
[codex:510562] 18 * Roles are referred to by their `bytes32` identifier. These should be exposed
[codex:510562] 19 * in the external API and be unique. The best way to achieve this is by
[codex:510562] 20 * using `public constant` hash digests:
[codex:510562]
[codex:510562]
[codex:510562] thinking
[codex:510562] **Analyzing initialization and access control risks**
[codex:510562]
[codex:510562] I'm carefully evaluating whether the contract’s external initializer or storage layout could enable an attacker to gain admin roles or drain funds, focusing on proxy upgrade scenarios, storage shifts, and reentrancy protections; ultimately, I find no concrete, exploitable vulnerability but note operational risks if initialization isn’t handled properly during upgrades.
[codex:510562] thinking
[codex:510562] **Preparing final audit result JSON**
[codex:510562]
[codex:510562] I'll produce a JSON output marking no findings with a concise summary and an empty findings array, matching the required schema precisely.
[codex:510562] codex
[codex:510562] {"no_findings":true,"summary":"No concrete, exploitable profit path found in the provided sources. Review limited to AUDIT_BUNDLE.txt and trusted libraries.","findings":[]}
[codex:510562] tokens used
[codex:510562] 23,232
[codex:510562] {"no_findings":true,"summary":"No concrete, exploitable profit path found in the provided sources. Review limited to AUDIT_BUNDLE.txt and trusted libraries.","findings":[]}
{
"codex": {
"ran_at": "2026-01-02T02:06:30.565391+00:00",
"returncode": 0
},
"summary": "No concrete, exploitable profit path found in the provided sources. Review limited to AUDIT_BUNDLE.txt and trusted libraries.",
"raw_final": {
"summary": "No concrete, exploitable profit path found in the provided sources. Review limited to AUDIT_BUNDLE.txt and trusted libraries.",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0122 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x91d14854 00000018: GT 00000019: PUSH2 0x009f 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0xcc1b4bf6 00000023: GT 00000024: PUSH2 0x0063 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0xcc1b4bf6 0000002e: EQ 0000002f: PUSH2 0x0434 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xd547741f 00000039: EQ 0000003a: PUSH2 0x0470 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xda35a26f 00000044: EQ 00000045: PUSH2 0x0498 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xe1f21c67 0000004f: EQ 00000050: PUSH2 0x04c0 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0xf501148c 0000005a: EQ 0000005b: PUSH2 0x04e8 0000005e: JUMPI 0000005f: PUSH2 0x0129 00000062: JUMP 00000063: JUMPDEST 00000064: DUP1 00000065: PUSH4 0x91d14854 0000006a: EQ 0000006b: PUSH2 0x0340 0000006e: JUMPI 0000006f: DUP1 00000070: PUSH4 0x97713592 00000075: EQ 00000076: PUSH2 0x037c 00000079: JUMPI 0000007a: DUP1 0000007b: PUSH4 0xa217fddf 00000080: EQ 00000081: PUSH2 0x03a6 00000084: JUMPI 00000085: DUP1 00000086: PUSH4 0xa82ccd4d 0000008b: EQ 0000008c: PUSH2 0x03d0 0000008f: JUMPI 00000090: DUP1 00000091: PUSH4 0xbeabacc8 00000096: EQ 00000097: PUSH2 0x040c 0000009a: JUMPI 0000009b: PUSH2 0x0129 0000009e: JUMP 0000009f: JUMPDEST 000000a0: DUP1 000000a1: PUSH4 0x3656eec2 000000a6: GT 000000a7: PUSH2 0x00e6 000000aa: JUMPI 000000ab: DUP1 000000ac: PUSH4 0x3656eec2 000000b1: EQ 000000b2: PUSH2 0x021f 000000b5: JUMPI 000000b6: DUP1 000000b7: PUSH4 0x51ee886b 000000bc: EQ 000000bd: PUSH2 0x025b 000000c0: JUMPI 000000c1: DUP1 000000c2: PUSH4 0x6db9241b 000000c7: EQ 000000c8: PUSH2 0x0285 000000cb: JUMPI 000000cc: DUP1 000000cd: PUSH4 0x7a9b2c6c 000000d2: EQ 000000d3: PUSH2 0x02c1 000000d6: JUMPI 000000d7: DUP1 000000d8: PUSH4 0x894e9a0d 000000dd: EQ 000000de: PUSH2 0x02fd 000000e1: JUMPI 000000e2: PUSH2 0x0129 000000e5: JUMP 000000e6: JUMPDEST 000000e7: DUP1 000000e8: PUSH4 0x01ffc9a7 000000ed: EQ 000000ee: PUSH2 0x012d 000000f1: JUMPI 000000f2: DUP1 000000f3: PUSH4 0x0932f92b 000000f8: EQ 000000f9: PUSH2 0x0169 000000fc: JUMPI 000000fd: DUP1 000000fe: PUSH4 0x248a9ca3 00000103: EQ 00000104: PUSH2 0x0193 00000107: JUMPI 00000108: DUP1 00000109: PUSH4 0x2f2ff15d 0000010e: EQ 0000010f: PUSH2 0x01cf 00000112: JUMPI 00000113: DUP1 00000114: PUSH4 0x36568abe 00000119: EQ 0000011a: PUSH2 0x01f7 0000011d: JUMPI 0000011e: PUSH2 0x0129 00000121: JUMP 00000122: JUMPDEST 00000123: CALLDATASIZE 00000124: PUSH2 0x0129 00000127: JUMPI 00000128: STOP 00000129: JUMPDEST 0000012a: PUSH0 0000012b: PUSH0 0000012c: REVERT 0000012d: JUMPDEST 0000012e: CALLVALUE 0000012f: DUP1 00000130: ISZERO 00000131: PUSH2 0x0138 00000134: JUMPI 00000135: PUSH0 00000136: PUSH0 00000137: REVERT 00000138: JUMPDEST 00000139: POP 0000013a: PUSH2 0x0153 0000013d: PUSH1 0x04 0000013f: DUP1 00000140: CALLDATASIZE 00000141: SUB 00000142: DUP2 00000143: ADD 00000144: SWAP1 00000145: PUSH2 0x014e 00000148: SWAP2 00000149: SWAP1 0000014a: PUSH2 0x27ba 0000014d: JUMP 0000014e: JUMPDEST 0000014f: PUSH2 0x0524 00000152: JUMP 00000153: JUMPDEST 00000154: PUSH1 0x40 00000156: MLOAD 00000157: PUSH2 0x0160 0000015a: SWAP2 0000015b: SWAP1 0000015c: PUSH2 0x27ff 0000015f: JUMP 00000160: JUMPDEST 00000161: PUSH1 0x40 00000163: MLOAD 00000164: DUP1 00000165: SWAP2 00000166: SUB 00000167: SWAP1 00000168: RETURN 00000169: JUMPDEST 0000016a: CALLVALUE 0000016b: DUP1 0000016c: ISZERO 0000016d: PUSH2 0x0174 00000170: JUMPI 00000171: PUSH0 00000172: PUSH0 00000173: REVERT 00000174: JUMPDEST 00000175: POP 00000176: PUSH2 0x017d 00000179: PUSH2 0x059d 0000017c: JUMP 0000017d: JUMPDEST 0000017e: PUSH1 0x40 00000180: MLOAD 00000181: PUSH2 0x018a 00000184: SWAP2 00000185: SWAP1 00000186: PUSH2 0x2830 00000189: JUMP 0000018a: JUMPDEST 0000018b: PUSH1 0x40 0000018d: MLOAD 0000018e: DUP1 0000018f: SWAP2 00000190: SUB 00000191: SWAP1 00000192: RETURN 00000193: JUMPDEST 00000194: CALLVALUE 00000195: DUP1 00000196: ISZERO 00000197: PUSH2 0x019e 0000019a: JUMPI 0000019b: PUSH0 0000019c: PUSH0 0000019d: REVERT 0000019e: JUMPDEST 0000019f: POP 000001a0: PUSH2 0x01b9 000001a3: PUSH1 0x04 000001a5: DUP1 000001a6: CALLDATASIZE 000001a7: SUB 000001a8: DUP2 000001a9: ADD 000001aa: SWAP1 000001ab: PUSH2 0x01b4 000001ae: SWAP2 000001af: SWAP1 000001b0: PUSH2 0x287c 000001b3: JUMP 000001b4: JUMPDEST 000001b5: PUSH2 0x05a6 000001b8: JUMP 000001b9: JUMPDEST 000001ba: PUSH1 0x40 000001bc: MLOAD 000001bd: PUSH2 0x01c6 000001c0: SWAP2 000001c1: SWAP1 000001c2: PUSH2 0x28b6 000001c5: JUMP 000001c6: JUMPDEST 000001c7: PUSH1 0x40 000001c9: MLOAD 000001ca: DUP1 000001cb: SWAP2 000001cc: SUB 000001cd: SWAP1 000001ce: RETURN 000001cf: JUMPDEST 000001d0: CALLVALUE 000001d1: DUP1 000001d2: ISZERO 000001d3: PUSH2 0x01da 000001d6: JUMPI 000001d7: PUSH0 000001d8: PUSH0 000001d9: REVERT 000001da: JUMPDEST 000001db: POP 000001dc: PUSH2 0x01f5 000001df: PUSH1 0x04 000001e1: DUP1 000001e2: CALLDATASIZE 000001e3: SUB 000001e4: DUP2 000001e5: ADD 000001e6: SWAP1 000001e7: PUSH2 0x01f0 000001ea: SWAP2 000001eb: SWAP1 000001ec: PUSH2 0x2929 000001ef: JUMP 000001f0: JUMPDEST 000001f1: PUSH2 0x05d0 000001f4: JUMP 000001f5: JUMPDEST 000001f6: STOP 000001f7: JUMPDEST 000001f8: CALLVALUE 000001f9: DUP1 000001fa: ISZERO 000001fb: PUSH2 0x0202 000001fe: JUMPI 000001ff: PUSH0 00000200: PUSH0 00000201: REVERT 00000202: JUMPDEST 00000203: POP 00000204: PUSH2 0x021d 00000207: PUSH1 0x04 00000209: DUP1 0000020a: CALLDATASIZE 0000020b: SUB 0000020c: DUP2 0000020d: ADD 0000020e: SWAP1 0000020f: PUSH2 0x0218 00000212: SWAP2 00000213: SWAP1 00000214: PUSH2 0x2929 00000217: JUMP 00000218: JUMPDEST 00000219: PUSH2 0x05f2 0000021c: JUMP 0000021d: JUMPDEST 0000021e: STOP 0000021f: JUMPDEST 00000220: CALLVALUE 00000221: DUP1 00000222: ISZERO 00000223: PUSH2 0x022a 00000226: JUMPI 00000227: PUSH0 00000228: PUSH0 00000229: REVERT 0000022a: JUMPDEST 0000022b: POP 0000022c: PUSH2 0x0245 0000022f: PUSH1 0x04 00000231: DUP1 00000232: CALLDATASIZE 00000233: SUB 00000234: DUP2 00000235: ADD 00000236: SWAP1 00000237: PUSH2 0x0240 0000023a: SWAP2 0000023b: SWAP1 0000023c: PUSH2 0x2991 0000023f: JUMP 00000240: JUMPDEST 00000241: PUSH2 0x066d 00000244: JUMP 00000245: JUMPDEST 00000246: PUSH1 0x40 00000248: MLOAD 00000249: PUSH2 0x0252 0000024c: SWAP2 0000024d: SWAP1 0000024e: PUSH2 0x2830 00000251: JUMP 00000252: JUMPDEST 00000253: PUSH1 0x40 00000255: MLOAD 00000256: DUP1 00000257: SWAP2 00000258: SUB 00000259: SWAP1 0000025a: RETURN 0000025b: JUMPDEST 0000025c: CALLVALUE 0000025d: DUP1 0000025e: ISZERO 0000025f: PUSH2 0x0266 00000262: JUMPI 00000263: PUSH0 00000264: PUSH0 00000265: REVERT 00000266: JUMPDEST 00000267: POP 00000268: PUSH2 0x026f 0000026b: PUSH2 0x095a 0000026e: JUMP 0000026f: JUMPDEST 00000270: PUSH1 0x40 00000272: MLOAD 00000273: PUSH2 0x027c 00000276: SWAP2 00000277: SWAP1 00000278: PUSH2 0x29de 0000027b: JUMP 0000027c: JUMPDEST 0000027d: PUSH1 0x40 0000027f: MLOAD 00000280: DUP1 00000281: SWAP2 00000282: SUB 00000283: SWAP1 00000284: RETURN 00000285: JUMPDEST 00000286: CALLVALUE 00000287: DUP1 00000288: ISZERO 00000289: PUSH2 0x0290 0000028c: JUMPI 0000028d: PUSH0 0000028e: PUSH0 0000028f: REVERT 00000290: JUMPDEST 00000291: POP 00000292: PUSH2 0x02ab 00000295: PUSH1 0x04 00000297: DUP1 00000298: CALLDATASIZE 00000299: SUB 0000029a: DUP2 0000029b: ADD 0000029c: SWAP1 0000029d: PUSH2 0x02a6 000002a0: SWAP2 000002a1: SWAP1 000002a2: PUSH2 0x29f7 000002a5: JUMP 000002a6: JUMPDEST 000002a7: PUSH2 0x0972 000002aa: JUMP 000002ab: JUMPDEST 000002ac: PUSH1 0x40 000002ae: MLOAD 000002af: PUSH2 0x02b8 000002b2: SWAP2 000002b3: SWAP1 000002b4: PUSH2 0x27ff 000002b7: JUMP 000002b8: JUMPDEST 000002b9: PUSH1 0x40 000002bb: MLOAD 000002bc: DUP1 000002bd: SWAP2 000002be: SUB 000002bf: SWAP1 000002c0: RETURN 000002c1: JUMPDEST 000002c2: CALLVALUE 000002c3: DUP1 000002c4: ISZERO 000002c5: PUSH2 0x02cc 000002c8: JUMPI 000002c9: PUSH0 000002ca: PUSH0 000002cb: REVERT 000002cc: JUMPDEST 000002cd: POP 000002ce: PUSH2 0x02e7 000002d1: PUSH1 0x04 000002d3: DUP1 000002d4: CALLDATASIZE 000002d5: SUB 000002d6: DUP2 000002d7: ADD 000002d8: SWAP1 000002d9: PUSH2 0x02e2 000002dc: SWAP2 000002dd: SWAP1 000002de: PUSH2 0x2a22 000002e1: JUMP 000002e2: JUMPDEST 000002e3: PUSH2 0x0d95 000002e6: JUMP 000002e7: JUMPDEST 000002e8: PUSH1 0x40 000002ea: MLOAD 000002eb: PUSH2 0x02f4 000002ee: SWAP2 000002ef: SWAP1 000002f0: PUSH2 0x27ff 000002f3: JUMP 000002f4: JUMPDEST 000002f5: PUSH1 0x40 000002f7: MLOAD 000002f8: DUP1 000002f9: SWAP2 000002fa: SUB 000002fb: SWAP1 000002fc: RETURN 000002fd: JUMPDEST 000002fe: CALLVALUE 000002ff: DUP1 00000300: ISZERO 00000301: PUSH2 0x0308 00000304: JUMPI 00000305: PUSH0 00000306: PUSH0 00000307: REVERT 00000308: JUMPDEST 00000309: POP 0000030a: PUSH2 0x0323 0000030d: PUSH1 0x04 0000030f: DUP1 00000310: CALLDATASIZE 00000311: SUB 00000312: DUP2 00000313: ADD 00000314: SWAP1 00000315: PUSH2 0x031e 00000318: SWAP2 00000319: SWAP1 0000031a: PUSH2 0x29f7 0000031d: JUMP 0000031e: JUMPDEST 0000031f: PUSH2 0x1233 00000322: JUMP 00000323: JUMPDEST 00000324: PUSH1 0x40 00000326: MLOAD 00000327: PUSH2 0x0337 0000032a: SWAP9 0000032b: SWAP8 0000032c: SWAP7 0000032d: SWAP6 0000032e: SWAP5 0000032f: SWAP4 00000330: SWAP3 00000331: SWAP2 00000332: SWAP1 00000333: PUSH2 0x2a60 00000336: JUMP 00000337: JUMPDEST 00000338: PUSH1 0x40 0000033a: MLOAD 0000033b: DUP1 0000033c: SWAP2 0000033d: SUB 0000033e: SWAP1 0000033f: RETURN 00000340: JUMPDEST 00000341: CALLVALUE 00000342: DUP1 00000343: ISZERO 00000344: PUSH2 0x034b 00000347: JUMPI 00000348: PUSH0 00000349: PUSH0 0000034a: REVERT 0000034b: JUMPDEST 0000034c: POP 0000034d: PUSH2 0x0366 00000350: PUSH1 0x04 00000352: DUP1 00000353: CALLDATASIZE 00000354: SUB 00000355: DUP2 00000356: ADD 00000357: SWAP1 00000358: PUSH2 0x0361 0000035b: SWAP2 0000035c: SWAP1 0000035d: PUSH2 0x2929 00000360: JUMP 00000361: JUMPDEST 00000362: PUSH2 0x13b4 00000365: JUMP 00000366: JUMPDEST 00000367: PUSH1 0x40 00000369: MLOAD 0000036a: PUSH2 0x0373 0000036d: SWAP2 0000036e: SWAP1 0000036f: PUSH2 0x27ff 00000372: JUMP 00000373: JUMPDEST 00000374: PUSH1 0x40 00000376: MLOAD 00000377: DUP1 00000378: SWAP2 00000379: SUB 0000037a: SWAP1 0000037b: RETURN 0000037c: JUMPDEST 0000037d: CALLVALUE 0000037e: DUP1 0000037f: ISZERO 00000380: PUSH2 0x0387 00000383: JUMPI 00000384: PUSH0 00000385: PUSH0 00000386: REVERT 00000387: JUMPDEST 00000388: POP 00000389: PUSH2 0x0390 0000038c: PUSH2 0x1425 0000038f: JUMP 00000390: JUMPDEST 00000391: PUSH1 0x40 00000393: MLOAD 00000394: PUSH2 0x039d 00000397: SWAP2 00000398: SWAP1 00000399: PUSH2 0x28b6 0000039c: JUMP 0000039d: JUMPDEST 0000039e: PUSH1 0x40 000003a0: MLOAD 000003a1: DUP1 000003a2: SWAP2 000003a3: SUB 000003a4: SWAP1 000003a5: RETURN 000003a6: JUMPDEST 000003a7: CALLVALUE 000003a8: DUP1 000003a9: ISZERO 000003aa: PUSH2 0x03b1 000003ad: JUMPI 000003ae: PUSH0 000003af: PUSH0 000003b0: REVERT 000003b1: JUMPDEST 000003b2: POP 000003b3: PUSH2 0x03ba 000003b6: PUSH2 0x1449 000003b9: JUMP 000003ba: JUMPDEST 000003bb: PUSH1 0x40 000003bd: MLOAD 000003be: PUSH2 0x03c7 000003c1: SWAP2 000003c2: SWAP1 000003c3: PUSH2 0x28b6 000003c6: JUMP 000003c7: JUMPDEST 000003c8: PUSH1 0x40 000003ca: MLOAD 000003cb: DUP1 000003cc: SWAP2 000003cd: SUB 000003ce: SWAP1 000003cf: RETURN 000003d0: JUMPDEST 000003d1: CALLVALUE 000003d2: DUP1 000003d3: ISZERO 000003d4: PUSH2 0x03db 000003d7: JUMPI 000003d8: PUSH0 000003d9: PUSH0 000003da: REVERT 000003db: JUMPDEST 000003dc: POP 000003dd: PUSH2 0x03f6 000003e0: PUSH1 0x04 000003e2: DUP1 000003e3: CALLDATASIZE 000003e4: SUB 000003e5: DUP2 000003e6: ADD 000003e7: SWAP1 000003e8: PUSH2 0x03f1 000003eb: SWAP2 000003ec: SWAP1 000003ed: PUSH2 0x29f7 000003f0: JUMP 000003f1: JUMPDEST 000003f2: PUSH2 0x144f 000003f5: JUMP 000003f6: JUMPDEST 000003f7: PUSH1 0x40 000003f9: MLOAD 000003fa: PUSH2 0x0403 000003fd: SWAP2 000003fe: SWAP1 000003ff: PUSH2 0x2830 00000402: JUMP 00000403: JUMPDEST 00000404: PUSH1 0x40 00000406: MLOAD 00000407: DUP1 00000408: SWAP2 00000409: SUB 0000040a: SWAP1 0000040b: RETURN 0000040c: JUMPDEST 0000040d: CALLVALUE 0000040e: DUP1 0000040f: ISZERO 00000410: PUSH2 0x0417 00000413: JUMPI 00000414: PUSH0 00000415: PUSH0 00000416: REVERT 00000417: JUMPDEST 00000418: POP 00000419: PUSH2 0x0432 0000041c: PUSH1 0x04 0000041e: DUP1 0000041f: CALLDATASIZE 00000420: SUB 00000421: DUP2 00000422: ADD 00000423: SWAP1 00000424: PUSH2 0x042d 00000427: SWAP2 00000428: SWAP1 00000429: PUSH2 0x2b17 0000042c: JUMP 0000042d: JUMPDEST 0000042e: PUSH2 0x166a 00000431: JUMP 00000432: JUMPDEST 00000433: STOP 00000434: JUMPDEST 00000435: CALLVALUE 00000436: DUP1 00000437: ISZERO 00000438: PUSH2 0x043f 0000043b: JUMPI 0000043c: PUSH0 0000043d: PUSH0 0000043e: REVERT 0000043f: JUMPDEST 00000440: POP 00000441: PUSH2 0x045a 00000444: PUSH1 0x04 00000446: DUP1 00000447: CALLDATASIZE 00000448: SUB 00000449: DUP2 0000044a: ADD 0000044b: SWAP1 0000044c: PUSH2 0x0455 0000044f: SWAP2 00000450: SWAP1 00000451: PUSH2 0x2b67 00000454: JUMP 00000455: JUMPDEST 00000456: PUSH2 0x17b9 00000459: JUMP 0000045a: JUMPDEST 0000045b: PUSH1 0x40 0000045d: MLOAD 0000045e: PUSH2 0x0467 00000461: SWAP2 00000462: SWAP1 00000463: PUSH2 0x2830 00000466: JUMP 00000467: JUMPDEST 00000468: PUSH1 0x40 0000046a: MLOAD 0000046b: DUP1 0000046c: SWAP2 0000046d: SUB 0000046e: SWAP1 0000046f: RETURN 00000470: JUMPDEST 00000471: CALLVALUE 00000472: DUP1 00000473: ISZERO 00000474: PUSH2 0x047b 00000477: JUMPI 00000478: PUSH0 00000479: PUSH0 0000047a: REVERT 0000047b: JUMPDEST 0000047c: POP 0000047d: PUSH2 0x0496 00000480: PUSH1 0x04 00000482: DUP1 00000483: CALLDATASIZE 00000484: SUB 00000485: DUP2 00000486: ADD 00000487: SWAP1 00000488: PUSH2 0x0491 0000048b: SWAP2 0000048c: SWAP1 0000048d: PUSH2 0x2929 00000490: JUMP 00000491: JUMPDEST 00000492: PUSH2 0x1ce9 00000495: JUMP 00000496: JUMPDEST 00000497: STOP 00000498: JUMPDEST 00000499: CALLVALUE 0000049a: DUP1 0000049b: ISZERO 0000049c: PUSH2 0x04a3 0000049f: JUMPI 000004a0: PUSH0 000004a1: PUSH0 000004a2: REVERT 000004a3: JUMPDEST 000004a4: POP 000004a5: PUSH2 0x04be 000004a8: PUSH1 0x04 000004aa: DUP1 000004ab: CALLDATASIZE 000004ac: SUB 000004ad: DUP2 000004ae: ADD 000004af: SWAP1 000004b0: PUSH2 0x04b9 000004b3: SWAP2 000004b4: SWAP1 000004b5: PUSH2 0x2991 000004b8: JUMP 000004b9: JUMPDEST 000004ba: PUSH2 0x1d0b 000004bd: JUMP 000004be: JUMPDEST 000004bf: STOP 000004c0: JUMPDEST 000004c1: CALLVALUE 000004c2: DUP1 000004c3: ISZERO 000004c4: PUSH2 0x04cb 000004c7: JUMPI 000004c8: PUSH0 000004c9: PUSH0 000004ca: REVERT 000004cb: JUMPDEST 000004cc: POP 000004cd: PUSH2 0x04e6 000004d0: PUSH1 0x04 000004d2: DUP1 000004d3: CALLDATASIZE 000004d4: SUB 000004d5: DUP2 000004d6: ADD 000004d7: SWAP1 000004d8: PUSH2 0x04e1 000004db: SWAP2 000004dc: SWAP1 000004dd: PUSH2 0x2b17 000004e0: JUMP 000004e1: JUMPDEST 000004e2: PUSH2 0x1eac 000004e5: JUMP 000004e6: JUMPDEST 000004e7: STOP 000004e8: JUMPDEST 000004e9: CALLVALUE 000004ea: DUP1 000004eb: ISZERO 000004ec: PUSH2 0x04f3 000004ef: JUMPI 000004f0: PUSH0 000004f1: PUSH0 000004f2: REVERT 000004f3: JUMPDEST 000004f4: POP 000004f5: PUSH2 0x050e 000004f8: PUSH1 0x04 000004fa: DUP1 000004fb: CALLDATASIZE 000004fc: SUB 000004fd: DUP2 000004fe: ADD 000004ff: SWAP1 00000500: PUSH2 0x0509 00000503: SWAP2 00000504: SWAP1 00000505: PUSH2 0x2bde 00000508: JUMP 00000509: JUMPDEST 0000050a: PUSH2 0x1f20 0000050d: JUMP 0000050e: JUMPDEST 0000050f: PUSH1 0x40 00000511: MLOAD 00000512: PUSH2 0x051b 00000515: SWAP2 00000516: SWAP1 00000517: PUSH2 0x27ff 0000051a: JUMP 0000051b: JUMPDEST 0000051c: PUSH1 0x40 0000051e: MLOAD 0000051f: DUP1 00000520: SWAP2 00000521: SUB 00000522: SWAP1 00000523: RETURN 00000524: JUMPDEST 00000525: PUSH0 00000526: PUSH32 0x7965db0b00000000000000000000000000000000000000000000000000000000 00000547: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000564: NOT 00000565: AND 00000566: DUP3 00000567: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000584: NOT 00000585: AND 00000586: EQ 00000587: DUP1 00000588: PUSH2 0x0596 0000058b: JUMPI 0000058c: POP 0000058d: PUSH2 0x0595 00000590: DUP3 00000591: PUSH2 0x1f52 00000594: JUMP 00000595: JUMPDEST 00000596: JUMPDEST 00000597: SWAP1 00000598: POP 00000599: SWAP2 0000059a: SWAP1 0000059b: POP 0000059c: JUMP 0000059d: JUMPDEST 0000059e: PUSH0 0000059f: PUSH1 0x35 000005a1: SLOAD 000005a2: SWAP1 000005a3: POP 000005a4: SWAP1 000005a5: JUMP 000005a6: JUMPDEST 000005a7: PUSH0 000005a8: PUSH0 000005a9: PUSH2 0x05b0 000005ac: PUSH2 0x1fbb 000005af: JUMP 000005b0: JUMPDEST 000005b1: SWAP1 000005b2: POP 000005b3: DUP1 000005b4: PUSH0 000005b5: ADD 000005b6: PUSH0 000005b7: DUP5 000005b8: DUP2 000005b9: MSTORE 000005ba: PUSH1 0x20 000005bc: ADD 000005bd: SWAP1 000005be: DUP2 000005bf: MSTORE 000005c0: PUSH1 0x20 000005c2: ADD 000005c3: PUSH0 000005c4: KECCAK256 000005c5: PUSH1 0x01 000005c7: ADD 000005c8: SLOAD 000005c9: SWAP2 000005ca: POP 000005cb: POP 000005cc: SWAP2 000005cd: SWAP1 000005ce: POP 000005cf: JUMP 000005d0: JUMPDEST 000005d1: PUSH2 0x05d9 000005d4: DUP3 000005d5: PUSH2 0x05a6 000005d8: JUMP 000005d9: JUMPDEST 000005da: PUSH2 0x05e2 000005dd: DUP2 000005de: PUSH2 0x1fe2 000005e1: JUMP 000005e2: JUMPDEST 000005e3: PUSH2 0x05ec 000005e6: DUP4 000005e7: DUP4 000005e8: PUSH2 0x1ff6 000005eb: JUMP 000005ec: JUMPDEST 000005ed: POP 000005ee: POP 000005ef: POP 000005f0: POP 000005f1: JUMP 000005f2: JUMPDEST 000005f3: PUSH2 0x05fa 000005f6: PUSH2 0x20ee 000005f9: JUMP 000005fa: JUMPDEST 000005fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000610: AND 00000611: DUP2 00000612: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000627: AND 00000628: EQ 00000629: PUSH2 0x065e 0000062c: JUMPI 0000062d: PUSH1 0x40 0000062f: MLOAD 00000630: PUSH32 0x6697b23200000000000000000000000000000000000000000000000000000000 00000651: DUP2 00000652: MSTORE 00000653: PUSH1 0x04 00000655: ADD 00000656: PUSH1 0x40 00000658: MLOAD 00000659: DUP1 0000065a: SWAP2 0000065b: SUB 0000065c: SWAP1 0000065d: REVERT 0000065e: JUMPDEST 0000065f: PUSH2 0x0668 00000662: DUP3 00000663: DUP3 00000664: PUSH2 0x20f5 00000667: JUMP 00000668: JUMPDEST 00000669: POP 0000066a: POP 0000066b: POP 0000066c: JUMP 0000066d: JUMPDEST 0000066e: PUSH0 0000066f: DUP3 00000670: PUSH1 0x36 00000672: PUSH0 00000673: DUP3 00000674: DUP2 00000675: MSTORE 00000676: PUSH1 0x20 00000678: ADD 00000679: SWAP1 0000067a: DUP2 0000067b: MSTORE 0000067c: PUSH1 0x20 0000067e: ADD 0000067f: PUSH0 00000680: KECCAK256 00000681: PUSH1 0x07 00000683: ADD 00000684: PUSH1 0x14 00000686: SWAP1 00000687: SLOAD 00000688: SWAP1 00000689: PUSH2 0x0100 0000068c: EXP 0000068d: SWAP1 0000068e: DIV 0000068f: PUSH1 0xff 00000691: AND 00000692: PUSH2 0x06c7 00000695: JUMPI 00000696: PUSH1 0x40 00000698: MLOAD 00000699: PUSH32 0xc530189400000000000000000000000000000000000000000000000000000000 000006ba: DUP2 000006bb: MSTORE 000006bc: PUSH1 0x04 000006be: ADD 000006bf: PUSH1 0x40 000006c1: MLOAD 000006c2: DUP1 000006c3: SWAP2 000006c4: SUB 000006c5: SWAP1 000006c6: REVERT 000006c7: JUMPDEST 000006c8: PUSH0 000006c9: PUSH1 0x36 000006cb: PUSH0 000006cc: DUP7 000006cd: DUP2 000006ce: MSTORE 000006cf: PUSH1 0x20 000006d1: ADD 000006d2: SWAP1 000006d3: DUP2 000006d4: MSTORE 000006d5: PUSH1 0x20 000006d7: ADD 000006d8: PUSH0 000006d9: KECCAK256 000006da: PUSH1 0x40 000006dc: MLOAD 000006dd: DUP1 000006de: PUSH2 0x0120 000006e1: ADD 000006e2: PUSH1 0x40 000006e4: MSTORE 000006e5: SWAP1 000006e6: DUP2 000006e7: PUSH0 000006e8: DUP3 000006e9: ADD 000006ea: SLOAD 000006eb: DUP2 000006ec: MSTORE 000006ed: PUSH1 0x20 000006ef: ADD 000006f0: PUSH1 0x01 000006f2: DUP3 000006f3: ADD 000006f4: SLOAD 000006f5: DUP2 000006f6: MSTORE 000006f7: PUSH1 0x20 000006f9: ADD 000006fa: PUSH1 0x02 000006fc: DUP3 000006fd: ADD 000006fe: SLOAD 000006ff: DUP2 00000700: MSTORE 00000701: PUSH1 0x20 00000703: ADD 00000704: PUSH1 0x03 00000706: DUP3 00000707: ADD 00000708: SLOAD 00000709: DUP2 0000070a: MSTORE 0000070b: PUSH1 0x20 0000070d: ADD 0000070e: PUSH1 0x04 00000710: DUP3 00000711: ADD 00000712: SLOAD 00000713: DUP2 00000714: MSTORE 00000715: PUSH1 0x20 00000717: ADD 00000718: PUSH1 0x05 0000071a: DUP3 0000071b: ADD 0000071c: PUSH0 0000071d: SWAP1 0000071e: SLOAD 0000071f: SWAP1 00000720: PUSH2 0x0100 00000723: EXP 00000724: SWAP1 00000725: DIV 00000726: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000073b: AND 0000073c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000751: AND 00000752: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000767: AND 00000768: DUP2 00000769: MSTORE 0000076a: PUSH1 0x20 0000076c: ADD 0000076d: PUSH1 0x06 0000076f: DUP3 00000770: ADD 00000771: PUSH0 00000772: SWAP1 00000773: SLOAD 00000774: SWAP1 00000775: PUSH2 0x0100 00000778: EXP 00000779: SWAP1 0000077a: DIV 0000077b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000790: AND 00000791: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007a6: AND 000007a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007bc: AND 000007bd: DUP2 000007be: MSTORE 000007bf: PUSH1 0x20 000007c1: ADD 000007c2: PUSH1 0x07 000007c4: DUP3 000007c5: ADD 000007c6: PUSH0 000007c7: SWAP1 000007c8: SLOAD 000007c9: SWAP1 000007ca: PUSH2 0x0100 000007cd: EXP 000007ce: SWAP1 000007cf: DIV 000007d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007e5: AND 000007e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007fb: AND 000007fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000811: AND 00000812: DUP2 00000813: MSTORE 00000814: PUSH1 0x20 00000816: ADD 00000817: PUSH1 0x07 00000819: DUP3 0000081a: ADD 0000081b: PUSH1 0x14 0000081d: SWAP1 0000081e: SLOAD 0000081f: SWAP1 00000820: PUSH2 0x0100 00000823: EXP 00000824: SWAP1 00000825: DIV 00000826: PUSH1 0xff 00000828: AND 00000829: ISZERO 0000082a: ISZERO 0000082b: ISZERO 0000082c: ISZERO 0000082d: DUP2 0000082e: MSTORE 0000082f: POP 00000830: POP 00000831: SWAP1 00000832: POP 00000833: PUSH2 0x083a 00000836: PUSH2 0x272b 00000839: JUMP 0000083a: JUMPDEST 0000083b: PUSH0 0000083c: PUSH2 0x0844 0000083f: DUP8 00000840: PUSH2 0x144f 00000843: JUMP 00000844: JUMPDEST 00000845: SWAP1 00000846: POP 00000847: DUP3 00000848: PUSH1 0x20 0000084a: ADD 0000084b: MLOAD 0000084c: DUP2 0000084d: PUSH2 0x0856 00000850: SWAP2 00000851: SWAP1 00000852: PUSH2 0x2c36 00000855: JUMP 00000856: JUMPDEST 00000857: DUP3 00000858: PUSH0 00000859: ADD 0000085a: DUP2 0000085b: DUP2 0000085c: MSTORE 0000085d: POP 0000085e: POP 0000085f: DUP3 00000860: PUSH1 0x40 00000862: ADD 00000863: MLOAD 00000864: DUP4 00000865: PUSH0 00000866: ADD 00000867: MLOAD 00000868: GT 00000869: ISZERO 0000086a: PUSH2 0x08a5 0000086d: JUMPI 0000086e: DUP3 0000086f: PUSH1 0x40 00000871: ADD 00000872: MLOAD 00000873: DUP4 00000874: PUSH0 00000875: ADD 00000876: MLOAD 00000877: PUSH2 0x0880 0000087a: SWAP2 0000087b: SWAP1 0000087c: PUSH2 0x2c77 0000087f: JUMP 00000880: JUMPDEST 00000881: DUP3 00000882: PUSH1 0x20 00000884: ADD 00000885: DUP2 00000886: DUP2 00000887: MSTORE 00000888: POP 00000889: POP 0000088a: DUP2 0000088b: PUSH1 0x20 0000088d: ADD 0000088e: MLOAD 0000088f: DUP3 00000890: PUSH0 00000891: ADD 00000892: MLOAD 00000893: PUSH2 0x089c 00000896: SWAP2 00000897: SWAP1 00000898: PUSH2 0x2c77 0000089b: JUMP 0000089c: JUMPDEST 0000089d: DUP3 0000089e: PUSH0 0000089f: ADD 000008a0: DUP2 000008a1: DUP2 000008a2: MSTORE 000008a3: POP 000008a4: POP 000008a5: JUMPDEST 000008a6: DUP3 000008a7: PUSH1 0xa0 000008a9: ADD 000008aa: MLOAD 000008ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008c0: AND 000008c1: DUP7 000008c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008d7: AND 000008d8: SUB 000008d9: PUSH2 0x08ea 000008dc: JUMPI 000008dd: DUP2 000008de: PUSH0 000008df: ADD 000008e0: MLOAD 000008e1: SWAP5 000008e2: POP 000008e3: POP 000008e4: POP 000008e5: POP 000008e6: PUSH2 0x0953 000008e9: JUMP 000008ea: JUMPDEST 000008eb: DUP3 000008ec: PUSH1 0xc0 000008ee: ADD 000008ef: MLOAD 000008f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000905: AND 00000906: DUP7 00000907: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000091c: AND 0000091d: SUB 0000091e: PUSH2 0x094c 00000921: JUMPI 00000922: DUP2 00000923: PUSH0 00000924: ADD 00000925: MLOAD 00000926: DUP4 00000927: PUSH1 0x40 00000929: ADD 0000092a: MLOAD 0000092b: PUSH2 0x0934 0000092e: SWAP2 0000092f: SWAP1 00000930: PUSH2 0x2c77 00000933: JUMP 00000934: JUMPDEST 00000935: DUP3 00000936: PUSH1 0x40 00000938: ADD 00000939: DUP2 0000093a: DUP2 0000093b: MSTORE 0000093c: POP 0000093d: POP 0000093e: DUP2 0000093f: PUSH1 0x40 00000941: ADD 00000942: MLOAD 00000943: SWAP5 00000944: POP 00000945: POP 00000946: POP 00000947: POP 00000948: PUSH2 0x0953 0000094b: JUMP 0000094c: JUMPDEST 0000094d: PUSH0 0000094e: SWAP5 0000094f: POP 00000950: POP 00000951: POP 00000952: POP 00000953: JUMPDEST 00000954: POP 00000955: SWAP3 00000956: SWAP2 00000957: POP 00000958: POP 00000959: JUMP 0000095a: JUMPDEST 0000095b: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00000970: DUP2 00000971: JUMP 00000972: JUMPDEST 00000973: PUSH0 00000974: PUSH2 0x097b 00000977: PUSH2 0x21ed 0000097a: JUMP 0000097b: JUMPDEST 0000097c: DUP2 0000097d: PUSH1 0x36 0000097f: PUSH0 00000980: DUP3 00000981: DUP2 00000982: MSTORE 00000983: PUSH1 0x20 00000985: ADD 00000986: SWAP1 00000987: DUP2 00000988: MSTORE 00000989: PUSH1 0x20 0000098b: ADD 0000098c: PUSH0 0000098d: KECCAK256 0000098e: PUSH1 0x07 00000990: ADD 00000991: PUSH1 0x14 00000993: SWAP1 00000994: SLOAD 00000995: SWAP1 00000996: PUSH2 0x0100 00000999: EXP 0000099a: SWAP1 0000099b: DIV 0000099c: PUSH1 0xff 0000099e: AND 0000099f: PUSH2 0x09d4 000009a2: JUMPI 000009a3: PUSH1 0x40 000009a5: MLOAD 000009a6: PUSH32 0xc530189400000000000000000000000000000000000000000000000000000000 000009c7: DUP2 000009c8: MSTORE 000009c9: PUSH1 0x04 000009cb: ADD 000009cc: PUSH1 0x40 000009ce: MLOAD 000009cf: DUP1 000009d0: SWAP2 000009d1: SUB 000009d2: SWAP1 000009d3: REVERT 000009d4: JUMPDEST 000009d5: DUP3 000009d6: PUSH0 000009d7: ISZERO 000009d8: ISZERO 000009d9: PUSH2 0x09e0 000009dc: PUSH2 0x2241 000009df: JUMP 000009e0: JUMPDEST 000009e1: ISZERO 000009e2: ISZERO 000009e3: EQ 000009e4: DUP1 000009e5: ISZERO 000009e6: PUSH2 0x0a4e 000009e9: JUMPI 000009ea: POP 000009eb: PUSH1 0x36 000009ed: PUSH0 000009ee: DUP3 000009ef: DUP2 000009f0: MSTORE 000009f1: PUSH1 0x20 000009f3: ADD 000009f4: SWAP1 000009f5: DUP2 000009f6: MSTORE 000009f7: PUSH1 0x20 000009f9: ADD 000009fa: PUSH0 000009fb: KECCAK256 000009fc: PUSH1 0x05 000009fe: ADD 000009ff: PUSH0 00000a00: SWAP1 00000a01: SLOAD 00000a02: SWAP1 00000a03: PUSH2 0x0100 00000a06: EXP 00000a07: SWAP1 00000a08: DIV 00000a09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a1e: AND 00000a1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a34: AND 00000a35: CALLER 00000a36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a4b: AND 00000a4c: EQ 00000a4d: ISZERO 00000a4e: JUMPDEST 00000a4f: ISZERO 00000a50: PUSH2 0x0a85 00000a53: JUMPI 00000a54: PUSH1 0x40 00000a56: MLOAD 00000a57: PUSH32 0x399fa41c00000000000000000000000000000000000000000000000000000000 00000a78: DUP2 00000a79: MSTORE 00000a7a: PUSH1 0x04 00000a7c: ADD 00000a7d: PUSH1 0x40 00000a7f: MLOAD 00000a80: DUP1 00000a81: SWAP2 00000a82: SUB 00000a83: SWAP1 00000a84: REVERT 00000a85: JUMPDEST 00000a86: PUSH0 00000a87: PUSH1 0x36 00000a89: PUSH0 00000a8a: DUP7 00000a8b: DUP2 00000a8c: MSTORE 00000a8d: PUSH1 0x20 00000a8f: ADD 00000a90: SWAP1 00000a91: DUP2 00000a92: MSTORE 00000a93: PUSH1 0x20 00000a95: ADD 00000a96: PUSH0 00000a97: KECCAK256 00000a98: PUSH1 0x40 00000a9a: MLOAD 00000a9b: DUP1 00000a9c: PUSH2 0x0120 00000a9f: ADD 00000aa0: PUSH1 0x40 00000aa2: MSTORE 00000aa3: SWAP1 00000aa4: DUP2 00000aa5: PUSH0 00000aa6: DUP3 00000aa7: ADD 00000aa8: SLOAD 00000aa9: DUP2 00000aaa: MSTORE 00000aab: PUSH1 0x20 00000aad: ADD 00000aae: PUSH1 0x01 00000ab0: DUP3 00000ab1: ADD 00000ab2: SLOAD 00000ab3: DUP2 00000ab4: MSTORE 00000ab5: PUSH1 0x20 00000ab7: ADD 00000ab8: PUSH1 0x02 00000aba: DUP3 00000abb: ADD 00000abc: SLOAD 00000abd: DUP2 00000abe: MSTORE 00000abf: PUSH1 0x20 00000ac1: ADD 00000ac2: PUSH1 0x03 00000ac4: DUP3 00000ac5: ADD 00000ac6: SLOAD 00000ac7: DUP2 00000ac8: MSTORE 00000ac9: PUSH1 0x20 00000acb: ADD 00000acc: PUSH1 0x04 00000ace: DUP3 00000acf: ADD 00000ad0: SLOAD 00000ad1: DUP2 00000ad2: MSTORE 00000ad3: PUSH1 0x20 00000ad5: ADD 00000ad6: PUSH1 0x05 00000ad8: DUP3 00000ad9: ADD 00000ada: PUSH0 00000adb: SWAP1 00000adc: SLOAD 00000add: SWAP1 00000ade: PUSH2 0x0100 00000ae1: EXP 00000ae2: SWAP1 00000ae3: DIV 00000ae4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000af9: AND 00000afa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b0f: AND 00000b10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b25: AND 00000b26: DUP2 00000b27: MSTORE 00000b28: PUSH1 0x20 00000b2a: ADD 00000b2b: PUSH1 0x06 00000b2d: DUP3 00000b2e: ADD 00000b2f: PUSH0 00000b30: SWAP1 00000b31: SLOAD 00000b32: SWAP1 00000b33: PUSH2 0x0100 00000b36: EXP 00000b37: SWAP1 00000b38: DIV 00000b39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b4e: AND 00000b4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b64: AND 00000b65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b7a: AND 00000b7b: DUP2 00000b7c: MSTORE 00000b7d: PUSH1 0x20 00000b7f: ADD 00000b80: PUSH1 0x07 00000b82: DUP3 00000b83: ADD 00000b84: PUSH0 00000b85: SWAP1 00000b86: SLOAD 00000b87: SWAP1 00000b88: PUSH2 0x0100 00000b8b: EXP 00000b8c: SWAP1 00000b8d: DIV 00000b8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ba3: AND 00000ba4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bb9: AND 00000bba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bcf: AND 00000bd0: DUP2 00000bd1: MSTORE 00000bd2: PUSH1 0x20 00000bd4: ADD 00000bd5: PUSH1 0x07 00000bd7: DUP3 00000bd8: ADD 00000bd9: PUSH1 0x14 00000bdb: SWAP1 00000bdc: SLOAD 00000bdd: SWAP1 00000bde: PUSH2 0x0100 00000be1: EXP 00000be2: SWAP1 00000be3: DIV 00000be4: PUSH1 0xff 00000be6: AND 00000be7: ISZERO 00000be8: ISZERO 00000be9: ISZERO 00000bea: ISZERO 00000beb: DUP2 00000bec: MSTORE 00000bed: POP 00000bee: POP 00000bef: SWAP1 00000bf0: POP 00000bf1: PUSH0 00000bf2: PUSH2 0x0bff 00000bf5: DUP7 00000bf6: DUP4 00000bf7: PUSH1 0xc0 00000bf9: ADD 00000bfa: MLOAD 00000bfb: PUSH2 0x066d 00000bfe: JUMP 00000bff: JUMPDEST 00000c00: SWAP1 00000c01: POP 00000c02: PUSH0 00000c03: PUSH2 0x0c10 00000c06: DUP8 00000c07: DUP5 00000c08: PUSH1 0xa0 00000c0a: ADD 00000c0b: MLOAD 00000c0c: PUSH2 0x066d 00000c0f: JUMP 00000c10: JUMPDEST 00000c11: SWAP1 00000c12: POP 00000c13: PUSH1 0x36 00000c15: PUSH0 00000c16: DUP9 00000c17: DUP2 00000c18: MSTORE 00000c19: PUSH1 0x20 00000c1b: ADD 00000c1c: SWAP1 00000c1d: DUP2 00000c1e: MSTORE 00000c1f: PUSH1 0x20 00000c21: ADD 00000c22: PUSH0 00000c23: KECCAK256 00000c24: PUSH0 00000c25: PUSH0 00000c26: DUP3 00000c27: ADD 00000c28: PUSH0 00000c29: SWAP1 00000c2a: SSTORE 00000c2b: PUSH1 0x01 00000c2d: DUP3 00000c2e: ADD 00000c2f: PUSH0 00000c30: SWAP1 00000c31: SSTORE 00000c32: PUSH1 0x02 00000c34: DUP3 00000c35: ADD 00000c36: PUSH0 00000c37: SWAP1 00000c38: SSTORE 00000c39: PUSH1 0x03 00000c3b: DUP3 00000c3c: ADD 00000c3d: PUSH0 00000c3e: SWAP1 00000c3f: SSTORE 00000c40: PUSH1 0x04 00000c42: DUP3 00000c43: ADD 00000c44: PUSH0 00000c45: SWAP1 00000c46: SSTORE 00000c47: PUSH1 0x05 00000c49: DUP3 00000c4a: ADD 00000c4b: PUSH0 00000c4c: PUSH2 0x0100 00000c4f: EXP 00000c50: DUP2 00000c51: SLOAD 00000c52: SWAP1 00000c53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c68: MUL 00000c69: NOT 00000c6a: AND 00000c6b: SWAP1 00000c6c: SSTORE 00000c6d: PUSH1 0x06 00000c6f: DUP3 00000c70: ADD 00000c71: PUSH0 00000c72: PUSH2 0x0100 00000c75: EXP 00000c76: DUP2 00000c77: SLOAD 00000c78: SWAP1 00000c79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c8e: MUL 00000c8f: NOT 00000c90: AND 00000c91: SWAP1 00000c92: SSTORE 00000c93: PUSH1 0x07 00000c95: DUP3 00000c96: ADD 00000c97: PUSH0 00000c98: PUSH2 0x0100 00000c9b: EXP 00000c9c: DUP2 00000c9d: SLOAD 00000c9e: SWAP1 00000c9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cb4: MUL 00000cb5: NOT 00000cb6: AND 00000cb7: SWAP1 00000cb8: SSTORE 00000cb9: PUSH1 0x07 00000cbb: DUP3 00000cbc: ADD 00000cbd: PUSH1 0x14 00000cbf: PUSH2 0x0100 00000cc2: EXP 00000cc3: DUP2 00000cc4: SLOAD 00000cc5: SWAP1 00000cc6: PUSH1 0xff 00000cc8: MUL 00000cc9: NOT 00000cca: AND 00000ccb: SWAP1 00000ccc: SSTORE 00000ccd: POP 00000cce: POP 00000ccf: PUSH0 00000cd0: DUP4 00000cd1: PUSH1 0xe0 00000cd3: ADD 00000cd4: MLOAD 00000cd5: SWAP1 00000cd6: POP 00000cd7: PUSH0 00000cd8: DUP3 00000cd9: GT 00000cda: ISZERO 00000cdb: PUSH2 0x0d0e 00000cde: JUMPI 00000cdf: PUSH2 0x0d0d 00000ce2: DUP5 00000ce3: PUSH1 0xa0 00000ce5: ADD 00000ce6: MLOAD 00000ce7: DUP4 00000ce8: DUP4 00000ce9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cfe: AND 00000cff: PUSH2 0x2271 00000d02: SWAP1 00000d03: SWAP3 00000d04: SWAP2 00000d05: SWAP1 00000d06: PUSH4 0xffffffff 00000d0b: AND 00000d0c: JUMP 00000d0d: JUMPDEST 00000d0e: JUMPDEST 00000d0f: DUP4 00000d10: PUSH1 0xa0 00000d12: ADD 00000d13: MLOAD 00000d14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d29: AND 00000d2a: DUP5 00000d2b: PUSH1 0xc0 00000d2d: ADD 00000d2e: MLOAD 00000d2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d44: AND 00000d45: DUP10 00000d46: PUSH32 0xca3e6079b726e7728802a0537949e2d1c7762304fa641fb06eb56daf2ba8c6b9 00000d67: DUP7 00000d68: DUP7 00000d69: PUSH1 0x40 00000d6b: MLOAD 00000d6c: PUSH2 0x0d76 00000d6f: SWAP3 00000d70: SWAP2 00000d71: SWAP1 00000d72: PUSH2 0x2caa 00000d75: JUMP 00000d76: JUMPDEST 00000d77: PUSH1 0x40 00000d79: MLOAD 00000d7a: DUP1 00000d7b: SWAP2 00000d7c: SUB 00000d7d: SWAP1 00000d7e: LOG4 00000d7f: PUSH1 0x01 00000d81: SWAP7 00000d82: POP 00000d83: POP 00000d84: POP 00000d85: POP 00000d86: POP 00000d87: POP 00000d88: POP 00000d89: PUSH2 0x0d90 00000d8c: PUSH2 0x22f0 00000d8f: JUMP 00000d90: JUMPDEST 00000d91: SWAP2 00000d92: SWAP1 00000d93: POP 00000d94: JUMP 00000d95: JUMPDEST 00000d96: PUSH0 00000d97: PUSH2 0x0d9e 00000d9a: PUSH2 0x21ed 00000d9d: JUMP 00000d9e: JUMPDEST 00000d9f: DUP3 00000da0: PUSH1 0x36 00000da2: PUSH0 00000da3: DUP3 00000da4: DUP2 00000da5: MSTORE 00000da6: PUSH1 0x20 00000da8: ADD 00000da9: SWAP1 00000daa: DUP2 00000dab: MSTORE 00000dac: PUSH1 0x20 00000dae: ADD 00000daf: PUSH0 00000db0: KECCAK256 00000db1: PUSH1 0x07 00000db3: ADD 00000db4: PUSH1 0x14 00000db6: SWAP1 00000db7: SLOAD 00000db8: SWAP1 00000db9: PUSH2 0x0100 00000dbc: EXP 00000dbd: SWAP1 00000dbe: DIV 00000dbf: PUSH1 0xff 00000dc1: AND 00000dc2: PUSH2 0x0df7 00000dc5: JUMPI 00000dc6: PUSH1 0x40 00000dc8: MLOAD 00000dc9: PUSH32 0xc530189400000000000000000000000000000000000000000000000000000000 00000dea: DUP2 00000deb: MSTORE 00000dec: PUSH1 0x04 00000dee: ADD 00000def: PUSH1 0x40 00000df1: MLOAD 00000df2: DUP1 00000df3: SWAP2 00000df4: SUB 00000df5: SWAP1 00000df6: REVERT 00000df7: JUMPDEST 00000df8: DUP4 00000df9: PUSH0 00000dfa: ISZERO 00000dfb: ISZERO 00000dfc: PUSH2 0x0e03 00000dff: PUSH2 0x2241 00000e02: JUMP 00000e03: JUMPDEST 00000e04: ISZERO 00000e05: ISZERO 00000e06: EQ 00000e07: DUP1 00000e08: ISZERO 00000e09: PUSH2 0x0e71 00000e0c: JUMPI 00000e0d: POP 00000e0e: PUSH1 0x36 00000e10: PUSH0 00000e11: DUP3 00000e12: DUP2 00000e13: MSTORE 00000e14: PUSH1 0x20 00000e16: ADD 00000e17: SWAP1 00000e18: DUP2 00000e19: MSTORE 00000e1a: PUSH1 0x20 00000e1c: ADD 00000e1d: PUSH0 00000e1e: KECCAK256 00000e1f: PUSH1 0x05 00000e21: ADD 00000e22: PUSH0 00000e23: SWAP1 00000e24: SLOAD 00000e25: SWAP1 00000e26: PUSH2 0x0100 00000e29: EXP 00000e2a: SWAP1 00000e2b: DIV 00000e2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e41: AND 00000e42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e57: AND 00000e58: CALLER 00000e59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e6e: AND 00000e6f: EQ 00000e70: ISZERO 00000e71: JUMPDEST 00000e72: ISZERO 00000e73: PUSH2 0x0ea8 00000e76: JUMPI 00000e77: PUSH1 0x40 00000e79: MLOAD 00000e7a: PUSH32 0x399fa41c00000000000000000000000000000000000000000000000000000000 00000e9b: DUP2 00000e9c: MSTORE 00000e9d: PUSH1 0x04 00000e9f: ADD 00000ea0: PUSH1 0x40 00000ea2: MLOAD 00000ea3: DUP1 00000ea4: SWAP2 00000ea5: SUB 00000ea6: SWAP1 00000ea7: REVERT 00000ea8: JUMPDEST 00000ea9: PUSH0 00000eaa: DUP5 00000eab: SUB 00000eac: PUSH2 0x0ee1 00000eaf: JUMPI 00000eb0: PUSH1 0x40 00000eb2: MLOAD 00000eb3: PUSH32 0xdd484e7000000000000000000000000000000000000000000000000000000000 00000ed4: DUP2 00000ed5: MSTORE 00000ed6: PUSH1 0x04 00000ed8: ADD 00000ed9: PUSH1 0x40 00000edb: MLOAD 00000edc: DUP1 00000edd: SWAP2 00000ede: SUB 00000edf: SWAP1 00000ee0: REVERT 00000ee1: JUMPDEST 00000ee2: PUSH0 00000ee3: PUSH1 0x36 00000ee5: PUSH0 00000ee6: DUP8 00000ee7: DUP2 00000ee8: MSTORE 00000ee9: PUSH1 0x20 00000eeb: ADD 00000eec: SWAP1 00000eed: DUP2 00000eee: MSTORE 00000eef: PUSH1 0x20 00000ef1: ADD 00000ef2: PUSH0 00000ef3: KECCAK256 00000ef4: PUSH1 0x40 00000ef6: MLOAD 00000ef7: DUP1 00000ef8: PUSH2 0x0120 00000efb: ADD 00000efc: PUSH1 0x40 00000efe: MSTORE 00000eff: SWAP1 00000f00: DUP2 00000f01: PUSH0 00000f02: DUP3 00000f03: ADD 00000f04: SLOAD 00000f05: DUP2 00000f06: MSTORE 00000f07: PUSH1 0x20 00000f09: ADD 00000f0a: PUSH1 0x01 00000f0c: DUP3 00000f0d: ADD 00000f0e: SLOAD 00000f0f: DUP2 00000f10: MSTORE 00000f11: PUSH1 0x20 00000f13: ADD 00000f14: PUSH1 0x02 00000f16: DUP3 00000f17: ADD 00000f18: SLOAD 00000f19: DUP2 00000f1a: MSTORE 00000f1b: PUSH1 0x20 00000f1d: ADD 00000f1e: PUSH1 0x03 00000f20: DUP3 00000f21: ADD 00000f22: SLOAD 00000f23: DUP2 00000f24: MSTORE 00000f25: PUSH1 0x20 00000f27: ADD 00000f28: PUSH1 0x04 00000f2a: DUP3 00000f2b: ADD 00000f2c: SLOAD 00000f2d: DUP2 00000f2e: MSTORE 00000f2f: PUSH1 0x20 00000f31: ADD 00000f32: PUSH1 0x05 00000f34: DUP3 00000f35: ADD 00000f36: PUSH0 00000f37: SWAP1 00000f38: SLOAD 00000f39: SWAP1 00000f3a: PUSH2 0x0100 00000f3d: EXP 00000f3e: SWAP1 00000f3f: DIV 00000f40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f55: AND 00000f56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f6b: AND 00000f6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f81: AND 00000f82: DUP2 00000f83: MSTORE 00000f84: PUSH1 0x20 00000f86: ADD 00000f87: PUSH1 0x06 00000f89: DUP3 00000f8a: ADD 00000f8b: PUSH0 00000f8c: SWAP1 00000f8d: SLOAD 00000f8e: SWAP1 00000f8f: PUSH2 0x0100 00000f92: EXP 00000f93: SWAP1 00000f94: DIV 00000f95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000faa: AND 00000fab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fc0: AND 00000fc1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fd6: AND 00000fd7: DUP2 00000fd8: MSTORE 00000fd9: PUSH1 0x20 00000fdb: ADD 00000fdc: PUSH1 0x07 00000fde: DUP3 00000fdf: ADD 00000fe0: PUSH0 00000fe1: SWAP1 00000fe2: SLOAD 00000fe3: SWAP1 00000fe4: PUSH2 0x0100 00000fe7: EXP 00000fe8: SWAP1 00000fe9: DIV 00000fea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fff: AND 00001000: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001015: AND 00001016: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000102b: AND 0000102c: DUP2 0000102d: MSTORE 0000102e: PUSH1 0x20 00001030: ADD 00001031: PUSH1 0x07 00001033: DUP3 00001034: ADD 00001035: PUSH1 0x14 00001037: SWAP1 00001038: SLOAD 00001039: SWAP1 0000103a: PUSH2 0x0100 0000103d: EXP 0000103e: SWAP1 0000103f: DIV 00001040: PUSH1 0xff 00001042: AND 00001043: ISZERO 00001044: ISZERO 00001045: ISZERO 00001046: ISZERO 00001047: DUP2 00001048: MSTORE 00001049: POP 0000104a: POP 0000104b: SWAP1 0000104c: POP 0000104d: PUSH0 0000104e: PUSH2 0x105b 00001051: DUP8 00001052: DUP4 00001053: PUSH1 0xa0 00001055: ADD 00001056: MLOAD 00001057: PUSH2 0x066d 0000105a: JUMP 0000105b: JUMPDEST 0000105c: SWAP1 0000105d: POP 0000105e: DUP6 0000105f: DUP2 00001060: LT 00001061: ISZERO 00001062: PUSH2 0x1097 00001065: JUMPI 00001066: PUSH1 0x40 00001068: MLOAD 00001069: PUSH32 0x4d9d73a300000000000000000000000000000000000000000000000000000000 0000108a: DUP2 0000108b: MSTORE 0000108c: PUSH1 0x04 0000108e: ADD 0000108f: PUSH1 0x40 00001091: MLOAD 00001092: DUP1 00001093: SWAP2 00001094: SUB 00001095: SWAP1 00001096: REVERT 00001097: JUMPDEST 00001098: DUP6 00001099: DUP3 0000109a: PUSH1 0x40 0000109c: ADD 0000109d: MLOAD 0000109e: PUSH2 0x10a7 000010a1: SWAP2 000010a2: SWAP1 000010a3: PUSH2 0x2c77 000010a6: JUMP 000010a7: JUMPDEST 000010a8: PUSH1 0x36 000010aa: PUSH0 000010ab: DUP10 000010ac: DUP2 000010ad: MSTORE 000010ae: PUSH1 0x20 000010b0: ADD 000010b1: SWAP1 000010b2: DUP2 000010b3: MSTORE 000010b4: PUSH1 0x20 000010b6: ADD 000010b7: PUSH0 000010b8: KECCAK256 000010b9: PUSH1 0x02 000010bb: ADD 000010bc: DUP2 000010bd: SWAP1 000010be: SSTORE 000010bf: POP 000010c0: PUSH0 000010c1: PUSH1 0x36 000010c3: PUSH0 000010c4: DUP10 000010c5: DUP2 000010c6: MSTORE 000010c7: PUSH1 0x20 000010c9: ADD 000010ca: SWAP1 000010cb: DUP2 000010cc: MSTORE 000010cd: PUSH1 0x20 000010cf: ADD 000010d0: PUSH0 000010d1: KECCAK256 000010d2: PUSH1 0x02 000010d4: ADD 000010d5: SLOAD 000010d6: SUB 000010d7: PUSH2 0x1197 000010da: JUMPI 000010db: PUSH1 0x36 000010dd: PUSH0 000010de: DUP9 000010df: DUP2 000010e0: MSTORE 000010e1: PUSH1 0x20 000010e3: ADD 000010e4: SWAP1 000010e5: DUP2 000010e6: MSTORE 000010e7: PUSH1 0x20 000010e9: ADD 000010ea: PUSH0 000010eb: KECCAK256 000010ec: PUSH0 000010ed: PUSH0 000010ee: DUP3 000010ef: ADD 000010f0: PUSH0 000010f1: SWAP1 000010f2: SSTORE 000010f3: PUSH1 0x01 000010f5: DUP3 000010f6: ADD 000010f7: PUSH0 000010f8: SWAP1 000010f9: SSTORE 000010fa: PUSH1 0x02 000010fc: DUP3 000010fd: ADD 000010fe: PUSH0 000010ff: SWAP1 00001100: SSTORE 00001101: PUSH1 0x03 00001103: DUP3 00001104: ADD 00001105: PUSH0 00001106: SWAP1 00001107: SSTORE 00001108: PUSH1 0x04 0000110a: DUP3 0000110b: ADD 0000110c: PUSH0 0000110d: SWAP1 0000110e: SSTORE 0000110f: PUSH1 0x05 00001111: DUP3 00001112: ADD 00001113: PUSH0 00001114: PUSH2 0x0100 00001117: EXP 00001118: DUP2 00001119: SLOAD 0000111a: SWAP1 0000111b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001130: MUL 00001131: NOT 00001132: AND 00001133: SWAP1 00001134: SSTORE 00001135: PUSH1 0x06 00001137: DUP3 00001138: ADD 00001139: PUSH0 0000113a: PUSH2 0x0100 0000113d: EXP 0000113e: DUP2 0000113f: SLOAD 00001140: SWAP1 00001141: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001156: MUL 00001157: NOT 00001158: AND 00001159: SWAP1 0000115a: SSTORE 0000115b: PUSH1 0x07 0000115d: DUP3 0000115e: ADD 0000115f: PUSH0 00001160: PUSH2 0x0100 00001163: EXP 00001164: DUP2 00001165: SLOAD 00001166: SWAP1 00001167: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000117c: MUL 0000117d: NOT 0000117e: AND 0000117f: SWAP1 00001180: SSTORE 00001181: PUSH1 0x07 00001183: DUP3 00001184: ADD 00001185: PUSH1 0x14 00001187: PUSH2 0x0100 0000118a: EXP 0000118b: DUP2 0000118c: SLOAD 0000118d: SWAP1 0000118e: PUSH1 0xff 00001190: MUL 00001191: NOT 00001192: AND 00001193: SWAP1 00001194: SSTORE 00001195: POP 00001196: POP 00001197: JUMPDEST 00001198: PUSH2 0x11ca 0000119b: DUP3 0000119c: PUSH1 0xa0 0000119e: ADD 0000119f: MLOAD 000011a0: DUP8 000011a1: DUP5 000011a2: PUSH1 0xe0 000011a4: ADD 000011a5: MLOAD 000011a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011bb: AND 000011bc: PUSH2 0x2271 000011bf: SWAP1 000011c0: SWAP3 000011c1: SWAP2 000011c2: SWAP1 000011c3: PUSH4 0xffffffff 000011c8: AND 000011c9: JUMP 000011ca: JUMPDEST 000011cb: DUP2 000011cc: PUSH1 0xa0 000011ce: ADD 000011cf: MLOAD 000011d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011e5: AND 000011e6: DUP8 000011e7: PUSH32 0x36c3ab437e6a424ed25dc4bfdeb62706aa06558660fab2dab229d2555adaf89c 00001208: DUP9 00001209: PUSH1 0x40 0000120b: MLOAD 0000120c: PUSH2 0x1215 0000120f: SWAP2 00001210: SWAP1 00001211: PUSH2 0x2830 00001214: JUMP 00001215: JUMPDEST 00001216: PUSH1 0x40 00001218: MLOAD 00001219: DUP1 0000121a: SWAP2 0000121b: SUB 0000121c: SWAP1 0000121d: LOG3 0000121e: PUSH1 0x01 00001220: SWAP5 00001221: POP 00001222: POP 00001223: POP 00001224: POP 00001225: POP 00001226: PUSH2 0x122d 00001229: PUSH2 0x22f0 0000122c: JUMP 0000122d: JUMPDEST 0000122e: SWAP3 0000122f: SWAP2 00001230: POP 00001231: POP 00001232: JUMP 00001233: JUMPDEST 00001234: PUSH0 00001235: PUSH0 00001236: PUSH0 00001237: PUSH0 00001238: PUSH0 00001239: PUSH0 0000123a: PUSH0 0000123b: PUSH0 0000123c: DUP9 0000123d: PUSH1 0x36 0000123f: PUSH0 00001240: DUP3 00001241: DUP2 00001242: MSTORE 00001243: PUSH1 0x20 00001245: ADD 00001246: SWAP1 00001247: DUP2 00001248: MSTORE 00001249: PUSH1 0x20 0000124b: ADD 0000124c: PUSH0 0000124d: KECCAK256 0000124e: PUSH1 0x07 00001250: ADD 00001251: PUSH1 0x14 00001253: SWAP1 00001254: SLOAD 00001255: SWAP1 00001256: PUSH2 0x0100 00001259: EXP 0000125a: SWAP1 0000125b: DIV 0000125c: PUSH1 0xff 0000125e: AND 0000125f: PUSH2 0x1294 00001262: JUMPI 00001263: PUSH1 0x40 00001265: MLOAD 00001266: PUSH32 0xc530189400000000000000000000000000000000000000000000000000000000 00001287: DUP2 00001288: MSTORE 00001289: PUSH1 0x04 0000128b: ADD 0000128c: PUSH1 0x40 0000128e: MLOAD 0000128f: DUP1 00001290: SWAP2 00001291: SUB 00001292: SWAP1 00001293: REVERT 00001294: JUMPDEST 00001295: PUSH1 0x36 00001297: PUSH0 00001298: DUP12 00001299: DUP2 0000129a: MSTORE 0000129b: PUSH1 0x20 0000129d: ADD 0000129e: SWAP1 0000129f: DUP2 000012a0: MSTORE 000012a1: PUSH1 0x20 000012a3: ADD 000012a4: PUSH0 000012a5: KECCAK256 000012a6: PUSH1 0x06 000012a8: ADD 000012a9: PUSH0 000012aa: SWAP1 000012ab: SLOAD 000012ac: SWAP1 000012ad: PUSH2 0x0100 000012b0: EXP 000012b1: SWAP1 000012b2: DIV 000012b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012c8: AND 000012c9: SWAP9 000012ca: POP 000012cb: PUSH1 0x36 000012cd: PUSH0 000012ce: DUP12 000012cf: DUP2 000012d0: MSTORE 000012d1: PUSH1 0x20 000012d3: ADD 000012d4: SWAP1 000012d5: DUP2 000012d6: MSTORE 000012d7: PUSH1 0x20 000012d9: ADD 000012da: PUSH0 000012db: KECCAK256 000012dc: PUSH1 0x05 000012de: ADD 000012df: PUSH0 000012e0: SWAP1 000012e1: SLOAD 000012e2: SWAP1 000012e3: PUSH2 0x0100 000012e6: EXP 000012e7: SWAP1 000012e8: DIV 000012e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012fe: AND 000012ff: SWAP8 00001300: POP 00001301: PUSH1 0x36 00001303: PUSH0 00001304: DUP12 00001305: DUP2 00001306: MSTORE 00001307: PUSH1 0x20 00001309: ADD 0000130a: SWAP1 0000130b: DUP2 0000130c: MSTORE 0000130d: PUSH1 0x20 0000130f: ADD 00001310: PUSH0 00001311: KECCAK256 00001312: PUSH0 00001313: ADD 00001314: SLOAD 00001315: SWAP7 00001316: POP 00001317: PUSH1 0x36 00001319: PUSH0 0000131a: DUP12 0000131b: DUP2 0000131c: MSTORE 0000131d: PUSH1 0x20 0000131f: ADD 00001320: SWAP1 00001321: DUP2 00001322: MSTORE 00001323: PUSH1 0x20 00001325: ADD 00001326: PUSH0 00001327: KECCAK256 00001328: PUSH1 0x07 0000132a: ADD 0000132b: PUSH0 0000132c: SWAP1 0000132d: SLOAD 0000132e: SWAP1 0000132f: PUSH2 0x0100 00001332: EXP 00001333: SWAP1 00001334: DIV 00001335: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000134a: AND 0000134b: SWAP6 0000134c: POP 0000134d: PUSH1 0x36 0000134f: PUSH0 00001350: DUP12 00001351: DUP2 00001352: MSTORE 00001353: PUSH1 0x20 00001355: ADD 00001356: SWAP1 00001357: DUP2 00001358: MSTORE 00001359: PUSH1 0x20 0000135b: ADD 0000135c: PUSH0 0000135d: KECCAK256 0000135e: PUSH1 0x03 00001360: ADD 00001361: SLOAD 00001362: SWAP5 00001363: POP 00001364: PUSH1 0x36 00001366: PUSH0 00001367: DUP12 00001368: DUP2 00001369: MSTORE 0000136a: PUSH1 0x20 0000136c: ADD 0000136d: SWAP1 0000136e: DUP2 0000136f: MSTORE 00001370: PUSH1 0x20 00001372: ADD 00001373: PUSH0 00001374: KECCAK256 00001375: PUSH1 0x04 00001377: ADD 00001378: SLOAD 00001379: SWAP4 0000137a: POP 0000137b: PUSH1 0x36 0000137d: PUSH0 0000137e: DUP12 0000137f: DUP2 00001380: MSTORE 00001381: PUSH1 0x20 00001383: ADD 00001384: SWAP1 00001385: DUP2 00001386: MSTORE 00001387: PUSH1 0x20 00001389: ADD 0000138a: PUSH0 0000138b: KECCAK256 0000138c: PUSH1 0x02 0000138e: ADD 0000138f: SLOAD 00001390: SWAP3 00001391: POP 00001392: PUSH1 0x36 00001394: PUSH0 00001395: DUP12 00001396: DUP2 00001397: MSTORE 00001398: PUSH1 0x20 0000139a: ADD 0000139b: SWAP1 0000139c: DUP2 0000139d: MSTORE 0000139e: PUSH1 0x20 000013a0: ADD 000013a1: PUSH0 000013a2: KECCAK256 000013a3: PUSH1 0x01 000013a5: ADD 000013a6: SLOAD 000013a7: SWAP2 000013a8: POP 000013a9: POP 000013aa: SWAP2 000013ab: SWAP4 000013ac: SWAP6 000013ad: SWAP8 000013ae: POP 000013af: SWAP2 000013b0: SWAP4 000013b1: SWAP6 000013b2: SWAP8 000013b3: JUMP 000013b4: JUMPDEST 000013b5: PUSH0 000013b6: PUSH0 000013b7: PUSH2 0x13be 000013ba: PUSH2 0x1fbb 000013bd: JUMP 000013be: JUMPDEST 000013bf: SWAP1 000013c0: POP 000013c1: DUP1 000013c2: PUSH0 000013c3: ADD 000013c4: PUSH0 000013c5: DUP6 000013c6: DUP2 000013c7: MSTORE 000013c8: PUSH1 0x20 000013ca: ADD 000013cb: SWAP1 000013cc: DUP2 000013cd: MSTORE 000013ce: PUSH1 0x20 000013d0: ADD 000013d1: PUSH0 000013d2: KECCAK256 000013d3: PUSH0 000013d4: ADD 000013d5: PUSH0 000013d6: DUP5 000013d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013ec: AND 000013ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001402: AND 00001403: DUP2 00001404: MSTORE 00001405: PUSH1 0x20 00001407: ADD 00001408: SWAP1 00001409: DUP2 0000140a: MSTORE 0000140b: PUSH1 0x20 0000140d: ADD 0000140e: PUSH0 0000140f: KECCAK256 00001410: PUSH0 00001411: SWAP1 00001412: SLOAD 00001413: SWAP1 00001414: PUSH2 0x0100 00001417: EXP 00001418: SWAP1 00001419: DIV 0000141a: PUSH1 0xff 0000141c: AND 0000141d: SWAP2 0000141e: POP 0000141f: POP 00001420: SWAP3 00001421: SWAP2 00001422: POP 00001423: POP 00001424: JUMP 00001425: JUMPDEST 00001426: PUSH32 0x46554e44535f41444d494e000000000000000000000000000000000000000000 00001447: DUP2 00001448: JUMP 00001449: JUMPDEST 0000144a: PUSH0 0000144b: PUSH0 0000144c: SHL 0000144d: DUP2 0000144e: JUMP 0000144f: JUMPDEST 00001450: PUSH0 00001451: DUP2 00001452: PUSH1 0x36 00001454: PUSH0 00001455: DUP3 00001456: DUP2 00001457: MSTORE 00001458: PUSH1 0x20 0000145a: ADD 0000145b: SWAP1 0000145c: DUP2 0000145d: MSTORE 0000145e: PUSH1 0x20 00001460: ADD 00001461: PUSH0 00001462: KECCAK256 00001463: PUSH1 0x07 00001465: ADD 00001466: PUSH1 0x14 00001468: SWAP1 00001469: SLOAD 0000146a: SWAP1 0000146b: PUSH2 0x0100 0000146e: EXP 0000146f: SWAP1 00001470: DIV 00001471: PUSH1 0xff 00001473: AND 00001474: PUSH2 0x14a9 00001477: JUMPI 00001478: PUSH1 0x40 0000147a: MLOAD 0000147b: PUSH32 0xc530189400000000000000000000000000000000000000000000000000000000 0000149c: DUP2 0000149d: MSTORE 0000149e: PUSH1 0x04 000014a0: ADD 000014a1: PUSH1 0x40 000014a3: MLOAD 000014a4: DUP1 000014a5: SWAP2 000014a6: SUB 000014a7: SWAP1 000014a8: REVERT 000014a9: JUMPDEST 000014aa: PUSH0 000014ab: PUSH1 0x36 000014ad: PUSH0 000014ae: DUP6 000014af: DUP2 000014b0: MSTORE 000014b1: PUSH1 0x20 000014b3: ADD 000014b4: SWAP1 000014b5: DUP2 000014b6: MSTORE 000014b7: PUSH1 0x20 000014b9: ADD 000014ba: PUSH0 000014bb: KECCAK256 000014bc: PUSH1 0x40 000014be: MLOAD 000014bf: DUP1 000014c0: PUSH2 0x0120 000014c3: ADD 000014c4: PUSH1 0x40 000014c6: MSTORE 000014c7: SWAP1 000014c8: DUP2 000014c9: PUSH0 000014ca: DUP3 000014cb: ADD 000014cc: SLOAD 000014cd: DUP2 000014ce: MSTORE 000014cf: PUSH1 0x20 000014d1: ADD 000014d2: PUSH1 0x01 000014d4: DUP3 000014d5: ADD 000014d6: SLOAD 000014d7: DUP2 000014d8: MSTORE 000014d9: PUSH1 0x20 000014db: ADD 000014dc: PUSH1 0x02 000014de: DUP3 000014df: ADD 000014e0: SLOAD 000014e1: DUP2 000014e2: MSTORE 000014e3: PUSH1 0x20 000014e5: ADD 000014e6: PUSH1 0x03 000014e8: DUP3 000014e9: ADD 000014ea: SLOAD 000014eb: DUP2 000014ec: MSTORE 000014ed: PUSH1 0x20 000014ef: ADD 000014f0: PUSH1 0x04 000014f2: DUP3 000014f3: ADD 000014f4: SLOAD 000014f5: DUP2 000014f6: MSTORE 000014f7: PUSH1 0x20 000014f9: ADD 000014fa: PUSH1 0x05 000014fc: DUP3 000014fd: ADD 000014fe: PUSH0 000014ff: SWAP1 00001500: SLOAD 00001501: SWAP1 00001502: PUSH2 0x0100 00001505: EXP 00001506: SWAP1 00001507: DIV 00001508: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000151d: AND 0000151e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001533: AND 00001534: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001549: AND 0000154a: DUP2 0000154b: MSTORE 0000154c: PUSH1 0x20 0000154e: ADD 0000154f: PUSH1 0x06 00001551: DUP3 00001552: ADD 00001553: PUSH0 00001554: SWAP1 00001555: SLOAD 00001556: SWAP1 00001557: PUSH2 0x0100 0000155a: EXP 0000155b: SWAP1 0000155c: DIV 0000155d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001572: AND 00001573: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001588: AND 00001589: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000159e: AND 0000159f: DUP2 000015a0: MSTORE 000015a1: PUSH1 0x20 000015a3: ADD 000015a4: PUSH1 0x07 000015a6: DUP3 000015a7: ADD 000015a8: PUSH0 000015a9: SWAP1 000015aa: SLOAD 000015ab: SWAP1 000015ac: PUSH2 0x0100 000015af: EXP 000015b0: SWAP1 000015b1: DIV 000015b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015c7: AND 000015c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015dd: AND 000015de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015f3: AND 000015f4: DUP2 000015f5: MSTORE 000015f6: PUSH1 0x20 000015f8: ADD 000015f9: PUSH1 0x07 000015fb: DUP3 000015fc: ADD 000015fd: PUSH1 0x14 000015ff: SWAP1 00001600: SLOAD 00001601: SWAP1 00001602: PUSH2 0x0100 00001605: EXP 00001606: SWAP1 00001607: DIV 00001608: PUSH1 0xff 0000160a: AND 0000160b: ISZERO 0000160c: ISZERO 0000160d: ISZERO 0000160e: ISZERO 0000160f: DUP2 00001610: MSTORE 00001611: POP 00001612: POP 00001613: SWAP1 00001614: POP 00001615: DUP1 00001616: PUSH1 0x60 00001618: ADD 00001619: MLOAD 0000161a: TIMESTAMP 0000161b: GT 0000161c: PUSH2 0x1628 0000161f: JUMPI 00001620: PUSH0 00001621: SWAP3 00001622: POP 00001623: POP 00001624: PUSH2 0x1664 00001627: JUMP 00001628: JUMPDEST 00001629: DUP1 0000162a: PUSH1 0x80 0000162c: ADD 0000162d: MLOAD 0000162e: TIMESTAMP 0000162f: LT 00001630: ISZERO 00001631: PUSH2 0x164c 00001634: JUMPI 00001635: DUP1 00001636: PUSH1 0x60 00001638: ADD 00001639: MLOAD 0000163a: TIMESTAMP 0000163b: PUSH2 0x1644 0000163e: SWAP2 0000163f: SWAP1 00001640: PUSH2 0x2c77 00001643: JUMP 00001644: JUMPDEST 00001645: SWAP3 00001646: POP 00001647: POP 00001648: PUSH2 0x1664 0000164b: JUMP 0000164c: JUMPDEST 0000164d: DUP1 0000164e: PUSH1 0x60 00001650: ADD 00001651: MLOAD 00001652: DUP2 00001653: PUSH1 0x80 00001655: ADD 00001656: MLOAD 00001657: PUSH2 0x1660 0000165a: SWAP2 0000165b: SWAP1 0000165c: PUSH2 0x2c77 0000165f: JUMP 00001660: JUMPDEST 00001661: SWAP3 00001662: POP 00001663: POP 00001664: JUMPDEST 00001665: POP 00001666: SWAP2 00001667: SWAP1 00001668: POP 00001669: JUMP 0000166a: JUMPDEST 0000166b: PUSH0 0000166c: ISZERO 0000166d: ISZERO 0000166e: PUSH2 0x1675 00001671: PUSH2 0x2241 00001674: JUMP 00001675: JUMPDEST 00001676: ISZERO 00001677: ISZERO 00001678: SUB 00001679: PUSH2 0x16ae 0000167c: JUMPI 0000167d: PUSH1 0x40 0000167f: MLOAD 00001680: PUSH32 0x277cf38100000000000000000000000000000000000000000000000000000000 000016a1: DUP2 000016a2: MSTORE 000016a3: PUSH1 0x04 000016a5: ADD 000016a6: PUSH1 0x40 000016a8: MLOAD 000016a9: DUP1 000016aa: SWAP2 000016ab: SUB 000016ac: SWAP1 000016ad: REVERT 000016ae: JUMPDEST 000016af: PUSH0 000016b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016c5: AND 000016c6: DUP3 000016c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016dc: AND 000016dd: SUB 000016de: PUSH2 0x1713 000016e1: JUMPI 000016e2: PUSH1 0x40 000016e4: MLOAD 000016e5: PUSH32 0xf6b2911f00000000000000000000000000000000000000000000000000000000 00001706: DUP2 00001707: MSTORE 00001708: PUSH1 0x04 0000170a: ADD 0000170b: PUSH1 0x40 0000170d: MLOAD 0000170e: DUP1 0000170f: SWAP2 00001710: SUB 00001711: SWAP1 00001712: REVERT 00001713: JUMPDEST 00001714: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00001729: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000173e: AND 0000173f: DUP4 00001740: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001755: AND 00001756: SUB 00001757: PUSH2 0x1788 0000175a: JUMPI 0000175b: PUSH2 0x1783 0000175e: DUP2 0000175f: DUP4 00001760: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001775: AND 00001776: PUSH2 0x2307 00001779: SWAP1 0000177a: SWAP2 0000177b: SWAP1 0000177c: PUSH4 0xffffffff 00001781: AND 00001782: JUMP 00001783: JUMPDEST 00001784: PUSH2 0x17b4 00001787: JUMP 00001788: JUMPDEST 00001789: PUSH2 0x17b3 0000178c: DUP3 0000178d: DUP3 0000178e: DUP6 0000178f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017a4: AND 000017a5: PUSH2 0x2271 000017a8: SWAP1 000017a9: SWAP3 000017aa: SWAP2 000017ab: SWAP1 000017ac: PUSH4 0xffffffff 000017b1: AND 000017b2: JUMP 000017b3: JUMPDEST 000017b4: JUMPDEST 000017b5: POP 000017b6: POP 000017b7: POP 000017b8: JUMP 000017b9: JUMPDEST 000017ba: PUSH0 000017bb: PUSH0 000017bc: ISZERO 000017bd: ISZERO 000017be: PUSH2 0x17c5 000017c1: PUSH2 0x2241 000017c4: JUMP 000017c5: JUMPDEST 000017c6: ISZERO 000017c7: ISZERO 000017c8: SUB 000017c9: PUSH2 0x17fe 000017cc: JUMPI 000017cd: PUSH1 0x40 000017cf: MLOAD 000017d0: PUSH32 0x277cf38100000000000000000000000000000000000000000000000000000000 000017f1: DUP2 000017f2: MSTORE 000017f3: PUSH1 0x04 000017f5: ADD 000017f6: PUSH1 0x40 000017f8: MLOAD 000017f9: DUP1 000017fa: SWAP2 000017fb: SUB 000017fc: SWAP1 000017fd: REVERT 000017fe: JUMPDEST 000017ff: PUSH0 00001800: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001815: AND 00001816: DUP7 00001817: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000182c: AND 0000182d: SUB 0000182e: PUSH2 0x1863 00001831: JUMPI 00001832: PUSH1 0x40 00001834: MLOAD 00001835: PUSH32 0xf6b2911f00000000000000000000000000000000000000000000000000000000 00001856: DUP2 00001857: MSTORE 00001858: PUSH1 0x04 0000185a: ADD 0000185b: PUSH1 0x40 0000185d: MLOAD 0000185e: DUP1 0000185f: SWAP2 00001860: SUB 00001861: SWAP1 00001862: REVERT 00001863: JUMPDEST 00001864: ADDRESS 00001865: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000187a: AND 0000187b: DUP7 0000187c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001891: AND 00001892: SUB 00001893: PUSH2 0x18c8 00001896: JUMPI 00001897: PUSH1 0x40 00001899: MLOAD 0000189a: PUSH32 0x9c8d2cd200000000000000000000000000000000000000000000000000000000 000018bb: DUP2 000018bc: MSTORE 000018bd: PUSH1 0x04 000018bf: ADD 000018c0: PUSH1 0x40 000018c2: MLOAD 000018c3: DUP1 000018c4: SWAP2 000018c5: SUB 000018c6: SWAP1 000018c7: REVERT 000018c8: JUMPDEST 000018c9: CALLER 000018ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018df: AND 000018e0: DUP7 000018e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018f6: AND 000018f7: SUB 000018f8: PUSH2 0x192d 000018fb: JUMPI 000018fc: PUSH1 0x40 000018fe: MLOAD 000018ff: PUSH32 0x9c8d2cd200000000000000000000000000000000000000000000000000000000 00001920: DUP2 00001921: MSTORE 00001922: PUSH1 0x04 00001924: ADD 00001925: PUSH1 0x40 00001927: MLOAD 00001928: DUP1 00001929: SWAP2 0000192a: SUB 0000192b: SWAP1 0000192c: REVERT 0000192d: JUMPDEST 0000192e: PUSH0 0000192f: DUP6 00001930: SUB 00001931: PUSH2 0x1966 00001934: JUMPI 00001935: PUSH1 0x40 00001937: MLOAD 00001938: PUSH32 0xdd484e7000000000000000000000000000000000000000000000000000000000 00001959: DUP2 0000195a: MSTORE 0000195b: PUSH1 0x04 0000195d: ADD 0000195e: PUSH1 0x40 00001960: MLOAD 00001961: DUP1 00001962: SWAP2 00001963: SUB 00001964: SWAP1 00001965: REVERT 00001966: JUMPDEST 00001967: TIMESTAMP 00001968: DUP4 00001969: LT 0000196a: ISZERO 0000196b: PUSH2 0x19a0 0000196e: JUMPI 0000196f: PUSH1 0x40 00001971: MLOAD 00001972: PUSH32 0xb290253c00000000000000000000000000000000000000000000000000000000 00001993: DUP2 00001994: MSTORE 00001995: PUSH1 0x04 00001997: ADD 00001998: PUSH1 0x40 0000199a: MLOAD 0000199b: DUP1 0000199c: SWAP2 0000199d: SUB 0000199e: SWAP1 0000199f: REVERT 000019a0: JUMPDEST 000019a1: DUP3 000019a2: DUP3 000019a3: GT 000019a4: PUSH2 0x19d9 000019a7: JUMPI 000019a8: PUSH1 0x40 000019aa: MLOAD 000019ab: PUSH32 0x5f5ab34900000000000000000000000000000000000000000000000000000000 000019cc: DUP2 000019cd: MSTORE 000019ce: PUSH1 0x04 000019d0: ADD 000019d1: PUSH1 0x40 000019d3: MLOAD 000019d4: DUP1 000019d5: SWAP2 000019d6: SUB 000019d7: SWAP1 000019d8: REVERT 000019d9: JUMPDEST 000019da: PUSH2 0x19e1 000019dd: PUSH2 0x2749 000019e0: JUMP 000019e1: JUMPDEST 000019e2: DUP4 000019e3: DUP4 000019e4: PUSH2 0x19ed 000019e7: SWAP2 000019e8: SWAP1 000019e9: PUSH2 0x2c77 000019ec: JUMP 000019ed: JUMPDEST 000019ee: DUP2 000019ef: PUSH0 000019f0: ADD 000019f1: DUP2 000019f2: DUP2 000019f3: MSTORE 000019f4: POP 000019f5: POP 000019f6: DUP1 000019f7: PUSH0 000019f8: ADD 000019f9: MLOAD 000019fa: DUP7 000019fb: LT 000019fc: ISZERO 000019fd: PUSH2 0x1a32 00001a00: JUMPI 00001a01: PUSH1 0x40 00001a03: MLOAD 00001a04: PUSH32 0xc4e1993b00000000000000000000000000000000000000000000000000000000 00001a25: DUP2 00001a26: MSTORE 00001a27: PUSH1 0x04 00001a29: ADD 00001a2a: PUSH1 0x40 00001a2c: MLOAD 00001a2d: DUP1 00001a2e: SWAP2 00001a2f: SUB 00001a30: SWAP1 00001a31: REVERT 00001a32: JUMPDEST 00001a33: PUSH0 00001a34: DUP2 00001a35: PUSH0 00001a36: ADD 00001a37: MLOAD 00001a38: DUP8 00001a39: PUSH2 0x1a42 00001a3c: SWAP2 00001a3d: SWAP1 00001a3e: PUSH2 0x2cfe 00001a41: JUMP 00001a42: JUMPDEST 00001a43: GT 00001a44: ISZERO 00001a45: PUSH2 0x1a7a 00001a48: JUMPI 00001a49: PUSH1 0x40 00001a4b: MLOAD 00001a4c: PUSH32 0xd6798b6e00000000000000000000000000000000000000000000000000000000 00001a6d: DUP2 00001a6e: MSTORE 00001a6f: PUSH1 0x04 00001a71: ADD 00001a72: PUSH1 0x40 00001a74: MLOAD 00001a75: DUP1 00001a76: SWAP2 00001a77: SUB 00001a78: SWAP1 00001a79: REVERT 00001a7a: JUMPDEST 00001a7b: DUP1 00001a7c: PUSH0 00001a7d: ADD 00001a7e: MLOAD 00001a7f: DUP7 00001a80: PUSH2 0x1a89 00001a83: SWAP2 00001a84: SWAP1 00001a85: PUSH2 0x2d2e 00001a88: JUMP 00001a89: JUMPDEST 00001a8a: DUP2 00001a8b: PUSH1 0x20 00001a8d: ADD 00001a8e: DUP2 00001a8f: DUP2 00001a90: MSTORE 00001a91: POP 00001a92: POP 00001a93: PUSH0 00001a94: PUSH1 0x35 00001a96: SLOAD 00001a97: SWAP1 00001a98: POP 00001a99: PUSH1 0x40 00001a9b: MLOAD 00001a9c: DUP1 00001a9d: PUSH2 0x0120 00001aa0: ADD 00001aa1: PUSH1 0x40 00001aa3: MSTORE 00001aa4: DUP1 00001aa5: DUP9 00001aa6: DUP2 00001aa7: MSTORE 00001aa8: PUSH1 0x20 00001aaa: ADD 00001aab: DUP4 00001aac: PUSH1 0x20 00001aae: ADD 00001aaf: MLOAD 00001ab0: DUP2 00001ab1: MSTORE 00001ab2: PUSH1 0x20 00001ab4: ADD 00001ab5: DUP9 00001ab6: DUP2 00001ab7: MSTORE 00001ab8: PUSH1 0x20 00001aba: ADD 00001abb: DUP7 00001abc: DUP2 00001abd: MSTORE 00001abe: PUSH1 0x20 00001ac0: ADD 00001ac1: DUP6 00001ac2: DUP2 00001ac3: MSTORE 00001ac4: PUSH1 0x20 00001ac6: ADD 00001ac7: DUP10 00001ac8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001add: AND 00001ade: DUP2 00001adf: MSTORE 00001ae0: PUSH1 0x20 00001ae2: ADD 00001ae3: ADDRESS 00001ae4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001af9: AND 00001afa: DUP2 00001afb: MSTORE 00001afc: PUSH1 0x20 00001afe: ADD 00001aff: DUP8 00001b00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b15: AND 00001b16: DUP2 00001b17: MSTORE 00001b18: PUSH1 0x20 00001b1a: ADD 00001b1b: PUSH1 0x01 00001b1d: ISZERO 00001b1e: ISZERO 00001b1f: DUP2 00001b20: MSTORE 00001b21: POP 00001b22: PUSH1 0x36 00001b24: PUSH0 00001b25: DUP4 00001b26: DUP2 00001b27: MSTORE 00001b28: PUSH1 0x20 00001b2a: ADD 00001b2b: SWAP1 00001b2c: DUP2 00001b2d: MSTORE 00001b2e: PUSH1 0x20 00001b30: ADD 00001b31: PUSH0 00001b32: KECCAK256 00001b33: PUSH0 00001b34: DUP3 00001b35: ADD 00001b36: MLOAD 00001b37: DUP2 00001b38: PUSH0 00001b39: ADD 00001b3a: SSTORE 00001b3b: PUSH1 0x20 00001b3d: DUP3 00001b3e: ADD 00001b3f: MLOAD 00001b40: DUP2 00001b41: PUSH1 0x01 00001b43: ADD 00001b44: SSTORE 00001b45: PUSH1 0x40 00001b47: DUP3 00001b48: ADD 00001b49: MLOAD 00001b4a: DUP2 00001b4b: PUSH1 0x02 00001b4d: ADD 00001b4e: SSTORE 00001b4f: PUSH1 0x60 00001b51: DUP3 00001b52: ADD 00001b53: MLOAD 00001b54: DUP2 00001b55: PUSH1 0x03 00001b57: ADD 00001b58: SSTORE 00001b59: PUSH1 0x80 00001b5b: DUP3 00001b5c: ADD 00001b5d: MLOAD 00001b5e: DUP2 00001b5f: PUSH1 0x04 00001b61: ADD 00001b62: SSTORE 00001b63: PUSH1 0xa0 00001b65: DUP3 00001b66: ADD 00001b67: MLOAD 00001b68: DUP2 00001b69: PUSH1 0x05 00001b6b: ADD 00001b6c: PUSH0 00001b6d: PUSH2 0x0100 00001b70: EXP 00001b71: DUP2 00001b72: SLOAD 00001b73: DUP2 00001b74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b89: MUL 00001b8a: NOT 00001b8b: AND 00001b8c: SWAP1 00001b8d: DUP4 00001b8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ba3: AND 00001ba4: MUL 00001ba5: OR 00001ba6: SWAP1 00001ba7: SSTORE 00001ba8: POP 00001ba9: PUSH1 0xc0 00001bab: DUP3 00001bac: ADD 00001bad: MLOAD 00001bae: DUP2 00001baf: PUSH1 0x06 00001bb1: ADD 00001bb2: PUSH0 00001bb3: PUSH2 0x0100 00001bb6: EXP 00001bb7: DUP2 00001bb8: SLOAD 00001bb9: DUP2 00001bba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bcf: MUL 00001bd0: NOT 00001bd1: AND 00001bd2: SWAP1 00001bd3: DUP4 00001bd4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001be9: AND 00001bea: MUL 00001beb: OR 00001bec: SWAP1 00001bed: SSTORE 00001bee: POP 00001bef: PUSH1 0xe0 00001bf1: DUP3 00001bf2: ADD 00001bf3: MLOAD 00001bf4: DUP2 00001bf5: PUSH1 0x07 00001bf7: ADD 00001bf8: PUSH0 00001bf9: PUSH2 0x0100 00001bfc: EXP 00001bfd: DUP2 00001bfe: SLOAD 00001bff: DUP2 00001c00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c15: MUL 00001c16: NOT 00001c17: AND 00001c18: SWAP1 00001c19: DUP4 00001c1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c2f: AND 00001c30: MUL 00001c31: OR 00001c32: SWAP1 00001c33: SSTORE 00001c34: POP 00001c35: PUSH2 0x0100 00001c38: DUP3 00001c39: ADD 00001c3a: MLOAD 00001c3b: DUP2 00001c3c: PUSH1 0x07 00001c3e: ADD 00001c3f: PUSH1 0x14 00001c41: PUSH2 0x0100 00001c44: EXP 00001c45: DUP2 00001c46: SLOAD 00001c47: DUP2 00001c48: PUSH1 0xff 00001c4a: MUL 00001c4b: NOT 00001c4c: AND 00001c4d: SWAP1 00001c4e: DUP4 00001c4f: ISZERO 00001c50: ISZERO 00001c51: MUL 00001c52: OR 00001c53: SWAP1 00001c54: SSTORE 00001c55: POP 00001c56: SWAP1 00001c57: POP 00001c58: POP 00001c59: PUSH1 0x35 00001c5b: PUSH0 00001c5c: DUP2 00001c5d: SLOAD 00001c5e: DUP1 00001c5f: SWAP3 00001c60: SWAP2 00001c61: SWAP1 00001c62: PUSH2 0x1c6a 00001c65: SWAP1 00001c66: PUSH2 0x2d5e 00001c69: JUMP 00001c6a: JUMPDEST 00001c6b: SWAP2 00001c6c: SWAP1 00001c6d: POP 00001c6e: SSTORE 00001c6f: POP 00001c70: DUP8 00001c71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c86: AND 00001c87: ADDRESS 00001c88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c9d: AND 00001c9e: DUP3 00001c9f: PUSH32 0x7b01d409597969366dc268d7f957a990d1ca3d3449baf8fb45db67351aecfe78 00001cc0: DUP11 00001cc1: DUP11 00001cc2: DUP11 00001cc3: DUP11 00001cc4: PUSH1 0x40 00001cc6: MLOAD 00001cc7: PUSH2 0x1cd3 00001cca: SWAP5 00001ccb: SWAP4 00001ccc: SWAP3 00001ccd: SWAP2 00001cce: SWAP1 00001ccf: PUSH2 0x2da5 00001cd2: JUMP 00001cd3: JUMPDEST 00001cd4: PUSH1 0x40 00001cd6: MLOAD 00001cd7: DUP1 00001cd8: SWAP2 00001cd9: SUB 00001cda: SWAP1 00001cdb: LOG4 00001cdc: DUP1 00001cdd: SWAP3 00001cde: POP 00001cdf: POP 00001ce0: POP 00001ce1: SWAP6 00001ce2: SWAP5 00001ce3: POP 00001ce4: POP 00001ce5: POP 00001ce6: POP 00001ce7: POP 00001ce8: JUMP 00001ce9: JUMPDEST 00001cea: PUSH2 0x1cf2 00001ced: DUP3 00001cee: PUSH2 0x05a6 00001cf1: JUMP 00001cf2: JUMPDEST 00001cf3: PUSH2 0x1cfb 00001cf6: DUP2 00001cf7: PUSH2 0x1fe2 00001cfa: JUMP 00001cfb: JUMPDEST 00001cfc: PUSH2 0x1d05 00001cff: DUP4 00001d00: DUP4 00001d01: PUSH2 0x20f5 00001d04: JUMP 00001d05: JUMPDEST 00001d06: POP 00001d07: POP 00001d08: POP 00001d09: POP 00001d0a: JUMP 00001d0b: JUMPDEST 00001d0c: PUSH0 00001d0d: PUSH2 0x1d14 00001d10: PUSH2 0x23f2 00001d13: JUMP 00001d14: JUMPDEST 00001d15: SWAP1 00001d16: POP 00001d17: PUSH0 00001d18: DUP2 00001d19: PUSH0 00001d1a: ADD 00001d1b: PUSH1 0x08 00001d1d: SWAP1 00001d1e: SLOAD 00001d1f: SWAP1 00001d20: PUSH2 0x0100 00001d23: EXP 00001d24: SWAP1 00001d25: DIV 00001d26: PUSH1 0xff 00001d28: AND 00001d29: ISZERO 00001d2a: SWAP1 00001d2b: POP 00001d2c: PUSH0 00001d2d: DUP3 00001d2e: PUSH0 00001d2f: ADD 00001d30: PUSH0 00001d31: SWAP1 00001d32: SLOAD 00001d33: SWAP1 00001d34: PUSH2 0x0100 00001d37: EXP 00001d38: SWAP1 00001d39: DIV 00001d3a: PUSH8 0xffffffffffffffff 00001d43: AND 00001d44: SWAP1 00001d45: POP 00001d46: PUSH0 00001d47: PUSH0 00001d48: DUP3 00001d49: PUSH8 0xffffffffffffffff 00001d52: AND 00001d53: EQ 00001d54: DUP1 00001d55: ISZERO 00001d56: PUSH2 0x1d5c 00001d59: JUMPI 00001d5a: POP 00001d5b: DUP3 00001d5c: JUMPDEST 00001d5d: SWAP1 00001d5e: POP 00001d5f: PUSH0 00001d60: PUSH1 0x01 00001d62: DUP4 00001d63: PUSH8 0xffffffffffffffff 00001d6c: AND 00001d6d: EQ 00001d6e: DUP1 00001d6f: ISZERO 00001d70: PUSH2 0x1d8f 00001d73: JUMPI 00001d74: POP 00001d75: PUSH0 00001d76: ADDRESS 00001d77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d8c: AND 00001d8d: EXTCODESIZE 00001d8e: EQ 00001d8f: JUMPDEST 00001d90: SWAP1 00001d91: POP 00001d92: DUP2 00001d93: ISZERO 00001d94: DUP1 00001d95: ISZERO 00001d96: PUSH2 0x1d9d 00001d99: JUMPI 00001d9a: POP 00001d9b: DUP1 00001d9c: ISZERO 00001d9d: JUMPDEST 00001d9e: ISZERO 00001d9f: PUSH2 0x1dd4 00001da2: JUMPI 00001da3: PUSH1 0x40 00001da5: MLOAD 00001da6: PUSH32 0xf92ee8a900000000000000000000000000000000000000000000000000000000 00001dc7: DUP2 00001dc8: MSTORE 00001dc9: PUSH1 0x04 00001dcb: ADD 00001dcc: PUSH1 0x40 00001dce: MLOAD 00001dcf: DUP1 00001dd0: SWAP2 00001dd1: SUB 00001dd2: SWAP1 00001dd3: REVERT 00001dd4: JUMPDEST 00001dd5: PUSH1 0x01 00001dd7: DUP6 00001dd8: PUSH0 00001dd9: ADD 00001dda: PUSH0 00001ddb: PUSH2 0x0100 00001dde: EXP 00001ddf: DUP2 00001de0: SLOAD 00001de1: DUP2 00001de2: PUSH8 0xffffffffffffffff 00001deb: MUL 00001dec: NOT 00001ded: AND 00001dee: SWAP1 00001def: DUP4 00001df0: PUSH8 0xffffffffffffffff 00001df9: AND 00001dfa: MUL 00001dfb: OR 00001dfc: SWAP1 00001dfd: SSTORE 00001dfe: POP 00001dff: DUP4 00001e00: ISZERO 00001e01: PUSH2 0x1e21 00001e04: JUMPI 00001e05: PUSH1 0x01 00001e07: DUP6 00001e08: PUSH0 00001e09: ADD 00001e0a: PUSH1 0x08 00001e0c: PUSH2 0x0100 00001e0f: EXP 00001e10: DUP2 00001e11: SLOAD 00001e12: DUP2 00001e13: PUSH1 0xff 00001e15: MUL 00001e16: NOT 00001e17: AND 00001e18: SWAP1 00001e19: DUP4 00001e1a: ISZERO 00001e1b: ISZERO 00001e1c: MUL 00001e1d: OR 00001e1e: SWAP1 00001e1f: SSTORE 00001e20: POP 00001e21: JUMPDEST 00001e22: PUSH0 00001e23: PUSH0 00001e24: SSTORE 00001e25: PUSH0 00001e26: PUSH1 0x33 00001e28: SSTORE 00001e29: PUSH0 00001e2a: PUSH1 0x34 00001e2c: SSTORE 00001e2d: PUSH2 0x1e34 00001e30: PUSH2 0x2419 00001e33: JUMP 00001e34: JUMPDEST 00001e35: PUSH2 0x1e3c 00001e38: PUSH2 0x2423 00001e3b: JUMP 00001e3c: JUMPDEST 00001e3d: PUSH2 0x1e48 00001e40: PUSH0 00001e41: PUSH0 00001e42: SHL 00001e43: DUP8 00001e44: PUSH2 0x1ff6 00001e47: JUMP 00001e48: JUMPDEST 00001e49: POP 00001e4a: DUP4 00001e4b: ISZERO 00001e4c: PUSH2 0x1ea3 00001e4f: JUMPI 00001e50: PUSH0 00001e51: DUP6 00001e52: PUSH0 00001e53: ADD 00001e54: PUSH1 0x08 00001e56: PUSH2 0x0100 00001e59: EXP 00001e5a: DUP2 00001e5b: SLOAD 00001e5c: DUP2 00001e5d: PUSH1 0xff 00001e5f: MUL 00001e60: NOT 00001e61: AND 00001e62: SWAP1 00001e63: DUP4 00001e64: ISZERO 00001e65: ISZERO 00001e66: MUL 00001e67: OR 00001e68: SWAP1 00001e69: SSTORE 00001e6a: POP 00001e6b: PUSH32 0xc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d2 00001e8c: PUSH1 0x01 00001e8e: PUSH1 0x40 00001e90: MLOAD 00001e91: PUSH2 0x1e9a 00001e94: SWAP2 00001e95: SWAP1 00001e96: PUSH2 0x2e3d 00001e99: JUMP 00001e9a: JUMPDEST 00001e9b: PUSH1 0x40 00001e9d: MLOAD 00001e9e: DUP1 00001e9f: SWAP2 00001ea0: SUB 00001ea1: SWAP1 00001ea2: LOG1 00001ea3: JUMPDEST 00001ea4: POP 00001ea5: POP 00001ea6: POP 00001ea7: POP 00001ea8: POP 00001ea9: POP 00001eaa: POP 00001eab: JUMP 00001eac: JUMPDEST 00001ead: PUSH0 00001eae: ISZERO 00001eaf: ISZERO 00001eb0: PUSH2 0x1eb7 00001eb3: PUSH2 0x2241 00001eb6: JUMP 00001eb7: JUMPDEST 00001eb8: ISZERO 00001eb9: ISZERO 00001eba: SUB 00001ebb: PUSH2 0x1ef0 00001ebe: JUMPI 00001ebf: PUSH1 0x40 00001ec1: MLOAD 00001ec2: PUSH32 0x277cf38100000000000000000000000000000000000000000000000000000000 00001ee3: DUP2 00001ee4: MSTORE 00001ee5: PUSH1 0x04 00001ee7: ADD 00001ee8: PUSH1 0x40 00001eea: MLOAD 00001eeb: DUP1 00001eec: SWAP2 00001eed: SUB 00001eee: SWAP1 00001eef: REVERT 00001ef0: JUMPDEST 00001ef1: PUSH2 0x1f1b 00001ef4: DUP3 00001ef5: DUP3 00001ef6: DUP6 00001ef7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f0c: AND 00001f0d: PUSH2 0x2435 00001f10: SWAP1 00001f11: SWAP3 00001f12: SWAP2 00001f13: SWAP1 00001f14: PUSH4 0xffffffff 00001f19: AND 00001f1a: JUMP 00001f1b: JUMPDEST 00001f1c: POP 00001f1d: POP 00001f1e: POP 00001f1f: JUMP 00001f20: JUMPDEST 00001f21: PUSH0 00001f22: PUSH2 0x1f4b 00001f25: PUSH32 0x46554e44535f41444d494e000000000000000000000000000000000000000000 00001f46: DUP4 00001f47: PUSH2 0x13b4 00001f4a: JUMP 00001f4b: JUMPDEST 00001f4c: SWAP1 00001f4d: POP 00001f4e: SWAP2 00001f4f: SWAP1 00001f50: POP 00001f51: JUMP 00001f52: JUMPDEST 00001f53: PUSH0 00001f54: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000 00001f75: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001f92: NOT 00001f93: AND 00001f94: DUP3 00001f95: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001fb2: NOT 00001fb3: AND 00001fb4: EQ 00001fb5: SWAP1 00001fb6: POP 00001fb7: SWAP2 00001fb8: SWAP1 00001fb9: POP 00001fba: JUMP 00001fbb: JUMPDEST 00001fbc: PUSH0 00001fbd: PUSH32 0x02dd7bc7dec4dceedda775e58dd541e08a116c6c53815c0bd028192f7b626800 00001fde: SWAP1 00001fdf: POP 00001fe0: SWAP1 00001fe1: JUMP 00001fe2: JUMPDEST 00001fe3: PUSH2 0x1ff3 00001fe6: DUP2 00001fe7: PUSH2 0x1fee 00001fea: PUSH2 0x20ee 00001fed: JUMP 00001fee: JUMPDEST 00001fef: PUSH2 0x2542 00001ff2: JUMP 00001ff3: JUMPDEST 00001ff4: POP 00001ff5: JUMP 00001ff6: JUMPDEST 00001ff7: PUSH0 00001ff8: PUSH0 00001ff9: PUSH2 0x2000 00001ffc: PUSH2 0x1fbb 00001fff: JUMP 00002000: JUMPDEST 00002001: SWAP1 00002002: POP 00002003: PUSH2 0x200c 00002006: DUP5 00002007: DUP5 00002008: PUSH2 0x13b4 0000200b: JUMP 0000200c: JUMPDEST 0000200d: PUSH2 0x20e3 00002010: JUMPI 00002011: PUSH1 0x01 00002013: DUP2 00002014: PUSH0 00002015: ADD 00002016: PUSH0 00002017: DUP7 00002018: DUP2 00002019: MSTORE 0000201a: PUSH1 0x20 0000201c: ADD 0000201d: SWAP1 0000201e: DUP2 0000201f: MSTORE 00002020: PUSH1 0x20 00002022: ADD 00002023: PUSH0 00002024: KECCAK256 00002025: PUSH0 00002026: ADD 00002027: PUSH0 00002028: DUP6 00002029: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000203e: AND 0000203f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002054: AND 00002055: DUP2 00002056: MSTORE 00002057: PUSH1 0x20 00002059: ADD 0000205a: SWAP1 0000205b: DUP2 0000205c: MSTORE 0000205d: PUSH1 0x20 0000205f: ADD 00002060: PUSH0 00002061: KECCAK256 00002062: PUSH0 00002063: PUSH2 0x0100 00002066: EXP 00002067: DUP2 00002068: SLOAD 00002069: DUP2 0000206a: PUSH1 0xff 0000206c: MUL 0000206d: NOT 0000206e: AND 0000206f: SWAP1 00002070: DUP4 00002071: ISZERO 00002072: ISZERO 00002073: MUL 00002074: OR 00002075: SWAP1 00002076: SSTORE 00002077: POP 00002078: PUSH2 0x207f 0000207b: PUSH2 0x20ee 0000207e: JUMP 0000207f: JUMPDEST 00002080: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002095: AND 00002096: DUP4 00002097: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020ac: AND 000020ad: DUP6 000020ae: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d 000020cf: PUSH1 0x40 000020d1: MLOAD 000020d2: PUSH1 0x40 000020d4: MLOAD 000020d5: DUP1 000020d6: SWAP2 000020d7: SUB 000020d8: SWAP1 000020d9: LOG4 000020da: PUSH1 0x01 000020dc: SWAP2 000020dd: POP 000020de: POP 000020df: PUSH2 0x20e8 000020e2: JUMP 000020e3: JUMPDEST 000020e4: PUSH0 000020e5: SWAP2 000020e6: POP 000020e7: POP 000020e8: JUMPDEST 000020e9: SWAP3 000020ea: SWAP2 000020eb: POP 000020ec: POP 000020ed: JUMP 000020ee: JUMPDEST 000020ef: PUSH0 000020f0: CALLER 000020f1: SWAP1 000020f2: POP 000020f3: SWAP1 000020f4: JUMP 000020f5: JUMPDEST 000020f6: PUSH0 000020f7: PUSH0 000020f8: PUSH2 0x20ff 000020fb: PUSH2 0x1fbb 000020fe: JUMP 000020ff: JUMPDEST 00002100: SWAP1 00002101: POP 00002102: PUSH2 0x210b 00002105: DUP5 00002106: DUP5 00002107: PUSH2 0x13b4 0000210a: JUMP 0000210b: JUMPDEST 0000210c: ISZERO 0000210d: PUSH2 0x21e2 00002110: JUMPI 00002111: PUSH0 00002112: DUP2 00002113: PUSH0 00002114: ADD 00002115: PUSH0 00002116: DUP7 00002117: DUP2 00002118: MSTORE 00002119: PUSH1 0x20 0000211b: ADD 0000211c: SWAP1 0000211d: DUP2 0000211e: MSTORE 0000211f: PUSH1 0x20 00002121: ADD 00002122: PUSH0 00002123: KECCAK256 00002124: PUSH0 00002125: ADD 00002126: PUSH0 00002127: DUP6 00002128: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000213d: AND 0000213e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002153: AND 00002154: DUP2 00002155: MSTORE 00002156: PUSH1 0x20 00002158: ADD 00002159: SWAP1 0000215a: DUP2 0000215b: MSTORE 0000215c: PUSH1 0x20 0000215e: ADD 0000215f: PUSH0 00002160: KECCAK256 00002161: PUSH0 00002162: PUSH2 0x0100 00002165: EXP 00002166: DUP2 00002167: SLOAD 00002168: DUP2 00002169: PUSH1 0xff 0000216b: MUL 0000216c: NOT 0000216d: AND 0000216e: SWAP1 0000216f: DUP4 00002170: ISZERO 00002171: ISZERO 00002172: MUL 00002173: OR 00002174: SWAP1 00002175: SSTORE 00002176: POP 00002177: PUSH2 0x217e 0000217a: PUSH2 0x20ee 0000217d: JUMP 0000217e: JUMPDEST 0000217f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002194: AND 00002195: DUP4 00002196: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021ab: AND 000021ac: DUP6 000021ad: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b 000021ce: PUSH1 0x40 000021d0: MLOAD 000021d1: PUSH1 0x40 000021d3: MLOAD 000021d4: DUP1 000021d5: SWAP2 000021d6: SUB 000021d7: SWAP1 000021d8: LOG4 000021d9: PUSH1 0x01 000021db: SWAP2 000021dc: POP 000021dd: POP 000021de: PUSH2 0x21e7 000021e1: JUMP 000021e2: JUMPDEST 000021e3: PUSH0 000021e4: SWAP2 000021e5: POP 000021e6: POP 000021e7: JUMPDEST 000021e8: SWAP3 000021e9: SWAP2 000021ea: POP 000021eb: POP 000021ec: JUMP 000021ed: JUMPDEST 000021ee: PUSH0 000021ef: PUSH2 0x21f6 000021f2: PUSH2 0x2593 000021f5: JUMP 000021f6: JUMPDEST 000021f7: SWAP1 000021f8: POP 000021f9: PUSH1 0x02 000021fb: DUP2 000021fc: PUSH0 000021fd: ADD 000021fe: SLOAD 000021ff: SUB 00002200: PUSH2 0x2235 00002203: JUMPI 00002204: PUSH1 0x40 00002206: MLOAD 00002207: PUSH32 0x3ee5aeb500000000000000000000000000000000000000000000000000000000 00002228: DUP2 00002229: MSTORE 0000222a: PUSH1 0x04 0000222c: ADD 0000222d: PUSH1 0x40 0000222f: MLOAD 00002230: DUP1 00002231: SWAP2 00002232: SUB 00002233: SWAP1 00002234: REVERT 00002235: JUMPDEST 00002236: PUSH1 0x02 00002238: DUP2 00002239: PUSH0 0000223a: ADD 0000223b: DUP2 0000223c: SWAP1 0000223d: SSTORE 0000223e: POP 0000223f: POP 00002240: JUMP 00002241: JUMPDEST 00002242: PUSH0 00002243: PUSH2 0x226c 00002246: PUSH32 0x46554e44535f41444d494e000000000000000000000000000000000000000000 00002267: CALLER 00002268: PUSH2 0x13b4 0000226b: JUMP 0000226c: JUMPDEST 0000226d: SWAP1 0000226e: POP 0000226f: SWAP1 00002270: JUMP 00002271: JUMPDEST 00002272: PUSH2 0x22eb 00002275: DUP4 00002276: DUP5 00002277: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000228c: AND 0000228d: PUSH4 0xa9059cbb 00002292: DUP6 00002293: DUP6 00002294: PUSH1 0x40 00002296: MLOAD 00002297: PUSH1 0x24 00002299: ADD 0000229a: PUSH2 0x22a4 0000229d: SWAP3 0000229e: SWAP2 0000229f: SWAP1 000022a0: PUSH2 0x2e56 000022a3: JUMP 000022a4: JUMPDEST 000022a5: PUSH1 0x40 000022a7: MLOAD 000022a8: PUSH1 0x20 000022aa: DUP2 000022ab: DUP4 000022ac: SUB 000022ad: SUB 000022ae: DUP2 000022af: MSTORE 000022b0: SWAP1 000022b1: PUSH1 0x40 000022b3: MSTORE 000022b4: SWAP2 000022b5: POP 000022b6: PUSH1 0xe0 000022b8: SHL 000022b9: PUSH1 0x20 000022bb: DUP3 000022bc: ADD 000022bd: DUP1 000022be: MLOAD 000022bf: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000022dc: DUP4 000022dd: DUP2 000022de: DUP4 000022df: AND 000022e0: OR 000022e1: DUP4 000022e2: MSTORE 000022e3: POP 000022e4: POP 000022e5: POP 000022e6: POP 000022e7: PUSH2 0x25ba 000022ea: JUMP 000022eb: JUMPDEST 000022ec: POP 000022ed: POP 000022ee: POP 000022ef: JUMP 000022f0: JUMPDEST 000022f1: PUSH0 000022f2: PUSH2 0x22f9 000022f5: PUSH2 0x2593 000022f8: JUMP 000022f9: JUMPDEST 000022fa: SWAP1 000022fb: POP 000022fc: PUSH1 0x01 000022fe: DUP2 000022ff: PUSH0 00002300: ADD 00002301: DUP2 00002302: SWAP1 00002303: SSTORE 00002304: POP 00002305: POP 00002306: JUMP 00002307: JUMPDEST 00002308: DUP1 00002309: SELFBALANCE 0000230a: LT 0000230b: ISZERO 0000230c: PUSH2 0x234e 0000230f: JUMPI 00002310: SELFBALANCE 00002311: DUP2 00002312: PUSH1 0x40 00002314: MLOAD 00002315: PUSH32 0xcf47918100000000000000000000000000000000000000000000000000000000 00002336: DUP2 00002337: MSTORE 00002338: PUSH1 0x04 0000233a: ADD 0000233b: PUSH2 0x2345 0000233e: SWAP3 0000233f: SWAP2 00002340: SWAP1 00002341: PUSH2 0x2caa 00002344: JUMP 00002345: JUMPDEST 00002346: PUSH1 0x40 00002348: MLOAD 00002349: DUP1 0000234a: SWAP2 0000234b: SUB 0000234c: SWAP1 0000234d: REVERT 0000234e: JUMPDEST 0000234f: PUSH0 00002350: DUP3 00002351: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002366: AND 00002367: DUP3 00002368: PUSH1 0x40 0000236a: MLOAD 0000236b: PUSH2 0x2373 0000236e: SWAP1 0000236f: PUSH2 0x2eaa 00002372: JUMP 00002373: JUMPDEST 00002374: PUSH0 00002375: PUSH1 0x40 00002377: MLOAD 00002378: DUP1 00002379: DUP4 0000237a: SUB 0000237b: DUP2 0000237c: DUP6 0000237d: DUP8 0000237e: GAS 0000237f: CALL 00002380: SWAP3 00002381: POP 00002382: POP 00002383: POP 00002384: RETURNDATASIZE 00002385: DUP1 00002386: PUSH0 00002387: DUP2 00002388: EQ 00002389: PUSH2 0x23ad 0000238c: JUMPI 0000238d: PUSH1 0x40 0000238f: MLOAD 00002390: SWAP2 00002391: POP 00002392: PUSH1 0x1f 00002394: NOT 00002395: PUSH1 0x3f 00002397: RETURNDATASIZE 00002398: ADD 00002399: AND 0000239a: DUP3 0000239b: ADD 0000239c: PUSH1 0x40 0000239e: MSTORE 0000239f: RETURNDATASIZE 000023a0: DUP3 000023a1: MSTORE 000023a2: RETURNDATASIZE 000023a3: PUSH0 000023a4: PUSH1 0x20 000023a6: DUP5 000023a7: ADD 000023a8: RETURNDATACOPY 000023a9: PUSH2 0x23b2 000023ac: JUMP 000023ad: JUMPDEST 000023ae: PUSH1 0x60 000023b0: SWAP2 000023b1: POP 000023b2: JUMPDEST 000023b3: POP 000023b4: POP 000023b5: SWAP1 000023b6: POP 000023b7: DUP1 000023b8: PUSH2 0x23ed 000023bb: JUMPI 000023bc: PUSH1 0x40 000023be: MLOAD 000023bf: PUSH32 0xd6bda27500000000000000000000000000000000000000000000000000000000 000023e0: DUP2 000023e1: MSTORE 000023e2: PUSH1 0x04 000023e4: ADD 000023e5: PUSH1 0x40 000023e7: MLOAD 000023e8: DUP1 000023e9: SWAP2 000023ea: SUB 000023eb: SWAP1 000023ec: REVERT 000023ed: JUMPDEST 000023ee: POP 000023ef: POP 000023f0: POP 000023f1: JUMP 000023f2: JUMPDEST 000023f3: PUSH0 000023f4: PUSH32 0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00 00002415: SWAP1 00002416: POP 00002417: SWAP1 00002418: JUMP 00002419: JUMPDEST 0000241a: PUSH2 0x2421 0000241d: PUSH2 0x2655 00002420: JUMP 00002421: JUMPDEST 00002422: JUMP 00002423: JUMPDEST 00002424: PUSH2 0x242b 00002427: PUSH2 0x2655 0000242a: JUMP 0000242b: JUMPDEST 0000242c: PUSH2 0x2433 0000242f: PUSH2 0x2695 00002432: JUMP 00002433: JUMPDEST 00002434: JUMP 00002435: JUMPDEST 00002436: PUSH0 00002437: DUP4 00002438: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000244d: AND 0000244e: PUSH4 0x095ea7b3 00002453: DUP5 00002454: DUP5 00002455: PUSH1 0x40 00002457: MLOAD 00002458: PUSH1 0x24 0000245a: ADD 0000245b: PUSH2 0x2465 0000245e: SWAP3 0000245f: SWAP2 00002460: SWAP1 00002461: PUSH2 0x2e56 00002464: JUMP 00002465: JUMPDEST 00002466: PUSH1 0x40 00002468: MLOAD 00002469: PUSH1 0x20 0000246b: DUP2 0000246c: DUP4 0000246d: SUB 0000246e: SUB 0000246f: DUP2 00002470: MSTORE 00002471: SWAP1 00002472: PUSH1 0x40 00002474: MSTORE 00002475: SWAP2 00002476: POP 00002477: PUSH1 0xe0 00002479: SHL 0000247a: PUSH1 0x20 0000247c: DUP3 0000247d: ADD 0000247e: DUP1 0000247f: MLOAD 00002480: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000249d: DUP4 0000249e: DUP2 0000249f: DUP4 000024a0: AND 000024a1: OR 000024a2: DUP4 000024a3: MSTORE 000024a4: POP 000024a5: POP 000024a6: POP 000024a7: POP 000024a8: SWAP1 000024a9: POP 000024aa: PUSH2 0x24b3 000024ad: DUP5 000024ae: DUP3 000024af: PUSH2 0x26b4 000024b2: JUMP 000024b3: JUMPDEST 000024b4: PUSH2 0x253c 000024b7: JUMPI 000024b8: PUSH2 0x2531 000024bb: DUP5 000024bc: DUP6 000024bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024d2: AND 000024d3: PUSH4 0x095ea7b3 000024d8: DUP7 000024d9: PUSH0 000024da: PUSH1 0x40 000024dc: MLOAD 000024dd: PUSH1 0x24 000024df: ADD 000024e0: PUSH2 0x24ea 000024e3: SWAP3 000024e4: SWAP2 000024e5: SWAP1 000024e6: PUSH2 0x2ef7 000024e9: JUMP 000024ea: JUMPDEST 000024eb: PUSH1 0x40 000024ed: MLOAD 000024ee: PUSH1 0x20 000024f0: DUP2 000024f1: DUP4 000024f2: SUB 000024f3: SUB 000024f4: DUP2 000024f5: MSTORE 000024f6: SWAP1 000024f7: PUSH1 0x40 000024f9: MSTORE 000024fa: SWAP2 000024fb: POP 000024fc: PUSH1 0xe0 000024fe: SHL 000024ff: PUSH1 0x20 00002501: DUP3 00002502: ADD 00002503: DUP1 00002504: MLOAD 00002505: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00002522: DUP4 00002523: DUP2 00002524: DUP4 00002525: AND 00002526: OR 00002527: DUP4 00002528: MSTORE 00002529: POP 0000252a: POP 0000252b: POP 0000252c: POP 0000252d: PUSH2 0x25ba 00002530: JUMP 00002531: JUMPDEST 00002532: PUSH2 0x253b 00002535: DUP5 00002536: DUP3 00002537: PUSH2 0x25ba 0000253a: JUMP 0000253b: JUMPDEST 0000253c: JUMPDEST 0000253d: POP 0000253e: POP 0000253f: POP 00002540: POP 00002541: JUMP 00002542: JUMPDEST 00002543: PUSH2 0x254c 00002546: DUP3 00002547: DUP3 00002548: PUSH2 0x13b4 0000254b: JUMP 0000254c: JUMPDEST 0000254d: PUSH2 0x258f 00002550: JUMPI 00002551: DUP1 00002552: DUP3 00002553: PUSH1 0x40 00002555: MLOAD 00002556: PUSH32 0xe2517d3f00000000000000000000000000000000000000000000000000000000 00002577: DUP2 00002578: MSTORE 00002579: PUSH1 0x04 0000257b: ADD 0000257c: PUSH2 0x2586 0000257f: SWAP3 00002580: SWAP2 00002581: SWAP1 00002582: PUSH2 0x2f1e 00002585: JUMP 00002586: JUMPDEST 00002587: PUSH1 0x40 00002589: MLOAD 0000258a: DUP1 0000258b: SWAP2 0000258c: SUB 0000258d: SWAP1 0000258e: REVERT 0000258f: JUMPDEST 00002590: POP 00002591: POP 00002592: JUMP 00002593: JUMPDEST 00002594: PUSH0 00002595: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00 000025b6: SWAP1 000025b7: POP 000025b8: SWAP1 000025b9: JUMP 000025ba: JUMPDEST 000025bb: PUSH0 000025bc: PUSH0 000025bd: PUSH1 0x20 000025bf: PUSH0 000025c0: DUP5 000025c1: MLOAD 000025c2: PUSH1 0x20 000025c4: DUP7 000025c5: ADD 000025c6: PUSH0 000025c7: DUP9 000025c8: GAS 000025c9: CALL 000025ca: DUP1 000025cb: PUSH2 0x25d9 000025ce: JUMPI 000025cf: PUSH1 0x40 000025d1: MLOAD 000025d2: RETURNDATASIZE 000025d3: PUSH0 000025d4: DUP3 000025d5: RETURNDATACOPY 000025d6: RETURNDATASIZE 000025d7: DUP2 000025d8: REVERT 000025d9: JUMPDEST 000025da: RETURNDATASIZE 000025db: SWAP3 000025dc: POP 000025dd: PUSH0 000025de: MLOAD 000025df: SWAP2 000025e0: POP 000025e1: POP 000025e2: PUSH0 000025e3: DUP3 000025e4: EQ 000025e5: PUSH2 0x25f2 000025e8: JUMPI 000025e9: PUSH1 0x01 000025eb: DUP2 000025ec: EQ 000025ed: ISZERO 000025ee: PUSH2 0x260d 000025f1: JUMP 000025f2: JUMPDEST 000025f3: PUSH0 000025f4: DUP5 000025f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000260a: AND 0000260b: EXTCODESIZE 0000260c: EQ 0000260d: JUMPDEST 0000260e: ISZERO 0000260f: PUSH2 0x264f 00002612: JUMPI 00002613: DUP4 00002614: PUSH1 0x40 00002616: MLOAD 00002617: PUSH32 0x5274afe700000000000000000000000000000000000000000000000000000000 00002638: DUP2 00002639: MSTORE 0000263a: PUSH1 0x04 0000263c: ADD 0000263d: PUSH2 0x2646 00002640: SWAP2 00002641: SWAP1 00002642: PUSH2 0x29de 00002645: JUMP 00002646: JUMPDEST 00002647: PUSH1 0x40 00002649: MLOAD 0000264a: DUP1 0000264b: SWAP2 0000264c: SUB 0000264d: SWAP1 0000264e: REVERT 0000264f: JUMPDEST 00002650: POP 00002651: POP 00002652: POP 00002653: POP 00002654: JUMP 00002655: JUMPDEST 00002656: PUSH2 0x265d 00002659: PUSH2 0x270d 0000265c: JUMP 0000265d: JUMPDEST 0000265e: PUSH2 0x2693 00002661: JUMPI 00002662: PUSH1 0x40 00002664: MLOAD 00002665: PUSH32 0xd7e6bcf800000000000000000000000000000000000000000000000000000000 00002686: DUP2 00002687: MSTORE 00002688: PUSH1 0x04 0000268a: ADD 0000268b: PUSH1 0x40 0000268d: MLOAD 0000268e: DUP1 0000268f: SWAP2 00002690: SUB 00002691: SWAP1 00002692: REVERT 00002693: JUMPDEST 00002694: JUMP 00002695: JUMPDEST 00002696: PUSH2 0x269d 00002699: PUSH2 0x2655 0000269c: JUMP 0000269d: JUMPDEST 0000269e: PUSH0 0000269f: PUSH2 0x26a6 000026a2: PUSH2 0x2593 000026a5: JUMP 000026a6: JUMPDEST 000026a7: SWAP1 000026a8: POP 000026a9: PUSH1 0x01 000026ab: DUP2 000026ac: PUSH0 000026ad: ADD 000026ae: DUP2 000026af: SWAP1 000026b0: SSTORE 000026b1: POP 000026b2: POP 000026b3: JUMP 000026b4: JUMPDEST 000026b5: PUSH0 000026b6: PUSH0 000026b7: PUSH0 000026b8: PUSH0 000026b9: PUSH1 0x20 000026bb: PUSH0 000026bc: DUP7 000026bd: MLOAD 000026be: PUSH1 0x20 000026c0: DUP9 000026c1: ADD 000026c2: PUSH0 000026c3: DUP11 000026c4: GAS 000026c5: CALL 000026c6: SWAP3 000026c7: POP 000026c8: RETURNDATASIZE 000026c9: SWAP2 000026ca: POP 000026cb: PUSH0 000026cc: MLOAD 000026cd: SWAP1 000026ce: POP 000026cf: DUP3 000026d0: DUP1 000026d1: ISZERO 000026d2: PUSH2 0x2702 000026d5: JUMPI 000026d6: POP 000026d7: PUSH0 000026d8: DUP3 000026d9: EQ 000026da: PUSH2 0x26e6 000026dd: JUMPI 000026de: PUSH1 0x01 000026e0: DUP2 000026e1: EQ 000026e2: PUSH2 0x2701 000026e5: JUMP 000026e6: JUMPDEST 000026e7: PUSH0 000026e8: DUP7 000026e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000026fe: AND 000026ff: EXTCODESIZE 00002700: GT 00002701: JUMPDEST 00002702: JUMPDEST 00002703: SWAP4 00002704: POP 00002705: POP 00002706: POP 00002707: POP 00002708: SWAP3 00002709: SWAP2 0000270a: POP 0000270b: POP 0000270c: JUMP 0000270d: JUMPDEST 0000270e: PUSH0 0000270f: PUSH2 0x2716 00002712: PUSH2 0x23f2 00002715: JUMP 00002716: JUMPDEST 00002717: PUSH0 00002718: ADD 00002719: PUSH1 0x08 0000271b: SWAP1 0000271c: SLOAD 0000271d: SWAP1 0000271e: PUSH2 0x0100 00002721: EXP 00002722: SWAP1 00002723: DIV 00002724: PUSH1 0xff 00002726: AND 00002727: SWAP1 00002728: POP 00002729: SWAP1 0000272a: JUMP 0000272b: JUMPDEST 0000272c: PUSH1 0x40 0000272e: MLOAD 0000272f: DUP1 00002730: PUSH1 0x60 00002732: ADD 00002733: PUSH1 0x40 00002735: MSTORE 00002736: DUP1 00002737: PUSH0 00002738: DUP2 00002739: MSTORE 0000273a: PUSH1 0x20 0000273c: ADD 0000273d: PUSH0 0000273e: DUP2 0000273f: MSTORE 00002740: PUSH1 0x20 00002742: ADD 00002743: PUSH0 00002744: DUP2 00002745: MSTORE 00002746: POP 00002747: SWAP1 00002748: JUMP 00002749: JUMPDEST 0000274a: PUSH1 0x40 0000274c: MLOAD 0000274d: DUP1 0000274e: PUSH1 0x40 00002750: ADD 00002751: PUSH1 0x40 00002753: MSTORE 00002754: DUP1 00002755: PUSH0 00002756: DUP2 00002757: MSTORE 00002758: PUSH1 0x20 0000275a: ADD 0000275b: PUSH0 0000275c: DUP2 0000275d: MSTORE 0000275e: POP 0000275f: SWAP1 00002760: JUMP 00002761: JUMPDEST 00002762: PUSH0 00002763: PUSH0 00002764: REVERT 00002765: JUMPDEST 00002766: PUSH0 00002767: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00002788: DUP3 00002789: AND 0000278a: SWAP1 0000278b: POP 0000278c: SWAP2 0000278d: SWAP1 0000278e: POP 0000278f: JUMP 00002790: JUMPDEST 00002791: PUSH2 0x2799 00002794: DUP2 00002795: PUSH2 0x2765 00002798: JUMP 00002799: JUMPDEST 0000279a: DUP2 0000279b: EQ 0000279c: PUSH2 0x27a3 0000279f: JUMPI 000027a0: PUSH0 000027a1: PUSH0 000027a2: REVERT 000027a3: JUMPDEST 000027a4: POP 000027a5: JUMP 000027a6: JUMPDEST 000027a7: PUSH0 000027a8: DUP2 000027a9: CALLDATALOAD 000027aa: SWAP1 000027ab: POP 000027ac: PUSH2 0x27b4 000027af: DUP2 000027b0: PUSH2 0x2790 000027b3: JUMP 000027b4: JUMPDEST 000027b5: SWAP3 000027b6: SWAP2 000027b7: POP 000027b8: POP 000027b9: JUMP 000027ba: JUMPDEST 000027bb: PUSH0 000027bc: PUSH1 0x20 000027be: DUP3 000027bf: DUP5 000027c0: SUB 000027c1: SLT 000027c2: ISZERO 000027c3: PUSH2 0x27cf 000027c6: JUMPI 000027c7: PUSH2 0x27ce 000027ca: PUSH2 0x2761 000027cd: JUMP 000027ce: JUMPDEST 000027cf: JUMPDEST 000027d0: PUSH0 000027d1: PUSH2 0x27dc 000027d4: DUP5 000027d5: DUP3 000027d6: DUP6 000027d7: ADD 000027d8: PUSH2 0x27a6 000027db: JUMP 000027dc: JUMPDEST 000027dd: SWAP2 000027de: POP 000027df: POP 000027e0: SWAP3 000027e1: SWAP2 000027e2: POP 000027e3: POP 000027e4: JUMP 000027e5: JUMPDEST 000027e6: PUSH0 000027e7: DUP2 000027e8: ISZERO 000027e9: ISZERO 000027ea: SWAP1 000027eb: POP 000027ec: SWAP2 000027ed: SWAP1 000027ee: POP 000027ef: JUMP 000027f0: JUMPDEST 000027f1: PUSH2 0x27f9 000027f4: DUP2 000027f5: PUSH2 0x27e5 000027f8: JUMP 000027f9: JUMPDEST 000027fa: DUP3 000027fb: MSTORE 000027fc: POP 000027fd: POP 000027fe: JUMP 000027ff: JUMPDEST 00002800: PUSH0 00002801: PUSH1 0x20 00002803: DUP3 00002804: ADD 00002805: SWAP1 00002806: POP 00002807: PUSH2 0x2812 0000280a: PUSH0 0000280b: DUP4 0000280c: ADD 0000280d: DUP5 0000280e: PUSH2 0x27f0 00002811: JUMP 00002812: JUMPDEST 00002813: SWAP3 00002814: SWAP2 00002815: POP 00002816: POP 00002817: JUMP 00002818: JUMPDEST 00002819: PUSH0 0000281a: DUP2 0000281b: SWAP1 0000281c: POP 0000281d: SWAP2 0000281e: SWAP1 0000281f: POP 00002820: JUMP 00002821: JUMPDEST 00002822: PUSH2 0x282a 00002825: DUP2 00002826: PUSH2 0x2818 00002829: JUMP 0000282a: JUMPDEST 0000282b: DUP3 0000282c: MSTORE 0000282d: POP 0000282e: POP 0000282f: JUMP 00002830: JUMPDEST 00002831: PUSH0 00002832: PUSH1 0x20 00002834: DUP3 00002835: ADD 00002836: SWAP1 00002837: POP 00002838: PUSH2 0x2843 0000283b: PUSH0 0000283c: DUP4 0000283d: ADD 0000283e: DUP5 0000283f: PUSH2 0x2821 00002842: JUMP 00002843: JUMPDEST 00002844: SWAP3 00002845: SWAP2 00002846: POP 00002847: POP 00002848: JUMP 00002849: JUMPDEST 0000284a: PUSH0 0000284b: DUP2 0000284c: SWAP1 0000284d: POP 0000284e: SWAP2 0000284f: SWAP1 00002850: POP 00002851: JUMP 00002852: JUMPDEST 00002853: PUSH2 0x285b 00002856: DUP2 00002857: PUSH2 0x2849 0000285a: JUMP 0000285b: JUMPDEST 0000285c: DUP2 0000285d: EQ 0000285e: PUSH2 0x2865 00002861: JUMPI 00002862: PUSH0 00002863: PUSH0 00002864: REVERT 00002865: JUMPDEST 00002866: POP 00002867: JUMP 00002868: JUMPDEST 00002869: PUSH0 0000286a: DUP2 0000286b: CALLDATALOAD 0000286c: SWAP1 0000286d: POP 0000286e: PUSH2 0x2876 00002871: DUP2 00002872: PUSH2 0x2852 00002875: JUMP 00002876: JUMPDEST 00002877: SWAP3 00002878: SWAP2 00002879: POP 0000287a: POP 0000287b: JUMP 0000287c: JUMPDEST 0000287d: PUSH0 0000287e: PUSH1 0x20 00002880: DUP3 00002881: DUP5 00002882: SUB 00002883: SLT 00002884: ISZERO 00002885: PUSH2 0x2891 00002888: JUMPI 00002889: PUSH2 0x2890 0000288c: PUSH2 0x2761 0000288f: JUMP 00002890: JUMPDEST 00002891: JUMPDEST 00002892: PUSH0 00002893: PUSH2 0x289e 00002896: DUP5 00002897: DUP3 00002898: DUP6 00002899: ADD 0000289a: PUSH2 0x2868 0000289d: JUMP 0000289e: JUMPDEST 0000289f: SWAP2 000028a0: POP 000028a1: POP 000028a2: SWAP3 000028a3: SWAP2 000028a4: POP 000028a5: POP 000028a6: JUMP 000028a7: JUMPDEST 000028a8: PUSH2 0x28b0 000028ab: DUP2 000028ac: PUSH2 0x2849 000028af: JUMP 000028b0: JUMPDEST 000028b1: DUP3 000028b2: MSTORE 000028b3: POP 000028b4: POP 000028b5: JUMP 000028b6: JUMPDEST 000028b7: PUSH0 000028b8: PUSH1 0x20 000028ba: DUP3 000028bb: ADD 000028bc: SWAP1 000028bd: POP 000028be: PUSH2 0x28c9 000028c1: PUSH0 000028c2: DUP4 000028c3: ADD 000028c4: DUP5 000028c5: PUSH2 0x28a7 000028c8: JUMP 000028c9: JUMPDEST 000028ca: SWAP3 000028cb: SWAP2 000028cc: POP 000028cd: POP 000028ce: JUMP 000028cf: JUMPDEST 000028d0: PUSH0 000028d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000028e6: DUP3 000028e7: AND 000028e8: SWAP1 000028e9: POP 000028ea: SWAP2 000028eb: SWAP1 000028ec: POP 000028ed: JUMP 000028ee: JUMPDEST 000028ef: PUSH0 000028f0: PUSH2 0x28f8 000028f3: DUP3 000028f4: PUSH2 0x28cf 000028f7: JUMP 000028f8: JUMPDEST 000028f9: SWAP1 000028fa: POP 000028fb: SWAP2 000028fc: SWAP1 000028fd: POP 000028fe: JUMP 000028ff: JUMPDEST 00002900: PUSH2 0x2908 00002903: DUP2 00002904: PUSH2 0x28ee 00002907: JUMP 00002908: JUMPDEST 00002909: DUP2 0000290a: EQ 0000290b: PUSH2 0x2912 0000290e: JUMPI 0000290f: PUSH0 00002910: PUSH0 00002911: REVERT 00002912: JUMPDEST 00002913: POP 00002914: JUMP 00002915: JUMPDEST 00002916: PUSH0 00002917: DUP2 00002918: CALLDATALOAD 00002919: SWAP1 0000291a: POP 0000291b: PUSH2 0x2923 0000291e: DUP2 0000291f: PUSH2 0x28ff 00002922: JUMP 00002923: JUMPDEST 00002924: SWAP3 00002925: SWAP2 00002926: POP 00002927: POP 00002928: JUMP 00002929: JUMPDEST 0000292a: PUSH0 0000292b: PUSH0 0000292c: PUSH1 0x40 0000292e: DUP4 0000292f: DUP6 00002930: SUB 00002931: SLT 00002932: ISZERO 00002933: PUSH2 0x293f 00002936: JUMPI 00002937: PUSH2 0x293e 0000293a: PUSH2 0x2761 0000293d: JUMP 0000293e: JUMPDEST 0000293f: JUMPDEST 00002940: PUSH0 00002941: PUSH2 0x294c 00002944: DUP6 00002945: DUP3 00002946: DUP7 00002947: ADD 00002948: PUSH2 0x2868 0000294b: JUMP 0000294c: JUMPDEST 0000294d: SWAP3 0000294e: POP 0000294f: POP 00002950: PUSH1 0x20 00002952: PUSH2 0x295d 00002955: DUP6 00002956: DUP3 00002957: DUP7 00002958: ADD 00002959: PUSH2 0x2915 0000295c: JUMP 0000295d: JUMPDEST 0000295e: SWAP2 0000295f: POP 00002960: POP 00002961: SWAP3 00002962: POP 00002963: SWAP3 00002964: SWAP1 00002965: POP 00002966: JUMP 00002967: JUMPDEST 00002968: PUSH2 0x2970 0000296b: DUP2 0000296c: PUSH2 0x2818 0000296f: JUMP 00002970: JUMPDEST 00002971: DUP2 00002972: EQ 00002973: PUSH2 0x297a 00002976: JUMPI 00002977: PUSH0 00002978: PUSH0 00002979: REVERT 0000297a: JUMPDEST 0000297b: POP 0000297c: JUMP 0000297d: JUMPDEST 0000297e: PUSH0 0000297f: DUP2 00002980: CALLDATALOAD 00002981: SWAP1 00002982: POP 00002983: PUSH2 0x298b 00002986: DUP2 00002987: PUSH2 0x2967 0000298a: JUMP 0000298b: JUMPDEST 0000298c: SWAP3 0000298d: SWAP2 0000298e: POP 0000298f: POP 00002990: JUMP 00002991: JUMPDEST 00002992: PUSH0 00002993: PUSH0 00002994: PUSH1 0x40 00002996: DUP4 00002997: DUP6 00002998: SUB 00002999: SLT 0000299a: ISZERO 0000299b: PUSH2 0x29a7 0000299e: JUMPI 0000299f: PUSH2 0x29a6 000029a2: PUSH2 0x2761 000029a5: JUMP 000029a6: JUMPDEST 000029a7: JUMPDEST 000029a8: PUSH0 000029a9: PUSH2 0x29b4 000029ac: DUP6 000029ad: DUP3 000029ae: DUP7 000029af: ADD 000029b0: PUSH2 0x297d 000029b3: JUMP 000029b4: JUMPDEST 000029b5: SWAP3 000029b6: POP 000029b7: POP 000029b8: PUSH1 0x20 000029ba: PUSH2 0x29c5 000029bd: DUP6 000029be: DUP3 000029bf: DUP7 000029c0: ADD 000029c1: PUSH2 0x2915 000029c4: JUMP 000029c5: JUMPDEST 000029c6: SWAP2 000029c7: POP 000029c8: POP 000029c9: SWAP3 000029ca: POP 000029cb: SWAP3 000029cc: SWAP1 000029cd: POP 000029ce: JUMP 000029cf: JUMPDEST 000029d0: PUSH2 0x29d8 000029d3: DUP2 000029d4: PUSH2 0x28ee 000029d7: JUMP 000029d8: JUMPDEST 000029d9: DUP3 000029da: MSTORE 000029db: POP 000029dc: POP 000029dd: JUMP 000029de: JUMPDEST 000029df: PUSH0 000029e0: PUSH1 0x20 000029e2: DUP3 000029e3: ADD 000029e4: SWAP1 000029e5: POP 000029e6: PUSH2 0x29f1 000029e9: PUSH0 000029ea: DUP4 000029eb: ADD 000029ec: DUP5 000029ed: PUSH2 0x29cf 000029f0: JUMP 000029f1: JUMPDEST 000029f2: SWAP3 000029f3: SWAP2 000029f4: POP 000029f5: POP 000029f6: JUMP 000029f7: JUMPDEST 000029f8: PUSH0 000029f9: PUSH1 0x20 000029fb: DUP3 000029fc: DUP5 000029fd: SUB 000029fe: SLT 000029ff: ISZERO 00002a00: PUSH2 0x2a0c 00002a03: JUMPI 00002a04: PUSH2 0x2a0b 00002a07: PUSH2 0x2761 00002a0a: JUMP 00002a0b: JUMPDEST 00002a0c: JUMPDEST 00002a0d: PUSH0 00002a0e: PUSH2 0x2a19 00002a11: DUP5 00002a12: DUP3 00002a13: DUP6 00002a14: ADD 00002a15: PUSH2 0x297d 00002a18: JUMP 00002a19: JUMPDEST 00002a1a: SWAP2 00002a1b: POP 00002a1c: POP 00002a1d: SWAP3 00002a1e: SWAP2 00002a1f: POP 00002a20: POP 00002a21: JUMP 00002a22: JUMPDEST 00002a23: PUSH0 00002a24: PUSH0 00002a25: PUSH1 0x40 00002a27: DUP4 00002a28: DUP6 00002a29: SUB 00002a2a: SLT 00002a2b: ISZERO 00002a2c: PUSH2 0x2a38 00002a2f: JUMPI 00002a30: PUSH2 0x2a37 00002a33: PUSH2 0x2761 00002a36: JUMP 00002a37: JUMPDEST 00002a38: JUMPDEST 00002a39: PUSH0 00002a3a: PUSH2 0x2a45 00002a3d: DUP6 00002a3e: DUP3 00002a3f: DUP7 00002a40: ADD 00002a41: PUSH2 0x297d 00002a44: JUMP 00002a45: JUMPDEST 00002a46: SWAP3 00002a47: POP 00002a48: POP 00002a49: PUSH1 0x20 00002a4b: PUSH2 0x2a56 00002a4e: DUP6 00002a4f: DUP3 00002a50: DUP7 00002a51: ADD 00002a52: PUSH2 0x297d 00002a55: JUMP 00002a56: JUMPDEST 00002a57: SWAP2 00002a58: POP 00002a59: POP 00002a5a: SWAP3 00002a5b: POP 00002a5c: SWAP3 00002a5d: SWAP1 00002a5e: POP 00002a5f: JUMP 00002a60: JUMPDEST 00002a61: PUSH0 00002a62: PUSH2 0x0100 00002a65: DUP3 00002a66: ADD 00002a67: SWAP1 00002a68: POP 00002a69: PUSH2 0x2a74 00002a6c: PUSH0 00002a6d: DUP4 00002a6e: ADD 00002a6f: DUP12 00002a70: PUSH2 0x29cf 00002a73: JUMP 00002a74: JUMPDEST 00002a75: PUSH2 0x2a81 00002a78: PUSH1 0x20 00002a7a: DUP4 00002a7b: ADD 00002a7c: DUP11 00002a7d: PUSH2 0x29cf 00002a80: JUMP 00002a81: JUMPDEST 00002a82: PUSH2 0x2a8e 00002a85: PUSH1 0x40 00002a87: DUP4 00002a88: ADD 00002a89: DUP10 00002a8a: PUSH2 0x2821 00002a8d: JUMP 00002a8e: JUMPDEST 00002a8f: PUSH2 0x2a9b 00002a92: PUSH1 0x60 00002a94: DUP4 00002a95: ADD 00002a96: DUP9 00002a97: PUSH2 0x29cf 00002a9a: JUMP 00002a9b: JUMPDEST 00002a9c: PUSH2 0x2aa8 00002a9f: PUSH1 0x80 00002aa1: DUP4 00002aa2: ADD 00002aa3: DUP8 00002aa4: PUSH2 0x2821 00002aa7: JUMP 00002aa8: JUMPDEST 00002aa9: PUSH2 0x2ab5 00002aac: PUSH1 0xa0 00002aae: DUP4 00002aaf: ADD 00002ab0: DUP7 00002ab1: PUSH2 0x2821 00002ab4: JUMP 00002ab5: JUMPDEST 00002ab6: PUSH2 0x2ac2 00002ab9: PUSH1 0xc0 00002abb: DUP4 00002abc: ADD 00002abd: DUP6 00002abe: PUSH2 0x2821 00002ac1: JUMP 00002ac2: JUMPDEST 00002ac3: PUSH2 0x2acf 00002ac6: PUSH1 0xe0 00002ac8: DUP4 00002ac9: ADD 00002aca: DUP5 00002acb: PUSH2 0x2821 00002ace: JUMP 00002acf: JUMPDEST 00002ad0: SWAP10 00002ad1: SWAP9 00002ad2: POP 00002ad3: POP 00002ad4: POP 00002ad5: POP 00002ad6: POP 00002ad7: POP 00002ad8: POP 00002ad9: POP 00002ada: POP 00002adb: JUMP 00002adc: JUMPDEST 00002add: PUSH0 00002ade: PUSH2 0x2ae6 00002ae1: DUP3 00002ae2: PUSH2 0x28ee 00002ae5: JUMP 00002ae6: JUMPDEST 00002ae7: SWAP1 00002ae8: POP 00002ae9: SWAP2 00002aea: SWAP1 00002aeb: POP 00002aec: JUMP 00002aed: JUMPDEST 00002aee: PUSH2 0x2af6 00002af1: DUP2 00002af2: PUSH2 0x2adc 00002af5: JUMP 00002af6: JUMPDEST 00002af7: DUP2 00002af8: EQ 00002af9: PUSH2 0x2b00 00002afc: JUMPI 00002afd: PUSH0 00002afe: PUSH0 00002aff: REVERT 00002b00: JUMPDEST 00002b01: POP 00002b02: JUMP 00002b03: JUMPDEST 00002b04: PUSH0 00002b05: DUP2 00002b06: CALLDATALOAD 00002b07: SWAP1 00002b08: POP 00002b09: PUSH2 0x2b11 00002b0c: DUP2 00002b0d: PUSH2 0x2aed 00002b10: JUMP 00002b11: JUMPDEST 00002b12: SWAP3 00002b13: SWAP2 00002b14: POP 00002b15: POP 00002b16: JUMP 00002b17: JUMPDEST 00002b18: PUSH0 00002b19: PUSH0 00002b1a: PUSH0 00002b1b: PUSH1 0x60 00002b1d: DUP5 00002b1e: DUP7 00002b1f: SUB 00002b20: SLT 00002b21: ISZERO 00002b22: PUSH2 0x2b2e 00002b25: JUMPI 00002b26: PUSH2 0x2b2d 00002b29: PUSH2 0x2761 00002b2c: JUMP 00002b2d: JUMPDEST 00002b2e: JUMPDEST 00002b2f: PUSH0 00002b30: PUSH2 0x2b3b 00002b33: DUP7 00002b34: DUP3 00002b35: DUP8 00002b36: ADD 00002b37: PUSH2 0x2b03 00002b3a: JUMP 00002b3b: JUMPDEST 00002b3c: SWAP4 00002b3d: POP 00002b3e: POP 00002b3f: PUSH1 0x20 00002b41: PUSH2 0x2b4c 00002b44: DUP7 00002b45: DUP3 00002b46: DUP8 00002b47: ADD 00002b48: PUSH2 0x2915 00002b4b: JUMP 00002b4c: JUMPDEST 00002b4d: SWAP3 00002b4e: POP 00002b4f: POP 00002b50: PUSH1 0x40 00002b52: PUSH2 0x2b5d 00002b55: DUP7 00002b56: DUP3 00002b57: DUP8 00002b58: ADD 00002b59: PUSH2 0x297d 00002b5c: JUMP 00002b5d: JUMPDEST 00002b5e: SWAP2 00002b5f: POP 00002b60: POP 00002b61: SWAP3 00002b62: POP 00002b63: SWAP3 00002b64: POP 00002b65: SWAP3 00002b66: JUMP 00002b67: JUMPDEST 00002b68: PUSH0 00002b69: PUSH0 00002b6a: PUSH0 00002b6b: PUSH0 00002b6c: PUSH0 00002b6d: PUSH1 0xa0 00002b6f: DUP7 00002b70: DUP9 00002b71: SUB 00002b72: SLT 00002b73: ISZERO 00002b74: PUSH2 0x2b80 00002b77: JUMPI 00002b78: PUSH2 0x2b7f 00002b7b: PUSH2 0x2761 00002b7e: JUMP 00002b7f: JUMPDEST 00002b80: JUMPDEST 00002b81: PUSH0 00002b82: PUSH2 0x2b8d 00002b85: DUP9 00002b86: DUP3 00002b87: DUP10 00002b88: ADD 00002b89: PUSH2 0x2915 00002b8c: JUMP 00002b8d: JUMPDEST 00002b8e: SWAP6 00002b8f: POP 00002b90: POP 00002b91: PUSH1 0x20 00002b93: PUSH2 0x2b9e 00002b96: DUP9 00002b97: DUP3 00002b98: DUP10 00002b99: ADD 00002b9a: PUSH2 0x297d 00002b9d: JUMP 00002b9e: JUMPDEST 00002b9f: SWAP5 00002ba0: POP 00002ba1: POP 00002ba2: PUSH1 0x40 00002ba4: PUSH2 0x2baf 00002ba7: DUP9 00002ba8: DUP3 00002ba9: DUP10 00002baa: ADD 00002bab: PUSH2 0x2915 00002bae: JUMP 00002baf: JUMPDEST 00002bb0: SWAP4 00002bb1: POP 00002bb2: POP 00002bb3: PUSH1 0x60 00002bb5: PUSH2 0x2bc0 00002bb8: DUP9 00002bb9: DUP3 00002bba: DUP10 00002bbb: ADD 00002bbc: PUSH2 0x297d 00002bbf: JUMP 00002bc0: JUMPDEST 00002bc1: SWAP3 00002bc2: POP 00002bc3: POP 00002bc4: PUSH1 0x80 00002bc6: PUSH2 0x2bd1 00002bc9: DUP9 00002bca: DUP3 00002bcb: DUP10 00002bcc: ADD 00002bcd: PUSH2 0x297d 00002bd0: JUMP 00002bd1: JUMPDEST 00002bd2: SWAP2 00002bd3: POP 00002bd4: POP 00002bd5: SWAP3 00002bd6: SWAP6 00002bd7: POP 00002bd8: SWAP3 00002bd9: SWAP6 00002bda: SWAP1 00002bdb: SWAP4 00002bdc: POP 00002bdd: JUMP 00002bde: JUMPDEST 00002bdf: PUSH0 00002be0: PUSH1 0x20 00002be2: DUP3 00002be3: DUP5 00002be4: SUB 00002be5: SLT 00002be6: ISZERO 00002be7: PUSH2 0x2bf3 00002bea: JUMPI 00002beb: PUSH2 0x2bf2 00002bee: PUSH2 0x2761 00002bf1: JUMP 00002bf2: JUMPDEST 00002bf3: JUMPDEST 00002bf4: PUSH0 00002bf5: PUSH2 0x2c00 00002bf8: DUP5 00002bf9: DUP3 00002bfa: DUP6 00002bfb: ADD 00002bfc: PUSH2 0x2915 00002bff: JUMP 00002c00: JUMPDEST 00002c01: SWAP2 00002c02: POP 00002c03: POP 00002c04: SWAP3 00002c05: SWAP2 00002c06: POP 00002c07: POP 00002c08: JUMP 00002c09: JUMPDEST 00002c0a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002c2b: PUSH0 00002c2c: MSTORE 00002c2d: PUSH1 0x11 00002c2f: PUSH1 0x04 00002c31: MSTORE 00002c32: PUSH1 0x24 00002c34: PUSH0 00002c35: REVERT 00002c36: JUMPDEST 00002c37: PUSH0 00002c38: PUSH2 0x2c40 00002c3b: DUP3 00002c3c: PUSH2 0x2818 00002c3f: JUMP 00002c40: JUMPDEST 00002c41: SWAP2 00002c42: POP 00002c43: PUSH2 0x2c4b 00002c46: DUP4 00002c47: PUSH2 0x2818 00002c4a: JUMP 00002c4b: JUMPDEST 00002c4c: SWAP3 00002c4d: POP 00002c4e: DUP3 00002c4f: DUP3 00002c50: MUL 00002c51: PUSH2 0x2c59 00002c54: DUP2 00002c55: PUSH2 0x2818 00002c58: JUMP 00002c59: JUMPDEST 00002c5a: SWAP2 00002c5b: POP 00002c5c: DUP3 00002c5d: DUP3 00002c5e: DIV 00002c5f: DUP5 00002c60: EQ 00002c61: DUP4 00002c62: ISZERO 00002c63: OR 00002c64: PUSH2 0x2c70 00002c67: JUMPI 00002c68: PUSH2 0x2c6f 00002c6b: PUSH2 0x2c09 00002c6e: JUMP 00002c6f: JUMPDEST 00002c70: JUMPDEST 00002c71: POP 00002c72: SWAP3 00002c73: SWAP2 00002c74: POP 00002c75: POP 00002c76: JUMP 00002c77: JUMPDEST 00002c78: PUSH0 00002c79: PUSH2 0x2c81 00002c7c: DUP3 00002c7d: PUSH2 0x2818 00002c80: JUMP 00002c81: JUMPDEST 00002c82: SWAP2 00002c83: POP 00002c84: PUSH2 0x2c8c 00002c87: DUP4 00002c88: PUSH2 0x2818 00002c8b: JUMP 00002c8c: JUMPDEST 00002c8d: SWAP3 00002c8e: POP 00002c8f: DUP3 00002c90: DUP3 00002c91: SUB 00002c92: SWAP1 00002c93: POP 00002c94: DUP2 00002c95: DUP2 00002c96: GT 00002c97: ISZERO 00002c98: PUSH2 0x2ca4 00002c9b: JUMPI 00002c9c: PUSH2 0x2ca3 00002c9f: PUSH2 0x2c09 00002ca2: JUMP 00002ca3: JUMPDEST 00002ca4: JUMPDEST 00002ca5: SWAP3 00002ca6: SWAP2 00002ca7: POP 00002ca8: POP 00002ca9: JUMP 00002caa: JUMPDEST 00002cab: PUSH0 00002cac: PUSH1 0x40 00002cae: DUP3 00002caf: ADD 00002cb0: SWAP1 00002cb1: POP 00002cb2: PUSH2 0x2cbd 00002cb5: PUSH0 00002cb6: DUP4 00002cb7: ADD 00002cb8: DUP6 00002cb9: PUSH2 0x2821 00002cbc: JUMP 00002cbd: JUMPDEST 00002cbe: PUSH2 0x2cca 00002cc1: PUSH1 0x20 00002cc3: DUP4 00002cc4: ADD 00002cc5: DUP5 00002cc6: PUSH2 0x2821 00002cc9: JUMP 00002cca: JUMPDEST 00002ccb: SWAP4 00002ccc: SWAP3 00002ccd: POP 00002cce: POP 00002ccf: POP 00002cd0: JUMP 00002cd1: JUMPDEST 00002cd2: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002cf3: PUSH0 00002cf4: MSTORE 00002cf5: PUSH1 0x12 00002cf7: PUSH1 0x04 00002cf9: MSTORE 00002cfa: PUSH1 0x24 00002cfc: PUSH0 00002cfd: REVERT 00002cfe: JUMPDEST 00002cff: PUSH0 00002d00: PUSH2 0x2d08 00002d03: DUP3 00002d04: PUSH2 0x2818 00002d07: JUMP 00002d08: JUMPDEST 00002d09: SWAP2 00002d0a: POP 00002d0b: PUSH2 0x2d13 00002d0e: DUP4 00002d0f: PUSH2 0x2818 00002d12: JUMP 00002d13: JUMPDEST 00002d14: SWAP3 00002d15: POP 00002d16: DUP3 00002d17: PUSH2 0x2d23 00002d1a: JUMPI 00002d1b: PUSH2 0x2d22 00002d1e: PUSH2 0x2cd1 00002d21: JUMP 00002d22: JUMPDEST 00002d23: JUMPDEST 00002d24: DUP3 00002d25: DUP3 00002d26: MOD 00002d27: SWAP1 00002d28: POP 00002d29: SWAP3 00002d2a: SWAP2 00002d2b: POP 00002d2c: POP 00002d2d: JUMP 00002d2e: JUMPDEST 00002d2f: PUSH0 00002d30: PUSH2 0x2d38 00002d33: DUP3 00002d34: PUSH2 0x2818 00002d37: JUMP 00002d38: JUMPDEST 00002d39: SWAP2 00002d3a: POP 00002d3b: PUSH2 0x2d43 00002d3e: DUP4 00002d3f: PUSH2 0x2818 00002d42: JUMP 00002d43: JUMPDEST 00002d44: SWAP3 00002d45: POP 00002d46: DUP3 00002d47: PUSH2 0x2d53 00002d4a: JUMPI 00002d4b: PUSH2 0x2d52 00002d4e: PUSH2 0x2cd1 00002d51: JUMP 00002d52: JUMPDEST 00002d53: JUMPDEST 00002d54: DUP3 00002d55: DUP3 00002d56: DIV 00002d57: SWAP1 00002d58: POP 00002d59: SWAP3 00002d5a: SWAP2 00002d5b: POP 00002d5c: POP 00002d5d: JUMP 00002d5e: JUMPDEST 00002d5f: PUSH0 00002d60: PUSH2 0x2d68 00002d63: DUP3 00002d64: PUSH2 0x2818 00002d67: JUMP 00002d68: JUMPDEST 00002d69: SWAP2 00002d6a: POP 00002d6b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00002d8c: DUP3 00002d8d: SUB 00002d8e: PUSH2 0x2d9a 00002d91: JUMPI 00002d92: PUSH2 0x2d99 00002d95: PUSH2 0x2c09 00002d98: JUMP 00002d99: JUMPDEST 00002d9a: JUMPDEST 00002d9b: PUSH1 0x01 00002d9d: DUP3 00002d9e: ADD 00002d9f: SWAP1 00002da0: POP 00002da1: SWAP2 00002da2: SWAP1 00002da3: POP 00002da4: JUMP 00002da5: JUMPDEST 00002da6: PUSH0 00002da7: PUSH1 0x80 00002da9: DUP3 00002daa: ADD 00002dab: SWAP1 00002dac: POP 00002dad: PUSH2 0x2db8 00002db0: PUSH0 00002db1: DUP4 00002db2: ADD 00002db3: DUP8 00002db4: PUSH2 0x2821 00002db7: JUMP 00002db8: JUMPDEST 00002db9: PUSH2 0x2dc5 00002dbc: PUSH1 0x20 00002dbe: DUP4 00002dbf: ADD 00002dc0: DUP7 00002dc1: PUSH2 0x29cf 00002dc4: JUMP 00002dc5: JUMPDEST 00002dc6: PUSH2 0x2dd2 00002dc9: PUSH1 0x40 00002dcb: DUP4 00002dcc: ADD 00002dcd: DUP6 00002dce: PUSH2 0x2821 00002dd1: JUMP 00002dd2: JUMPDEST 00002dd3: PUSH2 0x2ddf 00002dd6: PUSH1 0x60 00002dd8: DUP4 00002dd9: ADD 00002dda: DUP5 00002ddb: PUSH2 0x2821 00002dde: JUMP 00002ddf: JUMPDEST 00002de0: SWAP6 00002de1: SWAP5 00002de2: POP 00002de3: POP 00002de4: POP 00002de5: POP 00002de6: POP 00002de7: JUMP 00002de8: JUMPDEST 00002de9: PUSH0 00002dea: DUP2 00002deb: SWAP1 00002dec: POP 00002ded: SWAP2 00002dee: SWAP1 00002def: POP 00002df0: JUMP 00002df1: JUMPDEST 00002df2: PUSH0 00002df3: PUSH8 0xffffffffffffffff 00002dfc: DUP3 00002dfd: AND 00002dfe: SWAP1 00002dff: POP 00002e00: SWAP2 00002e01: SWAP1 00002e02: POP 00002e03: JUMP 00002e04: JUMPDEST 00002e05: PUSH0 00002e06: DUP2 00002e07: SWAP1 00002e08: POP 00002e09: SWAP2 00002e0a: SWAP1 00002e0b: POP 00002e0c: JUMP 00002e0d: JUMPDEST 00002e0e: PUSH0 00002e0f: PUSH2 0x2e27 00002e12: PUSH2 0x2e22 00002e15: PUSH2 0x2e1d 00002e18: DUP5 00002e19: PUSH2 0x2de8 00002e1c: JUMP 00002e1d: JUMPDEST 00002e1e: PUSH2 0x2e04 00002e21: JUMP 00002e22: JUMPDEST 00002e23: PUSH2 0x2df1 00002e26: JUMP 00002e27: JUMPDEST 00002e28: SWAP1 00002e29: POP 00002e2a: SWAP2 00002e2b: SWAP1 00002e2c: POP 00002e2d: JUMP 00002e2e: JUMPDEST 00002e2f: PUSH2 0x2e37 00002e32: DUP2 00002e33: PUSH2 0x2e0d 00002e36: JUMP 00002e37: JUMPDEST 00002e38: DUP3 00002e39: MSTORE 00002e3a: POP 00002e3b: POP 00002e3c: JUMP 00002e3d: JUMPDEST 00002e3e: PUSH0 00002e3f: PUSH1 0x20 00002e41: DUP3 00002e42: ADD 00002e43: SWAP1 00002e44: POP 00002e45: PUSH2 0x2e50 00002e48: PUSH0 00002e49: DUP4 00002e4a: ADD 00002e4b: DUP5 00002e4c: PUSH2 0x2e2e 00002e4f: JUMP 00002e50: JUMPDEST 00002e51: SWAP3 00002e52: SWAP2 00002e53: POP 00002e54: POP 00002e55: JUMP 00002e56: JUMPDEST 00002e57: PUSH0 00002e58: PUSH1 0x40 00002e5a: DUP3 00002e5b: ADD 00002e5c: SWAP1 00002e5d: POP 00002e5e: PUSH2 0x2e69 00002e61: PUSH0 00002e62: DUP4 00002e63: ADD 00002e64: DUP6 00002e65: PUSH2 0x29cf 00002e68: JUMP 00002e69: JUMPDEST 00002e6a: PUSH2 0x2e76 00002e6d: PUSH1 0x20 00002e6f: DUP4 00002e70: ADD 00002e71: DUP5 00002e72: PUSH2 0x2821 00002e75: JUMP 00002e76: JUMPDEST 00002e77: SWAP4 00002e78: SWAP3 00002e79: POP 00002e7a: POP 00002e7b: POP 00002e7c: JUMP 00002e7d: JUMPDEST 00002e7e: PUSH0 00002e7f: DUP2 00002e80: SWAP1 00002e81: POP 00002e82: SWAP3 00002e83: SWAP2 00002e84: POP 00002e85: POP 00002e86: JUMP 00002e87: JUMPDEST 00002e88: POP 00002e89: JUMP 00002e8a: JUMPDEST 00002e8b: PUSH0 00002e8c: PUSH2 0x2e95 00002e8f: PUSH0 00002e90: DUP4 00002e91: PUSH2 0x2e7d 00002e94: JUMP 00002e95: JUMPDEST 00002e96: SWAP2 00002e97: POP 00002e98: PUSH2 0x2ea0 00002e9b: DUP3 00002e9c: PUSH2 0x2e87 00002e9f: JUMP 00002ea0: JUMPDEST 00002ea1: PUSH0 00002ea2: DUP3 00002ea3: ADD 00002ea4: SWAP1 00002ea5: POP 00002ea6: SWAP2 00002ea7: SWAP1 00002ea8: POP 00002ea9: JUMP 00002eaa: JUMPDEST 00002eab: PUSH0 00002eac: PUSH2 0x2eb4 00002eaf: DUP3 00002eb0: PUSH2 0x2e8a 00002eb3: JUMP 00002eb4: JUMPDEST 00002eb5: SWAP2 00002eb6: POP 00002eb7: DUP2 00002eb8: SWAP1 00002eb9: POP 00002eba: SWAP2 00002ebb: SWAP1 00002ebc: POP 00002ebd: JUMP 00002ebe: JUMPDEST 00002ebf: PUSH0 00002ec0: DUP2 00002ec1: SWAP1 00002ec2: POP 00002ec3: SWAP2 00002ec4: SWAP1 00002ec5: POP 00002ec6: JUMP 00002ec7: JUMPDEST 00002ec8: PUSH0 00002ec9: PUSH2 0x2ee1 00002ecc: PUSH2 0x2edc 00002ecf: PUSH2 0x2ed7 00002ed2: DUP5 00002ed3: PUSH2 0x2ebe 00002ed6: JUMP 00002ed7: JUMPDEST 00002ed8: PUSH2 0x2e04 00002edb: JUMP 00002edc: JUMPDEST 00002edd: PUSH2 0x2818 00002ee0: JUMP 00002ee1: JUMPDEST 00002ee2: SWAP1 00002ee3: POP 00002ee4: SWAP2 00002ee5: SWAP1 00002ee6: POP 00002ee7: JUMP 00002ee8: JUMPDEST 00002ee9: PUSH2 0x2ef1 00002eec: DUP2 00002eed: PUSH2 0x2ec7 00002ef0: JUMP 00002ef1: JUMPDEST 00002ef2: DUP3 00002ef3: MSTORE 00002ef4: POP 00002ef5: POP 00002ef6: JUMP 00002ef7: JUMPDEST 00002ef8: PUSH0 00002ef9: PUSH1 0x40 00002efb: DUP3 00002efc: ADD 00002efd: SWAP1 00002efe: POP 00002eff: PUSH2 0x2f0a 00002f02: PUSH0 00002f03: DUP4 00002f04: ADD 00002f05: DUP6 00002f06: PUSH2 0x29cf 00002f09: JUMP 00002f0a: JUMPDEST 00002f0b: PUSH2 0x2f17 00002f0e: PUSH1 0x20 00002f10: DUP4 00002f11: ADD 00002f12: DUP5 00002f13: PUSH2 0x2ee8 00002f16: JUMP 00002f17: JUMPDEST 00002f18: SWAP4 00002f19: SWAP3 00002f1a: POP 00002f1b: POP 00002f1c: POP 00002f1d: JUMP 00002f1e: JUMPDEST 00002f1f: PUSH0 00002f20: PUSH1 0x40 00002f22: DUP3 00002f23: ADD 00002f24: SWAP1 00002f25: POP 00002f26: PUSH2 0x2f31 00002f29: PUSH0 00002f2a: DUP4 00002f2b: ADD 00002f2c: DUP6 00002f2d: PUSH2 0x29cf 00002f30: JUMP 00002f31: JUMPDEST 00002f32: PUSH2 0x2f3e 00002f35: PUSH1 0x20 00002f37: DUP4 00002f38: ADD 00002f39: DUP5 00002f3a: PUSH2 0x28a7 00002f3d: JUMP 00002f3e: JUMPDEST 00002f3f: SWAP4 00002f40: SWAP3 00002f41: POP 00002f42: POP 00002f43: POP 00002f44: JUMP 00002f45: INVALID 00002f46: LOG2 00002f47: PUSH5 0x6970667358 00002f4d: UNKNOWN(0x22) 00002f4e: SLT 00002f4f: KECCAK256 00002f50: LT 00002f51: DUP4 00002f52: PUSH6 0xc2fbfaaf9b7f 00002f59: UNKNOWN(0xB8) 00002f5a: DUP15 00002f5b: UNKNOWN(0xB4) 00002f5c: UNKNOWN(0xED) 00002f5d: UNKNOWN(0xBD) 00002f5e: UNKNOWN(0xEE) 00002f5f: UNKNOWN(0xCA) 00002f60: UNKNOWN(0x2E) 00002f61: UNKNOWN(0xDC) 00002f62: CHAINID 00002f63: UNKNOWN(0xD6) 00002f64: JUMP 00002f65: UNKNOWN(0x29) 00002f66: CALLER 00002f67: UNKNOWN(0xAC) 00002f68: UNKNOWN(0xCA) 00002f69: UNKNOWN(0xB2) 00002f6a: UNKNOWN(0x21) 00002f6b: UNKNOWN(0xCC) 00002f6c: UNKNOWN(0xF9) 00002f6d: UNKNOWN(0xB1) 00002f6e: UNKNOWN(0xAA) 00002f6f: TIMESTAMP 00002f70: PUSH5 0x736f6c6343 00002f76: STOP 00002f77: ADDMOD 00002f78: SHR 00002f79: STOP 00002f7a: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xa5be53362eaaf88f81ecdd5e70dac04c5454c4fc5918a7dbb415bac701413653
call_targets:
0x83b7ce402a0e756e901c4a9d1cafa27ca9572afc
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa5be53362eaaf88f81ecdd5e70dac04c5454c4fc5918a7dbb415bac701413653",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x83b7ce402a0e756e901c4a9d1cafa27ca9572afc"
],
"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": "0xcc1b4bf6",
"selector": "0xcc1b4bf6",
"calldata_variants": [
"0xcc1b4bf6",
"0xcc1b4bf60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xda35a26f",
"selector": "0xda35a26f",
"calldata_variants": [
"0xda35a26f",
"0xda35a26f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe1f21c67",
"selector": "0xe1f21c67",
"calldata_variants": [
"0xe1f21c67",
"0xe1f21c670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf501148c",
"selector": "0xf501148c",
"calldata_variants": [
"0xf501148c",
"0xf501148c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91d14854",
"selector": "0x91d14854",
"calldata_variants": [
"0x91d14854",
"0x91d148540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x97713592",
"selector": "0x97713592",
"calldata_variants": [
"0x97713592",
"0x977135920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa217fddf",
"selector": "0xa217fddf",
"calldata_variants": [
"0xa217fddf",
"0xa217fddf0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 9087,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 9673,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant_zero",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 2613,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3672,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xa5be53362eaaf88f81ecdd5e70dac04c5454c4fc5918a7dbb415bac701413653
call_targets:
0x83b7ce402a0e756e901c4a9d1cafa27ca9572afc
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa5be53362eaaf88f81ecdd5e70dac04c5454c4fc5918a7dbb415bac701413653",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x83b7ce402a0e756e901c4a9d1cafa27ca9572afc"
],
"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": "0xcc1b4bf6",
"selector": "0xcc1b4bf6",
"calldata_variants": [
"0xcc1b4bf6",
"0xcc1b4bf60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xda35a26f",
"selector": "0xda35a26f",
"calldata_variants": [
"0xda35a26f",
"0xda35a26f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe1f21c67",
"selector": "0xe1f21c67",
"calldata_variants": [
"0xe1f21c67",
"0xe1f21c670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf501148c",
"selector": "0xf501148c",
"calldata_variants": [
"0xf501148c",
"0xf501148c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91d14854",
"selector": "0x91d14854",
"calldata_variants": [
"0x91d14854",
"0x91d148540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x97713592",
"selector": "0x97713592",
"calldata_variants": [
"0x97713592",
"0x977135920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa217fddf",
"selector": "0xa217fddf",
"calldata_variants": [
"0xa217fddf",
"0xa217fddf0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 9087,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 2613,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3672,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|