\emptytoks=\toks29
\ex=\dimen174
))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d
\pmbraise=\dimen175
)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
Package: amsopn 1999/12/14 v2.01 operator names
)
\infbad=\count142
LaTeX Info: Redefining \frac on input line 210.
\uproot=\count143
\leftroot=\count144
LaTeX Info: Redefining \overline on input line 306.
\classnum=\count145
\DOTSCASE=\count146
LaTeX Info: Redefining \ldots on input line 378.
LaTeX Info: Redefining \dots on input line 381.
LaTeX Info: Redefining \cdots on input line 466.
\Mathstrutbox=\box52
\strutbox=\box53
\bigsize=\dimen176
LaTeX Font Info: Redeclaring font encoding OML on input line 566.
LaTeX Font Info: Redeclaring font encoding OMS on input line 567.
\maccdepth=\count147
\cMaxMatrixCols=\count148
\dotsspace=\muskip11
\cparentequation=\count149
\dspbrklvl=\count150
\taghelp=\toks30
\row=\count151
\column=\count152
\maxfields=\count153
\andhelp=\toks31
\eqnshift=\dimen177
\alignsep=\dimen178
\tagshift=\dimen179
\tagwidth=\dimen180
\totwidth=\dimen181
\lineht=\dimen182
\envbody=\toks32
\multlinegap=\skip52
\multlinetaggap=\skip53
\mathdisplaystack=\toks33
LaTeX Info: Redefining \[ on input line 2665.
LaTeX Info: Redefining \] on input line 2666.
)
(/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty