)}}}$$ where the sum is over all sequences of partitions $\nu=(\nu^{(0)},\ldots,\nu^{(n)})$ such that $$\begin{split} &\emptyset=\nu^{(0)}\subset \nu^{(0)}\subset \cdots \subset \nu^{(n+0)} =\mu^t\\ &\text{$