// defininig an infinite finitely presented group

F<x, z> := FreeGroup(2);
G<x, z> := quo< F | z^3*x*z^3*x^-1, z^5*x^2*z^2*x^2 >;
G;