This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) (format=pdflatex 2009.4.25)  17 FEB 2016 11:59
entering extended mode
**all
(./all.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.
(./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 hpdftex*
(/sw/share/texmf-dist/tex/latex/hyperref/hpdftex.def
File: hpdftex.def 2003/11/30 v6.74m Hyperref driver for pdfTeX

(/sw/share/texmf-dist/tex/latex/psnfss/pifont.sty
Package: pifont 2004/09/15 PSNFSS-v9.2 Pi font support (SPQR) 
LaTeX Font Info:    Try loading font information for U+pzd on input line 63.

(/sw/share/texmf-dist/tex/latex/psnfss/upzd.fd
File: upzd.fd 2001/06/04 font definitions for U/pzd.
)
LaTeX Font Info:    Try loading font information for U+psy on input line 64.

(/sw/share/texmf-dist/tex/latex/psnfss/upsy.fd
File: upsy.fd 2001/06/04 font definitions for U/psy.
))
\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: pdftex.def on input line 80.

(/sw/share/texmf-dist/tex/latex/graphics/pdftex.def
File: pdftex.def 2002/06/19 v0.03k graphics/color for pdftex
\Gread@gobject=\count93
))
\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=\count94
\lst@gtempboxa=\box26
\lst@token=\toks17
\lst@length=\count95
\lst@currlwidth=\dimen108
\lst@column=\count96
\lst@pos=\count97
\lst@lostspace=\dimen109
\lst@width=\dimen110
\lst@newlines=\count98
\lst@lineno=\count99
\c@lstlisting=\count100
\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=\count101
\lst@skipnumbers=\count102
\lst@framebox=\box27
)
(/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=\toks18
\thm@bodyfont=\toks19
\thm@headfont=\toks20
\thm@notefont=\toks21
\thm@headpunct=\toks22
\thm@preskip=\skip43
\thm@postskip=\skip44
\thm@headsep=\skip45
\dth@everypar=\toks23
)
(/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=\count103
\calc@Bcount=\count104
\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=\count105
)
(/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=\toks24
\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=\count106
LaTeX Info: Redefining \frac on input line 211.
\uproot@=\count107
\leftroot@=\count108
LaTeX Info: Redefining \overline on input line 307.
\classnum@=\count109
\DOTSCASE@=\count110
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@=\box28
\strutbox@=\box29
\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=\count111
\c@MaxMatrixCols=\count112
\dotsspace@=\muskip11
\c@parentequation=\count113
\dspbrk@lvl=\count114
\tag@help=\toks25
\row@=\count115
\column@=\count116
\maxfields@=\count117
\andhelp@=\toks26
\eqnshift@=\dimen117
\alignsep@=\dimen118
\tagshift@=\dimen119
\tagwidth@=\dimen120
\totwidth@=\dimen121
\lineht@=\dimen122
\@envbody=\toks27
\multlinegap=\skip49
\multlinetaggap=\skip50
\mathdisplay@stack=\toks28
LaTeX Info: Redefining \[ on input line 2666.
LaTeX Info: Redefining \] on input line 2667.
)
\g_MT_multlinerow_int=\count118
\l_MT_multwidth_dim=\dimen123
)
\l_EQ_equationtype_int=\count119
\l_EQ_alignmentmode_int=\count120
\l_EQ_totalwidth_dim=\dimen124
\l_EQ_displaywidth_dim=\dimen125
\l_EQ_temp_linewidth_dim=\dimen126
\EmphEqdelimitershortfall=\dimen127
\EmphEqdelimiterfactor=\count121
\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=\box30
\EQ_tag_box=\box31
\g_EQ_temprow_int=\count122
)
\@MarginSize=\skip51

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

(/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=\toks30
\footnotemargin=\dimen137


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

\c@pp@next@reset=\count126
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)
) (./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=\count127
\float@exts=\toks31
\float@box=\box32
\@float@everytoks=\toks32
\@floatcapt=\box33
)
\@float@every@figure=\toks33
\@float@every@table=\toks34

(/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=\count128
)
(/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/namedhelper.tex)
(/Users/cp/svn/hilbertbernays/trunk/specialfonts.tex)
(/Users/cp/svn/hilbertbernays/trunk/headerhot.tex
\disp=\skip62
\textwidthminustwomm=\skip63
\textwidthminushalfcm=\skip64
\textwidthminusonecm=\skip65
\textwidthminustwocm=\skip66
\textwidthminusfourcm=\skip67
\textwidthminussixcm=\skip68
\yinibox=\box34
)
(/Users/cp/svn/hilbertbernays/trunk/headernamesrest.tex)
(/Users/cp/svn/hilbertbernays/trunk/headerforformulas.tex)
(/Users/cp/svn/hilbertbernays/trunk/headersugarterms.tex)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/header10pt.tex)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/headertheorem.tex
\c@theorem=\count129
)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/headerproof.tex)
(/Users/cp/svn/hilbertbernays/trunk/quotation.tex)
(/Users/cp/svn/hilbertbernays/trunk/hbdictionary.tex) (./all.aux)
\openout1 = `all.aux'.

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

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

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

 (/sw/share/texmf-dist/tex/context/base/supp-pdf.tex
(/sw/share/texmf-dist/tex/context/base/supp-mis.tex
loading : Context Support Macros / Miscellaneous (2004.10.26)
\protectiondepth=\count131
\scratchcounter=\count132
\scratchtoks=\toks35
\scratchdimen=\dimen143
\scratchskip=\skip69
\scratchmuskip=\muskip12
\scratchbox=\box35
\scratchread=\read1
\scratchwrite=\write4
\zeropoint=\dimen144
\onepoint=\dimen145
\onebasepoint=\dimen146
\minusone=\count133
\thousandpoint=\dimen147
\onerealpoint=\dimen148
\emptytoks=\toks36
\nextbox=\box36
\nextdepth=\dimen149
\everyline=\toks37
\!!counta=\count134
\!!countb=\count135
\recursecounter=\count136
)
loading : Context Support Macros / PDF (2004.03.26)
\nofMPsegments=\count137
\nofMParguments=\count138
\MPscratchCnt=\count139
\MPscratchDim=\dimen150
\MPnumerator=\count140
\everyMPtoPDFconversion=\toks38
)
-------------------- 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: pdftex
-------------------- 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=\skip70
\RaggedLeftLeftskip=\skip71
\RaggedRightLeftskip=\skip72
\CenteringRightskip=\skip73
\RaggedLeftRightskip=\skip74
\RaggedRightRightskip=\skip75
\CenteringParfillskip=\skip76
\RaggedLeftParfillskip=\skip77
\RaggedRightParfillskip=\skip78
\JustifyingParfillskip=\skip79
\CenteringParindent=\skip80
\RaggedLeftParindent=\skip81
\RaggedRightParindent=\skip82
\JustifyingParindent=\skip83
)
LaTeX Font Info:    Try loading font information for U+lasy on input line 48.

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

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

(/Users/cp/svn/hilbertbernays/trunk/umsb.fd
File: umsb.fd 2002/01/19 v2.2g AMS font definitions
)
LaTeX Font Info:    Try loading font information for T1+lmtt on input line 48.

(/sw/share/texmf-dist/tex/latex/lm/t1lmtt.fd
File: t1lmtt.fd 2003/07/22 v1.1 Font defs for Latin Modern
)
Underfull \hbox (badness 1226) in paragraph at lines 48--67
[]\T1/lmr/m/n/10 We in-ves-ti-gate the elim-i-na-tion of quan-ti-fiers in first
-order for-mu-las via
 []


Underfull \hbox (badness 10000) in paragraph at lines 48--67

 []

[1

{/sw/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2]
LaTeX Font Info:    Try loading font information for OMS+lmr on input line 122.

LaTeX Font Info:    No file OMSlmr.fd. on input line 122.


LaTeX Font Warning: Font shape `OMS/lmr/m/n' undefined
(Font)              using `OMS/cmsy/m/n' instead
(Font)              for symbol `textbullet' on input line 122.

[3] [4] [5]
Underfull \vbox (badness 10000) has occurred while \output is active []

 [6]
Underfull \vbox (badness 10000) has occurred while \output is active []

 [7]
[8] [9]
Underfull \hbox (badness 2556) in paragraph at lines 805--825
\T1/lmr/m/n/10.95 In case of  $\OML/cmm/m/it/10.95 b[][][]$\T1/lmr/m/n/10.95 , 
 we have  $\OML/cmm/m/it/10.95 b[][]b[][]b[][]a[]$\T1/lmr/m/n/10.95 ,  i.e. the
 de-sired
 []


Underfull \hbox (badness 1215) in paragraph at lines 805--825
\T1/lmr/m/n/10.95 Otherwise we have  $\OML/cmm/m/it/10.95 b[][][]$\T1/lmr/m/n/1
0.95 .  Thus, by item3,  there is some $\OML/cmm/m/it/10.95 b[]$ \T1/lmr/m/n/10
.95 with
 []


Underfull \vbox (badness 10000) has occurred while \output is active []

 [10]
[11] [12]
Underfull \vbox (badness 3884) has occurred while \output is active []

 [13]
[14] [15]
Underfull \vbox (badness 1852) has occurred while \output is active []

 [16]
[17]
Underfull \vbox (badness 10000) has occurred while \output is active []

 [18]
Underfull \hbox (badness 5533) in paragraph at lines 1542--1547
[]\T1/lmr/m/n/10 Jean-Pierre Jouan-naud and Mit-suhiro Okada.  A
 []


Underfull \hbox (badness 2495) in paragraph at lines 1570--1572
\T1/lmr/m/it/10 Amster-dam, 1991\T1/lmr/m/n/10 . IEEE Press, 1991.  $\T1/lmtt/m
/n/10 http : / / lii . rwth-[]aachen . de / lics /
 []


Underfull \vbox (badness 10000) has occurred while \output is active []

 [19]
Underfull \hbox (badness 1348) in paragraph at lines 1632--1637
\T1/lmr/m/sc/10 Peano \T1/lmr/m/n/10 Arith-metic --- au-to-mat-i-cally prov-ing
 ter-mi-na-tion of the \T1/lmr/m/sc/10 Good-stein
 []

[20] (./all.aux)

LaTeX Font Warning: Some font shapes were not available, defaults substituted.

 ) 
Here is how much of TeX's memory you used:
 14684 strings out of 94500
 215186 string characters out of 1176114
 308264 words of memory out of 1500000
 16917 multiletter control sequences out of 10000+50000
 93658 words of font info for 137 fonts, out of 1200000 for 2000
 1228 hyphenation exceptions out of 8191
 46i,17n,45p,880b,488s stack positions out of 5000i,500n,6000p,200000b,5000s
PDF statistics:
 393 PDF objects out of 65536
 93 named destinations out of 20000
 137 words of extra memory for PDF output out of 65536
{/sw/share/texmf-dist/fonts/enc/dvips/lm/cork-lm.enc}</sw/share/texmf-dist/fo
nts/type1/public/lm/lmri7.pfb></sw/share/texmf-dist/fonts/type1/public/lm/lmr6.
pfb></sw/share/texmf-dist/fonts/type1/bluesky/cm/cmmi6.pfb></sw/share/texmf-dis
t/fonts/type1/bluesky/symbols/msbm10.pfb></sw/share/texmf-dist/fonts/type1/blue
sky/cm/cmsy6.pfb></sw/share/texmf-dist/fonts/type1/bluesky/cm/cmbx8.pfb></sw/sh
are/texmf-dist/fonts/type1/bluesky/cm/cmr6.pfb></sw/share/texmf-dist/fonts/type
1/bluesky/symbols/msam10.pfb></sw/share/texmf-dist/fonts/type1/bluesky/cm/cmbx1
0.pfb></sw/share/texmf-dist/fonts/type1/bluesky/cm/cmsy8.pfb></sw/share/texmf-d
ist/fonts/type1/bluesky/cm/cmss10.pfb></sw/share/texmf-dist/fonts/type1/bluesky
/cm/cmmi8.pfb></sw/share/texmf-dist/fonts/type1/bluesky/cm/cmsy10.pfb> </sw/var
/lib/texmf/fonts/pk/ljfour/public/gothic/yfrak.500pk></sw/share/texmf-dist/font
s/type1/bluesky/cm/cmex10.pfb> </sw/var/lib/texmf/fonts/pk/ljfour/public/gothic
/yfrak.657pk></sw/share/texmf-dist/fonts/type1/public/lm/lmr8.pfb></sw/share/te
xmf-dist/fonts/type1/bluesky/cm/cmr8.pfb></sw/share/texmf-dist/fonts/type1/blue
sky/cm/cmmi10.pfb></sw/share/texmf-dist/fonts/type1/bluesky/cm/cmr10.pfb></sw/s
hare/texmf-dist/fonts/type1/bluesky/cm/cmsy9.pfb></sw/share/texmf-dist/fonts/ty
pe1/public/lm/lmbx12.pfb></sw/share/texmf-dist/fonts/type1/public/lm/lmr9.pfb><
/sw/share/texmf-dist/fonts/type1/public/lm/lmbx9.pfb></sw/share/texmf-dist/font
s/type1/public/lm/lmr10.pfb></sw/share/texmf-dist/fonts/type1/public/lm/lmbx10.
pfb></sw/share/texmf-dist/fonts/type1/public/lm/lmtt10.pfb></sw/share/texmf-dis
t/fonts/type1/public/lm/lmri10.pfb></sw/share/texmf-dist/fonts/type1/bluesky/cm
/cmmi12.pfb></sw/share/texmf-dist/fonts/type1/public/lm/lmcsc10.pfb>
Output written on all.pdf (20 pages, 340554 bytes).