draw congruence graph