Zeckendorf's_theorem loading ...