"Source: Text/RepThy/ModAlg.text";
"Line: 2878";
"Date: Fri Sep 26 12:10:12 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/RepThy/ModAlg.text, line: 2878
// Example: H99E19 ()
print "Example: H99E19";
ei := GetEchoInput();
SetEchoInput(true);
O53 := PermutationGroup<45 |
  (2,3)(4,6)(7,9)(8,11)(12,16)(13,14)(15,19)(18,22)(20,25)(21,26)(27,33)
    (28,35) (29,34)(31,38)(36,43)(39,41),
  (1,2,4,7,10,14,16,3,5)(6,8,12,17,21,27,34,41,44)(9,13,18,23,29,37,33,40,43)
    (11,15,20)(19,24,30,25,31,22,28,36,38)(26,32,39)(35,42,45)>;
P := PermutationModule(O53, FiniteField(2));
MaximalSubmodules(P);
JacobsonRadical(P);
MinimalSubmodules(P);
Soc := Socle(P);
Soc;
SocleSeries(P);
SocleFactors(P);
SetEchoInput(ei);
