Simplifying GPS UTC time gathering