mersenneforum.org

mersenneforum.org (https://www.mersenneforum.org/index.php)
-   Dobri (https://www.mersenneforum.org/forumdisplay.php?f=176)
-   -   Exponents of Known Mersenne Primes (Numerical Observations) (https://www.mersenneforum.org/showthread.php?t=28129)

Batalov 2022-10-21 20:46

1 Attachment(s)
Learn to use "Attachments" button (see below).
Your posts with endless rows of meaningless numbers make readers' eyes bleed.

kriesel 2022-10-21 22:41

[QUOTE=Batalov;616224]Learn to use "Attachments" button[/QUOTE]He's already demonstrated he knows how to use attachments: [URL]https://mersenneforum.org/showpost.php?p=616066&postcount=36[/URL]
[URL]https://mersenneforum.org/showpost.php?p=616041&postcount=25[/URL]
He's choosing not to. Why, we can not say with certainty.
Plain text is among the many supported attachment types: "Valid file extensions: 7z bz2 c cpp csv doc exe gif gz ini jpg log lz md5 npg odp ods odt pdf png ppt svg tgz [COLOR=Red][B]txt[/B][/COLOR] wav webp xls xz zip"
I think that type allows up to 1MB per attachment. Zip allows 4MB IIRC.

Dobri 2022-10-21 23:22

[QUOTE=Batalov;616224]Learn to use "Attachments" button (see below).
Your posts with endless rows of meaningless numbers make readers' eyes bleed.[/QUOTE]
Noted, the reason to use code segments is to provide an option for fast scrolling in finding unfactored/untested LCS-generated prime exponents for a particular range.

Only two more remaining data pieces of this kind are to be posted, for 26-bit (to list the LCS-generated prime exponents at the double-check (DC) wavefront and also show that all 26-bit prime exponents of Mersenne primes are among the LCS-generated prime exponents) and 29-bit LCS-generated prime exponents.

Then the post content will resume its normal flow.

Dobri 2022-10-22 00:42

1 Attachment(s)
While waiting for the remaining data on unfactored/untested LCS-generated prime exponents to be collected online,
let me post a histogram of the number of known Mersenne primes according to the base-2 length of their prime exponents from 2 bits to 27 bits.

The Wolfram code used to plot the histogram is shown below.
[code]
SetDirectory[NotebookDirectory[]];
fname = NotebookDirectory[] <> "MpHistogram.jpg";
MpData = {2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281, 3217, 4253, 4423, 9689, 9941, 11213, 19937, 21701, 23209, 44497, 86243, 110503, 132049, 216091, 756839, 859433, 1257787, 1398269, 2976221, 3021377, 6972593, 13466917, 20996011, 24036583, 25964951, 30402457, 32582657, 37156667, 42643801, 43112609, 57885161, 74207281, 77232917, 82589933};
nMp = Length[MpData]; Mpl = ConstantArray[0, nMp]; base = 2;
ic = 0; While[ic < nMp, ic++; Mpl[[ic]] = Length[IntegerDigits[MpData[[ic]], base]];];
Show[Histogram[Mpl, Mpl[[nMp]]]]
Export[fname, Show[Histogram[Mpl, Mpl[[nMp]]]]]
[/code]

Dobri 2022-10-23 07:34

Out of [B][COLOR="Red"]12624[/COLOR][/B] [B][COLOR="Blue"]29[/COLOR][/B]-bit LCS-generated prime exponents, the Mersenne numbers of 7561 prime exponents are factored and the Mersenne numbers of 5063 prime exponents currently remain unfactored.

Said unfactored 29-bit prime exponents are listed below.
[code]
268638569
268638647
268660963
268849379
268919069
268919207
268919423
268954601
269097749
269183977
269220629
269241883
269247773
269347049
269403307
269403487
269478889
269515273
269515319
269515327
269515349
269515391
269523733
269542181
269542319
269564327
269577193
269585543
269585597
269594851
269603603
269640473
269673241
269687573
269708053
269725867
269726161
269736169
269776511
269840611
269888221
269943577
269957353
269961449
269967881
269970409
269984537
270004381
270037219
270037459
270037483
270037489
270049919
270066457
270068027
270107417
270109397
270131993
270155933
270178697
270183283
270203501
270203669
270210209
270210389
270210517
270227071
270238489
270322453
270342377
270350569
270361369
270368057
270371239
270371333
270371351
270391529
270428317
270451789
270452033
270461929
270504163
272624617
272754793
272755111
272862847
273411049
274084067
274242737
274789601
274789607
274843421
274965553
274966229
275034427
275246057
275344361
275350297
275377129
275507563
275507651
275533397
275533507
275533837
275533939
275694943
275769577
275833603
275833661
275833751
275861731
275894833
275894929
275895041
275895077
276165767
276165787
276165821
276165859
276179027
276179051
276179627
276179647
276179741
276179921
276258973
276398873
276494917
276494957
276623587
276663017
277074803
279964649
280652777
282632681
282767587
283241449
283312957
283315267
283315273
283315579
283315609
283315933
283315987
283315997
283316963
283317043
283317169
283318423
283319191
283319209
283319453
283319611
283321993
283324297
283324361
283324369
283324453
283324777
283324823
283325059
283325123
283325221
283325311
283325501
283325593
283325633
283325639
283325677
283326013
283326047
283326059
283326179
283327103
283327153
283327339
283327897
283327939
283329821
283331423
283331729
283332191
283332241
283332317
283332713
283332773
283332781
283332799
283332821
283333069
283333891
283334039
283334057
283334063
283334771
283334837
283334911
283335079
283336631
283336661
283336673
283336877
283336901
283337143
283337267
283337323
283337387
283337393
283337399
283337407
283337413
283337423
283337473
283337501
283337609
283337777
283339123
283339213
283339687
283339733
283340573
283340621
283340641
283340647
283340753
283341287
283341683
283341931
283342057
283342361
283343591
283343617
283343773
283344749
283344767
283344793
283344823
283344923
283345063
283345067
283345099
283345121
283345847
283347307
283347391
283347401
283347461
283347637
283348283
283348369
283348831
283348903
283349609
283349687
283349779
283350719
283350787
283351163
283351261
283351403
283351589
283351603
283351637
283351829
283352357
283352603
283352653
283352767
283353041
283353079
283353107
283353157
283353163
283353233
283353293
283353319
283353991
283354009
283354171
283354207
283354217
283354243
283354427
283354637
283355047
283355477
283355539
283355563
283355573
283355617
283355843
283356019
283356137
283356553
283356571
283356587
283356637
283356641
283357097
283357099
283357111
283357183
283357187
283357441
283357567
283357651
283357801
283358473
283358659
283359067
283359317
283359403
283359413
283359547
283360417
283361887
283362223
283362253
283362449
283362487
283364467
283364527
283364677
283364777
283364941
283365139
283365157
283365659
283365763
283365787
283365799
283365917
283365949
283366043
283366079
283366157
283366309
283366333
283366351
283366771
283367069
283367401
283367473
283367533
283367681
283368031
283368287
283368307
283368707
283368859
283369937
283370179
283370299
283371199
283371371
283371469
283371667
283371701
283371703
283371953
283371989
283372009
283372591
283372657
283372667
283372753
283372777
283374629
283374781
283374827
283375843
283375901
283377257
283896091
283922641
284093417
284388329
287148821
287372347
287372383
287372441
287531801
287617073
287728409
288116393
288116429
288264419
288351001
288365333
288389707
288389741
288416669
288416683
288438889
288439069
288439273
288459979
288460001
288465689
288469219
288477773
288477853
288516253
288592099
288600209
288600241
288665827
288681599
288699251
288746473
288761623
288761663
288791837
288856349
288884969
288908057
288942397
289009891
289014553
289034467
289052767
289057651
289081577
289084721
289084823
289084853
289084877
289086229
289101223
289129241
289132771
289153817
289200361
289224937
289245833
289247459
289255651
289262641
289326307
289326343
289326397
289326431
289360661
289422643
289432357
289432457
289447373
289457741
289469443
289469491
289483849
289483879
289483889
289486247
289527859
289527893
289528039
289528597
289531999
289532197
289555879
289568029
289589107
289608611
289608619
289609961
289610107
289623749
289634353
289644701
289648937
289648967
289648993
289648999
289649033
289659113
289670869
289689791
289689857
289696817
289699013
289699019
289699037
289699049
289699541
289699699
289714637
289719589
289719757
289719761
289720553
289734253
289741873
289743133
289747229
289754249
289754263
289754323
289756417
289770157
289770161
289770193
289778407
289778569
289781917
289790441
289813481
289827817
289852181
289859303
289883861
289991657
290022259
290213461
290213491
290213597
290221033
290286569
290304227
290513683
290513837
290537629
290575039
290575133
290677529
290795569
290849561
290859629
290876393
291174979
291181613
291181673
291181883
291181991
291182029
291226393
291314453
291342907
291342943
291343057
292283161
292284779
292284827
292311091
292770019
292943039
292956163
293217049
293235689
293278829
293279143
293726317
293727209
293804821
294007757
294216103
294236387
294546409
295537523
295814801
295814887
295858403
295988201
296397589
296723879
296762647
296762671
296772557
296774633
296787229
296787307
296797607
296797763
296797783
296823907
296829811
296867947
296868071
296893099
296893393
296908393
296912597
296948621
296949469
296963869
296980181
296980339
296983837
296988721
296988749
296988767
296988863
296988869
296995949
297015529
297021667
297023707
297028657
297029741
297029947
297038983
297039047
297059489
297062627
297069853
297074321
297087709
297096383
297096389
297102313
297110029
297130181
297134869
297137327
297137329
297137389
297147101
297150079
297150323
297150517
297150569
297158941
297158971
297177137
297189023
297190477
297190693
297190711
297224507
297224981
297230933
297231013
297231029
297231061
297239321
297246877
297920743
298117909
298201951
298445801
298840291
298924757
298945687
298957033
298976959
298977229
298978013
298982353
298983283
298985629
298987957
298989161
298989287
298989331
298989407
298994389
298994491
298995049
298995119
298997779
298997891
298999423
298999721
299000123
299000881
299001539
299001671
299001737
299002051
299002289
299003149
299005351
299005459
299005501
299005667
299006237
299006887
299011751
299012293
299012353
299012447
299012521
299015581
299015623
299015641
299015659
299016461
299016533
299017501
299019221
299019233
299023981
299024129
299024353
299024461
299024581
299025673
299025889
299026291
299029189
299029249
299029447
299029453
299030761
299032297
299033429
299034397
299035721
299035727
299035799
299035829
299035853
299035963
299037469
299037503
299037533
299038429
299038669
299040407
299040433
299040583
299041109
299041151
299042449
299045837
299045863
299045891
299046079
299046353
299046613
299047729
299048221
299048251
299053201
299053387
299053397
299053961
299054029
299054669
299055787
299055847
299055943
299056081
299057203
299057267
299057327
299057333
299059157
299059361
299059381
299060231
299060303
299060539
299061887
299062021
299062069
299062541
299063069
299063903
299064977
299065147
299065211
299065243
299066041
299066087
299068069
299068327
299069081
299069611
299069791
299071081
299074609
299075149
299075209
299075267
299075299
299075303
299075537
299076893
299077789
299080211
299082943
299083217
299083657
299084483
299086121
299086127
299086141
299086187
299088029
299088331
299088541
299088661
299090783
299090993
299093149
299093429
299093701
299094331
299094689
299096173
299096179
299098427
299100391
299100419
299100523
299100539
299106013
299164441
299249891
299327803
299328209
299328221
299356903
299356999
299397529
299397551
299408579
299408611
299408807
299428133
299475101
299544803
299570353
299570461
299570563
299570569
299570603
299571989
299598617
299610427
299647769
299705113
299731651
299731667
299748401
299811917
299812151
299812157
299812193
299864291
300009137
300059413
300296981
300673283
300673463
300699799
300701311
301331609
301331669
301345001
301345493
301525993
301667437
305240297
306213091
306246659
306246761
306387203
306387377
306409699
306491677
306637801
306703337
306932713
306990707
306990797
307152103
307152337
307288297
307291037
307291051
307334297
307334299
307334369
307334399
307352159
307386473
307386539
307386601
307390621
307474537
307497193
307554461
307573051
307624169
307636057
307637021
307637051
307716817
307755241
307786159
307796201
307797187
307797319
307798331
307816723
307831577
307869929
307878677
307887389
307906793
307919081
307952201
307957987
307959191
307975453
308105443
308119837
308120083
308120221
308120341
308130019
308175641
308200643
308200757
308603881
308685589
308961437
309390313
309407971
309720251
309733399
309733423
309733481
309733691
314567657
314698193
314805563
314805973
314895337
314979167
315355363
315452393
315845609
315863267
315935509
316140521
316173289
316337129
316565737
316732553
316732573
316732597
316763113
316873091
316873097
316908313
316909277
316977503
317153329
317450729
317476483
317476883
317476969
317477033
317582101
317637709
317637917
317776873
317798633
317837969
317838217
317872361
317933801
317982953
318016277
318087961
318108877
318153497
318382873
318437989
318438007
318444649
318605597
318606037
318829663
318867613
319074409
319074461
319074499
319074589
319173377
319193881
319573609
319735177
319840817
319841257
319855847
319855873
319855909
319855999
319856029
319866457
319873877
319874017
319892563
319897757
319916189
319935233
319936619
319936667
319949033
319961893
319962023
319964893
319974377
319975651
319977037
319977253
319981183
320000227
320018141
320032417
320032513
320032717
320048767
320052539
320057707
320058227
320064607
320064673
320076199
320098013
320098399
320098409
320098481
320105633
320107661
320107729
320125717
320128177
320131387
320143123
320150293
320150843
320161949
320162867
320163029
320165353
320175743
320178829
320178841
320178893
320178931
320187137
320191153
320198833
320218427
320219843
320235943
320236159
320236403
320249471
320257687
320259217
320259341
320259431
320267033
320286877
320288477
320289001
320299643
320299687
320299699
320299711
320299729
320299753
320326421
320336099
320379113
320380061
320380327
320449301
320537369
320541713
320541733
320541773
320541853
320541887
320703037
320703127
320926733
320926757
320926897
320980711
320980969
321067291
321067379
321067469
321269987
321392867
321450211
321460457
321509609
321670693
321832193
321832397
321971101
321993127
322105571
322310371
322316927
322316977
322333673
322587413
322632259
322632301
322639313
322749209
322771733
322800223
322800299
322800323
322992643
322992679
322992701
322992739
322992767
323023933
323024027
323042023
323072227
323086759
323115103
323115229
323162339
323164477
323167001
323203561
323268901
323269069
323273497
323324137
323364677
323364697
323364707
323367601
323367739
323394983
323444893
323459387
323484437
323513321
323514761
323514799
323541277
323545517
323560217
323576447
323612899
323644393
323727409
323767867
323767963
323768017
323848981
323863321
323928221
323929409
323929421
323929549
324004073
324016361
324068219
324068309
324129389
324223769
324414001
324414109
324574501
324574673
324686051
324729469
324736039
324736157
324736327
324736393
324895513
325083929
325121131
325121207
325121219
325262101
325546211
325583641
325720853
325843733
325864997
325865009
325865509
325865531
325865699
325866781
326165309
326165401
326185187
326200297
326260969
326497411
326497469
326511389
326511527
326656793
326833201
326833207
326833379
326994583
326994607
327406207
327406301
328821737
329315501
329315509
329413681
329456053
329560291
329650403
329876249
329879779
330059291
330059447
330165013
330220859
330297571
330316009
330352039
330352349
330402971
330402983
330455077
330490649
330543181
330547993
330595093
330598633
330617059
330624883
330693397
330704749
330705457
330705517
330722281
330733801
330785317
330785437
330793753
330854627
330854803
330885553
330885601
330995939
331000447
331027471
331027507
331027817
331115497
331176169
331185469
331188757
331188859
331269311
331269413
331269439
331269469
331269479
331553129
331657609
331671709
331672553
331756081
331756109
331756177
331756189
331768601
331776793
331933853
331965299
331985123
332000233
332011753
332052713
332098537
332135189
332156521
332156543
332317841
332360681
332480669
332550371
332746979
332802853
332803021
332833561
332911379
332963143
332964001
332964011
332964067
333021977
333071129
333124651
333124661
333124717
333285947
333286039
333435107
333563743
333686399
333975779
334072597
334162921
334227739
334713059
334886119
334886143
334899307
335026333
335035651
335035681
335059733
335070257
335070523
335070793
335070829
335094553
335096941
335140987
335141047
335141069
335166109
335166149
335166413
335181389
335181421
335181533
335222249
335257309
335258393
335262061
335262119
335262157
335302817
335309969
335310247
335312041
335312099
335332523
335332579
335332609
335332817
335342641
335347277
335347361
335356787
335360461
335364889
335367377
335383267
335383283
335387413
335395559
335403401
335431729
335432563
335437981
335438617
335440661
335456413
335458531
335463691
335463727
335463743
335463773
335463787
335472233
335472299
335479577
335480989
335504003
335575571
335575613
335595229
335651609
335669443
335698093
335747497
335747539
335747549
335769827
335786179
335836583
335851717
335851981
335930137
335947609
335947627
335947933
335950493
336027697
336028211
336028337
336028369
336028373
336042299
336064669
336097747
336097777
336140521
336165097
336175261
336192281
336225139
336238787
336243571
336270481
336270817
336287359
336359651
336388889
336468757
336512177
336512311
336512369
336712241
336714517
336784361
336904349
336906473
337045661
337193749
337219811
337224473
337312337
337319197
337455893
337480369
337543961
337757773
337757971
338062313
338164501
338291689
338449457
338770343
339080323
339080347
339080447
339093511
339093553
339093617
339093619
339093737
339766249
339863729
340370201
340373731
340716521
341044201
341473513
341732329
341952157
341995747
342027241
342616333
342642793
342642869
342642899
342643997
342682601
342915637
342915647
342915673
342915689
342915697
342924053
342964949
342964957
342977513
342985879
342985919
343038037
343038079
343038109
343038127
343073561
343126291
343126409
343176241
343214869
343274663
343274683
343274707
343283869
343287589
343287601
343287631
343287641
343287661
343287667
343287821
343288093
343290083
343318387
343368211
343368253
343368349
343437733
343437799
343437803
343468291
343486691
343509631
343509781
343565081
343583143
343603357
343635583
343636201
343757027
343768361
343768379
343771451
343771763
343788593
343852307
343886057
343964207
343964219
343964221
343995601
344013421
344034469
344086541
344086697
344086753
344094011
344136031
344136059
344136167
344174819
344176873
344240521
344240593
344255911
344256221
344262889
344283293
344336141
344365289
344406173
344416771
344416829
344416981
344486327
344486333
344513237
344516969
344517001
344517037
344517077
344582933
344602781
344627249
344627357
344627551
344627623
344632021
344658077
344659307
344659421
344676061
344699519
344739347
344739377
344739503
344742121
344820239
344900779
344900891
344900929
345063581
345100909
345101093
345334553
345338083
345416473
345581801
345654041
345700937
345700981
345868337
345868603
345868969
345932569
346024937
347158951
347398937
348142901
348152369
348158467
348158533
348167273
348167461
348167551
348167657
348208009
348220393
348223721
348224827
348228773
348252391
348273479
348276437
348280987
348281053
348288683
348288827
348289001
348302621
348302651
348328163
348329843
348369233
348391133
348409147
348410171
348419213
348419237
348419273
348427549
348427687
348439657
348439723
348442673
348443357
348454657
348455551
348463261
348474463
348474589
348476521
348476561
348490151
348490243
348490291
348490397
348490421
348490433
348490481
348498707
348502633
348508387
348510439
348518633
348530513
348530921
348533641
348547861
348558037
348570973
348579817
348606691
348627737
348628607
348666089
348680599
348680617
348680681
348693119
348707131
348727453
348742271
348781991
348821761
348821927
348853507
348853717
348877873
348883177
348901603
348969193
348993769
348996377
349014557
349032157
349053721
349095073
349095223
349096169
349143833
349168409
349688429
349688491
349688551
349688671
349688809
349692697
349741331
349987609
350062877
350340799
350340839
350340959
350743529
350776297
350923541
351004931
351004987
351663317
351676439
351677141
352218089
352446569
352446691
352524521
352571441
352643861
352727657
353133853
353233897
353614057
353890531
354056981
354406627
354481247
354481321
354535007
354621901
354657703
354726059
354816227
354829081
354902741
354902749
355143907
355225097
355225259
355283171
355385501
355386463
355471069
355475077
355477363
355479827
355479857
355479923
355479959
355479977
355479989
355487383
355487467
355492513
355492637
355505699
355505719
355506409
355516327
355516573
355517489
355519189
355519537
355520797
355523249
355523299
355525427
355525481
355525483
355525589
355525609
355527707
355537123
355540351
355540429
355541779
355547923
355547963
355553507
355554943
355557997
355558169
355568089
355575763
355581073
355581389
355583593
355583773
355585309
355585631
355585793
355586669
355586731
355588147
355588237
355588253
355588267
355588273
355588301
355588327
355588561
355597663
355597951
355599019
355599163
355599271
355601693
355601723
355608707
355608809
355612331
355613299
355613303
355623427
355623529
355625131
355625353
355626407
355628701
355630867
355631057
355633309
355634879
355637533
355637713
355640921
355641577
355642087
355648561
355648589
355648807
355653019
355654931
355655087
355655381
355660003
355667219
355667677
355668589
355670173
355673183
355673363
355676317
355682597
355683037
355688969
355689097
355689119
355689137
355693339
355693489
355693517
355693523
355698389
355698547
355704989
355705601
355709293
355709297
355709311
355709567
355730201
355807957
355859221
355870783
355870799
355870813
355870829
355871281
355871359
355930339
356167907
356186693
356186723
356186731
356193293
356193311
356193769
356315363
356354597
356354837
356418329
356640877
356749013
356749171
356837609
357130663
357604627
357615187
357615217
357641279
357641293
357641299
357641309
357643579
357662119
357685297
357685417
357685421
357690133
357710497
357710611
357725773
357725873
357725891
357729049
357764821
357766051
357766193
357767401
357789923
357797597
357806359
357806431
357813409
357813641
357854257
357854501
357856397
357856481
357864733
357865331
357882013
357891761
357892519
357899989
357904493
357913709
357913757
357913993
357925657
357927461
357927637
357931241
357935843
357939821
357945571
357947719
357948181
357949597
357952489
357984541
357997853
358006423
358037363
358038293
358047901
358048363
358048387
358048421
358048477
358050793
358116329
358128871
358149097
358265059
358675579
358729447
358729531
358774183
358816009
358837013
358920383
359045909
359096743
359097203
359338211
359393563
359393641
359393663
359393711
359393767
359413993
359419429
359419453
359419601
359420041
359545621
359567587
359580899
359719817
359719889
359781061
359781139
359809817
359858969
359906069
359981849
360016873
360052969
360065077
360065089
360065821
360065863
360225001
360348437
360381053
360387613
360387619
360549047
360618217
361116487
361325269
361355497
361356053
361360361
361880341
362323021
362323229
362323237
362867689
362869763
362869891
362869931
362923697
362923943
363010477
363010517
363045937
363046771
363253987
363332377
363432169
363506453
363613819
363615517
363615871
363715349
363775207
363775303
363776233
363914003
363914167
363914197
363975629
364246219
364259437
364315417
364482787
364575313
364575329
364581923
364581941
364742971
364743187
364743229
364743263
365711587
366297881
366465731
366518381
366838553
367064077
367064083
367204841
367309031
367309223
367309289
367646953
367647509
367663337
367729429
367782353
367805209
367808173
367808531
367808561
367808563
367808743
368045033
368065301
368081411
368081447
368108393
368108443
368130817
368130911
368151703
368169643
368169667
368169787
368169961
368203933
368292167
368316643
368342749
368390783
368453389
368453479
368454301
368483377
368509721
368534189
368534227
368603579
368603647
368630399
368675101
368704561
368744543
368744741
368750819
368752873
368769623
368776207
368776237
368776477
368801651
368817011
368873629
368925461
368937683
368974057
368995093
369017951
369018047
369018161
369018211
369161267
369161369
369161437
369176803
369223871
369223973
369301973
369349031
369713791
369905201
369905383
370031381
370066589
370066759
370101013
370176227
370205611
370227433
370356451
370550833
370551553
370551581
370711867
370722973
370866767
370869017
370873357
370873379
371034161
371034751
371103977
371227229
371258483
371276383
371276393
371276639
371297467
371312177
371312443
371349541
371349631
371398921
371407081
371437763
371503361
371546269
371599181
371599213
371599231
371629789
371650717
371658979
371679547
371679757
371694293
371716253
371722397
371723903
371728013
371734387
371740367
371740381
371740387
371745457
371745581
371749333
371758631
371769659
371771093
371771707
371774147
371774209
371774267
371774441
371776109
371779997
371780611
371780677
371780681
371780683
371780693
371783539
371793211
371793361
371794481
371800861
371807939
371811277
371811281
371818093
371821133
371821313
371828351
371830183
371834033
371834051
371841073
371841133
371841139
371841203
371841233
371841257
371844617
371844829
371851313
371851937
371852909
371855171
371855219
371856103
371856187
371856337
371856361
371857639
371858117
371858197
371861257
371861339
371861363
371861681
371861687
371864041
371865101
371865107
371866181
371866199
371866213
371866219
371866343
371866387
371870483
371875759
371876371
371877607
371877661
371878193
371878267
371878271
371879177
371879197
371879227
371879377
371880163
371881507
371881577
371881843
371882299
371882773
371883947
371883989
371883997
371884193
371888521
371890271
371891459
371891627
371891629
371891659
371893789
371893981
371895049
371895193
371896517
371896661
371900101
371900189
371900297
371900327
371900393
371900743
371901221
371901631
371901667
371901737
371901781
371901793
371902621
371905421
371905477
371905517
371906261
371908013
371908181
371908219
371910401
371910403
371910613
371910733
371911079
371911849
371911889
371912753
371913599
371914397
371914909
371916091
371916301
371916403
371916581
371917057
371917151
371917207
371917213
371918549
371918797
371919949
371920187
371921923
371921981
371922247
371922389
371923759
371923819
371924017
371924279
371924281
371924429
371926111
371926213
371926427
371926441
371929399
371929433
371929447
371929511
371929577
371930899
371931017
371931809
371932019
371932031
371932357
371932417
371933063
371933279
371933291
371934067
371934847
371935153
371935463
371936021
371936303
371936317
371937233
371937869
371937887
371938051
371938993
371940211
371941139
371941289
371942003
371942047
371942059
371942083
371942113
371942203
371942353
371943133
371944031
371944127
371944141
371944163
371944193
371944211
371945131
371945173
371945177
371945521
371946473
371947031
371947691
371951431
371954327
371954347
371954389
371956339
371956517
371958469
371958529
371958787
371959723
371960447
371962027
371964347
371964377
371964391
371964493
371964521
371964613
371964647
371967709
371967859
371969417
371969431
371969447
371969641
371969693
371970331
371970563
371970817
371971049
371972287
371972323
371976383
371976457
372002341
372002473
372003043
372056857
372075497
372079933
372081433
372101347
372103957
372163853
372163901
372163919
372163937
372173801
372302641
372302797
372324991
372364169
372370409
372450073
372568291
372585181
372634811
372634817
372634831
372648359
372682979
372807913
372963917
372970547
373131949
373132007
373156841
373418093
373418161
373525553
373648361
373699217
373877737
374485219
374579993
374906017
375374617
375506893
375793897
375942121
376015637
376197179
376197271
376197347
376198783
376198877
376652569
376829137
376842313
377165093
377809897
379744483
379746013
379787579
379787581
379787693
379822873
379891807
379891997
380033257
380068573
380115101
380124443
380124467
380133937
380148893
380149043
380149097
380169193
380185681
380185727
380188381
380206963
380217203
380229659
380229737
380229809
380229827
380232473
380254877
380255143
380266729
380270311
380274397
380283037
380309213
380325571
380333033
380350559
380350819
380350829
380369629
380372701
380385487
380390971
380391007
380391569
380391751
380400817
380400847
380418281
380429081
380436139
380436391
380436457
380444381
380445311
380448877
380449061
380455973
380456119
380458259
380471857
380471939
380471977
380476181
380480227
380480489
380484257
380484353
380492051
380498147
380535577
380538929
380552287
380552353
380552423
380552489
380552521
380552527
380560153
380561087
380569757
380592659
380592689
380592809
380592811
380592851
380609851
380609959
380619541
380633881
380719331
380752699
380850403
380879641
380969753
381085853
381197077
381317347
381359569
381393053
381475049
381520597
381587683
381643753
383044373
383243213
383970281
383981947
383982037
384086161
384086173
384086291
384086309
384101353
384262429
384318733
384328369
384328423
384328507
384328519
384343117
384343447
384379993
384401267
384405731
384410909
384411047
384423997
384438499
384504733
384519851
384519871
384519973
384531071
384535601
384539933
384544999
384545131
384547049
384552107
384553187
384566041
384571549
384577763
384585127
384585301
384585449
384585919
384586043
384592973
384592991
384593087
384595111
384595229
384615193
384615709
384630599
384643177
384643387
384643537
384643711
384650243
384650473
384652459
384662813
384666131
384666301
384666311
384666367
384674501
384674597
384678631
384678793
384686503
384702697
384723827
384729881
384743657
384746693
384746779
384746861
384755551
384775217
384779579
384780521
384787111
384855017
384885517
384885541
384885619
384946981
385069283
385231081
385231687
385462499
385546867
385549081
385553459
385553569
385553599
385575913
385590041
385669909
385714897
385781987
385938493
385938547
385938613
386001041
386001053
386079181
386267369
386282473
386490683
386532121
386603797
386682419
386682473
386682551
386682563
386682589
386824981
386843839
386844041
386982833
387035293
387044011
387191011
387272861
387328621
387328769
387416857
387488863
387489229
387551459
387600611
387608803
387644021
387650603
387650911
387772643
387811859
387811877
387811889
387812017
388089659
388089671
388212437
388781479
389016553
389075171
389412007
389412031
389412043
389425241
389425279
389747873
390476483
390476563
390476777
390851561
391471897
391683181
391683269
391683329
391686301
392006357
392196323
392207521
392207723
392207743
392218199
392218223
392218483
392227049
392244263
392244301
392244329
392275229
392328899
392332711
392356633
392363057
392367743
392369041
392384177
392409727
392416483
392420117
392428159
392428403
392431231
392449907
392457509
392479793
392479853
392480029
392490299
392493289
392494789
392494919
392495527
392495837
392502557
392503453
392509673
392514697
392514781
392516923
392527133
392528029
392530451
392530469
392530559
392530601
392530687
392538781
392542769
392542951
392550449
392587687
392587903
392597789
392610973
392611097
392619677
392643353
392644657
392651417
392651429
392687843
392946457
392974459
392974531
393042709
393074921
393110297
393364249
393619459
393619531
393800681
394327067
394467707
394467761
394572007
394656533
394926313
395051801
395071003
395071081
395071151
395071153
395213033
395232413
395371387
395717317
395717341
395877841
395913449
395989219
396039181
396176149
396200221
396200359
396200669
396478057
396478441
396585193
396946409
397800631
397800673
397800691
397813837
397813841
397884181
398691751
398905571
399262489
400072861
400072961
400075541
401336797
401362963
401363101
401363113
407253797
408249113
408460753
408873961
408939497
408975937
409007107
409007117
409007189
409007279
409007309
409046227
409060913
409060969
409147799
409147819
409147859
409153763
409183001
409186769
409211107
409242389
409251917
409347889
409347923
409347937
409377841
409387801
409428541
409428631
409428661
409428689
409431017
409442353
409498097
409528477
409528579
409528661
409528699
409528703
409535257
409570013
409579747
409625369
409628899
409639073
409647893
409670813
409672469
409674521
409751053
409751059
409751099
409751261
409758697
409784477
409792739
409832021
409832131
409832161
409846553
409912583
409912781
410051459
410051533
410113001
410243299
410290409
410333411
410383513
410383517
410383573
410397233
410429597
410712667
410719249
410719459
410719559
410719697
410880607
410880619
411448231
411687701
411854557
412104937
412140829
412145897
412170289
412171037
412171079
412191977
412258531
412287769
412324067
412332259
412332493
412493639
412524253
412574441
412574489
412643719
412654867
412676323
412735721
412740373
412789159
412795673
412816561
412816643
412816777
412816871
412853017
412902169
412956829
412977437
412977847
412994609
413058193
413058307
413058329
413058341
413074201
413255519
413255629
414013673
414577873
414591013
414591049
414591061
415361129
415642189
415642289
416406293
416849087
416849357
416850409
417449581
417557269
417956633
418016233
418031849
418113877
418113923
418114003
418140179
418140209
418140343
418606057
418772161
418785287
418785373
419108017
419556329
420073699
420242717
421608221
421629059
421681259
421681289
421681357
421687523
421730537
421751017
421769393
421843171
421890281
421930823
421960753
421968661
422011477
422011507
422011547
422011561
422013929
422025941
422080969
422080999
422091541
422093593
422095637
422107421
422111539
422111549
422111611
422111639
422160617
422177557
422221981
422253673
422253919
422308841
422365417
422402837
422414651
422414857
422432383
422432627
422495377
422495537
422495581
425257961
425454569
425898211
426502403
426502577
426528787
426528919
426528937
427844377
427944211
427944229
427944401
428022227
428225299
428522261
428625577
428698601
428786833
428786879
428896483
428925851
428925907
428987057
428987341
429134051
429220633
429261593
429271723
429271867
429431969
429431999
429593623
429593627
429593797
429630233
429707491
429755003
429755017
429812501
429824789
429974297
430017691
430017769
430069891
430074013
430076131
430119187
430119337
430119401
430149859
430223711
430233833
430239143
430266601
430307561
430313699
430319441
430319459
430346467
430349597
430369769
430436509
430455017
430496029
430496383
430496477
430514969
430534883
430571677
430596821
430610603
430610897
430642627
430690531
430715107
430779157
430795753
430800163
430803517
430803631
430821077
430884121
430884149
430884173
430884191
431022979
431023031
431023069
431044657
431045333
431258389
431287273
431304989
431355031
431355079
431355091
431355101
431368199
431368477
431427811
431448221
431451113
431597801
431690783
431690929
432138533
432245809
432419621
433318889
433464089
433627231
433627297
433627429
433627559
434006249
434098403
434226833
434632937
434891027
434891189
434917589
434917607
434924521
435549319
435549341
435549391
435549427
435562499
435562577
435885161
435885383
435885521
437020373
437840873
438168553
438465821
438507899
438546659
438612073
438706969
439111181
439165721
439272497
439272733
439411517
439411571
439411681
439436057
439472689
439507177
439708649
439757509
439757569
439916777
440072791
440072819
440216341
440240777
440240873
440240917
440396777
440422627
440433221
440433223
440452979
440464393
440464489
440482381
440482501
440482579
440503433
440503523
440555627
440555671
440563421
440604937
440604977
440605111
440605159
440617193
440634791
440643779
440643781
440643811
440644049
440709169
440709197
440732437
440801437
440805139
440805181
440805199
440807651
440808013
440808131
440808287
440845081
440885867
440885917
440885993
440900309
440955337
440955343
440967217
440968051
440981927
440985859
441026609
441027199
441039637
441047197
441047273
441056981
441086179
441096287
441096349
441125653
441128243
441128423
441152561
441168187
441205529
441208357
441225373
441262873
441285931
441285937
441285947
441289229
441289243
441289391
441289447
441299171
441508657
441508693
441508813
441508841
441570281
441571561
441749731
441790691
441791347
442020067
442051349
442169929
442176557
442176589
442176673
442176769
442221337
442337843
442337969
442395413
442561687
442561709
442561747
442655513
442690537
442702217
442702237
442806367
442806547
442806587
442983283
442985449
442999577
443122457
443247593
443279773
443279791
443279797
443279827
443305579
443305997
443306137
443306189
443466857
443578979
443628203
443628403
443649211
443649223
443649229
443660521
443667229
443669269
443673577
443701399
443701429
443701457
443740387
443747093
443750633
443789597
443792149
443839537
443845397
443870257
443871091
443910377
443951203
443951213
443951231
443968489
444031669
444035299
444046037
444084451
444127517
444131711
444178589
444180713
444197653
444234517
444241969
444246301
444273701
444274057
444299123
444314333
444359449
444427241
444434717
444434953
444452479
444494051
444502243
444515437
444656617
445408679
445901801
446197987
446426089
446489369
446705891
446755993
446756021
446767897
446854193
446896361
446896393
446896609
447000773
447177587
447278057
447394019
447396073
447641833
447642389
447644441
447661133
447661283
447661517
447704041
447800149
447800201
447800273
447820003
447822139
447861599
447985897
448097257
448132301
448132339
448145437
448145447
448145461
448145471
448145507
448145521
448180451
448293653
448461413
448467101
448468159
448468243
448584469
448586521
448629431
448629481
448994069
449196871
449687779
449982691
450227177
450404543
450407189
450948073
451004297
451004327
451505129
451694819
452326547
452326607
452326613
452326631
452339737
452339753
452339773
452339819
452608229
452608319
452608333
452608397
452608483
452608487
452608489
452608511
452608589
452608631
452608721
452608787
452608853
452609161
452609189
452609221
452609299
452609719
452609821
452610461
452610493
452610503
452610547
452610559
452610589
452610623
452610643
452611139
452611171
452611189
452611309
452611333
452611337
452611387
452611517
452611571
452611697
452611741
452611823
452611829
452611847
452611967
452612123
452612177
452612189
452612257
452612507
452612569
452612621
452612663
452612821
452612833
452612893
452613059
452613071
452613097
452613127
452613169
452613319
452613331
452613467
452613641
452613727
452613787
452613841
452613937
452614177
452614199
452614237
452614243
452614271
452614471
452614777
452614781
452614807
452614879
452614889
452614931
452615153
452615231
452615263
452615281
452615437
452615447
452615479
452615509
452615567
452615909
452616077
452616083
452616173
452616191
452616221
452616223
452616349
452616631
452616643
452616673
452616763
452616799
452616847
452616881
452616947
452617037
452617091
452617201
452617397
452617427
452617873
452618071
452618233
452618381
452618527
452618533
452618549
452618581
452618651
452618687
452618791
452618813
452619029
452619073
452619227
452619241
452619253
452619287
452619467
452619469
452619521
452619529
452619571
452619589
452619799
452619983
452620111
452620163
452620423
452620459
452620501
452620579
452620613
452620639
452620643
452620681
452620691
452620757
452620837
452620859
452620871
452620873
452621027
452621033
452621119
452621179
452621251
452621557
452621567
452621581
452621641
452621723
452621809
452621867
452621921
452621989
452622019
452622251
452622487
452622523
452622767
452622803
452622811
452623009
452623069
452623121
452623139
452623363
452623541
452623649
452623747
452623837
452623961
452624041
452624069
452624093
452624243
452624279
452624369
452662733
452979689
453047447
453047471
453110017
453292289
453378841
453390953
453391163
453391199
453667817
453766121
453772057
453788441
453791363
453791453
453952657
454049059
454049087
454073831
454083899
454084199
454091741
454110263
454152997
454154249
454160611
454179721
454181657
454182203
454191893
454194859
454195177
454198321
454228757
454250033
454250449
454270591
454275167
454275181
454275229
454275413
454282397
454282471
454282567
454295761
454295767
454295827
454296001
454296043
454296173
454296179
454296347
454296371
454296781
454296937
454297009
454297043
454297183
454297243
454297351
454297367
454297399
454297447
454297471
454297549
454297931
454298003
454298011
454298069
454298077
454298309
454298389
454298503
454298639
454298729
454298791
454298869
454298941
454299047
454299091
454299161
454299301
454299337
454299401
454299467
454299719
454299733
454299737
454299907
454299913
454300193
454300313
454300591
454300687
454300841
454300879
454300907
454300997
454301011
454301053
454301261
454301291
454301293
454301417
454301663
454301747
454301899
454301927
454301933
454302083
454302089
454302127
454302157
454302383
454302397
454302491
454302493
454302571
454302743
454302829
454302973
454303021
454303039
454303099
454303117
454303141
454303147
454303159
454303177
454303217
454303231
454303261
454303301
454303327
454303373
454303697
454303849
454303909
454303921
454303943
454303951
454303973
454303991
454304173
454304317
454304353
454304371
454304377
454304423
454304453
454304519
454304561
454304621
454304713
454304941
454305119
454305311
454305377
454305427
454305457
454305469
454305517
454305587
454305743
454305757
454305767
454305811
454305847
454305881
454306031
454306109
454306201
454306253
454306399
454306417
454306537
454306637
454306651
454306789
454306883
454306987
454307023
454307171
454307209
454307279
454307281
454307377
454307621
454307639
454308047
454308143
454308149
454308203
454308271
454308427
454308667
454308707
454308797
454308863
454308941
454308991
454309169
454309183
454309213
454309223
454309307
454309327
454309337
454309451
454309543
454309657
454309787
454309789
454309837
454310029
454310041
454310111
454310173
454310281
454310321
454310399
454310419
454310663
454310683
454310693
454310699
454311001
454311139
454311191
454311239
454311461
454311547
454311551
454311787
454311833
454315313
454315349
454319153
454319527
454319743
454320067
454320323
454320749
454321349
454321759
454322347
454322527
454323277
454325297
454325383
454325489
454332079
454332733
454332757
454335901
454336657
454336891
454338793
454339357
454339423
454339559
454340779
454340839
454340959
454341047
454344337
454344383
454344419
454344619
454345127
454345531
454345919
454346141
454346611
454349473
454349503
454349509
454349663
454349683
454352443
454352609
454353667
454354603
454354697
454354739
454354909
454355171
454356029
454357763
454358699
454360727
454360733
454360771
454360903
454362397
454362673
454366001
454366013
454366037
454366067
454366277
454366313
454366501
454368037
454368053
454368097
454368559
454368569
454368743
454370561
454370687
454373329
454373453
454373737
454374451
454374727
454374961
454376347
454376639
454377367
454377373
454377403
454377433
454377491
454377577
454377617
454377629
454377787
454379539
454380637
454380739
454380749
454382189
454382389
454382857
454382921
454382947
454383773
454384223
454384421
454385201
454385713
454385957
454386253
454386281
454386299
454386343
454386407
454386637
454388273
454388371
454388413
454388689
454389343
454389401
454389451
454389469
454389641
454390493
454391323
454391969
454395677
454396219
454396373
454396643
454398467
454398617
454400657
454401757
454403099
454403227
454403281
454403329
454403869
454404901
454406371
454406467
454406497
454406783
454408637
454408681
454410829
454411079
454411103
454411579
454412521
454413763
454414643
454414813
454414867
454414907
454414993
454415141
454416491
454416517
454419071
454420919
454420949
454420961
454420969
454423253
454430947
454432817
454433407
454437521
454451357
454455523
454463773
454464221
454476569
454477103
454498537
454506653
454509883
454517407
454517461
454719721
454749161
454920811
454920827
454922467
454977769
455198501
455633897
456050921
456520913
456855709
456856753
456856903
457304209
457304261
457585309
457794269
458583017
458792251
459114919
459172841
459205609
459392977
459467753
459500309
459515519
459893737
459992041
460056959
460056983
460083209
460083413
460647401
460715161
460715183
460728349
460728361
460728379
460728409
460728419
460728743
460728959
460997401
461051111
461498539
461498563
461498599
461498683
461624021
461779613
461779783
462005017
462016739
462152473
462543637
462971857
462986411
462986437
462986567
462986663
462986677
462997109
463053593
463058803
463063273
463067263
463067291
463067347
463072021
463095517
463107661
463107859
463121723
463128191
463128277
463147913
463147921
463163231
463165597
463174357
463188073
463188301
463188457
463195231
463195463
463198441
463207133
463209787
463220963
463222999
463223011
463223027
463229033
463238311
463238357
463238387
463245469
463253731
463258769
463259113
463273669
463273757
463273799
463281437
463282333
463293499
463300841
463309331
463309507
463317553
463321709
463330069
463349021
463366193
463383317
463390027
463390051
463398577
463399913
463401187
463411433
463418653
463430147
463430203
463430281
463430333
463430369
463533107
463587167
463587281
463627033
463673783
463774489
463793129
463862549
463868131
463971097
464061209
464067349
464277041
464277169
464279411
464317417
464425187
464438587
464496341
464577331
464599679
464601821
464638513
464638621
464808937
464922701
464923507
464923601
464954137
464972777
465002653
465070313
465082601
465238633
465244387
465245411
465367267
465377513
465406559
465406639
465470233
465800507
466381801
467129059
467181991
468471959
468471989
468472021
469117213
471698197
472062403
472221929
472280041
472720153
472771349
472827071
472965973
472966097
472982297
473027263
473028841
473029397
473154329
473201429
473312167
473370851
473575651
473627227
473633801
473633819
473634107
473795131
473795293
474081457
474081631
474362719
474541033
474850073
474901481
475276057
475569257
475569329
475569503
475569613
475779299
476169833
476169899
476169959
476170193
476292829
476376041
476576533
476647651
476834107
476860429
476862079
476862173
477162473
477492359
477506261
477823769
477828257
477828287
482407427
482407561
482470033
482470349
482470889
482504861
482547977
482548141
482548181
482601961
482652337
482663189
482832611
482941717
483145961
483151369
483154153
483205913
483257321
483277033
483312749
483424829
483451673
483451799
483451873
483475613
483476249
483495043
483495049
483495149
483547243
483547291
483547357
483547367
483551389
483635689
483653789
483707113
483756821
483766499
483796783
483797761
483848419
483870953
483877547
483877553
483891839
483946889
483946919
483946943
483957931
483958087
483967769
483977603
484024477
484051177
484067561
484087913
484088083
484113001
484113013
484119743
484149481
484167907
484192483
484208867
484277551
484277557
484280861
484280959
484281043
484337897
484361321
484361387
484361513
484361609
484558493
484558507
484558663
484558759
484558801
484603519
484645097
484645123
484749389
485248607
485248649
485248667
485319449
485409949
485610473
485616617
485881009
485894257
485929187
485953763
486174947
486216737
486216767
486216901
486216931
486216979
486217097
486256867
486447893
486664369
486664681
486945457
486945607
486945769
487170841
487184617
487403747
487619149
487619179
487662361
487668451
487741567
487811861
487826201
487908121
487991059
487991093
487991111
488026339
488071729
488071741
488086387
488141249
488141267
488152349
488152487
488168063
488171933
488171989
488172007
488213119
488218781
488243993
488286493
488286523
488314121
488314243
488354077
488424217
488429801
488454301
488454377
488471857
488475259
488475293
488475347
488475349
488485091
488555597
488555831
488555891
488667689
488667727
488667733
488686907
488696809
488699033
488716997
488717057
488737973
488790173
488796317
488803093
488839529
488839601
488839649
488878337
488976611
489039709
489063193
489120451
489175829
489189823
489189853
489189859
489202303
489202397
489202547
489220447
489220489
489220583
489257749
489261341
489317077
489331039
489331177
489335069
489335207
489347861
489362603
489362749
489362843
489362897
489442843
489442867
489445609
489502877
489523889
489540893
489548009
489743227
489743279
489765503
489949973
490025009
490075291
490075349
490088471
490088503
490088513
490088551
490089253
490089331
490089421
490238179
490404419
490404451
490543337
490572347
490572373
490572469
490572521
490572659
491176729
491537177
491744233
492096277
492334057
492349673
492548323
492667673
493284329
493611401
493634329
493637659
493637863
494282801
494740249
494959159
494990387
494990519
494990569
495008447
495008483
495028381
495029417
495029441
495029461
495029473
495081577
495081641
495081677
495089279
495130907
495169733
495169793
495231769
495235217
495235303
495250747
495278869
495283177
495331097
495348713
495361309
495401749
495428377
495464789
495465757
495470749
495472189
495472321
495477551
495477599
495481241
495481289
495481291
495481331
495490363
495490573
495495401
495505117
495506177
495508073
495508261
495511859
495512683
495512861
495512891
495526477
495526793
495532859
495536917
495550183
495550303
495550417
495550621
495553133
495553151
495553237
495553351
495560861
495562013
495562453
495570541
495570707
495571367
495573077
495573101
495573149
495573167
495576671
495576703
495577321
495578089
495581417
495582601
495583889
495584003
495584137
495584171
495584183
495584939
495584963
495585329
495585703
495586409
495586579
495587011
495587143
495588109
495588239
495588271
495588277
495589531
495590059
495590299
495590311
495590317
495590597
495592217
495592733
495592841
495592847
495593069
495593101
495593141
495593177
495593603
495593641
495593653
495593729
495595153
495595301
495595433
495595733
495595949
495596083
495596243
495596347
495596441
495596443
495596459
495596471
495596671
495596749
495597247
495597287
495597517
495598153
495598307
495598513
495598517
495598783
495598897
495599017
495601501
495601517
495601817
495601853
495601919
495602353
495602389
495603377
495603413
495603551
495603721
495603739
495603821
495604201
495604517
495605119
495605167
495605797
495605953
495607391
495607517
495607601
495607699
495607747
495607751
495607789
495607793
495607811
495607961
495608093
495608221
495608257
495608507
495608527
495608537
495608557
495608647
495608881
495610183
495610243
495610309
495610327
495610331
495610627
495610637
495610799
495610807
495611497
495611717
495611881
495612307
495612317
495612829
495612881
495612913
495613033
495613457
495613477
495614029
495614057
495614621
495614641
495614891
495615649
495616027
495616769
495618307
495618691
495618733
495618887
495618931
495619489
495619511
495619759
495619777
495619877
495620557
495620731
495620773
495621001
495621169
495621937
495621949
495622069
495622121
495622319
495622339
495622349
495622531
495623039
495623437
495623509
495623699
495624251
495624301
495624397
495624449
495624799
495624881
495625153
495625301
495625309
495625373
495625807
495626099
495626497
495626707
495626867
495626893
495627037
495627647
495627703
495628229
495628307
495628349
495628603
495628619
495628711
495629021
495629587
495630217
495630413
495630797
495631061
495631153
495631421
495631849
495631921
495631949
495633199
495633227
495633583
495633667
495633767
495633769
495634091
495634151
495634213
495634313
495634717
495635639
495635681
495635687
495635771
495635849
495635879
495635887
495636961
495637033
495637147
495637267
495637277
495637309
495637343
495637867
495637931
495637943
495638093
495638813
495638951
495638993
495639197
495639713
495639761
495639791
495639797
495640963
495641197
495641309
495642247
495642319
495642577
495642793
495642859
495643699
495643739
495644749
495646579
495646769
495646891
495647209
495648679
495652133
495653453
495654079
495654239
495662963
495666599
495667309
495668273
495669011
495673907
495673993
495674017
495674021
495674027
495674077
495674087
495676393
495678259
495678361
495688241
495690317
495690497
495694189
495734483
495815179
495815273
495815321
495821593
495857891
495872789
495895811
495895891
496034683
496062691
496233449
496240873
496316731
496380593
496380767
496380839
496430057
496609513
496677091
496702469
496702487
496702513
496702519
496702757
496863901
496865507
500683369
500683591
500736293
503441639
503441831
503722691
503722781
503931613
504929441
504929573
505179113
505309417
505530013
505652957
505936661
506217241
506852483
506865757
506865767
506866397
507187427
507188273
507833321
507839257
508521449
509340649
510323689
510618601
511060283
511767601
511767647
511767721
511767761
512012563
512154389
512348387
512350441
512350997
512453609
512511619
512511697
512551913
512784967
512784973
512792809
512855209
512855237
512855249
512907277
512907419
512918297
512964841
512995489
513045553
513046229
513076273
513085667
513094271
513147673
513156911
513157793
513157823
513208547
513213209
513257699
513306851
513307121
513337771
513434393
513440533
513452671
513469417
513472669
513478813
513480031
513480067
513480091
513480131
513480169
513534953
513613981
513616661
513637687
513641021
513641137
513702121
513721627
513721661
513721697
514223081
514931327
516221161
516342553
516516841
517460707
517460737
517710617
517893097
518777101
518777137
518803667
519269353
519448861
520495897
520907753
522029939
522307249
522414313
522870941
523320179
523463657
523629703
523642961
523713301
523965667
523965901
524765341
525904661
527165791
527837909
527838067
530181097
530443241
531131369
531710237
531716329
531721193
532704233
532802537
533483747
533570329
534038761
534289801
534289897
534290893
534293269
534761699
535204067
535554323
535554431
535580723
536079337
536177641
536212687
536212723
536225891
536296213
536494873
536548513[/code]

Dobri 2022-10-23 08:35

1 Attachment(s)
This last post with a list of LCS-generated prime exponents includes [B][COLOR="Red"]40254[/COLOR][/B] [B][COLOR="Blue"]26[/COLOR][/B]-bit prime exponents in the interval (2[SUP]25[/SUP] = 33554432, 2[SUP]26[/SUP] = 67108864).
Said exponents are generated from the LCS set in post #21, [url]https://mersenneforum.org/showpost.php?p=615845&postcount=21[/url], with the Wolfram code shown in post #25, [url]https://mersenneforum.org/showpost.php?p=616041&postcount=25[/url] (where [I]MnLength[/I] is set to 26 bits), and saved in a DAT file (see the attached ZIP file).
Note that the total number of 26-bit prime exponents is 1894120.

Among the generated prime exponents are two 26-bit prime exponents of Mersenne primes M[M]43112609[/M] and M[M]57885161[/M].
The two other 26-bit prime exponents of Mersenne primes, M[M]37156667[/M] and M[M]42643801[/M], are not listed as they can be generated only with alternative LCS sets involving [COLOR="Blue"]bit reversal[/COLOR] or [COLOR="blue"]cyclic folding[/COLOR] of the binary strings of the prime exponents.

Out of the [B][COLOR="Red"]40254[/COLOR][/B] [B][COLOR="Blue"]26[/COLOR][/B]-bit LCS-generated prime exponents, [B]only [COLOR="Red"]450[/COLOR] [COLOR="Blue"]26[/COLOR]-bit LCS-generated prime exponents remain [COLOR="Blue"]unverified[/COLOR][/B]. Said unverified prime exponents are listed below.
[code]
62016049 Unverified
62036137 Unverified
62269463 Unverified
62270179 Unverified
62270183 Unverified
62566627 Unverified
62585441 Unverified
62587673 Unverified
62753437 Unverified
62817049 Unverified
62930213 Unverified
62945513 Unverified
62945819 Unverified
62954653 Unverified
62954687 Unverified
62954779 Unverified
62954963 Unverified
62977037 Unverified
62977177 Unverified
62977181 Unverified
63016091 Unverified
63054617 Unverified
63058147 Unverified
63068221 Unverified
63068311 Unverified
63072413 Unverified
63075613 Unverified
63090389 Unverified
63090397 Unverified
63110869 Unverified
63116927 Unverified
63142621 Unverified
63156493 Unverified
63156617 Unverified
63156713 Unverified
63177497 Unverified
63191267 Unverified
63191269 Unverified
63204497 Unverified
63221957 Unverified
63226013 Unverified
63227341 Unverified
63230591 Unverified
63237169 Unverified
63277759 Unverified
63285931 Unverified
63290113 Unverified
63308569 Unverified
63328483 Unverified
63358147 Unverified
63358249 Unverified
63478549 Unverified
63494869 Unverified
63498679 Unverified
63574243 Unverified
63640939 Unverified
63647971 Unverified
63693593 Unverified
63721019 Unverified
63775513 Unverified
63802051 Unverified
63802087 Unverified
63959267 Unverified
63966493 Unverified
63970069 Unverified
63975889 Unverified
63983321 Unverified
63990833 Unverified
64012061 Unverified
64012573 Unverified
64013597 Unverified
64013951 Unverified
64016699 Unverified
64017001 Unverified
64019201 Unverified
64021457 Unverified
64024733 Unverified
64036109 Unverified
64037471 Unverified
64037747 Unverified
64045213 Unverified
64045759 Unverified
64093499 Unverified
64100593 Unverified
64102109 Unverified
64104041 Unverified
64104221 Unverified
64104659 Unverified
64106837 Unverified
64106929 Unverified
64109153 Unverified
64113349 Unverified
64113373 Unverified
64113383 Unverified
64113617 Unverified
64113713 Unverified
64113979 Unverified
64114103 Unverified
64114397 Unverified
64115327 Unverified
64116797 Unverified
64116821 Unverified
64116863 Unverified
64118399 Unverified
64118699 Unverified
64118701 Unverified
64118737 Unverified
64118981 Unverified
64119059 Unverified
64119467 Unverified
64119571 Unverified
64120613 Unverified
64121027 Unverified
64121173 Unverified
64122013 Unverified
64122239 Unverified
64124419 Unverified
64124429 Unverified
64124743 Unverified
64125653 Unverified
64125661 Unverified
64125671 Unverified
64125697 Unverified
64125833 Unverified
64126871 Unverified
64130741 Unverified
64130753 Unverified
64130797 Unverified
64131167 Unverified
64131269 Unverified
64131329 Unverified
64131341 Unverified
64133257 Unverified
64133273 Unverified
64133281 Unverified
64134527 Unverified
64134569 Unverified
64135277 Unverified
64135363 Unverified
64135399 Unverified
64135601 Unverified
64135901 Unverified
64136783 Unverified
64137851 Unverified
64137959 Unverified
64138157 Unverified
64139461 Unverified
64144669 Unverified
64144721 Unverified
64144853 Unverified
64145117 Unverified
64148129 Unverified
64148423 Unverified
64148893 Unverified
64148941 Unverified
64149457 Unverified
64151089 Unverified
64152371 Unverified
64153357 Unverified
64153363 Unverified
64153429 Unverified
64153513 Unverified
64153757 Unverified
64153951 Unverified
64153993 Unverified
64154693 Unverified
64155697 Unverified
64156471 Unverified
64157329 Unverified
64158769 Unverified
64160167 Unverified
64160177 Unverified
64162961 Unverified
64163383 Unverified
64163699 Unverified
64164739 Unverified
64164781 Unverified
64165121 Unverified
64166741 Unverified
64167349 Unverified
64167377 Unverified
64169389 Unverified
64169449 Unverified
64171741 Unverified
64172203 Unverified
64172341 Unverified
64172377 Unverified
64172497 Unverified
64172639 Unverified
64172741 Unverified
64173349 Unverified
64173371 Unverified
64173883 Unverified
64174057 Unverified
64174769 Unverified
64174783 Unverified
64174897 Unverified
64175081 Unverified
64176059 Unverified
64176089 Unverified
64176097 Unverified
64176113 Unverified
64176251 Unverified
64178141 Unverified
64178291 Unverified
64178347 Unverified
64178353 Unverified
64179209 Unverified
64179229 Unverified
64181197 Unverified
64181951 Unverified
64182221 Unverified
64183913 Unverified
64184551 Unverified
64184671 Unverified
64184713 Unverified
64184909 Unverified
64184969 Unverified
64184987 Unverified
64185089 Unverified
64187077 Unverified
64187107 Unverified
64187173 Unverified
64187369 Unverified
64188647 Unverified
64189409 Unverified
64190513 Unverified
64194199 Unverified
64194239 Unverified
64194931 Unverified
64194953 Unverified
64198889 Unverified
64201387 Unverified
64201933 Unverified
64202189 Unverified
64202401 Unverified
64203409 Unverified
64204909 Unverified
64204991 Unverified
64205081 Unverified
64205137 Unverified
64205171 Unverified
64206139 Unverified
64207259 Unverified
64207301 Unverified
64207849 Unverified
64212073 Unverified
64212671 Unverified
64213343 Unverified
64213819 Unverified
64213993 Unverified
64215163 Unverified
64215829 Unverified
64217137 Unverified
64219451 Unverified
64219499 Unverified
64303153 Unverified
64366409 Unverified
64366439 Unverified
64446749 Unverified
64447147 Unverified
64447189 Unverified
64475743 Unverified
64527469 Unverified
64528489 Unverified
64529177 Unverified
64547281 Unverified
64618111 Unverified
64643357 Unverified
64643387 Unverified
64649449 Unverified
64657553 Unverified
64689479 Unverified
64689563 Unverified
64689629 Unverified
64696547 Unverified
64714151 Unverified
64729403 Unverified
64774937 Unverified
64803043 Unverified
64867967 Unverified
64931147 Unverified
64931179 Unverified
64979737 Unverified
65006569 Unverified
65027357 Unverified
65027377 Unverified
65037151 Unverified
65088581 Unverified
65092519 Unverified
65128093 Unverified
65128681 Unverified
65132671 Unverified
65165543 Unverified
65173153 Unverified
65173457 Unverified
65187131 Unverified
65212031 Unverified
65214827 Unverified
65228393 Unverified
65228563 Unverified
65228777 Unverified
65250589 Unverified
65250727 Unverified
65253841 Unverified
65260621 Unverified
65260721 Unverified
65294497 Unverified
65301581 Unverified
65312627 Unverified
65313557 Unverified
65319187 Unverified
65324141 Unverified
65324317 Unverified
65327987 Unverified
65351857 Unverified
65351911 Unverified
65352031 Unverified
65353961 Unverified
65374873 Unverified
65374927 Unverified
65374937 Unverified
65382557 Unverified
65414941 Unverified
65414959 Unverified
65431867 Unverified
65445179 Unverified
65455463 Unverified
65476841 Unverified
65487641 Unverified
65495657 Unverified
65509799 Unverified
65565079 Unverified
65595823 Unverified
65610521 Unverified
65778397 Unverified
65778547 Unverified
65818171 Unverified
65889049 Unverified
65899033 Unverified
65899139 Unverified
65899159 Unverified
65899189 Unverified
65899219 Unverified
65899241 Unverified
65916637 Unverified
65916787 Unverified
65966237 Unverified
65979569 Unverified
65979689 Unverified
65979707 Unverified
65979751 Unverified
66091573 Unverified
66091589 Unverified
66111197 Unverified
66140209 Unverified
66140777 Unverified
66140849 Unverified
66153449 Unverified
66171107 Unverified
66179977 Unverified
66180007 Unverified
66180073 Unverified
66263273 Unverified
66429721 Unverified
66450649 Unverified
66463561 Unverified
66463849 Unverified
66463871 Unverified
66464059 Unverified
66464417 Unverified
66464483 Unverified
66498787 Unverified
66543901 Unverified
66544301 Unverified
66558677 Unverified
66579433 Unverified
66600223 Unverified
66600229 Unverified
66609821 Unverified
66611357 Unverified
66613693 Unverified
66613709 Unverified
66624739 Unverified
66624839 Unverified
66640661 Unverified
66644377 Unverified
66644429 Unverified
66682171 Unverified
66684977 Unverified
66689813 Unverified
66700057 Unverified
66705563 Unverified
66705629 Unverified
66711779 Unverified
66715349 Unverified
66715507 Unverified
66730141 Unverified
66733781 Unverified
66743273 Unverified
66746083 Unverified
66746087 Unverified
66746249 Unverified
66779753 Unverified
66779759 Unverified
66780209 Unverified
66784021 Unverified
66786229 Unverified
66786347 Unverified
66786359 Unverified
66786563 Unverified
66786781 Unverified
66786793 Unverified
66801409 Unverified
66817447 Unverified
66826499 Unverified
66847513 Unverified
66848477 Unverified
66866599 Unverified
66867277 Unverified
66874513 Unverified
66874559 Unverified
66876569 Unverified
66876643 Unverified
66897211 Unverified
66912137 Unverified
66924829 Unverified
66924967 Unverified
66926749 Unverified
66933931 Unverified
66944299 Unverified
66947707 Unverified
66947761 Unverified
66947801 Unverified
66947827 Unverified
66956069 Unverified
66956237 Unverified
66960017 Unverified
66960067 Unverified
66964529 Unverified
66996647 Unverified
67015381 Unverified
67026587 Unverified
67028113 Unverified
67028239 Unverified
67028243 Unverified
67036817 Unverified
67036867 Unverified
67061993 Unverified
67068569 Unverified[/code]

Dobri 2022-10-23 12:51

All prime exponents of known Mersenne primes can give at least one [B][COLOR="Red"]prime number[/COLOR][/B] after [B][COLOR="Blue"]bit reversal[/COLOR][/B], [B][COLOR="blue"]base-2 cyclic rotation[/COLOR][/B], or [B][COLOR="blue"]base-2 cyclic rotation after bit reversal[/COLOR][/B] [COLOR="Red"][B]except[/B][/COLOR] [COLOR="Blue"]M[M]21701[/M][/COLOR] and [COLOR="Blue"]M[M]756839[/M][/COLOR].
[code]
#1, Prime Exponent 2
2(Cyclic Rotation 1 Position to the Right after Bit Reversal)
---------
#2, Prime Exponent 3
3(Bit Reversal)
3(Cyclic Rotation 1 Position to the Right)
3(Cyclic Rotation 1 Position to the Right after Bit Reversal)
---------
#3, Prime Exponent 5
5(Bit Reversal)
3(Cyclic Rotation 2 Positions to the Right)
3(Cyclic Rotation 2 Positions to the Right after Bit Reversal)
---------
#4, Prime Exponent 7
7(Bit Reversal)
7(Cyclic Rotation 1 Position to the Right)
7(Cyclic Rotation 2 Positions to the Right)
7(Cyclic Rotation 1 Position to the Right after Bit Reversal)
7(Cyclic Rotation 2 Positions to the Right after Bit Reversal)
---------
#5, Prime Exponent 13
11(Bit Reversal)
7(Cyclic Rotation 2 Positions to the Right)
11(Cyclic Rotation 3 Positions to the Right)
13(Cyclic Rotation 1 Position to the Right after Bit Reversal)
7(Cyclic Rotation 3 Positions to the Right after Bit Reversal)
---------
#6, Prime Exponent 17
17(Bit Reversal)
3(Cyclic Rotation 4 Positions to the Right)
3(Cyclic Rotation 4 Positions to the Right after Bit Reversal)
---------
#7, Prime Exponent 19
7(Cyclic Rotation 4 Positions to the Right)
7(Cyclic Rotation 3 Positions to the Right after Bit Reversal)
19(Cyclic Rotation 4 Positions to the Right after Bit Reversal)
---------
#8, Prime Exponent 31
31(Bit Reversal)
31(Cyclic Rotation 1 Position to the Right)
31(Cyclic Rotation 2 Positions to the Right)
31(Cyclic Rotation 3 Positions to the Right)
31(Cyclic Rotation 4 Positions to the Right)
31(Cyclic Rotation 1 Position to the Right after Bit Reversal)
31(Cyclic Rotation 2 Positions to the Right after Bit Reversal)
31(Cyclic Rotation 3 Positions to the Right after Bit Reversal)
31(Cyclic Rotation 4 Positions to the Right after Bit Reversal)
---------
#9, Prime Exponent 61
47(Bit Reversal)
31(Cyclic Rotation 2 Positions to the Right)
47(Cyclic Rotation 3 Positions to the Right)
59(Cyclic Rotation 5 Positions to the Right)
59(Cyclic Rotation 2 Positions to the Right after Bit Reversal)
61(Cyclic Rotation 3 Positions to the Right after Bit Reversal)
31(Cyclic Rotation 5 Positions to the Right after Bit Reversal)
---------
#10, Prime Exponent 89
89(Cyclic Rotation 3 Positions to the Right after Bit Reversal)
---------
#11, Prime Exponent 107
107(Bit Reversal)
61(Cyclic Rotation 3 Positions to the Right)
47(Cyclic Rotation 5 Positions to the Right)
61(Cyclic Rotation 3 Positions to the Right after Bit Reversal)
47(Cyclic Rotation 5 Positions to the Right after Bit Reversal)
---------
#12, Prime Exponent 127
127(Bit Reversal)
127(Cyclic Rotation 1 Position to the Right)
127(Cyclic Rotation 2 Positions to the Right)
127(Cyclic Rotation 3 Positions to the Right)
127(Cyclic Rotation 4 Positions to the Right)
127(Cyclic Rotation 5 Positions to the Right)
127(Cyclic Rotation 6 Positions to the Right)
127(Cyclic Rotation 1 Position to the Right after Bit Reversal)
127(Cyclic Rotation 2 Positions to the Right after Bit Reversal)
127(Cyclic Rotation 3 Positions to the Right after Bit Reversal)
127(Cyclic Rotation 4 Positions to the Right after Bit Reversal)
127(Cyclic Rotation 5 Positions to the Right after Bit Reversal)
127(Cyclic Rotation 6 Positions to the Right after Bit Reversal)
---------
#13, Prime Exponent 521
577(Bit Reversal)
193(Cyclic Rotation 3 Positions to the Right)
19(Cyclic Rotation 9 Positions to the Right)
131(Cyclic Rotation 9 Positions to the Right after Bit Reversal)
---------
#14, Prime Exponent 607
919(Cyclic Rotation 2 Positions to the Right)
971(Cyclic Rotation 3 Positions to the Right)
997(Cyclic Rotation 4 Positions to the Right)
191(Cyclic Rotation 9 Positions to the Right)
---------
#15, Prime Exponent 1279
1663(Cyclic Rotation 1 Position to the Right)
1951(Cyclic Rotation 3 Positions to the Right)
1999(Cyclic Rotation 4 Positions to the Right)
1279(Cyclic Rotation 4 Positions to the Right after Bit Reversal)
1663(Cyclic Rotation 5 Positions to the Right after Bit Reversal)
1951(Cyclic Rotation 7 Positions to the Right after Bit Reversal)
1999(Cyclic Rotation 8 Positions to the Right after Bit Reversal)
---------
#16, Prime Exponent 2203
1811(Cyclic Rotation 3 Positions to the Right)
2953(Cyclic Rotation 4 Positions to the Right)
881(Cyclic Rotation 7 Positions to the Right)
311(Cyclic Rotation 11 Positions to the Right)
571(Cyclic Rotation 7 Positions to the Right after Bit Reversal)
2333(Cyclic Rotation 8 Positions to the Right after Bit Reversal)
1607(Cyclic Rotation 10 Positions to the Right after Bit Reversal)
2851(Cyclic Rotation 11 Positions to the Right after Bit Reversal)
---------
#17, Prime Exponent 2281
2417(Bit Reversal)
797(Cyclic Rotation 3 Positions to the Right)
1223(Cyclic Rotation 5 Positions to the Right)
2659(Cyclic Rotation 6 Positions to the Right)
467(Cyclic Rotation 11 Positions to the Right)
2251(Cyclic Rotation 5 Positions to the Right after Bit Reversal)
739(Cyclic Rotation 11 Positions to the Right after Bit Reversal)
---------
#18, Prime Exponent 3217
457(Cyclic Rotation 4 Positions to the Right)
569(Cyclic Rotation 7 Positions to the Right)
2339(Cyclic Rotation 11 Positions to the Right)
---------
#19, Prime Exponent 4253
5651(Cyclic Rotation 3 Positions to the Right)
1889(Cyclic Rotation 7 Positions to the Right)
---------
#20, Prime Exponent 4423
4423(Cyclic Rotation 11 Positions to the Right after Bit Reversal)
---------
#21, Prime Exponent 9689
3259(Cyclic Rotation 3 Positions to the Right)
6551(Cyclic Rotation 6 Positions to the Right)
11467(Cyclic Rotation 7 Positions to the Right)
7577(Cyclic Rotation 10 Positions to the Right)
4919(Cyclic Rotation 5 Positions to the Right after Bit Reversal)
10651(Cyclic Rotation 6 Positions to the Right after Bit Reversal)
3539(Cyclic Rotation 13 Positions to the Right after Bit Reversal)
---------
#22, Prime Exponent 9941
6581(Cyclic Rotation 2 Positions to the Right)
5741(Cyclic Rotation 4 Positions to the Right)
5531(Cyclic Rotation 6 Positions to the Right)
10957(Cyclic Rotation 7 Positions to the Right)
3499(Cyclic Rotation 13 Positions to the Right)
9901(Cyclic Rotation 4 Positions to the Right after Bit Reversal)
6571(Cyclic Rotation 6 Positions to the Right after Bit Reversal)
---------
#23, Prime Exponent 11213
6899(Cyclic Rotation 2 Positions to the Right)
13163(Cyclic Rotation 8 Positions to the Right)
7789(Cyclic Rotation 11 Positions to the Right)
6043(Cyclic Rotation 13 Positions to the Right)
5839(Cyclic Rotation 4 Positions to the Right after Bit Reversal)
3931(Cyclic Rotation 10 Positions to the Right after Bit Reversal)
---------
#24, Prime Exponent 19937
17207(Cyclic Rotation 6 Positions to the Right)
---------
#25, Prime Exponent 21701
None
---------
#26, Prime Exponent 23209
6997(Cyclic Rotation 3 Positions to the Right)
9941(Cyclic Rotation 5 Positions to the Right)
10861(Cyclic Rotation 9 Positions to the Right)
---------
#27, Prime Exponent 44497
29803(Cyclic Rotation 10 Positions to the Right)
23459(Cyclic Rotation 15 Positions to the Right)
---------
#28, Prime Exponent 86243
14983(Cyclic Rotation 5 Positions to the Right)
34589(Cyclic Rotation 14 Positions to the Right)
14423(Cyclic Rotation 15 Positions to the Right after Bit Reversal)
---------
#29, Prime Exponent 110503
125929(Cyclic Rotation 2 Positions to the Right)
108503(Cyclic Rotation 9 Positions to the Right)
125429(Cyclic Rotation 11 Positions to the Right)
48799(Cyclic Rotation 15 Positions to the Right)
120779(Cyclic Rotation 8 Positions to the Right after Bit Reversal)
77743(Cyclic Rotation 15 Positions to the Right after Bit Reversal)
---------
#30, Prime Exponent 132049
166919(Cyclic Rotation 7 Positions to the Right)
214531(Cyclic Rotation 8 Positions to the Right)
1583(Cyclic Rotation 8 Positions to the Right after Bit Reversal)
197003(Cyclic Rotation 10 Positions to the Right after Bit Reversal)
122929(Cyclic Rotation 13 Positions to the Right after Bit Reversal)
---------
#31, Prime Exponent 216091
49597(Cyclic Rotation 14 Positions to the Right)
134333(Cyclic Rotation 14 Positions to the Right after Bit Reversal)
99119(Cyclic Rotation 16 Positions to the Right after Bit Reversal)
---------
#32, Prime Exponent 756839
None
---------
#33, Prime Exponent 859433
609163(Bit Reversal)
171293(Cyclic Rotation 8 Positions to the Right)
676771(Cyclic Rotation 11 Positions to the Right)
810149(Cyclic Rotation 9 Positions to the Right after Bit Reversal)
309433(Cyclic Rotation 16 Positions to the Right after Bit Reversal)
169751(Cyclic Rotation 19 Positions to the Right after Bit Reversal)
---------
#34, Prime Exponent 1257787
418423(Cyclic Rotation 20 Positions to the Right)
---------
#35, Prime Exponent 1398269
1485503(Cyclic Rotation 3 Positions to the Right)
2009783(Cyclic Rotation 16 Positions to the Right after Bit Reversal)
---------
#36, Prime Exponent 2976221
3073453(Bit Reversal)
978349(Cyclic Rotation 11 Positions to the Right)
1758139(Cyclic Rotation 21 Positions to the Right)
---------
#37, Prime Exponent 3021377
2888387(Cyclic Rotation 3 Positions to the Right after Bit Reversal)
241739(Cyclic Rotation 9 Positions to the Right after Bit Reversal)
1603081(Cyclic Rotation 12 Positions to the Right after Bit Reversal)
---------
#38, Prime Exponent 6972593
2509597(Cyclic Rotation 19 Positions to the Right)
2724551(Cyclic Rotation 21 Positions to the Right)
3028121(Cyclic Rotation 5 Positions to the Right after Bit Reversal)
---------
#39, Prime Exponent 13466917
16029493(Cyclic Rotation 14 Positions to the Right)
11510969(Cyclic Rotation 19 Positions to the Right)
---------
#40, Prime Exponent 20996011
27275221(Cyclic Rotation 1 Position to the Right)
22495327(Cyclic Rotation 8 Positions to the Right)
32172043(Cyclic Rotation 11 Positions to the Right)
16604417(Cyclic Rotation 14 Positions to the Right)
---------
#41, Prime Exponent 24036583
28810381(Cyclic Rotation 7 Positions to the Right after Bit Reversal)
3632953(Cyclic Rotation 14 Positions to the Right after Bit Reversal)
26327929(Cyclic Rotation 19 Positions to the Right after Bit Reversal)
---------
#42, Prime Exponent 25964951
1625059(Cyclic Rotation 18 Positions to the Right)
3196511(Cyclic Rotation 23 Positions to the Right)
4102339(Cyclic Rotation 5 Positions to the Right after Bit Reversal)
---------
#43, Prime Exponent 30402457
20774521(Cyclic Rotation 4 Positions to the Right)
30402457(Cyclic Rotation 17 Positions to the Right after Bit Reversal)
20774521(Cyclic Rotation 21 Positions to the Right after Bit Reversal)
---------
#44, Prime Exponent 32582657
4710413(Cyclic Rotation 11 Positions to the Right after Bit Reversal)
21560321(Cyclic Rotation 14 Positions to the Right after Bit Reversal)
---------
#45, Prime Exponent 37156667
57916849(Bit Reversal)
7204471(Cyclic Rotation 25 Positions to the Right)
49727347(Cyclic Rotation 16 Positions to the Right after Bit Reversal)
41399867(Cyclic Rotation 21 Positions to the Right after Bit Reversal)
---------
#46, Prime Exponent 42643801
40413973(Cyclic Rotation 4 Positions to the Right)
5606093(Cyclic Rotation 23 Positions to the Right)
22111907(Cyclic Rotation 12 Positions to the Right after Bit Reversal)
21407923(Cyclic Rotation 21 Positions to the Right after Bit Reversal)
---------
#47, Prime Exponent 43112609
34893349(Bit Reversal)
5296699(Cyclic Rotation 11 Positions to the Right)
36013339(Cyclic Rotation 10 Positions to the Right after Bit Reversal)
48388177(Cyclic Rotation 14 Positions to the Right after Bit Reversal)
---------
#48, Prime Exponent 57885161
15624253(Cyclic Rotation 3 Positions to the Right)
42193849(Cyclic Rotation 17 Positions to the Right)
53413277(Cyclic Rotation 1 Position to the Right after Bit Reversal)
48619699(Cyclic Rotation 4 Positions to the Right after Bit Reversal)
15621643(Cyclic Rotation 8 Positions to the Right after Bit Reversal)
34290583(Cyclic Rotation 18 Positions to the Right after Bit Reversal)
12326519(Cyclic Rotation 25 Positions to the Right after Bit Reversal)
---------
#49, Prime Exponent 74207281
73421233(Bit Reversal)
72364429(Cyclic Rotation 19 Positions to the Right)
---------
#50, Prime Exponent 77232917
11311739(Cyclic Rotation 8 Positions to the Right)
41620883(Cyclic Rotation 19 Positions to the Right)
---------
#51, Prime Exponent 82589933
70839709(Cyclic Rotation 19 Positions to the Right)
97368289(Cyclic Rotation 8 Positions to the Right after Bit Reversal)
102472561(Cyclic Rotation 15 Positions to the Right after Bit Reversal)
---------[/code]
[code]
(* Wolfram code *)
MpData = {2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281, 3217, 4253, 4423, 9689, 9941, 11213, 19937, 21701, 23209, 44497, 86243, 110503, 132049, 216091, 756839, 859433, 1257787, 1398269, 2976221, 3021377, 6972593, 13466917, 20996011, 24036583, 25964951, 30402457, 32582657, 37156667, 42643801, 43112609, 57885161, 74207281, 77232917, 82589933};
nMp = Length[MpData]; base = 2;
ic = 0; While[ic < nMp, ic++; count = 0; Print["#", ic, ", Prime Exponent ", MpData[[ic]]]; intlen1 = Length[IntegerDigits[MpData[[ic]], base]]; s1 = IntegerDigits[MpData[[ic]], base, intlen1]; s1r = IntegerDigits[IntegerReverse[MpData[[ic]], base], base, intlen1];
Mpi = IntegerReverse[MpData[[ic]], base]; If[(PrimeQ[Mpi] == True), count++; Print[Mpi, "(Bit Reversal)"];];
jc = 0; While[jc < intlen1 - 1, jc++; s1 = RotateRight[s1]; s1i = FromDigits[s1, base]; If[(PrimeQ[s1i] == True), count++; pl = " "; If[jc > 1, pl = "s ";]; Print[s1i, "(Cyclic Rotation ", jc, " Position", pl, "to the Right)"];];];
jc = 0; While[jc < intlen1 - 1, jc++; s1r = RotateRight[s1r]; s1ri = FromDigits[s1r, base]; If[(PrimeQ[s1ri] == True), count++; pl = " "; If[jc > 1, pl = "s ";]; Print[s1ri, "(Cyclic Rotation ", jc, " Position", pl, "to the Right after Bit Reversal)"];];];
If[count == 0, Print["None"];]; Print["---------"];];[/code]

kriesel 2022-10-23 13:17

[QUOTE=Dobri;616318]All prime exponents of known Mersenne primes can give at least one [B][COLOR=Red]prime number[/COLOR][/B] after [B][COLOR=Blue]bit reversal[/COLOR][/B], [B][COLOR=blue]base-2 cyclic rotation[/COLOR][/B], or [B][COLOR=blue]base-2 cyclic rotation after bit reversal[/COLOR][/B] [COLOR=Red][B]except[/B][/COLOR] [COLOR=Blue]M[M]21701[/M][/COLOR] and [COLOR=Blue]M[M]756839[/M][/COLOR].
[/QUOTE]And if I scanned the list correctly, all the Mersenne numbers those primes correspond to, are either already-known Mersenne primes, factored Mersennes, or proven composites by DC or PRP/proof/cert, except for two, which have single LL composite residues, and are currently in progress in LLDC:
M[M]73421233[/M]
M[M]72364429[/M]
In no case did these manipulations lead to a prime exponent of a known Mersenne prime with exponent greater than the starting point, or to an untested unfactored Mersenne number's exponent.
In five cases, they lead only to the same exponent. ( 2 3 7 31 127 )

Dobri 2022-10-23 20:34

The [B][COLOR="Red"]mean[/COLOR][/B] and the [B][COLOR="Blue"]standard deviation[/COLOR][/B] of the [B][COLOR="Red"]normalized lengths[/COLOR][/B] of the longest common contiguous subsequences (LCSs) for [U]all pairs ([I]i[/I], [I]j[/I]), [I]i[/I] < [I]j[/I], for [I]i[/I], [I]j[/I] = 1, 2,..., 51, of the exponents of known Mersenne primes[/U] are as follows:

[B][COLOR="Red"]Mean[/COLOR][/B] ± [B][COLOR="Blue"]S.D.[/COLOR][/B] ≈ [B][COLOR="Red"]0.345[/COLOR][/B] ± [B][COLOR="Blue"]0.111[/COLOR][/B].
[code]
(* Wolfram code *)
MpData = {2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281, 3217, 4253, 4423, 9689, 9941, 11213, 19937, 21701, 23209, 44497, 86243, 110503, 132049, 216091, 756839, 859433, 1257787, 1398269, 2976221, 3021377, 6972593, 13466917, 20996011, 24036583, 25964951, 30402457, 32582657, 37156667, 42643801, 43112609, 57885161, 74207281, 77232917, 82589933};
nMp = Length[MpData]; lcsl = ConstantArray[0, nMp*(nMp - 1)/2]; base = 2; count = 0;
ic = 0; While[ic < nMp, ic++; jc = 0; While[jc < nMp, jc++; If[ic < jc, count++; intlen1 = Length[IntegerDigits[MpData[[ic]], base]]; intlen2 = Length[IntegerDigits[MpData[[jc]], base]];
lcsl[[count]] = Length[LongestCommonSubsequence[IntegerDigits[MpData[[ic]], base, intlen1], IntegerDigits[MpData[[jc]], base, intlen2]]]/((intlen1 + intlen2)/2);];];];
lcsmean = N[Mean[lcsl]]; lcssd = N[StandardDeviation[lcsl]];
Print["Mean ± S.D. = ", lcsmean, " ± ", lcssd];
[/code]

The [B][COLOR="Red"]mean[/COLOR][/B] and the [B][COLOR="Blue"]standard deviation[/COLOR][/B] of the [B][COLOR="Red"]normalized lengths[/COLOR][/B] of the LCSs for [U]arbitrary pairs of prime numbers[/U] (in the same range as the prime exponents of Mersenne primes) are as follows:

[B][COLOR="Red"]Mean[/COLOR][/B] ± [B][COLOR="Blue"]S.D.[/COLOR][/B] ≈ [B][COLOR="Red"]0.309[/COLOR][/B] ± [B][COLOR="Blue"]0.064[/COLOR][/B].
[code]
(* Wolfram code *)
np = 1000; prange = PrimePi[82589933]; lcsl = ConstantArray[0, np*np]; base = 2; count = 0;
ic = 0; While[ic < np, ic++; jc = 0; While[jc < np, jc++; count++; pic = Prime[RandomInteger[{1, prange}]]; intlen1 = Length[IntegerDigits[pic, base]]; pjc = pic; While[pjc == pic, pjc = Prime[RandomInteger[{1, prange}]];]; intlen2 = Length[IntegerDigits[pjc, base]];
lcsl[[count]] = Length[LongestCommonSubsequence[IntegerDigits[pic, base, intlen1], IntegerDigits[pjc, base, intlen2]]]/((intlen1 + intlen2)/2); ];];
lcsmean = N[Mean[lcsl]]; lcssd = N[StandardDeviation[lcsl]];
Print["Mean ± S.D. = ", lcsmean, " ± ", lcssd];
[/code]

Dobri 2022-10-23 21:16

The [B][COLOR="Red"]mean[/COLOR][/B] and the [B][COLOR="Blue"]standard deviation[/COLOR][/B] of the [B][COLOR="Red"]normalized lengths[/COLOR][/B] of the longest common contiguous subsequences (LCSs) for [U]the 50 pairs of consecutive prime exponents of known Mersenne primes[/U] are as follows:

[B][COLOR="Red"]Mean[/COLOR][/B] ± [B][COLOR="Blue"]S.D.[/COLOR][/B] ≈ [B][COLOR="Red"]0.385[/COLOR][/B] ± [B][COLOR="Blue"]0.119[/COLOR][/B].
[code]
(* Wolfram code *)
MpData = {2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281, 3217, 4253, 4423, 9689, 9941, 11213, 19937, 21701, 23209, 44497, 86243, 110503, 132049, 216091, 756839, 859433, 1257787, 1398269, 2976221, 3021377, 6972593, 13466917, 20996011, 24036583, 25964951, 30402457, 32582657, 37156667, 42643801, 43112609, 57885161, 74207281, 77232917, 82589933};
nMp = Length[MpData]; lcsl = ConstantArray[0, nMp - 1]; base = 2; count = 0;
ic = 1; While[ic < nMp, ic++; count++; intlen1 = Length[IntegerDigits[MpData[[ic]], base]]; intlen2 = Length[IntegerDigits[MpData[[ic - 1]], base]];
lcsl[[count]] = Length[LongestCommonSubsequence[IntegerDigits[MpData[[ic]], base, intlen1], IntegerDigits[MpData[[ic - 1]], base, intlen2]]]/((intlen1 + intlen2)/2);];
lcsmean = N[Mean[lcsl]]; lcssd = N[StandardDeviation[lcsl]];
Print["Mean ± S.D. = ", lcsmean, " ± ", lcssd];
[/code]

Dobri 2022-10-24 05:44

1 Attachment(s)
The attached image shows the current [COLOR=Red][B]downward[/B][/COLOR] tendency of the linear fit of the [COLOR=Blue][B]normalized lengths[/B][/COLOR] of the longest common contiguous subsequences (LCSs) for [U]the 50 pairs of consecutive exponents of known Mersenne primes[/U].

For the graph of non-normalized lenghts, see post #8, [URL]https://mersenneforum.org/showpost.php?p=615342&postcount=8[/URL].
[code]
(*Wolfram code*)
SetDirectory[NotebookDirectory[]]; fname = NotebookDirectory[] <> "LCSnormalized.jpg";
MpData = {2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281, 3217, 4253, 4423, 9689, 9941, 11213, 19937, 21701, 23209, 44497, 86243, 110503, 132049, 216091, 756839, 859433, 1257787, 1398269, 2976221, 3021377, 6972593, 13466917, 20996011, 24036583, 25964951, 30402457, 32582657, 37156667, 42643801, 43112609, 57885161, 74207281, 77232917, 82589933};
nMp = Length[MpData]; lcsl = ConstantArray[0, nMp - 1]; base = 2; count = 0;
ic = 1; While[ic < nMp, ic++; count++; intlen1 = Length[IntegerDigits[MpData[[ic]], base]]; intlen2 = Length[IntegerDigits[MpData[[ic - 1]], base]];
lcsl[[count]] = Length[LongestCommonSubsequence[IntegerDigits[MpData[[ic]], base, intlen1], IntegerDigits[MpData[[ic - 1]], base, intlen2]]]/((intlen1 + intlen2)/2);];
lcslfit = LinearModelFit[lcsl, x, x];
Show[BarChart[lcsl], Plot[lcslfit[x], {x, 1, nMp}], Frame -> True]
Export[fname, Show[BarChart[lcsl], Plot[lcslfit[x], {x, 1, nMp}], Frame -> True]][/code]


All times are UTC. The time now is 04:19.

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2023, Jelsoft Enterprises Ltd.