This is TeX, Version 3.14159 (Web2C 7.3.1) (format=latex 2000.12.13) 8 APR 2002 15:22 **unification.eg.tex (unification.eg.tex LaTeX2e <1999/12/01> patch level 1 Babel and hyphenation patterns for american, french, german, ngerman, n ohyphenation, loaded. (/util/teTeX/texmf/tex/latex/base/article.cls Document Class: article 1999/09/10 v1.4a Standard LaTeX document class (/util/teTeX/texmf/tex/latex/base/size10.clo File: size10.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 ) (/util/teTeX/texmf/tex/latex/amsfonts/amssymb.sty Package: amssymb 1996/11/03 v2.2b (/util/teTeX/texmf/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 1997/09/17 v2.2e \@emptytoks=\toks14 \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. )) (/u0/faculty/rapaport/Tex/fullpage.sty Style Option FULLPAGE Version 2 as of 15 Dec 1988 ) (/util/teTeX/texmf/tex/latex/psnfss/times.sty Package: times 1999/03/29 PSNFSS v.7.2 Times font as default roman : S Rahtz ) (/util/teTeX/texmf/tex/latex/mathptm/mathptm.sty Package: mathptm 1997/01/23{} Times + math package from fontinst LaTeX Font Info: Redeclaring symbol font `operators' on input line 25. LaTeX Font Info: Overwriting symbol font `operators' in version `normal' (Font) OT1/cmr/m/n --> OT1/ptmcm/m/n on input line 25. LaTeX Font Info: Overwriting symbol font `operators' in version `bold' (Font) OT1/cmr/bx/n --> OT1/ptmcm/m/n on input line 25. LaTeX Font Info: Redeclaring symbol font `letters' on input line 26. LaTeX Font Info: Overwriting symbol font `letters' in version `normal' (Font) OML/cmm/m/it --> OML/ptmcm/m/it on input line 26. LaTeX Font Info: Overwriting symbol font `letters' in version `bold' (Font) OML/cmm/b/it --> OML/ptmcm/m/it on input line 26. LaTeX Font Info: Redeclaring symbol font `symbols' on input line 27. LaTeX Font Info: Overwriting symbol font `symbols' in version `normal' (Font) OMS/cmsy/m/n --> OMS/pzccm/m/n on input line 27. LaTeX Font Info: Overwriting symbol font `symbols' in version `bold' (Font) OMS/cmsy/b/n --> OMS/pzccm/m/n on input line 27. LaTeX Font Info: Redeclaring symbol font `largesymbols' on input line 28. LaTeX Font Info: Overwriting symbol font `largesymbols' in version `normal' (Font) OMX/cmex/m/n --> OMX/psycm/m/n on input line 28. LaTeX Font Info: Overwriting symbol font `largesymbols' in version `bold' (Font) OMX/cmex/m/n --> OMX/psycm/m/n on input line 28. \symbold=\mathgroup6 \symitalic=\mathgroup7 LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 31. LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal' (Font) OT1/cmr/bx/n --> OT1/ptm/bx/n on input line 31. LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' (Font) OT1/cmr/bx/n --> OT1/ptm/bx/n on input line 31. LaTeX Font Info: Redeclaring math alphabet \mathit on input line 32. LaTeX Font Info: Overwriting math alphabet `\mathit' in version `normal' (Font) OT1/cmr/m/it --> OT1/ptm/m/it on input line 32. LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' (Font) OT1/cmr/bx/it --> OT1/ptm/m/it on input line 32. ) (unification.eg.aux) \openout1 = `unification.eg.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 44. LaTeX Font Info: ... okay on input line 44. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 44. LaTeX Font Info: ... okay on input line 44. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 44. LaTeX Font Info: ... okay on input line 44. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 44. LaTeX Font Info: ... okay on input line 44. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 44. LaTeX Font Info: ... okay on input line 44. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 44. LaTeX Font Info: ... okay on input line 44. LaTeX Font Info: Try loading font information for OT1+ptm on input line 44. (/util/teTeX/texmf/tex/latex/psnfss/ot1ptm.fd File: ot1ptm.fd 1998/07/06 Fontinst v1.800 font definitions for OT1/ptm. ) LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <10> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 47. LaTeX Font Info: Try loading font information for OT1+ptmcm on input line 48 . (/util/teTeX/texmf/tex/latex/mathptm/ot1ptmcm.fd File: ot1ptmcm.fd 1998/07/01 Fontinst v1.800 font definitions for OT1/ptmcm. ) LaTeX Font Info: Try loading font information for OML+ptmcm on input line 48 . (/util/teTeX/texmf/tex/latex/mathptm/omlptmcm.fd File: omlptmcm.fd 1998/07/01 Fontinst v1.800 font definitions for OML/ptmcm. ) LaTeX Font Info: Try loading font information for OMS+pzccm on input line 48 . (/util/teTeX/texmf/tex/latex/mathptm/omspzccm.fd File: omspzccm.fd 1998/07/01 Fontinst v1.800 font definitions for OMS/pzccm. ) LaTeX Font Info: Try loading font information for OMX+psycm on input line 48 . (/util/teTeX/texmf/tex/latex/mathptm/omxpsycm.fd File: omxpsycm.fd 1998/07/01 Fontinst v1.800 font definitions for OMX/psycm. ) LaTeX Font Info: Try loading font information for U+msa on input line 48. (/util/teTeX/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 48. (/util/teTeX/texmf/tex/latex/amsfonts/umsb.fd File: umsb.fd 1995/01/05 v2.2e AMS font definitions ) LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <7.4> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 48. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <6> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 48. Underfull \hbox (badness 10000) in paragraph at lines 46--53 [] Underfull \hbox (badness 10000) in paragraph at lines 46--53 [] Overfull \hbox (62.98723pt too wide) in paragraph at lines 55--81 [] [] LaTeX Font Info: Try loading font information for OMS+ptm on input line 88. (/util/teTeX/texmf/tex/latex/psnfss/omsptm.fd File: omsptm.fd ) LaTeX Font Info: Font shape `OMS/ptm/m/n' in size <10> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 88. [1 ] (unification.eg.aux) ) Here is how much of TeX's memory you used: 610 strings out of 10901 6823 string characters out of 72539 54556 words of memory out of 263001 3572 multiletter control sequences out of 10000+0 13415 words of font info for 39 fonts, out of 400000 for 1000 14 hyphenation exceptions out of 1000 23i,8n,24p,190b,166s stack positions out of 300i,100n,500p,50000b,4000s Output written on unification.eg.dvi (1 page, 5568 bytes).