Primality of these probable primes (https://en.wikipedia.org/wiki/Probable_prime, https://t5k.org/glossary/xpage/PRP.html, https://www.rieselprime.de/ziki/Probable_prime, https://mathworld.wolfram.com/ProbablePrime.html, http://www.primenumbers.net/prptop/prptop.php, https://stdkmd.net/nrr/records.htm#probableprimenumbers, https://stdkmd.net/nrr/repunit/prpfactors.htm, https://www.alfredreichlg.de/10w7/prp.html, http://factordb.com/listtype.php?t=1) in the minimal sets for bases 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 20, 22, 24, 26, 28, 30, 36 (the solved or near-solved bases, i.e. the bases *b* with ≤ 6 unsolved families) are not certificated yet (technically, probable primality tests (https://en.wikipedia.org/wiki/Probabilistic_algorithm) such as Miller–Rabin primality test (https://t5k.org/prove/prove2_3.html, https://en.wikipedia.org/wiki/Miller%E2%80%93Rabin_primality_test, https://en.wikipedia.org/wiki/Strong_pseudoprime, https://t5k.org/glossary/xpage/MillersTest.html, https://t5k.org/glossary/xpage/StrongPRP.html, https://www.rieselprime.de/ziki/Miller-Rabin_pseudoprimality_test, https://mathworld.wolfram.com/Rabin-MillerStrongPseudoprimeTest.html, https://mathworld.wolfram.com/StrongPseudoprime.html, http://www.numericana.com/answer/pseudo.htm#rabin, http://www.numericana.com/answer/pseudo.htm#strong, http://www.javascripter.net/math/primes/millerrabinprimalitytest.htm, http://ntheory.org/data/spsps.txt, https://faculty.lynchburg.edu/~nicely/misc/mpzspsp.html, http://factordb.com/prooffailed.php, https://sites.google.com/view/strong-pseudoprime, https://sites.google.com/view/bases-strong-pseudoprime, https://oeis.org/A001262, https://oeis.org/A020229, https://oeis.org/A020231, https://oeis.org/A020233, https://oeis.org/A072276, https://oeis.org/A056915, https://oeis.org/A074773, https://oeis.org/A014233, https://oeis.org/A006945, https://oeis.org/A181782, https://oeis.org/A071294, https://oeis.org/A141768, https://oeis.org/A195328, https://oeis.org/A329759, https://oeis.org/A298756) and Baillie–PSW primality test (https://en.wikipedia.org/wiki/Baillie%E2%80%93PSW_primality_test, https://mathworld.wolfram.com/Baillie-PSWPrimalityTest.html) are used for these numbers (and thus these numbers are only probable primes and not definitely primes (https://en.wikipedia.org/wiki/Provable_prime, https://stdkmd.net/nrr/records.htm#primenumbers, http://factordb.com/listtype.php?t=4), i.e. they *might* be pseudoprimes (https://en.wikipedia.org/wiki/Pseudoprime, https://t5k.org/glossary/xpage/Pseudoprime.html, https://www.rieselprime.de/ziki/Pseudoprime, https://mathworld.wolfram.com/Pseudoprime.html, http://www.numericana.com/answer/pseudo.htm, https://www.mathpages.com/home/kmath003/kmath003.htm)), because of their sizes and neither *N*−1 (https://t5k.org/prove/prove3_1.html, http://bln.curtisbright.com/2013/10/09/the-n-1-and-n1-primality-tests/, https://en.wikipedia.org/wiki/Pocklington_primality_test, https://www.rieselprime.de/ziki/Pocklington%27s_theorem, https://mathworld.wolfram.com/PocklingtonsTheorem.html, https://stdkmd.net/nrr/pock/, http://factordb.com/nmoverview.php?method=1) nor *N*+1 (https://t5k.org/prove/prove3_2.html, http://bln.curtisbright.com/2013/10/09/the-n-1-and-n1-primality-tests/, http://factordb.com/nmoverview.php?method=2) can be ≥ 1/4 factored (https://en.wikipedia.org/wiki/Integer_factorization, https://www.rieselprime.de/ziki/Factorization, https://mathworld.wolfram.com/PrimeFactorization.html, https://mathworld.wolfram.com/PrimeFactorizationAlgorithms.html, http://www.numericana.com/answer/factoring.htm) (i.e. they are ordinary primes (https://t5k.org/glossary/xpage/OrdinaryPrime.html)), all known primality tests (https://en.wikipedia.org/wiki/Primality_test, https://www.rieselprime.de/ziki/Primality_test, https://mathworld.wolfram.com/PrimalityTest.html) run far too slowly (the CPU time (https://en.wikipedia.org/wiki/CPU_time) is longer than the life expectancy of human (https://en.wikipedia.org/wiki/Life_expectancy) for numbers > 10100000, and longer than the age of the universe (https://en.wikipedia.org/wiki/Age_of_the_universe) for numbers > 10500000, and longer than one quettasecond (https://en.wikipedia.org/wiki/Quetta-) for numbers > 103000000, even if we can do 109 bitwise operations (https://en.wikipedia.org/wiki/Bitwise_operation) per second (https://en.wikipedia.org/wiki/Second), see https://mersenneforum.org/showpost.php?p=627117&postcount=1) to run on these numbers, the only known primality test with polynomial time (https://en.wikipedia.org/wiki/Time_complexity#Polynomial_time, https://mathworld.wolfram.com/PolynomialTime.html) of the number of digits is Agrawal–Kayal–Saxena primality test (https://en.wikipedia.org/wiki/AKS_primality_test, https://mathworld.wolfram.com/AKSPrimalityTest.html, https://t5k.org/prove/prove4_3.html, http://www.numericana.com/answer/primes.htm#aks, http://cr.yp.to/papers/aks-20030125-retypeset20220327.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_70.pdf), http://www.cse.iitk.ac.in/users/manindra/algebra/primality_v6.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_231.pdf)), but it has time complexity (https://en.wikipedia.org/wiki/Time_complexity) *O*(*log*(*n*)12) (where *O* is the big O notation (https://en.wikipedia.org/wiki/Big_O_notation, https://t5k.org/glossary/xpage/BigOh.html, https://mathworld.wolfram.com/Big-ONotation.html), *log* is the natural logarithm (https://en.wikipedia.org/wiki/Natural_logarithm, https://t5k.org/glossary/xpage/Log.html, https://mathworld.wolfram.com/NaturalLogarithm.html)) and if we can do 109 bitwise operations (https://en.wikipedia.org/wiki/Bitwise_operation) per second (https://en.wikipedia.org/wiki/Second), use this test to prove the primality of a 5000-digit (in decimal) prime needs 5.422859049×1039 seconds (https://en.wikipedia.org/wiki/Second), or 1.719577324×1032 years (https://en.wikipedia.org/wiki/Year), much longer than the age of the universe (https://en.wikipedia.org/wiki/Age_of_the_universe), thus to do this test is still impractically, also a near-polynomial time (although not completely polynomial time) primality test, Adleman–Pomerance–Rumely primality test (https://en.wikipedia.org/wiki/Adleman%E2%80%93Pomerance%E2%80%93Rumely_primality_test, https://www.rieselprime.de/ziki/Adleman%E2%80%93Pomerance%E2%80%93Rumely_primality_test, https://mathworld.wolfram.com/Adleman-Pomerance-RumelyPrimalityTest.html, https://t5k.org/prove/prove4_1.html), which has time complexity *O*(*log*(*n*)*log*(*log*(*log*(*n*)))) and also too large, for the difference of the large definitely primes (https://en.wikipedia.org/wiki/Provable_prime, https://stdkmd.net/nrr/records.htm#primenumbers, http://factordb.com/listtype.php?t=4) and the large probable primes (https://en.wikipedia.org/wiki/Probable_prime, https://t5k.org/glossary/xpage/PRP.html, https://www.rieselprime.de/ziki/Probable_prime, https://mathworld.wolfram.com/ProbablePrime.html, http://www.primenumbers.net/prptop/prptop.php, https://stdkmd.net/nrr/records.htm#probableprimenumbers, https://stdkmd.net/nrr/repunit/prpfactors.htm, https://www.alfredreichlg.de/10w7/prp.html, http://factordb.com/listtype.php?t=1), you can compare the top definitely primes page (https://t5k.org/primes/lists/all.txt) and the top probable primes page (http://www.primenumbers.net/prptop/prptop.php), also see https://stdkmd.net/nrr/prime/primesize.txt and https://stdkmd.net/nrr/prime/primesize.zip (see which numbers are proven primes and which numbers are only probable primes), also see https://stdkmd.net/nrr/records.htm (compare the sections "Prime numbers" and "Probable prime numbers")), all of these probable primes are > 1025000, if they are in fact primes, then they are minimal primes to the corresponding bases.
If we want to use the classical tests (https://t5k.org/prove/prove3.html) to prove the primality of a large probable prime *N*, then we must factor *N*−1 or *N*+1 to the factored part ≥ 1/4, see https://mersenneforum.org/showpost.php?p=529633&postcount=410 and https://mersenneforum.org/showpost.php?p=534290&postcount=412 and https://mersenneforum.org/showpost.php?p=538954&postcount=414 and https://mersenneforum.org/showpost.php?p=564758&postcount=428 and https://stdkmd.net/nrr/repunit/changes200401.htm (the related numbers for the known repunit probable primes) and https://stdkmd.net/nrr/cert/1/ and https://stdkmd.net/nrr/cert/2/ and https://stdkmd.net/nrr/cert/3/ and https://stdkmd.net/nrr/cert/4/ and https://stdkmd.net/nrr/cert/5/ and https://stdkmd.net/nrr/cert/6/ and https://stdkmd.net/nrr/cert/7/ and https://stdkmd.net/nrr/cert/8/ and https://stdkmd.net/nrr/cert/9/ (e.g. the large prime factor of *Φ*4807(10) (where *Φ* is the cyclotomic polynomial (https://en.wikipedia.org/wiki/Cyclotomic_polynomial, https://mathworld.wolfram.com/CyclotomicPolynomial.html, http://www.numericana.com/answer/polynomial.htm#cyclotomic, https://stdkmd.net/nrr/repunit/repunitnote.htm#cyclotomic, https://oeis.org/A013595, https://oeis.org/A013596, https://oeis.org/A253240) is related to the prime 1480701, the large prime factor of 1521961 is related to the prime 93219507, the large prime factor of 1642957 is related to the prime 3128907, the large prime factor of 2012692 is related to the prime 2012693, the large prime factor of *Φ*5014(10) (where *Φ* is the cyclotomic polynomial (https://en.wikipedia.org/wiki/Cyclotomic_polynomial, https://mathworld.wolfram.com/CyclotomicPolynomial.html, http://www.numericana.com/answer/polynomial.htm#cyclotomic, https://stdkmd.net/nrr/repunit/repunitnote.htm#cyclotomic, https://oeis.org/A013595, https://oeis.org/A013596, https://oeis.org/A253240) is related to the prime 231002709, the large prime factor of *Φ*7884(10) (where *Φ* is the cyclotomic polynomial (https://en.wikipedia.org/wiki/Cyclotomic_polynomial, https://mathworld.wolfram.com/CyclotomicPolynomial.html, http://www.numericana.com/answer/polynomial.htm#cyclotomic, https://stdkmd.net/nrr/repunit/repunitnote.htm#cyclotomic, https://oeis.org/A013595, https://oeis.org/A013596, https://oeis.org/A253240) is related to the prime 37157673, the large prime factor of 680537387 is related to the prime 27237407, the large prime factor of *Φ*1283(10) (where *Φ* is the cyclotomic polynomial (https://en.wikipedia.org/wiki/Cyclotomic_polynomial, https://mathworld.wolfram.com/CyclotomicPolynomial.html, http://www.numericana.com/answer/polynomial.htm#cyclotomic, https://stdkmd.net/nrr/repunit/repunitnote.htm#cyclotomic, https://oeis.org/A013595, https://oeis.org/A013596, https://oeis.org/A253240) is related to the prime 6851313, the large prime factor of *Φ*2907(10) (where *Φ* is the cyclotomic polynomial (https://en.wikipedia.org/wiki/Cyclotomic_polynomial, https://mathworld.wolfram.com/CyclotomicPolynomial.html, http://www.numericana.com/answer/polynomial.htm#cyclotomic, https://stdkmd.net/nrr/repunit/repunitnote.htm#cyclotomic, https://oeis.org/A013595, https://oeis.org/A013596, https://oeis.org/A253240) is related to the prime 791162721, the large prime factor of *Φ*11470(10) (where *Φ* is the cyclotomic polynomial (https://en.wikipedia.org/wiki/Cyclotomic_polynomial, https://mathworld.wolfram.com/CyclotomicPolynomial.html, http://www.numericana.com/answer/polynomial.htm#cyclotomic, https://stdkmd.net/nrr/repunit/repunitnote.htm#cyclotomic, https://oeis.org/A013595, https://oeis.org/A013596, https://oeis.org/A253240) is related to the prime 80573481, the large prime factor of 83542165427 (a number in a non-simple family 8{3}1{6}7) is related to the prime 1325603), and except trial division (https://en.wikipedia.org/wiki/Trial_division, https://t5k.org/glossary/xpage/TrialDivision.html, https://www.rieselprime.de/ziki/Trial_factoring, https://mathworld.wolfram.com/TrialDivision.html, http://www.numericana.com/answer/factoring.htm#trial, https://oeis.org/A189172) with the primes up to certain limit (say 1016) and the algebra factors (https://en.wikipedia.org/w/index.php?title=Factorization&oldid=1143370673#Factoring_other_polynomials, https://mathworld.wolfram.com/PolynomialFactorization.html, http://www.numericana.com/answer/factoring.htm#special, https://stdkmd.net/nrr/repunit/repunitnote.htm#repunit_factorization, https://stdkmd.net/nrr/1/10004.htm#about_algebraic, https://stdkmd.net/nrr/1/10008.htm#about_algebraic, https://stdkmd.net/nrr/1/13333.htm#about_algebraic, https://stdkmd.net/nrr/3/39991.htm#about_algebraic, https://stdkmd.net/nrr/4/40001.htm#about_algebraic, https://stdkmd.net/nrr/4/49992.htm#about_algebraic, https://stdkmd.net/nrr/5/53333.htm#about_algebraic, https://stdkmd.net/nrr/5/54444.htm#about_algebraic, https://stdkmd.net/nrr/5/55552.htm#about_algebraic, https://stdkmd.net/nrr/7/71111.htm#about_algebraic, https://stdkmd.net/nrr/7/79999.htm#about_algebraic, https://stdkmd.net/nrr/8/83333.htm#about_algebraic, https://stdkmd.net/nrr/8/88878.htm#about_algebraic, https://stdkmd.net/nrr/8/88889.htm#about_algebraic, https://stdkmd.net/nrr/8/89996.htm#about_algebraic, https://stdkmd.net/nrr/8/89999.htm#about_algebraic, https://stdkmd.net/nrr/9/99919.htm#about_algebraic, https://stdkmd.net/nrr/9/99991.htm#about_algebraic, https://stdkmd.net/nrr/9/99992.htm#about_algebraic, https://sites.google.com/view/factorsofk2n-1foroddk20000, https://brnikat.com/nums/cullen_woodall/algebraic.txt, https://www.numberempire.com/factoringcalculator.php, https://www.emathhelp.net/calculators/algebra-2/factoring-calculator/) (e.g. difference-of-two-squares factorization (https://en.wikipedia.org/wiki/Difference_of_two_squares), sum/difference-of-two-cubes factorization (https://en.wikipedia.org/wiki/Sum_of_two_cubes), difference-of-two-*n*th-powers factorization with *n* > 1 (https://en.wikipedia.org/wiki/Binomial_number, https://mathworld.wolfram.com/BinomialNumber.html), sum/difference-of-two-*n*th-powers factorization with odd *n* > 1 (https://en.wikipedia.org/wiki/Binomial_number, https://mathworld.wolfram.com/BinomialNumber.html), Aurifeuillean factorization (https://en.wikipedia.org/wiki/Aurifeuillean_factorization, https://www.rieselprime.de/ziki/Aurifeuillian_factor, https://mathworld.wolfram.com/AurifeuilleanFactorization.html, http://www.numericana.com/answer/numbers.htm#aurifeuille, http://pagesperso-orange.fr/colin.barker/lpa/cycl_fac.htm, http://list.seqfan.eu/oldermail/seqfan/2017-March/017363.html, http://myfactorcollection.mooo.com:8090/source/cyclo.cpp, http://myfactorcollection.mooo.com:8090/LCD_2_199, http://myfactorcollection.mooo.com:8090/LCD_2_998, https://stdkmd.net/nrr/repunit/repunitnote.htm#aurifeuillean, https://www.unshlump.com/hcn/aurif.html, https://www.ams.org/journals/mcom/2006-75-253/S0025-5718-05-01766-7/S0025-5718-05-01766-7.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_138.pdf), https://maths-people.anu.edu.au/~brent/pd/rpb127.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_164.pdf), https://www.jams.jp/scm/contents/Vol-2-3/2-3-16.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_167.pdf)) of *x*4+4×*y*4 or *x*6+27×*y*6, and the algebra factors of the Cunningham number (https://en.wikipedia.org/wiki/Cunningham_number, https://mathworld.wolfram.com/CunninghamNumber.html, https://www.numbersaplenty.com/set/Cunningham_number/, https://en.wikipedia.org/wiki/Cunningham_Project, https://t5k.org/glossary/xpage/CunninghamProject.html, https://www.rieselprime.de/ziki/Cunningham_project, https://homes.cerias.purdue.edu/~ssw/cun/index.html, https://maths-people.anu.edu.au/~brent/factors.html, https://web.archive.org/web/20190315214330/http://cage.ugent.be/~jdemeyer/cunningham/, http://myfactors.mooo.com/, https://doi.org/10.1090/conm/022, https://www.mersenneforum.org/attachment.php?attachmentid=7727&d=1330555980 (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_7.pdf), https://homes.cerias.purdue.edu/~ssw/cun/mine.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_6.pdf), http://homes.cerias.purdue.edu/~ssw/cun1.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_71.pdf)) *b**n*±1 (see https://stdkmd.net/nrr/repunit/repunitnote.htm and https://brnikat.com/nums/cullen_woodall/algebraic.txt)), we can use the elliptic-curve factorization method (https://en.wikipedia.org/wiki/Lenstra_elliptic-curve_factorization, https://www.rieselprime.de/ziki/Elliptic_curve_method, https://mathworld.wolfram.com/EllipticCurveFactorizationMethod.html, http://www.numericana.com/answer/factoring.htm#ecm, http://factordb.com/listecm.php?c=1, http://www.loria.fr/~zimmerma/ecmnet/, http://www.loria.fr/~zimmerma/records/ecmnet.html, http://www.loria.fr/~zimmerma/records/factor.html, http://www.loria.fr/~zimmerma/records/top50.html, https://stdkmd.net/nrr/records.htm#largefactorecm, http://mklasson.com/factors/viewlog.php?hide_algebraic=true&sort=2&order=desc&method=ecm&maxrows=100, http://maths-people.anu.edu.au/~brent/factors.html, http://maths-people.anu.edu.au/~brent/ftp/champs.txt, https://www.alpertron.com.ar/ECM.HTM, https://www.alpertron.com.ar/ECMREC.HTM, https://homes.cerias.purdue.edu/~ssw/cun/press/tech.html, https://homes.cerias.purdue.edu/~ssw/cun/press/nontech.html, https://kurtbeschorner.de/ecm-efforts.htm, http://www.rechenkraft.net/yoyo//y_factors_ecm.php, http://www.rechenkraft.net/yoyo/y_status_ecm.php) (elliptic-curve factorization method need to calculate the group order, for the tools to calculate the group order, see http://myfactorcollection.mooo.com:8090/calculators.html (section "Group Order") and http://factordb.com/groupcalc.php and https://www.mersenneforum.org/showthread.php?t=14184 (a *Magma* script, you can use online Magma calculator (http://magma.maths.usyd.edu.au/calc/) to run)) or the Pollard *P*−1 method (https://en.wikipedia.org/wiki/Pollard%27s_p_%E2%88%92_1_algorithm, https://www.rieselprime.de/ziki/P-1_factorization_method, https://mathworld.wolfram.com/Pollardp-1FactorizationMethod.html, http://mklasson.com/factors/viewlog.php?hide_algebraic=true&sort=2&order=desc&method=p-1&maxrows=100, http://www.numericana.com/answer/factoring.htm#p-1, http://factordb.com/listecm.php?c=2, http://www.loria.fr/~zimmerma/records/Pminus1.html) or the Williams *P*+1 method (https://en.wikipedia.org/wiki/Williams%27s_p_%2B_1_algorithm, https://www.rieselprime.de/ziki/P%2B1_factorization_method, https://mathworld.wolfram.com/WilliamspPlus1FactorizationMethod.html, http://mklasson.com/factors/viewlog.php?hide_algebraic=true&sort=2&order=desc&method=p%2b1&maxrows=100, http://www.numericana.com/answer/factoring.htm#p+1, http://factordb.com/listecm.php?c=3, http://www.loria.fr/~zimmerma/records/Pplus1.html) or the special number field sieve (https://en.wikipedia.org/wiki/Special_number_field_sieve, https://www.rieselprime.de/ziki/Special_number_field_sieve, https://mathworld.wolfram.com/NumberFieldSieve.html, https://stdkmd.net/nrr/records.htm#BIGSNFS, http://mklasson.com/factors/viewlog.php?hide_algebraic=true&sort=2&order=desc&method=snfs&maxrows=100, https://stdkmd.net/nrr/wanted.htm#smallpolynomial) or the general number field sieve (https://en.wikipedia.org/wiki/General_number_field_sieve, https://www.rieselprime.de/ziki/General_number_field_sieve, https://mathworld.wolfram.com/NumberFieldSieve.html, https://stdkmd.net/nrr/records.htm#BIGGNFS, http://mklasson.com/factors/viewlog.php?hide_algebraic=true&sort=2&order=desc&method=gnfs&maxrows=100, https://stdkmd.net/nrr/wanted.htm#suitableforgnfs), to factor these numbers (see http://www.numericana.com/answer/factoring.htm), elliptic-curve factorization method and Pollard *P*−1 method and Williams *P*+1 method are methods which find a non-large (say between 1020 and 1090) prime factor, an elliptic-curve factorization program is *GMP*-*ECM* (https://web.archive.org/web/20210803045418/https://gforge.inria.fr/projects/ecm, https://github.com/xayahrainie4793/prime-programs-cached-copy/tree/main/ecm704dev-svn2990-win64, https://github.com/xayahrainie4793/prime-programs-cached-copy/tree/main/ecm704dev-svn2990-linux64, https://www.rieselprime.de/ziki/GMP-ECM), special number field sieve and general number field sieve are methods which factor a large number (say between 10100 and 10400), special number field sieve can only be used on a number of special form, e.g. numbers of the form *a*×*b**n*±*c* with small *a*, *b*, *c* and large *n*, and cannot be used for general numbers such as *a*×*n*!±*c* and *a*×*p*#±*c* (where ! is the factorial (https://en.wikipedia.org/wiki/Factorial, https://t5k.org/glossary/xpage/Factorial.html, https://www.rieselprime.de/ziki/Factorial_number, https://mathworld.wolfram.com/Factorial.html), # is the primorial (https://en.wikipedia.org/wiki/Primorial, https://t5k.org/glossary/xpage/Primorial.html, https://mathworld.wolfram.com/Primorial.html)) with small *a*, *c* and (large *n* or large prime *p*), the difficulty (https://www.rieselprime.de/ziki/SNFS_polynomial_selection) of such a number is equivalent to general number field sieve for a general number around *b*3×*n*/2, thus, for the Cunningham number *b**n*±1, if the primitive part (i.e. *Φ**n*(*b*) for *b**n*−1 or *Φ*2×*n*(*b*) for *b**n*+1, where *Φ* is the cyclotomic polynomial (https://en.wikipedia.org/wiki/Cyclotomic_polynomial, https://mathworld.wolfram.com/CyclotomicPolynomial.html, http://www.numericana.com/answer/polynomial.htm#cyclotomic, https://stdkmd.net/nrr/repunit/repunitnote.htm#cyclotomic, https://oeis.org/A013595, https://oeis.org/A013596, https://oeis.org/A253240)) is > 1/3 factored (by the elliptic-curve factorization method or the Pollard *P*−1 method or the Williams *P*+1 method), then general number field sieve is usually used for the unfactored part, if the primitive part (i.e. *Φ**n*(*b*) for *b**n*−1 or *Φ*2×*n*(*b*) for *b**n*+1, where *Φ* is the cyclotomic polynomial (https://en.wikipedia.org/wiki/Cyclotomic_polynomial, https://mathworld.wolfram.com/CyclotomicPolynomial.html, http://www.numericana.com/answer/polynomial.htm#cyclotomic, https://stdkmd.net/nrr/repunit/repunitnote.htm#cyclotomic, https://oeis.org/A013595, https://oeis.org/A013596, https://oeis.org/A253240)) is < 1/3 factored (by the elliptic-curve factorization method or the Pollard *P*−1 method or the Williams *P*+1 method), then special number field sieve is usually used for the unfactored part, for more information see https://escatter11.fullerton.edu/nfs/numbers.php (the status of numbers in *NFS@HOME* (http://escatter11.fullerton.edu/nfs/, https://en.wikipedia.org/wiki/NFS@Home)), for the calculator for special number field sieve and general number field sieve, see http://myfactorcollection.mooo.com:8090/calculators.html (section ".poly Maker"), a general number field sieve program is *GGNFS* (http://sourceforge.net/projects/ggnfs, https://github.com/xayahrainie4793/prime-programs-cached-copy/tree/main/GGNFS), also a (special or general) number field program is *CADO-NFS* (https://web.archive.org/web/20210506173015/http://cado-nfs.gforge.inria.fr/index.html, https://www.rieselprime.de/ziki/CADO-NFS, https://github.com/xayahrainie4793/prime-programs-cached-copy/tree/main/cado-nfs-2.3.0), however, all these factorization algorithms (https://en.wikipedia.org/wiki/Algorithm, https://www.rieselprime.de/ziki/Algorithm) take long time, i.e. they cannot be done in polynomial time (https://en.wikipedia.org/wiki/Time_complexity#Polynomial_time, https://mathworld.wolfram.com/PolynomialTime.html), the best known running time is *L**n*(1/2,1+*o*(1)) (where *o* is the little o notation (https://en.wikipedia.org/wiki/Little_o_notation, https://t5k.org/glossary/xpage/LittleOh.html, https://mathworld.wolfram.com/Little-ONotation.html)), see https://www.ams.org/journals/jams/1992-05-03/S0894-0347-1992-1137100-0/S0894-0347-1992-1137100-0.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_230.pdf), also there are many *OEIS* sequences which need factors (see https://oeis.org/wiki/OEIS_sequences_needing_factors), also almost all numbers are not fully factored (i.e. almost all numbers are "C" or "CF" or "U" (instead of "FF" or "P" or "PRP") in *factordb*) (see http://factordb.com/distribution.php and https://mersenneforum.org/showthread.php?t=21301), also there are records for *n* consecutive numbers which are all fully factored (just like the records for *n* primes in arithmetic progression (https://en.wikipedia.org/wiki/Primes_in_arithmetic_progression, https://t5k.org/glossary/xpage/ArithmeticSequence.html, https://mathworld.wolfram.com/PrimeArithmeticProgression.html, https://t5k.org/top20/page.php?id=14, https://www.pzktupel.de/JensKruseAndersen/aprecords.php, http://www.primerecords.dk/aprecords.htm) and the records for Cunningham chains with length *n* (https://en.wikipedia.org/wiki/Cunningham_chain, https://t5k.org/glossary/xpage/CunninghamChain.html, https://mathworld.wolfram.com/CunninghamChain.html, https://t5k.org/top20/page.php?id=19, https://t5k.org/top20/page.php?id=20, https://www.pzktupel.de/JensKruseAndersen/CC.php, http://www.primerecords.dk/Cunningham_Chain_records.htm)), see http://www.primerecords.dk/consecutive_factorizations.htm and http://www.math.uni.wroc.pl/~jwr/cons-fac/ (unlike primality proving, when the numbers are sufficiently large, no efficient, non-quantum (https://en.wikipedia.org/wiki/Quantum_computer) integer factorization algorithm is known), i.e. integer factorization may be P-complete (https://en.wikipedia.org/wiki/P-complete) and NP-complete (https://en.wikipedia.org/wiki/NP-complete, https://mathworld.wolfram.com/NP-CompleteProblem.html) and NP-hard (https://en.wikipedia.org/wiki/NP-hard, https://mathworld.wolfram.com/NP-HardProblem.html) (thus, factor a large integer is much harder than determining whether the same integer is prime (determining whether an integer is prime and factor an integer are two completely different problems, we can quickly use Fermat primality test (https://en.wikipedia.org/wiki/Fermat_primality_test, https://mathworld.wolfram.com/FermatCompositenessTest.html, https://www.rieselprime.de/ziki/Fermat_pseudoprimality_test, https://en.wikipedia.org/wiki/Fermat%27s_little_theorem, https://t5k.org/glossary/xpage/FermatsLittleTheorem.html, https://mathworld.wolfram.com/FermatsLittleTheorem.html, https://t5k.org/notes/proofs/FermatsLittleTheorem.html, http://www.numericana.com/answer/modular.htm#fermat, https://t5k.org/prove/prove2_2.html) to prove that an integer is composite, although the most ancient trial division (https://en.wikipedia.org/wiki/Trial_division, https://t5k.org/glossary/xpage/TrialDivision.html, https://www.rieselprime.de/ziki/Trial_factoring, https://mathworld.wolfram.com/TrialDivision.html, http://www.numericana.com/answer/factoring.htm#trial, https://oeis.org/A189172) and sieve of Eratosthenes (https://en.wikipedia.org/wiki/Sieve_of_Eratosthenes, https://t5k.org/glossary/xpage/SieveOfEratosthenes.html, https://www.rieselprime.de/ziki/Sieve_of_Eratosthenes, https://mathworld.wolfram.com/SieveofEratosthenes.html, https://oeis.org/A083221, https://oeis.org/A083140, https://oeis.org/A145540, https://oeis.org/A145538, https://oeis.org/A145539, https://oeis.org/A227155, https://oeis.org/A227797, https://oeis.org/A227798, https://oeis.org/A227799) can solving these two problems simultaneously), there are many numbers with 500 digits to 10000 digits which are known to be composite but do not have any known factors other than 1 and themselves). However, it has not been proven that no efficient algorithm exists (this is indeed an unsolved problem in computer science (https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_computer_science)). The presumed difficulty (https://en.wikipedia.org/wiki/Computational_hardness_assumption) of this problem is at the heart of widely used algorithms in cryptography (https://en.wikipedia.org/wiki/Cryptography, https://mathworld.wolfram.com/Cryptography.html) such as *RSA* (https://en.wikipedia.org/wiki/RSA_(cryptosystem), https://t5k.org/glossary/xpage/RSA.html, https://mathworld.wolfram.com/RSAEncryption.html, https://web.archive.org/web/20061209135708/http://www.rsasecurity.com/rsalabs/node.asp?id=2093), there are many large semiprimes (https://en.wikipedia.org/wiki/Semiprime, https://t5k.org/glossary/xpage/Semiprime.html, https://mathworld.wolfram.com/Semiprime.html, https://www.numbersaplenty.com/set/semiprime/), called *RSA* numbers (https://en.wikipedia.org/wiki/RSA_numbers, https://t5k.org/glossary/xpage/RSAExample.html, https://mathworld.wolfram.com/RSANumber.html, http://www.ontko.com/pub/rayo/primes/rsa_fact.html, https://web.archive.org/web/20061209135708/http://www.rsasecurity.com/rsalabs/node.asp?id=2093, https://web.archive.org/web/20130521030319/https://www.rsa.com/rsalabs/challenges/factoring/challengenumbers.txt), which are very hard to factor and are part of the *RSA* Factoring Challenge (https://en.wikipedia.org/wiki/RSA_Factoring_Challenge), e.g. the *RSA*-640 number (http://factordb.com/index.php?id=1100000000193433853&open=ecm, https://en.wikipedia.org/wiki/RSA-640, http://mathworld.wolfram.com/news/2005-11-08/rsa-640/) and the *RSA*-230 number (http://factordb.com/index.php?id=1100000000104374171&open=ecm, https://en.wikipedia.org/wiki/RSA-230, https://web.archive.org/web/20210714184715/https://lists.gforge.inria.fr/pipermail/cado-nfs-discuss/2018-August/000926.html) and the *RSA*-768 number (http://factordb.com/index.php?id=1100000000193442616&open=ecm, https://en.wikipedia.org/wiki/RSA-768, http://eprint.iacr.org/2010/006.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_228.pdf)). Besides, integer factorization can be used for public-key cryptography (https://en.wikipedia.org/wiki/Public-key_cryptography, https://t5k.org/glossary/xpage/PublicKey.html, https://mathworld.wolfram.com/Public-KeyCryptography.html) is because it has no known polynomial time algorithm. Many areas of mathematics and computer science have been brought to bear on the problem, including elliptic curves (https://en.wikipedia.org/wiki/Elliptic_curve, https://mathworld.wolfram.com/EllipticCurve.html, http://www.numericana.com/answer/modularity.htm#elliptic), algebraic number theory (https://en.wikipedia.org/wiki/Algebraic_number_theory, https://mathworld.wolfram.com/AlgebraicNumberTheory.html), and quantum computing (https://en.wikipedia.org/wiki/Quantum_computing)), and hence to do this is impractically.
Our data assumes that a number > 1025000 which has passed the Miller–Rabin primality tests (https://t5k.org/prove/prove2_3.html, https://en.wikipedia.org/wiki/Miller%E2%80%93Rabin_primality_test, https://en.wikipedia.org/wiki/Strong_pseudoprime, https://t5k.org/glossary/xpage/MillersTest.html, https://t5k.org/glossary/xpage/StrongPRP.html, https://www.rieselprime.de/ziki/Miller-Rabin_pseudoprimality_test, https://mathworld.wolfram.com/Rabin-MillerStrongPseudoprimeTest.html, https://mathworld.wolfram.com/StrongPseudoprime.html, http://www.numericana.com/answer/pseudo.htm#rabin, http://www.numericana.com/answer/pseudo.htm#strong, http://www.javascripter.net/math/primes/millerrabinprimalitytest.htm, http://ntheory.org/data/spsps.txt, https://faculty.lynchburg.edu/~nicely/misc/mpzspsp.html, http://factordb.com/prooffailed.php, https://sites.google.com/view/strong-pseudoprime, https://sites.google.com/view/bases-strong-pseudoprime, https://oeis.org/A001262, https://oeis.org/A020229, https://oeis.org/A020231, https://oeis.org/A020233, https://oeis.org/A072276, https://oeis.org/A056915, https://oeis.org/A074773, https://oeis.org/A014233, https://oeis.org/A006945, https://oeis.org/A181782, https://oeis.org/A071294, https://oeis.org/A141768, https://oeis.org/A195328, https://oeis.org/A329759, https://oeis.org/A298756) to all prime bases *p* < 64 and has passed the Baillie–PSW primality test (https://en.wikipedia.org/wiki/Baillie%E2%80%93PSW_primality_test, https://mathworld.wolfram.com/Baillie-PSWPrimalityTest.html) and has trial factored (https://en.wikipedia.org/wiki/Trial_division, https://t5k.org/glossary/xpage/TrialDivision.html, https://www.rieselprime.de/ziki/Trial_factoring, https://mathworld.wolfram.com/TrialDivision.html, http://www.numericana.com/answer/factoring.htm#trial, https://oeis.org/A189172) to 1016 is in fact prime, since in some cases (e.g. *b* = 11) a candidate for minimal prime base *b* is too large to be proven prime rigorously, this candidate for minimal prime base 11 has 65263 decimal digits, while the top record ordinary prime (https://t5k.org/glossary/xpage/OrdinaryPrime.html) (i.e. neither *N*−1 (https://t5k.org/prove/prove3_1.html, http://bln.curtisbright.com/2013/10/09/the-n-1-and-n1-primality-tests/, https://en.wikipedia.org/wiki/Pocklington_primality_test, https://www.rieselprime.de/ziki/Pocklington%27s_theorem, https://mathworld.wolfram.com/PocklingtonsTheorem.html, https://stdkmd.net/nrr/pock/, http://factordb.com/nmoverview.php?method=1) nor *N*+1 (https://t5k.org/prove/prove3_2.html, http://bln.curtisbright.com/2013/10/09/the-n-1-and-n1-primality-tests/, http://factordb.com/nmoverview.php?method=2) can be ≥ 1/4 factored (https://en.wikipedia.org/wiki/Integer_factorization, https://www.rieselprime.de/ziki/Factorization, https://mathworld.wolfram.com/PrimeFactorization.html, https://mathworld.wolfram.com/PrimeFactorizationAlgorithms.html, http://www.numericana.com/answer/factoring.htm)) has 57125 decimal digits (the entry of this prime in top definitely primes is https://t5k.org/primes/page.php?id=134371), see https://t5k.org/top20/page.php?id=27, and 65263 > 57125), however, if we assume a number which has passed the Fermat primality tests (https://t5k.org/prove/prove2_2.html, https://en.wikipedia.org/wiki/Fermat_primality_test, https://en.wikipedia.org/wiki/Fermat_pseudoprime, https://t5k.org/glossary/xpage/PRP.html, https://www.rieselprime.de/ziki/Fermat_pseudoprimality_test, https://mathworld.wolfram.com/FermatPseudoprime.html, https://www.numbersaplenty.com/set/Poulet_number/, http://www.numericana.com/answer/pseudo.htm#pseudoprime, http://ntheory.org/data/psps.txt, https://sites.google.com/view/fermat-pseudoprime, https://sites.google.com/view/bases-fermat-pseudoprime, https://oeis.org/A001567, https://oeis.org/A005935, https://oeis.org/A005936, https://oeis.org/A005938, https://oeis.org/A052155, https://oeis.org/A083737, https://oeis.org/A083739, https://oeis.org/A083876, https://oeis.org/A181780, https://oeis.org/A063994, https://oeis.org/A194946, https://oeis.org/A195327, https://oeis.org/A002997, https://oeis.org/A191311, https://oeis.org/A090086, https://oeis.org/A007535) to many bases is in fact prime, our list for base 16 minimal primes would wrongly include the composites 1563 (its value is (4×1663−1)/3) and 8536 (its value is (25×1636−1)/3), and our list for base 9 minimal primes would wrongly include the composite 113 (its value is (913−1)/8) (and hence would wrongly exclude the prime 56136, since this prime has 113 as subsequence (https://en.wikipedia.org/wiki/Subsequence, https://mathworld.wolfram.com/Subsequence.html)), although their corresponding families (1{5} in base 16, 8{5} in base 16, {1} in base 9, respectively) can be ruled out as only contain composite numbers (only count the numbers > *b*), and our data will be wrong for these bases, see https://en.wikipedia.org/wiki/Baillie%E2%80%93PSW_primality_test#The_danger_of_relying_only_on_Fermat_tests (only run Fermat tests are dangerous).
Unfortunately, for every base *b*, there are infinitely many strong pseudoprimes, see https://www.ams.org/journals/mcom/1980-35-151/S0025-5718-1980-0572872-7/S0025-5718-1980-0572872-7.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_45.pdf), even more worse, for any given finite set of bases, there are infinitely strong pseudoprimes to these bases simultaneously, i.e. no finite set of bases is sufficient for all composite numbers, Alford, Granville, and Pomerance have shown that there exist infinitely many composite numbers *n* whose smallest compositeness witness is at least (*ln*(*n*))1/(3×*ln*(*ln*(*ln*(*n*)))), see https://math.dartmouth.edu/~carlp/PDF/reliable.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_121.pdf), however, there are no "strong Carmichael numbers" (i.e. numbers that are strong pseudoprimes to all bases coprime to them), and given a random base, the probability that a number is a strong pseudoprime to that base is less than 1/4, and if the generalized Riemann hypothesis (https://en.wikipedia.org/wiki/Generalized_Riemann_hypothesis, https://mathworld.wolfram.com/GeneralizedRiemannHypothesis.html, https://t5k.org/notes/rh.html) is true, then every composite number *n* has smallest compositeness witness less than 2×(*ln*(*n*))2, also, when the number *n* to be tested is small, trying all bases *b* < 2×(*ln*(*n*))2 is not necessary, as much smaller sets of potential witnesses are known to suffice. For example: (also see https://oeis.org/A014233 for the smallest composite number which is strong pseudoprime to all of the first *n* prime bases)
|test bases *b*|the smallest composite number which is strong pseudoprime to all these bases *b*|prime factorization|
|---|---|---|
|2|2047|23 × 89|
|3|121|112|
|4|341|11 × 31|
|5|781|11 × 71|
|6|217|7 × 31|
|7|25|52|
|8|9|32|
|9|91|7 × 13|
|10|9|32|
|11|133|7 × 19|
|12|91|7 × 13|
|13|85|5 × 17|
|14|15|3 × 5|
|15|1687|7 × 241|
|16|15|3 × 5|
|17|9|32|
|18|25|52|
|19|9|32|
|20|21|3 × 7|
|21|221|13 × 17|
|22|21|3 × 7|
|23|169|132|
|24|25|52|
|25|217|7 × 31|
|26|9|32|
|27|121|112|
|28|9|32|
|29|15|3 × 5|
|30|49|72|
|31|15|3 × 5|
|32|25|52|
|33|545|5 × 109|
|34|33|3 × 11|
|35|9|32|
|36|35|5 × 7|
|95|1891|31 × 61|
|240|1991|11 × 181|
|385|1891|31 × 61|
|777|1541|23 × 67|
|933|1387|19 × 73|
|1320|4097|17 × 241|
|2, 3|1373653|829 × 1657|
|31, 73|9080191|2131 × 4261|
|2, 3, 5|25326001|2251 × 11251|
|350, 3958281543|170584961|7541 × 22621|
|2, 3, 5, 7|3215031751|151 × 751 × 28351|
|2, 7, 61|4759123141|48781 × 97561|
|2, 379215, 457083754|75792980677|137653 × 550609|
|2, 13, 23, 1662803|1122004669633|611557 × 1834669|
|2, 3, 5, 7, 11|2152302898747|6763 × 10627 × 29947|
|2, 3, 5, 7, 11, 13|3474749660383|1303 × 16927 × 157543|
|2, 1215, 34862, 574237825|21652684502221|3290341 × 6580681|
|2, 3, 5, 7, 11, 13, 17|341550071728321|10670053 × 32010157|
|2, 3, 5, 7, 11, 13, 17, 19, 23|3825123056546413051|149491 × 747451 × 34233211|
|2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37|318665857834031151167461|399165290221 × 798330580441|
|2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41|3317044064679887385961981|1287836182261 × 2575672364521|
|all primes *p* ≤ *n*|> *e*(*n*/2)1/2 (under the generalized Riemann hypothesis)|–|
Thus, for this minimal prime problem in base *b*, especially for square (https://oeis.org/A000290, https://en.wikipedia.org/wiki/Square_number, https://www.rieselprime.de/ziki/Square_number, https://mathworld.wolfram.com/SquareNumber.html, https://oeis.org/A000290) base *b*, we should not assume a number which has passed the Fermat primality tests to many bases is in fact prime, also, there are Carmichael numbers (https://en.wikipedia.org/wiki/Carmichael_number, https://t5k.org/glossary/xpage/CarmichaelNumber.html, https://mathworld.wolfram.com/CarmichaelNumber.html, https://www.numbersaplenty.com/set/Carmichael_number/, http://www.numericana.com/answer/modular.htm#carmichael, https://oeis.org/A002997) (i.e. composites which are Fermat pseudoprimes to *all* bases *b* coprime to them) which are strong pseudoprimes to several bases simultaneously, see https://www.sciencedirect.com/science/article/pii/S0747717185710425?via%3Dihub (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_44.pdf), this article gives a 397-digit such number (*factordb* entry: http://factordb.com/index.php?id=1100000000708885054) which is strong pseudoprime to all bases *b* ≤ 306 (see https://mersenneforum.org/showpost.php?p=613381&postcount=6), another example is a 23707-digit number (https://t5k.org/curios/page.php?number_id=4265, http://factordb.com/index.php?id=1100000002517553325) which is strong pseudoprime to all bases *b* ≤ 101100, also see http://factordb.com/prooffailed.php (the *factordb* test failed page) (numbers passed Miller–Rabin primality tests (10 prime bases at least), but turned out to be composite) and https://faculty.lynchburg.edu/~nicely/misc/mpzspsp.html (the *GNU* *GMP* test failed page) (this page mentions a 337-digit number (http://factordb.com/index.php?id=1100000000047694476) which is strong pseudoprime to all bases *b* ≤ 210) (now *GMP* runs the Baillie–PSW primality test (https://en.wikipedia.org/wiki/Baillie%E2%80%93PSW_primality_test, https://mathworld.wolfram.com/Baillie-PSWPrimalityTest.html) combine with some Miller–Rabin primality tests (https://t5k.org/prove/prove2_3.html, https://en.wikipedia.org/wiki/Miller%E2%80%93Rabin_primality_test, https://en.wikipedia.org/wiki/Strong_pseudoprime, https://t5k.org/glossary/xpage/MillersTest.html, https://t5k.org/glossary/xpage/StrongPRP.html, https://www.rieselprime.de/ziki/Miller-Rabin_pseudoprimality_test, https://mathworld.wolfram.com/Rabin-MillerStrongPseudoprimeTest.html, https://mathworld.wolfram.com/StrongPseudoprime.html, http://www.numericana.com/answer/pseudo.htm#rabin, http://www.numericana.com/answer/pseudo.htm#strong, http://www.javascripter.net/math/primes/millerrabinprimalitytest.htm, http://ntheory.org/data/spsps.txt, https://faculty.lynchburg.edu/~nicely/misc/mpzspsp.html, http://factordb.com/prooffailed.php, https://sites.google.com/view/strong-pseudoprime, https://sites.google.com/view/bases-strong-pseudoprime, https://oeis.org/A001262, https://oeis.org/A020229, https://oeis.org/A020231, https://oeis.org/A020233, https://oeis.org/A072276, https://oeis.org/A056915, https://oeis.org/A074773, https://oeis.org/A014233, https://oeis.org/A006945, https://oeis.org/A181782, https://oeis.org/A071294, https://oeis.org/A141768, https://oeis.org/A195328, https://oeis.org/A329759, https://oeis.org/A298756) combine with some trial divisions (https://en.wikipedia.org/wiki/Trial_division, https://t5k.org/glossary/xpage/TrialDivision.html, https://www.rieselprime.de/ziki/Trial_factoring, https://mathworld.wolfram.com/TrialDivision.html, http://www.numericana.com/answer/factoring.htm#trial, https://oeis.org/A189172), see https://gmplib.org/manual/Number-Theoretic-Functions), thus we need to combine with strong Lucas primality tests (https://en.wikipedia.org/wiki/Strong_Lucas_pseudoprime, https://mathworld.wolfram.com/StrongLucasPseudoprime.html, http://ntheory.org/data/slpsps-baillie.txt, https://oeis.org/A217255), to do the Baillie–PSW primality test, only run strong tests is also a little dangerous (especially when the number has the form (*m*+1)×(2×*m*+1) or (*m*+1)×(3×*m*+1), with both factors primes), however, there is no known overlap between these lists of strong pseudoprimes and strong Lucas pseudoprimes, and there is even evidence that the numbers in these lists tend to be different kinds of numbers. For example, Fermat pseudoprimes tend to fall into the residue class 1 (mod *n*) for many small *n*, whereas Lucas pseudoprimes tend to fall into the residue class −1 (mod *n*) for many small *n*. As a result, a number that passes both a strong Fermat and a strong Lucas test is very likely to be prime, indeed, no known composites which pass the Baillie–PSW probable prime test, and no composites < 264 pass the Baillie–PSW probable prime test (see http://ntheory.org/pseudoprimes.html and https://faculty.lynchburg.edu/~nicely/misc/bpsw.html).
1563 (base 16) is Fermat pseudoprime to base *b* (assuming *b* is coprime to the number) if and only if *b* is cubic residue (https://en.wikipedia.org/wiki/Cubic_residue, https://mathworld.wolfram.com/CubicResidue.html) mod the prime 2127−1, thus 1/3 of the bases coprime to the number; 8536 (base 16) is Fermat pseudoprime to base *b* (assuming *b* is coprime to the number) if and only if *b* is cubic residue (https://en.wikipedia.org/wiki/Cubic_residue, https://mathworld.wolfram.com/CubicResidue.html) mod the prime 5×272−1, thus 1/3 of the bases coprime to the number; 113 (base 9) is Fermat pseudoprime to base *b* (assuming *b* is coprime to the number) if and only if *b* is quadratic residue (https://en.wikipedia.org/wiki/Quadratic_residue, https://t5k.org/glossary/xpage/QuadraticResidue.html, https://www.rieselprime.de/ziki/Quadratic_residue, https://mathworld.wolfram.com/QuadraticResidue.html) mod the prime (313−1)/2, thus 1/2 of the bases coprime to the number.
|number|*factordb* entry|bases 2 ≤ *b* ≤ 64 such that this number is Fermat pseudoprime (called "Fermat liars")|count|
|---|---|---|---|
|1563 in base *b* = 16 (see https://web.archive.org/web/19991117032157/http://ourworld.compuserve.com/homepages/hlifchitz/MersFermus.htm and https://www.ams.org/journals/mcom/1993-61-204/S0025-5718-1993-1185243-9/S0025-5718-1993-1185243-9.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_4.pdf))|http://factordb.com/index.php?id=1000000000043569151|2, 3, 4, 6, 8, 9, 11, 12, 13, 16, 17, 18, 19, 22, 24, 26, 27, 29, 31, 32, 33, 34, 36, 37, 38, 39, 41, 44, 47, 48, 51, 52, 54, 57, 58, 59, 61, 62, 64|39 (61.90%)|
|8536 in base *b* = 16|http://factordb.com/index.php?id=1100000000348829387|3, 5, 8, 9, 13, 15, 17, 22, 24, 25, 27, 28, 29, 39, 40, 41, 45, 46, 47, 51, 53, 62, 64|23 (36.51%)|
|113 in base *b* = 9 (see https://web.archive.org/web/19991117032157/http://ourworld.compuserve.com/homepages/hlifchitz/MersFermus.htm)|http://factordb.com/index.php?id=317733228541|2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 32, 35, 36, 37, 38, 39, 40, 41, 42, 45, 46, 48, 49, 50, 52, 54, 56, 57, 58, 59, 60, 61, 63, 64|50 (79.37%)|
|I0901 in base *b* = 26 (see https://github.com/curtisbright/mepn-data/commit/7565d197d7b438b437871bf71614a6f8914397f7)|http://factordb.com/index.php?id=8231653|2, 3, 4, 6, 7, 8, 9, 11, 12, 13, 14, 16, 18, 21, 22, 23, 24, 25, 26, 27, 28, 32, 33, 36, 39, 41, 42, 43, 44, 46, 48, 49, 50, 52, 53, 54, 56, 59, 63, 64|40 (63.49%)|
|28462346×37+1 (see https://mersenneforum.org/showpost.php?p=137730&postcount=1)|http://factordb.com/index.php?id=62247150703|3, 4, 7, 9, 10, 11, 12, 13, 16, 17, 19, 21, 25, 27, 28, 29, 30, 33, 36, 39, 40, 41, 44, 46, 47, 48, 49, 51, 52, 53, 57, 59, 61, 62, 63, 64|36 (57.14%)|
This list is the time complexity (https://en.wikipedia.org/wiki/Time_complexity) for the primality testing (https://en.wikipedia.org/wiki/Primality_test, https://www.rieselprime.de/ziki/Primality_test, https://mathworld.wolfram.com/PrimalityTest.html, https://t5k.org/prove/prove3.html, https://t5k.org/prove/prove4.html) methods and the integer factoring (https://en.wikipedia.org/wiki/Integer_factorization, https://www.rieselprime.de/ziki/Factorization, https://mathworld.wolfram.com/PrimeFactorization.html, https://mathworld.wolfram.com/PrimeFactorizationAlgorithms.html, http://www.numericana.com/answer/factoring.htm) methods:
|method (primality testing (https://en.wikipedia.org/wiki/Primality_test, https://www.rieselprime.de/ziki/Primality_test, https://mathworld.wolfram.com/PrimalityTest.html, https://t5k.org/prove/prove3.html, https://t5k.org/prove/prove4.html) or integer factoring (https://en.wikipedia.org/wiki/Integer_factorization, https://www.rieselprime.de/ziki/Factorization, https://mathworld.wolfram.com/PrimeFactorization.html, https://mathworld.wolfram.com/PrimeFactorizationAlgorithms.html, http://www.numericana.com/answer/factoring.htm))|time complexity (https://en.wikipedia.org/wiki/Time_complexity) (where *n* is the number to be primality tested (https://en.wikipedia.org/wiki/Primality_test, https://www.rieselprime.de/ziki/Primality_test, https://mathworld.wolfram.com/PrimalityTest.html, https://t5k.org/prove/prove3.html, https://t5k.org/prove/prove4.html) or integer factored (https://en.wikipedia.org/wiki/Integer_factorization, https://www.rieselprime.de/ziki/Factorization, https://mathworld.wolfram.com/PrimeFactorization.html, https://mathworld.wolfram.com/PrimeFactorizationAlgorithms.html, http://www.numericana.com/answer/factoring.htm), *p* is the prime factor to be found, *O* is the big O notation (https://en.wikipedia.org/wiki/Big_O_notation, https://t5k.org/glossary/xpage/BigOh.html, https://mathworld.wolfram.com/Big-ONotation.html), *o* is the little o notation (https://en.wikipedia.org/wiki/Big_O_notation#Little-o_notation, https://t5k.org/glossary/xpage/LittleOh.html, https://mathworld.wolfram.com/Little-ONotation.html), *L* is the L-notation (https://en.wikipedia.org/wiki/L-notation), *e* = 2.718281828459... is the base of the natural logarithm (https://en.wikipedia.org/wiki/E_(mathematical_constant), https://mathworld.wolfram.com/e.html, https://oeis.org/A001113), *log* is the natural logarithm (https://en.wikipedia.org/wiki/Natural_logarithm, https://t5k.org/glossary/xpage/Log.html, https://mathworld.wolfram.com/NaturalLogarithm.html))|usage for numbers|record number|*factordb* entry of the record number|number of decimal digits of the record number|reference of the record number|
|---|---|---|---|---|---|---|
|Fermat probable primality testing (https://t5k.org/prove/prove2_2.html, https://en.wikipedia.org/wiki/Fermat_primality_test, https://en.wikipedia.org/wiki/Fermat_pseudoprime, https://t5k.org/glossary/xpage/PRP.html, https://www.rieselprime.de/ziki/Fermat_pseudoprimality_test, https://mathworld.wolfram.com/FermatPseudoprime.html, https://www.numbersaplenty.com/set/Poulet_number/, http://www.numericana.com/answer/pseudo.htm#pseudoprime, http://ntheory.org/data/psps.txt, https://sites.google.com/view/fermat-pseudoprime, https://sites.google.com/view/bases-fermat-pseudoprime, https://oeis.org/A001567, https://oeis.org/A005935, https://oeis.org/A005936, https://oeis.org/A005938, https://oeis.org/A052155, https://oeis.org/A083737, https://oeis.org/A083739, https://oeis.org/A083876, https://oeis.org/A181780, https://oeis.org/A063994, https://oeis.org/A194946, https://oeis.org/A195327, https://oeis.org/A002997, https://oeis.org/A191311, https://oeis.org/A090086, https://oeis.org/A007535)|*O*(*log*(*n*))|any number, but only probabilistic (https://en.wikipedia.org/wiki/Probabilistic_algorithm) primality testing|(108177207−1)/9 (the largest known unproven probable prime (https://en.wikipedia.org/wiki/Probable_prime, https://t5k.org/glossary/xpage/PRP.html, https://www.rieselprime.de/ziki/Probable_prime, https://mathworld.wolfram.com/ProbablePrime.html, https://stdkmd.net/nrr/records.htm#probableprimenumbers, https://stdkmd.net/nrr/repunit/prpfactors.htm, http://factordb.com/listtype.php?t=1))|http://factordb.com/index.php?id=1100000002579528773&open=prime|8177207|http://www.primenumbers.net/prptop/prptop.php|
|Miller–Rabin probable primality testing (https://t5k.org/prove/prove2_3.html, https://en.wikipedia.org/wiki/Miller%E2%80%93Rabin_primality_test, https://en.wikipedia.org/wiki/Strong_pseudoprime, https://t5k.org/glossary/xpage/MillersTest.html, https://t5k.org/glossary/xpage/StrongPRP.html, https://www.rieselprime.de/ziki/Miller-Rabin_pseudoprimality_test, https://mathworld.wolfram.com/Rabin-MillerStrongPseudoprimeTest.html, https://mathworld.wolfram.com/StrongPseudoprime.html, http://www.numericana.com/answer/pseudo.htm#rabin, http://www.numericana.com/answer/pseudo.htm#strong, http://www.javascripter.net/math/primes/millerrabinprimalitytest.htm, http://ntheory.org/data/spsps.txt, https://faculty.lynchburg.edu/~nicely/misc/mpzspsp.html, http://factordb.com/prooffailed.php, https://sites.google.com/view/strong-pseudoprime, https://sites.google.com/view/bases-strong-pseudoprime, https://oeis.org/A001262, https://oeis.org/A020229, https://oeis.org/A020231, https://oeis.org/A020233, https://oeis.org/A072276, https://oeis.org/A056915, https://oeis.org/A074773, https://oeis.org/A014233, https://oeis.org/A006945, https://oeis.org/A181782, https://oeis.org/A071294, https://oeis.org/A141768, https://oeis.org/A195328, https://oeis.org/A329759, https://oeis.org/A298756)|*O*(*log*(*n*))|any number, but only probabilistic (https://en.wikipedia.org/wiki/Probabilistic_algorithm) primality testing|(108177207−1)/9 (the largest known unproven probable prime (https://en.wikipedia.org/wiki/Probable_prime, https://t5k.org/glossary/xpage/PRP.html, https://www.rieselprime.de/ziki/Probable_prime, https://mathworld.wolfram.com/ProbablePrime.html, https://stdkmd.net/nrr/records.htm#probableprimenumbers, https://stdkmd.net/nrr/repunit/prpfactors.htm, http://factordb.com/listtype.php?t=1))|http://factordb.com/index.php?id=1100000002579528773&open=prime|8177207|http://www.primenumbers.net/prptop/prptop.php|
|Lucas probable primality testing (https://en.wikipedia.org/wiki/Lucas_pseudoprime, https://mathworld.wolfram.com/LucasPseudoprime.html, https://www.mathpages.com/home/kmath127/kmath127.htm, http://ntheory.org/data/lpsps-baillie.txt, https://oeis.org/A217120)|*O*(*log*(*n*))|any number, but only probabilistic (https://en.wikipedia.org/wiki/Probabilistic_algorithm) primality testing|(108177207−1)/9 (the largest known unproven probable prime (https://en.wikipedia.org/wiki/Probable_prime, https://t5k.org/glossary/xpage/PRP.html, https://www.rieselprime.de/ziki/Probable_prime, https://mathworld.wolfram.com/ProbablePrime.html, https://stdkmd.net/nrr/records.htm#probableprimenumbers, https://stdkmd.net/nrr/repunit/prpfactors.htm, http://factordb.com/listtype.php?t=1))|http://factordb.com/index.php?id=1100000002579528773&open=prime|8177207|http://www.primenumbers.net/prptop/prptop.php|
|Strong Lucas probable primality testing (https://en.wikipedia.org/wiki/Strong_Lucas_pseudoprime, https://mathworld.wolfram.com/StrongLucasPseudoprime.html, http://ntheory.org/data/slpsps-baillie.txt, https://oeis.org/A217255)|*O*(*log*(*n*))|any number, but only probabilistic (https://en.wikipedia.org/wiki/Probabilistic_algorithm) primality testing|(108177207−1)/9 (the largest known unproven probable prime (https://en.wikipedia.org/wiki/Probable_prime, https://t5k.org/glossary/xpage/PRP.html, https://www.rieselprime.de/ziki/Probable_prime, https://mathworld.wolfram.com/ProbablePrime.html, https://stdkmd.net/nrr/records.htm#probableprimenumbers, https://stdkmd.net/nrr/repunit/prpfactors.htm, http://factordb.com/listtype.php?t=1))|http://factordb.com/index.php?id=1100000002579528773&open=prime|8177207|http://www.primenumbers.net/prptop/prptop.php|
|Baillie–PSW primality testing (https://en.wikipedia.org/wiki/Baillie%E2%80%93PSW_primality_test, https://mathworld.wolfram.com/Baillie-PSWPrimalityTest.html)|*O*(*log*(*n*))|any number, but only probabilistic (https://en.wikipedia.org/wiki/Probabilistic_algorithm) primality testing|(108177207−1)/9 (the largest known unproven probable prime (https://en.wikipedia.org/wiki/Probable_prime, https://t5k.org/glossary/xpage/PRP.html, https://www.rieselprime.de/ziki/Probable_prime, https://mathworld.wolfram.com/ProbablePrime.html, https://stdkmd.net/nrr/records.htm#probableprimenumbers, https://stdkmd.net/nrr/repunit/prpfactors.htm, http://factordb.com/listtype.php?t=1))|http://factordb.com/index.php?id=1100000002579528773&open=prime|8177207|http://www.primenumbers.net/prptop/prptop.php|
|Pépin primality testing (https://en.wikipedia.org/wiki/P%C3%A9pin%27s_test, https://t5k.org/glossary/xpage/PepinsTest.html, https://www.rieselprime.de/ziki/P%C3%A9pin%27s_test, https://mathworld.wolfram.com/PepinsTest.html)|*O*(*log*(*n*))|Fermat numbers (https://en.wikipedia.org/wiki/Fermat_number, https://t5k.org/glossary/xpage/FermatNumber.html, https://www.rieselprime.de/ziki/Fermat_number, https://mathworld.wolfram.com/FermatNumber.html, https://mathworld.wolfram.com/FermatPrime.html, https://pzktupel.de/Primetables/TableFermat.php)|65537 (the largest known Fermat prime (https://en.wikipedia.org/wiki/Fermat_number, https://t5k.org/glossary/xpage/FermatNumber.html, https://www.rieselprime.de/ziki/Fermat_number, https://mathworld.wolfram.com/FermatNumber.html, https://mathworld.wolfram.com/FermatPrime.html, https://pzktupel.de/Primetables/TableFermat.php, http://www.prothsearch.com/fermat.html, http://www.fermatsearch.org/, https://64ordle.au/fermat/))|http://factordb.com/index.php?id=65537&open=prime|5|http://www.fermatsearch.org/|
|Lucas–Lehmer primality testing (https://en.wikipedia.org/wiki/Lucas%E2%80%93Lehmer_primality_test, https://www.rieselprime.de/ziki/Lucas-Lehmer_test, https://mathworld.wolfram.com/Lucas-LehmerTest.html, https://t5k.org/notes/proofs/LucasLehmer.html, http://www.numericana.com/answer/primes.htm#lucas-lehmer)|*O*(*log*(*n*))|Mersenne numbers (https://en.wikipedia.org/wiki/Mersenne_prime, https://t5k.org/glossary/xpage/MersenneNumber.html, https://t5k.org/glossary/xpage/Mersennes.html, https://www.rieselprime.de/ziki/Mersenne_number, https://www.rieselprime.de/ziki/Mersenne_prime, https://mathworld.wolfram.com/MersenneNumber.html, https://mathworld.wolfram.com/MersennePrime.html, https://pzktupel.de/Primetables/TableMersenne.php)|282589933−1 (the largest known Mersenne prime (https://en.wikipedia.org/wiki/Mersenne_prime, https://t5k.org/glossary/xpage/MersenneNumber.html, https://t5k.org/glossary/xpage/Mersennes.html, https://www.rieselprime.de/ziki/Mersenne_number, https://www.rieselprime.de/ziki/Mersenne_prime, https://mathworld.wolfram.com/MersenneNumber.html, https://mathworld.wolfram.com/MersennePrime.html, https://pzktupel.de/Primetables/TableMersenne.php, https://t5k.org/top20/page.php?id=4, https://www.mersenne.org/, https://www.mersenne.org/primes/, https://www.mersenne.ca/, https://t5k.org/mersenne/))|http://www.factordb.com/index.php?id=1100000001257221107&open=prime|24862048|http://www.mersenne.org/primes/|
|Proth primality testing (https://en.wikipedia.org/wiki/Proth%27s_theorem, https://www.rieselprime.de/ziki/Proth%27s_theorem, https://mathworld.wolfram.com/ProthsTheorem.html, http://www.numericana.com/answer/primes.htm#proth)|*O*(*log*(*n*))|numbers of the form *k*×2*n*+1 with *k* odd and *k* < 2*n*, such numbers are called "Proth numbers" (https://en.wikipedia.org/wiki/Proth_prime, https://t5k.org/glossary/xpage/ProthPrime.html, https://www.rieselprime.de/ziki/Proth_prime, https://mathworld.wolfram.com/ProthNumber.html, https://www.numbersaplenty.com/set/Proth_number/, https://web.archive.org/web/20230706041914/https://pzktupel.de/Primetables/TableProthTOP10KK.php, https://pzktupel.de/Primetables/ProthK.txt, https://pzktupel.de/Primetables/TableProthTOP10KS.php, https://pzktupel.de/Primetables/ProthS.txt, https://t5k.org/top20/page.php?id=66, https://www.primegrid.com/forum_thread.php?id=2665, https://www.primegrid.com/stats_pps_llr.php, https://www.primegrid.com/stats_ppse_llr.php, https://www.primegrid.com/stats_mega_llr.php), and such primes are called "Proth primes"|10223×231172165+1 (the largest known Proth prime (https://en.wikipedia.org/wiki/Proth_prime, https://t5k.org/glossary/xpage/ProthPrime.html, https://www.rieselprime.de/ziki/Proth_prime, https://mathworld.wolfram.com/ProthNumber.html, https://www.numbersaplenty.com/set/Proth_number/, https://web.archive.org/web/20230706041914/https://pzktupel.de/Primetables/TableProthTOP10KK.php, https://pzktupel.de/Primetables/ProthK.txt, https://pzktupel.de/Primetables/TableProthTOP10KS.php, https://pzktupel.de/Primetables/ProthS.txt, https://t5k.org/top20/page.php?id=66, https://www.primegrid.com/forum_thread.php?id=2665, https://www.primegrid.com/stats_pps_llr.php, https://www.primegrid.com/stats_ppse_llr.php, https://www.primegrid.com/stats_mega_llr.php))|http://factordb.com/index.php?id=1100000000881266827&open=prime|9383761|https://t5k.org/primes/lists/all.txt|
|Lucas–Lehmer–Riesel primality testing (https://en.wikipedia.org/wiki/Lucas%E2%80%93Lehmer%E2%80%93Riesel_test)|*O*(*log*(*n*))|numbers of the form *k*×2*n*−1 with *k* odd and *k* < 2*n*, such numbers are called "Proth numbers of the second kind" (https://www.rieselprime.de/ziki/Riesel_prime, https://web.archive.org/web/20230628151418/https://pzktupel.de/Primetables/TableRieselTOP10KK.php, https://pzktupel.de/Primetables/RieselK.txt, https://pzktupel.de/Primetables/TableRieselTOP10KS.php, https://pzktupel.de/Primetables/RieselS.txt), and such primes are called "Proth primes of the second kind"|3×220928756−1 (the largest known Proth prime of the second kind (https://www.rieselprime.de/ziki/Riesel_prime, https://web.archive.org/web/20230628151418/https://pzktupel.de/Primetables/TableRieselTOP10KK.php, https://pzktupel.de/Primetables/RieselK.txt, https://pzktupel.de/Primetables/TableRieselTOP10KS.php, https://pzktupel.de/Primetables/RieselS.txt))|http://factordb.com/index.php?id=1100000004660727594&open=prime|6300184|https://t5k.org/primes/lists/all.txt|
|Pocklington (*N*−1) primality testing (https://t5k.org/prove/prove3_1.html, http://bln.curtisbright.com/2013/10/09/the-n-1-and-n1-primality-tests/, https://en.wikipedia.org/wiki/Pocklington_primality_test, https://www.rieselprime.de/ziki/Pocklington%27s_theorem, https://mathworld.wolfram.com/PocklingtonsTheorem.html, https://stdkmd.net/nrr/pock/, http://factordb.com/nmoverview.php?method=1)|*O*(*log*(*n*))|numbers *n* such that *n*−1 can be ≥ 1/2 factored|19637361048576+1 (the largest known generalized Proth prime (https://en.wikipedia.org/wiki/Proth_prime, https://t5k.org/glossary/xpage/ProthPrime.html, https://www.rieselprime.de/ziki/Proth_prime, https://mathworld.wolfram.com/ProthNumber.html, https://www.numbersaplenty.com/set/Proth_number/, https://web.archive.org/web/20230706041914/https://pzktupel.de/Primetables/TableProthTOP10KK.php, https://pzktupel.de/Primetables/ProthK.txt, https://pzktupel.de/Primetables/TableProthTOP10KS.php, https://pzktupel.de/Primetables/ProthS.txt, https://pzktupel.de/Primetables/TableProthGen.php, https://pzktupel.de/Primetables/TableProthGen.txt, https://sites.google.com/view/proth-primes, https://t5k.org/primes/search_proth.php, https://t5k.org/top20/page.php?id=66, https://www.primegrid.com/forum_thread.php?id=2665, https://www.primegrid.com/stats_pps_llr.php, https://www.primegrid.com/stats_ppse_llr.php, https://www.primegrid.com/stats_mega_llr.php) with base *b* > 2)|http://factordb.com/index.php?id=1100000003905175851&open=prime|6598776|https://t5k.org/primes/lists/all.txt|
|Morrison (*N*+1) primality testing (https://t5k.org/prove/prove3_2.html, http://bln.curtisbright.com/2013/10/09/the-n-1-and-n1-primality-tests/, http://factordb.com/nmoverview.php?method=2)|*O*(*log*(*n*))|numbers *n* such that *n*+1 can be ≥ 1/2 factored|3622×57558139−1 (the largest known generalized Proth prime of the second kind (https://www.rieselprime.de/ziki/Riesel_prime, https://web.archive.org/web/20230628151418/https://pzktupel.de/Primetables/TableRieselTOP10KK.php, https://pzktupel.de/Primetables/RieselK.txt, https://pzktupel.de/Primetables/TableRieselTOP10KS.php, https://pzktupel.de/Primetables/RieselS.txt, https://pzktupel.de/Primetables/TableRieselGen.php, https://pzktupel.de/Primetables/TableRieselGen.txt, https://sites.google.com/view/proth-primes, https://t5k.org/primes/search_proth.php) with base *b* > 2)|http://factordb.com/index.php?id=1100000002920355417&open=prime|5282917|https://t5k.org/primes/lists/all.txt|
|elliptic curve (*ECPP*) primality testing (https://t5k.org/prove/prove4_2.html, https://en.wikipedia.org/wiki/Elliptic_curve_primality, https://t5k.org/glossary/xpage/ECPP.html, https://mathworld.wolfram.com/EllipticCurvePrimalityProving.html, https://t5k.org/top20/page.php?id=27, http://www.ellipsa.eu/public/primo/records.html, http://www.lix.polytechnique.fr/~morain/Prgms/ecpp.english.html, https://www.multiprecision.org/cm/ecpp.html)|*O*(*log*(*n*)4+*ε*) for some *ε* > 0|any number|(1086453−1)/9 (the largest known proven ordinary prime (https://t5k.org/glossary/xpage/OrdinaryPrime.html))|http://factordb.com/index.php?id=1100000000046752372&open=prime|86453|https://t5k.org/top20/page.php?id=27|
|Adleman–Pomerance–Rumely (*APR*) primality testing (https://en.wikipedia.org/wiki/Adleman%E2%80%93Pomerance%E2%80%93Rumely_primality_test, https://www.rieselprime.de/ziki/Adleman%E2%80%93Pomerance%E2%80%93Rumely_primality_test, https://mathworld.wolfram.com/Adleman-Pomerance-RumelyPrimalityTest.html, https://t5k.org/prove/prove4_1.html)|*O*(*log*(*n*)*log*(*log*(*log*(*n*))))|any number|(none)|(none)|(none)|(none)|
|Agrawal–Kayal–Saxena (*AKS*) primality testing (https://en.wikipedia.org/wiki/AKS_primality_test, https://mathworld.wolfram.com/AKSPrimalityTest.html, https://t5k.org/prove/prove4_3.html, http://www.numericana.com/answer/primes.htm#aks, http://cr.yp.to/papers/aks-20030125-retypeset20220327.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_70.pdf), http://www.cse.iitk.ac.in/users/manindra/algebra/primality_v6.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_231.pdf))|*O*(*log*(*n*)12)|any number|(none)|(none)|(none)|(none)|
|special number field sieve (*SNFS*) integer factoring (https://en.wikipedia.org/wiki/Special_number_field_sieve, https://www.rieselprime.de/ziki/Special_number_field_sieve, https://mathworld.wolfram.com/NumberFieldSieve.html, https://stdkmd.net/nrr/records.htm#BIGSNFS, http://mklasson.com/factors/viewlog.php?hide_algebraic=true&sort=2&order=desc&method=snfs&maxrows=100, https://stdkmd.net/nrr/wanted.htm#smallpolynomial)|*e*(1+*o*(1))×(32/9×*log*(*n*))1/3×*log*(*log*(*n*))2/3 = *L**n*(1/3, (32/9)1/3)|numbers of special forms, e.g. numbers of the form *a*×*b**n*±*c* with small *a*, *b*, *c* and large *n*|21193−1|http://factordb.com/index.php?id=1000000000000001193&open=ecm|360 (*SNFS* difficulty)|https://homes.cerias.purdue.edu/~ssw/cun/champ.txt|
|general number field sieve (*GNFS*) integer factoring (https://en.wikipedia.org/wiki/General_number_field_sieve, https://www.rieselprime.de/ziki/General_number_field_sieve, https://mathworld.wolfram.com/NumberFieldSieve.html, https://stdkmd.net/nrr/records.htm#BIGGNFS, http://mklasson.com/factors/viewlog.php?hide_algebraic=true&sort=2&order=desc&method=gnfs&maxrows=100, https://stdkmd.net/nrr/wanted.htm#suitableforgnfs)|*e*((64/9)1/3+*o*(1))×*log*(*n*)1/3×*log*(*log*(*n*))2/3 = *L**n*(1/3, (64/9)1/3)|any number|cofactor of the Aurifeuillean (https://en.wikipedia.org/wiki/Aurifeuillean_factorization, https://www.rieselprime.de/ziki/Aurifeuillian_factor, https://mathworld.wolfram.com/AurifeuilleanFactorization.html, http://www.numericana.com/answer/numbers.htm#aurifeuille, http://pagesperso-orange.fr/colin.barker/lpa/cycl_fac.htm, http://list.seqfan.eu/oldermail/seqfan/2017-March/017363.html, http://myfactorcollection.mooo.com:8090/source/cyclo.cpp, http://myfactorcollection.mooo.com:8090/LCD_2_199, http://myfactorcollection.mooo.com:8090/LCD_2_998, https://stdkmd.net/nrr/repunit/repunitnote.htm#aurifeuillean, https://www.unshlump.com/hcn/aurif.html, https://www.ams.org/journals/mcom/2006-75-253/S0025-5718-05-01766-7/S0025-5718-05-01766-7.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_138.pdf), https://maths-people.anu.edu.au/~brent/pd/rpb127.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_164.pdf), https://www.jams.jp/scm/contents/Vol-2-3/2-3-16.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_167.pdf)) *M*-part of 22246+1|http://factordb.com/index.php?id=1100000000921160018&open=ecm|221 (*GNFS* difficulty)|https://homes.cerias.purdue.edu/~ssw/cun/champ.txt|
|trial division (https://en.wikipedia.org/wiki/Trial_division, https://t5k.org/glossary/xpage/TrialDivision.html, https://www.rieselprime.de/ziki/Trial_factoring, https://mathworld.wolfram.com/TrialDivision.html, http://www.numericana.com/answer/factoring.htm#trial, https://oeis.org/A189172)|*O*(*p*)|any prime factor|9999999999999937 (the largest prime < 1016)|http://factordb.com/index.php?id=9999999999999937&open=ecm|16|(none)|
|Pollard (*P*−1) integer factoring (https://en.wikipedia.org/wiki/Pollard%27s_p_%E2%88%92_1_algorithm, https://www.rieselprime.de/ziki/P-1_factorization_method, https://mathworld.wolfram.com/Pollardp-1FactorizationMethod.html, http://mklasson.com/factors/viewlog.php?hide_algebraic=true&sort=2&order=desc&method=p-1&maxrows=100, http://www.numericana.com/answer/factoring.htm#p-1, http://factordb.com/listecm.php?c=2, http://www.loria.fr/~zimmerma/records/Pminus1.html)|*O*(*log*(*p*))|prime factors *p* such that *p*−1 is smooth (https://en.wikipedia.org/wiki/Smooth_number, https://mathworld.wolfram.com/SmoothNumber.html, https://oeis.org/A003586, https://oeis.org/A051037, https://oeis.org/A002473, https://oeis.org/A051038, https://oeis.org/A080197, https://oeis.org/A080681, https://oeis.org/A080682, https://oeis.org/A080683)|prime factor of 960119−1|http://factordb.com/index.php?id=1100000000216738427&open=ecm|66|http://www.loria.fr/~zimmerma/records/Pminus1.html|
|Williams (*P*+1) integer factoring (https://en.wikipedia.org/wiki/Williams%27s_p_%2B_1_algorithm, https://www.rieselprime.de/ziki/P%2B1_factorization_method, https://mathworld.wolfram.com/WilliamspPlus1FactorizationMethod.html, http://mklasson.com/factors/viewlog.php?hide_algebraic=true&sort=2&order=desc&method=p%2b1&maxrows=100, http://www.numericana.com/answer/factoring.htm#p+1, http://factordb.com/listecm.php?c=3, http://www.loria.fr/~zimmerma/records/Pplus1.html)|*O*(*log*(*p*))|prime factors *p* such that *p*+1 is smooth (https://en.wikipedia.org/wiki/Smooth_number, https://mathworld.wolfram.com/SmoothNumber.html, https://oeis.org/A003586, https://oeis.org/A051037, https://oeis.org/A002473, https://oeis.org/A051038, https://oeis.org/A080197, https://oeis.org/A080681, https://oeis.org/A080682, https://oeis.org/A080683)|prime factor of the Lucas number (https://en.wikipedia.org/wiki/Lucas_number, https://t5k.org/glossary/xpage/LucasNumber.html, https://mathworld.wolfram.com/LucasNumber.html, https://oeis.org/A000032) *L*2366|http://factordb.com/index.php?id=1100000000216896584&open=ecm|60|http://www.loria.fr/~zimmerma/records/Pplus1.html|
|Lenstra elliptic-curve (*ECM*) integer factoring (https://en.wikipedia.org/wiki/Lenstra_elliptic-curve_factorization, https://www.rieselprime.de/ziki/Elliptic_curve_method, https://mathworld.wolfram.com/EllipticCurveFactorizationMethod.html, http://www.numericana.com/answer/factoring.htm#ecm, http://factordb.com/listecm.php?c=1, http://www.loria.fr/~zimmerma/ecmnet/, http://www.loria.fr/~zimmerma/records/ecmnet.html, http://www.loria.fr/~zimmerma/records/factor.html, http://www.loria.fr/~zimmerma/records/top50.html, https://stdkmd.net/nrr/records.htm#largefactorecm, http://mklasson.com/factors/viewlog.php?hide_algebraic=true&sort=2&order=desc&method=ecm&maxrows=100, http://maths-people.anu.edu.au/~brent/factors.html, http://maths-people.anu.edu.au/~brent/ftp/champs.txt, https://www.alpertron.com.ar/ECM.HTM, https://www.alpertron.com.ar/ECMREC.HTM, https://homes.cerias.purdue.edu/~ssw/cun/press/tech.html, https://homes.cerias.purdue.edu/~ssw/cun/press/nontech.html, https://kurtbeschorner.de/ecm-efforts.htm, http://www.rechenkraft.net/yoyo//y_factors_ecm.php, http://www.rechenkraft.net/yoyo/y_status_ecm.php, https://www.alpertron.com.ar/ECM.HTM)|*e*(21/2+*o*(1))×*log*(*n*)1/2×*log*(*log*(*n*))1/2 = *L**p*(1/2, 21/2)|any prime factor|prime factor of 7337+1|http://factordb.com/index.php?id=1100000000632146801&open=ecm|83|http://www.loria.fr/~zimmerma/records/top50.html|
Thus, for these numbers, we usually use the general purpose tests (https://t5k.org/prove/prove4.html), which do not require factorization of *N*±1 and can be used for ordinary primes (https://t5k.org/glossary/xpage/OrdinaryPrime.html).
|Primes *p* such that *p*−1 has many factors|Primes *p* such that *p*+1 has many factors|
|---|---|
|Fermat probable primality test (https://t5k.org/prove/prove2_2.html, https://en.wikipedia.org/wiki/Fermat_primality_test, https://en.wikipedia.org/wiki/Fermat_pseudoprime, https://t5k.org/glossary/xpage/PRP.html, https://www.rieselprime.de/ziki/Fermat_pseudoprimality_test, https://mathworld.wolfram.com/FermatPseudoprime.html, https://www.numbersaplenty.com/set/Poulet_number/, http://www.numericana.com/answer/pseudo.htm#pseudoprime, http://ntheory.org/data/psps.txt, https://sites.google.com/view/fermat-pseudoprime, https://sites.google.com/view/bases-fermat-pseudoprime, https://oeis.org/A001567, https://oeis.org/A005935, https://oeis.org/A005936, https://oeis.org/A005938, https://oeis.org/A052155, https://oeis.org/A083737, https://oeis.org/A083739, https://oeis.org/A083876, https://oeis.org/A181780, https://oeis.org/A063994, https://oeis.org/A194946, https://oeis.org/A195327, https://oeis.org/A002997, https://oeis.org/A191311, https://oeis.org/A090086, https://oeis.org/A007535)|Lucas probable primality test (https://en.wikipedia.org/wiki/Lucas_pseudoprime, https://mathworld.wolfram.com/LucasPseudoprime.html, https://www.mathpages.com/home/kmath127/kmath127.htm, http://ntheory.org/data/lpsps-baillie.txt, https://oeis.org/A217120)|
|Miller–Rabin probable primality test (https://t5k.org/prove/prove2_3.html, https://en.wikipedia.org/wiki/Miller%E2%80%93Rabin_primality_test, https://en.wikipedia.org/wiki/Strong_pseudoprime, https://t5k.org/glossary/xpage/MillersTest.html, https://t5k.org/glossary/xpage/StrongPRP.html, https://www.rieselprime.de/ziki/Miller-Rabin_pseudoprimality_test, https://mathworld.wolfram.com/Rabin-MillerStrongPseudoprimeTest.html, https://mathworld.wolfram.com/StrongPseudoprime.html, http://www.numericana.com/answer/pseudo.htm#rabin, http://www.numericana.com/answer/pseudo.htm#strong, http://www.javascripter.net/math/primes/millerrabinprimalitytest.htm, http://ntheory.org/data/spsps.txt, https://faculty.lynchburg.edu/~nicely/misc/mpzspsp.html, http://factordb.com/prooffailed.php, https://sites.google.com/view/strong-pseudoprime, https://sites.google.com/view/bases-strong-pseudoprime, https://oeis.org/A001262, https://oeis.org/A020229, https://oeis.org/A020231, https://oeis.org/A020233, https://oeis.org/A072276, https://oeis.org/A056915, https://oeis.org/A074773, https://oeis.org/A014233, https://oeis.org/A006945, https://oeis.org/A181782, https://oeis.org/A071294, https://oeis.org/A141768, https://oeis.org/A195328, https://oeis.org/A329759, https://oeis.org/A298756)|Strong Lucas probable primality test (https://en.wikipedia.org/wiki/Strong_Lucas_pseudoprime, https://mathworld.wolfram.com/StrongLucasPseudoprime.html, http://ntheory.org/data/slpsps-baillie.txt, https://oeis.org/A217255)|
|Carmichael number (https://oeis.org/A002997, https://en.wikipedia.org/wiki/Carmichael_number, https://t5k.org/glossary/xpage/CarmichaelNumber.html, https://mathworld.wolfram.com/CarmichaelNumber.html, https://www.numbersaplenty.com/set/Carmichael_number/, http://www.numericana.com/answer/modular.htm#carmichael)|Lucas–Carmichael number (https://oeis.org/A006972, https://en.wikipedia.org/wiki/Lucas%E2%80%93Carmichael_number)|
|Euler's totient function (https://oeis.org/A000010, https://en.wikipedia.org/wiki/Euler%27s_totient_function, https://t5k.org/glossary/xpage/EulersPhi.html, https://mathworld.wolfram.com/TotientFunction.html, http://www.numericana.com/answer/modular.htm#phi), its range is https://oeis.org/A002202, and the even numbers not in its range are https://oeis.org/A005277|Dedekind psi function (https://oeis.org/A001615, https://en.wikipedia.org/wiki/Dedekind_psi_function, https://mathworld.wolfram.com/DedekindFunction.html), its range is https://oeis.org/A203444, and the even numbers not in its range are https://oeis.org/A307055|
|Pépin primality test (https://en.wikipedia.org/wiki/P%C3%A9pin%27s_test, https://t5k.org/glossary/xpage/PepinsTest.html, https://www.rieselprime.de/ziki/P%C3%A9pin%27s_test, https://mathworld.wolfram.com/PepinsTest.html) for Fermat numbers (https://en.wikipedia.org/wiki/Fermat_number, https://t5k.org/glossary/xpage/FermatNumber.html, https://www.rieselprime.de/ziki/Fermat_number, https://mathworld.wolfram.com/FermatNumber.html, https://mathworld.wolfram.com/FermatPrime.html, https://pzktupel.de/Primetables/TableFermat.php), i.e. numbers of the form 2*n*+1 (https://oeis.org/A000051), if 2*n*+1 is prime, then *n* must be power of 2, such numbers are https://oeis.org/A000215, and such primes are https://oeis.org/A019434|Lucas–Lehmer primality test (https://en.wikipedia.org/wiki/Lucas%E2%80%93Lehmer_primality_test, https://www.rieselprime.de/ziki/Lucas-Lehmer_test, https://mathworld.wolfram.com/Lucas-LehmerTest.html, https://t5k.org/notes/proofs/LucasLehmer.html, http://www.numericana.com/answer/primes.htm#lucas-lehmer) for Mersenne numbers (https://en.wikipedia.org/wiki/Mersenne_prime, https://t5k.org/glossary/xpage/MersenneNumber.html, https://t5k.org/glossary/xpage/Mersennes.html, https://www.rieselprime.de/ziki/Mersenne_number, https://www.rieselprime.de/ziki/Mersenne_prime, https://mathworld.wolfram.com/MersenneNumber.html, https://mathworld.wolfram.com/MersennePrime.html, https://pzktupel.de/Primetables/TableMersenne.php), i.e. numbers of the form 2*n*−1 (https://oeis.org/A000225), if 2*n*−1 is prime, then *n* must be prime, such numbers are https://oeis.org/A001348, and such primes are https://oeis.org/A000668|
|Pépin primality test numbers: https://oeis.org/A060377|Lucas–Lehmer primality test numbers: https://oeis.org/A003010|
|Residues of Pépin primality test for Fermat numbers: https://oeis.org/A152153|Residues of Lucas–Lehmer primality test for Mersenne numbers: https://oeis.org/A095847|
|Possible bases for Pépin primality test for Fermat numbers (the original base for Pépin primality test is 3): https://oeis.org/A129802|Possible starting values for Lucas–Lehmer primality test for Mersenne numbers (the original starting value for Lucas–Lehmer primality test is 4): https://oeis.org/A018844|
|Proth primality test (https://en.wikipedia.org/wiki/Proth%27s_theorem, https://www.rieselprime.de/ziki/Proth%27s_theorem, https://mathworld.wolfram.com/ProthsTheorem.html, http://www.numericana.com/answer/primes.htm#proth) for numbers of the form *k*×2*n*+1 with *k* odd and *k* < 2*n*, such numbers are called "Proth numbers" (https://en.wikipedia.org/wiki/Proth_prime, https://t5k.org/glossary/xpage/ProthPrime.html, https://www.rieselprime.de/ziki/Proth_prime, https://mathworld.wolfram.com/ProthNumber.html, https://www.numbersaplenty.com/set/Proth_number/, https://web.archive.org/web/20230706041914/https://pzktupel.de/Primetables/TableProthTOP10KK.php, https://pzktupel.de/Primetables/ProthK.txt, https://pzktupel.de/Primetables/TableProthTOP10KS.php, https://pzktupel.de/Primetables/ProthS.txt, https://t5k.org/top20/page.php?id=66, https://www.primegrid.com/forum_thread.php?id=2665, https://www.primegrid.com/stats_pps_llr.php, https://www.primegrid.com/stats_ppse_llr.php, https://www.primegrid.com/stats_mega_llr.php), and such primes are called "Proth primes", such numbers are https://oeis.org/A080075, and such primes are https://oeis.org/A080076|Lucas–Lehmer–Riesel primality test (https://en.wikipedia.org/wiki/Lucas%E2%80%93Lehmer%E2%80%93Riesel_test) for numbers of the form *k*×2*n*−1 with *k* odd and *k* < 2*n*, such numbers are called "Proth numbers of the second kind" (https://www.rieselprime.de/ziki/Riesel_prime, https://web.archive.org/web/20230628151418/https://pzktupel.de/Primetables/TableRieselTOP10KK.php, https://pzktupel.de/Primetables/RieselK.txt, https://pzktupel.de/Primetables/TableRieselTOP10KS.php, https://pzktupel.de/Primetables/RieselS.txt), and such primes are called "Proth primes of the second kind", such numbers are https://oeis.org/A112714, and such primes are https://oeis.org/A112715|
|Pocklington *N*−1 primality test (https://t5k.org/prove/prove3_1.html, http://bln.curtisbright.com/2013/10/09/the-n-1-and-n1-primality-tests/, https://en.wikipedia.org/wiki/Pocklington_primality_test, https://www.rieselprime.de/ziki/Pocklington%27s_theorem, https://mathworld.wolfram.com/PocklingtonsTheorem.html, https://stdkmd.net/nrr/pock/, http://factordb.com/nmoverview.php?method=1) for numbers *N* such that *N*−1 can be ≥ 1/2 factored|Morrison *N*+1 primality test (https://t5k.org/prove/prove3_2.html, http://bln.curtisbright.com/2013/10/09/the-n-1-and-n1-primality-tests/, http://factordb.com/nmoverview.php?method=2) for numbers *N* such that *N*+1 can be ≥ 1/2 factored|
|List of primes of the form *k*×2*n*+1 with odd *k* (http://www.prothsearch.com/riesel1.html, http://www.prothsearch.com/riesel1a.html, http://www.prothsearch.com/riesel1b.html, http://www.prothsearch.com/riesel1c.html, http://irvinemclean.com/maths/sierpin.htm, http://irvinemclean.com/maths/sierpin2.htm, http://irvinemclean.com/maths/sierpin3.htm, https://www.rieselprime.de/default.htm, https://www.rieselprime.de/ziki/Proth_prime, https://sites.google.com/view/proth-primes)|List of primes of the form *k*×2*n*−1 with odd *k* (http://www.prothsearch.com/riesel2.html, https://web.archive.org/web/20210715115849/http://www.15k.org/riesellist.html, https://web.archive.org/web/20210715164816/http://www.15k.org/Summary00300.htm, https://web.archive.org/web/20210715164824/http://www.15k.org/Summary02000.htm, https://web.archive.org/web/20210715164823/http://www.15k.org/Summary04000.htm, https://web.archive.org/web/20210715164815/http://www.15k.org/Summary06000.htm, https://web.archive.org/web/20210715164832/http://www.15k.org/Summary08000.htm, https://web.archive.org/web/20091027083904/http://geocities.com/primes_r_us/riesel/prime300.html, https://web.archive.org/web/20091027083901/http://geocities.com/primes_r_us/riesel/prime400.html, https://web.archive.org/web/20091027083903/http://geocities.com/primes_r_us/riesel/prime500.html, https://web.archive.org/web/20091027083858/http://geocities.com/primes_r_us/riesel/prime600.html, https://web.archive.org/web/20091027083905/http://geocities.com/primes_r_us/riesel/prime700.html, https://web.archive.org/web/20091027083900/http://geocities.com/primes_r_us/riesel/prime800.html, https://web.archive.org/web/20091027083906/http://geocities.com/primes_r_us/riesel/prime900.html, http://www.noprimeleftbehind.net/gary/primes-kx2n-1-001.htm, http://www.noprimeleftbehind.net/gary/Rieselprimes-ranges.htm, https://www.rieselprime.de/default.htm, https://www.rieselprime.de/ziki/Riesel_prime, https://sites.google.com/view/proth-primes)|
|List of primes of the form *k*×10*n*+1 with *k* neither divisible by 10 nor == 2 mod 3 (https://stdkmd.net/nrr/records.htm#k10np1)|List of primes of the form *k*×10*n*−1 with *k* neither divisible by 10 nor == 1 mod 3 (http://www.noprimeleftbehind.net/gary/primes-kx10n-1.htm, https://stdkmd.net/nrr/records.htm#k10nm1)|
|Sierpiński problem (http://www.prothsearch.com/sierp.html, http://www.primegrid.com/forum_thread.php?id=1647, http://www.primegrid.com/forum_thread.php?id=972, http://www.primegrid.com/forum_thread.php?id=1750, http://www.primegrid.com/forum_thread.php?id=5758, http://www.primegrid.com/stats_sob_llr.php, http://www.primegrid.com/stats_psp_llr.php, http://www.primegrid.com/stats_esp_llr.php, https://web.archive.org/web/20160405211049/http://www.seventeenorbust.com/, https://en.wikipedia.org/wiki/Sierpi%C5%84ski_number, https://t5k.org/glossary/xpage/SierpinskiNumber.html, https://www.rieselprime.de/ziki/Sierpi%C5%84ski_problem, https://www.rieselprime.de/ziki/Proth_2_Sierpinski, https://mathworld.wolfram.com/SierpinskiNumberoftheSecondKind.html, https://en.wikipedia.org/wiki/Seventeen_or_Bust, https://www.rieselprime.de/ziki/Seventeen_or_Bust, https://web.archive.org/web/20190929190947/https://primes.utm.edu/glossary/xpage/ColbertNumber.html, https://mathworld.wolfram.com/ColbertNumber.html, http://www.numericana.com/answer/primes.htm#sierpinski, http://www.bitman.name/math/article/204 (in Italian), https://www.ams.org/journals/mcom/1983-40-161/S0025-5718-1983-0679453-8/S0025-5718-1983-0679453-8.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_40.pdf), https://www.fq.math.ca/Scanned/33-3/izotov.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_46.pdf), http://www.digizeitschriften.de/download/PPN378850199_0015/PPN378850199_0015___log24.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_213.pdf), https://www.ams.org/journals/mcom/1981-37-155/S0025-5718-1981-0616376-2/S0025-5718-1981-0616376-2.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_214.pdf), https://www.ams.org/journals/mcom/1983-41-164/S0025-5718-1983-0717710-7/S0025-5718-1983-0717710-7.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_215.pdf), http://www.iakovlev.org/zip/riesel2.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_8.pdf), https://doi.org/10.1016/j.jnt.2008.02.004 (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_47.pdf), https://cs.uwaterloo.ca/journals/JIS/VOL16/Ismailescu/ismailescu3.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_51.pdf), https://cs.uwaterloo.ca/journals/JIS/VOL18/Baczkowski/bacz2.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_61.pdf), https://arxiv.org/pdf/1110.4671.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_62.pdf), https://oeis.org/A076336), finding and proving the smallest odd *k* such that *k*×2*n*+1 is composite for all *n* ≥ 1, the smallest such *k* is conjectured to be 78557, such *k* are called Sierpiński numbers|Riesel problem (http://www.prothsearch.com/rieselprob.html, http://www.primegrid.com/forum_thread.php?id=1731, http://www.primegrid.com/stats_trp_llr.php, https://web.archive.org/web/20061021153313/http://stats.rieselsieve.com//queue.php, https://en.wikipedia.org/wiki/Riesel_number, https://t5k.org/glossary/xpage/RieselNumber.html, https://www.rieselprime.de/ziki/Riesel_problem, https://www.rieselprime.de/ziki/Riesel_2_Riesel, https://mathworld.wolfram.com/RieselNumber.html, http://www.bitman.name/math/article/203 (in Italian), http://www.iakovlev.org/zip/riesel2.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_8.pdf), https://doi.org/10.1016/j.jnt.2008.02.004 (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_47.pdf), https://cs.uwaterloo.ca/journals/JIS/VOL16/Ismailescu/ismailescu3.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_51.pdf), https://cs.uwaterloo.ca/journals/JIS/VOL18/Baczkowski/bacz2.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_61.pdf), https://arxiv.org/pdf/1110.4671.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_62.pdf), https://oeis.org/A076337, https://oeis.org/A101036), finding and proving the smallest odd *k* such that *k*×2*n*−1 is composite for all *n* ≥ 1, the smallest such *k* is conjectured to be 509203, such *k* are called Riesel numbers|
|Smallest *n* such that *k*×2*n*+1 is prime (https://oeis.org/A078680, https://oeis.org/A078683 (corresponding primes), https://oeis.org/A033809 (odd *k*), https://oeis.org/A040076 (*n* = 0 allowed), https://oeis.org/A225721 (*n* = 0 allowed, *k* replaced by *k*+1), https://oeis.org/A050921 (*n* = 0 allowed, corresponding primes), https://oeis.org/A046067 (odd *k*, *n* = 0 allowed), https://oeis.org/A057025 (odd *k*, *n* = 0 allowed, corresponding primes), https://oeis.org/A057192 (prime *k*, *n* = 0 allowed), https://oeis.org/A057247 (prime *k*, corresponding primes), https://oeis.org/A046068 (odd *k*, *n* = 0 allowed, second *n*))|Smallest *n* such that *k*×2*n*−1 is prime (https://oeis.org/A050412 (*k* replaced by *k*−1), https://oeis.org/A052333 (corresponding primes, *k* replaced by *k*−1), https://oeis.org/A108129 (odd *k*), https://oeis.org/A040081 (*n* = 0 allowed), https://oeis.org/A038699 (*n* = 0 allowed, corresponding primes), https://oeis.org/A046069 (odd *k*, *n* = 0 allowed), https://oeis.org/A057026 (odd *k*, *n* = 0 allowed, corresponding primes), https://oeis.org/A128979 (prime *k*), https://oeis.org/A101050 (prime *k*, *n* = 0 allowed), https://oeis.org/A257495 (*k* such that *k*−1 is prime, *k* replaced by *k*−1))|
|dual Sierpiński problem (http://www.kurims.kyoto-u.ac.jp/EMIS/journals/INTEGERS/papers/i61/i61.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_1.pdf), https://www.rechenkraft.net/wiki/Five_or_Bust, https://oeis.org/A076336/a076336c.html, http://www.mit.edu/~kenta/three/prime/dual-sierpinski/ezgxggdm/dualsierp-excerpt.txt, http://mit.edu/kenta/www/three/prime/dual-sierpinski/ezgxggdm/dualsierp.txt.gz, https://mersenneforum.org/showthread.php?t=10761)|dual Riesel problem (https://mersenneforum.org/showthread.php?t=6545)|
|Smallest *n* such that 2*n*+*k* is prime for odd *k* (https://oeis.org/A067760, https://oeis.org/A123252 (corresponding primes), https://oeis.org/A094076 (prime *k*, *n* = 0 allowed), https://oeis.org/A139758 (prime *k*, *n* = 0 allowed, corresponding primes))|Smallest *n* such that 2*n*−*k* is prime for odd *k* (https://oeis.org/A096502, https://oeis.org/A096822 (corresponding primes), https://oeis.org/A101462 (prime *k*))|
|Generalized Sierpiński problems to bases *b* > 2 (http://www.noprimeleftbehind.net/crus/Sierp-conjectures.htm, http://www.noprimeleftbehind.net/crus/Sierp-conjectures-powers2.htm, http://www.noprimeleftbehind.net/crus/Sierp-conjecture-reserves.htm, http://www.noprimeleftbehind.net/crus/vstats/all_ck_sierpinski.txt, https://www.utm.edu/staff/caldwell/preprints/2to100.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_3.pdf), http://www.bitman.name/math/article/1259 (in Italian), https://oeis.org/A123159), finding and proving the smallest *k* such that *k*×*b**n*+1 is composite for all *n* ≥ 1|Generalized Riesel problems to bases *b* > 2 (http://www.noprimeleftbehind.net/crus/Riesel-conjectures.htm, http://www.noprimeleftbehind.net/crus/Riesel-conjectures-powers2.htm, http://www.noprimeleftbehind.net/crus/Riesel-conjecture-reserves.htm, http://www.noprimeleftbehind.net/crus/vstats/all_ck_riesel.txt, https://oeis.org/A273987), finding and proving the smallest *k* such that *k*×*b**n*−1 is composite for all *n* ≥ 1|
|Sophie Germain prime (https://en.wikipedia.org/wiki/Safe_and_Sophie_Germain_primes, https://t5k.org/glossary/xpage/SophieGermainPrime.html, https://www.rieselprime.de/ziki/Sophie_Germain_prime, https://mathworld.wolfram.com/SophieGermainPrime.html, https://oeis.org/A005384, https://t5k.org/top20/page.php?id=2, https://www.primegrid.com/stats_sgs_llr.php, https://www.rieselprime.de/Related/RieselTwinSG.htm, https://www.primepuzzles.net/problems/prob_049.htm)|Sophie Germain prime of the second kind (https://oeis.org/A005382, https://harvey563.tripod.com/cunninghams.txt)|
|Safe prime (https://en.wikipedia.org/wiki/Safe_and_Sophie_Germain_primes, https://t5k.org/glossary/xpage/SafePrime.html, https://oeis.org/A005385, https://www.rieselprime.de/Related/RieselTwinSG.htm, https://www.primepuzzles.net/problems/prob_049.htm)|Safe prime of the second kind (https://oeis.org/A005383, https://harvey563.tripod.com/cunninghams.txt)|
|Cunningham chain of the first kind (https://en.wikipedia.org/wiki/Cunningham_chain, https://t5k.org/glossary/xpage/CunninghamChain.html, https://mathworld.wolfram.com/CunninghamChain.html, https://oeis.org/A005602, https://oeis.org/A057331, https://t5k.org/top20/page.php?id=19, https://www.pzktupel.de/JensKruseAndersen/CC.php, http://www.primerecords.dk/Cunningham_Chain_records.htm)|Cunningham chain of the second kind (https://en.wikipedia.org/wiki/Cunningham_chain, https://t5k.org/glossary/xpage/CunninghamChain.html, https://mathworld.wolfram.com/CunninghamChain.html, https://oeis.org/A005603, https://oeis.org/A057330, https://t5k.org/top20/page.php?id=20, https://www.pzktupel.de/JensKruseAndersen/CC.php, http://www.primerecords.dk/Cunningham_Chain_records.htm)|
|Pierpont prime (class 1− prime) (https://en.wikipedia.org/wiki/Pierpont_prime, https://t5k.org/glossary/xpage/PierpontPrime.html, https://mathworld.wolfram.com/PierpontPrime.html, https://oeis.org/A005109)|Pierpont prime of the second kind (class 1+ prime) (https://oeis.org/A005105)|
|Pollard *P*−1 integer factorization method (https://en.wikipedia.org/wiki/Pollard%27s_p_%E2%88%92_1_algorithm, https://www.rieselprime.de/ziki/P-1_factorization_method, https://mathworld.wolfram.com/Pollardp-1FactorizationMethod.html, http://mklasson.com/factors/viewlog.php?hide_algebraic=true&sort=2&order=desc&method=p-1&maxrows=100, http://www.numericana.com/answer/factoring.htm#p-1, http://factordb.com/listecm.php?c=2, http://www.loria.fr/~zimmerma/records/Pminus1.html)|Williams *P*+1 integer factorization method (https://en.wikipedia.org/wiki/Williams%27s_p_%2B_1_algorithm, https://www.rieselprime.de/ziki/P%2B1_factorization_method, https://mathworld.wolfram.com/WilliamspPlus1FactorizationMethod.html, http://mklasson.com/factors/viewlog.php?hide_algebraic=true&sort=2&order=desc&method=p%2b1&maxrows=100, http://www.numericana.com/answer/factoring.htm#p+1, http://factordb.com/listecm.php?c=3, http://www.loria.fr/~zimmerma/records/Pplus1.html)|
All these numbers are strong probable primes (https://en.wikipedia.org/wiki/Strong_pseudoprime, https://t5k.org/glossary/xpage/StrongPRP.html, https://mathworld.wolfram.com/StrongPseudoprime.html) to bases 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61 (see https://oeis.org/A014233 and https://oeis.org/A141768 and https://oeis.org/A001262 and https://oeis.org/A074773 and http://ntheory.org/data/psps.txt), and strong Lucas probable primes (https://en.wikipedia.org/wiki/Strong_Lucas_pseudoprime, https://mathworld.wolfram.com/StrongLucasPseudoprime.html) with parameters (*P*, *Q*) defined by Selfridge's Method *A* (see https://oeis.org/A217255 and http://ntheory.org/data/slpsps-baillie.txt), and trial factored (https://en.wikipedia.org/wiki/Trial_division, https://t5k.org/glossary/xpage/TrialDivision.html, https://www.rieselprime.de/ziki/Trial_factoring, https://mathworld.wolfram.com/TrialDivision.html, http://www.numericana.com/answer/factoring.htm#trial, https://oeis.org/A189172) to 1016 (thus, all these numbers are Baillie–PSW probable primes (https://en.wikipedia.org/wiki/Baillie%E2%80%93PSW_primality_test, https://mathworld.wolfram.com/Baillie-PSWPrimalityTest.html)), and since all of them are > 1025000, thus the property that they are in fact composite is less than 10−2000 (but still not zero!), see https://t5k.org/notes/prp_prob.html and https://www.ams.org/journals/mcom/1989-53-188/S0025-5718-1989-0982368-4/S0025-5718-1989-0982368-4.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_22.pdf) (bases 11, 16, 22, 30 have no unsolved families but have unproven probable primes, thus, we can 99.999999...999999% (with >2000 9's) say that the minimal sets for bases 11, 16, 22, 30 are these four sets, but we still cannot 100% say this)
A reference of many types of pseudoprimes: http://ntheory.org/pseudoprimes.html; also references of data for all base 2 Fermat pseudoprimes < 264: http://www.cecm.sfu.ca/Pseudoprimes/index-2-to-64.html and https://web.archive.org/web/20220921163920/http://www.janfeitsma.nl/math/psp2/index; also examples of strong pseudoprimes to many bases: https://www.ams.org/journals/mcom/1993-61-204/S0025-5718-1993-1192971-8/S0025-5718-1993-1192971-8.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_41.pdf), https://arxiv.org/pdf/1207.0063.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_42.pdf), https://arxiv.org/pdf/1509.00864.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_43.pdf), https://www.sciencedirect.com/science/article/pii/S0747717185710425?via%3Dihub (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_44.pdf), https://t5k.org/curios/page.php?number_id=4265, https://t5k.org/prove/prove2_3.html, https://faculty.lynchburg.edu/~nicely/misc/mpzspsp.html, http://factordb.com/prooffailed.php, https://oeis.org/A072276, https://oeis.org/A056915, https://oeis.org/A074773
* If 5762668 (base 11) is in fact composite, then 5{7} will be an additional unsolved family for base 11.
* If C523755C (base 13) is in fact composite, then C{5}C will be an additional unsolved family for base 13.
* If 8032017111 (base 13) is in fact composite, then 8{0}111 will be an additional unsolved family for base 13.
* If 95197420 (base 13) is in fact composite, then 9{5} will be an additional unsolved family for base 13.
* If DB32234 (base 16) is in fact composite, then D{B} will be an additional unsolved family for base 16.
* If 472785DD (base 16) is in fact composite, then {4}DD will be an additional unsolved family for base 16.
* If 3116137AF (base 16) is in fact composite, then {3}AF will be an additional unsolved family for base 16.
* If BK220015 (base 22) is in fact composite, then B{K}5 will be an additional unsolved family for base 22.
* If 5193916F (base 26) is in fact composite, then {5}6F will be an additional unsolved family for base 26.
* If 720279OL (base 26) is in fact composite, then {7}OL will be an additional unsolved family for base 26.
* If LD0209757 (base 26) is in fact composite, then LD{0}7 will be an additional unsolved family for base 26.
* If 6K233005 (base 26) is in fact composite, then 6{K}5 will be an additional unsolved family for base 26.
* If J044303KCB (base 26) is in fact composite, then J{0}KCB will be an additional unsolved family for base 26.
* If M0611862BB (base 26) is in fact composite, then M{0}2BB will be an additional unsolved family for base 26.
* If N624051LR (base 28) is in fact composite, then N{6}LR will be an additional unsolved family for base 28.
* If 5OA31238F (base 28) is in fact composite, then 5O{A}F will be an additional unsolved family for base 28 (unless a prime in the family O{A}F is known, since the family 5O{A}F is covered by the unsolved family O{A}F (if the prime in the family 5O{A}F has longer length than the prime in the family O{A}F) (i.e. the family O{A}F is a subfamily of the family 5O{A}F), and there is still a possibility that the smallest prime in the family 5O{A}F has longer length than the smallest prime in the family O{A}F, thus we still cannot definitely say that there are 25529 minimal primes in base 28 even if we assume the heuristic argument (https://en.wikipedia.org/wiki/Heuristic_argument, https://t5k.org/glossary/xpage/Heuristic.html, https://mathworld.wolfram.com/Heuristic.html, http://www.utm.edu/~caldwell/preprints/Heuristics.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_112.pdf)) that all unsolved families have a prime, this is reasonable, references: https://t5k.org/mersenne/heuristic.html, https://t5k.org/notes/faq/NextMersenne.html, https://t5k.org/glossary/xpage/Repunit.html, https://web.archive.org/web/20100628035147/http://www.math.niu.edu/~rusin/known-math/98/exp_primes, https://listserv.nodak.edu/cgi-bin/wa.exe?A2=NMBRTHRY;417ab0d6.0906, https://arxiv.org/pdf/2307.07894.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_203.pdf), http://yves.gallot.pagesperso-orange.fr/papers/weight.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_216.pdf), https://mersenneforum.org/showthread.php?t=12327, https://oeis.org/A234285 (the comment by Farideh Firoozbakht, although this comment is not true, there is no prime for s = 509203 and s = −78557, s = 509203 has a covering set of {3, 5, 7, 13, 17, 241}, and s = −78557 has a covering set of {3, 5, 7, 13, 19, 37, 73}), https://mersenneforum.org/showpost.php?p=564786&postcount=3, https://mersenneforum.org/showpost.php?p=461665&postcount=7, https://mersenneforum.org/showpost.php?p=625978&postcount=1027, also the graphs https://t5k.org/gifs/lg_lg_Mn.gif (for the family {1} in base b = 2) and https://t5k.org/gifs/repunits.gif (for the family {1} in base b = 10) and https://mersenneforum.org/attachment.php?attachmentid=4010&d=1642088235 (for the family 2{0}1 in base b = 3), we can only definitely say that there are either 25528 or 25529 minimal primes in base 28 if we assume the heuristic argument (https://en.wikipedia.org/wiki/Heuristic_argument, https://t5k.org/glossary/xpage/Heuristic.html, https://mathworld.wolfram.com/Heuristic.html, http://www.utm.edu/~caldwell/preprints/Heuristics.pdf (cached copy at https://github.com/xayahrainie4793/pdf-files-cached-copy/blob/main/pdf_112.pdf)) that all unsolved families have a prime).
* If O4O945359 (base 28) is in fact composite, then O4{O}9 will be an additional unsolved family for base 28.
* If I024608D (base 30) is in fact composite, then I{0}D will be an additional unsolved family for base 30.
* If 7K26567Z (base 36) is in fact composite, then 7{K}Z will be an additional unsolved family for base 36.
* If S0750078H (base 36) is in fact composite, then S{0}8H will be an additional unsolved family for base 36.
* If P81993SZ (base 36) is in fact composite, then {P}SZ will be an additional unsolved family for base 36.
For the files in this page:
* File "unprovenPRP *b*": The unproven probable primes which are minimal primes in base *b* (assuming their primality), expressed as base *b* strings with *x*(*y*^*n*)*z* format (which in the *README* files it is denoted as "*xy**n**z*") (*y*^*n* means *n* copies of *y*, e.g. 34(5^6)78 is 3455555578)
* File "primoinput *b* *n*": The input file for *Primo* for the *n*th minimal prime in base *b* (http://www.ellipsa.eu/public/primo/primo.html, http://www.rieselprime.de/dl/Primo309.zip, https://t5k.org/bios/page.php?id=46, https://www.rieselprime.de/ziki/Primo, https://github.com/xayahrainie4793/prime-programs-cached-copy/tree/main/primo-433-lx64, https://github.com/xayahrainie4793/prime-programs-cached-copy/tree/main/Primo309) (local copy from *factordb* (http://factordb.com/, https://www.rieselprime.de/ziki/Factoring_Database)), they should be renamed to ".in" files before inputting to *Primo*, e.g. file "primoinput11_1068" is the input file for *Primo* for the 1068th minimal prime in base 11, i.e. the input file for *Primo* for the probable prime 5762668 in base 11, which equals the probable prime (57×1162668−7)/10. (Note: There is no input file for *Primo* for the probable prime 95197420 in base 13 (which equals the probable prime (113×13197420−5)/12) since this probable prime is too large (>10149999) to be PRP-tested in *factordb*, and *factordb* does not have input file for *Primo* for numbers with status (http://factordb.com/status.html, http://factordb.com/distribution.php) "U" (i.e. in http://factordb.com/listtype.php?t=2), *factordb* only has input file for *Primo* for numbers with status "PRP" (i.e. in http://factordb.com/listtype.php?t=1))