%I #20 Apr 24 2024 12:59:16
%S 10,15,40,43,52,58,66,111,114,136,170,171,196,215,271,286,383,519,571,
%T 611,756,758,809,1651,1889,2234,2560,2750,3153,5078,5126,5876,6075,
%U 6382,6472,8531,8876,9112,9598,14847,17085,17300,17700,20964,26478,28019,28459,28964,32407,32804
%N Records in A030000.
%H David A. Corneth, <a href="/A372044/a372044.gp.txt">PARI program</a>
%e From _David A. Corneth_, Apr 17 2024: (Start)
%e 10 is in the sequence as A030000(0) = 10.
%e 15 is the next term after 10 as the next record in A030000 occurs at k = 7 and A030000(7) = 15. (End)
%t d2k[k_] := d2k[k] = IntegerString[2^k];
%t A030000[n_] := Block[{d = IntegerString[n], k = -1}, While[StringFreeQ[d2k[++k], d]]; k];
%t Block[{upto = 10000, n = -1, a, r = -1}, Reap[While[++n <= upto, If[(a = A030000[n]) > r, Sow[r = a]]]][[2,1]]]
%o (PARI) \\ See PARI link
%Y Cf. A030000, A371887, A372045.
%K nonn,base
%O 1,1
%A _Paolo Xausa_, Apr 17 2024
%E More terms from _David A. Corneth_, Apr 17 2024