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