Analysis Run

[codex:831494] OpenAI Codex v0.77.0 (research preview)
[codex:831494] --------
[codex:831494] workdir: /tmp/codex-multi-jrhxt4le
[codex:831494] model: gpt-5.2-codex
[codex:831494] provider: openai
[codex:831494] approval: never
[codex:831494] sandbox: read-only
[codex:831494] reasoning effort: xhigh
[codex:831494] reasoning summaries: auto
[codex:831494] session id: 019b876a-172a-7173-a10e-f56a654b9f1a
[codex:831494] --------
[codex:831494] user
[codex:831494] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:831494] 
[codex:831494] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:831494] 
[codex:831494] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:831494] - Gas inefficiency, code quality, naming, or best practices
[codex:831494] - Theoretical vulnerabilities without a clear extraction path
[codex:831494] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:831494] - Front-running unless it enables theft beyond MEV
[codex:831494] - DoS, griefing, or issues that don't result in attacker profit
[codex:831494] - Missing events, view function issues, or informational findings
[codex:831494] 
[codex:831494] HIGH-VALUE PATTERNS TO HUNT:
[codex:831494] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:831494] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:831494] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:831494] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:831494] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:831494] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:831494] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:831494] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:831494] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:831494] 
[codex:831494] For each finding, you MUST provide:
[codex:831494] 1. Exact file and line numbers of vulnerable code
[codex:831494] 2. Step-by-step exploit transaction sequence
[codex:831494] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:831494] 
[codex:831494] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:831494] 
[codex:831494] Output MUST be valid JSON matching the provided schema.
[codex:831494] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:831494] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:831494] mcp startup: no servers
[codex:831494] 
[codex:831494] thinking
[codex:831494] **Reading audit instructions**
[codex:831494] exec
[codex:831494] /bin/bash -lc ls in /tmp/codex-multi-jrhxt4le succeeded in 5ms:
[codex:831494] AUDIT_BUNDLE.txt
[codex:831494] codex-output-schema.json
[codex:831494] contracts
[codex:831494] exec
[codex:831494] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-jrhxt4le succeeded in 6ms:
[codex:831494] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:831494] 
[codex:831494] ================================================================================
[codex:831494] FILE: contracts/abdk-libraries-solidity/ABDKMath64x64.sol
[codex:831494] ================================================================================
[codex:831494] // SPDX-License-Identifier: BSD-4-Clause
[codex:831494] /*
[codex:831494]  * ABDK Math 64.64 Smart Contract Library.  Copyright © 2019 by ABDK Consulting.
[codex:831494]  * Author: Mikhail Vladimirov <mikhail.vladimirov@gmail.com>
[codex:831494]  */
[codex:831494] pragma solidity ^0.8.0;
[codex:831494] 
[codex:831494] /**
[codex:831494]  * Smart contract library of mathematical functions operating with signed
[codex:831494]  * 64.64-bit fixed point numbers.  Signed 64.64-bit fixed point number is
[codex:831494]  * basically a simple fraction whose numerator is signed 128-bit integer and
[codex:831494]  * denominator is 2^64.  As long as denominator is always the same, there is no
[codex:831494]  * need to store it, thus in Solidity signed 64.64-bit fixed point numbers are
[codex:831494]  * represented by int128 type holding only the numerator.
[codex:831494]  */
[codex:831494] 
[codex:831494] thinking
[codex:831494] **Searching for DBXen contract references**
[codex:831494] exec
[codex:831494] /bin/bash -lc 'rg -n "contract DBXen|DBXen" AUDIT_BUNDLE.txt' in /tmp/codex-multi-jrhxt4le succeeded in 7ms:
[codex:831494] 760:FILE: contracts/contracts/DBXen.sol
[codex:831494] 769:import "./DBXenERC20.sol";
[codex:831494] 773: * Main DBXen protocol contract used to burn xen tokens,
[codex:831494] 774: * allocate DBXen token rewards, distribute native token fees, stake and unstake.
[codex:831494] 776:contract DBXen is ERC2771Context, ReentrancyGuard, IBurnRedeemable {
[codex:831494] 777:    using SafeERC20 for DBXenERC20;
[codex:831494] 780:     * DBXen Reward Token contract.
[codex:831494] 783:    DBXenERC20 public dxn;
[codex:831494] 1021:        require(msg.value >= protocolFee , "DBXen: value less than protocol fee");
[codex:831494] 1034:        dxn = new DBXenERC20();
[codex:831494] 1049:        require(msg.sender == address(xen), "DBXen: illegal callback caller");
[codex:831494] 1071:        require(batchNumber <= 10000, "DBXen: maxim batch number is 10000");
[codex:831494] 1072:        require(batchNumber > 0, "DBXen: min batch number is 1");
[codex:831494] 1073:        require(xen.balanceOf(msg.sender) >= batchNumber * XEN_BATCH_AMOUNT, "DBXen: not enough tokens for burn");
[codex:831494] 1091:        require(reward > 0, "DBXen: account has no rewards");
[codex:831494] 1116:        require(fees > 0, "DBXen: amount is zero");
[codex:831494] 1136:        require(amount > 0, "DBXen: amount is zero");
[codex:831494] 1174:        require(amount > 0, "DBXen: amount is zero");
[codex:831494] 1178:            "DBXen: amount greater than withdrawable stake"
[codex:831494] 1366:        require(sent, "DBXen: failed to send amount");
[codex:831494] 
[codex:831494] thinking
[codex:831494] **Examining DBXen.sol file section**
[codex:831494] exec
[codex:831494] /bin/bash -lc "sed -n '760,1200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-jrhxt4le succeeded in 6ms:
[codex:831494] FILE: contracts/contracts/DBXen.sol
[codex:831494] ================================================================================
[codex:831494] // SPDX-License-Identifier: MIT
[codex:831494] pragma solidity ^0.8.17;
[codex:831494] 
[codex:831494] import "@openzeppelin/contracts/metatx/ERC2771Context.sol";
[codex:831494] import "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:831494] import "@openzeppelin/contracts/security/ReentrancyGuard.sol";
[codex:831494] import "./interfaces/IBurnRedeemable.sol";
[codex:831494] import "./DBXenERC20.sol";
[codex:831494] import "./XENCrypto.sol";
[codex:831494] 
[codex:831494] /**
[codex:831494]  * Main DBXen protocol contract used to burn xen tokens,
[codex:831494]  * allocate DBXen token rewards, distribute native token fees, stake and unstake.
[codex:831494]  */
[codex:831494] contract DBXen is ERC2771Context, ReentrancyGuard, IBurnRedeemable {
[codex:831494]     using SafeERC20 for DBXenERC20;
[codex:831494] 
[codex:831494]     /**
[codex:831494] exec
[codex:831494] /bin/bash -lc "sed -n '1200,1700p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-jrhxt4le succeeded in 7ms:
[codex:831494] 
[codex:831494]     /**
[codex:831494]      * @dev Updates the index of the cycle.
[codex:831494]      */
[codex:831494]     function calculateCycle() internal {
[codex:831494]         uint256 calculatedCycle = getCurrentCycle();
[codex:831494]         
[codex:831494]         if (calculatedCycle > currentCycle) {
[codex:831494]             currentCycle = calculatedCycle;
[codex:831494]         }
[codex:831494]         
[codex:831494]     }
[codex:831494] 
[codex:831494]     /**
[codex:831494]      * @dev Updates the global helper variables related to fee distribution.
[codex:831494]      */
[codex:831494]     function updateCycleFeesPerStakeSummed() internal {
[codex:831494]         if (currentCycle != currentStartedCycle) {
[codex:831494]             previousStartedCycle = lastStartedCycle + 1;
[codex:831494]             lastStartedCycle = currentStartedCycle;
[codex:831494] 
[codex:831494] 
[codex:831494] 
[codex:831494] thinking
[codex:831494] **Examining reentrancy and reward calculations**
[codex:831494] thinking
[codex:831494] **Analyzing modifier execution order and reward distribution nuances**
[codex:831494] 
[codex:831494] I’m breaking down the order modifiers run in burnBatch to confirm the reentrancy guard covers calls during sendViaCall, which it does. I’m also exploring how cycle reward and fee calculations handle skipped cycles and whether that could let someone claim disproportionate rewards or fees through subtle timing or state manipulation. The minting cap check seems flawed and might allow minting beyond the cap if accRewards could be inflated, but concrete exploitation paths feel limited without further state abuse.
[codex:831494] thinking
[codex:831494] **Verifying reward minting limits and meta-transaction inconsistencies**
[codex:831494] 
[codex:831494] I’m calculating total rewards to confirm the distribution matches the supply cap and noting a minor rounding issue that likely doesn’t enable extra minting. I’m also scrutinizing how meta-transactions interact with burn logic and the mismatch between _msgSender and msg.sender that could break expected behavior, though it’s not clearly exploitable for profit.
[codex:831494] exec
[codex:831494] /bin/bash -lc 'rg -n "''^FILE:" AUDIT_BUNDLE.txt' in /tmp/codex-multi-jrhxt4le succeeded in 13ms:
[codex:831494] 4:FILE: contracts/abdk-libraries-solidity/ABDKMath64x64.sol
[codex:831494] 760:FILE: contracts/contracts/DBXen.sol
[codex:831494] 1379:FILE: contracts/contracts/DBXenERC20.sol
[codex:831494] 1424:FILE: contracts/contracts/MathX.sol
[codex:831494] 1448:FILE: contracts/contracts/XENCrypto.sol
[codex:831494] 1878:FILE: contracts/contracts/interfaces/IBurnRedeemable.sol
[codex:831494] 1896:FILE: contracts/contracts/interfaces/IBurnableToken.sol
[codex:831494] 1906:FILE: contracts/contracts/interfaces/IRankedMintingToken.sol
[codex:831494] 1922:FILE: contracts/contracts/interfaces/IStakingToken.sol
[codex:831494] 
[codex:831494] 
[codex:831494] 
[codex:831494] thinking
[codex:831494] **Analyzing potential reentrancy and meta-transaction quirks**
[codex:831494] 
[codex:831494] I'm carefully reviewing XENCrypto and DBXen for reentrancy, access control, and meta-transaction usage, focusing on inconsistencies between msg.sender and _msgSender that might let an attacker misattribute rewards or free-ride using a trusted forwarder's tokens. I’m also checking fee distribution logic and burn functions for opportunities to profit unfairly, but so far the scenarios require unlikely setups or trusted contract misconfigurations, making them tenuous as actual exploits.
[codex:831494] thinking
[codex:831494] **Evaluating fee distribution and burn batch logic**
[codex:831494] 
[codex:831494] I’m diving into how fees accumulate and distribute, especially after staking pauses, checking if a minimal stake could claim pending fees unfairly. I’m scrutinizing burnBatch’s interaction with allowances, batch sizes, and rewards to see if mismatches could let an attacker gain unearned rewards. While the logic is complex, the safeguards and arithmetic make clear-cut exploits unlikely, so confirming no concrete profit exploits here.
[codex:831494] thinking
[codex:831494] **Concluding with no exploitable profit paths**
[codex:831494] 
[codex:831494] I’m double-checking reward calculations, staking, and fee claims for reentrancy or manipulation that could create profit, and verifying that meta-transaction handling doesn’t enable unauthorized refunds. After thorough review, nothing suggests a concrete exploit path to profit, so I’m preparing a final no-findings summary in the requested JSON format.
[codex:831494] codex
[codex:831494] {"no_findings":true,"summary":"No concrete, exploitable profit path found in the audited contracts.","findings":[]}
[codex:831494] tokens used
[codex:831494] 68,561
[codex:831494] {"no_findings":true,"summary":"No concrete, exploitable profit path found in the audited contracts.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-04T05:15:59.821218+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit path found in the audited contracts.",
    "raw_final": {
        "summary": "No concrete, exploitable profit path found in the audited contracts.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x023b
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0xa694fc3a
00000019: GT
0000001a: PUSH2 0x012e
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xc4235ae9
00000024: GT
00000025: PUSH2 0x00ab
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xed725e83
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xed725e83
0000003a: EQ
0000003b: PUSH2 0x0761
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xef4cadc5
00000045: EQ
00000046: PUSH2 0x078e
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf1b371e2
00000050: EQ
00000051: PUSH2 0x07b1
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfa845ca9
0000005b: EQ
0000005c: PUSH2 0x07c7
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xfd967f47
00000066: EQ
00000067: PUSH2 0x07f4
0000006a: JUMPI
0000006b: PUSH1 0x00
0000006d: DUP1
0000006e: REVERT
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xc4235ae9
00000076: EQ
00000077: PUSH2 0x06af
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xd294f093
00000081: EQ
00000082: PUSH2 0x06dc
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xd4432e4e
0000008c: EQ
0000008d: PUSH2 0x06f1
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xdb80a28c
00000097: EQ
00000098: PUSH2 0x0707
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xe60c90c4
000000a2: EQ
000000a3: PUSH2 0x0734
000000a6: JUMPI
000000a7: PUSH1 0x00
000000a9: DUP1
000000aa: REVERT
000000ab: JUMPDEST
000000ac: DUP1
000000ad: PUSH4 0xbab2f552
000000b2: GT
000000b3: PUSH2 0x00f2
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xbab2f552
000000bd: EQ
000000be: PUSH2 0x0614
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xbc713290
000000c8: EQ
000000c9: PUSH2 0x062a
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xbe26ed7f
000000d3: EQ
000000d4: PUSH2 0x0657
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xbebc9dfc
000000de: EQ
000000df: PUSH2 0x066c
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0xc40af1ee
000000e9: EQ
000000ea: PUSH2 0x0699
000000ed: JUMPI
000000ee: PUSH1 0x00
000000f0: DUP1
000000f1: REVERT
000000f2: JUMPDEST
000000f3: DUP1
000000f4: PUSH4 0xa694fc3a
000000f9: EQ
000000fa: PUSH2 0x054c
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0xa707140b
00000104: EQ
00000105: PUSH2 0x056c
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0xa95f1dac
0000010f: EQ
00000110: PUSH2 0x0599
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0xaabbb1bd
0000011a: EQ
0000011b: PUSH2 0x05af
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0xadc0f686
00000125: EQ
00000126: PUSH2 0x05e7
00000129: JUMPI
0000012a: PUSH1 0x00
0000012c: DUP1
0000012d: REVERT
0000012e: JUMPDEST
0000012f: DUP1
00000130: PUSH4 0x543746b1
00000135: GT
00000136: PUSH2 0x01bc
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x68f05769
00000140: GT
00000141: PUSH2 0x0180
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x68f05769
0000014b: EQ
0000014c: PUSH2 0x04b9
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x8bd95563
00000156: EQ
00000157: PUSH2 0x04cf
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x9055c515
00000161: EQ
00000162: PUSH2 0x0503
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x91b30020
0000016c: EQ
0000016d: PUSH2 0x0523
00000170: JUMPI
00000171: DUP1
00000172: PUSH4 0x937c5414
00000177: EQ
00000178: PUSH2 0x0539
0000017b: JUMPI
0000017c: PUSH1 0x00
0000017e: DUP1
0000017f: REVERT
00000180: JUMPDEST
00000181: DUP1
00000182: PUSH4 0x543746b1
00000187: EQ
00000188: PUSH2 0x03df
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH4 0x56b96bf5
00000192: EQ
00000193: PUSH2 0x03ff
00000196: JUMPI
00000197: DUP1
00000198: PUSH4 0x572b6c05
0000019d: EQ
0000019e: PUSH2 0x041e
000001a1: JUMPI
000001a2: DUP1
000001a3: PUSH4 0x5afe54d2
000001a8: EQ
000001a9: PUSH2 0x046b
000001ac: JUMPI
000001ad: DUP1
000001ae: PUSH4 0x5f5080b4
000001b3: EQ
000001b4: PUSH2 0x04a3
000001b7: JUMPI
000001b8: PUSH1 0x00
000001ba: DUP1
000001bb: REVERT
000001bc: JUMPDEST
000001bd: DUP1
000001be: PUSH4 0x224438d1
000001c3: GT
000001c4: PUSH2 0x0203
000001c7: JUMPI
000001c8: DUP1
000001c9: PUSH4 0x224438d1
000001ce: EQ
000001cf: PUSH2 0x0348
000001d2: JUMPI
000001d3: DUP1
000001d4: PUSH4 0x2e17de78
000001d9: EQ
000001da: PUSH2 0x035e
000001dd: JUMPI
000001de: DUP1
000001df: PUSH4 0x2f7cdab0
000001e4: EQ
000001e5: PUSH2 0x0380
000001e8: JUMPI
000001e9: DUP1
000001ea: PUSH4 0x372500ab
000001ef: EQ
000001f0: PUSH2 0x03b4
000001f3: JUMPI
000001f4: DUP1
000001f5: PUSH4 0x436091c1
000001fa: EQ
000001fb: PUSH2 0x03c9
000001fe: JUMPI
000001ff: PUSH1 0x00
00000201: DUP1
00000202: REVERT
00000203: JUMPDEST
00000204: DUP1
00000205: PUSH4 0x01ffc9a7
0000020a: EQ
0000020b: PUSH2 0x0240
0000020e: JUMPI
0000020f: DUP1
00000210: PUSH4 0x0ece2154
00000215: EQ
00000216: PUSH2 0x0286
00000219: JUMPI
0000021a: DUP1
0000021b: PUSH4 0x12cb22ac
00000220: EQ
00000221: PUSH2 0x02c1
00000224: JUMPI
00000225: DUP1
00000226: PUSH4 0x17d9c47a
0000022b: EQ
0000022c: PUSH2 0x02ee
0000022f: JUMPI
00000230: DUP1
00000231: PUSH4 0x1ed6380f
00000236: EQ
00000237: PUSH2 0x031b
0000023a: JUMPI
0000023b: JUMPDEST
0000023c: PUSH1 0x00
0000023e: DUP1
0000023f: REVERT
00000240: JUMPDEST
00000241: CALLVALUE
00000242: DUP1
00000243: ISZERO
00000244: PUSH2 0x024c
00000247: JUMPI
00000248: PUSH1 0x00
0000024a: DUP1
0000024b: REVERT
0000024c: JUMPDEST
0000024d: POP
0000024e: PUSH2 0x0271
00000251: PUSH2 0x025b
00000254: CALLDATASIZE
00000255: PUSH1 0x04
00000257: PUSH2 0x21f6
0000025a: JUMP
0000025b: JUMPDEST
0000025c: PUSH1 0x01
0000025e: PUSH1 0x01
00000260: PUSH1 0xe0
00000262: SHL
00000263: SUB
00000264: NOT
00000265: AND
00000266: PUSH4 0x543746b1
0000026b: PUSH1 0xe0
0000026d: SHL
0000026e: EQ
0000026f: SWAP1
00000270: JUMP
00000271: JUMPDEST
00000272: PUSH1 0x40
00000274: MLOAD
00000275: SWAP1
00000276: ISZERO
00000277: ISZERO
00000278: DUP2
00000279: MSTORE
0000027a: PUSH1 0x20
0000027c: ADD
0000027d: JUMPDEST
0000027e: PUSH1 0x40
00000280: MLOAD
00000281: DUP1
00000282: SWAP2
00000283: SUB
00000284: SWAP1
00000285: RETURN
00000286: JUMPDEST
00000287: CALLVALUE
00000288: DUP1
00000289: ISZERO
0000028a: PUSH2 0x0292
0000028d: JUMPI
0000028e: PUSH1 0x00
00000290: DUP1
00000291: REVERT
00000292: JUMPDEST
00000293: POP
00000294: PUSH2 0x02b3
00000297: PUSH2 0x02a1
0000029a: CALLDATASIZE
0000029b: PUSH1 0x04
0000029d: PUSH2 0x2227
000002a0: JUMP
000002a1: JUMPDEST
000002a2: PUSH1 0x15
000002a4: PUSH1 0x20
000002a6: MSTORE
000002a7: PUSH1 0x00
000002a9: SWAP1
000002aa: DUP2
000002ab: MSTORE
000002ac: PUSH1 0x40
000002ae: SWAP1
000002af: KECCAK256
000002b0: SLOAD
000002b1: DUP2
000002b2: JUMP
000002b3: JUMPDEST
000002b4: PUSH1 0x40
000002b6: MLOAD
000002b7: SWAP1
000002b8: DUP2
000002b9: MSTORE
000002ba: PUSH1 0x20
000002bc: ADD
000002bd: PUSH2 0x027d
000002c0: JUMP
000002c1: JUMPDEST
000002c2: CALLVALUE
000002c3: DUP1
000002c4: ISZERO
000002c5: PUSH2 0x02cd
000002c8: JUMPI
000002c9: PUSH1 0x00
000002cb: DUP1
000002cc: REVERT
000002cd: JUMPDEST
000002ce: POP
000002cf: PUSH2 0x02b3
000002d2: PUSH2 0x02dc
000002d5: CALLDATASIZE
000002d6: PUSH1 0x04
000002d8: PUSH2 0x225c
000002db: JUMP
000002dc: JUMPDEST
000002dd: PUSH1 0x0d
000002df: PUSH1 0x20
000002e1: MSTORE
000002e2: PUSH1 0x00
000002e4: SWAP1
000002e5: DUP2
000002e6: MSTORE
000002e7: PUSH1 0x40
000002e9: SWAP1
000002ea: KECCAK256
000002eb: SLOAD
000002ec: DUP2
000002ed: JUMP
000002ee: JUMPDEST
000002ef: CALLVALUE
000002f0: DUP1
000002f1: ISZERO
000002f2: PUSH2 0x02fa
000002f5: JUMPI
000002f6: PUSH1 0x00
000002f8: DUP1
000002f9: REVERT
000002fa: JUMPDEST
000002fb: POP
000002fc: PUSH2 0x02b3
000002ff: PUSH2 0x0309
00000302: CALLDATASIZE
00000303: PUSH1 0x04
00000305: PUSH2 0x2227
00000308: JUMP
00000309: JUMPDEST
0000030a: PUSH1 0x0e
0000030c: PUSH1 0x20
0000030e: MSTORE
0000030f: PUSH1 0x00
00000311: SWAP1
00000312: DUP2
00000313: MSTORE
00000314: PUSH1 0x40
00000316: SWAP1
00000317: KECCAK256
00000318: SLOAD
00000319: DUP2
0000031a: JUMP
0000031b: JUMPDEST
0000031c: CALLVALUE
0000031d: DUP1
0000031e: ISZERO
0000031f: PUSH2 0x0327
00000322: JUMPI
00000323: PUSH1 0x00
00000325: DUP1
00000326: REVERT
00000327: JUMPDEST
00000328: POP
00000329: PUSH2 0x02b3
0000032c: PUSH2 0x0336
0000032f: CALLDATASIZE
00000330: PUSH1 0x04
00000332: PUSH2 0x225c
00000335: JUMP
00000336: JUMPDEST
00000337: PUSH1 0x18
00000339: PUSH1 0x20
0000033b: MSTORE
0000033c: PUSH1 0x00
0000033e: SWAP1
0000033f: DUP2
00000340: MSTORE
00000341: PUSH1 0x40
00000343: SWAP1
00000344: KECCAK256
00000345: SLOAD
00000346: DUP2
00000347: JUMP
00000348: JUMPDEST
00000349: CALLVALUE
0000034a: DUP1
0000034b: ISZERO
0000034c: PUSH2 0x0354
0000034f: JUMPI
00000350: PUSH1 0x00
00000352: DUP1
00000353: REVERT
00000354: JUMPDEST
00000355: POP
00000356: PUSH2 0x02b3
00000359: PUSH1 0x0b
0000035b: SLOAD
0000035c: DUP2
0000035d: JUMP
0000035e: JUMPDEST
0000035f: CALLVALUE
00000360: DUP1
00000361: ISZERO
00000362: PUSH2 0x036a
00000365: JUMPI
00000366: PUSH1 0x00
00000368: DUP1
00000369: REVERT
0000036a: JUMPDEST
0000036b: POP
0000036c: PUSH2 0x037e
0000036f: PUSH2 0x0379
00000372: CALLDATASIZE
00000373: PUSH1 0x04
00000375: PUSH2 0x2227
00000378: JUMP
00000379: JUMPDEST
0000037a: PUSH2 0x080b
0000037d: JUMP
0000037e: JUMPDEST
0000037f: STOP
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 0x02b3
00000391: PUSH32 0x0000000000000000000000000000000000000000000000000000000000015180
000003b2: DUP2
000003b3: JUMP
000003b4: JUMPDEST
000003b5: CALLVALUE
000003b6: DUP1
000003b7: ISZERO
000003b8: PUSH2 0x03c0
000003bb: JUMPI
000003bc: PUSH1 0x00
000003be: DUP1
000003bf: REVERT
000003c0: JUMPDEST
000003c1: POP
000003c2: PUSH2 0x037e
000003c5: PUSH2 0x0a39
000003c8: JUMP
000003c9: JUMPDEST
000003ca: CALLVALUE
000003cb: DUP1
000003cc: ISZERO
000003cd: PUSH2 0x03d5
000003d0: JUMPI
000003d1: PUSH1 0x00
000003d3: DUP1
000003d4: REVERT
000003d5: JUMPDEST
000003d6: POP
000003d7: PUSH2 0x02b3
000003da: PUSH1 0x07
000003dc: SLOAD
000003dd: DUP2
000003de: JUMP
000003df: JUMPDEST
000003e0: CALLVALUE
000003e1: DUP1
000003e2: ISZERO
000003e3: PUSH2 0x03eb
000003e6: JUMPI
000003e7: PUSH1 0x00
000003e9: DUP1
000003ea: REVERT
000003eb: JUMPDEST
000003ec: POP
000003ed: PUSH2 0x037e
000003f0: PUSH2 0x03fa
000003f3: CALLDATASIZE
000003f4: PUSH1 0x04
000003f6: PUSH2 0x2277
000003f9: JUMP
000003fa: JUMPDEST
000003fb: PUSH2 0x0c80
000003fe: JUMP
000003ff: JUMPDEST
00000400: CALLVALUE
00000401: DUP1
00000402: ISZERO
00000403: PUSH2 0x040b
00000406: JUMPI
00000407: PUSH1 0x00
00000409: DUP1
0000040a: REVERT
0000040b: JUMPDEST
0000040c: POP
0000040d: PUSH2 0x02b3
00000410: PUSH11 0x0211654585005212800000
0000041c: DUP2
0000041d: JUMP
0000041e: JUMPDEST
0000041f: CALLVALUE
00000420: DUP1
00000421: ISZERO
00000422: PUSH2 0x042a
00000425: JUMPI
00000426: PUSH1 0x00
00000428: DUP1
00000429: REVERT
0000042a: JUMPDEST
0000042b: POP
0000042c: PUSH2 0x0271
0000042f: PUSH2 0x0439
00000432: CALLDATASIZE
00000433: PUSH1 0x04
00000435: PUSH2 0x225c
00000438: JUMP
00000439: JUMPDEST
0000043a: PUSH32 0x000000000000000000000000f3281221ba95af0c5bbcbd2474ce8c090233133b
0000045b: PUSH1 0x01
0000045d: PUSH1 0x01
0000045f: PUSH1 0xa0
00000461: SHL
00000462: SUB
00000463: SWAP1
00000464: DUP2
00000465: AND
00000466: SWAP2
00000467: AND
00000468: EQ
00000469: SWAP1
0000046a: JUMP
0000046b: JUMPDEST
0000046c: CALLVALUE
0000046d: DUP1
0000046e: ISZERO
0000046f: PUSH2 0x0477
00000472: JUMPI
00000473: PUSH1 0x00
00000475: DUP1
00000476: REVERT
00000477: JUMPDEST
00000478: POP
00000479: PUSH1 0x01
0000047b: SLOAD
0000047c: PUSH2 0x048b
0000047f: SWAP1
00000480: PUSH1 0x01
00000482: PUSH1 0x01
00000484: PUSH1 0xa0
00000486: SHL
00000487: SUB
00000488: AND
00000489: DUP2
0000048a: JUMP
0000048b: JUMPDEST
0000048c: PUSH1 0x40
0000048e: MLOAD
0000048f: PUSH1 0x01
00000491: PUSH1 0x01
00000493: PUSH1 0xa0
00000495: SHL
00000496: SUB
00000497: SWAP1
00000498: SWAP2
00000499: AND
0000049a: DUP2
0000049b: MSTORE
0000049c: PUSH1 0x20
0000049e: ADD
0000049f: PUSH2 0x027d
000004a2: JUMP
000004a3: JUMPDEST
000004a4: CALLVALUE
000004a5: DUP1
000004a6: ISZERO
000004a7: PUSH2 0x04af
000004aa: JUMPI
000004ab: PUSH1 0x00
000004ad: DUP1
000004ae: REVERT
000004af: JUMPDEST
000004b0: POP
000004b1: PUSH2 0x02b3
000004b4: PUSH1 0x08
000004b6: SLOAD
000004b7: DUP2
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: PUSH2 0x02b3
000004ca: PUSH1 0x0a
000004cc: SLOAD
000004cd: DUP2
000004ce: JUMP
000004cf: JUMPDEST
000004d0: CALLVALUE
000004d1: DUP1
000004d2: ISZERO
000004d3: PUSH2 0x04db
000004d6: JUMPI
000004d7: PUSH1 0x00
000004d9: DUP1
000004da: REVERT
000004db: JUMPDEST
000004dc: POP
000004dd: PUSH2 0x02b3
000004e0: PUSH32 0x00000000000000000000000000000000000000000000000000000000641b09eb
00000501: DUP2
00000502: JUMP
00000503: JUMPDEST
00000504: CALLVALUE
00000505: DUP1
00000506: ISZERO
00000507: PUSH2 0x050f
0000050a: JUMPI
0000050b: PUSH1 0x00
0000050d: DUP1
0000050e: REVERT
0000050f: JUMPDEST
00000510: POP
00000511: PUSH1 0x02
00000513: SLOAD
00000514: PUSH2 0x048b
00000517: SWAP1
00000518: PUSH1 0x01
0000051a: PUSH1 0x01
0000051c: PUSH1 0xa0
0000051e: SHL
0000051f: SUB
00000520: AND
00000521: DUP2
00000522: JUMP
00000523: JUMPDEST
00000524: CALLVALUE
00000525: DUP1
00000526: ISZERO
00000527: PUSH2 0x052f
0000052a: JUMPI
0000052b: PUSH1 0x00
0000052d: DUP1
0000052e: REVERT
0000052f: JUMPDEST
00000530: POP
00000531: PUSH2 0x02b3
00000534: PUSH1 0x03
00000536: SLOAD
00000537: DUP2
00000538: JUMP
00000539: JUMPDEST
0000053a: PUSH2 0x037e
0000053d: PUSH2 0x0547
00000540: CALLDATASIZE
00000541: PUSH1 0x04
00000543: PUSH2 0x2227
00000546: JUMP
00000547: JUMPDEST
00000548: PUSH2 0x0d59
0000054b: JUMP
0000054c: JUMPDEST
0000054d: CALLVALUE
0000054e: DUP1
0000054f: ISZERO
00000550: PUSH2 0x0558
00000553: JUMPI
00000554: PUSH1 0x00
00000556: DUP1
00000557: REVERT
00000558: JUMPDEST
00000559: POP
0000055a: PUSH2 0x037e
0000055d: PUSH2 0x0567
00000560: CALLDATASIZE
00000561: PUSH1 0x04
00000563: PUSH2 0x2227
00000566: JUMP
00000567: JUMPDEST
00000568: PUSH2 0x10fc
0000056b: JUMP
0000056c: JUMPDEST
0000056d: CALLVALUE
0000056e: DUP1
0000056f: ISZERO
00000570: PUSH2 0x0578
00000573: JUMPI
00000574: PUSH1 0x00
00000576: DUP1
00000577: REVERT
00000578: JUMPDEST
00000579: POP
0000057a: PUSH2 0x02b3
0000057d: PUSH2 0x0587
00000580: CALLDATASIZE
00000581: PUSH1 0x04
00000583: PUSH2 0x225c
00000586: JUMP
00000587: JUMPDEST
00000588: PUSH1 0x14
0000058a: PUSH1 0x20
0000058c: MSTORE
0000058d: PUSH1 0x00
0000058f: SWAP1
00000590: DUP2
00000591: MSTORE
00000592: PUSH1 0x40
00000594: SWAP1
00000595: KECCAK256
00000596: SLOAD
00000597: DUP2
00000598: JUMP
00000599: JUMPDEST
0000059a: CALLVALUE
0000059b: DUP1
0000059c: ISZERO
0000059d: PUSH2 0x05a5
000005a0: JUMPI
000005a1: PUSH1 0x00
000005a3: DUP1
000005a4: REVERT
000005a5: JUMPDEST
000005a6: POP
000005a7: PUSH2 0x02b3
000005aa: PUSH1 0x04
000005ac: SLOAD
000005ad: DUP2
000005ae: JUMP
000005af: JUMPDEST
000005b0: CALLVALUE
000005b1: DUP1
000005b2: ISZERO
000005b3: PUSH2 0x05bb
000005b6: JUMPI
000005b7: PUSH1 0x00
000005b9: DUP1
000005ba: REVERT
000005bb: JUMPDEST
000005bc: POP
000005bd: PUSH2 0x02b3
000005c0: PUSH2 0x05ca
000005c3: CALLDATASIZE
000005c4: PUSH1 0x04
000005c6: PUSH2 0x2277
000005c9: JUMP
000005ca: JUMPDEST
000005cb: PUSH1 0x17
000005cd: PUSH1 0x20
000005cf: SWAP1
000005d0: DUP2
000005d1: MSTORE
000005d2: PUSH1 0x00
000005d4: SWAP3
000005d5: DUP4
000005d6: MSTORE
000005d7: PUSH1 0x40
000005d9: DUP1
000005da: DUP5
000005db: KECCAK256
000005dc: SWAP1
000005dd: SWAP2
000005de: MSTORE
000005df: SWAP1
000005e0: DUP3
000005e1: MSTORE
000005e2: SWAP1
000005e3: KECCAK256
000005e4: SLOAD
000005e5: DUP2
000005e6: JUMP
000005e7: JUMPDEST
000005e8: CALLVALUE
000005e9: DUP1
000005ea: ISZERO
000005eb: PUSH2 0x05f3
000005ee: JUMPI
000005ef: PUSH1 0x00
000005f1: DUP1
000005f2: REVERT
000005f3: JUMPDEST
000005f4: POP
000005f5: PUSH2 0x02b3
000005f8: PUSH2 0x0602
000005fb: CALLDATASIZE
000005fc: PUSH1 0x04
000005fe: PUSH2 0x2227
00000601: JUMP
00000602: JUMPDEST
00000603: PUSH1 0x12
00000605: PUSH1 0x20
00000607: MSTORE
00000608: PUSH1 0x00
0000060a: SWAP1
0000060b: DUP2
0000060c: MSTORE
0000060d: PUSH1 0x40
0000060f: SWAP1
00000610: KECCAK256
00000611: SLOAD
00000612: DUP2
00000613: JUMP
00000614: JUMPDEST
00000615: CALLVALUE
00000616: DUP1
00000617: ISZERO
00000618: PUSH2 0x0620
0000061b: JUMPI
0000061c: PUSH1 0x00
0000061e: DUP1
0000061f: REVERT
00000620: JUMPDEST
00000621: POP
00000622: PUSH2 0x02b3
00000625: PUSH1 0x06
00000627: SLOAD
00000628: DUP2
00000629: JUMP
0000062a: JUMPDEST
0000062b: CALLVALUE
0000062c: DUP1
0000062d: ISZERO
0000062e: PUSH2 0x0636
00000631: JUMPI
00000632: PUSH1 0x00
00000634: DUP1
00000635: REVERT
00000636: JUMPDEST
00000637: POP
00000638: PUSH2 0x02b3
0000063b: PUSH2 0x0645
0000063e: CALLDATASIZE
0000063f: PUSH1 0x04
00000641: PUSH2 0x225c
00000644: JUMP
00000645: JUMPDEST
00000646: PUSH1 0x11
00000648: PUSH1 0x20
0000064a: MSTORE
0000064b: PUSH1 0x00
0000064d: SWAP1
0000064e: DUP2
0000064f: MSTORE
00000650: PUSH1 0x40
00000652: SWAP1
00000653: KECCAK256
00000654: SLOAD
00000655: DUP2
00000656: JUMP
00000657: JUMPDEST
00000658: CALLVALUE
00000659: DUP1
0000065a: ISZERO
0000065b: PUSH2 0x0663
0000065e: JUMPI
0000065f: PUSH1 0x00
00000661: DUP1
00000662: REVERT
00000663: JUMPDEST
00000664: POP
00000665: PUSH2 0x02b3
00000668: PUSH2 0x1376
0000066b: JUMP
0000066c: JUMPDEST
0000066d: CALLVALUE
0000066e: DUP1
0000066f: ISZERO
00000670: PUSH2 0x0678
00000673: JUMPI
00000674: PUSH1 0x00
00000676: DUP1
00000677: REVERT
00000678: JUMPDEST
00000679: POP
0000067a: PUSH2 0x02b3
0000067d: PUSH2 0x0687
00000680: CALLDATASIZE
00000681: PUSH1 0x04
00000683: PUSH2 0x2227
00000686: JUMP
00000687: JUMPDEST
00000688: PUSH1 0x16
0000068a: PUSH1 0x20
0000068c: MSTORE
0000068d: PUSH1 0x00
0000068f: SWAP1
00000690: DUP2
00000691: MSTORE
00000692: PUSH1 0x40
00000694: SWAP1
00000695: KECCAK256
00000696: SLOAD
00000697: DUP2
00000698: JUMP
00000699: JUMPDEST
0000069a: CALLVALUE
0000069b: DUP1
0000069c: ISZERO
0000069d: PUSH2 0x06a5
000006a0: JUMPI
000006a1: PUSH1 0x00
000006a3: DUP1
000006a4: REVERT
000006a5: JUMPDEST
000006a6: POP
000006a7: PUSH2 0x02b3
000006aa: PUSH1 0x0c
000006ac: SLOAD
000006ad: DUP2
000006ae: JUMP
000006af: JUMPDEST
000006b0: CALLVALUE
000006b1: DUP1
000006b2: ISZERO
000006b3: PUSH2 0x06bb
000006b6: JUMPI
000006b7: PUSH1 0x00
000006b9: DUP1
000006ba: REVERT
000006bb: JUMPDEST
000006bc: POP
000006bd: PUSH2 0x02b3
000006c0: PUSH2 0x06ca
000006c3: CALLDATASIZE
000006c4: PUSH1 0x04
000006c6: PUSH2 0x2227
000006c9: JUMP
000006ca: JUMPDEST
000006cb: PUSH1 0x13
000006cd: PUSH1 0x20
000006cf: MSTORE
000006d0: PUSH1 0x00
000006d2: SWAP1
000006d3: DUP2
000006d4: MSTORE
000006d5: PUSH1 0x40
000006d7: SWAP1
000006d8: KECCAK256
000006d9: SLOAD
000006da: DUP2
000006db: JUMP
000006dc: JUMPDEST
000006dd: CALLVALUE
000006de: DUP1
000006df: ISZERO
000006e0: PUSH2 0x06e8
000006e3: JUMPI
000006e4: PUSH1 0x00
000006e6: DUP1
000006e7: REVERT
000006e8: JUMPDEST
000006e9: POP
000006ea: PUSH2 0x037e
000006ed: PUSH2 0x13d2
000006f0: JUMP
000006f1: JUMPDEST
000006f2: CALLVALUE
000006f3: DUP1
000006f4: ISZERO
000006f5: PUSH2 0x06fd
000006f8: JUMPI
000006f9: PUSH1 0x00
000006fb: DUP1
000006fc: REVERT
000006fd: JUMPDEST
000006fe: POP
000006ff: PUSH2 0x02b3
00000702: PUSH1 0x05
00000704: SLOAD
00000705: DUP2
00000706: JUMP
00000707: JUMPDEST
00000708: CALLVALUE
00000709: DUP1
0000070a: ISZERO
0000070b: PUSH2 0x0713
0000070e: JUMPI
0000070f: PUSH1 0x00
00000711: DUP1
00000712: REVERT
00000713: JUMPDEST
00000714: POP
00000715: PUSH2 0x02b3
00000718: PUSH2 0x0722
0000071b: CALLDATASIZE
0000071c: PUSH1 0x04
0000071e: PUSH2 0x225c
00000721: JUMP
00000722: JUMPDEST
00000723: PUSH1 0x1a
00000725: PUSH1 0x20
00000727: MSTORE
00000728: PUSH1 0x00
0000072a: SWAP1
0000072b: DUP2
0000072c: MSTORE
0000072d: PUSH1 0x40
0000072f: SWAP1
00000730: KECCAK256
00000731: SLOAD
00000732: DUP2
00000733: JUMP
00000734: JUMPDEST
00000735: CALLVALUE
00000736: DUP1
00000737: ISZERO
00000738: PUSH2 0x0740
0000073b: JUMPI
0000073c: PUSH1 0x00
0000073e: DUP1
0000073f: REVERT
00000740: JUMPDEST
00000741: POP
00000742: PUSH2 0x02b3
00000745: PUSH2 0x074f
00000748: CALLDATASIZE
00000749: PUSH1 0x04
0000074b: PUSH2 0x225c
0000074e: JUMP
0000074f: JUMPDEST
00000750: PUSH1 0x19
00000752: PUSH1 0x20
00000754: MSTORE
00000755: PUSH1 0x00
00000757: SWAP1
00000758: DUP2
00000759: MSTORE
0000075a: PUSH1 0x40
0000075c: SWAP1
0000075d: KECCAK256
0000075e: SLOAD
0000075f: DUP2
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: PUSH2 0x02b3
00000772: PUSH2 0x077c
00000775: CALLDATASIZE
00000776: PUSH1 0x04
00000778: PUSH2 0x225c
0000077b: JUMP
0000077c: JUMPDEST
0000077d: PUSH1 0x10
0000077f: PUSH1 0x20
00000781: MSTORE
00000782: PUSH1 0x00
00000784: SWAP1
00000785: DUP2
00000786: MSTORE
00000787: PUSH1 0x40
00000789: SWAP1
0000078a: KECCAK256
0000078b: SLOAD
0000078c: DUP2
0000078d: JUMP
0000078e: JUMPDEST
0000078f: CALLVALUE
00000790: DUP1
00000791: ISZERO
00000792: PUSH2 0x079a
00000795: JUMPI
00000796: PUSH1 0x00
00000798: DUP1
00000799: REVERT
0000079a: JUMPDEST
0000079b: POP
0000079c: PUSH2 0x02b3
0000079f: PUSH12 0x1d6329f1c35ca4bfabb9f561
000007ac: PUSH1 0x28
000007ae: SHL
000007af: DUP2
000007b0: JUMP
000007b1: JUMPDEST
000007b2: CALLVALUE
000007b3: DUP1
000007b4: ISZERO
000007b5: PUSH2 0x07bd
000007b8: JUMPI
000007b9: PUSH1 0x00
000007bb: DUP1
000007bc: REVERT
000007bd: JUMPDEST
000007be: POP
000007bf: PUSH2 0x02b3
000007c2: PUSH1 0x09
000007c4: SLOAD
000007c5: DUP2
000007c6: JUMP
000007c7: JUMPDEST
000007c8: CALLVALUE
000007c9: DUP1
000007ca: ISZERO
000007cb: PUSH2 0x07d3
000007ce: JUMPI
000007cf: PUSH1 0x00
000007d1: DUP1
000007d2: REVERT
000007d3: JUMPDEST
000007d4: POP
000007d5: PUSH2 0x02b3
000007d8: PUSH2 0x07e2
000007db: CALLDATASIZE
000007dc: PUSH1 0x04
000007de: PUSH2 0x225c
000007e1: JUMP
000007e2: JUMPDEST
000007e3: PUSH1 0x0f
000007e5: PUSH1 0x20
000007e7: MSTORE
000007e8: PUSH1 0x00
000007ea: SWAP1
000007eb: DUP2
000007ec: MSTORE
000007ed: PUSH1 0x40
000007ef: SWAP1
000007f0: KECCAK256
000007f1: SLOAD
000007f2: DUP2
000007f3: JUMP
000007f4: JUMPDEST
000007f5: CALLVALUE
000007f6: DUP1
000007f7: ISZERO
000007f8: PUSH2 0x0800
000007fb: JUMPI
000007fc: PUSH1 0x00
000007fe: DUP1
000007ff: REVERT
00000800: JUMPDEST
00000801: POP
00000802: PUSH2 0x02b3
00000805: PUSH3 0x0186a0
00000809: DUP2
0000080a: JUMP
0000080b: JUMPDEST
0000080c: PUSH2 0x0813
0000080f: PUSH2 0x14c8
00000812: JUMP
00000813: JUMPDEST
00000814: PUSH2 0x081b
00000817: PUSH2 0x1521
0000081a: JUMP
0000081b: JUMPDEST
0000081c: PUSH2 0x0823
0000081f: PUSH2 0x153c
00000822: JUMP
00000823: JUMPDEST
00000824: PUSH2 0x0833
00000827: PUSH2 0x082e
0000082a: PUSH2 0x167e
0000082d: JUMP
0000082e: JUMPDEST
0000082f: PUSH2 0x16c2
00000832: JUMP
00000833: JUMPDEST
00000834: PUSH1 0x00
00000836: DUP2
00000837: GT
00000838: PUSH2 0x085c
0000083b: JUMPI
0000083c: PUSH1 0x40
0000083e: MLOAD
0000083f: PUSH3 0x461bcd
00000843: PUSH1 0xe5
00000845: SHL
00000846: DUP2
00000847: MSTORE
00000848: PUSH1 0x04
0000084a: ADD
0000084b: PUSH2 0x0853
0000084e: SWAP1
0000084f: PUSH2 0x22a1
00000852: JUMP
00000853: JUMPDEST
00000854: PUSH1 0x40
00000856: MLOAD
00000857: DUP1
00000858: SWAP2
00000859: SUB
0000085a: SWAP1
0000085b: REVERT
0000085c: JUMPDEST
0000085d: PUSH1 0x18
0000085f: PUSH1 0x00
00000861: PUSH2 0x0868
00000864: PUSH2 0x167e
00000867: JUMP
00000868: JUMPDEST
00000869: PUSH1 0x01
0000086b: PUSH1 0x01
0000086d: PUSH1 0xa0
0000086f: SHL
00000870: SUB
00000871: AND
00000872: PUSH1 0x01
00000874: PUSH1 0x01
00000876: PUSH1 0xa0
00000878: SHL
00000879: SUB
0000087a: AND
0000087b: DUP2
0000087c: MSTORE
0000087d: PUSH1 0x20
0000087f: ADD
00000880: SWAP1
00000881: DUP2
00000882: MSTORE
00000883: PUSH1 0x20
00000885: ADD
00000886: PUSH1 0x00
00000888: KECCAK256
00000889: SLOAD
0000088a: DUP2
0000088b: GT
0000088c: ISZERO
0000088d: PUSH2 0x08ee
00000890: JUMPI
00000891: PUSH1 0x40
00000893: MLOAD
00000894: PUSH3 0x461bcd
00000898: PUSH1 0xe5
0000089a: SHL
0000089b: DUP2
0000089c: MSTORE
0000089d: PUSH1 0x20
0000089f: PUSH1 0x04
000008a1: DUP3
000008a2: ADD
000008a3: MSTORE
000008a4: PUSH1 0x2d
000008a6: PUSH1 0x24
000008a8: DUP3
000008a9: ADD
000008aa: MSTORE
000008ab: PUSH32 0x444258656e3a20616d6f756e742067726561746572207468616e207769746864
000008cc: PUSH1 0x44
000008ce: DUP3
000008cf: ADD
000008d0: MSTORE
000008d1: PUSH13 0x72617761626c65207374616b65
000008df: PUSH1 0x98
000008e1: SHL
000008e2: PUSH1 0x64
000008e4: DUP3
000008e5: ADD
000008e6: MSTORE
000008e7: PUSH1 0x84
000008e9: ADD
000008ea: PUSH2 0x0853
000008ed: JUMP
000008ee: JUMPDEST
000008ef: PUSH1 0x09
000008f1: SLOAD
000008f2: PUSH1 0x07
000008f4: SLOAD
000008f5: SUB
000008f6: PUSH2 0x0916
000008f9: JUMPI
000008fa: DUP1
000008fb: PUSH1 0x0a
000008fd: PUSH1 0x00
000008ff: DUP3
00000900: DUP3
00000901: SLOAD
00000902: PUSH2 0x090b
00000905: SWAP2
00000906: SWAP1
00000907: PUSH2 0x22e6
0000090a: JUMP
0000090b: JUMPDEST
0000090c: SWAP1
0000090d: SWAP2
0000090e: SSTORE
0000090f: POP
00000910: PUSH2 0x093d
00000913: SWAP1
00000914: POP
00000915: JUMP
00000916: JUMPDEST
00000917: PUSH1 0x06
00000919: SLOAD
0000091a: PUSH1 0x00
0000091c: SWAP1
0000091d: DUP2
0000091e: MSTORE
0000091f: PUSH1 0x13
00000921: PUSH1 0x20
00000923: MSTORE
00000924: PUSH1 0x40
00000926: DUP2
00000927: KECCAK256
00000928: DUP1
00000929: SLOAD
0000092a: DUP4
0000092b: SWAP3
0000092c: SWAP1
0000092d: PUSH2 0x0937
00000930: SWAP1
00000931: DUP5
00000932: SWAP1
00000933: PUSH2 0x22ff
00000936: JUMP
00000937: JUMPDEST
00000938: SWAP1
00000939: SWAP2
0000093a: SSTORE
0000093b: POP
0000093c: POP
0000093d: JUMPDEST
0000093e: DUP1
0000093f: PUSH1 0x18
00000941: PUSH1 0x00
00000943: PUSH2 0x094a
00000946: PUSH2 0x167e
00000949: JUMP
0000094a: JUMPDEST
0000094b: PUSH1 0x01
0000094d: PUSH1 0x01
0000094f: PUSH1 0xa0
00000951: SHL
00000952: SUB
00000953: AND
00000954: PUSH1 0x01
00000956: PUSH1 0x01
00000958: PUSH1 0xa0
0000095a: SHL
0000095b: SUB
0000095c: AND
0000095d: DUP2
0000095e: MSTORE
0000095f: PUSH1 0x20
00000961: ADD
00000962: SWAP1
00000963: DUP2
00000964: MSTORE
00000965: PUSH1 0x20
00000967: ADD
00000968: PUSH1 0x00
0000096a: KECCAK256
0000096b: PUSH1 0x00
0000096d: DUP3
0000096e: DUP3
0000096f: SLOAD
00000970: PUSH2 0x0979
00000973: SWAP2
00000974: SWAP1
00000975: PUSH2 0x22ff
00000978: JUMP
00000979: JUMPDEST
0000097a: SWAP1
0000097b: SWAP2
0000097c: SSTORE
0000097d: POP
0000097e: DUP2
0000097f: SWAP1
00000980: POP
00000981: PUSH1 0x10
00000983: PUSH1 0x00
00000985: PUSH2 0x098c
00000988: PUSH2 0x167e
0000098b: JUMP
0000098c: JUMPDEST
0000098d: PUSH1 0x01
0000098f: PUSH1 0x01
00000991: PUSH1 0xa0
00000993: SHL
00000994: SUB
00000995: AND
00000996: PUSH1 0x01
00000998: PUSH1 0x01
0000099a: PUSH1 0xa0
0000099c: SHL
0000099d: SUB
0000099e: AND
0000099f: DUP2
000009a0: MSTORE
000009a1: PUSH1 0x20
000009a3: ADD
000009a4: SWAP1
000009a5: DUP2
000009a6: MSTORE
000009a7: PUSH1 0x20
000009a9: ADD
000009aa: PUSH1 0x00
000009ac: KECCAK256
000009ad: PUSH1 0x00
000009af: DUP3
000009b0: DUP3
000009b1: SLOAD
000009b2: PUSH2 0x09bb
000009b5: SWAP2
000009b6: SWAP1
000009b7: PUSH2 0x22ff
000009ba: JUMP
000009bb: JUMPDEST
000009bc: SWAP1
000009bd: SWAP2
000009be: SSTORE
000009bf: POP
000009c0: PUSH2 0x09df
000009c3: SWAP1
000009c4: POP
000009c5: PUSH2 0x09cc
000009c8: PUSH2 0x167e
000009cb: JUMP
000009cc: JUMPDEST
000009cd: PUSH1 0x01
000009cf: SLOAD
000009d0: PUSH1 0x01
000009d2: PUSH1 0x01
000009d4: PUSH1 0xa0
000009d6: SHL
000009d7: SUB
000009d8: AND
000009d9: SWAP1
000009da: DUP4
000009db: PUSH2 0x1cef
000009de: JUMP
000009df: JUMPDEST
000009e0: PUSH2 0x09e7
000009e3: PUSH2 0x167e
000009e6: JUMP
000009e7: JUMPDEST
000009e8: PUSH1 0x01
000009ea: PUSH1 0x01
000009ec: PUSH1 0xa0
000009ee: SHL
000009ef: SUB
000009f0: AND
000009f1: PUSH1 0x06
000009f3: SLOAD
000009f4: PUSH32 0x37375b03d8924bd8f076f11f8411b9962aa5c02fb489021507bc6bb6f850e365
00000a15: DUP4
00000a16: PUSH1 0x40
00000a18: MLOAD
00000a19: PUSH2 0x0a24
00000a1c: SWAP2
00000a1d: DUP2
00000a1e: MSTORE
00000a1f: PUSH1 0x20
00000a21: ADD
00000a22: SWAP1
00000a23: JUMP
00000a24: JUMPDEST
00000a25: PUSH1 0x40
00000a27: MLOAD
00000a28: DUP1
00000a29: SWAP2
00000a2a: SUB
00000a2b: SWAP1
00000a2c: LOG3
00000a2d: PUSH2 0x0a36
00000a30: PUSH1 0x01
00000a32: PUSH1 0x00
00000a34: SSTORE
00000a35: JUMP
00000a36: JUMPDEST
00000a37: POP
00000a38: JUMP
00000a39: JUMPDEST
00000a3a: PUSH2 0x0a41
00000a3d: PUSH2 0x14c8
00000a40: JUMP
00000a41: JUMPDEST
00000a42: PUSH2 0x0a49
00000a45: PUSH2 0x1521
00000a48: JUMP
00000a49: JUMPDEST
00000a4a: PUSH2 0x0a51
00000a4d: PUSH2 0x153c
00000a50: JUMP
00000a51: JUMPDEST
00000a52: PUSH2 0x0a5c
00000a55: PUSH2 0x082e
00000a58: PUSH2 0x167e
00000a5b: JUMP
00000a5c: JUMPDEST
00000a5d: PUSH1 0x00
00000a5f: PUSH1 0x18
00000a61: PUSH1 0x00
00000a63: PUSH2 0x0a6a
00000a66: PUSH2 0x167e
00000a69: JUMP
00000a6a: JUMPDEST
00000a6b: PUSH1 0x01
00000a6d: PUSH1 0x01
00000a6f: PUSH1 0xa0
00000a71: SHL
00000a72: SUB
00000a73: AND
00000a74: PUSH1 0x01
00000a76: PUSH1 0x01
00000a78: PUSH1 0xa0
00000a7a: SHL
00000a7b: SUB
00000a7c: AND
00000a7d: DUP2
00000a7e: MSTORE
00000a7f: PUSH1 0x20
00000a81: ADD
00000a82: SWAP1
00000a83: DUP2
00000a84: MSTORE
00000a85: PUSH1 0x20
00000a87: ADD
00000a88: PUSH1 0x00
00000a8a: KECCAK256
00000a8b: SLOAD
00000a8c: PUSH1 0x10
00000a8e: PUSH1 0x00
00000a90: PUSH2 0x0a97
00000a93: PUSH2 0x167e
00000a96: JUMP
00000a97: JUMPDEST
00000a98: PUSH1 0x01
00000a9a: PUSH1 0x01
00000a9c: PUSH1 0xa0
00000a9e: SHL
00000a9f: SUB
00000aa0: AND
00000aa1: PUSH1 0x01
00000aa3: PUSH1 0x01
00000aa5: PUSH1 0xa0
00000aa7: SHL
00000aa8: SUB
00000aa9: AND
00000aaa: DUP2
00000aab: MSTORE
00000aac: PUSH1 0x20
00000aae: ADD
00000aaf: SWAP1
00000ab0: DUP2
00000ab1: MSTORE
00000ab2: PUSH1 0x20
00000ab4: ADD
00000ab5: PUSH1 0x00
00000ab7: KECCAK256
00000ab8: SLOAD
00000ab9: PUSH2 0x0ac2
00000abc: SWAP2
00000abd: SWAP1
00000abe: PUSH2 0x22ff
00000ac1: JUMP
00000ac2: JUMPDEST
00000ac3: SWAP1
00000ac4: POP
00000ac5: PUSH1 0x00
00000ac7: DUP2
00000ac8: GT
00000ac9: PUSH2 0x0b14
00000acc: JUMPI
00000acd: PUSH1 0x40
00000acf: MLOAD
00000ad0: PUSH3 0x461bcd
00000ad4: PUSH1 0xe5
00000ad6: SHL
00000ad7: DUP2
00000ad8: MSTORE
00000ad9: PUSH1 0x20
00000adb: PUSH1 0x04
00000add: DUP3
00000ade: ADD
00000adf: MSTORE
00000ae0: PUSH1 0x1d
00000ae2: PUSH1 0x24
00000ae4: DUP3
00000ae5: ADD
00000ae6: MSTORE
00000ae7: PUSH32 0x444258656e3a206163636f756e7420686173206e6f2072657761726473000000
00000b08: PUSH1 0x44
00000b0a: DUP3
00000b0b: ADD
00000b0c: MSTORE
00000b0d: PUSH1 0x64
00000b0f: ADD
00000b10: PUSH2 0x0853
00000b13: JUMP
00000b14: JUMPDEST
00000b15: DUP1
00000b16: PUSH1 0x10
00000b18: PUSH1 0x00
00000b1a: PUSH2 0x0b21
00000b1d: PUSH2 0x167e
00000b20: JUMP
00000b21: JUMPDEST
00000b22: PUSH1 0x01
00000b24: PUSH1 0x01
00000b26: PUSH1 0xa0
00000b28: SHL
00000b29: SUB
00000b2a: AND
00000b2b: PUSH1 0x01
00000b2d: PUSH1 0x01
00000b2f: PUSH1 0xa0
00000b31: SHL
00000b32: SUB
00000b33: AND
00000b34: DUP2
00000b35: MSTORE
00000b36: PUSH1 0x20
00000b38: ADD
00000b39: SWAP1
00000b3a: DUP2
00000b3b: MSTORE
00000b3c: PUSH1 0x20
00000b3e: ADD
00000b3f: PUSH1 0x00
00000b41: KECCAK256
00000b42: PUSH1 0x00
00000b44: DUP3
00000b45: DUP3
00000b46: SLOAD
00000b47: PUSH2 0x0b50
00000b4a: SWAP2
00000b4b: SWAP1
00000b4c: PUSH2 0x22ff
00000b4f: JUMP
00000b50: JUMPDEST
00000b51: SWAP1
00000b52: SWAP2
00000b53: SSTORE
00000b54: POP
00000b55: POP
00000b56: PUSH1 0x09
00000b58: SLOAD
00000b59: PUSH1 0x07
00000b5b: SLOAD
00000b5c: SUB
00000b5d: PUSH2 0x0b7d
00000b60: JUMPI
00000b61: DUP1
00000b62: PUSH1 0x0a
00000b64: PUSH1 0x00
00000b66: DUP3
00000b67: DUP3
00000b68: SLOAD
00000b69: PUSH2 0x0b72
00000b6c: SWAP2
00000b6d: SWAP1
00000b6e: PUSH2 0x22e6
00000b71: JUMP
00000b72: JUMPDEST
00000b73: SWAP1
00000b74: SWAP2
00000b75: SSTORE
00000b76: POP
00000b77: PUSH2 0x0bad
00000b7a: SWAP1
00000b7b: POP
00000b7c: JUMP
00000b7d: JUMPDEST
00000b7e: PUSH1 0x06
00000b80: SLOAD
00000b81: PUSH1 0x00
00000b83: SWAP1
00000b84: DUP2
00000b85: MSTORE
00000b86: PUSH1 0x13
00000b88: PUSH1 0x20
00000b8a: MSTORE
00000b8b: PUSH1 0x40
00000b8d: SWAP1
00000b8e: KECCAK256
00000b8f: SLOAD
00000b90: PUSH2 0x0b9a
00000b93: SWAP1
00000b94: DUP3
00000b95: SWAP1
00000b96: PUSH2 0x22ff
00000b99: JUMP
00000b9a: JUMPDEST
00000b9b: PUSH1 0x06
00000b9d: SLOAD
00000b9e: PUSH1 0x00
00000ba0: SWAP1
00000ba1: DUP2
00000ba2: MSTORE
00000ba3: PUSH1 0x13
00000ba5: PUSH1 0x20
00000ba7: MSTORE
00000ba8: PUSH1 0x40
00000baa: SWAP1
00000bab: KECCAK256
00000bac: SSTORE
00000bad: JUMPDEST
00000bae: PUSH1 0x01
00000bb0: SLOAD
00000bb1: PUSH1 0x01
00000bb3: PUSH1 0x01
00000bb5: PUSH1 0xa0
00000bb7: SHL
00000bb8: SUB
00000bb9: AND
00000bba: PUSH4 0x9a49090e
00000bbf: PUSH2 0x0bc6
00000bc2: PUSH2 0x167e
00000bc5: JUMP
00000bc6: JUMPDEST
00000bc7: PUSH1 0x40
00000bc9: MLOAD
00000bca: PUSH1 0x01
00000bcc: PUSH1 0x01
00000bce: PUSH1 0xe0
00000bd0: SHL
00000bd1: SUB
00000bd2: NOT
00000bd3: PUSH1 0xe0
00000bd5: DUP5
00000bd6: SWAP1
00000bd7: SHL
00000bd8: AND
00000bd9: DUP2
00000bda: MSTORE
00000bdb: PUSH1 0x01
00000bdd: PUSH1 0x01
00000bdf: PUSH1 0xa0
00000be1: SHL
00000be2: SUB
00000be3: SWAP1
00000be4: SWAP2
00000be5: AND
00000be6: PUSH1 0x04
00000be8: DUP3
00000be9: ADD
00000bea: MSTORE
00000beb: PUSH1 0x24
00000bed: DUP2
00000bee: ADD
00000bef: DUP5
00000bf0: SWAP1
00000bf1: MSTORE
00000bf2: PUSH1 0x44
00000bf4: ADD
00000bf5: PUSH1 0x00
00000bf7: PUSH1 0x40
00000bf9: MLOAD
00000bfa: DUP1
00000bfb: DUP4
00000bfc: SUB
00000bfd: DUP2
00000bfe: PUSH1 0x00
00000c00: DUP8
00000c01: DUP1
00000c02: EXTCODESIZE
00000c03: ISZERO
00000c04: DUP1
00000c05: ISZERO
00000c06: PUSH2 0x0c0e
00000c09: JUMPI
00000c0a: PUSH1 0x00
00000c0c: DUP1
00000c0d: REVERT
00000c0e: JUMPDEST
00000c0f: POP
00000c10: GAS
00000c11: CALL
00000c12: ISZERO
00000c13: DUP1
00000c14: ISZERO
00000c15: PUSH2 0x0c22
00000c18: JUMPI
00000c19: RETURNDATASIZE
00000c1a: PUSH1 0x00
00000c1c: DUP1
00000c1d: RETURNDATACOPY
00000c1e: RETURNDATASIZE
00000c1f: PUSH1 0x00
00000c21: REVERT
00000c22: JUMPDEST
00000c23: POP
00000c24: POP
00000c25: POP
00000c26: POP
00000c27: PUSH2 0x0c2e
00000c2a: PUSH2 0x167e
00000c2d: JUMP
00000c2e: JUMPDEST
00000c2f: PUSH1 0x01
00000c31: PUSH1 0x01
00000c33: PUSH1 0xa0
00000c35: SHL
00000c36: SUB
00000c37: AND
00000c38: PUSH1 0x06
00000c3a: SLOAD
00000c3b: PUSH32 0x3300bdb359cfb956935bca32e9db727413eab1ca84341f2e36caea85bb796968
00000c5c: DUP4
00000c5d: PUSH1 0x40
00000c5f: MLOAD
00000c60: PUSH2 0x0c6b
00000c63: SWAP2
00000c64: DUP2
00000c65: MSTORE
00000c66: PUSH1 0x20
00000c68: ADD
00000c69: SWAP1
00000c6a: JUMP
00000c6b: JUMPDEST
00000c6c: PUSH1 0x40
00000c6e: MLOAD
00000c6f: DUP1
00000c70: SWAP2
00000c71: SUB
00000c72: SWAP1
00000c73: LOG3
00000c74: POP
00000c75: PUSH2 0x0c7e
00000c78: PUSH1 0x01
00000c7a: PUSH1 0x00
00000c7c: SSTORE
00000c7d: JUMP
00000c7e: JUMPDEST
00000c7f: JUMP
00000c80: JUMPDEST
00000c81: PUSH1 0x02
00000c83: SLOAD
00000c84: PUSH1 0x01
00000c86: PUSH1 0x01
00000c88: PUSH1 0xa0
00000c8a: SHL
00000c8b: SUB
00000c8c: AND
00000c8d: CALLER
00000c8e: EQ
00000c8f: PUSH2 0x0cda
00000c92: JUMPI
00000c93: PUSH1 0x40
00000c95: MLOAD
00000c96: PUSH3 0x461bcd
00000c9a: PUSH1 0xe5
00000c9c: SHL
00000c9d: DUP2
00000c9e: MSTORE
00000c9f: PUSH1 0x20
00000ca1: PUSH1 0x04
00000ca3: DUP3
00000ca4: ADD
00000ca5: MSTORE
00000ca6: PUSH1 0x1e
00000ca8: PUSH1 0x24
00000caa: DUP3
00000cab: ADD
00000cac: MSTORE
00000cad: PUSH32 0x444258656e3a20696c6c6567616c2063616c6c6261636b2063616c6c65720000
00000cce: PUSH1 0x44
00000cd0: DUP3
00000cd1: ADD
00000cd2: MSTORE
00000cd3: PUSH1 0x64
00000cd5: ADD
00000cd6: PUSH2 0x0853
00000cd9: JUMP
00000cda: JUMPDEST
00000cdb: PUSH2 0x0ce2
00000cde: PUSH2 0x1521
00000ce1: JUMP
00000ce2: JUMPDEST
00000ce3: PUSH2 0x0cea
00000ce6: PUSH2 0x153c
00000ce9: JUMP
00000cea: JUMPDEST
00000ceb: PUSH2 0x0cf2
00000cee: PUSH2 0x1d57
00000cf1: JUMP
00000cf2: JUMPDEST
00000cf3: PUSH2 0x0cfb
00000cf6: DUP3
00000cf7: PUSH2 0x16c2
00000cfa: JUMP
00000cfb: JUMPDEST
00000cfc: PUSH1 0x06
00000cfe: SLOAD
00000cff: PUSH1 0x01
00000d01: PUSH1 0x01
00000d03: PUSH1 0xa0
00000d05: SHL
00000d06: SUB
00000d07: DUP4
00000d08: AND
00000d09: PUSH1 0x00
00000d0b: DUP2
00000d0c: DUP2
00000d0d: MSTORE
00000d0e: PUSH1 0x0f
00000d10: PUSH1 0x20
00000d12: MSTORE
00000d13: PUSH1 0x40
00000d15: SWAP1
00000d16: DUP2
00000d17: SWAP1
00000d18: KECCAK256
00000d19: SWAP3
00000d1a: SWAP1
00000d1b: SWAP3
00000d1c: SSTORE
00000d1d: SWAP1
00000d1e: MLOAD
00000d1f: PUSH32 0xcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5
00000d40: SWAP1
00000d41: PUSH2 0x0d4d
00000d44: SWAP1
00000d45: DUP5
00000d46: DUP2
00000d47: MSTORE
00000d48: PUSH1 0x20
00000d4a: ADD
00000d4b: SWAP1
00000d4c: JUMP
00000d4d: JUMPDEST
00000d4e: PUSH1 0x40
00000d50: MLOAD
00000d51: DUP1
00000d52: SWAP2
00000d53: SUB
00000d54: SWAP1
00000d55: LOG2
00000d56: POP
00000d57: POP
00000d58: JUMP
00000d59: JUMPDEST
00000d5a: PUSH2 0x0d61
00000d5d: PUSH2 0x14c8
00000d60: JUMP
00000d61: JUMPDEST
00000d62: DUP1
00000d63: PUSH1 0x00
00000d65: GAS
00000d66: SWAP1
00000d67: POP
00000d68: PUSH2 0x2710
00000d6b: DUP4
00000d6c: GT
00000d6d: ISZERO
00000d6e: PUSH2 0x0dc4
00000d71: JUMPI
00000d72: PUSH1 0x40
00000d74: MLOAD
00000d75: PUSH3 0x461bcd
00000d79: PUSH1 0xe5
00000d7b: SHL
00000d7c: DUP2
00000d7d: MSTORE
00000d7e: PUSH1 0x20
00000d80: PUSH1 0x04
00000d82: DUP3
00000d83: ADD
00000d84: MSTORE
00000d85: PUSH1 0x22
00000d87: PUSH1 0x24
00000d89: DUP3
00000d8a: ADD
00000d8b: MSTORE
00000d8c: PUSH32 0x444258656e3a206d6178696d206261746368206e756d62657220697320313030
00000dad: PUSH1 0x44
00000daf: DUP3
00000db0: ADD
00000db1: MSTORE
00000db2: PUSH2 0x0303
00000db5: PUSH1 0xf4
00000db7: SHL
00000db8: PUSH1 0x64
00000dba: DUP3
00000dbb: ADD
00000dbc: MSTORE
00000dbd: PUSH1 0x84
00000dbf: ADD
00000dc0: PUSH2 0x0853
00000dc3: JUMP
00000dc4: JUMPDEST
00000dc5: PUSH1 0x00
00000dc7: DUP4
00000dc8: GT
00000dc9: PUSH2 0x0e14
00000dcc: JUMPI
00000dcd: PUSH1 0x40
00000dcf: MLOAD
00000dd0: PUSH3 0x461bcd
00000dd4: PUSH1 0xe5
00000dd6: SHL
00000dd7: DUP2
00000dd8: MSTORE
00000dd9: PUSH1 0x20
00000ddb: PUSH1 0x04
00000ddd: DUP3
00000dde: ADD
00000ddf: MSTORE
00000de0: PUSH1 0x1c
00000de2: PUSH1 0x24
00000de4: DUP3
00000de5: ADD
00000de6: MSTORE
00000de7: PUSH32 0x444258656e3a206d696e206261746368206e756d626572206973203100000000
00000e08: PUSH1 0x44
00000e0a: DUP3
00000e0b: ADD
00000e0c: MSTORE
00000e0d: PUSH1 0x64
00000e0f: ADD
00000e10: PUSH2 0x0853
00000e13: JUMP
00000e14: JUMPDEST
00000e15: PUSH2 0x0e29
00000e18: PUSH11 0x0211654585005212800000
00000e24: DUP5
00000e25: PUSH2 0x2312
00000e28: JUMP
00000e29: JUMPDEST
00000e2a: PUSH1 0x02
00000e2c: SLOAD
00000e2d: PUSH1 0x40
00000e2f: MLOAD
00000e30: PUSH4 0x70a08231
00000e35: PUSH1 0xe0
00000e37: SHL
00000e38: DUP2
00000e39: MSTORE
00000e3a: CALLER
00000e3b: PUSH1 0x04
00000e3d: DUP3
00000e3e: ADD
00000e3f: MSTORE
00000e40: PUSH1 0x01
00000e42: PUSH1 0x01
00000e44: PUSH1 0xa0
00000e46: SHL
00000e47: SUB
00000e48: SWAP1
00000e49: SWAP2
00000e4a: AND
00000e4b: SWAP1
00000e4c: PUSH4 0x70a08231
00000e51: SWAP1
00000e52: PUSH1 0x24
00000e54: ADD
00000e55: PUSH1 0x20
00000e57: PUSH1 0x40
00000e59: MLOAD
00000e5a: DUP1
00000e5b: DUP4
00000e5c: SUB
00000e5d: DUP2
00000e5e: DUP7
00000e5f: GAS
00000e60: STATICCALL
00000e61: ISZERO
00000e62: DUP1
00000e63: ISZERO
00000e64: PUSH2 0x0e71
00000e67: JUMPI
00000e68: RETURNDATASIZE
00000e69: PUSH1 0x00
00000e6b: DUP1
00000e6c: RETURNDATACOPY
00000e6d: RETURNDATASIZE
00000e6e: PUSH1 0x00
00000e70: REVERT
00000e71: JUMPDEST
00000e72: POP
00000e73: POP
00000e74: POP
00000e75: POP
00000e76: PUSH1 0x40
00000e78: MLOAD
00000e79: RETURNDATASIZE
00000e7a: PUSH1 0x1f
00000e7c: NOT
00000e7d: PUSH1 0x1f
00000e7f: DUP3
00000e80: ADD
00000e81: AND
00000e82: DUP3
00000e83: ADD
00000e84: DUP1
00000e85: PUSH1 0x40
00000e87: MSTORE
00000e88: POP
00000e89: DUP2
00000e8a: ADD
00000e8b: SWAP1
00000e8c: PUSH2 0x0e95
00000e8f: SWAP2
00000e90: SWAP1
00000e91: PUSH2 0x2329
00000e94: JUMP
00000e95: JUMPDEST
00000e96: LT
00000e97: ISZERO
00000e98: PUSH2 0x0eed
00000e9b: JUMPI
00000e9c: PUSH1 0x40
00000e9e: MLOAD
00000e9f: PUSH3 0x461bcd
00000ea3: PUSH1 0xe5
00000ea5: SHL
00000ea6: DUP2
00000ea7: MSTORE
00000ea8: PUSH1 0x20
00000eaa: PUSH1 0x04
00000eac: DUP3
00000ead: ADD
00000eae: MSTORE
00000eaf: PUSH1 0x21
00000eb1: PUSH1 0x24
00000eb3: DUP3
00000eb4: ADD
00000eb5: MSTORE
00000eb6: PUSH32 0x444258656e3a206e6f7420656e6f75676820746f6b656e7320666f7220627572
00000ed7: PUSH1 0x44
00000ed9: DUP3
00000eda: ADD
00000edb: MSTORE
00000edc: PUSH1 0x37
00000ede: PUSH1 0xf9
00000ee0: SHL
00000ee1: PUSH1 0x64
00000ee3: DUP3
00000ee4: ADD
00000ee5: MSTORE
00000ee6: PUSH1 0x84
00000ee8: ADD
00000ee9: PUSH2 0x0853
00000eec: JUMP
00000eed: JUMPDEST
00000eee: PUSH1 0x02
00000ef0: SLOAD
00000ef1: PUSH1 0x01
00000ef3: PUSH1 0x01
00000ef5: PUSH1 0xa0
00000ef7: SHL
00000ef8: SUB
00000ef9: AND
00000efa: PUSH4 0x9dc29fac
00000eff: CALLER
00000f00: PUSH2 0x0f14
00000f03: PUSH11 0x0211654585005212800000
00000f0f: DUP8
00000f10: PUSH2 0x2312
00000f13: JUMP
00000f14: JUMPDEST
00000f15: PUSH1 0x40
00000f17: MLOAD
00000f18: PUSH1 0x01
00000f1a: PUSH1 0x01
00000f1c: PUSH1 0xe0
00000f1e: SHL
00000f1f: SUB
00000f20: NOT
00000f21: PUSH1 0xe0
00000f23: DUP6
00000f24: SWAP1
00000f25: SHL
00000f26: AND
00000f27: DUP2
00000f28: MSTORE
00000f29: PUSH1 0x01
00000f2b: PUSH1 0x01
00000f2d: PUSH1 0xa0
00000f2f: SHL
00000f30: SUB
00000f31: SWAP1
00000f32: SWAP3
00000f33: AND
00000f34: PUSH1 0x04
00000f36: DUP4
00000f37: ADD
00000f38: MSTORE
00000f39: PUSH1 0x24
00000f3b: DUP3
00000f3c: ADD
00000f3d: MSTORE
00000f3e: PUSH1 0x44
00000f40: ADD
00000f41: PUSH1 0x00
00000f43: PUSH1 0x40
00000f45: MLOAD
00000f46: DUP1
00000f47: DUP4
00000f48: SUB
00000f49: DUP2
00000f4a: PUSH1 0x00
00000f4c: DUP8
00000f4d: DUP1
00000f4e: EXTCODESIZE
00000f4f: ISZERO
00000f50: DUP1
00000f51: ISZERO
00000f52: PUSH2 0x0f5a
00000f55: JUMPI
00000f56: PUSH1 0x00
00000f58: DUP1
00000f59: REVERT
00000f5a: JUMPDEST
00000f5b: POP
00000f5c: GAS
00000f5d: CALL
00000f5e: ISZERO
00000f5f: DUP1
00000f60: ISZERO
00000f61: PUSH2 0x0f6e
00000f64: JUMPI
00000f65: RETURNDATASIZE
00000f66: PUSH1 0x00
00000f68: DUP1
00000f69: RETURNDATACOPY
00000f6a: RETURNDATASIZE
00000f6b: PUSH1 0x00
00000f6d: REVERT
00000f6e: JUMPDEST
00000f6f: POP
00000f70: POP
00000f71: POP
00000f72: POP
00000f73: PUSH1 0x00
00000f75: DUP3
00000f76: PUSH1 0x05
00000f78: PUSH2 0x0f81
00000f7b: SWAP2
00000f7c: SWAP1
00000f7d: PUSH2 0x2312
00000f80: JUMP
00000f81: JUMPDEST
00000f82: PUSH2 0x0f8e
00000f85: SWAP1
00000f86: PUSH3 0x0186a0
00000f8a: PUSH2 0x22ff
00000f8d: JUMP
00000f8e: JUMPDEST
00000f8f: PUSH2 0x0f98
00000f92: SWAP1
00000f93: DUP5
00000f94: PUSH2 0x2312
00000f97: JUMP
00000f98: JUMPDEST
00000f99: SWAP1
00000f9a: POP
00000f9b: PUSH1 0x00
00000f9d: PUSH3 0x0186a0
00000fa1: DUP3
00000fa2: GASPRICE
00000fa3: GAS
00000fa4: PUSH2 0x0fad
00000fa7: SWAP1
00000fa8: DUP8
00000fa9: PUSH2 0x22ff
00000fac: JUMP
00000fad: JUMPDEST
00000fae: PUSH2 0x0fb9
00000fb1: SWAP1
00000fb2: PUSH2 0x99e8
00000fb5: PUSH2 0x22e6
00000fb8: JUMP
00000fb9: JUMPDEST
00000fba: PUSH2 0x0fc3
00000fbd: SWAP2
00000fbe: SWAP1
00000fbf: PUSH2 0x2312
00000fc2: JUMP
00000fc3: JUMPDEST
00000fc4: PUSH2 0x0fcd
00000fc7: SWAP2
00000fc8: SWAP1
00000fc9: PUSH2 0x2312
00000fcc: JUMP
00000fcd: JUMPDEST
00000fce: PUSH2 0x0fd7
00000fd1: SWAP2
00000fd2: SWAP1
00000fd3: PUSH2 0x2342
00000fd6: JUMP
00000fd7: JUMPDEST
00000fd8: SWAP1
00000fd9: POP
00000fda: DUP1
00000fdb: CALLVALUE
00000fdc: LT
00000fdd: ISZERO
00000fde: PUSH2 0x1035
00000fe1: JUMPI
00000fe2: PUSH1 0x40
00000fe4: MLOAD
00000fe5: PUSH3 0x461bcd
00000fe9: PUSH1 0xe5
00000feb: SHL
00000fec: DUP2
00000fed: MSTORE
00000fee: PUSH1 0x20
00000ff0: PUSH1 0x04
00000ff2: DUP3
00000ff3: ADD
00000ff4: MSTORE
00000ff5: PUSH1 0x23
00000ff7: PUSH1 0x24
00000ff9: DUP3
00000ffa: ADD
00000ffb: MSTORE
00000ffc: PUSH32 0x444258656e3a2076616c7565206c657373207468616e2070726f746f636f6c20
0000101d: PUSH1 0x44
0000101f: DUP3
00001020: ADD
00001021: MSTORE
00001022: PUSH3 0x666565
00001026: PUSH1 0xe8
00001028: SHL
00001029: PUSH1 0x64
0000102b: DUP3
0000102c: ADD
0000102d: MSTORE
0000102e: PUSH1 0x84
00001030: ADD
00001031: PUSH2 0x0853
00001034: JUMP
00001035: JUMPDEST
00001036: DUP4
00001037: PUSH1 0x0c
00001039: PUSH1 0x00
0000103b: DUP3
0000103c: DUP3
0000103d: SLOAD
0000103e: PUSH2 0x1047
00001041: SWAP2
00001042: SWAP1
00001043: PUSH2 0x22e6
00001046: JUMP
00001047: JUMPDEST
00001048: SWAP1
00001049: SWAP2
0000104a: SSTORE
0000104b: POP
0000104c: POP
0000104d: PUSH1 0x06
0000104f: SLOAD
00001050: PUSH1 0x00
00001052: SWAP1
00001053: DUP2
00001054: MSTORE
00001055: PUSH1 0x0e
00001057: PUSH1 0x20
00001059: MSTORE
0000105a: PUSH1 0x40
0000105c: DUP2
0000105d: KECCAK256
0000105e: DUP1
0000105f: SLOAD
00001060: DUP7
00001061: SWAP3
00001062: SWAP1
00001063: PUSH2 0x106d
00001066: SWAP1
00001067: DUP5
00001068: SWAP1
00001069: PUSH2 0x22e6
0000106c: JUMP
0000106d: JUMPDEST
0000106e: SWAP1
0000106f: SWAP2
00001070: SSTORE
00001071: POP
00001072: DUP5
00001073: SWAP1
00001074: POP
00001075: PUSH1 0x0d
00001077: PUSH1 0x00
00001079: PUSH2 0x1080
0000107c: PUSH2 0x167e
0000107f: JUMP
00001080: JUMPDEST
00001081: PUSH1 0x01
00001083: PUSH1 0x01
00001085: PUSH1 0xa0
00001087: SHL
00001088: SUB
00001089: AND
0000108a: PUSH1 0x01
0000108c: PUSH1 0x01
0000108e: PUSH1 0xa0
00001090: SHL
00001091: SUB
00001092: AND
00001093: DUP2
00001094: MSTORE
00001095: PUSH1 0x20
00001097: ADD
00001098: SWAP1
00001099: DUP2
0000109a: MSTORE
0000109b: PUSH1 0x20
0000109d: ADD
0000109e: PUSH1 0x00
000010a0: KECCAK256
000010a1: PUSH1 0x00
000010a3: DUP3
000010a4: DUP3
000010a5: SLOAD
000010a6: PUSH2 0x10af
000010a9: SWAP2
000010aa: SWAP1
000010ab: PUSH2 0x22e6
000010ae: JUMP
000010af: JUMPDEST
000010b0: SWAP1
000010b1: SWAP2
000010b2: SSTORE
000010b3: POP
000010b4: POP
000010b5: PUSH1 0x06
000010b7: SLOAD
000010b8: PUSH1 0x00
000010ba: SWAP1
000010bb: DUP2
000010bc: MSTORE
000010bd: PUSH1 0x15
000010bf: PUSH1 0x20
000010c1: MSTORE
000010c2: PUSH1 0x40
000010c4: DUP2
000010c5: KECCAK256
000010c6: DUP1
000010c7: SLOAD
000010c8: DUP4
000010c9: SWAP3
000010ca: SWAP1
000010cb: PUSH2 0x10d5
000010ce: SWAP1
000010cf: DUP5
000010d0: SWAP1
000010d1: PUSH2 0x22e6
000010d4: JUMP
000010d5: JUMPDEST
000010d6: SWAP1
000010d7: SWAP2
000010d8: SSTORE
000010d9: POP
000010da: PUSH2 0x10ee
000010dd: SWAP1
000010de: POP
000010df: CALLER
000010e0: PUSH2 0x10e9
000010e3: DUP4
000010e4: CALLVALUE
000010e5: PUSH2 0x22ff
000010e8: JUMP
000010e9: JUMPDEST
000010ea: PUSH2 0x1eb3
000010ed: JUMP
000010ee: JUMPDEST
000010ef: POP
000010f0: POP
000010f1: POP
000010f2: POP
000010f3: PUSH2 0x0a36
000010f6: PUSH1 0x01
000010f8: PUSH1 0x00
000010fa: SSTORE
000010fb: JUMP
000010fc: JUMPDEST
000010fd: PUSH2 0x1104
00001100: PUSH2 0x14c8
00001103: JUMP
00001104: JUMPDEST
00001105: PUSH2 0x110c
00001108: PUSH2 0x1521
0000110b: JUMP
0000110c: JUMPDEST
0000110d: PUSH2 0x1114
00001110: PUSH2 0x153c
00001113: JUMP
00001114: JUMPDEST
00001115: PUSH2 0x111f
00001118: PUSH2 0x082e
0000111b: PUSH2 0x167e
0000111e: JUMP
0000111f: JUMPDEST
00001120: PUSH1 0x00
00001122: DUP2
00001123: GT
00001124: PUSH2 0x113f
00001127: JUMPI
00001128: PUSH1 0x40
0000112a: MLOAD
0000112b: PUSH3 0x461bcd
0000112f: PUSH1 0xe5
00001131: SHL
00001132: DUP2
00001133: MSTORE
00001134: PUSH1 0x04
00001136: ADD
00001137: PUSH2 0x0853
0000113a: SWAP1
0000113b: PUSH2 0x22a1
0000113e: JUMP
0000113f: JUMPDEST
00001140: DUP1
00001141: PUSH1 0x05
00001143: PUSH1 0x00
00001145: DUP3
00001146: DUP3
00001147: SLOAD
00001148: PUSH2 0x1151
0000114b: SWAP2
0000114c: SWAP1
0000114d: PUSH2 0x22e6
00001150: JUMP
00001151: JUMPDEST
00001152: SWAP1
00001153: SWAP2
00001154: SSTORE
00001155: POP
00001156: POP
00001157: PUSH1 0x06
00001159: SLOAD
0000115a: PUSH1 0x00
0000115c: SWAP1
0000115d: PUSH2 0x1167
00001160: SWAP1
00001161: PUSH1 0x01
00001163: PUSH2 0x22e6
00001166: JUMP
00001167: JUMPDEST
00001168: SWAP1
00001169: POP
0000116a: PUSH1 0x09
0000116c: SLOAD
0000116d: PUSH1 0x07
0000116f: SLOAD
00001170: SUB
00001171: PUSH2 0x1185
00001174: JUMPI
00001175: PUSH1 0x07
00001177: SLOAD
00001178: PUSH2 0x1182
0000117b: SWAP1
0000117c: PUSH1 0x01
0000117e: PUSH2 0x22e6
00001181: JUMP
00001182: JUMPDEST
00001183: SWAP1
00001184: POP
00001185: JUMPDEST
00001186: PUSH1 0x19
00001188: PUSH1 0x00
0000118a: PUSH2 0x1191
0000118d: PUSH2 0x167e
00001190: JUMP
00001191: JUMPDEST
00001192: PUSH1 0x01
00001194: PUSH1 0x01
00001196: PUSH1 0xa0
00001198: SHL
00001199: SUB
0000119a: AND
0000119b: PUSH1 0x01
0000119d: PUSH1 0x01
0000119f: PUSH1 0xa0
000011a1: SHL
000011a2: SUB
000011a3: AND
000011a4: DUP2
000011a5: MSTORE
000011a6: PUSH1 0x20
000011a8: ADD
000011a9: SWAP1
000011aa: DUP2
000011ab: MSTORE
000011ac: PUSH1 0x20
000011ae: ADD
000011af: PUSH1 0x00
000011b1: KECCAK256
000011b2: SLOAD
000011b3: DUP2
000011b4: EQ
000011b5: ISZERO
000011b6: DUP1
000011b7: ISZERO
000011b8: PUSH2 0x11ed
000011bb: JUMPI
000011bc: POP
000011bd: PUSH1 0x1a
000011bf: PUSH1 0x00
000011c1: PUSH2 0x11c8
000011c4: PUSH2 0x167e
000011c7: JUMP
000011c8: JUMPDEST
000011c9: PUSH1 0x01
000011cb: PUSH1 0x01
000011cd: PUSH1 0xa0
000011cf: SHL
000011d0: SUB
000011d1: AND
000011d2: PUSH1 0x01
000011d4: PUSH1 0x01
000011d6: PUSH1 0xa0
000011d8: SHL
000011d9: SUB
000011da: AND
000011db: DUP2
000011dc: MSTORE
000011dd: PUSH1 0x20
000011df: ADD
000011e0: SWAP1
000011e1: DUP2
000011e2: MSTORE
000011e3: PUSH1 0x20
000011e5: ADD
000011e6: PUSH1 0x00
000011e8: KECCAK256
000011e9: SLOAD
000011ea: DUP2
000011eb: EQ
000011ec: ISZERO
000011ed: JUMPDEST
000011ee: ISZERO
000011ef: PUSH2 0x12ae
000011f2: JUMPI
000011f3: PUSH1 0x19
000011f5: PUSH1 0x00
000011f7: PUSH2 0x11fe
000011fa: PUSH2 0x167e
000011fd: JUMP
000011fe: JUMPDEST
000011ff: PUSH1 0x01
00001201: PUSH1 0x01
00001203: PUSH1 0xa0
00001205: SHL
00001206: SUB
00001207: AND
00001208: PUSH1 0x01
0000120a: PUSH1 0x01
0000120c: PUSH1 0xa0
0000120e: SHL
0000120f: SUB
00001210: AND
00001211: DUP2
00001212: MSTORE
00001213: PUSH1 0x20
00001215: ADD
00001216: SWAP1
00001217: DUP2
00001218: MSTORE
00001219: PUSH1 0x20
0000121b: ADD
0000121c: PUSH1 0x00
0000121e: KECCAK256
0000121f: SLOAD
00001220: PUSH1 0x00
00001222: SUB
00001223: PUSH2 0x1252
00001226: JUMPI
00001227: DUP1
00001228: PUSH1 0x19
0000122a: PUSH1 0x00
0000122c: PUSH2 0x1233
0000122f: PUSH2 0x167e
00001232: JUMP
00001233: JUMPDEST
00001234: PUSH1 0x01
00001236: PUSH1 0x01
00001238: PUSH1 0xa0
0000123a: SHL
0000123b: SUB
0000123c: AND
0000123d: DUP2
0000123e: MSTORE
0000123f: PUSH1 0x20
00001241: DUP2
00001242: ADD
00001243: SWAP2
00001244: SWAP1
00001245: SWAP2
00001246: MSTORE
00001247: PUSH1 0x40
00001249: ADD
0000124a: PUSH1 0x00
0000124c: KECCAK256
0000124d: SSTORE
0000124e: PUSH2 0x12ae
00001251: JUMP
00001252: JUMPDEST
00001253: PUSH1 0x1a
00001255: PUSH1 0x00
00001257: PUSH2 0x125e
0000125a: PUSH2 0x167e
0000125d: JUMP
0000125e: JUMPDEST
0000125f: PUSH1 0x01
00001261: PUSH1 0x01
00001263: PUSH1 0xa0
00001265: SHL
00001266: SUB
00001267: AND
00001268: PUSH1 0x01
0000126a: PUSH1 0x01
0000126c: PUSH1 0xa0
0000126e: SHL
0000126f: SUB
00001270: AND
00001271: DUP2
00001272: MSTORE
00001273: PUSH1 0x20
00001275: ADD
00001276: SWAP1
00001277: DUP2
00001278: MSTORE
00001279: PUSH1 0x20
0000127b: ADD
0000127c: PUSH1 0x00
0000127e: KECCAK256
0000127f: SLOAD
00001280: PUSH1 0x00
00001282: SUB
00001283: PUSH2 0x12ae
00001286: JUMPI
00001287: DUP1
00001288: PUSH1 0x1a
0000128a: PUSH1 0x00
0000128c: PUSH2 0x1293
0000128f: PUSH2 0x167e
00001292: JUMP
00001293: JUMPDEST
00001294: PUSH1 0x01
00001296: PUSH1 0x01
00001298: PUSH1 0xa0
0000129a: SHL
0000129b: SUB
0000129c: AND
0000129d: DUP2
0000129e: MSTORE
0000129f: PUSH1 0x20
000012a1: DUP2
000012a2: ADD
000012a3: SWAP2
000012a4: SWAP1
000012a5: SWAP2
000012a6: MSTORE
000012a7: PUSH1 0x40
000012a9: ADD
000012aa: PUSH1 0x00
000012ac: KECCAK256
000012ad: SSTORE
000012ae: JUMPDEST
000012af: DUP2
000012b0: PUSH1 0x17
000012b2: PUSH1 0x00
000012b4: PUSH2 0x12bb
000012b7: PUSH2 0x167e
000012ba: JUMP
000012bb: JUMPDEST
000012bc: PUSH1 0x01
000012be: PUSH1 0x01
000012c0: PUSH1 0xa0
000012c2: SHL
000012c3: SUB
000012c4: AND
000012c5: PUSH1 0x01
000012c7: PUSH1 0x01
000012c9: PUSH1 0xa0
000012cb: SHL
000012cc: SUB
000012cd: AND
000012ce: DUP2
000012cf: MSTORE
000012d0: PUSH1 0x20
000012d2: ADD
000012d3: SWAP1
000012d4: DUP2
000012d5: MSTORE
000012d6: PUSH1 0x20
000012d8: ADD
000012d9: PUSH1 0x00
000012db: KECCAK256
000012dc: PUSH1 0x00
000012de: DUP4
000012df: DUP2
000012e0: MSTORE
000012e1: PUSH1 0x20
000012e3: ADD
000012e4: SWAP1
000012e5: DUP2
000012e6: MSTORE
000012e7: PUSH1 0x20
000012e9: ADD
000012ea: PUSH1 0x00
000012ec: KECCAK256
000012ed: PUSH1 0x00
000012ef: DUP3
000012f0: DUP3
000012f1: SLOAD
000012f2: PUSH2 0x12fb
000012f5: SWAP2
000012f6: SWAP1
000012f7: PUSH2 0x22e6
000012fa: JUMP
000012fb: JUMPDEST
000012fc: SWAP1
000012fd: SWAP2
000012fe: SSTORE
000012ff: POP
00001300: PUSH2 0x1320
00001303: SWAP1
00001304: POP
00001305: PUSH2 0x130c
00001308: PUSH2 0x167e
0000130b: JUMP
0000130c: JUMPDEST
0000130d: PUSH1 0x01
0000130f: SLOAD
00001310: PUSH1 0x01
00001312: PUSH1 0x01
00001314: PUSH1 0xa0
00001316: SHL
00001317: SUB
00001318: AND
00001319: SWAP1
0000131a: ADDRESS
0000131b: DUP6
0000131c: PUSH2 0x1f56
0000131f: JUMP
00001320: JUMPDEST
00001321: PUSH2 0x1328
00001324: PUSH2 0x167e
00001327: JUMP
00001328: JUMPDEST
00001329: PUSH1 0x01
0000132b: PUSH1 0x01
0000132d: PUSH1 0xa0
0000132f: SHL
00001330: SUB
00001331: AND
00001332: DUP2
00001333: PUSH32 0x18dcd430020e4d4899772fd94a8b40451dc5044dfb70bc46b532eeae431c864f
00001354: DUP5
00001355: PUSH1 0x40
00001357: MLOAD
00001358: PUSH2 0x1363
0000135b: SWAP2
0000135c: DUP2
0000135d: MSTORE
0000135e: PUSH1 0x20
00001360: ADD
00001361: SWAP1
00001362: JUMP
00001363: JUMPDEST
00001364: PUSH1 0x40
00001366: MLOAD
00001367: DUP1
00001368: SWAP2
00001369: SUB
0000136a: SWAP1
0000136b: LOG3
0000136c: POP
0000136d: PUSH2 0x0a36
00001370: PUSH1 0x01
00001372: PUSH1 0x00
00001374: SSTORE
00001375: JUMP
00001376: JUMPDEST
00001377: PUSH1 0x00
00001379: PUSH32 0x0000000000000000000000000000000000000000000000000000000000015180
0000139a: PUSH2 0x13c3
0000139d: PUSH32 0x00000000000000000000000000000000000000000000000000000000641b09eb
000013be: TIMESTAMP
000013bf: PUSH2 0x22ff
000013c2: JUMP
000013c3: JUMPDEST
000013c4: PUSH2 0x13cd
000013c7: SWAP2
000013c8: SWAP1
000013c9: PUSH2 0x2342
000013cc: JUMP
000013cd: JUMPDEST
000013ce: SWAP1
000013cf: POP
000013d0: SWAP1
000013d1: JUMP
000013d2: JUMPDEST
000013d3: PUSH2 0x13da
000013d6: PUSH2 0x14c8
000013d9: JUMP
000013da: JUMPDEST
000013db: PUSH2 0x13e2
000013de: PUSH2 0x1521
000013e1: JUMP
000013e2: JUMPDEST
000013e3: PUSH2 0x13ea
000013e6: PUSH2 0x153c
000013e9: JUMP
000013ea: JUMPDEST
000013eb: PUSH2 0x13f5
000013ee: PUSH2 0x082e
000013f1: PUSH2 0x167e
000013f4: JUMP
000013f5: JUMPDEST
000013f6: PUSH1 0x00
000013f8: PUSH1 0x11
000013fa: PUSH1 0x00
000013fc: PUSH2 0x1403
000013ff: PUSH2 0x167e
00001402: JUMP
00001403: JUMPDEST
00001404: PUSH1 0x01
00001406: PUSH1 0x01
00001408: PUSH1 0xa0
0000140a: SHL
0000140b: SUB
0000140c: AND
0000140d: PUSH1 0x01
0000140f: PUSH1 0x01
00001411: PUSH1 0xa0
00001413: SHL
00001414: SUB
00001415: AND
00001416: DUP2
00001417: MSTORE
00001418: PUSH1 0x20
0000141a: ADD
0000141b: SWAP1
0000141c: DUP2
0000141d: MSTORE
0000141e: PUSH1 0x20
00001420: ADD
00001421: PUSH1 0x00
00001423: KECCAK256
00001424: SLOAD
00001425: SWAP1
00001426: POP
00001427: PUSH1 0x00
00001429: DUP2
0000142a: GT
0000142b: PUSH2 0x1446
0000142e: JUMPI
0000142f: PUSH1 0x40
00001431: MLOAD
00001432: PUSH3 0x461bcd
00001436: PUSH1 0xe5
00001438: SHL
00001439: DUP2
0000143a: MSTORE
0000143b: PUSH1 0x04
0000143d: ADD
0000143e: PUSH2 0x0853
00001441: SWAP1
00001442: PUSH2 0x22a1
00001445: JUMP
00001446: JUMPDEST
00001447: PUSH1 0x00
00001449: PUSH1 0x11
0000144b: PUSH1 0x00
0000144d: PUSH2 0x1454
00001450: PUSH2 0x167e
00001453: JUMP
00001454: JUMPDEST
00001455: PUSH1 0x01
00001457: PUSH1 0x01
00001459: PUSH1 0xa0
0000145b: SHL
0000145c: SUB
0000145d: AND
0000145e: DUP2
0000145f: MSTORE
00001460: PUSH1 0x20
00001462: DUP2
00001463: ADD
00001464: SWAP2
00001465: SWAP1
00001466: SWAP2
00001467: MSTORE
00001468: PUSH1 0x40
0000146a: ADD
0000146b: PUSH1 0x00
0000146d: KECCAK256
0000146e: SSTORE
0000146f: PUSH2 0x147f
00001472: PUSH2 0x1479
00001475: PUSH2 0x167e
00001478: JUMP
00001479: JUMPDEST
0000147a: DUP3
0000147b: PUSH2 0x1eb3
0000147e: JUMP
0000147f: JUMPDEST
00001480: PUSH2 0x1487
00001483: PUSH2 0x167e
00001486: JUMP
00001487: JUMPDEST
00001488: PUSH1 0x01
0000148a: PUSH1 0x01
0000148c: PUSH1 0xa0
0000148e: SHL
0000148f: SUB
00001490: AND
00001491: PUSH2 0x1498
00001494: PUSH2 0x1376
00001497: JUMP
00001498: JUMPDEST
00001499: PUSH1 0x40
0000149b: MLOAD
0000149c: DUP4
0000149d: DUP2
0000149e: MSTORE
0000149f: PUSH32 0x2227733fc4c8a9034cb58087dcf6995128b9c0233b038b03366aaf30c92b92d6
000014c0: SWAP1
000014c1: PUSH1 0x20
000014c3: ADD
000014c4: PUSH2 0x0c6b
000014c7: JUMP
000014c8: JUMPDEST
000014c9: PUSH1 0x02
000014cb: PUSH1 0x00
000014cd: SLOAD
000014ce: SUB
000014cf: PUSH2 0x151a
000014d2: JUMPI
000014d3: PUSH1 0x40
000014d5: MLOAD
000014d6: PUSH3 0x461bcd
000014da: PUSH1 0xe5
000014dc: SHL
000014dd: DUP2
000014de: MSTORE
000014df: PUSH1 0x20
000014e1: PUSH1 0x04
000014e3: DUP3
000014e4: ADD
000014e5: MSTORE
000014e6: PUSH1 0x1f
000014e8: PUSH1 0x24
000014ea: DUP3
000014eb: ADD
000014ec: MSTORE
000014ed: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
0000150e: PUSH1 0x44
00001510: DUP3
00001511: ADD
00001512: MSTORE
00001513: PUSH1 0x64
00001515: ADD
00001516: PUSH2 0x0853
00001519: JUMP
0000151a: JUMPDEST
0000151b: PUSH1 0x02
0000151d: PUSH1 0x00
0000151f: SSTORE
00001520: JUMP
00001521: JUMPDEST
00001522: PUSH1 0x00
00001524: PUSH2 0x152b
00001527: PUSH2 0x1376
0000152a: JUMP
0000152b: JUMPDEST
0000152c: SWAP1
0000152d: POP
0000152e: PUSH1 0x06
00001530: SLOAD
00001531: DUP2
00001532: GT
00001533: ISZERO
00001534: PUSH2 0x0a36
00001537: JUMPI
00001538: PUSH1 0x06
0000153a: SSTORE
0000153b: JUMP
0000153c: JUMPDEST
0000153d: PUSH1 0x09
0000153f: SLOAD
00001540: PUSH1 0x06
00001542: SLOAD
00001543: EQ
00001544: PUSH2 0x155f
00001547: JUMPI
00001548: PUSH1 0x07
0000154a: SLOAD
0000154b: PUSH2 0x1555
0000154e: SWAP1
0000154f: PUSH1 0x01
00001551: PUSH2 0x22e6
00001554: JUMP
00001555: JUMPDEST
00001556: PUSH1 0x08
00001558: SSTORE
00001559: PUSH1 0x09
0000155b: SLOAD
0000155c: PUSH1 0x07
0000155e: SSTORE
0000155f: JUMPDEST
00001560: PUSH1 0x07
00001562: SLOAD
00001563: PUSH1 0x06
00001565: SLOAD
00001566: GT
00001567: DUP1
00001568: ISZERO
00001569: PUSH2 0x1593
0000156c: JUMPI
0000156d: POP
0000156e: PUSH1 0x16
00001570: PUSH1 0x00
00001572: PUSH1 0x07
00001574: SLOAD
00001575: PUSH1 0x01
00001577: PUSH2 0x1580
0000157a: SWAP2
0000157b: SWAP1
0000157c: PUSH2 0x22e6
0000157f: JUMP
00001580: JUMPDEST
00001581: DUP2
00001582: MSTORE
00001583: PUSH1 0x20
00001585: ADD
00001586: SWAP1
00001587: DUP2
00001588: MSTORE
00001589: PUSH1 0x20
0000158b: ADD
0000158c: PUSH1 0x00
0000158e: KECCAK256
0000158f: SLOAD
00001590: PUSH1 0x00
00001592: EQ
00001593: JUMPDEST
00001594: ISZERO
00001595: PUSH2 0x0c7e
00001598: JUMPI
00001599: PUSH1 0x07
0000159b: SLOAD
0000159c: PUSH1 0x00
0000159e: SWAP1
0000159f: DUP2
000015a0: MSTORE
000015a1: PUSH1 0x13
000015a3: PUSH1 0x20
000015a5: MSTORE
000015a6: PUSH1 0x40
000015a8: DUP2
000015a9: KECCAK256
000015aa: SLOAD
000015ab: ISZERO
000015ac: PUSH2 0x1609
000015af: JUMPI
000015b0: PUSH1 0x07
000015b2: SLOAD
000015b3: PUSH1 0x00
000015b5: SWAP1
000015b6: DUP2
000015b7: MSTORE
000015b8: PUSH1 0x13
000015ba: PUSH1 0x20
000015bc: SWAP1
000015bd: DUP2
000015be: MSTORE
000015bf: PUSH1 0x40
000015c1: DUP1
000015c2: DUP4
000015c3: KECCAK256
000015c4: SLOAD
000015c5: PUSH1 0x0b
000015c7: SLOAD
000015c8: PUSH1 0x15
000015ca: SWAP1
000015cb: SWAP4
000015cc: MSTORE
000015cd: SWAP3
000015ce: KECCAK256
000015cf: SLOAD
000015d0: PUSH12 0x1d6329f1c35ca4bfabb9f561
000015dd: PUSH1 0x28
000015df: SHL
000015e0: SWAP2
000015e1: PUSH2 0x15e9
000015e4: SWAP2
000015e5: PUSH2 0x22e6
000015e8: JUMP
000015e9: JUMPDEST
000015ea: PUSH2 0x15f3
000015ed: SWAP2
000015ee: SWAP1
000015ef: PUSH2 0x2312
000015f2: JUMP
000015f3: JUMPDEST
000015f4: PUSH2 0x15fd
000015f7: SWAP2
000015f8: SWAP1
000015f9: PUSH2 0x2342
000015fc: JUMP
000015fd: JUMPDEST
000015fe: PUSH1 0x00
00001600: PUSH1 0x0b
00001602: SSTORE
00001603: SWAP1
00001604: POP
00001605: PUSH2 0x163a
00001608: JUMP
00001609: JUMPDEST
0000160a: PUSH1 0x15
0000160c: PUSH1 0x00
0000160e: PUSH1 0x07
00001610: SLOAD
00001611: DUP2
00001612: MSTORE
00001613: PUSH1 0x20
00001615: ADD
00001616: SWAP1
00001617: DUP2
00001618: MSTORE
00001619: PUSH1 0x20
0000161b: ADD
0000161c: PUSH1 0x00
0000161e: KECCAK256
0000161f: SLOAD
00001620: PUSH1 0x0b
00001622: PUSH1 0x00
00001624: DUP3
00001625: DUP3
00001626: SLOAD
00001627: PUSH2 0x1630
0000162a: SWAP2
0000162b: SWAP1
0000162c: PUSH2 0x22e6
0000162f: JUMP
00001630: JUMPDEST
00001631: SWAP1
00001632: SWAP2
00001633: SSTORE
00001634: POP
00001635: PUSH1 0x00
00001637: SWAP2
00001638: POP
00001639: POP
0000163a: JUMPDEST
0000163b: PUSH1 0x08
0000163d: SLOAD
0000163e: PUSH1 0x00
00001640: SWAP1
00001641: DUP2
00001642: MSTORE
00001643: PUSH1 0x16
00001645: PUSH1 0x20
00001647: MSTORE
00001648: PUSH1 0x40
0000164a: SWAP1
0000164b: KECCAK256
0000164c: SLOAD
0000164d: PUSH2 0x1657
00001650: SWAP1
00001651: DUP3
00001652: SWAP1
00001653: PUSH2 0x22e6
00001656: JUMP
00001657: JUMPDEST
00001658: PUSH1 0x16
0000165a: PUSH1 0x00
0000165c: PUSH1 0x07
0000165e: SLOAD
0000165f: PUSH1 0x01
00001661: PUSH2 0x166a
00001664: SWAP2
00001665: SWAP1
00001666: PUSH2 0x22e6
00001669: JUMP
0000166a: JUMPDEST
0000166b: DUP2
0000166c: MSTORE
0000166d: PUSH1 0x20
0000166f: DUP2
00001670: ADD
00001671: SWAP2
00001672: SWAP1
00001673: SWAP2
00001674: MSTORE
00001675: PUSH1 0x40
00001677: ADD
00001678: PUSH1 0x00
0000167a: KECCAK256
0000167b: SSTORE
0000167c: POP
0000167d: JUMP
0000167e: JUMPDEST
0000167f: PUSH1 0x00
00001681: PUSH32 0x000000000000000000000000f3281221ba95af0c5bbcbd2474ce8c090233133b
000016a2: PUSH1 0x01
000016a4: PUSH1 0x01
000016a6: PUSH1 0xa0
000016a8: SHL
000016a9: SUB
000016aa: AND
000016ab: CALLER
000016ac: SUB
000016ad: PUSH2 0x16bd
000016b0: JUMPI
000016b1: POP
000016b2: PUSH1 0x13
000016b4: NOT
000016b5: CALLDATASIZE
000016b6: ADD
000016b7: CALLDATALOAD
000016b8: PUSH1 0x60
000016ba: SHR
000016bb: SWAP1
000016bc: JUMP
000016bd: JUMPDEST
000016be: POP
000016bf: CALLER
000016c0: SWAP1
000016c1: JUMP
000016c2: JUMPDEST
000016c3: PUSH1 0x01
000016c5: PUSH1 0x01
000016c7: PUSH1 0xa0
000016c9: SHL
000016ca: SUB
000016cb: DUP2
000016cc: AND
000016cd: PUSH1 0x00
000016cf: SWAP1
000016d0: DUP2
000016d1: MSTORE
000016d2: PUSH1 0x0f
000016d4: PUSH1 0x20
000016d6: MSTORE
000016d7: PUSH1 0x40
000016d9: SWAP1
000016da: KECCAK256
000016db: SLOAD
000016dc: PUSH1 0x06
000016de: SLOAD
000016df: GT
000016e0: DUP1
000016e1: ISZERO
000016e2: PUSH2 0x1702
000016e5: JUMPI
000016e6: POP
000016e7: PUSH1 0x01
000016e9: PUSH1 0x01
000016eb: PUSH1 0xa0
000016ed: SHL
000016ee: SUB
000016ef: DUP2
000016f0: AND
000016f1: PUSH1 0x00
000016f3: SWAP1
000016f4: DUP2
000016f5: MSTORE
000016f6: PUSH1 0x0d
000016f8: PUSH1 0x20
000016fa: MSTORE
000016fb: PUSH1 0x40
000016fd: SWAP1
000016fe: KECCAK256
000016ff: SLOAD
00001700: ISZERO
00001701: ISZERO
00001702: JUMPDEST
00001703: ISZERO
00001704: PUSH2 0x17a5
00001707: JUMPI
00001708: PUSH1 0x01
0000170a: PUSH1 0x01
0000170c: PUSH1 0xa0
0000170e: SHL
0000170f: SUB
00001710: DUP2
00001711: AND
00001712: PUSH1 0x00
00001714: DUP2
00001715: DUP2
00001716: MSTORE
00001717: PUSH1 0x0f
00001719: PUSH1 0x20
0000171b: SWAP1
0000171c: DUP2
0000171d: MSTORE
0000171e: PUSH1 0x40
00001720: DUP1
00001721: DUP4
00001722: KECCAK256
00001723: SLOAD
00001724: DUP4
00001725: MSTORE
00001726: PUSH1 0x0e
00001728: DUP3
00001729: MSTORE
0000172a: DUP1
0000172b: DUP4
0000172c: KECCAK256
0000172d: SLOAD
0000172e: PUSH1 0x12
00001730: DUP4
00001731: MSTORE
00001732: DUP2
00001733: DUP5
00001734: KECCAK256
00001735: SLOAD
00001736: SWAP5
00001737: DUP5
00001738: MSTORE
00001739: PUSH1 0x0d
0000173b: SWAP1
0000173c: SWAP3
0000173d: MSTORE
0000173e: DUP3
0000173f: KECCAK256
00001740: SLOAD
00001741: SWAP2
00001742: SWAP3
00001743: SWAP1
00001744: SWAP2
00001745: PUSH2 0x174e
00001748: SWAP2
00001749: SWAP1
0000174a: PUSH2 0x2312
0000174d: JUMP
0000174e: JUMPDEST
0000174f: PUSH2 0x1758
00001752: SWAP2
00001753: SWAP1
00001754: PUSH2 0x2342
00001757: JUMP
00001758: JUMPDEST
00001759: PUSH1 0x01
0000175b: PUSH1 0x01
0000175d: PUSH1 0xa0
0000175f: SHL
00001760: SUB
00001761: DUP4
00001762: AND
00001763: PUSH1 0x00
00001765: SWAP1
00001766: DUP2
00001767: MSTORE
00001768: PUSH1 0x10
0000176a: PUSH1 0x20
0000176c: MSTORE
0000176d: PUSH1 0x40
0000176f: DUP2
00001770: KECCAK256
00001771: DUP1
00001772: SLOAD
00001773: SWAP3
00001774: SWAP4
00001775: POP
00001776: DUP4
00001777: SWAP3
00001778: SWAP1
00001779: SWAP2
0000177a: SWAP1
0000177b: PUSH2 0x1785
0000177e: SWAP1
0000177f: DUP5
00001780: SWAP1
00001781: PUSH2 0x22e6
00001784: JUMP
00001785: JUMPDEST
00001786: SWAP1
00001787: SWAP2
00001788: SSTORE
00001789: POP
0000178a: POP
0000178b: POP
0000178c: PUSH1 0x01
0000178e: PUSH1 0x01
00001790: PUSH1 0xa0
00001792: SHL
00001793: SUB
00001794: DUP2
00001795: AND
00001796: PUSH1 0x00
00001798: SWAP1
00001799: DUP2
0000179a: MSTORE
0000179b: PUSH1 0x0d
0000179d: PUSH1 0x20
0000179f: MSTORE
000017a0: PUSH1 0x40
000017a2: DUP2
000017a3: KECCAK256
000017a4: SSTORE
000017a5: JUMPDEST
000017a6: PUSH1 0x07
000017a8: SLOAD
000017a9: PUSH1 0x06
000017ab: SLOAD
000017ac: GT
000017ad: DUP1
000017ae: ISZERO
000017af: PUSH2 0x17dd
000017b2: JUMPI
000017b3: POP
000017b4: PUSH1 0x07
000017b6: SLOAD
000017b7: PUSH2 0x17c1
000017ba: SWAP1
000017bb: PUSH1 0x01
000017bd: PUSH2 0x22e6
000017c0: JUMP
000017c1: JUMPDEST
000017c2: PUSH1 0x01
000017c4: PUSH1 0x01
000017c6: PUSH1 0xa0
000017c8: SHL
000017c9: SUB
000017ca: DUP3
000017cb: AND
000017cc: PUSH1 0x00
000017ce: SWAP1
000017cf: DUP2
000017d0: MSTORE
000017d1: PUSH1 0x14
000017d3: PUSH1 0x20
000017d5: MSTORE
000017d6: PUSH1 0x40
000017d8: SWAP1
000017d9: KECCAK256
000017da: SLOAD
000017db: EQ
000017dc: ISZERO
000017dd: JUMPDEST
000017de: ISZERO
000017df: PUSH2 0x18d6
000017e2: JUMPI
000017e3: PUSH1 0x01
000017e5: PUSH1 0x01
000017e7: PUSH1 0xa0
000017e9: SHL
000017ea: SUB
000017eb: DUP2
000017ec: AND
000017ed: PUSH1 0x00
000017ef: SWAP1
000017f0: DUP2
000017f1: MSTORE
000017f2: PUSH1 0x14
000017f4: PUSH1 0x20
000017f6: SWAP1
000017f7: DUP2
000017f8: MSTORE
000017f9: PUSH1 0x40
000017fb: DUP1
000017fc: DUP4
000017fd: KECCAK256
000017fe: SLOAD
000017ff: DUP4
00001800: MSTORE
00001801: PUSH1 0x16
00001803: SWAP2
00001804: DUP3
00001805: SWAP1
00001806: MSTORE
00001807: DUP3
00001808: KECCAK256
00001809: SLOAD
0000180a: PUSH1 0x07
0000180c: SLOAD
0000180d: PUSH12 0x1d6329f1c35ca4bfabb9f561
0000181a: PUSH1 0x28
0000181c: SHL
0000181d: SWAP4
0000181e: SWAP2
0000181f: SWAP3
00001820: SWAP2
00001821: SWAP1
00001822: PUSH2 0x182c
00001825: SWAP1
00001826: PUSH1 0x01
00001828: PUSH2 0x22e6
0000182b: JUMP
0000182c: JUMPDEST
0000182d: DUP2
0000182e: MSTORE
0000182f: PUSH1 0x20
00001831: ADD
00001832: SWAP1
00001833: DUP2
00001834: MSTORE
00001835: PUSH1 0x20
00001837: ADD
00001838: PUSH1 0x00
0000183a: KECCAK256
0000183b: SLOAD
0000183c: PUSH2 0x1845
0000183f: SWAP2
00001840: SWAP1
00001841: PUSH2 0x22ff
00001844: JUMP
00001845: JUMPDEST
00001846: PUSH1 0x01
00001848: PUSH1 0x01
0000184a: PUSH1 0xa0
0000184c: SHL
0000184d: SUB
0000184e: DUP4
0000184f: AND
00001850: PUSH1 0x00
00001852: SWAP1
00001853: DUP2
00001854: MSTORE
00001855: PUSH1 0x10
00001857: PUSH1 0x20
00001859: MSTORE
0000185a: PUSH1 0x40
0000185c: SWAP1
0000185d: KECCAK256
0000185e: SLOAD
0000185f: PUSH2 0x1868
00001862: SWAP2
00001863: SWAP1
00001864: PUSH2 0x2312
00001867: JUMP
00001868: JUMPDEST
00001869: PUSH2 0x1872
0000186c: SWAP2
0000186d: SWAP1
0000186e: PUSH2 0x2342
00001871: JUMP
00001872: JUMPDEST
00001873: PUSH1 0x01
00001875: PUSH1 0x01
00001877: PUSH1 0xa0
00001879: SHL
0000187a: SUB
0000187b: DUP3
0000187c: AND
0000187d: PUSH1 0x00
0000187f: SWAP1
00001880: DUP2
00001881: MSTORE
00001882: PUSH1 0x11
00001884: PUSH1 0x20
00001886: MSTORE
00001887: PUSH1 0x40
00001889: SWAP1
0000188a: KECCAK256
0000188b: SLOAD
0000188c: PUSH2 0x1895
0000188f: SWAP2
00001890: SWAP1
00001891: PUSH2 0x22e6
00001894: JUMP
00001895: JUMPDEST
00001896: PUSH1 0x01
00001898: PUSH1 0x01
0000189a: PUSH1 0xa0
0000189c: SHL
0000189d: SUB
0000189e: DUP3
0000189f: AND
000018a0: PUSH1 0x00
000018a2: SWAP1
000018a3: DUP2
000018a4: MSTORE
000018a5: PUSH1 0x11
000018a7: PUSH1 0x20
000018a9: MSTORE
000018aa: PUSH1 0x40
000018ac: SWAP1
000018ad: KECCAK256
000018ae: SSTORE
000018af: PUSH1 0x07
000018b1: SLOAD
000018b2: PUSH2 0x18bc
000018b5: SWAP1
000018b6: PUSH1 0x01
000018b8: PUSH2 0x22e6
000018bb: JUMP
000018bc: JUMPDEST
000018bd: PUSH1 0x01
000018bf: PUSH1 0x01
000018c1: PUSH1 0xa0
000018c3: SHL
000018c4: SUB
000018c5: DUP3
000018c6: AND
000018c7: PUSH1 0x00
000018c9: SWAP1
000018ca: DUP2
000018cb: MSTORE
000018cc: PUSH1 0x14
000018ce: PUSH1 0x20
000018d0: MSTORE
000018d1: PUSH1 0x40
000018d3: SWAP1
000018d4: KECCAK256
000018d5: SSTORE
000018d6: JUMPDEST
000018d7: PUSH1 0x01
000018d9: PUSH1 0x01
000018db: PUSH1 0xa0
000018dd: SHL
000018de: SUB
000018df: DUP2
000018e0: AND
000018e1: PUSH1 0x00
000018e3: SWAP1
000018e4: DUP2
000018e5: MSTORE
000018e6: PUSH1 0x19
000018e8: PUSH1 0x20
000018ea: MSTORE
000018eb: PUSH1 0x40
000018ed: SWAP1
000018ee: KECCAK256
000018ef: SLOAD
000018f0: ISZERO
000018f1: DUP1
000018f2: ISZERO
000018f3: SWAP1
000018f4: PUSH2 0x1916
000018f7: JUMPI
000018f8: POP
000018f9: PUSH1 0x01
000018fb: PUSH1 0x01
000018fd: PUSH1 0xa0
000018ff: SHL
00001900: SUB
00001901: DUP2
00001902: AND
00001903: PUSH1 0x00
00001905: SWAP1
00001906: DUP2
00001907: MSTORE
00001908: PUSH1 0x19
0000190a: PUSH1 0x20
0000190c: MSTORE
0000190d: PUSH1 0x40
0000190f: SWAP1
00001910: KECCAK256
00001911: SLOAD
00001912: PUSH1 0x06
00001914: SLOAD
00001915: GT
00001916: JUMPDEST
00001917: ISZERO
00001918: PUSH2 0x0a36
0000191b: JUMPI
0000191c: PUSH1 0x01
0000191e: PUSH1 0x01
00001920: PUSH1 0xa0
00001922: SHL
00001923: SUB
00001924: DUP2
00001925: AND
00001926: PUSH1 0x00
00001928: DUP2
00001929: DUP2
0000192a: MSTORE
0000192b: PUSH1 0x17
0000192d: PUSH1 0x20
0000192f: SWAP1
00001930: DUP2
00001931: MSTORE
00001932: PUSH1 0x40
00001934: DUP1
00001935: DUP4
00001936: KECCAK256
00001937: PUSH1 0x19
00001939: DUP4
0000193a: MSTORE
0000193b: DUP2
0000193c: DUP5
0000193d: KECCAK256
0000193e: SLOAD
0000193f: DUP5
00001940: MSTORE
00001941: DUP3
00001942: MSTORE
00001943: DUP1
00001944: DUP4
00001945: KECCAK256
00001946: SLOAD
00001947: SWAP4
00001948: DUP4
00001949: MSTORE
0000194a: PUSH1 0x10
0000194c: SWAP1
0000194d: SWAP2
0000194e: MSTORE
0000194f: DUP2
00001950: KECCAK256
00001951: DUP1
00001952: SLOAD
00001953: DUP4
00001954: SWAP3
00001955: SWAP1
00001956: PUSH2 0x1960
00001959: SWAP1
0000195a: DUP5
0000195b: SWAP1
0000195c: PUSH2 0x22e6
0000195f: JUMP
00001960: JUMPDEST
00001961: SWAP1
00001962: SWAP2
00001963: SSTORE
00001964: POP
00001965: POP
00001966: PUSH1 0x01
00001968: PUSH1 0x01
0000196a: PUSH1 0xa0
0000196c: SHL
0000196d: SUB
0000196e: DUP3
0000196f: AND
00001970: PUSH1 0x00
00001972: SWAP1
00001973: DUP2
00001974: MSTORE
00001975: PUSH1 0x18
00001977: PUSH1 0x20
00001979: MSTORE
0000197a: PUSH1 0x40
0000197c: DUP2
0000197d: KECCAK256
0000197e: DUP1
0000197f: SLOAD
00001980: DUP4
00001981: SWAP3
00001982: SWAP1
00001983: PUSH2 0x198d
00001986: SWAP1
00001987: DUP5
00001988: SWAP1
00001989: PUSH2 0x22e6
0000198c: JUMP
0000198d: JUMPDEST
0000198e: SWAP1
0000198f: SWAP2
00001990: SSTORE
00001991: POP
00001992: POP
00001993: PUSH1 0x01
00001995: PUSH1 0x01
00001997: PUSH1 0xa0
00001999: SHL
0000199a: SUB
0000199b: DUP3
0000199c: AND
0000199d: PUSH1 0x00
0000199f: SWAP1
000019a0: DUP2
000019a1: MSTORE
000019a2: PUSH1 0x19
000019a4: PUSH1 0x20
000019a6: MSTORE
000019a7: PUSH1 0x40
000019a9: SWAP1
000019aa: KECCAK256
000019ab: SLOAD
000019ac: PUSH1 0x07
000019ae: SLOAD
000019af: PUSH2 0x19b9
000019b2: SWAP1
000019b3: PUSH1 0x01
000019b5: PUSH2 0x22e6
000019b8: JUMP
000019b9: JUMPDEST
000019ba: GT
000019bb: ISZERO
000019bc: PUSH2 0x1a9e
000019bf: JUMPI
000019c0: PUSH1 0x01
000019c2: PUSH1 0x01
000019c4: PUSH1 0xa0
000019c6: SHL
000019c7: SUB
000019c8: DUP3
000019c9: AND
000019ca: PUSH1 0x00
000019cc: SWAP1
000019cd: DUP2
000019ce: MSTORE
000019cf: PUSH1 0x19
000019d1: PUSH1 0x20
000019d3: SWAP1
000019d4: DUP2
000019d5: MSTORE
000019d6: PUSH1 0x40
000019d8: DUP1
000019d9: DUP4
000019da: KECCAK256
000019db: SLOAD
000019dc: DUP4
000019dd: MSTORE
000019de: PUSH1 0x16
000019e0: SWAP2
000019e1: DUP3
000019e2: SWAP1
000019e3: MSTORE
000019e4: DUP3
000019e5: KECCAK256
000019e6: SLOAD
000019e7: PUSH1 0x07
000019e9: SLOAD
000019ea: PUSH12 0x1d6329f1c35ca4bfabb9f561
000019f7: PUSH1 0x28
000019f9: SHL
000019fa: SWAP4
000019fb: SWAP2
000019fc: SWAP3
000019fd: SWAP2
000019fe: SWAP1
000019ff: PUSH2 0x1a09
00001a02: SWAP1
00001a03: PUSH1 0x01
00001a05: PUSH2 0x22e6
00001a08: JUMP
00001a09: JUMPDEST
00001a0a: DUP2
00001a0b: MSTORE
00001a0c: PUSH1 0x20
00001a0e: ADD
00001a0f: SWAP1
00001a10: DUP2
00001a11: MSTORE
00001a12: PUSH1 0x20
00001a14: ADD
00001a15: PUSH1 0x00
00001a17: KECCAK256
00001a18: SLOAD
00001a19: PUSH2 0x1a22
00001a1c: SWAP2
00001a1d: SWAP1
00001a1e: PUSH2 0x22ff
00001a21: JUMP
00001a22: JUMPDEST
00001a23: PUSH1 0x01
00001a25: PUSH1 0x01
00001a27: PUSH1 0xa0
00001a29: SHL
00001a2a: SUB
00001a2b: DUP5
00001a2c: AND
00001a2d: PUSH1 0x00
00001a2f: SWAP1
00001a30: DUP2
00001a31: MSTORE
00001a32: PUSH1 0x17
00001a34: PUSH1 0x20
00001a36: SWAP1
00001a37: DUP2
00001a38: MSTORE
00001a39: PUSH1 0x40
00001a3b: DUP1
00001a3c: DUP4
00001a3d: KECCAK256
00001a3e: PUSH1 0x19
00001a40: DUP4
00001a41: MSTORE
00001a42: DUP2
00001a43: DUP5
00001a44: KECCAK256
00001a45: SLOAD
00001a46: DUP5
00001a47: MSTORE
00001a48: SWAP1
00001a49: SWAP2
00001a4a: MSTORE
00001a4b: SWAP1
00001a4c: KECCAK256
00001a4d: SLOAD
00001a4e: PUSH2 0x1a57
00001a51: SWAP2
00001a52: SWAP1
00001a53: PUSH2 0x2312
00001a56: JUMP
00001a57: JUMPDEST
00001a58: PUSH2 0x1a61
00001a5b: SWAP2
00001a5c: SWAP1
00001a5d: PUSH2 0x2342
00001a60: JUMP
00001a61: JUMPDEST
00001a62: PUSH1 0x01
00001a64: PUSH1 0x01
00001a66: PUSH1 0xa0
00001a68: SHL
00001a69: SUB
00001a6a: DUP4
00001a6b: AND
00001a6c: PUSH1 0x00
00001a6e: SWAP1
00001a6f: DUP2
00001a70: MSTORE
00001a71: PUSH1 0x11
00001a73: PUSH1 0x20
00001a75: MSTORE
00001a76: PUSH1 0x40
00001a78: SWAP1
00001a79: KECCAK256
00001a7a: SLOAD
00001a7b: PUSH2 0x1a84
00001a7e: SWAP2
00001a7f: SWAP1
00001a80: PUSH2 0x22e6
00001a83: JUMP
00001a84: JUMPDEST
00001a85: PUSH1 0x01
00001a87: PUSH1 0x01
00001a89: PUSH1 0xa0
00001a8b: SHL
00001a8c: SUB
00001a8d: DUP4
00001a8e: AND
00001a8f: PUSH1 0x00
00001a91: SWAP1
00001a92: DUP2
00001a93: MSTORE
00001a94: PUSH1 0x11
00001a96: PUSH1 0x20
00001a98: MSTORE
00001a99: PUSH1 0x40
00001a9b: SWAP1
00001a9c: KECCAK256
00001a9d: SSTORE
00001a9e: JUMPDEST
00001a9f: PUSH1 0x01
00001aa1: PUSH1 0x01
00001aa3: PUSH1 0xa0
00001aa5: SHL
00001aa6: SUB
00001aa7: DUP3
00001aa8: AND
00001aa9: PUSH1 0x00
00001aab: DUP2
00001aac: DUP2
00001aad: MSTORE
00001aae: PUSH1 0x17
00001ab0: PUSH1 0x20
00001ab2: SWAP1
00001ab3: DUP2
00001ab4: MSTORE
00001ab5: PUSH1 0x40
00001ab7: DUP1
00001ab8: DUP4
00001ab9: KECCAK256
00001aba: PUSH1 0x19
00001abc: DUP4
00001abd: MSTORE
00001abe: DUP2
00001abf: DUP5
00001ac0: KECCAK256
00001ac1: DUP1
00001ac2: SLOAD
00001ac3: DUP6
00001ac4: MSTORE
00001ac5: SWAP1
00001ac6: DUP4
00001ac7: MSTORE
00001ac8: DUP2
00001ac9: DUP5
00001aca: KECCAK256
00001acb: DUP5
00001acc: SWAP1
00001acd: SSTORE
00001ace: SWAP4
00001acf: DUP4
00001ad0: MSTORE
00001ad1: SWAP3
00001ad2: DUP3
00001ad3: SWAP1
00001ad4: SSTORE
00001ad5: PUSH1 0x1a
00001ad7: SWAP1
00001ad8: MSTORE
00001ad9: KECCAK256
00001ada: SLOAD
00001adb: ISZERO
00001adc: PUSH2 0x1ceb
00001adf: JUMPI
00001ae0: PUSH1 0x01
00001ae2: PUSH1 0x01
00001ae4: PUSH1 0xa0
00001ae6: SHL
00001ae7: SUB
00001ae8: DUP3
00001ae9: AND
00001aea: PUSH1 0x00
00001aec: SWAP1
00001aed: DUP2
00001aee: MSTORE
00001aef: PUSH1 0x1a
00001af1: PUSH1 0x20
00001af3: MSTORE
00001af4: PUSH1 0x40
00001af6: SWAP1
00001af7: KECCAK256
00001af8: SLOAD
00001af9: PUSH1 0x06
00001afb: SLOAD
00001afc: GT
00001afd: ISZERO
00001afe: PUSH2 0x1cbe
00001b01: JUMPI
00001b02: PUSH1 0x01
00001b04: PUSH1 0x01
00001b06: PUSH1 0xa0
00001b08: SHL
00001b09: SUB
00001b0a: DUP3
00001b0b: AND
00001b0c: PUSH1 0x00
00001b0e: DUP2
00001b0f: DUP2
00001b10: MSTORE
00001b11: PUSH1 0x17
00001b13: PUSH1 0x20
00001b15: SWAP1
00001b16: DUP2
00001b17: MSTORE
00001b18: PUSH1 0x40
00001b1a: DUP1
00001b1b: DUP4
00001b1c: KECCAK256
00001b1d: PUSH1 0x1a
00001b1f: DUP4
00001b20: MSTORE
00001b21: DUP2
00001b22: DUP5
00001b23: KECCAK256
00001b24: SLOAD
00001b25: DUP5
00001b26: MSTORE
00001b27: DUP3
00001b28: MSTORE
00001b29: DUP1
00001b2a: DUP4
00001b2b: KECCAK256
00001b2c: SLOAD
00001b2d: SWAP4
00001b2e: DUP4
00001b2f: MSTORE
00001b30: PUSH1 0x10
00001b32: SWAP1
00001b33: SWAP2
00001b34: MSTORE
00001b35: DUP2
00001b36: KECCAK256
00001b37: DUP1
00001b38: SLOAD
00001b39: DUP4
00001b3a: SWAP3
00001b3b: SWAP1
00001b3c: PUSH2 0x1b46
00001b3f: SWAP1
00001b40: DUP5
00001b41: SWAP1
00001b42: PUSH2 0x22e6
00001b45: JUMP
00001b46: JUMPDEST
00001b47: SWAP1
00001b48: SWAP2
00001b49: SSTORE
00001b4a: POP
00001b4b: POP
00001b4c: PUSH1 0x01
00001b4e: PUSH1 0x01
00001b50: PUSH1 0xa0
00001b52: SHL
00001b53: SUB
00001b54: DUP4
00001b55: AND
00001b56: PUSH1 0x00
00001b58: SWAP1
00001b59: DUP2
00001b5a: MSTORE
00001b5b: PUSH1 0x18
00001b5d: PUSH1 0x20
00001b5f: MSTORE
00001b60: PUSH1 0x40
00001b62: DUP2
00001b63: KECCAK256
00001b64: DUP1
00001b65: SLOAD
00001b66: DUP4
00001b67: SWAP3
00001b68: SWAP1
00001b69: PUSH2 0x1b73
00001b6c: SWAP1
00001b6d: DUP5
00001b6e: SWAP1
00001b6f: PUSH2 0x22e6
00001b72: JUMP
00001b73: JUMPDEST
00001b74: SWAP1
00001b75: SWAP2
00001b76: SSTORE
00001b77: POP
00001b78: POP
00001b79: PUSH1 0x01
00001b7b: PUSH1 0x01
00001b7d: PUSH1 0xa0
00001b7f: SHL
00001b80: SUB
00001b81: DUP4
00001b82: AND
00001b83: PUSH1 0x00
00001b85: SWAP1
00001b86: DUP2
00001b87: MSTORE
00001b88: PUSH1 0x1a
00001b8a: PUSH1 0x20
00001b8c: MSTORE
00001b8d: PUSH1 0x40
00001b8f: SWAP1
00001b90: KECCAK256
00001b91: SLOAD
00001b92: PUSH1 0x07
00001b94: SLOAD
00001b95: PUSH2 0x1b9f
00001b98: SWAP1
00001b99: PUSH1 0x01
00001b9b: PUSH2 0x22e6
00001b9e: JUMP
00001b9f: JUMPDEST
00001ba0: GT
00001ba1: ISZERO
00001ba2: PUSH2 0x1c84
00001ba5: JUMPI
00001ba6: PUSH1 0x01
00001ba8: PUSH1 0x01
00001baa: PUSH1 0xa0
00001bac: SHL
00001bad: SUB
00001bae: DUP4
00001baf: AND
00001bb0: PUSH1 0x00
00001bb2: SWAP1
00001bb3: DUP2
00001bb4: MSTORE
00001bb5: PUSH1 0x1a
00001bb7: PUSH1 0x20
00001bb9: SWAP1
00001bba: DUP2
00001bbb: MSTORE
00001bbc: PUSH1 0x40
00001bbe: DUP1
00001bbf: DUP4
00001bc0: KECCAK256
00001bc1: SLOAD
00001bc2: DUP4
00001bc3: MSTORE
00001bc4: PUSH1 0x16
00001bc6: SWAP2
00001bc7: DUP3
00001bc8: SWAP1
00001bc9: MSTORE
00001bca: DUP3
00001bcb: KECCAK256
00001bcc: SLOAD
00001bcd: PUSH1 0x07
00001bcf: SLOAD
00001bd0: PUSH12 0x1d6329f1c35ca4bfabb9f561
00001bdd: PUSH1 0x28
00001bdf: SHL
00001be0: SWAP4
00001be1: SWAP2
00001be2: SWAP3
00001be3: SWAP2
00001be4: SWAP1
00001be5: PUSH2 0x1bef
00001be8: SWAP1
00001be9: PUSH1 0x01
00001beb: PUSH2 0x22e6
00001bee: JUMP
00001bef: JUMPDEST
00001bf0: DUP2
00001bf1: MSTORE
00001bf2: PUSH1 0x20
00001bf4: ADD
00001bf5: SWAP1
00001bf6: DUP2
00001bf7: MSTORE
00001bf8: PUSH1 0x20
00001bfa: ADD
00001bfb: PUSH1 0x00
00001bfd: KECCAK256
00001bfe: SLOAD
00001bff: PUSH2 0x1c08
00001c02: SWAP2
00001c03: SWAP1
00001c04: PUSH2 0x22ff
00001c07: JUMP
00001c08: JUMPDEST
00001c09: PUSH1 0x01
00001c0b: PUSH1 0x01
00001c0d: PUSH1 0xa0
00001c0f: SHL
00001c10: SUB
00001c11: DUP6
00001c12: AND
00001c13: PUSH1 0x00
00001c15: SWAP1
00001c16: DUP2
00001c17: MSTORE
00001c18: PUSH1 0x17
00001c1a: PUSH1 0x20
00001c1c: SWAP1
00001c1d: DUP2
00001c1e: MSTORE
00001c1f: PUSH1 0x40
00001c21: DUP1
00001c22: DUP4
00001c23: KECCAK256
00001c24: PUSH1 0x1a
00001c26: DUP4
00001c27: MSTORE
00001c28: DUP2
00001c29: DUP5
00001c2a: KECCAK256
00001c2b: SLOAD
00001c2c: DUP5
00001c2d: MSTORE
00001c2e: SWAP1
00001c2f: SWAP2
00001c30: MSTORE
00001c31: SWAP1
00001c32: KECCAK256
00001c33: SLOAD
00001c34: PUSH2 0x1c3d
00001c37: SWAP2
00001c38: SWAP1
00001c39: PUSH2 0x2312
00001c3c: JUMP
00001c3d: JUMPDEST
00001c3e: PUSH2 0x1c47
00001c41: SWAP2
00001c42: SWAP1
00001c43: PUSH2 0x2342
00001c46: JUMP
00001c47: JUMPDEST
00001c48: PUSH1 0x01
00001c4a: PUSH1 0x01
00001c4c: PUSH1 0xa0
00001c4e: SHL
00001c4f: SUB
00001c50: DUP5
00001c51: AND
00001c52: PUSH1 0x00
00001c54: SWAP1
00001c55: DUP2
00001c56: MSTORE
00001c57: PUSH1 0x11
00001c59: PUSH1 0x20
00001c5b: MSTORE
00001c5c: PUSH1 0x40
00001c5e: SWAP1
00001c5f: KECCAK256
00001c60: SLOAD
00001c61: PUSH2 0x1c6a
00001c64: SWAP2
00001c65: SWAP1
00001c66: PUSH2 0x22e6
00001c69: JUMP
00001c6a: JUMPDEST
00001c6b: PUSH1 0x01
00001c6d: PUSH1 0x01
00001c6f: PUSH1 0xa0
00001c71: SHL
00001c72: SUB
00001c73: DUP5
00001c74: AND
00001c75: PUSH1 0x00
00001c77: SWAP1
00001c78: DUP2
00001c79: MSTORE
00001c7a: PUSH1 0x11
00001c7c: PUSH1 0x20
00001c7e: MSTORE
00001c7f: PUSH1 0x40
00001c81: SWAP1
00001c82: KECCAK256
00001c83: SSTORE
00001c84: JUMPDEST
00001c85: POP
00001c86: POP
00001c87: PUSH1 0x01
00001c89: PUSH1 0x01
00001c8b: PUSH1 0xa0
00001c8d: SHL
00001c8e: SUB
00001c8f: AND
00001c90: PUSH1 0x00
00001c92: DUP2
00001c93: DUP2
00001c94: MSTORE
00001c95: PUSH1 0x17
00001c97: PUSH1 0x20
00001c99: SWAP1
00001c9a: DUP2
00001c9b: MSTORE
00001c9c: PUSH1 0x40
00001c9e: DUP1
00001c9f: DUP4
00001ca0: KECCAK256
00001ca1: PUSH1 0x1a
00001ca3: DUP1
00001ca4: DUP5
00001ca5: MSTORE
00001ca6: DUP3
00001ca7: DUP6
00001ca8: KECCAK256
00001ca9: DUP1
00001caa: SLOAD
00001cab: DUP7
00001cac: MSTORE
00001cad: SWAP2
00001cae: DUP5
00001caf: MSTORE
00001cb0: SWAP2
00001cb1: DUP5
00001cb2: KECCAK256
00001cb3: DUP5
00001cb4: SWAP1
00001cb5: SSTORE
00001cb6: SWAP4
00001cb7: DUP4
00001cb8: MSTORE
00001cb9: SWAP1
00001cba: MSTORE
00001cbb: SWAP1
00001cbc: SSTORE
00001cbd: JUMP
00001cbe: JUMPDEST
00001cbf: PUSH1 0x01
00001cc1: PUSH1 0x01
00001cc3: PUSH1 0xa0
00001cc5: SHL
00001cc6: SUB
00001cc7: DUP3
00001cc8: AND
00001cc9: PUSH1 0x00
00001ccb: SWAP1
00001ccc: DUP2
00001ccd: MSTORE
00001cce: PUSH1 0x1a
00001cd0: PUSH1 0x20
00001cd2: DUP2
00001cd3: DUP2
00001cd4: MSTORE
00001cd5: PUSH1 0x40
00001cd7: DUP1
00001cd8: DUP5
00001cd9: KECCAK256
00001cda: DUP1
00001cdb: SLOAD
00001cdc: PUSH1 0x19
00001cde: DUP5
00001cdf: MSTORE
00001ce0: SWAP2
00001ce1: DUP6
00001ce2: KECCAK256
00001ce3: SWAP2
00001ce4: SWAP1
00001ce5: SWAP2
00001ce6: SSTORE
00001ce7: SWAP2
00001ce8: SWAP1
00001ce9: MSTORE
00001cea: SSTORE
00001ceb: JUMPDEST
00001cec: POP
00001ced: POP
00001cee: JUMP
00001cef: JUMPDEST
00001cf0: PUSH1 0x40
00001cf2: MLOAD
00001cf3: PUSH1 0x01
00001cf5: PUSH1 0x01
00001cf7: PUSH1 0xa0
00001cf9: SHL
00001cfa: SUB
00001cfb: DUP4
00001cfc: AND
00001cfd: PUSH1 0x24
00001cff: DUP3
00001d00: ADD
00001d01: MSTORE
00001d02: PUSH1 0x44
00001d04: DUP2
00001d05: ADD
00001d06: DUP3
00001d07: SWAP1
00001d08: MSTORE
00001d09: PUSH2 0x1d52
00001d0c: SWAP1
00001d0d: DUP5
00001d0e: SWAP1
00001d0f: PUSH4 0xa9059cbb
00001d14: PUSH1 0xe0
00001d16: SHL
00001d17: SWAP1
00001d18: PUSH1 0x64
00001d1a: ADD
00001d1b: JUMPDEST
00001d1c: PUSH1 0x40
00001d1e: DUP1
00001d1f: MLOAD
00001d20: PUSH1 0x1f
00001d22: NOT
00001d23: DUP2
00001d24: DUP5
00001d25: SUB
00001d26: ADD
00001d27: DUP2
00001d28: MSTORE
00001d29: SWAP2
00001d2a: SWAP1
00001d2b: MSTORE
00001d2c: PUSH1 0x20
00001d2e: DUP2
00001d2f: ADD
00001d30: DUP1
00001d31: MLOAD
00001d32: PUSH1 0x01
00001d34: PUSH1 0x01
00001d36: PUSH1 0xe0
00001d38: SHL
00001d39: SUB
00001d3a: AND
00001d3b: PUSH1 0x01
00001d3d: PUSH1 0x01
00001d3f: PUSH1 0xe0
00001d41: SHL
00001d42: SUB
00001d43: NOT
00001d44: SWAP1
00001d45: SWAP4
00001d46: AND
00001d47: SWAP3
00001d48: SWAP1
00001d49: SWAP3
00001d4a: OR
00001d4b: SWAP1
00001d4c: SWAP2
00001d4d: MSTORE
00001d4e: PUSH2 0x1f94
00001d51: JUMP
00001d52: JUMPDEST
00001d53: POP
00001d54: POP
00001d55: POP
00001d56: JUMP
00001d57: JUMPDEST
00001d58: PUSH1 0x06
00001d5a: SLOAD
00001d5b: PUSH1 0x00
00001d5d: SWAP1
00001d5e: DUP2
00001d5f: MSTORE
00001d60: PUSH1 0x12
00001d62: PUSH1 0x20
00001d64: MSTORE
00001d65: PUSH1 0x40
00001d67: DUP2
00001d68: KECCAK256
00001d69: SLOAD
00001d6a: SWAP1
00001d6b: SUB
00001d6c: PUSH2 0x0c7e
00001d6f: JUMPI
00001d70: PUSH1 0x03
00001d72: SLOAD
00001d73: PUSH1 0x04
00001d75: DUP2
00001d76: SWAP1
00001d77: SSTORE
00001d78: PUSH1 0x00
00001d7a: SWAP1
00001d7b: PUSH2 0x2724
00001d7e: SWAP1
00001d7f: PUSH2 0x1d8a
00001d82: SWAP1
00001d83: PUSH2 0x2710
00001d86: PUSH2 0x2312
00001d89: JUMP
00001d8a: JUMPDEST
00001d8b: PUSH2 0x1d94
00001d8e: SWAP2
00001d8f: SWAP1
00001d90: PUSH2 0x2342
00001d93: JUMP
00001d94: JUMPDEST
00001d95: PUSH1 0x03
00001d97: DUP2
00001d98: SWAP1
00001d99: SSTORE
00001d9a: PUSH1 0x06
00001d9c: DUP1
00001d9d: SLOAD
00001d9e: PUSH1 0x00
00001da0: SWAP1
00001da1: DUP2
00001da2: MSTORE
00001da3: PUSH1 0x12
00001da5: PUSH1 0x20
00001da7: SWAP1
00001da8: DUP2
00001da9: MSTORE
00001daa: PUSH1 0x40
00001dac: DUP1
00001dad: DUP4
00001dae: KECCAK256
00001daf: DUP6
00001db0: SWAP1
00001db1: SSTORE
00001db2: SWAP3
00001db3: SLOAD
00001db4: PUSH1 0x09
00001db6: SSTORE
00001db7: PUSH1 0x07
00001db9: SLOAD
00001dba: DUP3
00001dbb: MSTORE
00001dbc: PUSH1 0x13
00001dbe: SWAP1
00001dbf: MSTORE
00001dc0: KECCAK256
00001dc1: SLOAD
00001dc2: SWAP1
00001dc3: SWAP2
00001dc4: POP
00001dc5: PUSH2 0x1dcf
00001dc8: SWAP1
00001dc9: DUP3
00001dca: SWAP1
00001dcb: PUSH2 0x22e6
00001dce: JUMP
00001dcf: JUMPDEST
00001dd0: PUSH1 0x09
00001dd2: SLOAD
00001dd3: PUSH1 0x00
00001dd5: SWAP1
00001dd6: DUP2
00001dd7: MSTORE
00001dd8: PUSH1 0x13
00001dda: PUSH1 0x20
00001ddc: MSTORE
00001ddd: PUSH1 0x40
00001ddf: DUP2
00001de0: KECCAK256
00001de1: DUP1
00001de2: SLOAD
00001de3: SWAP1
00001de4: SWAP2
00001de5: SWAP1
00001de6: PUSH2 0x1df0
00001de9: SWAP1
00001dea: DUP5
00001deb: SWAP1
00001dec: PUSH2 0x22e6
00001def: JUMP
00001df0: JUMPDEST
00001df1: SWAP1
00001df2: SWAP2
00001df3: SSTORE
00001df4: POP
00001df5: POP
00001df6: PUSH1 0x05
00001df8: SLOAD
00001df9: ISZERO
00001dfa: PUSH2 0x1e2c
00001dfd: JUMPI
00001dfe: PUSH1 0x05
00001e00: SLOAD
00001e01: PUSH1 0x09
00001e03: SLOAD
00001e04: PUSH1 0x00
00001e06: SWAP1
00001e07: DUP2
00001e08: MSTORE
00001e09: PUSH1 0x13
00001e0b: PUSH1 0x20
00001e0d: MSTORE
00001e0e: PUSH1 0x40
00001e10: DUP2
00001e11: KECCAK256
00001e12: DUP1
00001e13: SLOAD
00001e14: SWAP1
00001e15: SWAP2
00001e16: SWAP1
00001e17: PUSH2 0x1e21
00001e1a: SWAP1
00001e1b: DUP5
00001e1c: SWAP1
00001e1d: PUSH2 0x22e6
00001e20: JUMP
00001e21: JUMPDEST
00001e22: SWAP1
00001e23: SWAP2
00001e24: SSTORE
00001e25: POP
00001e26: POP
00001e27: PUSH1 0x00
00001e29: PUSH1 0x05
00001e2b: SSTORE
00001e2c: JUMPDEST
00001e2d: PUSH1 0x0a
00001e2f: SLOAD
00001e30: ISZERO
00001e31: PUSH2 0x1e63
00001e34: JUMPI
00001e35: PUSH1 0x0a
00001e37: SLOAD
00001e38: PUSH1 0x09
00001e3a: SLOAD
00001e3b: PUSH1 0x00
00001e3d: SWAP1
00001e3e: DUP2
00001e3f: MSTORE
00001e40: PUSH1 0x13
00001e42: PUSH1 0x20
00001e44: MSTORE
00001e45: PUSH1 0x40
00001e47: DUP2
00001e48: KECCAK256
00001e49: DUP1
00001e4a: SLOAD
00001e4b: SWAP1
00001e4c: SWAP2
00001e4d: SWAP1
00001e4e: PUSH2 0x1e58
00001e51: SWAP1
00001e52: DUP5
00001e53: SWAP1
00001e54: PUSH2 0x22ff
00001e57: JUMP
00001e58: JUMPDEST
00001e59: SWAP1
00001e5a: SWAP2
00001e5b: SSTORE
00001e5c: POP
00001e5d: POP
00001e5e: PUSH1 0x00
00001e60: PUSH1 0x0a
00001e62: SSTORE
00001e63: JUMPDEST
00001e64: PUSH1 0x06
00001e66: SLOAD
00001e67: PUSH1 0x09
00001e69: SLOAD
00001e6a: PUSH1 0x00
00001e6c: SWAP1
00001e6d: DUP2
00001e6e: MSTORE
00001e6f: PUSH1 0x13
00001e71: PUSH1 0x20
00001e73: SWAP1
00001e74: DUP2
00001e75: MSTORE
00001e76: PUSH1 0x40
00001e78: SWAP2
00001e79: DUP3
00001e7a: SWAP1
00001e7b: KECCAK256
00001e7c: SLOAD
00001e7d: DUP3
00001e7e: MLOAD
00001e7f: DUP6
00001e80: DUP2
00001e81: MSTORE
00001e82: SWAP2
00001e83: DUP3
00001e84: ADD
00001e85: MSTORE
00001e86: PUSH32 0x0666a61c1092f5b86c2cfe6ea1ad0d9a36032c4fb92d285b4e43f662d48f19b4
00001ea7: SWAP2
00001ea8: ADD
00001ea9: PUSH1 0x40
00001eab: MLOAD
00001eac: DUP1
00001ead: SWAP2
00001eae: SUB
00001eaf: SWAP1
00001eb0: LOG2
00001eb1: POP
00001eb2: JUMP
00001eb3: JUMPDEST
00001eb4: PUSH1 0x00
00001eb6: DUP3
00001eb7: PUSH1 0x01
00001eb9: PUSH1 0x01
00001ebb: PUSH1 0xa0
00001ebd: SHL
00001ebe: SUB
00001ebf: AND
00001ec0: DUP3
00001ec1: PUSH1 0x40
00001ec3: MLOAD
00001ec4: PUSH1 0x00
00001ec6: PUSH1 0x40
00001ec8: MLOAD
00001ec9: DUP1
00001eca: DUP4
00001ecb: SUB
00001ecc: DUP2
00001ecd: DUP6
00001ece: DUP8
00001ecf: GAS
00001ed0: CALL
00001ed1: SWAP3
00001ed2: POP
00001ed3: POP
00001ed4: POP
00001ed5: RETURNDATASIZE
00001ed6: DUP1
00001ed7: PUSH1 0x00
00001ed9: DUP2
00001eda: EQ
00001edb: PUSH2 0x1f00
00001ede: JUMPI
00001edf: PUSH1 0x40
00001ee1: MLOAD
00001ee2: SWAP2
00001ee3: POP
00001ee4: PUSH1 0x1f
00001ee6: NOT
00001ee7: PUSH1 0x3f
00001ee9: RETURNDATASIZE
00001eea: ADD
00001eeb: AND
00001eec: DUP3
00001eed: ADD
00001eee: PUSH1 0x40
00001ef0: MSTORE
00001ef1: RETURNDATASIZE
00001ef2: DUP3
00001ef3: MSTORE
00001ef4: RETURNDATASIZE
00001ef5: PUSH1 0x00
00001ef7: PUSH1 0x20
00001ef9: DUP5
00001efa: ADD
00001efb: RETURNDATACOPY
00001efc: PUSH2 0x1f05
00001eff: JUMP
00001f00: JUMPDEST
00001f01: PUSH1 0x60
00001f03: SWAP2
00001f04: POP
00001f05: JUMPDEST
00001f06: POP
00001f07: POP
00001f08: SWAP1
00001f09: POP
00001f0a: DUP1
00001f0b: PUSH2 0x1d52
00001f0e: JUMPI
00001f0f: PUSH1 0x40
00001f11: MLOAD
00001f12: PUSH3 0x461bcd
00001f16: PUSH1 0xe5
00001f18: SHL
00001f19: DUP2
00001f1a: MSTORE
00001f1b: PUSH1 0x20
00001f1d: PUSH1 0x04
00001f1f: DUP3
00001f20: ADD
00001f21: MSTORE
00001f22: PUSH1 0x1c
00001f24: PUSH1 0x24
00001f26: DUP3
00001f27: ADD
00001f28: MSTORE
00001f29: PUSH32 0x444258656e3a206661696c656420746f2073656e6420616d6f756e7400000000
00001f4a: PUSH1 0x44
00001f4c: DUP3
00001f4d: ADD
00001f4e: MSTORE
00001f4f: PUSH1 0x64
00001f51: ADD
00001f52: PUSH2 0x0853
00001f55: JUMP
00001f56: JUMPDEST
00001f57: PUSH1 0x40
00001f59: MLOAD
00001f5a: PUSH1 0x01
00001f5c: PUSH1 0x01
00001f5e: PUSH1 0xa0
00001f60: SHL
00001f61: SUB
00001f62: DUP1
00001f63: DUP6
00001f64: AND
00001f65: PUSH1 0x24
00001f67: DUP4
00001f68: ADD
00001f69: MSTORE
00001f6a: DUP4
00001f6b: AND
00001f6c: PUSH1 0x44
00001f6e: DUP3
00001f6f: ADD
00001f70: MSTORE
00001f71: PUSH1 0x64
00001f73: DUP2
00001f74: ADD
00001f75: DUP3
00001f76: SWAP1
00001f77: MSTORE
00001f78: PUSH2 0x1f8e
00001f7b: SWAP1
00001f7c: DUP6
00001f7d: SWAP1
00001f7e: PUSH4 0x23b872dd
00001f83: PUSH1 0xe0
00001f85: SHL
00001f86: SWAP1
00001f87: PUSH1 0x84
00001f89: ADD
00001f8a: PUSH2 0x1d1b
00001f8d: JUMP
00001f8e: JUMPDEST
00001f8f: POP
00001f90: POP
00001f91: POP
00001f92: POP
00001f93: JUMP
00001f94: JUMPDEST
00001f95: PUSH1 0x00
00001f97: PUSH2 0x1fe9
00001f9a: DUP3
00001f9b: PUSH1 0x40
00001f9d: MLOAD
00001f9e: DUP1
00001f9f: PUSH1 0x40
00001fa1: ADD
00001fa2: PUSH1 0x40
00001fa4: MSTORE
00001fa5: DUP1
00001fa6: PUSH1 0x20
00001fa8: DUP2
00001fa9: MSTORE
00001faa: PUSH1 0x20
00001fac: ADD
00001fad: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00001fce: DUP2
00001fcf: MSTORE
00001fd0: POP
00001fd1: DUP6
00001fd2: PUSH1 0x01
00001fd4: PUSH1 0x01
00001fd6: PUSH1 0xa0
00001fd8: SHL
00001fd9: SUB
00001fda: AND
00001fdb: PUSH2 0x2066
00001fde: SWAP1
00001fdf: SWAP3
00001fe0: SWAP2
00001fe1: SWAP1
00001fe2: PUSH4 0xffffffff
00001fe7: AND
00001fe8: JUMP
00001fe9: JUMPDEST
00001fea: DUP1
00001feb: MLOAD
00001fec: SWAP1
00001fed: SWAP2
00001fee: POP
00001fef: ISZERO
00001ff0: PUSH2 0x1d52
00001ff3: JUMPI
00001ff4: DUP1
00001ff5: DUP1
00001ff6: PUSH1 0x20
00001ff8: ADD
00001ff9: SWAP1
00001ffa: MLOAD
00001ffb: DUP2
00001ffc: ADD
00001ffd: SWAP1
00001ffe: PUSH2 0x2007
00002001: SWAP2
00002002: SWAP1
00002003: PUSH2 0x2364
00002006: JUMP
00002007: JUMPDEST
00002008: PUSH2 0x1d52
0000200b: JUMPI
0000200c: PUSH1 0x40
0000200e: MLOAD
0000200f: PUSH3 0x461bcd
00002013: PUSH1 0xe5
00002015: SHL
00002016: DUP2
00002017: MSTORE
00002018: PUSH1 0x20
0000201a: PUSH1 0x04
0000201c: DUP3
0000201d: ADD
0000201e: MSTORE
0000201f: PUSH1 0x2a
00002021: PUSH1 0x24
00002023: DUP3
00002024: ADD
00002025: MSTORE
00002026: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00002047: PUSH1 0x44
00002049: DUP3
0000204a: ADD
0000204b: MSTORE
0000204c: PUSH10 0x1bdd081cdd58d8d95959
00002057: PUSH1 0xb2
00002059: SHL
0000205a: PUSH1 0x64
0000205c: DUP3
0000205d: ADD
0000205e: MSTORE
0000205f: PUSH1 0x84
00002061: ADD
00002062: PUSH2 0x0853
00002065: JUMP
00002066: JUMPDEST
00002067: PUSH1 0x60
00002069: PUSH2 0x2075
0000206c: DUP5
0000206d: DUP5
0000206e: PUSH1 0x00
00002070: DUP6
00002071: PUSH2 0x207d
00002074: JUMP
00002075: JUMPDEST
00002076: SWAP5
00002077: SWAP4
00002078: POP
00002079: POP
0000207a: POP
0000207b: POP
0000207c: JUMP
0000207d: JUMPDEST
0000207e: PUSH1 0x60
00002080: DUP3
00002081: SELFBALANCE
00002082: LT
00002083: ISZERO
00002084: PUSH2 0x20de
00002087: JUMPI
00002088: PUSH1 0x40
0000208a: MLOAD
0000208b: PUSH3 0x461bcd
0000208f: PUSH1 0xe5
00002091: SHL
00002092: DUP2
00002093: MSTORE
00002094: PUSH1 0x20
00002096: PUSH1 0x04
00002098: DUP3
00002099: ADD
0000209a: MSTORE
0000209b: PUSH1 0x26
0000209d: PUSH1 0x24
0000209f: DUP3
000020a0: ADD
000020a1: MSTORE
000020a2: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
000020c3: PUSH1 0x44
000020c5: DUP3
000020c6: ADD
000020c7: MSTORE
000020c8: PUSH6 0x1c8818d85b1b
000020cf: PUSH1 0xd2
000020d1: SHL
000020d2: PUSH1 0x64
000020d4: DUP3
000020d5: ADD
000020d6: MSTORE
000020d7: PUSH1 0x84
000020d9: ADD
000020da: PUSH2 0x0853
000020dd: JUMP
000020de: JUMPDEST
000020df: PUSH1 0x00
000020e1: DUP1
000020e2: DUP7
000020e3: PUSH1 0x01
000020e5: PUSH1 0x01
000020e7: PUSH1 0xa0
000020e9: SHL
000020ea: SUB
000020eb: AND
000020ec: DUP6
000020ed: DUP8
000020ee: PUSH1 0x40
000020f0: MLOAD
000020f1: PUSH2 0x20fa
000020f4: SWAP2
000020f5: SWAP1
000020f6: PUSH2 0x23aa
000020f9: JUMP
000020fa: JUMPDEST
000020fb: PUSH1 0x00
000020fd: PUSH1 0x40
000020ff: MLOAD
00002100: DUP1
00002101: DUP4
00002102: SUB
00002103: DUP2
00002104: DUP6
00002105: DUP8
00002106: GAS
00002107: CALL
00002108: SWAP3
00002109: POP
0000210a: POP
0000210b: POP
0000210c: RETURNDATASIZE
0000210d: DUP1
0000210e: PUSH1 0x00
00002110: DUP2
00002111: EQ
00002112: PUSH2 0x2137
00002115: JUMPI
00002116: PUSH1 0x40
00002118: MLOAD
00002119: SWAP2
0000211a: POP
0000211b: PUSH1 0x1f
0000211d: NOT
0000211e: PUSH1 0x3f
00002120: RETURNDATASIZE
00002121: ADD
00002122: AND
00002123: DUP3
00002124: ADD
00002125: PUSH1 0x40
00002127: MSTORE
00002128: RETURNDATASIZE
00002129: DUP3
0000212a: MSTORE
0000212b: RETURNDATASIZE
0000212c: PUSH1 0x00
0000212e: PUSH1 0x20
00002130: DUP5
00002131: ADD
00002132: RETURNDATACOPY
00002133: PUSH2 0x213c
00002136: JUMP
00002137: JUMPDEST
00002138: PUSH1 0x60
0000213a: SWAP2
0000213b: POP
0000213c: JUMPDEST
0000213d: POP
0000213e: SWAP2
0000213f: POP
00002140: SWAP2
00002141: POP
00002142: PUSH2 0x214d
00002145: DUP8
00002146: DUP4
00002147: DUP4
00002148: DUP8
00002149: PUSH2 0x2158
0000214c: JUMP
0000214d: JUMPDEST
0000214e: SWAP8
0000214f: SWAP7
00002150: POP
00002151: POP
00002152: POP
00002153: POP
00002154: POP
00002155: POP
00002156: POP
00002157: JUMP
00002158: JUMPDEST
00002159: PUSH1 0x60
0000215b: DUP4
0000215c: ISZERO
0000215d: PUSH2 0x21c7
00002160: JUMPI
00002161: DUP3
00002162: MLOAD
00002163: PUSH1 0x00
00002165: SUB
00002166: PUSH2 0x21c0
00002169: JUMPI
0000216a: PUSH1 0x01
0000216c: PUSH1 0x01
0000216e: PUSH1 0xa0
00002170: SHL
00002171: SUB
00002172: DUP6
00002173: AND
00002174: EXTCODESIZE
00002175: PUSH2 0x21c0
00002178: JUMPI
00002179: PUSH1 0x40
0000217b: MLOAD
0000217c: PUSH3 0x461bcd
00002180: PUSH1 0xe5
00002182: SHL
00002183: DUP2
00002184: MSTORE
00002185: PUSH1 0x20
00002187: PUSH1 0x04
00002189: DUP3
0000218a: ADD
0000218b: MSTORE
0000218c: PUSH1 0x1d
0000218e: PUSH1 0x24
00002190: DUP3
00002191: ADD
00002192: MSTORE
00002193: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
000021b4: PUSH1 0x44
000021b6: DUP3
000021b7: ADD
000021b8: MSTORE
000021b9: PUSH1 0x64
000021bb: ADD
000021bc: PUSH2 0x0853
000021bf: JUMP
000021c0: JUMPDEST
000021c1: POP
000021c2: DUP2
000021c3: PUSH2 0x2075
000021c6: JUMP
000021c7: JUMPDEST
000021c8: PUSH2 0x2075
000021cb: DUP4
000021cc: DUP4
000021cd: DUP2
000021ce: MLOAD
000021cf: ISZERO
000021d0: PUSH2 0x21dc
000021d3: JUMPI
000021d4: DUP2
000021d5: MLOAD
000021d6: DUP1
000021d7: DUP4
000021d8: PUSH1 0x20
000021da: ADD
000021db: REVERT
000021dc: JUMPDEST
000021dd: DUP1
000021de: PUSH1 0x40
000021e0: MLOAD
000021e1: PUSH3 0x461bcd
000021e5: PUSH1 0xe5
000021e7: SHL
000021e8: DUP2
000021e9: MSTORE
000021ea: PUSH1 0x04
000021ec: ADD
000021ed: PUSH2 0x0853
000021f0: SWAP2
000021f1: SWAP1
000021f2: PUSH2 0x23c6
000021f5: JUMP
000021f6: JUMPDEST
000021f7: PUSH1 0x00
000021f9: PUSH1 0x20
000021fb: DUP3
000021fc: DUP5
000021fd: SUB
000021fe: SLT
000021ff: ISZERO
00002200: PUSH2 0x2208
00002203: JUMPI
00002204: PUSH1 0x00
00002206: DUP1
00002207: REVERT
00002208: JUMPDEST
00002209: DUP2
0000220a: CALLDATALOAD
0000220b: PUSH1 0x01
0000220d: PUSH1 0x01
0000220f: PUSH1 0xe0
00002211: SHL
00002212: SUB
00002213: NOT
00002214: DUP2
00002215: AND
00002216: DUP2
00002217: EQ
00002218: PUSH2 0x2220
0000221b: JUMPI
0000221c: PUSH1 0x00
0000221e: DUP1
0000221f: REVERT
00002220: JUMPDEST
00002221: SWAP4
00002222: SWAP3
00002223: POP
00002224: POP
00002225: POP
00002226: JUMP
00002227: JUMPDEST
00002228: PUSH1 0x00
0000222a: PUSH1 0x20
0000222c: DUP3
0000222d: DUP5
0000222e: SUB
0000222f: SLT
00002230: ISZERO
00002231: PUSH2 0x2239
00002234: JUMPI
00002235: PUSH1 0x00
00002237: DUP1
00002238: REVERT
00002239: JUMPDEST
0000223a: POP
0000223b: CALLDATALOAD
0000223c: SWAP2
0000223d: SWAP1
0000223e: POP
0000223f: JUMP
00002240: JUMPDEST
00002241: DUP1
00002242: CALLDATALOAD
00002243: PUSH1 0x01
00002245: PUSH1 0x01
00002247: PUSH1 0xa0
00002249: SHL
0000224a: SUB
0000224b: DUP2
0000224c: AND
0000224d: DUP2
0000224e: EQ
0000224f: PUSH2 0x2257
00002252: JUMPI
00002253: PUSH1 0x00
00002255: DUP1
00002256: REVERT
00002257: JUMPDEST
00002258: SWAP2
00002259: SWAP1
0000225a: POP
0000225b: JUMP
0000225c: JUMPDEST
0000225d: PUSH1 0x00
0000225f: PUSH1 0x20
00002261: DUP3
00002262: DUP5
00002263: SUB
00002264: SLT
00002265: ISZERO
00002266: PUSH2 0x226e
00002269: JUMPI
0000226a: PUSH1 0x00
0000226c: DUP1
0000226d: REVERT
0000226e: JUMPDEST
0000226f: PUSH2 0x2220
00002272: DUP3
00002273: PUSH2 0x2240
00002276: JUMP
00002277: JUMPDEST
00002278: PUSH1 0x00
0000227a: DUP1
0000227b: PUSH1 0x40
0000227d: DUP4
0000227e: DUP6
0000227f: SUB
00002280: SLT
00002281: ISZERO
00002282: PUSH2 0x228a
00002285: JUMPI
00002286: PUSH1 0x00
00002288: DUP1
00002289: REVERT
0000228a: JUMPDEST
0000228b: PUSH2 0x2293
0000228e: DUP4
0000228f: PUSH2 0x2240
00002292: JUMP
00002293: JUMPDEST
00002294: SWAP5
00002295: PUSH1 0x20
00002297: SWAP4
00002298: SWAP1
00002299: SWAP4
0000229a: ADD
0000229b: CALLDATALOAD
0000229c: SWAP4
0000229d: POP
0000229e: POP
0000229f: POP
000022a0: JUMP
000022a1: JUMPDEST
000022a2: PUSH1 0x20
000022a4: DUP1
000022a5: DUP3
000022a6: MSTORE
000022a7: PUSH1 0x15
000022a9: SWAP1
000022aa: DUP3
000022ab: ADD
000022ac: MSTORE
000022ad: PUSH21 0x444258656e3a20616d6f756e74206973207a65726f
000022c3: PUSH1 0x58
000022c5: SHL
000022c6: PUSH1 0x40
000022c8: DUP3
000022c9: ADD
000022ca: MSTORE
000022cb: PUSH1 0x60
000022cd: ADD
000022ce: SWAP1
000022cf: JUMP
000022d0: JUMPDEST
000022d1: PUSH4 0x4e487b71
000022d6: PUSH1 0xe0
000022d8: SHL
000022d9: PUSH1 0x00
000022db: MSTORE
000022dc: PUSH1 0x11
000022de: PUSH1 0x04
000022e0: MSTORE
000022e1: PUSH1 0x24
000022e3: PUSH1 0x00
000022e5: REVERT
000022e6: JUMPDEST
000022e7: DUP1
000022e8: DUP3
000022e9: ADD
000022ea: DUP1
000022eb: DUP3
000022ec: GT
000022ed: ISZERO
000022ee: PUSH2 0x22f9
000022f1: JUMPI
000022f2: PUSH2 0x22f9
000022f5: PUSH2 0x22d0
000022f8: JUMP
000022f9: JUMPDEST
000022fa: SWAP3
000022fb: SWAP2
000022fc: POP
000022fd: POP
000022fe: JUMP
000022ff: JUMPDEST
00002300: DUP2
00002301: DUP2
00002302: SUB
00002303: DUP2
00002304: DUP2
00002305: GT
00002306: ISZERO
00002307: PUSH2 0x22f9
0000230a: JUMPI
0000230b: PUSH2 0x22f9
0000230e: PUSH2 0x22d0
00002311: JUMP
00002312: JUMPDEST
00002313: DUP1
00002314: DUP3
00002315: MUL
00002316: DUP2
00002317: ISZERO
00002318: DUP3
00002319: DUP3
0000231a: DIV
0000231b: DUP5
0000231c: EQ
0000231d: OR
0000231e: PUSH2 0x22f9
00002321: JUMPI
00002322: PUSH2 0x22f9
00002325: PUSH2 0x22d0
00002328: JUMP
00002329: JUMPDEST
0000232a: PUSH1 0x00
0000232c: PUSH1 0x20
0000232e: DUP3
0000232f: DUP5
00002330: SUB
00002331: SLT
00002332: ISZERO
00002333: PUSH2 0x233b
00002336: JUMPI
00002337: PUSH1 0x00
00002339: DUP1
0000233a: REVERT
0000233b: JUMPDEST
0000233c: POP
0000233d: MLOAD
0000233e: SWAP2
0000233f: SWAP1
00002340: POP
00002341: JUMP
00002342: JUMPDEST
00002343: PUSH1 0x00
00002345: DUP3
00002346: PUSH2 0x235f
00002349: JUMPI
0000234a: PUSH4 0x4e487b71
0000234f: PUSH1 0xe0
00002351: SHL
00002352: PUSH1 0x00
00002354: MSTORE
00002355: PUSH1 0x12
00002357: PUSH1 0x04
00002359: MSTORE
0000235a: PUSH1 0x24
0000235c: PUSH1 0x00
0000235e: REVERT
0000235f: JUMPDEST
00002360: POP
00002361: DIV
00002362: SWAP1
00002363: JUMP
00002364: JUMPDEST
00002365: PUSH1 0x00
00002367: PUSH1 0x20
00002369: DUP3
0000236a: DUP5
0000236b: SUB
0000236c: SLT
0000236d: ISZERO
0000236e: PUSH2 0x2376
00002371: JUMPI
00002372: PUSH1 0x00
00002374: DUP1
00002375: REVERT
00002376: JUMPDEST
00002377: DUP2
00002378: MLOAD
00002379: DUP1
0000237a: ISZERO
0000237b: ISZERO
0000237c: DUP2
0000237d: EQ
0000237e: PUSH2 0x2220
00002381: JUMPI
00002382: PUSH1 0x00
00002384: DUP1
00002385: REVERT
00002386: JUMPDEST
00002387: PUSH1 0x00
00002389: JUMPDEST
0000238a: DUP4
0000238b: DUP2
0000238c: LT
0000238d: ISZERO
0000238e: PUSH2 0x23a1
00002391: JUMPI
00002392: DUP2
00002393: DUP2
00002394: ADD
00002395: MLOAD
00002396: DUP4
00002397: DUP3
00002398: ADD
00002399: MSTORE
0000239a: PUSH1 0x20
0000239c: ADD
0000239d: PUSH2 0x2389
000023a0: JUMP
000023a1: JUMPDEST
000023a2: POP
000023a3: POP
000023a4: PUSH1 0x00
000023a6: SWAP2
000023a7: ADD
000023a8: MSTORE
000023a9: JUMP
000023aa: JUMPDEST
000023ab: PUSH1 0x00
000023ad: DUP3
000023ae: MLOAD
000023af: PUSH2 0x23bc
000023b2: DUP2
000023b3: DUP5
000023b4: PUSH1 0x20
000023b6: DUP8
000023b7: ADD
000023b8: PUSH2 0x2386
000023bb: JUMP
000023bc: JUMPDEST
000023bd: SWAP2
000023be: SWAP1
000023bf: SWAP2
000023c0: ADD
000023c1: SWAP3
000023c2: SWAP2
000023c3: POP
000023c4: POP
000023c5: JUMP
000023c6: JUMPDEST
000023c7: PUSH1 0x20
000023c9: DUP2
000023ca: MSTORE
000023cb: PUSH1 0x00
000023cd: DUP3
000023ce: MLOAD
000023cf: DUP1
000023d0: PUSH1 0x20
000023d2: DUP5
000023d3: ADD
000023d4: MSTORE
000023d5: PUSH2 0x23e5
000023d8: DUP2
000023d9: PUSH1 0x40
000023db: DUP6
000023dc: ADD
000023dd: PUSH1 0x20
000023df: DUP8
000023e0: ADD
000023e1: PUSH2 0x2386
000023e4: JUMP
000023e5: JUMPDEST
000023e6: PUSH1 0x1f
000023e8: ADD
000023e9: PUSH1 0x1f
000023eb: NOT
000023ec: AND
000023ed: SWAP2
000023ee: SWAP1
000023ef: SWAP2
000023f0: ADD
000023f1: PUSH1 0x40
000023f3: ADD
000023f4: SWAP3
000023f5: SWAP2
000023f6: POP
000023f7: POP
000023f8: JUMP
000023f9: INVALID
000023fa: LOG2
000023fb: PUSH5 0x6970667358
00002401: UNKNOWN(0x22)
00002402: SLT
00002403: KECCAK256
00002404: PUSH22 0xb6d3010bcf6865ba9b85c532f5561fe712f66fa9c480
0000241b: PUSH28