Logarithmically_concave_sequence loading ...