Sylvester's_sequence loading ...