a_tables.ino

// --------------------------------------------------------------------------
// This file is part of the OCS-2 firmware.
//
//    OCS-2 firmware is free software: you can redistribute it and/or modify
//    it under the terms of the GNU General Public License as published by
//    the Free Software Foundation, either version 3 of the License, or
//    (at your option) any later version.
//
//    OCS-2 firmware is distributed in the hope that it will be useful,
//    but WITHOUT ANY WARRANTY; without even the implied warranty of
//    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
//    GNU General Public License for more details.
//
//    You should have received a copy of the GNU General Public License
//    along with OCS-2 firmware.  If not, see <http://www.gnu.org/licenses/>.
// --------------------------------------------------------------------------

// todo : add C code for table generation

const uint8_t table_led[] = { // NL table for led display
  2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 
  2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 
  2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 
  2, 2, 2, 3, 3, 3, 3, 3, 3, 3, 
  3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 
  4, 4, 4, 4, 4, 4, 5, 5, 5, 5, 
  5, 5, 5, 5, 5, 6, 6, 6, 6, 6, 
  6, 6, 7, 7, 7, 7, 7, 7, 7, 8, 
  8, 8, 8, 8, 8, 9, 9, 9, 9, 9, 
  9, 10, 10, 10, 10, 10, 10, 11, 11, 11, 
  11, 11, 12, 12, 12, 12, 12, 13, 13, 13, 
  13, 13, 14, 14, 14, 14, 15, 15, 15, 15, 
  15, 16, 16, 16, 16, 17, 17, 17, 17, 18, 
  18, 18, 18, 19, 19, 19, 19, 20, 20, 20, 
  20, 21, 21, 21, 22, 22, 22, 22, 23, 23, 
  23, 24, 24, 24, 24, 25, 25, 25, 26, 26, 
  26, 27, 27, 27, 28, 28, 28, 29, 29, 29, 
  30, 30, 30, 31, 31, 31, 32, 32, 32, 33, 
  33, 33, 34, 34, 34, 35, 35, 35, 36, 36, 
  36, 37, 37, 38, 38, 38, 39, 39, 39, 40, 
  40, 41, 41, 41, 42, 42, 43, 43, 43, 44, 
  44, 45, 45, 45, 46, 46, 47, 47, 48, 48, 
  48, 49, 49, 50, 50, 51, 51, 51, 52, 52, 
  53, 53, 54, 54, 55, 55, 55, 56, 56, 57, 
  57, 58, 58, 59, 59, 60, 60, 61, 61, 62, 
  62, 63, 63, 64, 64, 65, 65, 66, 66, 67, 
  67, 68, 68, 69, 69, 70, 70, 71, 71, 72, 
  72, 73, 73, 74, 74, 75, 75, 76, 76, 77, 
  77, 78, 79, 79, 80, 80, 81, 81, 82, 82, 
  83, 84, 84, 85, 85, 86, 86, 87, 88, 88, 
  89, 89, 90, 90, 91, 92, 92, 93, 93, 94, 
  95, 95, 96, 96, 97, 98, 98, 99, 99, 100, 
  101, 101, 102, 103, 103, 104, 104, 105, 106, 106, 
  107, 108, 108, 109, 110, 110, 111, 112, 112, 113, 
  114, 114, 115, 116, 116, 117, 118, 118, 119, 120, 
  120, 121, 122, 122, 123, 124, 124, 125, 126, 126, 
  127, 128, 128, 129, 130, 131, 131, 132, 133, 133, 
  134, 135, 136, 136, 137, 138, 138, 139, 140, 141, 
  141, 142, 143, 144, 144, 145, 146, 147, 147, 148, 
  149, 150, 150, 151, 152, 153, 153, 154, 155, 156, 
  157, 157, 158, 159, 160, 160, 161, 162, 163, 164, 
  164, 165, 166, 167, 168, 168, 169, 170, 171, 172, 
  172, 173, 174, 175, 176, 177, 177, 178, 179, 180, 
  181, 182, 182, 183, 184, 185, 186, 187, 187, 188, 
  189, 190, 191, 192, 193, 193, 194, 195, 196, 197, 
  198, 199, 199, 200, 201, 202, 203, 204, 205, 206, 
  207, 207, 208, 209, 210, 211, 212, 213, 214, 215, 
  216, 216, 217, 218, 219, 220, 221, 222, 223, 224, 
  225, 226, 227, 228, 228, 229, 230, 231, 232, 233, 
  234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 
  244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 
  254, 255, 0
};

const uint32_t table_CV2increment[] = { // 1025 values, 1 step every 1/4 midi note (half tone) 
// increment need by a 32bit counter, using a Sample Rate = 48KHz

  63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 
  73, 74, 75, 76, 77, 78, 80, 81, 82, 83, 
  84, 86, 87, 88, 89, 91, 92, 93, 95, 96, 
  97, 99, 100, 102, 103, 105, 106, 108, 109, 111, 
  113, 114, 116, 117, 119, 121, 123, 124, 126, 128, 
  130, 132, 134, 136, 138, 140, 142, 144, 146, 148, 
  150, 152, 155, 157, 159, 161, 164, 166, 169, 171, 
  174, 176, 179, 181, 184, 187, 189, 192, 195, 198, 
  200, 203, 206, 209, 212, 215, 219, 222, 225, 228, 
  232, 235, 238, 242, 245, 249, 253, 256, 260, 264, 
  268, 271, 275, 279, 284, 288, 292, 296, 300, 305, 
  309, 314, 318, 323, 328, 332, 337, 342, 347, 352, 
  357, 362, 368, 373, 378, 384, 390, 395, 401, 407, 
  413, 419, 425, 431, 437, 444, 450, 457, 463, 470, 
  477, 484, 491, 498, 505, 513, 520, 528, 535, 543, 
  551, 559, 567, 575, 584, 592, 601, 609, 618, 627, 
  636, 646, 655, 665, 674, 684, 694, 704, 714, 725, 
  735, 746, 757, 768, 779, 790, 802, 814, 825, 837, 
  850, 862, 874, 887, 900, 913, 926, 940, 954, 967, 
  982, 996, 1010, 1025, 1040, 1055, 1070, 1086, 1102, 1118, 
  1134, 1151, 1167, 1184, 1201, 1219, 1237, 1255, 1273, 1291, 
  1310, 1329, 1349, 1368, 1388, 1408, 1429, 1450, 1471, 1492, 
  1514, 1536, 1558, 1581, 1604, 1627, 1651, 1675, 1699, 1724, 
  1749, 1774, 1800, 1826, 1853, 1880, 1907, 1935, 1963, 1992, 
  2021, 2050, 2080, 2110, 2141, 2172, 2204, 2236, 2268, 2301, 
  2335, 2369, 2403, 2438, 2473, 2509, 2546, 2583, 2620, 2659, 
  2697, 2736, 2776, 2817, 2858, 2899, 2941, 2984, 3028, 3072, 
  3116, 3162, 3208, 3254, 3302, 3350, 3398, 3448, 3498, 3549, 
  3600, 3653, 3706, 3760, 3815, 3870, 3926, 3983, 4041, 4100, 
  4160, 4220, 4282, 4344, 4407, 4471, 4536, 4602, 4669, 4737, 
  4806, 4876, 4947, 5019, 5092, 5166, 5241, 5317, 5395, 5473, 
  5553, 5633, 5715, 5798, 5883, 5968, 6055, 6143, 6233, 6323, 
  6415, 6509, 6603, 6699, 6797, 6896, 6996, 7098, 7201, 7306, 
  7412, 7520, 7629, 7740, 7853, 7967, 8083, 8200, 8319, 8441, 
  8563, 8688, 8814, 8942, 9072, 9204, 9338, 9474, 9612, 9752, 
  9894, 10038, 10184, 10332, 10482, 10634, 10789, 10946, 11105, 11267, 
  11431, 11597, 11766, 11937, 12110, 12286, 12465, 12646, 12830, 13017, 
  13206, 13398, 13593, 13791, 13992, 14195, 14402, 14611, 14824, 15039, 
  15258, 15480, 15705, 15934, 16165, 16400, 16639, 16881, 17127, 17376, 
  17628, 17885, 18145, 18409, 18677, 18948, 19224, 19504, 19787, 20075, 
  20367, 20663, 20964, 21269, 21578, 21892, 22210, 22533, 22861, 23194, 
  23531, 23873, 24221, 24573, 24930, 25293, 25661, 26034, 26413, 26797, 
  27187, 27582, 27983, 28390, 28803, 29222, 29647, 30079, 30516, 30960, 
  31410, 31867, 32331, 32801, 33278, 33762, 34253, 34751, 35257, 35770, 
  36290, 36818, 37353, 37897, 38448, 39007, 39574, 40150, 40734, 41327, 
  41928, 42537, 43156, 43784, 44421, 45067, 45722, 46387, 47062, 47747, 
  48441, 49146, 49861, 50586, 51322, 52068, 52825, 53594, 54373, 55164, 
  55967, 56781, 57607, 58444, 59295, 60157, 61032, 61920, 62820, 63734, 
  64661, 65602, 66556, 67524, 68506, 69503, 70514, 71539, 72580, 73635, 
  74707, 75793, 76896, 78014, 79149, 80300, 81468, 82653, 83855, 85075, 
  86312, 87568, 88842, 90134, 91445, 92775, 94124, 95493, 96882, 98292, 
  99721, 101172, 102643, 104136, 105651, 107188, 108747, 110329, 111933, 113561, 
  115213, 116889, 118589, 120314, 122064, 123840, 125641, 127468, 129322, 131203, 
  133112, 135048, 137012, 139005, 141027, 143078, 145160, 147271, 149413, 151586, 
  153791, 156028, 158298, 160600, 162936, 165306, 167710, 170150, 172625, 175136, 
  177683, 180267, 182890, 185550, 188249, 190987, 193765, 196583, 199442, 202343, 
  205287, 208273, 211302, 214375, 217494, 220657, 223867, 227123, 230426, 233778, 
  237178, 240628, 244128, 247679, 251282, 254937, 258645, 262407, 266224, 270096, 
  274025, 278010, 282054, 286157, 290319, 294542, 298826, 303173, 307582, 312056, 
  316595, 321200, 325872, 330612, 335421, 340300, 345249, 350271, 355366, 360535, 
  365779, 371099, 376497, 381973, 387529, 393166, 398885, 404687, 410573, 416545, 
  422604, 428751, 434987, 441314, 447733, 454246, 460853, 467556, 474357, 481256, 
  488256, 495358, 502563, 509873, 517290, 524814, 532447, 540192, 548049, 556021, 
  564108, 572314, 580638, 589084, 597652, 606345, 615165, 624112, 633190, 642400, 
  651744, 661224, 670842, 680599, 690499, 700542, 710732, 721070, 731558, 742199, 
  752994, 763947, 775059, 786332, 797770, 809374, 821146, 833090, 845208, 857501, 
  869974, 882628, 895466, 908491, 921705, 935112, 948713, 962513, 976513, 990717, 
  1005127, 1019747, 1034579, 1049628, 1064895, 1080384, 1096099, 1112042, 1128217, 1144627, 
  1161276, 1178167, 1195304, 1212690, 1230329, 1248225, 1266381, 1284800, 1303488, 1322448, 
  1341683, 1361199, 1380998, 1401085, 1421464, 1442140, 1463116, 1484398, 1505989, 1527894, 
  1550118, 1572665, 1595540, 1618747, 1642292, 1666180, 1690415, 1715003, 1739948, 1765256, 
  1790933, 1816982, 1843411, 1870224, 1897427, 1925026, 1953026, 1981433, 2010254, 2039494, 
  2069159, 2099255, 2129790, 2160768, 2192197, 2224084, 2256434, 2289254, 2322552, 2356335, 
  2390608, 2425380, 2460658, 2496449, 2532761, 2569601, 2606977, 2644896, 2683367, 2722397, 
  2761996, 2802170, 2842928, 2884280, 2926232, 2968795, 3011978, 3055788, 3100235, 3145329, 
  3191079, 3237494, 3284585, 3332360, 3380831, 3430006, 3479896, 3530513, 3581865, 3633965, 
  3686822, 3740448, 3794854, 3850051, 3906052, 3962866, 4020508, 4078987, 4138318, 4198511, 
  4259580, 4321537, 4384395, 4448167, 4512867, 4578508, 4645104, 4712669, 4781216, 4850761, 
  4921317, 4992899, 5065522, 5139202, 5213953, 5289792, 5366734, 5444795, 5523991, 5604340, 
  5685857, 5768559, 5852465, 5937591, 6023955, 6111576, 6200470, 6290658, 6382158, 6474989, 
  6569170, 6664720, 6761661, 6860012, 6959793, 7061025, 7163730, 7267929, 7373644, 7480896, 
  7589708, 7700103, 7812103, 7925733, 8041015, 8157975, 8276635, 8397022, 8519159, 8643073, 
  8768789, 8896334, 9025735, 9157017, 9290209, 9425338, 9562433, 9701522, 9842633, 9985798, 
  10131045, 10278404, 10427907, 10579584, 10733468, 10889590, 11047982, 11208679, 11371713, 11537118, 
  11704930, 11875182, 12047910, 12223151, 12400941, 12581317, 12764316, 12949978, 13138339, 13329441, 
  13523322, 13720023, 13919586, 14122051, 14327461, 14535858, 14747287, 14961791, 15179416, 15400205, 
  15624207, 15851466, 16082031, 16315949, 16553270, 16794043, 17038318, 17286146, 17537579, 17792669, 
  18051469, 18314034, 18580418, 18850676, 19124865, 19403043, 19685267, 19971596, 20262089, 20556808, 
  20855814, 21159168, 21466936, 21779179, 22095965, 22417358, 22743426, 23074237, 23409859, 23750364, 
  24095821, 24446302, 24801882, 25162634, 25528633, 25899955, 26276679, 26658882, 27046644, 27440047, 
  27839171, 28244101, 28654921, 29071717, 29494575, 29923583, 30358832, 30800411, 31248413, 31702932, 
  32164062, 32631899, 33106541, 33588086, 34076636, 34572292, 35075158, 35585338, 36102938, 36628068, 
  37160835, 37701352, 38249731, 38806086, 39370534, 39943191, 40524178, 41113616, 41711627, 42318337, 
  42933871, 43558359, 44191930, 44834716, 45486852, 46148474, 46819719, 47500727, 48191641, 48892605, 
  49603764, 50325267, 51057265, 51799910, 52553357, 53317763, 54093288, 54880093, 55678342, 56488203, 
  57309842, 58143433, 58989149, 59847166, 60717663, 61600822, 62496826, 63405864, 64328123, 65263797, 
  66213081, 67176172, 68153272, 69144585, 70150316, 71170676, 72205877, 73256136, 74321671, 75402704, 
  76499462, 77612172, 78741067, 79886382, 81048356, 82227232, 83423255, 84636674, 85867743, 87116718, 
  88383859, 89669432, 90973704, 92296947, 93639437, 95001454, 96383282, 97785209, 99207528, 100650535, 
  102114530, 103599820, 105106714, 106635527, 108186576, 109760186, 111356685, 112976405, 114619685, 116286867, 
  117978298, 119694332, 121435326, 123201644, 124993653, 126811727, 128656246, 130527594, 132426162, 134352345, 
  136306545, 138289169, 140300631, 142341351, 144411754, 146512271, 148643341, 150805408, 152998923, 155224344, 
  157482134, 159772765, 162096713, 164454464, 166846509, 169273348
};


uint32_t table_CV2cutof[] = { // 1025 values from about 0.005Hz to 15KHz relative to sample rate (48000 Hz) 
// 2^32-1 represent the samplerate
// 1 step every 1/4 midi note (half tone) 
// table is adjusted for the filter, since it correct non linearities in the control due to digital implementation

  500, 507, 514, 522, 529, 537, 545, 553, 561, 569, 
  577, 586, 594, 603, 612, 621, 630, 639, 648, 657, 
  667, 677, 687, 697, 707, 717, 727, 738, 749, 760, 
  771, 782, 793, 805, 816, 828, 840, 853, 865, 878, 
  890, 903, 916, 930, 943, 957, 971, 985, 999, 1014, 
  1029, 1044, 1059, 1074, 1090, 1106, 1122, 1138, 1155, 1171, 
  1189, 1206, 1223, 1241, 1259, 1278, 1296, 1315, 1334, 1353, 
  1373, 1393, 1413, 1434, 1455, 1476, 1497, 1519, 1541, 1564, 
  1586, 1610, 1633, 1657, 1681, 1705, 1730, 1755, 1781, 1807, 
  1833, 1860, 1887, 1914, 1942, 1970, 1999, 2028, 2057, 2087, 
  2118, 2148, 2180, 2211, 2244, 2276, 2309, 2343, 2377, 2412, 
  2447, 2482, 2518, 2555, 2592, 2630, 2668, 2707, 2746, 2786, 
  2827, 2868, 2910, 2952, 2995, 3038, 3083, 3127, 3173, 3219, 
  3266, 3313, 3362, 3411, 3460, 3510, 3562, 3613, 3666, 3719, 
  3773, 3828, 3884, 3940, 3998, 4056, 4115, 4175, 4235, 4297, 
  4359, 4423, 4487, 4553, 4619, 4686, 4754, 4823, 4893, 4965, 
  5037, 5110, 5184, 5260, 5336, 5414, 5493, 5573, 5654, 5736, 
  5819, 5904, 5990, 6077, 6165, 6255, 6346, 6438, 6532, 6627, 
  6723, 6821, 6920, 7021, 7123, 7227, 7332, 7438, 7547, 7656, 
  7768, 7881, 7995, 8112, 8230, 8349, 8471, 8594, 8719, 8846, 
  8974, 9105, 9237, 9372, 9508, 9646, 9787, 9929, 10074, 10220, 
  10369, 10520, 10673, 10828, 10985, 11145, 11307, 11472, 11638, 11808, 
  11979, 12154, 12331, 12510, 12692, 12876, 13064, 13254, 13447, 13642, 
  13841, 14042, 14246, 14453, 14664, 14877, 15093, 15313, 15535, 15761, 
  15991, 16223, 16459, 16699, 16942, 17188, 17438, 17692, 17949, 18210, 
  18475, 18744, 19016, 19293, 19573, 19858, 20147, 20440, 20737, 21039, 
  21345, 21655, 21970, 22290, 22614, 22943, 23277, 23615, 23959, 24307, 
  24661, 25020, 25384, 25753, 26127, 26507, 26893, 27284, 27681, 28084, 
  28492, 28907, 29327, 29754, 30186, 30625, 31071, 31523, 31981, 32447, 
  32918, 33397, 33883, 34376, 34876, 35383, 35898, 36420, 36950, 37487, 
  38032, 38586, 39147, 39716, 40294, 40880, 41475, 42078, 42690, 43311, 
  43941, 44580, 45228, 45886, 46554, 47231, 47918, 48615, 49322, 50039, 
  50767, 51506, 52255, 53015, 53786, 54568, 55362, 56167, 56984, 57813, 
  58654, 59507, 60373, 61251, 62142, 63045, 63962, 64893, 65837, 66794, 
  67766, 68751, 69752, 70766, 71795, 72840, 73899, 74974, 76065, 77171, 
  78293, 79432, 80587, 81760, 82949, 84155, 85379, 86621, 87881, 89159, 
  90456, 91772, 93107, 94461, 95835, 97229, 98643, 100078, 101534, 103010, 
  104509, 106029, 107571, 109136, 110723, 112334, 113968, 115625, 117307, 119013, 
  120744, 122501, 124282, 126090, 127924, 129785, 131672, 133588, 135531, 137502, 
  139502, 141531, 143590, 145678, 147797, 149947, 152128, 154341, 156585, 158863, 
  161174, 163518, 165896, 168309, 170757, 173241, 175761, 178317, 180911, 183542, 
  186212, 188920, 191668, 194456, 197284, 200154, 203065, 206019, 209015, 212055, 
  215140, 218269, 221444, 224665, 227932, 231248, 234611, 238024, 241486, 244998, 
  248562, 252177, 255845, 259566, 263341, 267172, 271058, 275000, 279000, 283058, 
  287175, 291352, 295590, 299889, 304251, 308676, 313166, 317721, 322342, 327030, 
  331787, 336613, 341509, 346476, 351515, 356628, 361815, 367078, 372417, 377833, 
  383329, 388904, 394561, 400300, 406122, 412029, 418022, 424102, 430270, 436528, 
  442877, 449319, 455854, 462484, 469211, 476035, 482959, 489984, 497110, 504341, 
  511676, 519118, 526668, 534328, 542100, 549985, 557984, 566099, 574333, 582686, 
  591161, 599759, 608483, 617333, 626311, 635421, 644662, 654039, 663551, 673202, 
  682993, 692927, 703005, 713230, 723603, 734127, 744805, 755637, 766627, 777777, 
  789090, 800566, 812210, 824023, 836007, 848166, 860502, 873017, 885714, 898596, 
  911665, 924924, 938376, 952024, 965870, 979918, 994169, 1008628, 1023298, 1038180, 
  1053279, 1068598, 1084139, 1099907, 1115903, 1132133, 1148598, 1165303, 1182250, 1199444, 
  1216889, 1234586, 1252542, 1270758, 1289239, 1307989, 1327011, 1346310, 1365890, 1385755, 
  1405908, 1426354, 1447098, 1468143, 1489495, 1511157, 1533133, 1555430, 1578050, 1601000, 
  1624283, 1647905, 1671870, 1696184, 1720851, 1745877, 1771266, 1797025, 1823159, 1849672, 
  1876571, 1903861, 1931548, 1959637, 1988135, 2017047, 2046379, 2076138, 2106330, 2136960, 
  2168036, 2199564, 2231550, 2264001, 2296923, 2330325, 2364212, 2398592, 2433471, 2468858, 
  2504759, 2541182, 2578134, 2615624, 2653659, 2692246, 2731395, 2771113, 2811408, 2852289, 
  2893764, 2935842, 2978531, 3021841, 3065781, 3110360, 3155586, 3201470, 3248021, 3295248, 
  3343162, 3391773, 3441090, 3491123, 3541884, 3593383, 3645630, 3698637, 3752414, 3806973, 
  3862324, 3918480, 3975453, 4033253, 4091893, 4151385, 4211742, 4272977, 4335101, 4398127, 
  4462070, 4526942, 4592757, 4659528, 4727269, 4795995, 4865719, 4936456, 5008222, 5081030, 
  5154895, 5229835, 5305863, 5382995, 5461249, 5540639, 5621182, 5702896, 5785797, 5869902, 
  5955230, 6041796, 6129621, 6218721, 6309115, 6400822, 6493862, 6588253, 6684015, 6781168, 
  6879733, 6979728, 7081177, 7184098, 7288515, 7394448, 7501919, 7610951, 7721566, 7833788, 
  7947640, 8063144, 8180326, 8299210, 8419820, 8542181, 8666318, 8792258, 8920027, 9049650, 
  9181155, 9314570, 9449921, 9587237, 9726546, 9867878, 10011261, 10156725, 10304301, 10454018, 
  10605909, 10760004, 10916335, 11074935, 11235836, 11399073, 11564678, 11732686, 11903132, 12076051, 
  12251478, 12429451, 12610006, 12793180, 12979012, 13167539, 13358800, 13552836, 13749687, 13949392, 
  14151994, 14357534, 14566054, 14777599, 14992210, 15209934, 15430815, 15654898, 15882230, 16112857, 
  16346828, 16584190, 16824993, 17069286, 17317120, 17568546, 17823615, 18082381, 18344896, 18611215, 
  18881393, 19155485, 19433548, 19715639, 20001816, 20292138, 20586666, 20885459, 21188579, 21496089, 
  21808051, 22124531, 22445592, 22771302, 23101727, 23436934, 23776994, 24121975, 24471949, 24826987, 
  25187163, 25552550, 25923224, 26299260, 26680735, 27067728, 27460319, 27858587, 28262614, 28672484, 
  29088279, 29510086, 29937990, 30372080, 30812443, 31259170, 31712353, 32172084, 32638457, 33111567, 
  33591511, 34078387, 34572295, 35073335, 35581609, 36097221, 36620277, 37150882, 37689146, 38235177, 
  38789087, 39350988, 39920995, 40499225, 41085793, 41680820, 42284427, 42896736, 43517871, 44147958, 
  44787126, 45435504, 46093224, 46760418, 47437221, 48123772, 48820208, 49526670, 50243302, 50970248, 
  51707656, 52455673, 53214451, 53984143, 54764904, 55556891, 56360264, 57175185, 58001817, 58840328, 
  59690884, 60553658, 61428822, 62316552, 63217026, 64130424, 65056930, 65996729, 66950008, 67916959, 
  68897775, 69892651, 70901787, 71925382, 72963642, 74016773, 75084985, 76168490, 77267504, 78382244, 
  79512932, 80659793, 81823053, 83002942, 84199696, 85413549, 86644742, 87893518, 89160123, 90444807, 
  91747822, 93069426, 94409877, 95769440, 97148381, 98546970, 99965481, 101404192, 102863384, 104343342, 
  105844356, 107366716, 108910721, 110476670, 112064868, 113675623, 115309247, 116966057, 118646373, 120350521, 
  122078829, 123831630, 125609263, 127412069, 129240394, 131094590, 132975012, 134882020, 136815979, 138777257, 
  140766230, 142783275, 144828776, 146903122, 149006707, 151139928, 153303189, 155496899, 157721470, 159977323, 
  162264881, 164584573, 166936834, 169322104, 171740829, 174193460, 176680452, 179202269, 181759378, 184352253, 
  186981372, 189647222, 192350292, 195091080, 197870089, 200687828, 203544810, 206441558, 209378599, 212356466, 
  215375699, 218436843, 221540452, 224687084, 227877304, 231111684, 234390803, 237715246, 241085604, 244502476, 
  247966467, 251478189, 255038260, 258647307, 262305962, 266014865, 269774662, 273586007, 277449561, 281365992, 
  285335974, 289360191, 293439331, 297574092, 301765178, 306013299, 310319176, 314683533, 319107106, 323590634, 
  328134867, 332740560, 337408478, 342139390, 346934076, 351793322, 356717922, 361708676, 366766395, 371891893, 
  377085995, 382349534, 387683347, 393088281, 398565192, 404114940, 409738395, 415436434, 421209941, 427059808, 
  432986935, 438992226, 445076598, 451240970, 457486272, 463813438, 470223413, 476717146, 483295593, 489959719, 
  496710496, 503548899, 510475915, 517492534, 524599754, 531798579, 539090020, 546475093, 553954821, 561530233, 
  569202364, 576972256, 584840953, 592809508, 600878977, 609050424, 617324914, 625703521, 634187321, 642777395, 
  651474828, 660280711, 669196136, 678222200, 687360005, 696610653, 705975251, 715454909, 725050737, 734763851, 
  744595365, 754546398, 764618067, 774811492, 785127794, 795568094, 806133511, 816825168, 827644183, 838591675, 
  849668762, 860876560, 872216182, 883688739, 895295339, 907037087, 918915083, 930930425, 943084205, 955377509, 
  967811418, 980387008, 993105348, 1005967499, 1018974515, 1032127442, 1045427318, 1058875170, 1072472018, 1086218870, 
  1100116724, 1114166566, 1128369370, 1142726100, 1157237703, 1171905115
};


const uint32_t table_CV2freq[] = { // 1025 values from about 0.005Hz to 15KHz relative to sample rate (96000 Hz) 
// 2^32-1 represent the samplerate
// 1 step every 1/4 midi note (half tone) 
// need for the LFO

   253, 256, 260, 264, 268, 271, 275, 279, 284, 288, 
  292, 296, 300, 305, 309, 314, 318, 323, 328, 332, 
  337, 342, 347, 352, 357, 362, 368, 373, 378, 384, 
  390, 395, 401, 407, 413, 419, 425, 431, 437, 444, 
  450, 457, 463, 470, 477, 484, 491, 498, 505, 513, 
  520, 528, 535, 543, 551, 559, 567, 575, 584, 592, 
  601, 609, 618, 627, 636, 646, 655, 665, 674, 684, 
  694, 704, 714, 725, 735, 746, 757, 768, 779, 790, 
  802, 814, 825, 837, 850, 862, 874, 887, 900, 913, 
  926, 940, 954, 967, 982, 996, 1010, 1025, 1040, 1055, 
  1070, 1086, 1102, 1118, 1134, 1151, 1167, 1184, 1201, 1219, 
  1237, 1255, 1273, 1291, 1310, 1329, 1349, 1368, 1388, 1408, 
  1429, 1450, 1471, 1492, 1514, 1536, 1558, 1581, 1604, 1627, 
  1651, 1675, 1699, 1724, 1749, 1774, 1800, 1826, 1853, 1880, 
  1907, 1935, 1963, 1992, 2021, 2050, 2080, 2110, 2141, 2172, 
  2204, 2236, 2268, 2301, 2335, 2369, 2403, 2438, 2473, 2509, 
  2546, 2583, 2620, 2659, 2697, 2736, 2776, 2817, 2858, 2899, 
  2941, 2984, 3028, 3072, 3116, 3162, 3208, 3254, 3302, 3350, 
  3398, 3448, 3498, 3549, 3600, 3653, 3706, 3760, 3815, 3870, 
  3926, 3983, 4041, 4100, 4160, 4220, 4282, 4344, 4407, 4471, 
  4536, 4602, 4669, 4737, 4806, 4876, 4947, 5019, 5092, 5166, 
  5241, 5317, 5395, 5473, 5553, 5633, 5715, 5798, 5883, 5968, 
  6055, 6143, 6233, 6323, 6415, 6509, 6603, 6699, 6797, 6896, 
  6996, 7098, 7201, 7306, 7412, 7520, 7629, 7740, 7853, 7967, 
  8083, 8200, 8319, 8441, 8563, 8688, 8814, 8942, 9072, 9204, 
  9338, 9474, 9612, 9752, 9894, 10038, 10184, 10332, 10482, 10634, 
  10789, 10946, 11105, 11267, 11431, 11597, 11766, 11937, 12110, 12286, 
  12465, 12646, 12830, 13017, 13206, 13398, 13593, 13791, 13992, 14195, 
  14402, 14611, 14824, 15039, 15258, 15480, 15705, 15934, 16165, 16400, 
  16639, 16881, 17127, 17376, 17628, 17885, 18145, 18409, 18677, 18948, 
  19224, 19504, 19787, 20075, 20367, 20663, 20964, 21269, 21578, 21892, 
  22210, 22533, 22861, 23194, 23531, 23873, 24221, 24573, 24930, 25293, 
  25661, 26034, 26413, 26797, 27187, 27582, 27983, 28390, 28803, 29222, 
  29647, 30079, 30516, 30960, 31410, 31867, 32331, 32801, 33278, 33762, 
  34253, 34751, 35257, 35770, 36290, 36818, 37353, 37897, 38448, 39007, 
  39574, 40150, 40734, 41327, 41928, 42537, 43156, 43784, 44421, 45067, 
  45722, 46387, 47062, 47747, 48441, 49146, 49861, 50586, 51322, 52068, 
  52825, 53594, 54373, 55164, 55967, 56781, 57607, 58444, 59295, 60157, 
  61032, 61920, 62820, 63734, 64661, 65602, 66556, 67524, 68506, 69503, 
  70514, 71539, 72580, 73635, 74707, 75793, 76896, 78014, 79149, 80300, 
  81468, 82653, 83855, 85075, 86312, 87568, 88842, 90134, 91445, 92775, 
  94124, 95493, 96882, 98292, 99721, 101172, 102643, 104136, 105651, 107188, 
  108747, 110329, 111933, 113561, 115213, 116889, 118589, 120314, 122064, 123840, 
  125641, 127468, 129322, 131203, 133112, 135048, 137012, 139005, 141027, 143078, 
  145160, 147271, 149413, 151586, 153791, 156028, 158298, 160600, 162936, 165306, 
  167710, 170150, 172625, 175136, 177683, 180267, 182890, 185550, 188249, 190987, 
  193765, 196583, 199442, 202343, 205287, 208273, 211302, 214375, 217494, 220657, 
  223867, 227123, 230426, 233778, 237178, 240628, 244128, 247679, 251282, 254937, 
  258645, 262407, 266224, 270096, 274025, 278010, 282054, 286157, 290319, 294542, 
  298826, 303173, 307582, 312056, 316595, 321200, 325872, 330612, 335421, 340300, 
  345249, 350271, 355366, 360535, 365779, 371099, 376497, 381973, 387529, 393166, 
  398885, 404687, 410573, 416545, 422604, 428751, 434987, 441314, 447733, 454246, 
  460853, 467556, 474357, 481256, 488256, 495358, 502563, 509873, 517290, 524814, 
  532447, 540192, 548049, 556021, 564108, 572314, 580638, 589084, 597652, 606345, 
  615165, 624112, 633190, 642400, 651744, 661224, 670842, 680599, 690499, 700542, 
  710732, 721070, 731558, 742199, 752994, 763947, 775059, 786332, 797770, 809374, 
  821146, 833090, 845208, 857501, 869974, 882628, 895466, 908491, 921705, 935112, 
  948713, 962513, 976513, 990717, 1005127, 1019747, 1034579, 1049628, 1064895, 1080384, 
  1096099, 1112042, 1128217, 1144627, 1161276, 1178167, 1195304, 1212690, 1230329, 1248225, 
  1266381, 1284800, 1303488, 1322448, 1341683, 1361199, 1380998, 1401085, 1421464, 1442140, 
  1463116, 1484398, 1505989, 1527894, 1550118, 1572665, 1595540, 1618747, 1642292, 1666180, 
  1690415, 1715003, 1739948, 1765256, 1790933, 1816982, 1843411, 1870224, 1897427, 1925026, 
  1953026, 1981433, 2010254, 2039494, 2069159, 2099255, 2129790, 2160768, 2192197, 2224084, 
  2256434, 2289254, 2322552, 2356335, 2390608, 2425380, 2460658, 2496449, 2532761, 2569601, 
  2606977, 2644896, 2683367, 2722397, 2761996, 2802170, 2842928, 2884280, 2926232, 2968795, 
  3011978, 3055788, 3100235, 3145329, 3191079, 3237494, 3284585, 3332360, 3380831, 3430006, 
  3479896, 3530513, 3581865, 3633965, 3686822, 3740448, 3794854, 3850051, 3906052, 3962866, 
  4020508, 4078987, 4138318, 4198511, 4259580, 4321537, 4384395, 4448167, 4512867, 4578508, 
  4645104, 4712669, 4781216, 4850761, 4921317, 4992899, 5065522, 5139202, 5213953, 5289792, 
  5366734, 5444795, 5523991, 5604340, 5685857, 5768559, 5852465, 5937591, 6023955, 6111576, 
  6200470, 6290658, 6382158, 6474989, 6569170, 6664720, 6761661, 6860012, 6959793, 7061025, 
  7163730, 7267929, 7373644, 7480896, 7589708, 7700103, 7812103, 7925733, 8041015, 8157975, 
  8276635, 8397022, 8519159, 8643073, 8768789, 8896334, 9025735, 9157017, 9290209, 9425338, 
  9562433, 9701522, 9842633, 9985798, 10131045, 10278404, 10427907, 10579584, 10733468, 10889590, 
  11047982, 11208679, 11371713, 11537118, 11704930, 11875182, 12047910, 12223151, 12400941, 12581317, 
  12764316, 12949978, 13138339, 13329441, 13523322, 13720023, 13919586, 14122051, 14327461, 14535858, 
  14747287, 14961791, 15179416, 15400205, 15624207, 15851466, 16082031, 16315949, 16553270, 16794043, 
  17038318, 17286146, 17537579, 17792669, 18051469, 18314034, 18580418, 18850676, 19124865, 19403043, 
  19685267, 19971596, 20262089, 20556808, 20855814, 21159168, 21466936, 21779179, 22095965, 22417358, 
  22743426, 23074237, 23409859, 23750364, 24095821, 24446302, 24801882, 25162634, 25528633, 25899955, 
  26276679, 26658882, 27046644, 27440047, 27839171, 28244101, 28654921, 29071717, 29494575, 29923583, 
  30358832, 30800411, 31248413, 31702932, 32164062, 32631899, 33106541, 33588086, 34076636, 34572292, 
  35075158, 35585338, 36102938, 36628068, 37160835, 37701352, 38249731, 38806086, 39370534, 39943191, 
  40524178, 41113616, 41711627, 42318337, 42933871, 43558359, 44191930, 44834716, 45486852, 46148474, 
  46819719, 47500727, 48191641, 48892605, 49603764, 50325267, 51057265, 51799910, 52553357, 53317763, 
  54093288, 54880093, 55678342, 56488203, 57309842, 58143433, 58989149, 59847166, 60717663, 61600822, 
  62496826, 63405864, 64328123, 65263797, 66213081, 67176172, 68153272, 69144585, 70150316, 71170676, 
  72205877, 73256136, 74321671, 75402704, 76499462, 77612172, 78741067, 79886382, 81048356, 82227232, 
  83423255, 84636674, 85867743, 87116718, 88383859, 89669432, 90973704, 92296947, 93639437, 95001454, 
  96383282, 97785209, 99207528, 100650535, 102114530, 103599820, 105106714, 106635527, 108186576, 109760186, 
  111356685, 112976405, 114619685, 116286867, 117978298, 119694332, 121435326, 123201644, 124993653, 126811727, 
  128656246, 130527594, 132426162, 134352345, 136306545, 138289169, 140300631, 142341351, 144411754, 146512271, 
  148643341, 150805408, 152998923, 155224344, 157482134, 159772765, 162096713, 164454464, 166846509, 169273348, 
  171735485, 174233435, 176767719, 179338865, 181947408, 184593894, 187278874, 190002908, 192766564, 195570419, 
  198415056, 201301069, 204229061, 207199641, 210213429, 213271054, 216373153, 219520373, 222713370, 225952811, 
  229239370, 232573733, 235956596, 239388664, 242870652, 246403287, 249987305, 253623455, 257312493, 261055189, 
  264852324, 268704690, 272613090, 276578338, 280601263, 284682702, 288823507, 293024542, 297286682, 301610817, 
  305997847, 310448688, 314964268, 319545529, 324193426, 328908928, 333693018, 338546695, 343470970, 348466870, 
  353535438, 358677729, 363894817, 369187789, 374557749, 380005817, 385533129, 391140837, 396830112, 402602138, 
  408458121, 414399282, 420426858, 426542107, 432746305, 439040745, 445426740, 451905621, 458478740, 465147466, 
  471913192, 478777328, 485741304, 492806574, 499974611, 507246909, 514624985, 522110378, 529704648, 537409380, 
  545226179, 553156677, 561202526, 569365404, 577647015, 586049084, 594573365, 603221633, 611995694, 620897376, 
  629928537, 639091058, 648386852, 657817856, 667386037, 677093390
};


const uint32_t table_cos[] = { //8192 values (13 bits),  result in 32 bits
  4289967296, 4289966666, 4289964775, 4289961624, 4289957213, 4289951541, 4289944609, 4289936417, 4289926964, 4289916251, 
  4289904278, 4289891044, 4289876550, 4289860796, 4289843781, 4289825506, 4289805971, 4289785175, 4289763120, 4289739804, 
  4289715227, 4289689391, 4289662294, 4289633937, 4289604320, 4289573443, 4289541306, 4289507908, 4289473251, 4289437333, 
  4289400155, 4289361718, 4289322020, 4289281062, 4289238845, 4289195367, 4289150629, 4289104632, 4289057375, 4289008858, 
  4288959081, 4288908044, 4288855748, 4288802191, 4288747376, 4288691300, 4288633965, 4288575370, 4288515516, 4288454402, 
  4288392029, 4288328396, 4288263504, 4288197353, 4288129942, 4288061272, 4287991343, 4287920154, 4287847707, 4287774000, 
  4287699034, 4287622809, 4287545325, 4287466582, 4287386581, 4287305320, 4287222801, 4287139023, 4287053986, 4286967690, 
  4286880136, 4286791323, 4286701252, 4286609923, 4286517335, 4286423488, 4286328384, 4286232021, 4286134400, 4286035521, 
  4285935384, 4285833988, 4285731335, 4285627424, 4285522256, 4285415829, 4285308145, 4285199203, 4285089004, 4284977547, 
  4284864832, 4284750861, 4284635631, 4284519145, 4284401402, 4284282401, 4284162144, 4284040629, 4283917858, 4283793830, 
  4283668545, 4283542003, 4283414205, 4283285150, 4283154839, 4283023272, 4282890448, 4282756368, 4282621032, 4282484440, 
  4282346592, 4282207488, 4282067128, 4281925512, 4281782641, 4281638515, 4281493132, 4281346495, 4281198602, 4281049454, 
  4280899051, 4280747392, 4280594479, 4280440311, 4280284889, 4280128211, 4279970279, 4279811093, 4279650652, 4279488956, 
  4279326007, 4279161803, 4278996346, 4278829635, 4278661669, 4278492450, 4278321978, 4278150252, 4277977272, 4277803039, 
  4277627553, 4277450814, 4277272822, 4277093577, 4276913079, 4276731328, 4276548325, 4276364070, 4276178562, 4275991801, 
  4275803789, 4275614525, 4275424008, 4275232240, 4275039220, 4274844949, 4274649426, 4274452652, 4274254626, 4274055349, 
  4273854822, 4273653043, 4273450014, 4273245734, 4273040204, 4272833423, 4272625392, 4272416110, 4272205579, 4271993797, 
  4271780766, 4271566486, 4271350955, 4271134176, 4270916147, 4270696868, 4270476341, 4270254565, 4270031540, 4269807267, 
  4269581745, 4269354974, 4269126956, 4268897689, 4268667174, 4268435411, 4268202401, 4267968143, 4267732638, 4267495886, 
  4267257886, 4267018639, 4266778146, 4266536405, 4266293418, 4266049185, 4265803705, 4265556980, 4265309008, 4265059790, 
  4264809327, 4264557618, 4264304664, 4264050464, 4263795019, 4263538330, 4263280395, 4263021216, 4262760792, 4262499124, 
  4262236212, 4261972055, 4261706655, 4261440011, 4261172124, 4260902993, 4260632618, 4260361001, 4260088141, 4259814037, 
  4259538692, 4259262103, 4258984273, 4258705200, 4258424886, 4258143329, 4257860531, 4257576491, 4257291211, 4257004688, 
  4256716925, 4256427922, 4256137677, 4255846192, 4255553467, 4255259502, 4254964296, 4254667851, 4254370167, 4254071242, 
  4253771079, 4253469677, 4253167035, 4252863155, 4252558037, 4252251680, 4251944085, 4251635251, 4251325180, 4251013872, 
  4250701326, 4250387543, 4250072522, 4249756265, 4249438771, 4249120040, 4248800073, 4248478870, 4248156431, 4247832757, 
  4247507846, 4247181701, 4246854320, 4246525704, 4246195853, 4245864768, 4245532448, 4245198894, 4244864106, 4244528084, 
  4244190828, 4243852340, 4243512617, 4243171662, 4242829474, 4242486053, 4242141400, 4241795515, 4241448397, 4241100048, 
  4240750467, 4240399655, 4240047612, 4239694337, 4239339832, 4238984096, 4238627130, 4238268933, 4237909507, 4237548851, 
  4237186965, 4236823850, 4236459506, 4236093933, 4235727132, 4235359102, 4234989843, 4234619357, 4234247643, 4233874701, 
  4233500532, 4233125136, 4232748512, 4232370662, 4231991586, 4231611283, 4231229755, 4230847000, 4230463020, 4230077815, 
  4229691384, 4229303729, 4228914848, 4228524744, 4228133415, 4227740862, 4227347085, 4226952085, 4226555862, 4226158415, 
  4225759746, 4225359854, 4224958740, 4224556403, 4224152845, 4223748065, 4223342064, 4222934841, 4222526398, 4222116734, 
  4221705849, 4221293744, 4220880419, 4220465875, 4220050111, 4219633127, 4219214925, 4218795504, 4218374865, 4217953007, 
  4217529931, 4217105638, 4216680127, 4216253398, 4215825453, 4215396291, 4214965913, 4214534318, 4214101507, 4213667481, 
  4213232239, 4212795781, 4212358109, 4211919222, 4211479121, 4211037806, 4210595276, 4210151533, 4209706576, 4209260407, 
  4208813024, 4208364429, 4207914621, 4207463602, 4207011370, 4206557927, 4206103273, 4205647407, 4205190331, 4204732044, 
  4204272547, 4203811840, 4203349924, 4202886798, 4202422463, 4201956919, 4201490166, 4201022205, 4200553036, 4200082660, 
  4199611076, 4199138284, 4198664286, 4198189081, 4197712669, 4197235052, 4196756229, 4196276200, 4195794966, 4195312527, 
  4194828883, 4194344035, 4193857983, 4193370727, 4192882267, 4192392604, 4191901738, 4191409670, 4190916399, 4190421926, 
  4189926251, 4189429375, 4188931297, 4188432019, 4187931540, 4187429860, 4186926981, 4186422901, 4185917623, 4185411145, 
  4184903468, 4184394593, 4183884519, 4183373248, 4182860778, 4182347112, 4181832248, 4181316188, 4180798931, 4180280478, 
  4179760829, 4179239985, 4178717945, 4178194711, 4177670282, 4177144658, 4176617841, 4176089830, 4175560625, 4175030228, 
  4174498638, 4173965855, 4173431880, 4172896713, 4172360355, 4171822806, 4171284066, 4170744135, 4170203014, 4169660703, 
  4169117202, 4168572513, 4168026634, 4167479567, 4166931311, 4166381867, 4165831236, 4165279417, 4164726412, 4164172219, 
  4163616840, 4163060276, 4162502525, 4161943589, 4161383468, 4160822163, 4160259673, 4159695998, 4159131141, 4158565099, 
  4157997875, 4157429468, 4156859878, 4156289107, 4155717154, 4155144019, 4154569703, 4153994207, 4153417530, 4152839673, 
  4152260637, 4151680421, 4151099026, 4150516452, 4149932700, 4149347771, 4148761663, 4148174378, 4147585916, 4146996278, 
  4146405463, 4145813473, 4145220306, 4144625965, 4144030449, 4143433758, 4142835893, 4142236854, 4141636642, 4141035257, 
  4140432699, 4139828968, 4139224066, 4138617992, 4138010746, 4137402330, 4136792742, 4136181985, 4135570058, 4134956961, 
  4134342695, 4133727260, 4133110657, 4132492885, 4131873946, 4131253840, 4130632566, 4130010126, 4129386520, 4128761748, 
  4128135810, 4127508707, 4126880439, 4126251007, 4125620411, 4124988651, 4124355727, 4123721641, 4123086392, 4122449981, 
  4121812409, 4121173674, 4120533779, 4119892723, 4119250507, 4118607131, 4117962595, 4117316900, 4116670046, 4116022034, 
  4115372863, 4114722535, 4114071050, 4113418408, 4112764610, 4112109655, 4111453544, 4110796279, 4110137858, 4109478282, 
  4108817553, 4108155669, 4107492633, 4106828443, 4106163100, 4105496606, 4104828959, 4104160161, 4103490212, 4102819113, 
  4102146863, 4101473463, 4100798913, 4100123215, 4099446368, 4098768372, 4098089229, 4097408938, 4096727500, 4096044916, 
  4095361185, 4094676308, 4093990286, 4093303119, 4092614807, 4091925351, 4091234750, 4090543007, 4089850120, 4089156091, 
  4088460920, 4087764606, 4087067151, 4086368556, 4085668819, 4084967943, 4084265926, 4083562771, 4082858476, 4082153043, 
  4081446472, 4080738763, 4080029917, 4079319933, 4078608814, 4077896558, 4077183167, 4076468641, 4075752980, 4075036184, 
  4074318255, 4073599192, 4072878996, 4072157667, 4071435206, 4070711613, 4069986889, 4069261034, 4068534048, 4067805933, 
  4067076687, 4066346313, 4065614809, 4064882177, 4064148417, 4063413530, 4062677516, 4061940375, 4061202107, 4060462714, 
  4059722196, 4058980552, 4058237784, 4057493893, 4056748877, 4056002738, 4055255477, 4054507093, 4053757588, 4053006961, 
  4052255213, 4051502344, 4050748356, 4049993247, 4049237020, 4048479674, 4047721209, 4046961627, 4046200927, 4045439111, 
  4044676177, 4043912128, 4043146963, 4042380683, 4041613288, 4040844779, 4040075156, 4039304420, 4038532571, 4037759609, 
  4036985536, 4036210351, 4035434054, 4034656647, 4033878130, 4033098504, 4032317768, 4031535923, 4030752970, 4029968908, 
  4029183740, 4028397465, 4027610083, 4026821595, 4026032001, 4025241303, 4024449499, 4023656592, 4022862581, 4022067466, 
  4021271249, 4020473930, 4019675509, 4018875986, 4018075362, 4017273638, 4016470815, 4015666891, 4014861869, 4014055748, 
  4013248529, 4012440212, 4011630799, 4010820289, 4010008682, 4009195980, 4008382183, 4007567291, 4006751304, 4005934224, 
  4005116051, 4004296785, 4003476427, 4002654976, 4001832435, 4001008802, 4000184079, 3999358267, 3998531365, 3997703373, 
  3996874294, 3996044127, 3995212872, 3994380530, 3993547101, 3992712587, 3991876987, 3991040302, 3990202533, 3989363679, 
  3988523743, 3987682723, 3986840620, 3985997435, 3985153169, 3984307822, 3983461394, 3982613887, 3981765299, 3980915633, 
  3980064888, 3979213065, 3978360164, 3977506187, 3976651132, 3975795002, 3974937796, 3974079516, 3973220160, 3972359731, 
  3971498228, 3970635652, 3969772003, 3968907283, 3968041491, 3967174628, 3966306695, 3965437691, 3964567618, 3963696476, 
  3962824266, 3961950988, 3961076643, 3960201230, 3959324751, 3958447207, 3957568597, 3956688922, 3955808182, 3954926380, 
  3954043513, 3953159584, 3952274593, 3951388540, 3950501426, 3949613251, 3948724016, 3947833722, 3946942368, 3946049956, 
  3945156486, 3944261958, 3943366373, 3942469732, 3941572035, 3940673282, 3939773474, 3938872612, 3937970697, 3937067728, 
  3936163706, 3935258632, 3934352506, 3933445329, 3932537102, 3931627824, 3930717497, 3929806121, 3928893696, 3927980224, 
  3927065703, 3926150136, 3925233523, 3924315864, 3923397160, 3922477411, 3921556617, 3920634780, 3919711900, 3918787978, 
  3917863013, 3916937007, 3916009960, 3915081873, 3914152746, 3913222579, 3912291374, 3911359130, 3910425849, 3909491531, 
  3908556177, 3907619786, 3906682360, 3905743899, 3904804403, 3903863874, 3902922312, 3901979717, 3901036090, 3900091431, 
  3899145741, 3898199021, 3897251271, 3896302491, 3895352683, 3894401846, 3893449982, 3892497091, 3891543173, 3890588229, 
  3889632260, 3888675266, 3887717248, 3886758206, 3885798140, 3884837053, 3883874943, 3882911811, 3881947659, 3880982486, 
  3880016294, 3879049082, 3878080852, 3877111604, 3876141338, 3875170055, 3874197756, 3873224441, 3872250111, 3871274766, 
  3870298408, 3869321035, 3868342650, 3867363253, 3866382843, 3865401423, 3864418992, 3863435551, 3862451100, 3861465641, 
  3860479173, 3859491698, 3858503215, 3857513726, 3856523231, 3855531730, 3854539225, 3853545716, 3852551203, 3851555686, 
  3850559168, 3849561647, 3848563126, 3847563603, 3846563081, 3845561558, 3844559037, 3843555518, 3842551001, 3841545486, 
  3840538976, 3839531469, 3838522966, 3837513469, 3836502978, 3835491493, 3834479015, 3833465545, 3832451083, 3831435630, 
  3830419186, 3829401752, 3828383328, 3827363916, 3826343516, 3825322128, 3824299752, 3823276391, 3822252043, 3821226711, 
  3820200394, 3819173092, 3818144808, 3817115540, 3816085291, 3815054059, 3814021847, 3812988654, 3811954482, 3810919330, 
  3809883200, 3808846092, 3807808007, 3806768945, 3805728906, 3804687893, 3803645904, 3802602941, 3801559005, 3800514095, 
  3799468213, 3798421359, 3797373534, 3796324738, 3795274973, 3794224238, 3793172534, 3792119862, 3791066223, 3790011616, 
  3788956044, 3787899506, 3786842003, 3785783535, 3784724104, 3783663709, 3782602352, 3781540033, 3780476753, 3779412513, 
  3778347312, 3777281152, 3776214033, 3775145955, 3774076921, 3773006929, 3771935982, 3770864078, 3769791220, 3768717407, 
  3767642641, 3766566921, 3765490249, 3764412625, 3763334050, 3762254524, 3761174049, 3760092624, 3759010250, 3757926929, 
  3756842660, 3755757444, 3754671283, 3753584175, 3752496123, 3751407127, 3750317187, 3749226305, 3748134480, 3747041713, 
  3745948006, 3744853358, 3743757770, 3742661243, 3741563778, 3740465376, 3739366036, 3738265759, 3737164547, 3736062400, 
  3734959318, 3733855302, 3732750353, 3731644472, 3730537658, 3729429914, 3728321238, 3727211633, 3726101098, 3724989635, 
  3723877244, 3722763925, 3721649680, 3720534508, 3719418412, 3718301390, 3717183445, 3716064576, 3714944784, 3713824070, 
  3712702435, 3711579879, 3710456403, 3709332007, 3708206693, 3707080460, 3705953310, 3704825243, 3703696260, 3702566362, 
  3701435549, 3700303821, 3699171180, 3698037627, 3696903161, 3695767783, 3694631495, 3693494297, 3692356189, 3691217173, 
  3690077248, 3688936416, 3687794677, 3686652031, 3685508481, 3684364026, 3683218666, 3682072403, 3680925238, 3679777170, 
  3678628201, 3677478331, 3676327561, 3675175892, 3674023323, 3672869857, 3671715494, 3670560234, 3669404078, 3668247027, 
  3667089081, 3665930241, 3664770508, 3663609882, 3662448364, 3661285955, 3660122656, 3658958467, 3657793388, 3656627421, 
  3655460567, 3654292825, 3653124197, 3651954683, 3650784284, 3649613000, 3648440833, 3647267783, 3646093851, 3644919037, 
  3643743343, 3642566768, 3641389313, 3640210980, 3639031768, 3637851679, 3636670714, 3635488872, 3634306155, 3633122563, 
  3631938098, 3630752759, 3629566547, 3628379464, 3627191510, 3626002685, 3624812990, 3623622426, 3622430994, 3621238694, 
  3620045527, 3618851494, 3617656595, 3616460831, 3615264204, 3614066713, 3612868359, 3611669143, 3610469065, 3609268127, 
  3608066329, 3606863672, 3605660157, 3604455783, 3603250553, 3602044466, 3600837523, 3599629725, 3598421074, 3597211568, 
  3596001210, 3594790000, 3593577938, 3592365025, 3591151263, 3589936651, 3588721191, 3587504883, 3586287727, 3585069726, 
  3583850878, 3582631186, 3581410649, 3580189269, 3578967046, 3577743981, 3576520075, 3575295328, 3574069741, 3572843314, 
  3571616049, 3570387947, 3569159007, 3567929231, 3566698620, 3565467173, 3564234893, 3563001778, 3561767832, 3560533053, 
  3559297443, 3558061002, 3556823732, 3555585632, 3554346705, 3553106949, 3551866367, 3550624958, 3549382725, 3548139666, 
  3546895783, 3545651078, 3544405549, 3543159199, 3541912028, 3540664037, 3539415225, 3538165596, 3536915148, 3535663882, 
  3534411800, 3533158903, 3531905190, 3530650662, 3529395321, 3528139167, 3526882201, 3525624423, 3524365835, 3523106436, 
  3521846228, 3520585212, 3519323388, 3518060757, 3516797320, 3515533077, 3514268030, 3513002178, 3511735523, 3510468066, 
  3509199807, 3507930746, 3506660886, 3505390226, 3504118766, 3502846509, 3501573455, 3500299604, 3499024957, 3497749515, 
  3496473279, 3495196249, 3493918427, 3492639812, 3491360406, 3490080209, 3488799223, 3487517447, 3486234884, 3484951532, 
  3483667394, 3482382470, 3481096761, 3479810267, 3478522989, 3477234928, 3475946085, 3474656460, 3473366055, 3472074870, 
  3470782905, 3469490163, 3468196642, 3466902344, 3465607271, 3464311421, 3463014798, 3461717400, 3460419229, 3459120286, 
  3457820571, 3456520085, 3455218829, 3453916804, 3452614011, 3451310449, 3450006121, 3448701026, 3447395166, 3446088542, 
  3444781153, 3443473001, 3442164087, 3440854411, 3439543974, 3438232777, 3436920821, 3435608106, 3434294634, 3432980404, 
  3431665419, 3430349677, 3429033182, 3427715932, 3426397929, 3425079174, 3423759667, 3422439409, 3421118402, 3419796645, 
  3418474140, 3417150887, 3415826887, 3414502141, 3413176649, 3411850413, 3410523433, 3409195711, 3407867245, 3406538039, 
  3405208092, 3403877405, 3402545979, 3401213814, 3399880912, 3398547273, 3397212899, 3395877789, 3394541944, 3393205367, 
  3391868056, 3390530013, 3389191239, 3387851734, 3386511500, 3385170537, 3383828846, 3382486427, 3381143282, 3379799412, 
  3378454816, 3377109496, 3375763453, 3374416687, 3373069200, 3371720991, 3370372063, 3369022415, 3367672048, 3366320963, 
  3364969162, 3363616644, 3362263411, 3360909463, 3359554802, 3358199427, 3356843340, 3355486542, 3354129033, 3352770814, 
  3351411887, 3350052251, 3348691907, 3347330857, 3345969101, 3344606640, 3343243475, 3341879606, 3340515035, 3339149762, 
  3337783788, 3336417113, 3335049739, 3333681667, 3332312897, 3330943430, 3329573266, 3328202407, 3326830854, 3325458607, 
  3324085667, 3322712034, 3321337711, 3319962696, 3318586992, 3317210600, 3315833519, 3314455750, 3313077295, 3311698155, 
  3310318330, 3308937820, 3307556627, 3306174752, 3304792195, 3303408958, 3302025040, 3300640443, 3299255168, 3297869216, 
  3296482586, 3295095281, 3293707300, 3292318646, 3290929317, 3289539316, 3288148644, 3286757300, 3285365286, 3283972602, 
  3282579251, 3281185231, 3279790544, 3278395192, 3276999174, 3275602491, 3274205145, 3272807136, 3271408465, 3270009133, 
  3268609140, 3267208488, 3265807178, 3264405209, 3263002584, 3261599302, 3260195364, 3258790773, 3257385527, 3255979628, 
  3254573078, 3253165876, 3251758024, 3250349522, 3248940371, 3247530572, 3246120126, 3244709034, 3243297297, 3241884914, 
  3240471888, 3239058219, 3237643908, 3236228956, 3234813363, 3233397130, 3231980258, 3230562749, 3229144603, 3227725820, 
  3226306401, 3224886348, 3223465661, 3222044342, 3220622390, 3219199807, 3217776593, 3216352750, 3214928277, 3213503177, 
  3212077450, 3210651097, 3209224118, 3207796515, 3206368287, 3204939437, 3203509965, 3202079872, 3200649158, 3199217824, 
  3197785872, 3196353302, 3194920115, 3193486312, 3192051894, 3190616861, 3189181214, 3187744955, 3186308083, 3184870601, 
  3183432508, 3181993806, 3180554495, 3179114577, 3177674051, 3176232920, 3174791183, 3173348842, 3171905898, 3170462351, 
  3169018202, 3167573452, 3166128102, 3164682153, 3163235605, 3161788460, 3160340719, 3158892381, 3157443448, 3155993922, 
  3154543802, 3153093089, 3151641785, 3150189890, 3148737406, 3147284332, 3145830671, 3144376421, 3142921586, 3141466165, 
  3140010159, 3138553569, 3137096397, 3135638642, 3134180305, 3132721389, 3131261893, 3129801818, 3128341165, 3126879935, 
  3125418129, 3123955748, 3122492792, 3121029263, 3119565161, 3118100487, 3116635242, 3115169427, 3113703043, 3112236090, 
  3110768570, 3109300483, 3107831830, 3106362613, 3104892831, 3103422486, 3101951579, 3100480110, 3099008080, 3097535491, 
  3096062343, 3094588637, 3093114374, 3091639554, 3090164179, 3088688250, 3087211767, 3085734731, 3084257143, 3082779004, 
  3081300315, 3079821076, 3078341289, 3076860954, 3075380073, 3073898646, 3072416673, 3070934157, 3069451098, 3067967496, 
  3066483352, 3064998668, 3063513444, 3062027682, 3060541381, 3059054543, 3057567169, 3056079260, 3054590816, 3053101838, 
  3051612328, 3050122285, 3048631712, 3047140609, 3045648976, 3044156815, 3042664127, 3041170912, 3039677171, 3038182905, 
  3036688116, 3035192803, 3033696968, 3032200612, 3030703735, 3029206339, 3027708424, 3026209991, 3024711041, 3023211576, 
  3021711595, 3020211099, 3018710091, 3017208570, 3015706537, 3014203993, 3012700940, 3011197377, 3009693307, 3008188729, 
  3006683645, 3005178056, 3003671962, 3002165364, 3000658263, 2999150661, 2997642557, 2996133954, 2994624851, 2993115250, 
  2991605151, 2990094556, 2988583465, 2987071880, 2985559800, 2984047227, 2982534163, 2981020607, 2979506560, 2977992025, 
  2976477000, 2974961488, 2973445489, 2971929005, 2970412035, 2968894581, 2967376644, 2965858225, 2964339324, 2962819943, 
  2961300082, 2959779742, 2958258925, 2956737630, 2955215860, 2953693614, 2952170894, 2950647700, 2949124035, 2947599897, 
  2946075289, 2944550211, 2943024664, 2941498649, 2939972168, 2938445219, 2936917806, 2935389928, 2933861587, 2932332783, 
  2930803517, 2929273791, 2927743604, 2926212959, 2924681856, 2923150295, 2921618278, 2920085806, 2918552879, 2917019498, 
  2915485665, 2913951380, 2912416644, 2910881458, 2909345823, 2907809740, 2906273210, 2904736233, 2903198811, 2901660944, 
  2900122634, 2898583880, 2897044685, 2895505049, 2893964973, 2892424458, 2890883504, 2889342114, 2887800286, 2886258024, 
  2884715326, 2883172195, 2881628632, 2880084636, 2878540209, 2876995353, 2875450067, 2873904353, 2872358211, 2870811643, 
  2869264650, 2867717232, 2866169390, 2864621126, 2863072440, 2861523332, 2859973805, 2858423859, 2856873494, 2855322712, 
  2853771513, 2852219899, 2850667871, 2849115429, 2847562574, 2846009307, 2844455629, 2842901542, 2841347045, 2839792140, 
  2838236828, 2836681109, 2835124985, 2833568457, 2832011525, 2830454190, 2828896453, 2827338316, 2825779778, 2824220842, 
  2822661507, 2821101775, 2819541647, 2817981124, 2816420206, 2814858895, 2813297191, 2811735096, 2810172609, 2808609733, 
  2807046468, 2805482815, 2803918774, 2802354348, 2800789537, 2799224341, 2797658761, 2796092799, 2794526456, 2792959732, 
  2791392628, 2789825146, 2788257285, 2786689048, 2785120435, 2783551446, 2781982083, 2780412347, 2778842239, 2777271760, 
  2775700909, 2774129690, 2772558101, 2770986145, 2769413822, 2767841134, 2766268080, 2764694662, 2763120881, 2761546738, 
  2759972234, 2758397370, 2756822146, 2755246563, 2753670624, 2752094327, 2750517675, 2748940668, 2747363307, 2745785594, 
  2744207528, 2742629112, 2741050345, 2739471229, 2737891765, 2736311953, 2734731795, 2733151292, 2731570444, 2729989253, 
  2728407719, 2726825843, 2725243626, 2723661069, 2722078174, 2720494940, 2718911370, 2717327463, 2715743221, 2714158644, 
  2712573735, 2710988493, 2709402919, 2707817015, 2706230781, 2704644219, 2703057328, 2701470111, 2699882568, 2698294700, 
  2696706508, 2695117993, 2693529156, 2691939998, 2690350519, 2688760721, 2687170604, 2685580170, 2683989420, 2682398354, 
  2680806973, 2679215278, 2677623271, 2676030952, 2674438321, 2672845381, 2671252132, 2669658575, 2668064710, 2666470539, 
  2664876063, 2663281283, 2661686199, 2660090813, 2658495125, 2656899136, 2655302848, 2653706261, 2652109376, 2650512195, 
  2648914717, 2647316945, 2645718878, 2644120519, 2642521867, 2640922924, 2639323690, 2637724168, 2636124357, 2634524258, 
  2632923873, 2631323203, 2629722248, 2628121009, 2626519487, 2624917684, 2623315599, 2621713235, 2620110592, 2618507671, 
  2616904472, 2615300998, 2613697248, 2612093224, 2610488927, 2608884357, 2607279516, 2605674405, 2604069024, 2602463374, 
  2600857457, 2599251273, 2597644823, 2596038108, 2594431130, 2592823888, 2591216385, 2589608620, 2588000596, 2586392312, 
  2584783770, 2583174971, 2581565916, 2579956605, 2578347040, 2576737221, 2575127150, 2573516827, 2571906254, 2570295431, 
  2568684359, 2567073039, 2565461473, 2563849661, 2562237603, 2560625302, 2559012758, 2557399971, 2555786944, 2554173676, 
  2552560169, 2550946424, 2549332441, 2547718222, 2546103768, 2544489079, 2542874157, 2541259002, 2539643615, 2538027997, 
  2536412150, 2534796074, 2533179771, 2531563240, 2529946483, 2528329502, 2526712296, 2525094867, 2523477216, 2521859344, 
  2520241252, 2518622940, 2517004410, 2515385663, 2513766699, 2512147520, 2510528126, 2508908519, 2507288699, 2505668667, 
  2504048425, 2502427973, 2500807312, 2499186443, 2497565368, 2495944086, 2494322600, 2492700909, 2491079015, 2489456919, 
  2487834622, 2486212125, 2484589429, 2482966534, 2481343442, 2479720153, 2478096669, 2476472991, 2474849119, 2473225054, 
  2471600798, 2469976351, 2468351715, 2466726889, 2465101876, 2463476676, 2461851290, 2460225719, 2458599965, 2456974027, 
  2455347907, 2453721606, 2452095125, 2450468464, 2448841626, 2447214610, 2445587418, 2443960050, 2442332508, 2440704793, 
  2439076905, 2437448845, 2435820615, 2434192216, 2432563647, 2430934911, 2429306009, 2427676940, 2426047707, 2424418309, 
  2422788749, 2421159027, 2419529144, 2417899101, 2416268899, 2414638538, 2413008021, 2411377347, 2409746518, 2408115535, 
  2406484398, 2404853109, 2403221669, 2401590078, 2399958338, 2398326449, 2396694413, 2395062230, 2393429901, 2391797428, 
  2390164811, 2388532051, 2386899149, 2385266107, 2383632925, 2381999604, 2380366144, 2378732548, 2377098816, 2375464949, 
  2373830947, 2372196813, 2370562546, 2368928148, 2367293620, 2365658962, 2364024176, 2362389263, 2360754223, 2359119058, 
  2357483768, 2355848355, 2354212819, 2352577162, 2350941384, 2349305486, 2347669470, 2346033335, 2344397084, 2342760718, 
  2341124236, 2339487640, 2337850931, 2336214111, 2334577179, 2332940138, 2331302987, 2329665728, 2328028362, 2326390889, 
  2324753312, 2323115630, 2321477845, 2319839957, 2318201968, 2316563879, 2314925690, 2313287403, 2311649018, 2310010537, 
  2308371960, 2306733288, 2305094523, 2303455665, 2301816715, 2300177674, 2298538544, 2296899324, 2295260017, 2293620623, 
  2291981143, 2290341578, 2288701929, 2287062196, 2285422382, 2283782486, 2282142511, 2280502456, 2278862323, 2277222112, 
  2275581826, 2273941464, 2272301027, 2270660517, 2269019935, 2267379281, 2265738556, 2264097762, 2262456900, 2260815970, 
  2259174973, 2257533910, 2255892783, 2254251592, 2252610338, 2250969022, 2249327646, 2247686209, 2246044713, 2244403160, 
  2242761550, 2241119883, 2239478161, 2237836386, 2236194557, 2234552676, 2232910743, 2231268761, 2229626729, 2227984649, 
  2226342521, 2224700347, 2223058128, 2221415864, 2219773557, 2218131207, 2216488816, 2214846384, 2213203912, 2211561402, 
  2209918854, 2208276269, 2206633649, 2204990994, 2203348305, 2201705583, 2200062829, 2198420044, 2196777229, 2195134386, 
  2193491514, 2191848615, 2190205690, 2188562740, 2186919766, 2185276768, 2183633749, 2181990708, 2180347647, 2178704566, 
  2177061467, 2175418351, 2173775218, 2172132070, 2170488907, 2168845731, 2167202542, 2165559342, 2163916131, 2162272910, 
  2160629681, 2158986443, 2157343199, 2155699950, 2154056695, 2152413437, 2150770175, 2149126912, 2147483648, 2145840384, 
  2144197121, 2142553859, 2140910601, 2139267346, 2137624097, 2135980853, 2134337615, 2132694386, 2131051165, 2129407954, 
  2127764754, 2126121565, 2124478389, 2122835226, 2121192078, 2119548945, 2117905829, 2116262730, 2114619649, 2112976588, 
  2111333547, 2109690528, 2108047530, 2106404556, 2104761606, 2103118681, 2101475782, 2099832910, 2098190067, 2096547252, 
  2094904467, 2093261713, 2091618991, 2089976302, 2088333647, 2086691027, 2085048442, 2083405894, 2081763384, 2080120912, 
  2078478480, 2076836089, 2075193739, 2073551432, 2071909168, 2070266949, 2068624775, 2066982647, 2065340567, 2063698535, 
  2062056553, 2060414620, 2058772739, 2057130910, 2055489135, 2053847413, 2052205746, 2050564136, 2048922583, 2047281087, 
  2045639650, 2043998274, 2042356958, 2040715704, 2039074513, 2037433386, 2035792323, 2034151326, 2032510396, 2030869534, 
  2029228740, 2027588015, 2025947361, 2024306779, 2022666269, 2021025832, 2019385470, 2017745184, 2016104973, 2014464840, 
  2012824785, 2011184810, 2009544914, 2007905100, 2006265367, 2004625718, 2002986153, 2001346673, 1999707279, 1998067972, 
  1996428752, 1994789622, 1993150581, 1991511631, 1989872773, 1988234008, 1986595336, 1984956759, 1983318278, 1981679893, 
  1980041606, 1978403417, 1976765328, 1975127339, 1973489451, 1971851666, 1970213984, 1968576407, 1966938934, 1965301568, 
  1963664309, 1962027158, 1960390117, 1958753185, 1957116365, 1955479656, 1953843060, 1952206578, 1950570212, 1948933961, 
  1947297826, 1945661810, 1944025912, 1942390134, 1940754477, 1939118941, 1937483528, 1935848238, 1934213073, 1932578033, 
  1930943120, 1929308334, 1927673676, 1926039148, 1924404750, 1922770483, 1921136349, 1919502347, 1917868480, 1916234748, 
  1914601152, 1912967692, 1911334371, 1909701189, 1908068147, 1906435245, 1904802485, 1903169868, 1901537395, 1899905066, 
  1898272883, 1896640847, 1895008958, 1893377218, 1891745627, 1890114187, 1888482898, 1886851761, 1885220778, 1883589949, 
  1881959275, 1880328758, 1878698397, 1877068195, 1875438152, 1873808269, 1872178547, 1870548987, 1868919589, 1867290356, 
  1865661287, 1864032385, 1862403649, 1860775080, 1859146681, 1857518451, 1855890391, 1854262503, 1852634788, 1851007246, 
  1849379878, 1847752686, 1846125670, 1844498832, 1842872171, 1841245690, 1839619389, 1837993269, 1836367331, 1834741577, 
  1833116006, 1831490620, 1829865420, 1828240407, 1826615581, 1824990945, 1823366498, 1821742242, 1820118177, 1818494305, 
  1816870627, 1815247143, 1813623854, 1812000762, 1810377867, 1808755171, 1807132674, 1805510377, 1803888281, 1802266387, 
  1800644696, 1799023210, 1797401928, 1795780853, 1794159984, 1792539323, 1790918871, 1789298629, 1787678597, 1786058777, 
  1784439170, 1782819776, 1781200597, 1779581633, 1777962886, 1776344356, 1774726044, 1773107952, 1771490080, 1769872429, 
  1768255000, 1766637794, 1765020813, 1763404056, 1761787525, 1760171222, 1758555146, 1756939299, 1755323681, 1753708294, 
  1752093139, 1750478217, 1748863528, 1747249074, 1745634855, 1744020872, 1742407127, 1740793620, 1739180352, 1737567325, 
  1735954538, 1734341994, 1732729693, 1731117635, 1729505823, 1727894257, 1726282937, 1724671865, 1723061042, 1721450469, 
  1719840146, 1718230075, 1716620256, 1715010691, 1713401380, 1711792325, 1710183526, 1708574984, 1706966700, 1705358676, 
  1703750911, 1702143408, 1700536166, 1698929188, 1697322473, 1695716023, 1694109839, 1692503922, 1690898272, 1689292891, 
  1687687780, 1686082939, 1684478369, 1682874072, 1681270048, 1679666298, 1678062824, 1676459625, 1674856704, 1673254061, 
  1671651697, 1670049612, 1668447809, 1666846287, 1665245048, 1663644093, 1662043423, 1660443038, 1658842939, 1657243128, 
  1655643606, 1654044372, 1652445429, 1650846777, 1649248418, 1647650351, 1646052579, 1644455101, 1642857920, 1641261035, 
  1639664448, 1638068160, 1636472171, 1634876483, 1633281097, 1631686013, 1630091233, 1628496757, 1626902586, 1625308721, 
  1623715164, 1622121915, 1620528975, 1618936344, 1617344025, 1615752018, 1614160323, 1612568942, 1610977876, 1609387126, 
  1607796692, 1606206575, 1604616777, 1603027298, 1601438140, 1599849303, 1598260788, 1596672596, 1595084728, 1593497185, 
  1591909968, 1590323077, 1588736515, 1587150281, 1585564377, 1583978803, 1582393561, 1580808652, 1579224075, 1577639833, 
  1576055926, 1574472356, 1572889122, 1571306227, 1569723670, 1568141453, 1566559577, 1564978043, 1563396852, 1561816004, 
  1560235501, 1558655343, 1557075531, 1555496067, 1553916951, 1552338184, 1550759768, 1549181702, 1547603989, 1546026628, 
  1544449621, 1542872969, 1541296672, 1539720733, 1538145150, 1536569926, 1534995062, 1533420558, 1531846415, 1530272634, 
  1528699216, 1527126162, 1525553474, 1523981151, 1522409195, 1520837606, 1519266387, 1517695536, 1516125057, 1514554949, 
  1512985213, 1511415850, 1509846861, 1508278248, 1506710011, 1505142150, 1503574668, 1502007564, 1500440840, 1498874497, 
  1497308535, 1495742955, 1494177759, 1492612948, 1491048522, 1489484481, 1487920828, 1486357563, 1484794687, 1483232200, 
  1481670105, 1480108401, 1478547090, 1476986172, 1475425649, 1473865521, 1472305789, 1470746454, 1469187518, 1467628980, 
  1466070843, 1464513106, 1462955771, 1461398839, 1459842311, 1458286187, 1456730468, 1455175156, 1453620251, 1452065754, 
  1450511667, 1448957989, 1447404722, 1445851867, 1444299425, 1442747397, 1441195783, 1439644584, 1438093802, 1436543437, 
  1434993491, 1433443964, 1431894856, 1430346170, 1428797906, 1427250064, 1425702646, 1424155653, 1422609085, 1421062943, 
  1419517229, 1417971943, 1416427087, 1414882660, 1413338664, 1411795101, 1410251970, 1408709272, 1407167010, 1405625182, 
  1404083792, 1402542838, 1401002323, 1399462247, 1397922611, 1396383416, 1394844662, 1393306352, 1391768485, 1390231063, 
  1388694086, 1387157556, 1385621473, 1384085838, 1382550652, 1381015916, 1379481631, 1377947798, 1376414417, 1374881490, 
  1373349018, 1371817001, 1370285440, 1368754337, 1367223692, 1365693505, 1364163779, 1362634513, 1361105709, 1359577368, 
  1358049490, 1356522077, 1354995128, 1353468647, 1351942632, 1350417085, 1348892007, 1347367399, 1345843261, 1344319596, 
  1342796402, 1341273682, 1339751436, 1338229666, 1336708371, 1335187554, 1333667214, 1332147353, 1330627972, 1329109071, 
  1327590652, 1326072715, 1324555261, 1323038291, 1321521807, 1320005808, 1318490296, 1316975271, 1315460736, 1313946689, 
  1312433133, 1310920069, 1309407496, 1307895416, 1306383831, 1304872740, 1303362145, 1301852046, 1300342445, 1298833342, 
  1297324739, 1295816635, 1294309033, 1292801932, 1291295334, 1289789240, 1288283651, 1286778567, 1285273989, 1283769919, 
  1282266356, 1280763303, 1279260759, 1277758726, 1276257205, 1274756197, 1273255701, 1271755720, 1270256255, 1268757305, 
  1267258872, 1265760957, 1264263561, 1262766684, 1261270328, 1259774493, 1258279180, 1256784391, 1255290125, 1253796384, 
  1252303169, 1250810481, 1249318320, 1247826687, 1246335584, 1244845011, 1243354968, 1241865458, 1240376480, 1238888036, 
  1237400127, 1235912753, 1234425915, 1232939614, 1231453852, 1229968628, 1228483944, 1226999800, 1225516198, 1224033139, 
  1222550623, 1221068650, 1219587223, 1218106342, 1216626007, 1215146220, 1213666981, 1212188292, 1210710153, 1209232565, 
  1207755529, 1206279046, 1204803117, 1203327742, 1201852922, 1200378659, 1198904953, 1197431805, 1195959216, 1194487186, 
  1193015717, 1191544810, 1190074465, 1188604683, 1187135466, 1185666813, 1184198726, 1182731206, 1181264253, 1179797869, 
  1178332054, 1176866809, 1175402135, 1173938033, 1172474504, 1171011548, 1169549167, 1168087361, 1166626131, 1165165478, 
  1163705403, 1162245907, 1160786991, 1159328654, 1157870899, 1156413727, 1154957137, 1153501131, 1152045710, 1150590875, 
  1149136625, 1147682964, 1146229890, 1144777406, 1143325511, 1141874207, 1140423494, 1138973374, 1137523848, 1136074915, 
  1134626577, 1133178836, 1131731691, 1130285143, 1128839194, 1127393844, 1125949094, 1124504945, 1123061398, 1121618454, 
  1120176113, 1118734376, 1117293245, 1115852719, 1114412801, 1112973490, 1111534788, 1110096695, 1108659213, 1107222341, 
  1105786082, 1104350435, 1102915402, 1101480984, 1100047181, 1098613994, 1097181424, 1095749472, 1094318138, 1092887424, 
  1091457331, 1090027859, 1088599009, 1087170781, 1085743178, 1084316199, 1082889846, 1081464119, 1080039019, 1078614546, 
  1077190703, 1075767489, 1074344906, 1072922954, 1071501635, 1070080948, 1068660895, 1067241476, 1065822693, 1064404547, 
  1062987038, 1061570166, 1060153933, 1058738340, 1057323388, 1055909077, 1054495408, 1053082382, 1051669999, 1050258262, 
  1048847170, 1047436724, 1046026925, 1044617774, 1043209272, 1041801420, 1040394218, 1038987668, 1037581769, 1036176523, 
  1034771932, 1033367994, 1031964712, 1030562087, 1029160118, 1027758808, 1026358156, 1024958163, 1023558831, 1022160160, 
  1020762151, 1019364805, 1017968122, 1016572104, 1015176752, 1013782065, 1012388045, 1010994694, 1009602010, 1008209996, 
  1006818652, 1005427980, 1004037979, 1002648650, 1001259996, 999872015, 998484710, 997098080, 995712128, 994326853, 
  992942256, 991558338, 990175101, 988792544, 987410669, 986029476, 984648966, 983269141, 981890001, 980511546, 
  979133777, 977756696, 976380304, 975004600, 973629585, 972255262, 970881629, 969508689, 968136442, 966764889, 
  965394030, 964023866, 962654399, 961285629, 959917557, 958550183, 957183508, 955817534, 954452261, 953087690, 
  951723821, 950360656, 948998195, 947636439, 946275389, 944915045, 943555409, 942196482, 940838263, 939480754, 
  938123956, 936767869, 935412494, 934057833, 932703885, 931350652, 929998134, 928646333, 927295248, 925944881, 
  924595233, 923246305, 921898096, 920550609, 919203843, 917857800, 916512480, 915167884, 913824014, 912480869, 
  911138450, 909796759, 908455796, 907115562, 905776057, 904437283, 903099240, 901761929, 900425352, 899089507, 
  897754397, 896420023, 895086384, 893753482, 892421317, 891089891, 889759204, 888429257, 887100051, 885771585, 
  884443863, 883116883, 881790647, 880465155, 879140409, 877816409, 876493156, 875170651, 873848894, 872527887, 
  871207629, 869888122, 868569367, 867251364, 865934114, 864617619, 863301877, 861986892, 860672662, 859359190, 
  858046475, 856734519, 855423322, 854112885, 852803209, 851494295, 850186143, 848878754, 847572130, 846266270, 
  844961175, 843656847, 842353285, 841050492, 839748467, 838447211, 837146725, 835847010, 834548067, 833249896, 
  831952498, 830655875, 829360025, 828064952, 826770654, 825477133, 824184391, 822892426, 821601241, 820310836, 
  819021211, 817732368, 816444307, 815157029, 813870535, 812584826, 811299902, 810015764, 808732412, 807449849, 
  806168073, 804887087, 803606890, 802327484, 801048869, 799771047, 798494017, 797217781, 795942339, 794667692, 
  793393841, 792120787, 790848530, 789577070, 788306410, 787036550, 785767489, 784499230, 783231773, 781965118, 
  780699266, 779434219, 778169976, 776906539, 775643908, 774382084, 773121068, 771860860, 770601461, 769342873, 
  768085095, 766828129, 765571975, 764316634, 763062106, 761808393, 760555496, 759303414, 758052148, 756801700, 
  755552071, 754303259, 753055268, 751808097, 750561747, 749316218, 748071513, 746827630, 745584571, 744342338, 
  743100929, 741860347, 740620591, 739381664, 738143564, 736906294, 735669853, 734434243, 733199464, 731965518, 
  730732403, 729500123, 728268676, 727038065, 725808289, 724579349, 723351247, 722123982, 720897555, 719671968, 
  718447221, 717223315, 716000250, 714778027, 713556647, 712336110, 711116418, 709897570, 708679569, 707462413, 
  706246105, 705030645, 703816033, 702602271, 701389358, 700177296, 698966086, 697755728, 696546222, 695337571, 
  694129773, 692922830, 691716743, 690511513, 689307139, 688103624, 686900967, 685699169, 684498231, 683298153, 
  682098937, 680900583, 679703092, 678506465, 677310701, 676115802, 674921769, 673728602, 672536302, 671344870, 
  670154306, 668964611, 667775786, 666587832, 665400749, 664214537, 663029198, 661844733, 660661141, 659478424, 
  658296582, 657115617, 655935528, 654756316, 653577983, 652400528, 651223953, 650048259, 648873445, 647699513, 
  646526463, 645354296, 644183012, 643012613, 641843099, 640674471, 639506729, 638339875, 637173908, 636008829, 
  634844640, 633681341, 632518932, 631357414, 630196788, 629037055, 627878215, 626720269, 625563218, 624407062, 
  623251802, 622097439, 620943973, 619791404, 618639735, 617488965, 616339095, 615190126, 614042058, 612894893, 
  611748630, 610603270, 609458815, 608315265, 607172619, 606030880, 604890048, 603750123, 602611107, 601472999, 
  600335801, 599199513, 598064135, 596929669, 595796116, 594663475, 593531747, 592400934, 591271036, 590142053, 
  589013986, 587886836, 586760603, 585635289, 584510893, 583387417, 582264861, 581143226, 580022512, 578902720, 
  577783851, 576665906, 575548884, 574432788, 573317616, 572203371, 571090052, 569977661, 568866198, 567755663, 
  566646058, 565537382, 564429638, 563322824, 562216943, 561111994, 560007978, 558904896, 557802749, 556701537, 
  555601260, 554501920, 553403518, 552306053, 551209526, 550113938, 549019290, 547925583, 546832816, 545740991, 
  544650109, 543560169, 542471173, 541383121, 540296013, 539209852, 538124636, 537040367, 535957046, 534874672, 
  533793247, 532712772, 531633246, 530554671, 529477047, 528400375, 527324655, 526249889, 525176076, 524103218, 
  523031314, 521960367, 520890375, 519821341, 518753263, 517686144, 516619984, 515554783, 514490543, 513427263, 
  512364944, 511303587, 510243192, 509183761, 508125293, 507067790, 506011252, 504955680, 503901073, 502847434, 
  501794762, 500743058, 499692323, 498642558, 497593762, 496545937, 495499083, 494453201, 493408291, 492364355, 
  491321392, 490279403, 489238390, 488198351, 487159289, 486121204, 485084096, 484047966, 483012814, 481978642, 
  480945449, 479913237, 478882005, 477851756, 476822488, 475794204, 474766902, 473740585, 472715253, 471690905, 
  470667544, 469645168, 468623780, 467603380, 466583968, 465565544, 464548110, 463531666, 462516213, 461501751, 
  460488281, 459475803, 458464318, 457453827, 456444330, 455435827, 454428320, 453421810, 452416295, 451411778, 
  450408259, 449405738, 448404215, 447403693, 446404170, 445405649, 444408128, 443411610, 442416093, 441421580, 
  440428071, 439435566, 438444065, 437453570, 436464081, 435475598, 434488123, 433501655, 432516196, 431531745, 
  430548304, 429565873, 428584453, 427604043, 426624646, 425646261, 424668888, 423692530, 422717185, 421742855, 
  420769540, 419797241, 418825958, 417855692, 416886444, 415918214, 414951002, 413984810, 413019637, 412055485, 
  411092353, 410130243, 409169156, 408209090, 407250048, 406292030, 405335036, 404379067, 403424123, 402470205, 
  401517314, 400565450, 399614613, 398664805, 397716025, 396768275, 395821555, 394875865, 393931206, 392987579, 
  392044984, 391103422, 390162893, 389223397, 388284936, 387347510, 386411119, 385475765, 384541447, 383608166, 
  382675922, 381744717, 380814550, 379885423, 378957336, 378030289, 377104283, 376179318, 375255396, 374332516, 
  373410679, 372489885, 371570136, 370651432, 369733773, 368817160, 367901593, 366987072, 366073600, 365161175, 
  364249799, 363339472, 362430194, 361521967, 360614790, 359708664, 358803590, 357899568, 356996599, 356094684, 
  355193822, 354294014, 353395261, 352497564, 351600923, 350705338, 349810810, 348917340, 348024928, 347133574, 
  346243280, 345354045, 344465870, 343578756, 342692703, 341807712, 340923783, 340040916, 339159114, 338278374, 
  337398699, 336520089, 335642545, 334766066, 333890653, 333016308, 332143030, 331270820, 330399678, 329529605, 
  328660601, 327792668, 326925805, 326060013, 325195293, 324331644, 323469068, 322607565, 321747136, 320887780, 
  320029500, 319172294, 318316164, 317461109, 316607132, 315754231, 314902408, 314051663, 313201997, 312353409, 
  311505902, 310659474, 309814127, 308969861, 308126676, 307284573, 306443553, 305603617, 304764763, 303926994, 
  303090309, 302254709, 301420195, 300586766, 299754424, 298923169, 298093002, 297263923, 296435931, 295609029, 
  294783217, 293958494, 293134861, 292312320, 291490869, 290670511, 289851245, 289033072, 288215992, 287400005, 
  286585113, 285771316, 284958614, 284147007, 283336497, 282527084, 281718767, 280911548, 280105427, 279300405, 
  278496481, 277693658, 276891934, 276091310, 275291787, 274493366, 273696047, 272899830, 272104715, 271310704, 
  270517797, 269725993, 268935295, 268145701, 267357213, 266569831, 265783556, 264998388, 264214326, 263431373, 
  262649528, 261868792, 261089166, 260310649, 259533242, 258756945, 257981760, 257207687, 256434725, 255662876, 
  254892140, 254122517, 253354008, 252586613, 251820333, 251055168, 250291119, 249528185, 248766369, 248005669, 
  247246087, 246487622, 245730276, 244974049, 244218940, 243464952, 242712083, 241960335, 241209708, 240460203, 
  239711819, 238964558, 238218419, 237473403, 236729512, 235986744, 235245100, 234504582, 233765189, 233026921, 
  232289780, 231553766, 230818879, 230085119, 229352487, 228620983, 227890609, 227161363, 226433248, 225706262, 
  224980407, 224255683, 223532090, 222809629, 222088300, 221368104, 220649041, 219931112, 219214316, 218498655, 
  217784129, 217070738, 216358482, 215647363, 214937379, 214228533, 213520824, 212814253, 212108820, 211404525, 
  210701370, 209999353, 209298477, 208598740, 207900145, 207202690, 206506376, 205811205, 205117176, 204424289, 
  203732546, 203041945, 202352489, 201664177, 200977010, 200290988, 199606111, 198922380, 198239796, 197558358, 
  196878067, 196198924, 195520928, 194844081, 194168383, 193493833, 192820433, 192148183, 191477084, 190807135, 
  190138337, 189470690, 188804196, 188138853, 187474663, 186811627, 186149743, 185489014, 184829438, 184171017, 
  183513752, 182857641, 182202686, 181548888, 180896246, 180244761, 179594433, 178945262, 178297250, 177650396, 
  177004701, 176360165, 175716789, 175074573, 174433517, 173793622, 173154887, 172517315, 171880904, 171245655, 
  170611569, 169978645, 169346885, 168716289, 168086857, 167458589, 166831486, 166205548, 165580776, 164957170, 
  164334730, 163713456, 163093350, 162474411, 161856639, 161240036, 160624601, 160010335, 159397238, 158785311, 
  158174554, 157564966, 156956550, 156349304, 155743230, 155138328, 154534597, 153932039, 153330654, 152730442, 
  152131403, 151533538, 150936847, 150341331, 149746990, 149153823, 148561833, 147971018, 147381380, 146792918, 
  146205633, 145619525, 145034596, 144450844, 143868270, 143286875, 142706659, 142127623, 141549766, 140973089, 
  140397593, 139823277, 139250142, 138678189, 138107418, 137537828, 136969421, 136402197, 135836155, 135271298, 
  134707623, 134145133, 133583828, 133023707, 132464771, 131907020, 131350456, 130795077, 130240884, 129687879, 
  129136060, 128585429, 128035985, 127487729, 126940662, 126394783, 125850094, 125306593, 124764282, 124223161, 
  123683230, 123144490, 122606941, 122070583, 121535416, 121001441, 120468658, 119937068, 119406671, 118877466, 
  118349455, 117822638, 117297014, 116772585, 116249351, 115727311, 115206467, 114686818, 114168365, 113651108, 
  113135048, 112620184, 112106518, 111594048, 111082777, 110572703, 110063828, 109556151, 109049673, 108544395, 
  108040315, 107537436, 107035756, 106535277, 106035999, 105537921, 105041045, 104545370, 104050897, 103557626, 
  103065558, 102574692, 102085029, 101596569, 101109313, 100623261, 100138413, 99654769, 99172330, 98691096, 
  98211067, 97732244, 97254627, 96778215, 96303010, 95829012, 95356220, 94884636, 94414260, 93945091, 
  93477130, 93010377, 92544833, 92080498, 91617372, 91155456, 90694749, 90235252, 89776965, 89319889, 
  88864023, 88409369, 87955926, 87503694, 87052675, 86602867, 86154272, 85706889, 85260720, 84815763, 
  84372020, 83929490, 83488175, 83048074, 82609187, 82171515, 81735057, 81299815, 80865789, 80432978, 
  80001383, 79571005, 79141843, 78713898, 78287169, 77861658, 77437365, 77014289, 76592431, 76171792, 
  75752371, 75334169, 74917185, 74501421, 74086877, 73673552, 73261447, 72850562, 72440898, 72032455, 
  71625232, 71219231, 70814451, 70410893, 70008556, 69607442, 69207550, 68808881, 68411434, 68015211, 
  67620211, 67226434, 66833881, 66442552, 66052448, 65663567, 65275912, 64889481, 64504276, 64120296, 
  63737541, 63356013, 62975710, 62596634, 62218784, 61842160, 61466764, 61092595, 60719653, 60347939, 
  59977453, 59608194, 59240164, 58873363, 58507790, 58143446, 57780331, 57418445, 57057789, 56698363, 
  56340166, 55983200, 55627464, 55272959, 54919684, 54567641, 54216829, 53867248, 53518899, 53171781, 
  52825896, 52481243, 52137822, 51795634, 51454679, 51114956, 50776468, 50439212, 50103190, 49768402, 
  49434848, 49102528, 48771443, 48441592, 48112976, 47785595, 47459450, 47134539, 46810865, 46488426, 
  46167223, 45847256, 45528525, 45211031, 44894774, 44579753, 44265970, 43953424, 43642116, 43332045, 
  43023211, 42715616, 42409259, 42104141, 41800261, 41497619, 41196217, 40896054, 40597129, 40299445, 
  40003000, 39707794, 39413829, 39121104, 38829619, 38539374, 38250371, 37962608, 37676085, 37390805, 
  37106765, 36823967, 36542410, 36262096, 35983023, 35705193, 35428604, 35153259, 34879155, 34606295, 
  34334678, 34064303, 33795172, 33527285, 33260641, 32995241, 32731084, 32468172, 32206504, 31946080, 
  31686901, 31428966, 31172277, 30916832, 30662632, 30409678, 30157969, 29907506, 29658288, 29410316, 
  29163591, 28918111, 28673878, 28430891, 28189150, 27948657, 27709410, 27471410, 27234658, 26999153, 
  26764895, 26531885, 26300122, 26069607, 25840340, 25612322, 25385551, 25160029, 24935756, 24712731, 
  24490955, 24270428, 24051149, 23833120, 23616341, 23400810, 23186530, 22973499, 22761717, 22551186, 
  22341904, 22133873, 21927092, 21721562, 21517282, 21314253, 21112474, 20911947, 20712670, 20514644, 
  20317870, 20122347, 19928076, 19735056, 19543288, 19352771, 19163507, 18975495, 18788734, 18603226, 
  18418971, 18235968, 18054217, 17873719, 17694474, 17516482, 17339743, 17164257, 16990024, 16817044, 
  16645318, 16474846, 16305627, 16137661, 15970950, 15805493, 15641289, 15478340, 15316644, 15156203, 
  14997017, 14839085, 14682407, 14526985, 14372817, 14219904, 14068245, 13917842, 13768694, 13620801, 
  13474164, 13328781, 13184655, 13041784, 12900168, 12759808, 12620704, 12482856, 12346264, 12210928, 
  12076848, 11944024, 11812457, 11682146, 11553091, 11425293, 11298751, 11173466, 11049438, 10926667, 
  10805152, 10684895, 10565894, 10448151, 10331665, 10216435, 10102464, 9989749, 9878292, 9768093, 
  9659151, 9551467, 9445040, 9339872, 9235961, 9133308, 9031912, 8931775, 8832896, 8735275, 
  8638912, 8543808, 8449961, 8357373, 8266044, 8175973, 8087160, 7999606, 7913310, 7828273, 
  7744495, 7661976, 7580715, 7500714, 7421971, 7344487, 7268262, 7193296, 7119589, 7047142, 
  6975953, 6906024, 6837354, 6769943, 6703792, 6638900, 6575267, 6512894, 6451780, 6391926, 
  6333331, 6275996, 6219920, 6165105, 6111548, 6059252, 6008215, 5958438, 5909921, 5862664, 
  5816667, 5771929, 5728451, 5686234, 5645276, 5605578, 5567141, 5529963, 5494045, 5459388, 
  5425990, 5393853, 5362976, 5333359, 5305002, 5277905, 5252069, 5227492, 5204176, 5182121, 
  5161325, 5141790, 5123515, 5106500, 5090746, 5076252, 5063018, 5051045, 5040332, 5030879, 
  5022687, 5015755, 5010083, 5005672, 5002521, 5000630, 5000000, 5000630, 5002521, 5005672, 
  5010083, 5015755, 5022687, 5030879, 5040332, 5051045, 5063018, 5076252, 5090746, 5106500, 
  5123515, 5141790, 5161325, 5182121, 5204176, 5227492, 5252069, 5277905, 5305002, 5333359, 
  5362976, 5393853, 5425990, 5459388, 5494045, 5529963, 5567141, 5605578, 5645276, 5686234, 
  5728451, 5771929, 5816667, 5862664, 5909921, 5958438, 6008215, 6059252, 6111548, 6165105, 
  6219920, 6275996, 6333331, 6391926, 6451780, 6512894, 6575267, 6638900, 6703792, 6769943, 
  6837354, 6906024, 6975953, 7047142, 7119589, 7193296, 7268262, 7344487, 7421971, 7500714, 
  7580715, 7661976, 7744495, 7828273, 7913310, 7999606, 8087160, 8175973, 8266044, 8357373, 
  8449961, 8543808, 8638912, 8735275, 8832896, 8931775, 9031912, 9133308, 9235961, 9339872, 
  9445040, 9551467, 9659151, 9768093, 9878292, 9989749, 10102464, 10216435, 10331665, 10448151, 
  10565894, 10684895, 10805152, 10926667, 11049438, 11173466, 11298751, 11425293, 11553091, 11682146, 
  11812457, 11944024, 12076848, 12210928, 12346264, 12482856, 12620704, 12759808, 12900168, 13041784, 
  13184655, 13328781, 13474164, 13620801, 13768694, 13917842, 14068245, 14219904, 14372817, 14526985, 
  14682407, 14839085, 14997017, 15156203, 15316644, 15478340, 15641289, 15805493, 15970950, 16137661, 
  16305627, 16474846, 16645318, 16817044, 16990024, 17164257, 17339743, 17516482, 17694474, 17873719, 
  18054217, 18235968, 18418971, 18603226, 18788734, 18975495, 19163507, 19352771, 19543288, 19735056, 
  19928076, 20122347, 20317870, 20514644, 20712670, 20911947, 21112474, 21314253, 21517282, 21721562, 
  21927092, 22133873, 22341904, 22551186, 22761717, 22973499, 23186530, 23400810, 23616341, 23833120, 
  24051149, 24270428, 24490955, 24712731, 24935756, 25160029, 25385551, 25612322, 25840340, 26069607, 
  26300122, 26531885, 26764895, 26999153, 27234658, 27471410, 27709410, 27948657, 28189150, 28430891, 
  28673878, 28918111, 29163591, 29410316, 29658288, 29907506, 30157969, 30409678, 30662632, 30916832, 
  31172277, 31428966, 31686901, 31946080, 32206504, 32468172, 32731084, 32995241, 33260641, 33527285, 
  33795172, 34064303, 34334678, 34606295, 34879155, 35153259, 35428604, 35705193, 35983023, 36262096, 
  36542410, 36823967, 37106765, 37390805, 37676085, 37962608, 38250371, 38539374, 38829619, 39121104, 
  39413829, 39707794, 40003000, 40299445, 40597129, 40896054, 41196217, 41497619, 41800261, 42104141, 
  42409259, 42715616, 43023211, 43332045, 43642116, 43953424, 44265970, 44579753, 44894774, 45211031, 
  45528525, 45847256, 46167223, 46488426, 46810865, 47134539, 47459450, 47785595, 48112976, 48441592, 
  48771443, 49102528, 49434848, 49768402, 50103190, 50439212, 50776468, 51114956, 51454679, 51795634, 
  52137822, 52481243, 52825896, 53171781, 53518899, 53867248, 54216829, 54567641, 54919684, 55272959, 
  55627464, 55983200, 56340166, 56698363, 57057789, 57418445, 57780331, 58143446, 58507790, 58873363, 
  59240164, 59608194, 59977453, 60347939, 60719653, 61092595, 61466764, 61842160, 62218784, 62596634, 
  62975710, 63356013, 63737541, 64120296, 64504276, 64889481, 65275912, 65663567, 66052448, 66442552, 
  66833881, 67226434, 67620211, 68015211, 68411434, 68808881, 69207550, 69607442, 70008556, 70410893, 
  70814451, 71219231, 71625232, 72032455, 72440898, 72850562, 73261447, 73673552, 74086877, 74501421, 
  74917185, 75334169, 75752371, 76171792, 76592431, 77014289, 77437365, 77861658, 78287169, 78713898, 
  79141843, 79571005, 80001383, 80432978, 80865789, 81299815, 81735057, 82171515, 82609187, 83048074, 
  83488175, 83929490, 84372020, 84815763, 85260720, 85706889, 86154272, 86602867, 87052675, 87503694, 
  87955926, 88409369, 88864023, 89319889, 89776965, 90235252, 90694749, 91155456, 91617372, 92080498, 
  92544833, 93010377, 93477130, 93945091, 94414260, 94884636, 95356220, 95829012, 96303010, 96778215, 
  97254627, 97732244, 98211067, 98691096, 99172330, 99654769, 100138413, 100623261, 101109313, 101596569, 
  102085029, 102574692, 103065558, 103557626, 104050897, 104545370, 105041045, 105537921, 106035999, 106535277, 
  107035756, 107537436, 108040315, 108544395, 109049673, 109556151, 110063828, 110572703, 111082777, 111594048, 
  112106518, 112620184, 113135048, 113651108, 114168365, 114686818, 115206467, 115727311, 116249351, 116772585, 
  117297014, 117822638, 118349455, 118877466, 119406671, 119937068, 120468658, 121001441, 121535416, 122070583, 
  122606941, 123144490, 123683230, 124223161, 124764282, 125306593, 125850094, 126394783, 126940662, 127487729, 
  128035985, 128585429, 129136060, 129687879, 130240884, 130795077, 131350456, 131907020, 132464771, 133023707, 
  133583828, 134145133, 134707623, 135271298, 135836155, 136402197, 136969421, 137537828, 138107418, 138678189, 
  139250142, 139823277, 140397593, 140973089, 141549766, 142127623, 142706659, 143286875, 143868270, 144450844, 
  145034596, 145619525, 146205633, 146792918, 147381380, 147971018, 148561833, 149153823, 149746990, 150341331, 
  150936847, 151533538, 152131403, 152730442, 153330654, 153932039, 154534597, 155138328, 155743230, 156349304, 
  156956550, 157564966, 158174554, 158785311, 159397238, 160010335, 160624601, 161240036, 161856639, 162474411, 
  163093350, 163713456, 164334730, 164957170, 165580776, 166205548, 166831486, 167458589, 168086857, 168716289, 
  169346885, 169978645, 170611569, 171245655, 171880904, 172517315, 173154887, 173793622, 174433517, 175074573, 
  175716789, 176360165, 177004701, 177650396, 178297250, 178945262, 179594433, 180244761, 180896246, 181548888, 
  182202686, 182857641, 183513752, 184171017, 184829438, 185489014, 186149743, 186811627, 187474663, 188138853, 
  188804196, 189470690, 190138337, 190807135, 191477084, 192148183, 192820433, 193493833, 194168383, 194844081, 
  195520928, 196198924, 196878067, 197558358, 198239796, 198922380, 199606111, 200290988, 200977010, 201664177, 
  202352489, 203041945, 203732546, 204424289, 205117176, 205811205, 206506376, 207202690, 207900145, 208598740, 
  209298477, 209999353, 210701370, 211404525, 212108820, 212814253, 213520824, 214228533, 214937379, 215647363, 
  216358482, 217070738, 217784129, 218498655, 219214316, 219931112, 220649041, 221368104, 222088300, 222809629, 
  223532090, 224255683, 224980407, 225706262, 226433248, 227161363, 227890609, 228620983, 229352487, 230085119, 
  230818879, 231553766, 232289780, 233026921, 233765189, 234504582, 235245100, 235986744, 236729512, 237473403, 
  238218419, 238964558, 239711819, 240460203, 241209708, 241960335, 242712083, 243464952, 244218940, 244974049, 
  245730276, 246487622, 247246087, 248005669, 248766369, 249528185, 250291119, 251055168, 251820333, 252586613, 
  253354008, 254122517, 254892140, 255662876, 256434725, 257207687, 257981760, 258756945, 259533242, 260310649, 
  261089166, 261868792, 262649528, 263431373, 264214326, 264998388, 265783556, 266569831, 267357213, 268145701, 
  268935295, 269725993, 270517797, 271310704, 272104715, 272899830, 273696047, 274493366, 275291787, 276091310, 
  276891934, 277693658, 278496481, 279300405, 280105427, 280911548, 281718767, 282527084, 283336497, 284147007, 
  284958614, 285771316, 286585113, 287400005, 288215992, 289033072, 289851245, 290670511, 291490869, 292312320, 
  293134861, 293958494, 294783217, 295609029, 296435931, 297263923, 298093002, 298923169, 299754424, 300586766, 
  301420195, 302254709, 303090309, 303926994, 304764763, 305603617, 306443553, 307284573, 308126676, 308969861, 
  309814127, 310659474, 311505902, 312353409, 313201997, 314051663, 314902408, 315754231, 316607132, 317461109, 
  318316164, 319172294, 320029500, 320887780, 321747136, 322607565, 323469068, 324331644, 325195293, 326060013, 
  326925805, 327792668, 328660601, 329529605, 330399678, 331270820, 332143030, 333016308, 333890653, 334766066, 
  335642545, 336520089, 337398699, 338278374, 339159114, 340040916, 340923783, 341807712, 342692703, 343578756, 
  344465870, 345354045, 346243280, 347133574, 348024928, 348917340, 349810810, 350705338, 351600923, 352497564, 
  353395261, 354294014, 355193822, 356094684, 356996599, 357899568, 358803590, 359708664, 360614790, 361521967, 
  362430194, 363339472, 364249799, 365161175, 366073600, 366987072, 367901593, 368817160, 369733773, 370651432, 
  371570136, 372489885, 373410679, 374332516, 375255396, 376179318, 377104283, 378030289, 378957336, 379885423, 
  380814550, 381744717, 382675922, 383608166, 384541447, 385475765, 386411119, 387347510, 388284936, 389223397, 
  390162893, 391103422, 392044984, 392987579, 393931206, 394875865, 395821555, 396768275, 397716025, 398664805, 
  399614613, 400565450, 401517314, 402470205, 403424123, 404379067, 405335036, 406292030, 407250048, 408209090, 
  409169156, 410130243, 411092353, 412055485, 413019637, 413984810, 414951002, 415918214, 416886444, 417855692, 
  418825958, 419797241, 420769540, 421742855, 422717185, 423692530, 424668888, 425646261, 426624646, 427604043, 
  428584453, 429565873, 430548304, 431531745, 432516196, 433501655, 434488123, 435475598, 436464081, 437453570, 
  438444065, 439435566, 440428071, 441421580, 442416093, 443411610, 444408128, 445405649, 446404170, 447403693, 
  448404215, 449405738, 450408259, 451411778, 452416295, 453421810, 454428320, 455435827, 456444330, 457453827, 
  458464318, 459475803, 460488281, 461501751, 462516213, 463531666, 464548110, 465565544, 466583968, 467603380, 
  468623780, 469645168, 470667544, 471690905, 472715253, 473740585, 474766902, 475794204, 476822488, 477851756, 
  478882005, 479913237, 480945449, 481978642, 483012814, 484047966, 485084096, 486121204, 487159289, 488198351, 
  489238390, 490279403, 491321392, 492364355, 493408291, 494453201, 495499083, 496545937, 497593762, 498642558, 
  499692323, 500743058, 501794762, 502847434, 503901073, 504955680, 506011252, 507067790, 508125293, 509183761, 
  510243192, 511303587, 512364944, 513427263, 514490543, 515554783, 516619984, 517686144, 518753263, 519821341, 
  520890375, 521960367, 523031314, 524103218, 525176076, 526249889, 527324655, 528400375, 529477047, 530554671, 
  531633246, 532712772, 533793247, 534874672, 535957046, 537040367, 538124636, 539209852, 540296013, 541383121, 
  542471173, 543560169, 544650109, 545740991, 546832816, 547925583, 549019290, 550113938, 551209526, 552306053, 
  553403518, 554501920, 555601260, 556701537, 557802749, 558904896, 560007978, 561111994, 562216943, 563322824, 
  564429638, 565537382, 566646058, 567755663, 568866198, 569977661, 571090052, 572203371, 573317616, 574432788, 
  575548884, 576665906, 577783851, 578902720, 580022512, 581143226, 582264861, 583387417, 584510893, 585635289, 
  586760603, 587886836, 589013986, 590142053, 591271036, 592400934, 593531747, 594663475, 595796116, 596929669, 
  598064135, 599199513, 600335801, 601472999, 602611107, 603750123, 604890048, 606030880, 607172619, 608315265, 
  609458815, 610603270, 611748630, 612894893, 614042058, 615190126, 616339095, 617488965, 618639735, 619791404, 
  620943973, 622097439, 623251802, 624407062, 625563218, 626720269, 627878215, 629037055, 630196788, 631357414, 
  632518932, 633681341, 634844640, 636008829, 637173908, 638339875, 639506729, 640674471, 641843099, 643012613, 
  644183012, 645354296, 646526463, 647699513, 648873445, 650048259, 651223953, 652400528, 653577983, 654756316, 
  655935528, 657115617, 658296582, 659478424, 660661141, 661844733, 663029198, 664214537, 665400749, 666587832, 
  667775786, 668964611, 670154306, 671344870, 672536302, 673728602, 674921769, 676115802, 677310701, 678506465, 
  679703092, 680900583, 682098937, 683298153, 684498231, 685699169, 686900967, 688103624, 689307139, 690511513, 
  691716743, 692922830, 694129773, 695337571, 696546222, 697755728, 698966086, 700177296, 701389358, 702602271, 
  703816033, 705030645, 706246105, 707462413, 708679569, 709897570, 711116418, 712336110, 713556647, 714778027, 
  716000250, 717223315, 718447221, 719671968, 720897555, 722123982, 723351247, 724579349, 725808289, 727038065, 
  728268676, 729500123, 730732403, 731965518, 733199464, 734434243, 735669853, 736906294, 738143564, 739381664, 
  740620591, 741860347, 743100929, 744342338, 745584571, 746827630, 748071513, 749316218, 750561747, 751808097, 
  753055268, 754303259, 755552071, 756801700, 758052148, 759303414, 760555496, 761808393, 763062106, 764316634, 
  765571975, 766828129, 768085095, 769342873, 770601461, 771860860, 773121068, 774382084, 775643908, 776906539, 
  778169976, 779434219, 780699266, 781965118, 783231773, 784499230, 785767489, 787036550, 788306410, 789577070, 
  790848530, 792120787, 793393841, 794667692, 795942339, 797217781, 798494017, 799771047, 801048869, 802327484, 
  803606890, 804887087, 806168073, 807449849, 808732412, 810015764, 811299902, 812584826, 813870535, 815157029, 
  816444307, 817732368, 819021211, 820310836, 821601241, 822892426, 824184391, 825477133, 826770654, 828064952, 
  829360025, 830655875, 831952498, 833249896, 834548067, 835847010, 837146725, 838447211, 839748467, 841050492, 
  842353285, 843656847, 844961175, 846266270, 847572130, 848878754, 850186143, 851494295, 852803209, 854112885, 
  855423322, 856734519, 858046475, 859359190, 860672662, 861986892, 863301877, 864617619, 865934114, 867251364, 
  868569367, 869888122, 871207629, 872527887, 873848894, 875170651, 876493156, 877816409, 879140409, 880465155, 
  881790647, 883116883, 884443863, 885771585, 887100051, 888429257, 889759204, 891089891, 892421317, 893753482, 
  895086384, 896420023, 897754397, 899089507, 900425352, 901761929, 903099240, 904437283, 905776057, 907115562, 
  908455796, 909796759, 911138450, 912480869, 913824014, 915167884, 916512480, 917857800, 919203843, 920550609, 
  921898096, 923246305, 924595233, 925944881, 927295248, 928646333, 929998134, 931350652, 932703885, 934057833, 
  935412494, 936767869, 938123956, 939480754, 940838263, 942196482, 943555409, 944915045, 946275389, 947636439, 
  948998195, 950360656, 951723821, 953087690, 954452261, 955817534, 957183508, 958550183, 959917557, 961285629, 
  962654399, 964023866, 965394030, 966764889, 968136442, 969508689, 970881629, 972255262, 973629585, 975004600, 
  976380304, 977756696, 979133777, 980511546, 981890001, 983269141, 984648966, 986029476, 987410669, 988792544, 
  990175101, 991558338, 992942256, 994326853, 995712128, 997098080, 998484710, 999872015, 1001259996, 1002648650, 
  1004037979, 1005427980, 1006818652, 1008209996, 1009602010, 1010994694, 1012388045, 1013782065, 1015176752, 1016572104, 
  1017968122, 1019364805, 1020762151, 1022160160, 1023558831, 1024958163, 1026358156, 1027758808, 1029160118, 1030562087, 
  1031964712, 1033367994, 1034771932, 1036176523, 1037581769, 1038987668, 1040394218, 1041801420, 1043209272, 1044617774, 
  1046026925, 1047436724, 1048847170, 1050258262, 1051669999, 1053082382, 1054495408, 1055909077, 1057323388, 1058738340, 
  1060153933, 1061570166, 1062987038, 1064404547, 1065822693, 1067241476, 1068660895, 1070080948, 1071501635, 1072922954, 
  1074344906, 1075767489, 1077190703, 1078614546, 1080039019, 1081464119, 1082889846, 1084316199, 1085743178, 1087170781, 
  1088599009, 1090027859, 1091457331, 1092887424, 1094318138, 1095749472, 1097181424, 1098613994, 1100047181, 1101480984, 
  1102915402, 1104350435, 1105786082, 1107222341, 1108659213, 1110096695, 1111534788, 1112973490, 1114412801, 1115852719, 
  1117293245, 1118734376, 1120176113, 1121618454, 1123061398, 1124504945, 1125949094, 1127393844, 1128839194, 1130285143, 
  1131731691, 1133178836, 1134626577, 1136074915, 1137523848, 1138973374, 1140423494, 1141874207, 1143325511, 1144777406, 
  1146229890, 1147682964, 1149136625, 1150590875, 1152045710, 1153501131, 1154957137, 1156413727, 1157870899, 1159328654, 
  1160786991, 1162245907, 1163705403, 1165165478, 1166626131, 1168087361, 1169549167, 1171011548, 1172474504, 1173938033, 
  1175402135, 1176866809, 1178332054, 1179797869, 1181264253, 1182731206, 1184198726, 1185666813, 1187135466, 1188604683, 
  1190074465, 1191544810, 1193015717, 1194487186, 1195959216, 1197431805, 1198904953, 1200378659, 1201852922, 1203327742, 
  1204803117, 1206279046, 1207755529, 1209232565, 1210710153, 1212188292, 1213666981, 1215146220, 1216626007, 1218106342, 
  1219587223, 1221068650, 1222550623, 1224033139, 1225516198, 1226999800, 1228483944, 1229968628, 1231453852, 1232939614, 
  1234425915, 1235912753, 1237400127, 1238888036, 1240376480, 1241865458, 1243354968, 1244845011, 1246335584, 1247826687, 
  1249318320, 1250810481, 1252303169, 1253796384, 1255290125, 1256784391, 1258279180, 1259774493, 1261270328, 1262766684, 
  1264263561, 1265760957, 1267258872, 1268757305, 1270256255, 1271755720, 1273255701, 1274756197, 1276257205, 1277758726, 
  1279260759, 1280763303, 1282266356, 1283769919, 1285273989, 1286778567, 1288283651, 1289789240, 1291295334, 1292801932, 
  1294309033, 1295816635, 1297324739, 1298833342, 1300342445, 1301852046, 1303362145, 1304872740, 1306383831, 1307895416, 
  1309407496, 1310920069, 1312433133, 1313946689, 1315460736, 1316975271, 1318490296, 1320005808, 1321521807, 1323038291, 
  1324555261, 1326072715, 1327590652, 1329109071, 1330627972, 1332147353, 1333667214, 1335187554, 1336708371, 1338229666, 
  1339751436, 1341273682, 1342796402, 1344319596, 1345843261, 1347367399, 1348892007, 1350417085, 1351942632, 1353468647, 
  1354995128, 1356522077, 1358049490, 1359577368, 1361105709, 1362634513, 1364163779, 1365693505, 1367223692, 1368754337, 
  1370285440, 1371817001, 1373349018, 1374881490, 1376414417, 1377947798, 1379481631, 1381015916, 1382550652, 1384085838, 
  1385621473, 1387157556, 1388694086, 1390231063, 1391768485, 1393306352, 1394844662, 1396383416, 1397922611, 1399462247, 
  1401002323, 1402542838, 1404083792, 1405625182, 1407167010, 1408709272, 1410251970, 1411795101, 1413338664, 1414882660, 
  1416427087, 1417971943, 1419517229, 1421062943, 1422609085, 1424155653, 1425702646, 1427250064, 1428797906, 1430346170, 
  1431894856, 1433443964, 1434993491, 1436543437, 1438093802, 1439644584, 1441195783, 1442747397, 1444299425, 1445851867, 
  1447404722, 1448957989, 1450511667, 1452065754, 1453620251, 1455175156, 1456730468, 1458286187, 1459842311, 1461398839, 
  1462955771, 1464513106, 1466070843, 1467628980, 1469187518, 1470746454, 1472305789, 1473865521, 1475425649, 1476986172, 
  1478547090, 1480108401, 1481670105, 1483232200, 1484794687, 1486357563, 1487920828, 1489484481, 1491048522, 1492612948, 
  1494177759, 1495742955, 1497308535, 1498874497, 1500440840, 1502007564, 1503574668, 1505142150, 1506710011, 1508278248, 
  1509846861, 1511415850, 1512985213, 1514554949, 1516125057, 1517695536, 1519266387, 1520837606, 1522409195, 1523981151, 
  1525553474, 1527126162, 1528699216, 1530272634, 1531846415, 1533420558, 1534995062, 1536569926, 1538145150, 1539720733, 
  1541296672, 1542872969, 1544449621, 1546026628, 1547603989, 1549181702, 1550759768, 1552338184, 1553916951, 1555496067, 
  1557075531, 1558655343, 1560235501, 1561816004, 1563396852, 1564978043, 1566559577, 1568141453, 1569723670, 1571306227, 
  1572889122, 1574472356, 1576055926, 1577639833, 1579224075, 1580808652, 1582393561, 1583978803, 1585564377, 1587150281, 
  1588736515, 1590323077, 1591909968, 1593497185, 1595084728, 1596672596, 1598260788, 1599849303, 1601438140, 1603027298, 
  1604616777, 1606206575, 1607796692, 1609387126, 1610977876, 1612568942, 1614160323, 1615752018, 1617344025, 1618936344, 
  1620528975, 1622121915, 1623715164, 1625308721, 1626902586, 1628496757, 1630091233, 1631686013, 1633281097, 1634876483, 
  1636472171, 1638068160, 1639664448, 1641261035, 1642857920, 1644455101, 1646052579, 1647650351, 1649248418, 1650846777, 
  1652445429, 1654044372, 1655643606, 1657243128, 1658842939, 1660443038, 1662043423, 1663644093, 1665245048, 1666846287, 
  1668447809, 1670049612, 1671651697, 1673254061, 1674856704, 1676459625, 1678062824, 1679666298, 1681270048, 1682874072, 
  1684478369, 1686082939, 1687687780, 1689292891, 1690898272, 1692503922, 1694109839, 1695716023, 1697322473, 1698929188, 
  1700536166, 1702143408, 1703750911, 1705358676, 1706966700, 1708574984, 1710183526, 1711792325, 1713401380, 1715010691, 
  1716620256, 1718230075, 1719840146, 1721450469, 1723061042, 1724671865, 1726282937, 1727894257, 1729505823, 1731117635, 
  1732729693, 1734341994, 1735954538, 1737567325, 1739180352, 1740793620, 1742407127, 1744020872, 1745634855, 1747249074, 
  1748863528, 1750478217, 1752093139, 1753708294, 1755323681, 1756939299, 1758555146, 1760171222, 1761787525, 1763404056, 
  1765020813, 1766637794, 1768255000, 1769872429, 1771490080, 1773107952, 1774726044, 1776344356, 1777962886, 1779581633, 
  1781200597, 1782819776, 1784439170, 1786058777, 1787678597, 1789298629, 1790918871, 1792539323, 1794159984, 1795780853, 
  1797401928, 1799023210, 1800644696, 1802266387, 1803888281, 1805510377, 1807132674, 1808755171, 1810377867, 1812000762, 
  1813623854, 1815247143, 1816870627, 1818494305, 1820118177, 1821742242, 1823366498, 1824990945, 1826615581, 1828240407, 
  1829865420, 1831490620, 1833116006, 1834741577, 1836367331, 1837993269, 1839619389, 1841245690, 1842872171, 1844498832, 
  1846125670, 1847752686, 1849379878, 1851007246, 1852634788, 1854262503, 1855890391, 1857518451, 1859146681, 1860775080, 
  1862403649, 1864032385, 1865661287, 1867290356, 1868919589, 1870548987, 1872178547, 1873808269, 1875438152, 1877068195, 
  1878698397, 1880328758, 1881959275, 1883589949, 1885220778, 1886851761, 1888482898, 1890114187, 1891745627, 1893377218, 
  1895008958, 1896640847, 1898272883, 1899905066, 1901537395, 1903169868, 1904802485, 1906435245, 1908068147, 1909701189, 
  1911334371, 1912967692, 1914601152, 1916234748, 1917868480, 1919502347, 1921136349, 1922770483, 1924404750, 1926039148, 
  1927673676, 1929308334, 1930943120, 1932578033, 1934213073, 1935848238, 1937483528, 1939118941, 1940754477, 1942390134, 
  1944025912, 1945661810, 1947297826, 1948933961, 1950570212, 1952206578, 1953843060, 1955479656, 1957116365, 1958753185, 
  1960390117, 1962027158, 1963664309, 1965301568, 1966938934, 1968576407, 1970213984, 1971851666, 1973489451, 1975127339, 
  1976765328, 1978403417, 1980041606, 1981679893, 1983318278, 1984956759, 1986595336, 1988234008, 1989872773, 1991511631, 
  1993150581, 1994789622, 1996428752, 1998067972, 1999707279, 2001346673, 2002986153, 2004625718, 2006265367, 2007905100, 
  2009544914, 2011184810, 2012824785, 2014464840, 2016104973, 2017745184, 2019385470, 2021025832, 2022666269, 2024306779, 
  2025947361, 2027588015, 2029228740, 2030869534, 2032510396, 2034151326, 2035792323, 2037433386, 2039074513, 2040715704, 
  2042356958, 2043998274, 2045639650, 2047281087, 2048922583, 2050564136, 2052205746, 2053847413, 2055489135, 2057130910, 
  2058772739, 2060414620, 2062056553, 2063698535, 2065340567, 2066982647, 2068624775, 2070266949, 2071909168, 2073551432, 
  2075193739, 2076836089, 2078478480, 2080120912, 2081763384, 2083405894, 2085048442, 2086691027, 2088333647, 2089976302, 
  2091618991, 2093261713, 2094904467, 2096547252, 2098190067, 2099832910, 2101475782, 2103118681, 2104761606, 2106404556, 
  2108047530, 2109690528, 2111333547, 2112976588, 2114619649, 2116262730, 2117905829, 2119548945, 2121192078, 2122835226, 
  2124478389, 2126121565, 2127764754, 2129407954, 2131051165, 2132694386, 2134337615, 2135980853, 2137624097, 2139267346, 
  2140910601, 2142553859, 2144197121, 2145840384, 2147483648, 2149126912, 2150770175, 2152413437, 2154056695, 2155699950, 
  2157343199, 2158986443, 2160629681, 2162272910, 2163916131, 2165559342, 2167202542, 2168845731, 2170488907, 2172132070, 
  2173775218, 2175418351, 2177061467, 2178704566, 2180347647, 2181990708, 2183633749, 2185276768, 2186919766, 2188562740, 
  2190205690, 2191848615, 2193491514, 2195134386, 2196777229, 2198420044, 2200062829, 2201705583, 2203348305, 2204990994, 
  2206633649, 2208276269, 2209918854, 2211561402, 2213203912, 2214846384, 2216488816, 2218131207, 2219773557, 2221415864, 
  2223058128, 2224700347, 2226342521, 2227984649, 2229626729, 2231268761, 2232910743, 2234552676, 2236194557, 2237836386, 
  2239478161, 2241119883, 2242761550, 2244403160, 2246044713, 2247686209, 2249327646, 2250969022, 2252610338, 2254251592, 
  2255892783, 2257533910, 2259174973, 2260815970, 2262456900, 2264097762, 2265738556, 2267379281, 2269019935, 2270660517, 
  2272301027, 2273941464, 2275581826, 2277222112, 2278862323, 2280502456, 2282142511, 2283782486, 2285422382, 2287062196, 
  2288701929, 2290341578, 2291981143, 2293620623, 2295260017, 2296899324, 2298538544, 2300177674, 2301816715, 2303455665, 
  2305094523, 2306733288, 2308371960, 2310010537, 2311649018, 2313287403, 2314925690, 2316563879, 2318201968, 2319839957, 
  2321477845, 2323115630, 2324753312, 2326390889, 2328028362, 2329665728, 2331302987, 2332940138, 2334577179, 2336214111, 
  2337850931, 2339487640, 2341124236, 2342760718, 2344397084, 2346033335, 2347669470, 2349305486, 2350941384, 2352577162, 
  2354212819, 2355848355, 2357483768, 2359119058, 2360754223, 2362389263, 2364024176, 2365658962, 2367293620, 2368928148, 
  2370562546, 2372196813, 2373830947, 2375464949, 2377098816, 2378732548, 2380366144, 2381999604, 2383632925, 2385266107, 
  2386899149, 2388532051, 2390164811, 2391797428, 2393429901, 2395062230, 2396694413, 2398326449, 2399958338, 2401590078, 
  2403221669, 2404853109, 2406484398, 2408115535, 2409746518, 2411377347, 2413008021, 2414638538, 2416268899, 2417899101, 
  2419529144, 2421159027, 2422788749, 2424418309, 2426047707, 2427676940, 2429306009, 2430934911, 2432563647, 2434192216, 
  2435820615, 2437448845, 2439076905, 2440704793, 2442332508, 2443960050, 2445587418, 2447214610, 2448841626, 2450468464, 
  2452095125, 2453721606, 2455347907, 2456974027, 2458599965, 2460225719, 2461851290, 2463476676, 2465101876, 2466726889, 
  2468351715, 2469976351, 2471600798, 2473225054, 2474849119, 2476472991, 2478096669, 2479720153, 2481343442, 2482966534, 
  2484589429, 2486212125, 2487834622, 2489456919, 2491079015, 2492700909, 2494322600, 2495944086, 2497565368, 2499186443, 
  2500807312, 2502427973, 2504048425, 2505668667, 2507288699, 2508908519, 2510528126, 2512147520, 2513766699, 2515385663, 
  2517004410, 2518622940, 2520241252, 2521859344, 2523477216, 2525094867, 2526712296, 2528329502, 2529946483, 2531563240, 
  2533179771, 2534796074, 2536412150, 2538027997, 2539643615, 2541259002, 2542874157, 2544489079, 2546103768, 2547718222, 
  2549332441, 2550946424, 2552560169, 2554173676, 2555786944, 2557399971, 2559012758, 2560625302, 2562237603, 2563849661, 
  2565461473, 2567073039, 2568684359, 2570295431, 2571906254, 2573516827, 2575127150, 2576737221, 2578347040, 2579956605, 
  2581565916, 2583174971, 2584783770, 2586392312, 2588000596, 2589608620, 2591216385, 2592823888, 2594431130, 2596038108, 
  2597644823, 2599251273, 2600857457, 2602463374, 2604069024, 2605674405, 2607279516, 2608884357, 2610488927, 2612093224, 
  2613697248, 2615300998, 2616904472, 2618507671, 2620110592, 2621713235, 2623315599, 2624917684, 2626519487, 2628121009, 
  2629722248, 2631323203, 2632923873, 2634524258, 2636124357, 2637724168, 2639323690, 2640922924, 2642521867, 2644120519, 
  2645718878, 2647316945, 2648914717, 2650512195, 2652109376, 2653706261, 2655302848, 2656899136, 2658495125, 2660090813, 
  2661686199, 2663281283, 2664876063, 2666470539, 2668064710, 2669658575, 2671252132, 2672845381, 2674438321, 2676030952, 
  2677623271, 2679215278, 2680806973, 2682398354, 2683989420, 2685580170, 2687170604, 2688760721, 2690350519, 2691939998, 
  2693529156, 2695117993, 2696706508, 2698294700, 2699882568, 2701470111, 2703057328, 2704644219, 2706230781, 2707817015, 
  2709402919, 2710988493, 2712573735, 2714158644, 2715743221, 2717327463, 2718911370, 2720494940, 2722078174, 2723661069, 
  2725243626, 2726825843, 2728407719, 2729989253, 2731570444, 2733151292, 2734731795, 2736311953, 2737891765, 2739471229, 
  2741050345, 2742629112, 2744207528, 2745785594, 2747363307, 2748940668, 2750517675, 2752094327, 2753670624, 2755246563, 
  2756822146, 2758397370, 2759972234, 2761546738, 2763120881, 2764694662, 2766268080, 2767841134, 2769413822, 2770986145, 
  2772558101, 2774129690, 2775700909, 2777271760, 2778842239, 2780412347, 2781982083, 2783551446, 2785120435, 2786689048, 
  2788257285, 2789825146, 2791392628, 2792959732, 2794526456, 2796092799, 2797658761, 2799224341, 2800789537, 2802354348, 
  2803918774, 2805482815, 2807046468, 2808609733, 2810172609, 2811735096, 2813297191, 2814858895, 2816420206, 2817981124, 
  2819541647, 2821101775, 2822661507, 2824220842, 2825779778, 2827338316, 2828896453, 2830454190, 2832011525, 2833568457, 
  2835124985, 2836681109, 2838236828, 2839792140, 2841347045, 2842901542, 2844455629, 2846009307, 2847562574, 2849115429, 
  2850667871, 2852219899, 2853771513, 2855322712, 2856873494, 2858423859, 2859973805, 2861523332, 2863072440, 2864621126, 
  2866169390, 2867717232, 2869264650, 2870811643, 2872358211, 2873904353, 2875450067, 2876995353, 2878540209, 2880084636, 
  2881628632, 2883172195, 2884715326, 2886258024, 2887800286, 2889342114, 2890883504, 2892424458, 2893964973, 2895505049, 
  2897044685, 2898583880, 2900122634, 2901660944, 2903198811, 2904736233, 2906273210, 2907809740, 2909345823, 2910881458, 
  2912416644, 2913951380, 2915485665, 2917019498, 2918552879, 2920085806, 2921618278, 2923150295, 2924681856, 2926212959, 
  2927743604, 2929273791, 2930803517, 2932332783, 2933861587, 2935389928, 2936917806, 2938445219, 2939972168, 2941498649, 
  2943024664, 2944550211, 2946075289, 2947599897, 2949124035, 2950647700, 2952170894, 2953693614, 2955215860, 2956737630, 
  2958258925, 2959779742, 2961300082, 2962819943, 2964339324, 2965858225, 2967376644, 2968894581, 2970412035, 2971929005, 
  2973445489, 2974961488, 2976477000, 2977992025, 2979506560, 2981020607, 2982534163, 2984047227, 2985559800, 2987071880, 
  2988583465, 2990094556, 2991605151, 2993115250, 2994624851, 2996133954, 2997642557, 2999150661, 3000658263, 3002165364, 
  3003671962, 3005178056, 3006683645, 3008188729, 3009693307, 3011197377, 3012700940, 3014203993, 3015706537, 3017208570, 
  3018710091, 3020211099, 3021711595, 3023211576, 3024711041, 3026209991, 3027708424, 3029206339, 3030703735, 3032200612, 
  3033696968, 3035192803, 3036688116, 3038182905, 3039677171, 3041170912, 3042664127, 3044156815, 3045648976, 3047140609, 
  3048631712, 3050122285, 3051612328, 3053101838, 3054590816, 3056079260, 3057567169, 3059054543, 3060541381, 3062027682, 
  3063513444, 3064998668, 3066483352, 3067967496, 3069451098, 3070934157, 3072416673, 3073898646, 3075380073, 3076860954, 
  3078341289, 3079821076, 3081300315, 3082779004, 3084257143, 3085734731, 3087211767, 3088688250, 3090164179, 3091639554, 
  3093114374, 3094588637, 3096062343, 3097535491, 3099008080, 3100480110, 3101951579, 3103422486, 3104892831, 3106362613, 
  3107831830, 3109300483, 3110768570, 3112236090, 3113703043, 3115169427, 3116635242, 3118100487, 3119565161, 3121029263, 
  3122492792, 3123955748, 3125418129, 3126879935, 3128341165, 3129801818, 3131261893, 3132721389, 3134180305, 3135638642, 
  3137096397, 3138553569, 3140010159, 3141466165, 3142921586, 3144376421, 3145830671, 3147284332, 3148737406, 3150189890, 
  3151641785, 3153093089, 3154543802, 3155993922, 3157443448, 3158892381, 3160340719, 3161788460, 3163235605, 3164682153, 
  3166128102, 3167573452, 3169018202, 3170462351, 3171905898, 3173348842, 3174791183, 3176232920, 3177674051, 3179114577, 
  3180554495, 3181993806, 3183432508, 3184870601, 3186308083, 3187744955, 3189181214, 3190616861, 3192051894, 3193486312, 
  3194920115, 3196353302, 3197785872, 3199217824, 3200649158, 3202079872, 3203509965, 3204939437, 3206368287, 3207796515, 
  3209224118, 3210651097, 3212077450, 3213503177, 3214928277, 3216352750, 3217776593, 3219199807, 3220622390, 3222044342, 
  3223465661, 3224886348, 3226306401, 3227725820, 3229144603, 3230562749, 3231980258, 3233397130, 3234813363, 3236228956, 
  3237643908, 3239058219, 3240471888, 3241884914, 3243297297, 3244709034, 3246120126, 3247530572, 3248940371, 3250349522, 
  3251758024, 3253165876, 3254573078, 3255979628, 3257385527, 3258790773, 3260195364, 3261599302, 3263002584, 3264405209, 
  3265807178, 3267208488, 3268609140, 3270009133, 3271408465, 3272807136, 3274205145, 3275602491, 3276999174, 3278395192, 
  3279790544, 3281185231, 3282579251, 3283972602, 3285365286, 3286757300, 3288148644, 3289539316, 3290929317, 3292318646, 
  3293707300, 3295095281, 3296482586, 3297869216, 3299255168, 3300640443, 3302025040, 3303408958, 3304792195, 3306174752, 
  3307556627, 3308937820, 3310318330, 3311698155, 3313077295, 3314455750, 3315833519, 3317210600, 3318586992, 3319962696, 
  3321337711, 3322712034, 3324085667, 3325458607, 3326830854, 3328202407, 3329573266, 3330943430, 3332312897, 3333681667, 
  3335049739, 3336417113, 3337783788, 3339149762, 3340515035, 3341879606, 3343243475, 3344606640, 3345969101, 3347330857, 
  3348691907, 3350052251, 3351411887, 3352770814, 3354129033, 3355486542, 3356843340, 3358199427, 3359554802, 3360909463, 
  3362263411, 3363616644, 3364969162, 3366320963, 3367672048, 3369022415, 3370372063, 3371720991, 3373069200, 3374416687, 
  3375763453, 3377109496, 3378454816, 3379799412, 3381143282, 3382486427, 3383828846, 3385170537, 3386511500, 3387851734, 
  3389191239, 3390530013, 3391868056, 3393205367, 3394541944, 3395877789, 3397212899, 3398547273, 3399880912, 3401213814, 
  3402545979, 3403877405, 3405208092, 3406538039, 3407867245, 3409195711, 3410523433, 3411850413, 3413176649, 3414502141, 
  3415826887, 3417150887, 3418474140, 3419796645, 3421118402, 3422439409, 3423759667, 3425079174, 3426397929, 3427715932, 
  3429033182, 3430349677, 3431665419, 3432980404, 3434294634, 3435608106, 3436920821, 3438232777, 3439543974, 3440854411, 
  3442164087, 3443473001, 3444781153, 3446088542, 3447395166, 3448701026, 3450006121, 3451310449, 3452614011, 3453916804, 
  3455218829, 3456520085, 3457820571, 3459120286, 3460419229, 3461717400, 3463014798, 3464311421, 3465607271, 3466902344, 
  3468196642, 3469490163, 3470782905, 3472074870, 3473366055, 3474656460, 3475946085, 3477234928, 3478522989, 3479810267, 
  3481096761, 3482382470, 3483667394, 3484951532, 3486234884, 3487517447, 3488799223, 3490080209, 3491360406, 3492639812, 
  3493918427, 3495196249, 3496473279, 3497749515, 3499024957, 3500299604, 3501573455, 3502846509, 3504118766, 3505390226, 
  3506660886, 3507930746, 3509199807, 3510468066, 3511735523, 3513002178, 3514268030, 3515533077, 3516797320, 3518060757, 
  3519323388, 3520585212, 3521846228, 3523106436, 3524365835, 3525624423, 3526882201, 3528139167, 3529395321, 3530650662, 
  3531905190, 3533158903, 3534411800, 3535663882, 3536915148, 3538165596, 3539415225, 3540664037, 3541912028, 3543159199, 
  3544405549, 3545651078, 3546895783, 3548139666, 3549382725, 3550624958, 3551866367, 3553106949, 3554346705, 3555585632, 
  3556823732, 3558061002, 3559297443, 3560533053, 3561767832, 3563001778, 3564234893, 3565467173, 3566698620, 3567929231, 
  3569159007, 3570387947, 3571616049, 3572843314, 3574069741, 3575295328, 3576520075, 3577743981, 3578967046, 3580189269, 
  3581410649, 3582631186, 3583850878, 3585069726, 3586287727, 3587504883, 3588721191, 3589936651, 3591151263, 3592365025, 
  3593577938, 3594790000, 3596001210, 3597211568, 3598421074, 3599629725, 3600837523, 3602044466, 3603250553, 3604455783, 
  3605660157, 3606863672, 3608066329, 3609268127, 3610469065, 3611669143, 3612868359, 3614066713, 3615264204, 3616460831, 
  3617656595, 3618851494, 3620045527, 3621238694, 3622430994, 3623622426, 3624812990, 3626002685, 3627191510, 3628379464, 
  3629566547, 3630752759, 3631938098, 3633122563, 3634306155, 3635488872, 3636670714, 3637851679, 3639031768, 3640210980, 
  3641389313, 3642566768, 3643743343, 3644919037, 3646093851, 3647267783, 3648440833, 3649613000, 3650784284, 3651954683, 
  3653124197, 3654292825, 3655460567, 3656627421, 3657793388, 3658958467, 3660122656, 3661285955, 3662448364, 3663609882, 
  3664770508, 3665930241, 3667089081, 3668247027, 3669404078, 3670560234, 3671715494, 3672869857, 3674023323, 3675175892, 
  3676327561, 3677478331, 3678628201, 3679777170, 3680925238, 3682072403, 3683218666, 3684364026, 3685508481, 3686652031, 
  3687794677, 3688936416, 3690077248, 3691217173, 3692356189, 3693494297, 3694631495, 3695767783, 3696903161, 3698037627, 
  3699171180, 3700303821, 3701435549, 3702566362, 3703696260, 3704825243, 3705953310, 3707080460, 3708206693, 3709332007, 
  3710456403, 3711579879, 3712702435, 3713824070, 3714944784, 3716064576, 3717183445, 3718301390, 3719418412, 3720534508, 
  3721649680, 3722763925, 3723877244, 3724989635, 3726101098, 3727211633, 3728321238, 3729429914, 3730537658, 3731644472, 
  3732750353, 3733855302, 3734959318, 3736062400, 3737164547, 3738265759, 3739366036, 3740465376, 3741563778, 3742661243, 
  3743757770, 3744853358, 3745948006, 3747041713, 3748134480, 3749226305, 3750317187, 3751407127, 3752496123, 3753584175, 
  3754671283, 3755757444, 3756842660, 3757926929, 3759010250, 3760092624, 3761174049, 3762254524, 3763334050, 3764412625, 
  3765490249, 3766566921, 3767642641, 3768717407, 3769791220, 3770864078, 3771935982, 3773006929, 3774076921, 3775145955, 
  3776214033, 3777281152, 3778347312, 3779412513, 3780476753, 3781540033, 3782602352, 3783663709, 3784724104, 3785783535, 
  3786842003, 3787899506, 3788956044, 3790011616, 3791066223, 3792119862, 3793172534, 3794224238, 3795274973, 3796324738, 
  3797373534, 3798421359, 3799468213, 3800514095, 3801559005, 3802602941, 3803645904, 3804687893, 3805728906, 3806768945, 
  3807808007, 3808846092, 3809883200, 3810919330, 3811954482, 3812988654, 3814021847, 3815054059, 3816085291, 3817115540, 
  3818144808, 3819173092, 3820200394, 3821226711, 3822252043, 3823276391, 3824299752, 3825322128, 3826343516, 3827363916, 
  3828383328, 3829401752, 3830419186, 3831435630, 3832451083, 3833465545, 3834479015, 3835491493, 3836502978, 3837513469, 
  3838522966, 3839531469, 3840538976, 3841545486, 3842551001, 3843555518, 3844559037, 3845561558, 3846563081, 3847563603, 
  3848563126, 3849561647, 3850559168, 3851555686, 3852551203, 3853545716, 3854539225, 3855531730, 3856523231, 3857513726, 
  3858503215, 3859491698, 3860479173, 3861465641, 3862451100, 3863435551, 3864418992, 3865401423, 3866382843, 3867363253, 
  3868342650, 3869321035, 3870298408, 3871274766, 3872250111, 3873224441, 3874197756, 3875170055, 3876141338, 3877111604, 
  3878080852, 3879049082, 3880016294, 3880982486, 3881947659, 3882911811, 3883874943, 3884837053, 3885798140, 3886758206, 
  3887717248, 3888675266, 3889632260, 3890588229, 3891543173, 3892497091, 3893449982, 3894401846, 3895352683, 3896302491, 
  3897251271, 3898199021, 3899145741, 3900091431, 3901036090, 3901979717, 3902922312, 3903863874, 3904804403, 3905743899, 
  3906682360, 3907619786, 3908556177, 3909491531, 3910425849, 3911359130, 3912291374, 3913222579, 3914152746, 3915081873, 
  3916009960, 3916937007, 3917863013, 3918787978, 3919711900, 3920634780, 3921556617, 3922477411, 3923397160, 3924315864, 
  3925233523, 3926150136, 3927065703, 3927980224, 3928893696, 3929806121, 3930717497, 3931627824, 3932537102, 3933445329, 
  3934352506, 3935258632, 3936163706, 3937067728, 3937970697, 3938872612, 3939773474, 3940673282, 3941572035, 3942469732, 
  3943366373, 3944261958, 3945156486, 3946049956, 3946942368, 3947833722, 3948724016, 3949613251, 3950501426, 3951388540, 
  3952274593, 3953159584, 3954043513, 3954926380, 3955808182, 3956688922, 3957568597, 3958447207, 3959324751, 3960201230, 
  3961076643, 3961950988, 3962824266, 3963696476, 3964567618, 3965437691, 3966306695, 3967174628, 3968041491, 3968907283, 
  3969772003, 3970635652, 3971498228, 3972359731, 3973220160, 3974079516, 3974937796, 3975795002, 3976651132, 3977506187, 
  3978360164, 3979213065, 3980064888, 3980915633, 3981765299, 3982613887, 3983461394, 3984307822, 3985153169, 3985997435, 
  3986840620, 3987682723, 3988523743, 3989363679, 3990202533, 3991040302, 3991876987, 3992712587, 3993547101, 3994380530, 
  3995212872, 3996044127, 3996874294, 3997703373, 3998531365, 3999358267, 4000184079, 4001008802, 4001832435, 4002654976, 
  4003476427, 4004296785, 4005116051, 4005934224, 4006751304, 4007567291, 4008382183, 4009195980, 4010008682, 4010820289, 
  4011630799, 4012440212, 4013248529, 4014055748, 4014861869, 4015666891, 4016470815, 4017273638, 4018075362, 4018875986, 
  4019675509, 4020473930, 4021271249, 4022067466, 4022862581, 4023656592, 4024449499, 4025241303, 4026032001, 4026821595, 
  4027610083, 4028397465, 4029183740, 4029968908, 4030752970, 4031535923, 4032317768, 4033098504, 4033878130, 4034656647, 
  4035434054, 4036210351, 4036985536, 4037759609, 4038532571, 4039304420, 4040075156, 4040844779, 4041613288, 4042380683, 
  4043146963, 4043912128, 4044676177, 4045439111, 4046200927, 4046961627, 4047721209, 4048479674, 4049237020, 4049993247, 
  4050748356, 4051502344, 4052255213, 4053006961, 4053757588, 4054507093, 4055255477, 4056002738, 4056748877, 4057493893, 
  4058237784, 4058980552, 4059722196, 4060462714, 4061202107, 4061940375, 4062677516, 4063413530, 4064148417, 4064882177, 
  4065614809, 4066346313, 4067076687, 4067805933, 4068534048, 4069261034, 4069986889, 4070711613, 4071435206, 4072157667, 
  4072878996, 4073599192, 4074318255, 4075036184, 4075752980, 4076468641, 4077183167, 4077896558, 4078608814, 4079319933, 
  4080029917, 4080738763, 4081446472, 4082153043, 4082858476, 4083562771, 4084265926, 4084967943, 4085668819, 4086368556, 
  4087067151, 4087764606, 4088460920, 4089156091, 4089850120, 4090543007, 4091234750, 4091925351, 4092614807, 4093303119, 
  4093990286, 4094676308, 4095361185, 4096044916, 4096727500, 4097408938, 4098089229, 4098768372, 4099446368, 4100123215, 
  4100798913, 4101473463, 4102146863, 4102819113, 4103490212, 4104160161, 4104828959, 4105496606, 4106163100, 4106828443, 
  4107492633, 4108155669, 4108817553, 4109478282, 4110137858, 4110796279, 4111453544, 4112109655, 4112764610, 4113418408, 
  4114071050, 4114722535, 4115372863, 4116022034, 4116670046, 4117316900, 4117962595, 4118607131, 4119250507, 4119892723, 
  4120533779, 4121173674, 4121812409, 4122449981, 4123086392, 4123721641, 4124355727, 4124988651, 4125620411, 4126251007, 
  4126880439, 4127508707, 4128135810, 4128761748, 4129386520, 4130010126, 4130632566, 4131253840, 4131873946, 4132492885, 
  4133110657, 4133727260, 4134342695, 4134956961, 4135570058, 4136181985, 4136792742, 4137402330, 4138010746, 4138617992, 
  4139224066, 4139828968, 4140432699, 4141035257, 4141636642, 4142236854, 4142835893, 4143433758, 4144030449, 4144625965, 
  4145220306, 4145813473, 4146405463, 4146996278, 4147585916, 4148174378, 4148761663, 4149347771, 4149932700, 4150516452, 
  4151099026, 4151680421, 4152260637, 4152839673, 4153417530, 4153994207, 4154569703, 4155144019, 4155717154, 4156289107, 
  4156859878, 4157429468, 4157997875, 4158565099, 4159131141, 4159695998, 4160259673, 4160822163, 4161383468, 4161943589, 
  4162502525, 4163060276, 4163616840, 4164172219, 4164726412, 4165279417, 4165831236, 4166381867, 4166931311, 4167479567, 
  4168026634, 4168572513, 4169117202, 4169660703, 4170203014, 4170744135, 4171284066, 4171822806, 4172360355, 4172896713, 
  4173431880, 4173965855, 4174498638, 4175030228, 4175560625, 4176089830, 4176617841, 4177144658, 4177670282, 4178194711, 
  4178717945, 4179239985, 4179760829, 4180280478, 4180798931, 4181316188, 4181832248, 4182347112, 4182860778, 4183373248, 
  4183884519, 4184394593, 4184903468, 4185411145, 4185917623, 4186422901, 4186926981, 4187429860, 4187931540, 4188432019, 
  4188931297, 4189429375, 4189926251, 4190421926, 4190916399, 4191409670, 4191901738, 4192392604, 4192882267, 4193370727, 
  4193857983, 4194344035, 4194828883, 4195312527, 4195794966, 4196276200, 4196756229, 4197235052, 4197712669, 4198189081, 
  4198664286, 4199138284, 4199611076, 4200082660, 4200553036, 4201022205, 4201490166, 4201956919, 4202422463, 4202886798, 
  4203349924, 4203811840, 4204272547, 4204732044, 4205190331, 4205647407, 4206103273, 4206557927, 4207011370, 4207463602, 
  4207914621, 4208364429, 4208813024, 4209260407, 4209706576, 4210151533, 4210595276, 4211037806, 4211479121, 4211919222, 
  4212358109, 4212795781, 4213232239, 4213667481, 4214101507, 4214534318, 4214965913, 4215396291, 4215825453, 4216253398, 
  4216680127, 4217105638, 4217529931, 4217953007, 4218374865, 4218795504, 4219214925, 4219633127, 4220050111, 4220465875, 
  4220880419, 4221293744, 4221705849, 4222116734, 4222526398, 4222934841, 4223342064, 4223748065, 4224152845, 4224556403, 
  4224958740, 4225359854, 4225759746, 4226158415, 4226555862, 4226952085, 4227347085, 4227740862, 4228133415, 4228524744, 
  4228914848, 4229303729, 4229691384, 4230077815, 4230463020, 4230847000, 4231229755, 4231611283, 4231991586, 4232370662, 
  4232748512, 4233125136, 4233500532, 4233874701, 4234247643, 4234619357, 4234989843, 4235359102, 4235727132, 4236093933, 
  4236459506, 4236823850, 4237186965, 4237548851, 4237909507, 4238268933, 4238627130, 4238984096, 4239339832, 4239694337, 
  4240047612, 4240399655, 4240750467, 4241100048, 4241448397, 4241795515, 4242141400, 4242486053, 4242829474, 4243171662, 
  4243512617, 4243852340, 4244190828, 4244528084, 4244864106, 4245198894, 4245532448, 4245864768, 4246195853, 4246525704, 
  4246854320, 4247181701, 4247507846, 4247832757, 4248156431, 4248478870, 4248800073, 4249120040, 4249438771, 4249756265, 
  4250072522, 4250387543, 4250701326, 4251013872, 4251325180, 4251635251, 4251944085, 4252251680, 4252558037, 4252863155, 
  4253167035, 4253469677, 4253771079, 4254071242, 4254370167, 4254667851, 4254964296, 4255259502, 4255553467, 4255846192, 
  4256137677, 4256427922, 4256716925, 4257004688, 4257291211, 4257576491, 4257860531, 4258143329, 4258424886, 4258705200, 
  4258984273, 4259262103, 4259538692, 4259814037, 4260088141, 4260361001, 4260632618, 4260902993, 4261172124, 4261440011, 
  4261706655, 4261972055, 4262236212, 4262499124, 4262760792, 4263021216, 4263280395, 4263538330, 4263795019, 4264050464, 
  4264304664, 4264557618, 4264809327, 4265059790, 4265309008, 4265556980, 4265803705, 4266049185, 4266293418, 4266536405, 
  4266778146, 4267018639, 4267257886, 4267495886, 4267732638, 4267968143, 4268202401, 4268435411, 4268667174, 4268897689, 
  4269126956, 4269354974, 4269581745, 4269807267, 4270031540, 4270254565, 4270476341, 4270696868, 4270916147, 4271134176, 
  4271350955, 4271566486, 4271780766, 4271993797, 4272205579, 4272416110, 4272625392, 4272833423, 4273040204, 4273245734, 
  4273450014, 4273653043, 4273854822, 4274055349, 4274254626, 4274452652, 4274649426, 4274844949, 4275039220, 4275232240, 
  4275424008, 4275614525, 4275803789, 4275991801, 4276178562, 4276364070, 4276548325, 4276731328, 4276913079, 4277093577, 
  4277272822, 4277450814, 4277627553, 4277803039, 4277977272, 4278150252, 4278321978, 4278492450, 4278661669, 4278829635, 
  4278996346, 4279161803, 4279326007, 4279488956, 4279650652, 4279811093, 4279970279, 4280128211, 4280284889, 4280440311, 
  4280594479, 4280747392, 4280899051, 4281049454, 4281198602, 4281346495, 4281493132, 4281638515, 4281782641, 4281925512, 
  4282067128, 4282207488, 4282346592, 4282484440, 4282621032, 4282756368, 4282890448, 4283023272, 4283154839, 4283285150, 
  4283414205, 4283542003, 4283668545, 4283793830, 4283917858, 4284040629, 4284162144, 4284282401, 4284401402, 4284519145, 
  4284635631, 4284750861, 4284864832, 4284977547, 4285089004, 4285199203, 4285308145, 4285415829, 4285522256, 4285627424, 
  4285731335, 4285833988, 4285935384, 4286035521, 4286134400, 4286232021, 4286328384, 4286423488, 4286517335, 4286609923, 
  4286701252, 4286791323, 4286880136, 4286967690, 4287053986, 4287139023, 4287222801, 4287305320, 4287386581, 4287466582, 
  4287545325, 4287622809, 4287699034, 4287774000, 4287847707, 4287920154, 4287991343, 4288061272, 4288129942, 4288197353, 
  4288263504, 4288328396, 4288392029, 4288454402, 4288515516, 4288575370, 4288633965, 4288691300, 4288747376, 4288802191, 
  4288855748, 4288908044, 4288959081, 4289008858, 4289057375, 4289104632, 4289150629, 4289195367, 4289238845, 4289281062, 
  4289322020, 4289361718, 4289400155, 4289437333, 4289473251, 4289507908, 4289541306, 4289573443, 4289604320, 4289633937, 
  4289662294, 4289689391, 4289715227, 4289739804, 4289763120, 4289785175, 4289805971, 4289825506, 4289843781, 4289860796, 
  4289876550, 4289891044, 4289904278, 4289916251, 4289926964, 4289936417, 4289944609, 4289951541, 4289957213, 4289961624, 
  4289964775, 4289966666, 4289967296, 4289966666
};

const uint32_t table_Isinc[] = { // 4096 value
  65535, 65141, 64746, 64352, 63958, 63564, 63171, 62778, 62385, 61992,
  61600, 61209, 60818, 60427, 60037, 59648, 59260, 58872, 58485, 58099,
  57714, 57330, 56947, 56565, 56183, 55803, 55425, 55047, 54670, 54295,
  53922, 53549, 53178, 52809, 52440, 52074, 51709, 51346, 50984, 50624,
  50266, 49909, 49554, 49202, 48851, 48502, 48155, 47810, 47467, 47126,
  46787, 46450, 46116, 45783, 45453, 45125, 44800, 44477, 44156, 43838,
  43522, 43208, 42897, 42589, 42283, 41979, 41679, 41380, 41085, 40792,
  40502, 40215, 39930, 39648, 39369, 39093, 38820, 38549, 38282, 38017,
  37755, 37497, 37241, 36988, 36738, 36491, 36248, 36007, 35769, 35535,
  35303, 35075, 34849, 34627, 34408, 34192, 33980, 33770, 33564, 33361,
  33161, 32964, 32770, 32580, 32393, 32209, 32028, 31851, 31677, 31506,
  31338, 31173, 31012, 30854, 30699, 30547, 30399, 30254, 30112, 29973,
  29838, 29705, 29576, 29450, 29328, 29208, 29092, 28978, 28868, 28761,
  28657, 28557, 28459, 28364, 28273, 28185, 28099, 28017, 27938, 27861,
  27788, 27718, 27651, 27586, 27525, 27466, 27410, 27357, 27307, 27260,
  27216, 27174, 27135, 27099, 27066, 27035, 27007, 26982, 26959, 26939,
  26921, 26906, 26893, 26883, 26875, 26870, 26867, 26867, 26869, 26873,
  26880, 26888, 26899, 26913, 26928, 26946, 26965, 26987, 27011, 27037,
  27064, 27094, 27126, 27160, 27195, 27232, 27271, 27312, 27355, 27399,
  27445, 27492, 27542, 27592, 27645, 27698, 27753, 27810, 27868, 27927,
  27988, 28050, 28113, 28178, 28243, 28310, 28378, 28447, 28517, 28588,
  28660, 28733, 28807, 28882, 28957, 29034, 29111, 29189, 29267, 29346,
  29426, 29507, 29588, 29669, 29751, 29834, 29917, 30000, 30084, 30168,
  30253, 30337, 30422, 30507, 30592, 30678, 30763, 30849, 30935, 31020,
  31106, 31192, 31277, 31363, 31448, 31533, 31618, 31703, 31787, 31871,
  31955, 32039, 32122, 32205, 32288, 32370, 32451, 32532, 32613, 32693,
  32772, 32851, 32930, 33007, 33084, 33161, 33237, 33312, 33386, 33459,
  33532, 33604, 33675, 33745, 33815, 33883, 33951, 34018, 34083, 34148,
  34212, 34275, 34337, 34398, 34458, 34517, 34575, 34632, 34687, 34742,
  34796, 34848, 34900, 34950, 34999, 35047, 35094, 35139, 35184, 35227,
  35269, 35310, 35350, 35388, 35426, 35462, 35497, 35530, 35563, 35594,
  35624, 35652, 35680, 35706, 35731, 35755, 35777, 35798, 35818, 35837,
  35855, 35871, 35886, 35900, 35912, 35923, 35933, 35942, 35950, 35956,
  35962, 35966, 35968, 35970, 35971, 35970, 35968, 35965, 35961, 35955,
  35949, 35941, 35932, 35922, 35911, 35899, 35886, 35872, 35857, 35840,
  35823, 35805, 35785, 35765, 35743, 35721, 35698, 35673, 35648, 35622,
  35595, 35567, 35539, 35509, 35478, 35447, 35415, 35382, 35348, 35314,
  35279, 35243, 35206, 35169, 35131, 35092, 35053, 35013, 34972, 34931,
  34889, 34847, 34804, 34761, 34717, 34672, 34627, 34582, 34536, 34490,
  34444, 34397, 34350, 34302, 34254, 34206, 34157, 34108, 34059, 34010,
  33960, 33911, 33861, 33811, 33761, 33710, 33660, 33610, 33559, 33508,
  33458, 33407, 33357, 33306, 33255, 33205, 33154, 33104, 33054, 33004,
  32954, 32904, 32855, 32805, 32756, 32707, 32658, 32610, 32562, 32514,
  32466, 32419, 32372, 32326, 32279, 32234, 32188, 32143, 32099, 32055,
  32011, 31968, 31925, 31883, 31841, 31800, 31759, 31719, 31680, 31641,
  31602, 31564, 31527, 31490, 31454, 31419, 31384, 31350, 31317, 31284,
  31252, 31220, 31190, 31160, 31130, 31102, 31074, 31046, 31020, 30994,
  30969, 30945, 30922, 30899, 30877, 30856, 30836, 30816, 30797, 30779,
  30762, 30746, 30730, 30715, 30701, 30688, 30675, 30664, 30653, 30643,
  30634, 30625, 30618, 30611, 30605, 30600, 30595, 30592, 30589, 30587,
  30586, 30585, 30585, 30587, 30589, 30591, 30595, 30599, 30604, 30610,
  30616, 30623, 30631, 30640, 30650, 30660, 30671, 30682, 30695, 30708,
  30721, 30736, 30751, 30767, 30783, 30800, 30818, 30836, 30855, 30875,
  30895, 30916, 30937, 30959, 30981, 31004, 31028, 31052, 31077, 31102,
  31128, 31154, 31181, 31208, 31235, 31263, 31292, 31321, 31350, 31380,
  31410, 31441, 31471, 31503, 31534, 31566, 31598, 31631, 31664, 31697,
  31730, 31764, 31798, 31832, 31866, 31901, 31935, 31970, 32005, 32040,
  32076, 32111, 32147, 32183, 32218, 32254, 32290, 32326, 32362, 32398,
  32434, 32470, 32506, 32542, 32578, 32614, 32650, 32685, 32721, 32756,
  32792, 32827, 32862, 32897, 32932, 32967, 33001, 33036, 33070, 33104,
  33137, 33171, 33204, 33237, 33269, 33301, 33333, 33365, 33397, 33428,
  33458, 33489, 33519, 33548, 33578, 33607, 33635, 33663, 33691, 33718,
  33745, 33771, 33797, 33823, 33848, 33872, 33897, 33920, 33943, 33966,
  33988, 34010, 34031, 34052, 34072, 34091, 34110, 34129, 34147, 34164,
  34181, 34197, 34213, 34228, 34243, 34257, 34270, 34283, 34296, 34307,
  34318, 34329, 34339, 34348, 34357, 34365, 34373, 34380, 34386, 34392,
  34397, 34402, 34406, 34409, 34412, 34414, 34416, 34417, 34417, 34417,
  34416, 34415, 34413, 34411, 34408, 34404, 34400, 34395, 34390, 34384,
  34377, 34370, 34362, 34354, 34346, 34336, 34327, 34316, 34306, 34294,
  34282, 34270, 34257, 34244, 34230, 34216, 34201, 34186, 34170, 34154,
  34137, 34120, 34103, 34085, 34066, 34048, 34029, 34009, 33989, 33969,
  33948, 33927, 33906, 33884, 33862, 33839, 33817, 33794, 33770, 33747,
  33723, 33698, 33674, 33649, 33624, 33599, 33574, 33548, 33522, 33496,
  33470, 33443, 33417, 33390, 33363, 33336, 33309, 33281, 33254, 33227,
  33199, 33171, 33143, 33116, 33088, 33060, 33032, 33004, 32976, 32948,
  32920, 32892, 32864, 32836, 32809, 32781, 32753, 32726, 32698, 32671,
  32643, 32616, 32589, 32562, 32535, 32509, 32482, 32456, 32430, 32404,
  32378, 32352, 32327, 32302, 32277, 32252, 32228, 32204, 32180, 32156,
  32133, 32110, 32087, 32064, 32042, 32020, 31999, 31978, 31957, 31936,
  31916, 31896, 31877, 31858, 31839, 31821, 31803, 31785, 31768, 31751,
  31735, 31719, 31703, 31688, 31673, 31659, 31645, 31632, 31619, 31606,
  31594, 31582, 31571, 31560, 31550, 31540, 31531, 31522, 31513, 31505,
  31498, 31491, 31484, 31478, 31472, 31467, 31462, 31458, 31454, 31451,
  31448, 31446, 31444, 31443, 31442, 31441, 31441, 31442, 31443, 31444,
  31446, 31449, 31451, 31455, 31459, 31463, 31467, 31473, 31478, 31484,
  31491, 31497, 31505, 31513, 31521, 31529, 31538, 31548, 31558, 31568,
  31579, 31590, 31601, 31613, 31625, 31638, 31651, 31664, 31678, 31692,
  31706, 31721, 31736, 31752, 31767, 31784, 31800, 31817, 31834, 31851,
  31868, 31886, 31904, 31923, 31941, 31960, 31979, 31999, 32018, 32038,
  32058, 32079, 32099, 32120, 32141, 32162, 32183, 32204, 32226, 32247,
  32269, 32291, 32313, 32335, 32357, 32380, 32402, 32424, 32447, 32470,
  32492, 32515, 32538, 32561, 32584, 32606, 32629, 32652, 32675, 32698,
  32721, 32743, 32766, 32789, 32811, 32834, 32857, 32879, 32901, 32924,
  32946, 32968, 32990, 33011, 33033, 33054, 33076, 33097, 33118, 33139,
  33160, 33180, 33200, 33221, 33240, 33260, 33280, 33299, 33318, 33337,
  33355, 33374, 33392, 33410, 33427, 33444, 33461, 33478, 33494, 33511,
  33526, 33542, 33557, 33572, 33587, 33601, 33615, 33629, 33642, 33655,
  33667, 33680, 33692, 33703, 33714, 33725, 33736, 33746, 33756, 33765,
  33774, 33783, 33791, 33799, 33806, 33813, 33820, 33826, 33832, 33838,
  33843, 33848, 33852, 33856, 33860, 33863, 33866, 33868, 33870, 33872,
  33873, 33874, 33874, 33874, 33874, 33873, 33872, 33871, 33869, 33866,
  33864, 33861, 33857, 33853, 33849, 33844, 33840, 33834, 33829, 33822,
  33816, 33809, 33802, 33795, 33787, 33779, 33770, 33761, 33752, 33742,
  33733, 33722, 33712, 33701, 33690, 33678, 33667, 33655, 33642, 33630,
  33617, 33604, 33590, 33577, 33563, 33548, 33534, 33519, 33504, 33489,
  33474, 33458, 33442, 33426, 33410, 33393, 33377, 33360, 33343, 33326,
  33308, 33291, 33273, 33255, 33237, 33219, 33201, 33183, 33164, 33146,
  33127, 33108, 33089, 33070, 33051, 33032, 33013, 32994, 32975, 32956,
  32936, 32917, 32898, 32878, 32859, 32840, 32820, 32801, 32782, 32763,
  32743, 32724, 32705, 32686, 32667, 32648, 32629, 32610, 32592, 32573,
  32555, 32536, 32518, 32500, 32482, 32464, 32446, 32429, 32411, 32394,
  32377, 32360, 32343, 32326, 32310, 32294, 32278, 32262, 32246, 32231,
  32216, 32201, 32186, 32172, 32157, 32143, 32130, 32116, 32103, 32090,
  32077, 32064, 32052, 32040, 32029, 32017, 32006, 31995, 31985, 31975,
  31965, 31955, 31946, 31937, 31928, 31920, 31912, 31904, 31896, 31889,
  31883, 31876, 31870, 31864, 31859, 31853, 31849, 31844, 31840, 31836,
  31833, 31830, 31827, 31824, 31822, 31820, 31819, 31818, 31817, 31817,
  31817, 31817, 31817, 31818, 31820, 31821, 31823, 31825, 31828, 31831,
  31834, 31838, 31841, 31846, 31850, 31855, 31860, 31866, 31871, 31877,
  31884, 31890, 31897, 31905, 31912, 31920, 31928, 31937, 31946, 31954,
  31964, 31973, 31983, 31993, 32003, 32014, 32025, 32036, 32047, 32059,
  32071, 32083, 32095, 32107, 32120, 32133, 32146, 32159, 32173, 32186,
  32200, 32214, 32228, 32243, 32257, 32272, 32287, 32302, 32317, 32332,
  32347, 32363, 32378, 32394, 32410, 32426, 32442, 32458, 32474, 32491,
  32507, 32523, 32540, 32556, 32573, 32590, 32606, 32623, 32640, 32656,
  32673, 32690, 32707, 32723, 32740, 32757, 32773, 32790, 32807, 32823,
  32840, 32856, 32873, 32889, 32905, 32922, 32938, 32954, 32970, 32986,
  33002, 33017, 33033, 33048, 33063, 33079, 33094, 33109, 33123, 33138,
  33152, 33167, 33181, 33195, 33209, 33222, 33236, 33249, 33262, 33275,
  33288, 33300, 33312, 33324, 33336, 33348, 33359, 33370, 33381, 33392,
  33402, 33413, 33422, 33432, 33442, 33451, 33460, 33469, 33477, 33485,
  33493, 33501, 33508, 33515, 33522, 33529, 33535, 33541, 33546, 33552,
  33557, 33562, 33566, 33571, 33575, 33578, 33582, 33585, 33588, 33590,
  33592, 33594, 33596, 33597, 33598, 33599, 33599, 33599, 33599, 33599,
  33598, 33597, 33596, 33594, 33592, 33590, 33588, 33585, 33582, 33578,
  33575, 33571, 33567, 33562, 33557, 33552, 33547, 33542, 33536, 33530,
  33523, 33517, 33510, 33503, 33495, 33488, 33480, 33472, 33464, 33455,
  33446, 33437, 33428, 33418, 33409, 33399, 33389, 33378, 33368, 33357,
  33346, 33335, 33324, 33313, 33301, 33289, 33277, 33265, 33253, 33240,
  33228, 33215, 33202, 33189, 33176, 33163, 33149, 33136, 33122, 33108,
  33095, 33081, 33067, 33052, 33038, 33024, 33010, 32995, 32981, 32966,
  32952, 32937, 32922, 32908, 32893, 32878, 32864, 32849, 32834, 32819,
  32805, 32790, 32775, 32760, 32746, 32731, 32716, 32702, 32687, 32672,
  32658, 32644, 32629, 32615, 32601, 32587, 32573, 32559, 32545, 32531,
  32517, 32504, 32490, 32477, 32464, 32451, 32438, 32425, 32412, 32400,
  32387, 32375, 32363, 32351, 32339, 32328, 32316, 32305, 32294, 32283,
  32273, 32262, 32252, 32242, 32232, 32222, 32212, 32203, 32194, 32185,
  32177, 32168, 32160, 32152, 32144, 32137, 32129, 32122, 32115, 32109,
  32103, 32096, 32091, 32085, 32080, 32075, 32070, 32065, 32061, 32057,
  32053, 32049, 32046, 32043, 32040, 32038, 32035, 32033, 32032, 32030,
  32029, 32028, 32027, 32027, 32027, 32027, 32027, 32028, 32029, 32030,
  32031, 32033, 32035, 32037, 32039, 32042, 32045, 32048, 32051, 32055,
  32059, 32063, 32068, 32072, 32077, 32082, 32088, 32093, 32099, 32105,
  32111, 32118, 32125, 32132, 32139, 32146, 32154, 32162, 32170, 32178,
  32186, 32195, 32204, 32213, 32222, 32231, 32241, 32250, 32260, 32270,
  32280, 32291, 32301, 32312, 32323, 32334, 32345, 32356, 32367, 32379,
  32390, 32402, 32414, 32426, 32438, 32450, 32462, 32475, 32487, 32500,
  32512, 32525, 32538, 32550, 32563, 32576, 32589, 32602, 32615, 32628,
  32641, 32655, 32668, 32681, 32694, 32707, 32721, 32734, 32747, 32760,
  32773, 32787, 32800, 32813, 32826, 32839, 32852, 32865, 32878, 32891,
  32904, 32916, 32929, 32941, 32954, 32966, 32979, 32991, 33003, 33015,
  33027, 33039, 33051, 33062, 33074, 33085, 33097, 33108, 33119, 33130,
  33140, 33151, 33161, 33172, 33182, 33192, 33201, 33211, 33221, 33230,
  33239, 33248, 33257, 33265, 33274, 33282, 33290, 33298, 33305, 33313,
  33320, 33327, 33334, 33340, 33347, 33353, 33359, 33364, 33370, 33375,
  33380, 33385, 33390, 33394, 33398, 33402, 33406, 33409, 33413, 33416,
  33419, 33421, 33423, 33425, 33427, 33429, 33430, 33431, 33432, 33433,
  33433, 33434, 33434, 33433, 33433, 33432, 33431, 33430, 33428, 33427,
  33425, 33423, 33420, 33418, 33415, 33412, 33409, 33405, 33401, 33398,
  33393, 33389, 33384, 33380, 33375, 33369, 33364, 33358, 33352, 33346,
  33340, 33334, 33327, 33320, 33313, 33306, 33299, 33291, 33284, 33276,
  33268, 33259, 33251, 33242, 33234, 33225, 33216, 33207, 33197, 33188,
  33178, 33168, 33159, 33149, 33139, 33128, 33118, 33107, 33097, 33086,
  33075, 33065, 33054, 33043, 33031, 33020, 33009, 32998, 32986, 32975,
  32963, 32951, 32940, 32928, 32916, 32905, 32893, 32881, 32869, 32857,
  32845, 32833, 32821, 32809, 32797, 32785, 32773, 32761, 32750, 32738,
  32726, 32714, 32702, 32690, 32679, 32667, 32655, 32644, 32632, 32621,
  32609, 32598, 32587, 32575, 32564, 32553, 32542, 32531, 32521, 32510,
  32499, 32489, 32479, 32468, 32458, 32448, 32438, 32429, 32419, 32410,
  32400, 32391, 32382, 32373, 32364, 32356, 32347, 32339, 32331, 32323,
  32315, 32308, 32300, 32293, 32286, 32279, 32272, 32265, 32259, 32253,
  32247, 32241, 32235, 32230, 32225, 32220, 32215, 32210, 32206, 32201,
  32197, 32194, 32190, 32187, 32183, 32180, 32178, 32175, 32173, 32170,
  32169, 32167, 32165, 32164, 32163, 32162, 32161, 32161, 32161, 32161,
  32161, 32161, 32162, 32163, 32164, 32165, 32167, 32168, 32170, 32172,
  32175, 32177, 32180, 32183, 32186, 32189, 32193, 32197, 32201, 32205,
  32209, 32214, 32218, 32223, 32228, 32234, 32239, 32245, 32251, 32257,
  32263, 32269, 32276, 32282, 32289, 32296, 32303, 32311, 32318, 32326,
  32333, 32341, 32349, 32358, 32366, 32374, 32383, 32392, 32401, 32410,
  32419, 32428, 32437, 32447, 32456, 32466, 32475, 32485, 32495, 32505,
  32515, 32525, 32536, 32546, 32556, 32567, 32577, 32588, 32598, 32609,
  32620, 32630, 32641, 32652, 32663, 32673, 32684, 32695, 32706, 32717,
  32728, 32739, 32750, 32761, 32772, 32782, 32793, 32804, 32815, 32826,
  32837, 32847, 32858, 32869, 32879, 32890, 32900, 32911, 32921, 32931,
  32942, 32952, 32962, 32972, 32982, 32992, 33002, 33011, 33021, 33030,
  33040, 33049, 33058, 33067, 33076, 33085, 33094, 33102, 33111, 33119,
  33127, 33135, 33143, 33151, 33158, 33166, 33173, 33180, 33187, 33194,
  33201, 33207, 33214, 33220, 33226, 33232, 33238, 33243, 33248, 33254,
  33259, 33264, 33268, 33273, 33277, 33281, 33285, 33289, 33292, 33296,
  33299, 33302, 33304, 33307, 33309, 33312, 33314, 33315, 33317, 33319,
  33320, 33321, 33322, 33322, 33323, 33323, 33323, 33323, 33322, 33322,
  33321, 33320, 33319, 33318, 33316, 33314, 33313, 33310, 33308, 33306,
  33303, 33300, 33297, 33294, 33291, 33287, 33283, 33279, 33275, 33271,
  33266, 33262, 33257, 33252, 33247, 33241, 33236, 33230, 33225, 33219,
  33213, 33206, 33200, 33193, 33187, 33180, 33173, 33166, 33158, 33151,
  33144, 33136, 33128, 33120, 33112, 33104, 33096, 33088, 33079, 33071,
  33062, 33053, 33045, 33036, 33027, 33018, 33008, 32999, 32990, 32980,
  32971, 32962, 32952, 32942, 32933, 32923, 32913, 32903, 32893, 32884,
  32874, 32864, 32854, 32844, 32834, 32824, 32814, 32804, 32794, 32784,
  32774, 32763, 32753, 32743, 32733, 32723, 32714, 32704, 32694, 32684,
  32674, 32664, 32655, 32645, 32635, 32626, 32616, 32607, 32597, 32588,
  32579, 32570, 32561, 32552, 32543, 32534, 32525, 32516, 32508, 32499,
  32491, 32483, 32475, 32467, 32459, 32451, 32443, 32436, 32428, 32421,
  32414, 32407, 32400, 32393, 32387, 32380, 32374, 32368, 32361, 32356,
  32350, 32344, 32339, 32333, 32328, 32323, 32319, 32314, 32309, 32305,
  32301, 32297, 32293, 32289, 32286, 32283, 32280, 32277, 32274, 32271,
  32269, 32267, 32265, 32263, 32261, 32259, 32258, 32257, 32256, 32255,
  32255, 32254, 32254, 32254, 32254, 32254, 32255, 32255, 32256, 32257,
  32258, 32260, 32261, 32263, 32265, 32267, 32269, 32272, 32274, 32277,
  32280, 32283, 32286, 32290, 32293, 32297, 32301, 32305, 32309, 32314,
  32318, 32323, 32328, 32333, 32338, 32344, 32349, 32355, 32360, 32366,
  32372, 32379, 32385, 32391, 32398, 32405, 32411, 32418, 32425, 32432,
  32440, 32447, 32455, 32462, 32470, 32478, 32485, 32493, 32501, 32510,
  32518, 32526, 32535, 32543, 32552, 32560, 32569, 32578, 32586, 32595,
  32604, 32613, 32622, 32631, 32640, 32649, 32658, 32668, 32677, 32686,
  32695, 32704, 32714, 32723, 32732, 32742, 32751, 32760, 32770, 32779,
  32788, 32797, 32807, 32816, 32825, 32834, 32843, 32852, 32861, 32870,
  32879, 32888, 32897, 32906, 32915, 32923, 32932, 32941, 32949, 32958,
  32966, 32974, 32982, 32991, 32999, 33007, 33014, 33022, 33030, 33037,
  33045, 33052, 33059, 33067, 33074, 33080, 33087, 33094, 33100, 33107,
  33113, 33119, 33125, 33131, 33137, 33143, 33148, 33154, 33159, 33164,
  33169, 33174, 33178, 33183, 33187, 33191, 33195, 33199, 33203, 33207,
  33210, 33213, 33216, 33219, 33222, 33225, 33227, 33229, 33231, 33233,
  33235, 33237, 33238, 33239, 33241, 33242, 33242, 33243, 33243, 33244,
  33244, 33244, 33243, 33243, 33242, 33242, 33241, 33240, 33238, 33237,
  33235, 33234, 33232, 33230, 33228, 33225, 33223, 33220, 33217, 33214,
  33211, 33207, 33204, 33200, 33197, 33193, 33189, 33184, 33180, 33175,
  33171, 33166, 33161, 33156, 33151, 33146, 33140, 33134, 33129, 33123,
  33117, 33111, 33105, 33098, 33092, 33085, 33079, 33072, 33065, 33058,
  33051, 33044, 33037, 33030, 33022, 33015, 33007, 33000, 32992, 32984,
  32976, 32968, 32960, 32952, 32944, 32936, 32928, 32920, 32911, 32903,
  32894, 32886, 32878, 32869, 32860, 32852, 32843, 32835, 32826, 32817,
  32809, 32800, 32792, 32783, 32774, 32766, 32757, 32748, 32740, 32731,
  32722, 32714, 32705, 32697, 32688, 32680, 32672, 32663, 32655, 32647,
  32638, 32630, 32622, 32614, 32606, 32598, 32590, 32582, 32575, 32567,
  32559, 32552, 32545, 32537, 32530, 32523, 32516, 32509, 32502, 32495,
  32488, 32482, 32475, 32469, 32463, 32457, 32451, 32445, 32439, 32433,
  32428, 32422, 32417, 32412, 32407, 32402, 32397, 32393, 32388, 32384,
  32380, 32376, 32372, 32368, 32364, 32361, 32357, 32354, 32351, 32348,
  32345, 32343, 32340, 32338, 32336, 32334, 32332, 32330, 32329, 32327,
  32326, 32325, 32324, 32323, 32323, 32322, 32322, 32322, 32322, 32322,
  32323, 32323, 32324, 32325, 32326, 32327, 32328, 32329, 32331, 32333,
  32335, 32337, 32339, 32341, 32344, 32346, 32349, 32352, 32355, 32359,
  32362, 32365, 32369, 32373, 32377, 32381, 32385, 32389, 32394, 32398,
  32403, 32408, 32413, 32418, 32423, 32428, 32434, 32439, 32445, 32451,
  32457, 32463, 32469, 32475, 32481, 32488, 32494, 32501, 32507, 32514,
  32521, 32528, 32535, 32542, 32549, 32556, 32563, 32571, 32578, 32585,
  32593, 32601, 32608, 32616, 32624, 32631, 32639, 32647, 32655, 32663,
  32671, 32679, 32687, 32695, 32703, 32711, 32719, 32727, 32735, 32743,
  32751, 32759, 32768, 32776, 32784, 32792, 32800, 32808, 32816, 32824,
  32832, 32840, 32848, 32856, 32863, 32871, 32879, 32887, 32894, 32902,
  32909, 32917, 32924, 32932, 32939, 32946, 32953, 32961, 32968, 32975,
  32981, 32988, 32995, 33002, 33008, 33015, 33021, 33027, 33033, 33039,
  33045, 33051, 33057, 33063, 33068, 33074, 33079, 33084, 33089, 33094,
  33099, 33104, 33108, 33113, 33117, 33121, 33126, 33130, 33133, 33137,
  33141, 33144, 33147, 33151, 33154, 33157, 33159, 33162, 33164, 33167,
  33169, 33171, 33173, 33175, 33176, 33178, 33179, 33180, 33181, 33182,
  33183, 33183, 33184, 33184, 33184, 33184, 33184, 33184, 33183, 33183,
  33182, 33181, 33180, 33179, 33178, 33176, 33174, 33173, 33171, 33169,
  33167, 33164, 33162, 33159, 33156, 33154, 33151, 33147, 33144, 33141,
  33137, 33134, 33130, 33126, 33122, 33118, 33113, 33109, 33105, 33100,
  33095, 33090, 33085, 33080, 33075, 33070, 33064, 33059, 33053, 33048,
  33042, 33036, 33030, 33024, 33018, 33012, 33005, 32999, 32993, 32986,
  32979, 32973, 32966, 32959, 32952, 32945, 32938, 32931, 32924, 32917,
  32910, 32903, 32895, 32888, 32881, 32873, 32866, 32858, 32851, 32843,
  32836, 32828, 32821, 32813, 32805, 32798, 32790, 32783, 32775, 32767,
  32760, 32752, 32745, 32737, 32730, 32722, 32714, 32707, 32700, 32692,
  32685, 32677, 32670, 32663, 32655, 32648, 32641, 32634, 32627, 32620,
  32613, 32606, 32599, 32593, 32586, 32579, 32573, 32566, 32560, 32553,
  32547, 32541, 32535, 32529, 32523, 32517, 32512, 32506, 32500, 32495,
  32490, 32484, 32479, 32474, 32469, 32465, 32460, 32455, 32451, 32446,
  32442, 32438, 32434, 32430, 32426, 32423, 32419, 32416, 32413, 32410,
  32406, 32404, 32401, 32398, 32396, 32393, 32391, 32389, 32387, 32385,
  32384, 32382, 32381, 32379, 32378, 32377, 32377, 32376, 32375, 32375,
  32375, 32374, 32374, 32374, 32375, 32375, 32376, 32376, 32377, 32378,
  32379, 32380, 32382, 32383, 32385, 32387, 32389, 32391, 32393, 32395,
  32397, 32400, 32403, 32405, 32408, 32411, 32415, 32418, 32421, 32425,
  32429, 32432, 32436, 32440, 32444, 32449, 32453, 32457, 32462, 32467,
  32471, 32476, 32481, 32486, 32491, 32497, 32502, 32507, 32513, 32518,
  32524, 32530, 32536, 32542, 32548, 32554, 32560, 32566, 32572, 32579,
  32585, 32592, 32598, 32605, 32611, 32618, 32625, 32632, 32638, 32645,
  32652, 32659, 32666, 32673, 32680, 32687, 32694, 32701, 32708, 32716,
  32723, 32730, 32737, 32744, 32751, 32759, 32766, 32773, 32780, 32787,
  32794, 32801, 32809, 32816, 32823, 32830, 32837, 32844, 32851, 32858,
  32865, 32871, 32878, 32885, 32892, 32898, 32905, 32911, 32918, 32924,
  32931, 32937, 32943, 32950, 32956, 32962, 32968, 32974, 32979, 32985,
  32991, 32996, 33002, 33007, 33013, 33018, 33023, 33028, 33033, 33038,
  33043, 33047, 33052, 33056, 33061, 33065, 33069, 33073, 33077, 33081,
  33085, 33088, 33092, 33095, 33098, 33101, 33104, 33107, 33110, 33112,
  33115, 33117, 33119, 33122, 33124, 33125, 33127, 33129, 33130, 33132,
  33133, 33134, 33135, 33136, 33136, 33137, 33137, 33138, 33138, 33138,
  33138, 33138, 33137, 33137, 33136, 33135, 33135, 33134, 33132, 33131,
  33130, 33128, 33127, 33125, 33123, 33121, 33119, 33117, 33114, 33112,
  33109, 33106, 33103, 33100, 33097, 33094, 33091, 33087, 33084, 33080,
  33076, 33073, 33069, 33064, 33060, 33056, 33052, 33047, 33043, 33038,
  33033, 33028, 33023, 33018, 33013, 33008, 33003, 32997, 32992, 32986,
  32981, 32975, 32969, 32964, 32958, 32952, 32946, 32940, 32934, 32927,
  32921, 32915, 32909, 32902, 32896, 32890, 32883, 32877, 32870, 32863,
  32857, 32850, 32843, 32837, 32830, 32823, 32817, 32810, 32803, 32796,
  32789, 32783, 32776, 32769, 32762, 32756, 32749, 32742, 32735, 32729,
  32722, 32715, 32709, 32702, 32695, 32689, 32682, 32676, 32669, 32663,
  32656, 32650, 32644, 32637, 32631, 32625, 32619, 32613, 32607, 32601,
  32595, 32589, 32583, 32578, 32572, 32567, 32561, 32556, 32551, 32545,
  32540, 32535, 32530, 32525, 32520, 32516, 32511, 32507, 32502, 32498,
  32494, 32489, 32485, 32482, 32478, 32474, 32470, 32467, 32463, 32460,
  32457, 32454, 32451, 32448, 32445, 32443, 32440, 32438, 32436, 32433,
  32431, 32430, 32428, 32426, 32425, 32423, 32422, 32421, 32420, 32419,
  32418, 32417, 32417, 32416, 32416, 32416, 32416, 32416, 32416, 32416,
  32417, 32417, 32418, 32419, 32420, 32421, 32422, 32423, 32425, 32426,
  32428, 32429, 32431, 32433, 32435, 32438, 32440, 32443, 32445, 32448,
  32451, 32454, 32457, 32460, 32463, 32466, 32470, 32473, 32477, 32481,
  32485, 32488, 32493, 32497, 32501, 32505, 32510, 32514, 32519, 32523,
  32528, 32533, 32538, 32543, 32548, 32553, 32558, 32564, 32569, 32574,
  32580, 32585, 32591, 32597, 32602, 32608, 32614, 32620, 32626, 32632,
  32638, 32644, 32650, 32656, 32662, 32669, 32675, 32681, 32687, 32694,
  32700, 32706, 32713, 32719, 32726, 32732, 32738, 32745, 32751, 32758,
  32764, 32771, 32777, 32783, 32790, 32796, 32803, 32809, 32815, 32822,
  32828, 32834, 32841, 32847, 32853, 32859, 32865, 32871, 32877, 32883,
  32889, 32895, 32901, 32907, 32913, 32918, 32924, 32930, 32935, 32941,
  32946, 32951, 32957, 32962, 32967, 32972, 32977, 32982, 32987, 32991,
  32996, 33001, 33005, 33009, 33014, 33018, 33022, 33026, 33030, 33034,
  33038, 33041, 33045, 33048, 33052, 33055, 33058, 33061, 33064, 33067,
  33070, 33072, 33075, 33077, 33079, 33082, 33084, 33086, 33087, 33089,
  33091, 33092, 33094, 33095, 33096, 33097, 33098, 33099, 33099, 33100,
  33100, 33101, 33101, 33101, 33101, 33101, 33100, 33100, 33099, 33099,
  33098, 33097, 33096, 33095, 33094, 33093, 33091, 33090, 33088, 33086,
  33084, 33082, 33080, 33078, 33076, 33073, 33071, 33068, 33065, 33062,
  33060, 33056, 33053, 33050, 33047, 33043, 33040, 33036, 33032, 33029,
  33025, 33021, 33016, 33012, 33008, 33004, 32999, 32995, 32990, 32986,
  32981, 32976, 32971, 32966, 32961, 32956, 32951, 32946, 32940, 32935,
  32930, 32924, 32919, 32913, 32908, 32902, 32896, 32891, 32885, 32879,
  32873, 32867, 32862, 32856, 32850, 32844, 32838, 32832, 32826, 32820,
  32813, 32807, 32801, 32795, 32789, 32783, 32777, 32771, 32765, 32758,
  32752, 32746, 32740, 32734, 32728, 32722, 32716, 32710, 32704, 32698,
  32692, 32686, 32680, 32674, 32669, 32663, 32657, 32651, 32646, 32640,
  32635, 32629, 32624, 32618, 32613, 32608, 32603, 32597, 32592, 32587,
  32582, 32578, 32573, 32568, 32563, 32559, 32554, 32550, 32545, 32541,
  32537, 32533, 32529, 32525, 32521, 32517, 32514, 32510, 32506, 32503,
  32500, 32497, 32493, 32490, 32487, 32485, 32482, 32479, 32477, 32474,
  32472, 32470, 32468, 32466, 32464, 32462, 32461, 32459, 32458, 32456,
  32455, 32454, 32453, 32452, 32451, 32451, 32450, 32450, 32449, 32449,
  32449, 32449, 32449, 32449, 32450, 32450, 32451, 32452, 32452, 32453,
  32454, 32455, 32457, 32458, 32459, 32461, 32463, 32464, 32466, 32468,
  32470, 32473, 32475, 32477, 32480, 32482, 32485, 32488, 32491, 32494,
  32497, 32500, 32503, 32507, 32510, 32514, 32517, 32521, 32525, 32529,
  32533, 32537, 32541, 32545, 32549, 32554, 32558, 32563, 32567, 32572,
  32577, 32581, 32586, 32591, 32596, 32601, 32606, 32611, 32616, 32622,
  32627, 32632, 32637, 32643, 32648, 32654, 32659, 32665, 32670, 32676,
  32682, 32687, 32693, 32699, 32705, 32710, 32716, 32722, 32728, 32734,
  32739, 32745, 32751, 32757, 32763, 32769, 32774, 32780, 32786, 32792,
  32798, 32803, 32809, 32815, 32821, 32826, 32832, 32838, 32843, 32849,
  32855, 32860, 32866, 32871, 32876, 32882, 32887, 32892, 32898, 32903,
  32908, 32913, 32918, 32923, 32928, 32933, 32938, 32942, 32947, 32952,
  32956, 32961, 32965, 32969, 32974, 32978, 32982, 32986, 32990, 32994,
  32998, 33001, 33005, 33008, 33012, 33015, 33018, 33022, 33025, 33028,
  33031, 33033, 33036, 33039, 33041, 33044, 33046, 33048, 33050, 33052,
  33054, 33056, 33058, 33059, 33061, 33062, 33063, 33065, 33066, 33067,
  33067, 33068, 33069, 33069, 33070, 33070, 33070, 33071, 33071, 33070,
  33070, 33070, 33069, 33069, 33068, 33068, 33067, 33066, 33065, 33064,
  33062, 33061, 33059, 33058, 33056, 33054, 33053, 33051, 33048, 33046,
  33044, 33042, 33039, 33037, 33034, 33031, 33028, 33025, 33022, 33019,
  33016, 33013, 33009, 33006, 33002, 32999, 32995, 32991, 32988, 32984,
  32980, 32976, 32971, 32967, 32963, 32959, 32954, 32950, 32945, 32940,
  32936, 32931, 32926, 32922, 32917, 32912, 32907, 32902, 32897, 32892,
  32886, 32881, 32876, 32871, 32865, 32860, 32855, 32849, 32844, 32838,
  32833, 32827, 32822, 32816, 32811, 32805, 32800, 32794, 32789, 32783,
  32778, 32772, 32766, 32761, 32755, 32750, 32744, 32739, 32733, 32728,
  32722, 32717, 32711, 32706, 32700, 32695, 32690, 32684, 32679, 32674,
  32668, 32663, 32658, 32653, 32648, 32643, 32638, 32633, 32628, 32623,
  32619, 32614, 32609, 32605, 32600, 32596, 32591, 32587, 32582, 32578,
  32574, 32570, 32566, 32562, 32558, 32554, 32551, 32547, 32544, 32540,
  32537, 32533, 32530, 32527, 32524, 32521, 32518, 32515, 32513, 32510,
  32508, 32505, 32503, 32501, 32499, 32496, 32495, 32493, 32491, 32489,
  32488, 32486, 32485, 32484, 32483, 32482, 32481, 32480, 32479, 32478,
  32478, 32477, 32477, 32477, 32477, 32477, 32477, 32477, 32477, 32478,
  32478, 32479, 32479, 32480, 32481, 32482, 32483, 32484, 32486, 32487,
  32489, 32490, 32492, 32494, 32495, 32497, 32500, 32502, 32504, 32506,
  32509, 32511, 32514, 32517, 32519, 32522, 32525, 32528, 32531, 32535,
  32538, 32541, 32545, 32548, 32552, 32555, 32559, 32563, 32567, 32571,
  32575, 32579, 32583, 32587, 32592, 32596, 32600, 32605, 32609, 32614,
  32618, 32623, 32628, 32633, 32637, 32642, 32647, 32652, 32657, 32662,
  32667, 32672, 32677, 32682, 32687, 32693, 32698, 32703, 32708, 32714,
  32719, 32724, 32729, 32735, 32740, 32745, 32751, 32756, 32761, 32767,
  32772, 32777, 32783, 32788, 32793, 32799, 32804, 32809, 32815, 32820,
  32825, 32830, 32835, 32840, 32846, 32851, 32856, 32861, 32866, 32871,
  32876, 32880, 32885, 32890, 32895, 32899, 32904, 32909, 32913, 32918,
  32922, 32926, 32931, 32935, 32939, 32943, 32947, 32951, 32955, 32959,
  32963, 32966, 32970, 32974, 32977, 32981, 32984, 32987, 32990, 32993,
  32996, 32999, 33002, 33005, 33008, 33010, 33013, 33015, 33018, 33020,
  33022, 33024, 33026, 33028, 33030, 33031, 33033, 33034, 33036, 33037,
  33035, 33034, 33032, 33030, 33028, 33026, 33023, 33021, 33019, 33016,
  33013, 33011, 33008, 33005, 33002, 32999, 32995, 32992, 32989, 32986,
  32982, 32979, 32975, 32971, 32968, 32964, 32960, 32957, 32953, 32949,
  32945, 32941, 32937, 32933, 32929, 32925, 32921, 32917, 32913, 32909,
  32905, 32901, 32897, 32893, 32889, 32885, 32882, 32878, 32874, 32870,
  32866, 32862, 32859, 32855, 32851, 32848, 32844, 32841, 32837, 32834,
  32831, 32827, 32824, 32821, 32818, 32815, 32812, 32809, 32807, 32804,
  32802, 32799, 32797, 32794, 32792, 32790, 32788, 32786, 32784, 32782,
  32781, 32779, 32778, 32776, 32775, 32774, 32773, 32772, 32771, 32770,
  32770, 32769, 32769, 32768, 32768, 32768, 
};