OFFSET
1,1
EXAMPLE
The binary expansion of 800, "1100100000", contains three 1's, and the Zeckendorf expansion contains six terms: 800 = 610 + 144 + 34 + 8 + 3 + 1. There are twice as many terms in the Zeckendorf expansion, so 800 is in the sequence.
MATHEMATICA
Position[DigitCount[(v = Select[Range[10^5], BitAnd[#, 2#] == 0 &]), 2, 1] / DigitCount[Range @ Length[v], 2, 1], _?(# == 2 &)]//Flatten (* Amiram Eldar, Jan 12 2020 after Jean-François Alcover at A007895 *)
CROSSREFS
KEYWORD
nonn,base
AUTHOR
Alex Ratushnyak, Nov 22 2019
STATUS
approved