# ACEExample "perf602p5" : enumeration of cosets of H in G,
# where G = PerfectGroup(60*2^5, 2), |G : H| = 480,  using 
# default strategy.
#
local G, fgens;
G := PerfectGroup(IsSubgroupFpGroup, 2^5*60, 2);
fgens := FreeGeneratorsOfFpGroup(G);
return ACEfunc(
    # arguments
    fgens, RelatorsOfFpGroup(G), fgens{[1]}
    # options
    : echo, mendelsohn, max := 800, mess := 500);
