F:=FreeGroup("e","a","r","s","t","x","y","z");
rels:=ParseRelators(F,"ea=r,ae=x,rx=s,sy=t,tz=e,xr=y,ys=z,zt=a");
G:=F/rels;`

[ t*a*t^-1*a*(a*t)^2*a^2*t^-1*a, a*t*(a^2*t^-1)^2*a^2*t*a*t^-1 ]

F:=FreeGroup("e","a","r","s","t","x","y","z");
rels:=ParseRelators(F,"ea=x,ae=r,rx=y,sy=z,tz=a,xr=s,ys=t,zt=e");
G:=F/rels;`

F:=FreeGroup("e","a","r","s","t","x","y","z");
rels:=ParseRelators(F,"ea=z,ae=t,rx=a,sy=x,tz=y,xr=e,ys=r,zt=s");
G:=F/rels;

F:=FreeGroup("e","a","r","s","t","x","y","z");
rels:=ParseRelators(F,"ea=t,ae=z,rx=e,sy=r,tz=s,xr=a,ys=x,zt=y");
G:=F/rels;

F<a,t> := FreeGroup(2);
rels := [ t*a*t^-1*a*(a*t)^2*a^2*t^-1*a, a*t*(a^2*t^-1)^2*a^2*t*a*t^-1 ];
G:=quo<F|rels>;
L2Quotients(G);

[
    L_2(2^infty)
]