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 ?
751	2^653851+82295	196829	Enzo Doria	09/2016
752	2^653636-29429	196765	Enzo Doria	08/2015
753	2^653601-69673	196754	Enzo Doria	02/2016
754	(44*10^196684+1)/9	196685	Serge Batalov	07/2010
755	2^652786-1852571	196509	Enzo Doria	08/2015
756	2^652752-1325	196498	Yves Minet	07/2015
757	2^652470-1859141	196414	Enzo Doria	10/2015
758	2^652307+1877483	196364	Enzo Doria	08/2016
759	2^652293-115273	196360	Enzo Doria	06/2015
760	2^651218-1868201	196037	Enzo Doria	04/2016
761	2^651047-49687	195985	Enzo Doria	10/2015
762	2^650285-2785333	195756	Enzo Doria	10/2015
763	(69^106397-1)/68	195647	Paul Bourdelais	10/2017
764	2^649811+1877573	195613	Enzo Doria	08/2016
765	2^649586+182839	195545	Enzo Doria	11/2016
766	2^649537-1867363	195531	Enzo Doria	04/2016
767	2^649536-1861499	195530	Enzo Doria	12/2015
768	(103*10^195478-1)/3	195480	Serge Batalov	12/2014
769	2^649102-59351	195400	Enzo Doria	10/2015
770	(2*10^195399+529)/9	195399	Robert Price	01/2018
771	2^648988+1178971	195365	Enzo Doria	06/2016
772	2^648975-114319	195361	Enzo Doria	02/2015
773	(11*10^195350-137)/9	195351	Robert Price	01/2018
774	2^648619-24835	195254	Enzo Doria	09/2013
775	2^648190-24737	195125	Enzo Doria	09/2013
776	(57^111119+1)/58	195110	Paul Bourdelais	10/2017
777	11^187185-90	194934	Enzo Doria	09/2012
778	2^647068+77281	194787	Enzo Doria	05/2016
779	15^165559-14^165559	194713	Jean-Louis Charton	03/2011
780	F(931517)	194676	Henri Lifchitz	09/2008
781	2^646589+1179407	194643	Enzo Doria	06/2016
782	2^646289-114621	194553	Enzo Doria	05/2015
783	2^646236-39659	194537	Enzo Doria	09/2015
784	2^646161-59833	194514	Enzo Doria	11/2015
785	2*10^194413+3	194414	Robert Price	07/2015
786	2^645360-1848599	194273	Enzo Doria	08/2015
787	(112*10^194150-1)/3	194152	Serge Batalov	12/2014
788	2*10^193981-43	193982	Robert Price	04/2018
789	2^644382+75169	193979	Enzo Doria	04/2016
790	2^644304-1861409	193955	Enzo Doria	11/2015
791	5*10^193907-9	193908	Robert Price	05/2015
792	2^644043+1876703	193877	Enzo Doria	07/2016
793	2^643735+1879733	193784	Enzo Doria	09/2016
794	(5^277183+1)/6	193742	Paul Bourdelais	07/2010
795	2^643216-286565	193628	Enzo Doria	07/2015
796	2^642888-24965	193529	Enzo Doria	09/2013
797	2^642448-114825	193397	Enzo Doria	05/2015
798	2^642437-1856623	193393	Enzo Doria	10/2015
799	2^642039-59797	193273	Enzo Doria	11/2015
800	10^193230-8001	193230	Robert Price	03/2018
801	2^641692-286349	193169	Enzo Doria	07/2015
802	2^641690-24737	193168	Enzo Doria	09/2013
803	2^641514+1876549	193115	Enzo Doria	07/2016
804	2^640888-2785619	192927	Enzo Doria	10/2015
805	2^640874-2783741	192923	Enzo Doria	09/2015
806	2^640181+467	192714	Lelio R Paula	08/2013
807	2^639536-1850249	192520	Enzo Doria	08/2015
808	2^639110-2792441	192392	Enzo Doria	02/2016
809	2^638955-29827	192345	Enzo Doria	08/2015
810	2^638713-2784223	192272	Enzo Doria	10/2015
811	2^638490-113507	192205	Enzo Doria	08/2014
812	2^638189-39943	192115	Enzo Doria	09/2015
813	2^638110+1877119	192091	Enzo Doria	07/2016
814	2^638066-2785211	192078	Enzo Doria	10/2015
815	2^637475-115309	191900	Enzo Doria	07/2015
816	2^636661+1876577	191655	Enzo Doria	07/2016
817	(34^125101-1)/33	191589	Paul Bourdelais	11/2017
818	2^636177-1855123	191509	Enzo Doria	09/2015
819	2^636158-113627	191503	Enzo Doria	08/2014
820	(37*25^136966+63)/4	191472	Curtis Bright	05/2015
821	2^636035+79823	191466	Enzo Doria	06/2016
822	2^636011-1860847	191459	Enzo Doria	11/2015
823	2^635926-1860611	191433	Enzo Doria	11/2015
824	3*10^191152-7	191153	Robert Price	08/2015
825	2^634883-1865677	191119	Enzo Doria	02/2016
826	2^634801+1871957	191095	Enzo Doria	05/2016
827	(35*10^191073+1)/9	191074	Serge Batalov	07/2010
828	2^634470-59861	190995	Enzo Doria	11/2015
829	2^634368-29519	190964	Enzo Doria	08/2015
830	2^634188-350609	190910	Enzo Doria	06/2015
831	(7*10^190683+143)/3	190684	Robert Price	03/2018
832	2^633088-113879	190579	Enzo Doria	10/2014
833	2^633064+1874911	190572	Enzo Doria	06/2016
834	2^632795-351205	190491	Enzo Doria	06/2015
835	2^632156+78391	190298	Enzo Doria	06/2016
836	2^632082-1851971	190276	Enzo Doria	08/2015
837	2^632020+1880311	190257	Enzo Doria	09/2016
838	2^631637-462373	190142	Enzo Doria	08/2015
839	2^631122-39251	189987	Enzo Doria	08/2015
840	2^630839-97	189902	Yves Minet	07/2017
841	2^630359+1788953	189757	Enzo Doria	05/2016
842	2^630228+1871971	189718	Enzo Doria	05/2016
843	2^630108+781	189682	Lelio R Paula	08/2013
844	2^629870-1867811	189610	Enzo Doria	04/2016
845	(359^74189-1)/358	189558	Alexander Zhirkov	11/2017
846	2^629326+2792929	189447	Enzo Doria	02/2016
847	(10^189385-61)/3	189385	Serge Batalov	12/2014
848	2^629036+1874011	189359	Enzo Doria	06/2016
849	2^628930+80779	189327	Enzo Doria	07/2016
850	2^628582+1179439	189223	Enzo Doria	06/2016
851	2^627037-2785843	188757	Enzo Doria	10/2015
852	L(901657)	188436	Renaud Lifchitz	11/2008
853	2^625651+74213	188340	Enzo Doria	04/2016
854	2^625584-460919	188320	Enzo Doria	06/2015
855	(10^188164+359)/9	188164	Serge Batalov	12/2014
856	2^624481-113611	187988	Enzo Doria	08/2014
857	2^624077-112723	187866	Enzo Doria	07/2014
858	2^624008+1874941	187846	Enzo Doria	06/2016
859	2^623870+78679	187804	Enzo Doria	05/2016
860	2^623714-114035	187757	Enzo Doria	11/2014
861	2^623651-1834251	187738	Enzo Doria	07/2015
862	2^623146+1879609	187586	Enzo Doria	09/2016
863	2^622500+81931	187392	Enzo Doria	08/2016
864	2^622300-1861739	187331	Enzo Doria	12/2015
865	2^622052+76771	187257	Enzo Doria	05/2016
866	2^622005-24091	187243	Enzo Doria	08/2013
867	2^621879-351787	187205	Enzo Doria	07/2015
868	2^621700+79411	187151	Enzo Doria	06/2016
869	(2*10^187062-71)/3	187062	Robert Price	12/2017
870	2^620929-113203	186919	Enzo Doria	07/2014
871	10^186842-8001	186842	Robert Price	03/2018
872	2^620347-1777	186744	Lelio R Paula	07/2013
873	11^179143-4170	186559	Enzo Doria	12/2012
874	(5^266863+1)/6	186529	Paul Bourdelais	07/2010
875	2^619297-2792353	186427	Enzo Doria	02/2016
876	2^618940-460139	186320	Enzo Doria	06/2015
877	2^618046+74179	186051	Enzo Doria	04/2016
878	2*10^185930-3	185931	Robert Price	07/2015
879	(82^97151+1)/83	185928	Paul Bourdelais	10/2017
880	2^617250+9385	185811	Lelio R Paula	07/2013
881	39^116749+2	185756	Robert Price	04/2015
882	2^616924-39719	185713	Enzo Doria	09/2015
883	2^616712+1867621	185649	Enzo Doria	04/2016
884	(3^388897+2^388897)/5	185551	Jean-Louis Charton	09/2011
885	4*10^185355+9	185356	Robert Price	05/2015
886	2^615622+76639	185321	Enzo Doria	05/2016
887	2^615591+1879223	185312	Enzo Doria	08/2016
888	2^615503+1876643	185285	Enzo Doria	07/2016
889	5^265007-4^265007	185232	Jean-Louis Charton	02/2013
890	(4*10^185221-91)/3	185222	Robert Price	03/2018
891	2^614783-2790097	185069	Enzo Doria	12/2015
892	2^614745-29323	185057	Enzo Doria	07/2015
893	(((((((((((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
894	(14*10^184950+211)/9	184951	Robert Price	04/2018
895	2^614315+81353	184928	Enzo Doria	08/2016
896	2^614294-1849961	184921	Enzo Doria	08/2015
897	2^614266+1877809	184913	Enzo Doria	08/2016
898	2^613715-1860727	184747	Enzo Doria	11/2015
899	2^613487-349987	184678	Enzo Doria	07/2015
900	(95^93377+1)/96	184672	Paul Bourdelais	11/2017
901	14^161089-161089^14	184629	Serge Batalov	05/2016
902	2^613033-114621	184542	Enzo Doria	05/2015
903	(9^193247+1)/10	184404	Paul Bourdelais	02/2010
904	2^612341-1604809	184334	Enzo Doria	05/2015
905	(2^611999-1)/18464214225958267477777390354183	184199	Dario Alpern	06/2017
906	3*10^184124-7	184125	Robert Price	08/2015
907	2^611628-24537	184119	Enzo Doria	08/2013
908	2^611460+71881	184068	Enzo Doria	04/2016
909	2^610982-1867301	183924	Enzo Doria	03/2016
910	2^610597+1178897	183809	Enzo Doria	05/2016
911	(28*10^183760-1)/9	183761	Serge Batalov	10/2014
912	2^610401+1277	183750	Lelio R Paula	07/2013
913	2^610356-1849019	183736	Enzo Doria	08/2015
914	(63^102103+1)/64	183717	Paul Bourdelais	10/2017
915	(4*10^183659+149)/9	183659	Robert Price	04/2018
916	2^609846-1834251	183582	Enzo Doria	07/2015
917	11^176176-240	183469	Enzo Doria	11/2012
918	(41^113749+1)/42	183451	Paul Bourdelais	11/2017
919	(101^91463+1)/102	183320	Paul Bourdelais	11/2017
920	2^608965-113989	183317	Enzo Doria	10/2014
921	A005165(43592)	183312	Serge Batalov	07/2017
922	2^608814-461261	183272	Enzo Doria	06/2015
923	(163*10^183227-1)/9	183229	Serge Batalov	12/2014
924	2^608541-608541^2	183190	Henri Lifchitz	02/2018
925	2^608293+143807	183115	Enzo Doria	10/2016
926	2^608164-462419	183076	Enzo Doria	08/2015
927	2^607950-1862303	183012	Enzo Doria	12/2015
928	2^607101+1871987	182756	Enzo Doria	05/2016
929	2^606869-69175	182686	Enzo Doria	11/2015
930	2^606560-357	182593	Enzo Doria	05/2014
931	2^605687+1866983	182330	Enzo Doria	03/2016
932	2^605655-114445	182321	Enzo Doria	02/2015
933	(20^140053+1)/21	182212	Paul Bourdelais	04/2010
934	(14*10^182177-221)/9	182178	Robert Price	04/2018
935	2^605174-112751	182176	Enzo Doria	06/2014
936	2^604761+1874507	182052	Enzo Doria	06/2016
937	2^604705+1871957	182035	Enzo Doria	05/2016
938	(14*10^182000+229)/9	182001	Robert Price	03/2018
939	(10^181996+41)/3	181996	Robert Price	12/2017
940	(5*10^181950-101)/3	181951	Robert Price	04/2018
941	2^603915+75233	181797	Enzo Doria	04/2016
942	11^174145-360	181354	Enzo Doria	10/2012
943	2^602351-396765	181326	Enzo Doria	08/2013
944	2^601957-113833	181208	Enzo Doria	09/2014
945	66^99581-65^99581	181193	Robert Price	09/2013
946	10^181182+383973	181183	Patrick De Geest	04/2016
947	10^181182-21	181182	Serge Batalov	12/2014
948	(5*10^181127-29)/3	181128	Robert Price	03/2018
949	2^601521-29143	181076	Enzo Doria	07/2015
950	2^601442-2797811	181053	Enzo Doria	04/2016
951	5*10^180992-9	180993	Robert Price	05/2015
952	10^180979+79477	180980	Patrick De Geest	04/2016
953	10^180979+107739	180980	Patrick De Geest	04/2016
954	10^180979-11	180979	Serge Batalov	12/2014
955	2^601023-113851	180926	Enzo Doria	10/2014
956	2^600300-1852559	180709	Enzo Doria	08/2015
957	(10^180689+71)/9	180689	Serge Batalov	07/2015
958	2^600209+76487	180681	Enzo Doria	05/2016
959	2^599702-369885	180529	Enzo Doria	11/2013
960	Tau(643^11688)	180524	Nik Lygeros / Olivier Rozier	05/2015
961	(2951*29^123418-3)/4	180490	Curtis Bright	05/2015
962	2^598942+80779	180300	Enzo Doria	07/2016
963	2^598591-1844797	180194	Enzo Doria	06/2015
964	(100^90089+1)/101	180176	Paul Bourdelais	08/2017
965	(4*10^179963-79)/3	179964	Robert Price	02/2018
966	Gamma-Prime(179849)	179849	Eric W. Weisstein	06/2011
967	2^597424-1859729	179843	Enzo Doria	11/2015
968	Phi(180683,10)	179760	Maksym Voznyy	09/2015
969	(10^180683-1)*9/(10^643-1)/(10^281-1)	179760	Robert Price	07/2016
970	(3^376657-2^376657)/22301107657	179701	Mike Oakes	04/2017
971	2^596690-461261	179622	Enzo Doria	07/2015
972	2^596684-113939	179620	Enzo Doria	10/2014
973	3^375887-112696	179344	Enzo Doria	07/2014
974	2^595144-1850429	179157	Enzo Doria	08/2015
975	2^594531+82253	178972	Enzo Doria	09/2016
976	2^594260-2787899	178891	Enzo Doria	11/2015
977	2^593631+101381	178701	Jorge Menendez	04/2018
978	10^178695+136719	178696	Patrick De Geest	05/2016
979	10^178695-71	178695	Serge Batalov	12/2014
980	(2^148330+1)^4-2	178608	Cletus Emmanuel	12/2003
981	2^593222-14145	178578	Jorge Menendez	10/2017
982	2^593178+1867219	178565	Enzo Doria	03/2016
983	(18^142031-1)/17	178287	Paul Bourdelais	03/2010
984	2^591872-291929	178172	Enzo Doria	07/2015
985	2^591682-286871	178115	Enzo Doria	07/2015
986	4*10^178091+9	178092	Robert Price	05/2015
987	410747#+478483	178007	Makoto Morimoto	02/2016
988	2^590762-396765	177838	Enzo Doria	08/2013
989	(136*10^177754-1)/9	177756	Serge Batalov	12/2014
990	ReverseConsecutiveIntegerPrime(37765)	177719	Eric W. Weisstein	04/2010
991	2^589204+1881151	177369	Enzo Doria	11/2016
992	2^589132-69479	177347	Enzo Doria	01/2016
993	2^588912-113519	177281	Enzo Doria	08/2014
994	15^150706+2	177245	Robert Price	06/2015
995	2^588194-1861001	177065	Enzo Doria	11/2015
996	2^587560-113699	176874	Enzo Doria	09/2014
997	5^252763-12862	176674	Enzo Doria	05/2014
998	2^586804+81721	176646	Enzo Doria	08/2016
999	(10^176584+77)/3	176584	Robert Price	01/2018
1000	2^586570+1874419	176576	Enzo Doria	06/2016

Find by discoverer :

PRP Records

Probable Primes Top 10000

(205869 PRPs in the top)