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 ?
6251	2^225120+151	67768	Lelio R Paula	02/2012
6252	(44^41233+1)/45	67763	Robert Price	11/2013
6253	8*10^67742+9	67743	Dmitry Domanov	11/2010
6254	2^224977+1089	67725	Lelio R Paula	04/2012
6255	(2^224950+5)/19509	67713	Lelio R Paula	04/2012
6256	11^65011-5970	67702	Enzo Doria	01/2013
6257	88*10^67691+7	67693	Robert Price	11/2016
6258	11^65000-7140	67691	Enzo Doria	01/2013
6259	2^224841+59	67684	Lelio R Paula	02/2012
6260	33129!2+2^33129	67684	Robert Price	09/2015
6261	2^224827+8415	67680	Lelio R Paula	02/2013
6262	(9913*2^224821-1)/19825	67678	Lelio R Paula	04/2015
6263	2^224815-49789	67677	Henri Lifchitz	04/2005
6264	(43*10^67664+11)/9	67665	Robert Price	06/2015
6265	(292*10^67659-1)/3	67661	Robert Price	01/2017
6266	(17*2^224766+1)/29007	67659	Lelio R Paula	06/2012
6267	2^224744+577294575	67655	Lelio R Paula	02/2016
6268	((1+sqrt(7)+sqrt(6))^45863-1)((1+sqrt(7)-sqrt(6))^45863-1)((1-sqrt(7)+sqrt(6))^45863-1)*((1-sqrt(7	67653	Mike Oakes	05/2009
6269	(2^224721+78557)/1739	67645	Lelio R Paula	05/2012
6270	2^224700+1915	67642	Lelio R Paula	04/2012
6271	(29*2^224694-1)/198905	67636	Lelio R Paula	01/2014
6272	2^224658-93	67629	Lelio R Paula	02/2012
6273	2^224624-13077	67619	Enzo Doria	10/2012
6274	18^53860-3319	67609	Enzo Doria	03/2013
6275	(21181*2^224570+1)/5	67606	Lelio R Paula	06/2014
6276	2^224578-111041	67605	Enzo Doria	05/2014
6277	2^224569-113233	67603	Enzo Doria	07/2014
6278	2^224562-113171	67600	Enzo Doria	07/2014
6279	2^224556-113129	67599	Enzo Doria	07/2014
6280	6*7^79980-5	67592	Lelio R Paula	09/2014
6281	(6883*2^224523-1)/16031	67588	Lelio R Paula	04/2015
6282	(52*10^67578-61)/9	67579	Robert Price	09/2015
6283	10^67579-401	67579	Robert Price	06/2017
6284	(17^54919-1)/16	67574	Paul Bourdelais	03/2010
6285	(2^224363-9)/1951	67537	Lelio R Paula	04/2012
6286	47719!3-59049	67516	Robert Price	12/2015
6287	(22^50287+1)/23	67506	Robert Price	06/2013
6288	11^64811-5820	67494	Enzo Doria	01/2013
6289	131^31870+31870^131	67478	Serge Batalov	05/2014
6290	9*10^67468+7	67469	Dmitry Domanov	11/2010
6291	(31*2^224115-1)/47723	67463	Lelio R Paula	01/2014
6292	128^32001+32001^128	67433	Serge Batalov	05/2014
6293	(89*10^67431-17)/9	67432	Robert Price	11/2015
6294	2^223912-111059	67405	Enzo Doria	05/2014
6295	2^223913+73697	67405	Enzo Doria	04/2016
6297	(10^67404+179)/9	67404	Serge Batalov	12/2014
6296	18738^3955+3955^18738	67404	Hans Havermann	09/2016
6298	9*7^79728-2	67379	Lelio R Paula	09/2014
6299	(28*10^67378-43)/3	67379	Robert Price	04/2016
6300	(3^141234-7)/430241282	67378	Lelio R Paula	04/2012
6301	211^28988-2	67377	Lelio R Paula	09/2013
6302	2^223793-18069	67369	Enzo Doria	05/2013
6303	2^223777-2521	67364	Yves Minet	07/2014
6304	(15185*2^223775-1)/15183	67363	Lelio R Paula	04/2015
6305	(2^223759-lucasV(1,2,223759)+1)/2	67358	Mike Oakes	11/2016
6306	V(340138)	67336	Serge Batalov	03/2015
6307	43125^14528-106	67334	Enzo Doria	07/2012
6308	17458^7153+7153^17458	67292	Hans Havermann	08/2016
6309	16366^12925+12925^16366	67288	Hans Havermann	08/2016
6310	37^42906-2	67286	Lelio R Paula	08/2013
6311	18^53592-13	67273	Lelio R Paula	08/2013
6312	V(396221)	67256	Serge Batalov	03/2015
6314	(34*10^67245-7)/9/3^4/193/1381537	67236	Makoto Morimoto	04/2016
6313	(14*10^67235-101)/3	67236	Robert Price	04/2017
6315	53^38993-52^38993	67235	Robert Price	01/2013
6316	(2^223349-7)/6485	67231	Lelio R Paula	04/2012
6317	2^223333+315	67230	Lelio R Paula	04/2012
6318	2^223278-111041	67214	Enzo Doria	05/2014
6319	(23472^223281+1)/(351971213*1783)	67208	Jens K. Andersen	09/2007
6320	2^223256-45	67207	Lelio R Paula	02/2012
6321	2^223253-112111	67206	Enzo Doria	06/2014
6322	18407^4474+4474^18407	67199	Hans Havermann	08/2016
6323	47^40182+40182^47	67189	Norbert Schneider	11/2014
6324	13^60309+94	67181	Lelio R Paula	07/2013
6325	11^64503-84	67173	Lelio R Paula	07/2013
6326	3^140781+236	67170	Lelio R Paula	06/2013
6327	2^223107-865057	67162	Paul Bourdelais	03/2013
6328	2^223100-59	67160	Lelio R Paula	02/2012
6329	2^223087+71963	67156	Enzo Doria	04/2016
6330	18^53481-3779	67134	Enzo Doria	03/2013
6331	4^111473-62573	67114	Mike Oakes	02/2011
6332	2^222943+29	67113	Henri Lifchitz	08/2005
6333	(2^222939-9)/103	67110	Lelio R Paula	04/2012
6334	2^222862-459161	67089	Enzo Doria	05/2015
6335	2^222828+8193	67078	Lelio R Paula	04/2012
6336	3^140570+2660	67069	Lelio R Paula	06/2013
6337	2^222744+855	67053	Lelio R Paula	04/2012
6338	13^60189+84	67048	Lelio R Paula	07/2013
6339	2^222701+577294575	67040	Lelio R Paula	02/2016
6340	(13*10^67038-31)/9	67039	Serge Batalov	11/2008
6341	(58695*2^222620-1)/61	67019	Lelio R Paula	04/2015
6342	2^222614-111041	67014	Enzo Doria	05/2014
6343	2^222520-1907	66986	Yves Minet	03/2013
6344	(4^111231+23)/3	66968	Robert Price	02/2017
6345	2^222408-111275	66952	Enzo Doria	05/2014
6346	10^66949-9^66949	66949	Jean-Louis Charton	12/2005
6347	2^222378-1005	66943	Lelio R Paula	04/2012
6348	(9*2^222366+1)/73	66938	Lelio R Paula	08/2012
6349	7^79202-6^(79202+1)	66934	Robert Price	06/2016
6350	2^222325-112255	66927	Enzo Doria	06/2014
6351	20^51428+33	66910	Lelio R Paula	08/2013
6352	2^222224-18509	66897	Enzo Doria	05/2013
6353	2^222192-869688105	66887	Lelio R Paula	02/2016
6354	11^64219-64	66878	Lelio R Paula	07/2013
6355	2^222151-17295	66875	Lelio R Paula	04/2012
6356	gcd(V(799885),5F(159977)(F(159977)+1)+1)	66867	Serge Batalov	04/2015
6357	2^222085-111031	66855	Enzo Doria	05/2014
6358	8*10^66848-13	66849	Robert Price	05/2017
6359	(3^140087+4)/13	66838	Lelio R Paula	04/2012
6360	(3^140102+4)/8843609437	66836	Lelio R Paula	04/2012
6361	19^52265+52	66835	Lelio R Paula	08/2013
6362	2*10^66826-27	66827	Robert Price	02/2017
6363	4*6^85867+5	66819	Lelio R Paula	09/2014
6364	15^56800+8	66802	Lelio R Paula	08/2013
6365	(2^221891-2^110946+1)/5	66796		11/2006
6366	10^66793+69441	66794	Patrick De Geest	05/2013
6367	10^66793-63	66793	Robert Price	05/2011
6368	35^43256-1704	66791	Enzo Doria	03/2013
6369	3^139976+2^(139976-1)	66786	Robert Price	05/2016
6370	7^79023-54	66783	Lelio R Paula	06/2013
6371	104^33109-103	66782	Norbert Schneider	11/2016
6372	(34*10^66778-7)/9/37/358901	66772	Makoto Morimoto	04/2016
6373	(-lucasV(1,2,443622)+2)/(7281487)	66766	Mike Oakes	04/2017
6375	2^221768+183	66759	Lelio R Paula	02/2012
6374	gcd(V(1197915),5F(239583)(F(239583)+1)+1)	66759	Serge Batalov	04/2015
6376	(154*10^66755-1)/9	66757	Serge Batalov	12/2014
6377	11^64097+48	66751	Lelio R Paula	07/2013
6378	(lucasV(1,2,443547)-2)/(713791327221773)	66749	Mike Oakes	04/2017
6379	(3*2^221696-1)/13	66737	Lelio R Paula	01/2014
6380	8*6^85758-7	66734	Lelio R Paula	09/2014
6381	135^31325+2	66733	Lelio R Paula	05/2013
6382	(49*10^66729+41)/9	66730	Robert Price	07/2015
6383	(349*10^66720-7)/9	66722	Robert Price	03/2017
6384	(-lucasV(1,2,443285)+2)/(3^2*307)	66718	Mike Oakes	04/2017
6385	(25*10^66714+71)/3	66715	Robert Price	01/2017
6386	11^64061-780	66713	Enzo Doria	11/2012
6387	7^78929+4	66703	Lelio R Paula	06/2013
6388	11^64048-930	66700	Enzo Doria	11/2012
6389	2*7^78921+5	66697	Lelio R Paula	09/2014
6390	(25*2^221526+1)/409	66685	Lelio R Paula	08/2012
6391	(2^221509-1)/292391881	66673	Jens K. Andersen	02/2009
6392	2^221479+72953	66672	Enzo Doria	04/2016
6393	10^66666+275403	66667	Patrick De Geest	03/2010
6394	10^66666-115521	66666	Patrick De Geest	03/2010
6395	(18*10^66657-81)/99	66657	Ray Chandler	01/2011
6396	4*10^66653+21	66654	Robert Price	08/2016
6397	(10^66650+149)/3	66650	Serge Batalov	12/2014
6398	9^69842+38^69842-24^69842-3*2^69842	66647	Mike Oakes	12/2010
6399	2^221391-2145	66646	Lelio R Paula	04/2012
6400	(5*10^66613-119)/3	66614	Robert Price	04/2016
6401	2^221273-113233	66610	Enzo Doria	07/2014
6402	3^139571-46	66593	Lelio R Paula	06/2013
6403	2^221181-869688105	66583	Lelio R Paula	02/2016
6404	(61*10^66575-7)/9	66576	Ray Chandler	02/2012
6405	2^221126+133	66566	Lelio R Paula	02/2012
6407	12^61680+91	66564	Lelio R Paula	07/2013
6406	(lucasV(1,2,442258)+2)/103	66564	Mike Oakes	04/2017
6408	(13*10^66551-73)/3	66552	Robert Price	12/2016
6409	11^63901-1590	66547	Enzo Doria	12/2012
6410	11^63901-1500	66547	Enzo Doria	12/2012
6411	6^85517+23	66546	Lelio R Paula	07/2013
6412	17^54069-40	66530	Lelio R Paula	08/2013
6413	(2^110503+4725)^2+(2^110503+4725)+41	66530	Makoto Morimoto	05/2016
6414	(2^110503+8099)^2+(2^110503+8099)+41	66530	Makoto Morimoto	05/2016
6415	(2^221008-1017)/78533	66526	Lelio R Paula	04/2012
6416	3^139432+26	66526	Lelio R Paula	06/2013
6417	((2^110503+5139)^2+(2^110503+5139)+41)/20865797	66523	Makoto Morimoto	05/2016
6418	((2^110503+6647)^2+(2^110503+6647)+41)/197/17327	66523	Makoto Morimoto	05/2016
6419	6^85481+85481	66518	Henri Lifchitz	08/2014
6420	(9179*2^220913-1)/399	66503	Lelio R Paula	04/2015
6421	13^59687+66	66488	Lelio R Paula	07/2013
6422	(49*10^66485-31)/9	66486	Robert Price	07/2015
6423	(46*10^66469+17)/9	66470	Robert Price	06/2015
6424	2^220790+97	66465	Lelio R Paula	02/2012
6425	(23*2^220790+1)/807	66463	Lelio R Paula	06/2012
6426	40009^14441-102	66460	Enzo Doria	07/2012
6427	2^220736-143	66449	Lelio R Paula	02/2012
6428	(79*10^66447-97)/99	66447	Ray Chandler	01/2011
6429	2^220675+69	66430	Lelio R Paula	02/2012
6430	2^220633-111381	66418	Enzo Doria	05/2014
6431	(2^220625-509203)/4000321	66409	Lelio R Paula	05/2012
6432	2^220596-15813	66407	Enzo Doria	04/2013
6433	(5*10^66394-17)/3	66395	Serge Batalov	05/2009
6434	2^220549-1859173	66392	Enzo Doria	04/2016
6435	2^220478-161	66371	Lelio R Paula	02/2012
6436	5^94938-14636	66359	Enzo Doria	02/2013
6437	(F(67)^4861-F(66)^4861)/F(65)	66353	Wayne Halsdorf	03/2012
6438	2^220253-114871	66303	Enzo Doria	05/2015
6439	12^61432+95	66297	Lelio R Paula	07/2013
6440	2^220192-111563	66285	Enzo Doria	05/2014
6441	2^220188-111449	66284	Enzo Doria	05/2014
6442	(4*10^66284+23)/9	66284	Robert Price	11/2014
6443	32501!2+2	66266	Robert Price	01/2015
6444	1530*10^66254+R(66254)	66258	Patrick De Geest	05/2016
6445	(47^39623-1)/46	66252	Robert Price	06/2014
6446	2^220044-97305	66240	Lelio R Paula	04/2012
6447	29^45285+2	66225	Ray Chandler	08/2011
6448	15^56289+38	66202	Lelio R Paula	08/2013
6449	3^138749+98	66201	Lelio R Paula	06/2013
6450	(21*2^219912-1)/5	66201	Lelio R Paula	01/2014
6451	2^219904-16995	66198	Lelio R Paula	10/2011
6452	(3^138712-2)/5297	66179	Lelio R Paula	04/2012
6453	Phi(198552,10)	66177	Ray Chandler	07/2010
6454	4*6^85041+7	66176	Lelio R Paula	09/2014
6455	2^219812-3149	66171	Yves Minet	10/2009
6456	2^219795-611167	66165	Paul Bourdelais	03/2013
6457	32455!2+512	66162	Robert Price	02/2015
6458	(27*2^219760-1)/227	66154	Lelio R Paula	01/2014
6460	(11^63521-4^63521)/7	66150	Robert Price	03/2013
6459	5*7^78274-6	66150	Lelio R Paula	09/2014
6461	(-lucasV(1,2,439441)-2)/(31192781359)	66134	Mike Oakes	04/2017
6462	2^219679-112015	66130	Enzo Doria	05/2014
6463	2^219653+15015*219653	66123	Henri Lifchitz	04/2005
6464	2^219600+76561	66107	Enzo Doria	05/2016
6465	2^219594+255255	66105	Lelio R Paula	10/2011
6466	4*7^78210-3	66096	Lelio R Paula	09/2014
6467	(15185*2^219557-1)/63	66096	Lelio R Paula	04/2015
6468	(19*2^219499-1)/13	66076	Lelio R Paula	01/2014
6469	2^219496+66615	66075	Lelio R Paula	10/2011
6470	(F(79021)^5-F(79020)^5)/F(79019)	66057	Wayne Halsdorf	03/2012
6471	(2^219414+7)/443657	66045	Lelio R Paula	04/2012
6472	(115*10^66043-1)/3	66045	Serge Batalov	12/2014
6473	10^66033+19	66034	Robert Price	01/2011
6474	10^66033-78309	66033	Patrick De Geest	05/2013
6475	(lucasV(1,2,438701)+2)/7599419	66025	Mike Oakes	04/2017
6476	2^219304+454245	66018	Henri Lifchitz	03/2007
6477	(27*2^219293+1)/9145	66012	Lelio R Paula	08/2012
6478	2^219273-112635	66008	Enzo Doria	06/2014
6479	2^219250+25	66001	Lelio R Paula	08/2011
6480	132^31123+131	65999	Norbert Schneider	03/2015
6481	V(319871)	65987	Serge Batalov	03/2015
6482	2^219189-195	65983	Lelio R Paula	08/2011
6483	(7*2^219143-1)/55	65968	Lelio R Paula	01/2014
6484	2^219112-17009	65960	Enzo Doria	05/2013
6485	2^219093-111201	65954	Enzo Doria	05/2014
6486	2^219089-112099	65953	Enzo Doria	06/2014
6487	46714!3+81	65950	Robert Price	09/2014
6488	(11*10^65944-131)/3	65945	Robert Price	02/2017
6489	2^219021-3553	65932	Yves Minet	03/2017
6490	Pell-LucasQ(172243)/2	65931	Eric W. Weisstein	01/2007
6491	2^218990+73519	65923	Enzo Doria	04/2016
6492	58^37378-57	65914	Norbert Schneider	09/2014
6493	(2^218945-7)/1675	65906	Lelio R Paula	04/2012
6494	(-lucasV(1,2,437845)-2)/1679917	65896	Mike Oakes	04/2017
6496	2^218897-111889	65895	Enzo Doria	05/2014
6495	2^218896+1869451	65895	Enzo Doria	05/2016
6497	63^36616+2	65885	Lelio R Paula	05/2013
6498	(3*2^218822-1)/11	65872	Lelio R Paula	01/2014
6499	2^218796-113297	65865	Enzo Doria	07/2014
6500	2^218797+73727	65865	Enzo Doria	04/2016

Find by discoverer :

PRP Records

Probable Primes Top 10000

(174961 PRPs in the top)