This is TeX, Version 3.14159 (Web2C 7.3.1) (format=latex 2000.7.19) 29 OCT 2001 02:07 **bu.tex (bu.tex LaTeX2e <1999/12/01> patch level 1 Babel and hyphenation patterns for american, french, german, ngerman, i talian, nohyphenation, loaded. (/usr/share/texmf/tex/latex/base/article.cls Document Class: article 1999/09/10 v1.4a Standard LaTeX document class (/usr/share/texmf/tex/latex/base/size12.clo File: size12.clo 1999/09/10 v1.4a 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 ) \@input{macros.aux} \openout2 = `macros.aux'. (macros.tex (/usr/share/texmf/tex/latex/amsmath/amsmath.sty Package: amsmath 2000/01/15 v2.05 AMS math features \@mathmargin=\skip43 For additional information on amsmath, use the `?' option. (/usr/share/texmf/tex/latex/amsmath/amstext.sty Package: amstext 1999/11/15 v2.0 (/usr/share/texmf/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 \@emptytoks=\toks14 \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=\count87 LaTeX Info: Redefining \frac on input line 198. \uproot@=\count88 \leftroot@=\count89 LaTeX Info: Redefining \overline on input line 302. \classnum@=\count90 \DOTSCASE@=\count91 LaTeX Info: Redefining \ldots on input line 376. LaTeX Info: Redefining \dots on input line 379. LaTeX Info: Redefining \cdots on input line 464. \Mathstrutbox@=\box26 \strutbox@=\box27 \big@size=\dimen105 LaTeX Font Info: Redeclaring font encoding OML on input line 563. LaTeX Font Info: Redeclaring font encoding OMS on input line 564. \macc@skew=\dimen106 \c@MaxMatrixCols=\count92 \dotsspace@=\muskip10 \c@parentequation=\count93 \dspbrk@lvl=\count94 \tag@help=\toks15 \row@=\count95 \column@=\count96 \maxfields@=\count97 \andhelp@=\toks16 \eqnshift@=\dimen107 \alignsep@=\dimen108 \tagshift@=\dimen109 \tagwidth@=\dimen110 \totwidth@=\dimen111 \lineht@=\dimen112 \@envbody=\toks17 \multlinegap=\skip44 \multlinetaggap=\skip45 LaTeX Info: Redefining \[ on input line 2594. LaTeX Info: Redefining \] on input line 2595. ) (/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/01/17 v2.03 \thm@style=\toks18 \thm@bodyfont=\toks19 \thm@headfont=\toks20 \thm@notefont=\toks21 \thm@headpunct=\toks22 \thm@preskip=\skip46 \thm@postskip=\skip47 \thm@headsep=\skip48 \dth@everypar=\toks23 ) \c@theorem=\count98 \c@listnum=\count99 ) (/usr/share/texmf/tex/generic/xypic/xy.sty (/usr/share/texmf/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes, docmode, (/usr/share/texmf/tex/generic/xypic/xyrecat.tex) (/usr/share/texmf/tex/generic/xypic/xyidioms.tex) Xy-pic version 3.7 <1999/02/16> Copyright (c) 1991-1998 by Kristoffer H. Rose Xy-pic is free software: see the User's Guide for details. Loading kernel: messages; fonts; allocations: state, \X@c=\dimen113 \Y@c=\dimen114 \U@c=\dimen115 \D@c=\dimen116 \L@c=\dimen117 \R@c=\dimen118 \Edge@c=\toks24 \X@p=\dimen119 \Y@p=\dimen120 \U@p=\dimen121 \D@p=\dimen122 \L@p=\dimen123 \R@p=\dimen124 \Edge@p=\toks25 \X@origin=\dimen125 \Y@origin=\dimen126 \X@xbase=\dimen127 \Y@xbase=\dimen128 \X@ybase=\dimen129 \Y@ybase=\dimen130 \X@min=\dimen131 \Y@min=\dimen132 \X@max=\dimen133 \Y@max=\dimen134 \lastobjectbox@=\box28 \zerodotbox@=\box29 \almostz@=\dimen135 direction, \d@X=\dimen136 \d@Y=\dimen137 \K@=\count100 \KK@=\count101 \Direction=\count102 \K@dXdY=\dimen138 \K@dYdX=\dimen139 \xyread@=\read1 \xywrite@=\write3 \csp@=\count103 \quotPTK@=\dimen140 utility macros; pictures: \xy, positions, \swaptoks@@=\toks26 \connectobjectbox@@=\box30 objects, \styletoks@=\toks27 decorations; kernel objects: directionals, circles, text; options; algorithms: directions, edges, connections; Xy-pic loaded) Package: xy 1999/02/16 Xy-pic version 3.7 (/usr/share/texmf/tex/generic/xypic/xyall.tex Xy-pic option: All features v.3.3 (/usr/share/texmf/tex/generic/xypic/xycurve.tex Xy-pic option: Curve and Spline extension v.3.7 curve, \crv@cnt@=\count104 \crvpts@=\toks28 \splinebox@=\box31 \splineval@=\dimen141 \splinedepth@=\dimen142 \splinetol@=\dimen143 \splinelength@=\dimen144 circles, \L@=\dimen145 loaded) (/usr/share/texmf/tex/generic/xypic/xyframe.tex Xy-pic option: Frame and Bracket extension v.3.7 loaded) (/usr/share/texmf/tex/generic/xypic/xycmtip.tex Xy-pic option: Computer Modern tip extension v.3.3 (/usr/share/texmf/tex/generic/xypic/xytips.tex Xy-pic option: More Tips extension v.3.3 loaded) loaded) (/usr/share/texmf/tex/generic/xypic/xyline.tex Xy-pic option: Line styles extension v.3.6 \xylinethick@=\dimen146 loaded) (/usr/share/texmf/tex/generic/xypic/xyrotate.tex Xy-pic option: Rotate and Scale extension v.3.3 loaded) (/usr/share/texmf/tex/generic/xypic/xycolor.tex Xy-pic option: Colour extension v.3.3 loaded) (/usr/share/texmf/tex/generic/xypic/xymatrix.tex Xy-pic option: Matrix feature v.3.4 \Row=\count105 \Col=\count106 \queue@=\toks29 \queue@@=\toks30 \qcount@=\count107 \qcount@@=\count108 \matrixsize@=\count109 loaded) (/usr/share/texmf/tex/generic/xypic/xyarrow.tex Xy-pic option: Arrow and Path feature v.3.5 path, \ar, loaded) (/usr/share/texmf/tex/generic/xypic/xygraph.tex Xy-pic option: Graph feature v.3.7 loaded) loaded)) (bu.aux) \openout1 = `bu.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 1999/06/24 v3.2b 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 14. (/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 14. (/usr/share/texmf/tex/latex/amsfonts/umsb.fd File: umsb.fd 1995/01/05 v2.2e AMS font definitions ) (bu.toc) \tf@toc=\write4 \openout4 = `bu.toc'. LaTeX Font Info: Try loading font information for OT2+wncyr on input line 26 . (/usr/share/texmf/tex/latex/cyrillic/ot2wncyr.fd File: ot2wncyr.fd 1999/05/31 v3.2 Computer Modern Cyrillic font definitions ) [1 ] [2] Overfull \hbox (14.13168pt too wide) in paragraph at lines 184--187 []\OT1/cmr/m/n/12 Amod Agashe and I prove most of this the-o-rem in our pa-per \OT1/cmr/m/it/12 Vis-i-bil-ity of Shafarevich- [] [3] [4] (bu.aux) ) Here is how much of TeX's memory you used: 3792 strings out of 20898 41133 string characters out of 196686 127802 words of memory out of 350001 6689 multiletter control sequences out of 10000+15000 20413 words of font info for 79 fonts, out of 400000 for 1000 14 hyphenation exceptions out of 1000 31i,13n,24p,236b,407s stack positions out of 1500i,100n,500p,50000b,4000s Output written on bu.dvi (4 pages, 15036 bytes).