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

Analysis Run

9064eb1e-e6fb-47fa-bd29-16db347a04ca

failed
Chain ID
1
Address
0xbcb12f52d61a1abc61e502216931127be6b5c06b
Block Number
—
Created
Mon, Jan 5, 2026 4:41 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?

back to vulns open contract
Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Authorization based on tx.origin
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
31687 report.consolidate complete 1 / 1 3 months ago
95545 artifact.fetch failed 1 / 3 1 week ago
95546 tool.cast_disasm complete 1 / 3 1 week ago
95547 analysis.bundle complete 1 / 3 1 week ago
95548 capability.graph complete 1 / 3 1 week ago
95549 detector.run complete 1 / 3 1 week ago
95550 validation.fork complete 1 / 3 1 week 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 paths found in AUDIT_BUNDLE.txt.
View stderr 
[codex:1060936] OpenAI Codex v0.77.0 (research preview)
[codex:1060936] --------
[codex:1060936] workdir: /tmp/codex-multi-r1a3luyc
[codex:1060936] model: gpt-5.2-codex
[codex:1060936] provider: openai
[codex:1060936] approval: never
[codex:1060936] sandbox: read-only
[codex:1060936] reasoning effort: xhigh
[codex:1060936] reasoning summaries: auto
[codex:1060936] session id: 019b8c6f-eb8f-7ab1-a815-e4de2d88e945
[codex:1060936] --------
[codex:1060936] user
[codex:1060936] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1060936] 
[codex:1060936] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1060936] 
[codex:1060936] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1060936] - Gas inefficiency, code quality, naming, or best practices
[codex:1060936] - Theoretical vulnerabilities without a clear extraction path
[codex:1060936] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1060936] - Front-running unless it enables theft beyond MEV
[codex:1060936] - DoS, griefing, or issues that don't result in attacker profit
[codex:1060936] - Missing events, view function issues, or informational findings
[codex:1060936] 
[codex:1060936] HIGH-VALUE PATTERNS TO HUNT:
[codex:1060936] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1060936] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1060936] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1060936] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1060936] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1060936] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1060936] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1060936] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1060936] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1060936] 
[codex:1060936] For each finding, you MUST provide:
[codex:1060936] 1. Exact file and line numbers of vulnerable code
[codex:1060936] 2. Step-by-step exploit transaction sequence
[codex:1060936] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1060936] 
[codex:1060936] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1060936] 
[codex:1060936] Output MUST be valid JSON matching the provided schema.
[codex:1060936] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1060936] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1060936] mcp startup: no servers
[codex:1060936] 
[codex:1060936] thinking
[codex:1060936] **Checking audit file presence**
[codex:1060936] exec
[codex:1060936] /bin/bash -lc ls in /tmp/codex-multi-r1a3luyc succeeded in 5ms:
[codex:1060936] AUDIT_BUNDLE.txt
[codex:1060936] codex-output-schema.json
[codex:1060936] contracts
[codex:1060936] exec
[codex:1060936] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-r1a3luyc succeeded in 14ms:
[codex:1060936] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1060936] 
[codex:1060936] ================================================================================
[codex:1060936] FILE: contracts/Contract.sol
[codex:1060936] ================================================================================
[codex:1060936] // SPDX-License-Identifier: MIT
[codex:1060936] pragma solidity ^0.8.15;
[codex:1060936] 
[codex:1060936] abstract contract Context {
[codex:1060936]     function _msgSender() internal view virtual returns (address) {
[codex:1060936]         return msg.sender;
[codex:1060936]     }
[codex:1060936] 
[codex:1060936]     function _msgData() internal view virtual returns (bytes memory) {
[codex:1060936]         this; // silence state mutability warning without generating bytecode - see https://github.com/ethereum/solidity/issues/2691
[codex:1060936]         return msg.data;
[codex:1060936]     }
[codex:1060936] }
[codex:1060936] 
[codex:1060936] interface IUniswapV2Pair {
[codex:1060936] 
[codex:1060936] thinking
[codex:1060936] **Examining contract for exploits**
[codex:1060936] exec
[codex:1060936] /bin/bash -lc 'rg -n "contract MAGAVP" -n contracts/Contract.sol' in /tmp/codex-multi-r1a3luyc succeeded in 9ms:
[codex:1060936] 917:contract MAGAVP is ERC20, Ownable {
[codex:1060936] 1527:contract MAGAVPDividendTracker is DividendPayingToken, Ownable {
[codex:1060936] 
[codex:1060936] thinking
[codex:1060936] **Opening contract file with line numbers**
[codex:1060936] exec
[codex:1060936] /bin/bash -lc "nl -ba contracts/Contract.sol | sed -n '880,1150p'" in /tmp/codex-multi-r1a3luyc succeeded in 7ms:
[codex:1060936]    880	            .toInt256Safe();
[codex:1060936]    881	        magnifiedDividendCorrections[from] = magnifiedDividendCorrections[from]
[codex:1060936]    882	            .add(_magCorrection);
[codex:1060936]    883	        magnifiedDividendCorrections[to] = magnifiedDividendCorrections[to].sub(
[codex:1060936]    884	            _magCorrection
[codex:1060936]    885	        );
[codex:1060936]    886	    }
[codex:1060936]    887	
[codex:1060936]    888	    function _mint(address account, uint256 value) internal override {
[codex:1060936]    889	        super._mint(account, value);
[codex:1060936]    890	
[codex:1060936]    891	        magnifiedDividendCorrections[account] = magnifiedDividendCorrections[
[codex:1060936]    892	            account
[codex:1060936]    893	        ].sub((magnifiedDividendPerShare.mul(value)).toInt256Safe());
[codex:1060936]    894	    }
[codex:1060936]    895	
[codex:1060936]    896	    function _burn(address account, uint256 value) internal override {
[codex:1060936]    897	        super._burn(account, value);
[codex:1060936]    898	
[codex:1060936]    899	        magnifiedDividendCorrections[account] = magnifiedDividendCorrections[
[codex:1060936] 
[codex:1060936] thinking
[codex:1060936] **Continuing process**
[codex:1060936] exec
[codex:1060936] /bin/bash -lc "nl -ba contracts/Contract.sol | sed -n '1150,1450p'" in /tmp/codex-multi-r1a3luyc succeeded in 6ms:
[codex:1060936]   1150	        emit SetAutomatedMarketMakerPair(pair, value);
[codex:1060936]   1151	    }
[codex:1060936]   1152	
[codex:1060936]   1153	    function updateGasForProcessing(uint256 newValue) public onlyOwner {
[codex:1060936]   1154	        require(newValue >= 200000 && newValue <= 1000000);
[codex:1060936]   1155	        emit GasForProcessingUpdated(newValue, gasForProcessing);
[codex:1060936]   1156	        gasForProcessing = newValue;
[codex:1060936]   1157	    }
[codex:1060936]   1158	
[codex:1060936]   1159	    function transferAdmin(address newOwner) public onlyOwner {
[codex:1060936]   1160	        dividendTracker.excludeFromDividends(newOwner);
[codex:1060936]   1161	        _isExcludedFromFees[newOwner] = true;
[codex:1060936]   1162	        transferOwnership(newOwner);
[codex:1060936]   1163	    }
[codex:1060936]   1164	
[codex:1060936]   1165	    function updateFees(
[codex:1060936]   1166	        uint256 marketingBuy,
[codex:1060936]   1167	        uint256 marketingSell,
[codex:1060936]   1168	        uint256 RewardsBuy,
[codex:1060936]   1169	        uint256 RewardsSell,
[codex:1060936] 
[codex:1060936] thinking
[codex:1060936] **Continuing to explore code beyond line 1450**
[codex:1060936] exec
[codex:1060936] /bin/bash -lc "nl -ba contracts/Contract.sol | sed -n '1450,1730p'" in /tmp/codex-multi-r1a3luyc succeeded in 7ms:
[codex:1060936]   1450	
[codex:1060936]   1451	    function swapAndSendDividends(uint256 tokens) private {
[codex:1060936]   1452	        if (tokens == 0) {
[codex:1060936]   1453	            return;
[codex:1060936]   1454	        }
[codex:1060936]   1455	        swapTokensForEth(tokens);
[codex:1060936]   1456	        uint256 totalAmount = buyAmount.add(sellAmount);
[codex:1060936]   1457	
[codex:1060936]   1458	        bool success = true;
[codex:1060936]   1459	        bool successOp1 = true;
[codex:1060936]   1460	        bool successOp2 = true;
[codex:1060936]   1461	
[codex:1060936]   1462	        uint256 dividends;
[codex:1060936]   1463	        uint256 dividendsFromBuy;
[codex:1060936]   1464	        uint256 dividendsFromSell;
[codex:1060936]   1465	
[codex:1060936]   1466	        if (buyRewardsFee > 0) {
[codex:1060936]   1467	            dividendsFromBuy = address(this)
[codex:1060936]   1468	            .balance
[codex:1060936]   1469	            .mul(buyAmount)
[codex:1060936] 
[codex:1060936] thinking
[codex:1060936] **Analyzing dividend claim and reentrancy risks**
[codex:1060936] 
[codex:1060936] I'm examining the interaction between MAGAVP and its DividendTracker, focusing on access controls and possible reentrancy in claim and dividend withdrawal functions, especially where external calls occur through token swaps or direct ETH transfers. I'm also investigating the implications of customizable tokens in dividends.
[codex:1060936] exec
[codex:1060936] /bin/bash -lc 'rg -n "allowCustomTokens|custom" -n contracts/Contract.sol' in /tmp/codex-multi-r1a3luyc succeeded in 6ms:
[codex:1060936] 1539:    bool public allowCustomTokens;
[codex:1060936] 1586:        allowCustomTokens = true;
[codex:1060936] 1636:        require(allowCustomTokens != allow);
[codex:1060936] 1637:        allowCustomTokens = allow;
[codex:1060936] 
[codex:1060936] thinking
[codex:1060936] **Searching for DividendPayingToken implementation**
[codex:1060936] exec
[codex:1060936] /bin/bash -lc 'rg -n "contract DividendPayingToken" -n contracts/Contract.sol' in /tmp/codex-multi-r1a3luyc succeeded in 6ms:
[codex:1060936] 761:contract DividendPayingToken is
[codex:1060936] exec
[codex:1060936] /bin/bash -lc "nl -ba contracts/Contract.sol | sed -n '700,880p'" in /tmp/codex-multi-r1a3luyc succeeded in 6ms:
[codex:1060936]    700	        uint256 reserveOut
[codex:1060936]    701	    ) external pure returns (uint256 amountIn);
[codex:1060936]    702	
[codex:1060936]    703	    function getAmountsOut(uint256 amountIn, address[] calldata path)
[codex:1060936]    704	        external
[codex:1060936]    705	        view
[codex:1060936]    706	        returns (uint256[] memory amounts);
[codex:1060936]    707	
[codex:1060936]    708	    function getAmountsIn(uint256 amountOut, address[] calldata path)
[codex:1060936]    709	        external
[codex:1060936]    710	        view
[codex:1060936]    711	        returns (uint256[] memory amounts);
[codex:1060936]    712	}
[codex:1060936]    713	
[codex:1060936]    714	interface IUniswapV2Router02 is IUniswapV2Router01 {
[codex:1060936]    715	    function removeLiquidityETHSupportingFeeOnTransferTokens(
[codex:1060936]    716	        address token,
[codex:1060936]    717	        uint256 liquidity,
[codex:1060936]    718	        uint256 amountTokenMin,
[codex:1060936]    719	        uint256 amountETHMin,
[codex:1060936] 
[codex:1060936] 
[codex:1060936] thinking
[codex:1060936] **Analyzing dividend tracking and reentrancy risks**
[codex:1060936] thinking
[codex:1060936] **Examining allowance and ownership nuances**
[codex:1060936] 
[codex:1060936] This is an interesting exploration of allowance resets and ownership between MAGAVP and dividendTracker contracts. I'm carefully checking whether the router’s allowance resets correctly during swaps and if reentrancy might let a malicious contract exploit these. Also, I'm thinking about how ownership transfers in MAGAVP don’t cascade to dividendTracker, which might limit some control paths. There’s a lot to piece together here to understand any concrete profit route.
[codex:1060936] exec
[codex:1060936] /bin/bash -lc 'rg -n "DividendTracker" contracts/Contract.sol' in /tmp/codex-multi-r1a3luyc succeeded in 7ms:
[codex:1060936] 933:    MAGAVPDividendTracker public dividendTracker;
[codex:1060936] 962:    event UpdateDividendTracker(
[codex:1060936] 994:    event ProcessedDividendTracker(
[codex:1060936] 1024:        dividendTracker = new MAGAVPDividendTracker(
[codex:1060936] 1254:    function processDividendTracker(uint256 gas) external {
[codex:1060936] 1260:        emit ProcessedDividendTracker(
[codex:1060936] 1527:contract MAGAVPDividendTracker is DividendPayingToken, Ownable {
[codex:1060936] 
[codex:1060936] 
[codex:1060936] 
[codex:1060936] 
[codex:1060936] 
[codex:1060936] thinking
[codex:1060936] **Analyzing potential dividend reinvest exploits**
[codex:1060936] thinking
[codex:1060936] **Examining interaction with flashloan and dividend distribution**
[codex:1060936] 
[codex:1060936] I’m unpacking how flashloaned tokens could temporarily boost dividend tracker balances right before dividend distribution, potentially letting an attacker grab a bigger share of dividends within one transaction. It’s intriguing that transfers from the AMM pair adjust balances but the pair itself is excluded from dividends, which might affect this dynamic. Let’s explore how this flash swap callback flow might work with balances and fee exemptions.
[codex:1060936] thinking
[codex:1060936] **Analyzing dividend tracker balance updates and flashloan feasibility**
[codex:1060936] 
[codex:1060936] I’m working through how excluded accounts bypass balance updates in the dividend tracker, letting an attacker hold inflated tracker balances during flashloans. I’m also digging into how fees on transfers affect whether a flashloan-based dividend capture can succeed, considering Uniswap’s fee-on-transfer mechanics may block straightforward repayment, making the exploit tricky but still theoretically possible.
[codex:1060936] thinking
[codex:1060936] **Examining token burn behavior and dividend distribution mechanics**
[codex:1060936] 
[codex:1060936] I’m reviewing token burn logic and dividend processing for possible reentrancy or state inconsistencies. I also explored how fee calculations and token-to-ETH swaps interact, checking if attackers could manipulate dividend allocations or trigger erroneous payouts, but so far no clear profit-driven exploit emerges from these mechanisms.
[codex:1060936] thinking
[codex:1060936] **Preparing final audit conclusion**
[codex:1060936] 
[codex:1060936] I'm wrapping up by confirming no exploitable profit paths were found after a thorough scan and now preparing a clean JSON summary response per the required schema.
[codex:1060936] codex
[codex:1060936] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in AUDIT_BUNDLE.txt.","findings":[]}
[codex:1060936] tokens used
[codex:1060936] 50,829
[codex:1060936] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in AUDIT_BUNDLE.txt.","findings":[]}
Metadata 
{
    "codex": {
        "ran_at": "2026-01-05T04:41:49.648989+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths found in AUDIT_BUNDLE.txt.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths found in AUDIT_BUNDLE.txt.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
8
EXT*/BALANCE
2
Total opcodes
7167
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0339
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x70a08231
00000019: GT
0000001a: PUSH2 0x01ab
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa9059cbb
00000024: GT
00000025: PUSH2 0x00f7
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xdd62ed3e
0000002f: GT
00000030: PUSH2 0x0095
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe7cb7f87
0000003a: GT
0000003b: PUSH2 0x006f
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe7cb7f87
00000045: EQ
00000046: PUSH2 0x0a12
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x0a27
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfbcbc0f1
0000005b: EQ
0000005c: PUSH2 0x0a47
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xffb2c479
00000066: EQ
00000067: PUSH2 0x0a67
0000006a: JUMPI
0000006b: PUSH1 0x00
0000006d: DUP1
0000006e: REVERT
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xdd62ed3e
00000076: EQ
00000077: PUSH2 0x0997
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xe30443bc
00000081: EQ
00000082: PUSH2 0x09dd
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xe7841ec0
0000008c: EQ
0000008d: PUSH2 0x09fd
00000090: JUMPI
00000091: PUSH1 0x00
00000093: DUP1
00000094: REVERT
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0xba079d49
0000009c: GT
0000009d: PUSH2 0x00d1
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xba079d49
000000a7: EQ
000000a8: PUSH2 0x0922
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xbc4c4b37
000000b2: EQ
000000b3: PUSH2 0x0942
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xbdd4f29f
000000bd: EQ
000000be: PUSH2 0x0962
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xd8032ed3
000000c8: EQ
000000c9: PUSH2 0x0977
000000cc: JUMPI
000000cd: PUSH1 0x00
000000cf: DUP1
000000d0: REVERT
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0xa9059cbb
000000d8: EQ
000000d9: PUSH2 0x08ac
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0xaafd847a
000000e3: EQ
000000e4: PUSH2 0x08cc
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0xb22f8a04
000000ee: EQ
000000ef: PUSH2 0x0902
000000f2: JUMPI
000000f3: PUSH1 0x00
000000f5: DUP1
000000f6: REVERT
000000f7: JUMPDEST
000000f8: DUP1
000000f9: PUSH4 0x91b89fba
000000fe: GT
000000ff: PUSH2 0x0164
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x9eec101e
00000109: GT
0000010a: PUSH2 0x013e
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x9eec101e
00000114: EQ
00000115: PUSH2 0x082a
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0xa4234069
0000011f: EQ
00000120: PUSH2 0x084b
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0xa457c2d7
0000012a: EQ
0000012b: PUSH2 0x086c
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0xa8b9d240
00000135: EQ
00000136: PUSH2 0x088c
00000139: JUMPI
0000013a: PUSH1 0x00
0000013c: DUP1
0000013d: REVERT
0000013e: JUMPDEST
0000013f: DUP1
00000140: PUSH4 0x91b89fba
00000145: EQ
00000146: PUSH2 0x07d5
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0x95d89b41
00000150: EQ
00000151: PUSH2 0x07f5
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x9c3372ea
0000015b: EQ
0000015c: PUSH2 0x080a
0000015f: JUMPI
00000160: PUSH1 0x00
00000162: DUP1
00000163: REVERT
00000164: JUMPDEST
00000165: DUP1
00000166: PUSH4 0x70a08231
0000016b: EQ
0000016c: PUSH2 0x0716
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0x715018a6
00000176: EQ
00000177: PUSH2 0x074c
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0x74c13fda
00000181: EQ
00000182: PUSH2 0x0761
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x85a6b3ae
0000018c: EQ
0000018d: PUSH2 0x0781
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0x8bc1d639
00000197: EQ
00000198: PUSH2 0x0797
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x8da5cb5b
000001a2: EQ
000001a3: PUSH2 0x07b7
000001a6: JUMPI
000001a7: PUSH1 0x00
000001a9: DUP1
000001aa: REVERT
000001ab: JUMPDEST
000001ac: DUP1
000001ad: PUSH4 0x313ce567
000001b2: GT
000001b3: PUSH2 0x0285
000001b6: JUMPI
000001b7: DUP1
000001b8: PUSH4 0x5183d6fd
000001bd: GT
000001be: PUSH2 0x0223
000001c1: JUMPI
000001c2: DUP1
000001c3: PUSH4 0x69aaae40
000001c8: GT
000001c9: PUSH2 0x01fd
000001cc: JUMPI
000001cd: DUP1
000001ce: PUSH4 0x69aaae40
000001d3: EQ
000001d4: PUSH2 0x0691
000001d7: JUMPI
000001d8: DUP1
000001d9: PUSH4 0x6a474002
000001de: EQ
000001df: PUSH2 0x06b1
000001e2: JUMPI
000001e3: DUP1
000001e4: PUSH4 0x6b69163b
000001e9: EQ
000001ea: PUSH2 0x06c6
000001ed: JUMPI
000001ee: DUP1
000001ef: PUSH4 0x6d48467b
000001f4: EQ
000001f5: PUSH2 0x06f6
000001f8: JUMPI
000001f9: PUSH1 0x00
000001fb: DUP1
000001fc: REVERT
000001fd: JUMPDEST
000001fe: DUP1
000001ff: PUSH4 0x5183d6fd
00000204: EQ
00000205: PUSH2 0x05fa
00000208: JUMPI
00000209: DUP1
0000020a: PUSH4 0x5a84c5eb
0000020f: EQ
00000210: PUSH2 0x0651
00000213: JUMPI
00000214: DUP1
00000215: PUSH4 0x5ebf4db9
0000021a: EQ
0000021b: PUSH2 0x0671
0000021e: JUMPI
0000021f: PUSH1 0x00
00000221: DUP1
00000222: REVERT
00000223: JUMPDEST
00000224: DUP1
00000225: PUSH4 0x39509351
0000022a: GT
0000022b: PUSH2 0x025f
0000022e: JUMPI
0000022f: DUP1
00000230: PUSH4 0x39509351
00000235: EQ
00000236: PUSH2 0x0569
00000239: JUMPI
0000023a: DUP1
0000023b: PUSH4 0x40ffdd80
00000240: EQ
00000241: PUSH2 0x0589
00000244: JUMPI
00000245: DUP1
00000246: PUSH4 0x41808904
0000024b: EQ
0000024c: PUSH2 0x05a9
0000024f: JUMPI
00000250: DUP1
00000251: PUSH4 0x4e7b827f
00000256: EQ
00000257: PUSH2 0x05ca
0000025a: JUMPI
0000025b: PUSH1 0x00
0000025d: DUP1
0000025e: REVERT
0000025f: JUMPDEST
00000260: DUP1
00000261: PUSH4 0x313ce567
00000266: EQ
00000267: PUSH2 0x050d
0000026a: JUMPI
0000026b: DUP1
0000026c: PUSH4 0x31e79db0
00000271: EQ
00000272: PUSH2 0x0529
00000275: JUMPI
00000276: DUP1
00000277: PUSH4 0x3599bb17
0000027c: EQ
0000027d: PUSH2 0x0549
00000280: JUMPI
00000281: PUSH1 0x00
00000283: DUP1
00000284: REVERT
00000285: JUMPDEST
00000286: DUP1
00000287: PUSH4 0x18160ddd
0000028c: GT
0000028d: PUSH2 0x02f2
00000290: JUMPI
00000291: DUP1
00000292: PUSH4 0x23b872dd
00000297: GT
00000298: PUSH2 0x02cc
0000029b: JUMPI
0000029c: DUP1
0000029d: PUSH4 0x23b872dd
000002a2: EQ
000002a3: PUSH2 0x0499
000002a6: JUMPI
000002a7: DUP1
000002a8: PUSH4 0x25cd3598
000002ad: EQ
000002ae: PUSH2 0x04b9
000002b1: JUMPI
000002b2: DUP1
000002b3: PUSH4 0x27ce0147
000002b8: EQ
000002b9: PUSH2 0x04d7
000002bc: JUMPI
000002bd: DUP1
000002be: PUSH4 0x3009a609
000002c3: EQ
000002c4: PUSH2 0x04f7
000002c7: JUMPI
000002c8: PUSH1 0x00
000002ca: DUP1
000002cb: REVERT
000002cc: JUMPDEST
000002cd: DUP1
000002ce: PUSH4 0x18160ddd
000002d3: EQ
000002d4: PUSH2 0x0427
000002d7: JUMPI
000002d8: DUP1
000002d9: PUSH4 0x1d4ff89a
000002de: EQ
000002df: PUSH2 0x043c
000002e2: JUMPI
000002e3: DUP1
000002e4: PUSH4 0x226cfa3d
000002e9: EQ
000002ea: PUSH2 0x046c
000002ed: JUMPI
000002ee: PUSH1 0x00
000002f0: DUP1
000002f1: REVERT
000002f2: JUMPDEST
000002f3: DUP1
000002f4: PUSH4 0x03c83302
000002f9: EQ
000002fa: PUSH2 0x034d
000002fd: JUMPI
000002fe: DUP1
000002ff: PUSH4 0x06fdde03
00000304: EQ
00000305: PUSH2 0x0355
00000308: JUMPI
00000309: DUP1
0000030a: PUSH4 0x09288471
0000030f: EQ
00000310: PUSH2 0x0380
00000313: JUMPI
00000314: DUP1
00000315: PUSH4 0x095ea7b3
0000031a: EQ
0000031b: PUSH2 0x03a0
0000031e: JUMPI
0000031f: DUP1
00000320: PUSH4 0x09bbedde
00000325: EQ
00000326: PUSH2 0x03d0
00000329: JUMPI
0000032a: DUP1
0000032b: PUSH4 0x1694505e
00000330: EQ
00000331: PUSH2 0x03ef
00000334: JUMPI
00000335: PUSH1 0x00
00000337: DUP1
00000338: REVERT
00000339: JUMPDEST
0000033a: CALLDATASIZE
0000033b: PUSH2 0x0348
0000033e: JUMPI
0000033f: PUSH2 0x0346
00000342: PUSH2 0x0aa2
00000345: JUMP
00000346: JUMPDEST
00000347: STOP
00000348: JUMPDEST
00000349: PUSH1 0x00
0000034b: DUP1
0000034c: REVERT
0000034d: JUMPDEST
0000034e: PUSH2 0x0346
00000351: PUSH2 0x0aa2
00000354: JUMP
00000355: JUMPDEST
00000356: CALLVALUE
00000357: DUP1
00000358: ISZERO
00000359: PUSH2 0x0361
0000035c: JUMPI
0000035d: PUSH1 0x00
0000035f: DUP1
00000360: REVERT
00000361: JUMPDEST
00000362: POP
00000363: PUSH2 0x036a
00000366: PUSH2 0x0b35
00000369: JUMP
0000036a: JUMPDEST
0000036b: PUSH1 0x40
0000036d: MLOAD
0000036e: PUSH2 0x0377
00000371: SWAP2
00000372: SWAP1
00000373: PUSH2 0x279c
00000376: JUMP
00000377: JUMPDEST
00000378: PUSH1 0x40
0000037a: MLOAD
0000037b: DUP1
0000037c: SWAP2
0000037d: SUB
0000037e: SWAP1
0000037f: RETURN
00000380: JUMPDEST
00000381: CALLVALUE
00000382: DUP1
00000383: ISZERO
00000384: PUSH2 0x038c
00000387: JUMPI
00000388: PUSH1 0x00
0000038a: DUP1
0000038b: REVERT
0000038c: JUMPDEST
0000038d: POP
0000038e: PUSH2 0x0346
00000391: PUSH2 0x039b
00000394: CALLDATASIZE
00000395: PUSH1 0x04
00000397: PUSH2 0x2802
0000039a: JUMP
0000039b: JUMPDEST
0000039c: PUSH2 0x0bc7
0000039f: JUMP
000003a0: JUMPDEST
000003a1: CALLVALUE
000003a2: DUP1
000003a3: ISZERO
000003a4: PUSH2 0x03ac
000003a7: JUMPI
000003a8: PUSH1 0x00
000003aa: DUP1
000003ab: REVERT
000003ac: JUMPDEST
000003ad: POP
000003ae: PUSH2 0x03c0
000003b1: PUSH2 0x03bb
000003b4: CALLDATASIZE
000003b5: PUSH1 0x04
000003b7: PUSH2 0x281f
000003ba: JUMP
000003bb: JUMPDEST
000003bc: PUSH2 0x0c1b
000003bf: JUMP
000003c0: JUMPDEST
000003c1: PUSH1 0x40
000003c3: MLOAD
000003c4: SWAP1
000003c5: ISZERO
000003c6: ISZERO
000003c7: DUP2
000003c8: MSTORE
000003c9: PUSH1 0x20
000003cb: ADD
000003cc: PUSH2 0x0377
000003cf: JUMP
000003d0: JUMPDEST
000003d1: CALLVALUE
000003d2: DUP1
000003d3: ISZERO
000003d4: PUSH2 0x03dc
000003d7: JUMPI
000003d8: PUSH1 0x00
000003da: DUP1
000003db: REVERT
000003dc: JUMPDEST
000003dd: POP
000003de: PUSH1 0x0a
000003e0: SLOAD
000003e1: JUMPDEST
000003e2: PUSH1 0x40
000003e4: MLOAD
000003e5: SWAP1
000003e6: DUP2
000003e7: MSTORE
000003e8: PUSH1 0x20
000003ea: ADD
000003eb: PUSH2 0x0377
000003ee: JUMP
000003ef: JUMPDEST
000003f0: CALLVALUE
000003f1: DUP1
000003f2: ISZERO
000003f3: PUSH2 0x03fb
000003f6: JUMPI
000003f7: PUSH1 0x00
000003f9: DUP1
000003fa: REVERT
000003fb: JUMPDEST
000003fc: POP
000003fd: PUSH1 0x15
000003ff: SLOAD
00000400: PUSH2 0x040f
00000403: SWAP1
00000404: PUSH1 0x01
00000406: PUSH1 0x01
00000408: PUSH1 0xa0
0000040a: SHL
0000040b: SUB
0000040c: AND
0000040d: DUP2
0000040e: JUMP
0000040f: JUMPDEST
00000410: PUSH1 0x40
00000412: MLOAD
00000413: PUSH1 0x01
00000415: PUSH1 0x01
00000417: PUSH1 0xa0
00000419: SHL
0000041a: SUB
0000041b: SWAP1
0000041c: SWAP2
0000041d: AND
0000041e: DUP2
0000041f: MSTORE
00000420: PUSH1 0x20
00000422: ADD
00000423: PUSH2 0x0377
00000426: JUMP
00000427: JUMPDEST
00000428: CALLVALUE
00000429: DUP1
0000042a: ISZERO
0000042b: PUSH2 0x0433
0000042e: JUMPI
0000042f: PUSH1 0x00
00000431: DUP1
00000432: REVERT
00000433: JUMPDEST
00000434: POP
00000435: PUSH1 0x02
00000437: SLOAD
00000438: PUSH2 0x03e1
0000043b: JUMP
0000043c: JUMPDEST
0000043d: CALLVALUE
0000043e: DUP1
0000043f: ISZERO
00000440: PUSH2 0x0448
00000443: JUMPI
00000444: PUSH1 0x00
00000446: DUP1
00000447: REVERT
00000448: JUMPDEST
00000449: POP
0000044a: PUSH2 0x03c0
0000044d: PUSH2 0x0457
00000450: CALLDATASIZE
00000451: PUSH1 0x04
00000453: PUSH2 0x2802
00000456: JUMP
00000457: JUMPDEST
00000458: PUSH1 0x11
0000045a: PUSH1 0x20
0000045c: MSTORE
0000045d: PUSH1 0x00
0000045f: SWAP1
00000460: DUP2
00000461: MSTORE
00000462: PUSH1 0x40
00000464: SWAP1
00000465: KECCAK256
00000466: SLOAD
00000467: PUSH1 0xff
00000469: AND
0000046a: DUP2
0000046b: JUMP
0000046c: JUMPDEST
0000046d: CALLVALUE
0000046e: DUP1
0000046f: ISZERO
00000470: PUSH2 0x0478
00000473: JUMPI
00000474: PUSH1 0x00
00000476: DUP1
00000477: REVERT
00000478: JUMPDEST
00000479: POP
0000047a: PUSH2 0x03e1
0000047d: PUSH2 0x0487
00000480: CALLDATASIZE
00000481: PUSH1 0x04
00000483: PUSH2 0x2802
00000486: JUMP
00000487: JUMPDEST
00000488: PUSH1 0x17
0000048a: PUSH1 0x20
0000048c: MSTORE
0000048d: PUSH1 0x00
0000048f: SWAP1
00000490: DUP2
00000491: MSTORE
00000492: PUSH1 0x40
00000494: SWAP1
00000495: KECCAK256
00000496: SLOAD
00000497: DUP2
00000498: JUMP
00000499: JUMPDEST
0000049a: CALLVALUE
0000049b: DUP1
0000049c: ISZERO
0000049d: PUSH2 0x04a5
000004a0: JUMPI
000004a1: PUSH1 0x00
000004a3: DUP1
000004a4: REVERT
000004a5: JUMPDEST
000004a6: POP
000004a7: PUSH2 0x03c0
000004aa: PUSH2 0x04b4
000004ad: CALLDATASIZE
000004ae: PUSH1 0x04
000004b0: PUSH2 0x284b
000004b3: JUMP
000004b4: JUMPDEST
000004b5: PUSH2 0x0c32
000004b8: JUMP
000004b9: JUMPDEST
000004ba: CALLVALUE
000004bb: DUP1
000004bc: ISZERO
000004bd: PUSH2 0x04c5
000004c0: JUMPI
000004c1: PUSH1 0x00
000004c3: DUP1
000004c4: REVERT
000004c5: JUMPDEST
000004c6: POP
000004c7: PUSH1 0x12
000004c9: SLOAD
000004ca: PUSH1 0x01
000004cc: PUSH1 0x01
000004ce: PUSH1 0xa0
000004d0: SHL
000004d1: SUB
000004d2: AND
000004d3: PUSH2 0x040f
000004d6: JUMP
000004d7: JUMPDEST
000004d8: CALLVALUE
000004d9: DUP1
000004da: ISZERO
000004db: PUSH2 0x04e3
000004de: JUMPI
000004df: PUSH1 0x00
000004e1: DUP1
000004e2: REVERT
000004e3: JUMPDEST
000004e4: POP
000004e5: PUSH2 0x03e1
000004e8: PUSH2 0x04f2
000004eb: CALLDATASIZE
000004ec: PUSH1 0x04
000004ee: PUSH2 0x2802
000004f1: JUMP
000004f2: JUMPDEST
000004f3: PUSH2 0x0c9b
000004f6: JUMP
000004f7: JUMPDEST
000004f8: CALLVALUE
000004f9: DUP1
000004fa: ISZERO
000004fb: PUSH2 0x0503
000004fe: JUMPI
000004ff: PUSH1 0x00
00000501: DUP1
00000502: REVERT
00000503: JUMPDEST
00000504: POP
00000505: PUSH2 0x03e1
00000508: PUSH1 0x0e
0000050a: SLOAD
0000050b: DUP2
0000050c: JUMP
0000050d: JUMPDEST
0000050e: CALLVALUE
0000050f: DUP1
00000510: ISZERO
00000511: PUSH2 0x0519
00000514: JUMPI
00000515: PUSH1 0x00
00000517: DUP1
00000518: REVERT
00000519: JUMPDEST
0000051a: POP
0000051b: PUSH1 0x40
0000051d: MLOAD
0000051e: PUSH1 0x12
00000520: DUP2
00000521: MSTORE
00000522: PUSH1 0x20
00000524: ADD
00000525: PUSH2 0x0377
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 0x0346
0000053a: PUSH2 0x0544
0000053d: CALLDATASIZE
0000053e: PUSH1 0x04
00000540: PUSH2 0x2802
00000543: JUMP
00000544: JUMPDEST
00000545: PUSH2 0x0cf7
00000548: JUMP
00000549: JUMPDEST
0000054a: CALLVALUE
0000054b: DUP1
0000054c: ISZERO
0000054d: PUSH2 0x0555
00000550: JUMPI
00000551: PUSH1 0x00
00000553: DUP1
00000554: REVERT
00000555: JUMPDEST
00000556: POP
00000557: PUSH2 0x0346
0000055a: PUSH2 0x0564
0000055d: CALLDATASIZE
0000055e: PUSH1 0x04
00000560: PUSH2 0x289a
00000563: JUMP
00000564: JUMPDEST
00000565: PUSH2 0x0d91
00000568: JUMP
00000569: JUMPDEST
0000056a: CALLVALUE
0000056b: DUP1
0000056c: ISZERO
0000056d: PUSH2 0x0575
00000570: JUMPI
00000571: PUSH1 0x00
00000573: DUP1
00000574: REVERT
00000575: JUMPDEST
00000576: POP
00000577: PUSH2 0x03c0
0000057a: PUSH2 0x0584
0000057d: CALLDATASIZE
0000057e: PUSH1 0x04
00000580: PUSH2 0x281f
00000583: JUMP
00000584: JUMPDEST
00000585: PUSH2 0x0e32
00000588: JUMP
00000589: JUMPDEST
0000058a: CALLVALUE
0000058b: DUP1
0000058c: ISZERO
0000058d: PUSH2 0x0595
00000590: JUMPI
00000591: PUSH1 0x00
00000593: DUP1
00000594: REVERT
00000595: JUMPDEST
00000596: POP
00000597: PUSH2 0x0346
0000059a: PUSH2 0x05a4
0000059d: CALLDATASIZE
0000059e: PUSH1 0x04
000005a0: PUSH2 0x289a
000005a3: JUMP
000005a4: JUMPDEST
000005a5: PUSH2 0x0e68
000005a8: JUMP
000005a9: JUMPDEST
000005aa: CALLVALUE
000005ab: DUP1
000005ac: ISZERO
000005ad: PUSH2 0x05b5
000005b0: JUMPI
000005b1: PUSH1 0x00
000005b3: DUP1
000005b4: REVERT
000005b5: JUMPDEST
000005b6: POP
000005b7: PUSH1 0x12
000005b9: SLOAD
000005ba: PUSH2 0x03c0
000005bd: SWAP1
000005be: PUSH1 0x01
000005c0: PUSH1 0xa8
000005c2: SHL
000005c3: SWAP1
000005c4: DIV
000005c5: PUSH1 0xff
000005c7: AND
000005c8: DUP2
000005c9: JUMP
000005ca: JUMPDEST
000005cb: CALLVALUE
000005cc: DUP1
000005cd: ISZERO
000005ce: PUSH2 0x05d6
000005d1: JUMPI
000005d2: PUSH1 0x00
000005d4: DUP1
000005d5: REVERT
000005d6: JUMPDEST
000005d7: POP
000005d8: PUSH2 0x03c0
000005db: PUSH2 0x05e5
000005de: CALLDATASIZE
000005df: PUSH1 0x04
000005e1: PUSH2 0x2802
000005e4: JUMP
000005e5: JUMPDEST
000005e6: PUSH1 0x0f
000005e8: PUSH1 0x20
000005ea: MSTORE
000005eb: PUSH1 0x00
000005ed: SWAP1
000005ee: DUP2
000005ef: MSTORE
000005f0: PUSH1 0x40
000005f2: SWAP1
000005f3: KECCAK256
000005f4: SLOAD
000005f5: PUSH1 0xff
000005f7: AND
000005f8: DUP2
000005f9: JUMP
000005fa: JUMPDEST
000005fb: CALLVALUE
000005fc: DUP1
000005fd: ISZERO
000005fe: PUSH2 0x0606
00000601: JUMPI
00000602: PUSH1 0x00
00000604: DUP1
00000605: REVERT
00000606: JUMPDEST
00000607: POP
00000608: PUSH2 0x061a
0000060b: PUSH2 0x0615
0000060e: CALLDATASIZE
0000060f: PUSH1 0x04
00000611: PUSH2 0x28b7
00000614: JUMP
00000615: JUMPDEST
00000616: PUSH2 0x0efe
00000619: JUMP
0000061a: JUMPDEST
0000061b: PUSH1 0x40
0000061d: DUP1
0000061e: MLOAD
0000061f: PUSH1 0x01
00000621: PUSH1 0x01
00000623: PUSH1 0xa0
00000625: SHL
00000626: SUB
00000627: SWAP1
00000628: SWAP8
00000629: AND
0000062a: DUP8
0000062b: MSTORE
0000062c: PUSH1 0x20
0000062e: DUP8
0000062f: ADD
00000630: SWAP6
00000631: SWAP1
00000632: SWAP6
00000633: MSTORE
00000634: SWAP4
00000635: DUP6
00000636: ADD
00000637: SWAP3
00000638: SWAP1
00000639: SWAP3
0000063a: MSTORE
0000063b: PUSH1 0x60
0000063d: DUP5
0000063e: ADD
0000063f: MSTORE
00000640: PUSH1 0x80
00000642: DUP4
00000643: ADD
00000644: MSTORE
00000645: PUSH1 0xa0
00000647: DUP3
00000648: ADD
00000649: MSTORE
0000064a: PUSH1 0xc0
0000064c: ADD
0000064d: PUSH2 0x0377
00000650: JUMP
00000651: JUMPDEST
00000652: CALLVALUE
00000653: DUP1
00000654: ISZERO
00000655: PUSH2 0x065d
00000658: JUMPI
00000659: PUSH1 0x00
0000065b: DUP1
0000065c: REVERT
0000065d: JUMPDEST
0000065e: POP
0000065f: PUSH2 0x0346
00000662: PUSH2 0x066c
00000665: CALLDATASIZE
00000666: PUSH1 0x04
00000668: PUSH2 0x28b7
0000066b: JUMP
0000066c: JUMPDEST
0000066d: PUSH2 0x0f5e
00000670: JUMP
00000671: JUMPDEST
00000672: CALLVALUE
00000673: DUP1
00000674: ISZERO
00000675: PUSH2 0x067d
00000678: JUMPI
00000679: PUSH1 0x00
0000067b: DUP1
0000067c: REVERT
0000067d: JUMPDEST
0000067e: POP
0000067f: PUSH2 0x0346
00000682: PUSH2 0x068c
00000685: CALLDATASIZE
00000686: PUSH1 0x04
00000688: PUSH2 0x28b7
0000068b: JUMP
0000068c: JUMPDEST
0000068d: PUSH2 0x0fa0
00000690: JUMP
00000691: JUMPDEST
00000692: CALLVALUE
00000693: DUP1
00000694: ISZERO
00000695: PUSH2 0x069d
00000698: JUMPI
00000699: PUSH1 0x00
0000069b: DUP1
0000069c: REVERT
0000069d: JUMPDEST
0000069e: POP
0000069f: PUSH1 0x16
000006a1: SLOAD
000006a2: PUSH2 0x040f
000006a5: SWAP1
000006a6: PUSH1 0x01
000006a8: PUSH1 0x01
000006aa: PUSH1 0xa0
000006ac: SHL
000006ad: SUB
000006ae: AND
000006af: DUP2
000006b0: JUMP
000006b1: JUMPDEST
000006b2: CALLVALUE
000006b3: DUP1
000006b4: ISZERO
000006b5: PUSH2 0x06bd
000006b8: JUMPI
000006b9: PUSH1 0x00
000006bb: DUP1
000006bc: REVERT
000006bd: JUMPDEST
000006be: POP
000006bf: PUSH2 0x0346
000006c2: PUSH2 0x0fe2
000006c5: JUMP
000006c6: JUMPDEST
000006c7: CALLVALUE
000006c8: DUP1
000006c9: ISZERO
000006ca: PUSH2 0x06d2
000006cd: JUMPI
000006ce: PUSH1 0x00
000006d0: DUP1
000006d1: REVERT
000006d2: JUMPDEST
000006d3: POP
000006d4: PUSH2 0x03c0
000006d7: PUSH2 0x06e1
000006da: CALLDATASIZE
000006db: PUSH1 0x04
000006dd: PUSH2 0x2802
000006e0: JUMP
000006e1: JUMPDEST
000006e2: PUSH1 0x10
000006e4: PUSH1 0x20
000006e6: MSTORE
000006e7: PUSH1 0x00
000006e9: SWAP1
000006ea: DUP2
000006eb: MSTORE
000006ec: PUSH1 0x40
000006ee: SWAP1
000006ef: KECCAK256
000006f0: SLOAD
000006f1: PUSH1 0xff
000006f3: AND
000006f4: DUP2
000006f5: JUMP
000006f6: JUMPDEST
000006f7: CALLVALUE
000006f8: DUP1
000006f9: ISZERO
000006fa: PUSH2 0x0702
000006fd: JUMPI
000006fe: PUSH1 0x00
00000700: DUP1
00000701: REVERT
00000702: JUMPDEST
00000703: POP
00000704: PUSH2 0x03c0
00000707: PUSH2 0x0711
0000070a: CALLDATASIZE
0000070b: PUSH1 0x04
0000070d: PUSH2 0x2802
00000710: JUMP
00000711: JUMPDEST
00000712: PUSH2 0x1088
00000715: JUMP
00000716: JUMPDEST
00000717: CALLVALUE
00000718: DUP1
00000719: ISZERO
0000071a: PUSH2 0x0722
0000071d: JUMPI
0000071e: PUSH1 0x00
00000720: DUP1
00000721: REVERT
00000722: JUMPDEST
00000723: POP
00000724: PUSH2 0x03e1
00000727: PUSH2 0x0731
0000072a: CALLDATASIZE
0000072b: PUSH1 0x04
0000072d: PUSH2 0x2802
00000730: JUMP
00000731: JUMPDEST
00000732: PUSH1 0x01
00000734: PUSH1 0x01
00000736: PUSH1 0xa0
00000738: SHL
00000739: SUB
0000073a: AND
0000073b: PUSH1 0x00
0000073d: SWAP1
0000073e: DUP2
0000073f: MSTORE
00000740: PUSH1 0x20
00000742: DUP2
00000743: SWAP1
00000744: MSTORE
00000745: PUSH1 0x40
00000747: SWAP1
00000748: KECCAK256
00000749: SLOAD
0000074a: SWAP1
0000074b: JUMP
0000074c: JUMPDEST
0000074d: CALLVALUE
0000074e: DUP1
0000074f: ISZERO
00000750: PUSH2 0x0758
00000753: JUMPI
00000754: PUSH1 0x00
00000756: DUP1
00000757: REVERT
00000758: JUMPDEST
00000759: POP
0000075a: PUSH2 0x0346
0000075d: PUSH2 0x10d4
00000760: JUMP
00000761: JUMPDEST
00000762: CALLVALUE
00000763: DUP1
00000764: ISZERO
00000765: PUSH2 0x076d
00000768: JUMPI
00000769: PUSH1 0x00
0000076b: DUP1
0000076c: REVERT
0000076d: JUMPDEST
0000076e: POP
0000076f: PUSH1 0x12
00000771: SLOAD
00000772: PUSH2 0x040f
00000775: SWAP1
00000776: PUSH1 0x01
00000778: PUSH1 0x01
0000077a: PUSH1 0xa0
0000077c: SHL
0000077d: SUB
0000077e: AND
0000077f: DUP2
00000780: JUMP
00000781: JUMPDEST
00000782: CALLVALUE
00000783: DUP1
00000784: ISZERO
00000785: PUSH2 0x078d
00000788: JUMPI
00000789: PUSH1 0x00
0000078b: DUP1
0000078c: REVERT
0000078d: JUMPDEST
0000078e: POP
0000078f: PUSH2 0x03e1
00000792: PUSH1 0x08
00000794: SLOAD
00000795: DUP2
00000796: JUMP
00000797: JUMPDEST
00000798: CALLVALUE
00000799: DUP1
0000079a: ISZERO
0000079b: PUSH2 0x07a3
0000079e: JUMPI
0000079f: PUSH1 0x00
000007a1: DUP1
000007a2: REVERT
000007a3: JUMPDEST
000007a4: POP
000007a5: PUSH2 0x0346
000007a8: PUSH2 0x07b2
000007ab: CALLDATASIZE
000007ac: PUSH1 0x04
000007ae: PUSH2 0x28d0
000007b1: JUMP
000007b2: JUMPDEST
000007b3: PUSH2 0x1148
000007b6: JUMP
000007b7: JUMPDEST
000007b8: CALLVALUE
000007b9: DUP1
000007ba: ISZERO
000007bb: PUSH2 0x07c3
000007be: JUMPI
000007bf: PUSH1 0x00
000007c1: DUP1
000007c2: REVERT
000007c3: JUMPDEST
000007c4: POP
000007c5: PUSH1 0x09
000007c7: SLOAD
000007c8: PUSH1 0x01
000007ca: PUSH1 0x01
000007cc: PUSH1 0xa0
000007ce: SHL
000007cf: SUB
000007d0: AND
000007d1: PUSH2 0x040f
000007d4: JUMP
000007d5: JUMPDEST
000007d6: CALLVALUE
000007d7: DUP1
000007d8: ISZERO
000007d9: PUSH2 0x07e1
000007dc: JUMPI
000007dd: PUSH1 0x00
000007df: DUP1
000007e0: REVERT
000007e1: JUMPDEST
000007e2: POP
000007e3: PUSH2 0x03e1
000007e6: PUSH2 0x07f0
000007e9: CALLDATASIZE
000007ea: PUSH1 0x04
000007ec: PUSH2 0x2802
000007ef: JUMP
000007f0: JUMPDEST
000007f1: PUSH2 0x119d
000007f4: JUMP
000007f5: JUMPDEST
000007f6: CALLVALUE
000007f7: DUP1
000007f8: ISZERO
000007f9: PUSH2 0x0801
000007fc: JUMPI
000007fd: PUSH1 0x00
000007ff: DUP1
00000800: REVERT
00000801: JUMPDEST
00000802: POP
00000803: PUSH2 0x036a
00000806: PUSH2 0x11a8
00000809: JUMP
0000080a: JUMPDEST
0000080b: CALLVALUE
0000080c: DUP1
0000080d: ISZERO
0000080e: PUSH2 0x0816
00000811: JUMPI
00000812: PUSH1 0x00
00000814: DUP1
00000815: REVERT
00000816: JUMPDEST
00000817: POP
00000818: PUSH2 0x0346
0000081b: PUSH2 0x0825
0000081e: CALLDATASIZE
0000081f: PUSH1 0x04
00000821: PUSH2 0x289a
00000824: JUMP
00000825: JUMPDEST
00000826: PUSH2 0x11b7
00000829: JUMP
0000082a: JUMPDEST
0000082b: CALLVALUE
0000082c: DUP1
0000082d: ISZERO
0000082e: PUSH2 0x0836
00000831: JUMPI
00000832: PUSH1 0x00
00000834: DUP1
00000835: REVERT
00000836: JUMPDEST
00000837: POP
00000838: PUSH1 0x12
0000083a: SLOAD
0000083b: PUSH2 0x03c0
0000083e: SWAP1
0000083f: PUSH1 0x01
00000841: PUSH1 0xa0
00000843: SHL
00000844: SWAP1
00000845: DIV
00000846: PUSH1 0xff
00000848: AND
00000849: DUP2
0000084a: JUMP
0000084b: JUMPDEST
0000084c: CALLVALUE
0000084d: DUP1
0000084e: ISZERO
0000084f: PUSH2 0x0857
00000852: JUMPI
00000853: PUSH1 0x00
00000855: DUP1
00000856: REVERT
00000857: JUMPDEST
00000858: POP
00000859: PUSH1 0x12
0000085b: SLOAD
0000085c: PUSH2 0x03c0
0000085f: SWAP1
00000860: PUSH1 0x01
00000862: PUSH1 0xb0
00000864: SHL
00000865: SWAP1
00000866: DIV
00000867: PUSH1 0xff
00000869: AND
0000086a: DUP2
0000086b: JUMP
0000086c: JUMPDEST
0000086d: CALLVALUE
0000086e: DUP1
0000086f: ISZERO
00000870: PUSH2 0x0878
00000873: JUMPI
00000874: PUSH1 0x00
00000876: DUP1
00000877: REVERT
00000878: JUMPDEST
00000879: POP
0000087a: PUSH2 0x03c0
0000087d: PUSH2 0x0887
00000880: CALLDATASIZE
00000881: PUSH1 0x04
00000883: PUSH2 0x281f
00000886: JUMP
00000887: JUMPDEST
00000888: PUSH2 0x124d
0000088b: JUMP
0000088c: JUMPDEST
0000088d: CALLVALUE
0000088e: DUP1
0000088f: ISZERO
00000890: PUSH2 0x0898
00000893: JUMPI
00000894: PUSH1 0x00
00000896: DUP1
00000897: REVERT
00000898: JUMPDEST
00000899: POP
0000089a: PUSH2 0x03e1
0000089d: PUSH2 0x08a7
000008a0: CALLDATASIZE
000008a1: PUSH1 0x04
000008a3: PUSH2 0x2802
000008a6: JUMP
000008a7: JUMPDEST
000008a8: PUSH2 0x129c
000008ab: JUMP
000008ac: JUMPDEST
000008ad: CALLVALUE
000008ae: DUP1
000008af: ISZERO
000008b0: PUSH2 0x08b8
000008b3: JUMPI
000008b4: PUSH1 0x00
000008b6: DUP1
000008b7: REVERT
000008b8: JUMPDEST
000008b9: POP
000008ba: PUSH2 0x03c0
000008bd: PUSH2 0x08c7
000008c0: CALLDATASIZE
000008c1: PUSH1 0x04
000008c3: PUSH2 0x281f
000008c6: JUMP
000008c7: JUMPDEST
000008c8: PUSH2 0x12c8
000008cb: JUMP
000008cc: JUMPDEST
000008cd: CALLVALUE
000008ce: DUP1
000008cf: ISZERO
000008d0: PUSH2 0x08d8
000008d3: JUMPI
000008d4: PUSH1 0x00
000008d6: DUP1
000008d7: REVERT
000008d8: JUMPDEST
000008d9: POP
000008da: PUSH2 0x03e1
000008dd: PUSH2 0x08e7
000008e0: CALLDATASIZE
000008e1: PUSH1 0x04
000008e3: PUSH2 0x2802
000008e6: JUMP
000008e7: JUMPDEST
000008e8: PUSH1 0x01
000008ea: PUSH1 0x01
000008ec: PUSH1 0xa0
000008ee: SHL
000008ef: SUB
000008f0: AND
000008f1: PUSH1 0x00
000008f3: SWAP1
000008f4: DUP2
000008f5: MSTORE
000008f6: PUSH1 0x07
000008f8: PUSH1 0x20
000008fa: MSTORE
000008fb: PUSH1 0x40
000008fd: SWAP1
000008fe: KECCAK256
000008ff: SLOAD
00000900: SWAP1
00000901: JUMP
00000902: JUMPDEST
00000903: CALLVALUE
00000904: DUP1
00000905: ISZERO
00000906: PUSH2 0x090e
00000909: JUMPI
0000090a: PUSH1 0x00
0000090c: DUP1
0000090d: REVERT
0000090e: JUMPDEST
0000090f: POP
00000910: PUSH2 0x0346
00000913: PUSH2 0x091d
00000916: CALLDATASIZE
00000917: PUSH1 0x04
00000919: PUSH2 0x28d0
0000091c: JUMP
0000091d: JUMPDEST
0000091e: PUSH2 0x12d5
00000921: JUMP
00000922: JUMPDEST
00000923: CALLVALUE
00000924: DUP1
00000925: ISZERO
00000926: PUSH2 0x092e
00000929: JUMPI
0000092a: PUSH1 0x00
0000092c: DUP1
0000092d: REVERT
0000092e: JUMPDEST
0000092f: POP
00000930: PUSH2 0x03c0
00000933: PUSH2 0x093d
00000936: CALLDATASIZE
00000937: PUSH1 0x04
00000939: PUSH2 0x2802
0000093c: JUMP
0000093d: JUMPDEST
0000093e: PUSH2 0x132a
00000941: JUMP
00000942: JUMPDEST
00000943: CALLVALUE
00000944: DUP1
00000945: ISZERO
00000946: PUSH2 0x094e
00000949: JUMPI
0000094a: PUSH1 0x00
0000094c: DUP1
0000094d: REVERT
0000094e: JUMPDEST
0000094f: POP
00000950: PUSH2 0x03c0
00000953: PUSH2 0x095d
00000956: CALLDATASIZE
00000957: PUSH1 0x04
00000959: PUSH2 0x28d0
0000095c: JUMP
0000095d: JUMPDEST
0000095e: PUSH2 0x1376
00000961: JUMP
00000962: JUMPDEST
00000963: CALLVALUE
00000964: DUP1
00000965: ISZERO
00000966: PUSH2 0x096e
00000969: JUMPI
0000096a: PUSH1 0x00
0000096c: DUP1
0000096d: REVERT
0000096e: JUMPDEST
0000096f: POP
00000970: PUSH1 0x19
00000972: SLOAD
00000973: PUSH2 0x03e1
00000976: JUMP
00000977: JUMPDEST
00000978: CALLVALUE
00000979: DUP1
0000097a: ISZERO
0000097b: PUSH2 0x0983
0000097e: JUMPI
0000097f: PUSH1 0x00
00000981: DUP1
00000982: REVERT
00000983: JUMPDEST
00000984: POP
00000985: PUSH2 0x0346
00000988: PUSH2 0x0992
0000098b: CALLDATASIZE
0000098c: PUSH1 0x04
0000098e: PUSH2 0x2802
00000991: JUMP
00000992: JUMPDEST
00000993: PUSH2 0x14f7
00000996: JUMP
00000997: JUMPDEST
00000998: CALLVALUE
00000999: DUP1
0000099a: ISZERO
0000099b: PUSH2 0x09a3
0000099e: JUMPI
0000099f: PUSH1 0x00
000009a1: DUP1
000009a2: REVERT
000009a3: JUMPDEST
000009a4: POP
000009a5: PUSH2 0x03e1
000009a8: PUSH2 0x09b2
000009ab: CALLDATASIZE
000009ac: PUSH1 0x04
000009ae: PUSH2 0x2909
000009b1: JUMP
000009b2: JUMPDEST
000009b3: PUSH1 0x01
000009b5: PUSH1 0x01
000009b7: PUSH1 0xa0
000009b9: SHL
000009ba: SUB
000009bb: SWAP2
000009bc: DUP3
000009bd: AND
000009be: PUSH1 0x00
000009c0: SWAP1
000009c1: DUP2
000009c2: MSTORE
000009c3: PUSH1 0x01
000009c5: PUSH1 0x20
000009c7: SWAP1
000009c8: DUP2
000009c9: MSTORE
000009ca: PUSH1 0x40
000009cc: DUP1
000009cd: DUP4
000009ce: KECCAK256
000009cf: SWAP4
000009d0: SWAP1
000009d1: SWAP5
000009d2: AND
000009d3: DUP3
000009d4: MSTORE
000009d5: SWAP2
000009d6: SWAP1
000009d7: SWAP2
000009d8: MSTORE
000009d9: KECCAK256
000009da: SLOAD
000009db: SWAP1
000009dc: JUMP
000009dd: JUMPDEST
000009de: CALLVALUE
000009df: DUP1
000009e0: ISZERO
000009e1: PUSH2 0x09e9
000009e4: JUMPI
000009e5: PUSH1 0x00
000009e7: DUP1
000009e8: REVERT
000009e9: JUMPDEST
000009ea: POP
000009eb: PUSH2 0x0346
000009ee: PUSH2 0x09f8
000009f1: CALLDATASIZE
000009f2: PUSH1 0x04
000009f4: PUSH2 0x281f
000009f7: JUMP
000009f8: JUMPDEST
000009f9: PUSH2 0x1543
000009fc: JUMP
000009fd: JUMPDEST
000009fe: CALLVALUE
000009ff: DUP1
00000a00: ISZERO
00000a01: PUSH2 0x0a09
00000a04: JUMPI
00000a05: PUSH1 0x00
00000a07: DUP1
00000a08: REVERT
00000a09: JUMPDEST
00000a0a: POP
00000a0b: PUSH1 0x0e
00000a0d: SLOAD
00000a0e: PUSH2 0x03e1
00000a11: JUMP
00000a12: JUMPDEST
00000a13: CALLVALUE
00000a14: DUP1
00000a15: ISZERO
00000a16: PUSH2 0x0a1e
00000a19: JUMPI
00000a1a: PUSH1 0x00
00000a1c: DUP1
00000a1d: REVERT
00000a1e: JUMPDEST
00000a1f: POP
00000a20: PUSH1 0x18
00000a22: SLOAD
00000a23: PUSH2 0x03e1
00000a26: JUMP
00000a27: JUMPDEST
00000a28: CALLVALUE
00000a29: DUP1
00000a2a: ISZERO
00000a2b: PUSH2 0x0a33
00000a2e: JUMPI
00000a2f: PUSH1 0x00
00000a31: DUP1
00000a32: REVERT
00000a33: JUMPDEST
00000a34: POP
00000a35: PUSH2 0x0346
00000a38: PUSH2 0x0a42
00000a3b: CALLDATASIZE
00000a3c: PUSH1 0x04
00000a3e: PUSH2 0x2802
00000a41: JUMP
00000a42: JUMPDEST
00000a43: PUSH2 0x15db
00000a46: JUMP
00000a47: JUMPDEST
00000a48: CALLVALUE
00000a49: DUP1
00000a4a: ISZERO
00000a4b: PUSH2 0x0a53
00000a4e: JUMPI
00000a4f: PUSH1 0x00
00000a51: DUP1
00000a52: REVERT
00000a53: JUMPDEST
00000a54: POP
00000a55: PUSH2 0x061a
00000a58: PUSH2 0x0a62
00000a5b: CALLDATASIZE
00000a5c: PUSH1 0x04
00000a5e: PUSH2 0x2802
00000a61: JUMP
00000a62: JUMPDEST
00000a63: PUSH2 0x16c6
00000a66: JUMP
00000a67: JUMPDEST
00000a68: CALLVALUE
00000a69: DUP1
00000a6a: ISZERO
00000a6b: PUSH2 0x0a73
00000a6e: JUMPI
00000a6f: PUSH1 0x00
00000a71: DUP1
00000a72: REVERT
00000a73: JUMPDEST
00000a74: POP
00000a75: PUSH2 0x0a87
00000a78: PUSH2 0x0a82
00000a7b: CALLDATASIZE
00000a7c: PUSH1 0x04
00000a7e: PUSH2 0x28b7
00000a81: JUMP
00000a82: JUMPDEST
00000a83: PUSH2 0x1775
00000a86: JUMP
00000a87: JUMPDEST
00000a88: PUSH1 0x40
00000a8a: DUP1
00000a8b: MLOAD
00000a8c: SWAP4
00000a8d: DUP5
00000a8e: MSTORE
00000a8f: PUSH1 0x20
00000a91: DUP5
00000a92: ADD
00000a93: SWAP3
00000a94: SWAP1
00000a95: SWAP3
00000a96: MSTORE
00000a97: SWAP1
00000a98: DUP3
00000a99: ADD
00000a9a: MSTORE
00000a9b: PUSH1 0x60
00000a9d: ADD
00000a9e: PUSH2 0x0377
00000aa1: JUMP
00000aa2: JUMPDEST
00000aa3: PUSH1 0x00
00000aa5: PUSH2 0x0aad
00000aa8: PUSH1 0x02
00000aaa: SLOAD
00000aab: SWAP1
00000aac: JUMP
00000aad: JUMPDEST
00000aae: GT
00000aaf: PUSH2 0x0ab7
00000ab2: JUMPI
00000ab3: PUSH1 0x00
00000ab5: DUP1
00000ab6: REVERT
00000ab7: JUMPDEST
00000ab8: CALLVALUE
00000ab9: ISZERO
00000aba: PUSH2 0x0b33
00000abd: JUMPI
00000abe: PUSH2 0x0aea
00000ac1: PUSH2 0x0ac9
00000ac4: PUSH1 0x02
00000ac6: SLOAD
00000ac7: SWAP1
00000ac8: JUMP
00000ac9: JUMPDEST
00000aca: PUSH2 0x0ad7
00000acd: CALLVALUE
00000ace: PUSH1 0x01
00000ad0: PUSH1 0x80
00000ad2: SHL
00000ad3: PUSH2 0x189b
00000ad6: JUMP
00000ad7: JUMPDEST
00000ad8: PUSH2 0x0ae1
00000adb: SWAP2
00000adc: SWAP1
00000add: PUSH2 0x294d
00000ae0: JUMP
00000ae1: JUMPDEST
00000ae2: PUSH1 0x05
00000ae4: SLOAD
00000ae5: SWAP1
00000ae6: PUSH2 0x1924
00000ae9: JUMP
00000aea: JUMPDEST
00000aeb: PUSH1 0x05
00000aed: SSTORE
00000aee: PUSH1 0x40
00000af0: MLOAD
00000af1: CALLVALUE
00000af2: DUP2
00000af3: MSTORE
00000af4: CALLER
00000af5: SWAP1
00000af6: PUSH32 0xa493a9229478c3fcd73f66d2cdeb7f94fd0f341da924d1054236d78454116511
00000b17: SWAP1
00000b18: PUSH1 0x20
00000b1a: ADD
00000b1b: PUSH1 0x40
00000b1d: MLOAD
00000b1e: DUP1
00000b1f: SWAP2
00000b20: SUB
00000b21: SWAP1
00000b22: LOG2
00000b23: PUSH1 0x08
00000b25: SLOAD
00000b26: PUSH2 0x0b2f
00000b29: SWAP1
00000b2a: CALLVALUE
00000b2b: PUSH2 0x1924
00000b2e: JUMP
00000b2f: JUMPDEST
00000b30: PUSH1 0x08
00000b32: SSTORE
00000b33: JUMPDEST
00000b34: JUMP
00000b35: JUMPDEST
00000b36: PUSH1 0x60
00000b38: PUSH1 0x13
00000b3a: DUP1
00000b3b: SLOAD
00000b3c: PUSH2 0x0b44
00000b3f: SWAP1
00000b40: PUSH2 0x296f
00000b43: JUMP
00000b44: JUMPDEST
00000b45: DUP1
00000b46: PUSH1 0x1f
00000b48: ADD
00000b49: PUSH1 0x20
00000b4b: DUP1
00000b4c: SWAP2
00000b4d: DIV
00000b4e: MUL
00000b4f: PUSH1 0x20
00000b51: ADD
00000b52: PUSH1 0x40
00000b54: MLOAD
00000b55: SWAP1
00000b56: DUP2
00000b57: ADD
00000b58: PUSH1 0x40
00000b5a: MSTORE
00000b5b: DUP1
00000b5c: SWAP3
00000b5d: SWAP2
00000b5e: SWAP1
00000b5f: DUP2
00000b60: DUP2
00000b61: MSTORE
00000b62: PUSH1 0x20
00000b64: ADD
00000b65: DUP3
00000b66: DUP1
00000b67: SLOAD
00000b68: PUSH2 0x0b70
00000b6b: SWAP1
00000b6c: PUSH2 0x296f
00000b6f: JUMP
00000b70: JUMPDEST
00000b71: DUP1
00000b72: ISZERO
00000b73: PUSH2 0x0bbd
00000b76: JUMPI
00000b77: DUP1
00000b78: PUSH1 0x1f
00000b7a: LT
00000b7b: PUSH2 0x0b92
00000b7e: JUMPI
00000b7f: PUSH2 0x0100
00000b82: DUP1
00000b83: DUP4
00000b84: SLOAD
00000b85: DIV
00000b86: MUL
00000b87: DUP4
00000b88: MSTORE
00000b89: SWAP2
00000b8a: PUSH1 0x20
00000b8c: ADD
00000b8d: SWAP2
00000b8e: PUSH2 0x0bbd
00000b91: JUMP
00000b92: JUMPDEST
00000b93: DUP3
00000b94: ADD
00000b95: SWAP2
00000b96: SWAP1
00000b97: PUSH1 0x00
00000b99: MSTORE
00000b9a: PUSH1 0x20
00000b9c: PUSH1 0x00
00000b9e: KECCAK256
00000b9f: SWAP1
00000ba0: JUMPDEST
00000ba1: DUP2
00000ba2: SLOAD
00000ba3: DUP2
00000ba4: MSTORE
00000ba5: SWAP1
00000ba6: PUSH1 0x01
00000ba8: ADD
00000ba9: SWAP1
00000baa: PUSH1 0x20
00000bac: ADD
00000bad: DUP1
00000bae: DUP4
00000baf: GT
00000bb0: PUSH2 0x0ba0
00000bb3: JUMPI
00000bb4: DUP3
00000bb5: SWAP1
00000bb6: SUB
00000bb7: PUSH1 0x1f
00000bb9: AND
00000bba: DUP3
00000bbb: ADD
00000bbc: SWAP2
00000bbd: JUMPDEST
00000bbe: POP
00000bbf: POP
00000bc0: POP
00000bc1: POP
00000bc2: POP
00000bc3: SWAP1
00000bc4: POP
00000bc5: SWAP1
00000bc6: JUMP
00000bc7: JUMPDEST
00000bc8: PUSH1 0x09
00000bca: SLOAD
00000bcb: PUSH1 0x01
00000bcd: PUSH1 0x01
00000bcf: PUSH1 0xa0
00000bd1: SHL
00000bd2: SUB
00000bd3: AND
00000bd4: CALLER
00000bd5: EQ
00000bd6: PUSH2 0x0bfa
00000bd9: JUMPI
00000bda: PUSH1 0x40
00000bdc: MLOAD
00000bdd: PUSH3 0x461bcd
00000be1: PUSH1 0xe5
00000be3: SHL
00000be4: DUP2
00000be5: MSTORE
00000be6: PUSH1 0x04
00000be8: ADD
00000be9: PUSH2 0x0bf1
00000bec: SWAP1
00000bed: PUSH2 0x29a9
00000bf0: JUMP
00000bf1: JUMPDEST
00000bf2: PUSH1 0x40
00000bf4: MLOAD
00000bf5: DUP1
00000bf6: SWAP2
00000bf7: SUB
00000bf8: SWAP1
00000bf9: REVERT
00000bfa: JUMPDEST
00000bfb: PUSH1 0x01
00000bfd: PUSH1 0x01
00000bff: PUSH1 0xa0
00000c01: SHL
00000c02: SUB
00000c03: AND
00000c04: PUSH1 0x00
00000c06: SWAP1
00000c07: DUP2
00000c08: MSTORE
00000c09: PUSH1 0x0f
00000c0b: PUSH1 0x20
00000c0d: MSTORE
00000c0e: PUSH1 0x40
00000c10: SWAP1
00000c11: KECCAK256
00000c12: DUP1
00000c13: SLOAD
00000c14: PUSH1 0xff
00000c16: NOT
00000c17: AND
00000c18: SWAP1
00000c19: SSTORE
00000c1a: JUMP
00000c1b: JUMPDEST
00000c1c: PUSH1 0x00
00000c1e: PUSH2 0x0c28
00000c21: CALLER
00000c22: DUP5
00000c23: DUP5
00000c24: PUSH2 0x1983
00000c27: JUMP
00000c28: JUMPDEST
00000c29: POP
00000c2a: PUSH1 0x01
00000c2c: JUMPDEST
00000c2d: SWAP3
00000c2e: SWAP2
00000c2f: POP
00000c30: POP
00000c31: JUMP
00000c32: JUMPDEST
00000c33: PUSH1 0x00
00000c35: PUSH2 0x0c3f
00000c38: DUP5
00000c39: DUP5
00000c3a: DUP5
00000c3b: PUSH2 0x1aa7
00000c3e: JUMP
00000c3f: JUMPDEST
00000c40: PUSH2 0x0c91
00000c43: DUP5
00000c44: CALLER
00000c45: PUSH2 0x0c8c
00000c48: DUP6
00000c49: PUSH1 0x40
00000c4b: MLOAD
00000c4c: DUP1
00000c4d: PUSH1 0x60
00000c4f: ADD
00000c50: PUSH1 0x40
00000c52: MSTORE
00000c53: DUP1
00000c54: PUSH1 0x28
00000c56: DUP2
00000c57: MSTORE
00000c58: PUSH1 0x20
00000c5a: ADD
00000c5b: PUSH2 0x2b9e
00000c5e: PUSH1 0x28
00000c60: SWAP2
00000c61: CODECOPY
00000c62: PUSH1 0x01
00000c64: PUSH1 0x01
00000c66: PUSH1 0xa0
00000c68: SHL
00000c69: SUB
00000c6a: DUP11
00000c6b: AND
00000c6c: PUSH1 0x00
00000c6e: SWAP1
00000c6f: DUP2
00000c70: MSTORE
00000c71: PUSH1 0x01
00000c73: PUSH1 0x20
00000c75: SWAP1
00000c76: DUP2
00000c77: MSTORE
00000c78: PUSH1 0x40
00000c7a: DUP1
00000c7b: DUP4
00000c7c: KECCAK256
00000c7d: CALLER
00000c7e: DUP5
00000c7f: MSTORE
00000c80: SWAP1
00000c81: SWAP2
00000c82: MSTORE
00000c83: SWAP1
00000c84: KECCAK256
00000c85: SLOAD
00000c86: SWAP2
00000c87: SWAP1
00000c88: PUSH2 0x1b0a
00000c8b: JUMP
00000c8c: JUMPDEST
00000c8d: PUSH2 0x1983
00000c90: JUMP
00000c91: JUMPDEST
00000c92: POP
00000c93: PUSH1 0x01
00000c95: SWAP4
00000c96: SWAP3
00000c97: POP
00000c98: POP
00000c99: POP
00000c9a: JUMP
00000c9b: JUMPDEST
00000c9c: PUSH1 0x01
00000c9e: PUSH1 0x01
00000ca0: PUSH1 0xa0
00000ca2: SHL
00000ca3: SUB
00000ca4: DUP2
00000ca5: AND
00000ca6: PUSH1 0x00
00000ca8: SWAP1
00000ca9: DUP2
00000caa: MSTORE
00000cab: PUSH1 0x06
00000cad: PUSH1 0x20
00000caf: SWAP1
00000cb0: DUP2
00000cb1: MSTORE
00000cb2: PUSH1 0x40
00000cb4: DUP1
00000cb5: DUP4
00000cb6: KECCAK256
00000cb7: SLOAD
00000cb8: SWAP2
00000cb9: DUP4
00000cba: SWAP1
00000cbb: MSTORE
00000cbc: DUP3
00000cbd: KECCAK256
00000cbe: SLOAD
00000cbf: PUSH1 0x05
00000cc1: SLOAD
00000cc2: PUSH1 0x01
00000cc4: PUSH1 0x80
00000cc6: SHL
00000cc7: SWAP3
00000cc8: PUSH2 0x0ced
00000ccb: SWAP3
00000ccc: PUSH2 0x0ce8
00000ccf: SWAP3
00000cd0: PUSH2 0x0ce2
00000cd3: SWAP2
00000cd4: PUSH2 0x0cdd
00000cd7: SWAP2
00000cd8: SWAP1
00000cd9: PUSH2 0x189b
00000cdc: JUMP
00000cdd: JUMPDEST
00000cde: PUSH2 0x1b44
00000ce1: JUMP
00000ce2: JUMPDEST
00000ce3: SWAP1
00000ce4: PUSH2 0x1b54
00000ce7: JUMP
00000ce8: JUMPDEST
00000ce9: PUSH2 0x1b92
00000cec: JUMP
00000ced: JUMPDEST
00000cee: PUSH2 0x0c2c
00000cf1: SWAP2
00000cf2: SWAP1
00000cf3: PUSH2 0x294d
00000cf6: JUMP
00000cf7: JUMPDEST
00000cf8: PUSH1 0x09
00000cfa: SLOAD
00000cfb: PUSH1 0x01
00000cfd: PUSH1 0x01
00000cff: PUSH1 0xa0
00000d01: SHL
00000d02: SUB
00000d03: AND
00000d04: CALLER
00000d05: EQ
00000d06: PUSH2 0x0d21
00000d09: JUMPI
00000d0a: PUSH1 0x40
00000d0c: MLOAD
00000d0d: PUSH3 0x461bcd
00000d11: PUSH1 0xe5
00000d13: SHL
00000d14: DUP2
00000d15: MSTORE
00000d16: PUSH1 0x04
00000d18: ADD
00000d19: PUSH2 0x0bf1
00000d1c: SWAP1
00000d1d: PUSH2 0x29a9
00000d20: JUMP
00000d21: JUMPDEST
00000d22: PUSH1 0x01
00000d24: PUSH1 0x01
00000d26: PUSH1 0xa0
00000d28: SHL
00000d29: SUB
00000d2a: DUP2
00000d2b: AND
00000d2c: PUSH1 0x00
00000d2e: SWAP1
00000d2f: DUP2
00000d30: MSTORE
00000d31: PUSH1 0x0f
00000d33: PUSH1 0x20
00000d35: MSTORE
00000d36: PUSH1 0x40
00000d38: DUP2
00000d39: KECCAK256
00000d3a: DUP1
00000d3b: SLOAD
00000d3c: PUSH1 0xff
00000d3e: NOT
00000d3f: AND
00000d40: PUSH1 0x01
00000d42: OR
00000d43: SWAP1
00000d44: SSTORE
00000d45: PUSH2 0x0d4f
00000d48: SWAP1
00000d49: DUP3
00000d4a: SWAP1
00000d4b: PUSH2 0x1ba5
00000d4e: JUMP
00000d4f: JUMPDEST
00000d50: PUSH2 0x0d5a
00000d53: PUSH1 0x0a
00000d55: DUP3
00000d56: PUSH2 0x1c04
00000d59: JUMP
00000d5a: JUMPDEST
00000d5b: PUSH1 0x40
00000d5d: MLOAD
00000d5e: PUSH1 0x01
00000d60: PUSH1 0x01
00000d62: PUSH1 0xa0
00000d64: SHL
00000d65: SUB
00000d66: DUP3
00000d67: AND
00000d68: SWAP1
00000d69: PUSH32 0xa878b31040b2e6d0a9a3d3361209db3908ba62014b0dca52adbaee451d128b25
00000d8a: SWAP1
00000d8b: PUSH1 0x00
00000d8d: SWAP1
00000d8e: LOG2
00000d8f: POP
00000d90: JUMP
00000d91: JUMPDEST
00000d92: PUSH1 0x09
00000d94: SLOAD
00000d95: PUSH1 0x01
00000d97: PUSH1 0x01
00000d99: PUSH1 0xa0
00000d9b: SHL
00000d9c: SUB
00000d9d: AND
00000d9e: CALLER
00000d9f: EQ
00000da0: PUSH2 0x0dbb
00000da3: JUMPI
00000da4: PUSH1 0x40
00000da6: MLOAD
00000da7: PUSH3 0x461bcd
00000dab: PUSH1 0xe5
00000dad: SHL
00000dae: DUP2
00000daf: MSTORE
00000db0: PUSH1 0x04
00000db2: ADD
00000db3: PUSH2 0x0bf1
00000db6: SWAP1
00000db7: PUSH2 0x29a9
00000dba: JUMP
00000dbb: JUMPDEST
00000dbc: DUP1
00000dbd: ISZERO
00000dbe: ISZERO
00000dbf: PUSH1 0x12
00000dc1: PUSH1 0x16
00000dc3: SWAP1
00000dc4: SLOAD
00000dc5: SWAP1
00000dc6: PUSH2 0x0100
00000dc9: EXP
00000dca: SWAP1
00000dcb: DIV
00000dcc: PUSH1 0xff
00000dce: AND
00000dcf: ISZERO
00000dd0: ISZERO
00000dd1: SUB
00000dd2: PUSH2 0x0dda
00000dd5: JUMPI
00000dd6: PUSH1 0x00
00000dd8: DUP1
00000dd9: REVERT
00000dda: JUMPDEST
00000ddb: PUSH1 0x12
00000ddd: DUP1
00000dde: SLOAD
00000ddf: DUP3
00000de0: ISZERO
00000de1: ISZERO
00000de2: PUSH1 0x01
00000de4: PUSH1 0xb0
00000de6: SHL
00000de7: MUL
00000de8: PUSH1 0xff
00000dea: PUSH1 0xb0
00000dec: SHL
00000ded: NOT
00000dee: SWAP1
00000def: SWAP2
00000df0: AND
00000df1: OR
00000df2: SWAP1
00000df3: SSTORE
00000df4: PUSH1 0x40
00000df6: MLOAD
00000df7: PUSH32 0x3da2593f2c4724acfbd754045321e852cad26f3974834b1890045530f89c21b3
00000e18: SWAP1
00000e19: PUSH2 0x0e27
00000e1c: SWAP1
00000e1d: DUP4
00000e1e: ISZERO
00000e1f: ISZERO
00000e20: DUP2
00000e21: MSTORE
00000e22: PUSH1 0x20
00000e24: ADD
00000e25: SWAP1
00000e26: JUMP
00000e27: JUMPDEST
00000e28: PUSH1 0x40
00000e2a: MLOAD
00000e2b: DUP1
00000e2c: SWAP2
00000e2d: SUB
00000e2e: SWAP1
00000e2f: LOG1
00000e30: POP
00000e31: JUMP
00000e32: JUMPDEST
00000e33: CALLER
00000e34: PUSH1 0x00
00000e36: DUP2
00000e37: DUP2
00000e38: MSTORE
00000e39: PUSH1 0x01
00000e3b: PUSH1 0x20
00000e3d: SWAP1
00000e3e: DUP2
00000e3f: MSTORE
00000e40: PUSH1 0x40
00000e42: DUP1
00000e43: DUP4
00000e44: KECCAK256
00000e45: PUSH1 0x01
00000e47: PUSH1 0x01
00000e49: PUSH1 0xa0
00000e4b: SHL
00000e4c: SUB
00000e4d: DUP8
00000e4e: AND
00000e4f: DUP5
00000e50: MSTORE
00000e51: SWAP1
00000e52: SWAP2
00000e53: MSTORE
00000e54: DUP2
00000e55: KECCAK256
00000e56: SLOAD
00000e57: SWAP1
00000e58: SWAP2
00000e59: PUSH2 0x0c28
00000e5c: SWAP2
00000e5d: DUP6
00000e5e: SWAP1
00000e5f: PUSH2 0x0c8c
00000e62: SWAP1
00000e63: DUP7
00000e64: PUSH2 0x1924
00000e67: JUMP
00000e68: JUMPDEST
00000e69: PUSH1 0x09
00000e6b: SLOAD
00000e6c: PUSH1 0x01
00000e6e: PUSH1 0x01
00000e70: PUSH1 0xa0
00000e72: SHL
00000e73: SUB
00000e74: AND
00000e75: CALLER
00000e76: EQ
00000e77: PUSH2 0x0e92
00000e7a: JUMPI
00000e7b: PUSH1 0x40
00000e7d: MLOAD
00000e7e: PUSH3 0x461bcd
00000e82: PUSH1 0xe5
00000e84: SHL
00000e85: DUP2
00000e86: MSTORE
00000e87: PUSH1 0x04
00000e89: ADD
00000e8a: PUSH2 0x0bf1
00000e8d: SWAP1
00000e8e: PUSH2 0x29a9
00000e91: JUMP
00000e92: JUMPDEST
00000e93: DUP1
00000e94: ISZERO
00000e95: ISZERO
00000e96: PUSH1 0x12
00000e98: PUSH1 0x15
00000e9a: SWAP1
00000e9b: SLOAD
00000e9c: SWAP1
00000e9d: PUSH2 0x0100
00000ea0: EXP
00000ea1: SWAP1
00000ea2: DIV
00000ea3: PUSH1 0xff
00000ea5: AND
00000ea6: ISZERO
00000ea7: ISZERO
00000ea8: SUB
00000ea9: PUSH2 0x0eb1
00000eac: JUMPI
00000ead: PUSH1 0x00
00000eaf: DUP1
00000eb0: REVERT
00000eb1: JUMPDEST
00000eb2: PUSH1 0x12
00000eb4: DUP1
00000eb5: SLOAD
00000eb6: DUP3
00000eb7: ISZERO
00000eb8: ISZERO
00000eb9: PUSH1 0x01
00000ebb: PUSH1 0xa8
00000ebd: SHL
00000ebe: MUL
00000ebf: PUSH1 0xff
00000ec1: PUSH1 0xa8
00000ec3: SHL
00000ec4: NOT
00000ec5: SWAP1
00000ec6: SWAP2
00000ec7: AND
00000ec8: OR
00000ec9: SWAP1
00000eca: SSTORE
00000ecb: PUSH1 0x40
00000ecd: MLOAD
00000ece: PUSH32 0xc138a28750b971696f46ea59731c471ef1e08e4015404afdb139fd2e87dca1bb
00000eef: SWAP1
00000ef0: PUSH2 0x0e27
00000ef3: SWAP1
00000ef4: DUP4
00000ef5: ISZERO
00000ef6: ISZERO
00000ef7: DUP2
00000ef8: MSTORE
00000ef9: PUSH1 0x20
00000efb: ADD
00000efc: SWAP1
00000efd: JUMP
00000efe: JUMPDEST
00000eff: PUSH1 0x00
00000f01: DUP1
00000f02: PUSH1 0x00
00000f04: DUP1
00000f05: PUSH1 0x00
00000f07: DUP1
00000f08: PUSH2 0x0f10
00000f0b: PUSH1 0x0a
00000f0d: SLOAD
00000f0e: SWAP1
00000f0f: JUMP
00000f10: JUMPDEST
00000f11: DUP8
00000f12: LT
00000f13: PUSH2 0x0f2f
00000f16: JUMPI
00000f17: POP
00000f18: PUSH1 0x00
00000f1a: SWAP5
00000f1b: POP
00000f1c: PUSH1 0x00
00000f1e: NOT
00000f1f: SWAP4
00000f20: POP
00000f21: DUP4
00000f22: SWAP3
00000f23: POP
00000f24: DUP5
00000f25: SWAP2
00000f26: POP
00000f27: DUP2
00000f28: SWAP1
00000f29: POP
00000f2a: DUP1
00000f2b: PUSH2 0x0f55
00000f2e: JUMP
00000f2f: JUMPDEST
00000f30: PUSH1 0x00
00000f32: PUSH2 0x0f3c
00000f35: PUSH1 0x0a
00000f37: DUP10
00000f38: PUSH2 0x1d3f
00000f3b: JUMP
00000f3c: JUMPDEST
00000f3d: SWAP1
00000f3e: POP
00000f3f: PUSH2 0x0f47
00000f42: DUP2
00000f43: PUSH2 0x16c6
00000f46: JUMP
00000f47: JUMPDEST
00000f48: SWAP7
00000f49: POP
00000f4a: SWAP7
00000f4b: POP
00000f4c: SWAP7
00000f4d: POP
00000f4e: SWAP7
00000f4f: POP
00000f50: SWAP7
00000f51: POP
00000f52: SWAP7
00000f53: POP
00000f54: POP
00000f55: JUMPDEST
00000f56: SWAP2
00000f57: SWAP4
00000f58: SWAP6
00000f59: POP
00000f5a: SWAP2
00000f5b: SWAP4
00000f5c: SWAP6
00000f5d: JUMP
00000f5e: JUMPDEST
00000f5f: PUSH1 0x09
00000f61: SLOAD
00000f62: PUSH1 0x01
00000f64: PUSH1 0x01
00000f66: PUSH1 0xa0
00000f68: SHL
00000f69: SUB
00000f6a: AND
00000f6b: CALLER
00000f6c: EQ
00000f6d: PUSH2 0x0f88
00000f70: JUMPI
00000f71: PUSH1 0x40
00000f73: MLOAD
00000f74: PUSH3 0x461bcd
00000f78: PUSH1 0xe5
00000f7a: SHL
00000f7b: DUP2
00000f7c: MSTORE
00000f7d: PUSH1 0x04
00000f7f: ADD
00000f80: PUSH2 0x0bf1
00000f83: SWAP1
00000f84: PUSH2 0x29a9
00000f87: JUMP
00000f88: JUMPDEST
00000f89: PUSH2 0x0f9a
00000f8c: DUP2
00000f8d: PUSH8 0x0de0b6b3a7640000
00000f96: PUSH2 0x29de
00000f99: JUMP
00000f9a: JUMPDEST
00000f9b: PUSH1 0x18
00000f9d: SSTORE
00000f9e: POP
00000f9f: JUMP
00000fa0: JUMPDEST
00000fa1: PUSH1 0x09
00000fa3: SLOAD
00000fa4: PUSH1 0x01
00000fa6: PUSH1 0x01
00000fa8: PUSH1 0xa0
00000faa: SHL
00000fab: SUB
00000fac: AND
00000fad: CALLER
00000fae: EQ
00000faf: PUSH2 0x0fca
00000fb2: JUMPI
00000fb3: PUSH1 0x40
00000fb5: MLOAD
00000fb6: PUSH3 0x461bcd
00000fba: PUSH1 0xe5
00000fbc: SHL
00000fbd: DUP2
00000fbe: MSTORE
00000fbf: PUSH1 0x04
00000fc1: ADD
00000fc2: PUSH2 0x0bf1
00000fc5: SWAP1
00000fc6: PUSH2 0x29a9
00000fc9: JUMP
00000fca: JUMPDEST
00000fcb: PUSH2 0x0fdc
00000fce: DUP2
00000fcf: PUSH8 0x0de0b6b3a7640000
00000fd8: PUSH2 0x29de
00000fdb: JUMP
00000fdc: JUMPDEST
00000fdd: PUSH1 0x19
00000fdf: SSTORE
00000fe0: POP
00000fe1: JUMP
00000fe2: JUMPDEST
00000fe3: PUSH1 0x40
00000fe5: MLOAD
00000fe6: PUSH3 0x461bcd
00000fea: PUSH1 0xe5
00000fec: SHL
00000fed: DUP2
00000fee: MSTORE
00000fef: PUSH1 0x20
00000ff1: PUSH1 0x04
00000ff3: DUP3
00000ff4: ADD
00000ff5: MSTORE
00000ff6: PUSH1 0x69
00000ff8: PUSH1 0x24
00000ffa: DUP3
00000ffb: ADD
00000ffc: MSTORE
00000ffd: PUSH32 0x4d41474156505f4469766964656e645f547261636b65723a2077697468647261
0000101e: PUSH1 0x44
00001020: DUP3
00001021: ADD
00001022: MSTORE
00001023: PUSH32 0x774469766964656e642064697361626c65642e20557365207468652027636c61
00001044: PUSH1 0x64
00001046: DUP3
00001047: ADD
00001048: MSTORE
00001049: PUSH32 0x696d272066756e6374696f6e206f6e20746865206d61696e204d414741565020
0000106a: PUSH1 0x84
0000106c: DUP3
0000106d: ADD
0000106e: MSTORE
0000106f: PUSH9 0x31b7b73a3930b1ba17
00001079: PUSH1 0xb9
0000107b: SHL
0000107c: PUSH1 0xa4
0000107e: DUP3
0000107f: ADD
00001080: MSTORE
00001081: PUSH1 0xc4
00001083: ADD
00001084: PUSH2 0x0bf1
00001087: JUMP
00001088: JUMPDEST
00001089: PUSH1 0x09
0000108b: SLOAD
0000108c: PUSH1 0x00
0000108e: SWAP1
0000108f: PUSH1 0x01
00001091: PUSH1 0x01
00001093: PUSH1 0xa0
00001095: SHL
00001096: SUB
00001097: AND
00001098: CALLER
00001099: EQ
0000109a: PUSH2 0x10b5
0000109d: JUMPI
0000109e: PUSH1 0x40
000010a0: MLOAD
000010a1: PUSH3 0x461bcd
000010a5: PUSH1 0xe5
000010a7: SHL
000010a8: DUP2
000010a9: MSTORE
000010aa: PUSH1 0x04
000010ac: ADD
000010ad: PUSH2 0x0bf1
000010b0: SWAP1
000010b1: PUSH2 0x29a9
000010b4: JUMP
000010b5: JUMPDEST
000010b6: POP
000010b7: PUSH1 0x01
000010b9: PUSH1 0x01
000010bb: PUSH1 0xa0
000010bd: SHL
000010be: SUB
000010bf: AND
000010c0: PUSH1 0x00
000010c2: SWAP1
000010c3: DUP2
000010c4: MSTORE
000010c5: PUSH1 0x10
000010c7: PUSH1 0x20
000010c9: MSTORE
000010ca: PUSH1 0x40
000010cc: SWAP1
000010cd: KECCAK256
000010ce: SLOAD
000010cf: PUSH1 0xff
000010d1: AND
000010d2: SWAP1
000010d3: JUMP
000010d4: JUMPDEST
000010d5: PUSH1 0x09
000010d7: SLOAD
000010d8: PUSH1 0x01
000010da: PUSH1 0x01
000010dc: PUSH1 0xa0
000010de: SHL
000010df: SUB
000010e0: AND
000010e1: CALLER
000010e2: EQ
000010e3: PUSH2 0x10fe
000010e6: JUMPI
000010e7: PUSH1 0x40
000010e9: MLOAD
000010ea: PUSH3 0x461bcd
000010ee: PUSH1 0xe5
000010f0: SHL
000010f1: DUP2
000010f2: MSTORE
000010f3: PUSH1 0x04
000010f5: ADD
000010f6: PUSH2 0x0bf1
000010f9: SWAP1
000010fa: PUSH2 0x29a9
000010fd: JUMP
000010fe: JUMPDEST
000010ff: PUSH1 0x09
00001101: SLOAD
00001102: PUSH1 0x40
00001104: MLOAD
00001105: PUSH1 0x00
00001107: SWAP2
00001108: PUSH1 0x01
0000110a: PUSH1 0x01
0000110c: PUSH1 0xa0
0000110e: SHL
0000110f: SUB
00001110: AND
00001111: SWAP1
00001112: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001133: SWAP1
00001134: DUP4
00001135: SWAP1
00001136: LOG3
00001137: PUSH1 0x09
00001139: DUP1
0000113a: SLOAD
0000113b: PUSH1 0x01
0000113d: PUSH1 0x01
0000113f: PUSH1 0xa0
00001141: SHL
00001142: SUB
00001143: NOT
00001144: AND
00001145: SWAP1
00001146: SSTORE
00001147: JUMP
00001148: JUMPDEST
00001149: PUSH1 0x09
0000114b: SLOAD
0000114c: PUSH1 0x01
0000114e: PUSH1 0x01
00001150: PUSH1 0xa0
00001152: SHL
00001153: SUB
00001154: AND
00001155: CALLER
00001156: EQ
00001157: PUSH2 0x1172
0000115a: JUMPI
0000115b: PUSH1 0x40
0000115d: MLOAD
0000115e: PUSH3 0x461bcd
00001162: PUSH1 0xe5
00001164: SHL
00001165: DUP2
00001166: MSTORE
00001167: PUSH1 0x04
00001169: ADD
0000116a: PUSH2 0x0bf1
0000116d: SWAP1
0000116e: PUSH2 0x29a9
00001171: JUMP
00001172: JUMPDEST
00001173: PUSH1 0x01
00001175: PUSH1 0x01
00001177: PUSH1 0xa0
00001179: SHL
0000117a: SUB
0000117b: SWAP2
0000117c: SWAP1
0000117d: SWAP2
0000117e: AND
0000117f: PUSH1 0x00
00001181: SWAP1
00001182: DUP2
00001183: MSTORE
00001184: PUSH1 0x10
00001186: PUSH1 0x20
00001188: MSTORE
00001189: PUSH1 0x40
0000118b: SWAP1
0000118c: KECCAK256
0000118d: DUP1
0000118e: SLOAD
0000118f: PUSH1 0xff
00001191: NOT
00001192: AND
00001193: SWAP2
00001194: ISZERO
00001195: ISZERO
00001196: SWAP2
00001197: SWAP1
00001198: SWAP2
00001199: OR
0000119a: SWAP1
0000119b: SSTORE
0000119c: JUMP
0000119d: JUMPDEST
0000119e: PUSH1 0x00
000011a0: PUSH2 0x0c2c
000011a3: DUP3
000011a4: PUSH2 0x129c
000011a7: JUMP
000011a8: JUMPDEST
000011a9: PUSH1 0x60
000011ab: PUSH1 0x14
000011ad: DUP1
000011ae: SLOAD
000011af: PUSH2 0x0b44
000011b2: SWAP1
000011b3: PUSH2 0x296f
000011b6: JUMP
000011b7: JUMPDEST
000011b8: PUSH1 0x09
000011ba: SLOAD
000011bb: PUSH1 0x01
000011bd: PUSH1 0x01
000011bf: PUSH1 0xa0
000011c1: SHL
000011c2: SUB
000011c3: AND
000011c4: CALLER
000011c5: EQ
000011c6: PUSH2 0x11e1
000011c9: JUMPI
000011ca: PUSH1 0x40
000011cc: MLOAD
000011cd: PUSH3 0x461bcd
000011d1: PUSH1 0xe5
000011d3: SHL
000011d4: DUP2
000011d5: MSTORE
000011d6: PUSH1 0x04
000011d8: ADD
000011d9: PUSH2 0x0bf1
000011dc: SWAP1
000011dd: PUSH2 0x29a9
000011e0: JUMP
000011e1: JUMPDEST
000011e2: DUP1
000011e3: ISZERO
000011e4: ISZERO
000011e5: PUSH1 0x12
000011e7: PUSH1 0x14
000011e9: SWAP1
000011ea: SLOAD
000011eb: SWAP1
000011ec: PUSH2 0x0100
000011ef: EXP
000011f0: SWAP1
000011f1: DIV
000011f2: PUSH1 0xff
000011f4: AND
000011f5: ISZERO
000011f6: ISZERO
000011f7: SUB
000011f8: PUSH2 0x1200
000011fb: JUMPI
000011fc: PUSH1 0x00
000011fe: DUP1
000011ff: REVERT
00001200: JUMPDEST
00001201: PUSH1 0x12
00001203: DUP1
00001204: SLOAD
00001205: DUP3
00001206: ISZERO
00001207: ISZERO
00001208: PUSH1 0x01
0000120a: PUSH1 0xa0
0000120c: SHL
0000120d: MUL
0000120e: PUSH1 0xff
00001210: PUSH1 0xa0
00001212: SHL
00001213: NOT
00001214: SWAP1
00001215: SWAP2
00001216: AND
00001217: OR
00001218: SWAP1
00001219: SSTORE
0000121a: PUSH1 0x40
0000121c: MLOAD
0000121d: PUSH32 0x8d34c313963017194ed726d050e868657d0e2d2c6748d13e358cd4b89d4ee7c8
0000123e: SWAP1
0000123f: PUSH2 0x0e27
00001242: SWAP1
00001243: DUP4
00001244: ISZERO
00001245: ISZERO
00001246: DUP2
00001247: MSTORE
00001248: PUSH1 0x20
0000124a: ADD
0000124b: SWAP1
0000124c: JUMP
0000124d: JUMPDEST
0000124e: PUSH1 0x00
00001250: PUSH2 0x0c28
00001253: CALLER
00001254: DUP5
00001255: PUSH2 0x0c8c
00001258: DUP6
00001259: PUSH1 0x40
0000125b: MLOAD
0000125c: DUP1
0000125d: PUSH1 0x60
0000125f: ADD
00001260: PUSH1 0x40
00001262: MSTORE
00001263: DUP1
00001264: PUSH1 0x25
00001266: DUP2
00001267: MSTORE
00001268: PUSH1 0x20
0000126a: ADD
0000126b: PUSH2 0x2bc6
0000126e: PUSH1 0x25
00001270: SWAP2
00001271: CODECOPY
00001272: CALLER
00001273: PUSH1 0x00
00001275: SWAP1
00001276: DUP2
00001277: MSTORE
00001278: PUSH1 0x01
0000127a: PUSH1 0x20
0000127c: SWAP1
0000127d: DUP2
0000127e: MSTORE
0000127f: PUSH1 0x40
00001281: DUP1
00001282: DUP4
00001283: KECCAK256
00001284: PUSH1 0x01
00001286: PUSH1 0x01
00001288: PUSH1 0xa0
0000128a: SHL
0000128b: SUB
0000128c: DUP14
0000128d: AND
0000128e: DUP5
0000128f: MSTORE
00001290: SWAP1
00001291: SWAP2
00001292: MSTORE
00001293: SWAP1
00001294: KECCAK256
00001295: SLOAD
00001296: SWAP2
00001297: SWAP1
00001298: PUSH2 0x1b0a
0000129b: JUMP
0000129c: JUMPDEST
0000129d: PUSH1 0x01
0000129f: PUSH1 0x01
000012a1: PUSH1 0xa0
000012a3: SHL
000012a4: SUB
000012a5: DUP2
000012a6: AND
000012a7: PUSH1 0x00
000012a9: SWAP1
000012aa: DUP2
000012ab: MSTORE
000012ac: PUSH1 0x07
000012ae: PUSH1 0x20
000012b0: MSTORE
000012b1: PUSH1 0x40
000012b3: DUP2
000012b4: KECCAK256
000012b5: SLOAD
000012b6: PUSH2 0x0c2c
000012b9: SWAP1
000012ba: PUSH2 0x12c2
000012bd: DUP5
000012be: PUSH2 0x0c9b
000012c1: JUMP
000012c2: JUMPDEST
000012c3: SWAP1
000012c4: PUSH2 0x1d72
000012c7: JUMP
000012c8: JUMPDEST
000012c9: PUSH1 0x00
000012cb: PUSH2 0x0c28
000012ce: CALLER
000012cf: DUP5
000012d0: DUP5
000012d1: PUSH2 0x1aa7
000012d4: JUMP
000012d5: JUMPDEST
000012d6: PUSH1 0x09
000012d8: SLOAD
000012d9: PUSH1 0x01
000012db: PUSH1 0x01
000012dd: PUSH1 0xa0
000012df: SHL
000012e0: SUB
000012e1: AND
000012e2: CALLER
000012e3: EQ
000012e4: PUSH2 0x12ff
000012e7: JUMPI
000012e8: PUSH1 0x40
000012ea: MLOAD
000012eb: PUSH3 0x461bcd
000012ef: PUSH1 0xe5
000012f1: SHL
000012f2: DUP2
000012f3: MSTORE
000012f4: PUSH1 0x04
000012f6: ADD
000012f7: PUSH2 0x0bf1
000012fa: SWAP1
000012fb: PUSH2 0x29a9
000012fe: JUMP
000012ff: JUMPDEST
00001300: PUSH1 0x01
00001302: PUSH1 0x01
00001304: PUSH1 0xa0
00001306: SHL
00001307: SUB
00001308: SWAP2
00001309: SWAP1
0000130a: SWAP2
0000130b: AND
0000130c: PUSH1 0x00
0000130e: SWAP1
0000130f: DUP2
00001310: MSTORE
00001311: PUSH1 0x11
00001313: PUSH1 0x20
00001315: MSTORE
00001316: PUSH1 0x40
00001318: SWAP1
00001319: KECCAK256
0000131a: DUP1
0000131b: SLOAD
0000131c: PUSH1 0xff
0000131e: NOT
0000131f: AND
00001320: SWAP2
00001321: ISZERO
00001322: ISZERO
00001323: SWAP2
00001324: SWAP1
00001325: SWAP2
00001326: OR
00001327: SWAP1
00001328: SSTORE
00001329: JUMP
0000132a: JUMPDEST
0000132b: PUSH1 0x09
0000132d: SLOAD
0000132e: PUSH1 0x00
00001330: SWAP1
00001331: PUSH1 0x01
00001333: PUSH1 0x01
00001335: PUSH1 0xa0
00001337: SHL
00001338: SUB
00001339: AND
0000133a: CALLER
0000133b: EQ
0000133c: PUSH2 0x1357
0000133f: JUMPI
00001340: PUSH1 0x40
00001342: MLOAD
00001343: PUSH3 0x461bcd
00001347: PUSH1 0xe5
00001349: SHL
0000134a: DUP2
0000134b: MSTORE
0000134c: PUSH1 0x04
0000134e: ADD
0000134f: PUSH2 0x0bf1
00001352: SWAP1
00001353: PUSH2 0x29a9
00001356: JUMP
00001357: JUMPDEST
00001358: POP
00001359: PUSH1 0x01
0000135b: PUSH1 0x01
0000135d: PUSH1 0xa0
0000135f: SHL
00001360: SUB
00001361: AND
00001362: PUSH1 0x00
00001364: SWAP1
00001365: DUP2
00001366: MSTORE
00001367: PUSH1 0x11
00001369: PUSH1 0x20
0000136b: MSTORE
0000136c: PUSH1 0x40
0000136e: SWAP1
0000136f: KECCAK256
00001370: SLOAD
00001371: PUSH1 0xff
00001373: AND
00001374: SWAP1
00001375: JUMP
00001376: JUMPDEST
00001377: PUSH1 0x09
00001379: SLOAD
0000137a: PUSH1 0x00
0000137c: SWAP1
0000137d: PUSH1 0x01
0000137f: PUSH1 0x01
00001381: PUSH1 0xa0
00001383: SHL
00001384: SUB
00001385: AND
00001386: CALLER
00001387: EQ
00001388: PUSH2 0x13a3
0000138b: JUMPI
0000138c: PUSH1 0x40
0000138e: MLOAD
0000138f: PUSH3 0x461bcd
00001393: PUSH1 0xe5
00001395: SHL
00001396: DUP2
00001397: MSTORE
00001398: PUSH1 0x04
0000139a: ADD
0000139b: PUSH2 0x0bf1
0000139e: SWAP1
0000139f: PUSH2 0x29a9
000013a2: JUMP
000013a3: JUMPDEST
000013a4: PUSH1 0x12
000013a6: SLOAD
000013a7: PUSH1 0x01
000013a9: PUSH1 0xb0
000013ab: SHL
000013ac: SWAP1
000013ad: DIV
000013ae: PUSH1 0xff
000013b0: AND
000013b1: ISZERO
000013b2: PUSH2 0x13bd
000013b5: JUMPI
000013b6: POP
000013b7: PUSH1 0x00
000013b9: PUSH2 0x0c2c
000013bc: JUMP
000013bd: JUMPDEST
000013be: PUSH1 0x01
000013c0: PUSH1 0x01
000013c2: PUSH1 0xa0
000013c4: SHL
000013c5: SUB
000013c6: DUP4
000013c7: AND
000013c8: PUSH1 0x00
000013ca: SWAP1
000013cb: DUP2
000013cc: MSTORE
000013cd: PUSH1 0x11
000013cf: PUSH1 0x20
000013d1: MSTORE
000013d2: PUSH1 0x40
000013d4: SWAP1
000013d5: KECCAK256
000013d6: SLOAD
000013d7: PUSH1 0xff
000013d9: AND
000013da: DUP3
000013db: DUP1
000013dc: ISZERO
000013dd: PUSH2 0x13e3
000013e0: JUMPI
000013e1: POP
000013e2: DUP1
000013e3: JUMPDEST
000013e4: DUP1
000013e5: ISZERO
000013e6: PUSH2 0x13f9
000013e9: JUMPI
000013ea: POP
000013eb: PUSH1 0x12
000013ed: SLOAD
000013ee: PUSH1 0x01
000013f0: PUSH1 0xa8
000013f2: SHL
000013f3: SWAP1
000013f4: DIV
000013f5: PUSH1 0xff
000013f7: AND
000013f8: ISZERO
000013f9: JUMPDEST
000013fa: ISZERO
000013fb: PUSH2 0x1408
000013fe: JUMPI
000013ff: PUSH1 0x00
00001401: SWAP2
00001402: POP
00001403: POP
00001404: PUSH2 0x0c2c
00001407: JUMP
00001408: JUMPDEST
00001409: PUSH1 0x00
0000140b: DUP2
0000140c: PUSH2 0x141d
0000140f: JUMPI
00001410: PUSH2 0x1418
00001413: DUP6
00001414: PUSH2 0x1db4
00001417: JUMP
00001418: JUMPDEST
00001419: PUSH2 0x1426
0000141c: JUMP
0000141d: JUMPDEST
0000141e: PUSH2 0x1426
00001421: DUP6
00001422: PUSH2 0x206d
00001425: JUMP
00001426: JUMPDEST
00001427: SWAP1
00001428: POP
00001429: DUP1
0000142a: ISZERO
0000142b: PUSH2 0x14ec
0000142e: JUMPI
0000142f: PUSH1 0x01
00001431: PUSH1 0x01
00001433: PUSH1 0xa0
00001435: SHL
00001436: SUB
00001437: DUP6
00001438: AND
00001439: PUSH1 0x00
0000143b: SWAP1
0000143c: DUP2
0000143d: MSTORE
0000143e: PUSH1 0x17
00001440: PUSH1 0x20
00001442: MSTORE
00001443: PUSH1 0x40
00001445: SWAP1
00001446: KECCAK256
00001447: TIMESTAMP
00001448: SWAP1
00001449: SSTORE
0000144a: DUP2
0000144b: ISZERO
0000144c: PUSH2 0x149a
0000144f: JUMPI
00001450: DUP4
00001451: ISZERO
00001452: ISZERO
00001453: DUP6
00001454: PUSH1 0x01
00001456: PUSH1 0x01
00001458: PUSH1 0xa0
0000145a: SHL
0000145b: SUB
0000145c: AND
0000145d: PUSH32 0xfbd928dd3806a2bdf802f3a28a2cc55205f95dbcd2c3ed313abfca278366f80c
0000147e: DUP4
0000147f: PUSH1 0x40
00001481: MLOAD
00001482: PUSH2 0x148d
00001485: SWAP2
00001486: DUP2
00001487: MSTORE
00001488: PUSH1 0x20
0000148a: ADD
0000148b: SWAP1
0000148c: JUMP
0000148d: JUMPDEST
0000148e: PUSH1 0x40
00001490: MLOAD
00001491: DUP1
00001492: SWAP2
00001493: SUB
00001494: SWAP1
00001495: LOG3
00001496: PUSH2 0x14e1
00001499: JUMP
0000149a: JUMPDEST
0000149b: DUP4
0000149c: ISZERO
0000149d: ISZERO
0000149e: DUP6
0000149f: PUSH1 0x01
000014a1: PUSH1 0x01
000014a3: PUSH1 0xa0
000014a5: SHL
000014a6: SUB
000014a7: AND
000014a8: PUSH32 0xa2c38e2d2fb7e3e1912d937fd1ca11ed6d51864dee4cfa7a7bf02becd7acf092
000014c9: DUP4
000014ca: PUSH1 0x40
000014cc: MLOAD
000014cd: PUSH2 0x14d8
000014d0: SWAP2
000014d1: DUP2
000014d2: MSTORE
000014d3: PUSH1 0x20
000014d5: ADD
000014d6: SWAP1
000014d7: JUMP
000014d8: JUMPDEST
000014d9: PUSH1 0x40
000014db: MLOAD
000014dc: DUP1
000014dd: SWAP2
000014de: SUB
000014df: SWAP1
000014e0: LOG3
000014e1: JUMPDEST
000014e2: PUSH1 0x01
000014e4: SWAP3
000014e5: POP
000014e6: POP
000014e7: POP
000014e8: PUSH2 0x0c2c
000014eb: JUMP
000014ec: JUMPDEST
000014ed: POP
000014ee: PUSH1 0x00
000014f0: SWAP5
000014f1: SWAP4
000014f2: POP
000014f3: POP
000014f4: POP
000014f5: POP
000014f6: JUMP
000014f7: JUMPDEST
000014f8: PUSH1 0x09
000014fa: SLOAD
000014fb: PUSH1 0x01
000014fd: PUSH1 0x01
000014ff: PUSH1 0xa0
00001501: SHL
00001502: SUB
00001503: AND
00001504: CALLER
00001505: EQ
00001506: PUSH2 0x1521
00001509: JUMPI
0000150a: PUSH1 0x40
0000150c: MLOAD
0000150d: PUSH3 0x461bcd
00001511: PUSH1 0xe5
00001513: SHL
00001514: DUP2
00001515: MSTORE
00001516: PUSH1 0x04
00001518: ADD
00001519: PUSH2 0x0bf1
0000151c: SWAP1
0000151d: PUSH2 0x29a9
00001520: JUMP
00001521: JUMPDEST
00001522: PUSH1 0x12
00001524: DUP1
00001525: SLOAD
00001526: PUSH1 0x01
00001528: PUSH1 0x01
0000152a: PUSH1 0xa0
0000152c: SHL
0000152d: SUB
0000152e: NOT
0000152f: AND
00001530: PUSH1 0x01
00001532: PUSH1 0x01
00001534: PUSH1 0xa0
00001536: SHL
00001537: SUB
00001538: SWAP3
00001539: SWAP1
0000153a: SWAP3
0000153b: AND
0000153c: SWAP2
0000153d: SWAP1
0000153e: SWAP2
0000153f: OR
00001540: SWAP1
00001541: SSTORE
00001542: JUMP
00001543: JUMPDEST
00001544: PUSH1 0x09
00001546: SLOAD
00001547: PUSH1 0x01
00001549: PUSH1 0x01
0000154b: PUSH1 0xa0
0000154d: SHL
0000154e: SUB
0000154f: AND
00001550: CALLER
00001551: EQ
00001552: PUSH2 0x156d
00001555: JUMPI
00001556: PUSH1 0x40
00001558: MLOAD
00001559: PUSH3 0x461bcd
0000155d: PUSH1 0xe5
0000155f: SHL
00001560: DUP2
00001561: MSTORE
00001562: PUSH1 0x04
00001564: ADD
00001565: PUSH2 0x0bf1
00001568: SWAP1
00001569: PUSH2 0x29a9
0000156c: JUMP
0000156d: JUMPDEST
0000156e: PUSH1 0x01
00001570: PUSH1 0x01
00001572: PUSH1 0xa0
00001574: SHL
00001575: SUB
00001576: DUP3
00001577: AND
00001578: PUSH1 0x00
0000157a: SWAP1
0000157b: DUP2
0000157c: MSTORE
0000157d: PUSH1 0x0f
0000157f: PUSH1 0x20
00001581: MSTORE
00001582: PUSH1 0x40
00001584: SWAP1
00001585: KECCAK256
00001586: SLOAD
00001587: PUSH1 0xff
00001589: AND
0000158a: PUSH2 0x15ad
0000158d: JUMPI
0000158e: PUSH1 0x19
00001590: SLOAD
00001591: DUP2
00001592: LT
00001593: ISZERO
00001594: PUSH2 0x15b1
00001597: JUMPI
00001598: PUSH2 0x15a2
0000159b: PUSH1 0x0a
0000159d: DUP4
0000159e: PUSH2 0x1c04
000015a1: JUMP
000015a2: JUMPDEST
000015a3: PUSH2 0x15ad
000015a6: DUP3
000015a7: PUSH1 0x00
000015a9: PUSH2 0x1ba5
000015ac: JUMP
000015ad: JUMPDEST
000015ae: POP
000015af: POP
000015b0: JUMP
000015b1: JUMPDEST
000015b2: PUSH2 0x15bb
000015b5: DUP3
000015b6: DUP3
000015b7: PUSH2 0x1ba5
000015ba: JUMP
000015bb: JUMPDEST
000015bc: PUSH1 0x18
000015be: SLOAD
000015bf: DUP2
000015c0: LT
000015c1: PUSH2 0x15d0
000015c4: JUMPI
000015c5: PUSH2 0x15ad
000015c8: PUSH1 0x0a
000015ca: DUP4
000015cb: DUP4
000015cc: PUSH2 0x23e0
000015cf: JUMP
000015d0: JUMPDEST
000015d1: PUSH2 0x15ad
000015d4: PUSH1 0x0a
000015d6: DUP4
000015d7: PUSH2 0x1c04
000015da: JUMP
000015db: JUMPDEST
000015dc: PUSH1 0x09
000015de: SLOAD
000015df: PUSH1 0x01
000015e1: PUSH1 0x01
000015e3: PUSH1 0xa0
000015e5: SHL
000015e6: SUB
000015e7: AND
000015e8: CALLER
000015e9: EQ
000015ea: PUSH2 0x1605
000015ed: JUMPI
000015ee: PUSH1 0x40
000015f0: MLOAD
000015f1: PUSH3 0x461bcd
000015f5: PUSH1 0xe5
000015f7: SHL
000015f8: DUP2
000015f9: MSTORE
000015fa: PUSH1 0x04
000015fc: ADD
000015fd: PUSH2 0x0bf1
00001600: SWAP1
00001601: PUSH2 0x29a9
00001604: JUMP
00001605: JUMPDEST
00001606: PUSH1 0x01
00001608: PUSH1 0x01
0000160a: PUSH1 0xa0
0000160c: SHL
0000160d: SUB
0000160e: DUP2
0000160f: AND
00001610: PUSH2 0x166a
00001613: JUMPI
00001614: PUSH1 0x40
00001616: MLOAD
00001617: PUSH3 0x461bcd
0000161b: PUSH1 0xe5
0000161d: SHL
0000161e: DUP2
0000161f: MSTORE
00001620: PUSH1 0x20
00001622: PUSH1 0x04
00001624: DUP3
00001625: ADD
00001626: MSTORE
00001627: PUSH1 0x26
00001629: PUSH1 0x24
0000162b: DUP3
0000162c: ADD
0000162d: MSTORE
0000162e: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
0000164f: PUSH1 0x44
00001651: DUP3
00001652: ADD
00001653: MSTORE
00001654: PUSH6 0x646472657373
0000165b: PUSH1 0xd0
0000165d: SHL
0000165e: PUSH1 0x64
00001660: DUP3
00001661: ADD
00001662: MSTORE
00001663: PUSH1 0x84
00001665: ADD
00001666: PUSH2 0x0bf1
00001669: JUMP
0000166a: JUMPDEST
0000166b: PUSH1 0x09
0000166d: SLOAD
0000166e: PUSH1 0x40
00001670: MLOAD
00001671: PUSH1 0x01
00001673: PUSH1 0x01
00001675: PUSH1 0xa0
00001677: SHL
00001678: SUB
00001679: DUP1
0000167a: DUP5
0000167b: AND
0000167c: SWAP3
0000167d: AND
0000167e: SWAP1
0000167f: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000016a0: SWAP1
000016a1: PUSH1 0x00
000016a3: SWAP1
000016a4: LOG3
000016a5: PUSH1 0x09
000016a7: DUP1
000016a8: SLOAD
000016a9: PUSH1 0x01
000016ab: PUSH1 0x01
000016ad: PUSH1 0xa0
000016af: SHL
000016b0: SUB
000016b1: NOT
000016b2: AND
000016b3: PUSH1 0x01
000016b5: PUSH1 0x01
000016b7: PUSH1 0xa0
000016b9: SHL
000016ba: SUB
000016bb: SWAP3
000016bc: SWAP1
000016bd: SWAP3
000016be: AND
000016bf: SWAP2
000016c0: SWAP1
000016c1: SWAP2
000016c2: OR
000016c3: SWAP1
000016c4: SSTORE
000016c5: JUMP
000016c6: JUMPDEST
000016c7: DUP1
000016c8: PUSH1 0x00
000016ca: DUP1
000016cb: DUP1
000016cc: DUP1
000016cd: DUP1
000016ce: PUSH2 0x16d8
000016d1: PUSH1 0x0a
000016d3: DUP8
000016d4: PUSH2 0x2489
000016d7: JUMP
000016d8: JUMPDEST
000016d9: SWAP5
000016da: POP
000016db: PUSH1 0x00
000016dd: NOT
000016de: SWAP4
000016df: POP
000016e0: PUSH1 0x00
000016e2: DUP6
000016e3: SLT
000016e4: PUSH2 0x173a
000016e7: JUMPI
000016e8: PUSH1 0x0e
000016ea: SLOAD
000016eb: DUP6
000016ec: GT
000016ed: ISZERO
000016ee: PUSH2 0x1706
000016f1: JUMPI
000016f2: PUSH1 0x0e
000016f4: SLOAD
000016f5: PUSH2 0x16ff
000016f8: SWAP1
000016f9: DUP7
000016fa: SWAP1
000016fb: PUSH2 0x24d4
000016fe: JUMP
000016ff: JUMPDEST
00001700: SWAP4
00001701: POP
00001702: PUSH2 0x173a
00001705: JUMP
00001706: JUMPDEST
00001707: PUSH1 0x0e
00001709: SLOAD
0000170a: PUSH1 0x0a
0000170c: SLOAD
0000170d: PUSH1 0x00
0000170f: SWAP2
00001710: LT
00001711: PUSH2 0x171b
00001714: JUMPI
00001715: PUSH1 0x00
00001717: PUSH2 0x172a
0000171a: JUMP
0000171b: JUMPDEST
0000171c: PUSH1 0x0e
0000171e: SLOAD
0000171f: PUSH1 0x0a
00001721: SLOAD
00001722: PUSH2 0x172a
00001725: SWAP2
00001726: PUSH2 0x1d72
00001729: JUMP
0000172a: JUMPDEST
0000172b: SWAP1
0000172c: POP
0000172d: PUSH2 0x1736
00001730: DUP7
00001731: DUP3
00001732: PUSH2 0x1b54
00001735: JUMP
00001736: JUMPDEST
00001737: SWAP5
00001738: POP
00001739: POP
0000173a: JUMPDEST
0000173b: PUSH2 0x1743
0000173e: DUP7
0000173f: PUSH2 0x129c
00001742: JUMP
00001743: JUMPDEST
00001744: SWAP3
00001745: POP
00001746: PUSH2 0x174e
00001749: DUP7
0000174a: PUSH2 0x0c9b
0000174d: JUMP
0000174e: JUMPDEST
0000174f: PUSH1 0x01
00001751: PUSH1 0x01
00001753: PUSH1 0xa0
00001755: SHL
00001756: SUB
00001757: DUP8
00001758: AND
00001759: PUSH1 0x00
0000175b: SWAP1
0000175c: DUP2
0000175d: MSTORE
0000175e: PUSH1 0x17
00001760: PUSH1 0x20
00001762: MSTORE
00001763: PUSH1 0x40
00001765: SWAP1
00001766: KECCAK256
00001767: SLOAD
00001768: SWAP7
00001769: SWAP9
0000176a: SWAP6
0000176b: SWAP8
0000176c: POP
0000176d: SWAP4
0000176e: SWAP6
0000176f: SWAP3
00001770: SWAP5
00001771: SWAP2
00001772: POP
00001773: POP
00001774: JUMP
00001775: JUMPDEST
00001776: PUSH1 0x0a
00001778: SLOAD
00001779: PUSH1 0x00
0000177b: SWAP1
0000177c: DUP2
0000177d: SWAP1
0000177e: DUP2
0000177f: SWAP1
00001780: DUP1
00001781: ISZERO
00001782: DUP1
00001783: PUSH2 0x1795
00001786: JUMPI
00001787: POP
00001788: PUSH1 0x12
0000178a: SLOAD
0000178b: PUSH1 0x01
0000178d: PUSH1 0xb0
0000178f: SHL
00001790: SWAP1
00001791: DIV
00001792: PUSH1 0xff
00001794: AND
00001795: JUMPDEST
00001796: ISZERO
00001797: PUSH2 0x17ab
0000179a: JUMPI
0000179b: POP
0000179c: POP
0000179d: PUSH1 0x0e
0000179f: SLOAD
000017a0: PUSH1 0x00
000017a2: SWAP3
000017a3: POP
000017a4: DUP3
000017a5: SWAP2
000017a6: POP
000017a7: PUSH2 0x1894
000017aa: JUMP
000017ab: JUMPDEST
000017ac: PUSH1 0x0e
000017ae: SLOAD
000017af: PUSH1 0x00
000017b1: DUP1
000017b2: GAS
000017b3: SWAP1
000017b4: POP
000017b5: PUSH1 0x00
000017b7: DUP1
000017b8: JUMPDEST
000017b9: DUP10
000017ba: DUP5
000017bb: LT
000017bc: DUP1
000017bd: ISZERO
000017be: PUSH2 0x17c6
000017c1: JUMPI
000017c2: POP
000017c3: DUP6
000017c4: DUP3
000017c5: LT
000017c6: JUMPDEST
000017c7: ISZERO
000017c8: PUSH2 0x1883
000017cb: JUMPI
000017cc: DUP5
000017cd: PUSH2 0x17d5
000017d0: DUP2
000017d1: PUSH2 0x29f5
000017d4: JUMP
000017d5: JUMPDEST
000017d6: SWAP6
000017d7: POP
000017d8: POP
000017d9: DUP6
000017da: DUP6
000017db: LT
000017dc: PUSH2 0x17e4
000017df: JUMPI
000017e0: PUSH1 0x00
000017e2: SWAP5
000017e3: POP
000017e4: JUMPDEST
000017e5: PUSH1 0x00
000017e7: PUSH1 0x0a
000017e9: PUSH1 0x00
000017eb: ADD
000017ec: DUP7
000017ed: DUP2
000017ee: SLOAD
000017ef: DUP2
000017f0: LT
000017f1: PUSH2 0x17fc
000017f4: JUMPI
000017f5: PUSH2 0x17fc
000017f8: PUSH2 0x2a0e
000017fb: JUMP
000017fc: JUMPDEST
000017fd: PUSH1 0x00
000017ff: SWAP2
00001800: DUP3
00001801: MSTORE
00001802: PUSH1 0x20
00001804: DUP1
00001805: DUP4
00001806: KECCAK256
00001807: SWAP1
00001808: SWAP2
00001809: ADD
0000180a: SLOAD
0000180b: PUSH1 0x01
0000180d: PUSH1 0x01
0000180f: PUSH1 0xa0
00001811: SHL
00001812: SUB
00001813: AND
00001814: DUP1
00001815: DUP4
00001816: MSTORE
00001817: PUSH1 0x10
00001819: SWAP1
0000181a: SWAP2
0000181b: MSTORE
0000181c: PUSH1 0x40
0000181e: SWAP1
0000181f: SWAP2
00001820: KECCAK256
00001821: SLOAD
00001822: SWAP1
00001823: SWAP2
00001824: POP
00001825: PUSH1 0xff
00001827: AND
00001828: PUSH2 0x1849
0000182b: JUMPI
0000182c: PUSH2 0x1836
0000182f: DUP2
00001830: PUSH1 0x01
00001832: PUSH2 0x1376
00001835: JUMP
00001836: JUMPDEST
00001837: ISZERO
00001838: PUSH2 0x1849
0000183b: JUMPI
0000183c: DUP2
0000183d: PUSH2 0x1845
00001840: DUP2
00001841: PUSH2 0x29f5
00001844: JUMP
00001845: JUMPDEST
00001846: SWAP3
00001847: POP
00001848: POP
00001849: JUMPDEST
0000184a: DUP3
0000184b: PUSH2 0x1853
0000184e: DUP2
0000184f: PUSH2 0x29f5
00001852: JUMP
00001853: JUMPDEST
00001854: SWAP4
00001855: POP
00001856: POP
00001857: PUSH1 0x00
00001859: GAS
0000185a: SWAP1
0000185b: POP
0000185c: DUP1
0000185d: DUP6
0000185e: GT
0000185f: ISZERO
00001860: PUSH2 0x187a
00001863: JUMPI
00001864: PUSH2 0x1877
00001867: PUSH2 0x1870
0000186a: DUP7
0000186b: DUP4
0000186c: PUSH2 0x1d72
0000186f: JUMP
00001870: JUMPDEST
00001871: DUP8
00001872: SWAP1
00001873: PUSH2 0x1924
00001876: JUMP
00001877: JUMPDEST
00001878: SWAP6
00001879: POP
0000187a: JUMPDEST
0000187b: SWAP4
0000187c: POP
0000187d: PUSH2 0x17b8
00001880: SWAP1
00001881: POP
00001882: JUMP
00001883: JUMPDEST
00001884: PUSH1 0x0e
00001886: DUP6
00001887: SWAP1
00001888: SSTORE
00001889: SWAP1
0000188a: SWAP8
0000188b: POP
0000188c: SWAP6
0000188d: POP
0000188e: SWAP2
0000188f: SWAP4
00001890: POP
00001891: POP
00001892: POP
00001893: POP
00001894: JUMPDEST
00001895: SWAP2
00001896: SWAP4
00001897: SWAP1
00001898: SWAP3
00001899: POP
0000189a: JUMP
0000189b: JUMPDEST
0000189c: PUSH1 0x00
0000189e: DUP3
0000189f: PUSH1 0x00
000018a1: SUB
000018a2: PUSH2 0x18ad
000018a5: JUMPI
000018a6: POP
000018a7: PUSH1 0x00
000018a9: PUSH2 0x0c2c
000018ac: JUMP
000018ad: JUMPDEST
000018ae: PUSH1 0x00
000018b0: PUSH2 0x18b9
000018b3: DUP4
000018b4: DUP6
000018b5: PUSH2 0x29de
000018b8: JUMP
000018b9: JUMPDEST
000018ba: SWAP1
000018bb: POP
000018bc: DUP3
000018bd: PUSH2 0x18c6
000018c0: DUP6
000018c1: DUP4
000018c2: PUSH2 0x294d
000018c5: JUMP
000018c6: JUMPDEST
000018c7: EQ
000018c8: PUSH2 0x191d
000018cb: JUMPI
000018cc: PUSH1 0x40
000018ce: MLOAD
000018cf: PUSH3 0x461bcd
000018d3: PUSH1 0xe5
000018d5: SHL
000018d6: DUP2
000018d7: MSTORE
000018d8: PUSH1 0x20
000018da: PUSH1 0x04
000018dc: DUP3
000018dd: ADD
000018de: MSTORE
000018df: PUSH1 0x21
000018e1: PUSH1 0x24
000018e3: DUP3
000018e4: ADD
000018e5: MSTORE
000018e6: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f
00001907: PUSH1 0x44
00001909: DUP3
0000190a: ADD
0000190b: MSTORE
0000190c: PUSH1 0x77
0000190e: PUSH1 0xf8
00001910: SHL
00001911: PUSH1 0x64
00001913: DUP3
00001914: ADD
00001915: MSTORE
00001916: PUSH1 0x84
00001918: ADD
00001919: PUSH2 0x0bf1
0000191c: JUMP
0000191d: JUMPDEST
0000191e: SWAP4
0000191f: SWAP3
00001920: POP
00001921: POP
00001922: POP
00001923: JUMP
00001924: JUMPDEST
00001925: PUSH1 0x00
00001927: DUP1
00001928: PUSH2 0x1931
0000192b: DUP4
0000192c: DUP6
0000192d: PUSH2 0x2a24
00001930: JUMP
00001931: JUMPDEST
00001932: SWAP1
00001933: POP
00001934: DUP4
00001935: DUP2
00001936: LT
00001937: ISZERO
00001938: PUSH2 0x191d
0000193b: JUMPI
0000193c: PUSH1 0x40
0000193e: MLOAD
0000193f: PUSH3 0x461bcd
00001943: PUSH1 0xe5
00001945: SHL
00001946: DUP2
00001947: MSTORE
00001948: PUSH1 0x20
0000194a: PUSH1 0x04
0000194c: DUP3
0000194d: ADD
0000194e: MSTORE
0000194f: PUSH1 0x1b
00001951: PUSH1 0x24
00001953: DUP3
00001954: ADD
00001955: MSTORE
00001956: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00001977: PUSH1 0x44
00001979: DUP3
0000197a: ADD
0000197b: MSTORE
0000197c: PUSH1 0x64
0000197e: ADD
0000197f: PUSH2 0x0bf1
00001982: JUMP
00001983: JUMPDEST
00001984: PUSH1 0x01
00001986: PUSH1 0x01
00001988: PUSH1 0xa0
0000198a: SHL
0000198b: SUB
0000198c: DUP4
0000198d: AND
0000198e: PUSH2 0x19e5
00001991: JUMPI
00001992: PUSH1 0x40
00001994: MLOAD
00001995: PUSH3 0x461bcd
00001999: PUSH1 0xe5
0000199b: SHL
0000199c: DUP2
0000199d: MSTORE
0000199e: PUSH1 0x20
000019a0: PUSH1 0x04
000019a2: DUP3
000019a3: ADD
000019a4: MSTORE
000019a5: PUSH1 0x24
000019a7: DUP1
000019a8: DUP3
000019a9: ADD
000019aa: MSTORE
000019ab: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
000019cc: PUSH1 0x44
000019ce: DUP3
000019cf: ADD
000019d0: MSTORE
000019d1: PUSH4 0x72657373
000019d6: PUSH1 0xe0
000019d8: SHL
000019d9: PUSH1 0x64
000019db: DUP3
000019dc: ADD
000019dd: MSTORE
000019de: PUSH1 0x84
000019e0: ADD
000019e1: PUSH2 0x0bf1
000019e4: JUMP
000019e5: JUMPDEST
000019e6: PUSH1 0x01
000019e8: PUSH1 0x01
000019ea: PUSH1 0xa0
000019ec: SHL
000019ed: SUB
000019ee: DUP3
000019ef: AND
000019f0: PUSH2 0x1a46
000019f3: JUMPI
000019f4: PUSH1 0x40
000019f6: MLOAD
000019f7: PUSH3 0x461bcd
000019fb: PUSH1 0xe5
000019fd: SHL
000019fe: DUP2
000019ff: MSTORE
00001a00: PUSH1 0x20
00001a02: PUSH1 0x04
00001a04: DUP3
00001a05: ADD
00001a06: MSTORE
00001a07: PUSH1 0x22
00001a09: PUSH1 0x24
00001a0b: DUP3
00001a0c: ADD
00001a0d: MSTORE
00001a0e: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00001a2f: PUSH1 0x44
00001a31: DUP3
00001a32: ADD
00001a33: MSTORE
00001a34: PUSH2 0x7373
00001a37: PUSH1 0xf0
00001a39: SHL
00001a3a: PUSH1 0x64
00001a3c: DUP3
00001a3d: ADD
00001a3e: MSTORE
00001a3f: PUSH1 0x84
00001a41: ADD
00001a42: PUSH2 0x0bf1
00001a45: JUMP
00001a46: JUMPDEST
00001a47: PUSH1 0x01
00001a49: PUSH1 0x01
00001a4b: PUSH1 0xa0
00001a4d: SHL
00001a4e: SUB
00001a4f: DUP4
00001a50: DUP2
00001a51: AND
00001a52: PUSH1 0x00
00001a54: DUP2
00001a55: DUP2
00001a56: MSTORE
00001a57: PUSH1 0x01
00001a59: PUSH1 0x20
00001a5b: SWAP1
00001a5c: DUP2
00001a5d: MSTORE
00001a5e: PUSH1 0x40
00001a60: DUP1
00001a61: DUP4
00001a62: KECCAK256
00001a63: SWAP5
00001a64: DUP8
00001a65: AND
00001a66: DUP1
00001a67: DUP5
00001a68: MSTORE
00001a69: SWAP5
00001a6a: DUP3
00001a6b: MSTORE
00001a6c: SWAP2
00001a6d: DUP3
00001a6e: SWAP1
00001a6f: KECCAK256
00001a70: DUP6
00001a71: SWAP1
00001a72: SSTORE
00001a73: SWAP1
00001a74: MLOAD
00001a75: DUP5
00001a76: DUP2
00001a77: MSTORE
00001a78: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001a99: SWAP2
00001a9a: ADD
00001a9b: PUSH1 0x40
00001a9d: MLOAD
00001a9e: DUP1
00001a9f: SWAP2
00001aa0: SUB
00001aa1: SWAP1
00001aa2: LOG3
00001aa3: POP
00001aa4: POP
00001aa5: POP
00001aa6: JUMP
00001aa7: JUMPDEST
00001aa8: PUSH1 0x40
00001aaa: MLOAD
00001aab: PUSH3 0x461bcd
00001aaf: PUSH1 0xe5
00001ab1: SHL
00001ab2: DUP2
00001ab3: MSTORE
00001ab4: PUSH1 0x20
00001ab6: PUSH1 0x04
00001ab8: DUP3
00001ab9: ADD
00001aba: MSTORE
00001abb: PUSH1 0x2d
00001abd: PUSH1 0x24
00001abf: DUP3
00001ac0: ADD
00001ac1: MSTORE
00001ac2: PUSH32 0x4d41474156505f4469766964656e645f547261636b65723a204e6f207472616e
00001ae3: PUSH1 0x44
00001ae5: DUP3
00001ae6: ADD
00001ae7: MSTORE
00001ae8: PUSH13 0x1cd9995c9cc8185b1b1bddd959
00001af6: PUSH1 0x9a
00001af8: SHL
00001af9: PUSH1 0x64
00001afb: DUP3
00001afc: ADD
00001afd: MSTORE
00001afe: PUSH1 0x84
00001b00: ADD
00001b01: PUSH2 0x0bf1
00001b04: JUMP
00001b05: JUMPDEST
00001b06: POP
00001b07: POP
00001b08: POP
00001b09: JUMP
00001b0a: JUMPDEST
00001b0b: PUSH1 0x00
00001b0d: DUP2
00001b0e: DUP5
00001b0f: DUP5
00001b10: GT
00001b11: ISZERO
00001b12: PUSH2 0x1b2e
00001b15: JUMPI
00001b16: PUSH1 0x40
00001b18: MLOAD
00001b19: PUSH3 0x461bcd
00001b1d: PUSH1 0xe5
00001b1f: SHL
00001b20: DUP2
00001b21: MSTORE
00001b22: PUSH1 0x04
00001b24: ADD
00001b25: PUSH2 0x0bf1
00001b28: SWAP2
00001b29: SWAP1
00001b2a: PUSH2 0x279c
00001b2d: JUMP
00001b2e: JUMPDEST
00001b2f: POP
00001b30: PUSH1 0x00
00001b32: PUSH2 0x1b3b
00001b35: DUP5
00001b36: DUP7
00001b37: PUSH2 0x2a37
00001b3a: JUMP
00001b3b: JUMPDEST
00001b3c: SWAP6
00001b3d: SWAP5
00001b3e: POP
00001b3f: POP
00001b40: POP
00001b41: POP
00001b42: POP
00001b43: JUMP
00001b44: JUMPDEST
00001b45: PUSH1 0x00
00001b47: DUP2
00001b48: DUP2
00001b49: DUP2
00001b4a: SLT
00001b4b: ISZERO
00001b4c: PUSH2 0x0c2c
00001b4f: JUMPI
00001b50: PUSH1 0x00
00001b52: DUP1
00001b53: REVERT
00001b54: JUMPDEST
00001b55: PUSH1 0x00
00001b57: DUP1
00001b58: PUSH2 0x1b61
00001b5b: DUP4
00001b5c: DUP6
00001b5d: PUSH2 0x2a4a
00001b60: JUMP
00001b61: JUMPDEST
00001b62: SWAP1
00001b63: POP
00001b64: PUSH1 0x00
00001b66: DUP4
00001b67: SLT
00001b68: ISZERO
00001b69: DUP1
00001b6a: ISZERO
00001b6b: PUSH2 0x1b74
00001b6e: JUMPI
00001b6f: POP
00001b70: DUP4
00001b71: DUP2
00001b72: SLT
00001b73: ISZERO
00001b74: JUMPDEST
00001b75: DUP1
00001b76: PUSH2 0x1b89
00001b79: JUMPI
00001b7a: POP
00001b7b: PUSH1 0x00
00001b7d: DUP4
00001b7e: SLT
00001b7f: DUP1
00001b80: ISZERO
00001b81: PUSH2 0x1b89
00001b84: JUMPI
00001b85: POP
00001b86: DUP4
00001b87: DUP2
00001b88: SLT
00001b89: JUMPDEST
00001b8a: PUSH2 0x191d
00001b8d: JUMPI
00001b8e: PUSH1 0x00
00001b90: DUP1
00001b91: REVERT
00001b92: JUMPDEST
00001b93: PUSH1 0x00
00001b95: DUP1
00001b96: DUP3
00001b97: SLT
00001b98: ISZERO
00001b99: PUSH2 0x1ba1
00001b9c: JUMPI
00001b9d: PUSH1 0x00
00001b9f: DUP1
00001ba0: REVERT
00001ba1: JUMPDEST
00001ba2: POP
00001ba3: SWAP1
00001ba4: JUMP
00001ba5: JUMPDEST
00001ba6: PUSH1 0x01
00001ba8: PUSH1 0x01
00001baa: PUSH1 0xa0
00001bac: SHL
00001bad: SUB
00001bae: DUP3
00001baf: AND
00001bb0: PUSH1 0x00
00001bb2: SWAP1
00001bb3: DUP2
00001bb4: MSTORE
00001bb5: PUSH1 0x20
00001bb7: DUP2
00001bb8: SWAP1
00001bb9: MSTORE
00001bba: PUSH1 0x40
00001bbc: SWAP1
00001bbd: KECCAK256
00001bbe: SLOAD
00001bbf: DUP1
00001bc0: DUP3
00001bc1: GT
00001bc2: ISZERO
00001bc3: PUSH2 0x1be4
00001bc6: JUMPI
00001bc7: PUSH1 0x00
00001bc9: PUSH2 0x1bd2
00001bcc: DUP4
00001bcd: DUP4
00001bce: PUSH2 0x1d72
00001bd1: JUMP
00001bd2: JUMPDEST
00001bd3: SWAP1
00001bd4: POP
00001bd5: PUSH2 0x1bde
00001bd8: DUP5
00001bd9: DUP3
00001bda: PUSH2 0x2511
00001bdd: JUMP
00001bde: JUMPDEST
00001bdf: POP
00001be0: POP
00001be1: POP
00001be2: POP
00001be3: JUMP
00001be4: JUMPDEST
00001be5: DUP1
00001be6: DUP3
00001be7: LT
00001be8: ISZERO
00001be9: PUSH2 0x1b05
00001bec: JUMPI
00001bed: PUSH1 0x00
00001bef: PUSH2 0x1bf8
00001bf2: DUP3
00001bf3: DUP5
00001bf4: PUSH2 0x1d72
00001bf7: JUMP
00001bf8: JUMPDEST
00001bf9: SWAP1
00001bfa: POP
00001bfb: PUSH2 0x1bde
00001bfe: DUP5
00001bff: DUP3
00001c00: PUSH2 0x2575
00001c03: JUMP
00001c04: JUMPDEST
00001c05: PUSH1 0x01
00001c07: PUSH1 0x01
00001c09: PUSH1 0xa0
00001c0b: SHL
00001c0c: SUB
00001c0d: DUP2
00001c0e: AND
00001c0f: PUSH1 0x00
00001c11: SWAP1
00001c12: DUP2
00001c13: MSTORE
00001c14: PUSH1 0x03
00001c16: DUP4
00001c17: ADD
00001c18: PUSH1 0x20
00001c1a: MSTORE
00001c1b: PUSH1 0x40
00001c1d: SWAP1
00001c1e: KECCAK256
00001c1f: SLOAD
00001c20: PUSH1 0xff
00001c22: AND
00001c23: PUSH2 0x1c2a
00001c26: JUMPI
00001c27: POP
00001c28: POP
00001c29: JUMP
00001c2a: JUMPDEST
00001c2b: PUSH1 0x01
00001c2d: PUSH1 0x01
00001c2f: PUSH1 0xa0
00001c31: SHL
00001c32: SUB
00001c33: DUP2
00001c34: AND
00001c35: PUSH1 0x00
00001c37: SWAP1
00001c38: DUP2
00001c39: MSTORE
00001c3a: PUSH1 0x03
00001c3c: DUP4
00001c3d: ADD
00001c3e: PUSH1 0x20
00001c40: SWAP1
00001c41: DUP2
00001c42: MSTORE
00001c43: PUSH1 0x40
00001c45: DUP1
00001c46: DUP4
00001c47: KECCAK256
00001c48: DUP1
00001c49: SLOAD
00001c4a: PUSH1 0xff
00001c4c: NOT
00001c4d: AND
00001c4e: SWAP1
00001c4f: SSTORE
00001c50: PUSH1 0x01
00001c52: DUP1
00001c53: DUP7
00001c54: ADD
00001c55: DUP4
00001c56: MSTORE
00001c57: DUP2
00001c58: DUP5
00001c59: KECCAK256
00001c5a: DUP5
00001c5b: SWAP1
00001c5c: SSTORE
00001c5d: PUSH1 0x02
00001c5f: DUP7
00001c60: ADD
00001c61: SWAP1
00001c62: SWAP3
00001c63: MSTORE
00001c64: DUP3
00001c65: KECCAK256
00001c66: SLOAD
00001c67: DUP5
00001c68: SLOAD
00001c69: SWAP1
00001c6a: SWAP3
00001c6b: SWAP2
00001c6c: PUSH2 0x1c74
00001c6f: SWAP2
00001c70: PUSH2 0x2a37
00001c73: JUMP
00001c74: JUMPDEST
00001c75: SWAP1
00001c76: POP
00001c77: PUSH1 0x00
00001c79: DUP5
00001c7a: PUSH1 0x00
00001c7c: ADD
00001c7d: DUP3
00001c7e: DUP2
00001c7f: SLOAD
00001c80: DUP2
00001c81: LT
00001c82: PUSH2 0x1c8d
00001c85: JUMPI
00001c86: PUSH2 0x1c8d
00001c89: PUSH2 0x2a0e
00001c8c: JUMP
00001c8d: JUMPDEST
00001c8e: PUSH1 0x00
00001c90: SWAP2
00001c91: DUP3
00001c92: MSTORE
00001c93: PUSH1 0x20
00001c95: DUP1
00001c96: DUP4
00001c97: KECCAK256
00001c98: SWAP1
00001c99: SWAP2
00001c9a: ADD
00001c9b: SLOAD
00001c9c: PUSH1 0x01
00001c9e: PUSH1 0x01
00001ca0: PUSH1 0xa0
00001ca2: SHL
00001ca3: SUB
00001ca4: SWAP1
00001ca5: DUP2
00001ca6: AND
00001ca7: DUP1
00001ca8: DUP5
00001ca9: MSTORE
00001caa: PUSH1 0x02
00001cac: DUP10
00001cad: ADD
00001cae: SWAP1
00001caf: SWAP3
00001cb0: MSTORE
00001cb1: PUSH1 0x40
00001cb3: DUP1
00001cb4: DUP5
00001cb5: KECCAK256
00001cb6: DUP8
00001cb7: SWAP1
00001cb8: SSTORE
00001cb9: SWAP1
00001cba: DUP8
00001cbb: AND
00001cbc: DUP4
00001cbd: MSTORE
00001cbe: DUP3
00001cbf: KECCAK256
00001cc0: SWAP2
00001cc1: SWAP1
00001cc2: SWAP2
00001cc3: SSTORE
00001cc4: DUP6
00001cc5: SLOAD
00001cc6: SWAP1
00001cc7: SWAP2
00001cc8: POP
00001cc9: DUP2
00001cca: SWAP1
00001ccb: DUP7
00001ccc: SWAP1
00001ccd: DUP6
00001cce: SWAP1
00001ccf: DUP2
00001cd0: LT
00001cd1: PUSH2 0x1cdc
00001cd4: JUMPI
00001cd5: PUSH2 0x1cdc
00001cd8: PUSH2 0x2a0e
00001cdb: JUMP
00001cdc: JUMPDEST
00001cdd: PUSH1 0x00
00001cdf: SWAP2
00001ce0: DUP3
00001ce1: MSTORE
00001ce2: PUSH1 0x20
00001ce4: SWAP1
00001ce5: SWAP2
00001ce6: KECCAK256
00001ce7: ADD
00001ce8: DUP1
00001ce9: SLOAD
00001cea: PUSH1 0x01
00001cec: PUSH1 0x01
00001cee: PUSH1 0xa0
00001cf0: SHL
00001cf1: SUB
00001cf2: NOT
00001cf3: AND
00001cf4: PUSH1 0x01
00001cf6: PUSH1 0x01
00001cf8: PUSH1 0xa0
00001cfa: SHL
00001cfb: SUB
00001cfc: SWAP3
00001cfd: SWAP1
00001cfe: SWAP3
00001cff: AND
00001d00: SWAP2
00001d01: SWAP1
00001d02: SWAP2
00001d03: OR
00001d04: SWAP1
00001d05: SSTORE
00001d06: DUP5
00001d07: SLOAD
00001d08: DUP6
00001d09: SWAP1
00001d0a: DUP1
00001d0b: PUSH2 0x1d16
00001d0e: JUMPI
00001d0f: PUSH2 0x1d16
00001d12: PUSH2 0x2a72
00001d15: JUMP
00001d16: JUMPDEST
00001d17: PUSH1 0x00
00001d19: DUP3
00001d1a: DUP2
00001d1b: MSTORE
00001d1c: PUSH1 0x20
00001d1e: SWAP1
00001d1f: KECCAK256
00001d20: DUP2
00001d21: ADD
00001d22: PUSH1 0x00
00001d24: NOT
00001d25: SWAP1
00001d26: DUP2
00001d27: ADD
00001d28: DUP1
00001d29: SLOAD
00001d2a: PUSH1 0x01
00001d2c: PUSH1 0x01
00001d2e: PUSH1 0xa0
00001d30: SHL
00001d31: SUB
00001d32: NOT
00001d33: AND
00001d34: SWAP1
00001d35: SSTORE
00001d36: ADD
00001d37: SWAP1
00001d38: SSTORE
00001d39: POP
00001d3a: POP
00001d3b: POP
00001d3c: POP
00001d3d: POP
00001d3e: JUMP
00001d3f: JUMPDEST
00001d40: PUSH1 0x00
00001d42: DUP3
00001d43: PUSH1 0x00
00001d45: ADD
00001d46: DUP3
00001d47: DUP2
00001d48: SLOAD
00001d49: DUP2
00001d4a: LT
00001d4b: PUSH2 0x1d56
00001d4e: JUMPI
00001d4f: PUSH2 0x1d56
00001d52: PUSH2 0x2a0e
00001d55: JUMP
00001d56: JUMPDEST
00001d57: PUSH1 0x00
00001d59: SWAP2
00001d5a: DUP3
00001d5b: MSTORE
00001d5c: PUSH1 0x20
00001d5e: SWAP1
00001d5f: SWAP2
00001d60: KECCAK256
00001d61: ADD
00001d62: SLOAD
00001d63: PUSH1 0x01
00001d65: PUSH1 0x01
00001d67: PUSH1 0xa0
00001d69: SHL
00001d6a: SUB
00001d6b: AND
00001d6c: SWAP4
00001d6d: SWAP3
00001d6e: POP
00001d6f: POP
00001d70: POP
00001d71: JUMP
00001d72: JUMPDEST
00001d73: PUSH1 0x00
00001d75: PUSH2 0x191d
00001d78: DUP4
00001d79: DUP4
00001d7a: PUSH1 0x40
00001d7c: MLOAD
00001d7d: DUP1
00001d7e: PUSH1 0x40
00001d80: ADD
00001d81: PUSH1 0x40
00001d83: MSTORE
00001d84: DUP1
00001d85: PUSH1 0x1e
00001d87: DUP2
00001d88: MSTORE
00001d89: PUSH1 0x20
00001d8b: ADD
00001d8c: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00001dad: DUP2
00001dae: MSTORE
00001daf: POP
00001db0: PUSH2 0x1b0a
00001db3: JUMP
00001db4: JUMPDEST
00001db5: PUSH1 0x00
00001db7: DUP1
00001db8: PUSH2 0x1dc0
00001dbb: DUP4
00001dbc: PUSH2 0x129c
00001dbf: JUMP
00001dc0: JUMPDEST
00001dc1: SWAP1
00001dc2: POP
00001dc3: DUP1
00001dc4: ISZERO
00001dc5: PUSH2 0x2064
00001dc8: JUMPI
00001dc9: PUSH1 0x01
00001dcb: PUSH1 0x01
00001dcd: PUSH1 0xa0
00001dcf: SHL
00001dd0: SUB
00001dd1: DUP4
00001dd2: AND
00001dd3: PUSH1 0x00
00001dd5: SWAP1
00001dd6: DUP2
00001dd7: MSTORE
00001dd8: PUSH1 0x07
00001dda: PUSH1 0x20
00001ddc: MSTORE
00001ddd: PUSH1 0x40
00001ddf: SWAP1
00001de0: KECCAK256
00001de1: SLOAD
00001de2: PUSH2 0x1deb
00001de5: SWAP1
00001de6: DUP3
00001de7: PUSH2 0x1924
00001dea: JUMP
00001deb: JUMPDEST
00001dec: PUSH1 0x01
00001dee: PUSH1 0x01
00001df0: PUSH1 0xa0
00001df2: SHL
00001df3: SUB
00001df4: DUP1
00001df5: DUP6
00001df6: AND
00001df7: PUSH1 0x00
00001df9: SWAP1
00001dfa: DUP2
00001dfb: MSTORE
00001dfc: PUSH1 0x07
00001dfe: PUSH1 0x20
00001e00: MSTORE
00001e01: PUSH1 0x40
00001e03: DUP2
00001e04: KECCAK256
00001e05: SWAP3
00001e06: SWAP1
00001e07: SWAP3
00001e08: SSTORE
00001e09: PUSH1 0x12
00001e0b: SLOAD
00001e0c: AND
00001e0d: SWAP1
00001e0e: DUP2
00001e0f: PUSH2 0x1e70
00001e12: JUMPI
00001e13: PUSH1 0x40
00001e15: MLOAD
00001e16: PUSH1 0x01
00001e18: PUSH1 0x01
00001e1a: PUSH1 0xa0
00001e1c: SHL
00001e1d: SUB
00001e1e: DUP7
00001e1f: AND
00001e20: SWAP1
00001e21: PUSH2 0x0bb8
00001e24: SWAP1
00001e25: DUP6
00001e26: SWAP1
00001e27: PUSH1 0x00
00001e29: DUP2
00001e2a: DUP2
00001e2b: DUP2
00001e2c: DUP6
00001e2d: DUP9
00001e2e: DUP9
00001e2f: CALL
00001e30: SWAP4
00001e31: POP
00001e32: POP
00001e33: POP
00001e34: POP
00001e35: RETURNDATASIZE
00001e36: DUP1
00001e37: PUSH1 0x00
00001e39: DUP2
00001e3a: EQ
00001e3b: PUSH2 0x1e60
00001e3e: JUMPI
00001e3f: PUSH1 0x40
00001e41: MLOAD
00001e42: SWAP2
00001e43: POP
00001e44: PUSH1 0x1f
00001e46: NOT
00001e47: PUSH1 0x3f
00001e49: RETURNDATASIZE
00001e4a: ADD
00001e4b: AND
00001e4c: DUP3
00001e4d: ADD
00001e4e: PUSH1 0x40
00001e50: MSTORE
00001e51: RETURNDATASIZE
00001e52: DUP3
00001e53: MSTORE
00001e54: RETURNDATASIZE
00001e55: PUSH1 0x00
00001e57: PUSH1 0x20
00001e59: DUP5
00001e5a: ADD
00001e5b: RETURNDATACOPY
00001e5c: PUSH2 0x1e65
00001e5f: JUMP
00001e60: JUMPDEST
00001e61: PUSH1 0x60
00001e63: SWAP2
00001e64: POP
00001e65: JUMPDEST
00001e66: POP
00001e67: POP
00001e68: DUP1
00001e69: SWAP2
00001e6a: POP
00001e6b: POP
00001e6c: PUSH2 0x1fca
00001e6f: JUMP
00001e70: JUMPDEST
00001e71: PUSH1 0x40
00001e73: DUP1
00001e74: MLOAD
00001e75: PUSH1 0x02
00001e77: DUP1
00001e78: DUP3
00001e79: MSTORE
00001e7a: PUSH1 0x60
00001e7c: DUP3
00001e7d: ADD
00001e7e: DUP4
00001e7f: MSTORE
00001e80: PUSH1 0x00
00001e82: SWAP3
00001e83: PUSH1 0x20
00001e85: DUP4
00001e86: ADD
00001e87: SWAP1
00001e88: DUP1
00001e89: CALLDATASIZE
00001e8a: DUP4
00001e8b: CALLDATACOPY
00001e8c: POP
00001e8d: POP
00001e8e: PUSH1 0x15
00001e90: SLOAD
00001e91: PUSH1 0x40
00001e93: DUP1
00001e94: MLOAD
00001e95: PUSH4 0x15ab88c9
00001e9a: PUSH1 0xe3
00001e9c: SHL
00001e9d: DUP2
00001e9e: MSTORE
00001e9f: SWAP1
00001ea0: MLOAD
00001ea1: SWAP4
00001ea2: SWAP5
00001ea3: POP
00001ea4: PUSH1 0x01
00001ea6: PUSH1 0x01
00001ea8: PUSH1 0xa0
00001eaa: SHL
00001eab: SUB
00001eac: SWAP1
00001ead: SWAP2
00001eae: AND
00001eaf: SWAP3
00001eb0: PUSH4 0xad5c4648
00001eb5: SWAP3
00001eb6: POP
00001eb7: PUSH1 0x04
00001eb9: DUP1
00001eba: DUP4
00001ebb: ADD
00001ebc: SWAP3
00001ebd: PUSH1 0x20
00001ebf: SWAP3
00001ec0: SWAP2
00001ec1: SWAP1
00001ec2: DUP3
00001ec3: SWAP1
00001ec4: SUB
00001ec5: ADD
00001ec6: DUP2
00001ec7: DUP7
00001ec8: GAS
00001ec9: STATICCALL
00001eca: ISZERO
00001ecb: DUP1
00001ecc: ISZERO
00001ecd: PUSH2 0x1eda
00001ed0: JUMPI
00001ed1: RETURNDATASIZE
00001ed2: PUSH1 0x00
00001ed4: DUP1
00001ed5: RETURNDATACOPY
00001ed6: RETURNDATASIZE
00001ed7: PUSH1 0x00
00001ed9: REVERT
00001eda: JUMPDEST
00001edb: POP
00001edc: POP
00001edd: POP
00001ede: POP
00001edf: PUSH1 0x40
00001ee1: MLOAD
00001ee2: RETURNDATASIZE
00001ee3: PUSH1 0x1f
00001ee5: NOT
00001ee6: PUSH1 0x1f
00001ee8: DUP3
00001ee9: ADD
00001eea: AND
00001eeb: DUP3
00001eec: ADD
00001eed: DUP1
00001eee: PUSH1 0x40
00001ef0: MSTORE
00001ef1: POP
00001ef2: DUP2
00001ef3: ADD
00001ef4: SWAP1
00001ef5: PUSH2 0x1efe
00001ef8: SWAP2
00001ef9: SWAP1
00001efa: PUSH2 0x2a88
00001efd: JUMP
00001efe: JUMPDEST
00001eff: DUP2
00001f00: PUSH1 0x00
00001f02: DUP2
00001f03: MLOAD
00001f04: DUP2
00001f05: LT
00001f06: PUSH2 0x1f11
00001f09: JUMPI
00001f0a: PUSH2 0x1f11
00001f0d: PUSH2 0x2a0e
00001f10: JUMP
00001f11: JUMPDEST
00001f12: PUSH1 0x20
00001f14: MUL
00001f15: PUSH1 0x20
00001f17: ADD
00001f18: ADD
00001f19: SWAP1
00001f1a: PUSH1 0x01
00001f1c: PUSH1 0x01
00001f1e: PUSH1 0xa0
00001f20: SHL
00001f21: SUB
00001f22: AND
00001f23: SWAP1
00001f24: DUP2
00001f25: PUSH1 0x01
00001f27: PUSH1 0x01
00001f29: PUSH1 0xa0
00001f2b: SHL
00001f2c: SUB
00001f2d: AND
00001f2e: DUP2
00001f2f: MSTORE
00001f30: POP
00001f31: POP
00001f32: DUP3
00001f33: DUP2
00001f34: PUSH1 0x01
00001f36: DUP2
00001f37: MLOAD
00001f38: DUP2
00001f39: LT
00001f3a: PUSH2 0x1f45
00001f3d: JUMPI
00001f3e: PUSH2 0x1f45
00001f41: PUSH2 0x2a0e
00001f44: JUMP
00001f45: JUMPDEST
00001f46: PUSH1 0x01
00001f48: PUSH1 0x01
00001f4a: PUSH1 0xa0
00001f4c: SHL
00001f4d: SUB
00001f4e: SWAP3
00001f4f: DUP4
00001f50: AND
00001f51: PUSH1 0x20
00001f53: SWAP2
00001f54: DUP3
00001f55: MUL
00001f56: SWAP3
00001f57: SWAP1
00001f58: SWAP3
00001f59: ADD
00001f5a: ADD
00001f5b: MSTORE
00001f5c: PUSH1 0x15
00001f5e: SLOAD
00001f5f: PUSH1 0x40
00001f61: MLOAD
00001f62: PUSH4 0xb6f9de95
00001f67: PUSH1 0xe0
00001f69: SHL
00001f6a: DUP2
00001f6b: MSTORE
00001f6c: SWAP2
00001f6d: AND
00001f6e: SWAP1
00001f6f: PUSH4 0xb6f9de95
00001f74: SWAP1
00001f75: DUP7
00001f76: SWAP1
00001f77: PUSH2 0x1f8b
00001f7a: SWAP1
00001f7b: PUSH1 0x00
00001f7d: SWAP1
00001f7e: DUP7
00001f7f: SWAP1
00001f80: DUP13
00001f81: SWAP1
00001f82: TIMESTAMP
00001f83: SWAP1
00001f84: PUSH1 0x04
00001f86: ADD
00001f87: PUSH2 0x2ae9
00001f8a: JUMP
00001f8b: JUMPDEST
00001f8c: PUSH1 0x00
00001f8e: PUSH1 0x40
00001f90: MLOAD
00001f91: DUP1
00001f92: DUP4
00001f93: SUB
00001f94: DUP2
00001f95: DUP6
00001f96: DUP9
00001f97: DUP1
00001f98: EXTCODESIZE
00001f99: ISZERO
00001f9a: DUP1
00001f9b: ISZERO
00001f9c: PUSH2 0x1fa4
00001f9f: JUMPI
00001fa0: PUSH1 0x00
00001fa2: DUP1
00001fa3: REVERT
00001fa4: JUMPDEST
00001fa5: POP
00001fa6: GAS
00001fa7: CALL
00001fa8: SWAP4
00001fa9: POP
00001faa: POP
00001fab: POP
00001fac: POP
00001fad: DUP1
00001fae: ISZERO
00001faf: PUSH2 0x1fb6
00001fb2: JUMPI
00001fb3: POP
00001fb4: PUSH1 0x01
00001fb6: JUMPDEST
00001fb7: PUSH2 0x1fc3
00001fba: JUMPI
00001fbb: PUSH1 0x00
00001fbd: SWAP2
00001fbe: POP
00001fbf: PUSH2 0x1fc8
00001fc2: JUMP
00001fc3: JUMPDEST
00001fc4: PUSH1 0x01
00001fc6: SWAP2
00001fc7: POP
00001fc8: JUMPDEST
00001fc9: POP
00001fca: JUMPDEST
00001fcb: DUP1
00001fcc: PUSH2 0x2018
00001fcf: JUMPI
00001fd0: PUSH1 0x01
00001fd2: PUSH1 0x01
00001fd4: PUSH1 0xa0
00001fd6: SHL
00001fd7: SUB
00001fd8: DUP6
00001fd9: AND
00001fda: PUSH1 0x00
00001fdc: SWAP1
00001fdd: DUP2
00001fde: MSTORE
00001fdf: PUSH1 0x07
00001fe1: PUSH1 0x20
00001fe3: MSTORE
00001fe4: PUSH1 0x40
00001fe6: SWAP1
00001fe7: KECCAK256
00001fe8: SLOAD
00001fe9: PUSH2 0x1ff2
00001fec: SWAP1
00001fed: DUP5
00001fee: PUSH2 0x1d72
00001ff1: JUMP
00001ff2: JUMPDEST
00001ff3: PUSH1 0x01
00001ff5: PUSH1 0x01
00001ff7: PUSH1 0xa0
00001ff9: SHL
00001ffa: SUB
00001ffb: SWAP1
00001ffc: SWAP6
00001ffd: AND
00001ffe: PUSH1 0x00
00002000: SWAP1
00002001: DUP2
00002002: MSTORE
00002003: PUSH1 0x07
00002005: PUSH1 0x20
00002007: MSTORE
00002008: PUSH1 0x40
0000200a: DUP2
0000200b: KECCAK256
0000200c: SWAP6
0000200d: SWAP1
0000200e: SWAP6
0000200f: SSTORE
00002010: POP
00002011: SWAP3
00002012: SWAP4
00002013: SWAP3
00002014: POP
00002015: POP
00002016: POP
00002017: JUMP
00002018: JUMPDEST
00002019: DUP5
0000201a: PUSH1 0x01
0000201c: PUSH1 0x01
0000201e: PUSH1 0xa0
00002020: SHL
00002021: SUB
00002022: AND
00002023: PUSH32 0xee503bee2bb6a87e57bc57db795f98137327401a0e7b7ce42e37926cc1a9ca4d
00002044: DUP5
00002045: PUSH1 0x40
00002047: MLOAD
00002048: PUSH2 0x2053
0000204b: SWAP2
0000204c: DUP2
0000204d: MSTORE
0000204e: PUSH1 0x20
00002050: ADD
00002051: SWAP1
00002052: JUMP
00002053: JUMPDEST
00002054: PUSH1 0x40
00002056: MLOAD
00002057: DUP1
00002058: SWAP2
00002059: SUB
0000205a: SWAP1
0000205b: LOG2
0000205c: POP
0000205d: SWAP1
0000205e: SWAP4
0000205f: SWAP3
00002060: POP
00002061: POP
00002062: POP
00002063: JUMP
00002064: JUMPDEST
00002065: POP
00002066: PUSH1 0x00
00002068: SWAP3
00002069: SWAP2
0000206a: POP
0000206b: POP
0000206c: JUMP
0000206d: JUMPDEST
0000206e: PUSH1 0x00
00002070: DUP1
00002071: PUSH2 0x2079
00002074: DUP4
00002075: PUSH2 0x129c
00002078: JUMP
00002079: JUMPDEST
0000207a: SWAP1
0000207b: POP
0000207c: DUP1
0000207d: ISZERO
0000207e: PUSH2 0x2064
00002081: JUMPI
00002082: PUSH1 0x01
00002084: PUSH1 0x01
00002086: PUSH1 0xa0
00002088: SHL
00002089: SUB
0000208a: DUP4
0000208b: AND
0000208c: PUSH1 0x00
0000208e: SWAP1
0000208f: DUP2
00002090: MSTORE
00002091: PUSH1 0x07
00002093: PUSH1 0x20
00002095: MSTORE
00002096: PUSH1 0x40
00002098: DUP2
00002099: KECCAK256
0000209a: SLOAD
0000209b: PUSH2 0x20a4
0000209e: SWAP1
0000209f: DUP4
000020a0: PUSH2 0x1924
000020a3: JUMP
000020a4: JUMPDEST
000020a5: PUSH1 0x01
000020a7: PUSH1 0x01
000020a9: PUSH1 0xa0
000020ab: SHL
000020ac: SUB
000020ad: DUP6
000020ae: AND
000020af: PUSH1 0x00
000020b1: SWAP1
000020b2: DUP2
000020b3: MSTORE
000020b4: PUSH1 0x07
000020b6: PUSH1 0x20
000020b8: MSTORE
000020b9: PUSH1 0x40
000020bb: DUP1
000020bc: DUP3
000020bd: KECCAK256
000020be: SWAP3
000020bf: SWAP1
000020c0: SWAP3
000020c1: SSTORE
000020c2: DUP2
000020c3: MLOAD
000020c4: PUSH1 0x02
000020c6: DUP1
000020c7: DUP3
000020c8: MSTORE
000020c9: PUSH1 0x60
000020cb: DUP3
000020cc: ADD
000020cd: SWAP1
000020ce: SWAP4
000020cf: MSTORE
000020d0: SWAP1
000020d1: SWAP2
000020d2: DUP2
000020d3: PUSH1 0x20
000020d5: ADD
000020d6: PUSH1 0x20
000020d8: DUP3
000020d9: MUL
000020da: DUP1
000020db: CALLDATASIZE
000020dc: DUP4
000020dd: CALLDATACOPY
000020de: POP
000020df: POP
000020e0: PUSH1 0x15
000020e2: SLOAD
000020e3: PUSH1 0x40
000020e5: DUP1
000020e6: MLOAD
000020e7: PUSH4 0x15ab88c9
000020ec: PUSH1 0xe3
000020ee: SHL
000020ef: DUP2
000020f0: MSTORE
000020f1: SWAP1
000020f2: MLOAD
000020f3: SWAP4
000020f4: SWAP5
000020f5: POP
000020f6: PUSH1 0x01
000020f8: PUSH1 0x01
000020fa: PUSH1 0xa0
000020fc: SHL
000020fd: SUB
000020fe: SWAP1
000020ff: SWAP2
00002100: AND
00002101: SWAP3
00002102: PUSH4 0xad5c4648
00002107: SWAP3
00002108: POP
00002109: PUSH1 0x04
0000210b: DUP1
0000210c: DUP4
0000210d: ADD
0000210e: SWAP3
0000210f: PUSH1 0x20
00002111: SWAP3
00002112: SWAP2
00002113: SWAP1
00002114: DUP3
00002115: SWAP1
00002116: SUB
00002117: ADD
00002118: DUP2
00002119: DUP7
0000211a: GAS
0000211b: STATICCALL
0000211c: ISZERO
0000211d: DUP1
0000211e: ISZERO
0000211f: PUSH2 0x212c
00002122: JUMPI
00002123: RETURNDATASIZE
00002124: PUSH1 0x00
00002126: DUP1
00002127: RETURNDATACOPY
00002128: RETURNDATASIZE
00002129: PUSH1 0x00
0000212b: REVERT
0000212c: JUMPDEST
0000212d: POP
0000212e: POP
0000212f: POP
00002130: POP
00002131: PUSH1 0x40
00002133: MLOAD
00002134: RETURNDATASIZE
00002135: PUSH1 0x1f
00002137: NOT
00002138: PUSH1 0x1f
0000213a: DUP3
0000213b: ADD
0000213c: AND
0000213d: DUP3
0000213e: ADD
0000213f: DUP1
00002140: PUSH1 0x40
00002142: MSTORE
00002143: POP
00002144: DUP2
00002145: ADD
00002146: SWAP1
00002147: PUSH2 0x2150
0000214a: SWAP2
0000214b: SWAP1
0000214c: PUSH2 0x2a88
0000214f: JUMP
00002150: JUMPDEST
00002151: DUP2
00002152: PUSH1 0x00
00002154: DUP2
00002155: MLOAD
00002156: DUP2
00002157: LT
00002158: PUSH2 0x2163
0000215b: JUMPI
0000215c: PUSH2 0x2163
0000215f: PUSH2 0x2a0e
00002162: JUMP
00002163: JUMPDEST
00002164: PUSH1 0x01
00002166: PUSH1 0x01
00002168: PUSH1 0xa0
0000216a: SHL
0000216b: SUB
0000216c: SWAP3
0000216d: DUP4
0000216e: AND
0000216f: PUSH1 0x20
00002171: SWAP2
00002172: DUP3
00002173: MUL
00002174: SWAP3
00002175: SWAP1
00002176: SWAP3
00002177: ADD
00002178: ADD
00002179: MSTORE
0000217a: PUSH1 0x16
0000217c: SLOAD
0000217d: DUP3
0000217e: MLOAD
0000217f: SWAP2
00002180: AND
00002181: SWAP1
00002182: DUP3
00002183: SWAP1
00002184: PUSH1 0x01
00002186: SWAP1
00002187: DUP2
00002188: LT
00002189: PUSH2 0x2194
0000218c: JUMPI
0000218d: PUSH2 0x2194
00002190: PUSH2 0x2a0e
00002193: JUMP
00002194: JUMPDEST
00002195: PUSH1 0x01
00002197: PUSH1 0x01
00002199: PUSH1 0xa0
0000219b: SHL
0000219c: SUB
0000219d: SWAP3
0000219e: DUP4
0000219f: AND
000021a0: PUSH1 0x20
000021a2: SWAP2
000021a3: DUP3
000021a4: MUL
000021a5: SWAP3
000021a6: SWAP1
000021a7: SWAP3
000021a8: ADD
000021a9: ADD
000021aa: MSTORE
000021ab: PUSH1 0x16
000021ad: SLOAD
000021ae: PUSH1 0x40
000021b0: MLOAD
000021b1: PUSH4 0x70a08231
000021b6: PUSH1 0xe0
000021b8: SHL
000021b9: DUP2
000021ba: MSTORE
000021bb: ADDRESS
000021bc: PUSH1 0x04
000021be: DUP3
000021bf: ADD
000021c0: MSTORE
000021c1: PUSH1 0x00
000021c3: SWAP3
000021c4: SWAP2
000021c5: SWAP1
000021c6: SWAP2
000021c7: AND
000021c8: SWAP1
000021c9: PUSH4 0x70a08231
000021ce: SWAP1
000021cf: PUSH1 0x24
000021d1: ADD
000021d2: PUSH1 0x20
000021d4: PUSH1 0x40
000021d6: MLOAD
000021d7: DUP1
000021d8: DUP4
000021d9: SUB
000021da: DUP2
000021db: DUP7
000021dc: GAS
000021dd: STATICCALL
000021de: ISZERO
000021df: DUP1
000021e0: ISZERO
000021e1: PUSH2 0x21ee
000021e4: JUMPI
000021e5: RETURNDATASIZE
000021e6: PUSH1 0x00
000021e8: DUP1
000021e9: RETURNDATACOPY
000021ea: RETURNDATASIZE
000021eb: PUSH1 0x00
000021ed: REVERT
000021ee: JUMPDEST
000021ef: POP
000021f0: POP
000021f1: POP
000021f2: POP
000021f3: PUSH1 0x40
000021f5: MLOAD
000021f6: RETURNDATASIZE
000021f7: PUSH1 0x1f
000021f9: NOT
000021fa: PUSH1 0x1f
000021fc: DUP3
000021fd: ADD
000021fe: AND
000021ff: DUP3
00002200: ADD
00002201: DUP1
00002202: PUSH1 0x40
00002204: MSTORE
00002205: POP
00002206: DUP2
00002207: ADD
00002208: SWAP1
00002209: PUSH2 0x2212
0000220c: SWAP2
0000220d: SWAP1
0000220e: PUSH2 0x2b1e
00002211: JUMP
00002212: JUMPDEST
00002213: PUSH1 0x15
00002215: SLOAD
00002216: PUSH1 0x40
00002218: MLOAD
00002219: PUSH4 0xb6f9de95
0000221e: PUSH1 0xe0
00002220: SHL
00002221: DUP2
00002222: MSTORE
00002223: SWAP2
00002224: SWAP3
00002225: POP
00002226: PUSH1 0x01
00002228: PUSH1 0x01
0000222a: PUSH1 0xa0
0000222c: SHL
0000222d: SUB
0000222e: AND
0000222f: SWAP1
00002230: PUSH4 0xb6f9de95
00002235: SWAP1
00002236: DUP7
00002237: SWAP1
00002238: PUSH2 0x224c
0000223b: SWAP1
0000223c: PUSH1 0x00
0000223e: SWAP1
0000223f: DUP8
00002240: SWAP1
00002241: ADDRESS
00002242: SWAP1
00002243: TIMESTAMP
00002244: SWAP1
00002245: PUSH1 0x04
00002247: ADD
00002248: PUSH2 0x2ae9
0000224b: JUMP
0000224c: JUMPDEST
0000224d: PUSH1 0x00
0000224f: PUSH1 0x40
00002251: MLOAD
00002252: DUP1
00002253: DUP4
00002254: SUB
00002255: DUP2
00002256: DUP6
00002257: DUP9
00002258: DUP1
00002259: EXTCODESIZE
0000225a: ISZERO
0000225b: DUP1
0000225c: ISZERO
0000225d: PUSH2 0x2265
00002260: JUMPI
00002261: PUSH1 0x00
00002263: DUP1
00002264: REVERT
00002265: JUMPDEST
00002266: POP
00002267: GAS
00002268: CALL
00002269: SWAP4
0000226a: POP
0000226b: POP
0000226c: POP
0000226d: POP
0000226e: DUP1
0000226f: ISZERO
00002270: PUSH2 0x2277
00002273: JUMPI
00002274: POP
00002275: PUSH1 0x01
00002277: JUMPDEST
00002278: PUSH2 0x2284
0000227b: JUMPI
0000227c: PUSH1 0x00
0000227e: SWAP3
0000227f: POP
00002280: PUSH2 0x2387
00002283: JUMP
00002284: JUMPDEST
00002285: PUSH1 0x16
00002287: SLOAD
00002288: PUSH1 0x40
0000228a: MLOAD
0000228b: PUSH4 0x70a08231
00002290: PUSH1 0xe0
00002292: SHL
00002293: DUP2
00002294: MSTORE
00002295: ADDRESS
00002296: PUSH1 0x04
00002298: DUP3
00002299: ADD
0000229a: MSTORE
0000229b: PUSH1 0x00
0000229d: SWAP2
0000229e: PUSH2 0x22f7
000022a1: SWAP2
000022a2: DUP5
000022a3: SWAP2
000022a4: PUSH1 0x01
000022a6: PUSH1 0x01
000022a8: PUSH1 0xa0
000022aa: SHL
000022ab: SUB
000022ac: AND
000022ad: SWAP1
000022ae: PUSH4 0x70a08231
000022b3: SWAP1
000022b4: PUSH1 0x24
000022b6: ADD
000022b7: PUSH1 0x20
000022b9: PUSH1 0x40
000022bb: MLOAD
000022bc: DUP1
000022bd: DUP4
000022be: SUB
000022bf: DUP2
000022c0: DUP7
000022c1: GAS
000022c2: STATICCALL
000022c3: ISZERO
000022c4: DUP1
000022c5: ISZERO
000022c6: PUSH2 0x22d3
000022c9: JUMPI
000022ca: RETURNDATASIZE
000022cb: PUSH1 0x00
000022cd: DUP1
000022ce: RETURNDATACOPY
000022cf: RETURNDATASIZE
000022d0: PUSH1 0x00
000022d2: REVERT
000022d3: JUMPDEST
000022d4: POP
000022d5: POP
000022d6: POP
000022d7: POP
000022d8: PUSH1 0x40
000022da: MLOAD
000022db: RETURNDATASIZE
000022dc: PUSH1 0x1f
000022de: NOT
000022df: PUSH1 0x1f
000022e1: DUP3
000022e2: ADD
000022e3: AND
000022e4: DUP3
000022e5: ADD
000022e6: DUP1
000022e7: PUSH1 0x40
000022e9: MSTORE
000022ea: POP
000022eb: DUP2
000022ec: ADD
000022ed: SWAP1
000022ee: PUSH2 0x12c2
000022f1: SWAP2
000022f2: SWAP1
000022f3: PUSH2 0x2b1e
000022f6: JUMP
000022f7: JUMPDEST
000022f8: SWAP1
000022f9: POP
000022fa: DUP1
000022fb: ISZERO
000022fc: PUSH2 0x2380
000022ff: JUMPI
00002300: PUSH1 0x16
00002302: SLOAD
00002303: PUSH1 0x40
00002305: MLOAD
00002306: PUSH4 0xa9059cbb
0000230b: PUSH1 0xe0
0000230d: SHL
0000230e: DUP2
0000230f: MSTORE
00002310: PUSH1 0x01
00002312: PUSH1 0x01
00002314: PUSH1 0xa0
00002316: SHL
00002317: SUB
00002318: DUP10
00002319: DUP2
0000231a: AND
0000231b: PUSH1 0x04
0000231d: DUP4
0000231e: ADD
0000231f: MSTORE
00002320: PUSH1 0x24
00002322: DUP3
00002323: ADD
00002324: DUP5
00002325: SWAP1
00002326: MSTORE
00002327: PUSH1 0x01
00002329: SWAP7
0000232a: POP
0000232b: SWAP1
0000232c: SWAP2
0000232d: AND
0000232e: SWAP1
0000232f: PUSH4 0xa9059cbb
00002334: SWAP1
00002335: PUSH1 0x44
00002337: ADD
00002338: PUSH1 0x20
0000233a: PUSH1 0x40
0000233c: MLOAD
0000233d: DUP1
0000233e: DUP4
0000233f: SUB
00002340: DUP2
00002341: PUSH1 0x00
00002343: DUP8
00002344: GAS
00002345: CALL
00002346: ISZERO
00002347: DUP1
00002348: ISZERO
00002349: PUSH2 0x2356
0000234c: JUMPI
0000234d: RETURNDATASIZE
0000234e: PUSH1 0x00
00002350: DUP1
00002351: RETURNDATACOPY
00002352: RETURNDATASIZE
00002353: PUSH1 0x00
00002355: REVERT
00002356: JUMPDEST
00002357: POP
00002358: POP
00002359: POP
0000235a: POP
0000235b: PUSH1 0x40
0000235d: MLOAD
0000235e: RETURNDATASIZE
0000235f: PUSH1 0x1f
00002361: NOT
00002362: PUSH1 0x1f
00002364: DUP3
00002365: ADD
00002366: AND
00002367: DUP3
00002368: ADD
00002369: DUP1
0000236a: PUSH1 0x40
0000236c: MSTORE
0000236d: POP
0000236e: DUP2
0000236f: ADD
00002370: SWAP1
00002371: PUSH2 0x237a
00002374: SWAP2
00002375: SWAP1
00002376: PUSH2 0x2b37
00002379: JUMP
0000237a: JUMPDEST
0000237b: POP
0000237c: PUSH2 0x2385
0000237f: JUMP
00002380: JUMPDEST
00002381: PUSH1 0x00
00002383: SWAP4
00002384: POP
00002385: JUMPDEST
00002386: POP
00002387: JUMPDEST
00002388: DUP3
00002389: PUSH2 0x23d6
0000238c: JUMPI
0000238d: PUSH1 0x01
0000238f: PUSH1 0x01
00002391: PUSH1 0xa0
00002393: SHL
00002394: SUB
00002395: DUP7
00002396: AND
00002397: PUSH1 0x00
00002399: SWAP1
0000239a: DUP2
0000239b: MSTORE
0000239c: PUSH1 0x07
0000239e: PUSH1 0x20
000023a0: MSTORE
000023a1: PUSH1 0x40
000023a3: SWAP1
000023a4: KECCAK256
000023a5: SLOAD
000023a6: PUSH2 0x23af
000023a9: SWAP1
000023aa: DUP6
000023ab: PUSH2 0x1d72
000023ae: JUMP
000023af: JUMPDEST
000023b0: PUSH1 0x01
000023b2: PUSH1 0x01
000023b4: PUSH1 0xa0
000023b6: SHL
000023b7: SUB
000023b8: SWAP1
000023b9: SWAP7
000023ba: AND
000023bb: PUSH1 0x00
000023bd: SWAP1
000023be: DUP2
000023bf: MSTORE
000023c0: PUSH1 0x07
000023c2: PUSH1 0x20
000023c4: MSTORE
000023c5: PUSH1 0x40
000023c7: DUP2
000023c8: KECCAK256
000023c9: SWAP7
000023ca: SWAP1
000023cb: SWAP7
000023cc: SSTORE
000023cd: POP
000023ce: SWAP4
000023cf: SWAP5
000023d0: SWAP4
000023d1: POP
000023d2: POP
000023d3: POP
000023d4: POP
000023d5: JUMP
000023d6: JUMPDEST
000023d7: POP
000023d8: SWAP2
000023d9: SWAP5
000023da: SWAP4
000023db: POP
000023dc: POP
000023dd: POP
000023de: POP
000023df: JUMP
000023e0: JUMPDEST
000023e1: PUSH1 0x01
000023e3: PUSH1 0x01
000023e5: PUSH1 0xa0
000023e7: SHL
000023e8: SUB
000023e9: DUP3
000023ea: AND
000023eb: PUSH1 0x00
000023ed: SWAP1
000023ee: DUP2
000023ef: MSTORE
000023f0: PUSH1 0x03
000023f2: DUP5
000023f3: ADD
000023f4: PUSH1 0x20
000023f6: MSTORE
000023f7: PUSH1 0x40
000023f9: SWAP1
000023fa: KECCAK256
000023fb: SLOAD
000023fc: PUSH1 0xff
000023fe: AND
000023ff: ISZERO
00002400: PUSH2 0x2425
00002403: JUMPI
00002404: PUSH1 0x01
00002406: PUSH1 0x01
00002408: PUSH1 0xa0
0000240a: SHL
0000240b: SUB
0000240c: DUP3
0000240d: AND
0000240e: PUSH1 0x00
00002410: SWAP1
00002411: DUP2
00002412: MSTORE
00002413: PUSH1 0x01
00002415: DUP5
00002416: ADD
00002417: PUSH1 0x20
00002419: MSTORE
0000241a: PUSH1 0x40
0000241c: SWAP1
0000241d: KECCAK256
0000241e: DUP2
0000241f: SWAP1
00002420: SSTORE
00002421: POP
00002422: POP
00002423: POP
00002424: JUMP
00002425: JUMPDEST
00002426: PUSH1 0x01
00002428: PUSH1 0x01
0000242a: PUSH1 0xa0
0000242c: SHL
0000242d: SUB
0000242e: DUP3
0000242f: AND
00002430: PUSH1 0x00
00002432: DUP2
00002433: DUP2
00002434: MSTORE
00002435: PUSH1 0x03
00002437: DUP6
00002438: ADD
00002439: PUSH1 0x20
0000243b: SWAP1
0000243c: DUP2
0000243d: MSTORE
0000243e: PUSH1 0x40
00002440: DUP1
00002441: DUP4
00002442: KECCAK256
00002443: DUP1
00002444: SLOAD
00002445: PUSH1 0xff
00002447: NOT
00002448: AND
00002449: PUSH1 0x01
0000244b: SWAP1
0000244c: DUP2
0000244d: OR
0000244e: SWAP1
0000244f: SWAP2
00002450: SSTORE
00002451: DUP8
00002452: DUP2
00002453: ADD
00002454: DUP4
00002455: MSTORE
00002456: DUP2
00002457: DUP5
00002458: KECCAK256
00002459: DUP7
0000245a: SWAP1
0000245b: SSTORE
0000245c: DUP8
0000245d: SLOAD
0000245e: PUSH1 0x02
00002460: DUP10
00002461: ADD
00002462: DUP5
00002463: MSTORE
00002464: SWAP2
00002465: DUP5
00002466: KECCAK256
00002467: DUP3
00002468: SWAP1
00002469: SSTORE
0000246a: DUP2
0000246b: ADD
0000246c: DUP8
0000246d: SSTORE
0000246e: DUP7
0000246f: DUP4
00002470: MSTORE
00002471: SWAP2
00002472: KECCAK256
00002473: ADD
00002474: DUP1
00002475: SLOAD
00002476: PUSH1 0x01
00002478: PUSH1 0x01
0000247a: PUSH1 0xa0
0000247c: SHL
0000247d: SUB
0000247e: NOT
0000247f: AND
00002480: SWAP1
00002481: SWAP2
00002482: OR
00002483: SWAP1
00002484: SSTORE
00002485: POP
00002486: POP
00002487: POP
00002488: JUMP
00002489: JUMPDEST
0000248a: PUSH1 0x01
0000248c: PUSH1 0x01
0000248e: PUSH1 0xa0
00002490: SHL
00002491: SUB
00002492: DUP2
00002493: AND
00002494: PUSH1 0x00
00002496: SWAP1
00002497: DUP2
00002498: MSTORE
00002499: PUSH1 0x03
0000249b: DUP4
0000249c: ADD
0000249d: PUSH1 0x20
0000249f: MSTORE
000024a0: PUSH1 0x40
000024a2: DUP2
000024a3: KECCAK256
000024a4: SLOAD
000024a5: PUSH1 0xff
000024a7: AND
000024a8: PUSH2 0x24b4
000024ab: JUMPI
000024ac: POP
000024ad: PUSH1 0x00
000024af: NOT
000024b0: PUSH2 0x0c2c
000024b3: JUMP
000024b4: JUMPDEST
000024b5: POP
000024b6: PUSH1 0x01
000024b8: PUSH1 0x01
000024ba: PUSH1 0xa0
000024bc: SHL
000024bd: SUB
000024be: AND
000024bf: PUSH1 0x00
000024c1: SWAP1
000024c2: DUP2
000024c3: MSTORE
000024c4: PUSH1 0x02
000024c6: SWAP2
000024c7: SWAP1
000024c8: SWAP2
000024c9: ADD
000024ca: PUSH1 0x20
000024cc: MSTORE
000024cd: PUSH1 0x40
000024cf: SWAP1
000024d0: KECCAK256
000024d1: SLOAD
000024d2: SWAP1
000024d3: JUMP
000024d4: JUMPDEST
000024d5: PUSH1 0x00
000024d7: DUP1
000024d8: PUSH2 0x24e1
000024db: DUP4
000024dc: DUP6
000024dd: PUSH2 0x2b54
000024e0: JUMP
000024e1: JUMPDEST
000024e2: SWAP1
000024e3: POP
000024e4: PUSH1 0x00
000024e6: DUP4
000024e7: SLT
000024e8: ISZERO
000024e9: DUP1
000024ea: ISZERO
000024eb: PUSH2 0x24f4
000024ee: JUMPI
000024ef: POP
000024f0: DUP4
000024f1: DUP2
000024f2: SGT
000024f3: ISZERO
000024f4: JUMPDEST
000024f5: DUP1
000024f6: PUSH2 0x1b89
000024f9: JUMPI
000024fa: POP
000024fb: PUSH1 0x00
000024fd: DUP4
000024fe: SLT
000024ff: DUP1
00002500: ISZERO
00002501: PUSH2 0x1b89
00002504: JUMPI
00002505: POP
00002506: DUP4
00002507: DUP2
00002508: SGT
00002509: PUSH2 0x191d
0000250c: JUMPI
0000250d: PUSH1 0x00
0000250f: DUP1
00002510: REVERT
00002511: JUMPDEST
00002512: PUSH2 0x251b
00002515: DUP3
00002516: DUP3
00002517: PUSH2 0x25b9
0000251a: JUMP
0000251b: JUMPDEST
0000251c: PUSH2 0x2555
0000251f: PUSH2 0x2536
00002522: PUSH2 0x0cdd
00002525: DUP4
00002526: PUSH1 0x05
00002528: SLOAD
00002529: PUSH2 0x189b
0000252c: SWAP1
0000252d: SWAP2
0000252e: SWAP1
0000252f: PUSH4 0xffffffff
00002534: AND
00002535: JUMP
00002536: JUMPDEST
00002537: PUSH1 0x01
00002539: PUSH1 0x01
0000253b: PUSH1 0xa0
0000253d: SHL
0000253e: SUB
0000253f: DUP5
00002540: AND
00002541: PUSH1 0x00
00002543: SWAP1
00002544: DUP2
00002545: MSTORE
00002546: PUSH1 0x06
00002548: PUSH1 0x20
0000254a: MSTORE
0000254b: PUSH1 0x40
0000254d: SWAP1
0000254e: KECCAK256
0000254f: SLOAD
00002550: SWAP1
00002551: PUSH2 0x24d4
00002554: JUMP
00002555: JUMPDEST
00002556: PUSH1 0x01
00002558: PUSH1 0x01
0000255a: PUSH1 0xa0
0000255c: SHL
0000255d: SUB
0000255e: SWAP1
0000255f: SWAP3
00002560: AND
00002561: PUSH1 0x00
00002563: SWAP1
00002564: DUP2
00002565: MSTORE
00002566: PUSH1 0x06
00002568: PUSH1 0x20
0000256a: MSTORE
0000256b: PUSH1 0x40
0000256d: SWAP1
0000256e: KECCAK256
0000256f: SWAP2
00002570: SWAP1
00002571: SWAP2
00002572: SSTORE
00002573: POP
00002574: JUMP
00002575: JUMPDEST
00002576: PUSH2 0x257f
00002579: DUP3
0000257a: DUP3
0000257b: PUSH2 0x2698
0000257e: JUMP
0000257f: JUMPDEST
00002580: PUSH2 0x2555
00002583: PUSH2 0x259a
00002586: PUSH2 0x0cdd
00002589: DUP4
0000258a: PUSH1 0x05
0000258c: SLOAD
0000258d: PUSH2 0x189b
00002590: SWAP1
00002591: SWAP2
00002592: SWAP1
00002593: PUSH4 0xffffffff
00002598: AND
00002599: JUMP
0000259a: JUMPDEST
0000259b: PUSH1 0x01
0000259d: PUSH1 0x01
0000259f: PUSH1 0xa0
000025a1: SHL
000025a2: SUB
000025a3: DUP5
000025a4: AND
000025a5: PUSH1 0x00
000025a7: SWAP1
000025a8: DUP2
000025a9: MSTORE
000025aa: PUSH1 0x06
000025ac: PUSH1 0x20
000025ae: MSTORE
000025af: PUSH1 0x40
000025b1: SWAP1
000025b2: KECCAK256
000025b3: SLOAD
000025b4: SWAP1
000025b5: PUSH2 0x1b54
000025b8: JUMP
000025b9: JUMPDEST
000025ba: PUSH1 0x01
000025bc: PUSH1 0x01
000025be: PUSH1 0xa0
000025c0: SHL
000025c1: SUB
000025c2: DUP3
000025c3: AND
000025c4: PUSH2 0x260f
000025c7: JUMPI
000025c8: PUSH1 0x40
000025ca: MLOAD
000025cb: PUSH3 0x461bcd
000025cf: PUSH1 0xe5
000025d1: SHL
000025d2: DUP2
000025d3: MSTORE
000025d4: PUSH1 0x20
000025d6: PUSH1 0x04
000025d8: DUP3
000025d9: ADD
000025da: MSTORE
000025db: PUSH1 0x1f
000025dd: PUSH1 0x24
000025df: DUP3
000025e0: ADD
000025e1: MSTORE
000025e2: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
00002603: PUSH1 0x44
00002605: DUP3
00002606: ADD
00002607: MSTORE
00002608: PUSH1 0x64
0000260a: ADD
0000260b: PUSH2 0x0bf1
0000260e: JUMP
0000260f: JUMPDEST
00002610: PUSH1 0x02
00002612: SLOAD
00002613: PUSH2 0x261c
00002616: SWAP1
00002617: DUP3
00002618: PUSH2 0x1924
0000261b: JUMP
0000261c: JUMPDEST
0000261d: PUSH1 0x02
0000261f: SSTORE
00002620: PUSH1 0x01
00002622: PUSH1 0x01
00002624: PUSH1 0xa0
00002626: SHL
00002627: SUB
00002628: DUP3
00002629: AND
0000262a: PUSH1 0x00
0000262c: SWAP1
0000262d: DUP2
0000262e: MSTORE
0000262f: PUSH1 0x20
00002631: DUP2
00002632: SWAP1
00002633: MSTORE
00002634: PUSH1 0x40
00002636: SWAP1
00002637: KECCAK256
00002638: SLOAD
00002639: PUSH2 0x2642
0000263c: SWAP1
0000263d: DUP3
0000263e: PUSH2 0x1924
00002641: JUMP
00002642: JUMPDEST
00002643: PUSH1 0x01
00002645: PUSH1 0x01
00002647: PUSH1 0xa0
00002649: SHL
0000264a: SUB
0000264b: DUP4
0000264c: AND
0000264d: PUSH1 0x00
0000264f: DUP2
00002650: DUP2
00002651: MSTORE
00002652: PUSH1 0x20
00002654: DUP2
00002655: DUP2
00002656: MSTORE
00002657: PUSH1 0x40
00002659: DUP1
0000265a: DUP4
0000265b: KECCAK256
0000265c: SWAP5
0000265d: SWAP1
0000265e: SWAP5
0000265f: SSTORE
00002660: SWAP3
00002661: MLOAD
00002662: DUP5
00002663: DUP2
00002664: MSTORE
00002665: SWAP2
00002666: SWAP3
00002667: SWAP1
00002668: SWAP2
00002669: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000268a: SWAP2
0000268b: ADD
0000268c: JUMPDEST
0000268d: PUSH1 0x40
0000268f: MLOAD
00002690: DUP1
00002691: SWAP2
00002692: SUB
00002693: SWAP1
00002694: LOG3
00002695: POP
00002696: POP
00002697: JUMP
00002698: JUMPDEST
00002699: PUSH1 0x01
0000269b: PUSH1 0x01
0000269d: PUSH1 0xa0
0000269f: SHL
000026a0: SUB
000026a1: DUP3
000026a2: AND
000026a3: PUSH2 0x26f8
000026a6: JUMPI
000026a7: PUSH1 0x40
000026a9: MLOAD
000026aa: PUSH3 0x461bcd
000026ae: PUSH1 0xe5
000026b0: SHL
000026b1: DUP2
000026b2: MSTORE
000026b3: PUSH1 0x20
000026b5: PUSH1 0x04
000026b7: DUP3
000026b8: ADD
000026b9: MSTORE
000026ba: PUSH1 0x21
000026bc: PUSH1 0x24
000026be: DUP3
000026bf: ADD
000026c0: MSTORE
000026c1: PUSH32 0x45524332303a206275726e2066726f6d20746865207a65726f20616464726573
000026e2: PUSH1 0x44
000026e4: DUP3
000026e5: ADD
000026e6: MSTORE
000026e7: PUSH1 0x73
000026e9: PUSH1 0xf8
000026eb: SHL
000026ec: PUSH1 0x64
000026ee: DUP3
000026ef: ADD
000026f0: MSTORE
000026f1: PUSH1 0x84
000026f3: ADD
000026f4: PUSH2 0x0bf1
000026f7: JUMP
000026f8: JUMPDEST
000026f9: PUSH2 0x2735
000026fc: DUP2
000026fd: PUSH1 0x40
000026ff: MLOAD
00002700: DUP1
00002701: PUSH1 0x60
00002703: ADD
00002704: PUSH1 0x40
00002706: MSTORE
00002707: DUP1
00002708: PUSH1 0x22
0000270a: DUP2
0000270b: MSTORE
0000270c: PUSH1 0x20
0000270e: ADD
0000270f: PUSH2 0x2b7c
00002712: PUSH1 0x22
00002714: SWAP2
00002715: CODECOPY
00002716: PUSH1 0x01
00002718: PUSH1 0x01
0000271a: PUSH1 0xa0
0000271c: SHL
0000271d: SUB
0000271e: DUP6
0000271f: AND
00002720: PUSH1 0x00
00002722: SWAP1
00002723: DUP2
00002724: MSTORE
00002725: PUSH1 0x20
00002727: DUP2
00002728: SWAP1
00002729: MSTORE
0000272a: PUSH1 0x40
0000272c: SWAP1
0000272d: KECCAK256
0000272e: SLOAD
0000272f: SWAP2
00002730: SWAP1
00002731: PUSH2 0x1b0a
00002734: JUMP
00002735: JUMPDEST
00002736: PUSH1 0x01
00002738: PUSH1 0x01
0000273a: PUSH1 0xa0
0000273c: SHL
0000273d: SUB
0000273e: DUP4
0000273f: AND
00002740: PUSH1 0x00
00002742: SWAP1
00002743: DUP2
00002744: MSTORE
00002745: PUSH1 0x20
00002747: DUP2
00002748: SWAP1
00002749: MSTORE
0000274a: PUSH1 0x40
0000274c: SWAP1
0000274d: KECCAK256
0000274e: SSTORE
0000274f: PUSH1 0x02
00002751: SLOAD
00002752: PUSH2 0x275b
00002755: SWAP1
00002756: DUP3
00002757: PUSH2 0x1d72
0000275a: JUMP
0000275b: JUMPDEST
0000275c: PUSH1 0x02
0000275e: SSTORE
0000275f: PUSH1 0x40
00002761: MLOAD
00002762: DUP2
00002763: DUP2
00002764: MSTORE
00002765: PUSH1 0x00
00002767: SWAP1
00002768: PUSH1 0x01
0000276a: PUSH1 0x01
0000276c: PUSH1 0xa0
0000276e: SHL
0000276f: SUB
00002770: DUP5
00002771: AND
00002772: SWAP1
00002773: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002794: SWAP1
00002795: PUSH1 0x20
00002797: ADD
00002798: PUSH2 0x268c
0000279b: JUMP
0000279c: JUMPDEST
0000279d: PUSH1 0x00
0000279f: PUSH1 0x20
000027a1: DUP1
000027a2: DUP4
000027a3: MSTORE
000027a4: DUP4
000027a5: MLOAD
000027a6: DUP1
000027a7: DUP3
000027a8: DUP6
000027a9: ADD
000027aa: MSTORE
000027ab: PUSH1 0x00
000027ad: JUMPDEST
000027ae: DUP2
000027af: DUP2
000027b0: LT
000027b1: ISZERO
000027b2: PUSH2 0x27c9
000027b5: JUMPI
000027b6: DUP6
000027b7: DUP2
000027b8: ADD
000027b9: DUP4
000027ba: ADD
000027bb: MLOAD
000027bc: DUP6
000027bd: DUP3
000027be: ADD
000027bf: PUSH1 0x40
000027c1: ADD
000027c2: MSTORE
000027c3: DUP3
000027c4: ADD
000027c5: PUSH2 0x27ad
000027c8: JUMP
000027c9: JUMPDEST
000027ca: POP
000027cb: PUSH1 0x00
000027cd: PUSH1 0x40
000027cf: DUP3
000027d0: DUP7
000027d1: ADD
000027d2: ADD
000027d3: MSTORE
000027d4: PUSH1 0x40
000027d6: PUSH1 0x1f
000027d8: NOT
000027d9: PUSH1 0x1f
000027db: DUP4
000027dc: ADD
000027dd: AND
000027de: DUP6
000027df: ADD
000027e0: ADD
000027e1: SWAP3
000027e2: POP
000027e3: POP
000027e4: POP
000027e5: SWAP3
000027e6: SWAP2
000027e7: POP
000027e8: POP
000027e9: JUMP
000027ea: JUMPDEST
000027eb: PUSH1 0x01
000027ed: PUSH1 0x01
000027ef: PUSH1 0xa0
000027f1: SHL
000027f2: SUB
000027f3: DUP2
000027f4: AND
000027f5: DUP2
000027f6: EQ
000027f7: PUSH2 0x27ff
000027fa: JUMPI
000027fb: PUSH1 0x00
000027fd: DUP1
000027fe: REVERT
000027ff: JUMPDEST
00002800: POP
00002801: JUMP
00002802: JUMPDEST
00002803: PUSH1 0x00
00002805: PUSH1 0x20
00002807: DUP3
00002808: DUP5
00002809: SUB
0000280a: SLT
0000280b: ISZERO
0000280c: PUSH2 0x2814
0000280f: JUMPI
00002810: PUSH1 0x00
00002812: DUP1
00002813: REVERT
00002814: JUMPDEST
00002815: DUP2
00002816: CALLDATALOAD
00002817: PUSH2 0x191d
0000281a: DUP2
0000281b: PUSH2 0x27ea
0000281e: JUMP
0000281f: JUMPDEST
00002820: PUSH1 0x00
00002822: DUP1
00002823: PUSH1 0x40
00002825: DUP4
00002826: DUP6
00002827: SUB
00002828: SLT
00002829: ISZERO
0000282a: PUSH2 0x2832
0000282d: JUMPI
0000282e: PUSH1 0x00
00002830: DUP1
00002831: REVERT
00002832: JUMPDEST
00002833: DUP3
00002834: CALLDATALOAD
00002835: PUSH2 0x283d
00002838: DUP2
00002839: PUSH2 0x27ea
0000283c: JUMP
0000283d: JUMPDEST
0000283e: SWAP5
0000283f: PUSH1 0x20
00002841: SWAP4
00002842: SWAP1
00002843: SWAP4
00002844: ADD
00002845: CALLDATALOAD
00002846: SWAP4
00002847: POP
00002848: POP
00002849: POP
0000284a: JUMP
0000284b: JUMPDEST
0000284c: PUSH1 0x00
0000284e: DUP1
0000284f: PUSH1 0x00
00002851: PUSH1 0x60
00002853: DUP5
00002854: DUP7
00002855: SUB
00002856: SLT
00002857: ISZERO
00002858: PUSH2 0x2860
0000285b: JUMPI
0000285c: PUSH1 0x00
0000285e: DUP1
0000285f: REVERT
00002860: JUMPDEST
00002861: DUP4
00002862: CALLDATALOAD
00002863: PUSH2 0x286b
00002866: DUP2
00002867: PUSH2 0x27ea
0000286a: JUMP
0000286b: JUMPDEST
0000286c: SWAP3
0000286d: POP
0000286e: PUSH1 0x20
00002870: DUP5
00002871: ADD
00002872: CALLDATALOAD
00002873: PUSH2 0x287b
00002876: DUP2
00002877: PUSH2 0x27ea
0000287a: JUMP
0000287b: JUMPDEST
0000287c: SWAP3
0000287d: SWAP6
0000287e: SWAP3
0000287f: SWAP5
00002880: POP
00002881: POP
00002882: POP
00002883: PUSH1 0x40
00002885: SWAP2
00002886: SWAP1
00002887: SWAP2
00002888: ADD
00002889: CALLDATALOAD
0000288a: SWAP1
0000288b: JUMP
0000288c: JUMPDEST
0000288d: DUP1
0000288e: ISZERO
0000288f: ISZERO
00002890: DUP2
00002891: EQ
00002892: PUSH2 0x27ff
00002895: JUMPI
00002896: PUSH1 0x00
00002898: DUP1
00002899: REVERT
0000289a: JUMPDEST
0000289b: PUSH1 0x00
0000289d: PUSH1 0x20
0000289f: DUP3
000028a0: DUP5
000028a1: SUB
000028a2: SLT
000028a3: ISZERO
000028a4: PUSH2 0x28ac
000028a7: JUMPI
000028a8: PUSH1 0x00
000028aa: DUP1
000028ab: REVERT
000028ac: JUMPDEST
000028ad: DUP2
000028ae: CALLDATALOAD
000028af: PUSH2 0x191d
000028b2: DUP2
000028b3: PUSH2 0x288c
000028b6: JUMP
000028b7: JUMPDEST
000028b8: PUSH1 0x00
000028ba: PUSH1 0x20
000028bc: DUP3
000028bd: DUP5
000028be: SUB
000028bf: SLT
000028c0: ISZERO
000028c1: PUSH2 0x28c9
000028c4: JUMPI
000028c5: PUSH1 0x00
000028c7: DUP1
000028c8: REVERT
000028c9: JUMPDEST
000028ca: POP
000028cb: CALLDATALOAD
000028cc: SWAP2
000028cd: SWAP1
000028ce: POP
000028cf: JUMP
000028d0: JUMPDEST
000028d1: PUSH1 0x00
000028d3: DUP1
000028d4: PUSH1 0x40
000028d6: DUP4
000028d7: DUP6
000028d8: SUB
000028d9: SLT
000028da: ISZERO
000028db: PUSH2 0x28e3
000028de: JUMPI
000028df: PUSH1 0x00
000028e1: DUP1
000028e2: REVERT
000028e3: JUMPDEST
000028e4: DUP3
000028e5: CALLDATALOAD
000028e6: PUSH2 0x28ee
000028e9: DUP2
000028ea: PUSH2 0x27ea
000028ed: JUMP
000028ee: JUMPDEST
000028ef: SWAP2
000028f0: POP
000028f1: PUSH1 0x20
000028f3: DUP4
000028f4: ADD
000028f5: CALLDATALOAD
000028f6: PUSH2 0x28fe
000028f9: DUP2
000028fa: PUSH2 0x288c
000028fd: JUMP
000028fe: JUMPDEST
000028ff: DUP1
00002900: SWAP2
00002901: POP
00002902: POP
00002903: SWAP3
00002904: POP
00002905: SWAP3
00002906: SWAP1
00002907: POP
00002908: JUMP
00002909: JUMPDEST
0000290a: PUSH1 0x00
0000290c: DUP1
0000290d: PUSH1 0x40
0000290f: DUP4
00002910: DUP6
00002911: SUB
00002912: SLT
00002913: ISZERO
00002914: PUSH2 0x291c
00002917: JUMPI
00002918: PUSH1 0x00
0000291a: DUP1
0000291b: REVERT
0000291c: JUMPDEST
0000291d: DUP3
0000291e: CALLDATALOAD
0000291f: PUSH2 0x2927
00002922: DUP2
00002923: PUSH2 0x27ea
00002926: JUMP
00002927: JUMPDEST
00002928: SWAP2
00002929: POP
0000292a: PUSH1 0x20
0000292c: DUP4
0000292d: ADD
0000292e: CALLDATALOAD
0000292f: PUSH2 0x28fe
00002932: DUP2
00002933: PUSH2 0x27ea
00002936: JUMP
00002937: JUMPDEST
00002938: PUSH4 0x4e487b71
0000293d: PUSH1 0xe0
0000293f: SHL
00002940: PUSH1 0x00
00002942: MSTORE
00002943: PUSH1 0x11
00002945: PUSH1 0x04
00002947: MSTORE
00002948: PUSH1 0x24
0000294a: PUSH1 0x00
0000294c: REVERT
0000294d: JUMPDEST
0000294e: PUSH1 0x00
00002950: DUP3
00002951: PUSH2 0x296a
00002954: JUMPI
00002955: PUSH4 0x4e487b71
0000295a: PUSH1 0xe0
0000295c: SHL
0000295d: PUSH1 0x00
0000295f: MSTORE
00002960: PUSH1 0x12
00002962: PUSH1 0x04
00002964: MSTORE
00002965: PUSH1 0x24
00002967: PUSH1 0x00
00002969: REVERT
0000296a: JUMPDEST
0000296b: POP
0000296c: DIV
0000296d: SWAP1
0000296e: JUMP
0000296f: JUMPDEST
00002970: PUSH1 0x01
00002972: DUP2
00002973: DUP2
00002974: SHR
00002975: SWAP1
00002976: DUP3
00002977: AND
00002978: DUP1
00002979: PUSH2 0x2983
0000297c: JUMPI
0000297d: PUSH1 0x7f
0000297f: DUP3
00002980: AND
00002981: SWAP2
00002982: POP
00002983: JUMPDEST
00002984: PUSH1 0x20
00002986: DUP3
00002987: LT
00002988: DUP2
00002989: SUB
0000298a: PUSH2 0x29a3
0000298d: JUMPI
0000298e: PUSH4 0x4e487b71
00002993: PUSH1 0xe0
00002995: SHL
00002996: PUSH1 0x00
00002998: MSTORE
00002999: PUSH1 0x22
0000299b: PUSH1 0x04
0000299d: MSTORE
0000299e: PUSH1 0x24
000029a0: PUSH1 0x00
000029a2: REVERT
000029a3: JUMPDEST
000029a4: POP
000029a5: SWAP2
000029a6: SWAP1
000029a7: POP
000029a8: JUMP
000029a9: JUMPDEST
000029aa: PUSH1 0x20
000029ac: DUP1
000029ad: DUP3
000029ae: MSTORE
000029af: DUP2
000029b0: DUP2
000029b1: ADD
000029b2: MSTORE
000029b3: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000029d4: PUSH1 0x40
000029d6: DUP3
000029d7: ADD
000029d8: MSTORE
000029d9: PUSH1 0x60
000029db: ADD
000029dc: SWAP1
000029dd: JUMP
000029de: JUMPDEST
000029df: DUP1
000029e0: DUP3
000029e1: MUL
000029e2: DUP2
000029e3: ISZERO
000029e4: DUP3
000029e5: DUP3
000029e6: DIV
000029e7: DUP5
000029e8: EQ
000029e9: OR
000029ea: PUSH2 0x0c2c
000029ed: JUMPI
000029ee: PUSH2 0x0c2c
000029f1: PUSH2 0x2937
000029f4: JUMP
000029f5: JUMPDEST
000029f6: PUSH1 0x00
000029f8: PUSH1 0x01
000029fa: DUP3
000029fb: ADD
000029fc: PUSH2 0x2a07
000029ff: JUMPI
00002a00: PUSH2 0x2a07
00002a03: PUSH2 0x2937
00002a06: JUMP
00002a07: JUMPDEST
00002a08: POP
00002a09: PUSH1 0x01
00002a0b: ADD
00002a0c: SWAP1
00002a0d: JUMP
00002a0e: JUMPDEST
00002a0f: PUSH4 0x4e487b71
00002a14: PUSH1 0xe0
00002a16: SHL
00002a17: PUSH1 0x00
00002a19: MSTORE
00002a1a: PUSH1 0x32
00002a1c: PUSH1 0x04
00002a1e: MSTORE
00002a1f: PUSH1 0x24
00002a21: PUSH1 0x00
00002a23: REVERT
00002a24: JUMPDEST
00002a25: DUP1
00002a26: DUP3
00002a27: ADD
00002a28: DUP1
00002a29: DUP3
00002a2a: GT
00002a2b: ISZERO
00002a2c: PUSH2 0x0c2c
00002a2f: JUMPI
00002a30: PUSH2 0x0c2c
00002a33: PUSH2 0x2937
00002a36: JUMP
00002a37: JUMPDEST
00002a38: DUP2
00002a39: DUP2
00002a3a: SUB
00002a3b: DUP2
00002a3c: DUP2
00002a3d: GT
00002a3e: ISZERO
00002a3f: PUSH2 0x0c2c
00002a42: JUMPI
00002a43: PUSH2 0x0c2c
00002a46: PUSH2 0x2937
00002a49: JUMP
00002a4a: JUMPDEST
00002a4b: DUP1
00002a4c: DUP3
00002a4d: ADD
00002a4e: DUP3
00002a4f: DUP2
00002a50: SLT
00002a51: PUSH1 0x00
00002a53: DUP4
00002a54: SLT
00002a55: DUP1
00002a56: ISZERO
00002a57: DUP3
00002a58: AND
00002a59: DUP3
00002a5a: ISZERO
00002a5b: DUP3
00002a5c: AND
00002a5d: OR
00002a5e: ISZERO
00002a5f: PUSH2 0x2a6a
00002a62: JUMPI
00002a63: PUSH2 0x2a6a
00002a66: PUSH2 0x2937
00002a69: JUMP
00002a6a: JUMPDEST
00002a6b: POP
00002a6c: POP
00002a6d: SWAP3
00002a6e: SWAP2
00002a6f: POP
00002a70: POP
00002a71: JUMP
00002a72: JUMPDEST
00002a73: PUSH4 0x4e487b71
00002a78: PUSH1 0xe0
00002a7a: SHL
00002a7b: PUSH1 0x00
00002a7d: MSTORE
00002a7e: PUSH1 0x31
00002a80: PUSH1 0x04
00002a82: MSTORE
00002a83: PUSH1 0x24
00002a85: PUSH1 0x00
00002a87: REVERT
00002a88: JUMPDEST
00002a89: PUSH1 0x00
00002a8b: PUSH1 0x20
00002a8d: DUP3
00002a8e: DUP5
00002a8f: SUB
00002a90: SLT
00002a91: ISZERO
00002a92: PUSH2 0x2a9a
00002a95: JUMPI
00002a96: PUSH1 0x00
00002a98: DUP1
00002a99: REVERT
00002a9a: JUMPDEST
00002a9b: DUP2
00002a9c: MLOAD
00002a9d: PUSH2 0x191d
00002aa0: DUP2
00002aa1: PUSH2 0x27ea
00002aa4: JUMP
00002aa5: JUMPDEST
00002aa6: PUSH1 0x00
00002aa8: DUP2
00002aa9: MLOAD
00002aaa: DUP1
00002aab: DUP5
00002aac: MSTORE
00002aad: PUSH1 0x20
00002aaf: DUP1
00002ab0: DUP6
00002ab1: ADD
00002ab2: SWAP5
00002ab3: POP
00002ab4: DUP1
00002ab5: DUP5
00002ab6: ADD
00002ab7: PUSH1 0x00
00002ab9: JUMPDEST
00002aba: DUP4
00002abb: DUP2
00002abc: LT
00002abd: ISZERO
00002abe: PUSH2 0x2ade
00002ac1: JUMPI
00002ac2: DUP2
00002ac3: MLOAD
00002ac4: PUSH1 0x01
00002ac6: PUSH1 0x01
00002ac8: PUSH1 0xa0
00002aca: SHL
00002acb: SUB
00002acc: AND
00002acd: DUP8
00002ace: MSTORE
00002acf: SWAP6
00002ad0: DUP3
00002ad1: ADD
00002ad2: SWAP6
00002ad3: SWAP1
00002ad4: DUP3
00002ad5: ADD
00002ad6: SWAP1
00002ad7: PUSH1 0x01
00002ad9: ADD
00002ada: PUSH2 0x2ab9
00002add: JUMP
00002ade: JUMPDEST
00002adf: POP
00002ae0: SWAP5
00002ae1: SWAP6
00002ae2: SWAP5
00002ae3: POP
00002ae4: POP
00002ae5: POP
00002ae6: POP
00002ae7: POP
00002ae8: JUMP
00002ae9: JUMPDEST
00002aea: DUP5
00002aeb: DUP2
00002aec: MSTORE
00002aed: PUSH1 0x80
00002aef: PUSH1 0x20
00002af1: DUP3
00002af2: ADD
00002af3: MSTORE
00002af4: PUSH1 0x00
00002af6: PUSH2 0x2b02
00002af9: PUSH1 0x80
00002afb: DUP4
00002afc: ADD
00002afd: DUP7
00002afe: PUSH2 0x2aa5
00002b01: JUMP
00002b02: JUMPDEST
00002b03: PUSH1 0x01
00002b05: PUSH1 0x01
00002b07: PUSH1 0xa0
00002b09: SHL
00002b0a: SUB
00002b0b: SWAP5
00002b0c: SWAP1
00002b0d: SWAP5
00002b0e: AND
00002b0f: PUSH1 0x40
00002b11: DUP4
00002b12: ADD
00002b13: MSTORE
00002b14: POP
00002b15: PUSH1 0x60
00002b17: ADD
00002b18: MSTORE
00002b19: SWAP3
00002b1a: SWAP2
00002b1b: POP
00002b1c: POP
00002b1d: JUMP
00002b1e: JUMPDEST
00002b1f: PUSH1 0x00
00002b21: PUSH1 0x20
00002b23: DUP3
00002b24: DUP5
00002b25: SUB
00002b26: SLT
00002b27: ISZERO
00002b28: PUSH2 0x2b30
00002b2b: JUMPI
00002b2c: PUSH1 0x00
00002b2e: DUP1
00002b2f: REVERT
00002b30: JUMPDEST
00002b31: POP
00002b32: MLOAD
00002b33: SWAP2
00002b34: SWAP1
00002b35: POP
00002b36: JUMP
00002b37: JUMPDEST
00002b38: PUSH1 0x00
00002b3a: PUSH1 0x20
00002b3c: DUP3
00002b3d: DUP5
00002b3e: SUB
00002b3f: SLT
00002b40: ISZERO
00002b41: PUSH2 0x2b49
00002b44: JUMPI
00002b45: PUSH1 0x00
00002b47: DUP1
00002b48: REVERT
00002b49: JUMPDEST
00002b4a: DUP2
00002b4b: MLOAD
00002b4c: PUSH2 0x191d
00002b4f: DUP2
00002b50: PUSH2 0x288c
00002b53: JUMP
00002b54: JUMPDEST
00002b55: DUP2
00002b56: DUP2
00002b57: SUB
00002b58: PUSH1 0x00
00002b5a: DUP4
00002b5b: SLT
00002b5c: DUP1
00002b5d: ISZERO
00002b5e: DUP4
00002b5f: DUP4
00002b60: SGT
00002b61: AND
00002b62: DUP4
00002b63: DUP4
00002b64: SLT
00002b65: DUP3
00002b66: AND
00002b67: OR
00002b68: ISZERO
00002b69: PUSH2 0x2b74
00002b6c: JUMPI
00002b6d: PUSH2 0x2b74
00002b70: PUSH2 0x2937
00002b73: JUMP
00002b74: JUMPDEST
00002b75: POP
00002b76: SWAP3
00002b77: SWAP2
00002b78: POP
00002b79: POP
00002b7a: JUMP
00002b7b: INVALID
00002b7c: GASLIMIT
00002b7d: MSTORE
00002b7e: NUMBER
00002b7f: ORIGIN
00002b80: ADDRESS
00002b81: GASPRICE
00002b82: KECCAK256
00002b83: PUSH3 0x75726e
00002b87: KECCAK256
00002b88: PUSH2 0x6d6f
00002b8b: PUSH22 0x6e7420657863656564732062616c616e636545524332
00002ba2: ADDRESS
00002ba3: GASPRICE
00002ba4: KECCAK256
00002ba5: PUSH21 0x72616e7366657220616d6f756e7420657863656564
00002bbb: PUSH20 0x20616c6c6f77616e636545524332303a20646563
00002bd0: PUSH19 0x656173656420616c6c6f77616e63652062656c
00002be4: PUSH16 0x77207a65726fa2646970667358221220
00002bf5: UNKNOWN(0xDC)
00002bf6: DUP12
00002bf7: LOG0
00002bf8: PUSH14 0x694f13c3b73a01233220b58dd03c
00002c07: UNKNOWN(0xC5)
00002c08: GAS
00002c09: CODESIZE
00002c0a: PC
00002c0b: PUSH24

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
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": "0xe7cb7f87",
            "selector": "0xe7cb7f87",
            "calldata_variants": [
                "0xe7cb7f87",
                "0xe7cb7f870000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfbcbc0f1",
            "selector": "0xfbcbc0f1",
            "calldata_variants": [
                "0xfbcbc0f1",
                "0xfbcbc0f10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xffb2c479",
            "selector": "0xffb2c479",
            "calldata_variants": [
                "0xffb2c479",
                "0xffb2c4790000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe30443bc",
            "selector": "0xe30443bc",
            "calldata_variants": [
                "0xe30443bc",
                "0xe30443bc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe7841ec0",
            "selector": "0xe7841ec0",
            "calldata_variants": [
                "0xe7841ec0",
                "0xe7841ec00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xba079d49",
            "selector": "0xba079d49",
            "calldata_variants": [
                "0xba079d49",
                "0xba079d490000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [
        {
            "pc": 11135,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x43226d67c24939687414851efac93bc60a9e12c865d1bb4e76c7edb8977f0308
call_targets: 0xbcb12f52d61a1abc61e502216931127be6b5c06b
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x43226d67c24939687414851efac93bc60a9e12c865d1bb4e76c7edb8977f0308",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xbcb12f52d61a1abc61e502216931127be6b5c06b"
    ],
    "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": "0xe7cb7f87",
            "selector": "0xe7cb7f87",
            "calldata_variants": [
                "0xe7cb7f87",
                "0xe7cb7f870000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfbcbc0f1",
            "selector": "0xfbcbc0f1",
            "calldata_variants": [
                "0xfbcbc0f1",
                "0xfbcbc0f10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xffb2c479",
            "selector": "0xffb2c479",
            "calldata_variants": [
                "0xffb2c479",
                "0xffb2c4790000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe30443bc",
            "selector": "0xe30443bc",
            "calldata_variants": [
                "0xe30443bc",
                "0xe30443bc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe7841ec0",
            "selector": "0xe7841ec0",
            "calldata_variants": [
                "0xe7841ec0",
                "0xe7841ec00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xba079d49",
            "selector": "0xba079d49",
            "calldata_variants": [
                "0xba079d49",
                "0xba079d490000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 7727,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 8103,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 8808,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 4,
    "guards_detected": [
        {
            "pc": 11135,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 4
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x43226d67c24939687414851efac93bc60a9e12c865d1bb4e76c7edb8977f0308
call_targets: 0xbcb12f52d61a1abc61e502216931127be6b5c06b
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x43226d67c24939687414851efac93bc60a9e12c865d1bb4e76c7edb8977f0308",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xbcb12f52d61a1abc61e502216931127be6b5c06b"
    ],
    "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": "0xe7cb7f87",
            "selector": "0xe7cb7f87",
            "calldata_variants": [
                "0xe7cb7f87",
                "0xe7cb7f870000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfbcbc0f1",
            "selector": "0xfbcbc0f1",
            "calldata_variants": [
                "0xfbcbc0f1",
                "0xfbcbc0f10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xffb2c479",
            "selector": "0xffb2c479",
            "calldata_variants": [
                "0xffb2c479",
                "0xffb2c4790000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe30443bc",
            "selector": "0xe30443bc",
            "calldata_variants": [
                "0xe30443bc",
                "0xe30443bc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe7841ec0",
            "selector": "0xe7841ec0",
            "calldata_variants": [
                "0xe7841ec0",
                "0xe7841ec00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xba079d49",
            "selector": "0xba079d49",
            "calldata_variants": [
                "0xba079d49",
                "0xba079d490000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 7727,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 8103,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 8808,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 4,
    "guards_detected": [
        {
            "pc": 11135,
            "type": "tx_origin_used"
        }
    ]
}