Finding the repeat times of the GPS constellation