just realized it's 2^(2^n-1)