# automata.d/testdata file g13
Format 2.2
#(2,3,7)-group. needs small parameter or goes slow - but not as small as 10!
gens {a A b B}
inverses {case_change}
rels {
a*a*a
b*b*b*b*b*b*b
a*b*a*b
}
parameters { KBtreesize 10 }
