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
(A*B*a*b)^9
}
parameters { KBtreesize 100 }
