12587 · 22462524 - 1
(Another of the Prime Pages' resources)
The Largest Known Primes Icon
  View this page in:   language help
 

At this site we maintain a list of the 5000 Largest Known Primes which is updated hourly. This list is the most important databases at The Prime Pages: a collection of research, records and results all about prime numbers. This page summarizes our information about one of these primes.

This prime's information:

field (help)value
Description:12587 · 22462524 - 1
Verification status (*):Proven
Official Comment:
Proof-code(s): (*):L2012 : Pedersen_K, Srsieve, CRUS, OpenPFGW, LLR
Decimal Digits:741298   (log10 is 741297.688964681)
Rank (*):603 (digit rank is 1)
Entrance Rank (*):544
Currently on list? (*):short
Submitted:5/24/2017 09:22:42 CDT
Last modified:5/24/2017 12:20:15 CDT
Database id:123396
Status Flags:TrialDiv
Score (*):45.7143 (normalized score 7.1981)

Verification data:

The Top 5000 Primes is a list for proven primes only. In order to maintain the integrity of this list, we seek to verify the primality of all submissions.  We are currently unable to check all proofs (ECPP, KP, ...), but we will at least trial divide and PRP check every entry before it is included in the list.
fieldvalue
prime_id123396
person_id9
machineUsing: Xeon (pool) 4c+4c 3.5GHz
whatprime
notesCommand: /home/caldwell/clientpool/1/pfgw64 -tp -q"12587*2^2462524-1" 2>&1
PFGW Version 3.7.7.64BIT.20130722.x86_Dev [GWNUM 27.11]
Primality testing 12587*2^2462524-1 [N+1, Brillhart-Lehmer-Selfridge]
Running N+1 test using discriminant 3, base 1+sqrt(3)
Detected in MAXERR>0.45 (round off check) in Exponentiator::Iterate
Iteration: 19/2462539 ERROR: ROUND OFF 0.5>0.45
(Test aborted, try again using the -a1 switch)
Running N+1 test using discriminant 3, base 1+sqrt(3)
Calling Brillhart-Lehmer-Selfridge with factored part 100.00%


12587*2^2462524-1 is prime! (8898.2129s+0.0010s)
[Elapsed time: 2.47 hours]
modified2017-08-07 13:02:22
created2017-05-24 09:23:02
id169047

Query times: 0.0003 seconds to select prime, 0.0005 seconds to seek comments.