128 \def\bsimpalts{\textit{bsimp}_{ALTS}}

   128 \def\bsimpalts{\textit{bsimp}_{ALTS}}

   129 

   129 

   130 \def\erase{\textit{erase}}

   130 \def\erase{\textit{erase}}

   131 \def\STAR{\textit{STAR}}

   131 \def\STAR{\textit{STAR}}

   132 \def\flts{\textit{flts}}

   132 \def\flts{\textit{flts}}

   133 

   140 

   134 

   141 

   135 \def\RZERO{\mathbf{0}_r }

   142 \def\RZERO{\mathbf{0}_r }

   136 \def\RONE{\mathbf{1}_r}

   143 \def\RONE{\mathbf{1}_r}

   137 \newcommand\RCHAR[1]{\mathbf{#1}_r}

   144 \newcommand\RCHAR[1]{\mathbf{#1}_r}