This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) (format=latex 2009.4.25)  2 JUN 2014 21:30
entering extended mode
**nocolor
(./nocolor.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
 (./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
) (/sw/share/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
(/sw/share/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
(/sw/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
(/sw/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex
\pgfutil@everybye=\toks31
)
(/sw/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
\pgfutil@abb=\box36

(/sw/share/texmf-dist/tex/latex/ms/everyshi.sty
Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS)
))
(/sw/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
Package: pgfrcs 2010/10/25 v2.10 (rcs-revision 1.24)
))
Package: pgf 2008/01/15 v2.10 (rcs-revision 1.12)

(/sw/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
(/sw/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
(/sw/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
Package: pgfsys 2010/06/30 v2.10 (rcs-revision 1.37)

(/sw/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
\pgfkeys@pathtoks=\toks32
\pgfkeys@temptoks=\toks33

(/sw/share/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex
\pgfkeys@tmptoks=\toks34
))
\pgf@x=\dimen130
\pgf@y=\dimen131
\pgf@xa=\dimen132
\pgf@ya=\dimen133
\pgf@xb=\dimen134
\pgf@yb=\dimen135
\pgf@xc=\dimen136
\pgf@yc=\dimen137
\w@pgf@writea=\write4
\r@pgf@reada=\read1
\c@pgf@counta=\count114
\c@pgf@countb=\count115
\c@pgf@countc=\count116
\c@pgf@countd=\count117

(/sw/share/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg
File: pgf.cfg 2008/05/14  (rcs-revision 1.7)
)
Package pgfsys Info: Driver file for pgf: pgfsys-dvips.def on input line 900.

(/sw/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-dvips.def
File: pgfsys-dvips.def 2008/04/03  (rcs-revision 1.20)

(/sw/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-postscript.def
File: pgfsys-common-postscript.def 2008/10/01  (rcs-revision 1.22)
\pgf@objectcount=\count118
))) (/sw/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
File: pgfsyssoftpath.code.tex 2008/07/18  (rcs-revision 1.7)
\pgfsyssoftpath@smallbuffer@items=\count119
\pgfsyssoftpath@bigbuffer@items=\count120
)
(/sw/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
File: pgfsysprotocol.code.tex 2006/10/16  (rcs-revision 1.4)
))
(/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
Package: pgfcore 2010/04/11 v2.10 (rcs-revision 1.7)

(/sw/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
(/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
(/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
(/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex
\pgfmath@dimen=\dimen138
\pgfmath@count=\count121
\pgfmath@box=\box37
\pgfmath@toks=\toks35
\pgfmath@stack@operand=\toks36
\pgfmath@stack@operation=\toks37
)
(/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex
(/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex)
(/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.
tex)
(/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex)
(/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex
) (/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex)
(/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex)
(/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex)))
(/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex
\c@pgfmathroundto@lastzeros=\count122
))
(/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex
File: pgfcorepoints.code.tex 2010/04/09  (rcs-revision 1.20)
\pgf@picminx=\dimen139
\pgf@picmaxx=\dimen140
\pgf@picminy=\dimen141
\pgf@picmaxy=\dimen142
\pgf@pathminx=\dimen143
\pgf@pathmaxx=\dimen144
\pgf@pathminy=\dimen145
\pgf@pathmaxy=\dimen146
\pgf@xx=\dimen147
\pgf@xy=\dimen148
\pgf@yx=\dimen149
\pgf@yy=\dimen150
\pgf@zx=\dimen151
\pgf@zy=\dimen152
)
(/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex
File: pgfcorepathconstruct.code.tex 2010/08/03  (rcs-revision 1.24)
\pgf@path@lastx=\dimen153
\pgf@path@lasty=\dimen154
) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex
File: pgfcorepathusage.code.tex 2008/04/22  (rcs-revision 1.12)
\pgf@shorten@end@additional=\dimen155
\pgf@shorten@start@additional=\dimen156
)
(/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex
File: pgfcorescopes.code.tex 2010/09/08  (rcs-revision 1.34)
\pgfpic=\box38
\pgf@hbox=\box39
\pgf@layerbox@main=\box40
\pgf@picture@serial@count=\count123
)
(/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex
File: pgfcoregraphicstate.code.tex 2008/04/22  (rcs-revision 1.9)
\pgflinewidth=\dimen157
)
(/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.te
x
File: pgfcoretransformations.code.tex 2009/06/10  (rcs-revision 1.11)
\pgf@pt@x=\dimen158
\pgf@pt@y=\dimen159
\pgf@pt@temp=\dimen160
) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
File: pgfcorequick.code.tex 2008/10/09  (rcs-revision 1.3)
)
(/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex
File: pgfcoreobjects.code.tex 2006/10/11  (rcs-revision 1.2)
)
(/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex
File: pgfcorepathprocessing.code.tex 2008/10/09  (rcs-revision 1.8)
) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex
File: pgfcorearrows.code.tex 2008/04/23  (rcs-revision 1.11)
)
(/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
File: pgfcoreshade.code.tex 2008/11/23  (rcs-revision 1.13)
\pgf@max=\dimen161
\pgf@sys@shading@range@num=\count124
)
(/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
File: pgfcoreimage.code.tex 2010/03/25  (rcs-revision 1.16)

(/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex
File: pgfcoreexternal.code.tex 2010/09/01  (rcs-revision 1.17)
\pgfexternal@startupbox=\box41
))
(/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex
File: pgfcorelayers.code.tex 2010/08/27  (rcs-revision 1.2)
)
(/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex
File: pgfcoretransparency.code.tex 2008/01/17  (rcs-revision 1.2)
)
(/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex
File: pgfcorepatterns.code.tex 2009/07/02  (rcs-revision 1.3)
)))
(/sw/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex
File: pgfmoduleshapes.code.tex 2010/09/09  (rcs-revision 1.13)
\pgfnodeparttextbox=\box42
)
(/sw/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex
File: pgfmoduleplot.code.tex 2010/10/22  (rcs-revision 1.8)
)
(/sw/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty
Package: pgfcomp-version-0-65 2007/07/03 v2.10 (rcs-revision 1.7)
\pgf@nodesepstart=\dimen162
\pgf@nodesepend=\dimen163
)
(/sw/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
Package: pgfcomp-version-1-18 2007/07/23 v2.10 (rcs-revision 1.1)
))
(/sw/share/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
(/sw/share/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
(/sw/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex))
(/sw/share/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
Package: pgffor 2010/03/23 v2.10 (rcs-revision 1.18)
\pgffor@iter=\dimen164
\pgffor@skip=\dimen165
\pgffor@stack=\toks38
\pgffor@toks=\toks39
))
(/sw/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
Package: tikz 2010/10/13 v2.10 (rcs-revision 1.76)

(/sw/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex
File: pgflibraryplothandlers.code.tex 2010/05/31 v2.10 (rcs-revision 1.15)
\pgf@plot@mark@count=\count125
\pgfplotmarksize=\dimen166
)
\tikz@lastx=\dimen167
\tikz@lasty=\dimen168
\tikz@lastxsaved=\dimen169
\tikz@lastysaved=\dimen170
\tikzleveldistance=\dimen171
\tikzsiblingdistance=\dimen172
\tikz@figbox=\box43
\tikz@tempbox=\box44
\tikztreelevel=\count126
\tikznumberofchildren=\count127
\tikznumberofcurrentchild=\count128
\tikz@fig@count=\count129
 (/sw/share/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex
File: pgfmodulematrix.code.tex 2010/08/24  (rcs-revision 1.4)
\pgfmatrixcurrentrow=\count130
\pgfmatrixcurrentcolumn=\count131
\pgf@matrix@numberofcolumns=\count132
)
\tikz@expandcount=\count133

(/sw/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryt
opaths.code.tex
File: tikzlibrarytopaths.code.tex 2008/06/17 v2.10 (rcs-revision 1.2)
))) (./tikz-qtree.sty (./pgftree.sty (./pgfsubpic.sty
(./pgfsubpic.tex
\pgf@subpicminx=\dimen173
\pgf@subpicminy=\dimen174
\pgf@subpicmaxx=\dimen175
\pgf@subpicmaxy=\dimen176
)) (./pgftree.tex
\levelsep=\dimen177
\subtreesep=\dimen178
\smuggle@levelsep=\dimen179
\smuggle@subtreesep=\dimen180
\this@levelsep=\dimen181
\this@subtreesep=\dimen182
\pgftree@childx=\dimen183
\pgftree@savechildx=\dimen184
\pgftree@childy=\dimen185
\pgftree@savechildy=\dimen186
\pgftree@childi=\count134
\pgftree@savechildi=\count135
\pgftree@level=\count136
\pgftree@depth=\dimen187
\pgf@subpic@hbox@children=\box45
\pgf@subpic@minx@children=\dimen188
\pgf@subpic@miny@children=\dimen189
\pgf@subpic@maxx@children=\dimen190
\pgf@subpic@maxy@children=\dimen191
\pgftree@lastchildx=\dimen192
\pgftree@lastchildy=\dimen193
)) (./tikz-qtree.tex
\@result=\toks40
\child@list=\toks41
\root@node=\toks42
))
(/sw/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarym
atrix.code.tex
File: tikzlibrarymatrix.code.tex 2008/06/18 v2.10 (rcs-revision 1.2)
)
(/sw/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryd
ecorations.pathreplacing.code.tex
(/sw/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryd
ecorations.code.tex
(/sw/share/texmf-dist/tex/generic/pgf/modules/pgfmoduledecorations.code.tex
\pgfdecoratedcompleteddistance=\dimen194
\pgfdecoratedremainingdistance=\dimen195
\pgfdecoratedinputsegmentcompleteddistance=\dimen196
\pgfdecoratedinputsegmentremainingdistance=\dimen197
\pgf@decorate@distancetomove=\dimen198
\pgf@decorate@repeatstate=\count137
\pgfdecorationsegmentamplitude=\dimen199
\pgfdecorationsegmentlength=\dimen200
)
\tikz@lib@dec@box=\box46
)
(/sw/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecoratio
ns.pathreplacing.code.tex)) (./headerhot.tex
\disp=\skip47
\textwidthminustwomm=\skip48
\textwidthminushalfcm=\skip49
\textwidthminusonecm=\skip50
\textwidthminustwocm=\skip51
\textwidthminusfourcm=\skip52
\textwidthminussixcm=\skip53
\yinibox=\box47
) (./headerforformulas.tex)
(./headersugarterms.tex) (./headertheorem.tex
\c@theorem=\count138
) (./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.
)) (./specialfonts.tex)
(./headernamesrest.tex)) (./nocolor.aux)
\openout1 = `nocolor.aux'.

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

(/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 37.

(/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=\count139
)
LaTeX Info: Redefining \ref on input line 37.
LaTeX Info: Redefining \pageref on input line 37.
 (./nocolor.out)
(./nocolor.out)
\openout3 = `nocolor.out'.

 ABD: EveryShipout initializing macros
LaTeX Font Info:    Try loading font information for T1+phv on input line 39.

(/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 T1+pcr on input line 39.

(/sw/share/texmf-dist/tex/latex/psnfss/t1pcr.fd
File: t1pcr.fd 2001/06/04 font definitions for T1/pcr.
)
File: Brockenbahn.ps.gz Graphic file (type eps)
 <Brockenbahn.ps.gz>
LaTeX Font Info:    Try loading font information for U+msa on input line 39.

(/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 39.

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


]
Overfull \hbox (21.88376pt too wide) in paragraph at lines 41--41
[]\T1/phv/b/n/16 SpecificityofExplanationsinLogicProgramm.[] 
 []

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 44.
LaTeX Font Info:    Font shape `T1/ptm/bx/n' in size <12> not available
(Font)              Font shape `T1/ptm/b/n' tried instead on input line 46.
[2

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


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


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


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


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


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


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

[3

] [3

] [3

] [3

]
Overfull \hbox (2.70546pt too wide) in paragraph at lines 107--107
[]\T1/phv/b/n/16 Specificationswillalwaysbegivenby3sets:[] 
 []

LaTeX Font Info:    Calculating math sizes for size <14> on input line 107.
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 107.
[4

]
Overfull \hbox (2.70546pt too wide) in paragraph at lines 107--107
[]\T1/phv/b/n/16 Specificationswillalwaysbegivenby3sets:[] 
 []

[4

]
Overfull \hbox (2.70546pt too wide) in paragraph at lines 107--107
[]\T1/phv/b/n/16 Specificationswillalwaysbegivenby3sets:[] 
 []

[4

] [5

] [5

]
Underfull \hbox (badness 10000) in paragraph at lines 172--188
[][]
 []

[6

]
Overfull \hbox (4.51349pt too wide) in paragraph at lines 190--190
[]\T1/phv/b/n/16 Ex.2of[Poole,1985].Pref.of``MoreConcise''[] 
 []


Underfull \hbox (badness 10000) in paragraph at lines 222--240
[][]
 []

[7

]
Underfull \hbox (badness 10000) in paragraph at lines 274--297
[][]
 []


Overfull \hbox (13.09698pt too wide) in paragraph at lines 274--297
[]$
 []

[8

] [9

] [9

] [9

]
Overfull \hbox (16.49687pt too wide) in paragraph at lines 355--355
[]\T1/phv/b/n/16 Definition\T1/ptm/m/n/16 [[]\T1/phv/b/n/16 Minimal[]\T1/ptm/m/
n/16 ][[]\T1/phv/b/n/16 Simplified[]\T1/ptm/m/n/16 ]\T1/phv/b/n/16 ActivationSe
t[] 
 []

[10

]
Overfull \hbox (16.49687pt too wide) in paragraph at lines 355--355
[]\T1/phv/b/n/16 Definition\T1/ptm/m/n/16 [[]\T1/phv/b/n/16 Minimal[]\T1/ptm/m/
n/16 ][[]\T1/phv/b/n/16 Simplified[]\T1/ptm/m/n/16 ]\T1/phv/b/n/16 ActivationSe
t[] 
 []

[10

]

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

[11

] [11

]
Overfull \hbox (24.65688pt too wide) in paragraph at lines 398--398
[]\T1/phv/b/n/16 ExampleNotTransitive.Pref.of``MorePrecise''[] 
 []

[12

]
Overfull \hbox (18.87527pt too wide) in paragraph at lines 500--500
[]\T1/phv/b/n/16 Conclusion:NovelSpecificityRelationsare...[] 
 []

[13

]
Overfull \hbox (11.03575pt too wide) in paragraph at lines 515--515
[]\T1/phv/b/n/16 [Poole,1985,Example6]:Monotonicityw.r.t.$\OMS/cmsy/m/n/17.28 ^
$[] 
 []


Overfull \hbox (1.44316pt too wide) in paragraph at lines 583--592
[]| $[][][][][]\OML/cmm/m/it/12 ;$$[][][][][];$\T1/phv/m/n/12 but$[][][][][]\OM
L/cmm/m/it/12 :$  
 []


Overfull \hbox (11.63387pt too wide) in paragraph at lines 593--603
[]| $[][][][][]\OML/cmm/m/it/12 ;$$[][][][][];$\T1/phv/m/n/12 so$[][][][][]\OML
/cmm/m/it/12 :$
 []

[14

]
Overfull \hbox (1.44316pt too wide) in paragraph at lines 671--680
[]| $[][][][][]\OML/cmm/m/it/12 ;$$[][][][][];$\T1/phv/m/n/12 but$[][][][][]\OM
L/cmm/m/it/12 :$  
 []


Overfull \hbox (11.24474pt too wide) in paragraph at lines 681--691
[]| $[][][][][]\OML/cmm/m/it/12 ;$$[][][][][];$\T1/phv/m/n/12 so$[][][][][]\OML
/cmm/m/it/12 :$
 []

[15

] [16

] [17

]
Overfull \hbox (18.22446pt too wide) in paragraph at lines 823--823
[]\T1/phv/b/n/16 ``Precisevs.Concise'' ,3[]Var.[Poole,1985,Ex.6][] 
 []

[18

]
Overfull \hbox (5.31699pt too wide) in paragraph at lines 890--890
[]\T1/phv/b/n/16 [Stolzenbg,2003,Ex.11]:NoPruningfor$\U/msa/m/n/17.28 .[]$\T1/p
hv/b/n/16 ![] 
 []

[19

] [20

]
Overfull \hbox (2.44693pt too wide) in paragraph at lines 1086--1131
[]| []|  $[]$  
 []

[21

] [22

]
Overfull \hbox (24.65688pt too wide) in paragraph at lines 1204--1204
[]\T1/phv/b/n/16 ExampleNotTransitive.Pref.of``MorePrecise''[] 
 []

[23

] [24

] [25

] [26

] [27

] [28

]
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 1421.
 [29

] [30

] (./nocolor.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:
 19354 strings out of 94501
 311071 string characters out of 1176137
 366709 words of memory out of 1500000
 21572 multiletter control sequences out of 10000+50000
 64417 words of font info for 122 fonts, out of 1200000 for 2000
 1205 hyphenation exceptions out of 8191
 57i,26n,71p,428b,1377s stack positions out of 5000i,500n,6000p,200000b,5000s

Output written on nocolor.dvi (40 pages, 245940 bytes).