counting the number of unlabeled free trees is a harder problem the musical cats directed and choreographed by gillian lynne played successfully for seven years