sum(2^(k-1), k, 1 ,64)