factordb · sequences

Sequence

Start with

Show

whole sequence last 20 terms last term range to

Open

Distinct-prime home prime, descending · Base 10 of 19007 length 23 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.

n	Status	Digits	Term	Factorization
↳	Merges Joins the sequence of 10583 (at index 5 of that sequence) - the terms below continue there.
3	Fully factored	7	1879293	3×13×48187
4	Fully factored	8	48187133	43×61×18371
5	Fully factored	9	183716143	13×14132011
6	Fully factored	10	1413201113<10>	8387×168499
7	Fully factored	10	1684998387<10>	3²×43×4354001
8	Fully factored	10	4354001433<10>	3²×3191×151607
9	Fully factored	11	15160731913<11>	16069×943477
10	Fully factored	11	94347716069<11>	263×17519×20477
11	Fully factored	13	2047717519…63<13>	3²×13×19×107×277×31079
12	Fully factored	16	3107927710…33<16>	31×61×139×2389×4949353
13	Fully factored	18	4949353238…31<18>	43×21961×207967×2520191
14	Fully factored	20	2520191207…43<20>	11×129529×1768779899…97<14>
15	Fully factored	22	1768779899…11<22>	7×13×981587×1980175140…83<14>
16	Fully factored	23	1980175140…37<23>	3²×19×37×71×1831×2407459980…31<14>
17	Fully factored	25	2407459980…93<25>	3³×179×21487×2318283250…83<17>
18	Fully factored	26	2318283250…93<26>	32254619×358120163×2006992769<10>
19	Fully factored	27	2006992769…19<27>	3×19×149×181×2122031581<10>×61525374503<11>
20	Fully factored	30	6152537450…93<30>	293×102259×2053454593…39<23>
21	Fully factored	32	2053454593…93<32>	11×1866776903…63<31>
22	Composite	33	1866776903…11<33>	3³×157×61558243×7153898709…43<21>
↳	Open Open - the last known term is composite and not yet fully factored.

Open end - submit a factor of the remaining composite (21 digits) of term #22:

715389870931111291043

Check for factors - let the server run a small P-1 / P+1 / ECM step on the composite:

From the command linefdb · curl

fdb

fdb seq view '19007' --type 133 --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":"19007"},"type":133,"part":"last20","fr":0}}'