fixed congruence_groups_between_gamma0_and_gamma1(N) for N=1