This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6) (format=pdflatex 2008.12.15) 27 MAR 2009 13:19 entering extended mode %&-line parsing enabled. **cc (./cc.tex LaTeX2e <2005/12/01> Babel and hyphenation patterns for english, usenglishmax, dumylang, noh yphenation, ukrainian, russian, bulgarian, loaded. (/usr/share/texmf-texlive/tex/latex/base/article.cls Document Class: article 2005/09/16 v1.4f Standard LaTeX document class (/usr/share/texmf-texlive/tex/latex/base/size10.clo File: size10.clo 2005/09/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-texlive/tex/latex/graphics/graphicx.sty Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) (/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks14 ) (/usr/share/texmf-texlive/tex/latex/graphics/graphics.sty Package: graphics 2006/02/20 v1.0o Standard LaTeX Graphics (DPC,SPQR) (/usr/share/texmf-texlive/tex/latex/graphics/trig.sty Package: trig 1999/03/16 v1.09 sin cos tan (DPC) ) (/etc/texmf/tex/latex/config/graphics.cfg File: graphics.cfg 2007/01/18 v1.5 graphics configuration of teTeX/TeXLive ) Package graphics Info: Driver file: pdftex.def on input line 90. (/usr/share/texmf-texlive/tex/latex/pdftex-def/pdftex.def File: pdftex.def 2007/01/08 v0.04d Graphics/color for pdfTeX \Gread@gobject=\count87 )) \Gin@req@height=\dimen103 \Gin@req@width=\dimen104 ) (/usr/share/texmf-texlive/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. ) (/usr/share/texmf-texlive/tex/latex/psnfss/times.sty Package: times 2005/04/12 PSNFSS-v9.2a (SPQR) ) (/usr/share/texmf-texlive/tex/latex/tools/enumerate.sty Package: enumerate 1999/03/05 v3.00 enumerate extensions (DPC) \@enLab=\toks15 ) (/usr/share/texmf-texlive/tex/latex/ltxmisc/url.sty \Urlmuskip=\muskip10 Package: url 2005/06/27 ver 3.2 Verb mode for urls, etc. ) (/usr/share/texmf-texlive/tex/latex/hyperref/hyperref.sty Package: hyperref 2007/02/07 v6.75r Hypertext links for LaTeX \@linkdim=\dimen105 \Hy@linkcounter=\count88 \Hy@pagecounter=\count89 (/usr/share/texmf-texlive/tex/latex/hyperref/pd1enc.def File: pd1enc.def 2007/02/07 v6.75r Hyperref: PDFDocEncoding definition (HO) ) (/etc/texmf/tex/latex/config/hyperref.cfg File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive ) (/usr/share/texmf-texlive/tex/latex/oberdiek/kvoptions.sty Package: kvoptions 2006/08/22 v2.4 Connects package keyval with LaTeX options ( HO) ) Package hyperref Info: Hyper figures OFF on input line 2288. Package hyperref Info: Link nesting OFF on input line 2293. Package hyperref Info: Hyper index ON on input line 2296. Package hyperref Info: Plain pages OFF on input line 2303. Package hyperref Info: Backreferencing OFF on input line 2308. Implicit mode ON; LaTeX internals redefined Package hyperref Info: Bookmarks ON on input line 2444. LaTeX Info: Redefining \url on input line 2599. \Fld@menulength=\count90 \Field@Width=\dimen106 \Fld@charsize=\dimen107 \Choice@toks=\toks16 \Field@toks=\toks17 Package hyperref Info: Hyper figures OFF on input line 3102. Package hyperref Info: Link nesting OFF on input line 3107. Package hyperref Info: Hyper index ON on input line 3110. Package hyperref Info: backreferencing OFF on input line 3117. Package hyperref Info: Link coloring OFF on input line 3122. \Hy@abspage=\count91 \c@Item=\count92 \c@Hfootnote=\count93 ) *hyperref using default driver hpdftex* (/usr/share/texmf-texlive/tex/latex/hyperref/hpdftex.def File: hpdftex.def 2007/02/07 v6.75r Hyperref driver for pdfTeX \Fld@listcount=\count94 ) Package hyperref Info: Option `colorlinks' set `true' on input line 12. (/usr/share/texmf-texlive/tex/latex/graphics/color.sty Package: color 2005/11/14 v1.0j Standard LaTeX Color (DPC) (/etc/texmf/tex/latex/config/color.cfg File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive ) Package color Info: Driver file: pdftex.def on input line 130. ) (/home/ksmani/tex/defs.tex \c@algcounterA=\count95 \c@algcounterB=\count96 \c@algcounterC=\count97 \c@definition=\count98 \c@Assumption=\count99 \c@Remark=\count100 \c@remark=\count101 \c@Exercise=\count102 \c@Corollary=\count103 \c@corollary=\count104 \c@lemma=\count105 \c@proposition=\count106 \c@theorem=\count107 \c@Claim=\count108 \c@claim=\count109 \c@Result=\count110 \c@Observation=\count111 \c@observation=\count112 \c@conjecture=\count113 \c@excounter=\count114 ) (./cc.aux) \openout1 = `cc.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 36. LaTeX Font Info: ... okay on input line 36. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 36. LaTeX Font Info: ... okay on input line 36. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 36. LaTeX Font Info: ... okay on input line 36. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 36. LaTeX Font Info: ... okay on input line 36. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 36. LaTeX Font Info: ... okay on input line 36. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 36. LaTeX Font Info: ... okay on input line 36. LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 36. LaTeX Font Info: ... okay on input line 36. LaTeX Font Info: Try loading font information for OT1+ptm on input line 36. (/usr/share/texmf-texlive/tex/latex/psnfss/ot1ptm.fd File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm. ) Package hyperref Info: Link coloring ON on input line 36. (/usr/share/texmf-texlive/tex/latex/hyperref/nameref.sty Package: nameref 2006/12/27 v2.28 Cross-referencing by name of section (/usr/share/texmf-texlive/tex/latex/oberdiek/refcount.sty Package: refcount 2006/02/20 v3.0 Data extraction from references (HO) ) \c@section@level=\count115 ) LaTeX Info: Redefining \ref on input line 36. LaTeX Info: Redefining \pageref on input line 36. (./cc.out) (./cc.out) \@outlinefile=\write3 \openout3 = `cc.out'. LaTeX Font Info: External font `cmex10' loaded for size (Font) <12> on input line 39. LaTeX Font Info: External font `cmex10' loaded for size (Font) <8> on input line 39. LaTeX Font Info: External font `cmex10' loaded for size (Font) <6> on input line 39. LaTeX Font Info: Try loading font information for U+lasy on input line 39. (/usr/share/texmf-texlive/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 41. LaTeX Font Info: Try loading font information for OT1+pcr on input line 50. (/usr/share/texmf-texlive/tex/latex/psnfss/ot1pcr.fd File: ot1pcr.fd 2001/06/04 font definitions for OT1/pcr. ) LaTeX Font Info: External font `cmex10' loaded for size (Font) <7> on input line 50. LaTeX Font Info: External font `cmex10' loaded for size (Font) <5> on input line 50. [1 {/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] 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 82. 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 122. [2] [3] (./cc.bbl) [4] (./cc.aux) ) Here is how much of TeX's memory you used: 2888 strings out of 94834 39770 string characters out of 1179180 93649 words of memory out of 1500000 5993 multiletter control sequences out of 10000+50000 19351 words of font info for 46 fonts, out of 1200000 for 2000 212 hyphenation exceptions out of 8191 25i,10n,36p,196b,425s stack positions out of 5000i,500n,6000p,200000b,5000s {/usr/share/texmf-texlive/fonts/enc/dvips/b ase/8r.enc} Output written on cc.pdf (4 pages, 87354 bytes). PDF statistics: 192 PDF objects out of 1000 (max. 8388607) 58 named destinations out of 1000 (max. 131072) 193 words of extra memory for PDF output out of 10000 (max. 10000000)