This is TeX, Version 3.14159 (Web2C 7.4.5) (format=latex 2010.5.6)  8 NOV 2017 17:58
**paper
(./paper.tex
LaTeX2e <2001/06/01>
Babel <v3.7h> and hyphenation patterns for american, french, german, ngerman, n
ohyphenation, loaded.
(/usr/share/texmf/tex/latex/amscls/amsart.cls
Document Class: amsart 2000/10/26 v2.08
\linespacing=\dimen102
\normalparindent=\dimen103
\normaltopskip=\skip41
(/usr/share/texmf/tex/latex/amsmath/amsmath.sty
Package: amsmath 2000/07/18 v2.13 AMS math features
\@mathmargin=\skip42

For additional information on amsmath, use the `?' option.
(/usr/share/texmf/tex/latex/amsmath/amstext.sty
Package: amstext 2000/06/29 v2.01

(/usr/share/texmf/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0
\@emptytoks=\toks14
\ex@=\dimen104
))
(/usr/share/texmf/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d
\pmbraise@=\dimen105
)
(/usr/share/texmf/tex/latex/amsmath/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.

(/usr/share/texmf/tex/latex/amsfonts/umsa.fd
File: umsa.fd 2002/01/19 v2.2g AMS font definitions
)
(/usr/share/texmf/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 2001/10/25 v2.2f
\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 132.
)
\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
)
(/usr/share/texmf/tex/latex/misc/geometry.sty
Package: geometry 2002/07/08 v3.2 Page Geometry

(/usr/share/texmf/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks25
)
\Gm@cnth=\count99
\Gm@cntv=\count100
\c@Gm@tempcnt=\count101
\Gm@bindingoffset=\dimen114
\Gm@wd@mp=\dimen115
\Gm@odd@mp=\dimen116
\Gm@even@mp=\dimen117
\Gm@dimlist=\toks26

(/usr/share/texmf/tex/latex/config/geometry.cfg
File: geometry.cfg 2001/06/05 v1.0 teTeX (uncustomised setup)
))
(/usr/share/texmf/tex/latex/amsfonts/amssymb.sty
Package: amssymb 2002/01/22 v2.2d
)
(/usr/share/texmf/tex/latex/jknappen/mathrsfs.sty
Package: mathrsfs 1996/01/01 Math RSFS package v1.0 (jk)
\symrsfs=\mathgroup6
)
(/usr/share/texmf/tex/latex/amsmath/amscd.sty
Package: amscd 1999/11/29 v2.0
\athelp@=\toks27
\minaw@=\dimen118
\bigaw@=\dimen119
\minCDarrowwidth=\dimen120
)
(/usr/share/texmf/tex/latex/misc/yfonts.sty
Package: yfonts 2003/01/08 v1.3 (WaS)
)

! LaTeX Error: File `tikz.sty' not found.

Type X to quit or <RETURN> to proceed,
or enter new name. (Default extension: sty)

Enter file name: tikz.sty

! LaTeX Error: File `tikz.sty' not found.

Type X to quit or <RETURN> to proceed,
or enter new name. (Default extension: sty)

Enter file name: sty

! LaTeX Error: File `sty.sty' not found.

Type X to quit or <RETURN> to proceed,
or enter new name. (Default extension: sty)

Enter file name: tikz

! LaTeX Error: File `tikz.sty' not found.

Type X to quit or <RETURN> to proceed,
or enter new name. (Default extension: sty)

Enter file name: quit

! LaTeX Error: File `quit.sty' not found.

Type X to quit or <RETURN> to proceed,
or enter new name. (Default extension: sty)

Enter file name: 
(/usr/share/texmf/tex/latex/misc/stmaryrd.sty
Package: stmaryrd 1994/03/03 St Mary's Road symbol package
\symstmry=\mathgroup7
LaTeX Font Info:    Overwriting symbol font `stmry' in version `bold'
(Font)                  U/stmry/m/n --> U/stmry/b/n on input line 89.
)

! LaTeX Error: File `turnstile.sty' not found.

Type X to quit or <RETURN> to proceed,
or enter new name. (Default extension: sty)

Enter file name: 
(/usr/share/texmf/tex/latex/misc/comment.sty
\CommentStream=\write3
 Excluding comment 'comment')
(/usr/share/texmf/tex/latex/base/inputenc.sty
Package: inputenc 2001/07/10 v0.99a Input encoding file 

(/usr/share/texmf/tex/latex/base/latin1.def
File: latin1.def 2001/07/10 v0.99a Input encoding file 
))
(/usr/share/texmf/tex/generic/xypic/xy.sty
(/usr/share/texmf/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes, docmode,
(/usr/share/texmf/tex/generic/xypic/xyrecat.tex)
(/usr/share/texmf/tex/generic/xypic/xyidioms.tex)

 Xy-pic version 3.7 <1999/02/16>
 Copyright (c) 1991-1998 by Kristoffer H. Rose <krisrose@ens-lyon.fr>
 Xy-pic is free software: see the User's Guide for details.

Loading kernel: messages; fonts; allocations: state,
\X@c=\dimen121
\Y@c=\dimen122
\U@c=\dimen123
\D@c=\dimen124
\L@c=\dimen125
\R@c=\dimen126
\Edge@c=\toks28
\X@p=\dimen127
\Y@p=\dimen128
\U@p=\dimen129
\D@p=\dimen130
\L@p=\dimen131
\R@p=\dimen132
\Edge@p=\toks29
\X@origin=\dimen133
\Y@origin=\dimen134
\X@xbase=\dimen135
\Y@xbase=\dimen136
\X@ybase=\dimen137
\Y@ybase=\dimen138
\X@min=\dimen139
\Y@min=\dimen140
\X@max=\dimen141
\Y@max=\dimen142
\lastobjectbox@=\box29
\zerodotbox@=\box30
\almostz@=\dimen143
 direction,
\d@X=\dimen144
\d@Y=\dimen145
\K@=\count102
\KK@=\count103
\Direction=\count104
\K@dXdY=\dimen146
\K@dYdX=\dimen147
\xyread@=\read1
\xywrite@=\write4
\csp@=\count105
\quotPTK@=\dimen148

utility macros; pictures: \xy, positions,
\swaptoks@@=\toks30
\connectobjectbox@@=\box31
 objects,
\styletoks@=\toks31
 decorations;
kernel objects: directionals, circles, text; options; algorithms: directions,
edges, connections;  Xy-pic loaded)
Package: xy 1999/02/16 Xy-pic version 3.7

(/usr/share/texmf/tex/generic/xypic/xyall.tex
 Xy-pic option: All features v.3.3
(/usr/share/texmf/tex/generic/xypic/xycurve.tex
 Xy-pic option: Curve and Spline extension v.3.7 curve,
\crv@cnt@=\count106
\crvpts@=\toks32
\splinebox@=\box32
\splineval@=\dimen149
\splinedepth@=\dimen150
\splinetol@=\dimen151
\splinelength@=\dimen152
 circles,
\L@=\dimen153
 loaded)
(/usr/share/texmf/tex/generic/xypic/xyframe.tex
 Xy-pic option: Frame and Bracket extension v.3.7 loaded)
(/usr/share/texmf/tex/generic/xypic/xycmtip.tex
 Xy-pic option: Computer Modern tip extension v.3.3
(/usr/share/texmf/tex/generic/xypic/xytips.tex
 Xy-pic option: More Tips extension v.3.3 loaded) loaded)
(/usr/share/texmf/tex/generic/xypic/xyline.tex
 Xy-pic option: Line styles extension v.3.6
\xylinethick@=\dimen154
 loaded)
(/usr/share/texmf/tex/generic/xypic/xyrotate.tex
 Xy-pic option: Rotate and Scale extension v.3.3 loaded)
(/usr/share/texmf/tex/generic/xypic/xycolor.tex
 Xy-pic option: Colour extension v.3.3 loaded)
(/usr/share/texmf/tex/generic/xypic/xymatrix.tex
 Xy-pic option: Matrix feature v.3.4
\Row=\count107
\Col=\count108
\queue@=\toks33
\queue@@=\toks34
\qcount@=\count109
\qcount@@=\count110
\matrixsize@=\count111
 loaded)
(/usr/share/texmf/tex/generic/xypic/xyarrow.tex
 Xy-pic option: Arrow and Path feature v.3.5 path, \ar, loaded)
(/usr/share/texmf/tex/generic/xypic/xygraph.tex
 Xy-pic option: Graph feature v.3.7 loaded) loaded))
(/usr/share/texmf/tex/latex/base/latexsym.sty
Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols)
\symlasy=\mathgroup8
LaTeX Font Info:    Overwriting symbol font `lasy' in version `bold'
(Font)                  U/lasy/m/n --> U/lasy/b/n on input line 42.
)
(/usr/share/texmf/tex/latex/tools/longtable.sty
Package: longtable 2000/10/22 v4.10 Multi-page Table package (DPC)
\LTleft=\skip51
\LTright=\skip52
\LTpre=\skip53
\LTpost=\skip54
\LTchunksize=\count112
\LTcapwidth=\dimen155
\LT@head=\box33
\LT@firsthead=\box34
\LT@foot=\box35
\LT@lastfoot=\box36
\LT@cols=\count113
\LT@rows=\count114
\c@LT@tables=\count115
\c@LT@chunks=\count116
\LT@p@ftn=\toks35
)
(/usr/share/texmf/tex/latex/hyperref/hyperref.sty
Package: hyperref 2003/01/22 v6.73n Hypertext links for LaTeX
\@linkdim=\dimen156
\Hy@linkcounter=\count117
\Hy@pagecounter=\count118

(/usr/share/texmf/tex/latex/hyperref/pd1enc.def
File: pd1enc.def 2003/01/22 v6.73n Hyperref: PDFDocEncoding definition (HO)
)
(/usr/share/texmf/tex/latex/config/hyperref.cfg
File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive and teTeX
)
Package hyperref Info: Hyper figures OFF on input line 1792.
Package hyperref Info: Link nesting OFF on input line 1797.
Package hyperref Info: Hyper index ON on input line 1800.
Package hyperref Info: Plain pages ON on input line 1805.
Package hyperref Info: Backreferencing ON on input line 1810.

Implicit mode ON; LaTeX internals redefined
Package hyperref Info: Bookmarks ON on input line 1916.
(/usr/share/texmf/tex/latex/hyperref/backref.sty
Package: backref 2002/06/09 v1.20 Bibliographical back referencing
)
(/usr/share/texmf/tex/latex/html/url.sty
Package: url 1999/03/02  ver 1.4  Verb mode for urls, email addresses, and file
 names
)
LaTeX Info: Redefining \url on input line 2055.
\Fld@menulength=\count119
\Field@Width=\dimen157
\Fld@charsize=\dimen158
\Choice@toks=\toks36
\Field@toks=\toks37
Package hyperref Info: Hyper figures OFF on input line 2513.
Package hyperref Info: Link nesting OFF on input line 2518.
Package hyperref Info: Hyper index ON on input line 2521.
Package hyperref Info: backreferencing ON on input line 2526.
Package hyperref Info: Link coloring OFF on input line 2533.
\c@Item=\count120
\c@Hfootnote=\count121
)
*hyperref using default driver hdvips*
(/usr/share/texmf/tex/latex/hyperref/hdvips.def
File: hdvips.def 2003/01/22 v6.73n Hyperref driver for dvips

(/usr/share/texmf/tex/latex/hyperref/pdfmark.def
File: pdfmark.def 2003/01/22 v6.73n Hyperref definitions for pdfmark specials
\pdf@docset=\toks38
\pdf@box=\box37
\pdf@toks=\toks39
\pdf@defaulttoks=\toks40
\Fld@listcount=\count122
\@outlinefile=\write5
))

! LaTeX Error: \backreflastsep undefined.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.16 \renewcommand*{\backreflastsep}
                                    {, }
? 

! LaTeX Error: \backreftwosep undefined.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.17 \renewcommand*{\backreftwosep}
                                   {, }
? 

! LaTeX Error: \backrefalt undefined.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.19 \renewcommand*{\backrefalt}
                                [4]{%
? 
\@input{thebibliography.aux}
\openout2 = `thebibliography.aux'.

No file thebibliography.tex.
(./paper.aux)
\openout1 = `paper.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 379.
LaTeX Font Info:    ... okay on input line 379.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 379.
LaTeX Font Info:    ... okay on input line 379.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 379.
LaTeX Font Info:    ... okay on input line 379.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 379.
LaTeX Font Info:    ... okay on input line 379.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 379.
LaTeX Font Info:    ... okay on input line 379.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 379.
LaTeX Font Info:    ... okay on input line 379.
LaTeX Font Info:    Checking defaults for LY/yfrak/m/n on input line 379.
LaTeX Font Info:    ... okay on input line 379.
LaTeX Font Info:    Checking defaults for LYG/ygoth/m/n on input line 379.
LaTeX Font Info:    ... okay on input line 379.
LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 379.
LaTeX Font Info:    ... okay on input line 379.
LaTeX Font Info:    Try loading font information for U+msa on input line 379.
 (/usr/share/texmf/tex/latex/amsfonts/umsa.fd
File: umsa.fd 2002/01/19 v2.2g AMS font definitions
)
LaTeX Font Info:    Try loading font information for U+msb on input line 379.

(/usr/share/texmf/tex/latex/amsfonts/umsb.fd
File: umsb.fd 2002/01/19 v2.2g AMS font definitions
)
LaTeX Font Info:    Try loading font information for U+rsfs on input line 379.

(/usr/share/texmf/tex/latex/jknappen/ursfs.fd
File: ursfs.fd 1998/03/24 rsfs font definition file (jk)
)
LaTeX Font Info:    Try loading font information for U+stmry on input line 379.


(/usr/share/texmf/tex/latex/misc/ustmry.fd)
LaTeX Font Info:    Try loading font information for U+lasy on input line 379.

(/usr/share/texmf/tex/latex/base/ulasy.fd
File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions
)
-------------------- Geometry parameters
paper: a4paper
landscape: --
twocolumn: --
twoside: true
asymmetric: --
h-parts: 76.82234pt, 443.86319pt, 76.82234pt
v-parts: 99.58464pt, 660.10394pt, 85.35826pt
hmarginratio: --
vmarginratio: --
lines: --
heightrounded: --
bindingoffset: 0.0pt
truedimen: --
includehead: --
includefoot: --
includemp: --
driver: 
-------------------- Page layout dimensions and switches
\paperwidth  597.50787pt
\paperheight 845.04684pt
\textwidth  443.86319pt
\textheight 660.10394pt
\oddsidemargin  4.55235pt
\evensidemargin 4.55235pt
\topmargin  5.31465pt
\headheight 8.0pt
\headsep    14.0pt
\footskip   12.0pt
\marginparwidth 90.0pt
\marginparsep   11.0pt
\columnsep  10.0pt
\skip\footins  7.0pt plus 11.0pt
\hoffset 0.0pt
\voffset 0.0pt
\mag 1000
\@twosidetrue \@mparswitchtrue 
(1in=72.27pt, 1cm=28.45pt)
-----------------------
Package hyperref Info: Link coloring OFF on input line 379.

(/usr/share/texmf/tex/latex/hyperref/nameref.sty
Package: nameref 2001/01/27 v2.19 Cross-referencing by name of section
\c@section@level=\count123
)
LaTeX Info: Redefining \ref on input line 379.
LaTeX Info: Redefining \pageref on input line 379.
 (./paper.out) (./paper.out)
\openout5 = `paper.out'.


(./paper.toc)
\tf@toc=\write6
\openout6 = `paper.toc'.

 [1


] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14]
[15] [16] [17] [18] [19] [20] <xymatrix 2x2 182> [21] [22] <xymatrix 2x3 272>
[23]

! LaTeX Error: Environment tikzpicture undefined.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.2179 \begin{tikzpicture}
                          [->,>=stealth,baseline=(current  bounding  box.cen...

? 
! Undefined control sequence.
l.2180 ^^I\node
                (O) {$\cO_2$};
? 
! Missing } inserted.
<inserted text> 
                }
l.2180 ^^I\node (O) {$
                      \cO_2$};
? 
! Missing \endgroup inserted.
<inserted text> 
                \endgroup 
l.2180 ^^I\node (O) {$
                      \cO_2$};
? 
! Display math should end with $$.
<to be read again> 
                   {
l.2180 ^^I\node (O) {$\cO
                         _2$};
? 

! LaTeX Error: \mathcal allowed only in math mode.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.2180 ^^I\node (O) {$\cO
                         _2$};
? 
! Missing $ inserted.
<inserted text> 
                $
l.2180 ^^I\node (O) {$\cO_
                          2$};
? 
! Extra }, or forgotten \endgroup.
l.2180 ^^I\node (O) {$\cO_2$}
                             ;
? 
! Undefined control sequence.
l.2181 ^^I\node
                (C)[right of=O, node distance=3.7cm] {$C_{\rm har}(\C_p)$};
? 
! Undefined control sequence.
l.2182 ^^I\node
                (Cb)[below of=C, node distance=1cm] {$C_{\rm har}^b(\C_p)$};
? 
! Undefined control sequence.
l.2183 ^^I \node
                 (0)[right of=C, node distance=1.8cm] {$0$};
? 
! Undefined control sequence.
l.2184 ^^I\node
                (inc)[below of=C, node distance=.5cm] {\rotatebox{90}{$\subs...

? 
! Undefined control sequence.
l.2184 ...ow of=C, node distance=.5cm] {\rotatebox
                                                  {90}{$\subset$}};
? 
! Undefined control sequence.
l.2185 ^^I\draw
                [->] (O) to node[above] {$\partial$} (C);
? 
! Undefined control sequence.
l.2187 ^^I\draw
                [->,dashed] (Cb) to [bend left=10] node[below left] {$\ST$} ...

? 
! Undefined control sequence.
l.2188 ^^I\draw
                [->] (C) to node[] {} (0);
? 

! LaTeX Error: \begin{equation} on input line 2177 ended by \end{tikzpicture}.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.2189 \end{tikzpicture}
                        
? 

! LaTeX Error: Bad math environment delimiter.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.2190 \end{equation}
                     
? 
! You can't use `\leqno' in horizontal mode.
\endmathdisplay@a ...\df@tag \@empty \else \veqno 
                                                  \alt@tag \df@tag \fi \ifx ...
l.2190 \end{equation}
                     
? 

! LaTeX Error: \begin{proposition} on input line 2174 ended by \end{equation}.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.2190 \end{equation}
                     
? 
! Missing $ inserted.
<inserted text> 
                $
l.2190 \end{equation}
                     
? x
 
Here is how much of TeX's memory you used:
 6748 strings out of 95847
 82367 string characters out of 1195949
 188376 words of memory out of 1000001
 9401 multiletter control sequences out of 10000+50000
 16212 words of font info for 70 fonts, out of 500000 for 1000
 175 hyphenation exceptions out of 1000
 34i,14n,39p,947b,487s stack positions out of 1500i,500n,5000p,200000b,5000s
Output written on paper.dvi (23 pages, 162136 bytes).