Added code for printing congruencies.