P402: Enumeration of all binary trees with $n$ vertices

P402: Enumeration of all binary trees with $n$ vertices
Input:
An integer $n$.
Output:
All binary trees with $n$ vertices.
Complexity:
Comment:
Reference:
[Rotem1978a] (Bibtex)