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 ?
4751	2^285569-741	85965	Lelio R Paula	09/2013
4752	6*10^85910-7	85911	Dmitry Domanov	11/2010
4753	(412*10^85897-7)/9	85899	Robert Price	10/2017
4754	4*10^85881+63	85882	Robert Price	06/2016
4755	(10^85864+53)/9	85864	Robert Price	01/2015
4756	2^285230+345	85863	Lelio R Paula	09/2013
4757	(5*10^85855-473)/9	85855	Robert Price	12/2017
4758	2^285199+75683	85854	Enzo Doria	04/2016
4759	(76*10^85847-211)/9	85848	Robert Price	10/2017
4760	p(17832)#/2+512	85845	Robert Price	05/2017
4761	(16*10^85839+167)/3	85840	Robert Price	10/2017
4762	11^82426-1230	85838	Enzo Doria	11/2012
4763	2^285113-109881	85828	Enzo Doria	04/2014
4764	5^122746-92	85796	Lelio R Paula	10/2015
4765	2^285001-113461	85794	Enzo Doria	08/2014
4766	(11*10^85782-131)/3	85783	Robert Price	02/2017
4767	2^284913-110491	85768	Enzo Doria	05/2014
4768	6^110220+47	85768	Lelio R Paula	12/2015
4769	3*6^110202-5	85755	Lelio R Paula	10/2014
4770	(157^39047-1)/156	85742	Alexander Zhirkov	06/2016
4771	(3^179705+7)/250	85739	Lelio R Paula	12/2012
4772	2^284734-6555	85714	Lelio R Paula	09/2013
4773	(10^85712+53)/9	85712	Robert Price	01/2015
4774	3*10^85703+11	85704	Robert Price	11/2017
4775	(6883*2^284668-1)/3	85697	Lelio R Paula	04/2015
4776	20^65855+83	85680	Lelio R Paula	01/2016
4777	6^110105+53	85679	Lelio R Paula	12/2015
4778	(10^85666-97)/3	85666	Robert Kinser	10/2017
4780	2^284567-7605	85664	Lelio R Paula	09/2013
4779	9*5^122555-2	85664	Lelio R Paula	10/2014
4781	5^122554-14	85662	Lelio R Paula	10/2015
4782	9*5^122543+4	85655	Lelio R Paula	10/2014
4783	3^179489-2^(179489-1)	85639	Robert Price	01/2016
4784	2^284429+177	85622	Lelio R Paula	08/2012
4785	2*3^179452+5	85621	Lelio R Paula	07/2014
4786	(19^66919+3^66919)/22	85572	Robert Price	07/2013
4787	66^47023-65	85561	Norbert Schneider	11/2014
4788	6^109943+13	85553	Lelio R Paula	12/2015
4789	(2^284167-509203)/34564775	85536	Lelio R Paula	01/2013
4790	2^284133-3	85533	M. Frind & P. Underwood	07/2002
4791	2^284113+315	85527	Lelio R Paula	09/2013
4792	(28*10^85500+149)/3	85501	Robert Price	10/2017
4793	(16*10^85495-19)/3	85496	Robert Price	03/2016
4794	2^284004+177	85494	Lelio R Paula	08/2012
4795	(16*10^85473-91)/3	85474	Robert Price	06/2016
4796	3^179120+22	85462	Robert Price	12/2013
4797	2^283872-2792249	85454	Enzo Doria	03/2016
4798	(29*10^85438+259)/9	85439	Robert Price	04/2017
4799	2^283817+82875	85438	Lelio R Paula	09/2013
4800	(2^283815-5)/201	85435	Lelio R Paula	01/2013
4801	2^283796-125	85432	Lelio R Paula	08/2012
4802	(29*2^283784-1)/13	85428	Lelio R Paula	02/2014
4803	15^72592-28	85375	Lelio R Paula	11/2015
4804	2^283604-58695	85374	Lelio R Paula	09/2013
4805	(44*10^85370-503)/9	85371	Robert Price	10/2017
4806	496^31671+31671^496	85369	Norbert Schneider	07/2017
4807	(15*2^283583-1)/103051	85364	Lelio R Paula	02/2014
4808	15^72572+92	85352	Lelio R Paula	11/2015
4809	2^283473-1615	85334	Lelio R Paula	09/2013
4810	2^283466-15	85332	Lelio R Paula	08/2012
4811	11^81916-7020	85307	Enzo Doria	02/2013
4812	6^109626-7	85306	Lelio R Paula	11/2014
4813	2^283374-110327	85305	Enzo Doria	05/2014
4814	33*10^85297+7	85299	Robert Price	07/2016
4815	18^67933+41	85275	Lelio R Paula	11/2015
4816	2^283271-109341	85274	Enzo Doria	04/2014
4817	(25*10^85249-73)/3	85250	Robert Price	09/2016
4818	2*5^121959+3	85246	Lelio R Paula	10/2014
4819	19834^19834+8947	85235	Henri Lifchitz	11/2004
4820	2^283140+1915	85234	Lelio R Paula	09/2013
4821	3*10^85227-97	85228	Robert Price	08/2017
4822	(16*10^85221-31)/3	85222	Robert Price	03/2016
4823	2^283083+1869383	85217	Enzo Doria	05/2016
4824	(24737*2^283051+1)/17	85211	Lelio R Paula	06/2014
4825	(2^283032+78557)/3	85201	Lelio R Paula	01/2013
4826	2^283026-109893	85200	Enzo Doria	04/2014
4827	(2^283012+78557)/129	85193	Lelio R Paula	01/2013
4828	(10^(242589+1)+7210^42589-1)/9	85179	Robert Price	09/2017
4829	2^282860-109727	85150	Enzo Doria	04/2014
4830	2^282819+1869413	85138	Enzo Doria	05/2016
4831	3^178428+2	85132	Ray Chandler	07/2011
4832	(22699*2^282742+1)/73	85117	Lelio R Paula	06/2014
4833	(16^70687+5^70687)/21	85115	Robert Price	07/2013
4834	(3^178352-2)/7	85095	Lelio R Paula	12/2012
4835	11^81699-2790	85081	Enzo Doria	12/2012
4836	2^282612-95	85075	Lelio R Paula	08/2012
4837	2^282609-4069	85074	Yves Minet	02/2018
4838	75^45366-2	85065	Lelio R Paula	08/2013
4839	2^282511+69	85045	Lelio R Paula	08/2012
4840	69^46249+2	85045	Lelio R Paula	06/2013
4841	3^178226+10	85036	Robert Price	10/2013
4842	(182*10^85017+43)/9	85019	Robert Price	11/2017
4843	(14*10^85010+73)/3	85011	Robert Price	04/2016
4844	9*2^282338-7	84994	Lelio R Paula	08/2014
4845	(9913*2^282330-1)/1578003	84988	Lelio R Paula	04/2015
4846	2^282203+5	84952	Lelio R Paula	08/2012
4847	2^282184+13	84946	Lelio R Paula	08/2012
4848	11^81568-2400	84945	Enzo Doria	12/2012
4849	11^81562-2340	84939	Enzo Doria	12/2012
4850	(41*10^84927+31)/9	84928	Robert Price	05/2015
4851	(2*10^84904-17)/3	84904	Robert Price	08/2014
4852	(4^141017+23)/3	84901	Robert Price	02/2017
4853	6^109100-18653	84897	Enzo Doria	03/2013
4854	2^281973+1025	84883	Lelio R Paula	09/2013
4855	2^281951-109651	84876	Enzo Doria	04/2014
4856	11^81491-5430	84865	Enzo Doria	01/2013
4857	((1+sqrt(3)+sqrt(2))^79357-1)((1+sqrt(3)-sqrt(2))^79357-1)((1-sqrt(3)+sqrt(2))^79357-1)*((1-sqrt(3	84849	Mike Oakes	04/2009
4858	2^281825-1861483	84838	Enzo Doria	03/2016
4859	2^281809-97305	84833	Lelio R Paula	09/2013
4860	2^281780-114893	84825	Enzo Doria	05/2015
4861	3^177719+64	84794	Lelio R Paula	12/2015
4863	2^281675-199	84793	Lelio R Paula	08/2012
4862	2^281673-111223	84793	Enzo Doria	05/2014
4864	(4*10^84779+149)/9	84779	Robert Price	03/2017
4865	(72*10^84772-27)/9	84773	Ray Chandler	01/2011
4866	11^81398-630	84768	Enzo Doria	11/2012
4867	(25*2^281577-1)/23	84764	Lelio R Paula	02/2014
4868	2^281500-455	84740	Yves Minet	03/2012
4869	10^84725+1145141919	84726	Marisa Kirisame	03/2015
4870	10^84725+142041	84726	Patrick De Geest	10/2015
4871	10^84725-138677	84725	Patrick De Geest	02/2016
4872	76^45044+75	84720	Norbert Schneider	02/2015
4873	54^48897-53	84709	Norbert Schneider	08/2014
4874	(9913*2^281377-1)/65	84706	Lelio R Paula	04/2015
4875	Phi(171124,10)/29946701/7761329021/58560344041	84700	Maksym Voznyy	11/2015
4876	2^281337-111223	84691	Enzo Doria	05/2014
4877	2^281308+54615	84683	Lelio R Paula	09/2013
4878	7*5^121144-6	84677	Lelio R Paula	10/2014
4879	(2^281252+47)/3	84665	Lelio R Paula	01/2013
4880	11^81297-3150	84663	Enzo Doria	12/2012
4881	2^281208-303	84653	Yves Minet	02/2012
4882	197^36892-2	84648	Lelio R Paula	10/2017
4883	(21*2^281187+1)/2483	84644	Lelio R Paula	01/2013
4884	11^81247-84	84611	Lelio R Paula	10/2015
4885	17^68747-64	84590	Lelio R Paula	11/2015
4886	5^121018-15596	84588	Enzo Doria	02/2013
4887	6^108702+7	84587	Lelio R Paula	11/2014
4888	10^84582+100677	84583	Patrick De Geest	05/2016
4889	10^84582-8001	84582	Robert Price	03/2016
4890	3*5^121004-8	84579	Lelio R Paula	10/2014
4891	5^120996-84	84573	Lelio R Paula	10/2015
4892	(10223*2^280881+1)/68419	84553	Lelio R Paula	06/2014
4893	2^280852+97681	84545	Yves Minet	08/2004
4894	2^280848-1203	84544	Lelio R Paula	09/2013
4895	5^120946-24	84538	Lelio R Paula	10/2015
4896	2^280810-2111	84533	Yves Minet	08/2013
4897	11^81161-5160	84521	Enzo Doria	01/2013
4898	2^280737-93	84511	Lelio R Paula	08/2012
4899	2^280698+315	84499	Lelio R Paula	09/2013
4900	3^177099-340	84498	Lelio R Paula	12/2015
4901	(5*10^84469-107)/3	84470	Robert Price	01/2017
4902	(3^177002+7)/6696022272161744	84436	Lelio R Paula	12/2012
4903	(2^280500-1017)/823	84436	Lelio R Paula	01/2013
4904	14^73660-5	84424	Lelio R Paula	11/2015
4905	(19*10^84409-61)/3	84410	Robert Price	04/2017
4906	2^280388+117	84406	Lelio R Paula	08/2012
4907	2^280389-566533	84406	Paul Bourdelais	03/2013
4908	(141584^16384+1)/65537	84390	Syoichiro Yamada	06/2008
4909	2^280240-173	84361	Lelio R Paula	08/2012
4910	(184*10^84348-1)/3	84350	Robert Price	02/2017
4911	4*10^84346+93	84347	Robert Price	01/2017
4912	7*2^280156-5	84337	Lelio R Paula	08/2014
4913	8*7^99782-3	84327	Lelio R Paula	10/2014
4915	2^280116+133	84324	Lelio R Paula	08/2012
4914	2^280118+54615	84324	Lelio R Paula	09/2013
4916	(509203*2^280090-1)/3	84321	Lelio R Paula	04/2015
4917	6^108354+47	84316	Lelio R Paula	12/2015
4918	10^84305+141963	84306	Patrick De Geest	07/2013
4919	10^84305-57	84305	Robert Price	05/2011
4920	9^88339+38^88339-24^88339-3*2^88339	84297	Mike Oakes	01/2011
4921	3^176648-112804	84283	Enzo Doria	06/2014
4922	6^108310+115	84282	Lelio R Paula	12/2015
4923	(11*2^279968-1)/5	84280	Lelio R Paula	02/2014
4924	6^108288-16643	84265	Enzo Doria	02/2013
4925	2^279917-58695	84264	Lelio R Paula	08/2013
4926	65^46477+36	84259	Lelio R Paula	01/2016
4927	2^279866-1907	84249	Yves Minet	05/2013
4928	(3^176580-5)/28076	84246	Lelio R Paula	12/2012
4929	(p(17530)#+4)/2	84246	Robert Price	09/2017
4930	(2*10^84239+1)/3	84239	Serge Batalov	07/2009
4932	18^67103-41	84233	Lelio R Paula	11/2015
4931	20^64743-43	84233	Lelio R Paula	01/2016
4933	143^39070+39070^143	84209	Serge Batalov	05/2014
4934	11^80857-5400	84204	Enzo Doria	01/2013
4935	(13*10^84179+161)/3	84180	Robert Price	04/2017
4936	2^279634-110405	84179	Enzo Doria	05/2014
4937	(74*10^84170+313)/9	84171	Robert Price	11/2017
4938	2^279582-1017	84163	Lelio R Paula	08/2013
4939	(22*10^84159-19)/3	84160	Robert Price	02/2017
4940	p(17513)#/2+512	84156	Robert Price	05/2017
4941	(19*10^84144-43)/3	84145	Robert Price	10/2017
4942	(9*2^279507-1)/137	84139	Lelio R Paula	02/2014
4943	11^80792-810	84137	Enzo Doria	11/2012
4944	(97*10^84134-1)/3	84136	Serge Batalov	12/2014
4945	p(17507)#/2+32	84125	Robert Price	12/2016
4946	21485^8224+8224^21485	84116	Hans Havermann	04/2017
4947	3^176294-340	84114	Lelio R Paula	12/2015
4948	(3^176287+4)/2191	84107	Lelio R Paula	12/2012
4949	2^279388-719	84105	Yves Minet	05/2012
4950	(22699*2^279378+1)/221	84104	Lelio R Paula	06/2014
4951	2^279332-110447	84088	Enzo Doria	05/2014
4952	2^279320+7	84084	Lelio R Paula	06/2012
4953	127^39966-2	84081	Lelio R Paula	10/2017
4954	(11*2^279240-1)/95	84059	Lelio R Paula	02/2014
4955	2^279218-111347	84053	Enzo Doria	05/2014
4956	35^54435+2	84052	Lelio R Paula	05/2013
4957	(31*2^279191-1)/12511523	84040	Lelio R Paula	02/2014
4958	20996^10059+10059^20996	84038	Hans Havermann	05/2017
4959	97*10^84033-3	84035	Robert Price	01/2017
4960	21234^9067+9067^21234	84033	Hans Havermann	05/2017
4961	(134569^16384+1)/2	84033	Richard Fischer	06/2018
4962	2^279095-109717	84016	Enzo Doria	04/2014
4963	14^73282-99	83991	Lelio R Paula	11/2015
4964	21457^8200+8200^21457	83979	Hans Havermann	06/2017
4965	89*10^83976-7	83978	Robert Price	03/2017
4966	2^278955+173	83974	Lelio R Paula	06/2012
4967	(7*2^278851+1)/39	83942	Lelio R Paula	12/2012
4968	(9913*2^278844-1)/40803	83940	Lelio R Paula	04/2015
4969	5^120076-14846	83930	Enzo Doria	02/2013
4970	(85*10^83921-1)/3	83923	Robert Price	07/2017
4971	(2^278770-3)/23	83917	Lelio R Paula	12/2012
4972	(10^83916+449)/9	83916	Serge Batalov	12/2014
4974	2^278715+99	83902	Lelio R Paula	06/2012
4973	(132109^16384+1)/2	83902	Richard Fischer	05/2018
4975	40235!2-2^40235	83899	Robert Price	09/2015
4976	2^278698-171	83897	Lelio R Paula	06/2012
4977	(19*10^83894-43)/3	83895	Robert Price	10/2017
4978	6^107802+25	83887	Lelio R Paula	12/2015
4979	8*10^83880+39	83881	Robert Price	01/2017
4980	(58*10^83878+23)/9	83879	Robert Price	09/2015
4981	7^99244-90	83871	Lelio R Paula	10/2015
4982	2^278554+4257	83854	Lelio R Paula	08/2013
4983	2^278504-109619	83839	Enzo Doria	04/2014
4984	2^278499+1870433	83837	Enzo Doria	05/2016
4985	105^41475+104	83829	Norbert Schneider	11/2016
4986	15^71276-68	83828	Lelio R Paula	11/2015
4987	2^278464-216413	83827	Enzo Doria	04/2013
4988	(76*10^83816-211)/9	83817	Robert Price	10/2017
4989	(8*10^83811-101)/3	83812	Robert Price	10/2017
4990	2^278400+40755	83807	Lelio R Paula	08/2013
4991	(9*2^278381-1)/7	83802	Lelio R Paula	02/2014
4992	39^87813+6^87813+24^87813	83796	Mike Oakes	12/2010
4993	19551^19268+19268^19551	83773	Hans Havermann	05/2017
4994	20625^11522+11522^20625	83770	Hans Havermann	05/2017
4995	(44*10^83768-791)/9	83769	Robert Price	10/2017
4996	(87^43189+1)/88	83764	Paul Bourdelais	08/2017
4997	2^278235-49	83758	Lelio R Paula	06/2012
4998	23543^3610+3610^23543	83755	Hans Havermann	05/2017
5000	18^66711-91	83741	Lelio R Paula	11/2015
4999	4*10^83740-89	83741	Robert Price	08/2017

Find by discoverer :

PRP Records

Probable Primes Top 10000

(218736 PRPs in the top)