Counting elements of the congruence subgroup | Synapse