This is TeX, Version 3.14159 (Web2C 7.3.1) (format=latex 2003.6.20)  11 JUL 2003 10:15
**hare3
(hare3.tex
LaTeX2e <1998/12/01> patch level 1
Babel <v3.6x> and hyphenation patterns for american, french, german, ngerman, n
ohyphenation, loaded.
(/software/tetex-1.0/data/texmf/tex/latex/amslatex/amsart.cls
Document Class: amsart 2000/10/26 v2.08
\linespacing=\dimen102
\normalparindent=\dimen103
\normaltopskip=\skip41
(/software/tetex-1.0/data/texmf/tex/latex/amslatex/amsmath.sty
Package: amsmath 2000/07/18 v2.13 AMS math features
\@mathmargin=\skip42

For additional information on amsmath, use the `?' option.
(/software/tetex-1.0/data/texmf/tex/latex/amslatex/amstext.sty
Package: amstext 2000/06/29 v2.01

(/software/tetex-1.0/data/texmf/tex/latex/amslatex/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0
\@emptytoks=\toks14
\ex@=\dimen104
))
(/software/tetex-1.0/data/texmf/tex/latex/amslatex/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d
\pmbraise@=\dimen105
)
(/software/tetex-1.0/data/texmf/tex/latex/amslatex/amsopn.sty
Package: amsopn 1999/12/14 v2.01 operator names
)
\inf@bad=\count79
LaTeX Info: Redefining \frac on input line 211.
\uproot@=\count80
\leftroot@=\count81
LaTeX Info: Redefining \overline on input line 307.
\classnum@=\count82
\DOTSCASE@=\count83
LaTeX Info: Redefining \ldots on input line 379.
LaTeX Info: Redefining \dots on input line 382.
LaTeX Info: Redefining \cdots on input line 467.
\Mathstrutbox@=\box26
\strutbox@=\box27
\big@size=\dimen106
LaTeX Font Info:    Redeclaring font encoding OML on input line 567.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.
\macc@depth=\count84
\c@MaxMatrixCols=\count85
\dotsspace@=\muskip10
\c@parentequation=\count86
\dspbrk@lvl=\count87
\tag@help=\toks15
\row@=\count88
\column@=\count89
\maxfields@=\count90
\andhelp@=\toks16
\eqnshift@=\dimen107
\alignsep@=\dimen108
\tagshift@=\dimen109
\tagwidth@=\dimen110
\totwidth@=\dimen111
\lineht@=\dimen112
\@envbody=\toks17
\multlinegap=\skip43
\multlinetaggap=\skip44
\mathdisplay@stack=\toks18
LaTeX Info: Redefining \[ on input line 2666.
LaTeX Info: Redefining \] on input line 2667.
)
LaTeX Font Info:    Try loading font information for U+msa on input line 395.

(/software/tetex-1.0/data/texmf/tex/latex/amsfonts/umsa.fd
File: umsa.fd 1995/01/05 v2.2e AMS font definitions
)
(/software/tetex-1.0/data/texmf/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 1997/09/17 v2.2e
\symAMSa=\mathgroup4
\symAMSb=\mathgroup5
LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
(Font)                  U/euf/m/n --> U/euf/b/n on input line 133.
)
\copyins=\insert233
\abstractbox=\box28
\listisep=\skip45
\c@part=\count91
\c@section=\count92
\c@subsection=\count93
\c@subsubsection=\count94
\c@paragraph=\count95
\c@subparagraph=\count96
\c@figure=\count97
\c@table=\count98
\abovecaptionskip=\skip46
\belowcaptionskip=\skip47
\captionindent=\dimen113
\thm@style=\toks19
\thm@bodyfont=\toks20
\thm@headfont=\toks21
\thm@notefont=\toks22
\thm@headpunct=\toks23
\thm@preskip=\skip48
\thm@postskip=\skip49
\thm@headsep=\skip50
\dth@everypar=\toks24
)
(/software/tetex-1.0/data/texmf/tex/latex/graphics/color.sty
Package: color 1999/02/16 v1.0i Standard LaTeX Color (DPC)

(/software/tetex-1.0/data/texmf/tex/latex/config/color.cfg)
Package color Info: Driver file: dvips.def on input line 125.

(/software/tetex-1.0/data/texmf/tex/latex/graphics/dvips.def
File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
)
(/software/tetex-1.0/data/texmf/tex/latex/graphics/dvipsnam.def
File: dvipsnam.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
))
(/software/tetex-1.0/data/texmf/tex/latex/hyperref/hyperref.sty
Package: hyperref 2002/04/20 v6.72o Hypertext links for LaTeX

(/software/tetex-1.0/data/texmf/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks25
)
\@linkdim=\dimen114
\Hy@linkcounter=\count99
\Hy@pagecounter=\count100

(/software/tetex-1.0/data/texmf/tex/latex/hyperref/pd1enc.def
File: pd1enc.def 2002/04/20 v6.72o Hyperref: PDFDocEncoding definition (HO)
)
Package hyperref Info: Option `colorlinks' set `true' on input line 1739.
Package hyperref Info: Bookmarks ON on input line 1797.
Package hyperref Info: Hyper figures OFF on input line 1816.
Package hyperref Info: Link nesting OFF on input line 1821.
Package hyperref Info: Hyper index ON on input line 1824.
Package hyperref Info: Plain pages ON on input line 1829.
Package hyperref Info: Backreferencing OFF on input line 1836.

Implicit mode ON; LaTeX internals redefined
(/software/tetex-1.0/data/texmf.local/tex/latex/uwpkgs/latex2html-98/url.sty
Package: url 1996/02/06  ver 1.1  Verb mode for urls, email addresses, and file
 names
)
LaTeX Info: Redefining \url on input line 2046.
\Fld@menulength=\count101
\Field@Width=\dimen115
\Fld@charsize=\dimen116
\Choice@toks=\toks26
\Field@toks=\toks27
Package hyperref Info: Hyper figures OFF on input line 2504.
Package hyperref Info: Link nesting OFF on input line 2509.
Package hyperref Info: Hyper index ON on input line 2512.
Package hyperref Info: backreferencing OFF on input line 2519.
Package hyperref Info: Link coloring ON on input line 2522.
\c@Item=\count102
\c@Hfootnote=\count103
)
*hyperref using default driver hypertex*
(/software/tetex-1.0/data/texmf/tex/latex/hyperref/hypertex.def
File: hypertex.def 2002/04/20 v6.72o Hyperref driver for HyperTeX specials
)
(/software/tetex-1.0/data/texmf/tex/latex/misc/fullpage.sty
Style Option FULLPAGE Version 2 as of 15 Dec 1988
) (/software/tetex-1.0/data/texmf/tex/latex/misc/float.sty
Package: float 1999/05/29 v1.2d Float enhancements (AL)
\c@float@type=\count104
\float@box=\box29
\@floatcapt=\box30
)
(/software/tetex-1.0/data/texmf/tex/generic/misc/psfig.sty
\@unused=\write3
\ps@stream=\read1
\p@intvaluex=\dimen117
\p@intvaluey=\dimen118

psfig/tex 1.10-dvips
) (/software/tetex-1.0/data/texmf/tex/latex/graphics/graphics.sty
Package: graphics 1999/02/16 v1.0l Standard LaTeX Graphics (DPC,SPQR)

(/software/tetex-1.0/data/texmf/tex/latex/graphics/trig.sty
Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
)
(/software/tetex-1.0/data/texmf/tex/latex/config/graphics.cfg)
Package graphics Info: Driver file: dvips.def on input line 80.
)
(/software/tetex-1.0/data/texmf/tex/latex/amsfonts/amssymb.sty
Package: amssymb 1996/11/03 v2.2b
)
(/software/tetex-1.0/data/texmf/tex/latex/base/latexsym.sty
Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols)
\symlasy=\mathgroup6
LaTeX Font Info:    Overwriting symbol font `lasy' in version `bold'
(Font)                  U/lasy/m/n --> U/lasy/b/n on input line 29.
)
(/software/tetex-1.0/data/texmf/tex/plain/dvips/epsf.tex
This is `epsf.tex' v2.7k <10 July 1997>
\epsffilein=\read2
\epsfframemargin=\dimen119
\epsfframethickness=\dimen120
\epsfrsize=\dimen121
\epsftmp=\dimen122
\epsftsize=\dimen123
\epsfxsize=\dimen124
\epsfysize=\dimen125
\pspoints=\dimen126
\epsfnoopenhelp=\toks28
) (/software/tetex-1.0/data/texmf/tex/latex/tools/enumerate.sty
Package: enumerate 1999/03/05 v3.00 enumerate extensions (DPC)
\@enLab=\toks29
)
(/software/tetex-1.0/data/texmf/tex/latex/graphics/graphicx.sty
Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)
\Gin@req@height=\dimen127
\Gin@req@width=\dimen128
)
(/software/tetex-1.0/data/texmf/tex/latex/misc/comment.sty
\CommentStream=\write4

Excluding comment 'comment')
\c@thm=\count105
\c@defn=\count106
\c@lem=\count107
\c@cor=\count108
\c@ex=\count109
 (hare3.aux)
\openout1 = `hare3.aux'.

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

(/software/tetex-1.0/data/texmf/tex/latex/amsfonts/umsa.fd
File: umsa.fd 1995/01/05 v2.2e AMS font definitions
)
LaTeX Font Info:    Try loading font information for U+msb on input line 71.

(/software/tetex-1.0/data/texmf/tex/latex/amsfonts/umsb.fd
File: umsb.fd 1995/01/05 v2.2e AMS font definitions
)
LaTeX Font Info:    Try loading font information for U+lasy on input line 71.

(/software/tetex-1.0/data/texmf/tex/latex/base/ulasy.fd
File: ulasy.fd 1998/08/17 v2.2eLaTeX symbol font definitions
)
Package hyperref Info: Link coloring ON on input line 71.

(/software/tetex-1.0/data/texmf/tex/latex/hyperref/nameref.sty
Package: nameref 2001/01/27 v2.19 Cross-referencing by name of section
\c@section@level=\count110
)
LaTeX Info: Redefining \ref on input line 71.
LaTeX Info: Redefining \pageref on input line 71.
 [1] [2]
Underfull \vbox (badness 4193) has occurred while \output is active []

 [3]
[4] [5] [6] [7] (hare3.aux) ) 
Here is how much of TeX's memory you used:
 3964 strings out of 10901
 48852 string characters out of 272121
 294342 words of memory out of 513387
 6708 multiletter control sequences out of 10000+30000
 13441 words of font info for 55 fonts, out of 400000 for 1000
 175 hyphenation exceptions out of 1000
 34i,9n,40p,238b,333s stack positions out of 300i,100n,500p,300000b,4000s

Output written on hare3.dvi (7 pages, 34244 bytes).