m)=2^a-1=l\#m$ whenever $2^{a-1}{\leqslant}l,m<2^a$.

Let $r,s,t\in\N$. From Proposition \[backdiag\] follows that $\tau(r,s){\geqslant}t$ if, and only if, there exist $\rho{\leqslant}r$ and $\s{\leqslant}s$ with $\rho+\s=t$ such that $Q_t^{(\rho,\s)}\equiv1$. Now suppose that $r,s{\leqslant}2^a$, and consider $\rho{\leqslant}r$ and $\s{\leqslant}s$. If $\rho+\s<2^a$ then $$Q_{\rho+\s}^{(\rho,\s)}\equiv\binom{\rho+\s}{\rho}=
\binom{2^a}{2^a}\binom{\rho+\s}{\rho}\equiv 
\binom{\rho+\s+2^a}{\rho+2^a}=Q_{\rho+2^a}^{(\rho+2^a,\s)}\,.$$ If instead $\rho+\s{\geqslant}2^a$ then $Q_{\rho+\s}^{(\rho,\s)} \equiv 0 \equiv Q_{\rho+2^a+\s}^{(\rho+2^a,\s)}$ by Lemma \[specials\]:\[2s\]. In each case $Q_{\rho+\s}^{(\rho,\s)}\equiv Q_{\rho+2^a+\s}^{(\rho+2^a,\s)}$, which proves that $\tau(r+2^a,s)=\tau(r,s) + 2^a$ for all $r,s<2^a$. Taking $l=r+2^a$ and $m=s$ we get $\tau(l,m)=2^a + \tau(l-2^a,m)$ for all $l,m\in\N$ such that $m<2^a{\leqslant}l<2^{a+1}$. On the other hand, from the definition follows that $l\#m=2^a+(l-2^a)\#m$ in this case; now $\tau(l,m)=l\#m$ follows by induction.

We record the following facts about the operation $\#$. The third statement is an immediate consequence of Proposition \[hashprod\], the others follow from the definition. Remember
m)=2^a-1 = l\#m$ whenever $ 2^{a-1}{\leqslant}l, m<2^a$. 

 Let $ r, s, t\in\N$. From Proposition   \[backdiag\ ] follows that $ \tau(r, s){\geqslant}t$ if, and only if, there exist $ \rho{\leqslant}r$ and $ \s{\leqslant}s$ with $ \rho+\s = t$ such that $ Q_t^{(\rho,\s)}\equiv1$. nowadays presuppose that $ r, s{\leqslant}2^a$, and consider $ \rho{\leqslant}r$ and $ \s{\leqslant}s$. If $ \rho+\s<2^a$ then $ $ Q_{\rho+\s}^{(\rho,\s)}\equiv\binom{\rho+\s}{\rho}= 
 \binom{2^a}{2^a}\binom{\rho+\s}{\rho}\equiv 
 \binom{\rho+\s+2^a}{\rho+2^a}=Q_{\rho+2^a}^{(\rho+2^a,\s)}\,.$$ If instead $ \rho+\s{\geqslant}2^a$ then $ Q_{\rho+\s}^{(\rho,\s) } \equiv 0 \equiv Q_{\rho+2^a+\s}^{(\rho+2^a,\s)}$ by Lemma   \[specials\]:\[2s\ ]. In each lawsuit $ Q_{\rho+\s}^{(\rho,\s)}\equiv Q_{\rho+2^a+\s}^{(\rho+2^a,\s)}$, which proves that $ \tau(r+2^a, s)=\tau(r, s) + 2^a$ for all $ r, s<2^a$. take $ l = r+2^a$ and $ m = s$ we scram $ \tau(l, m)=2^a + \tau(l-2^a, m)$ for all $ l, m\in\N$ such that $ m<2^a{\leqslant}l<2^{a+1}$. On the other bridge player, from the definition follows that $ l\#m=2^a+(l-2^a)\#m$ in this case; nowadays $ \tau(l, m)=l\#m$ follows by induction. 

 We record the following facts about the process $ \#$. The third statement is an immediate consequence of Proposition   \[hashprod\ ], the others follow from the definition. commemorate
m)=2^a-1=l\#l$ whenever $2^{a-1}{\leqslant}l,m<2^a$.

Ltt $r,s,t\in\N$. From Propositimn \[backsiag\] foluows that $\tau(r,s){\geqslant}t$ if, end inly uf, there exist $\rho{\leqsuant}r$ and $\s{\leqslabt}s$ xith $\rho+\s=t$ such vgat $Q_t^{(\rmj,\s)}\eqhlv1$. Noc wuppose that $r,x{\leqslant}2^a$, and consider $\shu{\lzqslant}r$ and $\s{\leqslant}s$. If $\rho+\s<2^a$ theg $$Q_{\rho+\s}^{(\thl,\s)}\equiv\binom{\rhj+\s}{\rhp}=
\finoj{2^a}{2^a}\binom{\rho+\s}{\rho}\equiv 
\binom{\rho+\s+2^a}{\rho+2^z}=Q_{\rho+2^a}^{(\rio+2^a,\s)}\,.$$ If instead $\rho+\s{\geqslant}2^a$ then $Q_{\rho+\s}^{(\rjo,\s)} \fquiv 0 \equiv Q_{\rho+2^a+\d}^{(\rho+2^a,\s)}$ by Lgjma \[fpecials\]:\[2s\]. In dach case $Q_{\rho+\s}^{(\rho,\s)}\equjv Q_{\rho+2^a+\s}^{(\rho+2^a,\s)}$, which proves thag $\tau(x+2^a,s)=\tau(r,s) + 2^a$ fir wnl $r,s<2^a$. Takiig $l=r+2^a$ and $m=s$ we gcn $\tau(l,m)=2^d + \tau(l-2^s,m)$ for all $l,m\ik\N$ surh tyat $m<2^a{\leqslant}l<2^{a+1}$. On tie other hand, from tre definidikn follows that $l\#n=2^a+(o-2^a)\#m$ it thhs cxwe; vow $\teu(l,j)=l\#m$ foploxs by inducfion.

We recoed the following favtf about the opsratiog $\#$. The third statement is an immediate cotsesuence of Proposition \[hawhprod\], the others folpow from ehe definition. Remember
m)=2^a-1=l\#m$ whenever $2^{a-1}{\leqslant}l,m<2^a$. Let $r,s,t\in\N$. From Proposition that if, and if, there exist such $Q_t^{(\rho,\s)}\equiv1$. Now suppose $r,s{\leqslant}2^a$, and consider and $\s{\leqslant}s$. If $\rho+\s<2^a$ then $$Q_{\rho+\s}^{(\rho,\s)}\equiv\binom{\rho+\s}{\rho}= \binom{\rho+\s+2^a}{\rho+2^a}=Q_{\rho+2^a}^{(\rho+2^a,\s)}\,.$$ If instead $\rho+\s{\geqslant}2^a$ then $Q_{\rho+\s}^{(\rho,\s)} \equiv 0 \equiv Q_{\rho+2^a+\s}^{(\rho+2^a,\s)}$ by Lemma \[specials\]:\[2s\]. each case $Q_{\rho+\s}^{(\rho,\s)}\equiv Q_{\rho+2^a+\s}^{(\rho+2^a,\s)}$, which proves that $\tau(r+2^a,s)=\tau(r,s) + 2^a$ for all $r,s<2^a$. $l=r+2^a$ $m=s$ get + \tau(l-2^a,m)$ for all $l,m\in\N$ such that $m<2^a{\leqslant}l<2^{a+1}$. On the other hand, from the definition follows $l\#m=2^a+(l-2^a)\#m$ in this case; now $\tau(l,m)=l\#m$ follows by We record the following about the operation $\#$. The statement an immediate of \[hashprod\], others follow from definition. Remember
m)=2^a-1=l\#m$ whenever $2^{a-1}{\leqslant}l,m<2^a$.

LEt $r,s,t\in\N$. FrOm ProPosItiOn \[BackDiag\] Follows that $\tau(R,S){\geqSlant}t$ if, and only if, there Exist $\RhO{\LeqsLAnT}r$ and $\S{\leqslaNT}s$ WITh $\rHo+\S=t$ SucH tHAt $q_t^{(\rho,\S)}\eqUiv1$. Now sUppose that $R,s{\lEqSlant}2^a$, and conSIdEr $\rho{\leqslAnt}R$ and $\s{\leqslanT}s$. IF $\rho+\s<2^a$ ThEn $$Q_{\RHo+\s}^{(\rhO,\s)}\eQuiv\bInom{\rhO+\S}{\rho}=
\biNom{2^a}{2^a}\binoM{\rHO+\s}{\rho}\eQUiv 
\binoM{\RHo+\S+2^a}{\rhO+2^a}=Q_{\rho+2^a}^{(\rho+2^a,\s)}\,.$$ If insTEaD $\Rho+\s{\geqslant}2^a$ tHen $Q_{\rhO+\s}^{(\RHo,\S)} \EQuiV 0 \eqUiv Q_{\rho+2^a+\s}^{(\rHo+2^A,\s)}$ by LEMma \[specIAlS\]:\[2S\]. iN eaCH case $Q_{\rho+\s}^{(\rho,\S)}\equiv Q_{\rho+2^a+\S}^{(\Rho+2^A,\s)}$, whicH pRovES that $\tAu(r+2^a,s)=\TaU(R,s) + 2^a$ For all $r,s<2^a$. TaKing $L=r+2^a$ and $m=s$ wE get $\taU(L,m)=2^a + \tau(l-2^A,M)$ for all $L,m\in\N$ sUch ThaT $m<2^a{\lEQsLaNt}l<2^{A+1}$. ON The OThEr hANd, fRom the deFiNiTion fOlloWS THAt $l\#m=2^A+(l-2^a)\#M$ in tHis caSe; now $\tau(l,m)=l\#m$ fOllOws bY IndUctioN.

We reCord ThE follOwing fActs aBoUt the operation $\#$. THe thIrd statemEnt Is An iMmEdiatE ConseqUenCe oF ProposItion \[haSHprOd\], THE OtHers follow from the dEfINItIon. RememBer
m)=2^a-1=l\#m$ whenever $2 ^{a-1}{\le qslan t}l ,m< 2^ a$.
Let  $r,s,t\in\N$. From  Proposition \[backdia g\] f ol l owst ha t $\t au(r,s) { \g e q sla nt }t $ i f, an d onl y i f, ther e exist $\ rho {\ leqslant}r$a nd  $\s{\leqs lan t}s$ with $\ rho +\s=t$  s uch that$Q_ t^{(\ rho,\s ) }\equi v1$. Nowsu p pose t h at $r,s { \ le qsla nt}2^a$, and cons i de r  $\rho{\leqsla nt}r$an d  $ \ s {\l eqs lant}s$. I f$\rho + \s<2^a$ th e n $$Q _ {\rho+\s}^{(\ rho,\s)}\eq u iv\ binom{ \r ho+ \ s}{\rh o}=
\ bi n om{ 2^a}{2^a}\b inom {\rho+\s} {\rho} \ equiv \ binom{\ rho+\s +2^ a}{ \rho + 2^ a} =Q_ {\ r ho+ 2 ^a }^{ ( \rh o+2^a,\s )} \, .$$ I f in s t e a d $\ rho +\s{ \geqs lant}2^a$ the n $ Q_{\ r ho+ \s}^{ (\rho ,\s) }\equi v 0 \e quivQ_ {\rho+2^a+\s}^{ (\rh o+2^a,\s) }$by  Le mm a \[s p ecials \]: \[2 s\]. In  each c a se$Q _ { \ rh o+\s}^{(\rho,\s)}\ eq u i vQ_{\rho+ 2^a+\s } ^{ (\ r ho+2^a,\ s) }$,  whi c h  prov es t h at  $\tau(r +2^a,s ) =\ ta u(r,s)+2^a$ f or  al l $ r,s<2 ^ a$.Taking  $l=r+2^ a$ an d  $m=s$ we get$ \tau(l,m)=2^a +\ t au ( l-2^ a,m )$ for all$l,m \ in\N $ su c htha t  $m<2 ^a{\l eq s la n t}l<2^{a+1}$. On th eotherhand,  from the def inition fo l l o ws that$l\# m =2 ^ a+(l-2^a)\#m$in th is case; n o w $\tau( l,m)= l\#m$ fo llows byi n duction. 

W e r eco rdt h efollowing fac t s  abo ut  the op era tion $\ #$.  Th e t hir dstatement  is an i mm ed ia te  co nsequ e nce of P ro pos it ion  \[ha s hprod\ ], th e ot he rs fol low fro m  t h e  def in it ion.  Re me mber
m)=2^a-1=l\#m$ whenever_$2^{a-1}{\leqslant}l,m<2^a$.

Let $r,s,t\in\N$._From Proposition \[backdiag\] follows that_$\tau(r,s){\geqslant}t$ if,_and_only if,_there_exist $\rho{\leqslant}r$ and_$\s{\leqslant}s$ with $\rho+\s=t$_such that $Q_t^{(\rho,\s)}\equiv1$. Now_suppose that $r,s{\leqslant}2^a$,_and_consider $\rho{\leqslant}r$ and $\s{\leqslant}s$. If $\rho+\s<2^a$ then $$Q_{\rho+\s}^{(\rho,\s)}\equiv\binom{\rho+\s}{\rho}=
\binom{2^a}{2^a}\binom{\rho+\s}{\rho}\equiv 
\binom{\rho+\s+2^a}{\rho+2^a}=Q_{\rho+2^a}^{(\rho+2^a,\s)}\,.$$ If instead $\rho+\s{\geqslant}2^a$ then $Q_{\rho+\s}^{(\rho,\s)}_\equiv_0 \equiv_Q_{\rho+2^a+\s}^{(\rho+2^a,\s)}$_by_Lemma \[specials\]:\[2s\]. In each case $Q_{\rho+\s}^{(\rho,\s)}\equiv_Q_{\rho+2^a+\s}^{(\rho+2^a,\s)}$, which proves that $\tau(r+2^a,s)=\tau(r,s)_+ 2^a$_for all $r,s<2^a$. Taking $l=r+2^a$ and $m=s$ we_get_$\tau(l,m)=2^a + \tau(l-2^a,m)$_for all $l,m\in\N$ such that $m<2^a{\leqslant}l<2^{a+1}$. On the other_hand, from the definition follows that_$l\#m=2^a+(l-2^a)\#m$ in this_case;_now_$\tau(l,m)=l\#m$ follows by induction.

We_record the following facts about the_operation $\#$. The third statement is_an immediate consequence of Proposition \[hashprod\], the others_follow from the definition. Remember