[math-fun] 10,000 year gear train