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

G<x,y>:=Group<x,y|
x^2,
y^6,
(y^3,x),
(x*y)^11,
(x,y)^6,
(x*y*x*y*x*y^-1)^6*y^-3,
(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,y*x*y*x*y*x*y^-1*(x*y*x*y*x*y^-1)^6>;
M2:=sub<G|x,y^-1*x*y*x*y*x*y*(x*y*x*y*x*y^-1)^6>;

// 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>;