This is pdfTeX, Version 3.14159-1.00a-pretest-20011114-ojmw (Web2C 7.3.7) (format=pdflatex 2005.1.2) 12 JAN 2005 00:07 **metamath (./metamath.tex{/usr/share/texmf/pdftex/config/pdftex.cfg} LaTeX2e <2001/06/01> Babel and hyphenation patterns for american, french, german, ngerman, n ohyphenation, loaded. (/usr/share/texmf/tex/latex/base/book.cls Document Class: book 2001/04/21 v1.4e Standard LaTeX document class (/usr/share/texmf/tex/latex/base/leqno.clo File: leqno.clo 1998/08/17 v1.1c Standard LaTeX option (left equation numbers) ) (/usr/share/texmf/tex/latex/base/bk10.clo File: bk10.clo 2001/04/21 v1.4e Standard LaTeX file (size option) ) \c@part=\count79 \c@chapter=\count80 \c@section=\count81 \c@subsection=\count82 \c@subsubsection=\count83 \c@paragraph=\count84 \c@subparagraph=\count85 \c@figure=\count86 \c@table=\count87 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \bibindent=\dimen102 ) (/usr/share/texmf/tex/latex/hyperref/hyperref.sty Package: hyperref 2001/11/12 v6.71v Hypertext links for LaTeX (/usr/share/texmf/tex/latex/graphics/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks14 ) \@linkdim=\dimen103 \Hy@linkcounter=\count88 \Hy@pagecounter=\count89 (/usr/share/texmf/tex/latex/hyperref/pd1enc.def File: pd1enc.def 2001/11/12 v6.71v Hyperref: PDFDocEncoding definition (HO) ) Package hyperref Info: Option `plainpages' set `false' on input line 1654. Package hyperref Info: Option `pdfpagelabels' set `true' on input line 1654. Package hyperref Info: Bookmarks ON on input line 1712. Package hyperref Info: Hyper figures OFF on input line 1731. Package hyperref Info: Link nesting OFF on input line 1736. Package hyperref Info: Hyper index ON on input line 1739. Package hyperref Info: Plain pages OFF on input line 1746. Package hyperref Info: Backreferencing OFF on input line 1751. Implicit mode ON; LaTeX internals redefined (/usr/share/texmf/tex/latex/latex2html/url.sty Package: url 1999/03/02 ver 1.4 Verb mode for urls, email addresses, and file names ) LaTeX Info: Redefining \url on input line 1961. \Fld@menulength=\count90 \Field@Width=\dimen104 \Fld@charsize=\dimen105 \Choice@toks=\toks15 \Field@toks=\toks16 Package hyperref Info: Hyper figures OFF on input line 2407. Package hyperref Info: Link nesting OFF on input line 2412. Package hyperref Info: Hyper index ON on input line 2415. Package hyperref Info: backreferencing OFF on input line 2422. Package hyperref Info: Link coloring OFF on input line 2427. \Hy@abspage=\count91 \c@Item=\count92 \c@Hfootnote=\count93 ) *hyperref using default driver hpdftex* (/usr/share/texmf/tex/latex/hyperref/hpdftex.def File: hpdftex.def 2001/11/12 v6.71v Hyperref driver for pdfTeX (/usr/share/texmf/tex/latex/psnfss/pifont.sty Package: pifont 2001/06/04 PSNFSS-v8.2 Pi font support (SPQR) LaTeX Font Info: Try loading font information for U+pzd on input line 62. (/usr/share/texmf/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 63. (/usr/share/texmf/tex/latex/psnfss/upsy.fd File: upsy.fd 2001/06/04 font definitions for U/psy. )) \Fld@listcount=\count94 \@outlinefile=\write3 ) (./realref.sty Package: realref ) (/usr/share/texmf/tex/latex/amsfonts/amssymb.sty Package: amssymb 1996/11/03 v2.2b (/usr/share/texmf/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 1997/09/17 v2.2e \@emptytoks=\toks17 \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 133. )) \@indexfile=\write4 \openout4 = `metamath.idx'. Writing index file metamath.idx (./metamath.aux) \openout1 = `metamath.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 91. LaTeX Font Info: ... okay on input line 91. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 91. LaTeX Font Info: ... okay on input line 91. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 91. LaTeX Font Info: ... okay on input line 91. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 91. LaTeX Font Info: ... okay on input line 91. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 91. LaTeX Font Info: ... okay on input line 91. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 91. LaTeX Font Info: ... okay on input line 91. LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 91. LaTeX Font Info: ... okay on input line 91. Package hyperref Info: Link coloring OFF on input line 91. (/usr/share/texmf/tex/latex/hyperref/nameref.sty Package: nameref 2001/01/27 v2.19 Cross-referencing by name of section \c@section@level=\count95 ) LaTeX Info: Redefining \ref on input line 91. LaTeX Info: Redefining \pageref on input line 91. (./metamath.out) (./metamath.out) \openout3 = `metamath.out'. LaTeX Info: Redefining \refstepcounter on input line 91. LaTeX Info: Redefining \label on input line 91. LaTeX Info: Redefining \pageref on input line 91. LaTeX Info: Redefining \ref on input line 91. [1 {/usr/share/texmf/dvips/config/pdftex.map}] LaTeX Font Info: Try loading font information for U+msa on input line 131. (/usr/share/texmf/tex/latex/amsfonts/umsa.fd File: umsa.fd 1995/01/05 v2.2e AMS font definitions ) LaTeX Font Info: Try loading font information for U+msb on input line 131. (/usr/share/texmf/tex/latex/amsfonts/umsb.fd File: umsb.fd 1995/01/05 v2.2e AMS font definitions ) [2] [3] [4 ] (./metamath.toc [5] LaTeX Font Info: Try loading font information for OMS+cmtt on input line 88. LaTeX Font Info: No file OMScmtt.fd. on input line 88. LaTeX Font Warning: Font shape `OMS/cmtt/m/n' undefined (Font) using `OMS/cmsy/m/n' instead (Font) for symbol `textbraceleft' on input line 88. [6] [7]) \tf@toc=\write5 \openout5 = `metamath.toc'. [8] [9 ] [10] [11] [12] [13] [14] [15] [16 ] Chapter 1. [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] LaTeX Font Info: Try loading font information for OMS+cmr on input line 1687 . (/usr/share/texmf/tex/latex/base/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 <10> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 1687. [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] Chapter 2. [31 ] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50 ] Chapter 3. [51] [52] [53] [54] [55] [56] [57] [58] \mlinebox=\box26 \mtrialbox=\box27 \startprefix=\box28 \contprefix=\box29 [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86 ] Chapter 4. [87] [88] [89] [90] [91] [92] [93] LaTeX Font Info: Font shape `OT1/cmtt/bx/n' in size <12> not available (Font) Font shape `OT1/cmtt/m/n' tried instead on input line 7314. [94] [95] [96] LaTeX Font Info: Font shape `OT1/cmtt/bx/n' in size <10> not available (Font) Font shape `OT1/cmtt/m/n' tried instead on input line 7478. [97] [98] [99] [100] [101] [102] [103] [104] [105] LaTeX Font Warning: Font shape `OMS/cmtt/bx/n' undefined (Font) using `OMS/cmtt/m/n' instead (Font) for symbol `textbraceleft' on input line 8114. [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] Chapter 5. [121 ] [122] [123] [124] [125] [126] [127] [128] [129] [130] [131] [132] Appendix A. [133 ] [134] [135] [136] Appendix B. [137 ] [138] Appendix C. [139 ] [140] [141] [142] [143] [144] LaTeX Font Info: Try loading font information for U+euf on input line 11072. (/usr/share/texmf/tex/latex/amsfonts/ueuf.fd File: ueuf.fd 1995/01/05 v2.2e AMS font definitions ) [145] [146] [147] [148] [149] [150] [151] [152] [153] [154 ] Appendix D. [155] [156] [157] [158 ] Appendix E. [159] [160 ] Appendix F. [161] [162 ] (./metamath.bbl [163 ] [164] [165] [166]) [167] [168 ] (./metamath.ind [169 ] [170] [171] [172] [173] [174] [175] [176]) (./metamath.aux) LaTeX Font Warning: Some font shapes were not available, defaults substituted. ) Here is how much of TeX's memory you used: 3422 strings out of 10428 44872 string characters out of 65382 96674 words of memory out of 263001 5769 multiletter control sequences out of 10000+0 18948 words of font info for 73 fonts, out of 400000 for 1000 14 hyphenation exceptions out of 1000 27i,29n,36p,283b,492s stack positions out of 300i,100n,500p,50000b,4000s < /usr/share/texmf/fonts/type1/bluesky/cm/cmr7.pfb> Output written on metamath.pdf (192 pages, 1279563 bytes).