Re: [math-fun] Sums of digits of powers of 2