"Source: Text/Group/GrpPerm.text";
"Line: 7350";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpPerm.text, line: 7350
// Example: H65E37 ()
print "Example: H65E37";
ei := GetEchoInput();
SetEchoInput(true);
G := Alt(6);
&cat [pMultiplicator(G, p[1]): p in FactoredOrder(G)];   
F := FPGroup(G);
F2 := pCover(G, F, 2);
G2 := DegreeReduction(CosetImage(F2, sub<F2|>));
Degree(G2);
assert $1 eq 144;
#G2;
assert $1 eq 720;
F6 := pCover(G2, F2, 3);
F6;
AbelianQuotientInvariants(F6);
SetEchoInput(ei);
