The free-operad identification conjecture for the cyclic Lie sub-operad of PreLie

Let $\operatorname{PreLie}$ be the PreLie operad, let $\operatorname{CycLie}$ be the cyclic Lie module, and let $M$ be the sub-operad generated by the image of $\operatorname{CycLie}$ under the map $\lambda$. Let $\operatorname{FreeOp}(\operatorname{CycLie})$ denote the free operad on $\operatorname{CycLie}$. The free-operad identification conjecture. The sub-operad $M$ is isomorphic to the free operad on $\operatorname{CycLie}$, namely

$$\operatorname{FreeOp}(\operatorname{CycLie})\simeq M.$$

This asserts that there are no further operadic relations among the generators supplied by the cyclic Lie module; the source gives no resolution.