8523086domain: NAppears in sequencesNumber of unlabeled semitransitive orders on n elements: (1+3)-free posets.at n=12A079146