1: \begin{abstract}

2:     %In this article we intend to get a classification of conjugancy classes of finite-index subgroups of $\operatorname{PSL}(2,\mathbb{Z})$ through certain type of colored trees called tree diagrams (introduced in \cite{Kulkarni1991}) and Farey Symbols, and based on these, propose algorithmic tools that reduce the number of trees through their automorphism groups (compare with the classification by signature given in \cite{Stromberg2019}). We then implement an algorithm that gives a permutation representation associated with a subgroup of finite index, first introduced by \cite{Millington}, using algorithms inspired by \cite{Kurth2007}. Finally we included an algorithm provided by \cite{HSUalgorithm} to determine whether or not each of these conjugation classes corresponds to a congruence subgroup.

3: %\end{abstract}

4: