420626821domain: NPropertiesPrimalityPrimeyesAppears in sequencesStrongly graded (3+1)-free partially ordered sets (posets) on n labeled vertices.at n=9A222863Prime numbersat n=22376091