Gauss_congruence loading ...