Proof-code: FE1

Samuel Yates began, and this site continues, a database of the largest known primes. Primes in that database are assigned a proof-code to show who should be credited with the discovery as well as what programs and projects they used. (Discoverers have one prover-entry, but may have many proof-codes because they use a variety of programs...)

This page provides data on FE1, one of those codes.

Code name (*):FE1   (See the descriptive data below.)
Persons (*):1 (counting humans only)
Projects (*):0 (counting projects only)
Display (HTML):Morain, FastECPP
Number of primes:total 15
Unverified Primes:0 (prime table entries marked 'Composite','Untested', or 'InProcess'
Score for Primes (*):total 36.4740

Descriptive Data: (report abuse)
The number


is prime. Interested readers may read

for the origin of this number.

It has 20,562 decimal digits and the proof was built using
fastECPP [1] on several networks of workstations. It was suggested as a
challenge for primality proving. Since machines are more available
than human time, letting them work for a somewhat unreasonnable amount
of time is not an issue, as long as only one human check is needed
from time to time. Thanks to stable power supply, and network, let
alone a stable program, this record was possible. The computations
were started on 32-bit machines (Sep-Oct 2005), and finished on nine
64-bit bi-processors (Feb-June 2006).

Cumulated timings are given w.r.t. AMD Opteron(tm) Processor 250 at
2.39 GHz.

1st phase: 1900 days (396 for sqrt; 384 for Cornacchia; 1353 for PRP tests)
2nd phase:  319 days (8 days for building all H_D's; 277 for solving H_D mod p)

The certificate (48Mb compressed) can be found at:

It took 10 days to check the 1765 proof steps on a single processor.

F. Morain

I am a member of this code and I would like to:
Edit the descriptive data above as:

Below is additional information about this entry.

Display (text):Morain, FastECPP
Display (short):Morain
Database id:847 (do not use this database id, it is subject to change)
Proof program:FastECPP  
Entry last modified:2022-07-06 03:50:16
Printed from the PrimePages <> © Chris Caldwell.