“…However, this changes for larger values of k. It is well known that the number of rooted binary trees with k leaves up to isomorphism is the Wedderburn-Etherington number W k . The first few of these numbers are 1,1,1,2,3,6,11,23,46,98,207,451,983, . .…”