"Source: Text/Group/Grp.text";
"Line: 2539";
"Date: Mon Mar 29 16:52:44 2021";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Group/Grp.text, line: 2539
// Example: H63E22 ()
print "Example: H63E22";
ei := GetEchoInput();
SetEchoInput(true);
SetSeed(1);
S := Sym(300);
repeat G := sub<S|Random(S),Random(S)>;
until IsSymmetric(G);
P := RandomProcessWithWords(G);
repeat x,w := Random(P);
until CycleStructure(x) eq [<300,1>];
#w;
InitialiseProspector(G);
assert $1;
test := func<x|CycleStructure(x) eq [<300,1>]>;
repeat a,x,w := Prospector(G, test); until a;
#w;
Evaluate(w, [G.1,G.2]) eq x;
assert $1;
SetEchoInput(ei);
