25468777domain: NAppears in sequencesTotal sum of maximum list sizes in all sets of lists of n-set, cf. A000262.at n=9A097146