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 '417426934613243377628765609708583414998424809081544919227099469419902072379478297962743281413970617582537869906751327420788947618743336558953041968677481641744036797534992169448465680441272889057705409409166695255611454023287096218862771506531364874414472724896186249993454586405282955102584589970189198069661248851491328888053988877492448635348000457410418012098287694462156605428492463182286362136816372029962502956989654758810360430629051660620986675603635304675384870731651358789537454462713681012471184767030499458724538511221517041665399640249732590962952608436946860425258749255349810459301803960557469052101863740604972547352888051631365400802267150583022078773855144050638374246121716939452577344633047446751372777263348794746878464919352914096274478648198212522391763104968336033734319963336509755792802057430909260072021607277091657306191074613499235074744558744464402875546506180386633596118715857308344044475204711643362994451781750818322939651150914344847826752111071217512550791940483036780067486157501122754535029435733946604256598148607114287206436574765710332652029389878899092091008887834382784764588529142395990700628883058655239065131859737827879118779296342195474211229316720104579803199512943337918332066474506055821555220621885191871650650969993062501666210116210743112747232408930149338212482415892780167703130373826400160883446621687587410267642047394957426939244758189166925046611465987342941458281764423402025598568398410519318078495840962032237154363269096621266766220127259' --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":"417426934613243377628765609708583414998424809081544919227099469419902072379478297962743281413970617582537869906751327420788947618743336558953041968677481641744036797534992169448465680441272889057705409409166695255611454023287096218862771506531364874414472724896186249993454586405282955102584589970189198069661248851491328888053988877492448635348000457410418012098287694462156605428492463182286362136816372029962502956989654758810360430629051660620986675603635304675384870731651358789537454462713681012471184767030499458724538511221517041665399640249732590962952608436946860425258749255349810459301803960557469052101863740604972547352888051631365400802267150583022078773855144050638374246121716939452577344633047446751372777263348794746878464919352914096274478648198212522391763104968336033734319963336509755792802057430909260072021607277091657306191074613499235074744558744464402875546506180386633596118715857308344044475204711643362994451781750818322939651150914344847826752111071217512550791940483036780067486157501122754535029435733946604256598148607114287206436574765710332652029389878899092091008887834382784764588529142395990700628883058655239065131859737827879118779296342195474211229316720104579803199512943337918332066474506055821555220621885191871650650969993062501666210116210743112747232408930149338212482415892780167703130373826400160883446621687587410267642047394957426939244758189166925046611465987342941458281764423402025598568398410519318078495840962032237154363269096621266766220127259"},"decimal":false,"detail":2}}'