factordbrpc · fdb
Sign in
Show
Open
Inverse home prime · Base 31 of 25 length 11 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
0 Fully factored 2 25 52
1 Fully factored 3 160 25×5
2 Fully factored 9 145054365 3×5×9670291
3 Fully factored 10 9293149809<10> 32×432×157×3557
4 Fully factored 16 3033872798…76<16> 23×43×47×421×445716767
5 Fully factored 23 1178458292…84<23> 22×3×9820485768…07<21>
6 Fully factored 26 2925620915…84<26> 24×23×569×1397198037…77<21>
7 Fully factored 31 3844057044…17<31> 17×37×1627×643589×10180231×573304538861<12>
8 Fully factored 35 1345274120…72<35> 24×32×16409104969<11>×5693291261…77<22>
9 Fully factored 42 1390162029…80<42> 22×5×37×38629×107348573×4530268694…91<26>
10 Composite 49 1063039418…39<49> 3×131×307×5349853×1646935511…13<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 #10:
1646935511328967643454140276667121913
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 '25' --type 81 --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":"25"},"type":81,"part":"last20","fr":0}}'