1380917domain: NAppears in sequencesa(n) is the least k such that k^2 has a maximal Hamming weight A357658(n) in the range 2^n <= k^2 < 2^(n+1).at n=38A357659a(n) is the least k such that B(k^2) - B(k) = n, where B(m) is the binary weight A000120(m).at n=24A357750