This is TeX, Version 3.14159 (Web2C 7.3.1) (format=latex 2002.10.3)  1 NOV 2002 18:53
**\nonstopmode\input{discheckediv.tex}
(discheckediv.tex (/usr/share/texmf/tex/latex/base/article.cls
Document Class: article 2000/05/19 v1.4b Standard LaTeX document class
(/usr/share/texmf/tex/latex/base/size11.clo
File: size11.clo 2000/05/19 v1.4b Standard LaTeX file (size option)
)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
)
(/usr/share/texmf/tex/latex/misc/fancybox.sty
Package: fancybox 2000/09/19 1.3

Style option: `fancybox' v1.3 <2000/09/19> (tvz)
\@fancybox=\box26
\shadowsize=\dimen103
\@Sbox=\box27
\do@VerbBox=\toks14
\the@fancyput=\toks15
\this@fancyput=\toks16
\EndVerbatimTokens=\toks17
\Verbatim@Outfile=\write3
\Verbatim@Infile=\read1
)
\@input{macros.aux}
\openout2 = `macros.aux'.

(macros.tex (/usr/share/texmf/tex/latex/amsmath/amsmath.sty
Package: amsmath 2000/07/18 v2.13 AMS math features
\@mathmargin=\skip43

For additional information on amsmath, use the `?' option.
(/usr/share/texmf/tex/latex/amsmath/amstext.sty
Package: amstext 2000/06/29 v2.01

(/usr/share/texmf/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0
\@emptytoks=\toks18
\ex@=\dimen104
))
(/usr/share/texmf/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d
\pmbraise@=\dimen105
)
(/usr/share/texmf/tex/latex/amsmath/amsopn.sty
Package: amsopn 1999/12/14 v2.01 operator names
)
\inf@bad=\count87
LaTeX Info: Redefining \frac on input line 211.
\uproot@=\count88
\leftroot@=\count89
LaTeX Info: Redefining \overline on input line 307.
\classnum@=\count90
\DOTSCASE@=\count91
LaTeX Info: Redefining \ldots on input line 379.
LaTeX Info: Redefining \dots on input line 382.
LaTeX Info: Redefining \cdots on input line 467.
\Mathstrutbox@=\box28
\strutbox@=\box29
\big@size=\dimen106
LaTeX Font Info:    Redeclaring font encoding OML on input line 567.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.
\macc@depth=\count92
\c@MaxMatrixCols=\count93
\dotsspace@=\muskip10
\c@parentequation=\count94
\dspbrk@lvl=\count95
\tag@help=\toks19
\row@=\count96
\column@=\count97
\maxfields@=\count98
\andhelp@=\toks20
\eqnshift@=\dimen107
\alignsep@=\dimen108
\tagshift@=\dimen109
\tagwidth@=\dimen110
\totwidth@=\dimen111
\lineht@=\dimen112
\@envbody=\toks21
\multlinegap=\skip44
\multlinetaggap=\skip45
\mathdisplay@stack=\toks22
LaTeX Info: Redefining \[ on input line 2666.
LaTeX Info: Redefining \] on input line 2667.
)
(/usr/share/texmf/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 1997/09/17 v2.2e
\symAMSa=\mathgroup4
\symAMSb=\mathgroup5
LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
(Font)                  U/euf/m/n --> U/euf/b/n on input line 133.
)
(/usr/share/texmf/tex/latex/amsfonts/amssymb.sty
Package: amssymb 1996/11/03 v2.2b
)
(/usr/share/texmf/tex/latex/amscls/amsthm.sty
Package: amsthm 2000/10/26 v2.08
\thm@style=\toks23
\thm@bodyfont=\toks24
\thm@headfont=\toks25
\thm@notefont=\toks26
\thm@headpunct=\toks27
\thm@preskip=\skip46
\thm@postskip=\skip47
\thm@headsep=\skip48
\dth@everypar=\toks28
)
\c@theorem=\count99
\c@listnum=\count100
) (discheckediv.aux)
\openout1 = `discheckediv.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 15.
LaTeX Font Info:    ... okay on input line 15.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 15.
LaTeX Font Info:    ... okay on input line 15.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 15.
LaTeX Font Info:    ... okay on input line 15.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 15.
LaTeX Font Info:    ... okay on input line 15.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 15.
LaTeX Font Info:    ... okay on input line 15.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 15.
LaTeX Font Info:    ... okay on input line 15.
LaTeX Font Info:    Checking defaults for OT2/cmr/m/n on input line 15.
LaTeX Font Info:    Try loading font information for OT2+cmr on input line 15.

(/usr/share/texmf/tex/latex/cyrillic/ot2cmr.fd
File: ot2cmr.fd 1999/06/24 v3.2b Computer Modern Cyrillic font definitions
)
LaTeX Font Info:    ... okay on input line 15.
LaTeX Font Info:    Try loading font information for U+msa on input line 16.

(/usr/share/texmf/tex/latex/amsfonts/umsa.fd
File: umsa.fd 1995/01/05 v2.2e AMS font definitions
)
LaTeX Font Info:    Try loading font information for U+msb on input line 16.

(/usr/share/texmf/tex/latex/amsfonts/umsb.fd
File: umsb.fd 1995/01/05 v2.2e AMS font definitions
)
LaTeX Font Info:    Try loading font information for OMS+cmr on input line 46.

(/usr/share/texmf/tex/latex/base/omscmr.fd
File: omscmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions
)
LaTeX Font Info:    Font shape `OMS/cmr/m/n' in size <10.95> not available
(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 46.
 [1



] [2]

LaTeX Warning: Citation `magma' on page 3 undefined on input line 209.

[3]
Overfull \hbox (4.12854pt too wide) in paragraph at lines 278--294
[][] 
 []


Overfull \hbox (59.17213pt too wide) in paragraph at lines 277--295
[] [] 
 []

[4] [5] (discheckediv.bbl) [6] (discheckediv.aux)

LaTeX Warning: There were undefined references.

 ) 
Here is how much of TeX's memory you used:
 1801 strings out of 20887
 17612 string characters out of 197363
 79655 words of memory out of 350001
 4752 multiletter control sequences out of 10000+15000
 14607 words of font info for 55 fonts, out of 400000 for 1000
 14 hyphenation exceptions out of 10000
 32i,13n,24p,266b,328s stack positions out of 3000i,100n,1500p,50000b,4000s

Output written on discheckediv.dvi (6 pages, 24880 bytes).