(2)| = m_2(c)  \le |{\partial}{\Delta}_c|^2/4 = |W|^2/4.$$

Hence, in view of Lemma \[8bb\], see also inequalities –, we may assume that, for every [pseudobracket]{} $b \in \cup_{i=0}^\ell B_i$, it is true that $$\begin{aligned}
\label{ieq1}
0 & \le b(1), b(2) \le |W|, \\ \notag
0 & \le | b(3) |  \le (|W|_{a_1} + (|n_1| +|n_2|) |{\Delta}_c(2)|)/2 \\   \label{ieq2}
  & \le (|W|_{a_1} + |W|^2/2)/2 \le  |W|^2/2 ,  \\ \label{ieq3}
0 & \le b(4) \le  |{\Delta}_c(2)| \le  |W|^2/4 .\end{aligned}$$ Thus the space needed to store a [pseudobracket]{} $b \in \cup_{i=0}^\ell B_i$ is $O(\log |W|)$.

For every [pseudobracket system]{} $B_i$, denote $B_i = \{ b_{i, 1}, \ldots, b_{i, k_i} \}$, where, as above, $b_{i, j}(2) \le b_{i, j'}(1)$ whenever $j < j'$.

For every [pseudobracket system]{} $B_i$, we consider a path $c(i) := \Gamma(B_i)$ in ${\mathcal{T}}$ defined by the formula, hence, we have $$\label{pp3}
c(i) := \Gamma(B_i) = c_0(i) \delta(a(b_{i,1})) c_1(i)   \ldots \delta(a(b_{i,k_i})) c_{k_i}(i) .$$ As before, for $B_0 = \varnothing$, we set $c(0) := \Gamma(B_0) = c$.


( 2)| = m_2(c)   \le |{\partial}{\Delta}_c|^2/4 = |W|^2/4.$$ 

 Hence, in view of Lemma   \[8bb\ ], see also inequality –, we may wear that, for every [ pseudobracket ] { }   $ b \in \cup_{i=0}^\ell B_i$, it is true that $ $ \begin{aligned } 
 \label{ieq1 } 
 0 & \le b(1), b(2) \le |W|, \\ \notag 
 0 & \le | b(3) |   \le (|W|_{a_1 } + (|n_1| + |n_2|) |{\Delta}_c(2)|)/2 \\    \label{ieq2 } 
   & \le (|W|_{a_1 } + |W|^2/2)/2 \le   |W|^2/2,   \\ \label{ieq3 } 
 0 & \le b(4) \le   |{\Delta}_c(2)| \le   |W|^2/4 .\end{aligned}$$ therefore the space want to store a [ pseudobracket ] { }   $ b \in \cup_{i=0}^\ell B_i$ is $ O(\log |W|)$. 

 For every [ pseudobracket arrangement ] { }   $ B_i$, denote $ B_i = \ { b_{i, 1 }, \ldots, b_{i, k_i } \}$, where, as above, $ b_{i, j}(2) \le b_{i, j'}(1)$ whenever $ j < j'$. 

 For every [ pseudobracket arrangement ] { }   $ B_i$, we consider a path $ c(i): = \Gamma(B_i)$ in $ { \mathcal{T}}$ define by the formula, hence, we get $ $ \label{pp3 } 
 c(i): = \Gamma(B_i) = c_0(i) \delta(a(b_{i,1 }) ) c_1(i)    \ldots \delta(a(b_{i, k_i }) ) c_{k_i}(i) .$$ As before, for $ B_0 = \varnothing$, we set $ c(0): = \Gamma(B_0) = c$.
(2)| = m_2(f)  \le |{\partial}{\Delta}_c|^2/4 = |W|^2/4.$$

Hekce, in view of Lgmna \[8bb\], sxe also inequalkties –, we may assume that, foc evwry [pweudobracket]{} $b \in \cup_{i=0}^\eul B_i$, it ps true tyat $$\uegin{aligned}
\label{ieq1}
0 & \le b(1), b(2) \ls |W|, \\ \uovag
0 & \le | b(3) |  \le (|W|_{a_1} + (|n_1| +|n_2|) |{\Dalta}_c(2)|)/2 \\   \label{hed2}
  & \le (|W|_{a_1} + |W|^2/2)/2 \le  |W|^2/2 ,  \\ \label{ieq3}
0 & \le b(4) \je  |{\Delya}_f(2)| \le  |W|^2/4 .\end{alidned}$$ Ehus nht space needed to store a [pseudobdacket]{} $b \in \cup_{i=0}^\ell B_o$ is $O(\log |W|)$.

For every [pseudlbrafket system]{} $B_i$, denohe $B_i = \{ b_{i, 1}, \ldoew, b_{i, k_i} \}$, whefe, as abovt, $y_{i, j}(2) \le b_{i, n'}(1)$ whenever $j < j'$.

For every [pseudocrackzt system]{} $B_i$, ww cltsider a pavh $c(i) := \Gamma(B_i)$ in ${\mathcal{T}}$ definec by the formuka, iencw, we have $$\label{pp3}
c(i) := \Jamma(B_i) = c_0(i) \delta(a(b_{i,1})) c_1(i)   \ldods \delta(a(b_{i,k_i})) c_{k_i}(i) .$$ Aw befmre, xor $C_0 = \vxrnktiinf$, we sft $r(0) := \Gamma(B_0) = d$.


(2)| = m_2(c) \le |{\partial}{\Delta}_c|^2/4 = |W|^2/4.$$ view Lemma \[8bb\], also inequalities –, every $b \in \cup_{i=0}^\ell it is true $$\begin{aligned} \label{ieq1} 0 & \le b(1), \le |W|, \\ \notag 0 & \le | b(3) | \le (|W|_{a_1} + +|n_2|) |{\Delta}_c(2)|)/2 \\ \label{ieq2} & \le (|W|_{a_1} + |W|^2/2)/2 \le |W|^2/2 , \\ 0 \le \le \le |W|^2/4 .\end{aligned}$$ Thus the space needed to store a [pseudobracket]{} $b \in \cup_{i=0}^\ell B_i$ is |W|)$. For every [pseudobracket system]{} $B_i$, denote $B_i \{ b_{i, 1}, \ldots, k_i} \}$, where, as above, j}(2) b_{i, j'}(1)$ $j j'$. every [pseudobracket system]{} we consider a path $c(i) := \Gamma(B_i)$ in ${\mathcal{T}}$ defined by the formula, hence, we have $$\label{pp3} := \Gamma(B_i) \delta(a(b_{i,1})) c_1(i) \delta(a(b_{i,k_i})) .$$ before, for $B_0 we set $c(0) := \Gamma(B_0) =
(2)| = m_2(c)  \le |{\partial}{\Delta}_c|^2/4 = |W|^2/4.$$

Hence, in View of LemmA \[8bb\], seE alSo iNeQualItieS –, we may assume thAT, for Every [pseudobracket]{} $b \in \cUp_{i=0}^\elL B_I$, It is TRuE that $$\Begin{alIGnED}
\LabEl{IeQ1}
0 & \le B(1), b(2) \LE |W|, \\ \Notag
0 & \Le | b(3) |  \Le (|W|_{a_1} + (|n_1| +|n_2|) |{\DElta}_c(2)|)/2 \\   \label{Ieq2}
  & \Le (|w|_{a_1} + |W|^2/2)/2 \le  |W|^2/2 ,  \\ \label{iEQ3}
0 & \lE b(4) \le  |{\Delta}_c(2)| \Le  |W|^2/4 .\End{aligned}$$ ThUs tHe spacE nEedED to stOre A [pseuDobracKEt]{} $b \in \cUp_{i=0}^\ell B_i$ iS $O(\LOg |W|)$.

For EVery [pseUDObRackEt system]{} $B_i$, denote $B_I = \{ B_{i, 1}, \LDots, b_{i, k_i} \}$, where, aS above, $B_{i, J}(2) \Le B_{I, J'}(1)$ whEneVer $j < j'$.

For evErY [pseuDObrackeT SySTEM]{} $B_i$, WE consider a patH $c(i) := \Gamma(B_i)$ iN ${\MatHcal{T}}$ dEfIneD By the fOrmulA, hENce, We have $$\label{Pp3}
c(i) := \gamma(B_i) = c_0(i) \Delta(a(B_{I,1})) c_1(i)   \ldotS \Delta(a(b_{I,k_i})) c_{k_i}(I) .$$ As BefOre, fOR $B_0 = \VaRnoThINg$, wE SeT $c(0) := \GAMma(b_0) = c$.


(2)| = m_2(c)  \le |{\part ial}{\Delt a}_c| ^2/ 4 =  | W|^2 /4.$ $

Hence, in v i ew o f Lemma \[8bb\], see a lso i ne q uali t ie s –,we maya ss u m e t ha t,  fo re ve ry [p seu dobrack et]{} $b \ in\c up_{i=0}^\el l  B _i$, it is  tr ue that $$\b egi n{alig ne d}\ label {ie q1}
0  & \le b(1),b(2) \le|W | , \\ \ n otag
0& \l e |b(3) |  \le (|W|_ { a_ 1 } + (|n_1| +|n _2|) | {\ D el t a }_c (2) |)/2 \\  \l abel{ i eq2}
 &  \ l e (|W | _{a_1} + |W|^ 2/2)/2 \le|W| ^2/2 ,  \\\ label{ ieq3} 
0 & \ le b(4) \le   |{ \Delta}_c (2)| \ l e  |W|^ 2 /4 .\en d{alig ned }$$  Thu s  t he  sp ac e  ne e de d t o  st ore a [p se ud obrac ket] { } $ b \i n \ cup_ {i=0} ^\ell B_i$ is  $O (\lo g  |W |)$.
Forever y[pseu dobrac ket s ys tem]{} $B_i$, d enot e $B_i =\{b_ {i,  1 }, \l d ots, b _{i , k _i} \}$ , where ,  as  a b o v e,  $b_{i, j}(2) \leb_ { i ,j'}(1)$whenev e r$j < j'$.
Fo r e very [ pseud obra c ke t system ]{} $B _ i$ ,we cons id er a p at h $ c(i ) :=\ Gamm a(B_i) $ in ${\ mathc a l{T}}$ defined by the formul a ,h e nc e , we  ha ve $$\label {pp3 } 
c(i ) := \G amm a (B_i)  = c_ 0( i )\ delta(a(b_{i,1})) c _1 (i)  \ldot s \delta(a(b_ {i,k_i}))c _ { k_i}(i).$$A sb efore, for $B_ 0 = \ varnothing $ , we set  $c(0 ) := \Ga mma(B_0)= c$.


(2)| =_m_2(c) _\le |{\partial}{\Delta}_c|^2/4 = |W|^2/4.$$

Hence,_in view_of_Lemma \[8bb\], see_also_inequalities –, we_may assume that,_for every [pseudobracket]{} $b \in_\cup_{i=0}^\ell B_i$, it_is_true that $$\begin{aligned}
\label{ieq1}
0 & \le b(1), b(2) \le |W|, \\ \notag
0 & \le |_b(3)_| _\le_(|W|_{a_1}_+ (|n_1| +|n_2|) |{\Delta}_c(2)|)/2 \\_  \label{ieq2}
  &_\le (|W|_{a_1}_+ |W|^2/2)/2 \le  |W|^2/2 ,  \\_\label{ieq3}
0_& \le b(4)_\le  |{\Delta}_c(2)| \le  |W|^2/4 .\end{aligned}$$ Thus the_space needed to store a [pseudobracket]{} $b_\in \cup_{i=0}^\ell B_i$_is_$O(\log_|W|)$.

For every [pseudobracket system]{} $B_i$,_denote $B_i = \{ b_{i, 1},_\ldots, b_{i, k_i} \}$, where, as_above, $b_{i, j}(2) \le b_{i, j'}(1)$ whenever_$j < j'$.

For every [pseudobracket system]{} $B_i$,_we consider a path $c(i)_:= \Gamma(B_i)$_in ${\mathcal{T}}$ defined by the_formula, hence, we_have $$\label{pp3}
c(i)_:= \Gamma(B_i) =_c_0(i) \delta(a(b_{i,1})) c_1(i)   \ldots_\delta(a(b_{i,k_i})) c_{k_i}(i) .$$_As before, for $B_0 = \varnothing$,_we_set $c(0) :=_\Gamma(B_0)_=_c$.

