A parallel equivalence algorithm based on MPI for GNSS data processing. Issue 3 (2nd September 2021)