"Source: Text/Group/GrpMatGen.text";
"Line: 2018";
"Date: Mon Jun 27 15:52:23 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Group/GrpMatGen.text, line: 2018
// Example: H65E12 ()
print "Example: H65E12";
ei := GetEchoInput();
SetEchoInput(true);
DB := RationalMatrixGroupDatabase();
G := Group(DB, 12, 3);
FactoredOrder(G);
CompositionFactors(G);
time cl := Classes(G);
#cl;
assert $1 eq 1325;
SetEchoInput(ei);
