mersenneforum.org  

Go Back   mersenneforum.org > Factoring Projects > FactorDB

Reply
 
Thread Tools
Old 2018-02-26, 07:40   #353
axn
 
axn's Avatar
 
Jun 2003

31×163 Posts
Default

(63^312*50-1)/17 had a fortunate (a^2-b^2) split for N-1, which itself had small factors and PRP-cofactors which the db itself took care of.
axn is online now   Reply With Quote
Old 2018-02-28, 16:49   #354
chris2be8
 
chris2be8's Avatar
 
Sep 2009

2·1,039 Posts
Default

Hello,

Proving (2^4780-2^1409-2)/2068586721298784272662 http://factordb.com/index.php?id=1100000001104437597 (1418 digits) prime will enable a N-1 proof that 2^4780-2^1409-1 http://factordb.com/index.php?id=1100000001104345788 (1439 digits) is prime.

I found this while checking numbers my script tried to prove by a combined proof. I managed to prove 2^4701-2^1079-1 prime by ECMing N-1 to T20 and adding enough factors to make the proof work.

Chris
chris2be8 is offline   Reply With Quote
Old 2018-02-28, 18:40   #355
MisterBitcoin
 
MisterBitcoin's Avatar
 
"Nuri, the dragon :P"
Jul 2016
Good old Germany

809 Posts
Default

I´ll take the prp1418 soon. I´m now checking the prp´s <500dd.
Slow, but steady process.

Last fiddled with by MisterBitcoin on 2018-02-28 at 18:49
MisterBitcoin is online now   Reply With Quote
Old 2018-02-28, 19:08   #356
MisterBitcoin
 
MisterBitcoin's Avatar
 
"Nuri, the dragon :P"
Jul 2016
Good old Germany

11001010012 Posts
Default

Quote:
Originally Posted by chris2be8 View Post
Hello,

Proving (2^4780-2^1409-2)/2068586721298784272662 http://factordb.com/index.php?id=1100000001104437597 (1418 digits) prime will enable a N-1 proof that 2^4780-2^1409-1 http://factordb.com/index.php?id=1100000001104345788 (1439 digits) is prime.

I found this while checking numbers my script tried to prove by a combined proof. I managed to prove 2^4701-2^1079-1 prime by ECMing N-1 to T20 and adding enough factors to make the proof work.

Chris
Done.
2^4701-2^1079-1 proven by N-1.
Next one please.
(Still focusing for prp´s <1500 dd. Some other might get proved by N+/-1 in the next hours.)
MisterBitcoin is online now   Reply With Quote
Old 2018-03-02, 20:06   #357
wblipp
 
wblipp's Avatar
 
"William"
May 2003
New Haven

2×7×132 Posts
Default

Quote:
Originally Posted by MisterBitcoin View Post
Done.
2^4701-2^1079-1 proven by N-1.
Next one please.
PRP list has many (2^a-2^b-2)/c that will prove the related 2^a-2^b-1 via N-1. I was going to make a list, but I think these are being worked on faster that I can compile.
wblipp is offline   Reply With Quote
Old 2018-05-15, 06:23   #358
axn
 
axn's Avatar
 
Jun 2003

31×163 Posts
Default

Proving the 613-digt cofactor of 435^325-1 will allow the N+1 proof of ((435^650-1)^2-2)/2. As it is, that latter number is very close to a combined N+1/N-1 proof (but not quite).
axn is online now   Reply With Quote
Old 2018-06-17, 10:39   #359
MisterBitcoin
 
MisterBitcoin's Avatar
 
"Nuri, the dragon :P"
Jul 2016
Good old Germany

809 Posts
Default

(100^984-1)*190/99+1 got proved by N-1.



N-1 was factored deep enough to prove N is prim, I only needed to push the button.
MisterBitcoin is online now   Reply With Quote
Old 2018-06-17, 13:21   #360
a1call
 
a1call's Avatar
 
"Rashid Naimi"
Oct 2015
Remote to Here/There

205510 Posts
Default

Quote:
Originally Posted by MisterBitcoin View Post
(100^984-1)*190/99+1 got proved by N-1.



N-1 was factored deep enough to prove N is prim, I only needed to push the button.
I am posting this at 9:19 AM.

That's the most beautiful prime I have ever seen after 19 itself.
How did you manage to formulate its form?

Last fiddled with by a1call on 2018-06-17 at 13:23
a1call is offline   Reply With Quote
Old 2018-06-17, 14:50   #361
MisterBitcoin
 
MisterBitcoin's Avatar
 
"Nuri, the dragon :P"
Jul 2016
Good old Germany

809 Posts
Default

Quote:
Originally Posted by a1call View Post
I am posting this at 9:19 AM.

That's the most beautiful prime I have ever seen after 19 itself.
How did you manage to formulate its form?

It was allready completed by FDB. Most of the factors where added in 2011.

I just pressed the prove button, that is all. I did some (very) small ECM on the two remaining cofactors (N-1), no small factors.

Indeed, it is a small, but very beautiful prime.
MisterBitcoin is online now   Reply With Quote
Old 2018-06-19, 08:44   #362
henryzz
Just call me Henry
 
henryzz's Avatar
 
"David"
Sep 2007
Cambridge (GMT/BST)

23·3·5·72 Posts
Default

(100^1167-1)*190/99+1 could do with some love.
henryzz is online now   Reply With Quote
Old 2018-06-19, 10:07   #363
a1call
 
a1call's Avatar
 
"Rashid Naimi"
Oct 2015
Remote to Here/There

205510 Posts
Default

So many 19s, so little time.
I was planning to start a thread specifically for the primes of the form 19....91.
But life is just too busy. No time for love.
a1call is offline   Reply With Quote
Reply



Similar Threads
Thread Thread Starter Forum Replies Last Post
Can two Mersenne numbers share a factor? James Heinrich Math 57 2011-09-12 14:16
Avoidance of self- & other-deception in proofs cheesehead Soap Box 71 2010-01-14 09:04
Curious and want to share about Prime number 23 spkarra PrimeNet 4 2009-11-20 03:54
Status of GIMPS proofs Brian-E Information & Answers 7 2007-08-02 23:15
Collection of Proofs? Orgasmic Troll Math 1 2004-12-30 15:10

All times are UTC. The time now is 12:01.


Sat Jul 17 12:01:14 UTC 2021 up 50 days, 9:48, 1 user, load averages: 1.15, 1.31, 1.28

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

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.