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