

A023409


If any power of 2 ends with k 6's and 7's, they must be the first k terms of this sequence in reverse order.


2



6, 7, 7, 7, 6, 6, 6, 6, 7, 6, 6, 6, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 6, 7, 7, 6, 6, 7, 7, 7, 6, 6, 6, 6, 7, 6, 7, 7, 7, 7, 7, 6, 6, 6, 6, 7, 6, 7, 7, 6, 6, 6, 6, 7, 6, 7, 6, 6, 7, 6, 7, 7, 7, 6, 6, 6, 7, 6, 7, 7, 7, 6, 6, 6, 6, 6, 7, 6, 6, 6, 7, 7, 6, 7, 7, 6, 7, 7, 6, 7, 6, 6, 7, 7, 6, 7, 6, 7, 7, 6, 6, 7, 7, 6, 6, 7
(list;
graph;
refs;
listen;
history;
text;
internal format)



OFFSET

0,1


COMMENTS

a(0)=6. If the concatenation 6a(n)...a(0) (as a decimal number) is divisible by 2^(n+2) then a(n+1)=6, otherwise a(n+1)=7.
Pomerance (see link) shows the sequence is not eventually periodic. (End)


LINKS



MAPLE

a[0]:= 6: v:= 6:
for n from 1 to 100 do
if 6*10^n+v mod 2^(n+1)=0 then a[n]:= 6 else a[n]:= 7 fi;
v:= v + a[n]*10^n
od:


CROSSREFS

Cf. A023396, A023397, A023398, A023399, A023400, A023401, A023402, A023403, A023404, A023405, A023406, A023407, A023408, A023410, A023411, A023412, A023413, A023414, A023415.


KEYWORD

nonn,base


AUTHOR



STATUS

approved



