factordbrpc · fdb
Sign in
primality proofs
deterministic special-form proofs · Combined N-1/N+1 (Brillhart-Lehmer-Selfridge)
DigitsNumberMethodWitness
105,885 (2^351717+2^234478)*4645679+1-2^117241 Combined Brillhart-Lehmer-Selfridge
86,138 ((2^190738-1)*84741735735+4)*2^95369+5 Combined Brillhart-Lehmer-Selfridge
86,138 ((2^190738-1)*84741735735+4)*2^95369-1 Combined Brillhart-Lehmer-Selfridge
86,138 ((2^190738-1)*74018908351+4)*2^95369-1 Combined Brillhart-Lehmer-Selfridge
86,138 ((2^190738-1)*29571282950+4)*2^95369+3 Combined Brillhart-Lehmer-Selfridge
72,484 2^240778*267+1 Combined Brillhart-Lehmer-Selfridge
58,711 8^65000*1477277877-1 Combined Brillhart-Lehmer-Selfridge
45,259 7359853330…41<45259> Combined Brillhart-Lehmer-Selfridge
30,094 (40^9392+1)^2-2 Combined Brillhart-Lehmer-Selfridge
25,968 (2^86243-1)*1311784+1 Combined Brillhart-Lehmer-Selfridge
23,195 10^23194+10^11597-1 Combined Brillhart-Lehmer-Selfridge
23,175 6817!/19-1 Combined Brillhart-Lehmer-Selfridge
23,056 6786!/7-1 Combined Brillhart-Lehmer-Selfridge
19,666 4000005556^2048+1 Combined Brillhart-Lehmer-Selfridge
18,829 10^18828*9-89 Combined Brillhart-Lehmer-Selfridge
15,000 2^49801*164581485+1 Combined Brillhart-Lehmer-Selfridge
13,051 (4105!)/79-1 Combined Brillhart-Lehmer-Selfridge
12,917 1187807511…31<12917> Combined Brillhart-Lehmer-Selfridge
12,044 3825!/10-1 Combined Brillhart-Lehmer-Selfridge
10,678 131071^2085*74033896+1 Combined Brillhart-Lehmer-Selfridge
10,615 (2^511-513)^69*2+1 Combined Brillhart-Lehmer-Selfridge
10,247 131071^2001*2228208+1 Combined Brillhart-Lehmer-Selfridge
7,409 lucas(35449) Combined Brillhart-Lehmer-Selfridge
5,253 (7^6219+132)/475 Combined Brillhart-Lehmer-Selfridge
5,253 (7^6218+467)/516 Combined Brillhart-Lehmer-Selfridge
4,926 (5^7050+62)/63 Combined Brillhart-Lehmer-Selfridge
4,914 (12427^1201-1)/12426 Combined Brillhart-Lehmer-Selfridge
4,475 (5^6405+422)/421 Combined Brillhart-Lehmer-Selfridge
4,251 (17^3456+47)/48 Combined Brillhart-Lehmer-Selfridge
4,250 (17^3456+1063)/1064 Combined Brillhart-Lehmer-Selfridge
4,141 248^1729-247 Combined Brillhart-Lehmer-Selfridge
3,718 (47^2224+23)/24 Combined Brillhart-Lehmer-Selfridge
3,655 (10^3658-232)/9768 Combined Brillhart-Lehmer-Selfridge
3,640 (3^7634-752)/671 Combined Brillhart-Lehmer-Selfridge
3,619 (3^7591+851)/854 Combined Brillhart-Lehmer-Selfridge
3,511 (2207^1051-1)/2206 Combined Brillhart-Lehmer-Selfridge
3,358 (9939^1225-1)/(9939^245-1)/424596768198… Combined Brillhart-Lehmer-Selfridge
3,295 (6494^1512+1)/(6494^504+1)/100408143617… Combined Brillhart-Lehmer-Selfridge
3,237 (2970004^625-1)/(2970004^125-1) Combined Brillhart-Lehmer-Selfridge
3,228 (6945^1225+1)/(6945^245+1)/682519415700… Combined Brillhart-Lehmer-Selfridge
3,216 2^10680-2^3223-1 Combined Brillhart-Lehmer-Selfridge
3,200 ((10^100-2410)^40+1)/((10^100-2410)^8+1) Combined Brillhart-Lehmer-Selfridge
3,119 2^10361+2^2840+1 Combined Brillhart-Lehmer-Selfridge
3,107 (13^2790-203)/34 Combined Brillhart-Lehmer-Selfridge
3,107 (19^2430-10)/9 Combined Brillhart-Lehmer-Selfridge
2,999 2^9960-2^2971-1 Combined Brillhart-Lehmer-Selfridge
2,942 2^9771+2^1421+1 Combined Brillhart-Lehmer-Selfridge
2,902 2^9639+2^2911+1 Combined Brillhart-Lehmer-Selfridge
2,898 2^9626+2^1233+1 Combined Brillhart-Lehmer-Selfridge
2,881 2^9570+2^1903+1 Combined Brillhart-Lehmer-Selfridge
2,878 2^9560-2^2261-1 Combined Brillhart-Lehmer-Selfridge
2,868 2^9526+2^1683+1 Combined Brillhart-Lehmer-Selfridge
2,836 2^9419+2^2970+1 Combined Brillhart-Lehmer-Selfridge
2,823 2^9375+2^1003+1 Combined Brillhart-Lehmer-Selfridge
2,812 (7^3330+579)/628 Combined Brillhart-Lehmer-Selfridge
2,810 2^9332+2^2601+1 Combined Brillhart-Lehmer-Selfridge
2,809 1010321797…17<2809> Combined Brillhart-Lehmer-Selfridge
2,796 (579^1058+579^529+1)/(579^46+579^23+1) Combined Brillhart-Lehmer-Selfridge
2,795 3^5856+3^1152+1 Combined Brillhart-Lehmer-Selfridge
2,783 2^9243+2^2974+1 Combined Brillhart-Lehmer-Selfridge
2,782 3^5830+3^1306+1 Combined Brillhart-Lehmer-Selfridge
2,764 2^9180+2^1341+1 Combined Brillhart-Lehmer-Selfridge
2,752 3^5766+3^1399+1 Combined Brillhart-Lehmer-Selfridge
2,723 3^5707+3^1876+1 Combined Brillhart-Lehmer-Selfridge
2,715 2^9018+2^2173+1 Combined Brillhart-Lehmer-Selfridge
2,708 2^8993+2^1860+1 Combined Brillhart-Lehmer-Selfridge
2,679 2^8899+2^1657+1 Combined Brillhart-Lehmer-Selfridge
2,650 2^8802-2^1257-1 Combined Brillhart-Lehmer-Selfridge
2,623 (15922^628+1)/64267362689687057 Combined Brillhart-Lehmer-Selfridge
2,620 2^8701+2^2670+1 Combined Brillhart-Lehmer-Selfridge
2,536 (8177^652+1)/4470704764962242 Combined Brillhart-Lehmer-Selfridge
2,495 2^8287+2^2289+1 Combined Brillhart-Lehmer-Selfridge
2,473 2^8212-2^2546-1 Combined Brillhart-Lehmer-Selfridge
2,467 2^8193+2^228+1 Combined Brillhart-Lehmer-Selfridge
2,434 2^8084+2^329+1 Combined Brillhart-Lehmer-Selfridge
2,402 6523756603…73<2402> Combined Brillhart-Lehmer-Selfridge
2,383 2^7916-2^2377-1 Combined Brillhart-Lehmer-Selfridge
2,357 2^7827-2^487-1 Combined Brillhart-Lehmer-Selfridge
2,312 (205^1004+1)/(205^4+1) Combined Brillhart-Lehmer-Selfridge
2,302 2^7645+2^2526+1 Combined Brillhart-Lehmer-Selfridge
2,299 2^7635+2^2257+1 Combined Brillhart-Lehmer-Selfridge
2,250 2^7473+2^2178+1 Combined Brillhart-Lehmer-Selfridge
2,245 (14319^891-1)/(14319^297-1)/26259424908… Combined Brillhart-Lehmer-Selfridge
2,221 2^7376+2^369+1 Combined Brillhart-Lehmer-Selfridge
2,200 2^7307+2^2279+1 Combined Brillhart-Lehmer-Selfridge
2,195 3^4599+3^33+1 Combined Brillhart-Lehmer-Selfridge
2,192 2^7281+2^1188+1 Combined Brillhart-Lehmer-Selfridge
2,170 2^7206+2^2147+1 Combined Brillhart-Lehmer-Selfridge
2,161 1000661^360-2 Combined Brillhart-Lehmer-Selfridge
2,159 2^7170+2^1987+1 Combined Brillhart-Lehmer-Selfridge
2,120 2^7041+2^2150+1 Combined Brillhart-Lehmer-Selfridge
2,076 3^4351+3^1389+1 Combined Brillhart-Lehmer-Selfridge
2,050 2^6809+2^2106+1 Combined Brillhart-Lehmer-Selfridge
2,018 2^6702+2^1113+1 Combined Brillhart-Lehmer-Selfridge
2,000 10^1999+8^1553+1 Combined Brillhart-Lehmer-Selfridge
2,000 (2^6615-2^4412)*150890747+2^2205+1 Combined Brillhart-Lehmer-Selfridge
1,999 (2^6615-2^4412)*10557392+2^2205+1 Combined Brillhart-Lehmer-Selfridge
1,984 3^4158+3^1034+1 Combined Brillhart-Lehmer-Selfridge
1,974 (2^6567+455)/3641 Combined Brillhart-Lehmer-Selfridge
1,958 2^6504+2^1777+1 Combined Brillhart-Lehmer-Selfridge
‹ Prev showing 1-100 Next ›
From the command linefdb · curl
fdb
fdb proof-list --type 3 --min-digits 1 --descending --skip 0 --limit 100
curl
curl -s 'https://factordb.com:4059/rpc' -H 'Content-Type: application/json' -d '{"jsonrpc":"2.0","id":1,"method":"proof_list","params":{"type_id":3,"min_digits":1,"descending":true,"skip":0,"limit":100}}'