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 ?
9251	(25*2^257853+1)/3	77623	Lelio R Paula	07/2012
9252	(2^257832+1362)/2	77615	Stefano Morozzi	01/2020
9253	(2^257869+1)/(3*18645362967379)	77613	Henri Lifchitz	04/2005
9254	6^99728+71	77604	Lelio R Paula	01/2015
9255	2^257778-112767	77599	Enzo Doria	06/2014
9256	(31*2^257771+1)/537	77596	Lelio R Paula	07/2012
9257	(2^257762+2214)/2	77594	Stefano Morozzi	01/2020
9258	2^257729-73	77585	Lelio R Paula	03/2012
9259	(2^257728+1890)/2	77584	Stefano Morozzi	01/2020
9261	2^257689-63	77573	Lelio R Paula	03/2012
9260	(47*10^77572+493)/9	77573	Robert Price	11/2017
9262	(78557*2^257665+1)/6108725	77564	Lelio R Paula	06/2014
9263	(5570^20707-1)/5569	77562	Serge Batalov	08/2020
9264	(3^162563+8)/2885	77559	Lelio R Paula	10/2012
9267	2^257636-110235	77557	Enzo Doria	05/2014
9266	(23*10^77556+97)/3	77557	Robert Price	02/2017
9265	(2^257639+2630)/2	77557	Stefano Morozzi	01/2020
9268	(2^257625+3354)/2	77553	Stefano Morozzi	01/2020
9269	2^257621-110071	77552	Enzo Doria	04/2014
9270	19580^9129+9129^19580	77546	Hans Havermann	03/2020
9271	2^257567-64875	77536	Lelio R Paula	06/2013
9272	(18098^18211-1)/18097	77532	Serge Batalov	08/2020
9273	(2^257429+2394)/2	77494	Stefano Morozzi	01/2020
9274	(2^257373+1206)/2	77477	Stefano Morozzi	01/2020
9275	2*7^91674+9	77474	Lelio R Paula	10/2014
9276	(2^257248+2442)/2	77440	Stefano Morozzi	01/2020
9277	(17*10^77427-47)/3	77428	Robert Price	05/2017
9278	10^77418+841683	77419	Patrick De Geest	06/2013
9279	10^77418-33	77418	Robert Price	05/2011
9280	19^60539-36	77415	Lelio R Paula	03/2015
9281	(9562^19447-1)/9561	77406	Serge Batalov	08/2020
9282	37401!!-1024	77397	Robert Price	11/2015
9283	(2^257095+1410)/2	77394	Stefano Morozzi	01/2020
9284	11^74313-18750	77390	Enzo Doria	12/2012
9286	2^257044-112883	77378	Enzo Doria	06/2014
9285	8*10^77377+51	77378	Robert Price	05/2017
9287	Phi(258121,2)/719	77375	Jeppe Stig Nielsen	09/2020
9288	2*7^91553+9	77372	Lelio R Paula	10/2014
9289	713^27118+27118^713	77371	Norbert Schneider	12/2016
9290	(22711^17761-1)/22710	77367	Serge Batalov	08/2020
9291	18652^14043+14043^18652	77359	Hans Havermann	03/2020
9292	(11391^19069-1)/11390	77351	Serge Batalov	08/2020
9293	6*10^77346-29	77347	Robert Price	08/2020
9294	2^256920-111155	77341	Enzo Doria	05/2014
9295	2^256896-6555	77334	Lelio R Paula	06/2013
9296	(52*10^77322-7)/9	77323	Robert Price	12/2014
9297	2^256849-112939	77320	Enzo Doria	06/2014
9298	17275^18246+18246^17275	77316	Norbert Schneider	01/2020
9299	(4*10^77309-31)/9	77309	Erik Branger	05/2011
9300	20936^4923+4923^20936	77301	Hans Havermann	04/2020
9301	(25376^17551-1)/25375	77298	Serge Batalov	08/2020
9302	(3^161988+7)/41864	77284	Lelio R Paula	10/2012
9303	(14^67421-1)/13	77272	Paul Bourdelais	09/2008
9304	(2^256679+3554)/2	77268	Stefano Morozzi	01/2020
9306	5*3^161923-4	77258	Lelio R Paula	06/2014
9305	20465^5958+5958^20465	77258	Hans Havermann	02/2020
9307	(2^256591+954)/2	77242	Stefano Morozzi	01/2020
9308	24806^1299+1299^24806	77237	Hans Havermann	05/2020
9309	2^256552-1499	77230	Yves Minet	05/2013
9310	18339^16258+16258^18339	77227	Hans Havermann	04/2020
9311	21243^4316+4316^21243	77221	Hans Havermann	04/2020
9312	(2^256493+3126)/2	77212	Stefano Morozzi	01/2020
9313	2^256460-112757	77203	Enzo Doria	06/2014
9314	(2^256444+2578)/2	77198	Stefano Morozzi	01/2020
9315	2^256398+23299	77184	Yves Minet	02/2011
9316	2^256391-1155*256391	77182	Henri Lifchitz	03/2005
9317	(2^256391-9)/56593	77177	Lelio R Paula	10/2012
9318	(7665^19867-1)/7664	77170	Serge Batalov	08/2020
9319	(2^256338+3834)/2	77166	Stefano Morozzi	01/2020
9320	(2^256339+546)/2	77166	Stefano Morozzi	01/2020
9321	(2^256308+9)/10585	77153	Lelio R Paula	10/2012
9322	21^58348-2	77149	Lelio R Paula	08/2013
9323	(17*2^256291-1)/4785	77149	Lelio R Paula	02/2014
9324	(5*2^256274-1)/2141	77144	Lelio R Paula	02/2014
9325	(2^256244+2326)/2	77137	Stefano Morozzi	01/2020
9326	19^60321+82	77136	Lelio R Paula	03/2015
9327	5*2^256233-3	77135	Lelio R Paula	06/2014
9328	(2^256155+1566)/2	77111	Stefano Morozzi	01/2020
9329	3*2^256149+7	77110	Lelio R Paula	06/2014
9330	(2^256128+1890)/2	77102	Stefano Morozzi	01/2020
9331	3^161594-106	77100	Lelio R Paula	02/2015
9332	2^256114-185	77098	Lelio R Paula	03/2012
9333	8^85349-85349^8	77078	Norbert Schneider	05/2017
9334	2^256043-2786377	77077	Enzo Doria	03/2016
9335	2^255973+1869947	77056	Enzo Doria	05/2016
9336	12^71393-43	77046	Lelio R Paula	02/2015
9337	(2^255882+3630)/2	77028	Stefano Morozzi	01/2020
9338	15^65490+44	77023	Lelio R Paula	02/2015
9339	(3^161411-7)/940	77010	Lelio R Paula	10/2012
9340	lucasU(1107,1,25297)-lucasU(1107,1,25296)	77005	Mike Oakes	05/2009
9341	(570^27943-1)/569	77005	Serge Batalov	12/2016
9342	(570^27943-1)/(570-1)	77005	Michael Stocker	04/2020
9343	2^255750-75	76989	Lelio R Paula	03/2012
9344	3*6^98926-5	76980	Lelio R Paula	10/2014
9345	(2^255708+478)/2	76976	Stefano Morozzi	01/2020
9346	18^61320-1433	76974	Enzo Doria	03/2013
9347	6^98916-17093	76972	Enzo Doria	02/2013
9348	(2^255691+806)/2	76971	Stefano Morozzi	01/2020
9349	2^255659-110131	76962	Enzo Doria	04/2014
9350	69805!4-128	76956	Robert Price	11/2019
9351	12^71303+91	76949	Lelio R Paula	02/2015
9352	18^61298+59	76946	Lelio R Paula	02/2015
9353	(223^32768+1)/131074	76945	Lelio R Paula	02/2009
9354	(2^255613-5)/281517	76942	Lelio R Paula	10/2012
9355	18^61290-11	76936	Lelio R Paula	02/2015
9356	(2^255567+1286)/2	76934	Stefano Morozzi	01/2020
9358	63^42752-2	76926	Lelio R Paula	08/2013
9357	(11*2^255545-1)/117	76926	Lelio R Paula	02/2014
9359	2^255517+56387	76919	Yves Minet	02/2011
9360	(7*10^76916+89)/3	76917	Robert Price	08/2020
9361	18376^15329+15329^18376	76914	Hans Havermann	03/2020
9362	2^255499-112567	76913	Enzo Doria	06/2014
9363	2^255492+345	76911	Lelio R Paula	06/2013
9364	(2^255488+1678)/2	76910	Stefano Morozzi	01/2020
9365	10^76875+217591	76876	Patrick De Geest	05/2013
9367	10^76875-53	76875	Robert Price	05/2011
9366	11^73819-5880	76875	Enzo Doria	01/2013
9368	2^255313+18915	76857	Lelio R Paula	06/2013
9369	(2^255320-1017)/1446667	76853	Lelio R Paula	10/2012
9370	2^255296+5775	76852	Lelio R Paula	06/2013
9371	14^67052-29	76851	Lelio R Paula	02/2015
9372	(8*10^76840+43)/3	76841	Robert Price	10/2017
9373	(2^255246+1642)/2	76837	Stefano Morozzi	01/2020
9374	(2^255243+2250)/2	76836	Stefano Morozzi	01/2020
9375	(2^255240+1218)/2	76835	Stefano Morozzi	01/2020
9376	(7*10^76818-313)/9	76818	Robert Price	11/2016
9377	10^76801+69	76802	Robert Price	03/2011
9378	10^76801-80943	76801	Patrick De Geest	06/2013
9379	2^255105+57	76795	Lelio R Paula	03/2012
9380	(lucasV(1,2,510187)+2)/(3511)	76789	Mike Oakes	04/2017
9381	(2^255097-7)/20020055	76785	Lelio R Paula	10/2012
9382	(2^255063+3098)/2	76782	Stefano Morozzi	01/2020
9383	2^255055+1869353	76780	Enzo Doria	05/2016
9384	17^62396-90	76776	Lelio R Paula	03/2015
9385	18797^12130+12130^18797	76765	Hans Havermann	03/2020
9386	7^90833-60	76763	Lelio R Paula	02/2015
9387	13^68901-56	76752	Lelio R Paula	03/2015
9388	2^254961+1869917	76751	Enzo Doria	05/2016
9389	(2^254950+594)/2	76748	Stefano Morozzi	01/2020
9390	20734^5027+5027^20734	76743	Hans Havermann	03/2020
9391	9*5^109791-8	76742	Lelio R Paula	10/2014
9392	(469^28729-1)/468	76738	Serge Batalov	08/2020
9393	(2^254908+982)/2	76735	Stefano Morozzi	01/2020
9394	(2^254903+2766)/2	76734	Stefano Morozzi	01/2020
9395	(4143^21211-1)/4142	76724	Serge Batalov	08/2020
9396	82^40089+40089^82	76723	Serge Batalov	02/2012
9397	2^254861-2790013	76721	Enzo Doria	03/2016
9398	(10^278+1)*(10^115926+1)/(10^834+1)/(10^38642+1)/20459779741	76718	Makoto Kamada	03/2019
9399	10^76705+13	76706	Robert Price	01/2011
9400	10^76705-94077	76705	Patrick De Geest	06/2013
9401	(13709^18541-1)/13708	76701	Serge Batalov	08/2020
9402	(5*2^254785-1)/999	76696	Lelio R Paula	02/2014
9403	2^254758-110405	76690	Enzo Doria	05/2014
9404	(2^254721+470)/2	76679	Stefano Morozzi	01/2020
9405	2^254716-3779	76678	Yves Minet	04/2017
9406	2^254708-110507	76675	Enzo Doria	05/2014
9407	(47*10^76672+133)/9	76673	Robert Price	04/2017
9408	2^254670-112901	76664	Enzo Doria	06/2014
9409	(3^160665+7)/981350	76651	Lelio R Paula	10/2012
9410	2^254598-113183	76642	Enzo Doria	07/2014
9411	19^59932+22	76639	Lelio R Paula	01/2015
9412	77*10^76635+3	76637	Robert Price	06/2020
9413	2^254569-112213	76633	Enzo Doria	06/2014
9414	2*5^109626+9	76626	Lelio R Paula	10/2014
9415	2^254521+1872527	76619	Enzo Doria	05/2016
9416	(2^254515+2570)/2	76617	Stefano Morozzi	01/2020
9417	(76*10^76615+167)/9	76616	Robert Price	08/2016
9418	(2^254495+918)/2	76611	Stefano Morozzi	01/2020
9419	25^54799-24^54799	76606	Robert Price	07/2012
9420	(24737*2^254464+1)/9	76605	Lelio R Paula	06/2014
9421	25863^916+916^25863	76604	Hans Havermann	01/2020
9422	(2^254458+2398)/2	76600	Stefano Morozzi	01/2020
9423	(2^254434+1354)/2	76592	Stefano Morozzi	01/2020
9424	(2^254410+2842)/2	76585	Stefano Morozzi	01/2020
9425	19878^7121+7121^19878	76581	Hans Havermann	01/2020
9426	12^70961-85	76580	Lelio R Paula	02/2015
9427	18867^11452+11452^18867	76579	Hans Havermann	01/2020
9428	(2^254333+1806)/2	76562	Stefano Morozzi	01/2020
9429	7^90590-38	76558	Lelio R Paula	02/2015
9430	2^254304+5227	76554	Lelio R Paula	06/2013
9431	(76*10^76547-211)/9	76548	Robert Price	10/2017
9433	18^60979-5363	76546	Enzo Doria	03/2013
9432	(2^254278+3250)/2	76546	Stefano Morozzi	01/2020
9434	(19098^17881-1)/19097	76545	Serge Batalov	08/2020
9435	(21181*2^254264+1)/55314379	76538	Lelio R Paula	06/2014
9437	(34*10^76547-7)/9/61/94529/214807	76536	Makoto Morimoto	05/2016
9436	(7*10^76536-313)/9	76536	Robert Price	11/2016
9439	2^254239-27	76534	Lelio R Paula	03/2012
9438	2^254238-1841	76534	Yves Minet	03/2013
9440	(2^254235+3978)/2	76533	Stefano Morozzi	01/2020
9442	(10^76537-1)/9/66127969	76529	Jens K. Andersen	04/2009
9441	(2^254223+3938)/2	76529	Stefano Morozzi	01/2020
9443	2^254189-112225	76519	Enzo Doria	06/2014
9444	18^60938-1397	76494	Enzo Doria	03/2013
9446	2^254075-2788417	76485	Enzo Doria	03/2016
9445	18239^15612+15612^18239	76485	Hans Havermann	01/2020
9447	7*10^76483-23	76484	Robert Price	04/2016
9448	18471^13822+13822^18471	76481	Hans Havermann	01/2020
9449	18850^11407+11407^18850	76478	Hans Havermann	01/2020
9450	2^254042-112913	76475	Enzo Doria	06/2014
9451	14^66723-37	76474	Lelio R Paula	02/2015
9452	(2^254040+2970)/2	76474	Stefano Morozzi	01/2020
9453	2^254037-110305	76473	Enzo Doria	05/2014
9454	(2^254008+2290)/2	76464	Stefano Morozzi	01/2020
9455	15927^18196+18196^15927	76463	Norbert Schneider	12/2019
9456	(2^253979+1110)/2	76455	Stefano Morozzi	01/2020
9457	(1575^23911-1)/1574	76447	Serge Batalov	08/2020
9458	2^253931-111109	76441	Enzo Doria	05/2014
9459	2^253926-1167	76440	Lelio R Paula	05/2013
9460	(49*10^76438-13)/9	76439	Robert Price	07/2015
9461	(2^253876+1302)/2	76424	Stefano Morozzi	01/2020
9462	(21*2^253845-1)/143	76415	Lelio R Paula	02/2014
9463	10^76374+31	76375	Robert Price	03/2011
9464	10^76374-222159	76374	Patrick De Geest	05/2013
9465	(6300^20101-1)/6299	76367	Serge Batalov	08/2020
9466	(2^253660+490)/2	76359	Stefano Morozzi	01/2020
9467	19227^9352+9352^19227	76349	Hans Havermann	01/2020
9468	(2^253617+2874)/2	76347	Stefano Morozzi	01/2020
9469	2^253561-110533	76330	Enzo Doria	05/2014
9470	(2^253546+954)/2	76325	Stefano Morozzi	01/2020
9471	gcd(V(917285),5F(183457)(F(183457)+1)+1)	76321	Serge Batalov	04/2015
9472	9*5^109182+2	76316	Lelio R Paula	10/2014
9473	11^73279-3690	76313	Enzo Doria	12/2012
9474	(598*10^76309-31)/9	76311	Robert Price	02/2017
9475	11^73274-24000	76308	Enzo Doria	12/2012
9476	7^90291-6	76305	Theodore Burton	11/2005
9477	(2^253479+3650)/2	76305	Stefano Morozzi	01/2020
9478	(2^253460+2902)/2	76299	Stefano Morozzi	01/2020
9479	6*10^76295-29	76296	Robert Price	08/2020
9480	(21181*2^253432+1)/21437	76291	Lelio R Paula	06/2014
9481	(2^253399+3254)/2	76281	Stefano Morozzi	01/2020
9482	69247!4+4	76280	Robert Price	09/2019
9483	6^98025+145	76279	Lelio R Paula	01/2015
9484	(2^253382+1978)/2	76276	Stefano Morozzi	01/2020
9485	2^253355+1155	76268	Lelio R Paula	05/2013
9486	(73*10^76262+413)/9	76263	Robert Price	10/2017
9487	2^253292-71219	76249	Enzo Doria	04/2016
9488	7^90221-36	76246	Lelio R Paula	02/2015
9489	(2^253273+3486)/2	76243	Stefano Morozzi	01/2020
9490	(2^253238+894)/2	76232	Stefano Morozzi	01/2020
9491	18^60727-3473	76229	Enzo Doria	03/2013
9492	(2^253210+1170)/2	76224	Stefano Morozzi	01/2020
9493	(78557*2^253184+1)/3	76221	Lelio R Paula	06/2014
9494	(8*10^76220-83)/3	76221	Robert Price	10/2017
9495	18568^12717+12717^18568	76211	Hans Havermann	01/2020
9496	(44791^20480+1)/(44791^4096+1)	76206	Serge Batalov	01/2017
9497	(5168^20521-1)/5167	76198	Serge Batalov	08/2020
9498	19443^8294+8294^19443	76193	Hans Havermann	12/2019
9499	11^73163-2010	76192	Enzo Doria	12/2012
9500	19006^10201+10201^19006	76189	Hans Havermann	12/2019

Find by discoverer :

PRP Records

Probable Primes Top 10000

(280932 PRPs in the top)