OFFSET
1,2
COMMENTS
From Jeffrey Shallit, Jan 01 2024: (Start)
No integer appears three times or more in this sequence.
If an integer appears twice, it appears as a(n) and a(n-2) for some n.
a(n) = a(n-2) if and only if n belongs to A003231. (observation of Benoit Cloitre)
All these and more properties can be proved using the synchronized Fibonacci automaton for a(n), which has 102 states. (End)
LINKS
Benoit Cloitre and Jeffrey Shallit, Some Fibonacci-Related Sequences, arXiv:2312.11706 [math.CO], 2023-2024.
CROSSREFS
KEYWORD
nonn
AUTHOR
Casey Mongoven, Apr 22 2006
STATUS
approved