2^(2^30)