Beatty_sequence loading ...