80371122domain: NAppears in sequencesNumber of non-degenerate disjunctively-realizable functions of n variables.at n=7A005616