"Source: Text/Group/GrpPerm.text";
"Line: 6545";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpPerm.text, line: 6545
// Example: H65E35 ()
print "Example: H65E35";
ei := GetEchoInput();
SetEchoInput(true);
G := PermutationGroup< 16 |
        (1, 3, 2, 4)(5, 16, 6, 13)(7, 14, 8, 15)(9, 12, 11, 10),
        (1, 16, 9)(2, 15, 12)(3, 14, 11)(4, 13, 10)(6, 8, 7) >;
H := ncl< G | (6, 7, 8)(14, 16, 15) >;
H;
C := Complements(G, H);                                                          
C;
K := C[1];
IsTrivial(K meet H );
assert $1;
#K * #H eq #G;
assert $1;
SetEchoInput(ei);
