/*
L2(32) presented on 3 generators.
a = \eta -> \eta + 1.
b = \eta -> w \eta. (where w^31 = 1 \ne w and also w^5 + w^2 + 1 = 0.)
c = \eta -> -1 / \eta.
*/

G<a,b,c>:=Group<a,b,c|
a^2,
b^31,
a*b^-2*a*b^-3*a*b^5,
c^2,
(a*c)^3,
(b*c)^2
>;

M1:=sub<G|a,b>;
M2:=sub<G|a,c^(b^3)>;
M3:=sub<G|b,c>;