454045domain: NAppears in sequencesSmallest m such that (sum of binary digits of m*(m+1)/2) = n.at n=32A211201Integer part of (2^(n - 1) - 1)*sqrt(3) + 1.at n=19A374148