"Source: Text/Group/GrpPerm.text";
"Line: 2410";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpPerm.text, line: 2410
// Example: H65E16 ()
print "Example: H65E16";
ei := GetEchoInput();
SetEchoInput(true);
H := PermutationGroup< 9 | (1,2,4)(5,6,8)(3,9,7), (4,5,6)(7,9,8) >;
Order(H);
assert $1 eq 216;
D := ncl< H | (H.1, H.2) >;
D;
SetEchoInput(ei);
