TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

1aff25c0-1ae4-4372-bb16-1ff6006dde4f

failed
Chain ID
1
Address
Block Number
Created
Sun, Jan 4, 2026 6:47 AM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted DELEGATECALL target reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
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

Artifact

Runtime bytecode: available
Creation TX:
Deployer:
Proxy: no
Implementation:
Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
Summary
No concrete, exploitable profit path found in the provided contracts after reviewing AUDIT_BUNDLE.txt and related first‑party sources.
View stderr
[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":[]}
Metadata
{
    "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
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
1
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
2
EXT*/BALANCE
3
Total opcodes
8421
Flags
delegatecall_present
View cast disassembly output
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

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high upgradeability detector Untrusted DELEGATECALL target reachable 55 no no
view
trace_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
view
validation_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
view
evidence_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
view
trace_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
view
trace_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"
        }
    ]
}