2^30 - sum with i from 0 to 29 of 2^i