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 (> 30000)	Who ?	When ?
7501	2^199672+2533	60108	Henri Lifchitz	09/2004
7502	20^46198-11	60105	Lelio R Paula	04/2013
7503	2^199657+93257	60103	Yves Minet	03/2010
7504	3^125967-110	60102	Lelio R Paula	10/2012
7505	2^199654-18813	60102	Enzo Doria	05/2013
7506	(29*10^60100+19)/3	60101	Robert Price	01/2017
7507	129^28468+28468^129	60085	Serge Batalov	05/2014
7508	2^199572-15873	60078	Enzo Doria	04/2013
7509	9*2^199559+7	60075	Lelio R Paula	03/2014
7510	2^199527-111919	60064	Enzo Doria	05/2014
7511	2^199522+82875	60063	Lelio R Paula	10/2012
7512	5^85928-72	60062	Lelio R Paula	10/2012
7513	39^37749+38	60062	Norbert Schneider	05/2014
7514	6^77182-143	60060	Lelio R Paula	10/2012
7515	2^199502-2145	60057	Lelio R Paula	06/2011
7516	2^199493+4257	60054	Lelio R Paula	06/2011
7517	2^199488+40755	60052	Lelio R Paula	06/2011
7518	(2^199451+9)/25619	60037	Lelio R Paula	02/2012
7519	2^199425-61	60033	Lelio R Paula	05/2011
7520	(85*10^60026+23)/9	60027	Robert Price	11/2015
7521	65^33107+62	60021	Lelio R Paula	01/2016
7522	2^199362-1215	60014	Lelio R Paula	06/2011
7523	2^199362-111633	60014	Enzo Doria	05/2014
7524	1537^18832+18832^1537	60012	Serge Batalov	05/2014
7525	2^199324-17433	60003	Enzo Doria	05/2013
7526	10^60000+204331	60001	Milton L. Brown	04/2006
7527	10^60000+87129	60001	Milton L. Brown	04/2006
7528	10^59999+65197	60000	Patrick De Geest	04/2005
7542	10^60000-32529	60000	Patrick De Geest	08/2009
7543	(10^60000+2249)/9	60000	Makoto Morimoto	09/2016
7544	((2^43112609)/10^24296)%10^60000	60000	Michael Vang	10/2016
7545	(2^57885161/10^105090)%10^60000	60000	Michael Vang	10/2016
7546	(2^42643801/10^58945)%10^60000	60000	Michael Vang	10/2016
7529	(2^37156667/10^243655)%10^60000	60000	Michael Vang	10/2016
7530	(2^30402457/10^69028)%10^60000	60000	Michael Vang	11/2016
7531	(2^32582657/10^248088)%10^60000	60000	Michael Vang	11/2016
7532	(2^32582657/10^238942)%10^60000	60000	Michael Vang	11/2016
7533	(2^24036583/10^13547)%10^60000	60000	Michael Vang	11/2016
7534	(2^20996011/10^131008)%10^60000	60000	Michael Vang	11/2016
7535	(2^13466917/10^79774)%10^60000	60000	Michael Vang	11/2016
7536	(2^13466917/10^102581)%10^60000	60000	Michael Vang	11/2016
7537	(2^6972593/10^339640)%10^60000	60000	Michael Vang	11/2016
7538	(2^2976221/10^65464)%10^60000	60000	Michael Vang	12/2016
7539	(2^1398269/10^61138)%10^60000	60000	Michael Vang	12/2016
7540	(2^3021377/10^418881)%10^60000	60000	Michael Vang	12/2016
7541	(2^1257787/10^164080)%10^60000	60000	Michael Vang	12/2016
7550	10^59999-516267	59999	Patrick De Geest	06/2009
7548	20^46116-41	59999	Lelio R Paula	03/2013
7547	(2^74207281/10^184638)%10^60000	59999	Michael Vang	10/2016
7549	(2^25964951/10^135429)%10^60000	59999	Michael Vang	11/2016
7551	6^77100-55	59996	Lelio R Paula	10/2012
7553	(19*2^199274+1)/161	59987	Lelio R Paula	07/2012
7552	(23^44053+1)/24	59987	Robert Price	06/2013
7554	9^62848+6^62848-2^62848	59973	Mike Oakes	08/2010
7555	15852^6061+6061^15852	59961	Hans Havermann	08/2016
7556	19^46880-20	59948	Lelio R Paula	03/2013
7557	2^199107-17737	59938	Enzo Doria	05/2013
7558	(13*10^59928+83)/3	59929	Robert Price	09/2016
7560	10^59913+108931431	59914	Marisa Kirisame	02/2015
7559	10^59913+48619	59914	Patrick De Geest	04/2016
7561	10^59913-74123	59913	Patrick De Geest	03/2016
7562	t(199528)	59890	Robert Price	01/2015
7563	2^198903-17901	59876	Enzo Doria	05/2013
7564	gcd(V(776555),5F(155311)(F(155311)+1)+1)	59858	Serge Batalov	04/2015
7565	(3^125447+7)/2	59854	Lelio R Paula	04/2012
7566	5^85630+4^(85630-1)	59853	Robert Price	03/2016
7567	2^198824-2135	59852	Yves Minet	06/2013
7568	2^198799-16117	59845	Enzo Doria	04/2013
7569	7^70811+6^(70811+1)	59843	Robert Price	07/2016
7570	2^198774-15945	59837	Enzo Doria	04/2013
7571	2^198753-15873	59831	Enzo Doria	04/2013
7572	(31*2^198748-1)/45	59829	Lelio R Paula	01/2014
7573	2^198725+69	59823	Lelio R Paula	04/2011
7574	(68*10^59821+31)/9	59822	Robert Price	10/2015
7575	(37*25^42785+1867)/8	59812	Curtis Bright	05/2015
7576	3^125354+2660	59810	Lelio R Paula	10/2012
7577	105^29591-104	59810	Norbert Schneider	08/2013
7578	4*5^85565-3	59808	Lelio R Paula	09/2014
7579	13963842222*Bern(19550)/55727275	59803	Thomas Ritschel	03/2014
7581	125330^3+3^125330	59798	Anatoly F. Selevich	06/2010
7580	2^198643-3189	59798	Yves Minet	10/2014
7582	(13*10^59797+191)/3	59798	Robert Price	08/2017
7583	(7*10^59796-1)/3	59797	Erik Branger	03/2014
7584	2^198595+153	59784	Lelio R Paula	04/2011
7585	(19*10^59766+161)/9	59767	Robert Price	07/2016
7586	2^198510-1965	59758	Lelio R Paula	06/2011
7587	2^198506-19077	59757	Enzo Doria	05/2013
7588	2^198484-16005	59750	Enzo Doria	04/2013
7589	2^198473-16821	59747	Enzo Doria	05/2013
7590	(2^198481-5)/28311	59745	Lelio R Paula	02/2012
7591	2^198400-189	59725	Lelio R Paula	04/2011
7592	2^198384-12837	59720	Enzo Doria	10/2012
7593	42694!3-729	59719	Robert Price	09/2014
7594	2^198320-18717	59701	Enzo Doria	05/2013
7595	20^45881-1183	59693	Enzo Doria	03/2013
7596	2^198224-6855	59672	Lelio R Paula	05/2011
7597	2^198181-19101	59659	Enzo Doria	05/2013
7598	5*10^59650+41	59651	Robert Price	08/2017
7599	2^198149-112213	59649	Enzo Doria	06/2014
7600	2^198138+73699	59646	Enzo Doria	04/2016
7601	2^198129-55	59643	Lelio R Paula	04/2011
7602	5^85318-14636	59635	Enzo Doria	02/2013
7603	(2^198119+47)/1560935	59634	Lelio R Paula	02/2012
7604	2^198090-16097	59632	Enzo Doria	04/2013
7605	9*10^59617+89	59618	Robert Price	11/2016
7606	42625!3+81	59612	Robert Price	09/2014
7607	5^85277-84	59607	Lelio R Paula	10/2012
7608	2^197984-18245	59600	Enzo Doria	05/2013
7609	2^197951-2137	59590	Yves Minet	06/2013
7610	66^32749-65^32749	59589	Robert Price	09/2013
7611	5*10^59586-3	59587	Dmitry Domanov	11/2010
7612	2^197932-3959	59584	Yves Minet	04/2017
7613	2^197909-18961	59577	Enzo Doria	05/2013
7614	(3^124871+2)/45031	59574	Lelio R Paula	04/2012
7615	2^197872+81	59566	Henri Lifchitz	10/2005
7616	2^197873-18469	59566	Enzo Doria	05/2013
7617	(22*10^59558-31)/9	59559	Robert Price	04/2015
7619	2^197840-465	59556	Lelio R Paula	05/2011
7618	(31*2^197856-1)/3889605	59556	Lelio R Paula	01/2014
7620	2^197808-17805	59547	Enzo Doria	05/2013
7621	2^197781-17905	59539	Enzo Doria	05/2013
7622	2^197777-17473	59537	Enzo Doria	05/2013
7623	6^76507-149	59535	Lelio R Paula	10/2012
7625	Phi(61456,109)	59526	Enzo Doria	05/2012
7624	18^47420+23	59526	Lelio R Paula	03/2013
7626	(59^33613+1)/60	59522	Paul Bourdelais	08/2017
7627	3^124747+94	59520	Lelio R Paula	10/2012
7628	17^48370+18	59517	Lelio R Paula	03/2013
7629	20^45740-1523	59510	Enzo Doria	03/2013
7630	(7*2^197642-1)/3051	59494	Lelio R Paula	01/2014
7631	18^47390-1853	59488	Enzo Doria	03/2013
7632	(2^197581-7)/1915	59475	Lelio R Paula	02/2012
7633	(24737*2^197559+1)/77	59474	Lelio R Paula	06/2014
7634	2^197540-2459	59466	Yves Minet	07/2014
7635	(44*10^59454+1)/9	59455	Serge Batalov	11/2010
7636	2^197494-17805	59452	Enzo Doria	05/2013
7637	2^197482-16821	59449	Enzo Doria	05/2013
7638	2^197485+75767	59449	Enzo Doria	04/2016
7639	(3*2^197483+1)/25	59448	Lelio R Paula	07/2012
7640	2^197466-1868351	59444	Enzo Doria	04/2016
7641	2^197411-17781	59427	Enzo Doria	05/2013
7642	(F(142164)^3-F(142163)^3)/F(142162)	59421	Wayne Halsdorf	03/2012
7643	2^197392-114629	59421	Enzo Doria	05/2015
7644	2^197355-157	59410	Lelio R Paula	04/2011
7645	5^84992-84	59407	Lelio R Paula	10/2012
7646	2*3^124504-5	59404	Lelio R Paula	04/2014
7647	2^197307-19165	59396	Enzo Doria	05/2013
7648	2^197303+32769	59395	Lelio R Paula	05/2011
7649	2*10^59394-69	59395	Robert Price	07/2017
7650	(53*10^59389+1)/9	59390	Serge Batalov	11/2010
7651	6^76316-35	59386	Lelio R Paula	10/2012
7652	2^197259-2929	59381	Yves Minet	09/2014
7653	lucasU(46,1,35715)-lucasU(46,1,35714)	59377	Mike Oakes	04/2009
7654	17^48253-6	59373	Lelio R Paula	03/2013
7655	2^197156-15837	59350	Enzo Doria	04/2013
7656	2^197149-18481	59348	Enzo Doria	05/2013
7657	2^197142-17157	59346	Enzo Doria	05/2013
7659	(F(6)^65707-F(5)^65707)/F(4)	59339	Wayne Halsdorf	04/2010
7658	(8^65707-5^65707)/3	59339	Robert Price	12/2012
7660	(2*14283^14283+1)/7925497975	59334	David Broadhurst	09/2010
7661	2^197012-111719	59307	Enzo Doria	05/2014
7662	2^196975+513	59296	Lelio R Paula	05/2011
7663	2^196960+97	59291	Lelio R Paula	04/2011
7664	9^62116+8^(62116-1)	59274	Robert Price	03/2016
7665	2^196900-97305	59273	Lelio R Paula	09/2011
7666	5*6^76155+7	59261	Lelio R Paula	09/2014
7667	15^50385-14	59258	Wojciech Florek	06/2006
7668	(136777#-1)/8823581477	59254	Donovan Johnson	05/2006
7669	(2^196744-3)*6-7	59227	Gilbert Mozzo	05/2016
7670	(67607*2^196696+1)/3	59216	Lelio R Paula	05/2014
7671	2^196696-112967	59212	Enzo Doria	06/2014
7672	20^45508-4223	59208	Enzo Doria	03/2013
7673	gcd(Phi(325820,10),(10^16291+1)^3(10^16291+1-10^8146)+(10^32582+10^16291)(10^8146+1)+10^48873)	59201	Serge Batalov	04/2015
7674	14^51651-81	59199	Lelio R Paula	03/2013
7675	2^196650-1451	59198	Yves Minet	08/2012
7676	2^196636-2797799	59194	Enzo Doria	04/2016
7677	1111*2^196610-555	59189	Henri Lifchitz	04/2005
7678	3^124041+658	59183	Lelio R Paula	10/2012
7679	2^196590-111797	59180	Enzo Doria	05/2014
7680	(10^59174-13)/3	59174	Robert Price	02/2017
7681	(2*10^59174-113)/3	59174	Robert Price	09/2017
7682	(9179*2^196533-1)/783	59164	Lelio R Paula	04/2015
7683	379*10^59152+9	59155	Arkadiusz Wesolowski	10/2011
7684	13^53095+40	59145	Lelio R Paula	03/2013
7685	2*F(282999)-1	59144	Henri Lifchitz	12/2009
7686	4*7^69984+3	59144	Lelio R Paula	09/2014
7687	(5*10^59142+1)/3	59143	Erik Branger	12/2013
7688	2^196463+5711	59142	Lelio R Paula	10/2011
7689	2^196453-97305	59139	Lelio R Paula	09/2011
7690	(28*10^59135+53)/9	59136	Serge Batalov	11/2008
7691	(28*10^59133+113)/3	59134	Robert Price	03/2016
7692	2^196434+7	59133	Lelio R Paula	04/2011
7693	(8*10^59127-29)/3	59128	Robert Price	05/2016
7694	2^196414+255	59127	Lelio R Paula	05/2011
7695	5^84586-92	59124	Lelio R Paula	10/2012
7696	2^196388-17177	59119	Enzo Doria	05/2013
7697	3^123890+20	59111	Lelio R Paula	10/2012
7698	2^196355-1021777	59109	Paul Bourdelais	11/2012
7699	11^56754-1410	59104	Enzo Doria	11/2012
7700	(7*2^196297-1)/1200407	59087	Lelio R Paula	01/2014
7701	(16*10^59062-19)/3	59063	Robert Price	03/2016
7702	35^38249-1228	59060	Enzo Doria	03/2013
7703	5^84475-18	59046	Lelio R Paula	10/2012
7704	2^196123-17701	59039	Enzo Doria	05/2013
7705	12^54702-31	59034	Lelio R Paula	03/2013
7706	2^196101-175	59033	Lelio R Paula	04/2011
7707	2^196085+5775	59028	Lelio R Paula	05/2011
7708	2^196034+11715	59013	Lelio R Paula	05/2011
7709	2^196018-18485	59008	Enzo Doria	05/2013
7710	2^195984-2163	58998	Yves Minet	08/2013
7711	3^123645-16	58994	Lelio R Paula	10/2012
7712	39^37078-38	58994	Norbert Schneider	05/2014
7713	2^195958-16853	58990	Enzo Doria	05/2013
7714	2^195930-3071	58981	Yves Minet	10/2014
7715	2^195924+513	58980	Lelio R Paula	05/2011
7716	2^195863+155	58961	Lelio R Paula	04/2011
7717	(28*10^58956+113)/3	58957	Robert Price	03/2016
7718	11^56612-9300	58956	Enzo Doria	02/2013
7719	2^195833-17173	58952	Enzo Doria	05/2013
7720	(27*2^195833-1)/53	58952	Lelio R Paula	01/2014
7721	(13*2^195821-1)/122425	58945	Lelio R Paula	01/2014
7722	139^27504-138	58942	Norbert Schneider	10/2015
7723	(418*10^58923+23)/9	58925	Robert Price	08/2017
7724	3^123495+44	58923	Lelio R Paula	10/2012
7725	2^195737-18565	58923	Enzo Doria	05/2013
7726	14^51407+47	58920	Lelio R Paula	03/2013
7727	2^195691-99	58909	Lelio R Paula	04/2011
7728	2^195667-1859827	58902	Enzo Doria	04/2016
7729	2^195642+75499	58895	Enzo Doria	04/2016
7730	8*6^75678+5	58890	Lelio R Paula	09/2014
7732	2^195618+73189	58887	Enzo Doria	04/2016
7731	(3928^20480+1)/(3928^4096+1)	58887	Serge Batalov	01/2017
7733	t(197953)	58881	Robert Price	12/2014
7734	2^195581-16105	58876	Enzo Doria	04/2013
7735	(8*10^58872+67)/3	58873	Robert Price	01/2017
7736	7*2^195542-5	58865	Lelio R Paula	03/2014
7737	2*10^58861+9^58861	58862	Mike Oakes	04/2011
7738	11^56513-1620	58853	Enzo Doria	11/2012
7739	2^195496+165	58851	Lelio R Paula	04/2011
7740	5^84187+66	58845	Lelio R Paula	10/2012
7741	(28*10^58843-43)/3	58844	Robert Price	04/2016
7742	2^195462-17565	58840	Enzo Doria	05/2013
7743	2^195435+59273	58832	Yves Minet	01/2011
7744	2^195424-18605	58829	Enzo Doria	05/2013
7745	2^195385-111	58817	Lelio R Paula	04/2011
7746	(47*2^195254+1)/268821	58774	Lelio R Paula	03/2015
7747	2^195207-18109	58764	Enzo Doria	05/2013
7748	2^195199-1567	58761	Yves Minet	08/2012
7749	2^195190+73759	58759	Enzo Doria	04/2016
7750	9*7^69525-4	58757	Lelio R Paula	09/2014

Find by discoverer :

PRP Records

Probable Primes Top 10000

(181746 PRPs in the top)