I don't know if it will be all wrong if we include:

[QUOTE=aketilander;352017]21422*2*(2^86243-1)+1 is 3-PRP![/QUOTE]

if so the list would also include proven PRPs and primes/PRPs for k:s which are not 0 or 1 (mod 4). Would that be OK? So far the above would be the only addition I guess.

[QUOTE=ET_;352175]
If I read it correctly, all red values on column F of sheet 03 "TF High Water Mark" (except for the new records of Tim Sorbera) should be replaced by those on column H.
[/QUOTE]
Yes, you got it right. The values in column F were more like a "note for myself". In fact, the old watermarks in column E (which I knew about, in fact only MM86243 is affected, the watermark of 1M which you just posted is NEW for me!), so all values in column E, need to be raised to the new watermarks, in column H. With the mention that all old ranges were doublechecked (i.e. I ran the k's from zero). I am still continuing, I want to raise all marks in the blue rows (16-28).

[QUOTE]
Rows 29, 30 and 31 still awaiting for confirmation.
[/QUOTE]Please don't update the history for MM#29,30,31. I honestly don't remember what I did there. I can not find any log files, and I tried to re-run some with the tools I currently have, it takes ages, I couldn't do that progress. I suspect I have some other "tools" in a computer which is dead now for about two months (if someone notified already the fact that my GIMPS output decreased in the last two months) and I will not have time to revive it till October (I will be in Germany from Sep.15 for about 10 days or so, somewhere close to Freiburg, btw. anyone there available for a beer? :smile:). I remember I worked #29-#33 in that computer for a while.

[QUOTE=LaurV;352185]Yes, you got it right. The values in column F were more like a "note for myself". In fact, the old watermarks in column E (which I knew about, in fact only MM86243 is affected, the watermark of 1M which you just posted is NEW for me!), so all values in column E, need to be raised to the new watermarks, in column H. With the mention that all old ranges were doublechecked (i.e. I ran the k's from zero). I am still continuing, I want to raise all marks in the blue rows (16-28).

Please don't update the history for MM#29,30,31. I honestly don't remember what I did there. I can not find any log files, and I tried to re-run some with the tools I currently have, it takes ages, I couldn't do that progress. I suspect I have some other "tools" in a computer which is dead now for about two months (if someone notified already the fact that my GIMPS output decreased in the last two months) and I will not have time to revive it till October (I will be in Germany from Sep.15 for about 10 days or so, somewhere close to Freiburg, btw. anyone there available for a beer? :smile:). I remember I worked #29-#33 in that computer for a while.[/QUOTE]

Thanks! :bow:

Now the history is updated.
BTW, you did a terrific job!!

I guessed you used PARI and pfgw for your search.

Luigi

2*140340*(2^1257787-1)+1 is prime!
 

A new, 378,638-digits prime has been found and proved.

Sadly, it doesn't divide MM34. :smile:

Luigi

[QUOTE=ET_;364341]A new, 378,638-digits prime has been found and proved.

Sadly, it doesn't divide MM34. :smile:

Luigi[/QUOTE]

Still a very nice find!

Very nice! It is not a PRP?

Which software proves these numbers prime when they are on of the form k*2^(p+1) -2k+1 ?

[QUOTE=ATH;364383]Very nice! It is not a PRP?

Which software proves these numbers prime when they are on of the form k*2^(p+1) -2k+1 ?[/QUOTE]

N=2*140340*(2^1257787-1)+1
2^1257787-1 is prime (and 140340 is trivially factored)
Thus, N-1's factorization is known.
So I'd go with an N-1 test for proving. :smile:

Nice find!

[QUOTE=Mini-Geek;364388]N=2*140340*(2^1257787-1)+1
2^1257787-1 is prime (and 140340 is trivially factored)
Thus, N-1's factorization is known.
So I'd go with an N-1 test for proving. :smile:

Nice find![/QUOTE]

That's exactly what I did before claiming this number prime. :smile:

I also aplied the GwPowMod function via a pfgw script to check that the factor was not a divisor of MM34.

Luigi

[QUOTE=ET_;364390]That's exactly what I did before claiming this number prime. :smile:Luigi[/QUOTE]

Did you use pfgw? How long did N-1 test take? and how long to test if factor of MM34?

Does pfgw or whatever software you use have to test 2^1257787-1 for primality first or can you specify, that you know it is prime?

[QUOTE=ATH;364407]Did you use pfgw? How long did N-1 test take? and how long to test if factor of MM34?

Does pfgw or whatever software you use have to test 2^1257787-1 for primality first or can you specify, that you know it is prime?[/QUOTE]

I used pfgw.

N-1 took less than 8000 seconds.
GwPowMod was about 4 times faster.
MM34 was given as a known prime factor of N-1 from an helper file, for the calculation.

It wasn't that hard, after all... the hard work is to sieve all the possible ks, PRP the candidates and testing for primality was just the tip of the iceberg.

Many thanks to Serge Batalov who tested all the survived Ks of MM34 (and many, many others) up to 130,000.

Now, looking at the [URL="http://www.doublemersennes.org/sieving/validi.php"]status[/URL] it seems that MM36 was left behind... anyone willing to give a pfgw shot to it? If you find a PRP you may add a 900,000 -digits long prime to your curriculum. :smile:

Note: the prime in fulldigits' size is available [URL="http://www.moreware.org/math/n.txt"]here[/URL].

Luigi

DoubleMersennes.org strikes again!
 

[SIZE="5"][COLOR="Red"]2*9488*(2^2976221-1)+1 is prime![/COLOR][/SIZE]

This 895,937 digits number has been proved prime; rankes #[COLOR="Red"]113[/COLOR] among the biggest primes of all times, is actually being tested by Chris Caldwell site.

It doesn't divide MM36, though.

We're getting closer and closer to the first million-digits prime for double Mersennes possible factors.

Luigi