(Also, for a frame of reference as to how large these numbers are: the entire gps network operates on 31 satellites.)