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 ?
751	21^193601-20^193601	255983	Jean-Louis Charton	02/2015
752	(37^163193+1)/38	255918	Paul Bourdelais	07/2019
753	2^849177-114025	255628	Enzo Doria	12/2014
754	2^848502-3173	255425	Yves Minet	07/2016
755	2^848178-140291	255328	Enzo Doria	01/2014
756	2^847622-2441	255160	Yves Minet	02/2016
757	2^847291+182843	255061	Enzo Doria	11/2016
758	2^847174+1879429	255025	Enzo Doria	09/2016
759	24*29^174239+13361	254809	Curtis Bright	04/2015
760	2^845633-933075	254561	Paul Bourdelais	11/2021
761	2^845610-1868591	254554	Enzo Doria	04/2016
762	2^845484+81931	254517	Enzo Doria	08/2016
763	2^845402-114761	254492	Enzo Doria	05/2015
764	2^844334-2792441	254170	Enzo Doria	02/2016
765	11^243796-90	253888	Enzo Doria	12/2012
766	(10^253891+7)/44777/79843/16940711	253875	Alfred Reich	10/2021
767	30^171733-29^171733	253671	Jean-Louis Charton	10/2018
768	2^842209+1876037	253531	Enzo Doria	07/2016
769	2^842123-59197	253505	Enzo Doria	10/2015
770	2^840797-3	253106	Paul Bourdelais	06/2019
771	2^840716-2969	253081	Yves Minet	05/2016
772	2^840358-462491	252973	Enzo Doria	08/2015
773	2^840310+1878379	252959	Enzo Doria	08/2016
774	11^242579-60	252620	Enzo Doria	10/2012
775	45^152659+2	252378	Robert Price	09/2015
776	(95^127583+1)/96	252322	Paul Bourdelais	07/2019
777	2^837725+1869377	252181	Enzo Doria	05/2016
778	2^837536-311039	252124	Enzo Doria	06/2015
779	21^190632-2	252058	Robert Price	07/2015
780	2^837242+1873297	252035	Enzo Doria	06/2016
781	2^836656-2787929	251859	Enzo Doria	11/2015
782	2^836380+1875541	251776	Enzo Doria	07/2016
783	(359^98327-1)/358	251233	Alexander Zhirkov	11/2017
784	tau(41^28288)	250924	Nik Lygeros / Olivier Rozier	10/2013
785	2^832511-461197	250611	Enzo Doria	07/2015
786	2^832505+1881137	250609	Enzo Doria	11/2016
787	2^832363+583295	250567	Enzo Doria	12/2016
788	2^832244-403635	250531	Enzo Doria	01/2014
789	2^831157+1880657	250204	Enzo Doria	11/2016
790	2^831088-7200899	250183	Enzo Doria	01/2015
791	2^830956-1349	250143	Yves Minet	07/2015
792	2^830037+282317	249867	Enzo Doria	09/2016
793	2^829589-113653	249732	Enzo Doria	09/2014
794	2^828281-3193	249338	Yves Minet	08/2016
795	2^828064-2785619	249273	Enzo Doria	10/2015
796	2^827602+60409	249134	Enzo Doria	03/2016
797	10^249010+348861	249011	Patrick De Geest	04/2016
798	10^249010-21	249010	Serge Batalov	12/2014
799	2^826733+1882907	248872	Enzo Doria	12/2016
800	2^825682+1876549	248556	Enzo Doria	07/2016
801	2^824991-114121	248348	Enzo Doria	12/2014
802	2^824642-362727	248242	Enzo Doria	12/2013
803	2^824565-114265	248219	Enzo Doria	01/2015
804	(73*10^248145-1)/9	248146	Robert Price	01/2015
805	(2^823337+1)/(3*362268281)	247841	Gord Palameta	08/2018
806	(2^822971-1)/6583769/28211445881/21255852651726486149207	247700	Robert Kinser	09/2016
807	2^822296+76501	247536	Enzo Doria	05/2016
808	2^821590-114167	247324	Enzo Doria	12/2014
809	2^821512-2790659	247300	Enzo Doria	12/2015
810	2^820077+382847	246868	Enzo Doria	11/2016
811	2^820001+81269	246845	Enzo Doria	07/2016
812	2^819463-59197	246683	Enzo Doria	10/2015
813	2^819296+80581	246633	Enzo Doria	07/2016
814	2^817160-350369	245990	Enzo Doria	06/2015
815	88093#+(653879#)/(88093#)	245374	Makoto Morimoto	11/2017
816	2^815111-113857	245373	Enzo Doria	10/2014
817	2^814914-4001	245314	Yves Minet	05/2017
818	846^83761-845^83761	245200	Jean-Louis Charton	12/2012
819	2^814356-2790449	245146	Enzo Doria	12/2015
820	2^814276-459029	245122	Enzo Doria	04/2015
821	2^814023+180923	245046	Enzo Doria	07/2016
822	(3^513059-2^513059)/(1026119*5430216457)	244776	Mike Oakes	03/2017
823	3^513007+16	244767	Robert Price	04/2020
824	2^811842-113675	244389	Enzo Doria	09/2014
825	2^811132-2787929	244176	Enzo Doria	11/2015
826	2^809746-2790971	243758	Enzo Doria	01/2016
827	2^808767-3295	243464	Yves Minet	12/2016
828	2^808621-113809	243420	Enzo Doria	09/2014
829	2^807724+1879621	243150	Enzo Doria	09/2016
830	20^186554-3	242713	Paul Bourdelais	12/2020
831	2^805843-113611	242583	Enzo Doria	08/2014
832	2^805745-459763	242554	Enzo Doria	05/2015
833	2^805353+782687	242436	Enzo Doria	11/2016
834	6^311257+5	242206	Paul Bourdelais	02/2021
835	2^804277-417933	242112	Enzo Doria	01/2014
836	2^803468-269039	241868	Enzo Doria	10/2013
837	2^803172+80851	241779	Enzo Doria	07/2016
838	3^506233-2	241535	Robert Price	11/2013
839	2^802025-25999	241434	Enzo Doria	10/2013
840	(3^505823+3^252912+1)/7	241339	Serge Batalov	03/2014
841	2^801303+1872923	241217	Enzo Doria	05/2016
842	2^800579-1862947	240999	Enzo Doria	12/2015
843	3^504206+2	240568	Luke W. Richards	03/2018
844	2^798973-26283	240515	Enzo Doria	10/2013
845	2^798671-69487	240424	Enzo Doria	12/2015
846	2^797220+79831	239988	Enzo Doria	06/2016
847	2^796910-26001	239894	Enzo Doria	10/2013
848	2^796598+653119	239800	Enzo Doria	12/2016
849	2^796432-1859729	239750	Enzo Doria	11/2015
850	2^796002-1852211	239621	Enzo Doria	08/2015
851	2^795709+75767	239533	Enzo Doria	04/2016
852	2^795708+81721	239532	Enzo Doria	08/2016
853	2^795468-2786249	239460	Enzo Doria	10/2015
854	2^795442+80779	239452	Enzo Doria	07/2016
855	2^795075-1852057	239342	Enzo Doria	08/2015
856	(86^123677+1)/87	239252	Paul Bourdelais	01/2019
857	2^794043+1875023	239031	Enzo Doria	06/2016
858	2^793347-69577	238822	Enzo Doria	01/2016
859	2^792988-344429	238714	Enzo Doria	08/2015
860	2^792700-2786369	238627	Enzo Doria	11/2015
861	2^792663-1844797	238616	Enzo Doria	06/2015
862	2^792605-291943	238598	Enzo Doria	07/2015
863	(2^792061-2^396031+1)/5	238434	Thomas Ritschel	03/2014
864	2^789373+1869377	237625	Enzo Doria	05/2016
865	((10^59387+1)^3(10^59387+1+10^29694)-(10^118774+10^59387)(10^29694-1)+10^178161)/27961	237544	Serge Batalov	04/2015
866	2^788942+1866409	237496	Enzo Doria	02/2016
867	2^788844-114329	237466	Enzo Doria	01/2015
868	2^788705-1859713	237424	Enzo Doria	11/2015
869	2^786180+1871971	236664	Enzo Doria	05/2016
870	11^227092-90	236492	Enzo Doria	11/2012
871	2^785260+1866361	236387	Enzo Doria	02/2016
872	2^785220+1880611	236375	Enzo Doria	10/2016
873	19^184650-2	236122	Robert Price	10/2014
874	10^236059+216513	236060	Patrick De Geest	04/2016
875	10^236059-20909	236059	Robert Price	09/2015
876	(87^121487-1)/86	235625	Paul Bourdelais	12/2018
877	2^782634-113981	235597	Enzo Doria	11/2014
878	2^782423+1879733	235533	Enzo Doria	09/2016
879	2^781682-2789543	235310	Enzo Doria	12/2015
880	2^780408-113453	234927	Enzo Doria	08/2014
881	2^780368-1864829	234915	Enzo Doria	01/2016
882	2^779593-1836559	234681	Enzo Doria	05/2015
883	(8713#+(549391#)/(8713#))/360295171	234487	Makoto Morimoto	11/2017
884	(5^335429+1)/6	234455	Paul Bourdelais	08/2010
885	2^778395-113617	234321	Enzo Doria	08/2014
886	2^776245-2792353	233674	Enzo Doria	02/2016
887	2^776060-114029	233618	Enzo Doria	11/2014
888	2^775987-2789557	233596	Enzo Doria	12/2015
889	2^775672+1866721	233501	Enzo Doria	03/2016
890	2^775238+57	233370	Stefano Morozzi	05/2021
891	(11^223999+1)/12	233270	Paul Bourdelais	02/2010
892	2^774118+1885789	233033	Enzo Doria	04/2017
893	21^176191-20^176191	232964	Jean-Louis Charton	01/2015
894	2^773679-113425	232901	Enzo Doria	08/2014
895	10^232599+192489	232600	Patrick De Geest	12/2013
896	10^232599-3	232599	Markus Tervooren	10/2010
897	2^772552-458879	232562	Enzo Doria	04/2015
898	2^772214+1874899	232460	Enzo Doria	06/2016
899	2^771994-1862771	232394	Enzo Doria	12/2015
900	2^771889+1876037	232362	Enzo Doria	07/2016
901	2^771660+1866511	232293	Enzo Doria	02/2016
902	5^332150-18188	232163	Enzo Doria	06/2014
903	3^485977-2^485977	231870	Mike Oakes	09/2009
904	2^770082-114161	231818	Enzo Doria	01/2015
905	(20^177967+1)/21	231540	Paul Bourdelais	05/2013
906	2^767622-9221	231078	Lelio R Paula	01/2016
907	2^767344+1880311	230994	Enzo Doria	09/2016
908	(3^483611-1)/2	230741	Paul Bourdelais	02/2010
909	(10^230706+179)/9	230706	Serge Batalov	12/2014
910	2^766309+1875257	230682	Enzo Doria	06/2016
911	2^765635+1879883	230480	Enzo Doria	09/2016
912	2^764348-113697	230092	Enzo Doria	09/2014
913	2^764131+78863	230027	Enzo Doria	05/2016
914	2^763701+60197	229897	Enzo Doria	03/2016
915	2^762841-25905	229639	Enzo Doria	10/2013
916	2^761117-113569	229120	Enzo Doria	08/2014
917	(98^114859+1)/99	228709	Paul Bourdelais	12/2018
918	(2^758231+1)/(32714694297653973236839266867)	228223	Gord Palameta	12/2018
919	2^757985-2790013	228177	Enzo Doria	12/2015
920	2^757038-1862081	227892	Enzo Doria	12/2015
921	2^756839+95849	227832	Makoto Morimoto	10/2013
923	(2^756839+6989)/756091	227826	Makoto Morimoto	09/2016
922	(2^756839-50211)/(137*3203)	227826	Makoto Morimoto	08/2019
924	2^756773-112723	227812	Enzo Doria	07/2014
925	524309#+616367	227431	Makoto Morimoto	02/2016
926	2^755097-114193	227307	Enzo Doria	12/2014
927	2^754473-2791513	227120	Enzo Doria	01/2016
928	2^754376+25	227090	Stefano Morozzi	05/2021
929	2^754038+25	226989	Stefano Morozzi	05/2021
930	2^751426-764321	226202	Enzo Doria	12/2013
931	(18^180181-1)/17	226176	Andy Steward	04/2007
932	2^750740-3	225996	Paul Bourdelais	03/2012
933	2^750725+60227	225991	Enzo Doria	02/2016
934	2^750525-113743	225931	Enzo Doria	09/2014
935	(2^750151-1)/(4299340426317590093831289397764574647511836143783478715117383638888678527263)	225744	Dario Alpern	10/2014
936	2^749444-1861889	225606	Enzo Doria	12/2015
937	tau(311^16452)	225560	Nik Lygeros / Olivier Rozier / LR team	10/2013
938	2^749096+1876861	225501	Enzo Doria	07/2016
939	(519643#+43033)/(2318712706283)	225379	Makoto Morimoto	08/2019
940	2^748657+79607	225369	Enzo Doria	06/2016
941	2^746653-291583	224765	Enzo Doria	07/2015
942	2^746461-114043	224708	Enzo Doria	11/2014
943	2^746302+25	224660	Stefano Morozzi	05/2021
944	2^745098-350471	224297	Enzo Doria	06/2015
945	2^745039-4897	224280	Yves Minet	03/2021
946	(154*10^224061-1)/9	224063	Serge Batalov	12/2014
947	2^744211-1845787	224030	Enzo Doria	07/2015
948	2^743592-134579	223844	Hans Havermann	10/2018
949	2^742452+3	223501	Paul Bourdelais	06/2019
950	234178^9+9^234178	223463	Anatoly F. Selevich	07/2011
951	2^741651-461197	223260	Enzo Doria	07/2015
952	2^741362-1845251	223173	Enzo Doria	07/2015
953	2^740455-1863877	222900	Enzo Doria	12/2015
954	2^739636-2792219	222653	Enzo Doria	02/2016
955	11^213654-180	222498	Enzo Doria	01/2013
956	2^738957-1859743	222449	Enzo Doria	11/2015
957	2^737825+57	222108	Stefano Morozzi	05/2021
958	(54^128189+1)/55	222073	Paul Bourdelais	11/2018
959	(10^221654+179)/9	221654	Serge Batalov	12/2014
960	2^736281+79817	221643	Enzo Doria	06/2016
961	10^221631+247617	221632	Patrick De Geest	10/2013
962	10^221631-9	221631	Alexander Gramolin	02/2011
963	10^221628+7	221629	Alfred Reich	04/2021
964	2^735970-1839821	221550	Enzo Doria	06/2015
965	2^735367+60293	221368	Enzo Doria	03/2016
966	(29^151153+1)/30	221045	Paul Bourdelais	09/2017
967	2^733264-2784089	220735	Enzo Doria	10/2015
968	2^733114-24555	220690	Enzo Doria	09/2013
969	2^731891-636259	220322	Enzo Doria	12/2013
970	2^731124-25539	220091	Enzo Doria	09/2013
971	2^730972-462029	220045	Enzo Doria	07/2015
972	2^730833+1868627	220003	Enzo Doria	04/2016
973	2^730645-2787133	219947	Enzo Doria	11/2015
974	2^730547-25581	219917	Enzo Doria	09/2013
975	2^730460+82291	219891	Enzo Doria	09/2016
976	(2^730339+1)/(3278390620037943469324347)	219831	Gord Palameta	12/2018
977	L(1051849)	219824	Renaud Lifchitz	03/2009
978	11^210961-240	219694	Enzo Doria	01/2013
979	2^729611-113437	219635	Enzo Doria	08/2014
980	7^259710-2	219481	Paul Bourdelais	01/2021
981	F(1049897)	219416	Henri Lifchitz	10/2008
982	2^728604+1879321	219332	Enzo Doria	10/2016
983	33^144412+2	219292	Robert Price	04/2015
984	2^728277-183313	219234	Hans Havermann	10/2018
985	2^727998-1862711	219150	Enzo Doria	12/2015
986	2^727729-114073	219069	Enzo Doria	12/2014
987	2^727496-1851809	218999	Enzo Doria	08/2015
988	2^726591+2793143	218726	Enzo Doria	02/2016
989	2^725534-2791931	218408	Enzo Doria	02/2016
990	Phi(220531,10)/2686456812680882641	217774	Makoto Kamada	10/2020
991	2^722184+1877821	217400	Enzo Doria	08/2016
992	(109*10^217360-1)/9	217362	Serge Batalov	12/2014
993	2^721721-4453	217260	Yves Minet	03/2021
994	281*499979#/46410-2702372	216849	Robert Smith	08/2016
995	281*499979#/46410+2400766	216849	Robert Smith	08/2016
996	tau(311^15786)	216429	Nik Lygeros / Olivier Rozier / LR team	10/2013
997	2^718756-114107	216368	Enzo Doria	12/2014
998	2^717672+121	216041	Stefano Morozzi	05/2021
999	2^717305+80327	215931	Enzo Doria	07/2016
1000	2^717069-59773	215860	Enzo Doria	10/2015

Find by discoverer :

PRP Records

Probable Primes Top 10000

(290751 PRPs in the top)