"Source: Text/Group/GrpASim.text";
"Line: 1016";
"Date: Wed May 31 07:54:47 2023";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Group/GrpASim.text, line: 1016
// Example: H71E1 ()
print "Example: H71E1";
ei := GetEchoInput();
SetEchoInput(true);
F<u> := FiniteField(8);
G := SymplecticGroup(10, F);
G;
SetEchoInput(ei);
