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 ?
1251	2^985217-114553	296580	Enzo Doria	03/2015
1252	(76^157649-1)/75	296507	Paul Bourdelais	07/2019
1253	2^984650+21529	296410	Enzo Doria	08/2023
1254	2^984131-1828009	296253	Enzo Doria	01/2015
1255	2^983620+60451	296100	Phil Moore	03/2008
1256	2^982721-2683	295829	Yves Minet	02/2016
1257	(23*10^295581+7)/3	295582	Robert Price	05/2023
1258	2^981298-2788421	295401	Enzo Doria	12/2015
1259	2^981163-2790967	295360	Enzo Doria	12/2015
1260	2^981016-15	295316	Stefano Morozzi	07/2022
1261	8*10^295160-13	295161	Robert Price	08/2023
1262	2^979594+1865839	294888	Enzo Doria	02/2016
1263	2^979502+221029	294860	Enzo Doria	03/2024
1264	2*10^294527-91	294528	Robert Price	02/2023
1265	(49363^63001-1)/(49363^251-1)	294511	Ryan Propper	11/2023
1266	10^294475+49	294476	Robert Price	02/2023
1267	(11*10^294308+91)/3	294309	Robert Price	03/2023
1268	2^976760+1885021	294035	Enzo Doria	02/2017
1269	3*2^976518+5	293962	Jon Grantham	07/2023
1270	2^975798+218599	293745	Enzo Doria	01/2024
1271	2^974441+1878407	293336	Enzo Doria	08/2016
1272	2^974180+1876831	293258	Enzo Doria	07/2016
1273	2^974170+453319	293255	Enzo Doria	01/2017
1274	(211^126023-1)/210	292911	Anonymous	05/2024
1275	2^972744-114419	292826	Enzo Doria	03/2015
1276	11^281143+6	292781	Paul Bourdelais	03/2021
1277	(4*10^292619-91)/3	292620	Robert Price	12/2022
1278	E(69468)/13247122135	292549	Sergey Batalov	10/2023
1279	CopelandErdos(292447)	292447	Mark Rodenkirch	12/2015
1280	3*10^292344-97	292345	Robert Price	01/2023
1281	2^970911+1873373	292274	Enzo Doria	07/2016
1282	2^970670+383059	292201	Enzo Doria	12/2016
1283	2^970141-100363	292042	Enzo Doria	02/2014
1284	2^969945+1874717	291983	Enzo Doria	06/2016
1285	2^969384+1880701	291814	Enzo Doria	10/2016
1286	(13*10^291721-43)/3	291722	Robert Price	08/2023
1287	(3^611333-2^611333)/(99035947*87109884549431)	291659	Mike Oakes	02/2017
1288	10^(2145126+1)-210^145126-1	290253	Robert Price	03/2025
1289	3*2^963892+5	290161	Jon Grantham	07/2023
1290	(151*10^289877-1)/3	289879	Robert Price	07/2023
1291	2^962194+60139	289650	Enzo Doria	02/2016
1292	2^959307-1861507	288781	Enzo Doria	11/2015
1293	(17*10^288692+31)/3	288693	Robert Price	04/2023
1294	14^251797-3	288592	Paul Bourdelais	12/2020
1295	(8745^73441-1)/(8745^271-1)	288419	Ryan Propper	11/2023
1296	(2*10^288371-23)/3	288371	Robert Price	10/2022
1297	(31*10^288238-1)/3	288240	Robert Price	02/2023
1298	(7^341063-2^341063)/5	288231	Jon Grantham	08/2023
1299	2^957372+283531	288198	Enzo Doria	02/2017
1300	2^957192-1864049	288144	Enzo Doria	01/2016
1301	(95774^58081-1)/(95774^241-1)	288116	Ryan Propper	11/2023
1302	2^956446+1875199	287919	Enzo Doria	06/2016
1303	2^956283+219143	287870	Enzo Doria	02/2024
1304	7*10^287854+39	287855	Robert Price	01/2023
1305	2^956082+28309	287810	Enzo Doria	02/2024
1306	(17^233689+1)/18	287542	Paul Bourdelais	09/2013
1307	2^955178+1883587	287538	Enzo Doria	12/2016
1308	2^954127-954127^2	287221	Henri Lifchitz	01/2021
1309	2^954001+1875257	287183	Enzo Doria	07/2016
1310	2*10^287175-49	287176	Robert Price	05/2023
1311	(22*10^287085-19)/3	287086	Robert Price	07/2023
1312	2^953667+38573	287083	Enzo Doria	11/2024
1313	2^953488+22411	287029	Enzo Doria	09/2023
1314	(23891^65536+1)/2	286932	Serge Batalov	03/2018
1315	5*3^601336-2^601336	286911	Jon Grantham	08/2023
1316	2^952268+1878601	286662	Enzo Doria	09/2016
1317	2^950801+81557	286220	Enzo Doria	08/2016
1318	2^949403+217523	285799	Enzo Doria	01/2024
1319	22845^65536+22844^65536	285658	Kellen Shenton	03/2021
1320	(19*10^285615+53)/9	285616	Rytis Slatkevicius	12/2024
1321	(11*2^948635-13)/15	285568	Renaud Lifchitz	11/2011
1322	(54^164839+1)/55	285565	Paul Bourdelais	07/2019
1323	2^948510+782569	285530	Enzo Doria	10/2016
1324	2^948374-114137	285490	Enzo Doria	01/2015
1325	2^947739+1872923	285298	Enzo Doria	06/2016
1326	2^946274+218407	284857	Enzo Doria	03/2024
1327	7*10^284751+9	284752	Robert Price	04/2023
1328	2^944561-21	284342	Stefano Morozzi	07/2022
1329	(4*10^284330-31)/9	284330	Serge Batalov	11/2022
1330	(32*10^283826-23)/9	283827	Serge Batalov	01/2023
1331	2^942533+82067	283731	Enzo Doria	09/2016
1332	2^941469+39	283411	Jon Grantham	08/2023
1333	(10^283342-31)/3	283342	Robert Price	03/2023
1334	2^940950+1874989	283255	Enzo Doria	06/2016
1335	2^940426-2786141	283097	Enzo Doria	11/2015
1336	2^940155+226973	283015	Enzo Doria	09/2024
1337	(2*10^282948-11)/9	282948	Serge Batalov	11/2022
1338	2^939881-114115	282933	Enzo Doria	12/2014
1339	(14*10^282673-143)/3	282674	Robert Price	05/2023
1340	10^282493+632551	282494	Patrick De Geest	02/2017
1342	10^282493-9^282493	282493	Jean-Louis Charton	03/2007
1341	10^282493-132327	282493	Patrick De Geest	02/2017
1343	3^591827-2^591827	282374	Mike Oakes	08/2009
1344	Tau(509^18946)	282048	Nik Lygeros / Olivier Rozier	05/2015
1345	2^936716-1835519	281980	Enzo Doria	04/2015
1346	2^936588+79411	281942	Enzo Doria	06/2016
1347	2^936047+1877423	281779	Enzo Doria	08/2016
1348	2^935713+1869377	281678	Enzo Doria	05/2016
1349	2^933082+1877059	280886	Enzo Doria	08/2016
1350	(5*10^280710+1)/3	280711	Serge Batalov	10/2014
1351	2^932443+225893	280694	Enzo Doria	08/2024
1352	2^932064+26521	280580	Enzo Doria	12/2023
1353	2^931976+25	280553	Stefano Morozzi	05/2021
1354	(42^172663+1)/43	280274	Paul Bourdelais	07/2019
1355	(10^279978+11)/3	279978	Serge Batalov	07/2015
1356	2^929524-1864829	279815	Enzo Doria	01/2016
1357	2^929329+22697	279756	Enzo Doria	09/2023
1358	2^929152+60181	279703	Enzo Doria	02/2016
1359	2^928621-2787883	279543	Enzo Doria	11/2015
1360	(2^927763+lucasV(-1,2,927763)+1)/2	279285	Mike Oakes	04/2017
1361	3*10^279271+77	279272	Robert Price	06/2024
1362	2^927429+1882277	279184	Enzo Doria	12/2016
1363	2^926766-11	278985	Stefano Morozzi	07/2022
1364	(71^150697-1)/70	278978	Paul Bourdelais	07/2019
1365	(33^183661-1)/32	278891	Paul Bourdelais	12/2018
1366	(166*10^278633-7)/3	278635	Robert Price	02/2023
1367	(2^925391+lucasV(-1,2,925391)+1)/2	278571	Mike Oakes	03/2017
1368	2^925330-1301	278553	Yves Minet	06/2015
1369	(299*10^278546+1)/3	278548	Robert Price	01/2023
1370	2^925299+216053	278543	Enzo Doria	11/2023
1371	(21^210599+1)/22	278457	Paul Bourdelais	08/2013
1372	(266*10^278325+1)/3	278327	Robert Price	01/2023
1373	2^923261-69175	277930	Enzo Doria	11/2015
1374	757^96487-756^96487	277796	Jean-Louis Charton	12/2012
1375	2^922301+57	277641	Stefano Morozzi	05/2021
1376	7*10^277478-39	277479	Robert Price	07/2023
1377	((((((((((((((291487327^2-2)^2-2)^2-2)^2-2)^2-2)^2-2)^2-2)^2-2)^2-2)^2-2)^2-2)^2-2)^2-2)^2-2)^2-2	277369	Serge Batalov	07/2016
1378	(5^396413-1)/4	277081	Paul Bourdelais	06/2010
1379	2^920318+2792299	277044	Enzo Doria	02/2016
1380	(16*10^276537-31)/3	276538	Robert Price	03/2023
1381	2^918596-2786939	276525	Enzo Doria	11/2015
1382	2^917910+28369	276319	Enzo Doria	01/2024
1383	2^917328+228571	276144	Enzo Doria	11/2024
1384	(6737^72361-1)/(6737^269-1)	276002	Ryan Propper	11/2023
1385	2^916639+60563	275936	Enzo Doria	04/2016
1386	(2*10^275922+1)/3	275922	Serge Batalov	11/2022
1387	2^916385-2786383	275860	Enzo Doria	11/2015
1388	2^915928+82081	275722	Enzo Doria	09/2016
1389	(4*10^275671+11)/3	275672	Tyler Busby	02/2023
1390	2^915576-114137	275616	Enzo Doria	01/2015
1391	2^914828+1876741	275391	Enzo Doria	07/2016
1392	2^914757-2203	275370	Yves Minet	12/2015
1393	7*10^275157-27	275158	Robert Price	11/2022
1394	2^912744+20011	274764	Enzo Doria	06/2023
1395	2^911900+1871245	274510	Enzo Doria	05/2016
1396	(16*10^274251-91)/3	274252	Robert Price	11/2022
1397	2^910999+9	274239	Stefano Morozzi	05/2021
1398	(2^910869-7)/5	274199	Stefano Morozzi	08/2022
1399	2^910490+283429	274085	Enzo Doria	01/2017
1400	7*10^273983+39	273984	Robert Price	01/2023
1401	2^909988-1862249	273934	Enzo Doria	12/2015
1402	2^909901+378567	273908	Boyan Hu	08/2024
1403	2^909297+1879157	273726	Enzo Doria	08/2016
1404	2^909257-1864423	273714	Enzo Doria	01/2016
1405	2^909254+31309	273713	Enzo Doria	03/2024
1406	2^908739-7	273558	Stefano Morozzi	07/2022
1407	2^908579-1861747	273510	Enzo Doria	12/2015
1408	3*2^908005-5	273338	Jon Grantham	07/2023
1409	2^907635-2791597	273226	Enzo Doria	01/2016
1410	2^907059+211193	273052	Enzo Doria	08/2023
1411	(53^158341+1)/54	273022	Paul Bourdelais	07/2019
1412	2^906594-113201	272912	Enzo Doria	08/2014
1413	9*10^272800+91	272801	Robert Price	05/2023
1414	2*10^272710-49	272711	Robert Price	05/2023
1415	2*10^272403-91	272404	Robert Price	02/2023
1416	2^904773+1872167	272364	Enzo Doria	06/2016
1417	6^349903+5	272278	Paul Bourdelais	02/2021
1418	2^904149-1862473	272176	Enzo Doria	12/2015
1419	2^902926+227839	271808	Enzo Doria	10/2024
1420	(7*10^271757-61)/9	271757	Erik Branger	03/2012
1421	2^902497+1880117	271679	Enzo Doria	09/2016
1422	2^901858+77689	271487	Enzo Doria	06/2016
1423	2^901372+1875301	271341	Enzo Doria	06/2016
1424	2^901146+219049	271272	Enzo Doria	02/2024
1425	(8*10^271039-77)/3	271040	Robert Price	04/2023
1426	2^899999+1144031	270927	Norman Luhn	09/2023
1427	2*10^270802-91	270803	Robert Price	02/2023
1428	23*10^270799-7	270801	Robert Price	10/2022
1429	2^899121-115033	270663	Enzo Doria	07/2015
1430	2^898900+883021	270596	Enzo Doria	12/2016
1431	2^898762-251511	270555	Enzo Doria	12/2013
1432	2^898589+47	270503	Lelio R Paula	03/2016
1433	187322*10^270343-187321	270349	Danilo Nitsche	09/2013
1434	48358*10^270343-48357	270348	Danilo Nitsche	09/2013
1435	(10^270343-1)/9	270343	Maksym Voznyy	07/2007
1436	2^897867-3217	270285	Yves Minet	12/2016
1437	2^897849-115273	270280	Enzo Doria	07/2015
1438	2^897367+26289	270135	Enzo Doria	03/2024
1439	2^896616-114179	269909	Enzo Doria	12/2014
1440	(12648^66049-1)/(12648^257-1)	269881	Ryan Propper	11/2023
1441	(10^(2134811+1)+610^134811-1)/3	269623	Robert Price	08/2024
1442	(22*10^269517-19)/3	269518	Robert Price	07/2023
1443	10^(2134739+1)-710^134739-1	269479	Robert Price	07/2023
1444	2^894928+583561	269401	Enzo Doria	04/2017
1445	2^894673-39343	269324	Enzo Doria	08/2015
1446	2^893836+23221	269072	Enzo Doria	10/2023
1447	2^892718+29539	268735	Enzo Doria	03/2024
1448	2^892660+213901	268718	Enzo Doria	10/2023
1449	F(1285607)	268676	Henri Lifchitz	11/2008
1450	2^892234+22189	268590	Enzo Doria	09/2023
1451	2^892151+24863	268565	Enzo Doria	11/2023
1452	2^892112+187663	268553	Enzo Doria	08/2016
1453	(266*10^268407-17)/3	268409	Robert Price	02/2023
1454	(10^268207+1)/11	268206	Paul Bourdelais	02/2010
1455	2^890957-69583	268205	Enzo Doria	12/2015
1456	32841!^2+32840!^2+...+2!^2+1!^2	268128	Serge Batalov	07/2017
1457	2^890122-351401	267954	Enzo Doria	07/2015
1458	(19^209359-1)/18	267718	Paul Bourdelais	08/2010
1459	2^888852+229051	267572	Enzo Doria	11/2024
1460	(85^138647+1)/86	267507	Paul Bourdelais	07/2019
1461	(1005^89087-1)/1004	267451	Jinyuan Wang	01/2024
1462	(485^99523-1)/484	267291	Michael Stocker	05/2020
1463	2^886324+77791	266811	Enzo Doria	06/2016
1464	7*10^266731+87	266732	Robert Price	11/2022
1465	2^886040+213901	266725	Enzo Doria	10/2023
1466	2^885242+217909	266485	Enzo Doria	01/2024
1467	2^884738+26809	266333	Enzo Doria	12/2023
1468	2^884714+1880527	266326	Enzo Doria	10/2016
1469	7*10^266024-47	266025	Robert Price	08/2023
1470	11^255426+255426^11	265999	Serge Batalov	05/2014
1471	2^883462-343421	265949	Enzo Doria	07/2015
1472	2^883442+1875019	265943	Enzo Doria	06/2016
1473	2^883333-291583	265910	Enzo Doria	07/2015
1474	2^883132+30421	265850	Enzo Doria	03/2024
1475	10^265566+3593037	265567	Paul Bourdelais	08/2023
1476	(2*10^265321-17)/3	265321	Serge Batalov	11/2022
1477	(16*10^265052-91)/3	265053	Robert Price	11/2022
1478	2^880411+1882673	265031	Enzo Doria	12/2016
1479	2^880101+228917	264937	Enzo Doria	11/2024
1480	(14*10^264791-11)/3	264792	Robert Price	08/2022
1481	2^879530-2788031	264765	Enzo Doria	12/2015
1482	2^879292+25171	264694	Enzo Doria	11/2023
1483	(2*10^264539+61)/9	264539	Serge Batalov	11/2022
1484	2^878118+2793079	264340	Enzo Doria	02/2016
1485	(2^878073-7)/5	264326	Stefano Morozzi	08/2022
1486	(37^168527-1)/36	264283	Paul Bourdelais	08/2019
1487	5^377865+3^377865-1	264117	Jon Grantham	08/2023
1488	(19*10^263971+131)/3	263972	Robert Price	08/2023
1489	2^876202-17	263764	Stefano Morozzi	07/2022
1490	(14*10^263720-11)/3	263721	Robert Price	08/2022
1491	2^875748-461129	263627	Enzo Doria	07/2015
1492	2^875518-15	263558	Stefano Morozzi	07/2022
1493	(29*10^263523-17)/3	263524	Robert Price	01/2023
1494	2^875181-2789923	263456	Enzo Doria	12/2015
1495	2^875101-350083	263432	Enzo Doria	08/2015
1496	2^874684+1883587	263307	Enzo Doria	01/2017
1497	2^874616+1872211	263286	Enzo Doria	05/2016
1498	2^874566+30049	263271	Enzo Doria	03/2024
1499	3^551491+16	263129	Robert Price	04/2020
1500	2^874073+2792957	263123	Enzo Doria	02/2016

Find by discoverer :

PRP Records

Probable Primes Top 10000

(301157 PRPs in the top)