Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Firefox/gfx/skia/skia/src/sksl/   (Browser von der Mozilla Stiftung Version 136.0.1©)  Datei vom 10.2.2025 mit Größe 80 kB image not shown  

Quelle  SkSLLexer.cpp

  Sprache: C
 

/*
 * Copyright 2017 Google Inc.
 *
 * Use of this source code is governed by a BSD-style license that can be
 * found in the LICENSE file.
 */

/*****************************************************************************************
 ******************** This file was generated by sksllex. Do not edit. *******************
 *****************************************************************************************/

#include "src/sksl/SkSLLexer.h"

namespace SkSL {

using State = uint16_t;
static constexpr uint8_t kInvalidChar = 18;
static constexpr uint8_t kMappings[118] = {
        1,  2,  3,  3,  1,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,
        3,  3,  3,  1,  4,  3,  5,  6,  7,  8,  3,  9,  1011121314151617,
        1819202122222223232425262728293,  30313233,
        3435363637363636383636363639403641363642,
        3636433,  4445463,  474849505152535455365657,
        585960613662636465666768697071727374,
};
using IndexEntry = int16_t;
struct FullEntry {
    State data[75];
};
struct CompactEntry {
    uint32_t values;
    uint8_t data[19];
};
static constexpr FullEntry kFull[] = {
        {
                0,   2,   3,   4,   5,   7,   9,   23,  25,  28,  29,  30,  32,  35,  36,
                39,  44,  50,  69,  69,  69,  69,  69,  69,  71,  72,  73,  77,  79,  83,
                84,  84,  84,  84,  84,  84,  84,  84,  84,  84,  84,  84,  84,  86,  87,
                88,  84,  91,  10411413015516718318819684,  287297304,
                33033536137348452755857084,  84,  84,  591592595596,
        },
        {
                0,  0,  0,  0,  0,  0000,  000,  00,  05105959,
                59595959600000,  000,  00,  06100,  0,
                0,  0,  0,  66670000,  000,  06100,  00,  0,
                0,  0,  0,  0,  0,  00066006700,  00,  00,
        },
        {
                0,  0,  0,  0,  0,  0000,  00000,  05105959,
                59595959600000,  00000,  06100,  0,
                0,  0,  0,  650,  0000,  00006100,  00,  0,
                0,  0,  0,  0,  0,  0006500000,  00,  00,
        },
        {
                0,  0,  0,  0,  0,  0000,  00000,  05106060,
                60606060600000,  00000,  06100,  0,
                0,  0,  0,  640,  0000,  00006100,  00,  0,
                0,  0,  0,  0,  0,  0006400000,  00,  00,
        },
        {
                0,  0,  0,  0,  0,  0000,  00000,  05107070,
                70707070700000,  00000,  06100,  0,
                0,  0,  0,  660,  0000,  00006100,  00,  0,
                0,  0,  0,  0,  0,  0006600000,  00,  00,
        },
        {
                0,   0,  0,  0,   0,  0,  0,  0,  0,  0,   0,  0,  0,  0,  0,  0,  0,  8585,
                85,  858585,  850,  0,  0,  0,  0,   0,  8585858585858585,
                85,  858585,  850,  0,  0,  85115858585858585858585,
                1188585121858585858585,  858585850,  0,  0,  0,
        },
        {
                0,  0,   0,  0,   0,  0,  0,  0,  0,  0,   0,  0,  0,  0,   0,  0,  0,  85,  85,
                8585,  8585,  850,  0,  0,  0,  0,   0,  858585,  85858585,  85,
                8585,  8585,  850,  0,  0,  8585,  85858513185858513785,
                8514385148858585858515285858585,  0,  0,  0,  0,
        },
        {
                0,   0,  0,   0,  0,  0,  0,  0,  0,  0,  0,  0,   0,  0,  0,  0,  0,  8585,
                85,  8585,  85850,  0,  0,  0,  0,  0,  85,  85858585858585,
                85,  8585,  85850,  0,  0,  85858585,  85858585858585,
                15685159858585858585858516185850,  0,  0,  0,
        },
        {
                0,   0,  0,  0,   0,  0,  0,  0,  0,  0,   0,  0,  0,  0,  0,  0,  0,  85,  85,
                85,  858585,  850,  0,  0,  0,  0,   0,  85858585858585,  85,
                85,  858585,  850,  0,  0,  851688585858585858517285,
                17585851788585858585180858585850,  0,  0,  0,
        },
        {
                0,  0,   0,   0,  0,  0,  0,   0,   0,  0,  0,  0,  0,  0,  0,   0,  0,  85,  85,
                8585,  85,  85850,  0,   0,   0,  0,  0,  85858585,  858585,  85,
                8585,  85,  85850,  0,   0,   858585858585197858519885,
                852382418585852632818585858585850,   0,  0,  0,
        },
        {
                0,   0,   0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,   0,   0,  0,  0,  85203,
                2092248585850,  0,  0,  0,  0,  0,  852252308585858585,
                85,  85,  8585850,  0,  0,  8585858585,  85,  8585858585,
                85,  85,  8585858585858585858585,  85,  0,  0,  0,  0,
        },
        {
                0,   0,   0,  0,  0,  0,  0,  0,  0,  0,  0,  0,   0,  0,  0,  0,  0,  8585,
                85,  85,  8585850,  0,  0,  0,  0,  0,  21185858585858585,
                2152218585850,  0,  0,  85858585,  85858585858585,
                85,  85,  85858585858585858585,  85850,  0,  0,  0,
        },
        {
                0,   0,  0,  0,   0,   0,  0,  0,   0,  0,   0,  0,  0,  0,  0,  0,  0,  8585,
                85,  858585,  85,  0,  0,  0,   0,  0,   0,  8585858585858585,
                85,  858585,  85,  0,  0,  0,   8585,  858585858585858585,
                2428585246249858525185257858585850,  0,  0,  0,
        },
        {
                0,  0,  0,  0,  0,  0,   0,  0,  0,   0,   0,  0,  0,  0,  0,  0,  0,  85,  85,
                85858585850,   0,  0,  0,   0,   0,  85858585858585,  85,
                85858585850,   0,  0,  85,  3368585858585858534085,
                8585858585350858535785,  858585850,  0,  0,  0,
        },
        {
                0,  0,  0,  0,  0,  0,  0,  0,   0,   0,   0,   0,  0,  0,  0,  0,  0,  85,  85,
                85858585850,  0,  0,   0,   0,   0,   85858585858585,  85,
                85858585850,  0,  0,   85,  37485,  85858585858546385,
                8585858585858546747585,  4798585850,  0,  0,  0,
        },
        {
                0,   0,   0,   0,  0,  0,  0,  0,  0,  0,  0,  0,  0,   0,   0,  0,  0,  85380,
                39742985,  85850,  0,  0,  0,  0,  0,  854344398585858585,
                85,  85,  45885850,  0,  0,  8585858585,  85,  8585858585,
                85,  85,  85,  85858585858585858585,  85,  0,  0,  0,  0,
        },
        {
                0,   0,   0,   0,  0,  0,  0,  0,  0,  0,  0,  0,   0,  0,  0,  0,  0,  8585,
                85,  85,  85,  85850,  0,  0,  0,  0,  0,  39985858585858585,
                40941542485850,  0,  0,  85858585,  85858585858585,
                85,  85,  85,  858585858585858585,  85850,  0,  0,  0,
        },
        {
                0,  0,  0,  0,  0,  0,   0,  0,  0,  0,  0,  0,  0,   0,   0,  0,  0,   8585,
                85858585850,   0,  0,  0,  0,  0,  8585,  85,  858585,  8585,
                85858585850,   0,  0,  8585858585,  48585855178585,
                858585858551985858585858552285,  0,  0,  0,   0,
        },
        {
                0,   0,   0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,   0,   0,  0,  0,  85496,
                5025088585850,  0,  0,  0,  0,  0,  854345098585858585,
                85,  85,  8585850,  0,  0,  8585858585,  85,  8585858585,
                85,  85,  8585858585858585858585,  85,  0,  0,  0,  0,
        },
        {
                0,  0,  0,   0,  0,  0,  0,   0,   0,  0,  0,  0,  0,  0,  0,  0,  0,  85,  85,
                858585,  85850,  0,   0,   0,  0,  0,  85858585858585,  85,
                858585,  85850,  0,   0,   85858585858585858552885,
                85855328585855445528585858585850,  0,  0,  0,
        },
        {
                0,  0,  0,  0,  0,  0,  0,  0,  0,   0,   0,  0,  0,  0,  0,  0,  0,  85,  85,
                85858585850,  0,  0,  0,   0,   0,  85858585858585,  85,
                85858585850,  0,  0,  85,  5458585858585858555085,
                858585858585858526985,  858585850,  0,  0,  0,
        },
        {
                0,  0,  0,  0,   0,  0,   0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,   8585,
                85858585,  850,   0,  0,  0,  0,  0,  858585858585,  8585,
                85858585,  850,   0,  0,  85858585858585855718585,
                8585855758558385858585858585850,  0,  0,   0,
        },
};
static constexpr CompactEntry kCompact[] = {
        {0,
         {255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          63}},
        {3,
         {195,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          63}},
        {6,
         {255,
          255,
          255,
          255,
          255,
          255,
          63,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          63}},
        {8, {2552552552552552552551500192150000019263}},
        {8, {255255255255302551500192150000019263}},
        {19 | (11 << 10) | (10 << 20),
         {255,
          255,
          255,
          255,
          171,
          170,
          255,
          175,
          170,
          170,
          234,
          175,
          106,
          170,
          170,
          162,
          170,
          234,
          63}},
        {10, {255255255255302551500192150000019263}},
        {14 | (12 << 10) | (10 << 20),
         {255,
          255,
          255,
          255,
          171,
          170,
          255,
          175,
          170,
          170,
          234,
          175,
          170,
          170,
          170,
          106,
          170,
          232,
          63}},
        {13 | (10 << 10),
         {255255255255878425595858521395858585858521363}},
        {15 | (10 << 10),
         {255255255255878525595858521395858585818521363}},
        {16 | (10 << 10),
         {255255255255878525595858521395858585848521363}},
        {17 | (10 << 10),
         {255255255255878525595858521395858585698521363}},
        {18 | (10 << 10),
         {255255255255878525595858521395858585858421363}},
        {20 | (10 << 10),
         {255255255255878525595858521395858585858121363}},
        {21 | (10 << 10),
         {255255255255878525595858521395858585698521363}},
        {22 | (10 << 10),
         {255255255255878525595858521395218585858521363}},
        {24,
         {255,
          255,
          255,
          255,
          255,
          255,
          63,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          63}},
        {27 | (26 << 10),
         {255,
          255,
          253,
          255,
          255,
          255,
          63,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          63}},
        {31,
         {255,
          255,
          255,
          255,
          255,
          255,
          63,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          63}},
        {34 | (33 << 10),
         {255,
          255,
          255,
          253,
          255,
          255,
          63,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          63}},
        {38 | (37 << 10),
         {255,
          255,
          255,
          223,
          255,
          255,
          63,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          63}},
        {40,
         {255,
          255,
          255,
          255,
          3,
          0,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          63}},
        {41 | (40 << 10),
         {255,
          255,
          255,
          255,
          87,
          85,
          255,
          255,
          207,
          255,
          255,
          255,
          63,
          255,
          255,
          255,
          255,
          255,
          63}},
        {43 | (42 << 10),
         {255,
          255,
          255,
          221,
          3,
          0,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          63}},
        {43,
         {255,
          255,
          255,
          255,
          3,
          0,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          63}},
        {49 | (48 << 10) | (45 << 20),
         {255,
          255,
          191,
          255,
          253,
          255,
          63,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          63}},
        {46 | (45 << 10),
         {87852185858585858585858585858585858521}},
        {47 | (45 << 10),
         {87858585848585858585858585858585858521}},
        {48, {51000000000000000000}},
        {56 | (52 << 10),
         {255,
          255,
          255,
          255,
          87,
          85,
          255,
          255,
          207,
          255,
          255,
          255,
          63,
          255,
          255,
          255,
          255,
          255,
          63}},
        {53 | (52 << 10),
         {255,
          255,
          255,
          255,
          87,
          85,
          255,
          255,
          207,
          255,
          255,
          255,
          63,
          255,
          255,
          255,
          255,
          255,
          63}},
        {55 | (54 << 10),
         {255,
          255,
          255,
          221,
          3,
          0,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          63}},
        {55,
         {255,
          255,
          255,
          255,
          3,
          0,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          63}},
        {58 | (57 << 10),
         {255,
          255,
          255,
          221,
          3,
          0,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          63}},
        {58,
         {255,
          255,
          255,
          255,
          3,
          0,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          63}},
        {63 | (62 << 10),
         {255,
          255,
          255,
          221,
          3,
          0,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          63}},
        {63,
         {255,
          255,
          255,
          255,
          3,
          0,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          63}},
        {68, {2552552552553025515025525563025225525525525563}},
        {68 | (66 << 10),
         {2552552552553025515025524763025225525524725563}},
        {76 | (74 << 10),
         {255,
          255,
          255,
          255,
          255,
          255,
          31,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          63}},
        {75,
         {255,
          255,
          255,
          255,
          255,
          255,
          63,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          63}},
        {78,
         {255,
          255,
          255,
          255,
          255,
          255,
          63,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          63}},
        {81 | (80 << 10),
         {255,
          255,
          255,
          255,
          255,
          255,
          127,
          252,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          63}},
        {82,
         {255,
          255,
          255,
          255,
          255,
          255,
          63,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          63}},
        {85, {255255255255302551500192150000019263}},
        {90 | (89 << 10),
         {255,
          255,
          255,
          255,
          255,
          255,
          127,
          255,
          255,
          255,
          255,
          243,
          255,
          255,
          255,
          255,
          255,
          255,
          63}},
        {94 | (92 << 10) | (85 << 20),
         {255,
          255,
          255,
          255,
          171,
          170,
          255,
          175,
          170,
          170,
          234,
          175,
          170,
          170,
          170,
          106,
          168,
          234,
          63}},
        {93 | (85 << 10),
         {255255255255878525595858521395858569858521363}},
        {98 | (95 << 10) | (85 << 20),
         {255,
          255,
          255,
          255,
          171,
          170,
          255,
          175,
          170,
          170,
          234,
          175,
          170,
          170,
          170,
          169,
          168,
          234,
          63}},
        {96 | (85 << 10),
         {255255255255878525595858521395858569858521363}},
        {97 | (85 << 10),
         {255255255255878525595858521395852185858521363}},
        {93 | (85 << 10),
         {255255255255878525595858521395818585858521363}},
        {99 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {100 | (85 << 10),
         {255255255255878525595858521395852185858521363}},
        {101 | (85 << 10),
         {255255255255878525595858521395848585858521363}},
        {102 | (85 << 10),
         {255255255255878525595858521395858585858121363}},
        {103 | (85 << 10),
         {255255255255878525595858521395858585858421363}},
        {93 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {109 | (105 << 10) | (85 << 20),
         {255,
          255,
          255,
          255,
          171,
          170,
          255,
          175,
          170,
          170,
          234,
          175,
          170,
          170,
          170,
          154,
          162,
          234,
          63}},
        {106 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {107 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {108 | (85 << 10),
         {255255255255878525595858521395858584858521363}},
        {110 | (85 << 10),
         {255255255255878525595858521395858485858521363}},
        {111 | (85 << 10),
         {255255255255878525595858521395858485858521363}},
        {112 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {113 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {116 | (85 << 10),
         {255255255255878525595858521395858585218521363}},
        {117 | (93 << 10) | (85 << 20),
         {255,
          255,
          255,
          255,
          171,
          170,
          255,
          175,
          170,
          170,
          234,
          175,
          42,
          170,
          170,
          170,
          169,
          234,
          63}},
        {119 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {120 | (85 << 10),
         {255255255255878525595858521395858585218521363}},
        {93 | (85 << 10),
         {255255255255878525595858521395858585218521363}},
        {122 | (85 << 10),
         {255255255255878525595858521395858521858521363}},
        {125 | (123 << 10) | (85 << 20),
         {255,
          255,
          255,
          255,
          171,
          170,
          255,
          175,
          170,
          170,
          234,
          175,
          170,
          170,
          170,
          106,
          168,
          234,
          63}},
        {124 | (85 << 10),
         {255255255255878525595858521395858585858421363}},
        {126 | (85 << 10),
         {255255255255878525595858521395852185858521363}},
        {127 | (85 << 10),
         {255255255255878525595858521395858521858521363}},
        {128 | (85 << 10),
         {255255255255878525595858521395858585858121363}},
        {129 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {132 | (85 << 10),
         {255255255255878525595858521395858485858521363}},
        {133 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {134 | (85 << 10),
         {255255255255878525595858521395858585858121363}},
        {135 | (85 << 10),
         {255255255255878525595858521395858581858521363}},
        {136 | (85 << 10),
         {255255255255878525595858521395858585858421363}},
        {138 | (85 << 10),
         {255255255255878525595858521395858585218521363}},
        {139 | (85 << 10),
         {255255255255878525595858521395818585858521363}},
        {140 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {141 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {142 | (85 << 10),
         {255255255255878525595858521395698585858521363}},
        {144 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {145 | (85 << 10),
         {255255255255878525595858521395858585858421363}},
        {146 | (85 << 10),
         {255255255255238025595858521395858585858521363}},
        {147 | (85 << 10),
         {255255255255878525595858521395858585858521263}},
        {93 | (85 << 10),
         {255255255255238025595858521395858585858521363}},
        {149 | (85 << 10),
         {255255255255878525595858521395858585858121363}},
        {150 | (85 << 10),
         {255255255255878525595858521395848585858521363}},
        {151 | (85 << 10),
         {255255255255878525595858521395858581858521363}},
        {153 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {154 | (85 << 10),
         {255255255255878525595858521395818585858521363}},
        {157 | (85 << 10),
         {255255255255878525595858521395858585218521363}},
        {158 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {160 | (85 << 10),
         {255255255255878525595858521395858585858121363}},
        {162 | (85 << 10),
         {255255255255878525595858521395858585858421363}},
        {163 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {164 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {165 | (85 << 10),
         {255255255255878525595858521395858521858521363}},
        {166 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {93 | (85 << 10),
         {255255255255878525595858521395858581858521363}},
        {169 | (85 << 10),
         {255255255255878525595858521395858581858521363}},
        {170 | (85 << 10),
         {255255255255878525595858521395858585218521363}},
        {171 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {173 | (85 << 10),
         {255255255255878525595858521395858585858521263}},
        {174 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {93 | (85 << 10),
         {255255255255878525595858521395698585858521363}},
        {176 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {177 | (85 << 10),
         {255255255255878525595858521395858585858421363}},
        {179 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {181 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {182 | (85 << 10),
         {255255255255878525595858521395818585858521363}},
        {186 | (184 << 10) | (85 << 20),
         {255,
          255,
          255,
          255,
          171,
          170,
          255,
          175,
          170,
          170,
          234,
          175,
          170,
          170,
          166,
          168,
          170,
          234,
          63}},
        {185 | (85 << 10),
         {255255255255878525595858521379858585858521363}},
        {185, {255255255255302551500192150000019263}},
        {187 | (85 << 10),
         {255255255255878525595858521395858585858421363}},
        {93 | (85 << 10),
         {255255255255878525595858521395858585848521363}},
        {193 | (189 << 10) | (85 << 20),
         {255,
          255,
          255,
          255,
          171,
          170,
          255,
          175,
          170,
          170,
          234,
          175,
          170,
          106,
          170,
          170,
          138,
          234,
          63}},
        {190 | (85 << 10),
         {255255255255878525595858521395858185858521363}},
        {191 | (85 << 10),
         {255255255255878525595858521395856985858521363}},
        {192 | (85 << 10),
         {255255255255878525595858521395858585818521363}},
        {194 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {195 | (85 << 10),
         {255255255255878525595858521395818585858521363}},
        {199 | (85 << 10),
         {255255255255878525595858521395858569858521363}},
        {200 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {201 | (85 << 10),
         {255255255255878525595858521395858185858521363}},
        {202 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {204 | (85 << 10),
         {255255255255878525595818521395858585858521363}},
        {205 | (85 << 10),
         {255255255255878525579858521395858585858521363}},
        {206 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {207 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {208 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {93 | (85 << 10),
         {255255255255878525595858521395858585858520963}},
        {210 | (85 << 10),
         {255255255255878525595818521395858585858521363}},
        {212 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {213 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {214 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {216 | (85 << 10),
         {255255255255878525595858521295858585858521363}},
        {217 | (85 << 10),
         {255255255255878525579858521395858585858521363}},
        {218 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {219 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {220 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {222 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {223 | (85 << 10),
         {255255255255878525595858521395818585858521363}},
        {93 | (85 << 10),
         {255255255255878525595858521395858585858421363}},
        {93 | (85 << 10),
         {255255255255878525595818521395858585858521363}},
        {226 | (85 << 10),
         {255255255255878525595858521395858585858121363}},
        {227 | (85 << 10),
         {255255255255878525595858521395858485858521363}},
        {228 | (85 << 10),
         {255255255255878525595858521395858485858521363}},
        {229 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {93 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {231 | (85 << 10),
         {255255255255878525595858521395858585858121363}},
        {232 | (85 << 10),
         {255255255255878525595858521395848585858521363}},
        {233 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {234 | (85 << 10),
         {255255255255878525579858521395858585858521363}},
        {235 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {236 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {237 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {239 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {240 | (85 << 10),
         {255255255255878525595858521395858185858521363}},
        {243 | (85 << 10),
         {255255255255878525595858521395852185858521363}},
        {244 | (85 << 10),
         {255255255255878525595858521395858521858521363}},
        {245 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {247 | (85 << 10),
         {255255255255878525595858521395858585858121363}},
        {248 | (85 << 10),
         {255255255255878525595858521395858585858421363}},
        {250 | (85 << 10),
         {255255255255878525595858521395858585858121363}},
        {252 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {253 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {254 | (85 << 10),
         {255255255255878525595858521395858485858521363}},
        {255 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {256 | (85 << 10),
         {255255255255878525595858521395818585858521363}},
        {258 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {259 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {260 | (85 << 10),
         {255255255255878525595858521395852185858521363}},
        {261 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {262 | (85 << 10),
         {255255255255878525595858521395858521858521363}},
        {269 | (264 << 10) | (85 << 20),
         {255,
          255,
          255,
          255,
          171,
          170,
          255,
          175,
          170,
          170,
          234,
          111,
          170,
          170,
          170,
          170,
          162,
          234,
          63}},
        {265 | (85 << 10),
         {255255255255878525595858521395858569858521363}},
        {266 | (85 << 10),
         {255255255255878525595858521395858585818521363}},
        {267 | (85 << 10),
         {255255255255878525595858521395858581858521363}},
        {268 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {202 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {270 | (85 << 10),
         {255255255255878525595858521395848585858521363}},
        {271 | (85 << 10),
         {255255255255878525595858521395858585818521363}},
        {272 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {273 | (85 << 10),
         {255255255255878525595858521395858585218521363}},
        {274 | (85 << 10),
         {255255255255878525595858521395858585218521363}},
        {275 | (85 << 10),
         {255255255255878525595858121395858585858521363}},
        {276 | (85 << 10),
         {255255255255878525595858521395858521858521363}},
        {277 | (85 << 10),
         {255255255255878525595858521395858585818521363}},
        {278 | (85 << 10),
         {255255255255878525595858521395858585858121363}},
        {279 | (85 << 10),
         {255255255255878525595858521395858585858421363}},
        {280 | (85 << 10),
         {255255255255878525595856921395858585858521363}},
        {93 | (85 << 10),
         {255255255255878525595858521295858585858521363}},
        {282 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {283 | (85 << 10),
         {255255255255878525595858521395858585858521263}},
        {284 | (85 << 10),
         {255255255255878525595858521395858585858421363}},
        {285 | (85 << 10),
         {255255255255878525595858521395858585858121363}},
        {286 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {293 | (288 << 10) | (85 << 20),
         {255,
          255,
          255,
          255,
          171,
          170,
          255,
          175,
          170,
          170,
          234,
          111,
          170,
          170,
          170,
          168,
          170,
          234,
          63}},
        {289 | (85 << 10),
         {255255255255878525595858521395858585858520963}},
        {290 | (85 << 10),
         {255255255255878525595858521395858585848521363}},
        {291 | (85 << 10),
         {255255255255878525595858521395858585858121363}},
        {292 | (85 << 10),
         {255255255255878525595858521395858585858421363}},
        {295 | (294 << 10) | (85 << 20),
         {255,
          255,
          255,
          255,
          171,
          170,
          255,
          175,
          170,
          170,
          234,
          175,
          170,
          170,
          106,
          170,
          42,
          234,
          63}},
        {93 | (85 << 10),
         {255255255255878525595858521395858185858521363}},
        {296 | (85 << 10),
         {255255255255878525595858521395858585818521363}},
        {298 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {299 | (85 << 10),
         {255255255255878525595858521395698585858521363}},
        {300 | (85 << 10),
         {255255255255878525595858521395852185858521363}},
        {301 | (85 << 10),
         {255255255255878525595858521395858585858121363}},
        {302 | (85 << 10),
         {255255255255878525595858521395858569858521363}},
        {303 | (85 << 10),
         {255255255255878525595858521395858585818521363}},
        {312 | (305 << 10) | (85 << 20),
         {255,
          255,
          255,
          255,
          171,
          170,
          255,
          175,
          170,
          170,
          234,
          111,
          170,
          170,
          170,
          168,
          170,
          234,
          63}},
        {306 | (85 << 10),
         {255255255255878525595858521395858569858521363}},
        {307 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {308 | (85 << 10),
         {255255255255878525595858521395858585218521363}},
        {309 | (85 << 10),
         {255255255255878525595858521395858585818521363}},
        {310 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {311 | (85 << 10),
         {255255255255878525595858521395818585858521363}},
        {319 | (313 << 10) | (85 << 20),
         {255,
          255,
          255,
          255,
          171,
          170,
          255,
          175,
          170,
          170,
          234,
          175,
          170,
          106,
          170,
          162,
          170,
          234,
          63}},
        {314 | (85 << 10),
         {255255255255878525595858521395858521858521363}},
        {315 | (85 << 10),
         {255255255255878525595858521395858581858521363}},
        {316 | (85 << 10),
         {255255255255878525595858521395852185858521363}},
        {317 | (85 << 10),
         {255255255255878525595858521395858521858521363}},
        {318 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {320 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {321 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {322 | (85 << 10),
         {255255255255878525595858521395858585218521363}},
        {323 | (85 << 10),
         {255255255255878525595858521395858585818521363}},
        {324 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {325 | (85 << 10),
         {255255255255878525595858521395818585858521363}},
        {326 | (85 << 10),
         {255255255255878525595858521395858585858421363}},
        {327 | (85 << 10),
         {255255255255878525595858521395852185858521363}},
        {328 | (85 << 10),
         {255255255255878525595858521395858585856921363}},
        {329 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {331 | (85 << 10),
         {255255255255878525595858521395858585858121363}},
        {332 | (85 << 10),
         {255255255255878525595858521395858585858421363}},
        {333 | (85 << 10),
         {255255255255878525595858521395858585818521363}},
        {334 | (85 << 10),
         {255255255255878525595858521395858585858121363}},
        {337 | (85 << 10),
         {255255255255878525595858521395818585858521363}},
        {338 | (85 << 10),
         {255255255255878525595858521395858584858521363}},
        {339 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {341 | (85 << 10),
         {255255255255878525595858521395858585858521263}},
        {342 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {343 | (85 << 10),
         {255255255255878525595858521395858581858521363}},
        {344 | (85 << 10),
         {255255255255878525595858521379858585858521363}},
        {345 | (85 << 10),
         {255255255255878525595858521395858581858521363}},
        {346 | (85 << 10),
         {255255255255878525595858521395858585848521363}},
        {347 | (85 << 10),
         {255255255255878525595858521395818585858521363}},
        {348 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {349 | (85 << 10),
         {255255255255878525595858521395858581858521363}},
        {351 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {352 | (85 << 10),
         {255255255255878525595858521395818585858521363}},
        {353 | (85 << 10),
         {255255255255878525595858521395852185858521363}},
        {354 | (85 << 10),
         {255255255255878525595858521395858585218521363}},
        {355 | (85 << 10),
         {255255255255878525595858521395852185858521363}},
        {356 | (85 << 10),
         {255255255255878525595858521395858585848521363}},
        {93 | (85 << 10),
         {255255255255878525595858521395858521858521363}},
        {358 | (85 << 10),
         {255255255255878525595858521395848585858521363}},
        {359 | (85 << 10),
         {255255255255878525595858521395858581858521363}},
        {360 | (85 << 10),
         {255255255255878525595858521395852185858521363}},
        {362 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {369 | (363 << 10) | (85 << 20),
         {255,
          255,
          255,
          255,
          171,
          170,
          255,
          175,
          170,
          170,
          234,
          111,
          170,
          170,
          170,
          170,
          168,
          234,
          63}},
        {364 | (85 << 10),
         {255255255255878525595858521395698585858521363}},
        {365 | (85 << 10),
         {255255255255878525595858521395858585848521363}},
        {366 | (85 << 10),
         {255255255255878525595858521395858521858521363}},
        {367 | (85 << 10),
         {255255255255878525595858521395858581858521363}},
        {368 | (85 << 10),
         {255255255255878525595858521395858585858520963}},
        {370 | (85 << 10),
         {255255255255878525595858521395858585858121363}},
        {371 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {372 | (85 << 10),
         {255255255255878525595858521395858521858521363}},
        {375 | (85 << 10),
         {255255255255878525595858521395858569858521363}},
        {376 | (85 << 10),
         {255255255255878525595858521395858585818521363}},
        {377 | (85 << 10),
         {255255255255878525595858521395858581858521363}},
        {378 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {379 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {381 | (85 << 10),
         {255255255255878525595818521395858585858521363}},
        {392 | (382 << 10) | (85 << 20),
         {255,
          255,
          255,
          255,
          171,
          170,
          255,
          159,
          170,
          170,
          232,
          175,
          170,
          170,
          170,
          170,
          170,
          234,
          63}},
        {383 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {384 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {385 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {386 | (85 << 10),
         {255255255255878525595858521395858585858520963}},
        {387 | (85 << 10),
         {255255255255878525595858521295858585858521363}},
        {388 | (85 << 10),
         {255255255255878525595858521395856985858521363}},
        {389 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {390 | (85 << 10),
         {255255255255878525595858521395698585858521363}},
        {391 | (85 << 10),
         {255255255255878525595858521395858585848521363}},
        {93 | (85 << 10),
         {255255255255878525595858521395858585852121363}},
        {393 | (85 << 10),
         {255255255255878525595858521395856985858521363}},
        {394 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {395 | (85 << 10),
         {255255255255878525595858521395698585858521363}},
        {396 | (85 << 10),
         {255255255255878525595858521395858585848521363}},
        {398 | (85 << 10),
         {255255255255878525595818521395858585858521363}},
        {400 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {401 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {402 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {403 | (85 << 10),
         {255255255255878525595858521395858585858520963}},
        {404 | (85 << 10),
         {255255255255878525595858521295858585858521363}},
        {405 | (85 << 10),
         {255255255255878525595858521395856985858521363}},
        {406 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {407 | (85 << 10),
         {255255255255878525595858521395698585858521363}},
        {408 | (85 << 10),
         {255255255255878525595858521395858585848521363}},
        {410 | (85 << 10),
         {255255255255878525595858521295858585858521363}},
        {411 | (85 << 10),
         {255255255255878525579858521395858585858521363}},
        {412 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {413 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {414 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {416 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {417 | (85 << 10),
         {255255255255878525595858521395818585858521363}},
        {418 | (85 << 10),
         {255255255255878525595858521395858585858421363}},
        {419 | (85 << 10),
         {255255255255878525595858521295858585858521363}},
        {420 | (85 << 10),
         {255255255255878525595858521395856985858521363}},
        {421 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {422 | (85 << 10),
         {255255255255878525595858521395698585858521363}},
        {423 | (85 << 10),
         {255255255255878525595858521395858585848521363}},
        {425 | (85 << 10),
         {255255255255878525595858521395856985858521363}},
        {426 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {427 | (85 << 10),
         {255255255255878525595858521395698585858521363}},
        {428 | (85 << 10),
         {255255255255878525595858521395858585848521363}},
        {430 | (85 << 10),
         {255255255255878525595818521395858585858521363}},
        {431 | (85 << 10),
         {255255255255878525595852121395858585858521363}},
        {432 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {433 | (85 << 10),
         {255255255255878525595858521395818585858521363}},
        {435 | (85 << 10),
         {255255255255878525595858521395858585858121363}},
        {436 | (85 << 10),
         {255255255255878525595858521395858485858521363}},
        {437 | (85 << 10),
         {255255255255878525595858521395858485858521363}},
        {438 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {440 | (85 << 10),
         {255255255255878525595858521395858585858121363}},
        {441 | (85 << 10),
         {255255255255878525595858521395848585858521363}},
        {442 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {453 | (443 << 10) | (85 << 20),
         {255,
          255,
          255,
          255,
          171,
          170,
          255,
          159,
          170,
          170,
          232,
          175,
          170,
          170,
          170,
          170,
          170,
          234,
          63}},
        {444 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {445 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {446 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {447 | (85 << 10),
         {255255255255878525595858521395858585858520963}},
        {448 | (85 << 10),
         {255255255255878525595858521295858585858521363}},
        {449 | (85 << 10),
         {255255255255878525595858521395856985858521363}},
        {450 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {451 | (85 << 10),
         {255255255255878525595858521395698585858521363}},
        {452 | (85 << 10),
         {255255255255878525595858521395858585848521363}},
        {454 | (85 << 10),
         {255255255255878525595858521395856985858521363}},
        {455 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {456 | (85 << 10),
         {255255255255878525595858521395698585858521363}},
        {457 | (85 << 10),
         {255255255255878525595858521395858585848521363}},
        {459 | (85 << 10),
         {255255255255878525595858521395856985858521363}},
        {460 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {461 | (85 << 10),
         {255255255255878525595858521395698585858521363}},
        {462 | (85 << 10),
         {255255255255878525595858521395858585848521363}},
        {464 | (85 << 10),
         {255255255255878525595858521395858585858519763}},
        {465 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {466 | (85 << 10),
         {255255255255878525595858521395858585848521363}},
        {93 | (85 << 10),
         {255255255255878525595858521395858485858521363}},
        {471 | (468 << 10) | (85 << 20),
         {255,
          255,
          255,
          255,
          171,
          170,
          255,
          175,
          170,
          170,
          234,
          111,
          170,
          170,
          170,
          138,
          170,
          234,
          63}},
        {469 | (85 << 10),
         {255255255255878525595858521395858585858421363}},
        {470 | (85 << 10),
         {255255255255878525595858521395852185858521363}},
        {472 | (85 << 10),
         {255255255255878525595858521395858585858121363}},
        {473 | (85 << 10),
         {255255255255878525595858521395818585858521363}},
        {474 | (85 << 10),
         {255255255255878525595858521395858585858421363}},
        {476 | (85 << 10),
         {255255255255878525595858521395858585818521363}},
        {477 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {478 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {93 | (85 << 10),
         {255255255255878525595858521395858585818521363}},
        {480 | (85 << 10),
         {255255255255878525595858521395852185858521363}},
        {481 | (85 << 10),
         {255255255255878525595858521395858585858421363}},
        {482 | (85 << 10),
         {255255255255878525595858521395818585858521363}},
        {483 | (85 << 10),
         {255255255255878525595858521395856985858521363}},
        {491 | (486 << 10) | (85 << 20),
         {255,
          255,
          255,
          255,
          171,
          170,
          255,
          175,
          170,
          170,
          234,
          175,
          170,
          170,
          154,
          170,
          170,
          232,
          63}},
        {487 | (85 << 10),
         {255255255255878525595858521395858585818521363}},
        {488 | (85 << 10),
         {255255255255878525595858521395858581858521363}},
        {489 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {490 | (85 << 10),
         {255255255255878525595858521395858585858421363}},
        {492 | (85 << 10),
         {255255255255878525595858521395858585858421363}},
        {493 | (85 << 10),
         {255255255255878525595858521395858585858121363}},
        {494 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {495 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {497 | (85 << 10),
         {255255255255878525595818521395858585858521363}},
        {498 | (85 << 10),
         {255255255255878525579858521395858585858521363}},
        {499 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {500 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {501 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {503 | (85 << 10),
         {255255255255878525595818521395858585858521363}},
        {504 | (409 << 10) | (85 << 20),
         {255,
          255,
          255,
          255,
          171,
          170,
          255,
          143,
          170,
          154,
          234,
          175,
          170,
          170,
          170,
          170,
          170,
          234,
          63}},
        {505 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {506 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {507 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {510 | (85 << 10),
         {255255255255878525595858521395858585858121363}},
        {511 | (85 << 10),
         {255255255255878525595858521395848585858521363}},
        {512 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {513 | (85 << 10),
         {255255255255878525579858521395858585858521363}},
        {514 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {515 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {516 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {518 | (85 << 10),
         {255255255255878525595858521395852185858521363}},
        {520 | (85 << 10),
         {255255255255878525595858521395858585858121363}},
        {521 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {523 | (85 << 10),
         {255255255255878525595858521395858585818521363}},
        {524 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {525 | (85 << 10),
         {255255255255878525595858521395698585858521363}},
        {526 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {529 | (85 << 10),
         {255255255255878525595858521395858569858521363}},
        {530 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {531 | (85 << 10),
         {255255255255878525595858521395858185858521363}},
        {539 | (533 << 10) | (85 << 20),
         {255,
          255,
          255,
          255,
          171,
          170,
          255,
          175,
          170,
          170,
          234,
          175,
          170,
          106,
          170,
          42,
          170,
          234,
          63}},
        {538 | (534 << 10) | (85 << 20),
         {255,
          255,
          255,
          255,
          171,
          170,
          255,
          175,
          170,
          170,
          234,
          175,
          170,
          169,
          170,
          168,
          170,
          234,
          63}},
        {535 | (85 << 10),
         {255255255255878525595858521395858585848521363}},
        {536 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {537 | (85 << 10),
         {255255255255878525595858521395858569858521363}},
        {540 | (85 << 10),
         {255255255255878525595858521395852185858521363}},
        {541 | (85 << 10),
         {255255255255878525595858521395858185858521363}},
        {542 | (85 << 10),
         {255255255255878525595858521395858521858521363}},
        {543 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {546 | (85 << 10),
         {255255255255878525595858521395858569858521363}},
        {547 | (85 << 10),
         {255255255255878525595858521395858585818521363}},
        {548 | (85 << 10),
         {255255255255878525595858521395858581858521363}},
        {549 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {551 | (85 << 10),
         {255255255255878525595858521395858521858521363}},
        {553 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {554 | (85 << 10),
         {255255255255878525595858521395858585858521263}},
        {555 | (85 << 10),
         {255255255255878525595858521395858585858421363}},
        {556 | (85 << 10),
         {255255255255878525595858521395858585858121363}},
        {557 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {564 | (559 << 10) | (85 << 20),
         {255,
          255,
          255,
          255,
          171,
          170,
          255,
          175,
          170,
          170,
          234,
          111,
          170,
          170,
          170,
          168,
          170,
          234,
          63}},
        {560 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {561 | (85 << 10),
         {255255255255878525595858521395858585858520963}},
        {562 | (85 << 10),
         {255255255255878525595858521395852185858521363}},
        {563 | (85 << 10),
         {255255255255878525595858521395858521858521363}},
        {565 | (85 << 10),
         {255255255255878525595858521395858581858521363}},
        {566 | (85 << 10),
         {255255255255878525595858521331858585858521363}},
        {567 | (85 << 10),
         {255255255255878525595858521395858585858421363}},
        {568 | (85 << 10),
         {255255255255878525595858521395852185858521363}},
        {569 | (85 << 10),
         {255255255255878525595858521395858581858521363}},
        {572 | (85 << 10),
         {255255255255878525595858521395852185858521363}},
        {573 | (85 << 10),
         {255255255255878525595858521395858581858521363}},
        {574 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {576 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {577 | (85 << 10),
         {255255255255878525595858521395858584858521363}},
        {578 | (85 << 10),
         {255255255255878525595858521395858185858521363}},
        {579 | (85 << 10),
         {255255255255878525595858521395858585698521363}},
        {580 | (85 << 10),
         {255255255255878525595858521395858585848521363}},
        {581 | (85 << 10),
         {255255255255878525595858521395858585858121363}},
        {582 | (85 << 10),
         {255255255255878525595858521395858585818521363}},
        {584 | (85 << 10),
         {255255255255878525595858521395852185858521363}},
        {585 | (85 << 10),
         {255255255255878525595858521395858585858421363}},
        {586 | (85 << 10),
         {255255255255878525595858521395218585858521363}},
        {587 | (85 << 10),
         {255255255255878525595858521395858585848521363}},
        {588 | (85 << 10),
         {255255255255878525595858521395858521858521363}},
        {589 | (85 << 10),
         {255255255255878525595858521395858581858521363}},
        {590 | (85 << 10),
         {255255255255878525595858521395858585858520963}},
        {594 | (593 << 10),
         {255,
          255,
          255,
          255,
          255,
          255,
          127,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          255,
          60}},
};
static constexpr IndexEntry kIndices[] = {
        0,   -1,  1,   1,   0,   2,   0,   3,   4,   5,   6,   7,   8,   6,   9,   10,  11,  12,
        6,   13,  14,  15,  6,   16,  0,   17,  0,   0,   0,   0,   18,  0,   19,  0,   0,   0,
        20,  0,   0,   21,  22,  23,  24,  24,  25,  26,  27,  0,   28,  0,   -2,  29,  30,  31,
        32,  32,  33,  34,  34,  -3,  -4,  35,  36,  36,  0,   0,   0,   37,  38,  -5,  -5,  0,
        0,   39,  40,  0,   0,   41,  0,   42,  0,   43,  0,   0,   44,  44,  0,   0,   45,  0,
        0,   46,  47,  44,  48,  49,  50,  51,  52,  53,  54,  55,  56,  57,  58,  59,  60,  61,
        44,  62,  63,  64,  65,  44,  -6,  66,  67,  44,  68,  69,  70,  71,  72,  73,  44,  74,
        75,  76,  77,  44,  -7,  78,  79,  80,  81,  82,  44,  83,  84,  85,  86,  87,  44,  88,
        89,  90,  91,  92,  93,  94,  95,  57,  96,  97,  92,  -8,  98,  99,  44,  10047,  101,
        102103104105106, -9,  10710810944,  11011111211311444,  11544,
        11611792,  11811912012112212312412512644,  12712892,  -1044,
        129130131132, -11133134135136137138139, -12140141142138143,
        144145146147138148149150151152153154155156157158159160,
        161162163138164165132, -1316616716844,  16917044,  171150172,
        17317417517657,  177178179180181150182183184185186187188,
        189190191192193194195196197198199200201202203204132205,
        20620720820944,  21021121244,  21321421521621721844,  219220,
        22122222322422557,  22622722822923023144,  232233234235236,
        23723823924024144,  242243244245150, -14246247248112249250,
        25125225325425525625744,  258259260261262263264265266267,
        51,  26826927027127227327444,  27527627744,  -15278279280281,
        282, -16283284285286287288289290291292293294295296297298,
        294299, -17300301302303304305306307308294309310311312313,
        138314315316317318319320321294322323324325294326327328,
        329150330331332333156334335336337338339340341342343344,
        345346294347348349350294351352353354294355356357358359,
        36036151,  36236336444,  36536636736836937037137244,  -18373,
        37437537637757,  378379380381, -19382383384385386138387388,
        38939039113815139239339439539639739813839970,  40040144,
        402403404405358, -2040640740813240941041141241344,  264414,
        415416417112, -21418419420421187422211423424425426427132,
        42842943043143221143343443543643757,  -2243843944044,  441,
        44244344444544644744,  44844945045145245345444,  0,   4550,
        0,   0,   0,
};
static State get_transition(uint8_t transition, State state) {
    IndexEntry index = kIndices[state];
    if (index < 0) {
        return kFull[~index].data[transition];
    }
    const CompactEntry& entry = kCompact[index];
    int v = entry.data[transition >> 2];
    v >>= 2 * (transition & 3);
    v &= 3;
    v *= 10;
    return (entry.values >> v) & 1023;
}
static const uint8_t kAccepts[597] = {
        25525589,  899268,  73,  92,  434141414136,  41,  4141,  41,  3741,
        41,  41,  27,  588263,  67,  87,  444556805452,  78,  5155,  53,  7950,
        1,   2552551,  5725525591,  90812,  1,  1,  2552551,  2552551,  2,
        3,   2552551,  3,  2,   2,   2552,  2,  2,  708875,  59,  8377,  71,  7274,
        76,  60,  84,  694242,  48,  49,  628666424240,  42,  4242,  42,  4242,
        42,  42,  42,  424242,  42,  42,  144242424230,  42,  4242,  12,  4242,
        42,  42,  42,  422242,  42,  42,  421542424242,  42,  4213,  42,  4242,
        42,  42,  16,  424242,  40,  42,  104242424242,  42,  4242,  42,  7,  42,
        42,  42,  42,  424240,  42,  42,  4242425,  4242,  42,  4242,  23,  428,
        42,  42,  42,  424240,  42,  42,  424242423342,  42,  4242,  6,   4242,
        42,  42,  42,  424042,  42,  42,  424240424242,  42,  4240,  42,  4242,
        42,  42,  42,  424242,  42,  42,  424242424240,  42,  4242,  42,  4242,
        42,  18,  42,  424225,  42,  42,  204242424242,  42,  4242,  42,  4242,
        42,  42,  42,  424242,  42,  42,  424242424242,  42,  4242,  42,  4240,
        42,  42,  42,  424242,  42,  42,  424242423242,  42,  4235,  42,  4242,
        42,  42,  42,  344242,  42,  42,  424242424242,  42,  4242,  42,  2642,
        42,  42,  42,  424242,  42,  42,  422442421942,  42,  4242,  42,  4242,
        42,  42,  42,  424242,  42,  42,  423942424242,  42,  4242,  42,  4242,
        42,  42,  42,  424242,  42,  42,  284242421742,  42,  4242,  42,  4242,
        42,  40,  42,  424242,  40,  42,  424242424242,  42,  4242,  42,  4242,
        42,  42,  42,  404242,  42,  42,  424240424242,  42,  4242,  42,  4242,
        42,  42,  42,  424242,  42,  42,  424240424242,  42,  4242,  42,  4242,
        42,  42,  40,  424242,  42,  40,  424242424242,  42,  4242,  42,  4242,
        42,  42,  42,  424242,  42,  42,  424242424242,  31,  4242,  42,  4242,
        42,  42,  42,  114242,  42,  42,  424242424242,  42,  4242,  40,  4242,
        42,  42,  42,  424242,  42,  42,  424242424042,  42,  4242,  42,  4242,
        42,  4,   42,  424242,  42,  42,  424242424242,  42,  4242,  21,  4242,
        42,  42,  42,  424242,  42,  42,  424242424242,  42,  4242,  42,  4242,
        42,  42,  42,  424242,  42,  42,  424242424242,  9,   4242,  42,  4242,
        42,  42,  38,  424242,  42,  42,  424229466185,  65,  4764,
};

Token Lexer::next() {
    // Note that we cheat here: normally a lexer needs to worry about the case
    // where a token has a prefix which is not itself a valid token - for instance,
    // maybe we have a valid token 'while', but 'w', 'wh', etc. are not valid
    // tokens. Our grammar doesn't have this property, so we can simplify the logic
    // a bit.
    int32_t startOffset = fOffset;
    State state = 1;
    for (;;) {
        if (fOffset >= (int32_t)fText.length()) {
            if (startOffset == (int32_t)fText.length() || kAccepts[state] == 255) {
                return Token(Token::Kind::TK_END_OF_FILE, startOffset, 0);
            }
            break;
        }
        uint8_t c = (uint8_t)(fText[fOffset] - 9);
        if (c >= 118) {
            c = kInvalidChar;
        }
        State newState = get_transition(kMappings[c], state);
        if (!newState) {
            break;
        }
        state = newState;
        ++fOffset;
    }
    Token::Kind kind = (Token::Kind)kAccepts[state];
    return Token(kind, startOffset, fOffset - startOffset);
}

}  // namespace SkSL

Messung V0.5 in Prozent
C=92 H=96 G=93

¤ Dauer der Verarbeitung: 0.53 Sekunden  (vorverarbeitet am  2026-06-06) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.