This is e-TeX, Version 3.14159-2.1 (Web2C 7.4.5) (format=latex 2005.12.12) 13 DEC 2005 12:54 entering extended mode **finsol (./finsol.tex LaTeX2e <2001/06/01> Babel and hyphenation patterns for american, french, german, ngerman, b ahasa, basque, catalan, croatian, czech, danish, dutch, finnish, greek, iceland ic, irish, italian, latin, magyar, norsk, norsk, portuges, romanian, russian, s lovak, slovene, spanish, swedish, turkish, ukrainian, nohyphenation, loaded. (/usr/share/texmf/tex/latex/base/article.cls Document Class: article 2001/04/21 v1.4e Standard LaTeX document class (/usr/share/texmf/tex/latex/base/size10.clo File: size10.clo 2001/04/21 v1.4e 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/tex/latex/graphics/graphicx.sty Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) (/usr/share/texmf/tex/latex/graphics/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks14 ) (/usr/share/texmf/tex/latex/graphics/graphics.sty Package: graphics 2001/07/07 v1.0n Standard LaTeX Graphics (DPC,SPQR) (/usr/share/texmf/tex/latex/graphics/trig.sty Package: trig 1999/03/16 v1.09 sin cos tan (DPC) ) (/usr/share/texmf/tex/latex/config/graphics.cfg File: graphics.cfg 2001/08/31 v1.1 graphics configuration of teTeX/TeXLive ) Package graphics Info: Driver file: dvips.def on input line 80. (/usr/share/texmf/tex/latex/graphics/dvips.def File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) )) \Gin@req@height=\dimen103 \Gin@req@width=\dimen104 ) (/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. ) (/home/ksmani/tex/algorithm.sty Package: algorithm Document Style `algorithm' - floating environment (/home/ksmani/tex/float.sty Style-Option: `float' 1.1c 18 Dec 92 (AL) \float@type=\count87 \float@box=\box26 \@floatcapt=\box27 ) (/usr/share/texmf/tex/latex/base/ifthen.sty Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC) ) \c@algorithm=\count88 ) (/home/ksmani/tex/algorithmic.sty Package: algorithmic Document Style `algorithmic' - environment \c@ALC@line=\count89 \c@ALC@rem=\count90 \ALC@tlm=\skip43 ) (/usr/share/texmf/tex/latex/tools/enumerate.sty Package: enumerate 1999/03/05 v3.00 enumerate extensions (DPC) \@enLab=\toks15 ) (/usr/share/texmf/tex/latex/psnfss/times.sty Package: times 2002/09/08 PSNFSS-v9.0a (SPQR) ) (/home/ksmani/tex/defs.tex \c@algcounterA=\count91 \c@algcounterB=\count92 \c@algcounterC=\count93 \c@definition=\count94 \c@Assumption=\count95 \c@Remark=\count96 \c@remark=\count97 \c@Exercise=\count98 \c@Corollary=\count99 \c@corollary=\count100 \c@lemma=\count101 \c@proposition=\count102 \c@theorem=\count103 \c@Claim=\count104 \c@claim=\count105 \c@Result=\count106 \c@Observation=\count107 \c@observation=\count108 \c@conjecture=\count109 \c@excounter=\count110 ) (./finsol.aux) \openout1 = `finsol.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. LaTeX Font Info: Try loading font information for OT1+ptm on input line 34. (/usr/share/texmf/tex/latex/psnfss/ot1ptm.fd File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm. ) LaTeX Font Info: External font `cmex10' loaded for size (Font) <12> on input line 36. LaTeX Font Info: External font `cmex10' loaded for size (Font) <8> on input line 36. LaTeX Font Info: External font `cmex10' loaded for size (Font) <6> on input line 36. LaTeX Font Info: Try loading font information for U+lasy on input line 36. (/usr/share/texmf/tex/latex/base/ulasy.fd File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions ) LaTeX Font Info: Try loading font information for OMS+ptm on input line 36. (/usr/share/texmf/tex/latex/psnfss/omsptm.fd File: omsptm.fd ) LaTeX Font Info: Font shape `OMS/ptm/m/n' in size <12> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 36. 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 39. 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 42. LaTeX Font Info: External font `cmex10' loaded for size (Font) <7> on input line 45. LaTeX Font Info: External font `cmex10' loaded for size (Font) <5> on input line 45. [1 ] 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 163. [2] Overfull \hbox (4.43457pt too wide) in paragraph at lines 185--189 []\OT1/ptm/b/n/10 Sorting and Search-ing: \OT1/ptm/m/n/10 Ex-plain briefly how Ran-dom-ized Quick-s-e-lect se-lects the $\OML/cmm/m/it/10 k[]$ \OT1/ptm/m/n/10 small-est el-e-ment of an [] [] [3] No file finsol.bbl. [4] (./finsol.aux) ) Here is how much of TeX's memory you used: 1012 strings out of 95370 11684 string characters out of 1188184 62295 words of memory out of 1000001 4078 multiletter control sequences out of 10000+50000 12706 words of font info for 41 fonts, out of 500000 for 1000 198 hyphenation exceptions out of 1000 25i,7n,19p,200b,674s stack positions out of 1500i,500n,5000p,200000b,5000s Output written on finsol.dvi (4 pages, 17788 bytes).