Distribution of the number of GPS satellites in common