This is pdfTeX, Version 3.1415926-1.40.10 (MiKTeX 2.8) (preloaded format=latex 2011.8.12)  3 JAN 2012 17:43
entering extended mode
**G:/laptop*backup/dropbox/my*papers/with*steve/PropR3.tex
("G:/laptop backup/dropbox/my papers/with steve/PropR3.tex"
LaTeX2e <2009/09/24>
Babel <v3.8l> and hyphenation patterns for english, dumylang, nohyphenation, ge
rman, ngerman, german-x-2009-06-19, ngerman-x-2009-06-19, french, loaded.
("C:\Program Files\MiKTeX 2.8\tex\latex\ams\classes\amsart.cls"
Document Class: amsart 2009/07/02 v2.20.1
\linespacing=\dimen102
\normalparindent=\dimen103
\normaltopskip=\skip41
("C:\Program Files\MiKTeX 2.8\tex\latex\ams\math\amsmath.sty"
Package: amsmath 2000/07/18 v2.13 AMS math features
\@mathmargin=\skip42

For additional information on amsmath, use the `?' option.
("C:\Program Files\MiKTeX 2.8\tex\latex\ams\math\amstext.sty"
Package: amstext 2000/06/29 v2.01

("C:\Program Files\MiKTeX 2.8\tex\latex\ams\math\amsgen.sty"
File: amsgen.sty 1999/11/30 v2.0
\@emptytoks=\toks14
\ex@=\dimen104
))
("C:\Program Files\MiKTeX 2.8\tex\latex\ams\math\amsbsy.sty"
Package: amsbsy 1999/11/29 v1.2d
\pmbraise@=\dimen105
)
("C:\Program Files\MiKTeX 2.8\tex\latex\ams\math\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 388.

("C:\Program Files\MiKTeX 2.8\tex\latex\amsfonts\umsa.fd"
File: umsa.fd 2009/06/22 v3.00 AMS symbols A
)
("C:\Program Files\MiKTeX 2.8\tex\latex\amsfonts\amsfonts.sty"
Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support
\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 96.
)
\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
)
("C:\Documents and Settings\naor\Application Data\MiKTeX\2.8\tex\latex\preprint
\fullpage.sty"
Package: fullpage 1999/02/23 1.1 (PWD)
\FP@margin=\skip51
) ("C:\Program Files\MiKTeX 2.8\tex\latex\hyperref\hyperref.sty"
Package: hyperref 2009/10/09 v6.79a Hypertext links for LaTeX

("C:\Program Files\MiKTeX 2.8\tex\latex\graphics\keyval.sty"
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks25
)
("C:\Program Files\MiKTeX 2.8\tex\generic\oberdiek\ifpdf.sty"
Package: ifpdf 2009/04/10 v2.0 Provides the ifpdf switch (HO)
Package ifpdf Info: pdfTeX in pdf mode not detected.
)
("C:\Program Files\MiKTeX 2.8\tex\generic\oberdiek\ifvtex.sty"
Package: ifvtex 2008/11/04 v1.4 Switches for detecting VTeX and its modes (HO)
Package ifvtex Info: VTeX not detected.
)
("C:\Program Files\MiKTeX 2.8\tex\latex\ifxetex\ifxetex.sty"
Package: ifxetex 2009/01/23 v0.5 Provides ifxetex conditional
)
("C:\Program Files\MiKTeX 2.8\tex\latex\oberdiek\hycolor.sty"
Package: hycolor 2008/09/08 v1.4 Code for color options of hyperref/bookmark (H
O)

("C:\Program Files\MiKTeX 2.8\tex\latex\oberdiek\xcolor-patch.sty"
Package: xcolor-patch 2008/09/08 xcolor patch
))
\@linkdim=\dimen114
\Hy@linkcounter=\count99
\Hy@pagecounter=\count100

("C:\Program Files\MiKTeX 2.8\tex\latex\hyperref\pd1enc.def"
File: pd1enc.def 2009/10/09 v6.79a Hyperref: PDFDocEncoding definition (HO)
)
("C:\Program Files\MiKTeX 2.8\tex\generic\oberdiek\etexcmds.sty"
Package: etexcmds 2007/12/12 v1.2 Prefix for e-TeX command names (HO)

("C:\Program Files\MiKTeX 2.8\tex\generic\oberdiek\infwarerr.sty"
Package: infwarerr 2007/09/09 v1.2 Providing info/warning/message (HO)
)
Package etexcmds Info: Could not find \expanded.
(etexcmds)             That can mean that you are not using pdfTeX 1.50 or
(etexcmds)             that some package has redefined \expanded.
(etexcmds)             In the latter case, load this package earlier.
)
("C:\Program Files\MiKTeX 2.8\tex\latex\00miktex\hyperref.cfg"
File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive
)
("C:\Program Files\MiKTeX 2.8\tex\latex\oberdiek\kvoptions.sty"
Package: kvoptions 2009/08/13 v3.4 Keyval support for LaTeX options (HO)

("C:\Program Files\MiKTeX 2.8\tex\generic\oberdiek\kvsetkeys.sty"
Package: kvsetkeys 2009/07/30 v1.5 Key value parser with default handler suppor
t (HO)
))
Package hyperref Info: Hyper figures OFF on input line 2975.
Package hyperref Info: Link nesting OFF on input line 2980.
Package hyperref Info: Hyper index ON on input line 2983.
Package hyperref Info: Plain pages OFF on input line 2990.
Package hyperref Info: Backreferencing OFF on input line 2995.

Implicit mode ON; LaTeX internals redefined
Package hyperref Info: Bookmarks ON on input line 3191.
("C:\Program Files\MiKTeX 2.8\tex\latex\ltxmisc\url.sty"
\Urlmuskip=\muskip11
Package: url 2006/04/12  ver 3.3  Verb mode for urls, etc.
)
LaTeX Info: Redefining \url on input line 3428.

("C:\Program Files\MiKTeX 2.8\tex\generic\oberdiek\bitset.sty"
Package: bitset 2007/09/28 v1.0 Data type bit set (HO)

("C:\Program Files\MiKTeX 2.8\tex\generic\oberdiek\intcalc.sty"
Package: intcalc 2007/09/27 v1.1 Expandable integer calculations (HO)
)
("C:\Program Files\MiKTeX 2.8\tex\generic\oberdiek\bigintcalc.sty"
Package: bigintcalc 2007/11/11 v1.1 Expandable big integer calculations (HO)

("C:\Program Files\MiKTeX 2.8\tex\generic\oberdiek\pdftexcmds.sty"
Package: pdftexcmds 2009/09/23 v0.6 LuaTeX support for pdfTeX utility functions
 (HO)

("C:\Program Files\MiKTeX 2.8\tex\generic\oberdiek\ifluatex.sty"
Package: ifluatex 2009/04/17 v1.2 Provides the ifluatex switch (HO)
Package ifluatex Info: LuaTeX not detected.
)
("C:\Program Files\MiKTeX 2.8\tex\generic\oberdiek\ltxcmds.sty"
Package: ltxcmds 2009/08/05 v1.0 Some LaTeX kernel commands for general use (HO
)
)
Package pdftexcmds Info: LuaTeX not detected.
Package pdftexcmds Info: \pdf@primitive is available.
Package pdftexcmds Info: \pdf@ifprimitive is available.
)))
\Fld@menulength=\count101
\Field@Width=\dimen115
\Fld@charsize=\dimen116
\Field@toks=\toks26
Package hyperref Info: Hyper figures OFF on input line 4377.
Package hyperref Info: Link nesting OFF on input line 4382.
Package hyperref Info: Hyper index ON on input line 4385.
Package hyperref Info: backreferencing OFF on input line 4392.
Package hyperref Info: Link coloring OFF on input line 4397.
Package hyperref Info: Link coloring with OCG OFF on input line 4402.
Package hyperref Info: PDF/A mode OFF on input line 4407.

("C:\Program Files\MiKTeX 2.8\tex\generic\oberdiek\atbegshi.sty"
Package: atbegshi 2008/07/31 v1.9 At begin shipout hook (HO)
)
\Hy@abspage=\count102
\c@Item=\count103
\c@Hfootnote=\count104
)
*hyperref using default driver hdvips*
("C:\Program Files\MiKTeX 2.8\tex\latex\hyperref\hdvips.def"
File: hdvips.def 2009/10/09 v6.79a Hyperref driver for dvips

("C:\Program Files\MiKTeX 2.8\tex\latex\hyperref\pdfmark.def"
File: pdfmark.def 2009/10/09 v6.79a Hyperref definitions for pdfmark specials
\pdf@docset=\toks27
\pdf@box=\box29
\pdf@toks=\toks28
\pdf@defaulttoks=\toks29
\Fld@listcount=\count105
))
\c@theorem=\count106
\c@conj=\count107

("C:\Program Files\MiKTeX 2.8\tex\latex\graphics\graphicx.sty"
Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)

("C:\Program Files\MiKTeX 2.8\tex\latex\graphics\graphics.sty"
Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR)

("C:\Program Files\MiKTeX 2.8\tex\latex\graphics\trig.sty"
Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
)
("C:\Program Files\MiKTeX 2.8\tex\latex\00miktex\graphics.cfg"
File: graphics.cfg 2007/01/18 v1.5 graphics configuration of teTeX/TeXLive
)
Package graphics Info: Driver file: dvips.def on input line 91.

("C:\Program Files\MiKTeX 2.8\tex\latex\graphics\dvips.def"
File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
))
\Gin@req@height=\dimen117
\Gin@req@width=\dimen118
)
("C:\Program Files\MiKTeX 2.8\tex\latex\graphics\color.sty"
Package: color 2005/11/14 v1.0j Standard LaTeX Color (DPC)

("C:\Program Files\MiKTeX 2.8\tex\latex\00miktex\color.cfg"
File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive
)
Package color Info: Driver file: dvips.def on input line 130.

("C:\Program Files\MiKTeX 2.8\tex\latex\graphics\dvipsnam.def"
File: dvipsnam.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
))
("G:\laptop backup\dropbox\my papers\with steve\subfigure.sty"
Package: subfigure 1998/01/27 v2.1 subfigure package

Package: subfigure 1998/01/27 v2.1F (beta)
\c@subfigure=\count108
\c@lofdepth=\count109
\c@subtable=\count110
\c@lotdepth=\count111

("C:\Documents and Settings\naor\Application Data\MiKTeX\2.8\tex\latex\subfigur
e\subfigure.cfg")) ("C:\Program Files\MiKTeX 2.8\tex\latex\amsfonts\amssymb.sty
"
Package: amssymb 2009/06/22 v3.00
) ("C:\Program Files\MiKTeX 2.8\tex\latex\jknappen\mathrsfs.sty"
Package: mathrsfs 1996/01/01 Math RSFS package v1.0 (jk)
\symrsfs=\mathgroup6
)
("C:\Program Files\MiKTeX 2.8\tex\latex\oberdiek\colonequals.sty"
Package: colonequals 2006/08/01 v1.0 Colon equals symbols (HO)
)
\c@assumption=\count112

("G:\laptop backup\dropbox\my papers\with steve\PropR3.aux")
LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 78.
LaTeX Font Info:    ... okay on input line 78.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 78.
LaTeX Font Info:    ... okay on input line 78.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 78.
LaTeX Font Info:    ... okay on input line 78.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 78.
LaTeX Font Info:    ... okay on input line 78.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 78.
LaTeX Font Info:    ... okay on input line 78.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 78.
LaTeX Font Info:    ... okay on input line 78.
LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 78.
LaTeX Font Info:    ... okay on input line 78.
LaTeX Font Info:    Try loading font information for U+msa on input line 78.

("C:\Program Files\MiKTeX 2.8\tex\latex\amsfonts\umsa.fd"
File: umsa.fd 2009/06/22 v3.00 AMS symbols A
)
LaTeX Font Info:    Try loading font information for U+msb on input line 78.

("C:\Program Files\MiKTeX 2.8\tex\latex\amsfonts\umsb.fd"
File: umsb.fd 2009/06/22 v3.00 AMS symbols B
)
LaTeX Font Info:    Try loading font information for U+rsfs on input line 78.

("C:\Program Files\MiKTeX 2.8\tex\latex\jknappen\ursfs.fd"
File: ursfs.fd 1998/03/24 rsfs font definition file (jk)
)
Package hyperref Info: Link coloring OFF on input line 78.

("C:\Program Files\MiKTeX 2.8\tex\latex\hyperref\nameref.sty"
Package: nameref 2007/05/29 v2.31 Cross-referencing by name of section

("C:\Program Files\MiKTeX 2.8\tex\latex\oberdiek\refcount.sty"
Package: refcount 2008/08/11 v3.1 Data extraction from references (HO)
)
\c@section@level=\count113
)
LaTeX Info: Redefining \ref on input line 78.
LaTeX Info: Redefining \pageref on input line 78.

("G:\laptop backup\dropbox\my papers\with steve\PropR3.out")
("G:\laptop backup\dropbox\my papers\with steve\PropR3.out")
\@outlinefile=\write3
\AtBeginShipoutBox=\box30


Class amsart Warning: Abstract should precede \maketitle in AMS document classe
s; reported on input line 97.

File: prop5.eps Graphic file (type eps)
<prop5.eps> [1] [2] [3]
Underfull \vbox (badness 10000) has occurred while \output is active []

 [4]
[5]
Underfull \vbox (badness 10000) has occurred while \output is active []

 [6]
("G:\laptop backup\dropbox\my papers\with steve\fig1a.eps_tex"
File: fig1a.eps Graphic file (type eps)
 <fig1a.eps>)
("G:\laptop backup\dropbox\my papers\with steve\fig1b.eps_tex"
File: fig1b.eps Graphic file (type eps)
 <fig1b.eps>)
Package hyperref Info: bookmark level for unknown subfigure defaults to 0 on in
put line 340.

[7] [8] [9] [10] [11]
("G:\laptop backup\dropbox\my papers\with steve\fig2.eps_tex"
File: fig2.eps Graphic file (type eps)
 <fig2.eps>)
[12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26]
[27] [28] [29]
Underfull \vbox (badness 10000) has occurred while \output is active []

 [30]
[31] ("G:\laptop backup\dropbox\my papers\with steve\PropR3.bbl" [32]) [33]
("G:\laptop backup\dropbox\my papers\with steve\PropR3.aux") ) 
Here is how much of TeX's memory you used:
 5776 strings out of 495286
 79894 string characters out of 3180366
 166572 words of memory out of 3000000
 8703 multiletter control sequences out of 15000+200000
 14475 words of font info for 57 fonts, out of 3000000 for 9000
 175 hyphenation exceptions out of 8191
 38i,17n,40p,2337b,449s stack positions out of 5000i,500n,10000p,200000b,50000s

Output written on PropR3.dvi (33 pages, 381552 bytes).