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 A368841 #8 Jan 10 2024 08:01:56 %S A368841 0,1,2,3,4,5,6,9,10,11,12,13,18,19,20,22,25,26,27,36,37,38,41,44,45, %T A368841 50,51,52,54,76,82,83,90,100,101,102,108,153,165,204 %N A368841 Nonnegative integers whose binary expansions (without leading zeros) have no three equally spaced equal digits. %C A368841 Also numbers k such that A368842(k) = 0. %C A368841 Also numbers k such that A368857(k) < 3. %C A368841 This sequence is finite by Van der Waerden's theorem. %H A368841 Wikipedia, <a href="https://en.wikipedia.org/wiki/Van_der_Waerden's_theorem">Van der Waerden's theorem</a> %H A368841 <a href="/index/Bi#binary">Index entries for sequences related to binary expansion of n</a> %o A368841 (PARI) is(n, base = 2) = { my (d = digits(n, base)); for (i = 1, #d-2, forstep (j = i+2, #d, 2, if (d[i]==d[j] && d[i]==d[(i+j)/2], return (0);););); return (1); } %Y A368841 Cf. A005346, A368842, A368857. %K A368841 nonn,base,easy,fini,full %O A368841 1,3 %A A368841 _Rémy Sigrist_, Jan 07 2024