a file to handle groups generated by finitely many 2x2 matrices