254438domain: NAppears in sequencesMaximum number of prime implicants of a symmetric function of n Boolean variables.at n=13A109385