/*
A presentation for M12 in terms of standard generators.
SGens are (2B,3B,11)-generators.
*/

G<x,y>:=Group<x,y|
x^2,
y^3,
// (x*y)^11,
// (x,y)^6,
(x*y)^8*(x*y^-1)^2*(x*y*x*y^-1)^4*x*y^-1,
// (x,y*x*y)^5,
(x*y*x*y*x*y^-1)^6
>;

M1:=sub<G|x,y*x*y*x*y*x*y^-1>;
M2:=sub<G|x,y^-1*x*y*x*y*x*y>;