// GENERATED FILE - DO NOT EDIT.
// Generated by gen_builtin_symbols.py using data from builtin_variables.json and
// builtin_function_declarations.txt.
//
// Copyright 2019 The ANGLE Project Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
//
// ImmutableString_autogen.cpp: Wrapper for static or pool allocated char arrays, that are
// guaranteed to be valid and unchanged for the duration of the compilation. Implements
// mangledNameHash using perfect hash function from gen_builtin_symbols.py

#include "compiler/translator/ImmutableString.h"

std::ostream &operator<<(std::ostream &os, const sh::ImmutableString &str)
{
    return os.write(str.data(), str.length());
}

#if defined(_MSC_VER)
#    pragma warning(disable : 4309)  // truncation of constant value
#endif

namespace
{

constexpr int mangledkT1[] = {2324, 3570, 3888, 2418, 2383, 3870, 121,  2164, 476,  3290,
                              3760, 2253, 1201, 3621, 412,  3171, 167,  3120, 3068, 3179,
                              2664, 641,  656,  851,  2976, 2758, 1691, 3053, 2715, 239,
                              441,  2110, 418,  2258, 2888, 2486, 37};
constexpr int mangledkT2[] = {732,  3306, 900,  3331, 2519, 3385, 2162, 54,   3709, 2280,
                              1793, 1837, 2274, 3142, 1271, 1722, 765,  1930, 3122, 171,
                              3406, 3407, 759,  3634, 647,  645,  1347, 3761, 1022, 1840,
                              2108, 3928, 1242, 2643, 3369, 2269, 895};
constexpr int mangledkG[]  = {
    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    3902, 0,
    0,    0,    0,    264,  3392, 0,    0,    0,    0,    0,    0,    0,    0,    0,    3741, 0,
    0,    0,    0,    392,  0,    0,    477,  0,    0,    0,    0,    0,    0,    0,    0,    0,
    3159, 0,    0,    0,    0,    0,    495,  0,    3546, 0,    0,    1571, 490,  0,    0,    0,
    0,    0,    0,    2236, 3717, 0,    0,    0,    0,    0,    0,    2282, 2101, 0,    2889, 0,
    0,    0,    2409, 0,    0,    0,    0,    0,    0,    0,    2022, 0,    0,    2539, 0,    3741,
    0,    0,    1831, 764,  0,    88,   0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    0,    0,    0,    0,    0,    3891, 0,    0,    0,    0,    2481, 0,    0,    268,  0,    0,
    0,    0,    0,    0,    0,    0,    0,    0,    332,  0,    0,    1532, 3509, 3579, 0,    1446,
    0,    1669, 0,    1017, 0,    0,    0,    0,    0,    0,    0,    0,    3186, 2727, 0,    1869,
    0,    0,    0,    0,    0,    0,    0,    824,  3762, 2482, 0,    0,    2124, 0,    0,    1722,
    0,    0,    0,    0,    0,    3442, 0,    0,    0,    0,    0,    1674, 0,    0,    3440, 3356,
    0,    3699, 0,    1596, 0,    0,    2667, 0,    359,  0,    0,    0,    0,    0,    0,    405,
    1051, 1440, 0,    0,    0,    3687, 0,    2676, 0,    0,    0,    3327, 0,    0,    625,  2116,
    3415, 0,    0,    0,    0,    0,    723,  1443, 0,    0,    0,    0,    0,    3605, 0,    0,
    0,    0,    0,    0,    0,    0,    0,    0,    1113, 0,    0,    0,    0,    0,    267,  0,
    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    374,  0,
    0,    1662, 0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    3990, 0,    0,    1443,
    152,  0,    1018, 707,  0,    3202, 0,    0,    0,    1313, 0,    0,    0,    0,    0,    0,
    0,    0,    0,    2641, 0,    585,  3479, 0,    0,    1793, 851,  2757, 0,    0,    2965, 3464,
    0,    447,  748,  0,    0,    0,    0,    2403, 0,    0,    0,    0,    0,    0,    1916, 0,
    0,    0,    3108, 1330, 3612, 921,  1577, 283,  0,    145,  3648, 2045, 0,    1618, 0,    1722,
    2,    3421, 0,    3297, 0,    715,  0,    2125, 0,    1391, 3712, 0,    0,    0,    0,    976,
    0,    0,    3195, 0,    0,    3570, 0,    3505, 0,    0,    0,    0,    0,    3910, 3417, 0,
    1962, 0,    759,  0,    0,    1135, 2536, 2961, 0,    0,    1612, 0,    0,    0,    0,    117,
    0,    0,    0,    0,    0,    849,  0,    0,    0,    701,  1559, 0,    146,  0,    575,  0,
    0,    0,    0,    0,    33,   0,    1630, 0,    0,    1283, 0,    3633, 0,    0,    438,  0,
    25,   3082, 0,    0,    46,   0,    211,  0,    0,    0,    666,  0,    0,    3766, 962,  0,
    2601, 0,    107,  0,    2225, 1728, 0,    0,    123,  0,    133,  0,    0,    0,    0,    0,
    0,    2783, 0,    1123, 0,    0,    0,    1021, 0,    0,    0,    2675, 0,    0,    0,    19,
    1915, 0,    0,    0,    0,    0,    0,    0,    3206, 0,    2446, 0,    0,    0,    0,    0,
    0,    0,    206,  0,    0,    0,    0,    866,  0,    0,    3134, 0,    3915, 0,    0,    0,
    0,    517,  0,    1312, 0,    0,    0,    2213, 0,    0,    3560, 0,    0,    0,    2943, 0,
    0,    0,    0,    1302, 1375, 301,  0,    305,  0,    645,  3814, 0,    1755, 3767, 0,    3307,
    2684, 0,    685,  0,    0,    0,    0,    294,  1068, 0,    3349, 1240, 1102, 451,  0,    0,
    0,    0,    0,    0,    956,  3207, 0,    0,    1128, 314,  2708, 166,  218,  0,    2202, 0,
    0,    3970, 0,    0,    0,    0,    0,    232,  0,    0,    0,    0,    0,    0,    0,    0,
    1103, 0,    1425, 234,  2109, 0,    3322, 0,    678,  0,    0,    0,    0,    3909, 0,    3765,
    0,    0,    0,    0,    0,    693,  0,    0,    0,    0,    746,  0,    0,    0,    0,    3176,
    0,    0,    0,    0,    1514, 3835, 0,    0,    0,    0,    0,    71,   0,    3635, 0,    0,
    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    782,  0,    0,    0,    0,    0,
    0,    0,    0,    0,    0,    0,    0,    0,    0,    2992, 0,    0,    0,    0,    0,    129,
    0,    1399, 4003, 0,    0,    0,    1424, 2962, 0,    0,    265,  0,    0,    0,    0,    3233,
    0,    0,    0,    0,    476,  1507, 0,    0,    0,    3160, 2873, 1991, 0,    0,    0,    1548,
    0,    903,  0,    0,    0,    2942, 0,    3960, 0,    4011, 3164, 442,  0,    2685, 2655, 2557,
    0,    0,    0,    0,    39,   1188, 2352, 0,    1402, 3872, 2087, 264,  283,  1970, 0,    2154,
    539,  1920, 3139, 0,    0,    556,  0,    0,    2623, 920,  405,  2402, 0,    3886, 0,    647,
    464,  0,    76,   955,  371,  579,  2455, 0,    0,    1975, 0,    209,  2051, 0,    0,    0,
    1328, 0,    3578, 68,   0,    0,    1151, 0,    0,    0,    3734, 0,    612,  0,    0,    0,
    1955, 3378, 0,    2571, 0,    0,    3344, 0,    941,  2924, 765,  0,    3040, 2312, 412,  868,
    0,    0,    0,    898,  0,    222,  1718, 0,    0,    0,    0,    0,    1513, 1833, 0,    0,
    0,    0,    0,    2078, 3211, 367,  344,  3873, 276,  0,    741,  1347, 0,    1150, 0,    981,
    1040, 0,    3067, 0,    0,    1934, 1416, 3567, 3154, 702,  0,    1745, 2874, 1077, 3665, 68,
    0,    3788, 0,    0,    3418, 0,    873,  1274, 2025, 1900, 0,    0,    3924, 1120, 244,  840,
    3573, 19,   0,    0,    0,    1019, 0,    0,    3895, 0,    0,    2141, 0,    0,    0,    0,
    1227, 0,    3691, 0,    0,    1035, 0,    3778, 1982, 0,    0,    0,    0,    107,  0,    0,
    0,    0,    0,    925,  0,    0,    0,    0,    1653, 1064, 52,   0,    1462, 1097, 0,    0,
    0,    2923, 0,    492,  87,   1641, 2680, 1510, 0,    2718, 0,    0,    594,  0,    650,  487,
    0,    0,    2729, 0,    1075, 0,    3807, 0,    0,    3961, 0,    0,    1313, 1690, 0,    0,
    2405, 0,    1253, 1199, 3748, 0,    1432, 0,    0,    0,    399,  3372, 1088, 0,    3807, 0,
    1662, 0,    0,    0,    1744, 0,    2451, 1625, 2313, 2201, 1829, 317,  0,    0,    120,  0,
    52,   0,    0,    1028, 0,    0,    0,    2282, 33,   715,  0,    161,  552,  0,    3115, 1086,
    0,    0,    0,    1654, 1349, 0,    0,    0,    1029, 1902, 0,    2125, 2186, 3922, 784,  0,
    0,    0,    2297, 0,    0,    1450, 0,    0,    2759, 2039, 1325, 0,    3051, 0,    0,    1304,
    0,    3924, 0,    0,    1444, 755,  3675, 3720, 0,    0,    0,    1976, 2679, 3793, 0,    0,
    3527, 0,    2023, 744,  3760, 0,    0,    0,    0,    0,    0,    496,  1174, 3554, 1935, 1247,
    0,    0,    0,    0,    0,    0,    0,    1247, 0,    0,    2556, 289,  2210, 1120, 1382, 750,
    0,    1539, 0,    2145, 0,    0,    1875, 0,    0,    1904, 0,    0,    289,  3116, 0,    0,
    0,    0,    0,    0,    0,    0,    1174, 1348, 3987, 1317, 1434, 0,    662,  668,  3001, 0,
    0,    143,  508,  0,    896,  0,    838,  0,    0,    1461, 3248, 1887, 2619, 0,    0,    0,
    0,    1599, 0,    0,    3997, 0,    9,    0,    603,  618,  1242, 3980, 0,    0,    0,    1324,
    0,    0,    0,    0,    51,   0,    193,  624,  2309, 0,    3217, 2123, 1682, 3969, 0,    1981,
    0,    863,  2086, 0,    0,    0,    0,    2363, 0,    1231, 2597, 2713, 0,    3084, 0,    3475,
    0,    0,    0,    91,   0,    3859, 0,    0,    381,  2625, 0,    3968, 0,    165,  0,    456,
    3777, 1216, 2235, 395,  0,    204,  0,    0,    0,    1936, 0,    299,  827,  3567, 3165, 0,
    509,  162,  0,    3551, 1464, 0,    0,    2997, 102,  363,  0,    2106, 0,    1702, 1775, 3157,
    0,    2529, 0,    3676, 297,  0,    0,    0,    0,    0,    1697, 617,  0,    0,    282,  0,
    2304, 0,    1439, 0,    1563, 1481, 1942, 1367, 74,   538,  0,    3827, 2021, 0,    0,    0,
    0,    0,    300,  0,    0,    3072, 3368, 0,    104,  2379, 0,    854,  2958, 1473, 2014, 0,
    0,    4011, 0,    1211, 0,    0,    3307, 134,  1350, 0,    0,    0,    0,    0,    0,    0,
    2562, 0,    0,    0,    455,  0,    3345, 0,    917,  0,    0,    929,  0,    1796, 0,    0,
    796,  0,    2271, 2751, 0,    0,    0,    186,  578,  0,    1780, 3751, 0,    0,    0,    1393,
    361,  2841, 3964, 2613, 2617, 0,    0,    0,    2008, 0,    1008, 0,    228,  0,    9,    2911,
    3552, 0,    1532, 3140, 3634, 1274, 0,    6,    0,    436,  0,    208,  1026, 699,  0,    0,
    0,    1099, 0,    2819, 0,    0,    0,    0,    0,    3840, 1688, 3765, 0,    158,  1224, 2826,
    0,    0,    0,    729,  0,    835,  0,    3458, 0,    0,    0,    27,   1599, 2661, 1955, 0,
    3742, 2708, 0,    1763, 0,    1063, 0,    777,  0,    788,  565,  0,    1617, 707,  0,    0,
    2001, 411,  1532, 0,    0,    1710, 3468, 0,    1059, 1492, 0,    570,  0,    0,    0,    0,
    3491, 0,    1254, 3023, 0,    3830, 0,    0,    393,  0,    0,    3942, 3390, 988,  0,    3759,
    1426, 232,  3969, 1482, 2816, 2587, 484,  0,    0,    0,    1751, 0,    1495, 0,    0,    1444,
    1405, 362,  2099, 0,    0,    0,    0,    3461, 656,  0,    503,  0,    0,    2848, 0,    3947,
    1282, 3393, 2021, 0,    0,    0,    851,  0,    0,    0,    3558, 389,  0,    0,    0,    1054,
    518,  2742, 0,    2758, 998,  2050, 1399, 0,    0,    0,    0,    3258, 0,    2410, 0,    0,
    1995, 2288, 3814, 0,    336,  3876, 0,    641,  1543, 0,    3284, 905,  0,    0,    995,  0,
    0,    0,    1148, 0,    0,    881,  0,    1426, 470,  2068, 0,    0,    0,    0,    0,    3205,
    664,  1838, 2145, 924,  1217, 840,  0,    24,   0,    437,  724,  3180, 1290, 2747, 0,    2064,
    3028, 670,  0,    498,  1306, 0,    611,  2080, 0,    0,    0,    0,    1893, 2553, 0,    869,
    872,  1093, 591,  1428, 414,  0,    70,   3834, 0,    0,    200,  0,    0,    0,    0,    293,
    0,    3391, 3089, 0,    0,    663,  3657, 3881, 0,    0,    469,  1334, 0,    1933, 253,  1387,
    2969, 0,    1076, 1238, 0,    0,    0,    0,    1479, 1693, 532,  2937, 133,  1350, 0,    0,
    3695, 658,  0,    1220, 0,    1462, 1698, 0,    1406, 2730, 0,    0,    0,    0,    1873, 0,
    682,  0,    3697, 3413, 1669, 0,    0,    866,  0,    3054, 3269, 0,    3841, 0,    3895, 2225,
    1312, 434,  0,    359,  3647, 647,  0,    1816, 0,    1172, 1889, 0,    0,    0,    0,    0,
    1805, 3443, 0,    0,    2732, 1236, 0,    2897, 1133, 919,  0,    0,    0,    0,    3321, 0,
    64,   0,    0,    2276, 1647, 0,    0,    508,  0,    0,    0,    0,    0,    4016, 1974, 1140,
    0,    0,    0,    576,  970,  1531, 0,    0,    3547, 1788, 0,    2340, 0,    0,    3885, 85,
    0,    0,    0,    0,    0,    2675, 0,    0,    215,  0,    0,    0,    1976, 2403, 1141, 415,
    2740, 0,    266,  1531, 0,    0,    402,  0,    988,  1774, 1542, 205,  1292, 1593, 337,  2006,
    749,  0,    0,    0,    0,    0,    49,   2688, 742,  1343, 669,  1138, 528,  1498, 182,  0,
    1296, 3909, 359,  50,   0,    310,  2463, 0,    0,    2436, 1891, 322,  396,  0,    0,    0,
    1971, 2978, 2176, 3732, 0,    0,    0,    6,    3137, 3203, 0,    108,  1050, 0,    0,    0,
    0,    953,  1154, 0,    0,    689,  1257, 311,  2567, 2131, 1487, 0,    3180, 1308, 360,  0,
    0,    3413, 3380, 3495, 1436, 1018, 3332, 318,  2619, 0,    485,  263,  0,    0,    0,    0,
    0,    949,  1286, 0,    3119, 0,    543,  3012, 0,    0,    0,    0,    826,  110,  2605, 0,
    2683, 0,    2225, 3692, 267,  2693, 336,  555,  665,  0,    0,    1448, 0,    0,    1939, 0,
    0,    1980, 0,    2262, 3961, 0,    86,   0,    0,    421,  2520, 3458, 817,  3975, 2679, 2961,
    1093, 287,  2110, 1069, 0,    3070, 0,    258,  3303, 0,    0,    0,    1708, 0,    2210, 0,
    0,    0,    0,    397,  902,  2677, 918,  0,    728,  0,    2744, 1108, 0,    2456, 0,    0,
    0,    2153, 924,  1147, 124,  3687, 335,  0,    374,  0,    1637, 1243, 1380, 0,    1600, 1451,
    436,  0,    598,  0,    0,    349,  0,    0,    0,    1823, 0,    0,    0,    0,    3192, 304,
    1710, 0,    0,    9,    443,  1143, 3491, 588,  0,    119,  4000, 0,    401,  0,    0,    0,
    0,    0,    0,    0,    0,    0,    1807, 1047, 61,   2442, 0,    612,  3005, 663,  45,   0,
    471,  915,  0,    0,    1758, 1548, 0,    0,    1007, 0,    0,    0,    1359, 2621, 1793, 142,
    913,  2738, 69,   0,    0,    3622, 0,    2179, 0,    0,    472,  928,  282,  0,    0,    979,
    0,    840,  3889, 0,    0,    2584, 0,    2738, 1149, 719,  679,  1280, 424,  3106, 0,    2143,
    856,  547,  0,    0,    3458, 428,  0,    2109, 2395, 0,    1320, 2224, 0,    0,    0,    0,
    1993, 0,    31,   0,    1999, 0,    1471, 0,    0,    2533, 1084, 1031, 0,    242,  0,    0,
    0,    286,  0,    0,    1224, 348,  2918, 0,    1930, 1949, 847,  0,    547,  0,    2251, 0,
    235,  2594, 653,  510,  95,   1438, 0,    2129, 0,    0,    0,    0,    0,    255,  1573, 3691,
    0,    2444, 0,    1330, 0,    108,  0,    1147, 64,   1296, 970,  771,  1078, 888,  1703, 1447,
    697,  0,    0,    2665, 3261, 0,    1662, 0,    2549, 1829, 3665, 3156, 0,    0,    3624, 0,
    0,    0,    0,    399,  382,  3842, 3493, 1668, 1092, 0,    503,  290,  3294, 1722, 4017, 0,
    1600, 0,    0,    950,  567,  0,    0,    1457, 0,    0,    0,    1386, 3002, 1557, 3744, 605,
    3013, 3906, 0,    247,  0,    0,    0,    3162, 1738, 2117, 1392, 0,    1912, 806,  0,    802,
    1209, 2253, 0,    0,    0,    0,    0,    1509, 2112, 0,    3467, 0,    0,    1468, 0,    3344,
    2120, 0,    840,  1026, 0,    1650, 238,  0,    1429, 1968, 0,    1456, 3555, 3765, 938,  3662,
    0,    2246, 2027, 718,  0,    0,    0,    0,    2748, 0,    3125, 0,    681,  1801, 0,    3833,
    581,  0,    933,  2636, 0,    759,  1514, 0,    1627, 1353, 222,  282,  0,    1814, 0,    1506,
    0,    783,  693,  2370, 1864, 0,    3086, 0,    0,    537,  868,  0,    103,  0,    0,    0,
    0,    3849, 3773, 0,    0,    1757, 0,    1545, 1313, 0,    85,   36,   0,    0,    1971, 0,
    1513, 3225, 1408, 1164, 1886, 0,    940,  3699, 2076, 0,    1280, 2727, 0,    0,    0,    0,
    0,    0,    3011, 407,  996,  0,    759,  1838, 1275, 1120, 0,    0,    2034, 0,    0,    2121,
    0,    258,  2426, 0,    0,    683,  0,    0,    0,    0,    25,   0,    855,  1373, 0,    2114,
    1102, 0,    2776, 917,  3731, 1119, 3353, 1869, 3813, 0,    2178, 0,    0,    0,    0,    0,
    0,    3575, 0,    0,    1073, 1488, 0,    0,    0,    0,    0,    2834, 3635, 0,    3972, 0,
    0,    1235, 0,    0,    1069, 2097, 0,    309,  1426, 1964, 1725, 1056, 3700, 0,    0,    504,
    0,    1004, 0,    3829, 279,  123,  2600, 1548, 955,  0,    2737, 1544, 0,    2881, 3319, 658,
    0,    0,    0,    1541, 1716, 0,    0,    0,    0,    0,    1644, 0,    4016, 1743, 1803, 3718,
    1671, 3874, 2028, 1585, 0,    0,    0,    1574, 1535, 3268, 517,  374,  0,    0,    3787, 0,
    1420, 0,    1215, 0,    0,    1043, 3621, 0,    598,  0,    896,  1347, 0,    540,  0,    0,
    3832, 0,    429,  1952, 750,  1773, 0,    1038, 0,    0,    1723, 1195, 0,    1093, 260,  3628,
    0,    2118, 0,    214,  0,    548,  0,    3107, 303,  198,  3001, 0,    1593, 0,    2725, 0,
    0,    3117, 3300, 0,    450,  1029, 2937, 768,  2995, 0,    3644, 1807, 299,  0,    0,    613,
    729,  0,    948,  0,    657,  0,    0,    3797, 0,    1576, 0,    59,   3535, 0,    2040, 0,
    2524, 0,    0,    0,    1635, 1048, 0,    3783, 3985, 2985, 3954, 0,    258,  744,  1244, 3900,
    0,    906,  53,   0,    165,  17,   3573, 1538, 0,    0,    0,    0,    3845, 2431, 0,    0,
    2096, 0,    1592, 880,  2718, 0,    41,   0,    66,   0,    3212, 2634, 484,  1045, 1213, 1834,
    0,    423,  0,    498,  27,   3972, 2285, 1322, 2206, 0,    1857, 0,    2499, 1931, 0,    0,
    1870, 96,   0,    1323, 0,    0,    594,  682,  0,    0,    1312, 2715, 0,    2566, 1050, 0,
    918,  170,  1085, 0,    49,   1053, 1894, 0,    0,    333,  3904, 0,    754,  331,  2666, 2559,
    0,    2165, 3565, 3885, 3773, 0,    2672, 2585, 1414, 1076, 869,  0,    2170, 1072, 0,    0,
    2503, 2304, 0,    2748, 1044, 987,  1267, 570,  0,    0,    0,    0,    0,    150,  0,    3567,
    2423, 66,   0,    762,  0,    0,    3674, 0,    12,   3077, 0,    251,  0,    58,   0,    0,
    704,  253,  0,    2787, 0,    0,    0,    562,  952,  0,    0,    3133, 0,    702,  569,  552,
    0,    0,    2116, 0,    0,    1488, 1828, 292,  0,    1641, 0,    1616, 0,    0,    0,    3732,
    1577, 0,    0,    0,    1332, 0,    0,    1826, 686,  772,  3809, 0,    269,  164,  264,  0,
    534,  0,    1471, 2696, 0,    296,  3622, 1624, 0,    0,    3847, 608,  0,    760,  3400, 0,
    3613, 0,    539,  138,  0,    0,    0,    0,    0,    0,    0,    0,    2362, 2009, 3910, 2368,
    498,  2085, 632,  61,   627,  1052, 0,    3115, 2076, 0,    2271, 0,    898,  1143, 3331, 0,
    3348, 1061, 1109, 295,  0,    0,    0,    0,    176,  1068, 0,    0,    0,    33,   0,    0,
    0,    2904, 924,  0,    1556, 3159, 863,  0,    0,    0,    0,    3286, 2093, 1314, 561,  3244,
    435,  0,    0,    3712, 0,    1230, 0,    803,  0,    0,    0,    244,  133,  0,    1927, 0,
    1689, 0,    1881, 2801, 1421, 1021, 0,    0,    318,  644,  0,    1343, 0,    0,    305,  0,
    707,  1932, 0,    979,  0,    373,  0,    0,    1867, 0,    0,    488,  0,    166,  41,   185,
    1910, 0,    0,    1724, 0,    1975, 0,    2029, 1686, 1607, 1358, 0,    0,    0,    0,    610,
    0,    0,    3240, 0,    2226, 0,    4003, 0,    1431, 0,    3783, 0,    483,  2608, 0,    1778,
    0,    0,    608,  1671, 8,    0,    0,    0,    30,   0,    244,  0,    833,  0,    0,    3595,
    2899, 2378, 0,    2089, 2528, 0,    0,    1217, 0,    0,    999,  2868, 1923, 0,    1914, 0,
    0,    121,  832,  1779, 535,  0,    0,    0,    0,    1882, 2904, 0,    0,    0,    636,  2251,
    1238, 206,  0,    0,    40,   0,    613,  1118, 3759, 0,    0,    0,    3088, 1083, 2763, 0,
    1306, 0,    1971, 2012, 0,    602,  31,   1568, 1310, 1529, 0,    2856, 2687, 3451, 1961, 690,
    3288, 0,    1352, 852,  1127, 0,    3661, 3301, 0,    0,    0,    1963, 0,    274,  2182, 864,
    1709, 1872, 811,  2712, 0,    0,    0,    0,    2919, 0,    4016, 0,    2047, 1855, 1663, 107,
    3335, 40,   1956, 0,    1648, 2066, 0,    0,    270,  3350, 1739, 2818, 1819, 782,  139,  90,
    126,  0,    0,    0,    3964, 2025, 3571, 2108, 1486, 0,    3334, 0,    0,    0,    291,  0,
    3163, 0,    0,    1033, 0,    151,  0,    0,    453,  0,    0,    174,  0,    643,  1078, 0,
    1227, 416,  1376, 77,   832,  0,    905,  140,  1232, 136,  0,    55,   1401, 0,    0,    0,
    0,    3012, 0,    0,    0,    1310, 1914, 2608, 261,  756,  0,    3623, 223,  521,  1926, 0,
    3748, 0,    0,    288,  1428, 200,  0,    1506, 528,  0,    0,    0,    1983, 0,    637,  1557,
    0,    3820, 1832, 1669, 0,    1596, 0,    1588, 1454, 0,    0,    0,    2429, 3381, 588,  559,
    0,    388,  1044, 0,    2065, 2043, 1279, 0,    926,  0,    1374, 0,    0,    3479, 258,  0,
    0,    1070, 3431, 2042, 0,    0,    603,  0,    2822, 505,  580,  1696, 3987, 1171, 967,  362,
    1379, 0,    98,   664,  2728, 3841, 0,    0,    1347, 0,    2163, 0,    921,  2592, 439,  3454,
    0,    225,  125,  3823, 803,  1046, 2578, 478,  0,    0,    0,    772,  0,    1466, 0,    2341,
    736,  1534, 0,    1400, 1218, 1515, 1200, 165,  492,  2100, 2529, 1436, 509,  129,  3601, 3347,
    0,    0,    3998, 0,    81,   1198, 1014, 936,  0,    898,  1427, 0,    807,  1057, 0,    0,
    2676, 0,    168,  3934, 0,    360,  2476, 2012, 1252, 826,  2730, 0,    1205, 2165, 0,    997,
    0,    3556, 1966, 1711, 980,  349,  507,  819,  3844, 2866, 490,  354,  2105, 0,    904,  1691,
    375,  0,    0,    403,  2015, 527,  0,    0,    0,    0,    542,  1454, 2754, 1155, 0,    0,
    0,    1972, 3563, 194,  0,    0,    130,  202,  1866, 653,  60,   0,    0,    3185, 2030, 3433,
    762,  2046, 1167, 0,    3699, 0,    0,    0,    3999, 0,    0,    0,    1686, 1334, 0,    2140,
    399,  3680, 137,  0,    2207, 3748, 1332, 448,  0,    0,    0,    491,  820,  0,    0,    2305,
    402,  1016, 765,  3777, 0,    458,  2625, 252,  0,    0,    306,  2974, 0,    794,  844,  947,
    768,  0,    0,    0,    0,    672,  3771, 0,    1888, 1125, 1297, 314,  1390, 216,  0,    0,
    0,    3905, 3170, 915,  802,  0,    1570, 233,  1135, 3396, 0,    195,  784,  0,    738,  1426,
    969,  2463, 463,  126,  436,  926,  1317, 3997, 0,    0,    895,  0,    1112, 772,  0,    325,
    1447, 0,    0,    205,  0,    1272, 825,  0,    0,    1448, 0,    1890, 0,    3334, 0,    3721,
    0,    2076, 0,    515,  0,    0,    0,    3099, 2151, 0,    3468, 0,    0,    30,   0,    1661,
    1382, 0,    907,  948,  0,    0,    1115, 0,    1390, 0,    4003, 1493, 3119, 1063, 1867, 0,
    1923, 0,    876,  3783, 817,  846,  1642, 1701, 3743, 0,    0,    0,    0,    2082, 1122, 1679,
    3983, 0,    227,  1530, 0,    1289, 0,    0,    0,    0,    0,    1336, 0,    0,    0,    2695,
    0,    406,  1281, 0,    973,  964,  3248, 2035, 0,    975,  0,    0,    533,  0,    3463, 335,
    0,    1100, 0,    1073, 251,  0,    0,    0,    2464, 1000, 0,    0,    0,    104,  895,  0,
    1666, 0,    0,    0,    1270, 3914, 2011, 0,    703,  1034, 0,    366,  1636, 1207, 2593, 3672,
    2186, 0,    1738, 2114, 387,  658,  447,  2663, 1033, 1192, 2079, 0,    1616, 1369, 3104, 779,
    0,    1196, 2496, 0,    2222, 2434, 2470, 1268, 0,    1953, 1294, 1572, 0,    0,    1493, 2890,
    2519, 0,    2837, 0,    3485, 0,    0,    1420, 3939, 1033, 2620, 491,  0,    0,    0,    0,
    1415, 0,    1495, 2516, 0,    269,  0,    3303, 2411, 2282, 3753, 2209, 534,  0,    1027, 0,
    324,  1742, 2081, 0,    1899, 0,    13,   3115, 4005, 0,    0,    382,  0,    3892, 3407, 0,
    3885, 1783, 0,    1328, 1643, 1528, 2260, 483,  0,    417,  3101, 0,    0,    2492, 286,  383,
    0,    188,  0,    0,    0,    3776, 0,    1016, 932,  1041, 2095, 0,    3696, 0,    0,    0,
    0,    1918, 0,    1713, 0,    1970, 1691, 3397, 1531, 0,    1638, 0,    0,    593,  0,    1337,
    239,  2292, 0,    2173, 485,  947,  3952, 346,  776,  0,    0,    580,  829,  1353, 0,    3180,
    0,    3448, 728,  2326, 0,    0,    0,    1578, 3997, 0,    1329, 2092, 2354, 1652, 0,    0,
    0,    2175, 679,  493,  3813, 0,    3460, 3525, 1072, 0,    1490, 1926, 1897, 1815, 1838, 1,
    0,    692,  0,    1116, 0,    0,    0,    0,    0,    0,    0,    0,    655,  3199, 0,    0,
    17,   1089, 0,    718,  1085, 237,  3826, 0,    2005, 0,    0,    775,  0,    315,  1315, 0,
    753,  1110, 0,    2443, 2031, 3187, 367,  0,    1873, 113,  63,   0,    1771, 3987, 0,    0,
    346,  113,  993,  333,  3159, 0,    1727, 2059, 1709, 1750, 3520, 0,    0,    3974, 284,  2693,
    328,  0,    1648, 2944, 1497, 399,  1572, 0,    3550, 575,  2523, 0,    3717, 1153, 0,    2857,
    2275, 191,  1588, 0,    1736, 2904, 597,  0,    0,    192,  2300, 0,    0,    511,  136,  0,
    0,    3709, 2729, 0,    3529, 3580, 183,  0,    0,    828,  0,    2737, 820,  0,    1608, 0,
    0,    0,    2769, 2752, 817,  1290, 1903, 180,  785,  633,  0,    2229, 0,    3586, 1269, 0,
    2004, 36,   1568, 0,    341,  0,    0,    0,    0,    846,  0,    1843, 1380, 11,   0,    1057,
    0,    885,  176,  587,  1874, 2328, 0,    1030, 3391, 2073, 686,  0,    0,    339,  1897, 39,
    0,    3124, 0,    0,    0,    0,    721,  2384, 0,    0,    455,  0,    0,    0,    0,    692,
    3600, 3420, 1022, 1288, 533,  0,    1624, 3401, 0,    0,    0,    0,    3480, 3777, 0,    1595,
    0,    0,    2035, 0,    805,  275,  1324, 3571, 3003, 0,    842,  786,  692,  3251, 2871, 1938,
    885,  0,    1584, 0,    0,    272,  0,    2096, 204,  1022, 1615, 1443, 0,    1013, 0,    3531,
    1224, 1518, 630,  2755, 1542, 717,  0,    0,    0,    764,  3510, 0,    19,   0,    346,  57,
    3972, 2515, 3978, 0,    265,  3235, 906,  0,    0,    3443, 10,   0,    254,  3965, 742,  2045,
    0,    937,  0,    0,    1377, 3011, 893,  1229, 0,    568,  61,   0,    1987, 2037, 633,  737,
    3203, 0,    2364, 2826, 0,    549,  508,  3905, 1678, 1869, 0,    0,    1228, 1525, 0,    0,
    0,    574,  3877, 975,  0,    949,  1268, 3875, 95,   0,    2139, 0,    161,  944,  0,    1479,
    2573, 3230, 659,  2553, 94,   3097, 2007, 1949, 1802, 0,    3378, 0,    0,    1755, 1573, 0,
    390,  2281, 0,    3730, 1315, 2037, 613,  0,    1351, 566,  3836, 1519, 1298, 415,  1041, 213,
    2271, 0,    954,  0,    1090, 0,    0,    74,   1335, 3453, 2627, 0,    1597, 3455, 2134, 2468,
    1708, 913,  0,    1120, 1460, 0,    2262, 3951, 0,    1199, 3928, 3087, 1460, 0,    1890, 0,
    1344, 3294, 1368, 1287, 3653, 0,    1760, 0,    172,  0,    1420, 0,    0,    220,  977,  1089,
    3790, 405,  0,    2450, 3821, 0,    0,    0,    2624, 0,    3245, 589,  1501, 0,    1932, 0,
    3762, 1679, 12};

int MangledHashG(const char *key, const int *T)
{
    int sum = 0;

    for (int i = 0; key[i] != '\0'; i++)
    {
        sum += T[i] * key[i];
        sum %= 4019;
    }
    return mangledkG[sum];
}

int MangledPerfectHash(const char *key)
{
    if (strlen(key) > 37)
        return 0;

    return (MangledHashG(key, mangledkT1) + MangledHashG(key, mangledkT2)) % 4019;
}

constexpr int unmangledkT1[] = {300, 235, 154, 260, 346, 345, 249, 45, 233, 222, 304, 137, 74,
                                372, 57,  44,  310, 11,  4,   182, 54, 39,  71,  306, 218, 339};
constexpr int unmangledkT2[] = {216, 37,  310, 175, 220, 134, 156, 16, 193, 203, 314, 328, 103,
                                366, 369, 30,  281, 104, 218, 234, 80, 211, 111, 56,  366, 234};
constexpr int unmangledkG[]  = {
    0,   0,   0,   0,   72,  0,   0,   0,   0,   209, 0,   0,   346, 46,  28,  0,   250, 0,   0,
    0,   0,   0,   0,   0,   162, 0,   0,   0,   87,  361, 0,   345, 0,   162, 0,   0,   81,  0,
    242, 33,  0,   79,  0,   0,   0,   55,  0,   0,   0,   229, 0,   156, 133, 0,   271, 0,   0,
    0,   215, 321, 312, 0,   330, 0,   0,   271, 0,   161, 0,   163, 0,   0,   0,   0,   100, 0,
    59,  0,   0,   249, 316, 0,   0,   195, 378, 41,  16,  362, 0,   0,   0,   0,   0,   160, 0,
    0,   274, 95,  327, 0,   85,  257, 0,   0,   144, 0,   0,   0,   0,   0,   325, 153, 97,  0,
    0,   350, 0,   371, 0,   239, 0,   0,   0,   0,   57,  0,   0,   345, 0,   138, 43,  121, 0,
    0,   89,  0,   0,   172, 0,   0,   0,   120, 72,  68,  332, 0,   216, 93,  0,   19,  0,   82,
    13,  0,   0,   324, 0,   165, 148, 140, 287, 356, 194, 42,  76,  108, 379, 250, 0,   130, 0,
    112, 23,  0,   0,   43,  0,   73,  0,   0,   0,   56,  0,   0,   117, 147, 126, 77,  173, 0,
    160, 341, 239, 0,   0,   116, 75,  16,  0,   171, 34,  226, 53,  14,  357, 32,  304, 196, 0,
    0,   0,   13,  0,   0,   0,   0,   190, 0,   96,  165, 0,   5,   168, 98,  37,  56,  8,   268,
    0,   0,   0,   139, 0,   0,   0,   22,  0,   55,  103, 165, 145, 0,   329, 153, 65,  94,  0,
    101, 0,   284, 363, 214, 87,  0,   176, 0,   0,   0,   0,   0,   97,  0,   240, 64,  105, 0,
    6,   270, 275, 27,  0,   0,   160, 101, 0,   297, 0,   0,   66,  0,   0,   241, 0,   380, 33,
    169, 121, 0,   351, 0,   0,   232, 0,   45,  0,   189, 83,  144, 314, 335, 0,   318, 227, 0,
    331, 158, 0,   332, 0,   0,   12,  183, 73,  0,   6,   0,   271, 0,   291, 297, 0,   136, 0,
    21,  283, 49,  9,   182, 0,   315, 137, 0,   118, 0,   0,   0,   0,   364, 271, 30,  0,   66,
    15,  256, 122, 261, 0,   39,  0,   134, 222, 0,   30,  23,  158, 0,   42,  84,  106, 0,   0,
    59,  0,   243, 70,  34,  0,   12,  152, 142, 99,  21,  297, 0,   0,   146, 0,   332, 357, 223,
    0,   0};

int UnmangledHashG(const char *key, const int *T)
{
    int sum = 0;

    for (int i = 0; key[i] != '\0'; i++)
    {
        sum += T[i] * key[i];
        sum %= 382;
    }
    return unmangledkG[sum];
}

int UnmangledPerfectHash(const char *key)
{
    if (strlen(key) > 26)
        return 0;

    return (UnmangledHashG(key, unmangledkT1) + UnmangledHashG(key, unmangledkT2)) % 382;
}

}  // namespace

namespace sh
{

template <>
const size_t ImmutableString::FowlerNollVoHash<4>::kFnvPrime = 16777619u;

template <>
const size_t ImmutableString::FowlerNollVoHash<4>::kFnvOffsetBasis = 0x811c9dc5u;

template <>
const size_t ImmutableString::FowlerNollVoHash<8>::kFnvPrime =
    static_cast<size_t>(1099511628211ull);

template <>
const size_t ImmutableString::FowlerNollVoHash<8>::kFnvOffsetBasis =
    static_cast<size_t>(0xcbf29ce484222325ull);

uint32_t ImmutableString::mangledNameHash() const
{
    return MangledPerfectHash(data());
}

uint32_t ImmutableString::unmangledNameHash() const
{
    return UnmangledPerfectHash(data());
}

}  // namespace sh