This is TeX, Version 3.14159 (Web2C 7.3beta8) (format=latex 2000.7.5)  14 JUN 2001 15:53
**\nonstopmode\input{polya.tex}
(polya.tex (/net/prod/appl/tex/share/texmf/tex/latex/amslatex/amsart.cls
Document Class: amsart 1997/03/26 v1.2r
\linespacing=\dimen102
\normalparindent=\dimen103
\normaltopskip=\skip41
(/net/prod/appl/tex/share/texmf/tex/latex/amslatex/amsgen.sty
File: amsgen 1996/10/29 v1.2b
\@emptytoks=\toks14
\ex@=\dimen104
)
(/net/prod/appl/tex/share/texmf/tex/latex/amslatex/amsmath.sty
Package: amsmath 1997/03/20 v1.2d AMS math features
\@mathmargin=\skip42

(/net/prod/appl/tex/share/texmf/tex/latex/amslatex/amstext.sty
Package: amstext 1996/10/28 v1.2b

(/net/prod/appl/tex/share/texmf/tex/latex/amslatex/amsgen.sty
File: amsgen 1996/10/29 v1.2b
\@emptytoks=\toks15
\ex@=\dimen105
))
(/net/prod/appl/tex/share/texmf/tex/latex/amslatex/amsbsy.sty
Package: amsbsy 1996/10/28 v1.2b
\pmbraise@=\dimen106
)
(/net/prod/appl/tex/share/texmf/tex/latex/amslatex/amsopn.sty
Package: amsopn 1996/10/28 v1.2b operator names
)
LaTeX Info: Redefining \frac on input line 188.
\uproot@=\count79
\leftroot@=\count80
\classnum@=\count81
\DOTSCASE@=\count82
LaTeX Info: Redefining \dots on input line 335.
LaTeX Info: Redefining \ldots on input line 418.
LaTeX Info: Redefining \cdots on input line 422.
\Mathstrutbox@=\box26
\strutbox@=\box27
\big@size=\dimen107
LaTeX Font Info:    Redeclaring font encoding OML on input line 500.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 501.
\skewcharcount@=\count83
\familycount@=\count84
\pointcount@=\count85
\accentdimen@=\dimen108
\accentmu@=\count86
\minaw@=\dimen109
\c@MaxMatrixCols=\count87
\dotsspace@=\muskip10
\c@parentequation=\count88
\dspbrk@lvl=\count89
\tag@help=\toks16
\row@=\count90
\column@=\count91
\maxfields@=\count92
\andhelp@=\toks17
\eqnshift@=\dimen110
\alignsep@=\dimen111
\tagshift@=\dimen112
\tagwidth@=\dimen113
\totwidth@=\dimen114
\lineht@=\dimen115
\@envbody=\toks18
\multlinegap=\skip43
\multlinetaggap=\skip44
)
LaTeX Font Info:    Try loading font information for U+msa on input line 368.

(/net/prod/appl/tex/share/texmf/tex/latex/amsfonts/umsa.fd
File: Umsa.fd 1995/01/05 v2.2e AMS font definitions
)
(/net/prod/appl/tex/share/texmf/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 1995/02/01 v2.2b
\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 128.
)
\copyins=\insert233
\abstractbox=\box28
\listisep=\skip45
\c@part=\count93
\c@section=\count94
\c@subsection=\count95
\c@subsubsection=\count96
\c@paragraph=\count97
\c@figure=\count98
\c@table=\count99
\abovecaptionskip=\skip46
\belowcaptionskip=\skip47
\captionindent=\dimen116

(/net/prod/appl/tex/share/texmf/tex/latex/amslatex/amsthm.sty
Package: amsthm 1996/10/24 v1.2d
\thm@style=\toks19
\thm@bodyfont=\toks20
\thm@headfont=\toks21
\thm@notefont=\toks22
\thm@headpunct=\toks23
\thm@preskip=\skip48
\thm@postskip=\skip49
))
(/net/prod/appl/tex/share/texmf/tex/latex/base/inputenc.sty
Package: inputenc 1999/09/17 v0.992 Input encoding file 

(/net/prod/appl/tex/share/texmf/tex/latex/base/latin1.def
File: latin1.def 1999/09/17 v0.992 Input encoding file 
))
(/net/prod/appl/tex/share/texmf/tex/latex/babel/babel.sty
Package: babel 1999/09/09 v3.6Z The Babel package

(/net/prod/appl/tex/share/texmf/tex/latex/babel/danish.ldf
Language: danish 1999/04/11 v1.3l Danish support from the babel system

(/net/prod/appl/tex/share/texmf/tex/latex/babel/babel.def
File: babel.def 1999/04/09 v3.6p Babel common definitions
\babel@savecnt=\count100
\U@D=\dimen117
)
Package babel Info: Making " an active character on input line 61.
))
(/net/prod/appl/tex/share/texmf/tex/latex/amsfonts/amssymb.sty
Package: amssymb 1995/02/01 v2.2a
)
(/net/prod/appl/tex/share/texmf/tex/latex/misc/A4.sty
Substyle for A4 sized documents. Released 21 April 1988
)
\c@lemma=\count101
 (polya.aux)
\openout1 = `polya.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 40.
LaTeX Font Info:    ... okay on input line 40.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 40.
LaTeX Font Info:    ... okay on input line 40.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 40.
LaTeX Font Info:    ... okay on input line 40.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 40.
LaTeX Font Info:    ... okay on input line 40.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 40.
LaTeX Font Info:    ... okay on input line 40.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 40.
LaTeX Font Info:    ... okay on input line 40.
LaTeX Font Info:    Try loading font information for U+msa on input line 40.
 (/net/prod/appl/tex/share/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 40.

(/net/prod/appl/tex/share/texmf/tex/latex/amsfonts/umsb.fd
File: Umsb.fd 1995/01/05 v2.2e AMS font definitions
) [1] (polya.aux) ) 
Here is how much of TeX's memory you used:
 1671 strings out of 10906
 17785 string characters out of 72277
 74051 words of memory out of 263001
 4449 multiletter control sequences out of 10000+0
 9980 words of font info for 39 fonts, out of 200000 for 1000
 177 hyphenation exceptions out of 1000
 35i,18n,26p,291b,211s stack positions out of 1500i,100n,500p,30000b,4000s

Output written on polya.dvi (1 page, 5956 bytes).