with K, n0 ≥ 1, (X n )n≥0 identically distributed as (Xn)n≥0 for r = 1, . . . , K , a random vector I (n) = (I (n) 1 , . . . , I (n) K ) of integers in {0, . . . , n − 1} and a random bn such that (X n )n≥0, . . . , (X ) n )n≥0, (I (n), bn) are independent. The symbol d = denotes equality in distribution. In applications, the I (n) r are random subgroup sizes, bn is a toll function specifying t...