def maxForestSizeTLCovers(tlcovs):
    """
    Prune top-level covers for maximum forest size
    Inputs:
        tlcovs: A list of top-level covers as returned by explain.
    Outputs:
        tlcovs_fs_max: The pruned top level covers.
        fs_max: The maximum forest size found.
    """
    fs_max = max(sum(ts) for (_,_,_,_,ts) in tlcovs)
    tlcovs_fs_max = [(u,k,d_min,d_max,ts) for (u,k,d_min,d_max,ts) in tlcovs if sum(ts) == fs_max]
    return tlcovs_fs_max, fs_max