2^(2^n - n - 1)