This is pdfeTeX, Version 3.141592-1.30.4-2.2 (Web2C 7.5.5) (format=latex 2006.3.6) 23 JAN 2007 12:09 entering extended mode **BC-equality.tex (./BC-equality.tex LaTeX2e <2003/12/01> Babel and hyphenation patterns for american, french, german, ngerman, d utch, italian, norsk, portuges, spanish, swedish, nohyphenation, loaded. (/usr/local/teTeX/share/texmf.tetex/tex/latex/base/article.cls Document Class: article 2004/02/16 v1.4f Standard LaTeX document class (/usr/local/teTeX/share/texmf.tetex/tex/latex/base/size12.clo File: size12.clo 2004/02/16 v1.4f 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 ) (/usr/local/teTeX/share/texmf.tetex/tex/latex/graphics/graphics.sty Package: graphics 2001/07/07 v1.0n Standard LaTeX Graphics (DPC,SPQR) (/usr/local/teTeX/share/texmf.tetex/tex/latex/graphics/trig.sty Package: trig 1999/03/16 v1.09 sin cos tan (DPC) ) (/usr/local/teTeX/share/texmf.tetex/tex/latex/graphics/graphics.cfg File: graphics.cfg 2005/02/03 v1.3 graphics configuration of teTeX/TeXLive ) Package graphics Info: Driver file: dvips.def on input line 80. (/usr/local/teTeX/share/texmf.tetex/tex/latex/graphics/dvips.def File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) )) (/usr/local/teTeX/share/texmf.tetex/tex/latex/graphics/color.sty Package: color 1999/02/16 v1.0i Standard LaTeX Color (DPC) (/usr/local/teTeX/share/texmf.tetex/tex/latex/graphics/color.cfg File: color.cfg 2005/02/03 v1.3 color configuration of teTeX/TeXLive ) Package color Info: Driver file: dvips.def on input line 125. (/usr/local/teTeX/share/texmf.tetex/tex/latex/graphics/dvipsnam.def File: dvipsnam.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) )) (/usr/local/teTeX/share/texmf.tetex/tex/latex/graphics/epsfig.sty Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR) (/usr/local/teTeX/share/texmf.tetex/tex/latex/graphics/graphicx.sty Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) (/usr/local/teTeX/share/texmf.tetex/tex/latex/graphics/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks14 ) \Gin@req@height=\dimen103 \Gin@req@width=\dimen104 ) \epsfxsize=\dimen105 \epsfysize=\dimen106 ) (./ProgMacs.tex \c@proglevel=\count87 \c@progline=\count88 \linenosep=\skip43 \subprogindent=\skip44 \progitemhangindent=\skip45 \addprogitemsep=\skip46 \progitemstrutheight=\skip47 \c@protoline=\count89 \boxwidth=\skip48 \c@proto_body=\count90 \c@algo_body=\count91 \c@reduline=\count92 \boxwidthr=\skip49 \c@redu_body=\count93 ) (./MathMacs.tex) (./ThmMacs.tex \c@theorem=\count94 \c@theoreme=\count95 \c@Theorem=\count96 \c@example=\count97 ) (./BC-equality.aux) \openout1 = `BC-equality.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 15. LaTeX Font Info: ... okay on input line 15. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 15. LaTeX Font Info: ... okay on input line 15. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 15. LaTeX Font Info: ... okay on input line 15. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 15. LaTeX Font Info: ... okay on input line 15. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 15. LaTeX Font Info: ... okay on input line 15. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 15. LaTeX Font Info: ... okay on input line 15. LaTeX Font Info: External font `cmex10' loaded for size (Font) <12> on input line 47. LaTeX Font Info: External font `cmex10' loaded for size (Font) <8> on input line 47. LaTeX Font Info: External font `cmex10' loaded for size (Font) <6> on input line 47. Overfull \hbox (9.39836pt too wide) in alignment at lines 68--86 [][][] [] [] [1 ] [2] LaTeX Font Info: Try loading font information for OMS+cmr on input line 151. (/usr/local/teTeX/share/texmf.tetex/tex/latex/base/omscmr.fd File: omscmr.fd 1999/05/25 v2.5h 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 151. [3] Overfull \hbox (51.97728pt too wide) in alignment at lines 176--180 [][][] [] [] [4] [5] (./BC-equality.aux) ) Here is how much of TeX's memory you used: 976 strings out of 95138 12023 string characters out of 1183037 2054874 words of memory out of 4509709 4155 multiletter control sequences out of 10000+50000 8862 words of font info for 31 fonts, out of 2000000 for 2000 58 hyphenation exceptions out of 5000 30i,9n,21p,186b,183s stack positions out of 5000i,500n,6000p,200000b,40000s Output written on BC-equality.dvi (5 pages, 12572 bytes).