// Code generated by tools/gen-unicode.js (node 25, unicode 17.0). DO NOT EDIT.
///|
let lower_keys : ReadOnlyArray[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, 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, 256, 258, 260, 262, 264, 266, 268, 270, 272, 274, 276, 278, 280,
282, 284, 286, 288, 290, 292, 294, 296, 298, 300, 302, 304, 306, 308, 310, 313,
315, 317, 319, 321, 323, 325, 327, 330, 332, 334, 336, 338, 340, 342, 344, 346,
348, 350, 352, 354, 356, 358, 360, 362, 364, 366, 368, 370, 372, 374, 376, 377,
379, 381, 385, 386, 388, 390, 391, 393, 394, 395, 398, 399, 400, 401, 403, 404,
406, 407, 408, 412, 413, 415, 416, 418, 420, 422, 423, 425, 428, 430, 431, 433,
434, 435, 437, 439, 440, 444, 452, 453, 455, 456, 458, 459, 461, 463, 465, 467,
469, 471, 473, 475, 478, 480, 482, 484, 486, 488, 490, 492, 494, 497, 498, 500,
502, 503, 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,
570, 571, 573, 574, 577, 579, 580, 581, 582, 584, 586, 588, 590, 880, 882, 886,
895, 902, 904, 905, 906, 908, 910, 911, 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, 975, 984, 986, 988, 990, 992, 994, 996, 998, 1000, 1002, 1004, 1006,
1012, 1015, 1017, 1018, 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, 1120,
1122, 1124, 1126, 1128, 1130, 1132, 1134, 1136, 1138, 1140, 1142, 1144, 1146, 1148,
1150, 1152, 1162, 1164, 1166, 1168, 1170, 1172, 1174, 1176, 1178, 1180, 1182, 1184,
1186, 1188, 1190, 1192, 1194, 1196, 1198, 1200, 1202, 1204, 1206, 1208, 1210, 1212,
1214, 1216, 1217, 1219, 1221, 1223, 1225, 1227, 1229, 1232, 1234, 1236, 1238, 1240,
1242, 1244, 1246, 1248, 1250, 1252, 1254, 1256, 1258, 1260, 1262, 1264, 1266, 1268,
1270, 1272, 1274, 1276, 1278, 1280, 1282, 1284, 1286, 1288, 1290, 1292, 1294, 1296,
1298, 1300, 1302, 1304, 1306, 1308, 1310, 1312, 1314, 1316, 1318, 1320, 1322, 1324,
1326, 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, 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, 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, 7305, 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, 7680, 7682, 7684, 7686, 7688, 7690, 7692, 7694, 7696, 7698, 7700, 7702,
7704, 7706, 7708, 7710, 7712, 7714, 7716, 7718, 7720, 7722, 7724, 7726, 7728, 7730,
7732, 7734, 7736, 7738, 7740, 7742, 7744, 7746, 7748, 7750, 7752, 7754, 7756, 7758,
7760, 7762, 7764, 7766, 7768, 7770, 7772, 7774, 7776, 7778, 7780, 7782, 7784, 7786,
7788, 7790, 7792, 7794, 7796, 7798, 7800, 7802, 7804, 7806, 7808, 7810, 7812, 7814,
7816, 7818, 7820, 7822, 7824, 7826, 7828, 7838, 7840, 7842, 7844, 7846, 7848, 7850,
7852, 7854, 7856, 7858, 7860, 7862, 7864, 7866, 7868, 7870, 7872, 7874, 7876, 7878,
7880, 7882, 7884, 7886, 7888, 7890, 7892, 7894, 7896, 7898, 7900, 7902, 7904, 7906,
7908, 7910, 7912, 7914, 7916, 7918, 7920, 7922, 7924, 7926, 7928, 7930, 7932, 7934,
7944, 7945, 7946, 7947, 7948, 7949, 7950, 7951, 7960, 7961, 7962, 7963, 7964, 7965,
7976, 7977, 7978, 7979, 7980, 7981, 7982, 7983, 7992, 7993, 7994, 7995, 7996, 7997,
7998, 7999, 8008, 8009, 8010, 8011, 8012, 8013, 8025, 8027, 8029, 8031, 8040, 8041,
8042, 8043, 8044, 8045, 8046, 8047, 8072, 8073, 8074, 8075, 8076, 8077, 8078, 8079,
8088, 8089, 8090, 8091, 8092, 8093, 8094, 8095, 8104, 8105, 8106, 8107, 8108, 8109,
8110, 8111, 8120, 8121, 8122, 8123, 8124, 8136, 8137, 8138, 8139, 8140, 8152, 8153,
8154, 8155, 8168, 8169, 8170, 8171, 8172, 8184, 8185, 8186, 8187, 8188, 8486, 8490,
8491, 8498, 8544, 8545, 8546, 8547, 8548, 8549, 8550, 8551, 8552, 8553, 8554, 8555,
8556, 8557, 8558, 8559, 8579, 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, 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, 11360, 11362, 11363, 11364, 11367, 11369, 11371, 11373, 11374,
11375, 11376, 11378, 11381, 11390, 11391, 11392, 11394, 11396, 11398, 11400, 11402,
11404, 11406, 11408, 11410, 11412, 11414, 11416, 11418, 11420, 11422, 11424, 11426,
11428, 11430, 11432, 11434, 11436, 11438, 11440, 11442, 11444, 11446, 11448, 11450,
11452, 11454, 11456, 11458, 11460, 11462, 11464, 11466, 11468, 11470, 11472, 11474,
11476, 11478, 11480, 11482, 11484, 11486, 11488, 11490, 11499, 11501, 11506, 42560,
42562, 42564, 42566, 42568, 42570, 42572, 42574, 42576, 42578, 42580, 42582, 42584,
42586, 42588, 42590, 42592, 42594, 42596, 42598, 42600, 42602, 42604, 42624, 42626,
42628, 42630, 42632, 42634, 42636, 42638, 42640, 42642, 42644, 42646, 42648, 42650,
42786, 42788, 42790, 42792, 42794, 42796, 42798, 42802, 42804, 42806, 42808, 42810,
42812, 42814, 42816, 42818, 42820, 42822, 42824, 42826, 42828, 42830, 42832, 42834,
42836, 42838, 42840, 42842, 42844, 42846, 42848, 42850, 42852, 42854, 42856, 42858,
42860, 42862, 42873, 42875, 42877, 42878, 42880, 42882, 42884, 42886, 42891, 42893,
42896, 42898, 42902, 42904, 42906, 42908, 42910, 42912, 42914, 42916, 42918, 42920,
42922, 42923, 42924, 42925, 42926, 42928, 42929, 42930, 42931, 42932, 42934, 42936,
42938, 42940, 42942, 42944, 42946, 42948, 42949, 42950, 42951, 42953, 42955, 42956,
42958, 42960, 42962, 42964, 42966, 42968, 42970, 42972, 42997, 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, 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, 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, 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, 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, 68944, 68945, 68946, 68947, 68948, 68949, 68950,
68951, 68952, 68953, 68954, 68955, 68956, 68957, 68958, 68959, 68960, 68961, 68962,
68963, 68964, 68965, 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, 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, 93856, 93857, 93858, 93859, 93860,
93861, 93862, 93863, 93864, 93865, 93866, 93867, 93868, 93869, 93870, 93871, 93872,
93873, 93874, 93875, 93876, 93877, 93878, 93879, 93880, 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,
]
///|
let lower_vals : ReadOnlyArray[String] = [
"\u{61}", "\u{62}", "\u{63}", "\u{64}", "\u{65}", "\u{66}", "\u{67}", "\u{68}",
"\u{69}", "\u{6a}", "\u{6b}", "\u{6c}", "\u{6d}", "\u{6e}", "\u{6f}", "\u{70}",
"\u{71}", "\u{72}", "\u{73}", "\u{74}", "\u{75}", "\u{76}", "\u{77}", "\u{78}",
"\u{79}", "\u{7a}", "\u{e0}", "\u{e1}", "\u{e2}", "\u{e3}", "\u{e4}", "\u{e5}",
"\u{e6}", "\u{e7}", "\u{e8}", "\u{e9}", "\u{ea}", "\u{eb}", "\u{ec}", "\u{ed}",
"\u{ee}", "\u{ef}", "\u{f0}", "\u{f1}", "\u{f2}", "\u{f3}", "\u{f4}", "\u{f5}",
"\u{f6}", "\u{f8}", "\u{f9}", "\u{fa}", "\u{fb}", "\u{fc}", "\u{fd}", "\u{fe}",
"\u{101}", "\u{103}", "\u{105}", "\u{107}", "\u{109}", "\u{10b}", "\u{10d}", "\u{10f}",
"\u{111}", "\u{113}", "\u{115}", "\u{117}", "\u{119}", "\u{11b}", "\u{11d}", "\u{11f}",
"\u{121}", "\u{123}", "\u{125}", "\u{127}", "\u{129}", "\u{12b}", "\u{12d}", "\u{12f}",
"\u{69}\u{307}", "\u{133}", "\u{135}", "\u{137}", "\u{13a}", "\u{13c}", "\u{13e}",
"\u{140}", "\u{142}", "\u{144}", "\u{146}", "\u{148}", "\u{14b}", "\u{14d}", "\u{14f}",
"\u{151}", "\u{153}", "\u{155}", "\u{157}", "\u{159}", "\u{15b}", "\u{15d}", "\u{15f}",
"\u{161}", "\u{163}", "\u{165}", "\u{167}", "\u{169}", "\u{16b}", "\u{16d}", "\u{16f}",
"\u{171}", "\u{173}", "\u{175}", "\u{177}", "\u{ff}", "\u{17a}", "\u{17c}", "\u{17e}",
"\u{253}", "\u{183}", "\u{185}", "\u{254}", "\u{188}", "\u{256}", "\u{257}", "\u{18c}",
"\u{1dd}", "\u{259}", "\u{25b}", "\u{192}", "\u{260}", "\u{263}", "\u{269}", "\u{268}",
"\u{199}", "\u{26f}", "\u{272}", "\u{275}", "\u{1a1}", "\u{1a3}", "\u{1a5}", "\u{280}",
"\u{1a8}", "\u{283}", "\u{1ad}", "\u{288}", "\u{1b0}", "\u{28a}", "\u{28b}", "\u{1b4}",
"\u{1b6}", "\u{292}", "\u{1b9}", "\u{1bd}", "\u{1c6}", "\u{1c6}", "\u{1c9}", "\u{1c9}",
"\u{1cc}", "\u{1cc}", "\u{1ce}", "\u{1d0}", "\u{1d2}", "\u{1d4}", "\u{1d6}", "\u{1d8}",
"\u{1da}", "\u{1dc}", "\u{1df}", "\u{1e1}", "\u{1e3}", "\u{1e5}", "\u{1e7}", "\u{1e9}",
"\u{1eb}", "\u{1ed}", "\u{1ef}", "\u{1f3}", "\u{1f3}", "\u{1f5}", "\u{195}", "\u{1bf}",
"\u{1f9}", "\u{1fb}", "\u{1fd}", "\u{1ff}", "\u{201}", "\u{203}", "\u{205}", "\u{207}",
"\u{209}", "\u{20b}", "\u{20d}", "\u{20f}", "\u{211}", "\u{213}", "\u{215}", "\u{217}",
"\u{219}", "\u{21b}", "\u{21d}", "\u{21f}", "\u{19e}", "\u{223}", "\u{225}", "\u{227}",
"\u{229}", "\u{22b}", "\u{22d}", "\u{22f}", "\u{231}", "\u{233}", "\u{2c65}", "\u{23c}",
"\u{19a}", "\u{2c66}", "\u{242}", "\u{180}", "\u{289}", "\u{28c}", "\u{247}", "\u{249}",
"\u{24b}", "\u{24d}", "\u{24f}", "\u{371}", "\u{373}", "\u{377}", "\u{3f3}", "\u{3ac}",
"\u{3ad}", "\u{3ae}", "\u{3af}", "\u{3cc}", "\u{3cd}", "\u{3ce}", "\u{3b1}", "\u{3b2}",
"\u{3b3}", "\u{3b4}", "\u{3b5}", "\u{3b6}", "\u{3b7}", "\u{3b8}", "\u{3b9}", "\u{3ba}",
"\u{3bb}", "\u{3bc}", "\u{3bd}", "\u{3be}", "\u{3bf}", "\u{3c0}", "\u{3c1}", "\u{3c3}",
"\u{3c4}", "\u{3c5}", "\u{3c6}", "\u{3c7}", "\u{3c8}", "\u{3c9}", "\u{3ca}", "\u{3cb}",
"\u{3d7}", "\u{3d9}", "\u{3db}", "\u{3dd}", "\u{3df}", "\u{3e1}", "\u{3e3}", "\u{3e5}",
"\u{3e7}", "\u{3e9}", "\u{3eb}", "\u{3ed}", "\u{3ef}", "\u{3b8}", "\u{3f8}", "\u{3f2}",
"\u{3fb}", "\u{37b}", "\u{37c}", "\u{37d}", "\u{450}", "\u{451}", "\u{452}", "\u{453}",
"\u{454}", "\u{455}", "\u{456}", "\u{457}", "\u{458}", "\u{459}", "\u{45a}", "\u{45b}",
"\u{45c}", "\u{45d}", "\u{45e}", "\u{45f}", "\u{430}", "\u{431}", "\u{432}", "\u{433}",
"\u{434}", "\u{435}", "\u{436}", "\u{437}", "\u{438}", "\u{439}", "\u{43a}", "\u{43b}",
"\u{43c}", "\u{43d}", "\u{43e}", "\u{43f}", "\u{440}", "\u{441}", "\u{442}", "\u{443}",
"\u{444}", "\u{445}", "\u{446}", "\u{447}", "\u{448}", "\u{449}", "\u{44a}", "\u{44b}",
"\u{44c}", "\u{44d}", "\u{44e}", "\u{44f}", "\u{461}", "\u{463}", "\u{465}", "\u{467}",
"\u{469}", "\u{46b}", "\u{46d}", "\u{46f}", "\u{471}", "\u{473}", "\u{475}", "\u{477}",
"\u{479}", "\u{47b}", "\u{47d}", "\u{47f}", "\u{481}", "\u{48b}", "\u{48d}", "\u{48f}",
"\u{491}", "\u{493}", "\u{495}", "\u{497}", "\u{499}", "\u{49b}", "\u{49d}", "\u{49f}",
"\u{4a1}", "\u{4a3}", "\u{4a5}", "\u{4a7}", "\u{4a9}", "\u{4ab}", "\u{4ad}", "\u{4af}",
"\u{4b1}", "\u{4b3}", "\u{4b5}", "\u{4b7}", "\u{4b9}", "\u{4bb}", "\u{4bd}", "\u{4bf}",
"\u{4cf}", "\u{4c2}", "\u{4c4}", "\u{4c6}", "\u{4c8}", "\u{4ca}", "\u{4cc}", "\u{4ce}",
"\u{4d1}", "\u{4d3}", "\u{4d5}", "\u{4d7}", "\u{4d9}", "\u{4db}", "\u{4dd}", "\u{4df}",
"\u{4e1}", "\u{4e3}", "\u{4e5}", "\u{4e7}", "\u{4e9}", "\u{4eb}", "\u{4ed}", "\u{4ef}",
"\u{4f1}", "\u{4f3}", "\u{4f5}", "\u{4f7}", "\u{4f9}", "\u{4fb}", "\u{4fd}", "\u{4ff}",
"\u{501}", "\u{503}", "\u{505}", "\u{507}", "\u{509}", "\u{50b}", "\u{50d}", "\u{50f}",
"\u{511}", "\u{513}", "\u{515}", "\u{517}", "\u{519}", "\u{51b}", "\u{51d}", "\u{51f}",
"\u{521}", "\u{523}", "\u{525}", "\u{527}", "\u{529}", "\u{52b}", "\u{52d}", "\u{52f}",
"\u{561}", "\u{562}", "\u{563}", "\u{564}", "\u{565}", "\u{566}", "\u{567}", "\u{568}",
"\u{569}", "\u{56a}", "\u{56b}", "\u{56c}", "\u{56d}", "\u{56e}", "\u{56f}", "\u{570}",
"\u{571}", "\u{572}", "\u{573}", "\u{574}", "\u{575}", "\u{576}", "\u{577}", "\u{578}",
"\u{579}", "\u{57a}", "\u{57b}", "\u{57c}", "\u{57d}", "\u{57e}", "\u{57f}", "\u{580}",
"\u{581}", "\u{582}", "\u{583}", "\u{584}", "\u{585}", "\u{586}", "\u{2d00}", "\u{2d01}",
"\u{2d02}", "\u{2d03}", "\u{2d04}", "\u{2d05}", "\u{2d06}", "\u{2d07}", "\u{2d08}",
"\u{2d09}", "\u{2d0a}", "\u{2d0b}", "\u{2d0c}", "\u{2d0d}", "\u{2d0e}", "\u{2d0f}",
"\u{2d10}", "\u{2d11}", "\u{2d12}", "\u{2d13}", "\u{2d14}", "\u{2d15}", "\u{2d16}",
"\u{2d17}", "\u{2d18}", "\u{2d19}", "\u{2d1a}", "\u{2d1b}", "\u{2d1c}", "\u{2d1d}",
"\u{2d1e}", "\u{2d1f}", "\u{2d20}", "\u{2d21}", "\u{2d22}", "\u{2d23}", "\u{2d24}",
"\u{2d25}", "\u{2d27}", "\u{2d2d}", "\u{ab70}", "\u{ab71}", "\u{ab72}", "\u{ab73}",
"\u{ab74}", "\u{ab75}", "\u{ab76}", "\u{ab77}", "\u{ab78}", "\u{ab79}", "\u{ab7a}",
"\u{ab7b}", "\u{ab7c}", "\u{ab7d}", "\u{ab7e}", "\u{ab7f}", "\u{ab80}", "\u{ab81}",
"\u{ab82}", "\u{ab83}", "\u{ab84}", "\u{ab85}", "\u{ab86}", "\u{ab87}", "\u{ab88}",
"\u{ab89}", "\u{ab8a}", "\u{ab8b}", "\u{ab8c}", "\u{ab8d}", "\u{ab8e}", "\u{ab8f}",
"\u{ab90}", "\u{ab91}", "\u{ab92}", "\u{ab93}", "\u{ab94}", "\u{ab95}", "\u{ab96}",
"\u{ab97}", "\u{ab98}", "\u{ab99}", "\u{ab9a}", "\u{ab9b}", "\u{ab9c}", "\u{ab9d}",
"\u{ab9e}", "\u{ab9f}", "\u{aba0}", "\u{aba1}", "\u{aba2}", "\u{aba3}", "\u{aba4}",
"\u{aba5}", "\u{aba6}", "\u{aba7}", "\u{aba8}", "\u{aba9}", "\u{abaa}", "\u{abab}",
"\u{abac}", "\u{abad}", "\u{abae}", "\u{abaf}", "\u{abb0}", "\u{abb1}", "\u{abb2}",
"\u{abb3}", "\u{abb4}", "\u{abb5}", "\u{abb6}", "\u{abb7}", "\u{abb8}", "\u{abb9}",
"\u{abba}", "\u{abbb}", "\u{abbc}", "\u{abbd}", "\u{abbe}", "\u{abbf}", "\u{13f8}",
"\u{13f9}", "\u{13fa}", "\u{13fb}", "\u{13fc}", "\u{13fd}", "\u{1c8a}", "\u{10d0}",
"\u{10d1}", "\u{10d2}", "\u{10d3}", "\u{10d4}", "\u{10d5}", "\u{10d6}", "\u{10d7}",
"\u{10d8}", "\u{10d9}", "\u{10da}", "\u{10db}", "\u{10dc}", "\u{10dd}", "\u{10de}",
"\u{10df}", "\u{10e0}", "\u{10e1}", "\u{10e2}", "\u{10e3}", "\u{10e4}", "\u{10e5}",
"\u{10e6}", "\u{10e7}", "\u{10e8}", "\u{10e9}", "\u{10ea}", "\u{10eb}", "\u{10ec}",
"\u{10ed}", "\u{10ee}", "\u{10ef}", "\u{10f0}", "\u{10f1}", "\u{10f2}", "\u{10f3}",
"\u{10f4}", "\u{10f5}", "\u{10f6}", "\u{10f7}", "\u{10f8}", "\u{10f9}", "\u{10fa}",
"\u{10fd}", "\u{10fe}", "\u{10ff}", "\u{1e01}", "\u{1e03}", "\u{1e05}", "\u{1e07}",
"\u{1e09}", "\u{1e0b}", "\u{1e0d}", "\u{1e0f}", "\u{1e11}", "\u{1e13}", "\u{1e15}",
"\u{1e17}", "\u{1e19}", "\u{1e1b}", "\u{1e1d}", "\u{1e1f}", "\u{1e21}", "\u{1e23}",
"\u{1e25}", "\u{1e27}", "\u{1e29}", "\u{1e2b}", "\u{1e2d}", "\u{1e2f}", "\u{1e31}",
"\u{1e33}", "\u{1e35}", "\u{1e37}", "\u{1e39}", "\u{1e3b}", "\u{1e3d}", "\u{1e3f}",
"\u{1e41}", "\u{1e43}", "\u{1e45}", "\u{1e47}", "\u{1e49}", "\u{1e4b}", "\u{1e4d}",
"\u{1e4f}", "\u{1e51}", "\u{1e53}", "\u{1e55}", "\u{1e57}", "\u{1e59}", "\u{1e5b}",
"\u{1e5d}", "\u{1e5f}", "\u{1e61}", "\u{1e63}", "\u{1e65}", "\u{1e67}", "\u{1e69}",
"\u{1e6b}", "\u{1e6d}", "\u{1e6f}", "\u{1e71}", "\u{1e73}", "\u{1e75}", "\u{1e77}",
"\u{1e79}", "\u{1e7b}", "\u{1e7d}", "\u{1e7f}", "\u{1e81}", "\u{1e83}", "\u{1e85}",
"\u{1e87}", "\u{1e89}", "\u{1e8b}", "\u{1e8d}", "\u{1e8f}", "\u{1e91}", "\u{1e93}",
"\u{1e95}", "\u{df}", "\u{1ea1}", "\u{1ea3}", "\u{1ea5}", "\u{1ea7}", "\u{1ea9}",
"\u{1eab}", "\u{1ead}", "\u{1eaf}", "\u{1eb1}", "\u{1eb3}", "\u{1eb5}", "\u{1eb7}",
"\u{1eb9}", "\u{1ebb}", "\u{1ebd}", "\u{1ebf}", "\u{1ec1}", "\u{1ec3}", "\u{1ec5}",
"\u{1ec7}", "\u{1ec9}", "\u{1ecb}", "\u{1ecd}", "\u{1ecf}", "\u{1ed1}", "\u{1ed3}",
"\u{1ed5}", "\u{1ed7}", "\u{1ed9}", "\u{1edb}", "\u{1edd}", "\u{1edf}", "\u{1ee1}",
"\u{1ee3}", "\u{1ee5}", "\u{1ee7}", "\u{1ee9}", "\u{1eeb}", "\u{1eed}", "\u{1eef}",
"\u{1ef1}", "\u{1ef3}", "\u{1ef5}", "\u{1ef7}", "\u{1ef9}", "\u{1efb}", "\u{1efd}",
"\u{1eff}", "\u{1f00}", "\u{1f01}", "\u{1f02}", "\u{1f03}", "\u{1f04}", "\u{1f05}",
"\u{1f06}", "\u{1f07}", "\u{1f10}", "\u{1f11}", "\u{1f12}", "\u{1f13}", "\u{1f14}",
"\u{1f15}", "\u{1f20}", "\u{1f21}", "\u{1f22}", "\u{1f23}", "\u{1f24}", "\u{1f25}",
"\u{1f26}", "\u{1f27}", "\u{1f30}", "\u{1f31}", "\u{1f32}", "\u{1f33}", "\u{1f34}",
"\u{1f35}", "\u{1f36}", "\u{1f37}", "\u{1f40}", "\u{1f41}", "\u{1f42}", "\u{1f43}",
"\u{1f44}", "\u{1f45}", "\u{1f51}", "\u{1f53}", "\u{1f55}", "\u{1f57}", "\u{1f60}",
"\u{1f61}", "\u{1f62}", "\u{1f63}", "\u{1f64}", "\u{1f65}", "\u{1f66}", "\u{1f67}",
"\u{1f80}", "\u{1f81}", "\u{1f82}", "\u{1f83}", "\u{1f84}", "\u{1f85}", "\u{1f86}",
"\u{1f87}", "\u{1f90}", "\u{1f91}", "\u{1f92}", "\u{1f93}", "\u{1f94}", "\u{1f95}",
"\u{1f96}", "\u{1f97}", "\u{1fa0}", "\u{1fa1}", "\u{1fa2}", "\u{1fa3}", "\u{1fa4}",
"\u{1fa5}", "\u{1fa6}", "\u{1fa7}", "\u{1fb0}", "\u{1fb1}", "\u{1f70}", "\u{1f71}",
"\u{1fb3}", "\u{1f72}", "\u{1f73}", "\u{1f74}", "\u{1f75}", "\u{1fc3}", "\u{1fd0}",
"\u{1fd1}", "\u{1f76}", "\u{1f77}", "\u{1fe0}", "\u{1fe1}", "\u{1f7a}", "\u{1f7b}",
"\u{1fe5}", "\u{1f78}", "\u{1f79}", "\u{1f7c}", "\u{1f7d}", "\u{1ff3}", "\u{3c9}",
"\u{6b}", "\u{e5}", "\u{214e}", "\u{2170}", "\u{2171}", "\u{2172}", "\u{2173}",
"\u{2174}", "\u{2175}", "\u{2176}", "\u{2177}", "\u{2178}", "\u{2179}", "\u{217a}",
"\u{217b}", "\u{217c}", "\u{217d}", "\u{217e}", "\u{217f}", "\u{2184}", "\u{24d0}",
"\u{24d1}", "\u{24d2}", "\u{24d3}", "\u{24d4}", "\u{24d5}", "\u{24d6}", "\u{24d7}",
"\u{24d8}", "\u{24d9}", "\u{24da}", "\u{24db}", "\u{24dc}", "\u{24dd}", "\u{24de}",
"\u{24df}", "\u{24e0}", "\u{24e1}", "\u{24e2}", "\u{24e3}", "\u{24e4}", "\u{24e5}",
"\u{24e6}", "\u{24e7}", "\u{24e8}", "\u{24e9}", "\u{2c30}", "\u{2c31}", "\u{2c32}",
"\u{2c33}", "\u{2c34}", "\u{2c35}", "\u{2c36}", "\u{2c37}", "\u{2c38}", "\u{2c39}",
"\u{2c3a}", "\u{2c3b}", "\u{2c3c}", "\u{2c3d}", "\u{2c3e}", "\u{2c3f}", "\u{2c40}",
"\u{2c41}", "\u{2c42}", "\u{2c43}", "\u{2c44}", "\u{2c45}", "\u{2c46}", "\u{2c47}",
"\u{2c48}", "\u{2c49}", "\u{2c4a}", "\u{2c4b}", "\u{2c4c}", "\u{2c4d}", "\u{2c4e}",
"\u{2c4f}", "\u{2c50}", "\u{2c51}", "\u{2c52}", "\u{2c53}", "\u{2c54}", "\u{2c55}",
"\u{2c56}", "\u{2c57}", "\u{2c58}", "\u{2c59}", "\u{2c5a}", "\u{2c5b}", "\u{2c5c}",
"\u{2c5d}", "\u{2c5e}", "\u{2c5f}", "\u{2c61}", "\u{26b}", "\u{1d7d}", "\u{27d}",
"\u{2c68}", "\u{2c6a}", "\u{2c6c}", "\u{251}", "\u{271}", "\u{250}", "\u{252}",
"\u{2c73}", "\u{2c76}", "\u{23f}", "\u{240}", "\u{2c81}", "\u{2c83}", "\u{2c85}",
"\u{2c87}", "\u{2c89}", "\u{2c8b}", "\u{2c8d}", "\u{2c8f}", "\u{2c91}", "\u{2c93}",
"\u{2c95}", "\u{2c97}", "\u{2c99}", "\u{2c9b}", "\u{2c9d}", "\u{2c9f}", "\u{2ca1}",
"\u{2ca3}", "\u{2ca5}", "\u{2ca7}", "\u{2ca9}", "\u{2cab}", "\u{2cad}", "\u{2caf}",
"\u{2cb1}", "\u{2cb3}", "\u{2cb5}", "\u{2cb7}", "\u{2cb9}", "\u{2cbb}", "\u{2cbd}",
"\u{2cbf}", "\u{2cc1}", "\u{2cc3}", "\u{2cc5}", "\u{2cc7}", "\u{2cc9}", "\u{2ccb}",
"\u{2ccd}", "\u{2ccf}", "\u{2cd1}", "\u{2cd3}", "\u{2cd5}", "\u{2cd7}", "\u{2cd9}",
"\u{2cdb}", "\u{2cdd}", "\u{2cdf}", "\u{2ce1}", "\u{2ce3}", "\u{2cec}", "\u{2cee}",
"\u{2cf3}", "\u{a641}", "\u{a643}", "\u{a645}", "\u{a647}", "\u{a649}", "\u{a64b}",
"\u{a64d}", "\u{a64f}", "\u{a651}", "\u{a653}", "\u{a655}", "\u{a657}", "\u{a659}",
"\u{a65b}", "\u{a65d}", "\u{a65f}", "\u{a661}", "\u{a663}", "\u{a665}", "\u{a667}",
"\u{a669}", "\u{a66b}", "\u{a66d}", "\u{a681}", "\u{a683}", "\u{a685}", "\u{a687}",
"\u{a689}", "\u{a68b}", "\u{a68d}", "\u{a68f}", "\u{a691}", "\u{a693}", "\u{a695}",
"\u{a697}", "\u{a699}", "\u{a69b}", "\u{a723}", "\u{a725}", "\u{a727}", "\u{a729}",
"\u{a72b}", "\u{a72d}", "\u{a72f}", "\u{a733}", "\u{a735}", "\u{a737}", "\u{a739}",
"\u{a73b}", "\u{a73d}", "\u{a73f}", "\u{a741}", "\u{a743}", "\u{a745}", "\u{a747}",
"\u{a749}", "\u{a74b}", "\u{a74d}", "\u{a74f}", "\u{a751}", "\u{a753}", "\u{a755}",
"\u{a757}", "\u{a759}", "\u{a75b}", "\u{a75d}", "\u{a75f}", "\u{a761}", "\u{a763}",
"\u{a765}", "\u{a767}", "\u{a769}", "\u{a76b}", "\u{a76d}", "\u{a76f}", "\u{a77a}",
"\u{a77c}", "\u{1d79}", "\u{a77f}", "\u{a781}", "\u{a783}", "\u{a785}", "\u{a787}",
"\u{a78c}", "\u{265}", "\u{a791}", "\u{a793}", "\u{a797}", "\u{a799}", "\u{a79b}",
"\u{a79d}", "\u{a79f}", "\u{a7a1}", "\u{a7a3}", "\u{a7a5}", "\u{a7a7}", "\u{a7a9}",
"\u{266}", "\u{25c}", "\u{261}", "\u{26c}", "\u{26a}", "\u{29e}", "\u{287}", "\u{29d}",
"\u{ab53}", "\u{a7b5}", "\u{a7b7}", "\u{a7b9}", "\u{a7bb}", "\u{a7bd}", "\u{a7bf}",
"\u{a7c1}", "\u{a7c3}", "\u{a794}", "\u{282}", "\u{1d8e}", "\u{a7c8}", "\u{a7ca}",
"\u{264}", "\u{a7cd}", "\u{a7cf}", "\u{a7d1}", "\u{a7d3}", "\u{a7d5}", "\u{a7d7}",
"\u{a7d9}", "\u{a7db}", "\u{19b}", "\u{a7f6}", "\u{ff41}", "\u{ff42}", "\u{ff43}",
"\u{ff44}", "\u{ff45}", "\u{ff46}", "\u{ff47}", "\u{ff48}", "\u{ff49}", "\u{ff4a}",
"\u{ff4b}", "\u{ff4c}", "\u{ff4d}", "\u{ff4e}", "\u{ff4f}", "\u{ff50}", "\u{ff51}",
"\u{ff52}", "\u{ff53}", "\u{ff54}", "\u{ff55}", "\u{ff56}", "\u{ff57}", "\u{ff58}",
"\u{ff59}", "\u{ff5a}", "\u{10428}", "\u{10429}", "\u{1042a}", "\u{1042b}", "\u{1042c}",
"\u{1042d}", "\u{1042e}", "\u{1042f}", "\u{10430}", "\u{10431}", "\u{10432}", "\u{10433}",
"\u{10434}", "\u{10435}", "\u{10436}", "\u{10437}", "\u{10438}", "\u{10439}", "\u{1043a}",
"\u{1043b}", "\u{1043c}", "\u{1043d}", "\u{1043e}", "\u{1043f}", "\u{10440}", "\u{10441}",
"\u{10442}", "\u{10443}", "\u{10444}", "\u{10445}", "\u{10446}", "\u{10447}", "\u{10448}",
"\u{10449}", "\u{1044a}", "\u{1044b}", "\u{1044c}", "\u{1044d}", "\u{1044e}", "\u{1044f}",
"\u{104d8}", "\u{104d9}", "\u{104da}", "\u{104db}", "\u{104dc}", "\u{104dd}", "\u{104de}",
"\u{104df}", "\u{104e0}", "\u{104e1}", "\u{104e2}", "\u{104e3}", "\u{104e4}", "\u{104e5}",
"\u{104e6}", "\u{104e7}", "\u{104e8}", "\u{104e9}", "\u{104ea}", "\u{104eb}", "\u{104ec}",
"\u{104ed}", "\u{104ee}", "\u{104ef}", "\u{104f0}", "\u{104f1}", "\u{104f2}", "\u{104f3}",
"\u{104f4}", "\u{104f5}", "\u{104f6}", "\u{104f7}", "\u{104f8}", "\u{104f9}", "\u{104fa}",
"\u{104fb}", "\u{10597}", "\u{10598}", "\u{10599}", "\u{1059a}", "\u{1059b}", "\u{1059c}",
"\u{1059d}", "\u{1059e}", "\u{1059f}", "\u{105a0}", "\u{105a1}", "\u{105a3}", "\u{105a4}",
"\u{105a5}", "\u{105a6}", "\u{105a7}", "\u{105a8}", "\u{105a9}", "\u{105aa}", "\u{105ab}",
"\u{105ac}", "\u{105ad}", "\u{105ae}", "\u{105af}", "\u{105b0}", "\u{105b1}", "\u{105b3}",
"\u{105b4}", "\u{105b5}", "\u{105b6}", "\u{105b7}", "\u{105b8}", "\u{105b9}", "\u{105bb}",
"\u{105bc}", "\u{10cc0}", "\u{10cc1}", "\u{10cc2}", "\u{10cc3}", "\u{10cc4}", "\u{10cc5}",
"\u{10cc6}", "\u{10cc7}", "\u{10cc8}", "\u{10cc9}", "\u{10cca}", "\u{10ccb}", "\u{10ccc}",
"\u{10ccd}", "\u{10cce}", "\u{10ccf}", "\u{10cd0}", "\u{10cd1}", "\u{10cd2}", "\u{10cd3}",
"\u{10cd4}", "\u{10cd5}", "\u{10cd6}", "\u{10cd7}", "\u{10cd8}", "\u{10cd9}", "\u{10cda}",
"\u{10cdb}", "\u{10cdc}", "\u{10cdd}", "\u{10cde}", "\u{10cdf}", "\u{10ce0}", "\u{10ce1}",
"\u{10ce2}", "\u{10ce3}", "\u{10ce4}", "\u{10ce5}", "\u{10ce6}", "\u{10ce7}", "\u{10ce8}",
"\u{10ce9}", "\u{10cea}", "\u{10ceb}", "\u{10cec}", "\u{10ced}", "\u{10cee}", "\u{10cef}",
"\u{10cf0}", "\u{10cf1}", "\u{10cf2}", "\u{10d70}", "\u{10d71}", "\u{10d72}", "\u{10d73}",
"\u{10d74}", "\u{10d75}", "\u{10d76}", "\u{10d77}", "\u{10d78}", "\u{10d79}", "\u{10d7a}",
"\u{10d7b}", "\u{10d7c}", "\u{10d7d}", "\u{10d7e}", "\u{10d7f}", "\u{10d80}", "\u{10d81}",
"\u{10d82}", "\u{10d83}", "\u{10d84}", "\u{10d85}", "\u{118c0}", "\u{118c1}", "\u{118c2}",
"\u{118c3}", "\u{118c4}", "\u{118c5}", "\u{118c6}", "\u{118c7}", "\u{118c8}", "\u{118c9}",
"\u{118ca}", "\u{118cb}", "\u{118cc}", "\u{118cd}", "\u{118ce}", "\u{118cf}", "\u{118d0}",
"\u{118d1}", "\u{118d2}", "\u{118d3}", "\u{118d4}", "\u{118d5}", "\u{118d6}", "\u{118d7}",
"\u{118d8}", "\u{118d9}", "\u{118da}", "\u{118db}", "\u{118dc}", "\u{118dd}", "\u{118de}",
"\u{118df}", "\u{16e60}", "\u{16e61}", "\u{16e62}", "\u{16e63}", "\u{16e64}", "\u{16e65}",
"\u{16e66}", "\u{16e67}", "\u{16e68}", "\u{16e69}", "\u{16e6a}", "\u{16e6b}", "\u{16e6c}",
"\u{16e6d}", "\u{16e6e}", "\u{16e6f}", "\u{16e70}", "\u{16e71}", "\u{16e72}", "\u{16e73}",
"\u{16e74}", "\u{16e75}", "\u{16e76}", "\u{16e77}", "\u{16e78}", "\u{16e79}", "\u{16e7a}",
"\u{16e7b}", "\u{16e7c}", "\u{16e7d}", "\u{16e7e}", "\u{16e7f}", "\u{16ebb}", "\u{16ebc}",
"\u{16ebd}", "\u{16ebe}", "\u{16ebf}", "\u{16ec0}", "\u{16ec1}", "\u{16ec2}", "\u{16ec3}",
"\u{16ec4}", "\u{16ec5}", "\u{16ec6}", "\u{16ec7}", "\u{16ec8}", "\u{16ec9}", "\u{16eca}",
"\u{16ecb}", "\u{16ecc}", "\u{16ecd}", "\u{16ece}", "\u{16ecf}", "\u{16ed0}", "\u{16ed1}",
"\u{16ed2}", "\u{16ed3}", "\u{1e922}", "\u{1e923}", "\u{1e924}", "\u{1e925}", "\u{1e926}",
"\u{1e927}", "\u{1e928}", "\u{1e929}", "\u{1e92a}", "\u{1e92b}", "\u{1e92c}", "\u{1e92d}",
"\u{1e92e}", "\u{1e92f}", "\u{1e930}", "\u{1e931}", "\u{1e932}", "\u{1e933}", "\u{1e934}",
"\u{1e935}", "\u{1e936}", "\u{1e937}", "\u{1e938}", "\u{1e939}", "\u{1e93a}", "\u{1e93b}",
"\u{1e93c}", "\u{1e93d}", "\u{1e93e}", "\u{1e93f}", "\u{1e940}", "\u{1e941}", "\u{1e942}",
"\u{1e943}",
]
///|
let canon_keys : ReadOnlyArray[Int] = [
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, 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, 257, 259, 261, 263, 265, 267, 269,
271, 273, 275, 277, 279, 281, 283, 285, 287, 289, 291, 293, 295, 297, 299, 301,
303, 307, 309, 311, 314, 316, 318, 320, 322, 324, 326, 328, 331, 333, 335, 337,
339, 341, 343, 345, 347, 349, 351, 353, 355, 357, 359, 361, 363, 365, 367, 369,
371, 373, 375, 378, 380, 382, 384, 387, 389, 392, 396, 402, 405, 409, 410, 411,
414, 417, 419, 421, 424, 429, 432, 436, 438, 441, 445, 447, 453, 454, 456, 457,
459, 460, 462, 464, 466, 468, 470, 472, 474, 476, 477, 479, 481, 483, 485, 487,
489, 491, 493, 495, 498, 499, 501, 505, 507, 509, 511, 513, 515, 517, 519, 521,
523, 525, 527, 529, 531, 533, 535, 537, 539, 541, 543, 547, 549, 551, 553, 555,
557, 559, 561, 563, 572, 575, 576, 578, 583, 585, 587, 589, 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, 881, 883, 887, 891, 892, 893, 940, 941, 942, 943, 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, 976, 977, 981, 982,
983, 985, 987, 989, 991, 993, 995, 997, 999, 1001, 1003, 1005, 1007, 1008, 1009,
1010, 1011, 1013, 1016, 1019, 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, 1121, 1123, 1125,
1127, 1129, 1131, 1133, 1135, 1137, 1139, 1141, 1143, 1145, 1147, 1149, 1151, 1153,
1163, 1165, 1167, 1169, 1171, 1173, 1175, 1177, 1179, 1181, 1183, 1185, 1187, 1189,
1191, 1193, 1195, 1197, 1199, 1201, 1203, 1205, 1207, 1209, 1211, 1213, 1215, 1218,
1220, 1222, 1224, 1226, 1228, 1230, 1231, 1233, 1235, 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, 1291, 1293, 1295, 1297, 1299, 1301,
1303, 1305, 1307, 1309, 1311, 1313, 1315, 1317, 1319, 1321, 1323, 1325, 1327, 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, 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, 5112,
5113, 5114, 5115, 5116, 5117, 7296, 7297, 7298, 7299, 7300, 7301, 7302, 7303, 7304,
7306, 7545, 7549, 7566, 7681, 7683, 7685, 7687, 7689, 7691, 7693, 7695, 7697, 7699,
7701, 7703, 7705, 7707, 7709, 7711, 7713, 7715, 7717, 7719, 7721, 7723, 7725, 7727,
7729, 7731, 7733, 7735, 7737, 7739, 7741, 7743, 7745, 7747, 7749, 7751, 7753, 7755,
7757, 7759, 7761, 7763, 7765, 7767, 7769, 7771, 7773, 7775, 7777, 7779, 7781, 7783,
7785, 7787, 7789, 7791, 7793, 7795, 7797, 7799, 7801, 7803, 7805, 7807, 7809, 7811,
7813, 7815, 7817, 7819, 7821, 7823, 7825, 7827, 7829, 7835, 7841, 7843, 7845, 7847,
7849, 7851, 7853, 7855, 7857, 7859, 7861, 7863, 7865, 7867, 7869, 7871, 7873, 7875,
7877, 7879, 7881, 7883, 7885, 7887, 7889, 7891, 7893, 7895, 7897, 7899, 7901, 7903,
7905, 7907, 7909, 7911, 7913, 7915, 7917, 7919, 7921, 7923, 7925, 7927, 7929, 7931,
7933, 7935, 7936, 7937, 7938, 7939, 7940, 7941, 7942, 7943, 7952, 7953, 7954, 7955,
7956, 7957, 7968, 7969, 7970, 7971, 7972, 7973, 7974, 7975, 7984, 7985, 7986, 7987,
7988, 7989, 7990, 7991, 8000, 8001, 8002, 8003, 8004, 8005, 8017, 8019, 8021, 8023,
8032, 8033, 8034, 8035, 8036, 8037, 8038, 8039, 8048, 8049, 8050, 8051, 8052, 8053,
8054, 8055, 8056, 8057, 8058, 8059, 8060, 8061, 8112, 8113, 8126, 8144, 8145, 8160,
8161, 8165, 8526, 8560, 8561, 8562, 8563, 8564, 8565, 8566, 8567, 8568, 8569, 8570,
8571, 8572, 8573, 8574, 8575, 8580, 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, 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, 11361, 11365, 11366, 11368, 11370, 11372, 11379, 11382,
11393, 11395, 11397, 11399, 11401, 11403, 11405, 11407, 11409, 11411, 11413, 11415,
11417, 11419, 11421, 11423, 11425, 11427, 11429, 11431, 11433, 11435, 11437, 11439,
11441, 11443, 11445, 11447, 11449, 11451, 11453, 11455, 11457, 11459, 11461, 11463,
11465, 11467, 11469, 11471, 11473, 11475, 11477, 11479, 11481, 11483, 11485, 11487,
11489, 11491, 11500, 11502, 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, 42561, 42563, 42565,
42567, 42569, 42571, 42573, 42575, 42577, 42579, 42581, 42583, 42585, 42587, 42589,
42591, 42593, 42595, 42597, 42599, 42601, 42603, 42605, 42625, 42627, 42629, 42631,
42633, 42635, 42637, 42639, 42641, 42643, 42645, 42647, 42649, 42651, 42787, 42789,
42791, 42793, 42795, 42797, 42799, 42803, 42805, 42807, 42809, 42811, 42813, 42815,
42817, 42819, 42821, 42823, 42825, 42827, 42829, 42831, 42833, 42835, 42837, 42839,
42841, 42843, 42845, 42847, 42849, 42851, 42853, 42855, 42857, 42859, 42861, 42863,
42874, 42876, 42879, 42881, 42883, 42885, 42887, 42892, 42897, 42899, 42900, 42903,
42905, 42907, 42909, 42911, 42913, 42915, 42917, 42919, 42921, 42933, 42935, 42937,
42939, 42941, 42943, 42945, 42947, 42952, 42954, 42957, 42959, 42961, 42963, 42965,
42967, 42969, 42971, 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, 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,
]
///|
let canon_vals : ReadOnlyArray[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, 924, 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, 376, 256, 258, 260, 262, 264, 266, 268, 270, 272, 274, 276,
278, 280, 282, 284, 286, 288, 290, 292, 294, 296, 298, 300, 302, 306, 308, 310,
313, 315, 317, 319, 321, 323, 325, 327, 330, 332, 334, 336, 338, 340, 342, 344,
346, 348, 350, 352, 354, 356, 358, 360, 362, 364, 366, 368, 370, 372, 374, 377,
379, 381, 579, 386, 388, 391, 395, 401, 502, 408, 573, 42972, 544, 416, 418, 420,
423, 428, 431, 435, 437, 440, 444, 503, 452, 452, 455, 455, 458, 458, 461, 463,
465, 467, 469, 471, 473, 475, 398, 478, 480, 482, 484, 486, 488, 490, 492, 494,
497, 497, 500, 504, 506, 508, 510, 512, 514, 516, 518, 520, 522, 524, 526, 528,
530, 532, 534, 536, 538, 540, 542, 546, 548, 550, 552, 554, 556, 558, 560, 562,
571, 11390, 11391, 577, 582, 584, 586, 588, 590, 11375, 11373, 11376, 385, 390,
393, 394, 399, 400, 42923, 403, 42924, 404, 42955, 42893, 42922, 407, 406, 42926,
11362, 42925, 412, 11374, 413, 415, 11364, 422, 42949, 425, 42929, 430, 580, 433,
434, 581, 439, 42930, 42928, 921, 880, 882, 886, 1021, 1022, 1023, 902, 904, 905,
906, 913, 914, 915, 916, 917, 918, 919, 920, 921, 922, 923, 924, 925, 926, 927,
928, 929, 931, 931, 932, 933, 934, 935, 936, 937, 938, 939, 908, 910, 911, 914,
920, 934, 928, 975, 984, 986, 988, 990, 992, 994, 996, 998, 1000, 1002, 1004, 1006,
922, 929, 1017, 895, 917, 1015, 1018, 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, 1024, 1025, 1026,
1027, 1028, 1029, 1030, 1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038, 1039, 1120,
1122, 1124, 1126, 1128, 1130, 1132, 1134, 1136, 1138, 1140, 1142, 1144, 1146, 1148,
1150, 1152, 1162, 1164, 1166, 1168, 1170, 1172, 1174, 1176, 1178, 1180, 1182, 1184,
1186, 1188, 1190, 1192, 1194, 1196, 1198, 1200, 1202, 1204, 1206, 1208, 1210, 1212,
1214, 1217, 1219, 1221, 1223, 1225, 1227, 1229, 1216, 1232, 1234, 1236, 1238, 1240,
1242, 1244, 1246, 1248, 1250, 1252, 1254, 1256, 1258, 1260, 1262, 1264, 1266, 1268,
1270, 1272, 1274, 1276, 1278, 1280, 1282, 1284, 1286, 1288, 1290, 1292, 1294, 1296,
1298, 1300, 1302, 1304, 1306, 1308, 1310, 1312, 1314, 1316, 1318, 1320, 1322, 1324,
1326, 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, 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, 5104, 5105, 5106, 5107, 5108, 5109, 1042, 1044, 1054, 1057, 1058, 1058, 1066,
1122, 42570, 7305, 42877, 11363, 42950, 7680, 7682, 7684, 7686, 7688, 7690, 7692,
7694, 7696, 7698, 7700, 7702, 7704, 7706, 7708, 7710, 7712, 7714, 7716, 7718, 7720,
7722, 7724, 7726, 7728, 7730, 7732, 7734, 7736, 7738, 7740, 7742, 7744, 7746, 7748,
7750, 7752, 7754, 7756, 7758, 7760, 7762, 7764, 7766, 7768, 7770, 7772, 7774, 7776,
7778, 7780, 7782, 7784, 7786, 7788, 7790, 7792, 7794, 7796, 7798, 7800, 7802, 7804,
7806, 7808, 7810, 7812, 7814, 7816, 7818, 7820, 7822, 7824, 7826, 7828, 7776, 7840,
7842, 7844, 7846, 7848, 7850, 7852, 7854, 7856, 7858, 7860, 7862, 7864, 7866, 7868,
7870, 7872, 7874, 7876, 7878, 7880, 7882, 7884, 7886, 7888, 7890, 7892, 7894, 7896,
7898, 7900, 7902, 7904, 7906, 7908, 7910, 7912, 7914, 7916, 7918, 7920, 7922, 7924,
7926, 7928, 7930, 7932, 7934, 7944, 7945, 7946, 7947, 7948, 7949, 7950, 7951, 7960,
7961, 7962, 7963, 7964, 7965, 7976, 7977, 7978, 7979, 7980, 7981, 7982, 7983, 7992,
7993, 7994, 7995, 7996, 7997, 7998, 7999, 8008, 8009, 8010, 8011, 8012, 8013, 8025,
8027, 8029, 8031, 8040, 8041, 8042, 8043, 8044, 8045, 8046, 8047, 8122, 8123, 8136,
8137, 8138, 8139, 8154, 8155, 8184, 8185, 8170, 8171, 8186, 8187, 8120, 8121, 921,
8152, 8153, 8168, 8169, 8172, 8498, 8544, 8545, 8546, 8547, 8548, 8549, 8550, 8551,
8552, 8553, 8554, 8555, 8556, 8557, 8558, 8559, 8579, 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, 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, 11360, 570, 574, 11367, 11369, 11371,
11378, 11381, 11392, 11394, 11396, 11398, 11400, 11402, 11404, 11406, 11408, 11410,
11412, 11414, 11416, 11418, 11420, 11422, 11424, 11426, 11428, 11430, 11432, 11434,
11436, 11438, 11440, 11442, 11444, 11446, 11448, 11450, 11452, 11454, 11456, 11458,
11460, 11462, 11464, 11466, 11468, 11470, 11472, 11474, 11476, 11478, 11480, 11482,
11484, 11486, 11488, 11490, 11499, 11501, 11506, 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, 42560, 42562, 42564, 42566, 42568, 42570,
42572, 42574, 42576, 42578, 42580, 42582, 42584, 42586, 42588, 42590, 42592, 42594,
42596, 42598, 42600, 42602, 42604, 42624, 42626, 42628, 42630, 42632, 42634, 42636,
42638, 42640, 42642, 42644, 42646, 42648, 42650, 42786, 42788, 42790, 42792, 42794,
42796, 42798, 42802, 42804, 42806, 42808, 42810, 42812, 42814, 42816, 42818, 42820,
42822, 42824, 42826, 42828, 42830, 42832, 42834, 42836, 42838, 42840, 42842, 42844,
42846, 42848, 42850, 42852, 42854, 42856, 42858, 42860, 42862, 42873, 42875, 42878,
42880, 42882, 42884, 42886, 42891, 42896, 42898, 42948, 42902, 42904, 42906, 42908,
42910, 42912, 42914, 42916, 42918, 42920, 42932, 42934, 42936, 42938, 42940, 42942,
42944, 42946, 42951, 42953, 42956, 42958, 42960, 42962, 42964, 42966, 42968, 42970,
42997, 42931, 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, 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,
]
///|
let cased_ranges : ReadOnlyArray[Int] = [
65, 90, 97, 122, 170, 170, 181, 181, 186, 186, 192, 214, 216, 246, 248, 442, 444,
447, 452, 659, 662, 696, 704, 705, 736, 740, 837, 837, 880, 883, 886, 887, 890,
893, 895, 895, 902, 902, 904, 906, 908, 908, 910, 929, 931, 1013, 1015, 1153, 1162,
1327, 1329, 1366, 1376, 1416, 4256, 4293, 4295, 4295, 4301, 4301, 4304, 4346, 4348,
4351, 5024, 5109, 5112, 5117, 7296, 7306, 7312, 7354, 7357, 7359, 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, 8305, 8305, 8319, 8319, 8336,
8348, 8450, 8450, 8455, 8455, 8458, 8467, 8469, 8469, 8473, 8477, 8484, 8484, 8486,
8486, 8488, 8488, 8490, 8493, 8495, 8500, 8505, 8505, 8508, 8511, 8517, 8521, 8526,
8526, 8544, 8575, 8579, 8580, 9398, 9449, 11264, 11492, 11499, 11502, 11506, 11507,
11520, 11557, 11559, 11559, 11565, 11565, 42560, 42605, 42624, 42653, 42786, 42887,
42891, 42894, 42896, 42972, 42993, 42998, 43000, 43002, 43824, 43866, 43868, 43881,
43888, 43967, 64256, 64262, 64275, 64279, 65313, 65338, 65345, 65370, 66560, 66639,
66736, 66771, 66776, 66811, 66928, 66938, 66940, 66954, 66956, 66962, 66964, 66965,
66967, 66977, 66979, 66993, 66995, 67001, 67003, 67004, 67456, 67456, 67459, 67461,
67463, 67504, 67506, 67514, 68736, 68786, 68800, 68850, 68944, 68965, 68976, 68997,
71840, 71903, 93760, 93823, 93856, 93880, 93883, 93907, 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, 122624, 122633, 122635,
122654, 122661, 122666, 122928, 122989, 125184, 125251, 127280, 127305, 127312,
127337, 127344, 127369,
]
///|
let case_ignorable_ranges : ReadOnlyArray[Int] = [
39, 39, 46, 46, 58, 58, 94, 94, 96, 96, 168, 168, 173, 173, 175, 175, 180, 180,
183, 184, 688, 879, 884, 885, 890, 890, 900, 901, 903, 903, 1155, 1161, 1369, 1369,
1375, 1375, 1425, 1469, 1471, 1471, 1473, 1474, 1476, 1477, 1479, 1479, 1524, 1524,
1536, 1541, 1552, 1562, 1564, 1564, 1600, 1600, 1611, 1631, 1648, 1648, 1750, 1757,
1759, 1768, 1770, 1773, 1807, 1807, 1809, 1809, 1840, 1866, 1958, 1968, 2027, 2037,
2042, 2042, 2045, 2045, 2070, 2093, 2137, 2139, 2184, 2184, 2192, 2193, 2199, 2207,
2249, 2306, 2362, 2362, 2364, 2364, 2369, 2376, 2381, 2381, 2385, 2391, 2402, 2403,
2417, 2417, 2433, 2433, 2492, 2492, 2497, 2500, 2509, 2509, 2530, 2531, 2558, 2558,
2561, 2562, 2620, 2620, 2625, 2626, 2631, 2632, 2635, 2637, 2641, 2641, 2672, 2673,
2677, 2677, 2689, 2690, 2748, 2748, 2753, 2757, 2759, 2760, 2765, 2765, 2786, 2787,
2810, 2815, 2817, 2817, 2876, 2876, 2879, 2879, 2881, 2884, 2893, 2893, 2901, 2902,
2914, 2915, 2946, 2946, 3008, 3008, 3021, 3021, 3072, 3072, 3076, 3076, 3132, 3132,
3134, 3136, 3142, 3144, 3146, 3149, 3157, 3158, 3170, 3171, 3201, 3201, 3260, 3260,
3263, 3263, 3270, 3270, 3276, 3277, 3298, 3299, 3328, 3329, 3387, 3388, 3393, 3396,
3405, 3405, 3426, 3427, 3457, 3457, 3530, 3530, 3538, 3540, 3542, 3542, 3633, 3633,
3636, 3642, 3654, 3662, 3761, 3761, 3764, 3772, 3782, 3782, 3784, 3790, 3864, 3865,
3893, 3893, 3895, 3895, 3897, 3897, 3953, 3966, 3968, 3972, 3974, 3975, 3981, 3991,
3993, 4028, 4038, 4038, 4141, 4144, 4146, 4151, 4153, 4154, 4157, 4158, 4184, 4185,
4190, 4192, 4209, 4212, 4226, 4226, 4229, 4230, 4237, 4237, 4253, 4253, 4348, 4348,
4957, 4959, 5906, 5908, 5938, 5939, 5970, 5971, 6002, 6003, 6068, 6069, 6071, 6077,
6086, 6086, 6089, 6099, 6103, 6103, 6109, 6109, 6155, 6159, 6211, 6211, 6277, 6278,
6313, 6313, 6432, 6434, 6439, 6440, 6450, 6450, 6457, 6459, 6679, 6680, 6683, 6683,
6742, 6742, 6744, 6750, 6752, 6752, 6754, 6754, 6757, 6764, 6771, 6780, 6783, 6783,
6823, 6823, 6832, 6877, 6880, 6891, 6912, 6915, 6964, 6964, 6966, 6970, 6972, 6972,
6978, 6978, 7019, 7027, 7040, 7041, 7074, 7077, 7080, 7081, 7083, 7085, 7142, 7142,
7144, 7145, 7149, 7149, 7151, 7153, 7212, 7219, 7222, 7223, 7288, 7293, 7376, 7378,
7380, 7392, 7394, 7400, 7405, 7405, 7412, 7412, 7416, 7417, 7468, 7530, 7544, 7544,
7579, 7679, 8125, 8125, 8127, 8129, 8141, 8143, 8157, 8159, 8173, 8175, 8189, 8190,
8203, 8207, 8216, 8217, 8228, 8228, 8231, 8231, 8234, 8238, 8288, 8292, 8294, 8303,
8305, 8305, 8319, 8319, 8336, 8348, 8400, 8432, 11388, 11389, 11503, 11505, 11631,
11631, 11647, 11647, 11744, 11775, 11823, 11823, 12293, 12293, 12330, 12333, 12337,
12341, 12347, 12347, 12441, 12446, 12540, 12542, 40981, 40981, 42232, 42237, 42508,
42508, 42607, 42610, 42612, 42621, 42623, 42623, 42652, 42655, 42736, 42737, 42752,
42785, 42864, 42864, 42888, 42890, 42993, 42996, 43000, 43001, 43010, 43010, 43014,
43014, 43019, 43019, 43045, 43046, 43052, 43052, 43204, 43205, 43232, 43249, 43263,
43263, 43302, 43309, 43335, 43345, 43392, 43394, 43443, 43443, 43446, 43449, 43452,
43453, 43471, 43471, 43493, 43494, 43561, 43566, 43569, 43570, 43573, 43574, 43587,
43587, 43596, 43596, 43632, 43632, 43644, 43644, 43696, 43696, 43698, 43700, 43703,
43704, 43710, 43711, 43713, 43713, 43741, 43741, 43756, 43757, 43763, 43764, 43766,
43766, 43867, 43871, 43881, 43883, 44005, 44005, 44008, 44008, 44013, 44013, 64286,
64286, 64434, 64450, 65024, 65039, 65043, 65043, 65056, 65071, 65106, 65106, 65109,
65109, 65279, 65279, 65287, 65287, 65294, 65294, 65306, 65306, 65342, 65342, 65344,
65344, 65392, 65392, 65438, 65439, 65507, 65507, 65529, 65531, 66045, 66045, 66272,
66272, 66422, 66426, 67456, 67461, 67463, 67504, 67506, 67514, 68097, 68099, 68101,
68102, 68108, 68111, 68152, 68154, 68159, 68159, 68325, 68326, 68900, 68903, 68942,
68942, 68969, 68973, 68975, 68975, 69291, 69292, 69317, 69317, 69370, 69375, 69446,
69456, 69506, 69509, 69633, 69633, 69688, 69702, 69744, 69744, 69747, 69748, 69759,
69761, 69811, 69814, 69817, 69818, 69821, 69821, 69826, 69826, 69837, 69837, 69888,
69890, 69927, 69931, 69933, 69940, 70003, 70003, 70016, 70017, 70070, 70078, 70089,
70092, 70095, 70095, 70191, 70193, 70196, 70196, 70198, 70199, 70206, 70206, 70209,
70209, 70367, 70367, 70371, 70378, 70400, 70401, 70459, 70460, 70464, 70464, 70502,
70508, 70512, 70516, 70587, 70592, 70606, 70606, 70608, 70608, 70610, 70610, 70625,
70626, 70712, 70719, 70722, 70724, 70726, 70726, 70750, 70750, 70835, 70840, 70842,
70842, 70847, 70848, 70850, 70851, 71090, 71093, 71100, 71101, 71103, 71104, 71132,
71133, 71219, 71226, 71229, 71229, 71231, 71232, 71339, 71339, 71341, 71341, 71344,
71349, 71351, 71351, 71453, 71453, 71455, 71455, 71458, 71461, 71463, 71467, 71727,
71735, 71737, 71738, 71995, 71996, 71998, 71998, 72003, 72003, 72148, 72151, 72154,
72155, 72160, 72160, 72193, 72202, 72243, 72248, 72251, 72254, 72263, 72263, 72273,
72278, 72281, 72283, 72330, 72342, 72344, 72345, 72544, 72544, 72546, 72548, 72550,
72550, 72752, 72758, 72760, 72765, 72767, 72767, 72850, 72871, 72874, 72880, 72882,
72883, 72885, 72886, 73009, 73014, 73018, 73018, 73020, 73021, 73023, 73029, 73031,
73031, 73104, 73105, 73109, 73109, 73111, 73111, 73177, 73177, 73459, 73460, 73472,
73473, 73526, 73530, 73536, 73536, 73538, 73538, 73562, 73562, 78896, 78912, 78919,
78933, 90398, 90409, 90413, 90415, 92912, 92916, 92976, 92982, 92992, 92995, 93504,
93506, 93547, 93548, 94031, 94031, 94095, 94111, 94176, 94177, 94179, 94180, 94194,
94195, 110576, 110579, 110581, 110587, 110589, 110590, 113821, 113822, 113824,
113827, 118528, 118573, 118576, 118598, 119143, 119145, 119155, 119170, 119173,
119179, 119210, 119213, 119362, 119364, 121344, 121398, 121403, 121452, 121461,
121461, 121476, 121476, 121499, 121503, 121505, 121519, 122880, 122886, 122888,
122904, 122907, 122913, 122915, 122916, 122918, 122922, 122928, 122989, 123023,
123023, 123184, 123197, 123566, 123566, 123628, 123631, 124139, 124143, 124398,
124399, 124643, 124643, 124646, 124646, 124654, 124655, 124661, 124661, 124671,
124671, 125136, 125142, 125252, 125259, 127995, 127999, 917505, 917505, 917536,
917631, 917760, 917999,
]