/*
L2(32) presented on its (2,3,11)-generators.
*/

G<x,y>:=Group<x,y|
x^2,
y^3,
(x*y)^11,
((x*y)^4*x*y^-1*x*y*x*y^-1*x*y*x*y*x*y^-1)^2,
((x*y)^4*x*y^-1*x*y*x*y*x*y^-1*x*y*x*y^-1)^2
>;
// Either (but not both) of the last two relations is redundant.

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