63 \def\Z{\mathit{Z}}

    63 \def\Z{\mathit{Z}}

    64 \def\S{\mathit{S}}

    64 \def\S{\mathit{S}}

    65 \def\rup{r^\uparrow}

    65 \def\rup{r^\uparrow}

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

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

    67 \def\distinctWith{\textit{distinctWith}}

    67 \def\distinctWith{\textit{distinctWith}}

    68 

    71 

    69 \def\size{\mathit{size}}

    72 \def\size{\mathit{size}}

    70 \def\rexp{\mathbf{rexp}}

    73 \def\rexp{\mathbf{rexp}}

    71 \def\simp{\mathit{simp}}

    74 \def\simp{\mathit{simp}}

    72 \def\simpALTs{\mathit{simp}\_\mathit{ALTs}}

    75 \def\simpALTs{\mathit{simp}\_\mathit{ALTs}}