"Source: Text/Group/GrpPerm.text";
"Line: 8242";
"Date: Wed Mar 24 09:34:33 2021";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Group/GrpPerm.text, line: 8242
// Example: H64E43 ()
print "Example: H64E43";
ei := GetEchoInput();
SetEchoInput(true);
SetEchoInput(false);
load "ru";
SetEchoInput(true);
RandomSchreier(G : Max := 50, Run := 20);
Order(G);
assert $1 eq 145926144000;
Verify(G);
Order(G);
assert $1 eq 145926144000;
Base(G);
BasicOrbitLengths(G);
SetEchoInput(ei);
