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 ?
9251	12858^13817-13817^12858	56777	Norbert Schneider	11/2018
9252	10^56765+259179	56766	Patrick De Geest	09/2013
9253	10^56765-249497	56765	Patrick De Geest	09/2013
9254	t(188706)	56764	Robert Price	04/2015
9255	2^188551-904327	56760	Paul Bourdelais	11/2012
9257	(64*10^56756+17)/9	56757	Robert Price	09/2015
9256	131101#+146291	56757	Makoto Morimoto	02/2016
9258	2^188539-112519	56756	Enzo Doria	06/2014
9259	6^72927+101	56749	Lelio R Paula	10/2012
9260	20^43617-1603	56748	Enzo Doria	03/2013
9261	(3^118892-8)/91358929	56718	Lelio R Paula	03/2012
9262	13339^13748-13748^13339	56713	Norbert Schneider	09/2018
9263	(509203*2^188338-1)/3	56701	Lelio R Paula	03/2015
9264	20^43567-5623	56682	Enzo Doria	03/2013
9265	2^188234-113183	56665	Enzo Doria	07/2014
9266	(139^26437+1)/140	56653	Richard Fischer	03/2018
9267	(7*2^188215-1)/1497315125	56651	Lelio R Paula	01/2014
9268	(1017*2^188171-1)/35	56647	Lelio R Paula	03/2015
9269	(34*10^56647-7)/9/37/263	56644	Makoto Morimoto	04/2016
9270	(2^188176-1017)/453814543	56638	Lelio R Paula	02/2012
9271	33*10^56634+7	56636	Robert Price	07/2016
9272	(F(31)^9241-F(30)^9241)/F(29)	56634	Wayne Halsdorf	08/2010
9273	14^49413+33	56634	Lelio R Paula	02/2013
9274	14240^9483+9483^14240	56632	Hans Havermann	04/2019
9275	15991^3478+3478^15991	56630	Hans Havermann	04/2019
9277	3^118680+110	56625	Lelio R Paula	10/2012
9276	(13*10^56624+161)/3	56625	Robert Price	04/2017
9278	(3^118676-2)/7516653263	56613	Lelio R Paula	03/2012
9279	(13*2^188062+1)/17	56613	Lelio R Paula	07/2012
9280	2^188056-1313	56611	Yves Minet	08/2012
9281	20^43510-5583	56608	Enzo Doria	03/2013
9282	2^188032+12285	56604	Lelio R Paula	03/2011
9283	(19*10^56597-43)/3	56598	Robert Price	10/2017
9284	(265*10^56588+17)/3	56590	Robert Price	05/2016
9285	2^187959+5775	56582	Lelio R Paula	03/2011
9286	(5*2^187959+1)/53	56581	Lelio R Paula	07/2012
9287	3*10^56575-13	56576	Robert Price	11/2017
9288	(11*2^187889-1)/351	56559	Lelio R Paula	01/2014
9289	(100049^11311+1)/100050	56553	Faysal YAtim	09/2007
9290	(19*10^56544-1)/9	56545	Serge Batalov	03/2009
9291	20^43447-8923	56526	Enzo Doria	03/2013
9292	10423^14066-14066^10423	56518	Norbert Schneider	11/2018
9293	2^187743-112177	56517	Enzo Doria	06/2014
9294	(F(5879)^47-F(5878)^47)/F(5877)	56502	Wayne Halsdorf	08/2010
9295	5^80831-22	56499	Lelio R Paula	10/2012
9296	5^80828-13166	56497	Enzo Doria	02/2013
9297	7*2^187590-5	56472	Lelio R Paula	03/2014
9298	16361^2826+2826^16361	56465	Hans Havermann	04/2019
9299	2^187555+75473	56460	Enzo Doria	04/2016
9300	2^187541-283	56456	Yves Minet	01/2012
9302	(55*10^56453-1)/9	56454	Serge Batalov	03/2009
9301	12933^13730-13730^12933	56454	Norbert Schneider	09/2018
9303	2^187506-1451	56445	Yves Minet	08/2012
9304	189^24794-2	56443	Lelio R Paula	10/2017
9305	13600^13653-13653^13600	56436	Norbert Schneider	08/2018
9306	6^72522+143	56434	Lelio R Paula	10/2012
9307	(15185*2^187452-1)/949	56430	Lelio R Paula	03/2015
9308	15992^3369+3369^15992	56412	Hans Havermann	03/2019
9309	2^187390+79	56411	Lelio R Paula	03/2011
9310	2^187386+12909	56409	Lelio R Paula	03/2011
9311	2^187382+613	56408	Jason Earls	04/2008
9312	13931^11188+11188^13931	56404	Hans Havermann	04/2019
9313	(34*10^56392-7)/9/37/883/23887	56384	Makoto Morimoto	04/2016
9314	20^43337-9	56383	Lelio R Paula	02/2013
9315	(26*10^56371-173)/3	56372	Robert Price	10/2017
9316	(F(1008)^269-F(1007)^269)/F(1006)	56364	Wayne Halsdorf	08/2010
9317	2^187230+427	56362	Henri Lifchitz	01/2005
9318	11^54121-9480	56362	Enzo Doria	02/2013
9319	10758^13979-13979^10758	56360	Norbert Schneider	09/2018
9320	10635^13996-13996^10635	56359	Norbert Schneider	09/2018
9321	(21*2^187202-1)/43	56354	Lelio R Paula	01/2014
9322	2^187173-91	56345	Lelio R Paula	03/2011
9323	(23*2^187174-1)/20719883	56340	Lelio R Paula	01/2014
9324	2^187125-2833	56331	Yves Minet	09/2014
9325	9*7^66655-4	56331	Lelio R Paula	09/2014
9326	18^44874-97	56330	Lelio R Paula	02/2013
9327	13304^13659-13659^13304	56330	Norbert Schneider	08/2018
9328	60*79^29679+19	56322	Serge Batalov	03/2016
9329	5^80571+56	56317	Lelio R Paula	10/2012
9330	5^80551-22	56303	Lelio R Paula	10/2012
9331	(76*10^56281+41)/9	56282	Robert Price	10/2015
9332	(88*10^56271-43)/9	56272	Robert Price	11/2015
9333	9191^14198-14198^9191	56272	Norbert Schneider	02/2019
9334	(5*10^56256-119)/3	56257	Robert Price	04/2016
9335	2^186840-4475	56245	Yves Minet	03/2019
9336	1508^17691+17691^1508	56230	Serge Batalov	05/2014
9337	3^117844-58	56226	Lelio R Paula	10/2012
9338	(19*10^56224+737)/9	56225	Robert Price	10/2017
9339	95^28427+2	56221	Lelio R Paula	05/2013
9340	2^186713+76817	56207	Enzo Doria	05/2016
9341	16534^2505+2505^16534	56196	Hans Havermann	06/2016
9342	14428^7849+7849^14428	56195	Hans Havermann	06/2016
9343	2*10^56194-51	56195	Robert Price	11/2017
9344	14898^5909+5909^14898	56189	Hans Havermann	06/2016
9345	18^44758+95	56184	Lelio R Paula	02/2013
9346	7478^14503-14503^7478	56182	Norbert Schneider	11/2018
9347	2^186555-741	56159	Lelio R Paula	05/2011
9348	(4*10^56156+173)/3	56157	Robert Price	01/2017
9350	(3^117708+7)/447896	56156	Lelio R Paula	03/2012
9349	15711^3752+3752^15711	56156	Hans Havermann	06/2016
9351	(23*2^186549-1)/2429025	56152	Lelio R Paula	01/2014
9352	387^21694+21694^387	56138	Norbert Schneider	08/2014
9353	2^186422+17239	56119	Yves Minet	01/2010
9354	2^186418+4242429	56118	Jason Earls	10/2008
9355	136^26300+135	56113	Norbert Schneider	04/2015
9356	5*2^186392+9	56111	Lelio R Paula	03/2014
9357	14345^8152+8152^14345	56108	Hans Havermann	07/2016
9358	(5*2^186351-1)/39	56097	Lelio R Paula	01/2014
9359	2^186319-541237	56088	Paul Bourdelais	11/2012
9360	2*10^56083-43	56084	Robert Price	07/2017
9361	(16*10^56082-61)/9	56083	Serge Batalov	05/2009
9362	(14*10^56080-143)/3	56081	Robert Price	01/2017
9363	(265*10^56076+17)/3	56078	Robert Price	05/2016
9364	7^66346-50	56069	Lelio R Paula	10/2012
9365	20^43094-33	56067	Lelio R Paula	02/2013
9366	20^43090-1383	56062	Enzo Doria	03/2013
9367	3^117482+2660	56054	Lelio R Paula	10/2012
9368	(22699*2^186193+1)/111	56052	Lelio R Paula	05/2014
9369	(68*10^56042+13)/9	56043	Ray Chandler	09/2010
9370	3*6^71992+5^71992	56022	Mike Oakes	03/2010
9371	13691^12352+12352^13691	56020	Hans Havermann	07/2016
9372	(2^186095+7)/75	56019	Lelio R Paula	02/2012
9373	247^23412+23412^247	56018	Norbert Schneider	08/2014
9374	1839^17156+17156^1839	56008	Serge Batalov	05/2014
9375	13736^11949+11949^13736	56007	Hans Havermann	04/2016
9376	(5*2^186036-1)/11	56003	Lelio R Paula	01/2014
9377	(299*10^55998-17)/3	56000	Robert Price	01/2017
9378	p(12103)#/2-128	55994	Robert Price	05/2017
9380	2^186003-174337	55993	Gary Barnes	09/2009
9379	(2^186010+78557)/123	55993	Lelio R Paula	05/2012
9381	20^43037-93	55993	Lelio R Paula	02/2013
9382	16375^2626+2626^16375	55991	Hans Havermann	03/2016
9383	11083^13842-13842^11083	55987	Norbert Schneider	11/2018
9384	15631^3816+3816^15631	55985	Hans Havermann	03/2016
9385	21^42335-2	55977	Lelio R Paula	08/2013
9386	Phi(64736,139)	55959	Enzo Doria	07/2012
9387	15215^4762+4762^15215	55958	Hans Havermann	03/2016
9388	19317^788+788^19317	55953	Anatoly F. Selevich	12/2006
9389	13582^13165+13165^13582	55950	Hans Havermann	08/2016
9390	(78557*2^185842+1)/189	55947	Lelio R Paula	06/2014
9391	11867^13730-13730^11867	55941	Norbert Schneider	09/2018
9392	15^47562-86	55938	Lelio R Paula	02/2013
9393	4*10^55932+91	55933	Robert Price	11/2017
9394	3^117222+4	55930	Lelio R Paula	03/2012
9395	24^40519-23^40519	55925	Robert Price	07/2012
9396	13636^12623+12623^13636	55924	Hans Havermann	07/2016
9397	2^185767-99	55922	Lelio R Paula	03/2011
9398	(19*2^185750-1)/15	55917	Lelio R Paula	01/2014
9400	15^47542-58	55914	Lelio R Paula	02/2013
9399	52211!4+2	55914	Robert Price	08/2017
9401	20^42973-5583	55910	Enzo Doria	03/2013
9402	4*10^55906+21	55907	Robert Price	08/2016
9403	2^185713-111	55906	Lelio R Paula	03/2011
9404	13^50174+88	55891	Lelio R Paula	01/2013
9405	14569^6846+6846^14569	55879	Hans Havermann	08/2016
9406	Pell-LucasQ(145969)/2	55874	Eric W. Weisstein	08/2006
9407	3^117087-80	55865	Lelio R Paula	10/2012
9408	8384^14237-14237^8384	55859	Norbert Schneider	03/2019
9409	(7*10^55851-43)/9	55851	Robert Price	10/2014
9410	2^185519-169	55847	Lelio R Paula	03/2011
9411	7^66074+10	55840	Lelio R Paula	10/2012
9412	(19*10^55833-49)/3	55834	Robert Price	02/2017
9413	(2*10^55834-59)/3	55834	Robert Price	05/2017
9414	2^185463-4237	55830	Yves Minet	08/2018
9415	12^51732+5	55829	Lelio R Paula	01/2013
9416	11252^13779-13779^11252	55822	Norbert Schneider	10/2018
9417	3*2^185429+7	55821	Lelio R Paula	03/2014
9418	(60^31393+1)/61	55820	Paul Bourdelais	08/2017
9420	(9787*2^185420-1)/381	55819	Lelio R Paula	04/2015
9419	14427^7396+7396^14427	55819	Hans Havermann	08/2016
9421	10^55811+21	55812	Robert Price	01/2011
9422	10^55811-74103	55811	Patrick De Geest	12/2012
9423	11^53591-1530	55810	Enzo Doria	11/2012
9424	(5^79841-5^39921+1)/15334159	55800	Lelio R Paula	09/2017
9425	2^185355-2145	55798	Lelio R Paula	03/2011
9426	14531^6912+6912^14531	55794	Hans Havermann	07/2016
9427	2^185327-1615	55789	Lelio R Paula	03/2011
9428	2^185280-12779	55775	Enzo Doria	10/2012
9429	15504^3955+3955^15504	55771	Hans Havermann	07/2016
9430	(2*10^55762-59)/3	55762	Robert Price	05/2017
9431	5^79770-44	55757	Lelio R Paula	10/2012
9432	18^44416-85	55755	Lelio R Paula	02/2013
9433	2^185208-459995	55754	Enzo Doria	06/2015
9434	2^185200+1185	55751	Lelio R Paula	03/2011
9435	(536*10^55748-23)/9	55750	Robert Price	11/2017
9436	7^65964+6^(65964-1)	55747	Robert Price	03/2016
9437	2^185151-237157	55737	Gary Barnes	09/2009
9438	110017^11055-102	55734	Enzo Doria	07/2012
9439	14754^5987+5987^14754	55729	Hans Havermann	07/2016
9440	12591^13592-13592^12591	55729	Norbert Schneider	07/2018
9441	40090!3-9	55711	Robert Price	09/2014
9442	9*10^55707+89	55708	Robert Price	11/2016
9443	2^185023-2257	55698	Yves Minet	06/2009
9444	18628^977+977^18628	55696	Anatoly F. Selevich	01/2007
9445	2^185006-93	55693	Lelio R Paula	03/2011
9446	2^185003-2515	55692	Yves Minet	07/2014
9447	2^184992-78557	55689	Jorge Menendez	02/2018
9448	3*10^55679+37	55680	Robert Price	10/2017
9449	6^71524-19	55657	Lelio R Paula	10/2012
9450	2^184872-2195	55653	Yves Minet	08/2013
9451	507^20572+20572^507	55648	Norbert Schneider	06/2016
9452	(86*10^55645-311)/9	55646	Robert Price	10/2017
9453	134^26151-133	55626	Norbert Schneider	03/2015
9454	15340^4221+4221^15340	55614	Hans Havermann	07/2016
9455	27743!2+2	55612	Robert Price	01/2013
9456	20^42744+81	55612	Lelio R Paula	02/2013
9457	14609^6406+6406^14609	55611	Hans Havermann	07/2016
9458	2^184724-112883	55608	Enzo Doria	06/2014
9459	13507^13074+13074^13507	55601	Hans Havermann	07/2016
9460	2^184689+129	55597	Lelio R Paula	03/2011
9461	(9179*2^184672-1)/193	55594	Lelio R Paula	03/2015
9462	(22*10^55592-19)/3	55593	Robert Price	02/2017
9463	Phi(59984,89)	55582	Enzo Doria	05/2012
9464	8815^14088-14088^8815	55581	Norbert Schneider	11/2018
9465	11^53368+16	55578	Lelio R Paula	01/2013
9466	20^42717-1923	55577	Enzo Doria	03/2013
9467	117^26870+26870^117	55573	Serge Batalov	05/2014
9468	12^51488+55	55565	Lelio R Paula	01/2013
9469	(44*10^55558-17)/9	55559	Robert Price	06/2015
9470	(2*10^55559-23)/3	55559	Robert Price	09/2017
9471	10^55555+32857	55556	Patrick De Geest	06/2010
9472	10^55555-136721	55555	Patrick De Geest	06/2010
9473	(11*2^184541-1)/351	55551	Lelio R Paula	01/2014
9474	20^42696-2043	55549	Enzo Doria	03/2013
9475	(35*10^55547-737)/9	55548	Robert Price	11/2017
9476	(2*10^55544+1)/3	55544	Serge Batalov	06/2009
9477	(-lucasV(1,2,369056)+2)/(389109*457)	55542	Mike Oakes	04/2017
9478	5003^15013-160	55537	Enzo Doria	07/2012
9479	39^34896-2	55522	Lelio R Paula	08/2013
9480	(6^71345-61)/5	55517	Lelio R Paula	05/2014
9481	2^184407-3019	55513	Yves Minet	10/2014
9482	(43*10^55512-61)/9	55513	Robert Price	06/2015
9483	20^42667-843	55512	Enzo Doria	03/2013
9484	133^26134-132	55505	Norbert Schneider	03/2015
9485	(31*2^184378-1)/711	55502	Lelio R Paula	01/2014
9486	9*7^65667-4	55497	Lelio R Paula	09/2014
9487	2^184342-173	55493	Lelio R Paula	03/2011
9488	15^47182+92	55491	Lelio R Paula	02/2013
9489	5^79378+6	55483	Lelio R Paula	10/2012
9490	581^20068+20068^581	55472	Norbert Schneider	06/2016
9491	(2^184232+1)/257	55457	Donovan Johnson	03/2005
9492	18^44177-1415	55455	Enzo Doria	03/2013
9493	2^184203-2797867	55451	Enzo Doria	04/2016
9494	2^184189+17	55447	Lelio R Paula	03/2011
9495	2^184183+26123	55445	Yves Minet	01/2010
9496	Phi(77077,10)	55441	Ray Chandler	05/2009
9497	2^184141-113251	55432	Enzo Doria	07/2014
9498	2^184093-504613	55418	Gary Barnes	09/2009
9499	6517^14528-14528^6517	55411	Norbert Schneider	12/2018
9500	(lucasV(1,2,368167)+2)/(1111031307*5647)	55404	Mike Oakes	04/2017

Find by discoverer :

PRP Records

Probable Primes Top 10000

(252675 PRPs in the top)