Linear_recurrence_with_constant_coefficients loading ...