Riesel conjecture base 652 remain

Started: May 26, 2023
Last update: May 26, 2023

Compiled by Gary Barnes
Riesel conjectures
Riesel conjectures powers of 2
Riesel conjecture reservations
Sierpinski conjectures
Sierpinski conjectures powers of 2
Sierpinski conjecture reservations

Testing is coordinated at Mersenneforum Conjectures 'R Us.

4946 k's remaining at n=10K:

51, 164, 399, 410, 441, 464, 467, 608, 674, 872, 887, 1043, 1046, 1049, 1071, 1151, 1313, 1328, 1553, 1602, 1686, 1703, 1710, 1764, 1841, 1986, 2049, 2114, 2316, 2322, 2544, 2663, 2751, 2753, 2847, 3173, 3176, 3525, 3572, 3581, 4032, 4178, 4218, 4227, 4443, 4478, 4557, 4602, 4742, 4797, 4839, 4974, 4983, 5009, 5091, 5613, 5673, 5834, 5876, 5934, 5939, 5952, 5996, 6338, 6419, 6438, 6537, 6653, 6768, 6843, 6879, 7353, 7431, 7637, 8169, 8348, 8463, 9021, 9054, 9072, 9117, 9278, 9375, 9413, 9911, 10202, 10316, 10323, 10488, 10547, 10656, 10701, 10743, 11289, 11396, 11484, 11493, 11759, 11801, 11867, 11906, 12357, 12408, 12651, 12731, 12884, 13179, 13352, 13355, 13377, 13398, 13458, 13902, 13958, 14153, 14283, 14286, 14342, 14504, 14609, 14613, 14714, 14843, 14997, 15038, 15258, 15458, 15557, 15918, 15993, 16064, 16172, 16182, 16326, 16334, 16406, 16482, 16635, 16943, 16977, 17054, 17744, 17757, 17759, 17880, 18011, 18014, 18086, 18326, 18434, 18441, 18753, 18822, 19002, 19163, 20051, 20088, 20103, 20562, 20639, 20732, 20897, 20978, 20993, 21063, 21125, 21198, 21209, 21248, 21464, 21723, 21746, 21807, 22059, 22169, 22218, 22223, 22419, 22463, 22539, 22830, 22854, 23006, 23184, 23214, 23489, 23543, 23643, 23648, 23727, 23945, 24044, 24162, 24593, 25062, 25149, 25683, 25997, 26043, 26156, 26297, 26478, 26624, 26646, 26799, 26814, 27057, 27372, 27741, 28032, 28101, 28164, 28313, 28319, 28604, 28809, 28997, 29022, 29102, 29132, 29357, 29384, 29481, 29591, 29610, 29762, 29787, 29853, 29943, 30431, 30441, 30473, 30522, 30573, 30686, 30783, 30959, 31029, 31079, 31148, 31370, 31397, 31547, 31563, 31689, 31791, 31904, 31905, 32039, 32342, 32367, 32622, 32673, 32967, 33123, 33147, 33149, 33203, 33548, 33774, 33858, 34584, 34716, 35033, 35357, 35408, 35468, 35861, 35898, 35919, 36189, 36221, 36458, 36494, 36525, 36588, 36731, 37013, 37146, 37148, 37359, 37404, 37473, 37484, 37656, 37886, 38091, 38156, 38189, 38279, 38538, 38583, 38622, 38787, 38960, 39093, 39165, 39171, 39197, 39269, 39993, 40067, 40128, 40134, 40173, 40197, 40313, 40344, 40509, 40641, 41001, 41022, 41078, 41201, 41207, 41424, 41556, 41589, 41793, 41804, 41940, 41969, 42191, 42711, 42852, 42944, 43080, 43136, 43244, 43364, 43511, 43559, 43596, 43974, 44624, 44628, 44663, 45014, 45056, 45317, 45444, 45495, 45576, 45588, 45681, 45731, 46022, 46088, 46244, 46347, 46422, 46619, 46634, 47222, 47721, 47738, 47828, 47898, 47963, 48029, 48081, 48086, 48162, 48288, 48302, 48492, 48746, 48846, 48911, 48974, 48984, 49292, 49296, 49361, 49395, 49493, 49574, 49713, 49784, 49823, 49857, 50271, 50279, 50280, 50381, 50466, 50570, 50747, 50948, 50969, 51279, 51305, 51665, 51848, 51881, 51998, 52014, 52152, 52265, 52344, 52373, 52551, 52602, 52638, 52791, 52919, 53424, 53547, 53744, 53798, 53843, 53928, 54026, 54252, 54333, 54443, 54554, 54813, 54851, 54900, 55064, 55166, 55278, 55323, 55409, 55589, 55643, 55928, 55983, 56171, 56213, 56630, 56711, 56849, 57099, 57348, 57398, 57465, 57519, 57771, 58323, 58376, 58394, 58506, 58508, 58593, 58646, 58694, 58721, 58803, 59001, 59162, 59469, 59763, 59870, 60171, 60522, 60714, 60923, 60963, 61064, 61073, 61143, 61271, 61352, 61383, 61431, 61619, 61715, 61764, 61838, 61911, 61914, 61967, 62034, 62057, 62243, 62265, 62303, 62312, 62319, 62396, 62453, 62736, 62849, 62927, 63063, 63143, 63299, 63314, 63486, 63669, 63690, 63732, 64740, 64953, 64971, 65217, 65253, 65313, 65832, 65882, 65928, 65982, 65988, 66008, 66083, 66146, 66273, 66342, 66680, 66741, 66773, 66987, 67379, 67428, 67452, 67463, 67728, 67748, 68066, 68243, 68481, 68498, 68549, 68621, 68751, 68838, 68843, 68912, 68978, 69260, 69338, 69464, 69537, 69831, 69888, 69998, 70041, 70062, 70097, 70328, 70382, 70392, 70403, 70496, 70634, 70767, 70817, 71192, 71390, 71399, 71522, 71768, 72111, 72176, 72327, 72933, 73094, 73313, 73338, 73650, 73671, 74079, 74493, 74508, 74592, 74697, 74798, 75113, 75134, 75512, 75519, 75557, 75560, 75696, 75728, 76004, 76173, 76283, 76598, 76620, 76662, 76676, 76748, 77007, 77055, 77159, 77199, 77282, 77445, 77451, 77487, 77510, 77676, 77823, 77928, 78008, 78101, 78266, 78356, 78357, 78413, 78455, 78468, 78552, 78554, 78654, 78666, 78861, 79011, 79170, 79284, 79286, 79488, 79869, 79911, 79943, 80337, 80609, 81027, 81093, 81134, 81251, 81281, 81357, 81401, 81794, 82553, 82718, 82932, 82973, 83193, 83223, 83478, 83499, 83568, 83576, 83699, 83723, 84107, 84137, 84236, 84572, 84584, 84744, 84977, 85143, 86124, 86517, 86562, 86603, 86834, 86936, 86972, 87021, 87183, 87449, 87504, 87719, 87741, 88070, 88310, 88389, 88473, 88619, 88646, 89003, 89082, 89231, 89567, 89849, 90038, 90093, 90102, 90342, 90531, 90540, 90677, 90803, 90941, 91002, 91014, 91116, 91326, 91368, 91371, 91826, 92052, 92199, 92253, 92348, 92699, 93197, 93380, 93399, 93572, 93932, 94083, 94178, 94227, 94386, 94428, 94506, 94686, 94761, 94929, 94938, 94994, 95088, 95172, 95213, 95384, 95408, 95606, 95669, 95696, 96204, 96212, 96218, 96222, 96236, 96369, 96729, 96737, 96926, 97023, 97067, 97079, 97101, 97104, 97130, 97253, 97388, 97667, 97733, 97832, 97883, 97892, 97949, 98019, 98027, 98391, 98531, 98684, 98754, 99081, 99113, 99257, 99378, 99729, 99767, 99890, 99999, 100071, 100158, 100268, 100488, 100599, 100781, 100952, 101019, 101097, 101258, 101366, 101387, 101436, 101447, 101561, 101651, 101868, 101943, 102021, 102029, 102491, 102624, 102953, 103002, 103269, 103316, 103319, 103344, 103409, 103613, 103623, 103787, 103863, 103878, 103893, 103953, 103974, 104054, 104082, 104136, 104207, 104267, 104346, 104520, 104957, 105143, 105257, 105524, 105945, 105957, 106074, 106236, 106341, 106473, 106521, 106617, 106647, 106692, 106838, 107091, 107204, 107454, 107618, 107681, 107706, 107751, 107924, 108026, 108215, 108959, 109035, 109052, 109092, 109578, 109647, 109728, 109827, 109983, 110103, 110166, 110225, 110333, 110448, 110466, 110477, 110511, 110537, 110669, 110672, 110771, 110834, 111024, 111044, 111048, 111158, 111186, 111296, 111323, 111591, 111713, 111776, 111852, 112086, 112164, 112209, 112451, 112707, 112746, 112808, 112956, 113006, 113054, 113094, 113103, 113178, 113304, 113738, 113741, 114078, 114203, 114383, 114578, 114632, 114896, 114909, 115164, 115269, 115497, 115542, 115577, 115580, 116396, 116613, 116724, 116819, 116913, 116987, 117144, 117219, 117263, 117297, 117383, 117483, 117516, 117617, 117633, 117768, 117893, 117947, 118016, 118044, 118386, 118473, 118629, 118814, 118827, 119363, 119513, 119579, 119975, 120153, 120369, 120404, 120522, 120606, 120951, 120983, 121001, 121172, 121256, 121368, 121443, 121553, 121628, 121655, 121833, 121884, 121904, 121952, 121995, 122016, 122034, 122652, 122709, 122871, 122952, 122973, 122987, 123099, 123104, 123344, 123384, 123414, 123479, 123729, 123878, 123891, 124158, 124221, 124238, 124308, 124362, 124980, 124983, 125249, 125283, 125412, 125652, 125832, 126032, 126126, 126188, 126224, 126237, 126254, 126308, 126378, 126536, 126585, 126594, 126606, 126641, 127071, 127083, 127110, 127202, 127242, 127323, 127334, 128060, 128063, 128133, 128406, 128495, 129549, 129684, 129729, 129761, 129846, 129864, 129939, 130076, 130458, 130464, 130470, 130563, 130599, 130671, 130739, 130800, 130854, 130895, 130902, 131024, 131054, 131229, 131411, 131532, 131586, 131816, 131928, 132003, 132009, 132051, 132102, 132317, 132386, 132423, 132828, 132947, 133251, 133742, 134006, 134007, 134073, 134253, 134271, 134396, 134426, 134517, 134519, 134588, 134600, 134973, 134987, 135014, 135114, 135315, 135323, 135501, 135659, 135788, 136064, 136163, 136208, 136218, 136283, 136554, 136679, 136967, 136988, 137105, 137223, 137652, 138024, 138065, 138084, 138095, 138213, 138317, 138486, 138659, 138803, 139088, 139437, 139593, 139683, 139703, 139892, 140066, 140193, 140312, 140516, 140681, 140976, 141003, 141080, 141486, 141738, 141822, 141903, 142004, 142140, 142233, 142355, 142394, 142496, 142629, 142664, 142946, 143268, 143346, 143367, 143397, 143483, 143619, 143639, 143694, 143856, 143873, 143933, 143966, 143969, 144239, 144471, 144566, 144884, 145073, 145217, 145233, 145347, 145380, 145658, 145703, 145721, 145806, 146043, 146304, 146424, 146565, 146715, 146730, 146891, 147213, 147227, 147324, 147398, 147521, 147579, 147635, 147804, 147819, 147905, 147987, 148011, 148278, 148479, 148602, 148719, 148757, 148781, 148812, 148833, 148986, 149168, 149264, 149274, 149348, 149466, 149523, 149634, 149834, 149847, 150357, 150594, 150681, 150699, 150848, 150864, 151083, 151409, 151470, 151514, 151709, 152057, 152226, 152472, 152484, 152597, 153081, 153366, 153684, 153771, 153849, 153926, 154089, 154124, 154208, 154584, 154586, 154917, 154929, 155022, 155027, 155106, 155433, 155498, 155511, 155522, 155607, 155613, 155712, 155763, 156011, 156126, 156317, 156471, 156539, 156588, 156671, 156722, 156744, 156812, 157068, 157223, 157374, 157491, 157568, 157749, 157766, 158009, 158027, 158049, 158139, 158174, 158183, 158273, 158870, 158904, 159113, 159252, 159296, 159333, 159347, 159486, 159528, 159623, 159644, 159674, 159677, 159911, 160019, 160038, 160163, 160268, 160353, 160502, 160538, 160593, 160776, 160802, 160818, 161051, 161118, 161457, 161580, 161699, 161717, 161853, 161924, 161942, 162000, 162119, 162137, 162138, 162176, 162417, 162564, 162633, 162672, 162741, 162749, 162774, 162798, 162852, 162893, 163047, 163299, 163467, 163499, 163628, 163683, 163847, 164175, 164310, 164414, 164481, 164504, 164621, 164898, 165024, 165401, 165506, 165861, 165938, 165984, 166046, 166061, 166103, 166112, 166157, 166232, 166241, 166301, 166388, 166460, 166557, 166631, 166661, 166674, 166763, 166779, 166886, 167093, 167174, 167235, 167330, 167358, 167423, 167508, 167643, 168110, 168137, 168258, 168723, 168768, 168807, 168833, 168971, 169113, 169145, 169244, 169295, 169302, 169350, 169536, 169568, 169859, 169962, 169998, 170093, 170447, 170579, 170802, 170823, 170922, 170954, 170981, 171092, 171308, 171377, 171477, 171491, 171563, 171638, 171825, 171902, 172127, 172143, 172224, 172371, 172508, 172650, 172734, 172848, 173208, 173343, 173397, 173427, 173528, 173558, 173651, 173766, 173807, 174027, 174062, 174152, 174186, 174342, 174402, 174596, 174656, 174927, 175002, 175004, 175052, 175317, 175332, 175373, 175415, 175481, 175613, 175685, 175697, 175805, 175832, 175937, 175959, 176102, 176141, 176400, 176487, 176514, 176553, 176819, 176826, 176829, 176939, 176966, 177035, 177081, 177182, 177233, 177281, 177354, 177384, 177431, 177438, 177632, 177761, 178023, 178191, 178199, 178223, 178229, 178379, 178434, 178556, 178629, 178715, 178737, 178850, 178901, 179028, 179171, 179645, 179678, 179711, 179858, 179883, 180093, 180273, 180809, 181163, 181233, 181515, 181524, 181647, 181683, 182153, 182180, 182282, 182621, 182634, 182786, 182810, 182868, 183066, 183225, 183519, 183584, 183837, 183921, 184022, 184104, 184163, 184251, 184343, 184691, 184737, 184743, 184886, 185069, 185223, 185259, 185483, 185513, 185807, 185891, 185894, 185948, 186014, 186104, 186263, 186542, 186609, 186701, 187203, 187388, 187401, 187410, 187656, 187803, 187857, 188001, 188004, 188247, 188258, 188303, 188489, 188943, 188981, 189033, 189233, 189275, 189408, 189479, 189584, 189692, 189759, 189786, 190041, 190199, 190532, 190706, 190733, 190820, 190859, 190889, 191078, 191244, 191328, 191739, 191868, 191981, 192114, 192353, 192519, 192647, 192818, 193028, 193287, 193361, 193448, 193679, 193709, 193923, 193989, 194099, 194109, 194474, 194481, 194522, 194642, 194754, 194925, 194994, 195186, 195198, 195233, 195246, 195251, 195296, 195918, 195947, 196032, 196058, 196145, 196167, 196172, 196418, 196460, 196632, 196718, 196725, 196769, 197399, 197612, 197643, 197714, 197718, 197739, 197816, 197928, 198258, 198386, 198509, 198518, 198531, 198548, 198947, 199043, 199049, 199071, 199164, 199367, 199422, 199626, 199761, 199923, 200144, 200172, 200471, 200550, 200667, 200763, 201203, 201413, 201584, 201590, 201602, 201914, 201974, 201977, 202139, 202533, 202634, 202746, 202755, 202761, 203013, 203067, 203523, 203682, 203784, 203933, 203993, 204147, 204278, 204323, 204362, 204372, 204483, 204609, 204887, 204966, 205007, 205041, 205527, 205679, 205694, 205701, 205709, 205754, 205862, 206148, 206166, 206198, 206364, 206423, 206456, 206486, 207018, 207044, 207048, 207371, 207473, 207513, 207612, 207708, 207762, 207788, 207942, 208044, 208245, 208308, 208337, 208481, 208674, 208779, 208862, 208959, 209153, 209237, 209246, 209454, 209586, 209927, 209961, 210264, 210269, 210282, 210368, 210453, 210458, 210527, 210776, 210836, 210873, 211007, 211038, 211164, 211227, 211365, 211581, 211724, 211739, 211766, 212085, 212231, 212448, 212778, 213227, 213239, 213407, 213546, 213624, 213791, 214311, 214328, 214410, 214553, 214919, 214932, 215030, 215183, 215214, 215339, 215528, 215681, 215697, 215922, 215933, 215961, 216111, 216162, 216179, 216353, 216456, 216533, 216599, 216662, 216663, 216813, 217409, 217529, 217629, 217889, 217893, 218007, 218048, 218183, 218519, 218528, 218568, 218748, 218754, 218757, 218882, 219173, 219242, 219246, 219267, 219305, 219459, 219536, 219603, 219741, 219756, 219846, 219893, 219917, 219951, 219998, 220097, 220268, 220322, 220331, 220443, 220713, 220884, 220901, 221223, 221328, 221396, 221699, 221757, 221886, 222336, 222396, 222579, 222656, 222732, 222954, 223116, 223143, 223176, 223257, 223361, 223415, 223589, 223668, 223677, 223814, 224049, 224126, 224321, 224517, 224657, 224877, 224903, 224948, 225075, 225147, 225153, 225231, 225356, 225410, 225498, 225504, 225537, 225636, 225642, 225858, 225909, 226293, 226410, 226541, 226602, 226614, 226652, 226653, 226968, 227042, 227721, 227771, 227807, 227840, 227943, 227978, 228141, 228363, 228555, 228711, 229037, 229227, 229326, 229479, 229700, 229707, 229782, 229947, 230094, 230127, 230151, 230211, 230223, 230264, 230607, 230666, 230673, 230708, 230741, 230873, 231087, 231114, 231186, 231219, 231467, 231614, 231741, 231938, 232077, 232164, 232365, 232409, 232434, 232644, 232658, 232818, 232881, 233007, 233145, 233291, 233468, 233532, 233823, 233849, 233957, 234087, 234257, 234287, 234458, 234579, 234743, 234870, 234887, 235091, 235184, 235286, 235359, 235413, 235848, 235902, 236138, 236214, 236361, 236457, 236481, 236498, 236501, 236547, 236613, 236732, 237221, 237324, 237482, 237677, 237954, 238103, 238254, 238584, 238616, 238727, 238863, 239040, 239364, 239411, 239460, 239589, 239696, 239963, 239990, 240068, 240252, 240321, 240363, 240456, 240531, 240587, 240606, 240791, 240888, 240951, 241163, 241188, 241338, 241539, 241748, 241763, 241824, 241838, 241869, 241871, 242031, 242064, 242106, 242406, 242559, 242618, 242673, 242862, 243014, 243347, 243533, 243551, 243896, 244079, 244221, 244286, 244404, 244446, 244634, 244844, 244884, 244982, 245034, 245216, 245408, 245508, 245600, 245657, 245703, 245709, 245928, 245961, 246047, 246126, 246129, 246206, 246341, 246402, 246426, 246438, 246599, 246732, 246776, 246815, 246998, 247328, 247428, 247550, 247571, 247820, 248108, 248211, 248244, 248271, 248318, 248337, 248429, 248579, 248661, 249078, 249221, 249434, 249506, 249654, 250035, 250088, 250103, 250178, 250179, 250304, 250353, 250452, 250662, 250728, 250826, 250911, 250962, 251076, 251873, 252017, 252108, 252132, 252146, 252158, 252293, 252318, 252374, 252678, 252734, 252857, 253001, 253041, 253091, 253122, 253152, 253284, 253314, 253346, 253361, 253403, 253533, 253584, 253598, 253661, 253706, 254012, 254018, 254085, 254204, 254210, 254369, 254508, 254676, 254874, 255012, 255108, 255303, 255308, 255413, 255419, 255423, 255489, 255548, 255587, 255807, 255843, 255887, 256191, 256359, 256419, 256436, 256478, 256587, 256692, 256787, 256932, 256979, 257151, 257283, 257508, 257612, 257621, 257798, 258197, 258351, 258591, 258636, 258839, 258879, 259121, 259124, 259179, 259403, 259499, 259598, 259770, 260243, 260259, 260307, 260487, 260592, 260759, 261000, 261096, 261188, 261242, 261263, 261354, 261449, 261453, 261581, 261636, 261744, 262134, 262196, 262250, 262439, 262623, 262688, 262761, 262847, 262874, 262916, 262937, 262986, 263298, 263316, 263462, 263813, 263876, 264302, 264411, 264449, 264597, 264638, 264984, 265181, 265184, 265352, 265461, 265599, 265830, 265841, 266313, 266507, 266637, 267192, 267278, 267354, 267410, 267545, 267584, 267719, 267729, 267731, 267771, 267776, 267908, 267953, 267981, 268076, 268119, 268277, 268293, 268323, 268652, 268713, 268728, 269052, 269573, 269661, 269673, 269702, 269822, 269904, 269996, 270219, 270263, 270374, 270459, 270471, 270528, 270548, 270578, 271056, 271364, 271544, 271584, 271653, 271662, 271737, 271877, 272312, 272508, 272523, 272561, 272628, 272955, 272997, 273087, 273119, 273177, 273216, 273320, 273630, 273705, 273746, 273749, 273909, 274110, 274206, 274259, 274262, 274341, 274502, 274623, 274818, 274937, 275027, 275114, 275169, 275270, 275292, 275427, 275642, 275694, 275916, 275999, 276024, 276096, 276219, 276338, 276516, 276567, 276608, 276611, 276668, 276833, 276930, 276968, 277368, 277661, 277742, 277773, 277899, 277926, 278169, 278193, 278207, 278424, 278568, 278591, 278633, 278679, 278924, 278991, 279039, 279117, 279146, 279149, 279183, 279233, 279278, 279293, 279345, 279384, 279764, 280052, 280098, 280482, 280826, 280989, 281358, 281390, 281459, 282027, 282189, 282303, 282363, 282539, 282807, 282851, 283188, 283224, 283451, 283566, 283722, 283853, 283946, 284409, 284498, 284573, 284618, 284633, 284681, 284937, 285498, 285687, 285789, 286073, 286269, 286293, 286331, 286344, 286373, 286422, 286643, 286878, 287114, 287417, 287553, 287633, 287664, 287714, 287873, 287961, 287978, 288222, 288458, 288489, 288501, 288516, 288542, 288581, 288617, 288696, 288722, 288740, 288953, 289034, 289128, 289229, 289662, 289785, 289797, 289841, 289854, 289938, 289946, 290049, 290051, 290093, 290274, 290393, 290621, 290717, 290777, 291422, 291536, 291602, 291636, 291753, 291837, 291893, 291933, 292389, 292457, 292554, 292649, 292913, 292922, 292928, 293088, 293367, 293390, 293436, 293736, 293823, 293883, 293906, 293955, 294027, 294039, 294108, 294138, 294159, 294174, 294416, 294431, 294776, 294837, 294867, 295067, 295157, 295169, 295238, 295508, 295538, 295973, 296036, 296103, 296235, 296259, 296312, 296553, 296616, 296841, 297015, 297146, 297278, 297401, 297437, 297456, 297608, 297659, 297698, 297777, 297917, 298050, 298433, 298545, 298604, 298704, 298776, 298814, 298818, 298844, 299072, 299318, 299393, 299441, 299501, 299645, 299691, 299703, 300048, 300086, 300302, 300318, 300381, 300429, 300699, 300773, 300782, 301343, 301658, 301679, 301884, 301934, 302010, 302091, 302393, 302484, 302637, 302652, 302699, 302727, 303062, 303308, 303396, 303414, 303659, 303786, 303792, 304107, 304271, 304467, 304472, 304506, 304577, 304784, 304842, 304953, 305147, 305310, 305364, 305375, 305508, 305618, 305688, 305871, 305927, 305952, 305982, 306120, 306194, 306263, 306288, 306422, 306450, 306458, 306639, 306648, 306809, 306939, 307008, 307388, 307425, 307526, 307542, 307559, 307652, 308025, 308207, 308217, 308432, 308459, 308502, 308562, 308784, 308808, 309117, 309218, 309281, 309297, 309927, 310127, 310197, 310205, 310259, 310424, 310742, 310769, 310821, 310832, 310872, 310922, 311003, 311124, 311169, 311411, 311516, 311700, 311729, 311832, 312057, 312107, 312189, 312332, 312366, 312618, 312623, 312764, 312786, 312867, 313014, 313026, 313218, 313241, 313439, 313604, 313815, 313838, 313857, 313922, 313953, 313955, 313976, 314094, 314139, 314277, 314513, 314712, 314724, 314747, 314753, 314876, 314879, 314901, 315159, 315269, 315387, 315455, 315578, 315683, 315879, 315929, 316049, 316053, 316266, 316301, 316530, 316644, 316704, 316893, 316904, 316908, 317207, 317247, 317495, 317579, 317771, 318143, 318153, 318428, 318497, 318531, 318957, 319011, 319041, 319044, 319182, 319277, 319391, 319599, 320072, 320123, 320136, 320193, 320271, 320486, 320663, 320693, 320813, 320828, 321029, 321383, 321831, 321908, 321986, 322019, 322034, 322073, 322136, 322227, 322332, 322437, 322581, 322752, 323004, 323010, 323049, 323139, 323295, 323346, 323634, 323691, 323798, 323918, 323972, 324548, 324639, 324746, 324812, 324821, 324852, 324900, 325062, 325131, 325404, 325509, 325797, 325919, 325961, 326106, 326144, 326583, 326879, 326933, 327032, 327231, 327248, 327341, 327374, 327459, 327716, 327968, 328001, 328089, 328221, 328403, 328460, 328557, 328607, 328857, 328860, 328992, 329006, 329037, 329042, 329111, 329213, 329219, 329352, 329357, 329472, 329709, 329739, 329796, 329840, 329915, 329928, 329993, 330164, 330174, 330309, 330392, 330473, 330545, 330677, 330696, 331179, 331314, 331442, 331706, 331713, 331727, 331733, 331764, 331896, 331916, 331917, 332069, 332138, 332168, 332225, 332448, 332583, 333029, 333059, 333072, 333116, 333162, 333164, 333267, 333287, 333464, 333587, 333626, 333633, 333750, 333912, 333941, 334077, 334149, 334436, 334437, 334530, 334533, 334539, 334781, 334788, 335354, 335624, 335708, 335781, 336107, 336411, 336510, 336615, 337071, 337164, 337251, 337286, 337544, 337748, 337802, 337812, 337893, 338099, 338159, 338204, 338561, 338867, 338979, 339003, 339063, 339185, 339258, 339341, 339437, 339449, 339828, 339848, 339938, 340044, 340328, 340377, 340521, 340583, 340646, 340652, 340658, 340665, 340674, 340725, 340731, 340769, 340776, 340781, 340833, 340907, 341037, 341073, 341154, 341291, 341357, 341382, 341418, 341697, 341906, 342330, 342479, 342816, 342906, 343056, 343118, 343256, 343290, 343434, 343458, 343535, 343854, 343877, 344049, 344129, 344252, 344334, 344538, 344601, 344811, 344843, 344904, 345179, 345203, 345284, 345326, 345438, 345543, 345684, 346017, 346272, 346338, 346446, 346481, 346542, 346569, 346586, 346733, 346866, 347042, 347231, 347268, 347318, 347319, 347394, 347594, 347625, 347757, 347832, 348096, 348249, 348357, 348756, 348992, 349001, 349068, 349073, 349083, 349094, 349296, 349331, 349479, 349614, 349649, 349748, 349772, 350003, 350013, 350018, 350061, 350142, 350331, 350436, 350639, 350664, 351171, 351243, 351437, 351444, 351483, 351488, 351624, 351707, 351708, 351773, 351837, 351858, 351966, 351977, 352004, 352146, 352247, 352271, 352460, 352566, 352599, 352856, 353016, 353217, 353519, 353549, 353588, 353637, 353684, 353853, 353868, 353918, 353927, 353934, 354209, 354288, 354293, 354303, 354492, 354513, 354594, 354633, 354753, 354792, 354984, 355206, 355488, 355518, 355521, 355589, 355631, 355773, 355796, 355851, 355899, 355991, 356019, 356106, 356211, 356262, 356361, 356373, 356558, 356636, 356771, 357054, 357116, 357138, 357366, 357383, 357516, 357639, 357656, 357746, 357845, 357866, 358097, 358308, 358554, 358602, 358638, 359013, 359109, 359312, 359354, 359646, 359757, 359802, 359912, 360119, 360332, 360468, 360584, 361317, 361365, 361652, 361679, 361685, 361814, 362057, 362333, 362414, 362462, 362516, 362553, 362774, 362823, 362889, 362948, 363113, 363138, 363326, 363467, 363477, 363617, 363641, 363668, 363698, 363722, 363753, 364103, 364368, 364373, 364461, 364493, 364532, 364737, 364901, 364905, 365000, 365160, 365193, 365204, 365411, 365412, 365588, 365607, 365831, 365948, 366084, 366093, 366149, 366156, 366207, 366237, 366392, 366518, 366533, 366534, 366716, 366741, 366774, 366791, 366837, 366956, 366987, 367052, 367239, 367419, 367590, 367596, 367638, 367656, 367742, 367983, 368073, 368202, 368213, 368351, 368415, 368847, 369231, 369369, 369389, 369899, 370026, 370143, 370191, 370199, 370359, 370394, 370421, 370802, 370809, 370925, 370998, 371121, 371633, 371772, 372057, 372134, 372209, 372273, 372498, 372563, 372747, 373026, 373077, 373103, 373184, 373268, 373341, 373398, 373422, 373443, 373515, 373547, 373755, 373884, 373958, 374328, 374378, 374642, 374658, 374735, 374742, 374924, 374931, 375017, 375356, 375389, 375413, 375450, 375840, 375857, 376214, 376292, 376451, 376457, 376886, 376896, 377052, 377216, 377319, 377402, 377433, 377538, 377576, 377811, 377883, 378086, 378642, 378654, 378689, 378704, 378800, 378836, 378944, 379059, 379181, 379211, 379421, 379473, 379497, 379710, 379833, 379838, 379871, 380018, 380033, 380124, 380174, 380396, 380517, 380700, 380729, 380900, 381077, 381111, 381234, 381296, 381504, 381551, 381819, 381846, 381855, 382149, 382391, 382506, 382848, 382907, 383003, 383312, 383442, 383705, 383837, 383897, 384204, 384264, 384377, 384576, 384663, 384729, 384737, 384785, 384842, 385293, 385304, 385317, 385511, 385553, 385574, 385664, 385896, 385934, 386021, 386259, 386325, 386523, 386607, 386706, 386916, 387012, 387077, 387104, 387369, 387429, 387533, 387602, 387632, 387897, 387974, 388023, 388086, 388238, 388239, 388269, 388547, 388800, 388862, 388908, 388931, 388943, 389018, 389063, 389097, 389136, 389189, 389574, 389639, 389745, 389849, 389988, 390036, 390044, 390228, 390366, 390369, 390606, 390674, 390803, 390897, 390908, 390953, 391044, 391086, 391109, 391136, 391244, 391341, 391556, 391607, 391799, 391838, 391922, 391974, 392052, 392081, 392163, 392354, 392369, 392408, 392439, 392550, 392720, 392774, 392837, 392849, 393024, 393038, 393096, 393327, 393413, 393581, 393972, 394023, 394113, 394362, 394389, 394394, 394413, 394512, 394646, 395028, 395049, 395324, 395357, 395463, 395862, 396069, 396323, 396822, 397056, 397079, 397106, 397389, 397442, 397464, 397497, 397584, 397838, 398067, 398192, 398262, 398319, 398477, 398523, 398538, 398792, 398822, 399105, 399111, 399122, 399156, 399213, 399257, 399258, 399261, 399576, 399579, 399656, 399698, 399843, 400164, 400223, 400431, 400629, 400712, 400767, 401300, 401369, 401447, 401478, 401529, 401799, 402062, 402089, 402114, 402323, 402444, 402603, 402758, 402966, 403038, 403154, 403319, 403518, 403694, 403881, 403928, 404310, 404451, 404472, 404507, 404586, 404738, 404903, 405018, 405579, 405773, 406167, 406200, 406662, 406872, 406943, 407181, 407232, 407312, 407592, 407631, 407658, 407697, 407741, 407889, 407993, 408062, 408266, 408383, 408494, 408611, 408638, 408782, 408923, 408972, 409034, 409052, 409226, 409733, 409839, 409988, 410004, 410078, 410381, 410562, 410588, 410633, 410736, 410777, 410822, 411137, 411269, 411332, 411494, 411746, 411984, 412178, 412193, 412338, 412373, 412377, 412407, 412484, 412526, 412584, 412601, 412697, 412712, 412773, 412886, 412892, 412904, 412929, 413004, 413111, 413153, 413202, 413214, 413609, 413741, 414038, 414269, 414272, 414489, 414528, 414654, 414749, 414756, 414813, 414957, 414987, 415013, 415097, 415116, 415200, 415224, 415301, 415319, 415422, 415523, 415803, 415986, 416289, 416414, 416757, 417123, 417135, 417213, 417522, 417777, 417938, 418577, 418677, 418764, 418856, 419337, 419607, 419982, 420011, 420059, 420182, 420233, 420357, 420380, 420492, 420656, 420677, 420896, 420963, 420971, 421271, 421403, 421437, 421866, 422007, 422100, 422274, 422426, 422646, 422648, 422723, 422834, 422904, 422954, 423138, 423201, 423318, 423344, 423549, 423701, 423824, 423918, 424076, 424182, 424202, 424248, 424296, 424604, 425661, 425792, 426123, 426192, 426233, 426248, 426347, 426353, 426410, 426453, 426509, 426752, 426779, 426992, 427031, 427161, 427487, 427574, 427581, 427611, 427728, 427857, 427931, 428211, 428213, 428229, 428238, 428496, 428729, 428784, 428829, 428879, 428928, 429009, 429036, 429053, 429306, 429342, 429362, 429434, 429477, 429608, 429789, 429828, 430127, 430328, 430517, 430727, 430731, 430817, 430820, 430838, 430862, 430979, 431157, 431184, 431303, 431472, 431501, 431532, 431871, 431898, 431972, 432246, 432387, 432578, 432660, 432738, 432758, 432789, 432806, 433016, 433061, 433139, 433185, 433604, 433632, 433634, 433736, 434247, 434426, 434432, 434471, 434478, 434522, 434598, 434864, 435143, 435153, 435483, 435725, 435774, 436104, 436287, 436502, 436893, 436923, 437295, 437409, 437462, 437618, 437867, 438164, 438179, 438398, 438513, 438546, 438645, 438716, 438815, 439128, 439143, 439208, 439289, 439292, 439509, 439640, 439697, 439943, 439970, 440123, 440124, 440199, 440256, 440279, 440289, 440423, 440555, 440564, 440747, 440771, 441003, 441152, 441465, 441923, 441924, 441926, 442022, 442175, 442292, 442445, 442469, 442568, 443249, 443298, 443408, 443888, 443894, 444026, 444173, 444212, 444294, 444339, 444401, 444446, 444591, 444677, 444759, 444846, 444888, 445064, 445157, 445281, 445538, 445646, 445671, 445694, 445748, 445779, 445958, 446000, 446180, 446249, 446403, 446429, 446466, 446561, 446651, 446943, 447024, 447041, 447309, 447723, 447801, 448263, 448367, 448409, 448479, 448683, 448794, 448815, 448853, 448878, 448952, 448968, 449238, 449336, 449357, 449465, 449472, 449486, 449493, 449523, 449796, 450039, 450092, 450357, 450363, 450422, 450426, 450432, 450468, 450642, 450825, 451041, 451656, 451707, 451829, 451838, 451931, 451934, 452108, 452279, 452472, 452496, 452732, 452742, 452861, 452868, 452907, 453023, 453102, 453368, 453927, 453929, 454017, 454169, 454418, 454538, 454584, 454632, 454811, 454850, 454877, 454986, 455111, 455142, 455273, 455321, 455361, 455483, 455492, 455528, 455678, 455706, 455793, 455895, 456047, 456213, 456866, 456977, 457062, 457268, 457548, 457863, 458012, 458094, 458154, 458253, 458334, 458360, 458594, 458603, 458609, 458745, 458762, 458969, 459113, 459332, 459336, 459629, 459633, 459713, 459743, 459788, 459869, 459882, 460037, 460091, 460166, 460364, 460481, 460508, 460542, 460571, 460646, 460899, 460901, 460973, 461139, 461670, 461852, 461993, 462042, 462048, 462119, 462543, 462578, 463077, 463167, 463202, 463236, 463623, 463631, 463661, 463736, 463739, 463883, 463896, 463902, 464201, 464231, 464259, 464394, 464589, 464709, 464726, 464891, 464937, 464966, 465003, 465237, 465429, 465447, 465491, 465579, 465654, 465696, 465965, 466163, 466181, 466262, 466371, 466395, 466448, 466508, 466637, 466658, 466704, 466764, 466811, 466827, 466938, 466991, 467028, 467108, 467136, 467214, 467483, 467759, 467796, 467834, 467855, 467943, 467952, 467957, 468191, 468339, 468557, 468671, 468761, 468836, 469076, 469104, 469307, 469364, 469404, 469506, 469734, 469808, 469964, 470001, 470042, 470199, 470336, 470375, 470514, 470628, 470741, 470771, 470958, 470963, 471273, 471333, 471498, 471699, 471723, 471729, 471777, 471846, 472041, 472047, 472086, 472572, 472664, 472728, 472743, 472778, 472958, 472979, 473004, 473097, 473151, 473274, 473357, 473504, 473528, 473591, 474194, 474732, 475083, 475109, 475232, 475389, 475391, 475451, 475809, 475863, 475962, 476084, 476138, 476175, 476226, 476238, 476249, 476352, 476444, 476667, 477227, 477299, 477306, 477372, 477570, 477627, 477714, 477795, 478079, 478202, 478203, 478359, 478427, 478578, 478589, 478602, 478713, 478758, 479087, 479328, 479363, 479702, 479778, 479880, 479901, 479915, 480128, 480162, 480287, 480303, 480329, 480599, 480648, 480833, 480858, 480923, 480969, 481341, 481443, 481494, 481575, 481716, 481751, 481787, 481889, 481911, 481931, 482054, 482307, 482498, 482627, 482717, 483129, 483485, 483543, 483623, 483833, 483861, 483872, 484371, 484413, 484616, 484749, 484818, 484901, 484959, 484976, 485067, 485231, 485321, 485562, 485594, 485663, 485798, 485933, 486215, 486233, 486314, 486338, 486423, 486702, 486776, 486852, 486951, 487052, 487098, 487199, 487224, 487245, 487316, 487511, 487769, 487809, 488040, 488064, 488177, 488574, 488855, 488882, 489242, 489281, 489351, 489366, 489464, 489726, 489729, 489767, 489842, 489846, 489978, 489992, 490083, 490121, 490254, 490455, 490581, 490614, 490616, 490802, 491085, 491132, 491327, 491346, 491616, 491936, 491984, 492018, 492093, 492411, 492434, 492519, 492608, 492774, 492873, 493713, 493763, 493779, 494102, 494352, 494429, 494687, 494756, 494994, 495506, 495626, 495654, 495764, 495863, 495999, 496395, 496422, 496467, 496478, 496830, 497249, 497595, 497619, 497859, 497963, 498206, 498242, 498321, 498444, 498726, 498893, 499011, 499326, 499569, 499667, 499944, 500072, 500184, 500300, 500406, 500714, 500873, 501284, 501317, 501452, 501504, 501660, 501924, 502025, 502148, 502302, 502392, 502533, 502674, 502709, 502758, 502836, 502863, 502898, 502992, 503013, 503334, 503528, 503640, 503939, 504062, 504117, 504285, 504293, 504353, 504437, 504609, 504644, 504908, 504968, 504993, 505047, 505187, 505389, 505458, 505658, 505683, 505724, 506117, 506133, 506264, 506312, 506498, 506679, 506771, 506774, 506901, 506904, 507038, 507351, 507933, 508107, 508353, 508541, 508962, 509117, 509199, 509298, 509312, 509415, 509436, 509463, 509543, 509607, 509771, 509933, 509952, 510131, 510327, 510383, 510572, 510645, 510687, 510911, 511094, 511116, 511157, 511280, 511388, 511767, 511796, 511941, 512153, 512321, 512412, 512501, 512634, 512847, 512868, 513294, 513611, 514089, 514145, 514161, 514218, 514562, 514790, 514902, 514919, 515216, 515421, 515577, 515847, 515871, 516002, 516063, 516200, 516431, 516432, 516522, 516543, 516558, 516564, 516620, 516651, 516668, 516756, 516998, 517037, 517122, 517293, 517319, 517347, 517380, 517463, 517488, 517493, 517719, 517878, 518136, 518511, 518564, 518622, 518651, 518784, 519012, 519146, 519234, 519371, 519524, 519630, 519671, 519740, 519792, 519908, 519929, 520041, 520251, 520448, 520595, 520833, 521043, 521238, 521339, 521504, 521570, 521804, 521838, 521882, 521969, 522183, 522219, 522254, 522318, 522438, 522842, 523046, 523152, 523164, 523274, 523292, 523527, 523539, 523626, 523707, 523733, 523814, 523854, 523968, 524033, 524222, 524237, 524271, 524363, 524481, 524967, 525413, 525446, 525467, 525492, 525585, 526014, 526031, 526113, 526356, 526407, 526409, 526706, 526799, 526887, 526991, 527303, 527316, 527351, 527352, 527469, 527609, 527774, 528012, 528014, 528056, 528180, 528189, 528198, 528248, 528323, 528356, 528377, 528498, 528534, 528852, 528929, 529223, 529328, 529508, 529518, 529524, 529533, 529580, 529632, 529686, 529721, 529730, 529842, 529869, 529904, 530003, 530072, 530253, 530277, 530381, 530408, 530576, 530763, 530798, 530841, 530924, 530927, 530957, 531002, 531017, 531129, 531303, 531396, 531717, 531944, 532149, 532619, 532788, 532916, 532986, 533087, 533141, 533196, 533208, 533246, 533393, 533427, 533486, 533570, 533582, 533802, 534111, 534359, 534513, 534527, 534614, 534624, 534636, 534741, 534957, 535019, 535191, 535476, 535502, 535652, 535721, 535896, 536009, 536211, 536324, 536519, 536552, 536732, 536765, 536849, 536904, 537002, 537056, 537222, 537236, 537297, 537491, 537497, 537653, 537768, 537896, 538071, 538253, 538299, 538404, 538860, 538883, 538926, 538989, 539126, 539478, 539483, 539496, 539529, 539619, 539972, 540141, 540258, 540356, 540414, 540468, 540624, 540677, 540732, 540917, 540929, 540945, 541121, 541148, 541212, 541232, 541308, 541338, 541677, 541704, 541737, 541781, 541949, 541973, 541982, 542021, 542063, 542142, 542196, 542202, 542642, 542664, 542964, 542976, 543119, 543273, 543279, 543812, 543816, 544373, 544407, 544508, 544514, 544527, 544652, 544677, 544971, 544998, 545150, 545187, 545277, 545703, 545801, 545901, 546044, 546054, 546203, 546222, 546231, 546236, 546254, 546419, 546483, 546783, 546786, 547007, 547035, 547199, 547263, 547463, 547526, 547532, 547556, 547748, 547866, 547886, 547901, 548069, 548121, 548268, 548316, 548421, 548496, 548903, 549029, 549143, 549267, 549336, 549350, 549785, 550119, 550161, 550175, 550179, 550262, 550265, 550311, 550472, 550484, 550814, 550829, 550892, 551133, 551138, 551142, 551277, 551478, 551516, 551528, 551648, 551673, 551681, 551687, 551771, 551796, 551859, 552083, 552228, 552248, 552267, 552269, 552324, 552384, 552387, 552852, 552974, 553173, 553221, 553467, 553815, 553818, 553868, 553872, 554012, 554034, 554097, 554276, 554316, 554322, 554439, 554481, 554526, 554537, 554658, 554766, 555167, 555344, 555497, 555699, 555806, 556154, 556289, 556293, 556629, 556763, 556791, 556814, 556878, 556986, 557022, 557108, 557126, 557417, 557441, 557780, 557984, 558009, 558012, 558134, 558176, 558408, 558662, 558872, 559046, 559062, 559139, 559373, 559388, 559568, 559619, 559622, 559866, 560058, 560243, 560276, 560453, 560849, 561144, 561309, 561423, 561579, 561642, 561672, 561753, 561872, 561921, 562167, 562398, 562454, 562761, 562767, 562923, 563022, 563066, 563262, 563478, 563889, 564129, 564206, 564323, 564437, 564479, 564486, 564651, 564711, 564714, 564756, 565026, 565068, 565422, 565574, 565632, 565728, 566015, 566058, 566093, 566222, 566501, 566589, 566691, 566739, 566793, 566859, 566988, 567059, 567216, 567381, 567422, 567438, 567458, 567621, 567851, 567948, 567969, 568109, 568272, 568286, 568361, 568466, 568467, 568719, 568934, 569034, 569067, 569069, 569354, 569463, 569664, 569838, 569849, 569897, 569999, 570092, 570134, 570288, 570377, 570582, 570596, 570689, 570827, 570926, 570969, 571179, 571211, 571374, 571377, 571443, 571598, 571850, 571907, 571923, 571949, 572163, 572264, 572334, 572498, 572697, 572772, 572994, 573087, 573272, 573279, 573354, 573384, 573533, 573695, 573824, 574038, 574083, 574166, 574167, 574313, 574529, 574737, 574766, 574898, 575091, 575496, 575673, 575711, 575832, 575882, 575892, 575942, 575951, 576182, 576282, 576737, 576786, 576917, 577175, 577713, 577904, 577932, 578048, 578219, 578519, 578658, 578868, 579203, 579212, 579222, 579324, 579389, 579390, 579668, 580004, 580068, 580127, 580187, 580334, 580349, 580419, 580713, 580766, 580776, 580782, 580913, 580923, 580977, 581021, 581072, 581156, 581447, 581453, 581513, 581753, 581784, 582041, 582047, 582222, 582239, 582344, 582371, 582477, 582651, 582668, 582888, 583008, 583044, 583194, 583214, 583368, 583425, 583541, 583851, 583883, 583982, 584184, 584247, 584367, 584450, 584528, 584793, 584853, 584859, 585093, 585098, 585608, 585707, 585749, 586113, 586250, 586403, 586413, 586604, 586683, 586710, 586718, 586943, 587073, 587097, 587108, 587159, 587250, 587312, 587423, 587468, 587589, 587753, 587768, 587808, 587943, 587981, 587988, 588146, 588182, 588333, 588399, 588681, 588768, 588818, 588866, 588879, 588893, 588924, 588951, 588971, 589043, 589092, 589124, 589263, 589367, 589482, 589691, 589724, 589734, 589746, 590030, 590313, 590319, 590406, 590457, 590550, 590622, 590819, 590847, 591104, 591188, 591288, 591504, 591521, 591677, 591737, 591831, 591899, 592056, 592239, 592419, 592478, 592584, 592749, 592799, 592811, 592877, 593081, 593102, 593112, 593382, 593666, 593679, 593718, 593772, 593796, 593966, 594069, 594173, 594422, 594605, 594698, 594723, 594782, 594852, 594947, 594954, 594993, 595277, 595338, 595455, 595599, 595629, 595671, 595689, 595874, 596028, 596109, 596172, 596601, 596615, 596649, 596654, 596789, 596843, 597120, 597149, 597158, 597179, 597240, 597263, 597951, 598076, 598248, 598308, 598313, 598316, 598338, 598476, 598481, 598751, 598772, 598800, 598862, 598878, 599069, 599154, 599171, 599186, 599337, 599421, 599471, 599568, 599643, 599790, 599807, 600075, 600459, 600476