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 ?
9001	11^55302-240	57592	Enzo Doria	07/2012
9002	2^191299-1031467	57587	Paul Bourdelais	11/2012
9003	2^191295-111991	57586	Enzo Doria	05/2014
9004	2^191279-1297	57581	Yves Minet	08/2012
9005	3*6^73961+5	57554	Lelio R Paula	09/2014
9006	(3^120623+5)/52144	57548	Lelio R Paula	04/2012
9007	(17*10^57543-29)/3	57544	Robert Price	09/2017
9008	42^35445-41	57537	Norbert Schneider	06/2014
9009	(71^31079-1)/70	57534	Paul Bourdelais	08/2017
9010	2^191069-723403	57518	Paul Bourdelais	11/2012
9011	4*10^57506-3	57507	Serge Batalov	11/2010
9012	10^57501+67359	57502	Patrick De Geest	06/2016
9013	10^57501-1000000001	57501	Robert Price	05/2016
9014	10^57501-249861	57501	Patrick De Geest	06/2016
9015	(9^60251+4^60251)/13	57493	Robert Price	02/2013
9016	20^44184-6003	57485	Enzo Doria	03/2013
9017	2^190948+12705	57482	Lelio R Paula	10/2012
9018	2^190945+29	57481	Henri Lifchitz	06/2005
9019	2^190922-401	57474	Yves Minet	01/2012
9020	15^48860+46	57464	Lelio R Paula	02/2013
9021	3^120434+20	57462	Lelio R Paula	10/2012
9022	7^67964-38	57437	Lelio R Paula	10/2012
9023	2^190799-113065	57437	Enzo Doria	07/2014
9024	9*5^82159+2	57428	Lelio R Paula	09/2014
9025	(F(22898)^13-F(22897)^13)/F(22896)	57422	Wayne Halsdorf	03/2012
9027	lucasU(432,25,21787)-5*lucasU(432,25,21786)	57416	Mike Oakes	05/2009
9026	(103*10^57414-1)/3	57416	Serge Batalov	12/2014
9028	(1654*30^38869-1)/29	57416	Karsten Bonath	05/2017
9029	2*10^57410+9^57410	57411	Mike Oakes	04/2011
9030	2^190704-1595	57408	Lelio R Paula	05/2011
9031	11^55121-1740	57403	Enzo Doria	11/2012
9032	2^190644-185	57390	Lelio R Paula	04/2011
9033	41182!3-3^41182	57389	Robert Price	08/2015
9034	2^190629-112255	57386	Enzo Doria	06/2014
9035	(2*10^57384-71)/3	57384	Robert Price	01/2017
9037	2*6^73735+5^73735	57378	Mike Oakes	11/2009
9036	2^190605+59	57378	Lelio R Paula	04/2011
9038	6^73727-7	57371	Lelio R Paula	10/2012
9039	2^190561-112225	57365	Enzo Doria	06/2014
9040	10^57358+170899	57359	Patrick De Geest	06/2016
9041	10^57358-8001	57358	Robert Price	03/2016
9042	18^45687-11	57350	Lelio R Paula	02/2013
9043	11^55069-210	57349	Enzo Doria	07/2012
9044	11^55068-12	57348	Lelio R Paula	02/2013
9045	19^44839+54	57339	Lelio R Paula	02/2013
9046	(7*2^190468-1)/8511	57334	Lelio R Paula	01/2014
9047	(23*10^57333-59)/9	57334	Robert Price	03/2017
9048	2^190455-1155*190455	57333	Henri Lifchitz	02/2005
9049	65^31620+28	57325	Lelio R Paula	01/2016
9050	2^190403+16095	57318	Lelio R Paula	05/2011
9051	(19*10^57316+119)/3	57317	Robert Price	02/2017
9052	(21*2^190393+1)/211	57314	Lelio R Paula	07/2012
9054	2^190392-112025	57314	Enzo Doria	05/2014
9053	13173^13912-13912^13173	57314	Norbert Schneider	08/2018
9055	(24737*2^190234+1)/9	57270	Lelio R Paula	05/2014
9056	(7*2^190230+1)/23	57265	Lelio R Paula	07/2012
9057	(10223*2^190197+1)/3211	57256	Lelio R Paula	05/2014
9058	18^45590-97	57228	Lelio R Paula	02/2013
9059	(3*2^190105-1)/19205	57224	Lelio R Paula	01/2014
9060	(16*10^57219-31)/3	57220	Robert Price	03/2016
9061	(2^190074+47)/51	57217	Lelio R Paula	02/2012
9062	3^119894-140	57204	Lelio R Paula	10/2012
9064	(37^36473-1)/36	57196	Robert Price	03/2012
9063	2^190000-2163	57196	Yves Minet	08/2013
9065	2^189987-2798107	57192	Enzo Doria	04/2016
9066	2^189935-112117	57177	Enzo Doria	05/2014
9067	2^189909-112231	57169	Enzo Doria	06/2014
9068	132049#+149053	57161	Makoto Morimoto	12/2015
9069	41032!3-27	57158	Robert Price	09/2014
9070	19^44694+22	57153	Lelio R Paula	02/2013
9071	12^52956-17	57150	Lelio R Paula	02/2013
9072	2^189823-967	57143	Yves Minet	01/2012
9073	(25*10^57138-61)/9	57139	Robert Price	02/2015
9074	5^81743-4^(81743+1)	57136	Robert Price	04/2016
9075	7^67593-54	57123	Lelio R Paula	10/2012
9076	7*3^119712+2	57118	Lelio R Paula	03/2014
9078	5^81700+16	57106	Lelio R Paula	10/2012
9077	2^189700+76561	57106	Enzo Doria	05/2016
9080	2^189671+131	57097	Lelio R Paula	04/2011
9079	4*6^73374+5	57097	Lelio R Paula	09/2014
9081	(67607*2^189651+1)/43727	57091	Lelio R Paula	05/2014
9082	(29*2^189619-1)/393	57080	Lelio R Paula	01/2014
9083	3^119587+80	57058	Lelio R Paula	10/2012
9084	2^189502-113453	57046	Enzo Doria	07/2014
9085	2^189455+153	57032	Lelio R Paula	04/2011
9086	24^41317-41317^24	57027	Norbert Schneider	07/2016
9087	2^189414-17	57020	Lelio R Paula	03/2011
9088	24^41311+23	57018	Norbert Schneider	12/2013
9089	norm(Mod(x,x^4+x^3-x+1)^207341-1)/2	56998	Paul Vanderveen	05/2018
9090	(4*10^56989-31)/9	56989	Erik Branger	05/2011
9091	11^54712-1620	56977	Enzo Doria	11/2012
9092	8102^14577-14577^8102	56976	Norbert Schneider	01/2019
9093	2^189237-112231	56967	Enzo Doria	06/2014
9094	17^46285-48	56952	Lelio R Paula	02/2013
9095	2^189188+75241	56952	Enzo Doria	04/2016
9096	2^189181+94395	56950	Henri Lifchitz	01/2005
9097	7001^14808-108	56940	Enzo Doria	07/2012
9098	2^189147-112639	56939	Enzo Doria	06/2014
9099	(19*10^56933-43)/3	56934	Robert Price	10/2017
9100	2^189110-3	56928	M. Frind & P. Underwood	11/2002
9101	2^189069+12909	56916	Lelio R Paula	04/2011
9102	(13*10^56909+191)/3	56910	Robert Price	08/2017
9103	(35*10^56898-17)/9	56899	Serge Batalov	02/2009
9105	2^189011-5955	56898	Lelio R Paula	04/2011
9104	6^73119-5	56898	Lelio R Paula	10/2012
9106	13^51076-90	56896	Lelio R Paula	02/2013
9107	2^188997+56897	56894	Yves Minet	02/2010
9108	5^81388-13766	56888	Enzo Doria	02/2013
9109	(104^28201+1)/105	56881	Richard Fischer	04/2018
9110	(156^25933+1)/157	56873	Eric Chen	12/2017
9111	20^43713-6403	56872	Enzo Doria	03/2013
9112	(71*10^56858-287)/9	56859	Robert Price	05/2017
9113	2^188857-254233	56852	Gary Barnes	09/2009
9115	15^48338-88	56850	Lelio R Paula	02/2013
9114	10^56849+136437	56850	Patrick De Geest	07/2017
9116	10^56849-701	56849	Robert Price	06/2017
9117	(2^188788+78557)/3	56831	Lelio R Paula	05/2012
9118	2^188771+16095	56826	Lelio R Paula	04/2011
9119	7*2^188742-9	56818	Lelio R Paula	03/2014
9120	12^52646-65	56815	Lelio R Paula	02/2013
9121	5003^15358-158	56813	Enzo Doria	07/2012
9122	2^188713+577294575	56809	Lelio R Paula	03/2013
9123	2^188693-112099	56803	Enzo Doria	05/2014
9124	(7^67211+4^67211)/11	56799	Robert Price	10/2012
9125	2^188678-94395	56798	Lelio R Paula	09/2011
9126	20^43651-8503	56792	Enzo Doria	03/2013
9128	2^188657-2371	56792	Yves Minet	10/2013
9127	152^26029-151^26029	56792	Eric Chen	04/2018
9129	(14^49549+5^49549)/19	56789	Robert Price	05/2013
9130	(45^34351-1)/44	56788	Robert Price	05/2014
9131	7*10^56785-23	56786	Robert Price	04/2016
9132	(10^56781-31)/3	56781	Serge Batalov	12/2014
9133	7*10^56779+3	56780	Erik Branger	11/2009
9134	12858^13817-13817^12858	56777	Norbert Schneider	11/2018
9135	10^56765+259179	56766	Patrick De Geest	09/2013
9136	10^56765-249497	56765	Patrick De Geest	09/2013
9137	t(188706)	56764	Robert Price	04/2015
9138	2^188551-904327	56760	Paul Bourdelais	11/2012
9139	(64*10^56756+17)/9	56757	Robert Price	09/2015
9140	131101#+146291	56757	Makoto Morimoto	02/2016
9141	2^188539-112519	56756	Enzo Doria	06/2014
9142	6^72927+101	56749	Lelio R Paula	10/2012
9143	20^43617-1603	56748	Enzo Doria	03/2013
9144	(3^118892-8)/91358929	56718	Lelio R Paula	03/2012
9145	13339^13748-13748^13339	56713	Norbert Schneider	09/2018
9146	(509203*2^188338-1)/3	56701	Lelio R Paula	03/2015
9147	20^43567-5623	56682	Enzo Doria	03/2013
9148	2^188234-113183	56665	Enzo Doria	07/2014
9149	(139^26437+1)/140	56653	Richard Fischer	03/2018
9150	(7*2^188215-1)/1497315125	56651	Lelio R Paula	01/2014
9151	(1017*2^188171-1)/35	56647	Lelio R Paula	03/2015
9152	(34*10^56647-7)/9/37/263	56644	Makoto Morimoto	04/2016
9153	(2^188176-1017)/453814543	56638	Lelio R Paula	02/2012
9154	33*10^56634+7	56636	Robert Price	07/2016
9155	(F(31)^9241-F(30)^9241)/F(29)	56634	Wayne Halsdorf	08/2010
9156	14^49413+33	56634	Lelio R Paula	02/2013
9157	3^118680+110	56625	Lelio R Paula	10/2012
9158	(13*10^56624+161)/3	56625	Robert Price	04/2017
9159	(3^118676-2)/7516653263	56613	Lelio R Paula	03/2012
9160	(13*2^188062+1)/17	56613	Lelio R Paula	07/2012
9161	2^188056-1313	56611	Yves Minet	08/2012
9162	20^43510-5583	56608	Enzo Doria	03/2013
9163	2^188032+12285	56604	Lelio R Paula	03/2011
9164	(19*10^56597-43)/3	56598	Robert Price	10/2017
9165	(265*10^56588+17)/3	56590	Robert Price	05/2016
9166	2^187959+5775	56582	Lelio R Paula	03/2011
9167	(5*2^187959+1)/53	56581	Lelio R Paula	07/2012
9168	3*10^56575-13	56576	Robert Price	11/2017
9169	(11*2^187889-1)/351	56559	Lelio R Paula	01/2014
9170	(100049^11311+1)/100050	56553	Faysal YAtim	09/2007
9171	(19*10^56544-1)/9	56545	Serge Batalov	03/2009
9172	20^43447-8923	56526	Enzo Doria	03/2013
9173	10423^14066-14066^10423	56518	Norbert Schneider	11/2018
9174	2^187743-112177	56517	Enzo Doria	06/2014
9175	(F(5879)^47-F(5878)^47)/F(5877)	56502	Wayne Halsdorf	08/2010
9176	5^80831-22	56499	Lelio R Paula	10/2012
9177	5^80828-13166	56497	Enzo Doria	02/2013
9178	7*2^187590-5	56472	Lelio R Paula	03/2014
9179	2^187555+75473	56460	Enzo Doria	04/2016
9180	2^187541-283	56456	Yves Minet	01/2012
9182	(55*10^56453-1)/9	56454	Serge Batalov	03/2009
9181	12933^13730-13730^12933	56454	Norbert Schneider	09/2018
9183	2^187506-1451	56445	Yves Minet	08/2012
9184	189^24794-2	56443	Lelio R Paula	10/2017
9185	13600^13653-13653^13600	56436	Norbert Schneider	08/2018
9186	6^72522+143	56434	Lelio R Paula	10/2012
9187	(15185*2^187452-1)/949	56430	Lelio R Paula	03/2015
9188	2^187390+79	56411	Lelio R Paula	03/2011
9189	2^187386+12909	56409	Lelio R Paula	03/2011
9190	2^187382+613	56408	Jason Earls	04/2008
9191	(34*10^56392-7)/9/37/883/23887	56384	Makoto Morimoto	04/2016
9192	20^43337-9	56383	Lelio R Paula	02/2013
9193	(26*10^56371-173)/3	56372	Robert Price	10/2017
9194	(F(1008)^269-F(1007)^269)/F(1006)	56364	Wayne Halsdorf	08/2010
9195	2^187230+427	56362	Henri Lifchitz	01/2005
9196	11^54121-9480	56362	Enzo Doria	02/2013
9197	10758^13979-13979^10758	56360	Norbert Schneider	09/2018
9198	10635^13996-13996^10635	56359	Norbert Schneider	09/2018
9199	(21*2^187202-1)/43	56354	Lelio R Paula	01/2014
9200	2^187173-91	56345	Lelio R Paula	03/2011
9201	(23*2^187174-1)/20719883	56340	Lelio R Paula	01/2014
9202	2^187125-2833	56331	Yves Minet	09/2014
9203	9*7^66655-4	56331	Lelio R Paula	09/2014
9205	18^44874-97	56330	Lelio R Paula	02/2013
9204	13304^13659-13659^13304	56330	Norbert Schneider	08/2018
9206	60*79^29679+19	56322	Serge Batalov	03/2016
9207	5^80571+56	56317	Lelio R Paula	10/2012
9208	5^80551-22	56303	Lelio R Paula	10/2012
9209	(76*10^56281+41)/9	56282	Robert Price	10/2015
9210	(88*10^56271-43)/9	56272	Robert Price	11/2015
9211	(5*10^56256-119)/3	56257	Robert Price	04/2016
9212	1508^17691+17691^1508	56230	Serge Batalov	05/2014
9213	3^117844-58	56226	Lelio R Paula	10/2012
9214	(19*10^56224+737)/9	56225	Robert Price	10/2017
9215	95^28427+2	56221	Lelio R Paula	05/2013
9216	2^186713+76817	56207	Enzo Doria	05/2016
9217	16534^2505+2505^16534	56196	Hans Havermann	06/2016
9218	14428^7849+7849^14428	56195	Hans Havermann	06/2016
9219	2*10^56194-51	56195	Robert Price	11/2017
9220	14898^5909+5909^14898	56189	Hans Havermann	06/2016
9221	18^44758+95	56184	Lelio R Paula	02/2013
9222	7478^14503-14503^7478	56182	Norbert Schneider	11/2018
9223	2^186555-741	56159	Lelio R Paula	05/2011
9224	(4*10^56156+173)/3	56157	Robert Price	01/2017
9226	(3^117708+7)/447896	56156	Lelio R Paula	03/2012
9225	15711^3752+3752^15711	56156	Hans Havermann	06/2016
9227	(23*2^186549-1)/2429025	56152	Lelio R Paula	01/2014
9228	387^21694+21694^387	56138	Norbert Schneider	08/2014
9229	2^186422+17239	56119	Yves Minet	01/2010
9230	2^186418+4242429	56118	Jason Earls	10/2008
9231	136^26300+135	56113	Norbert Schneider	04/2015
9232	5*2^186392+9	56111	Lelio R Paula	03/2014
9233	14345^8152+8152^14345	56108	Hans Havermann	07/2016
9234	(5*2^186351-1)/39	56097	Lelio R Paula	01/2014
9235	2^186319-541237	56088	Paul Bourdelais	11/2012
9236	2*10^56083-43	56084	Robert Price	07/2017
9237	(16*10^56082-61)/9	56083	Serge Batalov	05/2009
9238	(14*10^56080-143)/3	56081	Robert Price	01/2017
9239	(265*10^56076+17)/3	56078	Robert Price	05/2016
9240	7^66346-50	56069	Lelio R Paula	10/2012
9241	20^43094-33	56067	Lelio R Paula	02/2013
9242	20^43090-1383	56062	Enzo Doria	03/2013
9243	3^117482+2660	56054	Lelio R Paula	10/2012
9244	(22699*2^186193+1)/111	56052	Lelio R Paula	05/2014
9245	(68*10^56042+13)/9	56043	Ray Chandler	09/2010
9246	3*6^71992+5^71992	56022	Mike Oakes	03/2010
9247	13691^12352+12352^13691	56020	Hans Havermann	07/2016
9248	(2^186095+7)/75	56019	Lelio R Paula	02/2012
9249	247^23412+23412^247	56018	Norbert Schneider	08/2014
9250	1839^17156+17156^1839	56008	Serge Batalov	05/2014

Find by discoverer :

PRP Records

Probable Primes Top 10000

(252538 PRPs in the top)