20070721, 20:43  #1 
May 2005
2·809 Posts 
Search for prime GaussianMersenne norms (and GMcofactors)
OK, if we really want to start with GM and GQ search then we should convince Jean PennĂ© to modify LLR to include "factoringoverride" switch. IMO right now LLR spends too much time on factoring. Also when using prefactored files LLR does not resume factoring at indicated depth (e.g. 56 bits) but starts from the beginning  this actually works but only if you continue factoringonly assignments.
Finally, as far as GQ search is concerned there is still a range below GM36 to be tested. Last time I was in contact with Jean he was doing 500k600k range, and I have completed 600k700k range, so 700kGM36 range is still open for GQs  every GQ above 700k will enter TOP10 on the PRP record page Current status: Code:
till 600k  completed by Jean PennĂ© (GQonly effort) 600k  700k  completed by Cruelty (GQonly effort) 700k  GM36  completed by Thomas11 (GQonly effort, 1 GQ found) GM36  2M  completed by Cruelty (2 GMs + 5 GQs found) 2M  3.5M  completed by Batalov (1 GQ found) 3.5M  3.85M  completed by Batalov (1 GM found) 3.85M  4.3M  completed by Batalov 4.3M  4.7M  completed by Batalov (1GQ found) 4.7M  5.1M  reserved by Batalov (1 GM found) 3.85M  5M  prefactored till 55 bits by Citrix GM3740M  prefactored till 48 bits by Cruelty Code:
GM/GQ Decimal digits who when 2^3704053+2^1852027+1 1115032 Serge Batalov 09/2014 Gaussian Mersenne 39? 2^47920572^2396029+1 1442553 Serge Batalov 04/2014 Gaussian Mersenne 40? ((2^3960311)^2+1)/10 238434 Thomas Ritschel 03/2014 ((2^2266537+1)^2+1)/10 1364591 Serge Batalov 03/2014 ((2^11528911)^2+1)/10 694109 Serge Batalov 01/2014 ((2^9413941)^2+1)/10 566775 Borys Jaworski 11/2012 ((2^8346101)^2+1)/10 502485 Borys Jaworski 01/2011 2^16673212^833661+1 501914 Borys Jaworski 01/2011 Gaussian Mersenne 38? Last fiddled with by Batalov on 20140908 at 01:17 Reason: status update 
20070722, 14:22  #2 
May 2005
1618_{10} Posts 
Software: head to this page and download latest LLR version.
In order to start search you have to download gmfcandidates.zip file  it is prefactored till 32 bits. Then, choose your range. Available ranges AFAIK are:  700000 till GM36 (991961)  some missing GQ might be found  from 1203799 till ~40M (next GM and GQ) Remember to add Code:
TestGM=1 TestGQ=1 As for the timings, testing single exponent @ 1.2M takes 28002900 seconds on a C2D @ 3GHz, however you should also take into account factoring which unfortunately takes a lot of time right now and you cannot limit it to given value (for current exponents, I would say that 5051 bits is more than enough, unfortunately it goes till 59 bits AFAIR). The factoring depth really keeps me from continuing GM/GQ search right now. Last fiddled with by Cruelty on 20070722 at 14:53 
20070902, 17:47  #3 
May 2005
2·809 Posts 
I am prefactoring entire GM3740M exponent range till 48 bits using GM=1 and GQ=1 switches.
I'm just hoping that Jean will enable his LLR software to resume factoring when doing primality / prp test + introduces factoringdepth switch that would override predefined factoring depth values 
20071105, 02:09  #4 
Sep 2005
Raleigh, North Carolina
337 Posts 
how do you know what ranges are available.

20071105, 21:46  #5 
May 2005
2·809 Posts 
I am assuming that ranges above GM37 are available for testing  I am not 100% sure though
After I finish my factoring assignment (currently at 38.5M) I might do some ranges above GM37. Do you want to reserve some exponents grobie? I can also supply you with 48bit prefactored ranges 
20071105, 23:02  #6  
Sep 2005
Raleigh, North Carolina
151_{16} Posts 
Quote:
I tested 6 exponents just to see how long they took: 2^7494492^374725+1 is not prime. Proth RES64: 7DD5AC313F3329B5 (2^749449+2^374725+1)/5 is not prime. RES64: 71FE049240D82EDC Time: 4347.773 sec. 2^749453+2^374727+1 has a factor : 25766194141 and (2^7494532^374727+1)/5 has a factor : 13208359673 2^749461+2^374731+1 is not prime. Proth RES64: 67F095B7D67C1D8A (2^7494612^374731+1)/5 is not prime. RES64: 7A443C6113C3912E Time: 4107.029 sec. 2^749467+2^374734+1 is not prime. Proth RES64: E060ADCEE0746E68 (2^7494672^374734+1)/5 is not prime. RES64: A1A5C315C75F1E52 Time: 4067.686 sec. 2^7494712^374736+1 is not prime. Proth RES64: A6FE3FBE4262FCA1 (2^749471+2^374736+1)/5 is not prime. RES64: 7AECD6ED6B5E5ECD Time: 4092.372 sec. 2^7495432^374772+1 is not prime. Proth RES64: D5D342A9FB4F8824 (2^749543+2^374772+1)/5 is not prime. RES64: 2A9CF45A100CCDCE Time: 4085.882 sec. 

20071106, 18:14  #7 
May 2005
2·809 Posts 
Grobie, which range do you want to receive? Exponents are tested by me till 1203799. I can provide you with 295 exponents from 1203799 till 1210000. When you complete given range you can send the results to me.
You can also start with exponents between 700000 and GM36 hovewer you can only count on some PRPs in that range  besides, I haven't factored those. Last fiddled with by Cruelty on 20071106 at 18:14 
20071106, 22:52  #8  
Sep 2005
Raleigh, North Carolina
337 Posts 
Quote:
Thanks Tony 

20071111, 21:23  #9 
May 2005
652_{16} Posts 
I have finnished factoring entire GM3740M exponent range till 48bits. Hopefully Jean reads it and will make the changes to LLR that I have already mentioned...
Jean, if you want I can send you the 48bit result file to replace your 32bit file 
20071216, 16:05  #10 
May 2005
2·809 Posts 
I am reserving 1.21M1.22M range.

20071217, 10:37  #11 
Sep 2005
Raleigh, North Carolina
337 Posts 
Update
I have just resumed range 1203799 till 1210000, 110 out of 295 exponents tested.

Thread Tools  
Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
New PC dedicated to Mersenne Prime Search  Taiy  Hardware  12  20180102 15:54 
Gaussian integers use of norms  devarajkandadai  Number Theory Discussion Group  11  20171028 20:58 
Low clock speeds on Mersenne Prime search  Ammonia  Hardware  2  20160121 17:46 
Testing Mersenne cofactors for primality?  CRGreathouse  Computer Science & Computational Number Theory  18  20130608 19:12 
Can I specify the range to search the Mersenne Prime?  Unregistered  Information & Answers  22  20120320 11:38 