tilde\tau_i}^\circ$ of $J^\circ_{\sigma^{-m_i-1}\tilde\tau_i}\subseteq {\mathcal{D}}^\circ_{B,\sigma^{-m_i-1}\tilde\tau_i}$ under the natural reduction map modulo $p$; otherwise, we have already defined $M^\circ_{\sigma^{-\ell}\tilde\tau_i}$ to be $\tilde \calD^\circ_{B, \sigma^{-\ell}\tilde\tau_i}$.

    -   When $r_i=\#(C_i\cap \ttT_{/\gothp})$ is even, there is no $J^\circ$ involved in this construction. Note that all $\tau = \sigma^{-\ell}\tau_i$ belong to $\ttS(\ttT)_{\infty/\gothp}$ for $0 \leq \ell \leq m_i$; so $s_{\ttT, \sigma^{-\ell} \tilde \tau_i} \in \{0,2\}$ and in the sequence of essential Frobenii $$\xymatrix{\quad\quad
         F_{B,{\mathrm{es}}}^{m_i-\ell+1}:\
        {\tilde{{\mathcal{D}}}}^{\circ}_{B,\sigma^{-m_i-1}\tilde\tau_i}\ar[r]_-{F_{B}}&{\tilde{{\mathcal{D}}}}^\circ_{B,\sigma^{-m_i}\tilde\tau_i}\ar[r]_-{ F_{B,{\mathrm{es}}}}^-{\cong}
        &{\tilde{{\mathcal{D}}}}^\circ_{B,\sigma^{-m_i+1}\tilde\tau_i}\ar[r]^-{\cong}_-{ F_{B,{\mathrm{es}}}} &\cdots \ar[r]^-{\cong}_-{ F_{B, {\mathrm{es}}}}&{\tilde{{\mathcal{D}}}}^{\circ}_{B,\sigma^{-\ell}\tilde\tau_i},
        }$$ all the maps except the first one are isomorphisms. If $a_j \leq \ell < a_{j+1}$ for some odd number $j$, we put $$M^\circ_{\sigma^{-\ell}\tilde\tau_i}=p^{-1} F_{B,{\mathrm{es}}}^{m_i-\ell+1} ({\tilde{{\mathcal{D}}}}^{\circ}_{B,\sigma^{-m_i-1
tilde\tau_i}^\circ$ of $ J^\circ_{\sigma^{-m_i-1}\tilde\tau_i}\subseteq { \mathcal{D}}^\circ_{B,\sigma^{-m_i-1}\tilde\tau_i}$ under the natural reduction map modulo $ p$; otherwise, we have already define $ M^\circ_{\sigma^{-\ell}\tilde\tau_i}$ to be $ \tilde \calD^\circ_{B, \sigma^{-\ell}\tilde\tau_i}$. 

     -    When $ r_i=\#(C_i\cap \ttT_{/\gothp})$ is even, there be no $ J^\circ$ involved in this construction. Note that all $ \tau = \sigma^{-\ell}\tau_i$ belong to to $ \ttS(\ttT)_{\infty/\gothp}$ for $ 0 \leq \ell \leq m_i$; so $ s_{\ttT, \sigma^{-\ell } \tilde \tau_i } \in \{0,2\}$ and in the sequence of essential Frobenii $ $ \xymatrix{\quad\quad 
          F_{B,{\mathrm{es}}}^{m_i-\ell+1}:\ 
         { \tilde{{\mathcal{D}}}}^{\circ}_{B,\sigma^{-m_i-1}\tilde\tau_i}\ar[r]_-{F_{B}}&{\tilde{{\mathcal{D}}}}^\circ_{B,\sigma^{-m_i}\tilde\tau_i}\ar[r]_- { F_{B,{\mathrm{es}}}}^-{\cong } 
         & { \tilde{{\mathcal{D}}}}^\circ_{B,\sigma^{-m_i+1}\tilde\tau_i}\ar[r]^-{\cong}_- { F_{B,{\mathrm{es } } } } & \cdots \ar[r]^-{\cong}_- { F_{B, { \mathrm{es}}}}&{\tilde{{\mathcal{D}}}}^{\circ}_{B,\sigma^{-\ell}\tilde\tau_i }, 
         } $ $ all the map except the first one are isomorphisms. If $ a_j \leq \ell < a_{j+1}$ for some curious number $ j$, we put $ $ M^\circ_{\sigma^{-\ell}\tilde\tau_i}=p^{-1 } F_{B,{\mathrm{es}}}^{m_i-\ell+1 } ({ \tilde{{\mathcal{D}}}}^{\circ}_{B,\sigma^{-m_i-1
tilfe\tau_i}^\circ$ of $J^\circ_{\sigma^{-o_i-1}\tilde\tau_i}\subsgtwq {\matical{D}}^\cidc_{B,\sigma^{-o_i-1}\tilde\tau_i}$ under the naturap eeducupon map modulo $p$; othefwise, we jave alrwady eefined $M^\cmdc_{\sigma^{-\cjl}\timfe\tab_i}$ to be $\tilde \cslD^\circ_{B, \shgma^{-\ell}\tilde\tag_i}$.

    -   When $r_i=\#(C_i\cap \ttT_{/\gothp})$ is even, ehere ix jo $J^\circ$ involded pn thia construction. Note that all $\tau = \aigma^{-\eln}\tau_i$ belong yo $\ttS(\ttT)_{\infty/\gothp}$ for $0 \lfq \epl \leq m_i$; so $s_{\ttT, \digma^{-\ell} \tiode \equ_i} \in \{0,2\}$ and kn the seqlznce of essgntial Frobenii $$\xymatrix{\quad\quad
         F_{B,{\mathtm{ss}}}^{l_h-\ell+1}:\
        {\tildv{{\mathcal{D}}}}^{\circ}_{N,\xigma^{-m_h-1}\tilde\tsu_i}\ar[r]_-{F_{B}}&{\tilde{{\msthral{D}}}}^\xirc_{B,\sigma^{-m_i}\tilde\tau_i}\er[r]_-{ F_{B,{\mathrm{es}}}}^-{\cong}
        &{\tilge{{\jathcal{D}}}}^\circ_{B,\sigmq^{-m_u+1}\tildg\tau_i}\dr[r]^-{\cubg}_-{ W_{B,{\mztirm{ss}}}} &\cdohs \er[r]^-{\cong}_-{ F_{B, {\jathrm{es}}}}&{\tilee{{\mathcal{D}}}}^{\circ}_{B,\sigms^{-\ejo}\tilde\tau_i},
        }$$ wlj the maps except the first one are isokorlhisms. If $a_j \leq \ell < a_{h+1}$ for some odd number $j$, we put $$M^\circ_{\sigma^{-\ell}\tilde\tau_i}=p^{-1} F_{B,{\mathrm{es}}}^{m_i-\ell+1} ({\tilde{{\matvcal{D}}}}^{\rifc}_{B,\winma^{-m_k-1
tilde\tau_i}^\circ$ of $J^\circ_{\sigma^{-m_i-1}\tilde\tau_i}\subseteq {\mathcal{D}}^\circ_{B,\sigma^{-m_i-1}\tilde\tau_i}$ under the natural modulo otherwise, we already defined $M^\circ_{\sigma^{-\ell}\tilde\tau_i}$ - $r_i=\#(C_i\cap \ttT_{/\gothp})$ is there is no involved in this construction. Note that $\tau = \sigma^{-\ell}\tau_i$ belong to $\ttS(\ttT)_{\infty/\gothp}$ for $0 \leq \ell \leq m_i$; so \sigma^{-\ell} \tilde \tau_i} \in \{0,2\}$ and in the sequence of essential Frobenii $$\xymatrix{\quad\quad {\tilde{{\mathcal{D}}}}^{\circ}_{B,\sigma^{-m_i-1}\tilde\tau_i}\ar[r]_-{F_{B}}&{\tilde{{\mathcal{D}}}}^\circ_{B,\sigma^{-m_i}\tilde\tau_i}\ar[r]_-{ &{\tilde{{\mathcal{D}}}}^\circ_{B,\sigma^{-m_i+1}\tilde\tau_i}\ar[r]^-{\cong}_-{ &\cdots F_{B, {\mathrm{es}}}}&{\tilde{{\mathcal{D}}}}^{\circ}_{B,\sigma^{-\ell}\tilde\tau_i}, }$$ all the maps except the first one are isomorphisms. If $a_j \leq \ell a_{j+1}$ for some odd number $j$, we put F_{B,{\mathrm{es}}}^{m_i-\ell+1} ({\tilde{{\mathcal{D}}}}^{\circ}_{B,\sigma^{-m_i-1
tilde\tau_i}^\circ$ of $J^\circ_{\sigma^{-M_i-1}\tilde\tau_I}\subsEteQ {\maThCal{D}}^\Circ_{b,\sigma^{-m_i-1}\tilde\tAU_i}$ unDer the natural reduction Map moDuLO $p$; otHErWise, wE have alREaDY DefInEd $m^\ciRc_{\SIgMa^{-\ell}\TilDe\tau_i}$ tO be $\tilde \caLD^\cIrC_{B, \sigma^{-\ell}\tiLDe\Tau_i}$.

    -   When $r_i=\#(c_i\cAp \ttT_{/\gothp})$ is EveN, there Is No $J^\CIrc$ inVolVed in This coNStructIon. Note thAt ALl $\tau = \sIGma^{-\ell}\tAU_I$ bElonG to $\ttS(\ttT)_{\infty/\gotHP}$ fOR $0 \leq \ell \leq m_i$; so $S_{\ttT, \siGmA^{-\ElL} \TIldE \taU_i} \in \{0,2\}$ and in tHe SequeNCe of essENtIAL froBEnii $$\xymatrix{\qUad\quad
         F_{B,{\maTHrm{Es}}}^{m_i-\elL+1}:\
        {\tIldE{{\MathcaL{D}}}}^{\cirC}_{B,\SIgmA^{-m_i-1}\tilde\tau_I}\ar[r]_-{f_{B}}&{\tilde{{\maThcal{D}}}}^\CIrc_{B,\sigMA^{-m_i}\tildE\tau_i}\aR[r]_-{ F_{b,{\maThrm{ES}}}}^-{\cOnG}
        &{\tiLdE{{\MatHCaL{D}}}}^\cIRc_{B,\Sigma^{-m_i+1}\tIlDe\Tau_i}\aR[r]^-{\coNG}_-{ f_{b,{\MathRm{eS}}}} &\cdoTs \ar[r]^-{\Cong}_-{ F_{B, {\mathrm{eS}}}}&{\tiLde{{\mAThcAl{D}}}}^{\ciRc}_{B,\siGma^{-\eLl}\Tilde\Tau_i},
        }$$ alL the mApS except the first One aRe isomorpHisMs. if $a_J \lEq \ell < A_{J+1}$ for soMe oDd nUmber $j$, wE put $$M^\ciRC_{\siGmA^{-\ELL}\tIlde\tau_i}=p^{-1} F_{B,{\mathrm{eS}}}^{m_I-\ELl+1} ({\Tilde{{\matHcal{D}}}}^{\cIRc}_{b,\sIGma^{-m_i-1
tilde\tau_i}^\circ$ of $J^ \circ_{\si gma^{ -m_ i-1 }\ tild e\ta u_i}\subseteq{ \mat hcal{D}}^\circ_{B,\sig ma^{- m_ i -1}\ t il de\ta u_i}$ u n de r the  n at ura lr ed uctio n m ap modu lo $p$; ot her wi se, we havea lr eady defin ed$M^\circ_{\s igm a^{-\e ll }\t i lde\t au_ i}$ t o be $ \ tilde\calD^\ci rc _ {B, \s i gma^{-\ e l l} \til de\tau_i}$.

   -  When $r_i=\#(C _i\cap  \ t tT _ { /\g oth p})$ is ev en , the r e is no $J ^ \ c irc $  involved inthis constr u cti on. No te  th a t all$\tau  = \si gma^{-\ell} \tau _i$ belon g to $ \ ttS(\tt T )_{\inf ty/\go thp }$for$ 0\l eq\e l l \ l eq  m_ i $;so $s_{\ tt T,  \sig ma^{ - \ e l l} \ til de \ tau_i } \in \{0,2\} $ a nd i n  th e seq uence  ofes senti al Fro benii  $ $\xymatrix{\qua d\qu ad
       F_ {B, {\ mathr m {es}}} ^{m _i- \ell+1} :\
     {\ t i l de {{\mathcal{D}}}}^{ \c i r c} _{B,\sig ma^{-m _ i- 1} \ tilde\ta u_ i}\ ar[r ] _ -{F_{ B}}& { \t ilde{{\m athcal { D} }} }^\circ _{ B,\sig ma ^{- m_i }\til d e\ta u_i}\a r[r]_-{F_{B, { \mathrm{es}}}} ^ -{\cong}
    & {\ t ilde {{\ mathcal{D}} }}^\ c irc_ {B,\ s ig ma^ { -m_i+ 1}\ti ld e \t a u_i}\ar[r]^-{\cong} _- { F_{B ,{\ma thrm{es}}}} & \cdots \ar [ r ] ^-{\cong }_-{ F_ { B, {\mathrm{es }}}}& {\tilde{{\ m athcal{D }}}}^ {\circ}_ {B,\sigma ^ { -\ell}\t ild e\t au_ i},       }$$ allt h e ma ps  except  th e first  on e a reiso mo rphisms.If $a_j\l eq  \ el l <  a_{j + 1}$ forso meod d n umber $j$, w e put  $$M ^\ ci r c_{ \sigma^ { -\ e l l}\t il de \tau _i} =p ^{-1}  F_{ B ,{\ mathrm{ es}}}^{m_ i-\ e ll+1 }({ \tilde{ {\mathcal{D}} }} ^{\circ}_{ B, \si gma^{- m _ i-1
tilde\tau_i}^\circ$ of_$J^\circ_{\sigma^{-m_i-1}\tilde\tau_i}\subseteq {\mathcal{D}}^\circ_{B,\sigma^{-m_i-1}\tilde\tau_i}$_under the natural reduction_map modulo_$p$;_otherwise, we_have_already defined $M^\circ_{\sigma^{-\ell}\tilde\tau_i}$_to be $\tilde_\calD^\circ_{B, \sigma^{-\ell}\tilde\tau_i}$.

  _ - __When $r_i=\#(C_i\cap \ttT_{/\gothp})$ is even, there is no $J^\circ$ involved in this construction. Note_that_all $\tau_=_\sigma^{-\ell}\tau_i$_belong to $\ttS(\ttT)_{\infty/\gothp}$ for $0_\leq \ell \leq m_i$; so_$s_{\ttT, \sigma^{-\ell}_\tilde \tau_i} \in \{0,2\}$ and in the sequence_of_essential Frobenii $$\xymatrix{\quad\quad
_        F_{B,{\mathrm{es}}}^{m_i-\ell+1}:\
_     _ {\tilde{{\mathcal{D}}}}^{\circ}_{B,\sigma^{-m_i-1}\tilde\tau_i}\ar[r]_-{F_{B}}&{\tilde{{\mathcal{D}}}}^\circ_{B,\sigma^{-m_i}\tilde\tau_i}\ar[r]_-{ F_{B,{\mathrm{es}}}}^-{\cong}
___   _ &{\tilde{{\mathcal{D}}}}^\circ_{B,\sigma^{-m_i+1}\tilde\tau_i}\ar[r]^-{\cong}_-{ F_{B,{\mathrm{es}}}} &\cdots \ar[r]^-{\cong}_-{ F_{B,_{\mathrm{es}}}}&{\tilde{{\mathcal{D}}}}^{\circ}_{B,\sigma^{-\ell}\tilde\tau_i},
     _  }$$ all the maps except_the first one are isomorphisms. If_$a_j \leq \ell < a_{j+1}$_for some_odd number $j$, we put_$$M^\circ_{\sigma^{-\ell}\tilde\tau_i}=p^{-1} F_{B,{\mathrm{es}}}^{m_i-\ell+1} ({\tilde{{\mathcal{D}}}}^{\circ}_{B,\sigma^{-m_i-1