factordbrpc · fdb
Sign in
Show
Open
Inverse home prime · Base 20 of 807 length 25 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
5 Fully factored 9 574897427 13×44222879
6 Fully factored 9 884457593 149×1399×4243
7 Fully factored 11 13578159749<11> 72×11×25191391
8 Fully factored 12 201531132547<12> 19×53×200130221
9 Fully factored 13 1601041769…79<13> 3×10337×51628189
10 Fully factored 15 1652102050…43<15> 3×13×103×419×98156941
11 Fully factored 18 1256408845…63<18> 7×29×31×536801×37192891
12 Fully factored 21 3808552055…87<21> 3×43×3764597×784244883199<12>
13 Fully factored 24 4015333801…63<24> 380008487×1056643190…49<16>
14 Fully factored 25 1352503284…87<25> 7×139×661×3517463×597853107233<12>
15 Fully factored 28 2448806327…87<28> 3×7×26641×661117×37839323×174969737
16 Fully factored 31 2293363344…43<31> 3×892×103×67829×1381398435…03<20>
17 Fully factored 34 2829103995…83<34> 3×7×1347192378…23<33>
18 Fully factored 35 5388769515…43<35> 47×131×2069×59753×15054522437<11>×4702548316…11<13>
19 Fully factored 38 2465489651…47<38> 3×439×1872049849…91<35>
20 Fully factored 40 2995279759…83<40> 33×7968078941<10>×53865460321<11>×2584696912…89<18>
21 Fully factored 44 2710251149…63<44> 73×509×40163×232211333×1664516398…31<26>
22 Fully factored 48 2181714933…47<48> 17×44281095847<11>×2898215821…53<36>
23 Fully factored 49 2967773001…57<49> 7×53×151×856570283×6184674097…99<35>
24 Composite 51 2533242510…67<51> 88897×116827×2439194531…93<41>
↳ Open Open - the last known term is composite and not yet fully factored.
Open end - submit a factor of the remaining composite (41 digits) of term #24:
24391945310214190036169342281289284686193
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 '807' --type 70 --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":"807"},"type":70,"part":"last20","fr":0}}'