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 L1139, one of those codes.
Code name (*): L1139 (See the descriptive data below.) Persons (*): 1 (counting humans only) Projects (*): 1 (counting projects only) Display (HTML): Harvey1, PSieve, Srsieve, PrimeGrid, LLR Number of primes: total 8 Unverified Primes: 0 (prime table entries marked 'Composite','Untested', or 'InProcess' Score for Primes (*): total 45.4190, on current list 45.1160 (normalized score 2) Entrance Rank (*): mean 396.00 (minimum 396, maximum 396)
Below is additional information about this entry.
Display (text): Harvey1, PSieve, Srsieve, PrimeGrid, LLR Display (short): Harvey1 Database id: 4471 (do not use this database id, it is subject to change) Proof program: LLR The primes from this code accounts for 0.020% of the (active) primes and 0.002% of the (active) score for this program. Entry last modified: 2022-05-16 17:50:23