"Source: Text/Lat/GLat.text";
"Line: 329";
"Date: Fri Sep 26 12:10:10 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Lat/GLat.text, line: 329
// 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);
