Centered_polyhedral_number loading ...