Operad := examples::NonAssociativePermutativeOperad():

Trees := Operad::basisIndices:

Tree5 := Operad(Trees([2,[4],[1],[3]])):

Tree6 := Operad(Trees([4,[2],[3,[1],[5]]])):

Operad::composition(Tree6, Tree5, 3)

                             7

                            /  \

                            2  4

                             //|\\

                             63518