Analysis Run

[codex:882557] OpenAI Codex v0.77.0 (research preview)
[codex:882557] --------
[codex:882557] workdir: /tmp/codex-multi-8cfvoltn
[codex:882557] model: gpt-5.2-codex
[codex:882557] provider: openai
[codex:882557] approval: never
[codex:882557] sandbox: read-only
[codex:882557] reasoning effort: xhigh
[codex:882557] reasoning summaries: auto
[codex:882557] session id: 019b81f0-59e2-7f92-b85e-29c460ffabf6
[codex:882557] --------
[codex:882557] user
[codex:882557] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:882557] 
[codex:882557] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:882557] 
[codex:882557] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:882557] - Gas inefficiency, code quality, naming, or best practices
[codex:882557] - Theoretical vulnerabilities without a clear extraction path
[codex:882557] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:882557] - Front-running unless it enables theft beyond MEV
[codex:882557] - DoS, griefing, or issues that don't result in attacker profit
[codex:882557] - Missing events, view function issues, or informational findings
[codex:882557] 
[codex:882557] HIGH-VALUE PATTERNS TO HUNT:
[codex:882557] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:882557] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:882557] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:882557] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:882557] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:882557] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:882557] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:882557] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:882557] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:882557] 
[codex:882557] For each finding, you MUST provide:
[codex:882557] 1. Exact file and line numbers of vulnerable code
[codex:882557] 2. Step-by-step exploit transaction sequence
[codex:882557] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:882557] 
[codex:882557] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:882557] 
[codex:882557] Output MUST be valid JSON matching the provided schema.
[codex:882557] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:882557] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:882557] mcp startup: no servers
[codex:882557] 
[codex:882557] thinking
[codex:882557] **Preparing to read AUDIT_BUNDLE.txt**
[codex:882557] exec
[codex:882557] /bin/bash -lc ls in /tmp/codex-multi-8cfvoltn succeeded in 5ms:
[codex:882557] AUDIT_BUNDLE.txt
[codex:882557] codex-output-schema.json
[codex:882557] contracts
[codex:882557] exec
[codex:882557] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-8cfvoltn succeeded in 5ms:
[codex:882557] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:882557] 
[codex:882557] ================================================================================
[codex:882557] FILE: contracts/contracts/OxODexPool.sol
[codex:882557] ================================================================================
[codex:882557] // SPDX-License-Identifier: AGPL-3.0-only
[codex:882557] 
[codex:882557] pragma solidity ^0.8.5;
[codex:882557] 
[codex:882557] import "@openzeppelin/contracts/token/ERC20/ERC20.sol";
[codex:882557] import "@openzeppelin/contracts/proxy/utils/Initializable.sol";
[codex:882557] import "./lib/AltBn128.sol";
[codex:882557] import "./lib/LSAG.sol";
[codex:882557] import "./interfaces/IOxODexFactory.sol";
[codex:882557] import "./interfaces/IOxODexPool.sol";
[codex:882557] import "./interfaces/IWETH9.sol";
[codex:882557] 
[codex:882557] library Types {
[codex:882557] 
[codex:882557]     enum WithdrawalType {
[codex:882557] 
[codex:882557] 
[codex:882557] 
[codex:882557] 
[codex:882557] thinking
[codex:882557] **Analyzing potential vulnerabilities in ETH pool contract**
[codex:882557] 
[codex:882557] I'm evaluating if uninitialized contracts, ring signature logic, or reentrancy could enable exploits, focusing on whether an attacker can control the factory or abuse withdrawal logic to profit. The major question is if initialization can be hijacked to become manager and drain the pool, though assumed factory/deployer security limits this. Also, I’m considering ring signature usage, partial withdrawals, reentrancy on swaps, and fee mechanics for weaknesses. Overall, the most promising exploit path seems tied to uninitialized proxies but depends on deployment details outside the provided code.
[codex:882557] thinking
[codex:882557] **Investigating subtle state and signature consistency concerns**
[codex:882557] 
[codex:882557] I’m digging into how leftover balances, global variables like _lastWithdrawal, and ring signature coverage might affect fund safety and possible front-running. There are intricate questions about ringHash calculation timing, signature replay across rings, and whether withdrawal parameters can be manipulated for unintended effects. While some state variables aren’t reset per user, actual attack impact depends on assumptions about admin control and valid signatures.
[codex:882557] thinking
[codex:882557] **Analyzing ringHash collisions and initialization risks**
[codex:882557] 
[codex:882557] I’m working through how identical ring parameters could lead to ringHash collisions enabling signature reuse across rings, and exploring potential risks from uninitialized contracts allowing unauthorized manager privileges. There’s also a critical look at key validation gaps and token handling that might affect withdrawal behavior, though concrete profit exploits remain unclear.
[codex:882557] thinking
[codex:882557] {"no_findings": true, "summary": "No concrete, exploitable profit paths found in reviewed sources.", "findings": []}
[codex:882557] codex
[codex:882557] {"no_findings":true,"summary":"No concrete, exploitable paths to extract ETH/tokens/NFTs were found in the reviewed sources.","findings":[]}
[codex:882557] tokens used
[codex:882557] 21,620
[codex:882557] {"no_findings":true,"summary":"No concrete, exploitable paths to extract ETH/tokens/NFTs were found in the reviewed sources.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-03T03:42:59.597864+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable paths to extract ETH/tokens/NFTs were found in the reviewed sources.",
    "raw_final": {
        "summary": "No concrete, exploitable paths to extract ETH/tokens/NFTs were found in the reviewed sources.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0180
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x9edb6cbd
00000019: GT
0000001a: PUSH2 0x00d6
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xd5fce735
00000024: GT
00000025: PUSH2 0x007f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xeda7ecf0
0000002f: GT
00000030: PUSH2 0x0059
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xeda7ecf0
0000003a: EQ
0000003b: PUSH2 0x04a4
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xefb97b17
00000045: EQ
00000046: PUSH2 0x04b7
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xfc0c546a
00000050: EQ
00000051: PUSH2 0x04d7
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0xd5fce735
00000060: EQ
00000061: PUSH2 0x0437
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xd99ca99f
0000006b: EQ
0000006c: PUSH2 0x0464
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xe36ab8c6
00000076: EQ
00000077: PUSH2 0x0484
0000007a: JUMPI
0000007b: PUSH1 0x00
0000007d: DUP1
0000007e: REVERT
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0xbf12505b
00000086: GT
00000087: PUSH2 0x00b0
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0xbf12505b
00000091: EQ
00000092: PUSH2 0x03d7
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xc45a0155
0000009c: EQ
0000009d: PUSH2 0x03f7
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xc4d66de8
000000a7: EQ
000000a8: PUSH2 0x0417
000000ab: JUMPI
000000ac: PUSH1 0x00
000000ae: DUP1
000000af: REVERT
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0x9edb6cbd
000000b7: EQ
000000b8: PUSH2 0x0368
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0x9f1961e6
000000c2: EQ
000000c3: PUSH2 0x0389
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0xabd70aa2
000000cd: EQ
000000ce: PUSH2 0x03c4
000000d1: JUMPI
000000d2: PUSH1 0x00
000000d4: DUP1
000000d5: REVERT
000000d6: JUMPDEST
000000d7: DUP1
000000d8: PUSH4 0x36118b52
000000dd: GT
000000de: PUSH2 0x0138
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x7c0ffaa2
000000e8: GT
000000e9: PUSH2 0x0112
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x7c0ffaa2
000000f3: EQ
000000f4: PUSH2 0x02fa
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x7f5bf51c
000000fe: EQ
000000ff: PUSH2 0x030e
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x9325019d
00000109: EQ
0000010a: PUSH2 0x033b
0000010d: JUMPI
0000010e: PUSH1 0x00
00000110: DUP1
00000111: REVERT
00000112: JUMPDEST
00000113: DUP1
00000114: PUSH4 0x36118b52
00000119: EQ
0000011a: PUSH2 0x023a
0000011d: JUMPI
0000011e: DUP1
0000011f: PUSH4 0x4f0e0ef3
00000124: EQ
00000125: PUSH2 0x025a
00000128: JUMPI
00000129: DUP1
0000012a: PUSH4 0x6381d19e
0000012f: EQ
00000130: PUSH2 0x0298
00000133: JUMPI
00000134: PUSH1 0x00
00000136: DUP1
00000137: REVERT
00000138: JUMPDEST
00000139: DUP1
0000013a: PUSH4 0x1b9db2ef
0000013f: GT
00000140: PUSH2 0x0169
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x1b9db2ef
0000014a: EQ
0000014b: PUSH2 0x01da
0000014e: JUMPI
0000014f: DUP1
00000150: PUSH4 0x258898b3
00000155: EQ
00000156: PUSH2 0x01fa
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0x309e7319
00000160: EQ
00000161: PUSH2 0x021a
00000164: JUMPI
00000165: PUSH1 0x00
00000167: DUP1
00000168: REVERT
00000169: JUMPDEST
0000016a: DUP1
0000016b: PUSH4 0x0de721ec
00000170: EQ
00000171: PUSH2 0x0185
00000174: JUMPI
00000175: DUP1
00000176: PUSH4 0x11c6e741
0000017b: EQ
0000017c: PUSH2 0x01b8
0000017f: JUMPI
00000180: JUMPDEST
00000181: PUSH1 0x00
00000183: DUP1
00000184: REVERT
00000185: JUMPDEST
00000186: CALLVALUE
00000187: DUP1
00000188: ISZERO
00000189: PUSH2 0x0191
0000018c: JUMPI
0000018d: PUSH1 0x00
0000018f: DUP1
00000190: REVERT
00000191: JUMPDEST
00000192: POP
00000193: PUSH2 0x01a5
00000196: PUSH2 0x01a0
00000199: CALLDATASIZE
0000019a: PUSH1 0x04
0000019c: PUSH2 0x2888
0000019f: JUMP
000001a0: JUMPDEST
000001a1: PUSH2 0x04f7
000001a4: JUMP
000001a5: JUMPDEST
000001a6: PUSH1 0x40
000001a8: MLOAD
000001a9: SWAP1
000001aa: DUP2
000001ab: MSTORE
000001ac: PUSH1 0x20
000001ae: ADD
000001af: JUMPDEST
000001b0: PUSH1 0x40
000001b2: MLOAD
000001b3: DUP1
000001b4: SWAP2
000001b5: SUB
000001b6: SWAP1
000001b7: RETURN
000001b8: JUMPDEST
000001b9: CALLVALUE
000001ba: DUP1
000001bb: ISZERO
000001bc: PUSH2 0x01c4
000001bf: JUMPI
000001c0: PUSH1 0x00
000001c2: DUP1
000001c3: REVERT
000001c4: JUMPDEST
000001c5: POP
000001c6: PUSH2 0x01d8
000001c9: PUSH2 0x01d3
000001cc: CALLDATASIZE
000001cd: PUSH1 0x04
000001cf: PUSH2 0x28c9
000001d2: JUMP
000001d3: JUMPDEST
000001d4: PUSH2 0x058d
000001d7: JUMP
000001d8: JUMPDEST
000001d9: STOP
000001da: JUMPDEST
000001db: CALLVALUE
000001dc: DUP1
000001dd: ISZERO
000001de: PUSH2 0x01e6
000001e1: JUMPI
000001e2: PUSH1 0x00
000001e4: DUP1
000001e5: REVERT
000001e6: JUMPDEST
000001e7: POP
000001e8: PUSH2 0x01a5
000001eb: PUSH2 0x01f5
000001ee: CALLDATASIZE
000001ef: PUSH1 0x04
000001f1: PUSH2 0x2888
000001f4: JUMP
000001f5: JUMPDEST
000001f6: PUSH2 0x06cb
000001f9: JUMP
000001fa: JUMPDEST
000001fb: CALLVALUE
000001fc: DUP1
000001fd: ISZERO
000001fe: PUSH2 0x0206
00000201: JUMPI
00000202: PUSH1 0x00
00000204: DUP1
00000205: REVERT
00000206: JUMPDEST
00000207: POP
00000208: PUSH2 0x01d8
0000020b: PUSH2 0x0215
0000020e: CALLDATASIZE
0000020f: PUSH1 0x04
00000211: PUSH2 0x28ed
00000214: JUMP
00000215: JUMPDEST
00000216: PUSH2 0x06e7
00000219: JUMP
0000021a: JUMPDEST
0000021b: CALLVALUE
0000021c: DUP1
0000021d: ISZERO
0000021e: PUSH2 0x0226
00000221: JUMPI
00000222: PUSH1 0x00
00000224: DUP1
00000225: REVERT
00000226: JUMPDEST
00000227: POP
00000228: PUSH2 0x01a5
0000022b: PUSH2 0x0235
0000022e: CALLDATASIZE
0000022f: PUSH1 0x04
00000231: PUSH2 0x2888
00000234: JUMP
00000235: JUMPDEST
00000236: PUSH2 0x09da
00000239: JUMP
0000023a: JUMPDEST
0000023b: CALLVALUE
0000023c: DUP1
0000023d: ISZERO
0000023e: PUSH2 0x0246
00000241: JUMPI
00000242: PUSH1 0x00
00000244: DUP1
00000245: REVERT
00000246: JUMPDEST
00000247: POP
00000248: PUSH2 0x01d8
0000024b: PUSH2 0x0255
0000024e: CALLDATASIZE
0000024f: PUSH1 0x04
00000251: PUSH2 0x292f
00000254: JUMP
00000255: JUMPDEST
00000256: PUSH2 0x0a32
00000259: JUMP
0000025a: JUMPDEST
0000025b: CALLVALUE
0000025c: DUP1
0000025d: ISZERO
0000025e: PUSH2 0x0266
00000261: JUMPI
00000262: PUSH1 0x00
00000264: DUP1
00000265: REVERT
00000266: JUMPDEST
00000267: POP
00000268: PUSH1 0x00
0000026a: SLOAD
0000026b: PUSH2 0x0280
0000026e: SWAP1
0000026f: PUSH3 0x010000
00000273: SWAP1
00000274: DIV
00000275: PUSH1 0x01
00000277: PUSH1 0x01
00000279: PUSH1 0xa0
0000027b: SHL
0000027c: SUB
0000027d: AND
0000027e: DUP2
0000027f: JUMP
00000280: JUMPDEST
00000281: PUSH1 0x40
00000283: MLOAD
00000284: PUSH1 0x01
00000286: PUSH1 0x01
00000288: PUSH1 0xa0
0000028a: SHL
0000028b: SUB
0000028c: SWAP1
0000028d: SWAP2
0000028e: AND
0000028f: DUP2
00000290: MSTORE
00000291: PUSH1 0x20
00000293: ADD
00000294: PUSH2 0x01af
00000297: JUMP
00000298: JUMPDEST
00000299: CALLVALUE
0000029a: DUP1
0000029b: ISZERO
0000029c: PUSH2 0x02a4
0000029f: JUMPI
000002a0: PUSH1 0x00
000002a2: DUP1
000002a3: REVERT
000002a4: JUMPDEST
000002a5: POP
000002a6: PUSH2 0x02df
000002a9: PUSH2 0x02b3
000002ac: CALLDATASIZE
000002ad: PUSH1 0x04
000002af: PUSH2 0x295f
000002b2: JUMP
000002b3: JUMPDEST
000002b4: PUSH1 0x05
000002b6: PUSH1 0x20
000002b8: SWAP1
000002b9: DUP2
000002ba: MSTORE
000002bb: PUSH1 0x00
000002bd: SWAP3
000002be: DUP4
000002bf: MSTORE
000002c0: PUSH1 0x40
000002c2: DUP1
000002c3: DUP5
000002c4: KECCAK256
000002c5: SWAP1
000002c6: SWAP2
000002c7: MSTORE
000002c8: SWAP1
000002c9: DUP3
000002ca: MSTORE
000002cb: SWAP1
000002cc: KECCAK256
000002cd: DUP1
000002ce: SLOAD
000002cf: PUSH1 0x01
000002d1: DUP3
000002d2: ADD
000002d3: SLOAD
000002d4: PUSH1 0x04
000002d6: SWAP1
000002d7: SWAP3
000002d8: ADD
000002d9: SLOAD
000002da: SWAP1
000002db: SWAP2
000002dc: SWAP1
000002dd: DUP4
000002de: JUMP
000002df: JUMPDEST
000002e0: PUSH1 0x40
000002e2: DUP1
000002e3: MLOAD
000002e4: SWAP4
000002e5: DUP5
000002e6: MSTORE
000002e7: PUSH1 0x20
000002e9: DUP5
000002ea: ADD
000002eb: SWAP3
000002ec: SWAP1
000002ed: SWAP3
000002ee: MSTORE
000002ef: SWAP1
000002f0: DUP3
000002f1: ADD
000002f2: MSTORE
000002f3: PUSH1 0x60
000002f5: ADD
000002f6: PUSH2 0x01af
000002f9: JUMP
000002fa: JUMPDEST
000002fb: CALLVALUE
000002fc: DUP1
000002fd: ISZERO
000002fe: PUSH2 0x0306
00000301: JUMPI
00000302: PUSH1 0x00
00000304: DUP1
00000305: REVERT
00000306: JUMPDEST
00000307: POP
00000308: PUSH1 0x02
0000030a: PUSH2 0x01a5
0000030d: JUMP
0000030e: JUMPDEST
0000030f: CALLVALUE
00000310: DUP1
00000311: ISZERO
00000312: PUSH2 0x031a
00000315: JUMPI
00000316: PUSH1 0x00
00000318: DUP1
00000319: REVERT
0000031a: JUMPDEST
0000031b: POP
0000031c: PUSH2 0x01a5
0000031f: PUSH2 0x0329
00000322: CALLDATASIZE
00000323: PUSH1 0x04
00000325: PUSH2 0x2888
00000328: JUMP
00000329: JUMPDEST
0000032a: PUSH1 0x00
0000032c: SWAP1
0000032d: DUP2
0000032e: MSTORE
0000032f: PUSH1 0x04
00000331: PUSH1 0x20
00000333: MSTORE
00000334: PUSH1 0x40
00000336: SWAP1
00000337: KECCAK256
00000338: SLOAD
00000339: SWAP1
0000033a: JUMP
0000033b: JUMPDEST
0000033c: CALLVALUE
0000033d: DUP1
0000033e: ISZERO
0000033f: PUSH2 0x0347
00000342: JUMPI
00000343: PUSH1 0x00
00000345: DUP1
00000346: REVERT
00000347: JUMPDEST
00000348: POP
00000349: PUSH2 0x01a5
0000034c: PUSH2 0x0356
0000034f: CALLDATASIZE
00000350: PUSH1 0x04
00000352: PUSH2 0x2888
00000355: JUMP
00000356: JUMPDEST
00000357: PUSH1 0x04
00000359: PUSH1 0x20
0000035b: MSTORE
0000035c: PUSH1 0x00
0000035e: SWAP1
0000035f: DUP2
00000360: MSTORE
00000361: PUSH1 0x40
00000363: SWAP1
00000364: KECCAK256
00000365: SLOAD
00000366: DUP2
00000367: JUMP
00000368: JUMPDEST
00000369: CALLVALUE
0000036a: DUP1
0000036b: ISZERO
0000036c: PUSH2 0x0374
0000036f: JUMPI
00000370: PUSH1 0x00
00000372: DUP1
00000373: REVERT
00000374: JUMPDEST
00000375: POP
00000376: PUSH2 0x01a5
00000379: PUSH2 0x0383
0000037c: CALLDATASIZE
0000037d: PUSH1 0x04
0000037f: PUSH2 0x2888
00000382: JUMP
00000383: JUMPDEST
00000384: PUSH1 0x30
00000386: SHR
00000387: SWAP1
00000388: JUMP
00000389: JUMPDEST
0000038a: CALLVALUE
0000038b: DUP1
0000038c: ISZERO
0000038d: PUSH2 0x0395
00000390: JUMPI
00000391: PUSH1 0x00
00000393: DUP1
00000394: REVERT
00000395: JUMPDEST
00000396: POP
00000397: PUSH2 0x01a5
0000039a: PUSH2 0x03a4
0000039d: CALLDATASIZE
0000039e: PUSH1 0x04
000003a0: PUSH2 0x295f
000003a3: JUMP
000003a4: JUMPDEST
000003a5: PUSH1 0x00
000003a7: SWAP2
000003a8: DUP3
000003a9: MSTORE
000003aa: PUSH1 0x05
000003ac: PUSH1 0x20
000003ae: SWAP1
000003af: DUP2
000003b0: MSTORE
000003b1: PUSH1 0x40
000003b3: DUP1
000003b4: DUP5
000003b5: KECCAK256
000003b6: SWAP3
000003b7: DUP5
000003b8: MSTORE
000003b9: SWAP2
000003ba: SWAP1
000003bb: MSTORE
000003bc: SWAP1
000003bd: KECCAK256
000003be: PUSH1 0x04
000003c0: ADD
000003c1: SLOAD
000003c2: SWAP1
000003c3: JUMP
000003c4: JUMPDEST
000003c5: CALLVALUE
000003c6: DUP1
000003c7: ISZERO
000003c8: PUSH2 0x03d0
000003cb: JUMPI
000003cc: PUSH1 0x00
000003ce: DUP1
000003cf: REVERT
000003d0: JUMPDEST
000003d1: POP
000003d2: SELFBALANCE
000003d3: PUSH2 0x01a5
000003d6: JUMP
000003d7: JUMPDEST
000003d8: CALLVALUE
000003d9: DUP1
000003da: ISZERO
000003db: PUSH2 0x03e3
000003de: JUMPI
000003df: PUSH1 0x00
000003e1: DUP1
000003e2: REVERT
000003e3: JUMPDEST
000003e4: POP
000003e5: PUSH2 0x02df
000003e8: PUSH2 0x03f2
000003eb: CALLDATASIZE
000003ec: PUSH1 0x04
000003ee: PUSH2 0x2888
000003f1: JUMP
000003f2: JUMPDEST
000003f3: PUSH2 0x0c84
000003f6: JUMP
000003f7: JUMPDEST
000003f8: CALLVALUE
000003f9: DUP1
000003fa: ISZERO
000003fb: PUSH2 0x0403
000003fe: JUMPI
000003ff: PUSH1 0x00
00000401: DUP1
00000402: REVERT
00000403: JUMPDEST
00000404: POP
00000405: PUSH1 0x01
00000407: SLOAD
00000408: PUSH2 0x0280
0000040b: SWAP1
0000040c: PUSH1 0x01
0000040e: PUSH1 0x01
00000410: PUSH1 0xa0
00000412: SHL
00000413: SUB
00000414: AND
00000415: DUP2
00000416: JUMP
00000417: JUMPDEST
00000418: CALLVALUE
00000419: DUP1
0000041a: ISZERO
0000041b: PUSH2 0x0423
0000041e: JUMPI
0000041f: PUSH1 0x00
00000421: DUP1
00000422: REVERT
00000423: JUMPDEST
00000424: POP
00000425: PUSH2 0x01d8
00000428: PUSH2 0x0432
0000042b: CALLDATASIZE
0000042c: PUSH1 0x04
0000042e: PUSH2 0x28c9
00000431: JUMP
00000432: JUMPDEST
00000433: PUSH2 0x0cc2
00000436: JUMP
00000437: JUMPDEST
00000438: CALLVALUE
00000439: DUP1
0000043a: ISZERO
0000043b: PUSH2 0x0443
0000043e: JUMPI
0000043f: PUSH1 0x00
00000441: DUP1
00000442: REVERT
00000443: JUMPDEST
00000444: POP
00000445: PUSH2 0x0457
00000448: PUSH2 0x0452
0000044b: CALLDATASIZE
0000044c: PUSH1 0x04
0000044e: PUSH2 0x295f
00000451: JUMP
00000452: JUMPDEST
00000453: PUSH2 0x0e48
00000456: JUMP
00000457: JUMPDEST
00000458: PUSH1 0x40
0000045a: MLOAD
0000045b: PUSH2 0x01af
0000045e: SWAP2
0000045f: SWAP1
00000460: PUSH2 0x2981
00000463: JUMP
00000464: JUMPDEST
00000465: CALLVALUE
00000466: DUP1
00000467: ISZERO
00000468: PUSH2 0x0470
0000046b: JUMPI
0000046c: PUSH1 0x00
0000046e: DUP1
0000046f: REVERT
00000470: JUMPDEST
00000471: POP
00000472: PUSH2 0x01d8
00000475: PUSH2 0x047f
00000478: CALLDATASIZE
00000479: PUSH1 0x04
0000047b: PUSH2 0x2bfa
0000047e: JUMP
0000047f: JUMPDEST
00000480: PUSH2 0x0f0c
00000483: JUMP
00000484: JUMPDEST
00000485: CALLVALUE
00000486: DUP1
00000487: ISZERO
00000488: PUSH2 0x0490
0000048b: JUMPI
0000048c: PUSH1 0x00
0000048e: DUP1
0000048f: REVERT
00000490: JUMPDEST
00000491: POP
00000492: PUSH2 0x01d8
00000495: PUSH2 0x049f
00000498: CALLDATASIZE
00000499: PUSH1 0x04
0000049b: PUSH2 0x2c67
0000049e: JUMP
0000049f: JUMPDEST
000004a0: PUSH2 0x1277
000004a3: JUMP
000004a4: JUMPDEST
000004a5: PUSH2 0x01d8
000004a8: PUSH2 0x04b2
000004ab: CALLDATASIZE
000004ac: PUSH1 0x04
000004ae: PUSH2 0x2cc0
000004b1: JUMP
000004b2: JUMPDEST
000004b3: PUSH2 0x1ac5
000004b6: JUMP
000004b7: JUMPDEST
000004b8: CALLVALUE
000004b9: DUP1
000004ba: ISZERO
000004bb: PUSH2 0x04c3
000004be: JUMPI
000004bf: PUSH1 0x00
000004c1: DUP1
000004c2: REVERT
000004c3: JUMPDEST
000004c4: POP
000004c5: PUSH2 0x01a5
000004c8: PUSH2 0x04d2
000004cb: CALLDATASIZE
000004cc: PUSH1 0x04
000004ce: PUSH2 0x2888
000004d1: JUMP
000004d2: JUMPDEST
000004d3: PUSH2 0x2400
000004d6: JUMP
000004d7: JUMPDEST
000004d8: CALLVALUE
000004d9: DUP1
000004da: ISZERO
000004db: PUSH2 0x04e3
000004de: JUMPI
000004df: PUSH1 0x00
000004e1: DUP1
000004e2: REVERT
000004e3: JUMPDEST
000004e4: POP
000004e5: PUSH1 0x02
000004e7: SLOAD
000004e8: PUSH2 0x0280
000004eb: SWAP1
000004ec: PUSH1 0x01
000004ee: PUSH1 0x01
000004f0: PUSH1 0xa0
000004f2: SHL
000004f3: SUB
000004f4: AND
000004f5: DUP2
000004f6: JUMP
000004f7: JUMPDEST
000004f8: PUSH1 0x00
000004fa: PUSH2 0x2710
000004fd: PUSH1 0x01
000004ff: PUSH1 0x00
00000501: SWAP1
00000502: SLOAD
00000503: SWAP1
00000504: PUSH2 0x0100
00000507: EXP
00000508: SWAP1
00000509: DIV
0000050a: PUSH1 0x01
0000050c: PUSH1 0x01
0000050e: PUSH1 0xa0
00000510: SHL
00000511: SUB
00000512: AND
00000513: PUSH1 0x01
00000515: PUSH1 0x01
00000517: PUSH1 0xa0
00000519: SHL
0000051a: SUB
0000051b: AND
0000051c: PUSH4 0x45599136
00000521: PUSH1 0x40
00000523: MLOAD
00000524: DUP2
00000525: PUSH4 0xffffffff
0000052a: AND
0000052b: PUSH1 0xe0
0000052d: SHL
0000052e: DUP2
0000052f: MSTORE
00000530: PUSH1 0x04
00000532: ADD
00000533: PUSH1 0x20
00000535: PUSH1 0x40
00000537: MLOAD
00000538: DUP1
00000539: DUP4
0000053a: SUB
0000053b: DUP2
0000053c: DUP7
0000053d: GAS
0000053e: STATICCALL
0000053f: ISZERO
00000540: DUP1
00000541: ISZERO
00000542: PUSH2 0x054f
00000545: JUMPI
00000546: RETURNDATASIZE
00000547: PUSH1 0x00
00000549: DUP1
0000054a: RETURNDATACOPY
0000054b: RETURNDATASIZE
0000054c: PUSH1 0x00
0000054e: REVERT
0000054f: JUMPDEST
00000550: POP
00000551: POP
00000552: POP
00000553: POP
00000554: PUSH1 0x40
00000556: MLOAD
00000557: RETURNDATASIZE
00000558: PUSH1 0x1f
0000055a: NOT
0000055b: PUSH1 0x1f
0000055d: DUP3
0000055e: ADD
0000055f: AND
00000560: DUP3
00000561: ADD
00000562: DUP1
00000563: PUSH1 0x40
00000565: MSTORE
00000566: POP
00000567: DUP2
00000568: ADD
00000569: SWAP1
0000056a: PUSH2 0x0573
0000056d: SWAP2
0000056e: SWAP1
0000056f: PUSH2 0x2d4a
00000572: JUMP
00000573: JUMPDEST
00000574: PUSH2 0x057d
00000577: SWAP1
00000578: DUP5
00000579: PUSH2 0x2d79
0000057c: JUMP
0000057d: JUMPDEST
0000057e: PUSH2 0x0587
00000581: SWAP2
00000582: SWAP1
00000583: PUSH2 0x2d90
00000586: JUMP
00000587: JUMPDEST
00000588: SWAP3
00000589: SWAP2
0000058a: POP
0000058b: POP
0000058c: JUMP
0000058d: JUMPDEST
0000058e: PUSH1 0x01
00000590: PUSH1 0x00
00000592: SWAP1
00000593: SLOAD
00000594: SWAP1
00000595: PUSH2 0x0100
00000598: EXP
00000599: SWAP1
0000059a: DIV
0000059b: PUSH1 0x01
0000059d: PUSH1 0x01
0000059f: PUSH1 0xa0
000005a1: SHL
000005a2: SUB
000005a3: AND
000005a4: PUSH1 0x01
000005a6: PUSH1 0x01
000005a8: PUSH1 0xa0
000005aa: SHL
000005ab: SUB
000005ac: AND
000005ad: PUSH4 0xcf73a1bc
000005b2: PUSH1 0x40
000005b4: MLOAD
000005b5: DUP2
000005b6: PUSH4 0xffffffff
000005bb: AND
000005bc: PUSH1 0xe0
000005be: SHL
000005bf: DUP2
000005c0: MSTORE
000005c1: PUSH1 0x04
000005c3: ADD
000005c4: PUSH1 0x20
000005c6: PUSH1 0x40
000005c8: MLOAD
000005c9: DUP1
000005ca: DUP4
000005cb: SUB
000005cc: DUP2
000005cd: DUP7
000005ce: GAS
000005cf: STATICCALL
000005d0: ISZERO
000005d1: DUP1
000005d2: ISZERO
000005d3: PUSH2 0x05e0
000005d6: JUMPI
000005d7: RETURNDATASIZE
000005d8: PUSH1 0x00
000005da: DUP1
000005db: RETURNDATACOPY
000005dc: RETURNDATASIZE
000005dd: PUSH1 0x00
000005df: REVERT
000005e0: JUMPDEST
000005e1: POP
000005e2: POP
000005e3: POP
000005e4: POP
000005e5: PUSH1 0x40
000005e7: MLOAD
000005e8: RETURNDATASIZE
000005e9: PUSH1 0x1f
000005eb: NOT
000005ec: PUSH1 0x1f
000005ee: DUP3
000005ef: ADD
000005f0: AND
000005f1: DUP3
000005f2: ADD
000005f3: DUP1
000005f4: PUSH1 0x40
000005f6: MSTORE
000005f7: POP
000005f8: DUP2
000005f9: ADD
000005fa: SWAP1
000005fb: PUSH2 0x0604
000005fe: SWAP2
000005ff: SWAP1
00000600: PUSH2 0x2db2
00000603: JUMP
00000604: JUMPDEST
00000605: PUSH1 0x01
00000607: PUSH1 0x01
00000609: PUSH1 0xa0
0000060b: SHL
0000060c: SUB
0000060d: AND
0000060e: CALLER
0000060f: PUSH1 0x01
00000611: PUSH1 0x01
00000613: PUSH1 0xa0
00000615: SHL
00000616: SUB
00000617: AND
00000618: EQ
00000619: PUSH2 0x0657
0000061c: JUMPI
0000061d: PUSH1 0x40
0000061f: MLOAD
00000620: PUSH3 0x461bcd
00000624: PUSH1 0xe5
00000626: SHL
00000627: DUP2
00000628: MSTORE
00000629: PUSH1 0x20
0000062b: PUSH1 0x04
0000062d: DUP3
0000062e: ADD
0000062f: MSTORE
00000630: PUSH1 0x0b
00000632: PUSH1 0x24
00000634: DUP3
00000635: ADD
00000636: MSTORE
00000637: PUSH11 0x2727aa2fa6a0a720a3a2a9
00000643: PUSH1 0xa9
00000645: SHL
00000646: PUSH1 0x44
00000648: DUP3
00000649: ADD
0000064a: MSTORE
0000064b: PUSH1 0x64
0000064d: ADD
0000064e: JUMPDEST
0000064f: PUSH1 0x40
00000651: MLOAD
00000652: DUP1
00000653: SWAP2
00000654: SUB
00000655: SWAP1
00000656: REVERT
00000657: JUMPDEST
00000658: PUSH1 0x01
0000065a: PUSH1 0x01
0000065c: PUSH1 0xa0
0000065e: SHL
0000065f: SUB
00000660: DUP2
00000661: AND
00000662: PUSH2 0x069c
00000665: JUMPI
00000666: PUSH1 0x40
00000668: MLOAD
00000669: PUSH3 0x461bcd
0000066d: PUSH1 0xe5
0000066f: SHL
00000670: DUP2
00000671: MSTORE
00000672: PUSH1 0x20
00000674: PUSH1 0x04
00000676: DUP3
00000677: ADD
00000678: MSTORE
00000679: PUSH1 0x0c
0000067b: PUSH1 0x24
0000067d: DUP3
0000067e: ADD
0000067f: MSTORE
00000680: PUSH12 0x5a45524f5f41444452455353
0000068d: PUSH1 0xa0
0000068f: SHL
00000690: PUSH1 0x44
00000692: DUP3
00000693: ADD
00000694: MSTORE
00000695: PUSH1 0x64
00000697: ADD
00000698: PUSH2 0x064e
0000069b: JUMP
0000069c: JUMPDEST
0000069d: PUSH1 0x01
0000069f: DUP1
000006a0: SLOAD
000006a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006b6: NOT
000006b7: AND
000006b8: PUSH1 0x01
000006ba: PUSH1 0x01
000006bc: PUSH1 0xa0
000006be: SHL
000006bf: SUB
000006c0: SWAP3
000006c1: SWAP1
000006c2: SWAP3
000006c3: AND
000006c4: SWAP2
000006c5: SWAP1
000006c6: SWAP2
000006c7: OR
000006c8: SWAP1
000006c9: SSTORE
000006ca: JUMP
000006cb: JUMPDEST
000006cc: PUSH1 0x00
000006ce: PUSH1 0x20
000006d0: DUP3
000006d1: SWAP1
000006d2: SHR
000006d3: PUSH2 0x06e0
000006d6: PUSH1 0x01
000006d8: PUSH3 0x010000
000006dc: PUSH2 0x2dcf
000006df: JUMP
000006e0: JUMPDEST
000006e1: AND
000006e2: SWAP3
000006e3: SWAP2
000006e4: POP
000006e5: POP
000006e6: JUMP
000006e7: JUMPDEST
000006e8: PUSH1 0x01
000006ea: PUSH1 0x00
000006ec: SWAP1
000006ed: SLOAD
000006ee: SWAP1
000006ef: PUSH2 0x0100
000006f2: EXP
000006f3: SWAP1
000006f4: DIV
000006f5: PUSH1 0x01
000006f7: PUSH1 0x01
000006f9: PUSH1 0xa0
000006fb: SHL
000006fc: SUB
000006fd: AND
000006fe: PUSH1 0x01
00000700: PUSH1 0x01
00000702: PUSH1 0xa0
00000704: SHL
00000705: SUB
00000706: AND
00000707: PUSH4 0xcf73a1bc
0000070c: PUSH1 0x40
0000070e: MLOAD
0000070f: DUP2
00000710: PUSH4 0xffffffff
00000715: AND
00000716: PUSH1 0xe0
00000718: SHL
00000719: DUP2
0000071a: MSTORE
0000071b: PUSH1 0x04
0000071d: ADD
0000071e: PUSH1 0x20
00000720: PUSH1 0x40
00000722: MLOAD
00000723: DUP1
00000724: DUP4
00000725: SUB
00000726: DUP2
00000727: DUP7
00000728: GAS
00000729: STATICCALL
0000072a: ISZERO
0000072b: DUP1
0000072c: ISZERO
0000072d: PUSH2 0x073a
00000730: JUMPI
00000731: RETURNDATASIZE
00000732: PUSH1 0x00
00000734: DUP1
00000735: RETURNDATACOPY
00000736: RETURNDATASIZE
00000737: PUSH1 0x00
00000739: REVERT
0000073a: JUMPDEST
0000073b: POP
0000073c: POP
0000073d: POP
0000073e: POP
0000073f: PUSH1 0x40
00000741: MLOAD
00000742: RETURNDATASIZE
00000743: PUSH1 0x1f
00000745: NOT
00000746: PUSH1 0x1f
00000748: DUP3
00000749: ADD
0000074a: AND
0000074b: DUP3
0000074c: ADD
0000074d: DUP1
0000074e: PUSH1 0x40
00000750: MSTORE
00000751: POP
00000752: DUP2
00000753: ADD
00000754: SWAP1
00000755: PUSH2 0x075e
00000758: SWAP2
00000759: SWAP1
0000075a: PUSH2 0x2db2
0000075d: JUMP
0000075e: JUMPDEST
0000075f: PUSH1 0x01
00000761: PUSH1 0x01
00000763: PUSH1 0xa0
00000765: SHL
00000766: SUB
00000767: AND
00000768: CALLER
00000769: PUSH1 0x01
0000076b: PUSH1 0x01
0000076d: PUSH1 0xa0
0000076f: SHL
00000770: SUB
00000771: AND
00000772: EQ
00000773: PUSH2 0x07ac
00000776: JUMPI
00000777: PUSH1 0x40
00000779: MLOAD
0000077a: PUSH3 0x461bcd
0000077e: PUSH1 0xe5
00000780: SHL
00000781: DUP2
00000782: MSTORE
00000783: PUSH1 0x20
00000785: PUSH1 0x04
00000787: DUP3
00000788: ADD
00000789: MSTORE
0000078a: PUSH1 0x0b
0000078c: PUSH1 0x24
0000078e: DUP3
0000078f: ADD
00000790: MSTORE
00000791: PUSH11 0x2727aa2fa6a0a720a3a2a9
0000079d: PUSH1 0xa9
0000079f: SHL
000007a0: PUSH1 0x44
000007a2: DUP3
000007a3: ADD
000007a4: MSTORE
000007a5: PUSH1 0x64
000007a7: ADD
000007a8: PUSH2 0x064e
000007ab: JUMP
000007ac: JUMPDEST
000007ad: PUSH1 0x01
000007af: PUSH1 0x01
000007b1: PUSH1 0xa0
000007b3: SHL
000007b4: SUB
000007b5: DUP3
000007b6: AND
000007b7: PUSH2 0x07f1
000007ba: JUMPI
000007bb: PUSH1 0x40
000007bd: MLOAD
000007be: PUSH3 0x461bcd
000007c2: PUSH1 0xe5
000007c4: SHL
000007c5: DUP2
000007c6: MSTORE
000007c7: PUSH1 0x20
000007c9: PUSH1 0x04
000007cb: DUP3
000007cc: ADD
000007cd: MSTORE
000007ce: PUSH1 0x0c
000007d0: PUSH1 0x24
000007d2: DUP3
000007d3: ADD
000007d4: MSTORE
000007d5: PUSH12 0x5a45524f5f41444452455353
000007e2: PUSH1 0xa0
000007e4: SHL
000007e5: PUSH1 0x44
000007e7: DUP3
000007e8: ADD
000007e9: MSTORE
000007ea: PUSH1 0x64
000007ec: ADD
000007ed: PUSH2 0x064e
000007f0: JUMP
000007f1: JUMPDEST
000007f2: PUSH1 0x00
000007f4: DUP4
000007f5: GT
000007f6: PUSH2 0x0841
000007f9: JUMPI
000007fa: PUSH1 0x40
000007fc: MLOAD
000007fd: PUSH3 0x461bcd
00000801: PUSH1 0xe5
00000803: SHL
00000804: DUP2
00000805: MSTORE
00000806: PUSH1 0x20
00000808: PUSH1 0x04
0000080a: DUP3
0000080b: ADD
0000080c: DUP2
0000080d: SWAP1
0000080e: MSTORE
0000080f: PUSH1 0x24
00000811: DUP3
00000812: ADD
00000813: MSTORE
00000814: PUSH32 0x414d4f554e545f4d5553545f42455f475245415445525f5448414e5f5a45524f
00000835: PUSH1 0x44
00000837: DUP3
00000838: ADD
00000839: MSTORE
0000083a: PUSH1 0x64
0000083c: ADD
0000083d: PUSH2 0x064e
00000840: JUMP
00000841: JUMPDEST
00000842: PUSH1 0x40
00000844: MLOAD
00000845: PUSH4 0x70a08231
0000084a: PUSH1 0xe0
0000084c: SHL
0000084d: DUP2
0000084e: MSTORE
0000084f: ADDRESS
00000850: PUSH1 0x04
00000852: DUP3
00000853: ADD
00000854: MSTORE
00000855: PUSH1 0x01
00000857: PUSH1 0x01
00000859: PUSH1 0xa0
0000085b: SHL
0000085c: SUB
0000085d: DUP3
0000085e: AND
0000085f: SWAP1
00000860: PUSH4 0x70a08231
00000865: SWAP1
00000866: PUSH1 0x24
00000868: ADD
00000869: PUSH1 0x20
0000086b: PUSH1 0x40
0000086d: MLOAD
0000086e: DUP1
0000086f: DUP4
00000870: SUB
00000871: DUP2
00000872: DUP7
00000873: GAS
00000874: STATICCALL
00000875: ISZERO
00000876: DUP1
00000877: ISZERO
00000878: PUSH2 0x0885
0000087b: JUMPI
0000087c: RETURNDATASIZE
0000087d: PUSH1 0x00
0000087f: DUP1
00000880: RETURNDATACOPY
00000881: RETURNDATASIZE
00000882: PUSH1 0x00
00000884: REVERT
00000885: JUMPDEST
00000886: POP
00000887: POP
00000888: POP
00000889: POP
0000088a: PUSH1 0x40
0000088c: MLOAD
0000088d: RETURNDATASIZE
0000088e: PUSH1 0x1f
00000890: NOT
00000891: PUSH1 0x1f
00000893: DUP3
00000894: ADD
00000895: AND
00000896: DUP3
00000897: ADD
00000898: DUP1
00000899: PUSH1 0x40
0000089b: MSTORE
0000089c: POP
0000089d: DUP2
0000089e: ADD
0000089f: SWAP1
000008a0: PUSH2 0x08a9
000008a3: SWAP2
000008a4: SWAP1
000008a5: PUSH2 0x2d4a
000008a8: JUMP
000008a9: JUMPDEST
000008aa: DUP4
000008ab: GT
000008ac: ISZERO
000008ad: PUSH2 0x08f8
000008b0: JUMPI
000008b1: PUSH1 0x40
000008b3: MLOAD
000008b4: PUSH3 0x461bcd
000008b8: PUSH1 0xe5
000008ba: SHL
000008bb: DUP2
000008bc: MSTORE
000008bd: PUSH1 0x20
000008bf: PUSH1 0x04
000008c1: DUP3
000008c2: ADD
000008c3: MSTORE
000008c4: PUSH1 0x10
000008c6: PUSH1 0x24
000008c8: DUP3
000008c9: ADD
000008ca: MSTORE
000008cb: PUSH32 0x4e4f545f454e4f5547485f544f4b454e00000000000000000000000000000000
000008ec: PUSH1 0x44
000008ee: DUP3
000008ef: ADD
000008f0: MSTORE
000008f1: PUSH1 0x64
000008f3: ADD
000008f4: PUSH2 0x064e
000008f7: JUMP
000008f8: JUMPDEST
000008f9: PUSH1 0x40
000008fb: MLOAD
000008fc: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
0000091d: DUP2
0000091e: MSTORE
0000091f: CALLER
00000920: PUSH1 0x04
00000922: DUP3
00000923: ADD
00000924: MSTORE
00000925: PUSH1 0x24
00000927: DUP2
00000928: ADD
00000929: DUP5
0000092a: SWAP1
0000092b: MSTORE
0000092c: PUSH1 0x00
0000092e: SWAP1
0000092f: PUSH1 0x01
00000931: PUSH1 0x01
00000933: PUSH1 0xa0
00000935: SHL
00000936: SUB
00000937: DUP4
00000938: AND
00000939: SWAP1
0000093a: PUSH4 0xa9059cbb
0000093f: SWAP1
00000940: PUSH1 0x44
00000942: ADD
00000943: PUSH1 0x20
00000945: PUSH1 0x40
00000947: MLOAD
00000948: DUP1
00000949: DUP4
0000094a: SUB
0000094b: DUP2
0000094c: PUSH1 0x00
0000094e: DUP8
0000094f: GAS
00000950: CALL
00000951: ISZERO
00000952: DUP1
00000953: ISZERO
00000954: PUSH2 0x0961
00000957: JUMPI
00000958: RETURNDATASIZE
00000959: PUSH1 0x00
0000095b: DUP1
0000095c: RETURNDATACOPY
0000095d: RETURNDATASIZE
0000095e: PUSH1 0x00
00000960: REVERT
00000961: JUMPDEST
00000962: POP
00000963: POP
00000964: POP
00000965: POP
00000966: PUSH1 0x40
00000968: MLOAD
00000969: RETURNDATASIZE
0000096a: PUSH1 0x1f
0000096c: NOT
0000096d: PUSH1 0x1f
0000096f: DUP3
00000970: ADD
00000971: AND
00000972: DUP3
00000973: ADD
00000974: DUP1
00000975: PUSH1 0x40
00000977: MSTORE
00000978: POP
00000979: DUP2
0000097a: ADD
0000097b: SWAP1
0000097c: PUSH2 0x0985
0000097f: SWAP2
00000980: SWAP1
00000981: PUSH2 0x2de2
00000984: JUMP
00000985: JUMPDEST
00000986: SWAP1
00000987: POP
00000988: DUP1
00000989: PUSH2 0x09d4
0000098c: JUMPI
0000098d: PUSH1 0x40
0000098f: MLOAD
00000990: PUSH3 0x461bcd
00000994: PUSH1 0xe5
00000996: SHL
00000997: DUP2
00000998: MSTORE
00000999: PUSH1 0x20
0000099b: PUSH1 0x04
0000099d: DUP3
0000099e: ADD
0000099f: MSTORE
000009a0: PUSH1 0x0f
000009a2: PUSH1 0x24
000009a4: DUP3
000009a5: ADD
000009a6: MSTORE
000009a7: PUSH32 0x5452414e534645525f4641494c45440000000000000000000000000000000000
000009c8: PUSH1 0x44
000009ca: DUP3
000009cb: ADD
000009cc: MSTORE
000009cd: PUSH1 0x64
000009cf: ADD
000009d0: PUSH2 0x064e
000009d3: JUMP
000009d4: JUMPDEST
000009d5: POP
000009d6: POP
000009d7: POP
000009d8: POP
000009d9: JUMP
000009da: JUMPDEST
000009db: PUSH1 0x00
000009dd: PUSH2 0x2710
000009e0: PUSH1 0x01
000009e2: PUSH1 0x00
000009e4: SWAP1
000009e5: SLOAD
000009e6: SWAP1
000009e7: PUSH2 0x0100
000009ea: EXP
000009eb: SWAP1
000009ec: DIV
000009ed: PUSH1 0x01
000009ef: PUSH1 0x01
000009f1: PUSH1 0xa0
000009f3: SHL
000009f4: SUB
000009f5: AND
000009f6: PUSH1 0x01
000009f8: PUSH1 0x01
000009fa: PUSH1 0xa0
000009fc: SHL
000009fd: SUB
000009fe: AND
000009ff: PUSH4 0xddca3f43
00000a04: PUSH1 0x40
00000a06: MLOAD
00000a07: DUP2
00000a08: PUSH4 0xffffffff
00000a0d: AND
00000a0e: PUSH1 0xe0
00000a10: SHL
00000a11: DUP2
00000a12: MSTORE
00000a13: PUSH1 0x04
00000a15: ADD
00000a16: PUSH1 0x20
00000a18: PUSH1 0x40
00000a1a: MLOAD
00000a1b: DUP1
00000a1c: DUP4
00000a1d: SUB
00000a1e: DUP2
00000a1f: DUP7
00000a20: GAS
00000a21: STATICCALL
00000a22: ISZERO
00000a23: DUP1
00000a24: ISZERO
00000a25: PUSH2 0x054f
00000a28: JUMPI
00000a29: RETURNDATASIZE
00000a2a: PUSH1 0x00
00000a2c: DUP1
00000a2d: RETURNDATACOPY
00000a2e: RETURNDATASIZE
00000a2f: PUSH1 0x00
00000a31: REVERT
00000a32: JUMPDEST
00000a33: PUSH1 0x01
00000a35: PUSH1 0x00
00000a37: SWAP1
00000a38: SLOAD
00000a39: SWAP1
00000a3a: PUSH2 0x0100
00000a3d: EXP
00000a3e: SWAP1
00000a3f: DIV
00000a40: PUSH1 0x01
00000a42: PUSH1 0x01
00000a44: PUSH1 0xa0
00000a46: SHL
00000a47: SUB
00000a48: AND
00000a49: PUSH1 0x01
00000a4b: PUSH1 0x01
00000a4d: PUSH1 0xa0
00000a4f: SHL
00000a50: SUB
00000a51: AND
00000a52: PUSH4 0xcf73a1bc
00000a57: PUSH1 0x40
00000a59: MLOAD
00000a5a: DUP2
00000a5b: PUSH4 0xffffffff
00000a60: AND
00000a61: PUSH1 0xe0
00000a63: SHL
00000a64: DUP2
00000a65: MSTORE
00000a66: PUSH1 0x04
00000a68: ADD
00000a69: PUSH1 0x20
00000a6b: PUSH1 0x40
00000a6d: MLOAD
00000a6e: DUP1
00000a6f: DUP4
00000a70: SUB
00000a71: DUP2
00000a72: DUP7
00000a73: GAS
00000a74: STATICCALL
00000a75: ISZERO
00000a76: DUP1
00000a77: ISZERO
00000a78: PUSH2 0x0a85
00000a7b: JUMPI
00000a7c: RETURNDATASIZE
00000a7d: PUSH1 0x00
00000a7f: DUP1
00000a80: RETURNDATACOPY
00000a81: RETURNDATASIZE
00000a82: PUSH1 0x00
00000a84: REVERT
00000a85: JUMPDEST
00000a86: POP
00000a87: POP
00000a88: POP
00000a89: POP
00000a8a: PUSH1 0x40
00000a8c: MLOAD
00000a8d: RETURNDATASIZE
00000a8e: PUSH1 0x1f
00000a90: NOT
00000a91: PUSH1 0x1f
00000a93: DUP3
00000a94: ADD
00000a95: AND
00000a96: DUP3
00000a97: ADD
00000a98: DUP1
00000a99: PUSH1 0x40
00000a9b: MSTORE
00000a9c: POP
00000a9d: DUP2
00000a9e: ADD
00000a9f: SWAP1
00000aa0: PUSH2 0x0aa9
00000aa3: SWAP2
00000aa4: SWAP1
00000aa5: PUSH2 0x2db2
00000aa8: JUMP
00000aa9: JUMPDEST
00000aaa: PUSH1 0x01
00000aac: PUSH1 0x01
00000aae: PUSH1 0xa0
00000ab0: SHL
00000ab1: SUB
00000ab2: AND
00000ab3: CALLER
00000ab4: PUSH1 0x01
00000ab6: PUSH1 0x01
00000ab8: PUSH1 0xa0
00000aba: SHL
00000abb: SUB
00000abc: AND
00000abd: EQ
00000abe: PUSH2 0x0af7
00000ac1: JUMPI
00000ac2: PUSH1 0x40
00000ac4: MLOAD
00000ac5: PUSH3 0x461bcd
00000ac9: PUSH1 0xe5
00000acb: SHL
00000acc: DUP2
00000acd: MSTORE
00000ace: PUSH1 0x20
00000ad0: PUSH1 0x04
00000ad2: DUP3
00000ad3: ADD
00000ad4: MSTORE
00000ad5: PUSH1 0x0b
00000ad7: PUSH1 0x24
00000ad9: DUP3
00000ada: ADD
00000adb: MSTORE
00000adc: PUSH11 0x2727aa2fa6a0a720a3a2a9
00000ae8: PUSH1 0xa9
00000aea: SHL
00000aeb: PUSH1 0x44
00000aed: DUP3
00000aee: ADD
00000aef: MSTORE
00000af0: PUSH1 0x64
00000af2: ADD
00000af3: PUSH2 0x064e
00000af6: JUMP
00000af7: JUMPDEST
00000af8: PUSH1 0x01
00000afa: PUSH1 0x01
00000afc: PUSH1 0xa0
00000afe: SHL
00000aff: SUB
00000b00: DUP2
00000b01: AND
00000b02: PUSH2 0x0b3c
00000b05: JUMPI
00000b06: PUSH1 0x40
00000b08: MLOAD
00000b09: PUSH3 0x461bcd
00000b0d: PUSH1 0xe5
00000b0f: SHL
00000b10: DUP2
00000b11: MSTORE
00000b12: PUSH1 0x20
00000b14: PUSH1 0x04
00000b16: DUP3
00000b17: ADD
00000b18: MSTORE
00000b19: PUSH1 0x0c
00000b1b: PUSH1 0x24
00000b1d: DUP3
00000b1e: ADD
00000b1f: MSTORE
00000b20: PUSH12 0x5a45524f5f41444452455353
00000b2d: PUSH1 0xa0
00000b2f: SHL
00000b30: PUSH1 0x44
00000b32: DUP3
00000b33: ADD
00000b34: MSTORE
00000b35: PUSH1 0x64
00000b37: ADD
00000b38: PUSH2 0x064e
00000b3b: JUMP
00000b3c: JUMPDEST
00000b3d: PUSH1 0x00
00000b3f: DUP3
00000b40: GT
00000b41: PUSH2 0x0b8c
00000b44: JUMPI
00000b45: PUSH1 0x40
00000b47: MLOAD
00000b48: PUSH3 0x461bcd
00000b4c: PUSH1 0xe5
00000b4e: SHL
00000b4f: DUP2
00000b50: MSTORE
00000b51: PUSH1 0x20
00000b53: PUSH1 0x04
00000b55: DUP3
00000b56: ADD
00000b57: DUP2
00000b58: SWAP1
00000b59: MSTORE
00000b5a: PUSH1 0x24
00000b5c: DUP3
00000b5d: ADD
00000b5e: MSTORE
00000b5f: PUSH32 0x414d4f554e545f4d5553545f42455f475245415445525f5448414e5f5a45524f
00000b80: PUSH1 0x44
00000b82: DUP3
00000b83: ADD
00000b84: MSTORE
00000b85: PUSH1 0x64
00000b87: ADD
00000b88: PUSH2 0x064e
00000b8b: JUMP
00000b8c: JUMPDEST
00000b8d: DUP2
00000b8e: SELFBALANCE
00000b8f: LT
00000b90: ISZERO
00000b91: PUSH2 0x0bdc
00000b94: JUMPI
00000b95: PUSH1 0x40
00000b97: MLOAD
00000b98: PUSH3 0x461bcd
00000b9c: PUSH1 0xe5
00000b9e: SHL
00000b9f: DUP2
00000ba0: MSTORE
00000ba1: PUSH1 0x20
00000ba3: PUSH1 0x04
00000ba5: DUP3
00000ba6: ADD
00000ba7: MSTORE
00000ba8: PUSH1 0x0e
00000baa: PUSH1 0x24
00000bac: DUP3
00000bad: ADD
00000bae: MSTORE
00000baf: PUSH32 0x4e4f545f454e4f5547485f455448000000000000000000000000000000000000
00000bd0: PUSH1 0x44
00000bd2: DUP3
00000bd3: ADD
00000bd4: MSTORE
00000bd5: PUSH1 0x64
00000bd7: ADD
00000bd8: PUSH2 0x064e
00000bdb: JUMP
00000bdc: JUMPDEST
00000bdd: PUSH1 0x00
00000bdf: DUP2
00000be0: PUSH1 0x01
00000be2: PUSH1 0x01
00000be4: PUSH1 0xa0
00000be6: SHL
00000be7: SUB
00000be8: AND
00000be9: DUP4
00000bea: PUSH1 0x40
00000bec: MLOAD
00000bed: PUSH1 0x00
00000bef: PUSH1 0x40
00000bf1: MLOAD
00000bf2: DUP1
00000bf3: DUP4
00000bf4: SUB
00000bf5: DUP2
00000bf6: DUP6
00000bf7: DUP8
00000bf8: GAS
00000bf9: CALL
00000bfa: SWAP3
00000bfb: POP
00000bfc: POP
00000bfd: POP
00000bfe: RETURNDATASIZE
00000bff: DUP1
00000c00: PUSH1 0x00
00000c02: DUP2
00000c03: EQ
00000c04: PUSH2 0x0c29
00000c07: JUMPI
00000c08: PUSH1 0x40
00000c0a: MLOAD
00000c0b: SWAP2
00000c0c: POP
00000c0d: PUSH1 0x1f
00000c0f: NOT
00000c10: PUSH1 0x3f
00000c12: RETURNDATASIZE
00000c13: ADD
00000c14: AND
00000c15: DUP3
00000c16: ADD
00000c17: PUSH1 0x40
00000c19: MSTORE
00000c1a: RETURNDATASIZE
00000c1b: DUP3
00000c1c: MSTORE
00000c1d: RETURNDATASIZE
00000c1e: PUSH1 0x00
00000c20: PUSH1 0x20
00000c22: DUP5
00000c23: ADD
00000c24: RETURNDATACOPY
00000c25: PUSH2 0x0c2e
00000c28: JUMP
00000c29: JUMPDEST
00000c2a: PUSH1 0x60
00000c2c: SWAP2
00000c2d: POP
00000c2e: JUMPDEST
00000c2f: POP
00000c30: POP
00000c31: SWAP1
00000c32: POP
00000c33: DUP1
00000c34: PUSH2 0x0c7f
00000c37: JUMPI
00000c38: PUSH1 0x40
00000c3a: MLOAD
00000c3b: PUSH3 0x461bcd
00000c3f: PUSH1 0xe5
00000c41: SHL
00000c42: DUP2
00000c43: MSTORE
00000c44: PUSH1 0x20
00000c46: PUSH1 0x04
00000c48: DUP3
00000c49: ADD
00000c4a: MSTORE
00000c4b: PUSH1 0x0f
00000c4d: PUSH1 0x24
00000c4f: DUP3
00000c50: ADD
00000c51: MSTORE
00000c52: PUSH32 0x5452414e534645525f4641494c45440000000000000000000000000000000000
00000c73: PUSH1 0x44
00000c75: DUP3
00000c76: ADD
00000c77: MSTORE
00000c78: PUSH1 0x64
00000c7a: ADD
00000c7b: PUSH2 0x064e
00000c7e: JUMP
00000c7f: JUMPDEST
00000c80: POP
00000c81: POP
00000c82: POP
00000c83: JUMP
00000c84: JUMPDEST
00000c85: PUSH1 0x00
00000c87: DUP1
00000c88: DUP1
00000c89: PUSH1 0x20
00000c8b: DUP5
00000c8c: SWAP1
00000c8d: SHR
00000c8e: PUSH1 0x30
00000c90: DUP6
00000c91: SWAP1
00000c92: SHR
00000c93: PUSH2 0x0ca0
00000c96: PUSH1 0x01
00000c98: PUSH3 0x010000
00000c9c: PUSH2 0x2dcf
00000c9f: JUMP
00000ca0: JUMPDEST
00000ca1: DUP3
00000ca2: AND
00000ca3: PUSH2 0x0cb2
00000ca6: PUSH1 0x01
00000ca8: PUSH5 0x0100000000
00000cae: PUSH2 0x2dcf
00000cb1: JUMP
00000cb2: JUMPDEST
00000cb3: DUP8
00000cb4: AND
00000cb5: SWAP4
00000cb6: POP
00000cb7: SWAP4
00000cb8: POP
00000cb9: SWAP4
00000cba: POP
00000cbb: POP
00000cbc: SWAP2
00000cbd: SWAP4
00000cbe: SWAP1
00000cbf: SWAP3
00000cc0: POP
00000cc1: JUMP
00000cc2: JUMPDEST
00000cc3: PUSH1 0x00
00000cc5: SLOAD
00000cc6: PUSH2 0x0100
00000cc9: SWAP1
00000cca: DIV
00000ccb: PUSH1 0xff
00000ccd: AND
00000cce: ISZERO
00000ccf: DUP1
00000cd0: DUP1
00000cd1: ISZERO
00000cd2: PUSH2 0x0ce2
00000cd5: JUMPI
00000cd6: POP
00000cd7: PUSH1 0x00
00000cd9: SLOAD
00000cda: PUSH1 0x01
00000cdc: PUSH1 0xff
00000cde: SWAP1
00000cdf: SWAP2
00000ce0: AND
00000ce1: LT
00000ce2: JUMPDEST
00000ce3: DUP1
00000ce4: PUSH2 0x0cfc
00000ce7: JUMPI
00000ce8: POP
00000ce9: ADDRESS
00000cea: EXTCODESIZE
00000ceb: ISZERO
00000cec: DUP1
00000ced: ISZERO
00000cee: PUSH2 0x0cfc
00000cf1: JUMPI
00000cf2: POP
00000cf3: PUSH1 0x00
00000cf5: SLOAD
00000cf6: PUSH1 0xff
00000cf8: AND
00000cf9: PUSH1 0x01
00000cfb: EQ
00000cfc: JUMPDEST
00000cfd: PUSH2 0x0d6e
00000d00: JUMPI
00000d01: PUSH1 0x40
00000d03: MLOAD
00000d04: PUSH3 0x461bcd
00000d08: PUSH1 0xe5
00000d0a: SHL
00000d0b: DUP2
00000d0c: MSTORE
00000d0d: PUSH1 0x20
00000d0f: PUSH1 0x04
00000d11: DUP3
00000d12: ADD
00000d13: MSTORE
00000d14: PUSH1 0x2e
00000d16: PUSH1 0x24
00000d18: DUP3
00000d19: ADD
00000d1a: MSTORE
00000d1b: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
00000d3c: PUSH1 0x44
00000d3e: DUP3
00000d3f: ADD
00000d40: MSTORE
00000d41: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000
00000d62: PUSH1 0x64
00000d64: DUP3
00000d65: ADD
00000d66: MSTORE
00000d67: PUSH1 0x84
00000d69: ADD
00000d6a: PUSH2 0x064e
00000d6d: JUMP
00000d6e: JUMPDEST
00000d6f: PUSH1 0x00
00000d71: DUP1
00000d72: SLOAD
00000d73: PUSH1 0xff
00000d75: NOT
00000d76: AND
00000d77: PUSH1 0x01
00000d79: OR
00000d7a: SWAP1
00000d7b: SSTORE
00000d7c: DUP1
00000d7d: ISZERO
00000d7e: PUSH2 0x0d91
00000d81: JUMPI
00000d82: PUSH1 0x00
00000d84: DUP1
00000d85: SLOAD
00000d86: PUSH2 0xff00
00000d89: NOT
00000d8a: AND
00000d8b: PUSH2 0x0100
00000d8e: OR
00000d8f: SWAP1
00000d90: SSTORE
00000d91: JUMPDEST
00000d92: PUSH1 0x01
00000d94: PUSH1 0x01
00000d96: PUSH1 0xa0
00000d98: SHL
00000d99: SUB
00000d9a: DUP3
00000d9b: AND
00000d9c: PUSH2 0x0dd6
00000d9f: JUMPI
00000da0: PUSH1 0x40
00000da2: MLOAD
00000da3: PUSH3 0x461bcd
00000da7: PUSH1 0xe5
00000da9: SHL
00000daa: DUP2
00000dab: MSTORE
00000dac: PUSH1 0x20
00000dae: PUSH1 0x04
00000db0: DUP3
00000db1: ADD
00000db2: MSTORE
00000db3: PUSH1 0x0c
00000db5: PUSH1 0x24
00000db7: DUP3
00000db8: ADD
00000db9: MSTORE
00000dba: PUSH12 0x5a45524f5f41444452455353
00000dc7: PUSH1 0xa0
00000dc9: SHL
00000dca: PUSH1 0x44
00000dcc: DUP3
00000dcd: ADD
00000dce: MSTORE
00000dcf: PUSH1 0x64
00000dd1: ADD
00000dd2: PUSH2 0x064e
00000dd5: JUMP
00000dd6: JUMPDEST
00000dd7: PUSH1 0x01
00000dd9: DUP1
00000dda: SLOAD
00000ddb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000df0: NOT
00000df1: AND
00000df2: PUSH1 0x01
00000df4: PUSH1 0x01
00000df6: PUSH1 0xa0
00000df8: SHL
00000df9: SUB
00000dfa: DUP5
00000dfb: AND
00000dfc: OR
00000dfd: SWAP1
00000dfe: SSTORE
00000dff: DUP1
00000e00: ISZERO
00000e01: PUSH2 0x0e44
00000e04: JUMPI
00000e05: PUSH1 0x00
00000e07: DUP1
00000e08: SLOAD
00000e09: PUSH2 0xff00
00000e0c: NOT
00000e0d: AND
00000e0e: SWAP1
00000e0f: SSTORE
00000e10: PUSH1 0x40
00000e12: MLOAD
00000e13: PUSH1 0x01
00000e15: DUP2
00000e16: MSTORE
00000e17: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498
00000e38: SWAP1
00000e39: PUSH1 0x20
00000e3b: ADD
00000e3c: PUSH1 0x40
00000e3e: MLOAD
00000e3f: DUP1
00000e40: SWAP2
00000e41: SUB
00000e42: SWAP1
00000e43: LOG1
00000e44: JUMPDEST
00000e45: POP
00000e46: POP
00000e47: JUMP
00000e48: JUMPDEST
00000e49: PUSH2 0x0e50
00000e4c: PUSH2 0x27bd
00000e4f: JUMP
00000e50: JUMPDEST
00000e51: PUSH2 0x0e58
00000e54: PUSH2 0x27bd
00000e57: JUMP
00000e58: JUMPDEST
00000e59: PUSH1 0x00
00000e5b: JUMPDEST
00000e5c: PUSH1 0x02
00000e5e: DUP2
00000e5f: LT
00000e60: ISZERO
00000e61: PUSH2 0x0f04
00000e64: JUMPI
00000e65: PUSH1 0x00
00000e67: DUP6
00000e68: DUP2
00000e69: MSTORE
00000e6a: PUSH1 0x05
00000e6c: PUSH1 0x20
00000e6e: SWAP1
00000e6f: DUP2
00000e70: MSTORE
00000e71: PUSH1 0x40
00000e73: DUP1
00000e74: DUP4
00000e75: KECCAK256
00000e76: DUP8
00000e77: DUP5
00000e78: MSTORE
00000e79: DUP3
00000e7a: MSTORE
00000e7b: DUP1
00000e7c: DUP4
00000e7d: KECCAK256
00000e7e: DUP5
00000e7f: DUP5
00000e80: MSTORE
00000e81: PUSH1 0x02
00000e83: ADD
00000e84: SWAP1
00000e85: SWAP2
00000e86: MSTORE
00000e87: DUP2
00000e88: KECCAK256
00000e89: ADD
00000e8a: SLOAD
00000e8b: DUP3
00000e8c: DUP3
00000e8d: PUSH1 0x02
00000e8f: DUP2
00000e90: LT
00000e91: PUSH2 0x0e9c
00000e94: JUMPI
00000e95: PUSH2 0x0e9c
00000e98: PUSH2 0x2e04
00000e9b: JUMP
00000e9c: JUMPDEST
00000e9d: PUSH1 0x20
00000e9f: MUL
00000ea0: ADD
00000ea1: MLOAD
00000ea2: PUSH1 0x00
00000ea4: PUSH1 0x20
00000ea6: SWAP1
00000ea7: DUP2
00000ea8: MUL
00000ea9: SWAP2
00000eaa: SWAP1
00000eab: SWAP2
00000eac: ADD
00000ead: SWAP2
00000eae: SWAP1
00000eaf: SWAP2
00000eb0: MSTORE
00000eb1: PUSH1 0x00
00000eb3: DUP7
00000eb4: DUP2
00000eb5: MSTORE
00000eb6: PUSH1 0x05
00000eb8: DUP3
00000eb9: MSTORE
00000eba: PUSH1 0x40
00000ebc: DUP1
00000ebd: DUP3
00000ebe: KECCAK256
00000ebf: DUP8
00000ec0: DUP4
00000ec1: MSTORE
00000ec2: DUP4
00000ec3: MSTORE
00000ec4: DUP1
00000ec5: DUP3
00000ec6: KECCAK256
00000ec7: DUP5
00000ec8: DUP4
00000ec9: MSTORE
00000eca: PUSH1 0x02
00000ecc: ADD
00000ecd: SWAP1
00000ece: SWAP3
00000ecf: MSTORE
00000ed0: KECCAK256
00000ed1: PUSH1 0x01
00000ed3: ADD
00000ed4: SLOAD
00000ed5: DUP3
00000ed6: DUP3
00000ed7: PUSH1 0x02
00000ed9: DUP2
00000eda: LT
00000edb: PUSH2 0x0ee6
00000ede: JUMPI
00000edf: PUSH2 0x0ee6
00000ee2: PUSH2 0x2e04
00000ee5: JUMP
00000ee6: JUMPDEST
00000ee7: PUSH1 0x20
00000ee9: MUL
00000eea: ADD
00000eeb: MLOAD
00000eec: PUSH1 0x01
00000eee: PUSH1 0x20
00000ef0: MUL
00000ef1: ADD
00000ef2: MSTORE
00000ef3: DUP1
00000ef4: PUSH2 0x0efc
00000ef7: DUP2
00000ef8: PUSH2 0x2e1a
00000efb: JUMP
00000efc: JUMPDEST
00000efd: SWAP2
00000efe: POP
00000eff: POP
00000f00: PUSH2 0x0e5b
00000f03: JUMP
00000f04: JUMPDEST
00000f05: POP
00000f06: SWAP4
00000f07: SWAP3
00000f08: POP
00000f09: POP
00000f0a: POP
00000f0b: JUMP
00000f0c: JUMPDEST
00000f0d: PUSH1 0x01
00000f0f: PUSH1 0x01
00000f11: PUSH1 0xa0
00000f13: SHL
00000f14: SUB
00000f15: DUP6
00000f16: AND
00000f17: PUSH2 0x0f51
00000f1a: JUMPI
00000f1b: PUSH1 0x40
00000f1d: MLOAD
00000f1e: PUSH3 0x461bcd
00000f22: PUSH1 0xe5
00000f24: SHL
00000f25: DUP2
00000f26: MSTORE
00000f27: PUSH1 0x20
00000f29: PUSH1 0x04
00000f2b: DUP3
00000f2c: ADD
00000f2d: MSTORE
00000f2e: PUSH1 0x0c
00000f30: PUSH1 0x24
00000f32: DUP3
00000f33: ADD
00000f34: MSTORE
00000f35: PUSH12 0x5a45524f5f41444452455353
00000f42: PUSH1 0xa0
00000f44: SHL
00000f45: PUSH1 0x44
00000f47: DUP3
00000f48: ADD
00000f49: MSTORE
00000f4a: PUSH1 0x64
00000f4c: ADD
00000f4d: PUSH2 0x064e
00000f50: JUMP
00000f51: JUMPDEST
00000f52: PUSH1 0xa0
00000f54: DUP2
00000f55: ADD
00000f56: MLOAD
00000f57: PUSH1 0x01
00000f59: PUSH1 0x01
00000f5b: PUSH1 0xa0
00000f5d: SHL
00000f5e: SUB
00000f5f: AND
00000f60: PUSH2 0x0f9a
00000f63: JUMPI
00000f64: PUSH1 0x40
00000f66: MLOAD
00000f67: PUSH3 0x461bcd
00000f6b: PUSH1 0xe5
00000f6d: SHL
00000f6e: DUP2
00000f6f: MSTORE
00000f70: PUSH1 0x20
00000f72: PUSH1 0x04
00000f74: DUP3
00000f75: ADD
00000f76: MSTORE
00000f77: PUSH1 0x0c
00000f79: PUSH1 0x24
00000f7b: DUP3
00000f7c: ADD
00000f7d: MSTORE
00000f7e: PUSH12 0x5a45524f5f41444452455353
00000f8b: PUSH1 0xa0
00000f8d: SHL
00000f8e: PUSH1 0x44
00000f90: DUP3
00000f91: ADD
00000f92: MSTORE
00000f93: PUSH1 0x64
00000f95: ADD
00000f96: PUSH2 0x064e
00000f99: JUMP
00000f9a: JUMPDEST
00000f9b: PUSH1 0x01
00000f9d: PUSH1 0xc0
00000f9f: DUP3
00000fa0: ADD
00000fa1: MSTORE
00000fa2: PUSH2 0x0fac
00000fa5: DUP6
00000fa6: DUP3
00000fa7: DUP7
00000fa8: PUSH2 0x1277
00000fab: JUMP
00000fac: JUMPDEST
00000fad: PUSH1 0x03
00000faf: SLOAD
00000fb0: PUSH1 0x00
00000fb2: PUSH2 0x0fba
00000fb5: DUP3
00000fb6: PUSH2 0x2400
00000fb9: JUMP
00000fba: JUMPDEST
00000fbb: SWAP1
00000fbc: POP
00000fbd: PUSH1 0x00
00000fbf: PUSH1 0x01
00000fc1: PUSH1 0x00
00000fc3: SWAP1
00000fc4: SLOAD
00000fc5: SWAP1
00000fc6: PUSH2 0x0100
00000fc9: EXP
00000fca: SWAP1
00000fcb: DIV
00000fcc: PUSH1 0x01
00000fce: PUSH1 0x01
00000fd0: PUSH1 0xa0
00000fd2: SHL
00000fd3: SUB
00000fd4: AND
00000fd5: PUSH1 0x01
00000fd7: PUSH1 0x01
00000fd9: PUSH1 0xa0
00000fdb: SHL
00000fdc: SUB
00000fdd: AND
00000fde: PUSH4 0x18a7cca8
00000fe3: PUSH1 0x40
00000fe5: MLOAD
00000fe6: DUP2
00000fe7: PUSH4 0xffffffff
00000fec: AND
00000fed: PUSH1 0xe0
00000fef: SHL
00000ff0: DUP2
00000ff1: MSTORE
00000ff2: PUSH1 0x04
00000ff4: ADD
00000ff5: PUSH1 0x20
00000ff7: PUSH1 0x40
00000ff9: MLOAD
00000ffa: DUP1
00000ffb: DUP4
00000ffc: SUB
00000ffd: DUP2
00000ffe: DUP7
00000fff: GAS
00001000: STATICCALL
00001001: ISZERO
00001002: DUP1
00001003: ISZERO
00001004: PUSH2 0x1011
00001007: JUMPI
00001008: RETURNDATASIZE
00001009: PUSH1 0x00
0000100b: DUP1
0000100c: RETURNDATACOPY
0000100d: RETURNDATASIZE
0000100e: PUSH1 0x00
00001010: REVERT
00001011: JUMPDEST
00001012: POP
00001013: POP
00001014: POP
00001015: POP
00001016: PUSH1 0x40
00001018: MLOAD
00001019: RETURNDATASIZE
0000101a: PUSH1 0x1f
0000101c: NOT
0000101d: PUSH1 0x1f
0000101f: DUP3
00001020: ADD
00001021: AND
00001022: DUP3
00001023: ADD
00001024: DUP1
00001025: PUSH1 0x40
00001027: MSTORE
00001028: POP
00001029: DUP2
0000102a: ADD
0000102b: SWAP1
0000102c: PUSH2 0x1035
0000102f: SWAP2
00001030: SWAP1
00001031: PUSH2 0x2db2
00001034: JUMP
00001035: JUMPDEST
00001036: SWAP1
00001037: POP
00001038: PUSH1 0x00
0000103a: DUP2
0000103b: PUSH1 0x01
0000103d: PUSH1 0x01
0000103f: PUSH1 0xa0
00001041: SHL
00001042: SUB
00001043: AND
00001044: DUP4
00001045: PUSH1 0x40
00001047: MLOAD
00001048: PUSH1 0x00
0000104a: PUSH1 0x40
0000104c: MLOAD
0000104d: DUP1
0000104e: DUP4
0000104f: SUB
00001050: DUP2
00001051: DUP6
00001052: DUP8
00001053: GAS
00001054: CALL
00001055: SWAP3
00001056: POP
00001057: POP
00001058: POP
00001059: RETURNDATASIZE
0000105a: DUP1
0000105b: PUSH1 0x00
0000105d: DUP2
0000105e: EQ
0000105f: PUSH2 0x1084
00001062: JUMPI
00001063: PUSH1 0x40
00001065: MLOAD
00001066: SWAP2
00001067: POP
00001068: PUSH1 0x1f
0000106a: NOT
0000106b: PUSH1 0x3f
0000106d: RETURNDATASIZE
0000106e: ADD
0000106f: AND
00001070: DUP3
00001071: ADD
00001072: PUSH1 0x40
00001074: MSTORE
00001075: RETURNDATASIZE
00001076: DUP3
00001077: MSTORE
00001078: RETURNDATASIZE
00001079: PUSH1 0x00
0000107b: PUSH1 0x20
0000107d: DUP5
0000107e: ADD
0000107f: RETURNDATACOPY
00001080: PUSH2 0x1089
00001083: JUMP
00001084: JUMPDEST
00001085: PUSH1 0x60
00001087: SWAP2
00001088: POP
00001089: JUMPDEST
0000108a: POP
0000108b: POP
0000108c: SWAP1
0000108d: POP
0000108e: DUP1
0000108f: PUSH2 0x10da
00001092: JUMPI
00001093: PUSH1 0x40
00001095: MLOAD
00001096: PUSH3 0x461bcd
0000109a: PUSH1 0xe5
0000109c: SHL
0000109d: DUP2
0000109e: MSTORE
0000109f: PUSH1 0x20
000010a1: PUSH1 0x04
000010a3: DUP3
000010a4: ADD
000010a5: MSTORE
000010a6: PUSH1 0x1a
000010a8: PUSH1 0x24
000010aa: DUP3
000010ab: ADD
000010ac: MSTORE
000010ad: PUSH32 0x4641494c45445f544f5f53454e445f52454c415945525f464545000000000000
000010ce: PUSH1 0x44
000010d0: DUP3
000010d1: ADD
000010d2: MSTORE
000010d3: PUSH1 0x64
000010d5: ADD
000010d6: PUSH2 0x064e
000010d9: JUMP
000010da: JUMPDEST
000010db: PUSH2 0x10e4
000010de: DUP4
000010df: DUP6
000010e0: PUSH2 0x2dcf
000010e3: JUMP
000010e4: JUMPDEST
000010e5: PUSH1 0x40
000010e7: DUP1
000010e8: MLOAD
000010e9: PUSH1 0x02
000010eb: DUP1
000010ec: DUP3
000010ed: MSTORE
000010ee: PUSH1 0x60
000010f0: DUP3
000010f1: ADD
000010f2: DUP4
000010f3: MSTORE
000010f4: SWAP3
000010f5: SWAP7
000010f6: POP
000010f7: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d
0000110c: SWAP3
0000110d: PUSH1 0x00
0000110f: SWAP3
00001110: PUSH1 0x20
00001112: DUP4
00001113: ADD
00001114: SWAP1
00001115: DUP1
00001116: CALLDATASIZE
00001117: DUP4
00001118: CALLDATACOPY
00001119: ADD
0000111a: SWAP1
0000111b: POP
0000111c: POP
0000111d: SWAP1
0000111e: POP
0000111f: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00001134: DUP2
00001135: PUSH1 0x00
00001137: DUP2
00001138: MLOAD
00001139: DUP2
0000113a: LT
0000113b: PUSH2 0x1146
0000113e: JUMPI
0000113f: PUSH2 0x1146
00001142: PUSH2 0x2e04
00001145: JUMP
00001146: JUMPDEST
00001147: PUSH1 0x20
00001149: MUL
0000114a: PUSH1 0x20
0000114c: ADD
0000114d: ADD
0000114e: SWAP1
0000114f: PUSH1 0x01
00001151: PUSH1 0x01
00001153: PUSH1 0xa0
00001155: SHL
00001156: SUB
00001157: AND
00001158: SWAP1
00001159: DUP2
0000115a: PUSH1 0x01
0000115c: PUSH1 0x01
0000115e: PUSH1 0xa0
00001160: SHL
00001161: SUB
00001162: AND
00001163: DUP2
00001164: MSTORE
00001165: POP
00001166: POP
00001167: DUP7
00001168: PUSH1 0xa0
0000116a: ADD
0000116b: MLOAD
0000116c: DUP2
0000116d: PUSH1 0x01
0000116f: DUP2
00001170: MLOAD
00001171: DUP2
00001172: LT
00001173: PUSH2 0x117e
00001176: JUMPI
00001177: PUSH2 0x117e
0000117a: PUSH2 0x2e04
0000117d: JUMP
0000117e: JUMPDEST
0000117f: PUSH1 0x20
00001181: MUL
00001182: PUSH1 0x20
00001184: ADD
00001185: ADD
00001186: SWAP1
00001187: PUSH1 0x01
00001189: PUSH1 0x01
0000118b: PUSH1 0xa0
0000118d: SHL
0000118e: SUB
0000118f: AND
00001190: SWAP1
00001191: DUP2
00001192: PUSH1 0x01
00001194: PUSH1 0x01
00001196: PUSH1 0xa0
00001198: SHL
00001199: SUB
0000119a: AND
0000119b: DUP2
0000119c: MSTORE
0000119d: POP
0000119e: POP
0000119f: DUP2
000011a0: PUSH1 0x01
000011a2: PUSH1 0x01
000011a4: PUSH1 0xa0
000011a6: SHL
000011a7: SUB
000011a8: AND
000011a9: PUSH4 0x7ff36ab5
000011ae: DUP8
000011af: DUP12
000011b0: DUP5
000011b1: DUP16
000011b2: DUP14
000011b3: PUSH1 0x40
000011b5: MLOAD
000011b6: DUP7
000011b7: PUSH4 0xffffffff
000011bc: AND
000011bd: PUSH1 0xe0
000011bf: SHL
000011c0: DUP2
000011c1: MSTORE
000011c2: PUSH1 0x04
000011c4: ADD
000011c5: PUSH2 0x11d1
000011c8: SWAP5
000011c9: SWAP4
000011ca: SWAP3
000011cb: SWAP2
000011cc: SWAP1
000011cd: PUSH2 0x2e49
000011d0: JUMP
000011d1: JUMPDEST
000011d2: PUSH1 0x00
000011d4: PUSH1 0x40
000011d6: MLOAD
000011d7: DUP1
000011d8: DUP4
000011d9: SUB
000011da: DUP2
000011db: DUP6
000011dc: DUP9
000011dd: GAS
000011de: CALL
000011df: ISZERO
000011e0: DUP1
000011e1: ISZERO
000011e2: PUSH2 0x11ef
000011e5: JUMPI
000011e6: RETURNDATASIZE
000011e7: PUSH1 0x00
000011e9: DUP1
000011ea: RETURNDATACOPY
000011eb: RETURNDATASIZE
000011ec: PUSH1 0x00
000011ee: REVERT
000011ef: JUMPDEST
000011f0: POP
000011f1: POP
000011f2: POP
000011f3: POP
000011f4: POP
000011f5: PUSH1 0x40
000011f7: MLOAD
000011f8: RETURNDATASIZE
000011f9: PUSH1 0x00
000011fb: DUP3
000011fc: RETURNDATACOPY
000011fd: PUSH1 0x1f
000011ff: RETURNDATASIZE
00001200: SWAP1
00001201: DUP2
00001202: ADD
00001203: PUSH1 0x1f
00001205: NOT
00001206: AND
00001207: DUP3
00001208: ADD
00001209: PUSH1 0x40
0000120b: MSTORE
0000120c: PUSH2 0x1218
0000120f: SWAP2
00001210: SWAP1
00001211: DUP2
00001212: ADD
00001213: SWAP1
00001214: PUSH2 0x2eb3
00001217: JUMP
00001218: JUMPDEST
00001219: POP
0000121a: PUSH1 0x00
0000121c: PUSH1 0x03
0000121e: SSTORE
0000121f: PUSH1 0xa0
00001221: DUP8
00001222: ADD
00001223: MLOAD
00001224: DUP8
00001225: MLOAD
00001226: PUSH1 0x40
00001228: DUP1
00001229: MLOAD
0000122a: SWAP2
0000122b: DUP3
0000122c: MSTORE
0000122d: PUSH1 0x20
0000122f: DUP3
00001230: ADD
00001231: DUP10
00001232: SWAP1
00001233: MSTORE
00001234: PUSH1 0x01
00001236: PUSH1 0x01
00001238: PUSH1 0xa0
0000123a: SHL
0000123b: SUB
0000123c: SWAP1
0000123d: SWAP3
0000123e: AND
0000123f: SWAP2
00001240: PUSH32 0x77f92a1b6a1a11de8ca49515ad4c1fad45632dd3442167d74b90b304a3c7a758
00001261: SWAP2
00001262: ADD
00001263: PUSH1 0x40
00001265: MLOAD
00001266: DUP1
00001267: SWAP2
00001268: SUB
00001269: SWAP1
0000126a: LOG2
0000126b: POP
0000126c: POP
0000126d: POP
0000126e: POP
0000126f: POP
00001270: POP
00001271: POP
00001272: POP
00001273: POP
00001274: POP
00001275: POP
00001276: JUMP
00001277: JUMPDEST
00001278: PUSH1 0x01
0000127a: SLOAD
0000127b: PUSH1 0x40
0000127d: DUP1
0000127e: MLOAD
0000127f: PUSH4 0x33dce86f
00001284: PUSH1 0xe2
00001286: SHL
00001287: DUP2
00001288: MSTORE
00001289: SWAP1
0000128a: MLOAD
0000128b: PUSH1 0x01
0000128d: PUSH1 0x01
0000128f: PUSH1 0xa0
00001291: SHL
00001292: SUB
00001293: SWAP1
00001294: SWAP3
00001295: AND
00001296: SWAP2
00001297: DUP3
00001298: SWAP2
00001299: PUSH4 0xcf73a1bc
0000129e: SWAP2
0000129f: PUSH1 0x04
000012a1: DUP1
000012a2: DUP4
000012a3: ADD
000012a4: SWAP3
000012a5: PUSH1 0x20
000012a7: SWAP3
000012a8: SWAP2
000012a9: SWAP1
000012aa: DUP3
000012ab: SWAP1
000012ac: SUB
000012ad: ADD
000012ae: DUP2
000012af: DUP7
000012b0: GAS
000012b1: STATICCALL
000012b2: ISZERO
000012b3: DUP1
000012b4: ISZERO
000012b5: PUSH2 0x12c2
000012b8: JUMPI
000012b9: RETURNDATASIZE
000012ba: PUSH1 0x00
000012bc: DUP1
000012bd: RETURNDATACOPY
000012be: RETURNDATASIZE
000012bf: PUSH1 0x00
000012c1: REVERT
000012c2: JUMPDEST
000012c3: POP
000012c4: POP
000012c5: POP
000012c6: POP
000012c7: PUSH1 0x40
000012c9: MLOAD
000012ca: RETURNDATASIZE
000012cb: PUSH1 0x1f
000012cd: NOT
000012ce: PUSH1 0x1f
000012d0: DUP3
000012d1: ADD
000012d2: AND
000012d3: DUP3
000012d4: ADD
000012d5: DUP1
000012d6: PUSH1 0x40
000012d8: MSTORE
000012d9: POP
000012da: DUP2
000012db: ADD
000012dc: SWAP1
000012dd: PUSH2 0x12e6
000012e0: SWAP2
000012e1: SWAP1
000012e2: PUSH2 0x2db2
000012e5: JUMP
000012e6: JUMPDEST
000012e7: PUSH1 0x01
000012e9: PUSH1 0x01
000012eb: PUSH1 0xa0
000012ed: SHL
000012ee: SUB
000012ef: AND
000012f0: CALLER
000012f1: PUSH1 0x01
000012f3: PUSH1 0x01
000012f5: PUSH1 0xa0
000012f7: SHL
000012f8: SUB
000012f9: AND
000012fa: EQ
000012fb: PUSH2 0x1396
000012fe: JUMPI
000012ff: DUP1
00001300: PUSH1 0x01
00001302: PUSH1 0x01
00001304: PUSH1 0xa0
00001306: SHL
00001307: SUB
00001308: AND
00001309: PUSH4 0x5c975abb
0000130e: PUSH1 0x40
00001310: MLOAD
00001311: DUP2
00001312: PUSH4 0xffffffff
00001317: AND
00001318: PUSH1 0xe0
0000131a: SHL
0000131b: DUP2
0000131c: MSTORE
0000131d: PUSH1 0x04
0000131f: ADD
00001320: PUSH1 0x20
00001322: PUSH1 0x40
00001324: MLOAD
00001325: DUP1
00001326: DUP4
00001327: SUB
00001328: DUP2
00001329: DUP7
0000132a: GAS
0000132b: STATICCALL
0000132c: ISZERO
0000132d: DUP1
0000132e: ISZERO
0000132f: PUSH2 0x133c
00001332: JUMPI
00001333: RETURNDATASIZE
00001334: PUSH1 0x00
00001336: DUP1
00001337: RETURNDATACOPY
00001338: RETURNDATASIZE
00001339: PUSH1 0x00
0000133b: REVERT
0000133c: JUMPDEST
0000133d: POP
0000133e: POP
0000133f: POP
00001340: POP
00001341: PUSH1 0x40
00001343: MLOAD
00001344: RETURNDATASIZE
00001345: PUSH1 0x1f
00001347: NOT
00001348: PUSH1 0x1f
0000134a: DUP3
0000134b: ADD
0000134c: AND
0000134d: DUP3
0000134e: ADD
0000134f: DUP1
00001350: PUSH1 0x40
00001352: MSTORE
00001353: POP
00001354: DUP2
00001355: ADD
00001356: SWAP1
00001357: PUSH2 0x1360
0000135a: SWAP2
0000135b: SWAP1
0000135c: PUSH2 0x2de2
0000135f: JUMP
00001360: JUMPDEST
00001361: ISZERO
00001362: PUSH2 0x1396
00001365: JUMPI
00001366: PUSH1 0x40
00001368: MLOAD
00001369: PUSH3 0x461bcd
0000136d: PUSH1 0xe5
0000136f: SHL
00001370: DUP2
00001371: MSTORE
00001372: PUSH1 0x20
00001374: PUSH1 0x04
00001376: DUP3
00001377: ADD
00001378: MSTORE
00001379: PUSH1 0x06
0000137b: PUSH1 0x24
0000137d: DUP3
0000137e: ADD
0000137f: MSTORE
00001380: PUSH6 0x14105554d151
00001387: PUSH1 0xd2
00001389: SHL
0000138a: PUSH1 0x44
0000138c: DUP3
0000138d: ADD
0000138e: MSTORE
0000138f: PUSH1 0x64
00001391: ADD
00001392: PUSH2 0x064e
00001395: JUMP
00001396: JUMPDEST
00001397: PUSH1 0x01
00001399: SLOAD
0000139a: PUSH1 0x40
0000139c: MLOAD
0000139d: PUSH32 0x22f9ae2f00000000000000000000000000000000000000000000000000000000
000013be: DUP2
000013bf: MSTORE
000013c0: PUSH1 0x00
000013c2: PUSH1 0x04
000013c4: DUP3
000013c5: ADD
000013c6: MSTORE
000013c7: DUP4
000013c8: SWAP2
000013c9: PUSH1 0x01
000013cb: PUSH1 0x01
000013cd: PUSH1 0xa0
000013cf: SHL
000013d0: SUB
000013d1: AND
000013d2: SWAP1
000013d3: DUP2
000013d4: SWAP1
000013d5: PUSH4 0x22f9ae2f
000013da: SWAP1
000013db: PUSH1 0x24
000013dd: ADD
000013de: PUSH1 0x20
000013e0: PUSH1 0x40
000013e2: MLOAD
000013e3: DUP1
000013e4: DUP4
000013e5: SUB
000013e6: DUP2
000013e7: DUP7
000013e8: GAS
000013e9: STATICCALL
000013ea: ISZERO
000013eb: DUP1
000013ec: ISZERO
000013ed: PUSH2 0x13fa
000013f0: JUMPI
000013f1: RETURNDATASIZE
000013f2: PUSH1 0x00
000013f4: DUP1
000013f5: RETURNDATACOPY
000013f6: RETURNDATASIZE
000013f7: PUSH1 0x00
000013f9: REVERT
000013fa: JUMPDEST
000013fb: POP
000013fc: POP
000013fd: POP
000013fe: POP
000013ff: PUSH1 0x40
00001401: MLOAD
00001402: RETURNDATASIZE
00001403: PUSH1 0x1f
00001405: NOT
00001406: PUSH1 0x1f
00001408: DUP3
00001409: ADD
0000140a: AND
0000140b: DUP3
0000140c: ADD
0000140d: DUP1
0000140e: PUSH1 0x40
00001410: MSTORE
00001411: POP
00001412: DUP2
00001413: ADD
00001414: SWAP1
00001415: PUSH2 0x141e
00001418: SWAP2
00001419: SWAP1
0000141a: PUSH2 0x2d4a
0000141d: JUMP
0000141e: JUMPDEST
0000141f: DUP3
00001420: GT
00001421: ISZERO
00001422: PUSH2 0x146d
00001425: JUMPI
00001426: PUSH1 0x40
00001428: MLOAD
00001429: PUSH3 0x461bcd
0000142d: PUSH1 0xe5
0000142f: SHL
00001430: DUP2
00001431: MSTORE
00001432: PUSH1 0x20
00001434: PUSH1 0x04
00001436: DUP3
00001437: ADD
00001438: MSTORE
00001439: PUSH1 0x14
0000143b: PUSH1 0x24
0000143d: DUP3
0000143e: ADD
0000143f: MSTORE
00001440: PUSH32 0x52454c415945525f4645455f544f4f5f48494748000000000000000000000000
00001461: PUSH1 0x44
00001463: DUP3
00001464: ADD
00001465: MSTORE
00001466: PUSH1 0x64
00001468: ADD
00001469: PUSH2 0x064e
0000146c: JUMP
0000146d: JUMPDEST
0000146e: DUP5
0000146f: MLOAD
00001470: PUSH1 0x00
00001472: SWAP1
00001473: DUP2
00001474: MSTORE
00001475: PUSH1 0x05
00001477: PUSH1 0x20
00001479: SWAP1
0000147a: DUP2
0000147b: MSTORE
0000147c: PUSH1 0x40
0000147e: DUP1
0000147f: DUP4
00001480: KECCAK256
00001481: DUP3
00001482: DUP10
00001483: ADD
00001484: MLOAD
00001485: DUP5
00001486: MSTORE
00001487: SWAP1
00001488: SWAP2
00001489: MSTORE
0000148a: SWAP1
0000148b: KECCAK256
0000148c: DUP1
0000148d: SLOAD
0000148e: DUP7
0000148f: MLOAD
00001490: GT
00001491: ISZERO
00001492: PUSH2 0x14dd
00001495: JUMPI
00001496: PUSH1 0x40
00001498: MLOAD
00001499: PUSH3 0x461bcd
0000149d: PUSH1 0xe5
0000149f: SHL
000014a0: DUP2
000014a1: MSTORE
000014a2: PUSH1 0x20
000014a4: PUSH1 0x04
000014a6: DUP3
000014a7: ADD
000014a8: MSTORE
000014a9: PUSH1 0x18
000014ab: PUSH1 0x24
000014ad: DUP3
000014ae: ADD
000014af: MSTORE
000014b0: PUSH32 0x414d4f554e545f455843454544535f4445504f53495445440000000000000000
000014d1: PUSH1 0x44
000014d3: DUP3
000014d4: ADD
000014d5: MSTORE
000014d6: PUSH1 0x64
000014d8: ADD
000014d9: PUSH2 0x064e
000014dc: JUMP
000014dd: JUMPDEST
000014de: DUP6
000014df: MLOAD
000014e0: DUP6
000014e1: GT
000014e2: ISZERO
000014e3: PUSH2 0x152e
000014e6: JUMPI
000014e7: PUSH1 0x40
000014e9: MLOAD
000014ea: PUSH3 0x461bcd
000014ee: PUSH1 0xe5
000014f0: SHL
000014f1: DUP2
000014f2: MSTORE
000014f3: PUSH1 0x20
000014f5: PUSH1 0x04
000014f7: DUP3
000014f8: ADD
000014f9: MSTORE
000014fa: PUSH1 0x1b
000014fc: PUSH1 0x24
000014fe: DUP3
000014ff: ADD
00001500: MSTORE
00001501: PUSH32 0x52454c415945525f4741535f4348415247455f544f4f5f484947480000000000
00001522: PUSH1 0x44
00001524: DUP3
00001525: ADD
00001526: MSTORE
00001527: PUSH1 0x64
00001529: ADD
0000152a: PUSH2 0x064e
0000152d: JUMP
0000152e: JUMPDEST
0000152f: PUSH1 0x00
00001531: DUP1
00001532: PUSH2 0x153e
00001535: DUP4
00001536: PUSH1 0x01
00001538: ADD
00001539: SLOAD
0000153a: PUSH2 0x0c84
0000153d: JUMP
0000153e: JUMPDEST
0000153f: POP
00001540: SWAP1
00001541: SWAP3
00001542: POP
00001543: SWAP1
00001544: POP
00001545: PUSH1 0x01
00001547: PUSH1 0x01
00001549: PUSH1 0xa0
0000154b: SHL
0000154c: SUB
0000154d: DUP10
0000154e: AND
0000154f: PUSH2 0x1589
00001552: JUMPI
00001553: PUSH1 0x40
00001555: MLOAD
00001556: PUSH3 0x461bcd
0000155a: PUSH1 0xe5
0000155c: SHL
0000155d: DUP2
0000155e: MSTORE
0000155f: PUSH1 0x20
00001561: PUSH1 0x04
00001563: DUP3
00001564: ADD
00001565: MSTORE
00001566: PUSH1 0x0c
00001568: PUSH1 0x24
0000156a: DUP3
0000156b: ADD
0000156c: MSTORE
0000156d: PUSH12 0x5a45524f5f41444452455353
0000157a: PUSH1 0xa0
0000157c: SHL
0000157d: PUSH1 0x44
0000157f: DUP3
00001580: ADD
00001581: MSTORE
00001582: PUSH1 0x64
00001584: ADD
00001585: PUSH2 0x064e
00001588: JUMP
00001589: JUMPDEST
0000158a: PUSH1 0x02
0000158c: DUP3
0000158d: LT
0000158e: PUSH2 0x15d9
00001591: JUMPI
00001592: PUSH1 0x40
00001594: MLOAD
00001595: PUSH3 0x461bcd
00001599: PUSH1 0xe5
0000159b: SHL
0000159c: DUP2
0000159d: MSTORE
0000159e: PUSH1 0x20
000015a0: PUSH1 0x04
000015a2: DUP3
000015a3: ADD
000015a4: MSTORE
000015a5: PUSH1 0x13
000015a7: PUSH1 0x24
000015a9: DUP3
000015aa: ADD
000015ab: MSTORE
000015ac: PUSH32 0x414c4c5f46554e44535f57495448445241574e00000000000000000000000000
000015cd: PUSH1 0x44
000015cf: DUP3
000015d0: ADD
000015d1: MSTORE
000015d2: PUSH1 0x64
000015d4: ADD
000015d5: PUSH2 0x064e
000015d8: JUMP
000015d9: JUMPDEST
000015da: PUSH1 0x04
000015dc: DUP4
000015dd: ADD
000015de: SLOAD
000015df: PUSH2 0x162a
000015e2: JUMPI
000015e3: PUSH1 0x40
000015e5: MLOAD
000015e6: PUSH3 0x461bcd
000015ea: PUSH1 0xe5
000015ec: SHL
000015ed: DUP2
000015ee: MSTORE
000015ef: PUSH1 0x20
000015f1: PUSH1 0x04
000015f3: DUP3
000015f4: ADD
000015f5: MSTORE
000015f6: PUSH1 0x0f
000015f8: PUSH1 0x24
000015fa: DUP3
000015fb: ADD
000015fc: MSTORE
000015fd: PUSH32 0x52494e475f4e4f545f434c4f5345440000000000000000000000000000000000
0000161e: PUSH1 0x44
00001620: DUP3
00001621: ADD
00001622: MSTORE
00001623: PUSH1 0x64
00001625: ADD
00001626: PUSH2 0x064e
00001629: JUMP
0000162a: JUMPDEST
0000162b: PUSH1 0x40
0000162d: DUP1
0000162e: MLOAD
0000162f: PUSH1 0x02
00001631: DUP1
00001632: DUP3
00001633: MSTORE
00001634: PUSH1 0x60
00001636: DUP3
00001637: ADD
00001638: SWAP1
00001639: SWAP3
0000163a: MSTORE
0000163b: PUSH1 0x00
0000163d: SWAP2
0000163e: DUP2
0000163f: PUSH1 0x20
00001641: ADD
00001642: JUMPDEST
00001643: PUSH2 0x164a
00001646: PUSH2 0x27ea
00001649: JUMP
0000164a: JUMPDEST
0000164b: DUP2
0000164c: MSTORE
0000164d: PUSH1 0x20
0000164f: ADD
00001650: SWAP1
00001651: PUSH1 0x01
00001653: SWAP1
00001654: SUB
00001655: SWAP1
00001656: DUP2
00001657: PUSH2 0x1642
0000165a: JUMPI
0000165b: SWAP1
0000165c: POP
0000165d: POP
0000165e: SWAP1
0000165f: POP
00001660: PUSH1 0x00
00001662: JUMPDEST
00001663: PUSH1 0x02
00001665: DUP2
00001666: LT
00001667: ISZERO
00001668: PUSH2 0x16cb
0000166b: JUMPI
0000166c: PUSH1 0x00
0000166e: DUP2
0000166f: DUP2
00001670: MSTORE
00001671: PUSH1 0x02
00001673: DUP7
00001674: DUP2
00001675: ADD
00001676: PUSH1 0x20
00001678: MSTORE
00001679: PUSH1 0x40
0000167b: SWAP2
0000167c: DUP3
0000167d: SWAP1
0000167e: KECCAK256
0000167f: DUP3
00001680: MLOAD
00001681: DUP1
00001682: DUP5
00001683: ADD
00001684: SWAP4
00001685: DUP5
00001686: SWAP1
00001687: MSTORE
00001688: SWAP3
00001689: SWAP1
0000168a: SWAP2
0000168b: SWAP1
0000168c: DUP3
0000168d: DUP5
0000168e: JUMPDEST
0000168f: DUP2
00001690: SLOAD
00001691: DUP2
00001692: MSTORE
00001693: PUSH1 0x20
00001695: ADD
00001696: SWAP1
00001697: PUSH1 0x01
00001699: ADD
0000169a: SWAP1
0000169b: DUP1
0000169c: DUP4
0000169d: GT
0000169e: PUSH2 0x168e
000016a1: JUMPI
000016a2: POP
000016a3: POP
000016a4: POP
000016a5: POP
000016a6: POP
000016a7: DUP3
000016a8: DUP3
000016a9: DUP2
000016aa: MLOAD
000016ab: DUP2
000016ac: LT
000016ad: PUSH2 0x16b8
000016b0: JUMPI
000016b1: PUSH2 0x16b8
000016b4: PUSH2 0x2e04
000016b7: JUMP
000016b8: JUMPDEST
000016b9: PUSH1 0x20
000016bb: SWAP1
000016bc: DUP2
000016bd: MUL
000016be: SWAP2
000016bf: SWAP1
000016c0: SWAP2
000016c1: ADD
000016c2: ADD
000016c3: MSTORE
000016c4: PUSH1 0x01
000016c6: ADD
000016c7: PUSH2 0x1662
000016ca: JUMP
000016cb: JUMPDEST
000016cc: POP
000016cd: PUSH1 0x00
000016cf: PUSH20 0x37661153fc7a3e83884e0954d7ff7a8a48287834
000016e4: PUSH4 0xfe46a2b2
000016e9: DUP7
000016ea: PUSH1 0x04
000016ec: ADD
000016ed: SLOAD
000016ee: DUP14
000016ef: DUP14
000016f0: PUSH1 0xa0
000016f2: ADD
000016f3: MLOAD
000016f4: PUSH1 0x40
000016f6: MLOAD
000016f7: PUSH1 0x20
000016f9: ADD
000016fa: PUSH2 0x172c
000016fd: SWAP4
000016fe: SWAP3
000016ff: SWAP2
00001700: SWAP1
00001701: SWAP3
00001702: DUP4
00001703: MSTORE
00001704: PUSH1 0x60
00001706: SWAP2
00001707: DUP3
00001708: SHL
00001709: PUSH12 0xffffffffffffffffffffffff
00001716: NOT
00001717: SWAP1
00001718: DUP2
00001719: AND
0000171a: PUSH1 0x20
0000171c: DUP6
0000171d: ADD
0000171e: MSTORE
0000171f: SWAP2
00001720: SHL
00001721: AND
00001722: PUSH1 0x34
00001724: DUP3
00001725: ADD
00001726: MSTORE
00001727: PUSH1 0x48
00001729: ADD
0000172a: SWAP1
0000172b: JUMP
0000172c: JUMPDEST
0000172d: PUSH1 0x40
0000172f: MLOAD
00001730: PUSH1 0x20
00001732: DUP2
00001733: DUP4
00001734: SUB
00001735: SUB
00001736: DUP2
00001737: MSTORE
00001738: SWAP1
00001739: PUSH1 0x40
0000173b: MSTORE
0000173c: DUP13
0000173d: PUSH1 0x40
0000173f: ADD
00001740: MLOAD
00001741: DUP14
00001742: PUSH1 0x60
00001744: ADD
00001745: MLOAD
00001746: DUP15
00001747: PUSH1 0x80
00001749: ADD
0000174a: MLOAD
0000174b: DUP8
0000174c: PUSH1 0x40
0000174e: MLOAD
0000174f: DUP7
00001750: PUSH4 0xffffffff
00001755: AND
00001756: PUSH1 0xe0
00001758: SHL
00001759: DUP2
0000175a: MSTORE
0000175b: PUSH1 0x04
0000175d: ADD
0000175e: PUSH2 0x176b
00001761: SWAP6
00001762: SWAP5
00001763: SWAP4
00001764: SWAP3
00001765: SWAP2
00001766: SWAP1
00001767: PUSH2 0x2fdc
0000176a: JUMP
0000176b: JUMPDEST
0000176c: PUSH1 0x20
0000176e: PUSH1 0x40
00001770: MLOAD
00001771: DUP1
00001772: DUP4
00001773: SUB
00001774: DUP2
00001775: DUP7
00001776: GAS
00001777: DELEGATECALL
00001778: ISZERO
00001779: DUP1
0000177a: ISZERO
0000177b: PUSH2 0x1788
0000177e: JUMPI
0000177f: RETURNDATASIZE
00001780: PUSH1 0x00
00001782: DUP1
00001783: RETURNDATACOPY
00001784: RETURNDATASIZE
00001785: PUSH1 0x00
00001787: REVERT
00001788: JUMPDEST
00001789: POP
0000178a: POP
0000178b: POP
0000178c: POP
0000178d: PUSH1 0x40
0000178f: MLOAD
00001790: RETURNDATASIZE
00001791: PUSH1 0x1f
00001793: NOT
00001794: PUSH1 0x1f
00001796: DUP3
00001797: ADD
00001798: AND
00001799: DUP3
0000179a: ADD
0000179b: DUP1
0000179c: PUSH1 0x40
0000179e: MSTORE
0000179f: POP
000017a0: DUP2
000017a1: ADD
000017a2: SWAP1
000017a3: PUSH2 0x17ac
000017a6: SWAP2
000017a7: SWAP1
000017a8: PUSH2 0x2de2
000017ab: JUMP
000017ac: JUMPDEST
000017ad: SWAP1
000017ae: POP
000017af: DUP1
000017b0: PUSH2 0x17fb
000017b3: JUMPI
000017b4: PUSH1 0x40
000017b6: MLOAD
000017b7: PUSH3 0x461bcd
000017bb: PUSH1 0xe5
000017bd: SHL
000017be: DUP2
000017bf: MSTORE
000017c0: PUSH1 0x20
000017c2: PUSH1 0x04
000017c4: DUP3
000017c5: ADD
000017c6: MSTORE
000017c7: PUSH1 0x11
000017c9: PUSH1 0x24
000017cb: DUP3
000017cc: ADD
000017cd: MSTORE
000017ce: PUSH32 0x494e56414c49445f5349474e4154555245000000000000000000000000000000
000017ef: PUSH1 0x44
000017f1: DUP3
000017f2: ADD
000017f3: MSTORE
000017f4: PUSH1 0x64
000017f6: ADD
000017f7: PUSH2 0x064e
000017fa: JUMP
000017fb: JUMPDEST
000017fc: PUSH1 0x00
000017fe: JUMPDEST
000017ff: DUP5
00001800: DUP2
00001801: LT
00001802: ISZERO
00001803: PUSH2 0x189c
00001806: JUMPI
00001807: PUSH1 0x60
00001809: DUP12
0000180a: ADD
0000180b: MLOAD
0000180c: MLOAD
0000180d: PUSH1 0x00
0000180f: DUP3
00001810: DUP2
00001811: MSTORE
00001812: PUSH1 0x03
00001814: DUP9
00001815: ADD
00001816: PUSH1 0x20
00001818: MSTORE
00001819: PUSH1 0x40
0000181b: SWAP1
0000181c: KECCAK256
0000181d: SLOAD
0000181e: EQ
0000181f: DUP1
00001820: ISZERO
00001821: PUSH2 0x1847
00001824: JUMPI
00001825: POP
00001826: PUSH1 0x60
00001828: DUP12
00001829: ADD
0000182a: MLOAD
0000182b: PUSH1 0x20
0000182d: SWAP1
0000182e: DUP2
0000182f: ADD
00001830: MLOAD
00001831: PUSH1 0x00
00001833: DUP4
00001834: DUP2
00001835: MSTORE
00001836: PUSH1 0x03
00001838: DUP10
00001839: ADD
0000183a: SWAP1
0000183b: SWAP3
0000183c: MSTORE
0000183d: PUSH1 0x40
0000183f: SWAP1
00001840: SWAP2
00001841: KECCAK256
00001842: PUSH1 0x01
00001844: ADD
00001845: SLOAD
00001846: EQ
00001847: JUMPDEST
00001848: ISZERO
00001849: PUSH2 0x1894
0000184c: JUMPI
0000184d: PUSH1 0x40
0000184f: MLOAD
00001850: PUSH3 0x461bcd
00001854: PUSH1 0xe5
00001856: SHL
00001857: DUP2
00001858: MSTORE
00001859: PUSH1 0x20
0000185b: PUSH1 0x04
0000185d: DUP3
0000185e: ADD
0000185f: MSTORE
00001860: PUSH1 0x0e
00001862: PUSH1 0x24
00001864: DUP3
00001865: ADD
00001866: MSTORE
00001867: PUSH32 0x555345445f5349474e4154555245000000000000000000000000000000000000
00001888: PUSH1 0x44
0000188a: DUP3
0000188b: ADD
0000188c: MSTORE
0000188d: PUSH1 0x64
0000188f: ADD
00001890: PUSH2 0x064e
00001893: JUMP
00001894: JUMPDEST
00001895: PUSH1 0x01
00001897: ADD
00001898: PUSH2 0x17fe
0000189b: JUMP
0000189c: JUMPDEST
0000189d: POP
0000189e: PUSH1 0x60
000018a0: DUP11
000018a1: ADD
000018a2: MLOAD
000018a3: PUSH1 0x00
000018a5: DUP6
000018a6: DUP2
000018a7: MSTORE
000018a8: PUSH1 0x03
000018aa: DUP8
000018ab: ADD
000018ac: PUSH1 0x20
000018ae: MSTORE
000018af: PUSH1 0x40
000018b1: SWAP1
000018b2: KECCAK256
000018b3: PUSH2 0x18bd
000018b6: SWAP2
000018b7: PUSH1 0x02
000018b9: PUSH2 0x2808
000018bc: JUMP
000018bd: JUMPDEST
000018be: POP
000018bf: PUSH3 0x020000
000018c3: DUP4
000018c4: OR
000018c5: PUSH1 0x20
000018c7: DUP2
000018c8: SWAP1
000018c9: SHL
000018ca: PUSH1 0x01
000018cc: DUP8
000018cd: ADD
000018ce: SSTORE
000018cf: PUSH1 0x02
000018d1: SWAP5
000018d2: POP
000018d3: PUSH1 0x00
000018d5: DUP12
000018d6: PUSH1 0xc0
000018d8: ADD
000018d9: MLOAD
000018da: PUSH1 0x01
000018dc: DUP2
000018dd: GT
000018de: ISZERO
000018df: PUSH2 0x18ea
000018e2: JUMPI
000018e3: PUSH2 0x18ea
000018e6: PUSH2 0x2e33
000018e9: JUMP
000018ea: JUMPDEST
000018eb: SUB
000018ec: PUSH2 0x190c
000018ef: JUMPI
000018f0: DUP11
000018f1: MLOAD
000018f2: PUSH2 0x1906
000018f5: SWAP1
000018f6: PUSH2 0x1900
000018f9: SWAP1
000018fa: DUP13
000018fb: SWAP1
000018fc: PUSH2 0x2dcf
000018ff: JUMP
00001900: JUMPDEST
00001901: DUP14
00001902: PUSH2 0x2458
00001905: JUMP
00001906: JUMPDEST
00001907: POP
00001908: PUSH2 0x191d
0000190b: JUMP
0000190c: JUMPDEST
0000190d: DUP11
0000190e: MLOAD
0000190f: PUSH2 0x1919
00001912: SWAP1
00001913: DUP12
00001914: SWAP1
00001915: PUSH2 0x2dcf
00001918: JUMP
00001919: JUMPDEST
0000191a: PUSH1 0x03
0000191c: SSTORE
0000191d: JUMPDEST
0000191e: PUSH32 0xf279e6a1f5e320cca91135676d9cb6e44ca8a08c0b88342bcdb1144f6511b568
0000193f: DUP13
00001940: DUP13
00001941: PUSH1 0x00
00001943: ADD
00001944: MLOAD
00001945: DUP14
00001946: PUSH1 0x20
00001948: ADD
00001949: MLOAD
0000194a: PUSH1 0x40
0000194c: MLOAD
0000194d: PUSH2 0x1974
00001950: SWAP4
00001951: SWAP3
00001952: SWAP2
00001953: SWAP1
00001954: PUSH1 0x01
00001956: PUSH1 0x01
00001958: PUSH1 0xa0
0000195a: SHL
0000195b: SUB
0000195c: SWAP4
0000195d: SWAP1
0000195e: SWAP4
0000195f: AND
00001960: DUP4
00001961: MSTORE
00001962: PUSH1 0x20
00001964: DUP4
00001965: ADD
00001966: SWAP2
00001967: SWAP1
00001968: SWAP2
00001969: MSTORE
0000196a: PUSH1 0x40
0000196c: DUP3
0000196d: ADD
0000196e: MSTORE
0000196f: PUSH1 0x60
00001971: ADD
00001972: SWAP1
00001973: JUMP
00001974: JUMPDEST
00001975: PUSH1 0x40
00001977: MLOAD
00001978: DUP1
00001979: SWAP2
0000197a: SUB
0000197b: SWAP1
0000197c: LOG1
0000197d: POP
0000197e: POP
0000197f: POP
00001980: POP
00001981: POP
00001982: POP
00001983: PUSH1 0x00
00001985: DUP3
00001986: GT
00001987: ISZERO
00001988: PUSH2 0x1abd
0000198b: JUMPI
0000198c: PUSH1 0x00
0000198e: DUP2
0000198f: PUSH1 0x01
00001991: PUSH1 0x01
00001993: PUSH1 0xa0
00001995: SHL
00001996: SUB
00001997: AND
00001998: PUSH4 0x18a7cca8
0000199d: PUSH1 0x40
0000199f: MLOAD
000019a0: DUP2
000019a1: PUSH4 0xffffffff
000019a6: AND
000019a7: PUSH1 0xe0
000019a9: SHL
000019aa: DUP2
000019ab: MSTORE
000019ac: PUSH1 0x04
000019ae: ADD
000019af: PUSH1 0x20
000019b1: PUSH1 0x40
000019b3: MLOAD
000019b4: DUP1
000019b5: DUP4
000019b6: SUB
000019b7: DUP2
000019b8: DUP7
000019b9: GAS
000019ba: STATICCALL
000019bb: ISZERO
000019bc: DUP1
000019bd: ISZERO
000019be: PUSH2 0x19cb
000019c1: JUMPI
000019c2: RETURNDATASIZE
000019c3: PUSH1 0x00
000019c5: DUP1
000019c6: RETURNDATACOPY
000019c7: RETURNDATASIZE
000019c8: PUSH1 0x00
000019ca: REVERT
000019cb: JUMPDEST
000019cc: POP
000019cd: POP
000019ce: POP
000019cf: POP
000019d0: PUSH1 0x40
000019d2: MLOAD
000019d3: RETURNDATASIZE
000019d4: PUSH1 0x1f
000019d6: NOT
000019d7: PUSH1 0x1f
000019d9: DUP3
000019da: ADD
000019db: AND
000019dc: DUP3
000019dd: ADD
000019de: DUP1
000019df: PUSH1 0x40
000019e1: MSTORE
000019e2: POP
000019e3: DUP2
000019e4: ADD
000019e5: SWAP1
000019e6: PUSH2 0x19ef
000019e9: SWAP2
000019ea: SWAP1
000019eb: PUSH2 0x2db2
000019ee: JUMP
000019ef: JUMPDEST
000019f0: SWAP1
000019f1: POP
000019f2: PUSH1 0x00
000019f4: DUP2
000019f5: PUSH1 0x01
000019f7: PUSH1 0x01
000019f9: PUSH1 0xa0
000019fb: SHL
000019fc: SUB
000019fd: AND
000019fe: DUP5
000019ff: PUSH1 0x40
00001a01: MLOAD
00001a02: PUSH1 0x00
00001a04: PUSH1 0x40
00001a06: MLOAD
00001a07: DUP1
00001a08: DUP4
00001a09: SUB
00001a0a: DUP2
00001a0b: DUP6
00001a0c: DUP8
00001a0d: GAS
00001a0e: CALL
00001a0f: SWAP3
00001a10: POP
00001a11: POP
00001a12: POP
00001a13: RETURNDATASIZE
00001a14: DUP1
00001a15: PUSH1 0x00
00001a17: DUP2
00001a18: EQ
00001a19: PUSH2 0x1a3e
00001a1c: JUMPI
00001a1d: PUSH1 0x40
00001a1f: MLOAD
00001a20: SWAP2
00001a21: POP
00001a22: PUSH1 0x1f
00001a24: NOT
00001a25: PUSH1 0x3f
00001a27: RETURNDATASIZE
00001a28: ADD
00001a29: AND
00001a2a: DUP3
00001a2b: ADD
00001a2c: PUSH1 0x40
00001a2e: MSTORE
00001a2f: RETURNDATASIZE
00001a30: DUP3
00001a31: MSTORE
00001a32: RETURNDATASIZE
00001a33: PUSH1 0x00
00001a35: PUSH1 0x20
00001a37: DUP5
00001a38: ADD
00001a39: RETURNDATACOPY
00001a3a: PUSH2 0x1a43
00001a3d: JUMP
00001a3e: JUMPDEST
00001a3f: PUSH1 0x60
00001a41: SWAP2
00001a42: POP
00001a43: JUMPDEST
00001a44: POP
00001a45: POP
00001a46: SWAP1
00001a47: POP
00001a48: DUP1
00001a49: PUSH2 0x1aba
00001a4c: JUMPI
00001a4d: PUSH1 0x40
00001a4f: MLOAD
00001a50: PUSH3 0x461bcd
00001a54: PUSH1 0xe5
00001a56: SHL
00001a57: DUP2
00001a58: MSTORE
00001a59: PUSH1 0x20
00001a5b: PUSH1 0x04
00001a5d: DUP3
00001a5e: ADD
00001a5f: MSTORE
00001a60: PUSH1 0x2b
00001a62: PUSH1 0x24
00001a64: DUP3
00001a65: ADD
00001a66: MSTORE
00001a67: PUSH32 0x4641494c45445f544f5f53454e445f45544845525f464f525f52454c41594552
00001a88: PUSH1 0x44
00001a8a: DUP3
00001a8b: ADD
00001a8c: MSTORE
00001a8d: PUSH32 0x5f4741535f434841524745000000000000000000000000000000000000000000
00001aae: PUSH1 0x64
00001ab0: DUP3
00001ab1: ADD
00001ab2: MSTORE
00001ab3: PUSH1 0x84
00001ab5: ADD
00001ab6: PUSH2 0x064e
00001ab9: JUMP
00001aba: JUMPDEST
00001abb: POP
00001abc: POP
00001abd: JUMPDEST
00001abe: POP
00001abf: POP
00001ac0: POP
00001ac1: POP
00001ac2: POP
00001ac3: POP
00001ac4: JUMP
00001ac5: JUMPDEST
00001ac6: PUSH1 0x01
00001ac8: SLOAD
00001ac9: PUSH1 0x40
00001acb: DUP1
00001acc: MLOAD
00001acd: PUSH4 0x33dce86f
00001ad2: PUSH1 0xe2
00001ad4: SHL
00001ad5: DUP2
00001ad6: MSTORE
00001ad7: SWAP1
00001ad8: MLOAD
00001ad9: PUSH1 0x01
00001adb: PUSH1 0x01
00001add: PUSH1 0xa0
00001adf: SHL
00001ae0: SUB
00001ae1: SWAP1
00001ae2: SWAP3
00001ae3: AND
00001ae4: SWAP2
00001ae5: DUP3
00001ae6: SWAP2
00001ae7: PUSH4 0xcf73a1bc
00001aec: SWAP2
00001aed: PUSH1 0x04
00001aef: DUP1
00001af0: DUP4
00001af1: ADD
00001af2: SWAP3
00001af3: PUSH1 0x20
00001af5: SWAP3
00001af6: SWAP2
00001af7: SWAP1
00001af8: DUP3
00001af9: SWAP1
00001afa: SUB
00001afb: ADD
00001afc: DUP2
00001afd: DUP7
00001afe: GAS
00001aff: STATICCALL
00001b00: ISZERO
00001b01: DUP1
00001b02: ISZERO
00001b03: PUSH2 0x1b10
00001b06: JUMPI
00001b07: RETURNDATASIZE
00001b08: PUSH1 0x00
00001b0a: DUP1
00001b0b: RETURNDATACOPY
00001b0c: RETURNDATASIZE
00001b0d: PUSH1 0x00
00001b0f: REVERT
00001b10: JUMPDEST
00001b11: POP
00001b12: POP
00001b13: POP
00001b14: POP
00001b15: PUSH1 0x40
00001b17: MLOAD
00001b18: RETURNDATASIZE
00001b19: PUSH1 0x1f
00001b1b: NOT
00001b1c: PUSH1 0x1f
00001b1e: DUP3
00001b1f: ADD
00001b20: AND
00001b21: DUP3
00001b22: ADD
00001b23: DUP1
00001b24: PUSH1 0x40
00001b26: MSTORE
00001b27: POP
00001b28: DUP2
00001b29: ADD
00001b2a: SWAP1
00001b2b: PUSH2 0x1b34
00001b2e: SWAP2
00001b2f: SWAP1
00001b30: PUSH2 0x2db2
00001b33: JUMP
00001b34: JUMPDEST
00001b35: PUSH1 0x01
00001b37: PUSH1 0x01
00001b39: PUSH1 0xa0
00001b3b: SHL
00001b3c: SUB
00001b3d: AND
00001b3e: CALLER
00001b3f: PUSH1 0x01
00001b41: PUSH1 0x01
00001b43: PUSH1 0xa0
00001b45: SHL
00001b46: SUB
00001b47: AND
00001b48: EQ
00001b49: PUSH2 0x1be4
00001b4c: JUMPI
00001b4d: DUP1
00001b4e: PUSH1 0x01
00001b50: PUSH1 0x01
00001b52: PUSH1 0xa0
00001b54: SHL
00001b55: SUB
00001b56: AND
00001b57: PUSH4 0x5c975abb
00001b5c: PUSH1 0x40
00001b5e: MLOAD
00001b5f: DUP2
00001b60: PUSH4 0xffffffff
00001b65: AND
00001b66: PUSH1 0xe0
00001b68: SHL
00001b69: DUP2
00001b6a: MSTORE
00001b6b: PUSH1 0x04
00001b6d: ADD
00001b6e: PUSH1 0x20
00001b70: PUSH1 0x40
00001b72: MLOAD
00001b73: DUP1
00001b74: DUP4
00001b75: SUB
00001b76: DUP2
00001b77: DUP7
00001b78: GAS
00001b79: STATICCALL
00001b7a: ISZERO
00001b7b: DUP1
00001b7c: ISZERO
00001b7d: PUSH2 0x1b8a
00001b80: JUMPI
00001b81: RETURNDATASIZE
00001b82: PUSH1 0x00
00001b84: DUP1
00001b85: RETURNDATACOPY
00001b86: RETURNDATASIZE
00001b87: PUSH1 0x00
00001b89: REVERT
00001b8a: JUMPDEST
00001b8b: POP
00001b8c: POP
00001b8d: POP
00001b8e: POP
00001b8f: PUSH1 0x40
00001b91: MLOAD
00001b92: RETURNDATASIZE
00001b93: PUSH1 0x1f
00001b95: NOT
00001b96: PUSH1 0x1f
00001b98: DUP3
00001b99: ADD
00001b9a: AND
00001b9b: DUP3
00001b9c: ADD
00001b9d: DUP1
00001b9e: PUSH1 0x40
00001ba0: MSTORE
00001ba1: POP
00001ba2: DUP2
00001ba3: ADD
00001ba4: SWAP1
00001ba5: PUSH2 0x1bae
00001ba8: SWAP2
00001ba9: SWAP1
00001baa: PUSH2 0x2de2
00001bad: JUMP
00001bae: JUMPDEST
00001baf: ISZERO
00001bb0: PUSH2 0x1be4
00001bb3: JUMPI
00001bb4: PUSH1 0x40
00001bb6: MLOAD
00001bb7: PUSH3 0x461bcd
00001bbb: PUSH1 0xe5
00001bbd: SHL
00001bbe: DUP2
00001bbf: MSTORE
00001bc0: PUSH1 0x20
00001bc2: PUSH1 0x04
00001bc4: DUP3
00001bc5: ADD
00001bc6: MSTORE
00001bc7: PUSH1 0x06
00001bc9: PUSH1 0x24
00001bcb: DUP3
00001bcc: ADD
00001bcd: MSTORE
00001bce: PUSH6 0x14105554d151
00001bd5: PUSH1 0xd2
00001bd7: SHL
00001bd8: PUSH1 0x44
00001bda: DUP3
00001bdb: ADD
00001bdc: MSTORE
00001bdd: PUSH1 0x64
00001bdf: ADD
00001be0: PUSH2 0x064e
00001be3: JUMP
00001be4: JUMPDEST
00001be5: PUSH1 0x00
00001be7: DUP4
00001be8: GT
00001be9: PUSH2 0x1c34
00001bec: JUMPI
00001bed: PUSH1 0x40
00001bef: MLOAD
00001bf0: PUSH3 0x461bcd
00001bf4: PUSH1 0xe5
00001bf6: SHL
00001bf7: DUP2
00001bf8: MSTORE
00001bf9: PUSH1 0x20
00001bfb: PUSH1 0x04
00001bfd: DUP3
00001bfe: ADD
00001bff: DUP2
00001c00: SWAP1
00001c01: MSTORE
00001c02: PUSH1 0x24
00001c04: DUP3
00001c05: ADD
00001c06: MSTORE
00001c07: PUSH32 0x414d4f554e545f4d5553545f42455f475245415445525f5448414e5f5a45524f
00001c28: PUSH1 0x44
00001c2a: DUP3
00001c2b: ADD
00001c2c: MSTORE
00001c2d: PUSH1 0x64
00001c2f: ADD
00001c30: PUSH2 0x064e
00001c33: JUMP
00001c34: JUMPDEST
00001c35: DUP3
00001c36: CALLVALUE
00001c37: LT
00001c38: ISZERO
00001c39: PUSH2 0x1c84
00001c3c: JUMPI
00001c3d: PUSH1 0x40
00001c3f: MLOAD
00001c40: PUSH3 0x461bcd
00001c44: PUSH1 0xe5
00001c46: SHL
00001c47: DUP2
00001c48: MSTORE
00001c49: PUSH1 0x20
00001c4b: PUSH1 0x04
00001c4d: DUP3
00001c4e: ADD
00001c4f: MSTORE
00001c50: PUSH1 0x17
00001c52: PUSH1 0x24
00001c54: DUP3
00001c55: ADD
00001c56: MSTORE
00001c57: PUSH32 0x494e53554646494349454e545f45544845525f53454e54000000000000000000
00001c78: PUSH1 0x44
00001c7a: DUP3
00001c7b: ADD
00001c7c: MSTORE
00001c7d: PUSH1 0x64
00001c7f: ADD
00001c80: PUSH2 0x064e
00001c83: JUMP
00001c84: JUMPDEST
00001c85: PUSH1 0x01
00001c87: SLOAD
00001c88: PUSH1 0x40
00001c8a: DUP1
00001c8b: MLOAD
00001c8c: PUSH32 0x19ef12a700000000000000000000000000000000000000000000000000000000
00001cad: DUP2
00001cae: MSTORE
00001caf: SWAP1
00001cb0: MLOAD
00001cb1: PUSH1 0x01
00001cb3: PUSH1 0x01
00001cb5: PUSH1 0xa0
00001cb7: SHL
00001cb8: SUB
00001cb9: SWAP1
00001cba: SWAP3
00001cbb: AND
00001cbc: SWAP2
00001cbd: DUP3
00001cbe: SWAP2
00001cbf: PUSH4 0x19ef12a7
00001cc4: SWAP2
00001cc5: PUSH1 0x04
00001cc7: DUP1
00001cc8: DUP4
00001cc9: ADD
00001cca: SWAP3
00001ccb: PUSH1 0x20
00001ccd: SWAP3
00001cce: SWAP2
00001ccf: SWAP1
00001cd0: DUP3
00001cd1: SWAP1
00001cd2: SUB
00001cd3: ADD
00001cd4: DUP2
00001cd5: DUP7
00001cd6: GAS
00001cd7: STATICCALL
00001cd8: ISZERO
00001cd9: DUP1
00001cda: ISZERO
00001cdb: PUSH2 0x1ce8
00001cde: JUMPI
00001cdf: RETURNDATASIZE
00001ce0: PUSH1 0x00
00001ce2: DUP1
00001ce3: RETURNDATACOPY
00001ce4: RETURNDATASIZE
00001ce5: PUSH1 0x00
00001ce7: REVERT
00001ce8: JUMPDEST
00001ce9: POP
00001cea: POP
00001ceb: POP
00001cec: POP
00001ced: PUSH1 0x40
00001cef: MLOAD
00001cf0: RETURNDATASIZE
00001cf1: PUSH1 0x1f
00001cf3: NOT
00001cf4: PUSH1 0x1f
00001cf6: DUP3
00001cf7: ADD
00001cf8: AND
00001cf9: DUP3
00001cfa: ADD
00001cfb: DUP1
00001cfc: PUSH1 0x40
00001cfe: MSTORE
00001cff: POP
00001d00: DUP2
00001d01: ADD
00001d02: SWAP1
00001d03: PUSH2 0x1d0c
00001d06: SWAP2
00001d07: SWAP1
00001d08: PUSH2 0x2d4a
00001d0b: JUMP
00001d0c: JUMPDEST
00001d0d: DUP2
00001d0e: PUSH1 0x01
00001d10: PUSH1 0x01
00001d12: PUSH1 0xa0
00001d14: SHL
00001d15: SUB
00001d16: AND
00001d17: PUSH4 0xfc0c546a
00001d1c: PUSH1 0x40
00001d1e: MLOAD
00001d1f: DUP2
00001d20: PUSH4 0xffffffff
00001d25: AND
00001d26: PUSH1 0xe0
00001d28: SHL
00001d29: DUP2
00001d2a: MSTORE
00001d2b: PUSH1 0x04
00001d2d: ADD
00001d2e: PUSH1 0x20
00001d30: PUSH1 0x40
00001d32: MLOAD
00001d33: DUP1
00001d34: DUP4
00001d35: SUB
00001d36: DUP2
00001d37: DUP7
00001d38: GAS
00001d39: STATICCALL
00001d3a: ISZERO
00001d3b: DUP1
00001d3c: ISZERO
00001d3d: PUSH2 0x1d4a
00001d40: JUMPI
00001d41: RETURNDATASIZE
00001d42: PUSH1 0x00
00001d44: DUP1
00001d45: RETURNDATACOPY
00001d46: RETURNDATASIZE
00001d47: PUSH1 0x00
00001d49: REVERT
00001d4a: JUMPDEST
00001d4b: POP
00001d4c: POP
00001d4d: POP
00001d4e: POP
00001d4f: PUSH1 0x40
00001d51: MLOAD
00001d52: RETURNDATASIZE
00001d53: PUSH1 0x1f
00001d55: NOT
00001d56: PUSH1 0x1f
00001d58: DUP3
00001d59: ADD
00001d5a: AND
00001d5b: DUP3
00001d5c: ADD
00001d5d: DUP1
00001d5e: PUSH1 0x40
00001d60: MSTORE
00001d61: POP
00001d62: DUP2
00001d63: ADD
00001d64: SWAP1
00001d65: PUSH2 0x1d6e
00001d68: SWAP2
00001d69: SWAP1
00001d6a: PUSH2 0x2db2
00001d6d: JUMP
00001d6e: JUMPDEST
00001d6f: PUSH1 0x40
00001d71: MLOAD
00001d72: PUSH4 0x70a08231
00001d77: PUSH1 0xe0
00001d79: SHL
00001d7a: DUP2
00001d7b: MSTORE
00001d7c: CALLER
00001d7d: PUSH1 0x04
00001d7f: DUP3
00001d80: ADD
00001d81: MSTORE
00001d82: PUSH1 0x01
00001d84: PUSH1 0x01
00001d86: PUSH1 0xa0
00001d88: SHL
00001d89: SUB
00001d8a: SWAP2
00001d8b: SWAP1
00001d8c: SWAP2
00001d8d: AND
00001d8e: SWAP1
00001d8f: PUSH4 0x70a08231
00001d94: SWAP1
00001d95: PUSH1 0x24
00001d97: ADD
00001d98: PUSH1 0x20
00001d9a: PUSH1 0x40
00001d9c: MLOAD
00001d9d: DUP1
00001d9e: DUP4
00001d9f: SUB
00001da0: DUP2
00001da1: DUP7
00001da2: GAS
00001da3: STATICCALL
00001da4: ISZERO
00001da5: DUP1
00001da6: ISZERO
00001da7: PUSH2 0x1db4
00001daa: JUMPI
00001dab: RETURNDATASIZE
00001dac: PUSH1 0x00
00001dae: DUP1
00001daf: RETURNDATACOPY
00001db0: RETURNDATASIZE
00001db1: PUSH1 0x00
00001db3: REVERT
00001db4: JUMPDEST
00001db5: POP
00001db6: POP
00001db7: POP
00001db8: POP
00001db9: PUSH1 0x40
00001dbb: MLOAD
00001dbc: RETURNDATASIZE
00001dbd: PUSH1 0x1f
00001dbf: NOT
00001dc0: PUSH1 0x1f
00001dc2: DUP3
00001dc3: ADD
00001dc4: AND
00001dc5: DUP3
00001dc6: ADD
00001dc7: DUP1
00001dc8: PUSH1 0x40
00001dca: MSTORE
00001dcb: POP
00001dcc: DUP2
00001dcd: ADD
00001dce: SWAP1
00001dcf: PUSH2 0x1dd8
00001dd2: SWAP2
00001dd3: SWAP1
00001dd4: PUSH2 0x2d4a
00001dd7: JUMP
00001dd8: JUMPDEST
00001dd9: LT
00001dda: ISZERO
00001ddb: PUSH2 0x1f4f
00001dde: JUMPI
00001ddf: PUSH1 0x00
00001de1: PUSH2 0x1de9
00001de4: DUP6
00001de5: PUSH2 0x09da
00001de8: JUMP
00001de9: JUMPDEST
00001dea: SWAP1
00001deb: POP
00001dec: PUSH2 0x1df5
00001def: DUP2
00001df0: DUP7
00001df1: PUSH2 0x3069
00001df4: JUMP
00001df5: JUMPDEST
00001df6: CALLVALUE
00001df7: LT
00001df8: ISZERO
00001df9: PUSH2 0x1e44
00001dfc: JUMPI
00001dfd: PUSH1 0x40
00001dff: MLOAD
00001e00: PUSH3 0x461bcd
00001e04: PUSH1 0xe5
00001e06: SHL
00001e07: DUP2
00001e08: MSTORE
00001e09: PUSH1 0x20
00001e0b: PUSH1 0x04
00001e0d: DUP3
00001e0e: ADD
00001e0f: MSTORE
00001e10: PUSH1 0x18
00001e12: PUSH1 0x24
00001e14: DUP3
00001e15: ADD
00001e16: MSTORE
00001e17: PUSH32 0x46554e44535f4e4f545f454e4f5547485f464f525f4645450000000000000000
00001e38: PUSH1 0x44
00001e3a: DUP3
00001e3b: ADD
00001e3c: MSTORE
00001e3d: PUSH1 0x64
00001e3f: ADD
00001e40: PUSH2 0x064e
00001e43: JUMP
00001e44: JUMPDEST
00001e45: PUSH1 0x00
00001e47: DUP3
00001e48: PUSH1 0x01
00001e4a: PUSH1 0x01
00001e4c: PUSH1 0xa0
00001e4e: SHL
00001e4f: SUB
00001e50: AND
00001e51: PUSH4 0x6b34a45a
00001e56: PUSH1 0x40
00001e58: MLOAD
00001e59: DUP2
00001e5a: PUSH4 0xffffffff
00001e5f: AND
00001e60: PUSH1 0xe0
00001e62: SHL
00001e63: DUP2
00001e64: MSTORE
00001e65: PUSH1 0x04
00001e67: ADD
00001e68: PUSH1 0x20
00001e6a: PUSH1 0x40
00001e6c: MLOAD
00001e6d: DUP1
00001e6e: DUP4
00001e6f: SUB
00001e70: DUP2
00001e71: DUP7
00001e72: GAS
00001e73: STATICCALL
00001e74: ISZERO
00001e75: DUP1
00001e76: ISZERO
00001e77: PUSH2 0x1e84
00001e7a: JUMPI
00001e7b: RETURNDATASIZE
00001e7c: PUSH1 0x00
00001e7e: DUP1
00001e7f: RETURNDATACOPY
00001e80: RETURNDATASIZE
00001e81: PUSH1 0x00
00001e83: REVERT
00001e84: JUMPDEST
00001e85: POP
00001e86: POP
00001e87: POP
00001e88: POP
00001e89: PUSH1 0x40
00001e8b: MLOAD
00001e8c: RETURNDATASIZE
00001e8d: PUSH1 0x1f
00001e8f: NOT
00001e90: PUSH1 0x1f
00001e92: DUP3
00001e93: ADD
00001e94: AND
00001e95: DUP3
00001e96: ADD
00001e97: DUP1
00001e98: PUSH1 0x40
00001e9a: MSTORE
00001e9b: POP
00001e9c: DUP2
00001e9d: ADD
00001e9e: SWAP1
00001e9f: PUSH2 0x1ea8
00001ea2: SWAP2
00001ea3: SWAP1
00001ea4: PUSH2 0x2db2
00001ea7: JUMP
00001ea8: JUMPDEST
00001ea9: PUSH1 0x01
00001eab: PUSH1 0x01
00001ead: PUSH1 0xa0
00001eaf: SHL
00001eb0: SUB
00001eb1: AND
00001eb2: DUP3
00001eb3: PUSH1 0x40
00001eb5: MLOAD
00001eb6: PUSH1 0x00
00001eb8: PUSH1 0x40
00001eba: MLOAD
00001ebb: DUP1
00001ebc: DUP4
00001ebd: SUB
00001ebe: DUP2
00001ebf: DUP6
00001ec0: DUP8
00001ec1: GAS
00001ec2: CALL
00001ec3: SWAP3
00001ec4: POP
00001ec5: POP
00001ec6: POP
00001ec7: RETURNDATASIZE
00001ec8: DUP1
00001ec9: PUSH1 0x00
00001ecb: DUP2
00001ecc: EQ
00001ecd: PUSH2 0x1ef2
00001ed0: JUMPI
00001ed1: PUSH1 0x40
00001ed3: MLOAD
00001ed4: SWAP2
00001ed5: POP
00001ed6: PUSH1 0x1f
00001ed8: NOT
00001ed9: PUSH1 0x3f
00001edb: RETURNDATASIZE
00001edc: ADD
00001edd: AND
00001ede: DUP3
00001edf: ADD
00001ee0: PUSH1 0x40
00001ee2: MSTORE
00001ee3: RETURNDATASIZE
00001ee4: DUP3
00001ee5: MSTORE
00001ee6: RETURNDATASIZE
00001ee7: PUSH1 0x00
00001ee9: PUSH1 0x20
00001eeb: DUP5
00001eec: ADD
00001eed: RETURNDATACOPY
00001eee: PUSH2 0x1ef7
00001ef1: JUMP
00001ef2: JUMPDEST
00001ef3: PUSH1 0x60
00001ef5: SWAP2
00001ef6: POP
00001ef7: JUMPDEST
00001ef8: POP
00001ef9: POP
00001efa: SWAP1
00001efb: POP
00001efc: DUP1
00001efd: PUSH2 0x1f48
00001f00: JUMPI
00001f01: PUSH1 0x40
00001f03: MLOAD
00001f04: PUSH3 0x461bcd
00001f08: PUSH1 0xe5
00001f0a: SHL
00001f0b: DUP2
00001f0c: MSTORE
00001f0d: PUSH1 0x20
00001f0f: PUSH1 0x04
00001f11: DUP3
00001f12: ADD
00001f13: MSTORE
00001f14: PUSH1 0x1c
00001f16: PUSH1 0x24
00001f18: DUP3
00001f19: ADD
00001f1a: MSTORE
00001f1b: PUSH32 0x4641494c45445f544f5f53454e445f45544845525f464f525f46454500000000
00001f3c: PUSH1 0x44
00001f3e: DUP3
00001f3f: ADD
00001f40: MSTORE
00001f41: PUSH1 0x64
00001f43: ADD
00001f44: PUSH2 0x064e
00001f47: JUMP
00001f48: JUMPDEST
00001f49: POP
00001f4a: POP
00001f4b: PUSH2 0x206a
00001f4e: JUMP
00001f4f: JUMPDEST
00001f50: PUSH1 0x00
00001f52: PUSH2 0x1f5a
00001f55: DUP6
00001f56: PUSH2 0x04f7
00001f59: JUMP
00001f5a: JUMPDEST
00001f5b: SWAP1
00001f5c: POP
00001f5d: DUP1
00001f5e: ISZERO
00001f5f: PUSH2 0x2068
00001f62: JUMPI
00001f63: PUSH1 0x00
00001f65: DUP3
00001f66: PUSH1 0x01
00001f68: PUSH1 0x01
00001f6a: PUSH1 0xa0
00001f6c: SHL
00001f6d: SUB
00001f6e: AND
00001f6f: PUSH4 0x6b34a45a
00001f74: PUSH1 0x40
00001f76: MLOAD
00001f77: DUP2
00001f78: PUSH4 0xffffffff
00001f7d: AND
00001f7e: PUSH1 0xe0
00001f80: SHL
00001f81: DUP2
00001f82: MSTORE
00001f83: PUSH1 0x04
00001f85: ADD
00001f86: PUSH1 0x20
00001f88: PUSH1 0x40
00001f8a: MLOAD
00001f8b: DUP1
00001f8c: DUP4
00001f8d: SUB
00001f8e: DUP2
00001f8f: DUP7
00001f90: GAS
00001f91: STATICCALL
00001f92: ISZERO
00001f93: DUP1
00001f94: ISZERO
00001f95: PUSH2 0x1fa2
00001f98: JUMPI
00001f99: RETURNDATASIZE
00001f9a: PUSH1 0x00
00001f9c: DUP1
00001f9d: RETURNDATACOPY
00001f9e: RETURNDATASIZE
00001f9f: PUSH1 0x00
00001fa1: REVERT
00001fa2: JUMPDEST
00001fa3: POP
00001fa4: POP
00001fa5: POP
00001fa6: POP
00001fa7: PUSH1 0x40
00001fa9: MLOAD
00001faa: RETURNDATASIZE
00001fab: PUSH1 0x1f
00001fad: NOT
00001fae: PUSH1 0x1f
00001fb0: DUP3
00001fb1: ADD
00001fb2: AND
00001fb3: DUP3
00001fb4: ADD
00001fb5: DUP1
00001fb6: PUSH1 0x40
00001fb8: MSTORE
00001fb9: POP
00001fba: DUP2
00001fbb: ADD
00001fbc: SWAP1
00001fbd: PUSH2 0x1fc6
00001fc0: SWAP2
00001fc1: SWAP1
00001fc2: PUSH2 0x2db2
00001fc5: JUMP
00001fc6: JUMPDEST
00001fc7: PUSH1 0x01
00001fc9: PUSH1 0x01
00001fcb: PUSH1 0xa0
00001fcd: SHL
00001fce: SUB
00001fcf: AND
00001fd0: DUP3
00001fd1: PUSH1 0x40
00001fd3: MLOAD
00001fd4: PUSH1 0x00
00001fd6: PUSH1 0x40
00001fd8: MLOAD
00001fd9: DUP1
00001fda: DUP4
00001fdb: SUB
00001fdc: DUP2
00001fdd: DUP6
00001fde: DUP8
00001fdf: GAS
00001fe0: CALL
00001fe1: SWAP3
00001fe2: POP
00001fe3: POP
00001fe4: POP
00001fe5: RETURNDATASIZE
00001fe6: DUP1
00001fe7: PUSH1 0x00
00001fe9: DUP2
00001fea: EQ
00001feb: PUSH2 0x2010
00001fee: JUMPI
00001fef: PUSH1 0x40
00001ff1: MLOAD
00001ff2: SWAP2
00001ff3: POP
00001ff4: PUSH1 0x1f
00001ff6: NOT
00001ff7: PUSH1 0x3f
00001ff9: RETURNDATASIZE
00001ffa: ADD
00001ffb: AND
00001ffc: DUP3
00001ffd: ADD
00001ffe: PUSH1 0x40
00002000: MSTORE
00002001: RETURNDATASIZE
00002002: DUP3
00002003: MSTORE
00002004: RETURNDATASIZE
00002005: PUSH1 0x00
00002007: PUSH1 0x20
00002009: DUP5
0000200a: ADD
0000200b: RETURNDATACOPY
0000200c: PUSH2 0x2015
0000200f: JUMP
00002010: JUMPDEST
00002011: PUSH1 0x60
00002013: SWAP2
00002014: POP
00002015: JUMPDEST
00002016: POP
00002017: POP
00002018: SWAP1
00002019: POP
0000201a: DUP1
0000201b: PUSH2 0x2066
0000201e: JUMPI
0000201f: PUSH1 0x40
00002021: MLOAD
00002022: PUSH3 0x461bcd
00002026: PUSH1 0xe5
00002028: SHL
00002029: DUP2
0000202a: MSTORE
0000202b: PUSH1 0x20
0000202d: PUSH1 0x04
0000202f: DUP3
00002030: ADD
00002031: MSTORE
00002032: PUSH1 0x1c
00002034: PUSH1 0x24
00002036: DUP3
00002037: ADD
00002038: MSTORE
00002039: PUSH32 0x4641494c45445f544f5f53454e445f45544845525f464f525f46454500000000
0000205a: PUSH1 0x44
0000205c: DUP3
0000205d: ADD
0000205e: MSTORE
0000205f: PUSH1 0x64
00002061: ADD
00002062: PUSH2 0x064e
00002065: JUMP
00002066: JUMPDEST
00002067: POP
00002068: JUMPDEST
00002069: POP
0000206a: JUMPDEST
0000206b: DUP3
0000206c: MLOAD
0000206d: PUSH1 0x20
0000206f: DUP5
00002070: ADD
00002071: MLOAD
00002072: PUSH1 0x40
00002074: MLOAD
00002075: PUSH32 0x669d944800000000000000000000000000000000000000000000000000000000
00002096: DUP2
00002097: MSTORE
00002098: PUSH1 0x04
0000209a: DUP2
0000209b: ADD
0000209c: SWAP3
0000209d: SWAP1
0000209e: SWAP3
0000209f: MSTORE
000020a0: PUSH1 0x24
000020a2: DUP3
000020a3: ADD
000020a4: MSTORE
000020a5: PUSH20 0x55914a1625801d4ab7bf3ca804c40971dcd52219
000020ba: SWAP1
000020bb: PUSH4 0x669d9448
000020c0: SWAP1
000020c1: PUSH1 0x44
000020c3: ADD
000020c4: PUSH1 0x20
000020c6: PUSH1 0x40
000020c8: MLOAD
000020c9: DUP1
000020ca: DUP4
000020cb: SUB
000020cc: DUP2
000020cd: DUP7
000020ce: GAS
000020cf: DELEGATECALL
000020d0: ISZERO
000020d1: DUP1
000020d2: ISZERO
000020d3: PUSH2 0x20e0
000020d6: JUMPI
000020d7: RETURNDATASIZE
000020d8: PUSH1 0x00
000020da: DUP1
000020db: RETURNDATACOPY
000020dc: RETURNDATASIZE
000020dd: PUSH1 0x00
000020df: REVERT
000020e0: JUMPDEST
000020e1: POP
000020e2: POP
000020e3: POP
000020e4: POP
000020e5: PUSH1 0x40
000020e7: MLOAD
000020e8: RETURNDATASIZE
000020e9: PUSH1 0x1f
000020eb: NOT
000020ec: PUSH1 0x1f
000020ee: DUP3
000020ef: ADD
000020f0: AND
000020f1: DUP3
000020f2: ADD
000020f3: DUP1
000020f4: PUSH1 0x40
000020f6: MSTORE
000020f7: POP
000020f8: DUP2
000020f9: ADD
000020fa: SWAP1
000020fb: PUSH2 0x2104
000020fe: SWAP2
000020ff: SWAP1
00002100: PUSH2 0x2de2
00002103: JUMP
00002104: JUMPDEST
00002105: PUSH2 0x2150
00002108: JUMPI
00002109: PUSH1 0x40
0000210b: MLOAD
0000210c: PUSH3 0x461bcd
00002110: PUSH1 0xe5
00002112: SHL
00002113: DUP2
00002114: MSTORE
00002115: PUSH1 0x20
00002117: PUSH1 0x04
00002119: DUP3
0000211a: ADD
0000211b: MSTORE
0000211c: PUSH1 0x0f
0000211e: PUSH1 0x24
00002120: DUP3
00002121: ADD
00002122: MSTORE
00002123: PUSH32 0x504b5f4e4f545f4f4e5f43555256450000000000000000000000000000000000
00002144: PUSH1 0x44
00002146: DUP3
00002147: ADD
00002148: MSTORE
00002149: PUSH1 0x64
0000214b: ADD
0000214c: PUSH2 0x064e
0000214f: JUMP
00002150: JUMPDEST
00002151: PUSH1 0x00
00002153: DUP5
00002154: DUP2
00002155: MSTORE
00002156: PUSH1 0x04
00002158: PUSH1 0x20
0000215a: SWAP1
0000215b: DUP2
0000215c: MSTORE
0000215d: PUSH1 0x40
0000215f: DUP1
00002160: DUP4
00002161: KECCAK256
00002162: SLOAD
00002163: PUSH1 0x05
00002165: DUP4
00002166: MSTORE
00002167: DUP2
00002168: DUP5
00002169: KECCAK256
0000216a: DUP2
0000216b: DUP6
0000216c: MSTORE
0000216d: SWAP1
0000216e: SWAP3
0000216f: MSTORE
00002170: DUP3
00002171: KECCAK256
00002172: PUSH1 0x01
00002174: DUP2
00002175: ADD
00002176: SLOAD
00002177: SWAP2
00002178: SWAP3
00002179: SWAP1
0000217a: SWAP2
0000217b: DUP2
0000217c: SWAP1
0000217d: DUP2
0000217e: SWAP1
0000217f: PUSH2 0x2187
00002182: SWAP1
00002183: PUSH2 0x0c84
00002186: JUMP
00002187: JUMPDEST
00002188: SWAP3
00002189: POP
0000218a: SWAP3
0000218b: POP
0000218c: SWAP3
0000218d: POP
0000218e: PUSH1 0x00
00002190: JUMPDEST
00002191: DUP3
00002192: DUP2
00002193: LT
00002194: ISZERO
00002195: PUSH2 0x22ac
00002198: JUMPI
00002199: DUP9
0000219a: MLOAD
0000219b: PUSH1 0x00
0000219d: DUP3
0000219e: DUP2
0000219f: MSTORE
000021a0: PUSH1 0x02
000021a2: DUP8
000021a3: ADD
000021a4: PUSH1 0x20
000021a6: MSTORE
000021a7: PUSH1 0x40
000021a9: SWAP1
000021aa: KECCAK256
000021ab: SLOAD
000021ac: EQ
000021ad: DUP1
000021ae: ISZERO
000021af: PUSH2 0x21d0
000021b2: JUMPI
000021b3: POP
000021b4: PUSH1 0x20
000021b6: DUP1
000021b7: DUP11
000021b8: ADD
000021b9: MLOAD
000021ba: PUSH1 0x00
000021bc: DUP4
000021bd: DUP2
000021be: MSTORE
000021bf: PUSH1 0x02
000021c1: DUP9
000021c2: ADD
000021c3: SWAP1
000021c4: SWAP3
000021c5: MSTORE
000021c6: PUSH1 0x40
000021c8: SWAP1
000021c9: SWAP2
000021ca: KECCAK256
000021cb: PUSH1 0x01
000021cd: ADD
000021ce: SLOAD
000021cf: EQ
000021d0: JUMPDEST
000021d1: ISZERO
000021d2: PUSH2 0x221d
000021d5: JUMPI
000021d6: PUSH1 0x40
000021d8: MLOAD
000021d9: PUSH3 0x461bcd
000021dd: PUSH1 0xe5
000021df: SHL
000021e0: DUP2
000021e1: MSTORE
000021e2: PUSH1 0x20
000021e4: PUSH1 0x04
000021e6: DUP3
000021e7: ADD
000021e8: MSTORE
000021e9: PUSH1 0x12
000021eb: PUSH1 0x24
000021ed: DUP3
000021ee: ADD
000021ef: MSTORE
000021f0: PUSH32 0x504b5f414c52454144595f494e5f52494e470000000000000000000000000000
00002211: PUSH1 0x44
00002213: DUP3
00002214: ADD
00002215: MSTORE
00002216: PUSH1 0x64
00002218: ADD
00002219: PUSH2 0x064e
0000221c: JUMP
0000221d: JUMPDEST
0000221e: PUSH1 0x40
00002220: DUP10
00002221: DUP2
00002222: ADD
00002223: MLOAD
00002224: PUSH1 0x00
00002226: DUP4
00002227: DUP2
00002228: MSTORE
00002229: PUSH1 0x02
0000222b: DUP9
0000222c: ADD
0000222d: PUSH1 0x20
0000222f: MSTORE
00002230: SWAP2
00002231: SWAP1
00002232: SWAP2
00002233: KECCAK256
00002234: SLOAD
00002235: EQ
00002236: DUP1
00002237: ISZERO
00002238: PUSH2 0x2257
0000223b: JUMPI
0000223c: POP
0000223d: PUSH1 0x60
0000223f: DUP10
00002240: ADD
00002241: MLOAD
00002242: PUSH1 0x00
00002244: DUP3
00002245: DUP2
00002246: MSTORE
00002247: PUSH1 0x02
00002249: DUP8
0000224a: ADD
0000224b: PUSH1 0x20
0000224d: MSTORE
0000224e: PUSH1 0x40
00002250: SWAP1
00002251: KECCAK256
00002252: PUSH1 0x01
00002254: ADD
00002255: SLOAD
00002256: EQ
00002257: JUMPDEST
00002258: ISZERO
00002259: PUSH2 0x22a4
0000225c: JUMPI
0000225d: PUSH1 0x40
0000225f: MLOAD
00002260: PUSH3 0x461bcd
00002264: PUSH1 0xe5
00002266: SHL
00002267: DUP2
00002268: MSTORE
00002269: PUSH1 0x20
0000226b: PUSH1 0x04
0000226d: DUP3
0000226e: ADD
0000226f: MSTORE
00002270: PUSH1 0x12
00002272: PUSH1 0x24
00002274: DUP3
00002275: ADD
00002276: MSTORE
00002277: PUSH32 0x504b5f414c52454144595f494e5f52494e470000000000000000000000000000
00002298: PUSH1 0x44
0000229a: DUP3
0000229b: ADD
0000229c: MSTORE
0000229d: PUSH1 0x64
0000229f: ADD
000022a0: PUSH2 0x064e
000022a3: JUMP
000022a4: JUMPDEST
000022a5: PUSH1 0x01
000022a7: ADD
000022a8: PUSH2 0x2190
000022ab: JUMP
000022ac: JUMPDEST
000022ad: POP
000022ae: DUP2
000022af: PUSH1 0x00
000022b1: SUB
000022b2: PUSH2 0x22c3
000022b5: JUMPI
000022b6: PUSH2 0x22c0
000022b9: PUSH1 0x01
000022bb: NUMBER
000022bc: PUSH2 0x2dcf
000022bf: JUMP
000022c0: JUMPDEST
000022c1: SWAP1
000022c2: POP
000022c3: JUMPDEST
000022c4: PUSH1 0x40
000022c6: DUP1
000022c7: MLOAD
000022c8: DUP1
000022c9: DUP3
000022ca: ADD
000022cb: DUP3
000022cc: MSTORE
000022cd: DUP10
000022ce: MLOAD
000022cf: DUP2
000022d0: MSTORE
000022d1: PUSH1 0x20
000022d3: DUP1
000022d4: DUP12
000022d5: ADD
000022d6: MLOAD
000022d7: DUP2
000022d8: DUP4
000022d9: ADD
000022da: MSTORE
000022db: PUSH1 0x00
000022dd: DUP6
000022de: DUP2
000022df: MSTORE
000022e0: PUSH1 0x02
000022e2: DUP1
000022e3: DUP10
000022e4: ADD
000022e5: SWAP1
000022e6: SWAP3
000022e7: MSTORE
000022e8: SWAP3
000022e9: SWAP1
000022ea: SWAP3
000022eb: KECCAK256
000022ec: PUSH2 0x22f7
000022ef: SWAP3
000022f0: SWAP1
000022f1: SWAP2
000022f2: SWAP1
000022f3: PUSH2 0x2808
000022f6: JUMP
000022f7: JUMPDEST
000022f8: POP
000022f9: PUSH1 0x40
000022fb: DUP1
000022fc: MLOAD
000022fd: DUP1
000022fe: DUP3
000022ff: ADD
00002300: DUP3
00002301: MSTORE
00002302: SWAP1
00002303: DUP10
00002304: ADD
00002305: MLOAD
00002306: DUP2
00002307: MSTORE
00002308: PUSH1 0x60
0000230a: DUP10
0000230b: ADD
0000230c: MLOAD
0000230d: PUSH1 0x20
0000230f: DUP3
00002310: ADD
00002311: MSTORE
00002312: PUSH1 0x02
00002314: DUP6
00002315: ADD
00002316: PUSH1 0x00
00002318: PUSH2 0x2322
0000231b: DUP6
0000231c: PUSH1 0x01
0000231e: PUSH2 0x3069
00002321: JUMP
00002322: JUMPDEST
00002323: DUP2
00002324: MSTORE
00002325: PUSH1 0x20
00002327: DUP2
00002328: ADD
00002329: SWAP2
0000232a: SWAP1
0000232b: SWAP2
0000232c: MSTORE
0000232d: PUSH1 0x40
0000232f: ADD
00002330: PUSH1 0x00
00002332: KECCAK256
00002333: PUSH2 0x233d
00002336: SWAP2
00002337: PUSH1 0x02
00002339: PUSH2 0x2808
0000233c: JUMP
0000233d: JUMPDEST
0000233e: POP
0000233f: DUP9
00002340: DUP5
00002341: PUSH1 0x00
00002343: ADD
00002344: PUSH1 0x00
00002346: DUP3
00002347: DUP3
00002348: SLOAD
00002349: PUSH2 0x2352
0000234c: SWAP2
0000234d: SWAP1
0000234e: PUSH2 0x3069
00002351: JUMP
00002352: JUMPDEST
00002353: SWAP1
00002354: SWAP2
00002355: SSTORE
00002356: POP
00002357: POP
00002358: PUSH1 0x02
0000235a: SWAP2
0000235b: DUP3
0000235c: ADD
0000235d: PUSH1 0x10
0000235f: DUP5
00002360: SWAP1
00002361: SHL
00002362: DUP2
00002363: OR
00002364: PUSH1 0x20
00002366: SHL
00002367: DUP3
00002368: OR
00002369: PUSH1 0x01
0000236b: DUP7
0000236c: ADD
0000236d: DUP2
0000236e: SWAP1
0000236f: SSTORE
00002370: SWAP1
00002371: SWAP3
00002372: DUP4
00002373: LT
00002374: PUSH2 0x23b3
00002377: JUMPI
00002378: PUSH2 0x2381
0000237b: DUP11
0000237c: DUP8
0000237d: PUSH2 0x26c7
00002380: JUMP
00002381: JUMPDEST
00002382: DUP6
00002383: PUSH1 0x04
00002385: ADD
00002386: DUP2
00002387: SWAP1
00002388: SSTORE
00002389: POP
0000238a: PUSH1 0x01
0000238c: PUSH1 0x04
0000238e: PUSH1 0x00
00002390: DUP13
00002391: DUP2
00002392: MSTORE
00002393: PUSH1 0x20
00002395: ADD
00002396: SWAP1
00002397: DUP2
00002398: MSTORE
00002399: PUSH1 0x20
0000239b: ADD
0000239c: PUSH1 0x00
0000239e: KECCAK256
0000239f: PUSH1 0x00
000023a1: DUP3
000023a2: DUP3
000023a3: SLOAD
000023a4: PUSH2 0x23ad
000023a7: SWAP2
000023a8: SWAP1
000023a9: PUSH2 0x3069
000023ac: JUMP
000023ad: JUMPDEST
000023ae: SWAP1
000023af: SWAP2
000023b0: SSTORE
000023b1: POP
000023b2: POP
000023b3: JUMPDEST
000023b4: PUSH1 0x40
000023b6: DUP1
000023b7: MLOAD
000023b8: CALLER
000023b9: DUP2
000023ba: MSTORE
000023bb: PUSH1 0x20
000023bd: DUP2
000023be: ADD
000023bf: DUP13
000023c0: SWAP1
000023c1: MSTORE
000023c2: SWAP1
000023c3: DUP2
000023c4: ADD
000023c5: DUP8
000023c6: SWAP1
000023c7: MSTORE
000023c8: PUSH32 0x90890809c654f11d6e72a28fa60149770a0d11ec6c92319d6ceb2bb0a4ea1a15
000023e9: SWAP1
000023ea: PUSH1 0x60
000023ec: ADD
000023ed: PUSH1 0x40
000023ef: MLOAD
000023f0: DUP1
000023f1: SWAP2
000023f2: SUB
000023f3: SWAP1
000023f4: LOG1
000023f5: POP
000023f6: POP
000023f7: POP
000023f8: POP
000023f9: POP
000023fa: POP
000023fb: POP
000023fc: POP
000023fd: POP
000023fe: POP
000023ff: JUMP
00002400: JUMPDEST
00002401: PUSH1 0x00
00002403: PUSH2 0x2710
00002406: PUSH1 0x01
00002408: PUSH1 0x00
0000240a: SWAP1
0000240b: SLOAD
0000240c: SWAP1
0000240d: PUSH2 0x0100
00002410: EXP
00002411: SWAP1
00002412: DIV
00002413: PUSH1 0x01
00002415: PUSH1 0x01
00002417: PUSH1 0xa0
00002419: SHL
0000241a: SUB
0000241b: AND
0000241c: PUSH1 0x01
0000241e: PUSH1 0x01
00002420: PUSH1 0xa0
00002422: SHL
00002423: SUB
00002424: AND
00002425: PUSH4 0x2fdeb111
0000242a: PUSH1 0x40
0000242c: MLOAD
0000242d: DUP2
0000242e: PUSH4 0xffffffff
00002433: AND
00002434: PUSH1 0xe0
00002436: SHL
00002437: DUP2
00002438: MSTORE
00002439: PUSH1 0x04
0000243b: ADD
0000243c: PUSH1 0x20
0000243e: PUSH1 0x40
00002440: MLOAD
00002441: DUP1
00002442: DUP4
00002443: SUB
00002444: DUP2
00002445: DUP7
00002446: GAS
00002447: STATICCALL
00002448: ISZERO
00002449: DUP1
0000244a: ISZERO
0000244b: PUSH2 0x054f
0000244e: JUMPI
0000244f: RETURNDATASIZE
00002450: PUSH1 0x00
00002452: DUP1
00002453: RETURNDATACOPY
00002454: RETURNDATASIZE
00002455: PUSH1 0x00
00002457: REVERT
00002458: JUMPDEST
00002459: PUSH1 0x00
0000245b: CALLER
0000245c: PUSH1 0x01
0000245e: PUSH1 0x01
00002460: PUSH1 0xa0
00002462: SHL
00002463: SUB
00002464: AND
00002465: PUSH1 0x01
00002467: PUSH1 0x00
00002469: SWAP1
0000246a: SLOAD
0000246b: SWAP1
0000246c: PUSH2 0x0100
0000246f: EXP
00002470: SWAP1
00002471: DIV
00002472: PUSH1 0x01
00002474: PUSH1 0x01
00002476: PUSH1 0xa0
00002478: SHL
00002479: SUB
0000247a: AND
0000247b: PUSH1 0x01
0000247d: PUSH1 0x01
0000247f: PUSH1 0xa0
00002481: SHL
00002482: SUB
00002483: AND
00002484: PUSH4 0x18a7cca8
00002489: PUSH1 0x40
0000248b: MLOAD
0000248c: DUP2
0000248d: PUSH4 0xffffffff
00002492: AND
00002493: PUSH1 0xe0
00002495: SHL
00002496: DUP2
00002497: MSTORE
00002498: PUSH1 0x04
0000249a: ADD
0000249b: PUSH1 0x20
0000249d: PUSH1 0x40
0000249f: MLOAD
000024a0: DUP1
000024a1: DUP4
000024a2: SUB
000024a3: DUP2
000024a4: DUP7
000024a5: GAS
000024a6: STATICCALL
000024a7: ISZERO
000024a8: DUP1
000024a9: ISZERO
000024aa: PUSH2 0x24b7
000024ad: JUMPI
000024ae: RETURNDATASIZE
000024af: PUSH1 0x00
000024b1: DUP1
000024b2: RETURNDATACOPY
000024b3: RETURNDATASIZE
000024b4: PUSH1 0x00
000024b6: REVERT
000024b7: JUMPDEST
000024b8: POP
000024b9: POP
000024ba: POP
000024bb: POP
000024bc: PUSH1 0x40
000024be: MLOAD
000024bf: RETURNDATASIZE
000024c0: PUSH1 0x1f
000024c2: NOT
000024c3: PUSH1 0x1f
000024c5: DUP3
000024c6: ADD
000024c7: AND
000024c8: DUP3
000024c9: ADD
000024ca: DUP1
000024cb: PUSH1 0x40
000024cd: MSTORE
000024ce: POP
000024cf: DUP2
000024d0: ADD
000024d1: SWAP1
000024d2: PUSH2 0x24db
000024d5: SWAP2
000024d6: SWAP1
000024d7: PUSH2 0x2db2
000024da: JUMP
000024db: JUMPDEST
000024dc: PUSH1 0x01
000024de: PUSH1 0x01
000024e0: PUSH1 0xa0
000024e2: SHL
000024e3: SUB
000024e4: AND
000024e5: SUB
000024e6: PUSH2 0x2615
000024e9: JUMPI
000024ea: PUSH2 0x24f2
000024ed: DUP4
000024ee: PUSH2 0x2400
000024f1: JUMP
000024f2: JUMPDEST
000024f3: SWAP1
000024f4: POP
000024f5: PUSH1 0x00
000024f7: PUSH1 0x01
000024f9: PUSH1 0x00
000024fb: SWAP1
000024fc: SLOAD
000024fd: SWAP1
000024fe: PUSH2 0x0100
00002501: EXP
00002502: SWAP1
00002503: DIV
00002504: PUSH1 0x01
00002506: PUSH1 0x01
00002508: PUSH1 0xa0
0000250a: SHL
0000250b: SUB
0000250c: AND
0000250d: PUSH1 0x01
0000250f: PUSH1 0x01
00002511: PUSH1 0xa0
00002513: SHL
00002514: SUB
00002515: AND
00002516: PUSH4 0x18a7cca8
0000251b: PUSH1 0x40
0000251d: MLOAD
0000251e: DUP2
0000251f: PUSH4 0xffffffff
00002524: AND
00002525: PUSH1 0xe0
00002527: SHL
00002528: DUP2
00002529: MSTORE
0000252a: PUSH1 0x04
0000252c: ADD
0000252d: PUSH1 0x20
0000252f: PUSH1 0x40
00002531: MLOAD
00002532: DUP1
00002533: DUP4
00002534: SUB
00002535: DUP2
00002536: DUP7
00002537: GAS
00002538: STATICCALL
00002539: ISZERO
0000253a: DUP1
0000253b: ISZERO
0000253c: PUSH2 0x2549
0000253f: JUMPI
00002540: RETURNDATASIZE
00002541: PUSH1 0x00
00002543: DUP1
00002544: RETURNDATACOPY
00002545: RETURNDATASIZE
00002546: PUSH1 0x00
00002548: REVERT
00002549: JUMPDEST
0000254a: POP
0000254b: POP
0000254c: POP
0000254d: POP
0000254e: PUSH1 0x40
00002550: MLOAD
00002551: RETURNDATASIZE
00002552: PUSH1 0x1f
00002554: NOT
00002555: PUSH1 0x1f
00002557: DUP3
00002558: ADD
00002559: AND
0000255a: DUP3
0000255b: ADD
0000255c: DUP1
0000255d: PUSH1 0x40
0000255f: MSTORE
00002560: POP
00002561: DUP2
00002562: ADD
00002563: SWAP1
00002564: PUSH2 0x256d
00002567: SWAP2
00002568: SWAP1
00002569: PUSH2 0x2db2
0000256c: JUMP
0000256d: JUMPDEST
0000256e: SWAP1
0000256f: POP
00002570: PUSH1 0x00
00002572: DUP2
00002573: PUSH1 0x01
00002575: PUSH1 0x01
00002577: PUSH1 0xa0
00002579: SHL
0000257a: SUB
0000257b: AND
0000257c: DUP4
0000257d: PUSH1 0x40
0000257f: MLOAD
00002580: PUSH1 0x00
00002582: PUSH1 0x40
00002584: MLOAD
00002585: DUP1
00002586: DUP4
00002587: SUB
00002588: DUP2
00002589: DUP6
0000258a: DUP8
0000258b: GAS
0000258c: CALL
0000258d: SWAP3
0000258e: POP
0000258f: POP
00002590: POP
00002591: RETURNDATASIZE
00002592: DUP1
00002593: PUSH1 0x00
00002595: DUP2
00002596: EQ
00002597: PUSH2 0x25bc
0000259a: JUMPI
0000259b: PUSH1 0x40
0000259d: MLOAD
0000259e: SWAP2
0000259f: POP
000025a0: PUSH1 0x1f
000025a2: NOT
000025a3: PUSH1 0x3f
000025a5: RETURNDATASIZE
000025a6: ADD
000025a7: AND
000025a8: DUP3
000025a9: ADD
000025aa: PUSH1 0x40
000025ac: MSTORE
000025ad: RETURNDATASIZE
000025ae: DUP3
000025af: MSTORE
000025b0: RETURNDATASIZE
000025b1: PUSH1 0x00
000025b3: PUSH1 0x20
000025b5: DUP5
000025b6: ADD
000025b7: RETURNDATACOPY
000025b8: PUSH2 0x25c1
000025bb: JUMP
000025bc: JUMPDEST
000025bd: PUSH1 0x60
000025bf: SWAP2
000025c0: POP
000025c1: JUMPDEST
000025c2: POP
000025c3: POP
000025c4: SWAP1
000025c5: POP
000025c6: DUP1
000025c7: PUSH2 0x2612
000025ca: JUMPI
000025cb: PUSH1 0x40
000025cd: MLOAD
000025ce: PUSH3 0x461bcd
000025d2: PUSH1 0xe5
000025d4: SHL
000025d5: DUP2
000025d6: MSTORE
000025d7: PUSH1 0x20
000025d9: PUSH1 0x04
000025db: DUP3
000025dc: ADD
000025dd: MSTORE
000025de: PUSH1 0x1a
000025e0: PUSH1 0x24
000025e2: DUP3
000025e3: ADD
000025e4: MSTORE
000025e5: PUSH32 0x4641494c45445f544f5f53454e445f52454c415945525f464545000000000000
00002606: PUSH1 0x44
00002608: DUP3
00002609: ADD
0000260a: MSTORE
0000260b: PUSH1 0x64
0000260d: ADD
0000260e: PUSH2 0x064e
00002611: JUMP
00002612: JUMPDEST
00002613: POP
00002614: POP
00002615: JUMPDEST
00002616: PUSH1 0x00
00002618: DUP1
00002619: PUSH1 0x01
0000261b: PUSH1 0x01
0000261d: PUSH1 0xa0
0000261f: SHL
00002620: SUB
00002621: DUP5
00002622: AND
00002623: PUSH2 0x262c
00002626: DUP5
00002627: DUP8
00002628: PUSH2 0x2dcf
0000262b: JUMP
0000262c: JUMPDEST
0000262d: PUSH1 0x40
0000262f: MLOAD
00002630: PUSH1 0x00
00002632: DUP2
00002633: DUP2
00002634: DUP2
00002635: DUP6
00002636: DUP8
00002637: GAS
00002638: CALL
00002639: SWAP3
0000263a: POP
0000263b: POP
0000263c: POP
0000263d: RETURNDATASIZE
0000263e: DUP1
0000263f: PUSH1 0x00
00002641: DUP2
00002642: EQ
00002643: PUSH2 0x2668
00002646: JUMPI
00002647: PUSH1 0x40
00002649: MLOAD
0000264a: SWAP2
0000264b: POP
0000264c: PUSH1 0x1f
0000264e: NOT
0000264f: PUSH1 0x3f
00002651: RETURNDATASIZE
00002652: ADD
00002653: AND
00002654: DUP3
00002655: ADD
00002656: PUSH1 0x40
00002658: MSTORE
00002659: RETURNDATASIZE
0000265a: DUP3
0000265b: MSTORE
0000265c: RETURNDATASIZE
0000265d: PUSH1 0x00
0000265f: PUSH1 0x20
00002661: DUP5
00002662: ADD
00002663: RETURNDATACOPY
00002664: PUSH2 0x266d
00002667: JUMP
00002668: JUMPDEST
00002669: PUSH1 0x60
0000266b: SWAP2
0000266c: POP
0000266d: JUMPDEST
0000266e: POP
0000266f: SWAP2
00002670: POP
00002671: SWAP2
00002672: POP
00002673: DUP2
00002674: PUSH2 0x26bf
00002677: JUMPI
00002678: PUSH1 0x40
0000267a: MLOAD
0000267b: PUSH3 0x461bcd
0000267f: PUSH1 0xe5
00002681: SHL
00002682: DUP2
00002683: MSTORE
00002684: PUSH1 0x20
00002686: PUSH1 0x04
00002688: DUP3
00002689: ADD
0000268a: MSTORE
0000268b: PUSH1 0x14
0000268d: PUSH1 0x24
0000268f: DUP3
00002690: ADD
00002691: MSTORE
00002692: PUSH32 0x4641494c45445f544f5f53454e445f46554e4453000000000000000000000000
000026b3: PUSH1 0x44
000026b5: DUP3
000026b6: ADD
000026b7: MSTORE
000026b8: PUSH1 0x64
000026ba: ADD
000026bb: PUSH2 0x064e
000026be: JUMP
000026bf: JUMPDEST
000026c0: POP
000026c1: POP
000026c2: SWAP3
000026c3: SWAP2
000026c4: POP
000026c5: POP
000026c6: JUMP
000026c7: JUMPDEST
000026c8: PUSH1 0x00
000026ca: PUSH2 0x26d1
000026cd: PUSH2 0x2846
000026d0: JUMP
000026d1: JUMPDEST
000026d2: PUSH1 0x00
000026d4: DUP5
000026d5: DUP2
000026d6: MSTORE
000026d7: PUSH1 0x05
000026d9: PUSH1 0x20
000026db: SWAP1
000026dc: DUP2
000026dd: MSTORE
000026de: PUSH1 0x40
000026e0: DUP1
000026e1: DUP4
000026e2: KECCAK256
000026e3: DUP7
000026e4: DUP5
000026e5: MSTORE
000026e6: SWAP1
000026e7: SWAP2
000026e8: MSTORE
000026e9: DUP2
000026ea: KECCAK256
000026eb: DUP6
000026ec: SWAP2
000026ed: JUMPDEST
000026ee: PUSH1 0x02
000026f0: DUP2
000026f1: PUSH1 0xff
000026f3: AND
000026f4: LT
000026f5: ISZERO
000026f6: PUSH2 0x275a
000026f9: JUMPI
000026fa: PUSH1 0xff
000026fc: DUP2
000026fd: AND
000026fe: PUSH1 0x00
00002700: SWAP1
00002701: DUP2
00002702: MSTORE
00002703: PUSH1 0x02
00002705: DUP4
00002706: DUP2
00002707: ADD
00002708: PUSH1 0x20
0000270a: MSTORE
0000270b: PUSH1 0x40
0000270d: SWAP2
0000270e: DUP3
0000270f: SWAP1
00002710: KECCAK256
00002711: DUP3
00002712: MLOAD
00002713: DUP1
00002714: DUP5
00002715: ADD
00002716: SWAP4
00002717: DUP5
00002718: SWAP1
00002719: MSTORE
0000271a: SWAP3
0000271b: SWAP1
0000271c: SWAP2
0000271d: SWAP1
0000271e: DUP3
0000271f: DUP5
00002720: JUMPDEST
00002721: DUP2
00002722: SLOAD
00002723: DUP2
00002724: MSTORE
00002725: PUSH1 0x20
00002727: ADD
00002728: SWAP1
00002729: PUSH1 0x01
0000272b: ADD
0000272c: SWAP1
0000272d: DUP1
0000272e: DUP4
0000272f: GT
00002730: PUSH2 0x2720
00002733: JUMPI
00002734: POP
00002735: POP
00002736: POP
00002737: POP
00002738: POP
00002739: DUP5
0000273a: DUP3
0000273b: PUSH1 0xff
0000273d: AND
0000273e: PUSH1 0x02
00002740: DUP2
00002741: LT
00002742: PUSH2 0x274d
00002745: JUMPI
00002746: PUSH2 0x274d
00002749: PUSH2 0x2e04
0000274c: JUMP
0000274d: JUMPDEST
0000274e: PUSH1 0x20
00002750: MUL
00002751: ADD
00002752: MSTORE
00002753: PUSH1 0x01
00002755: ADD
00002756: PUSH2 0x26ed
00002759: JUMP
0000275a: JUMPDEST
0000275b: POP
0000275c: PUSH1 0x00
0000275e: DUP1
0000275f: PUSH2 0x276b
00002762: DUP4
00002763: PUSH1 0x01
00002765: ADD
00002766: SLOAD
00002767: PUSH2 0x0c84
0000276a: JUMP
0000276b: JUMPDEST
0000276c: SWAP3
0000276d: POP
0000276e: POP
0000276f: SWAP2
00002770: POP
00002771: PUSH1 0x00
00002773: PUSH1 0x01
00002775: NUMBER
00002776: PUSH2 0x277f
00002779: SWAP2
0000277a: SWAP1
0000277b: PUSH2 0x2dcf
0000277e: JUMP
0000277f: JUMPDEST
00002780: DUP5
00002781: SLOAD
00002782: PUSH1 0x40
00002784: MLOAD
00002785: PUSH2 0x2798
00002788: SWAP3
00002789: BLOCKHASH
0000278a: SWAP2
0000278b: DUP6
0000278c: SWAP2
0000278d: DUP8
0000278e: SWAP1
0000278f: DUP12
00002790: SWAP1
00002791: PUSH1 0x20
00002793: ADD
00002794: PUSH2 0x307c
00002797: JUMP
00002798: JUMPDEST
00002799: PUSH1 0x40
0000279b: DUP1
0000279c: MLOAD
0000279d: DUP1
0000279e: DUP4
0000279f: SUB
000027a0: PUSH1 0x1f
000027a2: NOT
000027a3: ADD
000027a4: DUP2
000027a5: MSTORE
000027a6: SWAP2
000027a7: SWAP1
000027a8: MSTORE
000027a9: DUP1
000027aa: MLOAD
000027ab: PUSH1 0x20
000027ad: SWAP1
000027ae: SWAP2
000027af: ADD
000027b0: KECCAK256
000027b1: SWAP10
000027b2: SWAP9
000027b3: POP
000027b4: POP
000027b5: POP
000027b6: POP
000027b7: POP
000027b8: POP
000027b9: POP
000027ba: POP
000027bb: POP
000027bc: JUMP
000027bd: JUMPDEST
000027be: PUSH1 0x40
000027c0: MLOAD
000027c1: DUP1
000027c2: PUSH1 0x40
000027c4: ADD
000027c5: PUSH1 0x40
000027c7: MSTORE
000027c8: DUP1
000027c9: PUSH1 0x02
000027cb: SWAP1
000027cc: JUMPDEST
000027cd: PUSH2 0x27d4
000027d0: PUSH2 0x27ea
000027d3: JUMP
000027d4: JUMPDEST
000027d5: DUP2
000027d6: MSTORE
000027d7: PUSH1 0x20
000027d9: ADD
000027da: SWAP1
000027db: PUSH1 0x01
000027dd: SWAP1
000027de: SUB
000027df: SWAP1
000027e0: DUP2
000027e1: PUSH2 0x27cc
000027e4: JUMPI
000027e5: SWAP1
000027e6: POP
000027e7: POP
000027e8: SWAP1
000027e9: JUMP
000027ea: JUMPDEST
000027eb: PUSH1 0x40
000027ed: MLOAD
000027ee: DUP1
000027ef: PUSH1 0x40
000027f1: ADD
000027f2: PUSH1 0x40
000027f4: MSTORE
000027f5: DUP1
000027f6: PUSH1 0x02
000027f8: SWAP1
000027f9: PUSH1 0x20
000027fb: DUP3
000027fc: MUL
000027fd: DUP1
000027fe: CALLDATASIZE
000027ff: DUP4
00002800: CALLDATACOPY
00002801: POP
00002802: SWAP2
00002803: SWAP3
00002804: SWAP2
00002805: POP
00002806: POP
00002807: JUMP
00002808: JUMPDEST
00002809: DUP3
0000280a: PUSH1 0x02
0000280c: DUP2
0000280d: ADD
0000280e: SWAP3
0000280f: DUP3
00002810: ISZERO
00002811: PUSH2 0x2836
00002814: JUMPI
00002815: SWAP2
00002816: PUSH1 0x20
00002818: MUL
00002819: DUP3
0000281a: ADD
0000281b: JUMPDEST
0000281c: DUP3
0000281d: DUP2
0000281e: GT
0000281f: ISZERO
00002820: PUSH2 0x2836
00002823: JUMPI
00002824: DUP3
00002825: MLOAD
00002826: DUP3
00002827: SSTORE
00002828: SWAP2
00002829: PUSH1 0x20
0000282b: ADD
0000282c: SWAP2
0000282d: SWAP1
0000282e: PUSH1 0x01
00002830: ADD
00002831: SWAP1
00002832: PUSH2 0x281b
00002835: JUMP
00002836: JUMPDEST
00002837: POP
00002838: PUSH2 0x2842
0000283b: SWAP3
0000283c: SWAP2
0000283d: POP
0000283e: PUSH2 0x2873
00002841: JUMP
00002842: JUMPDEST
00002843: POP
00002844: SWAP1
00002845: JUMP
00002846: JUMPDEST
00002847: PUSH1 0x40
00002849: MLOAD
0000284a: DUP1
0000284b: PUSH1 0x40
0000284d: ADD
0000284e: PUSH1 0x40
00002850: MSTORE
00002851: DUP1
00002852: PUSH1 0x02
00002854: SWAP1
00002855: JUMPDEST
00002856: PUSH2 0x285d
00002859: PUSH2 0x27ea
0000285c: JUMP
0000285d: JUMPDEST
0000285e: DUP2
0000285f: MSTORE
00002860: PUSH1 0x20
00002862: ADD
00002863: SWAP1
00002864: PUSH1 0x01
00002866: SWAP1
00002867: SUB
00002868: SWAP1
00002869: DUP2
0000286a: PUSH2 0x2855
0000286d: JUMPI
0000286e: SWAP1
0000286f: POP
00002870: POP
00002871: SWAP1
00002872: JUMP
00002873: JUMPDEST
00002874: JUMPDEST
00002875: DUP1
00002876: DUP3
00002877: GT
00002878: ISZERO
00002879: PUSH2 0x2842
0000287c: JUMPI
0000287d: PUSH1 0x00
0000287f: DUP2
00002880: SSTORE
00002881: PUSH1 0x01
00002883: ADD
00002884: PUSH2 0x2874
00002887: JUMP
00002888: JUMPDEST
00002889: PUSH1 0x00
0000288b: PUSH1 0x20
0000288d: DUP3
0000288e: DUP5
0000288f: SUB
00002890: SLT
00002891: ISZERO
00002892: PUSH2 0x289a
00002895: JUMPI
00002896: PUSH1 0x00
00002898: DUP1
00002899: REVERT
0000289a: JUMPDEST
0000289b: POP
0000289c: CALLDATALOAD
0000289d: SWAP2
0000289e: SWAP1
0000289f: POP
000028a0: JUMP
000028a1: JUMPDEST
000028a2: PUSH1 0x01
000028a4: PUSH1 0x01
000028a6: PUSH1 0xa0
000028a8: SHL
000028a9: SUB
000028aa: DUP2
000028ab: AND
000028ac: DUP2
000028ad: EQ
000028ae: PUSH2 0x28b6
000028b1: JUMPI
000028b2: PUSH1 0x00
000028b4: DUP1
000028b5: REVERT
000028b6: JUMPDEST
000028b7: POP
000028b8: JUMP
000028b9: JUMPDEST
000028ba: DUP1
000028bb: CALLDATALOAD
000028bc: PUSH2 0x28c4
000028bf: DUP2
000028c0: PUSH2 0x28a1
000028c3: JUMP
000028c4: JUMPDEST
000028c5: SWAP2
000028c6: SWAP1
000028c7: POP
000028c8: JUMP
000028c9: JUMPDEST
000028ca: PUSH1 0x00
000028cc: PUSH1 0x20
000028ce: DUP3
000028cf: DUP5
000028d0: SUB
000028d1: SLT
000028d2: ISZERO
000028d3: PUSH2 0x28db
000028d6: JUMPI
000028d7: PUSH1 0x00
000028d9: DUP1
000028da: REVERT
000028db: JUMPDEST
000028dc: DUP2
000028dd: CALLDATALOAD
000028de: PUSH2 0x28e6
000028e1: DUP2
000028e2: PUSH2 0x28a1
000028e5: JUMP
000028e6: JUMPDEST
000028e7: SWAP4
000028e8: SWAP3
000028e9: POP
000028ea: POP
000028eb: POP
000028ec: JUMP
000028ed: JUMPDEST
000028ee: PUSH1 0x00
000028f0: DUP1
000028f1: PUSH1 0x00
000028f3: PUSH1 0x60
000028f5: DUP5
000028f6: DUP7
000028f7: SUB
000028f8: SLT
000028f9: ISZERO
000028fa: PUSH2 0x2902
000028fd: JUMPI
000028fe: PUSH1 0x00
00002900: DUP1
00002901: REVERT
00002902: JUMPDEST
00002903: DUP4
00002904: CALLDATALOAD
00002905: SWAP3
00002906: POP
00002907: PUSH1 0x20
00002909: DUP5
0000290a: ADD
0000290b: CALLDATALOAD
0000290c: PUSH2 0x2914
0000290f: DUP2
00002910: PUSH2 0x28a1
00002913: JUMP
00002914: JUMPDEST
00002915: SWAP2
00002916: POP
00002917: PUSH1 0x40
00002919: DUP5
0000291a: ADD
0000291b: CALLDATALOAD
0000291c: PUSH2 0x2924
0000291f: DUP2
00002920: PUSH2 0x28a1
00002923: JUMP
00002924: JUMPDEST
00002925: DUP1
00002926: SWAP2
00002927: POP
00002928: POP
00002929: SWAP3
0000292a: POP
0000292b: SWAP3
0000292c: POP
0000292d: SWAP3
0000292e: JUMP
0000292f: JUMPDEST
00002930: PUSH1 0x00
00002932: DUP1
00002933: PUSH1 0x40
00002935: DUP4
00002936: DUP6
00002937: SUB
00002938: SLT
00002939: ISZERO
0000293a: PUSH2 0x2942
0000293d: JUMPI
0000293e: PUSH1 0x00
00002940: DUP1
00002941: REVERT
00002942: JUMPDEST
00002943: DUP3
00002944: CALLDATALOAD
00002945: SWAP2
00002946: POP
00002947: PUSH1 0x20
00002949: DUP4
0000294a: ADD
0000294b: CALLDATALOAD
0000294c: PUSH2 0x2954
0000294f: DUP2
00002950: PUSH2 0x28a1
00002953: JUMP
00002954: JUMPDEST
00002955: DUP1
00002956: SWAP2
00002957: POP
00002958: POP
00002959: SWAP3
0000295a: POP
0000295b: SWAP3
0000295c: SWAP1
0000295d: POP
0000295e: JUMP
0000295f: JUMPDEST
00002960: PUSH1 0x00
00002962: DUP1
00002963: PUSH1 0x40
00002965: DUP4
00002966: DUP6
00002967: SUB
00002968: SLT
00002969: ISZERO
0000296a: PUSH2 0x2972
0000296d: JUMPI
0000296e: PUSH1 0x00
00002970: DUP1
00002971: REVERT
00002972: JUMPDEST
00002973: POP
00002974: POP
00002975: DUP1
00002976: CALLDATALOAD
00002977: SWAP3
00002978: PUSH1 0x20
0000297a: SWAP1
0000297b: SWAP2
0000297c: ADD
0000297d: CALLDATALOAD
0000297e: SWAP2
0000297f: POP
00002980: JUMP
00002981: JUMPDEST
00002982: PUSH1 0x80
00002984: DUP2
00002985: ADD
00002986: DUP2
00002987: DUP4
00002988: PUSH1 0x00
0000298a: DUP1
0000298b: JUMPDEST
0000298c: PUSH1 0x02
0000298e: DUP1
0000298f: DUP3
00002990: LT
00002991: PUSH2 0x299a
00002994: JUMPI
00002995: POP
00002996: PUSH2 0x29d7
00002999: JUMP
0000299a: JUMPDEST
0000299b: DUP4
0000299c: MLOAD
0000299d: DUP6
0000299e: DUP5
0000299f: JUMPDEST
000029a0: DUP4
000029a1: DUP2
000029a2: LT
000029a3: ISZERO
000029a4: PUSH2 0x29bd
000029a7: JUMPI
000029a8: DUP3
000029a9: MLOAD
000029aa: DUP3
000029ab: MSTORE
000029ac: PUSH1 0x20
000029ae: SWAP3
000029af: DUP4
000029b0: ADD
000029b1: SWAP3
000029b2: SWAP1
000029b3: SWAP2
000029b4: ADD
000029b5: SWAP1
000029b6: PUSH1 0x01
000029b8: ADD
000029b9: PUSH2 0x299f
000029bc: JUMP
000029bd: JUMPDEST
000029be: POP
000029bf: POP
000029c0: POP
000029c1: PUSH1 0x40
000029c3: SWAP5
000029c4: SWAP1
000029c5: SWAP5
000029c6: ADD
000029c7: SWAP4
000029c8: POP
000029c9: PUSH1 0x20
000029cb: SWAP3
000029cc: SWAP1
000029cd: SWAP3
000029ce: ADD
000029cf: SWAP2
000029d0: PUSH1 0x01
000029d2: ADD
000029d3: PUSH2 0x298b
000029d6: JUMP
000029d7: JUMPDEST
000029d8: POP
000029d9: POP
000029da: POP
000029db: POP
000029dc: SWAP3
000029dd: SWAP2
000029de: POP
000029df: POP
000029e0: JUMP
000029e1: JUMPDEST
000029e2: PUSH4 0x4e487b71
000029e7: PUSH1 0xe0
000029e9: SHL
000029ea: PUSH1 0x00
000029ec: MSTORE
000029ed: PUSH1 0x41
000029ef: PUSH1 0x04
000029f1: MSTORE
000029f2: PUSH1 0x24
000029f4: PUSH1 0x00
000029f6: REVERT
000029f7: JUMPDEST
000029f8: PUSH1 0x40
000029fa: MLOAD
000029fb: PUSH1 0xe0
000029fd: DUP2
000029fe: ADD
000029ff: PUSH8 0xffffffffffffffff
00002a08: DUP2
00002a09: GT
00002a0a: DUP3
00002a0b: DUP3
00002a0c: LT
00002a0d: OR
00002a0e: ISZERO
00002a0f: PUSH2 0x2a1a
00002a12: JUMPI
00002a13: PUSH2 0x2a1a
00002a16: PUSH2 0x29e1
00002a19: JUMP
00002a1a: JUMPDEST
00002a1b: PUSH1 0x40
00002a1d: MSTORE
00002a1e: SWAP1
00002a1f: JUMP
00002a20: JUMPDEST
00002a21: PUSH1 0x40
00002a23: MLOAD
00002a24: PUSH1 0x1f
00002a26: DUP3
00002a27: ADD
00002a28: PUSH1 0x1f
00002a2a: NOT
00002a2b: AND
00002a2c: DUP2
00002a2d: ADD
00002a2e: PUSH8 0xffffffffffffffff
00002a37: DUP2
00002a38: GT
00002a39: DUP3
00002a3a: DUP3
00002a3b: LT
00002a3c: OR
00002a3d: ISZERO
00002a3e: PUSH2 0x2a49
00002a41: JUMPI
00002a42: PUSH2 0x2a49
00002a45: PUSH2 0x29e1
00002a48: JUMP
00002a49: JUMPDEST
00002a4a: PUSH1 0x40
00002a4c: MSTORE
00002a4d: SWAP2
00002a4e: SWAP1
00002a4f: POP
00002a50: JUMP
00002a51: JUMPDEST
00002a52: PUSH1 0x00
00002a54: DUP3
00002a55: PUSH1 0x1f
00002a57: DUP4
00002a58: ADD
00002a59: SLT
00002a5a: PUSH2 0x2a62
00002a5d: JUMPI
00002a5e: PUSH1 0x00
00002a60: DUP1
00002a61: REVERT
00002a62: JUMPDEST
00002a63: PUSH1 0x40
00002a65: MLOAD
00002a66: PUSH1 0x40
00002a68: DUP2
00002a69: ADD
00002a6a: DUP2
00002a6b: DUP2
00002a6c: LT
00002a6d: PUSH8 0xffffffffffffffff
00002a76: DUP3
00002a77: GT
00002a78: OR
00002a79: ISZERO
00002a7a: PUSH2 0x2a85
00002a7d: JUMPI
00002a7e: PUSH2 0x2a85
00002a81: PUSH2 0x29e1
00002a84: JUMP
00002a85: JUMPDEST
00002a86: DUP1
00002a87: PUSH1 0x40
00002a89: MSTORE
00002a8a: POP
00002a8b: DUP1
00002a8c: PUSH1 0x40
00002a8e: DUP5
00002a8f: ADD
00002a90: DUP6
00002a91: DUP2
00002a92: GT
00002a93: ISZERO
00002a94: PUSH2 0x2a9c
00002a97: JUMPI
00002a98: PUSH1 0x00
00002a9a: DUP1
00002a9b: REVERT
00002a9c: JUMPDEST
00002a9d: DUP5
00002a9e: JUMPDEST
00002a9f: DUP2
00002aa0: DUP2
00002aa1: LT
00002aa2: ISZERO
00002aa3: PUSH2 0x2ab6
00002aa6: JUMPI
00002aa7: DUP1
00002aa8: CALLDATALOAD
00002aa9: DUP4
00002aaa: MSTORE
00002aab: PUSH1 0x20
00002aad: SWAP3
00002aae: DUP4
00002aaf: ADD
00002ab0: SWAP3
00002ab1: ADD
00002ab2: PUSH2 0x2a9e
00002ab5: JUMP
00002ab6: JUMPDEST
00002ab7: POP
00002ab8: SWAP2
00002ab9: SWAP6
00002aba: SWAP5
00002abb: POP
00002abc: POP
00002abd: POP
00002abe: POP
00002abf: POP
00002ac0: JUMP
00002ac1: JUMPDEST
00002ac2: PUSH1 0x00
00002ac4: PUSH8 0xffffffffffffffff
00002acd: DUP3
00002ace: GT
00002acf: ISZERO
00002ad0: PUSH2 0x2adb
00002ad3: JUMPI
00002ad4: PUSH2 0x2adb
00002ad7: PUSH2 0x29e1
00002ada: JUMP
00002adb: JUMPDEST
00002adc: POP
00002add: PUSH1 0x05
00002adf: SHL
00002ae0: PUSH1 0x20
00002ae2: ADD
00002ae3: SWAP1
00002ae4: JUMP
00002ae5: JUMPDEST
00002ae6: PUSH1 0x00
00002ae8: DUP3
00002ae9: PUSH1 0x1f
00002aeb: DUP4
00002aec: ADD
00002aed: SLT
00002aee: PUSH2 0x2af6
00002af1: JUMPI
00002af2: PUSH1 0x00
00002af4: DUP1
00002af5: REVERT
00002af6: JUMPDEST
00002af7: DUP2
00002af8: CALLDATALOAD
00002af9: PUSH1 0x20
00002afb: PUSH2 0x2b0b
00002afe: PUSH2 0x2b06
00002b01: DUP4
00002b02: PUSH2 0x2ac1
00002b05: JUMP
00002b06: JUMPDEST
00002b07: PUSH2 0x2a20
00002b0a: JUMP
00002b0b: JUMPDEST
00002b0c: DUP3
00002b0d: DUP2
00002b0e: MSTORE
00002b0f: PUSH1 0x05
00002b11: SWAP3
00002b12: SWAP1
00002b13: SWAP3
00002b14: SHL
00002b15: DUP5
00002b16: ADD
00002b17: DUP2
00002b18: ADD
00002b19: SWAP2
00002b1a: DUP2
00002b1b: DUP2
00002b1c: ADD
00002b1d: SWAP1
00002b1e: DUP7
00002b1f: DUP5
00002b20: GT
00002b21: ISZERO
00002b22: PUSH2 0x2b2a
00002b25: JUMPI
00002b26: PUSH1 0x00
00002b28: DUP1
00002b29: REVERT
00002b2a: JUMPDEST
00002b2b: DUP3
00002b2c: DUP7
00002b2d: ADD
00002b2e: JUMPDEST
00002b2f: DUP5
00002b30: DUP2
00002b31: LT
00002b32: ISZERO
00002b33: PUSH2 0x2b45
00002b36: JUMPI
00002b37: DUP1
00002b38: CALLDATALOAD
00002b39: DUP4
00002b3a: MSTORE
00002b3b: SWAP2
00002b3c: DUP4
00002b3d: ADD
00002b3e: SWAP2
00002b3f: DUP4
00002b40: ADD
00002b41: PUSH2 0x2b2e
00002b44: JUMP
00002b45: JUMPDEST
00002b46: POP
00002b47: SWAP7
00002b48: SWAP6
00002b49: POP
00002b4a: POP
00002b4b: POP
00002b4c: POP
00002b4d: POP
00002b4e: POP
00002b4f: JUMP
00002b50: JUMPDEST
00002b51: DUP1
00002b52: CALLDATALOAD
00002b53: PUSH1 0x02
00002b55: DUP2
00002b56: LT
00002b57: PUSH2 0x28c4
00002b5a: JUMPI
00002b5b: PUSH1 0x00
00002b5d: DUP1
00002b5e: REVERT
00002b5f: JUMPDEST
00002b60: PUSH1 0x00
00002b62: PUSH2 0x0100
00002b65: DUP3
00002b66: DUP5
00002b67: SUB
00002b68: SLT
00002b69: ISZERO
00002b6a: PUSH2 0x2b72
00002b6d: JUMPI
00002b6e: PUSH1 0x00
00002b70: DUP1
00002b71: REVERT
00002b72: JUMPDEST
00002b73: PUSH2 0x2b7a
00002b76: PUSH2 0x29f7
00002b79: JUMP
00002b7a: JUMPDEST
00002b7b: SWAP1
00002b7c: POP
00002b7d: DUP2
00002b7e: CALLDATALOAD
00002b7f: DUP2
00002b80: MSTORE
00002b81: PUSH1 0x20
00002b83: DUP3
00002b84: ADD
00002b85: CALLDATALOAD
00002b86: PUSH1 0x20
00002b88: DUP3
00002b89: ADD
00002b8a: MSTORE
00002b8b: PUSH1 0x40
00002b8d: DUP3
00002b8e: ADD
00002b8f: CALLDATALOAD
00002b90: PUSH1 0x40
00002b92: DUP3
00002b93: ADD
00002b94: MSTORE
00002b95: PUSH2 0x2ba1
00002b98: DUP4
00002b99: PUSH1 0x60
00002b9b: DUP5
00002b9c: ADD
00002b9d: PUSH2 0x2a51
00002ba0: JUMP
00002ba1: JUMPDEST
00002ba2: PUSH1 0x60
00002ba4: DUP3
00002ba5: ADD
00002ba6: MSTORE
00002ba7: PUSH1 0xa0
00002ba9: DUP3
00002baa: ADD
00002bab: CALLDATALOAD
00002bac: PUSH8 0xffffffffffffffff
00002bb5: DUP2
00002bb6: GT
00002bb7: ISZERO
00002bb8: PUSH2 0x2bc0
00002bbb: JUMPI
00002bbc: PUSH1 0x00
00002bbe: DUP1
00002bbf: REVERT
00002bc0: JUMPDEST
00002bc1: PUSH2 0x2bcc
00002bc4: DUP5
00002bc5: DUP3
00002bc6: DUP6
00002bc7: ADD
00002bc8: PUSH2 0x2ae5
00002bcb: JUMP
00002bcc: JUMPDEST
00002bcd: PUSH1 0x80
00002bcf: DUP4
00002bd0: ADD
00002bd1: MSTORE
00002bd2: POP
00002bd3: PUSH2 0x2bde
00002bd6: PUSH1 0xc0
00002bd8: DUP4
00002bd9: ADD
00002bda: PUSH2 0x28b9
00002bdd: JUMP
00002bde: JUMPDEST
00002bdf: PUSH1 0xa0
00002be1: DUP3
00002be2: ADD
00002be3: MSTORE
00002be4: PUSH2 0x2bef
00002be7: PUSH1 0xe0
00002be9: DUP4
00002bea: ADD
00002beb: PUSH2 0x2b50
00002bee: JUMP
00002bef: JUMPDEST
00002bf0: PUSH1 0xc0
00002bf2: DUP3
00002bf3: ADD
00002bf4: MSTORE
00002bf5: SWAP3
00002bf6: SWAP2
00002bf7: POP
00002bf8: POP
00002bf9: JUMP
00002bfa: JUMPDEST
00002bfb: PUSH1 0x00
00002bfd: DUP1
00002bfe: PUSH1 0x00
00002c00: DUP1
00002c01: PUSH1 0x00
00002c03: PUSH1 0xa0
00002c05: DUP7
00002c06: DUP9
00002c07: SUB
00002c08: SLT
00002c09: ISZERO
00002c0a: PUSH2 0x2c12
00002c0d: JUMPI
00002c0e: PUSH1 0x00
00002c10: DUP1
00002c11: REVERT
00002c12: JUMPDEST
00002c13: DUP6
00002c14: CALLDATALOAD
00002c15: PUSH2 0x2c1d
00002c18: DUP2
00002c19: PUSH2 0x28a1
00002c1c: JUMP
00002c1d: JUMPDEST
00002c1e: SWAP5
00002c1f: POP
00002c20: PUSH1 0x20
00002c22: DUP7
00002c23: ADD
00002c24: CALLDATALOAD
00002c25: SWAP4
00002c26: POP
00002c27: PUSH1 0x40
00002c29: DUP7
00002c2a: ADD
00002c2b: CALLDATALOAD
00002c2c: SWAP3
00002c2d: POP
00002c2e: PUSH1 0x60
00002c30: DUP7
00002c31: ADD
00002c32: CALLDATALOAD
00002c33: SWAP2
00002c34: POP
00002c35: PUSH1 0x80
00002c37: DUP7
00002c38: ADD
00002c39: CALLDATALOAD
00002c3a: PUSH8 0xffffffffffffffff
00002c43: DUP2
00002c44: GT
00002c45: ISZERO
00002c46: PUSH2 0x2c4e
00002c49: JUMPI
00002c4a: PUSH1 0x00
00002c4c: DUP1
00002c4d: REVERT
00002c4e: JUMPDEST
00002c4f: PUSH2 0x2c5a
00002c52: DUP9
00002c53: DUP3
00002c54: DUP10
00002c55: ADD
00002c56: PUSH2 0x2b5f
00002c59: JUMP
00002c5a: JUMPDEST
00002c5b: SWAP2
00002c5c: POP
00002c5d: POP
00002c5e: SWAP3
00002c5f: SWAP6
00002c60: POP
00002c61: SWAP3
00002c62: SWAP6
00002c63: SWAP1
00002c64: SWAP4
00002c65: POP
00002c66: JUMP
00002c67: JUMPDEST
00002c68: PUSH1 0x00
00002c6a: DUP1
00002c6b: PUSH1 0x00
00002c6d: PUSH1 0x60
00002c6f: DUP5
00002c70: DUP7
00002c71: SUB
00002c72: SLT
00002c73: ISZERO
00002c74: PUSH2 0x2c7c
00002c77: JUMPI
00002c78: PUSH1 0x00
00002c7a: DUP1
00002c7b: REVERT
00002c7c: JUMPDEST
00002c7d: DUP4
00002c7e: CALLDATALOAD
00002c7f: PUSH2 0x2c87
00002c82: DUP2
00002c83: PUSH2 0x28a1
00002c86: JUMP
00002c87: JUMPDEST
00002c88: SWAP3
00002c89: POP
00002c8a: PUSH1 0x20
00002c8c: DUP5
00002c8d: ADD
00002c8e: CALLDATALOAD
00002c8f: PUSH8 0xffffffffffffffff
00002c98: DUP2
00002c99: GT
00002c9a: ISZERO
00002c9b: PUSH2 0x2ca3
00002c9e: JUMPI
00002c9f: PUSH1 0x00
00002ca1: DUP1
00002ca2: REVERT
00002ca3: JUMPDEST
00002ca4: PUSH2 0x2caf
00002ca7: DUP7
00002ca8: DUP3
00002ca9: DUP8
00002caa: ADD
00002cab: PUSH2 0x2b5f
00002cae: JUMP
00002caf: JUMPDEST
00002cb0: SWAP3
00002cb1: POP
00002cb2: POP
00002cb3: PUSH1 0x40
00002cb5: DUP5
00002cb6: ADD
00002cb7: CALLDATALOAD
00002cb8: SWAP1
00002cb9: POP
00002cba: SWAP3
00002cbb: POP
00002cbc: SWAP3
00002cbd: POP
00002cbe: SWAP3
00002cbf: JUMP
00002cc0: JUMPDEST
00002cc1: PUSH1 0x00
00002cc3: DUP1
00002cc4: PUSH1 0xa0
00002cc6: DUP4
00002cc7: DUP6
00002cc8: SUB
00002cc9: SLT
00002cca: ISZERO
00002ccb: PUSH2 0x2cd3
00002cce: JUMPI
00002ccf: PUSH1 0x00
00002cd1: DUP1
00002cd2: REVERT
00002cd3: JUMPDEST
00002cd4: DUP3
00002cd5: CALLDATALOAD
00002cd6: SWAP2
00002cd7: POP
00002cd8: PUSH1 0x20
00002cda: DUP5
00002cdb: PUSH1 0x3f
00002cdd: DUP6
00002cde: ADD
00002cdf: SLT
00002ce0: PUSH2 0x2ce8
00002ce3: JUMPI
00002ce4: PUSH1 0x00
00002ce6: DUP1
00002ce7: REVERT
00002ce8: JUMPDEST
00002ce9: PUSH1 0x40
00002ceb: MLOAD
00002cec: PUSH1 0x80
00002cee: DUP2
00002cef: ADD
00002cf0: DUP2
00002cf1: DUP2
00002cf2: LT
00002cf3: PUSH8 0xffffffffffffffff
00002cfc: DUP3
00002cfd: GT
00002cfe: OR
00002cff: ISZERO
00002d00: PUSH2 0x2d0b
00002d03: JUMPI
00002d04: PUSH2 0x2d0b
00002d07: PUSH2 0x29e1
00002d0a: JUMP
00002d0b: JUMPDEST
00002d0c: PUSH1 0x40
00002d0e: MSTORE
00002d0f: DUP1
00002d10: PUSH1 0xa0
00002d12: DUP7
00002d13: ADD
00002d14: DUP8
00002d15: DUP2
00002d16: GT
00002d17: ISZERO
00002d18: PUSH2 0x2d20
00002d1b: JUMPI
00002d1c: PUSH1 0x00
00002d1e: DUP1
00002d1f: REVERT
00002d20: JUMPDEST
00002d21: DUP4
00002d22: DUP8
00002d23: ADD
00002d24: JUMPDEST
00002d25: DUP2
00002d26: DUP2
00002d27: LT
00002d28: ISZERO
00002d29: PUSH2 0x2d3b
00002d2c: JUMPI
00002d2d: DUP1
00002d2e: CALLDATALOAD
00002d2f: DUP4
00002d30: MSTORE
00002d31: SWAP2
00002d32: DUP5
00002d33: ADD
00002d34: SWAP2
00002d35: DUP5
00002d36: ADD
00002d37: PUSH2 0x2d24
00002d3a: JUMP
00002d3b: JUMPDEST
00002d3c: POP
00002d3d: POP
00002d3e: POP
00002d3f: DUP1
00002d40: SWAP3
00002d41: POP
00002d42: POP
00002d43: POP
00002d44: SWAP3
00002d45: POP
00002d46: SWAP3
00002d47: SWAP1
00002d48: POP
00002d49: JUMP
00002d4a: JUMPDEST
00002d4b: PUSH1 0x00
00002d4d: PUSH1 0x20
00002d4f: DUP3
00002d50: DUP5
00002d51: SUB
00002d52: SLT
00002d53: ISZERO
00002d54: PUSH2 0x2d5c
00002d57: JUMPI
00002d58: PUSH1 0x00
00002d5a: DUP1
00002d5b: REVERT
00002d5c: JUMPDEST
00002d5d: POP
00002d5e: MLOAD
00002d5f: SWAP2
00002d60: SWAP1
00002d61: POP
00002d62: JUMP
00002d63: JUMPDEST
00002d64: PUSH4 0x4e487b71
00002d69: PUSH1 0xe0
00002d6b: SHL
00002d6c: PUSH1 0x00
00002d6e: MSTORE
00002d6f: PUSH1 0x11
00002d71: PUSH1 0x04
00002d73: MSTORE
00002d74: PUSH1 0x24
00002d76: PUSH1 0x00
00002d78: REVERT
00002d79: JUMPDEST
00002d7a: DUP1
00002d7b: DUP3
00002d7c: MUL
00002d7d: DUP2
00002d7e: ISZERO
00002d7f: DUP3
00002d80: DUP3
00002d81: DIV
00002d82: DUP5
00002d83: EQ
00002d84: OR
00002d85: PUSH2 0x0587
00002d88: JUMPI
00002d89: PUSH2 0x0587
00002d8c: PUSH2 0x2d63
00002d8f: JUMP
00002d90: JUMPDEST
00002d91: PUSH1 0x00
00002d93: DUP3
00002d94: PUSH2 0x2dad
00002d97: JUMPI
00002d98: PUSH4 0x4e487b71
00002d9d: PUSH1 0xe0
00002d9f: SHL
00002da0: PUSH1 0x00
00002da2: MSTORE
00002da3: PUSH1 0x12
00002da5: PUSH1 0x04
00002da7: MSTORE
00002da8: PUSH1 0x24
00002daa: PUSH1 0x00
00002dac: REVERT
00002dad: JUMPDEST
00002dae: POP
00002daf: DIV
00002db0: SWAP1
00002db1: JUMP
00002db2: JUMPDEST
00002db3: PUSH1 0x00
00002db5: PUSH1 0x20
00002db7: DUP3
00002db8: DUP5
00002db9: SUB
00002dba: SLT
00002dbb: ISZERO
00002dbc: PUSH2 0x2dc4
00002dbf: JUMPI
00002dc0: PUSH1 0x00
00002dc2: DUP1
00002dc3: REVERT
00002dc4: JUMPDEST
00002dc5: DUP2
00002dc6: MLOAD
00002dc7: PUSH2 0x28e6
00002dca: DUP2
00002dcb: PUSH2 0x28a1
00002dce: JUMP
00002dcf: JUMPDEST
00002dd0: DUP2
00002dd1: DUP2
00002dd2: SUB
00002dd3: DUP2
00002dd4: DUP2
00002dd5: GT
00002dd6: ISZERO
00002dd7: PUSH2 0x0587
00002dda: JUMPI
00002ddb: PUSH2 0x0587
00002dde: PUSH2 0x2d63
00002de1: JUMP
00002de2: JUMPDEST
00002de3: PUSH1 0x00
00002de5: PUSH1 0x20
00002de7: DUP3
00002de8: DUP5
00002de9: SUB
00002dea: SLT
00002deb: ISZERO
00002dec: PUSH2 0x2df4
00002def: JUMPI
00002df0: PUSH1 0x00
00002df2: DUP1
00002df3: REVERT
00002df4: JUMPDEST
00002df5: DUP2
00002df6: MLOAD
00002df7: DUP1
00002df8: ISZERO
00002df9: ISZERO
00002dfa: DUP2
00002dfb: EQ
00002dfc: PUSH2 0x28e6
00002dff: JUMPI
00002e00: PUSH1 0x00
00002e02: DUP1
00002e03: REVERT
00002e04: JUMPDEST
00002e05: PUSH4 0x4e487b71
00002e0a: PUSH1 0xe0
00002e0c: SHL
00002e0d: PUSH1 0x00
00002e0f: MSTORE
00002e10: PUSH1 0x32
00002e12: PUSH1 0x04
00002e14: MSTORE
00002e15: PUSH1 0x24
00002e17: PUSH1 0x00
00002e19: REVERT
00002e1a: JUMPDEST
00002e1b: PUSH1 0x00
00002e1d: PUSH1 0x01
00002e1f: DUP3
00002e20: ADD
00002e21: PUSH2 0x2e2c
00002e24: JUMPI
00002e25: PUSH2 0x2e2c
00002e28: PUSH2 0x2d63
00002e2b: JUMP
00002e2c: JUMPDEST
00002e2d: POP
00002e2e: PUSH1 0x01
00002e30: ADD
00002e31: SWAP1
00002e32: JUMP
00002e33: JUMPDEST
00002e34: PUSH4 0x4e487b71
00002e39: PUSH1 0xe0
00002e3b: SHL
00002e3c: PUSH1 0x00
00002e3e: MSTORE
00002e3f: PUSH1 0x21
00002e41: PUSH1 0x04
00002e43: MSTORE
00002e44: PUSH1 0x24
00002e46: PUSH1 0x00
00002e48: REVERT
00002e49: JUMPDEST
00002e4a: PUSH1 0x00
00002e4c: PUSH1 0x80
00002e4e: DUP3
00002e4f: ADD
00002e50: DUP7
00002e51: DUP4
00002e52: MSTORE
00002e53: PUSH1 0x20
00002e55: PUSH1 0x80
00002e57: DUP2
00002e58: DUP6
00002e59: ADD
00002e5a: MSTORE
00002e5b: DUP2
00002e5c: DUP8
00002e5d: MLOAD
00002e5e: DUP1
00002e5f: DUP5
00002e60: MSTORE
00002e61: PUSH1 0xa0
00002e63: DUP7
00002e64: ADD
00002e65: SWAP2
00002e66: POP
00002e67: DUP3
00002e68: DUP10
00002e69: ADD
00002e6a: SWAP4
00002e6b: POP
00002e6c: PUSH1 0x00
00002e6e: JUMPDEST
00002e6f: DUP2
00002e70: DUP2
00002e71: LT
00002e72: ISZERO
00002e73: PUSH2 0x2e93
00002e76: JUMPI
00002e77: DUP5
00002e78: MLOAD
00002e79: PUSH1 0x01
00002e7b: PUSH1 0x01
00002e7d: PUSH1 0xa0
00002e7f: SHL
00002e80: SUB
00002e81: AND
00002e82: DUP4
00002e83: MSTORE
00002e84: SWAP4
00002e85: DUP4
00002e86: ADD
00002e87: SWAP4
00002e88: SWAP2
00002e89: DUP4
00002e8a: ADD
00002e8b: SWAP2
00002e8c: PUSH1 0x01
00002e8e: ADD
00002e8f: PUSH2 0x2e6e
00002e92: JUMP
00002e93: JUMPDEST
00002e94: POP
00002e95: POP
00002e96: PUSH1 0x01
00002e98: PUSH1 0x01
00002e9a: PUSH1 0xa0
00002e9c: SHL
00002e9d: SUB
00002e9e: SWAP7
00002e9f: SWAP1
00002ea0: SWAP7
00002ea1: AND
00002ea2: PUSH1 0x40
00002ea4: DUP6
00002ea5: ADD
00002ea6: MSTORE
00002ea7: POP
00002ea8: POP
00002ea9: POP
00002eaa: PUSH1 0x60
00002eac: ADD
00002ead: MSTORE
00002eae: SWAP3
00002eaf: SWAP2
00002eb0: POP
00002eb1: POP
00002eb2: JUMP
00002eb3: JUMPDEST
00002eb4: PUSH1 0x00
00002eb6: PUSH1 0x20
00002eb8: DUP1
00002eb9: DUP4
00002eba: DUP6
00002ebb: SUB
00002ebc: SLT
00002ebd: ISZERO
00002ebe: PUSH2 0x2ec6
00002ec1: JUMPI
00002ec2: PUSH1 0x00
00002ec4: DUP1
00002ec5: REVERT
00002ec6: JUMPDEST
00002ec7: DUP3
00002ec8: MLOAD
00002ec9: PUSH8 0xffffffffffffffff
00002ed2: DUP2
00002ed3: GT
00002ed4: ISZERO
00002ed5: PUSH2 0x2edd
00002ed8: JUMPI
00002ed9: PUSH1 0x00
00002edb: DUP1
00002edc: REVERT
00002edd: JUMPDEST
00002ede: DUP4
00002edf: ADD
00002ee0: PUSH1 0x1f
00002ee2: DUP2
00002ee3: ADD
00002ee4: DUP6
00002ee5: SGT
00002ee6: PUSH2 0x2eee
00002ee9: JUMPI
00002eea: PUSH1 0x00
00002eec: DUP1
00002eed: REVERT
00002eee: JUMPDEST
00002eef: DUP1
00002ef0: MLOAD
00002ef1: PUSH2 0x2efc
00002ef4: PUSH2 0x2b06
00002ef7: DUP3
00002ef8: PUSH2 0x2ac1
00002efb: JUMP
00002efc: JUMPDEST
00002efd: DUP2
00002efe: DUP2
00002eff: MSTORE
00002f00: PUSH1 0x05
00002f02: SWAP2
00002f03: SWAP1
00002f04: SWAP2
00002f05: SHL
00002f06: DUP3
00002f07: ADD
00002f08: DUP4
00002f09: ADD
00002f0a: SWAP1
00002f0b: DUP4
00002f0c: DUP2
00002f0d: ADD
00002f0e: SWAP1
00002f0f: DUP8
00002f10: DUP4
00002f11: GT
00002f12: ISZERO
00002f13: PUSH2 0x2f1b
00002f16: JUMPI
00002f17: PUSH1 0x00
00002f19: DUP1
00002f1a: REVERT
00002f1b: JUMPDEST
00002f1c: SWAP3
00002f1d: DUP5
00002f1e: ADD
00002f1f: SWAP3
00002f20: JUMPDEST
00002f21: DUP3
00002f22: DUP5
00002f23: LT
00002f24: ISZERO
00002f25: PUSH2 0x2f39
00002f28: JUMPI
00002f29: DUP4
00002f2a: MLOAD
00002f2b: DUP3
00002f2c: MSTORE
00002f2d: SWAP3
00002f2e: DUP5
00002f2f: ADD
00002f30: SWAP3
00002f31: SWAP1
00002f32: DUP5
00002f33: ADD
00002f34: SWAP1
00002f35: PUSH2 0x2f20
00002f38: JUMP
00002f39: JUMPDEST
00002f3a: SWAP8
00002f3b: SWAP7
00002f3c: POP
00002f3d: POP
00002f3e: POP
00002f3f: POP
00002f40: POP
00002f41: POP
00002f42: POP
00002f43: JUMP
00002f44: JUMPDEST
00002f45: DUP1
00002f46: PUSH1 0x00
00002f48: JUMPDEST
00002f49: PUSH1 0x02
00002f4b: DUP2
00002f4c: LT
00002f4d: ISZERO
00002f4e: PUSH2 0x09d4
00002f51: JUMPI
00002f52: DUP2
00002f53: MLOAD
00002f54: DUP5
00002f55: MSTORE
00002f56: PUSH1 0x20
00002f58: SWAP4
00002f59: DUP5
00002f5a: ADD
00002f5b: SWAP4
00002f5c: SWAP1
00002f5d: SWAP2
00002f5e: ADD
00002f5f: SWAP1
00002f60: PUSH1 0x01
00002f62: ADD
00002f63: PUSH2 0x2f48
00002f66: JUMP
00002f67: JUMPDEST
00002f68: PUSH1 0x00
00002f6a: DUP2
00002f6b: MLOAD
00002f6c: DUP1
00002f6d: DUP5
00002f6e: MSTORE
00002f6f: PUSH1 0x20
00002f71: DUP1
00002f72: DUP6
00002f73: ADD
00002f74: SWAP5
00002f75: POP
00002f76: DUP1
00002f77: DUP5
00002f78: ADD
00002f79: PUSH1 0x00
00002f7b: JUMPDEST
00002f7c: DUP4
00002f7d: DUP2
00002f7e: LT
00002f7f: ISZERO
00002f80: PUSH2 0x2f97
00002f83: JUMPI
00002f84: DUP2
00002f85: MLOAD
00002f86: DUP8
00002f87: MSTORE
00002f88: SWAP6
00002f89: DUP3
00002f8a: ADD
00002f8b: SWAP6
00002f8c: SWAP1
00002f8d: DUP3
00002f8e: ADD
00002f8f: SWAP1
00002f90: PUSH1 0x01
00002f92: ADD
00002f93: PUSH2 0x2f7b
00002f96: JUMP
00002f97: JUMPDEST
00002f98: POP
00002f99: SWAP5
00002f9a: SWAP6
00002f9b: SWAP5
00002f9c: POP
00002f9d: POP
00002f9e: POP
00002f9f: POP
00002fa0: POP
00002fa1: JUMP
00002fa2: JUMPDEST
00002fa3: PUSH1 0x00
00002fa5: DUP2
00002fa6: MLOAD
00002fa7: DUP1
00002fa8: DUP5
00002fa9: MSTORE
00002faa: PUSH1 0x20
00002fac: DUP1
00002fad: DUP6
00002fae: ADD
00002faf: SWAP5
00002fb0: POP
00002fb1: DUP1
00002fb2: DUP5
00002fb3: ADD
00002fb4: PUSH1 0x00
00002fb6: JUMPDEST
00002fb7: DUP4
00002fb8: DUP2
00002fb9: LT
00002fba: ISZERO
00002fbb: PUSH2 0x2f97
00002fbe: JUMPI
00002fbf: PUSH2 0x2fc9
00002fc2: DUP8
00002fc3: DUP4
00002fc4: MLOAD
00002fc5: PUSH2 0x2f44
00002fc8: JUMP
00002fc9: JUMPDEST
00002fca: PUSH1 0x40
00002fcc: SWAP7
00002fcd: SWAP1
00002fce: SWAP7
00002fcf: ADD
00002fd0: SWAP6
00002fd1: SWAP1
00002fd2: DUP3
00002fd3: ADD
00002fd4: SWAP1
00002fd5: PUSH1 0x01
00002fd7: ADD
00002fd8: PUSH2 0x2fb6
00002fdb: JUMP
00002fdc: JUMPDEST
00002fdd: PUSH1 0xc0
00002fdf: DUP2
00002fe0: MSTORE
00002fe1: PUSH1 0x00
00002fe3: DUP7
00002fe4: MLOAD
00002fe5: DUP1
00002fe6: PUSH1 0xc0
00002fe8: DUP5
00002fe9: ADD
00002fea: MSTORE
00002feb: PUSH1 0x00
00002fed: JUMPDEST
00002fee: DUP2
00002fef: DUP2
00002ff0: LT
00002ff1: ISZERO
00002ff2: PUSH2 0x300a
00002ff5: JUMPI
00002ff6: PUSH1 0x20
00002ff8: DUP2
00002ff9: DUP11
00002ffa: ADD
00002ffb: DUP2
00002ffc: ADD
00002ffd: MLOAD
00002ffe: PUSH1 0xe0
00003000: DUP7
00003001: DUP5
00003002: ADD
00003003: ADD
00003004: MSTORE
00003005: ADD
00003006: PUSH2 0x2fed
00003009: JUMP
0000300a: JUMPDEST
0000300b: POP
0000300c: PUSH1 0x00
0000300e: DUP4
0000300f: DUP3
00003010: ADD
00003011: PUSH1 0xe0
00003013: ADD
00003014: MSTORE
00003015: PUSH1 0x20
00003017: DUP4
00003018: ADD
00003019: DUP8
0000301a: SWAP1
0000301b: MSTORE
0000301c: PUSH1 0x1f
0000301e: ADD
0000301f: PUSH1 0x1f
00003021: NOT
00003022: AND
00003023: DUP3
00003024: ADD
00003025: PUSH2 0x3031
00003028: PUSH1 0x40
0000302a: DUP5
0000302b: ADD
0000302c: DUP8
0000302d: PUSH2 0x2f44
00003030: JUMP
00003031: JUMPDEST
00003032: PUSH1 0xe0
00003034: DUP4
00003035: DUP3
00003036: SUB
00003037: ADD
00003038: PUSH1 0x80
0000303a: DUP5
0000303b: ADD
0000303c: MSTORE
0000303d: PUSH2 0x3049
00003040: PUSH1 0xe0
00003042: DUP3
00003043: ADD
00003044: DUP7
00003045: PUSH2 0x2f67
00003048: JUMP
00003049: JUMPDEST
0000304a: SWAP1
0000304b: POP
0000304c: DUP3
0000304d: DUP2
0000304e: SUB
0000304f: PUSH1 0xa0
00003051: DUP5
00003052: ADD
00003053: MSTORE
00003054: PUSH2 0x305d
00003057: DUP2
00003058: DUP6
00003059: PUSH2 0x2fa2
0000305c: JUMP
0000305d: JUMPDEST
0000305e: SWAP9
0000305f: SWAP8
00003060: POP
00003061: POP
00003062: POP
00003063: POP
00003064: POP
00003065: POP
00003066: POP
00003067: POP
00003068: JUMP
00003069: JUMPDEST
0000306a: DUP1
0000306b: DUP3
0000306c: ADD
0000306d: DUP1
0000306e: DUP3
0000306f: GT
00003070: ISZERO
00003071: PUSH2 0x0587
00003074: JUMPI
00003075: PUSH2 0x0587
00003078: PUSH2 0x2d63
0000307b: JUMP
0000307c: JUMPDEST
0000307d: DUP6
0000307e: DUP2
0000307f: MSTORE
00003080: PUSH1 0x00
00003082: PUSH1 0x20
00003084: DUP7
00003085: DUP2
00003086: DUP5
00003087: ADD
00003088: MSTORE
00003089: PUSH1 0x40
0000308b: DUP7
0000308c: DUP2
0000308d: DUP6
0000308e: ADD
0000308f: MSTORE
00003090: DUP6
00003091: PUSH1 0x60
00003093: DUP6
00003094: ADD
00003095: MSTORE
00003096: PUSH1 0x80
00003098: DUP5
00003099: ADD
0000309a: DUP6
0000309b: PUSH1 0x00
0000309d: DUP1
0000309e: JUMPDEST
0000309f: PUSH1 0x02
000030a1: DUP1
000030a2: DUP3
000030a3: LT
000030a4: PUSH2 0x30ad
000030a7: JUMPI
000030a8: POP
000030a9: PUSH2 0x30e2
000030ac: JUMP
000030ad: JUMPDEST
000030ae: DUP4
000030af: MLOAD
000030b0: DUP6
000030b1: DUP5
000030b2: JUMPDEST
000030b3: DUP4
000030b4: DUP2
000030b5: LT
000030b6: ISZERO
000030b7: PUSH2 0x30ce
000030ba: JUMPI
000030bb: DUP3
000030bc: MLOAD
000030bd: DUP3
000030be: MSTORE
000030bf: SWAP2
000030c0: DUP10
000030c1: ADD
000030c2: SWAP2
000030c3: SWAP1
000030c4: DUP10
000030c5: ADD
000030c6: SWAP1
000030c7: PUSH1 0x01
000030c9: ADD
000030ca: PUSH2 0x30b2
000030cd: JUMP
000030ce: JUMPDEST
000030cf: POP
000030d0: POP
000030d1: POP
000030d2: SWAP4
000030d3: DUP6
000030d4: ADD
000030d5: SWAP4
000030d6: POP
000030d7: SWAP2
000030d8: DUP6
000030d9: ADD
000030da: SWAP2
000030db: PUSH1 0x01
000030dd: ADD
000030de: PUSH2 0x309e
000030e1: JUMP
000030e2: JUMPDEST
000030e3: POP
000030e4: POP
000030e5: POP
000030e6: POP
000030e7: POP
000030e8: POP
000030e9: PUSH2 0x0100
000030ec: DUP3
000030ed: ADD
000030ee: SWAP1
000030ef: POP
000030f0: SWAP7
000030f1: SWAP6
000030f2: POP
000030f3: POP
000030f4: POP
000030f5: POP
000030f6: POP
000030f7: POP
000030f8: JUMP
000030f9: INVALID
000030fa: LOG2
000030fb: PUSH5 0x6970667358
00003101: UNKNOWN(0x22)
00003102: SLT
00003103: KECCAK256
00003104: DUP5
00003105: TLOAD
00003106: PUSH15 0x0fb9ac6a504f9b060259af2296be63
00003116: JUMP
00003117: UNKNOWN(0x23)
00003118: UNKNOWN(0xB6)
00003119: UNKNOWN(0xCE)
0000311a: UNKNOWN(0xB1)
0000311b: PUSH19 0x405ad3e2152b1be564736f6c63430008120033