Analysis Run

Traceback (most recent call last):
  File "/var/www/tripwire/worker/worker.py", line 199, in main
    laravel_client.complete_job(job_id, payload if payload else None)
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/worker/laravel_client.py", line 27, in complete_job
    return self._post(f"/internal/jobs/{job_id}/complete", payload=payload)
           ~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/worker/laravel_client.py", line 17, in _post
    response.raise_for_status()
    ~~~~~~~~~~~~~~~~~~~~~~~~~^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/requests/models.py", line 1026, in raise_for_status
    raise HTTPError(http_error_msg, response=self)
requests.exceptions.HTTPError: 500 Server Error: Internal Server Error for url: https://tripwire.topgun.bot/internal/jobs/41453/complete

{"no_findings":false,"summary":"Found oracle price manipulation risk from spot Uniswap reserves and an unchecked pool repayment return value that can desync accounting if repay fails silently.","findings":[{"severity":"high","category":"oracle","title":"Spot Uniswap reserves used as price oracle enable manipulation of collateral and liquidations","exploit_scenario":"An attacker (or MEV searcher) can temporarily skew the Uniswap reserves for a token/WETH pair via swaps or liquidity changes, then call `open*Position`, `canLiquidate`, or `liquidatePosition` when the on-chain price is distorted. This can force liquidation of healthy positions or allow opening/closing positions at favorable, manipulated prices, extracting the liquidation bonus or leaving the protocol with bad debt once the price normalizes.","recommendation":"Use a manipulation-resistant price source (e.g., Uniswap TWAP or Chainlink) and add sanity bounds/price impact limits for swaps and liquidation checks. Consider liquidity/volatility thresholds or delayed liquidation windows.","evidence":"`calculateConvertedValue` derives price from `pair.getReserves()` and is used for collateral and liquidation logic.","locations":["contracts/Contract.sol:791","contracts/Contract.sol:866","contracts/Contract.sol:1012"]},{"severity":"low","category":"other","title":"Unchecked return value from pool repay can leave debt unpaid while positions close","exploit_scenario":"If `IUniMexPool.repay` returns false without reverting, `transferToPool` continues and later releases escrow/marks positions closed, potentially leaving the pool under-repaid while the user’s position is finalized.","recommendation":"Require the boolean return value from `repay` to be true or change `repay` to revert on failure. Alternatively, transfer tokens directly to the pool and validate balances.","evidence":"`transferToPool` ignores the boolean return value from `IUniMexPool.repay`.","locations":["contracts/Contract.sol:847","contracts/Contract.sol:849"]}]}

OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-mrq5xq1h
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019be4bb-1235-7a93-90e0-e88d34ba0fcb
--------
user
You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.

Scope rules:
- You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party Solidity sources in this workspace.
- Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
- If there are only dependency files and no first-party sources, set no_findings=true and explain in summary.

Output MUST be valid JSON matching the provided schema.
- If you find nothing meaningful: set no_findings=true and findings=[].
- Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.

Output constraints (IMPORTANT):
- severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
- category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
Keep summary short and concrete.
mcp startup: no servers

thinking
**Choosing shell command for read**

I'm opting to read AUDIT_BUNDLE via a simple shell command since it's read-only and straightforward, avoiding more complex tooling like ripgrep.
exec
/bin/bash -lc ls in /tmp/codex-mrq5xq1h succeeded in 7ms:
AUDIT_BUNDLE.txt
codex-output-schema.json
contracts
exec
/bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-mrq5xq1h succeeded in 7ms:
This file concatenates the full contents of first-party Solidity sources for auditing.
Do not treat dependency code under lib/ or @openzeppelin/ as first-party.

================================================================================
FILE: contracts/Contract.sol
================================================================================
// File: @openzeppelin/contracts/GSN/Context.sol


pragma solidity >=0.6.0 <0.8.0;

/*
 * @dev Provides information about the current execution context, including the
 * sender of the transaction and its data. While these are generally available
 * via msg.sender and msg.data, they should not be accessed in such a direct
 * manner, since when dealing with GSN meta-transactions the account sending and
 * paying for execution may not be the actual sender (as far as an application
 * is concerned).
 *
 * This contract is only required for intermediate, library-like contracts.



thinking
**Analyzing oracle manipulation and protections**

I see the oracle uses Uniswap reserves and swaps directly, which is vulnerable to price manipulation like sandwich attacks. However, the isHuman check using tx.origin blocks contract calls, effectively preventing flashloan attacks requiring contract callbacks, though EOA-based manipulations and miner manipulations remain possible.
thinking
**Identifying several medium-risk issues**

Oracle price manipulation remains a key vulnerability due to reliance on spot reserves without TWAP. Reentrancy risks exist from external calls before state updates, especially via potentially malicious tokens with transfer hooks, though the isHuman check limits reentrancy on core functions. Unchecked return values on pool repay calls could cause accounting errors. Approval usage and lack of token whitelist might enable misuse, but access control restricts critical setters to owner. Overall, vulnerabilities are plausible but mitigated in part by isHuman and careful state updates.
thinking
**Highlighting oracle manipulation and unchecked repay return risks**

The most critical issue is oracle reliance on Uniswap spot reserves enabling attacker-driven price manipulation to trigger liquidations and extract liquidation bonuses, posing high economic risk. Additionally, unchecked return values from pool repay calls may let bad debt persist if repay returns false without revert, a medium-low risk that warrants attention.
exec
/bin/bash -lc "rg -n \"calculateConvertedValue|transferToPool|repay\\(\" contracts/Contract.sol" in /tmp/codex-mrq5xq1h succeeded in 9ms:
657:    function repay(uint256 _amount) external returns (bool);
791:    function calculateConvertedValue(address baseToken, address quoteToken, uint256 amount) private view returns (uint256) {
812:        uint256 output = calculateConvertedValue(baseToken, quoteToken, input);
847:    function transferToPool(address pool, address token, uint256 amount) private {
849:        IUniMexPool(pool).repay(amount);
866:        uint amountInWeth = isShort ? calculateConvertedValue(token, WETH_ADDRESS, amount) : amount;
951:        uint256 poolInterestInWeth = poolInterestInTokens > 0 ? calculateConvertedValue(position.token, address(WETH), poolInterestInTokens) : 0;
957:        transferToPool(pool, position.token, owed);
988:        transferToPool(pool, WETH_ADDRESS, owed);
1015:            uint256 value = calculateConvertedValue(WETH_ADDRESS, position.token, position.input);
1024:            uint256 value = calculateConvertedValue(position.token, WETH_ADDRESS, position.input);
1063:            transferToPool(pool, baseToken, position.owed);
1085:            transferToPool(pool, baseToken, canReturn);

thinking
**Gathering line numbers for key functions**

Planning to locate line numbers for canLiquidate, calculateConvertedValue, and swapTokens to accurately reference critical logic involving reserves and liquidation conditions.
exec
/bin/bash -lc 'rg -n "canLiquidate|calculateConvertedValue" contracts/Contract.sol' in /tmp/codex-mrq5xq1h succeeded in 9ms:
791:    function calculateConvertedValue(address baseToken, address quoteToken, uint256 amount) private view returns (uint256) {
812:        uint256 output = calculateConvertedValue(baseToken, quoteToken, input);
866:        uint amountInWeth = isShort ? calculateConvertedValue(token, WETH_ADDRESS, amount) : amount;
951:        uint256 poolInterestInWeth = poolInterestInTokens > 0 ? calculateConvertedValue(position.token, address(WETH), poolInterestInTokens) : 0;
1012:    function canLiquidate(bytes32 positionId) public view returns(bool) {
1015:            uint256 value = calculateConvertedValue(WETH_ADDRESS, position.token, position.input);
1024:            uint256 value = calculateConvertedValue(position.token, WETH_ADDRESS, position.input);
1041:        require(canLiquidate(positionId), "CANNOT_LIQUIDATE");


thinking
**Preparing JSON schema for findings**

I'm outlining the key findings: a high-severity oracle manipulation risk via Uniswap spot reserves, a low-severity unchecked return value on pool repay calls, and considering but discounting other issues like tx.origin usage. Next, I'll build a JSON structure including summaries and source code locations per finding.
thinking
**Structuring detailed JSON output**

I'm gathering exact code evidence and reasoning to finalize finding details with severities and categories and will now craft the JSON output matching the required schema including summary and findings arrays with locations and recommendations.
codex
{"no_findings":false,"summary":"Found oracle price manipulation risk from spot Uniswap reserves and an unchecked pool repayment return value that can desync accounting if repay fails silently.","findings":[{"severity":"high","category":"oracle","title":"Spot Uniswap reserves used as price oracle enable manipulation of collateral and liquidations","exploit_scenario":"An attacker (or MEV searcher) can temporarily skew the Uniswap reserves for a token/WETH pair via swaps or liquidity changes, then call `open*Position`, `canLiquidate`, or `liquidatePosition` when the on-chain price is distorted. This can force liquidation of healthy positions or allow opening/closing positions at favorable, manipulated prices, extracting the liquidation bonus or leaving the protocol with bad debt once the price normalizes.","recommendation":"Use a manipulation-resistant price source (e.g., Uniswap TWAP or Chainlink) and add sanity bounds/price impact limits for swaps and liquidation checks. Consider liquidity/volatility thresholds or delayed liquidation windows.","evidence":"`calculateConvertedValue` derives price from `pair.getReserves()` and is used for collateral and liquidation logic.","locations":["contracts/Contract.sol:791","contracts/Contract.sol:866","contracts/Contract.sol:1012"]},{"severity":"low","category":"other","title":"Unchecked return value from pool repay can leave debt unpaid while positions close","exploit_scenario":"If `IUniMexPool.repay` returns false without reverting, `transferToPool` continues and later releases escrow/marks positions closed, potentially leaving the pool under-repaid while the user’s position is finalized.","recommendation":"Require the boolean return value from `repay` to be true or change `repay` to revert on failure. Alternatively, transfer tokens directly to the pool and validate balances.","evidence":"`transferToPool` ignores the boolean return value from `IUniMexPool.repay`.","locations":["contracts/Contract.sol:847","contracts/Contract.sol:849"]}]}
tokens used
24,204

{
    "codex": {
        "ran_at": "2026-01-22T08:06:38.864279+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "source",
        "file_count": 1,
        "import_count": 0,
        "first_party_contracts_count": 1
    },
    "summary": "Found oracle price manipulation risk from spot Uniswap reserves and an unchecked pool repayment return value that can desync accounting if repay fails silently.",
    "raw_final": {
        "summary": "Found oracle price manipulation risk from spot Uniswap reserves and an unchecked pool repayment return value that can desync accounting if repay fails silently.",
        "findings": [
            {
                "title": "Spot Uniswap reserves used as price oracle enable manipulation of collateral and liquidations",
                "category": "oracle",
                "evidence": "`calculateConvertedValue` derives price from `pair.getReserves()` and is used for collateral and liquidation logic.",
                "severity": "high",
                "locations": [
                    "contracts/Contract.sol:791",
                    "contracts/Contract.sol:866",
                    "contracts/Contract.sol:1012"
                ],
                "recommendation": "Use a manipulation-resistant price source (e.g., Uniswap TWAP or Chainlink) and add sanity bounds/price impact limits for swaps and liquidation checks. Consider liquidity/volatility thresholds or delayed liquidation windows.",
                "exploit_scenario": "An attacker (or MEV searcher) can temporarily skew the Uniswap reserves for a token/WETH pair via swaps or liquidity changes, then call `open*Position`, `canLiquidate`, or `liquidatePosition` when the on-chain price is distorted. This can force liquidation of healthy positions or allow opening/closing positions at favorable, manipulated prices, extracting the liquidation bonus or leaving the protocol with bad debt once the price normalizes."
            },
            {
                "title": "Unchecked return value from pool repay can leave debt unpaid while positions close",
                "category": "other",
                "evidence": "`transferToPool` ignores the boolean return value from `IUniMexPool.repay`.",
                "severity": "low",
                "locations": [
                    "contracts/Contract.sol:847",
                    "contracts/Contract.sol:849"
                ],
                "recommendation": "Require the boolean return value from `repay` to be true or change `repay` to revert on failure. Alternatively, transfer tokens directly to the pool and validate balances.",
                "exploit_scenario": "If `IUniMexPool.repay` returns false without reverting, `transferToPool` continues and later releases escrow/marks positions closed, potentially leaving the pool under-repaid while the user\u2019s position is finalized."
            }
        ],
        "no_findings": false
    },
    "no_findings": false,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH2 0x0010
0000000b: JUMPI
0000000c: PUSH1 0x00
0000000e: DUP1
0000000f: REVERT
00000010: JUMPDEST
00000011: POP
00000012: PUSH1 0x04
00000014: CALLDATASIZE
00000015: LT
00000016: PUSH2 0x01da
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x8ab10c73
00000026: GT
00000027: PUSH2 0x0104
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0x9e966634
00000031: GT
00000032: PUSH2 0x00a2
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xc167f099
0000003c: GT
0000003d: PUSH2 0x0071
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xc167f099
00000047: EQ
00000048: PUSH2 0x04a6
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xdfeba59e
00000052: EQ
00000053: PUSH2 0x04c9
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xe177246e
0000005d: EQ
0000005e: PUSH2 0x04ec
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xf2fde38b
00000068: EQ
00000069: PUSH2 0x0509
0000006c: JUMPI
0000006d: PUSH2 0x01da
00000070: JUMP
00000071: JUMPDEST
00000072: DUP1
00000073: PUSH4 0x9e966634
00000078: EQ
00000079: PUSH2 0x0471
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0xad5c4648
00000083: EQ
00000084: PUSH2 0x0479
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xb6b55f25
0000008e: EQ
0000008f: PUSH2 0x0481
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0xb98d1fe2
00000099: EQ
0000009a: PUSH2 0x049e
0000009d: JUMPI
0000009e: PUSH2 0x01da
000000a1: JUMP
000000a2: JUMPDEST
000000a3: DUP1
000000a4: PUSH4 0x8f7b1822
000000a9: GT
000000aa: PUSH2 0x00de
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x8f7b1822
000000b4: EQ
000000b5: PUSH2 0x041e
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x8ff39099
000000bf: EQ
000000c0: PUSH2 0x043b
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x9052be61
000000ca: EQ
000000cb: PUSH2 0x0461
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x97bd1017
000000d5: EQ
000000d6: PUSH2 0x0469
000000d9: JUMPI
000000da: PUSH2 0x01da
000000dd: JUMP
000000de: JUMPDEST
000000df: DUP1
000000e0: PUSH4 0x8ab10c73
000000e5: EQ
000000e6: PUSH2 0x03c1
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0x8ac4edb2
000000f0: EQ
000000f1: PUSH2 0x03f9
000000f4: JUMPI
000000f5: DUP1
000000f6: PUSH4 0x8da5cb5b
000000fb: EQ
000000fc: PUSH2 0x0416
000000ff: JUMPI
00000100: PUSH2 0x01da
00000103: JUMP
00000104: JUMPDEST
00000105: DUP1
00000106: PUSH4 0x617f05a0
0000010b: GT
0000010c: PUSH2 0x017c
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0x715018a6
00000116: GT
00000117: PUSH2 0x014b
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0x715018a6
00000121: EQ
00000122: PUSH2 0x0371
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0x7b7c1f4c
0000012c: EQ
0000012d: PUSH2 0x0379
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0x7f54c66e
00000137: EQ
00000138: PUSH2 0x0381
0000013b: JUMPI
0000013c: DUP1
0000013d: PUSH4 0x83914540
00000142: EQ
00000143: PUSH2 0x03b9
00000146: JUMPI
00000147: PUSH2 0x01da
0000014a: JUMP
0000014b: JUMPDEST
0000014c: DUP1
0000014d: PUSH4 0x617f05a0
00000152: EQ
00000153: PUSH2 0x030a
00000156: JUMPI
00000157: DUP1
00000158: PUSH4 0x61ba1508
0000015d: EQ
0000015e: PUSH2 0x0312
00000161: JUMPI
00000162: DUP1
00000163: PUSH4 0x6a42b8f8
00000168: EQ
00000169: PUSH2 0x0343
0000016c: JUMPI
0000016d: DUP1
0000016e: PUSH4 0x70a08231
00000173: EQ
00000174: PUSH2 0x034b
00000177: JUMPI
00000178: PUSH2 0x01da
0000017b: JUMP
0000017c: JUMPDEST
0000017d: DUP1
0000017e: PUSH4 0x2e1a7d4d
00000183: GT
00000184: PUSH2 0x01b8
00000187: JUMPI
00000188: DUP1
00000189: PUSH4 0x2e1a7d4d
0000018e: EQ
0000018f: PUSH2 0x02a5
00000192: JUMPI
00000193: DUP1
00000194: PUSH4 0x4c4be8a6
00000199: EQ
0000019a: PUSH2 0x02c2
0000019d: JUMPI
0000019e: DUP1
0000019f: PUSH4 0x4cf088d9
000001a4: EQ
000001a5: PUSH2 0x02dc
000001a8: JUMPI
000001a9: DUP1
000001aa: PUSH4 0x57d3c7c3
000001af: EQ
000001b0: PUSH2 0x02e4
000001b3: JUMPI
000001b4: PUSH2 0x01da
000001b7: JUMP
000001b8: JUMPDEST
000001b9: DUP1
000001ba: PUSH4 0x1410c18b
000001bf: EQ
000001c0: PUSH2 0x01df
000001c3: JUMPI
000001c4: DUP1
000001c5: PUSH4 0x1750832b
000001ca: EQ
000001cb: PUSH2 0x0203
000001ce: JUMPI
000001cf: DUP1
000001d0: PUSH4 0x28842d4f
000001d5: EQ
000001d6: PUSH2 0x0286
000001d9: JUMPI
000001da: JUMPDEST
000001db: PUSH1 0x00
000001dd: DUP1
000001de: REVERT
000001df: JUMPDEST
000001e0: PUSH2 0x01e7
000001e3: PUSH2 0x052f
000001e6: JUMP
000001e7: JUMPDEST
000001e8: PUSH1 0x40
000001ea: DUP1
000001eb: MLOAD
000001ec: PUSH1 0x01
000001ee: PUSH1 0x01
000001f0: PUSH1 0xa0
000001f2: SHL
000001f3: SUB
000001f4: SWAP1
000001f5: SWAP3
000001f6: AND
000001f7: DUP3
000001f8: MSTORE
000001f9: MLOAD
000001fa: SWAP1
000001fb: DUP2
000001fc: SWAP1
000001fd: SUB
000001fe: PUSH1 0x20
00000200: ADD
00000201: SWAP1
00000202: RETURN
00000203: JUMPDEST
00000204: PUSH2 0x0220
00000207: PUSH1 0x04
00000209: DUP1
0000020a: CALLDATASIZE
0000020b: SUB
0000020c: PUSH1 0x20
0000020e: DUP2
0000020f: LT
00000210: ISZERO
00000211: PUSH2 0x0219
00000214: JUMPI
00000215: PUSH1 0x00
00000217: DUP1
00000218: REVERT
00000219: JUMPDEST
0000021a: POP
0000021b: CALLDATALOAD
0000021c: PUSH2 0x053e
0000021f: JUMP
00000220: JUMPDEST
00000221: PUSH1 0x40
00000223: DUP1
00000224: MLOAD
00000225: SWAP12
00000226: DUP13
00000227: MSTORE
00000228: PUSH1 0x01
0000022a: PUSH1 0x01
0000022c: PUSH1 0xa0
0000022e: SHL
0000022f: SUB
00000230: SWAP11
00000231: DUP12
00000232: AND
00000233: PUSH1 0x20
00000235: DUP14
00000236: ADD
00000237: MSTORE
00000238: SWAP9
00000239: SWAP1
0000023a: SWAP10
0000023b: AND
0000023c: DUP11
0000023d: DUP10
0000023e: ADD
0000023f: MSTORE
00000240: PUSH1 0x60
00000242: DUP11
00000243: ADD
00000244: SWAP7
00000245: SWAP1
00000246: SWAP7
00000247: MSTORE
00000248: PUSH1 0x80
0000024a: DUP10
0000024b: ADD
0000024c: SWAP5
0000024d: SWAP1
0000024e: SWAP5
0000024f: MSTORE
00000250: PUSH1 0xa0
00000252: DUP9
00000253: ADD
00000254: SWAP3
00000255: SWAP1
00000256: SWAP3
00000257: MSTORE
00000258: PUSH1 0xc0
0000025a: DUP8
0000025b: ADD
0000025c: MSTORE
0000025d: PUSH1 0xe0
0000025f: DUP7
00000260: ADD
00000261: MSTORE
00000262: ISZERO
00000263: ISZERO
00000264: PUSH2 0x0100
00000267: DUP6
00000268: ADD
00000269: MSTORE
0000026a: ISZERO
0000026b: ISZERO
0000026c: PUSH2 0x0120
0000026f: DUP5
00000270: ADD
00000271: MSTORE
00000272: PUSH2 0x0140
00000275: DUP4
00000276: ADD
00000277: SWAP2
00000278: SWAP1
00000279: SWAP2
0000027a: MSTORE
0000027b: MLOAD
0000027c: SWAP1
0000027d: DUP2
0000027e: SWAP1
0000027f: SUB
00000280: PUSH2 0x0160
00000283: ADD
00000284: SWAP1
00000285: RETURN
00000286: JUMPDEST
00000287: PUSH2 0x02a3
0000028a: PUSH1 0x04
0000028c: DUP1
0000028d: CALLDATASIZE
0000028e: SUB
0000028f: PUSH1 0x20
00000291: DUP2
00000292: LT
00000293: ISZERO
00000294: PUSH2 0x029c
00000297: JUMPI
00000298: PUSH1 0x00
0000029a: DUP1
0000029b: REVERT
0000029c: JUMPDEST
0000029d: POP
0000029e: CALLDATALOAD
0000029f: PUSH2 0x05aa
000002a2: JUMP
000002a3: JUMPDEST
000002a4: STOP
000002a5: JUMPDEST
000002a6: PUSH2 0x02a3
000002a9: PUSH1 0x04
000002ab: DUP1
000002ac: CALLDATASIZE
000002ad: SUB
000002ae: PUSH1 0x20
000002b0: DUP2
000002b1: LT
000002b2: ISZERO
000002b3: PUSH2 0x02bb
000002b6: JUMPI
000002b7: PUSH1 0x00
000002b9: DUP1
000002ba: REVERT
000002bb: JUMPDEST
000002bc: POP
000002bd: CALLDATALOAD
000002be: PUSH2 0x0655
000002c1: JUMP
000002c2: JUMPDEST
000002c3: PUSH2 0x02ca
000002c6: PUSH2 0x06ba
000002c9: JUMP
000002ca: JUMPDEST
000002cb: PUSH1 0x40
000002cd: DUP1
000002ce: MLOAD
000002cf: SWAP2
000002d0: DUP3
000002d1: MSTORE
000002d2: MLOAD
000002d3: SWAP1
000002d4: DUP2
000002d5: SWAP1
000002d6: SUB
000002d7: PUSH1 0x20
000002d9: ADD
000002da: SWAP1
000002db: RETURN
000002dc: JUMPDEST
000002dd: PUSH2 0x01e7
000002e0: PUSH2 0x06c6
000002e3: JUMP
000002e4: JUMPDEST
000002e5: PUSH2 0x02ca
000002e8: PUSH1 0x04
000002ea: DUP1
000002eb: CALLDATASIZE
000002ec: SUB
000002ed: PUSH1 0x20
000002ef: DUP2
000002f0: LT
000002f1: ISZERO
000002f2: PUSH2 0x02fa
000002f5: JUMPI
000002f6: PUSH1 0x00
000002f8: DUP1
000002f9: REVERT
000002fa: JUMPDEST
000002fb: POP
000002fc: CALLDATALOAD
000002fd: PUSH1 0x01
000002ff: PUSH1 0x01
00000301: PUSH1 0xa0
00000303: SHL
00000304: SUB
00000305: AND
00000306: PUSH2 0x06d5
00000309: JUMP
0000030a: JUMPDEST
0000030b: PUSH2 0x02ca
0000030e: PUSH2 0x06e7
00000311: JUMP
00000312: JUMPDEST
00000313: PUSH2 0x032f
00000316: PUSH1 0x04
00000318: DUP1
00000319: CALLDATASIZE
0000031a: SUB
0000031b: PUSH1 0x20
0000031d: DUP2
0000031e: LT
0000031f: ISZERO
00000320: PUSH2 0x0328
00000323: JUMPI
00000324: PUSH1 0x00
00000326: DUP1
00000327: REVERT
00000328: JUMPDEST
00000329: POP
0000032a: CALLDATALOAD
0000032b: PUSH2 0x06f3
0000032e: JUMP
0000032f: JUMPDEST
00000330: PUSH1 0x40
00000332: DUP1
00000333: MLOAD
00000334: SWAP2
00000335: ISZERO
00000336: ISZERO
00000337: DUP3
00000338: MSTORE
00000339: MLOAD
0000033a: SWAP1
0000033b: DUP2
0000033c: SWAP1
0000033d: SUB
0000033e: PUSH1 0x20
00000340: ADD
00000341: SWAP1
00000342: RETURN
00000343: JUMPDEST
00000344: PUSH2 0x02ca
00000347: PUSH2 0x0841
0000034a: JUMP
0000034b: JUMPDEST
0000034c: PUSH2 0x02ca
0000034f: PUSH1 0x04
00000351: DUP1
00000352: CALLDATASIZE
00000353: SUB
00000354: PUSH1 0x20
00000356: DUP2
00000357: LT
00000358: ISZERO
00000359: PUSH2 0x0361
0000035c: JUMPI
0000035d: PUSH1 0x00
0000035f: DUP1
00000360: REVERT
00000361: JUMPDEST
00000362: POP
00000363: CALLDATALOAD
00000364: PUSH1 0x01
00000366: PUSH1 0x01
00000368: PUSH1 0xa0
0000036a: SHL
0000036b: SUB
0000036c: AND
0000036d: PUSH2 0x0847
00000370: JUMP
00000371: JUMPDEST
00000372: PUSH2 0x02a3
00000375: PUSH2 0x0859
00000378: JUMP
00000379: JUMPDEST
0000037a: PUSH2 0x02ca
0000037d: PUSH2 0x08fb
00000380: JUMP
00000381: JUMPDEST
00000382: PUSH2 0x02a3
00000385: PUSH1 0x04
00000387: DUP1
00000388: CALLDATASIZE
00000389: SUB
0000038a: PUSH1 0x80
0000038c: DUP2
0000038d: LT
0000038e: ISZERO
0000038f: PUSH2 0x0397
00000392: JUMPI
00000393: PUSH1 0x00
00000395: DUP1
00000396: REVERT
00000397: JUMPDEST
00000398: POP
00000399: PUSH1 0x01
0000039b: PUSH1 0x01
0000039d: PUSH1 0xa0
0000039f: SHL
000003a0: SUB
000003a1: DUP2
000003a2: CALLDATALOAD
000003a3: AND
000003a4: SWAP1
000003a5: PUSH1 0x20
000003a7: DUP2
000003a8: ADD
000003a9: CALLDATALOAD
000003aa: SWAP1
000003ab: PUSH1 0x40
000003ad: DUP2
000003ae: ADD
000003af: CALLDATALOAD
000003b0: SWAP1
000003b1: PUSH1 0x60
000003b3: ADD
000003b4: CALLDATALOAD
000003b5: PUSH2 0x0901
000003b8: JUMP
000003b9: JUMPDEST
000003ba: PUSH2 0x02ca
000003bd: PUSH2 0x0921
000003c0: JUMP
000003c1: JUMPDEST
000003c2: PUSH2 0x02a3
000003c5: PUSH1 0x04
000003c7: DUP1
000003c8: CALLDATASIZE
000003c9: SUB
000003ca: PUSH1 0x80
000003cc: DUP2
000003cd: LT
000003ce: ISZERO
000003cf: PUSH2 0x03d7
000003d2: JUMPI
000003d3: PUSH1 0x00
000003d5: DUP1
000003d6: REVERT
000003d7: JUMPDEST
000003d8: POP
000003d9: PUSH1 0x01
000003db: PUSH1 0x01
000003dd: PUSH1 0xa0
000003df: SHL
000003e0: SUB
000003e1: DUP2
000003e2: CALLDATALOAD
000003e3: AND
000003e4: SWAP1
000003e5: PUSH1 0x20
000003e7: DUP2
000003e8: ADD
000003e9: CALLDATALOAD
000003ea: SWAP1
000003eb: PUSH1 0x40
000003ed: DUP2
000003ee: ADD
000003ef: CALLDATALOAD
000003f0: SWAP1
000003f1: PUSH1 0x60
000003f3: ADD
000003f4: CALLDATALOAD
000003f5: PUSH2 0x0929
000003f8: JUMP
000003f9: JUMPDEST
000003fa: PUSH2 0x02a3
000003fd: PUSH1 0x04
000003ff: DUP1
00000400: CALLDATASIZE
00000401: SUB
00000402: PUSH1 0x20
00000404: DUP2
00000405: LT
00000406: ISZERO
00000407: PUSH2 0x040f
0000040a: JUMPI
0000040b: PUSH1 0x00
0000040d: DUP1
0000040e: REVERT
0000040f: JUMPDEST
00000410: POP
00000411: CALLDATALOAD
00000412: PUSH2 0x0943
00000415: JUMP
00000416: JUMPDEST
00000417: PUSH2 0x01e7
0000041a: PUSH2 0x09a0
0000041d: JUMP
0000041e: JUMPDEST
0000041f: PUSH2 0x02ca
00000422: PUSH1 0x04
00000424: DUP1
00000425: CALLDATASIZE
00000426: SUB
00000427: PUSH1 0x20
00000429: DUP2
0000042a: LT
0000042b: ISZERO
0000042c: PUSH2 0x0434
0000042f: JUMPI
00000430: PUSH1 0x00
00000432: DUP1
00000433: REVERT
00000434: JUMPDEST
00000435: POP
00000436: CALLDATALOAD
00000437: PUSH2 0x09af
0000043a: JUMP
0000043b: JUMPDEST
0000043c: PUSH2 0x02a3
0000043f: PUSH1 0x04
00000441: DUP1
00000442: CALLDATASIZE
00000443: SUB
00000444: PUSH1 0x20
00000446: DUP2
00000447: LT
00000448: ISZERO
00000449: PUSH2 0x0451
0000044c: JUMPI
0000044d: PUSH1 0x00
0000044f: DUP1
00000450: REVERT
00000451: JUMPDEST
00000452: POP
00000453: CALLDATALOAD
00000454: PUSH1 0x01
00000456: PUSH1 0x01
00000458: PUSH1 0xa0
0000045a: SHL
0000045b: SUB
0000045c: AND
0000045d: PUSH2 0x0a06
00000460: JUMP
00000461: JUMPDEST
00000462: PUSH2 0x01e7
00000465: PUSH2 0x0a93
00000468: JUMP
00000469: JUMPDEST
0000046a: PUSH2 0x02ca
0000046d: PUSH2 0x0aa2
00000470: JUMP
00000471: JUMPDEST
00000472: PUSH2 0x02ca
00000475: PUSH2 0x0aa8
00000478: JUMP
00000479: JUMPDEST
0000047a: PUSH2 0x01e7
0000047d: PUSH2 0x0aae
00000480: JUMP
00000481: JUMPDEST
00000482: PUSH2 0x02a3
00000485: PUSH1 0x04
00000487: DUP1
00000488: CALLDATASIZE
00000489: SUB
0000048a: PUSH1 0x20
0000048c: DUP2
0000048d: LT
0000048e: ISZERO
0000048f: PUSH2 0x0497
00000492: JUMPI
00000493: PUSH1 0x00
00000495: DUP1
00000496: REVERT
00000497: JUMPDEST
00000498: POP
00000499: CALLDATALOAD
0000049a: PUSH2 0x0abd
0000049d: JUMP
0000049e: JUMPDEST
0000049f: PUSH2 0x01e7
000004a2: PUSH2 0x0b02
000004a5: JUMP
000004a6: JUMPDEST
000004a7: PUSH2 0x02a3
000004aa: PUSH1 0x04
000004ac: DUP1
000004ad: CALLDATASIZE
000004ae: SUB
000004af: PUSH1 0x40
000004b1: DUP2
000004b2: LT
000004b3: ISZERO
000004b4: PUSH2 0x04bc
000004b7: JUMPI
000004b8: PUSH1 0x00
000004ba: DUP1
000004bb: REVERT
000004bc: JUMPDEST
000004bd: POP
000004be: DUP1
000004bf: CALLDATALOAD
000004c0: SWAP1
000004c1: PUSH1 0x20
000004c3: ADD
000004c4: CALLDATALOAD
000004c5: PUSH2 0x0b11
000004c8: JUMP
000004c9: JUMPDEST
000004ca: PUSH2 0x02a3
000004cd: PUSH1 0x04
000004cf: DUP1
000004d0: CALLDATASIZE
000004d1: SUB
000004d2: PUSH1 0x40
000004d4: DUP2
000004d5: LT
000004d6: ISZERO
000004d7: PUSH2 0x04df
000004da: JUMPI
000004db: PUSH1 0x00
000004dd: DUP1
000004de: REVERT
000004df: JUMPDEST
000004e0: POP
000004e1: DUP1
000004e2: CALLDATALOAD
000004e3: SWAP1
000004e4: PUSH1 0x20
000004e6: ADD
000004e7: CALLDATALOAD
000004e8: PUSH2 0x0dfd
000004eb: JUMP
000004ec: JUMPDEST
000004ed: PUSH2 0x02a3
000004f0: PUSH1 0x04
000004f2: DUP1
000004f3: CALLDATASIZE
000004f4: SUB
000004f5: PUSH1 0x20
000004f7: DUP2
000004f8: LT
000004f9: ISZERO
000004fa: PUSH2 0x0502
000004fd: JUMPI
000004fe: PUSH1 0x00
00000500: DUP1
00000501: REVERT
00000502: JUMPDEST
00000503: POP
00000504: CALLDATALOAD
00000505: PUSH2 0x0ee4
00000508: JUMP
00000509: JUMPDEST
0000050a: PUSH2 0x02a3
0000050d: PUSH1 0x04
0000050f: DUP1
00000510: CALLDATASIZE
00000511: SUB
00000512: PUSH1 0x20
00000514: DUP2
00000515: LT
00000516: ISZERO
00000517: PUSH2 0x051f
0000051a: JUMPI
0000051b: PUSH1 0x00
0000051d: DUP1
0000051e: REVERT
0000051f: JUMPDEST
00000520: POP
00000521: CALLDATALOAD
00000522: PUSH1 0x01
00000524: PUSH1 0x01
00000526: PUSH1 0xa0
00000528: SHL
00000529: SUB
0000052a: AND
0000052b: PUSH2 0x0f41
0000052e: JUMP
0000052f: JUMPDEST
00000530: PUSH1 0x0b
00000532: SLOAD
00000533: PUSH1 0x01
00000535: PUSH1 0x01
00000537: PUSH1 0xa0
00000539: SHL
0000053a: SUB
0000053b: AND
0000053c: DUP2
0000053d: JUMP
0000053e: JUMPDEST
0000053f: PUSH1 0x06
00000541: PUSH1 0x20
00000543: DUP2
00000544: SWAP1
00000545: MSTORE
00000546: PUSH1 0x00
00000548: SWAP2
00000549: DUP3
0000054a: MSTORE
0000054b: PUSH1 0x40
0000054d: SWAP1
0000054e: SWAP2
0000054f: KECCAK256
00000550: DUP1
00000551: SLOAD
00000552: PUSH1 0x01
00000554: DUP3
00000555: ADD
00000556: SLOAD
00000557: PUSH1 0x02
00000559: DUP4
0000055a: ADD
0000055b: SLOAD
0000055c: PUSH1 0x03
0000055e: DUP5
0000055f: ADD
00000560: SLOAD
00000561: PUSH1 0x04
00000563: DUP6
00000564: ADD
00000565: SLOAD
00000566: PUSH1 0x05
00000568: DUP7
00000569: ADD
0000056a: SLOAD
0000056b: SWAP7
0000056c: DUP7
0000056d: ADD
0000056e: SLOAD
0000056f: PUSH1 0x07
00000571: DUP8
00000572: ADD
00000573: SLOAD
00000574: PUSH1 0x08
00000576: DUP9
00000577: ADD
00000578: SLOAD
00000579: PUSH1 0x09
0000057b: SWAP1
0000057c: SWAP9
0000057d: ADD
0000057e: SLOAD
0000057f: SWAP7
00000580: SWAP9
00000581: PUSH1 0x01
00000583: PUSH1 0x01
00000585: PUSH1 0xa0
00000587: SHL
00000588: SUB
00000589: SWAP7
0000058a: DUP8
0000058b: AND
0000058c: SWAP9
0000058d: SWAP7
0000058e: SWAP1
0000058f: SWAP6
00000590: AND
00000591: SWAP7
00000592: SWAP4
00000593: SWAP6
00000594: SWAP3
00000595: SWAP5
00000596: SWAP4
00000597: SWAP2
00000598: SWAP3
00000599: SWAP1
0000059a: SWAP2
0000059b: PUSH1 0xff
0000059d: DUP1
0000059e: DUP4
0000059f: AND
000005a0: SWAP3
000005a1: PUSH2 0x0100
000005a4: SWAP1
000005a5: DIV
000005a6: AND
000005a7: SWAP1
000005a8: DUP12
000005a9: JUMP
000005aa: JUMPDEST
000005ab: PUSH2 0x05b2
000005ae: PUSH2 0x1039
000005b1: JUMP
000005b2: JUMPDEST
000005b3: PUSH1 0x00
000005b5: SLOAD
000005b6: PUSH1 0x01
000005b8: PUSH1 0x01
000005ba: PUSH1 0xa0
000005bc: SHL
000005bd: SUB
000005be: SWAP1
000005bf: DUP2
000005c0: AND
000005c1: SWAP2
000005c2: AND
000005c3: EQ
000005c4: PUSH2 0x0602
000005c7: JUMPI
000005c8: PUSH1 0x40
000005ca: DUP1
000005cb: MLOAD
000005cc: PUSH3 0x461bcd
000005d0: PUSH1 0xe5
000005d2: SHL
000005d3: DUP2
000005d4: MSTORE
000005d5: PUSH1 0x20
000005d7: PUSH1 0x04
000005d9: DUP3
000005da: ADD
000005db: DUP2
000005dc: SWAP1
000005dd: MSTORE
000005de: PUSH1 0x24
000005e0: DUP3
000005e1: ADD
000005e2: MSTORE
000005e3: PUSH1 0x00
000005e5: DUP1
000005e6: MLOAD
000005e7: PUSH1 0x20
000005e9: PUSH2 0x2f19
000005ec: DUP4
000005ed: CODECOPY
000005ee: DUP2
000005ef: MLOAD
000005f0: SWAP2
000005f1: MSTORE
000005f2: PUSH1 0x44
000005f4: DUP3
000005f5: ADD
000005f6: MSTORE
000005f7: SWAP1
000005f8: MLOAD
000005f9: SWAP1
000005fa: DUP2
000005fb: SWAP1
000005fc: SUB
000005fd: PUSH1 0x64
000005ff: ADD
00000600: SWAP1
00000601: REVERT
00000602: JUMPDEST
00000603: PUSH1 0x00
00000605: DUP2
00000606: GT
00000607: PUSH2 0x0650
0000060a: JUMPI
0000060b: PUSH1 0x40
0000060d: DUP1
0000060e: MLOAD
0000060f: PUSH3 0x461bcd
00000613: PUSH1 0xe5
00000615: SHL
00000616: DUP2
00000617: MSTORE
00000618: PUSH1 0x20
0000061a: PUSH1 0x04
0000061c: DUP3
0000061d: ADD
0000061e: MSTORE
0000061f: PUSH1 0x16
00000621: PUSH1 0x24
00000623: DUP3
00000624: ADD
00000625: MSTORE
00000626: PUSH22 0x5a45524f5f4c49515549444154494f4e5f424f4e5553
0000063d: PUSH1 0x50
0000063f: SHL
00000640: PUSH1 0x44
00000642: DUP3
00000643: ADD
00000644: MSTORE
00000645: SWAP1
00000646: MLOAD
00000647: SWAP1
00000648: DUP2
00000649: SWAP1
0000064a: SUB
0000064b: PUSH1 0x64
0000064d: ADD
0000064e: SWAP1
0000064f: REVERT
00000650: JUMPDEST
00000651: PUSH1 0x03
00000653: SSTORE
00000654: JUMP
00000655: JUMPDEST
00000656: CALLER
00000657: PUSH1 0x00
00000659: SWAP1
0000065a: DUP2
0000065b: MSTORE
0000065c: PUSH1 0x07
0000065e: PUSH1 0x20
00000660: MSTORE
00000661: PUSH1 0x40
00000663: SWAP1
00000664: KECCAK256
00000665: SLOAD
00000666: DUP2
00000667: GT
00000668: ISZERO
00000669: PUSH2 0x0671
0000066c: JUMPI
0000066d: PUSH1 0x00
0000066f: DUP1
00000670: REVERT
00000671: JUMPDEST
00000672: CALLER
00000673: PUSH1 0x00
00000675: SWAP1
00000676: DUP2
00000677: MSTORE
00000678: PUSH1 0x07
0000067a: PUSH1 0x20
0000067c: MSTORE
0000067d: PUSH1 0x40
0000067f: SWAP1
00000680: KECCAK256
00000681: SLOAD
00000682: PUSH2 0x068b
00000685: SWAP1
00000686: DUP3
00000687: PUSH2 0x103d
0000068a: JUMP
0000068b: JUMPDEST
0000068c: CALLER
0000068d: PUSH1 0x00
0000068f: DUP2
00000690: DUP2
00000691: MSTORE
00000692: PUSH1 0x07
00000694: PUSH1 0x20
00000696: MSTORE
00000697: PUSH1 0x40
00000699: SWAP1
0000069a: KECCAK256
0000069b: SWAP2
0000069c: SWAP1
0000069d: SWAP2
0000069e: SSTORE
0000069f: PUSH1 0x02
000006a1: SLOAD
000006a2: PUSH2 0x06b7
000006a5: SWAP2
000006a6: PUSH1 0x01
000006a8: PUSH1 0x01
000006aa: PUSH1 0xa0
000006ac: SHL
000006ad: SUB
000006ae: SWAP1
000006af: SWAP2
000006b0: AND
000006b1: SWAP1
000006b2: DUP4
000006b3: PUSH2 0x1088
000006b6: JUMP
000006b7: JUMPDEST
000006b8: POP
000006b9: JUMP
000006ba: JUMPDEST
000006bb: PUSH8 0x0de0b6b3a7640000
000006c4: DUP2
000006c5: JUMP
000006c6: JUMPDEST
000006c7: PUSH1 0x0a
000006c9: SLOAD
000006ca: PUSH1 0x01
000006cc: PUSH1 0x01
000006ce: PUSH1 0xa0
000006d0: SHL
000006d1: SUB
000006d2: AND
000006d3: DUP2
000006d4: JUMP
000006d5: JUMPDEST
000006d6: PUSH1 0x08
000006d8: PUSH1 0x20
000006da: MSTORE
000006db: PUSH1 0x00
000006dd: SWAP1
000006de: DUP2
000006df: MSTORE
000006e0: PUSH1 0x40
000006e2: SWAP1
000006e3: KECCAK256
000006e4: SLOAD
000006e5: DUP2
000006e6: JUMP
000006e7: JUMPDEST
000006e8: PUSH8 0x0f43fc2c04ee0000
000006f1: DUP2
000006f2: JUMP
000006f3: JUMPDEST
000006f4: PUSH1 0x00
000006f6: DUP2
000006f7: DUP2
000006f8: MSTORE
000006f9: PUSH1 0x06
000006fb: PUSH1 0x20
000006fd: MSTORE
000006fe: PUSH1 0x40
00000700: DUP2
00000701: KECCAK256
00000702: PUSH1 0x08
00000704: DUP2
00000705: ADD
00000706: SLOAD
00000707: PUSH2 0x0100
0000070a: SWAP1
0000070b: DIV
0000070c: PUSH1 0xff
0000070e: AND
0000070f: ISZERO
00000710: PUSH2 0x07bb
00000713: JUMPI
00000714: PUSH1 0x01
00000716: DUP1
00000717: SLOAD
00000718: SWAP1
00000719: DUP3
0000071a: ADD
0000071b: SLOAD
0000071c: PUSH1 0x04
0000071e: DUP4
0000071f: ADD
00000720: SLOAD
00000721: PUSH1 0x00
00000723: SWAP3
00000724: PUSH2 0x073b
00000727: SWAP3
00000728: PUSH1 0x01
0000072a: PUSH1 0x01
0000072c: PUSH1 0xa0
0000072e: SHL
0000072f: SUB
00000730: SWAP2
00000731: DUP3
00000732: AND
00000733: SWAP3
00000734: SWAP2
00000735: AND
00000736: SWAP1
00000737: PUSH2 0x10da
0000073a: JUMP
0000073b: JUMPDEST
0000073c: SWAP1
0000073d: POP
0000073e: PUSH1 0x00
00000740: PUSH2 0x074c
00000743: DUP4
00000744: PUSH1 0x00
00000746: ADD
00000747: SLOAD
00000748: PUSH2 0x09af
0000074b: JUMP
0000074c: JUMPDEST
0000074d: SWAP1
0000074e: POP
0000074f: PUSH2 0x07af
00000752: PUSH8 0x0de0b6b3a7640000
0000075b: PUSH2 0x07a9
0000075e: PUSH8 0x0f43fc2c04ee0000
00000767: PUSH2 0x07a3
0000076a: PUSH2 0x0784
0000076d: DUP9
0000076e: PUSH1 0x05
00000770: ADD
00000771: SLOAD
00000772: DUP10
00000773: PUSH1 0x04
00000775: ADD
00000776: SLOAD
00000777: PUSH2 0x1249
0000077a: SWAP1
0000077b: SWAP2
0000077c: SWAP1
0000077d: PUSH4 0xffffffff
00000782: AND
00000783: JUMP
00000784: JUMPDEST
00000785: PUSH2 0x07a9
00000788: DUP10
00000789: PUSH1 0x04
0000078b: ADD
0000078c: SLOAD
0000078d: PUSH2 0x07a3
00000790: DUP10
00000791: DUP13
00000792: PUSH1 0x03
00000794: ADD
00000795: SLOAD
00000796: PUSH2 0x1249
00000799: SWAP1
0000079a: SWAP2
0000079b: SWAP1
0000079c: PUSH4 0xffffffff
000007a1: AND
000007a2: JUMP
000007a3: JUMPDEST
000007a4: SWAP1
000007a5: PUSH2 0x12a3
000007a8: JUMP
000007a9: JUMPDEST
000007aa: SWAP1
000007ab: PUSH2 0x12fc
000007ae: JUMP
000007af: JUMPDEST
000007b0: DUP3
000007b1: LT
000007b2: SWAP4
000007b3: POP
000007b4: POP
000007b5: POP
000007b6: POP
000007b7: PUSH2 0x083c
000007ba: JUMP
000007bb: JUMPDEST
000007bc: PUSH1 0x01
000007be: DUP1
000007bf: DUP3
000007c0: ADD
000007c1: SLOAD
000007c2: SWAP1
000007c3: SLOAD
000007c4: PUSH1 0x04
000007c6: DUP4
000007c7: ADD
000007c8: SLOAD
000007c9: PUSH1 0x00
000007cb: SWAP3
000007cc: PUSH2 0x07e3
000007cf: SWAP3
000007d0: PUSH1 0x01
000007d2: PUSH1 0x01
000007d4: PUSH1 0xa0
000007d6: SHL
000007d7: SUB
000007d8: SWAP2
000007d9: DUP3
000007da: AND
000007db: SWAP3
000007dc: SWAP2
000007dd: AND
000007de: SWAP1
000007df: PUSH2 0x10da
000007e2: JUMP
000007e3: JUMPDEST
000007e4: SWAP1
000007e5: POP
000007e6: PUSH1 0x00
000007e8: PUSH2 0x07f4
000007eb: DUP4
000007ec: PUSH1 0x00
000007ee: ADD
000007ef: SLOAD
000007f0: PUSH2 0x09af
000007f3: JUMP
000007f4: JUMPDEST
000007f5: SWAP1
000007f6: POP
000007f7: PUSH2 0x0825
000007fa: PUSH8 0x0de0b6b3a7640000
00000803: PUSH2 0x07a9
00000806: PUSH8 0x0f43fc2c04ee0000
0000080f: PUSH2 0x07a3
00000812: DUP6
00000813: DUP9
00000814: PUSH1 0x03
00000816: ADD
00000817: SLOAD
00000818: PUSH2 0x1249
0000081b: SWAP1
0000081c: SWAP2
0000081d: SWAP1
0000081e: PUSH4 0xffffffff
00000823: AND
00000824: JUMP
00000825: JUMPDEST
00000826: PUSH1 0x05
00000828: DUP5
00000829: ADD
0000082a: SLOAD
0000082b: PUSH2 0x0835
0000082e: SWAP1
0000082f: DUP5
00000830: SWAP1
00000831: PUSH2 0x1249
00000834: JUMP
00000835: JUMPDEST
00000836: LT
00000837: SWAP4
00000838: POP
00000839: POP
0000083a: POP
0000083b: POP
0000083c: JUMPDEST
0000083d: SWAP2
0000083e: SWAP1
0000083f: POP
00000840: JUMP
00000841: JUMPDEST
00000842: PUSH1 0x09
00000844: SLOAD
00000845: DUP2
00000846: JUMP
00000847: JUMPDEST
00000848: PUSH1 0x07
0000084a: PUSH1 0x20
0000084c: MSTORE
0000084d: PUSH1 0x00
0000084f: SWAP1
00000850: DUP2
00000851: MSTORE
00000852: PUSH1 0x40
00000854: SWAP1
00000855: KECCAK256
00000856: SLOAD
00000857: DUP2
00000858: JUMP
00000859: JUMPDEST
0000085a: PUSH2 0x0861
0000085d: PUSH2 0x1039
00000860: JUMP
00000861: JUMPDEST
00000862: PUSH1 0x00
00000864: SLOAD
00000865: PUSH1 0x01
00000867: PUSH1 0x01
00000869: PUSH1 0xa0
0000086b: SHL
0000086c: SUB
0000086d: SWAP1
0000086e: DUP2
0000086f: AND
00000870: SWAP2
00000871: AND
00000872: EQ
00000873: PUSH2 0x08b1
00000876: JUMPI
00000877: PUSH1 0x40
00000879: DUP1
0000087a: MLOAD
0000087b: PUSH3 0x461bcd
0000087f: PUSH1 0xe5
00000881: SHL
00000882: DUP2
00000883: MSTORE
00000884: PUSH1 0x20
00000886: PUSH1 0x04
00000888: DUP3
00000889: ADD
0000088a: DUP2
0000088b: SWAP1
0000088c: MSTORE
0000088d: PUSH1 0x24
0000088f: DUP3
00000890: ADD
00000891: MSTORE
00000892: PUSH1 0x00
00000894: DUP1
00000895: MLOAD
00000896: PUSH1 0x20
00000898: PUSH2 0x2f19
0000089b: DUP4
0000089c: CODECOPY
0000089d: DUP2
0000089e: MLOAD
0000089f: SWAP2
000008a0: MSTORE
000008a1: PUSH1 0x44
000008a3: DUP3
000008a4: ADD
000008a5: MSTORE
000008a6: SWAP1
000008a7: MLOAD
000008a8: SWAP1
000008a9: DUP2
000008aa: SWAP1
000008ab: SUB
000008ac: PUSH1 0x64
000008ae: ADD
000008af: SWAP1
000008b0: REVERT
000008b1: JUMPDEST
000008b2: PUSH1 0x00
000008b4: DUP1
000008b5: SLOAD
000008b6: PUSH1 0x40
000008b8: MLOAD
000008b9: PUSH1 0x01
000008bb: PUSH1 0x01
000008bd: PUSH1 0xa0
000008bf: SHL
000008c0: SUB
000008c1: SWAP1
000008c2: SWAP2
000008c3: AND
000008c4: SWAP1
000008c5: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000008e6: SWAP1
000008e7: DUP4
000008e8: SWAP1
000008e9: LOG3
000008ea: PUSH1 0x00
000008ec: DUP1
000008ed: SLOAD
000008ee: PUSH1 0x01
000008f0: PUSH1 0x01
000008f2: PUSH1 0xa0
000008f4: SHL
000008f5: SUB
000008f6: NOT
000008f7: AND
000008f8: SWAP1
000008f9: SSTORE
000008fa: JUMP
000008fb: JUMPDEST
000008fc: PUSH1 0x03
000008fe: SLOAD
000008ff: DUP2
00000900: JUMP
00000901: JUMPDEST
00000902: CALLER
00000903: ORIGIN
00000904: EQ
00000905: PUSH2 0x090d
00000908: JUMPI
00000909: PUSH1 0x00
0000090b: DUP1
0000090c: REVERT
0000090d: JUMPDEST
0000090e: PUSH2 0x091b
00000911: DUP5
00000912: DUP5
00000913: DUP5
00000914: DUP5
00000915: PUSH1 0x00
00000917: PUSH2 0x133e
0000091a: JUMP
0000091b: JUMPDEST
0000091c: POP
0000091d: POP
0000091e: POP
0000091f: POP
00000920: JUMP
00000921: JUMPDEST
00000922: PUSH4 0x01e13380
00000927: DUP2
00000928: JUMP
00000929: JUMPDEST
0000092a: CALLER
0000092b: ORIGIN
0000092c: EQ
0000092d: PUSH2 0x0935
00000930: JUMPI
00000931: PUSH1 0x00
00000933: DUP1
00000934: REVERT
00000935: JUMPDEST
00000936: PUSH2 0x091b
00000939: DUP5
0000093a: DUP5
0000093b: DUP5
0000093c: DUP5
0000093d: PUSH1 0x01
0000093f: PUSH2 0x133e
00000942: JUMP
00000943: JUMPDEST
00000944: PUSH2 0x094b
00000947: PUSH2 0x1039
0000094a: JUMP
0000094b: JUMPDEST
0000094c: PUSH1 0x00
0000094e: SLOAD
0000094f: PUSH1 0x01
00000951: PUSH1 0x01
00000953: PUSH1 0xa0
00000955: SHL
00000956: SUB
00000957: SWAP1
00000958: DUP2
00000959: AND
0000095a: SWAP2
0000095b: AND
0000095c: EQ
0000095d: PUSH2 0x099b
00000960: JUMPI
00000961: PUSH1 0x40
00000963: DUP1
00000964: MLOAD
00000965: PUSH3 0x461bcd
00000969: PUSH1 0xe5
0000096b: SHL
0000096c: DUP2
0000096d: MSTORE
0000096e: PUSH1 0x20
00000970: PUSH1 0x04
00000972: DUP3
00000973: ADD
00000974: DUP2
00000975: SWAP1
00000976: MSTORE
00000977: PUSH1 0x24
00000979: DUP3
0000097a: ADD
0000097b: MSTORE
0000097c: PUSH1 0x00
0000097e: DUP1
0000097f: MLOAD
00000980: PUSH1 0x20
00000982: PUSH2 0x2f19
00000985: DUP4
00000986: CODECOPY
00000987: DUP2
00000988: MLOAD
00000989: SWAP2
0000098a: MSTORE
0000098b: PUSH1 0x44
0000098d: DUP3
0000098e: ADD
0000098f: MSTORE
00000990: SWAP1
00000991: MLOAD
00000992: SWAP1
00000993: DUP2
00000994: SWAP1
00000995: SUB
00000996: PUSH1 0x64
00000998: ADD
00000999: SWAP1
0000099a: REVERT
0000099b: JUMPDEST
0000099c: PUSH1 0x04
0000099e: SSTORE
0000099f: JUMP
000009a0: JUMPDEST
000009a1: PUSH1 0x00
000009a3: SLOAD
000009a4: PUSH1 0x01
000009a6: PUSH1 0x01
000009a8: PUSH1 0xa0
000009aa: SHL
000009ab: SUB
000009ac: AND
000009ad: SWAP1
000009ae: JUMP
000009af: JUMPDEST
000009b0: PUSH1 0x00
000009b2: DUP2
000009b3: DUP2
000009b4: MSTORE
000009b5: PUSH1 0x06
000009b7: PUSH1 0x20
000009b9: MSTORE
000009ba: PUSH1 0x40
000009bc: DUP2
000009bd: KECCAK256
000009be: PUSH1 0x07
000009c0: DUP2
000009c1: ADD
000009c2: SLOAD
000009c3: DUP3
000009c4: SWAP1
000009c5: PUSH2 0x09cf
000009c8: SWAP1
000009c9: TIMESTAMP
000009ca: SWAP1
000009cb: PUSH2 0x103d
000009ce: JUMP
000009cf: JUMPDEST
000009d0: SWAP1
000009d1: POP
000009d2: PUSH2 0x09fe
000009d5: PUSH4 0x01e13380
000009da: PUSH2 0x07a9
000009dd: PUSH2 0x03e8
000009e0: PUSH2 0x07a9
000009e3: DUP7
000009e4: PUSH1 0x09
000009e6: ADD
000009e7: SLOAD
000009e8: PUSH2 0x07a3
000009eb: DUP8
000009ec: DUP10
000009ed: PUSH1 0x03
000009ef: ADD
000009f0: SLOAD
000009f1: PUSH2 0x12a3
000009f4: SWAP1
000009f5: SWAP2
000009f6: SWAP1
000009f7: PUSH4 0xffffffff
000009fc: AND
000009fd: JUMP
000009fe: JUMPDEST
000009ff: SWAP5
00000a00: SWAP4
00000a01: POP
00000a02: POP
00000a03: POP
00000a04: POP
00000a05: JUMP
00000a06: JUMPDEST
00000a07: PUSH2 0x0a0e
00000a0a: PUSH2 0x1039
00000a0d: JUMP
00000a0e: JUMPDEST
00000a0f: PUSH1 0x00
00000a11: SLOAD
00000a12: PUSH1 0x01
00000a14: PUSH1 0x01
00000a16: PUSH1 0xa0
00000a18: SHL
00000a19: SUB
00000a1a: SWAP1
00000a1b: DUP2
00000a1c: AND
00000a1d: SWAP2
00000a1e: AND
00000a1f: EQ
00000a20: PUSH2 0x0a5e
00000a23: JUMPI
00000a24: PUSH1 0x40
00000a26: DUP1
00000a27: MLOAD
00000a28: PUSH3 0x461bcd
00000a2c: PUSH1 0xe5
00000a2e: SHL
00000a2f: DUP2
00000a30: MSTORE
00000a31: PUSH1 0x20
00000a33: PUSH1 0x04
00000a35: DUP3
00000a36: ADD
00000a37: DUP2
00000a38: SWAP1
00000a39: MSTORE
00000a3a: PUSH1 0x24
00000a3c: DUP3
00000a3d: ADD
00000a3e: MSTORE
00000a3f: PUSH1 0x00
00000a41: DUP1
00000a42: MLOAD
00000a43: PUSH1 0x20
00000a45: PUSH2 0x2f19
00000a48: DUP4
00000a49: CODECOPY
00000a4a: DUP2
00000a4b: MLOAD
00000a4c: SWAP2
00000a4d: MSTORE
00000a4e: PUSH1 0x44
00000a50: DUP3
00000a51: ADD
00000a52: MSTORE
00000a53: SWAP1
00000a54: MLOAD
00000a55: SWAP1
00000a56: DUP2
00000a57: SWAP1
00000a58: SUB
00000a59: PUSH1 0x64
00000a5b: ADD
00000a5c: SWAP1
00000a5d: REVERT
00000a5e: JUMPDEST
00000a5f: PUSH1 0x01
00000a61: PUSH1 0x01
00000a63: PUSH1 0xa0
00000a65: SHL
00000a66: SUB
00000a67: DUP2
00000a68: AND
00000a69: PUSH2 0x0a71
00000a6c: JUMPI
00000a6d: PUSH1 0x00
00000a6f: DUP1
00000a70: REVERT
00000a71: JUMPDEST
00000a72: PUSH1 0x0a
00000a74: DUP1
00000a75: SLOAD
00000a76: PUSH1 0x01
00000a78: PUSH1 0x01
00000a7a: PUSH1 0xa0
00000a7c: SHL
00000a7d: SUB
00000a7e: NOT
00000a7f: AND
00000a80: PUSH1 0x01
00000a82: PUSH1 0x01
00000a84: PUSH1 0xa0
00000a86: SHL
00000a87: SUB
00000a88: SWAP3
00000a89: SWAP1
00000a8a: SWAP3
00000a8b: AND
00000a8c: SWAP2
00000a8d: SWAP1
00000a8e: SWAP2
00000a8f: OR
00000a90: SWAP1
00000a91: SSTORE
00000a92: JUMP
00000a93: JUMPDEST
00000a94: PUSH1 0x0d
00000a96: SLOAD
00000a97: PUSH1 0x01
00000a99: PUSH1 0x01
00000a9b: PUSH1 0xa0
00000a9d: SHL
00000a9e: SUB
00000a9f: AND
00000aa0: DUP2
00000aa1: JUMP
00000aa2: JUMPDEST
00000aa3: PUSH1 0x05
00000aa5: SLOAD
00000aa6: DUP2
00000aa7: JUMP
00000aa8: JUMPDEST
00000aa9: PUSH1 0x04
00000aab: SLOAD
00000aac: DUP2
00000aad: JUMP
00000aae: JUMPDEST
00000aaf: PUSH1 0x02
00000ab1: SLOAD
00000ab2: PUSH1 0x01
00000ab4: PUSH1 0x01
00000ab6: PUSH1 0xa0
00000ab8: SHL
00000ab9: SUB
00000aba: AND
00000abb: DUP2
00000abc: JUMP
00000abd: JUMPDEST
00000abe: PUSH1 0x02
00000ac0: SLOAD
00000ac1: PUSH2 0x0ad5
00000ac4: SWAP1
00000ac5: PUSH1 0x01
00000ac7: PUSH1 0x01
00000ac9: PUSH1 0xa0
00000acb: SHL
00000acc: SUB
00000acd: AND
00000ace: CALLER
00000acf: ADDRESS
00000ad0: DUP5
00000ad1: PUSH2 0x1916
00000ad4: JUMP
00000ad5: JUMPDEST
00000ad6: CALLER
00000ad7: PUSH1 0x00
00000ad9: SWAP1
00000ada: DUP2
00000adb: MSTORE
00000adc: PUSH1 0x07
00000ade: PUSH1 0x20
00000ae0: MSTORE
00000ae1: PUSH1 0x40
00000ae3: SWAP1
00000ae4: KECCAK256
00000ae5: SLOAD
00000ae6: PUSH2 0x0aef
00000ae9: SWAP1
00000aea: DUP3
00000aeb: PUSH2 0x1249
00000aee: JUMP
00000aef: JUMPDEST
00000af0: CALLER
00000af1: PUSH1 0x00
00000af3: SWAP1
00000af4: DUP2
00000af5: MSTORE
00000af6: PUSH1 0x07
00000af8: PUSH1 0x20
00000afa: MSTORE
00000afb: PUSH1 0x40
00000afd: SWAP1
00000afe: KECCAK256
00000aff: SSTORE
00000b00: POP
00000b01: JUMP
00000b02: JUMPDEST
00000b03: PUSH1 0x0c
00000b05: SLOAD
00000b06: PUSH1 0x01
00000b08: PUSH1 0x01
00000b0a: PUSH1 0xa0
00000b0c: SHL
00000b0d: SUB
00000b0e: AND
00000b0f: DUP2
00000b10: JUMP
00000b11: JUMPDEST
00000b12: CALLER
00000b13: ORIGIN
00000b14: EQ
00000b15: PUSH2 0x0b1d
00000b18: JUMPI
00000b19: PUSH1 0x00
00000b1b: DUP1
00000b1c: REVERT
00000b1d: JUMPDEST
00000b1e: PUSH1 0x00
00000b20: DUP3
00000b21: DUP2
00000b22: MSTORE
00000b23: PUSH1 0x06
00000b25: PUSH1 0x20
00000b27: MSTORE
00000b28: PUSH1 0x40
00000b2a: SWAP1
00000b2b: KECCAK256
00000b2c: PUSH1 0x08
00000b2e: DUP2
00000b2f: ADD
00000b30: SLOAD
00000b31: PUSH1 0xff
00000b33: AND
00000b34: ISZERO
00000b35: PUSH2 0x0b77
00000b38: JUMPI
00000b39: PUSH1 0x40
00000b3b: DUP1
00000b3c: MLOAD
00000b3d: PUSH3 0x461bcd
00000b41: PUSH1 0xe5
00000b43: SHL
00000b44: DUP2
00000b45: MSTORE
00000b46: PUSH1 0x20
00000b48: PUSH1 0x04
00000b4a: DUP3
00000b4b: ADD
00000b4c: MSTORE
00000b4d: PUSH1 0x0f
00000b4f: PUSH1 0x24
00000b51: DUP3
00000b52: ADD
00000b53: MSTORE
00000b54: PUSH15 0x21a627a9a2a22fa827a9a4aa24a7a7
00000b64: PUSH1 0x89
00000b66: SHL
00000b67: PUSH1 0x44
00000b69: DUP3
00000b6a: ADD
00000b6b: MSTORE
00000b6c: SWAP1
00000b6d: MLOAD
00000b6e: SWAP1
00000b6f: DUP2
00000b70: SWAP1
00000b71: SUB
00000b72: PUSH1 0x64
00000b74: ADD
00000b75: SWAP1
00000b76: REVERT
00000b77: JUMPDEST
00000b78: PUSH1 0x08
00000b7a: DUP2
00000b7b: ADD
00000b7c: SLOAD
00000b7d: PUSH2 0x0100
00000b80: SWAP1
00000b81: DIV
00000b82: PUSH1 0xff
00000b84: AND
00000b85: PUSH1 0x00
00000b87: DUP1
00000b88: DUP3
00000b89: PUSH2 0x0ba6
00000b8c: JUMPI
00000b8d: PUSH1 0x01
00000b8f: DUP1
00000b90: SLOAD
00000b91: SWAP1
00000b92: DUP6
00000b93: ADD
00000b94: SLOAD
00000b95: PUSH1 0x01
00000b97: PUSH1 0x01
00000b99: PUSH1 0xa0
00000b9b: SHL
00000b9c: SUB
00000b9d: SWAP2
00000b9e: DUP3
00000b9f: AND
00000ba0: SWAP2
00000ba1: AND
00000ba2: PUSH2 0x0bbc
00000ba5: JUMP
00000ba6: JUMPDEST
00000ba7: PUSH1 0x01
00000ba9: DUP1
00000baa: DUP6
00000bab: ADD
00000bac: SLOAD
00000bad: SWAP1
00000bae: SLOAD
00000baf: PUSH1 0x01
00000bb1: PUSH1 0x01
00000bb3: PUSH1 0xa0
00000bb5: SHL
00000bb6: SUB
00000bb7: SWAP2
00000bb8: DUP3
00000bb9: AND
00000bba: SWAP2
00000bbb: AND
00000bbc: JUMPDEST
00000bbd: PUSH1 0x04
00000bbf: DUP7
00000bc0: ADD
00000bc1: SLOAD
00000bc2: SWAP2
00000bc3: SWAP4
00000bc4: POP
00000bc5: SWAP2
00000bc6: POP
00000bc7: PUSH2 0x0bcf
00000bca: DUP8
00000bcb: PUSH2 0x06f3
00000bce: JUMP
00000bcf: JUMPDEST
00000bd0: PUSH2 0x0c13
00000bd3: JUMPI
00000bd4: PUSH1 0x40
00000bd6: DUP1
00000bd7: MLOAD
00000bd8: PUSH3 0x461bcd
00000bdc: PUSH1 0xe5
00000bde: SHL
00000bdf: DUP2
00000be0: MSTORE
00000be1: PUSH1 0x20
00000be3: PUSH1 0x04
00000be5: DUP3
00000be6: ADD
00000be7: MSTORE
00000be8: PUSH1 0x10
00000bea: PUSH1 0x24
00000bec: DUP3
00000bed: ADD
00000bee: MSTORE
00000bef: PUSH16 0x43414e4e4f545f4c4951554944415445
00000c00: PUSH1 0x80
00000c02: SHL
00000c03: PUSH1 0x44
00000c05: DUP3
00000c06: ADD
00000c07: MSTORE
00000c08: SWAP1
00000c09: MLOAD
00000c0a: SWAP1
00000c0b: DUP2
00000c0c: SWAP1
00000c0d: SUB
00000c0e: PUSH1 0x64
00000c10: ADD
00000c11: SWAP1
00000c12: REVERT
00000c13: JUMPDEST
00000c14: PUSH1 0x00
00000c16: PUSH2 0x0c21
00000c19: DUP4
00000c1a: DUP6
00000c1b: DUP5
00000c1c: DUP11
00000c1d: PUSH2 0x1970
00000c20: JUMP
00000c21: JUMPDEST
00000c22: SWAP1
00000c23: POP
00000c24: PUSH1 0x00
00000c26: DUP6
00000c27: PUSH2 0x0c34
00000c2a: JUMPI
00000c2b: DUP7
00000c2c: PUSH1 0x05
00000c2e: ADD
00000c2f: SLOAD
00000c30: PUSH2 0x0c59
00000c33: JUMP
00000c34: JUMPDEST
00000c35: PUSH1 0x01
00000c37: DUP1
00000c38: SLOAD
00000c39: SWAP1
00000c3a: DUP9
00000c3b: ADD
00000c3c: SLOAD
00000c3d: PUSH1 0x05
00000c3f: DUP10
00000c40: ADD
00000c41: SLOAD
00000c42: PUSH2 0x0c59
00000c45: SWAP3
00000c46: PUSH1 0x01
00000c48: PUSH1 0x01
00000c4a: PUSH1 0xa0
00000c4c: SHL
00000c4d: SUB
00000c4e: SWAP1
00000c4f: DUP2
00000c50: AND
00000c51: SWAP3
00000c52: AND
00000c53: SWAP1
00000c54: DUP12
00000c55: PUSH2 0x1970
00000c58: JUMP
00000c59: JUMPDEST
00000c5a: SWAP1
00000c5b: POP
00000c5c: PUSH1 0x00
00000c5e: PUSH2 0x0c9b
00000c61: PUSH2 0x0c8a
00000c64: PUSH8 0x0de0b6b3a7640000
00000c6d: PUSH2 0x07a9
00000c70: PUSH7 0x1c6bf526340000
00000c78: DUP13
00000c79: PUSH1 0x03
00000c7b: ADD
00000c7c: SLOAD
00000c7d: PUSH2 0x12a3
00000c80: SWAP1
00000c81: SWAP2
00000c82: SWAP1
00000c83: PUSH4 0xffffffff
00000c88: AND
00000c89: JUMP
00000c8a: JUMPDEST
00000c8b: DUP10
00000c8c: SLOAD
00000c8d: PUSH2 0x0c95
00000c90: SWAP1
00000c91: PUSH2 0x09af
00000c94: JUMP
00000c95: JUMPDEST
00000c96: SWAP1
00000c97: PUSH2 0x1249
00000c9a: JUMP
00000c9b: JUMPDEST
00000c9c: SWAP1
00000c9d: POP
00000c9e: PUSH1 0x00
00000ca0: PUSH2 0x0ca9
00000ca3: DUP5
00000ca4: DUP5
00000ca5: PUSH2 0x1249
00000ca8: JUMP
00000ca9: JUMPDEST
00000caa: PUSH1 0x40
00000cac: DUP1
00000cad: MLOAD
00000cae: PUSH2 0x0160
00000cb1: DUP2
00000cb2: ADD
00000cb3: DUP3
00000cb4: MSTORE
00000cb5: DUP12
00000cb6: SLOAD
00000cb7: DUP2
00000cb8: MSTORE
00000cb9: PUSH1 0x01
00000cbb: DUP13
00000cbc: ADD
00000cbd: SLOAD
00000cbe: PUSH1 0x01
00000cc0: PUSH1 0x01
00000cc2: PUSH1 0xa0
00000cc4: SHL
00000cc5: SUB
00000cc6: SWAP1
00000cc7: DUP2
00000cc8: AND
00000cc9: PUSH1 0x20
00000ccb: DUP4
00000ccc: ADD
00000ccd: MSTORE
00000cce: PUSH1 0x02
00000cd0: DUP14
00000cd1: ADD
00000cd2: SLOAD
00000cd3: AND
00000cd4: SWAP2
00000cd5: DUP2
00000cd6: ADD
00000cd7: SWAP2
00000cd8: SWAP1
00000cd9: SWAP2
00000cda: MSTORE
00000cdb: PUSH1 0x03
00000cdd: DUP12
00000cde: ADD
00000cdf: SLOAD
00000ce0: PUSH1 0x60
00000ce2: DUP3
00000ce3: ADD
00000ce4: MSTORE
00000ce5: PUSH1 0x04
00000ce7: DUP12
00000ce8: ADD
00000ce9: SLOAD
00000cea: PUSH1 0x80
00000cec: DUP3
00000ced: ADD
00000cee: MSTORE
00000cef: PUSH1 0x05
00000cf1: DUP12
00000cf2: ADD
00000cf3: SLOAD
00000cf4: PUSH1 0xa0
00000cf6: DUP3
00000cf7: ADD
00000cf8: MSTORE
00000cf9: PUSH1 0x06
00000cfb: DUP12
00000cfc: ADD
00000cfd: SLOAD
00000cfe: PUSH1 0xc0
00000d00: DUP3
00000d01: ADD
00000d02: MSTORE
00000d03: PUSH1 0x07
00000d05: DUP12
00000d06: ADD
00000d07: SLOAD
00000d08: PUSH1 0xe0
00000d0a: DUP3
00000d0b: ADD
00000d0c: MSTORE
00000d0d: PUSH1 0x08
00000d0f: DUP12
00000d10: ADD
00000d11: SLOAD
00000d12: PUSH1 0xff
00000d14: DUP1
00000d15: DUP3
00000d16: AND
00000d17: ISZERO
00000d18: ISZERO
00000d19: PUSH2 0x0100
00000d1c: DUP1
00000d1d: DUP6
00000d1e: ADD
00000d1f: SWAP2
00000d20: SWAP1
00000d21: SWAP2
00000d22: MSTORE
00000d23: SWAP1
00000d24: SWAP2
00000d25: DIV
00000d26: AND
00000d27: ISZERO
00000d28: ISZERO
00000d29: PUSH2 0x0120
00000d2c: DUP3
00000d2d: ADD
00000d2e: MSTORE
00000d2f: PUSH1 0x09
00000d31: DUP12
00000d32: ADD
00000d33: SLOAD
00000d34: PUSH2 0x0140
00000d37: DUP3
00000d38: ADD
00000d39: MSTORE
00000d3a: SWAP1
00000d3b: SWAP2
00000d3c: POP
00000d3d: PUSH2 0x0d48
00000d40: SWAP1
00000d41: DUP3
00000d42: DUP5
00000d43: DUP14
00000d44: PUSH2 0x1cd8
00000d47: JUMP
00000d48: JUMPDEST
00000d49: PUSH1 0x02
00000d4b: DUP10
00000d4c: ADD
00000d4d: SLOAD
00000d4e: PUSH1 0x03
00000d50: SLOAD
00000d51: PUSH1 0x05
00000d53: DUP12
00000d54: ADD
00000d55: SLOAD
00000d56: PUSH2 0x0d74
00000d59: SWAP3
00000d5a: PUSH1 0x01
00000d5c: PUSH1 0x01
00000d5e: PUSH1 0xa0
00000d60: SHL
00000d61: SUB
00000d62: AND
00000d63: SWAP2
00000d64: PUSH1 0x00
00000d66: SWAP2
00000d67: PUSH2 0x0d6f
00000d6a: SWAP2
00000d6b: PUSH2 0x1249
00000d6e: JUMP
00000d6f: JUMPDEST
00000d70: PUSH2 0x1ea5
00000d73: JUMP
00000d74: JUMPDEST
00000d75: PUSH1 0x08
00000d77: DUP10
00000d78: ADD
00000d79: DUP1
00000d7a: SLOAD
00000d7b: PUSH1 0xff
00000d7d: NOT
00000d7e: AND
00000d7f: PUSH1 0x01
00000d81: SWAP1
00000d82: DUP2
00000d83: OR
00000d84: SWAP1
00000d85: SWAP2
00000d86: SSTORE
00000d87: DUP10
00000d88: ADD
00000d89: SLOAD
00000d8a: DUP10
00000d8b: SLOAD
00000d8c: PUSH1 0x40
00000d8e: DUP1
00000d8f: MLOAD
00000d90: SWAP2
00000d91: DUP3
00000d92: MSTORE
00000d93: DUP11
00000d94: ISZERO
00000d95: ISZERO
00000d96: PUSH1 0x20
00000d98: DUP4
00000d99: ADD
00000d9a: MSTORE
00000d9b: DUP1
00000d9c: MLOAD
00000d9d: PUSH1 0x01
00000d9f: PUSH1 0x01
00000da1: PUSH1 0xa0
00000da3: SHL
00000da4: SUB
00000da5: SWAP1
00000da6: SWAP4
00000da7: AND
00000da8: SWAP3
00000da9: CALLER
00000daa: SWAP3
00000dab: PUSH32 0x1327491af5beea6d0338ab3dbd4baa51e6117f2b5e768437a996f1cc6a0d3529
00000dcc: SWAP3
00000dcd: SWAP1
00000dce: DUP3
00000dcf: SWAP1
00000dd0: SUB
00000dd1: ADD
00000dd2: SWAP1
00000dd3: LOG3
00000dd4: PUSH1 0x03
00000dd6: SLOAD
00000dd7: PUSH1 0x02
00000dd9: SLOAD
00000dda: PUSH2 0x0df0
00000ddd: SWAP2
00000dde: PUSH1 0x01
00000de0: PUSH1 0x01
00000de2: PUSH1 0xa0
00000de4: SHL
00000de5: SUB
00000de6: SWAP1
00000de7: SWAP2
00000de8: AND
00000de9: SWAP1
00000dea: CALLER
00000deb: SWAP1
00000dec: PUSH2 0x1088
00000def: JUMP
00000df0: JUMPDEST
00000df1: POP
00000df2: POP
00000df3: POP
00000df4: POP
00000df5: POP
00000df6: POP
00000df7: POP
00000df8: POP
00000df9: POP
00000dfa: POP
00000dfb: POP
00000dfc: JUMP
00000dfd: JUMPDEST
00000dfe: CALLER
00000dff: ORIGIN
00000e00: EQ
00000e01: PUSH2 0x0e09
00000e04: JUMPI
00000e05: PUSH1 0x00
00000e07: DUP1
00000e08: REVERT
00000e09: JUMPDEST
00000e0a: PUSH1 0x00
00000e0c: DUP3
00000e0d: DUP2
00000e0e: MSTORE
00000e0f: PUSH1 0x06
00000e11: PUSH1 0x20
00000e13: MSTORE
00000e14: PUSH1 0x40
00000e16: SWAP1
00000e17: KECCAK256
00000e18: PUSH1 0x08
00000e1a: DUP2
00000e1b: ADD
00000e1c: SLOAD
00000e1d: PUSH1 0xff
00000e1f: AND
00000e20: ISZERO
00000e21: PUSH2 0x0e63
00000e24: JUMPI
00000e25: PUSH1 0x40
00000e27: DUP1
00000e28: MLOAD
00000e29: PUSH3 0x461bcd
00000e2d: PUSH1 0xe5
00000e2f: SHL
00000e30: DUP2
00000e31: MSTORE
00000e32: PUSH1 0x20
00000e34: PUSH1 0x04
00000e36: DUP3
00000e37: ADD
00000e38: MSTORE
00000e39: PUSH1 0x0f
00000e3b: PUSH1 0x24
00000e3d: DUP3
00000e3e: ADD
00000e3f: MSTORE
00000e40: PUSH15 0x21a627a9a2a22fa827a9a4aa24a7a7
00000e50: PUSH1 0x89
00000e52: SHL
00000e53: PUSH1 0x44
00000e55: DUP3
00000e56: ADD
00000e57: MSTORE
00000e58: SWAP1
00000e59: MLOAD
00000e5a: SWAP1
00000e5b: DUP2
00000e5c: SWAP1
00000e5d: SUB
00000e5e: PUSH1 0x64
00000e60: ADD
00000e61: SWAP1
00000e62: REVERT
00000e63: JUMPDEST
00000e64: PUSH1 0x02
00000e66: DUP2
00000e67: ADD
00000e68: SLOAD
00000e69: PUSH1 0x01
00000e6b: PUSH1 0x01
00000e6d: PUSH1 0xa0
00000e6f: SHL
00000e70: SUB
00000e71: AND
00000e72: CALLER
00000e73: EQ
00000e74: PUSH2 0x0eb4
00000e77: JUMPI
00000e78: PUSH1 0x40
00000e7a: DUP1
00000e7b: MLOAD
00000e7c: PUSH3 0x461bcd
00000e80: PUSH1 0xe5
00000e82: SHL
00000e83: DUP2
00000e84: MSTORE
00000e85: PUSH1 0x20
00000e87: PUSH1 0x04
00000e89: DUP3
00000e8a: ADD
00000e8b: MSTORE
00000e8c: PUSH1 0x0d
00000e8e: PUSH1 0x24
00000e90: DUP3
00000e91: ADD
00000e92: MSTORE
00000e93: PUSH13 0x424f52524f5745525f4f4e4c59
00000ea1: PUSH1 0x98
00000ea3: SHL
00000ea4: PUSH1 0x44
00000ea6: DUP3
00000ea7: ADD
00000ea8: MSTORE
00000ea9: SWAP1
00000eaa: MLOAD
00000eab: SWAP1
00000eac: DUP2
00000ead: SWAP1
00000eae: SUB
00000eaf: PUSH1 0x64
00000eb1: ADD
00000eb2: SWAP1
00000eb3: REVERT
00000eb4: JUMPDEST
00000eb5: PUSH1 0x08
00000eb7: DUP2
00000eb8: ADD
00000eb9: SLOAD
00000eba: PUSH2 0x0100
00000ebd: SWAP1
00000ebe: DIV
00000ebf: PUSH1 0xff
00000ec1: AND
00000ec2: ISZERO
00000ec3: PUSH2 0x0ed5
00000ec6: JUMPI
00000ec7: PUSH2 0x0ed0
00000eca: DUP2
00000ecb: DUP4
00000ecc: PUSH2 0x1f44
00000ecf: JUMP
00000ed0: JUMPDEST
00000ed1: PUSH2 0x0edf
00000ed4: JUMP
00000ed5: JUMPDEST
00000ed6: PUSH2 0x0edf
00000ed9: DUP2
00000eda: DUP4
00000edb: PUSH2 0x2270
00000ede: JUMP
00000edf: JUMPDEST
00000ee0: POP
00000ee1: POP
00000ee2: POP
00000ee3: JUMP
00000ee4: JUMPDEST
00000ee5: PUSH2 0x0eec
00000ee8: PUSH2 0x1039
00000eeb: JUMP
00000eec: JUMPDEST
00000eed: PUSH1 0x00
00000eef: SLOAD
00000ef0: PUSH1 0x01
00000ef2: PUSH1 0x01
00000ef4: PUSH1 0xa0
00000ef6: SHL
00000ef7: SUB
00000ef8: SWAP1
00000ef9: DUP2
00000efa: AND
00000efb: SWAP2
00000efc: AND
00000efd: EQ
00000efe: PUSH2 0x0f3c
00000f01: JUMPI
00000f02: PUSH1 0x40
00000f04: DUP1
00000f05: MLOAD
00000f06: PUSH3 0x461bcd
00000f0a: PUSH1 0xe5
00000f0c: SHL
00000f0d: DUP2
00000f0e: MSTORE
00000f0f: PUSH1 0x20
00000f11: PUSH1 0x04
00000f13: DUP3
00000f14: ADD
00000f15: DUP2
00000f16: SWAP1
00000f17: MSTORE
00000f18: PUSH1 0x24
00000f1a: DUP3
00000f1b: ADD
00000f1c: MSTORE
00000f1d: PUSH1 0x00
00000f1f: DUP1
00000f20: MLOAD
00000f21: PUSH1 0x20
00000f23: PUSH2 0x2f19
00000f26: DUP4
00000f27: CODECOPY
00000f28: DUP2
00000f29: MLOAD
00000f2a: SWAP2
00000f2b: MSTORE
00000f2c: PUSH1 0x44
00000f2e: DUP3
00000f2f: ADD
00000f30: MSTORE
00000f31: SWAP1
00000f32: MLOAD
00000f33: SWAP1
00000f34: DUP2
00000f35: SWAP1
00000f36: SUB
00000f37: PUSH1 0x64
00000f39: ADD
00000f3a: SWAP1
00000f3b: REVERT
00000f3c: JUMPDEST
00000f3d: PUSH1 0x09
00000f3f: SSTORE
00000f40: JUMP
00000f41: JUMPDEST
00000f42: PUSH2 0x0f49
00000f45: PUSH2 0x1039
00000f48: JUMP
00000f49: JUMPDEST
00000f4a: PUSH1 0x00
00000f4c: SLOAD
00000f4d: PUSH1 0x01
00000f4f: PUSH1 0x01
00000f51: PUSH1 0xa0
00000f53: SHL
00000f54: SUB
00000f55: SWAP1
00000f56: DUP2
00000f57: AND
00000f58: SWAP2
00000f59: AND
00000f5a: EQ
00000f5b: PUSH2 0x0f99
00000f5e: JUMPI
00000f5f: PUSH1 0x40
00000f61: DUP1
00000f62: MLOAD
00000f63: PUSH3 0x461bcd
00000f67: PUSH1 0xe5
00000f69: SHL
00000f6a: DUP2
00000f6b: MSTORE
00000f6c: PUSH1 0x20
00000f6e: PUSH1 0x04
00000f70: DUP3
00000f71: ADD
00000f72: DUP2
00000f73: SWAP1
00000f74: MSTORE
00000f75: PUSH1 0x24
00000f77: DUP3
00000f78: ADD
00000f79: MSTORE
00000f7a: PUSH1 0x00
00000f7c: DUP1
00000f7d: MLOAD
00000f7e: PUSH1 0x20
00000f80: PUSH2 0x2f19
00000f83: DUP4
00000f84: CODECOPY
00000f85: DUP2
00000f86: MLOAD
00000f87: SWAP2
00000f88: MSTORE
00000f89: PUSH1 0x44
00000f8b: DUP3
00000f8c: ADD
00000f8d: MSTORE
00000f8e: SWAP1
00000f8f: MLOAD
00000f90: SWAP1
00000f91: DUP2
00000f92: SWAP1
00000f93: SUB
00000f94: PUSH1 0x64
00000f96: ADD
00000f97: SWAP1
00000f98: REVERT
00000f99: JUMPDEST
00000f9a: PUSH1 0x01
00000f9c: PUSH1 0x01
00000f9e: PUSH1 0xa0
00000fa0: SHL
00000fa1: SUB
00000fa2: DUP2
00000fa3: AND
00000fa4: PUSH2 0x0fde
00000fa7: JUMPI
00000fa8: PUSH1 0x40
00000faa: MLOAD
00000fab: PUSH3 0x461bcd
00000faf: PUSH1 0xe5
00000fb1: SHL
00000fb2: DUP2
00000fb3: MSTORE
00000fb4: PUSH1 0x04
00000fb6: ADD
00000fb7: DUP1
00000fb8: DUP1
00000fb9: PUSH1 0x20
00000fbb: ADD
00000fbc: DUP3
00000fbd: DUP2
00000fbe: SUB
00000fbf: DUP3
00000fc0: MSTORE
00000fc1: PUSH1 0x26
00000fc3: DUP2
00000fc4: MSTORE
00000fc5: PUSH1 0x20
00000fc7: ADD
00000fc8: DUP1
00000fc9: PUSH2 0x2ed2
00000fcc: PUSH1 0x26
00000fce: SWAP2
00000fcf: CODECOPY
00000fd0: PUSH1 0x40
00000fd2: ADD
00000fd3: SWAP2
00000fd4: POP
00000fd5: POP
00000fd6: PUSH1 0x40
00000fd8: MLOAD
00000fd9: DUP1
00000fda: SWAP2
00000fdb: SUB
00000fdc: SWAP1
00000fdd: REVERT
00000fde: JUMPDEST
00000fdf: PUSH1 0x00
00000fe1: DUP1
00000fe2: SLOAD
00000fe3: PUSH1 0x40
00000fe5: MLOAD
00000fe6: PUSH1 0x01
00000fe8: PUSH1 0x01
00000fea: PUSH1 0xa0
00000fec: SHL
00000fed: SUB
00000fee: DUP1
00000fef: DUP6
00000ff0: AND
00000ff1: SWAP4
00000ff2: SWAP3
00000ff3: AND
00000ff4: SWAP2
00000ff5: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001016: SWAP2
00001017: LOG3
00001018: PUSH1 0x00
0000101a: DUP1
0000101b: SLOAD
0000101c: PUSH1 0x01
0000101e: PUSH1 0x01
00001020: PUSH1 0xa0
00001022: SHL
00001023: SUB
00001024: NOT
00001025: AND
00001026: PUSH1 0x01
00001028: PUSH1 0x01
0000102a: PUSH1 0xa0
0000102c: SHL
0000102d: SUB
0000102e: SWAP3
0000102f: SWAP1
00001030: SWAP3
00001031: AND
00001032: SWAP2
00001033: SWAP1
00001034: SWAP2
00001035: OR
00001036: SWAP1
00001037: SSTORE
00001038: JUMP
00001039: JUMPDEST
0000103a: CALLER
0000103b: SWAP1
0000103c: JUMP
0000103d: JUMPDEST
0000103e: PUSH1 0x00
00001040: PUSH2 0x107f
00001043: DUP4
00001044: DUP4
00001045: PUSH1 0x40
00001047: MLOAD
00001048: DUP1
00001049: PUSH1 0x40
0000104b: ADD
0000104c: PUSH1 0x40
0000104e: MSTORE
0000104f: DUP1
00001050: PUSH1 0x1e
00001052: DUP2
00001053: MSTORE
00001054: PUSH1 0x20
00001056: ADD
00001057: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00001078: DUP2
00001079: MSTORE
0000107a: POP
0000107b: PUSH2 0x24ee
0000107e: JUMP
0000107f: JUMPDEST
00001080: SWAP1
00001081: POP
00001082: JUMPDEST
00001083: SWAP3
00001084: SWAP2
00001085: POP
00001086: POP
00001087: JUMP
00001088: JUMPDEST
00001089: PUSH1 0x40
0000108b: DUP1
0000108c: MLOAD
0000108d: PUSH1 0x01
0000108f: PUSH1 0x01
00001091: PUSH1 0xa0
00001093: SHL
00001094: SUB
00001095: DUP5
00001096: AND
00001097: PUSH1 0x24
00001099: DUP3
0000109a: ADD
0000109b: MSTORE
0000109c: PUSH1 0x44
0000109e: DUP1
0000109f: DUP3
000010a0: ADD
000010a1: DUP5
000010a2: SWAP1
000010a3: MSTORE
000010a4: DUP3
000010a5: MLOAD
000010a6: DUP1
000010a7: DUP4
000010a8: SUB
000010a9: SWAP1
000010aa: SWAP2
000010ab: ADD
000010ac: DUP2
000010ad: MSTORE
000010ae: PUSH1 0x64
000010b0: SWAP1
000010b1: SWAP2
000010b2: ADD
000010b3: SWAP1
000010b4: SWAP2
000010b5: MSTORE
000010b6: PUSH1 0x20
000010b8: DUP2
000010b9: ADD
000010ba: DUP1
000010bb: MLOAD
000010bc: PUSH1 0x01
000010be: PUSH1 0x01
000010c0: PUSH1 0xe0
000010c2: SHL
000010c3: SUB
000010c4: AND
000010c5: PUSH4 0xa9059cbb
000010ca: PUSH1 0xe0
000010cc: SHL
000010cd: OR
000010ce: SWAP1
000010cf: MSTORE
000010d0: PUSH2 0x0edf
000010d3: SWAP1
000010d4: DUP5
000010d5: SWAP1
000010d6: PUSH2 0x2585
000010d9: JUMP
000010da: JUMPDEST
000010db: PUSH1 0x00
000010dd: DUP1
000010de: PUSH1 0x00
000010e0: PUSH2 0x10e9
000010e3: DUP7
000010e4: DUP7
000010e5: PUSH2 0x2636
000010e8: JUMP
000010e9: JUMPDEST
000010ea: PUSH1 0x0c
000010ec: SLOAD
000010ed: PUSH1 0x40
000010ef: DUP1
000010f0: MLOAD
000010f1: PUSH4 0xe6a43905
000010f6: PUSH1 0xe0
000010f8: SHL
000010f9: DUP2
000010fa: MSTORE
000010fb: PUSH1 0x01
000010fd: PUSH1 0x01
000010ff: PUSH1 0xa0
00001101: SHL
00001102: SUB
00001103: DUP1
00001104: DUP7
00001105: AND
00001106: PUSH1 0x04
00001108: DUP4
00001109: ADD
0000110a: MSTORE
0000110b: DUP1
0000110c: DUP6
0000110d: AND
0000110e: PUSH1 0x24
00001110: DUP4
00001111: ADD
00001112: MSTORE
00001113: SWAP2
00001114: MLOAD
00001115: SWAP5
00001116: SWAP7
00001117: POP
00001118: SWAP3
00001119: SWAP5
0000111a: POP
0000111b: PUSH1 0x00
0000111d: SWAP4
0000111e: SWAP2
0000111f: AND
00001120: SWAP2
00001121: PUSH4 0xe6a43905
00001126: SWAP2
00001127: PUSH1 0x44
00001129: DUP1
0000112a: DUP4
0000112b: ADD
0000112c: SWAP3
0000112d: PUSH1 0x20
0000112f: SWAP3
00001130: SWAP2
00001131: SWAP1
00001132: DUP3
00001133: SWAP1
00001134: SUB
00001135: ADD
00001136: DUP2
00001137: DUP7
00001138: DUP1
00001139: EXTCODESIZE
0000113a: ISZERO
0000113b: DUP1
0000113c: ISZERO
0000113d: PUSH2 0x1145
00001140: JUMPI
00001141: PUSH1 0x00
00001143: DUP1
00001144: REVERT
00001145: JUMPDEST
00001146: POP
00001147: GAS
00001148: STATICCALL
00001149: ISZERO
0000114a: DUP1
0000114b: ISZERO
0000114c: PUSH2 0x1159
0000114f: JUMPI
00001150: RETURNDATASIZE
00001151: PUSH1 0x00
00001153: DUP1
00001154: RETURNDATACOPY
00001155: RETURNDATASIZE
00001156: PUSH1 0x00
00001158: REVERT
00001159: JUMPDEST
0000115a: POP
0000115b: POP
0000115c: POP
0000115d: POP
0000115e: PUSH1 0x40
00001160: MLOAD
00001161: RETURNDATASIZE
00001162: PUSH1 0x20
00001164: DUP2
00001165: LT
00001166: ISZERO
00001167: PUSH2 0x116f
0000116a: JUMPI
0000116b: PUSH1 0x00
0000116d: DUP1
0000116e: REVERT
0000116f: JUMPDEST
00001170: POP
00001171: MLOAD
00001172: PUSH1 0x40
00001174: DUP1
00001175: MLOAD
00001176: PUSH4 0x0240bc6b
0000117b: PUSH1 0xe2
0000117d: SHL
0000117e: DUP2
0000117f: MSTORE
00001180: SWAP1
00001181: MLOAD
00001182: SWAP2
00001183: SWAP3
00001184: POP
00001185: PUSH1 0x00
00001187: SWAP2
00001188: DUP3
00001189: SWAP2
0000118a: PUSH1 0x01
0000118c: PUSH1 0x01
0000118e: PUSH1 0xa0
00001190: SHL
00001191: SUB
00001192: DUP6
00001193: AND
00001194: SWAP2
00001195: PUSH4 0x0902f1ac
0000119a: SWAP2
0000119b: PUSH1 0x04
0000119d: DUP1
0000119e: DUP3
0000119f: ADD
000011a0: SWAP3
000011a1: PUSH1 0x60
000011a3: SWAP3
000011a4: SWAP1
000011a5: SWAP2
000011a6: SWAP1
000011a7: DUP3
000011a8: SWAP1
000011a9: SUB
000011aa: ADD
000011ab: DUP2
000011ac: DUP7
000011ad: DUP1
000011ae: EXTCODESIZE
000011af: ISZERO
000011b0: DUP1
000011b1: ISZERO
000011b2: PUSH2 0x11ba
000011b5: JUMPI
000011b6: PUSH1 0x00
000011b8: DUP1
000011b9: REVERT
000011ba: JUMPDEST
000011bb: POP
000011bc: GAS
000011bd: STATICCALL
000011be: ISZERO
000011bf: DUP1
000011c0: ISZERO
000011c1: PUSH2 0x11ce
000011c4: JUMPI
000011c5: RETURNDATASIZE
000011c6: PUSH1 0x00
000011c8: DUP1
000011c9: RETURNDATACOPY
000011ca: RETURNDATASIZE
000011cb: PUSH1 0x00
000011cd: REVERT
000011ce: JUMPDEST
000011cf: POP
000011d0: POP
000011d1: POP
000011d2: POP
000011d3: PUSH1 0x40
000011d5: MLOAD
000011d6: RETURNDATASIZE
000011d7: PUSH1 0x60
000011d9: DUP2
000011da: LT
000011db: ISZERO
000011dc: PUSH2 0x11e4
000011df: JUMPI
000011e0: PUSH1 0x00
000011e2: DUP1
000011e3: REVERT
000011e4: JUMPDEST
000011e5: POP
000011e6: DUP1
000011e7: MLOAD
000011e8: PUSH1 0x20
000011ea: SWAP1
000011eb: SWAP2
000011ec: ADD
000011ed: MLOAD
000011ee: PUSH14 0xffffffffffffffffffffffffffff
000011fd: SWAP2
000011fe: DUP3
000011ff: AND
00001200: SWAP4
00001201: POP
00001202: AND
00001203: SWAP1
00001204: POP
00001205: PUSH1 0x00
00001207: PUSH1 0x01
00001209: PUSH1 0x01
0000120b: PUSH1 0xa0
0000120d: SHL
0000120e: SUB
0000120f: DUP6
00001210: DUP2
00001211: AND
00001212: SWAP1
00001213: DUP12
00001214: AND
00001215: EQ
00001216: ISZERO
00001217: PUSH2 0x122c
0000121a: JUMPI
0000121b: PUSH2 0x1225
0000121e: DUP9
0000121f: DUP4
00001220: DUP6
00001221: PUSH2 0x271e
00001224: JUMP
00001225: JUMPDEST
00001226: SWAP1
00001227: POP
00001228: PUSH2 0x123a
0000122b: JUMP
0000122c: JUMPDEST
0000122d: PUSH2 0x1237
00001230: DUP9
00001231: DUP5
00001232: DUP5
00001233: PUSH2 0x271e
00001236: JUMP
00001237: JUMPDEST
00001238: SWAP1
00001239: POP
0000123a: JUMPDEST
0000123b: SWAP6
0000123c: POP
0000123d: POP
0000123e: POP
0000123f: POP
00001240: POP
00001241: POP
00001242: JUMPDEST
00001243: SWAP4
00001244: SWAP3
00001245: POP
00001246: POP
00001247: POP
00001248: JUMP
00001249: JUMPDEST
0000124a: PUSH1 0x00
0000124c: DUP3
0000124d: DUP3
0000124e: ADD
0000124f: DUP4
00001250: DUP2
00001251: LT
00001252: ISZERO
00001253: PUSH2 0x107f
00001256: JUMPI
00001257: PUSH1 0x40
00001259: DUP1
0000125a: MLOAD
0000125b: PUSH3 0x461bcd
0000125f: PUSH1 0xe5
00001261: SHL
00001262: DUP2
00001263: MSTORE
00001264: PUSH1 0x20
00001266: PUSH1 0x04
00001268: DUP3
00001269: ADD
0000126a: MSTORE
0000126b: PUSH1 0x1b
0000126d: PUSH1 0x24
0000126f: DUP3
00001270: ADD
00001271: MSTORE
00001272: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00001293: PUSH1 0x44
00001295: DUP3
00001296: ADD
00001297: MSTORE
00001298: SWAP1
00001299: MLOAD
0000129a: SWAP1
0000129b: DUP2
0000129c: SWAP1
0000129d: SUB
0000129e: PUSH1 0x64
000012a0: ADD
000012a1: SWAP1
000012a2: REVERT
000012a3: JUMPDEST
000012a4: PUSH1 0x00
000012a6: DUP3
000012a7: PUSH2 0x12b2
000012aa: JUMPI
000012ab: POP
000012ac: PUSH1 0x00
000012ae: PUSH2 0x1082
000012b1: JUMP
000012b2: JUMPDEST
000012b3: DUP3
000012b4: DUP3
000012b5: MUL
000012b6: DUP3
000012b7: DUP5
000012b8: DUP3
000012b9: DUP2
000012ba: PUSH2 0x12bf
000012bd: JUMPI
000012be: INVALID
000012bf: JUMPDEST
000012c0: DIV
000012c1: EQ
000012c2: PUSH2 0x107f
000012c5: JUMPI
000012c6: PUSH1 0x40
000012c8: MLOAD
000012c9: PUSH3 0x461bcd
000012cd: PUSH1 0xe5
000012cf: SHL
000012d0: DUP2
000012d1: MSTORE
000012d2: PUSH1 0x04
000012d4: ADD
000012d5: DUP1
000012d6: DUP1
000012d7: PUSH1 0x20
000012d9: ADD
000012da: DUP3
000012db: DUP2
000012dc: SUB
000012dd: DUP3
000012de: MSTORE
000012df: PUSH1 0x21
000012e1: DUP2
000012e2: MSTORE
000012e3: PUSH1 0x20
000012e5: ADD
000012e6: DUP1
000012e7: PUSH2 0x2ef8
000012ea: PUSH1 0x21
000012ec: SWAP2
000012ed: CODECOPY
000012ee: PUSH1 0x40
000012f0: ADD
000012f1: SWAP2
000012f2: POP
000012f3: POP
000012f4: PUSH1 0x40
000012f6: MLOAD
000012f7: DUP1
000012f8: SWAP2
000012f9: SUB
000012fa: SWAP1
000012fb: REVERT
000012fc: JUMPDEST
000012fd: PUSH1 0x00
000012ff: PUSH2 0x107f
00001302: DUP4
00001303: DUP4
00001304: PUSH1 0x40
00001306: MLOAD
00001307: DUP1
00001308: PUSH1 0x40
0000130a: ADD
0000130b: PUSH1 0x40
0000130d: MSTORE
0000130e: DUP1
0000130f: PUSH1 0x1a
00001311: DUP2
00001312: MSTORE
00001313: PUSH1 0x20
00001315: ADD
00001316: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00001337: DUP2
00001338: MSTORE
00001339: POP
0000133a: PUSH2 0x281c
0000133d: JUMP
0000133e: JUMPDEST
0000133f: PUSH1 0x00
00001341: DUP5
00001342: GT
00001343: PUSH2 0x1381
00001346: JUMPI
00001347: PUSH1 0x40
00001349: DUP1
0000134a: MLOAD
0000134b: PUSH3 0x461bcd
0000134f: PUSH1 0xe5
00001351: SHL
00001352: DUP2
00001353: MSTORE
00001354: PUSH1 0x20
00001356: PUSH1 0x04
00001358: DUP3
00001359: ADD
0000135a: MSTORE
0000135b: PUSH1 0x0b
0000135d: PUSH1 0x24
0000135f: DUP3
00001360: ADD
00001361: MSTORE
00001362: PUSH11 0x414d4f554e545f5a45524f
0000136e: PUSH1 0xa8
00001370: SHL
00001371: PUSH1 0x44
00001373: DUP3
00001374: ADD
00001375: MSTORE
00001376: SWAP1
00001377: MLOAD
00001378: SWAP1
00001379: DUP2
0000137a: SWAP1
0000137b: SUB
0000137c: PUSH1 0x64
0000137e: ADD
0000137f: SWAP1
00001380: REVERT
00001381: JUMPDEST
00001382: PUSH1 0x0b
00001384: SLOAD
00001385: PUSH1 0x00
00001387: SWAP1
00001388: PUSH1 0x01
0000138a: PUSH1 0x01
0000138c: PUSH1 0xa0
0000138e: SHL
0000138f: SUB
00001390: AND
00001391: PUSH4 0xbbe4f6db
00001396: DUP4
00001397: PUSH2 0x13ab
0000139a: JUMPI
0000139b: PUSH1 0x02
0000139d: SLOAD
0000139e: PUSH1 0x01
000013a0: PUSH1 0x01
000013a2: PUSH1 0xa0
000013a4: SHL
000013a5: SUB
000013a6: AND
000013a7: PUSH2 0x13ad
000013aa: JUMP
000013ab: JUMPDEST
000013ac: DUP8
000013ad: JUMPDEST
000013ae: PUSH1 0x40
000013b0: MLOAD
000013b1: DUP3
000013b2: PUSH4 0xffffffff
000013b7: AND
000013b8: PUSH1 0xe0
000013ba: SHL
000013bb: DUP2
000013bc: MSTORE
000013bd: PUSH1 0x04
000013bf: ADD
000013c0: DUP1
000013c1: DUP3
000013c2: PUSH1 0x01
000013c4: PUSH1 0x01
000013c6: PUSH1 0xa0
000013c8: SHL
000013c9: SUB
000013ca: AND
000013cb: DUP2
000013cc: MSTORE
000013cd: PUSH1 0x20
000013cf: ADD
000013d0: SWAP2
000013d1: POP
000013d2: POP
000013d3: PUSH1 0x20
000013d5: PUSH1 0x40
000013d7: MLOAD
000013d8: DUP1
000013d9: DUP4
000013da: SUB
000013db: DUP2
000013dc: PUSH1 0x00
000013de: DUP8
000013df: DUP1
000013e0: EXTCODESIZE
000013e1: ISZERO
000013e2: DUP1
000013e3: ISZERO
000013e4: PUSH2 0x13ec
000013e7: JUMPI
000013e8: PUSH1 0x00
000013ea: DUP1
000013eb: REVERT
000013ec: JUMPDEST
000013ed: POP
000013ee: GAS
000013ef: CALL
000013f0: ISZERO
000013f1: DUP1
000013f2: ISZERO
000013f3: PUSH2 0x1400
000013f6: JUMPI
000013f7: RETURNDATASIZE
000013f8: PUSH1 0x00
000013fa: DUP1
000013fb: RETURNDATACOPY
000013fc: RETURNDATASIZE
000013fd: PUSH1 0x00
000013ff: REVERT
00001400: JUMPDEST
00001401: POP
00001402: POP
00001403: POP
00001404: POP
00001405: PUSH1 0x40
00001407: MLOAD
00001408: RETURNDATASIZE
00001409: PUSH1 0x20
0000140b: DUP2
0000140c: LT
0000140d: ISZERO
0000140e: PUSH2 0x1416
00001411: JUMPI
00001412: PUSH1 0x00
00001414: DUP1
00001415: REVERT
00001416: JUMPDEST
00001417: POP
00001418: MLOAD
00001419: SWAP1
0000141a: POP
0000141b: PUSH1 0x01
0000141d: PUSH1 0x01
0000141f: PUSH1 0xa0
00001421: SHL
00001422: SUB
00001423: DUP2
00001424: AND
00001425: PUSH2 0x146b
00001428: JUMPI
00001429: PUSH1 0x40
0000142b: DUP1
0000142c: MLOAD
0000142d: PUSH3 0x461bcd
00001431: PUSH1 0xe5
00001433: SHL
00001434: DUP2
00001435: MSTORE
00001436: PUSH1 0x20
00001438: PUSH1 0x04
0000143a: DUP3
0000143b: ADD
0000143c: MSTORE
0000143d: PUSH1 0x13
0000143f: PUSH1 0x24
00001441: DUP3
00001442: ADD
00001443: MSTORE
00001444: PUSH19 0x1413d3d317d113d154d7d393d517d1561254d5
00001458: PUSH1 0x6a
0000145a: SHL
0000145b: PUSH1 0x44
0000145d: DUP3
0000145e: ADD
0000145f: MSTORE
00001460: SWAP1
00001461: MLOAD
00001462: SWAP1
00001463: DUP2
00001464: SWAP1
00001465: SUB
00001466: PUSH1 0x64
00001468: ADD
00001469: SWAP1
0000146a: REVERT
0000146b: JUMPDEST
0000146c: PUSH1 0x0b
0000146e: SLOAD
0000146f: PUSH1 0x40
00001471: DUP1
00001472: MLOAD
00001473: PUSH4 0x808d856b
00001478: PUSH1 0xe0
0000147a: SHL
0000147b: DUP2
0000147c: MSTORE
0000147d: PUSH1 0x01
0000147f: PUSH1 0x01
00001481: PUSH1 0xa0
00001483: SHL
00001484: SUB
00001485: DUP10
00001486: DUP2
00001487: AND
00001488: PUSH1 0x04
0000148a: DUP4
0000148b: ADD
0000148c: MSTORE
0000148d: SWAP2
0000148e: MLOAD
0000148f: PUSH2 0x14f7
00001492: SWAP4
00001493: PUSH8 0x0de0b6b3a7640000
0000149c: SWAP4
0000149d: AND
0000149e: SWAP2
0000149f: PUSH4 0x808d856b
000014a4: SWAP2
000014a5: PUSH1 0x24
000014a7: DUP1
000014a8: DUP4
000014a9: ADD
000014aa: SWAP3
000014ab: PUSH1 0x20
000014ad: SWAP3
000014ae: SWAP2
000014af: SWAP1
000014b0: DUP3
000014b1: SWAP1
000014b2: SUB
000014b3: ADD
000014b4: DUP2
000014b5: PUSH1 0x00
000014b7: DUP8
000014b8: DUP1
000014b9: EXTCODESIZE
000014ba: ISZERO
000014bb: DUP1
000014bc: ISZERO
000014bd: PUSH2 0x14c5
000014c0: JUMPI
000014c1: PUSH1 0x00
000014c3: DUP1
000014c4: REVERT
000014c5: JUMPDEST
000014c6: POP
000014c7: GAS
000014c8: CALL
000014c9: ISZERO
000014ca: DUP1
000014cb: ISZERO
000014cc: PUSH2 0x14d9
000014cf: JUMPI
000014d0: RETURNDATASIZE
000014d1: PUSH1 0x00
000014d3: DUP1
000014d4: RETURNDATACOPY
000014d5: RETURNDATASIZE
000014d6: PUSH1 0x00
000014d8: REVERT
000014d9: JUMPDEST
000014da: POP
000014db: POP
000014dc: POP
000014dd: POP
000014de: PUSH1 0x40
000014e0: MLOAD
000014e1: RETURNDATASIZE
000014e2: PUSH1 0x20
000014e4: DUP2
000014e5: LT
000014e6: ISZERO
000014e7: PUSH2 0x14ef
000014ea: JUMPI
000014eb: PUSH1 0x00
000014ed: DUP1
000014ee: REVERT
000014ef: JUMPDEST
000014f0: POP
000014f1: MLOAD
000014f2: SWAP1
000014f3: PUSH2 0x12a3
000014f6: JUMP
000014f7: JUMPDEST
000014f8: DUP5
000014f9: GT
000014fa: ISZERO
000014fb: PUSH2 0x1542
000014fe: JUMPI
000014ff: PUSH1 0x40
00001501: DUP1
00001502: MLOAD
00001503: PUSH3 0x461bcd
00001507: PUSH1 0xe5
00001509: SHL
0000150a: DUP2
0000150b: MSTORE
0000150c: PUSH1 0x20
0000150e: PUSH1 0x04
00001510: DUP3
00001511: ADD
00001512: MSTORE
00001513: PUSH1 0x14
00001515: PUSH1 0x24
00001517: DUP3
00001518: ADD
00001519: MSTORE
0000151a: PUSH20 0x0988aac8aa4828e8abe8ab0868a8a88a6be9a82b
0000152f: PUSH1 0x63
00001531: SHL
00001532: PUSH1 0x44
00001534: DUP3
00001535: ADD
00001536: MSTORE
00001537: SWAP1
00001538: MLOAD
00001539: SWAP1
0000153a: DUP2
0000153b: SWAP1
0000153c: SUB
0000153d: PUSH1 0x64
0000153f: ADD
00001540: SWAP1
00001541: REVERT
00001542: JUMPDEST
00001543: PUSH8 0x0de0b6b3a7640000
0000154c: DUP5
0000154d: LT
0000154e: ISZERO
0000154f: PUSH2 0x1592
00001552: JUMPI
00001553: PUSH1 0x40
00001555: DUP1
00001556: MLOAD
00001557: PUSH3 0x461bcd
0000155b: PUSH1 0xe5
0000155d: SHL
0000155e: DUP2
0000155f: MSTORE
00001560: PUSH1 0x20
00001562: PUSH1 0x04
00001564: DUP3
00001565: ADD
00001566: MSTORE
00001567: PUSH1 0x10
00001569: PUSH1 0x24
0000156b: DUP3
0000156c: ADD
0000156d: MSTORE
0000156e: PUSH16 0x4c455645524147455f42454c4f575f31
0000157f: PUSH1 0x80
00001581: SHL
00001582: PUSH1 0x44
00001584: DUP3
00001585: ADD
00001586: MSTORE
00001587: SWAP1
00001588: MLOAD
00001589: SWAP1
0000158a: DUP2
0000158b: SWAP1
0000158c: SUB
0000158d: PUSH1 0x64
0000158f: ADD
00001590: SWAP1
00001591: REVERT
00001592: JUMPDEST
00001593: PUSH1 0x00
00001595: DUP3
00001596: PUSH2 0x159f
00001599: JUMPI
0000159a: DUP6
0000159b: PUSH2 0x15b7
0000159e: JUMP
0000159f: JUMPDEST
000015a0: PUSH1 0x01
000015a2: SLOAD
000015a3: PUSH2 0x15b7
000015a6: SWAP1
000015a7: DUP9
000015a8: SWAP1
000015a9: PUSH1 0x01
000015ab: PUSH1 0x01
000015ad: PUSH1 0xa0
000015af: SHL
000015b0: SUB
000015b1: AND
000015b2: DUP9
000015b3: PUSH2 0x10da
000015b6: JUMP
000015b7: JUMPDEST
000015b8: SWAP1
000015b9: POP
000015ba: PUSH1 0x00
000015bc: PUSH2 0x15c5
000015bf: DUP3
000015c0: DUP8
000015c1: PUSH2 0x2881
000015c4: JUMP
000015c5: JUMPDEST
000015c6: CALLER
000015c7: PUSH1 0x00
000015c9: SWAP1
000015ca: DUP2
000015cb: MSTORE
000015cc: PUSH1 0x07
000015ce: PUSH1 0x20
000015d0: MSTORE
000015d1: PUSH1 0x40
000015d3: SWAP1
000015d4: KECCAK256
000015d5: SLOAD
000015d6: SWAP1
000015d7: SWAP2
000015d8: POP
000015d9: DUP2
000015da: GT
000015db: ISZERO
000015dc: PUSH2 0x1619
000015df: JUMPI
000015e0: PUSH1 0x40
000015e2: DUP1
000015e3: MLOAD
000015e4: PUSH3 0x461bcd
000015e8: PUSH1 0xe5
000015ea: SHL
000015eb: DUP2
000015ec: MSTORE
000015ed: PUSH1 0x20
000015ef: PUSH1 0x04
000015f1: DUP3
000015f2: ADD
000015f3: MSTORE
000015f4: PUSH1 0x0a
000015f6: PUSH1 0x24
000015f8: DUP3
000015f9: ADD
000015fa: MSTORE
000015fb: PUSH10 0x4e4f5f42414c414e4345
00001606: PUSH1 0xb0
00001608: SHL
00001609: PUSH1 0x44
0000160b: DUP3
0000160c: ADD
0000160d: MSTORE
0000160e: SWAP1
0000160f: MLOAD
00001610: SWAP1
00001611: DUP2
00001612: SWAP1
00001613: SUB
00001614: PUSH1 0x64
00001616: ADD
00001617: SWAP1
00001618: REVERT
00001619: JUMPDEST
0000161a: DUP3
0000161b: PUSH1 0x01
0000161d: PUSH1 0x01
0000161f: PUSH1 0xa0
00001621: SHL
00001622: SUB
00001623: AND
00001624: PUSH4 0xc5ebeaec
00001629: DUP9
0000162a: PUSH1 0x40
0000162c: MLOAD
0000162d: DUP3
0000162e: PUSH4 0xffffffff
00001633: AND
00001634: PUSH1 0xe0
00001636: SHL
00001637: DUP2
00001638: MSTORE
00001639: PUSH1 0x04
0000163b: ADD
0000163c: DUP1
0000163d: DUP3
0000163e: DUP2
0000163f: MSTORE
00001640: PUSH1 0x20
00001642: ADD
00001643: SWAP2
00001644: POP
00001645: POP
00001646: PUSH1 0x00
00001648: PUSH1 0x40
0000164a: MLOAD
0000164b: DUP1
0000164c: DUP4
0000164d: SUB
0000164e: DUP2
0000164f: PUSH1 0x00
00001651: DUP8
00001652: DUP1
00001653: EXTCODESIZE
00001654: ISZERO
00001655: DUP1
00001656: ISZERO
00001657: PUSH2 0x165f
0000165a: JUMPI
0000165b: PUSH1 0x00
0000165d: DUP1
0000165e: REVERT
0000165f: JUMPDEST
00001660: POP
00001661: GAS
00001662: CALL
00001663: ISZERO
00001664: DUP1
00001665: ISZERO
00001666: PUSH2 0x1673
00001669: JUMPI
0000166a: RETURNDATASIZE
0000166b: PUSH1 0x00
0000166d: DUP1
0000166e: RETURNDATACOPY
0000166f: RETURNDATASIZE
00001670: PUSH1 0x00
00001672: REVERT
00001673: JUMPDEST
00001674: POP
00001675: POP
00001676: POP
00001677: POP
00001678: PUSH1 0x00
0000167a: DUP1
0000167b: PUSH1 0x00
0000167d: DUP7
0000167e: PUSH2 0x1693
00001681: JUMPI
00001682: PUSH1 0x01
00001684: SLOAD
00001685: PUSH1 0x01
00001687: PUSH1 0x01
00001689: PUSH1 0xa0
0000168b: SHL
0000168c: SUB
0000168d: AND
0000168e: DUP12
0000168f: PUSH2 0x16a2
00001692: JUMP
00001693: JUMPDEST
00001694: PUSH1 0x01
00001696: SLOAD
00001697: DUP12
00001698: SWAP1
00001699: PUSH1 0x01
0000169b: PUSH1 0x01
0000169d: PUSH1 0xa0
0000169f: SHL
000016a0: SUB
000016a1: AND
000016a2: JUMPDEST
000016a3: SWAP2
000016a4: POP
000016a5: SWAP2
000016a6: POP
000016a7: PUSH2 0x16b2
000016aa: DUP3
000016ab: DUP3
000016ac: DUP13
000016ad: DUP12
000016ae: PUSH2 0x1970
000016b1: JUMP
000016b2: JUMPDEST
000016b3: SWAP3
000016b4: POP
000016b5: PUSH1 0x00
000016b7: SWAP2
000016b8: POP
000016b9: PUSH2 0x16cb
000016bc: SWAP1
000016bd: POP
000016be: PUSH2 0x03e8
000016c1: PUSH2 0x07a9
000016c4: DUP5
000016c5: PUSH1 0x08
000016c7: PUSH2 0x12a3
000016ca: JUMP
000016cb: JUMPDEST
000016cc: SWAP1
000016cd: POP
000016ce: PUSH2 0x16d7
000016d1: DUP3
000016d2: DUP3
000016d3: PUSH2 0x103d
000016d6: JUMP
000016d7: JUMPDEST
000016d8: SWAP2
000016d9: POP
000016da: DUP6
000016db: PUSH2 0x16fa
000016de: JUMPI
000016df: PUSH1 0x01
000016e1: SLOAD
000016e2: PUSH2 0x16f7
000016e5: SWAP1
000016e6: DUP12
000016e7: SWAP1
000016e8: PUSH1 0x01
000016ea: PUSH1 0x01
000016ec: PUSH1 0xa0
000016ee: SHL
000016ef: SUB
000016f0: AND
000016f1: DUP4
000016f2: DUP11
000016f3: PUSH2 0x1970
000016f6: JUMP
000016f7: JUMPDEST
000016f8: SWAP1
000016f9: POP
000016fa: JUMPDEST
000016fb: PUSH2 0x1704
000016fe: DUP2
000016ff: DUP7
00001700: PUSH2 0x2899
00001703: JUMP
00001704: JUMPDEST
00001705: PUSH2 0x1723
00001708: CALLER
00001709: CALLER
0000170a: PUSH2 0x171e
0000170d: PUSH1 0x03
0000170f: SLOAD
00001710: DUP8
00001711: PUSH2 0x1249
00001714: SWAP1
00001715: SWAP2
00001716: SWAP1
00001717: PUSH4 0xffffffff
0000171c: AND
0000171d: JUMP
0000171e: JUMPDEST
0000171f: PUSH2 0x2a8d
00001722: JUMP
00001723: JUMPDEST
00001724: PUSH1 0x05
00001726: SLOAD
00001727: PUSH1 0x01
00001729: ADD
0000172a: PUSH1 0x05
0000172c: DUP2
0000172d: SWAP1
0000172e: SSTORE
0000172f: POP
00001730: PUSH1 0x00
00001732: PUSH2 0x1740
00001735: CALLER
00001736: DUP13
00001737: DUP13
00001738: DUP13
00001739: PUSH1 0x05
0000173b: SLOAD
0000173c: PUSH2 0x2b2c
0000173f: JUMP
00001740: JUMPDEST
00001741: SWAP1
00001742: POP
00001743: PUSH2 0x174a
00001746: PUSH2 0x2e5e
00001749: JUMP
0000174a: JUMPDEST
0000174b: PUSH1 0x40
0000174d: MLOAD
0000174e: DUP1
0000174f: PUSH2 0x0160
00001752: ADD
00001753: PUSH1 0x40
00001755: MSTORE
00001756: DUP1
00001757: DUP4
00001758: DUP2
00001759: MSTORE
0000175a: PUSH1 0x20
0000175c: ADD
0000175d: DUP14
0000175e: PUSH1 0x01
00001760: PUSH1 0x01
00001762: PUSH1 0xa0
00001764: SHL
00001765: SUB
00001766: AND
00001767: DUP2
00001768: MSTORE
00001769: PUSH1 0x20
0000176b: ADD
0000176c: CALLER
0000176d: PUSH1 0x01
0000176f: PUSH1 0x01
00001771: PUSH1 0xa0
00001773: SHL
00001774: SUB
00001775: AND
00001776: DUP2
00001777: MSTORE
00001778: PUSH1 0x20
0000177a: ADD
0000177b: DUP13
0000177c: DUP2
0000177d: MSTORE
0000177e: PUSH1 0x20
00001780: ADD
00001781: DUP6
00001782: DUP2
00001783: MSTORE
00001784: PUSH1 0x20
00001786: ADD
00001787: DUP7
00001788: DUP2
00001789: MSTORE
0000178a: PUSH1 0x20
0000178c: ADD
0000178d: DUP12
0000178e: DUP2
0000178f: MSTORE
00001790: PUSH1 0x20
00001792: ADD
00001793: TIMESTAMP
00001794: DUP2
00001795: MSTORE
00001796: PUSH1 0x20
00001798: ADD
00001799: PUSH1 0x00
0000179b: ISZERO
0000179c: ISZERO
0000179d: DUP2
0000179e: MSTORE
0000179f: PUSH1 0x20
000017a1: ADD
000017a2: DUP10
000017a3: ISZERO
000017a4: ISZERO
000017a5: DUP2
000017a6: MSTORE
000017a7: PUSH1 0x20
000017a9: ADD
000017aa: PUSH1 0x04
000017ac: SLOAD
000017ad: DUP2
000017ae: MSTORE
000017af: POP
000017b0: SWAP1
000017b1: POP
000017b2: DUP1
000017b3: PUSH1 0x06
000017b5: PUSH1 0x00
000017b7: DUP4
000017b8: PUSH1 0x00
000017ba: ADD
000017bb: MLOAD
000017bc: DUP2
000017bd: MSTORE
000017be: PUSH1 0x20
000017c0: ADD
000017c1: SWAP1
000017c2: DUP2
000017c3: MSTORE
000017c4: PUSH1 0x20
000017c6: ADD
000017c7: PUSH1 0x00
000017c9: KECCAK256
000017ca: PUSH1 0x00
000017cc: DUP3
000017cd: ADD
000017ce: MLOAD
000017cf: DUP2
000017d0: PUSH1 0x00
000017d2: ADD
000017d3: SSTORE
000017d4: PUSH1 0x20
000017d6: DUP3
000017d7: ADD
000017d8: MLOAD
000017d9: DUP2
000017da: PUSH1 0x01
000017dc: ADD
000017dd: PUSH1 0x00
000017df: PUSH2 0x0100
000017e2: EXP
000017e3: DUP2
000017e4: SLOAD
000017e5: DUP2
000017e6: PUSH1 0x01
000017e8: PUSH1 0x01
000017ea: PUSH1 0xa0
000017ec: SHL
000017ed: SUB
000017ee: MUL
000017ef: NOT
000017f0: AND
000017f1: SWAP1
000017f2: DUP4
000017f3: PUSH1 0x01
000017f5: PUSH1 0x01
000017f7: PUSH1 0xa0
000017f9: SHL
000017fa: SUB
000017fb: AND
000017fc: MUL
000017fd: OR
000017fe: SWAP1
000017ff: SSTORE
00001800: POP
00001801: PUSH1 0x40
00001803: DUP3
00001804: ADD
00001805: MLOAD
00001806: DUP2
00001807: PUSH1 0x02
00001809: ADD
0000180a: PUSH1 0x00
0000180c: PUSH2 0x0100
0000180f: EXP
00001810: DUP2
00001811: SLOAD
00001812: DUP2
00001813: PUSH1 0x01
00001815: PUSH1 0x01
00001817: PUSH1 0xa0
00001819: SHL
0000181a: SUB
0000181b: MUL
0000181c: NOT
0000181d: AND
0000181e: SWAP1
0000181f: DUP4
00001820: PUSH1 0x01
00001822: PUSH1 0x01
00001824: PUSH1 0xa0
00001826: SHL
00001827: SUB
00001828: AND
00001829: MUL
0000182a: OR
0000182b: SWAP1
0000182c: SSTORE
0000182d: POP
0000182e: PUSH1 0x60
00001830: DUP3
00001831: ADD
00001832: MLOAD
00001833: DUP2
00001834: PUSH1 0x03
00001836: ADD
00001837: SSTORE
00001838: PUSH1 0x80
0000183a: DUP3
0000183b: ADD
0000183c: MLOAD
0000183d: DUP2
0000183e: PUSH1 0x04
00001840: ADD
00001841: SSTORE
00001842: PUSH1 0xa0
00001844: DUP3
00001845: ADD
00001846: MLOAD
00001847: DUP2
00001848: PUSH1 0x05
0000184a: ADD
0000184b: SSTORE
0000184c: PUSH1 0xc0
0000184e: DUP3
0000184f: ADD
00001850: MLOAD
00001851: DUP2
00001852: PUSH1 0x06
00001854: ADD
00001855: SSTORE
00001856: PUSH1 0xe0
00001858: DUP3
00001859: ADD
0000185a: MLOAD
0000185b: DUP2
0000185c: PUSH1 0x07
0000185e: ADD
0000185f: SSTORE
00001860: PUSH2 0x0100
00001863: DUP3
00001864: ADD
00001865: MLOAD
00001866: DUP2
00001867: PUSH1 0x08
00001869: ADD
0000186a: PUSH1 0x00
0000186c: PUSH2 0x0100
0000186f: EXP
00001870: DUP2
00001871: SLOAD
00001872: DUP2
00001873: PUSH1 0xff
00001875: MUL
00001876: NOT
00001877: AND
00001878: SWAP1
00001879: DUP4
0000187a: ISZERO
0000187b: ISZERO
0000187c: MUL
0000187d: OR
0000187e: SWAP1
0000187f: SSTORE
00001880: POP
00001881: PUSH2 0x0120
00001884: DUP3
00001885: ADD
00001886: MLOAD
00001887: DUP2
00001888: PUSH1 0x08
0000188a: ADD
0000188b: PUSH1 0x01
0000188d: PUSH2 0x0100
00001890: EXP
00001891: DUP2
00001892: SLOAD
00001893: DUP2
00001894: PUSH1 0xff
00001896: MUL
00001897: NOT
00001898: AND
00001899: SWAP1
0000189a: DUP4
0000189b: ISZERO
0000189c: ISZERO
0000189d: MUL
0000189e: OR
0000189f: SWAP1
000018a0: SSTORE
000018a1: POP
000018a2: PUSH2 0x0140
000018a5: DUP3
000018a6: ADD
000018a7: MLOAD
000018a8: DUP2
000018a9: PUSH1 0x09
000018ab: ADD
000018ac: SSTORE
000018ad: SWAP1
000018ae: POP
000018af: POP
000018b0: DUP12
000018b1: PUSH1 0x01
000018b3: PUSH1 0x01
000018b5: PUSH1 0xa0
000018b7: SHL
000018b8: SUB
000018b9: AND
000018ba: CALLER
000018bb: PUSH1 0x01
000018bd: PUSH1 0x01
000018bf: PUSH1 0xa0
000018c1: SHL
000018c2: SUB
000018c3: AND
000018c4: PUSH32 0xef9d0fe2c313eedf661ab58ae77f6b5e1d4ae0f604597251095e254d8b7f34b9
000018e5: DUP4
000018e6: PUSH1 0x00
000018e8: ADD
000018e9: MLOAD
000018ea: DUP12
000018eb: PUSH1 0x40
000018ed: MLOAD
000018ee: DUP1
000018ef: DUP4
000018f0: DUP2
000018f1: MSTORE
000018f2: PUSH1 0x20
000018f4: ADD
000018f5: DUP3
000018f6: ISZERO
000018f7: ISZERO
000018f8: DUP2
000018f9: MSTORE
000018fa: PUSH1 0x20
000018fc: ADD
000018fd: SWAP3
000018fe: POP
000018ff: POP
00001900: POP
00001901: PUSH1 0x40
00001903: MLOAD
00001904: DUP1
00001905: SWAP2
00001906: SUB
00001907: SWAP1
00001908: LOG3
00001909: POP
0000190a: POP
0000190b: POP
0000190c: POP
0000190d: POP
0000190e: POP
0000190f: POP
00001910: POP
00001911: POP
00001912: POP
00001913: POP
00001914: POP
00001915: JUMP
00001916: JUMPDEST
00001917: PUSH1 0x40
00001919: DUP1
0000191a: MLOAD
0000191b: PUSH1 0x01
0000191d: PUSH1 0x01
0000191f: PUSH1 0xa0
00001921: SHL
00001922: SUB
00001923: DUP1
00001924: DUP7
00001925: AND
00001926: PUSH1 0x24
00001928: DUP4
00001929: ADD
0000192a: MSTORE
0000192b: DUP5
0000192c: AND
0000192d: PUSH1 0x44
0000192f: DUP3
00001930: ADD
00001931: MSTORE
00001932: PUSH1 0x64
00001934: DUP1
00001935: DUP3
00001936: ADD
00001937: DUP5
00001938: SWAP1
00001939: MSTORE
0000193a: DUP3
0000193b: MLOAD
0000193c: DUP1
0000193d: DUP4
0000193e: SUB
0000193f: SWAP1
00001940: SWAP2
00001941: ADD
00001942: DUP2
00001943: MSTORE
00001944: PUSH1 0x84
00001946: SWAP1
00001947: SWAP2
00001948: ADD
00001949: SWAP1
0000194a: SWAP2
0000194b: MSTORE
0000194c: PUSH1 0x20
0000194e: DUP2
0000194f: ADD
00001950: DUP1
00001951: MLOAD
00001952: PUSH1 0x01
00001954: PUSH1 0x01
00001956: PUSH1 0xe0
00001958: SHL
00001959: SUB
0000195a: AND
0000195b: PUSH4 0x23b872dd
00001960: PUSH1 0xe0
00001962: SHL
00001963: OR
00001964: SWAP1
00001965: MSTORE
00001966: PUSH2 0x091b
00001969: SWAP1
0000196a: DUP6
0000196b: SWAP1
0000196c: PUSH2 0x2585
0000196f: JUMP
00001970: JUMPDEST
00001971: PUSH1 0x0d
00001973: SLOAD
00001974: PUSH1 0x40
00001976: DUP1
00001977: MLOAD
00001978: PUSH4 0x095ea7b3
0000197d: PUSH1 0xe0
0000197f: SHL
00001980: DUP2
00001981: MSTORE
00001982: PUSH1 0x01
00001984: PUSH1 0x01
00001986: PUSH1 0xa0
00001988: SHL
00001989: SUB
0000198a: SWAP3
0000198b: DUP4
0000198c: AND
0000198d: PUSH1 0x04
0000198f: DUP3
00001990: ADD
00001991: MSTORE
00001992: PUSH1 0x24
00001994: DUP2
00001995: ADD
00001996: DUP6
00001997: SWAP1
00001998: MSTORE
00001999: SWAP1
0000199a: MLOAD
0000199b: PUSH1 0x00
0000199d: SWAP3
0000199e: DUP8
0000199f: AND
000019a0: SWAP2
000019a1: PUSH4 0x095ea7b3
000019a6: SWAP2
000019a7: PUSH1 0x44
000019a9: DUP1
000019aa: DUP4
000019ab: ADD
000019ac: SWAP3
000019ad: PUSH1 0x20
000019af: SWAP3
000019b0: SWAP2
000019b1: SWAP1
000019b2: DUP3
000019b3: SWAP1
000019b4: SUB
000019b5: ADD
000019b6: DUP2
000019b7: DUP8
000019b8: DUP8
000019b9: DUP1
000019ba: EXTCODESIZE
000019bb: ISZERO
000019bc: DUP1
000019bd: ISZERO
000019be: PUSH2 0x19c6
000019c1: JUMPI
000019c2: PUSH1 0x00
000019c4: DUP1
000019c5: REVERT
000019c6: JUMPDEST
000019c7: POP
000019c8: GAS
000019c9: CALL
000019ca: ISZERO
000019cb: DUP1
000019cc: ISZERO
000019cd: PUSH2 0x19da
000019d0: JUMPI
000019d1: RETURNDATASIZE
000019d2: PUSH1 0x00
000019d4: DUP1
000019d5: RETURNDATACOPY
000019d6: RETURNDATASIZE
000019d7: PUSH1 0x00
000019d9: REVERT
000019da: JUMPDEST
000019db: POP
000019dc: POP
000019dd: POP
000019de: POP
000019df: PUSH1 0x40
000019e1: MLOAD
000019e2: RETURNDATASIZE
000019e3: PUSH1 0x20
000019e5: DUP2
000019e6: LT
000019e7: ISZERO
000019e8: PUSH2 0x19f0
000019eb: JUMPI
000019ec: PUSH1 0x00
000019ee: DUP1
000019ef: REVERT
000019f0: JUMPDEST
000019f1: POP
000019f2: POP
000019f3: PUSH1 0x40
000019f5: DUP1
000019f6: MLOAD
000019f7: PUSH1 0x02
000019f9: DUP1
000019fa: DUP3
000019fb: MSTORE
000019fc: PUSH1 0x60
000019fe: DUP1
000019ff: DUP4
00001a00: ADD
00001a01: DUP5
00001a02: MSTORE
00001a03: SWAP3
00001a04: PUSH1 0x20
00001a06: DUP4
00001a07: ADD
00001a08: SWAP1
00001a09: DUP1
00001a0a: CALLDATASIZE
00001a0b: DUP4
00001a0c: CALLDATACOPY
00001a0d: ADD
00001a0e: SWAP1
00001a0f: POP
00001a10: POP
00001a11: SWAP1
00001a12: POP
00001a13: DUP6
00001a14: DUP2
00001a15: PUSH1 0x00
00001a17: DUP2
00001a18: MLOAD
00001a19: DUP2
00001a1a: LT
00001a1b: PUSH2 0x1a20
00001a1e: JUMPI
00001a1f: INVALID
00001a20: JUMPDEST
00001a21: PUSH1 0x20
00001a23: MUL
00001a24: PUSH1 0x20
00001a26: ADD
00001a27: ADD
00001a28: SWAP1
00001a29: PUSH1 0x01
00001a2b: PUSH1 0x01
00001a2d: PUSH1 0xa0
00001a2f: SHL
00001a30: SUB
00001a31: AND
00001a32: SWAP1
00001a33: DUP2
00001a34: PUSH1 0x01
00001a36: PUSH1 0x01
00001a38: PUSH1 0xa0
00001a3a: SHL
00001a3b: SUB
00001a3c: AND
00001a3d: DUP2
00001a3e: MSTORE
00001a3f: POP
00001a40: POP
00001a41: DUP5
00001a42: DUP2
00001a43: PUSH1 0x01
00001a45: DUP2
00001a46: MLOAD
00001a47: DUP2
00001a48: LT
00001a49: PUSH2 0x1a4e
00001a4c: JUMPI
00001a4d: INVALID
00001a4e: JUMPDEST
00001a4f: PUSH1 0x20
00001a51: MUL
00001a52: PUSH1 0x20
00001a54: ADD
00001a55: ADD
00001a56: SWAP1
00001a57: PUSH1 0x01
00001a59: PUSH1 0x01
00001a5b: PUSH1 0xa0
00001a5d: SHL
00001a5e: SUB
00001a5f: AND
00001a60: SWAP1
00001a61: DUP2
00001a62: PUSH1 0x01
00001a64: PUSH1 0x01
00001a66: PUSH1 0xa0
00001a68: SHL
00001a69: SUB
00001a6a: AND
00001a6b: DUP2
00001a6c: MSTORE
00001a6d: POP
00001a6e: POP
00001a6f: PUSH1 0x00
00001a71: PUSH2 0x1a85
00001a74: PUSH1 0x09
00001a76: SLOAD
00001a77: TIMESTAMP
00001a78: PUSH2 0x1249
00001a7b: SWAP1
00001a7c: SWAP2
00001a7d: SWAP1
00001a7e: PUSH4 0xffffffff
00001a83: AND
00001a84: JUMP
00001a85: JUMPDEST
00001a86: SWAP1
00001a87: POP
00001a88: PUSH1 0x00
00001a8a: PUSH2 0x1a94
00001a8d: DUP9
00001a8e: DUP9
00001a8f: DUP9
00001a90: PUSH2 0x10da
00001a93: JUMP
00001a94: JUMPDEST
00001a95: SWAP1
00001a96: POP
00001a97: PUSH1 0x00
00001a99: PUSH2 0x1ab8
00001a9c: PUSH2 0x1ab1
00001a9f: PUSH8 0x0de0b6b3a7640000
00001aa8: PUSH2 0x07a9
00001aab: DUP6
00001aac: DUP11
00001aad: PUSH2 0x12a3
00001ab0: JUMP
00001ab1: JUMPDEST
00001ab2: DUP4
00001ab3: SWAP1
00001ab4: PUSH2 0x103d
00001ab7: JUMP
00001ab8: JUMPDEST
00001ab9: SWAP1
00001aba: POP
00001abb: PUSH1 0x00
00001abd: DUP9
00001abe: PUSH1 0x01
00001ac0: PUSH1 0x01
00001ac2: PUSH1 0xa0
00001ac4: SHL
00001ac5: SUB
00001ac6: AND
00001ac7: PUSH4 0x70a08231
00001acc: ADDRESS
00001acd: PUSH1 0x40
00001acf: MLOAD
00001ad0: DUP3
00001ad1: PUSH4 0xffffffff
00001ad6: AND
00001ad7: PUSH1 0xe0
00001ad9: SHL
00001ada: DUP2
00001adb: MSTORE
00001adc: PUSH1 0x04
00001ade: ADD
00001adf: DUP1
00001ae0: DUP3
00001ae1: PUSH1 0x01
00001ae3: PUSH1 0x01
00001ae5: PUSH1 0xa0
00001ae7: SHL
00001ae8: SUB
00001ae9: AND
00001aea: DUP2
00001aeb: MSTORE
00001aec: PUSH1 0x20
00001aee: ADD
00001aef: SWAP2
00001af0: POP
00001af1: POP
00001af2: PUSH1 0x20
00001af4: PUSH1 0x40
00001af6: MLOAD
00001af7: DUP1
00001af8: DUP4
00001af9: SUB
00001afa: DUP2
00001afb: DUP7
00001afc: DUP1
00001afd: EXTCODESIZE
00001afe: ISZERO
00001aff: DUP1
00001b00: ISZERO
00001b01: PUSH2 0x1b09
00001b04: JUMPI
00001b05: PUSH1 0x00
00001b07: DUP1
00001b08: REVERT
00001b09: JUMPDEST
00001b0a: POP
00001b0b: GAS
00001b0c: STATICCALL
00001b0d: ISZERO
00001b0e: DUP1
00001b0f: ISZERO
00001b10: PUSH2 0x1b1d
00001b13: JUMPI
00001b14: RETURNDATASIZE
00001b15: PUSH1 0x00
00001b17: DUP1
00001b18: RETURNDATACOPY
00001b19: RETURNDATASIZE
00001b1a: PUSH1 0x00
00001b1c: REVERT
00001b1d: JUMPDEST
00001b1e: POP
00001b1f: POP
00001b20: POP
00001b21: POP
00001b22: PUSH1 0x40
00001b24: MLOAD
00001b25: RETURNDATASIZE
00001b26: PUSH1 0x20
00001b28: DUP2
00001b29: LT
00001b2a: ISZERO
00001b2b: PUSH2 0x1b33
00001b2e: JUMPI
00001b2f: PUSH1 0x00
00001b31: DUP1
00001b32: REVERT
00001b33: JUMPDEST
00001b34: POP
00001b35: MLOAD
00001b36: PUSH1 0x0d
00001b38: SLOAD
00001b39: PUSH1 0x40
00001b3b: MLOAD
00001b3c: PUSH4 0x5c11d795
00001b41: PUSH1 0xe0
00001b43: SHL
00001b44: DUP2
00001b45: MSTORE
00001b46: PUSH1 0x04
00001b48: DUP2
00001b49: ADD
00001b4a: DUP12
00001b4b: DUP2
00001b4c: MSTORE
00001b4d: PUSH1 0x24
00001b4f: DUP3
00001b50: ADD
00001b51: DUP7
00001b52: SWAP1
00001b53: MSTORE
00001b54: ADDRESS
00001b55: PUSH1 0x64
00001b57: DUP4
00001b58: ADD
00001b59: DUP2
00001b5a: SWAP1
00001b5b: MSTORE
00001b5c: PUSH1 0x84
00001b5e: DUP4
00001b5f: ADD
00001b60: DUP10
00001b61: SWAP1
00001b62: MSTORE
00001b63: PUSH1 0xa0
00001b65: PUSH1 0x44
00001b67: DUP5
00001b68: ADD
00001b69: SWAP1
00001b6a: DUP2
00001b6b: MSTORE
00001b6c: DUP11
00001b6d: MLOAD
00001b6e: PUSH1 0xa4
00001b70: DUP6
00001b71: ADD
00001b72: MSTORE
00001b73: DUP11
00001b74: MLOAD
00001b75: SWAP6
00001b76: SWAP7
00001b77: POP
00001b78: PUSH1 0x01
00001b7a: PUSH1 0x01
00001b7c: PUSH1 0xa0
00001b7e: SHL
00001b7f: SUB
00001b80: SWAP1
00001b81: SWAP5
00001b82: AND
00001b83: SWAP5
00001b84: PUSH4 0x5c11d795
00001b89: SWAP5
00001b8a: DUP15
00001b8b: SWAP5
00001b8c: DUP10
00001b8d: SWAP5
00001b8e: DUP14
00001b8f: SWAP5
00001b90: SWAP4
00001b91: DUP14
00001b92: SWAP4
00001b93: SWAP2
00001b94: SWAP3
00001b95: PUSH1 0xc4
00001b97: ADD
00001b98: SWAP1
00001b99: PUSH1 0x20
00001b9b: DUP8
00001b9c: DUP2
00001b9d: ADD
00001b9e: SWAP2
00001b9f: MUL
00001ba0: DUP1
00001ba1: DUP4
00001ba2: DUP4
00001ba3: PUSH1 0x00
00001ba5: JUMPDEST
00001ba6: DUP4
00001ba7: DUP2
00001ba8: LT
00001ba9: ISZERO
00001baa: PUSH2 0x1bbd
00001bad: JUMPI
00001bae: DUP2
00001baf: DUP2
00001bb0: ADD
00001bb1: MLOAD
00001bb2: DUP4
00001bb3: DUP3
00001bb4: ADD
00001bb5: MSTORE
00001bb6: PUSH1 0x20
00001bb8: ADD
00001bb9: PUSH2 0x1ba5
00001bbc: JUMP
00001bbd: JUMPDEST
00001bbe: POP
00001bbf: POP
00001bc0: POP
00001bc1: POP
00001bc2: SWAP1
00001bc3: POP
00001bc4: ADD
00001bc5: SWAP7
00001bc6: POP
00001bc7: POP
00001bc8: POP
00001bc9: POP
00001bca: POP
00001bcb: POP
00001bcc: POP
00001bcd: PUSH1 0x00
00001bcf: PUSH1 0x40
00001bd1: MLOAD
00001bd2: DUP1
00001bd3: DUP4
00001bd4: SUB
00001bd5: DUP2
00001bd6: PUSH1 0x00
00001bd8: DUP8
00001bd9: DUP1
00001bda: EXTCODESIZE
00001bdb: ISZERO
00001bdc: DUP1
00001bdd: ISZERO
00001bde: PUSH2 0x1be6
00001be1: JUMPI
00001be2: PUSH1 0x00
00001be4: DUP1
00001be5: REVERT
00001be6: JUMPDEST
00001be7: POP
00001be8: GAS
00001be9: CALL
00001bea: ISZERO
00001beb: DUP1
00001bec: ISZERO
00001bed: PUSH2 0x1bfa
00001bf0: JUMPI
00001bf1: RETURNDATASIZE
00001bf2: PUSH1 0x00
00001bf4: DUP1
00001bf5: RETURNDATACOPY
00001bf6: RETURNDATASIZE
00001bf7: PUSH1 0x00
00001bf9: REVERT
00001bfa: JUMPDEST
00001bfb: POP
00001bfc: POP
00001bfd: POP
00001bfe: POP
00001bff: PUSH1 0x00
00001c01: DUP10
00001c02: PUSH1 0x01
00001c04: PUSH1 0x01
00001c06: PUSH1 0xa0
00001c08: SHL
00001c09: SUB
00001c0a: AND
00001c0b: PUSH4 0x70a08231
00001c10: ADDRESS
00001c11: PUSH1 0x40
00001c13: MLOAD
00001c14: DUP3
00001c15: PUSH4 0xffffffff
00001c1a: AND
00001c1b: PUSH1 0xe0
00001c1d: SHL
00001c1e: DUP2
00001c1f: MSTORE
00001c20: PUSH1 0x04
00001c22: ADD
00001c23: DUP1
00001c24: DUP3
00001c25: PUSH1 0x01
00001c27: PUSH1 0x01
00001c29: PUSH1 0xa0
00001c2b: SHL
00001c2c: SUB
00001c2d: AND
00001c2e: DUP2
00001c2f: MSTORE
00001c30: PUSH1 0x20
00001c32: ADD
00001c33: SWAP2
00001c34: POP
00001c35: POP
00001c36: PUSH1 0x20
00001c38: PUSH1 0x40
00001c3a: MLOAD
00001c3b: DUP1
00001c3c: DUP4
00001c3d: SUB
00001c3e: DUP2
00001c3f: DUP7
00001c40: DUP1
00001c41: EXTCODESIZE
00001c42: ISZERO
00001c43: DUP1
00001c44: ISZERO
00001c45: PUSH2 0x1c4d
00001c48: JUMPI
00001c49: PUSH1 0x00
00001c4b: DUP1
00001c4c: REVERT
00001c4d: JUMPDEST
00001c4e: POP
00001c4f: GAS
00001c50: STATICCALL
00001c51: ISZERO
00001c52: DUP1
00001c53: ISZERO
00001c54: PUSH2 0x1c61
00001c57: JUMPI
00001c58: RETURNDATASIZE
00001c59: PUSH1 0x00
00001c5b: DUP1
00001c5c: RETURNDATACOPY
00001c5d: RETURNDATASIZE
00001c5e: PUSH1 0x00
00001c60: REVERT
00001c61: JUMPDEST
00001c62: POP
00001c63: POP
00001c64: POP
00001c65: POP
00001c66: PUSH1 0x40
00001c68: MLOAD
00001c69: RETURNDATASIZE
00001c6a: PUSH1 0x20
00001c6c: DUP2
00001c6d: LT
00001c6e: ISZERO
00001c6f: PUSH2 0x1c77
00001c72: JUMPI
00001c73: PUSH1 0x00
00001c75: DUP1
00001c76: REVERT
00001c77: JUMPDEST
00001c78: POP
00001c79: MLOAD
00001c7a: SWAP1
00001c7b: POP
00001c7c: PUSH2 0x1c85
00001c7f: DUP2
00001c80: DUP4
00001c81: PUSH2 0x103d
00001c84: JUMP
00001c85: JUMPDEST
00001c86: SWAP7
00001c87: POP
00001c88: PUSH1 0x00
00001c8a: DUP8
00001c8b: GT
00001c8c: PUSH2 0x1cca
00001c8f: JUMPI
00001c90: PUSH1 0x40
00001c92: DUP1
00001c93: MLOAD
00001c94: PUSH3 0x461bcd
00001c98: PUSH1 0xe5
00001c9a: SHL
00001c9b: DUP2
00001c9c: MSTORE
00001c9d: PUSH1 0x20
00001c9f: PUSH1 0x04
00001ca1: DUP3
00001ca2: ADD
00001ca3: MSTORE
00001ca4: PUSH1 0x0b
00001ca6: PUSH1 0x24
00001ca8: DUP3
00001ca9: ADD
00001caa: MSTORE
00001cab: PUSH11 0x04641494c45445f5357415
00001cb7: PUSH1 0xac
00001cb9: SHL
00001cba: PUSH1 0x44
00001cbc: DUP3
00001cbd: ADD
00001cbe: MSTORE
00001cbf: SWAP1
00001cc0: MLOAD
00001cc1: SWAP1
00001cc2: DUP2
00001cc3: SWAP1
00001cc4: SUB
00001cc5: PUSH1 0x64
00001cc7: ADD
00001cc8: SWAP1
00001cc9: REVERT
00001cca: JUMPDEST
00001ccb: POP
00001ccc: POP
00001ccd: POP
00001cce: POP
00001ccf: POP
00001cd0: POP
00001cd1: SWAP5
00001cd2: SWAP4
00001cd3: POP
00001cd4: POP
00001cd5: POP
00001cd6: POP
00001cd7: JUMP
00001cd8: JUMPDEST
00001cd9: PUSH1 0x00
00001cdb: DUP5
00001cdc: PUSH2 0x0120
00001cdf: ADD
00001ce0: MLOAD
00001ce1: PUSH2 0x1cf5
00001ce4: JUMPI
00001ce5: PUSH1 0x01
00001ce7: SLOAD
00001ce8: PUSH1 0x01
00001cea: PUSH1 0x01
00001cec: PUSH1 0xa0
00001cee: SHL
00001cef: SUB
00001cf0: AND
00001cf1: PUSH2 0x1cfb
00001cf4: JUMP
00001cf5: JUMPDEST
00001cf6: DUP5
00001cf7: PUSH1 0x20
00001cf9: ADD
00001cfa: MLOAD
00001cfb: JUMPDEST
00001cfc: PUSH1 0x0b
00001cfe: SLOAD
00001cff: PUSH1 0x40
00001d01: DUP1
00001d02: MLOAD
00001d03: PUSH4 0xbbe4f6db
00001d08: PUSH1 0xe0
00001d0a: SHL
00001d0b: DUP2
00001d0c: MSTORE
00001d0d: PUSH1 0x01
00001d0f: PUSH1 0x01
00001d11: PUSH1 0xa0
00001d13: SHL
00001d14: SUB
00001d15: DUP1
00001d16: DUP6
00001d17: AND
00001d18: PUSH1 0x04
00001d1a: DUP4
00001d1b: ADD
00001d1c: MSTORE
00001d1d: SWAP2
00001d1e: MLOAD
00001d1f: SWAP4
00001d20: SWAP5
00001d21: POP
00001d22: PUSH1 0x00
00001d24: SWAP4
00001d25: SWAP2
00001d26: SWAP1
00001d27: SWAP3
00001d28: AND
00001d29: SWAP2
00001d2a: PUSH4 0xbbe4f6db
00001d2f: SWAP2
00001d30: PUSH1 0x24
00001d32: DUP1
00001d33: DUP4
00001d34: ADD
00001d35: SWAP3
00001d36: PUSH1 0x20
00001d38: SWAP3
00001d39: SWAP2
00001d3a: SWAP1
00001d3b: DUP3
00001d3c: SWAP1
00001d3d: SUB
00001d3e: ADD
00001d3f: DUP2
00001d40: DUP8
00001d41: DUP8
00001d42: DUP1
00001d43: EXTCODESIZE
00001d44: ISZERO
00001d45: DUP1
00001d46: ISZERO
00001d47: PUSH2 0x1d4f
00001d4a: JUMPI
00001d4b: PUSH1 0x00
00001d4d: DUP1
00001d4e: REVERT
00001d4f: JUMPDEST
00001d50: POP
00001d51: GAS
00001d52: CALL
00001d53: ISZERO
00001d54: DUP1
00001d55: ISZERO
00001d56: PUSH2 0x1d63
00001d59: JUMPI
00001d5a: RETURNDATASIZE
00001d5b: PUSH1 0x00
00001d5d: DUP1
00001d5e: RETURNDATACOPY
00001d5f: RETURNDATASIZE
00001d60: PUSH1 0x00
00001d62: REVERT
00001d63: JUMPDEST
00001d64: POP
00001d65: POP
00001d66: POP
00001d67: POP
00001d68: PUSH1 0x40
00001d6a: MLOAD
00001d6b: RETURNDATASIZE
00001d6c: PUSH1 0x20
00001d6e: DUP2
00001d6f: LT
00001d70: ISZERO
00001d71: PUSH2 0x1d79
00001d74: JUMPI
00001d75: PUSH1 0x00
00001d77: DUP1
00001d78: REVERT
00001d79: JUMPDEST
00001d7a: POP
00001d7b: MLOAD
00001d7c: PUSH1 0x60
00001d7e: DUP8
00001d7f: ADD
00001d80: MLOAD
00001d81: SWAP1
00001d82: SWAP2
00001d83: POP
00001d84: DUP6
00001d85: GT
00001d86: ISZERO
00001d87: PUSH2 0x1e92
00001d8a: JUMPI
00001d8b: PUSH2 0x1d99
00001d8e: DUP2
00001d8f: DUP4
00001d90: DUP9
00001d91: PUSH1 0x60
00001d93: ADD
00001d94: MLOAD
00001d95: PUSH2 0x2b8c
00001d98: JUMP
00001d99: JUMPDEST
00001d9a: PUSH1 0x00
00001d9c: PUSH2 0x1db2
00001d9f: DUP8
00001da0: PUSH1 0x60
00001da2: ADD
00001da3: MLOAD
00001da4: DUP8
00001da5: PUSH2 0x103d
00001da8: SWAP1
00001da9: SWAP2
00001daa: SWAP1
00001dab: PUSH4 0xffffffff
00001db0: AND
00001db1: JUMP
00001db2: JUMPDEST
00001db3: SWAP1
00001db4: POP
00001db5: DUP5
00001db6: DUP2
00001db7: GT
00001db8: ISZERO
00001db9: PUSH2 0x1e47
00001dbc: JUMPI
00001dbd: PUSH1 0x00
00001dbf: PUSH2 0x1dc8
00001dc2: DUP3
00001dc3: DUP8
00001dc4: PUSH2 0x103d
00001dc7: JUMP
00001dc8: JUMPDEST
00001dc9: SWAP1
00001dca: POP
00001dcb: DUP8
00001dcc: PUSH2 0x0120
00001dcf: ADD
00001dd0: MLOAD
00001dd1: ISZERO
00001dd2: PUSH2 0x1df5
00001dd5: JUMPI
00001dd6: PUSH1 0x20
00001dd8: DUP9
00001dd9: ADD
00001dda: MLOAD
00001ddb: PUSH1 0x01
00001ddd: SLOAD
00001dde: PUSH2 0x1df2
00001de1: SWAP2
00001de2: SWAP1
00001de3: PUSH1 0x01
00001de5: PUSH1 0x01
00001de7: PUSH1 0xa0
00001de9: SHL
00001dea: SUB
00001deb: AND
00001dec: DUP9
00001ded: DUP9
00001dee: PUSH2 0x1970
00001df1: JUMP
00001df2: JUMPDEST
00001df3: SWAP6
00001df4: POP
00001df5: JUMPDEST
00001df6: PUSH2 0x1dff
00001df9: DUP7
00001dfa: DUP5
00001dfb: PUSH2 0x2899
00001dfe: JUMP
00001dff: JUMPDEST
00001e00: DUP8
00001e01: PUSH2 0x0120
00001e04: ADD
00001e05: MLOAD
00001e06: ISZERO
00001e07: PUSH2 0x1e33
00001e0a: JUMPI
00001e0b: PUSH1 0x20
00001e0d: DUP9
00001e0e: ADD
00001e0f: MLOAD
00001e10: PUSH1 0x01
00001e12: SLOAD
00001e13: PUSH2 0x1e30
00001e16: SWAP2
00001e17: SWAP1
00001e18: PUSH1 0x01
00001e1a: PUSH1 0x01
00001e1c: PUSH1 0xa0
00001e1e: SHL
00001e1f: SUB
00001e20: AND
00001e21: PUSH2 0x1e2a
00001e24: DUP6
00001e25: DUP11
00001e26: PUSH2 0x103d
00001e29: JUMP
00001e2a: JUMPDEST
00001e2b: DUP9
00001e2c: PUSH2 0x1970
00001e2f: JUMP
00001e30: JUMPDEST
00001e31: SWAP1
00001e32: POP
00001e33: JUMPDEST
00001e34: PUSH2 0x1e41
00001e37: DUP9
00001e38: PUSH1 0x40
00001e3a: ADD
00001e3b: MLOAD
00001e3c: DUP3
00001e3d: PUSH2 0x2c89
00001e40: JUMP
00001e41: JUMPDEST
00001e42: POP
00001e43: PUSH2 0x1e8c
00001e46: JUMP
00001e47: JUMPDEST
00001e48: DUP7
00001e49: PUSH2 0x0120
00001e4c: ADD
00001e4d: MLOAD
00001e4e: ISZERO
00001e4f: PUSH2 0x1e82
00001e52: JUMPI
00001e53: PUSH1 0x20
00001e55: DUP8
00001e56: ADD
00001e57: MLOAD
00001e58: PUSH1 0x01
00001e5a: SLOAD
00001e5b: PUSH1 0x60
00001e5d: DUP10
00001e5e: ADD
00001e5f: MLOAD
00001e60: PUSH2 0x1e7f
00001e63: SWAP3
00001e64: SWAP2
00001e65: PUSH1 0x01
00001e67: PUSH1 0x01
00001e69: PUSH1 0xa0
00001e6b: SHL
00001e6c: SUB
00001e6d: AND
00001e6e: SWAP1
00001e6f: PUSH2 0x1e79
00001e72: SWAP1
00001e73: DUP11
00001e74: SWAP1
00001e75: PUSH2 0x103d
00001e78: JUMP
00001e79: JUMPDEST
00001e7a: DUP8
00001e7b: PUSH2 0x1970
00001e7e: JUMP
00001e7f: JUMPDEST
00001e80: SWAP1
00001e81: POP
00001e82: JUMPDEST
00001e83: PUSH2 0x1e8c
00001e86: DUP2
00001e87: DUP4
00001e88: PUSH2 0x2899
00001e8b: JUMP
00001e8c: JUMPDEST
00001e8d: POP
00001e8e: PUSH2 0x1e9d
00001e91: JUMP
00001e92: JUMPDEST
00001e93: PUSH2 0x1e9d
00001e96: DUP2
00001e97: DUP4
00001e98: DUP8
00001e99: PUSH2 0x2b8c
00001e9c: JUMP
00001e9d: JUMPDEST
00001e9e: POP
00001e9f: POP
00001ea0: POP
00001ea1: POP
00001ea2: POP
00001ea3: POP
00001ea4: JUMP
00001ea5: JUMPDEST
00001ea6: PUSH1 0x01
00001ea8: PUSH1 0x01
00001eaa: PUSH1 0xa0
00001eac: SHL
00001ead: SUB
00001eae: DUP4
00001eaf: AND
00001eb0: PUSH1 0x00
00001eb2: SWAP1
00001eb3: DUP2
00001eb4: MSTORE
00001eb5: PUSH1 0x08
00001eb7: PUSH1 0x20
00001eb9: MSTORE
00001eba: PUSH1 0x40
00001ebc: SWAP1
00001ebd: KECCAK256
00001ebe: SLOAD
00001ebf: DUP2
00001ec0: GT
00001ec1: ISZERO
00001ec2: PUSH2 0x1eca
00001ec5: JUMPI
00001ec6: PUSH1 0x00
00001ec8: DUP1
00001ec9: REVERT
00001eca: JUMPDEST
00001ecb: PUSH1 0x01
00001ecd: PUSH1 0x01
00001ecf: PUSH1 0xa0
00001ed1: SHL
00001ed2: SUB
00001ed3: DUP4
00001ed4: AND
00001ed5: PUSH1 0x00
00001ed7: SWAP1
00001ed8: DUP2
00001ed9: MSTORE
00001eda: PUSH1 0x08
00001edc: PUSH1 0x20
00001ede: MSTORE
00001edf: PUSH1 0x40
00001ee1: SWAP1
00001ee2: KECCAK256
00001ee3: SLOAD
00001ee4: PUSH2 0x1eed
00001ee7: SWAP1
00001ee8: DUP3
00001ee9: PUSH2 0x103d
00001eec: JUMP
00001eed: JUMPDEST
00001eee: PUSH1 0x01
00001ef0: PUSH1 0x01
00001ef2: PUSH1 0xa0
00001ef4: SHL
00001ef5: SUB
00001ef6: DUP1
00001ef7: DUP6
00001ef8: AND
00001ef9: PUSH1 0x00
00001efb: SWAP1
00001efc: DUP2
00001efd: MSTORE
00001efe: PUSH1 0x08
00001f00: PUSH1 0x20
00001f02: SWAP1
00001f03: DUP2
00001f04: MSTORE
00001f05: PUSH1 0x40
00001f07: DUP1
00001f08: DUP4
00001f09: KECCAK256
00001f0a: SWAP5
00001f0b: SWAP1
00001f0c: SWAP5
00001f0d: SSTORE
00001f0e: SWAP2
00001f0f: DUP6
00001f10: AND
00001f11: DUP2
00001f12: MSTORE
00001f13: PUSH1 0x07
00001f15: SWAP1
00001f16: SWAP2
00001f17: MSTORE
00001f18: KECCAK256
00001f19: SLOAD
00001f1a: PUSH2 0x1f23
00001f1d: SWAP1
00001f1e: DUP3
00001f1f: PUSH2 0x1249
00001f22: JUMP
00001f23: JUMPDEST
00001f24: PUSH1 0x01
00001f26: PUSH1 0x01
00001f28: PUSH1 0xa0
00001f2a: SHL
00001f2b: SUB
00001f2c: SWAP1
00001f2d: SWAP3
00001f2e: AND
00001f2f: PUSH1 0x00
00001f31: SWAP1
00001f32: DUP2
00001f33: MSTORE
00001f34: PUSH1 0x07
00001f36: PUSH1 0x20
00001f38: MSTORE
00001f39: PUSH1 0x40
00001f3b: SWAP1
00001f3c: KECCAK256
00001f3d: SWAP2
00001f3e: SWAP1
00001f3f: SWAP2
00001f40: SSTORE
00001f41: POP
00001f42: POP
00001f43: JUMP
00001f44: JUMPDEST
00001f45: PUSH1 0x04
00001f47: DUP1
00001f48: DUP4
00001f49: ADD
00001f4a: SLOAD
00001f4b: PUSH1 0x03
00001f4d: DUP5
00001f4e: ADD
00001f4f: SLOAD
00001f50: PUSH1 0x05
00001f52: DUP6
00001f53: ADD
00001f54: SLOAD
00001f55: PUSH1 0x0b
00001f57: SLOAD
00001f58: PUSH1 0x01
00001f5a: DUP8
00001f5b: ADD
00001f5c: SLOAD
00001f5d: PUSH1 0x40
00001f5f: DUP1
00001f60: MLOAD
00001f61: PUSH4 0xbbe4f6db
00001f66: PUSH1 0xe0
00001f68: SHL
00001f69: DUP2
00001f6a: MSTORE
00001f6b: PUSH1 0x01
00001f6d: PUSH1 0x01
00001f6f: PUSH1 0xa0
00001f71: SHL
00001f72: SUB
00001f73: SWAP3
00001f74: DUP4
00001f75: AND
00001f76: SWAP8
00001f77: DUP2
00001f78: ADD
00001f79: SWAP8
00001f7a: SWAP1
00001f7b: SWAP8
00001f7c: MSTORE
00001f7d: MLOAD
00001f7e: SWAP5
00001f7f: SWAP6
00001f80: SWAP4
00001f81: SWAP5
00001f82: SWAP3
00001f83: SWAP4
00001f84: PUSH1 0x00
00001f86: SWAP4
00001f87: SWAP2
00001f88: SWAP1
00001f89: SWAP3
00001f8a: AND
00001f8b: SWAP2
00001f8c: PUSH4 0xbbe4f6db
00001f91: SWAP2
00001f92: PUSH1 0x24
00001f94: DUP1
00001f95: DUP4
00001f96: ADD
00001f97: SWAP3
00001f98: PUSH1 0x20
00001f9a: SWAP3
00001f9b: SWAP2
00001f9c: SWAP1
00001f9d: DUP3
00001f9e: SWAP1
00001f9f: SUB
00001fa0: ADD
00001fa1: DUP2
00001fa2: DUP8
00001fa3: DUP8
00001fa4: DUP1
00001fa5: EXTCODESIZE
00001fa6: ISZERO
00001fa7: DUP1
00001fa8: ISZERO
00001fa9: PUSH2 0x1fb1
00001fac: JUMPI
00001fad: PUSH1 0x00
00001faf: DUP1
00001fb0: REVERT
00001fb1: JUMPDEST
00001fb2: POP
00001fb3: GAS
00001fb4: CALL
00001fb5: ISZERO
00001fb6: DUP1
00001fb7: ISZERO
00001fb8: PUSH2 0x1fc5
00001fbb: JUMPI
00001fbc: RETURNDATASIZE
00001fbd: PUSH1 0x00
00001fbf: DUP1
00001fc0: RETURNDATACOPY
00001fc1: RETURNDATASIZE
00001fc2: PUSH1 0x00
00001fc4: REVERT
00001fc5: JUMPDEST
00001fc6: POP
00001fc7: POP
00001fc8: POP
00001fc9: POP
00001fca: PUSH1 0x40
00001fcc: MLOAD
00001fcd: RETURNDATASIZE
00001fce: PUSH1 0x20
00001fd0: DUP2
00001fd1: LT
00001fd2: ISZERO
00001fd3: PUSH2 0x1fdb
00001fd6: JUMPI
00001fd7: PUSH1 0x00
00001fd9: DUP1
00001fda: REVERT
00001fdb: JUMPDEST
00001fdc: POP
00001fdd: MLOAD
00001fde: DUP7
00001fdf: SLOAD
00001fe0: SWAP1
00001fe1: SWAP2
00001fe2: POP
00001fe3: PUSH1 0x00
00001fe5: SWAP1
00001fe6: PUSH2 0x1fee
00001fe9: SWAP1
00001fea: PUSH2 0x09af
00001fed: JUMP
00001fee: JUMPDEST
00001fef: PUSH1 0x01
00001ff1: DUP1
00001ff2: SLOAD
00001ff3: SWAP1
00001ff4: DUP10
00001ff5: ADD
00001ff6: SLOAD
00001ff7: SWAP2
00001ff8: SWAP3
00001ff9: POP
00001ffa: PUSH1 0x00
00001ffc: SWAP2
00001ffd: PUSH2 0x2014
00002000: SWAP2
00002001: PUSH1 0x01
00002003: PUSH1 0x01
00002005: PUSH1 0xa0
00002007: SHL
00002008: SUB
00002009: SWAP1
0000200a: DUP2
0000200b: AND
0000200c: SWAP2
0000200d: AND
0000200e: DUP9
0000200f: DUP11
00002010: PUSH2 0x1970
00002013: JUMP
00002014: JUMPDEST
00002015: SWAP1
00002016: POP
00002017: PUSH2 0x2031
0000201a: PUSH2 0x2023
0000201d: DUP8
0000201e: DUP7
0000201f: PUSH2 0x1249
00002022: JUMP
00002023: JUMPDEST
00002024: PUSH2 0x07a9
00002027: DUP9
00002028: PUSH2 0x07a3
0000202b: DUP10
0000202c: DUP8
0000202d: PUSH2 0x1249
00002030: JUMP
00002031: JUMPDEST
00002032: DUP2
00002033: LT
00002034: ISZERO
00002035: PUSH2 0x2076
00002038: JUMPI
00002039: PUSH1 0x40
0000203b: DUP1
0000203c: MLOAD
0000203d: PUSH3 0x461bcd
00002041: PUSH1 0xe5
00002043: SHL
00002044: DUP2
00002045: MSTORE
00002046: PUSH1 0x20
00002048: PUSH1 0x04
0000204a: DUP3
0000204b: ADD
0000204c: MSTORE
0000204d: PUSH1 0x0e
0000204f: PUSH1 0x24
00002051: DUP3
00002052: ADD
00002053: MSTORE
00002054: PUSH14 0x4c49515549444154455f4f4e4c59
00002063: PUSH1 0x90
00002065: SHL
00002066: PUSH1 0x44
00002068: DUP3
00002069: ADD
0000206a: MSTORE
0000206b: SWAP1
0000206c: MLOAD
0000206d: SWAP1
0000206e: DUP2
0000206f: SWAP1
00002070: SUB
00002071: PUSH1 0x64
00002073: ADD
00002074: SWAP1
00002075: REVERT
00002076: JUMPDEST
00002077: DUP1
00002078: DUP6
00002079: LT
0000207a: PUSH1 0x00
0000207c: DUP2
0000207d: ISZERO
0000207e: PUSH2 0x20b8
00002081: JUMPI
00002082: PUSH1 0x00
00002084: PUSH2 0x208d
00002087: DUP5
00002088: DUP10
00002089: PUSH2 0x103d
0000208c: JUMP
0000208d: JUMPDEST
0000208e: PUSH1 0x01
00002090: DUP1
00002091: DUP14
00002092: ADD
00002093: SLOAD
00002094: SWAP1
00002095: SLOAD
00002096: SWAP2
00002097: SWAP3
00002098: POP
00002099: PUSH2 0x20b0
0000209c: SWAP2
0000209d: PUSH1 0x01
0000209f: PUSH1 0x01
000020a1: PUSH1 0xa0
000020a3: SHL
000020a4: SUB
000020a5: SWAP2
000020a6: DUP3
000020a7: AND
000020a8: SWAP2
000020a9: AND
000020aa: DUP4
000020ab: DUP14
000020ac: PUSH2 0x1970
000020af: JUMP
000020b0: JUMPDEST
000020b1: SWAP2
000020b2: POP
000020b3: POP
000020b4: PUSH2 0x2115
000020b7: JUMP
000020b8: JUMPDEST
000020b9: PUSH1 0x01
000020bb: DUP1
000020bc: SLOAD
000020bd: SWAP1
000020be: DUP12
000020bf: ADD
000020c0: SLOAD
000020c1: PUSH1 0x00
000020c3: SWAP2
000020c4: PUSH2 0x20db
000020c7: SWAP2
000020c8: PUSH1 0x01
000020ca: PUSH1 0x01
000020cc: PUSH1 0xa0
000020ce: SHL
000020cf: SUB
000020d0: SWAP2
000020d1: DUP3
000020d2: AND
000020d3: SWAP2
000020d4: AND
000020d5: DUP10
000020d6: DUP14
000020d7: PUSH2 0x1970
000020da: JUMP
000020db: JUMPDEST
000020dc: PUSH1 0x01
000020de: DUP1
000020df: DUP14
000020e0: ADD
000020e1: SLOAD
000020e2: SWAP1
000020e3: SLOAD
000020e4: SWAP2
000020e5: SWAP3
000020e6: POP
000020e7: PUSH2 0x2111
000020ea: SWAP2
000020eb: PUSH1 0x01
000020ed: PUSH1 0x01
000020ef: PUSH1 0xa0
000020f1: SHL
000020f2: SUB
000020f3: SWAP2
000020f4: DUP3
000020f5: AND
000020f6: SWAP2
000020f7: AND
000020f8: PUSH2 0x210b
000020fb: PUSH2 0x2104
000020fe: DUP13
000020ff: DUP10
00002100: PUSH2 0x103d
00002103: JUMP
00002104: JUMPDEST
00002105: DUP6
00002106: SWAP1
00002107: PUSH2 0x103d
0000210a: JUMP
0000210b: JUMPDEST
0000210c: DUP14
0000210d: PUSH2 0x1970
00002110: JUMP
00002111: JUMPDEST
00002112: SWAP2
00002113: POP
00002114: POP
00002115: JUMPDEST
00002116: PUSH1 0x00
00002118: DUP1
00002119: DUP6
0000211a: GT
0000211b: PUSH2 0x2125
0000211e: JUMPI
0000211f: PUSH1 0x00
00002121: PUSH2 0x2144
00002124: JUMP
00002125: JUMPDEST
00002126: PUSH1 0x01
00002128: DUP12
00002129: ADD
0000212a: SLOAD
0000212b: PUSH1 0x02
0000212d: SLOAD
0000212e: PUSH2 0x2144
00002131: SWAP2
00002132: PUSH1 0x01
00002134: PUSH1 0x01
00002136: PUSH1 0xa0
00002138: SHL
00002139: SUB
0000213a: SWAP1
0000213b: DUP2
0000213c: AND
0000213d: SWAP2
0000213e: AND
0000213f: DUP8
00002140: PUSH2 0x10da
00002143: JUMP
00002144: JUMPDEST
00002145: SWAP1
00002146: POP
00002147: PUSH1 0x00
00002149: PUSH2 0x2169
0000214c: DUP3
0000214d: PUSH2 0x0c95
00002150: PUSH8 0x0de0b6b3a7640000
00002159: PUSH2 0x07a9
0000215c: DUP8
0000215d: PUSH7 0x1c6bf526340000
00002165: PUSH2 0x12a3
00002168: JUMP
00002169: JUMPDEST
0000216a: PUSH1 0x01
0000216c: DUP14
0000216d: ADD
0000216e: SLOAD
0000216f: SWAP1
00002170: SWAP2
00002171: POP
00002172: PUSH2 0x2186
00002175: SWAP1
00002176: DUP9
00002177: SWAP1
00002178: PUSH1 0x01
0000217a: PUSH1 0x01
0000217c: PUSH1 0xa0
0000217e: SHL
0000217f: SUB
00002180: AND
00002181: DUP12
00002182: PUSH2 0x2b8c
00002185: JUMP
00002186: JUMPDEST
00002187: PUSH2 0x2190
0000218a: DUP2
0000218b: DUP9
0000218c: PUSH2 0x2899
0000218f: JUMP
00002190: JUMPDEST
00002191: PUSH1 0x02
00002193: DUP13
00002194: ADD
00002195: SLOAD
00002196: PUSH2 0x21c3
00002199: SWAP1
0000219a: PUSH1 0x01
0000219c: PUSH1 0x01
0000219e: PUSH1 0xa0
000021a0: SHL
000021a1: SUB
000021a2: AND
000021a3: DUP6
000021a4: PUSH2 0x21ae
000021a7: JUMPI
000021a8: PUSH1 0x00
000021aa: PUSH2 0x21bd
000021ad: JUMP
000021ae: JUMPDEST
000021af: PUSH1 0x02
000021b1: DUP15
000021b2: ADD
000021b3: SLOAD
000021b4: PUSH1 0x01
000021b6: PUSH1 0x01
000021b8: PUSH1 0xa0
000021ba: SHL
000021bb: SUB
000021bc: AND
000021bd: JUMPDEST
000021be: DUP11
000021bf: PUSH2 0x1ea5
000021c2: JUMP
000021c3: JUMPDEST
000021c4: PUSH1 0x02
000021c6: DUP13
000021c7: ADD
000021c8: SLOAD
000021c9: PUSH1 0x03
000021cb: SLOAD
000021cc: PUSH2 0x21e0
000021cf: SWAP2
000021d0: PUSH1 0x01
000021d2: PUSH1 0x01
000021d4: PUSH1 0xa0
000021d6: SHL
000021d7: SUB
000021d8: AND
000021d9: SWAP1
000021da: DUP2
000021db: SWAP1
000021dc: PUSH2 0x1ea5
000021df: JUMP
000021e0: JUMPDEST
000021e1: PUSH1 0x02
000021e3: DUP13
000021e4: ADD
000021e5: SLOAD
000021e6: PUSH2 0x2201
000021e9: SWAP1
000021ea: PUSH1 0x01
000021ec: PUSH1 0x01
000021ee: PUSH1 0xa0
000021f0: SHL
000021f1: SUB
000021f2: AND
000021f3: PUSH2 0x21fc
000021f6: DUP6
000021f7: DUP5
000021f8: PUSH2 0x103d
000021fb: JUMP
000021fc: JUMPDEST
000021fd: PUSH2 0x2c89
00002200: JUMP
00002201: JUMPDEST
00002202: PUSH1 0x08
00002204: DUP13
00002205: ADD
00002206: DUP1
00002207: SLOAD
00002208: PUSH1 0xff
0000220a: NOT
0000220b: AND
0000220c: PUSH1 0x01
0000220e: SWAP1
0000220f: DUP2
00002210: OR
00002211: SWAP1
00002212: SWAP2
00002213: SSTORE
00002214: DUP13
00002215: DUP2
00002216: ADD
00002217: SLOAD
00002218: DUP14
00002219: SLOAD
0000221a: PUSH1 0x40
0000221c: DUP1
0000221d: MLOAD
0000221e: SWAP2
0000221f: DUP3
00002220: MSTORE
00002221: PUSH1 0x20
00002223: DUP3
00002224: ADD
00002225: SWAP4
00002226: SWAP1
00002227: SWAP4
00002228: MSTORE
00002229: DUP3
0000222a: MLOAD
0000222b: PUSH1 0x01
0000222d: PUSH1 0x01
0000222f: PUSH1 0xa0
00002231: SHL
00002232: SUB
00002233: SWAP1
00002234: SWAP3
00002235: AND
00002236: SWAP3
00002237: CALLER
00002238: SWAP3
00002239: PUSH32 0x1327491af5beea6d0338ab3dbd4baa51e6117f2b5e768437a996f1cc6a0d3529
0000225a: SWAP3
0000225b: DUP2
0000225c: SWAP1
0000225d: SUB
0000225e: SWAP1
0000225f: SWAP2
00002260: ADD
00002261: SWAP1
00002262: LOG3
00002263: POP
00002264: POP
00002265: POP
00002266: POP
00002267: POP
00002268: POP
00002269: POP
0000226a: POP
0000226b: POP
0000226c: POP
0000226d: POP
0000226e: POP
0000226f: JUMP
00002270: JUMPDEST
00002271: PUSH1 0x04
00002273: DUP1
00002274: DUP4
00002275: ADD
00002276: SLOAD
00002277: PUSH1 0x03
00002279: DUP5
0000227a: ADD
0000227b: SLOAD
0000227c: PUSH1 0x0b
0000227e: SLOAD
0000227f: PUSH1 0x01
00002281: SLOAD
00002282: PUSH1 0x40
00002284: DUP1
00002285: MLOAD
00002286: PUSH4 0xbbe4f6db
0000228b: PUSH1 0xe0
0000228d: SHL
0000228e: DUP2
0000228f: MSTORE
00002290: PUSH1 0x01
00002292: PUSH1 0x01
00002294: PUSH1 0xa0
00002296: SHL
00002297: SUB
00002298: SWAP3
00002299: DUP4
0000229a: AND
0000229b: SWAP7
0000229c: DUP2
0000229d: ADD
0000229e: SWAP7
0000229f: SWAP1
000022a0: SWAP7
000022a1: MSTORE
000022a2: MLOAD
000022a3: SWAP4
000022a4: SWAP5
000022a5: SWAP3
000022a6: SWAP4
000022a7: PUSH1 0x00
000022a9: SWAP4
000022aa: SWAP2
000022ab: SWAP1
000022ac: SWAP3
000022ad: AND
000022ae: SWAP2
000022af: PUSH4 0xbbe4f6db
000022b4: SWAP2
000022b5: PUSH1 0x24
000022b7: DUP1
000022b8: DUP3
000022b9: ADD
000022ba: SWAP3
000022bb: PUSH1 0x20
000022bd: SWAP3
000022be: SWAP1
000022bf: SWAP2
000022c0: SWAP1
000022c1: DUP3
000022c2: SWAP1
000022c3: SUB
000022c4: ADD
000022c5: DUP2
000022c6: DUP8
000022c7: DUP8
000022c8: DUP1
000022c9: EXTCODESIZE
000022ca: ISZERO
000022cb: DUP1
000022cc: ISZERO
000022cd: PUSH2 0x22d5
000022d0: JUMPI
000022d1: PUSH1 0x00
000022d3: DUP1
000022d4: REVERT
000022d5: JUMPDEST
000022d6: POP
000022d7: GAS
000022d8: CALL
000022d9: ISZERO
000022da: DUP1
000022db: ISZERO
000022dc: PUSH2 0x22e9
000022df: JUMPI
000022e0: RETURNDATASIZE
000022e1: PUSH1 0x00
000022e3: DUP1
000022e4: RETURNDATACOPY
000022e5: RETURNDATASIZE
000022e6: PUSH1 0x00
000022e8: REVERT
000022e9: JUMPDEST
000022ea: POP
000022eb: POP
000022ec: POP
000022ed: POP
000022ee: PUSH1 0x40
000022f0: MLOAD
000022f1: RETURNDATASIZE
000022f2: PUSH1 0x20
000022f4: DUP2
000022f5: LT
000022f6: ISZERO
000022f7: PUSH2 0x22ff
000022fa: JUMPI
000022fb: PUSH1 0x00
000022fd: DUP1
000022fe: REVERT
000022ff: JUMPDEST
00002300: POP
00002301: MLOAD
00002302: DUP6
00002303: SLOAD
00002304: SWAP1
00002305: SWAP2
00002306: POP
00002307: PUSH1 0x00
00002309: SWAP1
0000230a: PUSH2 0x2312
0000230d: SWAP1
0000230e: PUSH2 0x09af
00002311: JUMP
00002312: JUMPDEST
00002313: PUSH1 0x01
00002315: DUP1
00002316: DUP9
00002317: ADD
00002318: SLOAD
00002319: SWAP1
0000231a: SLOAD
0000231b: SWAP2
0000231c: SWAP3
0000231d: POP
0000231e: PUSH1 0x00
00002320: SWAP2
00002321: PUSH2 0x2338
00002324: SWAP2
00002325: PUSH1 0x01
00002327: PUSH1 0x01
00002329: PUSH1 0xa0
0000232b: SHL
0000232c: SUB
0000232d: SWAP1
0000232e: DUP2
0000232f: AND
00002330: SWAP2
00002331: AND
00002332: DUP8
00002333: DUP10
00002334: PUSH2 0x1970
00002337: JUMP
00002338: JUMPDEST
00002339: SWAP1
0000233a: POP
0000233b: PUSH2 0x2355
0000233e: DUP3
0000233f: PUSH2 0x0c95
00002342: DUP10
00002343: PUSH1 0x05
00002345: ADD
00002346: SLOAD
00002347: DUP8
00002348: PUSH2 0x103d
0000234b: SWAP1
0000234c: SWAP2
0000234d: SWAP1
0000234e: PUSH4 0xffffffff
00002353: AND
00002354: JUMP
00002355: JUMPDEST
00002356: DUP2
00002357: LT
00002358: ISZERO
00002359: PUSH2 0x239a
0000235c: JUMPI
0000235d: PUSH1 0x40
0000235f: DUP1
00002360: MLOAD
00002361: PUSH3 0x461bcd
00002365: PUSH1 0xe5
00002367: SHL
00002368: DUP2
00002369: MSTORE
0000236a: PUSH1 0x20
0000236c: PUSH1 0x04
0000236e: DUP3
0000236f: ADD
00002370: MSTORE
00002371: PUSH1 0x0e
00002373: PUSH1 0x24
00002375: DUP3
00002376: ADD
00002377: MSTORE
00002378: PUSH14 0x4c49515549444154455f4f4e4c59
00002387: PUSH1 0x90
00002389: SHL
0000238a: PUSH1 0x44
0000238c: DUP3
0000238d: ADD
0000238e: MSTORE
0000238f: SWAP1
00002390: MLOAD
00002391: SWAP1
00002392: DUP2
00002393: SWAP1
00002394: SUB
00002395: PUSH1 0x64
00002397: ADD
00002398: SWAP1
00002399: REVERT
0000239a: JUMPDEST
0000239b: PUSH1 0x05
0000239d: DUP8
0000239e: ADD
0000239f: SLOAD
000023a0: DUP5
000023a1: DUP3
000023a2: LT
000023a3: ISZERO
000023a4: PUSH1 0x00
000023a6: DUP2
000023a7: PUSH2 0x23c3
000023aa: JUMPI
000023ab: PUSH2 0x23be
000023ae: PUSH2 0x23b7
000023b1: DUP9
000023b2: DUP7
000023b3: PUSH2 0x103d
000023b6: JUMP
000023b7: JUMPDEST
000023b8: DUP5
000023b9: SWAP1
000023ba: PUSH2 0x103d
000023bd: JUMP
000023be: JUMPDEST
000023bf: PUSH2 0x23cd
000023c2: JUMP
000023c3: JUMPDEST
000023c4: PUSH2 0x23cd
000023c7: DUP5
000023c8: DUP9
000023c9: PUSH2 0x103d
000023cc: JUMP
000023cd: JUMPDEST
000023ce: SWAP1
000023cf: POP
000023d0: PUSH1 0x00
000023d2: PUSH2 0x23f2
000023d5: DUP7
000023d6: PUSH2 0x0c95
000023d9: PUSH8 0x0de0b6b3a7640000
000023e2: PUSH2 0x07a9
000023e5: DUP7
000023e6: PUSH7 0x1c6bf526340000
000023ee: PUSH2 0x12a3
000023f1: JUMP
000023f2: JUMPDEST
000023f3: PUSH1 0x01
000023f5: SLOAD
000023f6: SWAP1
000023f7: SWAP2
000023f8: POP
000023f9: PUSH2 0x240d
000023fc: SWAP1
000023fd: DUP9
000023fe: SWAP1
000023ff: PUSH1 0x01
00002401: PUSH1 0x01
00002403: PUSH1 0xa0
00002405: SHL
00002406: SUB
00002407: AND
00002408: DUP11
00002409: PUSH2 0x2b8c
0000240c: JUMP
0000240d: JUMPDEST
0000240e: PUSH2 0x2417
00002411: DUP2
00002412: DUP9
00002413: PUSH2 0x2899
00002416: JUMP
00002417: JUMPDEST
00002418: PUSH1 0x02
0000241a: DUP12
0000241b: ADD
0000241c: SLOAD
0000241d: PUSH2 0x244a
00002420: SWAP1
00002421: PUSH1 0x01
00002423: PUSH1 0x01
00002425: PUSH1 0xa0
00002427: SHL
00002428: SUB
00002429: AND
0000242a: DUP5
0000242b: PUSH2 0x2435
0000242e: JUMPI
0000242f: PUSH1 0x00
00002431: PUSH2 0x2444
00002434: JUMP
00002435: JUMPDEST
00002436: PUSH1 0x02
00002438: DUP14
00002439: ADD
0000243a: SLOAD
0000243b: PUSH1 0x01
0000243d: PUSH1 0x01
0000243f: PUSH1 0xa0
00002441: SHL
00002442: SUB
00002443: AND
00002444: JUMPDEST
00002445: DUP7
00002446: PUSH2 0x1ea5
00002449: JUMP
0000244a: JUMPDEST
0000244b: PUSH1 0x02
0000244d: DUP12
0000244e: ADD
0000244f: SLOAD
00002450: PUSH1 0x03
00002452: SLOAD
00002453: PUSH2 0x2467
00002456: SWAP2
00002457: PUSH1 0x01
00002459: PUSH1 0x01
0000245b: PUSH1 0xa0
0000245d: SHL
0000245e: SUB
0000245f: AND
00002460: SWAP1
00002461: DUP2
00002462: SWAP1
00002463: PUSH2 0x1ea5
00002466: JUMP
00002467: JUMPDEST
00002468: PUSH1 0x02
0000246a: DUP12
0000246b: ADD
0000246c: SLOAD
0000246d: PUSH2 0x2483
00002470: SWAP1
00002471: PUSH1 0x01
00002473: PUSH1 0x01
00002475: PUSH1 0xa0
00002477: SHL
00002478: SUB
00002479: AND
0000247a: PUSH2 0x21fc
0000247d: DUP5
0000247e: DUP5
0000247f: PUSH2 0x103d
00002482: JUMP
00002483: JUMPDEST
00002484: PUSH1 0x08
00002486: DUP12
00002487: ADD
00002488: DUP1
00002489: SLOAD
0000248a: PUSH1 0xff
0000248c: NOT
0000248d: AND
0000248e: PUSH1 0x01
00002490: SWAP1
00002491: DUP2
00002492: OR
00002493: SWAP1
00002494: SWAP2
00002495: SSTORE
00002496: DUP12
00002497: ADD
00002498: SLOAD
00002499: DUP12
0000249a: SLOAD
0000249b: PUSH1 0x40
0000249d: DUP1
0000249e: MLOAD
0000249f: SWAP2
000024a0: DUP3
000024a1: MSTORE
000024a2: PUSH1 0x00
000024a4: PUSH1 0x20
000024a6: DUP4
000024a7: ADD
000024a8: MSTORE
000024a9: DUP1
000024aa: MLOAD
000024ab: PUSH1 0x01
000024ad: PUSH1 0x01
000024af: PUSH1 0xa0
000024b1: SHL
000024b2: SUB
000024b3: SWAP1
000024b4: SWAP4
000024b5: AND
000024b6: SWAP3
000024b7: CALLER
000024b8: SWAP3
000024b9: PUSH32 0x1327491af5beea6d0338ab3dbd4baa51e6117f2b5e768437a996f1cc6a0d3529
000024da: SWAP3
000024db: SWAP1
000024dc: DUP3
000024dd: SWAP1
000024de: SUB
000024df: ADD
000024e0: SWAP1
000024e1: LOG3
000024e2: POP
000024e3: POP
000024e4: POP
000024e5: POP
000024e6: POP
000024e7: POP
000024e8: POP
000024e9: POP
000024ea: POP
000024eb: POP
000024ec: POP
000024ed: JUMP
000024ee: JUMPDEST
000024ef: PUSH1 0x00
000024f1: DUP2
000024f2: DUP5
000024f3: DUP5
000024f4: GT
000024f5: ISZERO
000024f6: PUSH2 0x257d
000024f9: JUMPI
000024fa: PUSH1 0x40
000024fc: MLOAD
000024fd: PUSH3 0x461bcd
00002501: PUSH1 0xe5
00002503: SHL
00002504: DUP2
00002505: MSTORE
00002506: PUSH1 0x04
00002508: ADD
00002509: DUP1
0000250a: DUP1
0000250b: PUSH1 0x20
0000250d: ADD
0000250e: DUP3
0000250f: DUP2
00002510: SUB
00002511: DUP3
00002512: MSTORE
00002513: DUP4
00002514: DUP2
00002515: DUP2
00002516: MLOAD
00002517: DUP2
00002518: MSTORE
00002519: PUSH1 0x20
0000251b: ADD
0000251c: SWAP2
0000251d: POP
0000251e: DUP1
0000251f: MLOAD
00002520: SWAP1
00002521: PUSH1 0x20
00002523: ADD
00002524: SWAP1
00002525: DUP1
00002526: DUP4
00002527: DUP4
00002528: PUSH1 0x00
0000252a: JUMPDEST
0000252b: DUP4
0000252c: DUP2
0000252d: LT
0000252e: ISZERO
0000252f: PUSH2 0x2542
00002532: JUMPI
00002533: DUP2
00002534: DUP2
00002535: ADD
00002536: MLOAD
00002537: DUP4
00002538: DUP3
00002539: ADD
0000253a: MSTORE
0000253b: PUSH1 0x20
0000253d: ADD
0000253e: PUSH2 0x252a
00002541: JUMP
00002542: JUMPDEST
00002543: POP
00002544: POP
00002545: POP
00002546: POP
00002547: SWAP1
00002548: POP
00002549: SWAP1
0000254a: DUP2
0000254b: ADD
0000254c: SWAP1
0000254d: PUSH1 0x1f
0000254f: AND
00002550: DUP1
00002551: ISZERO
00002552: PUSH2 0x256f
00002555: JUMPI
00002556: DUP1
00002557: DUP3
00002558: SUB
00002559: DUP1
0000255a: MLOAD
0000255b: PUSH1 0x01
0000255d: DUP4
0000255e: PUSH1 0x20
00002560: SUB
00002561: PUSH2 0x0100
00002564: EXP
00002565: SUB
00002566: NOT
00002567: AND
00002568: DUP2
00002569: MSTORE
0000256a: PUSH1 0x20
0000256c: ADD
0000256d: SWAP2
0000256e: POP
0000256f: JUMPDEST
00002570: POP
00002571: SWAP3
00002572: POP
00002573: POP
00002574: POP
00002575: PUSH1 0x40
00002577: MLOAD
00002578: DUP1
00002579: SWAP2
0000257a: SUB
0000257b: SWAP1
0000257c: REVERT
0000257d: JUMPDEST
0000257e: POP
0000257f: POP
00002580: POP
00002581: SWAP1
00002582: SUB
00002583: SWAP1
00002584: JUMP
00002585: JUMPDEST
00002586: PUSH1 0x60
00002588: PUSH2 0x25da
0000258b: DUP3
0000258c: PUSH1 0x40
0000258e: MLOAD
0000258f: DUP1
00002590: PUSH1 0x40
00002592: ADD
00002593: PUSH1 0x40
00002595: MSTORE
00002596: DUP1
00002597: PUSH1 0x20
00002599: DUP2
0000259a: MSTORE
0000259b: PUSH1 0x20
0000259d: ADD
0000259e: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
000025bf: DUP2
000025c0: MSTORE
000025c1: POP
000025c2: DUP6
000025c3: PUSH1 0x01
000025c5: PUSH1 0x01
000025c7: PUSH1 0xa0
000025c9: SHL
000025ca: SUB
000025cb: AND
000025cc: PUSH2 0x2ccc
000025cf: SWAP1
000025d0: SWAP3
000025d1: SWAP2
000025d2: SWAP1
000025d3: PUSH4 0xffffffff
000025d8: AND
000025d9: JUMP
000025da: JUMPDEST
000025db: DUP1
000025dc: MLOAD
000025dd: SWAP1
000025de: SWAP2
000025df: POP
000025e0: ISZERO
000025e1: PUSH2 0x0edf
000025e4: JUMPI
000025e5: DUP1
000025e6: DUP1
000025e7: PUSH1 0x20
000025e9: ADD
000025ea: SWAP1
000025eb: MLOAD
000025ec: PUSH1 0x20
000025ee: DUP2
000025ef: LT
000025f0: ISZERO
000025f1: PUSH2 0x25f9
000025f4: JUMPI
000025f5: PUSH1 0x00
000025f7: DUP1
000025f8: REVERT
000025f9: JUMPDEST
000025fa: POP
000025fb: MLOAD
000025fc: PUSH2 0x0edf
000025ff: JUMPI
00002600: PUSH1 0x40
00002602: MLOAD
00002603: PUSH3 0x461bcd
00002607: PUSH1 0xe5
00002609: SHL
0000260a: DUP2
0000260b: MSTORE
0000260c: PUSH1 0x04
0000260e: ADD
0000260f: DUP1
00002610: DUP1
00002611: PUSH1 0x20
00002613: ADD
00002614: DUP3
00002615: DUP2
00002616: SUB
00002617: DUP3
00002618: MSTORE
00002619: PUSH1 0x2a
0000261b: DUP2
0000261c: MSTORE
0000261d: PUSH1 0x20
0000261f: ADD
00002620: DUP1
00002621: PUSH2 0x2f39
00002624: PUSH1 0x2a
00002626: SWAP2
00002627: CODECOPY
00002628: PUSH1 0x40
0000262a: ADD
0000262b: SWAP2
0000262c: POP
0000262d: POP
0000262e: PUSH1 0x40
00002630: MLOAD
00002631: DUP1
00002632: SWAP2
00002633: SUB
00002634: SWAP1
00002635: REVERT
00002636: JUMPDEST
00002637: PUSH1 0x00
00002639: DUP1
0000263a: DUP3
0000263b: PUSH1 0x01
0000263d: PUSH1 0x01
0000263f: PUSH1 0xa0
00002641: SHL
00002642: SUB
00002643: AND
00002644: DUP5
00002645: PUSH1 0x01
00002647: PUSH1 0x01
00002649: PUSH1 0xa0
0000264b: SHL
0000264c: SUB
0000264d: AND
0000264e: EQ
0000264f: ISZERO
00002650: PUSH2 0x26a0
00002653: JUMPI
00002654: PUSH1 0x40
00002656: DUP1
00002657: MLOAD
00002658: PUSH3 0x461bcd
0000265c: PUSH1 0xe5
0000265e: SHL
0000265f: DUP2
00002660: MSTORE
00002661: PUSH1 0x20
00002663: PUSH1 0x04
00002665: DUP3
00002666: ADD
00002667: MSTORE
00002668: PUSH1 0x18
0000266a: PUSH1 0x24
0000266c: DUP3
0000266d: ADD
0000266e: MSTORE
0000266f: PUSH32 0x5556323a204944454e544943414c5f4144445245535345530000000000000000
00002690: PUSH1 0x44
00002692: DUP3
00002693: ADD
00002694: MSTORE
00002695: SWAP1
00002696: MLOAD
00002697: SWAP1
00002698: DUP2
00002699: SWAP1
0000269a: SUB
0000269b: PUSH1 0x64
0000269d: ADD
0000269e: SWAP1
0000269f: REVERT
000026a0: JUMPDEST
000026a1: DUP3
000026a2: PUSH1 0x01
000026a4: PUSH1 0x01
000026a6: PUSH1 0xa0
000026a8: SHL
000026a9: SUB
000026aa: AND
000026ab: DUP5
000026ac: PUSH1 0x01
000026ae: PUSH1 0x01
000026b0: PUSH1 0xa0
000026b2: SHL
000026b3: SUB
000026b4: AND
000026b5: LT
000026b6: PUSH2 0x26c0
000026b9: JUMPI
000026ba: DUP3
000026bb: DUP5
000026bc: PUSH2 0x26c3
000026bf: JUMP
000026c0: JUMPDEST
000026c1: DUP4
000026c2: DUP4
000026c3: JUMPDEST
000026c4: SWAP1
000026c5: SWAP3
000026c6: POP
000026c7: SWAP1
000026c8: POP
000026c9: PUSH1 0x01
000026cb: PUSH1 0x01
000026cd: PUSH1 0xa0
000026cf: SHL
000026d0: SUB
000026d1: DUP3
000026d2: AND
000026d3: PUSH2 0x2717
000026d6: JUMPI
000026d7: PUSH1 0x40
000026d9: DUP1
000026da: MLOAD
000026db: PUSH3 0x461bcd
000026df: PUSH1 0xe5
000026e1: SHL
000026e2: DUP2
000026e3: MSTORE
000026e4: PUSH1 0x20
000026e6: PUSH1 0x04
000026e8: DUP3
000026e9: ADD
000026ea: MSTORE
000026eb: PUSH1 0x11
000026ed: PUSH1 0x24
000026ef: DUP3
000026f0: ADD
000026f1: MSTORE
000026f2: PUSH17 0x5556323a205a45524f5f41444452455353
00002704: PUSH1 0x78
00002706: SHL
00002707: PUSH1 0x44
00002709: DUP3
0000270a: ADD
0000270b: MSTORE
0000270c: SWAP1
0000270d: MLOAD
0000270e: SWAP1
0000270f: DUP2
00002710: SWAP1
00002711: SUB
00002712: PUSH1 0x64
00002714: ADD
00002715: SWAP1
00002716: REVERT
00002717: JUMPDEST
00002718: SWAP3
00002719: POP
0000271a: SWAP3
0000271b: SWAP1
0000271c: POP
0000271d: JUMP
0000271e: JUMPDEST
0000271f: PUSH1 0x00
00002721: DUP1
00002722: DUP5
00002723: GT
00002724: PUSH2 0x2774
00002727: JUMPI
00002728: PUSH1 0x40
0000272a: DUP1
0000272b: MLOAD
0000272c: PUSH3 0x461bcd
00002730: PUSH1 0xe5
00002732: SHL
00002733: DUP2
00002734: MSTORE
00002735: PUSH1 0x20
00002737: PUSH1 0x04
00002739: DUP3
0000273a: ADD
0000273b: MSTORE
0000273c: PUSH1 0x1e
0000273e: PUSH1 0x24
00002740: DUP3
00002741: ADD
00002742: MSTORE
00002743: PUSH32 0x5556323a20494e53554646494349454e545f494e5055545f414d4f554e540000
00002764: PUSH1 0x44
00002766: DUP3
00002767: ADD
00002768: MSTORE
00002769: SWAP1
0000276a: MLOAD
0000276b: SWAP1
0000276c: DUP2
0000276d: SWAP1
0000276e: SUB
0000276f: PUSH1 0x64
00002771: ADD
00002772: SWAP1
00002773: REVERT
00002774: JUMPDEST
00002775: PUSH1 0x00
00002777: DUP4
00002778: GT
00002779: DUP1
0000277a: ISZERO
0000277b: PUSH2 0x2784
0000277e: JUMPI
0000277f: POP
00002780: PUSH1 0x00
00002782: DUP3
00002783: GT
00002784: JUMPDEST
00002785: PUSH2 0x27d5
00002788: JUMPI
00002789: PUSH1 0x40
0000278b: DUP1
0000278c: MLOAD
0000278d: PUSH3 0x461bcd
00002791: PUSH1 0xe5
00002793: SHL
00002794: DUP2
00002795: MSTORE
00002796: PUSH1 0x20
00002798: PUSH1 0x04
0000279a: DUP3
0000279b: ADD
0000279c: MSTORE
0000279d: PUSH1 0x1b
0000279f: PUSH1 0x24
000027a1: DUP3
000027a2: ADD
000027a3: MSTORE
000027a4: PUSH32 0x5556323a20494e53554646494349454e545f4c49515549444954590000000000
000027c5: PUSH1 0x44
000027c7: DUP3
000027c8: ADD
000027c9: MSTORE
000027ca: SWAP1
000027cb: MLOAD
000027cc: SWAP1
000027cd: DUP2
000027ce: SWAP1
000027cf: SUB
000027d0: PUSH1 0x64
000027d2: ADD
000027d3: SWAP1
000027d4: REVERT
000027d5: JUMPDEST
000027d6: PUSH1 0x00
000027d8: PUSH2 0x27e3
000027db: DUP6
000027dc: PUSH2 0x03e5
000027df: PUSH2 0x12a3
000027e2: JUMP
000027e3: JUMPDEST
000027e4: SWAP1
000027e5: POP
000027e6: PUSH1 0x00
000027e8: PUSH2 0x27f1
000027eb: DUP3
000027ec: DUP6
000027ed: PUSH2 0x12a3
000027f0: JUMP
000027f1: JUMPDEST
000027f2: SWAP1
000027f3: POP
000027f4: PUSH1 0x00
000027f6: PUSH2 0x2805
000027f9: DUP4
000027fa: PUSH2 0x0c95
000027fd: DUP9
000027fe: PUSH2 0x03e8
00002801: PUSH2 0x12a3
00002804: JUMP
00002805: JUMPDEST
00002806: SWAP1
00002807: POP
00002808: DUP1
00002809: DUP3
0000280a: DUP2
0000280b: PUSH2 0x2810
0000280e: JUMPI
0000280f: INVALID
00002810: JUMPDEST
00002811: DIV
00002812: SWAP8
00002813: SWAP7
00002814: POP
00002815: POP
00002816: POP
00002817: POP
00002818: POP
00002819: POP
0000281a: POP
0000281b: JUMP
0000281c: JUMPDEST
0000281d: PUSH1 0x00
0000281f: DUP2
00002820: DUP4
00002821: PUSH2 0x286b
00002824: JUMPI
00002825: PUSH1 0x40
00002827: MLOAD
00002828: PUSH3 0x461bcd
0000282c: PUSH1 0xe5
0000282e: SHL
0000282f: DUP2
00002830: MSTORE
00002831: PUSH1 0x20
00002833: PUSH1 0x04
00002835: DUP3
00002836: ADD
00002837: DUP2
00002838: DUP2
00002839: MSTORE
0000283a: DUP4
0000283b: MLOAD
0000283c: PUSH1 0x24
0000283e: DUP5
0000283f: ADD
00002840: MSTORE
00002841: DUP4
00002842: MLOAD
00002843: SWAP1
00002844: SWAP3
00002845: DUP4
00002846: SWAP3
00002847: PUSH1 0x44
00002849: SWAP1
0000284a: SWAP2
0000284b: ADD
0000284c: SWAP2
0000284d: SWAP1
0000284e: DUP6
0000284f: ADD
00002850: SWAP1
00002851: DUP1
00002852: DUP4
00002853: DUP4
00002854: PUSH1 0x00
00002856: DUP4
00002857: ISZERO
00002858: PUSH2 0x2542
0000285b: JUMPI
0000285c: DUP2
0000285d: DUP2
0000285e: ADD
0000285f: MLOAD
00002860: DUP4
00002861: DUP3
00002862: ADD
00002863: MSTORE
00002864: PUSH1 0x20
00002866: ADD
00002867: PUSH2 0x252a
0000286a: JUMP
0000286b: JUMPDEST
0000286c: POP
0000286d: PUSH1 0x00
0000286f: DUP4
00002870: DUP6
00002871: DUP2
00002872: PUSH2 0x2877
00002875: JUMPI
00002876: INVALID
00002877: JUMPDEST
00002878: DIV
00002879: SWAP6
0000287a: SWAP5
0000287b: POP
0000287c: POP
0000287d: POP
0000287e: POP
0000287f: POP
00002880: JUMP
00002881: JUMPDEST
00002882: PUSH1 0x00
00002884: PUSH2 0x107f
00002887: DUP3
00002888: PUSH2 0x07a9
0000288b: DUP6
0000288c: PUSH8 0x0de0b6b3a7640000
00002895: PUSH2 0x12a3
00002898: JUMP
00002899: JUMPDEST
0000289a: PUSH1 0x00
0000289c: PUSH2 0x28a6
0000289f: DUP4
000028a0: PUSH1 0x02
000028a2: PUSH2 0x12fc
000028a5: JUMP
000028a6: JUMPDEST
000028a7: PUSH1 0x02
000028a9: SLOAD
000028aa: PUSH1 0x40
000028ac: DUP1
000028ad: MLOAD
000028ae: PUSH4 0x095ea7b3
000028b3: PUSH1 0xe0
000028b5: SHL
000028b6: DUP2
000028b7: MSTORE
000028b8: PUSH1 0x01
000028ba: PUSH1 0x01
000028bc: PUSH1 0xa0
000028be: SHL
000028bf: SUB
000028c0: DUP7
000028c1: DUP2
000028c2: AND
000028c3: PUSH1 0x04
000028c5: DUP4
000028c6: ADD
000028c7: MSTORE
000028c8: PUSH1 0x24
000028ca: DUP3
000028cb: ADD
000028cc: DUP6
000028cd: SWAP1
000028ce: MSTORE
000028cf: SWAP2
000028d0: MLOAD
000028d1: SWAP4
000028d2: SWAP5
000028d3: POP
000028d4: SWAP2
000028d5: AND
000028d6: SWAP2
000028d7: PUSH4 0x095ea7b3
000028dc: SWAP2
000028dd: PUSH1 0x44
000028df: DUP1
000028e0: DUP3
000028e1: ADD
000028e2: SWAP3
000028e3: PUSH1 0x20
000028e5: SWAP3
000028e6: SWAP1
000028e7: SWAP2
000028e8: SWAP1
000028e9: DUP3
000028ea: SWAP1
000028eb: SUB
000028ec: ADD
000028ed: DUP2
000028ee: PUSH1 0x00
000028f0: DUP8
000028f1: DUP1
000028f2: EXTCODESIZE
000028f3: ISZERO
000028f4: DUP1
000028f5: ISZERO
000028f6: PUSH2 0x28fe
000028f9: JUMPI
000028fa: PUSH1 0x00
000028fc: DUP1
000028fd: REVERT
000028fe: JUMPDEST
000028ff: POP
00002900: GAS
00002901: CALL
00002902: ISZERO
00002903: DUP1
00002904: ISZERO
00002905: PUSH2 0x2912
00002908: JUMPI
00002909: RETURNDATASIZE
0000290a: PUSH1 0x00
0000290c: DUP1
0000290d: RETURNDATACOPY
0000290e: RETURNDATASIZE
0000290f: PUSH1 0x00
00002911: REVERT
00002912: JUMPDEST
00002913: POP
00002914: POP
00002915: POP
00002916: POP
00002917: PUSH1 0x40
00002919: MLOAD
0000291a: RETURNDATASIZE
0000291b: PUSH1 0x20
0000291d: DUP2
0000291e: LT
0000291f: ISZERO
00002920: PUSH2 0x2928
00002923: JUMPI
00002924: PUSH1 0x00
00002926: DUP1
00002927: REVERT
00002928: JUMPDEST
00002929: POP
0000292a: POP
0000292b: PUSH1 0x40
0000292d: DUP1
0000292e: MLOAD
0000292f: PUSH4 0x91c05b0b
00002934: PUSH1 0xe0
00002936: SHL
00002937: DUP2
00002938: MSTORE
00002939: PUSH1 0x04
0000293b: DUP2
0000293c: ADD
0000293d: DUP4
0000293e: SWAP1
0000293f: MSTORE
00002940: SWAP1
00002941: MLOAD
00002942: PUSH1 0x01
00002944: PUSH1 0x01
00002946: PUSH1 0xa0
00002948: SHL
00002949: SUB
0000294a: DUP5
0000294b: AND
0000294c: SWAP2
0000294d: PUSH4 0x91c05b0b
00002952: SWAP2
00002953: PUSH1 0x24
00002955: DUP1
00002956: DUP4
00002957: ADD
00002958: SWAP3
00002959: PUSH1 0x00
0000295b: SWAP3
0000295c: SWAP2
0000295d: SWAP1
0000295e: DUP3
0000295f: SWAP1
00002960: SUB
00002961: ADD
00002962: DUP2
00002963: DUP4
00002964: DUP8
00002965: DUP1
00002966: EXTCODESIZE
00002967: ISZERO
00002968: DUP1
00002969: ISZERO
0000296a: PUSH2 0x2972
0000296d: JUMPI
0000296e: PUSH1 0x00
00002970: DUP1
00002971: REVERT
00002972: JUMPDEST
00002973: POP
00002974: GAS
00002975: CALL
00002976: ISZERO
00002977: DUP1
00002978: ISZERO
00002979: PUSH2 0x2986
0000297c: JUMPI
0000297d: RETURNDATASIZE
0000297e: PUSH1 0x00
00002980: DUP1
00002981: RETURNDATACOPY
00002982: RETURNDATASIZE
00002983: PUSH1 0x00
00002985: REVERT
00002986: JUMPDEST
00002987: POP
00002988: POP
00002989: PUSH1 0x02
0000298b: SLOAD
0000298c: PUSH1 0x0a
0000298e: SLOAD
0000298f: PUSH1 0x01
00002991: PUSH1 0x01
00002993: PUSH1 0xa0
00002995: SHL
00002996: SUB
00002997: SWAP2
00002998: DUP3
00002999: AND
0000299a: SWAP4
0000299b: POP
0000299c: PUSH4 0x095ea7b3
000029a1: SWAP3
000029a2: POP
000029a3: AND
000029a4: PUSH2 0x29ad
000029a7: DUP7
000029a8: DUP6
000029a9: PUSH2 0x103d
000029ac: JUMP
000029ad: JUMPDEST
000029ae: PUSH1 0x40
000029b0: MLOAD
000029b1: DUP4
000029b2: PUSH4 0xffffffff
000029b7: AND
000029b8: PUSH1 0xe0
000029ba: SHL
000029bb: DUP2
000029bc: MSTORE
000029bd: PUSH1 0x04
000029bf: ADD
000029c0: DUP1
000029c1: DUP4
000029c2: PUSH1 0x01
000029c4: PUSH1 0x01
000029c6: PUSH1 0xa0
000029c8: SHL
000029c9: SUB
000029ca: AND
000029cb: DUP2
000029cc: MSTORE
000029cd: PUSH1 0x20
000029cf: ADD
000029d0: DUP3
000029d1: DUP2
000029d2: MSTORE
000029d3: PUSH1 0x20
000029d5: ADD
000029d6: SWAP3
000029d7: POP
000029d8: POP
000029d9: POP
000029da: PUSH1 0x20
000029dc: PUSH1 0x40
000029de: MLOAD
000029df: DUP1
000029e0: DUP4
000029e1: SUB
000029e2: DUP2
000029e3: PUSH1 0x00
000029e5: DUP8
000029e6: DUP1
000029e7: EXTCODESIZE
000029e8: ISZERO
000029e9: DUP1
000029ea: ISZERO
000029eb: PUSH2 0x29f3
000029ee: JUMPI
000029ef: PUSH1 0x00
000029f1: DUP1
000029f2: REVERT
000029f3: JUMPDEST
000029f4: POP
000029f5: GAS
000029f6: CALL
000029f7: ISZERO
000029f8: DUP1
000029f9: ISZERO
000029fa: PUSH2 0x2a07
000029fd: JUMPI
000029fe: RETURNDATASIZE
000029ff: PUSH1 0x00
00002a01: DUP1
00002a02: RETURNDATACOPY
00002a03: RETURNDATASIZE
00002a04: PUSH1 0x00
00002a06: REVERT
00002a07: JUMPDEST
00002a08: POP
00002a09: POP
00002a0a: POP
00002a0b: POP
00002a0c: PUSH1 0x40
00002a0e: MLOAD
00002a0f: RETURNDATASIZE
00002a10: PUSH1 0x20
00002a12: DUP2
00002a13: LT
00002a14: ISZERO
00002a15: PUSH2 0x2a1d
00002a18: JUMPI
00002a19: PUSH1 0x00
00002a1b: DUP1
00002a1c: REVERT
00002a1d: JUMPDEST
00002a1e: POP
00002a1f: POP
00002a20: PUSH1 0x0a
00002a22: SLOAD
00002a23: PUSH1 0x01
00002a25: PUSH1 0x01
00002a27: PUSH1 0xa0
00002a29: SHL
00002a2a: SUB
00002a2b: AND
00002a2c: PUSH4 0x91c05b0b
00002a31: PUSH2 0x2a3a
00002a34: DUP6
00002a35: DUP5
00002a36: PUSH2 0x103d
00002a39: JUMP
00002a3a: JUMPDEST
00002a3b: PUSH1 0x40
00002a3d: MLOAD
00002a3e: DUP3
00002a3f: PUSH4 0xffffffff
00002a44: AND
00002a45: PUSH1 0xe0
00002a47: SHL
00002a48: DUP2
00002a49: MSTORE
00002a4a: PUSH1 0x04
00002a4c: ADD
00002a4d: DUP1
00002a4e: DUP3
00002a4f: DUP2
00002a50: MSTORE
00002a51: PUSH1 0x20
00002a53: ADD
00002a54: SWAP2
00002a55: POP
00002a56: POP
00002a57: PUSH1 0x00
00002a59: PUSH1 0x40
00002a5b: MLOAD
00002a5c: DUP1
00002a5d: DUP4
00002a5e: SUB
00002a5f: DUP2
00002a60: PUSH1 0x00
00002a62: DUP8
00002a63: DUP1
00002a64: EXTCODESIZE
00002a65: ISZERO
00002a66: DUP1
00002a67: ISZERO
00002a68: PUSH2 0x2a70
00002a6b: JUMPI
00002a6c: PUSH1 0x00
00002a6e: DUP1
00002a6f: REVERT
00002a70: JUMPDEST
00002a71: POP
00002a72: GAS
00002a73: CALL
00002a74: ISZERO
00002a75: DUP1
00002a76: ISZERO
00002a77: PUSH2 0x2a84
00002a7a: JUMPI
00002a7b: RETURNDATASIZE
00002a7c: PUSH1 0x00
00002a7e: DUP1
00002a7f: RETURNDATACOPY
00002a80: RETURNDATASIZE
00002a81: PUSH1 0x00
00002a83: REVERT
00002a84: JUMPDEST
00002a85: POP
00002a86: POP
00002a87: POP
00002a88: POP
00002a89: POP
00002a8a: POP
00002a8b: POP
00002a8c: JUMP
00002a8d: JUMPDEST
00002a8e: PUSH1 0x01
00002a90: PUSH1 0x01
00002a92: PUSH1 0xa0
00002a94: SHL
00002a95: SUB
00002a96: DUP4
00002a97: AND
00002a98: PUSH1 0x00
00002a9a: SWAP1
00002a9b: DUP2
00002a9c: MSTORE
00002a9d: PUSH1 0x07
00002a9f: PUSH1 0x20
00002aa1: MSTORE
00002aa2: PUSH1 0x40
00002aa4: SWAP1
00002aa5: KECCAK256
00002aa6: SLOAD
00002aa7: DUP2
00002aa8: GT
00002aa9: ISZERO
00002aaa: PUSH2 0x2ab2
00002aad: JUMPI
00002aae: PUSH1 0x00
00002ab0: DUP1
00002ab1: REVERT
00002ab2: JUMPDEST
00002ab3: PUSH1 0x01
00002ab5: PUSH1 0x01
00002ab7: PUSH1 0xa0
00002ab9: SHL
00002aba: SUB
00002abb: DUP4
00002abc: AND
00002abd: PUSH1 0x00
00002abf: SWAP1
00002ac0: DUP2
00002ac1: MSTORE
00002ac2: PUSH1 0x07
00002ac4: PUSH1 0x20
00002ac6: MSTORE
00002ac7: PUSH1 0x40
00002ac9: SWAP1
00002aca: KECCAK256
00002acb: SLOAD
00002acc: PUSH2 0x2ad5
00002acf: SWAP1
00002ad0: DUP3
00002ad1: PUSH2 0x103d
00002ad4: JUMP
00002ad5: JUMPDEST
00002ad6: PUSH1 0x01
00002ad8: PUSH1 0x01
00002ada: PUSH1 0xa0
00002adc: SHL
00002add: SUB
00002ade: DUP1
00002adf: DUP6
00002ae0: AND
00002ae1: PUSH1 0x00
00002ae3: SWAP1
00002ae4: DUP2
00002ae5: MSTORE
00002ae6: PUSH1 0x07
00002ae8: PUSH1 0x20
00002aea: SWAP1
00002aeb: DUP2
00002aec: MSTORE
00002aed: PUSH1 0x40
00002aef: DUP1
00002af0: DUP4
00002af1: KECCAK256
00002af2: SWAP5
00002af3: SWAP1
00002af4: SWAP5
00002af5: SSTORE
00002af6: SWAP2
00002af7: DUP6
00002af8: AND
00002af9: DUP2
00002afa: MSTORE
00002afb: PUSH1 0x08
00002afd: SWAP1
00002afe: SWAP2
00002aff: MSTORE
00002b00: KECCAK256
00002b01: SLOAD
00002b02: PUSH2 0x2b0b
00002b05: SWAP1
00002b06: DUP3
00002b07: PUSH2 0x1249
00002b0a: JUMP
00002b0b: JUMPDEST
00002b0c: PUSH1 0x01
00002b0e: PUSH1 0x01
00002b10: PUSH1 0xa0
00002b12: SHL
00002b13: SUB
00002b14: SWAP1
00002b15: SWAP3
00002b16: AND
00002b17: PUSH1 0x00
00002b19: SWAP1
00002b1a: DUP2
00002b1b: MSTORE
00002b1c: PUSH1 0x08
00002b1e: PUSH1 0x20
00002b20: MSTORE
00002b21: PUSH1 0x40
00002b23: SWAP1
00002b24: KECCAK256
00002b25: SWAP2
00002b26: SWAP1
00002b27: SWAP2
00002b28: SSTORE
00002b29: POP
00002b2a: POP
00002b2b: JUMP
00002b2c: JUMPDEST
00002b2d: PUSH1 0x40
00002b2f: DUP1
00002b30: MLOAD
00002b31: PUSH12 0xffffffffffffffffffffffff
00002b3e: NOT
00002b3f: PUSH1 0x60
00002b41: SWAP8
00002b42: DUP9
00002b43: SHL
00002b44: DUP2
00002b45: AND
00002b46: PUSH1 0x20
00002b48: DUP1
00002b49: DUP5
00002b4a: ADD
00002b4b: SWAP2
00002b4c: SWAP1
00002b4d: SWAP2
00002b4e: MSTORE
00002b4f: SWAP7
00002b50: SWAP1
00002b51: SWAP8
00002b52: SHL
00002b53: SWAP1
00002b54: SWAP7
00002b55: AND
00002b56: PUSH1 0x34
00002b58: DUP8
00002b59: ADD
00002b5a: MSTORE
00002b5b: PUSH1 0x48
00002b5d: DUP7
00002b5e: ADD
00002b5f: SWAP4
00002b60: SWAP1
00002b61: SWAP4
00002b62: MSTORE
00002b63: PUSH1 0x68
00002b65: DUP6
00002b66: ADD
00002b67: SWAP2
00002b68: SWAP1
00002b69: SWAP2
00002b6a: MSTORE
00002b6b: PUSH1 0x88
00002b6d: DUP1
00002b6e: DUP6
00002b6f: ADD
00002b70: SWAP2
00002b71: SWAP1
00002b72: SWAP2
00002b73: MSTORE
00002b74: DUP2
00002b75: MLOAD
00002b76: DUP1
00002b77: DUP6
00002b78: SUB
00002b79: SWAP1
00002b7a: SWAP2
00002b7b: ADD
00002b7c: DUP2
00002b7d: MSTORE
00002b7e: PUSH1 0xa8
00002b80: SWAP1
00002b81: SWAP4
00002b82: ADD
00002b83: SWAP1
00002b84: MSTORE
00002b85: DUP2
00002b86: MLOAD
00002b87: SWAP2
00002b88: ADD
00002b89: KECCAK256
00002b8a: SWAP1
00002b8b: JUMP
00002b8c: JUMPDEST
00002b8d: DUP2
00002b8e: PUSH1 0x01
00002b90: PUSH1 0x01
00002b92: PUSH1 0xa0
00002b94: SHL
00002b95: SUB
00002b96: AND
00002b97: PUSH4 0x095ea7b3
00002b9c: DUP5
00002b9d: DUP4
00002b9e: PUSH1 0x40
00002ba0: MLOAD
00002ba1: DUP4
00002ba2: PUSH4 0xffffffff
00002ba7: AND
00002ba8: PUSH1 0xe0
00002baa: SHL
00002bab: DUP2
00002bac: MSTORE
00002bad: PUSH1 0x04
00002baf: ADD
00002bb0: DUP1
00002bb1: DUP4
00002bb2: PUSH1 0x01
00002bb4: PUSH1 0x01
00002bb6: PUSH1 0xa0
00002bb8: SHL
00002bb9: SUB
00002bba: AND
00002bbb: DUP2
00002bbc: MSTORE
00002bbd: PUSH1 0x20
00002bbf: ADD
00002bc0: DUP3
00002bc1: DUP2
00002bc2: MSTORE
00002bc3: PUSH1 0x20
00002bc5: ADD
00002bc6: SWAP3
00002bc7: POP
00002bc8: POP
00002bc9: POP
00002bca: PUSH1 0x20
00002bcc: PUSH1 0x40
00002bce: MLOAD
00002bcf: DUP1
00002bd0: DUP4
00002bd1: SUB
00002bd2: DUP2
00002bd3: PUSH1 0x00
00002bd5: DUP8
00002bd6: DUP1
00002bd7: EXTCODESIZE
00002bd8: ISZERO
00002bd9: DUP1
00002bda: ISZERO
00002bdb: PUSH2 0x2be3
00002bde: JUMPI
00002bdf: PUSH1 0x00
00002be1: DUP1
00002be2: REVERT
00002be3: JUMPDEST
00002be4: POP
00002be5: GAS
00002be6: CALL
00002be7: ISZERO
00002be8: DUP1
00002be9: ISZERO
00002bea: PUSH2 0x2bf7
00002bed: JUMPI
00002bee: RETURNDATASIZE
00002bef: PUSH1 0x00
00002bf1: DUP1
00002bf2: RETURNDATACOPY
00002bf3: RETURNDATASIZE
00002bf4: PUSH1 0x00
00002bf6: REVERT
00002bf7: JUMPDEST
00002bf8: POP
00002bf9: POP
00002bfa: POP
00002bfb: POP
00002bfc: PUSH1 0x40
00002bfe: MLOAD
00002bff: RETURNDATASIZE
00002c00: PUSH1 0x20
00002c02: DUP2
00002c03: LT
00002c04: ISZERO
00002c05: PUSH2 0x2c0d
00002c08: JUMPI
00002c09: PUSH1 0x00
00002c0b: DUP1
00002c0c: REVERT
00002c0d: JUMPDEST
00002c0e: POP
00002c0f: POP
00002c10: PUSH1 0x40
00002c12: DUP1
00002c13: MLOAD
00002c14: PUSH4 0x1b8fec73
00002c19: PUSH1 0xe1
00002c1b: SHL
00002c1c: DUP2
00002c1d: MSTORE
00002c1e: PUSH1 0x04
00002c20: DUP2
00002c21: ADD
00002c22: DUP4
00002c23: SWAP1
00002c24: MSTORE
00002c25: SWAP1
00002c26: MLOAD
00002c27: PUSH1 0x01
00002c29: PUSH1 0x01
00002c2b: PUSH1 0xa0
00002c2d: SHL
00002c2e: SUB
00002c2f: DUP6
00002c30: AND
00002c31: SWAP2
00002c32: PUSH4 0x371fd8e6
00002c37: SWAP2
00002c38: PUSH1 0x24
00002c3a: DUP1
00002c3b: DUP4
00002c3c: ADD
00002c3d: SWAP3
00002c3e: PUSH1 0x20
00002c40: SWAP3
00002c41: SWAP2
00002c42: SWAP1
00002c43: DUP3
00002c44: SWAP1
00002c45: SUB
00002c46: ADD
00002c47: DUP2
00002c48: PUSH1 0x00
00002c4a: DUP8
00002c4b: DUP1
00002c4c: EXTCODESIZE
00002c4d: ISZERO
00002c4e: DUP1
00002c4f: ISZERO
00002c50: PUSH2 0x2c58
00002c53: JUMPI
00002c54: PUSH1 0x00
00002c56: DUP1
00002c57: REVERT
00002c58: JUMPDEST
00002c59: POP
00002c5a: GAS
00002c5b: CALL
00002c5c: ISZERO
00002c5d: DUP1
00002c5e: ISZERO
00002c5f: PUSH2 0x2c6c
00002c62: JUMPI
00002c63: RETURNDATASIZE
00002c64: PUSH1 0x00
00002c66: DUP1
00002c67: RETURNDATACOPY
00002c68: RETURNDATASIZE
00002c69: PUSH1 0x00
00002c6b: REVERT
00002c6c: JUMPDEST
00002c6d: POP
00002c6e: POP
00002c6f: POP
00002c70: POP
00002c71: PUSH1 0x40
00002c73: MLOAD
00002c74: RETURNDATASIZE
00002c75: PUSH1 0x20
00002c77: DUP2
00002c78: LT
00002c79: ISZERO
00002c7a: PUSH2 0x2c82
00002c7d: JUMPI
00002c7e: PUSH1 0x00
00002c80: DUP1
00002c81: REVERT
00002c82: JUMPDEST
00002c83: POP
00002c84: POP
00002c85: POP
00002c86: POP
00002c87: POP
00002c88: JUMP
00002c89: JUMPDEST
00002c8a: PUSH1 0x01
00002c8c: PUSH1 0x01
00002c8e: PUSH1 0xa0
00002c90: SHL
00002c91: SUB
00002c92: DUP3
00002c93: AND
00002c94: PUSH1 0x00
00002c96: SWAP1
00002c97: DUP2
00002c98: MSTORE
00002c99: PUSH1 0x07
00002c9b: PUSH1 0x20
00002c9d: MSTORE
00002c9e: PUSH1 0x40
00002ca0: SWAP1
00002ca1: KECCAK256
00002ca2: SLOAD
00002ca3: PUSH2 0x2cac
00002ca6: SWAP1
00002ca7: DUP3
00002ca8: PUSH2 0x1249
00002cab: JUMP
00002cac: JUMPDEST
00002cad: PUSH1 0x01
00002caf: PUSH1 0x01
00002cb1: PUSH1 0xa0
00002cb3: SHL
00002cb4: SUB
00002cb5: SWAP1
00002cb6: SWAP3
00002cb7: AND
00002cb8: PUSH1 0x00
00002cba: SWAP1
00002cbb: DUP2
00002cbc: MSTORE
00002cbd: PUSH1 0x07
00002cbf: PUSH1 0x20
00002cc1: MSTORE
00002cc2: PUSH1 0x40
00002cc4: SWAP1
00002cc5: KECCAK256
00002cc6: SWAP2
00002cc7: SWAP1
00002cc8: SWAP2
00002cc9: SSTORE
00002cca: POP
00002ccb: JUMP
00002ccc: JUMPDEST
00002ccd: PUSH1 0x60
00002ccf: PUSH2 0x09fe
00002cd2: DUP5
00002cd3: DUP5
00002cd4: PUSH1 0x00
00002cd6: DUP6
00002cd7: DUP6
00002cd8: PUSH2 0x2ce0
00002cdb: DUP6
00002cdc: PUSH2 0x2df2
00002cdf: JUMP
00002ce0: JUMPDEST
00002ce1: PUSH2 0x2d31
00002ce4: JUMPI
00002ce5: PUSH1 0x40
00002ce7: DUP1
00002ce8: MLOAD
00002ce9: PUSH3 0x461bcd
00002ced: PUSH1 0xe5
00002cef: SHL
00002cf0: DUP2
00002cf1: MSTORE
00002cf2: PUSH1 0x20
00002cf4: PUSH1 0x04
00002cf6: DUP3
00002cf7: ADD
00002cf8: MSTORE
00002cf9: PUSH1 0x1d
00002cfb: PUSH1 0x24
00002cfd: DUP3
00002cfe: ADD
00002cff: MSTORE
00002d00: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00002d21: PUSH1 0x44
00002d23: DUP3
00002d24: ADD
00002d25: MSTORE
00002d26: SWAP1
00002d27: MLOAD
00002d28: SWAP1
00002d29: DUP2
00002d2a: SWAP1
00002d2b: SUB
00002d2c: PUSH1 0x64
00002d2e: ADD
00002d2f: SWAP1
00002d30: REVERT
00002d31: JUMPDEST
00002d32: PUSH1 0x00
00002d34: PUSH1 0x60
00002d36: DUP7
00002d37: PUSH1 0x01
00002d39: PUSH1 0x01
00002d3b: PUSH1 0xa0
00002d3d: SHL
00002d3e: SUB
00002d3f: AND
00002d40: DUP6
00002d41: DUP8
00002d42: PUSH1 0x40
00002d44: MLOAD
00002d45: DUP1
00002d46: DUP3
00002d47: DUP1
00002d48: MLOAD
00002d49: SWAP1
00002d4a: PUSH1 0x20
00002d4c: ADD
00002d4d: SWAP1
00002d4e: DUP1
00002d4f: DUP4
00002d50: DUP4
00002d51: JUMPDEST
00002d52: PUSH1 0x20
00002d54: DUP4
00002d55: LT
00002d56: PUSH2 0x2d70
00002d59: JUMPI
00002d5a: DUP1
00002d5b: MLOAD
00002d5c: DUP3
00002d5d: MSTORE
00002d5e: PUSH1 0x1f
00002d60: NOT
00002d61: SWAP1
00002d62: SWAP3
00002d63: ADD
00002d64: SWAP2
00002d65: PUSH1 0x20
00002d67: SWAP2
00002d68: DUP3
00002d69: ADD
00002d6a: SWAP2
00002d6b: ADD
00002d6c: PUSH2 0x2d51
00002d6f: JUMP
00002d70: JUMPDEST
00002d71: PUSH1 0x01
00002d73: DUP4
00002d74: PUSH1 0x20
00002d76: SUB
00002d77: PUSH2 0x0100
00002d7a: EXP
00002d7b: SUB
00002d7c: DUP1
00002d7d: NOT
00002d7e: DUP3
00002d7f: MLOAD
00002d80: AND
00002d81: DUP2
00002d82: DUP5
00002d83: MLOAD
00002d84: AND
00002d85: DUP1
00002d86: DUP3
00002d87: OR
00002d88: DUP6
00002d89: MSTORE
00002d8a: POP
00002d8b: POP
00002d8c: POP
00002d8d: POP
00002d8e: POP
00002d8f: POP
00002d90: SWAP1
00002d91: POP
00002d92: ADD
00002d93: SWAP2
00002d94: POP
00002d95: POP
00002d96: PUSH1 0x00
00002d98: PUSH1 0x40
00002d9a: MLOAD
00002d9b: DUP1
00002d9c: DUP4
00002d9d: SUB
00002d9e: DUP2
00002d9f: DUP6
00002da0: DUP8
00002da1: GAS
00002da2: CALL
00002da3: SWAP3
00002da4: POP
00002da5: POP
00002da6: POP
00002da7: RETURNDATASIZE
00002da8: DUP1
00002da9: PUSH1 0x00
00002dab: DUP2
00002dac: EQ
00002dad: PUSH2 0x2dd2
00002db0: JUMPI
00002db1: PUSH1 0x40
00002db3: MLOAD
00002db4: SWAP2
00002db5: POP
00002db6: PUSH1 0x1f
00002db8: NOT
00002db9: PUSH1 0x3f
00002dbb: RETURNDATASIZE
00002dbc: ADD
00002dbd: AND
00002dbe: DUP3
00002dbf: ADD
00002dc0: PUSH1 0x40
00002dc2: MSTORE
00002dc3: RETURNDATASIZE
00002dc4: DUP3
00002dc5: MSTORE
00002dc6: RETURNDATASIZE
00002dc7: PUSH1 0x00
00002dc9: PUSH1 0x20
00002dcb: DUP5
00002dcc: ADD
00002dcd: RETURNDATACOPY
00002dce: PUSH2 0x2dd7
00002dd1: JUMP
00002dd2: JUMPDEST
00002dd3: PUSH1 0x60
00002dd5: SWAP2
00002dd6: POP
00002dd7: JUMPDEST
00002dd8: POP
00002dd9: SWAP2
00002dda: POP
00002ddb: SWAP2
00002ddc: POP
00002ddd: PUSH2 0x2de7
00002de0: DUP3
00002de1: DUP3
00002de2: DUP7
00002de3: PUSH2 0x2df8
00002de6: JUMP
00002de7: JUMPDEST
00002de8: SWAP8
00002de9: SWAP7
00002dea: POP
00002deb: POP
00002dec: POP
00002ded: POP
00002dee: POP
00002def: POP
00002df0: POP
00002df1: JUMP
00002df2: JUMPDEST
00002df3: EXTCODESIZE
00002df4: ISZERO
00002df5: ISZERO
00002df6: SWAP1
00002df7: JUMP
00002df8: JUMPDEST
00002df9: PUSH1 0x60
00002dfb: DUP4
00002dfc: ISZERO
00002dfd: PUSH2 0x2e07
00002e00: JUMPI
00002e01: POP
00002e02: DUP2
00002e03: PUSH2 0x1242
00002e06: JUMP
00002e07: JUMPDEST
00002e08: DUP3
00002e09: MLOAD
00002e0a: ISZERO
00002e0b: PUSH2 0x2e17
00002e0e: JUMPI
00002e0f: DUP3
00002e10: MLOAD
00002e11: DUP1
00002e12: DUP5
00002e13: PUSH1 0x20
00002e15: ADD
00002e16: REVERT
00002e17: JUMPDEST
00002e18: PUSH1 0x40
00002e1a: MLOAD
00002e1b: PUSH3 0x461bcd
00002e1f: PUSH1 0xe5
00002e21: SHL
00002e22: DUP2
00002e23: MSTORE
00002e24: PUSH1 0x20
00002e26: PUSH1 0x04
00002e28: DUP3
00002e29: ADD
00002e2a: DUP2
00002e2b: DUP2
00002e2c: MSTORE
00002e2d: DUP5
00002e2e: MLOAD
00002e2f: PUSH1 0x24
00002e31: DUP5
00002e32: ADD
00002e33: MSTORE
00002e34: DUP5
00002e35: MLOAD
00002e36: DUP6
00002e37: SWAP4
00002e38: SWAP2
00002e39: SWAP3
00002e3a: DUP4
00002e3b: SWAP3
00002e3c: PUSH1 0x44
00002e3e: ADD
00002e3f: SWAP2
00002e40: SWAP1
00002e41: DUP6
00002e42: ADD
00002e43: SWAP1
00002e44: DUP1
00002e45: DUP4
00002e46: DUP4
00002e47: PUSH1 0x00
00002e49: DUP4
00002e4a: ISZERO
00002e4b: PUSH2 0x2542
00002e4e: JUMPI
00002e4f: DUP2
00002e50: DUP2
00002e51: ADD
00002e52: MLOAD
00002e53: DUP4
00002e54: DUP3
00002e55: ADD
00002e56: MSTORE
00002e57: PUSH1 0x20
00002e59: ADD
00002e5a: PUSH2 0x252a
00002e5d: JUMP
00002e5e: JUMPDEST
00002e5f: PUSH1 0x40
00002e61: MLOAD
00002e62: DUP1
00002e63: PUSH2 0x0160
00002e66: ADD
00002e67: PUSH1 0x40
00002e69: MSTORE
00002e6a: DUP1
00002e6b: PUSH1 0x00
00002e6d: DUP1
00002e6e: NOT
00002e6f: AND
00002e70: DUP2
00002e71: MSTORE
00002e72: PUSH1 0x20
00002e74: ADD
00002e75: PUSH1 0x00
00002e77: PUSH1 0x01
00002e79: PUSH1 0x01
00002e7b: PUSH1 0xa0
00002e7d: SHL
00002e7e: SUB
00002e7f: AND
00002e80: DUP2
00002e81: MSTORE
00002e82: PUSH1 0x20
00002e84: ADD
00002e85: PUSH1 0x00
00002e87: PUSH1 0x01
00002e89: PUSH1 0x01
00002e8b: PUSH1 0xa0
00002e8d: SHL
00002e8e: SUB
00002e8f: AND
00002e90: DUP2
00002e91: MSTORE
00002e92: PUSH1 0x20
00002e94: ADD
00002e95: PUSH1 0x00
00002e97: DUP2
00002e98: MSTORE
00002e99: PUSH1 0x20
00002e9b: ADD
00002e9c: PUSH1 0x00
00002e9e: DUP2
00002e9f: MSTORE
00002ea0: PUSH1 0x20
00002ea2: ADD
00002ea3: PUSH1 0x00
00002ea5: DUP2
00002ea6: MSTORE
00002ea7: PUSH1 0x20
00002ea9: ADD
00002eaa: PUSH1 0x00
00002eac: DUP2
00002ead: MSTORE
00002eae: PUSH1 0x20
00002eb0: ADD
00002eb1: PUSH1 0x00
00002eb3: DUP2
00002eb4: MSTORE
00002eb5: PUSH1 0x20
00002eb7: ADD
00002eb8: PUSH1 0x00
00002eba: ISZERO
00002ebb: ISZERO
00002ebc: DUP2
00002ebd: MSTORE
00002ebe: PUSH1 0x20
00002ec0: ADD
00002ec1: PUSH1 0x00
00002ec3: ISZERO
00002ec4: ISZERO
00002ec5: DUP2
00002ec6: MSTORE
00002ec7: PUSH1 0x20
00002ec9: ADD
00002eca: PUSH1 0x00
00002ecc: DUP2
00002ecd: MSTORE
00002ece: POP
00002ecf: SWAP1
00002ed0: JUMP
00002ed1: INVALID
00002ed2: UNKNOWN(0x4F)
00002ed3: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520
00002eec: PUSH27 0x65726f2061646472657373536166654d6174683a206d756c746970
00002f08: PUSH13 0x69636174696f6e206f76657266
00002f16: PUSH13 0x6f774f776e61626c653a206361
00002f24: PUSH13 0x6c6572206973206e6f74207468
00002f32: PUSH6 0x206f776e6572
00002f39: MSTORE8
00002f3a: PUSH2 0x6665
00002f3d: GASLIMIT
00002f3e: MSTORE
00002f3f: NUMBER
00002f40: ORIGIN
00002f41: ADDRESS
00002f42: GASPRICE
00002f43: KECCAK256
00002f44: GASLIMIT
00002f45: MSTORE
00002f46: NUMBER
00002f47: ORIGIN
00002f48: ADDRESS
00002f49: KECCAK256
00002f4a: PUSH16 0x7065726174696f6e20646964206e6f74
00002f5b: KECCAK256
00002f5c: PUSH20 0x756363656564a264697066735822122009fb6c39
00002f71: UNKNOWN(0xE5)
00002f72: UNKNOWN(0xC3)
00002f73: SWAP10
00002f74: UNKNOWN(0x1F)
00002f75: MUL
00002f76: UNKNOWN(0xF7)
00002f77: UNKNOWN(0xC2)
00002f78: UNKNOWN(0x4B)
00002f79: TSTORE
00002f7a: BALANCE
00002f7b: PUSH23 0x61a2c2442bcbba4a372c72c2dbb208316664736f6c6343
00002f93: STOP
00002f94: MOD
00002f95: UNKNOWN(0x0C)
00002f96: STOP
00002f97: CALLER