"Source: Text/Group/GrpFP.text";
"Line: 7380";
"Date: Mon May 17 16:13:13 2021";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Group/GrpFP.text, line: 7380
// Example: H78E55 ()
print "Example: H78E55";
ei := GetEchoInput();
SetEchoInput(true);
B := BraidFPGroup(4);
G := PSL(2,16);
P := HomomorphismsProcess(B, G : Surjective := false,
                                 TimeLimit := 10);
while not IsEmpty(P) do
   if DefinesHomomorphism(P) then
      f := Homomorphism(P);
      img := Image(f);
      if IsMaximal(G,img) then
         print "found image which is maximal subgroup";
         break;
      end if;
   end if;
   if IsValid(P) then
      NextElement(~P);
    else
      print "Limit has been reached";
      break;
   end if;
end while;

f;
SetEchoInput(ei);
