ConjugateAfterCycleType from Permutation
The conjugate partition of the cycle type.
Entry j is the count of cycles of length at least j — non-increasing in j by construction, so it comes out sorted without needing one.
Called as CombinatorialMap(x, "ConjugateAfterCycleType"). The head's page has its examples.