67 \def\rup{r^\uparrow}

    67 \def\rup{r^\uparrow}

    68 %\def\bderssimp{\mathit{bders}\_\mathit{simp}}

    68 %\def\bderssimp{\mathit{bders}\_\mathit{simp}}

    69 \def\distinctWith{\textit{distinctWith}}

    69 \def\distinctWith{\textit{distinctWith}}

    70 \def\lf{\textit{lf}}

    70 \def\lf{\textit{lf}}

    71 \def\PD{\textit{PD}}

    71 \def\PD{\textit{PD}}

    72 

    73 

    73 

    74 

    74 \def\size{\mathit{size}}

    75 \def\size{\mathit{size}}

    75 \def\rexp{\mathbf{rexp}}

    76 \def\rexp{\mathbf{rexp}}

    76 \def\simp{\mathit{simp}}

    77 \def\simp{\mathit{simp}}