[4]  \xrightarrow[F_i]{\hspace*{.25em}{\varepsilon}_i'\hspace*{.1em}}  \nolinebreak[4]}
   (I_i, <_{_i}) {  \nolinebreak[4]  \xrightarrow[F_{i+1}]{\hspace*{.25em}{\varepsilon}_{i+1}'\hspace*{.1em}}  \nolinebreak[4]}
   \cdots {  \nolinebreak[4]  \xrightarrow[F_k]{\hspace*{.25em}{\varepsilon}_k'\hspace*{.1em}}  \nolinebreak[4]}
   (I_0, <_{_0}),$$ for some ${\varepsilon}_i',\ldots,{\varepsilon}_k'\in\{+,-\}$. If ${\varepsilon}_i'=+$, let $\widetilde{<_{_i}}$ be equal to $<_{_i}$ and ${\varepsilon}_{i+1}'':={\varepsilon}_{i+1}'$. Otherwise, let $\widetilde{<_{_i}}$ be equal to $>_{_i}$ and ${\varepsilon}_{i+1}'':=-{\varepsilon}_{i+1}'$. According to, we obtain $$\begin{gathered}
   (I_0, <_{_0}) {  \nolinebreak[4]  \xrightarrow[F_1]{\hspace*{.25em}+\hspace*{.1em}}  \nolinebreak[4]}
   \cdots {  \nolinebreak[4]  \xrightarrow[F_{i-1}]{\hspace*{.25em}+\hspace*{.1em}}  \nolinebreak[4]}
   (I_{i-1}, \widetilde{<_{i-1}}) {  \nolinebreak[4]  \xrightarrow[F_i]{\hspace*{.25em}+\hspace*{.1em}}  \nolinebreak[4]}
   (I_i, \widetilde{<_{_i}}) {  \nolinebreak[4]  \xrightarrow[F_{i+1}]{\hspace*{.25em}{\varepsilon}_{i+1}''\hspace*{.1em}}  \nolinebreak[4]}\\
   (I_i, <_{i+1}) {  \nolinebreak[4]  \xrightarrow[F_{i+2}]{\hspace*{.25em}{\varepsilon
[ 4 ]   \xrightarrow[F_i]{\hspace*{.25em}{\varepsilon}_i'\hspace*{.1em } }   \nolinebreak[4 ] } 
    (I_i, < _ { _ i }) {   \nolinebreak[4 ]   \xrightarrow[F_{i+1}]{\hspace*{.25em}{\varepsilon}_{i+1}'\hspace*{.1em } }   \nolinebreak[4 ] } 
    \cdots {   \nolinebreak[4 ]   \xrightarrow[F_k]{\hspace*{.25em}{\varepsilon}_k'\hspace*{.1em } }   \nolinebreak[4 ] } 
    (I_0, < _ { _ 0}),$$ for some $ { \varepsilon}_i',\ldots,{\varepsilon}_k'\in\{+,-\}$. If $ { \varepsilon}_i'=+$, let $ \widetilde{<_{_i}}$ be equal to $ < _ { _ i}$ and $ { \varepsilon}_{i+1}'':={\varepsilon}_{i+1}'$. Otherwise, let $ \widetilde{<_{_i}}$ be adequate to $ > _ { _ i}$ and $ { \varepsilon}_{i+1}'':=-{\varepsilon}_{i+1}'$. harmonize to, we obtain $ $ \begin{gathered } 
    (I_0, < _ { _ 0 }) {   \nolinebreak[4 ]   \xrightarrow[F_1]{\hspace*{.25em}+\hspace*{.1em } }   \nolinebreak[4 ] } 
    \cdots {   \nolinebreak[4 ]   \xrightarrow[F_{i-1}]{\hspace*{.25em}+\hspace*{.1em } }   \nolinebreak[4 ] } 
    (I_{i-1 }, \widetilde{<_{i-1 } }) {   \nolinebreak[4 ]   \xrightarrow[F_i]{\hspace*{.25em}+\hspace*{.1em } }   \nolinebreak[4 ] } 
    (I_i, \widetilde{<_{_i } }) {   \nolinebreak[4 ]   \xrightarrow[F_{i+1}]{\hspace*{.25em}{\varepsilon}_{i+1}''\hspace*{.1em } }   \nolinebreak[4]}\\ 
    (I_i, < _ { i+1 }) {   \nolinebreak[4 ]   \xrightarrow[F_{i+2}]{\hspace*{.25em}{\varepsilon
[4]  \xgightarrow[F_i]{\hspace*{.25em}{\vareksilon}_i'\hspace*{.1em}}  \uilinebceak[4]}
   (J_i, <_{_i}) {  \nulinebreak[4]  \xrightarrow[F_{i+1}]{\hspece*{.25en}{\varekfilon}_{i+1}'\hspace*{.1em}}  \nouinebreak[4]}
   \cdots {  \nioinebreak[4]  \xrightavxow[F_k]{\gdpacz*{.25en}{\varepsilon}_k'\hskace*{.1em}}  \nolitebreak[4]}
   (I_0, <_{_0}),$$ fmr slme ${\varepsilon}_i',\ldots,{\varepsilon}_k'\in\{+,-\}$. Is ${\varepxipon}_i'=+$, let $\widetylde{<_{_p}}$ fe eslao to $<_{_i}$ and ${\varepsilon}_{i+1}'':={\varepsimon}_{i+1}'$. Otierwise, let $\widrtilde{<_{_i}}$ be equal to $>_{_i}$ and ${\gareosilon}_{i+1}'':=-{\varepsilon}_{i+1}'$. According jk, wq obtain $$\begiv{gathered}
   (I_0, <_{_0}) {  \nolingbreak[4]  \xrightarrow[F_1]{\hspace*{.25em}+\hspaze*{.1em}}  \nolinebreqk[4]}
   \fgots {  \noliiebreah[4]  \xrightarrow[F_{i-1}]{\hspawe*{.25em}+\hspsce*{.1em}}  \nolinebveak[4]}
   (I_{u-1}, \widetilde{<_{i-1}}) {  \nolineureak[4]  \xrightarrow[F_i]{\rspace*{.25em}+\hvpcce*{.1em}}  \nolinebreak[4]}
   (U_i, \widejilde{<_{_h}}) {  \vilivebdeek[4]  \xrighharcow[F_{i+1}]{\hspace*{.25sm}{\varepsilob}_{i+1}''\hspace*{.1em}}  \nolinebtewj[4]}\\
   (I_i, <_{i+1}) {  \nominebrqah[4]  \xrightarrow[F_{i+2}]{\hspace*{.25em}{\varepsilon
[4] \xrightarrow[F_i]{\hspace*{.25em}{\varepsilon}_i'\hspace*{.1em}} \nolinebreak[4]} (I_i, <_{_i}) { \nolinebreak[4] \cdots \nolinebreak[4] \xrightarrow[F_k]{\hspace*{.25em}{\varepsilon}_k'\hspace*{.1em}} (I_0, <_{_0}),$$ for $\widetilde{<_{_i}}$ equal to $<_{_i}$ ${\varepsilon}_{i+1}'':={\varepsilon}_{i+1}'$. Otherwise, let be equal to $>_{_i}$ and ${\varepsilon}_{i+1}'':=-{\varepsilon}_{i+1}'$. to, we obtain $$\begin{gathered} (I_0, <_{_0}) { \nolinebreak[4] \xrightarrow[F_1]{\hspace*{.25em}+\hspace*{.1em}} \nolinebreak[4]} \cdots { \nolinebreak[4] \nolinebreak[4]} (I_{i-1}, \widetilde{<_{i-1}}) { \nolinebreak[4] \xrightarrow[F_i]{\hspace*{.25em}+\hspace*{.1em}} \nolinebreak[4]} (I_i, \widetilde{<_{_i}}) { \nolinebreak[4] \xrightarrow[F_{i+1}]{\hspace*{.25em}{\varepsilon}_{i+1}''\hspace*{.1em}} \nolinebreak[4]}\\ <_{i+1}) \nolinebreak[4]
[4]  \xrightarrow[F_i]{\hspace*{.25em}{\varePsilon}_i'\hspAce*{.1em}}  \NolIneBrEak[4]}
   (I_I, <_{_i}) {  \noLinebreak[4]  \xrighTArroW[F_{i+1}]{\hspace*{.25em}{\varepsilon}_{i+1}'\HspacE*{.1eM}}  \NoliNEbReak[4]}
   \cDots {  \nolINeBREak[4]  \XrIgHtaRrOW[F_K]{\hspaCe*{.25eM}{\varepsIlon}_k'\hspacE*{.1em}}  \NoLinebreak[4]}
   (I_0, <_{_0}),$$ foR SoMe ${\varepsilOn}_i',\Ldots,{\varepsiLon}_K'\in\{+,-\}$. If ${\vArEpsILon}_i'=+$, lEt $\wIdetiLde{<_{_i}}$ be EQual to $<_{_I}$ and ${\varepSiLOn}_{i+1}'':={\varEPsilon}_{i+1}'$. oTHeRwisE, let $\widetilde{<_{_i}}$ be eQUaL To $>_{_i}$ and ${\varepsilOn}_{i+1}'':=-{\varEpSIlON}_{I+1}'$. AcCorDing to, we obTaIn $$\begIN{gatherED}
   (I_0, <_{_0}) {  \NOLIneBReak[4]  \xrightarrOw[F_1]{\hspace*{.25em}+\HSpaCe*{.1em}}  \noLiNebREak[4]}
   \cdoTs {  \nolInEBreAk[4]  \xrightarrOw[F_{i-1}]{\Hspace*{.25em}+\hSpace*{.1eM}}  \NolinebREak[4]}
   (I_{i-1}, \wiDetildE{<_{i-1}}) {  \nOliNebrEAk[4]  \XrIghTaRRow[f_I]{\hSpaCE*{.25em}+\Hspace*{.1em}}  \NoLiNebreAk[4]}
   (I_i, \WIDETildE{<_{_i}}) {  \nOlinEbreaK[4]  \xrightarrow[F_{I+1}]{\hsPace*{.25EM}{\vaRepsiLon}_{i+1}''\hSpacE*{.1eM}}  \noliNebreaK[4]}\\
   (I_i, <_{i+1}) {  \nOlInebreak[4]  \xrightaRrow[f_{i+2}]{\hspace*{.25eM}{\vaRePsiLoN
[4]  \xrightarrow[F_i]{\hs pace*{.25e m}{\v are psi lo n}_i '\hs pace*{.1em}} \ noli nebreak[4]}
   (I_i, < _{_i} ){   \n o li nebre ak[4] \ xr i g hta rr ow [F_ {i + 1} ]{\hs pac e*{.25e m}{\vareps ilo n} _{i+1}'\hspa c e* {.1em}}  \ nol inebreak[4]} 
  \cdot s{ \ nolin ebr eak[4 ]  \xr i ghtarr ow[F_k]{\ hs p ace*{. 2 5em}{\v a r ep silo n}_k'\hspace*{.1e m }}  \nolinebreak[ 4]}
  ( I _0 , <_{ _0} ),$$ for s om e ${\ v arepsil o n} _ i ' ,\l d ots,{\varepsi lon}_k'\in\ { +,- \}$. I f${\ v arepsi lon}_ i' = +$,  let $\wide tild e{<_{_i}} $ be e q ual to$ <_{_i}$  and $ {\v are psil o n} _{ i+1 }' ' :={ \ va rep s ilo n}_{i+1} '$ .Other wise , l e t $\ wid etil de{<_ {_i}}$ be equ alto $ > _{_ i}$ a nd ${ \var ep silon }_{i+1 }'':= -{ \varepsilon}_{i +1}' $. Accord ing  t o,we  obta i n $$\b egi n{g athered }
   (I _ 0,<_ { _ 0 })  {  \nolinebreak[4 ]\ xr ightarro w[F_1] { \h sp a ce*{.25e m} +\h spac e * {.1em }} \ no linebrea k[4]} \c dots { \ noline br eak [4]   \xr i ghta rrow[F _{i-1}]{ \hspa c e*{.25em}+\hsp a ce*{.1em}}  \ n ol i n eb r eak[ 4]} 
   (I_{i-1 }, \ w idet ilde { <_ {i- 1 }}) {   \no li n eb r eak[4]  \xrightarro w[ F_i]{\ hspac e*{.25em}+\hs pace*{.1em } }  \noline brea k [4 ] }
   (I_i, \wi detil de{<_{_i}} )  {  \nol inebr eak[4] \xrightar r o w[F_{i+1 }]{ \hs pac e*{ . 2 5e m}{\varepsilo n } _{i+ 1} ''\hspa ce* {.1em}}   \ nol ine bre ak [4]}\\
  (I_i, < _{ i+ 1} ){ \noli n ebreak[4 ] \x ri ght arrow [ F_{i+2 }]{\h spac e* {. 2 5em }{\vare p si l o n
[4] _\xrightarrow[F_i]{\hspace*{.25em}{\varepsilon}_i'\hspace*{.1em}} _\nolinebreak[4]}
   (I_i,_<_{_i}) {__\nolinebreak[4] _\xrightarrow[F_{i+1}]{\hspace*{.25em}{\varepsilon}_{i+1}'\hspace*{.1em}}_ \nolinebreak[4]}
 _ \cdots {_ \nolinebreak[4]  \xrightarrow[F_k]{\hspace*{.25em}{\varepsilon}_k'\hspace*{.1em}}_ \nolinebreak[4]}
 __(I_0, <_{_0}),$$ for some ${\varepsilon}_i',\ldots,{\varepsilon}_k'\in\{+,-\}$. If ${\varepsilon}_i'=+$, let $\widetilde{<_{_i}}$ be equal to $<_{_i}$ and_${\varepsilon}_{i+1}'':={\varepsilon}_{i+1}'$._Otherwise, let_$\widetilde{<_{_i}}$_be_equal to $>_{_i}$ and ${\varepsilon}_{i+1}'':=-{\varepsilon}_{i+1}'$._According to, we obtain $$\begin{gathered}
_ _(I_0, <_{_0}) {  \nolinebreak[4]  \xrightarrow[F_1]{\hspace*{.25em}+\hspace*{.1em}} _\nolinebreak[4]}
_  \cdots_{  \nolinebreak[4]  \xrightarrow[F_{i-1}]{\hspace*{.25em}+\hspace*{.1em}}  \nolinebreak[4]}
  _(I_{i-1}, \widetilde{<_{i-1}}) {  \nolinebreak[4] _\xrightarrow[F_i]{\hspace*{.25em}+\hspace*{.1em}}  \nolinebreak[4]}
___(I_i, \widetilde{<_{_i}}) { _\nolinebreak[4]  \xrightarrow[F_{i+1}]{\hspace*{.25em}{\varepsilon}_{i+1}''\hspace*{.1em}}  \nolinebreak[4]}\\
 _ (I_i, <_{i+1}) {  \nolinebreak[4]_ \xrightarrow[F_{i+2}]{\hspace*{.25em}{\varepsilon