This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) (format=pdflatex 2006.9.28) 19 NOV 2006 08:31 entering extended mode **at (./at.tex LaTeX2e <2003/12/01> Babel and hyphenation patterns for american, french, german, ngerman, b ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur kish, ukrainian, nohyphenation, loaded. (/usr/share/texmf-tetex/tex/latex/base/article.cls Document Class: article 2004/02/16 v1.4f Standard LaTeX document class (/usr/share/texmf-tetex/tex/latex/base/size10.clo File: size10.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/share/texmf-tetex/tex/latex/psnfss/times.sty Package: times 2004/09/15 PSNFSS-v9.2 (SPQR) ) (/usr/share/texmf-tetex/tex/latex/tools/enumerate.sty Package: enumerate 1999/03/05 v3.00 enumerate extensions (DPC) \@enLab=\toks14 ) (/usr/share/texmf-tetex/tex/latex/graphics/graphicx.sty Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) (/usr/share/texmf-tetex/tex/latex/graphics/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks15 ) (/usr/share/texmf-tetex/tex/latex/graphics/graphics.sty Package: graphics 2001/07/07 v1.0n Standard LaTeX Graphics (DPC,SPQR) (/usr/share/texmf-tetex/tex/latex/graphics/trig.sty Package: trig 1999/03/16 v1.09 sin cos tan (DPC) ) (/usr/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: pdftex.def on input line 80. (/usr/share/texmf-tetex/tex/latex/graphics/pdftex.def File: pdftex.def 2002/06/19 v0.03k graphics/color for pdftex \Gread@gobject=\count87 )) \Gin@req@height=\dimen103 \Gin@req@width=\dimen104 ) (/usr/share/texmf-tetex/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 47. ) (/home/ksmani/tex/defs.tex \c@algcounterA=\count88 \c@algcounterB=\count89 \c@algcounterC=\count90 \c@definition=\count91 \c@Assumption=\count92 \c@Remark=\count93 \c@remark=\count94 \c@Exercise=\count95 \c@Corollary=\count96 \c@corollary=\count97 \c@lemma=\count98 \c@proposition=\count99 \c@theorem=\count100 \c@Claim=\count101 \c@claim=\count102 \c@Result=\count103 \c@Observation=\count104 \c@observation=\count105 \c@conjecture=\count106 \c@excounter=\count107 ) (./at.aux) \openout1 = `at.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 32. LaTeX Font Info: ... okay on input line 32. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 32. LaTeX Font Info: ... okay on input line 32. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 32. LaTeX Font Info: ... okay on input line 32. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 32. LaTeX Font Info: ... okay on input line 32. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 32. LaTeX Font Info: ... okay on input line 32. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 32. LaTeX Font Info: ... okay on input line 32. LaTeX Font Info: Try loading font information for OT1+ptm on input line 32. (/usr/share/texmf-tetex/tex/latex/psnfss/ot1ptm.fd File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm. ) (/usr/share/texmf-tetex/tex/context/base/supp-pdf.tex (/usr/share/texmf-tetex/tex/context/base/supp-mis.tex loading : Context Support Macros / Miscellaneous (2004.10.26) \protectiondepth=\count108 \scratchcounter=\count109 \scratchtoks=\toks16 \scratchdimen=\dimen105 \scratchskip=\skip43 \scratchmuskip=\muskip10 \scratchbox=\box26 \scratchread=\read1 \scratchwrite=\write3 \zeropoint=\dimen106 \onepoint=\dimen107 \onebasepoint=\dimen108 \minusone=\count110 \thousandpoint=\dimen109 \onerealpoint=\dimen110 \emptytoks=\toks17 \nextbox=\box27 \nextdepth=\dimen111 \everyline=\toks18 \!!counta=\count111 \!!countb=\count112 \recursecounter=\count113 ) loading : Context Support Macros / PDF (2004.03.26) \nofMPsegments=\count114 \nofMParguments=\count115 \MPscratchCnt=\count116 \MPscratchDim=\dimen112 \MPnumerator=\count117 \everyMPtoPDFconversion=\toks19 ) LaTeX Font Info: External font `cmex10' loaded for size (Font) <12> on input line 34. LaTeX Font Info: External font `cmex10' loaded for size (Font) <8> on input line 34. LaTeX Font Info: External font `cmex10' loaded for size (Font) <6> on input line 34. LaTeX Font Info: Try loading font information for U+lasy on input line 34. (/usr/share/texmf-tetex/tex/latex/base/ulasy.fd File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions ) LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <14.4> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 37. LaTeX Font Info: External font `cmex10' loaded for size (Font) <7> on input line 41. LaTeX Font Info: External font `cmex10' loaded for size (Font) <5> on input line 41. LaTeX Font Info: Try loading font information for OT1+pcr on input line 46. (/usr/share/texmf-tetex/tex/latex/psnfss/ot1pcr.fd File: ot1pcr.fd 2001/06/04 font definitions for OT1/pcr. ) 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 67. [1 {/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <12> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 111. [2] Overfull \hbox (6.67949pt too wide) in paragraph at lines 168--180 \OT1/ptm/m/n/10 cid-able prob-lems for re-cur-sively enu-mer-able lan-guages. T hese top-ics will be cov-ered from Chap-ter $\OT1/cmr/m/n/10 12$ \OT1/ptm/m/n/1 0 of [] [] Underfull \hbox (badness 10000) in paragraph at lines 168--180 [] (./at.bbl) [3] (./at.aux) ) Here is how much of TeX's memory you used: 1186 strings out of 94500 14380 string characters out of 1175788 61636 words of memory out of 1000000 4365 multiletter control sequences out of 10000+50000 19351 words of font info for 46 fonts, out of 500000 for 2000 580 hyphenation exceptions out of 8191 25i,7n,19p,214b,219s stack positions out of 1500i,500n,5000p,200000b,5000s PDF statistics: 31 PDF objects out of 300000 0 named destinations out of 131072 1 words of extra memory for PDF output out of 65536 {/usr/share/texmf-tetex/fonts/enc/dvips/psnfss/8r.enc} Output written on at.pdf (3 pages, 76142 bytes).