This is TeX, Version 3.14159 (Web2C 7.3.1) (format=latex 2000.3.7) 29 JUL 2000 14:22 **evidence.tex (evidence.tex LaTeX2e <1998/12/01> patch level 1 Babel and hyphenation patterns for american, french, german, ngerman, i talian, nohyphenation, loaded. (/usr/share/texmf/tex/latex/amslatex/amsart.cls Document Class: amsart 1997/03/26 v1.2r \linespacing=\dimen102 \normalparindent=\dimen103 \normaltopskip=\skip41 (/usr/share/texmf/tex/latex/amslatex/amsgen.sty File: amsgen 1996/10/29 v1.2b \@emptytoks=\toks14 \ex@=\dimen104 ) (/usr/share/texmf/tex/latex/amslatex/amsmath.sty Package: amsmath 1997/03/20 v1.2d AMS math features \@mathmargin=\skip42 (/usr/share/texmf/tex/latex/amslatex/amstext.sty Package: amstext 1996/10/28 v1.2b (/usr/share/texmf/tex/latex/amslatex/amsgen.sty File: amsgen 1996/10/29 v1.2b \@emptytoks=\toks15 \ex@=\dimen105 )) (/usr/share/texmf/tex/latex/amslatex/amsbsy.sty Package: amsbsy 1996/10/28 v1.2b \pmbraise@=\dimen106 ) (/usr/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 368. (/usr/share/texmf/tex/latex/amsfonts/umsa.fd File: umsa.fd 1995/01/05 v2.2e AMS font definitions ) (/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. ) \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 (/usr/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 )) (/usr/share/texmf/tex/latex/amslatex/amscd.sty Package: amscd 1996/10/28 v1.2b \athelp@=\toks24 \bigaw@=\dimen117 \minCDarrowwidth=\dimen118 ) \c@theorem=\count100 \c@question=\count101 \c@conj=\count102 \c@rem=\count103 \c@rems=\count104 (evidence.aux) \openout1 = `evidence.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 74. LaTeX Font Info: ... okay on input line 74. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 74. LaTeX Font Info: ... okay on input line 74. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 74. LaTeX Font Info: ... okay on input line 74. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 74. LaTeX Font Info: ... okay on input line 74. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 74. LaTeX Font Info: ... okay on input line 74. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 74. LaTeX Font Info: ... okay on input line 74. LaTeX Font Info: Try loading font information for U+msa on input line 74. (/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 74. (/usr/share/texmf/tex/latex/amsfonts/umsb.fd File: umsb.fd 1995/01/05 v2.2e AMS font definitions ) [1] Overfull \vbox (3.525pt too high) has occurred while \output is active [] [2] Overfull \vbox (1.14998pt too high) has occurred while \output is active [] [3] Underfull \hbox (badness 10000) in paragraph at lines 406--415 \OT1/cmr/m/n/12 curve may be found by ei-ther, both, or nei-ther of Wang's and [] Overfull \vbox (3.525pt too high) has occurred while \output is active [] [4] Underfull \vbox (badness 1173) has occurred while \output is active [] Overfull \vbox (1.14998pt too high) has occurred while \output is active [] [5] Overfull \vbox (3.525pt too high) has occurred while \output is active [] [6] Overfull \hbox (1.44405pt too wide) in paragraph at lines 626--637 []\OT1/cmr/m/n/12 There ex-ist sev-eral dis-cus-sions in the lit-er-a-ture on c on-struct-ing the group $\OML/cmm/m/it/12 J\OT1/cmr/m/n/12 (\OT1/cmr/bx/n/12 Q[ ]\OT1/cmr/m/n/12 )\OML/cmm/m/it/12 =J[]\OT1/cmr/m/n/12 (\OT1/cmr/bx/n/12 Q[]\OT 1/cmr/m/n/12 )$ [] Overfull \vbox (1.14998pt too high) has occurred while \output is active [] [7] Underfull \vbox (badness 5878) has occurred while \output is active [] Overfull \vbox (3.525pt too high) has occurred while \output is active [] [8] Overfull \vbox (1.14998pt too high) has occurred while \output is active [] [9] Overfull \vbox (3.525pt too high) has occurred while \output is active [] [10] Overfull \vbox (1.14998pt too high) has occurred while \output is active [] [11] LaTeX Font Info: Try loading font information for OMS+cmr on input line 1006 . (/usr/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 <12> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 1006. Overfull \vbox (3.525pt too high) has occurred while \output is active [] [12] Overfull \vbox (1.14998pt too high) has occurred while \output is active [] [13] Overfull \vbox (3.525pt too high) has occurred while \output is active [] [14] Overfull \vbox (1.14998pt too high) has occurred while \output is active [] [15] Overfull \vbox (3.525pt too high) has occurred while \output is active [] [16] Overfull \vbox (1.14998pt too high) has occurred while \output is active [] [17] Underfull \vbox (badness 1946) has occurred while \output is active [] Overfull \vbox (3.525pt too high) has occurred while \output is active [] [18] Overfull \vbox (1.14998pt too high) has occurred while \output is active [] [19] Overfull \vbox (3.525pt too high) has occurred while \output is active [] [20] Underfull \vbox (badness 10000) has occurred while \output is active [] Overfull \vbox (1.14998pt too high) has occurred while \output is active [] [21] Overfull \hbox (1.1283pt too wide) in paragraph at lines 1880--1880 []\OT1/cmr/m/sc/10 Department of Math-e-mat-ics and Com-puter Sci-ence, Santa C lara Uni-ver-sity, Santa Clara, [] Overfull \vbox (3.525pt too high) has occurred while \output is active [] [22] (evidence.aux) LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) Here is how much of TeX's memory you used: 1361 strings out of 10898 13636 string characters out of 96882 85743 words of memory out of 263001 4150 multiletter control sequences out of 10000+0 14145 words of font info for 54 fonts, out of 400000 for 1000 175 hyphenation exceptions out of 1000 34i,12n,32p,263b,387s stack positions out of 300i,100n,500p,50000b,4000s Output written on evidence.dvi (22 pages, 135988 bytes).