 the species $\ct{k}$ of $k$-coding trees first, then use dissymmetry to apply the results to unrooted enumeration.

\[thm:funcdecompct\] The species $\ctx{k}$ of $X$-rooted $k$-coding trees, $\cty{k}$ of $Y$-rooted $k$-coding trees, and $\ctxy{k}$ of edge-rooted $k$-coding trees satisfy the functional equations

\[eq:ctfunc\] $$\begin{aligned}
      \ctx{k} &= X \cdot \specname{C}_{k+1} \pbrac[\big]{\cty{k}} \label{eq:ctxfunc} \\
      \cty{k} &= Y \cdot \specname{E} \pbrac*{X \cdot \specname{L}_{k} \pbrac[\big]{\cty{k}}} \label{eq:ctyfunc} \\
      \ctxy{k} &= \cty{k} \cdot X \cdot \specname{L}_{k} \pbrac[\big]{\cty{k}} = X \cdot \specname{L}_{k+1} \pbrac[\big]{\cty{k}} \label{eq:ctxyfunc}
    \end{aligned}$$

as isomorphisms of species.

By construction, a $\ctx{k}$-structure consists of a single $X$-label and a cyclically-ordered $\pbrac{k+1}$-set of $\cty{k}$-structures. This gives \[eq:ctxfunc\]. See \[fig:ctxconst\] for an example of this construction.

(root) at (0,0) [$X$]{}; ;

(180/:1) node [$\specname{C}_{\numfronts}$]{};

iin [0,..., ]{}

(childi) at (:3) [$Y$]{}; (root) – (childi); (childi) ++(+90:1) node [$\cty{\kval}$]{};

(childi) ++(:1cm) ++(180+-:2cm) arc (180+-:180++:2cm);

(childi) – ++(:2) node \[rotate=,fill=white\] [$\cdots$]{}; (childi) – ++(+:2);
the species $ \ct{k}$ of $ k$-coding trees first, then use asymmetry to lend oneself the results to unrooted enumeration. 

 \[thm: funcdecompct\ ] The coinage $ \ctx{k}$ of $ X$-rooted $ k$-coding trees, $ \cty{k}$ of $ Y$-rooted $ k$-coding tree, and $ \ctxy{k}$ of edge - settle $ k$-coding trees satisfy the running equation 

 \[eq: ctfunc\ ] $ $ \begin{aligned } 
       \ctx{k } & = X \cdot \specname{C}_{k+1 } \pbrac[\big]{\cty{k } } \label{eq: ctxfunc } \\ 
       \cty{k } & = Y \cdot \specname{E } \pbrac*{X \cdot \specname{L}_{k } \pbrac[\big]{\cty{k } } } \label{eq: ctyfunc } \\ 
       \ctxy{k } & = \cty{k } \cdot X \cdot \specname{L}_{k } \pbrac[\big]{\cty{k } } = X \cdot \specname{L}_{k+1 } \pbrac[\big]{\cty{k } } \label{eq: ctxyfunc } 
     \end{aligned}$$ 

 as isomorphisms of coinage. 

 By construction, a $ \ctx{k}$-structure consists of a single $ X$-label and a cyclically - ordered $ \pbrac{k+1}$-set of $ \cty{k}$-structures. This gives \[eq: ctxfunc\ ]. determine \[fig: ctxconst\ ] for an example of this construction. 

 (root) at (0,0) [ $ X$ ] { }; ; 

 (180/:1) node [ $ \specname{C}_{\numfronts}$ ] { }; 

 iin [ 0, ..., ] { } 

 (childi) at (:3) [ $ Y$ ] { }; (root) – (childi); (childi) + + (+90:1) node [ $ \cty{\kval}$ ] { }; 

 (childi) + + (:1 cm) + + (180 + -:2 cm) discharge (180 + -:180++:2 cm); 

 (childi) – + + (: 2) node \[rotate=,fill = white\ ] [ $ \cdots$ ] { }; (childi) – + + (+: 2);
 thf species $\ct{k}$ of $k$-coding trees first, thgn use dmssymmefry to aoply the results to unrooted ebumerqtion.

\[thm:funcdecompct\] Tfe specied $\ctx{k}$ od $X$-riited $k$-codiif trees, $\cty{k}$ kn $Y$-romved $k$-coding tregs, and $\ctxy{k}$ of edge-rooted $k$-zobing trees satisfy the functional eqtations

\[rq:ftfunc\] $$\begin{alygnec}
      \ctx{k} &= X \cdot \specname{C}_{k+1} \pbrac[\big]{\dty{k}} \lauel{eq:ctxfunc} \\
      \cty{k} &= Y \cdot \specname{E} \pbrwc*{X \cdot \specname{L}_{n} \pbrac[\big]{\cjg{k}}} \jqbel{eq:ctyfunz} \\
      \ctqv{k} &= \cty{k} \cdkt X \cdot \specname{L}_{k} \pbrac[\big]{\cth{k}} = X \cdot \specbane{L}_{n+1} \pbrac[\big]{\ctb{k}} \labvl{eq:ctxyfunc}
    \end{alhgned}$$

as isomorphisms pf vpexies.

By construction, a $\ctx{k}$-structure confists of d aingle $X$-label and a cyclhcalny-orawrea $\pgrec{k+1}$-aet of $\ctb{k}$-structurea. This givew \[eq:ctxfunc\]. See \[fig:vtvbpnst\] for an sxamplq jf this construction.

(root) at (0,0) [$X$]{}; ;

(180/:1) node [$\sptcnams{C}_{\numfronts}$]{};

iin [0,..., ]{}

(childi) qt (:3) [$Y$]{}; (root) – (childi); (chlldi) ++(+90:1) nodq [$\cty{\kval}$]{};

(childi) ++(:1cm) ++(180+-:2cm) arc (180+-:180++:2cm);

(childi) – ++(:2) node \[rotate=,fhll=whmtd\] [$\cbits$]{}; (cfulfi) – ++(+:2);
the species $\ct{k}$ of $k$-coding trees first, dissymmetry apply the to unrooted enumeration. $X$-rooted trees, $\cty{k}$ of $k$-coding trees, and of edge-rooted $k$-coding trees satisfy the equations \[eq:ctfunc\] $$\begin{aligned} \ctx{k} &= X \cdot \specname{C}_{k+1} \pbrac[\big]{\cty{k}} \label{eq:ctxfunc} \\ \cty{k} &= \cdot \specname{E} \pbrac*{X \cdot \specname{L}_{k} \pbrac[\big]{\cty{k}}} \label{eq:ctyfunc} \\ \ctxy{k} &= \cty{k} \cdot X \specname{L}_{k} = \cdot \pbrac[\big]{\cty{k}} \label{eq:ctxyfunc} \end{aligned}$$ as isomorphisms of species. By construction, a $\ctx{k}$-structure consists of a single $X$-label a cyclically-ordered $\pbrac{k+1}$-set of $\cty{k}$-structures. This gives \[eq:ctxfunc\]. \[fig:ctxconst\] for an example this construction. (root) at (0,0) ; node [$\specname{C}_{\numfronts}$]{}; [0,..., (childi) (:3) [$Y$]{}; (root) (childi); (childi) ++(+90:1) node [$\cty{\kval}$]{}; (childi) ++(:1cm) ++(180+-:2cm) arc (180+-:180++:2cm); (childi) – ++(:2) node \[rotate=,fill=white\] [$\cdots$]{}; (childi) ++(+:2);
 the species $\ct{k}$ of $k$-coding treEs first, theN use dIssYmmEtRy to ApplY the results to uNRootEd enumeration.

\[thm:funcdeCompcT\] THE speCIeS $\ctx{k}$ Of $X$-rootED $k$-CODinG tReEs, $\cTy{K}$ Of $y$-rootEd $k$-Coding tRees, and $\ctxY{k}$ oF eDge-rooted $k$-coDInG trees satiSfy The functionaL eqUationS

\[eQ:ctFUnc\] $$\beGin{AlignEd}
      \ctx{k} &= x \Cdot \spEcname{C}_{k+1} \pBrAC[\big]{\ctY{K}} \label{eQ:CTxFunc} \\
      \Cty{k} &= Y \cdot \specname{e} \PbRAc*{X \cdot \specnamE{L}_{k} \pbrAc[\BIg]{\CTY{k}}} \lAbeL{eq:ctyfunc} \\
      \CtXy{k} &= \ctY{K} \cdot X \cDOt \SPECnaME{L}_{k} \pbrac[\big]{\ctY{k}} = X \cdot \specNAme{l}_{k+1} \pbraC[\bIg]{\cTY{k}} \labeL{eq:ctXyFUnc}
    \End{aligned}$$

aS isoMorphisms Of specIEs.

By conSTructioN, a $\ctx{k}$-StrUctUre cONsIsTs oF a SIngLE $X$-LabEL anD a cyclicAlLy-OrderEd $\pbRAC{K+1}$-Set oF $\ctY{k}$-stRuctuRes. This gives \[eQ:ctXfunC\]. see \[Fig:ctXconsT\] for An ExampLe of thIs conStRuction.

(root) at (0,0) [$X$]{}; ;

(180/:1) nOde [$\sPecname{C}_{\nUmfRoNts}$]{};

IiN [0,..., ]{}

(chilDI) at (:3) [$Y$]{}; (roOt) – (cHilDi); (childI) ++(+90:1) node [$\ctY{\KvaL}$]{};

(cHILDi) ++(:1Cm) ++(180+-:2cm) arc (180+-:180++:2cm);

(childi) – ++(:2) nodE \[rOTAtE=,fill=whiTe\] [$\cdotS$]{}; (ChIlDI) – ++(+:2);
 the species $\ct{k}$ of $ k$-codingtrees  fi rst ,then  use  dissymmetry t o  app ly the results to unro oteden u mera t io n.

\ [thm:fu n cd e c omp ct \]  Th es pe cies$\c tx{k}$of $X$-roo ted  $ k$-coding tr e es , $\cty{k} $ o f $Y$-rooted  $k $-codi ng  tr e es, a nd$\ctx y{k}$o f edge -rooted $ k$ - coding trees s a t is fy t he functional equ a ti o ns

\[eq:ctfun c\] $$ \b e gi n { ali gne d}
      \ ct x{k}& = X \cd o t\ s p ecn a me{C}_{k+1} \ pbrac[\big] { \ct y{k}}\l abe l {eq:ct xfunc }\ \
     \cty{k } &=  Y \cdot\specn a me{E} \ p brac*{X  \cdot  \s pec name { L} _{ k}\p b rac [ \b ig] { \ct y{k}}} \ la be l{eq: ctyf u n c }  \\     \ ctxy{ k} &= \cty{k}  \c dotX  \c dot \ specn ame{ L} _{k}\pbrac [\big ]{ \cty{k}} = X \c dot\specname {L} _{ k+1 }\pbra c [\big] {\c ty{ k}} \la bel{eq: c txy fu n c } 
   \end{aligned}$$ 
a s  i somorphi sms of sp ec i es.

Byco nst ruct i o n, a$\ct x {k }$-struc ture c o ns is ts of a  s ingle$X $-l abe l and a cy clical ly-order ed $\ p brac{k+1}$-set of $\cty{k}$- s tr u c tu r es.Thi s gives \[e q:ct x func \].S ee  \[ f ig:ct xcons t\ ]  f o r an example of thi sconstr uctio n.

(root) at  (0,0) [$X $ ] { }; ;

(1 80/: 1 )n ode [$\specnam e{C}_ {\numfront s }$]{};
iin [ 0,..., ] {}

(chil d i ) at (:3 ) [ $Y$ ]{} ; ( r o ot ) – (childi); ( chil di ) ++(+9 0:1 ) node[$\ cty {\k val }$ ]{};

(ch ildi) ++ (: 1c m)  + +(1 80+-: 2 cm) arc(1 80+ -: 180 ++:2c m );

(c hildi ) –++ (: 2 ) n ode \[r o ta t e =,fi ll =w hite \][$ \cdot s$]{ } ; ( childi)  – ++(+:2 );
 the_species $\ct{k}$_of $k$-coding trees first,_then use_dissymmetry_to apply_the_results to unrooted_enumeration.

\[thm:funcdecompct\] The species_$\ctx{k}$ of $X$-rooted $k$-coding_trees, $\cty{k}$ of_$Y$-rooted_$k$-coding trees, and $\ctxy{k}$ of edge-rooted $k$-coding trees satisfy the functional equations

\[eq:ctfunc\] $$\begin{aligned}
 __ __\ctx{k}_&= X \cdot \specname{C}_{k+1} \pbrac[\big]{\cty{k}}_\label{eq:ctxfunc} \\
   _ _\cty{k} &= Y \cdot \specname{E} \pbrac*{X \cdot \specname{L}_{k}_\pbrac[\big]{\cty{k}}}_\label{eq:ctyfunc} \\
 _    \ctxy{k} &= \cty{k} \cdot X_\cdot \specname{L}_{k} \pbrac[\big]{\cty{k}} = X \cdot_\specname{L}_{k+1} \pbrac[\big]{\cty{k}} \label{eq:ctxyfunc}
___ \end{aligned}$$

as isomorphisms of_species.

By construction, a $\ctx{k}$-structure consists of_a single $X$-label and a cyclically-ordered_$\pbrac{k+1}$-set of $\cty{k}$-structures. This gives \[eq:ctxfunc\]. See_\[fig:ctxconst\] for an example of this_construction.

(root) at (0,0) [$X$]{}; ;

(180/:1)_node [$\specname{C}_{\numfronts}$]{};

iin_[0,..., ]{}

(childi) at (:3) [$Y$]{};_(root) – (childi);_(childi) ++(+90:1)_node [$\cty{\kval}$]{};

(childi) ++(:1cm)_++(180+-:2cm) arc (180+-:180++:2cm);

(childi) – ++(:2) node_\[rotate=,fill=white\] [$\cdots$]{}; (childi)_– ++(+:2);