Henri & Renaud Lifchitz's PRP Top records

What is a PRP ?

A PRP is a probable prime number, a number that nobody knows how to prove or disprove its primality.
Here are some criterions that can be used to recognize these numbers :

- N does not have any prime factor up to 2^32.
- N cannot be trivially written into a product.
- Take 3 square-free consecutive bases such that (b1/N)=(b2/N)=(b3/N)= -1. N should be such that b1^((N-1)/2)=b2^((N-1)/2)=b3^((N-1)/2)= -1 (mod N).
- Take a prime base such that (b/N)= -1 and b<>b1<>b2<>b3. N should pass the strong test in base b.
- or more (if someone has got an idea) !!!

Submit your PRPs

See the Top discoverers
See the Latest PRPs
Search by form


1-250	251-500	501-750	751-1000	1001-1250	1251-1500	1501-1750	1751-2000
2001-2250	2251-2500	2501-2750	2751-3000	3001-3250	3251-3500	3501-3750	3751-4000
4001-4250	4251-4500	4501-4750	4751-5000	5001-5250	5251-5500	5501-5750	5751-6000
6001-6250	6251-6500	6501-6750	6751-7000	7001-7250	7251-7500	7501-7750	7751-8000
8001-8250	8251-8500	8501-8750	8751-9000	9001-9250	9251-9500	9501-9750	9751-10000

Rank	Probable prime	Digits (> 50000)	Who ?	When ?
7001	2^372638-1859441	112176	Enzo Doria	03/2016
7002	3^235074-113056	112159	Enzo Doria	07/2014
7003	-E(29242)/489848365125303139750087	112140	Thomas Ritschel	01/2021
7004	(2^372514+1822)/2	112138	Stefano Morozzi	02/2021
7005	29468^6387+6387^29468	112135	Hans Havermann	02/2021
7006	(2^372428+3742)/2	112112	Stefano Morozzi	01/2021
7007	25375^25454-25454^25375	112110	Norbert Schneider	01/2021
7008	131^52949-130	112108	Norbert Schneider	02/2019
7009	(91*10^112098-1)/9	112100	Robert Price	04/2015
7010	(68*10^112087-149)/9	112088	Robert Price	07/2022
7011	2^372314+212419	112078	Enzo Doria	08/2023
7012	2^372310-85061	112077	Paul Bourdelais	02/2012
7013	(10^112067+53)/9	112067	Serge Batalov	07/2015
7014	(2^372237+2082)/2	112055	Stefano Morozzi	09/2020
7015	75^59760+2	112054	Lelio R Paula	08/2013
7016	(2^372200+1710)/2	112044	Stefano Morozzi	09/2020
7017	(10^112048+7)/8747/373157	112039	Alfred Reich	06/2021
7018	(2^372181+2250)/2	112038	Stefano Morozzi	01/2021
7019	F(536233)/825798821/1102495049/5641839306317	112036	Serge Batalov	07/2024
7020	(2^372161+2574)/2	112032	Stefano Morozzi	09/2020
7021	8*10^112018-49	112019	Robert Price	08/2019
7023	2^372108+74221	112016	Enzo Doria	04/2016
7022	(2^372109+2046)/2	112016	Stefano Morozzi	09/2020
7024	8*10^112011-73	112012	Robert Price	01/2022
7025	(184*10^112007-1)/3	112009	Robert Price	02/2020
7026	5*10^112003+81	112004	Robert Price	03/2019
7027	215^48018+48018^215	112000	Norbert Schneider	10/2018
7028	25549^24148+24148^25549	111979	Hans Havermann	02/2021
7029	2^371970-459491	111975	Enzo Doria	05/2015
7030	41^69427-40^69427	111971	Robert Price	07/2012
7031	(20^86027+19^86027)/39	111923	Robert Price	09/2025
7032	(2^371782+358)/2	111918	Stefano Morozzi	01/2021
7033	15*25^80056+446	111915	Eric Chen	10/2023
7034	(34*10^111902-547)/9	111903	Robert Price	03/2021
7035	(10^111902+71)/9	111902	Serge Batalov	07/2015
7036	((385283-70250)F(535399)-(85283-70250)*L(535399))/2	111897	Yaroslav Berezhko	09/2025
7037	(2^371625+1610)/2	111870	Stefano Morozzi	09/2020
7038	29080^7027+7027^29080	111865	Hans Havermann	01/2021
7039	31307^3730+3730^31307	111820	Hans Havermann	02/2021
7040	2^371440-112865	111815	Enzo Doria	06/2014
7041	2^371426-459161	111811	Enzo Doria	05/2015
7042	25768^21771+21771^25768	111779	Hans Havermann	02/2021
7043	28022^9747+9747^28022	111777	Hans Havermann	02/2021
7044	(94*10^111770+11)/3	111772	Robert Price	04/2020
7045	2^371276-461267	111766	Enzo Doria	07/2015
7046	6*10^111760+43	111761	Robert Price	07/2020
7047	98079!4-1024	111747	Robert Price	11/2019
7048	(2^371186+3162)/2	111738	Stefano Morozzi	09/2020
7049	10^(255862+1)-410^55862-1	111725	Robert Price	07/2023
7050	2^371098-113261	111712	Enzo Doria	07/2014
7051	(7*10^111706-61)/9	111706	Erik Branger	01/2011
7052	2^371044+1869391	111696	Enzo Doria	05/2016
7053	26310^17581+17581^26310	111688	Hans Havermann	01/2021
7054	88^57416+87	111645	Norbert Schneider	11/2015
7055	2^370829-109693	111631	Enzo Doria	04/2014
7056	15^94906-2	111619	Lelio R Paula	11/2013
7057	25835^20904+20904^25835	111614	Hans Havermann	02/2021
7058	(2^370726+1198)/2	111600	Stefano Morozzi	09/2020
7059	27758^10479+10479^27758	111597	Hans Havermann	02/2021
7060	2^370695-4627	111591	Yves Minet	05/2019
7061	7*10^111579-87	111580	Robert Price	06/2020
7062	2^370643-37	111575	Yves Minet	01/2012
7063	(2^370655-5)/2439	111575	Lelio R Paula	03/2014
7064	2^370610-3911	111565	Yves Minet	04/2017
7065	(154*10^111549+17)/9	111551	Robert Price	06/2022
7066	26200^18097+18097^26200	111550	Hans Havermann	01/2021
7067	286^45405+45405^286	111532	Norbert Schneider	04/2015
7068	4*5^159563-9	111531	Lelio R Paula	11/2014
7069	5*10^111528-21	111529	Robert Price	12/2021
7070	(4^185225+23)/3	111517	Robert Price	10/2018
7071	2^370393-2797093	111500	Enzo Doria	03/2016
7072	(21*2^370382-1)/629	111495	Lelio R Paula	03/2014
7073	(2^370371+554)/2	111493	Stefano Morozzi	09/2020
7074	6^143273-5	111489	Paul Bourdelais	01/2021
7075	2^370292-2791979	111469	Enzo Doria	03/2016
7076	(14*10^111443-11)/3	111444	Robert Price	08/2022
7077	2^370177-461551	111435	Enzo Doria	07/2015
7078	(2^370169+1706)/2	111432	Stefano Morozzi	09/2020
7079	109^54683-108	111413	Norbert Schneider	02/2017
7080	(83*10^111406-173)/9	111407	Robert Price	04/2021
7081	959^37362-37362^959	111407	Henri Lifchitz	10/2024
7082	(2^370043+1010)/2	111394	Stefano Morozzi	09/2020
7083	32961^2396+2396^32961	111392	Hans Havermann	10/2020
7084	numbpart(10^10+76282)	111391	Serge Batalov	04/2015
7085	(19*10^111385+11)/3	111386	Robert Price	07/2023
7086	(23*10^111380-29)/3	111381	Robert Price	03/2022
7087	2^369974+733	111374	Lelio R Paula	05/2013
7088	121^53470+120	111367	Norbert Schneider	10/2018
7089	2^369915-286267	111356	Enzo Doria	07/2015
7090	(62*10^111347-629)/9	111348	Robert Price	07/2021
7091	2^369855-1615	111338	Lelio R Paula	05/2017
7092	7*10^111325+3	111326	Robert Price	08/2015
7093	51^65176+2	111293	Lelio R Paula	08/2013
7094	Phi(43329,-43329)	111283	Henri Lifchitz	06/2025
7095	2^369643-1865767	111274	Enzo Doria	03/2016
7096	2^369603+885	111262	Lelio R Paula	05/2017
7097	25555^22564+22564^25555	111252	Hans Havermann	10/2020
7098	F(532391)/89441689/1425422598617	111243	Serge Batalov	07/2024
7099	L(532277)	111240	Renaud Lifchitz	03/2004
7100	105^55033-2	111233	Lelio R Paula	10/2017
7101	(35*10^111232-737)/9	111233	Robert Price	07/2018
7102	26970^13307+13307^26970	111227	Hans Havermann	10/2020
7103	25419^23716+23716^25419	111210	Hans Havermann	10/2020
7104	(26^78593-3^78593)/23	111206	Robert Price	02/2025
7105	9*10^111201-29	111202	Robert Price	09/2019
7106	2^369392+29835	111199	Lelio R Paula	05/2017
7107	3^233059+16	111198	Robert Price	03/2020
7108	2^369354-3413	111187	Yves Minet	12/2016
7109	2^369296-27	111170	Lelio R Paula	02/2013
7110	(2468^40960+1)/(2468^8192+1)	111161	Martin Hopf	08/2024
7111	2^369239-109837	111153	Enzo Doria	05/2014
7112	2^369224-291839	111148	Enzo Doria	07/2015
7113	2^369216+2798881	111146	Enzo Doria	04/2016
7114	26842^13817+13817^26842	111137	Hans Havermann	11/2020
7115	(5*10^111119-191)/3	111120	Robert Price	05/2021
7116	(29*10^111112-23)/3	111113	Robert Price	03/2022
7117	10^111111+163849	111112	Patrick De Geest	03/2017
7118	10^111111-312911	111111	Patrick De Geest	03/2017
7119	2^369092-216923	111108	Enzo Doria	05/2014
7120	2^369081-55	111105	Lelio R Paula	02/2013
7121	(2^369047+3618)/2	111094	Stefano Morozzi	09/2020
7122	88^57124-87	111077	Norbert Schneider	11/2015
7123	2^368980+753	111075	Lelio R Paula	05/2013
7124	2^368946-3623	111064	Yves Minet	03/2017
7125	2^368929+29835	111059	Lelio R Paula	05/2017
7126	4^184463-3^184463	111058	Jean-Louis Charton	12/2004
7127	111^54298+110	111057	Norbert Schneider	04/2017
7128	(4*10^111032-7)/3	111033	Ray Chandler	04/2011
7129	(29*10^111020-41)/3	111021	Tyler Busby	03/2024
7130	35799^1262+1262^35799	111015	Hans Havermann	10/2020
7131	(298*10^111004+11)/3	111006	Robert Price	11/2020
7132	27648^10349+10349^27648	111004	Hans Havermann	11/2020
7133	28899^6932+6932^28899	110997	Hans Havermann	11/2020
7134	(749^38809+1)/(749^197+1)	110990	Martin Hopf	11/2023
7135	2^368641-460303	110972	Enzo Doria	06/2015
7136	2^368619-109087	110966	Enzo Doria	04/2014
7137	(74*10^110961+313)/9	110962	Robert Price	06/2019
7138	25258^24711+24711^25258	110956	Hans Havermann	11/2020
7139	(2^368539+1290)/2	110941	Stefano Morozzi	01/2021
7140	3*2^368489+7	110927	Lelio R Paula	09/2014
7141	(14*10^110922+61)/3	110923	Robert Price	12/2018
7142	97411!4-2	110913	Robert Price	07/2017
7143	(301*10^110903+23)/9	110905	Robert Price	06/2021
7144	(9179*2^368330-1)/35	110881	Lelio R Paula	05/2015
7145	25830^19619+19619^25830	110880	Hans Havermann	10/2020
7146	(34*10^110882-7)/9/13/29/1019374319	110871	Makoto Morimoto	05/2016
7147	26022^18191+18191^26022	110850	Hans Havermann	10/2020
7148	(2^368211+2250)/2	110843	Stefano Morozzi	01/2021
7149	(37*10^110813+251)/9	110814	Robert Price	09/2021
7150	2^368050-64875	110795	Lelio R Paula	05/2017
7151	2^368048+25	110794	Lelio R Paula	02/2013
7152	(2^368017+2262)/2	110784	Stefano Morozzi	02/2021
7153	69^60239-2	110771	Lelio R Paula	10/2013
7154	(23*2^367952+1)/15717	110762	Lelio R Paula	03/2014
7155	2^367924-69	110757	Lelio R Paula	02/2013
7156	(23*10^110738+61)/3	110739	Robert Price	01/2022
7157	(2^367779+3750)/2	110713	Stefano Morozzi	01/2021
7158	2^367709-109723	110692	Enzo Doria	04/2014
7159	2^367687+213413	110685	Enzo Doria	09/2023
7160	(3*2^367644-1)/107	110671	Lelio R Paula	03/2014
7161	(2^367626+3514)/2	110667	Stefano Morozzi	09/2020
7162	(1288676*34^72242-455)/33	110642	Eric Chen	03/2023
7163	379*10^110616+9	110619	Jason Yuen	01/2025
7164	(23*2^367398+1)/57963	110595	Lelio R Paula	03/2014
7165	140^51515-139	110558	Norbert Schneider	04/2019
7166	2^367215+1879223	110543	Enzo Doria	09/2016
7167	25782^19375+19375^25782	110534	Hans Havermann	10/2020
7168	26117^17058+17058^26117	110526	Hans Havermann	10/2020
7169	2^367141+41	110521	Lelio R Paula	02/2013
7170	2^367126+29835	110516	Lelio R Paula	05/2017
7171	(10^110503-1)/9+2(10^59183-1)/910^25660	110503	Makoto Morimoto	09/2020
7172	(10^110503-1)/9+2(10^65511-1)/910^22496	110503	Makoto Morimoto	09/2020
7173	(10^110503-1)/9+210^108327+210^2175	110503	Makoto Morimoto	09/2020
7174	(10^110503-1)/9+210^66251+210^44251	110503	Makoto Morimoto	09/2020
7175	(10^110503-1)/9+3(10^28813-1)/910^40845	110503	Makoto Morimoto	09/2020
7176	(10^110503-1)/9+3(10^82573-1)/910^13965	110503	Makoto Morimoto	09/2020
7177	(10^110503-1)/9+4(10^43305-1)/910^33599	110503	Makoto Morimoto	09/2020
7178	(10^110503-1)/9+510^70327+510^40175	110503	Makoto Morimoto	09/2020
7179	(10^110503-1)/9+510^99423+510^11079	110503	Makoto Morimoto	09/2020
7180	(10^110503-1)/9+7(10^23617-1)/910^43443	110503	Makoto Morimoto	09/2020
7181	(10^110503-1)/9+8(10^30251-1)/910^40126	110503	Makoto Morimoto	09/2020
7182	3(10^110503-1)/9+110^106036+1*10^4466	110503	Makoto Morimoto	09/2020
7183	3(10^110503-1)/9+110^58962+1*10^51540	110503	Makoto Morimoto	09/2020
7184	3(10^110503-1)/9+110^78213+1*10^32289	110503	Makoto Morimoto	09/2020
7185	3(10^110503-1)/9+210^76898+2*10^33604	110503	Makoto Morimoto	09/2020
7186	3(10^110503-1)/9-110^100802-1*10^9700	110503	Makoto Morimoto	09/2020
7187	3(10^110503-1)/9-110^76355-1*10^34147	110503	Makoto Morimoto	09/2020
7188	3(10^110503-1)/9-210^105704-2*10^4798	110503	Makoto Morimoto	09/2020
7189	7(10^110503-1)/9+1(10^27685-1)/9*10^41409	110503	Makoto Morimoto	09/2020
7190	7(10^110503-1)/9+1(10^91035-1)/9*10^9734	110503	Makoto Morimoto	09/2020
7191	7(10^110503-1)/9-1(10^23717-1)/9*10^43393	110503	Makoto Morimoto	09/2020
7192	7(10^110503-1)/9-110^57906-1*10^52596	110503	Makoto Morimoto	09/2020
7193	7(10^110503-1)/9-110^72287-1*10^38215	110503	Makoto Morimoto	09/2020
7194	7(10^110503-1)/9-2(10^53823-1)/9*10^28340	110503	Makoto Morimoto	09/2020
7195	7(10^110503-1)/9-2(10^88659-1)/9*10^10922	110503	Makoto Morimoto	09/2020
7196	7(10^110503-1)/9-3(10^79921-1)/9*10^15291	110503	Makoto Morimoto	09/2020
7197	7(10^110503-1)/9-310^60024-3*10^50478	110503	Makoto Morimoto	09/2020
7198	7(10^110503-1)/9-4(10^103091-1)/9*10^3706	110503	Makoto Morimoto	09/2020
7199	7(10^110503-1)/9-410^103658-4*10^6844	110503	Makoto Morimoto	09/2020
7200	7(10^110503-1)/9-410^78188-4*10^32314	110503	Makoto Morimoto	09/2020
7201	7(10^110503-1)/9-5(10^35035-1)/9*10^37734	110503	Makoto Morimoto	09/2020
7202	7(10^110503-1)/9-6(10^67347-1)/9*10^21578	110503	Makoto Morimoto	09/2020
7203	7(10^110503-1)/9-610^60391-6*10^50111	110503	Makoto Morimoto	09/2020
7204	(10^110503-1)-4(10^96247-1)/910^7128	110503	Makoto Morimoto	09/2020
7205	(10^110503-1)-410^74037-410^36465	110503	Makoto Morimoto	09/2020
7206	(10^110503-1)-410^77787-410^32715	110503	Makoto Morimoto	09/2020
7207	(10^110503-1)-410^91179-410^19323	110503	Makoto Morimoto	09/2020
7208	(10^110503-1)-5(10^99143-1)/910^5680	110503	Makoto Morimoto	09/2020
7209	(10^110503-1)-7(10^85075-1)/910^12714	110503	Makoto Morimoto	09/2020
7210	(10^110503-1)-710^100712-710^9790	110503	Makoto Morimoto	09/2020
7211	(10^110503-1)-710^76427-710^34075	110503	Makoto Morimoto	09/2020
7212	(10^110503-1)-710^90451-710^20051	110503	Makoto Morimoto	09/2020
7213	(10^110503-1)-810^106252-810^4250	110503	Makoto Morimoto	09/2020
7214	(11*10^110496+49)/3	110497	Robert Price	07/2018
7215	25447^21958+21958^25447	110481	Hans Havermann	11/2020
7216	(31*2^366976+1)/7	110472	Lelio R Paula	03/2014
7217	7*10^110468-23	110469	Robert Price	07/2019
7218	5*3^231464-2^231464	110438	Jon Grantham	08/2023
7219	2^366853+5711	110434	Lelio R Paula	05/2017
7220	(21181*2^366833+1)/3	110432	Lelio R Paula	07/2014
7221	(4^231439)%(3^231439)	110425	Henri Lifchitz	06/2025
7222	2^366816+315	110423	Lelio R Paula	05/2017
7223	(11^2667520)/(10^2667520)	110416	Henri Lifchitz	06/2025
7224	2^366775-2787037	110411	Enzo Doria	03/2016
7225	(112*10^110405-1)/3	110407	Serge Batalov	12/2014
7226	2^366751+2797553	110404	Enzo Doria	03/2016
7227	25276^23331+23331^25276	110404	Hans Havermann	10/2020
7228	2^366748+255	110403	Lelio R Paula	05/2017
7229	2^366738-2985	110400	Yves Minet	09/2014
7230	(23*2^366739+1)/74575	110396	Lelio R Paula	03/2014
7231	(2^366722+1314)/2	110395	Stefano Morozzi	02/2021
7232	2^366716+1871791	110393	Enzo Doria	05/2016
7233	(239*23^81066-349)/22	110391	Eric Chen	08/2023
7234	2^366695+1334025	110387	Henri Lifchitz	10/2024
7235	(5^528189)%F(528189)	110385	Henri Lifchitz	06/2025
7236	2^366649+1871687	110373	Enzo Doria	05/2016
7237	2^366629-351205	110367	Enzo Doria	06/2015
7238	(31*10^110363+257)/9	110364	Robert Price	12/2021
7239	(5^183291)%(4^183291)	110353	Henri Lifchitz	06/2025
7240	(17*19^86292-215)/18	110347	Eric Chen	01/2023
7242	2^366558+1874479	110345	Enzo Doria	06/2016
7241	25132^24581+24581^25132	110345	Hans Havermann	10/2020
7243	(2^366539+770)/2	110339	Stefano Morozzi	09/2020
7244	26368^15285+15285^26368	110331	Hans Havermann	10/2020
7245	(23*10^110290+19)/3	110291	Robert Price	07/2019
7246	18^87853-4409	110280	Enzo Doria	03/2013
7247	28490^7419+7419^28490	110267	Hans Havermann	11/2020
7248	2^366218-23	110243	Lelio R Paula	02/2013
7249	(21*2^366193-1)/197	110235	Lelio R Paula	03/2014
7250	2^366178-343991	110231	Enzo Doria	07/2015

Find by discoverer :

PRP Records

Probable Primes Top 10000

(301964 PRPs in the top)