Linear_Recurrences_Solver.Linear_Recurrences_Pretty