This is pdfTeX, Version 3.14159-1.00a-pretest-20011114-ojmw (Web2C 7.3.7) (format=pdflatex 2003.2.5)  4 SEP 2003 07:01
**algos.tex
(./algos.tex{/usr/share/texmf/pdftex/config/pdftex.cfg}
LaTeX2e <2001/06/01>
Babel <v3.7h> and hyphenation patterns for american, french, german, ngerman, n
ohyphenation, 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: pdftex.def on input line 80.

(/usr/share/texmf/tex/latex/graphics/pdftex.def
File: pdftex.def 2001/11/29 v0.03i graphics/color for pdftex
\Gread@gobject=\count87
))
\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/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@Result=\count102
\c@Observation=\count103
\c@observation=\count104
\c@conjecture=\count105
\c@excounter=\count106
)
(./algos.aux)
\openout1 = `algos.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 31.
LaTeX Font Info:    ... okay on input line 31.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 31.
LaTeX Font Info:    ... okay on input line 31.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 31.
LaTeX Font Info:    ... okay on input line 31.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 31.
LaTeX Font Info:    ... okay on input line 31.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 31.
LaTeX Font Info:    ... okay on input line 31.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 31.
LaTeX Font Info:    ... okay on input line 31.
 (/usr/share/texmf/tex/context/base/supp-pdf.tex
(/usr/share/texmf/tex/context/base/supp-mis.tex
loading : Context Support Macros / Missing
\protectiondepth=\count107
\scratchcounter=\count108
\scratchtoks=\toks15
\scratchdimen=\dimen105
\scratchskip=\skip43
\scratchmuskip=\muskip10
\scratchbox=\box26
\scratchread=\read1
\scratchwrite=\write3
\zeropoint=\dimen106
\nextbox=\box27
\nextdepth=\dimen107
\everyline=\toks16
\!!counta=\count109
\!!countb=\count110
\recursecounter=\count111
)
loading : Context Support Macros / PDF
\nofMPsegments=\count112
\nofMParguments=\count113
\everyMPtoPDFconversion=\toks17
)
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <17.28> on input line 33.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <12> on input line 33.
LaTeX Font Info:    Try loading font information for U+lasy on input line 33.
 (/usr/share/texmf/tex/latex/base/ulasy.fd
File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions
)
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <8> on input line 33.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 33.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 51.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 51.
 [1

{/usr/share/texmf/dvips/config/pdftex.map}] (./algos.bbl [2]) [3] (./algos.aux)
 ) 
Here is how much of TeX's memory you used:
 1028 strings out of 10428
 12166 string characters out of 65382
 59904 words of memory out of 263001
 4051 multiletter control sequences out of 10000+0
 9459 words of font info for 38 fonts, out of 400000 for 1000
 14 hyphenation exceptions out of 1000
 25i,7n,19p,203b,267s stack positions out of 300i,100n,500p,50000b,4000s
</usr/share/texmf/fonts/type1/bluesky/cm/cmti10.pfb></usr/share/texmf/fonts/t
ype1/bluesky/cm/cmbx10.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmtt10.pfb>
</usr/share/texmf/fonts/type1/bluesky/cm/cmsy10.pfb></usr/share/texmf/fonts/typ
e1/bluesky/cm/cmmi10.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmr10.pfb></u
sr/share/texmf/fonts/type1/bluesky/cm/cmbx12.pfb></usr/share/texmf/fonts/type1/
bluesky/cm/cmr12.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmr17.pfb>
Output written on algos.pdf (3 pages, 72674 bytes).