"Source: Text/Group/GrpAtc.text";
"Line: 1008";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpAtc.text, line: 1008
// Example: H84E9 ()
print "Example: H84E9";
ei := GetEchoInput();
SetEchoInput(true);
FG<a,b,c,d,e,f> := FreeGroup(6);
F := quo< FG | a*c^-1*a^-1*d = 1, b*f*b^-1*e^-1 = 1,
               c*e*c^-1*d^-1 = 1, d*f^-1*d^-1*a = 1,
               e*b*e^-1*a^-1 = 1, f*c^-1*f^-1*b^-1 = 1 >;
SetVerbose("KBMAG", 1);
f, G<a,b,c,d,e,f> := IsAutomaticGroup(F);
Representative(G);
Random(G);
Random(G, 5);
Set(G);
Seq(G : Search := "BFS");
SetEchoInput(ei);
