567024domain: NAppears in sequencesLexicographically earliest sequence of positive integers such that for any n > 0, the binary expansion of a(n) contains the binary expansion of k for k = 1..n and the binary expansion of a(n+1) is obtained by replacing a possibly empty substring of the binary expansion of a(n) by the binary expansion of n+1.at n=16A344184