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 A173025 #13 Oct 15 2024 14:38:14
%S A173025 0,1,2,4,5,7,8,9,10,14,15,16,17,18,20,21,23,28,29,30,31,32,33,34,36,
%T A173025 37,39,40,41,42,46,47,56,57,58,60,61,62,63,64,65,66,68,69,71,72,73,74,
%U A173025 78,79,80,81,82,84,85,87,92,93,94,95,112,113,114,116,117,119,120,121,122
%N A173025 Numbers whose binary representation contains no isolated digits "11".
%H A173025 Reinhard Zumkeller, <a href="/A173025/b173025.txt">Table of n, a(n) for n = 1..1000</a>
%F A173025 A173021(a(n+1)) = A173021(a(n)) + 1.
%t A173025 Select[Range[0, 150], FreeQ[Split[IntegerDigits[#, 2]], {1, 1}] &] (* _Paolo Xausa_, Oct 15 2024 *)
%Y A173025 Cf. A007088, A144795, A173021.
%Y A173025 A173024 is a subsequence.
%K A173025 base,nonn
%O A173025 1,3
%A A173025 _Reinhard Zumkeller_, Feb 07 2010