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