This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) (format=latex 2009.4.25)  29 MAR 2017 10:45
entering extended mode
**pdf
(./pdf.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/ifcolog.cls
Document Class: ifcolog 
(/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/size11.clo
File: size11.clo 2004/02/16 v1.4f 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=\dimen102
)
(/Users/cp/svn/hilbertbernays/trunk/url.sty
\Urlmuskip=\muskip10
Package: url 2005/06/27  ver 3.2  Verb mode for urls, etc.
)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/hyperref.sty
Package: hyperref 2003/11/30 v6.74m Hypertext links for LaTeX

(/Users/cp/svn/hilbertbernays/trunk/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks14
)
\@linkdim=\dimen103
\Hy@linkcounter=\count87
\Hy@pagecounter=\count88

(/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: 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.
\Fld@menulength=\count89
\Field@Width=\dimen104
\Fld@charsize=\dimen105
\Choice@toks=\toks15
\Field@toks=\toks16
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=\count90
\c@Hfootnote=\count91
)
*hyperref using default 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=\toks17
\pdf@box=\box26
\pdf@toks=\toks18
\pdf@defaulttoks=\toks19
\Fld@listcount=\count92
\@outlinefile=\write3
))
(/Users/cp/svn/hilbertbernays/trunk/graphicx.sty
Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)

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

(/Users/cp/svn/hilbertbernays/trunk/dvips.def
File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
))
\Gin@req@height=\dimen106
\Gin@req@width=\dimen107
)
(/sw/share/texmf-dist/tex/latex/lm/lmodern.sty
Package: lmodern 2003/07/16
)
(/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.
))
(/sw/share/texmf-dist/tex/latex/listings/listings.sty
\lst@mode=\count93
\lst@gtempboxa=\box27
\lst@token=\toks20
\lst@length=\count94
\lst@currlwidth=\dimen108
\lst@column=\count95
\lst@pos=\count96
\lst@lostspace=\dimen109
\lst@width=\dimen110
\lst@newlines=\count97
\lst@lineno=\count98
\c@lstlisting=\count99
\lst@maxwidth=\dimen111

(/sw/share/texmf-dist/tex/latex/listings/lstpatch.sty
File: lstpatch.sty 2004/10/17 1.3b (Carsten Heinz)
)
(/sw/share/texmf-dist/tex/latex/listings/lstmisc.sty
File: lstmisc.sty 2004/09/07 1.3 (Carsten Heinz)
\c@lstnumber=\count100
\lst@skipnumbers=\count101
\lst@framebox=\box28
)
(/sw/share/texmf-dist/tex/latex/listings/listings.cfg
File: listings.cfg 2004/09/05 1.3 listings configuration
))
Package: listings 2004/10/17 1.3b (Carsten Heinz)

(/Users/cp/svn/hilbertbernays/trunk/latexsym.sty
Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols)
\symlasy=\mathgroup4
LaTeX Font Info:    Overwriting symbol font `lasy' in version `bold'
(Font)                  U/lasy/m/n --> U/lasy/b/n on input line 47.
)
(/sw/share/texmf-dist/tex/latex/amscls/amsthm.sty
Package: amsthm 2004/08/06 v2.20
\thm@style=\toks21
\thm@bodyfont=\toks22
\thm@headfont=\toks23
\thm@notefont=\toks24
\thm@headpunct=\toks25
\thm@preskip=\skip43
\thm@postskip=\skip44
\thm@headsep=\skip45
\dth@everypar=\toks26
)
(/sw/share/texmf-dist/tex/latex/mh/empheq.sty
Package: empheq 2004/10/10 v2.11a Emphasizing equations (MH) 

(/sw/share/texmf-dist/tex/latex/mh/mhsetup.sty
Package: mhsetup 2004/10/10 v1.0b programming setup (MH)
)
(/sw/share/texmf-dist/tex/latex/mh/mathtools.sty
Package: mathtools 2004/10/10 v1.01a mathematical typesetting tools (MH)

(/sw/share/texmf-dist/tex/latex/tools/calc.sty
Package: calc 1998/07/07 v4.1b Infix arithmetic (KKT,FJ)
\calc@Acount=\count102
\calc@Bcount=\count103
\calc@Adimen=\dimen112
\calc@Bdimen=\dimen113
\calc@Askip=\skip46
\calc@Bskip=\skip47
LaTeX Info: Redefining \setlength on input line 59.
LaTeX Info: Redefining \addtolength on input line 60.
\calc@denominator=\count104
)
(/sw/share/texmf-dist/tex/latex/amsmath/amsmath.sty
Package: amsmath 2000/07/18 v2.13 AMS math features
\@mathmargin=\skip48

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

(/sw/share/texmf-dist/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0
\@emptytoks=\toks27
\ex@=\dimen114
))
(/sw/share/texmf-dist/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d
\pmbraise@=\dimen115
)
(/sw/share/texmf-dist/tex/latex/amsmath/amsopn.sty
Package: amsopn 1999/12/14 v2.01 operator names
)
\inf@bad=\count105
LaTeX Info: Redefining \frac on input line 211.
\uproot@=\count106
\leftroot@=\count107
LaTeX Info: Redefining \overline on input line 307.
\classnum@=\count108
\DOTSCASE@=\count109
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@=\box29
\strutbox@=\box30
\big@size=\dimen116
LaTeX Font Info:    Redeclaring font encoding OML on input line 567.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.
\macc@depth=\count110
\c@MaxMatrixCols=\count111
\dotsspace@=\muskip11
\c@parentequation=\count112
\dspbrk@lvl=\count113
\tag@help=\toks28
\row@=\count114
\column@=\count115
\maxfields@=\count116
\andhelp@=\toks29
\eqnshift@=\dimen117
\alignsep@=\dimen118
\tagshift@=\dimen119
\tagwidth@=\dimen120
\totwidth@=\dimen121
\lineht@=\dimen122
\@envbody=\toks30
\multlinegap=\skip49
\multlinetaggap=\skip50
\mathdisplay@stack=\toks31
LaTeX Info: Redefining \[ on input line 2666.
LaTeX Info: Redefining \] on input line 2667.
)
\g_MT_multlinerow_int=\count117
\l_MT_multwidth_dim=\dimen123
)
\l_EQ_equationtype_int=\count118
\l_EQ_alignmentmode_int=\count119
\l_EQ_totalwidth_dim=\dimen124
\l_EQ_displaywidth_dim=\dimen125
\l_EQ_temp_linewidth_dim=\dimen126
\EmphEqdelimitershortfall=\dimen127
\EmphEqdelimiterfactor=\count120
\g_EQ_toptag_height_dim=\dimen128
\g_EQ_bottomtag_depth_dim=\dimen129
\g_EQ_toprow_height_dim=\dimen130
\g_EQ_bottomrow_depth_dim=\dimen131
\g_EQ_widesttag_dim=\dimen132
\EQ_mathdisplay_box=\box31
\EQ_tag_box=\box32
\g_EQ_temprow_int=\count121
)
\@MarginSize=\skip51

(/sw/share/texmf-dist/tex/latex/geometry/geometry.sty
Package: geometry 2002/07/08 v3.2 Page Geometry
\Gm@cnth=\count122
\Gm@cntv=\count123
\c@Gm@tempcnt=\count124
\Gm@bindingoffset=\dimen133
\Gm@wd@mp=\dimen134
\Gm@odd@mp=\dimen135
\Gm@even@mp=\dimen136
\Gm@dimlist=\toks32

(/sw/share/texmf-dist/tex/latex/geometry/geometry.cfg))
(/sw/share/texmf-dist/tex/latex/footmisc/footmisc.sty
Package: footmisc 2004/05/02 v5.3c a miscellany of footnote facilities
\FN@temptoken=\toks33
\footnotemargin=\dimen137


LaTeX Warning: Command \@footnotetext  has changed.
               Check if current package is valid.

\c@pp@next@reset=\count125
Package footmisc Info: Declaring symbol style bringhurst on input line 802.
Package footmisc Info: Declaring symbol style chicago on input line 803.
Package footmisc Info: Declaring symbol style wiley on input line 804.
Package footmisc Info: Declaring symbol style lamport-robust on input line 808.

Package footmisc Info: Declaring symbol style lamport* on input line 816.
Package footmisc Info: Declaring symbol style lamport*-robust on input line 825
.
) (/sw/share/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty
\fancy@headwidth=\skip52
\f@ncyO@elh=\skip53
\f@ncyO@erh=\skip54
\f@ncyO@olh=\skip55
\f@ncyO@orh=\skip56
\f@ncyO@elf=\skip57
\f@ncyO@erf=\skip58
\f@ncyO@olf=\skip59
\f@ncyO@orf=\skip60
)
\firstpageextra=\skip61
 (./xifthen.sty
Package: xifthen 2015/11/05 v1.4.0 Extended ifthen features

(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/ifthen.sty
Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC)
)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/ifmtarg.sty
Package: ifmtarg 2009/09/02 v1.2a check for an empty argument
))
(/sw/share/texmf-dist/tex/latex/float/float.sty
Package: float 2001/11/08 v1.3d Float enhancements (AL)
\c@float@type=\count126
\float@exts=\toks34
\float@box=\box33
\@float@everytoks=\toks35
\@floatcapt=\box34
)
\@float@every@figure=\toks36
\@float@every@table=\toks37

(/sw/share/texmf-dist/tex/latex/caption/caption.sty
Package: caption 2004/07/16 v3.0c Customising captions (AS)
\captionmargin=\dimen138
\captionwidth=\dimen139
\captionindent=\dimen140
\captionparindent=\dimen141
\captionhangindent=\dimen142
Package caption Info: float package v1.2 (or newer) detected on input line 589.

Package caption Info: listings package v1.2 (or newer) detected on input line 6
04.
)
\c@aucifcologcls=\count127
)
(/Users/cp/svn/hilbertbernays/trunk/named.sty)
(/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
\symAMSa=\mathgroup5
\symAMSb=\mathgroup6
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/svn/hilbertbernays/trunk/headernamesrest.tex)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/header.tex
(/Users/cp/svn/hilbertbernays/trunk/headerhot.tex
\disp=\skip62
\textwidthminustwomm=\skip63
\textwidthminushalfcm=\skip64
\textwidthminusonecm=\skip65
\textwidthminustwocm=\skip66
\textwidthminusfourcm=\skip67
\textwidthminussixcm=\skip68
\yinibox=\box35
)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/headerproof.tex))
(/Users/cp/svn/hilbertbernays/trunk/headerforformulas.tex)
(/Users/cp/svn/hilbertbernays/trunk/specialfonts.tex)
(/Users/cp/svn/hilbertbernays/trunk/namedhelper.tex) (./pdf.aux)
\openout1 = `pdf.aux'.

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

(/sw/share/texmf-dist/tex/latex/lm/t1lmr.fd
File: t1lmr.fd 2003/07/22 v1.1 Font defs for Latin Modern
)
Package hyperref Info: Link coloring OFF on input line 26.

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

-------------------- Geometry parameters
paper: user defined
landscape: --
twocolumn: --
twoside: true
asymmetric: --
h-parts: 53.77568pt, 398.33864pt, 53.77568pt
v-parts: 62.59605pt, 597.50789pt, 62.59605pt
hmarginratio: --
vmarginratio: --
lines: --
heightrounded: --
bindingoffset: 0.0pt
truedimen: --
includehead: true
includefoot: true
includemp: --
driver: 
-------------------- Page layout dimensions and switches
\paperwidth  505.89pt
\paperheight 722.7pt
\textwidth  398.33864pt
\textheight 528.90788pt
\oddsidemargin  -18.49431pt
\evensidemargin -18.49431pt
\topmargin  -9.67393pt
\headheight 13.6pt
\headsep    25.0pt
\footskip   30.0pt
\marginparwidth 113.0pt
\marginparsep   10.0pt
\columnsep  10.0pt
\skip\footins  10.0pt plus 4.0pt minus 2.0pt
\hoffset 0.0pt
\voffset 0.0pt
\mag 1000
\@twosidetrue \@mparswitchtrue 
(1in=72.27pt, 1cm=28.45pt)
-----------------------
 (/sw/share/texmf-dist/tex/latex/ms/ragged2e.sty
Package: ragged2e 2003/03/25 v2.04 ragged2e Package (MS)

(/sw/share/texmf-dist/tex/latex/ms/everysel.sty
Package: everysel 1999/06/08 v1.03 EverySelectfont Package (MS)
LaTeX Info: Redefining \selectfont on input line 125.
)
\CenteringLeftskip=\skip69
\RaggedLeftLeftskip=\skip70
\RaggedRightLeftskip=\skip71
\CenteringRightskip=\skip72
\RaggedLeftRightskip=\skip73
\RaggedRightRightskip=\skip74
\CenteringParfillskip=\skip75
\RaggedLeftParfillskip=\skip76
\RaggedRightParfillskip=\skip77
\JustifyingParfillskip=\skip78
\CenteringParindent=\skip79
\RaggedLeftParindent=\skip80
\RaggedRightParindent=\skip81
\JustifyingParindent=\skip82
)
LaTeX Font Info:    Try loading font information for T1+lmtt on input line 30.

(/sw/share/texmf-dist/tex/latex/lm/t1lmtt.fd
File: t1lmtt.fd 2003/07/22 v1.1 Font defs for Latin Modern
)
LaTeX Font Info:    Try loading font information for U+lasy on input line 33.

(/Users/cp/svn/hilbertbernays/trunk/ulasy.fd
File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions
)
LaTeX Font Info:    Try loading font information for U+msa on input line 33.

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

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

] [2] [3] [4] (./pdf.bbl
[5]
Underfull \vbox (badness 10000) has occurred while \output is active []

 [6])
[7] (./pdf.aux) ) 
Here is how much of TeX's memory you used:
 12041 strings out of 94501
 154727 string characters out of 1176137
 239133 words of memory out of 1500000
 14395 multiletter control sequences out of 10000+50000
 79112 words of font info for 111 fonts, out of 1200000 for 2000
 1238 hyphenation exceptions out of 8191
 46i,10n,45p,1015b,456s stack positions out of 5000i,500n,6000p,200000b,5000s

Output written on pdf.dvi (7 pages, 45188 bytes).