factordbrpc · fdb
Sign in
Show
Open
Inverse home prime · Base 4 of 402 length 34 Not fully computed yet - the last known term is composite. ↓ .elf file
Show sequence-development graph
Term size (digits) across the sequence
How the sequence develops - decimal digits of each term vs iteration.
nStatus DigitsTermFactorization
14 Fully factored 12 406400500654<12> 2×491×19309×21433
15 Fully factored 13 5753456220…78<13> 2×33×7×31×490993021
16 Fully factored 15 1287108746…46<15> 2×643×262321×381541
17 Fully factored 16 1638707191…26<16> 2×29×31×79×947×12182449
18 Fully factored 17 5232322401…82<17> 2×3×17×5129727844…41<15>
19 Fully factored 18 5252841312…70<18> 2×5×5252841312…27<17>
20 Fully factored 19 3361818440…50<19> 2×32×52×19×67×5868584167…39<13>
21 Fully factored 22 1575336066…74<22> 2×79×501029×1990000865…57<14>
22 Fully factored 23 2136747159…82<23> 2×33×47×647×125933×103327920089<12>
23 Fully factored 24 4544409984…18<24> 2×13×641×9439×76603×37711548319<11>
24 Fully factored 26 1061485718…18<26> 2×7×7582040846…37<24>
25 Fully factored 26 4852506141…98<26> 2×499×1319×21401×1722489923…79<16>
26 Fully factored 28 1893897699…42<28> 2×3×863×20599×1775613068…61<20>
27 Fully factored 29 1906550014…02<29> 2×31×3075080669…21<27>
28 Fully factored 29 7872206512…02<29> 2×1409×2793543829…39<26>
29 Fully factored 30 4576942210…14<30> 2×3×38055679×2004493736…11<22>
30 Fully factored 31 2152308760…42<31> 2×967×1112879400…13<28>
31 Fully factored 31 4558354024…18<31> 2×19×167×233×92876359229<11>×3319302860…19<14>
32 Fully factored 33 1530758259…58<33> 2×33776967391<11>×2265979419…69<22>
33 Composite 33 6228676800…02<33> 2×3114338400…51<33>
↳ Open Open - the last known term is composite and not yet fully factored.
Open end - submit a factor of the remaining composite (33 digits) of term #33:
311433840002679045945097288367551
Check for factors - let the server run a small P-1 / P+1 / ECM step on the composite:
level 0 done · takes up to a minute
From the command linefdb · curl
fdb
fdb seq view '402' --type 14 --part last20
curl
curl -s 'https://factordb.com:4059/rpc' -H 'Content-Type: application/json' -d '{"jsonrpc":"2.0","id":1,"method":"sequence_view","params":{"start":{"expr":"402"},"type":14,"part":"last20","fr":0}}'