Riesel conjecture base 276 remain
Started: Dec. 13, 2023
Last update: Jan. 25, 2024
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.
6374 k's remaining at n=10K:
237, 438, 764, 1262, 2505, 2622, 3519, 3753, 5313, 5443, 5903, 6490, 6575, 6665,
6685, 6847, 7478, 7575, 7748, 7853, 8095, 8167, 8215, 8360, 8700, 8732, 8863,
8893, 8895, 9742, 10258, 10343, 10448, 11170, 12692, 12763, 13269, 13315, 13354,
13404, 13558, 13854, 13953, 14145, 14639, 15432, 16103, 16384, 17182, 17345,
17488, 17613, 17642, 17684, 18040, 18339, 18427, 18560, 18623, 18672, 18835,
18903, 18970, 19580, 19600, 19958, 19964, 20315, 20653, 20712, 21487, 21492,
21522, 21607, 21958, 21960, 21997, 22062, 22195, 23269, 24098, 24714, 24735,
25054, 25210, 25255, 25632, 25813, 25892, 26638, 26893, 26913, 26978, 27140,
27382, 27675, 27964, 27977, 28323, 28369, 28559, 28627, 29097, 29227, 29405,
29615, 29695, 30192, 30208, 30429, 30468, 30497, 30650, 30902, 31294, 31437,
31534, 31565, 31684, 31757, 31833, 32050, 32414, 32449, 32685, 33380, 34225,
34525, 34529, 34647, 34778, 34999, 35330, 35734, 35922, 36007, 36123, 36214,
36549, 36604, 37243, 37365, 37518, 37923, 38504, 39138, 39287, 39352, 39659,
39677, 40132, 41003, 42110, 42433, 42838, 43247, 43488, 44422, 45007, 45665,
45678, 45704, 45947, 45983, 46258, 46393, 46814, 46978, 47009, 47204, 47264,
47349, 47368, 47633, 47667, 47914, 48050, 48070, 48109, 48252, 48259, 48265,
48432, 48463, 48772, 48824, 49097, 49104, 49299, 49305, 49318, 50287, 50415,
50644, 50720, 51403, 51523, 52230, 52305, 52410, 52517, 52620, 52672, 52908,
52919, 53030, 53185, 53322, 53855, 54408, 54668, 55198, 55669, 56468, 56598,
56709, 56852, 57370, 57892, 58399, 58405, 59002, 59125, 59582, 59827, 60108,
60297, 60537, 60555, 60823, 61505, 61738, 61944, 62102, 62219, 62663, 62682,
63319, 64088, 64775, 64840, 65094, 65469, 65677, 65705, 65769, 65955, 66479,
66583, 66877, 67174, 67440, 67587, 68220, 68307, 68628, 68680, 68953, 69163,
69410, 69619, 69824, 69980, 70359, 71054, 71423, 71945, 72573, 73154, 73284,
73999, 74070, 74444, 75343, 75669, 76059, 76268, 76493, 77125, 77275, 77554,
78100, 78848, 79085, 79238, 79972, 79977, 80382, 80805, 81519, 81584, 81979,
82057, 82268, 82559, 82585, 83079, 83443, 83822, 84172, 84709, 84763, 85307,
85530, 85580, 85705, 85764, 85870, 85978, 86097, 86108, 86243, 86412, 86425,
86667, 86752, 86763, 86953, 86979, 87004, 87107, 87469, 87707, 88079, 88104,
88557, 88654, 88778, 89254, 89259, 89587, 89774, 89935, 90385, 90665, 90730,
90749, 90943, 91393, 91495, 92110, 92187, 92955, 93692, 93705, 95252, 95572,
95843, 96118, 96369, 97319, 97938, 98120, 98222, 98432, 98465, 98468, 99167,
99667, 99700, 99719, 100903, 101018, 101232, 101338, 101825, 101918, 102498,
102582, 102604, 102722, 103184, 103248, 103322, 103730, 103968, 104053, 104087,
104315, 104464, 104612, 104763, 105069, 105580, 105719, 105970, 106370, 106577,
106619, 106659, 107045, 107252, 107550, 107818, 108180, 108195, 108434, 108462,
108702, 108800, 109034, 109139, 109970, 110130, 110553, 111630, 111770, 111865,
112184, 112199, 112277, 112420, 113020, 113439, 113623, 113935, 114154, 114180,
114557, 114780, 115293, 115508, 115812, 116782, 117058, 117510, 117794, 118290,
118442, 118533, 118627, 118730, 118738, 120219, 120357, 120769, 121007, 121032,
121390, 121602, 122027, 122369, 122685, 122788, 122929, 123072, 123217, 123438,
123555, 124374, 124504, 125022, 125030, 125204, 125835, 125932, 126265, 126907,
128088, 128703, 128924, 129632, 130152, 130679, 130734, 131018, 131108, 131127,
131290, 131998, 132310, 132939, 132952, 133060, 133623, 133718, 134265, 134484,
135183, 135460, 135523, 135547, 135612, 135918, 136392, 137084, 137718, 138212,
138498, 139044, 139270, 139467, 139662, 140008, 140557, 140778, 140923, 141490,
141573, 141624, 141917, 142359, 142379, 143165, 143412, 143547, 144173, 144199,
144518, 144764, 144868, 145070, 145874, 145978, 146060, 146649, 146799, 147012,
147122, 147182, 147642, 147813, 147850, 148307, 148443, 148500, 149808, 149893,
149902, 150412, 150827, 150845, 151199, 151367, 152059, 152074, 152184, 152415,
152639, 152998, 153390, 153747, 154220, 154274, 154597, 154605, 154662, 154722,
154789, 155294, 155469, 155869, 155912, 156294, 156634, 156783, 157132, 157353,
158755, 159064, 159172, 159594, 159830, 159862, 160000, 160629, 160644, 160774,
161508, 161820, 161963, 162044, 162055, 162124, 162150, 162249, 162657, 162782,
162935, 163562, 163853, 164050, 164274, 164797, 164947, 165359, 165922, 165959,
166195, 167235, 167423, 167534, 167908, 168065, 168248, 168503, 168652, 168663,
169380, 169528, 169703, 169794, 169802, 169965, 170077, 170152, 170813, 170873,
170920, 171057, 171109, 171339, 171757, 172134, 172220, 172584, 173150, 173642,
173863, 173877, 174079, 174162, 174697, 174728, 175083, 175135, 175409, 175557,
176250, 176455, 176580, 176790, 176978, 177017, 177069, 177960, 178649, 179128,
179505, 179635, 179652, 179682, 179813, 179882, 180222, 180604, 180862, 181085,
181260, 182819, 182873, 182977, 183145, 183405, 183652, 183725, 183854, 184004,
184668, 184837, 185182, 185312, 185474, 185602, 185625, 185922, 186020, 186069,
186078, 186202, 186422, 186579, 186829, 187227, 187489, 187697, 187805, 188254,
188430, 188854, 189075, 189757, 189957, 190082, 190469, 190472, 190880, 190888,
191054, 191259, 191408, 191694, 192232, 192377, 192624, 192678, 192793, 192884,
192968, 193090, 193605, 194814, 195087, 195224, 195542, 196067, 196355, 197692,
197777, 198318, 198480, 199377, 199455, 200188, 200650, 201140, 201314, 201429,
201437, 201860, 201925, 202352, 202554, 202627, 203302, 203508, 203815, 203967,
204135, 204360, 204540, 205278, 206342, 206495, 206677, 206690, 207059, 207195,
207288, 207877, 207932, 207964, 208074, 208200, 208303, 208419, 208445, 208497,
209134, 209235, 209374, 209530, 209847, 210139, 210218, 210284, 210328, 210843,
210889, 211132, 211629, 211904, 211955, 212122, 212369, 212462, 213014, 213417,
214230, 215148, 215270, 215374, 215412, 215627, 215709, 216615, 216839, 217010,
217070, 217324, 218182, 218327, 218552, 219182, 219259, 219287, 219349, 219568,
220037, 220350, 220494, 220758, 221672, 221878, 222114, 222512, 222730, 222798,
223049, 223233, 223252, 223512, 223690, 223794, 223817, 224090, 224110, 224454,
225013, 225130, 225455, 225577, 225605, 225793, 225819, 225969, 226033, 226852,
226949, 227138, 227267, 227422, 227425, 228237, 228247, 228765, 228782, 229215,
229287, 229804, 230168, 230350, 230525, 230978, 231048, 231057, 231077, 231422,
231442, 231884, 232027, 232144, 232532, 232865, 233468, 233925, 234154, 234165,
234380, 234978, 235002, 235449, 235678, 235888, 236653, 236722, 237922, 238498,
238557, 238897, 239194, 239255, 239287, 239327, 239807, 240328, 240405, 241127,
241387, 241499, 241502, 241809, 241975, 242008, 242492, 242654, 243049, 243205,
243242, 243259, 243467, 244592, 244838, 244864, 244903, 245127, 245170, 245220,
245605, 245827, 246624, 246637, 246793, 247079, 247222, 247235, 247575, 248179,
248225, 248504, 248608, 248745, 249105, 249263, 249505, 249848, 250308, 250392,
250480, 250937, 251429, 251884, 251939, 252348, 252398, 252463, 252664, 253794,
253930, 253952, 254010, 254088, 254127, 254187, 254287, 254433, 254549, 255583,
255725, 255848, 256160, 256699, 256973, 258025, 258059, 258079, 258395, 259045,
259054, 259507, 259652, 260104, 260209, 260334, 260469, 261210, 261257, 261379,
261764, 262380, 262850, 262872, 263703, 263929, 264462, 264592, 265430, 265740,
266335, 266353, 266752, 266807, 267075, 267300, 267413, 267489, 267635, 267814,
267860, 268243, 268295, 268433, 268529, 268550, 268625, 269049, 269089, 269090,
269114, 269428, 269582, 269790, 269913, 270352, 270845, 271358, 271625, 271664,
272013, 272197, 272305, 273004, 273403, 273599, 273677, 273718, 273898, 274257,
274665, 274719, 275180, 275497, 275688, 275739, 275788, 276198, 276572, 276722,
276744, 276865, 277215, 277299, 277590, 277592, 278357, 278663, 279085, 279332,
279353, 280877, 280992, 281269, 281334, 281388, 281490, 281570, 281685, 281895,
281992, 282178, 282920, 283003, 283084, 283102, 283609, 283610, 284125, 284755,
285073, 285548, 285567, 285837, 286403, 286458, 286789, 286828, 286854, 287384,
287470, 287483, 287725, 287758, 287964, 287998, 288079, 288440, 289200, 289395,
290130, 290358, 290579, 290652, 290798, 290813, 290937, 291092, 291274, 291625,
291682, 292644, 293127, 293424, 293504, 293619, 293645, 294035, 294128, 294138,
294290, 294895, 295312, 295350, 295675, 296063, 296799, 297258, 297669, 297742,
298184, 298884, 298910, 299170, 299287, 299354, 299820, 299932, 300459, 300595,
300780, 300797, 301185, 301375, 302500, 303709, 303845, 304175, 304235, 304483,
304554, 304708, 305253, 305360, 305542, 305958, 306084, 306203, 306662, 306798,
307934, 308148, 308365, 308382, 308577, 309448, 309474, 310350, 310532, 310833,
311072, 311385, 311580, 311808, 312022, 312107, 312600, 312784, 313002, 313394,
313535, 313665, 314005, 314083, 314835, 315454, 315929, 315940, 316429, 316577,
316714, 317443, 317950, 318389, 318397, 318613, 318678, 319978, 320213, 320264,
320490, 320568, 320779, 320823, 321044, 321103, 321239, 321695, 322117, 322375,
322427, 322435, 322559, 323272, 323982, 324047, 324483, 324832, 325107, 325978,
326894, 327252, 327263, 327679, 327759, 327969, 328033, 328305, 328688, 329410,
329507, 329565, 330110, 330379, 330963, 331488, 331490, 331912, 332354, 333063,
333204, 333412, 333472, 333498, 333689, 333784, 333867, 334083, 334382, 334487,
334623, 334850, 335375, 335583, 335585, 335799, 335988, 336137, 336142, 336443,
336587, 336935, 337104, 337110, 337534, 337650, 337970, 338653, 338950, 339047,
339327, 339399, 339498, 339608, 339829, 340395, 340653, 341087, 341662, 341745,
341857, 341869, 342044, 342197, 342582, 342954, 343320, 343383, 343775, 344093,
344423, 345205, 345270, 346022, 346702, 346847, 347130, 347272, 347600, 349428,
349623, 349974, 350215, 350398, 350587, 350949, 351053, 351235, 351458, 351768,
351984, 352154, 352392, 352899, 352927, 352967, 353069, 353128, 353174, 353502,
353863, 353913, 354188, 354367, 354383, 354558, 355377, 355665, 356430, 356712,
356760, 356983, 357033, 357137, 357608, 357698, 357750, 358069, 359017, 359102,
359342, 359563, 359693, 359804, 359908, 360077, 360127, 360610, 360829, 361154,
361262, 361383, 361895, 362238, 362339, 362592, 362934, 362963, 362988, 363119,
363247, 363255, 363522, 363585, 363667, 363702, 364379, 364399, 364685, 364950,
364963, 365639, 366414, 366470, 366544, 366797, 367684, 367779, 367952, 368454,
368915, 368938, 368972, 369435, 369437, 369519, 369593, 369599, 370293, 370477,
370812, 371029, 371439, 372147, 372503, 372698, 373010, 373015, 373155, 373395,
373663, 373863, 373919, 374505, 374713, 374960, 375118, 375138, 375324, 375683,
375888, 376384, 376444, 376449, 376682, 377079, 377703, 377705, 377757, 377824,
378212, 378374, 378790, 379140, 379194, 379529, 379614, 379668, 379889, 380285,
380407, 380693, 381153, 381277, 381914, 381923, 382370, 382820, 383577, 384075,
384155, 384490, 385583, 386217, 386445, 386465, 386920, 387247, 387648, 388259,
388657, 388742, 389034, 389352, 389437, 389602, 389730, 390042, 390113, 390165,
390183, 390335, 390715, 390945, 390965, 391043, 391082, 391093, 391222, 391369,
391400, 391404, 391902, 392185, 392297, 392537, 392648, 392687, 392908, 393597,
394564, 394724, 394735, 394787, 394897, 394950, 395144, 395443, 395560, 395868,
396028, 396074, 396262, 396269, 396657, 396904, 396932, 397043, 397263, 397773,
398290, 398544, 398602, 398864, 398958, 399122, 399798, 399909, 399985, 399987,
400383, 400487, 400832, 400975, 400982, 401085, 401144, 401235, 401630, 401649,
402182, 402470, 402574, 403183, 403198, 403474, 403534, 403559, 403649, 403754,
403945, 404004, 404142, 404179, 404290, 404400, 404419, 404619, 404703, 404730,
405080, 405484, 405514, 405709, 405752, 405837, 406073, 406459, 406565, 406653,
406675, 406799, 407289, 407404, 407468, 407587, 407663, 407852, 407943, 408022,
408867, 408994, 409202, 409313, 409513, 409529, 409600, 410112, 410237, 410432,
410515, 410580, 410952, 411030, 411513, 411804, 411900, 411960, 413024, 413279,
413429, 413492, 413560, 413750, 413793, 413903, 413999, 414102, 414267, 414549,
414935, 415340, 415855, 415858, 416127, 416365, 416540, 416562, 416620, 416627,
416638, 416848, 416970, 416974, 417283, 417483, 418080, 418269, 418527, 418538,
418830, 418952, 419038, 419415, 419654, 419680, 419797, 419933, 420122, 420129,
420579, 420772, 421140, 421534, 421723, 421812, 422202, 422228, 422424, 422587,
422708, 422759, 422763, 422823, 422828, 422937, 423117, 423257, 423658, 424477,
424622, 424765, 424919, 424933, 425067, 425179, 425402, 425629, 426004, 426019,
426565, 426572, 426864, 428028, 428112, 428243, 428268, 428489, 428549, 428838,
429200, 429867, 429998, 430127, 430342, 430634, 430639, 431082, 431107, 431617,
431952, 432097, 432654, 432753, 432952, 433127, 433455, 434524, 434604, 435600,
435657, 435724, 435748, 435878, 436673, 436768, 436887, 437139, 437329, 438060,
438363, 438382, 438484, 438837, 438985, 439570, 439973, 440038, 440214, 440345,
441203, 442508, 442529, 442679, 442749, 443857, 444928, 445140, 445350, 445838,
446387, 446533, 447079, 447189, 447385, 447645, 447875, 448034, 448124, 448464,
448739, 449042, 449377, 449425, 449907, 450615, 450647, 451283, 451395, 451400,
451649, 452267, 452403, 452435, 452448, 452949, 452955, 453779, 453919, 454185,
454253, 454558, 454868, 455393, 455902, 456327, 456495, 456587, 456602, 456615,
456964, 457250, 457874, 457880, 457882, 458038, 459239, 459327, 459377, 459624,
459679, 459852, 460339, 460375, 460898, 461119, 461267, 461358, 461392, 461529,
462029, 463004, 463143, 463934, 463947, 464694, 464749, 464844, 465957, 465999,
466300, 466734, 466790, 467300, 467405, 467584, 467632, 468009, 468100, 468243,
468417, 468795, 469114, 469340, 469578, 470068, 470590, 470624, 470627, 470899,
471012, 471108, 471233, 471273, 471493, 472009, 472174, 472278, 472284, 472345,
472414, 472670, 472733, 472798, 473422, 473633, 473814, 473930, 474457, 474555,
474925, 474930, 475065, 475107, 475452, 475497, 475887, 476349, 476362, 476984,
477389, 477479, 477738, 478383, 479495, 479577, 479729, 480353, 480632, 480938,
481334, 481419, 481538, 481679, 482795, 482899, 483005, 483533, 483960, 484457,
484719, 484955, 485007, 485303, 485507, 485582, 486689, 486690, 486813, 487255,
487267, 487462, 487553, 487805, 487865, 488073, 488233, 488419, 488715, 489103,
489208, 489667, 490024, 490707, 491304, 491364, 491399, 491505, 491674, 492189,
493184, 493427, 493455, 493470, 493565, 493613, 494113, 494378, 494512, 494523,
494789, 495002, 495114, 495132, 495407, 495554, 495657, 495699, 495992, 496107,
496388, 496467, 496670, 496999, 497183, 497214, 497370, 497472, 497667, 497974,
498135, 498322, 498338, 498657, 499274, 499860, 499903, 500009, 500018, 500022,
500225, 500258, 500275, 500540, 500852, 501042, 501059, 501094, 501398, 501463,
501614, 502568, 503400, 503544, 503558, 503587, 504117, 504734, 504760, 504819,
504984, 505027, 505105, 505397, 505545, 506088, 506255, 506457, 506528, 506634,
506689, 507094, 507198, 507555, 507602, 507672, 508197, 508665, 508719, 508777,
509163, 509679, 509707, 509962, 510732, 510735, 510737, 510805, 510844, 511202,
511650, 511824, 512753, 513005, 513353, 513484, 514224, 514247, 514308, 514880,
514892, 515152, 515258, 515464, 515475, 515524, 515713, 515752, 515849, 516634,
516680, 516752, 517068, 517323, 517399, 517714, 517728, 517778, 517838, 517850,
518074, 518103, 518220, 518355, 518410, 518898, 519097, 519208, 520133, 520484,
520547, 520698, 520822, 521238, 521315, 522089, 522419, 522465, 523252, 523420,
523818, 524345, 524403, 524499, 524655, 524722, 524735, 524913, 525080, 525120,
525177, 525300, 525542, 525747, 525862, 525918, 526215, 526880, 526993, 527504,
527684, 527725, 527764, 527987, 529077, 529278, 529688, 529727, 530483, 530693,
531254, 531285, 531492, 531560, 532155, 532458, 532470, 532589, 532983, 533427,
533945, 534212, 534332, 534368, 534374, 534847, 534875, 534977, 535018, 535105,
535537, 535759, 535882, 535994, 536030, 536077, 536368, 536413, 536550, 536649,
536825, 536870, 537643, 537668, 537897, 538645, 538695, 539139, 539204, 539292,
539410, 539579, 539852, 539865, 539873, 540205, 540980, 541030, 541160, 541259,
541264, 541463, 542155, 542197, 542285, 542480, 542712, 542758, 542854, 542864,
543198, 543448, 543882, 544157, 544233, 544449, 545015, 545710, 546430, 546549,
546703, 547327, 547452, 547824, 547985, 548232, 548440, 548489, 548623, 548843,
549147, 549569, 549779, 549832, 549929, 550398, 551008, 551085, 551170, 551229,
551807, 551994, 552085, 552119, 552893, 553354, 553447, 553575, 553618, 553722,
553788, 553894, 554628, 554832, 555114, 555267, 555368, 555452, 555777, 555858,
556323, 556409, 556533, 557099, 557519, 557633, 557927, 558060, 558417, 558678,
558682, 558710, 559250, 559315, 559539, 559809, 559997, 560127, 560370, 560439,
560875, 561237, 561395, 561425, 561478, 561480, 561523, 561900, 562038, 562344,
562358, 562433, 562857, 562922, 563070, 563339, 563488, 564248, 564370, 564654,
564728, 565308, 565449, 565713, 565917, 566634, 566827, 567368, 567685, 567762,
567784, 568175, 568957, 569234, 569513, 569700, 569890, 570124, 570820, 571114,
571145, 571450, 571652, 571808, 572020, 572105, 572113, 572170, 572423, 572627,
572828, 573049, 573114, 573368, 573465, 573924, 574220, 574354, 574458, 574723,
574989, 575514, 575630, 575975, 576195, 576673, 576707, 577129, 577338, 577502,
577994, 578100, 578438, 578718, 578969, 579012, 579667, 579718, 579874, 579918,
580089, 580303, 580362, 580648, 580869, 580874, 580908, 581422, 581675, 581818,
581880, 582074, 582988, 582994, 583033, 583070, 583818, 583852, 583997, 584105,
584327, 584814, 585854, 585919, 586410, 586535, 586687, 586773, 587198, 587349,
587567, 588389, 588454, 588862, 589267, 589369, 589734, 590392, 590882, 591022,
591384, 591587, 591893, 592097, 592170, 592327, 592385, 592398, 592463, 592499,
592504, 592749, 593004, 593333, 593347, 593435, 594219, 594588, 594798, 594920,
595669, 595869, 595923, 596930, 597104, 597184, 597704, 598282, 599080, 599275,
599559, 599847, 599892, 599912, 600198, 600232, 600518, 600555, 600817, 600889,
601043, 601110, 601194, 601285, 601838, 602044, 602144, 602199, 602815, 602850,
603259, 603313, 603469, 603664, 603929, 604138, 604470, 604533, 604854, 605417,
605502, 605620, 605673, 605833, 606352, 606685, 606910, 607460, 607504, 607610,
608110, 608630, 608663, 608845, 609437, 609658, 609675, 610184, 610294, 610899,
611438, 611542, 611617, 612225, 612353, 612407, 612485, 612550, 612699, 613323,
613835, 614108, 614123, 614589, 614662, 614753, 614939, 615009, 615239, 615382,
616047, 616305, 616489, 616603, 616878, 616970, 617080, 617087, 617252, 617282,
617912, 618068, 618073, 618195, 618819, 619050, 619373, 619412, 619503, 620090,
620142, 620204, 620309, 620552, 620569, 620955, 621219, 621312, 622080, 622220,
622519, 622539, 622697, 623117, 623463, 623593, 623944, 623970, 624082, 624223,
624770, 625223, 625654, 625712, 625732, 625742, 625953, 626224, 626640, 626837,
626939, 627064, 627339, 627714, 627962, 628018, 628237, 628514, 629214, 629305,
629987, 630058, 630259, 630470, 630535, 630649, 631107, 631153, 631189, 631653,
632088, 632629, 632657, 633127, 633759, 633863, 634013, 634128, 634247, 634429,
634572, 634827, 634994, 635948, 636015, 636743, 636969, 637289, 637380, 637703,
637945, 637958, 637977, 638439, 638504, 638535, 638763, 639172, 639505, 639609,
639809, 639850, 639952, 640097, 640134, 640207, 640318, 640953, 641000, 641295,
641619, 641624, 641707, 642303, 643425, 643527, 643723, 643749, 644229, 644237,
644367, 644674, 644874, 645132, 645438, 645477, 645724, 645735, 646252, 646519,
646552, 646863, 646948, 647084, 647188, 647298, 647429, 647533, 648189, 648607,
648818, 648870, 648904, 648937, 649047, 649074, 649132, 650029, 650373, 650500,
650599, 650672, 650828, 650910, 650914, 651160, 651218, 651270, 651639, 651713,
651954, 652102, 652244, 652343, 652473, 652535, 652613, 652699, 653095, 653454,
653519, 653614, 654124, 654273, 654275, 654429, 654550, 654637, 654944, 655332,
655660, 655762, 655903, 656274, 656847, 657315, 658620, 658633, 658649, 658984,
659818, 661137, 661170, 661627, 662079, 662103, 662308, 662827, 662860, 663373,
663414, 663438, 663464, 663625, 663773, 664288, 664682, 665167, 665642, 665830,
666025, 666285, 666384, 666518, 667897, 667902, 667904, 668099, 668279, 668677,
668885, 668890, 668937, 669048, 669915, 670172, 671074, 671438, 671555, 671695,
671904, 671934, 671992, 672148, 672634, 672907, 673942, 674189, 674287, 674384,
674729, 674748, 675834, 675879, 676274, 676489, 676822, 677043, 677543, 677658,
677820, 677995, 678029, 678128, 678219, 678655, 678787, 678809, 678928, 678933,
678993, 679480, 679695, 680005, 680115, 680642, 680982, 681274, 681458, 681622,
681632, 681755, 681840, 681927, 682007, 682113, 682197, 682347, 682373, 682477,
682652, 683399, 683434, 683510, 683537, 683868, 683912, 683914, 684269, 684284,
684518, 684829, 684968, 685057, 685135, 685163, 685759, 686065, 686128, 686260,
686453, 687238, 687430, 687462, 688008, 688067, 689062, 690264, 691037, 691148,
691323, 691349, 691739, 692103, 692134, 692409, 692732, 692953, 693494, 693763,
693889, 693922, 694097, 695269, 695314, 695592, 695605, 695997, 696133, 696218,
696237, 696809, 696853, 696918, 697183, 697438, 697784, 698135, 698874, 698935,
699310, 699388, 700038, 700079, 700179, 700183, 700352, 700417, 700753, 700872,
701730, 701782, 702014, 702172, 702185, 702385, 702764, 702902, 702963, 703153,
703983, 704022, 704050, 704135, 704263, 704834, 704863, 704952, 705518, 705532,
705602, 705844, 705870, 706085, 706317, 706384, 706689, 707678, 708080, 708865,
709205, 709244, 709462, 709678, 710419, 710544, 710635, 710778, 710783, 710939,
711159, 711285, 712117, 712687, 713030, 713404, 713523, 713834, 714013, 714382,
714390, 714689, 714970, 714985, 715300, 715373, 715510, 715984, 716010, 716333,
716704, 716972, 717127, 717154, 717557, 717739, 717895, 718110, 718165, 718419,
718472, 718637, 718744, 718918, 719028, 719135, 719395, 719592, 719683, 719728,
719772, 719922, 720144, 720612, 721163, 721470, 721743, 721748, 721789, 722088,
722138, 722147, 722484, 722680, 722829, 723017, 723047, 723215, 723248, 724335,
724434, 724468, 724499, 724600, 724827, 724855, 724883, 725390, 725435, 725464,
725500, 725799, 725845, 726269, 726658, 726768, 726987, 727052, 727507, 727528,
727957, 728074, 728232, 728367, 728494, 729145, 729338, 729342, 729530, 729894,
730639, 730732, 730965, 730999, 731030, 731630, 731800, 731953, 731979, 732000,
732254, 732514, 732752, 732879, 732910, 732990, 733045, 733112, 733172, 733183,
733359, 733599, 733955, 734204, 734243, 734685, 734854, 735047, 735294, 735484,
736524, 736752, 736805, 736997, 737090, 737447, 737590, 737634, 737872, 738065,
738394, 738429, 738598, 738994, 739059, 739215, 739428, 739573, 739688, 739924,
740445, 740465, 740567, 740737, 740808, 741235, 741660, 741900, 741952, 742082,
742394, 742782, 743190, 743395, 743538, 743817, 743915, 744069, 744179, 744318,
744409, 744578, 744669, 744704, 744797, 744862, 745182, 745364, 745434, 745683,
745962, 745995, 746359, 746437, 746534, 746690, 746710, 747399, 747405, 747457,
747613, 747843, 747945, 748237, 748315, 748494, 748918, 749765, 749845, 750044,
750088, 750493, 751039, 751112, 751739, 751877, 752064, 753002, 753078, 753162,
753223, 753288, 753429, 753645, 753717, 754144, 754157, 754354, 754399, 754672,
754748, 754802, 754928, 755309, 755717, 755853, 756314, 756720, 756824, 757095,
757968, 758299, 758332, 758689, 758754, 758867, 759253, 759355, 759372, 759560,
759747, 760230, 760817, 760822, 761060, 761108, 761315, 761595, 761783, 762435,
762518, 762687, 762738, 762830, 762857, 762973, 763145, 763299, 763304, 763558,
763675, 763688, 763738, 763803, 764032, 764357, 764760, 764884, 765215, 765423,
765500, 765800, 766104, 767012, 767107, 768017, 768823, 768998, 769018, 769718,
769725, 769808, 769988, 770338, 770563, 770767, 771325, 771884, 772034, 772170,
772345, 772552, 772697, 772885, 772974, 773152, 774010, 774292, 774315, 774672,
774762, 774800, 775043, 776285, 776673, 776709, 776823, 776984, 777737, 777922,
777924, 778662, 778807, 778913, 779437, 779449, 779534, 779603, 779704, 780399,
780412, 780619, 780763, 780945, 781069, 781139, 781355, 781418, 781537, 781673,
782055, 782429, 783194, 783225, 783508, 783973, 784188, 784325, 784545, 784775,
784930, 785825, 786033, 786399, 786475, 786488, 786509, 786800, 786913, 787002,
787138, 787233, 787592, 787762, 787764, 787787, 787849, 788022, 788048, 788167,
788498, 789272, 789365, 790022, 790147, 790280, 790518, 790858, 791054, 791128,
792099, 792223, 792717, 792845, 792910, 793445, 793658, 794023, 794158, 794303,
794712, 794834, 794953, 795145, 796097, 796735, 796740, 796818, 796870, 796955,
797007, 797759, 797785, 797928, 799477, 799594, 799698, 799867, 799975, 799994,
800453, 800543, 800580, 800822, 801085, 801677, 802005, 802195, 802219, 802285,
802369, 802465, 802842, 803273, 803572, 803844, 804263, 804424, 804527, 806039,
806717, 806802, 807569, 808504, 809043, 809147, 809539, 810130, 811057, 811253,
811332, 811423, 811519, 811533, 811542, 811814, 812018, 812137, 812414, 813159,
813273, 814024, 814063, 814323, 814498, 814608, 814763, 814945, 814973, 815454,
815588, 815699, 816169, 816302, 816650, 816863, 817254, 817259, 817267, 817339,
817402, 817462, 817514, 817922, 818585, 818624, 819484, 819653, 819659, 819705,
819775, 819804, 819958, 820145, 820292, 820329, 820750, 820894, 820959, 821458,
821460, 821572, 821900, 821963, 822363, 822422, 823243, 823330, 823399, 823467,
823643, 823748, 823799, 824353, 824365, 824892, 825875, 826400, 826488, 826573,
826638, 826744, 827550, 827675, 827802, 827952, 828122, 828244, 828363, 828460,
828522, 828712, 828999, 829427, 829614, 829754, 830085, 830519, 830573, 830684,
830722, 830862, 831314, 831470, 832087, 832147, 832183, 832373, 832484, 832738,
832940, 832963, 833582, 833659, 834250, 834258, 834328, 834375, 834518, 834602,
834817, 834892, 834913, 835203, 835435, 835699, 835767, 836358, 836785, 837149,
837722, 837742, 837982, 837994, 838065, 838215, 838702, 838912, 839410, 839549,
839814, 840395, 840433, 840442, 840464, 840492, 840799, 840888, 840947, 840957,
841057, 841090, 841569, 841692, 841870, 842079, 842344, 842505, 842630, 842635,
843040, 843064, 843644, 843743, 843797, 843963, 844078, 844437, 845100, 846004,
846023, 846570, 846587, 846888, 847072, 847167, 847289, 847619, 847700, 847762,
848303, 848402, 848458, 848840, 849004, 849134, 849293, 849650, 849689, 849720,
850112, 850242, 850372, 850943, 851254, 851449, 851514, 851553, 851679, 851713,
851730, 851774, 851919, 852053, 852328, 852463, 852903, 853254, 853413, 853438,
853688, 853713, 853739, 853927, 853934, 854837, 854842, 855002, 855013, 855580,
855622, 855908, 855968, 856475, 856722, 856762, 857037, 857169, 857190, 857463,
857600, 857887, 857988, 858003, 858055, 858139, 858224, 858380, 858902, 859114,
860074, 860323, 860434, 861162, 861402, 861428, 861513, 861682, 861732, 862494,
862637, 863188, 863242, 863755, 864600, 864772, 864849, 864993, 865075, 865328,
865725, 865908, 866115, 866137, 866732, 866752, 867829, 867842, 868208, 868793,
869129, 869209, 869519, 869779, 870307, 870333, 870522, 870612, 870834, 870944,
871365, 871638, 871744, 871750, 871932, 872093, 874037, 874342, 874390, 874463,
874760, 874807, 875319, 875382, 875408, 875475, 875873, 876507, 876915, 877748,
877750, 878312, 878645, 878918, 878920, 879082, 879173, 879185, 879199, 880049,
880582, 880935, 881128, 881318, 881843, 882012, 882449, 882539, 882843, 882972,
882974, 883432, 883665, 883775, 883847, 884105, 884880, 885140, 885803, 885823,
886024, 886265, 886434, 886752, 886770, 886999, 887155, 887337, 887498, 887605,
887773, 887784, 887974, 888127, 888200, 888278, 888572, 888852, 889359, 889448,
889578, 889664, 889713, 889723, 890175, 890747, 890867, 891502, 891510, 891640,
892368, 892557, 892770, 892945, 893210, 893558, 893577, 893635, 893725, 893980,
894188, 894232, 894687, 894765, 894949, 895408, 896008, 896190, 896307, 896312,
896397, 896470, 896768, 896899, 897009, 897100, 897243, 897464, 897683, 897800,
898119, 898157, 898585, 898587, 899930, 899972, 899974, 900045, 900234, 900493,
900948, 901259, 901523, 902203, 902307, 902448, 902467, 902534, 902652, 902742,
903852, 904180, 904515, 904535, 904580, 904835, 904855, 905063, 905095, 905418,
905880, 906083, 906519, 906699, 906972, 906980, 907427, 907682, 908209, 908688,
909040, 909054, 909258, 909312, 909667, 909684, 910087, 910132, 910575, 910848,
910958, 911218, 911223, 911264, 911444, 911672, 912439, 912675, 913069, 913168,
913324, 913355, 913753, 913854, 913968, 914397, 914468, 915313, 915925, 915973,
915992, 916163, 916210, 916332, 916423, 916553, 916678, 916899, 916935, 917435,
917727, 918425, 918659, 918810, 918885, 919140, 919242, 919257, 919517, 919622,
919918, 920409, 920472, 920700, 920825, 921462, 922132, 922177, 922282, 922723,
923079, 923092, 923274, 923419, 923828, 924158, 924283, 924634, 924725, 924920,
925020, 925094, 925193, 925229, 925850, 925997, 926402, 926935, 927215, 927317,
927343, 927672, 927793, 927832, 928349, 928944, 929059, 929158, 929189, 929438,
930049, 930250, 930268, 930309, 930380, 930444, 930957, 930983, 931180, 931194,
931225, 931674, 931754, 932233, 932264, 932543, 933063, 933287, 934015, 934222,
934372, 934625, 934735, 934848, 935008, 935119, 935203, 935229, 935455, 935658,
935897, 936268, 936339, 936347, 936768, 936815, 937004, 937053, 937478, 937524,
938192, 938198, 938398, 938688, 939314, 939492, 939524, 939700, 939945, 940033,
940098, 940694, 940733, 941344, 941573, 941827, 941838, 942345, 942379, 942444,
942512, 942704, 942860, 942868, 943027, 943112, 943463, 943465, 943484, 945182,
945318, 945779, 946258, 946510, 946513, 946682, 947202, 947339, 947649, 947677,
947729, 947753, 947787, 947868, 948392, 948497, 948533, 948570, 948853, 949003,
949143, 949174, 949250, 949555, 949698, 949842, 950338, 950912, 950942, 951109,
951219, 951409, 951538, 951698, 952030, 952285, 952327, 952812, 953130, 953143,
953364, 953839, 953884, 954175, 954342, 954367, 954385, 954880, 955124, 955993,
956059, 956229, 956234, 956757, 956900, 957297, 957588, 957660, 957830, 958062,
958192, 958362, 958408, 958532, 958973, 959090, 959977, 960080, 960275, 960428,
960790, 960800, 960989, 961108, 961403, 961592, 961743, 962068, 962209, 962833,
962867, 962998, 963017, 963925, 964037, 964120, 964172, 964275, 964627, 964790,
964907, 964967, 965004, 965077, 965208, 965249, 965344, 965953, 965987, 966215,
966313, 966429, 966454, 966498, 966559, 967747, 968129, 968163, 968670, 969225,
969307, 969380, 969385, 969419, 969625, 969718, 969795, 969978, 970407, 970558,
970607, 970750, 971109, 971200, 971265, 971903, 972583, 972622, 972637, 972739,
972767, 974145, 974210, 974762, 974804, 974959, 975082, 975094, 975205, 975378,
975770, 976000, 976147, 976158, 976280, 976522, 977173, 977414, 978365, 978470,
978487, 978615, 978958, 979603, 979772, 979825, 979918, 979943, 980207, 980403,
980814, 981392, 981600, 981748, 982060, 982140, 982179, 982190, 982237, 982307,
982393, 982569, 983128, 983172, 983349, 984114, 984180, 984432, 984447, 984569,
984948, 985188, 985460, 986064, 986098, 986222, 986643, 986900, 987347, 987475,
987600, 987728, 988240, 988770, 989052, 989147, 989214, 989388, 989795, 990258,
990280, 990453, 990510, 990757, 991160, 991190, 991303, 992029, 992247, 992384,
992533, 992923, 993008, 993079, 993128, 993463, 993877, 994030, 994035, 994059,
994142, 994223, 994249, 994397, 994594, 994958, 994970, 995010, 995107, 995114,
995147, 995172, 995485, 995575, 996147, 996230, 996468, 996637, 996762, 997010,
997218, 997244, 997268, 997608, 997753, 998143, 998409, 998754, 998947, 998958,
999183, 999430, 999445, 999562, 999664, 999722, 999800, 1000262, 1000364,
1000398, 1000598, 1000960, 1001029, 1001389, 1001438, 1001523, 1001633, 1002130,
1002290, 1002370, 1002704, 1002775, 1002894, 1003395, 1003492, 1003570, 1004272,
1004498, 1004628, 1006063, 1006217, 1006333, 1006513, 1006619, 1006855, 1007358,
1007448, 1007464, 1008062, 1008202, 1008627, 1008660, 1009110, 1009184, 1009810,
1010025, 1010304, 1010754, 1010918, 1011072, 1011963, 1012040, 1012077, 1012082,
1012363, 1012948, 1013197, 1013767, 1014029, 1014122, 1014352, 1014547, 1014607,
1014724, 1015062, 1015100, 1015134, 1015145, 1015200, 1015758, 1015919, 1016063,
1016112, 1016419, 1016458, 1016480, 1016739, 1017038, 1017058, 1017318, 1017484,
1017519, 1017524, 1017689, 1017740, 1017857, 1018124, 1018222, 1018512, 1018673,
1018824, 1019112, 1019149, 1019177, 1019528, 1019583, 1020370, 1020813, 1021159,
1021233, 1021737, 1021887, 1021894, 1022069, 1022654, 1022755, 1022960, 1023142,
1023382, 1023642, 1023707, 1023928, 1023972, 1024147, 1024154, 1024427, 1024638,
1025313, 1025849, 1025937, 1025963, 1026520, 1026584, 1026597, 1026635, 1026860,
1027549, 1027802, 1028095, 1028229, 1028504, 1028640, 1028925, 1028977, 1029148,
1029298, 1029497, 1029902, 1030017, 1030188, 1030510, 1030539, 1030662, 1030677,
1030765, 1031104, 1031157, 1031374, 1031533, 1031644, 1031887, 1031930, 1032019,
1032378, 1032482, 1032907, 1033145, 1033867, 1034040, 1034114, 1034192, 1034289,
1034458, 1034653, 1035147, 1035165, 1035403, 1035704, 1035822, 1035940, 1035979,
1036015, 1036324, 1036397, 1036478, 1036727, 1037217, 1037453, 1038259, 1038359,
1038749, 1039170, 1039180, 1039249, 1039260, 1039624, 1039723, 1039857, 1039977,
1040280, 1040300, 1040399, 1040549, 1040577, 1041487, 1041730, 1041834, 1042354,
1043277, 1043470, 1043495, 1043969, 1044020, 1044122, 1044180, 1044603, 1044702,
1044969, 1046347, 1047879, 1047933, 1048167, 1048750, 1048832, 1049277, 1049465,
1049972, 1050123, 1050253, 1050429, 1050618, 1051175, 1051220, 1051378, 1051454,
1052483, 1052554, 1052644, 1052892, 1053068, 1053212, 1053444, 1053639, 1053763,
1054257, 1055109, 1055274, 1055304, 1055798, 1056107, 1056175, 1056327, 1056929,
1057078, 1057163, 1057377, 1057403, 1057515, 1057940, 1058242, 1058268, 1058352,
1058963, 1059308, 1059592, 1059795, 1059815, 1059882, 1060078, 1060125, 1060355,
1060463, 1061132, 1061740, 1062297, 1062317, 1062499, 1062564, 1063060, 1063403,
1063422, 1063515, 1063537, 1063599, 1063779, 1065415, 1065697, 1065832, 1065845,
1066224, 1066482, 1066532, 1066932, 1067800, 1067849, 1067972, 1068245, 1068388,
1068463, 1069012, 1069045, 1069474, 1069662, 1070267, 1070382, 1070590, 1071032,
1071064, 1071158, 1071344, 1071435, 1071820, 1072075, 1072288, 1072319, 1072393,
1072509, 1072579, 1072763, 1072873, 1072969, 1073075, 1073092, 1073322, 1073367,
1073432, 1073515, 1073710, 1073725, 1074113, 1074284, 1074777, 1074802, 1075038,
1075127, 1075139, 1075322, 1075387, 1075722, 1076019, 1076037, 1076324, 1076359,
1076423, 1076427, 1076977, 1077067, 1078390, 1078674, 1078838, 1079334, 1079594,
1080184, 1080335, 1080517, 1080538, 1080708, 1080847, 1080853, 1081109, 1081674,
1082077, 1082080, 1082240, 1082700, 1082792, 1083020, 1083069, 1083122, 1083130,
1083330, 1083408, 1083494, 1083605, 1083819, 1083902, 1083920, 1084059, 1084179,
1084327, 1084617, 1085010, 1085379, 1086080, 1086198, 1086522, 1086593, 1086738,
1086809, 1086959, 1086972, 1087147, 1087217, 1087453, 1087503, 1087880, 1088322,
1088389, 1088497, 1088553, 1088662, 1088863, 1088888, 1089019, 1089115, 1089234,
1089247, 1089318, 1089505, 1089585, 1089633, 1089994, 1090027, 1090857, 1090877,
1091073, 1091208, 1091348, 1091710, 1091957, 1092040, 1092200, 1092230, 1092568,
1092585, 1092764, 1093019, 1093080, 1093147, 1093444, 1093563, 1093873, 1093933,
1093979, 1094150, 1094155, 1094250, 1094544, 1094705, 1094718, 1094935, 1095487,
1095838, 1096785, 1096967, 1097359, 1097638, 1098210, 1098323, 1098353, 1098434,
1098808, 1099794, 1100258, 1100360, 1100407, 1100908, 1101179, 1101274, 1101595,
1101714, 1101857, 1101967, 1102184, 1102232, 1102442, 1102459, 1102539, 1102617,
1103013, 1103397, 1103590, 1103755, 1104143, 1104177, 1104262, 1104520, 1104529,
1104990, 1105035, 1105352, 1105508, 1105564, 1105968, 1105978, 1106179, 1106339,
1106797, 1107395, 1107410, 1107705, 1107882, 1108158, 1108467, 1108532, 1108887,
1110492, 1110580, 1110643, 1111605, 1111669, 1111867, 1112008, 1112224, 1112627,
1113144, 1113152, 1113334, 1113615, 1113648, 1113732, 1113763, 1113984, 1114062,
1114088, 1114093, 1114135, 1114218, 1114220, 1114233, 1114320, 1114377, 1115279,
1115799, 1116020, 1116032, 1116690, 1116748, 1116777, 1118287, 1118469, 1118595,
1118627, 1118642, 1118687, 1118785, 1119067, 1119367, 1119912, 1120440, 1120445,
1120828, 1120843, 1121180, 1121188, 1121410, 1121643, 1121812, 1122647, 1122959,
1123047, 1123234, 1123245, 1123352, 1123359, 1123560, 1123723, 1124145, 1125029,
1125450, 1125500, 1125608, 1125619, 1125892, 1126102, 1126113, 1126232, 1126422,
1126784, 1126835, 1126849, 1127439, 1127993, 1128635, 1129053, 1129139, 1129245,
1129253, 1129463, 1129579, 1129649, 1129714, 1129813, 1129909, 1129999, 1130159,
1130572, 1130624, 1130697, 1130839, 1131079, 1131113, 1131235, 1131267, 1131352,
1131425, 1131763, 1131884, 1132153, 1132238, 1132595, 1133107, 1133215, 1133635,
1133765, 1134355, 1134492, 1134593, 1134714, 1135083, 1135735, 1135803, 1136794,
1137020, 1137392, 1138049, 1138120, 1138575, 1138848, 1139269, 1139329, 1139528,
1139934, 1140597, 1140685, 1140687, 1140935, 1140988, 1141019, 1141338, 1141544,
1142358, 1142430, 1142744, 1142822, 1143255, 1143509, 1143703, 1143754, 1143784,
1143808, 1143853, 1143970, 1144019, 1144750, 1145119, 1145218, 1145289, 1146039,
1146133, 1146174, 1146219, 1146525, 1147012, 1147402, 1147454, 1147474, 1147513,
1147649, 1147780, 1147877, 1147953, 1148299, 1148663, 1148707, 1149287, 1149312,
1149383, 1149489, 1149784, 1149964, 1150020, 1150105, 1150204, 1150258, 1150347,
1150444, 1150657, 1150717, 1150724, 1151000, 1151478, 1151725, 1151762, 1152004,
1152147, 1152319, 1152329, 1152453, 1152582, 1152638, 1152862, 1153070, 1153259,
1153427, 1153473, 1154258, 1154347, 1154388, 1154395, 1154454, 1154845, 1154848,
1155248, 1155285, 1155324, 1156054, 1156073, 1156154, 1156468, 1156645, 1156715,
1157497, 1157815, 1158138, 1158350, 1158418, 1158595, 1158692, 1159705, 1159770,
1159772, 1159974, 1160115, 1160433, 1160504, 1160722, 1161562, 1161668, 1162570,
1162983, 1163037, 1163593, 1163594, 1163804, 1164049, 1164300, 1164354, 1164518,
1164812, 1164855, 1165063, 1165433, 1165490, 1165674, 1165967, 1166148, 1166252,
1166255, 1166779, 1167000, 1167435, 1168129, 1168189, 1168254, 1168283, 1168649,
1168670, 1168943, 1168950, 1169234, 1169542, 1169572, 1170009, 1170320, 1170595,
1170655, 1170750, 1170809, 1171573, 1171693, 1171720, 1171862, 1172317, 1172523,
1172765, 1172772, 1173149, 1173337, 1173577, 1173633, 1173669, 1173732, 1173922,
1173999, 1174117, 1174135, 1174242, 1174310, 1174533, 1174577, 1174579, 1174767,
1174892, 1175099, 1175292, 1175325, 1175537, 1176215, 1176569, 1176695, 1176912,
1176974, 1177198, 1177249, 1177504, 1178037, 1178080, 1178082, 1178169, 1178284,
1178648, 1178993, 1179538, 1179558, 1179673, 1179720, 1180107, 1180453, 1180500,
1180518, 1180943, 1181025, 1181127, 1181254, 1181397, 1181683, 1181710, 1181779,
1182145, 1182900, 1183068, 1183269, 1183522, 1183607, 1183633, 1183677, 1183718,
1184510, 1184595, 1184873, 1185315, 1185542, 1185692, 1185778, 1185952, 1186392,
1186443, 1186643, 1187012, 1187212, 1187395, 1187502, 1188575, 1189469, 1189605,
1190183, 1190268, 1190783, 1190985, 1191245, 1191359, 1191600, 1191699, 1191750,
1191854, 1192274, 1192277, 1192855, 1192967, 1193073, 1193115, 1193520, 1193658,
1193817, 1194708, 1194794, 1194880, 1195455, 1195458, 1195795, 1195808, 1196014,
1196068, 1196575, 1196639, 1196805, 1197093, 1197535, 1197810, 1197940, 1198237,
1198414, 1198505, 1199014, 1199025, 1199038, 1199147, 1199363, 1199383, 1199592,
1200065, 1200082, 1200403, 1200559, 1200642, 1200910, 1201125, 1201307, 1201578,
1202239, 1202392, 1202615, 1203287, 1203725, 1203788, 1203905, 1203910, 1204212,
1204295, 1204672, 1205343, 1205738, 1206494, 1206780, 1207082, 1207397, 1207618,
1207948, 1208455, 1208535, 1208653, 1208727, 1208827, 1209009, 1209555, 1210379,
1210574, 1210668, 1210767, 1211115, 1211322, 1211349, 1211458, 1211575, 1211645,
1211934, 1212714, 1212719, 1212730, 1212805, 1213377, 1213442, 1213592, 1213634,
1213733, 1213794, 1213969, 1213995, 1214077, 1214378, 1214484, 1214708, 1214875,
1215139, 1215267, 1215345, 1215530, 1215722, 1216148, 1216189, 1216484, 1216543,
1216640, 1216829, 1217537, 1217757, 1218239, 1218857, 1218974, 1219052, 1219630,
1219975, 1220337, 1220740, 1220839, 1221043, 1221160, 1221235, 1221359, 1221723,
1221944, 1222568, 1222945, 1223108, 1223174, 1223543, 1223673, 1224050, 1224298,
1224302, 1224330, 1224458, 1224583, 1224900, 1225684, 1225747, 1226140, 1226200,
1226332, 1226447, 1226520, 1226910, 1227110, 1227357, 1228219, 1228509, 1228739,
1228813, 1228912, 1229048, 1229107, 1229177, 1229237, 1229385, 1229478, 1229557,
1229679, 1229848, 1230178, 1230433, 1230485, 1230555, 1230745, 1231062, 1231662,
1231714, 1232382, 1232533, 1232635, 1232669, 1232895, 1233419, 1233462, 1233482,
1233583, 1233709, 1233757, 1233800, 1234247, 1234944, 1235144, 1235219, 1235287,
1235445, 1235605, 1236275, 1236394, 1236470, 1236548, 1236678, 1237923, 1238432,
1238437, 1238669, 1239153, 1239933, 1239979, 1240047, 1240128, 1240203, 1240409,
1240489, 1240513, 1240617, 1240684, 1240892, 1240989, 1241514, 1241568, 1241620,
1241660, 1241847, 1242172, 1242177, 1242335, 1242849, 1242888, 1242900, 1243110,
1243175, 1243459, 1243583, 1243685, 1243787, 1244317, 1244998, 1245149, 1245232,
1245304, 1245815, 1245892, 1245945, 1246129, 1246150, 1246339, 1246549, 1246625,
1246872, 1247119, 1247262, 1247768, 1247780, 1248168, 1248178, 1248263, 1248617,
1248638, 1248994, 1249244, 1249327, 1249699, 1249938, 1250499, 1250570, 1250577,
1250720, 1251299, 1251539, 1251622, 1251743, 1251762, 1252039, 1252473, 1252798,
1252848, 1252870, 1253019, 1253372, 1253409, 1253463, 1253567, 1253684, 1253970,
1254114, 1254145, 1254319, 1254464, 1254887, 1255098, 1255364, 1255549, 1255568,
1255582, 1255587, 1255599, 1255855, 1255879, 1255965, 1256048, 1256063, 1256342,
1256797, 1257135, 1257302, 1257727, 1257940, 1258234, 1258495, 1258637, 1258669,
1258689, 1259410, 1259417, 1259478, 1259565, 1259704, 1259920, 1260288, 1260325,
1260858, 1261022, 1261179, 1261510, 1262314, 1262689, 1262795, 1263037, 1263189,
1263398, 1263427, 1263480, 1263575, 1263785, 1263830, 1263980, 1264124, 1264448,
1265024, 1265434, 1265575, 1266173, 1267077, 1267538, 1269035, 1269134, 1269394,
1269672, 1269765, 1270324, 1270712, 1271234, 1271499, 1271968, 1272260, 1272449,
1272854, 1272859, 1273138, 1273165, 1273247, 1273340, 1273389, 1273457, 1273598,
1273613, 1273624, 1273775, 1274548, 1274862, 1274880, 1274993, 1275030, 1275307,
1275340, 1275849, 1275905, 1276330, 1276798, 1276850, 1277942, 1278335, 1278910,
1279113, 1279118, 1280444, 1280770, 1280953, 1281257, 1281855, 1282090, 1282204,
1282399, 1282532, 1282765, 1282867, 1282923, 1283122, 1283532, 1284247, 1284349,
1284635, 1285169, 1285293, 1285514, 1285794, 1286328, 1286442, 1286613, 1286689,
1287443, 1287445, 1287737, 1287940, 1287989, 1288158, 1288408, 1288873, 1289050,
1289128, 1289602, 1289887, 1289913, 1289990, 1290019, 1290155, 1290583, 1290792,
1290797, 1291039, 1291169, 1291375, 1291410, 1291537, 1291642, 1292225, 1292253,
1292420, 1292887, 1293035, 1293048, 1293237, 1293450, 1293514, 1294110, 1294143,
1294424, 1294579, 1294588, 1294634, 1294809, 1295243, 1295253, 1295399, 1295880,
1296038, 1296727, 1296804, 1297215, 1297895, 1297929, 1297949, 1298300, 1298324,
1298670, 1298753, 1299008, 1299668, 1299683, 1299702, 1299912, 1300237, 1300424,
1300504, 1300613, 1300737, 1300807, 1300874, 1300924, 1301329, 1301450, 1302095,
1302120, 1302167, 1302178, 1302250, 1302278, 1302692, 1303550, 1303630, 1303779,
1304148, 1304694, 1304735, 1304824, 1304984, 1305213, 1305307, 1305508, 1305565,
1305573, 1305903, 1306054, 1306202, 1306410, 1306737, 1306887, 1307432, 1308083,
1308193, 1308810, 1309117, 1309194, 1309729, 1310169, 1310832, 1310994, 1311248,
1311319, 1311464, 1312203, 1312527, 1312602, 1312704, 1312923, 1312979, 1312995,
1313724, 1313978, 1314162, 1314835, 1314849, 1314883, 1314920, 1314972, 1315184,
1315252, 1315542, 1316324, 1316328, 1317065, 1317149, 1317213, 1317793, 1317822,
1318244, 1318385, 1318612, 1318638, 1318898, 1318962, 1319184, 1319313, 1319808,
1320224, 1320450, 1320484, 1320502, 1320645, 1321063, 1321843, 1322252, 1322304,
1322499, 1322723, 1322953, 1323024, 1323208, 1323260, 1323964, 1324129, 1324378,
1324553, 1324615, 1324625, 1324865, 1324898, 1325208, 1325444, 1325715, 1325899,
1325990, 1326378, 1326404, 1326662, 1326893, 1327050, 1327288, 1327303, 1327394,
1327563, 1327662, 1327979, 1328002, 1328228, 1328260, 1328648, 1328822, 1328835,
1329019, 1329204, 1329597, 1330013, 1330215, 1330577, 1330708, 1330744, 1331264,
1331495, 1331643, 1331747, 1331794, 1332015, 1332197, 1332269, 1332405, 1332925,
1333202, 1333224, 1333263, 1333453, 1333790, 1333814, 1334128, 1334297, 1334394,
1334440, 1334555, 1334947, 1335402, 1335780, 1335805, 1335823, 1336082, 1336104,
1336572, 1336778, 1337317, 1337632, 1337649, 1337819, 1338028, 1338040, 1338717,
1338740, 1338754, 1339698, 1340647, 1340712, 1340793, 1340985, 1341024, 1341083,
1341107, 1341135, 1341155, 1341233, 1341692, 1342688, 1342948, 1343174, 1343382,
1343435, 1344570, 1344632, 1345113, 1345153, 1345189, 1345418, 1345509, 1345667,
1345925, 1346055, 1346400, 1346640, 1346710, 1346768, 1347025, 1347033, 1347069,
1347323, 1347442, 1347607, 1347883, 1347934, 1347992, 1348272, 1349220, 1349312,
1349825, 1350124, 1350244, 1350332, 1350850, 1350930, 1351130, 1351509, 1351793,
1352217, 1352289, 1352313, 1352383, 1352590, 1352592, 1352765, 1352859, 1353335,
1353420, 1353769, 1354102, 1354292, 1354763, 1354998, 1355292, 1355327, 1355895,
1356105, 1356252, 1356408, 1356754, 1357190, 1357684, 1357710, 1357950, 1359010,
1359723, 1359775, 1360069, 1360154, 1360238, 1360460, 1360672, 1360902, 1361155,
1361322, 1361454, 1361582, 1362058, 1362117, 1362223, 1362520, 1362954, 1362994,
1363014, 1363282, 1363599, 1363974, 1364112, 1364300, 1364810, 1364977, 1364983,
1365107, 1365113, 1365885, 1366238, 1366353, 1366392, 1366583, 1366745, 1366782,
1366797, 1366914, 1366977, 1367057, 1367362, 1367770, 1367817, 1367833, 1367869,
1368142, 1368147, 1368292, 1368700, 1368818, 1368880, 1369423, 1369723, 1369764,
1370009, 1370043, 1370234, 1370604, 1371634, 1372439, 1372913, 1373038, 1373365,
1373497, 1373555, 1373629, 1373698, 1373823, 1373875, 1374389, 1374400, 1375029,
1375908, 1376488, 1376495, 1376664, 1376974, 1377645, 1378269, 1378360, 1378729,
1378794, 1378857, 1379354, 1379452, 1379908, 1380614, 1380874, 1381297, 1381679,
1381917, 1382402, 1382478, 1382507, 1383248, 1383463, 1383528, 1383544, 1383677,
1383762, 1383969, 1384347, 1384438, 1384724, 1385003, 1385140, 1385467, 1385827,
1386107, 1386167, 1386178, 1386307, 1386330, 1386400, 1386570, 1386737, 1386893,
1386895, 1387094, 1387335, 1387492, 1387558, 1387969, 1388169, 1388819, 1388877,
1388968, 1389299, 1389627, 1389652, 1390182, 1390184, 1390975, 1391352, 1391378,
1391594, 1391729, 1391893, 1392429, 1392537, 1393039, 1393044, 1393388, 1393523,
1393900, 1393993, 1394167, 1394480, 1395070, 1395389, 1395678, 1395720, 1396019,
1396053, 1396358, 1396370, 1396603, 1396619, 1396664, 1396877, 1396970, 1397145,
1397418, 1397588, 1397657, 1397765, 1398815, 1398887, 1399079, 1399147, 1399178,
1399204, 1399249, 1399682, 1400023, 1400088, 1400194, 1400592, 1400714, 1400798,
1401065, 1401838, 1401923, 1401960, 1401964, 1402020, 1402142, 1402365, 1402640,
1402714, 1402727, 1402729, 1402752, 1402969, 1403014, 1403015, 1403333, 1403938,
1403977, 1404600, 1405275, 1405497, 1405590, 1405634, 1406323, 1406598, 1406627,
1406817, 1407409, 1407435, 1407992, 1408213, 1408429, 1408702, 1409210, 1409214,
1409500, 1409617, 1409690, 1410428, 1410678, 1410712, 1410724, 1410863, 1410919,
1411062, 1411185, 1411419, 1411432, 1411497, 1411562, 1412058, 1412245, 1412373,
1412823, 1412917, 1413465, 1413537, 1413634, 1413702, 1413753, 1414375, 1414438,
1414498, 1414552, 1414638, 1414739, 1415038, 1415579, 1415654, 1415764, 1415994,
1416015, 1416087, 1416645, 1416763, 1417482, 1417677, 1418192, 1418210, 1418797,
1419128, 1419213, 1419258, 1419479, 1420348, 1420438, 1420813, 1420907, 1420987,
1421182, 1421930, 1422117, 1422534, 1422605, 1423249, 1423293, 1423353, 1423457,
1423815, 1423854, 1424635, 1424679, 1424684, 1425055, 1425075, 1425089, 1426010,
1426590, 1426673, 1427039, 1427084, 1427180, 1427182, 1427605, 1427637, 1427877,
1427962, 1428025, 1428039, 1428302, 1428558, 1428649, 1428914, 1429067, 1429730,
1429840, 1429899, 1430302, 1430664, 1430704, 1431044, 1431260, 1431327, 1431330,
1431977, 1432172, 1432752, 1433199, 1433500, 1433512, 1433610, 1433662, 1433682,
1433753, 1434668, 1435170, 1435334, 1435690, 1436223, 1436423, 1436504, 1436730,
1436798, 1436834, 1437094, 1437257, 1437354, 1437519, 1437629, 1437757, 1437759,
1437788, 1437929, 1438040, 1438333, 1438440, 1438490, 1438828, 1438909, 1439267,
1439369, 1439512, 1439804, 1439850, 1440435, 1440505, 1440949, 1441040, 1441220,
1441337, 1441735, 1442405, 1443169, 1443789, 1443802, 1444067, 1444277, 1444608,
1444662, 1444953, 1445705, 1445859, 1446240, 1446602, 1446637, 1446784, 1447704,
1448099, 1448102, 1448229, 1448889, 1448957, 1449093, 1449243, 1449249, 1449263,
1449410, 1449535, 1449540, 1449972, 1450060, 1450447, 1450569, 1450588, 1450679,
1451420, 1451459, 1451479, 1451685, 1451758, 1452439, 1452538, 1452645, 1452855,
1453377, 1453495, 1453973, 1454009, 1454249, 1454339, 1454805, 1455047, 1455520,
1455522, 1455613, 1456198, 1456510, 1456964, 1457294, 1457428, 1457563, 1457797,
1458110, 1458570, 1458958, 1458960, 1459233, 1459714, 1460057, 1460330, 1460817,
1460969, 1461183, 1461664, 1462730, 1462829, 1463610, 1463648, 1463684, 1464498,
1464628, 1464687, 1465174, 1465343, 1465467, 1465629, 1465940, 1466214, 1466370,
1466623, 1466714, 1466943, 1466988, 1466993, 1467079, 1467317, 1467373, 1467545,
1467714, 1467945, 1468799, 1468827, 1468990, 1469022, 1469105, 1469124, 1469334,
1469399, 1469484, 1469530, 1470130, 1470309, 1470317, 1470810, 1471618, 1472029,
1472034, 1472545, 1472602, 1473020, 1473573, 1473850, 1474137, 1474138, 1474248,
1474742, 1474768, 1475072, 1475392, 1475395, 1476068, 1476484, 1476522, 1476537,
1476710, 1476777, 1476879, 1476970, 1477100, 1477219, 1477522, 1478285, 1478309,
1478608, 1478870, 1478882, 1479019, 1479097, 1479258, 1479383, 1479643, 1480053,
1480072, 1480092, 1480274, 1480288, 1481112, 1481515, 1482099, 1482263, 1482367,
1482610, 1482728, 1482787, 1483249, 1483424, 1483613, 1483654, 1483875, 1483985,
1484317, 1484395, 1484408, 1484750, 1484934, 1485357, 1485552, 1486007, 1487365,
1487383, 1487450, 1487572, 1487690, 1487697, 1487708, 1488045, 1488470, 1488555,
1488618, 1488782, 1488954, 1489034, 1489099, 1489128, 1489268, 1489468, 1489743,
1489868, 1490459, 1490467, 1490700, 1490778, 1491389, 1491499, 1491652, 1492383,
1492752, 1492843, 1493740, 1493860, 1494194, 1494398, 1494722, 1494840, 1494970,
1495195, 1495247, 1495774, 1496563, 1496574, 1496625, 1496725, 1496933, 1497313,
1497388, 1497393, 1497603, 1497934, 1498134, 1498197, 1498480, 1498732, 1498857,
1499123, 1499174, 1499214, 1499234, 1499382, 1499637, 1499754, 1500785, 1500859,
1501529, 1502842, 1503345, 1503427, 1504023, 1504595, 1504734, 1504935, 1505247,
1505488, 1505609, 1505728, 1505773, 1505939, 1506163, 1506879, 1506978, 1507000,
1507004, 1507429, 1507502, 1507522, 1507535, 1507833, 1508040, 1508109, 1508118,
1508482, 1508614, 1508744, 1508802, 1508820, 1508950, 1509028, 1509225, 1509257,
1509374, 1509548, 1509595, 1509649, 1510193, 1510717, 1510757, 1510854, 1510970,
1511845, 1511848, 1511857, 1512134, 1512473, 1512709, 1512767, 1513279, 1513305,
1513455, 1513970, 1513989, 1514490, 1514644, 1514820, 1514852, 1514923, 1515099,
1515674, 1515952, 1516180, 1516282, 1516447, 1516569, 1518185, 1518238, 1518515,
1519293, 1519312, 1519900, 1519917, 1520008, 1520210, 1520229, 1520535, 1520972,
1521417, 1521560, 1521744, 1521773, 1522407, 1522589, 1523770, 1524255, 1524935,
1525163, 1525579, 1525863, 1525865, 1525975, 1526292, 1526363, 1526453, 1526487,
1526684, 1526715, 1527267, 1527319, 1527823, 1527993, 1528738, 1529589, 1529602,
1530304, 1530324, 1530512, 1530577, 1530703, 1530778, 1530889, 1530939, 1531160,
1531507, 1531518, 1531747, 1531840, 1531869, 1532670, 1532919, 1533262, 1533509,
1533949, 1534027, 1534209, 1534542, 1534640, 1534954, 1535114, 1535985, 1536575,
1536614, 1536895, 1537030, 1537074, 1537107, 1537212, 1537617, 1537714, 1537957,
1538013, 1538877, 1539485, 1539599, 1539643, 1539898, 1540082, 1540314, 1541744,
1541757, 1542700, 1542987, 1543839, 1543922, 1544142, 1544559, 1544769, 1545280,
1545378, 1545514, 1545690, 1546320, 1546684, 1546834, 1547322, 1547417, 1547592,
1547594, 1547667, 1547815, 1548145, 1548478, 1548985, 1549174, 1549512, 1549979,
1550144, 1550368, 1550435, 1550532, 1550662, 1550680, 1550719, 1550838, 1550862,
1550922, 1551030, 1551064, 1551637, 1551839, 1551878, 1552063, 1552203, 1552268