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