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.
%I A372045 #18 Apr 24 2024 12:59:33
%S A372045 0,7,11,22,50,61,78,100,121,122,127,155,263,548,1000,1002,1003,1016,
%T A372045 1559,1583,1877,3087,9634,10001,10029,10199,10620,25672,100002,100005,
%U A372045 100085,100116,100457,100956,101597,101624,114323,191974,1000004,1000006,1000055,1000227,1000517,1000717,1000728,1027986,1098714,1127153,1429848,3659369
%N A372045 Positions of records in A030000.
%e A372045 From _David A. Corneth_, Apr 17 2024: (Start)
%e A372045 0 is a term as it is the least nonnegative integer and A030000(0) = 10.
%e A372045 7 is a term after 0 as 7 is the first number that is first seen at a k such that 2^k contains 7 as a substring (namely at k = 15). (End)
%t A372045 d2k[k_] := d2k[k] = IntegerString[2^k];
%t A372045 A030000[n_] := Block[{d = IntegerString[n], k = -1}, While[StringFreeQ[d2k[++k], d]]; k];
%t A372045 Block[{upto = 10000, n = -1, a, r = -1}, Reap[While[++n <= upto, If[(a = A030000[n]) > r, r = a; Sow[n]]]][[2, 1]]]
%Y A372045 Cf. A030000, A371887, A372044.
%K A372045 nonn,base
%O A372045 1,2
%A A372045 _Paolo Xausa_, Apr 17 2024
%E A372045 More terms from _David A. Corneth_, Apr 17 2024