"Source: Text/Group/Grp.text";
"Line: 2551";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/Grp.text, line: 2551
// Example: H64E22 ()
print "Example: H64E22";
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);
