# automata.d/testdata file g12
Format 2.2
#trefoil knot group.
gens {a A b B}
inverses {case_change}
rels {b*a*b*A*B*A}
