/*
2"A14 presented on its standard generators.
*/

G<x,y>:=Group<x,y|
x^3,
y^13,
(x,y)^4,
((x,y)^2,x),
(x*y)^12*(x,y)^-2,
(x*x^(y*x*y))^2*(x,y)^-2,
(x,y*x*y*x*y)^2*(x,y)^-2,
(x*x^(y*x*y*x*y*x*y))^2*(x,y)^-2,
// (x*x^(y*x*y*x*y*x*y*x*y*x*y))^2*(x,y)^-2, // Is redundant.
(x,y*x*y*x*y*x*y*x*y)^2*(x,y)^-2
>;

A:=x;B:=y;