/*
A14 presented on its standard generators.
*/

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

a:=x;b:=y;