Choices for Manual Assignments

[wedgingt]

Originally Posted by lorgix

Welcome to the forum, Will!

I'm just recently realizing how little interest there is in extending factorizations...

Would you be interested in sorting out the data so that we can start proving primes and identifying composites to factor?

A lot of the data I have - nearly everything I have for prime exponents, e.g. - is on my web site. The smallest SPRP cofactors should be these. The first number after each 'd' (for "done", SPRP; 'D' is proven prime) is the cofactor; the second is the digits minus a fraction to allow my programs and scripts to sort them easily.

M( 4219 )C: 1634011915849
M( 4219 )C: 374348373815829857290734641903689
M( 4219 )C: 258085857757974624851934511097909374553
M( 4219 )C: 114993958477860428006858637956899699352321
M( 4219 )d:  611760320622902352693563428449827662833646555447394683993819887538653675159640546733294091435820678232847626728051311780486811992314060627280478124081246395367703065395628379229798484567033524980508298147381834842500517830771374326809992638093139763810900687459164776113881615120459020462993776191592628995187839512977555362842959599478236653029838269308344211903085271243864467522611982029685391369080765381925813330175419136171535468101767517057398672944647191786723993659555007707603474001622909538891185590651175590146890078742678787022838445618439025055391215178467257472363573515546737491872715105970159809948170002967447184206415504848281735415747373152186315868967197261143118100201293384979173989195922701785531873124767561468941841946749950458321454508943794516298236207482100740060326753815159848709310401022966571062387772521308913974551313672437241755776788437379944108451611736441089464518954373003909879958388559207171086674076763610779308296545549597719818266789389462349764636508037921227902307683540324022910269080927604507456508722592493836895095053574286360007503273274450411618538059187487509397564902691853893964372609625959 1145.9997629770

M( 7736 )C: 15473
M( 7736 )d:  9204491083726541729266567601471444329696631442344981431080754304338517202479825704708168361584443220173159746955658319872226827894696158427067368155867113488065513258508747555444435213793714645707333231354709392097881839581182784326394055584833662570305406399842719309326889563391133205121809640737536847612190163876346404787817387525638094982013601782945250606972114988322647360650287694307006008987227557105771507174425909017893011796996993964961154355753480435864294553880686455000837365767828673806742459951938371437326566489572167787070595907923956337478965698716896738108637875683461439370672939945722664550460118112314840960437168628395852506252366614840117258891067154642808373550316537689707097385866475178034598724990199374366941091632039248444592165926072488503954436734636696960611114179555123828676842815894123511610807438661339141915801655793131755397177593505570978799199492340891265152845166543749678711505995868169443966984963587657337523315541043519335991932587032243221833506118827959949035567629728410565768244083641612636803390113309291344892066167245002709645081207176400738835471592939623580395456780283517466070695133155570570494491777 1158.9998707342

M( 19320 )C: 1922335012613589603121
M( 19320 )d:  196379032258501556024415676425163706687541839294586972240452328978156114335863862009741402502598509804856922845147601135536745817573693899103382513811439525465020329680448574265807984163199392380855605393462072974810440395092334566713531332962694741922304458757315121278339240593529332024287658018380324546749139608299516086467126326309316159664431996961756069737915384761883061888266947579612804420346700281106164262300333619532351916132555257490332361537692624809832787157249810950795337533953407118109708915927472925955002123723882850879065605319514889897398677582405705996122769084129400888794874491888927112761649141199226859843967254941151499388196078709046916748038593402484467762026476450750100937458887901968787453157519897353844026633985109234553403279362094792022872618073109325326136526370534932388362822155851932425799224314982415615679303595071661230226591709326244326655825657770982771235993754464087584834062234871378980470839377623390266223263161961137371290048108594561250674167098384156621014196009516880649650468447512777219325494960634853345004956080341996261874111188971156812759463969249148060501837163348351761780347832177622997420095846470785287526053719548241280664958041154007473367374475649625858763805170414860250013119201 1250.9999482402

M( 12918 )C: 160003471867
M( 12918 )C: 1644335785369
M( 12918 )C: 5044861106732953267
M( 12918 )d:  431589574935531353309018531528828891172605069305527622299502156711176952536155695763413037400701037585916093015928470422492225238544843196176670311446191068558470000690155545433573374896329062638377598073286126572303130670635240867764895156295561298607815401715713632911520351740730049209904743282048118090995179615567564382016808434438846904591105527881685266212035710082593515191024592237932382297233850725215617614882601436224366289964975102525617187521619148069533903230444880134798290780459895458685451586756056091521239575036885707367648144325041266579211791903604286273812388046693691316985970394441720968695593608950053227381883288663156111270887947198025965768577510037111307401242634276977913185529303745857850138965693311338518615148164561119869369402105097487874775677540992157756904525645883251492069836366428336200876062079097376513420921474876304551852077009733949067444120570384575879351268057539594505481295786480457280800923515367020187951039303452584251327247154917711326188675102109143233185013159331994587257348461394806622365105991194104462098505313353637995735696313450324061791299828943408716037286301931775831297808064874629871874710227586616530843015227636173746935723298765282402036785646696465118867690188357911353669608593251 1253.9999225886

I should have ECPP primality certificates for all shorter proven prime cofactors.

The smallest known-composite cofactors and smallest SPRP cofactors can also be pulled from my data fairly easily.

[Mini-Geek]

For data that is very wide or high, (like yours with the long cofactors) it's preferred that you put it in [code] tags for better formatting.

Added in moderation

[Mr. P-1]

Originally Posted by wedgingt

As an example of the additional data that I have, here is what I have for this exponent and some of its neighbors that have data. Note that not all of the exponents are prime. 'H' is highest trial factoring, 'c' is digits in the composite cofactor (by LL test when there's no known factor), 'o' is P-1 bounds, 'C' is a known factor, etc. The format is described on my web site and programs I've written can read and write it.

Thanks for that. From what I've been able to work out, based upon what it says on your website (which may be out of date), your downloadable files include the factors of all fully-factored Mersenne numbers (FactoredM.txt), data (including factors and factoring limits) on all other Mersenne Numbers less than 200,000 (LowM.txt), and all factors of all incompletely-factored prime-exponent Mersenne Numbers (results.pfk).

Additionally you keep, but don't make available on your website, data, including factoring limits, on all Mersenne numbers with exponents up to 2^31, and for larger prime exponents. Clearly you also keep data on some composite-exponents above this boundary too, based upon the sample you gave above.

I'm grateful that you keep this data, but it's format and availability doesn't lend itself to a large-scale factoring effort in the way that PrimeNet does. I also wonder how complete and up-to-date it is? For example, the ECM work recorded in LowM for M929 seems a lot less than PrimeNet is showing.

[wblipp]

Originally Posted by Mr. P-1

For example, the ECM work recorded in LowM for M929 seems a lot less than PrimeNet is showing.

For many years Will has been the world's keeper of Mersenne factors. Keeping track of the world's ECM, TF, and P-1 work is, however, a nearly impossible task. Will can only reasonably know about what people tell him. Most projects and most people do not tell anyone about factoring failures.

[Mr. P-1]

Originally Posted by wblipp

For many years Will has been the world's keeper of Mersenne factors. Keeping track of the world's ECM, TF, and P-1 work is, however, a nearly impossible task. Will can only reasonably know about what people tell him. Most projects and most people do not tell anyone about factoring failures.

I intend no criticism of Will. Quite the contrary: I'm grateful he maintains the info he does. My point is that it would be better if PrimeNet could be extended to coordinate this work. At least, that's what it looks like to someone on the outside who isn't aware of the constraints PrimeNet may operate under.

[lorgix]

I ran the cofactor of M5087. It has probably been done before...

Would anyone care to compile a list of cofactors that are yet to be proven?

[wedgingt]

Originally Posted by lorgix

I ran the cofactor of M5087. It has probably been done before...

Would anyone care to compile a list of cofactors that are yet to be proven?

In case anyone is still interested, I have started to get back into this stuff after moving in January and just uploaded current data to a new 'mers' project on sourceforge.

In particular, see:

https://sourceforge.net/projects/mer...M.txt/download

... for the current state of Mersenne numbers that are completely factored - the cofactor is either proven prime ('D') with primo by me or SPRP according to the sprpgmp program in the mers package that I still maintain, now at that new sourceforge project, 'mers'.

-- Will

[GP2]

Will, your data is somewhat outdated. There is a definitive list at http://www.mersenne.ca/prp.php, although non-prime exponents are not considered at all.

All the probable-prime cofactors of Mersenne numbers with prime exponents less than or equal to M63,703 have been certified prime, mostly with primality certificates from Primo.

These primality certificates can be downloaded from factordb.com, for example go to
the M63703 page and click on the cofactor and then click on "Primality" to expand it, and "Download" to download the certificate file.

Above that (M82,939 and higher), no one has ventured to attempt to prove primality. The difficulty rises rather rapidly for higher exponents.

Newly discovered PRP cofactors are usually announced in the oddly-titled "disbelievers" thread on this forum.

[wedgingt]

Thanks, I had noticed factordb.com while trying to catch up here on the forums and have been pulling data from GIMPS automatically for years and been running on my own PCs when I have such that don't overheat ...


... including getting mfaktc working on my Linux box, pulling trial factoring tasks from and sending its results to the GIMPS web site automatically.


I'll start working on scripts to pull data from factordb.com and mersenne.ca; since I'm already using primo myself, adding that data should be straight forward.


Thanks, Will

[wedgingt]

Sourceforge says there have been 45 downloads already and this is the only place I have mentioned that, so ...


I noticed that there were still mentions of my old ISP, garlic.com, so I've changed those to mention Sourceforge or my newer personal email at
gmail.com.


I'm currently working on adding testing of the Perl scripts - I know they work fine for me (I've been using them for years now) but they aren't very well documented yet and I'm not sure how portable they are. I use them on Ubuntu Linux and MSWindows10 with Cygwin.



My primary email address is still wedgingt@acm.org.


Feel free to report any issues via Sourceforge's ticket system or email to me.



Thanks, Will

[wedgingt]

It looks like I have several primo primality certificates that factordb doesn't.
I've already uploaded a few by hand but it's hard to tell which ones I have that it doesn't, so I will likely end up automating the process, which will be messy.

In the other direction, I'll probably automate searching factordb for certificates my scripts are about to try to create.



-- Will