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 ?
1001	10^178695-71	178695	Serge Batalov	12/2014
1002	(2^148330+1)^4-2	178608	Cletus Emmanuel	12/2003
1003	2^593222-14145	178578	Jorge Menendez	10/2017
1004	2^593178+1867219	178565	Enzo Doria	03/2016
1005	(18^142031-1)/17	178287	Paul Bourdelais	03/2010
1006	(5*10^178206+91)/3	178207	Robert Price	04/2018
1007	2^591872-291929	178172	Enzo Doria	07/2015
1008	2^591682-286871	178115	Enzo Doria	07/2015
1009	4*10^178091+9	178092	Robert Price	05/2015
1010	410747#+478483	178007	Makoto Morimoto	02/2016
1011	2^590762-396765	177838	Enzo Doria	08/2013
1012	(136*10^177754-1)/9	177756	Serge Batalov	12/2014
1013	ReverseConsecutiveIntegerPrime(37765)	177719	Eric W. Weisstein	04/2010
1014	3*10^177373-97	177374	Robert Price	07/2018
1015	2^589204+1881151	177369	Enzo Doria	11/2016
1016	2^589132-69479	177347	Enzo Doria	01/2016
1017	2^588912-113519	177281	Enzo Doria	08/2014
1018	15^150706+2	177245	Robert Price	06/2015
1019	2^588194-1861001	177065	Enzo Doria	11/2015
1020	(19*10^176932+521)/9	176933	Robert Price	05/2018
1021	(8*10^176908+43)/3	176909	Robert Price	06/2018
1022	2^587560-113699	176874	Enzo Doria	09/2014
1023	5^252763-12862	176674	Enzo Doria	05/2014
1024	2^586804+81721	176646	Enzo Doria	08/2016
1025	(10^176584+77)/3	176584	Robert Price	01/2018
1026	2^586570+1874419	176576	Enzo Doria	06/2016
1027	2^585994-3311	176402	Yves Minet	12/2014
1028	2^585832-112799	176354	Enzo Doria	07/2014
1029	2^585336-461039	176204	Enzo Doria	06/2015
1030	2^585095-1848127	176132	Enzo Doria	08/2015
1031	2^584950-115451	176088	Enzo Doria	07/2015
1032	2^584671-3697	176004	Yves Minet	03/2017
1033	2*10^175860-87	175861	Robert Price	04/2018
1034	10^175608+2971	175609	Mike Oakes	05/2010
1035	10^175608-55829	175608	Patrick De Geest	09/2013
1036	2^583051+1879793	175516	Enzo Doria	09/2016
1037	2^582860-23829	175459	Enzo Doria	08/2013
1038	2^582670-23913	175402	Enzo Doria	08/2013
1039	2^582573-29563	175372	Enzo Doria	08/2015
1040	2^582435-1862767	175331	Enzo Doria	12/2015
1041	2^582072-1848599	175222	Enzo Doria	08/2015
1042	(220221^32768+1)/2	175075	Serge Batalov	03/2018
1043	2^581560+1874911	175068	Enzo Doria	06/2016
1044	(75^93307-1)/74	174955	Paul Bourdelais	09/2017
1045	2^580528-114035	174757	Enzo Doria	11/2014
1046	(19*10^174754+737)/9	174755	Robert Price	07/2018
1047	(35*10^174704-377)/9	174705	Robert Price	07/2018
1048	3*10^174665-97	174666	Robert Price	07/2018
1049	2^580046-459161	174612	Enzo Doria	05/2015
1050	2^579992-39779	174595	Enzo Doria	09/2015
1051	(2*10^174301-71)/3	174301	Robert Price	12/2017
1052	(2^578696+1)/257	174203	Lelio R Paula	09/2015
1053	2^578656-1851809	174193	Enzo Doria	08/2015
1054	2^578583-113917	174171	Enzo Doria	10/2014
1055	2^578434-83	174126	Yves Minet	07/2017
1056	15^148048-2	174118	Robert Price	06/2015
1057	2^578346+2794249	174100	Enzo Doria	03/2016
1058	2*10^173809-87	173810	Robert Price	04/2018
1059	(L!41532)/2	173772	Serge Batalov	07/2017
1060	2^577146-49877	173739	Enzo Doria	10/2015
1061	2^576889+49727	173661	Enzo Doria	09/2016
1062	(2^576551-1)/4612409/64758208321/242584327930759	173528	Dario Alpern	06/2014
1063	2^576016-113919	173399	Enzo Doria	11/2014
1064	2^575911-1849387	173367	Enzo Doria	08/2015
1065	2^575196-114053	173152	Enzo Doria	11/2014
1066	2^574591-115387	172970	Enzo Doria	07/2015
1067	2^574328+81121	172890	Enzo Doria	07/2016
1068	(115*10^172862-1)/3	172864	Serge Batalov	12/2014
1069	4*5^247217-9	172798	Lelio R Paula	10/2015
1070	69061#+(467617#)/(69061#)	172766	Makoto Morimoto	10/2017
1071	2^573668-2782319	172692	Enzo Doria	09/2015
1072	2^573444-1855109	172624	Enzo Doria	09/2015
1073	3^361608+2	172531	Robert Price	08/2014
1074	(54^99563+1)/55	172481	Paul Bourdelais	11/2017
1075	2^572592-114893	172368	Enzo Doria	05/2015
1076	5^246497-4^246497	172295	Jean-Louis Charton	11/2008
1077	(38^109037-1)/37	172254	Paul Bourdelais	10/2017
1078	(36^110503+1)/37	171975	Lelio R Paula	04/2017
1079	2^570980-2782289	171883	Enzo Doria	09/2015
1080	(2^(12*47563+13)-9)/7	171818	Kevin Acres	11/2013
1081	2^569563-1854607	171456	Enzo Doria	09/2015
1082	(55^98419-1)/54	171284	Paul Bourdelais	12/2017
1083	2^568642+1876129	171179	Enzo Doria	07/2016
1084	(58*10^170842+221)/9	170843	Robert Price	02/2017
1085	11^164009-270	170798	Enzo Doria	10/2012
1086	2*10^170767+41	170768	Robert Price	05/2018
1087	3^357706-112358	170670	Enzo Doria	07/2014
1088	TheodorusPrime(170657)	170657	Eric W. Weisstein	08/2013
1089	2^566871+1876163	170646	Enzo Doria	07/2016
1090	(10657#+(404267#)/(10657#))/(1675379)	170624	Makoto Morimoto	10/2017
1091	2^566496+7	170533	Donovan Johnson	07/2006
1092	(7^201653+1)/8	170416	Paul Bourdelais	02/2010
1093	2^565183-352021	170138	Enzo Doria	07/2015
1094	2^565143-114457	170125	Enzo Doria	02/2015
1095	2^564976-49869	170075	Enzo Doria	10/2015
1096	2^564526-351401	169940	Enzo Doria	07/2015
1097	21^128327-20^128327	169677	Jean-Louis Charton	11/2014
1098	(4*10^169559+83)/3	169560	Robert Price	02/2018
1099	2^562749+2793047	169405	Enzo Doria	02/2016
1100	(154*10^169337-1)/9	169339	Serge Batalov	12/2014
1101	2^562369-29503	169290	Enzo Doria	08/2015
1102	(22*10^169019+383)/9	169020	Robert Price	05/2018
1103	2^560405-39943	168699	Enzo Doria	09/2015
1104	2^559686-350471	168483	Enzo Doria	06/2015
1105	2^559672-1855889	168479	Enzo Doria	09/2015
1106	(5*10^168379-473)/9	168379	Robert Price	01/2018
1107	2^559000-59939	168276	Enzo Doria	11/2015
1108	2^558640-114149	168168	Enzo Doria	12/2014
1109	2^558498-1849277	168125	Enzo Doria	08/2015
1110	2^558476-1850249	168119	Enzo Doria	08/2015
1111	(7*10^168067+71)/3	168068	Robert Price	05/2018
1112	2^558150-1852211	168020	Enzo Doria	08/2015
1113	2^558125-113661	168013	Enzo Doria	09/2014
1114	393^64747-392^64747	167980	Jean-Louis Charton	08/2012
1115	39^105456+2	167788	Robert Price	04/2015
1116	(28^115877-1)/27	167691	Paul Bourdelais	12/2017
1117	10^167639+121911	167640	Patrick De Geest	07/2018
1118	10^167639-8001	167639	Robert Price	03/2018
1119	2^556504-462059	167525	Enzo Doria	07/2015
1120	5*10^167510+9	167511	Robert Price	08/2015
1121	2^555343+1874333	167175	Enzo Doria	06/2016
1122	2^555210-461261	167135	Enzo Doria	07/2015
1123	2^554372+1880527	166883	Enzo Doria	11/2016
1124	2^554299+72173	166861	Enzo Doria	04/2016
1125	2^554037-2797063	166782	Enzo Doria	03/2016
1126	2^553484-29819	166616	Enzo Doria	08/2015
1127	2^553383-2784217	166585	Enzo Doria	10/2015
1128	2^553069+76427	166491	Enzo Doria	05/2016
1129	2*10^166458+51	166459	Robert Price	05/2018
1130	589^60089-588^60089	166454	Jean-Louis Charton	09/2012
1131	11^159756-2424	166369	Mike Oakes	06/2010
1132	2^552649-361275	166364	Enzo Doria	05/2014
1133	2^552628-113669	166358	Enzo Doria	09/2014
1134	10^166324+550603	166325	Patrick De Geest	07/2018
1135	10^166324-801	166324	Robert Price	02/2018
1136	2^552137+1879397	166210	Enzo Doria	09/2016
1137	(23^121949-1)/22	166061	Paul Bourdelais	10/2017
1138	2^551542+19249	166031	Payam Samidoost	08/2002
1139	2^551535-23821	166029	Enzo Doria	08/2013
1140	2^551507-23557	166021	Enzo Doria	08/2013
1141	7*10^165916-3	165917	Robert Price	08/2015
1142	81^86837-80^86837	165728	Robert Price	01/2015
1143	2^550270-69551	165648	Enzo Doria	12/2015
1144	2^550000-23625	165567	Enzo Doria	08/2013
1145	2^549675-1852057	165469	Enzo Doria	08/2015
1146	-tau(103^14938)	165374	Nik Lygeros / Olivier Rozier	10/2013
1147	(28*10^165358-1)/9	165359	Serge Batalov	10/2014
1148	2^549278+1879669	165350	Enzo Doria	09/2016
1149	(7*10^165350-439)/9	165350	Robert Price	02/2018
1150	2^549252-351269	165342	Enzo Doria	06/2015
1151	2^549049+2797607	165281	Enzo Doria	04/2016
1152	(7*10^165239+107)/3	165240	Robert Price	02/2018
1153	(44^100511-1)/43	165184	Paul Bourdelais	11/2017
1154	(7*10^165134+107)/3	165135	Robert Price	02/2018
1155	2^547178-1856501	164717	Enzo Doria	10/2015
1156	11^158160-60	164707	Enzo Doria	07/2012
1157	2^546398-59201	164483	Enzo Doria	10/2015
1158	2^546332-114893	164463	Enzo Doria	05/2015
1159	2^545958+1876189	164350	Enzo Doria	07/2016
1160	2^545878-49841	164326	Enzo Doria	10/2015
1161	(10^164284+77)/3	164284	Robert Price	01/2018
1162	2^545668-4019	164263	Yves Minet	04/2017
1163	(1353^238539617^9)/10^247183	164151	Hans Havermann	07/2017
1164	2^545185+76757	164118	Enzo Doria	05/2016
1165	2^545076-114329	164085	Enzo Doria	01/2015
1166	(2*10^164043-143)/3	164043	Robert Price	03/2018
1167	(29^112153+1)/30	164011	Lelio R Paula	03/2017
1168	2^544757+1874777	163989	Enzo Doria	06/2016
1169	2^544444-457199	163894	Enzo Doria	01/2015
1170	2^544264-343529	163840	Enzo Doria	07/2015
1171	7*10^163780+9	163781	Robert Price	09/2015
1172	2^543989+2793047	163758	Enzo Doria	02/2016
1173	2^542870-69551	163421	Enzo Doria	12/2015
1174	2^542395+72533	163278	Enzo Doria	04/2016
1175	2^542072-3683	163180	Yves Minet	03/2017
1176	2^541779-1867357	163092	Enzo Doria	04/2016
1177	8*10^162924+9	162925	Robert Price	12/2015
1178	2^540905+81557	162829	Enzo Doria	08/2016
1179	2^540628-2939	162746	Yves Minet	09/2014
1180	919^54919-918^54919	162743	Jean-Louis Charton	01/2013
1181	3^340694-112960	162553	Enzo Doria	07/2014
1182	2^539807-114081	162499	Enzo Doria	12/2014
1183	2^539654-114893	162453	Enzo Doria	05/2015
1184	2^539617-1851583	162441	Enzo Doria	08/2015
1185	2^539346+81049	162360	Enzo Doria	07/2016
1186	2^539220-115499	162322	Enzo Doria	07/2015
1187	2^539217-113713	162321	Enzo Doria	09/2014
1188	9^170099-8^170099	162316	Jean-Louis Charton	05/2005
1189	(115*10^162153-1)/3	162155	Serge Batalov	12/2014
1190	(10^162138+11)/3	162138	Serge Batalov	07/2015
1191	2^538473-112723	162097	Enzo Doria	06/2014
1192	2^538157+79337	162002	Enzo Doria	06/2016
1193	2^538136-114749	161996	Enzo Doria	05/2015
1194	2^538104+1531	161986	Lelio R Paula	01/2013
1195	(9*29^110727-1199)/14	161927	Curtis Bright	05/2015
1196	2^537815-22737	161899	Enzo Doria	07/2013
1197	2^537804-39839	161896	Enzo Doria	09/2015
1198	2^537458-59201	161791	Enzo Doria	10/2015
1199	2*10^161766+51	161767	Robert Price	05/2018
1200	2^537209-49849	161717	Enzo Doria	10/2015
1201	2^536937+1879397	161635	Enzo Doria	09/2016
1202	2^536569-22881	161524	Enzo Doria	07/2013
1203	10^161253+573493	161254	Patrick De Geest	07/2018
1204	10^161253-8001	161253	Robert Price	03/2018
1205	7*10^161192-9	161193	Robert Price	10/2015
1206	2^535269-113803	161133	Enzo Doria	09/2014
1207	2^535205-23295	161113	Enzo Doria	08/2013
1208	(89^82609+1)/90	161036	Paul Bourdelais	10/2017
1209	2^534359-23229	160859	Enzo Doria	08/2013
1210	67^88037-66^88037	160763	Robert Price	10/2013
1211	2^533948-1852559	160735	Enzo Doria	08/2015
1212	2^533665-23335	160650	Enzo Doria	08/2013
1213	3^336353-2^336353	160482	Mike Oakes	10/2007
1214	2^532253+1868417	160225	Enzo Doria	04/2016
1215	2^532108-291989	160181	Enzo Doria	07/2015
1216	2^531110-1853771	159881	Enzo Doria	09/2015
1217	2^530992-1845299	159845	Enzo Doria	07/2015
1218	(136*10^159736-1)/9	159738	Serge Batalov	12/2014
1219	2^530417-113833	159672	Enzo Doria	09/2014
1220	2^530406-69701	159669	Enzo Doria	02/2016
1221	7^188858-188858^7	159604	Norbert Schneider	05/2018
1222	(24^115597-1)/23	159547	Paul Bourdelais	09/2017
1223	(17*10^159438-377)/9	159439	Robert Price	03/2018
1224	2^528944-461315	159229	Enzo Doria	07/2015
1225	2^528620-113879	159131	Enzo Doria	10/2014
1226	2^528000-23307	158944	Enzo Doria	08/2013
1227	2^527817+1876817	158889	Enzo Doria	07/2016
1228	2^527774-49451	158876	Enzo Doria	10/2015
1229	2^527745-291553	158868	Enzo Doria	07/2015
1230	2^527644-1856999	158837	Enzo Doria	10/2015
1231	(37200^37199-37198^37199)/(2^37199)	158822	Henri Lifchitz	06/2013
1232	2^527573-1863253	158816	Enzo Doria	12/2015
1233	2^527553-23401	158810	Enzo Doria	08/2013
1234	11^152420-210	158730	Enzo Doria	09/2012
1235	(13*10^158694+401)/9	158695	Robert Price	01/2018
1236	2^527052-69059	158659	Enzo Doria	11/2015
1237	2^526849-113233	158598	Enzo Doria	07/2014
1238	(2^526763-lucasV(1,2,526763)+1)/2	158572	Mike Oakes	11/2016
1239	2^526658-3551	158540	Yves Minet	03/2017
1240	2^526375-23115	158455	Enzo Doria	08/2013
1241	2^526028-112793	158351	Enzo Doria	07/2014
1242	2^525690-9221	158249	Lelio R Paula	01/2013
1243	2*10^158242-7	158243	Robert Price	10/2015
1244	2^525667-525667^2	158242	Henri Lifchitz	12/2017
1245	2^525186-1857431	158097	Enzo Doria	10/2015
1246	2^524515-23245	157895	Enzo Doria	08/2013
1247	2^524499-109087	157890	Enzo Doria	04/2014
1248	2^18067*(2^506221+1)-1	157827	Makoto Morimoto	05/2014
1249	2^524288+189093	157827	Makoto Morimoto	01/2016
1250	(2^(2^19)-9333)/(1923463121331973)	157814	Makoto Morimoto	09/2017

Find by discoverer :

PRP Records

Probable Primes Top 10000

(214429 PRPs in the top)