%I #10 May 14 2021 02:57:05
%S 1,12,123,1234,12345,123456,1234567,12345678,123456789,1023456789,
%T 11023456789,110123456789,1101213456789,11012131456789,
%U 110121314156789,1101213141516789,11012131415161789,110121314151617189,1101213141516171819,11012013141516171819
%N 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.
%C This sequence is a variant of A035239, easier to compute.
%C This sequence is not weakly increasing; a(107) < a(106).
%H Rémy Sigrist, <a href="/A344183/b344183.txt">Table of n, a(n) for n = 1..200</a>
%H Rémy Sigrist, <a href="/A344183/a344183.pl.txt">Perl program for A344183</a>
%o (Perl) See Links section.
%Y Cf. A035239.
%K nonn,base
%O 1,2
%A _Rémy Sigrist_, May 11 2021