H3C HEALPix library for PostgreSQL  (version 1.2)