Analysis Run

[codex:1340233] OpenAI Codex v0.77.0 (research preview)
[codex:1340233] --------
[codex:1340233] workdir: /tmp/codex-multi-9jl2fhac
[codex:1340233] model: gpt-5.2-codex
[codex:1340233] provider: openai
[codex:1340233] approval: never
[codex:1340233] sandbox: read-only
[codex:1340233] reasoning effort: xhigh
[codex:1340233] reasoning summaries: auto
[codex:1340233] session id: 019b87b1-b29d-7931-b353-041ad83cb4c9
[codex:1340233] --------
[codex:1340233] user
[codex:1340233] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1340233] 
[codex:1340233] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1340233] 
[codex:1340233] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1340233] - Gas inefficiency, code quality, naming, or best practices
[codex:1340233] - Theoretical vulnerabilities without a clear extraction path
[codex:1340233] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1340233] - Front-running unless it enables theft beyond MEV
[codex:1340233] - DoS, griefing, or issues that don't result in attacker profit
[codex:1340233] - Missing events, view function issues, or informational findings
[codex:1340233] 
[codex:1340233] HIGH-VALUE PATTERNS TO HUNT:
[codex:1340233] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1340233] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1340233] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1340233] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1340233] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1340233] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1340233] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1340233] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1340233] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1340233] 
[codex:1340233] For each finding, you MUST provide:
[codex:1340233] 1. Exact file and line numbers of vulnerable code
[codex:1340233] 2. Step-by-step exploit transaction sequence
[codex:1340233] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1340233] 
[codex:1340233] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1340233] 
[codex:1340233] Output MUST be valid JSON matching the provided schema.
[codex:1340233] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1340233] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1340233] mcp startup: no servers
[codex:1340233] 
[codex:1340233] thinking
[codex:1340233] **Reading audit bundle file**
[codex:1340233] exec
[codex:1340233] /bin/bash -lc ls in /tmp/codex-multi-9jl2fhac succeeded in 5ms:
[codex:1340233] AUDIT_BUNDLE.txt
[codex:1340233] codex-output-schema.json
[codex:1340233] contracts
[codex:1340233] exec
[codex:1340233] /bin/bash -lc "sed -n '1,200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-9jl2fhac succeeded in 6ms:
[codex:1340233] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1340233] 
[codex:1340233] ================================================================================
[codex:1340233] FILE: contracts/contracts/ethregistrar/BaseRegistrarImplementation.sol
[codex:1340233] ================================================================================
[codex:1340233] pragma solidity >=0.8.4;
[codex:1340233] 
[codex:1340233] import "../registry/ENS.sol";
[codex:1340233] import "./IBaseRegistrar.sol";
[codex:1340233] import "@openzeppelin/contracts/token/ERC721/ERC721.sol";
[codex:1340233] import "@openzeppelin/contracts/access/Ownable.sol";
[codex:1340233] 
[codex:1340233] contract BaseRegistrarImplementation is ERC721, IBaseRegistrar, Ownable {
[codex:1340233]     // A map of expiry times
[codex:1340233]     mapping(uint256 => uint256) expiries;
[codex:1340233]     // The ENS registry
[codex:1340233]     ENS public ens;
[codex:1340233]     // The namehash of the TLD this registrar owns (eg, .eth)
[codex:1340233]     bytes32 public baseNode;
[codex:1340233]     // A map of addresses that are authorised to register and renew names.
[codex:1340233] exec
[codex:1340233] /bin/bash -lc "sed -n '200,400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-9jl2fhac succeeded in 5ms:
[codex:1340233] import {IERC165} from "@openzeppelin/contracts/utils/introspection/IERC165.sol";
[codex:1340233] 
[codex:1340233] import {BaseRegistrarImplementation} from "./BaseRegistrarImplementation.sol";
[codex:1340233] import {StringUtils} from "../utils/StringUtils.sol";
[codex:1340233] import {Resolver} from "../resolvers/Resolver.sol";
[codex:1340233] import {ENS} from "../registry/ENS.sol";
[codex:1340233] import {IReverseRegistrar} from "../reverseRegistrar/IReverseRegistrar.sol";
[codex:1340233] import {IDefaultReverseRegistrar} from "../reverseRegistrar/IDefaultReverseRegistrar.sol";
[codex:1340233] import {IETHRegistrarController, IPriceOracle} from "./IETHRegistrarController.sol";
[codex:1340233] import {ERC20Recoverable} from "../utils/ERC20Recoverable.sol";
[codex:1340233] 
[codex:1340233] /// @dev A registrar controller for registering and renewing names at fixed cost.
[codex:1340233] contract ETHRegistrarController is
[codex:1340233]     Ownable,
[codex:1340233]     IETHRegistrarController,
[codex:1340233]     ERC165,
[codex:1340233]     ERC20Recoverable
[codex:1340233] {
[codex:1340233]     using StringUtils for *;
[codex:1340233] 
[codex:1340233] exec
[codex:1340233] /bin/bash -lc "sed -n '400,800p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-9jl2fhac succeeded in 6ms:
[codex:1340233]     /// @notice Returns the commitment for a registration.
[codex:1340233]     ///
[codex:1340233]     /// @param registration The registration to make a commitment for.
[codex:1340233]     /// @return commitment The commitment for the registration.
[codex:1340233]     function makeCommitment(
[codex:1340233]         Registration calldata registration
[codex:1340233]     ) public pure override returns (bytes32 commitment) {
[codex:1340233]         if (registration.data.length > 0 && registration.resolver == address(0))
[codex:1340233]             revert ResolverRequiredWhenDataSupplied();
[codex:1340233] 
[codex:1340233]         if (
[codex:1340233]             registration.reverseRecord != 0 &&
[codex:1340233]             registration.resolver == address(0)
[codex:1340233]         ) revert ResolverRequiredForReverseRecord();
[codex:1340233] 
[codex:1340233]         if (registration.duration < MIN_REGISTRATION_DURATION)
[codex:1340233]             revert DurationTooShort(registration.duration);
[codex:1340233] 
[codex:1340233]         return keccak256(abi.encode(registration));
[codex:1340233]     }
[codex:1340233] exec
[codex:1340233] /bin/bash -lc "sed -n '800,1200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-9jl2fhac succeeded in 5ms:
[codex:1340233] import "./profiles/IAddrResolver.sol";
[codex:1340233] import "./profiles/IContentHashResolver.sol";
[codex:1340233] import "./profiles/IDNSRecordResolver.sol";
[codex:1340233] import "./profiles/IDNSZoneResolver.sol";
[codex:1340233] import "./profiles/IInterfaceResolver.sol";
[codex:1340233] import "./profiles/INameResolver.sol";
[codex:1340233] import "./profiles/IPubkeyResolver.sol";
[codex:1340233] import "./profiles/ITextResolver.sol";
[codex:1340233] import "./profiles/IExtendedResolver.sol";
[codex:1340233] 
[codex:1340233] /// A generic resolver interface which includes all the functions including the ones deprecated
[codex:1340233] interface Resolver is
[codex:1340233]     IERC165,
[codex:1340233]     IABIResolver,
[codex:1340233]     IAddressResolver,
[codex:1340233]     IAddrResolver,
[codex:1340233]     IContentHashResolver,
[codex:1340233]     IDNSRecordResolver,
[codex:1340233]     IDNSZoneResolver,
[codex:1340233]     IInterfaceResolver,
[codex:1340233] exec
[codex:1340233] /bin/bash -lc "sed -n '1200,1600p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-9jl2fhac succeeded in 6ms:
[codex:1340233] library StringUtils {
[codex:1340233]     /// @dev Returns the length of a given string
[codex:1340233]     /// @param s The string to measure the length of
[codex:1340233]     /// @return The length of the input string
[codex:1340233]     function strlen(string memory s) internal pure returns (uint256) {
[codex:1340233]         uint256 len;
[codex:1340233]         uint256 i = 0;
[codex:1340233]         uint256 bytelength = bytes(s).length;
[codex:1340233]         for (len = 0; i < bytelength; len++) {
[codex:1340233]             bytes1 b = bytes(s)[i];
[codex:1340233]             if (b < 0x80) {
[codex:1340233]                 i += 1;
[codex:1340233]             } else if (b < 0xE0) {
[codex:1340233]                 i += 2;
[codex:1340233]             } else if (b < 0xF0) {
[codex:1340233]                 i += 3;
[codex:1340233]             } else if (b < 0xF8) {
[codex:1340233]                 i += 4;
[codex:1340233]             } else if (b < 0xFC) {
[codex:1340233]                 i += 5;
[codex:1340233] 
[codex:1340233] thinking
[codex:1340233] **Analyzing ENS registrar for vulnerabilities**
[codex:1340233] codex
[codex:1340233] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in AUDIT_BUNDLE.txt under the given constraints.","findings":[]}
[codex:1340233] tokens used
[codex:1340233] 13,240
[codex:1340233] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in AUDIT_BUNDLE.txt under the given constraints.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-04T06:29:34.696229+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths found in AUDIT_BUNDLE.txt under the given constraints.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths found in AUDIT_BUNDLE.txt under the given constraints.",
        "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 0x016a
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8a95b09f
00000019: GT
0000001a: PUSH2 0x00cb
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xce1e09c0
00000024: GT
00000025: PUSH2 0x007f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xef9c8805
0000002f: GT
00000030: PUSH2 0x0059
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xef9c8805
0000003a: EQ
0000003b: PUSH2 0x0478
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf14fcbc8
00000045: EQ
00000046: PUSH2 0x048b
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x04ab
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0xce1e09c0
00000060: EQ
00000061: PUSH2 0x03f0
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xcf7d6e01
0000006b: EQ
0000006c: PUSH2 0x0424
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xd3419bf3
00000076: EQ
00000077: PUSH2 0x0444
0000007a: JUMPI
0000007b: PUSH1 0x00
0000007d: DUP1
0000007e: REVERT
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0x8da5cb5b
00000086: GT
00000087: PUSH2 0x00b0
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x8da5cb5b
00000091: EQ
00000092: PUSH2 0x0385
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x9791c097
0000009c: EQ
0000009d: PUSH2 0x03b0
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xaeb8ce9b
000000a7: EQ
000000a8: PUSH2 0x03d0
000000ab: JUMPI
000000ac: PUSH1 0x00
000000ae: DUP1
000000af: REVERT
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0x8a95b09f
000000b7: EQ
000000b8: PUSH2 0x033a
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0x8d839ffe
000000c2: EQ
000000c3: PUSH2 0x0351
000000c6: JUMPI
000000c7: PUSH1 0x00
000000c9: DUP1
000000ca: REVERT
000000cb: JUMPDEST
000000cc: DUP1
000000cd: PUSH4 0x5d3590d5
000000d2: GT
000000d3: PUSH2 0x0122
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x80869853
000000dd: GT
000000de: PUSH2 0x0107
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x80869853
000000e8: EQ
000000e9: PUSH2 0x0290
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x839df945
000000f3: EQ
000000f4: PUSH2 0x02c4
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x83e7f6ff
000000fe: EQ
000000ff: PUSH2 0x02ff
00000102: JUMPI
00000103: PUSH1 0x00
00000105: DUP1
00000106: REVERT
00000107: JUMPDEST
00000108: DUP1
00000109: PUSH4 0x5d3590d5
0000010e: EQ
0000010f: PUSH2 0x025b
00000112: JUMPI
00000113: DUP1
00000114: PUSH4 0x715018a6
00000119: EQ
0000011a: PUSH2 0x027b
0000011d: JUMPI
0000011e: PUSH1 0x00
00000120: DUP1
00000121: REVERT
00000122: JUMPDEST
00000123: DUP1
00000124: PUSH4 0x3ccfd60b
00000129: GT
0000012a: PUSH2 0x0153
0000012d: JUMPI
0000012e: DUP1
0000012f: PUSH4 0x3ccfd60b
00000134: EQ
00000135: PUSH2 0x01b9
00000138: JUMPI
00000139: DUP1
0000013a: PUSH4 0x3f15457f
0000013f: EQ
00000140: PUSH2 0x01ce
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x469bf441
0000014a: EQ
0000014b: PUSH2 0x0227
0000014e: JUMPI
0000014f: PUSH1 0x00
00000151: DUP1
00000152: REVERT
00000153: JUMPDEST
00000154: DUP1
00000155: PUSH4 0x01ffc9a7
0000015a: EQ
0000015b: PUSH2 0x016f
0000015e: JUMPI
0000015f: DUP1
00000160: PUSH4 0x18026ad1
00000165: EQ
00000166: PUSH2 0x01a4
00000169: JUMPI
0000016a: JUMPDEST
0000016b: PUSH1 0x00
0000016d: DUP1
0000016e: REVERT
0000016f: JUMPDEST
00000170: CALLVALUE
00000171: DUP1
00000172: ISZERO
00000173: PUSH2 0x017b
00000176: JUMPI
00000177: PUSH1 0x00
00000179: DUP1
0000017a: REVERT
0000017b: JUMPDEST
0000017c: POP
0000017d: PUSH2 0x018f
00000180: PUSH2 0x018a
00000183: CALLDATASIZE
00000184: PUSH1 0x04
00000186: PUSH2 0x1a64
00000189: JUMP
0000018a: JUMPDEST
0000018b: PUSH2 0x04cb
0000018e: JUMP
0000018f: JUMPDEST
00000190: PUSH1 0x40
00000192: MLOAD
00000193: SWAP1
00000194: ISZERO
00000195: ISZERO
00000196: DUP2
00000197: MSTORE
00000198: PUSH1 0x20
0000019a: ADD
0000019b: JUMPDEST
0000019c: PUSH1 0x40
0000019e: MLOAD
0000019f: DUP1
000001a0: SWAP2
000001a1: SUB
000001a2: SWAP1
000001a3: RETURN
000001a4: JUMPDEST
000001a5: PUSH2 0x01b7
000001a8: PUSH2 0x01b2
000001ab: CALLDATASIZE
000001ac: PUSH1 0x04
000001ae: PUSH2 0x1af6
000001b1: JUMP
000001b2: JUMPDEST
000001b3: PUSH2 0x0564
000001b6: JUMP
000001b7: JUMPDEST
000001b8: STOP
000001b9: JUMPDEST
000001ba: CALLVALUE
000001bb: DUP1
000001bc: ISZERO
000001bd: PUSH2 0x01c5
000001c0: JUMPI
000001c1: PUSH1 0x00
000001c3: DUP1
000001c4: REVERT
000001c5: JUMPDEST
000001c6: POP
000001c7: PUSH2 0x01b7
000001ca: PUSH2 0x071b
000001cd: JUMP
000001ce: JUMPDEST
000001cf: CALLVALUE
000001d0: DUP1
000001d1: ISZERO
000001d2: PUSH2 0x01da
000001d5: JUMPI
000001d6: PUSH1 0x00
000001d8: DUP1
000001d9: REVERT
000001da: JUMPDEST
000001db: POP
000001dc: PUSH2 0x0202
000001df: PUSH32 0x00000000000000000000000000000000000c2e074ec69a0dfb2997ba6c7d2e1e
00000200: DUP2
00000201: JUMP
00000202: JUMPDEST
00000203: PUSH1 0x40
00000205: MLOAD
00000206: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000021b: SWAP1
0000021c: SWAP2
0000021d: AND
0000021e: DUP2
0000021f: MSTORE
00000220: PUSH1 0x20
00000222: ADD
00000223: PUSH2 0x019b
00000226: JUMP
00000227: JUMPDEST
00000228: CALLVALUE
00000229: DUP1
0000022a: ISZERO
0000022b: PUSH2 0x0233
0000022e: JUMPI
0000022f: PUSH1 0x00
00000231: DUP1
00000232: REVERT
00000233: JUMPDEST
00000234: POP
00000235: PUSH2 0x0202
00000238: PUSH32 0x000000000000000000000000283f227c4bd38ece252c4ae7ece650b0e913f1f9
00000259: DUP2
0000025a: JUMP
0000025b: JUMPDEST
0000025c: CALLVALUE
0000025d: DUP1
0000025e: ISZERO
0000025f: PUSH2 0x0267
00000262: JUMPI
00000263: PUSH1 0x00
00000265: DUP1
00000266: REVERT
00000267: JUMPDEST
00000268: POP
00000269: PUSH2 0x01b7
0000026c: PUSH2 0x0276
0000026f: CALLDATASIZE
00000270: PUSH1 0x04
00000272: PUSH2 0x1b70
00000275: JUMP
00000276: JUMPDEST
00000277: PUSH2 0x0765
0000027a: JUMP
0000027b: JUMPDEST
0000027c: CALLVALUE
0000027d: DUP1
0000027e: ISZERO
0000027f: PUSH2 0x0287
00000282: JUMPI
00000283: PUSH1 0x00
00000285: DUP1
00000286: REVERT
00000287: JUMPDEST
00000288: POP
00000289: PUSH2 0x01b7
0000028c: PUSH2 0x080c
0000028f: JUMP
00000290: JUMPDEST
00000291: CALLVALUE
00000292: DUP1
00000293: ISZERO
00000294: PUSH2 0x029c
00000297: JUMPI
00000298: PUSH1 0x00
0000029a: DUP1
0000029b: REVERT
0000029c: JUMPDEST
0000029d: POP
0000029e: PUSH2 0x0202
000002a1: PUSH32 0x000000000000000000000000a58e81fe9b61b5c3fe2afd33cf304c454abfc7cb
000002c2: DUP2
000002c3: JUMP
000002c4: JUMPDEST
000002c5: CALLVALUE
000002c6: DUP1
000002c7: ISZERO
000002c8: PUSH2 0x02d0
000002cb: JUMPI
000002cc: PUSH1 0x00
000002ce: DUP1
000002cf: REVERT
000002d0: JUMPDEST
000002d1: POP
000002d2: PUSH2 0x02f1
000002d5: PUSH2 0x02df
000002d8: CALLDATASIZE
000002d9: PUSH1 0x04
000002db: PUSH2 0x1bad
000002de: JUMP
000002df: JUMPDEST
000002e0: PUSH1 0x01
000002e2: PUSH1 0x20
000002e4: MSTORE
000002e5: PUSH1 0x00
000002e7: SWAP1
000002e8: DUP2
000002e9: MSTORE
000002ea: PUSH1 0x40
000002ec: SWAP1
000002ed: KECCAK256
000002ee: SLOAD
000002ef: DUP2
000002f0: JUMP
000002f1: JUMPDEST
000002f2: PUSH1 0x40
000002f4: MLOAD
000002f5: SWAP1
000002f6: DUP2
000002f7: MSTORE
000002f8: PUSH1 0x20
000002fa: ADD
000002fb: PUSH2 0x019b
000002fe: JUMP
000002ff: JUMPDEST
00000300: CALLVALUE
00000301: DUP1
00000302: ISZERO
00000303: PUSH2 0x030b
00000306: JUMPI
00000307: PUSH1 0x00
00000309: DUP1
0000030a: REVERT
0000030b: JUMPDEST
0000030c: POP
0000030d: PUSH2 0x031f
00000310: PUSH2 0x031a
00000313: CALLDATASIZE
00000314: PUSH1 0x04
00000316: PUSH2 0x1bc6
00000319: JUMP
0000031a: JUMPDEST
0000031b: PUSH2 0x0820
0000031e: JUMP
0000031f: JUMPDEST
00000320: PUSH1 0x40
00000322: DUP1
00000323: MLOAD
00000324: DUP3
00000325: MLOAD
00000326: DUP2
00000327: MSTORE
00000328: PUSH1 0x20
0000032a: SWAP3
0000032b: DUP4
0000032c: ADD
0000032d: MLOAD
0000032e: SWAP3
0000032f: DUP2
00000330: ADD
00000331: SWAP3
00000332: SWAP1
00000333: SWAP3
00000334: MSTORE
00000335: ADD
00000336: PUSH2 0x019b
00000339: JUMP
0000033a: JUMPDEST
0000033b: CALLVALUE
0000033c: DUP1
0000033d: ISZERO
0000033e: PUSH2 0x0346
00000341: JUMPI
00000342: PUSH1 0x00
00000344: DUP1
00000345: REVERT
00000346: JUMPDEST
00000347: POP
00000348: PUSH2 0x02f1
0000034b: PUSH3 0x24ea00
0000034f: DUP2
00000350: JUMP
00000351: JUMPDEST
00000352: CALLVALUE
00000353: DUP1
00000354: ISZERO
00000355: PUSH2 0x035d
00000358: JUMPI
00000359: PUSH1 0x00
0000035b: DUP1
0000035c: REVERT
0000035d: JUMPDEST
0000035e: POP
0000035f: PUSH2 0x02f1
00000362: PUSH32 0x000000000000000000000000000000000000000000000000000000000000003c
00000383: DUP2
00000384: JUMP
00000385: JUMPDEST
00000386: CALLVALUE
00000387: DUP1
00000388: ISZERO
00000389: PUSH2 0x0391
0000038c: JUMPI
0000038d: PUSH1 0x00
0000038f: DUP1
00000390: REVERT
00000391: JUMPDEST
00000392: POP
00000393: PUSH1 0x00
00000395: SLOAD
00000396: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003ab: AND
000003ac: PUSH2 0x0202
000003af: JUMP
000003b0: JUMPDEST
000003b1: CALLVALUE
000003b2: DUP1
000003b3: ISZERO
000003b4: PUSH2 0x03bc
000003b7: JUMPI
000003b8: PUSH1 0x00
000003ba: DUP1
000003bb: REVERT
000003bc: JUMPDEST
000003bd: POP
000003be: PUSH2 0x018f
000003c1: PUSH2 0x03cb
000003c4: CALLDATASIZE
000003c5: PUSH1 0x04
000003c7: PUSH2 0x1c12
000003ca: JUMP
000003cb: JUMPDEST
000003cc: PUSH2 0x0865
000003cf: JUMP
000003d0: JUMPDEST
000003d1: CALLVALUE
000003d2: DUP1
000003d3: ISZERO
000003d4: PUSH2 0x03dc
000003d7: JUMPI
000003d8: PUSH1 0x00
000003da: DUP1
000003db: REVERT
000003dc: JUMPDEST
000003dd: POP
000003de: PUSH2 0x018f
000003e1: PUSH2 0x03eb
000003e4: CALLDATASIZE
000003e5: PUSH1 0x04
000003e7: PUSH2 0x1c12
000003ea: JUMP
000003eb: JUMPDEST
000003ec: PUSH2 0x08b1
000003ef: JUMP
000003f0: JUMPDEST
000003f1: CALLVALUE
000003f2: DUP1
000003f3: ISZERO
000003f4: PUSH2 0x03fc
000003f7: JUMPI
000003f8: PUSH1 0x00
000003fa: DUP1
000003fb: REVERT
000003fc: JUMPDEST
000003fd: POP
000003fe: PUSH2 0x02f1
00000401: PUSH32 0x0000000000000000000000000000000000000000000000000000000000015180
00000422: DUP2
00000423: JUMP
00000424: JUMPDEST
00000425: CALLVALUE
00000426: DUP1
00000427: ISZERO
00000428: PUSH2 0x0430
0000042b: JUMPI
0000042c: PUSH1 0x00
0000042e: DUP1
0000042f: REVERT
00000430: JUMPDEST
00000431: POP
00000432: PUSH2 0x02f1
00000435: PUSH2 0x043f
00000438: CALLDATASIZE
00000439: PUSH1 0x04
0000043b: PUSH2 0x1c54
0000043e: JUMP
0000043f: JUMPDEST
00000440: PUSH2 0x08e1
00000443: JUMP
00000444: JUMPDEST
00000445: CALLVALUE
00000446: DUP1
00000447: ISZERO
00000448: PUSH2 0x0450
0000044b: JUMPI
0000044c: PUSH1 0x00
0000044e: DUP1
0000044f: REVERT
00000450: JUMPDEST
00000451: POP
00000452: PUSH2 0x0202
00000455: PUSH32 0x0000000000000000000000007542565191d074ce84fbfa92cae13acb84788ca9
00000476: DUP2
00000477: JUMP
00000478: JUMPDEST
00000479: PUSH2 0x01b7
0000047c: PUSH2 0x0486
0000047f: CALLDATASIZE
00000480: PUSH1 0x04
00000482: PUSH2 0x1c54
00000485: JUMP
00000486: JUMPDEST
00000487: PUSH2 0x0a53
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 0x01b7
0000049c: PUSH2 0x04a6
0000049f: CALLDATASIZE
000004a0: PUSH1 0x04
000004a2: PUSH2 0x1bad
000004a5: JUMP
000004a6: JUMPDEST
000004a7: PUSH2 0x1417
000004aa: JUMP
000004ab: JUMPDEST
000004ac: CALLVALUE
000004ad: DUP1
000004ae: ISZERO
000004af: PUSH2 0x04b7
000004b2: JUMPI
000004b3: PUSH1 0x00
000004b5: DUP1
000004b6: REVERT
000004b7: JUMPDEST
000004b8: POP
000004b9: PUSH2 0x01b7
000004bc: PUSH2 0x04c6
000004bf: CALLDATASIZE
000004c0: PUSH1 0x04
000004c2: PUSH2 0x1c90
000004c5: JUMP
000004c6: JUMPDEST
000004c7: PUSH2 0x14a0
000004ca: JUMP
000004cb: JUMPDEST
000004cc: PUSH1 0x00
000004ce: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000004ef: DUP3
000004f0: AND
000004f1: PUSH32 0xe4f37f7900000000000000000000000000000000000000000000000000000000
00000512: EQ
00000513: DUP1
00000514: PUSH2 0x055e
00000517: JUMPI
00000518: POP
00000519: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
0000053a: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000055b: DUP4
0000055c: AND
0000055d: EQ
0000055e: JUMPDEST
0000055f: SWAP3
00000560: SWAP2
00000561: POP
00000562: POP
00000563: JUMP
00000564: JUMPDEST
00000565: PUSH1 0x00
00000567: DUP5
00000568: DUP5
00000569: PUSH1 0x40
0000056b: MLOAD
0000056c: PUSH2 0x0576
0000056f: SWAP3
00000570: SWAP2
00000571: SWAP1
00000572: PUSH2 0x1cab
00000575: JUMP
00000576: JUMPDEST
00000577: PUSH1 0x40
00000579: MLOAD
0000057a: DUP1
0000057b: SWAP2
0000057c: SUB
0000057d: SWAP1
0000057e: KECCAK256
0000057f: SWAP1
00000580: POP
00000581: PUSH1 0x00
00000583: PUSH2 0x058e
00000586: DUP7
00000587: DUP7
00000588: DUP5
00000589: DUP8
0000058a: PUSH2 0x1554
0000058d: JUMP
0000058e: JUMPDEST
0000058f: DUP1
00000590: MLOAD
00000591: SWAP1
00000592: SWAP2
00000593: POP
00000594: CALLVALUE
00000595: LT
00000596: ISZERO
00000597: PUSH2 0x05cc
0000059a: JUMPI
0000059b: PUSH1 0x40
0000059d: MLOAD
0000059e: PUSH32 0x1101129400000000000000000000000000000000000000000000000000000000
000005bf: DUP2
000005c0: MSTORE
000005c1: PUSH1 0x04
000005c3: ADD
000005c4: PUSH1 0x40
000005c6: MLOAD
000005c7: DUP1
000005c8: SWAP2
000005c9: SUB
000005ca: SWAP1
000005cb: REVERT
000005cc: JUMPDEST
000005cd: PUSH1 0x40
000005cf: MLOAD
000005d0: PUSH32 0xc475abff00000000000000000000000000000000000000000000000000000000
000005f1: DUP2
000005f2: MSTORE
000005f3: PUSH1 0x04
000005f5: DUP2
000005f6: ADD
000005f7: DUP4
000005f8: SWAP1
000005f9: MSTORE
000005fa: PUSH1 0x24
000005fc: DUP2
000005fd: ADD
000005fe: DUP6
000005ff: SWAP1
00000600: MSTORE
00000601: PUSH1 0x00
00000603: SWAP1
00000604: PUSH32 0x00000000000000000000000057f1887a8bf19b14fc0df6fd9b2acc9af147ea85
00000625: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000063a: AND
0000063b: SWAP1
0000063c: PUSH4 0xc475abff
00000641: SWAP1
00000642: PUSH1 0x44
00000644: ADD
00000645: PUSH1 0x20
00000647: PUSH1 0x40
00000649: MLOAD
0000064a: DUP1
0000064b: DUP4
0000064c: SUB
0000064d: DUP2
0000064e: PUSH1 0x00
00000650: DUP8
00000651: GAS
00000652: CALL
00000653: ISZERO
00000654: DUP1
00000655: ISZERO
00000656: PUSH2 0x0663
00000659: JUMPI
0000065a: RETURNDATASIZE
0000065b: PUSH1 0x00
0000065d: DUP1
0000065e: RETURNDATACOPY
0000065f: RETURNDATASIZE
00000660: PUSH1 0x00
00000662: REVERT
00000663: JUMPDEST
00000664: POP
00000665: POP
00000666: POP
00000667: POP
00000668: PUSH1 0x40
0000066a: MLOAD
0000066b: RETURNDATASIZE
0000066c: PUSH1 0x1f
0000066e: NOT
0000066f: PUSH1 0x1f
00000671: DUP3
00000672: ADD
00000673: AND
00000674: DUP3
00000675: ADD
00000676: DUP1
00000677: PUSH1 0x40
00000679: MSTORE
0000067a: POP
0000067b: DUP2
0000067c: ADD
0000067d: SWAP1
0000067e: PUSH2 0x0687
00000681: SWAP2
00000682: SWAP1
00000683: PUSH2 0x1cbb
00000686: JUMP
00000687: JUMPDEST
00000688: SWAP1
00000689: POP
0000068a: DUP3
0000068b: PUSH32 0xfa956c3bce4cb4b01166868ecaf0620566bc7e33fc70b0b9c6aef61e37e50b94
000006ac: DUP9
000006ad: DUP9
000006ae: DUP6
000006af: PUSH1 0x00
000006b1: ADD
000006b2: MLOAD
000006b3: DUP6
000006b4: DUP10
000006b5: PUSH1 0x40
000006b7: MLOAD
000006b8: PUSH2 0x06c5
000006bb: SWAP6
000006bc: SWAP5
000006bd: SWAP4
000006be: SWAP3
000006bf: SWAP2
000006c0: SWAP1
000006c1: PUSH2 0x1d1d
000006c4: JUMP
000006c5: JUMPDEST
000006c6: PUSH1 0x40
000006c8: MLOAD
000006c9: DUP1
000006ca: SWAP2
000006cb: SUB
000006cc: SWAP1
000006cd: LOG2
000006ce: DUP2
000006cf: MLOAD
000006d0: CALLVALUE
000006d1: GT
000006d2: ISZERO
000006d3: PUSH2 0x0712
000006d6: JUMPI
000006d7: DUP2
000006d8: MLOAD
000006d9: CALLER
000006da: SWAP1
000006db: PUSH2 0x08fc
000006de: SWAP1
000006df: PUSH2 0x06e8
000006e2: SWAP1
000006e3: CALLVALUE
000006e4: PUSH2 0x1d7d
000006e7: JUMP
000006e8: JUMPDEST
000006e9: PUSH1 0x40
000006eb: MLOAD
000006ec: DUP2
000006ed: ISZERO
000006ee: SWAP1
000006ef: SWAP3
000006f0: MUL
000006f1: SWAP2
000006f2: PUSH1 0x00
000006f4: DUP2
000006f5: DUP2
000006f6: DUP2
000006f7: DUP6
000006f8: DUP9
000006f9: DUP9
000006fa: CALL
000006fb: SWAP4
000006fc: POP
000006fd: POP
000006fe: POP
000006ff: POP
00000700: ISZERO
00000701: DUP1
00000702: ISZERO
00000703: PUSH2 0x0710
00000706: JUMPI
00000707: RETURNDATASIZE
00000708: PUSH1 0x00
0000070a: DUP1
0000070b: RETURNDATACOPY
0000070c: RETURNDATASIZE
0000070d: PUSH1 0x00
0000070f: REVERT
00000710: JUMPDEST
00000711: POP
00000712: JUMPDEST
00000713: POP
00000714: POP
00000715: POP
00000716: POP
00000717: POP
00000718: POP
00000719: POP
0000071a: JUMP
0000071b: JUMPDEST
0000071c: PUSH1 0x00
0000071e: DUP1
0000071f: SLOAD
00000720: PUSH1 0x40
00000722: MLOAD
00000723: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000738: SWAP1
00000739: SWAP2
0000073a: AND
0000073b: SWAP2
0000073c: SELFBALANCE
0000073d: DUP1
0000073e: ISZERO
0000073f: PUSH2 0x08fc
00000742: MUL
00000743: SWAP3
00000744: SWAP1
00000745: SWAP2
00000746: DUP2
00000747: DUP2
00000748: DUP2
00000749: DUP6
0000074a: DUP9
0000074b: DUP9
0000074c: CALL
0000074d: SWAP4
0000074e: POP
0000074f: POP
00000750: POP
00000751: POP
00000752: ISZERO
00000753: DUP1
00000754: ISZERO
00000755: PUSH2 0x0762
00000758: JUMPI
00000759: RETURNDATASIZE
0000075a: PUSH1 0x00
0000075c: DUP1
0000075d: RETURNDATACOPY
0000075e: RETURNDATASIZE
0000075f: PUSH1 0x00
00000761: REVERT
00000762: JUMPDEST
00000763: POP
00000764: JUMP
00000765: JUMPDEST
00000766: PUSH2 0x076d
00000769: PUSH2 0x16a5
0000076c: JUMP
0000076d: JUMPDEST
0000076e: PUSH1 0x40
00000770: MLOAD
00000771: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00000792: DUP2
00000793: MSTORE
00000794: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007a9: DUP4
000007aa: DUP2
000007ab: AND
000007ac: PUSH1 0x04
000007ae: DUP4
000007af: ADD
000007b0: MSTORE
000007b1: PUSH1 0x24
000007b3: DUP3
000007b4: ADD
000007b5: DUP4
000007b6: SWAP1
000007b7: MSTORE
000007b8: DUP5
000007b9: AND
000007ba: SWAP1
000007bb: PUSH4 0xa9059cbb
000007c0: SWAP1
000007c1: PUSH1 0x44
000007c3: ADD
000007c4: PUSH1 0x20
000007c6: PUSH1 0x40
000007c8: MLOAD
000007c9: DUP1
000007ca: DUP4
000007cb: SUB
000007cc: DUP2
000007cd: PUSH1 0x00
000007cf: DUP8
000007d0: GAS
000007d1: CALL
000007d2: ISZERO
000007d3: DUP1
000007d4: ISZERO
000007d5: PUSH2 0x07e2
000007d8: JUMPI
000007d9: RETURNDATASIZE
000007da: PUSH1 0x00
000007dc: DUP1
000007dd: RETURNDATACOPY
000007de: RETURNDATASIZE
000007df: PUSH1 0x00
000007e1: REVERT
000007e2: JUMPDEST
000007e3: POP
000007e4: POP
000007e5: POP
000007e6: POP
000007e7: PUSH1 0x40
000007e9: MLOAD
000007ea: RETURNDATASIZE
000007eb: PUSH1 0x1f
000007ed: NOT
000007ee: PUSH1 0x1f
000007f0: DUP3
000007f1: ADD
000007f2: AND
000007f3: DUP3
000007f4: ADD
000007f5: DUP1
000007f6: PUSH1 0x40
000007f8: MSTORE
000007f9: POP
000007fa: DUP2
000007fb: ADD
000007fc: SWAP1
000007fd: PUSH2 0x0806
00000800: SWAP2
00000801: SWAP1
00000802: PUSH2 0x1d90
00000805: JUMP
00000806: JUMPDEST
00000807: POP
00000808: POP
00000809: POP
0000080a: POP
0000080b: JUMP
0000080c: JUMPDEST
0000080d: PUSH2 0x0814
00000810: PUSH2 0x16a5
00000813: JUMP
00000814: JUMPDEST
00000815: PUSH2 0x081e
00000818: PUSH1 0x00
0000081a: PUSH2 0x1726
0000081d: JUMP
0000081e: JUMPDEST
0000081f: JUMP
00000820: JUMPDEST
00000821: PUSH1 0x40
00000823: DUP1
00000824: MLOAD
00000825: DUP1
00000826: DUP3
00000827: ADD
00000828: SWAP1
00000829: SWAP2
0000082a: MSTORE
0000082b: PUSH1 0x00
0000082d: DUP1
0000082e: DUP3
0000082f: MSTORE
00000830: PUSH1 0x20
00000832: DUP3
00000833: ADD
00000834: MSTORE
00000835: PUSH1 0x00
00000837: DUP5
00000838: DUP5
00000839: PUSH1 0x40
0000083b: MLOAD
0000083c: PUSH2 0x0846
0000083f: SWAP3
00000840: SWAP2
00000841: SWAP1
00000842: PUSH2 0x1cab
00000845: JUMP
00000846: JUMPDEST
00000847: PUSH1 0x40
00000849: MLOAD
0000084a: DUP1
0000084b: SWAP2
0000084c: SUB
0000084d: SWAP1
0000084e: KECCAK256
0000084f: SWAP1
00000850: POP
00000851: PUSH2 0x085c
00000854: DUP6
00000855: DUP6
00000856: DUP4
00000857: DUP7
00000858: PUSH2 0x1554
0000085b: JUMP
0000085c: JUMPDEST
0000085d: SWAP6
0000085e: SWAP5
0000085f: POP
00000860: POP
00000861: POP
00000862: POP
00000863: POP
00000864: JUMP
00000865: JUMPDEST
00000866: PUSH1 0x00
00000868: PUSH1 0x03
0000086a: PUSH2 0x08a8
0000086d: DUP5
0000086e: DUP5
0000086f: DUP1
00000870: DUP1
00000871: PUSH1 0x1f
00000873: ADD
00000874: PUSH1 0x20
00000876: DUP1
00000877: SWAP2
00000878: DIV
00000879: MUL
0000087a: PUSH1 0x20
0000087c: ADD
0000087d: PUSH1 0x40
0000087f: MLOAD
00000880: SWAP1
00000881: DUP2
00000882: ADD
00000883: PUSH1 0x40
00000885: MSTORE
00000886: DUP1
00000887: SWAP4
00000888: SWAP3
00000889: SWAP2
0000088a: SWAP1
0000088b: DUP2
0000088c: DUP2
0000088d: MSTORE
0000088e: PUSH1 0x20
00000890: ADD
00000891: DUP4
00000892: DUP4
00000893: DUP1
00000894: DUP3
00000895: DUP5
00000896: CALLDATACOPY
00000897: PUSH1 0x00
00000899: SWAP3
0000089a: ADD
0000089b: SWAP2
0000089c: SWAP1
0000089d: SWAP2
0000089e: MSTORE
0000089f: POP
000008a0: PUSH2 0x179b
000008a3: SWAP3
000008a4: POP
000008a5: POP
000008a6: POP
000008a7: JUMP
000008a8: JUMPDEST
000008a9: LT
000008aa: ISZERO
000008ab: SWAP4
000008ac: SWAP3
000008ad: POP
000008ae: POP
000008af: POP
000008b0: JUMP
000008b1: JUMPDEST
000008b2: PUSH1 0x00
000008b4: DUP1
000008b5: DUP4
000008b6: DUP4
000008b7: PUSH1 0x40
000008b9: MLOAD
000008ba: PUSH2 0x08c4
000008bd: SWAP3
000008be: SWAP2
000008bf: SWAP1
000008c0: PUSH2 0x1cab
000008c3: JUMP
000008c4: JUMPDEST
000008c5: PUSH1 0x40
000008c7: MLOAD
000008c8: DUP1
000008c9: SWAP2
000008ca: SUB
000008cb: SWAP1
000008cc: KECCAK256
000008cd: SWAP1
000008ce: POP
000008cf: PUSH2 0x08d9
000008d2: DUP5
000008d3: DUP5
000008d4: DUP4
000008d5: PUSH2 0x19a2
000008d8: JUMP
000008d9: JUMPDEST
000008da: SWAP5
000008db: SWAP4
000008dc: POP
000008dd: POP
000008de: POP
000008df: POP
000008e0: JUMP
000008e1: JUMPDEST
000008e2: PUSH1 0x00
000008e4: DUP1
000008e5: PUSH2 0x08f1
000008e8: PUSH1 0xa0
000008ea: DUP5
000008eb: ADD
000008ec: DUP5
000008ed: PUSH2 0x1db2
000008f0: JUMP
000008f1: JUMPDEST
000008f2: SWAP1
000008f3: POP
000008f4: GT
000008f5: DUP1
000008f6: ISZERO
000008f7: PUSH2 0x0925
000008fa: JUMPI
000008fb: POP
000008fc: PUSH1 0x00
000008fe: PUSH2 0x090d
00000901: PUSH1 0xa0
00000903: DUP5
00000904: ADD
00000905: PUSH1 0x80
00000907: DUP6
00000908: ADD
00000909: PUSH2 0x1c90
0000090c: JUMP
0000090d: JUMPDEST
0000090e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000923: AND
00000924: EQ
00000925: JUMPDEST
00000926: ISZERO
00000927: PUSH2 0x095c
0000092a: JUMPI
0000092b: PUSH1 0x40
0000092d: MLOAD
0000092e: PUSH32 0xd3f605c400000000000000000000000000000000000000000000000000000000
0000094f: DUP2
00000950: MSTORE
00000951: PUSH1 0x04
00000953: ADD
00000954: PUSH1 0x40
00000956: MLOAD
00000957: DUP1
00000958: SWAP2
00000959: SUB
0000095a: SWAP1
0000095b: REVERT
0000095c: JUMPDEST
0000095d: PUSH2 0x096c
00000960: PUSH1 0xe0
00000962: DUP4
00000963: ADD
00000964: PUSH1 0xc0
00000966: DUP5
00000967: ADD
00000968: PUSH2 0x1e2b
0000096b: JUMP
0000096c: JUMPDEST
0000096d: PUSH1 0xff
0000096f: AND
00000970: ISZERO
00000971: DUP1
00000972: ISZERO
00000973: SWAP1
00000974: PUSH2 0x09a2
00000977: JUMPI
00000978: POP
00000979: PUSH1 0x00
0000097b: PUSH2 0x098a
0000097e: PUSH1 0xa0
00000980: DUP5
00000981: ADD
00000982: PUSH1 0x80
00000984: DUP6
00000985: ADD
00000986: PUSH2 0x1c90
00000989: JUMP
0000098a: JUMPDEST
0000098b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009a0: AND
000009a1: EQ
000009a2: JUMPDEST
000009a3: ISZERO
000009a4: PUSH2 0x09d9
000009a7: JUMPI
000009a8: PUSH1 0x40
000009aa: MLOAD
000009ab: PUSH32 0x7d4a034a00000000000000000000000000000000000000000000000000000000
000009cc: DUP2
000009cd: MSTORE
000009ce: PUSH1 0x04
000009d0: ADD
000009d1: PUSH1 0x40
000009d3: MLOAD
000009d4: DUP1
000009d5: SWAP2
000009d6: SUB
000009d7: SWAP1
000009d8: REVERT
000009d9: JUMPDEST
000009da: PUSH3 0x24ea00
000009de: DUP3
000009df: PUSH1 0x40
000009e1: ADD
000009e2: CALLDATALOAD
000009e3: LT
000009e4: ISZERO
000009e5: PUSH2 0x0a25
000009e8: JUMPI
000009e9: PUSH1 0x40
000009eb: DUP1
000009ec: MLOAD
000009ed: PUSH32 0x9a71997b00000000000000000000000000000000000000000000000000000000
00000a0e: DUP2
00000a0f: MSTORE
00000a10: SWAP1
00000a11: DUP4
00000a12: ADD
00000a13: CALLDATALOAD
00000a14: PUSH1 0x04
00000a16: DUP3
00000a17: ADD
00000a18: MSTORE
00000a19: PUSH1 0x24
00000a1b: ADD
00000a1c: JUMPDEST
00000a1d: PUSH1 0x40
00000a1f: MLOAD
00000a20: DUP1
00000a21: SWAP2
00000a22: SUB
00000a23: SWAP1
00000a24: REVERT
00000a25: JUMPDEST
00000a26: DUP2
00000a27: PUSH1 0x40
00000a29: MLOAD
00000a2a: PUSH1 0x20
00000a2c: ADD
00000a2d: PUSH2 0x0a36
00000a30: SWAP2
00000a31: SWAP1
00000a32: PUSH2 0x1f92
00000a35: JUMP
00000a36: JUMPDEST
00000a37: PUSH1 0x40
00000a39: MLOAD
00000a3a: PUSH1 0x20
00000a3c: DUP2
00000a3d: DUP4
00000a3e: SUB
00000a3f: SUB
00000a40: DUP2
00000a41: MSTORE
00000a42: SWAP1
00000a43: PUSH1 0x40
00000a45: MSTORE
00000a46: DUP1
00000a47: MLOAD
00000a48: SWAP1
00000a49: PUSH1 0x20
00000a4b: ADD
00000a4c: KECCAK256
00000a4d: SWAP1
00000a4e: POP
00000a4f: SWAP2
00000a50: SWAP1
00000a51: POP
00000a52: JUMP
00000a53: JUMPDEST
00000a54: PUSH1 0x00
00000a56: PUSH2 0x0a5f
00000a59: DUP3
00000a5a: DUP1
00000a5b: PUSH2 0x209e
00000a5e: JUMP
00000a5f: JUMPDEST
00000a60: PUSH1 0x40
00000a62: MLOAD
00000a63: PUSH2 0x0a6d
00000a66: SWAP3
00000a67: SWAP2
00000a68: SWAP1
00000a69: PUSH2 0x1cab
00000a6c: JUMP
00000a6d: JUMPDEST
00000a6e: PUSH1 0x40
00000a70: MLOAD
00000a71: SWAP1
00000a72: DUP2
00000a73: SWAP1
00000a74: SUB
00000a75: SWAP1
00000a76: KECCAK256
00000a77: SWAP1
00000a78: POP
00000a79: PUSH1 0x00
00000a7b: PUSH2 0x0a92
00000a7e: PUSH2 0x0a87
00000a81: DUP5
00000a82: DUP1
00000a83: PUSH2 0x209e
00000a86: JUMP
00000a87: JUMPDEST
00000a88: DUP5
00000a89: DUP7
00000a8a: PUSH1 0x40
00000a8c: ADD
00000a8d: CALLDATALOAD
00000a8e: PUSH2 0x1554
00000a91: JUMP
00000a92: JUMPDEST
00000a93: SWAP1
00000a94: POP
00000a95: PUSH1 0x00
00000a97: DUP2
00000a98: PUSH1 0x20
00000a9a: ADD
00000a9b: MLOAD
00000a9c: DUP3
00000a9d: PUSH1 0x00
00000a9f: ADD
00000aa0: MLOAD
00000aa1: PUSH2 0x0aaa
00000aa4: SWAP2
00000aa5: SWAP1
00000aa6: PUSH2 0x2103
00000aa9: JUMP
00000aaa: JUMPDEST
00000aab: SWAP1
00000aac: POP
00000aad: DUP1
00000aae: CALLVALUE
00000aaf: LT
00000ab0: ISZERO
00000ab1: PUSH2 0x0ae6
00000ab4: JUMPI
00000ab5: PUSH1 0x40
00000ab7: MLOAD
00000ab8: PUSH32 0x1101129400000000000000000000000000000000000000000000000000000000
00000ad9: DUP2
00000ada: MSTORE
00000adb: PUSH1 0x04
00000add: ADD
00000ade: PUSH1 0x40
00000ae0: MLOAD
00000ae1: DUP1
00000ae2: SWAP2
00000ae3: SUB
00000ae4: SWAP1
00000ae5: REVERT
00000ae6: JUMPDEST
00000ae7: PUSH2 0x0af9
00000aea: PUSH2 0x0af3
00000aed: DUP6
00000aee: DUP1
00000aef: PUSH2 0x209e
00000af2: JUMP
00000af3: JUMPDEST
00000af4: DUP6
00000af5: PUSH2 0x19a2
00000af8: JUMP
00000af9: JUMPDEST
00000afa: PUSH2 0x0b3b
00000afd: JUMPI
00000afe: PUSH2 0x0b07
00000b01: DUP5
00000b02: DUP1
00000b03: PUSH2 0x209e
00000b06: JUMP
00000b07: JUMPDEST
00000b08: PUSH1 0x40
00000b0a: MLOAD
00000b0b: PUSH32 0x477707e800000000000000000000000000000000000000000000000000000000
00000b2c: DUP2
00000b2d: MSTORE
00000b2e: PUSH1 0x04
00000b30: ADD
00000b31: PUSH2 0x0a1c
00000b34: SWAP3
00000b35: SWAP2
00000b36: SWAP1
00000b37: PUSH2 0x2116
00000b3a: JUMP
00000b3b: JUMPDEST
00000b3c: PUSH1 0x00
00000b3e: PUSH2 0x0b46
00000b41: DUP6
00000b42: PUSH2 0x08e1
00000b45: JUMP
00000b46: JUMPDEST
00000b47: PUSH1 0x00
00000b49: DUP2
00000b4a: DUP2
00000b4b: MSTORE
00000b4c: PUSH1 0x01
00000b4e: PUSH1 0x20
00000b50: MSTORE
00000b51: PUSH1 0x40
00000b53: SWAP1
00000b54: KECCAK256
00000b55: SLOAD
00000b56: SWAP1
00000b57: SWAP2
00000b58: POP
00000b59: TIMESTAMP
00000b5a: PUSH2 0x0b83
00000b5d: PUSH32 0x000000000000000000000000000000000000000000000000000000000000003c
00000b7e: DUP4
00000b7f: PUSH2 0x2103
00000b82: JUMP
00000b83: JUMPDEST
00000b84: GT
00000b85: ISZERO
00000b86: PUSH2 0x0bf5
00000b89: JUMPI
00000b8a: DUP2
00000b8b: PUSH2 0x0bb4
00000b8e: PUSH32 0x000000000000000000000000000000000000000000000000000000000000003c
00000baf: DUP4
00000bb0: PUSH2 0x2103
00000bb3: JUMP
00000bb4: JUMPDEST
00000bb5: PUSH1 0x40
00000bb7: MLOAD
00000bb8: PUSH32 0x74480cc900000000000000000000000000000000000000000000000000000000
00000bd9: DUP2
00000bda: MSTORE
00000bdb: PUSH1 0x04
00000bdd: DUP2
00000bde: ADD
00000bdf: SWAP3
00000be0: SWAP1
00000be1: SWAP3
00000be2: MSTORE
00000be3: PUSH1 0x24
00000be5: DUP3
00000be6: ADD
00000be7: MSTORE
00000be8: TIMESTAMP
00000be9: PUSH1 0x44
00000beb: DUP3
00000bec: ADD
00000bed: MSTORE
00000bee: PUSH1 0x64
00000bf0: ADD
00000bf1: PUSH2 0x0a1c
00000bf4: JUMP
00000bf5: JUMPDEST
00000bf6: TIMESTAMP
00000bf7: PUSH2 0x0c20
00000bfa: PUSH32 0x0000000000000000000000000000000000000000000000000000000000015180
00000c1b: DUP4
00000c1c: PUSH2 0x2103
00000c1f: JUMP
00000c20: JUMPDEST
00000c21: GT
00000c22: PUSH2 0x0cce
00000c25: JUMPI
00000c26: DUP1
00000c27: PUSH1 0x00
00000c29: SUB
00000c2a: PUSH2 0x0c62
00000c2d: JUMPI
00000c2e: PUSH1 0x40
00000c30: MLOAD
00000c31: PUSH32 0x836588c900000000000000000000000000000000000000000000000000000000
00000c52: DUP2
00000c53: MSTORE
00000c54: PUSH1 0x04
00000c56: DUP2
00000c57: ADD
00000c58: DUP4
00000c59: SWAP1
00000c5a: MSTORE
00000c5b: PUSH1 0x24
00000c5d: ADD
00000c5e: PUSH2 0x0a1c
00000c61: JUMP
00000c62: JUMPDEST
00000c63: DUP2
00000c64: PUSH2 0x0c8d
00000c67: PUSH32 0x0000000000000000000000000000000000000000000000000000000000015180
00000c88: DUP4
00000c89: PUSH2 0x2103
00000c8c: JUMP
00000c8d: JUMPDEST
00000c8e: PUSH1 0x40
00000c90: MLOAD
00000c91: PUSH32 0x256e221600000000000000000000000000000000000000000000000000000000
00000cb2: DUP2
00000cb3: MSTORE
00000cb4: PUSH1 0x04
00000cb6: DUP2
00000cb7: ADD
00000cb8: SWAP3
00000cb9: SWAP1
00000cba: SWAP3
00000cbb: MSTORE
00000cbc: PUSH1 0x24
00000cbe: DUP3
00000cbf: ADD
00000cc0: MSTORE
00000cc1: TIMESTAMP
00000cc2: PUSH1 0x44
00000cc4: DUP3
00000cc5: ADD
00000cc6: MSTORE
00000cc7: PUSH1 0x64
00000cc9: ADD
00000cca: PUSH2 0x0a1c
00000ccd: JUMP
00000cce: JUMPDEST
00000ccf: PUSH1 0x00
00000cd1: DUP3
00000cd2: DUP2
00000cd3: MSTORE
00000cd4: PUSH1 0x01
00000cd6: PUSH1 0x20
00000cd8: MSTORE
00000cd9: PUSH1 0x40
00000cdb: DUP2
00000cdc: KECCAK256
00000cdd: DUP2
00000cde: SWAP1
00000cdf: SSTORE
00000ce0: DUP1
00000ce1: PUSH2 0x0cf0
00000ce4: PUSH1 0xa0
00000ce6: DUP10
00000ce7: ADD
00000ce8: PUSH1 0x80
00000cea: DUP11
00000ceb: ADD
00000cec: PUSH2 0x1c90
00000cef: JUMP
00000cf0: JUMPDEST
00000cf1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d06: AND
00000d07: SUB
00000d08: PUSH2 0x0dff
00000d0b: JUMPI
00000d0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d21: PUSH32 0x00000000000000000000000057f1887a8bf19b14fc0df6fd9b2acc9af147ea85
00000d42: AND
00000d43: PUSH4 0xfca247ac
00000d48: DUP8
00000d49: PUSH2 0x0d58
00000d4c: PUSH1 0x40
00000d4e: DUP12
00000d4f: ADD
00000d50: PUSH1 0x20
00000d52: DUP13
00000d53: ADD
00000d54: PUSH2 0x1c90
00000d57: JUMP
00000d58: JUMPDEST
00000d59: PUSH1 0x40
00000d5b: DUP1
00000d5c: MLOAD
00000d5d: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00000d7e: PUSH1 0xe0
00000d80: DUP7
00000d81: SWAP1
00000d82: SHL
00000d83: AND
00000d84: DUP2
00000d85: MSTORE
00000d86: PUSH1 0x04
00000d88: DUP2
00000d89: ADD
00000d8a: SWAP4
00000d8b: SWAP1
00000d8c: SWAP4
00000d8d: MSTORE
00000d8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000da3: SWAP1
00000da4: SWAP2
00000da5: AND
00000da6: PUSH1 0x24
00000da8: DUP4
00000da9: ADD
00000daa: MSTORE
00000dab: DUP11
00000dac: ADD
00000dad: CALLDATALOAD
00000dae: PUSH1 0x44
00000db0: DUP3
00000db1: ADD
00000db2: MSTORE
00000db3: PUSH1 0x64
00000db5: ADD
00000db6: PUSH1 0x20
00000db8: PUSH1 0x40
00000dba: MLOAD
00000dbb: DUP1
00000dbc: DUP4
00000dbd: SUB
00000dbe: DUP2
00000dbf: PUSH1 0x00
00000dc1: DUP8
00000dc2: GAS
00000dc3: CALL
00000dc4: ISZERO
00000dc5: DUP1
00000dc6: ISZERO
00000dc7: PUSH2 0x0dd4
00000dca: JUMPI
00000dcb: RETURNDATASIZE
00000dcc: PUSH1 0x00
00000dce: DUP1
00000dcf: RETURNDATACOPY
00000dd0: RETURNDATASIZE
00000dd1: PUSH1 0x00
00000dd3: REVERT
00000dd4: JUMPDEST
00000dd5: POP
00000dd6: POP
00000dd7: POP
00000dd8: POP
00000dd9: PUSH1 0x40
00000ddb: MLOAD
00000ddc: RETURNDATASIZE
00000ddd: PUSH1 0x1f
00000ddf: NOT
00000de0: PUSH1 0x1f
00000de2: DUP3
00000de3: ADD
00000de4: AND
00000de5: DUP3
00000de6: ADD
00000de7: DUP1
00000de8: PUSH1 0x40
00000dea: MSTORE
00000deb: POP
00000dec: DUP2
00000ded: ADD
00000dee: SWAP1
00000def: PUSH2 0x0df8
00000df2: SWAP2
00000df3: SWAP1
00000df4: PUSH2 0x1cbb
00000df7: JUMP
00000df8: JUMPDEST
00000df9: SWAP1
00000dfa: POP
00000dfb: PUSH2 0x1385
00000dfe: JUMP
00000dff: JUMPDEST
00000e00: PUSH1 0x40
00000e02: DUP1
00000e03: MLOAD
00000e04: PUSH32 0xfca247ac00000000000000000000000000000000000000000000000000000000
00000e25: DUP2
00000e26: MSTORE
00000e27: PUSH1 0x04
00000e29: DUP2
00000e2a: ADD
00000e2b: DUP9
00000e2c: SWAP1
00000e2d: MSTORE
00000e2e: ADDRESS
00000e2f: PUSH1 0x24
00000e31: DUP3
00000e32: ADD
00000e33: MSTORE
00000e34: SWAP1
00000e35: DUP9
00000e36: ADD
00000e37: CALLDATALOAD
00000e38: PUSH1 0x44
00000e3a: DUP3
00000e3b: ADD
00000e3c: MSTORE
00000e3d: PUSH32 0x00000000000000000000000057f1887a8bf19b14fc0df6fd9b2acc9af147ea85
00000e5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e73: AND
00000e74: SWAP1
00000e75: PUSH4 0xfca247ac
00000e7a: SWAP1
00000e7b: PUSH1 0x64
00000e7d: ADD
00000e7e: PUSH1 0x20
00000e80: PUSH1 0x40
00000e82: MLOAD
00000e83: DUP1
00000e84: DUP4
00000e85: SUB
00000e86: DUP2
00000e87: PUSH1 0x00
00000e89: DUP8
00000e8a: GAS
00000e8b: CALL
00000e8c: ISZERO
00000e8d: DUP1
00000e8e: ISZERO
00000e8f: PUSH2 0x0e9c
00000e92: JUMPI
00000e93: RETURNDATASIZE
00000e94: PUSH1 0x00
00000e96: DUP1
00000e97: RETURNDATACOPY
00000e98: RETURNDATASIZE
00000e99: PUSH1 0x00
00000e9b: REVERT
00000e9c: JUMPDEST
00000e9d: POP
00000e9e: POP
00000e9f: POP
00000ea0: POP
00000ea1: PUSH1 0x40
00000ea3: MLOAD
00000ea4: RETURNDATASIZE
00000ea5: PUSH1 0x1f
00000ea7: NOT
00000ea8: PUSH1 0x1f
00000eaa: DUP3
00000eab: ADD
00000eac: AND
00000ead: DUP3
00000eae: ADD
00000eaf: DUP1
00000eb0: PUSH1 0x40
00000eb2: MSTORE
00000eb3: POP
00000eb4: DUP2
00000eb5: ADD
00000eb6: SWAP1
00000eb7: PUSH2 0x0ec0
00000eba: SWAP2
00000ebb: SWAP1
00000ebc: PUSH2 0x1cbb
00000ebf: JUMP
00000ec0: JUMPDEST
00000ec1: PUSH1 0x40
00000ec3: DUP1
00000ec4: MLOAD
00000ec5: PUSH32 0x93cdeb708b7545dc668eb9280176169d1c33cfd8ed6f04690a0bcc88a93fc4ae
00000ee6: PUSH1 0x20
00000ee8: DUP3
00000ee9: ADD
00000eea: MSTORE
00000eeb: SWAP1
00000eec: DUP2
00000eed: ADD
00000eee: DUP9
00000eef: SWAP1
00000ef0: MSTORE
00000ef1: SWAP1
00000ef2: SWAP2
00000ef3: POP
00000ef4: PUSH1 0x00
00000ef6: SWAP1
00000ef7: PUSH1 0x60
00000ef9: ADD
00000efa: PUSH1 0x40
00000efc: MLOAD
00000efd: PUSH1 0x20
00000eff: DUP2
00000f00: DUP4
00000f01: SUB
00000f02: SUB
00000f03: DUP2
00000f04: MSTORE
00000f05: SWAP1
00000f06: PUSH1 0x40
00000f08: MSTORE
00000f09: DUP1
00000f0a: MLOAD
00000f0b: SWAP1
00000f0c: PUSH1 0x20
00000f0e: ADD
00000f0f: KECCAK256
00000f10: SWAP1
00000f11: POP
00000f12: PUSH32 0x00000000000000000000000000000000000c2e074ec69a0dfb2997ba6c7d2e1e
00000f33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f48: AND
00000f49: PUSH4 0xcf408823
00000f4e: DUP3
00000f4f: DUP11
00000f50: PUSH1 0x20
00000f52: ADD
00000f53: PUSH1 0x20
00000f55: DUP2
00000f56: ADD
00000f57: SWAP1
00000f58: PUSH2 0x0f61
00000f5b: SWAP2
00000f5c: SWAP1
00000f5d: PUSH2 0x1c90
00000f60: JUMP
00000f61: JUMPDEST
00000f62: PUSH2 0x0f71
00000f65: PUSH1 0xa0
00000f67: DUP14
00000f68: ADD
00000f69: PUSH1 0x80
00000f6b: DUP15
00000f6c: ADD
00000f6d: PUSH2 0x1c90
00000f70: JUMP
00000f71: JUMPDEST
00000f72: PUSH1 0x40
00000f74: MLOAD
00000f75: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00000f96: PUSH1 0xe0
00000f98: DUP7
00000f99: SWAP1
00000f9a: SHL
00000f9b: AND
00000f9c: DUP2
00000f9d: MSTORE
00000f9e: PUSH1 0x04
00000fa0: DUP2
00000fa1: ADD
00000fa2: SWAP4
00000fa3: SWAP1
00000fa4: SWAP4
00000fa5: MSTORE
00000fa6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fbb: SWAP2
00000fbc: DUP3
00000fbd: AND
00000fbe: PUSH1 0x24
00000fc0: DUP5
00000fc1: ADD
00000fc2: MSTORE
00000fc3: AND
00000fc4: PUSH1 0x44
00000fc6: DUP3
00000fc7: ADD
00000fc8: MSTORE
00000fc9: PUSH1 0x00
00000fcb: PUSH1 0x64
00000fcd: DUP3
00000fce: ADD
00000fcf: MSTORE
00000fd0: PUSH1 0x84
00000fd2: ADD
00000fd3: PUSH1 0x00
00000fd5: PUSH1 0x40
00000fd7: MLOAD
00000fd8: DUP1
00000fd9: DUP4
00000fda: SUB
00000fdb: DUP2
00000fdc: PUSH1 0x00
00000fde: DUP8
00000fdf: DUP1
00000fe0: EXTCODESIZE
00000fe1: ISZERO
00000fe2: DUP1
00000fe3: ISZERO
00000fe4: PUSH2 0x0fec
00000fe7: JUMPI
00000fe8: PUSH1 0x00
00000fea: DUP1
00000feb: REVERT
00000fec: JUMPDEST
00000fed: POP
00000fee: GAS
00000fef: CALL
00000ff0: ISZERO
00000ff1: DUP1
00000ff2: ISZERO
00000ff3: PUSH2 0x1000
00000ff6: JUMPI
00000ff7: RETURNDATASIZE
00000ff8: PUSH1 0x00
00000ffa: DUP1
00000ffb: RETURNDATACOPY
00000ffc: RETURNDATASIZE
00000ffd: PUSH1 0x00
00000fff: REVERT
00001000: JUMPDEST
00001001: POP
00001002: PUSH1 0x00
00001004: SWAP3
00001005: POP
00001006: PUSH2 0x1015
00001009: SWAP2
0000100a: POP
0000100b: POP
0000100c: PUSH1 0xa0
0000100e: DUP11
0000100f: ADD
00001010: DUP11
00001011: PUSH2 0x1db2
00001014: JUMP
00001015: JUMPDEST
00001016: SWAP1
00001017: POP
00001018: GT
00001019: ISZERO
0000101a: PUSH2 0x10db
0000101d: JUMPI
0000101e: PUSH2 0x102d
00001021: PUSH1 0xa0
00001023: DUP10
00001024: ADD
00001025: PUSH1 0x80
00001027: DUP11
00001028: ADD
00001029: PUSH2 0x1c90
0000102c: JUMP
0000102d: JUMPDEST
0000102e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001043: AND
00001044: PUSH4 0xe32954eb
00001049: DUP3
0000104a: PUSH2 0x1056
0000104d: PUSH1 0xa0
0000104f: DUP13
00001050: ADD
00001051: DUP13
00001052: PUSH2 0x1db2
00001055: JUMP
00001056: JUMPDEST
00001057: PUSH1 0x40
00001059: MLOAD
0000105a: DUP5
0000105b: PUSH4 0xffffffff
00001060: AND
00001061: PUSH1 0xe0
00001063: SHL
00001064: DUP2
00001065: MSTORE
00001066: PUSH1 0x04
00001068: ADD
00001069: PUSH2 0x1074
0000106c: SWAP4
0000106d: SWAP3
0000106e: SWAP2
0000106f: SWAP1
00001070: PUSH2 0x212a
00001073: JUMP
00001074: JUMPDEST
00001075: PUSH1 0x00
00001077: PUSH1 0x40
00001079: MLOAD
0000107a: DUP1
0000107b: DUP4
0000107c: SUB
0000107d: DUP2
0000107e: PUSH1 0x00
00001080: DUP8
00001081: GAS
00001082: CALL
00001083: ISZERO
00001084: DUP1
00001085: ISZERO
00001086: PUSH2 0x1093
00001089: JUMPI
0000108a: RETURNDATASIZE
0000108b: PUSH1 0x00
0000108d: DUP1
0000108e: RETURNDATACOPY
0000108f: RETURNDATASIZE
00001090: PUSH1 0x00
00001092: REVERT
00001093: JUMPDEST
00001094: POP
00001095: POP
00001096: POP
00001097: POP
00001098: PUSH1 0x40
0000109a: MLOAD
0000109b: RETURNDATASIZE
0000109c: PUSH1 0x00
0000109e: DUP3
0000109f: RETURNDATACOPY
000010a0: PUSH1 0x1f
000010a2: RETURNDATASIZE
000010a3: SWAP1
000010a4: DUP2
000010a5: ADD
000010a6: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000010c7: AND
000010c8: DUP3
000010c9: ADD
000010ca: PUSH1 0x40
000010cc: MSTORE
000010cd: PUSH2 0x10d9
000010d0: SWAP2
000010d1: SWAP1
000010d2: DUP2
000010d3: ADD
000010d4: SWAP1
000010d5: PUSH2 0x2258
000010d8: JUMP
000010d9: JUMPDEST
000010da: POP
000010db: JUMPDEST
000010dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010f1: PUSH32 0x00000000000000000000000057f1887a8bf19b14fc0df6fd9b2acc9af147ea85
00001112: AND
00001113: PUSH4 0x23b872dd
00001118: ADDRESS
00001119: PUSH2 0x1128
0000111c: PUSH1 0x40
0000111e: DUP13
0000111f: ADD
00001120: PUSH1 0x20
00001122: DUP14
00001123: ADD
00001124: PUSH2 0x1c90
00001127: JUMP
00001128: JUMPDEST
00001129: PUSH1 0x40
0000112b: MLOAD
0000112c: PUSH1 0xe0
0000112e: DUP5
0000112f: SWAP1
00001130: SHL
00001131: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001152: AND
00001153: DUP2
00001154: MSTORE
00001155: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000116a: SWAP3
0000116b: DUP4
0000116c: AND
0000116d: PUSH1 0x04
0000116f: DUP3
00001170: ADD
00001171: MSTORE
00001172: SWAP2
00001173: AND
00001174: PUSH1 0x24
00001176: DUP3
00001177: ADD
00001178: MSTORE
00001179: PUSH1 0x44
0000117b: DUP2
0000117c: ADD
0000117d: DUP11
0000117e: SWAP1
0000117f: MSTORE
00001180: PUSH1 0x64
00001182: ADD
00001183: PUSH1 0x00
00001185: PUSH1 0x40
00001187: MLOAD
00001188: DUP1
00001189: DUP4
0000118a: SUB
0000118b: DUP2
0000118c: PUSH1 0x00
0000118e: DUP8
0000118f: DUP1
00001190: EXTCODESIZE
00001191: ISZERO
00001192: DUP1
00001193: ISZERO
00001194: PUSH2 0x119c
00001197: JUMPI
00001198: PUSH1 0x00
0000119a: DUP1
0000119b: REVERT
0000119c: JUMPDEST
0000119d: POP
0000119e: GAS
0000119f: CALL
000011a0: ISZERO
000011a1: DUP1
000011a2: ISZERO
000011a3: PUSH2 0x11b0
000011a6: JUMPI
000011a7: RETURNDATASIZE
000011a8: PUSH1 0x00
000011aa: DUP1
000011ab: RETURNDATACOPY
000011ac: RETURNDATASIZE
000011ad: PUSH1 0x00
000011af: REVERT
000011b0: JUMPDEST
000011b1: POP
000011b2: PUSH1 0x01
000011b4: SWAP3
000011b5: POP
000011b6: PUSH2 0x11c8
000011b9: SWAP2
000011ba: POP
000011bb: POP
000011bc: PUSH1 0xe0
000011be: DUP11
000011bf: ADD
000011c0: PUSH1 0xc0
000011c2: DUP12
000011c3: ADD
000011c4: PUSH2 0x1e2b
000011c7: JUMP
000011c8: JUMPDEST
000011c9: AND
000011ca: PUSH1 0xff
000011cc: AND
000011cd: PUSH1 0x00
000011cf: EQ
000011d0: PUSH2 0x12af
000011d3: JUMPI
000011d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011e9: PUSH32 0x000000000000000000000000a58e81fe9b61b5c3fe2afd33cf304c454abfc7cb
0000120a: AND
0000120b: PUSH4 0x7a806d6b
00001210: CALLER
00001211: DUP1
00001212: PUSH2 0x1221
00001215: PUSH1 0xa0
00001217: DUP14
00001218: ADD
00001219: PUSH1 0x80
0000121b: DUP15
0000121c: ADD
0000121d: PUSH2 0x1c90
00001220: JUMP
00001221: JUMPDEST
00001222: PUSH2 0x122b
00001225: DUP14
00001226: DUP1
00001227: PUSH2 0x209e
0000122a: JUMP
0000122b: JUMPDEST
0000122c: PUSH1 0x40
0000122e: MLOAD
0000122f: PUSH1 0x20
00001231: ADD
00001232: PUSH2 0x123c
00001235: SWAP3
00001236: SWAP2
00001237: SWAP1
00001238: PUSH2 0x23a1
0000123b: JUMP
0000123c: JUMPDEST
0000123d: PUSH1 0x40
0000123f: MLOAD
00001240: PUSH1 0x20
00001242: DUP2
00001243: DUP4
00001244: SUB
00001245: SUB
00001246: DUP2
00001247: MSTORE
00001248: SWAP1
00001249: PUSH1 0x40
0000124b: MSTORE
0000124c: PUSH1 0x40
0000124e: MLOAD
0000124f: DUP6
00001250: PUSH4 0xffffffff
00001255: AND
00001256: PUSH1 0xe0
00001258: SHL
00001259: DUP2
0000125a: MSTORE
0000125b: PUSH1 0x04
0000125d: ADD
0000125e: PUSH2 0x126a
00001261: SWAP5
00001262: SWAP4
00001263: SWAP3
00001264: SWAP2
00001265: SWAP1
00001266: PUSH2 0x241d
00001269: JUMP
0000126a: JUMPDEST
0000126b: PUSH1 0x20
0000126d: PUSH1 0x40
0000126f: MLOAD
00001270: DUP1
00001271: DUP4
00001272: SUB
00001273: DUP2
00001274: PUSH1 0x00
00001276: DUP8
00001277: GAS
00001278: CALL
00001279: ISZERO
0000127a: DUP1
0000127b: ISZERO
0000127c: PUSH2 0x1289
0000127f: JUMPI
00001280: RETURNDATASIZE
00001281: PUSH1 0x00
00001283: DUP1
00001284: RETURNDATACOPY
00001285: RETURNDATASIZE
00001286: PUSH1 0x00
00001288: REVERT
00001289: JUMPDEST
0000128a: POP
0000128b: POP
0000128c: POP
0000128d: POP
0000128e: PUSH1 0x40
00001290: MLOAD
00001291: RETURNDATASIZE
00001292: PUSH1 0x1f
00001294: NOT
00001295: PUSH1 0x1f
00001297: DUP3
00001298: ADD
00001299: AND
0000129a: DUP3
0000129b: ADD
0000129c: DUP1
0000129d: PUSH1 0x40
0000129f: MSTORE
000012a0: POP
000012a1: DUP2
000012a2: ADD
000012a3: SWAP1
000012a4: PUSH2 0x12ad
000012a7: SWAP2
000012a8: SWAP1
000012a9: PUSH2 0x1cbb
000012ac: JUMP
000012ad: JUMPDEST
000012ae: POP
000012af: JUMPDEST
000012b0: PUSH1 0x02
000012b2: PUSH2 0x12c1
000012b5: PUSH1 0xe0
000012b7: DUP11
000012b8: ADD
000012b9: PUSH1 0xc0
000012bb: DUP12
000012bc: ADD
000012bd: PUSH2 0x1e2b
000012c0: JUMP
000012c1: JUMPDEST
000012c2: AND
000012c3: PUSH1 0xff
000012c5: AND
000012c6: PUSH1 0x00
000012c8: EQ
000012c9: PUSH2 0x1383
000012cc: JUMPI
000012cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012e2: PUSH32 0x000000000000000000000000283f227c4bd38ece252c4ae7ece650b0e913f1f9
00001303: AND
00001304: PUSH4 0xc9119941
00001309: CALLER
0000130a: PUSH2 0x1313
0000130d: DUP12
0000130e: DUP1
0000130f: PUSH2 0x209e
00001312: JUMP
00001313: JUMPDEST
00001314: PUSH1 0x40
00001316: MLOAD
00001317: PUSH1 0x20
00001319: ADD
0000131a: PUSH2 0x1324
0000131d: SWAP3
0000131e: SWAP2
0000131f: SWAP1
00001320: PUSH2 0x23a1
00001323: JUMP
00001324: JUMPDEST
00001325: PUSH1 0x40
00001327: MLOAD
00001328: PUSH1 0x20
0000132a: DUP2
0000132b: DUP4
0000132c: SUB
0000132d: SUB
0000132e: DUP2
0000132f: MSTORE
00001330: SWAP1
00001331: PUSH1 0x40
00001333: MSTORE
00001334: PUSH1 0x40
00001336: MLOAD
00001337: DUP4
00001338: PUSH4 0xffffffff
0000133d: AND
0000133e: PUSH1 0xe0
00001340: SHL
00001341: DUP2
00001342: MSTORE
00001343: PUSH1 0x04
00001345: ADD
00001346: PUSH2 0x1350
00001349: SWAP3
0000134a: SWAP2
0000134b: SWAP1
0000134c: PUSH2 0x248e
0000134f: JUMP
00001350: JUMPDEST
00001351: PUSH1 0x00
00001353: PUSH1 0x40
00001355: MLOAD
00001356: DUP1
00001357: DUP4
00001358: SUB
00001359: DUP2
0000135a: PUSH1 0x00
0000135c: DUP8
0000135d: DUP1
0000135e: EXTCODESIZE
0000135f: ISZERO
00001360: DUP1
00001361: ISZERO
00001362: PUSH2 0x136a
00001365: JUMPI
00001366: PUSH1 0x00
00001368: DUP1
00001369: REVERT
0000136a: JUMPDEST
0000136b: POP
0000136c: GAS
0000136d: CALL
0000136e: ISZERO
0000136f: DUP1
00001370: ISZERO
00001371: PUSH2 0x137e
00001374: JUMPI
00001375: RETURNDATASIZE
00001376: PUSH1 0x00
00001378: DUP1
00001379: RETURNDATACOPY
0000137a: RETURNDATASIZE
0000137b: PUSH1 0x00
0000137d: REVERT
0000137e: JUMPDEST
0000137f: POP
00001380: POP
00001381: POP
00001382: POP
00001383: JUMPDEST
00001384: POP
00001385: JUMPDEST
00001386: PUSH2 0x1395
00001389: PUSH1 0x40
0000138b: DUP9
0000138c: ADD
0000138d: PUSH1 0x20
0000138f: DUP10
00001390: ADD
00001391: PUSH2 0x1c90
00001394: JUMP
00001395: JUMPDEST
00001396: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013ab: AND
000013ac: DUP7
000013ad: PUSH32 0xc2240194853531f1ae318dcef227de79c6ad0fd9d1b0e4fe08568415be2e08a5
000013ce: PUSH2 0x13d7
000013d1: DUP11
000013d2: DUP1
000013d3: PUSH2 0x209e
000013d6: JUMP
000013d7: JUMPDEST
000013d8: DUP10
000013d9: PUSH1 0x00
000013db: ADD
000013dc: MLOAD
000013dd: DUP11
000013de: PUSH1 0x20
000013e0: ADD
000013e1: MLOAD
000013e2: DUP8
000013e3: DUP15
000013e4: PUSH1 0xe0
000013e6: ADD
000013e7: CALLDATALOAD
000013e8: PUSH1 0x40
000013ea: MLOAD
000013eb: PUSH2 0x13f9
000013ee: SWAP7
000013ef: SWAP6
000013f0: SWAP5
000013f1: SWAP4
000013f2: SWAP3
000013f3: SWAP2
000013f4: SWAP1
000013f5: PUSH2 0x24bd
000013f8: JUMP
000013f9: JUMPDEST
000013fa: PUSH1 0x40
000013fc: MLOAD
000013fd: DUP1
000013fe: SWAP2
000013ff: SUB
00001400: SWAP1
00001401: LOG3
00001402: DUP4
00001403: CALLVALUE
00001404: GT
00001405: ISZERO
00001406: PUSH2 0x0712
00001409: JUMPI
0000140a: CALLER
0000140b: PUSH2 0x08fc
0000140e: PUSH2 0x06e8
00001411: DUP7
00001412: CALLVALUE
00001413: PUSH2 0x1d7d
00001416: JUMP
00001417: JUMPDEST
00001418: PUSH1 0x00
0000141a: DUP2
0000141b: DUP2
0000141c: MSTORE
0000141d: PUSH1 0x01
0000141f: PUSH1 0x20
00001421: MSTORE
00001422: PUSH1 0x40
00001424: SWAP1
00001425: KECCAK256
00001426: SLOAD
00001427: TIMESTAMP
00001428: SWAP1
00001429: PUSH2 0x1453
0000142c: SWAP1
0000142d: PUSH32 0x0000000000000000000000000000000000000000000000000000000000015180
0000144e: SWAP1
0000144f: PUSH2 0x2103
00001452: JUMP
00001453: JUMPDEST
00001454: LT
00001455: PUSH2 0x148d
00001458: JUMPI
00001459: PUSH1 0x40
0000145b: MLOAD
0000145c: PUSH32 0x0a059d7100000000000000000000000000000000000000000000000000000000
0000147d: DUP2
0000147e: MSTORE
0000147f: PUSH1 0x04
00001481: DUP2
00001482: ADD
00001483: DUP3
00001484: SWAP1
00001485: MSTORE
00001486: PUSH1 0x24
00001488: ADD
00001489: PUSH2 0x0a1c
0000148c: JUMP
0000148d: JUMPDEST
0000148e: PUSH1 0x00
00001490: SWAP1
00001491: DUP2
00001492: MSTORE
00001493: PUSH1 0x01
00001495: PUSH1 0x20
00001497: MSTORE
00001498: PUSH1 0x40
0000149a: SWAP1
0000149b: KECCAK256
0000149c: TIMESTAMP
0000149d: SWAP1
0000149e: SSTORE
0000149f: JUMP
000014a0: JUMPDEST
000014a1: PUSH2 0x14a8
000014a4: PUSH2 0x16a5
000014a7: JUMP
000014a8: JUMPDEST
000014a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014be: DUP2
000014bf: AND
000014c0: PUSH2 0x154b
000014c3: JUMPI
000014c4: PUSH1 0x40
000014c6: MLOAD
000014c7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014e8: DUP2
000014e9: MSTORE
000014ea: PUSH1 0x20
000014ec: PUSH1 0x04
000014ee: DUP3
000014ef: ADD
000014f0: MSTORE
000014f1: PUSH1 0x26
000014f3: PUSH1 0x24
000014f5: DUP3
000014f6: ADD
000014f7: MSTORE
000014f8: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001519: PUSH1 0x44
0000151b: DUP3
0000151c: ADD
0000151d: MSTORE
0000151e: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
0000153f: PUSH1 0x64
00001541: DUP3
00001542: ADD
00001543: MSTORE
00001544: PUSH1 0x84
00001546: ADD
00001547: PUSH2 0x0a1c
0000154a: JUMP
0000154b: JUMPDEST
0000154c: PUSH2 0x0762
0000154f: DUP2
00001550: PUSH2 0x1726
00001553: JUMP
00001554: JUMPDEST
00001555: PUSH1 0x40
00001557: DUP1
00001558: MLOAD
00001559: DUP1
0000155a: DUP3
0000155b: ADD
0000155c: SWAP1
0000155d: SWAP2
0000155e: MSTORE
0000155f: PUSH1 0x00
00001561: DUP1
00001562: DUP3
00001563: MSTORE
00001564: PUSH1 0x20
00001566: DUP3
00001567: ADD
00001568: MSTORE
00001569: PUSH1 0x40
0000156b: MLOAD
0000156c: PUSH32 0xd6e4fa8600000000000000000000000000000000000000000000000000000000
0000158d: DUP2
0000158e: MSTORE
0000158f: PUSH1 0x04
00001591: DUP2
00001592: ADD
00001593: DUP5
00001594: SWAP1
00001595: MSTORE
00001596: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ab: PUSH32 0x0000000000000000000000007542565191d074ce84fbfa92cae13acb84788ca9
000015cc: DUP2
000015cd: AND
000015ce: SWAP2
000015cf: PUSH4 0x50e9a715
000015d4: SWAP2
000015d5: DUP9
000015d6: SWAP2
000015d7: DUP9
000015d8: SWAP2
000015d9: PUSH32 0x00000000000000000000000057f1887a8bf19b14fc0df6fd9b2acc9af147ea85
000015fa: AND
000015fb: SWAP1
000015fc: PUSH4 0xd6e4fa86
00001601: SWAP1
00001602: PUSH1 0x24
00001604: ADD
00001605: PUSH1 0x20
00001607: PUSH1 0x40
00001609: MLOAD
0000160a: DUP1
0000160b: DUP4
0000160c: SUB
0000160d: DUP2
0000160e: DUP7
0000160f: GAS
00001610: STATICCALL
00001611: ISZERO
00001612: DUP1
00001613: ISZERO
00001614: PUSH2 0x1621
00001617: JUMPI
00001618: RETURNDATASIZE
00001619: PUSH1 0x00
0000161b: DUP1
0000161c: RETURNDATACOPY
0000161d: RETURNDATASIZE
0000161e: PUSH1 0x00
00001620: REVERT
00001621: JUMPDEST
00001622: POP
00001623: POP
00001624: POP
00001625: POP
00001626: PUSH1 0x40
00001628: MLOAD
00001629: RETURNDATASIZE
0000162a: PUSH1 0x1f
0000162c: NOT
0000162d: PUSH1 0x1f
0000162f: DUP3
00001630: ADD
00001631: AND
00001632: DUP3
00001633: ADD
00001634: DUP1
00001635: PUSH1 0x40
00001637: MSTORE
00001638: POP
00001639: DUP2
0000163a: ADD
0000163b: SWAP1
0000163c: PUSH2 0x1645
0000163f: SWAP2
00001640: SWAP1
00001641: PUSH2 0x1cbb
00001644: JUMP
00001645: JUMPDEST
00001646: DUP7
00001647: PUSH1 0x40
00001649: MLOAD
0000164a: DUP6
0000164b: PUSH4 0xffffffff
00001650: AND
00001651: PUSH1 0xe0
00001653: SHL
00001654: DUP2
00001655: MSTORE
00001656: PUSH1 0x04
00001658: ADD
00001659: PUSH2 0x1665
0000165c: SWAP5
0000165d: SWAP4
0000165e: SWAP3
0000165f: SWAP2
00001660: SWAP1
00001661: PUSH2 0x24f6
00001664: JUMP
00001665: JUMPDEST
00001666: PUSH1 0x40
00001668: DUP1
00001669: MLOAD
0000166a: DUP1
0000166b: DUP4
0000166c: SUB
0000166d: DUP2
0000166e: DUP7
0000166f: GAS
00001670: STATICCALL
00001671: ISZERO
00001672: DUP1
00001673: ISZERO
00001674: PUSH2 0x1681
00001677: JUMPI
00001678: RETURNDATASIZE
00001679: PUSH1 0x00
0000167b: DUP1
0000167c: RETURNDATACOPY
0000167d: RETURNDATASIZE
0000167e: PUSH1 0x00
00001680: REVERT
00001681: JUMPDEST
00001682: POP
00001683: POP
00001684: POP
00001685: POP
00001686: PUSH1 0x40
00001688: MLOAD
00001689: RETURNDATASIZE
0000168a: PUSH1 0x1f
0000168c: NOT
0000168d: PUSH1 0x1f
0000168f: DUP3
00001690: ADD
00001691: AND
00001692: DUP3
00001693: ADD
00001694: DUP1
00001695: PUSH1 0x40
00001697: MSTORE
00001698: POP
00001699: DUP2
0000169a: ADD
0000169b: SWAP1
0000169c: PUSH2 0x085c
0000169f: SWAP2
000016a0: SWAP1
000016a1: PUSH2 0x251d
000016a4: JUMP
000016a5: JUMPDEST
000016a6: PUSH1 0x00
000016a8: SLOAD
000016a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016be: AND
000016bf: CALLER
000016c0: EQ
000016c1: PUSH2 0x081e
000016c4: JUMPI
000016c5: PUSH1 0x40
000016c7: MLOAD
000016c8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016e9: DUP2
000016ea: MSTORE
000016eb: PUSH1 0x20
000016ed: PUSH1 0x04
000016ef: DUP3
000016f0: ADD
000016f1: DUP2
000016f2: SWAP1
000016f3: MSTORE
000016f4: PUSH1 0x24
000016f6: DUP3
000016f7: ADD
000016f8: MSTORE
000016f9: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000171a: PUSH1 0x44
0000171c: DUP3
0000171d: ADD
0000171e: MSTORE
0000171f: PUSH1 0x64
00001721: ADD
00001722: PUSH2 0x0a1c
00001725: JUMP
00001726: JUMPDEST
00001727: PUSH1 0x00
00001729: DUP1
0000172a: SLOAD
0000172b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001740: DUP4
00001741: DUP2
00001742: AND
00001743: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001764: DUP4
00001765: AND
00001766: DUP2
00001767: OR
00001768: DUP5
00001769: SSTORE
0000176a: PUSH1 0x40
0000176c: MLOAD
0000176d: SWAP2
0000176e: SWAP1
0000176f: SWAP3
00001770: AND
00001771: SWAP3
00001772: DUP4
00001773: SWAP2
00001774: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001795: SWAP2
00001796: SWAP1
00001797: LOG3
00001798: POP
00001799: POP
0000179a: JUMP
0000179b: JUMPDEST
0000179c: DUP1
0000179d: MLOAD
0000179e: PUSH1 0x00
000017a0: SWAP1
000017a1: DUP2
000017a2: SWAP1
000017a3: DUP2
000017a4: SWAP1
000017a5: JUMPDEST
000017a6: DUP1
000017a7: DUP3
000017a8: LT
000017a9: ISZERO
000017aa: PUSH2 0x1999
000017ad: JUMPI
000017ae: PUSH1 0x00
000017b0: DUP6
000017b1: DUP4
000017b2: DUP2
000017b3: MLOAD
000017b4: DUP2
000017b5: LT
000017b6: PUSH2 0x17c1
000017b9: JUMPI
000017ba: PUSH2 0x17c1
000017bd: PUSH2 0x256e
000017c0: JUMP
000017c1: JUMPDEST
000017c2: ADD
000017c3: PUSH1 0x20
000017c5: ADD
000017c6: MLOAD
000017c7: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000
000017e8: AND
000017e9: SWAP1
000017ea: POP
000017eb: PUSH32 0x8000000000000000000000000000000000000000000000000000000000000000
0000180c: DUP2
0000180d: LT
0000180e: ISZERO
0000180f: PUSH2 0x1824
00001812: JUMPI
00001813: PUSH2 0x181d
00001816: PUSH1 0x01
00001818: DUP5
00001819: PUSH2 0x2103
0000181c: JUMP
0000181d: JUMPDEST
0000181e: SWAP3
0000181f: POP
00001820: PUSH2 0x1986
00001823: JUMP
00001824: JUMPDEST
00001825: PUSH32 0xe000000000000000000000000000000000000000000000000000000000000000
00001846: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000
00001867: DUP3
00001868: AND
00001869: LT
0000186a: ISZERO
0000186b: PUSH2 0x1879
0000186e: JUMPI
0000186f: PUSH2 0x181d
00001872: PUSH1 0x02
00001874: DUP5
00001875: PUSH2 0x2103
00001878: JUMP
00001879: JUMPDEST
0000187a: PUSH32 0xf000000000000000000000000000000000000000000000000000000000000000
0000189b: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000
000018bc: DUP3
000018bd: AND
000018be: LT
000018bf: ISZERO
000018c0: PUSH2 0x18ce
000018c3: JUMPI
000018c4: PUSH2 0x181d
000018c7: PUSH1 0x03
000018c9: DUP5
000018ca: PUSH2 0x2103
000018cd: JUMP
000018ce: JUMPDEST
000018cf: PUSH32 0xf800000000000000000000000000000000000000000000000000000000000000
000018f0: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000
00001911: DUP3
00001912: AND
00001913: LT
00001914: ISZERO
00001915: PUSH2 0x1923
00001918: JUMPI
00001919: PUSH2 0x181d
0000191c: PUSH1 0x04
0000191e: DUP5
0000191f: PUSH2 0x2103
00001922: JUMP
00001923: JUMPDEST
00001924: PUSH32 0xfc00000000000000000000000000000000000000000000000000000000000000
00001945: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000
00001966: DUP3
00001967: AND
00001968: LT
00001969: ISZERO
0000196a: PUSH2 0x1978
0000196d: JUMPI
0000196e: PUSH2 0x181d
00001971: PUSH1 0x05
00001973: DUP5
00001974: PUSH2 0x2103
00001977: JUMP
00001978: JUMPDEST
00001979: PUSH2 0x1983
0000197c: PUSH1 0x06
0000197e: DUP5
0000197f: PUSH2 0x2103
00001982: JUMP
00001983: JUMPDEST
00001984: SWAP3
00001985: POP
00001986: JUMPDEST
00001987: POP
00001988: DUP3
00001989: PUSH2 0x1991
0000198c: DUP2
0000198d: PUSH2 0x259d
00001990: JUMP
00001991: JUMPDEST
00001992: SWAP4
00001993: POP
00001994: POP
00001995: PUSH2 0x17a5
00001998: JUMP
00001999: JUMPDEST
0000199a: POP
0000199b: SWAP1
0000199c: SWAP4
0000199d: SWAP3
0000199e: POP
0000199f: POP
000019a0: POP
000019a1: JUMP
000019a2: JUMPDEST
000019a3: PUSH1 0x00
000019a5: PUSH2 0x19ae
000019a8: DUP5
000019a9: DUP5
000019aa: PUSH2 0x0865
000019ad: JUMP
000019ae: JUMPDEST
000019af: DUP1
000019b0: ISZERO
000019b1: PUSH2 0x08d9
000019b4: JUMPI
000019b5: POP
000019b6: PUSH1 0x40
000019b8: MLOAD
000019b9: PUSH32 0x96e494e800000000000000000000000000000000000000000000000000000000
000019da: DUP2
000019db: MSTORE
000019dc: PUSH1 0x04
000019de: DUP2
000019df: ADD
000019e0: DUP4
000019e1: SWAP1
000019e2: MSTORE
000019e3: PUSH32 0x00000000000000000000000057f1887a8bf19b14fc0df6fd9b2acc9af147ea85
00001a04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a19: AND
00001a1a: SWAP1
00001a1b: PUSH4 0x96e494e8
00001a20: SWAP1
00001a21: PUSH1 0x24
00001a23: ADD
00001a24: PUSH1 0x20
00001a26: PUSH1 0x40
00001a28: MLOAD
00001a29: DUP1
00001a2a: DUP4
00001a2b: SUB
00001a2c: DUP2
00001a2d: DUP7
00001a2e: GAS
00001a2f: STATICCALL
00001a30: ISZERO
00001a31: DUP1
00001a32: ISZERO
00001a33: PUSH2 0x1a40
00001a36: JUMPI
00001a37: RETURNDATASIZE
00001a38: PUSH1 0x00
00001a3a: DUP1
00001a3b: RETURNDATACOPY
00001a3c: RETURNDATASIZE
00001a3d: PUSH1 0x00
00001a3f: REVERT
00001a40: JUMPDEST
00001a41: POP
00001a42: POP
00001a43: POP
00001a44: POP
00001a45: PUSH1 0x40
00001a47: MLOAD
00001a48: RETURNDATASIZE
00001a49: PUSH1 0x1f
00001a4b: NOT
00001a4c: PUSH1 0x1f
00001a4e: DUP3
00001a4f: ADD
00001a50: AND
00001a51: DUP3
00001a52: ADD
00001a53: DUP1
00001a54: PUSH1 0x40
00001a56: MSTORE
00001a57: POP
00001a58: DUP2
00001a59: ADD
00001a5a: SWAP1
00001a5b: PUSH2 0x08d9
00001a5e: SWAP2
00001a5f: SWAP1
00001a60: PUSH2 0x1d90
00001a63: JUMP
00001a64: JUMPDEST
00001a65: PUSH1 0x00
00001a67: PUSH1 0x20
00001a69: DUP3
00001a6a: DUP5
00001a6b: SUB
00001a6c: SLT
00001a6d: ISZERO
00001a6e: PUSH2 0x1a76
00001a71: JUMPI
00001a72: PUSH1 0x00
00001a74: DUP1
00001a75: REVERT
00001a76: JUMPDEST
00001a77: DUP2
00001a78: CALLDATALOAD
00001a79: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001a9a: DUP2
00001a9b: AND
00001a9c: DUP2
00001a9d: EQ
00001a9e: PUSH2 0x1aa6
00001aa1: JUMPI
00001aa2: PUSH1 0x00
00001aa4: DUP1
00001aa5: REVERT
00001aa6: JUMPDEST
00001aa7: SWAP4
00001aa8: SWAP3
00001aa9: POP
00001aaa: POP
00001aab: POP
00001aac: JUMP
00001aad: JUMPDEST
00001aae: PUSH1 0x00
00001ab0: DUP1
00001ab1: DUP4
00001ab2: PUSH1 0x1f
00001ab4: DUP5
00001ab5: ADD
00001ab6: SLT
00001ab7: PUSH2 0x1abf
00001aba: JUMPI
00001abb: PUSH1 0x00
00001abd: DUP1
00001abe: REVERT
00001abf: JUMPDEST
00001ac0: POP
00001ac1: DUP2
00001ac2: CALLDATALOAD
00001ac3: PUSH8 0xffffffffffffffff
00001acc: DUP2
00001acd: GT
00001ace: ISZERO
00001acf: PUSH2 0x1ad7
00001ad2: JUMPI
00001ad3: PUSH1 0x00
00001ad5: DUP1
00001ad6: REVERT
00001ad7: JUMPDEST
00001ad8: PUSH1 0x20
00001ada: DUP4
00001adb: ADD
00001adc: SWAP2
00001add: POP
00001ade: DUP4
00001adf: PUSH1 0x20
00001ae1: DUP3
00001ae2: DUP6
00001ae3: ADD
00001ae4: ADD
00001ae5: GT
00001ae6: ISZERO
00001ae7: PUSH2 0x1aef
00001aea: JUMPI
00001aeb: PUSH1 0x00
00001aed: DUP1
00001aee: REVERT
00001aef: JUMPDEST
00001af0: SWAP3
00001af1: POP
00001af2: SWAP3
00001af3: SWAP1
00001af4: POP
00001af5: JUMP
00001af6: JUMPDEST
00001af7: PUSH1 0x00
00001af9: DUP1
00001afa: PUSH1 0x00
00001afc: DUP1
00001afd: PUSH1 0x60
00001aff: DUP6
00001b00: DUP8
00001b01: SUB
00001b02: SLT
00001b03: ISZERO
00001b04: PUSH2 0x1b0c
00001b07: JUMPI
00001b08: PUSH1 0x00
00001b0a: DUP1
00001b0b: REVERT
00001b0c: JUMPDEST
00001b0d: DUP5
00001b0e: CALLDATALOAD
00001b0f: PUSH8 0xffffffffffffffff
00001b18: DUP2
00001b19: GT
00001b1a: ISZERO
00001b1b: PUSH2 0x1b23
00001b1e: JUMPI
00001b1f: PUSH1 0x00
00001b21: DUP1
00001b22: REVERT
00001b23: JUMPDEST
00001b24: PUSH2 0x1b2f
00001b27: DUP8
00001b28: DUP3
00001b29: DUP9
00001b2a: ADD
00001b2b: PUSH2 0x1aad
00001b2e: JUMP
00001b2f: JUMPDEST
00001b30: SWAP1
00001b31: SWAP9
00001b32: SWAP1
00001b33: SWAP8
00001b34: POP
00001b35: PUSH1 0x20
00001b37: DUP8
00001b38: ADD
00001b39: CALLDATALOAD
00001b3a: SWAP7
00001b3b: PUSH1 0x40
00001b3d: ADD
00001b3e: CALLDATALOAD
00001b3f: SWAP6
00001b40: POP
00001b41: SWAP4
00001b42: POP
00001b43: POP
00001b44: POP
00001b45: POP
00001b46: JUMP
00001b47: JUMPDEST
00001b48: DUP1
00001b49: CALLDATALOAD
00001b4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b5f: DUP2
00001b60: AND
00001b61: DUP2
00001b62: EQ
00001b63: PUSH2 0x1b6b
00001b66: JUMPI
00001b67: PUSH1 0x00
00001b69: DUP1
00001b6a: REVERT
00001b6b: JUMPDEST
00001b6c: SWAP2
00001b6d: SWAP1
00001b6e: POP
00001b6f: JUMP
00001b70: JUMPDEST
00001b71: PUSH1 0x00
00001b73: DUP1
00001b74: PUSH1 0x00
00001b76: PUSH1 0x60
00001b78: DUP5
00001b79: DUP7
00001b7a: SUB
00001b7b: SLT
00001b7c: ISZERO
00001b7d: PUSH2 0x1b85
00001b80: JUMPI
00001b81: PUSH1 0x00
00001b83: DUP1
00001b84: REVERT
00001b85: JUMPDEST
00001b86: PUSH2 0x1b8e
00001b89: DUP5
00001b8a: PUSH2 0x1b47
00001b8d: JUMP
00001b8e: JUMPDEST
00001b8f: SWAP3
00001b90: POP
00001b91: PUSH2 0x1b9c
00001b94: PUSH1 0x20
00001b96: DUP6
00001b97: ADD
00001b98: PUSH2 0x1b47
00001b9b: JUMP
00001b9c: JUMPDEST
00001b9d: SWAP3
00001b9e: SWAP6
00001b9f: SWAP3
00001ba0: SWAP5
00001ba1: POP
00001ba2: POP
00001ba3: POP
00001ba4: PUSH1 0x40
00001ba6: SWAP2
00001ba7: SWAP1
00001ba8: SWAP2
00001ba9: ADD
00001baa: CALLDATALOAD
00001bab: SWAP1
00001bac: JUMP
00001bad: JUMPDEST
00001bae: PUSH1 0x00
00001bb0: PUSH1 0x20
00001bb2: DUP3
00001bb3: DUP5
00001bb4: SUB
00001bb5: SLT
00001bb6: ISZERO
00001bb7: PUSH2 0x1bbf
00001bba: JUMPI
00001bbb: PUSH1 0x00
00001bbd: DUP1
00001bbe: REVERT
00001bbf: JUMPDEST
00001bc0: POP
00001bc1: CALLDATALOAD
00001bc2: SWAP2
00001bc3: SWAP1
00001bc4: POP
00001bc5: JUMP
00001bc6: JUMPDEST
00001bc7: PUSH1 0x00
00001bc9: DUP1
00001bca: PUSH1 0x00
00001bcc: PUSH1 0x40
00001bce: DUP5
00001bcf: DUP7
00001bd0: SUB
00001bd1: SLT
00001bd2: ISZERO
00001bd3: PUSH2 0x1bdb
00001bd6: JUMPI
00001bd7: PUSH1 0x00
00001bd9: DUP1
00001bda: REVERT
00001bdb: JUMPDEST
00001bdc: DUP4
00001bdd: CALLDATALOAD
00001bde: PUSH8 0xffffffffffffffff
00001be7: DUP2
00001be8: GT
00001be9: ISZERO
00001bea: PUSH2 0x1bf2
00001bed: JUMPI
00001bee: PUSH1 0x00
00001bf0: DUP1
00001bf1: REVERT
00001bf2: JUMPDEST
00001bf3: PUSH2 0x1bfe
00001bf6: DUP7
00001bf7: DUP3
00001bf8: DUP8
00001bf9: ADD
00001bfa: PUSH2 0x1aad
00001bfd: JUMP
00001bfe: JUMPDEST
00001bff: SWAP1
00001c00: SWAP8
00001c01: SWAP1
00001c02: SWAP7
00001c03: POP
00001c04: PUSH1 0x20
00001c06: SWAP6
00001c07: SWAP1
00001c08: SWAP6
00001c09: ADD
00001c0a: CALLDATALOAD
00001c0b: SWAP5
00001c0c: SWAP4
00001c0d: POP
00001c0e: POP
00001c0f: POP
00001c10: POP
00001c11: JUMP
00001c12: JUMPDEST
00001c13: PUSH1 0x00
00001c15: DUP1
00001c16: PUSH1 0x20
00001c18: DUP4
00001c19: DUP6
00001c1a: SUB
00001c1b: SLT
00001c1c: ISZERO
00001c1d: PUSH2 0x1c25
00001c20: JUMPI
00001c21: PUSH1 0x00
00001c23: DUP1
00001c24: REVERT
00001c25: JUMPDEST
00001c26: DUP3
00001c27: CALLDATALOAD
00001c28: PUSH8 0xffffffffffffffff
00001c31: DUP2
00001c32: GT
00001c33: ISZERO
00001c34: PUSH2 0x1c3c
00001c37: JUMPI
00001c38: PUSH1 0x00
00001c3a: DUP1
00001c3b: REVERT
00001c3c: JUMPDEST
00001c3d: PUSH2 0x1c48
00001c40: DUP6
00001c41: DUP3
00001c42: DUP7
00001c43: ADD
00001c44: PUSH2 0x1aad
00001c47: JUMP
00001c48: JUMPDEST
00001c49: SWAP1
00001c4a: SWAP7
00001c4b: SWAP1
00001c4c: SWAP6
00001c4d: POP
00001c4e: SWAP4
00001c4f: POP
00001c50: POP
00001c51: POP
00001c52: POP
00001c53: JUMP
00001c54: JUMPDEST
00001c55: PUSH1 0x00
00001c57: PUSH1 0x20
00001c59: DUP3
00001c5a: DUP5
00001c5b: SUB
00001c5c: SLT
00001c5d: ISZERO
00001c5e: PUSH2 0x1c66
00001c61: JUMPI
00001c62: PUSH1 0x00
00001c64: DUP1
00001c65: REVERT
00001c66: JUMPDEST
00001c67: DUP2
00001c68: CALLDATALOAD
00001c69: PUSH8 0xffffffffffffffff
00001c72: DUP2
00001c73: GT
00001c74: ISZERO
00001c75: PUSH2 0x1c7d
00001c78: JUMPI
00001c79: PUSH1 0x00
00001c7b: DUP1
00001c7c: REVERT
00001c7d: JUMPDEST
00001c7e: DUP3
00001c7f: ADD
00001c80: PUSH2 0x0100
00001c83: DUP2
00001c84: DUP6
00001c85: SUB
00001c86: SLT
00001c87: ISZERO
00001c88: PUSH2 0x1aa6
00001c8b: JUMPI
00001c8c: PUSH1 0x00
00001c8e: DUP1
00001c8f: REVERT
00001c90: JUMPDEST
00001c91: PUSH1 0x00
00001c93: PUSH1 0x20
00001c95: DUP3
00001c96: DUP5
00001c97: SUB
00001c98: SLT
00001c99: ISZERO
00001c9a: PUSH2 0x1ca2
00001c9d: JUMPI
00001c9e: PUSH1 0x00
00001ca0: DUP1
00001ca1: REVERT
00001ca2: JUMPDEST
00001ca3: PUSH2 0x1aa6
00001ca6: DUP3
00001ca7: PUSH2 0x1b47
00001caa: JUMP
00001cab: JUMPDEST
00001cac: DUP2
00001cad: DUP4
00001cae: DUP3
00001caf: CALLDATACOPY
00001cb0: PUSH1 0x00
00001cb2: SWAP2
00001cb3: ADD
00001cb4: SWAP1
00001cb5: DUP2
00001cb6: MSTORE
00001cb7: SWAP2
00001cb8: SWAP1
00001cb9: POP
00001cba: JUMP
00001cbb: JUMPDEST
00001cbc: PUSH1 0x00
00001cbe: PUSH1 0x20
00001cc0: DUP3
00001cc1: DUP5
00001cc2: SUB
00001cc3: SLT
00001cc4: ISZERO
00001cc5: PUSH2 0x1ccd
00001cc8: JUMPI
00001cc9: PUSH1 0x00
00001ccb: DUP1
00001ccc: REVERT
00001ccd: JUMPDEST
00001cce: POP
00001ccf: MLOAD
00001cd0: SWAP2
00001cd1: SWAP1
00001cd2: POP
00001cd3: JUMP
00001cd4: JUMPDEST
00001cd5: DUP2
00001cd6: DUP4
00001cd7: MSTORE
00001cd8: DUP2
00001cd9: DUP2
00001cda: PUSH1 0x20
00001cdc: DUP6
00001cdd: ADD
00001cde: CALLDATACOPY
00001cdf: POP
00001ce0: PUSH1 0x00
00001ce2: PUSH1 0x20
00001ce4: DUP3
00001ce5: DUP5
00001ce6: ADD
00001ce7: ADD
00001ce8: MSTORE
00001ce9: PUSH1 0x00
00001ceb: PUSH1 0x20
00001ced: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001d0e: PUSH1 0x1f
00001d10: DUP5
00001d11: ADD
00001d12: AND
00001d13: DUP5
00001d14: ADD
00001d15: ADD
00001d16: SWAP1
00001d17: POP
00001d18: SWAP3
00001d19: SWAP2
00001d1a: POP
00001d1b: POP
00001d1c: JUMP
00001d1d: JUMPDEST
00001d1e: PUSH1 0x80
00001d20: DUP2
00001d21: MSTORE
00001d22: PUSH1 0x00
00001d24: PUSH2 0x1d31
00001d27: PUSH1 0x80
00001d29: DUP4
00001d2a: ADD
00001d2b: DUP8
00001d2c: DUP10
00001d2d: PUSH2 0x1cd4
00001d30: JUMP
00001d31: JUMPDEST
00001d32: PUSH1 0x20
00001d34: DUP4
00001d35: ADD
00001d36: SWAP6
00001d37: SWAP1
00001d38: SWAP6
00001d39: MSTORE
00001d3a: POP
00001d3b: PUSH1 0x40
00001d3d: DUP2
00001d3e: ADD
00001d3f: SWAP3
00001d40: SWAP1
00001d41: SWAP3
00001d42: MSTORE
00001d43: PUSH1 0x60
00001d45: SWAP1
00001d46: SWAP2
00001d47: ADD
00001d48: MSTORE
00001d49: SWAP3
00001d4a: SWAP2
00001d4b: POP
00001d4c: POP
00001d4d: JUMP
00001d4e: JUMPDEST
00001d4f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001d70: PUSH1 0x00
00001d72: MSTORE
00001d73: PUSH1 0x11
00001d75: PUSH1 0x04
00001d77: MSTORE
00001d78: PUSH1 0x24
00001d7a: PUSH1 0x00
00001d7c: REVERT
00001d7d: JUMPDEST
00001d7e: DUP2
00001d7f: DUP2
00001d80: SUB
00001d81: DUP2
00001d82: DUP2
00001d83: GT
00001d84: ISZERO
00001d85: PUSH2 0x055e
00001d88: JUMPI
00001d89: PUSH2 0x055e
00001d8c: PUSH2 0x1d4e
00001d8f: JUMP
00001d90: JUMPDEST
00001d91: PUSH1 0x00
00001d93: PUSH1 0x20
00001d95: DUP3
00001d96: DUP5
00001d97: SUB
00001d98: SLT
00001d99: ISZERO
00001d9a: PUSH2 0x1da2
00001d9d: JUMPI
00001d9e: PUSH1 0x00
00001da0: DUP1
00001da1: REVERT
00001da2: JUMPDEST
00001da3: DUP2
00001da4: MLOAD
00001da5: DUP1
00001da6: ISZERO
00001da7: ISZERO
00001da8: DUP2
00001da9: EQ
00001daa: PUSH2 0x1aa6
00001dad: JUMPI
00001dae: PUSH1 0x00
00001db0: DUP1
00001db1: REVERT
00001db2: JUMPDEST
00001db3: PUSH1 0x00
00001db5: DUP1
00001db6: DUP4
00001db7: CALLDATALOAD
00001db8: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1
00001dd9: DUP5
00001dda: CALLDATASIZE
00001ddb: SUB
00001ddc: ADD
00001ddd: DUP2
00001dde: SLT
00001ddf: PUSH2 0x1de7
00001de2: JUMPI
00001de3: PUSH1 0x00
00001de5: DUP1
00001de6: REVERT
00001de7: JUMPDEST
00001de8: DUP4
00001de9: ADD
00001dea: DUP1
00001deb: CALLDATALOAD
00001dec: SWAP2
00001ded: POP
00001dee: PUSH8 0xffffffffffffffff
00001df7: DUP3
00001df8: GT
00001df9: ISZERO
00001dfa: PUSH2 0x1e02
00001dfd: JUMPI
00001dfe: PUSH1 0x00
00001e00: DUP1
00001e01: REVERT
00001e02: JUMPDEST
00001e03: PUSH1 0x20
00001e05: ADD
00001e06: SWAP2
00001e07: POP
00001e08: PUSH1 0x05
00001e0a: DUP2
00001e0b: SWAP1
00001e0c: SHL
00001e0d: CALLDATASIZE
00001e0e: SUB
00001e0f: DUP3
00001e10: SGT
00001e11: ISZERO
00001e12: PUSH2 0x1aef
00001e15: JUMPI
00001e16: PUSH1 0x00
00001e18: DUP1
00001e19: REVERT
00001e1a: JUMPDEST
00001e1b: DUP1
00001e1c: CALLDATALOAD
00001e1d: PUSH1 0xff
00001e1f: DUP2
00001e20: AND
00001e21: DUP2
00001e22: EQ
00001e23: PUSH2 0x1b6b
00001e26: JUMPI
00001e27: PUSH1 0x00
00001e29: DUP1
00001e2a: REVERT
00001e2b: JUMPDEST
00001e2c: PUSH1 0x00
00001e2e: PUSH1 0x20
00001e30: DUP3
00001e31: DUP5
00001e32: SUB
00001e33: SLT
00001e34: ISZERO
00001e35: PUSH2 0x1e3d
00001e38: JUMPI
00001e39: PUSH1 0x00
00001e3b: DUP1
00001e3c: REVERT
00001e3d: JUMPDEST
00001e3e: PUSH2 0x1aa6
00001e41: DUP3
00001e42: PUSH2 0x1e1a
00001e45: JUMP
00001e46: JUMPDEST
00001e47: PUSH1 0x00
00001e49: DUP1
00001e4a: DUP4
00001e4b: CALLDATALOAD
00001e4c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1
00001e6d: DUP5
00001e6e: CALLDATASIZE
00001e6f: SUB
00001e70: ADD
00001e71: DUP2
00001e72: SLT
00001e73: PUSH2 0x1e7b
00001e76: JUMPI
00001e77: PUSH1 0x00
00001e79: DUP1
00001e7a: REVERT
00001e7b: JUMPDEST
00001e7c: DUP4
00001e7d: ADD
00001e7e: PUSH1 0x20
00001e80: DUP2
00001e81: ADD
00001e82: SWAP3
00001e83: POP
00001e84: CALLDATALOAD
00001e85: SWAP1
00001e86: POP
00001e87: PUSH8 0xffffffffffffffff
00001e90: DUP2
00001e91: GT
00001e92: ISZERO
00001e93: PUSH2 0x1e9b
00001e96: JUMPI
00001e97: PUSH1 0x00
00001e99: DUP1
00001e9a: REVERT
00001e9b: JUMPDEST
00001e9c: DUP1
00001e9d: CALLDATASIZE
00001e9e: SUB
00001e9f: DUP3
00001ea0: SGT
00001ea1: ISZERO
00001ea2: PUSH2 0x1aef
00001ea5: JUMPI
00001ea6: PUSH1 0x00
00001ea8: DUP1
00001ea9: REVERT
00001eaa: JUMPDEST
00001eab: PUSH1 0x00
00001ead: DUP1
00001eae: DUP4
00001eaf: CALLDATALOAD
00001eb0: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1
00001ed1: DUP5
00001ed2: CALLDATASIZE
00001ed3: SUB
00001ed4: ADD
00001ed5: DUP2
00001ed6: SLT
00001ed7: PUSH2 0x1edf
00001eda: JUMPI
00001edb: PUSH1 0x00
00001edd: DUP1
00001ede: REVERT
00001edf: JUMPDEST
00001ee0: DUP4
00001ee1: ADD
00001ee2: PUSH1 0x20
00001ee4: DUP2
00001ee5: ADD
00001ee6: SWAP3
00001ee7: POP
00001ee8: CALLDATALOAD
00001ee9: SWAP1
00001eea: POP
00001eeb: PUSH8 0xffffffffffffffff
00001ef4: DUP2
00001ef5: GT
00001ef6: ISZERO
00001ef7: PUSH2 0x1eff
00001efa: JUMPI
00001efb: PUSH1 0x00
00001efd: DUP1
00001efe: REVERT
00001eff: JUMPDEST
00001f00: DUP1
00001f01: PUSH1 0x05
00001f03: SHL
00001f04: CALLDATASIZE
00001f05: SUB
00001f06: DUP3
00001f07: SGT
00001f08: ISZERO
00001f09: PUSH2 0x1aef
00001f0c: JUMPI
00001f0d: PUSH1 0x00
00001f0f: DUP1
00001f10: REVERT
00001f11: JUMPDEST
00001f12: PUSH1 0x00
00001f14: DUP4
00001f15: DUP4
00001f16: DUP6
00001f17: MSTORE
00001f18: PUSH1 0x20
00001f1a: DUP6
00001f1b: ADD
00001f1c: SWAP5
00001f1d: POP
00001f1e: PUSH1 0x20
00001f20: DUP5
00001f21: PUSH1 0x05
00001f23: SHL
00001f24: DUP3
00001f25: ADD
00001f26: ADD
00001f27: DUP4
00001f28: PUSH1 0x00
00001f2a: JUMPDEST
00001f2b: DUP7
00001f2c: DUP2
00001f2d: LT
00001f2e: ISZERO
00001f2f: PUSH2 0x1f86
00001f32: JUMPI
00001f33: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001f54: DUP5
00001f55: DUP5
00001f56: SUB
00001f57: ADD
00001f58: DUP9
00001f59: MSTORE
00001f5a: PUSH2 0x1f63
00001f5d: DUP3
00001f5e: DUP8
00001f5f: PUSH2 0x1e46
00001f62: JUMP
00001f63: JUMPDEST
00001f64: PUSH2 0x1f6e
00001f67: DUP6
00001f68: DUP3
00001f69: DUP5
00001f6a: PUSH2 0x1cd4
00001f6d: JUMP
00001f6e: JUMPDEST
00001f6f: PUSH1 0x20
00001f71: SWAP11
00001f72: DUP12
00001f73: ADD
00001f74: SWAP11
00001f75: SWAP1
00001f76: SWAP6
00001f77: POP
00001f78: SWAP4
00001f79: SWAP1
00001f7a: SWAP4
00001f7b: ADD
00001f7c: SWAP3
00001f7d: POP
00001f7e: POP
00001f7f: PUSH1 0x01
00001f81: ADD
00001f82: PUSH2 0x1f2a
00001f85: JUMP
00001f86: JUMPDEST
00001f87: POP
00001f88: SWAP1
00001f89: SWAP7
00001f8a: SWAP6
00001f8b: POP
00001f8c: POP
00001f8d: POP
00001f8e: POP
00001f8f: POP
00001f90: POP
00001f91: JUMP
00001f92: JUMPDEST
00001f93: PUSH1 0x20
00001f95: DUP2
00001f96: MSTORE
00001f97: PUSH1 0x00
00001f99: PUSH2 0x1fa2
00001f9c: DUP4
00001f9d: DUP5
00001f9e: PUSH2 0x1e46
00001fa1: JUMP
00001fa2: JUMPDEST
00001fa3: PUSH2 0x0100
00001fa6: PUSH1 0x20
00001fa8: DUP6
00001fa9: ADD
00001faa: MSTORE
00001fab: PUSH2 0x1fb9
00001fae: PUSH2 0x0120
00001fb1: DUP6
00001fb2: ADD
00001fb3: DUP3
00001fb4: DUP5
00001fb5: PUSH2 0x1cd4
00001fb8: JUMP
00001fb9: JUMPDEST
00001fba: SWAP2
00001fbb: POP
00001fbc: POP
00001fbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fd2: PUSH2 0x1fdd
00001fd5: PUSH1 0x20
00001fd7: DUP7
00001fd8: ADD
00001fd9: PUSH2 0x1b47
00001fdc: JUMP
00001fdd: JUMPDEST
00001fde: AND
00001fdf: PUSH1 0x40
00001fe1: DUP5
00001fe2: ADD
00001fe3: MSTORE
00001fe4: PUSH1 0x00
00001fe6: PUSH1 0x40
00001fe8: DUP6
00001fe9: ADD
00001fea: CALLDATALOAD
00001feb: SWAP1
00001fec: POP
00001fed: DUP1
00001fee: PUSH1 0x60
00001ff0: DUP6
00001ff1: ADD
00001ff2: MSTORE
00001ff3: POP
00001ff4: PUSH1 0x00
00001ff6: PUSH1 0x60
00001ff8: DUP6
00001ff9: ADD
00001ffa: CALLDATALOAD
00001ffb: SWAP1
00001ffc: POP
00001ffd: DUP1
00001ffe: PUSH1 0x80
00002000: DUP6
00002001: ADD
00002002: MSTORE
00002003: POP
00002004: PUSH2 0x200f
00002007: PUSH1 0x80
00002009: DUP6
0000200a: ADD
0000200b: PUSH2 0x1b47
0000200e: JUMP
0000200f: JUMPDEST
00002010: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002025: DUP2
00002026: AND
00002027: PUSH1 0xa0
00002029: DUP6
0000202a: ADD
0000202b: MSTORE
0000202c: POP
0000202d: PUSH2 0x2039
00002030: PUSH1 0xa0
00002032: DUP6
00002033: ADD
00002034: DUP6
00002035: PUSH2 0x1eaa
00002038: JUMP
00002039: JUMPDEST
0000203a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000205b: DUP6
0000205c: DUP5
0000205d: SUB
0000205e: ADD
0000205f: PUSH1 0xc0
00002061: DUP7
00002062: ADD
00002063: MSTORE
00002064: PUSH2 0x206e
00002067: DUP4
00002068: DUP3
00002069: DUP5
0000206a: PUSH2 0x1f11
0000206d: JUMP
0000206e: JUMPDEST
0000206f: SWAP3
00002070: POP
00002071: POP
00002072: POP
00002073: PUSH2 0x207e
00002076: PUSH1 0xc0
00002078: DUP6
00002079: ADD
0000207a: PUSH2 0x1e1a
0000207d: JUMP
0000207e: JUMPDEST
0000207f: PUSH1 0xff
00002081: DUP2
00002082: AND
00002083: PUSH1 0xe0
00002085: DUP6
00002086: ADD
00002087: MSTORE
00002088: POP
00002089: PUSH1 0xe0
0000208b: SWAP4
0000208c: SWAP1
0000208d: SWAP4
0000208e: ADD
0000208f: CALLDATALOAD
00002090: PUSH2 0x0100
00002093: SWAP3
00002094: SWAP1
00002095: SWAP3
00002096: ADD
00002097: SWAP2
00002098: SWAP1
00002099: SWAP2
0000209a: MSTORE
0000209b: POP
0000209c: SWAP1
0000209d: JUMP
0000209e: JUMPDEST
0000209f: PUSH1 0x00
000020a1: DUP1
000020a2: DUP4
000020a3: CALLDATALOAD
000020a4: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1
000020c5: DUP5
000020c6: CALLDATASIZE
000020c7: SUB
000020c8: ADD
000020c9: DUP2
000020ca: SLT
000020cb: PUSH2 0x20d3
000020ce: JUMPI
000020cf: PUSH1 0x00
000020d1: DUP1
000020d2: REVERT
000020d3: JUMPDEST
000020d4: DUP4
000020d5: ADD
000020d6: DUP1
000020d7: CALLDATALOAD
000020d8: SWAP2
000020d9: POP
000020da: PUSH8 0xffffffffffffffff
000020e3: DUP3
000020e4: GT
000020e5: ISZERO
000020e6: PUSH2 0x20ee
000020e9: JUMPI
000020ea: PUSH1 0x00
000020ec: DUP1
000020ed: REVERT
000020ee: JUMPDEST
000020ef: PUSH1 0x20
000020f1: ADD
000020f2: SWAP2
000020f3: POP
000020f4: CALLDATASIZE
000020f5: DUP2
000020f6: SWAP1
000020f7: SUB
000020f8: DUP3
000020f9: SGT
000020fa: ISZERO
000020fb: PUSH2 0x1aef
000020fe: JUMPI
000020ff: PUSH1 0x00
00002101: DUP1
00002102: REVERT
00002103: JUMPDEST
00002104: DUP1
00002105: DUP3
00002106: ADD
00002107: DUP1
00002108: DUP3
00002109: GT
0000210a: ISZERO
0000210b: PUSH2 0x055e
0000210e: JUMPI
0000210f: PUSH2 0x055e
00002112: PUSH2 0x1d4e
00002115: JUMP
00002116: JUMPDEST
00002117: PUSH1 0x20
00002119: DUP2
0000211a: MSTORE
0000211b: PUSH1 0x00
0000211d: PUSH2 0x08d9
00002120: PUSH1 0x20
00002122: DUP4
00002123: ADD
00002124: DUP5
00002125: DUP7
00002126: PUSH2 0x1cd4
00002129: JUMP
0000212a: JUMPDEST
0000212b: DUP4
0000212c: DUP2
0000212d: MSTORE
0000212e: PUSH1 0x40
00002130: PUSH1 0x20
00002132: DUP3
00002133: ADD
00002134: DUP2
00002135: SWAP1
00002136: MSTORE
00002137: DUP2
00002138: ADD
00002139: DUP3
0000213a: SWAP1
0000213b: MSTORE
0000213c: PUSH1 0x00
0000213e: PUSH1 0x60
00002140: PUSH1 0x05
00002142: DUP5
00002143: SWAP1
00002144: SHL
00002145: DUP4
00002146: ADD
00002147: DUP2
00002148: ADD
00002149: SWAP1
0000214a: DUP4
0000214b: ADD
0000214c: DUP6
0000214d: DUP4
0000214e: JUMPDEST
0000214f: DUP7
00002150: DUP2
00002151: LT
00002152: ISZERO
00002153: PUSH2 0x21a9
00002156: JUMPI
00002157: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa0
00002178: DUP7
00002179: DUP6
0000217a: SUB
0000217b: ADD
0000217c: DUP4
0000217d: MSTORE
0000217e: PUSH2 0x2187
00002181: DUP3
00002182: DUP10
00002183: PUSH2 0x1e46
00002186: JUMP
00002187: JUMPDEST
00002188: PUSH2 0x2192
0000218b: DUP7
0000218c: DUP3
0000218d: DUP5
0000218e: PUSH2 0x1cd4
00002191: JUMP
00002192: JUMPDEST
00002193: SWAP6
00002194: POP
00002195: POP
00002196: POP
00002197: PUSH1 0x20
00002199: SWAP3
0000219a: DUP4
0000219b: ADD
0000219c: SWAP3
0000219d: SWAP2
0000219e: SWAP1
0000219f: SWAP2
000021a0: ADD
000021a1: SWAP1
000021a2: PUSH1 0x01
000021a4: ADD
000021a5: PUSH2 0x214e
000021a8: JUMP
000021a9: JUMPDEST
000021aa: POP
000021ab: SWAP2
000021ac: SWAP8
000021ad: SWAP7
000021ae: POP
000021af: POP
000021b0: POP
000021b1: POP
000021b2: POP
000021b3: POP
000021b4: POP
000021b5: JUMP
000021b6: JUMPDEST
000021b7: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000021d8: PUSH1 0x00
000021da: MSTORE
000021db: PUSH1 0x41
000021dd: PUSH1 0x04
000021df: MSTORE
000021e0: PUSH1 0x24
000021e2: PUSH1 0x00
000021e4: REVERT
000021e5: JUMPDEST
000021e6: PUSH1 0x40
000021e8: MLOAD
000021e9: PUSH1 0x1f
000021eb: DUP3
000021ec: ADD
000021ed: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000220e: AND
0000220f: DUP2
00002210: ADD
00002211: PUSH8 0xffffffffffffffff
0000221a: DUP2
0000221b: GT
0000221c: DUP3
0000221d: DUP3
0000221e: LT
0000221f: OR
00002220: ISZERO
00002221: PUSH2 0x222c
00002224: JUMPI
00002225: PUSH2 0x222c
00002228: PUSH2 0x21b6
0000222b: JUMP
0000222c: JUMPDEST
0000222d: PUSH1 0x40
0000222f: MSTORE
00002230: SWAP2
00002231: SWAP1
00002232: POP
00002233: JUMP
00002234: JUMPDEST
00002235: PUSH1 0x00
00002237: JUMPDEST
00002238: DUP4
00002239: DUP2
0000223a: LT
0000223b: ISZERO
0000223c: PUSH2 0x224f
0000223f: JUMPI
00002240: DUP2
00002241: DUP2
00002242: ADD
00002243: MLOAD
00002244: DUP4
00002245: DUP3
00002246: ADD
00002247: MSTORE
00002248: PUSH1 0x20
0000224a: ADD
0000224b: PUSH2 0x2237
0000224e: JUMP
0000224f: JUMPDEST
00002250: POP
00002251: POP
00002252: PUSH1 0x00
00002254: SWAP2
00002255: ADD
00002256: MSTORE
00002257: JUMP
00002258: JUMPDEST
00002259: PUSH1 0x00
0000225b: PUSH1 0x20
0000225d: DUP3
0000225e: DUP5
0000225f: SUB
00002260: SLT
00002261: ISZERO
00002262: PUSH2 0x226a
00002265: JUMPI
00002266: PUSH1 0x00
00002268: DUP1
00002269: REVERT
0000226a: JUMPDEST
0000226b: DUP2
0000226c: MLOAD
0000226d: PUSH8 0xffffffffffffffff
00002276: DUP2
00002277: GT
00002278: ISZERO
00002279: PUSH2 0x2281
0000227c: JUMPI
0000227d: PUSH1 0x00
0000227f: DUP1
00002280: REVERT
00002281: JUMPDEST
00002282: DUP3
00002283: ADD
00002284: PUSH1 0x1f
00002286: DUP2
00002287: ADD
00002288: DUP5
00002289: SGT
0000228a: PUSH2 0x2292
0000228d: JUMPI
0000228e: PUSH1 0x00
00002290: DUP1
00002291: REVERT
00002292: JUMPDEST
00002293: DUP1
00002294: MLOAD
00002295: PUSH8 0xffffffffffffffff
0000229e: DUP2
0000229f: GT
000022a0: ISZERO
000022a1: PUSH2 0x22ac
000022a4: JUMPI
000022a5: PUSH2 0x22ac
000022a8: PUSH2 0x21b6
000022ab: JUMP
000022ac: JUMPDEST
000022ad: DUP1
000022ae: PUSH1 0x05
000022b0: SHL
000022b1: PUSH2 0x22bc
000022b4: PUSH1 0x20
000022b6: DUP3
000022b7: ADD
000022b8: PUSH2 0x21e5
000022bb: JUMP
000022bc: JUMPDEST
000022bd: SWAP2
000022be: DUP3
000022bf: MSTORE
000022c0: PUSH1 0x20
000022c2: DUP2
000022c3: DUP5
000022c4: ADD
000022c5: DUP2
000022c6: ADD
000022c7: SWAP3
000022c8: SWAP1
000022c9: DUP2
000022ca: ADD
000022cb: SWAP1
000022cc: DUP8
000022cd: DUP5
000022ce: GT
000022cf: ISZERO
000022d0: PUSH2 0x22d8
000022d3: JUMPI
000022d4: PUSH1 0x00
000022d6: DUP1
000022d7: REVERT
000022d8: JUMPDEST
000022d9: PUSH1 0x20
000022db: DUP6
000022dc: ADD
000022dd: SWAP3
000022de: POP
000022df: JUMPDEST
000022e0: DUP4
000022e1: DUP4
000022e2: LT
000022e3: ISZERO
000022e4: PUSH2 0x2396
000022e7: JUMPI
000022e8: DUP3
000022e9: MLOAD
000022ea: PUSH8 0xffffffffffffffff
000022f3: DUP2
000022f4: GT
000022f5: ISZERO
000022f6: PUSH2 0x22fe
000022f9: JUMPI
000022fa: PUSH1 0x00
000022fc: DUP1
000022fd: REVERT
000022fe: JUMPDEST
000022ff: DUP6
00002300: ADD
00002301: PUSH1 0x3f
00002303: DUP2
00002304: ADD
00002305: DUP10
00002306: SGT
00002307: PUSH2 0x230f
0000230a: JUMPI
0000230b: PUSH1 0x00
0000230d: DUP1
0000230e: REVERT
0000230f: JUMPDEST
00002310: PUSH1 0x20
00002312: DUP2
00002313: ADD
00002314: MLOAD
00002315: PUSH8 0xffffffffffffffff
0000231e: DUP2
0000231f: GT
00002320: ISZERO
00002321: PUSH2 0x232c
00002324: JUMPI
00002325: PUSH2 0x232c
00002328: PUSH2 0x21b6
0000232b: JUMP
0000232c: JUMPDEST
0000232d: PUSH2 0x235d
00002330: PUSH1 0x20
00002332: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002353: PUSH1 0x1f
00002355: DUP5
00002356: ADD
00002357: AND
00002358: ADD
00002359: PUSH2 0x21e5
0000235c: JUMP
0000235d: JUMPDEST
0000235e: DUP2
0000235f: DUP2
00002360: MSTORE
00002361: PUSH1 0x40
00002363: DUP4
00002364: DUP4
00002365: ADD
00002366: ADD
00002367: DUP12
00002368: LT
00002369: ISZERO
0000236a: PUSH2 0x2372
0000236d: JUMPI
0000236e: PUSH1 0x00
00002370: DUP1
00002371: REVERT
00002372: JUMPDEST
00002373: PUSH2 0x2383
00002376: DUP3
00002377: PUSH1 0x20
00002379: DUP4
0000237a: ADD
0000237b: PUSH1 0x40
0000237d: DUP7
0000237e: ADD
0000237f: PUSH2 0x2234
00002382: JUMP
00002383: JUMPDEST
00002384: DUP5
00002385: MSTORE
00002386: POP
00002387: POP
00002388: PUSH1 0x20
0000238a: SWAP3
0000238b: DUP4
0000238c: ADD
0000238d: SWAP3
0000238e: SWAP1
0000238f: SWAP2
00002390: ADD
00002391: SWAP1
00002392: PUSH2 0x22df
00002395: JUMP
00002396: JUMPDEST
00002397: SWAP8
00002398: SWAP7
00002399: POP
0000239a: POP
0000239b: POP
0000239c: POP
0000239d: POP
0000239e: POP
0000239f: POP
000023a0: JUMP
000023a1: JUMPDEST
000023a2: DUP2
000023a3: DUP4
000023a4: DUP3
000023a5: CALLDATACOPY
000023a6: PUSH32 0x2e65746800000000000000000000000000000000000000000000000000000000
000023c7: SWAP2
000023c8: ADD
000023c9: SWAP1
000023ca: DUP2
000023cb: MSTORE
000023cc: PUSH1 0x04
000023ce: ADD
000023cf: SWAP2
000023d0: SWAP1
000023d1: POP
000023d2: JUMP
000023d3: JUMPDEST
000023d4: PUSH1 0x00
000023d6: DUP2
000023d7: MLOAD
000023d8: DUP1
000023d9: DUP5
000023da: MSTORE
000023db: PUSH2 0x23eb
000023de: DUP2
000023df: PUSH1 0x20
000023e1: DUP7
000023e2: ADD
000023e3: PUSH1 0x20
000023e5: DUP7
000023e6: ADD
000023e7: PUSH2 0x2234
000023ea: JUMP
000023eb: JUMPDEST
000023ec: PUSH1 0x1f
000023ee: ADD
000023ef: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002410: AND
00002411: SWAP3
00002412: SWAP1
00002413: SWAP3
00002414: ADD
00002415: PUSH1 0x20
00002417: ADD
00002418: SWAP3
00002419: SWAP2
0000241a: POP
0000241b: POP
0000241c: JUMP
0000241d: JUMPDEST
0000241e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002433: DUP6
00002434: AND
00002435: DUP2
00002436: MSTORE
00002437: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000244c: DUP5
0000244d: AND
0000244e: PUSH1 0x20
00002450: DUP3
00002451: ADD
00002452: MSTORE
00002453: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002468: DUP4
00002469: AND
0000246a: PUSH1 0x40
0000246c: DUP3
0000246d: ADD
0000246e: MSTORE
0000246f: PUSH1 0x80
00002471: PUSH1 0x60
00002473: DUP3
00002474: ADD
00002475: MSTORE
00002476: PUSH1 0x00
00002478: PUSH2 0x2484
0000247b: PUSH1 0x80
0000247d: DUP4
0000247e: ADD
0000247f: DUP5
00002480: PUSH2 0x23d3
00002483: JUMP
00002484: JUMPDEST
00002485: SWAP7
00002486: SWAP6
00002487: POP
00002488: POP
00002489: POP
0000248a: POP
0000248b: POP
0000248c: POP
0000248d: JUMP
0000248e: JUMPDEST
0000248f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024a4: DUP4
000024a5: AND
000024a6: DUP2
000024a7: MSTORE
000024a8: PUSH1 0x40
000024aa: PUSH1 0x20
000024ac: DUP3
000024ad: ADD
000024ae: MSTORE
000024af: PUSH1 0x00
000024b1: PUSH2 0x08d9
000024b4: PUSH1 0x40
000024b6: DUP4
000024b7: ADD
000024b8: DUP5
000024b9: PUSH2 0x23d3
000024bc: JUMP
000024bd: JUMPDEST
000024be: PUSH1 0xa0
000024c0: DUP2
000024c1: MSTORE
000024c2: PUSH1 0x00
000024c4: PUSH2 0x24d1
000024c7: PUSH1 0xa0
000024c9: DUP4
000024ca: ADD
000024cb: DUP9
000024cc: DUP11
000024cd: PUSH2 0x1cd4
000024d0: JUMP
000024d1: JUMPDEST
000024d2: SWAP1
000024d3: POP
000024d4: DUP6
000024d5: PUSH1 0x20
000024d7: DUP4
000024d8: ADD
000024d9: MSTORE
000024da: DUP5
000024db: PUSH1 0x40
000024dd: DUP4
000024de: ADD
000024df: MSTORE
000024e0: DUP4
000024e1: PUSH1 0x60
000024e3: DUP4
000024e4: ADD
000024e5: MSTORE
000024e6: DUP3
000024e7: PUSH1 0x80
000024e9: DUP4
000024ea: ADD
000024eb: MSTORE
000024ec: SWAP8
000024ed: SWAP7
000024ee: POP
000024ef: POP
000024f0: POP
000024f1: POP
000024f2: POP
000024f3: POP
000024f4: POP
000024f5: JUMP
000024f6: JUMPDEST
000024f7: PUSH1 0x60
000024f9: DUP2
000024fa: MSTORE
000024fb: PUSH1 0x00
000024fd: PUSH2 0x250a
00002500: PUSH1 0x60
00002502: DUP4
00002503: ADD
00002504: DUP7
00002505: DUP9
00002506: PUSH2 0x1cd4
00002509: JUMP
0000250a: JUMPDEST
0000250b: PUSH1 0x20
0000250d: DUP4
0000250e: ADD
0000250f: SWAP5
00002510: SWAP1
00002511: SWAP5
00002512: MSTORE
00002513: POP
00002514: PUSH1 0x40
00002516: ADD
00002517: MSTORE
00002518: SWAP3
00002519: SWAP2
0000251a: POP
0000251b: POP
0000251c: JUMP
0000251d: JUMPDEST
0000251e: PUSH1 0x00
00002520: PUSH1 0x40
00002522: DUP3
00002523: DUP5
00002524: SUB
00002525: SLT
00002526: DUP1
00002527: ISZERO
00002528: PUSH2 0x2530
0000252b: JUMPI
0000252c: PUSH1 0x00
0000252e: DUP1
0000252f: REVERT
00002530: JUMPDEST
00002531: POP
00002532: PUSH1 0x40
00002534: DUP1
00002535: MLOAD
00002536: SWAP1
00002537: DUP2
00002538: ADD
00002539: PUSH8 0xffffffffffffffff
00002542: DUP2
00002543: GT
00002544: DUP3
00002545: DUP3
00002546: LT
00002547: OR
00002548: ISZERO
00002549: PUSH2 0x2554
0000254c: JUMPI
0000254d: PUSH2 0x2554
00002550: PUSH2 0x21b6
00002553: JUMP
00002554: JUMPDEST
00002555: PUSH1 0x40
00002557: MSTORE
00002558: DUP3
00002559: MLOAD
0000255a: DUP2
0000255b: MSTORE
0000255c: PUSH1 0x20
0000255e: SWAP3
0000255f: DUP4
00002560: ADD
00002561: MLOAD
00002562: SWAP3
00002563: DUP2
00002564: ADD
00002565: SWAP3
00002566: SWAP1
00002567: SWAP3
00002568: MSTORE
00002569: POP
0000256a: SWAP2
0000256b: SWAP1
0000256c: POP
0000256d: JUMP
0000256e: JUMPDEST
0000256f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002590: PUSH1 0x00
00002592: MSTORE
00002593: PUSH1 0x32
00002595: PUSH1 0x04
00002597: MSTORE
00002598: PUSH1 0x24
0000259a: PUSH1 0x00
0000259c: REVERT
0000259d: JUMPDEST
0000259e: PUSH1 0x00
000025a0: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000025c1: DUP3
000025c2: SUB
000025c3: PUSH2 0x25ce
000025c6: JUMPI
000025c7: PUSH2 0x25ce
000025ca: PUSH2 0x1d4e
000025cd: JUMP
000025ce: JUMPDEST
000025cf: POP
000025d0: PUSH1 0x01
000025d2: ADD
000025d3: SWAP1
000025d4: JUMP
000025d5: INVALID
000025d6: LOG2
000025d7: PUSH5 0x6970667358
000025dd: UNKNOWN(0x22)
000025de: SLT
000025df: KECCAK256
000025e0: DUP12
000025e1: UNKNOWN(0xEE)
000025e2: SWAP2
000025e3: MCOPY
000025e4: UNKNOWN(0xCB)
000025e5: ADDRESS
000025e6: PUSH13 0x877275eb5c18de7470963c9da7
000025f4: UNKNOWN(0xE8)
000025f5: DUP7
000025f6: MUL
000025f7: SLOAD
000025f8: SWAP14
000025f9: PUSH20