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 ?
4001	(28*10^150294+41)/3	150295	Robert Price	07/2021
4002	2^499225+49727	150282	Enzo Doria	09/2016
4003	(695*10^150274+7)/9	150276	Robert Price	12/2021
4004	2^499054-29261	150231	Enzo Doria	07/2015
4005	18580^35187+35187^18580	150215	Norbert Schneider	10/2023
4006	(844*10^150196-7)/9	150198	Robert Price	05/2021
4007	2^498907-933075	150186	Paul Bourdelais	06/2021
4008	(2^498898-7)/9	150183	Lelio R Paula	10/2015
4009	3*10^150182+17	150183	Robert Price	07/2018
4010	5*10^150175+63	150176	Robert Price	09/2020
4011	29273^33618-33618^29273	150154	Frank Doornink	06/2024
4012	32363^33292+33292^32363	150149	Norbert Schneider	07/2022
4013	32^99753-99753^32	150144	Henri Lifchitz	08/2024
4014	(77*10^150128+67)/9	150129	Robert Price	12/2021
4015	(710^(275062+1)-9*10^75062-7)/9	150125	Robert Price	12/2023
4016	2^498623+1866983	150101	Enzo Doria	03/2016
4017	33194^33194-213^213	150073	Serge Batalov	04/2024
4018	27868^33759-33759^27868	150063	Frank Doornink	06/2024
4019	(25*10^150050-403)/9	150051	Robert Price	12/2020
4020	numbpart(18140942830)	150033	Serge Batalov	04/2017
4021	10^150029+4381	150030	Patrick De Geest	05/2016
4022	10^150029-41	150029	Serge Batalov	12/2014
4023	33185^33185+618^618	150028	Serge Batalov	04/2024
4024	9*34^97952+529	150013	Eric Chen	08/2023
4025	10^150000+1158603	150001	Patrick De Geest	09/2018
4026	10^150000-245703	150000	Patrick De Geest	09/2018
4027	(38*10^149999+691)/9	150000	Robert Price	10/2018
4028	2043563126843649194^8192+2043563126843649185^8192	150000	Youcef Lemsafer	01/2023
4029	(2043563126843649232^8192+2043563126843649201^8192)/147457	149994	Youcef Lemsafer	01/2023
4030	2^498238-53	149985	Lelio R Paula	12/2017
4031	45728^1905+1905^45728	149984	Hans Havermann	10/2020
4032	(211^65024+1)/(211^512+1)	149945	Martin Hopf	12/2023
4033	5*10^149907+23	149908	Robert Price	03/2019
4034	32^99585-829	149891	Eric Chen	11/2023
4035	39347^6442+6442^39347	149874	Hans Havermann	09/2020
4036	2^497850+81049	149868	Enzo Doria	07/2016
4037	V(1075416)	149830	Serge Batalov	07/2024
4038	37228^10575+10575^37228	149816	Hans Havermann	10/2020
4039	(5*2^497673+1)/2743	149812	Lelio R Paula	10/2015
4040	(5*2^497671+1)/373703	149810	Lelio R Paula	10/2015
4041	(2*10^149803-143)/3	149803	Robert Price	03/2018
4042	33845^26604+26604^33845	149763	Hans Havermann	09/2020
4043	2^497434-2784191	149743	Enzo Doria	10/2015
4044	(865*10^149737-1)/9	149739	Robert Price	04/2020
4045	10^149695-7000001	149695	Robert Price	06/2021
4046	38237^8214+8214^38237	149681	Hans Havermann	09/2020
4047	Phi(745791,2)/1491583	149664	Anonymous	03/2025
4048	(497167*2^497167-1)/70975	149664	Anonymous	04/2025
4049	(23*10^149655+19)/3	149656	Robert Price	07/2019
4050	2^497068-113579	149633	Enzo Doria	08/2014
4051	2^497037+73727	149624	Enzo Doria	04/2016
4052	11*10^149618+3	149620	Robert Price	07/2021
4053	34942^19067+19067^34942	149562	Hans Havermann	09/2020
4054	33696^27449+27449^33696	149561	Hans Havermann	09/2020
4055	2^496773+77747	149544	Enzo Doria	05/2016
4056	29937^33400-33400^29937	149506	Frank Doornink	06/2024
4057	(7*10^149483-493)/9	149483	Robert Price	04/2021
4058	(206*10^149459+7)/3	149461	Robert Price	07/2020
4059	34589^20940+20940^34589	149459	Hans Havermann	09/2020
4060	2^496477-113485	149455	Enzo Doria	08/2014
4061	(496423*2^496423-1)/223573	149439	Anonymous	04/2025
4062	3*2^496411-5	149436	Jon Grantham	07/2023
4063	((10^74703-1)10000/9+7481)10^74703+(10^74703-1)/9	149410	Hans Havermann	09/2019
4064	2^496270-49451	149393	Enzo Doria	10/2015
4065	2^496238-1865081	149383	Enzo Doria	01/2016
4066	33831^26030+26030^33831	149380	Hans Havermann	09/2020
4067	34131^23780+23780^34131	149365	Hans Havermann	09/2020
4068	(5*10^149335-53)/3	149336	Robert Price	09/2020
4069	26043^33818-33818^26043	149330	Frank Doornink	03/2024
4070	2^495968-1853699	149302	Enzo Doria	09/2015
4071	2^495935-4117	149292	Yves Minet	02/2018
4072	5*2^495930+3	149291	Jon Grantham	07/2023
4073	35816^14709+14709^35816	149267	Hans Havermann	09/2020
4074	(10^149264+7)/191/2683/80557	149254	Alfred Reich	07/2021
4075	10^149240-40000001	149240	Robert Price	07/2022
4076	10^149240-10809	149240	Alfred Reich	08/2024
4077	2^495712-396765	149225	Enzo Doria	07/2013
4078	(21*2^495676-1)/4835	149211	Lelio R Paula	10/2015
4079	2^495420+1880701	149137	Enzo Doria	10/2016
4080	25646^33823-33823^25646	149127	Frank Doornink	02/2024
4081	2^495337-1847293	149112	Enzo Doria	07/2015
4082	(2^495193-7)/5	149068	Lelio R Paula	10/2015
4083	2^495163+111546435	149059	Paul Bourdelais	10/2021
4084	33282^30097+30097^33282	149055	Hans Havermann	09/2020
4085	37384^9705+9705^37384	149050	Hans Havermann	09/2020
4086	34808^19143+19143^34808	149049	Hans Havermann	09/2020
4087	413^56963-412^56963	149013	Jean-Louis Charton	08/2012
4088	30657^33212-33212^30657	149007	Frank Doornink	06/2024
4089	47^89113-46^89113	149006	Robert Price	10/2012
4090	V(891190)	148997	Serge Batalov	07/2024
4091	2^494916+87855	148985	Lelio R Paula	01/2016
4092	6*10^148982+73	148983	Robert Price	04/2019
4093	3^312155-4	148936	Anonymous	02/2023
4094	10^148934+1530019	148935	Patrick De Geest	02/2021
4095	10^148934-1000000001	148934	Robert Price	11/2020
4096	10^148934-512057	148934	Patrick De Geest	02/2021
4097	39000^6571+6571^39000	148888	Hans Havermann	10/2020
4098	2^494586-2791991	148886	Enzo Doria	02/2016
4099	8*10^148860-3	148861	Ray Chandler	04/2011
4100	38262^7769+7769^38262	148854	Hans Havermann	10/2020
4101	10^148816-500001	148816	Robert Price	03/2022
4102	(53*10^148811-287)/9	148812	Robert Price	02/2022
4103	2^494333-286183	148810	Enzo Doria	06/2015
4104	2^494144-264119	148753	Enzo Doria	05/2014
4105	6*10^148734+47	148735	Robert Price	06/2022
4106	28724^33353-33353^28724	148696	Frank Doornink	06/2024
4107	36502^11823+11823^36502	148663	Hans Havermann	11/2020
4108	(5*2^493838-1)/3721	148658	Lelio R Paula	10/2015
4109	64239^206+206^64239	148641	Hans Havermann	10/2020
4110	(23*2^493761-1)/555	148636	Lelio R Paula	10/2015
4111	(23*10^148627-137)/3	148628	Robert Price	08/2021
4112	(151*10^148601-1)/3	148603	Robert Price	03/2020
4113	2^493636+82081	148600	Enzo Doria	09/2016
4114	((((((((((((((34251^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	148593	Serge Batalov	07/2016
4115	27134^33509-33509^27134	148563	Frank Doornink	01/2024
4116	177487#+(519643#)/(177487#)	148558	Makoto Morimoto	11/2017
4117	(2*10^148460-23)/3	148460	Robert Price	04/2018
4118	(28*10^148445+101)/3	148446	Robert Price	09/2020
4119	2^493065+225	148428	Henri Lifchitz	11/2024
4120	36203^12556+12556^36203	148391	Hans Havermann	10/2020
4121	33912^23749+23749^33912	148387	Hans Havermann	10/2020
4122	(8*10^148328+1)/9	148328	Serge Batalov	05/2010
4123	34294^21117+21117^34294	148309	Hans Havermann	10/2020
4124	(71*10^148306-539)/9	148307	Robert Price	07/2019
4125	30814^33039-33039^30814	148304	Frank Doornink	06/2024
4126	38042^7875+7875^38042	148222	Hans Havermann	10/2020
4127	5^211959-12874	148153	Enzo Doria	05/2014
4128	34142^21831+21831^34142	148145	Hans Havermann	10/2020
4129	10^148112+34059	148113	Patrick De Geest	05/2021
4130	10^148112-70000001	148112	Robert Price	03/2021
4131	10^148112-106593	148112	Patrick De Geest	05/2021
4132	36303^12016+12016^36303	148108	Hans Havermann	10/2020
4133	(77*10^148089-149)/9	148090	Robert Price	03/2022
4134	(16*10^148071+41)/3	148072	Robert Price	03/2019
4135	187^65175-2	148068	Lelio R Paula	11/2017
4136	2^491851+1871453	148062	Enzo Doria	05/2016
4137	(68*10^148060-257)/9	148061	Robert Price	07/2019
4138	(151*10^148020-1)/3	148022	Robert Price	03/2020
4139	39153^6032+6032^39153	148017	Hans Havermann	10/2020
4140	36798^10507+10507^36798	147983	Hans Havermann	12/2020
4141	(26*10^147973-23)/3	147974	Robert Price	12/2019
4142	2^491521-1865323	147963	Enzo Doria	02/2016
4143	(2^491476+7)/71	147948	Lelio R Paula	10/2015
4144	2*10^147928+47	147929	Robert Price	12/2021
4145	2^491391-7807	147924	Lelio R Paula	01/2013
4146	2^491384+236221	147922	Enzo Doria	05/2025
4147	39736^5279+5279^39736	147920	Hans Havermann	11/2020
4148	2^491370-113297	147918	Enzo Doria	07/2014
4149	(3^707753)%F(707753)	147912	Henri Lifchitz	06/2025
4150	(32760^32760+32759^32759)/95546586737133567708319	147900	Robert Price	07/2016
4151	44368^2155+2155^44368	147899	Hans Havermann	12/2020
4152	(17*10^147890+79)/3	147891	Robert Price	04/2019
4153	94*10^147871-3	147873	Robert Price	05/2020
4154	10^147843+620967	147844	Patrick De Geest	05/2021
4155	10^147843-50000000001	147843	Robert Price	12/2020
4156	10^147843-182891	147843	Patrick De Geest	05/2021
4157	35805^13346+13346^35805	147709	Hans Havermann	11/2020
4158	2^490672+255255	147707	Paul Bourdelais	10/2021
4159	2^490660-17	147704	Lelio R Paula	12/2017
4160	(229*10^147699-1)/3	147701	Robert Price	07/2020
4161	40656^4289+4289^40656	147678	Hans Havermann	11/2020
4162	(85*10^147676-31)/9	147677	Rytis Slatkevicius	12/2024
4163	2^490550+1179439	147671	Enzo Doria	06/2016
4164	27249^33292-33292^27249	147662	Frank Doornink	06/2024
4165	(23*10^147649-59)/9	147650	Robert Price	05/2018
4166	2^490303+2793653	147596	Enzo Doria	03/2016
4167	2^490266+255255	147585	Paul Bourdelais	10/2021
4168	199^64181-2	147543	Lelio R Paula	11/2017
4169	32849^30958+30958^32849	147518	Hans Havermann	11/2020
4170	2^489871-286987	147466	Enzo Doria	07/2015
4171	2^489864-351899	147464	Enzo Doria	07/2015
4172	175^65724-2	147422	Lelio R Paula	11/2017
4173	2^489712+1874851	147419	Enzo Doria	06/2016
4174	34473^18830+18830^34473	147367	Hans Havermann	11/2020
4175	63^81896-2	147359	Lelio R Paula	10/2017
4176	34580^18237+18237^34580	147344	Hans Havermann	11/2020
4177	(11*10^147313-107)/3	147314	Robert Price	09/2018
4178	(397*10^147310+17)/9	147312	Robert Price	03/2022
4179	2^489305-59815	147296	Enzo Doria	10/2015
4180	(2^489280-7)/6381	147285	Lelio R Paula	09/2015
4181	2*10^147264-61	147265	Robert Price	10/2021
4182	2*10^147260+29	147261	Robert Price	02/2021
4183	33556^24457+24457^33556	147258	Hans Havermann	11/2020
4184	12^136450-11	147255	Riley Fisher	12/2024
4185	2^489125+80357	147242	Enzo Doria	06/2016
4186	10^147240-40000001	147240	Robert Price	07/2022
4187	10^147240-371331	147240	Alfred Reich	09/2024
4188	10^147240-464727	147240	Alfred Reich	09/2024
4189	32835^30452+30452^32835	147220	Hans Havermann	12/2020
4190	(19*10^147213-97)/3	147214	Robert Price	10/2021
4191	27123^33190-33190^27123	147143	Frank Doornink	01/2024
4192	(148*10^147139-1)/3	147141	Robert Price	03/2020
4193	34338^19255+19255^34338	147123	Hans Havermann	11/2020
4194	2^488648-112799	147098	Enzo Doria	07/2014
4195	2^488627-350317	147092	Enzo Doria	06/2015
4196	33432^25075+25075^33432	147076	Hans Havermann	12/2020
4197	(2^488441-1)/(61543567*30051203516986199)	147012	Dario Alpern	12/2014
4198	2^488280-2165	146987	Yves Minet	07/2014
4199	2^488278+45	146987	Lelio R Paula	12/2017
4200	(3^834646)/(2^834646)	146974	Henri Lifchitz	06/2025
4201	32568^32568+32561^32561	146973	Henri Lifchitz	08/2024
4202	2^487927-39	146881	Lelio R Paula	12/2017
4203	(7*10^146860-13)/3	146861	Robert Price	07/2018
4204	(26*10^146856-77)/3	146857	Robert Price	11/2019
4205	32948^28611+28611^32948	146834	Hans Havermann	11/2020
4206	42596^2799+2799^42596	146829	Hans Havermann	12/2020
4207	2^487726-1863341	146821	Enzo Doria	12/2015
4208	43838^2229+2229^43838	146775	Hans Havermann	11/2020
4209	35005^15594+15594^35005	146775	Hans Havermann	11/2020
4210	(167*10^146764+7)/3	146766	Robert Price	04/2021
4211	53^85114+85114	146761	Kellen Shenton	05/2022
4212	(59*10^146738+157)/9	146739	Robert Price	12/2021
4213	((10^73362-1)10000/9+6701)10^73362+(10^73362-1)/9	146728	Hans Havermann	09/2019
4214	32963^28234+28234^32963	146711	Hans Havermann	12/2020
4215	(22*10^146661-19)/3	146662	Robert Price	04/2019
4216	33958^20825+20825^33958	146651	Hans Havermann	12/2020
4217	26289^33178-33178^26289	146640	Frank Doornink	03/2024
4218	2^487121-39523	146639	Enzo Doria	09/2015
4219	61063^252+252^61063	146637	Hans Havermann	12/2020
4220	(7*2^486967+1)/39	146591	Lelio R Paula	09/2015
4221	34099^19900+19900^34099	146587	Hans Havermann	11/2020
4222	2^486893-79	146570	Yves Minet	09/2017
4223	36818^9567+9567^36818	146565	Hans Havermann	12/2020
4224	2^486840+1879141	146554	Enzo Doria	08/2016
4225	2^486774-87	146534	Lelio R Paula	12/2017
4226	38655^6176+6176^38655	146530	Hans Havermann	11/2020
4227	8*10^146522-81	146523	Robert Price	02/2021
4228	32820^29059+29059^32820	146485	Hans Havermann	12/2020
4229	37261^8530+8530^37261	146472	Hans Havermann	12/2020
4230	66953^154+154^66953	146462	Hans Havermann	12/2020
4231	96^73877-95^73877	146445	Robert Price	10/2015
4232	8*10^146421+81	146422	Robert Price	08/2019
4233	33153^26090+26090^33153	146420	Hans Havermann	11/2020
4234	2^486275+23961	146384	Enzo Doria	10/2023
4235	(12^135607-1)/18437127731	146335	Paul Vanderveen	06/2025
4236	(52^85259+1)/53	146304	Paul Bourdelais	09/2017
4237	179^64935+2	146290	Lelio R Paula	10/2017
4238	32595^30758+30758^32595	146285	Hans Havermann	11/2020
4239	34972^15157+15157^34972	146205	Hans Havermann	12/2020
4240	(16*10^146200+131)/3	146201	Robert Price	03/2022
4241	(19*10^146181-49)/3	146182	Robert Price	05/2019
4242	2^485531-114621	146160	Enzo Doria	05/2015
4243	2^485473-933075	146142	Paul Bourdelais	06/2021
4244	(2^485461-9)/4249	146135	Lelio R Paula	09/2015
4245	(22*10^146130-193)/9	146131	Robert Price	07/2022
4246	2^485389+81887	146117	Enzo Doria	08/2016
4247	32554^30773+30773^32554	146108	Hans Havermann	11/2020
4248	28075^32844-32844^28075	146101	Frank Doornink	06/2024
4249	(10^146063+71)/9	146063	Serge Batalov	07/2015
4250	2*10^146051-63	146052	Robert Price	01/2022

Find by discoverer :

PRP Records

Probable Primes Top 10000

(301692 PRPs in the top)