OFFSET
1,3
LINKS
Reinhard Zumkeller, Table of n, a(n) for n = 1..1000
MATHEMATICA
Select[Range[0, 150], FreeQ[Split[IntegerDigits[#, 2]], {1, 1}] &] (* Paolo Xausa, Oct 15 2024 *)
PROG
(Python)
from math import comb
from sympy import fibonacci
from oeis_sequences.OEISsequences import bisection
def A173025(n):
def f(x):
s = bin(x)[-1:1:-1]
t = '0'+s+'0'
return n+x-sum(sum(fibonacci(k+1)*comb(i-k+1, k) for k in range(i+1)) for i in range(len(s)) if s[i]=='1' and not '0110' in '0'+t[i+2:])-('0110' not in t)
return bisection(f, n-1, n-1) # Chai Wah Wu, Jun 10 2026
CROSSREFS
KEYWORD
base,nonn
AUTHOR
Reinhard Zumkeller, Feb 07 2010
STATUS
approved
