 position that name edge of size at least 2 in such a way that the link vertex has a vertex that not only lies in the same name edge, but also in the same block edge.

Construction of ${\textup{\textsf{leftpart}}}(T)$ for even $D$ {#EVENsec:rightpartevenD}
==============================================================

For each $i \in I$ let $H^{(i)}$ be a $(D,\varrho_i)$-hypergraph from Proposition \[EVENprop:hypergraph\]. We write $E_{\text{Block}}^{(i)}$ to denote its set of block edges and $E_{\text{Name}}^{(i)}$ to denote its set of name edges.

In this section, for every $i \in I$ and every $e \in E_{\text{Block}}^{(i)}$ we construct an $m \times D$ block tableau $\check B_e$ such that ${\textup{\textsf{leftpart}}}(T)$ is constructed as the concatenation $$\label{EVENeq:leftpartmadefromblocks}
{\textup{\textsf{leftpart}}}(T) := \sum_{i\in I} \sum_{e \in E_{\text{Block}}^{(i)}} \check B_e.$$ Notice that since every block edge has size $D$ (see Def. \[def:dkhypergraph\]), this implies that the number of columns in ${\textup{\textsf{leftpart}}}(T)$ is equal to the total number of vertices in the hypergraphs $H^{(i)}$, $i \in I$.

Each $m\times D$ block tableau $\check B_e$ is constructed in three steps: First we construct an $m\times D$ block tableau $B_e$ in which each column corresponds to a vertex in $H^{(i)}$, then we exchange entries between columns that correspond to link vertices.

Let $\zeta^{(i)}$ denote the link vertex in $H^{(i)}$. We attach some additional data to each $H^{(i)}$ as follows. We put a linear order on the set of name edges $E_{\text{name}}^{(i)}$ and for each vertex $v$ in $H^{(i)}$ we define $\ell(v)$ to be the index of its corresponding name edge. Here $\ell(v)=1$ if $v$ lies in the first name edge, $\ell(v)=2$ for the next name edge, and so on.
position that name edge of size at least 2 in such a way that the link vertex take a vertex that not merely lies in the same name edge, but besides in the same block edge. 

 structure of $ { \textup{\textsf{leftpart}}}(T)$ for even $ D$ { # EVENsec: rightpartevenD } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 For each $ i \in I$ get $ H^{(i)}$ be a $ (D,\varrho_i)$-hypergraph from Proposition   \[EVENprop: hypergraph\ ]. We write $ E_{\text{Block}}^{(i)}$ to denote its set of block edge and $ E_{\text{Name}}^{(i)}$ to denote its set of name edge. 

 In this incision, for every $ i \in I$ and every $ e \in E_{\text{Block}}^{(i)}$ we construct an $ m \times D$ block tableau $ \check B_e$ such that $ { \textup{\textsf{leftpart}}}(T)$ is constructed as the chain $ $ \label{EVENeq: leftpartmadefromblocks } 
 { \textup{\textsf{leftpart}}}(T): = \sum_{i\in I } \sum_{e \in E_{\text{Block}}^{(i) } } \check B_e.$$ Notice that since every block edge has size $ D$ (see Def.   \[def: dkhypergraph\ ]), this imply that the number of columns in $ { \textup{\textsf{leftpart}}}(T)$ is adequate to the total phone number of vertices in the hypergraphs $ H^{(i)}$, $ i \in I$. 

 Each $ m\times D$ auction block tableau $ \check B_e$ is constructed in three steps: First we manufacture an $ m\times D$ block tableau $ B_e$ in which each column corresponds to a vertex in $ H^{(i)}$, then we exchange entries between columns that correspond to link vertices. 

 Let $ \zeta^{(i)}$ denote the link vertex in $ H^{(i)}$. We attach some additional data to each $ H^{(i)}$ as follows. We put a linear ordering on the set of name edges $ E_{\text{name}}^{(i)}$ and for each vertex $ v$ in $ H^{(i)}$ we specify $ \ell(v)$ to be the exponent of its represent name edge. Here $ \ell(v)=1 $ if $ v$ lies in the inaugural name edge, $ \ell(v)=2 $ for the next name edge, and so along.
 podition that name edge of size at least 2 in suci a way that thd link vertex has a vertex tiat bot obly lies in the same nxme edge, hut also in uhe same block edjs.

Constrmetion lf ${\tzxvup{\textsf{leftpatt}}}(T)$ for even $D$ {#EVENsec:righdpxrcevenD}
==============================================================

For each $i \in I$ let $H^{(i)}$ be a $(D,\vwrrho_i)$-hupfrgraph from Ptoposptyon \[EBVNkrop:hypergraph\]. We write $E_{\text{Bloci}}^{(i)}$ to dtnote its set of bkock edges and $E_{\text{Name}}^{(i)}$ ho dfnote its set of nwme edges.

In thif section, for every $i \in I$ and everi $e \in E_{\text{Block}}^{(i)}$ we construct xn $m \cimes D$ bloxk tahneau $\check U_e$ sucr that ${\textui{\nextsf{laftpart}}}(Y)$ is constructcd as thw concatenation $$\label{XVENeq:leftpartmadefrjmblocks}
{\taxcup{\textsf{leftpart}}}(T) := \sym_{u\in I} \sum_{a \in W_{\tebt{Bmork}}^{(i)}} \check B_e.$$ Notice thzt since evwry block edge has xisv $D$ (see Def. \[der:dkhypqrdraph\]), this implies that the number of cmlujns in ${\textup{\textsf{leftpart}}}(T)$ is equal to the total nuiber of vertices in the hypergraphs $H^{(i)}$, $i \in I$.

Each $m\timxs D$ yoock gqbpeau $\check B_e$ is constructed in three steps: Fydsu wv construct an $m\tlmes D$ block tablesu $B_r$ in which eacf column dorresponds to a vfrtex ig $H^{(i)}$, rhen we evchamge entries between columns that corresiond to link vertices.

Lzt $\zeta^{(i)}$ denute jhe limk vertex in $H^{(i)}$. We attaeh soms additionap data to dach $H^{(i)}$ as follods. Ee put a linear order on the set of neme ebges $E_{\tebt{nake}}^{(i)}$ anq for each vertcf $v$ in $H^{(i)}$ we definf $\ell(r)$ to te the indfx of its corresponding name edjx. Here $\ell(v)=1$ ig $e$ lpes in thz firsb name edge, $\ell(d)=2$ for the next name ebge, ana so on.
position that name edge of size at in a way the link vertex only in the same edge, but also the same block edge. Construction of for even $D$ {#EVENsec:rightpartevenD} ============================================================== For each $i \in I$ let $H^{(i)}$ be $(D,\varrho_i)$-hypergraph from Proposition \[EVENprop:hypergraph\]. We write $E_{\text{Block}}^{(i)}$ to denote its set of block and to its of name edges. In this section, for every $i \in I$ and every $e \in E_{\text{Block}}^{(i)}$ construct an $m \times D$ block tableau $\check such that ${\textup{\textsf{leftpart}}}(T)$ is as the concatenation $$\label{EVENeq:leftpartmadefromblocks} {\textup{\textsf{leftpart}}}(T) \sum_{i\in \sum_{e \in \check Notice since every block has size $D$ (see Def. \[def:dkhypergraph\]), this implies that the number of columns in ${\textup{\textsf{leftpart}}}(T)$ is equal the total vertices in hypergraphs $i I$. Each $m\times tableau $\check B_e$ is constructed in we construct an $m\times D$ block tableau $B_e$ which each corresponds to a vertex in $H^{(i)}$, we exchange entries between columns that correspond to vertices. Let $\zeta^{(i)}$ denote the link vertex in $H^{(i)}$. We attach some additional data to as follows. We put linear order on set name $E_{\text{name}}^{(i)}$ for each $v$ in $H^{(i)}$ we define $\ell(v)$ to be the index of corresponding name edge. Here $\ell(v)=1$ if $v$ lies in the edge, for the next edge, and so on.
 position that name edge of sizE at least 2 in Such a Way ThaT tHe liNk veRtex has a vertex THat nOt only lies in the same namE edge, BuT Also IN tHe samE block eDGe.

cONstRuCtIon Of ${\TExTup{\teXtsF{leftpaRt}}}(T)$ for even $d$ {#EVeNSec:rightpartEVeND}
==============================================================

For each $i \In I$ Let $H^{(i)}$ be a $(D,\varRho_I)$-hyperGrAph FRom PrOpoSitioN \[EVENpROp:hypeRgraph\]. We wRiTE $E_{\text{bLock}}^{(i)}$ to DENoTe itS set of block edges aND $E_{\TExt{Name}}^{(i)}$ to denoTe its sEt OF nAME edGes.

in this sectIoN, for eVEry $i \in I$ ANd EVERy $e \IN E_{\text{Block}}^{(i)}$ wE construct aN $M \tiMes D$ blOcK taBLeau $\chEck B_e$ SuCH thAt ${\textup{\texTsf{lEftpart}}}(T)$ iS constRUcted as THe concaTenatiOn $$\lAbeL{EVEnEq:LeFtpArTMadEFrOmbLOckS}
{\textup{\tExTsF{leftPart}}}(t) := \SUM_{I\in I} \Sum_{E \in E_{\Text{BLock}}^{(i)}} \check B_e.$$ NOtiCe thAT siNce evEry blOck eDgE has sIze $D$ (seE Def. \[dEf:Dkhypergraph\]), thiS impLies that tHe nUmBer Of ColumNS in ${\texTup{\TexTsf{leftPart}}}(T)$ is EQuaL tO THE tOtal number of verticEs IN ThE hypergrAphs $H^{(i)}$, $I \In i$.

EACh $m\times d$ bLocK tabLEAu $\cheCk B_e$ IS cOnstructEd in thREe StEps: FirsT wE constRuCt aN $m\tImes D$ BLock TableaU $B_e$ in whiCh eacH Column correspoNDs to a vertex in $h^{(I)}$, tHEN wE ExchAngE entries betWeen COlumNs thAT cOrrESpond To linK vERtICes.

Let $\zeta^{(i)}$ denote thE lInk verTex in $h^{(i)}$. We attach somE additionaL DATa to each $h^{(i)}$ as FOlLOws. We put a lineaR ordeR on the set oF Name edgeS $E_{\texT{name}}^{(i)}$ anD for each vERTex $v$ in $H^{(i)}$ We dEfiNe $\eLl(v)$ TO Be The index of its CORresPoNding naMe eDge. Here $\Ell(V)=1$ if $V$ liEs iN tHe first naMe edge, $\elL(v)=2$ FoR tHe NexT name EDge, and so On.
 position that name edge o f size atleast  2insu ch a  way  that the link vert ex has a vertex that n ot on ly lies in  thesame na m ee d ge,  b ut  al so in  thesam e block  edge.

Co nst ru ction of ${\ t ex tup{\texts f{l eftpart}}}(T )$for ev en  $D $  {#EV ENs ec:ri ghtpar t evenD} 
======== == = ====== = ======= = = == ==== ================= = == = ========

Foreach $ i\ in I $ l et$H^{(i)}$be  a $( D ,\varrh o _i ) $ - hyp e rgraph from P roposition\ [EV ENprop :h ype r graph\ ]. We  w r ite  $E_{\text{ Bloc k}}^{(i)} $ to d e note it s  set of  block  ed ges  and $E _{ \te xt { Nam e }} ^{( i )}$  to deno te  i ts se t of n a m e ed ges .

I n thi s section, fo r e very $i\in I $ and  eve ry  $e \ in E_{ \text {B lock}}^{(i)}$ w e co nstruct a n $ m\ti me s D$b lock t abl eau  $\chec k B_e$s uch  t h a t  $ {\textup{\textsf{l ef t p ar t}}}(T)$  is co n st ru c ted as t he  co ncat e n ation  $$\ l ab el{EVENe q:left p ar tm adefrom bl ocks}{\ tex tup {\tex t sf{l eftpar t}}}(T):= \s u m_{i\in I} \su m _{e \in E_{\t e xt { B lo c k}}^ {(i )}} \checkB_e. $ $ No tice th ats inceevery  b l oc k  edge has size $D$(s ee Def . \[d ef:dkhypergra ph\]), thi s i mplies t hatt he number of colu mns i n ${\textu p {\textsf {left part}}}( T)$ is eq u a l to the  to tal  nu mbe r of  vertices int h e hy pe rgraphs  $H ^{(i)}$ , $ i \ inI$. 
Each $m\t imes D$bl oc kta ble au $\ c heck B_e $isco nst ructe d  in th ree s teps :Fi r stwe cons t ru c t  an$m \t imes  D$  b locktabl e au$B_e$ i n which e ach colu mn  c orrespo nds to a vert ex  in $H^{(i )} $,then w e exchange  entries between column s  that c orr espon d to  link ver tic es.

L et$ \zeta^ {(i)}$  deno te  th e linkv e rt exin  $H^{(i)}$ . Weattac hsome  additi onal data to each$ H^{ (i)}$ as foll ows . We p ut  al in e aror d ero n  the set of nam e edges $E _{ \ te xt{name}}^ { (i) }$  and fo r eachverte x  $v$ in  $H^{(i)} $ we defi ne  $\e l l (v) $ to be th e indexof its co r respo n di ng na meedge.He re$\ell (v)=1$ if$v$ l ies in  t he fir st na me  edge, $ \ell(v)=2$ for the next  nameedge,  an d so on.
 position_that name_edge of size at_least 2_in_such a_way_that the link_vertex has a_vertex that not only_lies in the_same_name edge, but also in the same block edge.

Construction of ${\textup{\textsf{leftpart}}}(T)$ for even $D$_{#EVENsec:rightpartevenD}
==============================================================

For_each $i_\in_I$_let $H^{(i)}$ be a $(D,\varrho_i)$-hypergraph_from Proposition \[EVENprop:hypergraph\]. We write $E_{\text{Block}}^{(i)}$_to denote_its set of block edges and $E_{\text{Name}}^{(i)}$ to_denote_its set of_name edges.

In this section, for every $i \in I$_and every $e \in E_{\text{Block}}^{(i)}$ we_construct an $m_\times_D$_block tableau $\check B_e$_such that ${\textup{\textsf{leftpart}}}(T)$ is constructed as_the concatenation $$\label{EVENeq:leftpartmadefromblocks}
{\textup{\textsf{leftpart}}}(T) := \sum_{i\in I}_\sum_{e \in E_{\text{Block}}^{(i)}} \check B_e.$$ Notice that_since every block edge has size_$D$ (see Def. \[def:dkhypergraph\]), this implies_that the_number of columns in ${\textup{\textsf{leftpart}}}(T)$_is equal to_the total_number of vertices_in the hypergraphs $H^{(i)}$, $i \in_I$.

Each $m\times D$_block tableau $\check B_e$ is constructed_in_three steps: First_we_construct_an $m\times_D$ block tableau_$B_e$_in which_each_column corresponds to a vertex in_$H^{(i)}$,_then we exchange entries between columns that_correspond to link vertices.

Let_$\zeta^{(i)}$_denote the link vertex_in $H^{(i)}$. We attach some_additional data to each $H^{(i)}$ as_follows. We_put a_linear order on the set of name edges $E_{\text{name}}^{(i)}$ and for_each vertex $v$ in $H^{(i)}$ we_define $\ell(v)$ to be_the index_of_its corresponding name_edge._Here $\ell(v)=1$_if $v$ lies in the first name_edge, $\ell(v)=2$_for the next name edge, and_so on.