This is pdfTeX, Version 3.14159-1.00a-pretest-20011114-ojmw (Web2C 7.3.7) (format=pdflatex 2005.1.2) 6 MAY 2008 12:14 **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. )) (/usr/share/texmf/tex/latex/misc/anysize.sty Package: anysize 1994/08/13 setting margin sizes document style option `anysize' loaded Michael Salzenberg, Thomas Esser, Dirk Hillbrecht Version 1.0, Aug 13, 1994 \@Leftmargin=\dimen106 \@Rightmargin=\dimen107 \@Topmargin=\dimen108 \@Bottommargin=\dimen109 ) \@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 136. LaTeX Font Info: ... okay on input line 136. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 136. LaTeX Font Info: ... okay on input line 136. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 136. LaTeX Font Info: ... okay on input line 136. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 136. LaTeX Font Info: ... okay on input line 136. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 136. LaTeX Font Info: ... okay on input line 136. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 136. LaTeX Font Info: ... okay on input line 136. LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 136. LaTeX Font Info: ... okay on input line 136. Package hyperref Info: Link coloring OFF on input line 136. (/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 136. LaTeX Info: Redefining \pageref on input line 136. (./metamath.out) (./metamath.out) \openout3 = `metamath.out'. LaTeX Info: Redefining \refstepcounter on input line 136. LaTeX Info: Redefining \label on input line 136. LaTeX Info: Redefining \pageref on input line 136. LaTeX Info: Redefining \ref on input line 136. [1 {/usr/share/texmf/dvips/config/pdftex.map}] LaTeX Font Info: Try loading font information for U+msa on input line 171. (/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 171. (/usr/share/texmf/tex/latex/amsfonts/umsb.fd File: umsb.fd 1995/01/05 v2.2e AMS font definitions ) [2] (./metamath.toc [3 ] LaTeX Font Info: Try loading font information for OMS+cmtt on input line 85. LaTeX Font Info: No file OMScmtt.fd. on input line 85. LaTeX Font Warning: Font shape `OMS/cmtt/m/n' undefined (Font) using `OMS/cmsy/m/n' instead (Font) for symbol `textbraceleft' on input line 85. [4] [5] [6]) \tf@toc=\write5 \openout5 = `metamath.toc'. [7] [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] [21] LaTeX Font Info: Try loading font information for OMS+cmr on input line 1716 . (/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 1716. [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] Chapter 2. [33 ] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54 ] Chapter 3. [55] [56] [57] [58] [59] [60] [61] [62] [63] \mlinebox=\box26 \mtrialbox=\box27 \startprefix=\box28 \contprefix=\box29 [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90] Chapter 4. [91 ] [92] [93] [94] [95] [96] [97] [98] 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 7373. [99] [100] [101] 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 7537. [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] LaTeX Font Warning: Font shape `OMS/cmtt/bx/n' undefined (Font) using `OMS/cmtt/m/n' instead (Font) for symbol `textbraceleft' on input line 8171. [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] [124] [125] [126] [127] [128 ] Chapter 5. [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154 ] Appendix A. [155] [156] [157] [158] Appendix B. [159 ] [160] Appendix C. [161 ] [162] [163] [164] [165] [166] [167] LaTeX Font Info: Try loading font information for U+euf on input line 12186. (/usr/share/texmf/tex/latex/amsfonts/ueuf.fd File: ueuf.fd 1995/01/05 v2.2e AMS font definitions ) [168] [169] [170] [171] [172] [173] [174] [175] [176] Appendix D. [177 ] [178] [179] [180 ] (./metamath.bbl [181 ] [182] [183] [184] [185]) [186] (./metamath.ind [187 ] [188] [189] [190] [191] [192] [193] [194] [195 ]) (./metamath.aux) LaTeX Font Warning: Some font shapes were not available, defaults substituted. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) Here is how much of TeX's memory you used: 3488 strings out of 10428 45820 string characters out of 65382 97520 words of memory out of 263001 5809 multiletter control sequences out of 10000+0 19125 words of font info for 73 fonts, out of 400000 for 1000 14 hyphenation exceptions out of 1000 27i,29n,36p,283b,507s stack positions out of 300i,100n,500p,50000b,4000s Output written on metamath.pdf (211 pages, 1353180 bytes).