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