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