classfactor:=function(cc1,cc2) local gr,hr,cc2l; cc2l:=AsList(cc2); hr:=Representative(cc1); for gr in cc2l do if IsSubset(hr,gr) then return FactorGroup(hr,gr); fi; od; return false; end;