Analysis Run

[codex:1267643] OpenAI Codex v0.77.0 (research preview)
[codex:1267643] --------
[codex:1267643] workdir: /tmp/codex-multi-ryn041j4
[codex:1267643] model: gpt-5.2-codex
[codex:1267643] provider: openai
[codex:1267643] approval: never
[codex:1267643] sandbox: read-only
[codex:1267643] reasoning effort: xhigh
[codex:1267643] reasoning summaries: auto
[codex:1267643] session id: 019b8cdc-eb1a-7b00-a095-b72cf60037d2
[codex:1267643] --------
[codex:1267643] user
[codex:1267643] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1267643] 
[codex:1267643] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1267643] 
[codex:1267643] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1267643] - Gas inefficiency, code quality, naming, or best practices
[codex:1267643] - Theoretical vulnerabilities without a clear extraction path
[codex:1267643] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1267643] - Front-running unless it enables theft beyond MEV
[codex:1267643] - DoS, griefing, or issues that don't result in attacker profit
[codex:1267643] - Missing events, view function issues, or informational findings
[codex:1267643] 
[codex:1267643] HIGH-VALUE PATTERNS TO HUNT:
[codex:1267643] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1267643] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1267643] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1267643] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1267643] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1267643] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1267643] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1267643] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1267643] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1267643] 
[codex:1267643] For each finding, you MUST provide:
[codex:1267643] 1. Exact file and line numbers of vulnerable code
[codex:1267643] 2. Step-by-step exploit transaction sequence
[codex:1267643] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1267643] 
[codex:1267643] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1267643] 
[codex:1267643] Output MUST be valid JSON matching the provided schema.
[codex:1267643] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1267643] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1267643] mcp startup: no servers
[codex:1267643] 
[codex:1267643] thinking
[codex:1267643] **Preparing to read audit bundle**
[codex:1267643] exec
[codex:1267643] /bin/bash -lc ls in /tmp/codex-multi-ryn041j4 succeeded in 6ms:
[codex:1267643] AUDIT_BUNDLE.txt
[codex:1267643] codex-output-schema.json
[codex:1267643] contracts
[codex:1267643] exec
[codex:1267643] /bin/bash -lc "sed -n '1,200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-ryn041j4 succeeded in 6ms:
[codex:1267643] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1267643] 
[codex:1267643] ================================================================================
[codex:1267643] FILE: contracts/src/Stash.sol
[codex:1267643] ================================================================================
[codex:1267643] // SPDX-License-Identifier: MIT
[codex:1267643] 
[codex:1267643] pragma solidity 0.8.23;
[codex:1267643] 
[codex:1267643] import {IAuction} from "./interfaces/IAuction.sol";
[codex:1267643] import {IWETH} from "./interfaces/IWETH.sol";
[codex:1267643] import {OrderType} from "./helpers/Enum.sol";
[codex:1267643] import {Order, PunkBid} from "./helpers/Struct.sol";
[codex:1267643] import {MerkleProofLib} from "lib/solady/src/utils/MerkleProofLib.sol";
[codex:1267643] import {SignatureCheckerLib} from "lib/solady/src/utils/SignatureCheckerLib.sol";
[codex:1267643] import {SafeTransferLib} from "lib/solady/src/utils/SafeTransferLib.sol";
[codex:1267643] import {IERC721} from "forge-std/interfaces/IERC721.sol";
[codex:1267643] import {IERC1155} from "forge-std/interfaces/IERC1155.sol";
[codex:1267643] import {IERC20} from "forge-std/interfaces/IERC20.sol";
[codex:1267643] import {ILegacyWrappedPunks} from "./interfaces/ILegacyWrappedPunks.sol";
[codex:1267643] exec
[codex:1267643] /bin/bash -lc "sed -n '200,400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-ryn041j4 succeeded in 5ms:
[codex:1267643] 
[codex:1267643]         uint256 _availableLiquidity;
[codex:1267643]         unchecked {
[codex:1267643]             // Locked amount cannot exceed paymentTokenBalance.
[codex:1267643]             _availableLiquidity = paymentTokenBalance - lockedAmount;
[codex:1267643]         }
[codex:1267643] 
[codex:1267643]         _cleanStaleBids(paymentToken, finalizedIndexes);
[codex:1267643] 
[codex:1267643]         Order memory newOrder = Order(numberOfUnits, pricePerUnit, msg.sender);
[codex:1267643] 
[codex:1267643]         Order[] storage _orders = paymentTokenToOrders[paymentToken];
[codex:1267643] 
[codex:1267643]         for (uint256 i = 0; i < _orders.length; ++i) {
[codex:1267643]             Order storage _order = _orders[i];
[codex:1267643]             if (_order.auction == msg.sender) {
[codex:1267643]                 // cache the existing order to emit an event later.
[codex:1267643]                 Order memory existingOrder = _order;
[codex:1267643] 
[codex:1267643]                 // This will check that the stash has funds to cover the order, and modify the existing order in place.
[codex:1267643] exec
[codex:1267643] /bin/bash -lc "sed -n '400,800p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-ryn041j4 succeeded in 7ms:
[codex:1267643]             amountDueToCaller = bidPrice;
[codex:1267643]         }
[codex:1267643] 
[codex:1267643]         _CRYPTOPUNKS.transferPunk(owner, punkIndex);
[codex:1267643]         if (amountDueToCaller > 0) {
[codex:1267643]             (bool callerPaid,) = payable(msg.sender).call{value: amountDueToCaller}("");
[codex:1267643]             if (!callerPaid) revert FailedToBuyPunk();
[codex:1267643]         }
[codex:1267643] 
[codex:1267643]         emit PunkBidAccepted(bidPrice, punkIndex);
[codex:1267643]     }
[codex:1267643] 
[codex:1267643]     /**
[codex:1267643]      * @notice Cancels a bid.
[codex:1267643]      * @param bidNonce The nonce of the bid to cancel.
[codex:1267643]      */
[codex:1267643]     function cancelPunkBid(uint256 bidNonce) external onlyOwner {
[codex:1267643]         usedPunkBidNonces[bidNonce] = true;
[codex:1267643] 
[codex:1267643]         emit PunkBidCanceled(bidNonce);
[codex:1267643] exec
[codex:1267643] /bin/bash -lc "sed -n '800,1200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-ryn041j4 succeeded in 6ms:
[codex:1267643]     bytes32 root;
[codex:1267643] }
[codex:1267643] 
[codex:1267643] ================================================================================
[codex:1267643] FILE: contracts/src/interfaces/IAuction.sol
[codex:1267643] ================================================================================
[codex:1267643] // SPDX-License-Identifier: MIT
[codex:1267643] // OpenZeppelin Contracts (last updated v4.9.0) (token/ERC721/IERC721.sol)
[codex:1267643] 
[codex:1267643] pragma solidity ^0.8.0;
[codex:1267643] 
[codex:1267643] import "forge-std/interfaces/IERC165.sol";
[codex:1267643] import {OrderType} from "../helpers/Enum.sol";
[codex:1267643] 
[codex:1267643] /**
[codex:1267643]  * @dev Required interface of an ERC721 compliant contract.
[codex:1267643]  */
[codex:1267643] interface IAuction is IERC165 {
[codex:1267643]     error AuctionNotOpen();
[codex:1267643]     error BidTooLow();
[codex:1267643] 
[codex:1267643] 
[codex:1267643] 
[codex:1267643] thinking
[codex:1267643] **Analyzing Stash contract for exploitable issues**
[codex:1267643] thinking
[codex:1267643] **Examining initialization and order handling risks**
[codex:1267643] 
[codex:1267643] This thought piece walks through potential risks with unprotected initialize calls on clones, ownership quirks from constructor use, and auction order handling. I’m weighing scenarios where an attacker might front-run initialization or manipulate auction orders to profit, but many depend on factory behavior or owner actions. I'm also seeing possible issues with locked token accounting if auctions change payment tokens or if deflationary tokens interfere, though these mainly affect owner controls rather than giving attackers direct gain. Overall, I’m parsing subtle code details against concrete exploit paths to profit.
[codex:1267643] thinking
[codex:1267643] **Assessing reentrancy and token accounting issues**
[codex:1267643] 
[codex:1267643] I’m exploring how malicious auctions could exploit reentrancy by abusing external calls in locked funds calculations, potentially manipulating order state during withdraw or order placement. Although the chained calls might cause inconsistent state observations during these operations, they don’t seem to enable attackers to profit directly. I’m also considering effects of fee-on-transfer tokens on liquidity tracking and withdrawal, but owner restrictions limit attacker gains. Overall, subtle risks exist, yet no clear path to exploit profits emerges.
[codex:1267643] codex
[codex:1267643] {"no_findings":true,"summary":"No concrete, exploitable profit paths identified in the provided sources.","findings":[]}
[codex:1267643] tokens used
[codex:1267643] 23,919
[codex:1267643] {"no_findings":true,"summary":"No concrete, exploitable profit paths identified in the provided sources.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-05T06:37:21.932776+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths identified in the provided sources.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths identified in the provided sources.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x014f
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0xb68463b9
00000019: GT
0000001a: PUSH2 0x00b6
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xd8fb9337
00000024: GT
00000025: PUSH2 0x006f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd8fb9337
0000002f: EQ
00000030: PUSH2 0x041a
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd93e8b9c
0000003a: EQ
0000003b: PUSH2 0x043a
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe0f3bd75
00000045: EQ
00000046: PUSH2 0x048b
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe4d84d76
00000050: EQ
00000051: PUSH2 0x04b8
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf23a6e61
0000005b: EQ
0000005c: PUSH2 0x04d8
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf3fef3a3
00000066: EQ
00000067: PUSH2 0x0504
0000006a: JUMPI
0000006b: PUSH1 0x00
0000006d: DUP1
0000006e: REVERT
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xb68463b9
00000076: EQ
00000077: PUSH2 0x0345
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xbc197c81
00000081: EQ
00000082: PUSH2 0x035a
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xbd5ec94c
0000008c: EQ
0000008d: PUSH2 0x0386
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xc4d66de8
00000097: EQ
00000098: PUSH2 0x03c5
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xc8cafcb2
000000a2: EQ
000000a3: PUSH2 0x03e5
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0xcd6c1abf
000000ad: EQ
000000ae: PUSH2 0x03fa
000000b1: JUMPI
000000b2: PUSH1 0x00
000000b4: DUP1
000000b5: REVERT
000000b6: JUMPDEST
000000b7: DUP1
000000b8: PUSH4 0x58c6227c
000000bd: GT
000000be: PUSH2 0x0108
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x58c6227c
000000c8: EQ
000000c9: PUSH2 0x0248
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x6eba2b13
000000d3: EQ
000000d4: PUSH2 0x0288
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x8da5cb5b
000000de: EQ
000000df: PUSH2 0x02b5
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0x8dda0c5c
000000e9: EQ
000000ea: PUSH2 0x02f2
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0x90aaf2ff
000000f4: EQ
000000f5: PUSH2 0x0305
000000f8: JUMPI
000000f9: DUP1
000000fa: PUSH4 0xa5ceac99
000000ff: EQ
00000100: PUSH2 0x0325
00000103: JUMPI
00000104: PUSH1 0x00
00000106: DUP1
00000107: REVERT
00000108: JUMPDEST
00000109: DUP1
0000010a: PUSH4 0x13edab81
0000010f: EQ
00000110: PUSH2 0x015b
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x150b7a02
0000011a: EQ
0000011b: PUSH2 0x017d
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x181f37c8
00000125: EQ
00000126: PUSH2 0x01c6
00000129: JUMPI
0000012a: DUP1
0000012b: PUSH4 0x2fe69af8
00000130: EQ
00000131: PUSH2 0x01f4
00000134: JUMPI
00000135: DUP1
00000136: PUSH4 0x4cce45e7
0000013b: EQ
0000013c: PUSH2 0x0214
0000013f: JUMPI
00000140: DUP1
00000141: PUSH4 0x54fd4d50
00000146: EQ
00000147: PUSH2 0x0234
0000014a: JUMPI
0000014b: PUSH1 0x00
0000014d: DUP1
0000014e: REVERT
0000014f: JUMPDEST
00000150: CALLDATASIZE
00000151: PUSH2 0x0156
00000154: JUMPI
00000155: STOP
00000156: JUMPDEST
00000157: PUSH1 0x00
00000159: DUP1
0000015a: REVERT
0000015b: JUMPDEST
0000015c: CALLVALUE
0000015d: DUP1
0000015e: ISZERO
0000015f: PUSH2 0x0167
00000162: JUMPI
00000163: PUSH1 0x00
00000165: DUP1
00000166: REVERT
00000167: JUMPDEST
00000168: POP
00000169: PUSH2 0x017b
0000016c: PUSH2 0x0176
0000016f: CALLDATASIZE
00000170: PUSH1 0x04
00000172: PUSH2 0x2952
00000175: JUMP
00000176: JUMPDEST
00000177: PUSH2 0x0524
0000017a: JUMP
0000017b: JUMPDEST
0000017c: STOP
0000017d: JUMPDEST
0000017e: CALLVALUE
0000017f: DUP1
00000180: ISZERO
00000181: PUSH2 0x0189
00000184: JUMPI
00000185: PUSH1 0x00
00000187: DUP1
00000188: REVERT
00000189: JUMPDEST
0000018a: POP
0000018b: PUSH2 0x01a8
0000018e: PUSH2 0x0198
00000191: CALLDATASIZE
00000192: PUSH1 0x04
00000194: PUSH2 0x2a5e
00000197: JUMP
00000198: JUMPDEST
00000199: PUSH4 0x0a85bd01
0000019e: PUSH1 0xe1
000001a0: SHL
000001a1: SWAP5
000001a2: SWAP4
000001a3: POP
000001a4: POP
000001a5: POP
000001a6: POP
000001a7: JUMP
000001a8: JUMPDEST
000001a9: PUSH1 0x40
000001ab: MLOAD
000001ac: PUSH1 0x01
000001ae: PUSH1 0x01
000001b0: PUSH1 0xe0
000001b2: SHL
000001b3: SUB
000001b4: NOT
000001b5: SWAP1
000001b6: SWAP2
000001b7: AND
000001b8: DUP2
000001b9: MSTORE
000001ba: PUSH1 0x20
000001bc: ADD
000001bd: JUMPDEST
000001be: PUSH1 0x40
000001c0: MLOAD
000001c1: DUP1
000001c2: SWAP2
000001c3: SUB
000001c4: SWAP1
000001c5: RETURN
000001c6: JUMPDEST
000001c7: CALLVALUE
000001c8: DUP1
000001c9: ISZERO
000001ca: PUSH2 0x01d2
000001cd: JUMPI
000001ce: PUSH1 0x00
000001d0: DUP1
000001d1: REVERT
000001d2: JUMPDEST
000001d3: POP
000001d4: PUSH2 0x01e6
000001d7: PUSH2 0x01e1
000001da: CALLDATASIZE
000001db: PUSH1 0x04
000001dd: PUSH2 0x2aca
000001e0: JUMP
000001e1: JUMPDEST
000001e2: PUSH2 0x0610
000001e5: JUMP
000001e6: JUMPDEST
000001e7: PUSH1 0x40
000001e9: MLOAD
000001ea: SWAP1
000001eb: DUP2
000001ec: MSTORE
000001ed: PUSH1 0x20
000001ef: ADD
000001f0: PUSH2 0x01bd
000001f3: JUMP
000001f4: JUMPDEST
000001f5: CALLVALUE
000001f6: DUP1
000001f7: ISZERO
000001f8: PUSH2 0x0200
000001fb: JUMPI
000001fc: PUSH1 0x00
000001fe: DUP1
000001ff: REVERT
00000200: JUMPDEST
00000201: POP
00000202: PUSH2 0x017b
00000205: PUSH2 0x020f
00000208: CALLDATASIZE
00000209: PUSH1 0x04
0000020b: PUSH2 0x2ae7
0000020e: JUMP
0000020f: JUMPDEST
00000210: PUSH2 0x063e
00000213: JUMP
00000214: JUMPDEST
00000215: CALLVALUE
00000216: DUP1
00000217: ISZERO
00000218: PUSH2 0x0220
0000021b: JUMPI
0000021c: PUSH1 0x00
0000021e: DUP1
0000021f: REVERT
00000220: JUMPDEST
00000221: POP
00000222: PUSH2 0x017b
00000225: PUSH2 0x022f
00000228: CALLDATASIZE
00000229: PUSH1 0x04
0000022b: PUSH2 0x2b29
0000022e: JUMP
0000022f: JUMPDEST
00000230: PUSH2 0x073e
00000233: JUMP
00000234: JUMPDEST
00000235: CALLVALUE
00000236: DUP1
00000237: ISZERO
00000238: PUSH2 0x0240
0000023b: JUMPI
0000023c: PUSH1 0x00
0000023e: DUP1
0000023f: REVERT
00000240: JUMPDEST
00000241: POP
00000242: PUSH1 0x01
00000244: PUSH2 0x01e6
00000247: JUMP
00000248: JUMPDEST
00000249: CALLVALUE
0000024a: DUP1
0000024b: ISZERO
0000024c: PUSH2 0x0254
0000024f: JUMPI
00000250: PUSH1 0x00
00000252: DUP1
00000253: REVERT
00000254: JUMPDEST
00000255: POP
00000256: PUSH2 0x0278
00000259: PUSH2 0x0263
0000025c: CALLDATASIZE
0000025d: PUSH1 0x04
0000025f: PUSH2 0x2b29
00000262: JUMP
00000263: JUMPDEST
00000264: PUSH1 0x02
00000266: PUSH1 0x20
00000268: MSTORE
00000269: PUSH1 0x00
0000026b: SWAP1
0000026c: DUP2
0000026d: MSTORE
0000026e: PUSH1 0x40
00000270: SWAP1
00000271: KECCAK256
00000272: SLOAD
00000273: PUSH1 0xff
00000275: AND
00000276: DUP2
00000277: JUMP
00000278: JUMPDEST
00000279: PUSH1 0x40
0000027b: MLOAD
0000027c: SWAP1
0000027d: ISZERO
0000027e: ISZERO
0000027f: DUP2
00000280: MSTORE
00000281: PUSH1 0x20
00000283: ADD
00000284: PUSH2 0x01bd
00000287: JUMP
00000288: JUMPDEST
00000289: CALLVALUE
0000028a: DUP1
0000028b: ISZERO
0000028c: PUSH2 0x0294
0000028f: JUMPI
00000290: PUSH1 0x00
00000292: DUP1
00000293: REVERT
00000294: JUMPDEST
00000295: POP
00000296: PUSH2 0x02a8
00000299: PUSH2 0x02a3
0000029c: CALLDATASIZE
0000029d: PUSH1 0x04
0000029f: PUSH2 0x2aca
000002a2: JUMP
000002a3: JUMPDEST
000002a4: PUSH2 0x07b1
000002a7: JUMP
000002a8: JUMPDEST
000002a9: PUSH1 0x40
000002ab: MLOAD
000002ac: PUSH2 0x01bd
000002af: SWAP2
000002b0: SWAP1
000002b1: PUSH2 0x2b42
000002b4: JUMP
000002b5: JUMPDEST
000002b6: CALLVALUE
000002b7: DUP1
000002b8: ISZERO
000002b9: PUSH2 0x02c1
000002bc: JUMPI
000002bd: PUSH1 0x00
000002bf: DUP1
000002c0: REVERT
000002c1: JUMPDEST
000002c2: POP
000002c3: PUSH1 0x00
000002c5: SLOAD
000002c6: PUSH2 0x02da
000002c9: SWAP1
000002ca: PUSH2 0x0100
000002cd: SWAP1
000002ce: DIV
000002cf: PUSH1 0x01
000002d1: PUSH1 0x01
000002d3: PUSH1 0xa0
000002d5: SHL
000002d6: SUB
000002d7: AND
000002d8: DUP2
000002d9: JUMP
000002da: JUMPDEST
000002db: PUSH1 0x40
000002dd: MLOAD
000002de: PUSH1 0x01
000002e0: PUSH1 0x01
000002e2: PUSH1 0xa0
000002e4: SHL
000002e5: SUB
000002e6: SWAP1
000002e7: SWAP2
000002e8: AND
000002e9: DUP2
000002ea: MSTORE
000002eb: PUSH1 0x20
000002ed: ADD
000002ee: PUSH2 0x01bd
000002f1: JUMP
000002f2: JUMPDEST
000002f3: PUSH2 0x017b
000002f6: PUSH2 0x0300
000002f9: CALLDATASIZE
000002fa: PUSH1 0x04
000002fc: PUSH2 0x2ba2
000002ff: JUMP
00000300: JUMPDEST
00000301: PUSH2 0x0991
00000304: JUMP
00000305: JUMPDEST
00000306: CALLVALUE
00000307: DUP1
00000308: ISZERO
00000309: PUSH2 0x0311
0000030c: JUMPI
0000030d: PUSH1 0x00
0000030f: DUP1
00000310: REVERT
00000311: JUMPDEST
00000312: POP
00000313: PUSH2 0x017b
00000316: PUSH2 0x0320
00000319: CALLDATASIZE
0000031a: PUSH1 0x04
0000031c: PUSH2 0x2b29
0000031f: JUMP
00000320: JUMPDEST
00000321: PUSH2 0x0d33
00000324: JUMP
00000325: JUMPDEST
00000326: CALLVALUE
00000327: DUP1
00000328: ISZERO
00000329: PUSH2 0x0331
0000032c: JUMPI
0000032d: PUSH1 0x00
0000032f: DUP1
00000330: REVERT
00000331: JUMPDEST
00000332: POP
00000333: PUSH2 0x017b
00000336: PUSH2 0x0340
00000339: CALLDATASIZE
0000033a: PUSH1 0x04
0000033c: PUSH2 0x2bd5
0000033f: JUMP
00000340: JUMPDEST
00000341: PUSH2 0x0e19
00000344: JUMP
00000345: JUMPDEST
00000346: CALLVALUE
00000347: DUP1
00000348: ISZERO
00000349: PUSH2 0x0351
0000034c: JUMPI
0000034d: PUSH1 0x00
0000034f: DUP1
00000350: REVERT
00000351: JUMPDEST
00000352: POP
00000353: PUSH2 0x017b
00000356: PUSH2 0x0f36
00000359: JUMP
0000035a: JUMPDEST
0000035b: CALLVALUE
0000035c: DUP1
0000035d: ISZERO
0000035e: PUSH2 0x0366
00000361: JUMPI
00000362: PUSH1 0x00
00000364: DUP1
00000365: REVERT
00000366: JUMPDEST
00000367: POP
00000368: PUSH2 0x01a8
0000036b: PUSH2 0x0375
0000036e: CALLDATASIZE
0000036f: PUSH1 0x04
00000371: PUSH2 0x2ccd
00000374: JUMP
00000375: JUMPDEST
00000376: PUSH4 0xbc197c81
0000037b: PUSH1 0xe0
0000037d: SHL
0000037e: SWAP6
0000037f: SWAP5
00000380: POP
00000381: POP
00000382: POP
00000383: POP
00000384: POP
00000385: JUMP
00000386: JUMPDEST
00000387: CALLVALUE
00000388: DUP1
00000389: ISZERO
0000038a: PUSH2 0x0392
0000038d: JUMPI
0000038e: PUSH1 0x00
00000390: DUP1
00000391: REVERT
00000392: JUMPDEST
00000393: POP
00000394: PUSH1 0x00
00000396: SLOAD
00000397: PUSH2 0x03ad
0000039a: SWAP1
0000039b: PUSH1 0x01
0000039d: PUSH1 0xa8
0000039f: SHL
000003a0: SWAP1
000003a1: DIV
000003a2: PUSH7 0xffffffffffffff
000003aa: AND
000003ab: DUP2
000003ac: JUMP
000003ad: JUMPDEST
000003ae: PUSH1 0x40
000003b0: MLOAD
000003b1: PUSH7 0xffffffffffffff
000003b9: SWAP1
000003ba: SWAP2
000003bb: AND
000003bc: DUP2
000003bd: MSTORE
000003be: PUSH1 0x20
000003c0: ADD
000003c1: PUSH2 0x01bd
000003c4: JUMP
000003c5: JUMPDEST
000003c6: CALLVALUE
000003c7: DUP1
000003c8: ISZERO
000003c9: PUSH2 0x03d1
000003cc: JUMPI
000003cd: PUSH1 0x00
000003cf: DUP1
000003d0: REVERT
000003d1: JUMPDEST
000003d2: POP
000003d3: PUSH2 0x017b
000003d6: PUSH2 0x03e0
000003d9: CALLDATASIZE
000003da: PUSH1 0x04
000003dc: PUSH2 0x2aca
000003df: JUMP
000003e0: JUMPDEST
000003e1: PUSH2 0x0fbf
000003e4: JUMP
000003e5: JUMPDEST
000003e6: CALLVALUE
000003e7: DUP1
000003e8: ISZERO
000003e9: PUSH2 0x03f1
000003ec: JUMPI
000003ed: PUSH1 0x00
000003ef: DUP1
000003f0: REVERT
000003f1: JUMPDEST
000003f2: POP
000003f3: PUSH2 0x01e6
000003f6: PUSH2 0x1013
000003f9: JUMP
000003fa: JUMPDEST
000003fb: CALLVALUE
000003fc: DUP1
000003fd: ISZERO
000003fe: PUSH2 0x0406
00000401: JUMPI
00000402: PUSH1 0x00
00000404: DUP1
00000405: REVERT
00000406: JUMPDEST
00000407: POP
00000408: PUSH2 0x017b
0000040b: PUSH2 0x0415
0000040e: CALLDATASIZE
0000040f: PUSH1 0x04
00000411: PUSH2 0x2ba2
00000414: JUMP
00000415: JUMPDEST
00000416: PUSH2 0x11ab
00000419: JUMP
0000041a: JUMPDEST
0000041b: CALLVALUE
0000041c: DUP1
0000041d: ISZERO
0000041e: PUSH2 0x0426
00000421: JUMPI
00000422: PUSH1 0x00
00000424: DUP1
00000425: REVERT
00000426: JUMPDEST
00000427: POP
00000428: PUSH2 0x01e6
0000042b: PUSH2 0x0435
0000042e: CALLDATASIZE
0000042f: PUSH1 0x04
00000431: PUSH2 0x2aca
00000434: JUMP
00000435: JUMPDEST
00000436: PUSH2 0x144b
00000439: JUMP
0000043a: JUMPDEST
0000043b: CALLVALUE
0000043c: DUP1
0000043d: ISZERO
0000043e: PUSH2 0x0446
00000441: JUMPI
00000442: PUSH1 0x00
00000444: DUP1
00000445: REVERT
00000446: JUMPDEST
00000447: POP
00000448: PUSH2 0x045a
0000044b: PUSH2 0x0455
0000044e: CALLDATASIZE
0000044f: PUSH1 0x04
00000451: PUSH2 0x2d7b
00000454: JUMP
00000455: JUMPDEST
00000456: PUSH2 0x145d
00000459: JUMP
0000045a: JUMPDEST
0000045b: PUSH1 0x40
0000045d: DUP1
0000045e: MLOAD
0000045f: PUSH2 0xffff
00000462: SWAP1
00000463: SWAP5
00000464: AND
00000465: DUP5
00000466: MSTORE
00000467: PUSH1 0x01
00000469: PUSH1 0x01
0000046b: PUSH1 0x50
0000046d: SHL
0000046e: SUB
0000046f: SWAP1
00000470: SWAP3
00000471: AND
00000472: PUSH1 0x20
00000474: DUP5
00000475: ADD
00000476: MSTORE
00000477: PUSH1 0x01
00000479: PUSH1 0x01
0000047b: PUSH1 0xa0
0000047d: SHL
0000047e: SUB
0000047f: AND
00000480: SWAP1
00000481: DUP3
00000482: ADD
00000483: MSTORE
00000484: PUSH1 0x60
00000486: ADD
00000487: PUSH2 0x01bd
0000048a: JUMP
0000048b: JUMPDEST
0000048c: CALLVALUE
0000048d: DUP1
0000048e: ISZERO
0000048f: PUSH2 0x0497
00000492: JUMPI
00000493: PUSH1 0x00
00000495: DUP1
00000496: REVERT
00000497: JUMPDEST
00000498: POP
00000499: PUSH2 0x01e6
0000049c: PUSH2 0x04a6
0000049f: CALLDATASIZE
000004a0: PUSH1 0x04
000004a2: PUSH2 0x2b29
000004a5: JUMP
000004a6: JUMPDEST
000004a7: PUSH1 0x01
000004a9: PUSH1 0x20
000004ab: MSTORE
000004ac: PUSH1 0x00
000004ae: SWAP1
000004af: DUP2
000004b0: MSTORE
000004b1: PUSH1 0x40
000004b3: SWAP1
000004b4: KECCAK256
000004b5: SLOAD
000004b6: DUP2
000004b7: JUMP
000004b8: JUMPDEST
000004b9: CALLVALUE
000004ba: DUP1
000004bb: ISZERO
000004bc: PUSH2 0x04c4
000004bf: JUMPI
000004c0: PUSH1 0x00
000004c2: DUP1
000004c3: REVERT
000004c4: JUMPDEST
000004c5: POP
000004c6: PUSH2 0x017b
000004c9: PUSH2 0x04d3
000004cc: CALLDATASIZE
000004cd: PUSH1 0x04
000004cf: PUSH2 0x2da7
000004d2: JUMP
000004d3: JUMPDEST
000004d4: PUSH2 0x14b0
000004d7: JUMP
000004d8: JUMPDEST
000004d9: CALLVALUE
000004da: DUP1
000004db: ISZERO
000004dc: PUSH2 0x04e4
000004df: JUMPI
000004e0: PUSH1 0x00
000004e2: DUP1
000004e3: REVERT
000004e4: JUMPDEST
000004e5: POP
000004e6: PUSH2 0x01a8
000004e9: PUSH2 0x04f3
000004ec: CALLDATASIZE
000004ed: PUSH1 0x04
000004ef: PUSH2 0x2e19
000004f2: JUMP
000004f3: JUMPDEST
000004f4: PUSH4 0xf23a6e61
000004f9: PUSH1 0xe0
000004fb: SHL
000004fc: SWAP6
000004fd: SWAP5
000004fe: POP
000004ff: POP
00000500: POP
00000501: POP
00000502: POP
00000503: JUMP
00000504: JUMPDEST
00000505: CALLVALUE
00000506: DUP1
00000507: ISZERO
00000508: PUSH2 0x0510
0000050b: JUMPI
0000050c: PUSH1 0x00
0000050e: DUP1
0000050f: REVERT
00000510: JUMPDEST
00000511: POP
00000512: PUSH2 0x017b
00000515: PUSH2 0x051f
00000518: CALLDATASIZE
00000519: PUSH1 0x04
0000051b: PUSH2 0x2d7b
0000051e: JUMP
0000051f: JUMPDEST
00000520: PUSH2 0x1cfd
00000523: JUMP
00000524: JUMPDEST
00000525: PUSH1 0x00
00000527: SLOAD
00000528: PUSH2 0x0100
0000052b: SWAP1
0000052c: DIV
0000052d: PUSH1 0x01
0000052f: PUSH1 0x01
00000531: PUSH1 0xa0
00000533: SHL
00000534: SUB
00000535: AND
00000536: CALLER
00000537: EQ
00000538: PUSH2 0x0554
0000053b: JUMPI
0000053c: PUSH1 0x40
0000053e: MLOAD
0000053f: PUSH4 0x088b5de9
00000544: PUSH1 0xe3
00000546: SHL
00000547: DUP2
00000548: MSTORE
00000549: PUSH1 0x04
0000054b: ADD
0000054c: PUSH1 0x40
0000054e: MLOAD
0000054f: DUP1
00000550: SWAP2
00000551: SUB
00000552: SWAP1
00000553: REVERT
00000554: JUMPDEST
00000555: DUP3
00000556: PUSH1 0x00
00000558: JUMPDEST
00000559: DUP3
0000055a: DUP2
0000055b: LT
0000055c: ISZERO
0000055d: PUSH2 0x0609
00000560: JUMPI
00000561: PUSH1 0x00
00000563: SLOAD
00000564: PUSH1 0x01
00000566: PUSH1 0x01
00000568: PUSH1 0xa0
0000056a: SHL
0000056b: SUB
0000056c: DUP1
0000056d: DUP5
0000056e: AND
0000056f: SWAP2
00000570: PUSH4 0x23b872dd
00000575: SWAP2
00000576: ADDRESS
00000577: SWAP2
00000578: PUSH2 0x0100
0000057b: SWAP1
0000057c: DIV
0000057d: AND
0000057e: DUP8
0000057f: DUP8
00000580: DUP7
00000581: DUP2
00000582: DUP2
00000583: LT
00000584: PUSH2 0x058f
00000587: JUMPI
00000588: PUSH2 0x058f
0000058b: PUSH2 0x2e82
0000058e: JUMP
0000058f: JUMPDEST
00000590: PUSH1 0x40
00000592: MLOAD
00000593: PUSH1 0x01
00000595: PUSH1 0x01
00000597: PUSH1 0xe0
00000599: SHL
0000059a: SUB
0000059b: NOT
0000059c: PUSH1 0xe0
0000059e: DUP9
0000059f: SWAP1
000005a0: SHL
000005a1: AND
000005a2: DUP2
000005a3: MSTORE
000005a4: PUSH1 0x01
000005a6: PUSH1 0x01
000005a8: PUSH1 0xa0
000005aa: SHL
000005ab: SUB
000005ac: SWAP6
000005ad: DUP7
000005ae: AND
000005af: PUSH1 0x04
000005b1: DUP3
000005b2: ADD
000005b3: MSTORE
000005b4: SWAP5
000005b5: SWAP1
000005b6: SWAP4
000005b7: AND
000005b8: PUSH1 0x24
000005ba: DUP6
000005bb: ADD
000005bc: MSTORE
000005bd: POP
000005be: PUSH1 0x20
000005c0: SWAP1
000005c1: SWAP2
000005c2: MUL
000005c3: ADD
000005c4: CALLDATALOAD
000005c5: PUSH1 0x44
000005c7: DUP3
000005c8: ADD
000005c9: MSTORE
000005ca: PUSH1 0x64
000005cc: ADD
000005cd: PUSH1 0x00
000005cf: PUSH1 0x40
000005d1: MLOAD
000005d2: DUP1
000005d3: DUP4
000005d4: SUB
000005d5: DUP2
000005d6: PUSH1 0x00
000005d8: DUP8
000005d9: DUP1
000005da: EXTCODESIZE
000005db: ISZERO
000005dc: DUP1
000005dd: ISZERO
000005de: PUSH2 0x05e6
000005e1: JUMPI
000005e2: PUSH1 0x00
000005e4: DUP1
000005e5: REVERT
000005e6: JUMPDEST
000005e7: POP
000005e8: GAS
000005e9: CALL
000005ea: ISZERO
000005eb: DUP1
000005ec: ISZERO
000005ed: PUSH2 0x05fa
000005f0: JUMPI
000005f1: RETURNDATASIZE
000005f2: PUSH1 0x00
000005f4: DUP1
000005f5: RETURNDATACOPY
000005f6: RETURNDATASIZE
000005f7: PUSH1 0x00
000005f9: REVERT
000005fa: JUMPDEST
000005fb: POP
000005fc: POP
000005fd: POP
000005fe: POP
000005ff: DUP1
00000600: PUSH1 0x01
00000602: ADD
00000603: SWAP1
00000604: POP
00000605: PUSH2 0x0558
00000608: JUMP
00000609: JUMPDEST
0000060a: POP
0000060b: POP
0000060c: POP
0000060d: POP
0000060e: POP
0000060f: JUMP
00000610: JUMPDEST
00000611: PUSH1 0x00
00000613: DUP1
00000614: PUSH2 0x061c
00000617: DUP4
00000618: PUSH2 0x1d8d
0000061b: JUMP
0000061c: JUMPDEST
0000061d: SWAP1
0000061e: POP
0000061f: PUSH1 0x00
00000621: PUSH2 0x0629
00000624: DUP5
00000625: PUSH2 0x1e17
00000628: JUMP
00000629: JUMPDEST
0000062a: POP
0000062b: SWAP1
0000062c: POP
0000062d: PUSH2 0x0636
00000630: DUP2
00000631: DUP4
00000632: PUSH2 0x2eae
00000635: JUMP
00000636: JUMPDEST
00000637: SWAP5
00000638: SWAP4
00000639: POP
0000063a: POP
0000063b: POP
0000063c: POP
0000063d: JUMP
0000063e: JUMPDEST
0000063f: PUSH1 0x00
00000641: SLOAD
00000642: PUSH2 0x0100
00000645: SWAP1
00000646: DIV
00000647: PUSH1 0x01
00000649: PUSH1 0x01
0000064b: PUSH1 0xa0
0000064d: SHL
0000064e: SUB
0000064f: AND
00000650: CALLER
00000651: EQ
00000652: PUSH2 0x066e
00000655: JUMPI
00000656: PUSH1 0x40
00000658: MLOAD
00000659: PUSH4 0x088b5de9
0000065e: PUSH1 0xe3
00000660: SHL
00000661: DUP2
00000662: MSTORE
00000663: PUSH1 0x04
00000665: ADD
00000666: PUSH1 0x40
00000668: MLOAD
00000669: DUP1
0000066a: SWAP2
0000066b: SUB
0000066c: SWAP1
0000066d: REVERT
0000066e: JUMPDEST
0000066f: PUSH1 0x00
00000671: JUMPDEST
00000672: DUP2
00000673: DUP2
00000674: LT
00000675: ISZERO
00000676: PUSH2 0x0739
00000679: JUMPI
0000067a: PUSH1 0x00
0000067c: SLOAD
0000067d: PUSH1 0x01
0000067f: PUSH1 0x01
00000681: PUSH1 0xa0
00000683: SHL
00000684: SUB
00000685: PUSH32 0x000000000000000000000000b47e3cd837ddf8e4c57f05d70ab865de6e193bbb
000006a6: DUP2
000006a7: AND
000006a8: SWAP2
000006a9: PUSH4 0x8b72a2ec
000006ae: SWAP2
000006af: PUSH2 0x0100
000006b2: SWAP1
000006b3: SWAP2
000006b4: DIV
000006b5: AND
000006b6: DUP6
000006b7: DUP6
000006b8: DUP6
000006b9: DUP2
000006ba: DUP2
000006bb: LT
000006bc: PUSH2 0x06c7
000006bf: JUMPI
000006c0: PUSH2 0x06c7
000006c3: PUSH2 0x2e82
000006c6: JUMP
000006c7: JUMPDEST
000006c8: PUSH1 0x40
000006ca: MLOAD
000006cb: PUSH1 0x01
000006cd: PUSH1 0x01
000006cf: PUSH1 0xe0
000006d1: SHL
000006d2: SUB
000006d3: NOT
000006d4: PUSH1 0xe0
000006d6: DUP8
000006d7: SWAP1
000006d8: SHL
000006d9: AND
000006da: DUP2
000006db: MSTORE
000006dc: PUSH1 0x01
000006de: PUSH1 0x01
000006e0: PUSH1 0xa0
000006e2: SHL
000006e3: SUB
000006e4: SWAP1
000006e5: SWAP5
000006e6: AND
000006e7: PUSH1 0x04
000006e9: DUP6
000006ea: ADD
000006eb: MSTORE
000006ec: PUSH1 0x20
000006ee: MUL
000006ef: SWAP2
000006f0: SWAP1
000006f1: SWAP2
000006f2: ADD
000006f3: CALLDATALOAD
000006f4: PUSH1 0x24
000006f6: DUP4
000006f7: ADD
000006f8: MSTORE
000006f9: POP
000006fa: PUSH1 0x44
000006fc: ADD
000006fd: PUSH1 0x00
000006ff: PUSH1 0x40
00000701: MLOAD
00000702: DUP1
00000703: DUP4
00000704: SUB
00000705: DUP2
00000706: PUSH1 0x00
00000708: DUP8
00000709: DUP1
0000070a: EXTCODESIZE
0000070b: ISZERO
0000070c: DUP1
0000070d: ISZERO
0000070e: PUSH2 0x0716
00000711: JUMPI
00000712: PUSH1 0x00
00000714: DUP1
00000715: REVERT
00000716: JUMPDEST
00000717: POP
00000718: GAS
00000719: CALL
0000071a: ISZERO
0000071b: DUP1
0000071c: ISZERO
0000071d: PUSH2 0x072a
00000720: JUMPI
00000721: RETURNDATASIZE
00000722: PUSH1 0x00
00000724: DUP1
00000725: RETURNDATACOPY
00000726: RETURNDATASIZE
00000727: PUSH1 0x00
00000729: REVERT
0000072a: JUMPDEST
0000072b: POP
0000072c: POP
0000072d: POP
0000072e: POP
0000072f: DUP1
00000730: PUSH1 0x01
00000732: ADD
00000733: SWAP1
00000734: POP
00000735: PUSH2 0x0671
00000738: JUMP
00000739: JUMPDEST
0000073a: POP
0000073b: POP
0000073c: POP
0000073d: JUMP
0000073e: JUMPDEST
0000073f: PUSH1 0x00
00000741: SLOAD
00000742: PUSH2 0x0100
00000745: SWAP1
00000746: DIV
00000747: PUSH1 0x01
00000749: PUSH1 0x01
0000074b: PUSH1 0xa0
0000074d: SHL
0000074e: SUB
0000074f: AND
00000750: CALLER
00000751: EQ
00000752: PUSH2 0x076e
00000755: JUMPI
00000756: PUSH1 0x40
00000758: MLOAD
00000759: PUSH4 0x088b5de9
0000075e: PUSH1 0xe3
00000760: SHL
00000761: DUP2
00000762: MSTORE
00000763: PUSH1 0x04
00000765: ADD
00000766: PUSH1 0x40
00000768: MLOAD
00000769: DUP1
0000076a: SWAP2
0000076b: SUB
0000076c: SWAP1
0000076d: REVERT
0000076e: JUMPDEST
0000076f: PUSH1 0x00
00000771: DUP2
00000772: DUP2
00000773: MSTORE
00000774: PUSH1 0x02
00000776: PUSH1 0x20
00000778: MSTORE
00000779: PUSH1 0x40
0000077b: DUP1
0000077c: DUP3
0000077d: KECCAK256
0000077e: DUP1
0000077f: SLOAD
00000780: PUSH1 0xff
00000782: NOT
00000783: AND
00000784: PUSH1 0x01
00000786: OR
00000787: SWAP1
00000788: SSTORE
00000789: MLOAD
0000078a: DUP3
0000078b: SWAP2
0000078c: PUSH32 0x75c3444a4faa5e739b52db226ae353455de896266817d7129debcb1fd0494c97
000007ad: SWAP2
000007ae: LOG2
000007af: POP
000007b0: JUMP
000007b1: JUMPDEST
000007b2: PUSH1 0x40
000007b4: DUP1
000007b5: MLOAD
000007b6: PUSH1 0x60
000007b8: DUP2
000007b9: ADD
000007ba: DUP3
000007bb: MSTORE
000007bc: PUSH1 0x00
000007be: DUP1
000007bf: DUP3
000007c0: MSTORE
000007c1: PUSH1 0x20
000007c3: DUP3
000007c4: ADD
000007c5: DUP2
000007c6: SWAP1
000007c7: MSTORE
000007c8: SWAP2
000007c9: DUP2
000007ca: ADD
000007cb: SWAP2
000007cc: SWAP1
000007cd: SWAP2
000007ce: MSTORE
000007cf: PUSH1 0x00
000007d1: DUP3
000007d2: PUSH1 0x01
000007d4: PUSH1 0x01
000007d6: PUSH1 0xa0
000007d8: SHL
000007d9: SUB
000007da: AND
000007db: PUSH4 0xd4934220
000007e0: PUSH1 0x40
000007e2: MLOAD
000007e3: DUP2
000007e4: PUSH4 0xffffffff
000007e9: AND
000007ea: PUSH1 0xe0
000007ec: SHL
000007ed: DUP2
000007ee: MSTORE
000007ef: PUSH1 0x04
000007f1: ADD
000007f2: PUSH1 0x40
000007f4: DUP1
000007f5: MLOAD
000007f6: DUP1
000007f7: DUP4
000007f8: SUB
000007f9: DUP2
000007fa: DUP7
000007fb: GAS
000007fc: STATICCALL
000007fd: ISZERO
000007fe: DUP1
000007ff: ISZERO
00000800: PUSH2 0x080d
00000803: JUMPI
00000804: RETURNDATASIZE
00000805: PUSH1 0x00
00000807: DUP1
00000808: RETURNDATACOPY
00000809: RETURNDATASIZE
0000080a: PUSH1 0x00
0000080c: REVERT
0000080d: JUMPDEST
0000080e: POP
0000080f: POP
00000810: POP
00000811: POP
00000812: PUSH1 0x40
00000814: MLOAD
00000815: RETURNDATASIZE
00000816: PUSH1 0x1f
00000818: NOT
00000819: PUSH1 0x1f
0000081b: DUP3
0000081c: ADD
0000081d: AND
0000081e: DUP3
0000081f: ADD
00000820: DUP1
00000821: PUSH1 0x40
00000823: MSTORE
00000824: POP
00000825: DUP2
00000826: ADD
00000827: SWAP1
00000828: PUSH2 0x0831
0000082b: SWAP2
0000082c: SWAP1
0000082d: PUSH2 0x2ec1
00000830: JUMP
00000831: JUMPDEST
00000832: POP
00000833: PUSH1 0x01
00000835: PUSH1 0x01
00000837: PUSH1 0xa0
00000839: SHL
0000083a: SUB
0000083b: DUP2
0000083c: AND
0000083d: PUSH1 0x00
0000083f: SWAP1
00000840: DUP2
00000841: MSTORE
00000842: PUSH1 0x03
00000844: PUSH1 0x20
00000846: MSTORE
00000847: PUSH1 0x40
00000849: DUP2
0000084a: KECCAK256
0000084b: SWAP2
0000084c: SWAP3
0000084d: POP
0000084e: JUMPDEST
0000084f: DUP2
00000850: SLOAD
00000851: DUP2
00000852: LT
00000853: ISZERO
00000854: PUSH2 0x0977
00000857: JUMPI
00000858: PUSH1 0x00
0000085a: DUP3
0000085b: DUP3
0000085c: DUP2
0000085d: SLOAD
0000085e: DUP2
0000085f: LT
00000860: PUSH2 0x086b
00000863: JUMPI
00000864: PUSH2 0x086b
00000867: PUSH2 0x2e82
0000086a: JUMP
0000086b: JUMPDEST
0000086c: PUSH1 0x00
0000086e: SWAP2
0000086f: DUP3
00000870: MSTORE
00000871: PUSH1 0x20
00000873: SWAP1
00000874: SWAP2
00000875: KECCAK256
00000876: ADD
00000877: DUP1
00000878: SLOAD
00000879: SWAP1
0000087a: SWAP2
0000087b: POP
0000087c: PUSH1 0x01
0000087e: PUSH1 0x01
00000880: PUSH1 0xa0
00000882: SHL
00000883: SUB
00000884: DUP1
00000885: DUP9
00000886: AND
00000887: PUSH1 0x01
00000889: PUSH1 0x60
0000088b: SHL
0000088c: SWAP1
0000088d: SWAP3
0000088e: DIV
0000088f: AND
00000890: SUB
00000891: PUSH2 0x096e
00000894: JUMPI
00000895: DUP1
00000896: PUSH1 0x00
00000898: ADD
00000899: PUSH1 0x0c
0000089b: SWAP1
0000089c: SLOAD
0000089d: SWAP1
0000089e: PUSH2 0x0100
000008a1: EXP
000008a2: SWAP1
000008a3: DIV
000008a4: PUSH1 0x01
000008a6: PUSH1 0x01
000008a8: PUSH1 0xa0
000008aa: SHL
000008ab: SUB
000008ac: AND
000008ad: PUSH1 0x01
000008af: PUSH1 0x01
000008b1: PUSH1 0xa0
000008b3: SHL
000008b4: SUB
000008b5: AND
000008b6: PUSH4 0xb3f05b97
000008bb: PUSH1 0x40
000008bd: MLOAD
000008be: DUP2
000008bf: PUSH4 0xffffffff
000008c4: AND
000008c5: PUSH1 0xe0
000008c7: SHL
000008c8: DUP2
000008c9: MSTORE
000008ca: PUSH1 0x04
000008cc: ADD
000008cd: PUSH1 0x20
000008cf: PUSH1 0x40
000008d1: MLOAD
000008d2: DUP1
000008d3: DUP4
000008d4: SUB
000008d5: DUP2
000008d6: DUP7
000008d7: GAS
000008d8: STATICCALL
000008d9: ISZERO
000008da: DUP1
000008db: ISZERO
000008dc: PUSH2 0x08e9
000008df: JUMPI
000008e0: RETURNDATASIZE
000008e1: PUSH1 0x00
000008e3: DUP1
000008e4: RETURNDATACOPY
000008e5: RETURNDATASIZE
000008e6: PUSH1 0x00
000008e8: REVERT
000008e9: JUMPDEST
000008ea: POP
000008eb: POP
000008ec: POP
000008ed: POP
000008ee: PUSH1 0x40
000008f0: MLOAD
000008f1: RETURNDATASIZE
000008f2: PUSH1 0x1f
000008f4: NOT
000008f5: PUSH1 0x1f
000008f7: DUP3
000008f8: ADD
000008f9: AND
000008fa: DUP3
000008fb: ADD
000008fc: DUP1
000008fd: PUSH1 0x40
000008ff: MSTORE
00000900: POP
00000901: DUP2
00000902: ADD
00000903: SWAP1
00000904: PUSH2 0x090d
00000907: SWAP2
00000908: SWAP1
00000909: PUSH2 0x2f0f
0000090c: JUMP
0000090d: JUMPDEST
0000090e: PUSH2 0x0955
00000911: JUMPI
00000912: PUSH1 0x40
00000914: DUP1
00000915: MLOAD
00000916: PUSH1 0x60
00000918: DUP2
00000919: ADD
0000091a: DUP3
0000091b: MSTORE
0000091c: SWAP2
0000091d: SLOAD
0000091e: PUSH2 0xffff
00000921: DUP2
00000922: AND
00000923: DUP4
00000924: MSTORE
00000925: PUSH3 0x010000
00000929: DUP2
0000092a: DIV
0000092b: PUSH1 0x01
0000092d: PUSH1 0x01
0000092f: PUSH1 0x50
00000931: SHL
00000932: SUB
00000933: AND
00000934: PUSH1 0x20
00000936: DUP5
00000937: ADD
00000938: MSTORE
00000939: PUSH1 0x01
0000093b: PUSH1 0x60
0000093d: SHL
0000093e: SWAP1
0000093f: DIV
00000940: PUSH1 0x01
00000942: PUSH1 0x01
00000944: PUSH1 0xa0
00000946: SHL
00000947: SUB
00000948: AND
00000949: SWAP1
0000094a: DUP3
0000094b: ADD
0000094c: MSTORE
0000094d: SWAP6
0000094e: SWAP5
0000094f: POP
00000950: POP
00000951: POP
00000952: POP
00000953: POP
00000954: JUMP
00000955: JUMPDEST
00000956: PUSH1 0x40
00000958: MLOAD
00000959: PUSH4 0xd36d8965
0000095e: PUSH1 0xe0
00000960: SHL
00000961: DUP2
00000962: MSTORE
00000963: PUSH1 0x04
00000965: ADD
00000966: PUSH1 0x40
00000968: MLOAD
00000969: DUP1
0000096a: SWAP2
0000096b: SUB
0000096c: SWAP1
0000096d: REVERT
0000096e: JUMPDEST
0000096f: POP
00000970: PUSH1 0x01
00000972: ADD
00000973: PUSH2 0x084e
00000976: JUMP
00000977: JUMPDEST
00000978: POP
00000979: PUSH1 0x40
0000097b: MLOAD
0000097c: PUSH4 0xd36d8965
00000981: PUSH1 0xe0
00000983: SHL
00000984: DUP2
00000985: MSTORE
00000986: PUSH1 0x04
00000988: ADD
00000989: PUSH1 0x40
0000098b: MLOAD
0000098c: DUP1
0000098d: SWAP2
0000098e: SUB
0000098f: SWAP1
00000990: REVERT
00000991: JUMPDEST
00000992: PUSH1 0x00
00000994: SLOAD
00000995: PUSH2 0x0100
00000998: SWAP1
00000999: DIV
0000099a: PUSH1 0x01
0000099c: PUSH1 0x01
0000099e: PUSH1 0xa0
000009a0: SHL
000009a1: SUB
000009a2: AND
000009a3: ORIGIN
000009a4: EQ
000009a5: PUSH2 0x09c0
000009a8: JUMPI
000009a9: PUSH1 0x40
000009ab: MLOAD
000009ac: PUSH3 0x82b429
000009b0: PUSH1 0xe8
000009b2: SHL
000009b3: DUP2
000009b4: MSTORE
000009b5: PUSH1 0x04
000009b7: ADD
000009b8: PUSH1 0x40
000009ba: MLOAD
000009bb: DUP1
000009bc: SWAP2
000009bd: SUB
000009be: SWAP1
000009bf: REVERT
000009c0: JUMPDEST
000009c1: PUSH1 0x40
000009c3: MLOAD
000009c4: PUSH3 0x8ebde5
000009c8: PUSH1 0xe8
000009ca: SHL
000009cb: DUP2
000009cc: MSTORE
000009cd: CALLER
000009ce: PUSH1 0x04
000009d0: DUP3
000009d1: ADD
000009d2: MSTORE
000009d3: PUSH32 0x000000000000000000000000000000000000a6fa31f5fc51c1640aac76866750
000009f4: PUSH1 0x01
000009f6: PUSH1 0x01
000009f8: PUSH1 0xa0
000009fa: SHL
000009fb: SUB
000009fc: AND
000009fd: SWAP1
000009fe: PUSH4 0x8ebde500
00000a03: SWAP1
00000a04: PUSH1 0x24
00000a06: ADD
00000a07: PUSH1 0x20
00000a09: PUSH1 0x40
00000a0b: MLOAD
00000a0c: DUP1
00000a0d: DUP4
00000a0e: SUB
00000a0f: DUP2
00000a10: DUP7
00000a11: GAS
00000a12: STATICCALL
00000a13: ISZERO
00000a14: DUP1
00000a15: ISZERO
00000a16: PUSH2 0x0a23
00000a19: JUMPI
00000a1a: RETURNDATASIZE
00000a1b: PUSH1 0x00
00000a1d: DUP1
00000a1e: RETURNDATACOPY
00000a1f: RETURNDATASIZE
00000a20: PUSH1 0x00
00000a22: REVERT
00000a23: JUMPDEST
00000a24: POP
00000a25: POP
00000a26: POP
00000a27: POP
00000a28: PUSH1 0x40
00000a2a: MLOAD
00000a2b: RETURNDATASIZE
00000a2c: PUSH1 0x1f
00000a2e: NOT
00000a2f: PUSH1 0x1f
00000a31: DUP3
00000a32: ADD
00000a33: AND
00000a34: DUP3
00000a35: ADD
00000a36: DUP1
00000a37: PUSH1 0x40
00000a39: MSTORE
00000a3a: POP
00000a3b: DUP2
00000a3c: ADD
00000a3d: SWAP1
00000a3e: PUSH2 0x0a47
00000a41: SWAP2
00000a42: SWAP1
00000a43: PUSH2 0x2f0f
00000a46: JUMP
00000a47: JUMPDEST
00000a48: PUSH2 0x0a64
00000a4b: JUMPI
00000a4c: PUSH1 0x40
00000a4e: MLOAD
00000a4f: PUSH4 0x088b5de9
00000a54: PUSH1 0xe3
00000a56: SHL
00000a57: DUP2
00000a58: MSTORE
00000a59: PUSH1 0x04
00000a5b: ADD
00000a5c: PUSH1 0x40
00000a5e: MLOAD
00000a5f: DUP1
00000a60: SWAP2
00000a61: SUB
00000a62: SWAP1
00000a63: REVERT
00000a64: JUMPDEST
00000a65: PUSH1 0x00
00000a67: DUP1
00000a68: CALLER
00000a69: PUSH1 0x01
00000a6b: PUSH1 0x01
00000a6d: PUSH1 0xa0
00000a6f: SHL
00000a70: SUB
00000a71: AND
00000a72: PUSH4 0xd4934220
00000a77: PUSH1 0x40
00000a79: MLOAD
00000a7a: DUP2
00000a7b: PUSH4 0xffffffff
00000a80: AND
00000a81: PUSH1 0xe0
00000a83: SHL
00000a84: DUP2
00000a85: MSTORE
00000a86: PUSH1 0x04
00000a88: ADD
00000a89: PUSH1 0x40
00000a8b: DUP1
00000a8c: MLOAD
00000a8d: DUP1
00000a8e: DUP4
00000a8f: SUB
00000a90: DUP2
00000a91: DUP7
00000a92: GAS
00000a93: STATICCALL
00000a94: ISZERO
00000a95: DUP1
00000a96: ISZERO
00000a97: PUSH2 0x0aa4
00000a9a: JUMPI
00000a9b: RETURNDATASIZE
00000a9c: PUSH1 0x00
00000a9e: DUP1
00000a9f: RETURNDATACOPY
00000aa0: RETURNDATASIZE
00000aa1: PUSH1 0x00
00000aa3: REVERT
00000aa4: JUMPDEST
00000aa5: POP
00000aa6: POP
00000aa7: POP
00000aa8: POP
00000aa9: PUSH1 0x40
00000aab: MLOAD
00000aac: RETURNDATASIZE
00000aad: PUSH1 0x1f
00000aaf: NOT
00000ab0: PUSH1 0x1f
00000ab2: DUP3
00000ab3: ADD
00000ab4: AND
00000ab5: DUP3
00000ab6: ADD
00000ab7: DUP1
00000ab8: PUSH1 0x40
00000aba: MSTORE
00000abb: POP
00000abc: DUP2
00000abd: ADD
00000abe: SWAP1
00000abf: PUSH2 0x0ac8
00000ac2: SWAP2
00000ac3: SWAP1
00000ac4: PUSH2 0x2ec1
00000ac7: JUMP
00000ac8: JUMPDEST
00000ac9: SWAP2
00000aca: POP
00000acb: SWAP2
00000acc: POP
00000acd: PUSH1 0x00
00000acf: PUSH2 0x0ad7
00000ad2: DUP4
00000ad3: PUSH2 0x1d8d
00000ad6: JUMP
00000ad7: JUMPDEST
00000ad8: SWAP1
00000ad9: POP
00000ada: PUSH1 0x00
00000adc: DUP1
00000add: PUSH2 0x0ae5
00000ae0: DUP6
00000ae1: PUSH2 0x1e17
00000ae4: JUMP
00000ae5: JUMPDEST
00000ae6: SWAP1
00000ae7: SWAP3
00000ae8: POP
00000ae9: SWAP1
00000aea: POP
00000aeb: DUP2
00000aec: DUP4
00000aed: SUB
00000aee: PUSH2 0x0af7
00000af1: DUP7
00000af2: DUP4
00000af3: PUSH2 0x1f8d
00000af6: JUMP
00000af7: JUMPDEST
00000af8: PUSH1 0x40
00000afa: DUP1
00000afb: MLOAD
00000afc: PUSH1 0x60
00000afe: DUP2
00000aff: ADD
00000b00: DUP3
00000b01: MSTORE
00000b02: PUSH2 0xffff
00000b05: DUP10
00000b06: AND
00000b07: DUP2
00000b08: MSTORE
00000b09: PUSH1 0x01
00000b0b: PUSH1 0x01
00000b0d: PUSH1 0x50
00000b0f: SHL
00000b10: SUB
00000b11: DUP11
00000b12: AND
00000b13: PUSH1 0x20
00000b15: DUP1
00000b16: DUP4
00000b17: ADD
00000b18: SWAP2
00000b19: SWAP1
00000b1a: SWAP2
00000b1b: MSTORE
00000b1c: CALLER
00000b1d: DUP3
00000b1e: DUP5
00000b1f: ADD
00000b20: MSTORE
00000b21: PUSH1 0x01
00000b23: PUSH1 0x01
00000b25: PUSH1 0xa0
00000b27: SHL
00000b28: SUB
00000b29: DUP10
00000b2a: AND
00000b2b: PUSH1 0x00
00000b2d: SWAP1
00000b2e: DUP2
00000b2f: MSTORE
00000b30: PUSH1 0x03
00000b32: SWAP1
00000b33: SWAP2
00000b34: MSTORE
00000b35: SWAP2
00000b36: DUP3
00000b37: KECCAK256
00000b38: SWAP1
00000b39: SWAP2
00000b3a: JUMPDEST
00000b3b: DUP2
00000b3c: SLOAD
00000b3d: DUP2
00000b3e: LT
00000b3f: ISZERO
00000b40: PUSH2 0x0c1a
00000b43: JUMPI
00000b44: PUSH1 0x00
00000b46: DUP3
00000b47: DUP3
00000b48: DUP2
00000b49: SLOAD
00000b4a: DUP2
00000b4b: LT
00000b4c: PUSH2 0x0b57
00000b4f: JUMPI
00000b50: PUSH2 0x0b57
00000b53: PUSH2 0x2e82
00000b56: JUMP
00000b57: JUMPDEST
00000b58: PUSH1 0x00
00000b5a: SWAP2
00000b5b: DUP3
00000b5c: MSTORE
00000b5d: PUSH1 0x20
00000b5f: SWAP1
00000b60: SWAP2
00000b61: KECCAK256
00000b62: ADD
00000b63: DUP1
00000b64: SLOAD
00000b65: SWAP1
00000b66: SWAP2
00000b67: POP
00000b68: CALLER
00000b69: PUSH1 0x01
00000b6b: PUSH1 0x60
00000b6d: SHL
00000b6e: SWAP1
00000b6f: SWAP2
00000b70: DIV
00000b71: PUSH1 0x01
00000b73: PUSH1 0x01
00000b75: PUSH1 0xa0
00000b77: SHL
00000b78: SUB
00000b79: AND
00000b7a: SUB
00000b7b: PUSH2 0x0c11
00000b7e: JUMPI
00000b7f: PUSH1 0x40
00000b81: DUP1
00000b82: MLOAD
00000b83: PUSH1 0x60
00000b85: DUP2
00000b86: ADD
00000b87: DUP3
00000b88: MSTORE
00000b89: DUP3
00000b8a: SLOAD
00000b8b: PUSH2 0xffff
00000b8e: DUP2
00000b8f: AND
00000b90: DUP3
00000b91: MSTORE
00000b92: PUSH3 0x010000
00000b96: DUP2
00000b97: DIV
00000b98: PUSH1 0x01
00000b9a: PUSH1 0x01
00000b9c: PUSH1 0x50
00000b9e: SHL
00000b9f: SUB
00000ba0: AND
00000ba1: PUSH1 0x20
00000ba3: DUP4
00000ba4: ADD
00000ba5: MSTORE
00000ba6: PUSH1 0x01
00000ba8: PUSH1 0x60
00000baa: SHL
00000bab: SWAP1
00000bac: DIV
00000bad: PUSH1 0x01
00000baf: PUSH1 0x01
00000bb1: PUSH1 0xa0
00000bb3: SHL
00000bb4: SUB
00000bb5: AND
00000bb6: SWAP2
00000bb7: DUP2
00000bb8: ADD
00000bb9: SWAP2
00000bba: SWAP1
00000bbb: SWAP2
00000bbc: MSTORE
00000bbd: PUSH2 0x0bc9
00000bc0: DUP3
00000bc1: DUP14
00000bc2: DUP16
00000bc3: DUP10
00000bc4: DUP15
00000bc5: PUSH2 0x1fe8
00000bc8: JUMP
00000bc9: JUMPDEST
00000bca: PUSH32 0x9911bf772bb00c03dcbbd63b16d57c4e50584fa63721fb6a768edccfd6439ec9
00000beb: DUP2
00000bec: DUP4
00000bed: PUSH1 0x40
00000bef: MLOAD
00000bf0: PUSH2 0x0bfa
00000bf3: SWAP3
00000bf4: SWAP2
00000bf5: SWAP1
00000bf6: PUSH2 0x2f2a
00000bf9: JUMP
00000bfa: JUMPDEST
00000bfb: PUSH1 0x40
00000bfd: MLOAD
00000bfe: DUP1
00000bff: SWAP2
00000c00: SUB
00000c01: SWAP1
00000c02: LOG1
00000c03: POP
00000c04: POP
00000c05: POP
00000c06: POP
00000c07: POP
00000c08: POP
00000c09: POP
00000c0a: POP
00000c0b: POP
00000c0c: POP
00000c0d: POP
00000c0e: POP
00000c0f: POP
00000c10: JUMP
00000c11: JUMPDEST
00000c12: POP
00000c13: PUSH1 0x01
00000c15: ADD
00000c16: PUSH2 0x0b3a
00000c19: JUMP
00000c1a: JUMPDEST
00000c1b: POP
00000c1c: PUSH2 0x0c3d
00000c1f: PUSH1 0x00
00000c21: PUSH2 0x0c37
00000c24: PUSH1 0x01
00000c26: PUSH1 0x01
00000c28: PUSH1 0x50
00000c2a: SHL
00000c2b: SUB
00000c2c: DUP14
00000c2d: AND
00000c2e: PUSH2 0xffff
00000c31: DUP14
00000c32: AND
00000c33: PUSH2 0x2f8b
00000c36: JUMP
00000c37: JUMPDEST
00000c38: DUP6
00000c39: PUSH2 0x2142
00000c3c: JUMP
00000c3d: JUMPDEST
00000c3e: ISZERO
00000c3f: PUSH2 0x0c5b
00000c42: JUMPI
00000c43: PUSH1 0x40
00000c45: MLOAD
00000c46: PUSH4 0x01841fdb
00000c4b: PUSH1 0xe2
00000c4d: SHL
00000c4e: DUP2
00000c4f: MSTORE
00000c50: PUSH1 0x04
00000c52: ADD
00000c53: PUSH1 0x40
00000c55: MLOAD
00000c56: DUP1
00000c57: SWAP2
00000c58: SUB
00000c59: SWAP1
00000c5a: REVERT
00000c5b: JUMPDEST
00000c5c: DUP1
00000c5d: SLOAD
00000c5e: PUSH1 0x01
00000c60: DUP2
00000c61: ADD
00000c62: DUP3
00000c63: SSTORE
00000c64: PUSH1 0x00
00000c66: DUP3
00000c67: DUP2
00000c68: MSTORE
00000c69: PUSH1 0x20
00000c6b: SWAP1
00000c6c: DUP2
00000c6d: SWAP1
00000c6e: KECCAK256
00000c6f: DUP5
00000c70: MLOAD
00000c71: SWAP3
00000c72: ADD
00000c73: DUP1
00000c74: SLOAD
00000c75: SWAP2
00000c76: DUP6
00000c77: ADD
00000c78: MLOAD
00000c79: PUSH1 0x40
00000c7b: DUP7
00000c7c: ADD
00000c7d: MLOAD
00000c7e: PUSH1 0x01
00000c80: PUSH1 0x01
00000c82: PUSH1 0xa0
00000c84: SHL
00000c85: SUB
00000c86: AND
00000c87: PUSH1 0x01
00000c89: PUSH1 0x60
00000c8b: SHL
00000c8c: MUL
00000c8d: PUSH12 0xffffffffffffffffffffffff
00000c9a: PUSH1 0x01
00000c9c: PUSH1 0x01
00000c9e: PUSH1 0x50
00000ca0: SHL
00000ca1: SUB
00000ca2: SWAP1
00000ca3: SWAP3
00000ca4: AND
00000ca5: PUSH3 0x010000
00000ca9: MUL
00000caa: PUSH1 0x01
00000cac: PUSH1 0x01
00000cae: PUSH1 0x60
00000cb0: SHL
00000cb1: SUB
00000cb2: NOT
00000cb3: SWAP1
00000cb4: SWAP5
00000cb5: AND
00000cb6: PUSH2 0xffff
00000cb9: SWAP1
00000cba: SWAP6
00000cbb: AND
00000cbc: SWAP5
00000cbd: SWAP1
00000cbe: SWAP5
00000cbf: OR
00000cc0: SWAP3
00000cc1: SWAP1
00000cc2: SWAP3
00000cc3: OR
00000cc4: SWAP2
00000cc5: SWAP1
00000cc6: SWAP2
00000cc7: AND
00000cc8: SWAP2
00000cc9: SWAP1
00000cca: SWAP2
00000ccb: OR
00000ccc: SWAP1
00000ccd: SSTORE
00000cce: DUP1
00000ccf: SLOAD
00000cd0: PUSH1 0x0a
00000cd2: LT
00000cd3: ISZERO
00000cd4: PUSH2 0x0cf0
00000cd7: JUMPI
00000cd8: PUSH1 0x40
00000cda: MLOAD
00000cdb: PUSH4 0x39439003
00000ce0: PUSH1 0xe0
00000ce2: SHL
00000ce3: DUP2
00000ce4: MSTORE
00000ce5: PUSH1 0x04
00000ce7: ADD
00000ce8: PUSH1 0x40
00000cea: MLOAD
00000ceb: DUP1
00000cec: SWAP2
00000ced: SUB
00000cee: SWAP1
00000cef: REVERT
00000cf0: JUMPDEST
00000cf1: PUSH32 0xa378f1241eee13bdb1ea87fd551370bab86c29b0b44296a284021c8eb99a8605
00000d12: DUP3
00000d13: PUSH1 0x40
00000d15: MLOAD
00000d16: PUSH2 0x0d1f
00000d19: SWAP2
00000d1a: SWAP1
00000d1b: PUSH2 0x2b42
00000d1e: JUMP
00000d1f: JUMPDEST
00000d20: PUSH1 0x40
00000d22: MLOAD
00000d23: DUP1
00000d24: SWAP2
00000d25: SUB
00000d26: SWAP1
00000d27: LOG1
00000d28: POP
00000d29: POP
00000d2a: POP
00000d2b: POP
00000d2c: POP
00000d2d: POP
00000d2e: POP
00000d2f: POP
00000d30: POP
00000d31: POP
00000d32: JUMP
00000d33: JUMPDEST
00000d34: CALLER
00000d35: PUSH1 0x01
00000d37: PUSH1 0x01
00000d39: PUSH1 0xa0
00000d3b: SHL
00000d3c: SUB
00000d3d: PUSH32 0x000000000000000000000000000000000000003607fce1ac9e043a86675c5c2f
00000d5e: AND
00000d5f: EQ
00000d60: PUSH2 0x0d7b
00000d63: JUMPI
00000d64: PUSH1 0x40
00000d66: MLOAD
00000d67: PUSH3 0x82b429
00000d6b: PUSH1 0xe8
00000d6d: SHL
00000d6e: DUP2
00000d6f: MSTORE
00000d70: PUSH1 0x04
00000d72: ADD
00000d73: PUSH1 0x40
00000d75: MLOAD
00000d76: DUP1
00000d77: SWAP2
00000d78: SUB
00000d79: SWAP1
00000d7a: REVERT
00000d7b: JUMPDEST
00000d7c: PUSH1 0x40
00000d7e: MLOAD
00000d7f: PUSH4 0x22dca8bb
00000d84: PUSH1 0xe2
00000d86: SHL
00000d87: DUP2
00000d88: MSTORE
00000d89: PUSH1 0x01
00000d8b: PUSH1 0x01
00000d8d: PUSH1 0xa0
00000d8f: SHL
00000d90: SUB
00000d91: PUSH32 0x000000000000000000000000000000000000003607fce1ac9e043a86675c5c2f
00000db2: DUP2
00000db3: AND
00000db4: PUSH1 0x04
00000db6: DUP4
00000db7: ADD
00000db8: MSTORE
00000db9: PUSH1 0x24
00000dbb: DUP3
00000dbc: ADD
00000dbd: DUP4
00000dbe: SWAP1
00000dbf: MSTORE
00000dc0: PUSH32 0x000000000000000000000000b47e3cd837ddf8e4c57f05d70ab865de6e193bbb
00000de1: AND
00000de2: SWAP1
00000de3: PUSH4 0x8b72a2ec
00000de8: SWAP1
00000de9: PUSH1 0x44
00000deb: ADD
00000dec: PUSH1 0x00
00000dee: PUSH1 0x40
00000df0: MLOAD
00000df1: DUP1
00000df2: DUP4
00000df3: SUB
00000df4: DUP2
00000df5: PUSH1 0x00
00000df7: DUP8
00000df8: DUP1
00000df9: EXTCODESIZE
00000dfa: ISZERO
00000dfb: DUP1
00000dfc: ISZERO
00000dfd: PUSH2 0x0e05
00000e00: JUMPI
00000e01: PUSH1 0x00
00000e03: DUP1
00000e04: REVERT
00000e05: JUMPDEST
00000e06: POP
00000e07: GAS
00000e08: CALL
00000e09: ISZERO
00000e0a: DUP1
00000e0b: ISZERO
00000e0c: PUSH2 0x0609
00000e0f: JUMPI
00000e10: RETURNDATASIZE
00000e11: PUSH1 0x00
00000e13: DUP1
00000e14: RETURNDATACOPY
00000e15: RETURNDATASIZE
00000e16: PUSH1 0x00
00000e18: REVERT
00000e19: JUMPDEST
00000e1a: PUSH1 0x00
00000e1c: SLOAD
00000e1d: PUSH2 0x0100
00000e20: SWAP1
00000e21: DIV
00000e22: PUSH1 0x01
00000e24: PUSH1 0x01
00000e26: PUSH1 0xa0
00000e28: SHL
00000e29: SUB
00000e2a: AND
00000e2b: CALLER
00000e2c: EQ
00000e2d: PUSH2 0x0e49
00000e30: JUMPI
00000e31: PUSH1 0x40
00000e33: MLOAD
00000e34: PUSH4 0x088b5de9
00000e39: PUSH1 0xe3
00000e3b: SHL
00000e3c: DUP2
00000e3d: MSTORE
00000e3e: PUSH1 0x04
00000e40: ADD
00000e41: PUSH1 0x40
00000e43: MLOAD
00000e44: DUP1
00000e45: SWAP2
00000e46: SUB
00000e47: SWAP1
00000e48: REVERT
00000e49: JUMPDEST
00000e4a: DUP5
00000e4b: PUSH1 0x00
00000e4d: JUMPDEST
00000e4e: DUP5
00000e4f: DUP2
00000e50: LT
00000e51: ISZERO
00000e52: PUSH2 0x0f2d
00000e55: JUMPI
00000e56: PUSH1 0x00
00000e58: SLOAD
00000e59: PUSH1 0x01
00000e5b: PUSH1 0x01
00000e5d: PUSH1 0xa0
00000e5f: SHL
00000e60: SUB
00000e61: DUP1
00000e62: DUP5
00000e63: AND
00000e64: SWAP2
00000e65: PUSH4 0xf242432a
00000e6a: SWAP2
00000e6b: ADDRESS
00000e6c: SWAP2
00000e6d: PUSH2 0x0100
00000e70: SWAP1
00000e71: DIV
00000e72: AND
00000e73: DUP10
00000e74: DUP10
00000e75: DUP7
00000e76: DUP2
00000e77: DUP2
00000e78: LT
00000e79: PUSH2 0x0e84
00000e7c: JUMPI
00000e7d: PUSH2 0x0e84
00000e80: PUSH2 0x2e82
00000e83: JUMP
00000e84: JUMPDEST
00000e85: SWAP1
00000e86: POP
00000e87: PUSH1 0x20
00000e89: MUL
00000e8a: ADD
00000e8b: CALLDATALOAD
00000e8c: DUP9
00000e8d: DUP9
00000e8e: DUP8
00000e8f: DUP2
00000e90: DUP2
00000e91: LT
00000e92: PUSH2 0x0e9d
00000e95: JUMPI
00000e96: PUSH2 0x0e9d
00000e99: PUSH2 0x2e82
00000e9c: JUMP
00000e9d: JUMPDEST
00000e9e: PUSH1 0x40
00000ea0: MLOAD
00000ea1: PUSH1 0x01
00000ea3: PUSH1 0x01
00000ea5: PUSH1 0xe0
00000ea7: SHL
00000ea8: SUB
00000ea9: NOT
00000eaa: PUSH1 0xe0
00000eac: DUP10
00000ead: SWAP1
00000eae: SHL
00000eaf: AND
00000eb0: DUP2
00000eb1: MSTORE
00000eb2: PUSH1 0x01
00000eb4: PUSH1 0x01
00000eb6: PUSH1 0xa0
00000eb8: SHL
00000eb9: SUB
00000eba: SWAP7
00000ebb: DUP8
00000ebc: AND
00000ebd: PUSH1 0x04
00000ebf: DUP3
00000ec0: ADD
00000ec1: MSTORE
00000ec2: SWAP6
00000ec3: SWAP1
00000ec4: SWAP5
00000ec5: AND
00000ec6: PUSH1 0x24
00000ec8: DUP7
00000ec9: ADD
00000eca: MSTORE
00000ecb: POP
00000ecc: PUSH1 0x44
00000ece: DUP5
00000ecf: ADD
00000ed0: SWAP2
00000ed1: SWAP1
00000ed2: SWAP2
00000ed3: MSTORE
00000ed4: PUSH1 0x20
00000ed6: SWAP1
00000ed7: SWAP2
00000ed8: MUL
00000ed9: ADD
00000eda: CALLDATALOAD
00000edb: PUSH1 0x64
00000edd: DUP3
00000ede: ADD
00000edf: MSTORE
00000ee0: PUSH1 0xa0
00000ee2: PUSH1 0x84
00000ee4: DUP3
00000ee5: ADD
00000ee6: MSTORE
00000ee7: PUSH1 0x00
00000ee9: PUSH1 0xa4
00000eeb: DUP3
00000eec: ADD
00000eed: MSTORE
00000eee: PUSH1 0xc4
00000ef0: ADD
00000ef1: PUSH1 0x00
00000ef3: PUSH1 0x40
00000ef5: MLOAD
00000ef6: DUP1
00000ef7: DUP4
00000ef8: SUB
00000ef9: DUP2
00000efa: PUSH1 0x00
00000efc: DUP8
00000efd: DUP1
00000efe: EXTCODESIZE
00000eff: ISZERO
00000f00: DUP1
00000f01: ISZERO
00000f02: PUSH2 0x0f0a
00000f05: JUMPI
00000f06: PUSH1 0x00
00000f08: DUP1
00000f09: REVERT
00000f0a: JUMPDEST
00000f0b: POP
00000f0c: GAS
00000f0d: CALL
00000f0e: ISZERO
00000f0f: DUP1
00000f10: ISZERO
00000f11: PUSH2 0x0f1e
00000f14: JUMPI
00000f15: RETURNDATASIZE
00000f16: PUSH1 0x00
00000f18: DUP1
00000f19: RETURNDATACOPY
00000f1a: RETURNDATASIZE
00000f1b: PUSH1 0x00
00000f1d: REVERT
00000f1e: JUMPDEST
00000f1f: POP
00000f20: POP
00000f21: POP
00000f22: POP
00000f23: DUP1
00000f24: PUSH1 0x01
00000f26: ADD
00000f27: SWAP1
00000f28: POP
00000f29: PUSH2 0x0e4d
00000f2c: JUMP
00000f2d: JUMPDEST
00000f2e: POP
00000f2f: POP
00000f30: POP
00000f31: POP
00000f32: POP
00000f33: POP
00000f34: POP
00000f35: JUMP
00000f36: JUMPDEST
00000f37: PUSH1 0x00
00000f39: SLOAD
00000f3a: PUSH2 0x0100
00000f3d: SWAP1
00000f3e: DIV
00000f3f: PUSH1 0x01
00000f41: PUSH1 0x01
00000f43: PUSH1 0xa0
00000f45: SHL
00000f46: SUB
00000f47: AND
00000f48: CALLER
00000f49: EQ
00000f4a: PUSH2 0x0f66
00000f4d: JUMPI
00000f4e: PUSH1 0x40
00000f50: MLOAD
00000f51: PUSH4 0x088b5de9
00000f56: PUSH1 0xe3
00000f58: SHL
00000f59: DUP2
00000f5a: MSTORE
00000f5b: PUSH1 0x04
00000f5d: ADD
00000f5e: PUSH1 0x40
00000f60: MLOAD
00000f61: DUP1
00000f62: SWAP2
00000f63: SUB
00000f64: SWAP1
00000f65: REVERT
00000f66: JUMPDEST
00000f67: PUSH1 0x00
00000f69: DUP1
00000f6a: SLOAD
00000f6b: PUSH1 0x01
00000f6d: PUSH7 0xffffffffffffff
00000f75: PUSH1 0x01
00000f77: PUSH1 0xa8
00000f79: SHL
00000f7a: DUP1
00000f7b: DUP5
00000f7c: DIV
00000f7d: DUP3
00000f7e: AND
00000f7f: SWAP3
00000f80: SWAP1
00000f81: SWAP3
00000f82: ADD
00000f83: AND
00000f84: MUL
00000f85: PUSH7 0xffffffffffffff
00000f8d: PUSH1 0xa8
00000f8f: SHL
00000f90: NOT
00000f91: SWAP1
00000f92: SWAP2
00000f93: AND
00000f94: OR
00000f95: DUP2
00000f96: SSTORE
00000f97: PUSH1 0x40
00000f99: MLOAD
00000f9a: PUSH32 0x3cf7e98785d634f72964876ce0cf536c0b4fd053d54554c1e46fb1e1dc867faf
00000fbb: SWAP2
00000fbc: SWAP1
00000fbd: LOG1
00000fbe: JUMP
00000fbf: JUMPDEST
00000fc0: PUSH1 0x00
00000fc2: SLOAD
00000fc3: PUSH1 0xff
00000fc5: AND
00000fc6: ISZERO
00000fc7: PUSH2 0x0fe2
00000fca: JUMPI
00000fcb: PUSH1 0x40
00000fcd: MLOAD
00000fce: PUSH3 0xdc149f
00000fd2: PUSH1 0xe4
00000fd4: SHL
00000fd5: DUP2
00000fd6: MSTORE
00000fd7: PUSH1 0x04
00000fd9: ADD
00000fda: PUSH1 0x40
00000fdc: MLOAD
00000fdd: DUP1
00000fde: SWAP2
00000fdf: SUB
00000fe0: SWAP1
00000fe1: REVERT
00000fe2: JUMPDEST
00000fe3: PUSH1 0x00
00000fe5: DUP1
00000fe6: SLOAD
00000fe7: PUSH1 0xff
00000fe9: NOT
00000fea: PUSH1 0x01
00000fec: PUSH1 0x01
00000fee: PUSH1 0xa0
00000ff0: SHL
00000ff1: SUB
00000ff2: SWAP1
00000ff3: SWAP4
00000ff4: AND
00000ff5: PUSH2 0x0100
00000ff8: MUL
00000ff9: SWAP3
00000ffa: SWAP1
00000ffb: SWAP3
00000ffc: AND
00000ffd: PUSH1 0x01
00000fff: PUSH1 0x01
00001001: PUSH1 0xa8
00001003: SHL
00001004: SUB
00001005: NOT
00001006: SWAP1
00001007: SWAP3
00001008: AND
00001009: SWAP2
0000100a: SWAP1
0000100b: SWAP2
0000100c: OR
0000100d: PUSH1 0x01
0000100f: OR
00001010: SWAP1
00001011: SSTORE
00001012: JUMP
00001013: JUMPDEST
00001014: PUSH1 0x00
00001016: DUP1
00001017: SLOAD
00001018: PUSH1 0x40
0000101a: MLOAD
0000101b: PUSH4 0x70a08231
00001020: PUSH1 0xe0
00001022: SHL
00001023: DUP2
00001024: MSTORE
00001025: PUSH1 0x01
00001027: PUSH1 0x01
00001029: PUSH1 0xa0
0000102b: SHL
0000102c: SUB
0000102d: PUSH2 0x0100
00001030: SWAP1
00001031: SWAP3
00001032: DIV
00001033: DUP3
00001034: AND
00001035: PUSH1 0x04
00001037: DUP3
00001038: ADD
00001039: MSTORE
0000103a: DUP3
0000103b: SWAP2
0000103c: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
0000105d: AND
0000105e: SWAP1
0000105f: PUSH4 0x70a08231
00001064: SWAP1
00001065: PUSH1 0x24
00001067: ADD
00001068: PUSH1 0x20
0000106a: PUSH1 0x40
0000106c: MLOAD
0000106d: DUP1
0000106e: DUP4
0000106f: SUB
00001070: DUP2
00001071: DUP7
00001072: GAS
00001073: STATICCALL
00001074: ISZERO
00001075: DUP1
00001076: ISZERO
00001077: PUSH2 0x1084
0000107a: JUMPI
0000107b: RETURNDATASIZE
0000107c: PUSH1 0x00
0000107e: DUP1
0000107f: RETURNDATACOPY
00001080: RETURNDATASIZE
00001081: PUSH1 0x00
00001083: REVERT
00001084: JUMPDEST
00001085: POP
00001086: POP
00001087: POP
00001088: POP
00001089: PUSH1 0x40
0000108b: MLOAD
0000108c: RETURNDATASIZE
0000108d: PUSH1 0x1f
0000108f: NOT
00001090: PUSH1 0x1f
00001092: DUP3
00001093: ADD
00001094: AND
00001095: DUP3
00001096: ADD
00001097: DUP1
00001098: PUSH1 0x40
0000109a: MSTORE
0000109b: POP
0000109c: DUP2
0000109d: ADD
0000109e: SWAP1
0000109f: PUSH2 0x10a8
000010a2: SWAP2
000010a3: SWAP1
000010a4: PUSH2 0x2fa2
000010a7: JUMP
000010a8: JUMPDEST
000010a9: PUSH1 0x00
000010ab: DUP1
000010ac: SLOAD
000010ad: PUSH1 0x40
000010af: MLOAD
000010b0: PUSH4 0x6eb1769f
000010b5: PUSH1 0xe1
000010b7: SHL
000010b8: DUP2
000010b9: MSTORE
000010ba: PUSH2 0x0100
000010bd: SWAP1
000010be: SWAP2
000010bf: DIV
000010c0: PUSH1 0x01
000010c2: PUSH1 0x01
000010c4: PUSH1 0xa0
000010c6: SHL
000010c7: SUB
000010c8: SWAP1
000010c9: DUP2
000010ca: AND
000010cb: PUSH1 0x04
000010cd: DUP4
000010ce: ADD
000010cf: MSTORE
000010d0: ADDRESS
000010d1: PUSH1 0x24
000010d3: DUP4
000010d4: ADD
000010d5: MSTORE
000010d6: SWAP3
000010d7: SWAP4
000010d8: POP
000010d9: SWAP1
000010da: SWAP2
000010db: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
000010fc: AND
000010fd: SWAP1
000010fe: PUSH4 0xdd62ed3e
00001103: SWAP1
00001104: PUSH1 0x44
00001106: ADD
00001107: PUSH1 0x20
00001109: PUSH1 0x40
0000110b: MLOAD
0000110c: DUP1
0000110d: DUP4
0000110e: SUB
0000110f: DUP2
00001110: DUP7
00001111: GAS
00001112: STATICCALL
00001113: ISZERO
00001114: DUP1
00001115: ISZERO
00001116: PUSH2 0x1123
00001119: JUMPI
0000111a: RETURNDATASIZE
0000111b: PUSH1 0x00
0000111d: DUP1
0000111e: RETURNDATACOPY
0000111f: RETURNDATASIZE
00001120: PUSH1 0x00
00001122: REVERT
00001123: JUMPDEST
00001124: POP
00001125: POP
00001126: POP
00001127: POP
00001128: PUSH1 0x40
0000112a: MLOAD
0000112b: RETURNDATASIZE
0000112c: PUSH1 0x1f
0000112e: NOT
0000112f: PUSH1 0x1f
00001131: DUP3
00001132: ADD
00001133: AND
00001134: DUP3
00001135: ADD
00001136: DUP1
00001137: PUSH1 0x40
00001139: MSTORE
0000113a: POP
0000113b: DUP2
0000113c: ADD
0000113d: SWAP1
0000113e: PUSH2 0x1147
00001141: SWAP2
00001142: SWAP1
00001143: PUSH2 0x2fa2
00001146: JUMP
00001147: JUMPDEST
00001148: SWAP1
00001149: POP
0000114a: PUSH1 0x00
0000114c: DUP2
0000114d: DUP4
0000114e: GT
0000114f: PUSH2 0x1158
00001152: JUMPI
00001153: DUP3
00001154: PUSH2 0x115a
00001157: JUMP
00001158: JUMPDEST
00001159: DUP2
0000115a: JUMPDEST
0000115b: SWAP1
0000115c: POP
0000115d: PUSH2 0x1166
00001160: PUSH1 0x00
00001162: PUSH2 0x0610
00001165: JUMP
00001166: JUMPDEST
00001167: PUSH2 0x118f
0000116a: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
0000118b: PUSH2 0x0610
0000118e: JUMP
0000118f: JUMPDEST
00001190: PUSH2 0x1199
00001193: SWAP1
00001194: DUP4
00001195: PUSH2 0x2fbb
00001198: JUMP
00001199: JUMPDEST
0000119a: PUSH2 0x11a3
0000119d: SWAP2
0000119e: SWAP1
0000119f: PUSH2 0x2fbb
000011a2: JUMP
000011a3: JUMPDEST
000011a4: SWAP4
000011a5: POP
000011a6: POP
000011a7: POP
000011a8: POP
000011a9: SWAP1
000011aa: JUMP
000011ab: JUMPDEST
000011ac: PUSH1 0x40
000011ae: MLOAD
000011af: PUSH3 0x8ebde5
000011b3: PUSH1 0xe8
000011b5: SHL
000011b6: DUP2
000011b7: MSTORE
000011b8: CALLER
000011b9: PUSH1 0x04
000011bb: DUP3
000011bc: ADD
000011bd: MSTORE
000011be: PUSH32 0x000000000000000000000000000000000000a6fa31f5fc51c1640aac76866750
000011df: PUSH1 0x01
000011e1: PUSH1 0x01
000011e3: PUSH1 0xa0
000011e5: SHL
000011e6: SUB
000011e7: AND
000011e8: SWAP1
000011e9: PUSH4 0x8ebde500
000011ee: SWAP1
000011ef: PUSH1 0x24
000011f1: ADD
000011f2: PUSH1 0x20
000011f4: PUSH1 0x40
000011f6: MLOAD
000011f7: DUP1
000011f8: DUP4
000011f9: SUB
000011fa: DUP2
000011fb: DUP7
000011fc: GAS
000011fd: STATICCALL
000011fe: ISZERO
000011ff: DUP1
00001200: ISZERO
00001201: PUSH2 0x120e
00001204: JUMPI
00001205: RETURNDATASIZE
00001206: PUSH1 0x00
00001208: DUP1
00001209: RETURNDATACOPY
0000120a: RETURNDATASIZE
0000120b: PUSH1 0x00
0000120d: REVERT
0000120e: JUMPDEST
0000120f: POP
00001210: POP
00001211: POP
00001212: POP
00001213: PUSH1 0x40
00001215: MLOAD
00001216: RETURNDATASIZE
00001217: PUSH1 0x1f
00001219: NOT
0000121a: PUSH1 0x1f
0000121c: DUP3
0000121d: ADD
0000121e: AND
0000121f: DUP3
00001220: ADD
00001221: DUP1
00001222: PUSH1 0x40
00001224: MSTORE
00001225: POP
00001226: DUP2
00001227: ADD
00001228: SWAP1
00001229: PUSH2 0x1232
0000122c: SWAP2
0000122d: SWAP1
0000122e: PUSH2 0x2f0f
00001231: JUMP
00001232: JUMPDEST
00001233: PUSH2 0x124f
00001236: JUMPI
00001237: PUSH1 0x40
00001239: MLOAD
0000123a: PUSH4 0x088b5de9
0000123f: PUSH1 0xe3
00001241: SHL
00001242: DUP2
00001243: MSTORE
00001244: PUSH1 0x04
00001246: ADD
00001247: PUSH1 0x40
00001249: MLOAD
0000124a: DUP1
0000124b: SWAP2
0000124c: SUB
0000124d: SWAP1
0000124e: REVERT
0000124f: JUMPDEST
00001250: PUSH1 0x00
00001252: CALLER
00001253: PUSH1 0x01
00001255: PUSH1 0x01
00001257: PUSH1 0xa0
00001259: SHL
0000125a: SUB
0000125b: AND
0000125c: PUSH4 0xd4934220
00001261: PUSH1 0x40
00001263: MLOAD
00001264: DUP2
00001265: PUSH4 0xffffffff
0000126a: AND
0000126b: PUSH1 0xe0
0000126d: SHL
0000126e: DUP2
0000126f: MSTORE
00001270: PUSH1 0x04
00001272: ADD
00001273: PUSH1 0x40
00001275: DUP1
00001276: MLOAD
00001277: DUP1
00001278: DUP4
00001279: SUB
0000127a: DUP2
0000127b: DUP7
0000127c: GAS
0000127d: STATICCALL
0000127e: ISZERO
0000127f: DUP1
00001280: ISZERO
00001281: PUSH2 0x128e
00001284: JUMPI
00001285: RETURNDATASIZE
00001286: PUSH1 0x00
00001288: DUP1
00001289: RETURNDATACOPY
0000128a: RETURNDATASIZE
0000128b: PUSH1 0x00
0000128d: REVERT
0000128e: JUMPDEST
0000128f: POP
00001290: POP
00001291: POP
00001292: POP
00001293: PUSH1 0x40
00001295: MLOAD
00001296: RETURNDATASIZE
00001297: PUSH1 0x1f
00001299: NOT
0000129a: PUSH1 0x1f
0000129c: DUP3
0000129d: ADD
0000129e: AND
0000129f: DUP3
000012a0: ADD
000012a1: DUP1
000012a2: PUSH1 0x40
000012a4: MSTORE
000012a5: POP
000012a6: DUP2
000012a7: ADD
000012a8: SWAP1
000012a9: PUSH2 0x12b2
000012ac: SWAP2
000012ad: SWAP1
000012ae: PUSH2 0x2ec1
000012b1: JUMP
000012b2: JUMPDEST
000012b3: POP
000012b4: PUSH1 0x01
000012b6: PUSH1 0x01
000012b8: PUSH1 0xa0
000012ba: SHL
000012bb: SUB
000012bc: DUP2
000012bd: AND
000012be: PUSH1 0x00
000012c0: SWAP1
000012c1: DUP2
000012c2: MSTORE
000012c3: PUSH1 0x03
000012c5: PUSH1 0x20
000012c7: MSTORE
000012c8: PUSH1 0x40
000012ca: DUP2
000012cb: KECCAK256
000012cc: SWAP2
000012cd: SWAP3
000012ce: POP
000012cf: JUMPDEST
000012d0: DUP2
000012d1: SLOAD
000012d2: DUP2
000012d3: LT
000012d4: ISZERO
000012d5: PUSH2 0x1431
000012d8: JUMPI
000012d9: PUSH1 0x00
000012db: DUP3
000012dc: DUP3
000012dd: DUP2
000012de: SLOAD
000012df: DUP2
000012e0: LT
000012e1: PUSH2 0x12ec
000012e4: JUMPI
000012e5: PUSH2 0x12ec
000012e8: PUSH2 0x2e82
000012eb: JUMP
000012ec: JUMPDEST
000012ed: PUSH1 0x00
000012ef: SWAP2
000012f0: DUP3
000012f1: MSTORE
000012f2: PUSH1 0x20
000012f4: SWAP1
000012f5: SWAP2
000012f6: KECCAK256
000012f7: ADD
000012f8: DUP1
000012f9: SLOAD
000012fa: SWAP1
000012fb: SWAP2
000012fc: POP
000012fd: CALLER
000012fe: PUSH1 0x01
00001300: PUSH1 0x60
00001302: SHL
00001303: SWAP1
00001304: SWAP2
00001305: DIV
00001306: PUSH1 0x01
00001308: PUSH1 0x01
0000130a: PUSH1 0xa0
0000130c: SHL
0000130d: SUB
0000130e: AND
0000130f: SUB
00001310: PUSH2 0x1428
00001313: JUMPI
00001314: DUP1
00001315: SLOAD
00001316: PUSH1 0x01
00001318: PUSH1 0x01
0000131a: PUSH1 0x50
0000131c: SHL
0000131d: SUB
0000131e: PUSH3 0x010000
00001322: SWAP1
00001323: SWAP2
00001324: DIV
00001325: DUP2
00001326: AND
00001327: SWAP1
00001328: DUP8
00001329: AND
0000132a: GT
0000132b: DUP1
0000132c: PUSH2 0x133d
0000132f: JUMPI
00001330: POP
00001331: DUP1
00001332: SLOAD
00001333: PUSH2 0xffff
00001336: SWAP1
00001337: DUP2
00001338: AND
00001339: SWAP1
0000133a: DUP7
0000133b: AND
0000133c: GT
0000133d: JUMPDEST
0000133e: ISZERO
0000133f: PUSH2 0x135b
00001342: JUMPI
00001343: PUSH1 0x40
00001345: MLOAD
00001346: PUSH4 0x2e4407c5
0000134b: PUSH1 0xe2
0000134d: SHL
0000134e: DUP2
0000134f: MSTORE
00001350: PUSH1 0x04
00001352: ADD
00001353: PUSH1 0x40
00001355: MLOAD
00001356: DUP1
00001357: SWAP2
00001358: SUB
00001359: SWAP1
0000135a: REVERT
0000135b: JUMPDEST
0000135c: DUP1
0000135d: SLOAD
0000135e: PUSH2 0xffff
00001361: SWAP1
00001362: DUP2
00001363: AND
00001364: SWAP1
00001365: DUP7
00001366: AND
00001367: SUB
00001368: PUSH2 0x137a
0000136b: JUMPI
0000136c: PUSH2 0x1375
0000136f: DUP5
00001370: DUP4
00001371: PUSH2 0x2173
00001374: JUMP
00001375: JUMPDEST
00001376: PUSH2 0x1400
00001379: JUMP
0000137a: JUMPDEST
0000137b: PUSH1 0x40
0000137d: DUP1
0000137e: MLOAD
0000137f: PUSH1 0x60
00001381: DUP2
00001382: ADD
00001383: DUP3
00001384: MSTORE
00001385: DUP3
00001386: SLOAD
00001387: PUSH2 0xffff
0000138a: DUP1
0000138b: DUP3
0000138c: AND
0000138d: DUP1
0000138e: DUP5
0000138f: MSTORE
00001390: PUSH1 0x01
00001392: PUSH1 0x01
00001394: PUSH1 0x50
00001396: SHL
00001397: SUB
00001398: PUSH3 0x010000
0000139c: DUP5
0000139d: DIV
0000139e: AND
0000139f: PUSH1 0x20
000013a1: DUP6
000013a2: ADD
000013a3: MSTORE
000013a4: PUSH1 0x01
000013a6: PUSH1 0x01
000013a8: PUSH1 0xa0
000013aa: SHL
000013ab: SUB
000013ac: PUSH1 0x01
000013ae: PUSH1 0x60
000013b0: SHL
000013b1: DUP5
000013b2: DIV
000013b3: AND
000013b4: DUP5
000013b5: DUP7
000013b6: ADD
000013b7: MSTORE
000013b8: DUP10
000013b9: SWAP1
000013ba: SUB
000013bb: AND
000013bc: PUSH2 0xffff
000013bf: NOT
000013c0: SWAP1
000013c1: SWAP2
000013c2: AND
000013c3: OR
000013c4: DUP4
000013c5: SSTORE
000013c6: SWAP1
000013c7: MLOAD
000013c8: PUSH32 0x9911bf772bb00c03dcbbd63b16d57c4e50584fa63721fb6a768edccfd6439ec9
000013e9: SWAP1
000013ea: PUSH2 0x13f6
000013ed: SWAP1
000013ee: DUP4
000013ef: SWAP1
000013f0: DUP6
000013f1: SWAP1
000013f2: PUSH2 0x2f2a
000013f5: JUMP
000013f6: JUMPDEST
000013f7: PUSH1 0x40
000013f9: MLOAD
000013fa: DUP1
000013fb: SWAP2
000013fc: SUB
000013fd: SWAP1
000013fe: LOG1
000013ff: POP
00001400: JUMPDEST
00001401: PUSH2 0x1420
00001404: DUP5
00001405: PUSH2 0x141b
00001408: PUSH1 0x01
0000140a: PUSH1 0x01
0000140c: PUSH1 0x50
0000140e: SHL
0000140f: SUB
00001410: DUP10
00001411: AND
00001412: PUSH2 0xffff
00001415: DUP10
00001416: AND
00001417: PUSH2 0x2f8b
0000141a: JUMP
0000141b: JUMPDEST
0000141c: PUSH2 0x2321
0000141f: JUMP
00001420: JUMPDEST
00001421: POP
00001422: POP
00001423: POP
00001424: POP
00001425: POP
00001426: POP
00001427: JUMP
00001428: JUMPDEST
00001429: POP
0000142a: PUSH1 0x01
0000142c: ADD
0000142d: PUSH2 0x12cf
00001430: JUMP
00001431: JUMPDEST
00001432: POP
00001433: PUSH1 0x40
00001435: MLOAD
00001436: PUSH4 0x2b9e8ccd
0000143b: PUSH1 0xe2
0000143d: SHL
0000143e: DUP2
0000143f: MSTORE
00001440: PUSH1 0x04
00001442: ADD
00001443: PUSH1 0x40
00001445: MLOAD
00001446: DUP1
00001447: SWAP2
00001448: SUB
00001449: SWAP1
0000144a: REVERT
0000144b: JUMPDEST
0000144c: PUSH1 0x00
0000144e: PUSH2 0x1456
00001451: DUP3
00001452: PUSH2 0x1e17
00001455: JUMP
00001456: JUMPDEST
00001457: POP
00001458: SWAP3
00001459: SWAP2
0000145a: POP
0000145b: POP
0000145c: JUMP
0000145d: JUMPDEST
0000145e: PUSH1 0x03
00001460: PUSH1 0x20
00001462: MSTORE
00001463: DUP2
00001464: PUSH1 0x00
00001466: MSTORE
00001467: PUSH1 0x40
00001469: PUSH1 0x00
0000146b: KECCAK256
0000146c: DUP2
0000146d: DUP2
0000146e: SLOAD
0000146f: DUP2
00001470: LT
00001471: PUSH2 0x1479
00001474: JUMPI
00001475: PUSH1 0x00
00001477: DUP1
00001478: REVERT
00001479: JUMPDEST
0000147a: PUSH1 0x00
0000147c: SWAP2
0000147d: DUP3
0000147e: MSTORE
0000147f: PUSH1 0x20
00001481: SWAP1
00001482: SWAP2
00001483: KECCAK256
00001484: ADD
00001485: SLOAD
00001486: PUSH2 0xffff
00001489: DUP2
0000148a: AND
0000148b: SWAP3
0000148c: POP
0000148d: PUSH3 0x010000
00001491: DUP2
00001492: DIV
00001493: PUSH1 0x01
00001495: PUSH1 0x01
00001497: PUSH1 0x50
00001499: SHL
0000149a: SUB
0000149b: AND
0000149c: SWAP2
0000149d: POP
0000149e: PUSH1 0x01
000014a0: PUSH1 0x60
000014a2: SHL
000014a3: SWAP1
000014a4: DIV
000014a5: PUSH1 0x01
000014a7: PUSH1 0x01
000014a9: PUSH1 0xa0
000014ab: SHL
000014ac: SUB
000014ad: AND
000014ae: DUP4
000014af: JUMP
000014b0: JUMPDEST
000014b1: PUSH1 0x00
000014b3: PUSH2 0x14bc
000014b6: PUSH1 0x00
000014b8: PUSH2 0x0610
000014bb: JUMP
000014bc: JUMPDEST
000014bd: SWAP1
000014be: POP
000014bf: DUP6
000014c0: PUSH1 0x00
000014c2: PUSH2 0x14d1
000014c5: PUSH1 0x40
000014c7: DUP4
000014c8: ADD
000014c9: PUSH1 0x20
000014cb: DUP5
000014cc: ADD
000014cd: PUSH2 0x2fce
000014d0: JUMP
000014d1: JUMPDEST
000014d2: PUSH1 0x01
000014d4: PUSH1 0x01
000014d6: PUSH1 0x50
000014d8: SHL
000014d9: SUB
000014da: AND
000014db: SWAP1
000014dc: POP
000014dd: PUSH2 0x14e9
000014e0: PUSH1 0x20
000014e2: DUP4
000014e3: ADD
000014e4: DUP4
000014e5: PUSH2 0x2fe9
000014e8: JUMP
000014e9: JUMPDEST
000014ea: PUSH2 0xffff
000014ed: AND
000014ee: PUSH1 0x00
000014f0: SUB
000014f1: PUSH2 0x150d
000014f4: JUMPI
000014f5: PUSH1 0x40
000014f7: MLOAD
000014f8: PUSH4 0xc6388ef7
000014fd: PUSH1 0xe0
000014ff: SHL
00001500: DUP2
00001501: MSTORE
00001502: PUSH1 0x04
00001504: ADD
00001505: PUSH1 0x40
00001507: MLOAD
00001508: DUP1
00001509: SWAP2
0000150a: SUB
0000150b: SWAP1
0000150c: REVERT
0000150d: JUMPDEST
0000150e: PUSH1 0x01
00001510: PUSH1 0x01
00001512: PUSH1 0xa0
00001514: SHL
00001515: SUB
00001516: PUSH32 0x000000000000000000000000b47e3cd837ddf8e4c57f05d70ab865de6e193bbb
00001537: AND
00001538: PUSH2 0x1547
0000153b: PUSH1 0x60
0000153d: DUP5
0000153e: ADD
0000153f: PUSH1 0x40
00001541: DUP6
00001542: ADD
00001543: PUSH2 0x2aca
00001546: JUMP
00001547: JUMPDEST
00001548: PUSH1 0x01
0000154a: PUSH1 0x01
0000154c: PUSH1 0xa0
0000154e: SHL
0000154f: SUB
00001550: AND
00001551: EQ
00001552: PUSH2 0x156e
00001555: JUMPI
00001556: PUSH1 0x40
00001558: MLOAD
00001559: PUSH4 0xc6388ef7
0000155e: PUSH1 0xe0
00001560: SHL
00001561: DUP2
00001562: MSTORE
00001563: PUSH1 0x04
00001565: ADD
00001566: PUSH1 0x40
00001568: MLOAD
00001569: DUP1
0000156a: SWAP2
0000156b: SUB
0000156c: SWAP1
0000156d: REVERT
0000156e: JUMPDEST
0000156f: PUSH1 0x00
00001571: SLOAD
00001572: PUSH7 0xffffffffffffff
0000157a: PUSH1 0x01
0000157c: PUSH1 0xa8
0000157e: SHL
0000157f: SWAP1
00001580: SWAP2
00001581: DIV
00001582: AND
00001583: PUSH1 0x60
00001585: DUP10
00001586: ADD
00001587: CALLDATALOAD
00001588: EQ
00001589: PUSH2 0x15a5
0000158c: JUMPI
0000158d: PUSH1 0x40
0000158f: MLOAD
00001590: PUSH4 0x086f8d39
00001595: PUSH1 0xe3
00001597: SHL
00001598: DUP2
00001599: MSTORE
0000159a: PUSH1 0x04
0000159c: ADD
0000159d: PUSH1 0x40
0000159f: MLOAD
000015a0: DUP1
000015a1: SWAP2
000015a2: SUB
000015a3: SWAP1
000015a4: REVERT
000015a5: JUMPDEST
000015a6: PUSH1 0x80
000015a8: DUP9
000015a9: ADD
000015aa: CALLDATALOAD
000015ab: PUSH1 0x00
000015ad: SWAP1
000015ae: DUP2
000015af: MSTORE
000015b0: PUSH1 0x02
000015b2: PUSH1 0x20
000015b4: MSTORE
000015b5: PUSH1 0x40
000015b7: SWAP1
000015b8: KECCAK256
000015b9: SLOAD
000015ba: PUSH1 0xff
000015bc: AND
000015bd: ISZERO
000015be: PUSH2 0x15da
000015c1: JUMPI
000015c2: PUSH1 0x40
000015c4: MLOAD
000015c5: PUSH4 0x086f8d39
000015ca: PUSH1 0xe3
000015cc: SHL
000015cd: DUP2
000015ce: MSTORE
000015cf: PUSH1 0x04
000015d1: ADD
000015d2: PUSH1 0x40
000015d4: MLOAD
000015d5: DUP1
000015d6: SWAP2
000015d7: SUB
000015d8: SWAP1
000015d9: REVERT
000015da: JUMPDEST
000015db: PUSH1 0x00
000015dd: DUP9
000015de: PUSH1 0xa0
000015e0: ADD
000015e1: CALLDATALOAD
000015e2: GT
000015e3: DUP1
000015e4: ISZERO
000015e5: PUSH2 0x15f1
000015e8: JUMPI
000015e9: POP
000015ea: DUP8
000015eb: PUSH1 0xa0
000015ed: ADD
000015ee: CALLDATALOAD
000015ef: TIMESTAMP
000015f0: GT
000015f1: JUMPDEST
000015f2: ISZERO
000015f3: PUSH2 0x160f
000015f6: JUMPI
000015f7: PUSH1 0x40
000015f9: MLOAD
000015fa: PUSH4 0x331b46d1
000015ff: PUSH1 0xe2
00001601: SHL
00001602: DUP2
00001603: MSTORE
00001604: PUSH1 0x04
00001606: ADD
00001607: PUSH1 0x40
00001609: MLOAD
0000160a: DUP1
0000160b: SWAP2
0000160c: SUB
0000160d: SWAP1
0000160e: REVERT
0000160f: JUMPDEST
00001610: PUSH2 0x1619
00001613: DUP9
00001614: DUP8
00001615: PUSH2 0x23a7
00001618: JUMP
00001619: JUMPDEST
0000161a: PUSH2 0x1636
0000161d: JUMPI
0000161e: PUSH1 0x40
00001620: MLOAD
00001621: PUSH4 0x8baa579f
00001626: PUSH1 0xe0
00001628: SHL
00001629: DUP2
0000162a: MSTORE
0000162b: PUSH1 0x04
0000162d: ADD
0000162e: PUSH1 0x40
00001630: MLOAD
00001631: DUP1
00001632: SWAP2
00001633: SUB
00001634: SWAP1
00001635: REVERT
00001636: JUMPDEST
00001637: PUSH1 0xc0
00001639: DUP9
0000163a: ADD
0000163b: CALLDATALOAD
0000163c: ISZERO
0000163d: PUSH2 0x1695
00001640: JUMPI
00001641: PUSH2 0x1678
00001644: DUP6
00001645: DUP6
00001646: DUP11
00001647: PUSH1 0xc0
00001649: ADD
0000164a: CALLDATALOAD
0000164b: DUP11
0000164c: PUSH1 0x40
0000164e: MLOAD
0000164f: PUSH1 0x20
00001651: ADD
00001652: PUSH2 0x165d
00001655: SWAP2
00001656: DUP2
00001657: MSTORE
00001658: PUSH1 0x20
0000165a: ADD
0000165b: SWAP1
0000165c: JUMP
0000165d: JUMPDEST
0000165e: PUSH1 0x40
00001660: MLOAD
00001661: PUSH1 0x20
00001663: DUP2
00001664: DUP4
00001665: SUB
00001666: SUB
00001667: DUP2
00001668: MSTORE
00001669: SWAP1
0000166a: PUSH1 0x40
0000166c: MSTORE
0000166d: DUP1
0000166e: MLOAD
0000166f: SWAP1
00001670: PUSH1 0x20
00001672: ADD
00001673: KECCAK256
00001674: PUSH2 0x257e
00001677: JUMP
00001678: JUMPDEST
00001679: PUSH2 0x1695
0000167c: JUMPI
0000167d: PUSH1 0x40
0000167f: MLOAD
00001680: PUSH4 0x09bde339
00001685: PUSH1 0xe0
00001687: SHL
00001688: DUP2
00001689: MSTORE
0000168a: PUSH1 0x04
0000168c: ADD
0000168d: PUSH1 0x40
0000168f: MLOAD
00001690: DUP1
00001691: SWAP2
00001692: SUB
00001693: SWAP1
00001694: REVERT
00001695: JUMPDEST
00001696: DUP3
00001697: DUP2
00001698: GT
00001699: ISZERO
0000169a: PUSH2 0x16af
0000169d: JUMPI
0000169e: PUSH2 0x16af
000016a1: PUSH2 0x16aa
000016a4: DUP5
000016a5: DUP4
000016a6: PUSH2 0x2eae
000016a9: JUMP
000016aa: JUMPDEST
000016ab: PUSH2 0x25b8
000016ae: JUMP
000016af: JUMPDEST
000016b0: PUSH1 0x80
000016b2: DUP9
000016b3: ADD
000016b4: CALLDATALOAD
000016b5: PUSH1 0x00
000016b7: SWAP1
000016b8: DUP2
000016b9: MSTORE
000016ba: PUSH1 0x01
000016bc: PUSH1 0x20
000016be: MSTORE
000016bf: PUSH1 0x40
000016c1: DUP2
000016c2: KECCAK256
000016c3: SLOAD
000016c4: SWAP1
000016c5: DUP2
000016c6: SWAP1
000016c7: SUB
000016c8: PUSH2 0x173a
000016cb: JUMPI
000016cc: PUSH2 0x16d8
000016cf: PUSH1 0x20
000016d1: DUP5
000016d2: ADD
000016d3: DUP5
000016d4: PUSH2 0x2fe9
000016d7: JUMP
000016d8: JUMPDEST
000016d9: PUSH2 0xffff
000016dc: AND
000016dd: PUSH1 0x01
000016df: SUB
000016e0: PUSH2 0x1706
000016e3: JUMPI
000016e4: PUSH1 0x80
000016e6: DUP10
000016e7: ADD
000016e8: CALLDATALOAD
000016e9: PUSH1 0x00
000016eb: SWAP1
000016ec: DUP2
000016ed: MSTORE
000016ee: PUSH1 0x02
000016f0: PUSH1 0x20
000016f2: MSTORE
000016f3: PUSH1 0x40
000016f5: SWAP1
000016f6: KECCAK256
000016f7: DUP1
000016f8: SLOAD
000016f9: PUSH1 0xff
000016fb: NOT
000016fc: AND
000016fd: PUSH1 0x01
000016ff: OR
00001700: SWAP1
00001701: SSTORE
00001702: PUSH2 0x1790
00001705: JUMP
00001706: JUMPDEST
00001707: PUSH1 0x01
00001709: PUSH2 0x1715
0000170c: PUSH1 0x20
0000170e: DUP6
0000170f: ADD
00001710: DUP6
00001711: PUSH2 0x2fe9
00001714: JUMP
00001715: JUMPDEST
00001716: SUB
00001717: PUSH2 0xffff
0000171a: AND
0000171b: PUSH1 0x01
0000171d: PUSH1 0x00
0000171f: DUP12
00001720: PUSH1 0x80
00001722: ADD
00001723: CALLDATALOAD
00001724: DUP2
00001725: MSTORE
00001726: PUSH1 0x20
00001728: ADD
00001729: SWAP1
0000172a: DUP2
0000172b: MSTORE
0000172c: PUSH1 0x20
0000172e: ADD
0000172f: PUSH1 0x00
00001731: KECCAK256
00001732: DUP2
00001733: SWAP1
00001734: SSTORE
00001735: POP
00001736: PUSH2 0x1790
00001739: JUMP
0000173a: JUMPDEST
0000173b: PUSH1 0x01
0000173d: DUP2
0000173e: GT
0000173f: ISZERO
00001740: PUSH2 0x1763
00001743: JUMPI
00001744: PUSH1 0x80
00001746: DUP10
00001747: ADD
00001748: CALLDATALOAD
00001749: PUSH1 0x00
0000174b: SWAP1
0000174c: DUP2
0000174d: MSTORE
0000174e: PUSH1 0x01
00001750: PUSH1 0x20
00001752: MSTORE
00001753: PUSH1 0x40
00001755: SWAP1
00001756: KECCAK256
00001757: DUP1
00001758: SLOAD
00001759: PUSH1 0x00
0000175b: NOT
0000175c: ADD
0000175d: SWAP1
0000175e: SSTORE
0000175f: PUSH2 0x1790
00001762: JUMP
00001763: JUMPDEST
00001764: PUSH1 0x80
00001766: DUP10
00001767: ADD
00001768: CALLDATALOAD
00001769: PUSH1 0x00
0000176b: SWAP1
0000176c: DUP2
0000176d: MSTORE
0000176e: PUSH1 0x01
00001770: PUSH1 0x20
00001772: DUP2
00001773: DUP2
00001774: MSTORE
00001775: PUSH1 0x40
00001777: DUP1
00001778: DUP5
00001779: KECCAK256
0000177a: DUP5
0000177b: SWAP1
0000177c: SSTORE
0000177d: PUSH1 0x02
0000177f: SWAP1
00001780: SWAP2
00001781: MSTORE
00001782: SWAP1
00001783: SWAP2
00001784: KECCAK256
00001785: DUP1
00001786: SLOAD
00001787: PUSH1 0xff
00001789: NOT
0000178a: AND
0000178b: SWAP1
0000178c: SWAP2
0000178d: OR
0000178e: SWAP1
0000178f: SSTORE
00001790: JUMPDEST
00001791: PUSH1 0x40
00001793: MLOAD
00001794: PUSH4 0x088f11f3
00001799: PUSH1 0xe0
0000179b: SHL
0000179c: DUP2
0000179d: MSTORE
0000179e: PUSH1 0x04
000017a0: DUP2
000017a1: ADD
000017a2: DUP10
000017a3: SWAP1
000017a4: MSTORE
000017a5: PUSH1 0x00
000017a7: SWAP1
000017a8: DUP2
000017a9: SWAP1
000017aa: PUSH1 0x01
000017ac: PUSH1 0x01
000017ae: PUSH1 0xa0
000017b0: SHL
000017b1: SUB
000017b2: PUSH32 0x000000000000000000000000b47e3cd837ddf8e4c57f05d70ab865de6e193bbb
000017d3: AND
000017d4: SWAP1
000017d5: PUSH4 0x088f11f3
000017da: SWAP1
000017db: PUSH1 0x24
000017dd: ADD
000017de: PUSH1 0xa0
000017e0: PUSH1 0x40
000017e2: MLOAD
000017e3: DUP1
000017e4: DUP4
000017e5: SUB
000017e6: DUP2
000017e7: DUP7
000017e8: GAS
000017e9: STATICCALL
000017ea: ISZERO
000017eb: DUP1
000017ec: ISZERO
000017ed: PUSH2 0x17fa
000017f0: JUMPI
000017f1: RETURNDATASIZE
000017f2: PUSH1 0x00
000017f4: DUP1
000017f5: RETURNDATACOPY
000017f6: RETURNDATASIZE
000017f7: PUSH1 0x00
000017f9: REVERT
000017fa: JUMPDEST
000017fb: POP
000017fc: POP
000017fd: POP
000017fe: POP
000017ff: PUSH1 0x40
00001801: MLOAD
00001802: RETURNDATASIZE
00001803: PUSH1 0x1f
00001805: NOT
00001806: PUSH1 0x1f
00001808: DUP3
00001809: ADD
0000180a: AND
0000180b: DUP3
0000180c: ADD
0000180d: DUP1
0000180e: PUSH1 0x40
00001810: MSTORE
00001811: POP
00001812: DUP2
00001813: ADD
00001814: SWAP1
00001815: PUSH2 0x181e
00001818: SWAP2
00001819: SWAP1
0000181a: PUSH2 0x3004
0000181d: JUMP
0000181e: JUMPDEST
0000181f: POP
00001820: SWAP4
00001821: POP
00001822: POP
00001823: POP
00001824: SWAP2
00001825: POP
00001826: PUSH1 0x00
00001828: DUP3
00001829: ISZERO
0000182a: PUSH2 0x18dc
0000182d: JUMPI
0000182e: DUP5
0000182f: DUP3
00001830: GT
00001831: ISZERO
00001832: PUSH2 0x184e
00001835: JUMPI
00001836: PUSH1 0x40
00001838: MLOAD
00001839: PUSH4 0x2e4407c5
0000183e: PUSH1 0xe2
00001840: SHL
00001841: DUP2
00001842: MSTORE
00001843: PUSH1 0x04
00001845: ADD
00001846: PUSH1 0x40
00001848: MLOAD
00001849: DUP1
0000184a: SWAP2
0000184b: SUB
0000184c: SWAP1
0000184d: REVERT
0000184e: JUMPDEST
0000184f: DUP5
00001850: DUP3
00001851: LT
00001852: ISZERO
00001853: PUSH2 0x185b
00001856: JUMPI
00001857: POP
00001858: DUP1
00001859: DUP5
0000185a: SUB
0000185b: JUMPDEST
0000185c: PUSH1 0x40
0000185e: MLOAD
0000185f: PUSH4 0x104c9fd3
00001864: PUSH1 0xe3
00001866: SHL
00001867: DUP2
00001868: MSTORE
00001869: PUSH1 0x04
0000186b: DUP2
0000186c: ADD
0000186d: DUP13
0000186e: SWAP1
0000186f: MSTORE
00001870: PUSH32 0x000000000000000000000000b47e3cd837ddf8e4c57f05d70ab865de6e193bbb
00001891: PUSH1 0x01
00001893: PUSH1 0x01
00001895: PUSH1 0xa0
00001897: SHL
00001898: SUB
00001899: AND
0000189a: SWAP1
0000189b: PUSH4 0x8264fe98
000018a0: SWAP1
000018a1: DUP5
000018a2: SWAP1
000018a3: PUSH1 0x24
000018a5: ADD
000018a6: PUSH1 0x00
000018a8: PUSH1 0x40
000018aa: MLOAD
000018ab: DUP1
000018ac: DUP4
000018ad: SUB
000018ae: DUP2
000018af: DUP6
000018b0: DUP9
000018b1: DUP1
000018b2: EXTCODESIZE
000018b3: ISZERO
000018b4: DUP1
000018b5: ISZERO
000018b6: PUSH2 0x18be
000018b9: JUMPI
000018ba: PUSH1 0x00
000018bc: DUP1
000018bd: REVERT
000018be: JUMPDEST
000018bf: POP
000018c0: GAS
000018c1: CALL
000018c2: ISZERO
000018c3: DUP1
000018c4: ISZERO
000018c5: PUSH2 0x18d2
000018c8: JUMPI
000018c9: RETURNDATASIZE
000018ca: PUSH1 0x00
000018cc: DUP1
000018cd: RETURNDATACOPY
000018ce: RETURNDATASIZE
000018cf: PUSH1 0x00
000018d1: REVERT
000018d2: JUMPDEST
000018d3: POP
000018d4: POP
000018d5: POP
000018d6: POP
000018d7: POP
000018d8: PUSH2 0x1bc3
000018db: JUMP
000018dc: JUMPDEST
000018dd: PUSH1 0x40
000018df: MLOAD
000018e0: PUSH4 0x0b02f02d
000018e5: PUSH1 0xe3
000018e7: SHL
000018e8: DUP2
000018e9: MSTORE
000018ea: PUSH1 0x04
000018ec: DUP2
000018ed: ADD
000018ee: DUP13
000018ef: SWAP1
000018f0: MSTORE
000018f1: PUSH1 0x00
000018f3: SWAP1
000018f4: PUSH32 0x000000000000000000000000b47e3cd837ddf8e4c57f05d70ab865de6e193bbb
00001915: PUSH1 0x01
00001917: PUSH1 0x01
00001919: PUSH1 0xa0
0000191b: SHL
0000191c: SUB
0000191d: AND
0000191e: SWAP1
0000191f: PUSH4 0x58178168
00001924: SWAP1
00001925: PUSH1 0x24
00001927: ADD
00001928: PUSH1 0x20
0000192a: PUSH1 0x40
0000192c: MLOAD
0000192d: DUP1
0000192e: DUP4
0000192f: SUB
00001930: DUP2
00001931: DUP7
00001932: GAS
00001933: STATICCALL
00001934: ISZERO
00001935: DUP1
00001936: ISZERO
00001937: PUSH2 0x1944
0000193a: JUMPI
0000193b: RETURNDATASIZE
0000193c: PUSH1 0x00
0000193e: DUP1
0000193f: RETURNDATACOPY
00001940: RETURNDATASIZE
00001941: PUSH1 0x00
00001943: REVERT
00001944: JUMPDEST
00001945: POP
00001946: POP
00001947: POP
00001948: POP
00001949: PUSH1 0x40
0000194b: MLOAD
0000194c: RETURNDATASIZE
0000194d: PUSH1 0x1f
0000194f: NOT
00001950: PUSH1 0x1f
00001952: DUP3
00001953: ADD
00001954: AND
00001955: DUP3
00001956: ADD
00001957: DUP1
00001958: PUSH1 0x40
0000195a: MSTORE
0000195b: POP
0000195c: DUP2
0000195d: ADD
0000195e: SWAP1
0000195f: PUSH2 0x1968
00001962: SWAP2
00001963: SWAP1
00001964: PUSH2 0x3062
00001967: JUMP
00001968: JUMPDEST
00001969: SWAP1
0000196a: POP
0000196b: CALLER
0000196c: PUSH1 0xa0
0000196e: DUP14
0000196f: SWAP1
00001970: SHL
00001971: OR
00001972: PUSH1 0x01
00001974: PUSH1 0x01
00001976: PUSH1 0xa0
00001978: SHL
00001979: SUB
0000197a: PUSH32 0x000000000000000000000000b7f7f6c52f2e2fdb1963eab30438024864c313f6
0000199b: DUP2
0000199c: AND
0000199d: SWAP1
0000199e: DUP4
0000199f: AND
000019a0: SUB
000019a1: PUSH2 0x1aa3
000019a4: JUMPI
000019a5: PUSH1 0x40
000019a7: MLOAD
000019a8: PUSH4 0xc295d7f9
000019ad: PUSH1 0xe0
000019af: SHL
000019b0: DUP2
000019b1: MSTORE
000019b2: PUSH1 0x04
000019b4: DUP2
000019b5: ADD
000019b6: DUP3
000019b7: SWAP1
000019b8: MSTORE
000019b9: PUSH32 0x000000000000000000000000000000000000748d91de137891483c6f2f312272
000019da: PUSH1 0x01
000019dc: PUSH1 0x01
000019de: PUSH1 0xa0
000019e0: SHL
000019e1: SUB
000019e2: AND
000019e3: SWAP1
000019e4: PUSH4 0xc295d7f9
000019e9: SWAP1
000019ea: PUSH1 0x24
000019ec: ADD
000019ed: PUSH1 0x00
000019ef: PUSH1 0x40
000019f1: MLOAD
000019f2: DUP1
000019f3: DUP4
000019f4: SUB
000019f5: DUP2
000019f6: PUSH1 0x00
000019f8: DUP8
000019f9: DUP1
000019fa: EXTCODESIZE
000019fb: ISZERO
000019fc: DUP1
000019fd: ISZERO
000019fe: PUSH2 0x1a06
00001a01: JUMPI
00001a02: PUSH1 0x00
00001a04: DUP1
00001a05: REVERT
00001a06: JUMPDEST
00001a07: POP
00001a08: GAS
00001a09: CALL
00001a0a: ISZERO
00001a0b: DUP1
00001a0c: ISZERO
00001a0d: PUSH2 0x1a1a
00001a10: JUMPI
00001a11: RETURNDATASIZE
00001a12: PUSH1 0x00
00001a14: DUP1
00001a15: RETURNDATACOPY
00001a16: RETURNDATASIZE
00001a17: PUSH1 0x00
00001a19: REVERT
00001a1a: JUMPDEST
00001a1b: POP
00001a1c: POP
00001a1d: POP
00001a1e: POP
00001a1f: PUSH32 0x000000000000000000000000b7f7f6c52f2e2fdb1963eab30438024864c313f6
00001a40: PUSH1 0x01
00001a42: PUSH1 0x01
00001a44: PUSH1 0xa0
00001a46: SHL
00001a47: SUB
00001a48: AND
00001a49: PUSH4 0x42966c68
00001a4e: DUP15
00001a4f: PUSH1 0x40
00001a51: MLOAD
00001a52: DUP3
00001a53: PUSH4 0xffffffff
00001a58: AND
00001a59: PUSH1 0xe0
00001a5b: SHL
00001a5c: DUP2
00001a5d: MSTORE
00001a5e: PUSH1 0x04
00001a60: ADD
00001a61: PUSH2 0x1a6c
00001a64: SWAP2
00001a65: DUP2
00001a66: MSTORE
00001a67: PUSH1 0x20
00001a69: ADD
00001a6a: SWAP1
00001a6b: JUMP
00001a6c: JUMPDEST
00001a6d: PUSH1 0x00
00001a6f: PUSH1 0x40
00001a71: MLOAD
00001a72: DUP1
00001a73: DUP4
00001a74: SUB
00001a75: DUP2
00001a76: PUSH1 0x00
00001a78: DUP8
00001a79: DUP1
00001a7a: EXTCODESIZE
00001a7b: ISZERO
00001a7c: DUP1
00001a7d: ISZERO
00001a7e: PUSH2 0x1a86
00001a81: JUMPI
00001a82: PUSH1 0x00
00001a84: DUP1
00001a85: REVERT
00001a86: JUMPDEST
00001a87: POP
00001a88: GAS
00001a89: CALL
00001a8a: ISZERO
00001a8b: DUP1
00001a8c: ISZERO
00001a8d: PUSH2 0x1a9a
00001a90: JUMPI
00001a91: RETURNDATASIZE
00001a92: PUSH1 0x00
00001a94: DUP1
00001a95: RETURNDATACOPY
00001a96: RETURNDATASIZE
00001a97: PUSH1 0x00
00001a99: REVERT
00001a9a: JUMPDEST
00001a9b: POP
00001a9c: POP
00001a9d: POP
00001a9e: POP
00001a9f: PUSH2 0x1bbd
00001aa2: JUMP
00001aa3: JUMPDEST
00001aa4: PUSH32 0x000000000000000000000000000000000000003607fce1ac9e043a86675c5c2f
00001ac5: PUSH1 0x01
00001ac7: PUSH1 0x01
00001ac9: PUSH1 0xa0
00001acb: SHL
00001acc: SUB
00001acd: AND
00001ace: DUP3
00001acf: PUSH1 0x01
00001ad1: PUSH1 0x01
00001ad3: PUSH1 0xa0
00001ad5: SHL
00001ad6: SUB
00001ad7: AND
00001ad8: SUB
00001ad9: PUSH2 0x1ba4
00001adc: JUMPI
00001add: PUSH1 0x40
00001adf: MLOAD
00001ae0: PUSH4 0x62d56ad9
00001ae5: PUSH1 0xe1
00001ae7: SHL
00001ae8: DUP2
00001ae9: MSTORE
00001aea: PUSH1 0x04
00001aec: DUP2
00001aed: ADD
00001aee: DUP3
00001aef: SWAP1
00001af0: MSTORE
00001af1: PUSH32 0x000000000000000000000000000000000000748d91de137891483c6f2f312272
00001b12: PUSH1 0x01
00001b14: PUSH1 0x01
00001b16: PUSH1 0xa0
00001b18: SHL
00001b19: SUB
00001b1a: AND
00001b1b: SWAP1
00001b1c: PUSH4 0xc5aad5b2
00001b21: SWAP1
00001b22: PUSH1 0x24
00001b24: ADD
00001b25: PUSH1 0x00
00001b27: PUSH1 0x40
00001b29: MLOAD
00001b2a: DUP1
00001b2b: DUP4
00001b2c: SUB
00001b2d: DUP2
00001b2e: PUSH1 0x00
00001b30: DUP8
00001b31: DUP1
00001b32: EXTCODESIZE
00001b33: ISZERO
00001b34: DUP1
00001b35: ISZERO
00001b36: PUSH2 0x1b3e
00001b39: JUMPI
00001b3a: PUSH1 0x00
00001b3c: DUP1
00001b3d: REVERT
00001b3e: JUMPDEST
00001b3f: POP
00001b40: GAS
00001b41: CALL
00001b42: ISZERO
00001b43: DUP1
00001b44: ISZERO
00001b45: PUSH2 0x1b52
00001b48: JUMPI
00001b49: RETURNDATASIZE
00001b4a: PUSH1 0x00
00001b4c: DUP1
00001b4d: RETURNDATACOPY
00001b4e: RETURNDATASIZE
00001b4f: PUSH1 0x00
00001b51: REVERT
00001b52: JUMPDEST
00001b53: POP
00001b54: POP
00001b55: POP
00001b56: POP
00001b57: PUSH32 0x000000000000000000000000000000000000003607fce1ac9e043a86675c5c2f
00001b78: PUSH1 0x01
00001b7a: PUSH1 0x01
00001b7c: PUSH1 0xa0
00001b7e: SHL
00001b7f: SUB
00001b80: AND
00001b81: PUSH4 0x9f8f573f
00001b86: DUP15
00001b87: PUSH1 0x40
00001b89: MLOAD
00001b8a: DUP3
00001b8b: PUSH4 0xffffffff
00001b90: AND
00001b91: PUSH1 0xe0
00001b93: SHL
00001b94: DUP2
00001b95: MSTORE
00001b96: PUSH1 0x04
00001b98: ADD
00001b99: PUSH2 0x1a6c
00001b9c: SWAP2
00001b9d: DUP2
00001b9e: MSTORE
00001b9f: PUSH1 0x20
00001ba1: ADD
00001ba2: SWAP1
00001ba3: JUMP
00001ba4: JUMPDEST
00001ba5: PUSH1 0x40
00001ba7: MLOAD
00001ba8: PUSH4 0x13db3297
00001bad: PUSH1 0xe2
00001baf: SHL
00001bb0: DUP2
00001bb1: MSTORE
00001bb2: PUSH1 0x04
00001bb4: ADD
00001bb5: PUSH1 0x40
00001bb7: MLOAD
00001bb8: DUP1
00001bb9: SWAP2
00001bba: SUB
00001bbb: SWAP1
00001bbc: REVERT
00001bbd: JUMPDEST
00001bbe: DUP7
00001bbf: SWAP3
00001bc0: POP
00001bc1: POP
00001bc2: POP
00001bc3: JUMPDEST
00001bc4: PUSH1 0x00
00001bc6: SLOAD
00001bc7: PUSH1 0x40
00001bc9: MLOAD
00001bca: PUSH4 0x22dca8bb
00001bcf: PUSH1 0xe2
00001bd1: SHL
00001bd2: DUP2
00001bd3: MSTORE
00001bd4: PUSH2 0x0100
00001bd7: SWAP1
00001bd8: SWAP2
00001bd9: DIV
00001bda: PUSH1 0x01
00001bdc: PUSH1 0x01
00001bde: PUSH1 0xa0
00001be0: SHL
00001be1: SUB
00001be2: SWAP1
00001be3: DUP2
00001be4: AND
00001be5: PUSH1 0x04
00001be7: DUP4
00001be8: ADD
00001be9: MSTORE
00001bea: PUSH1 0x24
00001bec: DUP3
00001bed: ADD
00001bee: DUP14
00001bef: SWAP1
00001bf0: MSTORE
00001bf1: PUSH32 0x000000000000000000000000b47e3cd837ddf8e4c57f05d70ab865de6e193bbb
00001c12: AND
00001c13: SWAP1
00001c14: PUSH4 0x8b72a2ec
00001c19: SWAP1
00001c1a: PUSH1 0x44
00001c1c: ADD
00001c1d: PUSH1 0x00
00001c1f: PUSH1 0x40
00001c21: MLOAD
00001c22: DUP1
00001c23: DUP4
00001c24: SUB
00001c25: DUP2
00001c26: PUSH1 0x00
00001c28: DUP8
00001c29: DUP1
00001c2a: EXTCODESIZE
00001c2b: ISZERO
00001c2c: DUP1
00001c2d: ISZERO
00001c2e: PUSH2 0x1c36
00001c31: JUMPI
00001c32: PUSH1 0x00
00001c34: DUP1
00001c35: REVERT
00001c36: JUMPDEST
00001c37: POP
00001c38: GAS
00001c39: CALL
00001c3a: ISZERO
00001c3b: DUP1
00001c3c: ISZERO
00001c3d: PUSH2 0x1c4a
00001c40: JUMPI
00001c41: RETURNDATASIZE
00001c42: PUSH1 0x00
00001c44: DUP1
00001c45: RETURNDATACOPY
00001c46: RETURNDATASIZE
00001c47: PUSH1 0x00
00001c49: REVERT
00001c4a: JUMPDEST
00001c4b: POP
00001c4c: POP
00001c4d: POP
00001c4e: POP
00001c4f: PUSH1 0x00
00001c51: DUP2
00001c52: GT
00001c53: ISZERO
00001c54: PUSH2 0x1cc2
00001c57: JUMPI
00001c58: PUSH1 0x40
00001c5a: MLOAD
00001c5b: PUSH1 0x00
00001c5d: SWAP1
00001c5e: CALLER
00001c5f: SWAP1
00001c60: DUP4
00001c61: SWAP1
00001c62: DUP4
00001c63: DUP2
00001c64: DUP2
00001c65: DUP2
00001c66: DUP6
00001c67: DUP8
00001c68: GAS
00001c69: CALL
00001c6a: SWAP3
00001c6b: POP
00001c6c: POP
00001c6d: POP
00001c6e: RETURNDATASIZE
00001c6f: DUP1
00001c70: PUSH1 0x00
00001c72: DUP2
00001c73: EQ
00001c74: PUSH2 0x1c99
00001c77: JUMPI
00001c78: PUSH1 0x40
00001c7a: MLOAD
00001c7b: SWAP2
00001c7c: POP
00001c7d: PUSH1 0x1f
00001c7f: NOT
00001c80: PUSH1 0x3f
00001c82: RETURNDATASIZE
00001c83: ADD
00001c84: AND
00001c85: DUP3
00001c86: ADD
00001c87: PUSH1 0x40
00001c89: MSTORE
00001c8a: RETURNDATASIZE
00001c8b: DUP3
00001c8c: MSTORE
00001c8d: RETURNDATASIZE
00001c8e: PUSH1 0x00
00001c90: PUSH1 0x20
00001c92: DUP5
00001c93: ADD
00001c94: RETURNDATACOPY
00001c95: PUSH2 0x1c9e
00001c98: JUMP
00001c99: JUMPDEST
00001c9a: PUSH1 0x60
00001c9c: SWAP2
00001c9d: POP
00001c9e: JUMPDEST
00001c9f: POP
00001ca0: POP
00001ca1: SWAP1
00001ca2: POP
00001ca3: DUP1
00001ca4: PUSH2 0x1cc0
00001ca7: JUMPI
00001ca8: PUSH1 0x40
00001caa: MLOAD
00001cab: PUSH4 0x13db3297
00001cb0: PUSH1 0xe2
00001cb2: SHL
00001cb3: DUP2
00001cb4: MSTORE
00001cb5: PUSH1 0x04
00001cb7: ADD
00001cb8: PUSH1 0x40
00001cba: MLOAD
00001cbb: DUP1
00001cbc: SWAP2
00001cbd: SUB
00001cbe: SWAP1
00001cbf: REVERT
00001cc0: JUMPDEST
00001cc1: POP
00001cc2: JUMPDEST
00001cc3: PUSH1 0x40
00001cc5: MLOAD
00001cc6: DUP12
00001cc7: SWAP1
00001cc8: DUP7
00001cc9: SWAP1
00001cca: PUSH32 0xc73c81c11ae2d615377978489dab47c20819dc1b8b38df9ece4e637ef2734ebb
00001ceb: SWAP1
00001cec: PUSH1 0x00
00001cee: SWAP1
00001cef: LOG3
00001cf0: POP
00001cf1: POP
00001cf2: POP
00001cf3: POP
00001cf4: POP
00001cf5: POP
00001cf6: POP
00001cf7: POP
00001cf8: POP
00001cf9: POP
00001cfa: POP
00001cfb: POP
00001cfc: JUMP
00001cfd: JUMPDEST
00001cfe: PUSH1 0x00
00001d00: SLOAD
00001d01: PUSH2 0x0100
00001d04: SWAP1
00001d05: DIV
00001d06: PUSH1 0x01
00001d08: PUSH1 0x01
00001d0a: PUSH1 0xa0
00001d0c: SHL
00001d0d: SUB
00001d0e: AND
00001d0f: CALLER
00001d10: EQ
00001d11: PUSH2 0x1d2d
00001d14: JUMPI
00001d15: PUSH1 0x40
00001d17: MLOAD
00001d18: PUSH4 0x088b5de9
00001d1d: PUSH1 0xe3
00001d1f: SHL
00001d20: DUP2
00001d21: MSTORE
00001d22: PUSH1 0x04
00001d24: ADD
00001d25: PUSH1 0x40
00001d27: MLOAD
00001d28: DUP1
00001d29: SWAP2
00001d2a: SUB
00001d2b: SWAP1
00001d2c: REVERT
00001d2d: JUMPDEST
00001d2e: PUSH1 0x00
00001d30: DUP1
00001d31: PUSH2 0x1d39
00001d34: DUP5
00001d35: PUSH2 0x1e17
00001d38: JUMP
00001d39: JUMPDEST
00001d3a: SWAP2
00001d3b: POP
00001d3c: SWAP2
00001d3d: POP
00001d3e: PUSH1 0x00
00001d40: PUSH2 0x1d48
00001d43: DUP6
00001d44: PUSH2 0x1d8d
00001d47: JUMP
00001d48: JUMPDEST
00001d49: SWAP1
00001d4a: POP
00001d4b: PUSH1 0x00
00001d4d: PUSH2 0x1d56
00001d50: DUP5
00001d51: DUP4
00001d52: PUSH2 0x2eae
00001d55: JUMP
00001d56: JUMPDEST
00001d57: SWAP1
00001d58: POP
00001d59: DUP1
00001d5a: DUP6
00001d5b: GT
00001d5c: ISZERO
00001d5d: PUSH2 0x1d79
00001d60: JUMPI
00001d61: PUSH1 0x40
00001d63: MLOAD
00001d64: PUSH4 0x01841fdb
00001d69: PUSH1 0xe2
00001d6b: SHL
00001d6c: DUP2
00001d6d: MSTORE
00001d6e: PUSH1 0x04
00001d70: ADD
00001d71: PUSH1 0x40
00001d73: MLOAD
00001d74: DUP1
00001d75: SWAP2
00001d76: SUB
00001d77: SWAP1
00001d78: REVERT
00001d79: JUMPDEST
00001d7a: PUSH2 0x1d83
00001d7d: DUP7
00001d7e: DUP5
00001d7f: PUSH2 0x1f8d
00001d82: JUMP
00001d83: JUMPDEST
00001d84: PUSH2 0x1420
00001d87: DUP7
00001d88: DUP7
00001d89: PUSH2 0x2321
00001d8c: JUMP
00001d8d: JUMPDEST
00001d8e: PUSH1 0x00
00001d90: PUSH1 0x01
00001d92: PUSH1 0x01
00001d94: PUSH1 0xa0
00001d96: SHL
00001d97: SUB
00001d98: DUP3
00001d99: AND
00001d9a: PUSH2 0x1da4
00001d9d: JUMPI
00001d9e: POP
00001d9f: SELFBALANCE
00001da0: SWAP2
00001da1: SWAP1
00001da2: POP
00001da3: JUMP
00001da4: JUMPDEST
00001da5: PUSH1 0x40
00001da7: MLOAD
00001da8: PUSH4 0x70a08231
00001dad: PUSH1 0xe0
00001daf: SHL
00001db0: DUP2
00001db1: MSTORE
00001db2: ADDRESS
00001db3: PUSH1 0x04
00001db5: DUP3
00001db6: ADD
00001db7: MSTORE
00001db8: PUSH1 0x01
00001dba: PUSH1 0x01
00001dbc: PUSH1 0xa0
00001dbe: SHL
00001dbf: SUB
00001dc0: DUP4
00001dc1: AND
00001dc2: SWAP1
00001dc3: PUSH4 0x70a08231
00001dc8: SWAP1
00001dc9: PUSH1 0x24
00001dcb: ADD
00001dcc: PUSH1 0x20
00001dce: PUSH1 0x40
00001dd0: MLOAD
00001dd1: DUP1
00001dd2: DUP4
00001dd3: SUB
00001dd4: DUP2
00001dd5: DUP7
00001dd6: GAS
00001dd7: STATICCALL
00001dd8: ISZERO
00001dd9: DUP1
00001dda: ISZERO
00001ddb: PUSH2 0x1de8
00001dde: JUMPI
00001ddf: RETURNDATASIZE
00001de0: PUSH1 0x00
00001de2: DUP1
00001de3: RETURNDATACOPY
00001de4: RETURNDATASIZE
00001de5: PUSH1 0x00
00001de7: REVERT
00001de8: JUMPDEST
00001de9: POP
00001dea: POP
00001deb: POP
00001dec: POP
00001ded: PUSH1 0x40
00001def: MLOAD
00001df0: RETURNDATASIZE
00001df1: PUSH1 0x1f
00001df3: NOT
00001df4: PUSH1 0x1f
00001df6: DUP3
00001df7: ADD
00001df8: AND
00001df9: DUP3
00001dfa: ADD
00001dfb: DUP1
00001dfc: PUSH1 0x40
00001dfe: MSTORE
00001dff: POP
00001e00: DUP2
00001e01: ADD
00001e02: SWAP1
00001e03: PUSH2 0x1e0c
00001e06: SWAP2
00001e07: SWAP1
00001e08: PUSH2 0x2fa2
00001e0b: JUMP
00001e0c: JUMPDEST
00001e0d: SWAP3
00001e0e: SWAP2
00001e0f: POP
00001e10: POP
00001e11: JUMP
00001e12: JUMPDEST
00001e13: SWAP2
00001e14: SWAP1
00001e15: POP
00001e16: JUMP
00001e17: JUMPDEST
00001e18: PUSH1 0x01
00001e1a: PUSH1 0x01
00001e1c: PUSH1 0xa0
00001e1e: SHL
00001e1f: SUB
00001e20: DUP2
00001e21: AND
00001e22: PUSH1 0x00
00001e24: SWAP1
00001e25: DUP2
00001e26: MSTORE
00001e27: PUSH1 0x03
00001e29: PUSH1 0x20
00001e2b: MSTORE
00001e2c: PUSH1 0x40
00001e2e: DUP2
00001e2f: KECCAK256
00001e30: DUP2
00001e31: SWAP1
00001e32: DUP2
00001e33: JUMPDEST
00001e34: DUP2
00001e35: SLOAD
00001e36: DUP2
00001e37: LT
00001e38: ISZERO
00001e39: PUSH2 0x1f86
00001e3c: JUMPI
00001e3d: PUSH1 0x00
00001e3f: DUP3
00001e40: DUP3
00001e41: DUP2
00001e42: SLOAD
00001e43: DUP2
00001e44: LT
00001e45: PUSH2 0x1e50
00001e48: JUMPI
00001e49: PUSH2 0x1e50
00001e4c: PUSH2 0x2e82
00001e4f: JUMP
00001e50: JUMPDEST
00001e51: SWAP1
00001e52: PUSH1 0x00
00001e54: MSTORE
00001e55: PUSH1 0x20
00001e57: PUSH1 0x00
00001e59: KECCAK256
00001e5a: ADD
00001e5b: SWAP1
00001e5c: POP
00001e5d: PUSH1 0x00
00001e5f: DUP2
00001e60: PUSH1 0x00
00001e62: ADD
00001e63: PUSH1 0x0c
00001e65: SWAP1
00001e66: SLOAD
00001e67: SWAP1
00001e68: PUSH2 0x0100
00001e6b: EXP
00001e6c: SWAP1
00001e6d: DIV
00001e6e: PUSH1 0x01
00001e70: PUSH1 0x01
00001e72: PUSH1 0xa0
00001e74: SHL
00001e75: SUB
00001e76: AND
00001e77: SWAP1
00001e78: POP
00001e79: DUP1
00001e7a: PUSH1 0x01
00001e7c: PUSH1 0x01
00001e7e: PUSH1 0xa0
00001e80: SHL
00001e81: SUB
00001e82: AND
00001e83: PUSH4 0xb3f05b97
00001e88: PUSH1 0x40
00001e8a: MLOAD
00001e8b: DUP2
00001e8c: PUSH4 0xffffffff
00001e91: AND
00001e92: PUSH1 0xe0
00001e94: SHL
00001e95: DUP2
00001e96: MSTORE
00001e97: PUSH1 0x04
00001e99: ADD
00001e9a: PUSH1 0x20
00001e9c: PUSH1 0x40
00001e9e: MLOAD
00001e9f: DUP1
00001ea0: DUP4
00001ea1: SUB
00001ea2: DUP2
00001ea3: DUP7
00001ea4: GAS
00001ea5: STATICCALL
00001ea6: ISZERO
00001ea7: DUP1
00001ea8: ISZERO
00001ea9: PUSH2 0x1eb6
00001eac: JUMPI
00001ead: RETURNDATASIZE
00001eae: PUSH1 0x00
00001eb0: DUP1
00001eb1: RETURNDATACOPY
00001eb2: RETURNDATASIZE
00001eb3: PUSH1 0x00
00001eb5: REVERT
00001eb6: JUMPDEST
00001eb7: POP
00001eb8: POP
00001eb9: POP
00001eba: POP
00001ebb: PUSH1 0x40
00001ebd: MLOAD
00001ebe: RETURNDATASIZE
00001ebf: PUSH1 0x1f
00001ec1: NOT
00001ec2: PUSH1 0x1f
00001ec4: DUP3
00001ec5: ADD
00001ec6: AND
00001ec7: DUP3
00001ec8: ADD
00001ec9: DUP1
00001eca: PUSH1 0x40
00001ecc: MSTORE
00001ecd: POP
00001ece: DUP2
00001ecf: ADD
00001ed0: SWAP1
00001ed1: PUSH2 0x1eda
00001ed4: SWAP2
00001ed5: SWAP1
00001ed6: PUSH2 0x2f0f
00001ed9: JUMP
00001eda: JUMPDEST
00001edb: ISZERO
00001edc: PUSH2 0x1eed
00001edf: JUMPI
00001ee0: DUP3
00001ee1: PUSH1 0x01
00001ee3: SWAP1
00001ee4: SHL
00001ee5: DUP6
00001ee6: OR
00001ee7: SWAP5
00001ee8: POP
00001ee9: PUSH2 0x1f7c
00001eec: JUMP
00001eed: JUMPDEST
00001eee: PUSH1 0x00
00001ef0: DUP2
00001ef1: PUSH1 0x01
00001ef3: PUSH1 0x01
00001ef5: PUSH1 0xa0
00001ef7: SHL
00001ef8: SUB
00001ef9: AND
00001efa: PUSH4 0xd4934220
00001eff: PUSH1 0x40
00001f01: MLOAD
00001f02: DUP2
00001f03: PUSH4 0xffffffff
00001f08: AND
00001f09: PUSH1 0xe0
00001f0b: SHL
00001f0c: DUP2
00001f0d: MSTORE
00001f0e: PUSH1 0x04
00001f10: ADD
00001f11: PUSH1 0x40
00001f13: DUP1
00001f14: MLOAD
00001f15: DUP1
00001f16: DUP4
00001f17: SUB
00001f18: DUP2
00001f19: DUP7
00001f1a: GAS
00001f1b: STATICCALL
00001f1c: ISZERO
00001f1d: DUP1
00001f1e: ISZERO
00001f1f: PUSH2 0x1f2c
00001f22: JUMPI
00001f23: RETURNDATASIZE
00001f24: PUSH1 0x00
00001f26: DUP1
00001f27: RETURNDATACOPY
00001f28: RETURNDATASIZE
00001f29: PUSH1 0x00
00001f2b: REVERT
00001f2c: JUMPDEST
00001f2d: POP
00001f2e: POP
00001f2f: POP
00001f30: POP
00001f31: PUSH1 0x40
00001f33: MLOAD
00001f34: RETURNDATASIZE
00001f35: PUSH1 0x1f
00001f37: NOT
00001f38: PUSH1 0x1f
00001f3a: DUP3
00001f3b: ADD
00001f3c: AND
00001f3d: DUP3
00001f3e: ADD
00001f3f: DUP1
00001f40: PUSH1 0x40
00001f42: MSTORE
00001f43: POP
00001f44: DUP2
00001f45: ADD
00001f46: SWAP1
00001f47: PUSH2 0x1f50
00001f4a: SWAP2
00001f4b: SWAP1
00001f4c: PUSH2 0x2ec1
00001f4f: JUMP
00001f50: JUMPDEST
00001f51: POP
00001f52: SWAP1
00001f53: POP
00001f54: DUP1
00001f55: PUSH1 0x01
00001f57: PUSH1 0x01
00001f59: PUSH1 0xa0
00001f5b: SHL
00001f5c: SUB
00001f5d: AND
00001f5e: DUP9
00001f5f: PUSH1 0x01
00001f61: PUSH1 0x01
00001f63: PUSH1 0xa0
00001f65: SHL
00001f66: SUB
00001f67: AND
00001f68: SUB
00001f69: PUSH2 0x1f7a
00001f6c: JUMPI
00001f6d: PUSH2 0x1f75
00001f70: DUP4
00001f71: PUSH2 0x2781
00001f74: JUMP
00001f75: JUMPDEST
00001f76: DUP8
00001f77: ADD
00001f78: SWAP7
00001f79: POP
00001f7a: JUMPDEST
00001f7b: POP
00001f7c: JUMPDEST
00001f7d: POP
00001f7e: POP
00001f7f: PUSH1 0x01
00001f81: ADD
00001f82: PUSH2 0x1e33
00001f85: JUMP
00001f86: JUMPDEST
00001f87: POP
00001f88: POP
00001f89: SWAP2
00001f8a: POP
00001f8b: SWAP2
00001f8c: JUMP
00001f8d: JUMPDEST
00001f8e: PUSH1 0x01
00001f90: PUSH1 0x01
00001f92: PUSH1 0xa0
00001f94: SHL
00001f95: SUB
00001f96: DUP3
00001f97: AND
00001f98: PUSH1 0x00
00001f9a: SWAP1
00001f9b: DUP2
00001f9c: MSTORE
00001f9d: PUSH1 0x03
00001f9f: PUSH1 0x20
00001fa1: MSTORE
00001fa2: PUSH1 0x40
00001fa4: DUP2
00001fa5: KECCAK256
00001fa6: DUP1
00001fa7: SLOAD
00001fa8: SWAP1
00001fa9: SWAP2
00001faa: SUB
00001fab: PUSH2 0x1fb3
00001fae: JUMPI
00001faf: POP
00001fb0: POP
00001fb1: POP
00001fb2: JUMP
00001fb3: JUMPDEST
00001fb4: DUP1
00001fb5: SLOAD
00001fb6: JUMPDEST
00001fb7: DUP1
00001fb8: ISZERO
00001fb9: PUSH2 0x1fe2
00001fbc: JUMPI
00001fbd: PUSH1 0x00
00001fbf: NOT
00001fc0: ADD
00001fc1: PUSH1 0x01
00001fc3: DUP2
00001fc4: SHL
00001fc5: DUP4
00001fc6: AND
00001fc7: ISZERO
00001fc8: PUSH2 0x1fdd
00001fcb: JUMPI
00001fcc: PUSH2 0x1fd5
00001fcf: DUP5
00001fd0: DUP3
00001fd1: PUSH2 0x2173
00001fd4: JUMP
00001fd5: JUMPDEST
00001fd6: DUP2
00001fd7: SLOAD
00001fd8: ISZERO
00001fd9: PUSH2 0x1fe2
00001fdc: JUMPI
00001fdd: JUMPDEST
00001fde: PUSH2 0x1fb6
00001fe1: JUMP
00001fe2: JUMPDEST
00001fe3: POP
00001fe4: POP
00001fe5: POP
00001fe6: POP
00001fe7: JUMP
00001fe8: JUMPDEST
00001fe9: PUSH1 0x02
00001feb: DUP2
00001fec: PUSH1 0x02
00001fee: DUP2
00001fef: GT
00001ff0: ISZERO
00001ff1: PUSH2 0x1ffc
00001ff4: JUMPI
00001ff5: PUSH2 0x1ffc
00001ff8: PUSH2 0x307f
00001ffb: JUMP
00001ffc: JUMPDEST
00001ffd: SUB
00001ffe: PUSH2 0x201a
00002001: JUMPI
00002002: PUSH1 0x40
00002004: MLOAD
00002005: PUSH4 0x04f3fbdb
0000200a: PUSH1 0xe2
0000200c: SHL
0000200d: DUP2
0000200e: MSTORE
0000200f: PUSH1 0x04
00002011: ADD
00002012: PUSH1 0x40
00002014: MLOAD
00002015: DUP1
00002016: SWAP2
00002017: SUB
00002018: SWAP1
00002019: REVERT
0000201a: JUMPDEST
0000201b: PUSH1 0x00
0000201d: PUSH1 0x01
0000201f: DUP3
00002020: PUSH1 0x02
00002022: DUP2
00002023: GT
00002024: ISZERO
00002025: PUSH2 0x2030
00002028: JUMPI
00002029: PUSH2 0x2030
0000202c: PUSH2 0x307f
0000202f: JUMP
00002030: JUMPDEST
00002031: SUB
00002032: PUSH2 0x206f
00002035: JUMPI
00002036: DUP6
00002037: SLOAD
00002038: PUSH1 0x01
0000203a: PUSH1 0x01
0000203c: PUSH1 0x50
0000203e: SHL
0000203f: SUB
00002040: DUP1
00002041: DUP7
00002042: AND
00002043: PUSH3 0x010000
00002047: SWAP1
00002048: SWAP3
00002049: DIV
0000204a: AND
0000204b: LT
0000204c: PUSH2 0x2068
0000204f: JUMPI
00002050: PUSH1 0x40
00002052: MLOAD
00002053: PUSH4 0x04f3fbdb
00002058: PUSH1 0xe2
0000205a: SHL
0000205b: DUP2
0000205c: MSTORE
0000205d: PUSH1 0x04
0000205f: ADD
00002060: PUSH1 0x40
00002062: MLOAD
00002063: DUP1
00002064: SWAP2
00002065: SUB
00002066: SWAP1
00002067: REVERT
00002068: JUMPDEST
00002069: POP
0000206a: DUP4
0000206b: PUSH2 0x20b9
0000206e: JUMP
0000206f: JUMPDEST
00002070: PUSH1 0x00
00002072: DUP3
00002073: PUSH1 0x02
00002075: DUP2
00002076: GT
00002077: ISZERO
00002078: PUSH2 0x2083
0000207b: JUMPI
0000207c: PUSH2 0x2083
0000207f: PUSH2 0x307f
00002082: JUMP
00002083: JUMPDEST
00002084: SUB
00002085: PUSH2 0x20a0
00002088: JUMPI
00002089: DUP6
0000208a: SLOAD
0000208b: PUSH2 0x2099
0000208e: SWAP1
0000208f: DUP7
00002090: SWAP1
00002091: PUSH2 0xffff
00002094: AND
00002095: PUSH2 0x3095
00002098: JUMP
00002099: JUMPDEST
0000209a: SWAP1
0000209b: POP
0000209c: PUSH2 0x20b9
0000209f: JUMP
000020a0: JUMPDEST
000020a1: PUSH1 0x40
000020a3: MLOAD
000020a4: PUSH4 0xf3eae495
000020a9: PUSH1 0xe0
000020ab: SHL
000020ac: DUP2
000020ad: MSTORE
000020ae: PUSH1 0x04
000020b0: ADD
000020b1: PUSH1 0x40
000020b3: MLOAD
000020b4: DUP1
000020b5: SWAP2
000020b6: SUB
000020b7: SWAP1
000020b8: REVERT
000020b9: JUMPDEST
000020ba: DUP6
000020bb: SLOAD
000020bc: PUSH2 0x20f3
000020bf: SWAP1
000020c0: PUSH2 0x20dc
000020c3: SWAP1
000020c4: PUSH1 0x01
000020c6: PUSH1 0x01
000020c8: PUSH1 0x50
000020ca: SHL
000020cb: SUB
000020cc: PUSH3 0x010000
000020d0: DUP3
000020d1: DIV
000020d2: AND
000020d3: SWAP1
000020d4: PUSH2 0xffff
000020d7: AND
000020d8: PUSH2 0x2f8b
000020db: JUMP
000020dc: JUMPDEST
000020dd: PUSH2 0x0c37
000020e0: PUSH1 0x01
000020e2: PUSH1 0x01
000020e4: PUSH1 0x50
000020e6: SHL
000020e7: SUB
000020e8: DUP8
000020e9: AND
000020ea: PUSH2 0xffff
000020ed: DUP6
000020ee: AND
000020ef: PUSH2 0x2f8b
000020f2: JUMP
000020f3: JUMPDEST
000020f4: ISZERO
000020f5: PUSH2 0x2111
000020f8: JUMPI
000020f9: PUSH1 0x40
000020fb: MLOAD
000020fc: PUSH4 0x01841fdb
00002101: PUSH1 0xe2
00002103: SHL
00002104: DUP2
00002105: MSTORE
00002106: PUSH1 0x04
00002108: ADD
00002109: PUSH1 0x40
0000210b: MLOAD
0000210c: DUP1
0000210d: SWAP2
0000210e: SUB
0000210f: SWAP1
00002110: REVERT
00002111: JUMPDEST
00002112: DUP6
00002113: SLOAD
00002114: PUSH1 0x01
00002116: PUSH1 0x01
00002118: PUSH1 0x50
0000211a: SHL
0000211b: SUB
0000211c: SWAP1
0000211d: SWAP5
0000211e: AND
0000211f: PUSH3 0x010000
00002123: MUL
00002124: PUSH1 0x01
00002126: PUSH1 0x01
00002128: PUSH1 0x60
0000212a: SHL
0000212b: SUB
0000212c: NOT
0000212d: SWAP1
0000212e: SWAP5
0000212f: AND
00002130: PUSH2 0xffff
00002133: SWAP1
00002134: SWAP2
00002135: AND
00002136: OR
00002137: SWAP3
00002138: SWAP1
00002139: SWAP3
0000213a: OR
0000213b: SWAP1
0000213c: SWAP4
0000213d: SSTORE
0000213e: POP
0000213f: POP
00002140: POP
00002141: JUMP
00002142: JUMPDEST
00002143: PUSH1 0x00
00002145: DUP4
00002146: DUP4
00002147: GT
00002148: DUP1
00002149: ISZERO
0000214a: PUSH2 0x215b
0000214d: JUMPI
0000214e: POP
0000214f: DUP2
00002150: PUSH2 0x2159
00002153: DUP6
00002154: DUP6
00002155: PUSH2 0x2eae
00002158: JUMP
00002159: JUMPDEST
0000215a: GT
0000215b: JUMPDEST
0000215c: ISZERO
0000215d: PUSH2 0x2168
00002160: JUMPI
00002161: POP
00002162: PUSH1 0x01
00002164: PUSH2 0x216c
00002167: JUMP
00002168: JUMPDEST
00002169: POP
0000216a: PUSH1 0x00
0000216c: JUMPDEST
0000216d: SWAP4
0000216e: SWAP3
0000216f: POP
00002170: POP
00002171: POP
00002172: JUMP
00002173: JUMPDEST
00002174: PUSH1 0x01
00002176: PUSH1 0x01
00002178: PUSH1 0xa0
0000217a: SHL
0000217b: SUB
0000217c: DUP3
0000217d: AND
0000217e: PUSH1 0x00
00002180: SWAP1
00002181: DUP2
00002182: MSTORE
00002183: PUSH1 0x03
00002185: PUSH1 0x20
00002187: MSTORE
00002188: PUSH1 0x40
0000218a: DUP2
0000218b: KECCAK256
0000218c: DUP1
0000218d: SLOAD
0000218e: SWAP1
0000218f: SWAP2
00002190: SWAP1
00002191: DUP3
00002192: SWAP1
00002193: DUP5
00002194: SWAP1
00002195: DUP2
00002196: LT
00002197: PUSH2 0x21a2
0000219a: JUMPI
0000219b: PUSH2 0x21a2
0000219e: PUSH2 0x2e82
000021a1: JUMP
000021a2: JUMPDEST
000021a3: PUSH1 0x00
000021a5: SWAP2
000021a6: DUP3
000021a7: MSTORE
000021a8: PUSH1 0x20
000021aa: SWAP2
000021ab: DUP3
000021ac: SWAP1
000021ad: KECCAK256
000021ae: PUSH1 0x40
000021b0: DUP1
000021b1: MLOAD
000021b2: PUSH1 0x60
000021b4: DUP2
000021b5: ADD
000021b6: DUP3
000021b7: MSTORE
000021b8: SWAP2
000021b9: SWAP1
000021ba: SWAP3
000021bb: ADD
000021bc: SLOAD
000021bd: PUSH2 0xffff
000021c0: DUP2
000021c1: AND
000021c2: DUP3
000021c3: MSTORE
000021c4: PUSH1 0x01
000021c6: PUSH1 0x01
000021c8: PUSH1 0x50
000021ca: SHL
000021cb: SUB
000021cc: PUSH3 0x010000
000021d0: DUP3
000021d1: DIV
000021d2: AND
000021d3: SWAP4
000021d4: DUP3
000021d5: ADD
000021d6: SWAP4
000021d7: SWAP1
000021d8: SWAP4
000021d9: MSTORE
000021da: PUSH1 0x01
000021dc: PUSH1 0x01
000021de: PUSH1 0xa0
000021e0: SHL
000021e1: SUB
000021e2: PUSH1 0x01
000021e4: PUSH1 0x60
000021e6: SHL
000021e7: SWAP1
000021e8: SWAP4
000021e9: DIV
000021ea: SWAP3
000021eb: SWAP1
000021ec: SWAP3
000021ed: AND
000021ee: SWAP1
000021ef: DUP3
000021f0: ADD
000021f1: MSTORE
000021f2: DUP3
000021f3: SLOAD
000021f4: SWAP1
000021f5: SWAP2
000021f6: POP
000021f7: PUSH2 0x2202
000021fa: SWAP1
000021fb: PUSH1 0x01
000021fd: SWAP1
000021fe: PUSH2 0x2eae
00002201: JUMP
00002202: JUMPDEST
00002203: DUP4
00002204: EQ
00002205: PUSH2 0x22bb
00002208: JUMPI
00002209: DUP2
0000220a: SLOAD
0000220b: DUP3
0000220c: SWAP1
0000220d: PUSH2 0x2218
00002210: SWAP1
00002211: PUSH1 0x01
00002213: SWAP1
00002214: PUSH2 0x2eae
00002217: JUMP
00002218: JUMPDEST
00002219: DUP2
0000221a: SLOAD
0000221b: DUP2
0000221c: LT
0000221d: PUSH2 0x2228
00002220: JUMPI
00002221: PUSH2 0x2228
00002224: PUSH2 0x2e82
00002227: JUMP
00002228: JUMPDEST
00002229: SWAP1
0000222a: PUSH1 0x00
0000222c: MSTORE
0000222d: PUSH1 0x20
0000222f: PUSH1 0x00
00002231: KECCAK256
00002232: ADD
00002233: DUP3
00002234: DUP5
00002235: DUP2
00002236: SLOAD
00002237: DUP2
00002238: LT
00002239: PUSH2 0x2244
0000223c: JUMPI
0000223d: PUSH2 0x2244
00002240: PUSH2 0x2e82
00002243: JUMP
00002244: JUMPDEST
00002245: PUSH1 0x00
00002247: SWAP2
00002248: DUP3
00002249: MSTORE
0000224a: PUSH1 0x20
0000224c: SWAP1
0000224d: SWAP2
0000224e: KECCAK256
0000224f: DUP3
00002250: SLOAD
00002251: SWAP2
00002252: ADD
00002253: DUP1
00002254: SLOAD
00002255: PUSH2 0xffff
00002258: NOT
00002259: DUP2
0000225a: AND
0000225b: PUSH2 0xffff
0000225e: SWAP1
0000225f: SWAP4
00002260: AND
00002261: SWAP3
00002262: DUP4
00002263: OR
00002264: DUP3
00002265: SSTORE
00002266: DUP4
00002267: SLOAD
00002268: PUSH1 0x01
0000226a: PUSH1 0x01
0000226c: PUSH1 0x50
0000226e: SHL
0000226f: SUB
00002270: PUSH3 0x010000
00002274: SWAP2
00002275: DUP3
00002276: SWAP1
00002277: DIV
00002278: AND
00002279: MUL
0000227a: PUSH1 0x01
0000227c: PUSH1 0x01
0000227e: PUSH1 0x60
00002280: SHL
00002281: SUB
00002282: NOT
00002283: SWAP1
00002284: SWAP2
00002285: AND
00002286: SWAP1
00002287: SWAP3
00002288: OR
00002289: SWAP2
0000228a: SWAP1
0000228b: SWAP2
0000228c: OR
0000228d: DUP1
0000228e: DUP3
0000228f: SSTORE
00002290: SWAP2
00002291: SLOAD
00002292: PUSH1 0x01
00002294: PUSH1 0x01
00002296: PUSH1 0xa0
00002298: SHL
00002299: SUB
0000229a: PUSH1 0x01
0000229c: PUSH1 0x60
0000229e: SHL
0000229f: SWAP2
000022a0: DUP3
000022a1: SWAP1
000022a2: DIV
000022a3: AND
000022a4: MUL
000022a5: PUSH12 0xffffffffffffffffffffffff
000022b2: SWAP1
000022b3: SWAP3
000022b4: AND
000022b5: SWAP2
000022b6: SWAP1
000022b7: SWAP2
000022b8: OR
000022b9: SWAP1
000022ba: SSTORE
000022bb: JUMPDEST
000022bc: DUP2
000022bd: DUP1
000022be: SLOAD
000022bf: DUP1
000022c0: PUSH2 0x22cb
000022c3: JUMPI
000022c4: PUSH2 0x22cb
000022c7: PUSH2 0x30b0
000022ca: JUMP
000022cb: JUMPDEST
000022cc: PUSH1 0x00
000022ce: DUP3
000022cf: DUP2
000022d0: MSTORE
000022d1: PUSH1 0x20
000022d3: DUP2
000022d4: KECCAK256
000022d5: DUP3
000022d6: ADD
000022d7: PUSH1 0x00
000022d9: NOT
000022da: SWAP1
000022db: DUP2
000022dc: ADD
000022dd: SWAP2
000022de: SWAP1
000022df: SWAP2
000022e0: SSTORE
000022e1: ADD
000022e2: SWAP1
000022e3: SSTORE
000022e4: PUSH1 0x40
000022e6: MLOAD
000022e7: PUSH32 0x276dcc490fd3d50b4b617681b3df5e1c2b871fdb31db9f6647da7e46dbaeb758
00002308: SWAP1
00002309: PUSH2 0x2313
0000230c: SWAP1
0000230d: DUP4
0000230e: SWAP1
0000230f: PUSH2 0x2b42
00002312: JUMP
00002313: JUMPDEST
00002314: PUSH1 0x40
00002316: MLOAD
00002317: DUP1
00002318: SWAP2
00002319: SUB
0000231a: SWAP1
0000231b: LOG1
0000231c: POP
0000231d: POP
0000231e: POP
0000231f: POP
00002320: JUMP
00002321: JUMPDEST
00002322: PUSH1 0x01
00002324: PUSH1 0x01
00002326: PUSH1 0xa0
00002328: SHL
00002329: SUB
0000232a: DUP3
0000232b: AND
0000232c: PUSH2 0x2398
0000232f: JUMPI
00002330: PUSH1 0x40
00002332: MLOAD
00002333: PUSH1 0x00
00002335: SWAP1
00002336: CALLER
00002337: SWAP1
00002338: DUP4
00002339: SWAP1
0000233a: DUP4
0000233b: DUP2
0000233c: DUP2
0000233d: DUP2
0000233e: DUP6
0000233f: DUP8
00002340: GAS
00002341: CALL
00002342: SWAP3
00002343: POP
00002344: POP
00002345: POP
00002346: RETURNDATASIZE
00002347: DUP1
00002348: PUSH1 0x00
0000234a: DUP2
0000234b: EQ
0000234c: PUSH2 0x2371
0000234f: JUMPI
00002350: PUSH1 0x40
00002352: MLOAD
00002353: SWAP2
00002354: POP
00002355: PUSH1 0x1f
00002357: NOT
00002358: PUSH1 0x3f
0000235a: RETURNDATASIZE
0000235b: ADD
0000235c: AND
0000235d: DUP3
0000235e: ADD
0000235f: PUSH1 0x40
00002361: MSTORE
00002362: RETURNDATASIZE
00002363: DUP3
00002364: MSTORE
00002365: RETURNDATASIZE
00002366: PUSH1 0x00
00002368: PUSH1 0x20
0000236a: DUP5
0000236b: ADD
0000236c: RETURNDATACOPY
0000236d: PUSH2 0x2376
00002370: JUMP
00002371: JUMPDEST
00002372: PUSH1 0x60
00002374: SWAP2
00002375: POP
00002376: JUMPDEST
00002377: POP
00002378: POP
00002379: SWAP1
0000237a: POP
0000237b: DUP1
0000237c: PUSH2 0x0739
0000237f: JUMPI
00002380: PUSH1 0x40
00002382: MLOAD
00002383: PUSH4 0x2684a079
00002388: PUSH1 0xe0
0000238a: SHL
0000238b: DUP2
0000238c: MSTORE
0000238d: PUSH1 0x04
0000238f: ADD
00002390: PUSH1 0x40
00002392: MLOAD
00002393: DUP1
00002394: SWAP2
00002395: SUB
00002396: SWAP1
00002397: REVERT
00002398: JUMPDEST
00002399: PUSH2 0x23a3
0000239c: DUP3
0000239d: CALLER
0000239e: DUP4
0000239f: PUSH2 0x27a3
000023a2: JUMP
000023a3: JUMPDEST
000023a4: POP
000023a5: POP
000023a6: JUMP
000023a7: JUMPDEST
000023a8: PUSH1 0x00
000023aa: DUP3
000023ab: DUP2
000023ac: PUSH32 0x61f01c82fb420b14cd44822098dab391b6f45cc78a76015b3ae63ff0dd1f5b4c
000023cd: PUSH32 0xb5bfbfdf9b576d6a008e98fcf743bfc3b9166efc2d1030bd243a5dc86bbd9196
000023ee: PUSH2 0x23fa
000023f1: PUSH1 0x20
000023f3: DUP6
000023f4: ADD
000023f5: DUP6
000023f6: PUSH2 0x2fe9
000023f9: JUMP
000023fa: JUMPDEST
000023fb: PUSH2 0x240a
000023fe: PUSH1 0x40
00002400: DUP7
00002401: ADD
00002402: PUSH1 0x20
00002404: DUP8
00002405: ADD
00002406: PUSH2 0x2fce
00002409: JUMP
0000240a: JUMPDEST
0000240b: PUSH2 0x241a
0000240e: PUSH1 0x60
00002410: DUP8
00002411: ADD
00002412: PUSH1 0x40
00002414: DUP9
00002415: ADD
00002416: PUSH2 0x2aca
00002419: JUMP
0000241a: JUMPDEST
0000241b: PUSH1 0x40
0000241d: DUP1
0000241e: MLOAD
0000241f: PUSH1 0x20
00002421: DUP2
00002422: ADD
00002423: SWAP6
00002424: SWAP1
00002425: SWAP6
00002426: MSTORE
00002427: PUSH2 0xffff
0000242a: SWAP1
0000242b: SWAP4
0000242c: AND
0000242d: SWAP3
0000242e: DUP5
0000242f: ADD
00002430: SWAP3
00002431: SWAP1
00002432: SWAP3
00002433: MSTORE
00002434: PUSH1 0x01
00002436: PUSH1 0x01
00002438: PUSH1 0x50
0000243a: SHL
0000243b: SUB
0000243c: AND
0000243d: PUSH1 0x60
0000243f: DUP4
00002440: ADD
00002441: MSTORE
00002442: PUSH1 0x01
00002444: PUSH1 0x01
00002446: PUSH1 0xa0
00002448: SHL
00002449: SUB
0000244a: AND
0000244b: PUSH1 0x80
0000244d: DUP3
0000244e: ADD
0000244f: MSTORE
00002450: PUSH1 0xa0
00002452: ADD
00002453: PUSH1 0x40
00002455: DUP1
00002456: MLOAD
00002457: PUSH1 0x1f
00002459: NOT
0000245a: DUP2
0000245b: DUP5
0000245c: SUB
0000245d: ADD
0000245e: DUP2
0000245f: MSTORE
00002460: DUP3
00002461: DUP3
00002462: MSTORE
00002463: DUP1
00002464: MLOAD
00002465: PUSH1 0x20
00002467: SWAP2
00002468: DUP3
00002469: ADD
0000246a: KECCAK256
0000246b: SWAP1
0000246c: DUP4
0000246d: ADD
0000246e: SWAP4
0000246f: SWAP1
00002470: SWAP4
00002471: MSTORE
00002472: DUP2
00002473: ADD
00002474: SWAP2
00002475: SWAP1
00002476: SWAP2
00002477: MSTORE
00002478: PUSH1 0x60
0000247a: DUP1
0000247b: DUP8
0000247c: ADD
0000247d: CALLDATALOAD
0000247e: SWAP1
0000247f: DUP3
00002480: ADD
00002481: MSTORE
00002482: PUSH1 0x80
00002484: DUP1
00002485: DUP8
00002486: ADD
00002487: CALLDATALOAD
00002488: SWAP1
00002489: DUP3
0000248a: ADD
0000248b: MSTORE
0000248c: PUSH1 0xa0
0000248e: DUP1
0000248f: DUP8
00002490: ADD
00002491: CALLDATALOAD
00002492: SWAP1
00002493: DUP3
00002494: ADD
00002495: MSTORE
00002496: PUSH1 0xc0
00002498: DUP1
00002499: DUP8
0000249a: ADD
0000249b: CALLDATALOAD
0000249c: SWAP1
0000249d: DUP3
0000249e: ADD
0000249f: MSTORE
000024a0: PUSH1 0xe0
000024a2: ADD
000024a3: PUSH1 0x40
000024a5: DUP1
000024a6: MLOAD
000024a7: PUSH1 0x1f
000024a9: NOT
000024aa: DUP2
000024ab: DUP5
000024ac: SUB
000024ad: ADD
000024ae: DUP2
000024af: MSTORE
000024b0: DUP3
000024b1: DUP3
000024b2: MSTORE
000024b3: DUP1
000024b4: MLOAD
000024b5: PUSH1 0x20
000024b7: SWAP2
000024b8: DUP3
000024b9: ADD
000024ba: KECCAK256
000024bb: PUSH32 0x47e79534a245952e8b16893a336b85a3d9ea9fa8c573f3d803afb92a79469218
000024dc: SWAP2
000024dd: DUP5
000024de: ADD
000024df: SWAP2
000024e0: SWAP1
000024e1: SWAP2
000024e2: MSTORE
000024e3: CHAINID
000024e4: SWAP2
000024e5: DUP4
000024e6: ADD
000024e7: SWAP2
000024e8: SWAP1
000024e9: SWAP2
000024ea: MSTORE
000024eb: ADDRESS
000024ec: PUSH1 0x60
000024ee: DUP4
000024ef: ADD
000024f0: MSTORE
000024f1: SWAP2
000024f2: POP
000024f3: PUSH1 0x00
000024f5: SWAP1
000024f6: PUSH1 0x80
000024f8: ADD
000024f9: PUSH1 0x40
000024fb: MLOAD
000024fc: PUSH1 0x20
000024fe: DUP2
000024ff: DUP4
00002500: SUB
00002501: SUB
00002502: DUP2
00002503: MSTORE
00002504: SWAP1
00002505: PUSH1 0x40
00002507: MSTORE
00002508: DUP1
00002509: MLOAD
0000250a: SWAP1
0000250b: PUSH1 0x20
0000250d: ADD
0000250e: KECCAK256
0000250f: SWAP1
00002510: POP
00002511: PUSH1 0x00
00002513: DUP2
00002514: DUP4
00002515: PUSH1 0x40
00002517: MLOAD
00002518: PUSH1 0x20
0000251a: ADD
0000251b: PUSH2 0x253b
0000251e: SWAP3
0000251f: SWAP2
00002520: SWAP1
00002521: PUSH2 0x1901
00002524: PUSH1 0xf0
00002526: SHL
00002527: DUP2
00002528: MSTORE
00002529: PUSH1 0x02
0000252b: DUP2
0000252c: ADD
0000252d: SWAP3
0000252e: SWAP1
0000252f: SWAP3
00002530: MSTORE
00002531: PUSH1 0x22
00002533: DUP3
00002534: ADD
00002535: MSTORE
00002536: PUSH1 0x42
00002538: ADD
00002539: SWAP1
0000253a: JUMP
0000253b: JUMPDEST
0000253c: PUSH1 0x40
0000253e: MLOAD
0000253f: PUSH1 0x20
00002541: DUP2
00002542: DUP4
00002543: SUB
00002544: SUB
00002545: DUP2
00002546: MSTORE
00002547: SWAP1
00002548: PUSH1 0x40
0000254a: MSTORE
0000254b: DUP1
0000254c: MLOAD
0000254d: SWAP1
0000254e: PUSH1 0x20
00002550: ADD
00002551: KECCAK256
00002552: SWAP1
00002553: POP
00002554: PUSH2 0x2573
00002557: PUSH1 0x00
00002559: PUSH1 0x01
0000255b: SWAP1
0000255c: SLOAD
0000255d: SWAP1
0000255e: PUSH2 0x0100
00002561: EXP
00002562: SWAP1
00002563: DIV
00002564: PUSH1 0x01
00002566: PUSH1 0x01
00002568: PUSH1 0xa0
0000256a: SHL
0000256b: SUB
0000256c: AND
0000256d: DUP3
0000256e: DUP9
0000256f: PUSH2 0x27e9
00002572: JUMP
00002573: JUMPDEST
00002574: SWAP8
00002575: SWAP7
00002576: POP
00002577: POP
00002578: POP
00002579: POP
0000257a: POP
0000257b: POP
0000257c: POP
0000257d: JUMP
0000257e: JUMPDEST
0000257f: PUSH1 0x00
00002581: DUP4
00002582: ISZERO
00002583: PUSH2 0x25b0
00002586: JUMPI
00002587: DUP4
00002588: PUSH1 0x05
0000258a: SHL
0000258b: DUP6
0000258c: ADD
0000258d: DUP6
0000258e: JUMPDEST
0000258f: DUP1
00002590: CALLDATALOAD
00002591: DUP1
00002592: DUP6
00002593: GT
00002594: PUSH1 0x05
00002596: SHL
00002597: SWAP5
00002598: DUP6
00002599: MSTORE
0000259a: PUSH1 0x20
0000259c: SWAP5
0000259d: DUP6
0000259e: XOR
0000259f: MSTORE
000025a0: PUSH1 0x40
000025a2: PUSH1 0x00
000025a4: KECCAK256
000025a5: SWAP4
000025a6: ADD
000025a7: DUP2
000025a8: DUP2
000025a9: LT
000025aa: PUSH2 0x258e
000025ad: JUMPI
000025ae: POP
000025af: POP
000025b0: JUMPDEST
000025b1: POP
000025b2: EQ
000025b3: SWAP3
000025b4: SWAP2
000025b5: POP
000025b6: POP
000025b7: JUMP
000025b8: JUMPDEST
000025b9: PUSH1 0x00
000025bb: PUSH2 0x25e3
000025be: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
000025df: PUSH2 0x0610
000025e2: JUMP
000025e3: JUMPDEST
000025e4: SWAP1
000025e5: POP
000025e6: DUP2
000025e7: DUP2
000025e8: LT
000025e9: PUSH2 0x2662
000025ec: JUMPI
000025ed: PUSH1 0x40
000025ef: MLOAD
000025f0: PUSH4 0x2e1a7d4d
000025f5: PUSH1 0xe0
000025f7: SHL
000025f8: DUP2
000025f9: MSTORE
000025fa: PUSH1 0x04
000025fc: DUP2
000025fd: ADD
000025fe: DUP4
000025ff: SWAP1
00002600: MSTORE
00002601: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00002622: PUSH1 0x01
00002624: PUSH1 0x01
00002626: PUSH1 0xa0
00002628: SHL
00002629: SUB
0000262a: AND
0000262b: SWAP1
0000262c: PUSH4 0x2e1a7d4d
00002631: SWAP1
00002632: PUSH1 0x24
00002634: ADD
00002635: PUSH1 0x00
00002637: PUSH1 0x40
00002639: MLOAD
0000263a: DUP1
0000263b: DUP4
0000263c: SUB
0000263d: DUP2
0000263e: PUSH1 0x00
00002640: DUP8
00002641: DUP1
00002642: EXTCODESIZE
00002643: ISZERO
00002644: DUP1
00002645: ISZERO
00002646: PUSH2 0x264e
00002649: JUMPI
0000264a: PUSH1 0x00
0000264c: DUP1
0000264d: REVERT
0000264e: JUMPDEST
0000264f: POP
00002650: GAS
00002651: CALL
00002652: ISZERO
00002653: DUP1
00002654: ISZERO
00002655: PUSH2 0x1420
00002658: JUMPI
00002659: RETURNDATASIZE
0000265a: PUSH1 0x00
0000265c: DUP1
0000265d: RETURNDATACOPY
0000265e: RETURNDATASIZE
0000265f: PUSH1 0x00
00002661: REVERT
00002662: JUMPDEST
00002663: DUP2
00002664: DUP2
00002665: ISZERO
00002666: DUP1
00002667: ISZERO
00002668: SWAP1
00002669: PUSH2 0x2671
0000266c: JUMPI
0000266d: POP
0000266e: DUP3
0000266f: DUP3
00002670: LT
00002671: JUMPDEST
00002672: ISZERO
00002673: PUSH2 0x267a
00002676: JUMPI
00002677: DUP2
00002678: SWAP1
00002679: SUB
0000267a: JUMPDEST
0000267b: PUSH1 0x00
0000267d: SLOAD
0000267e: PUSH1 0x40
00002680: MLOAD
00002681: PUSH4 0x23b872dd
00002686: PUSH1 0xe0
00002688: SHL
00002689: DUP2
0000268a: MSTORE
0000268b: PUSH2 0x0100
0000268e: SWAP1
0000268f: SWAP2
00002690: DIV
00002691: PUSH1 0x01
00002693: PUSH1 0x01
00002695: PUSH1 0xa0
00002697: SHL
00002698: SUB
00002699: SWAP1
0000269a: DUP2
0000269b: AND
0000269c: PUSH1 0x04
0000269e: DUP4
0000269f: ADD
000026a0: MSTORE
000026a1: ADDRESS
000026a2: PUSH1 0x24
000026a4: DUP4
000026a5: ADD
000026a6: MSTORE
000026a7: PUSH1 0x44
000026a9: DUP3
000026aa: ADD
000026ab: DUP4
000026ac: SWAP1
000026ad: MSTORE
000026ae: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
000026cf: AND
000026d0: SWAP1
000026d1: PUSH4 0x23b872dd
000026d6: SWAP1
000026d7: PUSH1 0x64
000026d9: ADD
000026da: PUSH1 0x00
000026dc: PUSH1 0x40
000026de: MLOAD
000026df: DUP1
000026e0: DUP4
000026e1: SUB
000026e2: DUP2
000026e3: PUSH1 0x00
000026e5: DUP8
000026e6: DUP1
000026e7: EXTCODESIZE
000026e8: ISZERO
000026e9: DUP1
000026ea: ISZERO
000026eb: PUSH2 0x26f3
000026ee: JUMPI
000026ef: PUSH1 0x00
000026f1: DUP1
000026f2: REVERT
000026f3: JUMPDEST
000026f4: POP
000026f5: GAS
000026f6: CALL
000026f7: ISZERO
000026f8: DUP1
000026f9: ISZERO
000026fa: PUSH2 0x2707
000026fd: JUMPI
000026fe: RETURNDATASIZE
000026ff: PUSH1 0x00
00002701: DUP1
00002702: RETURNDATACOPY
00002703: RETURNDATASIZE
00002704: PUSH1 0x00
00002706: REVERT
00002707: JUMPDEST
00002708: POP
00002709: POP
0000270a: PUSH1 0x40
0000270c: MLOAD
0000270d: PUSH4 0x2e1a7d4d
00002712: PUSH1 0xe0
00002714: SHL
00002715: DUP2
00002716: MSTORE
00002717: PUSH1 0x04
00002719: DUP2
0000271a: ADD
0000271b: DUP7
0000271c: SWAP1
0000271d: MSTORE
0000271e: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
0000273f: PUSH1 0x01
00002741: PUSH1 0x01
00002743: PUSH1 0xa0
00002745: SHL
00002746: SUB
00002747: AND
00002748: SWAP3
00002749: POP
0000274a: PUSH4 0x2e1a7d4d
0000274f: SWAP2
00002750: POP
00002751: PUSH1 0x24
00002753: ADD
00002754: PUSH1 0x00
00002756: PUSH1 0x40
00002758: MLOAD
00002759: DUP1
0000275a: DUP4
0000275b: SUB
0000275c: DUP2
0000275d: PUSH1 0x00
0000275f: DUP8
00002760: DUP1
00002761: EXTCODESIZE
00002762: ISZERO
00002763: DUP1
00002764: ISZERO
00002765: PUSH2 0x276d
00002768: JUMPI
00002769: PUSH1 0x00
0000276b: DUP1
0000276c: REVERT
0000276d: JUMPDEST
0000276e: POP
0000276f: GAS
00002770: CALL
00002771: ISZERO
00002772: DUP1
00002773: ISZERO
00002774: PUSH2 0x0f2d
00002777: JUMPI
00002778: RETURNDATASIZE
00002779: PUSH1 0x00
0000277b: DUP1
0000277c: RETURNDATACOPY
0000277d: RETURNDATASIZE
0000277e: PUSH1 0x00
00002780: REVERT
00002781: JUMPDEST
00002782: DUP1
00002783: SLOAD
00002784: PUSH1 0x00
00002786: SWAP1
00002787: PUSH2 0x1e0c
0000278a: SWAP1
0000278b: PUSH1 0x01
0000278d: PUSH1 0x01
0000278f: PUSH1 0x50
00002791: SHL
00002792: SUB
00002793: PUSH3 0x010000
00002797: DUP3
00002798: DIV
00002799: AND
0000279a: SWAP1
0000279b: PUSH2 0xffff
0000279e: AND
0000279f: PUSH2 0x2f8b
000027a2: JUMP
000027a3: JUMPDEST
000027a4: DUP2
000027a5: PUSH1 0x14
000027a7: MSTORE
000027a8: DUP1
000027a9: PUSH1 0x34
000027ab: MSTORE
000027ac: PUSH4 0xa9059cbb
000027b1: PUSH1 0x60
000027b3: SHL
000027b4: PUSH1 0x00
000027b6: MSTORE
000027b7: PUSH1 0x20
000027b9: PUSH1 0x00
000027bb: PUSH1 0x44
000027bd: PUSH1 0x10
000027bf: PUSH1 0x00
000027c1: DUP8
000027c2: GAS
000027c3: CALL
000027c4: RETURNDATASIZE
000027c5: ISZERO
000027c6: PUSH1 0x01
000027c8: PUSH1 0x00
000027ca: MLOAD
000027cb: EQ
000027cc: OR
000027cd: AND
000027ce: PUSH2 0x27df
000027d1: JUMPI
000027d2: PUSH4 0x90b8ec18
000027d7: PUSH1 0x00
000027d9: MSTORE
000027da: PUSH1 0x04
000027dc: PUSH1 0x1c
000027de: REVERT
000027df: JUMPDEST
000027e0: PUSH1 0x00
000027e2: PUSH1 0x34
000027e4: MSTORE
000027e5: POP
000027e6: POP
000027e7: POP
000027e8: JUMP
000027e9: JUMPDEST
000027ea: PUSH1 0x01
000027ec: PUSH1 0x01
000027ee: PUSH1 0xa0
000027f0: SHL
000027f1: SUB
000027f2: SWAP1
000027f3: SWAP3
000027f4: AND
000027f5: SWAP2
000027f6: PUSH1 0x00
000027f8: DUP4
000027f9: ISZERO
000027fa: PUSH2 0x216c
000027fd: JUMPI
000027fe: PUSH1 0x40
00002800: MLOAD
00002801: DUP4
00002802: PUSH1 0x00
00002804: MSTORE
00002805: PUSH1 0x20
00002807: DUP4
00002808: ADD
00002809: MLOAD
0000280a: PUSH1 0x40
0000280c: MSTORE
0000280d: PUSH1 0x40
0000280f: DUP4
00002810: MLOAD
00002811: SUB
00002812: PUSH2 0x2859
00002815: JUMPI
00002816: PUSH1 0x40
00002818: DUP4
00002819: ADD
0000281a: MLOAD
0000281b: PUSH1 0x1b
0000281d: DUP2
0000281e: PUSH1 0xff
00002820: SHR
00002821: ADD
00002822: PUSH1 0x20
00002824: MSTORE
00002825: DUP1
00002826: PUSH1 0x01
00002828: SHL
00002829: PUSH1 0x01
0000282b: SHR
0000282c: PUSH1 0x60
0000282e: MSTORE
0000282f: POP
00002830: PUSH1 0x20
00002832: PUSH1 0x01
00002834: PUSH1 0x80
00002836: PUSH1 0x00
00002838: PUSH1 0x01
0000283a: GAS
0000283b: STATICCALL
0000283c: DUP1
0000283d: MLOAD
0000283e: DUP7
0000283f: XOR
00002840: RETURNDATASIZE
00002841: ISZERO
00002842: OR
00002843: PUSH2 0x2857
00002846: JUMPI
00002847: POP
00002848: PUSH1 0x00
0000284a: PUSH1 0x60
0000284c: MSTORE
0000284d: PUSH1 0x40
0000284f: MSTORE
00002850: POP
00002851: PUSH1 0x01
00002853: PUSH2 0x216c
00002856: JUMP
00002857: JUMPDEST
00002858: POP
00002859: JUMPDEST
0000285a: PUSH1 0x41
0000285c: DUP4
0000285d: MLOAD
0000285e: SUB
0000285f: PUSH2 0x289f
00002862: JUMPI
00002863: PUSH1 0x60
00002865: DUP4
00002866: ADD
00002867: MLOAD
00002868: PUSH1 0x00
0000286a: BYTE
0000286b: PUSH1 0x20
0000286d: MSTORE
0000286e: PUSH1 0x40
00002870: DUP4
00002871: ADD
00002872: MLOAD
00002873: PUSH1 0x60
00002875: MSTORE
00002876: PUSH1 0x20
00002878: PUSH1 0x01
0000287a: PUSH1 0x80
0000287c: PUSH1 0x00
0000287e: PUSH1 0x01
00002880: GAS
00002881: STATICCALL
00002882: DUP1
00002883: MLOAD
00002884: DUP7
00002885: XOR
00002886: RETURNDATASIZE
00002887: ISZERO
00002888: OR
00002889: PUSH2 0x289d
0000288c: JUMPI
0000288d: POP
0000288e: PUSH1 0x00
00002890: PUSH1 0x60
00002892: MSTORE
00002893: PUSH1 0x40
00002895: MSTORE
00002896: POP
00002897: PUSH1 0x01
00002899: PUSH2 0x216c
0000289c: JUMP
0000289d: JUMPDEST
0000289e: POP
0000289f: JUMPDEST
000028a0: PUSH1 0x00
000028a2: PUSH1 0x60
000028a4: MSTORE
000028a5: DUP1
000028a6: PUSH1 0x40
000028a8: MSTORE
000028a9: PUSH4 0x1626ba7e
000028ae: PUSH1 0xe0
000028b0: SHL
000028b1: DUP1
000028b2: DUP3
000028b3: MSTORE
000028b4: DUP5
000028b5: PUSH1 0x04
000028b7: DUP4
000028b8: ADD
000028b9: MSTORE
000028ba: PUSH1 0x24
000028bc: DUP3
000028bd: ADD
000028be: PUSH1 0x40
000028c0: DUP2
000028c1: MSTORE
000028c2: DUP5
000028c3: MLOAD
000028c4: PUSH1 0x20
000028c6: ADD
000028c7: DUP1
000028c8: PUSH1 0x44
000028ca: DUP6
000028cb: ADD
000028cc: DUP3
000028cd: DUP9
000028ce: PUSH1 0x04
000028d0: GAS
000028d1: STATICCALL
000028d2: POP
000028d3: POP
000028d4: PUSH1 0x20
000028d6: DUP2
000028d7: PUSH1 0x44
000028d9: RETURNDATASIZE
000028da: ADD
000028db: DUP6
000028dc: DUP11
000028dd: GAS
000028de: STATICCALL
000028df: SWAP1
000028e0: MLOAD
000028e1: SWAP1
000028e2: SWAP2
000028e3: EQ
000028e4: AND
000028e5: SWAP2
000028e6: POP
000028e7: POP
000028e8: SWAP4
000028e9: SWAP3
000028ea: POP
000028eb: POP
000028ec: POP
000028ed: JUMP
000028ee: JUMPDEST
000028ef: PUSH1 0x01
000028f1: PUSH1 0x01
000028f3: PUSH1 0xa0
000028f5: SHL
000028f6: SUB
000028f7: DUP2
000028f8: AND
000028f9: DUP2
000028fa: EQ
000028fb: PUSH2 0x2903
000028fe: JUMPI
000028ff: PUSH1 0x00
00002901: DUP1
00002902: REVERT
00002903: JUMPDEST
00002904: POP
00002905: JUMP
00002906: JUMPDEST
00002907: PUSH1 0x00
00002909: DUP1
0000290a: DUP4
0000290b: PUSH1 0x1f
0000290d: DUP5
0000290e: ADD
0000290f: SLT
00002910: PUSH2 0x2918
00002913: JUMPI
00002914: PUSH1 0x00
00002916: DUP1
00002917: REVERT
00002918: JUMPDEST
00002919: POP
0000291a: DUP2
0000291b: CALLDATALOAD
0000291c: PUSH8 0xffffffffffffffff
00002925: DUP2
00002926: GT
00002927: ISZERO
00002928: PUSH2 0x2930
0000292b: JUMPI
0000292c: PUSH1 0x00
0000292e: DUP1
0000292f: REVERT
00002930: JUMPDEST
00002931: PUSH1 0x20
00002933: DUP4
00002934: ADD
00002935: SWAP2
00002936: POP
00002937: DUP4
00002938: PUSH1 0x20
0000293a: DUP3
0000293b: PUSH1 0x05
0000293d: SHL
0000293e: DUP6
0000293f: ADD
00002940: ADD
00002941: GT
00002942: ISZERO
00002943: PUSH2 0x294b
00002946: JUMPI
00002947: PUSH1 0x00
00002949: DUP1
0000294a: REVERT
0000294b: JUMPDEST
0000294c: SWAP3
0000294d: POP
0000294e: SWAP3
0000294f: SWAP1
00002950: POP
00002951: JUMP
00002952: JUMPDEST
00002953: PUSH1 0x00
00002955: DUP1
00002956: PUSH1 0x00
00002958: PUSH1 0x40
0000295a: DUP5
0000295b: DUP7
0000295c: SUB
0000295d: SLT
0000295e: ISZERO
0000295f: PUSH2 0x2967
00002962: JUMPI
00002963: PUSH1 0x00
00002965: DUP1
00002966: REVERT
00002967: JUMPDEST
00002968: DUP4
00002969: CALLDATALOAD
0000296a: PUSH2 0x2972
0000296d: DUP2
0000296e: PUSH2 0x28ee
00002971: JUMP
00002972: JUMPDEST
00002973: SWAP3
00002974: POP
00002975: PUSH1 0x20
00002977: DUP5
00002978: ADD
00002979: CALLDATALOAD
0000297a: PUSH8 0xffffffffffffffff
00002983: DUP2
00002984: GT
00002985: ISZERO
00002986: PUSH2 0x298e
00002989: JUMPI
0000298a: PUSH1 0x00
0000298c: DUP1
0000298d: REVERT
0000298e: JUMPDEST
0000298f: PUSH2 0x299a
00002992: DUP7
00002993: DUP3
00002994: DUP8
00002995: ADD
00002996: PUSH2 0x2906
00002999: JUMP
0000299a: JUMPDEST
0000299b: SWAP5
0000299c: SWAP8
0000299d: SWAP1
0000299e: SWAP7
0000299f: POP
000029a0: SWAP4
000029a1: SWAP5
000029a2: POP
000029a3: POP
000029a4: POP
000029a5: POP
000029a6: JUMP
000029a7: JUMPDEST
000029a8: PUSH4 0x4e487b71
000029ad: PUSH1 0xe0
000029af: SHL
000029b0: PUSH1 0x00
000029b2: MSTORE
000029b3: PUSH1 0x41
000029b5: PUSH1 0x04
000029b7: MSTORE
000029b8: PUSH1 0x24
000029ba: PUSH1 0x00
000029bc: REVERT
000029bd: JUMPDEST
000029be: PUSH1 0x40
000029c0: MLOAD
000029c1: PUSH1 0x1f
000029c3: DUP3
000029c4: ADD
000029c5: PUSH1 0x1f
000029c7: NOT
000029c8: AND
000029c9: DUP2
000029ca: ADD
000029cb: PUSH8 0xffffffffffffffff
000029d4: DUP2
000029d5: GT
000029d6: DUP3
000029d7: DUP3
000029d8: LT
000029d9: OR
000029da: ISZERO
000029db: PUSH2 0x29e6
000029de: JUMPI
000029df: PUSH2 0x29e6
000029e2: PUSH2 0x29a7
000029e5: JUMP
000029e6: JUMPDEST
000029e7: PUSH1 0x40
000029e9: MSTORE
000029ea: SWAP2
000029eb: SWAP1
000029ec: POP
000029ed: JUMP
000029ee: JUMPDEST
000029ef: PUSH1 0x00
000029f1: DUP3
000029f2: PUSH1 0x1f
000029f4: DUP4
000029f5: ADD
000029f6: SLT
000029f7: PUSH2 0x29ff
000029fa: JUMPI
000029fb: PUSH1 0x00
000029fd: DUP1
000029fe: REVERT
000029ff: JUMPDEST
00002a00: DUP2
00002a01: CALLDATALOAD
00002a02: PUSH8 0xffffffffffffffff
00002a0b: DUP2
00002a0c: GT
00002a0d: ISZERO
00002a0e: PUSH2 0x2a19
00002a11: JUMPI
00002a12: PUSH2 0x2a19
00002a15: PUSH2 0x29a7
00002a18: JUMP
00002a19: JUMPDEST
00002a1a: PUSH2 0x2a2c
00002a1d: PUSH1 0x1f
00002a1f: DUP3
00002a20: ADD
00002a21: PUSH1 0x1f
00002a23: NOT
00002a24: AND
00002a25: PUSH1 0x20
00002a27: ADD
00002a28: PUSH2 0x29bd
00002a2b: JUMP
00002a2c: JUMPDEST
00002a2d: DUP2
00002a2e: DUP2
00002a2f: MSTORE
00002a30: DUP5
00002a31: PUSH1 0x20
00002a33: DUP4
00002a34: DUP7
00002a35: ADD
00002a36: ADD
00002a37: GT
00002a38: ISZERO
00002a39: PUSH2 0x2a41
00002a3c: JUMPI
00002a3d: PUSH1 0x00
00002a3f: DUP1
00002a40: REVERT
00002a41: JUMPDEST
00002a42: DUP2
00002a43: PUSH1 0x20
00002a45: DUP6
00002a46: ADD
00002a47: PUSH1 0x20
00002a49: DUP4
00002a4a: ADD
00002a4b: CALLDATACOPY
00002a4c: PUSH1 0x00
00002a4e: SWAP2
00002a4f: DUP2
00002a50: ADD
00002a51: PUSH1 0x20
00002a53: ADD
00002a54: SWAP2
00002a55: SWAP1
00002a56: SWAP2
00002a57: MSTORE
00002a58: SWAP4
00002a59: SWAP3
00002a5a: POP
00002a5b: POP
00002a5c: POP
00002a5d: JUMP
00002a5e: JUMPDEST
00002a5f: PUSH1 0x00
00002a61: DUP1
00002a62: PUSH1 0x00
00002a64: DUP1
00002a65: PUSH1 0x80
00002a67: DUP6
00002a68: DUP8
00002a69: SUB
00002a6a: SLT
00002a6b: ISZERO
00002a6c: PUSH2 0x2a74
00002a6f: JUMPI
00002a70: PUSH1 0x00
00002a72: DUP1
00002a73: REVERT
00002a74: JUMPDEST
00002a75: DUP5
00002a76: CALLDATALOAD
00002a77: PUSH2 0x2a7f
00002a7a: DUP2
00002a7b: PUSH2 0x28ee
00002a7e: JUMP
00002a7f: JUMPDEST
00002a80: SWAP4
00002a81: POP
00002a82: PUSH1 0x20
00002a84: DUP6
00002a85: ADD
00002a86: CALLDATALOAD
00002a87: PUSH2 0x2a8f
00002a8a: DUP2
00002a8b: PUSH2 0x28ee
00002a8e: JUMP
00002a8f: JUMPDEST
00002a90: SWAP3
00002a91: POP
00002a92: PUSH1 0x40
00002a94: DUP6
00002a95: ADD
00002a96: CALLDATALOAD
00002a97: SWAP2
00002a98: POP
00002a99: PUSH1 0x60
00002a9b: DUP6
00002a9c: ADD
00002a9d: CALLDATALOAD
00002a9e: PUSH8 0xffffffffffffffff
00002aa7: DUP2
00002aa8: GT
00002aa9: ISZERO
00002aaa: PUSH2 0x2ab2
00002aad: JUMPI
00002aae: PUSH1 0x00
00002ab0: DUP1
00002ab1: REVERT
00002ab2: JUMPDEST
00002ab3: PUSH2 0x2abe
00002ab6: DUP8
00002ab7: DUP3
00002ab8: DUP9
00002ab9: ADD
00002aba: PUSH2 0x29ee
00002abd: JUMP
00002abe: JUMPDEST
00002abf: SWAP2
00002ac0: POP
00002ac1: POP
00002ac2: SWAP3
00002ac3: SWAP6
00002ac4: SWAP2
00002ac5: SWAP5
00002ac6: POP
00002ac7: SWAP3
00002ac8: POP
00002ac9: JUMP
00002aca: JUMPDEST
00002acb: PUSH1 0x00
00002acd: PUSH1 0x20
00002acf: DUP3
00002ad0: DUP5
00002ad1: SUB
00002ad2: SLT
00002ad3: ISZERO
00002ad4: PUSH2 0x2adc
00002ad7: JUMPI
00002ad8: PUSH1 0x00
00002ada: DUP1
00002adb: REVERT
00002adc: JUMPDEST
00002add: DUP2
00002ade: CALLDATALOAD
00002adf: PUSH2 0x216c
00002ae2: DUP2
00002ae3: PUSH2 0x28ee
00002ae6: JUMP
00002ae7: JUMPDEST
00002ae8: PUSH1 0x00
00002aea: DUP1
00002aeb: PUSH1 0x20
00002aed: DUP4
00002aee: DUP6
00002aef: SUB
00002af0: SLT
00002af1: ISZERO
00002af2: PUSH2 0x2afa
00002af5: JUMPI
00002af6: PUSH1 0x00
00002af8: DUP1
00002af9: REVERT
00002afa: JUMPDEST
00002afb: DUP3
00002afc: CALLDATALOAD
00002afd: PUSH8 0xffffffffffffffff
00002b06: DUP2
00002b07: GT
00002b08: ISZERO
00002b09: PUSH2 0x2b11
00002b0c: JUMPI
00002b0d: PUSH1 0x00
00002b0f: DUP1
00002b10: REVERT
00002b11: JUMPDEST
00002b12: PUSH2 0x2b1d
00002b15: DUP6
00002b16: DUP3
00002b17: DUP7
00002b18: ADD
00002b19: PUSH2 0x2906
00002b1c: JUMP
00002b1d: JUMPDEST
00002b1e: SWAP1
00002b1f: SWAP7
00002b20: SWAP1
00002b21: SWAP6
00002b22: POP
00002b23: SWAP4
00002b24: POP
00002b25: POP
00002b26: POP
00002b27: POP
00002b28: JUMP
00002b29: JUMPDEST
00002b2a: PUSH1 0x00
00002b2c: PUSH1 0x20
00002b2e: DUP3
00002b2f: DUP5
00002b30: SUB
00002b31: SLT
00002b32: ISZERO
00002b33: PUSH2 0x2b3b
00002b36: JUMPI
00002b37: PUSH1 0x00
00002b39: DUP1
00002b3a: REVERT
00002b3b: JUMPDEST
00002b3c: POP
00002b3d: CALLDATALOAD
00002b3e: SWAP2
00002b3f: SWAP1
00002b40: POP
00002b41: JUMP
00002b42: JUMPDEST
00002b43: DUP2
00002b44: MLOAD
00002b45: PUSH2 0xffff
00002b48: AND
00002b49: DUP2
00002b4a: MSTORE
00002b4b: PUSH1 0x20
00002b4d: DUP1
00002b4e: DUP4
00002b4f: ADD
00002b50: MLOAD
00002b51: PUSH1 0x01
00002b53: PUSH1 0x01
00002b55: PUSH1 0x50
00002b57: SHL
00002b58: SUB
00002b59: AND
00002b5a: SWAP1
00002b5b: DUP3
00002b5c: ADD
00002b5d: MSTORE
00002b5e: PUSH1 0x40
00002b60: DUP1
00002b61: DUP4
00002b62: ADD
00002b63: MLOAD
00002b64: PUSH1 0x01
00002b66: PUSH1 0x01
00002b68: PUSH1 0xa0
00002b6a: SHL
00002b6b: SUB
00002b6c: AND
00002b6d: SWAP1
00002b6e: DUP3
00002b6f: ADD
00002b70: MSTORE
00002b71: PUSH1 0x60
00002b73: DUP2
00002b74: ADD
00002b75: PUSH2 0x1e0c
00002b78: JUMP
00002b79: JUMPDEST
00002b7a: DUP1
00002b7b: CALLDATALOAD
00002b7c: PUSH1 0x01
00002b7e: PUSH1 0x01
00002b80: PUSH1 0x50
00002b82: SHL
00002b83: SUB
00002b84: DUP2
00002b85: AND
00002b86: DUP2
00002b87: EQ
00002b88: PUSH2 0x1e12
00002b8b: JUMPI
00002b8c: PUSH1 0x00
00002b8e: DUP1
00002b8f: REVERT
00002b90: JUMPDEST
00002b91: DUP1
00002b92: CALLDATALOAD
00002b93: PUSH2 0xffff
00002b96: DUP2
00002b97: AND
00002b98: DUP2
00002b99: EQ
00002b9a: PUSH2 0x1e12
00002b9d: JUMPI
00002b9e: PUSH1 0x00
00002ba0: DUP1
00002ba1: REVERT
00002ba2: JUMPDEST
00002ba3: PUSH1 0x00
00002ba5: DUP1
00002ba6: PUSH1 0x40
00002ba8: DUP4
00002ba9: DUP6
00002baa: SUB
00002bab: SLT
00002bac: ISZERO
00002bad: PUSH2 0x2bb5
00002bb0: JUMPI
00002bb1: PUSH1 0x00
00002bb3: DUP1
00002bb4: REVERT
00002bb5: JUMPDEST
00002bb6: PUSH2 0x2bbe
00002bb9: DUP4
00002bba: PUSH2 0x2b79
00002bbd: JUMP
00002bbe: JUMPDEST
00002bbf: SWAP2
00002bc0: POP
00002bc1: PUSH2 0x2bcc
00002bc4: PUSH1 0x20
00002bc6: DUP5
00002bc7: ADD
00002bc8: PUSH2 0x2b90
00002bcb: JUMP
00002bcc: JUMPDEST
00002bcd: SWAP1
00002bce: POP
00002bcf: SWAP3
00002bd0: POP
00002bd1: SWAP3
00002bd2: SWAP1
00002bd3: POP
00002bd4: JUMP
00002bd5: JUMPDEST
00002bd6: PUSH1 0x00
00002bd8: DUP1
00002bd9: PUSH1 0x00
00002bdb: DUP1
00002bdc: PUSH1 0x00
00002bde: PUSH1 0x60
00002be0: DUP7
00002be1: DUP9
00002be2: SUB
00002be3: SLT
00002be4: ISZERO
00002be5: PUSH2 0x2bed
00002be8: JUMPI
00002be9: PUSH1 0x00
00002beb: DUP1
00002bec: REVERT
00002bed: JUMPDEST
00002bee: DUP6
00002bef: CALLDATALOAD
00002bf0: PUSH2 0x2bf8
00002bf3: DUP2
00002bf4: PUSH2 0x28ee
00002bf7: JUMP
00002bf8: JUMPDEST
00002bf9: SWAP5
00002bfa: POP
00002bfb: PUSH1 0x20
00002bfd: DUP7
00002bfe: ADD
00002bff: CALLDATALOAD
00002c00: PUSH8 0xffffffffffffffff
00002c09: DUP1
00002c0a: DUP3
00002c0b: GT
00002c0c: ISZERO
00002c0d: PUSH2 0x2c15
00002c10: JUMPI
00002c11: PUSH1 0x00
00002c13: DUP1
00002c14: REVERT
00002c15: JUMPDEST
00002c16: PUSH2 0x2c21
00002c19: DUP10
00002c1a: DUP4
00002c1b: DUP11
00002c1c: ADD
00002c1d: PUSH2 0x2906
00002c20: JUMP
00002c21: JUMPDEST
00002c22: SWAP1
00002c23: SWAP7
00002c24: POP
00002c25: SWAP5
00002c26: POP
00002c27: PUSH1 0x40
00002c29: DUP9
00002c2a: ADD
00002c2b: CALLDATALOAD
00002c2c: SWAP2
00002c2d: POP
00002c2e: DUP1
00002c2f: DUP3
00002c30: GT
00002c31: ISZERO
00002c32: PUSH2 0x2c3a
00002c35: JUMPI
00002c36: PUSH1 0x00
00002c38: DUP1
00002c39: REVERT
00002c3a: JUMPDEST
00002c3b: POP
00002c3c: PUSH2 0x2c47
00002c3f: DUP9
00002c40: DUP3
00002c41: DUP10
00002c42: ADD
00002c43: PUSH2 0x2906
00002c46: JUMP
00002c47: JUMPDEST
00002c48: SWAP7
00002c49: SWAP10
00002c4a: SWAP6
00002c4b: SWAP9
00002c4c: POP
00002c4d: SWAP4
00002c4e: SWAP7
00002c4f: POP
00002c50: SWAP3
00002c51: SWAP5
00002c52: SWAP4
00002c53: SWAP3
00002c54: POP
00002c55: POP
00002c56: POP
00002c57: JUMP
00002c58: JUMPDEST
00002c59: PUSH1 0x00
00002c5b: DUP3
00002c5c: PUSH1 0x1f
00002c5e: DUP4
00002c5f: ADD
00002c60: SLT
00002c61: PUSH2 0x2c69
00002c64: JUMPI
00002c65: PUSH1 0x00
00002c67: DUP1
00002c68: REVERT
00002c69: JUMPDEST
00002c6a: DUP2
00002c6b: CALLDATALOAD
00002c6c: PUSH1 0x20
00002c6e: PUSH8 0xffffffffffffffff
00002c77: DUP3
00002c78: GT
00002c79: ISZERO
00002c7a: PUSH2 0x2c85
00002c7d: JUMPI
00002c7e: PUSH2 0x2c85
00002c81: PUSH2 0x29a7
00002c84: JUMP
00002c85: JUMPDEST
00002c86: DUP2
00002c87: PUSH1 0x05
00002c89: SHL
00002c8a: PUSH2 0x2c94
00002c8d: DUP3
00002c8e: DUP3
00002c8f: ADD
00002c90: PUSH2 0x29bd
00002c93: JUMP
00002c94: JUMPDEST
00002c95: SWAP3
00002c96: DUP4
00002c97: MSTORE
00002c98: DUP5
00002c99: DUP2
00002c9a: ADD
00002c9b: DUP3
00002c9c: ADD
00002c9d: SWAP3
00002c9e: DUP3
00002c9f: DUP2
00002ca0: ADD
00002ca1: SWAP1
00002ca2: DUP8
00002ca3: DUP6
00002ca4: GT
00002ca5: ISZERO
00002ca6: PUSH2 0x2cae
00002ca9: JUMPI
00002caa: PUSH1 0x00
00002cac: DUP1
00002cad: REVERT
00002cae: JUMPDEST
00002caf: DUP4
00002cb0: DUP8
00002cb1: ADD
00002cb2: SWAP3
00002cb3: POP
00002cb4: JUMPDEST
00002cb5: DUP5
00002cb6: DUP4
00002cb7: LT
00002cb8: ISZERO
00002cb9: PUSH2 0x2573
00002cbc: JUMPI
00002cbd: DUP3
00002cbe: CALLDATALOAD
00002cbf: DUP3
00002cc0: MSTORE
00002cc1: SWAP2
00002cc2: DUP4
00002cc3: ADD
00002cc4: SWAP2
00002cc5: SWAP1
00002cc6: DUP4
00002cc7: ADD
00002cc8: SWAP1
00002cc9: PUSH2 0x2cb4
00002ccc: JUMP
00002ccd: JUMPDEST
00002cce: PUSH1 0x00
00002cd0: DUP1
00002cd1: PUSH1 0x00
00002cd3: DUP1
00002cd4: PUSH1 0x00
00002cd6: PUSH1 0xa0
00002cd8: DUP7
00002cd9: DUP9
00002cda: SUB
00002cdb: SLT
00002cdc: ISZERO
00002cdd: PUSH2 0x2ce5
00002ce0: JUMPI
00002ce1: PUSH1 0x00
00002ce3: DUP1
00002ce4: REVERT
00002ce5: JUMPDEST
00002ce6: DUP6
00002ce7: CALLDATALOAD
00002ce8: PUSH2 0x2cf0
00002ceb: DUP2
00002cec: PUSH2 0x28ee
00002cef: JUMP
00002cf0: JUMPDEST
00002cf1: SWAP5
00002cf2: POP
00002cf3: PUSH1 0x20
00002cf5: DUP7
00002cf6: ADD
00002cf7: CALLDATALOAD
00002cf8: PUSH2 0x2d00
00002cfb: DUP2
00002cfc: PUSH2 0x28ee
00002cff: JUMP
00002d00: JUMPDEST
00002d01: SWAP4
00002d02: POP
00002d03: PUSH1 0x40
00002d05: DUP7
00002d06: ADD
00002d07: CALLDATALOAD
00002d08: PUSH8 0xffffffffffffffff
00002d11: DUP1
00002d12: DUP3
00002d13: GT
00002d14: ISZERO
00002d15: PUSH2 0x2d1d
00002d18: JUMPI
00002d19: PUSH1 0x00
00002d1b: DUP1
00002d1c: REVERT
00002d1d: JUMPDEST
00002d1e: PUSH2 0x2d29
00002d21: DUP10
00002d22: DUP4
00002d23: DUP11
00002d24: ADD
00002d25: PUSH2 0x2c58
00002d28: JUMP
00002d29: JUMPDEST
00002d2a: SWAP5
00002d2b: POP
00002d2c: PUSH1 0x60
00002d2e: DUP9
00002d2f: ADD
00002d30: CALLDATALOAD
00002d31: SWAP2
00002d32: POP
00002d33: DUP1
00002d34: DUP3
00002d35: GT
00002d36: ISZERO
00002d37: PUSH2 0x2d3f
00002d3a: JUMPI
00002d3b: PUSH1 0x00
00002d3d: DUP1
00002d3e: REVERT
00002d3f: JUMPDEST
00002d40: PUSH2 0x2d4b
00002d43: DUP10
00002d44: DUP4
00002d45: DUP11
00002d46: ADD
00002d47: PUSH2 0x2c58
00002d4a: JUMP
00002d4b: JUMPDEST
00002d4c: SWAP4
00002d4d: POP
00002d4e: PUSH1 0x80
00002d50: DUP9
00002d51: ADD
00002d52: CALLDATALOAD
00002d53: SWAP2
00002d54: POP
00002d55: DUP1
00002d56: DUP3
00002d57: GT
00002d58: ISZERO
00002d59: PUSH2 0x2d61
00002d5c: JUMPI
00002d5d: PUSH1 0x00
00002d5f: DUP1
00002d60: REVERT
00002d61: JUMPDEST
00002d62: POP
00002d63: PUSH2 0x2d6e
00002d66: DUP9
00002d67: DUP3
00002d68: DUP10
00002d69: ADD
00002d6a: PUSH2 0x29ee
00002d6d: JUMP
00002d6e: JUMPDEST
00002d6f: SWAP2
00002d70: POP
00002d71: POP
00002d72: SWAP3
00002d73: SWAP6
00002d74: POP
00002d75: SWAP3
00002d76: SWAP6
00002d77: SWAP1
00002d78: SWAP4
00002d79: POP
00002d7a: JUMP
00002d7b: JUMPDEST
00002d7c: PUSH1 0x00
00002d7e: DUP1
00002d7f: PUSH1 0x40
00002d81: DUP4
00002d82: DUP6
00002d83: SUB
00002d84: SLT
00002d85: ISZERO
00002d86: PUSH2 0x2d8e
00002d89: JUMPI
00002d8a: PUSH1 0x00
00002d8c: DUP1
00002d8d: REVERT
00002d8e: JUMPDEST
00002d8f: DUP3
00002d90: CALLDATALOAD
00002d91: PUSH2 0x2d99
00002d94: DUP2
00002d95: PUSH2 0x28ee
00002d98: JUMP
00002d99: JUMPDEST
00002d9a: SWAP5
00002d9b: PUSH1 0x20
00002d9d: SWAP4
00002d9e: SWAP1
00002d9f: SWAP4
00002da0: ADD
00002da1: CALLDATALOAD
00002da2: SWAP4
00002da3: POP
00002da4: POP
00002da5: POP
00002da6: JUMP
00002da7: JUMPDEST
00002da8: PUSH1 0x00
00002daa: DUP1
00002dab: PUSH1 0x00
00002dad: DUP1
00002dae: PUSH1 0x00
00002db0: DUP6
00002db1: DUP8
00002db2: SUB
00002db3: PUSH2 0x0140
00002db6: DUP2
00002db7: SLT
00002db8: ISZERO
00002db9: PUSH2 0x2dc1
00002dbc: JUMPI
00002dbd: PUSH1 0x00
00002dbf: DUP1
00002dc0: REVERT
00002dc1: JUMPDEST
00002dc2: PUSH1 0xe0
00002dc4: DUP2
00002dc5: SLT
00002dc6: ISZERO
00002dc7: PUSH2 0x2dcf
00002dca: JUMPI
00002dcb: PUSH1 0x00
00002dcd: DUP1
00002dce: REVERT
00002dcf: JUMPDEST
00002dd0: POP
00002dd1: DUP6
00002dd2: SWAP5
00002dd3: POP
00002dd4: PUSH1 0xe0
00002dd6: DUP7
00002dd7: ADD
00002dd8: CALLDATALOAD
00002dd9: SWAP4
00002dda: POP
00002ddb: PUSH2 0x0100
00002dde: DUP7
00002ddf: ADD
00002de0: CALLDATALOAD
00002de1: PUSH8 0xffffffffffffffff
00002dea: DUP1
00002deb: DUP3
00002dec: GT
00002ded: ISZERO
00002dee: PUSH2 0x2df6
00002df1: JUMPI
00002df2: PUSH1 0x00
00002df4: DUP1
00002df5: REVERT
00002df6: JUMPDEST
00002df7: PUSH2 0x2e02
00002dfa: DUP10
00002dfb: DUP4
00002dfc: DUP11
00002dfd: ADD
00002dfe: PUSH2 0x29ee
00002e01: JUMP
00002e02: JUMPDEST
00002e03: SWAP5
00002e04: POP
00002e05: PUSH2 0x0120
00002e08: DUP9
00002e09: ADD
00002e0a: CALLDATALOAD
00002e0b: SWAP2
00002e0c: POP
00002e0d: DUP1
00002e0e: DUP3
00002e0f: GT
00002e10: ISZERO
00002e11: PUSH2 0x2c3a
00002e14: JUMPI
00002e15: PUSH1 0x00
00002e17: DUP1
00002e18: REVERT
00002e19: JUMPDEST
00002e1a: PUSH1 0x00
00002e1c: DUP1
00002e1d: PUSH1 0x00
00002e1f: DUP1
00002e20: PUSH1 0x00
00002e22: PUSH1 0xa0
00002e24: DUP7
00002e25: DUP9
00002e26: SUB
00002e27: SLT
00002e28: ISZERO
00002e29: PUSH2 0x2e31
00002e2c: JUMPI
00002e2d: PUSH1 0x00
00002e2f: DUP1
00002e30: REVERT
00002e31: JUMPDEST
00002e32: DUP6
00002e33: CALLDATALOAD
00002e34: PUSH2 0x2e3c
00002e37: DUP2
00002e38: PUSH2 0x28ee
00002e3b: JUMP
00002e3c: JUMPDEST
00002e3d: SWAP5
00002e3e: POP
00002e3f: PUSH1 0x20
00002e41: DUP7
00002e42: ADD
00002e43: CALLDATALOAD
00002e44: PUSH2 0x2e4c
00002e47: DUP2
00002e48: PUSH2 0x28ee
00002e4b: JUMP
00002e4c: JUMPDEST
00002e4d: SWAP4
00002e4e: POP
00002e4f: PUSH1 0x40
00002e51: DUP7
00002e52: ADD
00002e53: CALLDATALOAD
00002e54: SWAP3
00002e55: POP
00002e56: PUSH1 0x60
00002e58: DUP7
00002e59: ADD
00002e5a: CALLDATALOAD
00002e5b: SWAP2
00002e5c: POP
00002e5d: PUSH1 0x80
00002e5f: DUP7
00002e60: ADD
00002e61: CALLDATALOAD
00002e62: PUSH8 0xffffffffffffffff
00002e6b: DUP2
00002e6c: GT
00002e6d: ISZERO
00002e6e: PUSH2 0x2e76
00002e71: JUMPI
00002e72: PUSH1 0x00
00002e74: DUP1
00002e75: REVERT
00002e76: JUMPDEST
00002e77: PUSH2 0x2d6e
00002e7a: DUP9
00002e7b: DUP3
00002e7c: DUP10
00002e7d: ADD
00002e7e: PUSH2 0x29ee
00002e81: JUMP
00002e82: JUMPDEST
00002e83: PUSH4 0x4e487b71
00002e88: PUSH1 0xe0
00002e8a: SHL
00002e8b: PUSH1 0x00
00002e8d: MSTORE
00002e8e: PUSH1 0x32
00002e90: PUSH1 0x04
00002e92: MSTORE
00002e93: PUSH1 0x24
00002e95: PUSH1 0x00
00002e97: REVERT
00002e98: JUMPDEST
00002e99: PUSH4 0x4e487b71
00002e9e: PUSH1 0xe0
00002ea0: SHL
00002ea1: PUSH1 0x00
00002ea3: MSTORE
00002ea4: PUSH1 0x11
00002ea6: PUSH1 0x04
00002ea8: MSTORE
00002ea9: PUSH1 0x24
00002eab: PUSH1 0x00
00002ead: REVERT
00002eae: JUMPDEST
00002eaf: DUP2
00002eb0: DUP2
00002eb1: SUB
00002eb2: DUP2
00002eb3: DUP2
00002eb4: GT
00002eb5: ISZERO
00002eb6: PUSH2 0x1e0c
00002eb9: JUMPI
00002eba: PUSH2 0x1e0c
00002ebd: PUSH2 0x2e98
00002ec0: JUMP
00002ec1: JUMPDEST
00002ec2: PUSH1 0x00
00002ec4: DUP1
00002ec5: PUSH1 0x40
00002ec7: DUP4
00002ec8: DUP6
00002ec9: SUB
00002eca: SLT
00002ecb: ISZERO
00002ecc: PUSH2 0x2ed4
00002ecf: JUMPI
00002ed0: PUSH1 0x00
00002ed2: DUP1
00002ed3: REVERT
00002ed4: JUMPDEST
00002ed5: DUP3
00002ed6: MLOAD
00002ed7: PUSH2 0x2edf
00002eda: DUP2
00002edb: PUSH2 0x28ee
00002ede: JUMP
00002edf: JUMPDEST
00002ee0: PUSH1 0x20
00002ee2: DUP5
00002ee3: ADD
00002ee4: MLOAD
00002ee5: SWAP1
00002ee6: SWAP3
00002ee7: POP
00002ee8: PUSH1 0x03
00002eea: DUP2
00002eeb: LT
00002eec: PUSH2 0x2ef4
00002eef: JUMPI
00002ef0: PUSH1 0x00
00002ef2: DUP1
00002ef3: REVERT
00002ef4: JUMPDEST
00002ef5: DUP1
00002ef6: SWAP2
00002ef7: POP
00002ef8: POP
00002ef9: SWAP3
00002efa: POP
00002efb: SWAP3
00002efc: SWAP1
00002efd: POP
00002efe: JUMP
00002eff: JUMPDEST
00002f00: DUP1
00002f01: MLOAD
00002f02: DUP1
00002f03: ISZERO
00002f04: ISZERO
00002f05: DUP2
00002f06: EQ
00002f07: PUSH2 0x1e12
00002f0a: JUMPI
00002f0b: PUSH1 0x00
00002f0d: DUP1
00002f0e: REVERT
00002f0f: JUMPDEST
00002f10: PUSH1 0x00
00002f12: PUSH1 0x20
00002f14: DUP3
00002f15: DUP5
00002f16: SUB
00002f17: SLT
00002f18: ISZERO
00002f19: PUSH2 0x2f21
00002f1c: JUMPI
00002f1d: PUSH1 0x00
00002f1f: DUP1
00002f20: REVERT
00002f21: JUMPDEST
00002f22: PUSH2 0x216c
00002f25: DUP3
00002f26: PUSH2 0x2eff
00002f29: JUMP
00002f2a: JUMPDEST
00002f2b: DUP3
00002f2c: MLOAD
00002f2d: PUSH2 0xffff
00002f30: AND
00002f31: DUP2
00002f32: MSTORE
00002f33: PUSH1 0x20
00002f35: DUP1
00002f36: DUP5
00002f37: ADD
00002f38: MLOAD
00002f39: PUSH1 0x01
00002f3b: PUSH1 0x01
00002f3d: PUSH1 0x50
00002f3f: SHL
00002f40: SUB
00002f41: AND
00002f42: SWAP1
00002f43: DUP3
00002f44: ADD
00002f45: MSTORE
00002f46: PUSH1 0x40
00002f48: DUP1
00002f49: DUP5
00002f4a: ADD
00002f4b: MLOAD
00002f4c: PUSH1 0x01
00002f4e: PUSH1 0x01
00002f50: PUSH1 0xa0
00002f52: SHL
00002f53: SUB
00002f54: AND
00002f55: SWAP1
00002f56: DUP3
00002f57: ADD
00002f58: MSTORE
00002f59: PUSH1 0xc0
00002f5b: DUP2
00002f5c: ADD
00002f5d: DUP3
00002f5e: SLOAD
00002f5f: PUSH2 0xffff
00002f62: DUP2
00002f63: AND
00002f64: PUSH1 0x60
00002f66: DUP5
00002f67: ADD
00002f68: MSTORE
00002f69: PUSH1 0x01
00002f6b: PUSH1 0x01
00002f6d: PUSH1 0x50
00002f6f: SHL
00002f70: SUB
00002f71: DUP2
00002f72: PUSH1 0x10
00002f74: SHR
00002f75: AND
00002f76: PUSH1 0x80
00002f78: DUP5
00002f79: ADD
00002f7a: MSTORE
00002f7b: DUP1
00002f7c: PUSH1 0x60
00002f7e: SHR
00002f7f: PUSH1 0xa0
00002f81: DUP5
00002f82: ADD
00002f83: MSTORE
00002f84: POP
00002f85: SWAP4
00002f86: SWAP3
00002f87: POP
00002f88: POP
00002f89: POP
00002f8a: JUMP
00002f8b: JUMPDEST
00002f8c: DUP1
00002f8d: DUP3
00002f8e: MUL
00002f8f: DUP2
00002f90: ISZERO
00002f91: DUP3
00002f92: DUP3
00002f93: DIV
00002f94: DUP5
00002f95: EQ
00002f96: OR
00002f97: PUSH2 0x1e0c
00002f9a: JUMPI
00002f9b: PUSH2 0x1e0c
00002f9e: PUSH2 0x2e98
00002fa1: JUMP
00002fa2: JUMPDEST
00002fa3: PUSH1 0x00
00002fa5: PUSH1 0x20
00002fa7: DUP3
00002fa8: DUP5
00002fa9: SUB
00002faa: SLT
00002fab: ISZERO
00002fac: PUSH2 0x2fb4
00002faf: JUMPI
00002fb0: PUSH1 0x00
00002fb2: DUP1
00002fb3: REVERT
00002fb4: JUMPDEST
00002fb5: POP
00002fb6: MLOAD
00002fb7: SWAP2
00002fb8: SWAP1
00002fb9: POP
00002fba: JUMP
00002fbb: JUMPDEST
00002fbc: DUP1
00002fbd: DUP3
00002fbe: ADD
00002fbf: DUP1
00002fc0: DUP3
00002fc1: GT
00002fc2: ISZERO
00002fc3: PUSH2 0x1e0c
00002fc6: JUMPI
00002fc7: PUSH2 0x1e0c
00002fca: PUSH2 0x2e98
00002fcd: JUMP
00002fce: JUMPDEST
00002fcf: PUSH1 0x00
00002fd1: PUSH1 0x20
00002fd3: DUP3
00002fd4: DUP5
00002fd5: SUB
00002fd6: SLT
00002fd7: ISZERO
00002fd8: PUSH2 0x2fe0
00002fdb: JUMPI
00002fdc: PUSH1 0x00
00002fde: DUP1
00002fdf: REVERT
00002fe0: JUMPDEST
00002fe1: PUSH2 0x216c
00002fe4: DUP3
00002fe5: PUSH2 0x2b79
00002fe8: JUMP
00002fe9: JUMPDEST
00002fea: PUSH1 0x00
00002fec: PUSH1 0x20
00002fee: DUP3
00002fef: DUP5
00002ff0: SUB
00002ff1: SLT
00002ff2: ISZERO
00002ff3: PUSH2 0x2ffb
00002ff6: JUMPI
00002ff7: PUSH1 0x00
00002ff9: DUP1
00002ffa: REVERT
00002ffb: JUMPDEST
00002ffc: PUSH2 0x216c
00002fff: DUP3
00003000: PUSH2 0x2b90
00003003: JUMP
00003004: JUMPDEST
00003005: PUSH1 0x00
00003007: DUP1
00003008: PUSH1 0x00
0000300a: DUP1
0000300b: PUSH1 0x00
0000300d: PUSH1 0xa0
0000300f: DUP7
00003010: DUP9
00003011: SUB
00003012: SLT
00003013: ISZERO
00003014: PUSH2 0x301c
00003017: JUMPI
00003018: PUSH1 0x00
0000301a: DUP1
0000301b: REVERT
0000301c: JUMPDEST
0000301d: PUSH2 0x3025
00003020: DUP7
00003021: PUSH2 0x2eff
00003024: JUMP
00003025: JUMPDEST
00003026: SWAP5
00003027: POP
00003028: PUSH1 0x20
0000302a: DUP7
0000302b: ADD
0000302c: MLOAD
0000302d: SWAP4
0000302e: POP
0000302f: PUSH1 0x40
00003031: DUP7
00003032: ADD
00003033: MLOAD
00003034: PUSH2 0x303c
00003037: DUP2
00003038: PUSH2 0x28ee
0000303b: JUMP
0000303c: JUMPDEST
0000303d: PUSH1 0x60
0000303f: DUP8
00003040: ADD
00003041: MLOAD
00003042: PUSH1 0x80
00003044: DUP9
00003045: ADD
00003046: MLOAD
00003047: SWAP2
00003048: SWAP5
00003049: POP
0000304a: SWAP3
0000304b: POP
0000304c: PUSH2 0x3054
0000304f: DUP2
00003050: PUSH2 0x28ee
00003053: JUMP
00003054: JUMPDEST
00003055: DUP1
00003056: SWAP2
00003057: POP
00003058: POP
00003059: SWAP3
0000305a: SWAP6
0000305b: POP
0000305c: SWAP3
0000305d: SWAP6
0000305e: SWAP1
0000305f: SWAP4
00003060: POP
00003061: JUMP
00003062: JUMPDEST
00003063: PUSH1 0x00
00003065: PUSH1 0x20
00003067: DUP3
00003068: DUP5
00003069: SUB
0000306a: SLT
0000306b: ISZERO
0000306c: PUSH2 0x3074
0000306f: JUMPI
00003070: PUSH1 0x00
00003072: DUP1
00003073: REVERT
00003074: JUMPDEST
00003075: DUP2
00003076: MLOAD
00003077: PUSH2 0x216c
0000307a: DUP2
0000307b: PUSH2 0x28ee
0000307e: JUMP
0000307f: JUMPDEST
00003080: PUSH4 0x4e487b71
00003085: PUSH1 0xe0
00003087: SHL
00003088: PUSH1 0x00
0000308a: MSTORE
0000308b: PUSH1 0x21
0000308d: PUSH1 0x04
0000308f: MSTORE
00003090: PUSH1 0x24
00003092: PUSH1 0x00
00003094: REVERT
00003095: JUMPDEST
00003096: PUSH2 0xffff
00003099: DUP2
0000309a: DUP2
0000309b: AND
0000309c: DUP4
0000309d: DUP3
0000309e: AND
0000309f: ADD
000030a0: SWAP1
000030a1: DUP1
000030a2: DUP3
000030a3: GT
000030a4: ISZERO
000030a5: PUSH2 0x1456
000030a8: JUMPI
000030a9: PUSH2 0x1456
000030ac: PUSH2 0x2e98
000030af: JUMP
000030b0: JUMPDEST
000030b1: PUSH4 0x4e487b71
000030b6: PUSH1 0xe0
000030b8: SHL
000030b9: PUSH1 0x00
000030bb: MSTORE
000030bc: PUSH1 0x31
000030be: PUSH1 0x04
000030c0: MSTORE
000030c1: PUSH1 0x24
000030c3: PUSH1 0x00
000030c5: REVERT
000030c6: INVALID
000030c7: LOG2
000030c8: PUSH5 0x6970667358
000030ce: UNKNOWN(0x22)
000030cf: SLT
000030d0: KECCAK256
000030d1: XOR
000030d2: UNKNOWN(0xCE)
000030d3: PUSH8 0x3f691e4734eefc4a
000030dc: UNKNOWN(0x22)
000030dd: SWAP11
000030de: UNKNOWN(0xB3)
000030df: UNKNOWN(0xBF)
000030e0: AND
000030e1: UNKNOWN(0x4F)
000030e2: UNKNOWN(0xA9)
000030e3: UNKNOWN(0xC3)
000030e4: CODESIZE
000030e5: PUSH15 0x513cf9501ed41b8916304d64736f6c
000030f5: PUSH4 0x43000817
000030fa: STOP
000030fb: CALLER