421492domain: NAppears in sequencesa(n) = a(n-1) + a(n-2) + 1 for n>1, a(0)=0, a(1)=4.at n=25A022309Numbers k that have 13 terms in their Zeckendorf representation.at n=15A179253