This is TeXk, Version 3.14159 (Web2C 7.4.5) (format=latex 2004.4.30)  4 MAY 2004 09:38
 Source specials enabled.
**\nonstopmode\input{day23.tex}
(./day23.tex (/usr/share/texmf/tex/latex/base/article.cls
Document Class: article 2001/04/21 v1.4e Standard LaTeX document class
(/usr/share/texmf/tex/latex/base/size11.clo
File: size11.clo 2001/04/21 v1.4e 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
) (./macros.tex
(/usr/share/texmf/tex/latex/misc/srcltx.sty
Package: srcltx 1999/10/11 v1.002 DVI Search
\PAGETOP=\count87
\LASTLINE=\count88
\INPSP=\count89
\everypar=\toks14
)
(/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=\toks15
\ex@=\dimen103
))
(/usr/share/texmf/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d
\pmbraise@=\dimen104
)
(/usr/share/texmf/tex/latex/amsmath/amsopn.sty
Package: amsopn 1999/12/14 v2.01 operator names
)
\inf@bad=\count90
LaTeX Info: Redefining \frac on input line 211.
\uproot@=\count91
\leftroot@=\count92
LaTeX Info: Redefining \overline on input line 307.
\classnum@=\count93
\DOTSCASE@=\count94
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@=\box26
\strutbox@=\box27
\big@size=\dimen105
LaTeX Font Info:    Redeclaring font encoding OML on input line 567.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.
\macc@depth=\count95
\c@MaxMatrixCols=\count96
\dotsspace@=\muskip10
\c@parentequation=\count97
\dspbrk@lvl=\count98
\tag@help=\toks16
\row@=\count99
\column@=\count100
\maxfields@=\count101
\andhelp@=\toks17
\eqnshift@=\dimen106
\alignsep@=\dimen107
\tagshift@=\dimen108
\tagwidth@=\dimen109
\totwidth@=\dimen110
\lineht@=\dimen111
\@envbody=\toks18
\multlinegap=\skip44
\multlinetaggap=\skip45
\mathdisplay@stack=\toks19
LaTeX Info: Redefining \[ on input line 2666.
LaTeX Info: Redefining \] on input line 2667.
)
(/usr/share/texmf/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 2001/10/25 v2.2f
\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 132.
)
(/usr/share/texmf/tex/latex/amsfonts/amssymb.sty
Package: amssymb 2002/01/22 v2.2d
)
(/usr/share/texmf/tex/latex/amscls/amsthm.sty
Package: amsthm 2000/10/26 v2.08
\thm@style=\toks20
\thm@bodyfont=\toks21
\thm@headfont=\toks22
\thm@notefont=\toks23
\thm@headpunct=\toks24
\thm@preskip=\skip46
\thm@postskip=\skip47
\thm@headsep=\skip48
\dth@everypar=\toks25
)
\c@theorem=\count102
\c@listnum=\count103
) (./day23.aux)
\openout1 = `day23.aux'.

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

(/usr/share/texmf/tex/latex/cyrillic/ot2cmr.fd
File: ot2cmr.fd 2001/08/11 v3.2c Computer Modern Cyrillic font definitions
)
LaTeX Font Info:    ... okay on input line 12.
LaTeX Font Info:    Try loading font information for U+msa on input line 13.

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

(/usr/share/texmf/tex/latex/amsfonts/umsb.fd
File: umsb.fd 2002/01/19 v2.2g AMS font definitions
)
Overfull \hbox (44.61435pt too wide) in paragraph at lines 13--13
 [][] 
 []

[1

] [2] [3] [4] [5] [6]
Overfull \hbox (6.16411pt too wide) in paragraph at lines 413--415
[][][]\OT1/cmr/m/n/10.95 Let $\OML/cmm/m/it/10.95 W \OMS/cmsy/m/n/10.95 ^^Z \U/
msb/m/n/10.95 I[]$ \OT1/cmr/m/n/10.95 be an $\U/msb/m/n/10.95 A[]$\OT1/cmr/m/n/
10.95 -neighborhood of $\OT1/cmr/bx/n/10.95 x$\OT1/cmr/m/n/10.95 . Then it con-
tains an $[]\U/msb/m/n/10.95 A[]$\OT1/cmr/m/n/10.95 -neighborhood
 []


! Package amsmath Error: Erroneous nesting of equation structures;
(amsmath)                trying to recover with `aligned'.

See the amsmath package documentation for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.419 \end{align}
                 
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.


! Package amsmath Error: Erroneous nesting of equation structures;
(amsmath)                trying to recover with `aligned'.

See the amsmath package documentation for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.431 \end{align}
                 
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.

[7] [8]
Overfull \hbox (5.47676pt too wide) in paragraph at lines 531--539
[][][]\OT1/cmr/m/n/10.95 We first prove that the map $\U/msb/m/n/10.95 I[] \OMS
/cmsy/m/n/10.95 ! \OML/cmm/m/it/10.95 F[]$ \OT1/cmr/m/n/10.95 is sur-jec-tive. 
Let $[]\OMS/cmsy/m/n/10.95 1$ \OT1/cmr/m/n/10.95 be an archimedean
 []

[9] [10] (./day23.aux)

LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.

 ) 
Here is how much of TeX's memory you used:
 1667 strings out of 95870
 16289 string characters out of 1196419
 67002 words of memory out of 1000001
 4597 multiletter control sequences out of 10000+50000
 14637 words of font info for 54 fonts, out of 500000 for 1000
 14 hyphenation exceptions out of 1000
 30i,13n,22p,257b,269s stack positions out of 1500i,500n,5000p,200000b,5000s

Output written on day23.dvi (10 pages, 44896 bytes).