Lucas_sequence loading ...