2^{30}