"Source: Text/Group/GrpData.text";
"Line: 837";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpData.text, line: 837
// Example: H73E4 ()
print "Example: H73E4";
ei := GetEchoInput();
SetEchoInput(true);
G := Group<a,b | (b*a^-1)^3, (b*a^-1*b)^2,
                 a^12*b^2*a^7*b^2*a*b^2 >;
Order(G : Print := true);
SetGlobalTCParameters( : Strategy := "Hard");
IdentifyGroup(G);
SetEchoInput(ei);
