sum_(j=0)^(n-1) (2 C(n, j) - 1 + (n-1-j) C(n-1, n-1-j) + j)