"Source: Text/Group/GrpPerm.text";
"Line: 4392";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpPerm.text, line: 4392
// Example: H65E25 ()
print "Example: H65E25";
ei := GetEchoInput();
SetEchoInput(true);
M24 := sub< Sym(24) |
 (1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,24),
 (2,16,9,6,8)(3,12,13,18,4)(7,17,10,11,22)(14,19,21,20,15),
 (1,22)(2,11)(3,15)(4,17)(5,9)(6,19)(7,13)(8,20)(10,16)(12,21)(14,18)(23,24)>;
M24;
x := Random(M24);
1^x;
[1,2,3,4]^x;
{ 1,2,3,4}^x;
S1 := Stabilizer(M24, 1);
S1;
SQ := Stabilizer(M24, [1,2,3,4,5]);
SQ;
Orbits(SQ);
B := { 1,2,3,4,5,8,11,13 };
D := B^M24;
#D;
assert $1 eq 759;
Index(M24, Stabilizer(M24, { 1,2,3,4,5,8,11,13 }));
assert $1 eq 759;
SetEchoInput(ei);
