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 ?
8751	(197*10^80089-11)/3	80091	Robert Price	10/2017
8752	2^265998+75559	80074	Enzo Doria	04/2016
8753	(2^265999+3290)/2	80074	Stefano Morozzi	01/2020
8754	2^265969-109801	80065	Enzo Doria	04/2014
8755	(2^265956+3378)/2	80061	Stefano Morozzi	01/2020
8756	(185*10^80051-11)/3	80053	Robert Price	10/2020
8757	2^265888-112757	80041	Enzo Doria	06/2014
8758	(24847^18211-1)/24846	80038	Serge Batalov	08/2020
8759	2^265809+1701	80017	Lelio R Paula	07/2013
8760	gcd(V(957175),5F(191435)(F(191435)+1)+1)	80014	Serge Batalov	04/2015
8761	19807^10954+10954^19807	80012	Hans Havermann	04/2020
8762	3^167687-104	80008	Lelio R Paula	02/2015
8763	11^76826-5790	80007	Enzo Doria	01/2013
8764	10^80000+85731	80001	Patrick De Geest	10/2009
8765	10^80000-7169	80000	Patrick De Geest	09/2009
8766	10^79999+22399	80000	Patrick De Geest	09/2009
8767	10^79999-74873	79999	Patrick De Geest	09/2009
8768	3^167668+58	79998	Lelio R Paula	02/2015
8769	(59*10^79995+391)/9	79996	Robert Price	03/2021
8770	(2^265728+3742)/2	79992	Stefano Morozzi	01/2020
8771	18780^18137+18137^18780	79976	Hans Havermann	04/2020
8772	19190^14709+14709^19190	79976	Hans Havermann	04/2020
8773	155^36506-2	79961	Lelio R Paula	10/2017
8774	(2^265621+3882)/2	79960	Stefano Morozzi	01/2020
8776	2^265612+4257	79958	Lelio R Paula	07/2013
8775	(2^265613+1470)/2	79958	Stefano Morozzi	01/2020
8777	5*3^167577+4	79956	Lelio R Paula	06/2014
8778	(9179*2^265593-1)/9	79955	Lelio R Paula	04/2015
8779	6^102723-43	79935	Lelio R Paula	04/2015
8780	21052^6261+6261^21052	79927	Hans Havermann	03/2020
8781	11^76748-3360	79925	Enzo Doria	12/2012
8782	19430^12981+12981^19430	79922	Hans Havermann	03/2020
8783	(2^265490+870)/2	79921	Stefano Morozzi	01/2020
8784	(13*2^265498-1)/187119	79919	Lelio R Paula	02/2014
8785	(2^265438+3978)/2	79905	Stefano Morozzi	01/2020
8786	(2^265409+1250)/2	79896	Stefano Morozzi	01/2020
8787	2^265399-109855	79894	Enzo Doria	04/2014
8788	(2^265380+3930)/2	79888	Stefano Morozzi	01/2020
8789	(20^61403-1)/19	79886	Paul Bourdelais	03/2010
8790	(2^265368+2970)/2	79884	Stefano Morozzi	01/2020
8791	18^63635+59	79880	Lelio R Paula	02/2015
8792	(11*10^79867-107)/3	79868	Robert Price	11/2016
8793	3^167375+80	79859	Lelio R Paula	02/2015
8794	5^114240-14486	79851	Enzo Doria	02/2013
8795	49^47238+48	79842	Norbert Schneider	07/2014
8796	2^265212-3779	79837	Yves Minet	04/2017
8797	(2^265201+2790)/2	79834	Stefano Morozzi	01/2020
8798	91^40746+40746^91	79824	Norbert Schneider	12/2014
8799	(68*10^79813-257)/9	79814	Robert Price	06/2017
8800	(13063^19391-1)/13062	79811	Serge Batalov	08/2020
8801	(5*2^265118-1)/61	79808	Lelio R Paula	02/2014
8802	(2^265102+1462)/2	79804	Stefano Morozzi	01/2020
8803	2^265074+28425	79796	Lelio R Paula	07/2013
8804	2^265072+1185	79795	Lelio R Paula	07/2013
8806	p(16682)#/2-128	79771	Robert Price	05/2017
8805	(2^264994+1714)/2	79771	Stefano Morozzi	01/2020
8808	3^167167-34	79759	Robert Price	11/2013
8807	(2^264952+3258)/2	79759	Stefano Morozzi	01/2020
8809	12^73906+29	79758	Lelio R Paula	02/2015
8810	2^264934+255	79754	Lelio R Paula	07/2013
8811	4*10^79729-87	79730	Robert Price	03/2017
8812	2^264846-111701	79727	Enzo Doria	05/2014
8813	2^264831-112041	79723	Enzo Doria	06/2014
8814	2^264816-455	79718	Yves Minet	03/2012
8815	(55*10^79711+89)/9	79712	Robert Price	09/2017
8816	47^47667-46	79704	Theodore Burton	02/2007
8817	13^71547+96	79700	Lelio R Paula	03/2015
8818	2^264752-112883	79699	Enzo Doria	06/2014
8819	(2^264748+1978)/2	79697	Stefano Morozzi	01/2020
8820	(185*10^79694-11)/3	79696	Robert Price	10/2020
8821	2^264732+133	79693	Lelio R Paula	05/2012
8822	8*3^167010+7	79685	Lelio R Paula	06/2014
8823	42^49087-41	79681	Norbert Schneider	06/2014
8824	(26*10^79678-119)/3	79679	Robert Price	07/2016
8825	2^264683-21	79678	Lelio R Paula	05/2012
8826	7^94279+18	79675	Lelio R Paula	02/2015
8828	2^264655-127	79670	Lelio R Paula	02/2012
8827	(2^264658+3102)/2	79670	Stefano Morozzi	01/2020
8829	(2^264637+1682)/2	79664	Stefano Morozzi	01/2020
8830	2^264597-459043	79652	Enzo Doria	05/2015
8831	(21*2^264566+1)/5	79643	Lelio R Paula	10/2012
8832	2^264536+1870021	79634	Enzo Doria	05/2016
8833	(17*2^264512-1)/359	79625	Lelio R Paula	02/2014
8834	19957^9762+9762^19957	79620	Hans Havermann	03/2020
8835	2^264477-109783	79616	Enzo Doria	04/2014
8836	18^63419-1333	79609	Enzo Doria	03/2013
8837	13^71451-36	79593	Lelio R Paula	03/2015
8838	23314^2593+2593^23314	79590	Hans Havermann	03/2020
8839	(2^264410-5)/128002609121	79585	Lelio R Paula	10/2012
8840	19^62234+90	79582	Lelio R Paula	03/2015
8841	(2^264276+2866)/2	79555	Stefano Morozzi	01/2020
8842	12^73714+49	79551	Lelio R Paula	02/2015
8843	(2^264213+1442)/2	79536	Stefano Morozzi	01/2020
8844	(3*2^264184-1)/1433339	79522	Lelio R Paula	02/2014
8845	(2^264160+1590)/2	79520	Stefano Morozzi	01/2020
8846	(29*10^79510-107)/3	79511	Robert Price	08/2020
8847	(9363^20021-1)/9362	79508	Serge Batalov	08/2020
8848	2^264103-112531	79503	Enzo Doria	06/2014
8849	19^62170+78	79501	Lelio R Paula	03/2015
8850	((10^(419875)-1)/9999)18880+1	79501	Matt Stath	01/2021
8851	11^76340-2580	79500	Enzo Doria	12/2012
8852	(2^264084+858)/2	79497	Stefano Morozzi	01/2020
8853	(5652^21187-1)/5651	79495	Serge Batalov	08/2020
8854	(23*10^79492-11)/3	79493	Robert Price	10/2015
8855	((2^132049+13650)^2+(2^132049+13650)+41)/2003/23841473	79491	Makoto Morimoto	05/2016
8856	2^264060-112133	79490	Enzo Doria	06/2014
8857	((2^132049+4641)^2+(2^132049+4641)+41)/487/8537/10426147	79488	Makoto Morimoto	05/2016
8858	20158^8775+8775^20158	79488	Hans Havermann	02/2020
8859	9^83298+6^83298-2^83298	79487	Mike Oakes	08/2010
8860	18^63319+35	79483	Lelio R Paula	02/2015
8861	(10011^19867-1)/10010	79474	Serge Batalov	08/2020
8862	2*10^79468+77	79469	Robert Price	08/2020
8863	22479^3428+3428^22479	79465	Hans Havermann	04/2020
8864	38303!2+256	79461	Robert Price	01/2015
8865	(29*10^79445+61)/9	79446	Robert Price	04/2015
8866	2^263902-195	79443	Lelio R Paula	05/2012
8867	3^166499-112696	79441	Enzo Doria	06/2014
8868	11^76279-2760	79437	Enzo Doria	12/2012
8869	18907^15894+15894^18907	79433	Hans Havermann	03/2020
8870	6^102077-25	79432	Lelio R Paula	03/2015
8871	2^263852-1017	79428	Lelio R Paula	07/2013
8872	2^263842-33	79425	Lelio R Paula	05/2012
8873	(2^263814+3582)/2	79416	Stefano Morozzi	01/2020
8874	12^73584-55	79411	Lelio R Paula	02/2015
8875	(2^263783+3558)/2	79407	Stefano Morozzi	01/2020
8876	2^263772-185	79404	Lelio R Paula	05/2012
8877	(15^67489+1)/16	79373	Paul Bourdelais	03/2010
8878	2^263664+15015	79371	Lelio R Paula	07/2013
8879	(2^263643+1206)/2	79365	Stefano Morozzi	01/2020
8880	(2^263642+3082)/2	79364	Stefano Morozzi	01/2020
8881	(3319^22541-1)/3318	79364	Serge Batalov	08/2020
8882	10^79362+3^79363	79363	Mike Oakes	06/2010
8883	(2^263591+2910)/2	79349	Stefano Morozzi	01/2020
8884	(2^263589+1922)/2	79348	Stefano Morozzi	01/2020
8885	Phi(163244,10)/2448661/6856249	79331	Maksym Voznyy	11/2015
8886	3^166262+44	79328	Lelio R Paula	02/2015
8887	4*10^79327-63	79328	Robert Price	12/2016
8888	2^263486+513	79318	Lelio R Paula	07/2013
8889	(2^263458+1282)/2	79309	Stefano Morozzi	01/2020
8890	(2^263456+1558)/2	79308	Stefano Morozzi	01/2020
8891	2^263448-519509	79306	Paul Bourdelais	03/2013
8892	(18926^18541-1)/18925	79297	Serge Batalov	08/2020
8893	69153^16384+2	79296	Matt Stath	01/2019
8894	21^59971-20^59971	79295	Robert Price	05/2012
8895	2^263372+123	79283	Lelio R Paula	05/2012
8896	(2^263366+1974)/2	79281	Stefano Morozzi	01/2020
8897	17^64429+84	79277	Lelio R Paula	03/2015
8898	11^76124-11430	79275	Enzo Doria	12/2012
8899	19294^12845+12845^19294	79274	Hans Havermann	03/2020
8900	(206*10^79268-17)/9	79270	Robert Price	03/2017
8901	13^71157+18	79265	Lelio R Paula	03/2015
8902	2^263297+65835	79261	Lelio R Paula	07/2013
8903	19^61980-18	79258	Theodore Burton	12/2005
8904	(2^263259+2970)/2	79249	Stefano Morozzi	01/2020
8905	2*10^79242+93	79243	Robert Price	07/2016
8906	(2^263226+1074)/2	79239	Stefano Morozzi	01/2020
8907	(88^40751-1)/87	79238	Paul Bourdelais	08/2017
8908	(103*29^54179-39)/4	79233	Curtis Bright	05/2015
8909	9^83024-83024^9	79226	Norbert Schneider	08/2017
8910	17^64382-26	79219	Lelio R Paula	03/2015
8911	7^93733-74	79214	Lelio R Paula	02/2015
8912	15^67352+38	79213	Lelio R Paula	02/2015
8913	2^263135-110235	79212	Enzo Doria	05/2014
8914	(2^263080+3658)/2	79195	Stefano Morozzi	01/2020
8915	2^263044+4257	79185	Lelio R Paula	07/2013
8916	(2^263039+3554)/2	79183	Stefano Morozzi	01/2020
8918	2^263032+87517	79181	Yves Minet	11/2010
8917	6^101755+95	79181	Lelio R Paula	03/2015
8919	(2^263010+1738)/2	79174	Stefano Morozzi	01/2020
8920	4^131497-3^131497	79170	Jean-Louis Charton	05/2004
8921	5*7^93674+8	79165	Lelio R Paula	10/2014
8922	(2^262939+1326)/2	79153	Stefano Morozzi	01/2020
8923	(2^262941+926)/2	79153	Stefano Morozzi	01/2020
8924	lucasU(486,25,29457)-5*lucasU(486,25,29456)	79137	Mike Oakes	05/2009
8925	260^32768+179^32768	79134	Serge Batalov	03/2018
8926	11^75978-42	79123	Lelio R Paula	02/2015
8927	8*5^113180+9	79111	Lelio R Paula	10/2014
8928	(2^262757+3222)/2	79098	Stefano Morozzi	01/2020
8929	(6883*2^262741-1)/4835	79094	Lelio R Paula	04/2015
8930	(9*2^262745+1)/137	79093	Lelio R Paula	10/2012
8931	12^73285+85	79088	Lelio R Paula	02/2015
8932	19^61840+52	79079	Lelio R Paula	03/2015
8934	(10^79067+77)/3	79067	Robert Price	01/2017
8933	(2^262655+678)/2	79067	Stefano Morozzi	01/2020
8935	(1017*2^262640-1)/11557	79062	Lelio R Paula	04/2015
8936	(2^262634+1674)/2	79061	Stefano Morozzi	01/2020
8937	10^79040+137949	79041	Patrick De Geest	02/2016
8939	10^79040-1007297	79040	Robert Price	02/2015
8938	10^79040-77427	79040	Patrick De Geest	02/2016
8940	2^262551-17295	79036	Lelio R Paula	07/2013
8941	(22973^18121-1)/22972	79026	Serge Batalov	08/2020
8942	3^165597+340	79010	Lelio R Paula	02/2015
8943	19620^10633+10633^19620	79003	Hans Havermann	02/2020
8944	(23*2^262435+1)/55	79001	Lelio R Paula	10/2012
8945	11^75860-2100	79001	Enzo Doria	12/2012
8946	8*7^93463+9	78987	Lelio R Paula	10/2014
8947	(2^262376+3942)/2	78983	Stefano Morozzi	01/2020
8948	67^43240-2	78960	Lelio R Paula	09/2013
8949	1000001^13159-1000000^13159	78953	Jean-Louis Charton	10/2003
8950	(2^262263+3410)/2	78949	Stefano Morozzi	01/2020
8951	2^262199-110287	78930	Enzo Doria	05/2014
8952	(19*2^262180-1)/177	78924	Lelio R Paula	02/2014
8953	(3^165403+4)/7	78917	Lelio R Paula	10/2012
8954	2^21068*(2^241076+1)-1	78914	Makoto Morimoto	03/2014
8955	2^29258*(2^232886+1)-1	78914	Makoto Morimoto	03/2014
8957	2^262144+18531	78914	Makoto Morimoto	12/2015
8956	2^262144-231425	78914	Matthias Baur	03/2020
8958	(2^262137+1730)/2	78911	Stefano Morozzi	01/2020
8959	(2^(2^18)+2450)/(23^2137*577)	78908	Makoto Morimoto	08/2017
8960	(2^(2^18)-5719)/(35993623)	78907	Makoto Morimoto	08/2017
8961	14^68837+75	78897	Lelio R Paula	02/2015
8962	(2^262055+1806)/2	78887	Stefano Morozzi	01/2020
8963	(20450^18301-1)/20449	78886	Serge Batalov	08/2020
8964	(2^262049+1406)/2	78885	Stefano Morozzi	01/2020
8965	106^38949+105	78884	Norbert Schneider	12/2016
8966	(2^262010+3778)/2	78873	Stefano Morozzi	01/2020
8967	(14*10^78863-191)/3	78864	Robert Price	10/2020
8968	18683^16636+16636^18683	78862	Hans Havermann	03/2020
8969	(2^261964+1450)/2	78859	Stefano Morozzi	01/2020
8970	23288^2433+2433^23288	78857	Hans Havermann	03/2020
8971	(70^42737+1)/71	78853	Paul Bourdelais	08/2017
8972	(2^261919+2474)/2	78846	Stefano Morozzi	01/2020
8973	(25*2^261917-1)/20927	78842	Lelio R Paula	02/2014
8974	2^261881-1859713	78835	Enzo Doria	03/2016
8976	2^261874+1915	78832	Lelio R Paula	07/2013
8975	(2^261872+1582)/2	78832	Stefano Morozzi	01/2020
8977	2^261856+98765331	78827	Jason Earls	01/2009
8978	(5*2^261857-1)/20501277	78821	Lelio R Paula	02/2014
8979	(10493^19603-1)/10492	78818	Serge Batalov	08/2020
8980	24586^1605+1605^24586	78810	Hans Havermann	02/2020
8981	(2^261786+3538)/2	78806	Stefano Morozzi	01/2020
8982	(2^261780+2290)/2	78804	Stefano Morozzi	01/2020
8983	2^261724+92691	78787	Tony Prest / Never Odd Or Even	03/2014
8984	2^261724+285111	78787	Tony Prest / Never Odd Or Even	04/2014
8985	2^261724+293713	78787	Tony Prest / Never Odd Or Even	04/2014
8986	(2^261724+381949)/5	78787	Tony Prest / Never Odd Or Even	04/2014
8987	2^261724+572971	78787	Tony Prest / Never Odd Or Even	05/2014
8988	(2^261724+392705)/3/7	78786	Tony Prest / Never Odd Or Even	04/2014
8989	(2^261724+629709)/5/5	78786	Tony Prest / Never Odd Or Even	05/2014
8990	(2^261724+67397)/3/103	78785	Tony Prest / Never Odd Or Even	04/2014
8991	(2^261724+323043)/11/103	78784	Tony Prest / Never Odd Or Even	04/2014
8992	(2^261724+370143)/1289	78784	Tony Prest / Never Odd Or Even	04/2014
8993	(2^261724+560259)/5/5/73	78784	Tony Prest / Never Odd Or Even	05/2014
8994	(2^261724+64109)/3/3/3/5/5/19	78783	Tony Prest / Never Odd Or Even	04/2014
8995	(2^261724+394491)/55787	78783	Tony Prest / Never Odd Or Even	04/2014
8996	(2^261724+625897)/23/883	78783	Tony Prest / Never Odd Or Even	05/2014
8997	19473^11110+11110^19473	78783	Hans Havermann	04/2020
8998	(2^261724+292471)/13/97/151	78782	Tony Prest / Never Odd Or Even	04/2014
8999	(2^261724+154303)/11/67/127	78782	Tony Prest / Never Odd Or Even	04/2014
9000	(2^261724+313319)/3/3/3/3/5/11/113	78782	Tony Prest / Never Odd Or Even	04/2014

Find by discoverer :

PRP Records

Probable Primes Top 10000

(280932 PRPs in the top)