This is pdfTeX, Version 3.1415926-1.40.10 (MiKTeX 2.8) (preloaded format=latex 2012.3.9)  19 MAR 2012 17:14
entering extended mode
**//nfs4.cims.nyu.edu/naor/.windows/My*Documents/Dropbox/my*papers/with*Ohad/bo
urgain07.tex

("//nfs4.cims.nyu.edu/naor/.windows/My Documents/Dropbox/my papers/with Ohad/bo
urgain07.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:\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)
))
("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)
))
("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\ams\math\amscd.sty"
Package: amscd 1999/11/29 v2.0
\athelp@=\toks25
\minaw@=\dimen114
\bigaw@=\dimen115
\minCDarrowwidth=\dimen116
)
("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\tools\verbatim.sty"
Package: verbatim 2003/08/22 v1.5q LaTeX2e package for verbatim enhancements
\every@verbatim=\toks26
\verbatim@line=\toks27
\verbatim@in@stream=\read1
)
("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\keyval.sty"
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks28
)
\Gin@req@height=\dimen117
\Gin@req@width=\dimen118
)
("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:\Documents and Settings\naor\Application Data\MiKTeX\2.8\tex\latex\paralist
\paralist.sty"
Package: paralist 2002/03/18 v2.3b Extended list environments (BS)
\pltopsep=\skip52
\plpartopsep=\skip53
\plitemsep=\skip54
\plparsep=\skip55
\pl@lab=\toks29
) ("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\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=\dimen119
\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=\dimen120
\Fld@charsize=\dimen121
\Field@toks=\toks30
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=\toks31
\pdf@box=\box29
\pdf@toks=\toks32
\pdf@defaulttoks=\toks33
\Fld@listcount=\count105
))
\c@theorem=\count106
\c@definition=\count107

("\\nfs4.cims.nyu.edu\naor\.windows\My Documents\Dropbox\my papers\with Ohad\bo
urgain07.aux")
LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 36.
LaTeX Font Info:    ... okay on input line 36.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 36.
LaTeX Font Info:    ... okay on input line 36.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 36.
LaTeX Font Info:    ... okay on input line 36.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 36.
LaTeX Font Info:    ... okay on input line 36.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 36.
LaTeX Font Info:    ... okay on input line 36.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 36.
LaTeX Font Info:    ... okay on input line 36.
LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 36.
LaTeX Font Info:    ... okay on input line 36.
LaTeX Font Info:    Try loading font information for U+msa on input line 36.
 ("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 36.

("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 36.

("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 36.

("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=\count108
)
LaTeX Info: Redefining \ref on input line 36.
LaTeX Info: Redefining \pageref on input line 36.

("\\nfs4.cims.nyu.edu\naor\.windows\My Documents\Dropbox\my papers\with Ohad\bo
urgain07.out")
("\\nfs4.cims.nyu.edu\naor\.windows\My Documents\Dropbox\my papers\with Ohad\bo
urgain07.out")
\@outlinefile=\write3
\AtBeginShipoutBox=\box30


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


Overfull \vbox (2.18445pt too high) has occurred while \output is active []


[1] [2] [3] [4] [5] [6] [7] [8]
Overfull \hbox (4.74164pt too wide) detected at line 338
 []$[]  \OMS/cmsy/m/n/12 k\OML/cmm/m/it/12 h\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 x
\OT1/cmr/m/n/12 ) \OMS/cmsy/m/n/12  \OML/cmm/m/it/12 h\OT1/cmr/m/n/12 (\OML/cm
m/m/it/12 y\OT1/cmr/m/n/12 )\OMS/cmsy/m/n/12 k[] \U/msa/m/n/12 6 [][] \OML/cmm/
m/it/12 \OT1/cmr/m/n/12 (\OMS/cmsy/m/n/12 k\OML/cmm/m/it/12 x\OMS/cmsy/m/n/12 
k\OT1/cmr/m/n/12 ) + [][] []$ 
 []

[9] [10]
Overfull \hbox (4.79605pt too wide) in alignment at lines 430--435
 [][][] []
 []

[11]

Package amsthm Warning: The \qedhere command may not work correctly here on inp
ut line 458.


Package amsthm Warning: The \qedhere command may not work correctly here on inp
ut line 458.

[12] [13]
("\\nfs4.cims.nyu.edu\naor\.windows\My Documents\Dropbox\my papers\with Ohad\bo
urgain07.bbl" [14])
Underfull \vbox (badness 10000) has occurred while \output is active []

 [15]
[16]
("\\nfs4.cims.nyu.edu\naor\.windows\My Documents\Dropbox\my papers\with Ohad\bo
urgain07.aux") ) 
Here is how much of TeX's memory you used:
 5694 strings out of 495286
 79881 string characters out of 3180367
 159995 words of memory out of 3000000
 8636 multiletter control sequences out of 15000+200000
 13042 words of font info for 53 fonts, out of 3000000 for 9000
 175 hyphenation exceptions out of 8191
 38i,13n,40p,2473b,445s stack positions out of 5000i,500n,10000p,200000b,50000s

Output written on bourgain07.dvi (16 pages, 163864 bytes).