/* A5 presented on its standard generators. */ G:=Group; a:=x;b:=y;