1aff25c0-1ae4-4372-bb16-1ff6006dde4f
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 |
|---|---|---|---|---|
| 31588 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 78155 | artifact.fetch | failed | 1 / 3 | 2 weeks ago |
| 78156 | tool.cast_disasm | complete | 1 / 3 | 2 weeks ago |
| 78157 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 78158 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 78159 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 78160 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
[codex:516549] OpenAI Codex v0.77.0 (research preview)
[codex:516549] --------
[codex:516549] workdir: /tmp/codex-multi-bacxpsw8
[codex:516549] model: gpt-5.2-codex
[codex:516549] provider: openai
[codex:516549] approval: never
[codex:516549] sandbox: read-only
[codex:516549] reasoning effort: xhigh
[codex:516549] reasoning summaries: auto
[codex:516549] session id: 019b87bf-0788-7620-a734-5d5ee477c9fe
[codex:516549] --------
[codex:516549] user
[codex:516549] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:516549]
[codex:516549] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:516549]
[codex:516549] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:516549] - Gas inefficiency, code quality, naming, or best practices
[codex:516549] - Theoretical vulnerabilities without a clear extraction path
[codex:516549] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:516549] - Front-running unless it enables theft beyond MEV
[codex:516549] - DoS, griefing, or issues that don't result in attacker profit
[codex:516549] - Missing events, view function issues, or informational findings
[codex:516549]
[codex:516549] HIGH-VALUE PATTERNS TO HUNT:
[codex:516549] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:516549] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:516549] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:516549] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:516549] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:516549] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:516549] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:516549] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:516549] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:516549]
[codex:516549] For each finding, you MUST provide:
[codex:516549] 1. Exact file and line numbers of vulnerable code
[codex:516549] 2. Step-by-step exploit transaction sequence
[codex:516549] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:516549]
[codex:516549] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:516549]
[codex:516549] Output MUST be valid JSON matching the provided schema.
[codex:516549] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:516549] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:516549] mcp startup: no servers
[codex:516549]
[codex:516549] thinking
[codex:516549] **Preparing to audit with instructions**
[codex:516549] exec
[codex:516549] /bin/bash -lc ls in /tmp/codex-multi-bacxpsw8 succeeded in 6ms:
[codex:516549] AUDIT_BUNDLE.txt
[codex:516549] codex-output-schema.json
[codex:516549] contracts
[codex:516549]
[codex:516549] thinking
[codex:516549] **Opening AUDIT_BUNDLE file**
[codex:516549] exec
[codex:516549] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-bacxpsw8 succeeded in 5ms:
[codex:516549] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:516549]
[codex:516549] ================================================================================
[codex:516549] FILE: contracts/@uniswap/v2-core/contracts/interfaces/IUniswapV2Pair.sol
[codex:516549] ================================================================================
[codex:516549] pragma solidity >=0.5.0;
[codex:516549]
[codex:516549] interface IUniswapV2Pair {
[codex:516549] event Approval(address indexed owner, address indexed spender, uint value);
[codex:516549] event Transfer(address indexed from, address indexed to, uint value);
[codex:516549]
[codex:516549] function name() external pure returns (string memory);
[codex:516549] function symbol() external pure returns (string memory);
[codex:516549] function decimals() external pure returns (uint8);
[codex:516549] function totalSupply() external view returns (uint);
[codex:516549] function balanceOf(address owner) external view returns (uint);
[codex:516549] function allowance(address owner, address spender) external view returns (uint);
[codex:516549]
[codex:516549] function approve(address spender, uint value) external returns (bool);
[codex:516549] function transfer(address to, uint value) external returns (bool);
[codex:516549]
[codex:516549] thinking
[codex:516549] **Continuing file review**
[codex:516549] exec
[codex:516549] /bin/bash -lc "sed -n '200,400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-bacxpsw8 succeeded in 5ms:
[codex:516549] address[] calldata path,
[codex:516549] address to,
[codex:516549] uint deadline
[codex:516549] ) external;
[codex:516549] }
[codex:516549]
[codex:516549] ================================================================================
[codex:516549] FILE: contracts/home/joshua/Dropbox/Projects/2020_percom/ape_cash/contracts/ApeToken.sol
[codex:516549] ================================================================================
[codex:516549] // SPDX-License-Identifier: MIT
[codex:516549] pragma solidity ^0.6.12;
[codex:516549]
[codex:516549] import "./lib/ERC20Presaleable.sol";
[codex:516549] import "./lib/ERC20Vestable.sol";
[codex:516549] import "./lib/ERC20Burnable.sol";
[codex:516549] import "@uniswap/v2-periphery/contracts/interfaces/IUniswapV2Router02.sol";
[codex:516549] import "@openzeppelin/contracts/token/ERC20/IERC20.sol";
[codex:516549]
[codex:516549] contract ApeToken is ERC20Burnable, ERC20Vestable, ERC20Presaleable {
[codex:516549] IUniswapV2Router02 private router;
[codex:516549]
[codex:516549] thinking
[codex:516549] **Inspecting contract files**
[codex:516549] exec
[codex:516549] /bin/bash -lc 'rg --files' in /tmp/codex-multi-bacxpsw8 succeeded in 9ms:
[codex:516549] codex-output-schema.json
[codex:516549] AUDIT_BUNDLE.txt
[codex:516549] contracts/@uniswap/v2-periphery/contracts/interfaces/IUniswapV2Router02.sol
[codex:516549] contracts/@uniswap/v2-periphery/contracts/interfaces/IUniswapV2Router01.sol
[codex:516549] contracts/@openzeppelin/contracts/math/SafeMath.sol
[codex:516549] contracts/@openzeppelin/contracts/GSN/Context.sol
[codex:516549] contracts/@openzeppelin/contracts/access/AccessControl.sol
[codex:516549] contracts/home/joshua/Dropbox/Projects/2020_percom/ape_cash/contracts/ApeToken.sol
[codex:516549] contracts/home/joshua/Dropbox/Projects/2020_percom/ape_cash/contracts/lib/UniswapAware.sol
[codex:516549] contracts/home/joshua/Dropbox/Projects/2020_percom/ape_cash/contracts/lib/ERC20Burnable.sol
[codex:516549] contracts/home/joshua/Dropbox/Projects/2020_percom/ape_cash/contracts/lib/ERC20Vestable.sol
[codex:516549] contracts/home/joshua/Dropbox/Projects/2020_percom/ape_cash/contracts/lib/RoleAware.sol
[codex:516549] contracts/home/joshua/Dropbox/Projects/2020_percom/ape_cash/contracts/lib/ERC20Presaleable.sol
[codex:516549] contracts/@openzeppelin/contracts/utils/Address.sol
[codex:516549] contracts/@openzeppelin/contracts/utils/EnumerableSet.sol
[codex:516549] contracts/@openzeppelin/contracts/utils/ReentrancyGuard.sol
[codex:516549] contracts/@openzeppelin/contracts/token/ERC20/IERC20.sol
[codex:516549] contracts/@openzeppelin/contracts/token/ERC20/ERC20.sol
[codex:516549] contracts/@uniswap/v2-core/contracts/interfaces/IUniswapV2Pair.sol
[codex:516549]
[codex:516549] thinking
[codex:516549] **Reading library files**
[codex:516549] exec
[codex:516549] /bin/bash -lc "sed -n '1,240p' contracts/home/joshua/Dropbox/Projects/2020_percom/ape_cash/contracts/lib/RoleAware.sol" in /tmp/codex-multi-bacxpsw8 succeeded in 5ms:
[codex:516549] // SPDX-License-Identifier: MIT
[codex:516549] pragma solidity ^0.6.12;
[codex:516549] import "@openzeppelin/contracts/utils/ReentrancyGuard.sol";
[codex:516549] import "@openzeppelin/contracts/access/AccessControl.sol";
[codex:516549] import "./UniswapAware.sol";
[codex:516549]
[codex:516549]
[codex:516549] contract RoleAware is AccessControl, UniswapAware {
[codex:516549] bytes32 public constant STAKING_POOL_ROLE = keccak256("STAKING_POOL_ROLE");
[codex:516549] bytes32 public constant WHITELIST_ROLE = keccak256("WHITELIST_ROLE");
[codex:516549] bytes32 public constant WHITELIST_TO_ROLE = keccak256("WHITELIST_TO_ROLE");
[codex:516549] bytes32 public constant WHITELIST_FROM_ROLE =
[codex:516549] keccak256("WHITELIST_FROM_ROLE");
[codex:516549] bytes32 public constant DEVELOPER_ROLE = keccak256("DEVELOPER_ROLE");
[codex:516549] address payable public _developer;
[codex:516549]
[codex:516549] constructor(address payable developer, address[] memory stakingPools)
[codex:516549] public
[codex:516549] {
[codex:516549] _developer = developer;
[codex:516549]
[codex:516549] thinking
[codex:516549] **Noting class inheritance dependencies**
[codex:516549] exec
[codex:516549] /bin/bash -lc "sed -n '1,260p' contracts/home/joshua/Dropbox/Projects/2020_percom/ape_cash/contracts/lib/UniswapAware.sol" in /tmp/codex-multi-bacxpsw8 succeeded in 5ms:
[codex:516549] // SPDX-License-Identifier: MIT
[codex:516549] pragma solidity ^0.6.12;
[codex:516549]
[codex:516549] import "@uniswap/v2-core/contracts/interfaces/IUniswapV2Pair.sol";
[codex:516549]
[codex:516549] contract UniswapAware {
[codex:516549] address public uniswapEthPair;
[codex:516549] IUniswapV2Pair public uniswapPairImpl;
[codex:516549]
[codex:516549] function isContract(address _addr) internal view returns (bool) {
[codex:516549] uint32 size;
[codex:516549] assembly {
[codex:516549] size := extcodesize(_addr)
[codex:516549] }
[codex:516549] return (size > 0);
[codex:516549] }
[codex:516549]
[codex:516549] constructor() public {
[codex:516549] uniswapEthPair = pairFor(
[codex:516549] 0x5C69bEe701ef814a2B6a3EDD4B1652CB9cc5aA6f,
[codex:516549]
[codex:516549] thinking
[codex:516549] **Reviewing contract components**
[codex:516549] exec
[codex:516549] /bin/bash -lc "sed -n '1,260p' contracts/home/joshua/Dropbox/Projects/2020_percom/ape_cash/contracts/lib/ERC20Burnable.sol" in /tmp/codex-multi-bacxpsw8 succeeded in 5ms:
[codex:516549] // SPDX-License-Identifier: MIT
[codex:516549] pragma solidity ^0.6.12;
[codex:516549] import "./RoleAware.sol";
[codex:516549] import "@openzeppelin/contracts/token/ERC20/ERC20.sol";
[codex:516549]
[codex:516549] abstract contract ERC20Burnable is RoleAware, ERC20 {
[codex:516549] uint256 public minimumSupply = 20000 * (10**18);
[codex:516549] uint256 public maximumSupply = 5000000 * (10**18);
[codex:516549] uint256 private constant roughDay = 60 * 60 * 24;
[codex:516549] uint256 public timeListed = 0;
[codex:516549]
[codex:516549] // address of giveth, an on-chain charity
[codex:516549] address
[codex:516549] public constant GIVETH_ADDRESS = 0x8f951903C9360345B4e1b536c7F5ae8f88A64e79;
[codex:516549]
[codex:516549] function _partialBurn(
[codex:516549] uint256 amount,
[codex:516549] address recipient,
[codex:516549] address sender
[codex:516549] ) internal returns (uint256) {
[codex:516549]
[codex:516549] thinking
[codex:516549] **Checking out Vestable**
[codex:516549] exec
[codex:516549] /bin/bash -lc "sed -n '1,260p' contracts/home/joshua/Dropbox/Projects/2020_percom/ape_cash/contracts/lib/ERC20Vestable.sol" in /tmp/codex-multi-bacxpsw8 succeeded in 5ms:
[codex:516549] // SPDX-License-Identifier: MIT
[codex:516549] pragma solidity ^0.6.12;
[codex:516549] import "./RoleAware.sol";
[codex:516549] import "@openzeppelin/contracts/token/ERC20/ERC20.sol";
[codex:516549]
[codex:516549] abstract contract ERC20Vestable is RoleAware, ERC20 {
[codex:516549] uint256 public vestingTime = 4 days;
[codex:516549]
[codex:516549] function setVestingTime(uint256 newTime) public onlyDeveloper {
[codex:516549] vestingTime = newTime;
[codex:516549] }
[codex:516549]
[codex:516549] // tokens vest 10% every n days. `claimFunds` can be called once every n days
[codex:516549] struct VestingAllowance {
[codex:516549] uint256 frequency;
[codex:516549] uint256 allowance;
[codex:516549] uint256 claimAmount;
[codex:516549] uint256 lastClaimed;
[codex:516549] }
[codex:516549]
[codex:516549]
[codex:516549] thinking
[codex:516549] **Preparing next step**
[codex:516549] exec
[codex:516549] /bin/bash -lc "sed -n '1,320p' contracts/home/joshua/Dropbox/Projects/2020_percom/ape_cash/contracts/lib/ERC20Presaleable.sol" in /tmp/codex-multi-bacxpsw8 succeeded in 5ms:
[codex:516549] // SPDX-License-Identifier: MIT
[codex:516549] pragma solidity ^0.6.12;
[codex:516549] import "./RoleAware.sol";
[codex:516549] import "@openzeppelin/contracts/token/ERC20/ERC20.sol";
[codex:516549]
[codex:516549] abstract contract ERC20Presaleable is RoleAware, ReentrancyGuard, ERC20 {
[codex:516549] bool public isPresale = false;
[codex:516549]
[codex:516549] uint256 public presaleApePerEther = 2500;
[codex:516549] uint256 public uniswapApePerEth = 1800;
[codex:516549] uint256 public presaleEtherReceived = 0 ether;
[codex:516549] uint256 public maxPresaleEtherValue;
[codex:516549]
[codex:516549] uint256 internal _minTokenPurchaseAmount = .1 ether;
[codex:516549] uint256 internal _maxTokenPurchaseAmount = 1.5 ether;
[codex:516549]
[codex:516549] mapping(address => bool) private _whitelisted;
[codex:516549] mapping(address => uint256) public presaleContributions;
[codex:516549]
[codex:516549] event PresalePurchased(address buyer, uint256 entitlement, uint256 weiContributed);
[codex:516549]
[codex:516549]
[codex:516549] thinking
[codex:516549] **Analyzing contract vulnerabilities and exploit possibilities**
[codex:516549] thinking
[codex:516549] **Examining access control and presale mechanics**
[codex:516549]
[codex:516549] I'll carefully analyze role-based access, whitelisting nuances, and presale conditions to understand if attackers can bypass restrictions or mint tokens unfairly, focusing on how presale and claimPresale interplay with whitelist and developer-only functions.
[codex:516549] exec
[codex:516549] /bin/bash -lc 'rg -n "using SafeMath" contracts/home/joshua/Dropbox/Projects/2020_percom/ape_cash/contracts/lib/ERC20Presaleable.sol' in /tmp/codex-multi-bacxpsw8 exited 1 in 9ms:
[codex:516549]
[codex:516549]
[codex:516549] thinking
[codex:516549] **Investigating SafeMath usage and inheritance**
[codex:516549] exec
[codex:516549] /bin/bash -lc 'rg -n "using SafeMath" contracts/home/joshua/Dropbox/Projects/2020_percom/ape_cash/contracts' in /tmp/codex-multi-bacxpsw8 exited 1 in 8ms:
[codex:516549]
[codex:516549]
[codex:516549] thinking
[codex:516549] **Analyzing SafeMath usage and potential vulnerabilities**
[codex:516549] exec
[codex:516549] /bin/bash -lc "sed -n '1,260p' contracts/@openzeppelin/contracts/access/AccessControl.sol" in /tmp/codex-multi-bacxpsw8 succeeded in 5ms:
[codex:516549] // SPDX-License-Identifier: MIT
[codex:516549]
[codex:516549] pragma solidity ^0.6.0;
[codex:516549]
[codex:516549] import "../utils/EnumerableSet.sol";
[codex:516549] import "../utils/Address.sol";
[codex:516549] import "../GSN/Context.sol";
[codex:516549]
[codex:516549] /**
[codex:516549] * @dev Contract module that allows children to implement role-based access
[codex:516549] * control mechanisms.
[codex:516549] *
[codex:516549] * Roles are referred to by their `bytes32` identifier. These should be exposed
[codex:516549] * in the external API and be unique. The best way to achieve this is by
[codex:516549] * using `public constant` hash digests:
[codex:516549] *
[codex:516549] * ```
[codex:516549] * bytes32 public constant MY_ROLE = keccak256("MY_ROLE");
[codex:516549] * ```
[codex:516549] *
[codex:516549]
[codex:516549]
[codex:516549] thinking
[codex:516549] **Analyzing potential security risks and token mechanics**
[codex:516549]
[codex:516549] I’m carefully reviewing access controls, token minting logic, and presale mechanics to spot any exploitable flaws that could let someone profit unfairly. I’m verifying role assignments, reentrancy protections, token calculations, and whitelist interactions to ensure no hidden vulnerabilities are enabling unauthorized minting, burn manipulation, or reentrancy exploits. Everything seems secure with no clear profit attack vector found.
[codex:516549] thinking
[codex:516549] **Preparing final audit conclusion**
[codex:516549]
[codex:516549] I’m wrapping up by confirming no exploitable profit paths were found after reviewing the full audit bundle and related source files. Now I’ll produce a clean JSON summary with no findings and a clear statement reflecting that.
[codex:516549] codex
[codex:516549] {"no_findings":true,"summary":"No concrete, exploitable profit path found in the provided contracts after reviewing AUDIT_BUNDLE.txt and related first‑party sources.","findings":[]}
[codex:516549] tokens used
[codex:516549] 48,116
[codex:516549] {"no_findings":true,"summary":"No concrete, exploitable profit path found in the provided contracts after reviewing AUDIT_BUNDLE.txt and related first‑party sources.","findings":[]}
{
"codex": {
"ran_at": "2026-01-04T06:47:31.125983+00:00",
"returncode": 0
},
"summary": "No concrete, exploitable profit path found in the provided contracts after reviewing AUDIT_BUNDLE.txt and related first\u2011party sources.",
"raw_final": {
"summary": "No concrete, exploitable profit path found in the provided contracts after reviewing AUDIT_BUNDLE.txt and related first\u2011party sources.",
"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 0x03b4 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: DUP1 00000031: PUSH4 0x70e1d99b 00000036: GT 00000037: PUSH2 0x01f9 0000003a: JUMPI 0000003b: DUP1 0000003c: PUSH4 0xa217fddf 00000041: GT 00000042: PUSH2 0x011f 00000045: JUMPI 00000046: DUP1 00000047: PUSH4 0xc7dab436 0000004c: GT 0000004d: PUSH2 0x00bd 00000050: JUMPI 00000051: DUP1 00000052: PUSH4 0xd547741f 00000057: GT 00000058: PUSH2 0x008c 0000005b: JUMPI 0000005c: DUP1 0000005d: PUSH4 0xd547741f 00000062: EQ 00000063: PUSH2 0x0d3b 00000066: JUMPI 00000067: DUP1 00000068: PUSH4 0xdd62ed3e 0000006d: EQ 0000006e: PUSH2 0x0d74 00000071: JUMPI 00000072: DUP1 00000073: PUSH4 0xf80f5dd5 00000078: EQ 00000079: PUSH2 0x0daf 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0xfdea8e0b 00000083: EQ 00000084: PUSH2 0x0de2 00000087: JUMPI 00000088: PUSH2 0x03b4 0000008b: JUMP 0000008c: JUMPDEST 0000008d: DUP1 0000008e: PUSH4 0xc7dab436 00000093: EQ 00000094: PUSH2 0x0b87 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xca15c873 0000009e: EQ 0000009f: PUSH2 0x0b9c 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xd001fb8e 000000a9: EQ 000000aa: PUSH2 0x0bc6 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xd0170ecc 000000b4: EQ 000000b5: PUSH2 0x0cfa 000000b8: JUMPI 000000b9: PUSH2 0x03b4 000000bc: JUMP 000000bd: JUMPDEST 000000be: DUP1 000000bf: PUSH4 0xa9059cbb 000000c4: GT 000000c5: PUSH2 0x00f9 000000c8: JUMPI 000000c9: DUP1 000000ca: PUSH4 0xa9059cbb 000000cf: EQ 000000d0: PUSH2 0x0aad 000000d3: JUMPI 000000d4: DUP1 000000d5: PUSH4 0xac307773 000000da: EQ 000000db: PUSH2 0x0ae6 000000de: JUMPI 000000df: DUP1 000000e0: PUSH4 0xb5605c92 000000e5: EQ 000000e6: PUSH2 0x0afb 000000e9: JUMPI 000000ea: DUP1 000000eb: PUSH4 0xbe53a511 000000f0: EQ 000000f1: PUSH2 0x0b54 000000f4: JUMPI 000000f5: PUSH2 0x03b4 000000f8: JUMP 000000f9: JUMPDEST 000000fa: DUP1 000000fb: PUSH4 0xa217fddf 00000100: EQ 00000101: PUSH2 0x0a4a 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0xa457c2d7 0000010b: EQ 0000010c: PUSH2 0x0a5f 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0xa46985cc 00000116: EQ 00000117: PUSH2 0x0a98 0000011a: JUMPI 0000011b: PUSH2 0x03b4 0000011e: JUMP 0000011f: JUMPDEST 00000120: DUP1 00000121: PUSH4 0x83e71f30 00000126: GT 00000127: PUSH2 0x0197 0000012a: JUMPI 0000012b: DUP1 0000012c: PUSH4 0x91e7cd44 00000131: GT 00000132: PUSH2 0x0166 00000135: JUMPI 00000136: DUP1 00000137: PUSH4 0x91e7cd44 0000013c: EQ 0000013d: PUSH2 0x09d8 00000140: JUMPI 00000141: DUP1 00000142: PUSH4 0x95364a84 00000147: EQ 00000148: PUSH2 0x09ed 0000014b: JUMPI 0000014c: DUP1 0000014d: PUSH4 0x95d89b41 00000152: EQ 00000153: PUSH2 0x0a02 00000156: JUMPI 00000157: DUP1 00000158: PUSH4 0x9cf071d1 0000015d: EQ 0000015e: PUSH2 0x0a17 00000161: JUMPI 00000162: PUSH2 0x03b4 00000165: JUMP 00000166: JUMPDEST 00000167: DUP1 00000168: PUSH4 0x83e71f30 0000016d: EQ 0000016e: PUSH2 0x0945 00000171: JUMPI 00000172: DUP1 00000173: PUSH4 0x9010d07c 00000178: EQ 00000179: PUSH2 0x095a 0000017c: JUMPI 0000017d: DUP1 0000017e: PUSH4 0x9103a0e0 00000183: EQ 00000184: PUSH2 0x098a 00000187: JUMPI 00000188: DUP1 00000189: PUSH4 0x91d14854 0000018e: EQ 0000018f: PUSH2 0x099f 00000192: JUMPI 00000193: PUSH2 0x03b4 00000196: JUMP 00000197: JUMPDEST 00000198: DUP1 00000199: PUSH4 0x7a9d0758 0000019e: GT 0000019f: PUSH2 0x01d3 000001a2: JUMPI 000001a3: DUP1 000001a4: PUSH4 0x7a9d0758 000001a9: EQ 000001aa: PUSH2 0x08dc 000001ad: JUMPI 000001ae: DUP1 000001af: PUSH4 0x7ad8fdc1 000001b4: EQ 000001b5: PUSH2 0x08f1 000001b8: JUMPI 000001b9: DUP1 000001ba: PUSH4 0x7ede036d 000001bf: EQ 000001c0: PUSH2 0x0906 000001c3: JUMPI 000001c4: DUP1 000001c5: PUSH4 0x80292160 000001ca: EQ 000001cb: PUSH2 0x091b 000001ce: JUMPI 000001cf: PUSH2 0x03b4 000001d2: JUMP 000001d3: JUMPDEST 000001d4: DUP1 000001d5: PUSH4 0x70e1d99b 000001da: EQ 000001db: PUSH2 0x089d 000001de: JUMPI 000001df: DUP1 000001e0: PUSH4 0x79b36943 000001e5: EQ 000001e6: PUSH2 0x08b2 000001e9: JUMPI 000001ea: DUP1 000001eb: PUSH4 0x7a997ab7 000001f0: EQ 000001f1: PUSH2 0x08c7 000001f4: JUMPI 000001f5: PUSH2 0x03b4 000001f8: JUMP 000001f9: JUMPDEST 000001fa: DUP1 000001fb: PUSH4 0x248a9ca3 00000200: GT 00000201: PUSH2 0x02de 00000204: JUMPI 00000205: DUP1 00000206: PUSH4 0x39d794cf 0000020b: GT 0000020c: PUSH2 0x027c 0000020f: JUMPI 00000210: DUP1 00000211: PUSH4 0x6a76822e 00000216: GT 00000217: PUSH2 0x024b 0000021a: JUMPI 0000021b: DUP1 0000021c: PUSH4 0x6a76822e 00000221: EQ 00000222: PUSH2 0x07dd 00000225: JUMPI 00000226: DUP1 00000227: PUSH4 0x6d91c0e2 0000022c: EQ 0000022d: PUSH2 0x07f2 00000230: JUMPI 00000231: DUP1 00000232: PUSH4 0x6fa7279d 00000237: EQ 00000238: PUSH2 0x0837 0000023b: JUMPI 0000023c: DUP1 0000023d: PUSH4 0x70a08231 00000242: EQ 00000243: PUSH2 0x086a 00000246: JUMPI 00000247: PUSH2 0x03b4 0000024a: JUMP 0000024b: JUMPDEST 0000024c: DUP1 0000024d: PUSH4 0x39d794cf 00000252: EQ 00000253: PUSH2 0x0747 00000256: JUMPI 00000257: DUP1 00000258: PUSH4 0x3a0a5eac 0000025d: EQ 0000025e: PUSH2 0x075c 00000261: JUMPI 00000262: DUP1 00000263: PUSH4 0x40c10f19 00000268: EQ 00000269: PUSH2 0x0771 0000026c: JUMPI 0000026d: DUP1 0000026e: PUSH4 0x477f1eba 00000273: EQ 00000274: PUSH2 0x07aa 00000277: JUMPI 00000278: PUSH2 0x03b4 0000027b: JUMP 0000027c: JUMPDEST 0000027d: DUP1 0000027e: PUSH4 0x313ce567 00000283: GT 00000284: PUSH2 0x02b8 00000287: JUMPI 00000288: DUP1 00000289: PUSH4 0x313ce567 0000028e: EQ 0000028f: PUSH2 0x0695 00000292: JUMPI 00000293: DUP1 00000294: PUSH4 0x36568abe 00000299: EQ 0000029a: PUSH2 0x06c0 0000029d: JUMPI 0000029e: DUP1 0000029f: PUSH4 0x38bdff54 000002a4: EQ 000002a5: PUSH2 0x06f9 000002a8: JUMPI 000002a9: DUP1 000002aa: PUSH4 0x39509351 000002af: EQ 000002b0: PUSH2 0x070e 000002b3: JUMPI 000002b4: PUSH2 0x03b4 000002b7: JUMP 000002b8: JUMPDEST 000002b9: DUP1 000002ba: PUSH4 0x248a9ca3 000002bf: EQ 000002c0: PUSH2 0x061d 000002c3: JUMPI 000002c4: DUP1 000002c5: PUSH4 0x28160668 000002ca: EQ 000002cb: PUSH2 0x0647 000002ce: JUMPI 000002cf: DUP1 000002d0: PUSH4 0x2f2ff15d 000002d5: EQ 000002d6: PUSH2 0x065c 000002d9: JUMPI 000002da: PUSH2 0x03b4 000002dd: JUMP 000002de: JUMPDEST 000002df: DUP1 000002e0: PUSH4 0x098d3228 000002e5: GT 000002e6: PUSH2 0x0356 000002e9: JUMPI 000002ea: DUP1 000002eb: PUSH4 0x18160ddd 000002f0: GT 000002f1: PUSH2 0x0325 000002f4: JUMPI 000002f5: DUP1 000002f6: PUSH4 0x18160ddd 000002fb: EQ 000002fc: PUSH2 0x059b 000002ff: JUMPI 00000300: DUP1 00000301: PUSH4 0x1ad2ad1a 00000306: EQ 00000307: PUSH2 0x05b0 0000030a: JUMPI 0000030b: DUP1 0000030c: PUSH4 0x214039ab 00000311: EQ 00000312: PUSH2 0x05c5 00000315: JUMPI 00000316: DUP1 00000317: PUSH4 0x23b872dd 0000031c: EQ 0000031d: PUSH2 0x05da 00000320: JUMPI 00000321: PUSH2 0x03b4 00000324: JUMP 00000325: JUMPDEST 00000326: DUP1 00000327: PUSH4 0x098d3228 0000032c: EQ 0000032d: PUSH2 0x0529 00000330: JUMPI 00000331: DUP1 00000332: PUSH4 0x0aca2e11 00000337: EQ 00000338: PUSH2 0x053e 0000033b: JUMPI 0000033c: DUP1 0000033d: PUSH4 0x0cd2da38 00000342: EQ 00000343: PUSH2 0x0553 00000346: JUMPI 00000347: DUP1 00000348: PUSH4 0x12cc63dc 0000034d: EQ 0000034e: PUSH2 0x0586 00000351: JUMPI 00000352: PUSH2 0x03b4 00000355: JUMP 00000356: JUMPDEST 00000357: DUP1 00000358: PUSH4 0x057fa3a0 0000035d: GT 0000035e: PUSH2 0x0392 00000361: JUMPI 00000362: DUP1 00000363: PUSH4 0x057fa3a0 00000368: EQ 00000369: PUSH2 0x0420 0000036c: JUMPI 0000036d: DUP1 0000036e: PUSH4 0x06fdde03 00000373: EQ 00000374: PUSH2 0x0435 00000377: JUMPI 00000378: DUP1 00000379: PUSH4 0x08ef2424 0000037e: EQ 0000037f: PUSH2 0x04bf 00000382: JUMPI 00000383: DUP1 00000384: PUSH4 0x095ea7b3 00000389: EQ 0000038a: PUSH2 0x04f0 0000038d: JUMPI 0000038e: PUSH2 0x03b4 00000391: JUMP 00000392: JUMPDEST 00000393: DUP1 00000394: PUSH4 0x046ef9a5 00000399: EQ 0000039a: PUSH2 0x03b9 0000039d: JUMPI 0000039e: DUP1 0000039f: PUSH4 0x0480e58b 000003a4: EQ 000003a5: PUSH2 0x03e2 000003a8: JUMPI 000003a9: DUP1 000003aa: PUSH4 0x04c98b2b 000003af: EQ 000003b0: PUSH2 0x0409 000003b3: JUMPI 000003b4: JUMPDEST 000003b5: PUSH1 0x00 000003b7: DUP1 000003b8: REVERT 000003b9: JUMPDEST 000003ba: CALLVALUE 000003bb: DUP1 000003bc: ISZERO 000003bd: PUSH2 0x03c5 000003c0: JUMPI 000003c1: PUSH1 0x00 000003c3: DUP1 000003c4: REVERT 000003c5: JUMPDEST 000003c6: POP 000003c7: PUSH2 0x03ce 000003ca: PUSH2 0x0dea 000003cd: JUMP 000003ce: JUMPDEST 000003cf: PUSH1 0x40 000003d1: DUP1 000003d2: MLOAD 000003d3: SWAP2 000003d4: ISZERO 000003d5: ISZERO 000003d6: DUP3 000003d7: MSTORE 000003d8: MLOAD 000003d9: SWAP1 000003da: DUP2 000003db: SWAP1 000003dc: SUB 000003dd: PUSH1 0x20 000003df: ADD 000003e0: SWAP1 000003e1: RETURN 000003e2: JUMPDEST 000003e3: CALLVALUE 000003e4: DUP1 000003e5: ISZERO 000003e6: PUSH2 0x03ee 000003e9: JUMPI 000003ea: PUSH1 0x00 000003ec: DUP1 000003ed: REVERT 000003ee: JUMPDEST 000003ef: POP 000003f0: PUSH2 0x03f7 000003f3: PUSH2 0x0ec5 000003f6: JUMP 000003f7: JUMPDEST 000003f8: PUSH1 0x40 000003fa: DUP1 000003fb: MLOAD 000003fc: SWAP2 000003fd: DUP3 000003fe: MSTORE 000003ff: MLOAD 00000400: SWAP1 00000401: DUP2 00000402: SWAP1 00000403: SUB 00000404: PUSH1 0x20 00000406: ADD 00000407: SWAP1 00000408: RETURN 00000409: JUMPDEST 0000040a: CALLVALUE 0000040b: DUP1 0000040c: ISZERO 0000040d: PUSH2 0x0415 00000410: JUMPI 00000411: PUSH1 0x00 00000413: DUP1 00000414: REVERT 00000415: JUMPDEST 00000416: POP 00000417: PUSH2 0x041e 0000041a: PUSH2 0x0ecb 0000041d: JUMP 0000041e: JUMPDEST 0000041f: STOP 00000420: JUMPDEST 00000421: CALLVALUE 00000422: DUP1 00000423: ISZERO 00000424: PUSH2 0x042c 00000427: JUMPI 00000428: PUSH1 0x00 0000042a: DUP1 0000042b: REVERT 0000042c: JUMPDEST 0000042d: POP 0000042e: PUSH2 0x03f7 00000431: PUSH2 0x0f88 00000434: JUMP 00000435: JUMPDEST 00000436: CALLVALUE 00000437: DUP1 00000438: ISZERO 00000439: PUSH2 0x0441 0000043c: JUMPI 0000043d: PUSH1 0x00 0000043f: DUP1 00000440: REVERT 00000441: JUMPDEST 00000442: POP 00000443: PUSH2 0x044a 00000446: PUSH2 0x0f8e 00000449: JUMP 0000044a: JUMPDEST 0000044b: PUSH1 0x40 0000044d: DUP1 0000044e: MLOAD 0000044f: PUSH1 0x20 00000451: DUP1 00000452: DUP3 00000453: MSTORE 00000454: DUP4 00000455: MLOAD 00000456: DUP2 00000457: DUP4 00000458: ADD 00000459: MSTORE 0000045a: DUP4 0000045b: MLOAD 0000045c: SWAP2 0000045d: SWAP3 0000045e: DUP4 0000045f: SWAP3 00000460: SWAP1 00000461: DUP4 00000462: ADD 00000463: SWAP2 00000464: DUP6 00000465: ADD 00000466: SWAP1 00000467: DUP1 00000468: DUP4 00000469: DUP4 0000046a: PUSH1 0x00 0000046c: JUMPDEST 0000046d: DUP4 0000046e: DUP2 0000046f: LT 00000470: ISZERO 00000471: PUSH2 0x0484 00000474: JUMPI 00000475: DUP2 00000476: DUP2 00000477: ADD 00000478: MLOAD 00000479: DUP4 0000047a: DUP3 0000047b: ADD 0000047c: MSTORE 0000047d: PUSH1 0x20 0000047f: ADD 00000480: PUSH2 0x046c 00000483: JUMP 00000484: JUMPDEST 00000485: POP 00000486: POP 00000487: POP 00000488: POP 00000489: SWAP1 0000048a: POP 0000048b: SWAP1 0000048c: DUP2 0000048d: ADD 0000048e: SWAP1 0000048f: PUSH1 0x1f 00000491: AND 00000492: DUP1 00000493: ISZERO 00000494: PUSH2 0x04b1 00000497: JUMPI 00000498: DUP1 00000499: DUP3 0000049a: SUB 0000049b: DUP1 0000049c: MLOAD 0000049d: PUSH1 0x01 0000049f: DUP4 000004a0: PUSH1 0x20 000004a2: SUB 000004a3: PUSH2 0x0100 000004a6: EXP 000004a7: SUB 000004a8: NOT 000004a9: AND 000004aa: DUP2 000004ab: MSTORE 000004ac: PUSH1 0x20 000004ae: ADD 000004af: SWAP2 000004b0: POP 000004b1: JUMPDEST 000004b2: POP 000004b3: SWAP3 000004b4: POP 000004b5: POP 000004b6: POP 000004b7: PUSH1 0x40 000004b9: MLOAD 000004ba: DUP1 000004bb: SWAP2 000004bc: SUB 000004bd: SWAP1 000004be: RETURN 000004bf: JUMPDEST 000004c0: CALLVALUE 000004c1: DUP1 000004c2: ISZERO 000004c3: PUSH2 0x04cb 000004c6: JUMPI 000004c7: PUSH1 0x00 000004c9: DUP1 000004ca: REVERT 000004cb: JUMPDEST 000004cc: POP 000004cd: PUSH2 0x04d4 000004d0: PUSH2 0x1024 000004d3: JUMP 000004d4: JUMPDEST 000004d5: PUSH1 0x40 000004d7: DUP1 000004d8: MLOAD 000004d9: PUSH1 0x01 000004db: PUSH1 0xa0 000004dd: PUSH1 0x02 000004df: EXP 000004e0: SUB 000004e1: SWAP1 000004e2: SWAP3 000004e3: AND 000004e4: DUP3 000004e5: MSTORE 000004e6: MLOAD 000004e7: SWAP1 000004e8: DUP2 000004e9: SWAP1 000004ea: SUB 000004eb: PUSH1 0x20 000004ed: ADD 000004ee: SWAP1 000004ef: RETURN 000004f0: JUMPDEST 000004f1: CALLVALUE 000004f2: DUP1 000004f3: ISZERO 000004f4: PUSH2 0x04fc 000004f7: JUMPI 000004f8: PUSH1 0x00 000004fa: DUP1 000004fb: REVERT 000004fc: JUMPDEST 000004fd: POP 000004fe: PUSH2 0x03ce 00000501: PUSH1 0x04 00000503: DUP1 00000504: CALLDATASIZE 00000505: SUB 00000506: PUSH1 0x40 00000508: DUP2 00000509: LT 0000050a: ISZERO 0000050b: PUSH2 0x0513 0000050e: JUMPI 0000050f: PUSH1 0x00 00000511: DUP1 00000512: REVERT 00000513: JUMPDEST 00000514: POP 00000515: PUSH1 0x01 00000517: PUSH1 0xa0 00000519: PUSH1 0x02 0000051b: EXP 0000051c: SUB 0000051d: DUP2 0000051e: CALLDATALOAD 0000051f: AND 00000520: SWAP1 00000521: PUSH1 0x20 00000523: ADD 00000524: CALLDATALOAD 00000525: PUSH2 0x103c 00000528: JUMP 00000529: JUMPDEST 0000052a: CALLVALUE 0000052b: DUP1 0000052c: ISZERO 0000052d: PUSH2 0x0535 00000530: JUMPI 00000531: PUSH1 0x00 00000533: DUP1 00000534: REVERT 00000535: JUMPDEST 00000536: POP 00000537: PUSH2 0x03f7 0000053a: PUSH2 0x105a 0000053d: JUMP 0000053e: JUMPDEST 0000053f: CALLVALUE 00000540: DUP1 00000541: ISZERO 00000542: PUSH2 0x054a 00000545: JUMPI 00000546: PUSH1 0x00 00000548: DUP1 00000549: REVERT 0000054a: JUMPDEST 0000054b: POP 0000054c: PUSH2 0x03f7 0000054f: PUSH2 0x1060 00000552: JUMP 00000553: JUMPDEST 00000554: CALLVALUE 00000555: DUP1 00000556: ISZERO 00000557: PUSH2 0x055f 0000055a: JUMPI 0000055b: PUSH1 0x00 0000055d: DUP1 0000055e: REVERT 0000055f: JUMPDEST 00000560: POP 00000561: PUSH2 0x041e 00000564: PUSH1 0x04 00000566: DUP1 00000567: CALLDATASIZE 00000568: SUB 00000569: PUSH1 0x20 0000056b: DUP2 0000056c: LT 0000056d: ISZERO 0000056e: PUSH2 0x0576 00000571: JUMPI 00000572: PUSH1 0x00 00000574: DUP1 00000575: REVERT 00000576: JUMPDEST 00000577: POP 00000578: CALLDATALOAD 00000579: PUSH1 0x01 0000057b: PUSH1 0xa0 0000057d: PUSH1 0x02 0000057f: EXP 00000580: SUB 00000581: AND 00000582: PUSH2 0x1066 00000585: JUMP 00000586: JUMPDEST 00000587: CALLVALUE 00000588: DUP1 00000589: ISZERO 0000058a: PUSH2 0x0592 0000058d: JUMPI 0000058e: PUSH1 0x00 00000590: DUP1 00000591: REVERT 00000592: JUMPDEST 00000593: POP 00000594: PUSH2 0x03f7 00000597: PUSH2 0x1125 0000059a: JUMP 0000059b: JUMPDEST 0000059c: CALLVALUE 0000059d: DUP1 0000059e: ISZERO 0000059f: PUSH2 0x05a7 000005a2: JUMPI 000005a3: PUSH1 0x00 000005a5: DUP1 000005a6: REVERT 000005a7: JUMPDEST 000005a8: POP 000005a9: PUSH2 0x03f7 000005ac: PUSH2 0x1149 000005af: JUMP 000005b0: JUMPDEST 000005b1: CALLVALUE 000005b2: DUP1 000005b3: ISZERO 000005b4: PUSH2 0x05bc 000005b7: JUMPI 000005b8: PUSH1 0x00 000005ba: DUP1 000005bb: REVERT 000005bc: JUMPDEST 000005bd: POP 000005be: PUSH2 0x041e 000005c1: PUSH2 0x114f 000005c4: JUMP 000005c5: JUMPDEST 000005c6: CALLVALUE 000005c7: DUP1 000005c8: ISZERO 000005c9: PUSH2 0x05d1 000005cc: JUMPI 000005cd: PUSH1 0x00 000005cf: DUP1 000005d0: REVERT 000005d1: JUMPDEST 000005d2: POP 000005d3: PUSH2 0x04d4 000005d6: PUSH2 0x122e 000005d9: JUMP 000005da: JUMPDEST 000005db: CALLVALUE 000005dc: DUP1 000005dd: ISZERO 000005de: PUSH2 0x05e6 000005e1: JUMPI 000005e2: PUSH1 0x00 000005e4: DUP1 000005e5: REVERT 000005e6: JUMPDEST 000005e7: POP 000005e8: PUSH2 0x03ce 000005eb: PUSH1 0x04 000005ed: DUP1 000005ee: CALLDATASIZE 000005ef: SUB 000005f0: PUSH1 0x60 000005f2: DUP2 000005f3: LT 000005f4: ISZERO 000005f5: PUSH2 0x05fd 000005f8: JUMPI 000005f9: PUSH1 0x00 000005fb: DUP1 000005fc: REVERT 000005fd: JUMPDEST 000005fe: POP 000005ff: PUSH1 0x01 00000601: PUSH1 0xa0 00000603: PUSH1 0x02 00000605: EXP 00000606: SUB 00000607: DUP2 00000608: CALLDATALOAD 00000609: DUP2 0000060a: AND 0000060b: SWAP2 0000060c: PUSH1 0x20 0000060e: DUP2 0000060f: ADD 00000610: CALLDATALOAD 00000611: SWAP1 00000612: SWAP2 00000613: AND 00000614: SWAP1 00000615: PUSH1 0x40 00000617: ADD 00000618: CALLDATALOAD 00000619: PUSH2 0x123d 0000061c: JUMP 0000061d: JUMPDEST 0000061e: CALLVALUE 0000061f: DUP1 00000620: ISZERO 00000621: PUSH2 0x0629 00000624: JUMPI 00000625: PUSH1 0x00 00000627: DUP1 00000628: REVERT 00000629: JUMPDEST 0000062a: POP 0000062b: PUSH2 0x03f7 0000062e: PUSH1 0x04 00000630: DUP1 00000631: CALLDATASIZE 00000632: SUB 00000633: PUSH1 0x20 00000635: DUP2 00000636: LT 00000637: ISZERO 00000638: PUSH2 0x0640 0000063b: JUMPI 0000063c: PUSH1 0x00 0000063e: DUP1 0000063f: REVERT 00000640: JUMPDEST 00000641: POP 00000642: CALLDATALOAD 00000643: PUSH2 0x1254 00000646: JUMP 00000647: JUMPDEST 00000648: CALLVALUE 00000649: DUP1 0000064a: ISZERO 0000064b: PUSH2 0x0653 0000064e: JUMPI 0000064f: PUSH1 0x00 00000651: DUP1 00000652: REVERT 00000653: JUMPDEST 00000654: POP 00000655: PUSH2 0x03f7 00000658: PUSH2 0x1269 0000065b: JUMP 0000065c: JUMPDEST 0000065d: CALLVALUE 0000065e: DUP1 0000065f: ISZERO 00000660: PUSH2 0x0668 00000663: JUMPI 00000664: PUSH1 0x00 00000666: DUP1 00000667: REVERT 00000668: JUMPDEST 00000669: POP 0000066a: PUSH2 0x041e 0000066d: PUSH1 0x04 0000066f: DUP1 00000670: CALLDATASIZE 00000671: SUB 00000672: PUSH1 0x40 00000674: DUP2 00000675: LT 00000676: ISZERO 00000677: PUSH2 0x067f 0000067a: JUMPI 0000067b: PUSH1 0x00 0000067d: DUP1 0000067e: REVERT 0000067f: JUMPDEST 00000680: POP 00000681: DUP1 00000682: CALLDATALOAD 00000683: SWAP1 00000684: PUSH1 0x20 00000686: ADD 00000687: CALLDATALOAD 00000688: PUSH1 0x01 0000068a: PUSH1 0xa0 0000068c: PUSH1 0x02 0000068e: EXP 0000068f: SUB 00000690: AND 00000691: PUSH2 0x126f 00000694: JUMP 00000695: JUMPDEST 00000696: CALLVALUE 00000697: DUP1 00000698: ISZERO 00000699: PUSH2 0x06a1 0000069c: JUMPI 0000069d: PUSH1 0x00 0000069f: DUP1 000006a0: REVERT 000006a1: JUMPDEST 000006a2: POP 000006a3: PUSH2 0x06aa 000006a6: PUSH2 0x12de 000006a9: JUMP 000006aa: JUMPDEST 000006ab: PUSH1 0x40 000006ad: DUP1 000006ae: MLOAD 000006af: PUSH1 0xff 000006b1: SWAP1 000006b2: SWAP3 000006b3: AND 000006b4: DUP3 000006b5: MSTORE 000006b6: MLOAD 000006b7: SWAP1 000006b8: DUP2 000006b9: SWAP1 000006ba: SUB 000006bb: PUSH1 0x20 000006bd: ADD 000006be: SWAP1 000006bf: RETURN 000006c0: JUMPDEST 000006c1: CALLVALUE 000006c2: DUP1 000006c3: ISZERO 000006c4: PUSH2 0x06cc 000006c7: JUMPI 000006c8: PUSH1 0x00 000006ca: DUP1 000006cb: REVERT 000006cc: JUMPDEST 000006cd: POP 000006ce: PUSH2 0x041e 000006d1: PUSH1 0x04 000006d3: DUP1 000006d4: CALLDATASIZE 000006d5: SUB 000006d6: PUSH1 0x40 000006d8: DUP2 000006d9: LT 000006da: ISZERO 000006db: PUSH2 0x06e3 000006de: JUMPI 000006df: PUSH1 0x00 000006e1: DUP1 000006e2: REVERT 000006e3: JUMPDEST 000006e4: POP 000006e5: DUP1 000006e6: CALLDATALOAD 000006e7: SWAP1 000006e8: PUSH1 0x20 000006ea: ADD 000006eb: CALLDATALOAD 000006ec: PUSH1 0x01 000006ee: PUSH1 0xa0 000006f0: PUSH1 0x02 000006f2: EXP 000006f3: SUB 000006f4: AND 000006f5: PUSH2 0x12e7 000006f8: JUMP 000006f9: JUMPDEST 000006fa: CALLVALUE 000006fb: DUP1 000006fc: ISZERO 000006fd: PUSH2 0x0705 00000700: JUMPI 00000701: PUSH1 0x00 00000703: DUP1 00000704: REVERT 00000705: JUMPDEST 00000706: POP 00000707: PUSH2 0x03f7 0000070a: PUSH2 0x134b 0000070d: JUMP 0000070e: JUMPDEST 0000070f: CALLVALUE 00000710: DUP1 00000711: ISZERO 00000712: PUSH2 0x071a 00000715: JUMPI 00000716: PUSH1 0x00 00000718: DUP1 00000719: REVERT 0000071a: JUMPDEST 0000071b: POP 0000071c: PUSH2 0x03ce 0000071f: PUSH1 0x04 00000721: DUP1 00000722: CALLDATASIZE 00000723: SUB 00000724: PUSH1 0x40 00000726: DUP2 00000727: LT 00000728: ISZERO 00000729: PUSH2 0x0731 0000072c: JUMPI 0000072d: PUSH1 0x00 0000072f: DUP1 00000730: REVERT 00000731: JUMPDEST 00000732: POP 00000733: PUSH1 0x01 00000735: PUSH1 0xa0 00000737: PUSH1 0x02 00000739: EXP 0000073a: SUB 0000073b: DUP2 0000073c: CALLDATALOAD 0000073d: AND 0000073e: SWAP1 0000073f: PUSH1 0x20 00000741: ADD 00000742: CALLDATALOAD 00000743: PUSH2 0x136f 00000746: JUMP 00000747: JUMPDEST 00000748: CALLVALUE 00000749: DUP1 0000074a: ISZERO 0000074b: PUSH2 0x0753 0000074e: JUMPI 0000074f: PUSH1 0x00 00000751: DUP1 00000752: REVERT 00000753: JUMPDEST 00000754: POP 00000755: PUSH2 0x04d4 00000758: PUSH2 0x13c2 0000075b: JUMP 0000075c: JUMPDEST 0000075d: CALLVALUE 0000075e: DUP1 0000075f: ISZERO 00000760: PUSH2 0x0768 00000763: JUMPI 00000764: PUSH1 0x00 00000766: DUP1 00000767: REVERT 00000768: JUMPDEST 00000769: POP 0000076a: PUSH2 0x03f7 0000076d: PUSH2 0x13d1 00000770: JUMP 00000771: JUMPDEST 00000772: CALLVALUE 00000773: DUP1 00000774: ISZERO 00000775: PUSH2 0x077d 00000778: JUMPI 00000779: PUSH1 0x00 0000077b: DUP1 0000077c: REVERT 0000077d: JUMPDEST 0000077e: POP 0000077f: PUSH2 0x041e 00000782: PUSH1 0x04 00000784: DUP1 00000785: CALLDATASIZE 00000786: SUB 00000787: PUSH1 0x40 00000789: DUP2 0000078a: LT 0000078b: ISZERO 0000078c: PUSH2 0x0794 0000078f: JUMPI 00000790: PUSH1 0x00 00000792: DUP1 00000793: REVERT 00000794: JUMPDEST 00000795: POP 00000796: PUSH1 0x01 00000798: PUSH1 0xa0 0000079a: PUSH1 0x02 0000079c: EXP 0000079d: SUB 0000079e: DUP2 0000079f: CALLDATALOAD 000007a0: AND 000007a1: SWAP1 000007a2: PUSH1 0x20 000007a4: ADD 000007a5: CALLDATALOAD 000007a6: PUSH2 0x13f5 000007a9: JUMP 000007aa: JUMPDEST 000007ab: CALLVALUE 000007ac: DUP1 000007ad: ISZERO 000007ae: PUSH2 0x07b6 000007b1: JUMPI 000007b2: PUSH1 0x00 000007b4: DUP1 000007b5: REVERT 000007b6: JUMPDEST 000007b7: POP 000007b8: PUSH2 0x03f7 000007bb: PUSH1 0x04 000007bd: DUP1 000007be: CALLDATASIZE 000007bf: SUB 000007c0: PUSH1 0x20 000007c2: DUP2 000007c3: LT 000007c4: ISZERO 000007c5: PUSH2 0x07cd 000007c8: JUMPI 000007c9: PUSH1 0x00 000007cb: DUP1 000007cc: REVERT 000007cd: JUMPDEST 000007ce: POP 000007cf: CALLDATALOAD 000007d0: PUSH1 0x01 000007d2: PUSH1 0xa0 000007d4: PUSH1 0x02 000007d6: EXP 000007d7: SUB 000007d8: AND 000007d9: PUSH2 0x14f6 000007dc: JUMP 000007dd: JUMPDEST 000007de: CALLVALUE 000007df: DUP1 000007e0: ISZERO 000007e1: PUSH2 0x07e9 000007e4: JUMPI 000007e5: PUSH1 0x00 000007e7: DUP1 000007e8: REVERT 000007e9: JUMPDEST 000007ea: POP 000007eb: PUSH2 0x03f7 000007ee: PUSH2 0x1508 000007f1: JUMP 000007f2: JUMPDEST 000007f3: CALLVALUE 000007f4: DUP1 000007f5: ISZERO 000007f6: PUSH2 0x07fe 000007f9: JUMPI 000007fa: PUSH1 0x00 000007fc: DUP1 000007fd: REVERT 000007fe: JUMPDEST 000007ff: POP 00000800: PUSH2 0x04d4 00000803: PUSH1 0x04 00000805: DUP1 00000806: CALLDATASIZE 00000807: SUB 00000808: PUSH1 0x60 0000080a: DUP2 0000080b: LT 0000080c: ISZERO 0000080d: PUSH2 0x0815 00000810: JUMPI 00000811: PUSH1 0x00 00000813: DUP1 00000814: REVERT 00000815: JUMPDEST 00000816: POP 00000817: PUSH1 0x01 00000819: PUSH1 0xa0 0000081b: PUSH1 0x02 0000081d: EXP 0000081e: SUB 0000081f: DUP2 00000820: CALLDATALOAD 00000821: DUP2 00000822: AND 00000823: SWAP2 00000824: PUSH1 0x20 00000826: DUP2 00000827: ADD 00000828: CALLDATALOAD 00000829: DUP3 0000082a: AND 0000082b: SWAP2 0000082c: PUSH1 0x40 0000082e: SWAP1 0000082f: SWAP2 00000830: ADD 00000831: CALLDATALOAD 00000832: AND 00000833: PUSH2 0x150e 00000836: JUMP 00000837: JUMPDEST 00000838: CALLVALUE 00000839: DUP1 0000083a: ISZERO 0000083b: PUSH2 0x0843 0000083e: JUMPI 0000083f: PUSH1 0x00 00000841: DUP1 00000842: REVERT 00000843: JUMPDEST 00000844: POP 00000845: PUSH2 0x041e 00000848: PUSH1 0x04 0000084a: DUP1 0000084b: CALLDATASIZE 0000084c: SUB 0000084d: PUSH1 0x20 0000084f: DUP2 00000850: LT 00000851: ISZERO 00000852: PUSH2 0x085a 00000855: JUMPI 00000856: PUSH1 0x00 00000858: DUP1 00000859: REVERT 0000085a: JUMPDEST 0000085b: POP 0000085c: CALLDATALOAD 0000085d: PUSH1 0x01 0000085f: PUSH1 0xa0 00000861: PUSH1 0x02 00000863: EXP 00000864: SUB 00000865: AND 00000866: PUSH2 0x1605 00000869: JUMP 0000086a: JUMPDEST 0000086b: CALLVALUE 0000086c: DUP1 0000086d: ISZERO 0000086e: PUSH2 0x0876 00000871: JUMPI 00000872: PUSH1 0x00 00000874: DUP1 00000875: REVERT 00000876: JUMPDEST 00000877: POP 00000878: PUSH2 0x03f7 0000087b: PUSH1 0x04 0000087d: DUP1 0000087e: CALLDATASIZE 0000087f: SUB 00000880: PUSH1 0x20 00000882: DUP2 00000883: LT 00000884: ISZERO 00000885: PUSH2 0x088d 00000888: JUMPI 00000889: PUSH1 0x00 0000088b: DUP1 0000088c: REVERT 0000088d: JUMPDEST 0000088e: POP 0000088f: CALLDATALOAD 00000890: PUSH1 0x01 00000892: PUSH1 0xa0 00000894: PUSH1 0x02 00000896: EXP 00000897: SUB 00000898: AND 00000899: PUSH2 0x168c 0000089c: JUMP 0000089d: JUMPDEST 0000089e: CALLVALUE 0000089f: DUP1 000008a0: ISZERO 000008a1: PUSH2 0x08a9 000008a4: JUMPI 000008a5: PUSH1 0x00 000008a7: DUP1 000008a8: REVERT 000008a9: JUMPDEST 000008aa: POP 000008ab: PUSH2 0x041e 000008ae: PUSH2 0x16a7 000008b1: JUMP 000008b2: JUMPDEST 000008b3: CALLVALUE 000008b4: DUP1 000008b5: ISZERO 000008b6: PUSH2 0x08be 000008b9: JUMPI 000008ba: PUSH1 0x00 000008bc: DUP1 000008bd: REVERT 000008be: JUMPDEST 000008bf: POP 000008c0: PUSH2 0x04d4 000008c3: PUSH2 0x17ba 000008c6: JUMP 000008c7: JUMPDEST 000008c8: CALLVALUE 000008c9: DUP1 000008ca: ISZERO 000008cb: PUSH2 0x08d3 000008ce: JUMPI 000008cf: PUSH1 0x00 000008d1: DUP1 000008d2: REVERT 000008d3: JUMPDEST 000008d4: POP 000008d5: PUSH2 0x03f7 000008d8: PUSH2 0x17d2 000008db: JUMP 000008dc: JUMPDEST 000008dd: CALLVALUE 000008de: DUP1 000008df: ISZERO 000008e0: PUSH2 0x08e8 000008e3: JUMPI 000008e4: PUSH1 0x00 000008e6: DUP1 000008e7: REVERT 000008e8: JUMPDEST 000008e9: POP 000008ea: PUSH2 0x04d4 000008ed: PUSH2 0x17e4 000008f0: JUMP 000008f1: JUMPDEST 000008f2: CALLVALUE 000008f3: DUP1 000008f4: ISZERO 000008f5: PUSH2 0x08fd 000008f8: JUMPI 000008f9: PUSH1 0x00 000008fb: DUP1 000008fc: REVERT 000008fd: JUMPDEST 000008fe: POP 000008ff: PUSH2 0x041e 00000902: PUSH2 0x17f3 00000905: JUMP 00000906: JUMPDEST 00000907: CALLVALUE 00000908: DUP1 00000909: ISZERO 0000090a: PUSH2 0x0912 0000090d: JUMPI 0000090e: PUSH1 0x00 00000910: DUP1 00000911: REVERT 00000912: JUMPDEST 00000913: POP 00000914: PUSH2 0x03f7 00000917: PUSH2 0x1aca 0000091a: JUMP 0000091b: JUMPDEST 0000091c: CALLVALUE 0000091d: DUP1 0000091e: ISZERO 0000091f: PUSH2 0x0927 00000922: JUMPI 00000923: PUSH1 0x00 00000925: DUP1 00000926: REVERT 00000927: JUMPDEST 00000928: POP 00000929: PUSH2 0x041e 0000092c: PUSH1 0x04 0000092e: DUP1 0000092f: CALLDATASIZE 00000930: SUB 00000931: PUSH1 0x20 00000933: DUP2 00000934: LT 00000935: ISZERO 00000936: PUSH2 0x093e 00000939: JUMPI 0000093a: PUSH1 0x00 0000093c: DUP1 0000093d: REVERT 0000093e: JUMPDEST 0000093f: POP 00000940: CALLDATALOAD 00000941: PUSH2 0x1ad0 00000944: JUMP 00000945: JUMPDEST 00000946: CALLVALUE 00000947: DUP1 00000948: ISZERO 00000949: PUSH2 0x0951 0000094c: JUMPI 0000094d: PUSH1 0x00 0000094f: DUP1 00000950: REVERT 00000951: JUMPDEST 00000952: POP 00000953: PUSH2 0x03f7 00000956: PUSH2 0x1b2f 00000959: JUMP 0000095a: JUMPDEST 0000095b: CALLVALUE 0000095c: DUP1 0000095d: ISZERO 0000095e: PUSH2 0x0966 00000961: JUMPI 00000962: PUSH1 0x00 00000964: DUP1 00000965: REVERT 00000966: JUMPDEST 00000967: POP 00000968: PUSH2 0x04d4 0000096b: PUSH1 0x04 0000096d: DUP1 0000096e: CALLDATASIZE 0000096f: SUB 00000970: PUSH1 0x40 00000972: DUP2 00000973: LT 00000974: ISZERO 00000975: PUSH2 0x097d 00000978: JUMPI 00000979: PUSH1 0x00 0000097b: DUP1 0000097c: REVERT 0000097d: JUMPDEST 0000097e: POP 0000097f: DUP1 00000980: CALLDATALOAD 00000981: SWAP1 00000982: PUSH1 0x20 00000984: ADD 00000985: CALLDATALOAD 00000986: PUSH2 0x1b35 00000989: JUMP 0000098a: JUMPDEST 0000098b: CALLVALUE 0000098c: DUP1 0000098d: ISZERO 0000098e: PUSH2 0x0996 00000991: JUMPI 00000992: PUSH1 0x00 00000994: DUP1 00000995: REVERT 00000996: JUMPDEST 00000997: POP 00000998: PUSH2 0x03f7 0000099b: PUSH2 0x1b4d 0000099e: JUMP 0000099f: JUMPDEST 000009a0: CALLVALUE 000009a1: DUP1 000009a2: ISZERO 000009a3: PUSH2 0x09ab 000009a6: JUMPI 000009a7: PUSH1 0x00 000009a9: DUP1 000009aa: REVERT 000009ab: JUMPDEST 000009ac: POP 000009ad: PUSH2 0x03ce 000009b0: PUSH1 0x04 000009b2: DUP1 000009b3: CALLDATASIZE 000009b4: SUB 000009b5: PUSH1 0x40 000009b7: DUP2 000009b8: LT 000009b9: ISZERO 000009ba: PUSH2 0x09c2 000009bd: JUMPI 000009be: PUSH1 0x00 000009c0: DUP1 000009c1: REVERT 000009c2: JUMPDEST 000009c3: POP 000009c4: DUP1 000009c5: CALLDATALOAD 000009c6: SWAP1 000009c7: PUSH1 0x20 000009c9: ADD 000009ca: CALLDATALOAD 000009cb: PUSH1 0x01 000009cd: PUSH1 0xa0 000009cf: PUSH1 0x02 000009d1: EXP 000009d2: SUB 000009d3: AND 000009d4: PUSH2 0x1b5f 000009d7: JUMP 000009d8: JUMPDEST 000009d9: CALLVALUE 000009da: DUP1 000009db: ISZERO 000009dc: PUSH2 0x09e4 000009df: JUMPI 000009e0: PUSH1 0x00 000009e2: DUP1 000009e3: REVERT 000009e4: JUMPDEST 000009e5: POP 000009e6: PUSH2 0x03f7 000009e9: PUSH2 0x1b77 000009ec: JUMP 000009ed: JUMPDEST 000009ee: CALLVALUE 000009ef: DUP1 000009f0: ISZERO 000009f1: PUSH2 0x09f9 000009f4: JUMPI 000009f5: PUSH1 0x00 000009f7: DUP1 000009f8: REVERT 000009f9: JUMPDEST 000009fa: POP 000009fb: PUSH2 0x03ce 000009fe: PUSH2 0x1b7d 00000a01: JUMP 00000a02: JUMPDEST 00000a03: CALLVALUE 00000a04: DUP1 00000a05: ISZERO 00000a06: PUSH2 0x0a0e 00000a09: JUMPI 00000a0a: PUSH1 0x00 00000a0c: DUP1 00000a0d: REVERT 00000a0e: JUMPDEST 00000a0f: POP 00000a10: PUSH2 0x044a 00000a13: PUSH2 0x1b86 00000a16: JUMP 00000a17: JUMPDEST 00000a18: CALLVALUE 00000a19: DUP1 00000a1a: ISZERO 00000a1b: PUSH2 0x0a23 00000a1e: JUMPI 00000a1f: PUSH1 0x00 00000a21: DUP1 00000a22: REVERT 00000a23: JUMPDEST 00000a24: POP 00000a25: PUSH2 0x041e 00000a28: PUSH1 0x04 00000a2a: DUP1 00000a2b: CALLDATASIZE 00000a2c: SUB 00000a2d: PUSH1 0x20 00000a2f: DUP2 00000a30: LT 00000a31: ISZERO 00000a32: PUSH2 0x0a3a 00000a35: JUMPI 00000a36: PUSH1 0x00 00000a38: DUP1 00000a39: REVERT 00000a3a: JUMPDEST 00000a3b: POP 00000a3c: CALLDATALOAD 00000a3d: PUSH1 0x01 00000a3f: PUSH1 0xa0 00000a41: PUSH1 0x02 00000a43: EXP 00000a44: SUB 00000a45: AND 00000a46: PUSH2 0x1be7 00000a49: JUMP 00000a4a: JUMPDEST 00000a4b: CALLVALUE 00000a4c: DUP1 00000a4d: ISZERO 00000a4e: PUSH2 0x0a56 00000a51: JUMPI 00000a52: PUSH1 0x00 00000a54: DUP1 00000a55: REVERT 00000a56: JUMPDEST 00000a57: POP 00000a58: PUSH2 0x03f7 00000a5b: PUSH2 0x1cb9 00000a5e: JUMP 00000a5f: JUMPDEST 00000a60: CALLVALUE 00000a61: DUP1 00000a62: ISZERO 00000a63: PUSH2 0x0a6b 00000a66: JUMPI 00000a67: PUSH1 0x00 00000a69: DUP1 00000a6a: REVERT 00000a6b: JUMPDEST 00000a6c: POP 00000a6d: PUSH2 0x03ce 00000a70: PUSH1 0x04 00000a72: DUP1 00000a73: CALLDATASIZE 00000a74: SUB 00000a75: PUSH1 0x40 00000a77: DUP2 00000a78: LT 00000a79: ISZERO 00000a7a: PUSH2 0x0a82 00000a7d: JUMPI 00000a7e: PUSH1 0x00 00000a80: DUP1 00000a81: REVERT 00000a82: JUMPDEST 00000a83: POP 00000a84: PUSH1 0x01 00000a86: PUSH1 0xa0 00000a88: PUSH1 0x02 00000a8a: EXP 00000a8b: SUB 00000a8c: DUP2 00000a8d: CALLDATALOAD 00000a8e: AND 00000a8f: SWAP1 00000a90: PUSH1 0x20 00000a92: ADD 00000a93: CALLDATALOAD 00000a94: PUSH2 0x1cbe 00000a97: JUMP 00000a98: JUMPDEST 00000a99: CALLVALUE 00000a9a: DUP1 00000a9b: ISZERO 00000a9c: PUSH2 0x0aa4 00000a9f: JUMPI 00000aa0: PUSH1 0x00 00000aa2: DUP1 00000aa3: REVERT 00000aa4: JUMPDEST 00000aa5: POP 00000aa6: PUSH2 0x04d4 00000aa9: PUSH2 0x1d26 00000aac: JUMP 00000aad: JUMPDEST 00000aae: CALLVALUE 00000aaf: DUP1 00000ab0: ISZERO 00000ab1: PUSH2 0x0ab9 00000ab4: JUMPI 00000ab5: PUSH1 0x00 00000ab7: DUP1 00000ab8: REVERT 00000ab9: JUMPDEST 00000aba: POP 00000abb: PUSH2 0x03ce 00000abe: PUSH1 0x04 00000ac0: DUP1 00000ac1: CALLDATASIZE 00000ac2: SUB 00000ac3: PUSH1 0x40 00000ac5: DUP2 00000ac6: LT 00000ac7: ISZERO 00000ac8: PUSH2 0x0ad0 00000acb: JUMPI 00000acc: PUSH1 0x00 00000ace: DUP1 00000acf: REVERT 00000ad0: JUMPDEST 00000ad1: POP 00000ad2: PUSH1 0x01 00000ad4: PUSH1 0xa0 00000ad6: PUSH1 0x02 00000ad8: EXP 00000ad9: SUB 00000ada: DUP2 00000adb: CALLDATALOAD 00000adc: AND 00000add: SWAP1 00000ade: PUSH1 0x20 00000ae0: ADD 00000ae1: CALLDATALOAD 00000ae2: PUSH2 0x1d35 00000ae5: JUMP 00000ae6: JUMPDEST 00000ae7: CALLVALUE 00000ae8: DUP1 00000ae9: ISZERO 00000aea: PUSH2 0x0af2 00000aed: JUMPI 00000aee: PUSH1 0x00 00000af0: DUP1 00000af1: REVERT 00000af2: JUMPDEST 00000af3: POP 00000af4: PUSH2 0x041e 00000af7: PUSH2 0x1d41 00000afa: JUMP 00000afb: JUMPDEST 00000afc: CALLVALUE 00000afd: DUP1 00000afe: ISZERO 00000aff: PUSH2 0x0b07 00000b02: JUMPI 00000b03: PUSH1 0x00 00000b05: DUP1 00000b06: REVERT 00000b07: JUMPDEST 00000b08: POP 00000b09: PUSH2 0x0b2e 00000b0c: PUSH1 0x04 00000b0e: DUP1 00000b0f: CALLDATASIZE 00000b10: SUB 00000b11: PUSH1 0x20 00000b13: DUP2 00000b14: LT 00000b15: ISZERO 00000b16: PUSH2 0x0b1e 00000b19: JUMPI 00000b1a: PUSH1 0x00 00000b1c: DUP1 00000b1d: REVERT 00000b1e: JUMPDEST 00000b1f: POP 00000b20: CALLDATALOAD 00000b21: PUSH1 0x01 00000b23: PUSH1 0xa0 00000b25: PUSH1 0x02 00000b27: EXP 00000b28: SUB 00000b29: AND 00000b2a: PUSH2 0x1e48 00000b2d: JUMP 00000b2e: JUMPDEST 00000b2f: PUSH1 0x40 00000b31: DUP1 00000b32: MLOAD 00000b33: SWAP5 00000b34: DUP6 00000b35: MSTORE 00000b36: PUSH1 0x20 00000b38: DUP6 00000b39: ADD 00000b3a: SWAP4 00000b3b: SWAP1 00000b3c: SWAP4 00000b3d: MSTORE 00000b3e: DUP4 00000b3f: DUP4 00000b40: ADD 00000b41: SWAP2 00000b42: SWAP1 00000b43: SWAP2 00000b44: MSTORE 00000b45: PUSH1 0x60 00000b47: DUP4 00000b48: ADD 00000b49: MSTORE 00000b4a: MLOAD 00000b4b: SWAP1 00000b4c: DUP2 00000b4d: SWAP1 00000b4e: SUB 00000b4f: PUSH1 0x80 00000b51: ADD 00000b52: SWAP1 00000b53: RETURN 00000b54: JUMPDEST 00000b55: CALLVALUE 00000b56: DUP1 00000b57: ISZERO 00000b58: PUSH2 0x0b60 00000b5b: JUMPI 00000b5c: PUSH1 0x00 00000b5e: DUP1 00000b5f: REVERT 00000b60: JUMPDEST 00000b61: POP 00000b62: PUSH2 0x041e 00000b65: PUSH1 0x04 00000b67: DUP1 00000b68: CALLDATASIZE 00000b69: SUB 00000b6a: PUSH1 0x20 00000b6c: DUP2 00000b6d: LT 00000b6e: ISZERO 00000b6f: PUSH2 0x0b77 00000b72: JUMPI 00000b73: PUSH1 0x00 00000b75: DUP1 00000b76: REVERT 00000b77: JUMPDEST 00000b78: POP 00000b79: CALLDATALOAD 00000b7a: PUSH1 0x01 00000b7c: PUSH1 0xa0 00000b7e: PUSH1 0x02 00000b80: EXP 00000b81: SUB 00000b82: AND 00000b83: PUSH2 0x1e6f 00000b86: JUMP 00000b87: JUMPDEST 00000b88: CALLVALUE 00000b89: DUP1 00000b8a: ISZERO 00000b8b: PUSH2 0x0b93 00000b8e: JUMPI 00000b8f: PUSH1 0x00 00000b91: DUP1 00000b92: REVERT 00000b93: JUMPDEST 00000b94: POP 00000b95: PUSH2 0x03f7 00000b98: PUSH2 0x1ef3 00000b9b: JUMP 00000b9c: JUMPDEST 00000b9d: CALLVALUE 00000b9e: DUP1 00000b9f: ISZERO 00000ba0: PUSH2 0x0ba8 00000ba3: JUMPI 00000ba4: PUSH1 0x00 00000ba6: DUP1 00000ba7: REVERT 00000ba8: JUMPDEST 00000ba9: POP 00000baa: PUSH2 0x03f7 00000bad: PUSH1 0x04 00000baf: DUP1 00000bb0: CALLDATASIZE 00000bb1: SUB 00000bb2: PUSH1 0x20 00000bb4: DUP2 00000bb5: LT 00000bb6: ISZERO 00000bb7: PUSH2 0x0bbf 00000bba: JUMPI 00000bbb: PUSH1 0x00 00000bbd: DUP1 00000bbe: REVERT 00000bbf: JUMPDEST 00000bc0: POP 00000bc1: CALLDATALOAD 00000bc2: PUSH2 0x1ef9 00000bc5: JUMP 00000bc6: JUMPDEST 00000bc7: CALLVALUE 00000bc8: DUP1 00000bc9: ISZERO 00000bca: PUSH2 0x0bd2 00000bcd: JUMPI 00000bce: PUSH1 0x00 00000bd0: DUP1 00000bd1: REVERT 00000bd2: JUMPDEST 00000bd3: POP 00000bd4: PUSH2 0x041e 00000bd7: PUSH1 0x04 00000bd9: DUP1 00000bda: CALLDATASIZE 00000bdb: SUB 00000bdc: PUSH1 0x40 00000bde: DUP2 00000bdf: LT 00000be0: ISZERO 00000be1: PUSH2 0x0be9 00000be4: JUMPI 00000be5: PUSH1 0x00 00000be7: DUP1 00000be8: REVERT 00000be9: JUMPDEST 00000bea: DUP2 00000beb: ADD 00000bec: SWAP1 00000bed: PUSH1 0x20 00000bef: DUP2 00000bf0: ADD 00000bf1: DUP2 00000bf2: CALLDATALOAD 00000bf3: PUSH5 0x0100000000 00000bf9: DUP2 00000bfa: GT 00000bfb: ISZERO 00000bfc: PUSH2 0x0c04 00000bff: JUMPI 00000c00: PUSH1 0x00 00000c02: DUP1 00000c03: REVERT 00000c04: JUMPDEST 00000c05: DUP3 00000c06: ADD 00000c07: DUP4 00000c08: PUSH1 0x20 00000c0a: DUP3 00000c0b: ADD 00000c0c: GT 00000c0d: ISZERO 00000c0e: PUSH2 0x0c16 00000c11: JUMPI 00000c12: PUSH1 0x00 00000c14: DUP1 00000c15: REVERT 00000c16: JUMPDEST 00000c17: DUP1 00000c18: CALLDATALOAD 00000c19: SWAP1 00000c1a: PUSH1 0x20 00000c1c: ADD 00000c1d: SWAP2 00000c1e: DUP5 00000c1f: PUSH1 0x20 00000c21: DUP4 00000c22: MUL 00000c23: DUP5 00000c24: ADD 00000c25: GT 00000c26: PUSH5 0x0100000000 00000c2c: DUP4 00000c2d: GT 00000c2e: OR 00000c2f: ISZERO 00000c30: PUSH2 0x0c38 00000c33: JUMPI 00000c34: PUSH1 0x00 00000c36: DUP1 00000c37: REVERT 00000c38: JUMPDEST 00000c39: SWAP2 00000c3a: SWAP1 00000c3b: DUP1 00000c3c: DUP1 00000c3d: PUSH1 0x20 00000c3f: MUL 00000c40: PUSH1 0x20 00000c42: ADD 00000c43: PUSH1 0x40 00000c45: MLOAD 00000c46: SWAP1 00000c47: DUP2 00000c48: ADD 00000c49: PUSH1 0x40 00000c4b: MSTORE 00000c4c: DUP1 00000c4d: SWAP4 00000c4e: SWAP3 00000c4f: SWAP2 00000c50: SWAP1 00000c51: DUP2 00000c52: DUP2 00000c53: MSTORE 00000c54: PUSH1 0x20 00000c56: ADD 00000c57: DUP4 00000c58: DUP4 00000c59: PUSH1 0x20 00000c5b: MUL 00000c5c: DUP1 00000c5d: DUP3 00000c5e: DUP5 00000c5f: CALLDATACOPY 00000c60: PUSH1 0x00 00000c62: SWAP3 00000c63: ADD 00000c64: SWAP2 00000c65: SWAP1 00000c66: SWAP2 00000c67: MSTORE 00000c68: POP 00000c69: SWAP3 00000c6a: SWAP6 00000c6b: SWAP5 00000c6c: SWAP4 00000c6d: PUSH1 0x20 00000c6f: DUP2 00000c70: ADD 00000c71: SWAP4 00000c72: POP 00000c73: CALLDATALOAD 00000c74: SWAP2 00000c75: POP 00000c76: POP 00000c77: PUSH5 0x0100000000 00000c7d: DUP2 00000c7e: GT 00000c7f: ISZERO 00000c80: PUSH2 0x0c88 00000c83: JUMPI 00000c84: PUSH1 0x00 00000c86: DUP1 00000c87: REVERT 00000c88: JUMPDEST 00000c89: DUP3 00000c8a: ADD 00000c8b: DUP4 00000c8c: PUSH1 0x20 00000c8e: DUP3 00000c8f: ADD 00000c90: GT 00000c91: ISZERO 00000c92: PUSH2 0x0c9a 00000c95: JUMPI 00000c96: PUSH1 0x00 00000c98: DUP1 00000c99: REVERT 00000c9a: JUMPDEST 00000c9b: DUP1 00000c9c: CALLDATALOAD 00000c9d: SWAP1 00000c9e: PUSH1 0x20 00000ca0: ADD 00000ca1: SWAP2 00000ca2: DUP5 00000ca3: PUSH1 0x20 00000ca5: DUP4 00000ca6: MUL 00000ca7: DUP5 00000ca8: ADD 00000ca9: GT 00000caa: PUSH5 0x0100000000 00000cb0: DUP4 00000cb1: GT 00000cb2: OR 00000cb3: ISZERO 00000cb4: PUSH2 0x0cbc 00000cb7: JUMPI 00000cb8: PUSH1 0x00 00000cba: DUP1 00000cbb: REVERT 00000cbc: JUMPDEST 00000cbd: SWAP2 00000cbe: SWAP1 00000cbf: DUP1 00000cc0: DUP1 00000cc1: PUSH1 0x20 00000cc3: MUL 00000cc4: PUSH1 0x20 00000cc6: ADD 00000cc7: PUSH1 0x40 00000cc9: MLOAD 00000cca: SWAP1 00000ccb: DUP2 00000ccc: ADD 00000ccd: PUSH1 0x40 00000ccf: MSTORE 00000cd0: DUP1 00000cd1: SWAP4 00000cd2: SWAP3 00000cd3: SWAP2 00000cd4: SWAP1 00000cd5: DUP2 00000cd6: DUP2 00000cd7: MSTORE 00000cd8: PUSH1 0x20 00000cda: ADD 00000cdb: DUP4 00000cdc: DUP4 00000cdd: PUSH1 0x20 00000cdf: MUL 00000ce0: DUP1 00000ce1: DUP3 00000ce2: DUP5 00000ce3: CALLDATACOPY 00000ce4: PUSH1 0x00 00000ce6: SWAP3 00000ce7: ADD 00000ce8: SWAP2 00000ce9: SWAP1 00000cea: SWAP2 00000ceb: MSTORE 00000cec: POP 00000ced: SWAP3 00000cee: SWAP6 00000cef: POP 00000cf0: PUSH2 0x1f10 00000cf3: SWAP5 00000cf4: POP 00000cf5: POP 00000cf6: POP 00000cf7: POP 00000cf8: POP 00000cf9: JUMP 00000cfa: JUMPDEST 00000cfb: CALLVALUE 00000cfc: DUP1 00000cfd: ISZERO 00000cfe: PUSH2 0x0d06 00000d01: JUMPI 00000d02: PUSH1 0x00 00000d04: DUP1 00000d05: REVERT 00000d06: JUMPDEST 00000d07: POP 00000d08: PUSH2 0x03f7 00000d0b: PUSH1 0x04 00000d0d: DUP1 00000d0e: CALLDATASIZE 00000d0f: SUB 00000d10: PUSH1 0x60 00000d12: DUP2 00000d13: LT 00000d14: ISZERO 00000d15: PUSH2 0x0d1d 00000d18: JUMPI 00000d19: PUSH1 0x00 00000d1b: DUP1 00000d1c: REVERT 00000d1d: JUMPDEST 00000d1e: POP 00000d1f: DUP1 00000d20: CALLDATALOAD 00000d21: SWAP1 00000d22: PUSH1 0x01 00000d24: PUSH1 0xa0 00000d26: PUSH1 0x02 00000d28: EXP 00000d29: SUB 00000d2a: PUSH1 0x20 00000d2c: DUP3 00000d2d: ADD 00000d2e: CALLDATALOAD 00000d2f: DUP2 00000d30: AND 00000d31: SWAP2 00000d32: PUSH1 0x40 00000d34: ADD 00000d35: CALLDATALOAD 00000d36: AND 00000d37: PUSH2 0x200d 00000d3a: JUMP 00000d3b: JUMPDEST 00000d3c: CALLVALUE 00000d3d: DUP1 00000d3e: ISZERO 00000d3f: PUSH2 0x0d47 00000d42: JUMPI 00000d43: PUSH1 0x00 00000d45: DUP1 00000d46: REVERT 00000d47: JUMPDEST 00000d48: POP 00000d49: PUSH2 0x041e 00000d4c: PUSH1 0x04 00000d4e: DUP1 00000d4f: CALLDATASIZE 00000d50: SUB 00000d51: PUSH1 0x40 00000d53: DUP2 00000d54: LT 00000d55: ISZERO 00000d56: PUSH2 0x0d5e 00000d59: JUMPI 00000d5a: PUSH1 0x00 00000d5c: DUP1 00000d5d: REVERT 00000d5e: JUMPDEST 00000d5f: POP 00000d60: DUP1 00000d61: CALLDATALOAD 00000d62: SWAP1 00000d63: PUSH1 0x20 00000d65: ADD 00000d66: CALLDATALOAD 00000d67: PUSH1 0x01 00000d69: PUSH1 0xa0 00000d6b: PUSH1 0x02 00000d6d: EXP 00000d6e: SUB 00000d6f: AND 00000d70: PUSH2 0x20cf 00000d73: JUMP 00000d74: JUMPDEST 00000d75: CALLVALUE 00000d76: DUP1 00000d77: ISZERO 00000d78: PUSH2 0x0d80 00000d7b: JUMPI 00000d7c: PUSH1 0x00 00000d7e: DUP1 00000d7f: REVERT 00000d80: JUMPDEST 00000d81: POP 00000d82: PUSH2 0x03f7 00000d85: PUSH1 0x04 00000d87: DUP1 00000d88: CALLDATASIZE 00000d89: SUB 00000d8a: PUSH1 0x40 00000d8c: DUP2 00000d8d: LT 00000d8e: ISZERO 00000d8f: PUSH2 0x0d97 00000d92: JUMPI 00000d93: PUSH1 0x00 00000d95: DUP1 00000d96: REVERT 00000d97: JUMPDEST 00000d98: POP 00000d99: PUSH1 0x01 00000d9b: PUSH1 0xa0 00000d9d: PUSH1 0x02 00000d9f: EXP 00000da0: SUB 00000da1: DUP2 00000da2: CALLDATALOAD 00000da3: DUP2 00000da4: AND 00000da5: SWAP2 00000da6: PUSH1 0x20 00000da8: ADD 00000da9: CALLDATALOAD 00000daa: AND 00000dab: PUSH2 0x212b 00000dae: JUMP 00000daf: JUMPDEST 00000db0: CALLVALUE 00000db1: DUP1 00000db2: ISZERO 00000db3: PUSH2 0x0dbb 00000db6: JUMPI 00000db7: PUSH1 0x00 00000db9: DUP1 00000dba: REVERT 00000dbb: JUMPDEST 00000dbc: POP 00000dbd: PUSH2 0x041e 00000dc0: PUSH1 0x04 00000dc2: DUP1 00000dc3: CALLDATASIZE 00000dc4: SUB 00000dc5: PUSH1 0x20 00000dc7: DUP2 00000dc8: LT 00000dc9: ISZERO 00000dca: PUSH2 0x0dd2 00000dcd: JUMPI 00000dce: PUSH1 0x00 00000dd0: DUP1 00000dd1: REVERT 00000dd2: JUMPDEST 00000dd3: POP 00000dd4: CALLDATALOAD 00000dd5: PUSH1 0x01 00000dd7: PUSH1 0xa0 00000dd9: PUSH1 0x02 00000ddb: EXP 00000ddc: SUB 00000ddd: AND 00000dde: PUSH2 0x2156 00000de1: JUMP 00000de2: JUMPDEST 00000de3: PUSH2 0x03ce 00000de6: PUSH2 0x21c8 00000de9: JUMP 00000dea: JUMPDEST 00000deb: PUSH1 0x01 00000ded: SLOAD 00000dee: PUSH1 0x00 00000df0: SWAP1 00000df1: PUSH2 0x0e02 00000df4: SWAP1 00000df5: PUSH1 0x01 00000df7: PUSH1 0xa0 00000df9: PUSH1 0x02 00000dfb: EXP 00000dfc: SUB 00000dfd: AND 00000dfe: PUSH2 0x2658 00000e01: JUMP 00000e02: JUMPDEST 00000e03: PUSH2 0x0e40 00000e06: JUMPI 00000e07: PUSH1 0x40 00000e09: MLOAD 00000e0a: PUSH1 0xe5 00000e0c: PUSH1 0x02 00000e0e: EXP 00000e0f: PUSH3 0x461bcd 00000e13: MUL 00000e14: DUP2 00000e15: MSTORE 00000e16: PUSH1 0x04 00000e18: ADD 00000e19: DUP1 00000e1a: DUP1 00000e1b: PUSH1 0x20 00000e1d: ADD 00000e1e: DUP3 00000e1f: DUP2 00000e20: SUB 00000e21: DUP3 00000e22: MSTORE 00000e23: PUSH1 0x37 00000e25: DUP2 00000e26: MSTORE 00000e27: PUSH1 0x20 00000e29: ADD 00000e2a: DUP1 00000e2b: PUSH2 0x33e7 00000e2e: PUSH1 0x37 00000e30: SWAP2 00000e31: CODECOPY 00000e32: PUSH1 0x40 00000e34: ADD 00000e35: SWAP2 00000e36: POP 00000e37: POP 00000e38: PUSH1 0x40 00000e3a: MLOAD 00000e3b: DUP1 00000e3c: SWAP2 00000e3d: SUB 00000e3e: SWAP1 00000e3f: REVERT 00000e40: JUMPDEST 00000e41: PUSH1 0x02 00000e43: PUSH1 0x04 00000e45: SLOAD 00000e46: EQ 00000e47: ISZERO 00000e48: PUSH2 0x0e9b 00000e4b: JUMPI 00000e4c: PUSH1 0x40 00000e4e: DUP1 00000e4f: MLOAD 00000e50: PUSH1 0xe5 00000e52: PUSH1 0x02 00000e54: EXP 00000e55: PUSH3 0x461bcd 00000e59: MUL 00000e5a: DUP2 00000e5b: MSTORE 00000e5c: PUSH1 0x20 00000e5e: PUSH1 0x04 00000e60: DUP3 00000e61: ADD 00000e62: MSTORE 00000e63: PUSH1 0x1f 00000e65: PUSH1 0x24 00000e67: DUP3 00000e68: ADD 00000e69: MSTORE 00000e6a: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00000e8b: PUSH1 0x44 00000e8d: DUP3 00000e8e: ADD 00000e8f: MSTORE 00000e90: SWAP1 00000e91: MLOAD 00000e92: SWAP1 00000e93: DUP2 00000e94: SWAP1 00000e95: SUB 00000e96: PUSH1 0x64 00000e98: ADD 00000e99: SWAP1 00000e9a: REVERT 00000e9b: JUMPDEST 00000e9c: PUSH1 0x02 00000e9e: PUSH1 0x04 00000ea0: SSTORE 00000ea1: PUSH1 0x00 00000ea3: PUSH2 0x0eaa 00000ea6: PUSH2 0x2664 00000ea9: JUMP 00000eaa: JUMPDEST 00000eab: SWAP1 00000eac: POP 00000ead: DUP1 00000eae: ISZERO 00000eaf: PUSH2 0x0ebc 00000eb2: JUMPI 00000eb3: PUSH2 0x0ebc 00000eb6: CALLER 00000eb7: DUP3 00000eb8: PUSH2 0x267b 00000ebb: JUMP 00000ebc: JUMPDEST 00000ebd: POP 00000ebe: PUSH1 0x01 00000ec0: PUSH1 0x04 00000ec2: SSTORE 00000ec3: SWAP1 00000ec4: JUMP 00000ec5: JUMPDEST 00000ec6: PUSH1 0x0c 00000ec8: SLOAD 00000ec9: DUP2 00000eca: JUMP 00000ecb: JUMPDEST 00000ecc: PUSH1 0x01 00000ece: SLOAD 00000ecf: PUSH2 0x0ee0 00000ed2: SWAP1 00000ed3: PUSH1 0x01 00000ed5: PUSH1 0xa0 00000ed7: PUSH1 0x02 00000ed9: EXP 00000eda: SUB 00000edb: AND 00000edc: PUSH2 0x2658 00000edf: JUMP 00000ee0: JUMPDEST 00000ee1: ISZERO 00000ee2: PUSH2 0x0f1f 00000ee5: JUMPI 00000ee6: PUSH1 0x40 00000ee8: MLOAD 00000ee9: PUSH1 0xe5 00000eeb: PUSH1 0x02 00000eed: EXP 00000eee: PUSH3 0x461bcd 00000ef2: MUL 00000ef3: DUP2 00000ef4: MSTORE 00000ef5: PUSH1 0x04 00000ef7: ADD 00000ef8: DUP1 00000ef9: DUP1 00000efa: PUSH1 0x20 00000efc: ADD 00000efd: DUP3 00000efe: DUP2 00000eff: SUB 00000f00: DUP3 00000f01: MSTORE 00000f02: PUSH1 0x37 00000f04: DUP2 00000f05: MSTORE 00000f06: PUSH1 0x20 00000f08: ADD 00000f09: DUP1 00000f0a: PUSH2 0x352f 00000f0d: PUSH1 0x37 00000f0f: SWAP2 00000f10: CODECOPY 00000f11: PUSH1 0x40 00000f13: ADD 00000f14: SWAP2 00000f15: POP 00000f16: POP 00000f17: PUSH1 0x40 00000f19: MLOAD 00000f1a: DUP1 00000f1b: SWAP2 00000f1c: SUB 00000f1d: SWAP1 00000f1e: REVERT 00000f1f: JUMPDEST 00000f20: PUSH2 0x0f37 00000f23: PUSH1 0x00 00000f25: DUP1 00000f26: MLOAD 00000f27: PUSH1 0x20 00000f29: PUSH2 0x33c7 00000f2c: DUP4 00000f2d: CODECOPY 00000f2e: DUP2 00000f2f: MLOAD 00000f30: SWAP2 00000f31: MSTORE 00000f32: CALLER 00000f33: PUSH2 0x1b5f 00000f36: JUMP 00000f37: JUMPDEST 00000f38: PUSH2 0x0f79 00000f3b: JUMPI 00000f3c: PUSH1 0x40 00000f3e: DUP1 00000f3f: MLOAD 00000f40: PUSH1 0xe5 00000f42: PUSH1 0x02 00000f44: EXP 00000f45: PUSH3 0x461bcd 00000f49: MUL 00000f4a: DUP2 00000f4b: MSTORE 00000f4c: PUSH1 0x20 00000f4e: PUSH1 0x04 00000f50: DUP3 00000f51: ADD 00000f52: MSTORE 00000f53: PUSH1 0x17 00000f55: PUSH1 0x24 00000f57: DUP3 00000f58: ADD 00000f59: MSTORE 00000f5a: PUSH1 0x00 00000f5c: DUP1 00000f5d: MLOAD 00000f5e: PUSH1 0x20 00000f60: PUSH2 0x3361 00000f63: DUP4 00000f64: CODECOPY 00000f65: DUP2 00000f66: MLOAD 00000f67: SWAP2 00000f68: MSTORE 00000f69: PUSH1 0x44 00000f6b: DUP3 00000f6c: ADD 00000f6d: MSTORE 00000f6e: SWAP1 00000f6f: MLOAD 00000f70: SWAP1 00000f71: DUP2 00000f72: SWAP1 00000f73: SUB 00000f74: PUSH1 0x64 00000f76: ADD 00000f77: SWAP1 00000f78: REVERT 00000f79: JUMPDEST 00000f7a: PUSH1 0x10 00000f7c: DUP1 00000f7d: SLOAD 00000f7e: PUSH1 0xff 00000f80: NOT 00000f81: AND 00000f82: PUSH1 0x01 00000f84: OR 00000f85: SWAP1 00000f86: SSTORE 00000f87: JUMP 00000f88: JUMPDEST 00000f89: PUSH1 0x14 00000f8b: SLOAD 00000f8c: DUP2 00000f8d: JUMP 00000f8e: JUMPDEST 00000f8f: PUSH1 0x08 00000f91: DUP1 00000f92: SLOAD 00000f93: PUSH1 0x40 00000f95: DUP1 00000f96: MLOAD 00000f97: PUSH1 0x20 00000f99: PUSH1 0x1f 00000f9b: PUSH1 0x02 00000f9d: PUSH1 0x00 00000f9f: NOT 00000fa0: PUSH2 0x0100 00000fa3: PUSH1 0x01 00000fa5: DUP9 00000fa6: AND 00000fa7: ISZERO 00000fa8: MUL 00000fa9: ADD 00000faa: SWAP1 00000fab: SWAP6 00000fac: AND 00000fad: SWAP5 00000fae: SWAP1 00000faf: SWAP5 00000fb0: DIV 00000fb1: SWAP4 00000fb2: DUP5 00000fb3: ADD 00000fb4: DUP2 00000fb5: SWAP1 00000fb6: DIV 00000fb7: DUP2 00000fb8: MUL 00000fb9: DUP3 00000fba: ADD 00000fbb: DUP2 00000fbc: ADD 00000fbd: SWAP1 00000fbe: SWAP3 00000fbf: MSTORE 00000fc0: DUP3 00000fc1: DUP2 00000fc2: MSTORE 00000fc3: PUSH1 0x60 00000fc5: SWAP4 00000fc6: SWAP1 00000fc7: SWAP3 00000fc8: SWAP1 00000fc9: SWAP2 00000fca: DUP4 00000fcb: ADD 00000fcc: DUP3 00000fcd: DUP3 00000fce: DUP1 00000fcf: ISZERO 00000fd0: PUSH2 0x101a 00000fd3: JUMPI 00000fd4: DUP1 00000fd5: PUSH1 0x1f 00000fd7: LT 00000fd8: PUSH2 0x0fef 00000fdb: JUMPI 00000fdc: PUSH2 0x0100 00000fdf: DUP1 00000fe0: DUP4 00000fe1: SLOAD 00000fe2: DIV 00000fe3: MUL 00000fe4: DUP4 00000fe5: MSTORE 00000fe6: SWAP2 00000fe7: PUSH1 0x20 00000fe9: ADD 00000fea: SWAP2 00000feb: PUSH2 0x101a 00000fee: JUMP 00000fef: JUMPDEST 00000ff0: DUP3 00000ff1: ADD 00000ff2: SWAP2 00000ff3: SWAP1 00000ff4: PUSH1 0x00 00000ff6: MSTORE 00000ff7: PUSH1 0x20 00000ff9: PUSH1 0x00 00000ffb: KECCAK256 00000ffc: SWAP1 00000ffd: JUMPDEST 00000ffe: DUP2 00000fff: SLOAD 00001000: DUP2 00001001: MSTORE 00001002: SWAP1 00001003: PUSH1 0x01 00001005: ADD 00001006: SWAP1 00001007: PUSH1 0x20 00001009: ADD 0000100a: DUP1 0000100b: DUP4 0000100c: GT 0000100d: PUSH2 0x0ffd 00001010: JUMPI 00001011: DUP3 00001012: SWAP1 00001013: SUB 00001014: PUSH1 0x1f 00001016: AND 00001017: DUP3 00001018: ADD 00001019: SWAP2 0000101a: JUMPDEST 0000101b: POP 0000101c: POP 0000101d: POP 0000101e: POP 0000101f: POP 00001020: SWAP1 00001021: POP 00001022: SWAP1 00001023: JUMP 00001024: JUMPDEST 00001025: PUSH20 0x8f951903c9360345b4e1b536c7f5ae8f88a64e79 0000103a: DUP2 0000103b: JUMP 0000103c: JUMPDEST 0000103d: PUSH1 0x00 0000103f: PUSH2 0x1050 00001042: PUSH2 0x1049 00001045: PUSH2 0x2770 00001048: JUMP 00001049: JUMPDEST 0000104a: DUP5 0000104b: DUP5 0000104c: PUSH2 0x2774 0000104f: JUMP 00001050: JUMPDEST 00001051: POP 00001052: PUSH1 0x01 00001054: JUMPDEST 00001055: SWAP3 00001056: SWAP2 00001057: POP 00001058: POP 00001059: JUMP 0000105a: JUMPDEST 0000105b: PUSH1 0x00 0000105d: NOT 0000105e: DUP2 0000105f: JUMP 00001060: JUMPDEST 00001061: PUSH1 0x1a 00001063: SLOAD 00001064: DUP2 00001065: JUMP 00001066: JUMPDEST 00001067: PUSH2 0x107e 0000106a: PUSH1 0x00 0000106c: DUP1 0000106d: MLOAD 0000106e: PUSH1 0x20 00001070: PUSH2 0x33c7 00001073: DUP4 00001074: CODECOPY 00001075: DUP2 00001076: MLOAD 00001077: SWAP2 00001078: MSTORE 00001079: CALLER 0000107a: PUSH2 0x1b5f 0000107d: JUMP 0000107e: JUMPDEST 0000107f: PUSH2 0x10c0 00001082: JUMPI 00001083: PUSH1 0x40 00001085: DUP1 00001086: MLOAD 00001087: PUSH1 0xe5 00001089: PUSH1 0x02 0000108b: EXP 0000108c: PUSH3 0x461bcd 00001090: MUL 00001091: DUP2 00001092: MSTORE 00001093: PUSH1 0x20 00001095: PUSH1 0x04 00001097: DUP3 00001098: ADD 00001099: MSTORE 0000109a: PUSH1 0x17 0000109c: PUSH1 0x24 0000109e: DUP3 0000109f: ADD 000010a0: MSTORE 000010a1: PUSH1 0x00 000010a3: DUP1 000010a4: MLOAD 000010a5: PUSH1 0x20 000010a7: PUSH2 0x3361 000010aa: DUP4 000010ab: CODECOPY 000010ac: DUP2 000010ad: MLOAD 000010ae: SWAP2 000010af: MSTORE 000010b0: PUSH1 0x44 000010b2: DUP3 000010b3: ADD 000010b4: MSTORE 000010b5: SWAP1 000010b6: MLOAD 000010b7: SWAP1 000010b8: DUP2 000010b9: SWAP1 000010ba: SUB 000010bb: PUSH1 0x64 000010bd: ADD 000010be: SWAP1 000010bf: REVERT 000010c0: JUMPDEST 000010c1: TIMESTAMP 000010c2: PUSH1 0x1a 000010c4: SSTORE 000010c5: PUSH1 0x1b 000010c7: DUP1 000010c8: SLOAD 000010c9: PUSH1 0x01 000010cb: PUSH1 0xa0 000010cd: PUSH1 0x02 000010cf: EXP 000010d0: SUB 000010d1: DUP4 000010d2: AND 000010d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010e8: NOT 000010e9: SWAP1 000010ea: SWAP2 000010eb: AND 000010ec: DUP2 000010ed: OR 000010ee: SWAP1 000010ef: SWAP2 000010f0: SSTORE 000010f1: PUSH1 0x40 000010f3: DUP1 000010f4: MLOAD 000010f5: SWAP2 000010f6: DUP3 000010f7: MSTORE 000010f8: MLOAD 000010f9: PUSH32 0x8d5ebd975d9211b464a772dce4b499da8a0a853b034f87f22e20a7734f169e93 0000111a: SWAP2 0000111b: DUP2 0000111c: SWAP1 0000111d: SUB 0000111e: PUSH1 0x20 00001120: ADD 00001121: SWAP1 00001122: LOG1 00001123: POP 00001124: JUMP 00001125: JUMPDEST 00001126: PUSH32 0xdc6620a9e291af8d2d6799199d9a28fda5ae9826fd9a55fbee69a1275b027489 00001147: DUP2 00001148: JUMP 00001149: JUMPDEST 0000114a: PUSH1 0x07 0000114c: SLOAD 0000114d: SWAP1 0000114e: JUMP 0000114f: JUMPDEST 00001150: PUSH2 0x1167 00001153: PUSH1 0x00 00001155: DUP1 00001156: MLOAD 00001157: PUSH1 0x20 00001159: PUSH2 0x33c7 0000115c: DUP4 0000115d: CODECOPY 0000115e: DUP2 0000115f: MLOAD 00001160: SWAP2 00001161: MSTORE 00001162: CALLER 00001163: PUSH2 0x1b5f 00001166: JUMP 00001167: JUMPDEST 00001168: PUSH2 0x11a9 0000116b: JUMPI 0000116c: PUSH1 0x40 0000116e: DUP1 0000116f: MLOAD 00001170: PUSH1 0xe5 00001172: PUSH1 0x02 00001174: EXP 00001175: PUSH3 0x461bcd 00001179: MUL 0000117a: DUP2 0000117b: MSTORE 0000117c: PUSH1 0x20 0000117e: PUSH1 0x04 00001180: DUP3 00001181: ADD 00001182: MSTORE 00001183: PUSH1 0x17 00001185: PUSH1 0x24 00001187: DUP3 00001188: ADD 00001189: MSTORE 0000118a: PUSH1 0x00 0000118c: DUP1 0000118d: MLOAD 0000118e: PUSH1 0x20 00001190: PUSH2 0x3361 00001193: DUP4 00001194: CODECOPY 00001195: DUP2 00001196: MLOAD 00001197: SWAP2 00001198: MSTORE 00001199: PUSH1 0x44 0000119b: DUP3 0000119c: ADD 0000119d: MSTORE 0000119e: SWAP1 0000119f: MLOAD 000011a0: SWAP1 000011a1: DUP2 000011a2: SWAP1 000011a3: SUB 000011a4: PUSH1 0x64 000011a6: ADD 000011a7: SWAP1 000011a8: REVERT 000011a9: JUMPDEST 000011aa: PUSH1 0x10 000011ac: SLOAD 000011ad: PUSH1 0xff 000011af: AND 000011b0: ISZERO 000011b1: ISZERO 000011b2: PUSH1 0x01 000011b4: EQ 000011b5: DUP1 000011b6: PUSH2 0x11ce 000011b9: JUMPI 000011ba: POP 000011bb: CALLER 000011bc: PUSH1 0x00 000011be: SWAP1 000011bf: DUP2 000011c0: MSTORE 000011c1: PUSH1 0x17 000011c3: PUSH1 0x20 000011c5: MSTORE 000011c6: PUSH1 0x40 000011c8: SWAP1 000011c9: KECCAK256 000011ca: SLOAD 000011cb: PUSH1 0xff 000011cd: AND 000011ce: JUMPDEST 000011cf: PUSH2 0x1222 000011d2: JUMPI 000011d3: PUSH1 0x40 000011d5: DUP1 000011d6: MLOAD 000011d7: PUSH1 0xe5 000011d9: PUSH1 0x02 000011db: EXP 000011dc: PUSH3 0x461bcd 000011e0: MUL 000011e1: DUP2 000011e2: MSTORE 000011e3: PUSH1 0x20 000011e5: PUSH1 0x04 000011e7: DUP3 000011e8: ADD 000011e9: MSTORE 000011ea: PUSH1 0x19 000011ec: PUSH1 0x24 000011ee: DUP3 000011ef: ADD 000011f0: MSTORE 000011f1: PUSH32 0x5468652070726573616c65206973206e6f742061637469766500000000000000 00001212: PUSH1 0x44 00001214: DUP3 00001215: ADD 00001216: MSTORE 00001217: SWAP1 00001218: MLOAD 00001219: SWAP1 0000121a: DUP2 0000121b: SWAP1 0000121c: SUB 0000121d: PUSH1 0x64 0000121f: ADD 00001220: SWAP1 00001221: REVERT 00001222: JUMPDEST 00001223: PUSH1 0x10 00001225: DUP1 00001226: SLOAD 00001227: PUSH1 0xff 00001229: NOT 0000122a: AND 0000122b: SWAP1 0000122c: SSTORE 0000122d: JUMP 0000122e: JUMPDEST 0000122f: PUSH1 0x1b 00001231: SLOAD 00001232: PUSH1 0x01 00001234: PUSH1 0xa0 00001236: PUSH1 0x02 00001238: EXP 00001239: SUB 0000123a: AND 0000123b: DUP2 0000123c: JUMP 0000123d: JUMPDEST 0000123e: PUSH1 0x00 00001240: PUSH2 0x124a 00001243: DUP5 00001244: DUP5 00001245: DUP5 00001246: PUSH2 0x2866 00001249: JUMP 0000124a: JUMPDEST 0000124b: SWAP1 0000124c: POP 0000124d: JUMPDEST 0000124e: SWAP4 0000124f: SWAP3 00001250: POP 00001251: POP 00001252: POP 00001253: JUMP 00001254: JUMPDEST 00001255: PUSH1 0x00 00001257: SWAP1 00001258: DUP2 00001259: MSTORE 0000125a: PUSH1 0x20 0000125c: DUP2 0000125d: SWAP1 0000125e: MSTORE 0000125f: PUSH1 0x40 00001261: SWAP1 00001262: KECCAK256 00001263: PUSH1 0x02 00001265: ADD 00001266: SLOAD 00001267: SWAP1 00001268: JUMP 00001269: JUMPDEST 0000126a: PUSH1 0x12 0000126c: SLOAD 0000126d: DUP2 0000126e: JUMP 0000126f: JUMPDEST 00001270: PUSH1 0x00 00001272: DUP3 00001273: DUP2 00001274: MSTORE 00001275: PUSH1 0x20 00001277: DUP2 00001278: SWAP1 00001279: MSTORE 0000127a: PUSH1 0x40 0000127c: SWAP1 0000127d: KECCAK256 0000127e: PUSH1 0x02 00001280: ADD 00001281: SLOAD 00001282: PUSH2 0x1292 00001285: SWAP1 00001286: PUSH2 0x128d 00001289: PUSH2 0x2770 0000128c: JUMP 0000128d: JUMPDEST 0000128e: PUSH2 0x1b5f 00001291: JUMP 00001292: JUMPDEST 00001293: PUSH2 0x12d0 00001296: JUMPI 00001297: PUSH1 0x40 00001299: MLOAD 0000129a: PUSH1 0xe5 0000129c: PUSH1 0x02 0000129e: EXP 0000129f: PUSH3 0x461bcd 000012a3: MUL 000012a4: DUP2 000012a5: MSTORE 000012a6: PUSH1 0x04 000012a8: ADD 000012a9: DUP1 000012aa: DUP1 000012ab: PUSH1 0x20 000012ad: ADD 000012ae: DUP3 000012af: DUP2 000012b0: SUB 000012b1: DUP3 000012b2: MSTORE 000012b3: PUSH1 0x2f 000012b5: DUP2 000012b6: MSTORE 000012b7: PUSH1 0x20 000012b9: ADD 000012ba: DUP1 000012bb: PUSH2 0x32ee 000012be: PUSH1 0x2f 000012c0: SWAP2 000012c1: CODECOPY 000012c2: PUSH1 0x40 000012c4: ADD 000012c5: SWAP2 000012c6: POP 000012c7: POP 000012c8: PUSH1 0x40 000012ca: MLOAD 000012cb: DUP1 000012cc: SWAP2 000012cd: SUB 000012ce: SWAP1 000012cf: REVERT 000012d0: JUMPDEST 000012d1: PUSH2 0x12da 000012d4: DUP3 000012d5: DUP3 000012d6: PUSH2 0x287d 000012d9: JUMP 000012da: JUMPDEST 000012db: POP 000012dc: POP 000012dd: JUMP 000012de: JUMPDEST 000012df: PUSH1 0x0a 000012e1: SLOAD 000012e2: PUSH1 0xff 000012e4: AND 000012e5: SWAP1 000012e6: JUMP 000012e7: JUMPDEST 000012e8: PUSH2 0x12ef 000012eb: PUSH2 0x2770 000012ee: JUMP 000012ef: JUMPDEST 000012f0: PUSH1 0x01 000012f2: PUSH1 0xa0 000012f4: PUSH1 0x02 000012f6: EXP 000012f7: SUB 000012f8: AND 000012f9: DUP2 000012fa: PUSH1 0x01 000012fc: PUSH1 0xa0 000012fe: PUSH1 0x02 00001300: EXP 00001301: SUB 00001302: AND 00001303: EQ 00001304: PUSH2 0x1341 00001307: JUMPI 00001308: PUSH1 0x40 0000130a: MLOAD 0000130b: PUSH1 0xe5 0000130d: PUSH1 0x02 0000130f: EXP 00001310: PUSH3 0x461bcd 00001314: MUL 00001315: DUP2 00001316: MSTORE 00001317: PUSH1 0x04 00001319: ADD 0000131a: DUP1 0000131b: DUP1 0000131c: PUSH1 0x20 0000131e: ADD 0000131f: DUP3 00001320: DUP2 00001321: SUB 00001322: DUP3 00001323: MSTORE 00001324: PUSH1 0x2f 00001326: DUP2 00001327: MSTORE 00001328: PUSH1 0x20 0000132a: ADD 0000132b: DUP1 0000132c: PUSH2 0x358b 0000132f: PUSH1 0x2f 00001331: SWAP2 00001332: CODECOPY 00001333: PUSH1 0x40 00001335: ADD 00001336: SWAP2 00001337: POP 00001338: POP 00001339: PUSH1 0x40 0000133b: MLOAD 0000133c: DUP1 0000133d: SWAP2 0000133e: SUB 0000133f: SWAP1 00001340: REVERT 00001341: JUMPDEST 00001342: PUSH2 0x12da 00001345: DUP3 00001346: DUP3 00001347: PUSH2 0x28e6 0000134a: JUMP 0000134b: JUMPDEST 0000134c: PUSH32 0xfb1d7521264a126cafd9b576286638679b3b1108a05b47da7156d35bfcb2bb83 0000136d: DUP2 0000136e: JUMP 0000136f: JUMPDEST 00001370: PUSH1 0x00 00001372: PUSH2 0x1050 00001375: PUSH2 0x137c 00001378: PUSH2 0x2770 0000137b: JUMP 0000137c: JUMPDEST 0000137d: DUP5 0000137e: PUSH2 0x13bd 00001381: DUP6 00001382: PUSH1 0x06 00001384: PUSH1 0x00 00001386: PUSH2 0x138d 00001389: PUSH2 0x2770 0000138c: JUMP 0000138d: JUMPDEST 0000138e: PUSH1 0x01 00001390: PUSH1 0xa0 00001392: PUSH1 0x02 00001394: EXP 00001395: SUB 00001396: SWAP1 00001397: DUP2 00001398: AND 00001399: DUP3 0000139a: MSTORE 0000139b: PUSH1 0x20 0000139d: DUP1 0000139e: DUP4 0000139f: ADD 000013a0: SWAP4 000013a1: SWAP1 000013a2: SWAP4 000013a3: MSTORE 000013a4: PUSH1 0x40 000013a6: SWAP2 000013a7: DUP3 000013a8: ADD 000013a9: PUSH1 0x00 000013ab: SWAP1 000013ac: DUP2 000013ad: KECCAK256 000013ae: SWAP2 000013af: DUP13 000013b0: AND 000013b1: DUP2 000013b2: MSTORE 000013b3: SWAP3 000013b4: MSTORE 000013b5: SWAP1 000013b6: KECCAK256 000013b7: SLOAD 000013b8: SWAP1 000013b9: PUSH2 0x258f 000013bc: JUMP 000013bd: JUMPDEST 000013be: PUSH2 0x2774 000013c1: JUMP 000013c2: JUMPDEST 000013c3: PUSH1 0x01 000013c5: SLOAD 000013c6: PUSH1 0x01 000013c8: PUSH1 0xa0 000013ca: PUSH1 0x02 000013cc: EXP 000013cd: SUB 000013ce: AND 000013cf: DUP2 000013d0: JUMP 000013d1: JUMPDEST 000013d2: PUSH32 0x83e1446b95f1c1d5ef26abb4f97d0668a474fa1461910124bfb15edcb7ae5ed2 000013f3: DUP2 000013f4: JUMP 000013f5: JUMPDEST 000013f6: PUSH2 0x141f 000013f9: PUSH32 0xdc6620a9e291af8d2d6799199d9a28fda5ae9826fd9a55fbee69a1275b027489 0000141a: CALLER 0000141b: PUSH2 0x1b5f 0000141e: JUMP 0000141f: JUMPDEST 00001420: PUSH2 0x1473 00001423: JUMPI 00001424: PUSH1 0x40 00001426: DUP1 00001427: MLOAD 00001428: PUSH1 0xe5 0000142a: PUSH1 0x02 0000142c: EXP 0000142d: PUSH3 0x461bcd 00001431: MUL 00001432: DUP2 00001433: MSTORE 00001434: PUSH1 0x20 00001436: PUSH1 0x04 00001438: DUP3 00001439: ADD 0000143a: MSTORE 0000143b: PUSH1 0x1c 0000143d: PUSH1 0x24 0000143f: DUP3 00001440: ADD 00001441: MSTORE 00001442: PUSH32 0x43616c6c6572206973206e6f742061207374616b696e6720706f6f6c00000000 00001463: PUSH1 0x44 00001465: DUP3 00001466: ADD 00001467: MSTORE 00001468: SWAP1 00001469: MLOAD 0000146a: SWAP1 0000146b: DUP2 0000146c: SWAP1 0000146d: SUB 0000146e: PUSH1 0x64 00001470: ADD 00001471: SWAP1 00001472: REVERT 00001473: JUMPDEST 00001474: PUSH1 0x02 00001476: PUSH1 0x04 00001478: SLOAD 00001479: EQ 0000147a: ISZERO 0000147b: PUSH2 0x14ce 0000147e: JUMPI 0000147f: PUSH1 0x40 00001481: DUP1 00001482: MLOAD 00001483: PUSH1 0xe5 00001485: PUSH1 0x02 00001487: EXP 00001488: PUSH3 0x461bcd 0000148c: MUL 0000148d: DUP2 0000148e: MSTORE 0000148f: PUSH1 0x20 00001491: PUSH1 0x04 00001493: DUP3 00001494: ADD 00001495: MSTORE 00001496: PUSH1 0x1f 00001498: PUSH1 0x24 0000149a: DUP3 0000149b: ADD 0000149c: MSTORE 0000149d: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 000014be: PUSH1 0x44 000014c0: DUP3 000014c1: ADD 000014c2: MSTORE 000014c3: SWAP1 000014c4: MLOAD 000014c5: SWAP1 000014c6: DUP2 000014c7: SWAP1 000014c8: SUB 000014c9: PUSH1 0x64 000014cb: ADD 000014cc: SWAP1 000014cd: REVERT 000014ce: JUMPDEST 000014cf: PUSH1 0x02 000014d1: PUSH1 0x04 000014d3: SSTORE 000014d4: PUSH1 0x0c 000014d6: SLOAD 000014d7: PUSH2 0x14de 000014da: PUSH2 0x1149 000014dd: JUMP 000014de: JUMPDEST 000014df: GT 000014e0: PUSH2 0x14ed 000014e3: JUMPI 000014e4: PUSH2 0x14ed 000014e7: DUP3 000014e8: DUP3 000014e9: PUSH2 0x267b 000014ec: JUMP 000014ed: JUMPDEST 000014ee: POP 000014ef: POP 000014f0: PUSH1 0x01 000014f2: PUSH1 0x04 000014f4: SSTORE 000014f5: JUMP 000014f6: JUMPDEST 000014f7: PUSH1 0x18 000014f9: PUSH1 0x20 000014fb: MSTORE 000014fc: PUSH1 0x00 000014fe: SWAP1 000014ff: DUP2 00001500: MSTORE 00001501: PUSH1 0x40 00001503: SWAP1 00001504: KECCAK256 00001505: SLOAD 00001506: DUP2 00001507: JUMP 00001508: JUMPDEST 00001509: PUSH1 0x13 0000150b: SLOAD 0000150c: DUP2 0000150d: JUMP 0000150e: JUMPDEST 0000150f: PUSH1 0x00 00001511: DUP1 00001512: PUSH1 0x00 00001514: DUP4 00001515: PUSH1 0x01 00001517: PUSH1 0xa0 00001519: PUSH1 0x02 0000151b: EXP 0000151c: SUB 0000151d: AND 0000151e: DUP6 0000151f: PUSH1 0x01 00001521: PUSH1 0xa0 00001523: PUSH1 0x02 00001525: EXP 00001526: SUB 00001527: AND 00001528: LT 00001529: PUSH2 0x1533 0000152c: JUMPI 0000152d: DUP4 0000152e: DUP6 0000152f: PUSH2 0x1536 00001532: JUMP 00001533: JUMPDEST 00001534: DUP5 00001535: DUP5 00001536: JUMPDEST 00001537: PUSH1 0x40 00001539: DUP1 0000153a: MLOAD 0000153b: PUSH13 0x01000000000000000000000000 00001549: PUSH1 0x01 0000154b: PUSH1 0xa0 0000154d: PUSH1 0x02 0000154f: EXP 00001550: SUB 00001551: SWAP5 00001552: DUP6 00001553: AND 00001554: DUP2 00001555: MUL 00001556: PUSH1 0x20 00001558: DUP1 00001559: DUP5 0000155a: ADD 0000155b: SWAP2 0000155c: SWAP1 0000155d: SWAP2 0000155e: MSTORE 0000155f: SWAP4 00001560: DUP6 00001561: AND 00001562: DUP2 00001563: MUL 00001564: PUSH1 0x34 00001566: DUP4 00001567: ADD 00001568: MSTORE 00001569: DUP3 0000156a: MLOAD 0000156b: PUSH1 0x28 0000156d: DUP2 0000156e: DUP5 0000156f: SUB 00001570: ADD 00001571: DUP2 00001572: MSTORE 00001573: PUSH1 0x48 00001575: DUP4 00001576: ADD 00001577: DUP5 00001578: MSTORE 00001579: DUP1 0000157a: MLOAD 0000157b: SWAP1 0000157c: DUP6 0000157d: ADD 0000157e: KECCAK256 0000157f: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000 000015a0: PUSH1 0x68 000015a2: DUP5 000015a3: ADD 000015a4: MSTORE 000015a5: SWAP5 000015a6: SWAP1 000015a7: SWAP11 000015a8: AND 000015a9: SWAP1 000015aa: SWAP10 000015ab: MUL 000015ac: PUSH1 0x69 000015ae: DUP11 000015af: ADD 000015b0: MSTORE 000015b1: PUSH1 0x7d 000015b3: DUP10 000015b4: ADD 000015b5: SWAP3 000015b6: SWAP1 000015b7: SWAP3 000015b8: MSTORE 000015b9: PUSH32 0x96e8ac4277198ff8b6f785478aa9a39f403cb768dd02cbee326c3e7da348845f 000015da: PUSH1 0x9d 000015dc: DUP1 000015dd: DUP11 000015de: ADD 000015df: SWAP2 000015e0: SWAP1 000015e1: SWAP2 000015e2: MSTORE 000015e3: DUP3 000015e4: MLOAD 000015e5: DUP1 000015e6: DUP11 000015e7: SUB 000015e8: SWAP1 000015e9: SWAP2 000015ea: ADD 000015eb: DUP2 000015ec: MSTORE 000015ed: PUSH1 0xbd 000015ef: SWAP1 000015f0: SWAP9 000015f1: ADD 000015f2: SWAP1 000015f3: SWAP2 000015f4: MSTORE 000015f5: DUP7 000015f6: MLOAD 000015f7: SWAP7 000015f8: ADD 000015f9: SWAP6 000015fa: SWAP1 000015fb: SWAP6 000015fc: KECCAK256 000015fd: SWAP6 000015fe: SWAP5 000015ff: POP 00001600: POP 00001601: POP 00001602: POP 00001603: POP 00001604: JUMP 00001605: JUMPDEST 00001606: PUSH2 0x161d 00001609: PUSH1 0x00 0000160b: DUP1 0000160c: MLOAD 0000160d: PUSH1 0x20 0000160f: PUSH2 0x33c7 00001612: DUP4 00001613: CODECOPY 00001614: DUP2 00001615: MLOAD 00001616: SWAP2 00001617: MSTORE 00001618: CALLER 00001619: PUSH2 0x1b5f 0000161c: JUMP 0000161d: JUMPDEST 0000161e: PUSH2 0x165f 00001621: JUMPI 00001622: PUSH1 0x40 00001624: DUP1 00001625: MLOAD 00001626: PUSH1 0xe5 00001628: PUSH1 0x02 0000162a: EXP 0000162b: PUSH3 0x461bcd 0000162f: MUL 00001630: DUP2 00001631: MSTORE 00001632: PUSH1 0x20 00001634: PUSH1 0x04 00001636: DUP3 00001637: ADD 00001638: MSTORE 00001639: PUSH1 0x17 0000163b: PUSH1 0x24 0000163d: DUP3 0000163e: ADD 0000163f: MSTORE 00001640: PUSH1 0x00 00001642: DUP1 00001643: MLOAD 00001644: PUSH1 0x20 00001646: PUSH2 0x3361 00001649: DUP4 0000164a: CODECOPY 0000164b: DUP2 0000164c: MLOAD 0000164d: SWAP2 0000164e: MSTORE 0000164f: PUSH1 0x44 00001651: DUP3 00001652: ADD 00001653: MSTORE 00001654: SWAP1 00001655: MLOAD 00001656: SWAP1 00001657: DUP2 00001658: SWAP1 00001659: SUB 0000165a: PUSH1 0x64 0000165c: ADD 0000165d: SWAP1 0000165e: REVERT 0000165f: JUMPDEST 00001660: PUSH2 0x1689 00001663: PUSH32 0xfb1d7521264a126cafd9b576286638679b3b1108a05b47da7156d35bfcb2bb83 00001684: DUP3 00001685: PUSH2 0x126f 00001688: JUMP 00001689: JUMPDEST 0000168a: POP 0000168b: JUMP 0000168c: JUMPDEST 0000168d: PUSH1 0x01 0000168f: PUSH1 0xa0 00001691: PUSH1 0x02 00001693: EXP 00001694: SUB 00001695: AND 00001696: PUSH1 0x00 00001698: SWAP1 00001699: DUP2 0000169a: MSTORE 0000169b: PUSH1 0x05 0000169d: PUSH1 0x20 0000169f: MSTORE 000016a0: PUSH1 0x40 000016a2: SWAP1 000016a3: KECCAK256 000016a4: SLOAD 000016a5: SWAP1 000016a6: JUMP 000016a7: JUMPDEST 000016a8: PUSH2 0x16bf 000016ab: PUSH1 0x00 000016ad: DUP1 000016ae: MLOAD 000016af: PUSH1 0x20 000016b1: PUSH2 0x33c7 000016b4: DUP4 000016b5: CODECOPY 000016b6: DUP2 000016b7: MLOAD 000016b8: SWAP2 000016b9: MSTORE 000016ba: CALLER 000016bb: PUSH2 0x1b5f 000016be: JUMP 000016bf: JUMPDEST 000016c0: PUSH2 0x1701 000016c3: JUMPI 000016c4: PUSH1 0x40 000016c6: DUP1 000016c7: MLOAD 000016c8: PUSH1 0xe5 000016ca: PUSH1 0x02 000016cc: EXP 000016cd: PUSH3 0x461bcd 000016d1: MUL 000016d2: DUP2 000016d3: MSTORE 000016d4: PUSH1 0x20 000016d6: PUSH1 0x04 000016d8: DUP3 000016d9: ADD 000016da: MSTORE 000016db: PUSH1 0x17 000016dd: PUSH1 0x24 000016df: DUP3 000016e0: ADD 000016e1: MSTORE 000016e2: PUSH1 0x00 000016e4: DUP1 000016e5: MLOAD 000016e6: PUSH1 0x20 000016e8: PUSH2 0x3361 000016eb: DUP4 000016ec: CODECOPY 000016ed: DUP2 000016ee: MLOAD 000016ef: SWAP2 000016f0: MSTORE 000016f1: PUSH1 0x44 000016f3: DUP3 000016f4: ADD 000016f5: MSTORE 000016f6: SWAP1 000016f7: MLOAD 000016f8: SWAP1 000016f9: DUP2 000016fa: SWAP1 000016fb: SUB 000016fc: PUSH1 0x64 000016fe: ADD 000016ff: SWAP1 00001700: REVERT 00001701: JUMPDEST 00001702: PUSH1 0x1a 00001704: SLOAD 00001705: PUSH2 0x1711 00001708: SWAP1 00001709: PUSH3 0x015180 0000170d: PUSH2 0x258f 00001710: JUMP 00001711: JUMPDEST 00001712: TIMESTAMP 00001713: LT 00001714: ISZERO 00001715: PUSH2 0x171d 00001718: JUMPI 00001719: PUSH1 0x00 0000171b: DUP1 0000171c: REVERT 0000171d: JUMPDEST 0000171e: PUSH1 0x1b 00001720: SLOAD 00001721: PUSH2 0x1754 00001724: SWAP1 00001725: PUSH32 0xdc6620a9e291af8d2d6799199d9a28fda5ae9826fd9a55fbee69a1275b027489 00001746: SWAP1 00001747: PUSH1 0x01 00001749: PUSH1 0xa0 0000174b: PUSH1 0x02 0000174d: EXP 0000174e: SUB 0000174f: AND 00001750: PUSH2 0x126f 00001753: JUMP 00001754: JUMPDEST 00001755: PUSH1 0x1b 00001757: SLOAD 00001758: PUSH2 0x1779 0000175b: SWAP1 0000175c: PUSH1 0x00 0000175e: DUP1 0000175f: MLOAD 00001760: PUSH1 0x20 00001762: PUSH2 0x33a7 00001765: DUP4 00001766: CODECOPY 00001767: DUP2 00001768: MLOAD 00001769: SWAP2 0000176a: MSTORE 0000176b: SWAP1 0000176c: PUSH1 0x01 0000176e: PUSH1 0xa0 00001770: PUSH1 0x02 00001772: EXP 00001773: SUB 00001774: AND 00001775: PUSH2 0x126f 00001778: JUMP 00001779: JUMPDEST 0000177a: PUSH1 0x1b 0000177c: SLOAD 0000177d: PUSH1 0x40 0000177f: DUP1 00001780: MLOAD 00001781: PUSH1 0x01 00001783: PUSH1 0xa0 00001785: PUSH1 0x02 00001787: EXP 00001788: SUB 00001789: SWAP1 0000178a: SWAP3 0000178b: AND 0000178c: DUP3 0000178d: MSTORE 0000178e: MLOAD 0000178f: PUSH32 0xf061281be1aea8bc07e834f42cea49373e1d59969fb72d39674f05a638049379 000017b0: SWAP2 000017b1: DUP2 000017b2: SWAP1 000017b3: SUB 000017b4: PUSH1 0x20 000017b6: ADD 000017b7: SWAP1 000017b8: LOG1 000017b9: JUMP 000017ba: JUMPDEST 000017bb: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d 000017d0: DUP2 000017d1: JUMP 000017d2: JUMPDEST 000017d3: PUSH1 0x00 000017d5: DUP1 000017d6: MLOAD 000017d7: PUSH1 0x20 000017d9: PUSH2 0x33a7 000017dc: DUP4 000017dd: CODECOPY 000017de: DUP2 000017df: MLOAD 000017e0: SWAP2 000017e1: MSTORE 000017e2: DUP2 000017e3: JUMP 000017e4: JUMPDEST 000017e5: PUSH1 0x03 000017e7: SLOAD 000017e8: PUSH1 0x01 000017ea: PUSH1 0xa0 000017ec: PUSH1 0x02 000017ee: EXP 000017ef: SUB 000017f0: AND 000017f1: DUP2 000017f2: JUMP 000017f3: JUMPDEST 000017f4: PUSH2 0x180b 000017f7: PUSH1 0x00 000017f9: DUP1 000017fa: MLOAD 000017fb: PUSH1 0x20 000017fd: PUSH2 0x33c7 00001800: DUP4 00001801: CODECOPY 00001802: DUP2 00001803: MLOAD 00001804: SWAP2 00001805: MSTORE 00001806: CALLER 00001807: PUSH2 0x1b5f 0000180a: JUMP 0000180b: JUMPDEST 0000180c: PUSH2 0x184d 0000180f: JUMPI 00001810: PUSH1 0x40 00001812: DUP1 00001813: MLOAD 00001814: PUSH1 0xe5 00001816: PUSH1 0x02 00001818: EXP 00001819: PUSH3 0x461bcd 0000181d: MUL 0000181e: DUP2 0000181f: MSTORE 00001820: PUSH1 0x20 00001822: PUSH1 0x04 00001824: DUP3 00001825: ADD 00001826: MSTORE 00001827: PUSH1 0x17 00001829: PUSH1 0x24 0000182b: DUP3 0000182c: ADD 0000182d: MSTORE 0000182e: PUSH1 0x00 00001830: DUP1 00001831: MLOAD 00001832: PUSH1 0x20 00001834: PUSH2 0x3361 00001837: DUP4 00001838: CODECOPY 00001839: DUP2 0000183a: MLOAD 0000183b: SWAP2 0000183c: MSTORE 0000183d: PUSH1 0x44 0000183f: DUP3 00001840: ADD 00001841: MSTORE 00001842: SWAP1 00001843: MLOAD 00001844: SWAP1 00001845: DUP2 00001846: SWAP1 00001847: SUB 00001848: PUSH1 0x64 0000184a: ADD 0000184b: SWAP1 0000184c: REVERT 0000184d: JUMPDEST 0000184e: PUSH1 0x01 00001850: SLOAD 00001851: PUSH2 0x1862 00001854: SWAP1 00001855: PUSH1 0x01 00001857: PUSH1 0xa0 00001859: PUSH1 0x02 0000185b: EXP 0000185c: SUB 0000185d: AND 0000185e: PUSH2 0x2658 00001861: JUMP 00001862: JUMPDEST 00001863: ISZERO 00001864: PUSH2 0x18a1 00001867: JUMPI 00001868: PUSH1 0x40 0000186a: MLOAD 0000186b: PUSH1 0xe5 0000186d: PUSH1 0x02 0000186f: EXP 00001870: PUSH3 0x461bcd 00001874: MUL 00001875: DUP2 00001876: MSTORE 00001877: PUSH1 0x04 00001879: ADD 0000187a: DUP1 0000187b: DUP1 0000187c: PUSH1 0x20 0000187e: ADD 0000187f: DUP3 00001880: DUP2 00001881: SUB 00001882: DUP3 00001883: MSTORE 00001884: PUSH1 0x37 00001886: DUP2 00001887: MSTORE 00001888: PUSH1 0x20 0000188a: ADD 0000188b: DUP1 0000188c: PUSH2 0x352f 0000188f: PUSH1 0x37 00001891: SWAP2 00001892: CODECOPY 00001893: PUSH1 0x40 00001895: ADD 00001896: SWAP2 00001897: POP 00001898: POP 00001899: PUSH1 0x40 0000189b: MLOAD 0000189c: DUP1 0000189d: SWAP2 0000189e: SUB 0000189f: SWAP1 000018a0: REVERT 000018a1: JUMPDEST 000018a2: TIMESTAMP 000018a3: PUSH1 0x0d 000018a5: SSTORE 000018a6: PUSH1 0x01 000018a8: SLOAD 000018a9: PUSH2 0x18ba 000018ac: SWAP1 000018ad: PUSH1 0x01 000018af: PUSH1 0xa0 000018b1: PUSH1 0x02 000018b3: EXP 000018b4: SUB 000018b5: AND 000018b6: PUSH2 0x2156 000018b9: JUMP 000018ba: JUMPDEST 000018bb: PUSH1 0x12 000018bd: SLOAD 000018be: ADDRESS 000018bf: BALANCE 000018c0: SWAP1 000018c1: PUSH1 0x00 000018c3: SWAP1 000018c4: PUSH2 0x18ce 000018c7: SWAP1 000018c8: DUP4 000018c9: SWAP1 000018ca: PUSH2 0x24f1 000018cd: JUMP 000018ce: JUMPDEST 000018cf: SWAP1 000018d0: POP 000018d1: PUSH2 0x18da 000018d4: ADDRESS 000018d5: DUP3 000018d6: PUSH2 0x267b 000018d9: JUMP 000018da: JUMPDEST 000018db: PUSH1 0x19 000018dd: SLOAD 000018de: PUSH2 0x18f2 000018e1: SWAP1 000018e2: ADDRESS 000018e3: SWAP1 000018e4: PUSH1 0x01 000018e6: PUSH1 0xa0 000018e8: PUSH1 0x02 000018ea: EXP 000018eb: SUB 000018ec: AND 000018ed: DUP4 000018ee: PUSH2 0x2774 000018f1: JUMP 000018f2: JUMPDEST 000018f3: PUSH1 0x19 000018f5: SLOAD 000018f6: PUSH1 0x00 000018f8: SWAP1 000018f9: DUP2 000018fa: SWAP1 000018fb: DUP2 000018fc: SWAP1 000018fd: PUSH1 0x01 000018ff: PUSH1 0xa0 00001901: PUSH1 0x02 00001903: EXP 00001904: SUB 00001905: AND 00001906: PUSH4 0xf305d719 0000190b: DUP7 0000190c: ADDRESS 0000190d: DUP8 0000190e: DUP1 0000190f: DUP4 00001910: DUP8 00001911: PUSH2 0x191c 00001914: PUSH1 0x05 00001916: PUSH1 0x3c 00001918: PUSH2 0x24f1 0000191b: JUMP 0000191c: JUMPDEST 0000191d: TIMESTAMP 0000191e: ADD 0000191f: PUSH1 0x40 00001921: MLOAD 00001922: DUP9 00001923: PUSH4 0xffffffff 00001928: AND 00001929: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001947: MUL 00001948: DUP2 00001949: MSTORE 0000194a: PUSH1 0x04 0000194c: ADD 0000194d: DUP1 0000194e: DUP8 0000194f: PUSH1 0x01 00001951: PUSH1 0xa0 00001953: PUSH1 0x02 00001955: EXP 00001956: SUB 00001957: AND 00001958: DUP2 00001959: MSTORE 0000195a: PUSH1 0x20 0000195c: ADD 0000195d: DUP7 0000195e: DUP2 0000195f: MSTORE 00001960: PUSH1 0x20 00001962: ADD 00001963: DUP6 00001964: DUP2 00001965: MSTORE 00001966: PUSH1 0x20 00001968: ADD 00001969: DUP5 0000196a: DUP2 0000196b: MSTORE 0000196c: PUSH1 0x20 0000196e: ADD 0000196f: DUP4 00001970: PUSH1 0x01 00001972: PUSH1 0xa0 00001974: PUSH1 0x02 00001976: EXP 00001977: SUB 00001978: AND 00001979: DUP2 0000197a: MSTORE 0000197b: PUSH1 0x20 0000197d: ADD 0000197e: DUP3 0000197f: DUP2 00001980: MSTORE 00001981: PUSH1 0x20 00001983: ADD 00001984: SWAP7 00001985: POP 00001986: POP 00001987: POP 00001988: POP 00001989: POP 0000198a: POP 0000198b: POP 0000198c: PUSH1 0x60 0000198e: PUSH1 0x40 00001990: MLOAD 00001991: DUP1 00001992: DUP4 00001993: SUB 00001994: DUP2 00001995: DUP6 00001996: DUP9 00001997: DUP1 00001998: EXTCODESIZE 00001999: ISZERO 0000199a: DUP1 0000199b: ISZERO 0000199c: PUSH2 0x19a4 0000199f: JUMPI 000019a0: PUSH1 0x00 000019a2: DUP1 000019a3: REVERT 000019a4: JUMPDEST 000019a5: POP 000019a6: GAS 000019a7: CALL 000019a8: ISZERO 000019a9: DUP1 000019aa: ISZERO 000019ab: PUSH2 0x19b8 000019ae: JUMPI 000019af: RETURNDATASIZE 000019b0: PUSH1 0x00 000019b2: DUP1 000019b3: RETURNDATACOPY 000019b4: RETURNDATASIZE 000019b5: PUSH1 0x00 000019b7: REVERT 000019b8: JUMPDEST 000019b9: POP 000019ba: POP 000019bb: POP 000019bc: POP 000019bd: POP 000019be: PUSH1 0x40 000019c0: MLOAD 000019c1: RETURNDATASIZE 000019c2: PUSH1 0x60 000019c4: DUP2 000019c5: LT 000019c6: ISZERO 000019c7: PUSH2 0x19cf 000019ca: JUMPI 000019cb: PUSH1 0x00 000019cd: DUP1 000019ce: REVERT 000019cf: JUMPDEST 000019d0: POP 000019d1: DUP1 000019d2: MLOAD 000019d3: PUSH1 0x20 000019d5: DUP3 000019d6: ADD 000019d7: MLOAD 000019d8: PUSH1 0x40 000019da: SWAP1 000019db: SWAP3 000019dc: ADD 000019dd: MLOAD 000019de: PUSH1 0x01 000019e0: SLOAD 000019e1: SWAP2 000019e2: SWAP6 000019e3: POP 000019e4: SWAP2 000019e5: SWAP4 000019e6: POP 000019e7: SWAP1 000019e8: SWAP2 000019e9: POP 000019ea: PUSH2 0x1a0b 000019ed: SWAP1 000019ee: PUSH1 0x00 000019f0: DUP1 000019f1: MLOAD 000019f2: PUSH1 0x20 000019f4: PUSH2 0x33a7 000019f7: DUP4 000019f8: CODECOPY 000019f9: DUP2 000019fa: MLOAD 000019fb: SWAP2 000019fc: MSTORE 000019fd: SWAP1 000019fe: PUSH1 0x01 00001a00: PUSH1 0xa0 00001a02: PUSH1 0x02 00001a04: EXP 00001a05: SUB 00001a06: AND 00001a07: PUSH2 0x20cf 00001a0a: JUMP 00001a0b: JUMPDEST 00001a0c: PUSH2 0x1a37 00001a0f: PUSH1 0x00 00001a11: DUP1 00001a12: MLOAD 00001a13: PUSH1 0x20 00001a15: PUSH2 0x33a7 00001a18: DUP4 00001a19: CODECOPY 00001a1a: DUP2 00001a1b: MLOAD 00001a1c: SWAP2 00001a1d: MSTORE 00001a1e: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d 00001a33: PUSH2 0x20cf 00001a36: JUMP 00001a37: JUMPDEST 00001a38: PUSH1 0x01 00001a3a: SLOAD 00001a3b: PUSH2 0x1a4c 00001a3e: SWAP1 00001a3f: PUSH1 0x01 00001a41: PUSH1 0xa0 00001a43: PUSH1 0x02 00001a45: EXP 00001a46: SUB 00001a47: AND 00001a48: PUSH2 0x1e6f 00001a4b: JUMP 00001a4c: JUMPDEST 00001a4d: PUSH2 0x1a54 00001a50: PUSH2 0x114f 00001a53: JUMP 00001a54: JUMPDEST 00001a55: PUSH1 0x01 00001a57: SLOAD 00001a58: PUSH1 0x02 00001a5a: DUP1 00001a5b: SLOAD 00001a5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a71: NOT 00001a72: AND 00001a73: PUSH1 0x01 00001a75: PUSH1 0xa0 00001a77: PUSH1 0x02 00001a79: EXP 00001a7a: SUB 00001a7b: SWAP1 00001a7c: SWAP3 00001a7d: AND 00001a7e: SWAP2 00001a7f: SWAP1 00001a80: SWAP2 00001a81: OR 00001a82: SWAP1 00001a83: SSTORE 00001a84: PUSH1 0x40 00001a86: DUP1 00001a87: MLOAD 00001a88: DUP5 00001a89: DUP2 00001a8a: MSTORE 00001a8b: PUSH1 0x20 00001a8d: DUP2 00001a8e: ADD 00001a8f: DUP5 00001a90: SWAP1 00001a91: MSTORE 00001a92: DUP1 00001a93: DUP3 00001a94: ADD 00001a95: DUP4 00001a96: SWAP1 00001a97: MSTORE 00001a98: SWAP1 00001a99: MLOAD 00001a9a: PUSH32 0xd7f28048575eead8851d024ead087913957dfb4fd1a02b4d1573f5352a5a2be3 00001abb: SWAP2 00001abc: DUP2 00001abd: SWAP1 00001abe: SUB 00001abf: PUSH1 0x60 00001ac1: ADD 00001ac2: SWAP1 00001ac3: LOG1 00001ac4: POP 00001ac5: POP 00001ac6: POP 00001ac7: POP 00001ac8: POP 00001ac9: JUMP 00001aca: JUMPDEST 00001acb: PUSH1 0x0b 00001acd: SLOAD 00001ace: DUP2 00001acf: JUMP 00001ad0: JUMPDEST 00001ad1: PUSH2 0x1ae8 00001ad4: PUSH1 0x00 00001ad6: DUP1 00001ad7: MLOAD 00001ad8: PUSH1 0x20 00001ada: PUSH2 0x33c7 00001add: DUP4 00001ade: CODECOPY 00001adf: DUP2 00001ae0: MLOAD 00001ae1: SWAP2 00001ae2: MSTORE 00001ae3: CALLER 00001ae4: PUSH2 0x1b5f 00001ae7: JUMP 00001ae8: JUMPDEST 00001ae9: PUSH2 0x1b2a 00001aec: JUMPI 00001aed: PUSH1 0x40 00001aef: DUP1 00001af0: MLOAD 00001af1: PUSH1 0xe5 00001af3: PUSH1 0x02 00001af5: EXP 00001af6: PUSH3 0x461bcd 00001afa: MUL 00001afb: DUP2 00001afc: MSTORE 00001afd: PUSH1 0x20 00001aff: PUSH1 0x04 00001b01: DUP3 00001b02: ADD 00001b03: MSTORE 00001b04: PUSH1 0x17 00001b06: PUSH1 0x24 00001b08: DUP3 00001b09: ADD 00001b0a: MSTORE 00001b0b: PUSH1 0x00 00001b0d: DUP1 00001b0e: MLOAD 00001b0f: PUSH1 0x20 00001b11: PUSH2 0x3361 00001b14: DUP4 00001b15: CODECOPY 00001b16: DUP2 00001b17: MLOAD 00001b18: SWAP2 00001b19: MSTORE 00001b1a: PUSH1 0x44 00001b1c: DUP3 00001b1d: ADD 00001b1e: MSTORE 00001b1f: SWAP1 00001b20: MLOAD 00001b21: SWAP1 00001b22: DUP2 00001b23: SWAP1 00001b24: SUB 00001b25: PUSH1 0x64 00001b27: ADD 00001b28: SWAP1 00001b29: REVERT 00001b2a: JUMPDEST 00001b2b: PUSH1 0x0e 00001b2d: SSTORE 00001b2e: JUMP 00001b2f: JUMPDEST 00001b30: PUSH1 0x11 00001b32: SLOAD 00001b33: DUP2 00001b34: JUMP 00001b35: JUMPDEST 00001b36: PUSH1 0x00 00001b38: DUP3 00001b39: DUP2 00001b3a: MSTORE 00001b3b: PUSH1 0x20 00001b3d: DUP2 00001b3e: SWAP1 00001b3f: MSTORE 00001b40: PUSH1 0x40 00001b42: DUP2 00001b43: KECCAK256 00001b44: PUSH2 0x124d 00001b47: SWAP1 00001b48: DUP4 00001b49: PUSH2 0x294f 00001b4c: JUMP 00001b4d: JUMPDEST 00001b4e: PUSH1 0x00 00001b50: DUP1 00001b51: MLOAD 00001b52: PUSH1 0x20 00001b54: PUSH2 0x33c7 00001b57: DUP4 00001b58: CODECOPY 00001b59: DUP2 00001b5a: MLOAD 00001b5b: SWAP2 00001b5c: MSTORE 00001b5d: DUP2 00001b5e: JUMP 00001b5f: JUMPDEST 00001b60: PUSH1 0x00 00001b62: DUP3 00001b63: DUP2 00001b64: MSTORE 00001b65: PUSH1 0x20 00001b67: DUP2 00001b68: SWAP1 00001b69: MSTORE 00001b6a: PUSH1 0x40 00001b6c: DUP2 00001b6d: KECCAK256 00001b6e: PUSH2 0x124d 00001b71: SWAP1 00001b72: DUP4 00001b73: PUSH2 0x2601 00001b76: JUMP 00001b77: JUMPDEST 00001b78: PUSH1 0x0d 00001b7a: SLOAD 00001b7b: DUP2 00001b7c: JUMP 00001b7d: JUMPDEST 00001b7e: PUSH1 0x10 00001b80: SLOAD 00001b81: PUSH1 0xff 00001b83: AND 00001b84: DUP2 00001b85: JUMP 00001b86: JUMPDEST 00001b87: PUSH1 0x09 00001b89: DUP1 00001b8a: SLOAD 00001b8b: PUSH1 0x40 00001b8d: DUP1 00001b8e: MLOAD 00001b8f: PUSH1 0x20 00001b91: PUSH1 0x1f 00001b93: PUSH1 0x02 00001b95: PUSH1 0x00 00001b97: NOT 00001b98: PUSH2 0x0100 00001b9b: PUSH1 0x01 00001b9d: DUP9 00001b9e: AND 00001b9f: ISZERO 00001ba0: MUL 00001ba1: ADD 00001ba2: SWAP1 00001ba3: SWAP6 00001ba4: AND 00001ba5: SWAP5 00001ba6: SWAP1 00001ba7: SWAP5 00001ba8: DIV 00001ba9: SWAP4 00001baa: DUP5 00001bab: ADD 00001bac: DUP2 00001bad: SWAP1 00001bae: DIV 00001baf: DUP2 00001bb0: MUL 00001bb1: DUP3 00001bb2: ADD 00001bb3: DUP2 00001bb4: ADD 00001bb5: SWAP1 00001bb6: SWAP3 00001bb7: MSTORE 00001bb8: DUP3 00001bb9: DUP2 00001bba: MSTORE 00001bbb: PUSH1 0x60 00001bbd: SWAP4 00001bbe: SWAP1 00001bbf: SWAP3 00001bc0: SWAP1 00001bc1: SWAP2 00001bc2: DUP4 00001bc3: ADD 00001bc4: DUP3 00001bc5: DUP3 00001bc6: DUP1 00001bc7: ISZERO 00001bc8: PUSH2 0x101a 00001bcb: JUMPI 00001bcc: DUP1 00001bcd: PUSH1 0x1f 00001bcf: LT 00001bd0: PUSH2 0x0fef 00001bd3: JUMPI 00001bd4: PUSH2 0x0100 00001bd7: DUP1 00001bd8: DUP4 00001bd9: SLOAD 00001bda: DIV 00001bdb: MUL 00001bdc: DUP4 00001bdd: MSTORE 00001bde: SWAP2 00001bdf: PUSH1 0x20 00001be1: ADD 00001be2: SWAP2 00001be3: PUSH2 0x101a 00001be6: JUMP 00001be7: JUMPDEST 00001be8: PUSH1 0x01 00001bea: SLOAD 00001beb: PUSH2 0x1bfc 00001bee: SWAP1 00001bef: PUSH1 0x01 00001bf1: PUSH1 0xa0 00001bf3: PUSH1 0x02 00001bf5: EXP 00001bf6: SUB 00001bf7: AND 00001bf8: PUSH2 0x2658 00001bfb: JUMP 00001bfc: JUMPDEST 00001bfd: ISZERO 00001bfe: PUSH2 0x1c3b 00001c01: JUMPI 00001c02: PUSH1 0x40 00001c04: MLOAD 00001c05: PUSH1 0xe5 00001c07: PUSH1 0x02 00001c09: EXP 00001c0a: PUSH3 0x461bcd 00001c0e: MUL 00001c0f: DUP2 00001c10: MSTORE 00001c11: PUSH1 0x04 00001c13: ADD 00001c14: DUP1 00001c15: DUP1 00001c16: PUSH1 0x20 00001c18: ADD 00001c19: DUP3 00001c1a: DUP2 00001c1b: SUB 00001c1c: DUP3 00001c1d: MSTORE 00001c1e: PUSH1 0x37 00001c20: DUP2 00001c21: MSTORE 00001c22: PUSH1 0x20 00001c24: ADD 00001c25: DUP1 00001c26: PUSH2 0x352f 00001c29: PUSH1 0x37 00001c2b: SWAP2 00001c2c: CODECOPY 00001c2d: PUSH1 0x40 00001c2f: ADD 00001c30: SWAP2 00001c31: POP 00001c32: POP 00001c33: PUSH1 0x40 00001c35: MLOAD 00001c36: DUP1 00001c37: SWAP2 00001c38: SUB 00001c39: SWAP1 00001c3a: REVERT 00001c3b: JUMPDEST 00001c3c: PUSH2 0x1c53 00001c3f: PUSH1 0x00 00001c41: DUP1 00001c42: MLOAD 00001c43: PUSH1 0x20 00001c45: PUSH2 0x33c7 00001c48: DUP4 00001c49: CODECOPY 00001c4a: DUP2 00001c4b: MLOAD 00001c4c: SWAP2 00001c4d: MSTORE 00001c4e: CALLER 00001c4f: PUSH2 0x1b5f 00001c52: JUMP 00001c53: JUMPDEST 00001c54: PUSH2 0x1c95 00001c57: JUMPI 00001c58: PUSH1 0x40 00001c5a: DUP1 00001c5b: MLOAD 00001c5c: PUSH1 0xe5 00001c5e: PUSH1 0x02 00001c60: EXP 00001c61: PUSH3 0x461bcd 00001c65: MUL 00001c66: DUP2 00001c67: MSTORE 00001c68: PUSH1 0x20 00001c6a: PUSH1 0x04 00001c6c: DUP3 00001c6d: ADD 00001c6e: MSTORE 00001c6f: PUSH1 0x17 00001c71: PUSH1 0x24 00001c73: DUP3 00001c74: ADD 00001c75: MSTORE 00001c76: PUSH1 0x00 00001c78: DUP1 00001c79: MLOAD 00001c7a: PUSH1 0x20 00001c7c: PUSH2 0x3361 00001c7f: DUP4 00001c80: CODECOPY 00001c81: DUP2 00001c82: MLOAD 00001c83: SWAP2 00001c84: MSTORE 00001c85: PUSH1 0x44 00001c87: DUP3 00001c88: ADD 00001c89: MSTORE 00001c8a: SWAP1 00001c8b: MLOAD 00001c8c: SWAP1 00001c8d: DUP2 00001c8e: SWAP1 00001c8f: SUB 00001c90: PUSH1 0x64 00001c92: ADD 00001c93: SWAP1 00001c94: REVERT 00001c95: JUMPDEST 00001c96: PUSH1 0x01 00001c98: PUSH1 0xa0 00001c9a: PUSH1 0x02 00001c9c: EXP 00001c9d: SUB 00001c9e: AND 00001c9f: PUSH1 0x00 00001ca1: SWAP1 00001ca2: DUP2 00001ca3: MSTORE 00001ca4: PUSH1 0x17 00001ca6: PUSH1 0x20 00001ca8: MSTORE 00001ca9: PUSH1 0x40 00001cab: SWAP1 00001cac: KECCAK256 00001cad: DUP1 00001cae: SLOAD 00001caf: PUSH1 0xff 00001cb1: NOT 00001cb2: AND 00001cb3: PUSH1 0x01 00001cb5: OR 00001cb6: SWAP1 00001cb7: SSTORE 00001cb8: JUMP 00001cb9: JUMPDEST 00001cba: PUSH1 0x00 00001cbc: DUP2 00001cbd: JUMP 00001cbe: JUMPDEST 00001cbf: PUSH1 0x00 00001cc1: PUSH2 0x1050 00001cc4: PUSH2 0x1ccb 00001cc7: PUSH2 0x2770 00001cca: JUMP 00001ccb: JUMPDEST 00001ccc: DUP5 00001ccd: PUSH2 0x13bd 00001cd0: DUP6 00001cd1: PUSH1 0x40 00001cd3: MLOAD 00001cd4: DUP1 00001cd5: PUSH1 0x60 00001cd7: ADD 00001cd8: PUSH1 0x40 00001cda: MSTORE 00001cdb: DUP1 00001cdc: PUSH1 0x25 00001cde: DUP2 00001cdf: MSTORE 00001ce0: PUSH1 0x20 00001ce2: ADD 00001ce3: PUSH2 0x3566 00001ce6: PUSH1 0x25 00001ce8: SWAP2 00001ce9: CODECOPY 00001cea: PUSH1 0x06 00001cec: PUSH1 0x00 00001cee: PUSH2 0x1cf5 00001cf1: PUSH2 0x2770 00001cf4: JUMP 00001cf5: JUMPDEST 00001cf6: PUSH1 0x01 00001cf8: PUSH1 0xa0 00001cfa: PUSH1 0x02 00001cfc: EXP 00001cfd: SUB 00001cfe: SWAP1 00001cff: DUP2 00001d00: AND 00001d01: DUP3 00001d02: MSTORE 00001d03: PUSH1 0x20 00001d05: DUP1 00001d06: DUP4 00001d07: ADD 00001d08: SWAP4 00001d09: SWAP1 00001d0a: SWAP4 00001d0b: MSTORE 00001d0c: PUSH1 0x40 00001d0e: SWAP2 00001d0f: DUP3 00001d10: ADD 00001d11: PUSH1 0x00 00001d13: SWAP1 00001d14: DUP2 00001d15: KECCAK256 00001d16: SWAP2 00001d17: DUP14 00001d18: AND 00001d19: DUP2 00001d1a: MSTORE 00001d1b: SWAP3 00001d1c: MSTORE 00001d1d: SWAP1 00001d1e: KECCAK256 00001d1f: SLOAD 00001d20: SWAP2 00001d21: SWAP1 00001d22: PUSH2 0x295b 00001d25: JUMP 00001d26: JUMPDEST 00001d27: PUSH1 0x02 00001d29: SLOAD 00001d2a: PUSH1 0x01 00001d2c: PUSH1 0xa0 00001d2e: PUSH1 0x02 00001d30: EXP 00001d31: SUB 00001d32: AND 00001d33: DUP2 00001d34: JUMP 00001d35: JUMPDEST 00001d36: PUSH1 0x00 00001d38: PUSH2 0x124d 00001d3b: DUP4 00001d3c: DUP4 00001d3d: PUSH2 0x29f5 00001d40: JUMP 00001d41: JUMPDEST 00001d42: PUSH2 0x1d49 00001d45: PUSH2 0x3247 00001d48: JUMP 00001d49: JUMPDEST 00001d4a: POP 00001d4b: CALLER 00001d4c: PUSH1 0x00 00001d4e: SWAP1 00001d4f: DUP2 00001d50: MSTORE 00001d51: PUSH1 0x0f 00001d53: PUSH1 0x20 00001d55: SWAP1 00001d56: DUP2 00001d57: MSTORE 00001d58: PUSH1 0x40 00001d5a: SWAP2 00001d5b: DUP3 00001d5c: SWAP1 00001d5d: KECCAK256 00001d5e: DUP3 00001d5f: MLOAD 00001d60: PUSH1 0x80 00001d62: DUP2 00001d63: ADD 00001d64: DUP5 00001d65: MSTORE 00001d66: DUP2 00001d67: SLOAD 00001d68: DUP2 00001d69: MSTORE 00001d6a: PUSH1 0x01 00001d6c: DUP3 00001d6d: ADD 00001d6e: SLOAD 00001d6f: SWAP3 00001d70: DUP2 00001d71: ADD 00001d72: SWAP3 00001d73: SWAP1 00001d74: SWAP3 00001d75: MSTORE 00001d76: PUSH1 0x02 00001d78: DUP2 00001d79: ADD 00001d7a: SLOAD 00001d7b: SWAP3 00001d7c: DUP3 00001d7d: ADD 00001d7e: SWAP3 00001d7f: SWAP1 00001d80: SWAP3 00001d81: MSTORE 00001d82: PUSH1 0x03 00001d84: SWAP1 00001d85: SWAP2 00001d86: ADD 00001d87: SLOAD 00001d88: PUSH1 0x60 00001d8a: DUP3 00001d8b: ADD 00001d8c: DUP2 00001d8d: SWAP1 00001d8e: MSTORE 00001d8f: ISZERO 00001d90: DUP1 00001d91: ISZERO 00001d92: SWAP1 00001d93: PUSH2 0x1dc5 00001d96: JUMPI 00001d97: POP 00001d98: DUP1 00001d99: MLOAD 00001d9a: PUSH1 0x60 00001d9c: DUP3 00001d9d: ADD 00001d9e: MLOAD 00001d9f: PUSH2 0x1da7 00001da2: SWAP2 00001da3: PUSH2 0x258f 00001da6: JUMP 00001da7: JUMPDEST 00001da8: TIMESTAMP 00001da9: LT 00001daa: ISZERO 00001dab: DUP1 00001dac: PUSH2 0x1dc5 00001daf: JUMPI 00001db0: POP 00001db1: PUSH1 0x0e 00001db3: SLOAD 00001db4: PUSH1 0x60 00001db6: DUP3 00001db7: ADD 00001db8: MLOAD 00001db9: PUSH2 0x1dc1 00001dbc: SWAP2 00001dbd: PUSH2 0x258f 00001dc0: JUMP 00001dc1: JUMPDEST 00001dc2: TIMESTAMP 00001dc3: LT 00001dc4: ISZERO 00001dc5: JUMPDEST 00001dc6: PUSH2 0x1e03 00001dc9: JUMPI 00001dca: PUSH1 0x40 00001dcc: MLOAD 00001dcd: PUSH1 0xe5 00001dcf: PUSH1 0x02 00001dd1: EXP 00001dd2: PUSH3 0x461bcd 00001dd6: MUL 00001dd7: DUP2 00001dd8: MSTORE 00001dd9: PUSH1 0x04 00001ddb: ADD 00001ddc: DUP1 00001ddd: DUP1 00001dde: PUSH1 0x20 00001de0: ADD 00001de1: DUP3 00001de2: DUP2 00001de3: SUB 00001de4: DUP3 00001de5: MSTORE 00001de6: PUSH1 0x2e 00001de8: DUP2 00001de9: MSTORE 00001dea: PUSH1 0x20 00001dec: ADD 00001ded: DUP1 00001dee: PUSH2 0x341e 00001df1: PUSH1 0x2e 00001df3: SWAP2 00001df4: CODECOPY 00001df5: PUSH1 0x40 00001df7: ADD 00001df8: SWAP2 00001df9: POP 00001dfa: POP 00001dfb: PUSH1 0x40 00001dfd: MLOAD 00001dfe: DUP1 00001dff: SWAP2 00001e00: SUB 00001e01: SWAP1 00001e02: REVERT 00001e03: JUMPDEST 00001e04: TIMESTAMP 00001e05: PUSH1 0x60 00001e07: DUP3 00001e08: ADD 00001e09: SWAP1 00001e0a: DUP2 00001e0b: MSTORE 00001e0c: CALLER 00001e0d: PUSH1 0x00 00001e0f: DUP2 00001e10: DUP2 00001e11: MSTORE 00001e12: PUSH1 0x0f 00001e14: PUSH1 0x20 00001e16: SWAP1 00001e17: DUP2 00001e18: MSTORE 00001e19: PUSH1 0x40 00001e1b: SWAP2 00001e1c: DUP3 00001e1d: SWAP1 00001e1e: KECCAK256 00001e1f: DUP6 00001e20: MLOAD 00001e21: DUP2 00001e22: SSTORE 00001e23: SWAP1 00001e24: DUP6 00001e25: ADD 00001e26: MLOAD 00001e27: PUSH1 0x01 00001e29: DUP3 00001e2a: ADD 00001e2b: SSTORE 00001e2c: SWAP1 00001e2d: DUP5 00001e2e: ADD 00001e2f: MLOAD 00001e30: PUSH1 0x02 00001e32: DUP3 00001e33: ADD 00001e34: SSTORE 00001e35: SWAP2 00001e36: MLOAD 00001e37: PUSH1 0x03 00001e39: SWAP1 00001e3a: SWAP3 00001e3b: ADD 00001e3c: SWAP2 00001e3d: SWAP1 00001e3e: SWAP2 00001e3f: SSTORE 00001e40: PUSH2 0x1689 00001e43: SWAP1 00001e44: PUSH2 0x2a0b 00001e47: JUMP 00001e48: JUMPDEST 00001e49: PUSH1 0x0f 00001e4b: PUSH1 0x20 00001e4d: MSTORE 00001e4e: PUSH1 0x00 00001e50: SWAP1 00001e51: DUP2 00001e52: MSTORE 00001e53: PUSH1 0x40 00001e55: SWAP1 00001e56: KECCAK256 00001e57: DUP1 00001e58: SLOAD 00001e59: PUSH1 0x01 00001e5b: DUP3 00001e5c: ADD 00001e5d: SLOAD 00001e5e: PUSH1 0x02 00001e60: DUP4 00001e61: ADD 00001e62: SLOAD 00001e63: PUSH1 0x03 00001e65: SWAP1 00001e66: SWAP4 00001e67: ADD 00001e68: SLOAD 00001e69: SWAP2 00001e6a: SWAP3 00001e6b: SWAP1 00001e6c: SWAP2 00001e6d: DUP5 00001e6e: JUMP 00001e6f: JUMPDEST 00001e70: PUSH2 0x1e87 00001e73: PUSH1 0x00 00001e75: DUP1 00001e76: MLOAD 00001e77: PUSH1 0x20 00001e79: PUSH2 0x33c7 00001e7c: DUP4 00001e7d: CODECOPY 00001e7e: DUP2 00001e7f: MLOAD 00001e80: SWAP2 00001e81: MSTORE 00001e82: CALLER 00001e83: PUSH2 0x1b5f 00001e86: JUMP 00001e87: JUMPDEST 00001e88: PUSH2 0x1ec9 00001e8b: JUMPI 00001e8c: PUSH1 0x40 00001e8e: DUP1 00001e8f: MLOAD 00001e90: PUSH1 0xe5 00001e92: PUSH1 0x02 00001e94: EXP 00001e95: PUSH3 0x461bcd 00001e99: MUL 00001e9a: DUP2 00001e9b: MSTORE 00001e9c: PUSH1 0x20 00001e9e: PUSH1 0x04 00001ea0: DUP3 00001ea1: ADD 00001ea2: MSTORE 00001ea3: PUSH1 0x17 00001ea5: PUSH1 0x24 00001ea7: DUP3 00001ea8: ADD 00001ea9: MSTORE 00001eaa: PUSH1 0x00 00001eac: DUP1 00001ead: MLOAD 00001eae: PUSH1 0x20 00001eb0: PUSH2 0x3361 00001eb3: DUP4 00001eb4: CODECOPY 00001eb5: DUP2 00001eb6: MLOAD 00001eb7: SWAP2 00001eb8: MSTORE 00001eb9: PUSH1 0x44 00001ebb: DUP3 00001ebc: ADD 00001ebd: MSTORE 00001ebe: SWAP1 00001ebf: MLOAD 00001ec0: SWAP1 00001ec1: DUP2 00001ec2: SWAP1 00001ec3: SUB 00001ec4: PUSH1 0x64 00001ec6: ADD 00001ec7: SWAP1 00001ec8: REVERT 00001ec9: JUMPDEST 00001eca: PUSH2 0x1689 00001ecd: PUSH32 0x83e1446b95f1c1d5ef26abb4f97d0668a474fa1461910124bfb15edcb7ae5ed2 00001eee: DUP3 00001eef: PUSH2 0x126f 00001ef2: JUMP 00001ef3: JUMPDEST 00001ef4: PUSH1 0x0e 00001ef6: SLOAD 00001ef7: DUP2 00001ef8: JUMP 00001ef9: JUMPDEST 00001efa: PUSH1 0x00 00001efc: DUP2 00001efd: DUP2 00001efe: MSTORE 00001eff: PUSH1 0x20 00001f01: DUP2 00001f02: SWAP1 00001f03: MSTORE 00001f04: PUSH1 0x40 00001f06: DUP2 00001f07: KECCAK256 00001f08: PUSH2 0x1054 00001f0b: SWAP1 00001f0c: PUSH2 0x2b28 00001f0f: JUMP 00001f10: JUMPDEST 00001f11: PUSH2 0x1f28 00001f14: PUSH1 0x00 00001f16: DUP1 00001f17: MLOAD 00001f18: PUSH1 0x20 00001f1a: PUSH2 0x33c7 00001f1d: DUP4 00001f1e: CODECOPY 00001f1f: DUP2 00001f20: MLOAD 00001f21: SWAP2 00001f22: MSTORE 00001f23: CALLER 00001f24: PUSH2 0x1b5f 00001f27: JUMP 00001f28: JUMPDEST 00001f29: PUSH2 0x1f6a 00001f2c: JUMPI 00001f2d: PUSH1 0x40 00001f2f: DUP1 00001f30: MLOAD 00001f31: PUSH1 0xe5 00001f33: PUSH1 0x02 00001f35: EXP 00001f36: PUSH3 0x461bcd 00001f3a: MUL 00001f3b: DUP2 00001f3c: MSTORE 00001f3d: PUSH1 0x20 00001f3f: PUSH1 0x04 00001f41: DUP3 00001f42: ADD 00001f43: MSTORE 00001f44: PUSH1 0x17 00001f46: PUSH1 0x24 00001f48: DUP3 00001f49: ADD 00001f4a: MSTORE 00001f4b: PUSH1 0x00 00001f4d: DUP1 00001f4e: MLOAD 00001f4f: PUSH1 0x20 00001f51: PUSH2 0x3361 00001f54: DUP4 00001f55: CODECOPY 00001f56: DUP2 00001f57: MLOAD 00001f58: SWAP2 00001f59: MSTORE 00001f5a: PUSH1 0x44 00001f5c: DUP3 00001f5d: ADD 00001f5e: MSTORE 00001f5f: SWAP1 00001f60: MLOAD 00001f61: SWAP1 00001f62: DUP2 00001f63: SWAP1 00001f64: SUB 00001f65: PUSH1 0x64 00001f67: ADD 00001f68: SWAP1 00001f69: REVERT 00001f6a: JUMPDEST 00001f6b: PUSH1 0x01 00001f6d: SLOAD 00001f6e: PUSH2 0x1f7f 00001f71: SWAP1 00001f72: PUSH1 0x01 00001f74: PUSH1 0xa0 00001f76: PUSH1 0x02 00001f78: EXP 00001f79: SUB 00001f7a: AND 00001f7b: PUSH2 0x2658 00001f7e: JUMP 00001f7f: JUMPDEST 00001f80: ISZERO 00001f81: PUSH2 0x1fbe 00001f84: JUMPI 00001f85: PUSH1 0x40 00001f87: MLOAD 00001f88: PUSH1 0xe5 00001f8a: PUSH1 0x02 00001f8c: EXP 00001f8d: PUSH3 0x461bcd 00001f91: MUL 00001f92: DUP2 00001f93: MSTORE 00001f94: PUSH1 0x04 00001f96: ADD 00001f97: DUP1 00001f98: DUP1 00001f99: PUSH1 0x20 00001f9b: ADD 00001f9c: DUP3 00001f9d: DUP2 00001f9e: SUB 00001f9f: DUP3 00001fa0: MSTORE 00001fa1: PUSH1 0x37 00001fa3: DUP2 00001fa4: MSTORE 00001fa5: PUSH1 0x20 00001fa7: ADD 00001fa8: DUP1 00001fa9: PUSH2 0x352f 00001fac: PUSH1 0x37 00001fae: SWAP2 00001faf: CODECOPY 00001fb0: PUSH1 0x40 00001fb2: ADD 00001fb3: SWAP2 00001fb4: POP 00001fb5: POP 00001fb6: PUSH1 0x40 00001fb8: MLOAD 00001fb9: DUP1 00001fba: SWAP2 00001fbb: SUB 00001fbc: SWAP1 00001fbd: REVERT 00001fbe: JUMPDEST 00001fbf: PUSH1 0x00 00001fc1: JUMPDEST 00001fc2: DUP3 00001fc3: MLOAD 00001fc4: DUP2 00001fc5: LT 00001fc6: ISZERO 00001fc7: PUSH2 0x2008 00001fca: JUMPI 00001fcb: PUSH2 0x2000 00001fce: DUP4 00001fcf: DUP3 00001fd0: DUP2 00001fd1: MLOAD 00001fd2: DUP2 00001fd3: LT 00001fd4: PUSH2 0x1fd9 00001fd7: JUMPI 00001fd8: INVALID 00001fd9: JUMPDEST 00001fda: PUSH1 0x20 00001fdc: MUL 00001fdd: PUSH1 0x20 00001fdf: ADD 00001fe0: ADD 00001fe1: MLOAD 00001fe2: DUP4 00001fe3: DUP4 00001fe4: DUP2 00001fe5: MLOAD 00001fe6: DUP2 00001fe7: LT 00001fe8: PUSH2 0x1fed 00001feb: JUMPI 00001fec: INVALID 00001fed: JUMPDEST 00001fee: PUSH1 0x20 00001ff0: MUL 00001ff1: PUSH1 0x20 00001ff3: ADD 00001ff4: ADD 00001ff5: MLOAD 00001ff6: PUSH3 0x054600 00001ffa: PUSH1 0x00 00001ffc: PUSH2 0x2b33 00001fff: JUMP 00002000: JUMPDEST 00002001: PUSH1 0x01 00002003: ADD 00002004: PUSH2 0x1fc1 00002007: JUMP 00002008: JUMPDEST 00002009: POP 0000200a: POP 0000200b: POP 0000200c: JUMP 0000200d: JUMPDEST 0000200e: PUSH1 0x0d 00002010: SLOAD 00002011: PUSH1 0x00 00002013: SWAP1 00002014: DUP2 00002015: SWAP1 00002016: DUP2 00002017: SWAP1 00002018: ISZERO 00002019: PUSH2 0x207e 0000201c: JUMPI 0000201d: PUSH1 0x00 0000201f: PUSH2 0x2048 00002022: PUSH2 0x2037 00002025: PUSH1 0x01 00002027: PUSH1 0x0d 00002029: SLOAD 0000202a: PUSH2 0x258f 0000202d: SWAP1 0000202e: SWAP2 0000202f: SWAP1 00002030: PUSH4 0xffffffff 00002035: AND 00002036: JUMP 00002037: JUMPDEST 00002038: PUSH2 0x2042 0000203b: TIMESTAMP 0000203c: PUSH1 0x01 0000203e: PUSH2 0x258f 00002041: JUMP 00002042: JUMPDEST 00002043: SWAP1 00002044: PUSH2 0x2616 00002047: JUMP 00002048: JUMPDEST 00002049: SWAP1 0000204a: POP 0000204b: PUSH1 0x00 0000204d: PUSH2 0x2059 00002050: DUP3 00002051: PUSH3 0x015180 00002055: PUSH2 0x254d 00002058: JUMP 00002059: JUMPDEST 0000205a: SWAP1 0000205b: POP 0000205c: PUSH1 0x0a 0000205e: DUP2 0000205f: GT 00002060: ISZERO 00002061: PUSH2 0x206d 00002064: JUMPI 00002065: PUSH1 0x05 00002067: SWAP3 00002068: POP 00002069: PUSH2 0x207b 0000206c: JUMP 0000206d: JUMPDEST 0000206e: PUSH2 0x2078 00002071: PUSH1 0x0f 00002073: DUP3 00002074: PUSH2 0x2616 00002077: JUMP 00002078: JUMPDEST 00002079: SWAP3 0000207a: POP 0000207b: JUMPDEST 0000207c: POP 0000207d: POP 0000207e: JUMPDEST 0000207f: PUSH1 0x0b 00002081: SLOAD 00002082: PUSH2 0x2089 00002085: PUSH2 0x1149 00002088: JUMP 00002089: JUMPDEST 0000208a: GT 0000208b: ISZERO 0000208c: PUSH2 0x20c6 0000208f: JUMPI 00002090: PUSH2 0x20a4 00002093: PUSH1 0x64 00002095: PUSH2 0x209e 00002098: DUP9 00002099: DUP5 0000209a: PUSH2 0x24f1 0000209d: JUMP 0000209e: JUMPDEST 0000209f: SWAP1 000020a0: PUSH2 0x254d 000020a3: JUMP 000020a4: JUMPDEST 000020a5: SWAP2 000020a6: POP 000020a7: PUSH1 0x00 000020a9: PUSH2 0x20b6 000020ac: PUSH1 0x0b 000020ae: SLOAD 000020af: PUSH2 0x2042 000020b2: PUSH2 0x1149 000020b5: JUMP 000020b6: JUMPDEST 000020b7: SWAP1 000020b8: POP 000020b9: DUP1 000020ba: DUP4 000020bb: GT 000020bc: ISZERO 000020bd: PUSH2 0x20c4 000020c0: JUMPI 000020c1: DUP1 000020c2: SWAP3 000020c3: POP 000020c4: JUMPDEST 000020c5: POP 000020c6: JUMPDEST 000020c7: POP 000020c8: SWAP5 000020c9: SWAP4 000020ca: POP 000020cb: POP 000020cc: POP 000020cd: POP 000020ce: JUMP 000020cf: JUMPDEST 000020d0: PUSH1 0x00 000020d2: DUP3 000020d3: DUP2 000020d4: MSTORE 000020d5: PUSH1 0x20 000020d7: DUP2 000020d8: SWAP1 000020d9: MSTORE 000020da: PUSH1 0x40 000020dc: SWAP1 000020dd: KECCAK256 000020de: PUSH1 0x02 000020e0: ADD 000020e1: SLOAD 000020e2: PUSH2 0x20ed 000020e5: SWAP1 000020e6: PUSH2 0x128d 000020e9: PUSH2 0x2770 000020ec: JUMP 000020ed: JUMPDEST 000020ee: PUSH2 0x1341 000020f1: JUMPI 000020f2: PUSH1 0x40 000020f4: MLOAD 000020f5: PUSH1 0xe5 000020f7: PUSH1 0x02 000020f9: EXP 000020fa: PUSH3 0x461bcd 000020fe: MUL 000020ff: DUP2 00002100: MSTORE 00002101: PUSH1 0x04 00002103: ADD 00002104: DUP1 00002105: DUP1 00002106: PUSH1 0x20 00002108: ADD 00002109: DUP3 0000210a: DUP2 0000210b: SUB 0000210c: DUP3 0000210d: MSTORE 0000210e: PUSH1 0x30 00002110: DUP2 00002111: MSTORE 00002112: PUSH1 0x20 00002114: ADD 00002115: DUP1 00002116: PUSH2 0x344c 00002119: PUSH1 0x30 0000211b: SWAP2 0000211c: CODECOPY 0000211d: PUSH1 0x40 0000211f: ADD 00002120: SWAP2 00002121: POP 00002122: POP 00002123: PUSH1 0x40 00002125: MLOAD 00002126: DUP1 00002127: SWAP2 00002128: SUB 00002129: SWAP1 0000212a: REVERT 0000212b: JUMPDEST 0000212c: PUSH1 0x01 0000212e: PUSH1 0xa0 00002130: PUSH1 0x02 00002132: EXP 00002133: SUB 00002134: SWAP2 00002135: DUP3 00002136: AND 00002137: PUSH1 0x00 00002139: SWAP1 0000213a: DUP2 0000213b: MSTORE 0000213c: PUSH1 0x06 0000213e: PUSH1 0x20 00002140: SWAP1 00002141: DUP2 00002142: MSTORE 00002143: PUSH1 0x40 00002145: DUP1 00002146: DUP4 00002147: KECCAK256 00002148: SWAP4 00002149: SWAP1 0000214a: SWAP5 0000214b: AND 0000214c: DUP3 0000214d: MSTORE 0000214e: SWAP2 0000214f: SWAP1 00002150: SWAP2 00002151: MSTORE 00002152: KECCAK256 00002153: SLOAD 00002154: SWAP1 00002155: JUMP 00002156: JUMPDEST 00002157: PUSH2 0x216e 0000215a: PUSH1 0x00 0000215c: DUP1 0000215d: MLOAD 0000215e: PUSH1 0x20 00002160: PUSH2 0x33c7 00002163: DUP4 00002164: CODECOPY 00002165: DUP2 00002166: MLOAD 00002167: SWAP2 00002168: MSTORE 00002169: CALLER 0000216a: PUSH2 0x1b5f 0000216d: JUMP 0000216e: JUMPDEST 0000216f: PUSH2 0x21b0 00002172: JUMPI 00002173: PUSH1 0x40 00002175: DUP1 00002176: MLOAD 00002177: PUSH1 0xe5 00002179: PUSH1 0x02 0000217b: EXP 0000217c: PUSH3 0x461bcd 00002180: MUL 00002181: DUP2 00002182: MSTORE 00002183: PUSH1 0x20 00002185: PUSH1 0x04 00002187: DUP3 00002188: ADD 00002189: MSTORE 0000218a: PUSH1 0x17 0000218c: PUSH1 0x24 0000218e: DUP3 0000218f: ADD 00002190: MSTORE 00002191: PUSH1 0x00 00002193: DUP1 00002194: MLOAD 00002195: PUSH1 0x20 00002197: PUSH2 0x3361 0000219a: DUP4 0000219b: CODECOPY 0000219c: DUP2 0000219d: MLOAD 0000219e: SWAP2 0000219f: MSTORE 000021a0: PUSH1 0x44 000021a2: DUP3 000021a3: ADD 000021a4: MSTORE 000021a5: SWAP1 000021a6: MLOAD 000021a7: SWAP1 000021a8: DUP2 000021a9: SWAP1 000021aa: SUB 000021ab: PUSH1 0x64 000021ad: ADD 000021ae: SWAP1 000021af: REVERT 000021b0: JUMPDEST 000021b1: PUSH2 0x1689 000021b4: PUSH1 0x00 000021b6: DUP1 000021b7: MLOAD 000021b8: PUSH1 0x20 000021ba: PUSH2 0x33a7 000021bd: DUP4 000021be: CODECOPY 000021bf: DUP2 000021c0: MLOAD 000021c1: SWAP2 000021c2: MSTORE 000021c3: DUP3 000021c4: PUSH2 0x126f 000021c7: JUMP 000021c8: JUMPDEST 000021c9: PUSH1 0x10 000021cb: SLOAD 000021cc: PUSH1 0x00 000021ce: SWAP1 000021cf: PUSH1 0xff 000021d1: AND 000021d2: ISZERO 000021d3: ISZERO 000021d4: PUSH1 0x01 000021d6: EQ 000021d7: DUP1 000021d8: PUSH2 0x21f0 000021db: JUMPI 000021dc: POP 000021dd: CALLER 000021de: PUSH1 0x00 000021e0: SWAP1 000021e1: DUP2 000021e2: MSTORE 000021e3: PUSH1 0x17 000021e5: PUSH1 0x20 000021e7: MSTORE 000021e8: PUSH1 0x40 000021ea: SWAP1 000021eb: KECCAK256 000021ec: SLOAD 000021ed: PUSH1 0xff 000021ef: AND 000021f0: JUMPDEST 000021f1: PUSH2 0x2244 000021f4: JUMPI 000021f5: PUSH1 0x40 000021f7: DUP1 000021f8: MLOAD 000021f9: PUSH1 0xe5 000021fb: PUSH1 0x02 000021fd: EXP 000021fe: PUSH3 0x461bcd 00002202: MUL 00002203: DUP2 00002204: MSTORE 00002205: PUSH1 0x20 00002207: PUSH1 0x04 00002209: DUP3 0000220a: ADD 0000220b: MSTORE 0000220c: PUSH1 0x19 0000220e: PUSH1 0x24 00002210: DUP3 00002211: ADD 00002212: MSTORE 00002213: PUSH32 0x5468652070726573616c65206973206e6f742061637469766500000000000000 00002234: PUSH1 0x44 00002236: DUP3 00002237: ADD 00002238: MSTORE 00002239: SWAP1 0000223a: MLOAD 0000223b: SWAP1 0000223c: DUP2 0000223d: SWAP1 0000223e: SUB 0000223f: PUSH1 0x64 00002241: ADD 00002242: SWAP1 00002243: REVERT 00002244: JUMPDEST 00002245: PUSH1 0x02 00002247: PUSH1 0x04 00002249: SLOAD 0000224a: EQ 0000224b: ISZERO 0000224c: PUSH2 0x229f 0000224f: JUMPI 00002250: PUSH1 0x40 00002252: DUP1 00002253: MLOAD 00002254: PUSH1 0xe5 00002256: PUSH1 0x02 00002258: EXP 00002259: PUSH3 0x461bcd 0000225d: MUL 0000225e: DUP2 0000225f: MSTORE 00002260: PUSH1 0x20 00002262: PUSH1 0x04 00002264: DUP3 00002265: ADD 00002266: MSTORE 00002267: PUSH1 0x1f 00002269: PUSH1 0x24 0000226b: DUP3 0000226c: ADD 0000226d: MSTORE 0000226e: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 0000228f: PUSH1 0x44 00002291: DUP3 00002292: ADD 00002293: MSTORE 00002294: SWAP1 00002295: MLOAD 00002296: SWAP1 00002297: DUP2 00002298: SWAP1 00002299: SUB 0000229a: PUSH1 0x64 0000229c: ADD 0000229d: SWAP1 0000229e: REVERT 0000229f: JUMPDEST 000022a0: PUSH1 0x02 000022a2: PUSH1 0x04 000022a4: SSTORE 000022a5: PUSH1 0x15 000022a7: SLOAD 000022a8: CALLVALUE 000022a9: LT 000022aa: ISZERO 000022ab: PUSH2 0x22fe 000022ae: JUMPI 000022af: PUSH1 0x40 000022b1: DUP1 000022b2: MLOAD 000022b3: PUSH1 0xe5 000022b5: PUSH1 0x02 000022b7: EXP 000022b8: PUSH3 0x461bcd 000022bc: MUL 000022bd: DUP2 000022be: MSTORE 000022bf: PUSH1 0x20 000022c1: PUSH1 0x04 000022c3: DUP3 000022c4: ADD 000022c5: MSTORE 000022c6: PUSH1 0x1f 000022c8: PUSH1 0x24 000022ca: DUP3 000022cb: ADD 000022cc: MSTORE 000022cd: PUSH32 0x4d696e696d756d20707572636861736520616d6f756e74206e6f74206d657400 000022ee: PUSH1 0x44 000022f0: DUP3 000022f1: ADD 000022f2: MSTORE 000022f3: SWAP1 000022f4: MLOAD 000022f5: SWAP1 000022f6: DUP2 000022f7: SWAP1 000022f8: SUB 000022f9: PUSH1 0x64 000022fb: ADD 000022fc: SWAP1 000022fd: REVERT 000022fe: JUMPDEST 000022ff: PUSH1 0x14 00002301: SLOAD 00002302: PUSH1 0x13 00002304: SLOAD 00002305: PUSH2 0x230e 00002308: SWAP1 00002309: CALLVALUE 0000230a: PUSH2 0x258f 0000230d: JUMP 0000230e: JUMPDEST 0000230f: GT 00002310: ISZERO 00002311: DUP1 00002312: PUSH2 0x232a 00002315: JUMPI 00002316: POP 00002317: CALLER 00002318: PUSH1 0x00 0000231a: SWAP1 0000231b: DUP2 0000231c: MSTORE 0000231d: PUSH1 0x17 0000231f: PUSH1 0x20 00002321: MSTORE 00002322: PUSH1 0x40 00002324: SWAP1 00002325: KECCAK256 00002326: SLOAD 00002327: PUSH1 0xff 00002329: AND 0000232a: JUMPDEST 0000232b: PUSH2 0x237e 0000232e: JUMPI 0000232f: PUSH1 0x40 00002331: DUP1 00002332: MLOAD 00002333: PUSH1 0xe5 00002335: PUSH1 0x02 00002337: EXP 00002338: PUSH3 0x461bcd 0000233c: MUL 0000233d: DUP2 0000233e: MSTORE 0000233f: PUSH1 0x20 00002341: PUSH1 0x04 00002343: DUP3 00002344: ADD 00002345: DUP2 00002346: SWAP1 00002347: MSTORE 00002348: PUSH1 0x24 0000234a: DUP3 0000234b: ADD 0000234c: MSTORE 0000234d: PUSH32 0x50726573616c65206d6178696d756d20616c7265616479206163686965766564 0000236e: PUSH1 0x44 00002370: DUP3 00002371: ADD 00002372: MSTORE 00002373: SWAP1 00002374: MLOAD 00002375: SWAP1 00002376: DUP2 00002377: SWAP1 00002378: SUB 00002379: PUSH1 0x64 0000237b: ADD 0000237c: SWAP1 0000237d: REVERT 0000237e: JUMPDEST 0000237f: PUSH1 0x11 00002381: SLOAD 00002382: PUSH1 0x16 00002384: SLOAD 00002385: PUSH2 0x238d 00002388: SWAP2 00002389: PUSH2 0x24f1 0000238c: JUMP 0000238d: JUMPDEST 0000238e: PUSH2 0x23bb 00002391: PUSH2 0x23a5 00002394: PUSH1 0x11 00002396: SLOAD 00002397: CALLVALUE 00002398: PUSH2 0x24f1 0000239b: SWAP1 0000239c: SWAP2 0000239d: SWAP1 0000239e: PUSH4 0xffffffff 000023a3: AND 000023a4: JUMP 000023a5: JUMPDEST 000023a6: CALLER 000023a7: PUSH1 0x00 000023a9: SWAP1 000023aa: DUP2 000023ab: MSTORE 000023ac: PUSH1 0x18 000023ae: PUSH1 0x20 000023b0: MSTORE 000023b1: PUSH1 0x40 000023b3: SWAP1 000023b4: KECCAK256 000023b5: SLOAD 000023b6: SWAP1 000023b7: PUSH2 0x258f 000023ba: JUMP 000023bb: JUMPDEST 000023bc: GT 000023bd: ISZERO 000023be: PUSH2 0x2411 000023c1: JUMPI 000023c2: PUSH1 0x40 000023c4: DUP1 000023c5: MLOAD 000023c6: PUSH1 0xe5 000023c8: PUSH1 0x02 000023ca: EXP 000023cb: PUSH3 0x461bcd 000023cf: MUL 000023d0: DUP2 000023d1: MSTORE 000023d2: PUSH1 0x20 000023d4: PUSH1 0x04 000023d6: DUP3 000023d7: ADD 000023d8: MSTORE 000023d9: PUSH1 0x1d 000023db: PUSH1 0x24 000023dd: DUP3 000023de: ADD 000023df: MSTORE 000023e0: PUSH32 0x416d6f756e74206f662065746865722073656e7420746f6f2068696768000000 00002401: PUSH1 0x44 00002403: DUP3 00002404: ADD 00002405: MSTORE 00002406: SWAP1 00002407: MLOAD 00002408: SWAP1 00002409: DUP2 0000240a: SWAP1 0000240b: SUB 0000240c: PUSH1 0x64 0000240e: ADD 0000240f: SWAP1 00002410: REVERT 00002411: JUMPDEST 00002412: PUSH2 0x2429 00002415: PUSH2 0x23a5 00002418: PUSH1 0x11 0000241a: SLOAD 0000241b: CALLVALUE 0000241c: PUSH2 0x24f1 0000241f: SWAP1 00002420: SWAP2 00002421: SWAP1 00002422: PUSH4 0xffffffff 00002427: AND 00002428: JUMP 00002429: JUMPDEST 0000242a: CALLER 0000242b: PUSH1 0x00 0000242d: SWAP1 0000242e: DUP2 0000242f: MSTORE 00002430: PUSH1 0x18 00002432: PUSH1 0x20 00002434: SWAP1 00002435: DUP2 00002436: MSTORE 00002437: PUSH1 0x40 00002439: DUP1 0000243a: DUP4 0000243b: KECCAK256 0000243c: SWAP4 0000243d: SWAP1 0000243e: SWAP4 0000243f: SSTORE 00002440: PUSH1 0x17 00002442: SWAP1 00002443: MSTORE 00002444: KECCAK256 00002445: SLOAD 00002446: PUSH1 0xff 00002448: AND 00002449: PUSH2 0x245d 0000244c: JUMPI 0000244d: PUSH1 0x13 0000244f: SLOAD 00002450: PUSH2 0x2459 00002453: SWAP1 00002454: CALLVALUE 00002455: PUSH2 0x258f 00002458: JUMP 00002459: JUMPDEST 0000245a: PUSH1 0x13 0000245c: SSTORE 0000245d: JUMPDEST 0000245e: CALLER 0000245f: PUSH1 0x00 00002461: DUP2 00002462: DUP2 00002463: MSTORE 00002464: PUSH1 0x18 00002466: PUSH1 0x20 00002468: SWAP1 00002469: DUP2 0000246a: MSTORE 0000246b: PUSH1 0x40 0000246d: SWAP2 0000246e: DUP3 0000246f: SWAP1 00002470: KECCAK256 00002471: SLOAD 00002472: DUP3 00002473: MLOAD 00002474: SWAP4 00002475: DUP5 00002476: MSTORE 00002477: SWAP1 00002478: DUP4 00002479: ADD 0000247a: MSTORE 0000247b: CALLVALUE 0000247c: DUP3 0000247d: DUP3 0000247e: ADD 0000247f: MSTORE 00002480: MLOAD 00002481: PUSH32 0x531c8e55a96ff0523b632a56c0fa5421bb41070dbcf7257b046152cc0fa16a30 000024a2: SWAP2 000024a3: DUP2 000024a4: SWAP1 000024a5: SUB 000024a6: PUSH1 0x60 000024a8: ADD 000024a9: SWAP1 000024aa: LOG1 000024ab: PUSH1 0x03 000024ad: SLOAD 000024ae: PUSH1 0x01 000024b0: PUSH1 0xa0 000024b2: PUSH1 0x02 000024b4: EXP 000024b5: SUB 000024b6: AND 000024b7: PUSH2 0x08fc 000024ba: PUSH2 0x24c9 000024bd: PUSH1 0x0a 000024bf: PUSH2 0x209e 000024c2: CALLVALUE 000024c3: PUSH1 0x02 000024c5: PUSH2 0x24f1 000024c8: JUMP 000024c9: JUMPDEST 000024ca: PUSH1 0x40 000024cc: MLOAD 000024cd: DUP2 000024ce: ISZERO 000024cf: SWAP1 000024d0: SWAP3 000024d1: MUL 000024d2: SWAP2 000024d3: PUSH1 0x00 000024d5: DUP2 000024d6: DUP2 000024d7: DUP2 000024d8: DUP6 000024d9: DUP9 000024da: DUP9 000024db: CALL 000024dc: SWAP4 000024dd: POP 000024de: POP 000024df: POP 000024e0: POP 000024e1: ISZERO 000024e2: DUP1 000024e3: ISZERO 000024e4: PUSH2 0x0ebc 000024e7: JUMPI 000024e8: RETURNDATASIZE 000024e9: PUSH1 0x00 000024eb: DUP1 000024ec: RETURNDATACOPY 000024ed: RETURNDATASIZE 000024ee: PUSH1 0x00 000024f0: REVERT 000024f1: JUMPDEST 000024f2: PUSH1 0x00 000024f4: DUP3 000024f5: PUSH2 0x2500 000024f8: JUMPI 000024f9: POP 000024fa: PUSH1 0x00 000024fc: PUSH2 0x1054 000024ff: JUMP 00002500: JUMPDEST 00002501: DUP3 00002502: DUP3 00002503: MUL 00002504: DUP3 00002505: DUP5 00002506: DUP3 00002507: DUP2 00002508: PUSH2 0x250d 0000250b: JUMPI 0000250c: INVALID 0000250d: JUMPDEST 0000250e: DIV 0000250f: EQ 00002510: PUSH2 0x124d 00002513: JUMPI 00002514: PUSH1 0x40 00002516: MLOAD 00002517: PUSH1 0xe5 00002519: PUSH1 0x02 0000251b: EXP 0000251c: PUSH3 0x461bcd 00002520: MUL 00002521: DUP2 00002522: MSTORE 00002523: PUSH1 0x04 00002525: ADD 00002526: DUP1 00002527: DUP1 00002528: PUSH1 0x20 0000252a: ADD 0000252b: DUP3 0000252c: DUP2 0000252d: SUB 0000252e: DUP3 0000252f: MSTORE 00002530: PUSH1 0x21 00002532: DUP2 00002533: MSTORE 00002534: PUSH1 0x20 00002536: ADD 00002537: DUP1 00002538: PUSH2 0x347c 0000253b: PUSH1 0x21 0000253d: SWAP2 0000253e: CODECOPY 0000253f: PUSH1 0x40 00002541: ADD 00002542: SWAP2 00002543: POP 00002544: POP 00002545: PUSH1 0x40 00002547: MLOAD 00002548: DUP1 00002549: SWAP2 0000254a: SUB 0000254b: SWAP1 0000254c: REVERT 0000254d: JUMPDEST 0000254e: PUSH1 0x00 00002550: PUSH2 0x124d 00002553: DUP4 00002554: DUP4 00002555: PUSH1 0x40 00002557: MLOAD 00002558: DUP1 00002559: PUSH1 0x40 0000255b: ADD 0000255c: PUSH1 0x40 0000255e: MSTORE 0000255f: DUP1 00002560: PUSH1 0x1a 00002562: DUP2 00002563: MSTORE 00002564: PUSH1 0x20 00002566: ADD 00002567: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00002588: DUP2 00002589: MSTORE 0000258a: POP 0000258b: PUSH2 0x2c01 0000258e: JUMP 0000258f: JUMPDEST 00002590: PUSH1 0x00 00002592: DUP3 00002593: DUP3 00002594: ADD 00002595: DUP4 00002596: DUP2 00002597: LT 00002598: ISZERO 00002599: PUSH2 0x124d 0000259c: JUMPI 0000259d: PUSH1 0x40 0000259f: DUP1 000025a0: MLOAD 000025a1: PUSH1 0xe5 000025a3: PUSH1 0x02 000025a5: EXP 000025a6: PUSH3 0x461bcd 000025aa: MUL 000025ab: DUP2 000025ac: MSTORE 000025ad: PUSH1 0x20 000025af: PUSH1 0x04 000025b1: DUP3 000025b2: ADD 000025b3: MSTORE 000025b4: PUSH1 0x1b 000025b6: PUSH1 0x24 000025b8: DUP3 000025b9: ADD 000025ba: MSTORE 000025bb: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 000025dc: PUSH1 0x44 000025de: DUP3 000025df: ADD 000025e0: MSTORE 000025e1: SWAP1 000025e2: MLOAD 000025e3: SWAP1 000025e4: DUP2 000025e5: SWAP1 000025e6: SUB 000025e7: PUSH1 0x64 000025e9: ADD 000025ea: SWAP1 000025eb: REVERT 000025ec: JUMPDEST 000025ed: PUSH1 0x00 000025ef: PUSH2 0x124d 000025f2: DUP4 000025f3: PUSH1 0x01 000025f5: PUSH1 0xa0 000025f7: PUSH1 0x02 000025f9: EXP 000025fa: SUB 000025fb: DUP5 000025fc: AND 000025fd: PUSH2 0x2c69 00002600: JUMP 00002601: JUMPDEST 00002602: PUSH1 0x00 00002604: PUSH2 0x124d 00002607: DUP4 00002608: PUSH1 0x01 0000260a: PUSH1 0xa0 0000260c: PUSH1 0x02 0000260e: EXP 0000260f: SUB 00002610: DUP5 00002611: AND 00002612: PUSH2 0x2cb3 00002615: JUMP 00002616: JUMPDEST 00002617: PUSH1 0x00 00002619: PUSH2 0x124d 0000261c: DUP4 0000261d: DUP4 0000261e: PUSH1 0x40 00002620: MLOAD 00002621: DUP1 00002622: PUSH1 0x40 00002624: ADD 00002625: PUSH1 0x40 00002627: MSTORE 00002628: DUP1 00002629: PUSH1 0x1e 0000262b: DUP2 0000262c: MSTORE 0000262d: PUSH1 0x20 0000262f: ADD 00002630: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00002651: DUP2 00002652: MSTORE 00002653: POP 00002654: PUSH2 0x295b 00002657: JUMP 00002658: JUMPDEST 00002659: EXTCODESIZE 0000265a: PUSH4 0xffffffff 0000265f: AND 00002660: ISZERO 00002661: ISZERO 00002662: SWAP1 00002663: JUMP 00002664: JUMPDEST 00002665: CALLER 00002666: PUSH1 0x00 00002668: SWAP1 00002669: DUP2 0000266a: MSTORE 0000266b: PUSH1 0x18 0000266d: PUSH1 0x20 0000266f: MSTORE 00002670: PUSH1 0x40 00002672: DUP2 00002673: KECCAK256 00002674: DUP1 00002675: SLOAD 00002676: SWAP2 00002677: SWAP1 00002678: SSTORE 00002679: SWAP1 0000267a: JUMP 0000267b: JUMPDEST 0000267c: PUSH1 0x01 0000267e: PUSH1 0xa0 00002680: PUSH1 0x02 00002682: EXP 00002683: SUB 00002684: DUP3 00002685: AND 00002686: PUSH2 0x26d9 00002689: JUMPI 0000268a: PUSH1 0x40 0000268c: DUP1 0000268d: MLOAD 0000268e: PUSH1 0xe5 00002690: PUSH1 0x02 00002692: EXP 00002693: PUSH3 0x461bcd 00002697: MUL 00002698: DUP2 00002699: MSTORE 0000269a: PUSH1 0x20 0000269c: PUSH1 0x04 0000269e: DUP3 0000269f: ADD 000026a0: MSTORE 000026a1: PUSH1 0x1f 000026a3: PUSH1 0x24 000026a5: DUP3 000026a6: ADD 000026a7: MSTORE 000026a8: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300 000026c9: PUSH1 0x44 000026cb: DUP3 000026cc: ADD 000026cd: MSTORE 000026ce: SWAP1 000026cf: MLOAD 000026d0: SWAP1 000026d1: DUP2 000026d2: SWAP1 000026d3: SUB 000026d4: PUSH1 0x64 000026d6: ADD 000026d7: SWAP1 000026d8: REVERT 000026d9: JUMPDEST 000026da: PUSH2 0x26e5 000026dd: PUSH1 0x00 000026df: DUP4 000026e0: DUP4 000026e1: PUSH2 0x2008 000026e4: JUMP 000026e5: JUMPDEST 000026e6: PUSH1 0x07 000026e8: SLOAD 000026e9: PUSH2 0x26f2 000026ec: SWAP1 000026ed: DUP3 000026ee: PUSH2 0x258f 000026f1: JUMP 000026f2: JUMPDEST 000026f3: PUSH1 0x07 000026f5: SSTORE 000026f6: PUSH1 0x01 000026f8: PUSH1 0xa0 000026fa: PUSH1 0x02 000026fc: EXP 000026fd: SUB 000026fe: DUP3 000026ff: AND 00002700: PUSH1 0x00 00002702: SWAP1 00002703: DUP2 00002704: MSTORE 00002705: PUSH1 0x05 00002707: PUSH1 0x20 00002709: MSTORE 0000270a: PUSH1 0x40 0000270c: SWAP1 0000270d: KECCAK256 0000270e: SLOAD 0000270f: PUSH2 0x2718 00002712: SWAP1 00002713: DUP3 00002714: PUSH2 0x258f 00002717: JUMP 00002718: JUMPDEST 00002719: PUSH1 0x01 0000271b: PUSH1 0xa0 0000271d: PUSH1 0x02 0000271f: EXP 00002720: SUB 00002721: DUP4 00002722: AND 00002723: PUSH1 0x00 00002725: DUP2 00002726: DUP2 00002727: MSTORE 00002728: PUSH1 0x05 0000272a: PUSH1 0x20 0000272c: SWAP1 0000272d: DUP2 0000272e: MSTORE 0000272f: PUSH1 0x40 00002731: DUP1 00002732: DUP4 00002733: KECCAK256 00002734: SWAP5 00002735: SWAP1 00002736: SWAP5 00002737: SSTORE 00002738: DUP4 00002739: MLOAD 0000273a: DUP6 0000273b: DUP2 0000273c: MSTORE 0000273d: SWAP4 0000273e: MLOAD 0000273f: SWAP3 00002740: SWAP4 00002741: SWAP2 00002742: SWAP3 00002743: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00002764: SWAP3 00002765: DUP2 00002766: SWAP1 00002767: SUB 00002768: SWAP1 00002769: SWAP2 0000276a: ADD 0000276b: SWAP1 0000276c: LOG3 0000276d: POP 0000276e: POP 0000276f: JUMP 00002770: JUMPDEST 00002771: CALLER 00002772: SWAP1 00002773: JUMP 00002774: JUMPDEST 00002775: PUSH1 0x01 00002777: PUSH1 0xa0 00002779: PUSH1 0x02 0000277b: EXP 0000277c: SUB 0000277d: DUP4 0000277e: AND 0000277f: PUSH2 0x27bc 00002782: JUMPI 00002783: PUSH1 0x40 00002785: MLOAD 00002786: PUSH1 0xe5 00002788: PUSH1 0x02 0000278a: EXP 0000278b: PUSH3 0x461bcd 0000278f: MUL 00002790: DUP2 00002791: MSTORE 00002792: PUSH1 0x04 00002794: ADD 00002795: DUP1 00002796: DUP1 00002797: PUSH1 0x20 00002799: ADD 0000279a: DUP3 0000279b: DUP2 0000279c: SUB 0000279d: DUP3 0000279e: MSTORE 0000279f: PUSH1 0x24 000027a1: DUP2 000027a2: MSTORE 000027a3: PUSH1 0x20 000027a5: ADD 000027a6: DUP1 000027a7: PUSH2 0x350b 000027aa: PUSH1 0x24 000027ac: SWAP2 000027ad: CODECOPY 000027ae: PUSH1 0x40 000027b0: ADD 000027b1: SWAP2 000027b2: POP 000027b3: POP 000027b4: PUSH1 0x40 000027b6: MLOAD 000027b7: DUP1 000027b8: SWAP2 000027b9: SUB 000027ba: SWAP1 000027bb: REVERT 000027bc: JUMPDEST 000027bd: PUSH1 0x01 000027bf: PUSH1 0xa0 000027c1: PUSH1 0x02 000027c3: EXP 000027c4: SUB 000027c5: DUP3 000027c6: AND 000027c7: PUSH2 0x2804 000027ca: JUMPI 000027cb: PUSH1 0x40 000027cd: MLOAD 000027ce: PUSH1 0xe5 000027d0: PUSH1 0x02 000027d2: EXP 000027d3: PUSH3 0x461bcd 000027d7: MUL 000027d8: DUP2 000027d9: MSTORE 000027da: PUSH1 0x04 000027dc: ADD 000027dd: DUP1 000027de: DUP1 000027df: PUSH1 0x20 000027e1: ADD 000027e2: DUP3 000027e3: DUP2 000027e4: SUB 000027e5: DUP3 000027e6: MSTORE 000027e7: PUSH1 0x22 000027e9: DUP2 000027ea: MSTORE 000027eb: PUSH1 0x20 000027ed: ADD 000027ee: DUP1 000027ef: PUSH2 0x333f 000027f2: PUSH1 0x22 000027f4: SWAP2 000027f5: CODECOPY 000027f6: PUSH1 0x40 000027f8: ADD 000027f9: SWAP2 000027fa: POP 000027fb: POP 000027fc: PUSH1 0x40 000027fe: MLOAD 000027ff: DUP1 00002800: SWAP2 00002801: SUB 00002802: SWAP1 00002803: REVERT 00002804: JUMPDEST 00002805: PUSH1 0x01 00002807: PUSH1 0xa0 00002809: PUSH1 0x02 0000280b: EXP 0000280c: SUB 0000280d: DUP1 0000280e: DUP5 0000280f: AND 00002810: PUSH1 0x00 00002812: DUP2 00002813: DUP2 00002814: MSTORE 00002815: PUSH1 0x06 00002817: PUSH1 0x20 00002819: SWAP1 0000281a: DUP2 0000281b: MSTORE 0000281c: PUSH1 0x40 0000281e: DUP1 0000281f: DUP4 00002820: KECCAK256 00002821: SWAP5 00002822: DUP8 00002823: AND 00002824: DUP1 00002825: DUP5 00002826: MSTORE 00002827: SWAP5 00002828: DUP3 00002829: MSTORE 0000282a: SWAP2 0000282b: DUP3 0000282c: SWAP1 0000282d: KECCAK256 0000282e: DUP6 0000282f: SWAP1 00002830: SSTORE 00002831: DUP2 00002832: MLOAD 00002833: DUP6 00002834: DUP2 00002835: MSTORE 00002836: SWAP2 00002837: MLOAD 00002838: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00002859: SWAP3 0000285a: DUP2 0000285b: SWAP1 0000285c: SUB 0000285d: SWAP1 0000285e: SWAP2 0000285f: ADD 00002860: SWAP1 00002861: LOG3 00002862: POP 00002863: POP 00002864: POP 00002865: JUMP 00002866: JUMPDEST 00002867: PUSH1 0x00 00002869: PUSH2 0x124a 0000286c: DUP5 0000286d: DUP5 0000286e: PUSH2 0x2878 00002871: DUP6 00002872: DUP8 00002873: DUP10 00002874: PUSH2 0x2ccb 00002877: JUMP 00002878: JUMPDEST 00002879: PUSH2 0x2d53 0000287c: JUMP 0000287d: JUMPDEST 0000287e: PUSH1 0x00 00002880: DUP3 00002881: DUP2 00002882: MSTORE 00002883: PUSH1 0x20 00002885: DUP2 00002886: SWAP1 00002887: MSTORE 00002888: PUSH1 0x40 0000288a: SWAP1 0000288b: KECCAK256 0000288c: PUSH2 0x2895 0000288f: SWAP1 00002890: DUP3 00002891: PUSH2 0x25ec 00002894: JUMP 00002895: JUMPDEST 00002896: ISZERO 00002897: PUSH2 0x12da 0000289a: JUMPI 0000289b: PUSH2 0x28a2 0000289e: PUSH2 0x2770 000028a1: JUMP 000028a2: JUMPDEST 000028a3: PUSH1 0x01 000028a5: PUSH1 0xa0 000028a7: PUSH1 0x02 000028a9: EXP 000028aa: SUB 000028ab: AND 000028ac: DUP2 000028ad: PUSH1 0x01 000028af: PUSH1 0xa0 000028b1: PUSH1 0x02 000028b3: EXP 000028b4: SUB 000028b5: AND 000028b6: DUP4 000028b7: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d 000028d8: PUSH1 0x40 000028da: MLOAD 000028db: PUSH1 0x40 000028dd: MLOAD 000028de: DUP1 000028df: SWAP2 000028e0: SUB 000028e1: SWAP1 000028e2: LOG4 000028e3: POP 000028e4: POP 000028e5: JUMP 000028e6: JUMPDEST 000028e7: PUSH1 0x00 000028e9: DUP3 000028ea: DUP2 000028eb: MSTORE 000028ec: PUSH1 0x20 000028ee: DUP2 000028ef: SWAP1 000028f0: MSTORE 000028f1: PUSH1 0x40 000028f3: SWAP1 000028f4: KECCAK256 000028f5: PUSH2 0x28fe 000028f8: SWAP1 000028f9: DUP3 000028fa: PUSH2 0x2dd5 000028fd: JUMP 000028fe: JUMPDEST 000028ff: ISZERO 00002900: PUSH2 0x12da 00002903: JUMPI 00002904: PUSH2 0x290b 00002907: PUSH2 0x2770 0000290a: JUMP 0000290b: JUMPDEST 0000290c: PUSH1 0x01 0000290e: PUSH1 0xa0 00002910: PUSH1 0x02 00002912: EXP 00002913: SUB 00002914: AND 00002915: DUP2 00002916: PUSH1 0x01 00002918: PUSH1 0xa0 0000291a: PUSH1 0x02 0000291c: EXP 0000291d: SUB 0000291e: AND 0000291f: DUP4 00002920: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b 00002941: PUSH1 0x40 00002943: MLOAD 00002944: PUSH1 0x40 00002946: MLOAD 00002947: DUP1 00002948: SWAP2 00002949: SUB 0000294a: SWAP1 0000294b: LOG4 0000294c: POP 0000294d: POP 0000294e: JUMP 0000294f: JUMPDEST 00002950: PUSH1 0x00 00002952: PUSH2 0x124d 00002955: DUP4 00002956: DUP4 00002957: PUSH2 0x2dea 0000295a: JUMP 0000295b: JUMPDEST 0000295c: PUSH1 0x00 0000295e: DUP2 0000295f: DUP5 00002960: DUP5 00002961: GT 00002962: ISZERO 00002963: PUSH2 0x29ed 00002966: JUMPI 00002967: PUSH1 0x40 00002969: MLOAD 0000296a: PUSH1 0xe5 0000296c: PUSH1 0x02 0000296e: EXP 0000296f: PUSH3 0x461bcd 00002973: MUL 00002974: DUP2 00002975: MSTORE 00002976: PUSH1 0x04 00002978: ADD 00002979: DUP1 0000297a: DUP1 0000297b: PUSH1 0x20 0000297d: ADD 0000297e: DUP3 0000297f: DUP2 00002980: SUB 00002981: DUP3 00002982: MSTORE 00002983: DUP4 00002984: DUP2 00002985: DUP2 00002986: MLOAD 00002987: DUP2 00002988: MSTORE 00002989: PUSH1 0x20 0000298b: ADD 0000298c: SWAP2 0000298d: POP 0000298e: DUP1 0000298f: MLOAD 00002990: SWAP1 00002991: PUSH1 0x20 00002993: ADD 00002994: SWAP1 00002995: DUP1 00002996: DUP4 00002997: DUP4 00002998: PUSH1 0x00 0000299a: JUMPDEST 0000299b: DUP4 0000299c: DUP2 0000299d: LT 0000299e: ISZERO 0000299f: PUSH2 0x29b2 000029a2: JUMPI 000029a3: DUP2 000029a4: DUP2 000029a5: ADD 000029a6: MLOAD 000029a7: DUP4 000029a8: DUP3 000029a9: ADD 000029aa: MSTORE 000029ab: PUSH1 0x20 000029ad: ADD 000029ae: PUSH2 0x299a 000029b1: JUMP 000029b2: JUMPDEST 000029b3: POP 000029b4: POP 000029b5: POP 000029b6: POP 000029b7: SWAP1 000029b8: POP 000029b9: SWAP1 000029ba: DUP2 000029bb: ADD 000029bc: SWAP1 000029bd: PUSH1 0x1f 000029bf: AND 000029c0: DUP1 000029c1: ISZERO 000029c2: PUSH2 0x29df 000029c5: JUMPI 000029c6: DUP1 000029c7: DUP3 000029c8: SUB 000029c9: DUP1 000029ca: MLOAD 000029cb: PUSH1 0x01 000029cd: DUP4 000029ce: PUSH1 0x20 000029d0: SUB 000029d1: PUSH2 0x0100 000029d4: EXP 000029d5: SUB 000029d6: NOT 000029d7: AND 000029d8: DUP2 000029d9: MSTORE 000029da: PUSH1 0x20 000029dc: ADD 000029dd: SWAP2 000029de: POP 000029df: JUMPDEST 000029e0: POP 000029e1: SWAP3 000029e2: POP 000029e3: POP 000029e4: POP 000029e5: PUSH1 0x40 000029e7: MLOAD 000029e8: DUP1 000029e9: SWAP2 000029ea: SUB 000029eb: SWAP1 000029ec: REVERT 000029ed: JUMPDEST 000029ee: POP 000029ef: POP 000029f0: POP 000029f1: SWAP1 000029f2: SUB 000029f3: SWAP1 000029f4: JUMP 000029f5: JUMPDEST 000029f6: PUSH1 0x00 000029f8: PUSH2 0x124d 000029fb: DUP4 000029fc: PUSH2 0x2a06 000029ff: DUP5 00002a00: DUP7 00002a01: CALLER 00002a02: PUSH2 0x2ccb 00002a05: JUMP 00002a06: JUMPDEST 00002a07: PUSH2 0x2e51 00002a0a: JUMP 00002a0b: JUMPDEST 00002a0c: PUSH2 0x2a13 00002a0f: PUSH2 0x3247 00002a12: JUMP 00002a13: JUMPDEST 00002a14: POP 00002a15: PUSH1 0x01 00002a17: PUSH1 0xa0 00002a19: PUSH1 0x02 00002a1b: EXP 00002a1c: SUB 00002a1d: DUP2 00002a1e: AND 00002a1f: PUSH1 0x00 00002a21: SWAP1 00002a22: DUP2 00002a23: MSTORE 00002a24: PUSH1 0x0f 00002a26: PUSH1 0x20 00002a28: SWAP1 00002a29: DUP2 00002a2a: MSTORE 00002a2b: PUSH1 0x40 00002a2d: SWAP2 00002a2e: DUP3 00002a2f: SWAP1 00002a30: KECCAK256 00002a31: DUP3 00002a32: MLOAD 00002a33: PUSH1 0x80 00002a35: DUP2 00002a36: ADD 00002a37: DUP5 00002a38: MSTORE 00002a39: DUP2 00002a3a: SLOAD 00002a3b: DUP2 00002a3c: MSTORE 00002a3d: PUSH1 0x01 00002a3f: DUP3 00002a40: ADD 00002a41: SLOAD 00002a42: SWAP3 00002a43: DUP2 00002a44: ADD 00002a45: DUP4 00002a46: SWAP1 00002a47: MSTORE 00002a48: PUSH1 0x02 00002a4a: DUP3 00002a4b: ADD 00002a4c: SLOAD 00002a4d: SWAP4 00002a4e: DUP2 00002a4f: ADD 00002a50: SWAP4 00002a51: SWAP1 00002a52: SWAP4 00002a53: MSTORE 00002a54: PUSH1 0x03 00002a56: ADD 00002a57: SLOAD 00002a58: PUSH1 0x60 00002a5a: DUP4 00002a5b: ADD 00002a5c: MSTORE 00002a5d: ISZERO 00002a5e: DUP1 00002a5f: ISZERO 00002a60: SWAP1 00002a61: PUSH2 0x2a72 00002a64: JUMPI 00002a65: POP 00002a66: DUP1 00002a67: PUSH1 0x40 00002a69: ADD 00002a6a: MLOAD 00002a6b: DUP2 00002a6c: PUSH1 0x20 00002a6e: ADD 00002a6f: MLOAD 00002a70: LT 00002a71: ISZERO 00002a72: JUMPDEST 00002a73: PUSH2 0x2ab0 00002a76: JUMPI 00002a77: PUSH1 0x40 00002a79: MLOAD 00002a7a: PUSH1 0xe5 00002a7c: PUSH1 0x02 00002a7e: EXP 00002a7f: PUSH3 0x461bcd 00002a83: MUL 00002a84: DUP2 00002a85: MSTORE 00002a86: PUSH1 0x04 00002a88: ADD 00002a89: DUP1 00002a8a: DUP1 00002a8b: PUSH1 0x20 00002a8d: ADD 00002a8e: DUP3 00002a8f: DUP2 00002a90: SUB 00002a91: DUP3 00002a92: MSTORE 00002a93: PUSH1 0x39 00002a95: DUP2 00002a96: MSTORE 00002a97: PUSH1 0x20 00002a99: ADD 00002a9a: DUP1 00002a9b: PUSH2 0x3292 00002a9e: PUSH1 0x39 00002aa0: SWAP2 00002aa1: CODECOPY 00002aa2: PUSH1 0x40 00002aa4: ADD 00002aa5: SWAP2 00002aa6: POP 00002aa7: POP 00002aa8: PUSH1 0x40 00002aaa: MLOAD 00002aab: DUP1 00002aac: SWAP2 00002aad: SUB 00002aae: SWAP1 00002aaf: REVERT 00002ab0: JUMPDEST 00002ab1: PUSH1 0x40 00002ab3: DUP2 00002ab4: ADD 00002ab5: MLOAD 00002ab6: PUSH1 0x20 00002ab8: DUP3 00002ab9: ADD 00002aba: MLOAD 00002abb: PUSH2 0x2ac3 00002abe: SWAP2 00002abf: PUSH2 0x2616 00002ac2: JUMP 00002ac3: JUMPDEST 00002ac4: PUSH1 0x20 00002ac6: DUP1 00002ac7: DUP4 00002ac8: ADD 00002ac9: SWAP2 00002aca: DUP3 00002acb: MSTORE 00002acc: PUSH1 0x01 00002ace: PUSH1 0xa0 00002ad0: PUSH1 0x02 00002ad2: EXP 00002ad3: SUB 00002ad4: DUP5 00002ad5: AND 00002ad6: PUSH1 0x00 00002ad8: SWAP1 00002ad9: DUP2 00002ada: MSTORE 00002adb: PUSH1 0x0f 00002add: SWAP1 00002ade: SWAP2 00002adf: MSTORE 00002ae0: PUSH1 0x40 00002ae2: SWAP1 00002ae3: DUP2 00002ae4: SWAP1 00002ae5: KECCAK256 00002ae6: DUP4 00002ae7: MLOAD 00002ae8: DUP2 00002ae9: SSTORE 00002aea: SWAP2 00002aeb: MLOAD 00002aec: PUSH1 0x01 00002aee: DUP4 00002aef: ADD 00002af0: SSTORE 00002af1: DUP3 00002af2: ADD 00002af3: MLOAD 00002af4: PUSH1 0x02 00002af6: DUP3 00002af7: ADD 00002af8: SSTORE 00002af9: PUSH1 0x60 00002afb: DUP3 00002afc: ADD 00002afd: MLOAD 00002afe: PUSH1 0x03 00002b00: SWAP1 00002b01: SWAP2 00002b02: ADD 00002b03: SSTORE 00002b04: PUSH2 0x12da 00002b07: DUP3 00002b08: PUSH2 0x2b23 00002b0b: PUSH2 0x2b12 00002b0e: PUSH2 0x12de 00002b11: JUMP 00002b12: JUMPDEST 00002b13: PUSH1 0x40 00002b15: DUP6 00002b16: ADD 00002b17: MLOAD 00002b18: SWAP1 00002b19: PUSH1 0xff 00002b1b: AND 00002b1c: PUSH1 0x0a 00002b1e: EXP 00002b1f: PUSH2 0x24f1 00002b22: JUMP 00002b23: JUMPDEST 00002b24: PUSH2 0x267b 00002b27: JUMP 00002b28: JUMPDEST 00002b29: PUSH1 0x00 00002b2b: PUSH2 0x1054 00002b2e: DUP3 00002b2f: PUSH2 0x2e65 00002b32: JUMP 00002b33: JUMPDEST 00002b34: PUSH1 0x01 00002b36: SLOAD 00002b37: PUSH2 0x2b48 00002b3a: SWAP1 00002b3b: PUSH1 0x01 00002b3d: PUSH1 0xa0 00002b3f: PUSH1 0x02 00002b41: EXP 00002b42: SUB 00002b43: AND 00002b44: PUSH2 0x2658 00002b47: JUMP 00002b48: JUMPDEST 00002b49: ISZERO 00002b4a: PUSH2 0x2b87 00002b4d: JUMPI 00002b4e: PUSH1 0x40 00002b50: MLOAD 00002b51: PUSH1 0xe5 00002b53: PUSH1 0x02 00002b55: EXP 00002b56: PUSH3 0x461bcd 00002b5a: MUL 00002b5b: DUP2 00002b5c: MSTORE 00002b5d: PUSH1 0x04 00002b5f: ADD 00002b60: DUP1 00002b61: DUP1 00002b62: PUSH1 0x20 00002b64: ADD 00002b65: DUP3 00002b66: DUP2 00002b67: SUB 00002b68: DUP3 00002b69: MSTORE 00002b6a: PUSH1 0x37 00002b6c: DUP2 00002b6d: MSTORE 00002b6e: PUSH1 0x20 00002b70: ADD 00002b71: DUP1 00002b72: PUSH2 0x352f 00002b75: PUSH1 0x37 00002b77: SWAP2 00002b78: CODECOPY 00002b79: PUSH1 0x40 00002b7b: ADD 00002b7c: SWAP2 00002b7d: POP 00002b7e: POP 00002b7f: PUSH1 0x40 00002b81: MLOAD 00002b82: DUP1 00002b83: SWAP2 00002b84: SUB 00002b85: SWAP1 00002b86: REVERT 00002b87: JUMPDEST 00002b88: PUSH1 0x40 00002b8a: DUP1 00002b8b: MLOAD 00002b8c: PUSH1 0x80 00002b8e: DUP2 00002b8f: ADD 00002b90: DUP3 00002b91: MSTORE 00002b92: DUP4 00002b93: DUP2 00002b94: MSTORE 00002b95: PUSH1 0x20 00002b97: DUP2 00002b98: ADD 00002b99: DUP6 00002b9a: SWAP1 00002b9b: MSTORE 00002b9c: SWAP1 00002b9d: DUP2 00002b9e: ADD 00002b9f: PUSH2 0x2ba9 00002ba2: DUP6 00002ba3: PUSH1 0x0a 00002ba5: PUSH2 0x254d 00002ba8: JUMP 00002ba9: JUMPDEST 00002baa: DUP2 00002bab: MSTORE 00002bac: TIMESTAMP 00002bad: PUSH1 0x20 00002baf: SWAP2 00002bb0: DUP3 00002bb1: ADD 00002bb2: MSTORE 00002bb3: PUSH1 0x01 00002bb5: PUSH1 0xa0 00002bb7: PUSH1 0x02 00002bb9: EXP 00002bba: SUB 00002bbb: DUP7 00002bbc: AND 00002bbd: PUSH1 0x00 00002bbf: SWAP1 00002bc0: DUP2 00002bc1: MSTORE 00002bc2: PUSH1 0x0f 00002bc4: DUP3 00002bc5: MSTORE 00002bc6: PUSH1 0x40 00002bc8: SWAP1 00002bc9: DUP2 00002bca: SWAP1 00002bcb: KECCAK256 00002bcc: DUP4 00002bcd: MLOAD 00002bce: DUP2 00002bcf: SSTORE 00002bd0: SWAP2 00002bd1: DUP4 00002bd2: ADD 00002bd3: MLOAD 00002bd4: PUSH1 0x01 00002bd6: DUP4 00002bd7: ADD 00002bd8: SSTORE 00002bd9: DUP3 00002bda: ADD 00002bdb: MLOAD 00002bdc: PUSH1 0x02 00002bde: DUP3 00002bdf: ADD 00002be0: SSTORE 00002be1: PUSH1 0x60 00002be3: SWAP1 00002be4: SWAP2 00002be5: ADD 00002be6: MLOAD 00002be7: PUSH1 0x03 00002be9: SWAP1 00002bea: SWAP2 00002beb: ADD 00002bec: SSTORE 00002bed: DUP1 00002bee: ISZERO 00002bef: PUSH2 0x2bfb 00002bf2: JUMPI 00002bf3: PUSH2 0x2bfb 00002bf6: DUP5 00002bf7: PUSH2 0x2a0b 00002bfa: JUMP 00002bfb: JUMPDEST 00002bfc: POP 00002bfd: POP 00002bfe: POP 00002bff: POP 00002c00: JUMP 00002c01: JUMPDEST 00002c02: PUSH1 0x00 00002c04: DUP2 00002c05: DUP4 00002c06: PUSH2 0x2c53 00002c09: JUMPI 00002c0a: PUSH1 0x40 00002c0c: MLOAD 00002c0d: PUSH1 0xe5 00002c0f: PUSH1 0x02 00002c11: EXP 00002c12: PUSH3 0x461bcd 00002c16: MUL 00002c17: DUP2 00002c18: MSTORE 00002c19: PUSH1 0x20 00002c1b: PUSH1 0x04 00002c1d: DUP3 00002c1e: ADD 00002c1f: DUP2 00002c20: DUP2 00002c21: MSTORE 00002c22: DUP4 00002c23: MLOAD 00002c24: PUSH1 0x24 00002c26: DUP5 00002c27: ADD 00002c28: MSTORE 00002c29: DUP4 00002c2a: MLOAD 00002c2b: SWAP1 00002c2c: SWAP3 00002c2d: DUP4 00002c2e: SWAP3 00002c2f: PUSH1 0x44 00002c31: SWAP1 00002c32: SWAP2 00002c33: ADD 00002c34: SWAP2 00002c35: SWAP1 00002c36: DUP6 00002c37: ADD 00002c38: SWAP1 00002c39: DUP1 00002c3a: DUP4 00002c3b: DUP4 00002c3c: PUSH1 0x00 00002c3e: DUP4 00002c3f: ISZERO 00002c40: PUSH2 0x29b2 00002c43: JUMPI 00002c44: DUP2 00002c45: DUP2 00002c46: ADD 00002c47: MLOAD 00002c48: DUP4 00002c49: DUP3 00002c4a: ADD 00002c4b: MSTORE 00002c4c: PUSH1 0x20 00002c4e: ADD 00002c4f: PUSH2 0x299a 00002c52: JUMP 00002c53: JUMPDEST 00002c54: POP 00002c55: PUSH1 0x00 00002c57: DUP4 00002c58: DUP6 00002c59: DUP2 00002c5a: PUSH2 0x2c5f 00002c5d: JUMPI 00002c5e: INVALID 00002c5f: JUMPDEST 00002c60: DIV 00002c61: SWAP6 00002c62: SWAP5 00002c63: POP 00002c64: POP 00002c65: POP 00002c66: POP 00002c67: POP 00002c68: JUMP 00002c69: JUMPDEST 00002c6a: PUSH1 0x00 00002c6c: PUSH2 0x2c75 00002c6f: DUP4 00002c70: DUP4 00002c71: PUSH2 0x2cb3 00002c74: JUMP 00002c75: JUMPDEST 00002c76: PUSH2 0x2cab 00002c79: JUMPI 00002c7a: POP 00002c7b: DUP2 00002c7c: SLOAD 00002c7d: PUSH1 0x01 00002c7f: DUP2 00002c80: DUP2 00002c81: ADD 00002c82: DUP5 00002c83: SSTORE 00002c84: PUSH1 0x00 00002c86: DUP5 00002c87: DUP2 00002c88: MSTORE 00002c89: PUSH1 0x20 00002c8b: DUP1 00002c8c: DUP3 00002c8d: KECCAK256 00002c8e: SWAP1 00002c8f: SWAP4 00002c90: ADD 00002c91: DUP5 00002c92: SWAP1 00002c93: SSTORE 00002c94: DUP5 00002c95: SLOAD 00002c96: DUP5 00002c97: DUP3 00002c98: MSTORE 00002c99: DUP3 00002c9a: DUP7 00002c9b: ADD 00002c9c: SWAP1 00002c9d: SWAP4 00002c9e: MSTORE 00002c9f: PUSH1 0x40 00002ca1: SWAP1 00002ca2: KECCAK256 00002ca3: SWAP2 00002ca4: SWAP1 00002ca5: SWAP2 00002ca6: SSTORE 00002ca7: PUSH2 0x1054 00002caa: JUMP 00002cab: JUMPDEST 00002cac: POP 00002cad: PUSH1 0x00 00002caf: PUSH2 0x1054 00002cb2: JUMP 00002cb3: JUMPDEST 00002cb4: PUSH1 0x00 00002cb6: SWAP1 00002cb7: DUP2 00002cb8: MSTORE 00002cb9: PUSH1 0x01 00002cbb: SWAP2 00002cbc: SWAP1 00002cbd: SWAP2 00002cbe: ADD 00002cbf: PUSH1 0x20 00002cc1: MSTORE 00002cc2: PUSH1 0x40 00002cc4: SWAP1 00002cc5: KECCAK256 00002cc6: SLOAD 00002cc7: ISZERO 00002cc8: ISZERO 00002cc9: SWAP1 00002cca: JUMP 00002ccb: JUMPDEST 00002ccc: PUSH1 0x00 00002cce: PUSH2 0x2cd7 00002cd1: DUP3 00002cd2: DUP5 00002cd3: PUSH2 0x2e69 00002cd6: JUMP 00002cd7: JUMPDEST 00002cd8: ISZERO 00002cd9: PUSH2 0x2ce3 00002cdc: JUMPI 00002cdd: POP 00002cde: DUP3 00002cdf: PUSH2 0x124d 00002ce2: JUMP 00002ce3: JUMPDEST 00002ce4: PUSH1 0x00 00002ce6: PUSH2 0x2cf0 00002ce9: DUP6 00002cea: DUP6 00002ceb: DUP6 00002cec: PUSH2 0x200d 00002cef: JUMP 00002cf0: JUMPDEST 00002cf1: SWAP1 00002cf2: POP 00002cf3: DUP1 00002cf4: ISZERO 00002cf5: PUSH2 0x2d40 00002cf8: JUMPI 00002cf9: PUSH2 0x2d02 00002cfc: DUP4 00002cfd: DUP3 00002cfe: PUSH2 0x2f1f 00002d01: JUMP 00002d02: JUMPDEST 00002d03: PUSH2 0x2d25 00002d06: PUSH20 0x8f951903c9360345b4e1b536c7f5ae8f88a64e79 00002d1b: PUSH2 0x2b23 00002d1e: DUP4 00002d1f: PUSH1 0x19 00002d21: PUSH2 0x254d 00002d24: JUMP 00002d25: JUMPDEST 00002d26: PUSH1 0x03 00002d28: SLOAD 00002d29: PUSH2 0x2d40 00002d2c: SWAP1 00002d2d: PUSH1 0x01 00002d2f: PUSH1 0xa0 00002d31: PUSH1 0x02 00002d33: EXP 00002d34: SUB 00002d35: AND 00002d36: PUSH2 0x2b23 00002d39: DUP4 00002d3a: PUSH1 0x19 00002d3c: PUSH2 0x254d 00002d3f: JUMP 00002d40: JUMPDEST 00002d41: PUSH2 0x2d4a 00002d44: DUP6 00002d45: DUP3 00002d46: PUSH2 0x2616 00002d49: JUMP 00002d4a: JUMPDEST 00002d4b: SWAP6 00002d4c: SWAP5 00002d4d: POP 00002d4e: POP 00002d4f: POP 00002d50: POP 00002d51: POP 00002d52: JUMP 00002d53: JUMPDEST 00002d54: PUSH1 0x00 00002d56: PUSH2 0x2d60 00002d59: DUP5 00002d5a: DUP5 00002d5b: DUP5 00002d5c: PUSH2 0x301e 00002d5f: JUMP 00002d60: JUMPDEST 00002d61: PUSH2 0x2dcb 00002d64: DUP5 00002d65: PUSH2 0x2d6c 00002d68: PUSH2 0x2770 00002d6b: JUMP 00002d6c: JUMPDEST 00002d6d: PUSH2 0x13bd 00002d70: DUP6 00002d71: PUSH1 0x40 00002d73: MLOAD 00002d74: DUP1 00002d75: PUSH1 0x60 00002d77: ADD 00002d78: PUSH1 0x40 00002d7a: MSTORE 00002d7b: DUP1 00002d7c: PUSH1 0x28 00002d7e: DUP2 00002d7f: MSTORE 00002d80: PUSH1 0x20 00002d82: ADD 00002d83: PUSH2 0x349d 00002d86: PUSH1 0x28 00002d88: SWAP2 00002d89: CODECOPY 00002d8a: PUSH1 0x01 00002d8c: PUSH1 0xa0 00002d8e: PUSH1 0x02 00002d90: EXP 00002d91: SUB 00002d92: DUP11 00002d93: AND 00002d94: PUSH1 0x00 00002d96: SWAP1 00002d97: DUP2 00002d98: MSTORE 00002d99: PUSH1 0x06 00002d9b: PUSH1 0x20 00002d9d: MSTORE 00002d9e: PUSH1 0x40 00002da0: DUP2 00002da1: KECCAK256 00002da2: SWAP1 00002da3: PUSH2 0x2daa 00002da6: PUSH2 0x2770 00002da9: JUMP 00002daa: JUMPDEST 00002dab: PUSH1 0x01 00002dad: PUSH1 0xa0 00002daf: PUSH1 0x02 00002db1: EXP 00002db2: SUB 00002db3: AND 00002db4: DUP2 00002db5: MSTORE 00002db6: PUSH1 0x20 00002db8: DUP2 00002db9: ADD 00002dba: SWAP2 00002dbb: SWAP1 00002dbc: SWAP2 00002dbd: MSTORE 00002dbe: PUSH1 0x40 00002dc0: ADD 00002dc1: PUSH1 0x00 00002dc3: KECCAK256 00002dc4: SLOAD 00002dc5: SWAP2 00002dc6: SWAP1 00002dc7: PUSH2 0x295b 00002dca: JUMP 00002dcb: JUMPDEST 00002dcc: POP 00002dcd: PUSH1 0x01 00002dcf: SWAP4 00002dd0: SWAP3 00002dd1: POP 00002dd2: POP 00002dd3: POP 00002dd4: JUMP 00002dd5: JUMPDEST 00002dd6: PUSH1 0x00 00002dd8: PUSH2 0x124d 00002ddb: DUP4 00002ddc: PUSH1 0x01 00002dde: PUSH1 0xa0 00002de0: PUSH1 0x02 00002de2: EXP 00002de3: SUB 00002de4: DUP5 00002de5: AND 00002de6: PUSH2 0x3181 00002de9: JUMP 00002dea: JUMPDEST 00002deb: DUP2 00002dec: SLOAD 00002ded: PUSH1 0x00 00002def: SWAP1 00002df0: DUP3 00002df1: LT 00002df2: PUSH2 0x2e2f 00002df5: JUMPI 00002df6: PUSH1 0x40 00002df8: MLOAD 00002df9: PUSH1 0xe5 00002dfb: PUSH1 0x02 00002dfd: EXP 00002dfe: PUSH3 0x461bcd 00002e02: MUL 00002e03: DUP2 00002e04: MSTORE 00002e05: PUSH1 0x04 00002e07: ADD 00002e08: DUP1 00002e09: DUP1 00002e0a: PUSH1 0x20 00002e0c: ADD 00002e0d: DUP3 00002e0e: DUP2 00002e0f: SUB 00002e10: DUP3 00002e11: MSTORE 00002e12: PUSH1 0x22 00002e14: DUP2 00002e15: MSTORE 00002e16: PUSH1 0x20 00002e18: ADD 00002e19: DUP1 00002e1a: PUSH2 0x3270 00002e1d: PUSH1 0x22 00002e1f: SWAP2 00002e20: CODECOPY 00002e21: PUSH1 0x40 00002e23: ADD 00002e24: SWAP2 00002e25: POP 00002e26: POP 00002e27: PUSH1 0x40 00002e29: MLOAD 00002e2a: DUP1 00002e2b: SWAP2 00002e2c: SUB 00002e2d: SWAP1 00002e2e: REVERT 00002e2f: JUMPDEST 00002e30: DUP3 00002e31: PUSH1 0x00 00002e33: ADD 00002e34: DUP3 00002e35: DUP2 00002e36: SLOAD 00002e37: DUP2 00002e38: LT 00002e39: PUSH2 0x2e3e 00002e3c: JUMPI 00002e3d: INVALID 00002e3e: JUMPDEST 00002e3f: SWAP1 00002e40: PUSH1 0x00 00002e42: MSTORE 00002e43: PUSH1 0x20 00002e45: PUSH1 0x00 00002e47: KECCAK256 00002e48: ADD 00002e49: SLOAD 00002e4a: SWAP1 00002e4b: POP 00002e4c: SWAP3 00002e4d: SWAP2 00002e4e: POP 00002e4f: POP 00002e50: JUMP 00002e51: JUMPDEST 00002e52: PUSH1 0x00 00002e54: PUSH2 0x1050 00002e57: PUSH2 0x2e5e 00002e5a: PUSH2 0x2770 00002e5d: JUMP 00002e5e: JUMPDEST 00002e5f: DUP5 00002e60: DUP5 00002e61: PUSH2 0x301e 00002e64: JUMP 00002e65: JUMPDEST 00002e66: SLOAD 00002e67: SWAP1 00002e68: JUMP 00002e69: JUMPDEST 00002e6a: PUSH1 0x00 00002e6c: PUSH2 0x2e83 00002e6f: PUSH1 0x00 00002e71: DUP1 00002e72: MLOAD 00002e73: PUSH1 0x20 00002e75: PUSH2 0x33a7 00002e78: DUP4 00002e79: CODECOPY 00002e7a: DUP2 00002e7b: MLOAD 00002e7c: SWAP2 00002e7d: MSTORE 00002e7e: DUP5 00002e7f: PUSH2 0x1b5f 00002e82: JUMP 00002e83: JUMPDEST 00002e84: DUP1 00002e85: PUSH2 0x2ea1 00002e88: JUMPI 00002e89: POP 00002e8a: PUSH2 0x2ea1 00002e8d: PUSH1 0x00 00002e8f: DUP1 00002e90: MLOAD 00002e91: PUSH1 0x20 00002e93: PUSH2 0x33a7 00002e96: DUP4 00002e97: CODECOPY 00002e98: DUP2 00002e99: MLOAD 00002e9a: SWAP2 00002e9b: MSTORE 00002e9c: DUP4 00002e9d: PUSH2 0x1b5f 00002ea0: JUMP 00002ea1: JUMPDEST 00002ea2: DUP1 00002ea3: PUSH2 0x2ebf 00002ea6: JUMPI 00002ea7: POP 00002ea8: PUSH2 0x2ebf 00002eab: PUSH1 0x00 00002ead: DUP1 00002eae: MLOAD 00002eaf: PUSH1 0x20 00002eb1: PUSH2 0x33a7 00002eb4: DUP4 00002eb5: CODECOPY 00002eb6: DUP2 00002eb7: MLOAD 00002eb8: SWAP2 00002eb9: MSTORE 00002eba: CALLER 00002ebb: PUSH2 0x1b5f 00002ebe: JUMP 00002ebf: JUMPDEST 00002ec0: DUP1 00002ec1: PUSH2 0x2eef 00002ec4: JUMPI 00002ec5: POP 00002ec6: PUSH2 0x2eef 00002ec9: PUSH32 0xfb1d7521264a126cafd9b576286638679b3b1108a05b47da7156d35bfcb2bb83 00002eea: DUP4 00002eeb: PUSH2 0x1b5f 00002eee: JUMP 00002eef: JUMPDEST 00002ef0: DUP1 00002ef1: PUSH2 0x124d 00002ef4: JUMPI 00002ef5: POP 00002ef6: PUSH2 0x124d 00002ef9: PUSH32 0x83e1446b95f1c1d5ef26abb4f97d0668a474fa1461910124bfb15edcb7ae5ed2 00002f1a: DUP5 00002f1b: PUSH2 0x1b5f 00002f1e: JUMP 00002f1f: JUMPDEST 00002f20: PUSH1 0x01 00002f22: PUSH1 0xa0 00002f24: PUSH1 0x02 00002f26: EXP 00002f27: SUB 00002f28: DUP3 00002f29: AND 00002f2a: PUSH2 0x2f67 00002f2d: JUMPI 00002f2e: PUSH1 0x40 00002f30: MLOAD 00002f31: PUSH1 0xe5 00002f33: PUSH1 0x02 00002f35: EXP 00002f36: PUSH3 0x461bcd 00002f3a: MUL 00002f3b: DUP2 00002f3c: MSTORE 00002f3d: PUSH1 0x04 00002f3f: ADD 00002f40: DUP1 00002f41: DUP1 00002f42: PUSH1 0x20 00002f44: ADD 00002f45: DUP3 00002f46: DUP2 00002f47: SUB 00002f48: DUP3 00002f49: MSTORE 00002f4a: PUSH1 0x21 00002f4c: DUP2 00002f4d: MSTORE 00002f4e: PUSH1 0x20 00002f50: ADD 00002f51: DUP1 00002f52: PUSH2 0x34c5 00002f55: PUSH1 0x21 00002f57: SWAP2 00002f58: CODECOPY 00002f59: PUSH1 0x40 00002f5b: ADD 00002f5c: SWAP2 00002f5d: POP 00002f5e: POP 00002f5f: PUSH1 0x40 00002f61: MLOAD 00002f62: DUP1 00002f63: SWAP2 00002f64: SUB 00002f65: SWAP1 00002f66: REVERT 00002f67: JUMPDEST 00002f68: PUSH2 0x2f73 00002f6b: DUP3 00002f6c: PUSH1 0x00 00002f6e: DUP4 00002f6f: PUSH2 0x2008 00002f72: JUMP 00002f73: JUMPDEST 00002f74: PUSH2 0x2fb0 00002f77: DUP2 00002f78: PUSH1 0x40 00002f7a: MLOAD 00002f7b: DUP1 00002f7c: PUSH1 0x60 00002f7e: ADD 00002f7f: PUSH1 0x40 00002f81: MSTORE 00002f82: DUP1 00002f83: PUSH1 0x22 00002f85: DUP2 00002f86: MSTORE 00002f87: PUSH1 0x20 00002f89: ADD 00002f8a: PUSH2 0x331d 00002f8d: PUSH1 0x22 00002f8f: SWAP2 00002f90: CODECOPY 00002f91: PUSH1 0x01 00002f93: PUSH1 0xa0 00002f95: PUSH1 0x02 00002f97: EXP 00002f98: SUB 00002f99: DUP6 00002f9a: AND 00002f9b: PUSH1 0x00 00002f9d: SWAP1 00002f9e: DUP2 00002f9f: MSTORE 00002fa0: PUSH1 0x05 00002fa2: PUSH1 0x20 00002fa4: MSTORE 00002fa5: PUSH1 0x40 00002fa7: SWAP1 00002fa8: KECCAK256 00002fa9: SLOAD 00002faa: SWAP2 00002fab: SWAP1 00002fac: PUSH2 0x295b 00002faf: JUMP 00002fb0: JUMPDEST 00002fb1: PUSH1 0x01 00002fb3: PUSH1 0xa0 00002fb5: PUSH1 0x02 00002fb7: EXP 00002fb8: SUB 00002fb9: DUP4 00002fba: AND 00002fbb: PUSH1 0x00 00002fbd: SWAP1 00002fbe: DUP2 00002fbf: MSTORE 00002fc0: PUSH1 0x05 00002fc2: PUSH1 0x20 00002fc4: MSTORE 00002fc5: PUSH1 0x40 00002fc7: SWAP1 00002fc8: KECCAK256 00002fc9: SSTORE 00002fca: PUSH1 0x07 00002fcc: SLOAD 00002fcd: PUSH2 0x2fd6 00002fd0: SWAP1 00002fd1: DUP3 00002fd2: PUSH2 0x2616 00002fd5: JUMP 00002fd6: JUMPDEST 00002fd7: PUSH1 0x07 00002fd9: SSTORE 00002fda: PUSH1 0x40 00002fdc: DUP1 00002fdd: MLOAD 00002fde: DUP3 00002fdf: DUP2 00002fe0: MSTORE 00002fe1: SWAP1 00002fe2: MLOAD 00002fe3: PUSH1 0x00 00002fe5: SWAP2 00002fe6: PUSH1 0x01 00002fe8: PUSH1 0xa0 00002fea: PUSH1 0x02 00002fec: EXP 00002fed: SUB 00002fee: DUP6 00002fef: AND 00002ff0: SWAP2 00002ff1: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00003012: SWAP2 00003013: DUP2 00003014: SWAP1 00003015: SUB 00003016: PUSH1 0x20 00003018: ADD 00003019: SWAP1 0000301a: LOG3 0000301b: POP 0000301c: POP 0000301d: JUMP 0000301e: JUMPDEST 0000301f: PUSH1 0x01 00003021: PUSH1 0xa0 00003023: PUSH1 0x02 00003025: EXP 00003026: SUB 00003027: DUP4 00003028: AND 00003029: PUSH2 0x3066 0000302c: JUMPI 0000302d: PUSH1 0x40 0000302f: MLOAD 00003030: PUSH1 0xe5 00003032: PUSH1 0x02 00003034: EXP 00003035: PUSH3 0x461bcd 00003039: MUL 0000303a: DUP2 0000303b: MSTORE 0000303c: PUSH1 0x04 0000303e: ADD 0000303f: DUP1 00003040: DUP1 00003041: PUSH1 0x20 00003043: ADD 00003044: DUP3 00003045: DUP2 00003046: SUB 00003047: DUP3 00003048: MSTORE 00003049: PUSH1 0x25 0000304b: DUP2 0000304c: MSTORE 0000304d: PUSH1 0x20 0000304f: ADD 00003050: DUP1 00003051: PUSH2 0x34e6 00003054: PUSH1 0x25 00003056: SWAP2 00003057: CODECOPY 00003058: PUSH1 0x40 0000305a: ADD 0000305b: SWAP2 0000305c: POP 0000305d: POP 0000305e: PUSH1 0x40 00003060: MLOAD 00003061: DUP1 00003062: SWAP2 00003063: SUB 00003064: SWAP1 00003065: REVERT 00003066: JUMPDEST 00003067: PUSH1 0x01 00003069: PUSH1 0xa0 0000306b: PUSH1 0x02 0000306d: EXP 0000306e: SUB 0000306f: DUP3 00003070: AND 00003071: PUSH2 0x30ae 00003074: JUMPI 00003075: PUSH1 0x40 00003077: MLOAD 00003078: PUSH1 0xe5 0000307a: PUSH1 0x02 0000307c: EXP 0000307d: PUSH3 0x461bcd 00003081: MUL 00003082: DUP2 00003083: MSTORE 00003084: PUSH1 0x04 00003086: ADD 00003087: DUP1 00003088: DUP1 00003089: PUSH1 0x20 0000308b: ADD 0000308c: DUP3 0000308d: DUP2 0000308e: SUB 0000308f: DUP3 00003090: MSTORE 00003091: PUSH1 0x23 00003093: DUP2 00003094: MSTORE 00003095: PUSH1 0x20 00003097: ADD 00003098: DUP1 00003099: PUSH2 0x32cb 0000309c: PUSH1 0x23 0000309e: SWAP2 0000309f: CODECOPY 000030a0: PUSH1 0x40 000030a2: ADD 000030a3: SWAP2 000030a4: POP 000030a5: POP 000030a6: PUSH1 0x40 000030a8: MLOAD 000030a9: DUP1 000030aa: SWAP2 000030ab: SUB 000030ac: SWAP1 000030ad: REVERT 000030ae: JUMPDEST 000030af: PUSH2 0x30b9 000030b2: DUP4 000030b3: DUP4 000030b4: DUP4 000030b5: PUSH2 0x2008 000030b8: JUMP 000030b9: JUMPDEST 000030ba: PUSH2 0x30f6 000030bd: DUP2 000030be: PUSH1 0x40 000030c0: MLOAD 000030c1: DUP1 000030c2: PUSH1 0x60 000030c4: ADD 000030c5: PUSH1 0x40 000030c7: MSTORE 000030c8: DUP1 000030c9: PUSH1 0x26 000030cb: DUP2 000030cc: MSTORE 000030cd: PUSH1 0x20 000030cf: ADD 000030d0: PUSH2 0x3381 000030d3: PUSH1 0x26 000030d5: SWAP2 000030d6: CODECOPY 000030d7: PUSH1 0x01 000030d9: PUSH1 0xa0 000030db: PUSH1 0x02 000030dd: EXP 000030de: SUB 000030df: DUP7 000030e0: AND 000030e1: PUSH1 0x00 000030e3: SWAP1 000030e4: DUP2 000030e5: MSTORE 000030e6: PUSH1 0x05 000030e8: PUSH1 0x20 000030ea: MSTORE 000030eb: PUSH1 0x40 000030ed: SWAP1 000030ee: KECCAK256 000030ef: SLOAD 000030f0: SWAP2 000030f1: SWAP1 000030f2: PUSH2 0x295b 000030f5: JUMP 000030f6: JUMPDEST 000030f7: PUSH1 0x01 000030f9: PUSH1 0xa0 000030fb: PUSH1 0x02 000030fd: EXP 000030fe: SUB 000030ff: DUP1 00003100: DUP6 00003101: AND 00003102: PUSH1 0x00 00003104: SWAP1 00003105: DUP2 00003106: MSTORE 00003107: PUSH1 0x05 00003109: PUSH1 0x20 0000310b: MSTORE 0000310c: PUSH1 0x40 0000310e: DUP1 0000310f: DUP3 00003110: KECCAK256 00003111: SWAP4 00003112: SWAP1 00003113: SWAP4 00003114: SSTORE 00003115: SWAP1 00003116: DUP5 00003117: AND 00003118: DUP2 00003119: MSTORE 0000311a: KECCAK256 0000311b: SLOAD 0000311c: PUSH2 0x3125 0000311f: SWAP1 00003120: DUP3 00003121: PUSH2 0x258f 00003124: JUMP 00003125: JUMPDEST 00003126: PUSH1 0x01 00003128: PUSH1 0xa0 0000312a: PUSH1 0x02 0000312c: EXP 0000312d: SUB 0000312e: DUP1 0000312f: DUP5 00003130: AND 00003131: PUSH1 0x00 00003133: DUP2 00003134: DUP2 00003135: MSTORE 00003136: PUSH1 0x05 00003138: PUSH1 0x20 0000313a: SWAP1 0000313b: DUP2 0000313c: MSTORE 0000313d: PUSH1 0x40 0000313f: SWAP2 00003140: DUP3 00003141: SWAP1 00003142: KECCAK256 00003143: SWAP5 00003144: SWAP1 00003145: SWAP5 00003146: SSTORE 00003147: DUP1 00003148: MLOAD 00003149: DUP6 0000314a: DUP2 0000314b: MSTORE 0000314c: SWAP1 0000314d: MLOAD 0000314e: SWAP2 0000314f: SWAP4 00003150: SWAP3 00003151: DUP8 00003152: AND 00003153: SWAP3 00003154: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00003175: SWAP3 00003176: SWAP2 00003177: DUP3 00003178: SWAP1 00003179: SUB 0000317a: ADD 0000317b: SWAP1 0000317c: LOG3 0000317d: POP 0000317e: POP 0000317f: POP 00003180: JUMP 00003181: JUMPDEST 00003182: PUSH1 0x00 00003184: DUP2 00003185: DUP2 00003186: MSTORE 00003187: PUSH1 0x01 00003189: DUP4 0000318a: ADD 0000318b: PUSH1 0x20 0000318d: MSTORE 0000318e: PUSH1 0x40 00003190: DUP2 00003191: KECCAK256 00003192: SLOAD 00003193: DUP1 00003194: ISZERO 00003195: PUSH2 0x323d 00003198: JUMPI 00003199: DUP4 0000319a: SLOAD 0000319b: PUSH1 0x00 0000319d: NOT 0000319e: DUP1 0000319f: DUP4 000031a0: ADD 000031a1: SWAP2 000031a2: SWAP1 000031a3: DUP2 000031a4: ADD 000031a5: SWAP1 000031a6: PUSH1 0x00 000031a8: SWAP1 000031a9: DUP8 000031aa: SWAP1 000031ab: DUP4 000031ac: SWAP1 000031ad: DUP2 000031ae: LT 000031af: PUSH2 0x31b4 000031b2: JUMPI 000031b3: INVALID 000031b4: JUMPDEST 000031b5: SWAP1 000031b6: PUSH1 0x00 000031b8: MSTORE 000031b9: PUSH1 0x20 000031bb: PUSH1 0x00 000031bd: KECCAK256 000031be: ADD 000031bf: SLOAD 000031c0: SWAP1 000031c1: POP 000031c2: DUP1 000031c3: DUP8 000031c4: PUSH1 0x00 000031c6: ADD 000031c7: DUP5 000031c8: DUP2 000031c9: SLOAD 000031ca: DUP2 000031cb: LT 000031cc: PUSH2 0x31d1 000031cf: JUMPI 000031d0: INVALID 000031d1: JUMPDEST 000031d2: PUSH1 0x00 000031d4: SWAP2 000031d5: DUP3 000031d6: MSTORE 000031d7: PUSH1 0x20 000031d9: DUP1 000031da: DUP4 000031db: KECCAK256 000031dc: SWAP1 000031dd: SWAP2 000031de: ADD 000031df: SWAP3 000031e0: SWAP1 000031e1: SWAP3 000031e2: SSTORE 000031e3: DUP3 000031e4: DUP2 000031e5: MSTORE 000031e6: PUSH1 0x01 000031e8: DUP10 000031e9: DUP2 000031ea: ADD 000031eb: SWAP1 000031ec: SWAP3 000031ed: MSTORE 000031ee: PUSH1 0x40 000031f0: SWAP1 000031f1: KECCAK256 000031f2: SWAP1 000031f3: DUP5 000031f4: ADD 000031f5: SWAP1 000031f6: SSTORE 000031f7: DUP7 000031f8: SLOAD 000031f9: DUP8 000031fa: SWAP1 000031fb: DUP1 000031fc: PUSH2 0x3201 000031ff: JUMPI 00003200: INVALID 00003201: JUMPDEST 00003202: PUSH1 0x01 00003204: SWAP1 00003205: SUB 00003206: DUP2 00003207: DUP2 00003208: SWAP1 00003209: PUSH1 0x00 0000320b: MSTORE 0000320c: PUSH1 0x20 0000320e: PUSH1 0x00 00003210: KECCAK256 00003211: ADD 00003212: PUSH1 0x00 00003214: SWAP1 00003215: SSTORE 00003216: SWAP1 00003217: SSTORE 00003218: DUP7 00003219: PUSH1 0x01 0000321b: ADD 0000321c: PUSH1 0x00 0000321e: DUP8 0000321f: DUP2 00003220: MSTORE 00003221: PUSH1 0x20 00003223: ADD 00003224: SWAP1 00003225: DUP2 00003226: MSTORE 00003227: PUSH1 0x20 00003229: ADD 0000322a: PUSH1 0x00 0000322c: KECCAK256 0000322d: PUSH1 0x00 0000322f: SWAP1 00003230: SSTORE 00003231: PUSH1 0x01 00003233: SWAP5 00003234: POP 00003235: POP 00003236: POP 00003237: POP 00003238: POP 00003239: PUSH2 0x1054 0000323c: JUMP 0000323d: JUMPDEST 0000323e: PUSH1 0x00 00003240: SWAP2 00003241: POP 00003242: POP 00003243: PUSH2 0x1054 00003246: JUMP 00003247: JUMPDEST 00003248: PUSH1 0x40 0000324a: MLOAD 0000324b: DUP1 0000324c: PUSH1 0x80 0000324e: ADD 0000324f: PUSH1 0x40 00003251: MSTORE 00003252: DUP1 00003253: PUSH1 0x00 00003255: DUP2 00003256: MSTORE 00003257: PUSH1 0x20 00003259: ADD 0000325a: PUSH1 0x00 0000325c: DUP2 0000325d: MSTORE 0000325e: PUSH1 0x20 00003260: ADD 00003261: PUSH1 0x00 00003263: DUP2 00003264: MSTORE 00003265: PUSH1 0x20 00003267: ADD 00003268: PUSH1 0x00 0000326a: DUP2 0000326b: MSTORE 0000326c: POP 0000326d: SWAP1 0000326e: JUMP 0000326f: INVALID 00003270: GASLIMIT 00003271: PUSH15 0x756d657261626c655365743a20696e 00003281: PUSH5 0x6578206f75 00003287: PUSH21 0x206f6620626f756e6473456e7469726520616c6c6f 0000329d: PUSH24 0x616e636520616c726561647920636c61696d65642c206f72 000032b6: KECCAK256 000032b7: PUSH15 0x6f20696e697469616c20616c6c6f77 000032c7: PUSH2 0x6e63 000032ca: PUSH6 0x45524332303a 000032d1: KECCAK256 000032d2: PUSH21 0x72616e7366657220746f20746865207a65726f2061 000032e8: PUSH5 0x6472657373 000032ee: COINBASE 000032ef: PUSH4 0x63657373 000032f4: NUMBER 000032f5: PUSH16 0x6e74726f6c3a2073656e646572206d75 00003306: PUSH20 0x7420626520616e2061646d696e20746f20677261 0000331b: PUSH15 0x7445524332303a206275726e20616d 0000332b: PUSH16 0x756e7420657863656564732062616c61 0000333c: PUSH15 0x636545524332303a20617070726f76 0000334c: PUSH6 0x20746f207468 00003353: PUSH6 0x207a65726f20 0000335a: PUSH2 0x6464 0000335d: PUSH19 0x65737343616c6c6572206973206e6f74206465 00003371: PUSH23 0x656c6f70657200000000000000000045524332303a2074 00003389: PUSH19 0x616e7366657220616d6f756e74206578636565 0000339d: PUSH5 0x732062616c 000033a3: PUSH2 0x6e63 000033a6: PUSH6 0xdc72ed553f25 000033ad: DIFFICULTY 000033ae: UNKNOWN(0xC3) 000033af: DIFFICULTY 000033b0: PUSH6 0xaf23b847953e 000033b7: INVALID 000033b8: UNKNOWN(0xB8) 000033b9: SGT 000033ba: TIMESTAMP 000033bb: DUP2 000033bc: PUSH3 0xd767f9 000033c0: UNKNOWN(0xBA) 000033c1: PUSH0 000033c2: BLOCKHASH 000033c3: SGT 000033c4: UNKNOWN(0xBE) 000033c5: PUSH8 0x604504b9dfd7400a 000033ce: ISZERO 000033cf: UNKNOWN(0x22) 000033d0: DELEGATECALL 000033d1: SWAP11 000033d2: DUP12 000033d3: BLOBBASEFEE 000033d4: LT 000033d5: SDIV 000033d6: MSTORE 000033d7: UNKNOWN(0xDA) 000033d8: SWAP3 000033d9: CALLDATASIZE 000033da: DUP5 000033db: SWAP6 000033dc: DUP2 000033dd: REVERT 000033de: MSIZE 000033df: UNKNOWN(0xB7) 000033e0: CALLDATASIZE 000033e1: RETURNDATACOPY 000033e2: UNKNOWN(0xB4) 000033e3: DUP13 000033e4: PUSH11 0x474c596f752063616e2774 000033f0: KECCAK256 000033f1: PUSH17 0x6572666f726d207468697320616374696f 00003403: PUSH15 0x20756e74696c2074686520556e6973 00003413: PUSH24 0x6170206c697374696e67416c6c6f77616e636520616c7265 0000342c: PUSH2 0x6479 0000342f: KECCAK256 00003430: PUSH4 0x6c61696d 00003435: PUSH6 0x6420666f7220 0000343c: PUSH21 0x6869732074696d6520706572696f64416363657373 00003452: NUMBER 00003453: PUSH16 0x6e74726f6c3a2073656e646572206d75 00003464: PUSH20 0x7420626520616e2061646d696e20746f20726576 00003479: PUSH16 0x6b65536166654d6174683a206d756c74 0000348a: PUSH10 0x706c69636174696f6e20 00003495: PUSH16 0x766572666c6f7745524332303a207472 000034a6: PUSH2 0x6e73 000034a9: PUSH7 0x657220616d6f75 000034b1: PUSH15 0x74206578636565647320616c6c6f77 000034c1: PUSH2 0x6e63 000034c4: PUSH6 0x45524332303a 000034cb: KECCAK256 000034cc: PUSH3 0x75726e 000034d0: KECCAK256 000034d1: PUSH7 0x726f6d20746865 000034d9: KECCAK256 000034da: PUSH27 0x65726f206164647265737345524332303a207472616e7366657220 000034f6: PUSH7 0x726f6d20746865 000034fe: KECCAK256 000034ff: PUSH27 0x65726f206164647265737345524332303a20617070726f76652066 0000351b: PUSH19 0x6f6d20746865207a65726f2061646472657373 0000352f: MSIZE 00003530: PUSH16 0x752063616e277420706572666f726d20 00003541: PUSH21 0x68697320616374696f6e2061667465722074686520 00003557: SSTORE 00003558: PUSH15 0x6973776170206c697374696e674552 00003568: NUMBER 00003569: ORIGIN 0000356a: ADDRESS 0000356b: GASPRICE 0000356c: KECCAK256 0000356d: PUSH5 0x6563726561 00003573: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a 00003588: PUSH6 0x726f41636365 0000358f: PUSH20 0x73436f6e74726f6c3a2063616e206f6e6c792072 000035a4: PUSH6 0x6e6f756e6365 000035ab: KECCAK256 000035ac: PUSH19 0x6f6c657320666f722073656c66a26469706673 000035c0: PC 000035c1: UNKNOWN(0x22) 000035c2: SLT 000035c3: KECCAK256 000035c4: MUL 000035c5: INVALID 000035c6: SWAP12 000035c7: SWAP8 000035c8: SWAP10 000035c9: UNKNOWN(0xF6) 000035ca: UNKNOWN(0x25) 000035cb: LT 000035cc: TLOAD 000035cd: UNKNOWN(0xB4) 000035ce: UNKNOWN(0xA8) 000035cf: ADD 000035d0: UNKNOWN(0xAF) 000035d1: ADDRESS 000035d2: UNKNOWN(0x4D) 000035d3: UNKNOWN(0xAA) 000035d4: UNKNOWN(0xB9) 000035d5: SWAP2 000035d6: DIFFICULTY 000035d7: PUSH12 0xebfd889ec90e5a05b3c3a7f5 000035e4: PUSH5 0x736f6c6343 000035ea: STOP 000035eb: MOD 000035ec: UNKNOWN(0x0C) 000035ed: STOP 000035ee: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0x00a9ae9fdbc3dbc34f5c34223ac04dd919fad6b8d6822d203251dd414b783784
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x00a9ae9fdbc3dbc34f5c34223ac04dd919fad6b8d6822d203251dd414b783784",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf80f5dd5",
"selector": "0xf80f5dd5",
"calldata_variants": [
"0xf80f5dd5",
"0xf80f5dd50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfdea8e0b",
"selector": "0xfdea8e0b",
"calldata_variants": [
"0xfdea8e0b",
"0xfdea8e0b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc7dab436",
"selector": "0xc7dab436",
"calldata_variants": [
"0xc7dab436",
"0xc7dab4360000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xca15c873",
"selector": "0xca15c873",
"calldata_variants": [
"0xca15c873",
"0xca15c8730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd001fb8e",
"selector": "0xd001fb8e",
"calldata_variants": [
"0xd001fb8e",
"0xd001fb8e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0170ecc",
"selector": "0xd0170ecc",
"calldata_variants": [
"0xd0170ecc",
"0xd0170ecc0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 13264,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 13673,
"type": "tx_origin_used"
}
],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf80f5dd5",
"selector": "0xf80f5dd5",
"calldata_variants": [
"0xf80f5dd5",
"0xf80f5dd50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfdea8e0b",
"selector": "0xfdea8e0b",
"calldata_variants": [
"0xfdea8e0b",
"0xfdea8e0b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc7dab436",
"selector": "0xc7dab436",
"calldata_variants": [
"0xc7dab436",
"0xc7dab4360000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xca15c873",
"selector": "0xca15c873",
"calldata_variants": [
"0xca15c873",
"0xca15c8730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd001fb8e",
"selector": "0xd001fb8e",
"calldata_variants": [
"0xd001fb8e",
"0xd001fb8e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0170ecc",
"selector": "0xd0170ecc",
"calldata_variants": [
"0xd0170ecc",
"0xd0170ecc0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 13673,
"type": "tx_origin_used"
}
]
}
|
| medium | upgradeability | cast | DELEGATECALL present | 80 | no | — |
viewevidence_json{
"notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
"delegatecall_count": 1
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x5257285d67cfbbc1ab7b1033ae2826533d7154a57fb539622bd5140218fe4f05
call_targets:
0x22ad3fab750fb53118e4d6aa85343056a736394b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5257285d67cfbbc1ab7b1033ae2826533d7154a57fb539622bd5140218fe4f05",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x22ad3fab750fb53118e4d6aa85343056a736394b"
],
"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": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf80f5dd5",
"selector": "0xf80f5dd5",
"calldata_variants": [
"0xf80f5dd5",
"0xf80f5dd50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfdea8e0b",
"selector": "0xfdea8e0b",
"calldata_variants": [
"0xfdea8e0b",
"0xfdea8e0b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc7dab436",
"selector": "0xc7dab436",
"calldata_variants": [
"0xc7dab436",
"0xc7dab4360000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xca15c873",
"selector": "0xca15c873",
"calldata_variants": [
"0xca15c873",
"0xca15c8730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd001fb8e",
"selector": "0xd001fb8e",
"calldata_variants": [
"0xd001fb8e",
"0xd001fb8e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0170ecc",
"selector": "0xd0170ecc",
"calldata_variants": [
"0xd0170ecc",
"0xd0170ecc0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 6567,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 9435,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 13673,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x5257285d67cfbbc1ab7b1033ae2826533d7154a57fb539622bd5140218fe4f05
call_targets:
0x22ad3fab750fb53118e4d6aa85343056a736394b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5257285d67cfbbc1ab7b1033ae2826533d7154a57fb539622bd5140218fe4f05",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x22ad3fab750fb53118e4d6aa85343056a736394b"
],
"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": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf80f5dd5",
"selector": "0xf80f5dd5",
"calldata_variants": [
"0xf80f5dd5",
"0xf80f5dd50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfdea8e0b",
"selector": "0xfdea8e0b",
"calldata_variants": [
"0xfdea8e0b",
"0xfdea8e0b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc7dab436",
"selector": "0xc7dab436",
"calldata_variants": [
"0xc7dab436",
"0xc7dab4360000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xca15c873",
"selector": "0xca15c873",
"calldata_variants": [
"0xca15c873",
"0xca15c8730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd001fb8e",
"selector": "0xd001fb8e",
"calldata_variants": [
"0xd001fb8e",
"0xd001fb8e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0170ecc",
"selector": "0xd0170ecc",
"calldata_variants": [
"0xd0170ecc",
"0xd0170ecc0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 6567,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 9435,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 13673,
"type": "tx_origin_used"
}
]
}
|