cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A344183 Lexicographically earliest sequence of positive integers such that for any n > 0, the decimal expansion of a(n) contains the decimal expansion of k for k = 1..n and the decimal expansion of a(n+1) is obtained by replacing a possibly empty substring of the decimal expansion of a(n) by the binary expansion of n+1.

Table of values

n a(n)
1 1
2 12
3 123
4 1234
5 12345
6 123456
7 1234567
8 12345678
9 123456789
10 1023456789
11 11023456789
12 110123456789
13 1101213456789
14 11012131456789
15 110121314156789
16 1101213141516789
17 11012131415161789
18 110121314151617189
19 1101213141516171819
20 11012013141516171819

List of values

[1, 12, 123, 1234, 12345, 123456, 1234567, 12345678, 123456789, 1023456789, 11023456789, 110123456789, 1101213456789, 11012131456789, 110121314156789, 1101213141516789, 11012131415161789, 110121314151617189, 1101213141516171819, 11012013141516171819]