Sequence Machine

Mathematical conjectures on top of 1308117 machine generated integer and decimal sequences.

Found 1 matches.

A094591

a(0) = 1; a(n) = n + (largest element of {a} <= n). A094591

1, 2, 4, 5, 8, 10, 11, 12, 16, 17, 20, 22, 24, 25, 26, 27, 32, 34, 35, 36, 40, 41, 44, 45, 48, 50, 52, 54, 55, 56, 57, 58, 64, 65, 68, 70, 72, 73, 74, 75, 80, 82, 83, 84, 88, 90, 91, 92, 96, 97, 100, 101, 104, 105, 108, 110, 112, 114, 116, 117, 118, 119, 120, 121, 128, 130, 131, 132, 136, 137, 140, 141, 144, 146, 148, 150, 151, 152, 153, 154, 160, 161, 164, 166, 168, 169, 170, 171, 176, 177, 180, 182, 184, 185, 186, 187, 192, 194, 195, 196, 200, 202, 203, 204, 208, 210, 211, 212, 216, 217, 220, 221, 224, 225, 228, 229, 232, 234, 236, 238, 240, 242, 243, 244, 245, 246, 247, 248, 256, 257, 260, 262, 264, 265, 266, 267, 272, 274, 275, 276, 280, 282, 283, 284, 288, 289, 292, 293, 296, 297, 300, 302, 304, 306, 308, 309, 310, 311, 312, 313, 320, 322, 323, 324, 328, 329, 332, 333, 336, 338, 340, 342, 343, 344, 345, 346, 352, 354, 355, 356, 360, 361, 364, 365, 368, 370, 372, 374, 375, 376, 377, 378, 384, 385, 388, 390, 392, 393, 394, 395, 400, 401, 404, 406, 408, 409, 410, 411, 416, 417, 420, 422, 424, 425, 426, 427, 432, 434, 435, 436, 440, 442, 443, 444, 448, 450, 451, 452, 456, 458, 459, 460, 464, 465, 468, 469, 472, 473, 476, 477, 480, 481, 484, 486, 488, 490, 492, 494, 496, 497, 498, 499, 500, 501, 502, 503, 512, 514, 515, 516, 520, 521, 524, 525, 528, 530, 532, 534, 535, 536, 537, 538, 544, 545, 548, 550, 552, 553, 554, 555, 560, 561, 564, 566, 568, 569, 570, 571, 576, 578, 579, 580, 584, 586, 587, 588, 592, 594, 595, 596, 600, 601, 604, 605, 608, 609, 612, 613, 616, 618, 620, 622, 624, 626, 627, 628, 629, 630, 631, 632, 640, 641, 644, 646, 648, 649, 650, 651, 656, 658, 659, 660, 664, 666, 667, 668, 672, 673, 676, 677, 680, 681, 684, 686, 688, 690, 692, 693, 694, 695, 696, 697, 704, 705, 708, 710, 712, 713, 714, 715, 720, 722, 723, 724, 728, 730, 731, 732, 736, 737, 740, 741, 744, 745, 748, 750, 752, 754, 756, 757, 758, 759, 760, 761, 768, 770, 771, 772, 776, 777, 780, 781, 784, 786, 788, 790, 791, 792, 793, 794, 800, 802, 803, 804, 808, 809, 812, 813, 816, 818, 820, 822, 823, 824, 825, 826, 832, 834, 835, 836, 840, 841, 844, 845, 848, 850, 852, 854, 855, 856, 857, 858, 864, 865, 868, 870, 872, 873, 874, 875, 880, 881, 884, 886, 888, 889, 890, 891, 896, 897, 900, 902, 904, 905, 906, 907, 912, 913, 916, 918, 920, 921, 922, 923, 928, 930, 931, 932, 936, 938, 939, 940, 944, 946, 947, 948, 952, 954, 955, 956, 960, 962, 963, 964, 968, 969, 972, 973, 976, 977, 980, 981, 984, 985, 988, 989, 992, 994, 996, 998,

integer, strictly-monotonic, +

a(n)=A272729(n)+a(n-1)

a(0)=1

a(n)=∑[A272729(A000007(n)+n)]

a(n)=∑[A272729(A255308(2*n+1)+n)]

a(n)=and(-A272729(n+1), ∑[A272729(n+1)])

a(n)=A359807(A037988(n))+1

a(n)=lt[A272729(2*n+1), A272729(2*(n+1))]+1

a(n)=A008619(eq[0, A272728(n+1)])

a(n)=record[A008619(gcd(n, A272728(n+1)))]

a(n)=record[(1-A272728(n+1))*A008619(n)]

a(n)=record[(n+1)/A008619(A272728(2*n+1))]

a(n)=∑[A272729(A002260(∑[n+2]-1))]

Reference

Charts

Terms

n	A094591(n)	Match
0	1
1	2
2	4
3	5
4	8
5	10
6	11
7	12
8	16
9	17
10	20
11	22
12	24
13	25
14	26
15	27
16	32
17	34
18	35
19	36
20	40
21	41
22	44
23	45
24	48
25	50
26	52
27	54
28	55
29	56
30	57
31	58
32	64
33	65
34	68
35	70
36	72
37	73
38	74
39	75
40	80
41	82
42	83
43	84
44	88
45	90
46	91
47	92
48	96
49	97
50	100
51	101
52	104
53	105
54	108
55	110
56	112
57	114
58	116
59	117
60	118
61	119
62	120
63	121
64	128
65	130
66	131
67	132
68	136
69	137
70	140
71	141
72	144
73	146
74	148
75	150
76	151
77	152
78	153
79	154
80	160
81	161
82	164
83	166
84	168
85	169
86	170
87	171
88	176
89	177
90	180
91	182
92	184
93	185
94	186
95	187
96	192
97	194
98	195
99	196
100	200
101	202
102	203
103	204
104	208
105	210
106	211
107	212
108	216
109	217
110	220
111	221
112	224
113	225
114	228
115	229
116	232
117	234
118	236
119	238
120	240
121	242
122	243
123	244
124	245
125	246
126	247
127	248
128	256
129	257
130	260
131	262
132	264
133	265
134	266
135	267
136	272
137	274
138	275
139	276
140	280
141	282
142	283
143	284
144	288
145	289
146	292
147	293
148	296
149	297
150	300
151	302
152	304
153	306
154	308
155	309
156	310
157	311
158	312
159	313
160	320
161	322
162	323
163	324
164	328
165	329
166	332
167	333
168	336
169	338
170	340
171	342
172	343
173	344
174	345
175	346
176	352
177	354
178	355
179	356
180	360
181	361
182	364
183	365
184	368
185	370
186	372
187	374
188	375
189	376
190	377
191	378
192	384
193	385
194	388
195	390
196	392
197	393
198	394
199	395
200	400
201	401
202	404
203	406
204	408
205	409
206	410
207	411
208	416
209	417
210	420
211	422
212	424
213	425
214	426
215	427
216	432
217	434
218	435
219	436
220	440
221	442
222	443
223	444
224	448
225	450
226	451
227	452
228	456
229	458
230	459
231	460
232	464
233	465
234	468
235	469
236	472
237	473
238	476
239	477
240	480
241	481
242	484
243	486
244	488
245	490
246	492
247	494
248	496
249	497
250	498
251	499
252	500
253	501
254	502
255	503
256	512
257	514
258	515
259	516
260	520
261	521
262	524
263	525
264	528
265	530
266	532
267	534
268	535
269	536
270	537
271	538
272	544
273	545
274	548
275	550
276	552
277	553
278	554
279	555
280	560
281	561
282	564
283	566
284	568
285	569
286	570
287	571
288	576
289	578
290	579
291	580
292	584
293	586
294	587
295	588
296	592
297	594
298	595
299	596
300	600
301	601
302	604
303	605
304	608
305	609
306	612
307	613
308	616
309	618
310	620
311	622
312	624
313	626
314	627
315	628
316	629
317	630
318	631
319	632
320	640
321	641
322	644
323	646
324	648
325	649
326	650
327	651
328	656
329	658
330	659
331	660
332	664
333	666
334	667
335	668
336	672
337	673
338	676
339	677
340	680
341	681
342	684
343	686
344	688
345	690
346	692
347	693
348	694
349	695
350	696
351	697
352	704
353	705
354	708
355	710
356	712
357	713
358	714
359	715
360	720
361	722
362	723
363	724
364	728
365	730
366	731
367	732
368	736
369	737
370	740
371	741
372	744
373	745
374	748
375	750
376	752
377	754
378	756
379	757
380	758
381	759
382	760
383	761
384	768
385	770
386	771
387	772
388	776
389	777
390	780
391	781
392	784
393	786
394	788
395	790
396	791
397	792
398	793
399	794
400	800
401	802
402	803
403	804
404	808
405	809
406	812
407	813
408	816
409	818
410	820
411	822
412	823
413	824
414	825
415	826
416	832
417	834
418	835
419	836
420	840
421	841
422	844
423	845
424	848
425	850
426	852
427	854
428	855
429	856
430	857
431	858
432	864
433	865
434	868
435	870
436	872
437	873
438	874
439	875
440	880
441	881
442	884
443	886
444	888
445	889
446	890
447	891
448	896
449	897
450	900
451	902
452	904
453	905
454	906
455	907
456	912
457	913
458	916
459	918
460	920
461	921
462	922
463	923
464	928
465	930
466	931
467	932
468	936
469	938
470	939
471	940
472	944
473	946
474	947
475	948
476	952
477	954
478	955
479	956
480	960
481	962
482	963
483	964
484	968
485	969
486	972
487	973
488	976
489	977
490	980
491	981
492	984
493	985
494	988
495	989
496	992
497	994
498	996
499	998

n	A094591(n)	Match
0	1
1	2
2	4
3	5
4	8
5	10
6	11
7	12
8	16
9	17
10	20
11	22
12	24
13	25
14	26
15	27
16	32
17	34
18	35
19	36
20	40
21	41
22	44
23	45
24	48
25	50
26	52
27	54
28	55
29	56
30	57
31	58
32	64
33	65
34	68
35	70
36	72
37	73
38	74
39	75
40	80
41	82
42	83
43	84
44	88
45	90
46	91
47	92
48	96
49	97
50	100
51	101
52	104
53	105
54	108
55	110
56	112
57	114
58	116
59	117
60	118
61	119
62	120
63	121
64	128
65	130
66	131
67	132
68	136
69	137
70	140
71	141
72	144
73	146
74	148
75	150
76	151
77	152
78	153
79	154
80	160
81	161
82	164
83	166
84	168
85	169
86	170
87	171
88	176
89	177
90	180
91	182
92	184
93	185
94	186
95	187
96	192
97	194
98	195
99	196
100	200
101	202
102	203
103	204
104	208
105	210
106	211
107	212
108	216
109	217
110	220
111	221
112	224
113	225
114	228
115	229
116	232
117	234
118	236
119	238
120	240
121	242
122	243
123	244
124	245
125	246
126	247
127	248
128	256
129	257
130	260
131	262
132	264
133	265
134	266
135	267
136	272
137	274
138	275
139	276
140	280
141	282
142	283
143	284
144	288
145	289
146	292
147	293
148	296
149	297
150	300
151	302
152	304
153	306
154	308
155	309
156	310
157	311
158	312
159	313
160	320
161	322
162	323
163	324
164	328
165	329
166	332
167	333
168	336
169	338
170	340
171	342
172	343
173	344
174	345
175	346
176	352
177	354
178	355
179	356
180	360
181	361
182	364
183	365
184	368
185	370
186	372
187	374
188	375
189	376
190	377
191	378
192	384
193	385
194	388
195	390
196	392
197	393
198	394
199	395
200	400
201	401
202	404
203	406
204	408
205	409
206	410
207	411
208	416
209	417
210	420
211	422
212	424
213	425
214	426
215	427
216	432
217	434
218	435
219	436
220	440
221	442
222	443
223	444
224	448
225	450
226	451
227	452
228	456
229	458
230	459
231	460
232	464
233	465
234	468
235	469
236	472
237	473
238	476
239	477
240	480
241	481
242	484
243	486
244	488
245	490
246	492
247	494
248	496
249	497
250	498
251	499
252	500
253	501
254	502
255	503
256	512
257	514
258	515
259	516
260	520
261	521
262	524
263	525
264	528
265	530
266	532
267	534
268	535
269	536
270	537
271	538
272	544
273	545
274	548
275	550
276	552
277	553
278	554
279	555
280	560
281	561
282	564
283	566
284	568
285	569
286	570
287	571
288	576
289	578
290	579
291	580
292	584
293	586
294	587
295	588
296	592
297	594
298	595
299	596
300	600
301	601
302	604
303	605
304	608
305	609
306	612
307	613
308	616
309	618
310	620
311	622
312	624
313	626
314	627
315	628
316	629
317	630
318	631
319	632
320	640
321	641
322	644
323	646
324	648
325	649
326	650
327	651
328	656
329	658
330	659
331	660
332	664
333	666
334	667
335	668
336	672
337	673
338	676
339	677
340	680
341	681
342	684
343	686
344	688
345	690
346	692
347	693
348	694
349	695
350	696
351	697
352	704
353	705
354	708
355	710
356	712
357	713
358	714
359	715
360	720
361	722
362	723
363	724
364	728
365	730
366	731
367	732
368	736
369	737
370	740
371	741
372	744
373	745
374	748
375	750
376	752
377	754
378	756
379	757
380	758
381	759
382	760
383	761
384	768
385	770
386	771
387	772
388	776
389	777
390	780
391	781
392	784
393	786
394	788
395	790
396	791
397	792
398	793
399	794
400	800
401	802
402	803
403	804
404	808
405	809
406	812
407	813
408	816
409	818
410	820
411	822
412	823
413	824
414	825
415	826
416	832
417	834
418	835
419	836
420	840
421	841
422	844
423	845
424	848
425	850
426	852
427	854
428	855
429	856
430	857
431	858
432	864
433	865
434	868
435	870
436	872
437	873
438	874
439	875
440	880
441	881
442	884
443	886
444	888
445	889
446	890
447	891
448	896
449	897
450	900
451	902
452	904
453	905
454	906
455	907
456	912
457	913
458	916
459	918
460	920
461	921
462	922
463	923
464	928
465	930
466	931
467	932
468	936
469	938
470	939
471	940
472	944
473	946
474	947
475	948
476	952
477	954
478	955
479	956
480	960
481	962
482	963
483	964
484	968
485	969
486	972
487	973
488	976
489	977
490	980
491	981
492	984
493	985
494	988
495	989
496	992
497	994
498	996
499	998

n	A094591(n)	Match
0	1
1	2
2	4
3	5
4	8
5	10
6	11
7	12
8	16
9	17
10	20
11	22
12	24
13	25
14	26
15	27
16	32
17	34
18	35
19	36
20	40
21	41
22	44
23	45
24	48
25	50
26	52
27	54
28	55
29	56
30	57
31	58
32	64
33	65
34	68
35	70
36	72
37	73
38	74
39	75
40	80
41	82
42	83
43	84
44	88
45	90
46	91
47	92
48	96
49	97
50	100
51	101
52	104
53	105
54	108
55	110
56	112
57	114
58	116
59	117
60	118
61	119
62	120
63	121
64	128
65	130
66	131
67	132
68	136
69	137
70	140
71	141
72	144
73	146
74	148
75	150
76	151
77	152
78	153
79	154
80	160
81	161
82	164
83	166
84	168
85	169
86	170
87	171
88	176
89	177
90	180
91	182
92	184
93	185
94	186
95	187
96	192
97	194
98	195
99	196
100	200
101	202
102	203
103	204
104	208
105	210
106	211
107	212
108	216
109	217
110	220
111	221
112	224
113	225
114	228
115	229
116	232
117	234
118	236
119	238
120	240
121	242
122	243
123	244
124	245
125	246
126	247
127	248
128	256
129	257
130	260
131	262
132	264
133	265
134	266
135	267
136	272
137	274
138	275
139	276
140	280
141	282
142	283
143	284
144	288
145	289
146	292
147	293
148	296
149	297
150	300
151	302
152	304
153	306
154	308
155	309
156	310
157	311
158	312
159	313
160	320
161	322
162	323
163	324
164	328
165	329
166	332
167	333
168	336
169	338
170	340
171	342
172	343
173	344
174	345
175	346
176	352
177	354
178	355
179	356
180	360
181	361
182	364
183	365
184	368
185	370
186	372
187	374
188	375
189	376
190	377
191	378
192	384
193	385
194	388
195	390
196	392
197	393
198	394
199	395
200	400
201	401
202	404
203	406
204	408
205	409
206	410
207	411
208	416
209	417
210	420
211	422
212	424
213	425
214	426
215	427
216	432
217	434
218	435
219	436
220	440
221	442
222	443
223	444
224	448
225	450
226	451
227	452
228	456
229	458
230	459
231	460
232	464
233	465
234	468
235	469
236	472
237	473
238	476
239	477
240	480
241	481
242	484
243	486
244	488
245	490
246	492
247	494
248	496
249	497
250	498
251	499
252	500
253	501
254	502
255	503
256	512
257	514
258	515
259	516
260	520
261	521
262	524
263	525
264	528
265	530
266	532
267	534
268	535
269	536
270	537
271	538
272	544
273	545
274	548
275	550
276	552
277	553
278	554
279	555
280	560
281	561
282	564
283	566
284	568
285	569
286	570
287	571
288	576
289	578
290	579
291	580
292	584
293	586
294	587
295	588
296	592
297	594
298	595
299	596
300	600
301	601
302	604
303	605
304	608
305	609
306	612
307	613
308	616
309	618
310	620
311	622
312	624
313	626
314	627
315	628
316	629
317	630
318	631
319	632
320	640
321	641
322	644
323	646
324	648
325	649
326	650
327	651
328	656
329	658
330	659
331	660
332	664
333	666
334	667
335	668
336	672
337	673
338	676
339	677
340	680
341	681
342	684
343	686
344	688
345	690
346	692
347	693
348	694
349	695
350	696
351	697
352	704
353	705
354	708
355	710
356	712
357	713
358	714
359	715
360	720
361	722
362	723
363	724
364	728
365	730
366	731
367	732
368	736
369	737
370	740
371	741
372	744
373	745
374	748
375	750
376	752
377	754
378	756
379	757
380	758
381	759
382	760
383	761
384	768
385	770
386	771
387	772
388	776
389	777
390	780
391	781
392	784
393	786
394	788
395	790
396	791
397	792
398	793
399	794
400	800
401	802
402	803
403	804
404	808
405	809
406	812
407	813
408	816
409	818
410	820
411	822
412	823
413	824
414	825
415	826
416	832
417	834
418	835
419	836
420	840
421	841
422	844
423	845
424	848
425	850
426	852
427	854
428	855
429	856
430	857
431	858
432	864
433	865
434	868
435	870
436	872
437	873
438	874
439	875
440	880
441	881
442	884
443	886
444	888
445	889
446	890
447	891
448	896
449	897
450	900
451	902
452	904
453	905
454	906
455	907
456	912
457	913
458	916
459	918
460	920
461	921
462	922
463	923
464	928
465	930
466	931
467	932
468	936
469	938
470	939
471	940
472	944
473	946
474	947
475	948
476	952
477	954
478	955
479	956
480	960
481	962
482	963
483	964
484	968
485	969
486	972
487	973
488	976
489	977
490	980
491	981
492	984
493	985
494	988
495	989
496	992
497	994
498	996
499	998

n	A094591(n)	Match
0	1
1	2
2	4
3	5
4	8
5	10
6	11
7	12
8	16
9	17
10	20
11	22
12	24
13	25
14	26
15	27
16	32
17	34
18	35
19	36
20	40
21	41
22	44
23	45
24	48
25	50
26	52
27	54
28	55
29	56
30	57
31	58
32	64
33	65
34	68
35	70
36	72
37	73
38	74
39	75
40	80
41	82
42	83
43	84
44	88
45	90
46	91
47	92
48	96
49	97
50	100
51	101
52	104
53	105
54	108
55	110
56	112
57	114
58	116
59	117
60	118
61	119
62	120
63	121
64	128
65	130
66	131
67	132
68	136
69	137
70	140
71	141
72	144
73	146
74	148
75	150
76	151
77	152
78	153
79	154
80	160
81	161
82	164
83	166
84	168
85	169
86	170
87	171
88	176
89	177
90	180
91	182
92	184
93	185
94	186
95	187
96	192
97	194
98	195
99	196
100	200
101	202
102	203
103	204
104	208
105	210
106	211
107	212
108	216
109	217
110	220
111	221
112	224
113	225
114	228
115	229
116	232
117	234
118	236
119	238
120	240
121	242
122	243
123	244
124	245
125	246
126	247
127	248
128	256
129	257
130	260
131	262
132	264
133	265
134	266
135	267
136	272
137	274
138	275
139	276
140	280
141	282
142	283
143	284
144	288
145	289
146	292
147	293
148	296
149	297
150	300
151	302
152	304
153	306
154	308
155	309
156	310
157	311
158	312
159	313
160	320
161	322
162	323
163	324
164	328
165	329
166	332
167	333
168	336
169	338
170	340
171	342
172	343
173	344
174	345
175	346
176	352
177	354
178	355
179	356
180	360
181	361
182	364
183	365
184	368
185	370
186	372
187	374
188	375
189	376
190	377
191	378
192	384
193	385
194	388
195	390
196	392
197	393
198	394
199	395
200	400
201	401
202	404
203	406
204	408
205	409
206	410
207	411
208	416
209	417
210	420
211	422
212	424
213	425
214	426
215	427
216	432
217	434
218	435
219	436
220	440
221	442
222	443
223	444
224	448
225	450
226	451
227	452
228	456
229	458
230	459
231	460
232	464
233	465
234	468
235	469
236	472
237	473
238	476
239	477
240	480
241	481
242	484
243	486
244	488
245	490
246	492
247	494
248	496
249	497
250	498
251	499
252	500
253	501
254	502
255	503
256	512
257	514
258	515
259	516
260	520
261	521
262	524
263	525
264	528
265	530
266	532
267	534
268	535
269	536
270	537
271	538
272	544
273	545
274	548
275	550
276	552
277	553
278	554
279	555
280	560
281	561
282	564
283	566
284	568
285	569
286	570
287	571
288	576
289	578
290	579
291	580
292	584
293	586
294	587
295	588
296	592
297	594
298	595
299	596
300	600
301	601
302	604
303	605
304	608
305	609
306	612
307	613
308	616
309	618
310	620
311	622
312	624
313	626
314	627
315	628
316	629
317	630
318	631
319	632
320	640
321	641
322	644
323	646
324	648
325	649
326	650
327	651
328	656
329	658
330	659
331	660
332	664
333	666
334	667
335	668
336	672
337	673
338	676
339	677
340	680
341	681
342	684
343	686
344	688
345	690
346	692
347	693
348	694
349	695
350	696
351	697
352	704
353	705
354	708
355	710
356	712
357	713
358	714
359	715
360	720
361	722
362	723
363	724
364	728
365	730
366	731
367	732
368	736
369	737
370	740
371	741
372	744
373	745
374	748
375	750
376	752
377	754
378	756
379	757
380	758
381	759
382	760
383	761
384	768
385	770
386	771
387	772
388	776
389	777
390	780
391	781
392	784
393	786
394	788
395	790
396	791
397	792
398	793
399	794
400	800
401	802
402	803
403	804
404	808
405	809
406	812
407	813
408	816
409	818
410	820
411	822
412	823
413	824
414	825
415	826
416	832
417	834
418	835
419	836
420	840
421	841
422	844
423	845
424	848
425	850
426	852
427	854
428	855
429	856
430	857
431	858
432	864
433	865
434	868
435	870
436	872
437	873
438	874
439	875
440	880
441	881
442	884
443	886
444	888
445	889
446	890
447	891
448	896
449	897
450	900
451	902
452	904
453	905
454	906
455	907
456	912
457	913
458	916
459	918
460	920
461	921
462	922
463	923
464	928
465	930
466	931
467	932
468	936
469	938
470	939
471	940
472	944
473	946
474	947
475	948
476	952
477	954
478	955
479	956
480	960
481	962
482	963
483	964
484	968
485	969
486	972
487	973
488	976
489	977
490	980
491	981
492	984
493	985
494	988
495	989
496	992
497	994
498	996
499	998