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

Analysis Run

9e0ab6a0-72d0-4d1d-a9d3-abf79a7894fb

failed
Chain ID
1
Address
Block Number
Created
Wed, Dec 31, 2025 4:03 PM
Review Summary

What survived the funnel

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

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
30845 report.consolidate complete 1 / 1 3 months ago
94081 artifact.fetch failed 1 / 3 1 week ago
94082 tool.cast_disasm complete 1 / 3 1 week ago
94083 analysis.bundle complete 1 / 3 1 week ago
94084 capability.graph complete 1 / 3 1 week ago
94085 detector.run complete 1 / 3 1 week ago
94086 validation.fork complete 1 / 3 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
Summary
No concrete, exploitable profit paths found in the provided Morpho sources.
View stderr
[codex:1037546] OpenAI Codex v0.77.0 (research preview)
[codex:1037546] --------
[codex:1037546] workdir: /tmp/codex-multi-66wjxaac
[codex:1037546] model: gpt-5.2-codex
[codex:1037546] provider: openai
[codex:1037546] approval: never
[codex:1037546] sandbox: read-only
[codex:1037546] reasoning effort: xhigh
[codex:1037546] reasoning summaries: auto
[codex:1037546] session id: 019b7522-dbe9-71e3-934c-59c72bde0d1a
[codex:1037546] --------
[codex:1037546] user
[codex:1037546] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1037546] 
[codex:1037546] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1037546] 
[codex:1037546] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1037546] - Gas inefficiency, code quality, naming, or best practices
[codex:1037546] - Theoretical vulnerabilities without a clear extraction path
[codex:1037546] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1037546] - Front-running unless it enables theft beyond MEV
[codex:1037546] - DoS, griefing, or issues that don't result in attacker profit
[codex:1037546] - Missing events, view function issues, or informational findings
[codex:1037546] 
[codex:1037546] HIGH-VALUE PATTERNS TO HUNT:
[codex:1037546] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1037546] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1037546] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1037546] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1037546] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1037546] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1037546] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1037546] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1037546] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1037546] 
[codex:1037546] For each finding, you MUST provide:
[codex:1037546] 1. Exact file and line numbers of vulnerable code
[codex:1037546] 2. Step-by-step exploit transaction sequence
[codex:1037546] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1037546] 
[codex:1037546] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1037546] 
[codex:1037546] Output MUST be valid JSON matching the provided schema.
[codex:1037546] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1037546] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1037546] mcp startup: no servers
[codex:1037546] 
[codex:1037546] thinking
[codex:1037546] **Preparing to read AUDIT_BUNDLE.txt**
[codex:1037546] exec
[codex:1037546] /bin/bash -lc ls in /tmp/codex-multi-66wjxaac succeeded in 5ms:
[codex:1037546] AUDIT_BUNDLE.txt
[codex:1037546] codex-output-schema.json
[codex:1037546] contracts
[codex:1037546] exec
[codex:1037546] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-66wjxaac succeeded in 5ms:
[codex:1037546] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1037546] 
[codex:1037546] ================================================================================
[codex:1037546] FILE: contracts/src/Morpho.sol
[codex:1037546] ================================================================================
[codex:1037546] // SPDX-License-Identifier: BUSL-1.1
[codex:1037546] pragma solidity 0.8.19;
[codex:1037546] 
[codex:1037546] import {
[codex:1037546]     Id,
[codex:1037546]     IMorphoStaticTyping,
[codex:1037546]     IMorphoBase,
[codex:1037546]     MarketParams,
[codex:1037546]     Position,
[codex:1037546]     Market,
[codex:1037546]     Authorization,
[codex:1037546]     Signature
[codex:1037546] } from "./interfaces/IMorpho.sol";
[codex:1037546] import {
[codex:1037546]     IMorphoLiquidateCallback,
[codex:1037546] 
[codex:1037546] thinking
[codex:1037546] **Seeking complete Morpho.sol file**
[codex:1037546] exec
[codex:1037546] /bin/bash -lc 'rg -n "function _accrueInterest|flashLoan|liquidate|borrow|withdraw|supply" contracts/src/Morpho.sol' in /tmp/codex-multi-66wjxaac succeeded in 6ms:
[codex:1037546] 163:        if (marketParams.irm != address(0)) IIrm(marketParams.irm).borrowRate(marketParams, market[id]);
[codex:1037546] 169:    function supply(
[codex:1037546] 186:        position[id][onBehalf].supplyShares += shares;
[codex:1037546] 200:    function withdraw(
[codex:1037546] 219:        position[id][onBehalf].supplyShares -= shares;
[codex:1037546] 235:    function borrow(
[codex:1037546] 254:        position[id][onBehalf].borrowShares += shares.toUint128();
[codex:1037546] 286:        position[id][onBehalf].borrowShares -= shares.toUint128();
[codex:1037546] 303:    function supplyCollateral(MarketParams memory marketParams, uint256 assets, address onBehalf, bytes calldata data)
[codex:1037546] 323:    function withdrawCollateral(MarketParams memory marketParams, uint256 assets, address onBehalf, address receiver)
[codex:1037546] 347:    function liquidate(
[codex:1037546] 349:        address borrower,
[codex:1037546] 363:            require(!_isHealthy(marketParams, id, borrower, collateralPrice), ErrorsLib.HEALTHY_POSITION);
[codex:1037546] 384:        position[id][borrower].borrowShares -= repaidShares.toUint128();
[codex:1037546] 388:        position[id][borrower].collateral -= seizedAssets.toUint128();
[codex:1037546] 392:        if (position[id][borrower].collateral == 0) {
[codex:1037546] 393:            badDebtShares = position[id][borrower].borrowShares;
[codex:1037546] 402:            position[id][borrower].borrowShares = 0;
[codex:1037546] 407:            id, msg.sender, borrower, repaidAssets, repaidShares, seizedAssets, badDebtAssets, badDebtShares
[codex:1037546] 422:    function flashLoan(address token, uint256 assets, bytes calldata data) external {
[codex:1037546] 
[codex:1037546] thinking
[codex:1037546] **Opening interest accrual code**
[codex:1037546] exec
[codex:1037546] /bin/bash -lc "sed -n '1,220p' contracts/src/Morpho.sol" in /tmp/codex-multi-66wjxaac succeeded in 5ms:
[codex:1037546] // SPDX-License-Identifier: BUSL-1.1
[codex:1037546] pragma solidity 0.8.19;
[codex:1037546] 
[codex:1037546] import {
[codex:1037546]     Id,
[codex:1037546]     IMorphoStaticTyping,
[codex:1037546]     IMorphoBase,
[codex:1037546]     MarketParams,
[codex:1037546]     Position,
[codex:1037546]     Market,
[codex:1037546]     Authorization,
[codex:1037546]     Signature
[codex:1037546] } from "./interfaces/IMorpho.sol";
[codex:1037546] import {
[codex:1037546]     IMorphoLiquidateCallback,
[codex:1037546]     IMorphoRepayCallback,
[codex:1037546]     IMorphoSupplyCallback,
[codex:1037546]     IMorphoSupplyCollateralCallback,
[codex:1037546]     IMorphoFlashLoanCallback
[codex:1037546] } from "./interfaces/IMorphoCallbacks.sol";
[codex:1037546] exec
[codex:1037546] /bin/bash -lc "sed -n '220,520p' contracts/src/Morpho.sol" in /tmp/codex-multi-66wjxaac succeeded in 5ms:
[codex:1037546]         market[id].totalSupplyShares -= shares.toUint128();
[codex:1037546]         market[id].totalSupplyAssets -= assets.toUint128();
[codex:1037546] 
[codex:1037546]         require(market[id].totalBorrowAssets <= market[id].totalSupplyAssets, ErrorsLib.INSUFFICIENT_LIQUIDITY);
[codex:1037546] 
[codex:1037546]         emit EventsLib.Withdraw(id, msg.sender, onBehalf, receiver, assets, shares);
[codex:1037546] 
[codex:1037546]         IERC20(marketParams.loanToken).safeTransfer(receiver, assets);
[codex:1037546] 
[codex:1037546]         return (assets, shares);
[codex:1037546]     }
[codex:1037546] 
[codex:1037546]     /* BORROW MANAGEMENT */
[codex:1037546] 
[codex:1037546]     /// @inheritdoc IMorphoBase
[codex:1037546]     function borrow(
[codex:1037546]         MarketParams memory marketParams,
[codex:1037546]         uint256 assets,
[codex:1037546]         uint256 shares,
[codex:1037546]         address onBehalf,
[codex:1037546] exec
[codex:1037546] /bin/bash -lc "sed -n '520,720p' contracts/src/Morpho.sol" in /tmp/codex-multi-66wjxaac succeeded in 5ms:
[codex:1037546]         return _isHealthy(marketParams, id, borrower, collateralPrice);
[codex:1037546]     }
[codex:1037546] 
[codex:1037546]     /// @dev Returns whether the position of `borrower` in the given market `marketParams` with the given
[codex:1037546]     /// `collateralPrice` is healthy.
[codex:1037546]     /// @dev Assumes that the inputs `marketParams` and `id` match.
[codex:1037546]     /// @dev Rounds in favor of the protocol, so one might not be able to borrow exactly `maxBorrow` but one unit less.
[codex:1037546]     function _isHealthy(MarketParams memory marketParams, Id id, address borrower, uint256 collateralPrice)
[codex:1037546]         internal
[codex:1037546]         view
[codex:1037546]         returns (bool)
[codex:1037546]     {
[codex:1037546]         uint256 borrowed = uint256(position[id][borrower].borrowShares).toAssetsUp(
[codex:1037546]             market[id].totalBorrowAssets, market[id].totalBorrowShares
[codex:1037546]         );
[codex:1037546]         uint256 maxBorrow = uint256(position[id][borrower].collateral).mulDivDown(collateralPrice, ORACLE_PRICE_SCALE)
[codex:1037546]             .wMulDown(marketParams.lltv);
[codex:1037546] 
[codex:1037546]         return maxBorrow >= borrowed;
[codex:1037546]     }
[codex:1037546] 
[codex:1037546] thinking
[codex:1037546] **Scanning for vulnerabilities in interfaces**
[codex:1037546] exec
[codex:1037546] /bin/bash -lc 'rg --files contracts/src' in /tmp/codex-multi-66wjxaac succeeded in 9ms:
[codex:1037546] contracts/src/interfaces/IOracle.sol
[codex:1037546] contracts/src/interfaces/IMorpho.sol
[codex:1037546] contracts/src/interfaces/IIrm.sol
[codex:1037546] contracts/src/interfaces/IMorphoCallbacks.sol
[codex:1037546] contracts/src/interfaces/IERC20.sol
[codex:1037546] contracts/src/Morpho.sol
[codex:1037546] contracts/src/libraries/EventsLib.sol
[codex:1037546] contracts/src/libraries/ErrorsLib.sol
[codex:1037546] contracts/src/libraries/SafeTransferLib.sol
[codex:1037546] contracts/src/libraries/SharesMathLib.sol
[codex:1037546] contracts/src/libraries/MarketParamsLib.sol
[codex:1037546] contracts/src/libraries/MathLib.sol
[codex:1037546] contracts/src/libraries/ConstantsLib.sol
[codex:1037546] contracts/src/libraries/UtilsLib.sol
[codex:1037546] 
[codex:1037546] 
[codex:1037546] thinking
[codex:1037546] **Analyzing reentrancy and token transfer risks**
[codex:1037546] thinking
[codex:1037546] **Evaluating complex reentrancy and accounting scenarios**
[codex:1037546] 
[codex:1037546] I'm carefully tracing through supply, repay, borrow, and liquidation flows with callback reentrancies and token transfers to see if any subtle timing or rounding issues could yield a profit exploit. The interplay of token callbacks, share calculations, and state updates is intricate, but none seem to allow an attacker to extract value without repaying or cause permanent imbalance. I'm also reviewing signature handling, flash loans, and liquidation mechanics for unusual edge cases that might slip through. Overall, the system appears robust against obvious profit-driven exploits despite complex interactions.
[codex:1037546] exec
[codex:1037546] /bin/bash -lc "sed -n '1,260p' contracts/src/interfaces/IMorpho.sol" in /tmp/codex-multi-66wjxaac succeeded in 7ms:
[codex:1037546] // SPDX-License-Identifier: GPL-2.0-or-later
[codex:1037546] pragma solidity >=0.5.0;
[codex:1037546] 
[codex:1037546] type Id is bytes32;
[codex:1037546] 
[codex:1037546] struct MarketParams {
[codex:1037546]     address loanToken;
[codex:1037546]     address collateralToken;
[codex:1037546]     address oracle;
[codex:1037546]     address irm;
[codex:1037546]     uint256 lltv;
[codex:1037546] }
[codex:1037546] 
[codex:1037546] /// @dev Warning: For `feeRecipient`, `supplyShares` does not contain the accrued shares since the last interest
[codex:1037546] /// accrual.
[codex:1037546] struct Position {
[codex:1037546]     uint256 supplyShares;
[codex:1037546]     uint128 borrowShares;
[codex:1037546]     uint128 collateral;
[codex:1037546] }
[codex:1037546] 
[codex:1037546] thinking
[codex:1037546] **Analyzing token assumptions and reentrancy risks**
[codex:1037546] codex
[codex:1037546] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided Morpho sources.","findings":[]}
[codex:1037546] tokens used
[codex:1037546] 34,427
[codex:1037546] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided Morpho sources.","findings":[]}
Metadata
{
    "codex": {
        "ran_at": "2025-12-31T16:03:14.513106+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths found in the provided Morpho sources.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths found in the provided Morpho sources.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
12
EXT*/BALANCE
7
Total opcodes
7213
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: ISZERO
0000000a: PUSH2 0x0012
0000000d: JUMPI
0000000e: PUSH1 0x00
00000010: DUP1
00000011: REVERT
00000012: JUMPDEST
00000013: PUSH1 0x00
00000015: DUP1
00000016: CALLDATALOAD
00000017: PUSH1 0xe0
00000019: SHR
0000001a: DUP1
0000001b: PUSH4 0x13af4035
00000020: EQ
00000021: PUSH2 0x2b90
00000024: JUMPI
00000025: DUP1
00000026: PUSH4 0x151c1ade
0000002b: EQ
0000002c: PUSH2 0x2b20
0000002f: JUMPI
00000030: DUP1
00000031: PUSH4 0x20b76e81
00000036: EQ
00000037: PUSH2 0x28c1
0000003a: JUMPI
0000003b: DUP1
0000003c: PUSH4 0x238d6579
00000041: EQ
00000042: PUSH2 0x26f7
00000045: JUMPI
00000046: DUP1
00000047: PUSH4 0x2b4f013c
0000004c: EQ
0000004d: PUSH2 0x256e
00000050: JUMPI
00000051: DUP1
00000052: PUSH4 0x2c3c9157
00000057: EQ
00000058: PUSH2 0x24dc
0000005b: JUMPI
0000005c: DUP1
0000005d: PUSH4 0x3644e515
00000062: EQ
00000063: PUSH2 0x2483
00000066: JUMPI
00000067: DUP1
00000068: PUSH4 0x46904840
0000006d: EQ
0000006e: PUSH2 0x2431
00000071: JUMPI
00000072: DUP1
00000073: PUSH4 0x4d98a93b
00000078: EQ
00000079: PUSH2 0x2315
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0x50d8cd4b
00000083: EQ
00000084: PUSH2 0x2081
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0x5a64f51e
0000008e: EQ
0000008f: PUSH2 0x1fa9
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0x5c2bea49
00000099: EQ
0000009a: PUSH2 0x1d48
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0x5c60e39a
000000a4: EQ
000000a5: PUSH2 0x1cb7
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0x65e4ad9e
000000af: EQ
000000b0: PUSH2 0x1c37
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0x70ae92d2
000000ba: EQ
000000bb: PUSH2 0x1bd4
000000be: JUMPI
000000bf: DUP1
000000c0: PUSH4 0x7784c685
000000c5: EQ
000000c6: PUSH2 0x1a68
000000c9: JUMPI
000000ca: DUP1
000000cb: PUSH4 0x8069218f
000000d0: EQ
000000d1: PUSH2 0x167f
000000d4: JUMPI
000000d5: DUP1
000000d6: PUSH4 0x8720316d
000000db: EQ
000000dc: PUSH2 0x150f
000000df: JUMPI
000000e0: DUP1
000000e1: PUSH4 0x8c1358a2
000000e6: EQ
000000e7: PUSH2 0x11f8
000000ea: JUMPI
000000eb: DUP1
000000ec: PUSH4 0x8da5cb5b
000000f1: EQ
000000f2: PUSH2 0x11a7
000000f5: JUMPI
000000f6: DUP1
000000f7: PUSH4 0x93c52062
000000fc: EQ
000000fd: PUSH2 0x110e
00000100: JUMPI
00000101: DUP1
00000102: PUSH4 0xa99aad89
00000107: EQ
00000108: PUSH2 0x0eda
0000010b: JUMPI
0000010c: DUP1
0000010d: PUSH4 0xb485f3b8
00000112: EQ
00000113: PUSH2 0x0e8d
00000116: JUMPI
00000117: DUP1
00000118: PUSH4 0xd8eabcb8
0000011d: EQ
0000011e: PUSH2 0x04e5
00000121: JUMPI
00000122: DUP1
00000123: PUSH4 0xe0232b42
00000128: EQ
00000129: PUSH2 0x0398
0000012c: JUMPI
0000012d: DUP1
0000012e: PUSH4 0xe74b981b
00000133: EQ
00000134: PUSH2 0x02cd
00000137: JUMPI
00000138: DUP1
00000139: PUSH4 0xeecea000
0000013e: EQ
0000013f: PUSH2 0x01bb
00000142: JUMPI
00000143: PUSH4 0xf2b863ce
00000148: EQ
00000149: PUSH2 0x0151
0000014c: JUMPI
0000014d: PUSH1 0x00
0000014f: DUP1
00000150: REVERT
00000151: JUMPDEST
00000152: CALLVALUE
00000153: PUSH2 0x01b8
00000156: JUMPI
00000157: PUSH1 0x20
00000159: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000017a: CALLDATASIZE
0000017b: ADD
0000017c: SLT
0000017d: PUSH2 0x01b8
00000180: JUMPI
00000181: PUSH1 0xff
00000183: PUSH1 0x40
00000185: PUSH1 0x20
00000187: SWAP3
00000188: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000019d: PUSH2 0x01a4
000001a0: PUSH2 0x2c5a
000001a3: JUMP
000001a4: JUMPDEST
000001a5: AND
000001a6: DUP2
000001a7: MSTORE
000001a8: PUSH1 0x04
000001aa: DUP5
000001ab: MSTORE
000001ac: KECCAK256
000001ad: SLOAD
000001ae: AND
000001af: PUSH1 0x40
000001b1: MLOAD
000001b2: SWAP1
000001b3: ISZERO
000001b4: ISZERO
000001b5: DUP2
000001b6: MSTORE
000001b7: RETURN
000001b8: JUMPDEST
000001b9: DUP1
000001ba: REVERT
000001bb: JUMPDEST
000001bc: POP
000001bd: CALLVALUE
000001be: PUSH2 0x01b8
000001c1: JUMPI
000001c2: PUSH1 0x40
000001c4: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000001e5: CALLDATASIZE
000001e6: ADD
000001e7: SLT
000001e8: PUSH2 0x01b8
000001eb: JUMPI
000001ec: PUSH2 0x01f3
000001ef: PUSH2 0x2c5a
000001f2: JUMP
000001f3: JUMPDEST
000001f4: PUSH1 0x24
000001f6: CALLDATALOAD
000001f7: DUP1
000001f8: ISZERO
000001f9: ISZERO
000001fa: SWAP1
000001fb: DUP2
000001fc: DUP2
000001fd: SUB
000001fe: PUSH2 0x02c8
00000201: JUMPI
00000202: PUSH2 0x0297
00000205: SWAP1
00000206: CALLER
00000207: DUP6
00000208: MSTORE
00000209: PUSH1 0x06
0000020b: PUSH1 0x20
0000020d: MSTORE
0000020e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000223: PUSH1 0x40
00000225: DUP7
00000226: KECCAK256
00000227: SWAP5
00000228: AND
00000229: SWAP4
0000022a: DUP5
0000022b: PUSH1 0x00
0000022d: MSTORE
0000022e: PUSH1 0x20
00000230: MSTORE
00000231: PUSH2 0x024f
00000234: PUSH1 0xff
00000236: PUSH1 0x40
00000238: PUSH1 0x00
0000023a: KECCAK256
0000023b: SLOAD
0000023c: AND
0000023d: ISZERO
0000023e: ISZERO
0000023f: DUP5
00000240: EQ
00000241: ISZERO
00000242: PUSH2 0x0249
00000245: PUSH2 0x2fdd
00000248: JUMP
00000249: JUMPDEST
0000024a: SWAP1
0000024b: PUSH2 0x2f41
0000024e: JUMP
0000024f: JUMPDEST
00000250: CALLER
00000251: DUP6
00000252: MSTORE
00000253: PUSH1 0x06
00000255: PUSH1 0x20
00000257: MSTORE
00000258: PUSH1 0x40
0000025a: DUP6
0000025b: KECCAK256
0000025c: DUP5
0000025d: PUSH1 0x00
0000025f: MSTORE
00000260: PUSH1 0x20
00000262: MSTORE
00000263: PUSH1 0x40
00000265: PUSH1 0x00
00000267: KECCAK256
00000268: SWAP1
00000269: PUSH1 0xff
0000026b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
0000028c: DUP4
0000028d: SLOAD
0000028e: AND
0000028f: SWAP2
00000290: ISZERO
00000291: ISZERO
00000292: AND
00000293: OR
00000294: SWAP1
00000295: SSTORE
00000296: JUMP
00000297: JUMPDEST
00000298: PUSH1 0x40
0000029a: MLOAD
0000029b: SWAP1
0000029c: DUP2
0000029d: MSTORE
0000029e: CALLER
0000029f: SWAP1
000002a0: PUSH32 0xd5e969f01efe921d3f766bdebad25f0a05e3f237311f56482bf132d0326309c0
000002c1: PUSH1 0x20
000002c3: CALLER
000002c4: SWAP3
000002c5: LOG4
000002c6: DUP1
000002c7: RETURN
000002c8: JUMPDEST
000002c9: PUSH1 0x00
000002cb: DUP1
000002cc: REVERT
000002cd: JUMPDEST
000002ce: POP
000002cf: CALLVALUE
000002d0: PUSH2 0x01b8
000002d3: JUMPI
000002d4: PUSH1 0x20
000002d6: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000002f7: CALLDATASIZE
000002f8: ADD
000002f9: SLT
000002fa: PUSH2 0x01b8
000002fd: JUMPI
000002fe: PUSH2 0x036c
00000301: PUSH2 0x0308
00000304: PUSH2 0x2c5a
00000307: JUMP
00000308: JUMPDEST
00000309: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
0000032a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000033f: SWAP2
00000340: PUSH2 0x0350
00000343: DUP4
00000344: DUP7
00000345: SLOAD
00000346: AND
00000347: CALLER
00000348: EQ
00000349: PUSH2 0x0249
0000034c: PUSH2 0x2f08
0000034f: JUMP
00000350: JUMPDEST
00000351: DUP3
00000352: PUSH1 0x01
00000354: SLOAD
00000355: SWAP2
00000356: AND
00000357: SWAP4
00000358: DUP5
00000359: SWAP4
0000035a: PUSH2 0x0361
0000035d: PUSH2 0x2fdd
00000360: JUMP
00000361: JUMPDEST
00000362: SWAP1
00000363: DUP4
00000364: AND
00000365: DUP6
00000366: EQ
00000367: ISZERO
00000368: PUSH2 0x2f41
0000036b: JUMP
0000036c: JUMPDEST
0000036d: AND
0000036e: OR
0000036f: PUSH1 0x01
00000371: SSTORE
00000372: PUSH32 0x2e979f80fe4d43055c584cf4a8467c55875ea36728fc37176c05acd784eb7a73
00000393: DUP3
00000394: DUP1
00000395: LOG2
00000396: DUP1
00000397: RETURN
00000398: JUMPDEST
00000399: POP
0000039a: CALLVALUE
0000039b: PUSH2 0x01b8
0000039e: JUMPI
0000039f: PUSH1 0x60
000003a1: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000003c2: CALLDATASIZE
000003c3: ADD
000003c4: SLT
000003c5: PUSH2 0x01b8
000003c8: JUMPI
000003c9: PUSH2 0x03d0
000003cc: PUSH2 0x2c5a
000003cf: JUMP
000003d0: JUMPDEST
000003d1: PUSH1 0x24
000003d3: CALLDATALOAD
000003d4: DUP3
000003d5: PUSH1 0x44
000003d7: CALLDATALOAD
000003d8: PUSH8 0xffffffffffffffff
000003e1: DUP2
000003e2: GT
000003e3: PUSH2 0x04e1
000003e6: JUMPI
000003e7: PUSH2 0x0409
000003ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003ff: SWAP2
00000400: CALLDATASIZE
00000401: SWAP1
00000402: PUSH1 0x04
00000404: ADD
00000405: PUSH2 0x2de8
00000408: JUMP
00000409: JUMPDEST
0000040a: SWAP2
0000040b: SWAP1
0000040c: SWAP5
0000040d: PUSH2 0x041f
00000410: PUSH2 0x0417
00000413: PUSH2 0x32c2
00000416: JUMP
00000417: JUMPDEST
00000418: DUP7
00000419: ISZERO
0000041a: ISZERO
0000041b: PUSH2 0x2f41
0000041e: JUMP
0000041f: JUMPDEST
00000420: AND
00000421: SWAP4
00000422: DUP5
00000423: PUSH1 0x40
00000425: MLOAD
00000426: DUP6
00000427: DUP2
00000428: MSTORE
00000429: PUSH32 0xc76f1b4fe4396ac07a9fa55a415d4ca430e72651d37d3401f3bed7cb13fc4f12
0000044a: PUSH1 0x20
0000044c: CALLER
0000044d: SWAP3
0000044e: LOG3
0000044f: PUSH2 0x0459
00000452: DUP5
00000453: CALLER
00000454: DUP8
00000455: PUSH2 0x394a
00000458: JUMP
00000459: JUMPDEST
0000045a: CALLER
0000045b: EXTCODESIZE
0000045c: ISZERO
0000045d: PUSH2 0x04d2
00000460: JUMPI
00000461: PUSH2 0x049b
00000464: SWAP2
00000465: DUP4
00000466: SWAP2
00000467: PUSH1 0x40
00000469: MLOAD
0000046a: SWAP4
0000046b: DUP5
0000046c: SWAP3
0000046d: DUP4
0000046e: SWAP3
0000046f: PUSH32 0x31f5707200000000000000000000000000000000000000000000000000000000
00000490: DUP5
00000491: MSTORE
00000492: DUP9
00000493: PUSH1 0x04
00000495: DUP6
00000496: ADD
00000497: PUSH2 0x319c
0000049a: JUMP
0000049b: JUMPDEST
0000049c: SUB
0000049d: DUP2
0000049e: DUP4
0000049f: CALLER
000004a0: GAS
000004a1: CALL
000004a2: DUP1
000004a3: ISZERO
000004a4: PUSH2 0x04d6
000004a7: JUMPI
000004a8: PUSH2 0x04be
000004ab: JUMPI
000004ac: JUMPDEST
000004ad: POP
000004ae: POP
000004af: PUSH2 0x04bb
000004b2: SWAP2
000004b3: ADDRESS
000004b4: SWAP1
000004b5: CALLER
000004b6: SWAP1
000004b7: PUSH2 0x3ab9
000004ba: JUMP
000004bb: JUMPDEST
000004bc: DUP1
000004bd: RETURN
000004be: JUMPDEST
000004bf: PUSH2 0x04c7
000004c2: SWAP1
000004c3: PUSH2 0x2cc3
000004c6: JUMP
000004c7: JUMPDEST
000004c8: PUSH2 0x04d2
000004cb: JUMPI
000004cc: DUP3
000004cd: CODESIZE
000004ce: PUSH2 0x04ac
000004d1: JUMP
000004d2: JUMPDEST
000004d3: DUP3
000004d4: DUP1
000004d5: REVERT
000004d6: JUMPDEST
000004d7: PUSH1 0x40
000004d9: MLOAD
000004da: RETURNDATASIZE
000004db: DUP5
000004dc: DUP3
000004dd: RETURNDATACOPY
000004de: RETURNDATASIZE
000004df: SWAP1
000004e0: REVERT
000004e1: JUMPDEST
000004e2: POP
000004e3: DUP1
000004e4: REVERT
000004e5: JUMPDEST
000004e6: POP
000004e7: CALLVALUE
000004e8: PUSH2 0x01b8
000004eb: JUMPI
000004ec: PUSH2 0x0120
000004ef: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000510: CALLDATASIZE
00000511: ADD
00000512: SLT
00000513: PUSH2 0x01b8
00000516: JUMPI
00000517: PUSH2 0x051f
0000051a: CALLDATASIZE
0000051b: PUSH2 0x2d50
0000051e: JUMP
0000051f: JUMPDEST
00000520: SWAP1
00000521: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000536: PUSH1 0xa4
00000538: CALLDATALOAD
00000539: AND
0000053a: PUSH1 0xa4
0000053c: CALLDATALOAD
0000053d: SUB
0000053e: PUSH2 0x02c8
00000541: JUMPI
00000542: PUSH2 0x0104
00000545: CALLDATALOAD
00000546: PUSH8 0xffffffffffffffff
0000054f: DUP2
00000550: GT
00000551: PUSH2 0x04e1
00000554: JUMPI
00000555: PUSH2 0x0562
00000558: SWAP1
00000559: CALLDATASIZE
0000055a: SWAP1
0000055b: PUSH1 0x04
0000055d: ADD
0000055e: PUSH2 0x2de8
00000561: JUMP
00000562: JUMPDEST
00000563: SWAP2
00000564: PUSH1 0xc4
00000566: CALLDATALOAD
00000567: SWAP3
00000568: PUSH1 0xe4
0000056a: CALLDATALOAD
0000056b: SWAP3
0000056c: PUSH1 0xa0
0000056e: DUP7
0000056f: KECCAK256
00000570: SWAP4
00000571: DUP5
00000572: DUP5
00000573: MSTORE
00000574: PUSH1 0x03
00000576: PUSH1 0x20
00000578: MSTORE
00000579: PUSH2 0x059f
0000057c: PUSH16 0xffffffffffffffffffffffffffffffff
0000058d: PUSH1 0x02
0000058f: PUSH1 0x40
00000591: DUP8
00000592: KECCAK256
00000593: ADD
00000594: SLOAD
00000595: AND
00000596: ISZERO
00000597: ISZERO
00000598: PUSH2 0x0249
0000059b: PUSH2 0x3016
0000059e: JUMP
0000059f: JUMPDEST
000005a0: PUSH2 0x05b4
000005a3: PUSH2 0x05aa
000005a6: PUSH2 0x30f9
000005a9: JUMP
000005aa: JUMPDEST
000005ab: DUP3
000005ac: ISZERO
000005ad: DUP9
000005ae: ISZERO
000005af: XOR
000005b0: PUSH2 0x2f41
000005b3: JUMP
000005b4: JUMPDEST
000005b5: PUSH2 0x05be
000005b8: DUP6
000005b9: DUP9
000005ba: PUSH2 0x336e
000005bd: JUMP
000005be: JUMPDEST
000005bf: PUSH1 0x04
000005c1: PUSH1 0x20
000005c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005d8: PUSH1 0x40
000005da: DUP11
000005db: ADD
000005dc: MLOAD
000005dd: AND
000005de: PUSH1 0x40
000005e0: MLOAD
000005e1: SWAP3
000005e2: DUP4
000005e3: DUP1
000005e4: SWAP3
000005e5: PUSH32 0xa035b1fe00000000000000000000000000000000000000000000000000000000
00000606: DUP3
00000607: MSTORE
00000608: GAS
00000609: STATICCALL
0000060a: SWAP1
0000060b: DUP2
0000060c: ISZERO
0000060d: PUSH2 0x0e82
00000610: JUMPI
00000611: DUP6
00000612: SWAP2
00000613: PUSH2 0x0e50
00000616: JUMPI
00000617: JUMPDEST
00000618: POP
00000619: PUSH2 0x0666
0000061c: PUSH2 0x0629
0000061f: DUP3
00000620: PUSH1 0xa4
00000622: CALLDATALOAD
00000623: DUP10
00000624: DUP13
00000625: PUSH2 0x376d
00000628: JUMP
00000629: JUMPDEST
0000062a: ISZERO
0000062b: PUSH1 0x40
0000062d: MLOAD
0000062e: SWAP1
0000062f: PUSH2 0x0637
00000632: DUP3
00000633: PUSH2 0x2cf3
00000636: JUMP
00000637: JUMPDEST
00000638: PUSH1 0x13
0000063a: DUP3
0000063b: MSTORE
0000063c: PUSH32 0x706f736974696f6e206973206865616c74687900000000000000000000000000
0000065d: PUSH1 0x20
0000065f: DUP4
00000660: ADD
00000661: MSTORE
00000662: PUSH2 0x2f41
00000665: JUMP
00000666: JUMPDEST
00000667: PUSH1 0x80
00000669: DUP9
0000066a: ADD
0000066b: MLOAD
0000066c: PUSH8 0x0de0b6b3a7640000
00000675: SUB
00000676: PUSH8 0x0de0b6b3a7640000
0000067f: DUP2
00000680: GT
00000681: PUSH2 0x0ca0
00000684: JUMPI
00000685: PUSH8 0x0429d069189e0000
0000068e: SWAP1
0000068f: DUP1
00000690: DUP3
00000691: MUL
00000692: SWAP2
00000693: DUP3
00000694: DIV
00000695: SUB
00000696: PUSH2 0x0ccd
00000699: JUMPI
0000069a: PUSH8 0x0de0b6b3a7640000
000006a3: SWAP1
000006a4: DIV
000006a5: SWAP2
000006a6: DUP3
000006a7: PUSH8 0x0de0b6b3a7640000
000006b0: SUB
000006b1: SWAP3
000006b2: PUSH8 0x0de0b6b3a7640000
000006bb: DUP5
000006bc: GT
000006bd: PUSH2 0x0e23
000006c0: JUMPI
000006c1: PUSH8 0x0de0b6b3a7640000
000006ca: EQ
000006cb: PUSH2 0x0df4
000006ce: JUMPI
000006cf: DUP8
000006d0: ISZERO
000006d1: PUSH2 0x0cfc
000006d4: JUMPI
000006d5: POP
000006d6: PUSH2 0x06df
000006d9: SWAP1
000006da: DUP8
000006db: PUSH2 0x383b
000006de: JUMP
000006df: JUMPDEST
000006e0: PUSH15 0xc097ce7bc90715b34b9f0fffffffff
000006f0: DUP2
000006f1: ADD
000006f2: DUP1
000006f3: SWAP2
000006f4: GT
000006f5: PUSH2 0x0ccd
000006f8: JUMPI
000006f9: PUSH15 0xc097ce7bc90715b34b9f1000000000
00000709: SWAP1
0000070a: DIV
0000070b: DUP1
0000070c: PUSH8 0x0de0b6b3a7640000
00000715: DUP2
00000716: MUL
00000717: DIV
00000718: PUSH8 0x0de0b6b3a7640000
00000721: EQ
00000722: DUP2
00000723: ISZERO
00000724: OR
00000725: ISZERO
00000726: PUSH2 0x0ccd
00000729: JUMPI
0000072a: PUSH8 0x0ff59ee833b30000
00000733: PUSH15 0xc097ce7bc90715b34b9f1000000000
00000743: DUP4
00000744: SWAP1
00000745: DIV
00000746: DUP1
00000747: DUP3
00000748: XOR
00000749: SWAP1
0000074a: DUP3
0000074b: GT
0000074c: MUL
0000074d: DUP2
0000074e: XOR
0000074f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000770: DUP2
00000771: ADD
00000772: GT
00000773: PUSH2 0x0ca0
00000776: JUMPI
00000777: PUSH2 0x0807
0000077a: SWAP3
0000077b: PUSH2 0x07d9
0000077e: SWAP3
0000077f: PUSH15 0xc097ce7bc90715b34b9f1000000000
0000078f: SWAP2
00000790: SWAP1
00000791: SWAP2
00000792: DIV
00000793: DUP1
00000794: DUP4
00000795: XOR
00000796: SWAP1
00000797: DUP4
00000798: GT
00000799: MUL
0000079a: SWAP1
0000079b: SWAP2
0000079c: XOR
0000079d: SWAP1
0000079e: PUSH2 0x07d4
000007a1: SWAP1
000007a2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000007c3: DUP4
000007c4: ADD
000007c5: SWAP1
000007c6: PUSH8 0x0de0b6b3a7640000
000007cf: MUL
000007d0: PUSH2 0x316b
000007d3: JUMP
000007d4: JUMPDEST
000007d5: PUSH2 0x384e
000007d8: JUMP
000007d9: JUMPDEST
000007da: DUP6
000007db: DUP6
000007dc: MSTORE
000007dd: PUSH1 0x03
000007df: PUSH1 0x20
000007e1: MSTORE
000007e2: PUSH1 0x01
000007e4: PUSH1 0x40
000007e6: DUP7
000007e7: KECCAK256
000007e8: ADD
000007e9: SLOAD
000007ea: SWAP1
000007eb: PUSH16 0xffffffffffffffffffffffffffffffff
000007fc: DUP3
000007fd: PUSH1 0x80
000007ff: SHR
00000800: SWAP3
00000801: AND
00000802: SWAP1
00000803: PUSH2 0x3c33
00000806: JUMP
00000807: JUMPDEST
00000808: SWAP4
00000809: JUMPDEST
0000080a: DUP1
0000080b: DUP5
0000080c: MSTORE
0000080d: PUSH1 0x03
0000080f: PUSH1 0x20
00000811: MSTORE
00000812: PUSH2 0x0839
00000815: PUSH1 0x01
00000817: PUSH1 0x40
00000819: DUP7
0000081a: KECCAK256
0000081b: ADD
0000081c: SLOAD
0000081d: PUSH16 0xffffffffffffffffffffffffffffffff
0000082e: DUP2
0000082f: PUSH1 0x80
00000831: SHR
00000832: SWAP2
00000833: AND
00000834: DUP8
00000835: PUSH2 0x3c55
00000838: JUMP
00000839: JUMPDEST
0000083a: SWAP5
0000083b: PUSH2 0x0843
0000083e: DUP2
0000083f: PUSH2 0x3c78
00000842: JUMP
00000843: JUMPDEST
00000844: DUP3
00000845: DUP7
00000846: MSTORE
00000847: PUSH1 0x02
00000849: PUSH1 0x20
0000084b: MSTORE
0000084c: PUSH1 0x40
0000084e: DUP7
0000084f: KECCAK256
00000850: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000865: PUSH1 0xa4
00000867: CALLDATALOAD
00000868: AND
00000869: PUSH1 0x00
0000086b: MSTORE
0000086c: PUSH1 0x20
0000086e: MSTORE
0000086f: PUSH1 0x01
00000871: PUSH1 0x40
00000873: PUSH1 0x00
00000875: KECCAK256
00000876: ADD
00000877: PUSH16 0xffffffffffffffffffffffffffffffff
00000888: PUSH2 0x0895
0000088b: DUP3
0000088c: SLOAD
0000088d: SWAP4
0000088e: DUP3
0000088f: DUP6
00000890: AND
00000891: PUSH2 0x322e
00000894: JUMP
00000895: JUMPDEST
00000896: AND
00000897: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
000008b8: DUP1
000008b9: SWAP4
000008ba: AND
000008bb: OR
000008bc: SWAP1
000008bd: SSTORE
000008be: PUSH2 0x0926
000008c1: PUSH2 0x08c9
000008c4: DUP4
000008c5: PUSH2 0x3c78
000008c8: JUMP
000008c9: JUMPDEST
000008ca: DUP5
000008cb: DUP9
000008cc: MSTORE
000008cd: PUSH1 0x03
000008cf: PUSH1 0x20
000008d1: MSTORE
000008d2: PUSH2 0x08e6
000008d5: PUSH1 0x01
000008d7: PUSH1 0x40
000008d9: DUP11
000008da: KECCAK256
000008db: ADD
000008dc: SWAP2
000008dd: DUP3
000008de: SLOAD
000008df: PUSH1 0x80
000008e1: SHR
000008e2: PUSH2 0x322e
000008e5: JUMP
000008e6: JUMPDEST
000008e7: PUSH16 0xffffffffffffffffffffffffffffffff
000008f8: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
00000919: DUP4
0000091a: SLOAD
0000091b: SWAP3
0000091c: PUSH1 0x80
0000091e: SHL
0000091f: AND
00000920: SWAP2
00000921: AND
00000922: OR
00000923: SWAP1
00000924: SSTORE
00000925: JUMP
00000926: JUMPDEST
00000927: DUP3
00000928: DUP7
00000929: MSTORE
0000092a: PUSH1 0x03
0000092c: PUSH1 0x20
0000092e: MSTORE
0000092f: PUSH2 0x0957
00000932: PUSH16 0xffffffffffffffffffffffffffffffff
00000943: PUSH1 0x01
00000945: PUSH1 0x40
00000947: DUP10
00000948: KECCAK256
00000949: ADD
0000094a: SLOAD
0000094b: AND
0000094c: DUP9
0000094d: DUP1
0000094e: DUP3
0000094f: SUB
00000950: SWAP2
00000951: GT
00000952: MUL
00000953: PUSH2 0x3c78
00000956: JUMP
00000957: JUMPDEST
00000958: DUP4
00000959: DUP8
0000095a: MSTORE
0000095b: PUSH1 0x03
0000095d: PUSH1 0x20
0000095f: MSTORE
00000960: PUSH16 0xffffffffffffffffffffffffffffffff
00000971: PUSH1 0x01
00000973: PUSH1 0x40
00000975: DUP10
00000976: KECCAK256
00000977: ADD
00000978: SWAP2
00000979: AND
0000097a: DUP3
0000097b: DUP3
0000097c: SLOAD
0000097d: AND
0000097e: OR
0000097f: SWAP1
00000980: SSTORE
00000981: PUSH2 0x09cd
00000984: PUSH2 0x098c
00000987: DUP10
00000988: PUSH2 0x3c78
0000098b: JUMP
0000098c: JUMPDEST
0000098d: DUP5
0000098e: DUP9
0000098f: MSTORE
00000990: PUSH1 0x02
00000992: PUSH1 0x20
00000994: MSTORE
00000995: PUSH1 0x40
00000997: DUP9
00000998: KECCAK256
00000999: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ae: PUSH1 0xa4
000009b0: CALLDATALOAD
000009b1: AND
000009b2: PUSH1 0x00
000009b4: MSTORE
000009b5: PUSH1 0x20
000009b7: MSTORE
000009b8: PUSH2 0x08e6
000009bb: PUSH1 0x01
000009bd: PUSH1 0x40
000009bf: PUSH1 0x00
000009c1: KECCAK256
000009c2: ADD
000009c3: SWAP2
000009c4: DUP3
000009c5: SLOAD
000009c6: PUSH1 0x80
000009c8: SHR
000009c9: PUSH2 0x322e
000009cc: JUMP
000009cd: JUMPDEST
000009ce: DUP6
000009cf: SWAP1
000009d0: DUP7
000009d1: SWAP1
000009d2: DUP5
000009d3: DUP9
000009d4: MSTORE
000009d5: PUSH1 0x02
000009d7: PUSH1 0x20
000009d9: MSTORE
000009da: PUSH1 0x40
000009dc: DUP9
000009dd: KECCAK256
000009de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009f3: PUSH1 0xa4
000009f5: CALLDATALOAD
000009f6: AND
000009f7: PUSH1 0x00
000009f9: MSTORE
000009fa: PUSH1 0x20
000009fc: MSTORE
000009fd: PUSH1 0x01
000009ff: PUSH1 0x40
00000a01: PUSH1 0x00
00000a03: KECCAK256
00000a04: ADD
00000a05: SLOAD
00000a06: PUSH1 0x80
00000a08: SHR
00000a09: ISZERO
00000a0a: PUSH2 0x0b39
00000a0d: JUMPI
00000a0e: JUMPDEST
00000a0f: POP
00000a10: PUSH1 0x40
00000a12: MLOAD
00000a13: SWAP3
00000a14: DUP9
00000a15: DUP5
00000a16: MSTORE
00000a17: PUSH1 0x20
00000a19: DUP5
00000a1a: ADD
00000a1b: MSTORE
00000a1c: DUP9
00000a1d: PUSH1 0x40
00000a1f: DUP5
00000a20: ADD
00000a21: MSTORE
00000a22: PUSH1 0x60
00000a24: DUP4
00000a25: ADD
00000a26: MSTORE
00000a27: PUSH1 0x80
00000a29: DUP3
00000a2a: ADD
00000a2b: MSTORE
00000a2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a41: PUSH1 0xa4
00000a43: CALLDATALOAD
00000a44: AND
00000a45: SWAP2
00000a46: PUSH32 0xa4946ede45d0c6f06a0f5ce92c9ad3b4751452d2fe0e25010783bcab57a67e41
00000a67: PUSH1 0xa0
00000a69: CALLER
00000a6a: SWAP4
00000a6b: LOG4
00000a6c: PUSH2 0x0a90
00000a6f: DUP6
00000a70: CALLER
00000a71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a86: PUSH1 0x20
00000a88: DUP11
00000a89: ADD
00000a8a: MLOAD
00000a8b: AND
00000a8c: PUSH2 0x394a
00000a8f: JUMP
00000a90: JUMPDEST
00000a91: DUP2
00000a92: PUSH2 0x0acc
00000a95: JUMPI
00000a96: JUMPDEST
00000a97: POP
00000a98: POP
00000a99: POP
00000a9a: PUSH2 0x0ac0
00000a9d: DUP2
00000a9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ab3: PUSH1 0x40
00000ab5: SWAP6
00000ab6: MLOAD
00000ab7: AND
00000ab8: ADDRESS
00000ab9: SWAP1
00000aba: CALLER
00000abb: SWAP1
00000abc: PUSH2 0x3ab9
00000abf: JUMP
00000ac0: JUMPDEST
00000ac1: DUP3
00000ac2: MLOAD
00000ac3: SWAP2
00000ac4: DUP3
00000ac5: MSTORE
00000ac6: PUSH1 0x20
00000ac8: DUP3
00000ac9: ADD
00000aca: MSTORE
00000acb: RETURN
00000acc: JUMPDEST
00000acd: CALLER
00000ace: EXTCODESIZE
00000acf: ISZERO
00000ad0: PUSH2 0x04d2
00000ad3: JUMPI
00000ad4: PUSH2 0x0b0e
00000ad7: SWAP2
00000ad8: DUP4
00000ad9: SWAP2
00000ada: PUSH1 0x40
00000adc: MLOAD
00000add: SWAP4
00000ade: DUP5
00000adf: SWAP3
00000ae0: DUP4
00000ae1: SWAP3
00000ae2: PUSH32 0xcf7ea19600000000000000000000000000000000000000000000000000000000
00000b03: DUP5
00000b04: MSTORE
00000b05: DUP9
00000b06: PUSH1 0x04
00000b08: DUP6
00000b09: ADD
00000b0a: PUSH2 0x319c
00000b0d: JUMP
00000b0e: JUMPDEST
00000b0f: SUB
00000b10: DUP2
00000b11: DUP4
00000b12: CALLER
00000b13: GAS
00000b14: CALL
00000b15: DUP1
00000b16: ISZERO
00000b17: PUSH2 0x04d6
00000b1a: JUMPI
00000b1b: PUSH2 0x0b25
00000b1e: JUMPI
00000b1f: JUMPDEST
00000b20: DUP1
00000b21: PUSH2 0x0a96
00000b24: JUMP
00000b25: JUMPDEST
00000b26: PUSH2 0x0b2f
00000b29: DUP3
00000b2a: SWAP2
00000b2b: PUSH2 0x2cc3
00000b2e: JUMP
00000b2f: JUMPDEST
00000b30: PUSH2 0x01b8
00000b33: JUMPI
00000b34: DUP1
00000b35: PUSH2 0x0b1f
00000b38: JUMP
00000b39: JUMPDEST
00000b3a: SWAP2
00000b3b: POP
00000b3c: POP
00000b3d: DUP3
00000b3e: DUP7
00000b3f: MSTORE
00000b40: PUSH1 0x02
00000b42: PUSH1 0x20
00000b44: MSTORE
00000b45: PUSH1 0x40
00000b47: DUP7
00000b48: KECCAK256
00000b49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b5e: PUSH1 0xa4
00000b60: CALLDATALOAD
00000b61: AND
00000b62: PUSH1 0x00
00000b64: MSTORE
00000b65: PUSH1 0x20
00000b67: MSTORE
00000b68: PUSH16 0xffffffffffffffffffffffffffffffff
00000b79: PUSH1 0x01
00000b7b: PUSH1 0x40
00000b7d: PUSH1 0x00
00000b7f: KECCAK256
00000b80: ADD
00000b81: SLOAD
00000b82: AND
00000b83: SWAP1
00000b84: DUP4
00000b85: DUP8
00000b86: MSTORE
00000b87: PUSH1 0x03
00000b89: PUSH1 0x20
00000b8b: MSTORE
00000b8c: PUSH1 0x01
00000b8e: PUSH1 0x40
00000b90: DUP9
00000b91: KECCAK256
00000b92: ADD
00000b93: SLOAD
00000b94: PUSH2 0x0bb4
00000b97: PUSH16 0xffffffffffffffffffffffffffffffff
00000ba8: DUP3
00000ba9: AND
00000baa: SWAP2
00000bab: PUSH1 0x80
00000bad: SHR
00000bae: DUP3
00000baf: DUP6
00000bb0: PUSH2 0x3c55
00000bb3: JUMP
00000bb4: JUMPDEST
00000bb5: DUP2
00000bb6: DUP2
00000bb7: LT
00000bb8: SWAP1
00000bb9: DUP3
00000bba: XOR
00000bbb: MUL
00000bbc: XOR
00000bbd: SWAP1
00000bbe: PUSH2 0x0bc6
00000bc1: DUP3
00000bc2: PUSH2 0x3c78
00000bc5: JUMP
00000bc6: JUMPDEST
00000bc7: DUP6
00000bc8: DUP10
00000bc9: MSTORE
00000bca: PUSH1 0x03
00000bcc: PUSH1 0x20
00000bce: MSTORE
00000bcf: PUSH1 0x01
00000bd1: PUSH1 0x40
00000bd3: DUP11
00000bd4: KECCAK256
00000bd5: ADD
00000bd6: SWAP1
00000bd7: DUP3
00000bd8: PUSH16 0xffffffffffffffffffffffffffffffff
00000be9: PUSH2 0x0bf6
00000bec: DUP5
00000bed: SLOAD
00000bee: SWAP4
00000bef: DUP3
00000bf0: DUP6
00000bf1: AND
00000bf2: PUSH2 0x322e
00000bf5: JUMP
00000bf6: JUMPDEST
00000bf7: AND
00000bf8: SWAP2
00000bf9: AND
00000bfa: OR
00000bfb: SWAP1
00000bfc: SSTORE
00000bfd: PUSH2 0x0c05
00000c00: DUP3
00000c01: PUSH2 0x3c78
00000c04: JUMP
00000c05: JUMPDEST
00000c06: DUP6
00000c07: DUP10
00000c08: MSTORE
00000c09: PUSH1 0x03
00000c0b: PUSH1 0x20
00000c0d: MSTORE
00000c0e: PUSH1 0x40
00000c10: DUP10
00000c11: KECCAK256
00000c12: SWAP1
00000c13: DUP3
00000c14: PUSH16 0xffffffffffffffffffffffffffffffff
00000c25: PUSH2 0x0c32
00000c28: DUP5
00000c29: SLOAD
00000c2a: SWAP4
00000c2b: DUP3
00000c2c: DUP6
00000c2d: AND
00000c2e: PUSH2 0x322e
00000c31: JUMP
00000c32: JUMPDEST
00000c33: AND
00000c34: SWAP2
00000c35: AND
00000c36: OR
00000c37: SWAP1
00000c38: SSTORE
00000c39: PUSH2 0x0c61
00000c3c: PUSH2 0x0c44
00000c3f: DUP5
00000c40: PUSH2 0x3c78
00000c43: JUMP
00000c44: JUMPDEST
00000c45: DUP7
00000c46: DUP11
00000c47: MSTORE
00000c48: PUSH1 0x03
00000c4a: PUSH1 0x20
00000c4c: MSTORE
00000c4d: PUSH2 0x08e6
00000c50: PUSH1 0x01
00000c52: PUSH1 0x40
00000c54: DUP13
00000c55: KECCAK256
00000c56: ADD
00000c57: SWAP2
00000c58: DUP3
00000c59: SLOAD
00000c5a: PUSH1 0x80
00000c5c: SHR
00000c5d: PUSH2 0x322e
00000c60: JUMP
00000c61: JUMPDEST
00000c62: DUP5
00000c63: DUP9
00000c64: MSTORE
00000c65: PUSH1 0x02
00000c67: PUSH1 0x20
00000c69: MSTORE
00000c6a: PUSH1 0x40
00000c6c: DUP9
00000c6d: KECCAK256
00000c6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c83: PUSH1 0xa4
00000c85: CALLDATALOAD
00000c86: AND
00000c87: PUSH1 0x00
00000c89: MSTORE
00000c8a: PUSH1 0x20
00000c8c: MSTORE
00000c8d: PUSH1 0x01
00000c8f: PUSH1 0x40
00000c91: PUSH1 0x00
00000c93: KECCAK256
00000c94: ADD
00000c95: SWAP1
00000c96: DUP2
00000c97: SLOAD
00000c98: AND
00000c99: SWAP1
00000c9a: SSTORE
00000c9b: CODESIZE
00000c9c: PUSH2 0x0a0e
00000c9f: JUMP
00000ca0: JUMPDEST
00000ca1: PUSH1 0x24
00000ca3: DUP7
00000ca4: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000cc5: DUP2
00000cc6: MSTORE
00000cc7: PUSH1 0x11
00000cc9: PUSH1 0x04
00000ccb: MSTORE
00000ccc: REVERT
00000ccd: JUMPDEST
00000cce: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000cef: PUSH1 0x00
00000cf1: MSTORE
00000cf2: PUSH1 0x11
00000cf4: PUSH1 0x04
00000cf6: MSTORE
00000cf7: PUSH1 0x24
00000cf9: PUSH1 0x00
00000cfb: REVERT
00000cfc: JUMPDEST
00000cfd: SWAP6
00000cfe: SWAP7
00000cff: POP
00000d00: SWAP1
00000d01: PUSH2 0x0d78
00000d04: PUSH8 0x0de0b6b3a7640000
00000d0d: SWAP2
00000d0e: DUP9
00000d0f: DUP8
00000d10: MSTORE
00000d11: PUSH1 0x03
00000d13: PUSH1 0x20
00000d15: MSTORE
00000d16: PUSH2 0x0d73
00000d19: PUSH1 0x01
00000d1b: PUSH1 0x40
00000d1d: DUP10
00000d1e: KECCAK256
00000d1f: ADD
00000d20: SLOAD
00000d21: SWAP2
00000d22: PUSH8 0x0ff59ee833b30000
00000d2b: SWAP1
00000d2c: DUP2
00000d2d: DUP2
00000d2e: PUSH15 0xc097ce7bc90715b34b9f1000000000
00000d3e: DIV
00000d3f: LT
00000d40: SWAP1
00000d41: PUSH15 0xc097ce7bc90715b34b9f1000000000
00000d51: DIV
00000d52: DUP3
00000d53: XOR
00000d54: MUL
00000d55: XOR
00000d56: SWAP2
00000d57: PUSH16 0xffffffffffffffffffffffffffffffff
00000d68: DUP2
00000d69: PUSH1 0x80
00000d6b: SHR
00000d6c: SWAP2
00000d6d: AND
00000d6e: DUP11
00000d6f: PUSH2 0x3c0d
00000d72: JUMP
00000d73: JUMPDEST
00000d74: PUSH2 0x383b
00000d77: JUMP
00000d78: JUMPDEST
00000d79: DIV
00000d7a: DUP1
00000d7b: PUSH15 0xc097ce7bc90715b34b9f1000000000
00000d8b: DUP2
00000d8c: MUL
00000d8d: DIV
00000d8e: PUSH15 0xc097ce7bc90715b34b9f1000000000
00000d9e: EQ
00000d9f: DUP2
00000da0: ISZERO
00000da1: OR
00000da2: ISZERO
00000da3: PUSH2 0x0dc7
00000da6: JUMPI
00000da7: SWAP1
00000da8: PUSH15 0xc097ce7bc90715b34b9f1000000000
00000db8: PUSH2 0x0dc1
00000dbb: SWAP3
00000dbc: MUL
00000dbd: PUSH2 0x384e
00000dc0: JUMP
00000dc1: JUMPDEST
00000dc2: SWAP5
00000dc3: PUSH2 0x0809
00000dc6: JUMP
00000dc7: JUMPDEST
00000dc8: PUSH1 0x24
00000dca: DUP6
00000dcb: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000dec: DUP2
00000ded: MSTORE
00000dee: PUSH1 0x11
00000df0: PUSH1 0x04
00000df2: MSTORE
00000df3: REVERT
00000df4: JUMPDEST
00000df5: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000e16: PUSH1 0x00
00000e18: MSTORE
00000e19: PUSH1 0x12
00000e1b: PUSH1 0x04
00000e1d: MSTORE
00000e1e: PUSH1 0x24
00000e20: PUSH1 0x00
00000e22: REVERT
00000e23: JUMPDEST
00000e24: PUSH1 0x24
00000e26: DUP8
00000e27: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000e48: DUP2
00000e49: MSTORE
00000e4a: PUSH1 0x11
00000e4c: PUSH1 0x04
00000e4e: MSTORE
00000e4f: REVERT
00000e50: JUMPDEST
00000e51: SWAP1
00000e52: POP
00000e53: PUSH1 0x20
00000e55: DUP2
00000e56: RETURNDATASIZE
00000e57: PUSH1 0x20
00000e59: GT
00000e5a: PUSH2 0x0e7a
00000e5d: JUMPI
00000e5e: JUMPDEST
00000e5f: DUP2
00000e60: PUSH2 0x0e6b
00000e63: PUSH1 0x20
00000e65: SWAP4
00000e66: DUP4
00000e67: PUSH2 0x2d0f
00000e6a: JUMP
00000e6b: JUMPDEST
00000e6c: DUP2
00000e6d: ADD
00000e6e: SUB
00000e6f: SLT
00000e70: PUSH2 0x02c8
00000e73: JUMPI
00000e74: MLOAD
00000e75: CODESIZE
00000e76: PUSH2 0x0617
00000e79: JUMP
00000e7a: JUMPDEST
00000e7b: RETURNDATASIZE
00000e7c: SWAP2
00000e7d: POP
00000e7e: PUSH2 0x0e5e
00000e81: JUMP
00000e82: JUMPDEST
00000e83: PUSH1 0x40
00000e85: MLOAD
00000e86: RETURNDATASIZE
00000e87: DUP8
00000e88: DUP3
00000e89: RETURNDATACOPY
00000e8a: RETURNDATASIZE
00000e8b: SWAP1
00000e8c: REVERT
00000e8d: JUMPDEST
00000e8e: POP
00000e8f: CALLVALUE
00000e90: PUSH2 0x01b8
00000e93: JUMPI
00000e94: PUSH1 0x20
00000e96: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000eb7: CALLDATASIZE
00000eb8: ADD
00000eb9: SLT
00000eba: PUSH2 0x01b8
00000ebd: JUMPI
00000ebe: PUSH1 0xff
00000ec0: PUSH1 0x40
00000ec2: PUSH1 0x20
00000ec4: SWAP3
00000ec5: PUSH1 0x04
00000ec7: CALLDATALOAD
00000ec8: DUP2
00000ec9: MSTORE
00000eca: PUSH1 0x05
00000ecc: DUP5
00000ecd: MSTORE
00000ece: KECCAK256
00000ecf: SLOAD
00000ed0: AND
00000ed1: PUSH1 0x40
00000ed3: MLOAD
00000ed4: SWAP1
00000ed5: ISZERO
00000ed6: ISZERO
00000ed7: DUP2
00000ed8: MSTORE
00000ed9: RETURN
00000eda: JUMPDEST
00000edb: POP
00000edc: CALLVALUE
00000edd: PUSH2 0x01b8
00000ee0: JUMPI
00000ee1: PUSH2 0x0ee9
00000ee4: CALLDATASIZE
00000ee5: PUSH2 0x2e16
00000ee8: JUMP
00000ee9: JUMPDEST
00000eea: DUP5
00000eeb: SWAP7
00000eec: SWAP2
00000eed: SWAP6
00000eee: SWAP3
00000eef: SWAP7
00000ef0: SWAP6
00000ef1: DUP5
00000ef2: PUSH1 0xa0
00000ef4: DUP6
00000ef5: KECCAK256
00000ef6: DUP1
00000ef7: DUP6
00000ef8: MSTORE
00000ef9: PUSH1 0x20
00000efb: SWAP7
00000efc: PUSH1 0x03
00000efe: DUP9
00000eff: MSTORE
00000f00: PUSH16 0xffffffffffffffffffffffffffffffff
00000f11: SWAP9
00000f12: PUSH2 0x0f28
00000f15: DUP11
00000f16: PUSH1 0x02
00000f18: PUSH1 0x40
00000f1a: DUP11
00000f1b: KECCAK256
00000f1c: ADD
00000f1d: SLOAD
00000f1e: AND
00000f1f: ISZERO
00000f20: ISZERO
00000f21: PUSH2 0x0249
00000f24: PUSH2 0x3016
00000f27: JUMP
00000f28: JUMPDEST
00000f29: ISZERO
00000f2a: SWAP3
00000f2b: PUSH2 0x0f3e
00000f2e: PUSH2 0x0f35
00000f31: PUSH2 0x30f9
00000f34: JUMP
00000f35: JUMPDEST
00000f36: DUP3
00000f37: ISZERO
00000f38: DUP7
00000f39: XOR
00000f3a: PUSH2 0x2f41
00000f3d: JUMP
00000f3e: JUMPDEST
00000f3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f54: DUP1
00000f55: SWAP13
00000f56: AND
00000f57: SWAP4
00000f58: PUSH2 0x0f62
00000f5b: PUSH2 0x0417
00000f5e: PUSH2 0x3132
00000f61: JUMP
00000f62: JUMPDEST
00000f63: PUSH2 0x0f6c
00000f66: DUP5
00000f67: DUP11
00000f68: PUSH2 0x336e
00000f6b: JUMP
00000f6c: JUMPDEST
00000f6d: PUSH2 0x10e7
00000f70: JUMPI
00000f71: POP
00000f72: POP
00000f73: DUP1
00000f74: DUP6
00000f75: MSTORE
00000f76: PUSH1 0x03
00000f78: DUP8
00000f79: MSTORE
00000f7a: PUSH2 0x0f8e
00000f7d: PUSH1 0x40
00000f7f: DUP7
00000f80: KECCAK256
00000f81: SLOAD
00000f82: DUP10
00000f83: DUP2
00000f84: PUSH1 0x80
00000f86: SHR
00000f87: SWAP2
00000f88: AND
00000f89: DUP12
00000f8a: PUSH2 0x3be8
00000f8d: JUMP
00000f8e: JUMPDEST
00000f8f: SWAP8
00000f90: JUMPDEST
00000f91: DUP2
00000f92: DUP7
00000f93: MSTORE
00000f94: PUSH1 0x02
00000f96: DUP9
00000f97: MSTORE
00000f98: PUSH1 0x40
00000f9a: DUP7
00000f9b: KECCAK256
00000f9c: DUP4
00000f9d: PUSH1 0x00
00000f9f: MSTORE
00000fa0: DUP9
00000fa1: MSTORE
00000fa2: PUSH1 0x40
00000fa4: PUSH1 0x00
00000fa6: KECCAK256
00000fa7: PUSH2 0x0fb1
00000faa: DUP11
00000fab: DUP3
00000fac: SLOAD
00000fad: PUSH2 0x316b
00000fb0: JUMP
00000fb1: JUMPDEST
00000fb2: SWAP1
00000fb3: SSTORE
00000fb4: PUSH2 0x0fd8
00000fb7: PUSH2 0x0fbf
00000fba: DUP11
00000fbb: PUSH2 0x3c78
00000fbe: JUMP
00000fbf: JUMPDEST
00000fc0: DUP4
00000fc1: DUP9
00000fc2: MSTORE
00000fc3: PUSH1 0x03
00000fc5: DUP11
00000fc6: MSTORE
00000fc7: PUSH2 0x08e6
00000fca: PUSH1 0x40
00000fcc: DUP10
00000fcd: KECCAK256
00000fce: SWAP2
00000fcf: DUP3
00000fd0: SLOAD
00000fd1: PUSH1 0x80
00000fd3: SHR
00000fd4: PUSH2 0x3178
00000fd7: JUMP
00000fd8: JUMPDEST
00000fd9: PUSH2 0x0fe1
00000fdc: DUP11
00000fdd: PUSH2 0x3c78
00000fe0: JUMP
00000fe1: JUMPDEST
00000fe2: DUP3
00000fe3: DUP8
00000fe4: MSTORE
00000fe5: PUSH1 0x03
00000fe7: DUP10
00000fe8: MSTORE
00000fe9: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
0000100a: PUSH1 0x40
0000100c: DUP9
0000100d: KECCAK256
0000100e: SWAP3
0000100f: PUSH2 0x101c
00001012: DUP5
00001013: SLOAD
00001014: SWAP4
00001015: DUP3
00001016: DUP6
00001017: AND
00001018: PUSH2 0x3178
0000101b: JUMP
0000101c: JUMPDEST
0000101d: AND
0000101e: SWAP2
0000101f: AND
00001020: OR
00001021: SWAP1
00001022: SSTORE
00001023: PUSH1 0x40
00001025: MLOAD
00001026: SWAP1
00001027: DUP10
00001028: DUP3
00001029: MSTORE
0000102a: DUP9
0000102b: DUP9
0000102c: DUP4
0000102d: ADD
0000102e: MSTORE
0000102f: PUSH32 0xedf8870433c83823eb071d3df1caa8d008f12f6440918c20d75a3602cda30fe0
00001050: PUSH1 0x40
00001052: CALLER
00001053: SWAP4
00001054: LOG4
00001055: DUP2
00001056: PUSH2 0x107a
00001059: JUMPI
0000105a: JUMPDEST
0000105b: POP
0000105c: POP
0000105d: POP
0000105e: DUP4
0000105f: PUSH1 0x40
00001061: SWAP6
00001062: PUSH2 0x1070
00001065: SWAP3
00001066: MLOAD
00001067: AND
00001068: ADDRESS
00001069: SWAP1
0000106a: CALLER
0000106b: SWAP1
0000106c: PUSH2 0x3ab9
0000106f: JUMP
00001070: JUMPDEST
00001071: DUP4
00001072: MLOAD
00001073: SWAP3
00001074: DUP4
00001075: MSTORE
00001076: DUP3
00001077: ADD
00001078: MSTORE
00001079: RETURN
0000107a: JUMPDEST
0000107b: CALLER
0000107c: EXTCODESIZE
0000107d: ISZERO
0000107e: PUSH2 0x04d2
00001081: JUMPI
00001082: PUSH2 0x10bc
00001085: SWAP2
00001086: DUP4
00001087: SWAP2
00001088: PUSH1 0x40
0000108a: MLOAD
0000108b: SWAP4
0000108c: DUP5
0000108d: SWAP3
0000108e: DUP4
0000108f: SWAP3
00001090: PUSH32 0x2075be0300000000000000000000000000000000000000000000000000000000
000010b1: DUP5
000010b2: MSTORE
000010b3: DUP12
000010b4: PUSH1 0x04
000010b6: DUP6
000010b7: ADD
000010b8: PUSH2 0x319c
000010bb: JUMP
000010bc: JUMPDEST
000010bd: SUB
000010be: DUP2
000010bf: DUP4
000010c0: CALLER
000010c1: GAS
000010c2: CALL
000010c3: DUP1
000010c4: ISZERO
000010c5: PUSH2 0x04d6
000010c8: JUMPI
000010c9: PUSH2 0x10d3
000010cc: JUMPI
000010cd: JUMPDEST
000010ce: DUP1
000010cf: PUSH2 0x105a
000010d2: JUMP
000010d3: JUMPDEST
000010d4: PUSH2 0x10dd
000010d7: DUP3
000010d8: SWAP2
000010d9: PUSH2 0x2cc3
000010dc: JUMP
000010dd: JUMPDEST
000010de: PUSH2 0x01b8
000010e1: JUMPI
000010e2: DUP1
000010e3: PUSH2 0x10cd
000010e6: JUMP
000010e7: JUMPDEST
000010e8: PUSH2 0x1108
000010eb: SWAP2
000010ec: SWAP10
000010ed: SWAP11
000010ee: POP
000010ef: DUP3
000010f0: DUP8
000010f1: MSTORE
000010f2: PUSH1 0x03
000010f4: DUP10
000010f5: MSTORE
000010f6: PUSH1 0x40
000010f8: DUP8
000010f9: KECCAK256
000010fa: SLOAD
000010fb: SWAP1
000010fc: DUP12
000010fd: DUP3
000010fe: PUSH1 0x80
00001100: SHR
00001101: SWAP3
00001102: AND
00001103: SWAP1
00001104: PUSH2 0x3c55
00001107: JUMP
00001108: JUMPDEST
00001109: SWAP9
0000110a: PUSH2 0x0f90
0000110d: JUMP
0000110e: JUMPDEST
0000110f: POP
00001110: CALLVALUE
00001111: PUSH2 0x01b8
00001114: JUMPI
00001115: PUSH1 0x40
00001117: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001138: CALLDATASIZE
00001139: ADD
0000113a: SLT
0000113b: PUSH2 0x01b8
0000113e: JUMPI
0000113f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001154: PUSH1 0x40
00001156: PUSH2 0x115d
00001159: PUSH2 0x2ca0
0000115c: JUMP
0000115d: JUMPDEST
0000115e: SWAP3
0000115f: PUSH1 0x04
00001161: CALLDATALOAD
00001162: DUP2
00001163: MSTORE
00001164: PUSH1 0x02
00001166: PUSH1 0x20
00001168: MSTORE
00001169: KECCAK256
0000116a: SWAP2
0000116b: AND
0000116c: PUSH1 0x00
0000116e: MSTORE
0000116f: PUSH1 0x20
00001171: MSTORE
00001172: PUSH1 0x60
00001174: PUSH1 0x40
00001176: PUSH1 0x00
00001178: KECCAK256
00001179: PUSH1 0x01
0000117b: DUP2
0000117c: SLOAD
0000117d: SWAP2
0000117e: ADD
0000117f: SLOAD
00001180: PUSH1 0x40
00001182: MLOAD
00001183: SWAP2
00001184: DUP3
00001185: MSTORE
00001186: PUSH16 0xffffffffffffffffffffffffffffffff
00001197: DUP2
00001198: AND
00001199: PUSH1 0x20
0000119b: DUP4
0000119c: ADD
0000119d: MSTORE
0000119e: PUSH1 0x80
000011a0: SHR
000011a1: PUSH1 0x40
000011a3: DUP3
000011a4: ADD
000011a5: MSTORE
000011a6: RETURN
000011a7: JUMPDEST
000011a8: POP
000011a9: CALLVALUE
000011aa: PUSH2 0x01b8
000011ad: JUMPI
000011ae: DUP1
000011af: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000011d0: CALLDATASIZE
000011d1: ADD
000011d2: SLT
000011d3: PUSH2 0x01b8
000011d6: JUMPI
000011d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011ec: PUSH1 0x20
000011ee: SWAP2
000011ef: SLOAD
000011f0: AND
000011f1: PUSH1 0x40
000011f3: MLOAD
000011f4: SWAP1
000011f5: DUP2
000011f6: MSTORE
000011f7: RETURN
000011f8: JUMPDEST
000011f9: POP
000011fa: CALLVALUE
000011fb: PUSH2 0x01b8
000011fe: JUMPI
000011ff: PUSH1 0xa0
00001201: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001222: CALLDATASIZE
00001223: ADD
00001224: SLT
00001225: PUSH2 0x01b8
00001228: JUMPI
00001229: PUSH2 0x1231
0000122c: CALLDATASIZE
0000122d: PUSH2 0x2d50
00001230: JUMP
00001231: JUMPDEST
00001232: PUSH1 0xa0
00001234: DUP2
00001235: KECCAK256
00001236: SWAP1
00001237: PUSH1 0x60
00001239: DUP2
0000123a: ADD
0000123b: SWAP2
0000123c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001251: DUP1
00001252: DUP5
00001253: MLOAD
00001254: AND
00001255: DUP6
00001256: MSTORE
00001257: PUSH1 0x20
00001259: SWAP4
0000125a: PUSH1 0x04
0000125c: DUP6
0000125d: MSTORE
0000125e: PUSH2 0x12a3
00001261: PUSH1 0xff
00001263: PUSH1 0x40
00001265: DUP9
00001266: KECCAK256
00001267: SLOAD
00001268: AND
00001269: PUSH1 0x40
0000126b: MLOAD
0000126c: SWAP1
0000126d: PUSH2 0x1275
00001270: DUP3
00001271: PUSH2 0x2cf3
00001274: JUMP
00001275: JUMPDEST
00001276: PUSH1 0x0f
00001278: DUP3
00001279: MSTORE
0000127a: PUSH32 0x49524d206e6f7420656e61626c65640000000000000000000000000000000000
0000129b: DUP9
0000129c: DUP4
0000129d: ADD
0000129e: MSTORE
0000129f: PUSH2 0x2f41
000012a2: JUMP
000012a3: JUMPDEST
000012a4: PUSH1 0x80
000012a6: DUP5
000012a7: ADD
000012a8: DUP1
000012a9: MLOAD
000012aa: DUP8
000012ab: MSTORE
000012ac: PUSH1 0x05
000012ae: DUP7
000012af: MSTORE
000012b0: PUSH2 0x12f5
000012b3: PUSH1 0xff
000012b5: PUSH1 0x40
000012b7: DUP10
000012b8: KECCAK256
000012b9: SLOAD
000012ba: AND
000012bb: PUSH1 0x40
000012bd: MLOAD
000012be: SWAP1
000012bf: PUSH2 0x12c7
000012c2: DUP3
000012c3: PUSH2 0x2cf3
000012c6: JUMP
000012c7: JUMPDEST
000012c8: PUSH1 0x10
000012ca: DUP3
000012cb: MSTORE
000012cc: PUSH32 0x4c4c5456206e6f7420656e61626c656400000000000000000000000000000000
000012ed: DUP10
000012ee: DUP4
000012ef: ADD
000012f0: MSTORE
000012f1: PUSH2 0x2f41
000012f4: JUMP
000012f5: JUMPDEST
000012f6: DUP4
000012f7: DUP8
000012f8: MSTORE
000012f9: PUSH1 0x03
000012fb: DUP7
000012fc: MSTORE
000012fd: PUSH16 0xffffffffffffffffffffffffffffffff
0000130e: PUSH2 0x1356
00001311: DUP2
00001312: PUSH1 0x02
00001314: PUSH1 0x40
00001316: DUP12
00001317: KECCAK256
00001318: ADD
00001319: SLOAD
0000131a: AND
0000131b: ISZERO
0000131c: PUSH1 0x40
0000131e: MLOAD
0000131f: SWAP1
00001320: PUSH2 0x1328
00001323: DUP3
00001324: PUSH2 0x2cf3
00001327: JUMP
00001328: JUMPDEST
00001329: PUSH1 0x16
0000132b: DUP3
0000132c: MSTORE
0000132d: PUSH32 0x6d61726b657420616c7265616479206372656174656400000000000000000000
0000134e: DUP11
0000134f: DUP4
00001350: ADD
00001351: MSTORE
00001352: PUSH2 0x2f41
00001355: JUMP
00001356: JUMPDEST
00001357: DUP5
00001358: DUP9
00001359: MSTORE
0000135a: PUSH1 0x03
0000135c: DUP8
0000135d: MSTORE
0000135e: PUSH1 0x02
00001360: PUSH1 0x40
00001362: DUP10
00001363: KECCAK256
00001364: ADD
00001365: SWAP1
00001366: TIMESTAMP
00001367: AND
00001368: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
00001389: DUP3
0000138a: SLOAD
0000138b: AND
0000138c: OR
0000138d: SWAP1
0000138e: SSTORE
0000138f: PUSH1 0x08
00001391: DUP7
00001392: MSTORE
00001393: PUSH1 0x04
00001395: PUSH1 0x40
00001397: DUP9
00001398: KECCAK256
00001399: SWAP2
0000139a: DUP5
0000139b: DUP8
0000139c: MLOAD
0000139d: AND
0000139e: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000013bf: SWAP1
000013c0: DUP2
000013c1: DUP6
000013c2: SLOAD
000013c3: AND
000013c4: OR
000013c5: DUP5
000013c6: SSTORE
000013c7: PUSH1 0x01
000013c9: DUP5
000013ca: ADD
000013cb: DUP7
000013cc: DUP11
000013cd: DUP11
000013ce: ADD
000013cf: MLOAD
000013d0: AND
000013d1: DUP3
000013d2: DUP3
000013d3: SLOAD
000013d4: AND
000013d5: OR
000013d6: SWAP1
000013d7: SSTORE
000013d8: PUSH1 0x02
000013da: DUP5
000013db: ADD
000013dc: DUP7
000013dd: PUSH1 0x40
000013df: DUP11
000013e0: ADD
000013e1: MLOAD
000013e2: AND
000013e3: DUP3
000013e4: DUP3
000013e5: SLOAD
000013e6: AND
000013e7: OR
000013e8: SWAP1
000013e9: SSTORE
000013ea: PUSH1 0x03
000013ec: DUP5
000013ed: ADD
000013ee: SWAP1
000013ef: DUP7
000013f0: DUP7
000013f1: MLOAD
000013f2: AND
000013f3: SWAP1
000013f4: DUP3
000013f5: SLOAD
000013f6: AND
000013f7: OR
000013f8: SWAP1
000013f9: SSTORE
000013fa: MLOAD
000013fb: SWAP2
000013fc: ADD
000013fd: SSTORE
000013fe: DUP3
000013ff: PUSH32 0xac4b2400f169220b0c0afdde7a0b32e775ba727ea1cb30b35f935cdaab8683ac
00001420: PUSH1 0xa0
00001422: PUSH1 0x40
00001424: MLOAD
00001425: PUSH2 0x1472
00001428: DUP2
00001429: DUP10
0000142a: PUSH1 0x80
0000142c: DUP1
0000142d: SWAP2
0000142e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001443: DUP1
00001444: DUP3
00001445: MLOAD
00001446: AND
00001447: DUP6
00001448: MSTORE
00001449: DUP1
0000144a: PUSH1 0x20
0000144c: DUP4
0000144d: ADD
0000144e: MLOAD
0000144f: AND
00001450: PUSH1 0x20
00001452: DUP7
00001453: ADD
00001454: MSTORE
00001455: DUP1
00001456: PUSH1 0x40
00001458: DUP4
00001459: ADD
0000145a: MLOAD
0000145b: AND
0000145c: PUSH1 0x40
0000145e: DUP7
0000145f: ADD
00001460: MSTORE
00001461: PUSH1 0x60
00001463: DUP3
00001464: ADD
00001465: MLOAD
00001466: AND
00001467: PUSH1 0x60
00001469: DUP6
0000146a: ADD
0000146b: MSTORE
0000146c: ADD
0000146d: MLOAD
0000146e: SWAP2
0000146f: ADD
00001470: MSTORE
00001471: JUMP
00001472: JUMPDEST
00001473: LOG2
00001474: MLOAD
00001475: AND
00001476: SWAP2
00001477: DUP3
00001478: PUSH2 0x147f
0000147b: JUMPI
0000147c: DUP5
0000147d: DUP1
0000147e: RETURN
0000147f: JUMPDEST
00001480: PUSH2 0x14c6
00001483: SWAP3
00001484: DUP5
00001485: SWAP3
00001486: DUP7
00001487: MSTORE
00001488: PUSH1 0x03
0000148a: DUP4
0000148b: MSTORE
0000148c: PUSH1 0x40
0000148e: DUP7
0000148f: KECCAK256
00001490: SWAP2
00001491: DUP7
00001492: PUSH1 0x40
00001494: MLOAD
00001495: DUP1
00001496: SWAP7
00001497: DUP2
00001498: SWAP6
00001499: DUP3
0000149a: SWAP5
0000149b: PUSH32 0x9451fed400000000000000000000000000000000000000000000000000000000
000014bc: DUP5
000014bd: MSTORE
000014be: PUSH1 0x04
000014c0: DUP5
000014c1: ADD
000014c2: PUSH2 0x304f
000014c5: JUMP
000014c6: JUMPDEST
000014c7: SUB
000014c8: SWAP3
000014c9: GAS
000014ca: CALL
000014cb: DUP1
000014cc: ISZERO
000014cd: PUSH2 0x1504
000014d0: JUMPI
000014d1: PUSH2 0x14db
000014d4: JUMPI
000014d5: JUMPDEST
000014d6: DUP1
000014d7: DUP1
000014d8: DUP5
000014d9: DUP1
000014da: RETURN
000014db: JUMPDEST
000014dc: DUP2
000014dd: RETURNDATASIZE
000014de: DUP4
000014df: GT
000014e0: PUSH2 0x14fd
000014e3: JUMPI
000014e4: JUMPDEST
000014e5: PUSH2 0x14ee
000014e8: DUP2
000014e9: DUP4
000014ea: PUSH2 0x2d0f
000014ed: JUMP
000014ee: JUMPDEST
000014ef: DUP2
000014f0: ADD
000014f1: SUB
000014f2: SLT
000014f3: PUSH2 0x02c8
000014f6: JUMPI
000014f7: CODESIZE
000014f8: DUP1
000014f9: PUSH2 0x14d5
000014fc: JUMP
000014fd: JUMPDEST
000014fe: POP
000014ff: RETURNDATASIZE
00001500: PUSH2 0x14e4
00001503: JUMP
00001504: JUMPDEST
00001505: PUSH1 0x40
00001507: MLOAD
00001508: RETURNDATASIZE
00001509: DUP6
0000150a: DUP3
0000150b: RETURNDATACOPY
0000150c: RETURNDATASIZE
0000150d: SWAP1
0000150e: REVERT
0000150f: JUMPDEST
00001510: POP
00001511: CALLVALUE
00001512: PUSH2 0x01b8
00001515: JUMPI
00001516: PUSH2 0x0100
00001519: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000153a: CALLDATASIZE
0000153b: ADD
0000153c: SLT
0000153d: PUSH2 0x01b8
00001540: JUMPI
00001541: PUSH2 0x1549
00001544: CALLDATASIZE
00001545: PUSH2 0x2d50
00001548: JUMP
00001549: JUMPDEST
0000154a: PUSH1 0xa4
0000154c: CALLDATALOAD
0000154d: PUSH2 0x1554
00001550: PUSH2 0x2c7d
00001553: JUMP
00001554: JUMPDEST
00001555: PUSH1 0xe4
00001557: CALLDATALOAD
00001558: SWAP1
00001559: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000156e: SWAP1
0000156f: DUP2
00001570: DUP4
00001571: AND
00001572: SWAP5
00001573: DUP6
00001574: DUP5
00001575: SUB
00001576: PUSH2 0x02c8
00001579: JUMPI
0000157a: PUSH2 0x04bb
0000157d: SWAP6
0000157e: DUP8
0000157f: PUSH1 0x20
00001581: SWAP4
00001582: PUSH2 0x1645
00001585: PUSH2 0x163d
00001588: PUSH1 0xa0
0000158a: DUP7
0000158b: KECCAK256
0000158c: SWAP3
0000158d: DUP4
0000158e: DUP6
0000158f: MSTORE
00001590: PUSH1 0x03
00001592: DUP9
00001593: MSTORE
00001594: PUSH2 0x15ba
00001597: PUSH16 0xffffffffffffffffffffffffffffffff
000015a8: PUSH1 0x02
000015aa: PUSH1 0x40
000015ac: DUP9
000015ad: KECCAK256
000015ae: ADD
000015af: SLOAD
000015b0: AND
000015b1: ISZERO
000015b2: ISZERO
000015b3: PUSH2 0x0249
000015b6: PUSH2 0x3016
000015b9: JUMP
000015ba: JUMPDEST
000015bb: PUSH2 0x15cd
000015be: PUSH2 0x15c5
000015c1: PUSH2 0x32c2
000015c4: JUMP
000015c5: JUMPDEST
000015c6: DUP13
000015c7: ISZERO
000015c8: ISZERO
000015c9: PUSH2 0x2f41
000015cc: JUMP
000015cd: JUMPDEST
000015ce: PUSH2 0x15e0
000015d1: PUSH2 0x15d8
000015d4: PUSH2 0x3132
000015d7: JUMP
000015d8: JUMPDEST
000015d9: DUP8
000015da: ISZERO
000015db: ISZERO
000015dc: PUSH2 0x2f41
000015df: JUMP
000015e0: JUMPDEST
000015e1: PUSH2 0x15f4
000015e4: PUSH2 0x15ec
000015e7: DUP3
000015e8: PUSH2 0x3328
000015eb: JUMP
000015ec: JUMPDEST
000015ed: PUSH2 0x0249
000015f0: PUSH2 0x31e8
000015f3: JUMP
000015f4: JUMPDEST
000015f5: PUSH2 0x15fe
000015f8: DUP5
000015f9: DUP9
000015fa: PUSH2 0x336e
000015fd: JUMP
000015fe: JUMPDEST
000015ff: PUSH2 0x1636
00001602: PUSH1 0x40
00001604: PUSH2 0x160c
00001607: DUP14
00001608: PUSH2 0x3c78
0000160b: JUMP
0000160c: JUMPDEST
0000160d: SWAP7
0000160e: DUP7
0000160f: DUP2
00001610: MSTORE
00001611: PUSH1 0x02
00001613: DUP12
00001614: MSTORE
00001615: KECCAK256
00001616: SWAP6
00001617: DUP11
00001618: DUP4
00001619: AND
0000161a: SWAP7
0000161b: DUP8
0000161c: PUSH1 0x00
0000161e: MSTORE
0000161f: DUP11
00001620: MSTORE
00001621: PUSH2 0x08e6
00001624: PUSH1 0x01
00001626: PUSH1 0x40
00001628: PUSH1 0x00
0000162a: KECCAK256
0000162b: ADD
0000162c: SWAP2
0000162d: DUP3
0000162e: SLOAD
0000162f: PUSH1 0x80
00001631: SHR
00001632: PUSH2 0x322e
00001635: JUMP
00001636: JUMPDEST
00001637: DUP4
00001638: DUP8
00001639: PUSH2 0x367c
0000163c: JUMP
0000163d: JUMPDEST
0000163e: PUSH2 0x0249
00001641: PUSH2 0x3289
00001644: JUMP
00001645: JUMPDEST
00001646: PUSH1 0x40
00001648: DUP1
00001649: MLOAD
0000164a: CALLER
0000164b: DUP2
0000164c: MSTORE
0000164d: PUSH1 0x20
0000164f: DUP2
00001650: ADD
00001651: DUP11
00001652: SWAP1
00001653: MSTORE
00001654: PUSH32 0xe80ebd7cc9223d7382aab2e0d1d6155c65651f83d53c8b9b06901d167e321142
00001675: SWAP2
00001676: SWAP1
00001677: LOG4
00001678: ADD
00001679: MLOAD
0000167a: AND
0000167b: PUSH2 0x394a
0000167e: JUMP
0000167f: JUMPDEST
00001680: POP
00001681: CALLVALUE
00001682: PUSH2 0x01b8
00001685: JUMPI
00001686: PUSH2 0x0100
00001689: CALLDATASIZE
0000168a: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000016ab: ADD
000016ac: DUP2
000016ad: DUP2
000016ae: SLT
000016af: PUSH2 0x04d2
000016b2: JUMPI
000016b3: PUSH1 0xa0
000016b5: SGT
000016b6: PUSH2 0x04e1
000016b9: JUMPI
000016ba: PUSH1 0x40
000016bc: MLOAD
000016bd: PUSH2 0x16c5
000016c0: DUP2
000016c1: PUSH2 0x2cd7
000016c4: JUMP
000016c5: JUMPDEST
000016c6: PUSH2 0x16cd
000016c9: PUSH2 0x2c5a
000016cc: JUMP
000016cd: JUMPDEST
000016ce: DUP2
000016cf: MSTORE
000016d0: PUSH2 0x16d7
000016d3: PUSH2 0x2ca0
000016d6: JUMP
000016d7: JUMPDEST
000016d8: SWAP1
000016d9: PUSH1 0x20
000016db: SWAP1
000016dc: DUP2
000016dd: DUP2
000016de: ADD
000016df: SWAP3
000016e0: DUP4
000016e1: MSTORE
000016e2: PUSH1 0x44
000016e4: CALLDATALOAD
000016e5: SWAP4
000016e6: DUP5
000016e7: ISZERO
000016e8: ISZERO
000016e9: DUP6
000016ea: SUB
000016eb: PUSH2 0x02c8
000016ee: JUMPI
000016ef: PUSH1 0x40
000016f1: DUP3
000016f2: ADD
000016f3: SWAP5
000016f4: DUP6
000016f5: MSTORE
000016f6: PUSH1 0x60
000016f8: DUP3
000016f9: ADD
000016fa: PUSH1 0x64
000016fc: CALLDATALOAD
000016fd: DUP2
000016fe: MSTORE
000016ff: PUSH1 0x84
00001701: CALLDATALOAD
00001702: PUSH1 0x80
00001704: DUP5
00001705: ADD
00001706: SWAP1
00001707: DUP1
00001708: DUP3
00001709: MSTORE
0000170a: PUSH1 0x60
0000170c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff5c
0000172d: CALLDATASIZE
0000172e: ADD
0000172f: SLT
00001730: PUSH2 0x1a64
00001733: JUMPI
00001734: PUSH1 0x40
00001736: MLOAD
00001737: PUSH2 0x1774
0000173a: SWAP2
0000173b: PUSH2 0x1743
0000173e: DUP3
0000173f: PUSH2 0x2cf3
00001742: JUMP
00001743: JUMPDEST
00001744: PUSH1 0x11
00001746: DUP3
00001747: MSTORE
00001748: PUSH32 0x7369676e61747572652065787069726564000000000000000000000000000000
00001769: DUP9
0000176a: DUP4
0000176b: ADD
0000176c: MSTORE
0000176d: TIMESTAMP
0000176e: GT
0000176f: ISZERO
00001770: PUSH2 0x2f41
00001773: JUMP
00001774: JUMPDEST
00001775: DUP2
00001776: MLOAD
00001777: SWAP3
00001778: PUSH2 0x17e8
0000177b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001790: SWAP5
00001791: DUP6
00001792: DUP8
00001793: MLOAD
00001794: AND
00001795: DUP12
00001796: MSTORE
00001797: PUSH1 0x07
00001799: DUP9
0000179a: MSTORE
0000179b: PUSH1 0x40
0000179d: DUP12
0000179e: KECCAK256
0000179f: DUP1
000017a0: SLOAD
000017a1: SWAP1
000017a2: PUSH2 0x17aa
000017a5: DUP3
000017a6: PUSH2 0x32fb
000017a9: JUMP
000017aa: JUMPDEST
000017ab: SWAP1
000017ac: SSTORE
000017ad: PUSH1 0x40
000017af: MLOAD
000017b0: SWAP2
000017b1: PUSH2 0x17b9
000017b4: DUP4
000017b5: PUSH2 0x2cf3
000017b8: JUMP
000017b9: JUMPDEST
000017ba: PUSH1 0x0d
000017bc: DUP4
000017bd: MSTORE
000017be: PUSH32 0x696e76616c6964206e6f6e636500000000000000000000000000000000000000
000017df: DUP11
000017e0: DUP5
000017e1: ADD
000017e2: MSTORE
000017e3: EQ
000017e4: PUSH2 0x2f41
000017e7: JUMP
000017e8: JUMPDEST
000017e9: PUSH1 0x40
000017eb: MLOAD
000017ec: SWAP2
000017ed: DUP7
000017ee: DUP4
000017ef: ADD
000017f0: SWAP1
000017f1: PUSH32 0x81d0284fb0e2cde18d0553b06189d6f7613c96a01bb5b5e7828eade6a0dcac91
00001812: DUP3
00001813: MSTORE
00001814: DUP6
00001815: DUP8
00001816: MLOAD
00001817: AND
00001818: PUSH1 0x40
0000181a: DUP6
0000181b: ADD
0000181c: MSTORE
0000181d: DUP6
0000181e: DUP10
0000181f: MLOAD
00001820: AND
00001821: PUSH1 0x60
00001823: DUP6
00001824: ADD
00001825: MSTORE
00001826: DUP10
00001827: MLOAD
00001828: ISZERO
00001829: ISZERO
0000182a: PUSH1 0x80
0000182c: DUP6
0000182d: ADD
0000182e: MSTORE
0000182f: DUP5
00001830: MLOAD
00001831: PUSH1 0xa0
00001833: DUP6
00001834: ADD
00001835: MSTORE
00001836: MLOAD
00001837: PUSH1 0xc0
00001839: DUP5
0000183a: ADD
0000183b: MSTORE
0000183c: PUSH1 0xc0
0000183e: DUP4
0000183f: MSTORE
00001840: PUSH1 0xe0
00001842: DUP4
00001843: ADD
00001844: SWAP2
00001845: PUSH8 0xffffffffffffffff
0000184e: SWAP2
0000184f: DUP5
00001850: DUP5
00001851: LT
00001852: DUP4
00001853: DUP6
00001854: GT
00001855: OR
00001856: PUSH2 0x1a35
00001859: JUMPI
0000185a: DUP4
0000185b: PUSH1 0x40
0000185d: MSTORE
0000185e: DUP5
0000185f: MLOAD
00001860: SWAP1
00001861: KECCAK256
00001862: SWAP1
00001863: DUP5
00001864: ADD
00001865: SWAP1
00001866: PUSH32 0x1901000000000000000000000000000000000000000000000000000000000000
00001887: DUP3
00001888: MSTORE
00001889: PUSH32 0xec6ac4ec6469375712b671d38548b711c7a4a17b4db99be41e0eb9f28cafdd2d
000018aa: PUSH2 0x0102
000018ad: DUP7
000018ae: ADD
000018af: MSTORE
000018b0: PUSH2 0x0122
000018b3: DUP6
000018b4: ADD
000018b5: MSTORE
000018b6: PUSH1 0x42
000018b8: DUP4
000018b9: MSTORE
000018ba: PUSH2 0x0160
000018bd: DUP5
000018be: ADD
000018bf: SWAP2
000018c0: DUP4
000018c1: DUP4
000018c2: LT
000018c3: SWAP1
000018c4: DUP4
000018c5: GT
000018c6: OR
000018c7: PUSH2 0x1a35
000018ca: JUMPI
000018cb: DUP11
000018cc: SWAP3
000018cd: DUP3
000018ce: PUSH1 0x40
000018d0: MSTORE
000018d1: MLOAD
000018d2: SWAP1
000018d3: KECCAK256
000018d4: SWAP1
000018d5: PUSH1 0xa4
000018d7: CALLDATALOAD
000018d8: SWAP4
000018d9: PUSH1 0xff
000018db: DUP6
000018dc: AND
000018dd: DUP1
000018de: SWAP6
000018df: SUB
000018e0: PUSH2 0x1a31
000018e3: JUMPI
000018e4: DUP9
000018e5: SWAP5
000018e6: PUSH1 0x80
000018e8: SWAP4
000018e9: DUP4
000018ea: MSTORE
000018eb: PUSH2 0x0180
000018ee: DUP3
000018ef: ADD
000018f0: MSTORE
000018f1: PUSH1 0xc4
000018f3: CALLDATALOAD
000018f4: PUSH2 0x01a0
000018f7: DUP3
000018f8: ADD
000018f9: MSTORE
000018fa: PUSH2 0x01c0
000018fd: PUSH1 0xe4
000018ff: CALLDATALOAD
00001900: SWAP2
00001901: ADD
00001902: MSTORE
00001903: DUP3
00001904: DUP1
00001905: MSTORE
00001906: PUSH1 0x01
00001908: GAS
00001909: STATICCALL
0000190a: ISZERO
0000190b: PUSH2 0x1a26
0000190e: JUMPI
0000190f: PUSH32 0xd5e969f01efe921d3f766bdebad25f0a05e3f237311f56482bf132d0326309c0
00001930: SWAP3
00001931: DUP3
00001932: SWAP2
00001933: PUSH2 0x197f
00001936: DUP4
00001937: DUP11
00001938: MLOAD
00001939: AND
0000193a: DUP1
0000193b: ISZERO
0000193c: ISZERO
0000193d: SWAP1
0000193e: DUP2
0000193f: PUSH2 0x1a19
00001942: JUMPI
00001943: JUMPDEST
00001944: POP
00001945: PUSH1 0x40
00001947: MLOAD
00001948: SWAP1
00001949: PUSH2 0x1951
0000194c: DUP3
0000194d: PUSH2 0x2cf3
00001950: JUMP
00001951: JUMPDEST
00001952: PUSH1 0x11
00001954: DUP3
00001955: MSTORE
00001956: PUSH32 0x696e76616c6964207369676e6174757265000000000000000000000000000000
00001977: DUP10
00001978: DUP4
00001979: ADD
0000197a: MSTORE
0000197b: PUSH2 0x2f41
0000197e: JUMP
0000197f: JUMPDEST
00001980: DUP3
00001981: DUP3
00001982: MLOAD
00001983: AND
00001984: SWAP1
00001985: MLOAD
00001986: PUSH1 0x40
00001988: MLOAD
00001989: SWAP1
0000198a: DUP2
0000198b: MSTORE
0000198c: PUSH32 0xa58af1a0c70dba0c7aa60d1a1a147ebd61000d1690a968828ac718bca927f2c7
000019ad: DUP8
000019ae: CALLER
000019af: SWAP3
000019b0: LOG3
000019b1: PUSH2 0x1a03
000019b4: DUP8
000019b5: MLOAD
000019b6: ISZERO
000019b7: ISZERO
000019b8: DUP4
000019b9: DUP4
000019ba: MLOAD
000019bb: AND
000019bc: DUP11
000019bd: MSTORE
000019be: PUSH1 0x06
000019c0: DUP8
000019c1: MSTORE
000019c2: PUSH1 0x40
000019c4: DUP11
000019c5: KECCAK256
000019c6: DUP5
000019c7: DUP10
000019c8: MLOAD
000019c9: AND
000019ca: PUSH1 0x00
000019cc: MSTORE
000019cd: DUP8
000019ce: MSTORE
000019cf: PUSH1 0x40
000019d1: PUSH1 0x00
000019d3: KECCAK256
000019d4: SWAP1
000019d5: PUSH1 0xff
000019d7: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000019f8: DUP4
000019f9: SLOAD
000019fa: AND
000019fb: SWAP2
000019fc: ISZERO
000019fd: ISZERO
000019fe: AND
000019ff: OR
00001a00: SWAP1
00001a01: SSTORE
00001a02: JUMP
00001a03: JUMPDEST
00001a04: MLOAD
00001a05: AND
00001a06: SWAP4
00001a07: MLOAD
00001a08: AND
00001a09: SWAP4
00001a0a: MLOAD
00001a0b: ISZERO
00001a0c: ISZERO
00001a0d: SWAP2
00001a0e: PUSH1 0x40
00001a10: MLOAD
00001a11: SWAP3
00001a12: DUP4
00001a13: MSTORE
00001a14: CALLER
00001a15: SWAP3
00001a16: LOG4
00001a17: DUP1
00001a18: RETURN
00001a19: JUMPDEST
00001a1a: SWAP1
00001a1b: POP
00001a1c: DUP5
00001a1d: DUP5
00001a1e: MLOAD
00001a1f: AND
00001a20: EQ
00001a21: CODESIZE
00001a22: PUSH2 0x1943
00001a25: JUMP
00001a26: JUMPDEST
00001a27: PUSH1 0x40
00001a29: MLOAD
00001a2a: RETURNDATASIZE
00001a2b: DUP9
00001a2c: DUP3
00001a2d: RETURNDATACOPY
00001a2e: RETURNDATASIZE
00001a2f: SWAP1
00001a30: REVERT
00001a31: JUMPDEST
00001a32: DUP4
00001a33: DUP1
00001a34: REVERT
00001a35: JUMPDEST
00001a36: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001a57: PUSH1 0x00
00001a59: MSTORE
00001a5a: PUSH1 0x41
00001a5c: PUSH1 0x04
00001a5e: MSTORE
00001a5f: PUSH1 0x24
00001a61: PUSH1 0x00
00001a63: REVERT
00001a64: JUMPDEST
00001a65: DUP9
00001a66: DUP1
00001a67: REVERT
00001a68: JUMPDEST
00001a69: POP
00001a6a: CALLVALUE
00001a6b: PUSH2 0x01b8
00001a6e: JUMPI
00001a6f: PUSH1 0x20
00001a71: DUP1
00001a72: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001a93: CALLDATASIZE
00001a94: ADD
00001a95: SLT
00001a96: PUSH2 0x04e1
00001a99: JUMPI
00001a9a: PUSH1 0x04
00001a9c: CALLDATALOAD
00001a9d: SWAP1
00001a9e: PUSH8 0xffffffffffffffff
00001aa7: SWAP1
00001aa8: DUP2
00001aa9: DUP4
00001aaa: GT
00001aab: PUSH2 0x1a31
00001aae: JUMPI
00001aaf: CALLDATASIZE
00001ab0: PUSH1 0x23
00001ab2: DUP5
00001ab3: ADD
00001ab4: SLT
00001ab5: ISZERO
00001ab6: PUSH2 0x1a31
00001ab9: JUMPI
00001aba: DUP3
00001abb: PUSH1 0x04
00001abd: ADD
00001abe: CALLDATALOAD
00001abf: SWAP2
00001ac0: DUP3
00001ac1: GT
00001ac2: PUSH2 0x1a31
00001ac5: JUMPI
00001ac6: PUSH1 0x24
00001ac8: SWAP2
00001ac9: PUSH1 0x05
00001acb: SWAP1
00001acc: CALLDATASIZE
00001acd: DUP5
00001ace: DUP3
00001acf: DUP5
00001ad0: SHL
00001ad1: DUP8
00001ad2: ADD
00001ad3: ADD
00001ad4: GT
00001ad5: PUSH2 0x1bd0
00001ad8: JUMPI
00001ad9: DUP5
00001ada: SWAP2
00001adb: DUP2
00001adc: PUSH2 0x1ae5
00001adf: DUP9
00001ae0: SWAP4
00001ae1: PUSH2 0x3823
00001ae4: JUMP
00001ae5: JUMPDEST
00001ae6: SWAP6
00001ae7: PUSH2 0x1af3
00001aea: PUSH1 0x40
00001aec: MLOAD
00001aed: SWAP8
00001aee: DUP9
00001aef: PUSH2 0x2d0f
00001af2: JUMP
00001af3: JUMPDEST
00001af4: DUP2
00001af5: DUP8
00001af6: MSTORE
00001af7: PUSH2 0x1aff
00001afa: DUP3
00001afb: PUSH2 0x3823
00001afe: JUMP
00001aff: JUMPDEST
00001b00: SWAP5
00001b01: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001b22: DUP8
00001b23: DUP10
00001b24: ADD
00001b25: SWAP7
00001b26: ADD
00001b27: CALLDATASIZE
00001b28: DUP8
00001b29: CALLDATACOPY
00001b2a: DUP5
00001b2b: JUMPDEST
00001b2c: DUP4
00001b2d: DUP2
00001b2e: LT
00001b2f: PUSH2 0x1b75
00001b32: JUMPI
00001b33: POP
00001b34: POP
00001b35: POP
00001b36: POP
00001b37: POP
00001b38: PUSH1 0x40
00001b3a: MLOAD
00001b3b: SWAP4
00001b3c: DUP4
00001b3d: DUP6
00001b3e: SWAP5
00001b3f: DUP6
00001b40: ADD
00001b41: SWAP2
00001b42: DUP2
00001b43: DUP7
00001b44: MSTORE
00001b45: MLOAD
00001b46: DUP1
00001b47: SWAP3
00001b48: MSTORE
00001b49: PUSH1 0x40
00001b4b: DUP6
00001b4c: ADD
00001b4d: SWAP4
00001b4e: SWAP3
00001b4f: JUMPDEST
00001b50: DUP3
00001b51: DUP2
00001b52: LT
00001b53: PUSH2 0x1b5e
00001b56: JUMPI
00001b57: POP
00001b58: POP
00001b59: POP
00001b5a: POP
00001b5b: SUB
00001b5c: SWAP1
00001b5d: RETURN
00001b5e: JUMPDEST
00001b5f: DUP4
00001b60: MLOAD
00001b61: DUP6
00001b62: MSTORE
00001b63: DUP7
00001b64: SWAP6
00001b65: POP
00001b66: SWAP4
00001b67: DUP2
00001b68: ADD
00001b69: SWAP4
00001b6a: SWAP3
00001b6b: DUP2
00001b6c: ADD
00001b6d: SWAP3
00001b6e: PUSH1 0x01
00001b70: ADD
00001b71: PUSH2 0x1b4f
00001b74: JUMP
00001b75: JUMPDEST
00001b76: SWAP5
00001b77: SWAP8
00001b78: SWAP6
00001b79: SWAP7
00001b7a: SWAP5
00001b7b: PUSH2 0x1b83
00001b7e: DUP2
00001b7f: PUSH2 0x32fb
00001b82: JUMP
00001b83: JUMPDEST
00001b84: SWAP1
00001b85: DUP5
00001b86: DUP2
00001b87: LT
00001b88: ISZERO
00001b89: PUSH2 0x1ba4
00001b8c: JUMPI
00001b8d: DUP6
00001b8e: SHL
00001b8f: DUP3
00001b90: ADD
00001b91: DUP4
00001b92: ADD
00001b93: CALLDATALOAD
00001b94: SLOAD
00001b95: DUP2
00001b96: DUP7
00001b97: SHL
00001b98: DUP9
00001b99: ADD
00001b9a: MSTORE
00001b9b: SWAP6
00001b9c: SWAP8
00001b9d: SWAP5
00001b9e: SWAP7
00001b9f: SWAP6
00001ba0: PUSH2 0x1b2b
00001ba3: JUMP
00001ba4: JUMPDEST
00001ba5: DUP4
00001ba6: DUP11
00001ba7: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001bc8: DUP2
00001bc9: MSTORE
00001bca: PUSH1 0x32
00001bcc: PUSH1 0x04
00001bce: MSTORE
00001bcf: REVERT
00001bd0: JUMPDEST
00001bd1: DUP6
00001bd2: DUP1
00001bd3: REVERT
00001bd4: JUMPDEST
00001bd5: POP
00001bd6: CALLVALUE
00001bd7: PUSH2 0x01b8
00001bda: JUMPI
00001bdb: PUSH1 0x20
00001bdd: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001bfe: CALLDATASIZE
00001bff: ADD
00001c00: SLT
00001c01: PUSH2 0x01b8
00001c04: JUMPI
00001c05: PUSH1 0x40
00001c07: PUSH1 0x20
00001c09: SWAP2
00001c0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c1f: PUSH2 0x1c26
00001c22: PUSH2 0x2c5a
00001c25: JUMP
00001c26: JUMPDEST
00001c27: AND
00001c28: DUP2
00001c29: MSTORE
00001c2a: PUSH1 0x07
00001c2c: DUP4
00001c2d: MSTORE
00001c2e: KECCAK256
00001c2f: SLOAD
00001c30: PUSH1 0x40
00001c32: MLOAD
00001c33: SWAP1
00001c34: DUP2
00001c35: MSTORE
00001c36: RETURN
00001c37: JUMPDEST
00001c38: POP
00001c39: CALLVALUE
00001c3a: PUSH2 0x01b8
00001c3d: JUMPI
00001c3e: PUSH1 0x40
00001c40: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001c61: CALLDATASIZE
00001c62: ADD
00001c63: SLT
00001c64: PUSH2 0x01b8
00001c67: JUMPI
00001c68: PUSH2 0x1c6f
00001c6b: PUSH2 0x2c5a
00001c6e: JUMP
00001c6f: JUMPDEST
00001c70: PUSH1 0x40
00001c72: PUSH2 0x1c79
00001c75: PUSH2 0x2ca0
00001c78: JUMP
00001c79: JUMPDEST
00001c7a: SWAP3
00001c7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c90: DUP1
00001c91: SWAP4
00001c92: AND
00001c93: DUP2
00001c94: MSTORE
00001c95: PUSH1 0x06
00001c97: PUSH1 0x20
00001c99: MSTORE
00001c9a: KECCAK256
00001c9b: SWAP2
00001c9c: AND
00001c9d: PUSH1 0x00
00001c9f: MSTORE
00001ca0: PUSH1 0x20
00001ca2: MSTORE
00001ca3: PUSH1 0x20
00001ca5: PUSH1 0xff
00001ca7: PUSH1 0x40
00001ca9: PUSH1 0x00
00001cab: KECCAK256
00001cac: SLOAD
00001cad: AND
00001cae: PUSH1 0x40
00001cb0: MLOAD
00001cb1: SWAP1
00001cb2: ISZERO
00001cb3: ISZERO
00001cb4: DUP2
00001cb5: MSTORE
00001cb6: RETURN
00001cb7: JUMPDEST
00001cb8: POP
00001cb9: CALLVALUE
00001cba: PUSH2 0x01b8
00001cbd: JUMPI
00001cbe: PUSH1 0x20
00001cc0: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001ce1: CALLDATASIZE
00001ce2: ADD
00001ce3: SLT
00001ce4: PUSH2 0x01b8
00001ce7: JUMPI
00001ce8: PUSH1 0x40
00001cea: PUSH1 0xc0
00001cec: SWAP2
00001ced: PUSH1 0x04
00001cef: CALLDATALOAD
00001cf0: DUP2
00001cf1: MSTORE
00001cf2: PUSH1 0x03
00001cf4: PUSH1 0x20
00001cf6: MSTORE
00001cf7: KECCAK256
00001cf8: DUP1
00001cf9: SLOAD
00001cfa: PUSH1 0x02
00001cfc: PUSH1 0x01
00001cfe: DUP4
00001cff: ADD
00001d00: SLOAD
00001d01: SWAP3
00001d02: ADD
00001d03: SLOAD
00001d04: SWAP1
00001d05: PUSH1 0x40
00001d07: MLOAD
00001d08: SWAP3
00001d09: PUSH16 0xffffffffffffffffffffffffffffffff
00001d1a: SWAP2
00001d1b: DUP3
00001d1c: DUP2
00001d1d: AND
00001d1e: DUP6
00001d1f: MSTORE
00001d20: PUSH1 0x80
00001d22: SHR
00001d23: PUSH1 0x20
00001d25: DUP6
00001d26: ADD
00001d27: MSTORE
00001d28: DUP2
00001d29: DUP2
00001d2a: AND
00001d2b: PUSH1 0x40
00001d2d: DUP6
00001d2e: ADD
00001d2f: MSTORE
00001d30: PUSH1 0x80
00001d32: SHR
00001d33: PUSH1 0x60
00001d35: DUP5
00001d36: ADD
00001d37: MSTORE
00001d38: DUP2
00001d39: AND
00001d3a: PUSH1 0x80
00001d3c: DUP4
00001d3d: ADD
00001d3e: MSTORE
00001d3f: PUSH1 0x80
00001d41: SHR
00001d42: PUSH1 0xa0
00001d44: DUP3
00001d45: ADD
00001d46: MSTORE
00001d47: RETURN
00001d48: JUMPDEST
00001d49: POP
00001d4a: CALLVALUE
00001d4b: PUSH2 0x01b8
00001d4e: JUMPI
00001d4f: PUSH1 0x40
00001d51: SWAP1
00001d52: PUSH2 0x1d5a
00001d55: CALLDATASIZE
00001d56: PUSH2 0x2e98
00001d59: JUMP
00001d5a: JUMPDEST
00001d5b: SWAP3
00001d5c: SWAP5
00001d5d: SWAP4
00001d5e: SWAP2
00001d5f: SWAP1
00001d60: DUP6
00001d61: DUP3
00001d62: PUSH1 0xa0
00001d64: DUP6
00001d65: KECCAK256
00001d66: SWAP2
00001d67: DUP3
00001d68: DUP9
00001d69: MSTORE
00001d6a: PUSH1 0x03
00001d6c: PUSH1 0x20
00001d6e: MSTORE
00001d6f: PUSH2 0x1d94
00001d72: PUSH16 0xffffffffffffffffffffffffffffffff
00001d83: PUSH1 0x02
00001d85: DUP13
00001d86: DUP12
00001d87: KECCAK256
00001d88: ADD
00001d89: SLOAD
00001d8a: AND
00001d8b: ISZERO
00001d8c: ISZERO
00001d8d: PUSH2 0x0249
00001d90: PUSH2 0x3016
00001d93: JUMP
00001d94: JUMPDEST
00001d95: ISZERO
00001d96: SWAP4
00001d97: PUSH2 0x1daa
00001d9a: PUSH2 0x1da1
00001d9d: PUSH2 0x30f9
00001da0: JUMP
00001da1: JUMPDEST
00001da2: DUP3
00001da3: ISZERO
00001da4: DUP8
00001da5: XOR
00001da6: PUSH2 0x2f41
00001da9: JUMP
00001daa: JUMPDEST
00001dab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dc0: DUP8
00001dc1: AND
00001dc2: SWAP5
00001dc3: PUSH2 0x1dcd
00001dc6: PUSH2 0x15d8
00001dc9: PUSH2 0x3132
00001dcc: JUMP
00001dcd: JUMPDEST
00001dce: PUSH2 0x1dd9
00001dd1: PUSH2 0x15ec
00001dd4: DUP7
00001dd5: PUSH2 0x3328
00001dd8: JUMP
00001dd9: JUMPDEST
00001dda: PUSH2 0x1de3
00001ddd: DUP5
00001dde: DUP9
00001ddf: PUSH2 0x336e
00001de2: JUMP
00001de3: JUMPDEST
00001de4: PUSH2 0x1f4e
00001de7: JUMPI
00001de8: POP
00001de9: POP
00001dea: SWAP3
00001deb: PUSH2 0x0ac0
00001dee: SWAP5
00001def: SWAP3
00001df0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e05: SWAP3
00001e06: DUP6
00001e07: DUP10
00001e08: SWAP7
00001e09: DUP10
00001e0a: MSTORE
00001e0b: PUSH1 0x03
00001e0d: PUSH1 0x20
00001e0f: MSTORE
00001e10: PUSH2 0x1f0e
00001e13: DUP12
00001e14: PUSH2 0x1e37
00001e17: DUP2
00001e18: DUP13
00001e19: KECCAK256
00001e1a: SLOAD
00001e1b: PUSH16 0xffffffffffffffffffffffffffffffff
00001e2c: DUP2
00001e2d: PUSH1 0x80
00001e2f: SHR
00001e30: SWAP2
00001e31: AND
00001e32: DUP12
00001e33: PUSH2 0x3c33
00001e36: JUMP
00001e37: JUMPDEST
00001e38: SWAP11
00001e39: JUMPDEST
00001e3a: DUP4
00001e3b: DUP2
00001e3c: MSTORE
00001e3d: PUSH1 0x02
00001e3f: PUSH1 0x20
00001e41: MSTORE
00001e42: DUP8
00001e43: DUP3
00001e44: DUP3
00001e45: KECCAK256
00001e46: SWAP6
00001e47: AND
00001e48: SWAP5
00001e49: DUP6
00001e4a: PUSH1 0x00
00001e4c: MSTORE
00001e4d: PUSH1 0x20
00001e4f: MSTORE
00001e50: DUP2
00001e51: PUSH1 0x00
00001e53: KECCAK256
00001e54: PUSH2 0x1e5e
00001e57: DUP14
00001e58: DUP3
00001e59: SLOAD
00001e5a: PUSH2 0x3221
00001e5d: JUMP
00001e5e: JUMPDEST
00001e5f: SWAP1
00001e60: SSTORE
00001e61: PUSH2 0x1e85
00001e64: PUSH2 0x1e6c
00001e67: DUP14
00001e68: PUSH2 0x3c78
00001e6b: JUMP
00001e6c: JUMPDEST
00001e6d: DUP6
00001e6e: DUP4
00001e6f: MSTORE
00001e70: PUSH1 0x03
00001e72: PUSH1 0x20
00001e74: MSTORE
00001e75: PUSH2 0x08e6
00001e78: DUP5
00001e79: DUP5
00001e7a: KECCAK256
00001e7b: SWAP2
00001e7c: DUP3
00001e7d: SLOAD
00001e7e: PUSH1 0x80
00001e80: SHR
00001e81: PUSH2 0x322e
00001e84: JUMP
00001e85: JUMPDEST
00001e86: PUSH2 0x1e8e
00001e89: DUP11
00001e8a: PUSH2 0x3c78
00001e8d: JUMP
00001e8e: JUMPDEST
00001e8f: DUP5
00001e90: DUP3
00001e91: MSTORE
00001e92: PUSH1 0x03
00001e94: PUSH1 0x20
00001e96: MSTORE
00001e97: DUP3
00001e98: DUP3
00001e99: KECCAK256
00001e9a: SWAP1
00001e9b: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
00001ebc: PUSH16 0xffffffffffffffffffffffffffffffff
00001ecd: PUSH2 0x1eda
00001ed0: DUP5
00001ed1: SLOAD
00001ed2: SWAP4
00001ed3: DUP3
00001ed4: DUP6
00001ed5: AND
00001ed6: PUSH2 0x322e
00001ed9: JUMP
00001eda: JUMPDEST
00001edb: AND
00001edc: SWAP2
00001edd: AND
00001ede: OR
00001edf: SWAP1
00001ee0: SSTORE
00001ee1: DUP4
00001ee2: DUP2
00001ee3: MSTORE
00001ee4: PUSH1 0x03
00001ee6: PUSH1 0x20
00001ee8: MSTORE
00001ee9: KECCAK256
00001eea: PUSH16 0xffffffffffffffffffffffffffffffff
00001efb: DUP1
00001efc: PUSH1 0x01
00001efe: DUP4
00001eff: ADD
00001f00: SLOAD
00001f01: AND
00001f02: SWAP2
00001f03: SLOAD
00001f04: AND
00001f05: LT
00001f06: ISZERO
00001f07: PUSH2 0x0249
00001f0a: PUSH2 0x3250
00001f0d: JUMP
00001f0e: JUMPDEST
00001f0f: DUP11
00001f10: MLOAD
00001f11: CALLER
00001f12: DUP2
00001f13: MSTORE
00001f14: PUSH1 0x20
00001f16: DUP2
00001f17: ADD
00001f18: DUP9
00001f19: SWAP1
00001f1a: MSTORE
00001f1b: PUSH1 0x40
00001f1d: DUP2
00001f1e: ADD
00001f1f: DUP11
00001f20: SWAP1
00001f21: MSTORE
00001f22: PUSH32 0xa56fc0ad5702ec05ce63666221f796fb62437c32db1aa1aa075fc6484cf58fbf
00001f43: SWAP1
00001f44: PUSH1 0x60
00001f46: SWAP1
00001f47: LOG4
00001f48: MLOAD
00001f49: AND
00001f4a: PUSH2 0x394a
00001f4d: JUMP
00001f4e: JUMPDEST
00001f4f: DUP10
00001f50: SWAP9
00001f51: POP
00001f52: SWAP3
00001f53: DUP3
00001f54: PUSH2 0x1f0e
00001f57: PUSH2 0x1fa1
00001f5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f6f: SWAP7
00001f70: DUP12
00001f71: SWAP10
00001f72: SWAP7
00001f73: PUSH2 0x0ac0
00001f76: SWAP12
00001f77: SWAP10
00001f78: SWAP7
00001f79: SWAP13
00001f7a: MSTORE
00001f7b: PUSH1 0x03
00001f7d: PUSH1 0x20
00001f7f: MSTORE
00001f80: DUP13
00001f81: DUP11
00001f82: KECCAK256
00001f83: SLOAD
00001f84: SWAP1
00001f85: PUSH16 0xffffffffffffffffffffffffffffffff
00001f96: DUP3
00001f97: PUSH1 0x80
00001f99: SHR
00001f9a: SWAP3
00001f9b: AND
00001f9c: SWAP1
00001f9d: PUSH2 0x3c0d
00001fa0: JUMP
00001fa1: JUMPDEST
00001fa2: SWAP11
00001fa3: DUP12
00001fa4: SWAP9
00001fa5: PUSH2 0x1e39
00001fa8: JUMP
00001fa9: JUMPDEST
00001faa: POP
00001fab: CALLVALUE
00001fac: PUSH2 0x01b8
00001faf: JUMPI
00001fb0: PUSH1 0x20
00001fb2: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001fd3: CALLDATASIZE
00001fd4: ADD
00001fd5: SLT
00001fd6: PUSH2 0x01b8
00001fd9: JUMPI
00001fda: PUSH2 0x1fe1
00001fdd: PUSH2 0x2c5a
00001fe0: JUMP
00001fe1: JUMPDEST
00001fe2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ff7: SWAP1
00001ff8: PUSH2 0x2008
00001ffb: DUP3
00001ffc: DUP5
00001ffd: SLOAD
00001ffe: AND
00001fff: CALLER
00002000: EQ
00002001: PUSH2 0x0249
00002004: PUSH2 0x2f08
00002007: JUMP
00002008: JUMPDEST
00002009: AND
0000200a: DUP1
0000200b: DUP3
0000200c: MSTORE
0000200d: PUSH1 0x04
0000200f: PUSH1 0x20
00002011: MSTORE
00002012: PUSH2 0x2025
00002015: PUSH1 0xff
00002017: PUSH1 0x40
00002019: DUP5
0000201a: KECCAK256
0000201b: SLOAD
0000201c: AND
0000201d: ISZERO
0000201e: PUSH2 0x0249
00002021: PUSH2 0x2fdd
00002024: JUMP
00002025: JUMPDEST
00002026: DUP1
00002027: DUP3
00002028: MSTORE
00002029: PUSH1 0x04
0000202b: PUSH1 0x20
0000202d: MSTORE
0000202e: PUSH1 0x40
00002030: DUP3
00002031: KECCAK256
00002032: PUSH1 0x01
00002034: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00002055: DUP3
00002056: SLOAD
00002057: AND
00002058: OR
00002059: SWAP1
0000205a: SSTORE
0000205b: PUSH32 0x590e04cdebeccba40f566186b9746ad295a4cd358ea4fefaaea6ce79630d96c0
0000207c: DUP3
0000207d: DUP1
0000207e: LOG2
0000207f: DUP1
00002080: RETURN
00002081: JUMPDEST
00002082: POP
00002083: CALLVALUE
00002084: PUSH2 0x01b8
00002087: JUMPI
00002088: PUSH2 0x2090
0000208b: CALLDATASIZE
0000208c: PUSH2 0x2e98
0000208f: JUMP
00002090: JUMPDEST
00002091: SWAP1
00002092: SWAP3
00002093: SWAP2
00002094: SWAP5
00002095: DUP3
00002096: SWAP5
00002097: DUP7
00002098: SWAP2
00002099: PUSH1 0xa0
0000209b: DUP3
0000209c: KECCAK256
0000209d: SWAP6
0000209e: DUP7
0000209f: DUP3
000020a0: MSTORE
000020a1: PUSH1 0x03
000020a3: SWAP7
000020a4: PUSH1 0x20
000020a6: SWAP7
000020a7: DUP9
000020a8: DUP9
000020a9: MSTORE
000020aa: PUSH16 0xffffffffffffffffffffffffffffffff
000020bb: SWAP1
000020bc: PUSH2 0x20d2
000020bf: DUP3
000020c0: PUSH1 0x02
000020c2: PUSH1 0x40
000020c4: DUP9
000020c5: KECCAK256
000020c6: ADD
000020c7: SLOAD
000020c8: AND
000020c9: ISZERO
000020ca: ISZERO
000020cb: PUSH2 0x0249
000020ce: PUSH2 0x3016
000020d1: JUMP
000020d2: JUMPDEST
000020d3: ISZERO
000020d4: SWAP4
000020d5: PUSH2 0x20e8
000020d8: PUSH2 0x20df
000020db: PUSH2 0x30f9
000020de: JUMP
000020df: JUMPDEST
000020e0: DUP14
000020e1: ISZERO
000020e2: DUP8
000020e3: XOR
000020e4: PUSH2 0x2f41
000020e7: JUMP
000020e8: JUMPDEST
000020e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020fe: SWAP7
000020ff: DUP8
00002100: DUP10
00002101: AND
00002102: SWAP6
00002103: PUSH2 0x2115
00002106: PUSH2 0x210d
00002109: PUSH2 0x3132
0000210c: JUMP
0000210d: JUMPDEST
0000210e: DUP9
0000210f: ISZERO
00002110: ISZERO
00002111: PUSH2 0x2f41
00002114: JUMP
00002115: JUMPDEST
00002116: PUSH2 0x2121
00002119: PUSH2 0x15ec
0000211c: DUP8
0000211d: PUSH2 0x3328
00002120: JUMP
00002121: JUMPDEST
00002122: PUSH2 0x212b
00002125: DUP6
00002126: DUP10
00002127: PUSH2 0x336e
0000212a: JUMP
0000212b: JUMPDEST
0000212c: PUSH2 0x22e6
0000212f: JUMPI
00002130: POP
00002131: DUP11
00002132: SWAP12
00002133: POP
00002134: DUP3
00002135: DUP2
00002136: SWAP12
00002137: SWAP9
00002138: SWAP10
00002139: SWAP11
0000213a: SWAP12
0000213b: MSTORE
0000213c: DUP11
0000213d: DUP11
0000213e: MSTORE
0000213f: PUSH2 0x2156
00002142: PUSH1 0x01
00002144: PUSH1 0x40
00002146: DUP4
00002147: KECCAK256
00002148: ADD
00002149: SLOAD
0000214a: DUP4
0000214b: DUP2
0000214c: PUSH1 0x80
0000214e: SHR
0000214f: SWAP2
00002150: AND
00002151: DUP11
00002152: PUSH2 0x3c33
00002155: JUMP
00002156: JUMPDEST
00002157: SWAP11
00002158: DUP12
00002159: SWAP5
0000215a: JUMPDEST
0000215b: PUSH2 0x2163
0000215e: DUP7
0000215f: PUSH2 0x3c78
00002162: JUMP
00002163: JUMPDEST
00002164: DUP6
00002165: DUP5
00002166: MSTORE
00002167: PUSH1 0x02
00002169: DUP14
0000216a: MSTORE
0000216b: DUP13
0000216c: DUP4
0000216d: PUSH1 0x40
0000216f: DUP7
00002170: KECCAK256
00002171: SWAP9
00002172: DUP13
00002173: DUP6
00002174: AND
00002175: SWAP10
00002176: DUP11
00002177: PUSH1 0x00
00002179: MSTORE
0000217a: DUP4
0000217b: MSTORE
0000217c: PUSH1 0x40
0000217e: PUSH1 0x00
00002180: KECCAK256
00002181: PUSH1 0x01
00002183: ADD
00002184: DUP9
00002185: DUP2
00002186: SLOAD
00002187: SWAP6
00002188: DUP2
00002189: DUP8
0000218a: AND
0000218b: SWAP1
0000218c: PUSH2 0x2194
0000218f: SWAP2
00002190: PUSH2 0x3178
00002193: JUMP
00002194: JUMPDEST
00002195: AND
00002196: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
000021b7: DUP1
000021b8: SWAP7
000021b9: AND
000021ba: OR
000021bb: SWAP1
000021bc: SSTORE
000021bd: PUSH2 0x21c5
000021c0: SWAP1
000021c1: PUSH2 0x3c78
000021c4: JUMP
000021c5: JUMPDEST
000021c6: SWAP2
000021c7: DUP9
000021c8: DUP8
000021c9: MSTORE
000021ca: MSTORE
000021cb: PUSH1 0x40
000021cd: DUP6
000021ce: KECCAK256
000021cf: PUSH1 0x01
000021d1: ADD
000021d2: SWAP1
000021d3: DUP2
000021d4: SLOAD
000021d5: PUSH1 0x80
000021d7: SHR
000021d8: SWAP1
000021d9: PUSH2 0x21e1
000021dc: SWAP2
000021dd: PUSH2 0x3178
000021e0: JUMP
000021e1: JUMPDEST
000021e2: DUP2
000021e3: SLOAD
000021e4: PUSH16 0xffffffffffffffffffffffffffffffff
000021f5: AND
000021f6: PUSH1 0x80
000021f8: SWAP2
000021f9: SWAP1
000021fa: SWAP2
000021fb: SHL
000021fc: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
0000221d: AND
0000221e: OR
0000221f: SWAP1
00002220: SSTORE
00002221: DUP13
00002222: DUP4
00002223: PUSH2 0x222b
00002226: DUP14
00002227: PUSH2 0x3c78
0000222a: JUMP
0000222b: JUMPDEST
0000222c: SWAP2
0000222d: DUP9
0000222e: DUP8
0000222f: MSTORE
00002230: MSTORE
00002231: PUSH1 0x40
00002233: DUP6
00002234: KECCAK256
00002235: PUSH1 0x01
00002237: ADD
00002238: SWAP2
00002239: DUP7
0000223a: DUP4
0000223b: SLOAD
0000223c: SWAP3
0000223d: DUP2
0000223e: DUP5
0000223f: AND
00002240: SWAP1
00002241: PUSH2 0x2249
00002244: SWAP2
00002245: PUSH2 0x3178
00002248: JUMP
00002249: JUMPDEST
0000224a: AND
0000224b: SWAP2
0000224c: AND
0000224d: OR
0000224e: SWAP1
0000224f: SSTORE
00002250: PUSH2 0x225a
00002253: SWAP1
00002254: DUP6
00002255: DUP10
00002256: PUSH2 0x367c
00002259: JUMP
0000225a: JUMPDEST
0000225b: PUSH2 0x2262
0000225e: PUSH2 0x3289
00002261: JUMP
00002262: JUMPDEST
00002263: PUSH2 0x226b
00002266: SWAP2
00002267: PUSH2 0x2f41
0000226a: JUMP
0000226b: JUMPDEST
0000226c: DUP4
0000226d: DUP3
0000226e: MSTORE
0000226f: DUP11
00002270: MSTORE
00002271: PUSH1 0x40
00002273: SWAP1
00002274: KECCAK256
00002275: SWAP1
00002276: DUP1
00002277: PUSH1 0x01
00002279: DUP4
0000227a: ADD
0000227b: SLOAD
0000227c: AND
0000227d: SWAP2
0000227e: SLOAD
0000227f: AND
00002280: LT
00002281: ISZERO
00002282: PUSH2 0x2289
00002285: PUSH2 0x3250
00002288: JUMP
00002289: JUMPDEST
0000228a: PUSH2 0x2292
0000228d: SWAP2
0000228e: PUSH2 0x2f41
00002291: JUMP
00002292: JUMPDEST
00002293: PUSH1 0x40
00002295: DUP1
00002296: MLOAD
00002297: CALLER
00002298: DUP2
00002299: MSTORE
0000229a: PUSH1 0x20
0000229c: DUP2
0000229d: ADD
0000229e: DUP9
0000229f: SWAP1
000022a0: MSTORE
000022a1: SWAP1
000022a2: DUP2
000022a3: ADD
000022a4: DUP11
000022a5: SWAP1
000022a6: MSTORE
000022a7: PUSH32 0x570954540bed6b1304a87dfe815a5eda4a648f7097a16240dcd85c9b5fd42a43
000022c8: SWAP1
000022c9: PUSH1 0x60
000022cb: SWAP1
000022cc: LOG4
000022cd: MLOAD
000022ce: AND
000022cf: SWAP2
000022d0: PUSH2 0x22d8
000022d3: SWAP3
000022d4: PUSH2 0x394a
000022d7: JUMP
000022d8: JUMPDEST
000022d9: PUSH1 0x40
000022db: MLOAD
000022dc: SWAP3
000022dd: DUP4
000022de: MSTORE
000022df: DUP3
000022e0: ADD
000022e1: MSTORE
000022e2: PUSH1 0x40
000022e4: SWAP1
000022e5: RETURN
000022e6: JUMPDEST
000022e7: SWAP11
000022e8: POP
000022e9: PUSH2 0x230d
000022ec: DUP12
000022ed: SWAP5
000022ee: SWAP9
000022ef: SWAP10
000022f0: SWAP11
000022f1: SWAP13
000022f2: DUP5
000022f3: DUP4
000022f4: MSTORE
000022f5: DUP14
000022f6: DUP13
000022f7: MSTORE
000022f8: PUSH1 0x01
000022fa: PUSH1 0x40
000022fc: DUP5
000022fd: KECCAK256
000022fe: ADD
000022ff: SLOAD
00002300: SWAP1
00002301: DUP5
00002302: DUP3
00002303: PUSH1 0x80
00002305: SHR
00002306: SWAP3
00002307: AND
00002308: SWAP1
00002309: PUSH2 0x3c0d
0000230c: JUMP
0000230d: JUMPDEST
0000230e: SWAP12
0000230f: DUP13
00002310: SWAP9
00002311: PUSH2 0x215a
00002314: JUMP
00002315: JUMPDEST
00002316: POP
00002317: CALLVALUE
00002318: PUSH2 0x01b8
0000231b: JUMPI
0000231c: PUSH1 0x20
0000231e: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000233f: CALLDATASIZE
00002340: ADD
00002341: SLT
00002342: PUSH2 0x01b8
00002345: JUMPI
00002346: PUSH32 0x297b80e7a896fad470c630f6575072d609bde997260ff3db851939405ec29139
00002367: PUSH1 0x20
00002369: PUSH1 0x04
0000236b: CALLDATALOAD
0000236c: PUSH2 0x2390
0000236f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002384: DUP6
00002385: SLOAD
00002386: AND
00002387: CALLER
00002388: EQ
00002389: PUSH2 0x0249
0000238c: PUSH2 0x2f08
0000238f: JUMP
00002390: JUMPDEST
00002391: DUP1
00002392: DUP5
00002393: MSTORE
00002394: PUSH1 0x05
00002396: DUP3
00002397: MSTORE
00002398: PUSH2 0x23ab
0000239b: PUSH1 0xff
0000239d: PUSH1 0x40
0000239f: DUP7
000023a0: KECCAK256
000023a1: SLOAD
000023a2: AND
000023a3: ISZERO
000023a4: PUSH2 0x0249
000023a7: PUSH2 0x2fdd
000023aa: JUMP
000023ab: JUMPDEST
000023ac: PUSH2 0x23f3
000023af: PUSH1 0x40
000023b1: MLOAD
000023b2: PUSH2 0x23ba
000023b5: DUP2
000023b6: PUSH2 0x2cf3
000023b9: JUMP
000023ba: JUMPDEST
000023bb: PUSH1 0x11
000023bd: DUP2
000023be: MSTORE
000023bf: PUSH32 0x6d6178204c4c5456206578636565646564000000000000000000000000000000
000023e0: DUP5
000023e1: DUP3
000023e2: ADD
000023e3: MSTORE
000023e4: PUSH8 0x0de0b6b3a7640000
000023ed: DUP4
000023ee: LT
000023ef: PUSH2 0x2f41
000023f2: JUMP
000023f3: JUMPDEST
000023f4: DUP1
000023f5: DUP5
000023f6: MSTORE
000023f7: PUSH1 0x05
000023f9: DUP3
000023fa: MSTORE
000023fb: PUSH1 0x40
000023fd: DUP5
000023fe: KECCAK256
000023ff: PUSH1 0x01
00002401: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00002422: DUP3
00002423: SLOAD
00002424: AND
00002425: OR
00002426: SWAP1
00002427: SSTORE
00002428: PUSH1 0x40
0000242a: MLOAD
0000242b: SWAP1
0000242c: DUP2
0000242d: MSTORE
0000242e: LOG1
0000242f: DUP1
00002430: RETURN
00002431: JUMPDEST
00002432: POP
00002433: CALLVALUE
00002434: PUSH2 0x01b8
00002437: JUMPI
00002438: DUP1
00002439: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000245a: CALLDATASIZE
0000245b: ADD
0000245c: SLT
0000245d: PUSH2 0x01b8
00002460: JUMPI
00002461: PUSH1 0x20
00002463: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002478: PUSH1 0x01
0000247a: SLOAD
0000247b: AND
0000247c: PUSH1 0x40
0000247e: MLOAD
0000247f: SWAP1
00002480: DUP2
00002481: MSTORE
00002482: RETURN
00002483: JUMPDEST
00002484: POP
00002485: CALLVALUE
00002486: PUSH2 0x01b8
00002489: JUMPI
0000248a: DUP1
0000248b: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000024ac: CALLDATASIZE
000024ad: ADD
000024ae: SLT
000024af: PUSH2 0x01b8
000024b2: JUMPI
000024b3: PUSH1 0x20
000024b5: PUSH1 0x40
000024b7: MLOAD
000024b8: PUSH32 0xec6ac4ec6469375712b671d38548b711c7a4a17b4db99be41e0eb9f28cafdd2d
000024d9: DUP2
000024da: MSTORE
000024db: RETURN
000024dc: JUMPDEST
000024dd: POP
000024de: CALLVALUE
000024df: PUSH2 0x01b8
000024e2: JUMPI
000024e3: PUSH1 0x20
000024e5: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00002506: CALLDATASIZE
00002507: ADD
00002508: SLT
00002509: PUSH2 0x01b8
0000250c: JUMPI
0000250d: PUSH1 0x40
0000250f: PUSH1 0xa0
00002511: SWAP2
00002512: PUSH1 0x04
00002514: CALLDATALOAD
00002515: DUP2
00002516: MSTORE
00002517: PUSH1 0x08
00002519: PUSH1 0x20
0000251b: MSTORE
0000251c: KECCAK256
0000251d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002532: DUP1
00002533: DUP3
00002534: SLOAD
00002535: AND
00002536: SWAP2
00002537: DUP2
00002538: PUSH1 0x01
0000253a: DUP3
0000253b: ADD
0000253c: SLOAD
0000253d: AND
0000253e: SWAP2
0000253f: PUSH1 0x04
00002541: DUP2
00002542: PUSH1 0x02
00002544: DUP5
00002545: ADD
00002546: SLOAD
00002547: AND
00002548: SWAP2
00002549: PUSH1 0x03
0000254b: DUP5
0000254c: ADD
0000254d: SLOAD
0000254e: AND
0000254f: SWAP3
00002550: ADD
00002551: SLOAD
00002552: SWAP3
00002553: PUSH1 0x40
00002555: MLOAD
00002556: SWAP5
00002557: DUP6
00002558: MSTORE
00002559: PUSH1 0x20
0000255b: DUP6
0000255c: ADD
0000255d: MSTORE
0000255e: PUSH1 0x40
00002560: DUP5
00002561: ADD
00002562: MSTORE
00002563: PUSH1 0x60
00002565: DUP4
00002566: ADD
00002567: MSTORE
00002568: PUSH1 0x80
0000256a: DUP3
0000256b: ADD
0000256c: MSTORE
0000256d: RETURN
0000256e: JUMPDEST
0000256f: POP
00002570: CALLVALUE
00002571: PUSH2 0x01b8
00002574: JUMPI
00002575: PUSH1 0xc0
00002577: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00002598: CALLDATASIZE
00002599: ADD
0000259a: SLT
0000259b: PUSH2 0x01b8
0000259e: JUMPI
0000259f: PUSH2 0x25a7
000025a2: CALLDATASIZE
000025a3: PUSH2 0x2d50
000025a6: JUMP
000025a7: JUMPDEST
000025a8: PUSH32 0x139d6f58e9a127229667c8e3b36e88890a66cfc8ab1024ddc513e189e125b75b
000025c9: PUSH1 0x20
000025cb: PUSH1 0xa4
000025cd: CALLDATALOAD
000025ce: PUSH2 0x25f2
000025d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025e6: DUP7
000025e7: SLOAD
000025e8: AND
000025e9: CALLER
000025ea: EQ
000025eb: PUSH2 0x0249
000025ee: PUSH2 0x2f08
000025f1: JUMP
000025f2: JUMPDEST
000025f3: PUSH2 0x26ed
000025f6: PUSH1 0xa0
000025f8: DUP6
000025f9: KECCAK256
000025fa: SWAP5
000025fb: DUP6
000025fc: DUP8
000025fd: MSTORE
000025fe: PUSH1 0x03
00002600: DUP5
00002601: MSTORE
00002602: PUSH2 0x269c
00002605: DUP7
00002606: PUSH16 0xffffffffffffffffffffffffffffffff
00002617: SWAP3
00002618: PUSH2 0x262e
0000261b: DUP5
0000261c: PUSH1 0x02
0000261e: PUSH1 0x40
00002620: DUP14
00002621: KECCAK256
00002622: ADD
00002623: SLOAD
00002624: AND
00002625: ISZERO
00002626: ISZERO
00002627: PUSH2 0x0249
0000262a: PUSH2 0x3016
0000262d: JUMP
0000262e: JUMPDEST
0000262f: DUP2
00002630: DUP11
00002631: MSTORE
00002632: PUSH1 0x03
00002634: DUP8
00002635: MSTORE
00002636: PUSH2 0x264e
00002639: PUSH1 0x02
0000263b: PUSH1 0x40
0000263d: DUP13
0000263e: KECCAK256
0000263f: ADD
00002640: SLOAD
00002641: PUSH1 0x80
00002643: SHR
00002644: DUP8
00002645: EQ
00002646: ISZERO
00002647: PUSH2 0x0249
0000264a: PUSH2 0x2fdd
0000264d: JUMP
0000264e: JUMPDEST
0000264f: PUSH2 0x2697
00002652: PUSH1 0x40
00002654: MLOAD
00002655: PUSH2 0x265d
00002658: DUP2
00002659: PUSH2 0x2cf3
0000265c: JUMP
0000265d: JUMPDEST
0000265e: PUSH1 0x10
00002660: DUP2
00002661: MSTORE
00002662: PUSH32 0x6d61782066656520657863656564656400000000000000000000000000000000
00002683: DUP10
00002684: DUP3
00002685: ADD
00002686: MSTORE
00002687: PUSH8 0x03782dace9d90000
00002690: DUP9
00002691: GT
00002692: ISZERO
00002693: PUSH2 0x2f41
00002696: JUMP
00002697: JUMPDEST
00002698: PUSH2 0x336e
0000269b: JUMP
0000269c: JUMPDEST
0000269d: DUP6
0000269e: DUP8
0000269f: MSTORE
000026a0: PUSH1 0x03
000026a2: DUP5
000026a3: MSTORE
000026a4: DUP3
000026a5: AND
000026a6: PUSH1 0x02
000026a8: PUSH1 0x40
000026aa: DUP9
000026ab: KECCAK256
000026ac: ADD
000026ad: SWAP1
000026ae: PUSH16 0xffffffffffffffffffffffffffffffff
000026bf: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
000026e0: DUP4
000026e1: SLOAD
000026e2: SWAP3
000026e3: PUSH1 0x80
000026e5: SHL
000026e6: AND
000026e7: SWAP2
000026e8: AND
000026e9: OR
000026ea: SWAP1
000026eb: SSTORE
000026ec: JUMP
000026ed: JUMPDEST
000026ee: PUSH1 0x40
000026f0: MLOAD
000026f1: SWAP1
000026f2: DUP2
000026f3: MSTORE
000026f4: LOG2
000026f5: DUP1
000026f6: RETURN
000026f7: JUMPDEST
000026f8: POP
000026f9: CALLVALUE
000026fa: PUSH2 0x01b8
000026fd: JUMPI
000026fe: PUSH2 0x0100
00002701: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00002722: CALLDATASIZE
00002723: ADD
00002724: SLT
00002725: PUSH2 0x01b8
00002728: JUMPI
00002729: PUSH2 0x2731
0000272c: CALLDATASIZE
0000272d: PUSH2 0x2d50
00002730: JUMP
00002731: JUMPDEST
00002732: SWAP1
00002733: PUSH1 0xa4
00002735: CALLDATALOAD
00002736: PUSH2 0x273d
00002739: PUSH2 0x2c7d
0000273c: JUMP
0000273d: JUMPDEST
0000273e: PUSH1 0xe4
00002740: CALLDATALOAD
00002741: PUSH8 0xffffffffffffffff
0000274a: DUP2
0000274b: GT
0000274c: PUSH2 0x1a31
0000274f: JUMPI
00002750: PUSH2 0x275d
00002753: SWAP1
00002754: CALLDATASIZE
00002755: SWAP1
00002756: PUSH1 0x04
00002758: ADD
00002759: PUSH2 0x2de8
0000275c: JUMP
0000275d: JUMPDEST
0000275e: SWAP1
0000275f: PUSH1 0xa0
00002761: DUP7
00002762: KECCAK256
00002763: DUP1
00002764: DUP7
00002765: MSTORE
00002766: PUSH1 0x03
00002768: PUSH1 0x20
0000276a: MSTORE
0000276b: PUSH2 0x2791
0000276e: PUSH16 0xffffffffffffffffffffffffffffffff
0000277f: PUSH1 0x02
00002781: PUSH1 0x40
00002783: DUP10
00002784: KECCAK256
00002785: ADD
00002786: SLOAD
00002787: AND
00002788: ISZERO
00002789: ISZERO
0000278a: PUSH2 0x0249
0000278d: PUSH2 0x3016
00002790: JUMP
00002791: JUMPDEST
00002792: PUSH2 0x279c
00002795: PUSH2 0x0417
00002798: PUSH2 0x32c2
0000279b: JUMP
0000279c: JUMPDEST
0000279d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027b2: DUP1
000027b3: SWAP5
000027b4: AND
000027b5: SWAP1
000027b6: PUSH2 0x27c8
000027b9: PUSH2 0x27c0
000027bc: PUSH2 0x3132
000027bf: JUMP
000027c0: JUMPDEST
000027c1: DUP4
000027c2: ISZERO
000027c3: ISZERO
000027c4: PUSH2 0x2f41
000027c7: JUMP
000027c8: JUMPDEST
000027c9: PUSH2 0x27fb
000027cc: PUSH2 0x27d4
000027cf: DUP8
000027d0: PUSH2 0x3c78
000027d3: JUMP
000027d4: JUMPDEST
000027d5: DUP3
000027d6: DUP10
000027d7: MSTORE
000027d8: PUSH1 0x02
000027da: PUSH1 0x20
000027dc: MSTORE
000027dd: PUSH1 0x40
000027df: DUP10
000027e0: KECCAK256
000027e1: DUP5
000027e2: DUP11
000027e3: MSTORE
000027e4: PUSH1 0x20
000027e6: MSTORE
000027e7: PUSH2 0x08e6
000027ea: PUSH1 0x01
000027ec: PUSH1 0x40
000027ee: DUP12
000027ef: KECCAK256
000027f0: ADD
000027f1: SWAP2
000027f2: DUP3
000027f3: SLOAD
000027f4: PUSH1 0x80
000027f6: SHR
000027f7: PUSH2 0x3178
000027fa: JUMP
000027fb: JUMPDEST
000027fc: PUSH1 0x40
000027fe: MLOAD
000027ff: SWAP1
00002800: DUP7
00002801: DUP3
00002802: MSTORE
00002803: PUSH32 0xa3b9472a1399e17e123f3c2e6586c23e504184d504de59cdaa2b375e880c6184
00002824: PUSH1 0x20
00002826: CALLER
00002827: SWAP4
00002828: LOG4
00002829: DUP2
0000282a: PUSH2 0x2843
0000282d: JUMPI
0000282e: JUMPDEST
0000282f: POP
00002830: POP
00002831: PUSH1 0x20
00002833: PUSH2 0x04bb
00002836: SWAP4
00002837: SWAP5
00002838: ADD
00002839: MLOAD
0000283a: AND
0000283b: ADDRESS
0000283c: SWAP1
0000283d: CALLER
0000283e: SWAP1
0000283f: PUSH2 0x3ab9
00002842: JUMP
00002843: JUMPDEST
00002844: CALLER
00002845: EXTCODESIZE
00002846: ISZERO
00002847: PUSH2 0x28bd
0000284a: JUMPI
0000284b: PUSH2 0x2885
0000284e: SWAP2
0000284f: DUP6
00002850: SWAP2
00002851: PUSH1 0x40
00002853: MLOAD
00002854: SWAP4
00002855: DUP5
00002856: SWAP3
00002857: DUP4
00002858: SWAP3
00002859: PUSH32 0xb1022fdf00000000000000000000000000000000000000000000000000000000
0000287a: DUP5
0000287b: MSTORE
0000287c: DUP9
0000287d: PUSH1 0x04
0000287f: DUP6
00002880: ADD
00002881: PUSH2 0x319c
00002884: JUMP
00002885: JUMPDEST
00002886: SUB
00002887: DUP2
00002888: DUP4
00002889: CALLER
0000288a: GAS
0000288b: CALL
0000288c: DUP1
0000288d: ISZERO
0000288e: PUSH2 0x28b2
00002891: JUMPI
00002892: PUSH2 0x289c
00002895: JUMPI
00002896: JUMPDEST
00002897: DUP1
00002898: PUSH2 0x282e
0000289b: JUMP
0000289c: JUMPDEST
0000289d: PUSH2 0x04bb
000028a0: SWAP4
000028a1: PUSH2 0x28ab
000028a4: PUSH1 0x20
000028a6: SWAP3
000028a7: PUSH2 0x2cc3
000028aa: JUMP
000028ab: JUMPDEST
000028ac: SWAP4
000028ad: POP
000028ae: PUSH2 0x2896
000028b1: JUMP
000028b2: JUMPDEST
000028b3: PUSH1 0x40
000028b5: MLOAD
000028b6: RETURNDATASIZE
000028b7: DUP7
000028b8: DUP3
000028b9: RETURNDATACOPY
000028ba: RETURNDATASIZE
000028bb: SWAP1
000028bc: REVERT
000028bd: JUMPDEST
000028be: DUP5
000028bf: DUP1
000028c0: REVERT
000028c1: JUMPDEST
000028c2: POP
000028c3: CALLVALUE
000028c4: PUSH2 0x01b8
000028c7: JUMPI
000028c8: PUSH2 0x28d0
000028cb: CALLDATASIZE
000028cc: PUSH2 0x2e16
000028cf: JUMP
000028d0: JUMPDEST
000028d1: DUP5
000028d2: SWAP7
000028d3: SWAP2
000028d4: SWAP6
000028d5: SWAP3
000028d6: SWAP7
000028d7: SWAP6
000028d8: DUP5
000028d9: PUSH1 0xa0
000028db: DUP6
000028dc: KECCAK256
000028dd: DUP1
000028de: DUP6
000028df: MSTORE
000028e0: PUSH1 0x03
000028e2: PUSH1 0x20
000028e4: SWAP8
000028e5: DUP2
000028e6: DUP10
000028e7: MSTORE
000028e8: PUSH16 0xffffffffffffffffffffffffffffffff
000028f9: SWAP10
000028fa: PUSH2 0x2910
000028fd: DUP12
000028fe: PUSH1 0x02
00002900: PUSH1 0x40
00002902: DUP12
00002903: KECCAK256
00002904: ADD
00002905: SLOAD
00002906: AND
00002907: ISZERO
00002908: ISZERO
00002909: PUSH2 0x0249
0000290c: PUSH2 0x3016
0000290f: JUMP
00002910: JUMPDEST
00002911: ISZERO
00002912: SWAP4
00002913: PUSH2 0x291d
00002916: PUSH2 0x1da1
00002919: PUSH2 0x30f9
0000291c: JUMP
0000291d: JUMPDEST
0000291e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002933: DUP1
00002934: SWAP14
00002935: AND
00002936: SWAP5
00002937: PUSH2 0x2941
0000293a: PUSH2 0x15d8
0000293d: PUSH2 0x3132
00002940: JUMP
00002941: JUMPDEST
00002942: PUSH2 0x294b
00002945: DUP6
00002946: DUP12
00002947: PUSH2 0x336e
0000294a: JUMP
0000294b: JUMPDEST
0000294c: PUSH2 0x2af7
0000294f: JUMPI
00002950: POP
00002951: POP
00002952: DUP2
00002953: DUP7
00002954: MSTORE
00002955: DUP1
00002956: DUP9
00002957: MSTORE
00002958: PUSH2 0x296f
0000295b: PUSH1 0x01
0000295d: PUSH1 0x40
0000295f: DUP9
00002960: KECCAK256
00002961: ADD
00002962: SLOAD
00002963: DUP11
00002964: DUP2
00002965: PUSH1 0x80
00002967: SHR
00002968: SWAP2
00002969: AND
0000296a: DUP13
0000296b: PUSH2 0x3be8
0000296e: JUMP
0000296f: JUMPDEST
00002970: SWAP9
00002971: JUMPDEST
00002972: PUSH2 0x297a
00002975: DUP11
00002976: PUSH2 0x3c78
00002979: JUMP
0000297a: JUMPDEST
0000297b: SWAP1
0000297c: DUP4
0000297d: DUP9
0000297e: MSTORE
0000297f: PUSH1 0x02
00002981: DUP11
00002982: MSTORE
00002983: PUSH1 0x40
00002985: DUP9
00002986: KECCAK256
00002987: DUP6
00002988: DUP10
00002989: MSTORE
0000298a: DUP11
0000298b: MSTORE
0000298c: PUSH1 0x01
0000298e: PUSH1 0x40
00002990: DUP10
00002991: KECCAK256
00002992: ADD
00002993: DUP2
00002994: PUSH2 0x29a1
00002997: DUP3
00002998: SLOAD
00002999: SWAP5
0000299a: DUP3
0000299b: DUP7
0000299c: AND
0000299d: PUSH2 0x322e
000029a0: JUMP
000029a1: JUMPDEST
000029a2: AND
000029a3: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
000029c4: DUP1
000029c5: SWAP5
000029c6: AND
000029c7: OR
000029c8: SWAP1
000029c9: SSTORE
000029ca: PUSH2 0x29f0
000029cd: PUSH2 0x29d5
000029d0: DUP13
000029d1: PUSH2 0x3c78
000029d4: JUMP
000029d5: JUMPDEST
000029d6: DUP6
000029d7: DUP11
000029d8: MSTORE
000029d9: DUP5
000029da: DUP13
000029db: MSTORE
000029dc: PUSH2 0x08e6
000029df: PUSH1 0x01
000029e1: PUSH1 0x40
000029e3: DUP13
000029e4: KECCAK256
000029e5: ADD
000029e6: SWAP2
000029e7: DUP3
000029e8: SLOAD
000029e9: PUSH1 0x80
000029eb: SHR
000029ec: PUSH2 0x322e
000029ef: JUMP
000029f0: JUMPDEST
000029f1: DUP4
000029f2: DUP9
000029f3: MSTORE
000029f4: DUP3
000029f5: DUP11
000029f6: MSTORE
000029f7: PUSH2 0x2a0f
000029fa: DUP2
000029fb: PUSH1 0x01
000029fd: PUSH1 0x40
000029ff: DUP12
00002a00: KECCAK256
00002a01: ADD
00002a02: SLOAD
00002a03: AND
00002a04: DUP14
00002a05: DUP1
00002a06: DUP3
00002a07: SUB
00002a08: SWAP2
00002a09: GT
00002a0a: MUL
00002a0b: PUSH2 0x3c78
00002a0e: JUMP
00002a0f: JUMPDEST
00002a10: SWAP3
00002a11: DUP5
00002a12: DUP10
00002a13: MSTORE
00002a14: DUP11
00002a15: MSTORE
00002a16: PUSH1 0x01
00002a18: PUSH1 0x40
00002a1a: DUP10
00002a1b: KECCAK256
00002a1c: ADD
00002a1d: SWAP3
00002a1e: AND
00002a1f: SWAP1
00002a20: DUP3
00002a21: SLOAD
00002a22: AND
00002a23: OR
00002a24: SWAP1
00002a25: SSTORE
00002a26: PUSH1 0x40
00002a28: MLOAD
00002a29: SWAP1
00002a2a: DUP10
00002a2b: DUP3
00002a2c: MSTORE
00002a2d: DUP9
00002a2e: DUP9
00002a2f: DUP4
00002a30: ADD
00002a31: MSTORE
00002a32: PUSH32 0x52acb05cebbd3cd39715469f22afbf5a17496295ef3bc9bb5944056c63ccaa09
00002a53: PUSH1 0x40
00002a55: CALLER
00002a56: SWAP4
00002a57: LOG4
00002a58: DUP2
00002a59: PUSH2 0x2a72
00002a5c: JUMPI
00002a5d: POP
00002a5e: POP
00002a5f: POP
00002a60: DUP4
00002a61: PUSH1 0x40
00002a63: SWAP6
00002a64: PUSH2 0x1070
00002a67: SWAP3
00002a68: MLOAD
00002a69: AND
00002a6a: ADDRESS
00002a6b: SWAP1
00002a6c: CALLER
00002a6d: SWAP1
00002a6e: PUSH2 0x3ab9
00002a71: JUMP
00002a72: JUMPDEST
00002a73: CALLER
00002a74: EXTCODESIZE
00002a75: ISZERO
00002a76: PUSH2 0x04d2
00002a79: JUMPI
00002a7a: SWAP2
00002a7b: DUP1
00002a7c: SWAP2
00002a7d: PUSH2 0x2ab5
00002a80: SWAP4
00002a81: PUSH1 0x40
00002a83: MLOAD
00002a84: SWAP5
00002a85: DUP6
00002a86: SWAP3
00002a87: DUP4
00002a88: SWAP3
00002a89: PUSH32 0x05b4591c00000000000000000000000000000000000000000000000000000000
00002aaa: DUP5
00002aab: MSTORE
00002aac: DUP12
00002aad: PUSH1 0x04
00002aaf: DUP6
00002ab0: ADD
00002ab1: PUSH2 0x319c
00002ab4: JUMP
00002ab5: JUMPDEST
00002ab6: SUB
00002ab7: DUP2
00002ab8: DUP4
00002ab9: CALLER
00002aba: GAS
00002abb: CALL
00002abc: SWAP1
00002abd: DUP2
00002abe: ISZERO
00002abf: PUSH2 0x2aeb
00002ac2: JUMPI
00002ac3: POP
00002ac4: SWAP6
00002ac5: PUSH2 0x1070
00002ac8: SWAP3
00002ac9: DUP7
00002aca: SWAP3
00002acb: PUSH1 0x40
00002acd: SWAP9
00002ace: PUSH2 0x2adc
00002ad1: JUMPI
00002ad2: JUMPDEST
00002ad3: POP
00002ad4: SWAP3
00002ad5: DUP2
00002ad6: SWAP8
00002ad7: POP
00002ad8: PUSH2 0x105a
00002adb: JUMP
00002adc: JUMPDEST
00002add: PUSH2 0x2ae5
00002ae0: SWAP1
00002ae1: PUSH2 0x2cc3
00002ae4: JUMP
00002ae5: JUMPDEST
00002ae6: CODESIZE
00002ae7: PUSH2 0x2ad2
00002aea: JUMP
00002aeb: JUMPDEST
00002aec: PUSH1 0x40
00002aee: MLOAD
00002aef: SWAP1
00002af0: RETURNDATASIZE
00002af1: SWAP1
00002af2: DUP3
00002af3: RETURNDATACOPY
00002af4: RETURNDATASIZE
00002af5: SWAP1
00002af6: REVERT
00002af7: JUMPDEST
00002af8: PUSH2 0x2b1a
00002afb: SWAP2
00002afc: SWAP11
00002afd: SWAP12
00002afe: POP
00002aff: DUP4
00002b00: DUP9
00002b01: MSTORE
00002b02: DUP3
00002b03: DUP11
00002b04: MSTORE
00002b05: PUSH1 0x01
00002b07: PUSH1 0x40
00002b09: DUP10
00002b0a: KECCAK256
00002b0b: ADD
00002b0c: SLOAD
00002b0d: SWAP1
00002b0e: DUP13
00002b0f: DUP3
00002b10: PUSH1 0x80
00002b12: SHR
00002b13: SWAP3
00002b14: AND
00002b15: SWAP1
00002b16: PUSH2 0x3c55
00002b19: JUMP
00002b1a: JUMPDEST
00002b1b: SWAP10
00002b1c: PUSH2 0x2971
00002b1f: JUMP
00002b20: JUMPDEST
00002b21: POP
00002b22: CALLVALUE
00002b23: PUSH2 0x01b8
00002b26: JUMPI
00002b27: PUSH1 0xa0
00002b29: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00002b4a: CALLDATASIZE
00002b4b: ADD
00002b4c: SLT
00002b4d: PUSH2 0x01b8
00002b50: JUMPI
00002b51: PUSH2 0x04bb
00002b54: PUSH2 0x2b5c
00002b57: CALLDATASIZE
00002b58: PUSH2 0x2d50
00002b5b: JUMP
00002b5c: JUMPDEST
00002b5d: PUSH1 0xa0
00002b5f: DUP2
00002b60: KECCAK256
00002b61: SWAP1
00002b62: DUP2
00002b63: DUP5
00002b64: MSTORE
00002b65: PUSH1 0x03
00002b67: PUSH1 0x20
00002b69: MSTORE
00002b6a: PUSH2 0x2697
00002b6d: PUSH16 0xffffffffffffffffffffffffffffffff
00002b7e: PUSH1 0x02
00002b80: PUSH1 0x40
00002b82: DUP8
00002b83: KECCAK256
00002b84: ADD
00002b85: SLOAD
00002b86: AND
00002b87: ISZERO
00002b88: ISZERO
00002b89: PUSH2 0x0249
00002b8c: PUSH2 0x3016
00002b8f: JUMP
00002b90: JUMPDEST
00002b91: POP
00002b92: CALLVALUE
00002b93: PUSH2 0x01b8
00002b96: JUMPI
00002b97: PUSH1 0x20
00002b99: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00002bba: CALLDATASIZE
00002bbb: ADD
00002bbc: SLT
00002bbd: PUSH2 0x01b8
00002bc0: JUMPI
00002bc1: PUSH2 0x2c2f
00002bc4: PUSH2 0x2bcb
00002bc7: PUSH2 0x2c5a
00002bca: JUMP
00002bcb: JUMPDEST
00002bcc: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00002bed: DUP4
00002bee: SLOAD
00002bef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c04: DUP1
00002c05: DUP3
00002c06: AND
00002c07: SWAP4
00002c08: PUSH2 0x2c1a
00002c0b: PUSH2 0x2c12
00002c0e: PUSH2 0x2f08
00002c11: JUMP
00002c12: JUMPDEST
00002c13: DUP7
00002c14: CALLER
00002c15: EQ
00002c16: PUSH2 0x2f41
00002c19: JUMP
00002c1a: JUMPDEST
00002c1b: AND
00002c1c: SWAP4
00002c1d: DUP5
00002c1e: SWAP4
00002c1f: PUSH2 0x2c26
00002c22: PUSH2 0x2fdd
00002c25: JUMP
00002c26: JUMPDEST
00002c27: SWAP1
00002c28: DUP6
00002c29: EQ
00002c2a: ISZERO
00002c2b: PUSH2 0x2f41
00002c2e: JUMP
00002c2f: JUMPDEST
00002c30: AND
00002c31: OR
00002c32: DUP3
00002c33: SSTORE
00002c34: PUSH32 0x167d3e9c1016ab80e58802ca9da10ce5c6a0f4debc46a2e7a2cd9e56899a4fb5
00002c55: DUP3
00002c56: DUP1
00002c57: LOG2
00002c58: DUP1
00002c59: RETURN
00002c5a: JUMPDEST
00002c5b: PUSH1 0x04
00002c5d: CALLDATALOAD
00002c5e: SWAP1
00002c5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c74: DUP3
00002c75: AND
00002c76: DUP3
00002c77: SUB
00002c78: PUSH2 0x02c8
00002c7b: JUMPI
00002c7c: JUMP
00002c7d: JUMPDEST
00002c7e: PUSH1 0xc4
00002c80: CALLDATALOAD
00002c81: SWAP1
00002c82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c97: DUP3
00002c98: AND
00002c99: DUP3
00002c9a: SUB
00002c9b: PUSH2 0x02c8
00002c9e: JUMPI
00002c9f: JUMP
00002ca0: JUMPDEST
00002ca1: PUSH1 0x24
00002ca3: CALLDATALOAD
00002ca4: SWAP1
00002ca5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cba: DUP3
00002cbb: AND
00002cbc: DUP3
00002cbd: SUB
00002cbe: PUSH2 0x02c8
00002cc1: JUMPI
00002cc2: JUMP
00002cc3: JUMPDEST
00002cc4: PUSH8 0xffffffffffffffff
00002ccd: DUP2
00002cce: GT
00002ccf: PUSH2 0x1a35
00002cd2: JUMPI
00002cd3: PUSH1 0x40
00002cd5: MSTORE
00002cd6: JUMP
00002cd7: JUMPDEST
00002cd8: PUSH1 0xa0
00002cda: DUP2
00002cdb: ADD
00002cdc: SWAP1
00002cdd: DUP2
00002cde: LT
00002cdf: PUSH8 0xffffffffffffffff
00002ce8: DUP3
00002ce9: GT
00002cea: OR
00002ceb: PUSH2 0x1a35
00002cee: JUMPI
00002cef: PUSH1 0x40
00002cf1: MSTORE
00002cf2: JUMP
00002cf3: JUMPDEST
00002cf4: PUSH1 0x40
00002cf6: DUP2
00002cf7: ADD
00002cf8: SWAP1
00002cf9: DUP2
00002cfa: LT
00002cfb: PUSH8 0xffffffffffffffff
00002d04: DUP3
00002d05: GT
00002d06: OR
00002d07: PUSH2 0x1a35
00002d0a: JUMPI
00002d0b: PUSH1 0x40
00002d0d: MSTORE
00002d0e: JUMP
00002d0f: JUMPDEST
00002d10: SWAP1
00002d11: PUSH1 0x1f
00002d13: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002d34: SWAP2
00002d35: ADD
00002d36: AND
00002d37: DUP2
00002d38: ADD
00002d39: SWAP1
00002d3a: DUP2
00002d3b: LT
00002d3c: PUSH8 0xffffffffffffffff
00002d45: DUP3
00002d46: GT
00002d47: OR
00002d48: PUSH2 0x1a35
00002d4b: JUMPI
00002d4c: PUSH1 0x40
00002d4e: MSTORE
00002d4f: JUMP
00002d50: JUMPDEST
00002d51: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00002d72: PUSH1 0xa0
00002d74: SWAP2
00002d75: ADD
00002d76: SLT
00002d77: PUSH2 0x02c8
00002d7a: JUMPI
00002d7b: PUSH1 0x40
00002d7d: MLOAD
00002d7e: SWAP1
00002d7f: PUSH2 0x2d87
00002d82: DUP3
00002d83: PUSH2 0x2cd7
00002d86: JUMP
00002d87: JUMPDEST
00002d88: DUP2
00002d89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d9e: PUSH1 0x04
00002da0: CALLDATALOAD
00002da1: DUP2
00002da2: DUP2
00002da3: AND
00002da4: DUP2
00002da5: SUB
00002da6: PUSH2 0x02c8
00002da9: JUMPI
00002daa: DUP3
00002dab: MSTORE
00002dac: PUSH1 0x24
00002dae: CALLDATALOAD
00002daf: DUP2
00002db0: DUP2
00002db1: AND
00002db2: DUP2
00002db3: SUB
00002db4: PUSH2 0x02c8
00002db7: JUMPI
00002db8: PUSH1 0x20
00002dba: DUP4
00002dbb: ADD
00002dbc: MSTORE
00002dbd: PUSH1 0x44
00002dbf: CALLDATALOAD
00002dc0: DUP2
00002dc1: DUP2
00002dc2: AND
00002dc3: DUP2
00002dc4: SUB
00002dc5: PUSH2 0x02c8
00002dc8: JUMPI
00002dc9: PUSH1 0x40
00002dcb: DUP4
00002dcc: ADD
00002dcd: MSTORE
00002dce: PUSH1 0x64
00002dd0: CALLDATALOAD
00002dd1: SWAP1
00002dd2: DUP2
00002dd3: AND
00002dd4: DUP2
00002dd5: SUB
00002dd6: PUSH2 0x02c8
00002dd9: JUMPI
00002dda: PUSH1 0x60
00002ddc: DUP3
00002ddd: ADD
00002dde: MSTORE
00002ddf: PUSH1 0x80
00002de1: PUSH1 0x84
00002de3: CALLDATALOAD
00002de4: SWAP2
00002de5: ADD
00002de6: MSTORE
00002de7: JUMP
00002de8: JUMPDEST
00002de9: SWAP2
00002dea: DUP2
00002deb: PUSH1 0x1f
00002ded: DUP5
00002dee: ADD
00002def: SLT
00002df0: ISZERO
00002df1: PUSH2 0x02c8
00002df4: JUMPI
00002df5: DUP3
00002df6: CALLDATALOAD
00002df7: SWAP2
00002df8: PUSH8 0xffffffffffffffff
00002e01: DUP4
00002e02: GT
00002e03: PUSH2 0x02c8
00002e06: JUMPI
00002e07: PUSH1 0x20
00002e09: DUP4
00002e0a: DUP2
00002e0b: DUP7
00002e0c: ADD
00002e0d: SWAP6
00002e0e: ADD
00002e0f: ADD
00002e10: GT
00002e11: PUSH2 0x02c8
00002e14: JUMPI
00002e15: JUMP
00002e16: JUMPDEST
00002e17: PUSH2 0x0120
00002e1a: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00002e3b: DUP3
00002e3c: ADD
00002e3d: SLT
00002e3e: PUSH2 0x02c8
00002e41: JUMPI
00002e42: PUSH2 0x2e4a
00002e45: DUP2
00002e46: PUSH2 0x2d50
00002e49: JUMP
00002e4a: JUMPDEST
00002e4b: SWAP2
00002e4c: PUSH1 0xa4
00002e4e: CALLDATALOAD
00002e4f: SWAP2
00002e50: PUSH1 0xc4
00002e52: CALLDATALOAD
00002e53: SWAP2
00002e54: PUSH1 0xe4
00002e56: CALLDATALOAD
00002e57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e6c: DUP2
00002e6d: AND
00002e6e: DUP2
00002e6f: SUB
00002e70: PUSH2 0x02c8
00002e73: JUMPI
00002e74: SWAP2
00002e75: PUSH2 0x0104
00002e78: CALLDATALOAD
00002e79: SWAP1
00002e7a: PUSH8 0xffffffffffffffff
00002e83: DUP3
00002e84: GT
00002e85: PUSH2 0x02c8
00002e88: JUMPI
00002e89: PUSH2 0x2e94
00002e8c: SWAP2
00002e8d: PUSH1 0x04
00002e8f: ADD
00002e90: PUSH2 0x2de8
00002e93: JUMP
00002e94: JUMPDEST
00002e95: SWAP1
00002e96: SWAP2
00002e97: JUMP
00002e98: JUMPDEST
00002e99: PUSH2 0x0120
00002e9c: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00002ebd: DUP3
00002ebe: ADD
00002ebf: SLT
00002ec0: PUSH2 0x02c8
00002ec3: JUMPI
00002ec4: PUSH2 0x2ecc
00002ec7: SWAP1
00002ec8: PUSH2 0x2d50
00002ecb: JUMP
00002ecc: JUMPDEST
00002ecd: SWAP1
00002ece: PUSH1 0xa4
00002ed0: CALLDATALOAD
00002ed1: SWAP1
00002ed2: PUSH1 0xc4
00002ed4: CALLDATALOAD
00002ed5: SWAP1
00002ed6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002eeb: SWAP1
00002eec: PUSH1 0xe4
00002eee: CALLDATALOAD
00002eef: DUP3
00002ef0: DUP2
00002ef1: AND
00002ef2: DUP2
00002ef3: SUB
00002ef4: PUSH2 0x02c8
00002ef7: JUMPI
00002ef8: SWAP2
00002ef9: PUSH2 0x0104
00002efc: CALLDATALOAD
00002efd: SWAP1
00002efe: DUP2
00002eff: AND
00002f00: DUP2
00002f01: SUB
00002f02: PUSH2 0x02c8
00002f05: JUMPI
00002f06: SWAP1
00002f07: JUMP
00002f08: JUMPDEST
00002f09: PUSH1 0x40
00002f0b: MLOAD
00002f0c: SWAP1
00002f0d: PUSH2 0x2f15
00002f10: DUP3
00002f11: PUSH2 0x2cf3
00002f14: JUMP
00002f15: JUMPDEST
00002f16: PUSH1 0x09
00002f18: DUP3
00002f19: MSTORE
00002f1a: PUSH32 0x6e6f74206f776e65720000000000000000000000000000000000000000000000
00002f3b: PUSH1 0x20
00002f3d: DUP4
00002f3e: ADD
00002f3f: MSTORE
00002f40: JUMP
00002f41: JUMPDEST
00002f42: ISZERO
00002f43: PUSH2 0x2f49
00002f46: JUMPI
00002f47: POP
00002f48: JUMP
00002f49: JUMPDEST
00002f4a: PUSH1 0x40
00002f4c: MLOAD
00002f4d: SWAP1
00002f4e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002f6f: DUP3
00002f70: MSTORE
00002f71: DUP2
00002f72: PUSH1 0x20
00002f74: DUP1
00002f75: PUSH1 0x04
00002f77: DUP4
00002f78: ADD
00002f79: MSTORE
00002f7a: DUP3
00002f7b: MLOAD
00002f7c: SWAP3
00002f7d: DUP4
00002f7e: PUSH1 0x24
00002f80: DUP5
00002f81: ADD
00002f82: MSTORE
00002f83: PUSH1 0x00
00002f85: JUMPDEST
00002f86: DUP5
00002f87: DUP2
00002f88: LT
00002f89: PUSH2 0x2fc6
00002f8c: JUMPI
00002f8d: POP
00002f8e: POP
00002f8f: POP
00002f90: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002fb1: PUSH1 0x1f
00002fb3: DUP4
00002fb4: PUSH1 0x00
00002fb6: PUSH1 0x44
00002fb8: DUP1
00002fb9: SWAP7
00002fba: DUP7
00002fbb: ADD
00002fbc: ADD
00002fbd: MSTORE
00002fbe: ADD
00002fbf: AND
00002fc0: DUP2
00002fc1: ADD
00002fc2: SUB
00002fc3: ADD
00002fc4: SWAP1
00002fc5: REVERT
00002fc6: JUMPDEST
00002fc7: DUP2
00002fc8: DUP2
00002fc9: ADD
00002fca: DUP4
00002fcb: ADD
00002fcc: MLOAD
00002fcd: DUP7
00002fce: DUP3
00002fcf: ADD
00002fd0: PUSH1 0x44
00002fd2: ADD
00002fd3: MSTORE
00002fd4: DUP6
00002fd5: SWAP4
00002fd6: POP
00002fd7: DUP3
00002fd8: ADD
00002fd9: PUSH2 0x2f85
00002fdc: JUMP
00002fdd: JUMPDEST
00002fde: PUSH1 0x40
00002fe0: MLOAD
00002fe1: SWAP1
00002fe2: PUSH2 0x2fea
00002fe5: DUP3
00002fe6: PUSH2 0x2cf3
00002fe9: JUMP
00002fea: JUMPDEST
00002feb: PUSH1 0x0b
00002fed: DUP3
00002fee: MSTORE
00002fef: PUSH32 0x616c726561647920736574000000000000000000000000000000000000000000
00003010: PUSH1 0x20
00003012: DUP4
00003013: ADD
00003014: MSTORE
00003015: JUMP
00003016: JUMPDEST
00003017: PUSH1 0x40
00003019: MLOAD
0000301a: SWAP1
0000301b: PUSH2 0x3023
0000301e: DUP3
0000301f: PUSH2 0x2cf3
00003022: JUMP
00003023: JUMPDEST
00003024: PUSH1 0x12
00003026: DUP3
00003027: MSTORE
00003028: PUSH32 0x6d61726b6574206e6f7420637265617465640000000000000000000000000000
00003049: PUSH1 0x20
0000304b: DUP4
0000304c: ADD
0000304d: MSTORE
0000304e: JUMP
0000304f: JUMPDEST
00003050: SWAP1
00003051: SWAP3
00003052: SWAP2
00003053: PUSH2 0x0140
00003056: SWAP1
00003057: PUSH2 0x30a9
0000305a: DUP4
0000305b: PUSH2 0x0160
0000305e: DUP2
0000305f: ADD
00003060: SWAP7
00003061: PUSH1 0x80
00003063: DUP1
00003064: SWAP2
00003065: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000307a: DUP1
0000307b: DUP3
0000307c: MLOAD
0000307d: AND
0000307e: DUP6
0000307f: MSTORE
00003080: DUP1
00003081: PUSH1 0x20
00003083: DUP4
00003084: ADD
00003085: MLOAD
00003086: AND
00003087: PUSH1 0x20
00003089: DUP7
0000308a: ADD
0000308b: MSTORE
0000308c: DUP1
0000308d: PUSH1 0x40
0000308f: DUP4
00003090: ADD
00003091: MLOAD
00003092: AND
00003093: PUSH1 0x40
00003095: DUP7
00003096: ADD
00003097: MSTORE
00003098: PUSH1 0x60
0000309a: DUP3
0000309b: ADD
0000309c: MLOAD
0000309d: AND
0000309e: PUSH1 0x60
000030a0: DUP6
000030a1: ADD
000030a2: MSTORE
000030a3: ADD
000030a4: MLOAD
000030a5: SWAP2
000030a6: ADD
000030a7: MSTORE
000030a8: JUMP
000030a9: JUMPDEST
000030aa: PUSH1 0x02
000030ac: DUP2
000030ad: SLOAD
000030ae: SWAP2
000030af: PUSH16 0xffffffffffffffffffffffffffffffff
000030c0: SWAP3
000030c1: DUP4
000030c2: DUP2
000030c3: AND
000030c4: PUSH1 0xa0
000030c6: DUP8
000030c7: ADD
000030c8: MSTORE
000030c9: PUSH1 0x80
000030cb: SHR
000030cc: PUSH1 0xc0
000030ce: DUP7
000030cf: ADD
000030d0: MSTORE
000030d1: PUSH1 0x01
000030d3: DUP2
000030d4: ADD
000030d5: SLOAD
000030d6: DUP4
000030d7: DUP2
000030d8: AND
000030d9: PUSH1 0xe0
000030db: DUP8
000030dc: ADD
000030dd: MSTORE
000030de: PUSH1 0x80
000030e0: SHR
000030e1: PUSH2 0x0100
000030e4: DUP7
000030e5: ADD
000030e6: MSTORE
000030e7: ADD
000030e8: SLOAD
000030e9: SWAP1
000030ea: DUP2
000030eb: AND
000030ec: PUSH2 0x0120
000030ef: DUP5
000030f0: ADD
000030f1: MSTORE
000030f2: PUSH1 0x80
000030f4: SHR
000030f5: SWAP2
000030f6: ADD
000030f7: MSTORE
000030f8: JUMP
000030f9: JUMPDEST
000030fa: PUSH1 0x40
000030fc: MLOAD
000030fd: SWAP1
000030fe: PUSH2 0x3106
00003101: DUP3
00003102: PUSH2 0x2cf3
00003105: JUMP
00003106: JUMPDEST
00003107: PUSH1 0x12
00003109: DUP3
0000310a: MSTORE
0000310b: PUSH32 0x696e636f6e73697374656e7420696e7075740000000000000000000000000000
0000312c: PUSH1 0x20
0000312e: DUP4
0000312f: ADD
00003130: MSTORE
00003131: JUMP
00003132: JUMPDEST
00003133: PUSH1 0x40
00003135: MLOAD
00003136: SWAP1
00003137: PUSH2 0x313f
0000313a: DUP3
0000313b: PUSH2 0x2cf3
0000313e: JUMP
0000313f: JUMPDEST
00003140: PUSH1 0x0c
00003142: DUP3
00003143: MSTORE
00003144: PUSH32 0x7a65726f20616464726573730000000000000000000000000000000000000000
00003165: PUSH1 0x20
00003167: DUP4
00003168: ADD
00003169: MSTORE
0000316a: JUMP
0000316b: JUMPDEST
0000316c: SWAP2
0000316d: SWAP1
0000316e: DUP3
0000316f: ADD
00003170: DUP1
00003171: SWAP3
00003172: GT
00003173: PUSH2 0x0ccd
00003176: JUMPI
00003177: JUMP
00003178: JUMPDEST
00003179: SWAP2
0000317a: SWAP1
0000317b: SWAP2
0000317c: PUSH16 0xffffffffffffffffffffffffffffffff
0000318d: DUP1
0000318e: DUP1
0000318f: SWAP5
00003190: AND
00003191: SWAP2
00003192: AND
00003193: ADD
00003194: SWAP2
00003195: DUP3
00003196: GT
00003197: PUSH2 0x0ccd
0000319a: JUMPI
0000319b: JUMP
0000319c: JUMPDEST
0000319d: SWAP2
0000319e: DUP4
0000319f: PUSH1 0x60
000031a1: SWAP5
000031a2: PUSH1 0x1f
000031a4: SWAP3
000031a5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000031c6: SWAP5
000031c7: DUP7
000031c8: MSTORE
000031c9: PUSH1 0x40
000031cb: PUSH1 0x20
000031cd: DUP8
000031ce: ADD
000031cf: MSTORE
000031d0: DUP2
000031d1: PUSH1 0x40
000031d3: DUP8
000031d4: ADD
000031d5: MSTORE
000031d6: DUP7
000031d7: DUP7
000031d8: ADD
000031d9: CALLDATACOPY
000031da: PUSH1 0x00
000031dc: DUP6
000031dd: DUP3
000031de: DUP7
000031df: ADD
000031e0: ADD
000031e1: MSTORE
000031e2: ADD
000031e3: AND
000031e4: ADD
000031e5: ADD
000031e6: SWAP1
000031e7: JUMP
000031e8: JUMPDEST
000031e9: PUSH1 0x40
000031eb: MLOAD
000031ec: SWAP1
000031ed: PUSH2 0x31f5
000031f0: DUP3
000031f1: PUSH2 0x2cf3
000031f4: JUMP
000031f5: JUMPDEST
000031f6: PUSH1 0x0c
000031f8: DUP3
000031f9: MSTORE
000031fa: PUSH32 0x756e617574686f72697a65640000000000000000000000000000000000000000
0000321b: PUSH1 0x20
0000321d: DUP4
0000321e: ADD
0000321f: MSTORE
00003220: JUMP
00003221: JUMPDEST
00003222: SWAP2
00003223: SWAP1
00003224: DUP3
00003225: SUB
00003226: SWAP2
00003227: DUP3
00003228: GT
00003229: PUSH2 0x0ccd
0000322c: JUMPI
0000322d: JUMP
0000322e: JUMPDEST
0000322f: PUSH16 0xffffffffffffffffffffffffffffffff
00003240: SWAP2
00003241: DUP3
00003242: AND
00003243: SWAP1
00003244: DUP3
00003245: AND
00003246: SUB
00003247: SWAP2
00003248: SWAP1
00003249: DUP3
0000324a: GT
0000324b: PUSH2 0x0ccd
0000324e: JUMPI
0000324f: JUMP
00003250: JUMPDEST
00003251: PUSH1 0x40
00003253: MLOAD
00003254: SWAP1
00003255: PUSH2 0x325d
00003258: DUP3
00003259: PUSH2 0x2cf3
0000325c: JUMP
0000325d: JUMPDEST
0000325e: PUSH1 0x16
00003260: DUP3
00003261: MSTORE
00003262: PUSH32 0x696e73756666696369656e74206c697175696469747900000000000000000000
00003283: PUSH1 0x20
00003285: DUP4
00003286: ADD
00003287: MSTORE
00003288: JUMP
00003289: JUMPDEST
0000328a: PUSH1 0x40
0000328c: MLOAD
0000328d: SWAP1
0000328e: PUSH2 0x3296
00003291: DUP3
00003292: PUSH2 0x2cf3
00003295: JUMP
00003296: JUMPDEST
00003297: PUSH1 0x17
00003299: DUP3
0000329a: MSTORE
0000329b: PUSH32 0x696e73756666696369656e7420636f6c6c61746572616c000000000000000000
000032bc: PUSH1 0x20
000032be: DUP4
000032bf: ADD
000032c0: MSTORE
000032c1: JUMP
000032c2: JUMPDEST
000032c3: PUSH1 0x40
000032c5: MLOAD
000032c6: SWAP1
000032c7: PUSH2 0x32cf
000032ca: DUP3
000032cb: PUSH2 0x2cf3
000032ce: JUMP
000032cf: JUMPDEST
000032d0: PUSH1 0x0b
000032d2: DUP3
000032d3: MSTORE
000032d4: PUSH32 0x7a65726f20617373657473000000000000000000000000000000000000000000
000032f5: PUSH1 0x20
000032f7: DUP4
000032f8: ADD
000032f9: MSTORE
000032fa: JUMP
000032fb: JUMPDEST
000032fc: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000331d: DUP2
0000331e: EQ
0000331f: PUSH2 0x0ccd
00003322: JUMPI
00003323: PUSH1 0x01
00003325: ADD
00003326: SWAP1
00003327: JUMP
00003328: JUMPDEST
00003329: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000333e: AND
0000333f: DUP1
00003340: CALLER
00003341: EQ
00003342: SWAP1
00003343: DUP2
00003344: ISZERO
00003345: PUSH2 0x334c
00003348: JUMPI
00003349: POP
0000334a: SWAP1
0000334b: JUMP
0000334c: JUMPDEST
0000334d: SWAP1
0000334e: POP
0000334f: PUSH1 0x00
00003351: MSTORE
00003352: PUSH1 0x06
00003354: PUSH1 0x20
00003356: MSTORE
00003357: PUSH1 0x40
00003359: PUSH1 0x00
0000335b: KECCAK256
0000335c: CALLER
0000335d: PUSH1 0x00
0000335f: MSTORE
00003360: PUSH1 0x20
00003362: MSTORE
00003363: PUSH1 0xff
00003365: PUSH1 0x40
00003367: PUSH1 0x00
00003369: KECCAK256
0000336a: SLOAD
0000336b: AND
0000336c: SWAP1
0000336d: JUMP
0000336e: JUMPDEST
0000336f: SWAP2
00003370: SWAP1
00003371: PUSH1 0x00
00003373: SWAP1
00003374: DUP1
00003375: DUP3
00003376: MSTORE
00003377: PUSH1 0x03
00003379: SWAP2
0000337a: PUSH1 0x20
0000337c: SWAP3
0000337d: DUP1
0000337e: DUP5
0000337f: MSTORE
00003380: PUSH16 0xffffffffffffffffffffffffffffffff
00003391: SWAP4
00003392: PUSH1 0x40
00003394: SWAP4
00003395: PUSH2 0x33a6
00003398: DUP7
00003399: PUSH1 0x02
0000339b: DUP8
0000339c: DUP8
0000339d: KECCAK256
0000339e: ADD
0000339f: SLOAD
000033a0: AND
000033a1: TIMESTAMP
000033a2: PUSH2 0x3221
000033a5: JUMP
000033a6: JUMPDEST
000033a7: DUP1
000033a8: ISZERO
000033a9: PUSH2 0x3671
000033ac: JUMPI
000033ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033c2: SWAP1
000033c3: DUP2
000033c4: PUSH1 0x60
000033c6: DUP12
000033c7: ADD
000033c8: MLOAD
000033c9: AND
000033ca: DUP1
000033cb: PUSH2 0x3409
000033ce: JUMPI
000033cf: JUMPDEST
000033d0: POP
000033d1: POP
000033d2: POP
000033d3: PUSH1 0x02
000033d5: SWAP6
000033d6: SWAP7
000033d7: SWAP8
000033d8: POP
000033d9: DUP4
000033da: MSTORE
000033db: MSTORE
000033dc: KECCAK256
000033dd: ADD
000033de: SWAP1
000033df: TIMESTAMP
000033e0: AND
000033e1: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
00003402: DUP3
00003403: SLOAD
00003404: AND
00003405: OR
00003406: SWAP1
00003407: SSTORE
00003408: JUMP
00003409: JUMPDEST
0000340a: PUSH2 0x344d
0000340d: DUP6
0000340e: SWAP2
0000340f: DUP6
00003410: DUP10
00003411: MSTORE
00003412: DUP8
00003413: DUP4
00003414: MSTORE
00003415: DUP10
00003416: DUP10
00003417: KECCAK256
00003418: DUP10
00003419: DUP12
0000341a: MLOAD
0000341b: SWAP15
0000341c: DUP16
0000341d: SWAP5
0000341e: DUP6
0000341f: SWAP4
00003420: DUP5
00003421: SWAP3
00003422: PUSH32 0x9451fed400000000000000000000000000000000000000000000000000000000
00003443: DUP5
00003444: MSTORE
00003445: PUSH1 0x04
00003447: DUP5
00003448: ADD
00003449: PUSH2 0x304f
0000344c: JUMP
0000344d: JUMPDEST
0000344e: SUB
0000344f: SWAP3
00003450: GAS
00003451: CALL
00003452: SWAP10
00003453: DUP11
00003454: ISZERO
00003455: PUSH2 0x3667
00003458: JUMPI
00003459: DUP7
0000345a: SWAP11
0000345b: PUSH2 0x3637
0000345e: JUMPI
0000345f: JUMPDEST
00003460: POP
00003461: PUSH1 0x60
00003463: DUP9
00003464: SWAP10
00003465: SWAP11
00003466: PUSH2 0x34f0
00003469: DUP8
0000346a: DUP10
0000346b: DUP8
0000346c: SWAP7
0000346d: DUP10
0000346e: DUP9
0000346f: PUSH1 0x02
00003471: SWAP16
00003472: DUP16
00003473: PUSH32 0x9d9bd501d0657d7dfe415f779a620a62b78bc508ddc0891fbbd8b7ac0f8fce87
00003494: SWAP11
00003495: DUP4
00003496: DUP8
00003497: MSTORE
00003498: DUP8
00003499: DUP6
0000349a: MSTORE
0000349b: PUSH2 0x34fb
0000349e: PUSH2 0x34b0
000034a1: DUP5
000034a2: PUSH1 0x01
000034a4: DUP6
000034a5: DUP12
000034a6: KECCAK256
000034a7: ADD
000034a8: SLOAD
000034a9: AND
000034aa: SWAP3
000034ab: DUP13
000034ac: PUSH2 0x383b
000034af: JUMP
000034b0: JUMPDEST
000034b1: SWAP2
000034b2: PUSH2 0x34f5
000034b5: PUSH8 0x1bc16d674ec80000
000034be: PUSH2 0x34c7
000034c1: DUP6
000034c2: DUP1
000034c3: PUSH2 0x383b
000034c6: JUMP
000034c7: JUMPDEST
000034c8: DIV
000034c9: SWAP4
000034ca: PUSH8 0x0de0b6b3a7640000
000034d3: SWAP13
000034d4: DUP6
000034d5: PUSH8 0x29a2241af62c0000
000034de: DUP16
000034df: SWAP8
000034e0: DUP5
000034e1: PUSH2 0x34e9
000034e4: SWAP2
000034e5: PUSH2 0x383b
000034e8: JUMP
000034e9: JUMPDEST
000034ea: DIV
000034eb: SWAP3
000034ec: PUSH2 0x316b
000034ef: JUMP
000034f0: JUMPDEST
000034f1: PUSH2 0x316b
000034f4: JUMP
000034f5: JUMPDEST
000034f6: SWAP1
000034f7: PUSH2 0x383b
000034fa: JUMP
000034fb: JUMPDEST
000034fc: DIV
000034fd: SWAP6
000034fe: PUSH2 0x3506
00003501: DUP8
00003502: PUSH2 0x3c78
00003505: JUMP
00003506: JUMPDEST
00003507: DUP5
00003508: DUP3
00003509: MSTORE
0000350a: DUP9
0000350b: DUP7
0000350c: MSTORE
0000350d: PUSH1 0x01
0000350f: DUP4
00003510: DUP4
00003511: KECCAK256
00003512: ADD
00003513: DUP5
00003514: PUSH2 0x3521
00003517: DUP3
00003518: SLOAD
00003519: SWAP4
0000351a: DUP3
0000351b: DUP6
0000351c: AND
0000351d: PUSH2 0x3178
00003520: JUMP
00003521: JUMPDEST
00003522: AND
00003523: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
00003544: DUP1
00003545: SWAP4
00003546: AND
00003547: OR
00003548: SWAP1
00003549: SSTORE
0000354a: PUSH2 0x3552
0000354d: DUP9
0000354e: PUSH2 0x3c78
00003551: JUMP
00003552: JUMPDEST
00003553: DUP6
00003554: DUP4
00003555: MSTORE
00003556: DUP10
00003557: DUP8
00003558: MSTORE
00003559: DUP4
0000355a: DUP4
0000355b: KECCAK256
0000355c: SWAP2
0000355d: DUP6
0000355e: PUSH2 0x356b
00003561: DUP5
00003562: SLOAD
00003563: SWAP4
00003564: DUP3
00003565: DUP6
00003566: AND
00003567: PUSH2 0x3178
0000356a: JUMP
0000356b: JUMPDEST
0000356c: AND
0000356d: SWAP2
0000356e: AND
0000356f: OR
00003570: SWAP1
00003571: SSTORE
00003572: DUP1
00003573: SWAP8
00003574: DUP5
00003575: DUP3
00003576: MSTORE
00003577: DUP1
00003578: DUP7
00003579: MSTORE
0000357a: PUSH1 0x02
0000357c: DUP4
0000357d: DUP4
0000357e: KECCAK256
0000357f: ADD
00003580: SLOAD
00003581: PUSH1 0x80
00003583: SHR
00003584: SWAP10
00003585: DUP11
00003586: PUSH2 0x35aa
00003589: JUMPI
0000358a: JUMPDEST
0000358b: POP
0000358c: POP
0000358d: SWAP1
0000358e: MLOAD
0000358f: SWAP9
00003590: DUP10
00003591: MSTORE
00003592: POP
00003593: POP
00003594: POP
00003595: POP
00003596: POP
00003597: DUP9
00003598: DUP5
00003599: ADD
0000359a: MSTORE
0000359b: DUP11
0000359c: DUP4
0000359d: ADD
0000359e: MSTORE
0000359f: POP
000035a0: LOG2
000035a1: DUP8
000035a2: SWAP7
000035a3: SWAP6
000035a4: CODESIZE
000035a5: DUP1
000035a6: PUSH2 0x33cf
000035a9: JUMP
000035aa: JUMPDEST
000035ab: DUP9
000035ac: SWAP10
000035ad: POP
000035ae: PUSH2 0x35bf
000035b1: PUSH2 0x35ce
000035b4: SWAP8
000035b5: SWAP9
000035b6: SWAP12
000035b7: PUSH2 0x35e1
000035ba: SWAP11
000035bb: PUSH2 0x383b
000035be: JUMP
000035bf: JUMPDEST
000035c0: DIV
000035c1: SWAP7
000035c2: DUP8
000035c3: SWAP6
000035c4: DUP4
000035c5: MSTORE
000035c6: MSTORE
000035c7: KECCAK256
000035c8: SLOAD
000035c9: AND
000035ca: PUSH2 0x3221
000035cd: JUMP
000035ce: JUMPDEST
000035cf: DUP9
000035d0: DUP14
000035d1: MSTORE
000035d2: DUP12
000035d3: DUP12
000035d4: MSTORE
000035d5: DUP14
000035d6: DUP14
000035d7: KECCAK256
000035d8: SLOAD
000035d9: PUSH1 0x80
000035db: SHR
000035dc: SWAP2
000035dd: PUSH2 0x3be8
000035e0: JUMP
000035e1: JUMPDEST
000035e2: SWAP2
000035e3: DUP7
000035e4: DUP12
000035e5: MSTORE
000035e6: DUP13
000035e7: DUP10
000035e8: MSTORE
000035e9: DUP12
000035ea: DUP12
000035eb: KECCAK256
000035ec: SWAP1
000035ed: PUSH1 0x01
000035ef: SLOAD
000035f0: AND
000035f1: DUP12
000035f2: MSTORE
000035f3: DUP9
000035f4: MSTORE
000035f5: DUP11
000035f6: DUP11
000035f7: KECCAK256
000035f8: PUSH2 0x3602
000035fb: DUP4
000035fc: DUP3
000035fd: SLOAD
000035fe: PUSH2 0x316b
00003601: JUMP
00003602: JUMPDEST
00003603: SWAP1
00003604: SSTORE
00003605: PUSH2 0x3627
00003608: PUSH2 0x3610
0000360b: DUP4
0000360c: PUSH2 0x3c78
0000360f: JUMP
00003610: JUMPDEST
00003611: DUP8
00003612: DUP13
00003613: MSTORE
00003614: DUP11
00003615: DUP11
00003616: MSTORE
00003617: PUSH2 0x08e6
0000361a: DUP14
0000361b: DUP14
0000361c: KECCAK256
0000361d: SWAP2
0000361e: DUP3
0000361f: SLOAD
00003620: PUSH1 0x80
00003622: SHR
00003623: PUSH2 0x3178
00003626: JUMP
00003627: JUMPDEST
00003628: DUP2
00003629: SWAP1
0000362a: CODESIZE
0000362b: DUP10
0000362c: DUP16
0000362d: DUP10
0000362e: SWAP1
0000362f: DUP16
00003630: DUP16
00003631: DUP16
00003632: DUP7
00003633: PUSH2 0x358a
00003636: JUMP
00003637: JUMPDEST
00003638: SWAP1
00003639: SWAP10
0000363a: POP
0000363b: DUP4
0000363c: DUP2
0000363d: DUP2
0000363e: RETURNDATASIZE
0000363f: DUP4
00003640: GT
00003641: PUSH2 0x3660
00003644: JUMPI
00003645: JUMPDEST
00003646: PUSH2 0x364f
00003649: DUP2
0000364a: DUP4
0000364b: PUSH2 0x2d0f
0000364e: JUMP
0000364f: JUMPDEST
00003650: DUP2
00003651: ADD
00003652: SUB
00003653: SLT
00003654: PUSH2 0x1bd0
00003657: JUMPI
00003658: MLOAD
00003659: SWAP9
0000365a: PUSH1 0x60
0000365c: PUSH2 0x345f
0000365f: JUMP
00003660: JUMPDEST
00003661: POP
00003662: RETURNDATASIZE
00003663: PUSH2 0x3645
00003666: JUMP
00003667: JUMPDEST
00003668: DUP8
00003669: MLOAD
0000366a: RETURNDATASIZE
0000366b: DUP9
0000366c: DUP3
0000366d: RETURNDATACOPY
0000366e: RETURNDATASIZE
0000366f: SWAP1
00003670: REVERT
00003671: JUMPDEST
00003672: POP
00003673: POP
00003674: POP
00003675: POP
00003676: POP
00003677: POP
00003678: POP
00003679: SWAP1
0000367a: POP
0000367b: JUMP
0000367c: JUMPDEST
0000367d: SWAP1
0000367e: SWAP3
0000367f: SWAP2
00003680: PUSH1 0x00
00003682: SWAP4
00003683: DUP1
00003684: DUP6
00003685: MSTORE
00003686: PUSH1 0x20
00003688: SWAP3
00003689: PUSH1 0x02
0000368b: DUP5
0000368c: MSTORE
0000368d: PUSH1 0x40
0000368f: DUP7
00003690: KECCAK256
00003691: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000036a6: SWAP1
000036a7: DUP2
000036a8: DUP6
000036a9: AND
000036aa: DUP9
000036ab: MSTORE
000036ac: DUP6
000036ad: MSTORE
000036ae: PUSH16 0xffffffffffffffffffffffffffffffff
000036bf: PUSH1 0x01
000036c1: PUSH1 0x40
000036c3: DUP10
000036c4: KECCAK256
000036c5: ADD
000036c6: SLOAD
000036c7: AND
000036c8: ISZERO
000036c9: PUSH2 0x3762
000036cc: JUMPI
000036cd: DUP5
000036ce: PUSH1 0x04
000036d0: SWAP2
000036d1: PUSH1 0x40
000036d3: DUP5
000036d4: ADD
000036d5: MLOAD
000036d6: AND
000036d7: PUSH1 0x40
000036d9: MLOAD
000036da: SWAP3
000036db: DUP4
000036dc: DUP1
000036dd: SWAP3
000036de: PUSH32 0xa035b1fe00000000000000000000000000000000000000000000000000000000
000036ff: DUP3
00003700: MSTORE
00003701: GAS
00003702: STATICCALL
00003703: SWAP5
00003704: DUP6
00003705: ISZERO
00003706: PUSH2 0x3757
00003709: JUMPI
0000370a: DUP8
0000370b: SWAP6
0000370c: PUSH2 0x3720
0000370f: JUMPI
00003710: JUMPDEST
00003711: POP
00003712: POP
00003713: PUSH2 0x371d
00003716: SWAP5
00003717: SWAP6
00003718: POP
00003719: PUSH2 0x376d
0000371c: JUMP
0000371d: JUMPDEST
0000371e: SWAP1
0000371f: JUMP
00003720: JUMPDEST
00003721: SWAP1
00003722: DUP1
00003723: SWAP3
00003724: SWAP6
00003725: POP
00003726: DUP2
00003727: RETURNDATASIZE
00003728: DUP4
00003729: GT
0000372a: PUSH2 0x3750
0000372d: JUMPI
0000372e: JUMPDEST
0000372f: PUSH2 0x3738
00003732: DUP2
00003733: DUP4
00003734: PUSH2 0x2d0f
00003737: JUMP
00003738: JUMPDEST
00003739: DUP2
0000373a: ADD
0000373b: SUB
0000373c: SLT
0000373d: PUSH2 0x1bd0
00003740: JUMPI
00003741: PUSH2 0x371d
00003744: SWAP5
00003745: SWAP6
00003746: POP
00003747: MLOAD
00003748: SWAP3
00003749: DUP6
0000374a: SWAP5
0000374b: CODESIZE
0000374c: PUSH2 0x3710
0000374f: JUMP
00003750: JUMPDEST
00003751: POP
00003752: RETURNDATASIZE
00003753: PUSH2 0x372e
00003756: JUMP
00003757: JUMPDEST
00003758: PUSH1 0x40
0000375a: MLOAD
0000375b: RETURNDATASIZE
0000375c: DUP10
0000375d: DUP3
0000375e: RETURNDATACOPY
0000375f: RETURNDATASIZE
00003760: SWAP1
00003761: REVERT
00003762: JUMPDEST
00003763: POP
00003764: PUSH1 0x01
00003766: SWAP6
00003767: POP
00003768: POP
00003769: POP
0000376a: POP
0000376b: POP
0000376c: JUMP
0000376d: JUMPDEST
0000376e: PUSH1 0x80
00003770: PUSH15 0xc097ce7bc90715b34b9f1000000000
00003780: PUSH2 0x3813
00003783: PUSH2 0x381d
00003786: SWAP5
00003787: SWAP7
00003788: PUSH1 0x01
0000378a: PUSH1 0x40
0000378c: PUSH8 0x0de0b6b3a7640000
00003795: SWAP9
00003796: PUSH1 0x00
00003798: SWAP1
00003799: DUP12
0000379a: DUP3
0000379b: MSTORE
0000379c: PUSH1 0x02
0000379e: PUSH1 0x20
000037a0: MSTORE
000037a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000037b6: DUP4
000037b7: DUP4
000037b8: KECCAK256
000037b9: SWAP2
000037ba: AND
000037bb: SWAP1
000037bc: DUP2
000037bd: DUP4
000037be: MSTORE
000037bf: PUSH1 0x20
000037c1: MSTORE
000037c2: PUSH2 0x37f8
000037c5: PUSH16 0xffffffffffffffffffffffffffffffff
000037d6: DUP14
000037d7: DUP2
000037d8: DUP8
000037d9: DUP8
000037da: DUP8
000037db: KECCAK256
000037dc: ADD
000037dd: SLOAD
000037de: AND
000037df: SWAP1
000037e0: DUP6
000037e1: MSTORE
000037e2: PUSH1 0x03
000037e4: PUSH1 0x20
000037e6: MSTORE
000037e7: DUP7
000037e8: DUP7
000037e9: DUP7
000037ea: KECCAK256
000037eb: ADD
000037ec: SLOAD
000037ed: SWAP2
000037ee: DUP3
000037ef: DUP13
000037f0: SHR
000037f1: SWAP3
000037f2: AND
000037f3: SWAP1
000037f4: PUSH2 0x3c55
000037f7: JUMP
000037f8: JUMPDEST
000037f9: SWAP12
000037fa: DUP3
000037fb: MSTORE
000037fc: PUSH1 0x02
000037fe: PUSH1 0x20
00003800: MSTORE
00003801: DUP3
00003802: DUP3
00003803: KECCAK256
00003804: SWAP1
00003805: DUP3
00003806: MSTORE
00003807: PUSH1 0x20
00003809: MSTORE
0000380a: KECCAK256
0000380b: ADD
0000380c: SLOAD
0000380d: DUP5
0000380e: SHR
0000380f: PUSH2 0x383b
00003812: JUMP
00003813: JUMPDEST
00003814: DIV
00003815: SWAP2
00003816: ADD
00003817: MLOAD
00003818: SWAP1
00003819: PUSH2 0x383b
0000381c: JUMP
0000381d: JUMPDEST
0000381e: DIV
0000381f: LT
00003820: ISZERO
00003821: SWAP1
00003822: JUMP
00003823: JUMPDEST
00003824: PUSH8 0xffffffffffffffff
0000382d: DUP2
0000382e: GT
0000382f: PUSH2 0x1a35
00003832: JUMPI
00003833: PUSH1 0x05
00003835: SHL
00003836: PUSH1 0x20
00003838: ADD
00003839: SWAP1
0000383a: JUMP
0000383b: JUMPDEST
0000383c: DUP2
0000383d: DUP2
0000383e: MUL
0000383f: SWAP3
00003840: SWAP2
00003841: DUP2
00003842: ISZERO
00003843: SWAP2
00003844: DUP5
00003845: DIV
00003846: EQ
00003847: OR
00003848: ISZERO
00003849: PUSH2 0x0ccd
0000384c: JUMPI
0000384d: JUMP
0000384e: JUMPDEST
0000384f: DUP2
00003850: ISZERO
00003851: PUSH2 0x0df4
00003854: JUMPI
00003855: DIV
00003856: SWAP1
00003857: JUMP
00003858: JUMPDEST
00003859: SWAP1
0000385a: PUSH2 0x3862
0000385d: SWAP2
0000385e: PUSH2 0x383b
00003861: JUMP
00003862: JUMPDEST
00003863: SWAP1
00003864: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003885: DUP2
00003886: ADD
00003887: SWAP2
00003888: DUP2
00003889: DUP4
0000388a: GT
0000388b: PUSH2 0x0ccd
0000388e: JUMPI
0000388f: PUSH2 0x371d
00003892: SWAP3
00003893: PUSH2 0x07d4
00003896: SWAP2
00003897: PUSH2 0x316b
0000389a: JUMP
0000389b: JUMPDEST
0000389c: PUSH1 0x40
0000389e: MLOAD
0000389f: SWAP1
000038a0: PUSH2 0x38a8
000038a3: DUP3
000038a4: PUSH2 0x2cf3
000038a7: JUMP
000038a8: JUMPDEST
000038a9: PUSH1 0x07
000038ab: DUP3
000038ac: MSTORE
000038ad: PUSH32 0x6e6f20636f646500000000000000000000000000000000000000000000000000
000038ce: PUSH1 0x20
000038d0: DUP4
000038d1: ADD
000038d2: MSTORE
000038d3: JUMP
000038d4: JUMPDEST
000038d5: RETURNDATASIZE
000038d6: ISZERO
000038d7: PUSH2 0x392d
000038da: JUMPI
000038db: RETURNDATASIZE
000038dc: SWAP1
000038dd: PUSH8 0xffffffffffffffff
000038e6: DUP3
000038e7: GT
000038e8: PUSH2 0x1a35
000038eb: JUMPI
000038ec: PUSH1 0x40
000038ee: MLOAD
000038ef: SWAP2
000038f0: PUSH2 0x3921
000038f3: PUSH1 0x20
000038f5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00003916: PUSH1 0x1f
00003918: DUP5
00003919: ADD
0000391a: AND
0000391b: ADD
0000391c: DUP5
0000391d: PUSH2 0x2d0f
00003920: JUMP
00003921: JUMPDEST
00003922: DUP3
00003923: MSTORE
00003924: RETURNDATASIZE
00003925: PUSH1 0x00
00003927: PUSH1 0x20
00003929: DUP5
0000392a: ADD
0000392b: RETURNDATACOPY
0000392c: JUMP
0000392d: JUMPDEST
0000392e: PUSH1 0x60
00003930: SWAP1
00003931: JUMP
00003932: JUMPDEST
00003933: SWAP1
00003934: DUP2
00003935: PUSH1 0x20
00003937: SWAP2
00003938: SUB
00003939: SLT
0000393a: PUSH2 0x02c8
0000393d: JUMPI
0000393e: MLOAD
0000393f: DUP1
00003940: ISZERO
00003941: ISZERO
00003942: DUP2
00003943: SUB
00003944: PUSH2 0x02c8
00003947: JUMPI
00003948: SWAP1
00003949: JUMP
0000394a: JUMPDEST
0000394b: PUSH2 0x3a9d
0000394e: SWAP3
0000394f: PUSH1 0x00
00003951: SWAP3
00003952: DUP4
00003953: PUSH2 0x39da
00003956: PUSH2 0x3a06
00003959: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000396e: DUP4
0000396f: SWAP7
00003970: AND
00003971: SWAP5
00003972: PUSH2 0x3980
00003975: DUP7
00003976: EXTCODESIZE
00003977: ISZERO
00003978: ISZERO
00003979: PUSH2 0x0249
0000397c: PUSH2 0x389b
0000397f: JUMP
00003980: JUMPDEST
00003981: PUSH1 0x40
00003983: MLOAD
00003984: SWAP3
00003985: DUP4
00003986: SWAP2
00003987: PUSH1 0x20
00003989: DUP4
0000398a: ADD
0000398b: SWAP7
0000398c: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
000039ad: DUP9
000039ae: MSTORE
000039af: PUSH1 0x24
000039b1: DUP5
000039b2: ADD
000039b3: PUSH1 0x20
000039b5: SWAP1
000039b6: SWAP4
000039b7: SWAP3
000039b8: SWAP2
000039b9: SWAP4
000039ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000039cf: PUSH1 0x40
000039d1: DUP3
000039d2: ADD
000039d3: SWAP6
000039d4: AND
000039d5: DUP2
000039d6: MSTORE
000039d7: ADD
000039d8: MSTORE
000039d9: JUMP
000039da: JUMPDEST
000039db: SUB
000039dc: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000039fd: DUP2
000039fe: ADD
000039ff: DUP4
00003a00: MSTORE
00003a01: DUP3
00003a02: PUSH2 0x2d0f
00003a05: JUMP
00003a06: JUMPDEST
00003a07: MLOAD
00003a08: SWAP3
00003a09: GAS
00003a0a: CALL
00003a0b: PUSH2 0x3a52
00003a0e: PUSH2 0x3a15
00003a11: PUSH2 0x38d4
00003a14: JUMP
00003a15: JUMPDEST
00003a16: SWAP2
00003a17: PUSH1 0x40
00003a19: MLOAD
00003a1a: SWAP1
00003a1b: PUSH2 0x3a23
00003a1e: DUP3
00003a1f: PUSH2 0x2cf3
00003a22: JUMP
00003a23: JUMPDEST
00003a24: PUSH1 0x11
00003a26: DUP3
00003a27: MSTORE
00003a28: PUSH32 0x7472616e73666572207265766572746564000000000000000000000000000000
00003a49: PUSH1 0x20
00003a4b: DUP4
00003a4c: ADD
00003a4d: MSTORE
00003a4e: PUSH2 0x2f41
00003a51: JUMP
00003a52: JUMPDEST
00003a53: DUP1
00003a54: MLOAD
00003a55: SWAP1
00003a56: DUP2
00003a57: ISZERO
00003a58: SWAP2
00003a59: DUP3
00003a5a: ISZERO
00003a5b: PUSH2 0x3a9f
00003a5e: JUMPI
00003a5f: JUMPDEST
00003a60: POP
00003a61: POP
00003a62: PUSH1 0x40
00003a64: MLOAD
00003a65: SWAP1
00003a66: PUSH2 0x3a6e
00003a69: DUP3
00003a6a: PUSH2 0x2cf3
00003a6d: JUMP
00003a6e: JUMPDEST
00003a6f: PUSH1 0x17
00003a71: DUP3
00003a72: MSTORE
00003a73: PUSH32 0x7472616e736665722072657475726e65642066616c7365000000000000000000
00003a94: PUSH1 0x20
00003a96: DUP4
00003a97: ADD
00003a98: MSTORE
00003a99: PUSH2 0x2f41
00003a9c: JUMP
00003a9d: JUMPDEST
00003a9e: JUMP
00003a9f: JUMPDEST
00003aa0: PUSH2 0x3ab2
00003aa3: SWAP3
00003aa4: POP
00003aa5: PUSH1 0x20
00003aa7: DUP1
00003aa8: SWAP2
00003aa9: DUP4
00003aaa: ADD
00003aab: ADD
00003aac: SWAP2
00003aad: ADD
00003aae: PUSH2 0x3932
00003ab1: JUMP
00003ab2: JUMPDEST
00003ab3: CODESIZE
00003ab4: DUP1
00003ab5: PUSH2 0x3a5f
00003ab8: JUMP
00003ab9: JUMPDEST
00003aba: PUSH1 0x00
00003abc: SWAP3
00003abd: SWAP2
00003abe: DUP4
00003abf: DUP1
00003ac0: SWAP4
00003ac1: PUSH2 0x3a9d
00003ac4: SWAP7
00003ac5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ada: DUP1
00003adb: SWAP6
00003adc: AND
00003add: SWAP5
00003ade: PUSH2 0x3aec
00003ae1: DUP7
00003ae2: EXTCODESIZE
00003ae3: ISZERO
00003ae4: ISZERO
00003ae5: PUSH2 0x0249
00003ae8: PUSH2 0x389b
00003aeb: JUMP
00003aec: JUMPDEST
00003aed: PUSH1 0x40
00003aef: MLOAD
00003af0: SWAP3
00003af1: DUP2
00003af2: PUSH1 0x20
00003af4: DUP6
00003af5: ADD
00003af6: SWAP7
00003af7: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
00003b18: DUP9
00003b19: MSTORE
00003b1a: AND
00003b1b: PUSH1 0x24
00003b1d: DUP6
00003b1e: ADD
00003b1f: MSTORE
00003b20: AND
00003b21: PUSH1 0x44
00003b23: DUP4
00003b24: ADD
00003b25: MSTORE
00003b26: PUSH1 0x64
00003b28: DUP3
00003b29: ADD
00003b2a: MSTORE
00003b2b: PUSH1 0x64
00003b2d: DUP2
00003b2e: MSTORE
00003b2f: PUSH2 0x3b37
00003b32: DUP2
00003b33: PUSH2 0x2cd7
00003b36: JUMP
00003b37: JUMPDEST
00003b38: MLOAD
00003b39: SWAP3
00003b3a: GAS
00003b3b: CALL
00003b3c: PUSH2 0x3b83
00003b3f: PUSH2 0x3b46
00003b42: PUSH2 0x38d4
00003b45: JUMP
00003b46: JUMPDEST
00003b47: SWAP2
00003b48: PUSH1 0x40
00003b4a: MLOAD
00003b4b: SWAP1
00003b4c: PUSH2 0x3b54
00003b4f: DUP3
00003b50: PUSH2 0x2cf3
00003b53: JUMP
00003b54: JUMPDEST
00003b55: PUSH1 0x15
00003b57: DUP3
00003b58: MSTORE
00003b59: PUSH32 0x7472616e7366657246726f6d2072657665727465640000000000000000000000
00003b7a: PUSH1 0x20
00003b7c: DUP4
00003b7d: ADD
00003b7e: MSTORE
00003b7f: PUSH2 0x2f41
00003b82: JUMP
00003b83: JUMPDEST
00003b84: DUP1
00003b85: MLOAD
00003b86: SWAP1
00003b87: DUP2
00003b88: ISZERO
00003b89: SWAP2
00003b8a: DUP3
00003b8b: ISZERO
00003b8c: PUSH2 0x3bce
00003b8f: JUMPI
00003b90: JUMPDEST
00003b91: POP
00003b92: POP
00003b93: PUSH1 0x40
00003b95: MLOAD
00003b96: SWAP1
00003b97: PUSH2 0x3b9f
00003b9a: DUP3
00003b9b: PUSH2 0x2cf3
00003b9e: JUMP
00003b9f: JUMPDEST
00003ba0: PUSH1 0x1b
00003ba2: DUP3
00003ba3: MSTORE
00003ba4: PUSH32 0x7472616e7366657246726f6d2072657475726e65642066616c73650000000000
00003bc5: PUSH1 0x20
00003bc7: DUP4
00003bc8: ADD
00003bc9: MSTORE
00003bca: PUSH2 0x2f41
00003bcd: JUMP
00003bce: JUMPDEST
00003bcf: PUSH2 0x3be1
00003bd2: SWAP3
00003bd3: POP
00003bd4: PUSH1 0x20
00003bd6: DUP1
00003bd7: SWAP2
00003bd8: DUP4
00003bd9: ADD
00003bda: ADD
00003bdb: SWAP2
00003bdc: ADD
00003bdd: PUSH2 0x3932
00003be0: JUMP
00003be1: JUMPDEST
00003be2: CODESIZE
00003be3: DUP1
00003be4: PUSH2 0x3b90
00003be7: JUMP
00003be8: JUMPDEST
00003be9: PUSH3 0x0f4240
00003bed: DUP4
00003bee: ADD
00003bef: DUP1
00003bf0: SWAP4
00003bf1: GT
00003bf2: PUSH2 0x0ccd
00003bf5: JUMPI
00003bf6: PUSH1 0x01
00003bf8: DUP3
00003bf9: ADD
00003bfa: DUP1
00003bfb: SWAP3
00003bfc: GT
00003bfd: PUSH2 0x0ccd
00003c00: JUMPI
00003c01: PUSH2 0x371d
00003c04: SWAP3
00003c05: PUSH2 0x07d4
00003c08: SWAP2
00003c09: PUSH2 0x383b
00003c0c: JUMP
00003c0d: JUMPDEST
00003c0e: PUSH1 0x01
00003c10: DUP3
00003c11: ADD
00003c12: SWAP3
00003c13: SWAP2
00003c14: DUP4
00003c15: LT
00003c16: PUSH2 0x0ccd
00003c19: JUMPI
00003c1a: PUSH3 0x0f4240
00003c1e: DUP3
00003c1f: ADD
00003c20: DUP1
00003c21: SWAP3
00003c22: GT
00003c23: PUSH2 0x0ccd
00003c26: JUMPI
00003c27: PUSH2 0x371d
00003c2a: SWAP3
00003c2b: PUSH2 0x07d4
00003c2e: SWAP2
00003c2f: PUSH2 0x383b
00003c32: JUMP
00003c33: JUMPDEST
00003c34: SWAP2
00003c35: PUSH3 0x0f4240
00003c39: DUP2
00003c3a: ADD
00003c3b: DUP1
00003c3c: SWAP2
00003c3d: GT
00003c3e: PUSH2 0x0ccd
00003c41: JUMPI
00003c42: PUSH1 0x01
00003c44: DUP3
00003c45: ADD
00003c46: DUP1
00003c47: SWAP3
00003c48: GT
00003c49: PUSH2 0x0ccd
00003c4c: JUMPI
00003c4d: PUSH2 0x371d
00003c50: SWAP3
00003c51: PUSH2 0x3858
00003c54: JUMP
00003c55: JUMPDEST
00003c56: SWAP2
00003c57: SWAP1
00003c58: PUSH1 0x01
00003c5a: DUP2
00003c5b: ADD
00003c5c: DUP1
00003c5d: SWAP2
00003c5e: GT
00003c5f: PUSH2 0x0ccd
00003c62: JUMPI
00003c63: PUSH3 0x0f4240
00003c67: DUP3
00003c68: ADD
00003c69: DUP1
00003c6a: SWAP3
00003c6b: GT
00003c6c: PUSH2 0x0ccd
00003c6f: JUMPI
00003c70: PUSH2 0x371d
00003c73: SWAP3
00003c74: PUSH2 0x3858
00003c77: JUMP
00003c78: JUMPDEST
00003c79: PUSH1 0x40
00003c7b: MLOAD
00003c7c: SWAP1
00003c7d: PUSH2 0x3c85
00003c80: DUP3
00003c81: PUSH2 0x2cf3
00003c84: JUMP
00003c85: JUMPDEST
00003c86: PUSH1 0x14
00003c88: DUP3
00003c89: MSTORE
00003c8a: PUSH32 0x6d61782075696e74313238206578636565646564000000000000000000000000
00003cab: PUSH1 0x20
00003cad: DUP4
00003cae: ADD
00003caf: MSTORE
00003cb0: PUSH2 0x3ccd
00003cb3: PUSH16 0xffffffffffffffffffffffffffffffff
00003cc4: SWAP3
00003cc5: DUP4
00003cc6: DUP4
00003cc7: GT
00003cc8: ISZERO
00003cc9: PUSH2 0x2f41
00003ccc: JUMP
00003ccd: JUMPDEST
00003cce: AND
00003ccf: SWAP1
00003cd0: JUMP
00003cd1: INVALID
00003cd2: LOG2
00003cd3: PUSH5 0x6970667358
00003cd9: UNKNOWN(0x22)
00003cda: SLT
00003cdb: KECCAK256
00003cdc: PUSH26 0x158eb535c7c15b41fefd9a35ecfba352cc57513680ee925005a5
00003cf7: UNKNOWN(0xE7)
00003cf8: DUP14
00003cf9: PUSH17

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x747e769a7ab948a350f73334cd18d369a2d822c888b60ce60c9e913e23694255
call_targets: 0xbbbbbbbbbb9cc5e90e3b3af64bdaf62c37eeffcb
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x747e769a7ab948a350f73334cd18d369a2d822c888b60ce60c9e913e23694255",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xbbbbbbbbbb9cc5e90e3b3af64bdaf62c37eeffcb"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x13af4035",
            "selector": "0x13af4035",
            "calldata_variants": [
                "0x13af4035",
                "0x13af40350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x151c1ade",
            "selector": "0x151c1ade",
            "calldata_variants": [
                "0x151c1ade",
                "0x151c1ade0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x20b76e81",
            "selector": "0x20b76e81",
            "calldata_variants": [
                "0x20b76e81",
                "0x20b76e810000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x238d6579",
            "selector": "0x238d6579",
            "calldata_variants": [
                "0x238d6579",
                "0x238d65790000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2b4f013c",
            "selector": "0x2b4f013c",
            "calldata_variants": [
                "0x2b4f013c",
                "0x2b4f013c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2c3c9157",
            "selector": "0x2c3c9157",
            "calldata_variants": [
                "0x2c3c9157",
                "0x2c3c91570000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3644e515",
            "selector": "0x3644e515",
            "calldata_variants": [
                "0x3644e515",
                "0x3644e5150000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x46904840",
            "selector": "0x46904840",
            "calldata_variants": [
                "0x46904840",
                "0x469048400000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1185,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2836,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4290,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 9,
    "guards_detected": [],
    "untrusted_call_count": 9
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x747e769a7ab948a350f73334cd18d369a2d822c888b60ce60c9e913e23694255
call_targets: 0xbbbbbbbbbb9cc5e90e3b3af64bdaf62c37eeffcb
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x747e769a7ab948a350f73334cd18d369a2d822c888b60ce60c9e913e23694255",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xbbbbbbbbbb9cc5e90e3b3af64bdaf62c37eeffcb"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x13af4035",
            "selector": "0x13af4035",
            "calldata_variants": [
                "0x13af4035",
                "0x13af40350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x151c1ade",
            "selector": "0x151c1ade",
            "calldata_variants": [
                "0x151c1ade",
                "0x151c1ade0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x20b76e81",
            "selector": "0x20b76e81",
            "calldata_variants": [
                "0x20b76e81",
                "0x20b76e810000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x238d6579",
            "selector": "0x238d6579",
            "calldata_variants": [
                "0x238d6579",
                "0x238d65790000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2b4f013c",
            "selector": "0x2b4f013c",
            "calldata_variants": [
                "0x2b4f013c",
                "0x2b4f013c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2c3c9157",
            "selector": "0x2c3c9157",
            "calldata_variants": [
                "0x2c3c9157",
                "0x2c3c91570000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3644e515",
            "selector": "0x3644e515",
            "calldata_variants": [
                "0x3644e515",
                "0x3644e5150000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x46904840",
            "selector": "0x46904840",
            "calldata_variants": [
                "0x46904840",
                "0x469048400000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1185,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2836,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4290,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 9,
    "guards_detected": []
}
info other cast Heavy EXTCODE*/BALANCE usage 55 no
view
evidence_json
{
    "notes": "frequent external code or balance checks; may indicate introspection or validation logic",
    "ext_balance_count": 7
}
info other cast Heavy CALL-family usage 55 no
view
evidence_json
{
    "notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
    "call_family_count": 12
}