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 ?
1251	2^483563-1863457	145567	Enzo Doria	12/2015
1252	2^483516-1861409	145553	Enzo Doria	11/2015
1253	2^483384-115019	145514	Enzo Doria	06/2015
1254	2^483302-3221	145489	Lelio R Paula	12/2012
1255	2^483046+1874029	145412	Enzo Doria	06/2016
1256	2^482991-2789317	145395	Enzo Doria	12/2015
1257	2^482978-2789711	145391	Enzo Doria	12/2015
1258	2^482966-2789711	145388	Enzo Doria	12/2015
1259	2^482817-1858843	145343	Enzo Doria	10/2015
1260	2^482751-113635	145323	Enzo Doria	08/2014
1261	2^482705-459763	145309	Enzo Doria	05/2015
1262	(4^241306+11)/3	145281	Robert Price	03/2017
1263	(19*2^482534+1)/7	145258	Lelio R Paula	09/2015
1264	53^84239-52^84239	145252	Robert Price	01/2013
1265	(2^482333+5)/9287	145193	Lelio R Paula	09/2015
1266	2^482087+72623	145123	Enzo Doria	04/2016
1267	2^482016-286565	145102	Enzo Doria	07/2015
1268	2^481840+15	145049	Robert Price	09/2015
1269	2^481801-481801	145037	Henri Lifchitz	03/2005
1270	2^481775+1869083	145029	Enzo Doria	05/2016
1271	29^99167+2	145022	Ray Chandler	08/2011
1272	2^481663+1875653	144996	Enzo Doria	07/2016
1273	2^481149-459073	144841	Enzo Doria	05/2015
1274	2^481045-113215	144809	Enzo Doria	07/2014
1275	2^480859-113695	144753	Enzo Doria	09/2014
1276	2^480766-2787191	144725	Enzo Doria	11/2015
1277	(21*27^101106-151)/26	144720	Curtis Bright	05/2015
1278	2^480678+1874239	144699	Enzo Doria	06/2016
1279	(8*10^144683+1)/9	144683	Serge Batalov	05/2010
1280	L(692147)	144651	Henri Lifchitz	10/2008
1281	2^480417+35	144620	Robert Price	11/2015
1282	2^480296-59879	144584	Enzo Doria	10/2015
1283	2^479844+3	144448	Donovan Johnson	06/2006
1284	(27*2^479642+1)/733	144386	Lelio R Paula	08/2015
1285	(21*2^479605-1)/11	144376	Lelio R Paula	09/2015
1286	2^479348-2792219	144299	Enzo Doria	02/2016
1287	3^302389-6242	144277	Enzo Doria	05/2014
1288	2*10^144220-3	144221	Robert Price	07/2015
1289	2^478904-109109	144165	Enzo Doria	04/2014
1290	2^478337-115333	143994	Enzo Doria	07/2015
1291	(7*2^478330-1)/3	143993	Lelio R Paula	08/2015
1292	88^74047-87^74047	143984	Robert Price	05/2015
1293	2^478088+27	143919	Robert Price	11/2015
1294	2^477475-22071	143735	Enzo Doria	07/2013
1295	2^477417-22123	143717	Enzo Doria	07/2013
1296	2^477359-3577	143700	Yves Minet	03/2017
1297	2^476936-396765	143573	Enzo Doria	07/2013
1298	2^476888-2791229	143558	Enzo Doria	01/2016
1299	2^476868-1859939	143552	Enzo Doria	11/2015
1300	2^476558-113627	143459	Enzo Doria	08/2014
1301	(2^475854+9)/73	143245	Lelio R Paula	08/2015
1302	2^475813-113239	143234	Enzo Doria	07/2014
1303	2^475624-114059	143178	Enzo Doria	11/2014
1304	(11*2^475553-7)/15	143156	Renaud Lifchitz	03/2011
1305	2^475480-2786129	143134	Enzo Doria	10/2015
1306	2^475299-111937	143080	Enzo Doria	05/2014
1307	2^475160-2797859	143038	Enzo Doria	04/2016
1308	(2^475069+3)/395	143008	Lelio R Paula	08/2015
1309	2^475027-461437	142998	Enzo Doria	07/2015
1310	(2^474958+78557)/3	142977	Lelio R Paula	07/2015
1311	(11*2^474432-1)/95	142818	Lelio R Paula	09/2015
1312	2^474417-59923	142814	Enzo Doria	10/2015
1313	(3*2^474166+1)/7	142738	Lelio R Paula	08/2015
1314	2^474053+2897	142705	Lelio R Paula	08/2012
1315	(10^142699+359)/9	142699	Serge Batalov	12/2014
1316	898^48311-897^48311	142676	Jean-Louis Charton	12/2012
1317	2^473740-1856639	142610	Enzo Doria	09/2015
1318	2^473617-114223	142573	Enzo Doria	12/2014
1319	2^473257+1873217	142465	Enzo Doria	06/2016
1320	(19*2^473242+1)/11	142461	Lelio R Paula	09/2015
1321	(10^142425+359)/9	142425	Serge Batalov	12/2014
1322	2^473101+773027	142418	Enzo Doria	05/2016
1323	(13*2^472838-1)/3	142340	Lelio R Paula	09/2015
1324	(17*2^472789-1)/187347	142320	Lelio R Paula	09/2015
1325	2^472634-109511	142278	Enzo Doria	04/2014
1326	(48^84589+1)/49	142213	Robert Price	01/2014
1327	2^472258+7	142164	Lelio R Paula	08/2015
1328	tau(317^10330)	142098	Nik Lygeros / Olivier Rozier / LR team	10/2013
1329	(11*2^471913-1)/21	142060	Lelio R Paula	09/2015
1330	2^471792+1880881	142024	Enzo Doria	11/2016
1331	(31*2^471580-1)/135	141960	Lelio R Paula	08/2015
1332	(904*19^110984-1)/3	141924	Curtis Bright	05/2015
1333	4*5^202913-9	141831	Lelio R Paula	04/2015
1334	2*7^167812-3	141818	Lelio R Paula	12/2014
1335	2^471043+35	141799	Robert Price	11/2015
1336	(11*2^470956-1)/7945	141770	Lelio R Paula	08/2015
1337	2^470692+76771	141693	Enzo Doria	05/2016
1338	(21*2^470391+1)/533	141601	Lelio R Paula	09/2015
1339	2^470305-459373	141576	Enzo Doria	05/2015
1340	2^470183+72623	141540	Enzo Doria	04/2016
1341	2^470173-16465	141537	Enzo Doria	04/2013
1342	2^469974-1841	141477	Enzo Doria	05/2014
1343	(23*2^469939+1)/25	141466	Lelio R Paula	08/2015
1344	2^469630-59711	141373	Enzo Doria	10/2015
1345	(2^469564-3)/611	141351	Lelio R Paula	08/2015
1346	2^469372-112949	141296	Enzo Doria	07/2014
1347	143^(2^16)+106^(2^16)	141253	Valeryi Kuryshev	02/2011
1348	2^469198+782569	141243	Enzo Doria	10/2016
1349	2^469076-2786939	141206	Enzo Doria	11/2015
1350	2^468804+1874941	141125	Enzo Doria	06/2016
1351	2^468787+81353	141119	Enzo Doria	08/2016
1352	2^468595-350407	141062	Enzo Doria	06/2015
1353	2^468564+87855	141052	Lelio R Paula	01/2016
1354	2^468551-21987	141048	Enzo Doria	07/2013
1355	2^468523-7	141040	Lelio R Paula	08/2015
1356	2^468405+87855	141004	Lelio R Paula	01/2016
1357	2^467978-113051	140876	Enzo Doria	07/2014
1358	2^467780-344429	140816	Enzo Doria	07/2015
1359	2^467605-1855603	140764	Enzo Doria	09/2015
1360	5*10^140744-7	140745	Robert Price	09/2015
1361	(5^201359-1)/4	140744	Paul Bourdelais	12/2008
1362	2^467401-1850023	140702	Enzo Doria	08/2015
1363	(2^467270+78557)/23247	140658	Lelio R Paula	07/2015
1364	(29*2^467205+1)/2780517107	140635	Lelio R Paula	08/2015
1365	2^467166-1854941	140631	Enzo Doria	09/2015
1366	2^466866-1840571	140541	Enzo Doria	06/2015
1367	2^466829-459523	140530	Enzo Doria	05/2015
1368	2^466692-113213	140489	Enzo Doria	07/2014
1369	(112*10^140357-1)/3	140359	Serge Batalov	12/2014
1370	2^466181-112735	140335	Enzo Doria	07/2014
1371	(27*2^465872+1)/691	140241	Lelio R Paula	08/2015
1372	2^465803-114817	140221	Enzo Doria	05/2015
1373	floor(Pi*10^140344)%10^140165	140165	Serge Batalov	08/2012
1374	2^465503-112735	140131	Enzo Doria	07/2014
1375	6^179964+179964^6-1	140040	Robert Price	04/2014
1376	(29*2^465077-1)/9	140003	Lelio R Paula	08/2015
1377	2^465072-344789	140001	Enzo Doria	07/2015
1378	(17^113621+1)/18	139804	Paul Bourdelais	09/2011
1379	(19*2^464312-1)/3	139773	Lelio R Paula	08/2015
1380	(31*2^463970+1)/5	139670	Lelio R Paula	08/2015
1381	2^463633-2788423	139568	Enzo Doria	11/2015
1382	2^463271-109501	139459	Enzo Doria	04/2014
1383	2^463019+79463	139383	Enzo Doria	06/2016
1384	3^292129-112756	139381	Enzo Doria	07/2014
1385	(15*2^462951+1)/527	139361	Lelio R Paula	08/2015
1386	2^462855-1865707	139334	Enzo Doria	02/2016
1387	2^462786-292043	139313	Enzo Doria	08/2015
1388	(26*10^139289+1)/9	139290	Serge Batalov	05/2010
1389	2^462238-935	139148	Yves Minet	02/2014
1390	2^461228+1870441	138844	Enzo Doria	05/2016
1391	2^461204-113675	138837	Enzo Doria	08/2014
1392	(2^461139-7)/47	138815	Lelio R Paula	08/2015
1393	(17*2^460963+1)/124051613	138757	Lelio R Paula	08/2015
1394	2^460567-113541	138645	Enzo Doria	08/2014
1395	7*10^138604+3	138605	Robert Price	08/2015
1396	2^460078-69581	138498	Enzo Doria	12/2015
1397	2^459768+1531	138404	Lelio R Paula	06/2012
1398	2^459343-113611	138277	Enzo Doria	08/2014
1399	2^459199+1874393	138233	Enzo Doria	06/2016
1400	2^459063-345307	138192	Enzo Doria	06/2015
1401	2^458927-112747	138151	Enzo Doria	06/2014
1402	2^458927-69217	138151	Enzo Doria	11/2015
1403	555555*2^458524+1513	138036	Darren Bedwell	08/2009
1404	2^458465+2^32+1	138012	T. D. Noe	06/2007
1405	2^458321-113053	137969	Enzo Doria	07/2014
1406	2^458298+79459	137962	Enzo Doria	06/2016
1407	2^458248-21815	137947	Enzo Doria	07/2013
1408	2^458194+1876549	137931	Enzo Doria	07/2016
1409	2^457822+105	137819	Donovan Johnson	06/2006
1410	2^457754-113711	137798	Enzo Doria	09/2014
1411	11^132315-360	137792	Enzo Doria	09/2012
1412	2^457322-2786393	137668	Enzo Doria	10/2015
1413	gcd(Phi(699340,10),(10^34967+1)^3(10^34967+1+10^17484)-(10^69934+10^34967)(10^17484-1)+10^104901)	137664	Serge Batalov	04/2015
1414	2^457240-59939	137643	Enzo Doria	10/2015
1415	2^457120-21575	137607	Enzo Doria	07/2013
1416	(11*2^456978+1)/15	137564	Lelio R Paula	07/2015
1417	(7*25^98399+10613)/12	137556	Curtis Bright	05/2015
1418	2^456796-113513	137510	Enzo Doria	08/2014
1419	(7*2^456655+1)/39	137467	Lelio R Paula	07/2015
1420	2^456503-114361	137422	Enzo Doria	01/2015
1421	(11*2^456387+1)/19	137386	Lelio R Paula	07/2015
1422	(71*10^137250+1)/9	137251	Serge Batalov	05/2010
1423	2^455922+76249	137247	Enzo Doria	05/2016
1424	14^119741-119741^14	137239	Serge Batalov	04/2016
1425	(19*2^455760+1)/3455	137196	Lelio R Paula	07/2015
1426	124^(2^16)+57^(2^16)	137195	Valeryi Kuryshev	02/2011
1427	2^455689+72677	137177	Enzo Doria	04/2016
1428	(17948!)^2+Prime(17948)	137118	Robert Price	08/2014
1429	(37^87421-1)/36	137093	Robert Price	03/2012
1430	(73*17^111333-9)/16	136991	Curtis Bright	05/2015
1431	2^455025-112723	136977	Enzo Doria	06/2014
1432	2^454675-1777	136871	Yves Minet	10/2011
1433	(6092*28^94536-143)/9	136812	Curtis Bright	05/2015
1434	2^454199-113697	136728	Enzo Doria	09/2014
1435	2^453935-2791357	136649	Enzo Doria	01/2016
1436	2^453906-69131	136640	Enzo Doria	11/2015
1437	2^453791+1873913	136605	Enzo Doria	06/2016
1438	(21*2^453740-1)/2735	136588	Lelio R Paula	07/2015
1439	2^453503-2788297	136519	Enzo Doria	11/2015
1440	2^453267-113827	136447	Enzo Doria	09/2014
1441	2^453102+1877629	136398	Enzo Doria	08/2016
1442	L(651821)	136223	Henri Lifchitz	09/2008
1443	2^452460+77701	136205	Enzo Doria	05/2016
1444	2^452440-114755	136199	Enzo Doria	04/2015
1445	(2^451956-5)/181	136051	Lelio R Paula	07/2015
1446	2^451947-22165	136050	Enzo Doria	07/2013
1447	2^451787-21805	136002	Enzo Doria	07/2013
1448	2^451734-112817	135986	Enzo Doria	06/2014
1449	(11*2^451714+1)/75	135979	Lelio R Paula	07/2015
1450	2^451705-21879	135977	Enzo Doria	07/2013
1451	2^451560-112349	135934	Enzo Doria	06/2014
1452	2^451450-21743	135900	Enzo Doria	07/2013
1453	(13725^32768+1)/131074	135573	Lelio R Paula	03/2012
1454	(5^193939+1)/6	135557	Paul Bourdelais	12/2008
1455	2^449944-113247	135447	Enzo Doria	07/2014
1456	2^449770-113247	135395	Enzo Doria	07/2014
1457	2^449637-21471	135355	Enzo Doria	07/2013
1458	(3*2^449494+1)/61340334013	135301	Lelio R Paula	07/2015
1459	(19*2^449325+1)/9	135261	Lelio R Paula	07/2015
1460	2^449049-115309	135178	Enzo Doria	07/2015
1461	(27*2^448936-1)/11	135144	Lelio R Paula	07/2015
1462	2^448762-351401	135091	Enzo Doria	07/2015
1463	(10^135011+719)/9	135011	Serge Batalov	12/2014
1464	2^448386-2786261	134978	Enzo Doria	03/2016
1465	2^448113-113949	134896	Enzo Doria	11/2014
1466	2^447888-2786639	134828	Enzo Doria	03/2016
1467	2^447870-396765	134823	Enzo Doria	07/2013
1468	2^447766-21791	134791	Enzo Doria	07/2013
1469	(23*2^447647+1)/155	134755	Lelio R Paula	07/2015
1470	2^447552-1019	134727	Yves Minet	02/2014
1471	2^447437-113569	134692	Enzo Doria	08/2014
1472	2^447357-2797573	134668	Enzo Doria	04/2016
1473	2^447094-113193	134589	Enzo Doria	07/2014
1474	3^282041-9934	134568	Enzo Doria	05/2014
1475	2^447019-109039	134567	Enzo Doria	04/2014
1476	2^446990-22041	134558	Enzo Doria	07/2013
1477	2^446782-39701	134495	Enzo Doria	09/2015
1478	2^446494-16485	134409	Enzo Doria	04/2013
1479	29504^30069-30069^29504	134405	Norbert Schneider	12/2014
1480	(10^134385+719)/9	134385	Serge Batalov	12/2014
1481	(13*2^446187-1)/661	134314	Lelio R Paula	07/2015
1482	(2^446022-7)/339	134264	Lelio R Paula	07/2015
1483	2^445671-22071	134161	Enzo Doria	07/2013
1484	(28*10^134122-1)/9	134123	Serge Batalov	10/2014
1485	2^445515-113859	134114	Enzo Doria	10/2014
1486	2^445328-216917	134058	Enzo Doria	05/2014
1487	2^445202+1874899	134020	Enzo Doria	06/2016
1488	(13*2^445102+1)/17	133989	Lelio R Paula	07/2015
1489	2^444964-113639	133948	Enzo Doria	08/2014
1490	28118^30097-30097^28118	133902	Norbert Schneider	01/2015
1491	2^444784-113859	133894	Enzo Doria	10/2014
1492	(89*10^133580+1)/9	133581	Serge Batalov	05/2010
1493	62^74521-61^74521	133571	Robert Price	05/2013
1494	2^443198-1867301	133416	Enzo Doria	03/2016
1495	2^442799+1874633	133296	Enzo Doria	06/2016
1496	L(637751)	133283	Henri Lifchitz	09/2008
1497	2^442688-113489	133263	Enzo Doria	08/2014
1498	(7*2^442640-1)/783	133246	Lelio R Paula	07/2015
1499	(9*2^442463+1)/17441	133192	Lelio R Paula	07/2015
1500	2^442437-1849993	133187	Enzo Doria	08/2015

Find by discoverer :

PRP Records

Probable Primes Top 10000

(173006 PRPs in the top)