This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) (format=latex 2009.4.25) 14 AUG 2014 19:43 entering extended mode **all (./all.tex LaTeX2e <2003/12/01> Babel 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. CP's seki-example.tex, Version 3.14, 2013/09/23 (/Users/cp/WWW/SEKI/forauthors/seki-deckblatt-5.tex CP's seki-deckblatt-5.tex, Version 3.15, 2013/08/19 --- To be used for SEKIs since 2011 --- (/Users/cp/svn/hilbertbernays/trunk/article.cls Document Class: article 1999/01/07 v1.4a Standard LaTeX document class (/Users/cp/svn/hilbertbernays/trunk/size12.clo File: size12.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=\dimen102 ) (/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=\toks14 ) (/sw/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def \pgfutil@abb=\box26 (/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 (/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@=\toks15 ) (/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=\dimen103 \Gin@req@width=\dimen104 ) (/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=\toks16 \pgfkeys@temptoks=\toks17 (/sw/share/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex \pgfkeys@tmptoks=\toks18 )) \pgf@x=\dimen105 \pgf@y=\dimen106 \pgf@xa=\dimen107 \pgf@ya=\dimen108 \pgf@xb=\dimen109 \pgf@yb=\dimen110 \pgf@xc=\dimen111 \pgf@yc=\dimen112 \w@pgf@writea=\write3 \r@pgf@reada=\read1 \c@pgf@counta=\count87 \c@pgf@countb=\count88 \c@pgf@countc=\count89 \c@pgf@countd=\count90 (/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=\count91 ))) (/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=\count92 \pgfsyssoftpath@bigbuffer@items=\count93 ) (/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/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: Driver file: dvips.def on input line 136. 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/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=\dimen113 \pgfmath@count=\count94 \pgfmath@box=\box27 \pgfmath@toks=\toks19 \pgfmath@stack@operand=\toks20 \pgfmath@stack@operation=\toks21 ) (/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=\count95 )) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex File: pgfcorepoints.code.tex 2010/04/09 (rcs-revision 1.20) \pgf@picminx=\dimen114 \pgf@picmaxx=\dimen115 \pgf@picminy=\dimen116 \pgf@picmaxy=\dimen117 \pgf@pathminx=\dimen118 \pgf@pathmaxx=\dimen119 \pgf@pathminy=\dimen120 \pgf@pathmaxy=\dimen121 \pgf@xx=\dimen122 \pgf@xy=\dimen123 \pgf@yx=\dimen124 \pgf@yy=\dimen125 \pgf@zx=\dimen126 \pgf@zy=\dimen127 ) (/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=\dimen128 \pgf@path@lasty=\dimen129 ) (/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=\dimen130 \pgf@shorten@start@additional=\dimen131 ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex File: pgfcorescopes.code.tex 2010/09/08 (rcs-revision 1.34) \pgfpic=\box28 \pgf@hbox=\box29 \pgf@layerbox@main=\box30 \pgf@picture@serial@count=\count96 ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex File: pgfcoregraphicstate.code.tex 2008/04/22 (rcs-revision 1.9) \pgflinewidth=\dimen132 ) (/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=\dimen133 \pgf@pt@y=\dimen134 \pgf@pt@temp=\dimen135 ) (/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=\dimen136 \pgf@sys@shading@range@num=\count97 ) (/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=\box31 )) (/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=\box32 ) (/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=\dimen137 \pgf@nodesepend=\dimen138 ) (/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=\dimen139 \pgffor@skip=\dimen140 \pgffor@stack=\toks22 \pgffor@toks=\toks23 )) (/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=\count98 \pgfplotmarksize=\dimen141 ) \tikz@lastx=\dimen142 \tikz@lasty=\dimen143 \tikz@lastxsaved=\dimen144 \tikz@lastysaved=\dimen145 \tikzleveldistance=\dimen146 \tikzsiblingdistance=\dimen147 \tikz@figbox=\box33 \tikz@tempbox=\box34 \tikztreelevel=\count99 \tikznumberofchildren=\count100 \tikznumberofcurrentchild=\count101 \tikz@fig@count=\count102 (/sw/share/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex File: pgfmodulematrix.code.tex 2010/08/24 (rcs-revision 1.4) \pgfmatrixcurrentrow=\count103 \pgfmatrixcurrentcolumn=\count104 \pgf@matrix@numberofcolumns=\count105 ) \tikz@expandcount=\count106 (/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) ))) (/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=\toks24 \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/svn/hilbertbernays/trunk/named.sty) (/Users/cp/svn/hilbertbernays/trunk/makeidx.sty Package: makeidx 2000/03/29 v1.0m Standard LaTeX package ) \@indexfile=\write4 \openout4 = `all.idx'. Writing index file all.idx (/Users/cp/svn/hilbertbernays/trunk/headerhot.tex \disp=\skip43 \textwidthminustwomm=\skip44 \textwidthminushalfcm=\skip45 \textwidthminusonecm=\skip46 \textwidthminustwocm=\skip47 \textwidthminusfourcm=\skip48 \textwidthminussixcm=\skip49 \yinibox=\box35 ) (/Users/cp/svn/hilbertbernays/trunk/headerforformulas.tex) (/Users/cp/svn/hilbertbernays/trunk/headersugarterms.tex) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/headertheorem.tex \c@theorem=\count107 ) (/Users/cp/svn/hilbertbernays/trunk/namedhelper.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/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/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/rotating.sty Package: rotating 1997/09/26 v2.13 Rotation package (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/ifthen.sty Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC) ) \c@r@tfl@t=\count108 \rot@float@box=\box36 ) \c@theorem=\count109 ) (/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)) (./all.aux) \openout1 = `all.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 141. LaTeX Font Info: ... okay on input line 141. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 141. LaTeX Font Info: ... okay on input line 141. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 141. LaTeX Font Info: ... okay on input line 141. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 141. LaTeX Font Info: ... okay on input line 141. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 141. LaTeX Font Info: ... okay on input line 141. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 141. LaTeX Font Info: ... okay on input line 141. ABD: EveryShipout initializing macros File: dfki.eps Graphic file (type eps) File: ju.eps Graphic file (type eps) File: uds.eps Graphic file (type eps) File: seki-robbi.eps Graphic file (type eps) File: leibniz.eps Graphic file (type eps) LaTeX Font Info: Try loading font information for T1+cmtt on input line 142. (/Users/cp/svn/hilbertbernays/trunk/t1cmtt.fd File: t1cmtt.fd 1999/05/25 v2.5h Standard LaTeX font definitions ) LaTeX Font Info: Try loading font information for U+msa on input line 142. (/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 142. (/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+cmss on input line 142. (/Users/cp/svn/hilbertbernays/trunk/t1cmss.fd File: t1cmss.fd 1999/05/25 v2.5h Standard LaTeX font definitions ) Underfull \vbox (badness 10000) has occurred while \output is active [] [-99 ] Underfull \hbox (badness 10000) in paragraph at lines 142--142 [] Underfull \hbox (badness 10000) in paragraph at lines 142--142 [] Underfull \hbox (badness 10000) in paragraph at lines 142--142 [] Underfull \hbox (badness 10000) in paragraph at lines 142--142 [] Underfull \hbox (badness 10000) in paragraph at lines 142--142 [] Underfull \hbox (badness 10000) in paragraph at lines 142--142 [] Underfull \hbox (badness 10000) in paragraph at lines 142--142 [] Underfull \hbox (badness 10000) in paragraph at lines 142--142 [] [-98] (./all.toc [1 ]) \tf@toc=\write5 \openout5 = `all.toc'. [2] [3 ] [4] [5] [6] [7] LaTeX Font Info: Try loading font information for OMS+cmr on input line 800. (/Users/cp/svn/hilbertbernays/trunk/omscmr.fd File: omscmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions ) LaTeX Font Info: Font shape `OMS/cmr/m/n' in size <12> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 800. [8] [9] [10] [11] Overfull \hbox (3.09746pt too wide) in paragraph at lines 1165--1186 \T1/cmr/m/n/12 from $\OML/cmm/m/it/12 B$ \T1/cmr/m/n/12 by re-mov-ing every [] and re-plac-ing its bound vari-able $\OML/cmm/m/it/12 y$ \T1/cmr/m/n/12 with $ []\OML/cmm/m/it/12 ;$ [] [12] [13] [14] [15 ] [16] [17] [18] Underfull \vbox (badness 10000) has occurred while \output is active [] [19] [20] [21] Overfull \hbox (0.2499pt too wide) in paragraph at lines 2336--2369 \T1/cmr/m/n/12 form of $\OML/cmm/m/it/12 F:$ \T1/cmr/m/n/12 In phase2, for eve ry $\OML/cmm/m/it/12 ^^M$\T1/cmr/m/n/12 -quantifier, we ap-ply the gen-er-al-iz ed rule of [] [] Overfull \hbox (14.08546pt too wide) in paragraph at lines 2405--2430 [] [] [22] Underfull \vbox (badness 10000) has occurred while \output is active [] [23] [24] [25] LaTeX Font Info: Font shape `OMS/cmr/m/it' in size <12> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 2825. [26] [27] [28] [29] [30] Underfull \vbox (badness 10000) has occurred while \output is active [] [31] Underfull \hbox (badness 3009) in paragraph at lines 3561--3577 []\T1/cmr/m/n/12 Finally, our new free-variable ver-sion of []\T1/cmr/m/sc/12 H er-brand\T1/cmr/m/n/12 's Fun-da-men-tal Theorem [] Underfull \vbox (badness 10000) has occurred while \output is active [] [32] File: LoewenheimSkolemHerbrand-FinalBridge.eps.gz Graphic file (type eps) [33] Underfull \vbox (badness 10000) has occurred while \output is active [] [34] [35] Underfull \vbox (badness 5175) has occurred while \output is active [] [36] [37] [38 ] [39] [40] (./all.bbl Underfull \hbox (badness 1168) in paragraph at lines 55--59 []\T1/cmr/m/n/10.95 Matthias Baaz and []ristian G. Fer-müller. Non-elementary [] [41 ] [42] [43] [44] [45] [46] [47]) [48] (./all.ind Overfull \hbox (1.23233pt too wide) in paragraph at lines 10--11 []\T1/cmr/m/n/10.95 Bauer-Mengelberg, Ste-fan (1927--1996), 45, 46 [] [49 ]) (./all.aux) ) Here is how much of TeX's memory you used: 14887 strings out of 94501 242124 string characters out of 1176137 303886 words of memory out of 1500000 17151 multiletter control sequences out of 10000+50000 48406 words of font info for 127 fonts, out of 1200000 for 2000 1205 hyphenation exceptions out of 8191 58i,23n,55p,434b,448s stack positions out of 5000i,500n,6000p,200000b,5000s Output written on all.dvi (51 pages, 236684 bytes).