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.

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.