@lostinrecursion @j_lanier hey, those are the Zeckendorf representations of the natural numbers!