# automata.d/testdata file g17
Format 2.2
#Biggs graph group 3
gens {a A b B z}
inverses {case_change}
rels {z*z a*z*a*z b*z*b*z a*B*a*B a*a*B*B*a*a*B*B a*a*b*z*a*a*a*B*A*B}
parameters {KBtreesize 100}
