/*
2"M12 presented on preimages its standard generators.
But they are not standard themselves.
*/

G<x,y>:=Group<x,y|
x^2,
y^3,
(x*y)^11,
(x,y)^6,
(y,(x*y*x*y*x*y^-1)^6),
(x,y*x*y)^5 // Redundant relation that aids coset enumeration.
>;

A:=x;B:=y;

// Copies of M11 - consistent with the ordering used elsewhere in this ATLAS.
M1:=sub<G|x*(x*y*x*y*x*y^-1)^6,y*x*y*x*y*x*y^-1>;
M2:=sub<G|x*(x*y*x*y*x*y^-1)^6,y^-1*x*y*x*y*x*y>;

// Copies of M11 x 2 - consistent with the ordering used elsewhere in this ATLAS.
MM1:=sub<G|x,y*x*y*x*y*x*y^-1>;
MM2:=sub<G|x,y^-1*x*y*x*y*x*y>;