\sum_{k=1}^{2^n-1}((2^n-1)ncr k)