This is TeX, Version 3.14159 (Web2C 7.3.1) (format=latex 1999.6.26) 14 FEB 2000 17:36 **024.tex (024.tex LaTeX2e <1998/12/01> patch level 1 Babel and hyphenation patterns for american, french, german, ngerman, n ohyphenation, loaded. (/vol/tex/teTeX/share/texmf/tex/latex/amslatex/amsproc.cls Document Class: amsproc 1997/03/26 v1.2r \linespacing=\dimen102 \normalparindent=\dimen103 \normaltopskip=\skip41 (/vol/tex/teTeX/share/texmf/tex/latex/amslatex/amsgen.sty File: amsgen 1996/10/29 v1.2b \@emptytoks=\toks14 \ex@=\dimen104 ) (/vol/tex/teTeX/share/texmf/tex/latex/amslatex/amsmath.sty Package: amsmath 1997/03/20 v1.2d AMS math features \@mathmargin=\skip42 (/vol/tex/teTeX/share/texmf/tex/latex/amslatex/amstext.sty Package: amstext 1996/10/28 v1.2b (/vol/tex/teTeX/share/texmf/tex/latex/amslatex/amsgen.sty File: amsgen 1996/10/29 v1.2b \@emptytoks=\toks15 \ex@=\dimen105 )) (/vol/tex/teTeX/share/texmf/tex/latex/amslatex/amsbsy.sty Package: amsbsy 1996/10/28 v1.2b \pmbraise@=\dimen106 ) (/vol/tex/teTeX/share/texmf/tex/latex/amslatex/amsopn.sty Package: amsopn 1996/10/28 v1.2b operator names ) LaTeX Info: Redefining \frac on input line 188. \uproot@=\count79 \leftroot@=\count80 \classnum@=\count81 \DOTSCASE@=\count82 LaTeX Info: Redefining \dots on input line 335. LaTeX Info: Redefining \ldots on input line 418. LaTeX Info: Redefining \cdots on input line 422. \Mathstrutbox@=\box26 \strutbox@=\box27 \big@size=\dimen107 LaTeX Font Info: Redeclaring font encoding OML on input line 500. LaTeX Font Info: Redeclaring font encoding OMS on input line 501. \skewcharcount@=\count83 \familycount@=\count84 \pointcount@=\count85 \accentdimen@=\dimen108 \accentmu@=\count86 \minaw@=\dimen109 \c@MaxMatrixCols=\count87 \dotsspace@=\muskip10 \c@parentequation=\count88 \dspbrk@lvl=\count89 \tag@help=\toks16 \row@=\count90 \column@=\count91 \maxfields@=\count92 \andhelp@=\toks17 \eqnshift@=\dimen110 \alignsep@=\dimen111 \tagshift@=\dimen112 \tagwidth@=\dimen113 \totwidth@=\dimen114 \lineht@=\dimen115 \@envbody=\toks18 \multlinegap=\skip43 \multlinetaggap=\skip44 ) LaTeX Font Info: Try loading font information for U+msa on input line 362. (/vol/tex/teTeX/share/texmf/tex/latex/amsfonts/umsa.fd File: umsa.fd 1995/01/05 v2.2e AMS font definitions ) (/vol/tex/teTeX/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. ) \copyins=\insert233 \abstractbox=\box28 \listisep=\skip45 \c@part=\count93 \c@section=\count94 \c@subsection=\count95 \c@subsubsection=\count96 \c@paragraph=\count97 \c@figure=\count98 \c@table=\count99 \abovecaptionskip=\skip46 \belowcaptionskip=\skip47 \captionindent=\dimen116 (/vol/tex/teTeX/share/texmf/tex/latex/amslatex/amsthm.sty Package: amsthm 1996/10/24 v1.2d \thm@style=\toks19 \thm@bodyfont=\toks20 \thm@headfont=\toks21 \thm@notefont=\toks22 \thm@headpunct=\toks23 \thm@preskip=\skip48 \thm@postskip=\skip49 )) (/vol/tex/teTeX/share/texmf/tex/latex/amslatex/amscd.sty Package: amscd 1996/10/28 v1.2b \athelp@=\toks24 \bigaw@=\dimen117 \minCDarrowwidth=\dimen118 ) (/vol/tex/teTeX/share/texmf/tex/latex/tools/verbatim.sty Package: verbatim 1997/04/30 v1.5k LaTeX2e package for verbatim enhancements \every@verbatim=\toks25 \verbatim@line=\toks26 \verbatim@in@stream=\read1 ) (/homes/rehmann/tex/inputs/amssymb.sty Package: amssymb 1996/11/03 v2.2b ) \c@thm=\count100 (024.aux) \openout1 = `024.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 93. LaTeX Font Info: ... okay on input line 93. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 93. LaTeX Font Info: ... okay on input line 93. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 93. LaTeX Font Info: ... okay on input line 93. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 93. LaTeX Font Info: ... okay on input line 93. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 93. LaTeX Font Info: ... okay on input line 93. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 93. LaTeX Font Info: ... okay on input line 93. LaTeX Font Info: Try loading font information for U+msa on input line 93. (/vol/tex/teTeX/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 93. (/vol/tex/teTeX/share/texmf/tex/latex/amsfonts/umsb.fd File: umsb.fd 1995/01/05 v2.2e AMS font definitions ) [1] [2] [3] LaTeX Font Info: Try loading font information for OMS+cmr on input line 475. (/vol/tex/teTeX/share/texmf/tex/latex/base/omscmr.fd File: omscmr.fd 1998/03/27 v2.5g Standard LaTeX font definitions ) LaTeX Font Info: Font shape `OMS/cmr/m/n' in size <10> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 475. [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] Underfull \hbox (badness 2035) in paragraph at lines 2330--2332 []\OT1/cmr/m/n/8 Kahn, B. \OT1/cmr/m/it/8 Mo-tivic co-ho-mol-ogy of smooth ge-o -met-ri-cally cel-lu-lar va-ri-eties.\OT1/cmr/m/n/8 , Preprint. [] Underfull \hbox (badness 2689) in paragraph at lines 2379--2382 []\OT1/cmr/m/n/8 Morel, F.; Vo-evod-sky, V. $\OML/cmm/m/it/8 A[]$\OT1/cmr/m/it/ 8 -homotopy the-ory of schemes.\OT1/cmr/m/n/8 , Preprint, Oct. 1998 [] [21] Underfull \hbox (badness 1286) in paragraph at lines 2419--2421 []\OT1/cmr/m/n/8 Voevodsky, V. \OT1/cmr/m/it/8 Mil-nor con-jec-ture.\OT1/cmr/m/ n/8 , preprint, De-cem-ber 1996. (www.math.uiuc.edu/K- [] [22] (024.aux) ) Here is how much of TeX's memory you used: 1627 strings out of 10901 16644 string characters out of 72249 68996 words of memory out of 263001 4407 multiletter control sequences out of 10000+0 14576 words of font info for 55 fonts, out of 400000 for 1000 175 hyphenation exceptions out of 1000 34i,12n,32p,260b,413s stack positions out of 300i,100n,500p,50000b,4000s Output written on 024.dvi (22 pages, 122532 bytes).