cp's OEIS Frontend

A335134 Fixed points of A335133.

%I A335134 #5 May 27 2020 01:57:30
%S A335134 0,1,2,3,4,5,6,7,8,9,14,15,16,17,18,19,28,29,30,31,32,33,36,37,58,59,
%T A335134 62,63,64,65,66,67,72,73,74,75,116,117,118,119,124,125,126,127,128,
%U A335134 129,134,135,146,147,148,149,234,235,236,237,248,249,254,255,256
%N A335134 Fixed points of A335133.
%C A335134 The EQ-triangles generated from the binary expansion of the terms of this sequence have reflection symmetry through axis U-U:
%C A335134 .       U
%C A335134 .          .___________
%C A335134 .           \ .       /
%C A335134 .            \   .   /
%C A335134 .             \     .
%C A335134 .              \   /   .
%C A335134 .               \ /       U
%C A335134 .                v
%H A335134 Rémy Sigrist, <a href="/A335134/a335134.png">Illustration of initial terms</a>
%e A335134 A335133(28) = 28, so 28 belongs to this sequence.
%o A335134 (PARI) is(n) = {
%o A335134     my (b=binary(n), v=0);
%o A335134     forstep (x=#b-1, 0, -1,
%o A335134         if (b[1], v+=2^x);
%o A335134         b=vector(#b-1, k, b[k]==b[k+1])
%o A335134     );
%o A335134     v==n
%o A335134 }
%Y A335134 Cf. A335133.
%K A335134 nonn,base
%O A335134 1,3
%A A335134 _Rémy Sigrist_, May 24 2020