This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009)
\write18 enabled.
entering extended mode
(./example1.tex
LaTeX2e <2009/09/24>
Babel <v3.8l> and hyphenation patterns for english, usenglishmax, dumylang, noh
yphenation, german-x-2009-06-19, ngerman-x-2009-06-19, ancientgreek, ibycus, ar
abic, basque, bulgarian, catalan, pinyin, coptic, croatian, czech, danish, dutc
h, esperanto, estonian, farsi, finnish, french, galician, german, ngerman, mono
greek, greek, hungarian, icelandic, indonesian, interlingua, irish, italian, ku
rmanji, latin, latvian, lithuanian, mongolian, mongolian2a, bokmal, nynorsk, po
lish, portuguese, romanian, russian, sanskrit, serbian, slovak, slovenian, span
ish, swedish, turkish, ukenglish, ukrainian, uppersorbian, welsh, loaded.
(/usr/local/texlive/2009/texmf-dist/tex/latex/amscls/amsart.cls
Document Class: amsart 2009/07/02 v2.20.1
(/usr/local/texlive/2009/texmf-dist/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `?' option.
(/usr/local/texlive/2009/texmf-dist/tex/latex/amsmath/amstext.sty
(/usr/local/texlive/2009/texmf-dist/tex/latex/amsmath/amsgen.sty))
(/usr/local/texlive/2009/texmf-dist/tex/latex/amsmath/amsbsy.sty)
(/usr/local/texlive/2009/texmf-dist/tex/latex/amsmath/amsopn.sty))
(/usr/local/texlive/2009/texmf-dist/tex/latex/amsfonts/umsa.fd)
(/usr/local/texlive/2009/texmf-dist/tex/latex/amsfonts/amsfonts.sty))
(/usr/local/texlive/2009/texmf-dist/tex/latex/amsfonts/amssymb.sty)
(/usr/local/texlive/2009/texmf-dist/tex/latex/pstricks/pstricks.sty
(/usr/local/texlive/2009/texmf-dist/tex/generic/pstricks/pstricks.tex
`PSTricks' v1.29 <2009/05/19> (tvz)
(/usr/local/texlive/2009/texmf-dist/tex/generic/pstricks/pstricks.con))
(/usr/local/texlive/2009/texmf-dist/tex/latex/xcolor/xcolor.sty
(/usr/local/texlive/2009/texmf-dist/tex/latex/latexconfig/color.cfg)
(/usr/local/texlive/2009/texmf-dist/tex/latex/pdftex-def/pdftex.def)))
(/usr/local/texlive/2009/texmf-dist/tex/latex/datetime/datetime.sty
(/usr/local/texlive/2009/texmf-dist/tex/latex/fmtcount/fmtcount.sty
(/usr/local/texlive/2009/texmf-dist/tex/latex/base/ifthen.sty)
(/usr/local/texlive/2009/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/local/texlive/2009/texmf-dist/tex/latex/fmtcount/fc-english.def)
(/usr/local/texlive/2009/texmf-dist/tex/latex/fmtcount/fc-UKenglish.def)
(/usr/local/texlive/2009/texmf-dist/tex/latex/fmtcount/fc-british.def)
(/usr/local/texlive/2009/texmf-dist/tex/latex/fmtcount/fc-USenglish.def)
(/usr/local/texlive/2009/texmf-dist/tex/latex/fmtcount/fc-spanish.def)
(/usr/local/texlive/2009/texmf-dist/tex/latex/fmtcount/fc-portuges.def)