import healpy