"Source: Text/Group/GrpPC.text";
"Line: 1934";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpPC.text, line: 1934
// Example: H70E12 ()
print "Example: H70E12";
ei := GetEchoInput();
SetEchoInput(true);
G := PCGroup(SpecialLinearGroup(2,GF(3)));
G;
Nclasses(G);
assert $1 eq 7;
cc := Classes(G);
cc;
cc[3];
x := cc[3][3];
Class(G,x);
cm := ClassMap(G);
cm(G.1);
i := 3; j := 5;
t := [0: c in cc];
for x in Class(G,cc[i][3]), y in Class(G,cc[j][3]) do
  t[cm(x*y)] +:= 1;
end for;
t;
[ t[i]/cc[i][2]: i in [1..#t] ];
SetEchoInput(ei);
