Riesel conjecture base 130 remain

Started: May 21, 2020
Last update: May 21, 2020

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.

6517 k's remaining at n=10K:

254, 597, 918, 1178, 1773, 2718, 2762, 2909, 3075, 3116, 3480, 4211, 4979, 5769, 6927, 7032, 7415, 8541, 9431, 9480, 10266, 10872, 11013, 11048, 11202, 11235, 12071, 12819, 12840, 13553, 13820, 14912, 15401, 15590, 16580, 16898, 16958, 18699, 18783, 19401, 20043, 20897, 20960, 21090, 21690, 21851, 22184, 22775, 23034, 23351, 23928, 23972, 24336, 24588, 24992, 25206, 25866, 25953, 26201, 26294, 27465, 27987, 28163, 28247, 28359, 28911, 29195, 29474, 29621, 29943, 30200, 30584, 30948, 31046, 31826, 32103, 32358, 33884, 34742, 34889, 36117, 36884, 37598, 38042, 38546, 38775, 38910, 40028, 40139, 40698, 41847, 42443, 44102, 44108, 44606, 45098, 45332, 45453, 46755, 47777, 47805, 47979, 48981, 49601, 50381, 50436, 50964, 52061, 53090, 54233, 54497, 54762, 55854, 56270, 56414, 57044, 57248, 57576, 57842, 58427, 58472, 58556, 58851, 59448, 60257, 62099, 62532, 63191, 63296, 63488, 63534, 63828, 64131, 64649, 64892, 65157, 65409, 65993, 66341, 66369, 66980, 67001, 67131, 67575, 68126, 68127, 68352, 68511, 70746, 70872, 70926, 71688, 72038, 72566, 73175, 73518, 74204, 74250, 74276, 74306, 74628, 74705, 75020, 75069, 75455, 75615, 76056, 76266, 77309, 77412, 77840, 78894, 79731, 79913, 80171, 80525, 81327, 81944, 82707, 83150, 83154, 83184, 83484, 84008, 84044, 84200, 84252, 84494, 84758, 84879, 85373, 85629, 85691, 85887, 86544, 86888, 87732, 87917, 88685, 89079, 89343, 89678, 90339, 90609, 90710, 91043, 91158, 91175, 91361, 92138, 92556, 92712, 93255, 93461, 93971, 94266, 94319, 96608, 96677, 96849, 97283, 98121, 99453, 99584, 99843, 100083, 100415, 100871, 101124, 101789, 101964, 102239, 102573, 102887, 102894, 103329, 103371, 104637, 104682, 104879, 106170, 106173, 106418, 106863, 107052, 107123, 107633, 107795, 109145, 109274, 109559, 110049, 110055, 110091, 110552, 110643, 110741, 111545, 111626, 111743, 111813, 111831, 112197, 112827, 113669, 114329, 114900, 114942, 115383, 115634, 115872, 116327, 116670, 117140, 117768, 117828, 120653, 121151, 121797, 122621, 123027, 123083, 123162, 123534, 124436, 125199, 125799, 126044, 127593, 127653, 127725, 128010, 128153, 129165, 129300, 129501, 129698, 130005, 131177, 131252, 131345, 131370, 131660, 131675, 132059, 132171, 132309, 132323, 132686, 132777, 132833, 132834, 133170, 133359, 133505, 133820, 135249, 135774, 136068, 136217, 136364, 137811, 138042, 138392, 138483, 138597, 138602, 139148, 139154, 139254, 139383, 141273, 141348, 141782, 141920, 141975, 143007, 143964, 144552, 144887, 145380, 145935, 146981, 147434, 147666, 147981, 148031, 148121, 148332, 148863, 148929, 149123, 149550, 149669, 149858, 150012, 150411, 150746, 150873, 151064, 152021, 152618, 152639, 152700, 153041, 153465, 153795, 153939, 153981, 154305, 154707, 155226, 155760, 156279, 156605, 157196, 157749, 158043, 158274, 158657, 159030, 159035, 159161, 159657, 159723, 160212, 160437, 160451, 160997, 161051, 161732, 161786, 161813, 162570, 162705, 162999, 163179, 163823, 164558, 164663, 164880, 165192, 166107, 166203, 166464, 167547, 168858, 168921, 170769, 171495, 171873, 172139, 172799, 173037, 173486, 174617, 175694, 175706, 175883, 176075, 176241, 176327, 176394, 177635, 178740, 180282, 180335, 180357, 180678, 180812, 180860, 181161, 181416, 182198, 182435, 182613, 183983, 184629, 185495, 185759, 185760, 185921, 186068, 186342, 186993, 188031, 188961, 189135, 189435, 190124, 190283, 190604, 190866, 191279, 191409, 191430, 191825, 191922, 191955, 192329, 192350, 192417, 192726, 192753, 193224, 193617, 194618, 194798, 194927, 195122, 195332, 195584, 195815, 196106, 197516, 197759, 197913, 198738, 199109, 199566, 200258, 200285, 201371, 201380, 201408, 202472, 202745, 202850, 205122, 205181, 205538, 206600, 207167, 207237, 207372, 208517, 208815, 209267, 209339, 210092, 210093, 210269, 210464, 210645, 210998, 211040, 212127, 212384, 212886, 213161, 213398, 214091, 214215, 214577, 215034, 215414, 215471, 215625, 215759, 215807, 215825, 215982, 216282, 216675, 217134, 217592, 218058, 218486, 219017, 219311, 219564, 219948, 220791, 220917, 221769, 221841, 221999, 222177, 222933, 222963, 223133, 223220, 223250, 223416, 224795, 225611, 225845, 225878, 225978, 226389, 226823, 226893, 226958, 227417, 227439, 227529, 227669, 227789, 227802, 227810, 227852, 228579, 228638, 228662, 229784, 230393, 230616, 231401, 232761, 233019, 233229, 233346, 233834, 233963, 234237, 234474, 234525, 234572, 234950, 235146, 235379, 235740, 235757, 236357, 236616, 237504, 238440, 238485, 239289, 240186, 240704, 241886, 241956, 242166, 242729, 242873, 243597, 243630, 243860, 245052, 245540, 245681, 246017, 246156, 246324, 246674, 246779, 247157, 247415, 247692, 247778, 247802, 249204, 249300, 249327, 250020, 250958, 251682, 251843, 252060, 252078, 252413, 252872, 252935, 253388, 253394, 253919, 254354, 255308, 255447, 255714, 257016, 257343, 258069, 258855, 259961, 260012, 260250, 260516, 261150, 262025, 262130, 263061, 263178, 263496, 263498, 263708, 264581, 265007, 265736, 266043, 266193, 266738, 267338, 267489, 267534, 268508, 268832, 268914, 269859, 270152, 270263, 270306, 270314, 270869, 271287, 271406, 272087, 272217, 272619, 272805, 273023, 273131, 273443, 273590, 274184, 274290, 274437, 274458, 274863, 275858, 276228, 276515, 276540, 277425, 277457, 277848, 278112, 278888, 279155, 279299, 279570, 280260, 280611, 280865, 281003, 281045, 281453, 281660, 281670, 281880, 282104, 282473, 282489, 282998, 283221, 283889, 283896, 284271, 284733, 285989, 286496, 286773, 287534, 287582, 287774, 288369, 288380, 289094, 289601, 289902, 290166, 290327, 290688, 290889, 291015, 291405, 291453, 292091, 292131, 292650, 292769, 294227, 294618, 294627, 294849, 295199, 295227, 295404, 295500, 295835, 295992, 296076, 296339, 296508, 297371, 297564, 297845, 298211, 298818, 299270, 299342, 300120, 300234, 300567, 300644, 300714, 300792, 301107, 301170, 301337, 301401, 302087, 302283, 302534, 303440, 304047, 304445, 306014, 307200, 308172, 308207, 308324, 308504, 308814, 309131, 310139, 310340, 310788, 310997, 312233, 312497, 313076, 313391, 313877, 314252, 314402, 314532, 314798, 315054, 315393, 315869, 315990, 316035, 316233, 316878, 317531, 317697, 318096, 318198, 318593, 318609, 319047, 319110, 320322, 321407, 321605, 322116, 322128, 322194, 322557, 322767, 323492, 323633, 324018, 324879, 325274, 326127, 326547, 326594, 326834, 327051, 327239, 327476, 328182, 328827, 328911, 329057, 329277, 329961, 330306, 330485, 330738, 331158, 331871, 332208, 332259, 332511, 332516, 333662, 334314, 334706, 335547, 336014, 336095, 336099, 336270, 336372, 336671, 336884, 337262, 337457, 337682, 338577, 339420, 339551, 339651, 339693, 339810, 340383, 340799, 341762, 342045, 342119, 342695, 342707, 343176, 343350, 343481, 343590, 344922, 345786, 345965, 345983, 346889, 346977, 347139, 347783, 348428, 348485, 348756, 348881, 349245, 350219, 350295, 351014, 351222, 351479, 351605, 351756, 351950, 352062, 352223, 352965, 353046, 354146, 354194, 354446, 354636, 354677, 355268, 355478, 355646, 355941, 356247, 356319, 357113, 357491, 357548, 357701, 357743, 359594, 359718, 359853, 360999, 361430, 361460, 362238, 362759, 363192, 363519, 364310, 364389, 364443, 365577, 366228, 366444, 366452, 366668, 367110, 368096, 368502, 368978, 369693, 369812, 370302, 370560, 371660, 371823, 372432, 372563, 372653, 373361, 373382, 373389, 373482, 373697, 374399, 374661, 374936, 375447, 375629, 375783, 376434, 376457, 376553, 376755, 377414, 378219, 378599, 378606, 378720, 379751, 380076, 380648, 380661, 380685, 381417, 382001, 382860, 383099, 384746, 385193, 386103, 386523, 387060, 387069, 387630, 387890, 387935, 388056, 388851, 389169, 389340, 389454, 389478, 389603, 390977, 391770, 391967, 393132, 393353, 393381, 393849, 394109, 394223, 394865, 395154, 395445, 396608, 396708, 396929, 397667, 397809, 397937, 398204, 399515, 400079, 401097, 401171, 401517, 402158, 402695, 403481, 403491, 403908, 404136, 404369, 404762, 405876, 406646, 406872, 407108, 407673, 407808, 408920, 409731, 410481, 411093, 411282, 411356, 411371, 411734, 411863, 412668, 412820, 413046, 413198, 413306, 414527, 415277, 416028, 416205, 416579, 416739, 416810, 417234, 417785, 418023, 419070, 419094, 419592, 420765, 420800, 421037, 421166, 421295, 421760, 421787, 421997, 422412, 422580, 423767, 424491, 425406, 425903, 426024, 426171, 426365, 426504, 426570, 426633, 427346, 427452, 427527, 428024, 428096, 428520, 428663, 428762, 428943, 428976, 429026, 429494, 430467, 430565, 431061, 431166, 431279, 431643, 431874, 432413, 432518, 432692, 432821, 432825, 433689, 434274, 435411, 435600, 436319, 437187, 438849, 439422, 439571, 439916, 440175, 440252, 441032, 441203, 441314, 441642, 441995, 442040, 442248, 442506, 442821, 443268, 444018, 444558, 445293, 445461, 445593, 446058, 446102, 446580, 446730, 446744, 447171, 447233, 447495, 448281, 448578, 448676, 448830, 449166, 449591, 449703, 449724, 449831, 449898, 450333, 450416, 450536, 451361, 452160, 452475, 452568, 452604, 452862, 453245, 453272, 454428, 454596, 454700, 454920, 455004, 455646, 455954, 456047, 456444, 456971, 457218, 457451, 457550, 457935, 458571, 458892, 459942, 460128, 460329, 460938, 462267, 462300, 462807, 462855, 463199, 463919, 464157, 464321, 464447, 464787, 464829, 465180, 465336, 465573, 465966, 467276, 467933, 468546, 468659, 469065, 469676, 469869, 470643, 470772, 471090, 472007, 472466, 473042, 473799, 473826, 473999, 474203, 474321, 475043, 475479, 475535, 475743, 476400, 477033, 477494, 477758, 478496, 478655, 480309, 482210, 482381, 482948, 482975, 483926, 484124, 484308, 484523, 484815, 485094, 485144, 485412, 485480, 487050, 487440, 487755, 488856, 489483, 489624, 490229, 490704, 491072, 491387, 491654, 492237, 492419, 492782, 492941, 493298, 493502, 493733, 494036, 494090, 494397, 494411, 494631, 495875, 495944, 496491, 497418, 498696, 499229, 499242, 499251, 499548, 500439, 502826, 503105, 503108, 503598, 504030, 504260, 504351, 504443, 504480, 505283, 505397, 505695, 505859, 506405, 506454, 506994, 507215, 508715, 509589, 509604, 509853, 509982, 510038, 510630, 511743, 512957, 512997, 513018, 513522, 513836, 513923, 514166, 514301, 514812, 515118, 515216, 516534, 517056, 517203, 517451, 518135, 518660, 519545, 519807, 520034, 520529, 520644, 520857, 521327, 521550, 522593, 522783, 523238, 523385, 523917, 524645, 524927, 525134, 525221, 526040, 526695, 526716, 526856, 526881, 527160, 527417, 527669, 527949, 528753, 529134, 530394, 531029, 531161, 531206, 531588, 532008, 532503, 532907, 533394, 533514, 533955, 534186, 534332, 534626, 534783, 534914, 535004, 535593, 535922, 535980, 535991, 536454, 536628, 536706, 537489, 537653, 538085, 538154, 538497, 538542, 539438, 539457, 540516, 541011, 541031, 541221, 541293, 541760, 541767, 541979, 542963, 543140, 543398, 543566, 543720, 544056, 544986, 545136, 545616, 546198, 546533, 547446, 547845, 548046, 548319, 548783, 549215, 549257, 549719, 550127, 550680, 551247, 551280, 551468, 552066, 552171, 552297, 552918, 553746, 554114, 554915, 555185, 556277, 556581, 556620, 556910, 556923, 557033, 557901, 557930, 558105, 559434, 559637, 559701, 559869, 559917, 560145, 561203, 561657, 562851, 563204, 563348, 563432, 563481, 563798, 563882, 565128, 565395, 565706, 565790, 566736, 567009, 567755, 568628, 569174, 569682, 569690, 570375, 570425, 570768, 571839, 571898, 573687, 573815, 574436, 574827, 574953, 575241, 575381, 575754, 575933, 576906, 578337, 579021, 579674, 579720, 579938, 580631, 580658, 580904, 581772, 582224, 582605, 582759, 582950, 583109, 583473, 583476, 583643, 583685, 584126, 584175, 584259, 584754, 585425, 585567, 586056, 586083, 586310, 586356, 586364, 586613, 586835, 586881, 587015, 587141, 587196, 587238, 587351, 588443, 590118, 590184, 590594, 590811, 591077, 591669, 592209, 592482, 592916, 594365, 594477, 594939, 595163, 595421, 595709, 595868, 596093, 596096, 597258, 597515, 599204, 599850, 600252, 600374, 600525, 600800, 601010, 601488, 601617, 601841, 602442, 602541, 602697, 602925, 602988, 603138, 603254, 603584, 603681, 604695, 604748, 605361, 605420, 605553, 606629, 606705, 607040, 607446, 607868, 607979, 608028, 608066, 608238, 609893, 609935, 610712, 610899, 611294, 611319, 611466, 612417, 612462, 612819, 613281, 613698, 613806, 614915, 615470, 615486, 615531, 615623, 615701, 616239, 616361, 616526, 616829, 617544, 617598, 617928, 618333, 619236, 619314, 619634, 619865, 620204, 620435, 620603, 621555, 622287, 622658, 622878, 622913, 623247, 623690, 624180, 624726, 624992, 625517, 625584, 626231, 626817, 627279, 627491, 627981, 628013, 628065, 628520, 628749, 629120, 629148, 629337, 629574, 630096, 630701, 630842, 630855, 630887, 631157, 631290, 631458, 631898, 632430, 633033, 634041, 634565, 636150, 636311, 637052, 637079, 637185, 637379, 638313, 638366, 638730, 638888, 639150, 639879, 639984, 640028, 641054, 641246, 641705, 642161, 642426, 642482, 642581, 642828, 643224, 643253, 644169, 644174, 644295, 644354, 645038, 645639, 645737, 645849, 646662, 646752, 647927, 648390, 648449, 649170, 649496, 649709, 650283, 650871, 650940, 651030, 651200, 651986, 652019, 652103, 652590, 652845, 652892, 652968, 652983, 653018, 653312, 653466, 653612, 654026, 654075, 654215, 654291, 654539, 655001, 655160, 655490, 656049, 656100, 656364, 656741, 657008, 657056, 658541, 659219, 659324, 659717, 660234, 660312, 660368, 660668, 661049, 662075, 662204, 662456, 662691, 662744, 662888, 664031, 664574, 664920, 664955, 665030, 665160, 666285, 666311, 666423, 666570, 666593, 666681, 666972, 667221, 667461, 667844, 668481, 669026, 669377, 669540, 670245, 671114, 671399, 671820, 672110, 672291, 673005, 673908, 674840, 675684, 675830, 675845, 676188, 676388, 676421, 676475, 676643, 676827, 677138, 677468, 677919, 678077, 678968, 679920, 680220, 680577, 680976, 681332, 681374, 681987, 682229, 682253, 682592, 683390, 683952, 684140, 684345, 684566, 684738, 684765, 685385, 685652, 685655, 685659, 686046, 686114, 686360, 687803, 688167, 688535, 689418, 689583, 689705, 690090, 690551, 690552, 690657, 691040, 691419, 692385, 692756, 693221, 694614, 694824, 695006, 695157, 695216, 695556, 696266, 696396, 696788, 697040, 697568, 698261, 698394, 698765, 698951, 700667, 701276, 702293, 702816, 702926, 703602, 703605, 703803, 705126, 706155, 706482, 707375, 707507, 707568, 708213, 708318, 708878, 708971, 709956, 710355, 710364, 710763, 710990, 711075, 711176, 711540, 711971, 712100, 712602, 712664, 714435, 715716, 715775, 715971, 716060, 716312, 716319, 716349, 717224, 717273, 717551, 717780, 718358, 719058, 719310, 719987, 720230, 720372, 720854, 720938, 721778, 721841, 721940, 722016, 722115, 722712, 722859, 722870, 722991, 724287, 724397, 724586, 724590, 725084, 725090, 725631, 725729, 725909, 726896, 726918, 727014, 727451, 729117, 729282, 729311, 729327, 729395, 730169, 730200, 730578, 730845, 730865, 731252, 731264, 731607, 732264, 732965, 733077, 733404, 733880, 734085, 734666, 734750, 735282, 735795, 736059, 736352, 737531, 737886, 737916, 739139, 739677, 739685, 740037, 740930, 741066, 741546, 741590, 741773, 743777, 744474, 744522, 744605, 744716, 745173, 745368, 745520, 745551, 745991, 746175, 746250, 746754, 746831, 746964, 747123, 748313, 749400, 750080, 750893, 751017, 751290, 751679, 751871, 752040, 752075, 752594, 752984, 753026, 753642, 754779, 754968, 755000, 755199, 755456, 755529, 755792, 756123, 756141, 756786, 757278, 757821, 758972, 759314, 759390, 759537, 759770, 759837, 759908, 760404, 760587, 760673, 760908, 761982, 762273, 762414, 762878, 763002, 763731, 764304, 764360, 764535, 764747, 764780, 765066, 765303, 765516, 766119, 766371, 766385, 766938, 767244, 767468, 767523, 767559, 767865, 768294, 768714, 769626, 769808, 770033, 770081, 770232, 770366, 770499, 770543, 770984, 771615, 771864, 771948, 772118, 772391, 772487, 772490, 772572, 772608, 773672, 774635, 774981, 775140, 775562, 775707, 775956, 776064, 776700, 776939, 777288, 777516, 778010, 778959, 779430, 779501, 779571, 780564, 780630, 781001, 781205, 781362, 783017, 783323, 783330, 783336, 783512, 783872, 784127, 784170, 784184, 784898, 784953, 784977, 785535, 786072, 786654, 787157, 787277, 787746, 787851, 787901, 788643, 788918, 789276, 789632, 789693, 790038, 790518, 790629, 791102, 791309, 791327, 791519, 791673, 791772, 792080, 792156, 792747, 792936, 792944, 793409, 794292, 794645, 795051, 796947, 797241, 797637, 797660, 798018, 798249, 798429, 798977, 799505, 799682, 800787, 801420, 801566, 802158, 802217, 802374, 802412, 802767, 802937, 803031, 803819, 804038, 804122, 804339, 804444, 804692, 805256, 805905, 806537, 807585, 807608, 807711, 807948, 808227, 808754, 809148, 810986, 811484, 811617, 811806, 811902, 811911, 811935, 812592, 812732, 812883, 814488, 814493, 814907, 816596, 816902, 818078, 818096, 818109, 818337, 818651, 818882, 819144, 820143, 820682, 820887, 821144, 821858, 822158, 822383, 822812, 823295, 823467, 823593, 823596, 823989, 824037, 824387, 824987, 825437, 825467, 825518, 825563, 825771, 825825, 825977, 826148, 826197, 827085, 827390, 827885, 828326, 828573, 828633, 828917, 829280, 829383, 829644, 829889, 830670, 830934, 833030, 833382, 833508, 833838, 833988, 834332, 834600, 835124, 835290, 835388, 835496, 835748, 836249, 836354, 837092, 837225, 837351, 837384, 837677, 837764, 837873, 837939, 838076, 838121, 838344, 838443, 838728, 838874, 839631, 840102, 841031, 841199, 841283, 842517, 842699, 842724, 842909, 843996, 844089, 844094, 844187, 844713, 844715, 845282, 845945, 846549, 846785, 846836, 847023, 847148, 847379, 847548, 847830, 848355, 848478, 849111, 849234, 849437, 850439, 851106, 852098, 852614, 853028, 853988, 854585, 854613, 854643, 855471, 856640, 856683, 856835, 857670, 857889, 859758, 860393, 860435, 860766, 861327, 861366, 861543, 862122, 863076, 863361, 863732, 864341, 864900, 865131, 865524, 865712, 865790, 866084, 866331, 866826, 867162, 867293, 867794, 868176, 868379, 868457, 868835, 869240, 869607, 870101, 870489, 870627, 871623, 872210, 872495, 873111, 874106, 874938, 875708, 876026, 876290, 876324, 876761, 876782, 877580, 877946, 878487, 878700, 878880, 879797, 880188, 880385, 880742, 880980, 881486, 881703, 882555, 882854, 882941, 884585, 884741, 884885, 885119, 885189, 886092, 886314, 887133, 887655, 888042, 888486, 889092, 889949, 890136, 891782, 891969, 892592, 893643, 894030, 894974, 895085, 895379, 895515, 895988, 896277, 896331, 896702, 896855, 896963, 897227, 897444, 898004, 898055, 898437, 898550, 898746, 898755, 898923, 898965, 899012, 899063, 899154, 900804, 900810, 900947, 901637, 902903, 903065, 903075, 903113, 903233, 903246, 903368, 903377, 904395, 904709, 904968, 905480, 905573, 905900, 906126, 906249, 906567, 907307, 907797, 908114, 908399, 909596, 910113, 910187, 910464, 910883, 910886, 910902, 911142, 911565, 911975, 912081, 912347, 912396, 912554, 912741, 912752, 912972, 913014, 913593, 913817, 913901, 914561, 914633, 914772, 915000, 915165, 915560, 915749, 915797, 916056, 916215, 916281, 917438, 918440, 918857, 919326, 919901, 920319, 920364, 920798, 920802, 921194, 921218, 921237, 921453, 921695, 921972, 922634, 922923, 923549, 924450, 924786, 925220, 926109, 926384, 927000, 927798, 928205, 928265, 928398, 929625, 929979, 930101, 930161, 930339, 930428, 930462, 930623, 931263, 931463, 931820, 931935, 932073, 932913, 933638, 933998, 934553, 935454, 935586, 935645, 935895, 936044, 936065, 936153, 936776, 937379, 938939, 939140, 939632, 940721, 941103, 941166, 941333, 941403, 941607, 942096, 942309, 942449, 942806, 943707, 943728, 943805, 944267, 944330, 944630, 944679, 944784, 944855, 944927, 945224, 945407, 945627, 945771, 945933, 946047, 946166, 946187, 946394, 947094, 947277, 947391, 947724, 948270, 948570, 948620, 948761, 949455, 949743, 950687, 951264, 951716, 952176, 952697, 953429, 954566, 954627, 954737, 955025, 955112, 955817, 956316, 957492, 958395, 959150, 959351, 959445, 959487, 959667, 960980, 961017, 962798, 963062, 963506, 963768, 963890, 964028, 964161, 964292, 964350, 964814, 965358, 965490, 965763, 965990, 966110, 966915, 967275, 967653, 967689, 968801, 969455, 970187, 970239, 970314, 970526, 970635, 970709, 970776, 971933, 972183, 972248, 972986, 973344, 973935, 974117, 974301, 974913, 975296, 975402, 975503, 975825, 976475, 977222, 977295, 977652, 978245, 979049, 979619, 979652, 980862, 981579, 982248, 982499, 982710, 983873, 983964, 984255, 984635, 985329, 986036, 986331, 986544, 986714, 987086, 987114, 987870, 987872, 987984, 988089, 988436, 988467, 988527, 992007, 992412, 992471, 992930, 992964, 993372, 993896, 994832, 995043, 995339, 995901, 996029, 996396, 996645, 996780, 996909, 997145, 998088, 998145, 999443, 999623, 999728, 1000055, 1000323, 1000409, 1000836, 1001309, 1001919, 1002404, 1004270, 1004501, 1004586, 1004642, 1004984, 1005164, 1005293, 1005524, 1006097, 1007043, 1007213, 1007840, 1008375, 1010402, 1010619, 1010843, 1011321, 1012331, 1013069, 1013294, 1013751, 1013784, 1014294, 1014563, 1015086, 1015127, 1015380, 1015554, 1016108, 1016423, 1016661, 1016801, 1018070, 1018467, 1018488, 1018851, 1019603, 1019988, 1020210, 1020266, 1020275, 1020360, 1020399, 1020539, 1020861, 1021637, 1022088, 1022592, 1023059, 1023254, 1024419, 1024493, 1024874, 1024934, 1024977, 1025172, 1026180, 1026356, 1026386, 1026452, 1026533, 1026677, 1027020, 1027118, 1027119, 1027394, 1027676, 1027856, 1028829, 1029165, 1029516, 1030313, 1031231, 1031244, 1031480, 1032357, 1032488, 1032735, 1032882, 1033565, 1033734, 1033887, 1033937, 1034049, 1034637, 1034841, 1034972, 1035507, 1037388, 1037408, 1037411, 1037843, 1038216, 1038921, 1039355, 1039571, 1040769, 1040930, 1040960, 1041273, 1041888, 1042308, 1042503, 1042715, 1043072, 1043268, 1044129, 1044297, 1044303, 1044800, 1044857, 1045004, 1045206, 1045686, 1046123, 1047396, 1047491, 1047495, 1047803, 1047929, 1048290, 1048842, 1049199, 1049573, 1050036, 1050135, 1051125, 1051143, 1051515, 1051670, 1051884, 1052060, 1052172, 1052661, 1053350, 1053452, 1053567, 1053726, 1053861, 1054986, 1055337, 1055742, 1057067, 1057181, 1057545, 1057779, 1057974, 1058247, 1058282, 1058303, 1058583, 1058654, 1058733, 1058775, 1060845, 1062147, 1062540, 1062917, 1063646, 1063701, 1063904, 1063934, 1064562, 1064886, 1064949, 1065134, 1065290, 1065332, 1065474, 1066178, 1067199, 1069028, 1069044, 1069221, 1069952, 1070007, 1070057, 1070759, 1070766, 1071645, 1071758, 1072422, 1072779, 1073165, 1073598, 1074000, 1074087, 1074224, 1074567, 1074578, 1076877, 1077260, 1078212, 1078403, 1078932, 1078988, 1079177, 1079310, 1079528, 1079571, 1079754, 1079786, 1080062, 1080255, 1080749, 1081565, 1081653, 1082216, 1082390, 1082435, 1082607, 1082747, 1083077, 1083176, 1083371, 1083765, 1084220, 1085583, 1086122, 1086348, 1088343, 1088355, 1089180, 1089428, 1089657, 1089659, 1090587, 1090706, 1090916, 1092239, 1093194, 1093283, 1093779, 1093982, 1094069, 1094091, 1094637, 1095147, 1095420, 1095683, 1095711, 1095746, 1096031, 1096817, 1096820, 1096838, 1096898, 1097648, 1098305, 1098365, 1098453, 1098738, 1099305, 1100345, 1100346, 1101447, 1101983, 1103222, 1103958, 1104177, 1104401, 1105115, 1105442, 1105764, 1105862, 1106561, 1106667, 1107066, 1107143, 1107773, 1108158, 1108307, 1108563, 1108638, 1109040, 1109042, 1109280, 1109364, 1109445, 1109609, 1110551, 1110617, 1111022, 1111034, 1111070, 1111085, 1111650, 1111940, 1112399, 1112451, 1112486, 1113209, 1113372, 1113786, 1114017, 1114655, 1115027, 1115195, 1115871, 1116326, 1116398, 1116921, 1117097, 1117110, 1117635, 1118450, 1118856, 1119435, 1119438, 1119470, 1120142, 1120344, 1120410, 1120541, 1120620, 1120704, 1121481, 1121696, 1122302, 1122800, 1122815, 1123082, 1123131, 1123406, 1124111, 1124582, 1125051, 1125642, 1125692, 1125884, 1126787, 1127471, 1127564, 1127802, 1127960, 1128171, 1129200, 1129328, 1129364, 1129452, 1130007, 1130070, 1130259, 1130813, 1130922, 1131377, 1131551, 1133297, 1133792, 1134036, 1134305, 1134590, 1134725, 1134840, 1135148, 1135242, 1135335, 1137735, 1137819, 1137959, 1138344, 1139016, 1139072, 1139111, 1139189, 1139282, 1139966, 1140267, 1140749, 1140993, 1141208, 1142261, 1142432, 1143290, 1143369, 1143762, 1143836, 1143888, 1143893, 1144091, 1144266, 1145325, 1145642, 1146165, 1146380, 1146552, 1148214, 1148274, 1148673, 1148676, 1149107, 1149393, 1149672, 1149786, 1149908, 1150179, 1150619, 1150703, 1150829, 1151067, 1151285, 1151747, 1152327, 1152741, 1153385, 1153566, 1153793, 1154231, 1154477, 1154661, 1154813, 1154906, 1155830, 1156164, 1156926, 1157424, 1158518, 1158833, 1159085, 1159232, 1159932, 1160135, 1160163, 1160196, 1160699, 1160912, 1161351, 1161477, 1162541, 1162877, 1162940, 1163243, 1163936, 1163985, 1164003, 1164080, 1164531, 1165448, 1165770, 1166397, 1166556, 1166988, 1167035, 1167342, 1167497, 1167569, 1167735, 1168127, 1168892, 1169534, 1170180, 1170353, 1171391, 1172025, 1172384, 1173027, 1173141, 1173573, 1173624, 1173642, 1173671, 1173951, 1175316, 1175414, 1175736, 1176263, 1176480, 1176641, 1176662, 1176674, 1176905, 1177346, 1178073, 1178210, 1178808, 1179182, 1179236, 1180211, 1180715, 1181490, 1182014, 1182159, 1182303, 1182441, 1182785, 1182798, 1183464, 1183989, 1184142, 1184261, 1184736, 1184999, 1185036, 1186179, 1186274, 1186364, 1187409, 1187496, 1187888, 1187915, 1188093, 1189154, 1189365, 1189686, 1189989, 1190267, 1190561, 1190583, 1190660, 1190678, 1191360, 1191639, 1191701, 1192130, 1192335, 1192571, 1192886, 1193045, 1193147, 1193540, 1193768, 1193796, 1193910, 1194983, 1195544, 1196162, 1196171, 1196850, 1196948, 1197848, 1197926, 1198518, 1198565, 1198745, 1199115, 1199291, 1199526, 1199606, 1200221, 1201173, 1201337, 1201482, 1201806, 1202180, 1202415, 1202714, 1202972, 1203365, 1203414, 1203416, 1203822, 1204340, 1204623, 1205276, 1206587, 1207035, 1207116, 1208166, 1208391, 1209881, 1209917, 1210079, 1210311, 1210710, 1211361, 1212317, 1212549, 1213370, 1213452, 1213500, 1213694, 1213767, 1213847, 1213853, 1213953, 1214147, 1214502, 1215468, 1216317, 1216895, 1217120, 1217309, 1217469, 1217619, 1217906, 1218086, 1218299, 1218666, 1219136, 1219296, 1220010, 1220102, 1220550, 1220657, 1221312, 1222355, 1222460, 1223049, 1223390, 1224084, 1224456, 1224720, 1224864, 1225025, 1227284, 1227984, 1229594, 1229727, 1230420, 1230639, 1231014, 1231277, 1232318, 1232471, 1232711, 1232771, 1233222, 1233527, 1233677, 1233752, 1234389, 1234986, 1235313, 1236488, 1236603, 1237133, 1238108, 1238141, 1238208, 1238238, 1238645, 1238735, 1239128, 1239197, 1239302, 1239452, 1239723, 1239732, 1240061, 1242459, 1242534, 1243943, 1244007, 1245287, 1245680, 1245707, 1246961, 1247570, 1248167, 1248431, 1248432, 1248438, 1250088, 1250286, 1250534, 1250720, 1251441, 1251854, 1251966, 1252155, 1252185, 1252364, 1252490, 1253310, 1253366, 1253928, 1254276, 1254626, 1254758, 1255445, 1255518, 1256369, 1256516, 1256952, 1257468, 1257701, 1258086, 1258160, 1259435, 1259697, 1260050, 1260219, 1261761, 1261943, 1262024, 1262405, 1263068, 1263344, 1263494, 1263659, 1263887, 1264055, 1264733, 1264859, 1265364, 1265490, 1266114, 1266197, 1266318, 1266444, 1266479, 1266834, 1266882, 1267106, 1267212, 1267424, 1268859, 1269101, 1269216, 1269578, 1269734, 1270119, 1270334, 1270907, 1270908, 1271049, 1271715, 1272297, 1272396, 1272404, 1272776, 1272923, 1273976, 1274043, 1274094, 1274298, 1274612, 1275191, 1275572, 1275779, 1275893, 1276332, 1276647, 1276991, 1277292, 1277642, 1278297, 1278299, 1279391, 1279877, 1280211, 1281050, 1281212, 1281270, 1281369, 1281554, 1281842, 1282358, 1283237, 1283543, 1285017, 1285370, 1285502, 1285551, 1286028, 1286247, 1286279, 1286807, 1287311, 1287617, 1287840, 1288326, 1288386, 1288646, 1288757, 1289423, 1289436, 1290237, 1290804, 1290816, 1291217, 1292045, 1292229, 1292447, 1293282, 1293594, 1293624, 1293722, 1293938, 1294008, 1294175, 1294395, 1295094, 1295814, 1296605, 1297188, 1297286, 1298471, 1298949, 1302008, 1302156, 1303122, 1303184, 1303206, 1303580, 1303842, 1304508, 1304696, 1304795, 1304900, 1305126, 1306047, 1306097, 1306251, 1306496, 1306677, 1306887, 1307117, 1307357, 1307462, 1307783, 1308689, 1309800, 1310115, 1312595, 1312635, 1312656, 1313468, 1313601, 1313799, 1314408, 1315014, 1315176, 1315407, 1316058, 1316156, 1317206, 1317530, 1317947, 1318005, 1318776, 1318818, 1318949, 1319438, 1319564, 1319621, 1320041, 1320302, 1320348, 1320390, 1320566, 1321527, 1321538, 1322033, 1323323, 1323492, 1324073, 1325162, 1325267, 1325531, 1325559, 1325564, 1325934, 1326768, 1327551, 1328609, 1329351, 1329504, 1329813, 1329981, 1330092, 1330173, 1330961, 1332102, 1332191, 1332704, 1332963, 1334216, 1334481, 1334496, 1334631, 1334706, 1334859, 1334925, 1335665, 1335888, 1336419, 1336854, 1336934, 1337669, 1337904, 1338033, 1338114, 1338248, 1339083, 1339691, 1339794, 1340882, 1341027, 1341140, 1341158, 1341617, 1343252, 1343393, 1343514, 1343567, 1343736, 1343930, 1344254, 1344359, 1344779, 1344810, 1344921, 1344942, 1345047, 1345580, 1346045, 1346129, 1346559, 1347560, 1347600, 1348328, 1348706, 1349271, 1349280, 1350024, 1350066, 1350084, 1350101, 1350108, 1350911, 1351632, 1351940, 1352462, 1352712, 1353357, 1354278, 1354824, 1355585, 1356107, 1356113, 1356122, 1356324, 1356686, 1357883, 1358078, 1358601, 1359429, 1359650, 1360727, 1361222, 1361670, 1362363, 1362663, 1362782, 1362909, 1362971, 1363035, 1363224, 1363329, 1364102, 1364108, 1364313, 1364505, 1364652, 1365303, 1365674, 1366853, 1368210, 1368291, 1368746, 1369391, 1369398, 1369866, 1370097, 1370240, 1370418, 1371045, 1371323, 1371672, 1371729, 1371918, 1371995, 1372212, 1372224, 1372253, 1372431, 1373255, 1373264, 1374654, 1374935, 1376678, 1376811, 1377231, 1378451, 1378683, 1378763, 1379169, 1379492, 1379691, 1380642, 1380878, 1381263, 1381571, 1381920, 1381971, 1382690, 1382978, 1384058, 1385043, 1386740, 1386779, 1387290, 1387578, 1388465, 1388468, 1388577, 1389201, 1389488, 1390124, 1390566, 1390695, 1390697, 1391471, 1391846, 1391874, 1392462, 1392759, 1393022, 1393428, 1393872, 1394529, 1394598, 1395557, 1396319, 1396332, 1396983, 1397097, 1397358, 1397516, 1397537, 1397570, 1397720, 1397727, 1397988, 1398818, 1399269, 1399341, 1399721, 1399923, 1400099, 1400214, 1400351, 1400520, 1400778, 1401075, 1401306, 1401983, 1402064, 1402223, 1402284, 1402599, 1402811, 1402878, 1403271, 1404057, 1404173, 1404257, 1404491, 1404852, 1404902, 1404915, 1405023, 1405238, 1405266, 1405380, 1405776, 1406112, 1406225, 1406589, 1406651, 1407254, 1407372, 1407828, 1407858, 1408610, 1409648, 1410105, 1410347, 1410476, 1410623, 1411002, 1411085, 1411202, 1411524, 1411818, 1412091, 1412658, 1413126, 1413351, 1414436, 1414473, 1414662, 1414779, 1414884, 1415142, 1415373, 1415957, 1416048, 1416297, 1416897, 1416921, 1417868, 1417914, 1417949, 1418064, 1418103, 1418316, 1418411, 1418481, 1418631, 1418993, 1419020, 1419168, 1419476, 1419954, 1420301, 1420427, 1420736, 1420941, 1421423, 1421813, 1422177, 1423119, 1423185, 1423449, 1423913, 1424768, 1424886, 1425540, 1425720, 1426401, 1426928, 1427115, 1427133, 1427204, 1427864, 1428554, 1428758, 1429710, 1429950, 1430124, 1430937, 1431698, 1431831, 1433007, 1433532, 1433940, 1433975, 1434164, 1434357, 1434566, 1434687, 1434864, 1434995, 1435295, 1435305, 1435515, 1436807, 1437041, 1437228, 1437290, 1437438, 1437563, 1438248, 1438487, 1438616, 1438935, 1439894, 1440011, 1440143, 1441001, 1441148, 1441254, 1441476, 1441526, 1442291, 1442442, 1442555, 1442835, 1443080, 1443303, 1443633, 1443731, 1443800, 1444274, 1445030, 1445922, 1445939, 1446362, 1446923, 1447275, 1448295, 1448595, 1449158, 1449177, 1449627, 1450248, 1450514, 1450826, 1451088, 1451307, 1451612, 1451627, 1452413, 1453302, 1453496, 1453577, 1453803, 1454069, 1455017, 1456064, 1456932, 1457591, 1457660, 1457978, 1458314, 1458879, 1459131, 1459448, 1459847, 1459973, 1460013, 1460288, 1460328, 1460460, 1460559, 1462085, 1462133, 1463001, 1463795, 1463837, 1464164, 1464186, 1464734, 1464972, 1465572, 1465655, 1465704, 1465892, 1466826, 1467152, 1467603, 1468163, 1468259, 1468469, 1468499, 1468944, 1469409, 1470221, 1470228, 1470417, 1470641, 1470998, 1471490, 1472439, 1472703, 1473774, 1474166, 1474250, 1474320, 1474668, 1474928, 1475079, 1475594, 1475756, 1476071, 1476192, 1476225, 1476752, 1477214, 1477299, 1478027, 1478640, 1479347, 1479479, 1479486, 1479615, 1480170, 1481789, 1482405, 1482611, 1483238, 1483320, 1483449, 1484106, 1485801, 1486196, 1486907, 1487375, 1487726, 1488030, 1488458, 1489104, 1489338, 1489559, 1489569, 1490091, 1490619, 1490988, 1491564, 1492481, 1492500, 1492613, 1493178, 1493487, 1493534, 1493937, 1494032, 1495404, 1496672, 1497059, 1497813, 1498074, 1498611, 1498683, 1498989, 1499163, 1500213, 1500735, 1500885, 1501145, 1501355, 1501392, 1501571, 1502456, 1502757, 1502792, 1503734, 1503749, 1504089, 1504274, 1504332, 1504469, 1504581, 1504640, 1504694, 1504796, 1505237, 1505387, 1505582, 1505948, 1506002, 1506206, 1506432, 1506717, 1507157, 1507598, 1507746, 1507940, 1508202, 1508859, 1509372, 1509489, 1509545, 1509918, 1510298, 1510919, 1512515, 1513007, 1514111, 1514307, 1514846, 1515308, 1515467, 1515495, 1516437, 1516719, 1516824, 1516979, 1516986, 1517294, 1517634, 1517765, 1518423, 1518707, 1519065, 1519683, 1519827, 1520208, 1520555, 1520619, 1520891, 1521158, 1521486, 1522214, 1522676, 1522838, 1522854, 1522938, 1523460, 1523624, 1524399, 1524947, 1525007, 1525175, 1525442, 1525833, 1526100, 1526106, 1526765, 1527065, 1527066, 1527117, 1527173, 1527341, 1528158, 1528529, 1528584, 1528902, 1529781, 1529819, 1529862, 1530006, 1530015, 1530020, 1530131, 1530603, 1531037, 1531184, 1531896, 1532046, 1532066, 1532154, 1532190, 1532325, 1533354, 1533470, 1534275, 1534425, 1534514, 1535153, 1535543, 1535867, 1535967, 1536417, 1536572, 1536762, 1536893, 1537155, 1537316, 1538370, 1538777, 1539890, 1540407, 1540757, 1540821, 1540823, 1541283, 1541532, 1541933, 1542348, 1542528, 1542545, 1542654, 1542969, 1543158, 1543179, 1543403, 1543427, 1543634, 1543703, 1544208, 1544421, 1544999, 1545287, 1545609, 1545828, 1545867, 1545945, 1546715, 1547283, 1548135, 1548492, 1548681, 1549011, 1549508, 1549668, 1550384, 1550670, 1551729, 1552268, 1553066, 1553295, 1553976, 1554057, 1554447, 1555215, 1555493, 1555922, 1556412, 1556543, 1556619, 1557341, 1557620, 1558539, 1558712, 1558743, 1559622, 1559687, 1559790, 1560365, 1561562, 1561781, 1561998, 1562177, 1562339, 1562609, 1563104, 1563174, 1563573, 1564172, 1564665, 1565006, 1565040, 1565477, 1566140, 1566146, 1566338, 1567283, 1567542, 1567896, 1567976, 1569164, 1569717, 1569786, 1570097, 1570451, 1570560, 1571133, 1571613, 1571868, 1571870, 1572785, 1573685, 1573721, 1575380, 1575485, 1575536, 1575905, 1576584, 1576598, 1577703, 1578119, 1578228, 1578635, 1578680, 1579230, 1579761, 1580778, 1580847, 1581315, 1581332, 1581728, 1582043, 1582065, 1582169, 1582421, 1583348, 1584188, 1584249, 1584563, 1584839, 1585235, 1585616, 1585844, 1586018, 1587381, 1587602, 1587701, 1587986, 1588131, 1588266, 1588311, 1588332, 1588563, 1588689, 1589319, 1590240, 1590374, 1590444, 1591038, 1591314, 1591566, 1591577, 1591944, 1592109, 1592292, 1592697, 1592718, 1592961, 1593369, 1593806, 1594793, 1595820, 1595840, 1596897, 1597808, 1598510, 1598723, 1599293, 1599320, 1599378, 1599735, 1600152, 1600164, 1600742, 1601081, 1601331, 1601975, 1602021, 1603295, 1603674, 1603970, 1604096, 1604108, 1604751, 1604927, 1605069, 1605206, 1605276, 1605321, 1605566, 1606074, 1606104, 1606445, 1606487, 1606518, 1606676, 1606698, 1606700, 1607271, 1608006, 1608069, 1608093, 1608126, 1608270, 1608875, 1609598, 1609659, 1611432, 1611800, 1611912, 1612181, 1612766, 1612902, 1613004, 1613049, 1613264, 1613921, 1613978, 1614320, 1614570, 1614686, 1614740, 1616015, 1616277, 1617183, 1617389, 1618542, 1618635, 1618863, 1620165, 1621388, 1621629, 1622160, 1622174, 1622567, 1623948, 1624767, 1624781, 1625030, 1625684, 1626116, 1626626, 1627011, 1627412, 1627530, 1627674, 1628022, 1628267, 1628603, 1628853, 1628951, 1629216, 1629527, 1630304, 1631004, 1631100, 1631148, 1631487, 1631655, 1632206, 1632585, 1632654, 1632740, 1632744, 1632933, 1632962, 1635435, 1635804, 1635993, 1636079, 1636268, 1636844, 1637136, 1638221, 1638576, 1639058, 1639254, 1639451, 1639859, 1640018, 1641072, 1641165, 1641264, 1641327, 1641333, 1641387, 1641858, 1642832, 1643373, 1643394, 1643618, 1643763, 1644113, 1644371, 1644567, 1644689, 1644714, 1645002, 1646145, 1646247, 1646409, 1646931, 1647647, 1648557, 1648992, 1649216, 1650023, 1650254, 1651518, 1652697, 1652912, 1653576, 1655184, 1655252, 1655403, 1655714, 1655934, 1656101, 1656608, 1656944, 1658154, 1658255, 1658553, 1658625, 1659179, 1659305, 1659429, 1659863, 1659870, 1659900, 1660257, 1660262, 1660295, 1660688, 1660719, 1660929, 1661102, 1661475, 1662257, 1662644, 1662719, 1662831, 1663568, 1663734, 1663890, 1663950, 1663995, 1664322, 1664616, 1664693, 1665273, 1665449, 1666974, 1666977, 1667198, 1667780, 1668417, 1669655, 1670630, 1670810, 1670894, 1671035, 1671422, 1671840, 1671888, 1672239, 1673799, 1674443, 1674836, 1675074, 1675125, 1675139, 1675631, 1676040, 1676277, 1676774, 1676882, 1677440, 1677729, 1677812, 1677986, 1678706, 1681412, 1681563, 1682172, 1682321, 1682958, 1683950, 1685259, 1686029, 1686050, 1686231, 1686626, 1686987, 1687017, 1687071, 1687410, 1687722, 1688460, 1688549, 1688591, 1688817, 1689060, 1689158, 1689867, 1690931, 1691453, 1691519, 1692651, 1692744, 1693101, 1693253, 1693344, 1694562, 1694939, 1695086, 1695593, 1696160, 1696886, 1697063, 1697180, 1697237, 1697312, 1697865, 1698027, 1698236, 1698414, 1698677, 1699154, 1699212, 1700165, 1700876, 1700882, 1701813, 1702376, 1702514, 1703087, 1703321, 1703433, 1703696, 1704686, 1704833, 1705095, 1705223, 1705883, 1706247, 1708037, 1708074, 1708503, 1708820, 1709156, 1709643, 1709849, 1709892, 1710822, 1711130, 1711361, 1711907, 1711950, 1712901, 1713009, 1713219, 1713464, 1715051, 1715730, 1715814, 1715954, 1716230, 1716458, 1717095, 1717130, 1718124, 1718498, 1719680, 1720125, 1720497, 1720701, 1721168, 1721834, 1721883, 1721952, 1722125, 1722200, 1722494, 1722582, 1724465, 1724979, 1725621, 1725740, 1725924, 1726055, 1726581, 1726734, 1726971, 1727181, 1727814, 1727889, 1728024, 1728794, 1728875, 1729092, 1729757, 1731152, 1731200, 1731690, 1732145, 1732775, 1733216, 1733481, 1734321, 1734441, 1734821, 1734833, 1734909, 1734945, 1734983, 1735211, 1735220, 1735281, 1736274, 1738661, 1738785, 1738928, 1739286, 1739357, 1739621, 1739943, 1739973, 1740491, 1740708, 1740729, 1741764, 1741826, 1742393, 1742673, 1742792, 1743347, 1743458, 1744383, 1744530, 1744733, 1745109, 1745235, 1745615, 1745729, 1745802, 1745804, 1746084, 1746362, 1746473, 1746543, 1746728, 1748184, 1748189, 1748720, 1749476, 1749948, 1750421, 1750695, 1750851, 1750941, 1750989, 1752129, 1752287, 1752648, 1752815, 1754873, 1754978, 1755870, 1756052, 1756056, 1756580, 1756709, 1757451, 1757508, 1757921, 1758381, 1758383, 1759515, 1759689, 1759853, 1759902, 1760117, 1760271, 1760903, 1761032, 1761165, 1761216, 1761572, 1761951, 1762205, 1762209, 1762287, 1762335, 1762433, 1762473, 1764030, 1764438, 1764548, 1764576, 1765059, 1765278, 1765413, 1766153, 1766403, 1767074, 1767189, 1767329, 1767635, 1768127, 1768517, 1768761, 1769216, 1769630, 1769672, 1769849, 1770731, 1771331, 1771697, 1771830, 1772121, 1772226, 1772318, 1772747, 1773227, 1773711, 1775834, 1776219, 1776443, 1776699, 1776896, 1777127, 1777946, 1777953, 1778085, 1778457, 1779002, 1779233, 1779464, 1780221, 1781075, 1781103, 1781210, 1781684, 1782078, 1782543, 1783247, 1783769, 1784876, 1785141, 1785267, 1785842, 1786233, 1786446, 1786535, 1786682, 1786709, 1786992, 1787538, 1787669, 1787844, 1788147, 1788641, 1788879, 1788935, 1789592, 1789659, 1789719, 1790244, 1790772, 1791287, 1791323, 1791950, 1792338, 1792400, 1792410, 1792562, 1792998, 1793522, 1793649, 1794158, 1794192, 1794963, 1795088, 1795313, 1795329, 1795487, 1795878, 1795991, 1796853, 1797183, 1797392, 1798127, 1798724, 1799774, 1800072, 1800206, 1800723, 1802222, 1802334, 1802571, 1802714, 1802936, 1803476, 1804133, 1804377, 1804401, 1804478, 1804524, 1804665, 1804788, 1805043, 1805253, 1805318, 1805985, 1806096, 1806134, 1806533, 1806884, 1807206, 1807227, 1807277, 1807320, 1807799, 1807983, 1808049, 1809633, 1809714, 1810208, 1810209, 1810631, 1812042, 1812077, 1812309, 1812507, 1812528, 1812554, 1813041, 1814094, 1814114, 1814772, 1814789, 1815188, 1815293, 1816131, 1817663, 1817942, 1818392, 1819325, 1819458, 1819595, 1819695, 1819722, 1819911, 1820549, 1820639, 1820757, 1820813, 1821318, 1821444, 1822052, 1822473, 1823276, 1823781, 1823787, 1824356, 1824438, 1824594, 1824741, 1825355, 1825374, 1825562, 1825637, 1826373, 1827228, 1827513, 1827711, 1827842, 1827995, 1828212, 1828215, 1828289, 1828499, 1829160, 1829825, 1829972, 1830119, 1830123, 1830231, 1830333, 1830557, 1830675, 1830866, 1831239, 1831641, 1832196, 1832366, 1832427, 1832525, 1832814, 1833036, 1834083, 1834172, 1834823, 1834851, 1835201, 1835390, 1835493, 1835516, 1835814, 1836458, 1836620, 1837613, 1837658, 1838768, 1838813, 1839518, 1839602, 1840227, 1840533, 1840976, 1841204, 1841282, 1841900, 1842150, 1842758, 1843272, 1844088, 1844186, 1844445, 1844481, 1844516, 1844802, 1845188, 1845527, 1845660, 1846167, 1846266, 1846304, 1846833, 1846839, 1847084, 1847588, 1847729, 1847912, 1848260, 1848555, 1849046, 1849457, 1849488, 1850048, 1850073, 1850234, 1851029, 1851509, 1851686, 1851914, 1852034, 1852923, 1853196, 1853700, 1853954, 1854084, 1854407, 1854539, 1854828, 1855352, 1855646, 1855745, 1855914, 1856138, 1856975, 1857179, 1857710, 1858236, 1858889, 1859379, 1859610, 1859988, 1860035, 1860392, 1860461, 1861179, 1861512, 1861952, 1862100, 1862690, 1863212, 1864998, 1865568, 1865753, 1865834, 1866797, 1866911, 1867869, 1868183, 1868792, 1869375, 1869762, 1870941, 1871325, 1872215, 1872249, 1872963, 1873286, 1873629, 1874216, 1875003, 1875119, 1875162, 1875210, 1875680, 1875689, 1876050, 1876662, 1877334, 1878650, 1880370, 1881023, 1881182, 1881315, 1882035, 1882049, 1882071, 1882202, 1882274, 1882469, 1884444, 1884465, 1884996, 1886480, 1886592, 1886780, 1886949, 1887428, 1888301, 1888721, 1888748, 1888793, 1889259, 1889700, 1890221, 1890480, 1890942, 1891187, 1891508, 1892088, 1892808, 1893138, 1893908, 1894392, 1894457, 1894652, 1894838, 1895261, 1895282, 1895831, 1895952, 1896147, 1897058, 1897485, 1898037, 1898187, 1898351, 1899984, 1900007, 1900115, 1900166, 1900277, 1900809, 1901384, 1901726, 1901937, 1902252, 1902392, 1903223, 1903773, 1903953, 1904739, 1904984, 1905317, 1905341, 1905401, 1905429, 1906584, 1906650, 1906811, 1906968, 1907361, 1907387, 1909455, 1909506, 1909541, 1910126, 1910133, 1910451, 1910505, 1910913, 1911422, 1912044, 1912374, 1912992, 1913139, 1913346, 1913387, 1913627, 1914368, 1914467, 1914828, 1914959, 1915139, 1915148, 1915692, 1915712, 1916721, 1916828, 1917231, 1917444, 1917497, 1917839, 1918359, 1918967, 1919118, 1919576, 1919859, 1920179, 1920525, 1920675, 1920962, 1921362, 1921571, 1921727, 1922253, 1922519, 1922595, 1922769, 1923212, 1923996, 1924350, 1924913, 1925001, 1925235, 1925478, 1926356, 1926413, 1928256, 1928348, 1928432, 1928714, 1929377, 1929818, 1929860, 1929915, 1931070, 1931414, 1931945, 1932384, 1932758, 1933352, 1933397, 1933413, 1933523, 1933661, 1935690, 1936047, 1936698, 1937247, 1937450, 1937559, 1937688, 1937835, 1939323, 1939578, 1939925, 1940234, 1940408, 1940535, 1940895, 1941438, 1941956, 1942301, 1943253, 1943384, 1943547, 1943790, 1943910, 1944170, 1944296, 1944441, 1944693, 1945623, 1945937, 1948437, 1948626, 1948899, 1950272, 1950579, 1950953, 1951020, 1951506, 1951637, 1953009, 1953030, 1953209, 1953473, 1953758, 1954257, 1954586, 1955046, 1955090, 1956152, 1956707, 1956903, 1957158, 1957727, 1957776, 1957796, 1958058, 1958189, 1958357, 1958457, 1958553, 1958951, 1958987, 1959876, 1960277, 1960317, 1960938, 1960946, 1961051, 1961147, 1961318, 1961469, 1961969, 1962647, 1963298, 1963515, 1964477, 1964537, 1964960, 1965384, 1965651, 1965861, 1966169, 1966539, 1966820, 1966995, 1967057, 1967255, 1967276, 1967571, 1967750, 1967960, 1968227, 1968698, 1969551, 1969584, 1970763, 1971041, 1971447, 1971942, 1971944, 1972349, 1972370, 1972371, 1973120, 1973336, 1975142, 1975175, 1975283, 1975499, 1975779, 1975887, 1976034, 1976118, 1976466, 1976921, 1977315, 1978361, 1978623, 1978734, 1979154, 1979520, 1979723, 1979790, 1980192, 1980378, 1980588, 1980708, 1981065, 1981344, 1982066, 1982325, 1982990, 1983027, 1983437, 1983732, 1984053, 1986092, 1987652, 1988141, 1988270, 1988295, 1988351, 1988627, 1988655, 1988975, 1989054, 1989458, 1989860, 1989905, 1990748, 1991135, 1991186, 1991949, 1992509, 1993035, 1994294, 1994694, 1995030, 1995558, 1995786, 1996079, 1996499, 1996901, 1997361, 1997882, 1998221, 1998564, 1998789, 1999181, 2000111, 2000412, 2000549, 2000553, 2001417, 2002328, 2002487, 2002598, 2003213, 2003556, 2004003, 2004692, 2004734, 2004963, 2005112, 2005887, 2005986, 2006097, 2006159, 2006492, 2006526, 2006636, 2006657, 2006904, 2007252, 2007314, 2007462, 2008136, 2008659, 2010255, 2010458, 2011062, 2011310, 2011403, 2011881, 2012030, 2012060, 2012187, 2012294, 2012648, 2013321, 2013650, 2014013, 2014257, 2014448, 2014587, 2014842, 2014910, 2014940, 2015043, 2015477, 2016114, 2016210, 2017103, 2017332, 2017530, 2017623, 2019117, 2019252, 2020302, 2020407, 2021198, 2021324, 2021567, 2021996, 2022029, 2022255, 2022260, 2022402, 2022794, 2022890, 2023421, 2023949, 2024016, 2024247, 2025335, 2026152, 2026655, 2026812, 2027439, 2027463, 2028086, 2028398, 2028882, 2029007, 2029626, 2029703, 2030108, 2030351, 2030555, 2030856, 2030897, 2031023, 2031467, 2032427, 2032464, 2034026, 2034693, 2034953, 2034971, 2035833, 2035874, 2036787, 2036885, 2036918, 2037233, 2037381, 2037407, 2037435, 2037444, 2037462, 2037968, 2038436, 2038488, 2038964, 2039184, 2039283, 2039933, 2040240, 2040606, 2040782, 2040789, 2041139, 2041323, 2041470, 2041736, 2041785, 2042118, 2042553, 2042573, 2042739, 2043491, 2043794, 2044344, 2044443, 2044904, 2045594, 2045789, 2045828, 2046221, 2047214, 2047277, 2047791, 2047922, 2048124, 2048132, 2048579, 2049611, 2049776, 2052495, 2052509, 2052887, 2052999, 2053031, 2053088, 2053725, 2053899, 2054556, 2055258, 2055671, 2057661, 2058575, 2058674, 2058830, 2058995, 2059668, 2059863, 2060255, 2060745, 2061096, 2061546, 2061711, 2062041, 2062229, 2062260, 2062838, 2062866, 2062932, 2062974, 2063180, 2064428, 2064545, 2064561, 2064792, 2065121, 2065260, 2065493, 2065869, 2066304, 2067092, 2067111, 2067717, 2067881, 2068148, 2068157, 2068179, 2068229, 2068907, 2069400, 2069406, 2069673, 2069706, 2070105, 2070363, 2071715, 2072396, 2072550, 2072564, 2073410, 2073857, 2073905, 2074172, 2074367, 2074811, 2074980, 2075039, 2076902, 2077412, 2077959, 2078297, 2078316, 2079393, 2080101, 2080415, 2080674, 2080691, 2080695, 2080752, 2080878, 2081067, 2081171, 2081256, 2081552, 2081748, 2081961, 2081997, 2082371, 2082639, 2083484, 2083733, 2083901, 2084000, 2084294, 2084895, 2085152, 2085257, 2085407, 2085465, 2085647, 2085798, 2087136, 2087640, 2088666, 2088888, 2089707, 2090628, 2090687, 2090888, 2091042, 2091299, 2092106, 2092605, 2093250, 2093436, 2093772, 2094822, 2095052, 2096040, 2096049, 2096523, 2096532, 2096777, 2096924, 2097317, 2098490, 2098637, 2099276, 2099798, 2099904, 2099939, 2100044, 2100324, 2102024, 2102055, 2102864, 2103795, 2103978, 2105447, 2105751, 2105955, 2106479, 2106668, 2106738, 2107658, 2107788, 2109431, 2109552, 2109600, 2109885, 2110257, 2110469, 2111019, 2111034, 2111195, 2111664, 2111754, 2111768, 2111901, 2112279, 2113511, 2113596, 2114039, 2114858, 2115810, 2116748, 2117294, 2118449, 2118531, 2119263, 2119461, 2119979, 2120085, 2120784, 2120895, 2121893, 2122068, 2122199, 2122698, 2122803, 2123466, 2124428, 2124809, 2125029, 2125176, 2126723, 2127122, 2127357, 2127393, 2127570, 2127854, 2127995, 2128571, 2128575, 2130242, 2130419, 2131151, 2131502, 2133146, 2133363, 2133596, 2133968, 2134122, 2134616, 2134797, 2135214, 2135816, 2136738, 2136759, 2136885, 2136986, 2137631, 2138033, 2138103, 2138148, 2138538, 2138915, 2139461, 2140161, 2140359, 2140944, 2141196, 2141316, 2141589, 2143313, 2144550, 2144565, 2145599, 2145839, 2145861, 2146505, 2146713, 2147091, 2147135, 2147222, 2147336, 2147619, 2147742, 2148204, 2149053, 2149436, 2149667, 2149911, 2151150, 2151227, 2151444, 2151858, 2152929, 2153246, 2153363, 2153636, 2153688, 2153997, 2154174, 2154240, 2154609, 2154956, 2155428, 2156226, 2156235, 2156261, 2156654, 2156702, 2156862, 2156981, 2157105, 2157885, 2158748, 2158872, 2158962, 2159397, 2159433, 2159886, 2161202, 2161205, 2161490, 2162025, 2164352, 2164373, 2164394, 2164871, 2165531, 2166348, 2167127, 2167206, 2167488, 2167806, 2168475, 2168952, 2169378, 2169438, 2169752, 2169773, 2169777, 2170413, 2170655, 2170688, 2170844, 2171177, 2171850, 2171979, 2172116, 2172944, 2173994, 2174691, 2175155, 2175275, 2176388, 2178075, 2178737, 2178803, 2179802, 2179905, 2180201, 2180363, 2180648, 2180924, 2181029, 2181149, 2181314, 2181432, 2181540, 2182091, 2182161, 2182328, 2183234, 2184099, 2184527, 2184557, 2184869, 2185698, 2185824, 2186405, 2186522, 2186853, 2186913, 2186963, 2187014, 2187306, 2187516, 2187830, 2188209, 2188260, 2189055, 2189108, 2189679, 2190435, 2190714, 2191010, 2191236, 2191760, 2192417, 2193101, 2193203, 2193503, 2193794, 2194613, 2194671, 2194866, 2195295, 2197595, 2197703, 2198060, 2198177, 2198228, 2198520, 2198837, 2199227, 2200013, 2200664, 2200923, 2200970, 2200995, 2201511, 2202764, 2202797, 2203161, 2203496, 2203550, 2203646, 2203800, 2203805, 2204033, 2204316, 2204598, 2204750, 2204778, 2204787, 2205779, 2206730, 2206814, 2206935, 2207480, 2207643, 2208000, 2208053, 2208098, 2208872, 2209020, 2210177, 2210363, 2211162, 2211399, 2211917, 2211927, 2212371, 2212407, 2212410, 2212820, 2213271, 2213292, 2213295, 2214300, 2214570, 2214818, 2215019, 2215173, 2215602, 2215724, 2215733, 2215950, 2216537, 2217345, 2217362, 2217890, 2218343, 2218584, 2219285, 2219589, 2219673, 2219925, 2220194, 2220402, 2220597, 2221107, 2221332, 2221761, 2221937, 2222081, 2223195, 2223545, 2223972, 2223986, 2224245, 2224406, 2224464, 2225000, 2225304, 2225336, 2225574, 2225673, 2225820, 2226213, 2226477, 2226513, 2226911, 2227263, 2228178, 2228186, 2228573, 2229059, 2229455, 2229515, 2229600, 2229705, 2229840, 2229971, 2230538, 2230562, 2230797, 2231310, 2231324, 2232098, 2232234, 2232311, 2232759, 2234145, 2234985, 2235104, 2235788, 2236446, 2236656, 2236824, 2237090, 2237709, 2238140, 2238789, 2238888, 2239094, 2239161, 2240121, 2240184, 2240211, 2240232, 2240390, 2240562, 2240736, 2240928, 2241149, 2241264, 2241278, 2241698, 2241864, 2241878, 2242080, 2242262, 2242298, 2243726, 2243774, 2244047, 2244566, 2244747, 2245448, 2245734, 2246183, 2246457, 2246484, 2246780, 2246913, 2247774, 2248223, 2248346, 2248359, 2248908, 2249262, 2249402, 2249949, 2250672, 2251412, 2251725, 2251758, 2252055, 2252849, 2253332, 2254169, 2254884, 2254904, 2255559, 2256867, 2257418, 2257490, 2257907, 2257952, 2258765, 2259156, 2259251, 2259618, 2259833, 2259987, 2260013, 2260211, 2260304, 2260322, 2260413, 2260778, 2260889, 2261609, 2261834, 2261996, 2262296, 2262500, 2262534, 2263026, 2263550, 2263893, 2264117, 2264249, 2264732, 2264882, 2264957, 2265257, 2265803, 2266643, 2266644, 2267057, 2267087, 2267400, 2267609, 2267868, 2267904, 2267924, 2268732, 2268968, 2269293, 2269445, 2269632, 2269782, 2271210, 2271410, 2271801, 2271998, 2272442, 2272587, 2272601, 2272848, 2273111, 2273324, 2273766, 2274078, 2275209, 2275232, 2275715, 2276922, 2277081, 2277531, 2278182, 2278277, 2278502, 2278670, 2278991, 2278998, 2279663, 2280035, 2280447, 2280455, 2281497, 2281757, 2282333, 2282904, 2283066, 2283282, 2283404, 2283462, 2283506, 2283513, 2283807, 2283968, 2283986, 2284412, 2284451, 2284965, 2285294, 2285438, 2285630, 2285655, 2286183, 2287392, 2287566, 2287914, 2288295, 2288301, 2288700, 2289981, 2290436, 2290502, 2290761, 2291160, 2291948, 2293020, 2293355, 2293868, 2294756, 2294931, 2295008, 2295189, 2295393, 2295969, 2296046, 2296344, 2297054, 2297912, 2298003, 2299110, 2300333, 2301014, 2301462, 2301779, 2301972, 2303016, 2303241, 2304717, 2305124, 2305440, 2305830, 2306256, 2306319, 2306789, 2306802, 2307204, 2307425, 2307566, 2308352, 2308454, 2308934, 2309136, 2309664, 2309868, 2309883, 2309897, 2310828, 2310918, 2312129, 2313501, 2313678, 2313854, 2314118, 2314470, 2315322, 2315327, 2315366, 2315688, 2315763, 2315924, 2315933, 2315987, 2316339, 2316896, 2317463, 2317979, 2318843, 2319258, 2319353, 2319524, 2319936, 2320271, 2320341, 2320404, 2320917, 2320991, 2320994, 2321976, 2322728, 2322804, 2322906, 2322945, 2323806, 2323920, 2324072, 2324463, 2324513, 2325249, 2325338, 2325429, 2325642, 2325845, 2325906, 2326599, 2326715, 2326985, 2327504, 2327550, 2327726, 2327889, 2327922, 2328029, 2328176, 2328560, 2328657, 2329259, 2329286, 2329308, 2329310, 2329350, 2329482, 2329958, 2329965, 2329967, 2330861, 2331116, 2331449, 2331653, 2332031, 2332157, 2333486, 2333552, 2333648, 2334704, 2335085, 2335727, 2336315, 2336429, 2336450, 2336574, 2336777, 2336930, 2337134, 2337311, 2337747, 2338263, 2338898, 2339528, 2340185, 2341343, 2341466, 2341593, 2341662, 2341823, 2341887, 2341922, 2342454, 2342475, 2342664, 2342853, 2342967, 2343093, 2343419, 2343581, 2344185, 2344554, 2344703, 2344901, 2345193, 2345423, 2345556, 2345646, 2345687, 2345897, 2348264, 2348663, 2348922, 2349183, 2349615, 2350401, 2350406, 2350665, 2350734, 2351318, 2351876, 2353185, 2353283, 2353695, 2353745, 2353949, 2353971, 2354139, 2354202, 2354237, 2354487, 2355138, 2355335, 2355336, 2355417, 2356191, 2356883, 2357252, 2357328, 2357450, 2357468, 2358080, 2358392, 2359163, 2359704, 2360213, 2360780, 2360945, 2361027, 2361426, 2361584, 2361800, 2362329, 2362350, 2362385, 2362628, 2362655, 2362662, 2362670, 2362977, 2363162, 2363600, 2363967, 2365967, 2366204, 2366736, 2366970, 2367819, 2368139, 2368158, 2368370, 2368487, 2369222, 2369552, 2369852, 2369921, 2369922, 2370278, 2370951, 2371233, 2371616, 2371692, 2372064, 2372199, 2372346, 2372436, 2372501, 2373011, 2374080, 2374950, 2375139, 2375748, 2376116, 2376714, 2377103, 2377610, 2378693, 2378961, 2379147, 2379224, 2379435, 2379477, 2379533, 2380646, 2381097, 2381226, 2381229, 2381373, 2382060, 2382293, 2382977, 2383305, 2383826, 2384111, 2384462, 2385252, 2385419, 2385507, 2385513, 2385765, 2386532, 2386994, 2387253, 2387345, 2387366, 2387792, 2387975, 2388005, 2388425, 2388429, 2389179, 2391005, 2391090, 2391159, 2391173, 2391804, 2392604, 2393175, 2393442, 2393631, 2393633, 2394144, 2394941, 2395137, 2395154, 2396648, 2397170, 2397432, 2397915, 2398064, 2398265, 2398538, 2398680, 2398742, 2398757, 2398905, 2399048, 2399072, 2399835, 2399840, 2399931, 2400176, 2400443, 2400735, 2400861, 2401193, 2401358, 2401373, 2401622, 2402279, 2402324, 2402535, 2402588, 2402765, 2402768, 2403248, 2403384, 2403855, 2403962, 2404175, 2405103, 2405253, 2405814, 2406072, 2406506, 2407064, 2407629, 2407724, 2407854, 2408004, 2408634, 2408730, 2409066, 2410115, 2410268, 2410661, 2410809, 2412545, 2412932, 2413676, 2413992, 2414162, 2414567, 2415246, 2415554, 2417102, 2417475, 2417823, 2417937, 2418542, 2418725, 2419176, 2419307, 2419440, 2419503, 2419638, 2420094, 2420355, 2420489, 2420664, 2421405, 2421497, 2422428, 2422893, 2423040, 2423193, 2424230, 2424312, 2424381, 2424759, 2424830, 2425031, 2425110, 2425298, 2425466, 2425494, 2425595, 2425670, 2425775, 2426381, 2427518, 2428215, 2428346, 2428925, 2429279, 2430311, 2430453, 2430668, 2430674, 2430738, 2430990, 2431883, 2432816, 2433099, 2433324, 2434392, 2434796, 2434826, 2435003, 2435889, 2436008, 2436107, 2436599, 2436921, 2437268, 2437374, 2437397, 2437821, 2438214, 2438465, 2438808, 2438916, 2439320, 2439614, 2439788, 2440076, 2440113, 2440376, 2441121, 2441156, 2441651, 2442071, 2442234, 2442596, 2442603, 2442708, 2442969, 2443043, 2443235, 2443457, 2443631