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 ?
6251	(38*10^80150-11)/9	80151	Robert Price	05/2015
6252	(598*10^80149-31)/9	80151	Robert Price	02/2017
6253	19^62678-80	80150	Lelio R Paula	12/2015
6254	10^80139+32343	80140	Patrick De Geest	02/2011
6255	10^80139-9	80139	Alexander Gramolin	01/2011
6256	3^167955-106	80135	Lelio R Paula	12/2015
6257	(197*10^80089-11)/3	80091	Robert Price	10/2017
6258	2^265998+75559	80074	Enzo Doria	04/2016
6259	2^265969-109801	80065	Enzo Doria	04/2014
6260	2^265888-112757	80041	Enzo Doria	06/2014
6261	2^265809+1701	80017	Lelio R Paula	07/2013
6262	gcd(V(957175),5F(191435)(F(191435)+1)+1)	80014	Serge Batalov	04/2015
6263	3^167687-104	80008	Lelio R Paula	02/2015
6264	11^76826-5790	80007	Enzo Doria	01/2013
6265	10^80000+85731	80001	Patrick De Geest	10/2009
6266	10^80000-7169	80000	Patrick De Geest	09/2009
6267	10^79999+22399	80000	Patrick De Geest	09/2009
6268	10^79999-74873	79999	Patrick De Geest	09/2009
6269	3^167668+58	79998	Lelio R Paula	02/2015
6270	155^36506-2	79961	Lelio R Paula	10/2017
6271	2^265612+4257	79958	Lelio R Paula	07/2013
6272	5*3^167577+4	79956	Lelio R Paula	06/2014
6273	(9179*2^265593-1)/9	79955	Lelio R Paula	04/2015
6274	6^102723-43	79935	Lelio R Paula	04/2015
6275	11^76748-3360	79925	Enzo Doria	12/2012
6276	(13*2^265498-1)/187119	79919	Lelio R Paula	02/2014
6277	2^265399-109855	79894	Enzo Doria	04/2014
6278	(20^61403-1)/19	79886	Paul Bourdelais	03/2010
6279	18^63635+59	79880	Lelio R Paula	02/2015
6280	(11*10^79867-107)/3	79868	Robert Price	11/2016
6281	3^167375+80	79859	Lelio R Paula	02/2015
6282	5^114240-14486	79851	Enzo Doria	02/2013
6283	49^47238+48	79842	Norbert Schneider	07/2014
6284	2^265212-3779	79837	Yves Minet	04/2017
6285	91^40746+40746^91	79824	Norbert Schneider	12/2014
6286	(68*10^79813-257)/9	79814	Robert Price	06/2017
6287	(5*2^265118-1)/61	79808	Lelio R Paula	02/2014
6288	2^265074+28425	79796	Lelio R Paula	07/2013
6289	2^265072+1185	79795	Lelio R Paula	07/2013
6290	p(16682)#/2-128	79771	Robert Price	05/2017
6291	3^167167-34	79759	Robert Price	11/2013
6292	12^73906+29	79758	Lelio R Paula	02/2015
6293	2^264934+255	79754	Lelio R Paula	07/2013
6294	4*10^79729-87	79730	Robert Price	03/2017
6295	2^264846-111701	79727	Enzo Doria	05/2014
6296	2^264831-112041	79723	Enzo Doria	06/2014
6297	2^264816-455	79718	Yves Minet	03/2012
6298	(55*10^79711+89)/9	79712	Robert Price	09/2017
6299	47^47667-46	79704	Theodore Burton	02/2007
6300	13^71547+96	79700	Lelio R Paula	03/2015
6301	2^264752-112883	79699	Enzo Doria	06/2014
6302	2^264732+133	79693	Lelio R Paula	05/2012
6303	8*3^167010+7	79685	Lelio R Paula	06/2014
6304	42^49087-41	79681	Norbert Schneider	06/2014
6305	(26*10^79678-119)/3	79679	Robert Price	07/2016
6306	2^264683-21	79678	Lelio R Paula	05/2012
6307	7^94279+18	79675	Lelio R Paula	02/2015
6308	2^264655-127	79670	Lelio R Paula	02/2012
6309	2^264597-459043	79652	Enzo Doria	05/2015
6310	(21*2^264566+1)/5	79643	Lelio R Paula	10/2012
6311	2^264536+1870021	79634	Enzo Doria	05/2016
6312	(17*2^264512-1)/359	79625	Lelio R Paula	02/2014
6313	2^264477-109783	79616	Enzo Doria	04/2014
6314	18^63419-1333	79609	Enzo Doria	03/2013
6315	13^71451-36	79593	Lelio R Paula	03/2015
6316	(2^264410-5)/128002609121	79585	Lelio R Paula	10/2012
6317	19^62234+90	79582	Lelio R Paula	03/2015
6318	12^73714+49	79551	Lelio R Paula	02/2015
6319	(3*2^264184-1)/1433339	79522	Lelio R Paula	02/2014
6320	2^264103-112531	79503	Enzo Doria	06/2014
6321	19^62170+78	79501	Lelio R Paula	03/2015
6322	11^76340-2580	79500	Enzo Doria	12/2012
6323	(23*10^79492-11)/3	79493	Robert Price	10/2015
6324	((2^132049+13650)^2+(2^132049+13650)+41)/2003/23841473	79491	Makoto Morimoto	05/2016
6325	2^264060-112133	79490	Enzo Doria	06/2014
6326	((2^132049+4641)^2+(2^132049+4641)+41)/487/8537/10426147	79488	Makoto Morimoto	05/2016
6327	9^83298+6^83298-2^83298	79487	Mike Oakes	08/2010
6328	18^63319+35	79483	Lelio R Paula	02/2015
6329	38303!2+256	79461	Robert Price	01/2015
6330	(29*10^79445+61)/9	79446	Robert Price	04/2015
6331	2^263902-195	79443	Lelio R Paula	05/2012
6332	3^166499-112696	79441	Enzo Doria	06/2014
6333	11^76279-2760	79437	Enzo Doria	12/2012
6334	6^102077-25	79432	Lelio R Paula	03/2015
6335	2^263852-1017	79428	Lelio R Paula	07/2013
6336	2^263842-33	79425	Lelio R Paula	05/2012
6337	12^73584-55	79411	Lelio R Paula	02/2015
6338	2^263772-185	79404	Lelio R Paula	05/2012
6339	(15^67489+1)/16	79373	Paul Bourdelais	03/2010
6340	2^263664+15015	79371	Lelio R Paula	07/2013
6341	10^79362+3^79363	79363	Mike Oakes	06/2010
6342	Phi(163244,10)/2448661/6856249	79331	Maksym Voznyy	11/2015
6343	3^166262+44	79328	Lelio R Paula	02/2015
6344	4*10^79327-63	79328	Robert Price	12/2016
6345	2^263486+513	79318	Lelio R Paula	07/2013
6346	2^263448-519509	79306	Paul Bourdelais	03/2013
6347	69153^16384+2	79296	Matt Stath	01/2019
6348	21^59971-20^59971	79295	Robert Price	05/2012
6349	2^263372+123	79283	Lelio R Paula	05/2012
6350	17^64429+84	79277	Lelio R Paula	03/2015
6351	11^76124-11430	79275	Enzo Doria	12/2012
6352	(206*10^79268-17)/9	79270	Robert Price	03/2017
6353	13^71157+18	79265	Lelio R Paula	03/2015
6354	2^263297+65835	79261	Lelio R Paula	07/2013
6355	19^61980-18	79258	Theodore Burton	12/2005
6356	2*10^79242+93	79243	Robert Price	07/2016
6357	(88^40751-1)/87	79238	Paul Bourdelais	08/2017
6358	(103*29^54179-39)/4	79233	Curtis Bright	05/2015
6359	9^83024-83024^9	79226	Norbert Schneider	08/2017
6360	17^64382-26	79219	Lelio R Paula	03/2015
6361	7^93733-74	79214	Lelio R Paula	02/2015
6362	15^67352+38	79213	Lelio R Paula	02/2015
6363	2^263135-110235	79212	Enzo Doria	05/2014
6364	2^263044+4257	79185	Lelio R Paula	07/2013
6365	2^263032+87517	79181	Yves Minet	11/2010
6366	6^101755+95	79181	Lelio R Paula	03/2015
6367	4^131497-3^131497	79170	Jean-Louis Charton	05/2004
6368	5*7^93674+8	79165	Lelio R Paula	10/2014
6369	lucasU(486,25,29457)-5*lucasU(486,25,29456)	79137	Mike Oakes	05/2009
6370	260^32768+179^32768	79134	Serge Batalov	03/2018
6371	11^75978-42	79123	Lelio R Paula	02/2015
6372	8*5^113180+9	79111	Lelio R Paula	10/2014
6373	(6883*2^262741-1)/4835	79094	Lelio R Paula	04/2015
6374	(9*2^262745+1)/137	79093	Lelio R Paula	10/2012
6375	12^73285+85	79088	Lelio R Paula	02/2015
6376	19^61840+52	79079	Lelio R Paula	03/2015
6377	(10^79067+77)/3	79067	Robert Price	01/2017
6378	(1017*2^262640-1)/11557	79062	Lelio R Paula	04/2015
6379	10^79040+137949	79041	Patrick De Geest	02/2016
6381	10^79040-1007297	79040	Robert Price	02/2015
6380	10^79040-77427	79040	Patrick De Geest	02/2016
6382	2^262551-17295	79036	Lelio R Paula	07/2013
6383	3^165597+340	79010	Lelio R Paula	02/2015
6384	(23*2^262435+1)/55	79001	Lelio R Paula	10/2012
6385	11^75860-2100	79001	Enzo Doria	12/2012
6386	8*7^93463+9	78987	Lelio R Paula	10/2014
6387	67^43240-2	78960	Lelio R Paula	09/2013
6388	1000001^13159-1000000^13159	78953	Jean-Louis Charton	10/2003
6389	2^262199-110287	78930	Enzo Doria	05/2014
6390	(19*2^262180-1)/177	78924	Lelio R Paula	02/2014
6391	(3^165403+4)/7	78917	Lelio R Paula	10/2012
6392	2^21068*(2^241076+1)-1	78914	Makoto Morimoto	03/2014
6393	2^29258*(2^232886+1)-1	78914	Makoto Morimoto	03/2014
6394	2^262144+18531	78914	Makoto Morimoto	12/2015
6395	(2^(2^18)+2450)/(23^2137*577)	78908	Makoto Morimoto	08/2017
6396	(2^(2^18)-5719)/(35993623)	78907	Makoto Morimoto	08/2017
6397	14^68837+75	78897	Lelio R Paula	02/2015
6398	106^38949+105	78884	Norbert Schneider	12/2016
6399	(70^42737+1)/71	78853	Paul Bourdelais	08/2017
6400	(25*2^261917-1)/20927	78842	Lelio R Paula	02/2014
6401	2^261881-1859713	78835	Enzo Doria	03/2016
6402	2^261874+1915	78832	Lelio R Paula	07/2013
6403	2^261856+98765331	78827	Jason Earls	01/2009
6404	(5*2^261857-1)/20501277	78821	Lelio R Paula	02/2014
6405	2^261724+92691	78787	Tony Prest / Never Odd Or Even	03/2014
6406	2^261724+285111	78787	Tony Prest / Never Odd Or Even	04/2014
6407	2^261724+293713	78787	Tony Prest / Never Odd Or Even	04/2014
6408	(2^261724+381949)/5	78787	Tony Prest / Never Odd Or Even	04/2014
6409	2^261724+572971	78787	Tony Prest / Never Odd Or Even	05/2014
6410	(2^261724+392705)/3/7	78786	Tony Prest / Never Odd Or Even	04/2014
6411	(2^261724+629709)/5/5	78786	Tony Prest / Never Odd Or Even	05/2014
6412	(2^261724+67397)/3/103	78785	Tony Prest / Never Odd Or Even	04/2014
6413	(2^261724+323043)/11/103	78784	Tony Prest / Never Odd Or Even	04/2014
6414	(2^261724+370143)/1289	78784	Tony Prest / Never Odd Or Even	04/2014
6415	(2^261724+560259)/5/5/73	78784	Tony Prest / Never Odd Or Even	05/2014
6416	(2^261724+64109)/3/3/3/5/5/19	78783	Tony Prest / Never Odd Or Even	04/2014
6417	(2^261724+394491)/55787	78783	Tony Prest / Never Odd Or Even	04/2014
6418	(2^261724+625897)/23/883	78783	Tony Prest / Never Odd Or Even	05/2014
6419	(2^261724+292471)/13/97/151	78782	Tony Prest / Never Odd Or Even	04/2014
6420	(2^261724+154303)/11/67/127	78782	Tony Prest / Never Odd Or Even	04/2014
6421	(2^261724+313319)/3/3/3/3/5/11/113	78782	Tony Prest / Never Odd Or Even	04/2014
6422	(2^261724+383949)/5/41/43/83	78781	Tony Prest / Never Odd Or Even	04/2014
6423	(2^261724+626567)/3/331/631	78781	Tony Prest / Never Odd Or Even	05/2014
6424	(2^261724+32987)/3/3/19/223/1031	78780	Tony Prest / Never Odd Or Even	04/2014
6425	(2^261724+5813)/3/5991397	78780	Tony Prest / Never Odd Or Even	04/2014
6426	(2^261724+13481)/3/11/239/2087	78780	Tony Prest / Never Odd Or Even	04/2014
6427	(2^261724+103399)/5/13/37/10607	78780	Tony Prest / Never Odd Or Even	04/2014
6428	(2^261724+18477)/367/65111	78780	Tony Prest / Never Odd Or Even	04/2014
6429	(2^261724+121285)/167/227/1217	78780	Tony Prest / Never Odd Or Even	04/2014
6430	(2^261724+262037)/3/3/11/23/18517	78780	Tony Prest / Never Odd Or Even	04/2014
6431	(2^261724+586157)/3/7/457/1259	78780	Tony Prest / Never Odd Or Even	05/2014
6432	(2^261724+315287)/3/45822541	78779	Tony Prest / Never Odd Or Even	04/2014
6433	(2^261724+605675)/3/3/3/103/207481	78779	Tony Prest / Never Odd Or Even	05/2014
6434	(2^261724+60031)/13/31/7024877	78778	Tony Prest / Never Odd Or Even	04/2014
6435	(2^261724+121879)/5/789433217	78778	Tony Prest / Never Odd Or Even	04/2014
6436	(2^261724+290135)/3/3/8467/9059	78778	Tony Prest / Never Odd Or Even	04/2014
6437	(2^261724+79857)/59/3847/165331	78777	Tony Prest / Never Odd Or Even	04/2014
6438	(2^261724+22883)/3/17/23/2351/10079	78777	Tony Prest / Never Odd Or Even	04/2014
6439	(2^261724+154799)/3/5/3655653719	78777	Tony Prest / Never Odd Or Even	04/2014
6440	(2^261724+391001)/3/11/17/41/43/24071	78777	Tony Prest / Never Odd Or Even	04/2014
6441	(2^261724+622383)/34843/550717	78777	Tony Prest / Never Odd Or Even	05/2014
6442	(2^261724+302829)/5/37/37/37078147	78776	Tony Prest / Never Odd Or Even	04/2014
6443	(2^261724+315837)/43/2176136243	78776	Tony Prest / Never Odd Or Even	04/2014
6444	(2^261724+582373)/53/307/311/32117	78776	Tony Prest / Never Odd Or Even	05/2014
6445	(2^261724+295283)/3/3/3/29/43/17812273	78775	Tony Prest / Never Odd Or Even	04/2014
6446	(2^261724+27491)/3/22787/105978449	78774	Tony Prest / Never Odd Or Even	04/2014
6447	(2^261724+392751)/193813/287826689	78774	Tony Prest / Never Odd Or Even	04/2014
6448	(2^261724+328501)/7/1091/31495610519	78773	Tony Prest / Never Odd Or Even	04/2014
6449	(2^261724+111267)/19/4637/15140560427	78772	Tony Prest / Never Odd Or Even	04/2014
6450	(2^261724+572133)/127/131/73787752333	78772	Tony Prest / Never Odd Or Even	05/2014
6451	(2^261724+608733)/59/7079/18451/909151	78771	Tony Prest / Never Odd Or Even	05/2014
6452	(2^261724+255449)/3/3/5/7/1759/10177/33158869	78770	Tony Prest / Never Odd Or Even	04/2014
6453	(2^261724+99509)/3/5/5/6507271/6749659289	78769	Tony Prest / Never Odd Or Even	04/2014
6454	(2^261724+52501)/563/53939/27942831391	78769	Tony Prest / Never Odd Or Even	04/2014
6455	(2^261724+117089)/3/5/37/149/967/2027/4163741	78769	Tony Prest / Never Odd Or Even	04/2014
6456	(2^261724+372571)/1487/9209/21559/2263249	78769	Tony Prest / Never Odd Or Even	04/2014
6457	(2^261724+184549)/5/8699/44053/1409322997	78769	Tony Prest / Never Odd Or Even	04/2014
6458	(2^261724+363351)/937/159683/59523200227	78768	Tony Prest / Never Odd Or Even	04/2014
6459	(2^261724+326501)/3/43/193/263/19403/253501403	78768	Tony Prest / Never Odd Or Even	04/2014
6460	(2^261724+629477)/3/17/17/137/263/1993/16187/57347	78768	Tony Prest / Never Odd Or Even	05/2014
6461	(2^261724+94871)/3/3/13/6734017/1673425245787	78766	Tony Prest / Never Odd Or Even	04/2014
6462	(2^261724+25981)/577/1181/3643/517786334743	78766	Tony Prest / Never Odd Or Even	04/2014
6464	(23*2^261642+1)/93	78762	Lelio R Paula	10/2012
6463	(2^261724+351227)/3/3/3/3/71/13997/9595373/8193978007	78762	Tony Prest / Never Odd Or Even	04/2014
6465	(2^261724+22571)/3/7243/7321/18046081/45730741211	78761	Tony Prest / Never Odd Or Even	04/2014
6466	(2^261724+56495)/3/3/3/7/7/13/9041/512818459/23708589119	78760	Tony Prest / Never Odd Or Even	04/2014
6467	71293!4-4	78759	Robert Price	11/2019
6468	(2^261724+604119)/5/7/7/41/14107/19681/211777/90145981/1036020834127	78750	Tony Prest / Never Odd Or Even	05/2014
6469	2^261507-2287	78722	Yves Minet	04/2009
6470	8*10^78717+39	78718	Robert Price	01/2017
6471	(78557*2^261440+1)/3	78706	Lelio R Paula	06/2014
6472	6^101128-16433	78693	Enzo Doria	02/2013
6473	20^60482+99	78689	Lelio R Paula	03/2015
6474	2^261348-110633	78674	Enzo Doria	05/2014
6475	191^34487+2	78666	Lelio R Paula	05/2013
6476	2^261305-110139	78661	Enzo Doria	04/2014
6477	(82*10^78635-1)/9	78636	Robert Price	12/2014
6478	10^78632+81	78633	Robert Price	03/2011
6479	10^78632-402693	78632	Patrick De Geest	07/2013
6480	3*10^78631+17	78632	Robert Price	03/2017
6481	2^261174-3911	78622	Yves Minet	04/2017
6482	2^261167+74843	78620	Enzo Doria	04/2016
6483	L(376121)+F(376122)	78605	Henri Lifchitz	01/2007
6484	14^68580-29	78602	Lelio R Paula	02/2015
6485	(73*10^78576-1)/9	78577	Robert Price	01/2015
6486	(17*2^261026-1)/40451	78574	Lelio R Paula	02/2014
6487	2^261001-195	78570	Lelio R Paula	05/2012
6488	5*2^260950+9	78555	Lelio R Paula	06/2014
6489	2^260931-7605	78549	Lelio R Paula	07/2013
6490	15^66778-32	78538	Lelio R Paula	02/2015
6491	(11*2^260896-1)/245	78537	Lelio R Paula	02/2014
6492	30^53166+29	78533	Norbert Schneider	03/2017
6493	lucasU(2403,1,23229)-lucasU(2403,1,23228)	78529	Mike Oakes	05/2009
6494	7*3^164574-2	78523	Lelio R Paula	06/2014
6495	2^260830-112133	78518	Enzo Doria	06/2014
6496	13^70486+42	78518	Lelio R Paula	03/2015
6497	11^75386-7080	78507	Enzo Doria	01/2013
6498	(86^40583-1)/85	78506	Paul Bourdelais	08/2017
6499	5*10^78504+11	78505	Robert Price	08/2019
6500	2^260711-58695	78482	Lelio R Paula	07/2013

Find by discoverer :

PRP Records

Probable Primes Top 10000

(255244 PRPs in the top)