\\ Hamming weight of n.
t_oeis120 (n) = if (!n, 0, 1+t_oeis120((t_odd(n)-1)/2))