factordbrpc · fdb
Sign in
Show
Open
Inverse home prime · Base 15 of 5158 length 21 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
1 Fully factored 5 38687 11×3517
2 Fully factored 5 52766 2×7×3769
3 Fully factored 6 848132 22×43×4931
4 Fully factored 9 249641582 2×124820791
5 Fully factored 10 1872311867<10> 31×53×131×8699
6 Fully factored 11 99093690706<11> 2×47×1054188199<10>
7 Fully factored 13 3557885172…32<13> 22×81551×10906933
8 Fully factored 16 1863551773…82<16> 2×72×72547×262117447
9 Fully factored 18 6717783478…82<18> 2×43×261439×29878388983<11>
10 Fully factored 20 7657504301…47<20> 13×173×269×1567×53639×1505899
11 Fully factored 23 4396160017…58<23> 2×7×3140114297…97<22>
12 Fully factored 24 7065257170…32<24> 24×17×23017×1128522838…93<18>
13 Fully factored 29 6507631359…07<29> 11×13×258691×1915591×9183385135…29<15>
14 Fully factored 31 1787265886…81<31> 7×5081×5025067860…43<26>
15 Fully factored 32 3815910906…47<32> 13×2935316082…19<31>
16 Fully factored 32 4402974123…98<32> 2×73×3137×17597×5463112256…67<22>
17 Fully factored 34 3150305816…72<34> 22×29×1315801×2436121931<10>×8472381286…57<16>
18 Fully factored 38 1252126350…82<38> 2×139×211×14561×47087×914211637×3405508240…81<15>
19 Fully factored 40 1698628379…62<40> 2×7×13×92644271227<11>×141171393953<12>×7136112947…11<15>
20 Composite 42 8008675066…57<42> 19×103×163×2510627279…27<37>
↳ Open Open - the last known term is composite and not yet fully factored.
Open end - submit a factor of the remaining composite (37 digits) of term #20:
2510627279900834026887344554514222927
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 '5158' --type 65 --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":"5158"},"type":65,"part":"last20","fr":0}}'