Title: GPS satellite sky distribution