// Generated by scripts/gen_unicode_tables.py from Python 3.14. DO NOT EDIT.

///|
/// Inclusive code point ranges matched by Python's Unicode `\w`.
let word_ranges : FixedArray[Int] = [
  48, 57, 65, 90, 95, 95, 97, 122, 170, 170, 178, 179, 181, 181, 185, 186, 188, 190,
  192, 214, 216, 246, 248, 705, 710, 721, 736, 740, 748, 748, 750, 750, 880, 884,
  886, 887, 890, 893, 895, 895, 902, 902, 904, 906, 908, 908, 910, 929, 931, 1013,
  1015, 1153, 1162, 1327, 1329, 1366, 1369, 1369, 1376, 1416, 1488, 1514, 1519, 1522,
  1568, 1610, 1632, 1641, 1646, 1647, 1649, 1747, 1749, 1749, 1765, 1766, 1774, 1788,
  1791, 1791, 1808, 1808, 1810, 1839, 1869, 1957, 1969, 1969, 1984, 2026, 2036, 2037,
  2042, 2042, 2048, 2069, 2074, 2074, 2084, 2084, 2088, 2088, 2112, 2136, 2144, 2154,
  2160, 2183, 2185, 2190, 2208, 2249, 2308, 2361, 2365, 2365, 2384, 2384, 2392, 2401,
  2406, 2415, 2417, 2432, 2437, 2444, 2447, 2448, 2451, 2472, 2474, 2480, 2482, 2482,
  2486, 2489, 2493, 2493, 2510, 2510, 2524, 2525, 2527, 2529, 2534, 2545, 2548, 2553,
  2556, 2556, 2565, 2570, 2575, 2576, 2579, 2600, 2602, 2608, 2610, 2611, 2613, 2614,
  2616, 2617, 2649, 2652, 2654, 2654, 2662, 2671, 2674, 2676, 2693, 2701, 2703, 2705,
  2707, 2728, 2730, 2736, 2738, 2739, 2741, 2745, 2749, 2749, 2768, 2768, 2784, 2785,
  2790, 2799, 2809, 2809, 2821, 2828, 2831, 2832, 2835, 2856, 2858, 2864, 2866, 2867,
  2869, 2873, 2877, 2877, 2908, 2909, 2911, 2913, 2918, 2927, 2929, 2935, 2947, 2947,
  2949, 2954, 2958, 2960, 2962, 2965, 2969, 2970, 2972, 2972, 2974, 2975, 2979, 2980,
  2984, 2986, 2990, 3001, 3024, 3024, 3046, 3058, 3077, 3084, 3086, 3088, 3090, 3112,
  3114, 3129, 3133, 3133, 3160, 3162, 3165, 3165, 3168, 3169, 3174, 3183, 3192, 3198,
  3200, 3200, 3205, 3212, 3214, 3216, 3218, 3240, 3242, 3251, 3253, 3257, 3261, 3261,
  3293, 3294, 3296, 3297, 3302, 3311, 3313, 3314, 3332, 3340, 3342, 3344, 3346, 3386,
  3389, 3389, 3406, 3406, 3412, 3414, 3416, 3425, 3430, 3448, 3450, 3455, 3461, 3478,
  3482, 3505, 3507, 3515, 3517, 3517, 3520, 3526, 3558, 3567, 3585, 3632, 3634, 3635,
  3648, 3654, 3664, 3673, 3713, 3714, 3716, 3716, 3718, 3722, 3724, 3747, 3749, 3749,
  3751, 3760, 3762, 3763, 3773, 3773, 3776, 3780, 3782, 3782, 3792, 3801, 3804, 3807,
  3840, 3840, 3872, 3891, 3904, 3911, 3913, 3948, 3976, 3980, 4096, 4138, 4159, 4169,
  4176, 4181, 4186, 4189, 4193, 4193, 4197, 4198, 4206, 4208, 4213, 4225, 4238, 4238,
  4240, 4249, 4256, 4293, 4295, 4295, 4301, 4301, 4304, 4346, 4348, 4680, 4682, 4685,
  4688, 4694, 4696, 4696, 4698, 4701, 4704, 4744, 4746, 4749, 4752, 4784, 4786, 4789,
  4792, 4798, 4800, 4800, 4802, 4805, 4808, 4822, 4824, 4880, 4882, 4885, 4888, 4954,
  4969, 4988, 4992, 5007, 5024, 5109, 5112, 5117, 5121, 5740, 5743, 5759, 5761, 5786,
  5792, 5866, 5870, 5880, 5888, 5905, 5919, 5937, 5952, 5969, 5984, 5996, 5998, 6000,
  6016, 6067, 6103, 6103, 6108, 6108, 6112, 6121, 6128, 6137, 6160, 6169, 6176, 6264,
  6272, 6276, 6279, 6312, 6314, 6314, 6320, 6389, 6400, 6430, 6470, 6509, 6512, 6516,
  6528, 6571, 6576, 6601, 6608, 6618, 6656, 6678, 6688, 6740, 6784, 6793, 6800, 6809,
  6823, 6823, 6917, 6963, 6981, 6988, 6992, 7001, 7043, 7072, 7086, 7141, 7168, 7203,
  7232, 7241, 7245, 7293, 7296, 7306, 7312, 7354, 7357, 7359, 7401, 7404, 7406, 7411,
  7413, 7414, 7418, 7418, 7424, 7615, 7680, 7957, 7960, 7965, 7968, 8005, 8008, 8013,
  8016, 8023, 8025, 8025, 8027, 8027, 8029, 8029, 8031, 8061, 8064, 8116, 8118, 8124,
  8126, 8126, 8130, 8132, 8134, 8140, 8144, 8147, 8150, 8155, 8160, 8172, 8178, 8180,
  8182, 8188, 8304, 8305, 8308, 8313, 8319, 8329, 8336, 8348, 8450, 8450, 8455, 8455,
  8458, 8467, 8469, 8469, 8473, 8477, 8484, 8484, 8486, 8486, 8488, 8488, 8490, 8493,
  8495, 8505, 8508, 8511, 8517, 8521, 8526, 8526, 8528, 8585, 9312, 9371, 9450, 9471,
  10102, 10131, 11264, 11492, 11499, 11502, 11506, 11507, 11517, 11517, 11520, 11557,
  11559, 11559, 11565, 11565, 11568, 11623, 11631, 11631, 11648, 11670, 11680, 11686,
  11688, 11694, 11696, 11702, 11704, 11710, 11712, 11718, 11720, 11726, 11728, 11734,
  11736, 11742, 11823, 11823, 12293, 12295, 12321, 12329, 12337, 12341, 12344, 12348,
  12353, 12438, 12445, 12447, 12449, 12538, 12540, 12543, 12549, 12591, 12593, 12686,
  12690, 12693, 12704, 12735, 12784, 12799, 12832, 12841, 12872, 12879, 12881, 12895,
  12928, 12937, 12977, 12991, 13312, 19903, 19968, 42124, 42192, 42237, 42240, 42508,
  42512, 42539, 42560, 42606, 42623, 42653, 42656, 42735, 42775, 42783, 42786, 42888,
  42891, 42957, 42960, 42961, 42963, 42963, 42965, 42972, 42994, 43009, 43011, 43013,
  43015, 43018, 43020, 43042, 43056, 43061, 43072, 43123, 43138, 43187, 43216, 43225,
  43250, 43255, 43259, 43259, 43261, 43262, 43264, 43301, 43312, 43334, 43360, 43388,
  43396, 43442, 43471, 43481, 43488, 43492, 43494, 43518, 43520, 43560, 43584, 43586,
  43588, 43595, 43600, 43609, 43616, 43638, 43642, 43642, 43646, 43695, 43697, 43697,
  43701, 43702, 43705, 43709, 43712, 43712, 43714, 43714, 43739, 43741, 43744, 43754,
  43762, 43764, 43777, 43782, 43785, 43790, 43793, 43798, 43808, 43814, 43816, 43822,
  43824, 43866, 43868, 43881, 43888, 44002, 44016, 44025, 44032, 55203, 55216, 55238,
  55243, 55291, 63744, 64109, 64112, 64217, 64256, 64262, 64275, 64279, 64285, 64285,
  64287, 64296, 64298, 64310, 64312, 64316, 64318, 64318, 64320, 64321, 64323, 64324,
  64326, 64433, 64467, 64829, 64848, 64911, 64914, 64967, 65008, 65019, 65136, 65140,
  65142, 65276, 65296, 65305, 65313, 65338, 65345, 65370, 65382, 65470, 65474, 65479,
  65482, 65487, 65490, 65495, 65498, 65500, 65536, 65547, 65549, 65574, 65576, 65594,
  65596, 65597, 65599, 65613, 65616, 65629, 65664, 65786, 65799, 65843, 65856, 65912,
  65930, 65931, 66176, 66204, 66208, 66256, 66273, 66299, 66304, 66339, 66349, 66378,
  66384, 66421, 66432, 66461, 66464, 66499, 66504, 66511, 66513, 66517, 66560, 66717,
  66720, 66729, 66736, 66771, 66776, 66811, 66816, 66855, 66864, 66915, 66928, 66938,
  66940, 66954, 66956, 66962, 66964, 66965, 66967, 66977, 66979, 66993, 66995, 67001,
  67003, 67004, 67008, 67059, 67072, 67382, 67392, 67413, 67424, 67431, 67456, 67461,
  67463, 67504, 67506, 67514, 67584, 67589, 67592, 67592, 67594, 67637, 67639, 67640,
  67644, 67644, 67647, 67669, 67672, 67702, 67705, 67742, 67751, 67759, 67808, 67826,
  67828, 67829, 67835, 67867, 67872, 67897, 67968, 68023, 68028, 68047, 68050, 68096,
  68112, 68115, 68117, 68119, 68121, 68149, 68160, 68168, 68192, 68222, 68224, 68255,
  68288, 68295, 68297, 68324, 68331, 68335, 68352, 68405, 68416, 68437, 68440, 68466,
  68472, 68497, 68521, 68527, 68608, 68680, 68736, 68786, 68800, 68850, 68858, 68899,
  68912, 68921, 68928, 68965, 68975, 68997, 69216, 69246, 69248, 69289, 69296, 69297,
  69314, 69316, 69376, 69415, 69424, 69445, 69457, 69460, 69488, 69505, 69552, 69579,
  69600, 69622, 69635, 69687, 69714, 69743, 69745, 69746, 69749, 69749, 69763, 69807,
  69840, 69864, 69872, 69881, 69891, 69926, 69942, 69951, 69956, 69956, 69959, 69959,
  69968, 70002, 70006, 70006, 70019, 70066, 70081, 70084, 70096, 70106, 70108, 70108,
  70113, 70132, 70144, 70161, 70163, 70187, 70207, 70208, 70272, 70278, 70280, 70280,
  70282, 70285, 70287, 70301, 70303, 70312, 70320, 70366, 70384, 70393, 70405, 70412,
  70415, 70416, 70419, 70440, 70442, 70448, 70450, 70451, 70453, 70457, 70461, 70461,
  70480, 70480, 70493, 70497, 70528, 70537, 70539, 70539, 70542, 70542, 70544, 70581,
  70583, 70583, 70609, 70609, 70611, 70611, 70656, 70708, 70727, 70730, 70736, 70745,
  70751, 70753, 70784, 70831, 70852, 70853, 70855, 70855, 70864, 70873, 71040, 71086,
  71128, 71131, 71168, 71215, 71236, 71236, 71248, 71257, 71296, 71338, 71352, 71352,
  71360, 71369, 71376, 71395, 71424, 71450, 71472, 71483, 71488, 71494, 71680, 71723,
  71840, 71922, 71935, 71942, 71945, 71945, 71948, 71955, 71957, 71958, 71960, 71983,
  71999, 71999, 72001, 72001, 72016, 72025, 72096, 72103, 72106, 72144, 72161, 72161,
  72163, 72163, 72192, 72192, 72203, 72242, 72250, 72250, 72272, 72272, 72284, 72329,
  72349, 72349, 72368, 72440, 72640, 72672, 72688, 72697, 72704, 72712, 72714, 72750,
  72768, 72768, 72784, 72812, 72818, 72847, 72960, 72966, 72968, 72969, 72971, 73008,
  73030, 73030, 73040, 73049, 73056, 73061, 73063, 73064, 73066, 73097, 73112, 73112,
  73120, 73129, 73440, 73458, 73474, 73474, 73476, 73488, 73490, 73523, 73552, 73561,
  73648, 73648, 73664, 73684, 73728, 74649, 74752, 74862, 74880, 75075, 77712, 77808,
  77824, 78895, 78913, 78918, 78944, 82938, 82944, 83526, 90368, 90397, 90416, 90425,
  92160, 92728, 92736, 92766, 92768, 92777, 92784, 92862, 92864, 92873, 92880, 92909,
  92928, 92975, 92992, 92995, 93008, 93017, 93019, 93025, 93027, 93047, 93053, 93071,
  93504, 93548, 93552, 93561, 93760, 93846, 93952, 94026, 94032, 94032, 94099, 94111,
  94176, 94177, 94179, 94179, 94208, 100343, 100352, 101589, 101631, 101640, 110576,
  110579, 110581, 110587, 110589, 110590, 110592, 110882, 110898, 110898, 110928,
  110930, 110933, 110933, 110948, 110951, 110960, 111355, 113664, 113770, 113776,
  113788, 113792, 113800, 113808, 113817, 118000, 118009, 119488, 119507, 119520,
  119539, 119648, 119672, 119808, 119892, 119894, 119964, 119966, 119967, 119970,
  119970, 119973, 119974, 119977, 119980, 119982, 119993, 119995, 119995, 119997,
  120003, 120005, 120069, 120071, 120074, 120077, 120084, 120086, 120092, 120094,
  120121, 120123, 120126, 120128, 120132, 120134, 120134, 120138, 120144, 120146,
  120485, 120488, 120512, 120514, 120538, 120540, 120570, 120572, 120596, 120598,
  120628, 120630, 120654, 120656, 120686, 120688, 120712, 120714, 120744, 120746,
  120770, 120772, 120779, 120782, 120831, 122624, 122654, 122661, 122666, 122928,
  122989, 123136, 123180, 123191, 123197, 123200, 123209, 123214, 123214, 123536,
  123565, 123584, 123627, 123632, 123641, 124112, 124139, 124144, 124153, 124368,
  124397, 124400, 124410, 124896, 124902, 124904, 124907, 124909, 124910, 124912,
  124926, 124928, 125124, 125127, 125135, 125184, 125251, 125259, 125259, 125264,
  125273, 126065, 126123, 126125, 126127, 126129, 126132, 126209, 126253, 126255,
  126269, 126464, 126467, 126469, 126495, 126497, 126498, 126500, 126500, 126503,
  126503, 126505, 126514, 126516, 126519, 126521, 126521, 126523, 126523, 126530,
  126530, 126535, 126535, 126537, 126537, 126539, 126539, 126541, 126543, 126545,
  126546, 126548, 126548, 126551, 126551, 126553, 126553, 126555, 126555, 126557,
  126557, 126559, 126559, 126561, 126562, 126564, 126564, 126567, 126570, 126572,
  126578, 126580, 126583, 126585, 126588, 126590, 126590, 126592, 126601, 126603,
  126619, 126625, 126627, 126629, 126633, 126635, 126651, 127232, 127244, 130032,
  130041, 131072, 173791, 173824, 177977, 177984, 178205, 178208, 183969, 183984,
  191456, 191472, 192093, 194560, 195101, 196608, 201546, 201552, 205743,
]

///|
/// Inclusive code point ranges matched by Python's Unicode `\d`.
let digit_ranges : FixedArray[Int] = [
  48, 57, 1632, 1641, 1776, 1785, 1984, 1993, 2406, 2415, 2534, 2543, 2662, 2671,
  2790, 2799, 2918, 2927, 3046, 3055, 3174, 3183, 3302, 3311, 3430, 3439, 3558, 3567,
  3664, 3673, 3792, 3801, 3872, 3881, 4160, 4169, 4240, 4249, 6112, 6121, 6160, 6169,
  6470, 6479, 6608, 6617, 6784, 6793, 6800, 6809, 6992, 7001, 7088, 7097, 7232, 7241,
  7248, 7257, 42528, 42537, 43216, 43225, 43264, 43273, 43472, 43481, 43504, 43513,
  43600, 43609, 44016, 44025, 65296, 65305, 66720, 66729, 68912, 68921, 68928, 68937,
  69734, 69743, 69872, 69881, 69942, 69951, 70096, 70105, 70384, 70393, 70736, 70745,
  70864, 70873, 71248, 71257, 71360, 71369, 71376, 71395, 71472, 71481, 71904, 71913,
  72016, 72025, 72688, 72697, 72784, 72793, 73040, 73049, 73120, 73129, 73552, 73561,
  90416, 90425, 92768, 92777, 92864, 92873, 93008, 93017, 93552, 93561, 118000, 118009,
  120782, 120831, 123200, 123209, 123632, 123641, 124144, 124153, 124401, 124410,
  125264, 125273, 130032, 130041,
]

///|
/// Inclusive code point ranges matched by Python's Unicode `\s`.
let space_ranges : FixedArray[Int] = [
  9, 13, 28, 32, 133, 133, 160, 160, 5760, 5760, 8192, 8202, 8232, 8233, 8239, 8239,
  8287, 8287, 12288, 12288,
]

///|
/// Pairs `(cp, lower)` of `_sre.unicode_tolower` where it differs from `cp`.
let lower_map : FixedArray[Int] = [
  65, 97, 66, 98, 67, 99, 68, 100, 69, 101, 70, 102, 71, 103, 72, 104, 73, 105, 74,
  106, 75, 107, 76, 108, 77, 109, 78, 110, 79, 111, 80, 112, 81, 113, 82, 114, 83,
  115, 84, 116, 85, 117, 86, 118, 87, 119, 88, 120, 89, 121, 90, 122, 192, 224, 193,
  225, 194, 226, 195, 227, 196, 228, 197, 229, 198, 230, 199, 231, 200, 232, 201,
  233, 202, 234, 203, 235, 204, 236, 205, 237, 206, 238, 207, 239, 208, 240, 209,
  241, 210, 242, 211, 243, 212, 244, 213, 245, 214, 246, 216, 248, 217, 249, 218,
  250, 219, 251, 220, 252, 221, 253, 222, 254, 256, 257, 258, 259, 260, 261, 262,
  263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278,
  279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294,
  295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 105, 306, 307, 308, 309, 310,
  311, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327,
  328, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344,
  345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360,
  361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376,
  255, 377, 378, 379, 380, 381, 382, 385, 595, 386, 387, 388, 389, 390, 596, 391,
  392, 393, 598, 394, 599, 395, 396, 398, 477, 399, 601, 400, 603, 401, 402, 403,
  608, 404, 611, 406, 617, 407, 616, 408, 409, 412, 623, 413, 626, 415, 629, 416,
  417, 418, 419, 420, 421, 422, 640, 423, 424, 425, 643, 428, 429, 430, 648, 431,
  432, 433, 650, 434, 651, 435, 436, 437, 438, 439, 658, 440, 441, 444, 445, 452,
  454, 453, 454, 455, 457, 456, 457, 458, 460, 459, 460, 461, 462, 463, 464, 465,
  466, 467, 468, 469, 470, 471, 472, 473, 474, 475, 476, 478, 479, 480, 481, 482,
  483, 484, 485, 486, 487, 488, 489, 490, 491, 492, 493, 494, 495, 497, 499, 498,
  499, 500, 501, 502, 405, 503, 447, 504, 505, 506, 507, 508, 509, 510, 511, 512,
  513, 514, 515, 516, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528,
  529, 530, 531, 532, 533, 534, 535, 536, 537, 538, 539, 540, 541, 542, 543, 544,
  414, 546, 547, 548, 549, 550, 551, 552, 553, 554, 555, 556, 557, 558, 559, 560,
  561, 562, 563, 570, 11365, 571, 572, 573, 410, 574, 11366, 577, 578, 579, 384,
  580, 649, 581, 652, 582, 583, 584, 585, 586, 587, 588, 589, 590, 591, 880, 881,
  882, 883, 886, 887, 895, 1011, 902, 940, 904, 941, 905, 942, 906, 943, 908, 972,
  910, 973, 911, 974, 913, 945, 914, 946, 915, 947, 916, 948, 917, 949, 918, 950,
  919, 951, 920, 952, 921, 953, 922, 954, 923, 955, 924, 956, 925, 957, 926, 958,
  927, 959, 928, 960, 929, 961, 931, 963, 932, 964, 933, 965, 934, 966, 935, 967,
  936, 968, 937, 969, 938, 970, 939, 971, 975, 983, 984, 985, 986, 987, 988, 989,
  990, 991, 992, 993, 994, 995, 996, 997, 998, 999, 1000, 1001, 1002, 1003, 1004,
  1005, 1006, 1007, 1012, 952, 1015, 1016, 1017, 1010, 1018, 1019, 1021, 891, 1022,
  892, 1023, 893, 1024, 1104, 1025, 1105, 1026, 1106, 1027, 1107, 1028, 1108, 1029,
  1109, 1030, 1110, 1031, 1111, 1032, 1112, 1033, 1113, 1034, 1114, 1035, 1115, 1036,
  1116, 1037, 1117, 1038, 1118, 1039, 1119, 1040, 1072, 1041, 1073, 1042, 1074, 1043,
  1075, 1044, 1076, 1045, 1077, 1046, 1078, 1047, 1079, 1048, 1080, 1049, 1081, 1050,
  1082, 1051, 1083, 1052, 1084, 1053, 1085, 1054, 1086, 1055, 1087, 1056, 1088, 1057,
  1089, 1058, 1090, 1059, 1091, 1060, 1092, 1061, 1093, 1062, 1094, 1063, 1095, 1064,
  1096, 1065, 1097, 1066, 1098, 1067, 1099, 1068, 1100, 1069, 1101, 1070, 1102, 1071,
  1103, 1120, 1121, 1122, 1123, 1124, 1125, 1126, 1127, 1128, 1129, 1130, 1131, 1132,
  1133, 1134, 1135, 1136, 1137, 1138, 1139, 1140, 1141, 1142, 1143, 1144, 1145, 1146,
  1147, 1148, 1149, 1150, 1151, 1152, 1153, 1162, 1163, 1164, 1165, 1166, 1167, 1168,
  1169, 1170, 1171, 1172, 1173, 1174, 1175, 1176, 1177, 1178, 1179, 1180, 1181, 1182,
  1183, 1184, 1185, 1186, 1187, 1188, 1189, 1190, 1191, 1192, 1193, 1194, 1195, 1196,
  1197, 1198, 1199, 1200, 1201, 1202, 1203, 1204, 1205, 1206, 1207, 1208, 1209, 1210,
  1211, 1212, 1213, 1214, 1215, 1216, 1231, 1217, 1218, 1219, 1220, 1221, 1222, 1223,
  1224, 1225, 1226, 1227, 1228, 1229, 1230, 1232, 1233, 1234, 1235, 1236, 1237, 1238,
  1239, 1240, 1241, 1242, 1243, 1244, 1245, 1246, 1247, 1248, 1249, 1250, 1251, 1252,
  1253, 1254, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266,
  1267, 1268, 1269, 1270, 1271, 1272, 1273, 1274, 1275, 1276, 1277, 1278, 1279, 1280,
  1281, 1282, 1283, 1284, 1285, 1286, 1287, 1288, 1289, 1290, 1291, 1292, 1293, 1294,
  1295, 1296, 1297, 1298, 1299, 1300, 1301, 1302, 1303, 1304, 1305, 1306, 1307, 1308,
  1309, 1310, 1311, 1312, 1313, 1314, 1315, 1316, 1317, 1318, 1319, 1320, 1321, 1322,
  1323, 1324, 1325, 1326, 1327, 1329, 1377, 1330, 1378, 1331, 1379, 1332, 1380, 1333,
  1381, 1334, 1382, 1335, 1383, 1336, 1384, 1337, 1385, 1338, 1386, 1339, 1387, 1340,
  1388, 1341, 1389, 1342, 1390, 1343, 1391, 1344, 1392, 1345, 1393, 1346, 1394, 1347,
  1395, 1348, 1396, 1349, 1397, 1350, 1398, 1351, 1399, 1352, 1400, 1353, 1401, 1354,
  1402, 1355, 1403, 1356, 1404, 1357, 1405, 1358, 1406, 1359, 1407, 1360, 1408, 1361,
  1409, 1362, 1410, 1363, 1411, 1364, 1412, 1365, 1413, 1366, 1414, 4256, 11520,
  4257, 11521, 4258, 11522, 4259, 11523, 4260, 11524, 4261, 11525, 4262, 11526, 4263,
  11527, 4264, 11528, 4265, 11529, 4266, 11530, 4267, 11531, 4268, 11532, 4269, 11533,
  4270, 11534, 4271, 11535, 4272, 11536, 4273, 11537, 4274, 11538, 4275, 11539, 4276,
  11540, 4277, 11541, 4278, 11542, 4279, 11543, 4280, 11544, 4281, 11545, 4282, 11546,
  4283, 11547, 4284, 11548, 4285, 11549, 4286, 11550, 4287, 11551, 4288, 11552, 4289,
  11553, 4290, 11554, 4291, 11555, 4292, 11556, 4293, 11557, 4295, 11559, 4301, 11565,
  5024, 43888, 5025, 43889, 5026, 43890, 5027, 43891, 5028, 43892, 5029, 43893, 5030,
  43894, 5031, 43895, 5032, 43896, 5033, 43897, 5034, 43898, 5035, 43899, 5036, 43900,
  5037, 43901, 5038, 43902, 5039, 43903, 5040, 43904, 5041, 43905, 5042, 43906, 5043,
  43907, 5044, 43908, 5045, 43909, 5046, 43910, 5047, 43911, 5048, 43912, 5049, 43913,
  5050, 43914, 5051, 43915, 5052, 43916, 5053, 43917, 5054, 43918, 5055, 43919, 5056,
  43920, 5057, 43921, 5058, 43922, 5059, 43923, 5060, 43924, 5061, 43925, 5062, 43926,
  5063, 43927, 5064, 43928, 5065, 43929, 5066, 43930, 5067, 43931, 5068, 43932, 5069,
  43933, 5070, 43934, 5071, 43935, 5072, 43936, 5073, 43937, 5074, 43938, 5075, 43939,
  5076, 43940, 5077, 43941, 5078, 43942, 5079, 43943, 5080, 43944, 5081, 43945, 5082,
  43946, 5083, 43947, 5084, 43948, 5085, 43949, 5086, 43950, 5087, 43951, 5088, 43952,
  5089, 43953, 5090, 43954, 5091, 43955, 5092, 43956, 5093, 43957, 5094, 43958, 5095,
  43959, 5096, 43960, 5097, 43961, 5098, 43962, 5099, 43963, 5100, 43964, 5101, 43965,
  5102, 43966, 5103, 43967, 5104, 5112, 5105, 5113, 5106, 5114, 5107, 5115, 5108,
  5116, 5109, 5117, 7305, 7306, 7312, 4304, 7313, 4305, 7314, 4306, 7315, 4307, 7316,
  4308, 7317, 4309, 7318, 4310, 7319, 4311, 7320, 4312, 7321, 4313, 7322, 4314, 7323,
  4315, 7324, 4316, 7325, 4317, 7326, 4318, 7327, 4319, 7328, 4320, 7329, 4321, 7330,
  4322, 7331, 4323, 7332, 4324, 7333, 4325, 7334, 4326, 7335, 4327, 7336, 4328, 7337,
  4329, 7338, 4330, 7339, 4331, 7340, 4332, 7341, 4333, 7342, 4334, 7343, 4335, 7344,
  4336, 7345, 4337, 7346, 4338, 7347, 4339, 7348, 4340, 7349, 4341, 7350, 4342, 7351,
  4343, 7352, 4344, 7353, 4345, 7354, 4346, 7357, 4349, 7358, 4350, 7359, 4351, 7680,
  7681, 7682, 7683, 7684, 7685, 7686, 7687, 7688, 7689, 7690, 7691, 7692, 7693, 7694,
  7695, 7696, 7697, 7698, 7699, 7700, 7701, 7702, 7703, 7704, 7705, 7706, 7707, 7708,
  7709, 7710, 7711, 7712, 7713, 7714, 7715, 7716, 7717, 7718, 7719, 7720, 7721, 7722,
  7723, 7724, 7725, 7726, 7727, 7728, 7729, 7730, 7731, 7732, 7733, 7734, 7735, 7736,
  7737, 7738, 7739, 7740, 7741, 7742, 7743, 7744, 7745, 7746, 7747, 7748, 7749, 7750,
  7751, 7752, 7753, 7754, 7755, 7756, 7757, 7758, 7759, 7760, 7761, 7762, 7763, 7764,
  7765, 7766, 7767, 7768, 7769, 7770, 7771, 7772, 7773, 7774, 7775, 7776, 7777, 7778,
  7779, 7780, 7781, 7782, 7783, 7784, 7785, 7786, 7787, 7788, 7789, 7790, 7791, 7792,
  7793, 7794, 7795, 7796, 7797, 7798, 7799, 7800, 7801, 7802, 7803, 7804, 7805, 7806,
  7807, 7808, 7809, 7810, 7811, 7812, 7813, 7814, 7815, 7816, 7817, 7818, 7819, 7820,
  7821, 7822, 7823, 7824, 7825, 7826, 7827, 7828, 7829, 7838, 223, 7840, 7841, 7842,
  7843, 7844, 7845, 7846, 7847, 7848, 7849, 7850, 7851, 7852, 7853, 7854, 7855, 7856,
  7857, 7858, 7859, 7860, 7861, 7862, 7863, 7864, 7865, 7866, 7867, 7868, 7869, 7870,
  7871, 7872, 7873, 7874, 7875, 7876, 7877, 7878, 7879, 7880, 7881, 7882, 7883, 7884,
  7885, 7886, 7887, 7888, 7889, 7890, 7891, 7892, 7893, 7894, 7895, 7896, 7897, 7898,
  7899, 7900, 7901, 7902, 7903, 7904, 7905, 7906, 7907, 7908, 7909, 7910, 7911, 7912,
  7913, 7914, 7915, 7916, 7917, 7918, 7919, 7920, 7921, 7922, 7923, 7924, 7925, 7926,
  7927, 7928, 7929, 7930, 7931, 7932, 7933, 7934, 7935, 7944, 7936, 7945, 7937, 7946,
  7938, 7947, 7939, 7948, 7940, 7949, 7941, 7950, 7942, 7951, 7943, 7960, 7952, 7961,
  7953, 7962, 7954, 7963, 7955, 7964, 7956, 7965, 7957, 7976, 7968, 7977, 7969, 7978,
  7970, 7979, 7971, 7980, 7972, 7981, 7973, 7982, 7974, 7983, 7975, 7992, 7984, 7993,
  7985, 7994, 7986, 7995, 7987, 7996, 7988, 7997, 7989, 7998, 7990, 7999, 7991, 8008,
  8000, 8009, 8001, 8010, 8002, 8011, 8003, 8012, 8004, 8013, 8005, 8025, 8017, 8027,
  8019, 8029, 8021, 8031, 8023, 8040, 8032, 8041, 8033, 8042, 8034, 8043, 8035, 8044,
  8036, 8045, 8037, 8046, 8038, 8047, 8039, 8072, 8064, 8073, 8065, 8074, 8066, 8075,
  8067, 8076, 8068, 8077, 8069, 8078, 8070, 8079, 8071, 8088, 8080, 8089, 8081, 8090,
  8082, 8091, 8083, 8092, 8084, 8093, 8085, 8094, 8086, 8095, 8087, 8104, 8096, 8105,
  8097, 8106, 8098, 8107, 8099, 8108, 8100, 8109, 8101, 8110, 8102, 8111, 8103, 8120,
  8112, 8121, 8113, 8122, 8048, 8123, 8049, 8124, 8115, 8136, 8050, 8137, 8051, 8138,
  8052, 8139, 8053, 8140, 8131, 8152, 8144, 8153, 8145, 8154, 8054, 8155, 8055, 8168,
  8160, 8169, 8161, 8170, 8058, 8171, 8059, 8172, 8165, 8184, 8056, 8185, 8057, 8186,
  8060, 8187, 8061, 8188, 8179, 8486, 969, 8490, 107, 8491, 229, 8498, 8526, 8544,
  8560, 8545, 8561, 8546, 8562, 8547, 8563, 8548, 8564, 8549, 8565, 8550, 8566, 8551,
  8567, 8552, 8568, 8553, 8569, 8554, 8570, 8555, 8571, 8556, 8572, 8557, 8573, 8558,
  8574, 8559, 8575, 8579, 8580, 9398, 9424, 9399, 9425, 9400, 9426, 9401, 9427, 9402,
  9428, 9403, 9429, 9404, 9430, 9405, 9431, 9406, 9432, 9407, 9433, 9408, 9434, 9409,
  9435, 9410, 9436, 9411, 9437, 9412, 9438, 9413, 9439, 9414, 9440, 9415, 9441, 9416,
  9442, 9417, 9443, 9418, 9444, 9419, 9445, 9420, 9446, 9421, 9447, 9422, 9448, 9423,
  9449, 11264, 11312, 11265, 11313, 11266, 11314, 11267, 11315, 11268, 11316, 11269,
  11317, 11270, 11318, 11271, 11319, 11272, 11320, 11273, 11321, 11274, 11322, 11275,
  11323, 11276, 11324, 11277, 11325, 11278, 11326, 11279, 11327, 11280, 11328, 11281,
  11329, 11282, 11330, 11283, 11331, 11284, 11332, 11285, 11333, 11286, 11334, 11287,
  11335, 11288, 11336, 11289, 11337, 11290, 11338, 11291, 11339, 11292, 11340, 11293,
  11341, 11294, 11342, 11295, 11343, 11296, 11344, 11297, 11345, 11298, 11346, 11299,
  11347, 11300, 11348, 11301, 11349, 11302, 11350, 11303, 11351, 11304, 11352, 11305,
  11353, 11306, 11354, 11307, 11355, 11308, 11356, 11309, 11357, 11310, 11358, 11311,
  11359, 11360, 11361, 11362, 619, 11363, 7549, 11364, 637, 11367, 11368, 11369,
  11370, 11371, 11372, 11373, 593, 11374, 625, 11375, 592, 11376, 594, 11378, 11379,
  11381, 11382, 11390, 575, 11391, 576, 11392, 11393, 11394, 11395, 11396, 11397,
  11398, 11399, 11400, 11401, 11402, 11403, 11404, 11405, 11406, 11407, 11408, 11409,
  11410, 11411, 11412, 11413, 11414, 11415, 11416, 11417, 11418, 11419, 11420, 11421,
  11422, 11423, 11424, 11425, 11426, 11427, 11428, 11429, 11430, 11431, 11432, 11433,
  11434, 11435, 11436, 11437, 11438, 11439, 11440, 11441, 11442, 11443, 11444, 11445,
  11446, 11447, 11448, 11449, 11450, 11451, 11452, 11453, 11454, 11455, 11456, 11457,
  11458, 11459, 11460, 11461, 11462, 11463, 11464, 11465, 11466, 11467, 11468, 11469,
  11470, 11471, 11472, 11473, 11474, 11475, 11476, 11477, 11478, 11479, 11480, 11481,
  11482, 11483, 11484, 11485, 11486, 11487, 11488, 11489, 11490, 11491, 11499, 11500,
  11501, 11502, 11506, 11507, 42560, 42561, 42562, 42563, 42564, 42565, 42566, 42567,
  42568, 42569, 42570, 42571, 42572, 42573, 42574, 42575, 42576, 42577, 42578, 42579,
  42580, 42581, 42582, 42583, 42584, 42585, 42586, 42587, 42588, 42589, 42590, 42591,
  42592, 42593, 42594, 42595, 42596, 42597, 42598, 42599, 42600, 42601, 42602, 42603,
  42604, 42605, 42624, 42625, 42626, 42627, 42628, 42629, 42630, 42631, 42632, 42633,
  42634, 42635, 42636, 42637, 42638, 42639, 42640, 42641, 42642, 42643, 42644, 42645,
  42646, 42647, 42648, 42649, 42650, 42651, 42786, 42787, 42788, 42789, 42790, 42791,
  42792, 42793, 42794, 42795, 42796, 42797, 42798, 42799, 42802, 42803, 42804, 42805,
  42806, 42807, 42808, 42809, 42810, 42811, 42812, 42813, 42814, 42815, 42816, 42817,
  42818, 42819, 42820, 42821, 42822, 42823, 42824, 42825, 42826, 42827, 42828, 42829,
  42830, 42831, 42832, 42833, 42834, 42835, 42836, 42837, 42838, 42839, 42840, 42841,
  42842, 42843, 42844, 42845, 42846, 42847, 42848, 42849, 42850, 42851, 42852, 42853,
  42854, 42855, 42856, 42857, 42858, 42859, 42860, 42861, 42862, 42863, 42873, 42874,
  42875, 42876, 42877, 7545, 42878, 42879, 42880, 42881, 42882, 42883, 42884, 42885,
  42886, 42887, 42891, 42892, 42893, 613, 42896, 42897, 42898, 42899, 42902, 42903,
  42904, 42905, 42906, 42907, 42908, 42909, 42910, 42911, 42912, 42913, 42914, 42915,
  42916, 42917, 42918, 42919, 42920, 42921, 42922, 614, 42923, 604, 42924, 609, 42925,
  620, 42926, 618, 42928, 670, 42929, 647, 42930, 669, 42931, 43859, 42932, 42933,
  42934, 42935, 42936, 42937, 42938, 42939, 42940, 42941, 42942, 42943, 42944, 42945,
  42946, 42947, 42948, 42900, 42949, 642, 42950, 7566, 42951, 42952, 42953, 42954,
  42955, 612, 42956, 42957, 42960, 42961, 42966, 42967, 42968, 42969, 42970, 42971,
  42972, 411, 42997, 42998, 65313, 65345, 65314, 65346, 65315, 65347, 65316, 65348,
  65317, 65349, 65318, 65350, 65319, 65351, 65320, 65352, 65321, 65353, 65322, 65354,
  65323, 65355, 65324, 65356, 65325, 65357, 65326, 65358, 65327, 65359, 65328, 65360,
  65329, 65361, 65330, 65362, 65331, 65363, 65332, 65364, 65333, 65365, 65334, 65366,
  65335, 65367, 65336, 65368, 65337, 65369, 65338, 65370, 66560, 66600, 66561, 66601,
  66562, 66602, 66563, 66603, 66564, 66604, 66565, 66605, 66566, 66606, 66567, 66607,
  66568, 66608, 66569, 66609, 66570, 66610, 66571, 66611, 66572, 66612, 66573, 66613,
  66574, 66614, 66575, 66615, 66576, 66616, 66577, 66617, 66578, 66618, 66579, 66619,
  66580, 66620, 66581, 66621, 66582, 66622, 66583, 66623, 66584, 66624, 66585, 66625,
  66586, 66626, 66587, 66627, 66588, 66628, 66589, 66629, 66590, 66630, 66591, 66631,
  66592, 66632, 66593, 66633, 66594, 66634, 66595, 66635, 66596, 66636, 66597, 66637,
  66598, 66638, 66599, 66639, 66736, 66776, 66737, 66777, 66738, 66778, 66739, 66779,
  66740, 66780, 66741, 66781, 66742, 66782, 66743, 66783, 66744, 66784, 66745, 66785,
  66746, 66786, 66747, 66787, 66748, 66788, 66749, 66789, 66750, 66790, 66751, 66791,
  66752, 66792, 66753, 66793, 66754, 66794, 66755, 66795, 66756, 66796, 66757, 66797,
  66758, 66798, 66759, 66799, 66760, 66800, 66761, 66801, 66762, 66802, 66763, 66803,
  66764, 66804, 66765, 66805, 66766, 66806, 66767, 66807, 66768, 66808, 66769, 66809,
  66770, 66810, 66771, 66811, 66928, 66967, 66929, 66968, 66930, 66969, 66931, 66970,
  66932, 66971, 66933, 66972, 66934, 66973, 66935, 66974, 66936, 66975, 66937, 66976,
  66938, 66977, 66940, 66979, 66941, 66980, 66942, 66981, 66943, 66982, 66944, 66983,
  66945, 66984, 66946, 66985, 66947, 66986, 66948, 66987, 66949, 66988, 66950, 66989,
  66951, 66990, 66952, 66991, 66953, 66992, 66954, 66993, 66956, 66995, 66957, 66996,
  66958, 66997, 66959, 66998, 66960, 66999, 66961, 67000, 66962, 67001, 66964, 67003,
  66965, 67004, 68736, 68800, 68737, 68801, 68738, 68802, 68739, 68803, 68740, 68804,
  68741, 68805, 68742, 68806, 68743, 68807, 68744, 68808, 68745, 68809, 68746, 68810,
  68747, 68811, 68748, 68812, 68749, 68813, 68750, 68814, 68751, 68815, 68752, 68816,
  68753, 68817, 68754, 68818, 68755, 68819, 68756, 68820, 68757, 68821, 68758, 68822,
  68759, 68823, 68760, 68824, 68761, 68825, 68762, 68826, 68763, 68827, 68764, 68828,
  68765, 68829, 68766, 68830, 68767, 68831, 68768, 68832, 68769, 68833, 68770, 68834,
  68771, 68835, 68772, 68836, 68773, 68837, 68774, 68838, 68775, 68839, 68776, 68840,
  68777, 68841, 68778, 68842, 68779, 68843, 68780, 68844, 68781, 68845, 68782, 68846,
  68783, 68847, 68784, 68848, 68785, 68849, 68786, 68850, 68944, 68976, 68945, 68977,
  68946, 68978, 68947, 68979, 68948, 68980, 68949, 68981, 68950, 68982, 68951, 68983,
  68952, 68984, 68953, 68985, 68954, 68986, 68955, 68987, 68956, 68988, 68957, 68989,
  68958, 68990, 68959, 68991, 68960, 68992, 68961, 68993, 68962, 68994, 68963, 68995,
  68964, 68996, 68965, 68997, 71840, 71872, 71841, 71873, 71842, 71874, 71843, 71875,
  71844, 71876, 71845, 71877, 71846, 71878, 71847, 71879, 71848, 71880, 71849, 71881,
  71850, 71882, 71851, 71883, 71852, 71884, 71853, 71885, 71854, 71886, 71855, 71887,
  71856, 71888, 71857, 71889, 71858, 71890, 71859, 71891, 71860, 71892, 71861, 71893,
  71862, 71894, 71863, 71895, 71864, 71896, 71865, 71897, 71866, 71898, 71867, 71899,
  71868, 71900, 71869, 71901, 71870, 71902, 71871, 71903, 93760, 93792, 93761, 93793,
  93762, 93794, 93763, 93795, 93764, 93796, 93765, 93797, 93766, 93798, 93767, 93799,
  93768, 93800, 93769, 93801, 93770, 93802, 93771, 93803, 93772, 93804, 93773, 93805,
  93774, 93806, 93775, 93807, 93776, 93808, 93777, 93809, 93778, 93810, 93779, 93811,
  93780, 93812, 93781, 93813, 93782, 93814, 93783, 93815, 93784, 93816, 93785, 93817,
  93786, 93818, 93787, 93819, 93788, 93820, 93789, 93821, 93790, 93822, 93791, 93823,
  125184, 125218, 125185, 125219, 125186, 125220, 125187, 125221, 125188, 125222,
  125189, 125223, 125190, 125224, 125191, 125225, 125192, 125226, 125193, 125227,
  125194, 125228, 125195, 125229, 125196, 125230, 125197, 125231, 125198, 125232,
  125199, 125233, 125200, 125234, 125201, 125235, 125202, 125236, 125203, 125237,
  125204, 125238, 125205, 125239, 125206, 125240, 125207, 125241, 125208, 125242,
  125209, 125243, 125210, 125244, 125211, 125245, 125212, 125246, 125213, 125247,
  125214, 125248, 125215, 125249, 125216, 125250, 125217, 125251,
]

///|
/// Code points whose IGNORECASE equivalence class is non-trivial (sorted).
let case_equiv_keys : FixedArray[Int] = [
  65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84,
  85, 86, 87, 88, 89, 90, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108,
  109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 181, 192,
  193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208,
  209, 210, 211, 212, 213, 214, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225,
  226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241,
  242, 243, 244, 245, 246, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258,
  259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274,
  275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290,
  291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306,
  307, 308, 309, 310, 311, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323,
  324, 325, 326, 327, 328, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340,
  341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356,
  357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372,
  373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388,
  389, 390, 391, 392, 393, 394, 395, 396, 398, 399, 400, 401, 402, 403, 404, 405,
  406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 421,
  422, 423, 424, 425, 428, 429, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439,
  440, 441, 444, 445, 447, 452, 453, 454, 455, 456, 457, 458, 459, 460, 461, 462,
  463, 464, 465, 466, 467, 468, 469, 470, 471, 472, 473, 474, 475, 476, 477, 478,
  479, 480, 481, 482, 483, 484, 485, 486, 487, 488, 489, 490, 491, 492, 493, 494,
  495, 497, 498, 499, 500, 501, 502, 503, 504, 505, 506, 507, 508, 509, 510, 511,
  512, 513, 514, 515, 516, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527,
  528, 529, 530, 531, 532, 533, 534, 535, 536, 537, 538, 539, 540, 541, 542, 543,
  544, 546, 547, 548, 549, 550, 551, 552, 553, 554, 555, 556, 557, 558, 559, 560,
  561, 562, 563, 570, 571, 572, 573, 574, 575, 576, 577, 578, 579, 580, 581, 582,
  583, 584, 585, 586, 587, 588, 589, 590, 591, 592, 593, 594, 595, 596, 598, 599,
  601, 603, 604, 608, 609, 611, 612, 613, 614, 616, 617, 618, 619, 620, 623, 625,
  626, 629, 637, 640, 642, 643, 647, 648, 649, 650, 651, 652, 658, 669, 670, 837,
  880, 881, 882, 883, 886, 887, 891, 892, 893, 895, 902, 904, 905, 906, 908, 910,
  911, 912, 913, 914, 915, 916, 917, 918, 919, 920, 921, 922, 923, 924, 925, 926,
  927, 928, 929, 931, 932, 933, 934, 935, 936, 937, 938, 939, 940, 941, 942, 943,
  944, 945, 946, 947, 948, 949, 950, 951, 952, 953, 954, 955, 956, 957, 958, 959,
  960, 961, 962, 963, 964, 965, 966, 967, 968, 969, 970, 971, 972, 973, 974, 975,
  976, 977, 981, 982, 983, 984, 985, 986, 987, 988, 989, 990, 991, 992, 993, 994,
  995, 996, 997, 998, 999, 1000, 1001, 1002, 1003, 1004, 1005, 1006, 1007, 1008,
  1009, 1010, 1011, 1012, 1013, 1015, 1016, 1017, 1018, 1019, 1021, 1022, 1023, 1024,
  1025, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038,
  1039, 1040, 1041, 1042, 1043, 1044, 1045, 1046, 1047, 1048, 1049, 1050, 1051, 1052,
  1053, 1054, 1055, 1056, 1057, 1058, 1059, 1060, 1061, 1062, 1063, 1064, 1065, 1066,
  1067, 1068, 1069, 1070, 1071, 1072, 1073, 1074, 1075, 1076, 1077, 1078, 1079, 1080,
  1081, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1089, 1090, 1091, 1092, 1093, 1094,
  1095, 1096, 1097, 1098, 1099, 1100, 1101, 1102, 1103, 1104, 1105, 1106, 1107, 1108,
  1109, 1110, 1111, 1112, 1113, 1114, 1115, 1116, 1117, 1118, 1119, 1120, 1121, 1122,
  1123, 1124, 1125, 1126, 1127, 1128, 1129, 1130, 1131, 1132, 1133, 1134, 1135, 1136,
  1137, 1138, 1139, 1140, 1141, 1142, 1143, 1144, 1145, 1146, 1147, 1148, 1149, 1150,
  1151, 1152, 1153, 1162, 1163, 1164, 1165, 1166, 1167, 1168, 1169, 1170, 1171, 1172,
  1173, 1174, 1175, 1176, 1177, 1178, 1179, 1180, 1181, 1182, 1183, 1184, 1185, 1186,
  1187, 1188, 1189, 1190, 1191, 1192, 1193, 1194, 1195, 1196, 1197, 1198, 1199, 1200,
  1201, 1202, 1203, 1204, 1205, 1206, 1207, 1208, 1209, 1210, 1211, 1212, 1213, 1214,
  1215, 1216, 1217, 1218, 1219, 1220, 1221, 1222, 1223, 1224, 1225, 1226, 1227, 1228,
  1229, 1230, 1231, 1232, 1233, 1234, 1235, 1236, 1237, 1238, 1239, 1240, 1241, 1242,
  1243, 1244, 1245, 1246, 1247, 1248, 1249, 1250, 1251, 1252, 1253, 1254, 1255, 1256,
  1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267, 1268, 1269, 1270,
  1271, 1272, 1273, 1274, 1275, 1276, 1277, 1278, 1279, 1280, 1281, 1282, 1283, 1284,
  1285, 1286, 1287, 1288, 1289, 1290, 1291, 1292, 1293, 1294, 1295, 1296, 1297, 1298,
  1299, 1300, 1301, 1302, 1303, 1304, 1305, 1306, 1307, 1308, 1309, 1310, 1311, 1312,
  1313, 1314, 1315, 1316, 1317, 1318, 1319, 1320, 1321, 1322, 1323, 1324, 1325, 1326,
  1327, 1329, 1330, 1331, 1332, 1333, 1334, 1335, 1336, 1337, 1338, 1339, 1340, 1341,
  1342, 1343, 1344, 1345, 1346, 1347, 1348, 1349, 1350, 1351, 1352, 1353, 1354, 1355,
  1356, 1357, 1358, 1359, 1360, 1361, 1362, 1363, 1364, 1365, 1366, 1377, 1378, 1379,
  1380, 1381, 1382, 1383, 1384, 1385, 1386, 1387, 1388, 1389, 1390, 1391, 1392, 1393,
  1394, 1395, 1396, 1397, 1398, 1399, 1400, 1401, 1402, 1403, 1404, 1405, 1406, 1407,
  1408, 1409, 1410, 1411, 1412, 1413, 1414, 4256, 4257, 4258, 4259, 4260, 4261, 4262,
  4263, 4264, 4265, 4266, 4267, 4268, 4269, 4270, 4271, 4272, 4273, 4274, 4275, 4276,
  4277, 4278, 4279, 4280, 4281, 4282, 4283, 4284, 4285, 4286, 4287, 4288, 4289, 4290,
  4291, 4292, 4293, 4295, 4301, 4304, 4305, 4306, 4307, 4308, 4309, 4310, 4311, 4312,
  4313, 4314, 4315, 4316, 4317, 4318, 4319, 4320, 4321, 4322, 4323, 4324, 4325, 4326,
  4327, 4328, 4329, 4330, 4331, 4332, 4333, 4334, 4335, 4336, 4337, 4338, 4339, 4340,
  4341, 4342, 4343, 4344, 4345, 4346, 4349, 4350, 4351, 5024, 5025, 5026, 5027, 5028,
  5029, 5030, 5031, 5032, 5033, 5034, 5035, 5036, 5037, 5038, 5039, 5040, 5041, 5042,
  5043, 5044, 5045, 5046, 5047, 5048, 5049, 5050, 5051, 5052, 5053, 5054, 5055, 5056,
  5057, 5058, 5059, 5060, 5061, 5062, 5063, 5064, 5065, 5066, 5067, 5068, 5069, 5070,
  5071, 5072, 5073, 5074, 5075, 5076, 5077, 5078, 5079, 5080, 5081, 5082, 5083, 5084,
  5085, 5086, 5087, 5088, 5089, 5090, 5091, 5092, 5093, 5094, 5095, 5096, 5097, 5098,
  5099, 5100, 5101, 5102, 5103, 5104, 5105, 5106, 5107, 5108, 5109, 5112, 5113, 5114,
  5115, 5116, 5117, 7296, 7297, 7298, 7299, 7300, 7301, 7302, 7303, 7304, 7305, 7306,
  7312, 7313, 7314, 7315, 7316, 7317, 7318, 7319, 7320, 7321, 7322, 7323, 7324, 7325,
  7326, 7327, 7328, 7329, 7330, 7331, 7332, 7333, 7334, 7335, 7336, 7337, 7338, 7339,
  7340, 7341, 7342, 7343, 7344, 7345, 7346, 7347, 7348, 7349, 7350, 7351, 7352, 7353,
  7354, 7357, 7358, 7359, 7545, 7549, 7566, 7680, 7681, 7682, 7683, 7684, 7685, 7686,
  7687, 7688, 7689, 7690, 7691, 7692, 7693, 7694, 7695, 7696, 7697, 7698, 7699, 7700,
  7701, 7702, 7703, 7704, 7705, 7706, 7707, 7708, 7709, 7710, 7711, 7712, 7713, 7714,
  7715, 7716, 7717, 7718, 7719, 7720, 7721, 7722, 7723, 7724, 7725, 7726, 7727, 7728,
  7729, 7730, 7731, 7732, 7733, 7734, 7735, 7736, 7737, 7738, 7739, 7740, 7741, 7742,
  7743, 7744, 7745, 7746, 7747, 7748, 7749, 7750, 7751, 7752, 7753, 7754, 7755, 7756,
  7757, 7758, 7759, 7760, 7761, 7762, 7763, 7764, 7765, 7766, 7767, 7768, 7769, 7770,
  7771, 7772, 7773, 7774, 7775, 7776, 7777, 7778, 7779, 7780, 7781, 7782, 7783, 7784,
  7785, 7786, 7787, 7788, 7789, 7790, 7791, 7792, 7793, 7794, 7795, 7796, 7797, 7798,
  7799, 7800, 7801, 7802, 7803, 7804, 7805, 7806, 7807, 7808, 7809, 7810, 7811, 7812,
  7813, 7814, 7815, 7816, 7817, 7818, 7819, 7820, 7821, 7822, 7823, 7824, 7825, 7826,
  7827, 7828, 7829, 7835, 7838, 7840, 7841, 7842, 7843, 7844, 7845, 7846, 7847, 7848,
  7849, 7850, 7851, 7852, 7853, 7854, 7855, 7856, 7857, 7858, 7859, 7860, 7861, 7862,
  7863, 7864, 7865, 7866, 7867, 7868, 7869, 7870, 7871, 7872, 7873, 7874, 7875, 7876,
  7877, 7878, 7879, 7880, 7881, 7882, 7883, 7884, 7885, 7886, 7887, 7888, 7889, 7890,
  7891, 7892, 7893, 7894, 7895, 7896, 7897, 7898, 7899, 7900, 7901, 7902, 7903, 7904,
  7905, 7906, 7907, 7908, 7909, 7910, 7911, 7912, 7913, 7914, 7915, 7916, 7917, 7918,
  7919, 7920, 7921, 7922, 7923, 7924, 7925, 7926, 7927, 7928, 7929, 7930, 7931, 7932,
  7933, 7934, 7935, 7936, 7937, 7938, 7939, 7940, 7941, 7942, 7943, 7944, 7945, 7946,
  7947, 7948, 7949, 7950, 7951, 7952, 7953, 7954, 7955, 7956, 7957, 7960, 7961, 7962,
  7963, 7964, 7965, 7968, 7969, 7970, 7971, 7972, 7973, 7974, 7975, 7976, 7977, 7978,
  7979, 7980, 7981, 7982, 7983, 7984, 7985, 7986, 7987, 7988, 7989, 7990, 7991, 7992,
  7993, 7994, 7995, 7996, 7997, 7998, 7999, 8000, 8001, 8002, 8003, 8004, 8005, 8008,
  8009, 8010, 8011, 8012, 8013, 8017, 8019, 8021, 8023, 8025, 8027, 8029, 8031, 8032,
  8033, 8034, 8035, 8036, 8037, 8038, 8039, 8040, 8041, 8042, 8043, 8044, 8045, 8046,
  8047, 8048, 8049, 8050, 8051, 8052, 8053, 8054, 8055, 8056, 8057, 8058, 8059, 8060,
  8061, 8064, 8065, 8066, 8067, 8068, 8069, 8070, 8071, 8072, 8073, 8074, 8075, 8076,
  8077, 8078, 8079, 8080, 8081, 8082, 8083, 8084, 8085, 8086, 8087, 8088, 8089, 8090,
  8091, 8092, 8093, 8094, 8095, 8096, 8097, 8098, 8099, 8100, 8101, 8102, 8103, 8104,
  8105, 8106, 8107, 8108, 8109, 8110, 8111, 8112, 8113, 8115, 8120, 8121, 8122, 8123,
  8124, 8126, 8131, 8136, 8137, 8138, 8139, 8140, 8144, 8145, 8147, 8152, 8153, 8154,
  8155, 8160, 8161, 8163, 8165, 8168, 8169, 8170, 8171, 8172, 8179, 8184, 8185, 8186,
  8187, 8188, 8486, 8490, 8491, 8498, 8526, 8544, 8545, 8546, 8547, 8548, 8549, 8550,
  8551, 8552, 8553, 8554, 8555, 8556, 8557, 8558, 8559, 8560, 8561, 8562, 8563, 8564,
  8565, 8566, 8567, 8568, 8569, 8570, 8571, 8572, 8573, 8574, 8575, 8579, 8580, 9398,
  9399, 9400, 9401, 9402, 9403, 9404, 9405, 9406, 9407, 9408, 9409, 9410, 9411, 9412,
  9413, 9414, 9415, 9416, 9417, 9418, 9419, 9420, 9421, 9422, 9423, 9424, 9425, 9426,
  9427, 9428, 9429, 9430, 9431, 9432, 9433, 9434, 9435, 9436, 9437, 9438, 9439, 9440,
  9441, 9442, 9443, 9444, 9445, 9446, 9447, 9448, 9449, 11264, 11265, 11266, 11267,
  11268, 11269, 11270, 11271, 11272, 11273, 11274, 11275, 11276, 11277, 11278, 11279,
  11280, 11281, 11282, 11283, 11284, 11285, 11286, 11287, 11288, 11289, 11290, 11291,
  11292, 11293, 11294, 11295, 11296, 11297, 11298, 11299, 11300, 11301, 11302, 11303,
  11304, 11305, 11306, 11307, 11308, 11309, 11310, 11311, 11312, 11313, 11314, 11315,
  11316, 11317, 11318, 11319, 11320, 11321, 11322, 11323, 11324, 11325, 11326, 11327,
  11328, 11329, 11330, 11331, 11332, 11333, 11334, 11335, 11336, 11337, 11338, 11339,
  11340, 11341, 11342, 11343, 11344, 11345, 11346, 11347, 11348, 11349, 11350, 11351,
  11352, 11353, 11354, 11355, 11356, 11357, 11358, 11359, 11360, 11361, 11362, 11363,
  11364, 11365, 11366, 11367, 11368, 11369, 11370, 11371, 11372, 11373, 11374, 11375,
  11376, 11378, 11379, 11381, 11382, 11390, 11391, 11392, 11393, 11394, 11395, 11396,
  11397, 11398, 11399, 11400, 11401, 11402, 11403, 11404, 11405, 11406, 11407, 11408,
  11409, 11410, 11411, 11412, 11413, 11414, 11415, 11416, 11417, 11418, 11419, 11420,
  11421, 11422, 11423, 11424, 11425, 11426, 11427, 11428, 11429, 11430, 11431, 11432,
  11433, 11434, 11435, 11436, 11437, 11438, 11439, 11440, 11441, 11442, 11443, 11444,
  11445, 11446, 11447, 11448, 11449, 11450, 11451, 11452, 11453, 11454, 11455, 11456,
  11457, 11458, 11459, 11460, 11461, 11462, 11463, 11464, 11465, 11466, 11467, 11468,
  11469, 11470, 11471, 11472, 11473, 11474, 11475, 11476, 11477, 11478, 11479, 11480,
  11481, 11482, 11483, 11484, 11485, 11486, 11487, 11488, 11489, 11490, 11491, 11499,
  11500, 11501, 11502, 11506, 11507, 11520, 11521, 11522, 11523, 11524, 11525, 11526,
  11527, 11528, 11529, 11530, 11531, 11532, 11533, 11534, 11535, 11536, 11537, 11538,
  11539, 11540, 11541, 11542, 11543, 11544, 11545, 11546, 11547, 11548, 11549, 11550,
  11551, 11552, 11553, 11554, 11555, 11556, 11557, 11559, 11565, 42560, 42561, 42562,
  42563, 42564, 42565, 42566, 42567, 42568, 42569, 42570, 42571, 42572, 42573, 42574,
  42575, 42576, 42577, 42578, 42579, 42580, 42581, 42582, 42583, 42584, 42585, 42586,
  42587, 42588, 42589, 42590, 42591, 42592, 42593, 42594, 42595, 42596, 42597, 42598,
  42599, 42600, 42601, 42602, 42603, 42604, 42605, 42624, 42625, 42626, 42627, 42628,
  42629, 42630, 42631, 42632, 42633, 42634, 42635, 42636, 42637, 42638, 42639, 42640,
  42641, 42642, 42643, 42644, 42645, 42646, 42647, 42648, 42649, 42650, 42651, 42786,
  42787, 42788, 42789, 42790, 42791, 42792, 42793, 42794, 42795, 42796, 42797, 42798,
  42799, 42802, 42803, 42804, 42805, 42806, 42807, 42808, 42809, 42810, 42811, 42812,
  42813, 42814, 42815, 42816, 42817, 42818, 42819, 42820, 42821, 42822, 42823, 42824,
  42825, 42826, 42827, 42828, 42829, 42830, 42831, 42832, 42833, 42834, 42835, 42836,
  42837, 42838, 42839, 42840, 42841, 42842, 42843, 42844, 42845, 42846, 42847, 42848,
  42849, 42850, 42851, 42852, 42853, 42854, 42855, 42856, 42857, 42858, 42859, 42860,
  42861, 42862, 42863, 42873, 42874, 42875, 42876, 42877, 42878, 42879, 42880, 42881,
  42882, 42883, 42884, 42885, 42886, 42887, 42891, 42892, 42893, 42896, 42897, 42898,
  42899, 42900, 42902, 42903, 42904, 42905, 42906, 42907, 42908, 42909, 42910, 42911,
  42912, 42913, 42914, 42915, 42916, 42917, 42918, 42919, 42920, 42921, 42922, 42923,
  42924, 42925, 42926, 42928, 42929, 42930, 42931, 42932, 42933, 42934, 42935, 42936,
  42937, 42938, 42939, 42940, 42941, 42942, 42943, 42944, 42945, 42946, 42947, 42948,
  42949, 42950, 42951, 42952, 42953, 42954, 42955, 42956, 42957, 42960, 42961, 42966,
  42967, 42968, 42969, 42970, 42971, 42972, 42997, 42998, 43859, 43888, 43889, 43890,
  43891, 43892, 43893, 43894, 43895, 43896, 43897, 43898, 43899, 43900, 43901, 43902,
  43903, 43904, 43905, 43906, 43907, 43908, 43909, 43910, 43911, 43912, 43913, 43914,
  43915, 43916, 43917, 43918, 43919, 43920, 43921, 43922, 43923, 43924, 43925, 43926,
  43927, 43928, 43929, 43930, 43931, 43932, 43933, 43934, 43935, 43936, 43937, 43938,
  43939, 43940, 43941, 43942, 43943, 43944, 43945, 43946, 43947, 43948, 43949, 43950,
  43951, 43952, 43953, 43954, 43955, 43956, 43957, 43958, 43959, 43960, 43961, 43962,
  43963, 43964, 43965, 43966, 43967, 64261, 64262, 65313, 65314, 65315, 65316, 65317,
  65318, 65319, 65320, 65321, 65322, 65323, 65324, 65325, 65326, 65327, 65328, 65329,
  65330, 65331, 65332, 65333, 65334, 65335, 65336, 65337, 65338, 65345, 65346, 65347,
  65348, 65349, 65350, 65351, 65352, 65353, 65354, 65355, 65356, 65357, 65358, 65359,
  65360, 65361, 65362, 65363, 65364, 65365, 65366, 65367, 65368, 65369, 65370, 66560,
  66561, 66562, 66563, 66564, 66565, 66566, 66567, 66568, 66569, 66570, 66571, 66572,
  66573, 66574, 66575, 66576, 66577, 66578, 66579, 66580, 66581, 66582, 66583, 66584,
  66585, 66586, 66587, 66588, 66589, 66590, 66591, 66592, 66593, 66594, 66595, 66596,
  66597, 66598, 66599, 66600, 66601, 66602, 66603, 66604, 66605, 66606, 66607, 66608,
  66609, 66610, 66611, 66612, 66613, 66614, 66615, 66616, 66617, 66618, 66619, 66620,
  66621, 66622, 66623, 66624, 66625, 66626, 66627, 66628, 66629, 66630, 66631, 66632,
  66633, 66634, 66635, 66636, 66637, 66638, 66639, 66736, 66737, 66738, 66739, 66740,
  66741, 66742, 66743, 66744, 66745, 66746, 66747, 66748, 66749, 66750, 66751, 66752,
  66753, 66754, 66755, 66756, 66757, 66758, 66759, 66760, 66761, 66762, 66763, 66764,
  66765, 66766, 66767, 66768, 66769, 66770, 66771, 66776, 66777, 66778, 66779, 66780,
  66781, 66782, 66783, 66784, 66785, 66786, 66787, 66788, 66789, 66790, 66791, 66792,
  66793, 66794, 66795, 66796, 66797, 66798, 66799, 66800, 66801, 66802, 66803, 66804,
  66805, 66806, 66807, 66808, 66809, 66810, 66811, 66928, 66929, 66930, 66931, 66932,
  66933, 66934, 66935, 66936, 66937, 66938, 66940, 66941, 66942, 66943, 66944, 66945,
  66946, 66947, 66948, 66949, 66950, 66951, 66952, 66953, 66954, 66956, 66957, 66958,
  66959, 66960, 66961, 66962, 66964, 66965, 66967, 66968, 66969, 66970, 66971, 66972,
  66973, 66974, 66975, 66976, 66977, 66979, 66980, 66981, 66982, 66983, 66984, 66985,
  66986, 66987, 66988, 66989, 66990, 66991, 66992, 66993, 66995, 66996, 66997, 66998,
  66999, 67000, 67001, 67003, 67004, 68736, 68737, 68738, 68739, 68740, 68741, 68742,
  68743, 68744, 68745, 68746, 68747, 68748, 68749, 68750, 68751, 68752, 68753, 68754,
  68755, 68756, 68757, 68758, 68759, 68760, 68761, 68762, 68763, 68764, 68765, 68766,
  68767, 68768, 68769, 68770, 68771, 68772, 68773, 68774, 68775, 68776, 68777, 68778,
  68779, 68780, 68781, 68782, 68783, 68784, 68785, 68786, 68800, 68801, 68802, 68803,
  68804, 68805, 68806, 68807, 68808, 68809, 68810, 68811, 68812, 68813, 68814, 68815,
  68816, 68817, 68818, 68819, 68820, 68821, 68822, 68823, 68824, 68825, 68826, 68827,
  68828, 68829, 68830, 68831, 68832, 68833, 68834, 68835, 68836, 68837, 68838, 68839,
  68840, 68841, 68842, 68843, 68844, 68845, 68846, 68847, 68848, 68849, 68850, 68944,
  68945, 68946, 68947, 68948, 68949, 68950, 68951, 68952, 68953, 68954, 68955, 68956,
  68957, 68958, 68959, 68960, 68961, 68962, 68963, 68964, 68965, 68976, 68977, 68978,
  68979, 68980, 68981, 68982, 68983, 68984, 68985, 68986, 68987, 68988, 68989, 68990,
  68991, 68992, 68993, 68994, 68995, 68996, 68997, 71840, 71841, 71842, 71843, 71844,
  71845, 71846, 71847, 71848, 71849, 71850, 71851, 71852, 71853, 71854, 71855, 71856,
  71857, 71858, 71859, 71860, 71861, 71862, 71863, 71864, 71865, 71866, 71867, 71868,
  71869, 71870, 71871, 71872, 71873, 71874, 71875, 71876, 71877, 71878, 71879, 71880,
  71881, 71882, 71883, 71884, 71885, 71886, 71887, 71888, 71889, 71890, 71891, 71892,
  71893, 71894, 71895, 71896, 71897, 71898, 71899, 71900, 71901, 71902, 71903, 93760,
  93761, 93762, 93763, 93764, 93765, 93766, 93767, 93768, 93769, 93770, 93771, 93772,
  93773, 93774, 93775, 93776, 93777, 93778, 93779, 93780, 93781, 93782, 93783, 93784,
  93785, 93786, 93787, 93788, 93789, 93790, 93791, 93792, 93793, 93794, 93795, 93796,
  93797, 93798, 93799, 93800, 93801, 93802, 93803, 93804, 93805, 93806, 93807, 93808,
  93809, 93810, 93811, 93812, 93813, 93814, 93815, 93816, 93817, 93818, 93819, 93820,
  93821, 93822, 93823, 125184, 125185, 125186, 125187, 125188, 125189, 125190, 125191,
  125192, 125193, 125194, 125195, 125196, 125197, 125198, 125199, 125200, 125201,
  125202, 125203, 125204, 125205, 125206, 125207, 125208, 125209, 125210, 125211,
  125212, 125213, 125214, 125215, 125216, 125217, 125218, 125219, 125220, 125221,
  125222, 125223, 125224, 125225, 125226, 125227, 125228, 125229, 125230, 125231,
  125232, 125233, 125234, 125235, 125236, 125237, 125238, 125239, 125240, 125241,
  125242, 125243, 125244, 125245, 125246, 125247, 125248, 125249, 125250, 125251,
]

///|
/// Offsets into `case_equiv_members`, parallel to `case_equiv_keys` (+1 sentinel).
let case_equiv_offsets : FixedArray[Int] = [
  0, 2, 4, 6, 8, 10, 12, 14, 16, 20, 22, 25, 27, 29, 31, 33, 35, 37, 39, 42, 44,
  46, 48, 50, 52, 54, 56, 58, 60, 62, 64, 66, 68, 70, 72, 76, 78, 81, 83, 85, 87,
  89, 91, 93, 95, 98, 100, 102, 104, 106, 108, 110, 112, 115, 117, 119, 121, 123,
  125, 128, 130, 132, 134, 136, 138, 140, 142, 144, 146, 148, 150, 152, 154, 156,
  158, 160, 162, 164, 166, 168, 170, 172, 174, 176, 178, 180, 182, 184, 186, 188,
  191, 193, 195, 197, 199, 201, 203, 205, 207, 209, 211, 213, 215, 217, 219, 221,
  223, 225, 227, 229, 231, 233, 235, 237, 239, 241, 243, 245, 247, 249, 251, 253,
  255, 257, 259, 261, 263, 265, 267, 269, 271, 273, 275, 277, 279, 281, 283, 285,
  287, 289, 291, 293, 295, 297, 299, 301, 303, 305, 307, 309, 311, 313, 315, 317,
  319, 321, 323, 325, 327, 329, 331, 333, 335, 337, 341, 345, 347, 349, 351, 353,
  355, 357, 359, 361, 363, 365, 367, 369, 371, 373, 375, 377, 379, 381, 383, 385,
  387, 389, 391, 393, 395, 397, 399, 401, 403, 405, 407, 409, 411, 413, 415, 417,
  419, 421, 423, 425, 427, 429, 431, 433, 435, 437, 439, 441, 443, 445, 447, 449,
  451, 453, 455, 457, 459, 461, 463, 465, 467, 469, 471, 473, 475, 477, 479, 481,
  483, 485, 487, 489, 491, 493, 495, 498, 500, 502, 504, 506, 508, 510, 512, 514,
  516, 518, 520, 522, 524, 526, 528, 530, 532, 534, 536, 538, 540, 542, 544, 546,
  548, 550, 552, 554, 556, 558, 560, 562, 564, 566, 568, 570, 572, 574, 576, 578,
  580, 582, 584, 586, 588, 590, 592, 594, 596, 598, 600, 602, 604, 606, 608, 610,
  612, 614, 617, 620, 623, 626, 629, 632, 635, 638, 641, 643, 645, 647, 649, 651,
  653, 655, 657, 659, 661, 663, 665, 667, 669, 671, 673, 675, 677, 679, 681, 683,
  685, 687, 689, 691, 693, 695, 697, 699, 701, 703, 705, 707, 709, 711, 714, 717,
  720, 722, 724, 726, 728, 730, 732, 734, 736, 738, 740, 742, 744, 746, 748, 750,
  752, 754, 756, 758, 760, 762, 764, 766, 768, 770, 772, 774, 776, 778, 780, 782,
  784, 786, 788, 790, 792, 794, 796, 798, 800, 802, 804, 806, 808, 810, 812, 814,
  816, 818, 820, 822, 824, 826, 828, 830, 832, 834, 836, 838, 840, 842, 844, 846,
  848, 850, 852, 854, 856, 858, 860, 862, 864, 866, 868, 870, 872, 874, 876, 878,
  880, 882, 884, 886, 888, 890, 892, 894, 896, 898, 900, 902, 904, 906, 908, 910,
  912, 914, 916, 918, 920, 922, 924, 926, 928, 930, 932, 934, 936, 938, 940, 942,
  944, 946, 948, 950, 952, 954, 956, 958, 960, 962, 964, 966, 970, 972, 974, 976,
  978, 980, 982, 984, 986, 988, 990, 992, 994, 996, 998, 1000, 1002, 1004, 1006,
  1008, 1011, 1013, 1015, 1018, 1020, 1022, 1026, 1030, 1033, 1035, 1038, 1040, 1042,
  1044, 1047, 1050, 1053, 1055, 1057, 1060, 1062, 1064, 1067, 1069, 1071, 1073, 1075,
  1077, 1079, 1081, 1083, 1086, 1088, 1090, 1093, 1095, 1097, 1101, 1105, 1108, 1110,
  1113, 1115, 1117, 1119, 1122, 1125, 1128, 1131, 1133, 1135, 1138, 1140, 1142, 1145,
  1147, 1149, 1151, 1153, 1155, 1157, 1160, 1164, 1167, 1170, 1172, 1174, 1176, 1178,
  1180, 1182, 1184, 1186, 1188, 1190, 1192, 1194, 1196, 1198, 1200, 1202, 1204, 1206,
  1208, 1210, 1212, 1214, 1216, 1218, 1220, 1223, 1226, 1228, 1230, 1234, 1237, 1239,
  1241, 1243, 1245, 1247, 1249, 1251, 1253, 1255, 1257, 1259, 1261, 1263, 1265, 1267,
  1269, 1271, 1273, 1275, 1277, 1279, 1281, 1283, 1285, 1287, 1289, 1292, 1294, 1297,
  1299, 1301, 1303, 1305, 1307, 1309, 1311, 1313, 1315, 1318, 1320, 1322, 1325, 1329,
  1331, 1333, 1335, 1337, 1339, 1341, 1343, 1346, 1348, 1350, 1352, 1354, 1356, 1358,
  1360, 1363, 1365, 1368, 1370, 1372, 1374, 1376, 1378, 1380, 1382, 1384, 1386, 1389,
  1391, 1393, 1396, 1400, 1402, 1404, 1406, 1408, 1410, 1412, 1414, 1417, 1419, 1421,
  1423, 1425, 1427, 1429, 1431, 1433, 1435, 1437, 1439, 1441, 1443, 1445, 1447, 1449,
  1451, 1453, 1455, 1457, 1459, 1461, 1463, 1466, 1469, 1471, 1473, 1475, 1477, 1479,
  1481, 1483, 1485, 1487, 1489, 1491, 1493, 1495, 1497, 1499, 1501, 1503, 1505, 1507,
  1509, 1511, 1513, 1515, 1517, 1519, 1521, 1523, 1525, 1527, 1529, 1531, 1533, 1535,
  1537, 1539, 1541, 1543, 1545, 1547, 1549, 1551, 1553, 1555, 1557, 1559, 1561, 1563,
  1565, 1567, 1569, 1571, 1573, 1575, 1577, 1579, 1581, 1583, 1585, 1587, 1589, 1591,
  1593, 1595, 1597, 1599, 1601, 1603, 1605, 1607, 1609, 1611, 1613, 1615, 1617, 1619,
  1621, 1623, 1625, 1627, 1629, 1631, 1633, 1635, 1637, 1639, 1641, 1643, 1645, 1647,
  1649, 1651, 1653, 1655, 1657, 1659, 1661, 1663, 1665, 1667, 1669, 1671, 1673, 1675,
  1677, 1679, 1681, 1683, 1685, 1687, 1689, 1691, 1693, 1695, 1697, 1699, 1701, 1703,
  1705, 1707, 1709, 1711, 1713, 1715, 1717, 1719, 1721, 1723, 1725, 1727, 1729, 1731,
  1733, 1735, 1737, 1739, 1741, 1743, 1745, 1747, 1749, 1751, 1753, 1755, 1757, 1759,
  1761, 1763, 1765, 1767, 1769, 1771, 1773, 1775, 1777, 1779, 1781, 1783, 1785, 1787,
  1789, 1791, 1793, 1795, 1797, 1799, 1801, 1803, 1805, 1807, 1809, 1811, 1813, 1815,
  1817, 1819, 1821, 1823, 1825, 1827, 1829, 1831, 1833, 1835, 1837, 1839, 1841, 1843,
  1845, 1847, 1849, 1851, 1853, 1855, 1857, 1859, 1861, 1863, 1865, 1867, 1869, 1871,
  1873, 1875, 1877, 1879, 1881, 1883, 1885, 1887, 1889, 1891, 1893, 1895, 1897, 1899,
  1901, 1903, 1905, 1907, 1909, 1911, 1913, 1915, 1917, 1919, 1921, 1923, 1925, 1927,
  1929, 1931, 1933, 1935, 1937, 1939, 1941, 1943, 1945, 1947, 1949, 1951, 1953, 1955,
  1957, 1959, 1961, 1963, 1965, 1967, 1969, 1971, 1973, 1975, 1977, 1979, 1981, 1983,
  1985, 1987, 1989, 1991, 1993, 1995, 1997, 1999, 2001, 2003, 2005, 2007, 2009, 2011,
  2013, 2015, 2017, 2019, 2021, 2023, 2025, 2027, 2029, 2031, 2033, 2035, 2037, 2039,
  2041, 2043, 2045, 2047, 2049, 2051, 2053, 2055, 2057, 2059, 2061, 2063, 2065, 2067,
  2069, 2071, 2073, 2075, 2077, 2079, 2081, 2083, 2085, 2087, 2089, 2091, 2093, 2095,
  2097, 2099, 2101, 2103, 2105, 2107, 2109, 2111, 2113, 2115, 2117, 2119, 2121, 2123,
  2125, 2127, 2129, 2131, 2133, 2135, 2137, 2139, 2141, 2143, 2145, 2147, 2149, 2151,
  2153, 2155, 2157, 2159, 2161, 2163, 2165, 2167, 2169, 2171, 2173, 2175, 2177, 2179,
  2181, 2183, 2185, 2187, 2189, 2191, 2193, 2195, 2197, 2199, 2201, 2203, 2205, 2207,
  2209, 2211, 2213, 2215, 2217, 2219, 2221, 2223, 2225, 2227, 2229, 2231, 2233, 2235,
  2237, 2239, 2241, 2243, 2245, 2247, 2249, 2251, 2253, 2255, 2257, 2259, 2261, 2263,
  2265, 2267, 2269, 2271, 2273, 2275, 2277, 2279, 2281, 2283, 2285, 2287, 2289, 2291,
  2293, 2295, 2297, 2299, 2301, 2303, 2305, 2307, 2309, 2311, 2313, 2315, 2317, 2319,
  2321, 2323, 2325, 2327, 2329, 2331, 2333, 2335, 2337, 2339, 2341, 2343, 2345, 2347,
  2349, 2351, 2353, 2355, 2357, 2359, 2361, 2363, 2365, 2367, 2369, 2372, 2375, 2378,
  2381, 2385, 2389, 2392, 2395, 2398, 2400, 2402, 2404, 2406, 2408, 2410, 2412, 2414,
  2416, 2418, 2420, 2422, 2424, 2426, 2428, 2430, 2432, 2434, 2436, 2438, 2440, 2442,
  2444, 2446, 2448, 2450, 2452, 2454, 2456, 2458, 2460, 2462, 2464, 2466, 2468, 2470,
  2472, 2474, 2476, 2478, 2480, 2482, 2484, 2486, 2488, 2490, 2492, 2494, 2496, 2498,
  2500, 2502, 2504, 2506, 2508, 2510, 2512, 2514, 2516, 2518, 2520, 2522, 2524, 2526,
  2528, 2530, 2532, 2534, 2536, 2538, 2540, 2542, 2544, 2546, 2548, 2550, 2552, 2554,
  2556, 2558, 2560, 2562, 2564, 2566, 2568, 2570, 2572, 2574, 2576, 2578, 2580, 2582,
  2584, 2586, 2588, 2590, 2592, 2594, 2596, 2598, 2600, 2602, 2604, 2606, 2608, 2610,
  2612, 2614, 2616, 2618, 2620, 2622, 2624, 2626, 2628, 2630, 2632, 2634, 2636, 2638,
  2640, 2642, 2644, 2646, 2648, 2650, 2652, 2654, 2656, 2658, 2660, 2662, 2664, 2666,
  2668, 2670, 2672, 2674, 2676, 2678, 2680, 2682, 2684, 2686, 2688, 2690, 2692, 2695,
  2698, 2700, 2702, 2704, 2706, 2708, 2710, 2712, 2714, 2716, 2718, 2720, 2722, 2724,
  2726, 2728, 2730, 2732, 2734, 2736, 2738, 2740, 2742, 2744, 2746, 2748, 2750, 2752,
  2754, 2756, 2758, 2760, 2762, 2764, 2766, 2768, 2770, 2772, 2774, 2776, 2778, 2780,
  2782, 2784, 2786, 2788, 2790, 2792, 2794, 2796, 2798, 2800, 2802, 2805, 2807, 2809,
  2811, 2813, 2815, 2817, 2819, 2821, 2823, 2825, 2827, 2829, 2831, 2833, 2835, 2837,
  2839, 2841, 2843, 2845, 2847, 2849, 2851, 2853, 2855, 2857, 2859, 2861, 2863, 2865,
  2867, 2869, 2871, 2873, 2875, 2877, 2879, 2881, 2883, 2885, 2887, 2889, 2891, 2893,
  2895, 2897, 2899, 2901, 2903, 2905, 2907, 2909, 2911, 2913, 2915, 2917, 2919, 2921,
  2923, 2925, 2927, 2929, 2931, 2933, 2935, 2937, 2939, 2941, 2943, 2945, 2947, 2949,
  2951, 2953, 2955, 2957, 2959, 2961, 2963, 2965, 2967, 2969, 2971, 2973, 2975, 2977,
  2979, 2981, 2983, 2985, 2987, 2989, 2991, 2993, 2995, 2997, 2999, 3001, 3003, 3005,
  3007, 3009, 3011, 3013, 3015, 3017, 3019, 3021, 3023, 3025, 3027, 3029, 3031, 3033,
  3035, 3037, 3039, 3041, 3043, 3045, 3047, 3049, 3051, 3053, 3055, 3057, 3059, 3061,
  3063, 3065, 3067, 3069, 3071, 3073, 3075, 3077, 3079, 3081, 3083, 3085, 3087, 3089,
  3091, 3093, 3095, 3097, 3099, 3101, 3103, 3105, 3107, 3109, 3111, 3113, 3115, 3117,
  3119, 3121, 3123, 3125, 3127, 3129, 3131, 3133, 3135, 3137, 3139, 3141, 3143, 3145,
  3147, 3149, 3151, 3153, 3155, 3157, 3159, 3161, 3163, 3165, 3167, 3169, 3171, 3173,
  3175, 3177, 3179, 3181, 3183, 3185, 3187, 3189, 3191, 3193, 3195, 3197, 3199, 3201,
  3203, 3205, 3207, 3209, 3211, 3213, 3215, 3217, 3219, 3221, 3223, 3225, 3227, 3229,
  3231, 3233, 3235, 3237, 3239, 3241, 3243, 3245, 3247, 3249, 3251, 3253, 3255, 3257,
  3259, 3261, 3263, 3265, 3267, 3269, 3271, 3273, 3275, 3277, 3279, 3281, 3283, 3285,
  3287, 3289, 3291, 3293, 3295, 3297, 3299, 3301, 3303, 3305, 3307, 3309, 3311, 3313,
  3315, 3317, 3319, 3321, 3323, 3325, 3327, 3329, 3331, 3335, 3337, 3339, 3341, 3343,
  3345, 3347, 3349, 3351, 3353, 3355, 3357, 3359, 3361, 3363, 3365, 3367, 3369, 3371,
  3373, 3375, 3377, 3379, 3381, 3383, 3385, 3387, 3389, 3391, 3394, 3397, 3400, 3402,
  3404, 3406, 3408, 3410, 3412, 3414, 3416, 3418, 3420, 3422, 3424, 3426, 3428, 3430,
  3432, 3434, 3436, 3438, 3440, 3442, 3444, 3446, 3448, 3450, 3452, 3454, 3456, 3458,
  3460, 3462, 3464, 3466, 3468, 3470, 3472, 3474, 3476, 3478, 3480, 3482, 3484, 3486,
  3488, 3490, 3492, 3494, 3496, 3498, 3500, 3502, 3504, 3506, 3508, 3510, 3512, 3514,
  3516, 3518, 3520, 3522, 3524, 3526, 3528, 3530, 3532, 3534, 3536, 3538, 3540, 3542,
  3544, 3546, 3548, 3550, 3552, 3554, 3556, 3558, 3560, 3562, 3564, 3566, 3568, 3570,
  3572, 3574, 3576, 3578, 3580, 3582, 3584, 3586, 3588, 3590, 3592, 3594, 3596, 3598,
  3600, 3602, 3604, 3606, 3608, 3610, 3612, 3614, 3616, 3618, 3620, 3622, 3624, 3626,
  3628, 3630, 3632, 3634, 3636, 3638, 3640, 3642, 3644, 3646, 3648, 3650, 3652, 3654,
  3656, 3658, 3660, 3662, 3664, 3666, 3668, 3670, 3672, 3674, 3676, 3678, 3680, 3682,
  3684, 3686, 3688, 3690, 3692, 3694, 3696, 3698, 3700, 3702, 3704, 3706, 3708, 3710,
  3712, 3714, 3716, 3718, 3720, 3722, 3724, 3726, 3728, 3730, 3732, 3734, 3736, 3738,
  3740, 3742, 3744, 3746, 3748, 3750, 3752, 3754, 3756, 3758, 3760, 3762, 3764, 3766,
  3768, 3770, 3772, 3774, 3776, 3778, 3780, 3782, 3784, 3786, 3788, 3790, 3792, 3794,
  3796, 3798, 3800, 3802, 3804, 3806, 3808, 3810, 3812, 3814, 3816, 3818, 3820, 3822,
  3824, 3826, 3828, 3830, 3832, 3834, 3836, 3838, 3840, 3842, 3844, 3846, 3848, 3850,
  3852, 3854, 3856, 3858, 3860, 3862, 3864, 3866, 3868, 3870, 3872, 3874, 3876, 3878,
  3880, 3882, 3884, 3886, 3888, 3890, 3892, 3894, 3896, 3898, 3900, 3902, 3904, 3906,
  3908, 3910, 3912, 3914, 3916, 3918, 3920, 3922, 3924, 3926, 3928, 3930, 3932, 3934,
  3936, 3938, 3940, 3942, 3944, 3946, 3948, 3950, 3952, 3954, 3956, 3958, 3960, 3962,
  3964, 3966, 3968, 3970, 3972, 3974, 3976, 3978, 3980, 3982, 3984, 3986, 3988, 3990,
  3992, 3994, 3996, 3998, 4000, 4002, 4004, 4006, 4008, 4010, 4012, 4014, 4016, 4018,
  4020, 4022, 4024, 4026, 4028, 4030, 4032, 4034, 4036, 4038, 4040, 4042, 4044, 4046,
  4048, 4050, 4052, 4054, 4056, 4058, 4060, 4062, 4064, 4066, 4068, 4070, 4072, 4074,
  4076, 4078, 4080, 4082, 4084, 4086, 4088, 4090, 4092, 4094, 4096, 4098, 4100, 4102,
  4104, 4106, 4108, 4110, 4112, 4114, 4116, 4118, 4120, 4122, 4124, 4126, 4129, 4132,
  4134, 4136, 4138, 4140, 4142, 4144, 4146, 4148, 4150, 4152, 4154, 4156, 4158, 4160,
  4162, 4164, 4166, 4168, 4170, 4172, 4174, 4176, 4178, 4180, 4182, 4184, 4186, 4188,
  4190, 4192, 4194, 4196, 4198, 4200, 4202, 4204, 4206, 4208, 4210, 4212, 4214, 4216,
  4218, 4220, 4222, 4224, 4226, 4228, 4230, 4232, 4234, 4236, 4238, 4240, 4242, 4244,
  4246, 4248, 4250, 4252, 4254, 4256, 4258, 4260, 4262, 4264, 4266, 4268, 4270, 4272,
  4274, 4276, 4278, 4280, 4282, 4284, 4286, 4288, 4290, 4292, 4294, 4296, 4298, 4300,
  4302, 4304, 4306, 4308, 4310, 4312, 4314, 4316, 4318, 4320, 4322, 4324, 4326, 4328,
  4330, 4332, 4334, 4336, 4338, 4340, 4342, 4344, 4346, 4348, 4350, 4352, 4354, 4356,
  4358, 4360, 4362, 4364, 4366, 4368, 4370, 4372, 4374, 4376, 4378, 4380, 4382, 4384,
  4386, 4388, 4390, 4392, 4394, 4396, 4398, 4400, 4402, 4404, 4406, 4408, 4410, 4412,
  4414, 4416, 4418, 4420, 4422, 4424, 4426, 4428, 4430, 4432, 4434, 4436, 4438, 4440,
  4442, 4444, 4446, 4448, 4450, 4452, 4454, 4456, 4458, 4460, 4462, 4464, 4466, 4468,
  4470, 4472, 4474, 4476, 4478, 4480, 4482, 4484, 4486, 4488, 4490, 4492, 4494, 4496,
  4498, 4500, 4502, 4504, 4506, 4508, 4510, 4512, 4514, 4516, 4518, 4520, 4522, 4524,
  4526, 4528, 4530, 4532, 4534, 4536, 4538, 4540, 4542, 4544, 4546, 4548, 4550, 4552,
  4554, 4556, 4558, 4560, 4562, 4564, 4566, 4568, 4570, 4572, 4574, 4576, 4578, 4580,
  4582, 4584, 4586, 4588, 4590, 4592, 4594, 4596, 4598, 4600, 4602, 4604, 4606, 4608,
  4610, 4612, 4614, 4616, 4618, 4620, 4622, 4624, 4626, 4628, 4630, 4632, 4634, 4636,
  4638, 4640, 4642, 4644, 4646, 4648, 4650, 4652, 4654, 4656, 4658, 4660, 4662, 4664,
  4666, 4668, 4670, 4672, 4674, 4676, 4678, 4680, 4682, 4684, 4686, 4688, 4690, 4692,
  4694, 4696, 4698, 4700, 4702, 4704, 4706, 4708, 4710, 4712, 4714, 4716, 4718, 4720,
  4722, 4724, 4726, 4728, 4730, 4732, 4734, 4736, 4738, 4740, 4742, 4744, 4746, 4748,
  4750, 4752, 4754, 4756, 4758, 4760, 4762, 4764, 4766, 4768, 4770, 4772, 4774, 4776,
  4778, 4780, 4782, 4784, 4786, 4788, 4790, 4792, 4794, 4796, 4798, 4800, 4802, 4804,
  4806, 4808, 4810, 4812, 4814, 4816, 4818, 4820, 4822, 4824, 4826, 4828, 4830, 4832,
  4834, 4836, 4838, 4840, 4842, 4844, 4846, 4848, 4850, 4852, 4854, 4856, 4858, 4860,
  4862, 4864, 4866, 4868, 4870, 4872, 4874, 4876, 4878, 4880, 4882, 4884, 4886, 4888,
  4890, 4892, 4894, 4896, 4898, 4900, 4902, 4904, 4906, 4908, 4910, 4912, 4914, 4916,
  4918, 4920, 4922, 4924, 4926, 4928, 4930, 4932, 4934, 4936, 4938, 4940, 4942, 4944,
  4946, 4948, 4950, 4952, 4954, 4956, 4958, 4960, 4962, 4964, 4966, 4968, 4970, 4972,
  4974, 4976, 4978, 4980, 4982, 4984, 4986, 4988, 4990, 4992, 4994, 4996, 4998, 5000,
  5002, 5004, 5006, 5008, 5010, 5012, 5014, 5016, 5018, 5020, 5022, 5024, 5026, 5028,
  5030, 5032, 5034, 5036, 5038, 5040, 5042, 5044, 5046, 5048, 5050, 5052, 5054, 5056,
  5058, 5060, 5062, 5064, 5066, 5068, 5070, 5072, 5074, 5076, 5078, 5080, 5082, 5084,
  5086, 5088, 5090, 5092, 5094, 5096, 5098, 5100, 5102, 5104, 5106, 5108, 5110, 5112,
  5114, 5116, 5118, 5120, 5122, 5124, 5126, 5128, 5130, 5132, 5134, 5136, 5138, 5140,
  5142, 5144, 5146, 5148, 5150, 5152, 5154, 5156, 5158, 5160, 5162, 5164, 5166, 5168,
  5170, 5172, 5174, 5176, 5178, 5180, 5182, 5184, 5186, 5188, 5190, 5192, 5194, 5196,
  5198, 5200, 5202, 5204, 5206, 5208, 5210, 5212, 5214, 5216, 5218, 5220, 5222, 5224,
  5226, 5228, 5230, 5232, 5234, 5236, 5238, 5240, 5242, 5244, 5246, 5248, 5250, 5252,
  5254, 5256, 5258, 5260, 5262, 5264, 5266, 5268, 5270, 5272, 5274, 5276, 5278, 5280,
  5282, 5284, 5286, 5288, 5290, 5292, 5294, 5296, 5298, 5300, 5302, 5304, 5306, 5308,
  5310, 5312, 5314, 5316, 5318, 5320, 5322, 5324, 5326, 5328, 5330, 5332, 5334, 5336,
  5338, 5340, 5342, 5344, 5346, 5348, 5350, 5352, 5354, 5356, 5358, 5360, 5362, 5364,
  5366, 5368, 5370, 5372, 5374, 5376, 5378, 5380, 5382, 5384, 5386, 5388, 5390, 5392,
  5394, 5396, 5398, 5400, 5402, 5404, 5406, 5408, 5410, 5412, 5414, 5416, 5418, 5420,
  5422, 5424, 5426, 5428, 5430, 5432, 5434, 5436, 5438, 5440, 5442, 5444, 5446, 5448,
  5450, 5452, 5454, 5456, 5458, 5460, 5462, 5464, 5466, 5468, 5470, 5472, 5474, 5476,
  5478, 5480, 5482, 5484, 5486, 5488, 5490, 5492, 5494, 5496, 5498, 5500, 5502, 5504,
  5506, 5508, 5510, 5512, 5514, 5516, 5518, 5520, 5522, 5524, 5526, 5528, 5530, 5532,
  5534, 5536, 5538, 5540, 5542, 5544, 5546, 5548, 5550, 5552, 5554, 5556, 5558, 5560,
  5562, 5564, 5566, 5568, 5570, 5572, 5574, 5576, 5578, 5580, 5582, 5584, 5586, 5588,
  5590, 5592, 5594, 5596, 5598, 5600, 5602, 5604, 5606, 5608, 5610, 5612, 5614, 5616,
  5618, 5620, 5622, 5624, 5626, 5628, 5630, 5632, 5634, 5636, 5638, 5640, 5642, 5644,
  5646, 5648, 5650, 5652, 5654, 5656, 5658, 5660, 5662, 5664, 5666, 5668, 5670, 5672,
  5674, 5676, 5678, 5680, 5682, 5684, 5686, 5688, 5690, 5692, 5694, 5696, 5698, 5700,
  5702, 5704, 5706, 5708, 5710, 5712, 5714, 5716, 5718, 5720, 5722, 5724, 5726, 5728,
  5730, 5732, 5734, 5736, 5738, 5740, 5742, 5744, 5746, 5748, 5750, 5752, 5754, 5756,
  5758, 5760, 5762, 5764, 5766, 5768, 5770, 5772, 5774, 5776, 5778, 5780, 5782, 5784,
  5786, 5788, 5790, 5792, 5794, 5796, 5798, 5800, 5802, 5804, 5806, 5808, 5810, 5812,
  5814, 5816, 5818, 5820, 5822, 5824, 5826, 5828, 5830, 5832, 5834, 5836, 5838, 5840,
  5842, 5844, 5846, 5848, 5850, 5852, 5854, 5856, 5858, 5860, 5862, 5864, 5866, 5868,
  5870, 5872, 5874, 5876, 5878, 5880, 5882, 5884, 5886, 5888, 5890, 5892, 5894, 5896,
  5898, 5900, 5902, 5904, 5906, 5908, 5910, 5912, 5914, 5916, 5918, 5920, 5922, 5924,
  5926, 5928, 5930, 5932, 5934, 5936, 5938, 5940, 5942, 5944, 5946, 5948, 5950, 5952,
  5954, 5956, 5958, 5960, 5962, 5964, 5966, 5968, 5970, 5972, 5974, 5976, 5978, 5980,
  5982, 5984,
]

///|
/// Concatenated equivalence classes (each sorted, including the key).
let case_equiv_members : FixedArray[Int] = [
  65, 97, 66, 98, 67, 99, 68, 100, 69, 101, 70, 102, 71, 103, 72, 104, 73, 105, 304,
  305, 74, 106, 75, 107, 8490, 76, 108, 77, 109, 78, 110, 79, 111, 80, 112, 81, 113,
  82, 114, 83, 115, 383, 84, 116, 85, 117, 86, 118, 87, 119, 88, 120, 89, 121, 90,
  122, 65, 97, 66, 98, 67, 99, 68, 100, 69, 101, 70, 102, 71, 103, 72, 104, 73, 105,
  304, 305, 74, 106, 75, 107, 8490, 76, 108, 77, 109, 78, 110, 79, 111, 80, 112,
  81, 113, 82, 114, 83, 115, 383, 84, 116, 85, 117, 86, 118, 87, 119, 88, 120, 89,
  121, 90, 122, 181, 924, 956, 192, 224, 193, 225, 194, 226, 195, 227, 196, 228,
  197, 229, 8491, 198, 230, 199, 231, 200, 232, 201, 233, 202, 234, 203, 235, 204,
  236, 205, 237, 206, 238, 207, 239, 208, 240, 209, 241, 210, 242, 211, 243, 212,
  244, 213, 245, 214, 246, 216, 248, 217, 249, 218, 250, 219, 251, 220, 252, 221,
  253, 222, 254, 223, 7838, 192, 224, 193, 225, 194, 226, 195, 227, 196, 228, 197,
  229, 8491, 198, 230, 199, 231, 200, 232, 201, 233, 202, 234, 203, 235, 204, 236,
  205, 237, 206, 238, 207, 239, 208, 240, 209, 241, 210, 242, 211, 243, 212, 244,
  213, 245, 214, 246, 216, 248, 217, 249, 218, 250, 219, 251, 220, 252, 221, 253,
  222, 254, 255, 376, 256, 257, 256, 257, 258, 259, 258, 259, 260, 261, 260, 261,
  262, 263, 262, 263, 264, 265, 264, 265, 266, 267, 266, 267, 268, 269, 268, 269,
  270, 271, 270, 271, 272, 273, 272, 273, 274, 275, 274, 275, 276, 277, 276, 277,
  278, 279, 278, 279, 280, 281, 280, 281, 282, 283, 282, 283, 284, 285, 284, 285,
  286, 287, 286, 287, 288, 289, 288, 289, 290, 291, 290, 291, 292, 293, 292, 293,
  294, 295, 294, 295, 296, 297, 296, 297, 298, 299, 298, 299, 300, 301, 300, 301,
  302, 303, 302, 303, 73, 105, 304, 305, 73, 105, 304, 305, 306, 307, 306, 307, 308,
  309, 308, 309, 310, 311, 310, 311, 313, 314, 313, 314, 315, 316, 315, 316, 317,
  318, 317, 318, 319, 320, 319, 320, 321, 322, 321, 322, 323, 324, 323, 324, 325,
  326, 325, 326, 327, 328, 327, 328, 330, 331, 330, 331, 332, 333, 332, 333, 334,
  335, 334, 335, 336, 337, 336, 337, 338, 339, 338, 339, 340, 341, 340, 341, 342,
  343, 342, 343, 344, 345, 344, 345, 346, 347, 346, 347, 348, 349, 348, 349, 350,
  351, 350, 351, 352, 353, 352, 353, 354, 355, 354, 355, 356, 357, 356, 357, 358,
  359, 358, 359, 360, 361, 360, 361, 362, 363, 362, 363, 364, 365, 364, 365, 366,
  367, 366, 367, 368, 369, 368, 369, 370, 371, 370, 371, 372, 373, 372, 373, 374,
  375, 374, 375, 255, 376, 377, 378, 377, 378, 379, 380, 379, 380, 381, 382, 381,
  382, 83, 115, 383, 384, 579, 385, 595, 386, 387, 386, 387, 388, 389, 388, 389,
  390, 596, 391, 392, 391, 392, 393, 598, 394, 599, 395, 396, 395, 396, 398, 477,
  399, 601, 400, 603, 401, 402, 401, 402, 403, 608, 404, 611, 405, 502, 406, 617,
  407, 616, 408, 409, 408, 409, 410, 573, 411, 42972, 412, 623, 413, 626, 414, 544,
  415, 629, 416, 417, 416, 417, 418, 419, 418, 419, 420, 421, 420, 421, 422, 640,
  423, 424, 423, 424, 425, 643, 428, 429, 428, 429, 430, 648, 431, 432, 431, 432,
  433, 650, 434, 651, 435, 436, 435, 436, 437, 438, 437, 438, 439, 658, 440, 441,
  440, 441, 444, 445, 444, 445, 447, 503, 452, 453, 454, 452, 453, 454, 452, 453,
  454, 455, 456, 457, 455, 456, 457, 455, 456, 457, 458, 459, 460, 458, 459, 460,
  458, 459, 460, 461, 462, 461, 462, 463, 464, 463, 464, 465, 466, 465, 466, 467,
  468, 467, 468, 469, 470, 469, 470, 471, 472, 471, 472, 473, 474, 473, 474, 475,
  476, 475, 476, 398, 477, 478, 479, 478, 479, 480, 481, 480, 481, 482, 483, 482,
  483, 484, 485, 484, 485, 486, 487, 486, 487, 488, 489, 488, 489, 490, 491, 490,
  491, 492, 493, 492, 493, 494, 495, 494, 495, 497, 498, 499, 497, 498, 499, 497,
  498, 499, 500, 501, 500, 501, 405, 502, 447, 503, 504, 505, 504, 505, 506, 507,
  506, 507, 508, 509, 508, 509, 510, 511, 510, 511, 512, 513, 512, 513, 514, 515,
  514, 515, 516, 517, 516, 517, 518, 519, 518, 519, 520, 521, 520, 521, 522, 523,
  522, 523, 524, 525, 524, 525, 526, 527, 526, 527, 528, 529, 528, 529, 530, 531,
  530, 531, 532, 533, 532, 533, 534, 535, 534, 535, 536, 537, 536, 537, 538, 539,
  538, 539, 540, 541, 540, 541, 542, 543, 542, 543, 414, 544, 546, 547, 546, 547,
  548, 549, 548, 549, 550, 551, 550, 551, 552, 553, 552, 553, 554, 555, 554, 555,
  556, 557, 556, 557, 558, 559, 558, 559, 560, 561, 560, 561, 562, 563, 562, 563,
  570, 11365, 571, 572, 571, 572, 410, 573, 574, 11366, 575, 11390, 576, 11391, 577,
  578, 577, 578, 384, 579, 580, 649, 581, 652, 582, 583, 582, 583, 584, 585, 584,
  585, 586, 587, 586, 587, 588, 589, 588, 589, 590, 591, 590, 591, 592, 11375, 593,
  11373, 594, 11376, 385, 595, 390, 596, 393, 598, 394, 599, 399, 601, 400, 603,
  604, 42923, 403, 608, 609, 42924, 404, 611, 612, 42955, 613, 42893, 614, 42922,
  407, 616, 406, 617, 618, 42926, 619, 11362, 620, 42925, 412, 623, 625, 11374, 413,
  626, 415, 629, 637, 11364, 422, 640, 642, 42949, 425, 643, 647, 42929, 430, 648,
  580, 649, 433, 650, 434, 651, 581, 652, 439, 658, 669, 42930, 670, 42928, 837,
  921, 953, 8126, 880, 881, 880, 881, 882, 883, 882, 883, 886, 887, 886, 887, 891,
  1021, 892, 1022, 893, 1023, 895, 1011, 902, 940, 904, 941, 905, 942, 906, 943,
  908, 972, 910, 973, 911, 974, 912, 8147, 913, 945, 914, 946, 976, 915, 947, 916,
  948, 917, 949, 1013, 918, 950, 919, 951, 920, 952, 977, 1012, 837, 921, 953, 8126,
  922, 954, 1008, 923, 955, 181, 924, 956, 925, 957, 926, 958, 927, 959, 928, 960,
  982, 929, 961, 1009, 931, 962, 963, 932, 964, 933, 965, 934, 966, 981, 935, 967,
  936, 968, 937, 969, 8486, 938, 970, 939, 971, 902, 940, 904, 941, 905, 942, 906,
  943, 944, 8163, 913, 945, 914, 946, 976, 915, 947, 916, 948, 917, 949, 1013, 918,
  950, 919, 951, 920, 952, 977, 1012, 837, 921, 953, 8126, 922, 954, 1008, 923, 955,
  181, 924, 956, 925, 957, 926, 958, 927, 959, 928, 960, 982, 929, 961, 1009, 931,
  962, 963, 931, 962, 963, 932, 964, 933, 965, 934, 966, 981, 935, 967, 936, 968,
  937, 969, 8486, 938, 970, 939, 971, 908, 972, 910, 973, 911, 974, 975, 983, 914,
  946, 976, 920, 952, 977, 1012, 934, 966, 981, 928, 960, 982, 975, 983, 984, 985,
  984, 985, 986, 987, 986, 987, 988, 989, 988, 989, 990, 991, 990, 991, 992, 993,
  992, 993, 994, 995, 994, 995, 996, 997, 996, 997, 998, 999, 998, 999, 1000, 1001,
  1000, 1001, 1002, 1003, 1002, 1003, 1004, 1005, 1004, 1005, 1006, 1007, 1006, 1007,
  922, 954, 1008, 929, 961, 1009, 1010, 1017, 895, 1011, 920, 952, 977, 1012, 917,
  949, 1013, 1015, 1016, 1015, 1016, 1010, 1017, 1018, 1019, 1018, 1019, 891, 1021,
  892, 1022, 893, 1023, 1024, 1104, 1025, 1105, 1026, 1106, 1027, 1107, 1028, 1108,
  1029, 1109, 1030, 1110, 1031, 1111, 1032, 1112, 1033, 1113, 1034, 1114, 1035, 1115,
  1036, 1116, 1037, 1117, 1038, 1118, 1039, 1119, 1040, 1072, 1041, 1073, 1042, 1074,
  7296, 1043, 1075, 1044, 1076, 7297, 1045, 1077, 1046, 1078, 1047, 1079, 1048, 1080,
  1049, 1081, 1050, 1082, 1051, 1083, 1052, 1084, 1053, 1085, 1054, 1086, 7298, 1055,
  1087, 1056, 1088, 1057, 1089, 7299, 1058, 1090, 7300, 7301, 1059, 1091, 1060, 1092,
  1061, 1093, 1062, 1094, 1063, 1095, 1064, 1096, 1065, 1097, 1066, 1098, 7302, 1067,
  1099, 1068, 1100, 1069, 1101, 1070, 1102, 1071, 1103, 1040, 1072, 1041, 1073, 1042,
  1074, 7296, 1043, 1075, 1044, 1076, 7297, 1045, 1077, 1046, 1078, 1047, 1079, 1048,
  1080, 1049, 1081, 1050, 1082, 1051, 1083, 1052, 1084, 1053, 1085, 1054, 1086, 7298,
  1055, 1087, 1056, 1088, 1057, 1089, 7299, 1058, 1090, 7300, 7301, 1059, 1091, 1060,
  1092, 1061, 1093, 1062, 1094, 1063, 1095, 1064, 1096, 1065, 1097, 1066, 1098, 7302,
  1067, 1099, 1068, 1100, 1069, 1101, 1070, 1102, 1071, 1103, 1024, 1104, 1025, 1105,
  1026, 1106, 1027, 1107, 1028, 1108, 1029, 1109, 1030, 1110, 1031, 1111, 1032, 1112,
  1033, 1113, 1034, 1114, 1035, 1115, 1036, 1116, 1037, 1117, 1038, 1118, 1039, 1119,
  1120, 1121, 1120, 1121, 1122, 1123, 7303, 1122, 1123, 7303, 1124, 1125, 1124, 1125,
  1126, 1127, 1126, 1127, 1128, 1129, 1128, 1129, 1130, 1131, 1130, 1131, 1132, 1133,
  1132, 1133, 1134, 1135, 1134, 1135, 1136, 1137, 1136, 1137, 1138, 1139, 1138, 1139,
  1140, 1141, 1140, 1141, 1142, 1143, 1142, 1143, 1144, 1145, 1144, 1145, 1146, 1147,
  1146, 1147, 1148, 1149, 1148, 1149, 1150, 1151, 1150, 1151, 1152, 1153, 1152, 1153,
  1162, 1163, 1162, 1163, 1164, 1165, 1164, 1165, 1166, 1167, 1166, 1167, 1168, 1169,
  1168, 1169, 1170, 1171, 1170, 1171, 1172, 1173, 1172, 1173, 1174, 1175, 1174, 1175,
  1176, 1177, 1176, 1177, 1178, 1179, 1178, 1179, 1180, 1181, 1180, 1181, 1182, 1183,
  1182, 1183, 1184, 1185, 1184, 1185, 1186, 1187, 1186, 1187, 1188, 1189, 1188, 1189,
  1190, 1191, 1190, 1191, 1192, 1193, 1192, 1193, 1194, 1195, 1194, 1195, 1196, 1197,
  1196, 1197, 1198, 1199, 1198, 1199, 1200, 1201, 1200, 1201, 1202, 1203, 1202, 1203,
  1204, 1205, 1204, 1205, 1206, 1207, 1206, 1207, 1208, 1209, 1208, 1209, 1210, 1211,
  1210, 1211, 1212, 1213, 1212, 1213, 1214, 1215, 1214, 1215, 1216, 1231, 1217, 1218,
  1217, 1218, 1219, 1220, 1219, 1220, 1221, 1222, 1221, 1222, 1223, 1224, 1223, 1224,
  1225, 1226, 1225, 1226, 1227, 1228, 1227, 1228, 1229, 1230, 1229, 1230, 1216, 1231,
  1232, 1233, 1232, 1233, 1234, 1235, 1234, 1235, 1236, 1237, 1236, 1237, 1238, 1239,
  1238, 1239, 1240, 1241, 1240, 1241, 1242, 1243, 1242, 1243, 1244, 1245, 1244, 1245,
  1246, 1247, 1246, 1247, 1248, 1249, 1248, 1249, 1250, 1251, 1250, 1251, 1252, 1253,
  1252, 1253, 1254, 1255, 1254, 1255, 1256, 1257, 1256, 1257, 1258, 1259, 1258, 1259,
  1260, 1261, 1260, 1261, 1262, 1263, 1262, 1263, 1264, 1265, 1264, 1265, 1266, 1267,
  1266, 1267, 1268, 1269, 1268, 1269, 1270, 1271, 1270, 1271, 1272, 1273, 1272, 1273,
  1274, 1275, 1274, 1275, 1276, 1277, 1276, 1277, 1278, 1279, 1278, 1279, 1280, 1281,
  1280, 1281, 1282, 1283, 1282, 1283, 1284, 1285, 1284, 1285, 1286, 1287, 1286, 1287,
  1288, 1289, 1288, 1289, 1290, 1291, 1290, 1291, 1292, 1293, 1292, 1293, 1294, 1295,
  1294, 1295, 1296, 1297, 1296, 1297, 1298, 1299, 1298, 1299, 1300, 1301, 1300, 1301,
  1302, 1303, 1302, 1303, 1304, 1305, 1304, 1305, 1306, 1307, 1306, 1307, 1308, 1309,
  1308, 1309, 1310, 1311, 1310, 1311, 1312, 1313, 1312, 1313, 1314, 1315, 1314, 1315,
  1316, 1317, 1316, 1317, 1318, 1319, 1318, 1319, 1320, 1321, 1320, 1321, 1322, 1323,
  1322, 1323, 1324, 1325, 1324, 1325, 1326, 1327, 1326, 1327, 1329, 1377, 1330, 1378,
  1331, 1379, 1332, 1380, 1333, 1381, 1334, 1382, 1335, 1383, 1336, 1384, 1337, 1385,
  1338, 1386, 1339, 1387, 1340, 1388, 1341, 1389, 1342, 1390, 1343, 1391, 1344, 1392,
  1345, 1393, 1346, 1394, 1347, 1395, 1348, 1396, 1349, 1397, 1350, 1398, 1351, 1399,
  1352, 1400, 1353, 1401, 1354, 1402, 1355, 1403, 1356, 1404, 1357, 1405, 1358, 1406,
  1359, 1407, 1360, 1408, 1361, 1409, 1362, 1410, 1363, 1411, 1364, 1412, 1365, 1413,
  1366, 1414, 1329, 1377, 1330, 1378, 1331, 1379, 1332, 1380, 1333, 1381, 1334, 1382,
  1335, 1383, 1336, 1384, 1337, 1385, 1338, 1386, 1339, 1387, 1340, 1388, 1341, 1389,
  1342, 1390, 1343, 1391, 1344, 1392, 1345, 1393, 1346, 1394, 1347, 1395, 1348, 1396,
  1349, 1397, 1350, 1398, 1351, 1399, 1352, 1400, 1353, 1401, 1354, 1402, 1355, 1403,
  1356, 1404, 1357, 1405, 1358, 1406, 1359, 1407, 1360, 1408, 1361, 1409, 1362, 1410,
  1363, 1411, 1364, 1412, 1365, 1413, 1366, 1414, 4256, 11520, 4257, 11521, 4258,
  11522, 4259, 11523, 4260, 11524, 4261, 11525, 4262, 11526, 4263, 11527, 4264, 11528,
  4265, 11529, 4266, 11530, 4267, 11531, 4268, 11532, 4269, 11533, 4270, 11534, 4271,
  11535, 4272, 11536, 4273, 11537, 4274, 11538, 4275, 11539, 4276, 11540, 4277, 11541,
  4278, 11542, 4279, 11543, 4280, 11544, 4281, 11545, 4282, 11546, 4283, 11547, 4284,
  11548, 4285, 11549, 4286, 11550, 4287, 11551, 4288, 11552, 4289, 11553, 4290, 11554,
  4291, 11555, 4292, 11556, 4293, 11557, 4295, 11559, 4301, 11565, 4304, 7312, 4305,
  7313, 4306, 7314, 4307, 7315, 4308, 7316, 4309, 7317, 4310, 7318, 4311, 7319, 4312,
  7320, 4313, 7321, 4314, 7322, 4315, 7323, 4316, 7324, 4317, 7325, 4318, 7326, 4319,
  7327, 4320, 7328, 4321, 7329, 4322, 7330, 4323, 7331, 4324, 7332, 4325, 7333, 4326,
  7334, 4327, 7335, 4328, 7336, 4329, 7337, 4330, 7338, 4331, 7339, 4332, 7340, 4333,
  7341, 4334, 7342, 4335, 7343, 4336, 7344, 4337, 7345, 4338, 7346, 4339, 7347, 4340,
  7348, 4341, 7349, 4342, 7350, 4343, 7351, 4344, 7352, 4345, 7353, 4346, 7354, 4349,
  7357, 4350, 7358, 4351, 7359, 5024, 43888, 5025, 43889, 5026, 43890, 5027, 43891,
  5028, 43892, 5029, 43893, 5030, 43894, 5031, 43895, 5032, 43896, 5033, 43897, 5034,
  43898, 5035, 43899, 5036, 43900, 5037, 43901, 5038, 43902, 5039, 43903, 5040, 43904,
  5041, 43905, 5042, 43906, 5043, 43907, 5044, 43908, 5045, 43909, 5046, 43910, 5047,
  43911, 5048, 43912, 5049, 43913, 5050, 43914, 5051, 43915, 5052, 43916, 5053, 43917,
  5054, 43918, 5055, 43919, 5056, 43920, 5057, 43921, 5058, 43922, 5059, 43923, 5060,
  43924, 5061, 43925, 5062, 43926, 5063, 43927, 5064, 43928, 5065, 43929, 5066, 43930,
  5067, 43931, 5068, 43932, 5069, 43933, 5070, 43934, 5071, 43935, 5072, 43936, 5073,
  43937, 5074, 43938, 5075, 43939, 5076, 43940, 5077, 43941, 5078, 43942, 5079, 43943,
  5080, 43944, 5081, 43945, 5082, 43946, 5083, 43947, 5084, 43948, 5085, 43949, 5086,
  43950, 5087, 43951, 5088, 43952, 5089, 43953, 5090, 43954, 5091, 43955, 5092, 43956,
  5093, 43957, 5094, 43958, 5095, 43959, 5096, 43960, 5097, 43961, 5098, 43962, 5099,
  43963, 5100, 43964, 5101, 43965, 5102, 43966, 5103, 43967, 5104, 5112, 5105, 5113,
  5106, 5114, 5107, 5115, 5108, 5116, 5109, 5117, 5104, 5112, 5105, 5113, 5106, 5114,
  5107, 5115, 5108, 5116, 5109, 5117, 1042, 1074, 7296, 1044, 1076, 7297, 1054, 1086,
  7298, 1057, 1089, 7299, 1058, 1090, 7300, 7301, 1058, 1090, 7300, 7301, 1066, 1098,
  7302, 1122, 1123, 7303, 7304, 42570, 42571, 7305, 7306, 7305, 7306, 4304, 7312,
  4305, 7313, 4306, 7314, 4307, 7315, 4308, 7316, 4309, 7317, 4310, 7318, 4311, 7319,
  4312, 7320, 4313, 7321, 4314, 7322, 4315, 7323, 4316, 7324, 4317, 7325, 4318, 7326,
  4319, 7327, 4320, 7328, 4321, 7329, 4322, 7330, 4323, 7331, 4324, 7332, 4325, 7333,
  4326, 7334, 4327, 7335, 4328, 7336, 4329, 7337, 4330, 7338, 4331, 7339, 4332, 7340,
  4333, 7341, 4334, 7342, 4335, 7343, 4336, 7344, 4337, 7345, 4338, 7346, 4339, 7347,
  4340, 7348, 4341, 7349, 4342, 7350, 4343, 7351, 4344, 7352, 4345, 7353, 4346, 7354,
  4349, 7357, 4350, 7358, 4351, 7359, 7545, 42877, 7549, 11363, 7566, 42950, 7680,
  7681, 7680, 7681, 7682, 7683, 7682, 7683, 7684, 7685, 7684, 7685, 7686, 7687, 7686,
  7687, 7688, 7689, 7688, 7689, 7690, 7691, 7690, 7691, 7692, 7693, 7692, 7693, 7694,
  7695, 7694, 7695, 7696, 7697, 7696, 7697, 7698, 7699, 7698, 7699, 7700, 7701, 7700,
  7701, 7702, 7703, 7702, 7703, 7704, 7705, 7704, 7705, 7706, 7707, 7706, 7707, 7708,
  7709, 7708, 7709, 7710, 7711, 7710, 7711, 7712, 7713, 7712, 7713, 7714, 7715, 7714,
  7715, 7716, 7717, 7716, 7717, 7718, 7719, 7718, 7719, 7720, 7721, 7720, 7721, 7722,
  7723, 7722, 7723, 7724, 7725, 7724, 7725, 7726, 7727, 7726, 7727, 7728, 7729, 7728,
  7729, 7730, 7731, 7730, 7731, 7732, 7733, 7732, 7733, 7734, 7735, 7734, 7735, 7736,
  7737, 7736, 7737, 7738, 7739, 7738, 7739, 7740, 7741, 7740, 7741, 7742, 7743, 7742,
  7743, 7744, 7745, 7744, 7745, 7746, 7747, 7746, 7747, 7748, 7749, 7748, 7749, 7750,
  7751, 7750, 7751, 7752, 7753, 7752, 7753, 7754, 7755, 7754, 7755, 7756, 7757, 7756,
  7757, 7758, 7759, 7758, 7759, 7760, 7761, 7760, 7761, 7762, 7763, 7762, 7763, 7764,
  7765, 7764, 7765, 7766, 7767, 7766, 7767, 7768, 7769, 7768, 7769, 7770, 7771, 7770,
  7771, 7772, 7773, 7772, 7773, 7774, 7775, 7774, 7775, 7776, 7777, 7835, 7776, 7777,
  7835, 7778, 7779, 7778, 7779, 7780, 7781, 7780, 7781, 7782, 7783, 7782, 7783, 7784,
  7785, 7784, 7785, 7786, 7787, 7786, 7787, 7788, 7789, 7788, 7789, 7790, 7791, 7790,
  7791, 7792, 7793, 7792, 7793, 7794, 7795, 7794, 7795, 7796, 7797, 7796, 7797, 7798,
  7799, 7798, 7799, 7800, 7801, 7800, 7801, 7802, 7803, 7802, 7803, 7804, 7805, 7804,
  7805, 7806, 7807, 7806, 7807, 7808, 7809, 7808, 7809, 7810, 7811, 7810, 7811, 7812,
  7813, 7812, 7813, 7814, 7815, 7814, 7815, 7816, 7817, 7816, 7817, 7818, 7819, 7818,
  7819, 7820, 7821, 7820, 7821, 7822, 7823, 7822, 7823, 7824, 7825, 7824, 7825, 7826,
  7827, 7826, 7827, 7828, 7829, 7828, 7829, 7776, 7777, 7835, 223, 7838, 7840, 7841,
  7840, 7841, 7842, 7843, 7842, 7843, 7844, 7845, 7844, 7845, 7846, 7847, 7846, 7847,
  7848, 7849, 7848, 7849, 7850, 7851, 7850, 7851, 7852, 7853, 7852, 7853, 7854, 7855,
  7854, 7855, 7856, 7857, 7856, 7857, 7858, 7859, 7858, 7859, 7860, 7861, 7860, 7861,
  7862, 7863, 7862, 7863, 7864, 7865, 7864, 7865, 7866, 7867, 7866, 7867, 7868, 7869,
  7868, 7869, 7870, 7871, 7870, 7871, 7872, 7873, 7872, 7873, 7874, 7875, 7874, 7875,
  7876, 7877, 7876, 7877, 7878, 7879, 7878, 7879, 7880, 7881, 7880, 7881, 7882, 7883,
  7882, 7883, 7884, 7885, 7884, 7885, 7886, 7887, 7886, 7887, 7888, 7889, 7888, 7889,
  7890, 7891, 7890, 7891, 7892, 7893, 7892, 7893, 7894, 7895, 7894, 7895, 7896, 7897,
  7896, 7897, 7898, 7899, 7898, 7899, 7900, 7901, 7900, 7901, 7902, 7903, 7902, 7903,
  7904, 7905, 7904, 7905, 7906, 7907, 7906, 7907, 7908, 7909, 7908, 7909, 7910, 7911,
  7910, 7911, 7912, 7913, 7912, 7913, 7914, 7915, 7914, 7915, 7916, 7917, 7916, 7917,
  7918, 7919, 7918, 7919, 7920, 7921, 7920, 7921, 7922, 7923, 7922, 7923, 7924, 7925,
  7924, 7925, 7926, 7927, 7926, 7927, 7928, 7929, 7928, 7929, 7930, 7931, 7930, 7931,
  7932, 7933, 7932, 7933, 7934, 7935, 7934, 7935, 7936, 7944, 7937, 7945, 7938, 7946,
  7939, 7947, 7940, 7948, 7941, 7949, 7942, 7950, 7943, 7951, 7936, 7944, 7937, 7945,
  7938, 7946, 7939, 7947, 7940, 7948, 7941, 7949, 7942, 7950, 7943, 7951, 7952, 7960,
  7953, 7961, 7954, 7962, 7955, 7963, 7956, 7964, 7957, 7965, 7952, 7960, 7953, 7961,
  7954, 7962, 7955, 7963, 7956, 7964, 7957, 7965, 7968, 7976, 7969, 7977, 7970, 7978,
  7971, 7979, 7972, 7980, 7973, 7981, 7974, 7982, 7975, 7983, 7968, 7976, 7969, 7977,
  7970, 7978, 7971, 7979, 7972, 7980, 7973, 7981, 7974, 7982, 7975, 7983, 7984, 7992,
  7985, 7993, 7986, 7994, 7987, 7995, 7988, 7996, 7989, 7997, 7990, 7998, 7991, 7999,
  7984, 7992, 7985, 7993, 7986, 7994, 7987, 7995, 7988, 7996, 7989, 7997, 7990, 7998,
  7991, 7999, 8000, 8008, 8001, 8009, 8002, 8010, 8003, 8011, 8004, 8012, 8005, 8013,
  8000, 8008, 8001, 8009, 8002, 8010, 8003, 8011, 8004, 8012, 8005, 8013, 8017, 8025,
  8019, 8027, 8021, 8029, 8023, 8031, 8017, 8025, 8019, 8027, 8021, 8029, 8023, 8031,
  8032, 8040, 8033, 8041, 8034, 8042, 8035, 8043, 8036, 8044, 8037, 8045, 8038, 8046,
  8039, 8047, 8032, 8040, 8033, 8041, 8034, 8042, 8035, 8043, 8036, 8044, 8037, 8045,
  8038, 8046, 8039, 8047, 8048, 8122, 8049, 8123, 8050, 8136, 8051, 8137, 8052, 8138,
  8053, 8139, 8054, 8154, 8055, 8155, 8056, 8184, 8057, 8185, 8058, 8170, 8059, 8171,
  8060, 8186, 8061, 8187, 8064, 8072, 8065, 8073, 8066, 8074, 8067, 8075, 8068, 8076,
  8069, 8077, 8070, 8078, 8071, 8079, 8064, 8072, 8065, 8073, 8066, 8074, 8067, 8075,
  8068, 8076, 8069, 8077, 8070, 8078, 8071, 8079, 8080, 8088, 8081, 8089, 8082, 8090,
  8083, 8091, 8084, 8092, 8085, 8093, 8086, 8094, 8087, 8095, 8080, 8088, 8081, 8089,
  8082, 8090, 8083, 8091, 8084, 8092, 8085, 8093, 8086, 8094, 8087, 8095, 8096, 8104,
  8097, 8105, 8098, 8106, 8099, 8107, 8100, 8108, 8101, 8109, 8102, 8110, 8103, 8111,
  8096, 8104, 8097, 8105, 8098, 8106, 8099, 8107, 8100, 8108, 8101, 8109, 8102, 8110,
  8103, 8111, 8112, 8120, 8113, 8121, 8115, 8124, 8112, 8120, 8113, 8121, 8048, 8122,
  8049, 8123, 8115, 8124, 837, 921, 953, 8126, 8131, 8140, 8050, 8136, 8051, 8137,
  8052, 8138, 8053, 8139, 8131, 8140, 8144, 8152, 8145, 8153, 912, 8147, 8144, 8152,
  8145, 8153, 8054, 8154, 8055, 8155, 8160, 8168, 8161, 8169, 944, 8163, 8165, 8172,
  8160, 8168, 8161, 8169, 8058, 8170, 8059, 8171, 8165, 8172, 8179, 8188, 8056, 8184,
  8057, 8185, 8060, 8186, 8061, 8187, 8179, 8188, 937, 969, 8486, 75, 107, 8490,
  197, 229, 8491, 8498, 8526, 8498, 8526, 8544, 8560, 8545, 8561, 8546, 8562, 8547,
  8563, 8548, 8564, 8549, 8565, 8550, 8566, 8551, 8567, 8552, 8568, 8553, 8569, 8554,
  8570, 8555, 8571, 8556, 8572, 8557, 8573, 8558, 8574, 8559, 8575, 8544, 8560, 8545,
  8561, 8546, 8562, 8547, 8563, 8548, 8564, 8549, 8565, 8550, 8566, 8551, 8567, 8552,
  8568, 8553, 8569, 8554, 8570, 8555, 8571, 8556, 8572, 8557, 8573, 8558, 8574, 8559,
  8575, 8579, 8580, 8579, 8580, 9398, 9424, 9399, 9425, 9400, 9426, 9401, 9427, 9402,
  9428, 9403, 9429, 9404, 9430, 9405, 9431, 9406, 9432, 9407, 9433, 9408, 9434, 9409,
  9435, 9410, 9436, 9411, 9437, 9412, 9438, 9413, 9439, 9414, 9440, 9415, 9441, 9416,
  9442, 9417, 9443, 9418, 9444, 9419, 9445, 9420, 9446, 9421, 9447, 9422, 9448, 9423,
  9449, 9398, 9424, 9399, 9425, 9400, 9426, 9401, 9427, 9402, 9428, 9403, 9429, 9404,
  9430, 9405, 9431, 9406, 9432, 9407, 9433, 9408, 9434, 9409, 9435, 9410, 9436, 9411,
  9437, 9412, 9438, 9413, 9439, 9414, 9440, 9415, 9441, 9416, 9442, 9417, 9443, 9418,
  9444, 9419, 9445, 9420, 9446, 9421, 9447, 9422, 9448, 9423, 9449, 11264, 11312,
  11265, 11313, 11266, 11314, 11267, 11315, 11268, 11316, 11269, 11317, 11270, 11318,
  11271, 11319, 11272, 11320, 11273, 11321, 11274, 11322, 11275, 11323, 11276, 11324,
  11277, 11325, 11278, 11326, 11279, 11327, 11280, 11328, 11281, 11329, 11282, 11330,
  11283, 11331, 11284, 11332, 11285, 11333, 11286, 11334, 11287, 11335, 11288, 11336,
  11289, 11337, 11290, 11338, 11291, 11339, 11292, 11340, 11293, 11341, 11294, 11342,
  11295, 11343, 11296, 11344, 11297, 11345, 11298, 11346, 11299, 11347, 11300, 11348,
  11301, 11349, 11302, 11350, 11303, 11351, 11304, 11352, 11305, 11353, 11306, 11354,
  11307, 11355, 11308, 11356, 11309, 11357, 11310, 11358, 11311, 11359, 11264, 11312,
  11265, 11313, 11266, 11314, 11267, 11315, 11268, 11316, 11269, 11317, 11270, 11318,
  11271, 11319, 11272, 11320, 11273, 11321, 11274, 11322, 11275, 11323, 11276, 11324,
  11277, 11325, 11278, 11326, 11279, 11327, 11280, 11328, 11281, 11329, 11282, 11330,
  11283, 11331, 11284, 11332, 11285, 11333, 11286, 11334, 11287, 11335, 11288, 11336,
  11289, 11337, 11290, 11338, 11291, 11339, 11292, 11340, 11293, 11341, 11294, 11342,
  11295, 11343, 11296, 11344, 11297, 11345, 11298, 11346, 11299, 11347, 11300, 11348,
  11301, 11349, 11302, 11350, 11303, 11351, 11304, 11352, 11305, 11353, 11306, 11354,
  11307, 11355, 11308, 11356, 11309, 11357, 11310, 11358, 11311, 11359, 11360, 11361,
  11360, 11361, 619, 11362, 7549, 11363, 637, 11364, 570, 11365, 574, 11366, 11367,
  11368, 11367, 11368, 11369, 11370, 11369, 11370, 11371, 11372, 11371, 11372, 593,
  11373, 625, 11374, 592, 11375, 594, 11376, 11378, 11379, 11378, 11379, 11381, 11382,
  11381, 11382, 575, 11390, 576, 11391, 11392, 11393, 11392, 11393, 11394, 11395,
  11394, 11395, 11396, 11397, 11396, 11397, 11398, 11399, 11398, 11399, 11400, 11401,
  11400, 11401, 11402, 11403, 11402, 11403, 11404, 11405, 11404, 11405, 11406, 11407,
  11406, 11407, 11408, 11409, 11408, 11409, 11410, 11411, 11410, 11411, 11412, 11413,
  11412, 11413, 11414, 11415, 11414, 11415, 11416, 11417, 11416, 11417, 11418, 11419,
  11418, 11419, 11420, 11421, 11420, 11421, 11422, 11423, 11422, 11423, 11424, 11425,
  11424, 11425, 11426, 11427, 11426, 11427, 11428, 11429, 11428, 11429, 11430, 11431,
  11430, 11431, 11432, 11433, 11432, 11433, 11434, 11435, 11434, 11435, 11436, 11437,
  11436, 11437, 11438, 11439, 11438, 11439, 11440, 11441, 11440, 11441, 11442, 11443,
  11442, 11443, 11444, 11445, 11444, 11445, 11446, 11447, 11446, 11447, 11448, 11449,
  11448, 11449, 11450, 11451, 11450, 11451, 11452, 11453, 11452, 11453, 11454, 11455,
  11454, 11455, 11456, 11457, 11456, 11457, 11458, 11459, 11458, 11459, 11460, 11461,
  11460, 11461, 11462, 11463, 11462, 11463, 11464, 11465, 11464, 11465, 11466, 11467,
  11466, 11467, 11468, 11469, 11468, 11469, 11470, 11471, 11470, 11471, 11472, 11473,
  11472, 11473, 11474, 11475, 11474, 11475, 11476, 11477, 11476, 11477, 11478, 11479,
  11478, 11479, 11480, 11481, 11480, 11481, 11482, 11483, 11482, 11483, 11484, 11485,
  11484, 11485, 11486, 11487, 11486, 11487, 11488, 11489, 11488, 11489, 11490, 11491,
  11490, 11491, 11499, 11500, 11499, 11500, 11501, 11502, 11501, 11502, 11506, 11507,
  11506, 11507, 4256, 11520, 4257, 11521, 4258, 11522, 4259, 11523, 4260, 11524,
  4261, 11525, 4262, 11526, 4263, 11527, 4264, 11528, 4265, 11529, 4266, 11530, 4267,
  11531, 4268, 11532, 4269, 11533, 4270, 11534, 4271, 11535, 4272, 11536, 4273, 11537,
  4274, 11538, 4275, 11539, 4276, 11540, 4277, 11541, 4278, 11542, 4279, 11543, 4280,
  11544, 4281, 11545, 4282, 11546, 4283, 11547, 4284, 11548, 4285, 11549, 4286, 11550,
  4287, 11551, 4288, 11552, 4289, 11553, 4290, 11554, 4291, 11555, 4292, 11556, 4293,
  11557, 4295, 11559, 4301, 11565, 42560, 42561, 42560, 42561, 42562, 42563, 42562,
  42563, 42564, 42565, 42564, 42565, 42566, 42567, 42566, 42567, 42568, 42569, 42568,
  42569, 7304, 42570, 42571, 7304, 42570, 42571, 42572, 42573, 42572, 42573, 42574,
  42575, 42574, 42575, 42576, 42577, 42576, 42577, 42578, 42579, 42578, 42579, 42580,
  42581, 42580, 42581, 42582, 42583, 42582, 42583, 42584, 42585, 42584, 42585, 42586,
  42587, 42586, 42587, 42588, 42589, 42588, 42589, 42590, 42591, 42590, 42591, 42592,
  42593, 42592, 42593, 42594, 42595, 42594, 42595, 42596, 42597, 42596, 42597, 42598,
  42599, 42598, 42599, 42600, 42601, 42600, 42601, 42602, 42603, 42602, 42603, 42604,
  42605, 42604, 42605, 42624, 42625, 42624, 42625, 42626, 42627, 42626, 42627, 42628,
  42629, 42628, 42629, 42630, 42631, 42630, 42631, 42632, 42633, 42632, 42633, 42634,
  42635, 42634, 42635, 42636, 42637, 42636, 42637, 42638, 42639, 42638, 42639, 42640,
  42641, 42640, 42641, 42642, 42643, 42642, 42643, 42644, 42645, 42644, 42645, 42646,
  42647, 42646, 42647, 42648, 42649, 42648, 42649, 42650, 42651, 42650, 42651, 42786,
  42787, 42786, 42787, 42788, 42789, 42788, 42789, 42790, 42791, 42790, 42791, 42792,
  42793, 42792, 42793, 42794, 42795, 42794, 42795, 42796, 42797, 42796, 42797, 42798,
  42799, 42798, 42799, 42802, 42803, 42802, 42803, 42804, 42805, 42804, 42805, 42806,
  42807, 42806, 42807, 42808, 42809, 42808, 42809, 42810, 42811, 42810, 42811, 42812,
  42813, 42812, 42813, 42814, 42815, 42814, 42815, 42816, 42817, 42816, 42817, 42818,
  42819, 42818, 42819, 42820, 42821, 42820, 42821, 42822, 42823, 42822, 42823, 42824,
  42825, 42824, 42825, 42826, 42827, 42826, 42827, 42828, 42829, 42828, 42829, 42830,
  42831, 42830, 42831, 42832, 42833, 42832, 42833, 42834, 42835, 42834, 42835, 42836,
  42837, 42836, 42837, 42838, 42839, 42838, 42839, 42840, 42841, 42840, 42841, 42842,
  42843, 42842, 42843, 42844, 42845, 42844, 42845, 42846, 42847, 42846, 42847, 42848,
  42849, 42848, 42849, 42850, 42851, 42850, 42851, 42852, 42853, 42852, 42853, 42854,
  42855, 42854, 42855, 42856, 42857, 42856, 42857, 42858, 42859, 42858, 42859, 42860,
  42861, 42860, 42861, 42862, 42863, 42862, 42863, 42873, 42874, 42873, 42874, 42875,
  42876, 42875, 42876, 7545, 42877, 42878, 42879, 42878, 42879, 42880, 42881, 42880,
  42881, 42882, 42883, 42882, 42883, 42884, 42885, 42884, 42885, 42886, 42887, 42886,
  42887, 42891, 42892, 42891, 42892, 613, 42893, 42896, 42897, 42896, 42897, 42898,
  42899, 42898, 42899, 42900, 42948, 42902, 42903, 42902, 42903, 42904, 42905, 42904,
  42905, 42906, 42907, 42906, 42907, 42908, 42909, 42908, 42909, 42910, 42911, 42910,
  42911, 42912, 42913, 42912, 42913, 42914, 42915, 42914, 42915, 42916, 42917, 42916,
  42917, 42918, 42919, 42918, 42919, 42920, 42921, 42920, 42921, 614, 42922, 604,
  42923, 609, 42924, 620, 42925, 618, 42926, 670, 42928, 647, 42929, 669, 42930,
  42931, 43859, 42932, 42933, 42932, 42933, 42934, 42935, 42934, 42935, 42936, 42937,
  42936, 42937, 42938, 42939, 42938, 42939, 42940, 42941, 42940, 42941, 42942, 42943,
  42942, 42943, 42944, 42945, 42944, 42945, 42946, 42947, 42946, 42947, 42900, 42948,
  642, 42949, 7566, 42950, 42951, 42952, 42951, 42952, 42953, 42954, 42953, 42954,
  612, 42955, 42956, 42957, 42956, 42957, 42960, 42961, 42960, 42961, 42966, 42967,
  42966, 42967, 42968, 42969, 42968, 42969, 42970, 42971, 42970, 42971, 411, 42972,
  42997, 42998, 42997, 42998, 42931, 43859, 5024, 43888, 5025, 43889, 5026, 43890,
  5027, 43891, 5028, 43892, 5029, 43893, 5030, 43894, 5031, 43895, 5032, 43896, 5033,
  43897, 5034, 43898, 5035, 43899, 5036, 43900, 5037, 43901, 5038, 43902, 5039, 43903,
  5040, 43904, 5041, 43905, 5042, 43906, 5043, 43907, 5044, 43908, 5045, 43909, 5046,
  43910, 5047, 43911, 5048, 43912, 5049, 43913, 5050, 43914, 5051, 43915, 5052, 43916,
  5053, 43917, 5054, 43918, 5055, 43919, 5056, 43920, 5057, 43921, 5058, 43922, 5059,
  43923, 5060, 43924, 5061, 43925, 5062, 43926, 5063, 43927, 5064, 43928, 5065, 43929,
  5066, 43930, 5067, 43931, 5068, 43932, 5069, 43933, 5070, 43934, 5071, 43935, 5072,
  43936, 5073, 43937, 5074, 43938, 5075, 43939, 5076, 43940, 5077, 43941, 5078, 43942,
  5079, 43943, 5080, 43944, 5081, 43945, 5082, 43946, 5083, 43947, 5084, 43948, 5085,
  43949, 5086, 43950, 5087, 43951, 5088, 43952, 5089, 43953, 5090, 43954, 5091, 43955,
  5092, 43956, 5093, 43957, 5094, 43958, 5095, 43959, 5096, 43960, 5097, 43961, 5098,
  43962, 5099, 43963, 5100, 43964, 5101, 43965, 5102, 43966, 5103, 43967, 64261,
  64262, 64261, 64262, 65313, 65345, 65314, 65346, 65315, 65347, 65316, 65348, 65317,
  65349, 65318, 65350, 65319, 65351, 65320, 65352, 65321, 65353, 65322, 65354, 65323,
  65355, 65324, 65356, 65325, 65357, 65326, 65358, 65327, 65359, 65328, 65360, 65329,
  65361, 65330, 65362, 65331, 65363, 65332, 65364, 65333, 65365, 65334, 65366, 65335,
  65367, 65336, 65368, 65337, 65369, 65338, 65370, 65313, 65345, 65314, 65346, 65315,
  65347, 65316, 65348, 65317, 65349, 65318, 65350, 65319, 65351, 65320, 65352, 65321,
  65353, 65322, 65354, 65323, 65355, 65324, 65356, 65325, 65357, 65326, 65358, 65327,
  65359, 65328, 65360, 65329, 65361, 65330, 65362, 65331, 65363, 65332, 65364, 65333,
  65365, 65334, 65366, 65335, 65367, 65336, 65368, 65337, 65369, 65338, 65370, 66560,
  66600, 66561, 66601, 66562, 66602, 66563, 66603, 66564, 66604, 66565, 66605, 66566,
  66606, 66567, 66607, 66568, 66608, 66569, 66609, 66570, 66610, 66571, 66611, 66572,
  66612, 66573, 66613, 66574, 66614, 66575, 66615, 66576, 66616, 66577, 66617, 66578,
  66618, 66579, 66619, 66580, 66620, 66581, 66621, 66582, 66622, 66583, 66623, 66584,
  66624, 66585, 66625, 66586, 66626, 66587, 66627, 66588, 66628, 66589, 66629, 66590,
  66630, 66591, 66631, 66592, 66632, 66593, 66633, 66594, 66634, 66595, 66635, 66596,
  66636, 66597, 66637, 66598, 66638, 66599, 66639, 66560, 66600, 66561, 66601, 66562,
  66602, 66563, 66603, 66564, 66604, 66565, 66605, 66566, 66606, 66567, 66607, 66568,
  66608, 66569, 66609, 66570, 66610, 66571, 66611, 66572, 66612, 66573, 66613, 66574,
  66614, 66575, 66615, 66576, 66616, 66577, 66617, 66578, 66618, 66579, 66619, 66580,
  66620, 66581, 66621, 66582, 66622, 66583, 66623, 66584, 66624, 66585, 66625, 66586,
  66626, 66587, 66627, 66588, 66628, 66589, 66629, 66590, 66630, 66591, 66631, 66592,
  66632, 66593, 66633, 66594, 66634, 66595, 66635, 66596, 66636, 66597, 66637, 66598,
  66638, 66599, 66639, 66736, 66776, 66737, 66777, 66738, 66778, 66739, 66779, 66740,
  66780, 66741, 66781, 66742, 66782, 66743, 66783, 66744, 66784, 66745, 66785, 66746,
  66786, 66747, 66787, 66748, 66788, 66749, 66789, 66750, 66790, 66751, 66791, 66752,
  66792, 66753, 66793, 66754, 66794, 66755, 66795, 66756, 66796, 66757, 66797, 66758,
  66798, 66759, 66799, 66760, 66800, 66761, 66801, 66762, 66802, 66763, 66803, 66764,
  66804, 66765, 66805, 66766, 66806, 66767, 66807, 66768, 66808, 66769, 66809, 66770,
  66810, 66771, 66811, 66736, 66776, 66737, 66777, 66738, 66778, 66739, 66779, 66740,
  66780, 66741, 66781, 66742, 66782, 66743, 66783, 66744, 66784, 66745, 66785, 66746,
  66786, 66747, 66787, 66748, 66788, 66749, 66789, 66750, 66790, 66751, 66791, 66752,
  66792, 66753, 66793, 66754, 66794, 66755, 66795, 66756, 66796, 66757, 66797, 66758,
  66798, 66759, 66799, 66760, 66800, 66761, 66801, 66762, 66802, 66763, 66803, 66764,
  66804, 66765, 66805, 66766, 66806, 66767, 66807, 66768, 66808, 66769, 66809, 66770,
  66810, 66771, 66811, 66928, 66967, 66929, 66968, 66930, 66969, 66931, 66970, 66932,
  66971, 66933, 66972, 66934, 66973, 66935, 66974, 66936, 66975, 66937, 66976, 66938,
  66977, 66940, 66979, 66941, 66980, 66942, 66981, 66943, 66982, 66944, 66983, 66945,
  66984, 66946, 66985, 66947, 66986, 66948, 66987, 66949, 66988, 66950, 66989, 66951,
  66990, 66952, 66991, 66953, 66992, 66954, 66993, 66956, 66995, 66957, 66996, 66958,
  66997, 66959, 66998, 66960, 66999, 66961, 67000, 66962, 67001, 66964, 67003, 66965,
  67004, 66928, 66967, 66929, 66968, 66930, 66969, 66931, 66970, 66932, 66971, 66933,
  66972, 66934, 66973, 66935, 66974, 66936, 66975, 66937, 66976, 66938, 66977, 66940,
  66979, 66941, 66980, 66942, 66981, 66943, 66982, 66944, 66983, 66945, 66984, 66946,
  66985, 66947, 66986, 66948, 66987, 66949, 66988, 66950, 66989, 66951, 66990, 66952,
  66991, 66953, 66992, 66954, 66993, 66956, 66995, 66957, 66996, 66958, 66997, 66959,
  66998, 66960, 66999, 66961, 67000, 66962, 67001, 66964, 67003, 66965, 67004, 68736,
  68800, 68737, 68801, 68738, 68802, 68739, 68803, 68740, 68804, 68741, 68805, 68742,
  68806, 68743, 68807, 68744, 68808, 68745, 68809, 68746, 68810, 68747, 68811, 68748,
  68812, 68749, 68813, 68750, 68814, 68751, 68815, 68752, 68816, 68753, 68817, 68754,
  68818, 68755, 68819, 68756, 68820, 68757, 68821, 68758, 68822, 68759, 68823, 68760,
  68824, 68761, 68825, 68762, 68826, 68763, 68827, 68764, 68828, 68765, 68829, 68766,
  68830, 68767, 68831, 68768, 68832, 68769, 68833, 68770, 68834, 68771, 68835, 68772,
  68836, 68773, 68837, 68774, 68838, 68775, 68839, 68776, 68840, 68777, 68841, 68778,
  68842, 68779, 68843, 68780, 68844, 68781, 68845, 68782, 68846, 68783, 68847, 68784,
  68848, 68785, 68849, 68786, 68850, 68736, 68800, 68737, 68801, 68738, 68802, 68739,
  68803, 68740, 68804, 68741, 68805, 68742, 68806, 68743, 68807, 68744, 68808, 68745,
  68809, 68746, 68810, 68747, 68811, 68748, 68812, 68749, 68813, 68750, 68814, 68751,
  68815, 68752, 68816, 68753, 68817, 68754, 68818, 68755, 68819, 68756, 68820, 68757,
  68821, 68758, 68822, 68759, 68823, 68760, 68824, 68761, 68825, 68762, 68826, 68763,
  68827, 68764, 68828, 68765, 68829, 68766, 68830, 68767, 68831, 68768, 68832, 68769,
  68833, 68770, 68834, 68771, 68835, 68772, 68836, 68773, 68837, 68774, 68838, 68775,
  68839, 68776, 68840, 68777, 68841, 68778, 68842, 68779, 68843, 68780, 68844, 68781,
  68845, 68782, 68846, 68783, 68847, 68784, 68848, 68785, 68849, 68786, 68850, 68944,
  68976, 68945, 68977, 68946, 68978, 68947, 68979, 68948, 68980, 68949, 68981, 68950,
  68982, 68951, 68983, 68952, 68984, 68953, 68985, 68954, 68986, 68955, 68987, 68956,
  68988, 68957, 68989, 68958, 68990, 68959, 68991, 68960, 68992, 68961, 68993, 68962,
  68994, 68963, 68995, 68964, 68996, 68965, 68997, 68944, 68976, 68945, 68977, 68946,
  68978, 68947, 68979, 68948, 68980, 68949, 68981, 68950, 68982, 68951, 68983, 68952,
  68984, 68953, 68985, 68954, 68986, 68955, 68987, 68956, 68988, 68957, 68989, 68958,
  68990, 68959, 68991, 68960, 68992, 68961, 68993, 68962, 68994, 68963, 68995, 68964,
  68996, 68965, 68997, 71840, 71872, 71841, 71873, 71842, 71874, 71843, 71875, 71844,
  71876, 71845, 71877, 71846, 71878, 71847, 71879, 71848, 71880, 71849, 71881, 71850,
  71882, 71851, 71883, 71852, 71884, 71853, 71885, 71854, 71886, 71855, 71887, 71856,
  71888, 71857, 71889, 71858, 71890, 71859, 71891, 71860, 71892, 71861, 71893, 71862,
  71894, 71863, 71895, 71864, 71896, 71865, 71897, 71866, 71898, 71867, 71899, 71868,
  71900, 71869, 71901, 71870, 71902, 71871, 71903, 71840, 71872, 71841, 71873, 71842,
  71874, 71843, 71875, 71844, 71876, 71845, 71877, 71846, 71878, 71847, 71879, 71848,
  71880, 71849, 71881, 71850, 71882, 71851, 71883, 71852, 71884, 71853, 71885, 71854,
  71886, 71855, 71887, 71856, 71888, 71857, 71889, 71858, 71890, 71859, 71891, 71860,
  71892, 71861, 71893, 71862, 71894, 71863, 71895, 71864, 71896, 71865, 71897, 71866,
  71898, 71867, 71899, 71868, 71900, 71869, 71901, 71870, 71902, 71871, 71903, 93760,
  93792, 93761, 93793, 93762, 93794, 93763, 93795, 93764, 93796, 93765, 93797, 93766,
  93798, 93767, 93799, 93768, 93800, 93769, 93801, 93770, 93802, 93771, 93803, 93772,
  93804, 93773, 93805, 93774, 93806, 93775, 93807, 93776, 93808, 93777, 93809, 93778,
  93810, 93779, 93811, 93780, 93812, 93781, 93813, 93782, 93814, 93783, 93815, 93784,
  93816, 93785, 93817, 93786, 93818, 93787, 93819, 93788, 93820, 93789, 93821, 93790,
  93822, 93791, 93823, 93760, 93792, 93761, 93793, 93762, 93794, 93763, 93795, 93764,
  93796, 93765, 93797, 93766, 93798, 93767, 93799, 93768, 93800, 93769, 93801, 93770,
  93802, 93771, 93803, 93772, 93804, 93773, 93805, 93774, 93806, 93775, 93807, 93776,
  93808, 93777, 93809, 93778, 93810, 93779, 93811, 93780, 93812, 93781, 93813, 93782,
  93814, 93783, 93815, 93784, 93816, 93785, 93817, 93786, 93818, 93787, 93819, 93788,
  93820, 93789, 93821, 93790, 93822, 93791, 93823, 125184, 125218, 125185, 125219,
  125186, 125220, 125187, 125221, 125188, 125222, 125189, 125223, 125190, 125224,
  125191, 125225, 125192, 125226, 125193, 125227, 125194, 125228, 125195, 125229,
  125196, 125230, 125197, 125231, 125198, 125232, 125199, 125233, 125200, 125234,
  125201, 125235, 125202, 125236, 125203, 125237, 125204, 125238, 125205, 125239,
  125206, 125240, 125207, 125241, 125208, 125242, 125209, 125243, 125210, 125244,
  125211, 125245, 125212, 125246, 125213, 125247, 125214, 125248, 125215, 125249,
  125216, 125250, 125217, 125251, 125184, 125218, 125185, 125219, 125186, 125220,
  125187, 125221, 125188, 125222, 125189, 125223, 125190, 125224, 125191, 125225,
  125192, 125226, 125193, 125227, 125194, 125228, 125195, 125229, 125196, 125230,
  125197, 125231, 125198, 125232, 125199, 125233, 125200, 125234, 125201, 125235,
  125202, 125236, 125203, 125237, 125204, 125238, 125205, 125239, 125206, 125240,
  125207, 125241, 125208, 125242, 125209, 125243, 125210, 125244, 125211, 125245,
  125212, 125246, 125213, 125247, 125214, 125248, 125215, 125249, 125216, 125250,
  125217, 125251,
]