/*
M12:2 presented on its standard generators.
*/

G<x,y>:=Group<x,y|
x^2,
y^3,
(x*y)^12,
(x*y*x*y*(x,y^-1)^4)^2,
(x*y*x*y*x*y*x*y*x*y^-1)^4,
(x,y*x*y)^5 // Redundant relation to assist coset enumeration.
// Very difficult enumeration without this last relation.
>;

c:=x;d:=y;