Analysis Run

[codex:888241] OpenAI Codex v0.77.0 (research preview)
[codex:888241] --------
[codex:888241] workdir: /tmp/codex-multi-5i_40eyi
[codex:888241] model: gpt-5.2-codex
[codex:888241] provider: openai
[codex:888241] approval: never
[codex:888241] sandbox: read-only
[codex:888241] reasoning effort: xhigh
[codex:888241] reasoning summaries: auto
[codex:888241] session id: 019b7ce5-8d8a-7271-b933-4922598a5321
[codex:888241] --------
[codex:888241] user
[codex:888241] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:888241] 
[codex:888241] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:888241] 
[codex:888241] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:888241] - Gas inefficiency, code quality, naming, or best practices
[codex:888241] - Theoretical vulnerabilities without a clear extraction path
[codex:888241] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:888241] - Front-running unless it enables theft beyond MEV
[codex:888241] - DoS, griefing, or issues that don't result in attacker profit
[codex:888241] - Missing events, view function issues, or informational findings
[codex:888241] 
[codex:888241] HIGH-VALUE PATTERNS TO HUNT:
[codex:888241] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:888241] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:888241] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:888241] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:888241] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:888241] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:888241] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:888241] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:888241] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:888241] 
[codex:888241] For each finding, you MUST provide:
[codex:888241] 1. Exact file and line numbers of vulnerable code
[codex:888241] 2. Step-by-step exploit transaction sequence
[codex:888241] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:888241] 
[codex:888241] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:888241] 
[codex:888241] Output MUST be valid JSON matching the provided schema.
[codex:888241] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:888241] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:888241] mcp startup: no servers
[codex:888241] 
[codex:888241] thinking
[codex:888241] **Preparing to read AUDIT_BUNDLE.txt**
[codex:888241] exec
[codex:888241] /bin/bash -lc ls in /tmp/codex-multi-5i_40eyi succeeded in 6ms:
[codex:888241] AUDIT_BUNDLE.txt
[codex:888241] codex-output-schema.json
[codex:888241] contracts
[codex:888241] 
[codex:888241] thinking
[codex:888241] **Reading AUDIT_BUNDLE.txt**
[codex:888241] exec
[codex:888241] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-5i_40eyi succeeded in 5ms:
[codex:888241] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:888241] 
[codex:888241] ================================================================================
[codex:888241] FILE: contracts/contracts/ETHx.sol
[codex:888241] ================================================================================
[codex:888241] // SPDX-License-Identifier: GPL-3.0-or-later
[codex:888241] pragma solidity 0.8.16;
[codex:888241] import './library/UtilLib.sol';
[codex:888241] 
[codex:888241] import './interfaces/IStaderConfig.sol';
[codex:888241] 
[codex:888241] import '@openzeppelin/contracts-upgradeable/token/ERC20/ERC20Upgradeable.sol';
[codex:888241] import '@openzeppelin/contracts-upgradeable/access/AccessControlUpgradeable.sol';
[codex:888241] import '@openzeppelin/contracts-upgradeable/security/PausableUpgradeable.sol';
[codex:888241] 
[codex:888241] /**
[codex:888241]  * @title ETHx token Contract
[codex:888241]  * @author Stader Labs
[codex:888241]  * @notice The ERC20 contract for the ETHx token
[codex:888241]  */
[codex:888241] 
[codex:888241] thinking
[codex:888241] **Locating and planning full AUDIT_BUNDLE analysis**
[codex:888241] exec
[codex:888241] /bin/bash -lc 'rg -n "''^FILE:" AUDIT_BUNDLE.txt' in /tmp/codex-multi-5i_40eyi succeeded in 6ms:
[codex:888241] 4:FILE: contracts/contracts/ETHx.sol
[codex:888241] 98:FILE: contracts/contracts/UserWithdrawalManager.sol
[codex:888241] 354:FILE: contracts/contracts/interfaces/INodeRegistry.sol
[codex:888241] 513:FILE: contracts/contracts/interfaces/IPoolUtils.sol
[codex:888241] 610:FILE: contracts/contracts/interfaces/ISocializingPool.sol
[codex:888241] 715:FILE: contracts/contracts/interfaces/IStaderConfig.sol
[codex:888241] 883:FILE: contracts/contracts/interfaces/IStaderOracle.sol
[codex:888241] 1221:FILE: contracts/contracts/interfaces/IStaderStakePoolManager.sol
[codex:888241] 1293:FILE: contracts/contracts/interfaces/IUserWithdrawalManager.sol
[codex:888241] 1383:FILE: contracts/contracts/interfaces/IVaultProxy.sol
[codex:888241] 1418:FILE: contracts/contracts/library/UtilLib.sol
[codex:888241] 1595:FILE: contracts/contracts/library/ValidatorStatus.sol
[codex:888241] 
[codex:888241] thinking
[codex:888241] **Continuing interface exploration**
[codex:888241] exec
[codex:888241] /bin/bash -lc "sed -n '513,900p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-5i_40eyi succeeded in 6ms:
[codex:888241] FILE: contracts/contracts/interfaces/IPoolUtils.sol
[codex:888241] ================================================================================
[codex:888241] // SPDX-License-Identifier: GPL-3.0-or-later
[codex:888241] pragma solidity 0.8.16;
[codex:888241] 
[codex:888241] import './INodeRegistry.sol';
[codex:888241] 
[codex:888241] // Interface for the PoolUtils contract
[codex:888241] interface IPoolUtils {
[codex:888241]     // Errors
[codex:888241]     error EmptyNameString();
[codex:888241]     error PoolIdNotPresent();
[codex:888241]     error MismatchingPoolId();
[codex:888241]     error PubkeyDoesNotExit();
[codex:888241]     error PubkeyAlreadyExist();
[codex:888241]     error NameCrossedMaxLength();
[codex:888241]     error InvalidLengthOfPubkey();
[codex:888241]     error OperatorIsNotOnboarded();
[codex:888241]     error InvalidLengthOfSignature();
[codex:888241]     error ExistingOrMismatchingPoolId();
[codex:888241] 
[codex:888241] thinking
[codex:888241] **Finishing review**
[codex:888241] exec
[codex:888241] /bin/bash -lc "sed -n '900,1255p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-5i_40eyi succeeded in 5ms:
[codex:888241] struct MissedAttestationPenaltyData {
[codex:888241]     /// @notice The block number when the missed attestation penalty data is reported
[codex:888241]     uint256 reportingBlockNumber;
[codex:888241]     /// @notice The index of missed attestation penalty data
[codex:888241]     uint256 index;
[codex:888241]     /// @notice missed attestation validator pubkeys
[codex:888241]     bytes[] sortedPubkeys;
[codex:888241] }
[codex:888241] 
[codex:888241] struct MissedAttestationReportInfo {
[codex:888241]     uint256 index;
[codex:888241]     uint256 pageNumber;
[codex:888241] }
[codex:888241] 
[codex:888241] /// @title ExchangeRate
[codex:888241] /// @notice This struct holds data related to the exchange rate between ETH and ETHX.
[codex:888241] struct ExchangeRate {
[codex:888241]     /// @notice The block number when the exchange rate was last updated.
[codex:888241]     uint256 reportingBlockNumber;
[codex:888241]     /// @notice The total balance of Ether (ETH) in the system.
[codex:888241] 
[codex:888241] 
[codex:888241] thinking
[codex:888241] **Conducting detailed exploit analysis**
[codex:888241] 
[codex:888241] I've carefully reviewed the partial contracts, focusing on potential reentrancy, access control, and arithmetic issues, especially around ETHx token and UserWithdrawalManager. Despite considering scenarios like uninitialized proxies, reentrancy via external calls before state updates, and exchange rate manipulations, I find no concrete exploitable path leading to profit under the given assumptions and limited code context.
[codex:888241] thinking
[codex:888241] **Preparing final audit output**
[codex:888241] 
[codex:888241] I'll set no_findings true with a concise summary noting no exploitable profit paths found, and produce an empty findings array in valid JSON format as required.
[codex:888241] codex
[codex:888241] {"no_findings":true,"summary":"Reviewed the provided contracts and found no concrete, exploitable path to extract ETH/tokens/NFTs from this code.","findings":[]}
[codex:888241] tokens used
[codex:888241] 21,021
[codex:888241] {"no_findings":true,"summary":"Reviewed the provided contracts and found no concrete, exploitable path to extract ETH/tokens/NFTs from this code.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-02T04:11:03.881403+00:00",
        "returncode": 0
    },
    "summary": "Reviewed the provided contracts and found no concrete, exploitable path to extract ETH/tokens/NFTs from this code.",
    "raw_final": {
        "summary": "Reviewed the provided contracts and found no concrete, exploitable path to extract ETH/tokens/NFTs from this code.",
        "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 0x0185
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x6a84a985
00000019: GT
0000001a: PUSH2 0x00d1
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x91d14854
00000024: GT
00000025: PUSH2 0x008a
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xad8a16dc
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xad8a16dc
0000003a: EQ
0000003b: PUSH2 0x04f5
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xbbb84362
00000045: EQ
00000046: PUSH2 0x050a
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xccc143b8
00000050: EQ
00000051: PUSH2 0x0520
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xd547741f
0000005b: EQ
0000005c: PUSH2 0x0540
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x91d14854
0000006b: EQ
0000006c: PUSH2 0x04a0
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x9ee804cb
00000076: EQ
00000077: PUSH2 0x04c0
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xa217fddf
00000081: EQ
00000082: PUSH2 0x04e0
00000085: JUMPI
00000086: PUSH1 0x00
00000088: DUP1
00000089: REVERT
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x6a84a985
00000091: EQ
00000092: PUSH2 0x0394
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x6f2bd0b2
0000009c: EQ
0000009d: PUSH2 0x03aa
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x7a99ab07
000000a7: EQ
000000a8: PUSH2 0x03c0
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x7e8cad38
000000b2: EQ
000000b3: PUSH2 0x03ed
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x8456cb59
000000bd: EQ
000000be: PUSH2 0x0404
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x911f7acd
000000c8: EQ
000000c9: PUSH2 0x0419
000000cc: JUMPI
000000cd: PUSH1 0x00
000000cf: DUP1
000000d0: REVERT
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x30097ea6
000000d8: GT
000000d9: PUSH2 0x013e
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x3f4ba83a
000000e3: GT
000000e4: PUSH2 0x0118
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x3f4ba83a
000000ee: EQ
000000ef: PUSH2 0x030f
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x485cc955
000000f9: EQ
000000fa: PUSH2 0x0324
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x490ffa35
00000104: EQ
00000105: PUSH2 0x0344
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x5c975abb
0000010f: EQ
00000110: PUSH2 0x037c
00000113: JUMPI
00000114: PUSH1 0x00
00000116: DUP1
00000117: REVERT
00000118: JUMPDEST
00000119: DUP1
0000011a: PUSH4 0x30097ea6
0000011f: EQ
00000120: PUSH2 0x02b9
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x36568abe
0000012a: EQ
0000012b: PUSH2 0x02cf
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x379607f5
00000135: EQ
00000136: PUSH2 0x02ef
00000139: JUMPI
0000013a: PUSH1 0x00
0000013c: DUP1
0000013d: REVERT
0000013e: JUMPDEST
0000013f: DUP1
00000140: PUSH4 0x01ffc9a7
00000145: EQ
00000146: PUSH2 0x01c4
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0x1f7ec122
00000150: EQ
00000151: PUSH2 0x01f9
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x248a9ca3
0000015b: EQ
0000015c: PUSH2 0x0227
0000015f: JUMPI
00000160: DUP1
00000161: PUSH4 0x264cdeeb
00000166: EQ
00000167: PUSH2 0x0257
0000016a: JUMPI
0000016b: DUP1
0000016c: PUSH4 0x267fca73
00000171: EQ
00000172: PUSH2 0x0277
00000175: JUMPI
00000176: DUP1
00000177: PUSH4 0x2f2ff15d
0000017c: EQ
0000017d: PUSH2 0x0299
00000180: JUMPI
00000181: PUSH1 0x00
00000183: DUP1
00000184: REVERT
00000185: JUMPDEST
00000186: CALLDATASIZE
00000187: PUSH2 0x01bf
0000018a: JUMPI
0000018b: PUSH1 0x40
0000018d: MLOAD
0000018e: CALLVALUE
0000018f: DUP2
00000190: MSTORE
00000191: PUSH32 0x7fe3da9f8234611da2fd9f4a5069b8e72d6a5919254646d5a3f2caf93a2fb81a
000001b2: SWAP1
000001b3: PUSH1 0x20
000001b5: ADD
000001b6: PUSH1 0x40
000001b8: MLOAD
000001b9: DUP1
000001ba: SWAP2
000001bb: SUB
000001bc: SWAP1
000001bd: LOG1
000001be: STOP
000001bf: JUMPDEST
000001c0: PUSH1 0x00
000001c2: DUP1
000001c3: REVERT
000001c4: JUMPDEST
000001c5: CALLVALUE
000001c6: DUP1
000001c7: ISZERO
000001c8: PUSH2 0x01d0
000001cb: JUMPI
000001cc: PUSH1 0x00
000001ce: DUP1
000001cf: REVERT
000001d0: JUMPDEST
000001d1: POP
000001d2: PUSH2 0x01e4
000001d5: PUSH2 0x01df
000001d8: CALLDATASIZE
000001d9: PUSH1 0x04
000001db: PUSH2 0x20d2
000001de: JUMP
000001df: JUMPDEST
000001e0: PUSH2 0x0560
000001e3: JUMP
000001e4: JUMPDEST
000001e5: PUSH1 0x40
000001e7: MLOAD
000001e8: SWAP1
000001e9: ISZERO
000001ea: ISZERO
000001eb: DUP2
000001ec: MSTORE
000001ed: PUSH1 0x20
000001ef: ADD
000001f0: JUMPDEST
000001f1: PUSH1 0x40
000001f3: MLOAD
000001f4: DUP1
000001f5: SWAP2
000001f6: SUB
000001f7: SWAP1
000001f8: RETURN
000001f9: JUMPDEST
000001fa: CALLVALUE
000001fb: DUP1
000001fc: ISZERO
000001fd: PUSH2 0x0205
00000200: JUMPI
00000201: PUSH1 0x00
00000203: DUP1
00000204: REVERT
00000205: JUMPDEST
00000206: POP
00000207: PUSH2 0x0219
0000020a: PUSH2 0x0214
0000020d: CALLDATASIZE
0000020e: PUSH1 0x04
00000210: PUSH2 0x2111
00000213: JUMP
00000214: JUMPDEST
00000215: PUSH2 0x0597
00000218: JUMP
00000219: JUMPDEST
0000021a: PUSH1 0x40
0000021c: MLOAD
0000021d: SWAP1
0000021e: DUP2
0000021f: MSTORE
00000220: PUSH1 0x20
00000222: ADD
00000223: PUSH2 0x01f0
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 0x0219
00000238: PUSH2 0x0242
0000023b: CALLDATASIZE
0000023c: PUSH1 0x04
0000023e: PUSH2 0x219a
00000241: JUMP
00000242: JUMPDEST
00000243: PUSH1 0x00
00000245: SWAP1
00000246: DUP2
00000247: MSTORE
00000248: PUSH1 0x65
0000024a: PUSH1 0x20
0000024c: MSTORE
0000024d: PUSH1 0x40
0000024f: SWAP1
00000250: KECCAK256
00000251: PUSH1 0x01
00000253: ADD
00000254: SLOAD
00000255: SWAP1
00000256: JUMP
00000257: JUMPDEST
00000258: CALLVALUE
00000259: DUP1
0000025a: ISZERO
0000025b: PUSH2 0x0263
0000025e: JUMPI
0000025f: PUSH1 0x00
00000261: DUP1
00000262: REVERT
00000263: JUMPDEST
00000264: POP
00000265: PUSH2 0x0219
00000268: PUSH2 0x0272
0000026b: CALLDATASIZE
0000026c: PUSH1 0x04
0000026e: PUSH2 0x21b3
00000271: JUMP
00000272: JUMPDEST
00000273: PUSH2 0x06df
00000276: JUMP
00000277: JUMPDEST
00000278: CALLVALUE
00000279: DUP1
0000027a: ISZERO
0000027b: PUSH2 0x0283
0000027e: JUMPI
0000027f: PUSH1 0x00
00000281: DUP1
00000282: REVERT
00000283: JUMPDEST
00000284: POP
00000285: PUSH2 0x0297
00000288: PUSH2 0x0292
0000028b: CALLDATASIZE
0000028c: PUSH1 0x04
0000028e: PUSH2 0x219a
00000291: JUMP
00000292: JUMPDEST
00000293: PUSH2 0x0711
00000296: JUMP
00000297: JUMPDEST
00000298: STOP
00000299: JUMPDEST
0000029a: CALLVALUE
0000029b: DUP1
0000029c: ISZERO
0000029d: PUSH2 0x02a5
000002a0: JUMPI
000002a1: PUSH1 0x00
000002a3: DUP1
000002a4: REVERT
000002a5: JUMPDEST
000002a6: POP
000002a7: PUSH2 0x0297
000002aa: PUSH2 0x02b4
000002ad: CALLDATASIZE
000002ae: PUSH1 0x04
000002b0: PUSH2 0x21df
000002b3: JUMP
000002b4: JUMPDEST
000002b5: PUSH2 0x0763
000002b8: JUMP
000002b9: JUMPDEST
000002ba: CALLVALUE
000002bb: DUP1
000002bc: ISZERO
000002bd: PUSH2 0x02c5
000002c0: JUMPI
000002c1: PUSH1 0x00
000002c3: DUP1
000002c4: REVERT
000002c5: JUMPDEST
000002c6: POP
000002c7: PUSH2 0x0219
000002ca: PUSH1 0xff
000002cc: SLOAD
000002cd: DUP2
000002ce: JUMP
000002cf: JUMPDEST
000002d0: CALLVALUE
000002d1: DUP1
000002d2: ISZERO
000002d3: PUSH2 0x02db
000002d6: JUMPI
000002d7: PUSH1 0x00
000002d9: DUP1
000002da: REVERT
000002db: JUMPDEST
000002dc: POP
000002dd: PUSH2 0x0297
000002e0: PUSH2 0x02ea
000002e3: CALLDATASIZE
000002e4: PUSH1 0x04
000002e6: PUSH2 0x21df
000002e9: JUMP
000002ea: JUMPDEST
000002eb: PUSH2 0x078d
000002ee: JUMP
000002ef: JUMPDEST
000002f0: CALLVALUE
000002f1: DUP1
000002f2: ISZERO
000002f3: PUSH2 0x02fb
000002f6: JUMPI
000002f7: PUSH1 0x00
000002f9: DUP1
000002fa: REVERT
000002fb: JUMPDEST
000002fc: POP
000002fd: PUSH2 0x0297
00000300: PUSH2 0x030a
00000303: CALLDATASIZE
00000304: PUSH1 0x04
00000306: PUSH2 0x219a
00000309: JUMP
0000030a: JUMPDEST
0000030b: PUSH2 0x0810
0000030e: JUMP
0000030f: JUMPDEST
00000310: CALLVALUE
00000311: DUP1
00000312: ISZERO
00000313: PUSH2 0x031b
00000316: JUMPI
00000317: PUSH1 0x00
00000319: DUP1
0000031a: REVERT
0000031b: JUMPDEST
0000031c: POP
0000031d: PUSH2 0x0297
00000320: PUSH2 0x094c
00000323: JUMP
00000324: JUMPDEST
00000325: CALLVALUE
00000326: DUP1
00000327: ISZERO
00000328: PUSH2 0x0330
0000032b: JUMPI
0000032c: PUSH1 0x00
0000032e: DUP1
0000032f: REVERT
00000330: JUMPDEST
00000331: POP
00000332: PUSH2 0x0297
00000335: PUSH2 0x033f
00000338: CALLDATASIZE
00000339: PUSH1 0x04
0000033b: PUSH2 0x220f
0000033e: JUMP
0000033f: JUMPDEST
00000340: PUSH2 0x095f
00000343: JUMP
00000344: JUMPDEST
00000345: CALLVALUE
00000346: DUP1
00000347: ISZERO
00000348: PUSH2 0x0350
0000034b: JUMPI
0000034c: PUSH1 0x00
0000034e: DUP1
0000034f: REVERT
00000350: JUMPDEST
00000351: POP
00000352: PUSH1 0xfb
00000354: SLOAD
00000355: PUSH2 0x0364
00000358: SWAP1
00000359: PUSH1 0x01
0000035b: PUSH1 0x01
0000035d: PUSH1 0xa0
0000035f: SHL
00000360: SUB
00000361: AND
00000362: DUP2
00000363: JUMP
00000364: JUMPDEST
00000365: PUSH1 0x40
00000367: MLOAD
00000368: PUSH1 0x01
0000036a: PUSH1 0x01
0000036c: PUSH1 0xa0
0000036e: SHL
0000036f: SUB
00000370: SWAP1
00000371: SWAP2
00000372: AND
00000373: DUP2
00000374: MSTORE
00000375: PUSH1 0x20
00000377: ADD
00000378: PUSH2 0x01f0
0000037b: JUMP
0000037c: JUMPDEST
0000037d: CALLVALUE
0000037e: DUP1
0000037f: ISZERO
00000380: PUSH2 0x0388
00000383: JUMPI
00000384: PUSH1 0x00
00000386: DUP1
00000387: REVERT
00000388: JUMPDEST
00000389: POP
0000038a: PUSH1 0x97
0000038c: SLOAD
0000038d: PUSH1 0xff
0000038f: AND
00000390: PUSH2 0x01e4
00000393: JUMP
00000394: JUMPDEST
00000395: CALLVALUE
00000396: DUP1
00000397: ISZERO
00000398: PUSH2 0x03a0
0000039b: JUMPI
0000039c: PUSH1 0x00
0000039e: DUP1
0000039f: REVERT
000003a0: JUMPDEST
000003a1: POP
000003a2: PUSH2 0x0219
000003a5: PUSH1 0xfd
000003a7: SLOAD
000003a8: DUP2
000003a9: JUMP
000003aa: JUMPDEST
000003ab: CALLVALUE
000003ac: DUP1
000003ad: ISZERO
000003ae: PUSH2 0x03b6
000003b1: JUMPI
000003b2: PUSH1 0x00
000003b4: DUP1
000003b5: REVERT
000003b6: JUMPDEST
000003b7: POP
000003b8: PUSH2 0x0219
000003bb: PUSH1 0xfe
000003bd: SLOAD
000003be: DUP2
000003bf: JUMP
000003c0: JUMPDEST
000003c1: CALLVALUE
000003c2: DUP1
000003c3: ISZERO
000003c4: PUSH2 0x03cc
000003c7: JUMPI
000003c8: PUSH1 0x00
000003ca: DUP1
000003cb: REVERT
000003cc: JUMPDEST
000003cd: POP
000003ce: PUSH2 0x03e0
000003d1: PUSH2 0x03db
000003d4: CALLDATASIZE
000003d5: PUSH1 0x04
000003d7: PUSH2 0x223d
000003da: JUMP
000003db: JUMPDEST
000003dc: PUSH2 0x0acf
000003df: JUMP
000003e0: JUMPDEST
000003e1: PUSH1 0x40
000003e3: MLOAD
000003e4: PUSH2 0x01f0
000003e7: SWAP2
000003e8: SWAP1
000003e9: PUSH2 0x225a
000003ec: JUMP
000003ed: JUMPDEST
000003ee: CALLVALUE
000003ef: DUP1
000003f0: ISZERO
000003f1: PUSH2 0x03f9
000003f4: JUMPI
000003f5: PUSH1 0x00
000003f7: DUP1
000003f8: REVERT
000003f9: JUMPDEST
000003fa: POP
000003fb: PUSH2 0x0219
000003fe: PUSH2 0x0100
00000401: SLOAD
00000402: DUP2
00000403: JUMP
00000404: JUMPDEST
00000405: CALLVALUE
00000406: DUP1
00000407: ISZERO
00000408: PUSH2 0x0410
0000040b: JUMPI
0000040c: PUSH1 0x00
0000040e: DUP1
0000040f: REVERT
00000410: JUMPDEST
00000411: POP
00000412: PUSH2 0x0297
00000415: PUSH2 0x0b3c
00000418: JUMP
00000419: JUMPDEST
0000041a: CALLVALUE
0000041b: DUP1
0000041c: ISZERO
0000041d: PUSH2 0x0425
00000420: JUMPI
00000421: PUSH1 0x00
00000423: DUP1
00000424: REVERT
00000425: JUMPDEST
00000426: POP
00000427: PUSH2 0x046e
0000042a: PUSH2 0x0434
0000042d: CALLDATASIZE
0000042e: PUSH1 0x04
00000430: PUSH2 0x219a
00000433: JUMP
00000434: JUMPDEST
00000435: PUSH2 0x0101
00000438: PUSH1 0x20
0000043a: MSTORE
0000043b: PUSH1 0x00
0000043d: SWAP1
0000043e: DUP2
0000043f: MSTORE
00000440: PUSH1 0x40
00000442: SWAP1
00000443: KECCAK256
00000444: DUP1
00000445: SLOAD
00000446: PUSH1 0x01
00000448: DUP3
00000449: ADD
0000044a: SLOAD
0000044b: PUSH1 0x02
0000044d: DUP4
0000044e: ADD
0000044f: SLOAD
00000450: PUSH1 0x03
00000452: DUP5
00000453: ADD
00000454: SLOAD
00000455: PUSH1 0x04
00000457: SWAP1
00000458: SWAP5
00000459: ADD
0000045a: SLOAD
0000045b: PUSH1 0x01
0000045d: PUSH1 0x01
0000045f: PUSH1 0xa0
00000461: SHL
00000462: SUB
00000463: SWAP1
00000464: SWAP4
00000465: AND
00000466: SWAP4
00000467: SWAP2
00000468: SWAP3
00000469: SWAP1
0000046a: SWAP2
0000046b: SWAP1
0000046c: DUP6
0000046d: JUMP
0000046e: JUMPDEST
0000046f: PUSH1 0x40
00000471: DUP1
00000472: MLOAD
00000473: PUSH1 0x01
00000475: PUSH1 0x01
00000477: PUSH1 0xa0
00000479: SHL
0000047a: SUB
0000047b: SWAP1
0000047c: SWAP7
0000047d: AND
0000047e: DUP7
0000047f: MSTORE
00000480: PUSH1 0x20
00000482: DUP7
00000483: ADD
00000484: SWAP5
00000485: SWAP1
00000486: SWAP5
00000487: MSTORE
00000488: SWAP3
00000489: DUP5
0000048a: ADD
0000048b: SWAP2
0000048c: SWAP1
0000048d: SWAP2
0000048e: MSTORE
0000048f: PUSH1 0x60
00000491: DUP4
00000492: ADD
00000493: MSTORE
00000494: PUSH1 0x80
00000496: DUP3
00000497: ADD
00000498: MSTORE
00000499: PUSH1 0xa0
0000049b: ADD
0000049c: PUSH2 0x01f0
0000049f: JUMP
000004a0: JUMPDEST
000004a1: CALLVALUE
000004a2: DUP1
000004a3: ISZERO
000004a4: PUSH2 0x04ac
000004a7: JUMPI
000004a8: PUSH1 0x00
000004aa: DUP1
000004ab: REVERT
000004ac: JUMPDEST
000004ad: POP
000004ae: PUSH2 0x01e4
000004b1: PUSH2 0x04bb
000004b4: CALLDATASIZE
000004b5: PUSH1 0x04
000004b7: PUSH2 0x21df
000004ba: JUMP
000004bb: JUMPDEST
000004bc: PUSH2 0x0b5d
000004bf: JUMP
000004c0: JUMPDEST
000004c1: CALLVALUE
000004c2: DUP1
000004c3: ISZERO
000004c4: PUSH2 0x04cc
000004c7: JUMPI
000004c8: PUSH1 0x00
000004ca: DUP1
000004cb: REVERT
000004cc: JUMPDEST
000004cd: POP
000004ce: PUSH2 0x0297
000004d1: PUSH2 0x04db
000004d4: CALLDATASIZE
000004d5: PUSH1 0x04
000004d7: PUSH2 0x223d
000004da: JUMP
000004db: JUMPDEST
000004dc: PUSH2 0x0b88
000004df: JUMP
000004e0: JUMPDEST
000004e1: CALLVALUE
000004e2: DUP1
000004e3: ISZERO
000004e4: PUSH2 0x04ec
000004e7: JUMPI
000004e8: PUSH1 0x00
000004ea: DUP1
000004eb: REVERT
000004ec: JUMPDEST
000004ed: POP
000004ee: PUSH2 0x0219
000004f1: PUSH1 0x00
000004f3: DUP2
000004f4: JUMP
000004f5: JUMPDEST
000004f6: CALLVALUE
000004f7: DUP1
000004f8: ISZERO
000004f9: PUSH2 0x0501
000004fc: JUMPI
000004fd: PUSH1 0x00
000004ff: DUP1
00000500: REVERT
00000501: JUMPDEST
00000502: POP
00000503: PUSH2 0x0297
00000506: PUSH2 0x0bf1
00000509: JUMP
0000050a: JUMPDEST
0000050b: CALLVALUE
0000050c: DUP1
0000050d: ISZERO
0000050e: PUSH2 0x0516
00000511: JUMPI
00000512: PUSH1 0x00
00000514: DUP1
00000515: REVERT
00000516: JUMPDEST
00000517: POP
00000518: PUSH2 0x0219
0000051b: PUSH1 0xfc
0000051d: SLOAD
0000051e: DUP2
0000051f: JUMP
00000520: JUMPDEST
00000521: CALLVALUE
00000522: DUP1
00000523: ISZERO
00000524: PUSH2 0x052c
00000527: JUMPI
00000528: PUSH1 0x00
0000052a: DUP1
0000052b: REVERT
0000052c: JUMPDEST
0000052d: POP
0000052e: PUSH2 0x0219
00000531: PUSH2 0x053b
00000534: CALLDATASIZE
00000535: PUSH1 0x04
00000537: PUSH2 0x21df
0000053a: JUMP
0000053b: JUMPDEST
0000053c: PUSH2 0x126c
0000053f: JUMP
00000540: JUMPDEST
00000541: CALLVALUE
00000542: DUP1
00000543: ISZERO
00000544: PUSH2 0x054c
00000547: JUMPI
00000548: PUSH1 0x00
0000054a: DUP1
0000054b: REVERT
0000054c: JUMPDEST
0000054d: POP
0000054e: PUSH2 0x0297
00000551: PUSH2 0x055b
00000554: CALLDATASIZE
00000555: PUSH1 0x04
00000557: PUSH2 0x21df
0000055a: JUMP
0000055b: JUMPDEST
0000055c: PUSH2 0x168e
0000055f: JUMP
00000560: JUMPDEST
00000561: PUSH1 0x00
00000563: PUSH1 0x01
00000565: PUSH1 0x01
00000567: PUSH1 0xe0
00000569: SHL
0000056a: SUB
0000056b: NOT
0000056c: DUP3
0000056d: AND
0000056e: PUSH4 0x7965db0b
00000573: PUSH1 0xe0
00000575: SHL
00000576: EQ
00000577: DUP1
00000578: PUSH2 0x0591
0000057b: JUMPI
0000057c: POP
0000057d: PUSH4 0x01ffc9a7
00000582: PUSH1 0xe0
00000584: SHL
00000585: PUSH1 0x01
00000587: PUSH1 0x01
00000589: PUSH1 0xe0
0000058b: SHL
0000058c: SUB
0000058d: NOT
0000058e: DUP4
0000058f: AND
00000590: EQ
00000591: JUMPDEST
00000592: SWAP3
00000593: SWAP2
00000594: POP
00000595: POP
00000596: JUMP
00000597: JUMPDEST
00000598: PUSH1 0x00
0000059a: PUSH2 0x05a1
0000059d: PUSH2 0x16b3
000005a0: JUMP
000005a1: JUMPDEST
000005a2: PUSH1 0xfb
000005a4: SLOAD
000005a5: PUSH1 0x40
000005a7: DUP1
000005a8: MLOAD
000005a9: PUSH4 0x05d8bc03
000005ae: PUSH1 0xe3
000005b0: SHL
000005b1: DUP2
000005b2: MSTORE
000005b3: SWAP1
000005b4: MLOAD
000005b5: PUSH1 0x00
000005b7: SWAP3
000005b8: PUSH1 0x01
000005ba: PUSH1 0x01
000005bc: PUSH1 0xa0
000005be: SHL
000005bf: SUB
000005c0: AND
000005c1: SWAP2
000005c2: PUSH4 0x2ec5e018
000005c7: SWAP2
000005c8: PUSH1 0x04
000005ca: DUP1
000005cb: DUP4
000005cc: ADD
000005cd: SWAP3
000005ce: PUSH1 0x20
000005d0: SWAP3
000005d1: SWAP2
000005d2: SWAP1
000005d3: DUP3
000005d4: SWAP1
000005d5: SUB
000005d6: ADD
000005d7: DUP2
000005d8: DUP7
000005d9: GAS
000005da: STATICCALL
000005db: ISZERO
000005dc: DUP1
000005dd: ISZERO
000005de: PUSH2 0x05eb
000005e1: JUMPI
000005e2: RETURNDATASIZE
000005e3: PUSH1 0x00
000005e5: DUP1
000005e6: RETURNDATACOPY
000005e7: RETURNDATASIZE
000005e8: PUSH1 0x00
000005ea: REVERT
000005eb: JUMPDEST
000005ec: POP
000005ed: POP
000005ee: POP
000005ef: POP
000005f0: PUSH1 0x40
000005f2: MLOAD
000005f3: RETURNDATASIZE
000005f4: PUSH1 0x1f
000005f6: NOT
000005f7: PUSH1 0x1f
000005f9: DUP3
000005fa: ADD
000005fb: AND
000005fc: DUP3
000005fd: ADD
000005fe: DUP1
000005ff: PUSH1 0x40
00000601: MSTORE
00000602: POP
00000603: DUP2
00000604: ADD
00000605: SWAP1
00000606: PUSH2 0x060f
00000609: SWAP2
0000060a: SWAP1
0000060b: PUSH2 0x229e
0000060e: JUMP
0000060f: JUMPDEST
00000610: PUSH1 0x01
00000612: PUSH1 0x01
00000614: PUSH1 0xa0
00000616: SHL
00000617: SUB
00000618: AND
00000619: PUSH4 0x0a28a477
0000061e: DUP8
0000061f: PUSH1 0x40
00000621: MLOAD
00000622: DUP3
00000623: PUSH4 0xffffffff
00000628: AND
00000629: PUSH1 0xe0
0000062b: SHL
0000062c: DUP2
0000062d: MSTORE
0000062e: PUSH1 0x04
00000630: ADD
00000631: PUSH2 0x063c
00000634: SWAP2
00000635: DUP2
00000636: MSTORE
00000637: PUSH1 0x20
00000639: ADD
0000063a: SWAP1
0000063b: JUMP
0000063c: JUMPDEST
0000063d: PUSH1 0x20
0000063f: PUSH1 0x40
00000641: MLOAD
00000642: DUP1
00000643: DUP4
00000644: SUB
00000645: DUP2
00000646: DUP7
00000647: GAS
00000648: STATICCALL
00000649: ISZERO
0000064a: DUP1
0000064b: ISZERO
0000064c: PUSH2 0x0659
0000064f: JUMPI
00000650: RETURNDATASIZE
00000651: PUSH1 0x00
00000653: DUP1
00000654: RETURNDATACOPY
00000655: RETURNDATASIZE
00000656: PUSH1 0x00
00000658: REVERT
00000659: JUMPDEST
0000065a: POP
0000065b: POP
0000065c: POP
0000065d: POP
0000065e: PUSH1 0x40
00000660: MLOAD
00000661: RETURNDATASIZE
00000662: PUSH1 0x1f
00000664: NOT
00000665: PUSH1 0x1f
00000667: DUP3
00000668: ADD
00000669: AND
0000066a: DUP3
0000066b: ADD
0000066c: DUP1
0000066d: PUSH1 0x40
0000066f: MSTORE
00000670: POP
00000671: DUP2
00000672: ADD
00000673: SWAP1
00000674: PUSH2 0x067d
00000677: SWAP2
00000678: SWAP1
00000679: PUSH2 0x22bb
0000067c: JUMP
0000067d: JUMPDEST
0000067e: SWAP1
0000067f: POP
00000680: PUSH2 0x0689
00000683: DUP7
00000684: DUP7
00000685: PUSH2 0x126c
00000688: JUMP
00000689: JUMPDEST
0000068a: SWAP2
0000068b: POP
0000068c: CALLER
0000068d: PUSH1 0x01
0000068f: PUSH1 0x01
00000691: PUSH1 0xa0
00000693: SHL
00000694: SUB
00000695: AND
00000696: PUSH32 0x55626d69fbc900ede85be4fdb1001accaeddbaefeff42781bdd3251197839bbe
000006b7: DUP7
000006b8: DUP5
000006b9: DUP10
000006ba: DUP6
000006bb: DUP10
000006bc: DUP10
000006bd: PUSH1 0x40
000006bf: MLOAD
000006c0: PUSH2 0x06ce
000006c3: SWAP7
000006c4: SWAP6
000006c5: SWAP5
000006c6: SWAP4
000006c7: SWAP3
000006c8: SWAP2
000006c9: SWAP1
000006ca: PUSH2 0x22d4
000006cd: JUMP
000006ce: JUMPDEST
000006cf: PUSH1 0x40
000006d1: MLOAD
000006d2: DUP1
000006d3: SWAP2
000006d4: SUB
000006d5: SWAP1
000006d6: LOG2
000006d7: POP
000006d8: SWAP5
000006d9: SWAP4
000006da: POP
000006db: POP
000006dc: POP
000006dd: POP
000006de: JUMP
000006df: JUMPDEST
000006e0: PUSH2 0x0102
000006e3: PUSH1 0x20
000006e5: MSTORE
000006e6: DUP2
000006e7: PUSH1 0x00
000006e9: MSTORE
000006ea: PUSH1 0x40
000006ec: PUSH1 0x00
000006ee: KECCAK256
000006ef: DUP2
000006f0: DUP2
000006f1: SLOAD
000006f2: DUP2
000006f3: LT
000006f4: PUSH2 0x06fc
000006f7: JUMPI
000006f8: PUSH1 0x00
000006fa: DUP1
000006fb: REVERT
000006fc: JUMPDEST
000006fd: SWAP1
000006fe: PUSH1 0x00
00000700: MSTORE
00000701: PUSH1 0x20
00000703: PUSH1 0x00
00000705: KECCAK256
00000706: ADD
00000707: PUSH1 0x00
00000709: SWAP2
0000070a: POP
0000070b: SWAP2
0000070c: POP
0000070d: POP
0000070e: SLOAD
0000070f: DUP2
00000710: JUMP
00000711: JUMPDEST
00000712: PUSH1 0xfb
00000714: SLOAD
00000715: PUSH2 0x0728
00000718: SWAP1
00000719: CALLER
0000071a: SWAP1
0000071b: PUSH1 0x01
0000071d: PUSH1 0x01
0000071f: PUSH1 0xa0
00000721: SHL
00000722: SUB
00000723: AND
00000724: PUSH2 0x16f9
00000727: JUMP
00000728: JUMPDEST
00000729: PUSH1 0xfe
0000072b: DUP2
0000072c: SWAP1
0000072d: SSTORE
0000072e: PUSH1 0x40
00000730: MLOAD
00000731: DUP2
00000732: DUP2
00000733: MSTORE
00000734: PUSH32 0x7ffbe87ac4b7820fd4ca4ac8c7c7820cc79c7cdd9631ac083c06bb833be63587
00000755: SWAP1
00000756: PUSH1 0x20
00000758: ADD
00000759: PUSH1 0x40
0000075b: MLOAD
0000075c: DUP1
0000075d: SWAP2
0000075e: SUB
0000075f: SWAP1
00000760: LOG1
00000761: POP
00000762: JUMP
00000763: JUMPDEST
00000764: PUSH1 0x00
00000766: DUP3
00000767: DUP2
00000768: MSTORE
00000769: PUSH1 0x65
0000076b: PUSH1 0x20
0000076d: MSTORE
0000076e: PUSH1 0x40
00000770: SWAP1
00000771: KECCAK256
00000772: PUSH1 0x01
00000774: ADD
00000775: SLOAD
00000776: PUSH2 0x077e
00000779: DUP2
0000077a: PUSH2 0x1780
0000077d: JUMP
0000077e: JUMPDEST
0000077f: PUSH2 0x0788
00000782: DUP4
00000783: DUP4
00000784: PUSH2 0x178a
00000787: JUMP
00000788: JUMPDEST
00000789: POP
0000078a: POP
0000078b: POP
0000078c: JUMP
0000078d: JUMPDEST
0000078e: PUSH1 0x01
00000790: PUSH1 0x01
00000792: PUSH1 0xa0
00000794: SHL
00000795: SUB
00000796: DUP2
00000797: AND
00000798: CALLER
00000799: EQ
0000079a: PUSH2 0x0802
0000079d: JUMPI
0000079e: PUSH1 0x40
000007a0: MLOAD
000007a1: PUSH3 0x461bcd
000007a5: PUSH1 0xe5
000007a7: SHL
000007a8: DUP2
000007a9: MSTORE
000007aa: PUSH1 0x20
000007ac: PUSH1 0x04
000007ae: DUP3
000007af: ADD
000007b0: MSTORE
000007b1: PUSH1 0x2f
000007b3: PUSH1 0x24
000007b5: DUP3
000007b6: ADD
000007b7: MSTORE
000007b8: PUSH32 0x416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e6365
000007d9: PUSH1 0x44
000007db: DUP3
000007dc: ADD
000007dd: MSTORE
000007de: PUSH15 0x103937b632b9903337b91039b2b633
000007ee: PUSH1 0x89
000007f0: SHL
000007f1: PUSH1 0x64
000007f3: DUP3
000007f4: ADD
000007f5: MSTORE
000007f6: PUSH1 0x84
000007f8: ADD
000007f9: JUMPDEST
000007fa: PUSH1 0x40
000007fc: MLOAD
000007fd: DUP1
000007fe: SWAP2
000007ff: SUB
00000800: SWAP1
00000801: REVERT
00000802: JUMPDEST
00000803: PUSH2 0x080c
00000806: DUP3
00000807: DUP3
00000808: PUSH2 0x1810
0000080b: JUMP
0000080c: JUMPDEST
0000080d: POP
0000080e: POP
0000080f: JUMP
00000810: JUMPDEST
00000811: PUSH2 0x0818
00000814: PUSH2 0x1877
00000817: JUMP
00000818: JUMPDEST
00000819: PUSH1 0xfc
0000081b: SLOAD
0000081c: DUP2
0000081d: LT
0000081e: PUSH2 0x083d
00000821: JUMPI
00000822: PUSH1 0x40
00000824: MLOAD
00000825: PUSH4 0xd0e538ad
0000082a: PUSH1 0xe0
0000082c: SHL
0000082d: DUP2
0000082e: MSTORE
0000082f: PUSH1 0x04
00000831: DUP2
00000832: ADD
00000833: DUP3
00000834: SWAP1
00000835: MSTORE
00000836: PUSH1 0x24
00000838: ADD
00000839: PUSH2 0x07f9
0000083c: JUMP
0000083d: JUMPDEST
0000083e: PUSH1 0x00
00000840: DUP2
00000841: DUP2
00000842: MSTORE
00000843: PUSH2 0x0101
00000846: PUSH1 0x20
00000848: SWAP1
00000849: DUP2
0000084a: MSTORE
0000084b: PUSH1 0x40
0000084d: SWAP2
0000084e: DUP3
0000084f: SWAP1
00000850: KECCAK256
00000851: DUP3
00000852: MLOAD
00000853: PUSH1 0xa0
00000855: DUP2
00000856: ADD
00000857: DUP5
00000858: MSTORE
00000859: DUP2
0000085a: SLOAD
0000085b: PUSH1 0x01
0000085d: PUSH1 0x01
0000085f: PUSH1 0xa0
00000861: SHL
00000862: SUB
00000863: AND
00000864: DUP1
00000865: DUP3
00000866: MSTORE
00000867: PUSH1 0x01
00000869: DUP4
0000086a: ADD
0000086b: SLOAD
0000086c: SWAP4
0000086d: DUP3
0000086e: ADD
0000086f: SWAP4
00000870: SWAP1
00000871: SWAP4
00000872: MSTORE
00000873: PUSH1 0x02
00000875: DUP3
00000876: ADD
00000877: SLOAD
00000878: SWAP4
00000879: DUP2
0000087a: ADD
0000087b: SWAP4
0000087c: SWAP1
0000087d: SWAP4
0000087e: MSTORE
0000087f: PUSH1 0x03
00000881: DUP2
00000882: ADD
00000883: SLOAD
00000884: PUSH1 0x60
00000886: DUP5
00000887: ADD
00000888: MSTORE
00000889: PUSH1 0x04
0000088b: ADD
0000088c: SLOAD
0000088d: PUSH1 0x80
0000088f: DUP4
00000890: ADD
00000891: MSTORE
00000892: CALLER
00000893: EQ
00000894: PUSH2 0x08b0
00000897: JUMPI
00000898: PUSH1 0x40
0000089a: MLOAD
0000089b: PUSH4 0x7f1cdd15
000008a0: PUSH1 0xe0
000008a2: SHL
000008a3: DUP2
000008a4: MSTORE
000008a5: PUSH1 0x04
000008a7: ADD
000008a8: PUSH1 0x40
000008aa: MLOAD
000008ab: DUP1
000008ac: SWAP2
000008ad: SUB
000008ae: SWAP1
000008af: REVERT
000008b0: JUMPDEST
000008b1: DUP1
000008b2: PUSH1 0x40
000008b4: ADD
000008b5: MLOAD
000008b6: PUSH1 0x00
000008b8: SUB
000008b9: PUSH2 0x08d8
000008bc: JUMPI
000008bd: PUSH1 0x40
000008bf: MLOAD
000008c0: PUSH4 0xaaed59dd
000008c5: PUSH1 0xe0
000008c7: SHL
000008c8: DUP2
000008c9: MSTORE
000008ca: PUSH1 0x04
000008cc: DUP2
000008cd: ADD
000008ce: DUP4
000008cf: SWAP1
000008d0: MSTORE
000008d1: PUSH1 0x24
000008d3: ADD
000008d4: PUSH2 0x07f9
000008d7: JUMP
000008d8: JUMPDEST
000008d9: PUSH1 0x60
000008db: DUP2
000008dc: ADD
000008dd: MLOAD
000008de: DUP2
000008df: MLOAD
000008e0: PUSH2 0x08ea
000008e3: SWAP1
000008e4: DUP5
000008e5: SWAP1
000008e6: PUSH2 0x18d0
000008e9: JUMP
000008ea: JUMPDEST
000008eb: DUP2
000008ec: MLOAD
000008ed: PUSH2 0x08f6
000008f0: SWAP1
000008f1: DUP3
000008f2: PUSH2 0x19e4
000008f5: JUMP
000008f6: JUMPDEST
000008f7: DUP2
000008f8: MLOAD
000008f9: PUSH1 0x40
000008fb: DUP1
000008fc: MLOAD
000008fd: PUSH1 0x01
000008ff: PUSH1 0x01
00000901: PUSH1 0xa0
00000903: SHL
00000904: SUB
00000905: SWAP1
00000906: SWAP3
00000907: AND
00000908: DUP3
00000909: MSTORE
0000090a: PUSH1 0x20
0000090c: DUP3
0000090d: ADD
0000090e: DUP4
0000090f: SWAP1
00000910: MSTORE
00000911: CALLER
00000912: SWAP2
00000913: PUSH32 0xc41189bc1876fc0625eb89bb16008df49e2dba7df50d91b9d3b78ef68a3ced50
00000934: SWAP2
00000935: ADD
00000936: PUSH1 0x40
00000938: MLOAD
00000939: DUP1
0000093a: SWAP2
0000093b: SUB
0000093c: SWAP1
0000093d: LOG2
0000093e: POP
0000093f: POP
00000940: PUSH2 0x0949
00000943: PUSH1 0x01
00000945: PUSH1 0xc9
00000947: SSTORE
00000948: JUMP
00000949: JUMPDEST
0000094a: POP
0000094b: JUMP
0000094c: JUMPDEST
0000094d: PUSH1 0x00
0000094f: PUSH2 0x0957
00000952: DUP2
00000953: PUSH2 0x1780
00000956: JUMP
00000957: JUMPDEST
00000958: PUSH2 0x0949
0000095b: PUSH2 0x1a80
0000095e: JUMP
0000095f: JUMPDEST
00000960: PUSH1 0x00
00000962: SLOAD
00000963: PUSH2 0x0100
00000966: SWAP1
00000967: DIV
00000968: PUSH1 0xff
0000096a: AND
0000096b: ISZERO
0000096c: DUP1
0000096d: DUP1
0000096e: ISZERO
0000096f: PUSH2 0x097f
00000972: JUMPI
00000973: POP
00000974: PUSH1 0x00
00000976: SLOAD
00000977: PUSH1 0x01
00000979: PUSH1 0xff
0000097b: SWAP1
0000097c: SWAP2
0000097d: AND
0000097e: LT
0000097f: JUMPDEST
00000980: DUP1
00000981: PUSH2 0x0999
00000984: JUMPI
00000985: POP
00000986: ADDRESS
00000987: EXTCODESIZE
00000988: ISZERO
00000989: DUP1
0000098a: ISZERO
0000098b: PUSH2 0x0999
0000098e: JUMPI
0000098f: POP
00000990: PUSH1 0x00
00000992: SLOAD
00000993: PUSH1 0xff
00000995: AND
00000996: PUSH1 0x01
00000998: EQ
00000999: JUMPDEST
0000099a: PUSH2 0x09fc
0000099d: JUMPI
0000099e: PUSH1 0x40
000009a0: MLOAD
000009a1: PUSH3 0x461bcd
000009a5: PUSH1 0xe5
000009a7: SHL
000009a8: DUP2
000009a9: MSTORE
000009aa: PUSH1 0x20
000009ac: PUSH1 0x04
000009ae: DUP3
000009af: ADD
000009b0: MSTORE
000009b1: PUSH1 0x2e
000009b3: PUSH1 0x24
000009b5: DUP3
000009b6: ADD
000009b7: MSTORE
000009b8: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
000009d9: PUSH1 0x44
000009db: DUP3
000009dc: ADD
000009dd: MSTORE
000009de: PUSH14 0x191e481a5b9a5d1a585b1a5e9959
000009ed: PUSH1 0x92
000009ef: SHL
000009f0: PUSH1 0x64
000009f2: DUP3
000009f3: ADD
000009f4: MSTORE
000009f5: PUSH1 0x84
000009f7: ADD
000009f8: PUSH2 0x07f9
000009fb: JUMP
000009fc: JUMPDEST
000009fd: PUSH1 0x00
000009ff: DUP1
00000a00: SLOAD
00000a01: PUSH1 0xff
00000a03: NOT
00000a04: AND
00000a05: PUSH1 0x01
00000a07: OR
00000a08: SWAP1
00000a09: SSTORE
00000a0a: DUP1
00000a0b: ISZERO
00000a0c: PUSH2 0x0a1f
00000a0f: JUMPI
00000a10: PUSH1 0x00
00000a12: DUP1
00000a13: SLOAD
00000a14: PUSH2 0xff00
00000a17: NOT
00000a18: AND
00000a19: PUSH2 0x0100
00000a1c: OR
00000a1d: SWAP1
00000a1e: SSTORE
00000a1f: JUMPDEST
00000a20: PUSH2 0x0a28
00000a23: DUP4
00000a24: PUSH2 0x1ad2
00000a27: JUMP
00000a28: JUMPDEST
00000a29: PUSH2 0x0a31
00000a2c: DUP3
00000a2d: PUSH2 0x1ad2
00000a30: JUMP
00000a31: JUMPDEST
00000a32: PUSH2 0x0a39
00000a35: PUSH2 0x1af9
00000a38: JUMP
00000a39: JUMPDEST
00000a3a: PUSH2 0x0a41
00000a3d: PUSH2 0x1b20
00000a40: JUMP
00000a41: JUMPDEST
00000a42: PUSH2 0x0a49
00000a45: PUSH2 0x1b4f
00000a48: JUMP
00000a49: JUMPDEST
00000a4a: PUSH1 0xfb
00000a4c: DUP1
00000a4d: SLOAD
00000a4e: PUSH1 0x01
00000a50: PUSH1 0x01
00000a52: PUSH1 0xa0
00000a54: SHL
00000a55: SUB
00000a56: NOT
00000a57: AND
00000a58: PUSH1 0x01
00000a5a: PUSH1 0x01
00000a5c: PUSH1 0xa0
00000a5e: SHL
00000a5f: SUB
00000a60: DUP5
00000a61: AND
00000a62: OR
00000a63: SWAP1
00000a64: SSTORE
00000a65: PUSH1 0x01
00000a67: PUSH1 0xfc
00000a69: DUP2
00000a6a: SWAP1
00000a6b: SSTORE
00000a6c: PUSH1 0xfd
00000a6e: SSTORE
00000a6f: PUSH1 0x32
00000a71: PUSH1 0xfe
00000a73: SSTORE
00000a74: PUSH2 0x03e8
00000a77: PUSH2 0x0100
00000a7a: SSTORE
00000a7b: PUSH2 0x0a85
00000a7e: PUSH1 0x00
00000a80: DUP5
00000a81: PUSH2 0x178a
00000a84: JUMP
00000a85: JUMPDEST
00000a86: DUP1
00000a87: ISZERO
00000a88: PUSH2 0x0788
00000a8b: JUMPI
00000a8c: PUSH1 0x00
00000a8e: DUP1
00000a8f: SLOAD
00000a90: PUSH2 0xff00
00000a93: NOT
00000a94: AND
00000a95: SWAP1
00000a96: SSTORE
00000a97: PUSH1 0x40
00000a99: MLOAD
00000a9a: PUSH1 0x01
00000a9c: DUP2
00000a9d: MSTORE
00000a9e: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498
00000abf: SWAP1
00000ac0: PUSH1 0x20
00000ac2: ADD
00000ac3: PUSH1 0x40
00000ac5: MLOAD
00000ac6: DUP1
00000ac7: SWAP2
00000ac8: SUB
00000ac9: SWAP1
00000aca: LOG1
00000acb: POP
00000acc: POP
00000acd: POP
00000ace: JUMP
00000acf: JUMPDEST
00000ad0: PUSH1 0x01
00000ad2: PUSH1 0x01
00000ad4: PUSH1 0xa0
00000ad6: SHL
00000ad7: SUB
00000ad8: DUP2
00000ad9: AND
00000ada: PUSH1 0x00
00000adc: SWAP1
00000add: DUP2
00000ade: MSTORE
00000adf: PUSH2 0x0102
00000ae2: PUSH1 0x20
00000ae4: SWAP1
00000ae5: DUP2
00000ae6: MSTORE
00000ae7: PUSH1 0x40
00000ae9: SWAP2
00000aea: DUP3
00000aeb: SWAP1
00000aec: KECCAK256
00000aed: DUP1
00000aee: SLOAD
00000aef: DUP4
00000af0: MLOAD
00000af1: DUP2
00000af2: DUP5
00000af3: MUL
00000af4: DUP2
00000af5: ADD
00000af6: DUP5
00000af7: ADD
00000af8: SWAP1
00000af9: SWAP5
00000afa: MSTORE
00000afb: DUP1
00000afc: DUP5
00000afd: MSTORE
00000afe: PUSH1 0x60
00000b00: SWAP4
00000b01: SWAP3
00000b02: DUP4
00000b03: ADD
00000b04: DUP3
00000b05: DUP3
00000b06: DUP1
00000b07: ISZERO
00000b08: PUSH2 0x0b30
00000b0b: JUMPI
00000b0c: PUSH1 0x20
00000b0e: MUL
00000b0f: DUP3
00000b10: ADD
00000b11: SWAP2
00000b12: SWAP1
00000b13: PUSH1 0x00
00000b15: MSTORE
00000b16: PUSH1 0x20
00000b18: PUSH1 0x00
00000b1a: KECCAK256
00000b1b: SWAP1
00000b1c: JUMPDEST
00000b1d: DUP2
00000b1e: SLOAD
00000b1f: DUP2
00000b20: MSTORE
00000b21: PUSH1 0x20
00000b23: ADD
00000b24: SWAP1
00000b25: PUSH1 0x01
00000b27: ADD
00000b28: SWAP1
00000b29: DUP1
00000b2a: DUP4
00000b2b: GT
00000b2c: PUSH2 0x0b1c
00000b2f: JUMPI
00000b30: JUMPDEST
00000b31: POP
00000b32: POP
00000b33: POP
00000b34: POP
00000b35: POP
00000b36: SWAP1
00000b37: POP
00000b38: SWAP2
00000b39: SWAP1
00000b3a: POP
00000b3b: JUMP
00000b3c: JUMPDEST
00000b3d: PUSH1 0xfb
00000b3f: SLOAD
00000b40: PUSH2 0x0b53
00000b43: SWAP1
00000b44: CALLER
00000b45: SWAP1
00000b46: PUSH1 0x01
00000b48: PUSH1 0x01
00000b4a: PUSH1 0xa0
00000b4c: SHL
00000b4d: SUB
00000b4e: AND
00000b4f: PUSH2 0x16f9
00000b52: JUMP
00000b53: JUMPDEST
00000b54: PUSH2 0x0b5b
00000b57: PUSH2 0x1b7e
00000b5a: JUMP
00000b5b: JUMPDEST
00000b5c: JUMP
00000b5d: JUMPDEST
00000b5e: PUSH1 0x00
00000b60: SWAP2
00000b61: DUP3
00000b62: MSTORE
00000b63: PUSH1 0x65
00000b65: PUSH1 0x20
00000b67: SWAP1
00000b68: DUP2
00000b69: MSTORE
00000b6a: PUSH1 0x40
00000b6c: DUP1
00000b6d: DUP5
00000b6e: KECCAK256
00000b6f: PUSH1 0x01
00000b71: PUSH1 0x01
00000b73: PUSH1 0xa0
00000b75: SHL
00000b76: SUB
00000b77: SWAP4
00000b78: SWAP1
00000b79: SWAP4
00000b7a: AND
00000b7b: DUP5
00000b7c: MSTORE
00000b7d: SWAP2
00000b7e: SWAP1
00000b7f: MSTORE
00000b80: SWAP1
00000b81: KECCAK256
00000b82: SLOAD
00000b83: PUSH1 0xff
00000b85: AND
00000b86: SWAP1
00000b87: JUMP
00000b88: JUMPDEST
00000b89: PUSH1 0x00
00000b8b: PUSH2 0x0b93
00000b8e: DUP2
00000b8f: PUSH2 0x1780
00000b92: JUMP
00000b93: JUMPDEST
00000b94: PUSH2 0x0b9c
00000b97: DUP3
00000b98: PUSH2 0x1ad2
00000b9b: JUMP
00000b9c: JUMPDEST
00000b9d: PUSH1 0xfb
00000b9f: DUP1
00000ba0: SLOAD
00000ba1: PUSH1 0x01
00000ba3: PUSH1 0x01
00000ba5: PUSH1 0xa0
00000ba7: SHL
00000ba8: SUB
00000ba9: NOT
00000baa: AND
00000bab: PUSH1 0x01
00000bad: PUSH1 0x01
00000baf: PUSH1 0xa0
00000bb1: SHL
00000bb2: SUB
00000bb3: DUP5
00000bb4: AND
00000bb5: SWAP1
00000bb6: DUP2
00000bb7: OR
00000bb8: SWAP1
00000bb9: SWAP2
00000bba: SSTORE
00000bbb: PUSH1 0x40
00000bbd: MLOAD
00000bbe: SWAP1
00000bbf: DUP2
00000bc0: MSTORE
00000bc1: PUSH32 0xdb2219043d7b197cb235f1af0cf6d782d77dee3de19e3f4fb6d39aae633b4485
00000be2: SWAP1
00000be3: PUSH1 0x20
00000be5: ADD
00000be6: PUSH1 0x40
00000be8: MLOAD
00000be9: DUP1
00000bea: SWAP2
00000beb: SUB
00000bec: SWAP1
00000bed: LOG1
00000bee: POP
00000bef: POP
00000bf0: JUMP
00000bf1: JUMPDEST
00000bf2: PUSH2 0x0bf9
00000bf5: PUSH2 0x1877
00000bf8: JUMP
00000bf9: JUMPDEST
00000bfa: PUSH2 0x0c01
00000bfd: PUSH2 0x16b3
00000c00: JUMP
00000c01: JUMPDEST
00000c02: PUSH1 0xfb
00000c04: PUSH1 0x00
00000c06: SWAP1
00000c07: SLOAD
00000c08: SWAP1
00000c09: PUSH2 0x0100
00000c0c: EXP
00000c0d: SWAP1
00000c0e: DIV
00000c0f: PUSH1 0x01
00000c11: PUSH1 0x01
00000c13: PUSH1 0xa0
00000c15: SHL
00000c16: SUB
00000c17: AND
00000c18: PUSH1 0x01
00000c1a: PUSH1 0x01
00000c1c: PUSH1 0xa0
00000c1e: SHL
00000c1f: SUB
00000c20: AND
00000c21: PUSH4 0xdefd024d
00000c26: PUSH1 0x40
00000c28: MLOAD
00000c29: DUP2
00000c2a: PUSH4 0xffffffff
00000c2f: AND
00000c30: PUSH1 0xe0
00000c32: SHL
00000c33: DUP2
00000c34: MSTORE
00000c35: PUSH1 0x04
00000c37: ADD
00000c38: PUSH1 0x20
00000c3a: PUSH1 0x40
00000c3c: MLOAD
00000c3d: DUP1
00000c3e: DUP4
00000c3f: SUB
00000c40: DUP2
00000c41: DUP7
00000c42: GAS
00000c43: STATICCALL
00000c44: ISZERO
00000c45: DUP1
00000c46: ISZERO
00000c47: PUSH2 0x0c54
00000c4a: JUMPI
00000c4b: RETURNDATASIZE
00000c4c: PUSH1 0x00
00000c4e: DUP1
00000c4f: RETURNDATACOPY
00000c50: RETURNDATASIZE
00000c51: PUSH1 0x00
00000c53: REVERT
00000c54: JUMPDEST
00000c55: POP
00000c56: POP
00000c57: POP
00000c58: POP
00000c59: PUSH1 0x40
00000c5b: MLOAD
00000c5c: RETURNDATASIZE
00000c5d: PUSH1 0x1f
00000c5f: NOT
00000c60: PUSH1 0x1f
00000c62: DUP3
00000c63: ADD
00000c64: AND
00000c65: DUP3
00000c66: ADD
00000c67: DUP1
00000c68: PUSH1 0x40
00000c6a: MSTORE
00000c6b: POP
00000c6c: DUP2
00000c6d: ADD
00000c6e: SWAP1
00000c6f: PUSH2 0x0c78
00000c72: SWAP2
00000c73: SWAP1
00000c74: PUSH2 0x229e
00000c77: JUMP
00000c78: JUMPDEST
00000c79: PUSH1 0x01
00000c7b: PUSH1 0x01
00000c7d: PUSH1 0xa0
00000c7f: SHL
00000c80: SUB
00000c81: AND
00000c82: PUSH4 0xabe3219c
00000c87: PUSH1 0x40
00000c89: MLOAD
00000c8a: DUP2
00000c8b: PUSH4 0xffffffff
00000c90: AND
00000c91: PUSH1 0xe0
00000c93: SHL
00000c94: DUP2
00000c95: MSTORE
00000c96: PUSH1 0x04
00000c98: ADD
00000c99: PUSH1 0x20
00000c9b: PUSH1 0x40
00000c9d: MLOAD
00000c9e: DUP1
00000c9f: DUP4
00000ca0: SUB
00000ca1: DUP2
00000ca2: DUP7
00000ca3: GAS
00000ca4: STATICCALL
00000ca5: ISZERO
00000ca6: DUP1
00000ca7: ISZERO
00000ca8: PUSH2 0x0cb5
00000cab: JUMPI
00000cac: RETURNDATASIZE
00000cad: PUSH1 0x00
00000caf: DUP1
00000cb0: RETURNDATACOPY
00000cb1: RETURNDATASIZE
00000cb2: PUSH1 0x00
00000cb4: REVERT
00000cb5: JUMPDEST
00000cb6: POP
00000cb7: POP
00000cb8: POP
00000cb9: POP
00000cba: PUSH1 0x40
00000cbc: MLOAD
00000cbd: RETURNDATASIZE
00000cbe: PUSH1 0x1f
00000cc0: NOT
00000cc1: PUSH1 0x1f
00000cc3: DUP3
00000cc4: ADD
00000cc5: AND
00000cc6: DUP3
00000cc7: ADD
00000cc8: DUP1
00000cc9: PUSH1 0x40
00000ccb: MSTORE
00000ccc: POP
00000ccd: DUP2
00000cce: ADD
00000ccf: SWAP1
00000cd0: PUSH2 0x0cd9
00000cd3: SWAP2
00000cd4: SWAP1
00000cd5: PUSH2 0x2327
00000cd8: JUMP
00000cd9: JUMPDEST
00000cda: ISZERO
00000cdb: PUSH2 0x0cf7
00000cde: JUMPI
00000cdf: PUSH1 0x40
00000ce1: MLOAD
00000ce2: PUSH4 0x249b2e59
00000ce7: PUSH1 0xe2
00000ce9: SHL
00000cea: DUP2
00000ceb: MSTORE
00000cec: PUSH1 0x04
00000cee: ADD
00000cef: PUSH1 0x40
00000cf1: MLOAD
00000cf2: DUP1
00000cf3: SWAP2
00000cf4: SUB
00000cf5: SWAP1
00000cf6: REVERT
00000cf7: JUMPDEST
00000cf8: PUSH1 0xfb
00000cfa: PUSH1 0x00
00000cfc: SWAP1
00000cfd: SLOAD
00000cfe: SWAP1
00000cff: PUSH2 0x0100
00000d02: EXP
00000d03: SWAP1
00000d04: DIV
00000d05: PUSH1 0x01
00000d07: PUSH1 0x01
00000d09: PUSH1 0xa0
00000d0b: SHL
00000d0c: SUB
00000d0d: AND
00000d0e: PUSH1 0x01
00000d10: PUSH1 0x01
00000d12: PUSH1 0xa0
00000d14: SHL
00000d15: SUB
00000d16: AND
00000d17: PUSH4 0x2ec5e018
00000d1c: PUSH1 0x40
00000d1e: MLOAD
00000d1f: DUP2
00000d20: PUSH4 0xffffffff
00000d25: AND
00000d26: PUSH1 0xe0
00000d28: SHL
00000d29: DUP2
00000d2a: MSTORE
00000d2b: PUSH1 0x04
00000d2d: ADD
00000d2e: PUSH1 0x20
00000d30: PUSH1 0x40
00000d32: MLOAD
00000d33: DUP1
00000d34: DUP4
00000d35: SUB
00000d36: DUP2
00000d37: DUP7
00000d38: GAS
00000d39: STATICCALL
00000d3a: ISZERO
00000d3b: DUP1
00000d3c: ISZERO
00000d3d: PUSH2 0x0d4a
00000d40: JUMPI
00000d41: RETURNDATASIZE
00000d42: PUSH1 0x00
00000d44: DUP1
00000d45: RETURNDATACOPY
00000d46: RETURNDATASIZE
00000d47: PUSH1 0x00
00000d49: REVERT
00000d4a: JUMPDEST
00000d4b: POP
00000d4c: POP
00000d4d: POP
00000d4e: POP
00000d4f: PUSH1 0x40
00000d51: MLOAD
00000d52: RETURNDATASIZE
00000d53: PUSH1 0x1f
00000d55: NOT
00000d56: PUSH1 0x1f
00000d58: DUP3
00000d59: ADD
00000d5a: AND
00000d5b: DUP3
00000d5c: ADD
00000d5d: DUP1
00000d5e: PUSH1 0x40
00000d60: MSTORE
00000d61: POP
00000d62: DUP2
00000d63: ADD
00000d64: SWAP1
00000d65: PUSH2 0x0d6e
00000d68: SWAP2
00000d69: SWAP1
00000d6a: PUSH2 0x229e
00000d6d: JUMP
00000d6e: JUMPDEST
00000d6f: PUSH1 0x01
00000d71: PUSH1 0x01
00000d73: PUSH1 0xa0
00000d75: SHL
00000d76: SUB
00000d77: AND
00000d78: PUSH4 0xd5c9cfb0
00000d7d: PUSH1 0x40
00000d7f: MLOAD
00000d80: DUP2
00000d81: PUSH4 0xffffffff
00000d86: AND
00000d87: PUSH1 0xe0
00000d89: SHL
00000d8a: DUP2
00000d8b: MSTORE
00000d8c: PUSH1 0x04
00000d8e: ADD
00000d8f: PUSH1 0x20
00000d91: PUSH1 0x40
00000d93: MLOAD
00000d94: DUP1
00000d95: DUP4
00000d96: SUB
00000d97: DUP2
00000d98: DUP7
00000d99: GAS
00000d9a: STATICCALL
00000d9b: ISZERO
00000d9c: DUP1
00000d9d: ISZERO
00000d9e: PUSH2 0x0dab
00000da1: JUMPI
00000da2: RETURNDATASIZE
00000da3: PUSH1 0x00
00000da5: DUP1
00000da6: RETURNDATACOPY
00000da7: RETURNDATASIZE
00000da8: PUSH1 0x00
00000daa: REVERT
00000dab: JUMPDEST
00000dac: POP
00000dad: POP
00000dae: POP
00000daf: POP
00000db0: PUSH1 0x40
00000db2: MLOAD
00000db3: RETURNDATASIZE
00000db4: PUSH1 0x1f
00000db6: NOT
00000db7: PUSH1 0x1f
00000db9: DUP3
00000dba: ADD
00000dbb: AND
00000dbc: DUP3
00000dbd: ADD
00000dbe: DUP1
00000dbf: PUSH1 0x40
00000dc1: MSTORE
00000dc2: POP
00000dc3: DUP2
00000dc4: ADD
00000dc5: SWAP1
00000dc6: PUSH2 0x0dcf
00000dc9: SWAP2
00000dca: SWAP1
00000dcb: PUSH2 0x2327
00000dce: JUMP
00000dcf: JUMPDEST
00000dd0: PUSH2 0x0dec
00000dd3: JUMPI
00000dd4: PUSH1 0x40
00000dd6: MLOAD
00000dd7: PUSH4 0x0a2f44d9
00000ddc: PUSH1 0xe1
00000dde: SHL
00000ddf: DUP2
00000de0: MSTORE
00000de1: PUSH1 0x04
00000de3: ADD
00000de4: PUSH1 0x40
00000de6: MLOAD
00000de7: DUP1
00000de8: SWAP2
00000de9: SUB
00000dea: SWAP1
00000deb: REVERT
00000dec: JUMPDEST
00000ded: PUSH1 0xfb
00000def: SLOAD
00000df0: PUSH1 0x40
00000df2: DUP1
00000df3: MLOAD
00000df4: PUSH4 0x05d8bc03
00000df9: PUSH1 0xe3
00000dfb: SHL
00000dfc: DUP2
00000dfd: MSTORE
00000dfe: SWAP1
00000dff: MLOAD
00000e00: PUSH1 0x00
00000e02: SWAP3
00000e03: PUSH1 0x01
00000e05: PUSH1 0x01
00000e07: PUSH1 0xa0
00000e09: SHL
00000e0a: SUB
00000e0b: AND
00000e0c: SWAP2
00000e0d: PUSH4 0x2ec5e018
00000e12: SWAP2
00000e13: PUSH1 0x04
00000e15: DUP1
00000e16: DUP4
00000e17: ADD
00000e18: SWAP3
00000e19: PUSH1 0x20
00000e1b: SWAP3
00000e1c: SWAP2
00000e1d: SWAP1
00000e1e: DUP3
00000e1f: SWAP1
00000e20: SUB
00000e21: ADD
00000e22: DUP2
00000e23: DUP7
00000e24: GAS
00000e25: STATICCALL
00000e26: ISZERO
00000e27: DUP1
00000e28: ISZERO
00000e29: PUSH2 0x0e36
00000e2c: JUMPI
00000e2d: RETURNDATASIZE
00000e2e: PUSH1 0x00
00000e30: DUP1
00000e31: RETURNDATACOPY
00000e32: RETURNDATASIZE
00000e33: PUSH1 0x00
00000e35: REVERT
00000e36: JUMPDEST
00000e37: POP
00000e38: POP
00000e39: POP
00000e3a: POP
00000e3b: PUSH1 0x40
00000e3d: MLOAD
00000e3e: RETURNDATASIZE
00000e3f: PUSH1 0x1f
00000e41: NOT
00000e42: PUSH1 0x1f
00000e44: DUP3
00000e45: ADD
00000e46: AND
00000e47: DUP3
00000e48: ADD
00000e49: DUP1
00000e4a: PUSH1 0x40
00000e4c: MSTORE
00000e4d: POP
00000e4e: DUP2
00000e4f: ADD
00000e50: SWAP1
00000e51: PUSH2 0x0e5a
00000e54: SWAP2
00000e55: SWAP1
00000e56: PUSH2 0x229e
00000e59: JUMP
00000e5a: JUMPDEST
00000e5b: SWAP1
00000e5c: POP
00000e5d: PUSH1 0x00
00000e5f: PUSH1 0xfb
00000e61: PUSH1 0x00
00000e63: SWAP1
00000e64: SLOAD
00000e65: SWAP1
00000e66: PUSH2 0x0100
00000e69: EXP
00000e6a: SWAP1
00000e6b: DIV
00000e6c: PUSH1 0x01
00000e6e: PUSH1 0x01
00000e70: PUSH1 0xa0
00000e72: SHL
00000e73: SUB
00000e74: AND
00000e75: PUSH1 0x01
00000e77: PUSH1 0x01
00000e79: PUSH1 0xa0
00000e7b: SHL
00000e7c: SUB
00000e7d: AND
00000e7e: PUSH4 0xf0141d84
00000e83: PUSH1 0x40
00000e85: MLOAD
00000e86: DUP2
00000e87: PUSH4 0xffffffff
00000e8c: AND
00000e8d: PUSH1 0xe0
00000e8f: SHL
00000e90: DUP2
00000e91: MSTORE
00000e92: PUSH1 0x04
00000e94: ADD
00000e95: PUSH1 0x20
00000e97: PUSH1 0x40
00000e99: MLOAD
00000e9a: DUP1
00000e9b: DUP4
00000e9c: SUB
00000e9d: DUP2
00000e9e: DUP7
00000e9f: GAS
00000ea0: STATICCALL
00000ea1: ISZERO
00000ea2: DUP1
00000ea3: ISZERO
00000ea4: PUSH2 0x0eb1
00000ea7: JUMPI
00000ea8: RETURNDATASIZE
00000ea9: PUSH1 0x00
00000eab: DUP1
00000eac: RETURNDATACOPY
00000ead: RETURNDATASIZE
00000eae: PUSH1 0x00
00000eb0: REVERT
00000eb1: JUMPDEST
00000eb2: POP
00000eb3: POP
00000eb4: POP
00000eb5: POP
00000eb6: PUSH1 0x40
00000eb8: MLOAD
00000eb9: RETURNDATASIZE
00000eba: PUSH1 0x1f
00000ebc: NOT
00000ebd: PUSH1 0x1f
00000ebf: DUP3
00000ec0: ADD
00000ec1: AND
00000ec2: DUP3
00000ec3: ADD
00000ec4: DUP1
00000ec5: PUSH1 0x40
00000ec7: MSTORE
00000ec8: POP
00000ec9: DUP2
00000eca: ADD
00000ecb: SWAP1
00000ecc: PUSH2 0x0ed5
00000ecf: SWAP2
00000ed0: SWAP1
00000ed1: PUSH2 0x22bb
00000ed4: JUMP
00000ed5: JUMPDEST
00000ed6: SWAP1
00000ed7: POP
00000ed8: PUSH1 0x00
00000eda: DUP3
00000edb: PUSH1 0x01
00000edd: PUSH1 0x01
00000edf: PUSH1 0xa0
00000ee1: SHL
00000ee2: SUB
00000ee3: AND
00000ee4: PUSH4 0xe6aa216c
00000ee9: PUSH1 0x40
00000eeb: MLOAD
00000eec: DUP2
00000eed: PUSH4 0xffffffff
00000ef2: AND
00000ef3: PUSH1 0xe0
00000ef5: SHL
00000ef6: DUP2
00000ef7: MSTORE
00000ef8: PUSH1 0x04
00000efa: ADD
00000efb: PUSH1 0x20
00000efd: PUSH1 0x40
00000eff: MLOAD
00000f00: DUP1
00000f01: DUP4
00000f02: SUB
00000f03: DUP2
00000f04: DUP7
00000f05: GAS
00000f06: STATICCALL
00000f07: ISZERO
00000f08: DUP1
00000f09: ISZERO
00000f0a: PUSH2 0x0f17
00000f0d: JUMPI
00000f0e: RETURNDATASIZE
00000f0f: PUSH1 0x00
00000f11: DUP1
00000f12: RETURNDATACOPY
00000f13: RETURNDATASIZE
00000f14: PUSH1 0x00
00000f16: REVERT
00000f17: JUMPDEST
00000f18: POP
00000f19: POP
00000f1a: POP
00000f1b: POP
00000f1c: PUSH1 0x40
00000f1e: MLOAD
00000f1f: RETURNDATASIZE
00000f20: PUSH1 0x1f
00000f22: NOT
00000f23: PUSH1 0x1f
00000f25: DUP3
00000f26: ADD
00000f27: AND
00000f28: DUP3
00000f29: ADD
00000f2a: DUP1
00000f2b: PUSH1 0x40
00000f2d: MSTORE
00000f2e: POP
00000f2f: DUP2
00000f30: ADD
00000f31: SWAP1
00000f32: PUSH2 0x0f3b
00000f35: SWAP2
00000f36: SWAP1
00000f37: PUSH2 0x22bb
00000f3a: JUMP
00000f3b: JUMPDEST
00000f3c: SWAP1
00000f3d: POP
00000f3e: PUSH1 0x00
00000f40: PUSH1 0x01
00000f42: PUSH2 0x0f5c
00000f45: PUSH1 0xfd
00000f47: SLOAD
00000f48: PUSH1 0xfe
00000f4a: SLOAD
00000f4b: PUSH1 0xfc
00000f4d: SLOAD
00000f4e: PUSH2 0x0f57
00000f51: SWAP2
00000f52: SWAP1
00000f53: PUSH2 0x235f
00000f56: JUMP
00000f57: JUMPDEST
00000f58: PUSH2 0x1bbb
00000f5b: JUMP
00000f5c: JUMPDEST
00000f5d: PUSH2 0x0f66
00000f60: SWAP2
00000f61: SWAP1
00000f62: PUSH2 0x2372
00000f65: JUMP
00000f66: JUMPDEST
00000f67: PUSH1 0xfc
00000f69: SLOAD
00000f6a: SWAP1
00000f6b: SWAP2
00000f6c: POP
00000f6d: PUSH1 0x00
00000f6f: SWAP1
00000f70: DUP2
00000f71: SWAP1
00000f72: PUSH1 0x01
00000f74: PUSH1 0x01
00000f76: PUSH1 0xa0
00000f78: SHL
00000f79: SUB
00000f7a: DUP8
00000f7b: AND
00000f7c: BALANCE
00000f7d: JUMPDEST
00000f7e: DUP5
00000f7f: DUP3
00000f80: GT
00000f81: PUSH2 0x10e7
00000f84: JUMPI
00000f85: PUSH1 0x00
00000f87: DUP3
00000f88: DUP2
00000f89: MSTORE
00000f8a: PUSH2 0x0101
00000f8d: PUSH1 0x20
00000f8f: SWAP1
00000f90: DUP2
00000f91: MSTORE
00000f92: PUSH1 0x40
00000f94: DUP1
00000f95: DUP4
00000f96: KECCAK256
00000f97: DUP2
00000f98: MLOAD
00000f99: PUSH1 0xa0
00000f9b: DUP2
00000f9c: ADD
00000f9d: DUP4
00000f9e: MSTORE
00000f9f: DUP2
00000fa0: SLOAD
00000fa1: PUSH1 0x01
00000fa3: PUSH1 0x01
00000fa5: PUSH1 0xa0
00000fa7: SHL
00000fa8: SUB
00000fa9: AND
00000faa: DUP2
00000fab: MSTORE
00000fac: PUSH1 0x01
00000fae: DUP3
00000faf: ADD
00000fb0: SLOAD
00000fb1: SWAP4
00000fb2: DUP2
00000fb3: ADD
00000fb4: DUP5
00000fb5: SWAP1
00000fb6: MSTORE
00000fb7: PUSH1 0x02
00000fb9: DUP3
00000fba: ADD
00000fbb: SLOAD
00000fbc: SWAP3
00000fbd: DUP2
00000fbe: ADD
00000fbf: DUP4
00000fc0: SWAP1
00000fc1: MSTORE
00000fc2: PUSH1 0x03
00000fc4: DUP3
00000fc5: ADD
00000fc6: SLOAD
00000fc7: PUSH1 0x60
00000fc9: DUP3
00000fca: ADD
00000fcb: MSTORE
00000fcc: PUSH1 0x04
00000fce: SWAP1
00000fcf: SWAP2
00000fd0: ADD
00000fd1: SLOAD
00000fd2: PUSH1 0x80
00000fd4: DUP3
00000fd5: ADD
00000fd6: MSTORE
00000fd7: SWAP3
00000fd8: SWAP1
00000fd9: SWAP2
00000fda: SWAP1
00000fdb: PUSH2 0x0ff3
00000fde: DUP4
00000fdf: DUP13
00000fe0: PUSH2 0x0fe9
00000fe3: DUP14
00000fe4: DUP7
00000fe5: PUSH2 0x2385
00000fe8: JUMP
00000fe9: JUMPDEST
00000fea: PUSH2 0x0f57
00000fed: SWAP2
00000fee: SWAP1
00000fef: PUSH2 0x23a4
00000ff2: JUMP
00000ff3: JUMPDEST
00000ff4: SWAP1
00000ff5: POP
00000ff6: DUP5
00000ff7: PUSH2 0x1000
00000ffa: DUP3
00000ffb: DUP10
00000ffc: PUSH2 0x235f
00000fff: JUMP
00001000: JUMPDEST
00001001: GT
00001002: DUP1
00001003: PUSH2 0x1085
00001006: JUMPI
00001007: POP
00001008: PUSH1 0xfb
0000100a: SLOAD
0000100b: PUSH1 0x40
0000100d: DUP1
0000100e: MLOAD
0000100f: PUSH4 0x6967745d
00001014: PUSH1 0xe1
00001016: SHL
00001017: DUP2
00001018: MSTORE
00001019: SWAP1
0000101a: MLOAD
0000101b: NUMBER
0000101c: SWAP3
0000101d: PUSH1 0x01
0000101f: PUSH1 0x01
00001021: PUSH1 0xa0
00001023: SHL
00001024: SUB
00001025: AND
00001026: SWAP2
00001027: PUSH4 0xd2cee8ba
0000102c: SWAP2
0000102d: PUSH1 0x04
0000102f: DUP1
00001030: DUP4
00001031: ADD
00001032: SWAP3
00001033: PUSH1 0x20
00001035: SWAP3
00001036: SWAP2
00001037: SWAP1
00001038: DUP3
00001039: SWAP1
0000103a: SUB
0000103b: ADD
0000103c: DUP2
0000103d: DUP7
0000103e: GAS
0000103f: STATICCALL
00001040: ISZERO
00001041: DUP1
00001042: ISZERO
00001043: PUSH2 0x1050
00001046: JUMPI
00001047: RETURNDATASIZE
00001048: PUSH1 0x00
0000104a: DUP1
0000104b: RETURNDATACOPY
0000104c: RETURNDATASIZE
0000104d: PUSH1 0x00
0000104f: REVERT
00001050: JUMPDEST
00001051: POP
00001052: POP
00001053: POP
00001054: POP
00001055: PUSH1 0x40
00001057: MLOAD
00001058: RETURNDATASIZE
00001059: PUSH1 0x1f
0000105b: NOT
0000105c: PUSH1 0x1f
0000105e: DUP3
0000105f: ADD
00001060: AND
00001061: DUP3
00001062: ADD
00001063: DUP1
00001064: PUSH1 0x40
00001066: MSTORE
00001067: POP
00001068: DUP2
00001069: ADD
0000106a: SWAP1
0000106b: PUSH2 0x1074
0000106e: SWAP2
0000106f: SWAP1
00001070: PUSH2 0x22bb
00001073: JUMP
00001074: JUMPDEST
00001075: DUP6
00001076: PUSH1 0x80
00001078: ADD
00001079: MLOAD
0000107a: PUSH2 0x1083
0000107d: SWAP2
0000107e: SWAP1
0000107f: PUSH2 0x235f
00001082: JUMP
00001083: JUMPDEST
00001084: GT
00001085: JUMPDEST
00001086: ISZERO
00001087: PUSH2 0x1093
0000108a: JUMPI
0000108b: POP
0000108c: POP
0000108d: POP
0000108e: POP
0000108f: PUSH2 0x10e7
00001092: JUMP
00001093: JUMPDEST
00001094: PUSH1 0x00
00001096: DUP7
00001097: DUP2
00001098: MSTORE
00001099: PUSH2 0x0101
0000109c: PUSH1 0x20
0000109e: MSTORE
0000109f: PUSH1 0x40
000010a1: DUP2
000010a2: KECCAK256
000010a3: PUSH1 0x03
000010a5: ADD
000010a6: DUP3
000010a7: SWAP1
000010a8: SSTORE
000010a9: PUSH1 0xff
000010ab: DUP1
000010ac: SLOAD
000010ad: DUP6
000010ae: SWAP3
000010af: SWAP1
000010b0: PUSH2 0x10ba
000010b3: SWAP1
000010b4: DUP5
000010b5: SWAP1
000010b6: PUSH2 0x2372
000010b9: JUMP
000010ba: JUMPDEST
000010bb: SWAP1
000010bc: SWAP2
000010bd: SSTORE
000010be: POP
000010bf: PUSH2 0x10ca
000010c2: SWAP1
000010c3: POP
000010c4: DUP3
000010c5: DUP10
000010c6: PUSH2 0x235f
000010c9: JUMP
000010ca: JUMPDEST
000010cb: SWAP8
000010cc: POP
000010cd: PUSH2 0x10d6
000010d0: DUP2
000010d1: DUP9
000010d2: PUSH2 0x235f
000010d5: JUMP
000010d6: JUMPDEST
000010d7: SWAP7
000010d8: POP
000010d9: DUP6
000010da: PUSH1 0x01
000010dc: ADD
000010dd: SWAP6
000010de: POP
000010df: POP
000010e0: POP
000010e1: POP
000010e2: POP
000010e3: PUSH2 0x0f7d
000010e6: JUMP
000010e7: JUMPDEST
000010e8: PUSH1 0xfc
000010ea: SLOAD
000010eb: DUP3
000010ec: GT
000010ed: ISZERO
000010ee: PUSH2 0x125a
000010f1: JUMPI
000010f2: PUSH1 0xfc
000010f4: DUP3
000010f5: SWAP1
000010f6: SSTORE
000010f7: PUSH1 0xfb
000010f9: SLOAD
000010fa: PUSH1 0x40
000010fc: DUP1
000010fd: MLOAD
000010fe: PUSH4 0x6622ed5f
00001103: PUSH1 0xe1
00001105: SHL
00001106: DUP2
00001107: MSTORE
00001108: SWAP1
00001109: MLOAD
0000110a: PUSH1 0x01
0000110c: PUSH1 0x01
0000110e: PUSH1 0xa0
00001110: SHL
00001111: SUB
00001112: SWAP1
00001113: SWAP3
00001114: AND
00001115: SWAP2
00001116: PUSH4 0xcc45dabe
0000111b: SWAP2
0000111c: PUSH1 0x04
0000111e: DUP1
0000111f: DUP3
00001120: ADD
00001121: SWAP3
00001122: PUSH1 0x20
00001124: SWAP3
00001125: SWAP1
00001126: SWAP2
00001127: SWAP1
00001128: DUP3
00001129: SWAP1
0000112a: SUB
0000112b: ADD
0000112c: DUP2
0000112d: DUP7
0000112e: GAS
0000112f: STATICCALL
00001130: ISZERO
00001131: DUP1
00001132: ISZERO
00001133: PUSH2 0x1140
00001136: JUMPI
00001137: RETURNDATASIZE
00001138: PUSH1 0x00
0000113a: DUP1
0000113b: RETURNDATACOPY
0000113c: RETURNDATASIZE
0000113d: PUSH1 0x00
0000113f: REVERT
00001140: JUMPDEST
00001141: POP
00001142: POP
00001143: POP
00001144: POP
00001145: PUSH1 0x40
00001147: MLOAD
00001148: RETURNDATASIZE
00001149: PUSH1 0x1f
0000114b: NOT
0000114c: PUSH1 0x1f
0000114e: DUP3
0000114f: ADD
00001150: AND
00001151: DUP3
00001152: ADD
00001153: DUP1
00001154: PUSH1 0x40
00001156: MSTORE
00001157: POP
00001158: DUP2
00001159: ADD
0000115a: SWAP1
0000115b: PUSH2 0x1164
0000115e: SWAP2
0000115f: SWAP1
00001160: PUSH2 0x229e
00001163: JUMP
00001164: JUMPDEST
00001165: PUSH1 0x40
00001167: MLOAD
00001168: PUSH4 0x079cc679
0000116d: PUSH1 0xe4
0000116f: SHL
00001170: DUP2
00001171: MSTORE
00001172: ADDRESS
00001173: PUSH1 0x04
00001175: DUP3
00001176: ADD
00001177: MSTORE
00001178: PUSH1 0x24
0000117a: DUP2
0000117b: ADD
0000117c: DUP7
0000117d: SWAP1
0000117e: MSTORE
0000117f: PUSH1 0x01
00001181: PUSH1 0x01
00001183: PUSH1 0xa0
00001185: SHL
00001186: SUB
00001187: SWAP2
00001188: SWAP1
00001189: SWAP2
0000118a: AND
0000118b: SWAP1
0000118c: PUSH4 0x79cc6790
00001191: SWAP1
00001192: PUSH1 0x44
00001194: ADD
00001195: PUSH1 0x00
00001197: PUSH1 0x40
00001199: MLOAD
0000119a: DUP1
0000119b: DUP4
0000119c: SUB
0000119d: DUP2
0000119e: PUSH1 0x00
000011a0: DUP8
000011a1: DUP1
000011a2: EXTCODESIZE
000011a3: ISZERO
000011a4: DUP1
000011a5: ISZERO
000011a6: PUSH2 0x11ae
000011a9: JUMPI
000011aa: PUSH1 0x00
000011ac: DUP1
000011ad: REVERT
000011ae: JUMPDEST
000011af: POP
000011b0: GAS
000011b1: CALL
000011b2: ISZERO
000011b3: DUP1
000011b4: ISZERO
000011b5: PUSH2 0x11c2
000011b8: JUMPI
000011b9: RETURNDATASIZE
000011ba: PUSH1 0x00
000011bc: DUP1
000011bd: RETURNDATACOPY
000011be: RETURNDATASIZE
000011bf: PUSH1 0x00
000011c1: REVERT
000011c2: JUMPDEST
000011c3: POP
000011c4: POP
000011c5: PUSH1 0x40
000011c7: MLOAD
000011c8: PUSH4 0x1cdfeb8f
000011cd: PUSH1 0xe0
000011cf: SHL
000011d0: DUP2
000011d1: MSTORE
000011d2: PUSH1 0x04
000011d4: DUP2
000011d5: ADD
000011d6: DUP7
000011d7: SWAP1
000011d8: MSTORE
000011d9: PUSH1 0x01
000011db: PUSH1 0x01
000011dd: PUSH1 0xa0
000011df: SHL
000011e0: SUB
000011e1: DUP12
000011e2: AND
000011e3: SWAP3
000011e4: POP
000011e5: PUSH4 0x1cdfeb8f
000011ea: SWAP2
000011eb: POP
000011ec: PUSH1 0x24
000011ee: ADD
000011ef: PUSH1 0x00
000011f1: PUSH1 0x40
000011f3: MLOAD
000011f4: DUP1
000011f5: DUP4
000011f6: SUB
000011f7: DUP2
000011f8: PUSH1 0x00
000011fa: DUP8
000011fb: DUP1
000011fc: EXTCODESIZE
000011fd: ISZERO
000011fe: DUP1
000011ff: ISZERO
00001200: PUSH2 0x1208
00001203: JUMPI
00001204: PUSH1 0x00
00001206: DUP1
00001207: REVERT
00001208: JUMPDEST
00001209: POP
0000120a: GAS
0000120b: CALL
0000120c: ISZERO
0000120d: DUP1
0000120e: ISZERO
0000120f: PUSH2 0x121c
00001212: JUMPI
00001213: RETURNDATASIZE
00001214: PUSH1 0x00
00001216: DUP1
00001217: RETURNDATACOPY
00001218: RETURNDATASIZE
00001219: PUSH1 0x00
0000121b: REVERT
0000121c: JUMPDEST
0000121d: POP
0000121e: POP
0000121f: POP
00001220: POP
00001221: PUSH32 0x12a00f5e4c3614409f2dd90dc5be91b9b64ef89bac58a5b034ec0094376dbd37
00001242: DUP3
00001243: PUSH1 0x40
00001245: MLOAD
00001246: PUSH2 0x1251
00001249: SWAP2
0000124a: DUP2
0000124b: MSTORE
0000124c: PUSH1 0x20
0000124e: ADD
0000124f: SWAP1
00001250: JUMP
00001251: JUMPDEST
00001252: PUSH1 0x40
00001254: MLOAD
00001255: DUP1
00001256: SWAP2
00001257: SUB
00001258: SWAP1
00001259: LOG1
0000125a: JUMPDEST
0000125b: POP
0000125c: POP
0000125d: POP
0000125e: POP
0000125f: POP
00001260: POP
00001261: POP
00001262: POP
00001263: PUSH2 0x0b5b
00001266: PUSH1 0x01
00001268: PUSH1 0xc9
0000126a: SSTORE
0000126b: JUMP
0000126c: JUMPDEST
0000126d: PUSH1 0x00
0000126f: PUSH2 0x1276
00001272: PUSH2 0x16b3
00001275: JUMP
00001276: JUMPDEST
00001277: PUSH1 0x01
00001279: PUSH1 0x01
0000127b: PUSH1 0xa0
0000127d: SHL
0000127e: SUB
0000127f: DUP3
00001280: AND
00001281: PUSH2 0x129d
00001284: JUMPI
00001285: PUSH1 0x40
00001287: MLOAD
00001288: PUSH4 0xaede7df3
0000128d: PUSH1 0xe0
0000128f: SHL
00001290: DUP2
00001291: MSTORE
00001292: PUSH1 0x04
00001294: ADD
00001295: PUSH1 0x40
00001297: MLOAD
00001298: DUP1
00001299: SWAP2
0000129a: SUB
0000129b: SWAP1
0000129c: REVERT
0000129d: JUMPDEST
0000129e: PUSH1 0xfb
000012a0: SLOAD
000012a1: PUSH1 0x40
000012a3: DUP1
000012a4: MLOAD
000012a5: PUSH4 0x05d8bc03
000012aa: PUSH1 0xe3
000012ac: SHL
000012ad: DUP2
000012ae: MSTORE
000012af: SWAP1
000012b0: MLOAD
000012b1: PUSH1 0x00
000012b3: SWAP3
000012b4: PUSH1 0x01
000012b6: PUSH1 0x01
000012b8: PUSH1 0xa0
000012ba: SHL
000012bb: SUB
000012bc: AND
000012bd: SWAP2
000012be: PUSH4 0x2ec5e018
000012c3: SWAP2
000012c4: PUSH1 0x04
000012c6: DUP1
000012c7: DUP4
000012c8: ADD
000012c9: SWAP3
000012ca: PUSH1 0x20
000012cc: SWAP3
000012cd: SWAP2
000012ce: SWAP1
000012cf: DUP3
000012d0: SWAP1
000012d1: SUB
000012d2: ADD
000012d3: DUP2
000012d4: DUP7
000012d5: GAS
000012d6: STATICCALL
000012d7: ISZERO
000012d8: DUP1
000012d9: ISZERO
000012da: PUSH2 0x12e7
000012dd: JUMPI
000012de: RETURNDATASIZE
000012df: PUSH1 0x00
000012e1: DUP1
000012e2: RETURNDATACOPY
000012e3: RETURNDATASIZE
000012e4: PUSH1 0x00
000012e6: REVERT
000012e7: JUMPDEST
000012e8: POP
000012e9: POP
000012ea: POP
000012eb: POP
000012ec: PUSH1 0x40
000012ee: MLOAD
000012ef: RETURNDATASIZE
000012f0: PUSH1 0x1f
000012f2: NOT
000012f3: PUSH1 0x1f
000012f5: DUP3
000012f6: ADD
000012f7: AND
000012f8: DUP3
000012f9: ADD
000012fa: DUP1
000012fb: PUSH1 0x40
000012fd: MSTORE
000012fe: POP
000012ff: DUP2
00001300: ADD
00001301: SWAP1
00001302: PUSH2 0x130b
00001305: SWAP2
00001306: SWAP1
00001307: PUSH2 0x229e
0000130a: JUMP
0000130b: JUMPDEST
0000130c: PUSH1 0x01
0000130e: PUSH1 0x01
00001310: PUSH1 0xa0
00001312: SHL
00001313: SUB
00001314: AND
00001315: PUSH4 0x0a28a477
0000131a: DUP6
0000131b: PUSH1 0x40
0000131d: MLOAD
0000131e: DUP3
0000131f: PUSH4 0xffffffff
00001324: AND
00001325: PUSH1 0xe0
00001327: SHL
00001328: DUP2
00001329: MSTORE
0000132a: PUSH1 0x04
0000132c: ADD
0000132d: PUSH2 0x1338
00001330: SWAP2
00001331: DUP2
00001332: MSTORE
00001333: PUSH1 0x20
00001335: ADD
00001336: SWAP1
00001337: JUMP
00001338: JUMPDEST
00001339: PUSH1 0x20
0000133b: PUSH1 0x40
0000133d: MLOAD
0000133e: DUP1
0000133f: DUP4
00001340: SUB
00001341: DUP2
00001342: DUP7
00001343: GAS
00001344: STATICCALL
00001345: ISZERO
00001346: DUP1
00001347: ISZERO
00001348: PUSH2 0x1355
0000134b: JUMPI
0000134c: RETURNDATASIZE
0000134d: PUSH1 0x00
0000134f: DUP1
00001350: RETURNDATACOPY
00001351: RETURNDATASIZE
00001352: PUSH1 0x00
00001354: REVERT
00001355: JUMPDEST
00001356: POP
00001357: POP
00001358: POP
00001359: POP
0000135a: PUSH1 0x40
0000135c: MLOAD
0000135d: RETURNDATASIZE
0000135e: PUSH1 0x1f
00001360: NOT
00001361: PUSH1 0x1f
00001363: DUP3
00001364: ADD
00001365: AND
00001366: DUP3
00001367: ADD
00001368: DUP1
00001369: PUSH1 0x40
0000136b: MSTORE
0000136c: POP
0000136d: DUP2
0000136e: ADD
0000136f: SWAP1
00001370: PUSH2 0x1379
00001373: SWAP2
00001374: SWAP1
00001375: PUSH2 0x22bb
00001378: JUMP
00001379: JUMPDEST
0000137a: SWAP1
0000137b: POP
0000137c: PUSH1 0xfb
0000137e: PUSH1 0x00
00001380: SWAP1
00001381: SLOAD
00001382: SWAP1
00001383: PUSH2 0x0100
00001386: EXP
00001387: SWAP1
00001388: DIV
00001389: PUSH1 0x01
0000138b: PUSH1 0x01
0000138d: PUSH1 0xa0
0000138f: SHL
00001390: SUB
00001391: AND
00001392: PUSH1 0x01
00001394: PUSH1 0x01
00001396: PUSH1 0xa0
00001398: SHL
00001399: SUB
0000139a: AND
0000139b: PUSH4 0x14e1b8fd
000013a0: PUSH1 0x40
000013a2: MLOAD
000013a3: DUP2
000013a4: PUSH4 0xffffffff
000013a9: AND
000013aa: PUSH1 0xe0
000013ac: SHL
000013ad: DUP2
000013ae: MSTORE
000013af: PUSH1 0x04
000013b1: ADD
000013b2: PUSH1 0x20
000013b4: PUSH1 0x40
000013b6: MLOAD
000013b7: DUP1
000013b8: DUP4
000013b9: SUB
000013ba: DUP2
000013bb: DUP7
000013bc: GAS
000013bd: STATICCALL
000013be: ISZERO
000013bf: DUP1
000013c0: ISZERO
000013c1: PUSH2 0x13ce
000013c4: JUMPI
000013c5: RETURNDATASIZE
000013c6: PUSH1 0x00
000013c8: DUP1
000013c9: RETURNDATACOPY
000013ca: RETURNDATASIZE
000013cb: PUSH1 0x00
000013cd: REVERT
000013ce: JUMPDEST
000013cf: POP
000013d0: POP
000013d1: POP
000013d2: POP
000013d3: PUSH1 0x40
000013d5: MLOAD
000013d6: RETURNDATASIZE
000013d7: PUSH1 0x1f
000013d9: NOT
000013da: PUSH1 0x1f
000013dc: DUP3
000013dd: ADD
000013de: AND
000013df: DUP3
000013e0: ADD
000013e1: DUP1
000013e2: PUSH1 0x40
000013e4: MSTORE
000013e5: POP
000013e6: DUP2
000013e7: ADD
000013e8: SWAP1
000013e9: PUSH2 0x13f2
000013ec: SWAP2
000013ed: SWAP1
000013ee: PUSH2 0x22bb
000013f1: JUMP
000013f2: JUMPDEST
000013f3: DUP2
000013f4: LT
000013f5: DUP1
000013f6: PUSH2 0x1474
000013f9: JUMPI
000013fa: POP
000013fb: PUSH1 0xfb
000013fd: PUSH1 0x00
000013ff: SWAP1
00001400: SLOAD
00001401: SWAP1
00001402: PUSH2 0x0100
00001405: EXP
00001406: SWAP1
00001407: DIV
00001408: PUSH1 0x01
0000140a: PUSH1 0x01
0000140c: PUSH1 0xa0
0000140e: SHL
0000140f: SUB
00001410: AND
00001411: PUSH1 0x01
00001413: PUSH1 0x01
00001415: PUSH1 0xa0
00001417: SHL
00001418: SUB
00001419: AND
0000141a: PUSH4 0x326a16a3
0000141f: PUSH1 0x40
00001421: MLOAD
00001422: DUP2
00001423: PUSH4 0xffffffff
00001428: AND
00001429: PUSH1 0xe0
0000142b: SHL
0000142c: DUP2
0000142d: MSTORE
0000142e: PUSH1 0x04
00001430: ADD
00001431: PUSH1 0x20
00001433: PUSH1 0x40
00001435: MLOAD
00001436: DUP1
00001437: DUP4
00001438: SUB
00001439: DUP2
0000143a: DUP7
0000143b: GAS
0000143c: STATICCALL
0000143d: ISZERO
0000143e: DUP1
0000143f: ISZERO
00001440: PUSH2 0x144d
00001443: JUMPI
00001444: RETURNDATASIZE
00001445: PUSH1 0x00
00001447: DUP1
00001448: RETURNDATACOPY
00001449: RETURNDATASIZE
0000144a: PUSH1 0x00
0000144c: REVERT
0000144d: JUMPDEST
0000144e: POP
0000144f: POP
00001450: POP
00001451: POP
00001452: PUSH1 0x40
00001454: MLOAD
00001455: RETURNDATASIZE
00001456: PUSH1 0x1f
00001458: NOT
00001459: PUSH1 0x1f
0000145b: DUP3
0000145c: ADD
0000145d: AND
0000145e: DUP3
0000145f: ADD
00001460: DUP1
00001461: PUSH1 0x40
00001463: MSTORE
00001464: POP
00001465: DUP2
00001466: ADD
00001467: SWAP1
00001468: PUSH2 0x1471
0000146b: SWAP2
0000146c: SWAP1
0000146d: PUSH2 0x22bb
00001470: JUMP
00001471: JUMPDEST
00001472: DUP2
00001473: GT
00001474: JUMPDEST
00001475: ISZERO
00001476: PUSH2 0x1492
00001479: JUMPI
0000147a: PUSH1 0x40
0000147c: MLOAD
0000147d: PUSH4 0x0db73cdf
00001482: PUSH1 0xe4
00001484: SHL
00001485: DUP2
00001486: MSTORE
00001487: PUSH1 0x04
00001489: ADD
0000148a: PUSH1 0x40
0000148c: MLOAD
0000148d: DUP1
0000148e: SWAP2
0000148f: SUB
00001490: SWAP1
00001491: REVERT
00001492: JUMPDEST
00001493: PUSH2 0x0100
00001496: SLOAD
00001497: PUSH1 0x01
00001499: PUSH1 0x01
0000149b: PUSH1 0xa0
0000149d: SHL
0000149e: SUB
0000149f: DUP5
000014a0: AND
000014a1: PUSH1 0x00
000014a3: SWAP1
000014a4: DUP2
000014a5: MSTORE
000014a6: PUSH2 0x0102
000014a9: PUSH1 0x20
000014ab: MSTORE
000014ac: PUSH1 0x40
000014ae: SWAP1
000014af: KECCAK256
000014b0: SLOAD
000014b1: PUSH2 0x14bb
000014b4: SWAP1
000014b5: PUSH1 0x01
000014b7: PUSH2 0x235f
000014ba: JUMP
000014bb: JUMPDEST
000014bc: GT
000014bd: ISZERO
000014be: PUSH2 0x14da
000014c1: JUMPI
000014c2: PUSH1 0x40
000014c4: MLOAD
000014c5: PUSH4 0x0d66095b
000014ca: PUSH1 0xe3
000014cc: SHL
000014cd: DUP2
000014ce: MSTORE
000014cf: PUSH1 0x04
000014d1: ADD
000014d2: PUSH1 0x40
000014d4: MLOAD
000014d5: DUP1
000014d6: SWAP2
000014d7: SUB
000014d8: SWAP1
000014d9: REVERT
000014da: JUMPDEST
000014db: PUSH2 0x1568
000014de: CALLER
000014df: ADDRESS
000014e0: DUP7
000014e1: PUSH1 0xfb
000014e3: PUSH1 0x00
000014e5: SWAP1
000014e6: SLOAD
000014e7: SWAP1
000014e8: PUSH2 0x0100
000014eb: EXP
000014ec: SWAP1
000014ed: DIV
000014ee: PUSH1 0x01
000014f0: PUSH1 0x01
000014f2: PUSH1 0xa0
000014f4: SHL
000014f5: SUB
000014f6: AND
000014f7: PUSH1 0x01
000014f9: PUSH1 0x01
000014fb: PUSH1 0xa0
000014fd: SHL
000014fe: SUB
000014ff: AND
00001500: PUSH4 0xcc45dabe
00001505: PUSH1 0x40
00001507: MLOAD
00001508: DUP2
00001509: PUSH4 0xffffffff
0000150e: AND
0000150f: PUSH1 0xe0
00001511: SHL
00001512: DUP2
00001513: MSTORE
00001514: PUSH1 0x04
00001516: ADD
00001517: PUSH1 0x20
00001519: PUSH1 0x40
0000151b: MLOAD
0000151c: DUP1
0000151d: DUP4
0000151e: SUB
0000151f: DUP2
00001520: DUP7
00001521: GAS
00001522: STATICCALL
00001523: ISZERO
00001524: DUP1
00001525: ISZERO
00001526: PUSH2 0x1533
00001529: JUMPI
0000152a: RETURNDATASIZE
0000152b: PUSH1 0x00
0000152d: DUP1
0000152e: RETURNDATACOPY
0000152f: RETURNDATASIZE
00001530: PUSH1 0x00
00001532: REVERT
00001533: JUMPDEST
00001534: POP
00001535: POP
00001536: POP
00001537: POP
00001538: PUSH1 0x40
0000153a: MLOAD
0000153b: RETURNDATASIZE
0000153c: PUSH1 0x1f
0000153e: NOT
0000153f: PUSH1 0x1f
00001541: DUP3
00001542: ADD
00001543: AND
00001544: DUP3
00001545: ADD
00001546: DUP1
00001547: PUSH1 0x40
00001549: MSTORE
0000154a: POP
0000154b: DUP2
0000154c: ADD
0000154d: SWAP1
0000154e: PUSH2 0x1557
00001551: SWAP2
00001552: SWAP1
00001553: PUSH2 0x229e
00001556: JUMP
00001557: JUMPDEST
00001558: PUSH1 0x01
0000155a: PUSH1 0x01
0000155c: PUSH1 0xa0
0000155e: SHL
0000155f: SUB
00001560: AND
00001561: SWAP3
00001562: SWAP2
00001563: SWAP1
00001564: PUSH2 0x1bd3
00001567: JUMP
00001568: JUMPDEST
00001569: DUP1
0000156a: PUSH1 0xff
0000156c: PUSH1 0x00
0000156e: DUP3
0000156f: DUP3
00001570: SLOAD
00001571: PUSH2 0x157a
00001574: SWAP2
00001575: SWAP1
00001576: PUSH2 0x235f
00001579: JUMP
0000157a: JUMPDEST
0000157b: SWAP1
0000157c: SWAP2
0000157d: SSTORE
0000157e: POP
0000157f: POP
00001580: PUSH1 0x40
00001582: DUP1
00001583: MLOAD
00001584: PUSH1 0xa0
00001586: DUP2
00001587: ADD
00001588: DUP3
00001589: MSTORE
0000158a: PUSH1 0x01
0000158c: PUSH1 0x01
0000158e: PUSH1 0xa0
00001590: SHL
00001591: SUB
00001592: DUP6
00001593: DUP2
00001594: AND
00001595: DUP1
00001596: DUP4
00001597: MSTORE
00001598: PUSH1 0x20
0000159a: DUP1
0000159b: DUP5
0000159c: ADD
0000159d: DUP10
0000159e: DUP2
0000159f: MSTORE
000015a0: DUP5
000015a1: DUP7
000015a2: ADD
000015a3: DUP8
000015a4: DUP2
000015a5: MSTORE
000015a6: PUSH1 0x00
000015a8: PUSH1 0x60
000015aa: DUP1
000015ab: DUP9
000015ac: ADD
000015ad: DUP3
000015ae: DUP2
000015af: MSTORE
000015b0: NUMBER
000015b1: PUSH1 0x80
000015b3: DUP1
000015b4: DUP12
000015b5: ADD
000015b6: SWAP2
000015b7: DUP3
000015b8: MSTORE
000015b9: PUSH1 0xfd
000015bb: DUP1
000015bc: SLOAD
000015bd: DUP7
000015be: MSTORE
000015bf: PUSH2 0x0101
000015c2: DUP10
000015c3: MSTORE
000015c4: DUP13
000015c5: DUP7
000015c6: KECCAK256
000015c7: SWAP12
000015c8: MLOAD
000015c9: DUP13
000015ca: SLOAD
000015cb: PUSH1 0x01
000015cd: PUSH1 0x01
000015cf: PUSH1 0xa0
000015d1: SHL
000015d2: SUB
000015d3: NOT
000015d4: AND
000015d5: SWAP12
000015d6: AND
000015d7: SWAP11
000015d8: SWAP1
000015d9: SWAP11
000015da: OR
000015db: DUP12
000015dc: SSTORE
000015dd: SWAP6
000015de: MLOAD
000015df: PUSH1 0x01
000015e1: DUP1
000015e2: DUP13
000015e3: ADD
000015e4: SWAP2
000015e5: SWAP1
000015e6: SWAP2
000015e7: SSTORE
000015e8: SWAP5
000015e9: MLOAD
000015ea: PUSH1 0x02
000015ec: DUP12
000015ed: ADD
000015ee: SSTORE
000015ef: SWAP1
000015f0: MLOAD
000015f1: PUSH1 0x03
000015f3: DUP11
000015f4: ADD
000015f5: SSTORE
000015f6: MLOAD
000015f7: PUSH1 0x04
000015f9: SWAP1
000015fa: SWAP9
000015fb: ADD
000015fc: SWAP8
000015fd: SWAP1
000015fe: SWAP8
000015ff: SSTORE
00001600: DUP5
00001601: DUP2
00001602: MSTORE
00001603: PUSH2 0x0102
00001606: DUP5
00001607: MSTORE
00001608: DUP8
00001609: DUP2
0000160a: KECCAK256
0000160b: DUP7
0000160c: SLOAD
0000160d: DUP2
0000160e: SLOAD
0000160f: SWAP4
00001610: DUP5
00001611: ADD
00001612: DUP3
00001613: SSTORE
00001614: SWAP1
00001615: DUP3
00001616: MSTORE
00001617: SWAP1
00001618: DUP5
00001619: SWAP1
0000161a: KECCAK256
0000161b: SWAP1
0000161c: SWAP2
0000161d: ADD
0000161e: SSTORE
0000161f: SWAP3
00001620: SLOAD
00001621: DUP6
00001622: MLOAD
00001623: SWAP3
00001624: DUP4
00001625: MSTORE
00001626: SWAP1
00001627: DUP3
00001628: ADD
00001629: MSTORE
0000162a: SWAP3
0000162b: DUP4
0000162c: ADD
0000162d: DUP8
0000162e: SWAP1
0000162f: MSTORE
00001630: SWAP1
00001631: DUP3
00001632: ADD
00001633: DUP4
00001634: SWAP1
00001635: MSTORE
00001636: CALLER
00001637: SWAP2
00001638: PUSH32 0x5b2ce38527d3f69f0bf03c1a363829ba12d09551f8778a9b0b9e1285ec19721a
00001659: SWAP2
0000165a: ADD
0000165b: PUSH1 0x40
0000165d: MLOAD
0000165e: DUP1
0000165f: SWAP2
00001660: SUB
00001661: SWAP1
00001662: LOG2
00001663: PUSH1 0xfd
00001665: DUP1
00001666: SLOAD
00001667: SWAP1
00001668: PUSH1 0x00
0000166a: PUSH2 0x1672
0000166d: DUP4
0000166e: PUSH2 0x23c6
00001671: JUMP
00001672: JUMPDEST
00001673: SWAP2
00001674: SWAP1
00001675: POP
00001676: SSTORE
00001677: POP
00001678: PUSH1 0x01
0000167a: PUSH1 0xfd
0000167c: SLOAD
0000167d: PUSH2 0x1686
00001680: SWAP2
00001681: SWAP1
00001682: PUSH2 0x2372
00001685: JUMP
00001686: JUMPDEST
00001687: SWAP5
00001688: SWAP4
00001689: POP
0000168a: POP
0000168b: POP
0000168c: POP
0000168d: JUMP
0000168e: JUMPDEST
0000168f: PUSH1 0x00
00001691: DUP3
00001692: DUP2
00001693: MSTORE
00001694: PUSH1 0x65
00001696: PUSH1 0x20
00001698: MSTORE
00001699: PUSH1 0x40
0000169b: SWAP1
0000169c: KECCAK256
0000169d: PUSH1 0x01
0000169f: ADD
000016a0: SLOAD
000016a1: PUSH2 0x16a9
000016a4: DUP2
000016a5: PUSH2 0x1780
000016a8: JUMP
000016a9: JUMPDEST
000016aa: PUSH2 0x0788
000016ad: DUP4
000016ae: DUP4
000016af: PUSH2 0x1810
000016b2: JUMP
000016b3: JUMPDEST
000016b4: PUSH1 0x97
000016b6: SLOAD
000016b7: PUSH1 0xff
000016b9: AND
000016ba: ISZERO
000016bb: PUSH2 0x0b5b
000016be: JUMPI
000016bf: PUSH1 0x40
000016c1: MLOAD
000016c2: PUSH3 0x461bcd
000016c6: PUSH1 0xe5
000016c8: SHL
000016c9: DUP2
000016ca: MSTORE
000016cb: PUSH1 0x20
000016cd: PUSH1 0x04
000016cf: DUP3
000016d0: ADD
000016d1: MSTORE
000016d2: PUSH1 0x10
000016d4: PUSH1 0x24
000016d6: DUP3
000016d7: ADD
000016d8: MSTORE
000016d9: PUSH16 0x14185d5cd8589b194e881c185d5cd959
000016ea: PUSH1 0x82
000016ec: SHL
000016ed: PUSH1 0x44
000016ef: DUP3
000016f0: ADD
000016f1: MSTORE
000016f2: PUSH1 0x64
000016f4: ADD
000016f5: PUSH2 0x07f9
000016f8: JUMP
000016f9: JUMPDEST
000016fa: PUSH1 0x40
000016fc: MLOAD
000016fd: PUSH4 0x18903ee7
00001702: PUSH1 0xe2
00001704: SHL
00001705: DUP2
00001706: MSTORE
00001707: PUSH1 0x01
00001709: PUSH1 0x01
0000170b: PUSH1 0xa0
0000170d: SHL
0000170e: SUB
0000170f: DUP4
00001710: DUP2
00001711: AND
00001712: PUSH1 0x04
00001714: DUP4
00001715: ADD
00001716: MSTORE
00001717: DUP3
00001718: AND
00001719: SWAP1
0000171a: PUSH4 0x6240fb9c
0000171f: SWAP1
00001720: PUSH1 0x24
00001722: ADD
00001723: PUSH1 0x20
00001725: PUSH1 0x40
00001727: MLOAD
00001728: DUP1
00001729: DUP4
0000172a: SUB
0000172b: DUP2
0000172c: DUP7
0000172d: GAS
0000172e: STATICCALL
0000172f: ISZERO
00001730: DUP1
00001731: ISZERO
00001732: PUSH2 0x173f
00001735: JUMPI
00001736: RETURNDATASIZE
00001737: PUSH1 0x00
00001739: DUP1
0000173a: RETURNDATACOPY
0000173b: RETURNDATASIZE
0000173c: PUSH1 0x00
0000173e: REVERT
0000173f: JUMPDEST
00001740: POP
00001741: POP
00001742: POP
00001743: POP
00001744: PUSH1 0x40
00001746: MLOAD
00001747: RETURNDATASIZE
00001748: PUSH1 0x1f
0000174a: NOT
0000174b: PUSH1 0x1f
0000174d: DUP3
0000174e: ADD
0000174f: AND
00001750: DUP3
00001751: ADD
00001752: DUP1
00001753: PUSH1 0x40
00001755: MSTORE
00001756: POP
00001757: DUP2
00001758: ADD
00001759: SWAP1
0000175a: PUSH2 0x1763
0000175d: SWAP2
0000175e: SWAP1
0000175f: PUSH2 0x2327
00001762: JUMP
00001763: JUMPDEST
00001764: PUSH2 0x080c
00001767: JUMPI
00001768: PUSH1 0x40
0000176a: MLOAD
0000176b: PUSH4 0xc4230ae3
00001770: PUSH1 0xe0
00001772: SHL
00001773: DUP2
00001774: MSTORE
00001775: PUSH1 0x04
00001777: ADD
00001778: PUSH1 0x40
0000177a: MLOAD
0000177b: DUP1
0000177c: SWAP2
0000177d: SUB
0000177e: SWAP1
0000177f: REVERT
00001780: JUMPDEST
00001781: PUSH2 0x0949
00001784: DUP2
00001785: CALLER
00001786: PUSH2 0x1c33
00001789: JUMP
0000178a: JUMPDEST
0000178b: PUSH2 0x1794
0000178e: DUP3
0000178f: DUP3
00001790: PUSH2 0x0b5d
00001793: JUMP
00001794: JUMPDEST
00001795: PUSH2 0x080c
00001798: JUMPI
00001799: PUSH1 0x00
0000179b: DUP3
0000179c: DUP2
0000179d: MSTORE
0000179e: PUSH1 0x65
000017a0: PUSH1 0x20
000017a2: SWAP1
000017a3: DUP2
000017a4: MSTORE
000017a5: PUSH1 0x40
000017a7: DUP1
000017a8: DUP4
000017a9: KECCAK256
000017aa: PUSH1 0x01
000017ac: PUSH1 0x01
000017ae: PUSH1 0xa0
000017b0: SHL
000017b1: SUB
000017b2: DUP6
000017b3: AND
000017b4: DUP5
000017b5: MSTORE
000017b6: SWAP1
000017b7: SWAP2
000017b8: MSTORE
000017b9: SWAP1
000017ba: KECCAK256
000017bb: DUP1
000017bc: SLOAD
000017bd: PUSH1 0xff
000017bf: NOT
000017c0: AND
000017c1: PUSH1 0x01
000017c3: OR
000017c4: SWAP1
000017c5: SSTORE
000017c6: PUSH2 0x17cc
000017c9: CALLER
000017ca: SWAP1
000017cb: JUMP
000017cc: JUMPDEST
000017cd: PUSH1 0x01
000017cf: PUSH1 0x01
000017d1: PUSH1 0xa0
000017d3: SHL
000017d4: SUB
000017d5: AND
000017d6: DUP2
000017d7: PUSH1 0x01
000017d9: PUSH1 0x01
000017db: PUSH1 0xa0
000017dd: SHL
000017de: SUB
000017df: AND
000017e0: DUP4
000017e1: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d
00001802: PUSH1 0x40
00001804: MLOAD
00001805: PUSH1 0x40
00001807: MLOAD
00001808: DUP1
00001809: SWAP2
0000180a: SUB
0000180b: SWAP1
0000180c: LOG4
0000180d: POP
0000180e: POP
0000180f: JUMP
00001810: JUMPDEST
00001811: PUSH2 0x181a
00001814: DUP3
00001815: DUP3
00001816: PUSH2 0x0b5d
00001819: JUMP
0000181a: JUMPDEST
0000181b: ISZERO
0000181c: PUSH2 0x080c
0000181f: JUMPI
00001820: PUSH1 0x00
00001822: DUP3
00001823: DUP2
00001824: MSTORE
00001825: PUSH1 0x65
00001827: PUSH1 0x20
00001829: SWAP1
0000182a: DUP2
0000182b: MSTORE
0000182c: PUSH1 0x40
0000182e: DUP1
0000182f: DUP4
00001830: KECCAK256
00001831: PUSH1 0x01
00001833: PUSH1 0x01
00001835: PUSH1 0xa0
00001837: SHL
00001838: SUB
00001839: DUP6
0000183a: AND
0000183b: DUP1
0000183c: DUP6
0000183d: MSTORE
0000183e: SWAP3
0000183f: MSTORE
00001840: DUP1
00001841: DUP4
00001842: KECCAK256
00001843: DUP1
00001844: SLOAD
00001845: PUSH1 0xff
00001847: NOT
00001848: AND
00001849: SWAP1
0000184a: SSTORE
0000184b: MLOAD
0000184c: CALLER
0000184d: SWAP3
0000184e: DUP6
0000184f: SWAP2
00001850: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b
00001871: SWAP2
00001872: SWAP1
00001873: LOG4
00001874: POP
00001875: POP
00001876: JUMP
00001877: JUMPDEST
00001878: PUSH1 0x02
0000187a: PUSH1 0xc9
0000187c: SLOAD
0000187d: SUB
0000187e: PUSH2 0x18c9
00001881: JUMPI
00001882: PUSH1 0x40
00001884: MLOAD
00001885: PUSH3 0x461bcd
00001889: PUSH1 0xe5
0000188b: SHL
0000188c: DUP2
0000188d: MSTORE
0000188e: PUSH1 0x20
00001890: PUSH1 0x04
00001892: DUP3
00001893: ADD
00001894: MSTORE
00001895: PUSH1 0x1f
00001897: PUSH1 0x24
00001899: DUP3
0000189a: ADD
0000189b: MSTORE
0000189c: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
000018bd: PUSH1 0x44
000018bf: DUP3
000018c0: ADD
000018c1: MSTORE
000018c2: PUSH1 0x64
000018c4: ADD
000018c5: PUSH2 0x07f9
000018c8: JUMP
000018c9: JUMPDEST
000018ca: PUSH1 0x02
000018cc: PUSH1 0xc9
000018ce: SSTORE
000018cf: JUMP
000018d0: JUMPDEST
000018d1: PUSH1 0x00
000018d3: DUP3
000018d4: DUP2
000018d5: MSTORE
000018d6: PUSH2 0x0101
000018d9: PUSH1 0x20
000018db: SWAP1
000018dc: DUP2
000018dd: MSTORE
000018de: PUSH1 0x40
000018e0: DUP1
000018e1: DUP4
000018e2: KECCAK256
000018e3: DUP1
000018e4: SLOAD
000018e5: PUSH1 0x01
000018e7: PUSH1 0x01
000018e9: PUSH1 0xa0
000018eb: SHL
000018ec: SUB
000018ed: NOT
000018ee: AND
000018ef: DUP2
000018f0: SSTORE
000018f1: PUSH1 0x01
000018f3: DUP2
000018f4: ADD
000018f5: DUP5
000018f6: SWAP1
000018f7: SSTORE
000018f8: PUSH1 0x02
000018fa: DUP2
000018fb: ADD
000018fc: DUP5
000018fd: SWAP1
000018fe: SSTORE
000018ff: PUSH1 0x03
00001901: DUP2
00001902: ADD
00001903: DUP5
00001904: SWAP1
00001905: SSTORE
00001906: PUSH1 0x04
00001908: ADD
00001909: DUP4
0000190a: SWAP1
0000190b: SSTORE
0000190c: PUSH1 0x01
0000190e: PUSH1 0x01
00001910: PUSH1 0xa0
00001912: SHL
00001913: SUB
00001914: DUP5
00001915: AND
00001916: DUP4
00001917: MSTORE
00001918: PUSH2 0x0102
0000191b: SWAP1
0000191c: SWAP2
0000191d: MSTORE
0000191e: DUP2
0000191f: KECCAK256
00001920: DUP1
00001921: SLOAD
00001922: SWAP2
00001923: JUMPDEST
00001924: DUP3
00001925: DUP2
00001926: LT
00001927: ISZERO
00001928: PUSH2 0x19ca
0000192b: JUMPI
0000192c: DUP2
0000192d: DUP2
0000192e: DUP2
0000192f: SLOAD
00001930: DUP2
00001931: LT
00001932: PUSH2 0x193d
00001935: JUMPI
00001936: PUSH2 0x193d
00001939: PUSH2 0x23df
0000193c: JUMP
0000193d: JUMPDEST
0000193e: SWAP1
0000193f: PUSH1 0x00
00001941: MSTORE
00001942: PUSH1 0x20
00001944: PUSH1 0x00
00001946: KECCAK256
00001947: ADD
00001948: SLOAD
00001949: DUP6
0000194a: SUB
0000194b: PUSH2 0x19c2
0000194e: JUMPI
0000194f: DUP2
00001950: PUSH2 0x195a
00001953: PUSH1 0x01
00001955: DUP6
00001956: PUSH2 0x2372
00001959: JUMP
0000195a: JUMPDEST
0000195b: DUP2
0000195c: SLOAD
0000195d: DUP2
0000195e: LT
0000195f: PUSH2 0x196a
00001962: JUMPI
00001963: PUSH2 0x196a
00001966: PUSH2 0x23df
00001969: JUMP
0000196a: JUMPDEST
0000196b: SWAP1
0000196c: PUSH1 0x00
0000196e: MSTORE
0000196f: PUSH1 0x20
00001971: PUSH1 0x00
00001973: KECCAK256
00001974: ADD
00001975: SLOAD
00001976: DUP3
00001977: DUP3
00001978: DUP2
00001979: SLOAD
0000197a: DUP2
0000197b: LT
0000197c: PUSH2 0x1987
0000197f: JUMPI
00001980: PUSH2 0x1987
00001983: PUSH2 0x23df
00001986: JUMP
00001987: JUMPDEST
00001988: SWAP1
00001989: PUSH1 0x00
0000198b: MSTORE
0000198c: PUSH1 0x20
0000198e: PUSH1 0x00
00001990: KECCAK256
00001991: ADD
00001992: DUP2
00001993: SWAP1
00001994: SSTORE
00001995: POP
00001996: DUP2
00001997: DUP1
00001998: SLOAD
00001999: DUP1
0000199a: PUSH2 0x19a5
0000199d: JUMPI
0000199e: PUSH2 0x19a5
000019a1: PUSH2 0x23f5
000019a4: JUMP
000019a5: JUMPDEST
000019a6: PUSH1 0x01
000019a8: SWAP1
000019a9: SUB
000019aa: DUP2
000019ab: DUP2
000019ac: SWAP1
000019ad: PUSH1 0x00
000019af: MSTORE
000019b0: PUSH1 0x20
000019b2: PUSH1 0x00
000019b4: KECCAK256
000019b5: ADD
000019b6: PUSH1 0x00
000019b8: SWAP1
000019b9: SSTORE
000019ba: SWAP1
000019bb: SSTORE
000019bc: POP
000019bd: POP
000019be: POP
000019bf: POP
000019c0: POP
000019c1: JUMP
000019c2: JUMPDEST
000019c3: PUSH1 0x01
000019c5: ADD
000019c6: PUSH2 0x1923
000019c9: JUMP
000019ca: JUMPDEST
000019cb: POP
000019cc: PUSH1 0x40
000019ce: MLOAD
000019cf: PUSH4 0x74ec20b1
000019d4: PUSH1 0xe0
000019d6: SHL
000019d7: DUP2
000019d8: MSTORE
000019d9: PUSH1 0x04
000019db: ADD
000019dc: PUSH1 0x40
000019de: MLOAD
000019df: DUP1
000019e0: SWAP2
000019e1: SUB
000019e2: SWAP1
000019e3: REVERT
000019e4: JUMPDEST
000019e5: DUP1
000019e6: SELFBALANCE
000019e7: LT
000019e8: ISZERO
000019e9: PUSH2 0x1a05
000019ec: JUMPI
000019ed: PUSH1 0x40
000019ef: MLOAD
000019f0: PUSH4 0x1853c5df
000019f5: PUSH1 0xe3
000019f7: SHL
000019f8: DUP2
000019f9: MSTORE
000019fa: PUSH1 0x04
000019fc: ADD
000019fd: PUSH1 0x40
000019ff: MLOAD
00001a00: DUP1
00001a01: SWAP2
00001a02: SUB
00001a03: SWAP1
00001a04: REVERT
00001a05: JUMPDEST
00001a06: PUSH1 0x00
00001a08: DUP3
00001a09: PUSH1 0x01
00001a0b: PUSH1 0x01
00001a0d: PUSH1 0xa0
00001a0f: SHL
00001a10: SUB
00001a11: AND
00001a12: DUP3
00001a13: PUSH1 0x40
00001a15: MLOAD
00001a16: PUSH1 0x00
00001a18: PUSH1 0x40
00001a1a: MLOAD
00001a1b: DUP1
00001a1c: DUP4
00001a1d: SUB
00001a1e: DUP2
00001a1f: DUP6
00001a20: DUP8
00001a21: GAS
00001a22: CALL
00001a23: SWAP3
00001a24: POP
00001a25: POP
00001a26: POP
00001a27: RETURNDATASIZE
00001a28: DUP1
00001a29: PUSH1 0x00
00001a2b: DUP2
00001a2c: EQ
00001a2d: PUSH2 0x1a52
00001a30: JUMPI
00001a31: PUSH1 0x40
00001a33: MLOAD
00001a34: SWAP2
00001a35: POP
00001a36: PUSH1 0x1f
00001a38: NOT
00001a39: PUSH1 0x3f
00001a3b: RETURNDATASIZE
00001a3c: ADD
00001a3d: AND
00001a3e: DUP3
00001a3f: ADD
00001a40: PUSH1 0x40
00001a42: MSTORE
00001a43: RETURNDATASIZE
00001a44: DUP3
00001a45: MSTORE
00001a46: RETURNDATASIZE
00001a47: PUSH1 0x00
00001a49: PUSH1 0x20
00001a4b: DUP5
00001a4c: ADD
00001a4d: RETURNDATACOPY
00001a4e: PUSH2 0x1a57
00001a51: JUMP
00001a52: JUMPDEST
00001a53: PUSH1 0x60
00001a55: SWAP2
00001a56: POP
00001a57: JUMPDEST
00001a58: POP
00001a59: POP
00001a5a: SWAP1
00001a5b: POP
00001a5c: DUP1
00001a5d: PUSH2 0x0788
00001a60: JUMPI
00001a61: PUSH1 0x40
00001a63: MLOAD
00001a64: PUSH4 0xb12d13eb
00001a69: PUSH1 0xe0
00001a6b: SHL
00001a6c: DUP2
00001a6d: MSTORE
00001a6e: PUSH1 0x04
00001a70: ADD
00001a71: PUSH1 0x40
00001a73: MLOAD
00001a74: DUP1
00001a75: SWAP2
00001a76: SUB
00001a77: SWAP1
00001a78: REVERT
00001a79: JUMPDEST
00001a7a: PUSH1 0x01
00001a7c: PUSH1 0xc9
00001a7e: SSTORE
00001a7f: JUMP
00001a80: JUMPDEST
00001a81: PUSH2 0x1a88
00001a84: PUSH2 0x1c8c
00001a87: JUMP
00001a88: JUMPDEST
00001a89: PUSH1 0x97
00001a8b: DUP1
00001a8c: SLOAD
00001a8d: PUSH1 0xff
00001a8f: NOT
00001a90: AND
00001a91: SWAP1
00001a92: SSTORE
00001a93: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
00001ab4: CALLER
00001ab5: JUMPDEST
00001ab6: PUSH1 0x40
00001ab8: MLOAD
00001ab9: PUSH1 0x01
00001abb: PUSH1 0x01
00001abd: PUSH1 0xa0
00001abf: SHL
00001ac0: SUB
00001ac1: SWAP1
00001ac2: SWAP2
00001ac3: AND
00001ac4: DUP2
00001ac5: MSTORE
00001ac6: PUSH1 0x20
00001ac8: ADD
00001ac9: PUSH1 0x40
00001acb: MLOAD
00001acc: DUP1
00001acd: SWAP2
00001ace: SUB
00001acf: SWAP1
00001ad0: LOG1
00001ad1: JUMP
00001ad2: JUMPDEST
00001ad3: PUSH1 0x01
00001ad5: PUSH1 0x01
00001ad7: PUSH1 0xa0
00001ad9: SHL
00001ada: SUB
00001adb: DUP2
00001adc: AND
00001add: PUSH2 0x0949
00001ae0: JUMPI
00001ae1: PUSH1 0x40
00001ae3: MLOAD
00001ae4: PUSH4 0xd92e233d
00001ae9: PUSH1 0xe0
00001aeb: SHL
00001aec: DUP2
00001aed: MSTORE
00001aee: PUSH1 0x04
00001af0: ADD
00001af1: PUSH1 0x40
00001af3: MLOAD
00001af4: DUP1
00001af5: SWAP2
00001af6: SUB
00001af7: SWAP1
00001af8: REVERT
00001af9: JUMPDEST
00001afa: PUSH1 0x00
00001afc: SLOAD
00001afd: PUSH2 0x0100
00001b00: SWAP1
00001b01: DIV
00001b02: PUSH1 0xff
00001b04: AND
00001b05: PUSH2 0x0b5b
00001b08: JUMPI
00001b09: PUSH1 0x40
00001b0b: MLOAD
00001b0c: PUSH3 0x461bcd
00001b10: PUSH1 0xe5
00001b12: SHL
00001b13: DUP2
00001b14: MSTORE
00001b15: PUSH1 0x04
00001b17: ADD
00001b18: PUSH2 0x07f9
00001b1b: SWAP1
00001b1c: PUSH2 0x240b
00001b1f: JUMP
00001b20: JUMPDEST
00001b21: PUSH1 0x00
00001b23: SLOAD
00001b24: PUSH2 0x0100
00001b27: SWAP1
00001b28: DIV
00001b29: PUSH1 0xff
00001b2b: AND
00001b2c: PUSH2 0x1b47
00001b2f: JUMPI
00001b30: PUSH1 0x40
00001b32: MLOAD
00001b33: PUSH3 0x461bcd
00001b37: PUSH1 0xe5
00001b39: SHL
00001b3a: DUP2
00001b3b: MSTORE
00001b3c: PUSH1 0x04
00001b3e: ADD
00001b3f: PUSH2 0x07f9
00001b42: SWAP1
00001b43: PUSH2 0x240b
00001b46: JUMP
00001b47: JUMPDEST
00001b48: PUSH2 0x0b5b
00001b4b: PUSH2 0x1cd5
00001b4e: JUMP
00001b4f: JUMPDEST
00001b50: PUSH1 0x00
00001b52: SLOAD
00001b53: PUSH2 0x0100
00001b56: SWAP1
00001b57: DIV
00001b58: PUSH1 0xff
00001b5a: AND
00001b5b: PUSH2 0x1b76
00001b5e: JUMPI
00001b5f: PUSH1 0x40
00001b61: MLOAD
00001b62: PUSH3 0x461bcd
00001b66: PUSH1 0xe5
00001b68: SHL
00001b69: DUP2
00001b6a: MSTORE
00001b6b: PUSH1 0x04
00001b6d: ADD
00001b6e: PUSH2 0x07f9
00001b71: SWAP1
00001b72: PUSH2 0x240b
00001b75: JUMP
00001b76: JUMPDEST
00001b77: PUSH2 0x0b5b
00001b7a: PUSH2 0x1d08
00001b7d: JUMP
00001b7e: JUMPDEST
00001b7f: PUSH2 0x1b86
00001b82: PUSH2 0x16b3
00001b85: JUMP
00001b86: JUMPDEST
00001b87: PUSH1 0x97
00001b89: DUP1
00001b8a: SLOAD
00001b8b: PUSH1 0xff
00001b8d: NOT
00001b8e: AND
00001b8f: PUSH1 0x01
00001b91: OR
00001b92: SWAP1
00001b93: SSTORE
00001b94: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
00001bb5: PUSH2 0x1ab5
00001bb8: CALLER
00001bb9: SWAP1
00001bba: JUMP
00001bbb: JUMPDEST
00001bbc: PUSH1 0x00
00001bbe: DUP2
00001bbf: DUP4
00001bc0: LT
00001bc1: PUSH2 0x1bca
00001bc4: JUMPI
00001bc5: DUP2
00001bc6: PUSH2 0x1bcc
00001bc9: JUMP
00001bca: JUMPDEST
00001bcb: DUP3
00001bcc: JUMPDEST
00001bcd: SWAP4
00001bce: SWAP3
00001bcf: POP
00001bd0: POP
00001bd1: POP
00001bd2: JUMP
00001bd3: JUMPDEST
00001bd4: PUSH1 0x40
00001bd6: DUP1
00001bd7: MLOAD
00001bd8: PUSH1 0x01
00001bda: PUSH1 0x01
00001bdc: PUSH1 0xa0
00001bde: SHL
00001bdf: SUB
00001be0: DUP6
00001be1: DUP2
00001be2: AND
00001be3: PUSH1 0x24
00001be5: DUP4
00001be6: ADD
00001be7: MSTORE
00001be8: DUP5
00001be9: AND
00001bea: PUSH1 0x44
00001bec: DUP3
00001bed: ADD
00001bee: MSTORE
00001bef: PUSH1 0x64
00001bf1: DUP1
00001bf2: DUP3
00001bf3: ADD
00001bf4: DUP5
00001bf5: SWAP1
00001bf6: MSTORE
00001bf7: DUP3
00001bf8: MLOAD
00001bf9: DUP1
00001bfa: DUP4
00001bfb: SUB
00001bfc: SWAP1
00001bfd: SWAP2
00001bfe: ADD
00001bff: DUP2
00001c00: MSTORE
00001c01: PUSH1 0x84
00001c03: SWAP1
00001c04: SWAP2
00001c05: ADD
00001c06: SWAP1
00001c07: SWAP2
00001c08: MSTORE
00001c09: PUSH1 0x20
00001c0b: DUP2
00001c0c: ADD
00001c0d: DUP1
00001c0e: MLOAD
00001c0f: PUSH1 0x01
00001c11: PUSH1 0x01
00001c13: PUSH1 0xe0
00001c15: SHL
00001c16: SUB
00001c17: AND
00001c18: PUSH4 0x23b872dd
00001c1d: PUSH1 0xe0
00001c1f: SHL
00001c20: OR
00001c21: SWAP1
00001c22: MSTORE
00001c23: PUSH2 0x1c2d
00001c26: SWAP1
00001c27: DUP6
00001c28: SWAP1
00001c29: PUSH2 0x1d2f
00001c2c: JUMP
00001c2d: JUMPDEST
00001c2e: POP
00001c2f: POP
00001c30: POP
00001c31: POP
00001c32: JUMP
00001c33: JUMPDEST
00001c34: PUSH2 0x1c3d
00001c37: DUP3
00001c38: DUP3
00001c39: PUSH2 0x0b5d
00001c3c: JUMP
00001c3d: JUMPDEST
00001c3e: PUSH2 0x080c
00001c41: JUMPI
00001c42: PUSH2 0x1c4a
00001c45: DUP2
00001c46: PUSH2 0x1e01
00001c49: JUMP
00001c4a: JUMPDEST
00001c4b: PUSH2 0x1c55
00001c4e: DUP4
00001c4f: PUSH1 0x20
00001c51: PUSH2 0x1e13
00001c54: JUMP
00001c55: JUMPDEST
00001c56: PUSH1 0x40
00001c58: MLOAD
00001c59: PUSH1 0x20
00001c5b: ADD
00001c5c: PUSH2 0x1c66
00001c5f: SWAP3
00001c60: SWAP2
00001c61: SWAP1
00001c62: PUSH2 0x247a
00001c65: JUMP
00001c66: JUMPDEST
00001c67: PUSH1 0x40
00001c69: DUP1
00001c6a: MLOAD
00001c6b: PUSH1 0x1f
00001c6d: NOT
00001c6e: DUP2
00001c6f: DUP5
00001c70: SUB
00001c71: ADD
00001c72: DUP2
00001c73: MSTORE
00001c74: SWAP1
00001c75: DUP3
00001c76: SWAP1
00001c77: MSTORE
00001c78: PUSH3 0x461bcd
00001c7c: PUSH1 0xe5
00001c7e: SHL
00001c7f: DUP3
00001c80: MSTORE
00001c81: PUSH2 0x07f9
00001c84: SWAP2
00001c85: PUSH1 0x04
00001c87: ADD
00001c88: PUSH2 0x24ef
00001c8b: JUMP
00001c8c: JUMPDEST
00001c8d: PUSH1 0x97
00001c8f: SLOAD
00001c90: PUSH1 0xff
00001c92: AND
00001c93: PUSH2 0x0b5b
00001c96: JUMPI
00001c97: PUSH1 0x40
00001c99: MLOAD
00001c9a: PUSH3 0x461bcd
00001c9e: PUSH1 0xe5
00001ca0: SHL
00001ca1: DUP2
00001ca2: MSTORE
00001ca3: PUSH1 0x20
00001ca5: PUSH1 0x04
00001ca7: DUP3
00001ca8: ADD
00001ca9: MSTORE
00001caa: PUSH1 0x14
00001cac: PUSH1 0x24
00001cae: DUP3
00001caf: ADD
00001cb0: MSTORE
00001cb1: PUSH20 0x14185d5cd8589b194e881b9bdd081c185d5cd959
00001cc6: PUSH1 0x62
00001cc8: SHL
00001cc9: PUSH1 0x44
00001ccb: DUP3
00001ccc: ADD
00001ccd: MSTORE
00001cce: PUSH1 0x64
00001cd0: ADD
00001cd1: PUSH2 0x07f9
00001cd4: JUMP
00001cd5: JUMPDEST
00001cd6: PUSH1 0x00
00001cd8: SLOAD
00001cd9: PUSH2 0x0100
00001cdc: SWAP1
00001cdd: DIV
00001cde: PUSH1 0xff
00001ce0: AND
00001ce1: PUSH2 0x1cfc
00001ce4: JUMPI
00001ce5: PUSH1 0x40
00001ce7: MLOAD
00001ce8: PUSH3 0x461bcd
00001cec: PUSH1 0xe5
00001cee: SHL
00001cef: DUP2
00001cf0: MSTORE
00001cf1: PUSH1 0x04
00001cf3: ADD
00001cf4: PUSH2 0x07f9
00001cf7: SWAP1
00001cf8: PUSH2 0x240b
00001cfb: JUMP
00001cfc: JUMPDEST
00001cfd: PUSH1 0x97
00001cff: DUP1
00001d00: SLOAD
00001d01: PUSH1 0xff
00001d03: NOT
00001d04: AND
00001d05: SWAP1
00001d06: SSTORE
00001d07: JUMP
00001d08: JUMPDEST
00001d09: PUSH1 0x00
00001d0b: SLOAD
00001d0c: PUSH2 0x0100
00001d0f: SWAP1
00001d10: DIV
00001d11: PUSH1 0xff
00001d13: AND
00001d14: PUSH2 0x1a79
00001d17: JUMPI
00001d18: PUSH1 0x40
00001d1a: MLOAD
00001d1b: PUSH3 0x461bcd
00001d1f: PUSH1 0xe5
00001d21: SHL
00001d22: DUP2
00001d23: MSTORE
00001d24: PUSH1 0x04
00001d26: ADD
00001d27: PUSH2 0x07f9
00001d2a: SWAP1
00001d2b: PUSH2 0x240b
00001d2e: JUMP
00001d2f: JUMPDEST
00001d30: PUSH1 0x00
00001d32: PUSH2 0x1d84
00001d35: DUP3
00001d36: PUSH1 0x40
00001d38: MLOAD
00001d39: DUP1
00001d3a: PUSH1 0x40
00001d3c: ADD
00001d3d: PUSH1 0x40
00001d3f: MSTORE
00001d40: DUP1
00001d41: PUSH1 0x20
00001d43: DUP2
00001d44: MSTORE
00001d45: PUSH1 0x20
00001d47: ADD
00001d48: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00001d69: DUP2
00001d6a: MSTORE
00001d6b: POP
00001d6c: DUP6
00001d6d: PUSH1 0x01
00001d6f: PUSH1 0x01
00001d71: PUSH1 0xa0
00001d73: SHL
00001d74: SUB
00001d75: AND
00001d76: PUSH2 0x1faf
00001d79: SWAP1
00001d7a: SWAP3
00001d7b: SWAP2
00001d7c: SWAP1
00001d7d: PUSH4 0xffffffff
00001d82: AND
00001d83: JUMP
00001d84: JUMPDEST
00001d85: DUP1
00001d86: MLOAD
00001d87: SWAP1
00001d88: SWAP2
00001d89: POP
00001d8a: ISZERO
00001d8b: PUSH2 0x0788
00001d8e: JUMPI
00001d8f: DUP1
00001d90: DUP1
00001d91: PUSH1 0x20
00001d93: ADD
00001d94: SWAP1
00001d95: MLOAD
00001d96: DUP2
00001d97: ADD
00001d98: SWAP1
00001d99: PUSH2 0x1da2
00001d9c: SWAP2
00001d9d: SWAP1
00001d9e: PUSH2 0x2327
00001da1: JUMP
00001da2: JUMPDEST
00001da3: PUSH2 0x0788
00001da6: JUMPI
00001da7: PUSH1 0x40
00001da9: MLOAD
00001daa: PUSH3 0x461bcd
00001dae: PUSH1 0xe5
00001db0: SHL
00001db1: DUP2
00001db2: MSTORE
00001db3: PUSH1 0x20
00001db5: PUSH1 0x04
00001db7: DUP3
00001db8: ADD
00001db9: MSTORE
00001dba: PUSH1 0x2a
00001dbc: PUSH1 0x24
00001dbe: DUP3
00001dbf: ADD
00001dc0: MSTORE
00001dc1: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00001de2: PUSH1 0x44
00001de4: DUP3
00001de5: ADD
00001de6: MSTORE
00001de7: PUSH10 0x1bdd081cdd58d8d95959
00001df2: PUSH1 0xb2
00001df4: SHL
00001df5: PUSH1 0x64
00001df7: DUP3
00001df8: ADD
00001df9: MSTORE
00001dfa: PUSH1 0x84
00001dfc: ADD
00001dfd: PUSH2 0x07f9
00001e00: JUMP
00001e01: JUMPDEST
00001e02: PUSH1 0x60
00001e04: PUSH2 0x0591
00001e07: PUSH1 0x01
00001e09: PUSH1 0x01
00001e0b: PUSH1 0xa0
00001e0d: SHL
00001e0e: SUB
00001e0f: DUP4
00001e10: AND
00001e11: PUSH1 0x14
00001e13: JUMPDEST
00001e14: PUSH1 0x60
00001e16: PUSH1 0x00
00001e18: PUSH2 0x1e22
00001e1b: DUP4
00001e1c: PUSH1 0x02
00001e1e: PUSH2 0x2385
00001e21: JUMP
00001e22: JUMPDEST
00001e23: PUSH2 0x1e2d
00001e26: SWAP1
00001e27: PUSH1 0x02
00001e29: PUSH2 0x235f
00001e2c: JUMP
00001e2d: JUMPDEST
00001e2e: PUSH8 0xffffffffffffffff
00001e37: DUP2
00001e38: GT
00001e39: ISZERO
00001e3a: PUSH2 0x1e45
00001e3d: JUMPI
00001e3e: PUSH2 0x1e45
00001e41: PUSH2 0x2522
00001e44: JUMP
00001e45: JUMPDEST
00001e46: PUSH1 0x40
00001e48: MLOAD
00001e49: SWAP1
00001e4a: DUP1
00001e4b: DUP3
00001e4c: MSTORE
00001e4d: DUP1
00001e4e: PUSH1 0x1f
00001e50: ADD
00001e51: PUSH1 0x1f
00001e53: NOT
00001e54: AND
00001e55: PUSH1 0x20
00001e57: ADD
00001e58: DUP3
00001e59: ADD
00001e5a: PUSH1 0x40
00001e5c: MSTORE
00001e5d: DUP1
00001e5e: ISZERO
00001e5f: PUSH2 0x1e6f
00001e62: JUMPI
00001e63: PUSH1 0x20
00001e65: DUP3
00001e66: ADD
00001e67: DUP2
00001e68: DUP1
00001e69: CALLDATASIZE
00001e6a: DUP4
00001e6b: CALLDATACOPY
00001e6c: ADD
00001e6d: SWAP1
00001e6e: POP
00001e6f: JUMPDEST
00001e70: POP
00001e71: SWAP1
00001e72: POP
00001e73: PUSH1 0x03
00001e75: PUSH1 0xfc
00001e77: SHL
00001e78: DUP2
00001e79: PUSH1 0x00
00001e7b: DUP2
00001e7c: MLOAD
00001e7d: DUP2
00001e7e: LT
00001e7f: PUSH2 0x1e8a
00001e82: JUMPI
00001e83: PUSH2 0x1e8a
00001e86: PUSH2 0x23df
00001e89: JUMP
00001e8a: JUMPDEST
00001e8b: PUSH1 0x20
00001e8d: ADD
00001e8e: ADD
00001e8f: SWAP1
00001e90: PUSH1 0x01
00001e92: PUSH1 0x01
00001e94: PUSH1 0xf8
00001e96: SHL
00001e97: SUB
00001e98: NOT
00001e99: AND
00001e9a: SWAP1
00001e9b: DUP2
00001e9c: PUSH1 0x00
00001e9e: BYTE
00001e9f: SWAP1
00001ea0: MSTORE8
00001ea1: POP
00001ea2: PUSH1 0x0f
00001ea4: PUSH1 0xfb
00001ea6: SHL
00001ea7: DUP2
00001ea8: PUSH1 0x01
00001eaa: DUP2
00001eab: MLOAD
00001eac: DUP2
00001ead: LT
00001eae: PUSH2 0x1eb9
00001eb1: JUMPI
00001eb2: PUSH2 0x1eb9
00001eb5: PUSH2 0x23df
00001eb8: JUMP
00001eb9: JUMPDEST
00001eba: PUSH1 0x20
00001ebc: ADD
00001ebd: ADD
00001ebe: SWAP1
00001ebf: PUSH1 0x01
00001ec1: PUSH1 0x01
00001ec3: PUSH1 0xf8
00001ec5: SHL
00001ec6: SUB
00001ec7: NOT
00001ec8: AND
00001ec9: SWAP1
00001eca: DUP2
00001ecb: PUSH1 0x00
00001ecd: BYTE
00001ece: SWAP1
00001ecf: MSTORE8
00001ed0: POP
00001ed1: PUSH1 0x00
00001ed3: PUSH2 0x1edd
00001ed6: DUP5
00001ed7: PUSH1 0x02
00001ed9: PUSH2 0x2385
00001edc: JUMP
00001edd: JUMPDEST
00001ede: PUSH2 0x1ee8
00001ee1: SWAP1
00001ee2: PUSH1 0x01
00001ee4: PUSH2 0x235f
00001ee7: JUMP
00001ee8: JUMPDEST
00001ee9: SWAP1
00001eea: POP
00001eeb: JUMPDEST
00001eec: PUSH1 0x01
00001eee: DUP2
00001eef: GT
00001ef0: ISZERO
00001ef1: PUSH2 0x1f60
00001ef4: JUMPI
00001ef5: PUSH16 0x181899199a1a9b1b9c1cb0b131b232b3
00001f06: PUSH1 0x81
00001f08: SHL
00001f09: DUP6
00001f0a: PUSH1 0x0f
00001f0c: AND
00001f0d: PUSH1 0x10
00001f0f: DUP2
00001f10: LT
00001f11: PUSH2 0x1f1c
00001f14: JUMPI
00001f15: PUSH2 0x1f1c
00001f18: PUSH2 0x23df
00001f1b: JUMP
00001f1c: JUMPDEST
00001f1d: BYTE
00001f1e: PUSH1 0xf8
00001f20: SHL
00001f21: DUP3
00001f22: DUP3
00001f23: DUP2
00001f24: MLOAD
00001f25: DUP2
00001f26: LT
00001f27: PUSH2 0x1f32
00001f2a: JUMPI
00001f2b: PUSH2 0x1f32
00001f2e: PUSH2 0x23df
00001f31: JUMP
00001f32: JUMPDEST
00001f33: PUSH1 0x20
00001f35: ADD
00001f36: ADD
00001f37: SWAP1
00001f38: PUSH1 0x01
00001f3a: PUSH1 0x01
00001f3c: PUSH1 0xf8
00001f3e: SHL
00001f3f: SUB
00001f40: NOT
00001f41: AND
00001f42: SWAP1
00001f43: DUP2
00001f44: PUSH1 0x00
00001f46: BYTE
00001f47: SWAP1
00001f48: MSTORE8
00001f49: POP
00001f4a: PUSH1 0x04
00001f4c: SWAP5
00001f4d: SWAP1
00001f4e: SWAP5
00001f4f: SHR
00001f50: SWAP4
00001f51: PUSH2 0x1f59
00001f54: DUP2
00001f55: PUSH2 0x2538
00001f58: JUMP
00001f59: JUMPDEST
00001f5a: SWAP1
00001f5b: POP
00001f5c: PUSH2 0x1eeb
00001f5f: JUMP
00001f60: JUMPDEST
00001f61: POP
00001f62: DUP4
00001f63: ISZERO
00001f64: PUSH2 0x1bcc
00001f67: JUMPI
00001f68: PUSH1 0x40
00001f6a: MLOAD
00001f6b: PUSH3 0x461bcd
00001f6f: PUSH1 0xe5
00001f71: SHL
00001f72: DUP2
00001f73: MSTORE
00001f74: PUSH1 0x20
00001f76: PUSH1 0x04
00001f78: DUP3
00001f79: ADD
00001f7a: DUP2
00001f7b: SWAP1
00001f7c: MSTORE
00001f7d: PUSH1 0x24
00001f7f: DUP3
00001f80: ADD
00001f81: MSTORE
00001f82: PUSH32 0x537472696e67733a20686578206c656e67746820696e73756666696369656e74
00001fa3: PUSH1 0x44
00001fa5: DUP3
00001fa6: ADD
00001fa7: MSTORE
00001fa8: PUSH1 0x64
00001faa: ADD
00001fab: PUSH2 0x07f9
00001fae: JUMP
00001faf: JUMPDEST
00001fb0: PUSH1 0x60
00001fb2: PUSH2 0x1686
00001fb5: DUP5
00001fb6: DUP5
00001fb7: PUSH1 0x00
00001fb9: DUP6
00001fba: DUP6
00001fbb: PUSH1 0x00
00001fbd: DUP1
00001fbe: DUP7
00001fbf: PUSH1 0x01
00001fc1: PUSH1 0x01
00001fc3: PUSH1 0xa0
00001fc5: SHL
00001fc6: SUB
00001fc7: AND
00001fc8: DUP6
00001fc9: DUP8
00001fca: PUSH1 0x40
00001fcc: MLOAD
00001fcd: PUSH2 0x1fd6
00001fd0: SWAP2
00001fd1: SWAP1
00001fd2: PUSH2 0x254f
00001fd5: JUMP
00001fd6: JUMPDEST
00001fd7: PUSH1 0x00
00001fd9: PUSH1 0x40
00001fdb: MLOAD
00001fdc: DUP1
00001fdd: DUP4
00001fde: SUB
00001fdf: DUP2
00001fe0: DUP6
00001fe1: DUP8
00001fe2: GAS
00001fe3: CALL
00001fe4: SWAP3
00001fe5: POP
00001fe6: POP
00001fe7: POP
00001fe8: RETURNDATASIZE
00001fe9: DUP1
00001fea: PUSH1 0x00
00001fec: DUP2
00001fed: EQ
00001fee: PUSH2 0x2013
00001ff1: JUMPI
00001ff2: PUSH1 0x40
00001ff4: MLOAD
00001ff5: SWAP2
00001ff6: POP
00001ff7: PUSH1 0x1f
00001ff9: NOT
00001ffa: PUSH1 0x3f
00001ffc: RETURNDATASIZE
00001ffd: ADD
00001ffe: AND
00001fff: DUP3
00002000: ADD
00002001: PUSH1 0x40
00002003: MSTORE
00002004: RETURNDATASIZE
00002005: DUP3
00002006: MSTORE
00002007: RETURNDATASIZE
00002008: PUSH1 0x00
0000200a: PUSH1 0x20
0000200c: DUP5
0000200d: ADD
0000200e: RETURNDATACOPY
0000200f: PUSH2 0x2018
00002012: JUMP
00002013: JUMPDEST
00002014: PUSH1 0x60
00002016: SWAP2
00002017: POP
00002018: JUMPDEST
00002019: POP
0000201a: SWAP2
0000201b: POP
0000201c: SWAP2
0000201d: POP
0000201e: PUSH2 0x2029
00002021: DUP8
00002022: DUP4
00002023: DUP4
00002024: DUP8
00002025: PUSH2 0x2034
00002028: JUMP
00002029: JUMPDEST
0000202a: SWAP8
0000202b: SWAP7
0000202c: POP
0000202d: POP
0000202e: POP
0000202f: POP
00002030: POP
00002031: POP
00002032: POP
00002033: JUMP
00002034: JUMPDEST
00002035: PUSH1 0x60
00002037: DUP4
00002038: ISZERO
00002039: PUSH2 0x20a3
0000203c: JUMPI
0000203d: DUP3
0000203e: MLOAD
0000203f: PUSH1 0x00
00002041: SUB
00002042: PUSH2 0x209c
00002045: JUMPI
00002046: PUSH1 0x01
00002048: PUSH1 0x01
0000204a: PUSH1 0xa0
0000204c: SHL
0000204d: SUB
0000204e: DUP6
0000204f: AND
00002050: EXTCODESIZE
00002051: PUSH2 0x209c
00002054: JUMPI
00002055: PUSH1 0x40
00002057: MLOAD
00002058: PUSH3 0x461bcd
0000205c: PUSH1 0xe5
0000205e: SHL
0000205f: DUP2
00002060: MSTORE
00002061: PUSH1 0x20
00002063: PUSH1 0x04
00002065: DUP3
00002066: ADD
00002067: MSTORE
00002068: PUSH1 0x1d
0000206a: PUSH1 0x24
0000206c: DUP3
0000206d: ADD
0000206e: MSTORE
0000206f: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00002090: PUSH1 0x44
00002092: DUP3
00002093: ADD
00002094: MSTORE
00002095: PUSH1 0x64
00002097: ADD
00002098: PUSH2 0x07f9
0000209b: JUMP
0000209c: JUMPDEST
0000209d: POP
0000209e: DUP2
0000209f: PUSH2 0x1686
000020a2: JUMP
000020a3: JUMPDEST
000020a4: PUSH2 0x1686
000020a7: DUP4
000020a8: DUP4
000020a9: DUP2
000020aa: MLOAD
000020ab: ISZERO
000020ac: PUSH2 0x20b8
000020af: JUMPI
000020b0: DUP2
000020b1: MLOAD
000020b2: DUP1
000020b3: DUP4
000020b4: PUSH1 0x20
000020b6: ADD
000020b7: REVERT
000020b8: JUMPDEST
000020b9: DUP1
000020ba: PUSH1 0x40
000020bc: MLOAD
000020bd: PUSH3 0x461bcd
000020c1: PUSH1 0xe5
000020c3: SHL
000020c4: DUP2
000020c5: MSTORE
000020c6: PUSH1 0x04
000020c8: ADD
000020c9: PUSH2 0x07f9
000020cc: SWAP2
000020cd: SWAP1
000020ce: PUSH2 0x24ef
000020d1: JUMP
000020d2: JUMPDEST
000020d3: PUSH1 0x00
000020d5: PUSH1 0x20
000020d7: DUP3
000020d8: DUP5
000020d9: SUB
000020da: SLT
000020db: ISZERO
000020dc: PUSH2 0x20e4
000020df: JUMPI
000020e0: PUSH1 0x00
000020e2: DUP1
000020e3: REVERT
000020e4: JUMPDEST
000020e5: DUP2
000020e6: CALLDATALOAD
000020e7: PUSH1 0x01
000020e9: PUSH1 0x01
000020eb: PUSH1 0xe0
000020ed: SHL
000020ee: SUB
000020ef: NOT
000020f0: DUP2
000020f1: AND
000020f2: DUP2
000020f3: EQ
000020f4: PUSH2 0x1bcc
000020f7: JUMPI
000020f8: PUSH1 0x00
000020fa: DUP1
000020fb: REVERT
000020fc: JUMPDEST
000020fd: PUSH1 0x01
000020ff: PUSH1 0x01
00002101: PUSH1 0xa0
00002103: SHL
00002104: SUB
00002105: DUP2
00002106: AND
00002107: DUP2
00002108: EQ
00002109: PUSH2 0x0949
0000210c: JUMPI
0000210d: PUSH1 0x00
0000210f: DUP1
00002110: REVERT
00002111: JUMPDEST
00002112: PUSH1 0x00
00002114: DUP1
00002115: PUSH1 0x00
00002117: DUP1
00002118: PUSH1 0x60
0000211a: DUP6
0000211b: DUP8
0000211c: SUB
0000211d: SLT
0000211e: ISZERO
0000211f: PUSH2 0x2127
00002122: JUMPI
00002123: PUSH1 0x00
00002125: DUP1
00002126: REVERT
00002127: JUMPDEST
00002128: DUP5
00002129: CALLDATALOAD
0000212a: SWAP4
0000212b: POP
0000212c: PUSH1 0x20
0000212e: DUP6
0000212f: ADD
00002130: CALLDATALOAD
00002131: PUSH2 0x2139
00002134: DUP2
00002135: PUSH2 0x20fc
00002138: JUMP
00002139: JUMPDEST
0000213a: SWAP3
0000213b: POP
0000213c: PUSH1 0x40
0000213e: DUP6
0000213f: ADD
00002140: CALLDATALOAD
00002141: PUSH8 0xffffffffffffffff
0000214a: DUP1
0000214b: DUP3
0000214c: GT
0000214d: ISZERO
0000214e: PUSH2 0x2156
00002151: JUMPI
00002152: PUSH1 0x00
00002154: DUP1
00002155: REVERT
00002156: JUMPDEST
00002157: DUP2
00002158: DUP8
00002159: ADD
0000215a: SWAP2
0000215b: POP
0000215c: DUP8
0000215d: PUSH1 0x1f
0000215f: DUP4
00002160: ADD
00002161: SLT
00002162: PUSH2 0x216a
00002165: JUMPI
00002166: PUSH1 0x00
00002168: DUP1
00002169: REVERT
0000216a: JUMPDEST
0000216b: DUP2
0000216c: CALLDATALOAD
0000216d: DUP2
0000216e: DUP2
0000216f: GT
00002170: ISZERO
00002171: PUSH2 0x2179
00002174: JUMPI
00002175: PUSH1 0x00
00002177: DUP1
00002178: REVERT
00002179: JUMPDEST
0000217a: DUP9
0000217b: PUSH1 0x20
0000217d: DUP3
0000217e: DUP6
0000217f: ADD
00002180: ADD
00002181: GT
00002182: ISZERO
00002183: PUSH2 0x218b
00002186: JUMPI
00002187: PUSH1 0x00
00002189: DUP1
0000218a: REVERT
0000218b: JUMPDEST
0000218c: SWAP6
0000218d: SWAP9
0000218e: SWAP5
0000218f: SWAP8
00002190: POP
00002191: POP
00002192: PUSH1 0x20
00002194: ADD
00002195: SWAP5
00002196: POP
00002197: POP
00002198: POP
00002199: JUMP
0000219a: JUMPDEST
0000219b: PUSH1 0x00
0000219d: PUSH1 0x20
0000219f: DUP3
000021a0: DUP5
000021a1: SUB
000021a2: SLT
000021a3: ISZERO
000021a4: PUSH2 0x21ac
000021a7: JUMPI
000021a8: PUSH1 0x00
000021aa: DUP1
000021ab: REVERT
000021ac: JUMPDEST
000021ad: POP
000021ae: CALLDATALOAD
000021af: SWAP2
000021b0: SWAP1
000021b1: POP
000021b2: JUMP
000021b3: JUMPDEST
000021b4: PUSH1 0x00
000021b6: DUP1
000021b7: PUSH1 0x40
000021b9: DUP4
000021ba: DUP6
000021bb: SUB
000021bc: SLT
000021bd: ISZERO
000021be: PUSH2 0x21c6
000021c1: JUMPI
000021c2: PUSH1 0x00
000021c4: DUP1
000021c5: REVERT
000021c6: JUMPDEST
000021c7: DUP3
000021c8: CALLDATALOAD
000021c9: PUSH2 0x21d1
000021cc: DUP2
000021cd: PUSH2 0x20fc
000021d0: JUMP
000021d1: JUMPDEST
000021d2: SWAP5
000021d3: PUSH1 0x20
000021d5: SWAP4
000021d6: SWAP1
000021d7: SWAP4
000021d8: ADD
000021d9: CALLDATALOAD
000021da: SWAP4
000021db: POP
000021dc: POP
000021dd: POP
000021de: JUMP
000021df: JUMPDEST
000021e0: PUSH1 0x00
000021e2: DUP1
000021e3: PUSH1 0x40
000021e5: DUP4
000021e6: DUP6
000021e7: SUB
000021e8: SLT
000021e9: ISZERO
000021ea: PUSH2 0x21f2
000021ed: JUMPI
000021ee: PUSH1 0x00
000021f0: DUP1
000021f1: REVERT
000021f2: JUMPDEST
000021f3: DUP3
000021f4: CALLDATALOAD
000021f5: SWAP2
000021f6: POP
000021f7: PUSH1 0x20
000021f9: DUP4
000021fa: ADD
000021fb: CALLDATALOAD
000021fc: PUSH2 0x2204
000021ff: DUP2
00002200: PUSH2 0x20fc
00002203: JUMP
00002204: JUMPDEST
00002205: DUP1
00002206: SWAP2
00002207: POP
00002208: POP
00002209: SWAP3
0000220a: POP
0000220b: SWAP3
0000220c: SWAP1
0000220d: POP
0000220e: JUMP
0000220f: JUMPDEST
00002210: PUSH1 0x00
00002212: DUP1
00002213: PUSH1 0x40
00002215: DUP4
00002216: DUP6
00002217: SUB
00002218: SLT
00002219: ISZERO
0000221a: PUSH2 0x2222
0000221d: JUMPI
0000221e: PUSH1 0x00
00002220: DUP1
00002221: REVERT
00002222: JUMPDEST
00002223: DUP3
00002224: CALLDATALOAD
00002225: PUSH2 0x222d
00002228: DUP2
00002229: PUSH2 0x20fc
0000222c: JUMP
0000222d: JUMPDEST
0000222e: SWAP2
0000222f: POP
00002230: PUSH1 0x20
00002232: DUP4
00002233: ADD
00002234: CALLDATALOAD
00002235: PUSH2 0x2204
00002238: DUP2
00002239: PUSH2 0x20fc
0000223c: JUMP
0000223d: JUMPDEST
0000223e: PUSH1 0x00
00002240: PUSH1 0x20
00002242: DUP3
00002243: DUP5
00002244: SUB
00002245: SLT
00002246: ISZERO
00002247: PUSH2 0x224f
0000224a: JUMPI
0000224b: PUSH1 0x00
0000224d: DUP1
0000224e: REVERT
0000224f: JUMPDEST
00002250: DUP2
00002251: CALLDATALOAD
00002252: PUSH2 0x1bcc
00002255: DUP2
00002256: PUSH2 0x20fc
00002259: JUMP
0000225a: JUMPDEST
0000225b: PUSH1 0x20
0000225d: DUP1
0000225e: DUP3
0000225f: MSTORE
00002260: DUP3
00002261: MLOAD
00002262: DUP3
00002263: DUP3
00002264: ADD
00002265: DUP2
00002266: SWAP1
00002267: MSTORE
00002268: PUSH1 0x00
0000226a: SWAP2
0000226b: SWAP1
0000226c: DUP5
0000226d: DUP3
0000226e: ADD
0000226f: SWAP1
00002270: PUSH1 0x40
00002272: DUP6
00002273: ADD
00002274: SWAP1
00002275: DUP5
00002276: JUMPDEST
00002277: DUP2
00002278: DUP2
00002279: LT
0000227a: ISZERO
0000227b: PUSH2 0x2292
0000227e: JUMPI
0000227f: DUP4
00002280: MLOAD
00002281: DUP4
00002282: MSTORE
00002283: SWAP3
00002284: DUP5
00002285: ADD
00002286: SWAP3
00002287: SWAP2
00002288: DUP5
00002289: ADD
0000228a: SWAP2
0000228b: PUSH1 0x01
0000228d: ADD
0000228e: PUSH2 0x2276
00002291: JUMP
00002292: JUMPDEST
00002293: POP
00002294: SWAP1
00002295: SWAP7
00002296: SWAP6
00002297: POP
00002298: POP
00002299: POP
0000229a: POP
0000229b: POP
0000229c: POP
0000229d: JUMP
0000229e: JUMPDEST
0000229f: PUSH1 0x00
000022a1: PUSH1 0x20
000022a3: DUP3
000022a4: DUP5
000022a5: SUB
000022a6: SLT
000022a7: ISZERO
000022a8: PUSH2 0x22b0
000022ab: JUMPI
000022ac: PUSH1 0x00
000022ae: DUP1
000022af: REVERT
000022b0: JUMPDEST
000022b1: DUP2
000022b2: MLOAD
000022b3: PUSH2 0x1bcc
000022b6: DUP2
000022b7: PUSH2 0x20fc
000022ba: JUMP
000022bb: JUMPDEST
000022bc: PUSH1 0x00
000022be: PUSH1 0x20
000022c0: DUP3
000022c1: DUP5
000022c2: SUB
000022c3: SLT
000022c4: ISZERO
000022c5: PUSH2 0x22cd
000022c8: JUMPI
000022c9: PUSH1 0x00
000022cb: DUP1
000022cc: REVERT
000022cd: JUMPDEST
000022ce: POP
000022cf: MLOAD
000022d0: SWAP2
000022d1: SWAP1
000022d2: POP
000022d3: JUMP
000022d4: JUMPDEST
000022d5: PUSH1 0x01
000022d7: DUP1
000022d8: PUSH1 0xa0
000022da: SHL
000022db: SUB
000022dc: DUP8
000022dd: AND
000022de: DUP2
000022df: MSTORE
000022e0: DUP6
000022e1: PUSH1 0x20
000022e3: DUP3
000022e4: ADD
000022e5: MSTORE
000022e6: DUP5
000022e7: PUSH1 0x40
000022e9: DUP3
000022ea: ADD
000022eb: MSTORE
000022ec: DUP4
000022ed: PUSH1 0x60
000022ef: DUP3
000022f0: ADD
000022f1: MSTORE
000022f2: PUSH1 0xa0
000022f4: PUSH1 0x80
000022f6: DUP3
000022f7: ADD
000022f8: MSTORE
000022f9: DUP2
000022fa: PUSH1 0xa0
000022fc: DUP3
000022fd: ADD
000022fe: MSTORE
000022ff: DUP2
00002300: DUP4
00002301: PUSH1 0xc0
00002303: DUP4
00002304: ADD
00002305: CALLDATACOPY
00002306: PUSH1 0x00
00002308: DUP2
00002309: DUP4
0000230a: ADD
0000230b: PUSH1 0xc0
0000230d: SWAP1
0000230e: DUP2
0000230f: ADD
00002310: SWAP2
00002311: SWAP1
00002312: SWAP2
00002313: MSTORE
00002314: PUSH1 0x1f
00002316: SWAP1
00002317: SWAP3
00002318: ADD
00002319: PUSH1 0x1f
0000231b: NOT
0000231c: AND
0000231d: ADD
0000231e: ADD
0000231f: SWAP6
00002320: SWAP5
00002321: POP
00002322: POP
00002323: POP
00002324: POP
00002325: POP
00002326: JUMP
00002327: JUMPDEST
00002328: PUSH1 0x00
0000232a: PUSH1 0x20
0000232c: DUP3
0000232d: DUP5
0000232e: SUB
0000232f: SLT
00002330: ISZERO
00002331: PUSH2 0x2339
00002334: JUMPI
00002335: PUSH1 0x00
00002337: DUP1
00002338: REVERT
00002339: JUMPDEST
0000233a: DUP2
0000233b: MLOAD
0000233c: DUP1
0000233d: ISZERO
0000233e: ISZERO
0000233f: DUP2
00002340: EQ
00002341: PUSH2 0x1bcc
00002344: JUMPI
00002345: PUSH1 0x00
00002347: DUP1
00002348: REVERT
00002349: JUMPDEST
0000234a: PUSH4 0x4e487b71
0000234f: PUSH1 0xe0
00002351: SHL
00002352: PUSH1 0x00
00002354: MSTORE
00002355: PUSH1 0x11
00002357: PUSH1 0x04
00002359: MSTORE
0000235a: PUSH1 0x24
0000235c: PUSH1 0x00
0000235e: REVERT
0000235f: JUMPDEST
00002360: DUP1
00002361: DUP3
00002362: ADD
00002363: DUP1
00002364: DUP3
00002365: GT
00002366: ISZERO
00002367: PUSH2 0x0591
0000236a: JUMPI
0000236b: PUSH2 0x0591
0000236e: PUSH2 0x2349
00002371: JUMP
00002372: JUMPDEST
00002373: DUP2
00002374: DUP2
00002375: SUB
00002376: DUP2
00002377: DUP2
00002378: GT
00002379: ISZERO
0000237a: PUSH2 0x0591
0000237d: JUMPI
0000237e: PUSH2 0x0591
00002381: PUSH2 0x2349
00002384: JUMP
00002385: JUMPDEST
00002386: PUSH1 0x00
00002388: DUP2
00002389: PUSH1 0x00
0000238b: NOT
0000238c: DIV
0000238d: DUP4
0000238e: GT
0000238f: DUP3
00002390: ISZERO
00002391: ISZERO
00002392: AND
00002393: ISZERO
00002394: PUSH2 0x239f
00002397: JUMPI
00002398: PUSH2 0x239f
0000239b: PUSH2 0x2349
0000239e: JUMP
0000239f: JUMPDEST
000023a0: POP
000023a1: MUL
000023a2: SWAP1
000023a3: JUMP
000023a4: JUMPDEST
000023a5: PUSH1 0x00
000023a7: DUP3
000023a8: PUSH2 0x23c1
000023ab: JUMPI
000023ac: PUSH4 0x4e487b71
000023b1: PUSH1 0xe0
000023b3: SHL
000023b4: PUSH1 0x00
000023b6: MSTORE
000023b7: PUSH1 0x12
000023b9: PUSH1 0x04
000023bb: MSTORE
000023bc: PUSH1 0x24
000023be: PUSH1 0x00
000023c0: REVERT
000023c1: JUMPDEST
000023c2: POP
000023c3: DIV
000023c4: SWAP1
000023c5: JUMP
000023c6: JUMPDEST
000023c7: PUSH1 0x00
000023c9: PUSH1 0x01
000023cb: DUP3
000023cc: ADD
000023cd: PUSH2 0x23d8
000023d0: JUMPI
000023d1: PUSH2 0x23d8
000023d4: PUSH2 0x2349
000023d7: JUMP
000023d8: JUMPDEST
000023d9: POP
000023da: PUSH1 0x01
000023dc: ADD
000023dd: SWAP1
000023de: JUMP
000023df: JUMPDEST
000023e0: PUSH4 0x4e487b71
000023e5: PUSH1 0xe0
000023e7: SHL
000023e8: PUSH1 0x00
000023ea: MSTORE
000023eb: PUSH1 0x32
000023ed: PUSH1 0x04
000023ef: MSTORE
000023f0: PUSH1 0x24
000023f2: PUSH1 0x00
000023f4: REVERT
000023f5: JUMPDEST
000023f6: PUSH4 0x4e487b71
000023fb: PUSH1 0xe0
000023fd: SHL
000023fe: PUSH1 0x00
00002400: MSTORE
00002401: PUSH1 0x31
00002403: PUSH1 0x04
00002405: MSTORE
00002406: PUSH1 0x24
00002408: PUSH1 0x00
0000240a: REVERT
0000240b: JUMPDEST
0000240c: PUSH1 0x20
0000240e: DUP1
0000240f: DUP3
00002410: MSTORE
00002411: PUSH1 0x2b
00002413: SWAP1
00002414: DUP3
00002415: ADD
00002416: MSTORE
00002417: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00002438: PUSH1 0x40
0000243a: DUP3
0000243b: ADD
0000243c: MSTORE
0000243d: PUSH11 0x6e697469616c697a696e67
00002449: PUSH1 0xa8
0000244b: SHL
0000244c: PUSH1 0x60
0000244e: DUP3
0000244f: ADD
00002450: MSTORE
00002451: PUSH1 0x80
00002453: ADD
00002454: SWAP1
00002455: JUMP
00002456: JUMPDEST
00002457: PUSH1 0x00
00002459: JUMPDEST
0000245a: DUP4
0000245b: DUP2
0000245c: LT
0000245d: ISZERO
0000245e: PUSH2 0x2471
00002461: JUMPI
00002462: DUP2
00002463: DUP2
00002464: ADD
00002465: MLOAD
00002466: DUP4
00002467: DUP3
00002468: ADD
00002469: MSTORE
0000246a: PUSH1 0x20
0000246c: ADD
0000246d: PUSH2 0x2459
00002470: JUMP
00002471: JUMPDEST
00002472: POP
00002473: POP
00002474: PUSH1 0x00
00002476: SWAP2
00002477: ADD
00002478: MSTORE
00002479: JUMP
0000247a: JUMPDEST
0000247b: PUSH32 0x416363657373436f6e74726f6c3a206163636f756e7420000000000000000000
0000249c: DUP2
0000249d: MSTORE
0000249e: PUSH1 0x00
000024a0: DUP4
000024a1: MLOAD
000024a2: PUSH2 0x24b2
000024a5: DUP2
000024a6: PUSH1 0x17
000024a8: DUP6
000024a9: ADD
000024aa: PUSH1 0x20
000024ac: DUP9
000024ad: ADD
000024ae: PUSH2 0x2456
000024b1: JUMP
000024b2: JUMPDEST
000024b3: PUSH17 0x01034b99036b4b9b9b4b733903937b6329
000024c5: PUSH1 0x7d
000024c7: SHL
000024c8: PUSH1 0x17
000024ca: SWAP2
000024cb: DUP5
000024cc: ADD
000024cd: SWAP2
000024ce: DUP3
000024cf: ADD
000024d0: MSTORE
000024d1: DUP4
000024d2: MLOAD
000024d3: PUSH2 0x24e3
000024d6: DUP2
000024d7: PUSH1 0x28
000024d9: DUP5
000024da: ADD
000024db: PUSH1 0x20
000024dd: DUP9
000024de: ADD
000024df: PUSH2 0x2456
000024e2: JUMP
000024e3: JUMPDEST
000024e4: ADD
000024e5: PUSH1 0x28
000024e7: ADD
000024e8: SWAP5
000024e9: SWAP4
000024ea: POP
000024eb: POP
000024ec: POP
000024ed: POP
000024ee: JUMP
000024ef: JUMPDEST
000024f0: PUSH1 0x20
000024f2: DUP2
000024f3: MSTORE
000024f4: PUSH1 0x00
000024f6: DUP3
000024f7: MLOAD
000024f8: DUP1
000024f9: PUSH1 0x20
000024fb: DUP5
000024fc: ADD
000024fd: MSTORE
000024fe: PUSH2 0x250e
00002501: DUP2
00002502: PUSH1 0x40
00002504: DUP6
00002505: ADD
00002506: PUSH1 0x20
00002508: DUP8
00002509: ADD
0000250a: PUSH2 0x2456
0000250d: JUMP
0000250e: JUMPDEST
0000250f: PUSH1 0x1f
00002511: ADD
00002512: PUSH1 0x1f
00002514: NOT
00002515: AND
00002516: SWAP2
00002517: SWAP1
00002518: SWAP2
00002519: ADD
0000251a: PUSH1 0x40
0000251c: ADD
0000251d: SWAP3
0000251e: SWAP2
0000251f: POP
00002520: POP
00002521: JUMP
00002522: JUMPDEST
00002523: PUSH4 0x4e487b71
00002528: PUSH1 0xe0
0000252a: SHL
0000252b: PUSH1 0x00
0000252d: MSTORE
0000252e: PUSH1 0x41
00002530: PUSH1 0x04
00002532: MSTORE
00002533: PUSH1 0x24
00002535: PUSH1 0x00
00002537: REVERT
00002538: JUMPDEST
00002539: PUSH1 0x00
0000253b: DUP2
0000253c: PUSH2 0x2547
0000253f: JUMPI
00002540: PUSH2 0x2547
00002543: PUSH2 0x2349
00002546: JUMP
00002547: JUMPDEST
00002548: POP
00002549: PUSH1 0x00
0000254b: NOT
0000254c: ADD
0000254d: SWAP1
0000254e: JUMP
0000254f: JUMPDEST
00002550: PUSH1 0x00
00002552: DUP3
00002553: MLOAD
00002554: PUSH2 0x2561
00002557: DUP2
00002558: DUP5
00002559: PUSH1 0x20
0000255b: DUP8
0000255c: ADD
0000255d: PUSH2 0x2456
00002560: JUMP
00002561: JUMPDEST
00002562: SWAP2
00002563: SWAP1
00002564: SWAP2
00002565: ADD
00002566: SWAP3
00002567: SWAP2
00002568: POP
00002569: POP
0000256a: JUMP
0000256b: INVALID
0000256c: LOG2
0000256d: PUSH5 0x6970667358
00002573: UNKNOWN(0x22)
00002574: SLT
00002575: KECCAK256
00002576: SWAP11
00002577: UNKNOWN(0x0D)
00002578: STATICCALL
00002579: UNKNOWN(0x4F)
0000257a: POP
0000257b: PUSH9 0x5bd9718a89924bd0c1
00002585: UNKNOWN(0xAE)
00002586: UNKNOWN(0x26)
00002587: MOD
00002588: RETURNDATASIZE
00002589: UNKNOWN(0x27)
0000258a: UNKNOWN(0xED)
0000258b: MLOAD
0000258c: UNKNOWN(0xDA)
0000258d: SAR
0000258e: UNKNOWN(0xC1)
0000258f: SDIV
00002590: UNKNOWN(0x0F)
00002591: UNKNOWN(0xBD)
00002592: MCOPY
00002593: UNKNOWN(0x23)
00002594: TLOAD
00002595: UNKNOWN(0xBA)
00002596: PUSH5 0x736f6c6343
0000259c: STOP
0000259d: ADDMOD
0000259e: LT
0000259f: STOP
000025a0: CALLER