/*
L3(5) presented on its Type I standard generators.
*/

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

a:=x;b:=y;