This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) (format=latex 2009.4.25)  26 APR 2015 17:15
entering extended mode
**slides
(./slides.tex
LaTeX2e <2003/12/01>
Babel <v3.8d> and hyphenation patterns for american, french, german, ngerman, b
ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e
stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis
h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur
kish, ukrainian, nohyphenation, loaded.
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/prosper.cls
Document Class: prosper 2001/01/23, v. 1.1
(c) 2000 Frederic Goualard, CWI, The Netherlands
CVSId: $Id: prosper.cls,v 1.5 2001/01/31 10:20:44 exupery Exp $
 
(/sw/share/texmf-dist/tex/latex/seminar/seminar.cls
Document Class: seminar 1997/10/13, 1.4
Document Style: `seminar' v1.4 <1997/10/13> (tvz)
\slidewidth=\dimen102
\slideheight=\dimen103
\footheight=\dimen104
(/Users/cp/svn/hilbertbernays/trunk/article.cls
Document Class: article 1999/01/07 v1.4a Standard LaTeX document class
(/sw/share/texmf-dist/tex/latex/base/leqno.clo
File: leqno.clo 1998/08/17 v1.1c Standard LaTeX option (left equation numbers)
)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/size10.clo
File: size10.clo 2000/05/19 v1.4b Standard LaTeX file (size option)
)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen105
)
(/sw/share/texmf-dist/tex/latex/seminar/sem-page.sty)
\before@document=\toks14
\after@document=\toks15
\before@enddocument=\toks16
\c@slide=\count87
\slide@count=\count88
\@slidebox=\box26
\not@slidebox=\box27
\slide@hook=\toks17
\after@slide=\toks18
\slide@footins=\insert233
\slide@listdepth=\count89
\saved@specials=\box28
\before@newslide=\toks19
\after@slidepage=\toks20
\slidesep=\skip43
\c@note=\count90
\slideframewidth=\dimen106
\slideframesep=\dimen107
\semin=\dimen108
\semcm=\dimen109
)
(/sw/share/texmf-dist/tex/latex/seminar/seminar.con)
(/sw/share/texmf-dist/tex/latex/seminar/semcolor.sty
Style Option: `semcolor' for doc style `seminar' 1.01 <2004/05/18> (tvz)
File: semcolor.sty 2004/05/18 v1.01 (tvz)
(/sw/share/texmf-dist/tex/latex/pstricks/pstricks.sty
Package: pstricks 2004/05/12 v0.2l LaTeX wrapper for `PSTricks' (RN,HV)

(/sw/share/texmf-dist/tex/generic/pstricks/pstricks.tex
`PSTricks' v1.04  <2004/06/22> (tvz)
\pst@dima=\dimen110
\pst@dimb=\dimen111
\pst@dimc=\dimen112
\pst@dimd=\dimen113
\pst@dimg=\dimen114
\pst@dimh=\dimen115
\pst@hbox=\box29
\pst@boxg=\box30
\pst@cnta=\count91
\pst@cntb=\count92
\pst@cntc=\count93
\pst@cntd=\count94
\pst@cntg=\count95
\pst@cnth=\count96
\pst@toks=\toks21
(/sw/share/texmf-dist/tex/generic/pstricks/pstricks.con)
\psunit=\dimen116
\psxunit=\dimen117
\psyunit=\dimen118
\pslinewidth=\dimen119
\pst@customdefs=\toks22
\pslinearc=\dimen120
\everypsbox=\toks23
\psframesep=\dimen121
\pslabelsep=\dimen122
\theoverlaybox=\box31
)
File: pstricks.tex 2004/06/22 v1.04 `PSTricks' (tvz)

(/sw/share/texmf-dist/tex/latex/xcolor/xcolor.sty
Package: xcolor 2004/07/04 v2.00 LaTeX color extensions (UK)

(/Users/cp/svn/hilbertbernays/trunk/color.cfg
File: color.cfg 2004/11/03 v1.1BS1 color configuration of teTeX/TeXLive, change
s by Bernd Strieder
)
Package xcolor Info: Package option `override' ignored on input line 128.
Package xcolor Info: Driver file: dvips.def on input line 136.

(/Users/cp/svn/hilbertbernays/trunk/dvips.def
File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
)
Package xcolor Info: Color model `cmy' added on input line 972.
Package xcolor Info: Color model `HTML' added on input line 1000.
Package xcolor Info: Color model `HSB' added on input line 1006.
Package xcolor Info: Color model `Gray' added on input line 1012.
)))
(/sw/share/texmf-dist/tex/latex/seminar/semlayer.sty
\@@slidebox=\box32
\c@overlay=\count97
)
(/Users/cp/svn/hilbertbernays/trunk/graphicx.sty
Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)

(/Users/cp/svn/hilbertbernays/trunk/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks24
)
(/Users/cp/svn/hilbertbernays/trunk/graphics.sty
Package: graphics 2001/07/07 v1.0n Standard LaTeX Graphics (DPC,SPQR)

(/Users/cp/svn/hilbertbernays/trunk/trig.sty
Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
)
(/Users/cp/svn/hilbertbernays/trunk/graphics.cfg
File: graphics.cfg 2005/02/03 v1.3 graphics configuration of teTeX/TeXLive
)
Package graphics Info: Driver file: dvips.def on input line 80.
)
\Gin@req@height=\dimen123
\Gin@req@width=\dimen124
)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/hyperref.sty
Package: hyperref 2003/11/30 v6.74m Hypertext links for LaTeX
\@linkdim=\dimen125
\Hy@linkcounter=\count98
\Hy@pagecounter=\count99

(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/pd1enc.def
File: pd1enc.def 2003/11/30 v6.74m Hyperref: PDFDocEncoding definition (HO)
)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/hyperref.cfg
File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive and teTeX
)
Package hyperref Info: Option `bookmarks' set `true' on input line 1830.
Package hyperref Info: Option `pdffitwindow' set `true' on input line 1830.
Package hyperref Info: Option `pdfcenterwindow' set `true' on input line 1830.
Package hyperref Info: Hyper figures OFF on input line 1880.
Package hyperref Info: Link nesting OFF on input line 1885.
Package hyperref Info: Hyper index ON on input line 1888.
Package hyperref Info: Plain pages ON on input line 1893.
Package hyperref Info: Backreferencing OFF on input line 1900.

Implicit mode ON; LaTeX internals redefined
Package hyperref Info: Bookmarks ON on input line 2004.
(/Users/cp/svn/hilbertbernays/trunk/url.sty
\Urlmuskip=\muskip10
Package: url 2005/06/27  ver 3.2  Verb mode for urls, etc.
)
\Fld@menulength=\count100
\Field@Width=\dimen126
\Fld@charsize=\dimen127
\Choice@toks=\toks25
\Field@toks=\toks26
Package hyperref Info: Hyper figures OFF on input line 2618.
Package hyperref Info: Link nesting OFF on input line 2623.
Package hyperref Info: Hyper index ON on input line 2626.
Package hyperref Info: backreferencing OFF on input line 2633.
Package hyperref Info: Link coloring OFF on input line 2638.
\c@Item=\count101
\c@Hfootnote=\count102
)
*hyperref using driver hdvips*
(/sw/share/texmf-dist/tex/latex/hyperref/hdvips.def
File: hdvips.def 2003/11/30 v6.74m Hyperref driver for dvips

(/sw/share/texmf-dist/tex/latex/hyperref/pdfmark.def
File: pdfmark.def 2003/11/30 v6.74m Hyperref definitions for pdfmark specials
\pdf@docset=\toks27
\pdf@box=\box33
\pdf@toks=\toks28
\pdf@defaulttoks=\toks29
\Fld@listcount=\count103
\@outlinefile=\write3
))
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/ifthen.sty
Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC)
)
\slideWidth=\skip44
\c@trueSlideCounter=\count104

(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/PPRcp1.sty
Package: PPRcp1 2003/07/21

cp1 style for Prosper ---
(/sw/share/texmf-dist/tex/latex/pstricks/pst-grad.sty
Package: pst-grad 2004/07/15 package wrapper for pst-grad.tex

(/sw/share/texmf-dist/tex/generic/pstricks/pst-grad.tex  v1.04, 2004/06/24)
File: pst-grad.tex 2004/06/24 1.04 `pst-grad' (tvz)
)
(/Users/cp/svn/hilbertbernays/trunk/amssymb.sty
Package: amssymb 2002/01/22 v2.2d

(/Users/cp/svn/hilbertbernays/trunk/amsfonts.sty
Package: amsfonts 2001/10/25 v2.2f
\@emptytoks=\toks30
\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.
))
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/times.sty
Package: times 2000/01/12 PSNFSS-v8.1 Times font as default roman (SPQR) 
))
\c@item@step=\count105
\c@overlay@page=\count106
\theoverlays=\box34
\c@overlaysCount=\count107
\c@limitOverlays=\count108
) (./body.tex
(/sw/share/texmf-dist/tex/latex/pstricks/pst-node.sty
Package: pst-node 2004/07/15 package wrapper for pst-node.tex

(/sw/share/texmf-dist/tex/generic/pstricks/pst-node.tex
 v97 patch 11, 2000/11/09
\psrow=\count109
\pscol=\count110
\psmatrixcnt=\count111
\psrowsep=\skip45
\pscolsep=\skip46
)
File: pst-node.tex 2000/11/09 97 patch 11 `pst-node' (tvz)
) (/Users/cp/svn/hilbertbernays/trunk/eepic.sty
Extension to Epic and LaTeX. Version 1.1b - Released Febrary 7, 1988
\@gphlinewidth=\count112
\@eepictcnt=\count113
\@tempdimc=\dimen128
\maxovaldiam=\dimen129
\@filltype=\box35
) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xy.tex Bootstrap'ing:
catcodes, docmode, (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xyrecat.tex)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/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=\dimen130
\Y@c=\dimen131
\U@c=\dimen132
\D@c=\dimen133
\L@c=\dimen134
\R@c=\dimen135
\Edge@c=\toks31
\X@p=\dimen136
\Y@p=\dimen137
\U@p=\dimen138
\D@p=\dimen139
\L@p=\dimen140
\R@p=\dimen141
\Edge@p=\toks32
\X@origin=\dimen142
\Y@origin=\dimen143
\X@xbase=\dimen144
\Y@xbase=\dimen145
\X@ybase=\dimen146
\Y@ybase=\dimen147
\X@min=\dimen148
\Y@min=\dimen149
\X@max=\dimen150
\Y@max=\dimen151
\lastobjectbox@=\box36
\zerodotbox@=\box37
\almostz@=\dimen152
 direction,
\d@X=\dimen153
\d@Y=\dimen154
\K@=\count114
\KK@=\count115
\Direction=\count116
\K@dXdY=\dimen155
\K@dYdX=\dimen156
\xyread@=\read1
\xywrite@=\write4
\csp@=\count117
\quotPTK@=\dimen157

utility macros; pictures: \xy, positions,
\swaptoks@@=\toks33
\connectobjectbox@@=\box38
 objects,
\styletoks@=\toks34
 decorations;
kernel objects: directionals, circles, text; options; algorithms: directions,
edges, connections;  Xy-pic loaded)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xyps.tex
 Xy-pic option: PostScript backend v.3.7 drivers, hooks, loaded)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xyall.tex
 Xy-pic option: All features v.3.3
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xycurve.tex
 Xy-pic option: Curve and Spline extension v.3.7 curve,
\crv@cnt@=\count118
\crvpts@=\toks35
\splinebox@=\box39
\splineval@=\dimen158
\splinedepth@=\dimen159
\splinetol@=\dimen160
\splinelength@=\dimen161
 circles,
\L@=\dimen162
 loaded)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xyframe.tex
 Xy-pic option: Frame and Bracket extension v.3.7 loaded)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xycmtip.tex
 Xy-pic option: Computer Modern tip extension v.3.3
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xytips.tex
 Xy-pic option: More Tips extension v.3.3 loaded) loaded)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xyline.tex
 Xy-pic option: Line styles extension v.3.6
\xylinethick@=\dimen163
 loaded)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xyrotate.tex
 Xy-pic option: Rotate and Scale extension v.3.3 loaded)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xycolor.tex
 Xy-pic option: Colour extension v.3.3
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xyps-c.tex
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xyps-s.tex)) loaded)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xymatrix.tex
 Xy-pic option: Matrix feature v.3.4
\Row=\count119
\Col=\count120
\queue@=\toks36
\queue@@=\toks37
\qcount@=\count121
\qcount@@=\count122
\matrixsize@=\count123
 loaded)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xyarrow.tex
 Xy-pic option: Arrow and Path feature v.3.5 path, \ar, loaded)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xygraph.tex
 Xy-pic option: Graph feature v.3.7 loaded) loaded)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xydvips.tex
 Xy-pic option: DVIPS driver v.3.3 loaded)
(/Users/cp/svn/hilbertbernays/trunk/headerhot.tex
\disp=\skip47
\textwidthminustwomm=\skip48
\textwidthminushalfcm=\skip49
\textwidthminusonecm=\skip50
\textwidthminustwocm=\skip51
\textwidthminusfourcm=\skip52
\textwidthminussixcm=\skip53
\yinibox=\box40
)
(/Users/cp/svn/hilbertbernays/trunk/headernames.tex
(/Users/cp/svn/hilbertbernays/trunk/fontenc.sty
Package: fontenc 2004/02/22 v1.99f Standard LaTeX package

(/Users/cp/svn/hilbertbernays/trunk/t1enc.def
File: t1enc.def 2004/02/22 v1.99f Standard LaTeX file
LaTeX Font Info:    Redeclaring font encoding T1 on input line 43.
))
(/Users/cp/svn/hilbertbernays/trunk/specialfonts.tex)
(/Users/cp/svn/hilbertbernays/trunk/headernamesrest.tex))
(/Users/cp/svn/hilbertbernays/trunk/headerforformulas.tex)
(/Users/cp/svn/hilbertbernays/trunk/headersugarterms.tex)
(/Users/cp/svn/hilbertbernays/trunk/hbdictionary.tex)
\c@theorem=\count124
 (./slides.aux)
\openout1 = `slides.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 170.
LaTeX Font Info:    ... okay on input line 170.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 170.
LaTeX Font Info:    ... okay on input line 170.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 170.
LaTeX Font Info:    ... okay on input line 170.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 170.
LaTeX Font Info:    ... okay on input line 170.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 170.
LaTeX Font Info:    ... okay on input line 170.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 170.
LaTeX Font Info:    ... okay on input line 170.
LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 170.
LaTeX Font Info:    ... okay on input line 170.
LaTeX Font Info:    Try loading font information for T1+ptm on input line 170.

(/sw/share/texmf-dist/tex/latex/psnfss/t1ptm.fd
File: t1ptm.fd 2001/06/04 font definitions for T1/ptm.
)
Package hyperref Info: Link coloring OFF on input line 170.

(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/nameref.sty
Package: nameref 2003/12/03 v2.21 Cross-referencing by name of section
\c@section@level=\count125
)
LaTeX Info: Redefining \ref on input line 170.
LaTeX Info: Redefining \pageref on input line 170.
 (./slides.out)
(./slides.out)
\openout3 = `slides.out'.

 (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xyps-ps.tex)

Xy-pic Warning: The produced DVI file is NOT PORTABLE [slides:170]:
 It contains <driver> `dvips' \specials for the `PostScript' extension.

(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xyps-pro.tex)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xypspatt.tex)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xypsdict.tex) PS relaxed
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xyps-r.tex)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xyps-l.tex)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xyps-f.tex)
LaTeX Font Info:    Try loading font information for T1+phv on input line 171.

(/sw/share/texmf-dist/tex/latex/psnfss/t1phv.fd
File: t1phv.fd 2001/06/04 scalable font definitions for T1/phv.
)
LaTeX Font Info:    Try loading font information for U+msa on input line 171.

(/Users/cp/svn/hilbertbernays/trunk/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 171.

(/Users/cp/svn/hilbertbernays/trunk/umsb.fd
File: umsb.fd 2002/01/19 v2.2g AMS font definitions
) [1


] [2

]
LaTeX Font Info:    Calculating math sizes for size <14> on input line 209.
LaTeX Font Info:    Font shape `T1/phv/m/it' in size <14> not available
(Font)              Font shape `T1/phv/m/sl' tried instead on input line 209.
 [3

] [4

] [5

] [6

] [7

]
Overfull \hbox (8.42386pt too wide) in paragraph at lines 336--336
[][]               $[]$  
 []

[8

]
Overfull \hbox (8.42386pt too wide) in paragraph at lines 371--371
[][]               $[]$  
 []

[9

] [10

] [11

]
LaTeX Font Info:    Font shape `T1/phv/m/it' in size <10.95> not available
(Font)              Font shape `T1/phv/m/sl' tried instead on input line 455.
 [12

]
LaTeX Font Info:    Calculating math sizes for size <16> on input line 480.


LaTeX Font Warning: Font shape `OT1/cmr/m/n' in size <16> not available
(Font)              size <17.28> substituted on input line 480.


LaTeX Font Warning: Font shape `OML/cmm/m/it' in size <16> not available
(Font)              size <17.28> substituted on input line 480.


LaTeX Font Warning: Font shape `OMS/cmsy/m/n' in size <16> not available
(Font)              size <17.28> substituted on input line 480.


LaTeX Font Warning: Font shape `OMX/cmex/m/n' in size <16> not available
(Font)              size <17.28> substituted on input line 480.


LaTeX Font Warning: Font shape `U/msa/m/n' in size <16> not available
(Font)              size <17.28> substituted on input line 480.


LaTeX Font Warning: Font shape `U/msb/m/n' in size <16> not available
(Font)              size <17.28> substituted on input line 480.

[13

] [14

] [15

] <xymatrix 4x2 210> [16

] [17

]
LaTeX Font Info:    Font shape `T1/phv/m/it' in size <12> not available
(Font)              Font shape `T1/phv/m/sl' tried instead on input line 595.
 [18

] [19

]
LaTeX Font Info:    Try loading font information for T1+pcr on input line 626.

(/sw/share/texmf-dist/tex/latex/psnfss/t1pcr.fd
File: t1pcr.fd 2001/06/04 font definitions for T1/pcr.
) [20

] [21

]
LaTeX Font Info:    Font shape `T1/phv/m/it' in size <14.4> not available
(Font)              Font shape `T1/phv/m/sl' tried instead on input line 705.
 [22

] [23

] [24

]
[25

] (./slides.aux)

LaTeX Font Warning: Size substitutions with differences
(Font)              up to 1.28pt have occurred.

 ) ) 
Here is how much of TeX's memory you used:
 14947 strings out of 94501
 201444 string characters out of 1176137
 331160 words of memory out of 1500000
 17301 multiletter control sequences out of 10000+50000
 61345 words of font info for 123 fonts, out of 1200000 for 2000
 1214 hyphenation exceptions out of 8191
 43i,32n,44p,895b,832s stack positions out of 5000i,500n,6000p,200000b,5000s

Output written on slides.dvi (25 pages, 101304 bytes).