1582817domain: NAppears in sequencesTotal height of all (unlabeled) rooted identity trees with n vertices.at n=19A291559