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 ?
1001	(11*10^195350-137)/9	195351	Robert Price	01/2018
1002	2^648619-24835	195254	Enzo Doria	09/2013
1003	(14*10^195234-83)/3	195235	Robert Price	12/2018
1004	5*10^195221+81	195222	Robert Price	03/2019
1005	2^648190-24737	195125	Enzo Doria	09/2013
1006	(57^111119+1)/58	195110	Paul Bourdelais	10/2017
1007	10^195060-40000000001	195060	Robert Price	09/2020
1008	56*10^195032-3	195034	Robert Price	03/2020
1009	11^187185-90	194934	Enzo Doria	09/2012
1010	2^647068+77281	194787	Enzo Doria	05/2016
1011	15^165559-14^165559	194713	Jean-Louis Charton	03/2011
1012	F(931517)	194676	Henri Lifchitz	09/2008
1013	4*10^194668+49	194669	Robert Price	01/2019
1014	2^646589+1179407	194643	Enzo Doria	06/2016
1015	2^646289-114621	194553	Enzo Doria	05/2015
1016	2^646236-39659	194537	Enzo Doria	09/2015
1017	(16*10^194536+53)/3	194537	Robert Price	03/2019
1018	2^646161-59833	194514	Enzo Doria	11/2015
1019	(17*10^194502+31)/3	194503	Robert Price	01/2019
1020	2*10^194413+3	194414	Robert Price	07/2015
1021	2^645360-1848599	194273	Enzo Doria	08/2015
1022	(112*10^194150-1)/3	194152	Serge Batalov	12/2014
1023	2*10^193981-43	193982	Robert Price	04/2018
1024	2^644382+75169	193979	Enzo Doria	04/2016
1025	2^644304-1861409	193955	Enzo Doria	11/2015
1026	5*10^193907-9	193908	Robert Price	05/2015
1027	2^644043+1876703	193877	Enzo Doria	07/2016
1028	2^643735+1879733	193784	Enzo Doria	09/2016
1029	(5^277183+1)/6	193742	Paul Bourdelais	07/2010
1030	9*10^193712+71	193713	Robert Price	08/2020
1031	2^643216-286565	193628	Enzo Doria	07/2015
1032	2^642888-24965	193529	Enzo Doria	09/2013
1033	2^642448-114825	193397	Enzo Doria	05/2015
1034	2^642437-1856623	193393	Enzo Doria	10/2015
1035	2^642039-59797	193273	Enzo Doria	11/2015
1036	10^193230+513861	193231	Patrick De Geest	07/2018
1037	10^193230-8001	193230	Robert Price	03/2018
1038	2^641692-286349	193169	Enzo Doria	07/2015
1039	2^641690-24737	193168	Enzo Doria	09/2013
1040	2^641514+1876549	193115	Enzo Doria	07/2016
1041	2^640888-2785619	192927	Enzo Doria	10/2015
1042	2^640874-2783741	192923	Enzo Doria	09/2015
1043	34*10^192868-9	192870	Robert Price	06/2020
1044	(46*10^192841+683)/9	192842	Robert Price	03/2019
1045	2^640181+467	192714	Lelio R Paula	08/2013
1046	2^639536-1850249	192520	Enzo Doria	08/2015
1047	40714<>40712<>...<>1086421357911<>...<>40711<>40713	192464	Hans Havermann	12/2019
1048	5*10^192422-43	192423	Robert Price	01/2019
1049	2^639110-2792441	192392	Enzo Doria	02/2016
1050	2^638955-29827	192345	Enzo Doria	08/2015
1051	2^638713-2784223	192272	Enzo Doria	10/2015
1052	2^638490-113507	192205	Enzo Doria	08/2014
1053	2^638189-39943	192115	Enzo Doria	09/2015
1054	2^638110+1877119	192091	Enzo Doria	07/2016
1055	2^638066-2785211	192078	Enzo Doria	10/2015
1056	(112*10^191900+17)/3	191902	Robert Price	03/2020
1057	2^637475-115309	191900	Enzo Doria	07/2015
1058	2^636661+1876577	191655	Enzo Doria	07/2016
1059	(34^125101-1)/33	191589	Paul Bourdelais	11/2017
1060	2^636177-1855123	191509	Enzo Doria	09/2015
1061	2^636158-113627	191503	Enzo Doria	08/2014
1062	(37*25^136966+63)/4	191472	Curtis Bright	05/2015
1063	2^636035+79823	191466	Enzo Doria	06/2016
1064	2^636011-1860847	191459	Enzo Doria	11/2015
1065	2^635926-1860611	191433	Enzo Doria	11/2015
1066	3*10^191152-7	191153	Robert Price	08/2015
1067	2^634883-1865677	191119	Enzo Doria	02/2016
1068	2^634801+1871957	191095	Enzo Doria	05/2016
1069	(35*10^191073+1)/9	191074	Serge Batalov	07/2010
1070	9*10^191018-41	191019	Robert Price	08/2020
1071	2^634470-59861	190995	Enzo Doria	11/2015
1072	2^634368-29519	190964	Enzo Doria	08/2015
1073	2^634188-350609	190910	Enzo Doria	06/2015
1074	(26*10^190789-131)/3	190790	Robert Price	10/2019
1075	(13*10^190732-61)/3	190733	Robert Price	11/2018
1076	(7*10^190683+143)/3	190684	Robert Price	03/2018
1077	2^633088-113879	190579	Enzo Doria	10/2014
1078	2^633064+1874911	190572	Enzo Doria	06/2016
1079	(43*10^190547+83)/9	190548	Robert Price	11/2018
1080	(299*10^190533+1)/3	190535	Robert Price	04/2020
1081	(1744*10^190519-1747)/3	190522	Robert Price	12/2020
1082	2^632795-351205	190491	Enzo Doria	06/2015
1083	(16*10^190420-19)/3	190421	Robert Price	02/2019
1084	(43*10^190351+101)/9	190352	Robert Price	11/2018
1085	2^632156+78391	190298	Enzo Doria	06/2016
1086	97*10^190295-3	190297	Robert Price	05/2020
1087	2^632082-1851971	190276	Enzo Doria	08/2015
1088	2^632020+1880311	190257	Enzo Doria	09/2016
1089	2^631637-462373	190142	Enzo Doria	08/2015
1090	2*10^190126-21	190127	Robert Price	09/2020
1091	(28*10^190105+191)/3	190106	Robert Price	02/2020
1092	2^631122-39251	189987	Enzo Doria	08/2015
1093	(26*10^189928-89)/9	189929	Robert Price	06/2018
1094	2^630839-97	189902	Yves Minet	07/2017
1095	99*10^189876-7	189878	Robert Price	07/2020
1096	2^630359+1788953	189757	Enzo Doria	05/2016
1097	2^630228+1871971	189718	Enzo Doria	05/2016
1098	2^630108+781	189682	Lelio R Paula	08/2013
1099	2^629870-1867811	189610	Enzo Doria	04/2016
1100	(359^74189-1)/358	189558	Alexander Zhirkov	11/2017
1101	2^629326+2792929	189447	Enzo Doria	02/2016
1102	(10^189385-61)/3	189385	Serge Batalov	12/2014
1103	2^629036+1874011	189359	Enzo Doria	06/2016
1104	2^628930+80779	189327	Enzo Doria	07/2016
1105	2^628582+1179439	189223	Enzo Doria	06/2016
1106	(44*10^188999-503)/9	189000	Robert Price	12/2018
1107	(16*10^188823+167)/3	188824	Robert Price	06/2019
1108	2^627037-2785843	188757	Enzo Doria	10/2015
1109	(16*10^188457+161)/3	188458	Robert Price	02/2019
1110	L(901657)	188436	Renaud Lifchitz	11/2008
1111	2^625651+74213	188340	Enzo Doria	04/2016
1112	2^625584-460919	188320	Enzo Doria	06/2015
1113	(10^188164+359)/9	188164	Serge Batalov	12/2014
1114	2^624481-113611	187988	Enzo Doria	08/2014
1115	(2^624389+125582)/2	187960	Stefano Morozzi	09/2019
1116	(2^624389+166982)/2	187960	Stefano Morozzi	09/2019
1117	(2^624389+179886)/2	187960	Stefano Morozzi	09/2019
1118	(2^624387+64466)/2	187959	Stefano Morozzi	09/2019
1119	(2^624378+112990)/2	187957	Stefano Morozzi	09/2019
1120	(2^624380+161986)/2	187957	Stefano Morozzi	09/2019
1122	(2^624376+55762)/2	187956	Stefano Morozzi	09/2019
1121	(2^624377+169506)/2	187956	Stefano Morozzi	09/2019
1123	(2^624355+80178)/2	187950	Stefano Morozzi	09/2019
1124	(2^624351+61350)/2	187949	Stefano Morozzi	09/2019
1125	(2^624341+63462)/2	187946	Stefano Morozzi	09/2019
1126	(2^624344+135990)/2	187946	Stefano Morozzi	09/2019
1127	(2^624344+183898)/2	187946	Stefano Morozzi	09/2019
1129	(2^624340+126982)/2	187945	Stefano Morozzi	09/2019
1128	(2^624338+196110)/2	187945	Stefano Morozzi	09/2019
1130	(2^624337+105162)/2	187944	Stefano Morozzi	09/2019
1131	(2^624333+44594)/2	187943	Stefano Morozzi	09/2019
1132	(2^624321+88742)/2	187940	Stefano Morozzi	09/2019
1133	(2^624324+135178)/2	187940	Stefano Morozzi	09/2019
1134	(2^624317+14186)/2	187938	Stefano Morozzi	09/2019
1135	(2^624313+24450)/2	187937	Stefano Morozzi	09/2019
1136	(2^624309+184590)/2	187936	Stefano Morozzi	09/2019
1138	(2^624307+152658)/2	187935	Stefano Morozzi	09/2019
1137	(2^624307+185978)/2	187935	Stefano Morozzi	09/2019
1139	(2^624303+40814)/2	187934	Stefano Morozzi	09/2019
1140	(2^624304+99238)/2	187934	Stefano Morozzi	09/2019
1141	2^624077-112723	187866	Enzo Doria	07/2014
1142	2^624008+1874941	187846	Enzo Doria	06/2016
1143	2^623870+78679	187804	Enzo Doria	05/2016
1144	2^623714-114035	187757	Enzo Doria	11/2014
1145	2^623651-1834251	187738	Enzo Doria	07/2015
1146	(7*10^187645+53)/3	187646	Robert Price	05/2018
1147	2^623146+1879609	187586	Enzo Doria	09/2016
1148	(5*10^187471+91)/3	187472	Robert Price	04/2018
1149	2^622500+81931	187392	Enzo Doria	08/2016
1150	2^622300-1861739	187331	Enzo Doria	12/2015
1151	(38*10^187281+349)/9	187282	Robert Price	10/2018
1152	2^622052+76771	187257	Enzo Doria	05/2016
1153	2^622005-24091	187243	Enzo Doria	08/2013
1154	7*10^187205-57	187206	Robert Price	06/2020
1155	2^621879-351787	187205	Enzo Doria	07/2015
1156	(5*10^187168-53)/3	187169	Robert Price	09/2020
1157	(23*10^187164-143)/3	187165	Robert Price	12/2019
1158	2^621700+79411	187151	Enzo Doria	06/2016
1159	(7*10^187101+131)/3	187102	Robert Price	06/2020
1160	(2*10^187062-71)/3	187062	Robert Price	12/2017
1161	2^620929-113203	186919	Enzo Doria	07/2014
1162	10^186842+168223	186843	Patrick De Geest	07/2018
1163	10^186842-8001	186842	Robert Price	03/2018
1164	2^620347-1777	186744	Lelio R Paula	07/2013
1165	11^179143-4170	186559	Enzo Doria	12/2012
1166	(5^266863+1)/6	186529	Paul Bourdelais	07/2010
1167	2^619297-2792353	186427	Enzo Doria	02/2016
1168	(49*10^186409+383)/9	186410	Robert Price	04/2019
1169	2^618940-460139	186320	Enzo Doria	06/2015
1170	2^618046+74179	186051	Enzo Doria	04/2016
1171	3*10^186019+11	186020	Robert Price	07/2018
1172	(16*10^185978-19)/3	185979	Robert Price	02/2019
1173	2*10^185930-3	185931	Robert Price	07/2015
1174	(82^97151+1)/83	185928	Paul Bourdelais	10/2017
1175	4*10^185905+91	185906	Robert Price	08/2018
1176	(19*10^185873+131)/3	185874	Robert Price	06/2020
1177	(37*10^185811+377)/9	185812	Robert Price	11/2018
1178	2^617250+9385	185811	Lelio R Paula	07/2013
1179	39^116749+2	185756	Robert Price	04/2015
1180	2^616924-39719	185713	Enzo Doria	09/2015
1181	2^616712+1867621	185649	Enzo Doria	04/2016
1182	(3^388897+2^388897)/5	185551	Jean-Louis Charton	09/2011
1183	8*10^185529-67	185530	Robert Price	08/2019
1184	4*10^185355+9	185356	Robert Price	05/2015
1185	2^615622+76639	185321	Enzo Doria	05/2016
1186	2^615591+1879223	185312	Enzo Doria	08/2016
1187	2^615503+1876643	185285	Enzo Doria	07/2016
1188	5^265007-4^265007	185232	Jean-Louis Charton	02/2013
1190	(4*10^185221-91)/3	185222	Robert Price	03/2018
1189	(7*10^185221+131)/3	185222	Robert Price	06/2020
1191	56*10^185139-3	185141	Robert Price	03/2020
1192	2^614783-2790097	185069	Enzo Doria	12/2015
1193	2^614745-29323	185057	Enzo Doria	07/2015
1194	(((((((((((2^3+3)^3+30)^3+6)^3+80)^3+12)^3+450)^3+894)^3+3636)^3+70756)^3+97220)^3+66768)^3+300840	185052	Serge Batalov	07/2013
1195	(49*10^184993-67)/9	184994	Robert Price	03/2019
1196	(14*10^184950+211)/9	184951	Robert Price	04/2018
1197	2^614315+81353	184928	Enzo Doria	08/2016
1198	2^614294-1849961	184921	Enzo Doria	08/2015
1199	2^614266+1877809	184913	Enzo Doria	08/2016
1200	(185*10^184878-11)/3	184880	Robert Price	10/2020
1201	2^613715-1860727	184747	Enzo Doria	11/2015
1202	2*10^184723+41	184724	Robert Price	05/2018
1203	2^613487-349987	184678	Enzo Doria	07/2015
1204	(95^93377+1)/96	184672	Paul Bourdelais	11/2017
1205	14^161089-161089^14	184629	Serge Batalov	05/2016
1206	2^613033-114621	184542	Enzo Doria	05/2015
1207	(9^193247+1)/10	184404	Paul Bourdelais	02/2010
1208	2^612341-1604809	184334	Enzo Doria	05/2015
1209	(2^611999-1)/18464214225958267477777390354183	184199	Dario Alpern	06/2017
1210	(14*10^184150+37)/3	184151	Robert Price	12/2018
1211	2^611731-4837	184150	Yves Minet	08/2018
1212	3*10^184124-7	184125	Robert Price	08/2015
1213	2^611628-24537	184119	Enzo Doria	08/2013
1214	3*10^184110+13	184111	Robert Price	07/2018
1215	2^611460+71881	184068	Enzo Doria	04/2016
1216	4*10^184004-63	184005	Robert Price	10/2018
1217	2^610982-1867301	183924	Enzo Doria	03/2016
1218	3*10^183872-49	183873	Robert Price	07/2018
1219	2^610597+1178897	183809	Enzo Doria	05/2016
1220	(65*10^183768-29)/9	183769	Robert Price	01/2021
1221	(17*10^183764+31)/3	183765	Robert Price	01/2019
1222	(28*10^183760-1)/9	183761	Serge Batalov	10/2014
1223	2^610401+1277	183750	Lelio R Paula	07/2013
1224	2^610356-1849019	183736	Enzo Doria	08/2015
1225	(63^102103+1)/64	183717	Paul Bourdelais	10/2017
1226	23*10^183710-7	183712	Robert Price	02/2020
1227	(2^610289+1)/(3*528882550291)	183704	Gord Palameta	08/2018
1228	(4*10^183659+149)/9	183659	Robert Price	04/2018
1229	2^609846-1834251	183582	Enzo Doria	07/2015
1230	10^183546-800000001	183546	Robert Price	09/2020
1231	(23*10^183477-71)/3	183478	Robert Price	07/2020
1232	11^176176-240	183469	Enzo Doria	11/2012
1233	(41^113749+1)/42	183451	Paul Bourdelais	11/2017
1234	6*10^183429+53	183430	Robert Price	05/2020
1235	(28*10^183403+191)/3	183404	Robert Price	02/2020
1236	(101^91463+1)/102	183320	Paul Bourdelais	11/2017
1237	2^608965-113989	183317	Enzo Doria	10/2014
1238	A005165(43592)	183312	Serge Batalov	07/2017
1239	(61*10^183294+119)/9	183295	Robert Price	05/2019
1240	2^608814-461261	183272	Enzo Doria	06/2015
1241	(163*10^183227-1)/9	183229	Serge Batalov	12/2014
1242	2^608541-608541^2	183190	Henri Lifchitz	02/2018
1243	2^608293+143807	183115	Enzo Doria	10/2016
1244	2^608164-462419	183076	Enzo Doria	08/2015
1245	2^607950-1862303	183012	Enzo Doria	12/2015
1246	(46*10^182896+683)/9	182897	Robert Price	03/2019
1247	(2*10^182787+73)/3	182787	Robert Price	09/2020
1248	2^607101+1871987	182756	Enzo Doria	05/2016
1249	2^606869-69175	182686	Enzo Doria	11/2015
1250	(23*10^182666-71)/3	182667	Robert Price	07/2020

Find by discoverer :

PRP Records

Probable Primes Top 10000

(277054 PRPs in the top)