"Source: Text/Group/GrpFP.text";
"Line: 2596";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpFP.text, line: 2596
// Example: H80E25 ()
print "Example: H80E25";
ei := GetEchoInput();
SetEchoInput(true);
HN<x, a, b, c, d, e, f, g> := 
    FPGroup< x, a, b, c, d, e, f, g |
             x^2, a^2, b^2, c^2, d^2, e^2, f^2, g^2,
             (x, a), (x, g),
             (b*c)^3, (b*d)^2, (b*e)^2, (b*f)^2, (b*g)^2,
             (c*d)^3, (c*e)^2, (c*f)^2, (c*g)^2,
             (d*e)^3, (d*f)^2, (d*g)^2,
             (e*f)^3, (e*g)^2,
             (f*g)^3,
             (b, x*b*x), 
             (a, e*d*c*b), (a, f)*d*c*b*d*c*d, (a*g)^5,
             (c*d*e*f, x*b*x), (b, x*c*d*e*f*x),
             (c*d*e*f, x*c*d*e*f*x) 
          >;
H := sub<HN | x,b,c,d,e,f,g >; 
idx := Index(HN, H: Print := true, CosetLimit := 1200000,
                    Strategy := "Hard", Lookahead := 2);
idx;
assert $1 eq 1140000;
SetEchoInput(ei);
