Lehmer_sequence loading ...