Diff: steam-whistle.h

Revision:

0:0b19409c9805

diff -r 000000000000 -r 0b19409c9805 steam-whistle.h
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/steam-whistle.h	Fri Jan 17 13:18:11 2020 +0000
@@ -0,0 +1,1838 @@
+/**********************************************************************
+* Written by WAVToCode
+* Date:             Wed Jan 15 01:54:11 PM
+* FileName:         steam-whistle.h
+* Interleaved:      Yes
+* Signed:           No
+* No. of channels:  1
+* No. of samples:   14586
+* Bits/Sample:      16
+**********************************************************************/
+
+#define NUM_ELEMENTS_WHISTLE 14586
+
+const unsigned short steam_whistle_data[NUM_ELEMENTS_WHISTLE] = {
+33454, 34337, 33573, 32375, 31357, 31950, 33267, 34079, // 0-7
+33980, 32706, 31432, 31540, 32746, 34001, 34214, 33119, // 8-15
+31646, 31030, 32131, 33721, 34319, 33534, 32010, 31067, // 16-23
+31857, 33528, 34413, 33830, 32267, 31066, 31601, 33313, // 24-31
+34424, 34107, 32569, 31108, 31235, 32867, 34230, 34420, // 32-39
+32963, 31335, 31231, 32517, 34153, 34782, 33641, 31955, // 40-47
+31236, 32064, 33848, 34781, 33798, 31833, 30962, 31720, // 48-55
+33221, 34280, 33744, 32194, 31381, 31727, 33075, 34336, // 56-63
+34376, 33005, 31653, 31553, 32714, 33926, 34175, 33263, // 64-71
+31822, 31173, 31893, 33180, 34099, 33651, 31865, 31051, // 72-79
+31712, 33090, 34230, 34009, 32119, 30826, 30966, 32327, // 80-87
+34128, 34367, 32644, 31266, 31319, 32289, 33884, 34366, // 88-95
+33236, 31556, 31234, 32179, 33642, 34296, 33485, 31914, // 96-103
+31138, 31795, 33015, 33872, 33477, 32176, 31327, 31796, // 104-111
+32980, 34051, 34152, 32844, 31768, 31947, 32744, 33834, // 112-119
+34335, 33487, 31999, 31686, 32441, 33470, 34017, 33542, // 120-127
+32230, 31734, 32014, 32966, 34148, 34084, 32933, 31777, // 128-135
+31799, 32565, 33825, 34110, 33086, 31698, 31242, 31987, // 136-143
+33468, 34341, 33531, 32093, 31340, 31701, 33013, 34274, // 144-151
+34107, 32672, 31484, 31623, 32663, 33845, 34042, 33068, // 152-159
+31718, 31451, 32262, 33524, 34197, 33464, 32102, 31390, // 160-167
+31769, 32963, 34106, 34166, 33004, 31455, 31255, 32317, // 168-175
+33697, 34207, 33326, 31634, 31105, 32047, 33449, 34372, // 176-183
+33713, 32022, 31037, 31591, 33106, 34333, 33883, 32295, // 184-191
+30977, 31225, 32727, 34186, 34404, 32936, 31238, 31046, // 192-199
+32226, 33869, 34671, 33644, 31919, 31185, 31849, 33518, // 200-207
+34658, 34061, 32336, 31096, 31394, 33000, 34512, 34516, // 208-215
+33040, 31447, 31335, 32589, 34312, 34643, 33187, 31499, // 216-223
+31171, 32264, 33803, 34576, 33600, 32059, 31369, 32028, // 224-231
+33374, 34404, 33969, 32393, 31248, 31752, 32900, 34009, // 232-239
+34198, 32862, 31362, 31161, 32340, 33734, 34349, 33284, // 240-247
+31596, 31020, 32059, 33576, 34489, 33879, 32220, 31241, // 248-255
+31901, 33376, 34425, 34011, 32345, 31258, 31542, 32815, // 256-263
+34074, 34162, 32844, 31525, 31408, 32612, 33923, 34438, // 264-271
+33283, 31576, 31232, 32234, 33505, 34238, 33388, 31599, // 272-279
+30993, 31775, 33127, 34033, 33622, 32144, 31225, 31508, // 280-287
+32808, 33843, 33729, 32571, 31301, 31234, 32339, 33614, // 288-295
+34296, 33321, 31633, 31061, 31884, 33303, 34211, 33736, // 296-303
+32101, 31159, 31691, 32977, 34153, 34375, 32840, 31450, // 304-311
+31649, 32972, 34242, 34571, 33304, 31596, 31310, 32232, // 312-319
+33792, 34780, 33869, 31860, 31053, 31818, 33458, 34720, // 320-327
+34345, 32479, 31061, 31511, 33045, 34562, 34684, 32865, // 328-335
+31004, 30863, 32483, 34186, 34737, 33329, 31304, 30927, // 336-343
+32287, 33989, 34911, 33804, 31486, 30749, 31887, 33674, // 344-351
+34694, 33944, 31899, 30733, 31404, 33139, 34398, 34094, // 352-359
+32304, 30858, 31235, 32786, 34371, 34487, 32877, 31190, // 360-367
+30935, 32160, 33843, 34926, 33810, 31560, 30644, 31739, // 368-375
+33634, 34962, 34476, 32105, 30689, 31316, 33261, 34746, // 376-383
+34594, 32453, 30753, 31119, 32850, 34643, 34693, 32693, // 384-391
+30620, 30589, 32203, 34119, 34558, 33188, 31255, 30729, // 392-399
+32154, 34008, 34843, 33891, 31687, 30601, 31614, 33479, // 400-407
+34699, 34115, 31933, 30618, 31399, 33317, 34808, 34538, // 408-415
+32567, 30898, 31508, 33211, 34438, 34550, 33109, 31283, // 416-423
+31008, 32468, 34228, 34849, 33855, 31764, 30795, 31843, // 424-431
+33474, 34402, 33918, 32179, 31032, 31737, 33156, 34392, // 432-439
+34579, 33024, 31350, 31502, 32811, 34245, 34623, 33342, // 440-447
+31277, 30738, 32068, 33581, 34544, 33834, 31628, 30477, // 448-455
+31581, 33335, 34533, 34327, 32403, 30763, 31338, 33048, // 456-463
+34385, 34464, 32866, 30955, 30913, 32397, 33721, 34335, // 464-471
+33310, 31465, 30934, 32039, 33542, 34279, 33750, 32048, // 472-479
+30722, 31272, 32698, 33756, 33823, 32669, 31186, 31183, // 480-487
+32622, 33925, 34415, 33475, 31795, 31072, 32195, 33653, // 488-495
+34203, 33795, 32464, 31338, 31861, 33253, 34082, 33963, // 496-503
+32933, 31779, 31524, 32515, 33788, 34066, 33379, 32243, // 504-511
+31519, 32143, 33402, 34088, 33729, 32744, 31705, 31805, // 512-519
+33018, 33992, 33928, 33163, 31989, 31654, 32836, 33880, // 520-527
+33947, 33369, 32196, 31497, 32218, 33134, 33779, 33598, // 528-535
+32329, 31214, 31529, 32661, 33506, 33420, 32660, 31736, // 536-543
+31664, 32769, 33660, 33734, 33246, 32333, 31750, 32402, // 544-551
+33386, 33660, 33406, 32596, 31805, 32204, 33076, 33387, // 552-559
+33395, 33060, 32223, 32029, 32493, 33021, 33479, 33338, // 560-567
+32524, 31613, 31808, 32882, 33731, 33751, 32924, 31900, // 568-575
+31796, 32562, 33610, 33953, 33258, 32104, 31404, 32106, // 576-583
+33168, 33691, 33490, 32487, 31459, 31651, 32658, 33474, // 584-591
+33656, 32964, 31912, 31729, 32701, 33649, 34066, 33483, // 592-599
+32173, 31423, 32049, 33179, 33941, 33793, 32527, 31255, // 600-607
+31545, 32927, 34021, 34292, 33075, 31513, 31387, 32649, // 608-615
+33922, 34433, 33422, 31635, 30920, 31864, 33396, 34423, // 616-623
+34020, 32094, 30768, 31409, 33092, 34377, 34395, 32752, // 624-631
+31030, 30957, 32290, 34120, 34933, 33600, 31560, 31067, // 632-639
+32270, 34064, 35098, 34245, 32137, 30875, 31670, 33537, // 640-647
+35126, 34847, 32653, 30890, 31261, 32872, 34564, 34885, // 648-655
+32936, 30673, 30292, 31831, 33755, 34696, 33269, 30966, // 656-663
+30297, 31514, 33738, 35190, 34095, 31599, 30452, 31464, // 664-671
+33481, 35084, 34519, 32030, 30287, 30870, 33020, 34888, // 672-679
+34796, 32633, 30608, 30664, 32574, 34416, 34810, 33084, // 680-687
+30755, 30464, 32233, 34197, 35093, 33823, 31270, 30339, // 688-695
+31742, 33936, 35374, 34541, 31770, 30219, 31277, 33639, // 696-703
+35552, 35099, 32264, 30457, 31143, 33224, 35347, 35434, // 704-711
+32789, 30125, 30392, 32585, 34818, 35282, 33114, 30389, // 712-719
+30086, 32228, 34781, 35850, 33824, 30505, 29608, 31638, // 720-727
+34596, 36058, 34181, 30860, 29370, 30890, 33973, 36127, // 728-735
+34789, 31129, 29102, 30301, 33477, 35861, 35075, 31933, // 736-743
+29565, 30365, 33279, 35776, 35892, 32533, 29621, 30023, // 744-751
+32741, 35612, 36060, 33216, 30117, 29754, 32242, 35267, // 752-759
+36277, 33845, 30071, 29199, 31678, 34859, 36145, 34018, // 760-767
+30269, 29173, 31305, 34606, 36521, 34887, 30875, 29308, // 768-775
+30999, 34044, 36392, 35027, 31028, 29024, 30545, 33774, // 776-783
+36349, 35585, 31644, 29074, 30563, 33755, 36485, 36081, // 784-791
+32047, 28843, 29742, 33322, 36221, 35995, 32335, 28771, // 792-799
+29441, 33299, 36774, 36945, 33159, 29246, 29331, 32887, // 800-807
+36253, 36997, 33787, 29265, 28804, 32163, 36025, 37180, // 808-815
+33989, 29581, 28470, 31374, 35483, 37128, 34702, 30005, // 816-823
+28075, 30790, 34872, 37211, 35405, 30592, 27920, 29680, // 824-831
+33743, 37109, 36090, 31061, 27571, 29186, 33630, 37276, // 832-839
+36799, 31965, 27951, 28609, 32865, 37072, 37472, 32943, // 840-847
+28161, 28200, 32265, 36567, 37552, 33414, 28629, 28006, // 848-855
+31637, 36413, 37834, 34249, 29272, 27935, 31197, 35754, // 856-863
+37814, 34931, 29814, 27957, 30405, 34820, 37567, 35508, // 864-871
+30462, 27713, 29804, 34797, 38003, 36610, 31334, 27915, // 872-879
+29560, 34008, 37289, 36408, 31796, 28244, 29282, 33402, // 880-887
+37101, 36846, 32423, 28643, 29252, 33078, 36986, 37123, // 888-895
+33006, 28762, 28787, 32205, 36176, 37163, 33513, 29307, // 896-903
+29009, 32166, 36067, 37236, 33978, 29743, 28867, 31742, // 904-911
+35418, 36705, 34111, 30187, 28927, 31640, 35121, 36213, // 912-919
+33923, 30210, 28946, 31088, 33883, 35339, 33916, 30639, // 920-927
+29432, 31326, 34457, 36040, 34620, 31498, 29851, 31323, // 928-935
+34010, 35383, 34464, 31450, 29562, 30730, 33512, 35166, // 936-943
+34256, 31421, 29439, 30625, 33608, 35343, 34327, 31686, // 944-951
+30293, 31752, 34457, 35700, 34295, 31795, 30485, 31910, // 952-959
+34316, 34823, 33239, 30966, 30042, 31867, 34748, 35595, // 960-967
+33953, 31595, 30906, 32945, 35443, 35440, 33169, 31057, // 968-975
+30605, 32478, 35146, 35299, 32954, 30843, 30445, 32429, // 976-983
+34962, 34811, 32503, 30312, 29926, 32157, 35026, 34872, // 984-991
+32764, 30984, 30475, 32281, 34824, 35041, 32793, 30902, // 992-999
+30481, 32460, 35241, 35361, 32997, 30761, 30558, 32592, // 1000-1007
+34941, 34779, 32504, 30217, 29961, 32492, 35439, 35425, // 1008-1015
+32525, 30305, 30471, 32755, 35269, 34750, 31954, 30031, // 1016-1023
+30268, 32687, 35194, 34681, 31969, 30113, 30620, 33265, // 1024-1031
+35577, 34973, 32592, 30838, 31075, 33552, 35709, 35060, // 1032-1039
+32357, 30260, 30940, 33714, 35763, 35094, 32200, 30216, // 1040-1047
+30917, 33707, 36025, 35008, 32223, 29964, 30572, 33994, // 1048-1055
+35731, 34537, 31845, 29772, 30365, 33516, 35571, 34547, // 1056-1063
+32052, 30096, 30526, 33455, 35662, 34604, 32246, 30527, // 1064-1071
+31225, 33790, 35345, 34242, 31667, 29808, 30568, 33194, // 1072-1079
+34771, 33610, 31638, 30474, 31297, 33894, 34806, 33666, // 1080-1087
+31664, 30581, 31808, 34065, 34441, 33167, 31268, 30480, // 1088-1095
+31691, 33962, 34075, 32868, 31830, 31221, 32868, 34684, // 1096-1103
+34200, 32922, 32235, 31666, 32960, 34013, 33183, 32058, // 1104-1111
+31722, 31498, 33111, 34301, 33506, 32627, 32125, 32460, // 1112-1119
+33634, 34223, 33191, 32448, 32140, 32493, 33966, 34120, // 1120-1127
+32328, 32108, 32063, 32638, 33976, 33605, 31752, 31609, // 1128-1135
+32385, 33061, 34628, 33633, 31481, 31614, 32315, 33105, // 1136-1143
+34319, 33508, 31513, 31133, 31990, 33229, 34820, 33643, // 1144-1151
+31207, 31036, 31867, 33358, 34956, 33505, 31011, 30972, // 1152-1159
+32078, 33994, 35531, 33725, 30861, 30769, 32262, 34730, // 1160-1167
+36049, 33395, 30409, 30489, 31885, 34642, 35756, 32539, // 1168-1175
+29767, 30168, 32428, 35227, 35564, 32094, 29649, 30492, // 1176-1183
+32876, 35742, 35414, 31764, 29707, 30640, 33303, 36149, // 1184-1191
+35192, 31127, 29759, 31202, 34207, 36915, 35151, 31011, // 1192-1199
+29857, 31392, 34358, 36635, 34621, 30460, 29796, 31869, // 1200-1207
+34833, 36558, 33665, 29999, 29877, 32308, 34999, 35701, // 1208-1215
+32888, 30045, 30401, 32613, 35090, 35837, 32688, 29909, // 1216-1223
+30616, 32406, 34629, 34942, 31948, 30283, 31207, 32605, // 1224-1231
+34424, 34578, 32074, 30469, 31407, 33009, 35318, 34678, // 1232-1239
+31291, 30463, 31526, 33254, 35463, 34428, 30890, 30238, // 1240-1247
+31640, 33629, 35792, 34584, 30389, 29741, 31855, 33969, // 1248-1255
+35587, 33704, 30720, 30374, 32156, 34689, 35877, 33523, // 1256-1263
+30551, 30695, 32616, 35006, 35963, 32748, 30199, 31429, // 1264-1271
+33434, 35462, 35406, 32192, 30015, 31135, 33307, 35257, // 1272-1279
+34855, 31477, 29610, 31280, 33600, 35461, 34412, 30771, // 1280-1287
+30008, 31742, 33977, 35325, 33706, 30421, 30112, 32394, // 1288-1295
+34350, 35192, 33124, 30101, 30493, 33093, 35214, 35509, // 1296-1303
+32603, 29980, 30849, 33420, 35497, 35360, 32077, 29333, // 1304-1311
+30587, 33431, 35685, 35203, 31350, 29359, 30702, 33464, // 1312-1319
+35747, 34863, 31202, 29388, 31364, 34063, 35827, 34914, // 1320-1327
+31168, 29611, 31536, 33951, 36014, 34838, 31129, 30208, // 1328-1335
+32017, 34237, 35704, 34031, 30920, 30335, 31687, 33993, // 1336-1343
+35533, 33771, 31112, 30743, 31923, 34141, 35410, 33495, // 1344-1351
+31000, 30861, 32402, 34226, 35055, 33057, 30753, 30759, // 1352-1359
+32292, 34609, 35115, 32264, 30568, 31346, 33098, 35350, // 1360-1367
+34543, 31620, 30400, 31654, 33903, 35298, 33999, 31111, // 1368-1375
+30178, 31815, 33962, 35534, 34002, 30657, 30052, 31647, // 1376-1383
+34025, 35360, 33933, 30690, 29855, 31529, 33921, 35484, // 1384-1391
+33562, 30226, 29716, 31844, 34573, 35733, 33705, 30396, // 1392-1399
+29754, 31991, 34551, 35980, 33372, 29975, 30121, 32337, // 1400-1407
+35024, 36253, 33604, 30225, 29954, 32586, 35552, 35951, // 1408-1415
+33141, 30137, 30318, 32786, 35418, 35825, 33188, 30472, // 1416-1423
+30800, 33070, 35480, 35612, 32688, 30486, 31058, 33032, // 1424-1431
+35223, 35109, 32254, 30392, 31321, 33488, 35501, 34848, // 1432-1439
+31686, 30285, 31422, 33559, 35250, 34223, 31016, 30026, // 1440-1447
+31405, 33538, 35179, 33795, 30385, 29677, 31786, 34265, // 1448-1455
+35428, 33175, 30073, 30026, 32400, 34790, 35441, 32820, // 1456-1463
+29719, 30152, 32601, 35131, 35600, 32220, 29735, 30630, // 1464-1471
+32941, 35347, 35313, 32189, 30016, 31147, 33702, 35453, // 1472-1479
+35123, 32065, 30155, 31523, 33596, 35469, 34798, 31518, // 1480-1487
+30259, 31886, 33779, 35413, 34709, 31366, 30286, 31997, // 1488-1495
+33960, 35535, 34301, 31396, 30806, 32185, 33756, 34933, // 1496-1503
+33406, 31085, 31212, 32645, 33961, 34328, 32883, 30666, // 1504-1511
+31344, 32771, 33734, 34297, 32348, 30752, 31558, 32882, // 1512-1519
+34322, 34007, 31554, 30533, 31531, 33264, 34560, 34169, // 1520-1527
+31330, 30003, 31817, 33912, 35313, 34340, 30906, 29808, // 1528-1535
+31962, 34541, 35591, 33520, 30500, 29917, 32225, 34822, // 1536-1543
+35851, 33330, 29886, 30207, 33172, 35682, 35869, 32979, // 1544-1551
+29682, 30126, 33058, 35621, 35938, 32639, 29223, 30380, // 1552-1559
+33590, 35970, 35761, 32415, 29864, 30683, 33609, 35924, // 1560-1567
+35570, 31588, 28993, 30708, 33722, 35780, 35334, 31448, // 1568-1575
+29180, 31226, 34333, 36023, 34403, 30729, 29310, 31813, // 1576-1583
+34931, 36333, 33831, 29670, 29346, 32640, 35626, 36110, // 1584-1591
+32873, 29066, 29465, 33302, 36342, 36117, 32466, 28789, // 1592-1599
+29673, 33774, 36626, 35114, 31177, 28504, 30445, 34644, // 1600-1607
+36640, 34856, 30475, 28305, 31046, 35094, 36787, 34943, // 1608-1615
+30119, 28199, 31303, 35468, 36654, 34296, 29910, 28373, // 1616-1623
+31709, 35467, 36415, 33803, 29565, 28842, 32250, 35405, // 1624-1631
+36241, 33326, 29058, 29161, 32830, 35657, 36135, 33150, // 1632-1639
+29443, 29797, 33026, 35726, 35919, 33082, 29998, 30085, // 1640-1647
+33003, 35282, 35407, 32753, 29779, 30737, 33907, 35706, // 1648-1655
+35169, 32107, 29772, 31424, 34338, 35919, 34653, 31293, // 1656-1663
+29562, 31754, 34860, 35631, 33996, 30875, 29731, 32438, // 1664-1671
+35141, 35506, 33683, 30878, 30078, 32394, 34941, 34911, // 1672-1679
+32909, 30208, 30004, 32723, 35110, 34900, 32611, 29951, // 1680-1687
+29977, 32571, 34910, 35440, 32966, 29704, 29608, 32363, // 1688-1695
+34932, 35394, 32606, 29568, 29912, 32829, 35290, 35521, // 1696-1703
+32615, 29170, 29648, 33007, 35473, 35183, 32271, 29199, // 1704-1711
+29937, 33616, 35803, 34811, 31706, 29289, 30611, 34300, // 1712-1719
+36417, 35218, 31855, 29501, 30726, 34434, 36394, 35345, // 1720-1727
+31667, 29086, 30780, 34698, 36824, 35250, 31453, 29159, // 1728-1735
+31043, 34794, 36855, 34987, 30758, 28788, 31460, 35295, // 1736-1743
+36685, 34202, 30486, 29449, 32208, 35665, 36159, 33158, // 1744-1751
+29536, 29715, 33293, 36074, 35654, 32827, 29453, 30018, // 1752-1759
+33564, 36204, 35259, 31479, 29166, 30628, 34239, 36013, // 1760-1767
+34395, 31143, 29231, 31190, 34724, 36106, 34424, 30699, // 1768-1775
+29548, 31719, 34836, 35720, 33440, 30438, 29739, 32333, // 1776-1783
+34527, 34028, 32464, 30609, 30680, 33294, 34677, 34175, // 1784-1791
+32396, 30703, 31443, 33322, 33904, 33372, 32315, 31659, // 1792-1799
+32250, 33425, 33452, 32531, 32175, 32467, 33414, 33692, // 1800-1807
+32801, 32006, 31681, 32561, 33908, 33455, 31874, 30938, // 1808-1815
+31657, 33630, 34626, 33783, 31613, 30919, 32132, 34308, // 1816-1823
+35616, 33559, 30714, 30262, 32328, 34848, 35207, 33023, // 1824-1831
+30400, 30383, 33037, 35238, 35067, 32362, 30310, 30893, // 1832-1839
+33249, 35224, 34501, 31763, 30117, 31298, 34055, 35401, // 1840-1847
+33827, 31320, 30245, 31720, 34695, 36006, 34014, 30969, // 1848-1855
+30264, 32305, 35248, 36458, 33627, 30169, 29601, 32011, // 1856-1863
+35401, 36301, 33190, 29062, 29256, 32769, 36016, 36538, // 1864-1871
+32877, 29059, 29586, 33506, 36859, 36038, 32123, 28818, // 1872-1879
+29555, 33915, 36666, 35071, 31197, 28664, 30161, 34280, // 1880-1887
+36576, 34897, 30701, 28684, 30704, 34499, 36364, 34017, // 1888-1895
+30203, 29356, 31338, 34636, 36304, 34150, 30418, 29324, // 1896-1903
+32000, 35053, 35860, 33682, 30665, 29434, 31514, 34636, // 1904-1911
+35487, 33536, 30553, 29902, 32291, 34534, 35150, 33226, // 1912-1919
+30582, 30563, 32686, 34958, 35224, 33028, 30652, 30619, // 1920-1927
+32685, 35140, 35107, 32600, 30371, 30677, 32712, 34811, // 1928-1935
+35224, 33054, 30534, 30347, 32458, 34849, 35323, 33034, // 1936-1943
+30700, 30839, 32876, 34961, 35557, 33297, 30633, 30648, // 1944-1951
+33195, 35783, 35268, 32317, 30155, 30721, 33807, 35809, // 1952-1959
+34605, 31243, 29227, 31060, 34760, 36666, 34364, 30923, // 1960-1967
+29490, 31552, 35462, 36978, 34309, 30470, 29545, 31976, // 1968-1975
+35552, 36159, 33122, 29722, 29347, 32346, 35116, 35727, // 1976-1983
+32764, 29380, 30008, 32536, 34909, 34492, 31474, 29187, // 1984-1991
+30598, 33692, 35153, 34042, 31092, 29602, 31300, 34316, // 1992-1999
+35239, 33235, 30588, 30218, 31782, 34367, 34724, 32810, // 2000-2007
+31133, 31106, 32956, 34526, 34563, 32408, 31036, 31577, // 2008-2015
+32746, 33964, 34394, 32887, 31601, 32347, 33331, 34007, // 2016-2023
+34057, 32595, 31627, 32405, 33579, 34178, 33667, 32296, // 2024-2031
+31897, 33109, 34191, 34403, 33419, 31656, 31621, 33186, // 2032-2039
+34691, 34705, 32670, 31245, 31652, 33500, 34374, 33911, // 2040-2047
+32352, 31047, 31931, 33194, 33575, 33394, 32245, 31561, // 2048-2055
+32297, 32792, 33258, 33208, 32488, 31543, 32178, 32629, // 2056-2063
+32725, 33396, 32678, 31596, 31521, 32077, 33039, 33834, // 2064-2071
+32997, 31726, 31248, 31928, 33330, 33810, 32613, 31331, // 2072-2079
+31415, 32619, 34304, 34189, 32355, 31289, 31292, 32892, // 2080-2087
+34473, 34228, 32370, 31150, 31839, 33432, 35170, 34334, // 2088-2095
+31566, 30839, 32003, 33886, 35189, 33956, 31803, 31047, // 2096-2103
+32238, 34039, 34773, 33181, 31299, 31434, 32839, 34539, // 2104-2111
+34823, 32902, 31107, 30964, 32537, 34410, 34197, 32448, // 2112-2119
+31258, 31733, 32714, 34369, 34596, 32186, 31259, 31847, // 2120-2127
+32795, 34703, 34435, 32362, 31419, 31644, 32598, 33915, // 2128-2135
+33691, 31738, 31419, 32388, 33278, 34273, 33443, 31549, // 2136-2143
+31673, 32529, 33825, 34408, 32960, 31447, 31650, 33076, // 2144-2151
+34023, 33834, 32543, 31133, 31678, 33346, 34046, 33765, // 2152-2159
+32344, 31496, 32266, 33503, 33660, 33055, 32079, 31984, // 2160-2167
+32822, 33443, 33448, 32377, 31832, 32361, 33625, 33847, // 2168-2175
+32862, 32103, 31776, 32696, 33428, 33118, 32123, 31261, // 2176-2183
+31565, 32795, 33621, 33287, 32112, 31017, 31966, 33674, // 2184-2191
+34162, 33166, 32237, 31827, 32617, 34109, 33937, 32879, // 2192-2199
+31690, 31494, 32835, 34108, 34107, 32371, 31127, 31516, // 2200-2207
+33511, 34831, 33585, 31731, 30676, 31527, 33753, 34984, // 2208-2215
+33520, 31613, 30468, 31968, 34916, 35308, 32941, 31020, // 2216-2223
+30560, 31763, 34974, 35540, 33147, 31032, 30469, 32342, // 2224-2231
+35648, 35524, 32376, 30175, 30283, 32931, 35780, 35365, // 2232-2239
+32425, 30026, 29929, 32977, 35963, 35128, 31998, 29791, // 2240-2247
+29968, 33725, 37092, 35396, 31332, 29394, 30306, 34283, // 2248-2255
+37047, 34867, 31046, 28676, 30271, 35269, 37445, 34610, // 2256-2263
+30673, 28737, 30861, 35588, 37420, 34175, 30081, 28292, // 2264-2271
+30783, 36176, 37815, 33786, 29251, 28337, 32069, 37194, // 2272-2279
+37724, 33255, 28102, 27917, 32774, 37070, 36724, 32209, // 2280-2287
+27946, 28279, 33728, 37759, 35892, 31300, 27964, 29354, // 2288-2295
+34448, 37604, 35179, 30469, 27775, 29890, 35435, 37725, // 2296-2303
+34982, 30477, 28031, 30410, 35541, 36899, 34116, 29914, // 2304-2311
+27858, 31160, 36025, 36710, 33105, 29114, 28471, 32676, // 2312-2319
+36964, 36329, 32530, 28654, 28597, 33479, 36784, 35731, // 2320-2327
+31812, 29046, 30178, 34332, 37067, 34774, 30753, 28952, // 2328-2335
+30861, 34885, 36351, 33636, 30289, 29011, 31985, 35713, // 2336-2343
+35720, 33489, 30501, 30088, 33006, 35798, 35562, 32651, // 2344-2351
+30328, 30403, 33358, 35585, 34462, 32394, 30710, 31238, // 2352-2359
+34108, 35278, 34305, 32535, 30946, 31712, 34169, 34902, // 2360-2367
+33840, 32269, 30745, 31799, 34178, 34666, 33599, 32028, // 2368-2375
+30457, 32003, 34809, 34711, 33091, 31417, 30645, 32738, // 2376-2383
+35011, 34292, 32664, 31022, 30277, 33028, 35421, 34087, // 2384-2391
+32048, 30168, 31129, 34619, 35066, 32937, 31479, 30372, // 2392-2399
+31678, 34535, 34751, 32284, 30558, 30341, 32722, 35771, // 2400-2407
+34748, 32048, 30388, 31424, 34050, 35449, 33418, 30940, // 2408-2415
+30409, 31772, 34739, 35493, 32287, 29490, 30293, 33774, // 2416-2423
+36257, 34428, 30646, 28757, 30777, 34456, 36845, 34242, // 2424-2431
+29628, 28557, 31766, 36633, 37430, 33102, 28713, 28984, // 2432-2439
+33172, 37360, 36726, 31736, 27982, 28801, 33825, 37802, // 2440-2447
+35814, 30353, 27450, 29998, 35081, 37983, 34724, 29289, // 2448-2455
+27960, 31073, 36538, 38198, 33572, 28102, 27666, 32816, // 2456-2463
+38465, 37878, 31810, 26421, 28127, 34957, 39377, 36715, // 2464-2471
+29389, 25514, 29501, 37818, 40860, 35630, 27495, 25012, // 2472-2479
+31027, 39713, 41057, 33354, 25534, 24936, 32962, 41433, // 2480-2487
+40093, 31140, 24566, 26332, 35361, 41795, 38773, 29447, // 2488-2495
+24249, 28293, 37248, 41778, 36779, 28337, 24807, 29832, // 2496-2503
+38195, 41177, 34835, 26450, 25154, 31758, 39723, 39938, // 2504-2511
+32342, 26047, 26233, 33330, 40006, 38123, 30840, 25977, // 2512-2519
+27723, 34826, 40098, 36655, 29586, 26067, 29195, 35968, // 2520-2527
+39470, 34762, 27773, 26517, 30758, 37495, 38887, 33277, // 2528-2535
+27240, 27182, 32707, 38645, 37783, 31098, 27019, 28191, // 2536-2543
+33892, 39322, 37067, 29770, 26765, 29271, 35157, 39265, // 2544-2551
+36044, 29231, 27117, 30293, 36286, 39163, 34043, 28774, // 2552-2559
+27689, 31139, 37292, 38291, 32863, 28432, 27867, 31982, // 2560-2567
+38097, 37822, 31639, 27433, 28138, 33057, 38732, 37412, // 2568-2575
+30697, 27252, 28885, 34405, 39216, 36287, 29822, 27450, // 2576-2583
+30188, 35760, 38774, 34193, 27940, 27853, 31749, 37231, // 2584-2591
+38027, 32423, 27568, 27782, 33445, 38410, 36423, 30420, // 2592-2599
+27105, 29303, 35110, 39107, 35397, 29112, 27857, 30625, // 2600-2607
+36753, 39753, 34613, 28560, 27953, 32081, 37985, 38611, // 2608-2615
+32747, 27576, 27951, 33122, 38062, 37247, 31219, 27605, // 2616-2623
+28921, 34647, 39240, 36285, 30402, 28228, 31239, 36508, // 2624-2631
+38546, 34391, 28578, 28327, 32398, 36957, 37452, 31338, // 2632-2639
+27143, 28995, 33425, 37886, 36710, 29832, 27200, 30227, // 2640-2647
+35143, 38232, 34838, 28694, 27421, 31453, 36316, 38066, // 2648-2655
+33471, 27448, 27414, 32132, 37386, 37622, 31566, 26498, // 2656-2663
+27886, 33950, 38499, 37028, 30273, 26241, 29562, 35218, // 2664-2671
+38831, 35583, 28357, 26629, 30575, 36878, 39127, 34171, // 2672-2679
+27812, 27097, 32431, 37552, 38331, 32879, 27221, 28421, // 2680-2687
+34037, 38559, 37459, 30931, 27312, 30022, 34516, 37899, // 2688-2695
+35986, 30316, 29021, 31407, 35107, 37811, 34724, 29356, // 2696-2703
+28920, 32672, 35928, 37426, 33761, 28474, 30063, 33977, // 2704-2711
+36461, 36245, 31713, 28707, 30598, 34723, 37176, 35797, // 2712-2719
+29961, 27363, 30624, 35028, 37455, 34939, 28594, 27058, // 2720-2727
+31657, 36108, 38130, 33497, 27057, 27135, 32946, 37783, // 2728-2735
+37887, 31835, 26061, 27295, 33869, 38756, 37443, 30659, // 2736-2743
+25354, 28572, 35263, 40136, 37218, 28890, 24446, 28677, // 2744-2751
+37329, 41243, 36183, 27132, 24193, 30855, 39523, 40943, // 2752-2759
+33561, 24779, 24350, 32806, 41466, 40966, 31472, 22789, // 2760-2767
+25504, 36054, 43538, 40249, 29001, 22189, 27882, 39482, // 2768-2775
+44373, 38124, 25300, 21372, 30396, 41987, 44287, 34077, // 2776-2783
+21842, 21093, 33258, 43783, 42376, 30740, 20201, 23477, // 2784-2791
+37097, 45809, 40954, 26991, 18812, 25909, 40549, 46594, // 2792-2799
+38333, 24008, 19252, 30252, 43688, 45727, 34111, 20715, // 2800-2807
+20267, 33982, 46186, 43876, 30030, 18047, 22187, 37909, // 2808-2815
+47477, 41000, 25724, 17313, 26029, 42552, 47929, 37001, // 2816-2823
+21713, 18055, 30745, 45558, 46387, 32783, 17701, 19216, // 2824-2831
+35726, 48655, 44473, 28312, 16568, 23023, 39900, 48810, // 2832-2839
+40683, 22728, 15640, 27144, 44167, 47874, 35900, 19221, // 2840-2847
+17466, 33432, 47015, 45567, 30672, 17101, 21180, 38279, // 2848-2855
+48185, 41311, 24860, 15672, 25780, 43240, 48015, 36062, // 2856-2863
+20132, 17809, 32093, 46348, 45561, 31296, 17637, 21621, // 2864-2871
+37940, 47789, 41776, 25974, 17507, 26715, 42929, 47592, // 2872-2879
+36240, 21414, 18907, 32597, 46346, 44362, 30786, 19190, // 2880-2887
+23230, 38458, 47529, 40488, 25737, 19261, 27712, 42591, // 2888-2895
+46399, 35347, 21718, 20355, 33088, 45732, 44081, 30413, // 2896-2903
+19738, 23389, 37744, 46095, 39820, 26062, 19390, 27637, // 2904-2911
+41744, 45913, 35439, 22779, 21761, 32878, 44159, 43173, // 2912-2919
+30391, 20431, 23870, 37044, 45791, 39795, 25847, 19406, // 2920-2927
+27253, 40817, 45571, 35283, 21928, 20525, 31749, 43343, // 2928-2935
+43097, 30858, 20068, 23195, 36846, 46209, 40582, 26864, // 2936-2943
+19974, 27126, 40325, 45053, 36574, 23631, 20615, 30755, // 2944-2951
+42874, 43771, 32444, 21388, 23039, 34950, 44499, 41045, // 2952-2959
+28850, 21208, 25128, 38090, 44490, 37829, 25949, 20853, // 2960-2967
+29176, 41380, 43816, 34592, 23392, 22748, 33744, 43338, // 2968-2975
+41581, 29919, 21011, 25932, 38402, 45399, 38661, 24957, // 2976-2983
+20830, 29962, 42587, 44747, 34159, 21948, 22714, 35028, // 2984-2991
+44938, 42756, 29071, 19599, 25113, 38484, 46108, 39028, // 2992-2999
+24107, 19114, 28956, 42039, 45188, 34551, 21015, 21106, // 3000-3007
+33722, 45186, 43374, 29338, 19568, 24235, 38012, 46016, // 3008-3015
+39467, 25671, 19558, 28140, 41060, 44939, 34776, 21129, // 3016-3023
+20313, 32245, 44523, 43046, 30014, 19909, 22984, 36869, // 3024-3031
+45361, 39924, 26857, 19962, 27473, 40730, 45423, 36060, // 3032-3039
+22647, 20627, 31677, 43679, 44473, 32227, 20308, 23196, // 3040-3047
+36251, 45708, 41491, 27080, 19677, 26933, 40592, 45831, // 3048-3055
+37541, 23647, 20335, 31505, 43264, 44264, 33080, 21650, // 3056-3063
+21784, 34803, 45708, 41917, 29159, 20426, 25834, 39289, // 3064-3071
+45657, 38229, 25453, 20667, 29043, 42056, 44681, 34114, // 3072-3079
+21756, 22034, 33813, 44083, 42734, 29932, 19951, 23975, // 3080-3087
+37411, 44945, 38928, 25921, 19286, 27694, 41247, 45166, // 3088-3095
+35600, 22933, 21466, 32906, 45002, 43946, 31484, 20453, // 3096-3103
+23318, 37261, 46133, 40127, 25978, 19176, 26822, 41868, // 3104-3111
+46404, 35830, 22556, 20285, 31504, 44325, 44513, 31380, // 3112-3119
+19657, 22131, 36145, 45686, 40993, 27501, 19499, 26505, // 3120-3127
+40420, 46256, 37204, 23176, 20314, 30653, 43695, 44459, // 3128-3135
+32018, 20484, 22305, 35229, 44863, 41026, 27155, 19472, // 3136-3143
+26301, 39203, 45384, 37465, 23293, 20447, 30530, 42961, // 3144-3151
+44450, 31871, 20540, 23192, 36048, 45438, 41107, 27121, // 3152-3159
+19937, 26608, 39909, 45685, 37140, 22845, 20486, 31629, // 3160-3167
+43263, 45176, 32584, 20232, 22780, 35755, 46010, 42274, // 3168-3175
+27391, 18423, 25340, 40470, 46805, 38001, 22828, 18362, // 3176-3183
+30522, 44194, 45676, 33162, 19688, 20849, 35448, 46752, // 3184-3191
+43238, 28177, 17168, 24079, 40080, 47991, 39582, 22877, // 3192-3199
+17363, 29250, 44496, 47463, 34237, 18683, 18630, 34360, // 3200-3207
+47815, 45062, 29288, 16316, 23222, 40225, 49203, 41464, // 3208-3215
+22877, 16026, 28735, 45597, 49318, 35840, 18481, 18019, // 3216-3223
+34876, 48517, 46450, 29631, 15077, 22298, 40396, 49747, // 3224-3231
+41233, 22366, 15058, 27726, 44785, 49158, 35342, 16969, // 3232-3239
+17506, 34315, 48289, 46265, 28223, 14698, 22235, 40319, // 3240-3247
+49770, 40752, 21856, 14780, 27824, 45077, 48741, 35007, // 3248-3255
+18188, 18144, 33542, 47853, 45642, 28676, 15992, 21439, // 3256-3263
+38929, 48980, 40748, 23524, 16292, 26191, 43101, 48622, // 3264-3271
+36180, 20504, 18618, 31608, 45695, 45332, 31447, 19001, // 3272-3279
+21824, 37145, 47694, 42566, 26280, 17905, 26097, 41517, // 3280-3287
+47887, 38226, 22660, 18858, 30847, 44614, 45849, 32656, // 3288-3295
+19168, 21511, 35652, 45912, 42668, 27464, 18477, 25276, // 3296-3303
+39315, 46501, 38402, 24094, 20426, 29419, 42528, 45701, // 3304-3311
+34021, 21883, 22217, 34093, 44590, 43083, 30347, 20787, // 3312-3319
+24823, 36891, 45230, 39768, 27174, 21133, 27509, 39528, // 3320-3327
+43803, 36008, 23439, 21787, 31554, 42135, 43292, 32231, // 3328-3335
+21803, 23717, 35213, 44662, 40912, 28868, 21415, 26132, // 3336-3343
+39110, 44645, 38056, 25676, 20470, 29044, 41766, 43812, // 3344-3351
+34557, 22576, 21243, 33062, 43287, 42022, 30143, 20189, // 3352-3359
+23326, 36594, 45286, 40529, 26937, 19570, 26563, 40126, // 3360-3367
+45251, 37235, 23551, 19627, 31356, 44123, 44509, 32961, // 3368-3375
+21473, 21633, 34827, 46123, 42562, 28066, 18747, 24848, // 3376-3383
+39198, 46129, 38655, 24004, 18565, 28996, 43067, 45830, // 3384-3391
+34138, 20451, 20070, 33962, 45841, 43520, 29236, 18799, // 3392-3399
+23834, 38984, 47694, 39714, 24372, 18147, 28385, 43598, // 3400-3407
+47312, 35348, 20740, 19667, 33372, 46271, 44692, 29793, // 3408-3415
+18139, 23193, 37889, 47507, 40841, 25192, 18230, 27654, // 3416-3423
+42370, 46236, 36317, 21805, 20047, 32586, 44763, 44529, // 3424-3431
+30880, 19840, 23643, 37743, 46893, 40460, 26337, 19266, // 3432-3439
+27289, 41387, 45925, 36654, 23519, 21017, 31646, 43424, // 3440-3447
+43449, 31133, 20429, 23750, 36058, 44563, 40296, 26677, // 3448-3455
+19547, 27141, 40207, 44685, 36064, 23191, 20124, 31710, // 3456-3463
+43781, 43392, 31782, 20189, 23269, 36727, 45534, 40686, // 3464-3471
+26721, 18847, 26476, 41762, 45734, 36126, 22573, 19296, // 3472-3479
+32349, 45186, 44740, 31605, 18751, 22123, 37247, 46622, // 3480-3487
+41568, 26377, 17411, 26558, 42471, 46993, 36813, 21096, // 3488-3495
+18394, 32913, 46205, 45727, 31240, 17269, 21669, 39043, // 3496-3503
+48313, 42300, 25345, 15047, 26457, 43786, 48682, 36816, // 3504-3511
+19163, 16448, 32453, 48230, 47169, 30155, 14686, 19931, // 3512-3519
+38669, 49612, 43347, 24307, 13769, 25296, 44113, 50693, // 3520-3527
+38623, 19114, 15125, 31697, 47873, 48104, 32236, 15595, // 3528-3535
+19156, 37817, 49345, 44317, 25675, 14654, 25152, 42833, // 3536-3543
+49696, 38382, 20092, 16029, 31458, 46791, 47424, 32053, // 3544-3551
+16582, 20429, 37445, 48814, 43963, 26274, 15745, 25487, // 3552-3559
+42328, 48962, 38099, 20491, 16979, 30955, 46126, 46970, // 3560-3567
+31682, 17326, 20739, 37212, 48356, 43257, 26300, 15897, // 3568-3575
+24900, 41652, 48334, 38406, 21192, 17342, 31491, 45389, // 3576-3583
+45872, 32453, 17620, 20078, 36886, 47597, 43388, 26964, // 3584-3591
+15694, 24995, 41849, 48585, 38920, 20640, 16307, 31201, // 3592-3599
+46144, 47363, 32919, 16475, 19412, 37242, 48205, 44202, // 3600-3607
+27184, 15030, 24297, 41228, 49109, 40274, 22000, 16955, // 3608-3615
+29917, 45432, 48349, 34175, 18132, 19460, 34948, 47423, // 3616-3623
+44582, 29103, 17897, 23843, 38896, 47612, 40600, 24806, // 3624-3631
+17846, 27247, 42258, 46335, 36670, 22175, 19693, 31560, // 3632-3639
+43951, 44501, 32223, 20082, 22104, 36274, 45254, 40563, // 3640-3647
+27500, 18772, 25778, 39769, 45233, 38115, 24037, 19735, // 3648-3655
+30100, 42777, 44742, 33672, 20415, 20820, 34689, 45154, // 3656-3663
+43249, 29049, 18680, 25114, 38877, 46379, 39485, 24986, // 3664-3671
+18816, 29339, 43731, 45612, 34344, 21071, 21072, 33687, // 3672-3679
+45041, 43378, 29745, 18982, 23754, 38410, 46408, 39533, // 3680-3687
+25496, 19209, 28113, 42451, 46235, 35725, 22050, 20501, // 3688-3695
+32771, 44575, 43343, 30592, 19697, 23900, 37393, 46038, // 3696-3703
+40301, 25526, 19461, 28312, 42522, 45653, 34655, 21401, // 3704-3711
+19695, 33228, 45265, 43937, 30134, 17258, 23684, 39379, // 3712-3719
+47486, 40792, 23304, 16183, 28701, 44824, 47501, 34212, // 3720-3727
+17380, 17811, 35668, 48575, 45525, 28453, 14810, 23551, // 3728-3735
+41536, 49973, 40888, 20507, 14779, 30497, 46356, 49068, // 3736-3743
+33585, 15007, 19282, 37948, 49218, 44190, 25024, 13508, // 3744-3751
+26225, 44380, 49525, 38509, 18182, 15657, 33682, 47870, // 3752-3759
+47589, 29723, 13610, 21532, 40283, 50019, 42167, 22287, // 3760-3767
+13884, 28377, 45842, 48632, 35510, 16952, 17333, 35759, // 3768-3775
+48021, 45455, 28453, 14946, 23852, 41638, 48569, 39132, // 3776-3783
+21768, 16019, 30186, 46149, 46313, 32304, 17431, 20194, // 3784-3791
+38335, 48355, 42286, 26111, 15863, 26556, 43687, 47809, // 3792-3799
+36464, 20627, 18120, 33334, 47426, 45307, 30365, 16699, // 3800-3807
+21541, 39636, 48488, 40927, 24102, 15696, 28070, 44713, // 3808-3815
+47453, 35554, 19397, 17452, 34333, 47828, 45055, 29946, // 3816-3823
+16233, 21740, 40110, 49448, 41149, 23689, 14901, 27906, // 3824-3831
+45283, 47329, 35111, 18040, 17187, 34897, 48045, 45257, // 3832-3839
+28765, 15236, 22307, 41156, 49254, 40363, 23236, 15078, // 3840-3847
+29027, 46315, 47913, 34285, 17463, 18033, 35646, 49136, // 3848-3855
+45220, 28377, 15021, 21991, 41326, 49873, 41107, 22608, // 3856-3863
+14632, 28368, 45325, 48009, 36079, 18611, 17129, 34722, // 3864-3871
+48055, 45200, 29835, 16325, 22565, 40421, 48068, 40877, // 3872-3879
+24174, 16262, 28682, 44476, 46342, 35171, 19267, 18497, // 3880-3887
+35391, 46289, 42949, 28773, 16195, 23485, 40814, 46967, // 3888-3895
+39182, 22846, 17151, 30339, 45259, 46091, 32826, 18603, // 3896-3903
+19955, 37136, 47499, 41770, 27092, 16956, 25889, 42946, // 3904-3911
+47557, 37225, 21621, 17792, 32178, 46548, 44901, 31484, // 3912-3919
+18392, 21177, 38406, 47873, 41205, 26161, 17577, 27269, // 3920-3927
+43659, 46761, 36302, 21260, 18375, 33953, 46023, 43726, // 3928-3935
+30877, 18577, 23118, 39083, 46866, 39653, 24708, 17205, // 3936-3943
+28344, 44160, 45790, 35450, 20679, 18711, 34978, 46736, // 3944-3951
+43576, 29332, 16962, 23353, 40942, 47118, 38240, 23407, // 3952-3959
+17183, 30226, 45434, 45822, 33282, 18230, 19176, 36462, // 3960-3967
+47375, 42426, 27132, 16144, 24805, 42458, 47731, 38072, // 3968-3975
+21212, 16774, 32041, 46333, 46195, 31655, 17292, 20938, // 3976-3983
+38918, 48746, 41833, 25368, 15351, 26764, 44142, 47695, // 3984-3991
+36534, 19737, 17270, 33497, 47715, 45474, 29647, 16192, // 3992-3999
+21647, 40226, 48573, 40699, 24568, 16015, 28209, 44840, // 4000-4007
+47130, 34951, 19199, 18423, 35374, 48290, 43895, 28621, // 4008-4015
+16035, 22966, 42559, 48813, 38531, 22298, 15836, 30048, // 4016-4023
+47012, 46570, 32672, 17063, 18921, 38523, 48824, 42605, // 4024-4031
+25789, 14015, 25058, 45175, 49890, 37364, 19088, 14729, // 4032-4039
+33366, 50197, 47904, 30065, 13156, 19658, 41303, 51823, // 4040-4047
+42842, 22039, 11880, 27198, 47675, 51085, 35642, 15030, // 4048-4055
+14956, 35661, 51512, 47884, 27281, 11408, 20700, 43559, // 4056-4063
+52530, 40906, 19674, 11728, 29219, 48977, 50894, 33769, // 4064-4071
+13669, 16166, 37477, 52254, 46489, 24733, 10707, 22564, // 4072-4079
+45041, 51944, 39031, 17467, 12592, 32428, 50010, 49111, // 4080-4087
+31307, 12254, 17778, 41130, 52401, 44005, 22237, 11055, // 4088-4095
+27104, 47771, 51045, 35697, 14622, 14428, 37051, 52026, // 4096-4103
+47181, 27114, 11095, 22576, 44894, 52049, 40833, 18615, // 4104-4111
+12494, 31684, 49923, 49993, 31757, 12812, 18087, 40486, // 4112-4119
+52263, 44836, 23170, 10559, 26093, 47693, 51316, 36752, // 4120-4127
+15993, 14229, 35171, 50595, 47490, 28324, 11298, 20751, // 4128-4135
+43225, 52155, 41985, 20180, 11734, 29048, 48647, 50014, // 4136-4143
+33724, 13836, 16061, 38513, 51504, 45338, 24741, 10777, // 4144-4151
+24391, 45717, 51148, 38528, 16689, 13450, 33536, 50457, // 4152-4159
+47937, 29391, 12481, 19509, 42348, 51110, 42238, 21567, // 4160-4167
+11848, 29159, 47328, 49436, 35018, 15571, 16793, 36934, // 4168-4175
+50292, 45313, 26190, 12301, 24666, 44653, 49662, 39570, // 4176-4183
+19001, 14276, 33340, 48865, 47808, 31773, 13800, 19855, // 4184-4191
+41349, 50306, 42838, 23514, 12875, 27709, 46310, 49391, // 4192-4199
+36003, 16351, 16420, 36846, 49676, 45389, 28439, 13011, // 4200-4207
+22880, 43218, 49103, 39830, 19900, 13540, 31198, 47617, // 4208-4215
+47674, 32815, 15161, 18636, 39209, 49745, 42260, 24751, // 4216-4223
+13708, 26414, 45710, 48090, 36262, 18291, 16548, 35449, // 4224-4231
+48391, 44949, 29710, 14733, 21975, 43166, 49493, 39435, // 4232-4239
+21983, 14275, 30647, 48101, 47080, 33478, 15935, 17961, // 4240-4247
+39648, 49897, 42980, 25573, 12793, 25899, 46120, 48588, // 4248-4255
+36824, 17447, 13908, 34912, 50284, 46253, 28891, 12269, // 4256-4263
+20305, 43450, 51853, 40948, 20352, 11259, 29353, 50154, // 4264-4271
+50155, 33745, 13432, 14988, 38489, 53354, 46646, 25316, // 4272-4279
+9881, 22491, 46817, 53405, 40154, 17805, 11035, 31506, // 4280-4287
+52053, 50732, 32026, 11491, 15706, 39569, 53818, 46342, // 4288-4295
+23610, 9764, 23121, 47325, 53611, 38741, 16931, 11639, // 4296-4303
+31980, 51384, 50058, 32154, 11501, 16746, 40467, 53055, // 4304-4311
+45355, 23895, 10914, 24118, 46930, 51962, 38954, 17437, // 4312-4319
+12889, 32661, 49565, 48888, 31647, 13164, 18636, 39670, // 4320-4327
+50690, 43025, 23008, 12526, 26776, 46156, 48853, 36479, // 4328-4335
+17259, 15608, 35282, 49313, 45796, 28451, 13822, 22401, // 4336-4343
+41727, 49187, 40326, 21549, 14600, 30080, 46699, 47516, // 4344-4351
+33865, 16523, 18754, 37587, 47998, 43674, 26685, 14406, // 4352-4359
+24967, 42933, 47910, 37212, 20973, 16642, 32435, 47567, // 4360-4367
+45465, 31751, 17022, 20976, 39523, 48466, 41819, 25359, // 4368-4375
+15863, 26931, 44401, 48287, 36154, 19785, 16990, 33382, // 4376-4383
+48160, 45994, 31120, 16038, 19900, 38794, 49655, 43117, // 4384-4391
+25260, 14696, 25085, 43498, 49021, 37635, 20910, 15980, // 4392-4399
+30424, 46680, 47093, 33125, 17673, 19086, 36094, 48872, // 4400-4407
+44433, 28274, 16365, 22693, 40858, 48978, 40458, 23693, // 4408-4415
+15767, 27933, 45359, 47910, 35806, 19626, 17221, 33429, // 4416-4423
+47335, 46008, 31600, 16746, 20258, 38678, 48427, 42150, // 4424-4431
+26793, 15264, 25081, 43182, 47491, 38676, 22135, 16628, // 4432-4439
+31294, 46091, 46320, 33284, 17827, 19089, 36531, 47284, // 4440-4447
+43410, 27993, 14906, 23780, 41169, 47473, 40011, 22540, // 4448-4455
+16247, 29867, 44803, 46653, 34208, 18592, 19609, 36343, // 4456-4463
+46659, 43425, 28525, 16007, 24853, 41241, 47204, 39150, // 4464-4471
+22403, 17218, 31342, 44872, 45102, 33481, 18219, 20571, // 4472-4479
+37128, 46263, 42482, 27244, 16512, 26126, 42674, 46356, // 4480-4487
+37056, 21890, 17702, 33282, 45429, 43878, 31731, 17957, // 4488-4495
+22295, 39011, 46708, 41259, 25950, 16594, 27772, 43746, // 4496-4503
+46528, 35654, 20687, 18254, 34586, 47078, 43983, 30505, // 4504-4511
+16792, 22511, 41037, 47898, 40737, 24815, 16005, 28354, // 4512-4519
+44502, 47604, 36165, 19522, 17218, 34343, 48065, 45476, // 4520-4527
+30707, 15760, 20667, 40096, 48891, 42005, 24438, 14281, // 4528-4535
+26801, 45073, 49116, 36383, 18964, 15592, 33208, 48337, // 4536-4543
+46476, 31179, 14136, 18733, 39463, 49564, 43252, 25733, // 4544-4551
+12770, 24260, 44811, 49673, 38375, 19931, 13762, 30713, // 4552-4559
+47880, 48232, 33128, 15247, 17837, 37825, 49737, 45236, // 4560-4567
+26759, 12704, 24138, 43787, 49795, 39728, 20231, 13339, // 4568-4575
+31359, 48378, 47651, 33316, 15314, 18184, 38778, 49800, // 4576-4583
+44264, 26627, 13504, 24974, 44188, 49673, 39196, 19194, // 4584-4591
+14443, 32302, 48467, 47577, 32041, 14805, 18339, 39784, // 4592-4599
+50259, 43302, 25387, 12568, 25889, 45890, 49464, 37582, // 4600-4607
+18202, 14606, 34019, 49704, 47035, 30387, 13233, 19428, // 4608-4615
+41738, 51246, 42495, 23028, 12027, 27232, 47457, 50274, // 4616-4623
+36664, 15713, 14100, 35707, 50501, 47777, 28769, 11472, // 4624-4631
+20392, 42369, 52428, 42503, 21108, 11169, 27385, 48135, // 4632-4639
+50835, 35529, 15262, 14757, 35854, 51239, 47364, 28375, // 4640-4647
+11605, 20734, 43542, 52186, 41829, 21040, 11743, 27895, // 4648-4655
+48151, 50460, 35494, 15699, 14771, 35614, 50510, 46896, // 4656-4663
+28160, 12510, 21299, 42596, 51555, 42084, 21012, 11747, // 4664-4671
+28721, 47339, 49243, 35267, 15538, 15238, 36267, 50376, // 4672-4679
+46527, 28277, 12342, 22084, 42667, 49995, 41389, 21199, // 4680-4687
+12974, 29656, 47245, 48488, 34994, 16134, 17040, 37167, // 4688-4695
+49124, 45583, 28131, 14038, 23492, 42777, 49451, 40448, // 4696-4703
+21614, 14229, 30438, 46581, 47452, 34086, 16366, 18052, // 4704-4711
+37497, 48618, 43960, 27187, 13151, 24665, 44730, 48845, // 4712-4719
+39280, 19612, 14348, 32200, 47855, 47919, 32612, 15004, // 4720-4727
+18976, 39671, 49285, 43039, 24346, 12961, 26867, 45334, // 4728-4735
+49237, 36924, 17138, 15507, 34629, 48392, 46501, 29549, // 4736-4743
+13753, 21742, 41310, 49722, 41872, 23089, 14181, 28176, // 4744-4751
+45958, 48601, 35865, 17873, 17745, 35666, 47978, 45473, // 4752-4759
+28829, 14997, 23131, 41251, 47932, 40218, 23222, 15595, // 4760-4767
+29113, 44464, 46081, 34849, 19435, 18753, 35695, 46415, // 4768-4775
+43100, 29457, 16876, 24613, 40986, 46174, 39374, 23960, // 4776-4783
+17670, 30916, 43779, 44295, 34186, 19858, 20784, 36847, // 4784-4791
+45324, 41498, 28512, 17912, 26247, 41078, 45014, 38203, // 4792-4799
+23840, 18917, 32302, 44124, 43258, 33289, 20912, 22349, // 4800-4807
+37776, 45547, 40488, 28567, 19465, 26673, 41001, 44778, // 4808-4815
+37394, 24959, 19926, 31040, 43639, 42763, 32861, 21483, // 4816-4823
+21793, 35419, 43843, 40923, 29692, 20163, 25101, 38367, // 4824-4831
+44434, 38431, 25644, 20003, 29310, 41132, 43130, 35046, // 4832-4839
+23138, 21103, 33202, 43605, 41235, 31040, 21237, 23866, // 4840-4847
+37105, 43919, 38921, 27388, 20475, 27129, 40634, 44054, // 4848-4855
+36194, 24405, 20199, 31544, 43479, 43304, 33246, 21072, // 4856-4863
+22019, 36005, 44910, 41439, 28591, 18638, 25270, 40342, // 4864-4871
+45714, 38374, 23980, 18321, 30060, 44084, 45201, 34730, // 4872-4879
+20826, 19734, 34774, 45924, 43947, 30440, 18019, 22685, // 4880-4887
+39470, 47931, 40803, 25780, 17054, 26987, 43963, 47842, // 4888-4895
+37114, 20860, 17727, 33025, 46476, 45913, 31726, 16861, // 4896-4903
+20740, 38597, 47979, 42248, 26177, 15983, 25729, 42740, // 4904-4911
+47978, 37527, 21384, 16622, 31075, 46417, 46180, 32618, // 4912-4919
+18212, 20219, 36791, 47827, 42750, 27382, 16134, 24130, // 4920-4927
+42023, 47414, 38187, 22756, 16635, 30118, 45792, 46198, // 4928-4935
+33608, 18512, 18760, 36620, 47792, 42510, 27821, 15936, // 4936-4943
+23856, 41758, 48195, 38446, 22026, 16403, 30291, 46555, // 4944-4951
+46849, 33480, 17537, 18739, 37259, 48964, 43713, 27477, // 4952-4959
+14639, 22962, 42881, 49496, 39678, 22029, 14499, 29859, // 4960-4967
+46942, 48060, 34456, 17266, 17676, 35989, 49203, 44483, // 4968-4975
+28706, 15383, 22041, 41528, 49671, 40961, 23061, 15254, // 4976-4983
+28066, 44920, 48669, 36277, 19145, 16789, 33412, 47746, // 4984-4991
+45552, 31218, 16422, 20323, 38624, 48562, 42478, 26170, // 4992-4999
+15490, 25444, 43118, 47278, 37940, 21906, 16026, 30907, // 5000-5007
+46466, 46305, 32694, 17769, 19436, 36935, 47965, 42946, // 5008-5015
+27914, 16248, 23747, 40872, 48160, 39884, 22973, 16680, // 5016-5023
+29733, 45382, 46872, 34665, 19418, 18293, 34305, 47048, // 5024-5031
+44018, 29758, 17116, 22216, 39288, 47343, 40757, 26032, // 5032-5039
+16682, 27277, 43472, 45859, 36406, 21303, 18240, 33044, // 5040-5047
+45919, 44180, 31010, 17924, 22529, 39270, 46713, 41055, // 5048-5055
+25550, 16765, 27997, 42557, 45950, 37101, 20624, 18484, // 5056-5063
+34309, 45860, 43916, 31027, 18286, 22994, 38773, 46872, // 5064-5071
+41098, 24772, 17184, 28849, 43545, 45683, 35264, 20510, // 5072-5079
+19573, 35118, 45726, 42906, 29814, 17714, 23940, 40363, // 5080-5087
+46733, 38895, 24076, 17719, 29821, 44871, 45732, 34349, // 5088-5095
+19142, 20132, 37134, 46767, 42520, 27924, 15812, 24237, // 5096-5103
+42514, 47685, 37794, 21280, 16519, 32008, 46541, 45759, // 5104-5111
+32550, 16847, 19746, 38272, 48482, 42626, 26412, 15452, // 5112-5119
+25359, 43298, 48044, 37879, 20873, 16508, 31446, 46592, // 5120-5127
+46682, 31960, 16872, 19735, 38128, 49333, 43041, 26535, // 5128-5135
+15100, 24521, 43282, 48592, 38546, 21607, 15174, 30811, // 5136-5143
+47605, 47049, 33172, 17273, 18938, 37704, 48400, 43457, // 5144-5151
+28027, 14736, 23957, 43034, 48952, 39389, 21425, 15436, // 5152-5159
+31167, 46294, 46883, 33722, 16062, 18759, 38329, 48529, // 5160-5167
+44167, 27731, 13678, 24420, 42921, 48426, 39226, 20654, // 5168-5175
+15293, 31101, 46386, 46843, 32967, 16327, 19313, 37436, // 5176-5183
+48028, 43502, 26256, 14315, 25458, 42933, 47717, 38312, // 5184-5191
+21285, 16465, 31088, 45471, 45923, 32874, 17097, 20151, // 5192-5199
+37687, 46895, 42527, 27254, 15921, 26030, 42584, 46876, // 5200-5207
+37710, 21591, 17096, 31775, 45850, 45296, 31877, 17273, // 5208-5215
+21072, 37637, 47443, 42457, 26924, 17488, 26977, 42410, // 5216-5223
+46427, 37784, 22614, 19121, 32720, 45379, 44198, 31494, // 5224-5231
+19038, 23227, 39126, 46692, 40492, 26131, 17630, 27891, // 5232-5239
+43643, 45572, 36103, 21265, 18251, 33969, 46279, 44359, // 5240-5247
+31211, 17590, 22850, 40453, 47686, 40677, 24171, 15809, // 5248-5255
+28209, 43980, 46989, 35800, 18969, 18110, 34693, 46522, // 5256-5263
+44742, 30324, 16691, 21930, 38572, 47643, 41238, 24914, // 5264-5271
+16703, 27542, 42857, 46321, 37113, 21519, 18392, 32853, // 5272-5279
+45434, 44513, 31527, 18996, 22040, 37360, 46199, 40815, // 5280-5287
+27213, 18482, 26810, 40916, 44741, 36724, 23118, 19989, // 5288-5295
+31708, 43398, 43277, 32103, 20449, 22754, 36650, 44508, // 5296-5303
+40343, 27870, 19681, 27062, 40405, 44177, 35925, 23549, // 5304-5311
+20148, 32410, 43797, 41878, 31841, 21186, 23472, 37698, // 5312-5319
+44667, 39431, 27217, 19417, 27979, 42098, 44055, 34618, // 5320-5327
+22927, 20403, 33297, 45102, 42839, 31057, 19322, 23060, // 5328-5335
+39394, 46065, 40071, 26220, 17777, 28329, 44016, 46475, // 5336-5343
+35826, 21770, 18861, 33945, 47072, 44558, 31573, 18616, // 5344-5351
+20996, 38528, 48066, 41354, 25946, 16089, 26352, 43988, // 5352-5359
+47759, 37209, 21439, 16389, 31815, 47593, 46011, 31946, // 5360-5367
+17497, 18972, 37543, 48176, 42308, 26873, 15253, 24815, // 5368-5375
+43228, 48266, 38218, 21145, 15666, 31265, 46249, 45381, // 5376-5383
+32433, 17206, 18774, 37505, 48135, 42750, 26672, 14709, // 5384-5391
+23994, 42609, 49115, 38852, 21211, 15070, 29593, 46724, // 5392-5399
+48083, 33715, 16967, 17439, 35677, 49173, 45334, 28838, // 5400-5407
+14922, 22529, 41742, 49107, 41033, 24207, 15386, 28005, // 5408-5415
+45780, 48040, 36502, 19780, 16532, 33997, 48132, 45652, // 5416-5423
+31500, 16514, 20783, 38895, 48145, 43078, 26384, 15605, // 5424-5431
+26492, 43585, 48447, 38151, 20422, 16922, 32362, 46247, // 5432-5439
+46400, 32963, 16627, 19767, 37398, 47187, 42982, 27680, // 5440-5447
+16588, 24601, 41332, 47252, 38693, 22921, 17115, 29848, // 5448-5455
+44076, 45262, 33735, 19615, 20210, 34831, 45577, 42728, // 5456-5463
+28894, 17366, 24550, 39633, 44877, 39205, 24949, 17504, // 5464-5471
+28878, 43207, 44927, 35034, 20698, 20076, 34782, 44625, // 5472-5479
+42719, 31044, 18662, 23457, 38418, 45367, 40720, 27035, // 5480-5487
+19134, 27658, 40898, 45500, 37644, 23804, 19954, 32067, // 5488-5495
+43612, 43992, 33756, 21435, 23435, 35610, 43981, 41476, // 5496-5503
+29809, 20661, 26261, 38716, 42855, 38023, 27440, 20990, // 5504-5511
+28987, 40510, 42747, 35169, 24189, 22299, 33228, 42651, // 5512-5519
+40807, 31808, 22158, 24466, 36338, 42810, 39356, 29035, // 5520-5527
+20996, 27006, 39017, 42935, 37133, 25367, 20868, 30769, // 5528-5535
+41338, 42296, 33861, 21968, 22670, 34749, 42987, 41053, // 5536-5543
+30358, 20210, 25242, 38655, 44014, 38597, 26642, 20594, // 5544-5551
+29456, 41611, 43808, 35604, 22723, 21474, 34252, 43932, // 5552-5559
+42230, 31710, 20416, 24379, 38338, 44607, 40008, 27103, // 5560-5567
+19459, 28031, 41277, 44138, 36081, 23144, 20195, 32815, // 5568-5575
+43850, 42748, 32093, 20292, 23110, 37500, 45094, 40560, // 5576-5583
+27870, 18821, 27210, 41634, 44332, 37721, 24429, 19331, // 5584-5591
+31617, 43148, 43383, 33367, 20851, 22389, 36143, 44034, // 5592-5599
+40907, 28928, 18804, 25454, 39570, 44447, 38250, 24753, // 5600-5607
+19360, 29788, 41858, 43678, 34926, 22540, 21401, 34247, // 5608-5615
+43265, 41577, 31260, 20859, 23406, 36990, 44527, 39455, // 5616-5623
+27721, 19654, 27175, 40305, 43602, 36529, 25860, 21349, // 5624-5631
+30481, 41210, 42616, 34896, 22490, 21729, 34455, 43004, // 5632-5639
+40723, 31931, 21376, 24263, 37356, 43067, 39776, 28544, // 5640-5647
+20346, 28090, 40149, 43792, 37064, 24796, 21295, 31443, // 5648-5655
+42606, 43333, 33711, 21839, 22370, 35479, 44333, 41394, // 5656-5663
+30795, 20728, 24787, 38472, 44385, 39413, 27248, 19911, // 5664-5671
+28331, 41074, 43584, 36436, 23662, 19959, 32413, 43100, // 5672-5679
+42298, 33008, 20817, 22494, 36781, 44071, 41697, 29348, // 5680-5687
+18433, 25327, 39808, 45434, 38843, 24442, 19259, 29920, // 5688-5695
+41579, 44790, 35537, 21266, 20617, 33961, 43547, 42995, // 5696-5703
+31825, 20556, 23840, 36624, 44549, 40423, 28303, 20775, // 5704-5711
+27576, 39068, 43642, 37513, 25696, 20988, 30102, 40859, // 5712-5719
+42347, 35536, 23883, 22586, 33025, 41115, 41301, 32496, // 5720-5727
+22315, 24289, 35394, 42534, 39897, 29256, 21697, 27398, // 5728-5735
+37486, 41990, 38546, 27207, 21918, 29882, 39364, 41539, // 5736-5743
+35656, 24925, 23318, 32903, 40579, 40309, 32537, 23308, // 5744-5751
+24505, 35689, 41668, 39698, 30734, 21788, 27561, 38181, // 5752-5759
+41386, 38004, 27223, 21293, 30014, 40706, 41954, 35041, // 5760-5767
+23231, 21998, 34583, 41889, 41425, 31914, 20823, 26450, // 5768-5775
+38001, 42596, 40212, 27063, 19201, 29594, 40932, 43999, // 5776-5783
+36350, 22323, 20736, 33283, 43886, 43451, 31806, 19173, // 5784-5791
+23388, 37645, 45275, 41336, 27040, 17418, 27252, 41842, // 5792-5799
+45639, 38321, 22949, 18223, 31369, 45092, 45208, 33492, // 5800-5807
+19405, 20346, 36339, 46482, 42953, 28839, 17616, 25031, // 5808-5815
+40368, 46690, 39778, 23412, 17588, 29688, 42853, 45893, // 5816-5823
+35450, 18716, 19322, 34813, 45221, 44408, 30360, 17185, // 5824-5831
+22911, 39130, 47178, 40982, 25020, 17144, 27519, 42158, // 5832-5839
+46490, 36317, 20649, 18375, 32744, 45065, 44352, 32182, // 5840-5847
+18455, 21483, 37311, 46326, 42070, 27550, 17278, 25721, // 5848-5855
+41063, 46161, 38633, 23296, 18027, 30580, 43353, 45774, // 5856-5863
+35407, 20057, 20281, 34466, 45332, 43851, 30462, 18371, // 5864-5871
+23297, 38809, 46017, 40548, 26534, 18141, 27251, 41473, // 5872-5879
+45116, 37688, 23829, 18615, 31658, 43978, 43620, 34487, // 5880-5887
+21068, 20997, 35826, 44934, 42330, 29783, 18658, 24752, // 5888-5895
+39096, 44905, 39954, 25703, 17901, 28267, 41644, 44910, // 5896-5903
+36731, 22490, 19607, 32204, 43534, 44482, 32821, 19869, // 5904-5911
+22045, 36124, 45805, 42613, 28686, 18346, 25022, 39248, // 5912-5919
+46119, 39729, 25693, 18445, 27723, 41848, 45606, 36924, // 5920-5927
+22184, 18900, 32235, 44293, 44443, 33188, 19389, 21252, // 5928-5935
+36009, 45385, 42783, 29795, 17821, 24063, 38751, 45836, // 5936-5943
+40793, 25308, 18040, 28312, 41932, 45854, 37163, 21680, // 5944-5951
+19676, 32828, 43230, 44201, 33040, 19620, 22335, 35768, // 5952-5959
+44696, 42360, 29402, 19236, 25516, 39029, 45271, 39573, // 5960-5967
+25324, 18968, 28662, 41387, 44435, 36744, 22856, 20637, // 5968-5975
+32810, 42614, 43054, 33118, 20749, 22843, 36389, 43741, // 5976-5983
+41430, 29544, 18932, 25498, 39047, 44429, 39089, 25678, // 5984-5991
+19428, 29289, 41166, 43714, 35757, 22472, 21264, 33279, // 5992-5999
+42411, 42888, 32552, 21059, 23702, 35540, 43152, 40820, // 6000-6007
+28827, 19915, 26995, 38719, 43417, 37883, 25701, 21033, // 6008-6015
+30021, 40073, 41928, 35472, 23794, 22664, 33181, 41050, // 6016-6023
+40811, 32865, 23536, 25733, 36254, 41825, 39556, 30040, // 6024-6031
+22818, 28445, 38148, 41619, 37610, 27937, 23907, 31290, // 6032-6039
+39509, 40578, 34630, 25660, 25399, 33817, 39491, 39340, // 6040-6047
+32336, 24392, 26633, 35428, 40327, 38009, 29809, 24174, // 6048-6055
+28498, 36890, 39944, 35605, 27795, 24743, 31000, 37806, // 6056-6063
+38525, 33194, 26080, 25865, 33466, 39449, 37968, 32237, // 6064-6071
+26413, 28439, 36201, 39368, 35906, 29399, 25215, 29395, // 6072-6079
+37461, 38682, 34144, 27715, 25820, 33140, 39119, 38519, // 6080-6087
+33206, 26328, 27091, 34454, 38965, 37061, 31153, 25138, // 6088-6095
+27775, 36598, 39830, 36835, 29403, 24535, 30516, 38902, // 6096-6103
+39455, 34725, 27662, 25610, 32974, 39434, 38261, 32357, // 6104-6111
+25408, 26200, 35110, 39218, 36508, 30734, 24245, 28568, // 6112-6119
+38670, 39385, 34850, 27827, 23438, 31427, 40318, 39036, // 6120-6127
+33371, 24819, 23993, 35039, 42204, 39754, 31952, 23573, // 6128-6135
+26706, 38632, 42564, 38008, 28605, 21962, 29704, 41587, // 6136-6143
+42067, 35251, 25148, 22110, 32466, 42332, 40577, 31997, // 6144-6151
+23141, 23741, 36215, 42825, 39182, 30245, 21584, 26247, // 6152-6159
+39252, 42566, 37364, 27021, 20784, 30188, 41358, 41528, // 6160-6167
+34174, 24031, 22201, 33410, 41311, 39896, 31938, 22461, // 6168-6175
+24726, 36047, 41620, 38241, 28955, 22249, 27812, 37836, // 6176-6183
+41359, 36514, 27264, 23407, 30271, 39413, 40523, 34463, // 6184-6191
+26755, 25021, 32886, 40104, 39194, 32499, 25481, 26528, // 6192-6199
+34664, 40460, 38165, 31739, 25663, 27368, 36764, 39849, // 6200-6207
+36231, 30081, 24917, 29305, 37950, 39186, 35032, 28230, // 6208-6215
+25441, 32042, 38696, 38687, 33852, 26534, 25785, 33858, // 6216-6223
+39326, 38332, 32054, 25500, 26898, 35155, 39536, 37010, // 6224-6231
+30341, 25280, 28961, 36999, 39980, 35993, 28760, 24752, // 6232-6239
+30529, 38206, 39281, 34813, 26936, 25301, 32924, 39074, // 6240-6247
+38932, 33844, 26222, 26706, 34736, 39653, 38485, 31594, // 6248-6255
+25428, 27847, 36477, 39756, 36355, 29528, 24979, 29898, // 6256-6263
+37756, 39224, 34672, 28265, 25587, 31950, 38317, 37845, // 6264-6271
+33345, 27165, 26651, 33739, 37877, 36337, 31504, 25757, // 6272-6279
+28332, 36076, 38304, 35129, 29463, 25607, 31045, 37994, // 6280-6287
+38727, 34083, 27013, 26847, 33588, 38458, 37165, 32055, // 6288-6295
+26709, 27755, 35813, 39739, 35765, 29249, 24968, 29495, // 6296-6303
+37975, 39929, 34717, 27260, 25427, 32103, 39459, 39078, // 6304-6311
+32674, 25846, 26042, 34831, 40431, 37923, 30833, 24335, // 6312-6319
+27701, 36890, 40523, 37206, 28580, 23477, 30016, 38887, // 6320-6327
+40791, 35368, 26252, 23922, 32599, 40609, 40107, 32778, // 6328-6335
+25006, 25110, 34915, 41518, 38025, 30672, 23647, 27028, // 6336-6343
+38330, 42003, 36221, 28188, 23870, 29853, 40063, 40653, // 6344-6351
+33987, 25899, 23259, 33128, 41314, 39825, 32307, 23924, // 6352-6359
+25658, 36309, 42255, 37960, 29065, 22188, 27470, 39329, // 6360-6367
+42461, 35802, 25804, 22373, 30594, 41474, 42627, 33798, // 6368-6375
+23548, 22427, 34008, 43314, 40743, 30755, 21905, 24750, // 6376-6383
+36833, 44065, 39021, 27770, 21549, 27483, 39879, 44089, // 6384-6391
+36135, 25078, 21856, 30737, 41396, 42861, 33812, 23836, // 6392-6399
+23236, 33229, 42917, 41001, 31231, 22269, 24478, 36701, // 6400-6407
+43913, 39030, 28033, 21144, 26920, 39351, 43332, 37363, // 6408-6415
+26359, 21114, 29972, 41253, 42480, 34533, 24054, 22460, // 6416-6423
+33339, 42594, 40855, 31463, 22366, 24484, 36664, 42658, // 6424-6431
+38777, 28846, 21798, 27771, 38680, 42331, 36511, 26052, // 6432-6439
+22309, 31034, 40424, 41150, 33862, 24607, 23468, 33813, // 6440-6447
+41577, 39673, 31505, 23174, 26268, 36936, 42035, 37824, // 6448-6455
+28960, 23255, 28833, 38765, 41007, 35132, 26719, 23776, // 6456-6463
+31213, 39981, 40126, 33406, 25198, 25351, 34593, 41053, // 6464-6471
+38505, 31246, 25023, 27363, 36642, 40541, 36218, 29191, // 6472-6479
+24945, 29814, 38268, 39601, 34703, 27651, 25601, 32662, // 6480-6487
+39941, 38364, 32509, 26817, 27093, 35213, 40106, 36781, // 6488-6495
+30051, 25721, 29118, 37196, 39408, 34770, 28136, 25522, // 6496-6503
+31467, 38452, 38645, 33753, 27248, 26160, 33649, 39654, // 6504-6511
+37519, 31751, 25857, 26888, 35149, 39819, 36526, 29309, // 6512-6519
+25348, 29083, 36587, 39308, 35145, 28955, 26055, 30960, // 6520-6527
+38063, 38213, 33549, 28388, 26946, 31559, 37533, 37701, // 6528-6535
+32657, 27877, 27994, 33759, 38160, 36181, 31743, 27977, // 6536-6543
+28638, 34886, 38605, 35148, 30238, 27578, 29858, 36653, // 6544-6551
+38011, 33820, 29697, 27381, 31342, 38203, 38050, 32450, // 6552-6559
+27929, 27633, 33078, 38669, 37255, 31920, 26763, 27065, // 6560-6567
+35892, 40655, 36444, 29881, 25322, 28234, 37415, 41125, // 6568-6575
+36053, 28175, 23997, 30367, 39919, 40528, 33616, 26500, // 6576-6583
+24584, 31744, 41185, 39953, 32044, 24565, 24376, 34590, // 6584-6591
+41179, 38912, 30976, 23305, 26169, 37133, 42847, 37398, // 6592-6599
+27851, 23119, 28926, 39197, 42060, 35773, 25790, 22665, // 6600-6607
+31568, 41069, 41321, 33609, 24514, 24039, 33673, 41740, // 6608-6615
+40463, 31272, 22955, 25515, 36534, 42802, 37977, 28715, // 6616-6623
+23146, 28059, 38807, 42437, 36364, 26789, 23407, 30572, // 6624-6631
+39608, 41279, 34181, 26181, 24997, 32818, 40816, 39307, // 6632-6639
+32332, 25622, 26066, 34308, 39722, 37444, 30726, 25202, // 6640-6647
+27990, 36437, 39716, 35694, 29598, 25603, 29342, 36967, // 6648-6655
+38920, 34845, 29021, 26187, 30749, 37485, 38245, 33653, // 6656-6663
+28160, 27076, 32540, 37696, 37296, 33020, 27647, 27401, // 6664-6671
+33141, 37958, 36283, 32017, 27277, 27624, 34649, 37819, // 6672-6679
+35702, 31586, 27323, 29333, 36176, 38199, 35566, 30406, // 6680-6687
+26982, 30653, 37362, 37825, 34216, 28964, 26491, 33143, // 6688-6695
+38965, 37499, 32638, 27433, 26985, 34218, 39343, 36995, // 6696-6703
+31247, 26298, 27958, 35815, 39061, 35958, 29911, 26115, // 6704-6711
+30566, 37486, 38702, 34519, 28577, 26318, 32247, 37813, // 6712-6719
+37895, 33114, 27023, 27271, 33686, 38237, 37321, 31709, // 6720-6727
+26213, 28419, 35736, 38954, 36033, 30221, 25964, 29777, // 6728-6735
+37686, 39126, 34294, 28520, 26122, 31563, 38033, 38143, // 6736-6743
+33358, 27248, 26360, 33653, 39196, 37561, 32123, 25983, // 6744-6751
+27725, 36239, 39766, 36710, 29811, 24384, 29173, 37672, // 6752-6759
+39600, 35466, 27357, 24248, 31871, 39618, 40248, 33541, // 6760-6767
+25219, 24835, 33816, 40434, 38443, 32158, 25058, 26104, // 6768-6775
+35860, 41310, 37241, 30147, 24919, 28579, 37501, 40118, // 6776-6783
+35706, 28418, 24574, 30641, 39322, 39249, 33873, 26919, // 6784-6791
+25160, 33231, 40117, 38599, 32404, 25689, 25991, 34426, // 6792-6799
+40365, 37634, 30592, 25231, 27836, 36712, 40337, 35963, // 6800-6807
+28219, 24965, 30293, 38641, 39736, 33716, 27499, 25343, // 6808-6815
+31592, 39254, 38088, 32483, 26954, 26206, 34220, 39511, // 6816-6823
+36833, 31272, 26252, 27018, 36038, 40423, 35776, 29982, // 6824-6831
+25714, 29087, 37751, 39720, 34859, 29356, 25699, 30588, // 6832-6839
+38191, 38476, 34107, 28672, 26714, 32196, 38787, 37968, // 6840-6847
+32756, 27318, 26581, 33879, 39446, 37305, 32215, 26761, // 6848-6855
+27957, 35006, 38993, 37088, 30778, 26456, 28825, 35831, // 6856-6863
+38709, 36185, 30316, 25847, 30188, 37186, 38539, 34969, // 6864-6871
+28886, 26501, 31366, 37925, 38493, 33263, 27891, 26303, // 6872-6879
+33313, 38815, 37575, 32723, 26445, 27124, 34737, 39273, // 6880-6887
+36732, 31231, 25514, 28397, 36756, 39557, 36381, 29099, // 6888-6895
+24452, 29952, 37837, 39141, 34635, 27274, 24421, 32063, // 6896-6903
+39587, 39013, 33822, 25986, 25491, 33447, 39555, 38898, // 6904-6911
+32103, 25050, 26636, 34799, 39681, 37559, 30282, 24753, // 6912-6919
+28150, 36151, 39798, 36905, 29900, 25397, 29221, 36794, // 6920-6927
+39065, 35149, 29192, 26348, 30522, 36983, 38069, 34312, // 6928-6935
+28534, 26690, 31911, 37327, 36974, 33564, 28460, 27251, // 6936-6943
+32707, 37003, 36947, 32966, 28653, 28528, 33958, 36937, // 6944-6951
+35965, 33057, 27980, 29324, 35488, 36688, 35338, 31882, // 6952-6959
+28118, 30323, 35198, 36938, 34817, 31090, 28661, 32108, // 6960-6967
+36187, 36044, 34256, 30280, 28505, 33156, 36274, 35593, // 6968-6975
+33736, 29716, 28900, 33730, 36379, 34645, 32120, 29317, // 6976-6983
+30879, 35820, 36668, 34166, 31034, 27778, 31474, 36659, // 6984-6991
+36216, 33577, 28913, 27922, 33622, 38157, 35927, 32016, // 6992-6999
+27562, 28245, 35814, 38252, 35077, 29931, 26297, 30278, // 7000-7007
+37299, 38476, 33801, 27567, 25846, 32397, 39432, 38384, // 7008-7015
+31637, 25204, 26127, 34969, 40600, 36801, 29867, 24799, // 7016-7023
+28193, 38063, 40330, 35140, 27985, 24206, 30579, 39575, // 7024-7031
+39760, 33561, 26117, 24177, 32963, 41234, 39079, 31424, // 7032-7039
+24217, 25352, 35884, 41217, 37764, 30143, 24429, 28492, // 7040-7047
+37488, 40887, 36061, 27690, 24656, 30935, 39304, 40593, // 7048-7055
+33636, 26693, 25716, 32573, 39789, 39198, 32699, 26556, // 7056-7063
+27144, 34310, 40007, 37801, 30964, 26440, 28353, 35218, // 7064-7071
+39868, 36298, 30085, 27086, 29247, 36438, 38736, 34141, // 7072-7079
+29727, 27438, 30958, 36954, 37959, 34139, 29373, 27651, // 7080-7087
+31556, 37308, 37321, 33243, 29613, 29002, 32716, 36492, // 7088-7095
+35429, 32472, 29714, 29081, 33390, 36687, 35291, 31997, // 7096-7103
+29319, 29295, 33523, 37167, 34711, 31783, 29017, 29180, // 7104-7111
+34996, 36440, 34126, 31165, 27929, 30015, 35834, 36982, // 7112-7119
+34204, 30106, 27306, 31457, 36816, 36747, 33525, 28572, // 7120-7127
+26894, 33339, 38371, 36545, 31714, 26963, 27730, 35229, // 7128-7135
+39493, 36491, 29607, 25552, 29222, 36703, 40240, 34839, // 7136-7143
+28088, 24901, 30612, 39827, 39987, 33445, 26255, 25401, // 7144-7151
+32855, 39803, 38845, 32151, 25598, 26633, 35437, 40704, // 7152-7159
+37005, 30547, 24955, 27787, 36955, 40151, 36237, 28658, // 7160-7167
+24848, 30335, 38153, 39262, 34474, 28105, 26512, 32325, // 7168-7175
+38741, 38366, 32303, 27191, 28114, 34058, 38325, 36442, // 7176-7183
+31504, 27385, 29343, 35614, 38154, 35151, 30458, 28887, // 7184-7191
+31314, 36329, 36950, 33645, 30159, 28637, 33010, 36365, // 7192-7199
+35082, 32633, 29817, 29903, 34150, 36529, 34587, 31372, // 7200-7207
+29241, 30592, 34687, 36613, 34254, 30921, 29400, 31328, // 7208-7215
+35392, 36334, 33376, 30385, 29525, 31697, 35776, 36497, // 7216-7223
+32593, 29648, 28751, 31910, 37429, 35889, 31950, 28711, // 7224-7231
+27493, 32931, 37309, 35837, 31890, 27561, 28149, 34997, // 7232-7239
+38390, 35144, 30786, 26653, 28715, 36700, 38345, 35509, // 7240-7247
+29972, 26397, 30456, 36832, 38544, 35063, 29238, 26401, // 7248-7255
+32087, 38170, 37670, 33189, 28793, 27402, 32470, 37951, // 7256-7263
+37082, 32496, 28501, 28183, 33049, 37753, 36323, 31805, // 7264-7271
+28355, 28691, 33706, 37795, 36075, 31498, 27599, 28901, // 7272-7279
+34699, 37715, 35461, 31142, 28051, 29823, 35986, 37192, // 7280-7287
+34255, 30686, 27964, 31432, 36586, 37244, 33999, 29542, // 7288-7295
+27880, 32750, 37222, 36499, 32930, 28282, 28200, 34286, // 7296-7303
+38140, 35929, 31749, 28090, 29196, 35224, 38371, 35770, // 7304-7311
+30791, 26803, 29666, 36350, 38309, 35118, 29436, 26972, // 7312-7319
+31382, 37160, 37918, 33821, 28726, 27149, 31895, 37302, // 7320-7327
+37627, 33522, 28018, 27486, 32908, 37248, 37143, 32682, // 7328-7335
+27877, 28846, 33958, 36945, 35998, 31913, 28141, 29228, // 7336-7343
+33505, 36929, 35823, 31886, 28555, 29974, 34015, 35909, // 7344-7351
+34980, 32208, 29726, 29968, 34076, 35371, 34263, 31780, // 7352-7359
+29203, 31321, 34249, 34995, 34880, 31546, 29121, 31995, // 7360-7367
+34615, 35207, 34035, 31087, 29818, 32322, 34703, 35268, // 7368-7375
+32899, 30380, 29855, 32529, 35510, 35656, 33243, 29488, // 7376-7383
+30107, 33252, 35806, 34869, 32612, 29772, 30828, 34476, // 7384-7391
+35504, 34643, 31042, 29623, 32172, 35082, 35507, 33397, // 7392-7399
+29978, 29752, 32448, 35343, 35343, 32587, 30007, 30416, // 7400-7407
+33560, 35641, 34916, 31758, 29409, 30872, 33929, 35406, // 7408-7415
+34717, 31502, 29798, 31402, 34635, 35223, 33112, 31085, // 7416-7423
+30285, 32537, 35526, 34958, 32691, 31020, 30647, 33337, // 7424-7431
+35101, 34179, 32556, 30536, 30726, 34099, 34907, 33603, // 7432-7439
+32093, 30531, 32437, 35141, 34171, 33777, 32075, 29974, // 7440-7447
+32569, 34989, 34686, 32836, 31007, 30507, 33210, 34600, // 7448-7455
+34326, 32768, 30187, 30478, 33654, 34957, 33764, 32289, // 7456-7463
+30393, 31574, 33734, 34513, 33856, 32124, 30609, 31759, // 7464-7471
+34251, 34838, 33642, 31449, 29598, 31331, 34695, 34774, // 7472-7479
+33221, 31618, 29988, 32291, 34999, 34103, 33017, 30530, // 7480-7487
+30180, 32974, 34968, 34127, 31944, 30261, 30854, 34217, // 7488-7495
+35829, 34120, 30966, 29379, 31395, 36108, 36761, 33397, // 7496-7503
+29822, 28135, 32474, 37352, 36714, 32809, 29337, 27958, // 7504-7511
+32826, 39042, 36769, 31481, 27243, 28162, 35447, 39179, // 7512-7519
+36231, 30524, 25494, 28233, 37397, 40365, 35300, 28238, // 7520-7527
+25185, 30700, 38978, 39605, 33921, 26408, 25039, 33573, // 7528-7535
+39973, 38904, 32963, 24907, 25830, 36055, 41120, 38133, // 7536-7543
+29649, 23142, 28023, 37642, 41080, 36321, 26839, 23367, // 7544-7551
+30491, 39366, 40370, 33995, 25863, 24801, 33576, 40508, // 7552-7559
+39846, 32119, 24487, 26612, 35936, 40593, 37702, 29843, // 7560-7567
+24123, 29154, 38175, 40327, 35440, 27921, 24142, 31449, // 7568-7575
+39675, 39745, 33722, 26506, 25595, 33375, 40314, 38416, // 7576-7583
+30879, 25266, 28050, 36242, 40181, 35141, 29056, 26253, // 7584-7591
+30097, 37522, 38951, 33846, 27970, 26457, 32015, 39214, // 7592-7599
+38273, 32341, 26934, 27622, 34289, 39583, 36794, 30639, // 7600-7607
+26010, 27611, 36839, 39800, 35104, 29459, 25763, 29636, // 7608-7615
+37875, 39062, 33880, 27197, 26432, 32061, 38139, 38731, // 7616-7623
+32916, 27024, 26650, 33737, 39147, 37732, 31583, 26556, // 7624-7631
+28413, 35296, 39018, 36026, 30257, 26602, 28845, 35850, // 7632-7639
+38492, 34826, 29423, 26749, 30387, 37067, 38314, 33798, // 7640-7647
+29218, 27114, 32138, 38010, 37463, 32710, 28424, 27256, // 7648-7655
+32318, 38645, 37021, 31527, 27543, 28132, 34269, 38639, // 7656-7663
+35616, 30396, 27468, 28544, 35782, 39012, 34407, 29271, // 7664-7671
+26061, 30233, 38013, 38910, 33544, 28325, 26740, 32595, // 7672-7679
+39403, 38246, 32858, 27191, 26342, 33618, 40803, 38701, // 7680-7687
+31390, 25873, 27744, 35862, 40872, 37853, 29560, 24997, // 7688-7695
+28073, 36414, 41170, 36666, 28817, 24976, 29436, 38096, // 7696-7703
+40626, 35408, 28074, 25534, 31238, 38645, 39599, 33951, // 7704-7711
+27131, 25436, 32644, 39307, 38459, 32350, 26927, 27361, // 7712-7719
+33638, 39081, 37693, 31748, 26252, 27908, 34325, 38445, // 7720-7727
+36242, 30610, 27326, 28502, 34324, 37748, 35594, 30867, // 7728-7735
+27452, 30174, 35669, 37317, 34326, 30555, 28467, 31233, // 7736-7743
+36024, 36727, 33776, 30262, 29080, 32424, 36301, 35588, // 7744-7751
+33525, 30510, 28462, 32317, 36168, 34755, 32867, 29478, // 7752-7759
+29371, 33662, 35389, 34592, 32673, 29756, 29626, 34160, // 7760-7767
+35657, 34330, 32056, 29318, 31244, 35168, 35048, 33514, // 7768-7775
+31475, 30072, 32214, 35473, 34376, 32498, 30775, 29351, // 7776-7783
+32609, 35199, 34379, 31932, 30170, 30545, 34360, 35357, // 7784-7791
+34097, 32116, 29401, 30630, 34456, 36172, 34355, 31279, // 7792-7799
+29569, 31704, 34843, 35868, 34095, 31675, 29426, 32153, // 7800-7807
+36335, 35781, 33643, 30745, 29448, 32546, 35621, 35407, // 7808-7815
+32901, 29525, 29452, 33638, 36099, 34636, 32947, 29596, // 7816-7823
+29977, 33578, 35716, 34683, 31754, 30729, 31725, 34678, // 7824-7831
+35201, 33809, 31644, 30623, 31874, 34744, 35221, 33042, // 7832-7839
+31581, 30505, 32996, 35017, 33903, 32528, 30471, 30520, // 7840-7847
+34075, 35848, 33574, 31448, 29878, 29881, 34474, 35426, // 7848-7855
+33285, 31457, 29335, 32216, 35655, 35239, 31990, 29978, // 7856-7863
+30199, 32937, 36590, 35620, 31953, 29066, 29456, 33794, // 7864-7871
+37112, 34938, 31612, 29224, 29605, 34261, 37404, 34479, // 7872-7879
+29927, 29065, 30893, 34847, 36718, 33579, 30355, 29042, // 7880-7887
+31080, 35860, 36964, 34181, 29989, 28680, 31501, 36043, // 7888-7895
+37417, 33991, 30191, 28065, 31513, 37178, 37119, 33102, // 7896-7903
+29457, 28122, 32228, 37935, 36587, 31922, 28191, 27630, // 7904-7911
+33646, 38443, 36603, 31586, 27542, 28395, 36679, 40076, // 7912-7919
+34949, 29851, 26311, 30140, 38155, 38976, 33706, 28732, // 7920-7927
+26531, 31808, 38924, 38135, 32333, 27207, 27261, 34193, // 7928-7935
+38836, 36662, 30716, 25588, 28385, 36084, 38970, 35622, // 7936-7943
+29991, 26678, 29609, 36044, 38882, 34417, 28845, 27590, // 7944-7951
+31310, 36952, 37693, 32678, 28335, 27929, 32804, 38046, // 7952-7959
+36213, 32096, 28821, 28483, 33643, 37531, 35034, 30855, // 7960-7967
+28873, 30526, 35084, 36449, 33325, 29964, 29550, 32175, // 7968-7975
+36037, 36339, 32728, 30161, 29948, 32763, 36062, 35871, // 7976-7983
+31746, 29489, 30748, 33741, 36965, 34527, 30727, 30410, // 7984-7991
+30593, 34156, 36895, 33911, 31038, 30433, 30868, 34525, // 7992-7999
+36477, 33183, 31349, 30214, 31949, 35607, 35760, 32304, // 8000-8007
+30454, 30641, 32082, 35316, 34928, 31852, 30394, 30875, // 8008-8015
+33144, 35456, 33873, 31568, 31054, 32079, 33450, 35223, // 8016-8023
+33355, 31144, 31394, 32458, 35070, 34922, 32508, 31244, // 8024-8031
+32013, 32022, 34384, 34658, 31358, 31161, 31915, 32579, // 8032-8039
+34857, 34555, 31510, 31329, 31785, 32885, 35299, 33939, // 8040-8047
+31127, 31606, 32389, 33678, 35457, 33160, 30275, 31198, // 8048-8055
+32508, 34208, 35079, 32376, 30430, 31249, 32362, 33791, // 8056-8063
+34735, 31936, 30089, 31769, 33602, 35177, 33771, 30741, // 8064-8071
+30151, 32159, 33471, 35103, 34122, 30238, 31469, 32846, // 8072-8079
+33334, 34686, 33367, 31491, 32235, 32623, 33525, 34790, // 8080-8087
+32621, 31420, 31636, 31866, 33634, 34079, 32034, 31562, // 8088-8095
+32035, 32835, 34331, 33973, 32076, 31285, 32093, 33438, // 8096-8103
+34120, 34338, 33225, 32191, 32921, 33161, 33654, 33433, // 8104-8111
+32411, 32482, 32903, 32442, 33259, 33686, 32213, 32608, // 8112-8119
+32499, 31836, 33341, 33357, 32476, 32998, 31770, 31541, // 8120-8127
+34539, 34222, 32811, 32294, 30980, 32705, 35340, 34616, // 8128-8135
+32425, 30819, 30058, 33186, 35611, 34820, 32243, 29220, // 8136-8143
+30393, 34604, 36368, 34195, 30274, 28651, 31578, 35600, // 8144-8151
+36482, 33082, 29293, 28636, 32193, 35479, 35542, 33008, // 8152-8159
+29591, 29227, 32387, 35235, 34936, 32689, 30130, 30307, // 8160-8167
+32572, 34607, 34474, 32059, 30372, 30538, 33014, 34619, // 8168-8175
+34364, 32480, 30713, 31513, 33431, 34748, 34087, 32421, // 8176-8183
+31457, 32103, 32738, 33460, 33923, 33093, 31089, 30900, // 8184-8191
+32975, 34349, 34518, 33714, 32205, 31788, 32568, 33621, // 8192-8199
+34832, 34541, 32871, 31435, 32147, 33385, 34987, 34438, // 8200-8207
+31534, 30691, 32649, 35050, 35604, 34051, 31185, 30866, // 8208-8215
+32804, 34953, 35213, 32391, 29627, 30560, 33582, 35364, // 8216-8223
+35296, 32172, 29076, 31034, 33860, 35187, 34163, 30828, // 8224-8231
+30532, 32401, 33157, 33522, 33124, 30563, 30965, 33677, // 8232-8239
+33643, 33753, 32497, 30790, 32199, 33554, 33837, 33311, // 8240-8247
+32261, 31132, 32490, 33889, 32754, 31746, 31418, 31867, // 8248-8255
+33421, 33588, 32157, 32060, 31856, 32660, 34418, 33839, // 8256-8263
+31729, 31508, 31750, 33619, 35431, 33186, 31135, 31046, // 8264-8271
+31771, 34374, 35538, 32821, 31185, 30701, 32212, 35240, // 8272-8279
+35397, 32433, 30030, 30688, 33354, 36229, 35177, 31668, // 8280-8287
+30020, 30663, 33842, 36938, 35274, 30884, 29526, 31421, // 8288-8295
+34860, 37165, 34611, 29801, 28929, 31376, 35357, 37488, // 8296-8303
+33516, 29356, 28858, 31468, 36032, 36787, 32525, 29177, // 8304-8311
+29362, 32309, 36605, 36595, 32263, 29296, 29290, 32634, // 8312-8319
+37060, 36278, 31661, 29001, 29602, 33723, 37272, 34971, // 8320-8327
+30415, 28568, 30214, 34995, 37692, 34491, 29815, 28695, // 8328-8335
+30650, 35206, 37602, 33861, 29701, 28595, 31376, 36040, // 8336-8343
+36910, 33117, 29839, 29325, 31932, 35927, 35940, 32590, // 8344-8351
+30321, 30014, 32521, 35950, 35626, 32673, 30259, 30377, // 8352-8359
+32995, 36230, 35271, 32176, 30496, 30578, 33550, 35911, // 8360-8367
+34522, 31740, 30273, 30408, 33747, 36063, 34262, 31199, // 8368-8375
+29802, 30847, 34280, 35502, 33644, 31785, 30647, 32162, // 8376-8383
+35016, 35408, 32690, 31184, 31496, 32925, 34871, 34768, // 8384-8391
+32227, 31547, 32116, 32991, 35077, 34024, 31628, 31405, // 8392-8399
+31703, 33128, 34909, 33173, 31331, 31197, 31165, 33807, // 8400-8407
+34846, 32580, 31408, 30635, 31409, 34927, 34816, 31950, // 8408-8415
+30672, 30112, 32815, 35921, 34939, 31875, 30194, 30248, // 8416-8423
+33735, 36001, 33787, 30358, 29345, 31495, 34362, 36137, // 8424-8431
+33644, 29931, 28993, 31689, 35229, 35717, 32328, 29433, // 8432-8439
+30003, 32791, 35229, 35182, 31965, 29161, 30265, 33662, // 8440-8447
+35766, 34385, 31875, 30053, 31101, 34287, 36265, 34143, // 8448-8455
+31146, 31168, 32310, 34753, 35629, 34069, 31890, 31740, // 8456-8463
+33241, 34878, 35046, 32634, 31623, 32742, 34641, 34621, // 8464-8471
+33530, 31530, 31249, 33142, 34099, 33594, 32211, 31675, // 8472-8479
+32922, 34271, 33658, 32709, 32428, 33040, 33582, 34041, // 8480-8487
+32628, 31602, 31346, 32614, 34234, 32886, 31370, 30854, // 8488-8495
+31868, 32954, 34221, 32483, 30867, 32095, 32410, 33744, // 8496-8503
+33456, 31426, 31824, 32874, 33355, 34242, 33284, 31344, // 8504-8511
+31879, 32966, 33563, 33427, 31609, 31348, 32068, 33115, // 8512-8519
+34028, 33054, 32026, 31849, 32780, 33729, 33526, 32464, // 8520-8527
+31870, 31612, 32990, 34111, 33234, 32174, 31014, 31718, // 8528-8535
+34043, 34833, 33660, 32286, 30963, 31690, 34171, 34731, // 8536-8543
+33359, 31904, 30775, 32234, 34748, 34644, 32566, 31081, // 8544-8551
+30932, 32896, 34474, 33168, 32194, 31057, 31221, 33215, // 8552-8559
+34090, 33468, 31930, 30197, 31552, 34462, 34697, 33504, // 8560-8567
+31888, 30553, 32160, 34193, 33949, 33321, 31599, 30871, // 8568-8575
+33255, 34570, 33873, 32892, 31386, 31114, 33297, 34441, // 8576-8583
+33378, 32766, 31324, 31686, 33901, 33990, 32912, 32370, // 8584-8591
+31779, 32213, 33632, 33377, 32520, 32504, 32928, 33181, // 8592-8599
+33321, 33013, 32251, 32674, 34086, 33784, 33001, 31904, // 8600-8607
+32462, 34016, 33358, 32527, 32345, 32078, 33361, 34635, // 8608-8615
+32945, 32033, 31962, 31877, 33933, 34215, 32217, 32235, // 8616-8623
+31837, 31849, 33693, 33508, 32041, 33161, 32928, 32224, // 8624-8631
+33351, 31757, 31918, 34407, 34022, 32825, 32266, 30699, // 8632-8639
+32223, 35089, 33458, 31512, 30544, 30846, 33872, 35848, // 8640-8647
+34153, 30990, 29567, 30929, 35053, 37002, 33292, 29753, // 8648-8655
+29882, 32354, 35935, 35951, 32269, 29570, 29976, 33326, // 8656-8663
+36869, 35770, 31689, 29719, 30093, 33970, 37336, 34943, // 8664-8671
+30432, 29353, 31153, 34495, 36906, 34081, 29982, 28755, // 8672-8679
+30920, 35607, 37155, 32962, 29330, 29066, 31117, 35727, // 8680-8687
+36615, 32110, 29247, 29381, 32242, 37139, 36434, 31899, // 8688-8695
+29619, 28964, 32809, 37796, 35845, 31269, 28860, 28997, // 8696-8703
+34163, 37773, 35302, 30846, 27787, 29680, 35406, 38156, // 8704-8711
+34564, 29342, 28328, 31199, 36127, 38041, 33877, 28928, // 8712-8719
+28655, 32427, 36478, 37096, 32616, 29632, 30119, 32754, // 8720-8727
+36394, 35907, 32554, 30154, 30469, 33764, 36141, 34985, // 8728-8735
+32598, 30921, 30746, 33715, 35687, 33470, 31525, 30635, // 8736-8743
+31720, 34513, 34775, 32946, 31405, 30854, 31973, 34898, // 8744-8751
+34917, 32186, 31200, 31310, 32420, 34254, 33937, 31581, // 8752-8759
+31033, 31601, 33247, 35170, 33631, 31030, 31164, 31966, // 8760-8767
+32816, 34885, 33195, 30526, 30990, 32244, 34346, 35202, // 8768-8775
+31987, 30116, 31708, 32639, 35092, 34866, 31236, 30599, // 8776-8783
+31616, 33337, 35795, 34410, 30974, 30620, 31398, 33622, // 8784-8791
+36358, 34331, 30553, 30370, 32027, 34731, 36426, 33432, // 8792-8799
+29883, 30413, 32133, 34336, 35789, 32521, 29763, 31537, // 8800-8807
+33037, 34738, 35663, 31499, 29553, 31676, 33225, 34832, // 8808-8815
+34336, 31187, 30914, 33376, 33351, 34298, 33937, 31446, // 8816-8823
+32173, 33091, 33220, 33916, 32760, 30784, 32142, 33485, // 8824-8831
+33732, 34162, 32645, 31298, 32658, 33075, 33510, 34183, // 8832-8839
+32287, 31195, 33310, 33306, 33248, 34538, 32036, 31593, // 8840-8847
+32702, 32651, 33976, 34600, 31872, 31343, 32013, 31945, // 8848-8855
+34102, 34015, 31569, 31225, 31811, 32281, 34979, 34500, // 8856-8863
+31324, 30603, 31084, 32931, 35864, 34550, 30764, 29833, // 8864-8871
+30415, 33625, 36945, 34640, 30153, 29030, 30997, 35495, // 8872-8879
+37250, 33802, 30134, 29053, 31577, 36359, 37095, 32870, // 8880-8887
+29837, 29011, 31571, 36662, 37220, 31953, 28759, 30129, // 8888-8895
+32777, 36634, 36215, 31541, 29541, 30647, 34063, 36749, // 8896-8903
+34958, 30899, 30673, 31415, 33185, 36313, 34024, 30784, // 8904-8911
+31107, 31839, 33264, 35275, 33499, 31390, 30998, 31159, // 8912-8919
+33756, 35206, 32472, 31493, 32181, 31182, 33030, 34762, // 8920-8927
+33509, 32620, 31711, 31333, 33343, 34098, 32813, 32922, // 8928-8935
+31759, 31298, 34220, 34222, 32754, 32815, 31162, 31383, // 8936-8943
+34139, 34304, 33251, 32190, 30444, 32397, 35547, 34038, // 8944-8951
+32461, 31594, 30322, 32827, 35255, 33798, 32481, 30875, // 8952-8959
+30493, 33668, 35349, 33131, 31803, 31238, 31511, 35142, // 8960-8967
+35790, 32578, 30505, 30352, 32426, 35873, 34892, 31031, // 8968-8975
+30457, 31252, 33433, 35980, 33781, 30679, 30820, 32186, // 8976-8983
+34764, 35988, 32802, 30136, 30975, 32304, 34506, 35395, // 8984-8991
+32354, 30265, 31738, 33256, 34538, 34390, 31433, 30644, // 8992-8999
+32204, 33088, 34737, 34215, 30865, 30552, 31811, 32362, // 9000-9007
+35188, 35232, 31267, 30978, 31659, 32869, 35497, 33896, // 9008-9015
+30871, 31252, 31588, 33349, 36177, 33492, 30781, 30650, // 9016-9023
+31053, 34747, 36538, 32941, 30717, 30305, 31785, 35839, // 9024-9031
+36262, 32528, 30249, 30065, 32760, 37003, 35499, 31395, // 9032-9039
+29340, 30069, 33319, 37132, 35629, 30720, 29528, 30286, // 9040-9047
+34206, 37313, 34714, 30458, 29291, 30833, 34808, 37685, // 9048-9055
+33833, 29133, 29160, 31859, 36253, 37736, 32695, 28750, // 9056-9063
+29259, 32169, 36424, 36857, 32016, 29021, 29894, 32771, // 9064-9071
+37059, 36366, 31108, 28972, 30469, 33918, 37639, 35208, // 9072-9079
+30248, 29276, 30772, 34163, 37195, 34374, 29733, 29873, // 9080-9087
+31390, 34697, 36699, 33331, 29465, 29393, 31734, 35542, // 9088-9095
+36720, 32528, 29841, 30499, 31970, 35338, 36091, 32168, // 9096-9103
+30375, 30831, 32566, 35498, 35414, 31596, 29708, 30537, // 9104-9111
+33247, 36769, 35269, 30916, 29373, 30930, 34416, 36823, // 9112-9119
+33728, 29746, 29858, 32167, 35473, 36448, 32549, 29260, // 9120-9127
+29936, 32714, 36095, 36184, 31782, 28999, 30382, 33085, // 9128-9135
+36447, 35172, 30614, 29421, 31110, 34515, 36804, 34030, // 9136-9143
+29765, 29529, 31664, 34895, 36887, 33904, 29512, 29771, // 9144-9151
+32672, 35797, 36999, 32492, 28665, 30475, 33054, 35975, // 9152-9159
+36933, 31924, 28708, 30963, 33399, 36304, 36078, 30789, // 9160-9167
+28876, 30815, 33916, 37453, 35314, 29615, 28718, 31213, // 9168-9175
+34869, 37981, 35040, 29035, 27905, 31221, 35902, 37446, // 9176-9183
+33385, 29425, 29521, 32273, 35673, 36705, 32402, 29240, // 9184-9191
+30254, 33104, 36852, 36478, 31628, 28559, 29938, 33175, // 9192-9199
+36958, 36471, 30850, 27946, 30061, 33878, 37935, 36377, // 9200-9207
+29749, 27796, 29979, 34152, 38063, 35305, 29716, 28462, // 9208-9215
+30097, 34672, 38633, 35238, 29122, 27609, 30682, 36871, // 9216-9223
+39486, 33485, 28070, 27580, 30972, 37839, 39474, 32529, // 9224-9231
+26901, 27794, 32337, 38904, 38947, 30635, 26092, 27924, // 9232-9239
+33729, 40355, 37921, 29142, 25704, 28570, 35894, 40841, // 9240-9247
+35820, 27777, 25262, 29329, 38157, 41202, 34044, 26336, // 9248-9255
+24846, 30692, 39315, 41077, 33285, 25628, 25551, 32729, // 9256-9263
+40868, 40089, 30728, 23814, 26688, 35049, 41556, 39065, // 9264-9271
+28039, 24391, 30040, 36922, 41256, 36233, 27024, 25891, // 9272-9279
+31234, 37642, 40925, 34594, 27289, 27462, 31820, 37809, // 9280-9287
+40319, 33453, 26882, 28001, 32726, 38791, 38173, 31377, // 9288-9295
+27475, 28594, 33060, 38281, 36952, 29942, 27514, 30172, // 9296-9303
+34931, 39306, 35673, 28923, 27738, 30711, 35739, 38723, // 9304-9311
+34015, 27564, 28384, 31960, 37134, 38368, 31998, 26900, // 9312-9319
+27983, 33156, 38633, 38059, 30100, 26016, 28781, 34012, // 9320-9327
+39183, 36967, 28662, 25464, 29468, 36454, 40231, 35221, // 9328-9335
+26453, 24953, 30911, 38846, 41309, 33281, 25190, 25741, // 9336-9343
+33134, 41020, 40979, 31347, 23354, 25778, 35064, 42967, // 9344-9351
+40434, 28606, 21926, 27103, 37681, 44063, 38630, 26102, // 9352-9359
+21330, 29287, 39879, 44233, 35805, 23664, 22916, 31795, // 9360-9367
+42006, 43530, 33183, 22476, 23970, 33342, 42386, 42249, // 9368-9375
+31117, 22676, 25164, 34291, 42138, 40075, 29381, 23059, // 9376-9383
+26744, 35477, 42141, 39101, 28584, 24326, 28855, 36747, // 9384-9391
+41845, 37290, 27624, 24980, 29965, 36859, 40432, 34752, // 9392-9399
+26619, 26475, 30877, 36338, 39256, 34089, 28053, 28388, // 9400-9407
+31484, 35713, 38583, 33658, 29097, 29404, 30450, 35148, // 9408-9415
+37877, 33391, 29290, 28616, 30524, 36040, 38125, 32830, // 9416-9423
+29351, 28505, 30877, 37785, 38485, 32622, 28518, 28011, // 9424-9431
+31907, 38510, 37732, 31736, 28053, 27502, 33521, 40409, // 9432-9439
+37153, 29884, 27078, 27962, 35182, 41009, 36012, 28533, // 9440-9447
+26334, 29098, 37193, 40926, 34135, 27975, 26999, 30893, // 9448-9455
+39020, 40141, 31601, 25780, 27463, 33579, 40079, 38168, // 9456-9463
+29642, 26223, 27903, 34214, 40507, 36541, 28129, 25636, // 9464-9471
+28911, 35482, 40803, 35584, 27755, 26849, 30503, 37359, // 9472-9479
+40271, 33766, 26797, 27445, 31524, 38278, 40064, 32338, // 9480-9487
+27129, 28372, 33077, 39298, 38472, 30751, 27236, 29018, // 9488-9495
+33064, 38903, 37439, 29714, 27185, 29006, 34635, 40007, // 9496-9503
+37108, 30207, 27844, 29306, 34720, 40028, 36165, 29220, // 9504-9511
+27613, 29613, 36030, 40459, 35052, 28118, 26961, 30753, // 9512-9519
+38469, 41217, 33228, 26494, 26463, 31450, 39476, 40486, // 9520-9527
+31384, 25222, 26437, 33298, 41778, 39574, 29028, 23300, // 9528-9535
+26221, 35617, 43077, 37741, 26703, 22390, 27863, 38482, // 9536-9543
+43327, 35818, 24678, 22433, 30340, 40922, 42983, 32901, // 9544-9551
+22534, 23317, 32999, 43068, 42388, 30021, 21280, 24736, // 9552-9559
+34978, 43657, 40463, 27917, 21956, 26613, 37077, 43922, // 9560-9567
+37815, 25805, 22315, 28347, 38923, 44396, 36528, 25878, // 9568-9575
+23438, 29952, 40553, 43591, 34300, 25427, 25252, 31800, // 9576-9583
+41263, 42319, 32437, 24892, 26028, 33668, 41334, 39711, // 9584-9591
+30919, 25501, 27324, 33894, 40115, 38176, 30361, 26216, // 9592-9599
+27911, 34215, 39631, 36677, 30010, 26732, 27772, 34611, // 9600-9607
+40227, 36664, 29819, 27060, 28778, 35314, 39858, 35522, // 9608-9615
+29437, 26487, 28713, 36523, 39775, 34683, 28869, 26277, // 9616-9623
+29218, 37130, 39713, 33701, 28161, 26832, 30844, 38097, // 9624-9631
+38588, 32783, 28021, 26916, 32092, 39334, 38314, 31780, // 9632-9639
+27756, 27028, 33136, 40300, 37769, 31407, 27670, 27775, // 9640-9647
+35440, 40763, 36265, 30188, 26485, 28608, 37414, 40677, // 9648-9655
+34655, 28791, 25995, 29499, 38400, 40195, 33511, 27631, // 9656-9663
+25915, 31281, 39395, 39026, 31493, 26338, 26358, 33323, // 9664-9671
+40519, 37904, 30196, 25891, 27718, 35224, 41065, 36298, // 9672-9679
+29032, 25649, 28302, 37542, 41312, 35231, 27826, 25063, // 9680-9687
+29861, 39083, 41065, 33744, 27385, 25814, 31666, 40670, // 9688-9695
+39477, 31078, 25529, 26403, 33619, 41161, 38634, 29624, // 9696-9703
+25475, 28199, 35945, 41713, 36442, 27199, 24716, 29285, // 9704-9711
+38102, 41521, 34468, 26090, 25105, 31321, 39862, 40800, // 9712-9719
+33033, 26200, 25901, 32341, 40365, 39385, 31043, 25309, // 9720-9727
+26346, 34242, 40681, 37753, 29559, 25315, 27569, 35303, // 9728-9735
+40476, 35756, 27836, 26007, 30036, 37124, 40603, 34386, // 9736-9743
+27550, 26475, 30329, 37730, 40330, 33745, 27984, 27284, // 9744-9751
+30904, 38224, 39160, 32227, 27323, 27028, 32335, 39719, // 9752-9759
+38398, 31591, 27831, 27402, 32921, 39778, 37546, 31368, // 9760-9767
+27469, 27972, 35036, 40243, 36702, 30302, 26570, 28509, // 9768-9775
+36492, 40668, 35346, 28998, 27535, 30525, 37327, 38989, // 9776-9783
+33255, 28413, 27619, 32033, 38498, 38013, 31534, 27790, // 9784-9791
+28061, 32958, 39059, 37240, 30852, 27308, 28030, 34268, // 9792-9799
+39298, 36229, 30485, 27520, 28235, 34559, 39503, 35305, // 9800-9807
+29707, 28109, 30114, 36159, 38512, 33511, 29052, 28276, // 9808-9815
+31187, 37778, 38102, 31596, 28587, 28136, 31986, 38749, // 9816-9823
+37140, 30905, 28471, 28626, 33628, 39087, 35884, 30411, // 9824-9831
+28166, 28873, 35123, 39454, 34991, 29583, 28159, 30360, // 9832-9839
+36194, 38470, 32938, 28588, 28679, 31565, 37191, 37471, // 9840-9847
+31379, 28572, 29374, 31883, 36732, 36529, 30837, 28662, // 9848-9855
+29431, 32597, 37593, 35725, 30515, 29091, 29814, 33548, // 9856-9863
+38156, 35088, 30108, 29453, 29785, 34131, 37442, 34125, // 9864-9871
+30753, 30455, 31084, 35284, 37685, 33392, 30861, 30850, // 9872-9879
+31374, 35778, 37484, 32548, 29520, 29476, 31102, 35997, // 9880-9887
+36876, 32137, 30206, 29645, 31272, 36549, 36521, 32599, // 9888-9895
+30755, 29591, 31782, 37059, 36753, 32716, 30234, 29234, // 9896-9903
+32434, 37452, 36222, 32257, 30243, 29058, 32603, 37134, // 9904-9911
+35540, 31851, 30116, 28662, 32416, 37308, 35472, 32399, // 9912-9919
+30120, 28561, 32750, 36866, 34841, 32745, 29742, 27561, // 9920-9927
+32155, 36341, 35066, 33315, 30034, 28607, 33203, 36715, // 9928-9935
+36087, 34098, 29541, 28200, 33716, 36681, 35509, 32362, // 9936-9943
+28105, 28317, 33975, 37055, 35725, 32227, 27372, 28427, // 9944-9951
+34762, 37187, 35791, 31805, 27118, 28858, 35557, 38272, // 9952-9959
+35616, 30594, 26752, 30011, 36513, 37946, 35159, 30691, // 9960-9967
+26901, 30679, 37702, 38324, 34387, 29509, 26780, 31115, // 9968-9975
+37396, 37707, 34147, 28686, 27049, 32623, 37808, 37222, // 9976-9983
+33153, 28599, 27892, 33105, 37717, 36900, 32674, 28504, // 9984-9991
+28545, 33767, 37184, 36327, 33057, 28526, 28295, 34202, // 9992-9999
+37591, 35999, 32129, 27650, 28512, 34122, 37202, 36056, // 10000-10007
+31727, 27277, 29241, 34723, 36892, 34659, 30268, 26842, // 10008-10015
+30008, 35927, 37150, 34517, 30128, 27501, 31283, 37164, // 10016-10023
+37208, 33477, 28717, 27286, 32606, 37945, 36734, 32676, // 10024-10031
+28174, 27790, 33817, 38501, 36660, 31526, 27428, 28749, // 10032-10039
+35569, 38337, 35079, 30223, 27369, 30220, 37129, 38773, // 10040-10047
+34386, 30022, 28249, 31735, 37398, 37598, 33124, 29475, // 10048-10055
+28477, 32378, 37695, 36771, 32478, 29584, 28788, 32654, // 10056-10063
+37488, 36300, 31491, 28817, 28671, 33688, 38402, 35897, // 10064-10071
+31337, 28011, 28348, 34979, 39539, 35645, 30536, 27287, // 10072-10079
+29118, 36162, 38875, 34300, 28811, 26622, 30521, 38065, // 10080-10087
+38328, 32178, 27451, 27293, 33092, 39310, 37004, 29711, // 10088-10095
+25801, 27650, 35469, 40748, 35658, 28056, 26002, 29842, // 10096-10103
+37958, 40743, 33642, 26099, 25646, 31555, 39802, 40246, // 10104-10111
+31633, 25152, 25692, 33343, 41496, 39802, 30067, 24604, // 10112-10119
+27056, 35393, 42087, 37837, 28157, 24043, 27994, 36671, // 10120-10127
+41979, 35902, 26841, 25825, 30553, 38080, 41394, 33894, // 10128-10135
+26397, 26830, 32278, 39276, 40191, 32188, 26489, 27732, // 10136-10143
+32899, 39529, 38765, 31060, 26771, 28513, 34007, 39549, // 10144-10151
+37437, 30336, 27025, 29145, 34488, 38940, 36389, 29575, // 10152-10159
+27168, 29767, 35465, 39479, 36311, 29816, 27532, 29932, // 10160-10167
+36421, 40159, 34606, 28450, 27545, 30936, 37216, 39020, // 10168-10175
+33250, 27718, 27174, 31547, 38135, 39046, 32285, 26990, // 10176-10183
+27618, 33114, 39473, 38176, 30914, 25948, 27559, 34180, // 10184-10191
+40071, 37443, 29508, 26132, 28469, 36053, 40668, 35661, // 10192-10199
+28036, 25698, 30104, 37593, 40177, 34032, 27628, 26854, // 10200-10207
+31471, 38643, 38740, 31250, 26475, 27563, 32932, 38976, // 10208-10215
+37611, 30301, 26401, 28800, 34955, 39437, 35976, 28851, // 10216-10223
+27239, 30355, 35874, 39242, 34505, 27988, 27263, 30908, // 10224-10231
+36483, 38552, 33260, 27562, 27986, 31798, 36997, 37953, // 10232-10239
+32148, 28081, 28580, 32646, 37799, 37897, 32219, 28276, // 10240-10247
+28511, 32479, 37874, 37114, 31430, 28220, 29028, 33643, // 10248-10255
+38630, 36704, 30734, 28531, 30106, 34832, 39108, 35982, // 10256-10263
+30198, 28091, 29320, 34783, 39155, 35589, 30279, 28102, // 10264-10271
+29356, 35668, 39845, 35959, 30058, 27359, 29742, 36356, // 10272-10279
+39332, 35175, 29580, 26563, 29062, 36742, 39619, 34719, // 10280-10287
+29133, 26562, 30387, 38122, 39577, 33908, 28240, 26281, // 10288-10295
+30664, 38536, 38819, 32289, 27259, 26179, 31789, 39334, // 10296-10303
+38464, 31356, 26289, 26239, 33352, 40448, 37648, 30256, // 10304-10311
+25901, 27276, 34970, 40188, 36304, 29625, 26037, 28175, // 10312-10319
+35962, 40295, 35861, 29090, 25984, 29452, 36948, 39504, // 10320-10327
+34449, 28371, 26289, 30380, 37916, 39126, 33394, 28177, // 10328-10335
+26924, 31570, 38731, 38627, 32407, 28289, 27810, 32932, // 10336-10343
+38869, 37116, 31491, 28457, 29403, 34444, 38536, 35946, // 10344-10351
+30598, 27941, 29485, 35396, 38801, 35343, 30330, 27698, // 10352-10359
+29711, 35958, 39018, 34506, 29208, 27905, 31241, 37669, // 10360-10367
+38677, 32940, 28121, 27637, 32322, 39014, 38131, 31417, // 10368-10375
+27419, 27815, 33439, 39574, 37605, 30367, 26530, 28298, // 10376-10383
+35189, 40493, 36885, 29326, 25741, 28617, 36061, 40186, // 10384-10391
+35428, 28232, 25991, 29632, 36834, 39863, 34437, 28036, // 10392-10399
+26194, 30023, 38082, 40350, 33600, 27006, 25759, 30618, // 10400-10407
+38494, 39975, 33255, 26834, 25915, 31545, 39143, 39358, // 10408-10415
+32804, 26781, 26046, 32363, 39740, 39221, 32121, 25940, // 10416-10423
+26161, 33471, 40412, 38680, 31007, 25532, 26940, 34956, // 10424-10431
+40752, 37664, 30262, 25619, 27791, 36387, 41266, 36677, // 10432-10439
+28976, 24896, 28282, 37217, 41733, 36050, 28101, 24891, // 10440-10447
+29478, 38421, 41196, 34908, 27590, 25446, 30752, 39767, // 10448-10455
+40550, 32663, 25980, 25455, 32229, 40516, 39720, 31720, // 10456-10463
+25135, 25729, 33994, 41438, 38861, 29975, 24906, 27280, // 10464-10471
+35909, 41543, 36727, 28133, 24772, 29237, 38345, 41657, // 10472-10479
+34841, 26750, 25463, 31238, 39275, 40105, 32540, 25911, // 10480-10487
+26085, 33144, 40063, 38615, 30915, 25742, 27450, 34414, // 10488-10495
+39732, 37453, 30685, 26491, 28486, 35282, 39340, 36122, // 10496-10503
+30098, 27080, 29505, 35865, 39234, 35367, 29386, 27294, // 10504-10511
+30300, 36285, 38662, 34320, 29176, 27302, 30871, 36884, // 10512-10519
+37924, 33728, 29337, 28270, 31403, 36209, 37362, 33665, // 10520-10527
+29770, 28762, 31693, 36212, 36085, 32853, 29771, 29345, // 10528-10535
+32816, 36562, 35889, 32039, 29358, 28995, 32837, 36588, // 10536-10543
+35508, 31964, 29240, 29580, 33968, 37226, 35374, 30986, // 10544-10551
+28123, 29942, 35128, 37628, 34721, 30430, 28233, 30941, // 10552-10559
+35915, 36863, 33027, 29276, 29283, 32763, 36700, 35900, // 10560-10567
+31768, 29008, 29704, 34476, 37821, 34804, 30492, 29180, // 10568-10575
+30841, 34900, 36968, 33724, 30092, 29325, 32033, 36310, // 10576-10583
+35769, 31981, 29463, 29610, 33229, 37486, 36103, 31528, // 10584-10591
+28464, 29509, 34771, 38014, 35103, 29380, 27239, 30520, // 10592-10599
+36882, 38739, 33409, 27736, 27251, 31993, 38688, 39051, // 10600-10607
+31506, 25865, 27645, 34449, 39976, 37776, 29439, 25168, // 10608-10615
+28351, 36360, 41480, 36527, 27782, 25051, 30034, 38206, // 10616-10623
+41247, 34630, 26424, 25687, 32353, 39965, 40600, 32695, // 10624-10631
+25204, 25970, 33400, 40553, 39685, 31079, 24550, 26902, // 10632-10639
+35166, 41239, 38727, 30120, 25121, 28243, 35688, 40523, // 10640-10647
+36437, 28201, 25408, 29940, 37161, 39875, 34931, 28032, // 10648-10655
+26854, 31156, 36926, 38593, 33337, 28018, 28109, 32007, // 10656-10663
+37010, 37386, 32279, 28909, 29443, 32252, 35966, 36265, // 10664-10671
+32449, 29650, 29842, 32149, 35555, 35773, 32748, 30785, // 10672-10679
+30340, 32268, 35294, 35286, 32696, 30323, 29556, 31809, // 10680-10687
+35789, 35749, 32568, 30555, 29929, 32246, 35805, 35420, // 10688-10695
+32237, 29605, 29415, 33162, 36298, 35045, 32203, 30211, // 10696-10703
+30404, 33648, 35971, 34085, 31389, 29625, 30460, 34315, // 10704-10711
+36105, 33878, 31216, 30535, 32044, 35353, 35806, 33246, // 10712-10719
+30948, 29708, 32016, 35918, 35878, 32677, 30046, 29357, // 10720-10727
+32185, 36235, 36209, 32639, 29841, 29400, 32848, 36774, // 10728-10735
+35418, 31991, 30029, 30037, 33945, 37182, 34971, 31476, // 10736-10743
+29388, 29629, 34177, 37344, 34888, 31512, 29172, 30071, // 10744-10751
+34996, 37068, 34135, 30662, 28661, 30554, 35908, 37520, // 10752-10759
+33463, 29424, 28328, 31512, 37196, 37353, 32483, 28863, // 10760-10767
+27811, 32060, 38569, 38130, 31740, 27513, 27609, 32641, // 10768-10775
+38866, 37202, 31371, 27990, 28086, 33833, 39211, 36376, // 10776-10783
+30619, 27934, 29146, 34958, 39258, 35150, 29152, 27480, // 10784-10791
+30187, 36380, 38504, 33803, 28881, 27577, 30405, 36552, // 10792-10799
+38565, 33708, 28661, 27417, 30957, 36978, 37429, 32292, // 10800-10807
+28355, 27833, 32390, 38211, 37576, 31648, 27632, 28386, // 10808-10815
+33774, 38542, 36355, 30605, 27150, 28788, 35497, 40015, // 10816-10823
+36316, 29377, 26225, 29714, 37396, 40484, 35288, 28227, // 10824-10831
+26419, 31366, 38833, 39529, 32533, 26641, 26811, 33529, // 10832-10839
+40665, 39287, 30862, 25618, 27708, 35118, 41108, 37785, // 10840-10847
+29557, 26042, 28868, 36247, 40869, 35738, 27987, 26322, // 10848-10855
+30111, 36871, 40379, 34583, 28028, 26520, 30093, 37443, // 10856-10863
+39383, 33123, 27796, 27456, 31466, 37983, 38542, 32019, // 10864-10871
+26875, 27250, 32681, 39367, 37810, 30217, 26500, 28147, // 10872-10879
+34249, 39865, 36842, 29121, 26314, 29188, 35556, 40092, // 10880-10887
+36000, 28680, 26097, 29580, 37183, 40551, 34426, 27190, // 10888-10895
+26478, 31169, 38093, 39564, 32861, 26366, 26344, 32347, // 10896-10903
+39603, 39407, 31599, 26390, 27716, 33340, 39829, 38678, // 10904-10911
+30352, 25685, 28214, 34768, 40097, 37017, 29275, 26605, // 10912-10919
+29454, 36066, 40348, 35171, 27797, 26761, 30301, 36642, // 10920-10927
+39736, 34339, 27564, 26806, 30881, 37605, 39580, 33096, // 10928-10935
+27513, 27954, 32501, 38372, 38555, 31963, 27626, 28619, // 10936-10943
+32886, 38290, 38166, 31779, 27782, 28145, 32609, 38418, // 10944-10951
+37401, 31226, 28163, 29359, 33868, 38238, 36171, 30833, // 10952-10959
+28110, 29088, 34235, 38723, 35923, 30232, 28031, 29575, // 10960-10967
+35088, 38525, 34925, 30128, 27873, 29609, 35610, 38335, // 10968-10975
+33944, 29132, 27803, 30657, 36565, 38209, 33772, 29389, // 10976-10983
+27988, 31091, 37055, 37666, 32710, 29072, 28867, 32759, // 10984-10991
+37403, 36492, 31979, 28920, 29087, 33604, 37537, 35421, // 10992-10999
+30866, 29002, 30534, 34995, 37587, 34184, 29795, 28734, // 11000-11007
+31266, 36269, 37621, 33453, 29674, 28904, 31290, 36357, // 11008-11015
+37588, 33179, 29717, 29295, 31994, 36289, 36221, 31939, // 11016-11023
+29131, 29854, 33095, 36428, 34924, 30709, 29280, 30119, // 11024-11031
+33823, 37243, 34886, 30428, 29433, 30248, 33887, 37489, // 11032-11039
+34886, 30697, 28846, 29781, 34393, 37462, 34620, 30498, // 11040-11047
+28604, 29997, 35312, 37997, 34134, 29918, 27962, 30884, // 11048-11055
+36690, 37668, 33165, 28727, 27826, 31976, 38255, 37676, // 11056-11063
+32217, 28085, 27846, 33314, 39139, 37386, 31756, 27808, // 11064-11071
+28264, 34342, 39129, 36313, 30362, 27500, 29376, 35542, // 11072-11079
+39272, 35610, 29691, 27241, 29559, 36191, 38962, 34274, // 11080-11087
+29436, 28162, 31030, 36837, 38193, 32782, 28552, 27796, // 11088-11095
+31736, 38220, 37940, 31901, 27948, 27966, 32869, 38734, // 11096-11103
+37128, 31395, 27667, 28590, 34804, 39884, 36564, 29898, // 11104-11111
+26953, 29156, 36216, 39793, 34795, 28116, 26733, 30700, // 11112-11119
+37620, 39553, 32845, 26908, 26841, 32299, 39189, 38848, // 11120-11127
+31487, 26329, 27768, 33486, 39430, 37595, 29867, 26276, // 11128-11135
+28900, 35141, 39478, 36519, 29626, 26810, 29653, 35910, // 11136-11143
+39213, 34949, 28820, 27858, 30933, 35495, 37780, 34013, // 11144-11151
+29229, 28094, 30647, 35299, 37509, 33780, 29816, 29049, // 11152-11159
+30748, 35867, 37807, 33529, 30174, 29201, 30604, 36011, // 11160-11167
+37603, 33416, 30043, 28716, 31141, 36595, 36962, 33446, // 11168-11175
+30856, 28725, 31179, 36767, 37036, 33041, 29634, 28170, // 11176-11183
+32052, 37633, 36653, 32613, 29964, 28147, 32320, 38189, // 11184-11191
+36805, 32125, 28560, 27718, 33291, 38580, 35891, 31460, // 11192-11199
+28447, 27598, 33646, 38628, 35934, 31228, 27712, 28788, // 11200-11207
+35622, 38812, 34031, 29721, 27745, 30411, 37135, 38570, // 11208-11215
+33830, 29053, 27355, 31561, 38056, 37220, 32018, 28505, // 11216-11223
+27658, 32441, 38407, 36621, 31521, 28412, 28511, 34219, // 11224-11231
+38876, 36253, 31485, 28833, 29364, 34864, 37760, 33581, // 11232-11239
+29783, 28640, 30304, 36128, 38017, 33440, 29926, 28634, // 11240-11247
+31180, 37176, 37309, 32061, 29952, 29290, 31701, 37417, // 11248-11255
+36971, 31803, 29019, 28535, 32812, 38157, 35793, 31118, // 11256-11263
+29239, 28791, 33498, 39194, 36287, 30747, 28269, 29059, // 11264-11271
+35048, 39451, 35455, 30219, 27971, 29120, 35811, 39096, // 11272-11279
+34211, 30101, 28586, 29940, 36225, 38170, 33353, 29478, // 11280-11287
+27885, 30238, 36507, 37405, 32601, 29491, 28354, 31239, // 11288-11295
+37614, 37432, 31720, 28828, 28171, 31579, 38376, 37893, // 11296-11303
+31493, 27683, 27400, 32345, 39256, 37901, 31571, 27992, // 11304-11311
+27608, 33535, 40007, 36941, 30001, 26681, 28230, 35706, // 11312-11319
+40197, 35420, 29208, 26809, 29163, 37257, 40003, 33817, // 11320-11327
+28599, 27211, 30326, 37401, 38989, 33265, 28811, 27583, // 11328-11335
+31204, 37856, 38118, 32488, 29239, 28374, 31985, 37607, // 11336-11343
+36882, 32081, 29830, 28944, 31990, 37261, 35790, 31927, // 11344-11351
+30356, 29196, 31855, 36700, 35517, 32099, 30814, 29763, // 11352-11359
+32456, 36909, 35541, 32509, 30497, 29231, 33081, 37313, // 11360-11367
+35356, 32671, 30588, 29128, 33230, 37243, 35385, 32330, // 11368-11375
+29705, 29573, 34176, 36734, 35012, 32890, 29030, 28279, // 11376-11383
+34223, 36813, 34840, 32456, 29080, 29100, 34373, 36485, // 11384-11391
+34452, 31646, 28741, 30442, 36120, 37131, 33958, 30812, // 11392-11399
+27782, 29876, 36030, 36885, 33801, 30744, 27801, 30480, // 11400-11407
+36227, 36481, 33711, 30512, 27408, 31147, 37135, 36512, // 11408-11415
+33229, 30044, 27556, 31665, 36919, 36155, 33016, 29239, // 11416-11423
+27489, 33362, 38552, 35559, 31590, 28256, 27966, 34389, // 11424-11431
+38830, 35887, 31530, 27850, 28275, 35066, 38383, 34586, // 11432-11439
+30791, 28178, 29361, 35846, 38248, 34298, 29804, 27171, // 11440-11447
+30278, 37638, 38409, 33580, 29711, 27381, 31182, 38103, // 11448-11455
+37996, 33327, 29097, 27381, 32262, 38707, 37854, 32938, // 11456-11463
+28804, 27427, 32857, 38822, 37014, 32604, 29490, 28136, // 11464-11471
+33275, 38610, 36111, 31648, 28846, 28423, 34299, 38388, // 11472-11479
+35156, 32202, 28968, 28016, 34292, 38249, 34933, 31140, // 11480-11487
+28225, 28728, 35112, 38290, 34901, 31075, 27635, 28314, // 11488-11495
+35681, 38389, 33881, 30002, 27290, 28899, 36510, 38653, // 11496-11503
+33792, 29297, 26383, 30424, 38111, 38220, 33087, 28856, // 11504-11511
+26425, 30955, 38249, 37722, 32396, 28215, 27366, 32996, // 11512-11519
+38923, 36954, 31791, 27990, 28382, 34468, 39185, 35692, // 11520-11527
+30732, 28570, 29145, 34991, 38625, 34893, 30194, 28582, // 11528-11535
+30670, 36452, 37914, 33268, 29633, 28671, 31815, 37750, // 11536-11543
+37463, 32415, 29163, 28854, 32908, 37170, 36016, 31904, // 11544-11551
+29272, 29404, 33947, 37625, 35215, 31183, 29375, 30289, // 11552-11559
+34298, 36972, 34105, 30492, 29347, 30869, 34930, 35990, // 11560-11567
+32794, 30550, 29863, 31272, 35246, 35829, 32966, 30701, // 11568-11575
+29593, 31867, 35562, 35298, 32552, 30703, 30482, 32636, // 11576-11583
+35218, 34369, 32116, 31385, 30651, 32231, 35287, 34387, // 11584-11591
+32499, 31913, 30756, 32525, 35025, 33953, 33054, 31706, // 11592-11599
+30289, 33095, 35595, 33520, 32421, 31433, 29998, 33309, // 11600-11607
+35977, 34173, 32631, 30962, 29819, 33826, 36387, 34228, // 11608-11615
+32485, 30381, 29996, 34674, 36656, 33463, 30967, 28994, // 11616-11623
+30766, 35791, 36358, 33134, 30569, 28519, 30948, 36854, // 11624-11631
+37026, 32443, 29152, 28440, 32321, 37442, 36550, 32063, // 11632-11639
+28443, 28620, 33514, 37495, 35867, 32163, 28945, 28825, // 11640-11647
+34033, 37471, 35202, 31559, 28656, 28913, 34441, 37540, // 11648-11655
+34667, 31212, 28619, 29231, 35354, 38147, 34445, 31133, // 11656-11663
+28376, 29340, 35667, 38368, 35249, 31073, 27863, 29452, // 11664-11671
+36118, 38731, 35226, 31322, 28265, 29873, 36244, 38002, // 11672-11679
+34331, 30488, 28129, 30620, 36128, 37450, 34465, 30278, // 11680-11687
+27168, 30268, 36406, 37698, 34445, 29458, 26669, 30609, // 11688-11695
+37438, 38533, 34166, 28326, 25986, 31238, 38093, 38861, // 11696-11703
+33916, 28018, 25867, 31560, 38634, 38867, 33736, 27065, // 11704-11711
+25934, 32915, 38952, 37437, 32064, 26491, 26426, 34136, // 11712-11719
+39531, 37581, 32110, 26377, 26738, 34054, 38957, 37450, // 11720-11727
+31950, 26088, 26927, 34398, 38968, 37408, 32070, 26645, // 11728-11735
+27574, 34738, 39169, 36893, 31340, 26240, 27642, 35034, // 11736-11743
+38963, 36849, 31309, 26335, 28346, 35541, 39200, 36825, // 11744-11751
+30790, 25624, 28105, 36147, 39998, 36681, 30019, 25563, // 11752-11759
+28206, 36126, 39773, 36175, 29554, 25073, 29136, 37729, // 11760-11767
+40390, 35413, 28840, 25463, 29506, 37932, 40513, 35483, // 11768-11775
+28156, 25231, 30436, 38629, 39714, 34161, 28008, 25929, // 11776-11783
+31115, 38689, 39260, 33161, 27605, 26473, 31910, 38482, // 11784-11791
+38553, 32756, 27706, 27270, 32896, 39056, 38161, 32502, // 11792-11799
+27597, 27132, 32986, 39191, 38074, 32297, 27154, 27104, // 11800-11807
+33521, 39530, 37800, 31689, 26943, 26862, 33620, 39448, // 11808-11815
+37127, 31305, 27181, 27704, 34764, 39839, 36420, 30504, // 11816-11823
+26968, 28216, 35302, 40204, 36182, 29627, 25863, 27724, // 11824-11831
+35846, 40900, 36371, 29437, 26346, 28508, 36628, 40850, // 11832-11839
+35772, 28932, 25987, 28733, 37098, 40992, 35387, 28815, // 11840-11847
+25562, 28199, 36673, 40648, 35050, 28427, 25808, 28688, // 11848-11855
+37007, 40351, 34813, 28585, 25776, 28716, 37217, 40509, // 11856-11863
+34790, 28645, 25630, 28833, 37886, 40959, 34562, 28367, // 11864-11871
+25827, 29180, 38127, 40480, 34334, 28293, 25408, 29195, // 11872-11879
+38374, 40468, 34159, 27955, 25124, 29388, 38857, 40912, // 11880-11887
+33980, 27270, 24689, 30139, 39696, 41103, 33901, 27410, // 11888-11895
+24912, 30363, 40114, 40947, 33645, 26980, 25187, 31308, // 11896-11903
+40155, 40152, 32965, 26726, 25739, 32413, 40710, 39664, // 11904-11911
+32111, 26975, 26629, 32676, 39931, 39053, 32338, 27141, // 11912-11919
+26579, 32786, 40053, 39000, 32399, 27567, 26983, 32917, // 11920-11927
+39662, 38167, 31778, 27147, 26738, 32597, 39239, 37901, // 11928-11935
+31636, 26885, 26763, 33455, 39916, 37999, 31741, 27187, // 11936-11943
+27267, 33518, 39646, 37714, 30969, 26339, 26922, 33630, // 11944-11951
+39600, 37160, 30824, 26564, 27096, 33867, 39222, 36574, // 11952-11959
+30652, 27331, 28354, 34546, 39244, 36539, 30973, 27303, // 11960-11967
+28708, 34410, 38737, 36580, 31411, 27749, 28345, 34189, // 11968-11975
+38489, 36334, 31628, 28767, 28779, 33511, 37639, 36325, // 11976-11983
+32520, 28614, 27880, 32581, 37372, 36971, 33257, 28870, // 11984-11991
+27083, 31866, 37424, 37593, 34001, 29158, 26993, 31492, // 11992-11999
+38277, 38690, 34073, 28379, 26146, 31452, 38478, 39181, // 12000-12007
+34024, 27670, 25209, 31173, 39395, 40038, 33941, 27366, // 12008-12015
+25140, 31003, 39390, 39520, 32839, 26481, 25089, 31728, // 12016-12023
+40219, 39806, 32257, 25876, 25107, 32090, 40380, 39550, // 12024-12031
+31784, 26195, 26146, 32975, 40543, 39439, 31482, 25625, // 12032-12039
+26375, 33473, 40479, 38894, 31743, 26126, 26533, 33106, // 12040-12047
+39387, 38346, 31852, 27026, 27262, 32790, 38953, 38428, // 12048-12055
+32541, 27553, 26786, 31884, 38275, 38543, 33380, 28526, // 12056-12063
+27242, 31529, 37945, 38836, 34157, 29249, 27325, 31131, // 12064-12071
+37658, 39080, 34327, 28950, 26549, 30454, 37743, 38954, // 12072-12079
+34213, 28904, 26680, 30292, 37425, 39629, 34616, 28572, // 12080-12087
+26492, 29983, 36574, 39113, 34710, 29302, 27071, 29653, // 12088-12095
+36281, 39076, 35010, 29662, 27496, 29833, 35622, 38785, // 12096-12103
+35355, 30268, 27829, 29431, 34303, 37886, 35710, 30957, // 12104-12111
+28569, 29213, 33449, 37011, 35335, 31347, 29061, 29636, // 12112-12119
+32800, 36356, 36023, 32060, 29357, 29510, 32188, 35553, // 12120-12127
+36057, 32781, 29813, 29573, 31960, 35135, 36153, 33868, // 12128-12135
+30890, 30156, 31445, 33974, 35926, 34397, 31161, 30312, // 12136-12143
+31326, 33127, 35275, 34596, 31490, 30696, 31544, 32736, // 12144-12151
+34647, 35037, 32229, 31221, 31847, 32256, 34467, 35341, // 12152-12159
+33018, 31317, 31736, 31956, 33908, 35474, 33682, 31643, // 12160-12167
+31785, 32212, 33571, 35450, 34166, 32187, 32218, 32589, // 12168-12175
+33441, 35062, 33866, 31879, 31729, 32176, 32902, 34095, // 12176-12183
+33494, 31655, 31821, 32069, 32244, 32884, 32730, 32056, // 12184-12191
+32111, 32323, 32566, 33191, 33141, 32710, 32438, 32162, // 12192-12199
+32306, 32941, 33344, 33353, 32836, 32071, 31862, 32708, // 12200-12207
+33839, 34064, 32919, 31580, 31194, 31965, 33229, 33828, // 12208-12215
+33178, 31758, 31179, 31222, 32240, 33617, 33603, 32718, // 12216-12223
+31845, 31456, 32189, 33480, 34056, 33764, 32956, 31756, // 12224-12231
+31710, 33035, 33468, 33285, 32852, 32161, 31806, 32262, // 12232-12239
+32859, 33478, 33565, 32799, 32637, 32502, 32588, 33210, // 12240-12247
+33566, 33007, 32258, 32187, 32624, 33251, 33442, 33019, // 12248-12255
+31968, 31476, 32321, 33465, 33593, 33124, 32294, 31801, // 12256-12263
+32701, 34029, 34227, 33090, 32223, 32118, 33183, 34454, // 12264-12271
+34040, 32841, 31535, 31379, 33015, 34558, 34021, 32692, // 12272-12279
+31509, 31290, 32993, 34630, 34361, 32594, 30945, 30938, // 12280-12287
+32525, 33950, 33850, 32649, 31176, 30707, 32658, 34248, // 12288-12295
+34217, 33064, 31426, 31099, 32778, 34405, 34340, 33123, // 12296-12303
+31521, 31587, 33233, 34203, 33839, 32777, 31488, 31709, // 12304-12311
+33305, 33849, 33381, 32914, 31813, 31952, 33170, 33508, // 12312-12319
+33221, 32477, 31588, 31980, 33008, 32982, 32801, 32431, // 12320-12327
+32037, 32735, 33535, 33175, 33147, 32833, 32118, 32565, // 12328-12335
+33540, 33329, 32970, 32953, 32410, 32751, 33110, 32976, // 12336-12343
+33320, 32867, 31962, 32091, 32454, 32518, 32931, 32914, // 12344-12351
+31919, 32076, 32643, 32630, 33044, 33204, 32406, 32090, // 12352-12359
+32606, 33044, 33363, 33017, 32389, 32430, 32927, 33145, // 12360-12367
+33774, 33691, 32683, 32347, 32887, 33246, 33157, 33374, // 12368-12375
+32814, 31855, 32074, 32933, 33269, 32813, 31877, 31364, // 12376-12383
+31820, 32637, 33237, 33314, 32401, 31463, 32103, 33267, // 12384-12391
+33703, 33543, 32471, 31736, 32099, 33217, 34165, 33825, // 12392-12399
+32737, 32003, 32050, 32982, 33824, 33606, 32565, 31320, // 12400-12407
+31579, 32888, 33809, 33572, 32423, 31312, 31652, 33381, // 12408-12415
+34658, 34275, 32431, 31072, 31567, 33263, 34454, 33898, // 12416-12423
+32232, 31308, 32231, 33959, 34475, 33615, 32182, 31038, // 12424-12431
+31737, 33478, 34396, 33866, 31840, 30774, 31480, 33066, // 12432-12439
+34216, 33622, 31886, 31013, 31896, 33288, 34254, 33969, // 12440-12447
+32454, 31690, 32396, 33596, 34335, 33692, 32130, 31461, // 12448-12455
+32131, 33017, 33702, 33447, 31862, 31357, 32298, 33229, // 12456-12463
+33744, 33187, 32086, 31625, 32303, 32816, 33426, 33619, // 12464-12471
+32790, 32319, 32708, 33299, 33432, 33674, 32935, 32517, // 12472-12479
+32972, 33056, 33382, 33550, 32962, 32650, 32818, 32718, // 12480-12487
+33149, 33365, 33061, 32946, 32785, 32765, 33046, 33239, // 12488-12495
+32850, 32875, 32759, 32524, 32671, 32839, 32702, 33014, // 12496-12503
+32867, 31945, 32229, 32401, 32590, 32980, 32820, 32128, // 12504-12511
+32099, 32126, 32568, 33178, 32635, 31905, 31714, 31995, // 12512-12519
+32224, 33133, 33104, 32223, 31804, 31657, 32006, 32926, // 12520-12527
+32998, 32439, 31934, 31569, 32223, 33347, 33468, 32918, // 12528-12535
+32437, 31957, 32347, 33263, 33653, 33389, 32709, 32109, // 12536-12543
+32404, 33106, 33527, 33540, 33192, 32285, 32628, 33626, // 12544-12551
+33792, 33744, 33072, 32100, 31988, 33033, 33624, 33450, // 12552-12559
+32643, 31934, 32398, 33267, 33848, 33934, 32952, 31586, // 12560-12567
+32004, 33199, 33670, 33670, 32863, 31881, 31949, 33305, // 12568-12575
+33917, 33769, 32797, 31491, 32143, 33400, 33833, 33568, // 12576-12583
+32242, 30935, 31814, 33457, 34083, 33607, 32156, 31222, // 12584-12591
+32165, 33450, 33779, 33255, 31672, 31029, 32188, 33424, // 12592-12599
+33745, 33438, 32245, 31523, 32478, 33447, 33946, 33539, // 12600-12607
+32123, 31720, 32716, 33662, 34042, 33302, 31941, 31818, // 12608-12615
+33002, 33908, 34035, 33200, 31959, 31971, 32899, 33668, // 12616-12623
+33592, 32595, 31448, 31569, 32572, 33360, 33482, 32566, // 12624-12631
+31578, 31724, 32838, 33547, 33609, 32726, 31550, 31740, // 12632-12639
+32804, 33645, 33712, 32670, 31736, 32185, 33150, 33654, // 12640-12647
+33475, 32654, 31979, 32349, 33001, 33179, 33200, 32756, // 12648-12655
+31978, 32193, 32720, 32959, 33177, 32653, 31935, 32196, // 12656-12663
+32584, 32785, 33098, 32690, 32194, 32412, 32838, 33042, // 12664-12671
+33344, 33161, 32633, 32443, 32630, 33070, 33440, 33460, // 12672-12679
+32677, 32394, 32290, 32412, 33386, 33437, 32554, 32228, // 12680-12687
+32338, 32692, 33363, 33196, 32332, 31522, 31512, 32157, // 12688-12695
+33362, 33553, 32505, 31929, 31871, 32476, 33572, 33787, // 12696-12703
+32696, 32332, 32646, 33262, 34066, 33965, 32682, 31857, // 12704-12711
+32135, 33019, 33965, 33650, 32619, 32200, 32646, 33247, // 12712-12719
+33480, 33067, 31915, 31396, 32161, 32966, 33522, 33262, // 12720-12727
+32128, 31989, 33011, 34221, 34716, 33896, 32283, 31837, // 12728-12735
+32737, 33662, 34120, 33050, 31529, 31545, 32875, 34087, // 12736-12743
+34190, 32873, 31555, 31687, 32753, 33642, 33389, 31979, // 12744-12751
+31085, 31659, 32881, 33909, 33924, 32178, 31104, 31900, // 12752-12759
+33080, 34159, 33766, 32274, 31196, 31618, 33001, 34123, // 12760-12767
+33637, 32013, 31298, 32050, 33492, 34329, 33657, 31873, // 12768-12775
+31285, 32334, 33535, 33773, 32891, 31520, 31309, 32452, // 12776-12783
+33558, 33893, 32906, 31570, 31454, 32584, 33385, 33314, // 12784-12791
+32511, 31451, 31729, 33060, 34082, 34048, 32992, 31940, // 12792-12799
+32210, 33393, 33881, 33549, 32640, 31704, 32052, 33197, // 12800-12807
+33655, 33455, 32691, 32107, 32504, 33251, 33548, 33283, // 12808-12815
+32564, 31916, 32559, 33539, 33570, 33290, 32395, 31819, // 12816-12823
+32511, 33276, 33443, 32919, 32191, 32145, 33037, 33780, // 12824-12831
+33935, 33248, 32306, 32043, 32649, 33597, 33599, 32784, // 12832-12839
+31883, 31715, 32300, 33329, 33706, 32843, 31668, 31254, // 12840-12847
+32076, 33327, 33790, 33081, 31842, 31512, 32348, 33544, // 12848-12855
+33932, 33021, 32032, 31845, 32390, 33401, 34083, 33380, // 12856-12863
+32118, 31648, 32280, 33327, 33763, 33083, 31696, 31177, // 12864-12871
+31935, 33020, 33803, 33417, 32012, 31376, 32304, 33443, // 12872-12879
+34141, 33527, 32004, 31287, 31856, 33191, 34077, 33518, // 12880-12887
+31998, 31503, 32494, 33638, 34090, 33160, 31619, 31404, // 12888-12895
+32366, 33801, 34374, 33452, 31980, 31510, 32466, 33509, // 12896-12903
+33991, 33015, 31547, 31605, 32663, 33731, 34092, 33080, // 12904-12911
+31753, 31610, 32697, 34008, 34313, 33131, 31849, 31840, // 12912-12919
+32978, 34202, 34569, 33447, 32142, 32150, 33298, 34466, // 12920-12927
+34252, 33169, 31989, 32061, 33096, 33850, 33645, 32571, // 12928-12935
+31659, 31945, 32977, 33601, 33298, 32372, 31762, 32072, // 12936-12943
+33183, 33735, 33272, 32465, 31817, 32029, 33037, 33508, // 12944-12951
+32921, 32135, 31730, 32197, 33287, 33564, 32847, 31836, // 12952-12959
+31266, 31712, 32677, 32885, 32269, 31553, 31255, 31955, // 12960-12967
+32850, 33146, 32578, 31822, 31636, 32290, 33151, 33311, // 12968-12975
+32453, 31755, 31949, 32606, 33353, 33176, 32610, 32242, // 12976-12983
+32440, 32969, 33636, 33628, 32867, 32601, 32738, 33014, // 12984-12991
+33354, 33402, 32954, 32609, 32606, 32977, 33479, 33331, // 12992-12999
+32846, 32733, 32770, 33123, 33527, 33309, 32912, 32664, // 13000-13007
+32776, 33392, 33759, 33255, 32750, 32692, 32755, 33342, // 13008-13015
+33795, 33223, 32566, 32483, 32620, 32982, 33206, 32881, // 13016-13023
+32582, 32457, 32427, 32926, 33217, 32838, 32693, 32433, // 13024-13031
+32326, 32659, 32965, 32489, 31979, 32079, 32297, 32889, // 13032-13039
+33187, 32661, 32255, 32348, 32445, 33026, 33416, 32844, // 13040-13047
+32371, 32452, 32530, 32967, 33337, 32771, 32247, 32052, // 13048-13055
+32110, 32814, 33402, 32992, 32400, 32205, 32435, 33240, // 13056-13063
+33579, 32926, 32292, 32222, 32615, 33452, 33600, 32855, // 13064-13071
+32298, 32320, 32754, 33654, 33997, 33116, 32350, 32365, // 13072-13079
+32998, 33757, 33908, 33035, 32129, 31936, 32533, 33532, // 13080-13087
+33704, 32598, 31673, 31896, 32671, 33775, 33866, 32626, // 13088-13095
+31549, 31723, 32833, 33979, 33824, 32412, 31508, 31783, // 13096-13103
+32873, 33948, 33792, 32208, 31357, 31649, 32463, 33611, // 13104-13111
+33636, 32253, 31442, 32070, 33296, 34300, 33683, 32016, // 13112-13119
+31332, 31869, 33202, 34368, 33650, 31907, 31394, 32291, // 13120-13127
+33618, 34276, 33358, 31703, 31246, 32197, 33478, 34100, // 13128-13135
+33200, 31591, 31368, 32464, 33707, 34162, 32993, 31507, // 13136-13143
+31519, 32493, 33546, 33897, 32877, 31680, 31691, 32760, // 13144-13151
+33685, 33609, 32606, 31744, 32072, 32918, 33560, 33493, // 13152-13159
+32455, 31822, 32311, 32990, 33457, 33508, 32662, 32007, // 13160-13167
+32396, 32968, 33209, 33062, 32195, 32022, 32840, 33297, // 13168-13175
+33382, 33054, 32290, 32283, 33310, 33750, 33559, 32970, // 13176-13183
+32148, 32453, 33659, 33931, 33325, 32493, 31874, 32485, // 13184-13191
+33627, 33744, 33020, 32135, 31647, 32290, 33401, 33621, // 13192-13199
+32900, 32067, 31823, 32684, 33768, 33765, 32994, 32160, // 13200-13207
+31898, 32755, 33834, 33815, 32974, 31994, 31826, 32743, // 13208-13215
+33507, 33344, 32592, 31772, 31707, 32646, 33689, 33890, // 13216-13223
+32971, 31833, 31715, 32696, 33650, 33498, 32345, 31499, // 13224-13231
+31672, 32629, 33511, 33506, 32718, 31737, 31850, 32676, // 13232-13239
+33262, 33381, 32876, 32087, 31975, 32454, 32890, 33087, // 13240-13247
+32619, 31837, 31713, 32353, 33038, 33324, 33116, 32506, // 13248-13255
+32242, 32615, 33026, 33280, 33147, 32598, 32255, 32453, // 13256-13263
+32960, 33533, 33478, 32735, 32159, 32168, 32561, 33188, // 13264-13271
+33567, 33071, 32385, 32471, 33198, 33802, 33868, 32997, // 13272-13279
+32005, 31683, 32379, 33484, 33767, 33046, 32321, 32269, // 13280-13287
+32988, 33666, 33480, 32792, 32214, 32290, 32908, 33650, // 13288-13295
+33394, 32636, 32107, 32087, 32754, 33448, 33358, 32655, // 13296-13303
+32286, 32354, 32894, 33383, 33049, 32354, 32300, 32504, // 13304-13311
+33183, 33698, 32952, 32078, 32053, 32656, 33318, 33443, // 13312-13319
+32887, 32420, 32589, 33181, 33871, 33704, 32691, 32079, // 13320-13327
+32150, 32648, 33403, 33418, 32379, 31810, 32105, 32814, // 13328-13335
+33478, 33311, 32260, 31864, 32335, 33038, 33717, 33373, // 13336-13343
+32057, 31615, 32057, 32745, 33375, 32903, 31781, 31595, // 13344-13351
+32352, 33199, 33722, 33063, 31867, 31737, 32555, 33436, // 13352-13359
+33882, 33056, 31771, 31657, 32435, 33155, 33335, 32634, // 13360-13367
+31582, 31545, 32385, 33292, 33533, 32685, 31907, 32142, // 13368-13375
+33039, 33773, 33846, 33050, 32075, 32180, 32826, 33391, // 13376-13383
+33422, 32658, 32006, 32486, 33515, 34099, 33906, 32913, // 13384-13391
+32193, 32472, 33098, 33404, 33242, 32515, 32090, 32570, // 13392-13399
+33496, 33965, 33574, 32671, 32180, 32615, 33311, 33519, // 13400-13407
+33147, 32468, 32301, 32998, 33564, 33538, 32891, 31869, // 13408-13415
+31627, 32450, 33281, 33429, 32918, 31993, 31701, 32364, // 13416-13423
+33244, 33448, 32710, 31923, 32083, 32746, 33209, 33335, // 13424-13431
+32829, 32152, 32230, 32661, 33022, 33058, 32600, 32217, // 13432-13439
+32311, 32683, 33078, 33280, 32832, 32282, 32350, 32791, // 13440-13447
+32988, 33067, 32833, 32687, 32913, 33066, 33016, 32869, // 13448-13455
+32605, 32319, 32293, 32456, 32904, 33197, 32793, 32264, // 13456-13463
+32257, 32439, 32811, 32986, 32636, 32163, 32328, 32572, // 13464-13471
+32733, 32832, 32409, 32204, 32421, 32875, 33134, 33330, // 13472-13479
+32999, 32587, 32840, 33005, 33067, 33228, 32813, 32449, // 13480-13487
+32682, 32666, 32687, 32740, 32703, 32514, 32673, 32989, // 13488-13495
+33337, 33352, 32745, 32364, 32584, 32974, 33196, 33170, // 13496-13503
+32662, 32366, 32473, 32601, 32889, 33160, 32740, 32563, // 13504-13511
+33098, 33284, 33274, 33136, 32674, 32564, 32867, 32988, // 13512-13519
+33399, 33674, 33075, 32658, 32540, 32507, 32805, 32845, // 13520-13527
+32254, 32011, 32103, 32270, 33002, 33561, 33186, 32863, // 13528-13535
+32559, 32688, 33309, 33512, 32932, 32453, 32668, 32870, // 13536-13543
+33178, 33279, 32789, 32821, 33091, 32859, 33217, 33009, // 13544-13551
+32479, 32275, 32237, 32380, 32851, 33036, 32567, 32492, // 13552-13559
+32858, 33165, 33251, 32998, 32108, 31614, 31733, 32041, // 13560-13567
+32602, 33022, 32722, 32956, 33067, 32653, 32699, 32496, // 13568-13575
+32244, 32405, 32879, 33211, 33333, 33021, 32712, 32749, // 13576-13583
+32988, 32740, 32404, 32370, 32360, 32849, 33069, 32716, // 13584-13591
+32398, 32472, 32565, 32691, 32566, 32442, 32405, 32371, // 13592-13599
+32769, 32851, 32679, 32571, 32710, 32981, 33310, 33371, // 13600-13607
+33176, 32960, 32743, 32892, 33151, 33185, 32886, 32604, // 13608-13615
+32291, 32163, 32499, 32797, 32795, 32234, 31783, 32171, // 13616-13623
+32784, 33198, 32910, 32284, 32302, 32802, 33373, 33465, // 13624-13631
+33288, 32750, 32537, 32663, 32765, 32862, 32641, 32468, // 13632-13639
+32606, 32863, 33170, 33353, 33191, 33024, 32811, 33027, // 13640-13647
+33381, 33746, 33762, 33108, 32784, 33037, 33377, 33517, // 13648-13655
+33205, 32597, 32476, 32885, 33377, 33577, 33283, 32620, // 13656-13663
+32424, 32645, 32784, 32981, 32960, 32544, 32328, 32280, // 13664-13671
+32208, 32644, 32933, 32624, 32342, 32261, 32591, 33107, // 13672-13679
+32957, 32305, 32086, 32188, 32538, 32712, 32390, 31992, // 13680-13687
+31706, 31948, 32402, 32722, 32656, 32239, 32316, 32675, // 13688-13695
+32997, 33288, 33258, 32879, 32600, 32664, 32837, 33146, // 13696-13703
+33106, 32765, 32871, 33074, 33171, 33295, 33092, 32596, // 13704-13711
+32603, 32944, 33072, 33180, 33121, 32762, 32743, 32955, // 13712-13719
+32985, 32921, 32592, 32232, 32392, 32473, 32446, 32794, // 13720-13727
+32807, 32486, 32491, 32723, 32977, 33243, 32941, 32396, // 13728-13735
+32211, 32358, 32778, 33120, 32786, 32196, 32211, 32591, // 13736-13743
+32891, 33043, 32579, 32152, 32064, 32291, 32794, 33008, // 13744-13751
+32803, 32435, 32413, 32708, 33091, 33222, 32879, 32420, // 13752-13759
+32474, 32787, 33216, 33318, 33087, 32890, 32816, 33099, // 13760-13767
+33481, 33675, 33166, 32671, 32563, 32834, 33519, 33766, // 13768-13775
+33280, 32706, 32832, 33248, 33687, 33683, 33016, 32703, // 13776-13783
+32956, 33189, 33390, 33253, 32514, 32229, 32431, 32651, // 13784-13791
+32828, 32795, 32399, 32358, 32770, 33044, 33323, 33083, // 13792-13799
+32363, 32130, 32449, 32928, 33101, 32522, 31721, 31747, // 13800-13807
+32436, 33026, 33326, 32991, 32177, 31956, 32364, 33000, // 13808-13815
+33221, 32552, 31738, 31716, 32275, 32834, 32981, 32079, // 13816-13823
+31541, 31887, 32523, 33240, 33371, 32786, 32217, 32245, // 13824-13831
+32835, 33515, 33524, 32971, 32394, 32411, 32798, 33457, // 13832-13839
+33461, 32572, 31993, 32123, 32705, 33462, 33400, 32647, // 13840-13847
+32245, 32152, 32789, 33647, 33605, 32883, 32269, 32296, // 13848-13855
+33147, 33576, 33172, 32488, 31984, 32316, 33089, 33461, // 13856-13863
+33147, 32469, 32042, 32568, 33397, 33560, 32980, 32399, // 13864-13871
+32203, 32679, 33275, 33367, 32948, 32338, 32034, 32579, // 13872-13879
+33386, 33305, 32747, 32132, 32018, 32867, 33533, 33322, // 13880-13887
+32973, 32323, 31959, 32680, 33523, 33482, 32903, 32198, // 13888-13895
+32232, 33172, 33662, 33441, 32759, 31920, 32007, 32797, // 13896-13903
+33191, 33116, 32649, 32339, 32602, 33449, 33720, 33446, // 13904-13911
+32924, 32366, 32666, 33239, 33300, 33132, 32750, 32080, // 13912-13919
+32326, 32869, 33131, 33052, 32465, 32196, 32418, 32826, // 13920-13927
+33029, 32931, 32490, 32137, 32261, 32693, 32880, 32758, // 13928-13935
+32513, 32371, 32662, 32866, 32984, 32920, 32633, 32437, // 13936-13943
+32575, 32853, 32887, 32773, 32511, 32416, 32519, 32989, // 13944-13951
+33226, 32976, 32718, 32628, 32816, 33020, 33245, 32967, // 13952-13959
+32668, 32472, 32575, 32938, 32941, 32713, 32299, 32255, // 13960-13967
+32369, 32668, 32900, 32771, 32396, 32259, 32484, 33019, // 13968-13975
+33196, 32864, 32660, 32588, 32935, 33395, 33649, 33252, // 13976-13983
+32758, 32539, 32778, 33229, 33380, 33061, 32442, 32304, // 13984-13991
+32528, 33101, 33326, 32901, 32225, 32148, 32587, 33171, // 13992-13999
+33417, 32842, 32172, 32143, 32702, 33304, 33626, 32968, // 14000-14007
+32202, 32106, 32642, 33254, 33353, 32707, 32034, 32054, // 14008-14015
+32499, 33213, 33408, 32865, 32034, 32044, 32730, 33508, // 14016-14023
+33614, 32671, 31974, 31991, 32630, 33407, 33592, 32709, // 14024-14031
+31853, 32033, 32745, 33581, 33733, 32891, 32192, 32335, // 14032-14039
+33112, 33902, 33991, 32993, 31944, 31875, 32643, 33596, // 14040-14047
+33562, 32559, 31730, 31979, 33043, 33902, 33596, 32395, // 14048-14055
+31551, 31927, 32887, 33646, 33345, 32312, 31685, 31873, // 14056-14063
+32884, 33566, 33182, 32090, 31201, 31615, 33020, 33868, // 14064-14071
+33587, 32276, 31502, 31932, 32882, 33569, 33274, 32184, // 14072-14079
+31482, 31987, 33022, 33614, 33216, 32404, 31732, 32093, // 14080-14087
+33136, 33693, 33375, 32415, 31881, 32482, 33395, 33858, // 14088-14095
+33754, 33001, 32318, 32611, 33415, 33908, 33685, 32790, // 14096-14103
+32107, 32433, 33363, 33958, 33691, 32907, 32262, 32410, // 14104-14111
+33262, 33896, 33775, 32890, 32176, 32352, 33180, 33712, // 14112-14119
+33444, 32562, 32039, 32301, 32917, 33343, 32967, 32139, // 14120-14127
+31771, 32231, 32991, 33558, 33339, 32686, 32223, 32230, // 14128-14135
+32885, 33307, 33111, 32529, 31786, 32089, 32991, 33323, // 14136-14143
+32918, 32096, 31715, 32179, 32947, 33250, 32979, 32375, // 14144-14151
+31952, 32310, 33222, 33302, 32763, 32181, 31754, 32222, // 14152-14159
+33199, 33322, 32638, 32304, 32166, 32630, 33443, 33451, // 14160-14167
+32867, 32266, 31997, 32427, 33186, 33271, 32621, 32100, // 14168-14175
+31995, 32419, 33245, 33228, 32539, 32102, 31995, 32512, // 14176-14183
+33320, 33375, 32653, 32224, 32189, 32719, 33411, 33269, // 14184-14191
+32645, 32212, 32183, 32643, 33368, 33409, 32727, 32344, // 14192-14199
+32320, 32669, 33264, 33122, 32503, 32213, 32394, 32798, // 14200-14207
+33385, 33457, 32933, 32657, 32649, 32911, 33294, 33248, // 14208-14215
+32626, 32302, 32587, 33146, 33723, 33711, 32952, 32380, // 14216-14223
+32598, 33317, 33865, 33700, 32875, 32317, 32793, 33441, // 14224-14231
+33634, 33275, 32393, 31821, 32374, 33262, 33731, 33508, // 14232-14239
+32526, 31974, 32553, 33427, 33950, 33628, 32387, 31619, // 14240-14247
+32198, 33148, 33475, 33008, 32048, 31618, 32330, 33300, // 14248-14255
+33552, 33088, 32075, 31661, 32375, 33332, 33692, 33125, // 14256-14263
+31922, 31489, 32262, 33044, 33227, 32698, 32062, 31901, // 14264-14271
+32438, 33173, 33301, 32776, 31833, 31466, 32223, 33120, // 14272-14279
+33585, 33086, 32032, 31816, 32414, 33190, 33461, 32908, // 14280-14287
+32120, 32057, 32687, 33358, 33464, 32896, 32278, 32123, // 14288-14295
+32695, 33351, 33573, 33267, 32464, 32085, 32339, 33054, // 14296-14303
+33392, 32913, 32327, 32205, 32708, 33260, 33378, 33045, // 14304-14311
+32628, 32494, 32715, 33025, 33181, 33163, 32805, 32520, // 14312-14319
+32699, 33133, 33389, 33306, 32837, 32406, 32414, 32848, // 14320-14327
+33313, 33266, 32764, 32428, 32695, 32965, 33099, 32907, // 14328-14335
+32430, 32101, 32188, 32419, 32714, 32869, 32532, 32541, // 14336-14343
+32866, 33039, 32943, 32901, 32695, 32528, 32634, 32765, // 14344-14351
+33055, 33166, 32944, 32491, 32606, 33064, 33251, 32846, // 14352-14359
+32416, 32317, 32590, 32977, 33172, 33007, 32569, 32567, // 14360-14367
+32835, 33029, 32983, 32601, 32214, 32384, 32768, 32995, // 14368-14375
+32976, 32649, 32528, 32565, 32840, 33172, 33074, 32654, // 14376-14383
+32182, 32438, 32970, 33187, 33117, 32771, 32340, 32469, // 14384-14391
+32833, 33058, 33089, 32373, 32044, 32416, 33035, 33374, // 14392-14399
+33186, 32768, 32462, 32523, 32777, 33001, 33051, 32493, // 14400-14407
+32064, 32492, 32927, 33273, 33185, 32510, 32392, 32914, // 14408-14415
+33172, 33380, 33103, 32511, 32359, 32658, 32760, 32808, // 14416-14423
+32518, 32043, 32390, 32960, 33075, 32898, 32618, 32341, // 14424-14431
+32588, 33002, 33084, 33003, 32813, 32457, 32762, 33243, // 14432-14439
+33312, 33080, 32367, 31935, 32251, 32887, 33195, 32876, // 14440-14447
+32341, 32113, 32622, 33451, 33583, 33123, 32336, 32016, // 14448-14455
+32585, 33155, 33220, 32897, 32194, 31942, 32758, 33492, // 14456-14463
+33504, 33103, 32441, 32047, 32593, 33263, 33356, 33081, // 14464-14471
+32464, 32226, 32776, 33530, 33766, 33425, 32650, 32140, // 14472-14479
+32585, 33330, 33363, 32894, 32241, 31919, 32416, 33177, // 14480-14487
+33287, 32718, 32080, 31861, 32348, 33137, 33431, 32862, // 14488-14495
+32101, 31936, 32558, 33615, 33899, 33165, 32379, 31881, // 14496-14503
+32265, 33107, 33303, 32908, 32431, 32355, 32782, 33444, // 14504-14511
+33750, 33410, 32722, 32368, 32434, 32940, 33263, 32894, // 14512-14519
+32079, 31747, 32264, 32938, 33311, 33061, 32379, 32237, // 14520-14527
+32672, 33326, 33756, 33366, 32411, 31880, 32424, 33188, // 14528-14535
+33532, 33114, 32434, 31871, 32138, 32950, 33327, 33000, // 14536-14543
+32337, 32005, 32164, 32941, 33557, 33561, 32874, 32216, // 14544-14551
+32174, 32786, 33280, 33162, 32340, 31659, 31781, 32534, // 14552-14559
+33487, 33738, 32920, 32259, 32422, 33047, 33740, 33498, // 14560-14567
+32589, 31891, 31951, 32676, 33483, 33634, 33045, 32307, // 14568-14575
+32286, 32817, 33484, 33537, 32652, 31872, 31799, 32385, // 14576-14583
+33244, 33392};// 14584-14585