This is pdfeTeX, Version 3.141592-1.30.4-2.2 (Web2C 7.5.5) (format=latex 2006.10.5)  15 JAN 2013 13:39
entering extended mode
**dm2.tex
(./dm2.tex
LaTeX2e <2005/12/01>
Babel <v3.8d> and hyphenation patterns for american, french, german, ngerman, d
utch, italian, norsk, portuges, spanish, swedish, nohyphenation, loaded.
(/usr/local/teTeX/share/texmf.local/tex/latex/base/article.cls
Document Class: article 2005/09/16 v1.4f Standard LaTeX document class
(/usr/local/teTeX/share/texmf.local/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/local/teTeX/share/texmf.tetex/tex/latex/psnfss/times.sty
Package: times 2004/09/15 PSNFSS-v9.2 (SPQR) 
)
(/usr/local/teTeX/share/texmf.local/tex/latex/tools/enumerate.sty
Package: enumerate 1999/03/05 v3.00 enumerate extensions (DPC)
\@enLab=\toks14
)
(/usr/local/teTeX/share/texmf.local/tex/latex/graphics/graphicx.sty
Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)

(/usr/local/teTeX/share/texmf.local/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks15
)
(/usr/local/teTeX/share/texmf.local/tex/latex/graphics/graphics.sty
Package: graphics 2006/02/20 v1.0o Standard LaTeX Graphics (DPC,SPQR)

(/usr/local/teTeX/share/texmf.local/tex/latex/graphics/trig.sty
Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
)
(/usr/local/teTeX/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: dvips.def on input line 90.

(/usr/local/teTeX/share/texmf.local/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/local/teTeX/share/texmf.local/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.
)
(/Users/ksmani/Library/texmf/tex/latex/algorithmic.sty
Package: algorithmic 2006/06/02

Document Style `algorithmic' - environment
(/usr/local/teTeX/share/texmf.local/tex/latex/base/ifthen.sty
Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC)
)
(/usr/local/teTeX/share/texmf.local/tex/latex/tools/calc.sty
Package: calc 2005/08/06 v4.2 Infix arithmetic (KKT,FJ)
\calc@Acount=\count87
\calc@Bcount=\count88
\calc@Adimen=\dimen105
\calc@Bdimen=\dimen106
\calc@Askip=\skip43
\calc@Bskip=\skip44
LaTeX Info: Redefining \setlength on input line 75.
LaTeX Info: Redefining \addtolength on input line 76.
\calc@Ccount=\count89
\calc@Cskip=\skip45
)
\c@ALC@line=\count90
\c@ALC@rem=\count91
\c@ALC@depth=\count92
\ALC@tlm=\skip46
\algorithmicindent=\skip47
)
(/Users/ksmani/Library/texmf/tex/latex/algorithm.sty
Package: algorithm 

Document Style `algorithm' - floating environment
(/usr/local/teTeX/share/texmf.tetex/tex/latex/float/float.sty
Package: float 2001/11/08 v1.3d Float enhancements (AL)
\c@float@type=\count93
\float@exts=\toks16
\float@box=\box26
\@float@everytoks=\toks17
\@floatcapt=\box27
)
\@float@every@algorithm=\toks18
\c@algorithm=\count94
)
(/usr/local/teTeX/share/texmf.tetex/tex/latex/url/url.sty
\Urlmuskip=\muskip10
Package: url 2004/03/15  ver 3.1  Verb mode for urls, etc.
)
(/usr/local/teTeX/share/texmf.tetex/tex/latex/hyperref/hyperref.sty
Package: hyperref 2003/11/30 v6.74m Hypertext links for LaTeX
\@linkdim=\dimen107
\Hy@linkcounter=\count95
\Hy@pagecounter=\count96

(/usr/local/teTeX/share/texmf.tetex/tex/latex/hyperref/pd1enc.def
File: pd1enc.def 2003/11/30 v6.74m Hyperref: PDFDocEncoding definition (HO)
)
(/usr/local/teTeX/share/texmf.tetex/tex/latex/hyperref/hyperref.cfg
File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive and teTeX
)
Package hyperref Info: Hyper figures OFF on input line 1880.
Package hyperref Info: Link nesting OFF on input line 1885.
Package hyperref Info: Hyper index ON on input line 1888.
Package hyperref Info: Plain pages ON on input line 1893.
Package hyperref Info: Backreferencing OFF on input line 1900.

Implicit mode ON; LaTeX internals redefined
Package hyperref Info: Bookmarks ON on input line 2004.
LaTeX Info: Redefining \url on input line 2143.
\Fld@menulength=\count97
\Field@Width=\dimen108
\Fld@charsize=\dimen109
\Choice@toks=\toks19
\Field@toks=\toks20
Package hyperref Info: Hyper figures OFF on input line 2618.
Package hyperref Info: Link nesting OFF on input line 2623.
Package hyperref Info: Hyper index ON on input line 2626.
Package hyperref Info: backreferencing OFF on input line 2633.
Package hyperref Info: Link coloring OFF on input line 2638.
\c@Item=\count98
\c@Hfootnote=\count99
)
*hyperref using default driver hdvips*
(/usr/local/teTeX/share/texmf.tetex/tex/latex/hyperref/hdvips.def
File: hdvips.def 2003/11/30 v6.74m Hyperref driver for dvips

(/usr/local/teTeX/share/texmf.tetex/tex/latex/hyperref/pdfmark.def
File: pdfmark.def 2003/11/30 v6.74m Hyperref definitions for pdfmark specials
\pdf@docset=\toks21
\pdf@box=\box28
\pdf@toks=\toks22
\pdf@defaulttoks=\toks23
\Fld@listcount=\count100
\@outlinefile=\write3
))
Package hyperref Info: Option `colorlinks' set `true' on input line 13.

(/usr/local/teTeX/share/texmf.local/tex/latex/graphics/color.sty
Package: color 2005/11/14 v1.0j Standard LaTeX Color (DPC)

(/usr/local/teTeX/share/texmf.tetex/tex/latex/graphics/color.cfg
File: color.cfg 2005/02/03 v1.3 color configuration of teTeX/TeXLive
)
Package color Info: Driver file: dvips.def on input line 130.

(/usr/local/teTeX/share/texmf.local/tex/latex/graphics/dvipsnam.def
File: dvipsnam.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
))
(/Users/ksmani/Library/texmf/tex/latex/defs.tex
\c@algcounterA=\count101
\c@algcounterB=\count102
\c@algcounterC=\count103
\c@definition=\count104
\c@Assumption=\count105
\c@Remark=\count106
\c@remark=\count107
\c@Exercise=\count108
\c@Corollary=\count109
\c@corollary=\count110
\c@lemma=\count111
\c@proposition=\count112
\c@theorem=\count113
\c@Claim=\count114
\c@claim=\count115
\c@Result=\count116
\c@Observation=\count117
\c@observation=\count118
\c@conjecture=\count119
\c@excounter=\count120
) (./dm2.aux)
\openout1 = `dm2.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 39.
LaTeX Font Info:    ... okay on input line 39.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 39.
LaTeX Font Info:    ... okay on input line 39.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 39.
LaTeX Font Info:    ... okay on input line 39.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 39.
LaTeX Font Info:    ... okay on input line 39.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 39.
LaTeX Font Info:    ... okay on input line 39.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 39.
LaTeX Font Info:    ... okay on input line 39.
LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 39.
LaTeX Font Info:    ... okay on input line 39.
LaTeX Font Info:    Try loading font information for OT1+ptm on input line 39.

(/usr/local/teTeX/share/texmf.tetex/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 39.

(/usr/local/teTeX/share/texmf.tetex/tex/latex/hyperref/nameref.sty
Package: nameref 2003/12/03 v2.21 Cross-referencing by name of section
\c@section@level=\count121
)
LaTeX Info: Redefining \ref on input line 39.
LaTeX Info: Redefining \pageref on input line 39.
 (./dm2.out) (./dm2.out)
\openout3 = `dm2.out'.

LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <17.28> on input line 42.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <12> on input line 42.
LaTeX Font Info:    Try loading font information for U+lasy on input line 42.
 (/usr/local/teTeX/share/texmf.local/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 42.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 42.
LaTeX Font Info:    Try loading font information for OMS+ptm on input line 42.

(/usr/local/teTeX/share/texmf.tetex/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 42.
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 44.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 47.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 47.
LaTeX Font Info:    Try loading font information for OT1+pcr on input line 53.

(/usr/local/teTeX/share/texmf.tetex/tex/latex/psnfss/ot1pcr.fd
File: ot1pcr.fd 2001/06/04 font definitions for OT1/pcr.
) [1

]
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 84.
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 143.
 [2]
(./dm2.bbl) [3] (./dm2.aux) ) 
Here is how much of TeX's memory you used:
 3020 strings out of 95125
 41896 string characters out of 1182938
 2089309 words of memory out of 4544062
 6150 multiletter control sequences out of 10000+50000
 12381 words of font info for 42 fonts, out of 2000000 for 2000
 58 hyphenation exceptions out of 5000
 25i,10n,36p,201b,477s stack positions out of 5000i,500n,6000p,200000b,40000s

Output written on dm2.dvi (3 pages, 22644 bytes).