This is TeX, Version 3.14159 (Web2C 7.3.1) (format=latex 2001.5.15) 30 NOV 2003 17:17 **all (all.tex LaTeX2e <2000/06/01> Babel and hyphenation patterns for american, french, german, ngerman, n ohyphenation, loaded. (/home/cp/Library/TeX/texmf/tex/latex/latexlib/article.cls Document Class: article 1999/01/07 v1.4a Standard LaTeX document class (/home/cp/Library/TeX/texmf/tex/latex/latexlib/size12.clo File: size12.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 ) (body.tex (/usr/share/texmf/tex/latex/base/latexsym.sty Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols) \symlasy=\mathgroup4 LaTeX Font Info: Overwriting symbol font `lasy' in version `bold' (Font) U/lasy/m/n --> U/lasy/b/n on input line 42. ) (/usr/share/texmf/tex/latex/amsfonts/amssymb.sty Package: amssymb 1996/11/03 v2.2b (/usr/share/texmf/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 1997/09/17 v2.2e \@emptytoks=\toks14 \symAMSa=\mathgroup5 \symAMSb=\mathgroup6 LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 133. )) (/home/cp/Library/TeX/texmf/tex/latex/latexlib/proof.sty \inferLineSkip=\dimen103 \inferLabelSkip=\dimen104 \@LeftOffset=\dimen105 \@RightOffset=\dimen106 \@SavedLeftOffset=\dimen107 \UpperWidth=\dimen108 \LowerWidth=\dimen109 \LowerHeight=\dimen110 \UpperLeftOffset=\dimen111 \UpperRightOffset=\dimen112 \UpperCenter=\dimen113 \LowerCenter=\dimen114 \UpperAdjust=\dimen115 \RuleAdjust=\dimen116 \LowerAdjust=\dimen117 \RuleWidth=\dimen118 \HLabelAdjust=\dimen119 \VLabelAdjust=\dimen120 \WidthAdjust=\dimen121 \@UpperPart=\box26 \@LowerPart=\box27 \@LabelPart=\box28 \ResultBox=\box29 ) (/home/cp/Library/TeX/texmf/tex/latex/latexlib/dina4.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=\dimen122 \Y@c=\dimen123 \U@c=\dimen124 \D@c=\dimen125 \L@c=\dimen126 \R@c=\dimen127 \Edge@c=\toks15 \X@p=\dimen128 \Y@p=\dimen129 \U@p=\dimen130 \D@p=\dimen131 \L@p=\dimen132 \R@p=\dimen133 \Edge@p=\toks16 \X@origin=\dimen134 \Y@origin=\dimen135 \X@xbase=\dimen136 \Y@xbase=\dimen137 \X@ybase=\dimen138 \Y@ybase=\dimen139 \X@min=\dimen140 \Y@min=\dimen141 \X@max=\dimen142 \Y@max=\dimen143 \lastobjectbox@=\box30 \zerodotbox@=\box31 \almostz@=\dimen144 direction, \d@X=\dimen145 \d@Y=\dimen146 \K@=\count87 \KK@=\count88 \Direction=\count89 \K@dXdY=\dimen147 \K@dYdX=\dimen148 \xyread@=\read1 \xywrite@=\write3 \csp@=\count90 \quotPTK@=\dimen149 utility macros; pictures: \xy, positions, \swaptoks@@=\toks17 \connectobjectbox@@=\box32 objects, \styletoks@=\toks18 decorations; kernel objects: directionals, circles, text; options; algorithms: directions, edges, connections; Xy-pic loaded) (/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@=\count91 \crvpts@=\toks19 \splinebox@=\box33 \splineval@=\dimen150 \splinedepth@=\dimen151 \splinetol@=\dimen152 \splinelength@=\dimen153 circles, \L@=\dimen154 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@=\dimen155 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=\count92 \Col=\count93 \queue@=\toks20 \queue@@=\toks21 \qcount@=\count94 \qcount@@=\count95 \matrixsize@=\count96 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) (/usr/share/texmf/tex/generic/xypic/xydvips.tex Xy-pic option: DVIPS driver v.3.3 loaded) (/home/cp/Library/TeX/texmf/tex/latex/latexlib/header.tex (/home/cp/Library/TeX/texmf/tex/latex/latexlib/headerhot.tex \disp=\skip43 \textwidthminustwomm=\skip44 \textwidthminushalfcm=\skip45 \textwidthminusonecm=\skip46 \textwidthminustwocm=\skip47 \textwidthminusfourcm=\skip48 \textwidthminussixcm=\skip49 \yinibox=\box34 )) (/home/cp/Library/TeX/texmf/tex/latex/latexlib/headerarticle.tex \sectionintocsep=\skip50 \contentsandreferencesheadroom=\skip51 \contentsandreferencesfootroom=\skip52 ) (/home/cp/Library/TeX/texmf/tex/latex/latexlib/headergerman.tex (/home/cp/Library/TeX/texmf/tex/latex/latexlib/headernames.tex (/usr/share/texmf/tex/latex/base/fontenc.sty Package: fontenc 2000/08/30 v1.91 Standard LaTeX package (/usr/share/texmf/tex/latex/base/t1enc.def File: t1enc.def 2000/08/30 v1.91 Standard LaTeX file LaTeX Font Info: Redeclaring font encoding T1 on input line 38. )))) (/home/cp/Library/TeX/texmf/tex/latex/latexlib/headertheorem.tex \c@theorem=\count97 ) (/home/cp/Library/TeX/texmf/tex/latex/latexlib/header12pt.tex) (/home/cp/Library/TeX/texmf/tex/latex/latexlib/headerforformulas.tex) (/home/cp/Library/TeX/texmf/tex/latex/latexlib/headersugarterms.tex) (all.aux (titlepage.aux) (tableofcontents.aux) (sequentproof.aux)) \openout1 = `all.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 34. LaTeX Font Info: ... okay on input line 34. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 34. LaTeX Font Info: ... okay on input line 34. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 34. LaTeX Font Info: ... okay on input line 34. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 34. LaTeX Font Info: ... okay on input line 34. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 34. LaTeX Font Info: ... okay on input line 34. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 34. LaTeX Font Info: ... okay on input line 34. (/usr/share/texmf/tex/generic/xypic/xyps-ps.tex) Xy-pic Warning: The produced DVI file is NOT PORTABLE [all:34]: It contains `dvips' \specials for the `PostScript' extension. (/usr/share/texmf/tex/generic/xypic/xyps-pro.tex) (/usr/share/texmf/tex/generic/xypic/xypspatt.tex) (/usr/share/texmf/tex/generic/xypic/xypsdict.tex) (/usr/share/texmf/tex/generic/xypic/xyps-c.tex (/usr/share/texmf/tex/generic/xypic/xyps-s.tex)) (/usr/share/texmf/tex/generic/xypic/xyps-r.tex) (/usr/share/texmf/tex/generic/xypic/xyps-l.tex) (/usr/share/texmf/tex/generic/xypic/xyps-f.tex) \openout2 = `titlepage.aux'. No file titlepage.tex. \openout2 = `tableofcontents.aux'. No file tableofcontents.tex. (/home/cp/Library/TeX/texmf/tex/latex/latexlib/headerdate.tex) \openout2 = `sequentproof.aux'. (sequentproof.tex LaTeX Font Info: Try loading font information for U+lasy on input line 24. (/usr/share/texmf/tex/latex/base/ulasy.fd File: ulasy.fd 1998/08/17 v2.2eLaTeX symbol font definitions ) LaTeX Font Info: Try loading font information for U+msa on input line 24. (/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 24. (/usr/share/texmf/tex/latex/amsfonts/umsb.fd File: umsb.fd 1995/01/05 v2.2e AMS font definitions ) Overfull \hbox (0.67642pt too wide) in paragraph at lines 10--144 \T1/cmr/m/n/12 Note that we can-not close this di-rectly be-cause $\OMS/cmsy/m/ n/12 f[][][]g$ \T1/cmr/m/n/12 is not an ex-is-ten-tial $\OML/cmm/m/it/12 R$\T1/ cmr/m/n/12 -substitution. [] [1 ] Overfull \hbox (27.2041pt too wide) in paragraph at lines 449--510 [] [] ) [2] (all.aux (titlepage.aux) (tableofcontents.aux) (sequentproof.aux)) ) ) Here is how much of TeX's memory you used: 5397 strings out of 25890 58403 string characters out of 197430 166844 words of memory out of 384000 8200 multiletter control sequences out of 10000+15000 22960 words of font info for 83 fonts, out of 400000 for 1000 92 hyphenation exceptions out of 1000 28i,47n,40p,201b,493s stack positions out of 300i,100n,500p,50000b,4000s Output written on all.dvi (2 pages, 28936 bytes).