/*
2"S14+ presented on its standard generators.
*/

G<x,y>:=Group<x,y|
x^2,
y^13,
(x*y)^14*(x,y)^-3,
(x,y)^6,
((x,y)^3,x),
((x,y)^3,y),
(x,y*x*y)^2*(x,y)^-3,
(x,y*x*y*x*y)^2*(x,y)^-3,
(x,(x*y)^4)^2*(x,y)^-3,
// (x,(x*y)^6)^2*(x,y)^-3, // redundant.
// (x,(x*y)^7)^2*(x,y)^-3, // redundant.
(x,(x*y)^5)^2*(x,y)^-3
>;

C:=x;D:=y;