login
Records in A030000.
3

%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