91105domain: NAppears in sequencesMaximum number of prime implicants of a symmetric function of n Boolean variables.at n=12A109385a(n) = n*(27*n^3 + 22*n^2 - 21*n - 16)/12.at n=14A172085