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

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

C:=x;D:=y;