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 ?
9501	2^181913+29	54762	Henri Lifchitz	06/2005
9502	2^181887+189	54754	Lelio R Paula	02/2011
9503	2^181874+181874^2-1	54750	Robert Price	04/2014
9504	(2^181865+9)/7339	54743	Lelio R Paula	02/2012
9505	5^78314-92	54740	Lelio R Paula	10/2012
9506	(163*10^54727-1)/9	54729	Serge Batalov	12/2014
9507	15^46531+74	54725	Lelio R Paula	02/2013
9508	277^22400-348	54712	Enzo Doria	07/2012
9509	6^70302+101	54706	Lelio R Paula	10/2012
9510	3^114622-10408	54689	Enzo Doria	02/2013
9512	(23*2^181674+1)/489	54688	Lelio R Paula	01/2012
9511	2^181669-1551	54688	Yves Minet	08/2012
9513	(57352^11491-1)/57351	54676	Serge Batalov	04/2015
9514	(31*2^181629-1)/10734721	54671	Lelio R Paula	01/2014
9515	(F(1048)^251-F(1047)^251)/F(1046)	54668	Wayne Halsdorf	05/2010
9516	13^49073+46	54665	Lelio R Paula	01/2013
9517	(57042^11491-1)/57041	54649	Serge Batalov	04/2015
9519	20^42000+73	54644	Lelio R Paula	02/2013
9518	(67607*2^181517+1)/1655	54644	Lelio R Paula	05/2014
9520	33*10^54634+7	54636	Robert Price	07/2016
9521	20^41988+61	54628	Lelio R Paula	01/2013
9522	20^41988-8123	54628	Enzo Doria	03/2013
9524	2^181420+21181	54613	Yves Minet	03/2011
9523	9854^13675-13675^9854	54613	Norbert Schneider	08/2018
9525	(19*10^54608+161)/9	54609	Robert Price	07/2016
9526	19^42696-24	54598	Lelio R Paula	02/2013
9527	(44*10^54596-503)/9	54597	Robert Price	10/2017
9528	(74*10^54583+61)/9	54584	Robert Price	10/2015
9529	2^181316-94395	54582	Lelio R Paula	09/2011
9530	14751^5006+5006^14751	54572	Hans Havermann	08/2016
9531	14^47609+39	54567	Lelio R Paula	02/2013
9532	12696^13295-13295^12696	54559	Norbert Schneider	01/2018
9533	(2^124979+lucasV(2,-2,124979)+1)/3	54552	Paul Vanderveen	12/2017
9535	3^114327-74	54548	Lelio R Paula	10/2012
9534	(44*10^54547-161)/9	54548	Robert Price	11/2017
9536	gcd(V(995625),5F(199125)(F(199125)-1)+1)	54546	Serge Batalov	04/2015
9537	(17*10^54537-47)/3	54538	Robert Price	05/2017
9538	2^181155-1155*181155	54534	Henri Lifchitz	02/2005
9539	Phi(61672,83)	54533	Enzo Doria	05/2012
9540	(2*10^54527-197)/3	54527	Robert Price	11/2017
9541	9*2^181128+7	54526	Lelio R Paula	03/2014
9542	89*10^54518-7	54520	Robert Price	03/2017
9543	2^181090-113247	54514	Enzo Doria	07/2014
9544	14031^7670+7670^14031	54508	Hans Havermann	08/2016
9545	14210^6849+6849^14210	54505	Hans Havermann	08/2016
9546	2^181043-199	54500	Lelio R Paula	02/2011
9547	12^50499+5	54498	Lelio R Paula	01/2013
9548	12^50491+5	54489	Lelio R Paula	01/2013
9549	6^70016-145	54484	Lelio R Paula	10/2012
9550	11^52313-9600	54479	Enzo Doria	02/2013
9551	2^64459+3^64459+5^64459+7^64459	54475	Henri Lifchitz	08/2001
9552	2^180946-111041	54471	Enzo Doria	05/2014
9553	(64*10^54467+287)/9	54468	Robert Price	04/2016
9554	(32*10^54458+319)/9	54459	Robert Price	10/2017
9555	5^77907-2*3^77907	54455	Mike Oakes	11/2009
9556	20^41853-5623	54453	Enzo Doria	03/2013
9557	14^47506-75	54448	Lelio R Paula	02/2013
9558	(25*10^54443-67)/3	54444	Robert Price	11/2017
9559	2^180839-113437	54438	Enzo Doria	08/2014
9560	3^114085+28	54433	Lelio R Paula	10/2012
9561	Phi(141230,10)	54432	Ray Chandler	08/2009
9562	6^69946-55	54429	Lelio R Paula	10/2012
9563	p(11796)#/2-1024	54427	Robert Price	09/2017
9564	5*2^180796+3	54426	Lelio R Paula	03/2014
9565	(23*2^180782-1)/91	54421	Lelio R Paula	01/2014
9566	9*6^69928-7	54416	Lelio R Paula	09/2014
9567	92^27701-91^27701	54399	Robert Price	08/2015
9568	(2^180687-3)*6-7	54393	Gilbert Mozzo	04/2016
9569	(5*10^54388-11)/3	54389	Erik Branger	12/2013
9571	20^41799-3043	54382	Enzo Doria	03/2013
9570	13860^8387+8387^13860	54382	Hans Havermann	08/2016
9572	(F(19)^15017-F(18)^15017)/F(17)	54378	Wayne Halsdorf	05/2010
9573	7^64329-18	54365	Lelio R Paula	10/2012
9574	2^180551-967	54352	Yves Minet	01/2012
9575	9075^13732-13732^9075	54350	Norbert Schneider	09/2018
9576	15^46209-74	54347	Lelio R Paula	02/2013
9577	10^54345+29739	54346	Patrick De Geest	08/2013
9578	10^54345-141381	54345	Patrick De Geest	09/2013
9579	lucasU(2098,1,16360)-lucasU(2098,1,16359)	54342	Mike Oakes	05/2009
9580	177^24171-2	54336	Lelio R Paula	10/2017
9581	2^180496+15	54335	Lelio R Paula	02/2011
9582	1845^16636+16636^1845	54334	Serge Batalov	05/2014
9583	11^52169-70	54329	Lelio R Paula	01/2013
9584	2^180446-4031	54320	Yves Minet	02/2018
9585	13693^9262+9262^13693	54317	Hans Havermann	06/2016
9586	2^180429-113101	54315	Enzo Doria	07/2014
9587	2^180423-112051	54313	Enzo Doria	05/2014
9588	16112^2349+2349^16112	54312	Hans Havermann	06/2016
9589	(79^28621-1)/78	54311	Paul Bourdelais	08/2017
9590	(13^48751+4^48751)/17	54305	Robert Price	05/2013
9591	2^180370+12915	54297	Lelio R Paula	09/2012
9592	(10^54290+41)/3	54290	Robert Price	01/2017
9593	15108^3917+3917^15108	54283	Hans Havermann	06/2016
9594	2^180317-3019	54281	Yves Minet	10/2014
9595	2^180314+855	54280	Lelio R Paula	10/2009
9596	19^42425+94	54252	Lelio R Paula	02/2013
9597	2^180180-1005449	54240	Paul Bourdelais	11/2012
9598	2^180173-2773	54238	Yves Minet	07/2014
9599	13367^11418+11418^13367	54238	Hans Havermann	06/2016
9600	427^20614+20614^427	54224	Norbert Schneider	06/2016
9601	2^180124-87959	54223	Gary Barnes	08/2009
9602	2^180111-113101	54219	Enzo Doria	07/2014
9603	2^180101-114871	54216	Enzo Doria	05/2015
9604	(11*2^180099+1)/51617	54212	Lelio R Paula	07/2012
9606	2^180070+465	54207	Lelio R Paula	09/2012
9605	13683^9154+9154^13683	54207	Hans Havermann	06/2016
9607	8105225132^180009-95312^9531-1	54198	Jiong Sun	12/2003
9608	2^180014+613	54190	Jason Earls	04/2008
9609	2^180007+101	54188	Lelio R Paula	02/2011
9610	2^180001+41877	54186	Jim Fougeron	08/2002
9611	2^180000+130153	54186	Jim Fougeron	09/2002
9612	3^113565-74	54185	Lelio R Paula	10/2012
9613	50^31891-49	54182	Norbert Schneider	07/2014
9614	(5*2^179991-1)/11427	54180	Lelio R Paula	01/2014
9615	3^113548+26	54177	Lelio R Paula	10/2012
9616	(lucasV(1,2,360029)-2)/(3^3522251725981)	54177	Mike Oakes	04/2017
9617	181^23996-2	54176	Lelio R Paula	10/2017
9618	4159^14969-138	54173	Enzo Doria	07/2012
9620	2^179955+5775	54172	Lelio R Paula	10/2009
9619	2^179953-231313	54172	Enzo Doria	05/2014
9621	5^77485+6	54160	Lelio R Paula	10/2012
9622	18^43141+85	54154	Lelio R Paula	02/2013
9623	10^54149+187647	54150	Patrick De Geest	07/2017
9626	3^113489-340	54149	Lelio R Paula	10/2012
9624	10^54149-800001	54149	Robert Price	06/2017
9625	10^54149-36501	54149	Patrick De Geest	07/2017
9627	7^64070+90	54146	Lelio R Paula	10/2012
9628	12549^13210-13210^12549	54143	Norbert Schneider	12/2017
9629	18^43131+71	54142	Lelio R Paula	02/2013
9630	2^179826-131	54134	Lelio R Paula	02/2011
9631	2^179815-112735	54130	Enzo Doria	06/2014
9632	2^179806+73849	54127	Enzo Doria	04/2016
9633	2^179790+33	54123	Donovan Johnson	02/2006
9634	14287^6138+6138^14287	54120	Hans Havermann	06/2016
9635	(17*10^54117+1)/9	54118	Serge Batalov	05/2010
9636	2^179763-189	54115	Lelio R Paula	02/2011
9637	(21181*2^179770+1)/3029105	54115	Lelio R Paula	05/2014
9638	1828^16589+16589^1828	54113	Serge Batalov	05/2014
9640	20^41588-5883	54108	Enzo Doria	03/2013
9639	50^31847-49	54108	Norbert Schneider	07/2014
9641	2^179733-6855	54106	Lelio R Paula	10/2009
9642	20^41584-5583	54103	Enzo Doria	03/2013
9643	10^54084+3*3^54084	54085	Mike Oakes	05/2010
9644	2^179613-1795	54069	Lelio R Paula	10/2009
9645	2^179589-1011523	54062	Paul Bourdelais	11/2012
9646	2^179574-2531	54058	Yves Minet	07/2014
9647	(41*10^54051-23)/9	54052	Robert Price	05/2015
9648	117^26131-116	54044	Norbert Schneider	10/2013
9649	(10^54038-31)/3	54038	Serge Batalov	12/2014
9650	11^51885-84	54033	Lelio R Paula	01/2013
9651	14990^4011+4011^14990	54013	Hans Havermann	07/2016
9652	(19*2^179414+1)/7	54010	Lelio R Paula	07/2012
9653	3^113182-10408	54002	Enzo Doria	02/2013
9654	35^34970-8786	53997	Enzo Doria	03/2013
9655	2^179371-1637587	53997	Enzo Doria	05/2015
9656	19^42225-92	53996	Lelio R Paula	01/2013
9657	10190^13471-13471^10190	53995	Norbert Schneider	05/2018
9658	(3^113188+7)/73917675784	53994	Lelio R Paula	03/2012
9659	7*3^113162+8	53993	Lelio R Paula	03/2014
9660	(10^53991+179)/9	53991	Serge Batalov	12/2014
9662	2^179350-2145	53990	Lelio R Paula	10/2009
9661	(-lucasV(1,2,358718)-2)/(51719)	53990	Mike Oakes	04/2017
9663	8^59782-6^59782-3^59782	53989	Mike Oakes	11/2009
9664	3*7^63861+8	53970	Lelio R Paula	09/2014
9665	2^179274+71389	53967	Enzo Doria	04/2016
9666	2^179259-58695	53963	Lelio R Paula	10/2009
9667	6^69345+61	53961	Lelio R Paula	10/2012
9668	7674^13889-13889^7674	53960	Norbert Schneider	12/2018
9669	(-lucasV(1,2,358635)+2)/(71793172321719602511716271)	53957	Mike Oakes	04/2017
9670	(40216^11719-1)/40215	53955	Serge Batalov	04/2015
9671	89*10^53951-9	53953	Robert Price	05/2017
9672	6703^14100-14100^6703	53951	Norbert Schneider	11/2018
9673	14^47067-3	53945	Lelio R Paula	01/2013
9674	p(11700)#/2-512	53937	Robert Price	07/2017
9675	(2^179168-5)/59	53934	Lelio R Paula	02/2012
9676	2^179128+8415	53923	Lelio R Paula	07/2012
9677	2^179120+2533	53921	Henri Lifchitz	09/2004
9678	(2^179126+78557)/4649321187	53913	Lelio R Paula	05/2012
9679	74^28842+73	53913	Norbert Schneider	11/2012
9680	1271^17368+17368^1271	53913	Serge Batalov	05/2014
9681	2^179079+53	53909	Lelio R Paula	02/2011
9682	17^43807+54	53903	Lelio R Paula	01/2013
9683	17^43807+30	53903	Lelio R Paula	01/2013
9684	3^112951-310	53892	Lelio R Paula	10/2012
9685	Phi(7,2957!)	53888	Robert Price	05/2015
9686	8275^13754-13754^8275	53885	Norbert Schneider	10/2018
9687	(10223*2^178975+1)/33985	53877	Lelio R Paula	05/2014
9688	2^178944-219209	53868	Enzo Doria	11/2012
9689	(10^53859+149)/3	53859	Serge Batalov	12/2014
9690	2^178910-191	53858	Lelio R Paula	02/2011
9691	16170^2141+2141^16170	53857	Hans Havermann	07/2016
9692	(5*10^53855-107)/3	53856	Robert Price	01/2017
9693	(72*10^53847-27)/99	53847	Patrick De Geest	08/2004
9694	2^178841-869688105	53837	Lelio R Paula	06/2012
9695	2*10^53834-27	53835	Robert Price	02/2017
9697	2^178821-1011523	53831	Paul Bourdelais	11/2012
9696	12601^13128-13128^12601	53831	Norbert Schneider	10/2017
9698	2^178819-15	53830	Lelio R Paula	02/2011
9699	(14450!-1)/225296581	53829	Donovan Johnson	04/2006
9700	(124351#+125386)/(2^57188344891039820259)	53826	Makoto Morimoto	10/2017
9701	10530^13381-13381^10530	53825	Norbert Schneider	03/2018
9702	2^178761-465	53813	Lelio R Paula	10/2009
9703	18900^703+703^18900	53808	Anatoly F. Selevich	02/2007
9704	13918^7343+7343^13918	53806	Hans Havermann	08/2016
9705	10^53804+31749	53805	Patrick De Geest	12/2012
9706	10^53804-71	53804	Robert Price	05/2011
9707	t(178994)	53804	Robert Price	03/2015
9708	(2^178693-lucasV(1,2,178693)+1)/2	53792	Mike Oakes	11/2016
9709	2^178671-113215	53786	Enzo Doria	07/2014
9710	15110^3621+3621^15110	53774	Hans Havermann	07/2016
9711	2^178611+95	53768	Lelio R Paula	02/2011
9712	2^178597+5711	53764	Lelio R Paula	10/2011
9713	2^178598+12915	53764	Lelio R Paula	07/2012
9714	(9179*2^178579-1)/303	53760	Lelio R Paula	03/2015
9715	10671^13342-13342^10671	53745	Norbert Schneider	02/2018
9716	5*7^63589+2	53740	Lelio R Paula	09/2014
9717	2^178516-112515	53739	Enzo Doria	06/2014
9718	20^41302-27	53736	Lelio R Paula	01/2013
9719	6^69054-39209	53735	Mike Oakes	12/2010
9720	13086^12769+12769^13086	53734	Hans Havermann	07/2016
9721	2^178455+76043	53721	Enzo Doria	04/2016
9722	(10^53718-7)/3	53718	Makoto Kamada	10/2004
9723	(67607*2^178426+1)/3	53716	Lelio R Paula	05/2014
9724	9*10^53707+11	53708	Robert Kinser	01/2017
9725	94601!8-2	53708	Robert Price	04/2017
9726	13214^11595+11595^13214	53706	Hans Havermann	07/2016
9727	Phi(134350,10)/537401/8011962251	53705	Maksym Voznyy	10/2011
9728	2^178367-379	53694	Yves Minet	03/2013
9729	(2^178364-5)/11	53692	Lelio R Paula	02/2012
9730	4339^14760-168	53688	Enzo Doria	06/2012
9731	12^49746-11	53685	Lelio R Paula	01/2013
9732	12950^13051-13051^12950	53670	Norbert Schneider	08/2017
9734	(9913*2^178266-1)/2247	53665	Lelio R Paula	03/2015
9733	13725^8128+8128^13725	53665	Hans Havermann	07/2016
9735	2^178250-113261	53659	Enzo Doria	07/2014
9736	2^178226+11715	53652	Lelio R Paula	10/2009
9737	35^34742-1976	53645	Enzo Doria	03/2013
9738	20^41228-563	53639	Enzo Doria	03/2013
9739	359^20992+20992^359	53637	Norbert Schneider	08/2014
9740	(27*2^178183-1)/29065	53636	Lelio R Paula	01/2014
9741	(3^112414+7)/37381696	53628	Lelio R Paula	03/2012
9742	17994^955+955^17994	53623	Anatoly F. Selevich	10/2006
9743	2^178117-1551	53619	Yves Minet	08/2012
9744	2^178099-11287	53614	Enzo Doria	06/2014
9745	10751^13298-13298^10751	53611	Norbert Schneider	01/2018
9746	(15*2^178080-1)/309071	53604	Lelio R Paula	01/2014
9747	5^76672-13766	53592	Enzo Doria	02/2013
9748	6^68868-137	53590	Lelio R Paula	10/2012
9749	(5*2^178021+1)/8173	53587	Lelio R Paula	07/2012
9750	5^76654-26	53579	Lelio R Paula	10/2012

Find by discoverer :

PRP Records

Probable Primes Top 10000

(252538 PRPs in the top)