12132353domain: NAppears in sequencesa(n) = round(log_2(n)*2^n/n).at n=25A065617a(n) = ceiling(log_2(n)*2^n/n).at n=25A065618