/* S5 presented on its standard generators. */ G:=Group; c:=x;d:=y;