sphere_packing_optimal_dim9