PRP · Probable prime
Enter a value, an expression, or a term with a variable like 10^n+1 to list a range.
Switch to Database id to look a number up by its stored id.
Reading never stores anything; use Create to add a number to the database.
See the expression syntax & functions reference.
Is factor of
Primality
This is a probable prime: it passes probabilistic tests but is not yet proven.
Build an ECPP certificate (for example with Primo) and upload it - it is stored and verified locally, then the number is promoted to proven prime.
Primo input filedownload .in
From the command linefdb · curl
fdb
fdb number '25581040239401769351984751808825015355855998362703393979599599610478436789945825834395547648209791114475863053553117153563354816906199358665191148322704249241313212141841496707262486560920455398056256185318446779916724527156710396186234324589749066736060752042859643164952574592784354974379890585260702790669118409513826723246669466117335398096406211570123662784257060311114212225156095247948792909316943503613994451012616638407819427938985728283119727389115977512362190378566044762720592543880555034321254873352512341687593625070678539940270124135520251712851322458984125976352263441463973290678947198542075958211697926017843410797221776568520783823946845158019335393611693343210669479305660421632788924997141233195437643305575516515791079554007620184090690376650584730268214014002010216320124855081483834058946552012319126618322508498287146391314545514275690257621346893134865034041372537457499036243354674396629034688196826381833240158205534658941822029846282980399249619641227981906886455571247757506359432675855855736071872274799753641485401035410097751312229697684082286034486422237858865448318545521468908560544283781961022971707942187957568206396340435115537305009480876232635073134731807117870582954822710682690808441276606236511619210263986719478877452473678367856757680192582354167733933921375792264466165113097191169230758970888668090163340808091690963941410620420304462452108102305911484055726986543066418877803515966180507617638248806075087379198757418413107081629368331370364952546295962815975715797419691014570886642570205900639900111856608556167771468797836766792779658827052471432579803742415942893533674062000036698377898754759827426792220972709529070926942438297097319375220834540767585413600607161593188662087530620258073726296784996291386858325460670951171910621704036774461734580436593689468056668761366301680675234618096618848438808948636795099618362981' --detail 2
curl
curl -s 'https://factordb.com:4059/rpc' -H 'Content-Type: application/json' -d '{"jsonrpc":"2.0","id":1,"method":"get_number","params":{"target":{"expr":"25581040239401769351984751808825015355855998362703393979599599610478436789945825834395547648209791114475863053553117153563354816906199358665191148322704249241313212141841496707262486560920455398056256185318446779916724527156710396186234324589749066736060752042859643164952574592784354974379890585260702790669118409513826723246669466117335398096406211570123662784257060311114212225156095247948792909316943503613994451012616638407819427938985728283119727389115977512362190378566044762720592543880555034321254873352512341687593625070678539940270124135520251712851322458984125976352263441463973290678947198542075958211697926017843410797221776568520783823946845158019335393611693343210669479305660421632788924997141233195437643305575516515791079554007620184090690376650584730268214014002010216320124855081483834058946552012319126618322508498287146391314545514275690257621346893134865034041372537457499036243354674396629034688196826381833240158205534658941822029846282980399249619641227981906886455571247757506359432675855855736071872274799753641485401035410097751312229697684082286034486422237858865448318545521468908560544283781961022971707942187957568206396340435115537305009480876232635073134731807117870582954822710682690808441276606236511619210263986719478877452473678367856757680192582354167733933921375792264466165113097191169230758970888668090163340808091690963941410620420304462452108102305911484055726986543066418877803515966180507617638248806075087379198757418413107081629368331370364952546295962815975715797419691014570886642570205900639900111856608556167771468797836766792779658827052471432579803742415942893533674062000036698377898754759827426792220972709529070926942438297097319375220834540767585413600607161593188662087530620258073726296784996291386858325460670951171910621704036774461734580436593689468056668761366301680675234618096618848438808948636795099618362981"},"decimal":false,"detail":2}}'