Format 2.2
gens { a A b B }
rels {
a^4 b^2 b*a*b^-1 = a^-1
}
