"Source: Text/Lat/GLat.text";
"Line: 324";
"Date: Thu Apr  1 10:52:23 2021";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Lat/GLat.text, line: 324
// Example: H33E2 ()
print "Example: H33E2";
ei := GetEchoInput();
SetEchoInput(true);
L := Lattice("Lambda", 19);
time G := AutomorphismGroup(L);
#G;
assert $1 eq 23592960;
DS := DerivedSeries(G);
[ #DS[i]/#DS[i+1] : i in [1..#DS-1] ];
[ IsElementaryAbelian(DS[i]/DS[i+1]) : i in [1..#DS-1] ];
H := DS[#DS];
C := Core(G, Sylow(H, 2));
Q := H/C; #Q, IsSimple(Q);
LS := LowerCentralSeries(C);
[ #LS[i]/#LS[i+1] : i in [1..#LS-1] ];
SetEchoInput(ei);
