This is pdfTeX, Version 3.14159-1.10b (Web2C 7.4.5) (format=pdflatex 2004.8.20)  23 AUG 2004 10:25
**at
(./at.tex{/usr/share/texmf/pdftex/config/pdftex.cfg}
LaTeX2e <2001/06/01>
Babel <v3.7h> and hyphenation patterns for american, french, ngerman, nohyphena
tion, 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 2002/06/19 v0.03k 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
)
(./at.aux)
\openout1 = `at.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
\minusone=\count109
\thousandpoint=\dimen107
\emptytoks=\toks16
\nextbox=\box27
\nextdepth=\dimen108
\everyline=\toks17
\!!counta=\count110
\!!countb=\count111
\recursecounter=\count112
)
loading : Context Support Macros / PDF
\nofMPsegments=\count113
\nofMParguments=\count114
\everyMPtoPDFconversion=\toks18
)
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <12> on input line 33.
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:    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)              <7> on input line 39.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 39.
 [1

{/usr/share/texmf/dvips/config/pdftex.map}]
Underfull \hbox (badness 10000) in paragraph at lines 112--115

 []

(./at.bbl [2]) [3] (./at.aux) ) 
Here is how much of TeX's memory you used:
 1066 strings out of 95444
 12502 string characters out of 1190386
 60201 words of memory out of 1000001
 4089 multiletter control sequences out of 10000+50000
 9045 words of font info for 36 fonts, out of 500000 for 1000
 14 hyphenation exceptions out of 1000
 25i,7n,19p,196b,269s stack positions out of 1500i,500n,5000p,200000b,5000s
 37 PDF objects out of 300000
 0 named destinations out of 131072
 0 words of extra memory for PDF output out of 65536
{/usr/share/texmf/dvips/tetex/74afc74c.enc}</usr
/share/texmf/fonts/type1/bluesky/cm/cmti10.pfb>{/usr/share/texmf/dvips/tetex/aa
e443f0.enc}</usr/share/texmf/fonts/type1/bluesky/cm/cmmi10.pfb>{/usr/share/texm
f/dvips/tetex/f7b6d320.enc}</usr/share/texmf/fonts/type1/bluesky/cm/cmbx10.pfb>
{/usr/share/texmf/dvips/tetex/bbad153f.enc}</usr/share/texmf/fonts/type1/bluesk
y/cm/cmsy10.pfb>{/usr/share/texmf/dvips/tetex/09fbbfac.enc}</usr/share/texmf/fo
nts/type1/bluesky/cm/cmtt10.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmr10.
pfb></usr/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 at.pdf (3 pages, 70642 bytes).