Ehrenfeucht–Mycielski_sequence loading ...