This is TeX, Version 3.14159 (Web2C 7.4.5) (format=latex 2006.2.23) 12 JUL 2006 21:01 **page (./page.tex LaTeX2e <2001/06/01> Babel and hyphenation patterns for american, french, german, ngerman, d anish, nohyphenation, loaded. (/usr/share/texmf/tex/latex/base/article.cls Document Class: article 2001/04/21 v1.4e Standard LaTeX document class (/usr/share/texmf/tex/latex/base/fleqn.clo File: fleqn.clo 1998/08/17 v1.1c Standard LaTeX option (flush left equations) \mathindent=\dimen102 ) (/usr/share/texmf/tex/latex/base/size10.clo File: size10.clo 2001/04/21 v1.4e 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=\dimen103 ) (/usr/share/texmf/tex/latex/base/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 42. ) (/usr/share/texmf/tex/latex/misc/url.sty \Urlmuskip=\muskip10 Package: url 1999/03/28 ver 1.5x Verb mode for urls, etc. ) (/usr/share/texmf/tex/latex/hyperref/hyperref.sty Package: hyperref 2003/01/22 v6.73n 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=\dimen104 \Hy@linkcounter=\count87 \Hy@pagecounter=\count88 (/usr/share/texmf/tex/latex/hyperref/pd1enc.def File: pd1enc.def 2003/01/22 v6.73n Hyperref: PDFDocEncoding definition (HO) ) (/usr/share/texmf/tex/latex/config/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 1792. Package hyperref Info: Link nesting OFF on input line 1797. Package hyperref Info: Hyper index ON on input line 1800. Package hyperref Info: Plain pages ON on input line 1805. Package hyperref Info: Backreferencing OFF on input line 1812. Implicit mode ON; LaTeX internals redefined Package hyperref Info: Bookmarks ON on input line 1916. LaTeX Info: Redefining \url on input line 2055. \Fld@menulength=\count89 \Field@Width=\dimen105 \Fld@charsize=\dimen106 \Choice@toks=\toks15 \Field@toks=\toks16 Package hyperref Info: Hyper figures OFF on input line 2513. Package hyperref Info: Link nesting OFF on input line 2518. Package hyperref Info: Hyper index ON on input line 2521. Package hyperref Info: backreferencing OFF on input line 2528. Package hyperref Info: Link coloring OFF on input line 2533. \c@Item=\count90 \c@Hfootnote=\count91 ) *hyperref using driver hdvipdfm* (/usr/share/texmf/tex/latex/hyperref/hdvipdfm.def File: hdvipdfm.def 2003/01/22 v6.73n Hyperref driver for dvipdfm \pdfm@box=\box26 \Fld@listcount=\count92 \@outlinefile=\write3 ) (/usr/share/texmf/tex/latex/amsmath/amsmath.sty Package: amsmath 2000/07/18 v2.13 AMS math features \@mathmargin=\skip43 For additional information on amsmath, use the `?' option. (/usr/share/texmf/tex/latex/amsmath/amstext.sty Package: amstext 2000/06/29 v2.01 (/usr/share/texmf/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 \@emptytoks=\toks17 \ex@=\dimen107 )) (/usr/share/texmf/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d \pmbraise@=\dimen108 ) (/usr/share/texmf/tex/latex/amsmath/amsopn.sty Package: amsopn 1999/12/14 v2.01 operator names ) \inf@bad=\count93 LaTeX Info: Redefining \frac on input line 211. \uproot@=\count94 \leftroot@=\count95 LaTeX Info: Redefining \overline on input line 307. \classnum@=\count96 \DOTSCASE@=\count97 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@=\box27 \strutbox@=\box28 \big@size=\dimen109 LaTeX Font Info: Redeclaring font encoding OML on input line 567. LaTeX Font Info: Redeclaring font encoding OMS on input line 568. \macc@depth=\count98 \c@MaxMatrixCols=\count99 \dotsspace@=\muskip11 \c@parentequation=\count100 \dspbrk@lvl=\count101 \tag@help=\toks18 \row@=\count102 \column@=\count103 \maxfields@=\count104 \andhelp@=\toks19 \eqnshift@=\dimen110 \alignsep@=\dimen111 \tagshift@=\dimen112 \tagwidth@=\dimen113 \totwidth@=\dimen114 \lineht@=\dimen115 \@envbody=\toks20 \multlinegap=\skip44 \multlinetaggap=\skip45 \mathdisplay@stack=\toks21 LaTeX Info: Redefining \[ on input line 2666. LaTeX Info: Redefining \] on input line 2667. ) (/usr/share/texmf/tex/latex/tools/theorem.sty Package: theorem 1995/11/23 v2.2c Theorem extension package (FMi) \theorem@style=\toks22 \theorem@bodyfont=\toks23 \theorempreskipamount=\skip46 \theorempostskipamount=\skip47 (/usr/share/texmf/tex/latex/tools/thp.sty File: thp.sty 1995/11/23 v2.2c Theorem extension package (FMi) )) (/usr/share/texmf/tex/latex/amsfonts/amssymb.sty Package: amssymb 2002/01/22 v2.2d (/usr/share/texmf/tex/latex/amsfonts/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. )) Package hyperref Info: Option `colorlinks' set `true' on input line 19. \docparindent=\skip48 \c@Def=\count105 (./page.aux) \openout1 = `page.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 42. LaTeX Font Info: ... okay on input line 42. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 42. LaTeX Font Info: ... okay on input line 42. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 42. LaTeX Font Info: ... okay on input line 42. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 42. LaTeX Font Info: ... okay on input line 42. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 42. LaTeX Font Info: ... okay on input line 42. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 42. LaTeX Font Info: ... okay on input line 42. LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 42. LaTeX Font Info: ... okay on input line 42. (/usr/share/texmf/tex/latex/graphics/color.sty Package: color 1999/02/16 v1.0i Standard LaTeX Color (DPC) (/usr/share/texmf/tex/latex/config/color.cfg File: color.cfg 2001/08/31 v1.1 color configuration of teTeX/TeXLive ) Package color Info: Driver file: dvips.def on input line 125. (/usr/share/texmf/tex/latex/graphics/dvips.def File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) ) (/usr/share/texmf/tex/latex/graphics/dvipsnam.def File: dvipsnam.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) )) Package hyperref Info: Link coloring ON on input line 42. (/usr/share/texmf/tex/latex/hyperref/nameref.sty Package: nameref 2001/01/27 v2.19 Cross-referencing by name of section \c@section@level=\count106 ) LaTeX Info: Redefining \ref on input line 42. LaTeX Info: Redefining \pageref on input line 42. (./page.out) (./page.out) \openout3 = `page.out'. LaTeX Font Info: Try loading font information for U+lasy on input line 48. (/usr/share/texmf/tex/latex/base/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. (/usr/share/texmf/tex/latex/amsfonts/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. (/usr/share/texmf/tex/latex/amsfonts/umsb.fd File: umsb.fd 2002/01/19 v2.2g AMS font definitions ) [1 ] Overfull \hbox (23.50783pt too wide) in paragraph at lines 113--461 []\OT1/cmr/m/n/10 The $[[] [] \OMS/cmsy/m/n/10 8[] [] [] 8[] [] [] 8[] [] [] 8[ ] [] [] d[]e\OT1/cmr/m/n/10 #[]\OMS/cmsy/m/n/10 d[]e [] d[]e\OT1/cmr/m/n/10 #[] \OMS/cmsy/m/n/10 d[]e [] hd[]e[][]d[]ejd[]e[]d[]ei [] [] [2] Overfull \hbox (46.00777pt too wide) in paragraph at lines 760--826 []$\OT1/cmr/m/n/10 [[] [] [] \OMS/cmsy/m/n/10 ` 8[] [] [] 8[] [] [] 8[] [] [] 8 [] [] [] d[]e\OT1/cmr/m/n/10 #[]\OMS/cmsy/m/n/10 d[]e [] d[]e\OT1/cmr/m/n/10 #[ ]\OMS/cmsy/m/n/10 d[]e [] hd[]e[][]d[]ejd[]e[]d[]ei [] [] Overfull \hbox (46.00777pt too wide) in paragraph at lines 827--893 []$\OT1/cmr/m/n/10 [[] [] [] \OMS/cmsy/m/n/10 ` 8[] [] [] 8[] [] [] 8[] [] [] 8 [] [] [] d[]e\OT1/cmr/m/n/10 #[]\OMS/cmsy/m/n/10 d[]e [] d[]e\OT1/cmr/m/n/10 #[ ]\OMS/cmsy/m/n/10 d[]e [] hd[]e[][]d[]ejd[]e[]d[]ei [] [] LaTeX Font Info: Try loading font information for OMS+cmr on input line 1246 . (/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 1246. Overfull \hbox (6.91396pt too wide) in paragraph at lines 1276--1317 []$\OT1/cmr/m/n/10 [[] [] [] \OMS/cmsy/m/n/10 ` 8[] [] [] 8[] [] [] 8[] [] [] d []e\OT1/cmr/m/n/10 #[]\OMS/cmsy/m/n/10 d[]e [] [] ) [] ` [] ) 8[]\OML/cmm/m/it/ 10 : []\OT1/cmr/m/n/10 ][[] [] [] Overfull \hbox (5.80281pt too wide) in paragraph at lines 1318--1359 []$\OT1/cmr/m/n/10 [[] [] [] \OMS/cmsy/m/n/10 ` 8[] [] [] 8[] [] [] 8[] [] [] d []e\OT1/cmr/m/n/10 #[]\OMS/cmsy/m/n/10 d[]e [] [] ) [] ` 9[]\OML/cmm/m/it/10 : [] \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 ][[] [] [] [3] Overfull \hbox (34.27556pt too wide) in paragraph at lines 1360--1398 []$\OT1/cmr/m/n/10 [[] [] [] \OMS/cmsy/m/n/10 ` 8[] [] [] 8[] [] [] \OML/cmm/m/ it/10 ^^U\OT1/cmss/m/n/10 x\OML/cmm/m/it/10 :\OT1/cmr/m/n/10 Ded[](\OMS/cmsy/m/ n/10 d[]e\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 d[]e\OT1/cmr/m/n/10 ) [] [] \OMS/c msy/m/n/10 ` []\OT1/cmr/m/n/10 ][[] [] [] [4] Overfull \hbox (18.52199pt too wide) in paragraph at lines 1719--2070 \OT1/cmr/m/n/10 The ax-ioms and proof rules in $[[] [] \OMS/cmsy/m/n/10 8[] [] [] 8[] [] [] 8[] [] [] 8[] [] [] d[]e\OT1/cmr/m/n/10 #[]\OMS/cmsy/m/n/10 d[]e [ ] d[]e\OT1/cmr/m/n/10 #[]\OMS/cmsy/m/n/10 d[]e [] [] [5] [6] Overfull \hbox (7.12619pt too wide) in paragraph at lines 2994--3053 []$\OT1/cmr/m/n/10 [[] [] [] \OMS/cmsy/m/n/10 ` 8[] [] [] 8[] [] [] 8[] [] [] 8 [] [] [] d[]e\OT1/cmr/m/n/10 #[]\OMS/cmsy/m/n/10 d[]e [] d[]e\OT1/cmr/m/n/10 #[ ]\OMS/cmsy/m/n/10 d[]e [] [] Overfull \hbox (2.6559pt too wide) in paragraph at lines 3055--3209 []$\OT1/cmr/m/n/10 [[] [] \OML/cmm/m/it/10 ^^U\OT1/cmss/m/n/10 c\OML/cmm/m/it/1 0 :^^U\OT1/cmss/m/n/10 x\OML/cmm/m/it/10 :\OMS/cmsy/m/n/10 P\OT1/cmr/m/n/10 (\O MS/cmsy/m/n/10 d[] ` 8[] [] [] 8[] [] [] 8[] [] [] 8[] [] [] d[]e\OT1/cmr/m/n/1 0 #[]\OMS/cmsy/m/n/10 d[]e [] d[]e\OT1/cmr/m/n/10 #[]\OMS/cmsy/m/n/10 d[]e [] [] Overfull \hbox (10.74281pt too wide) in paragraph at lines 3211--3270 []$\OT1/cmr/m/n/10 [[] [] [] \OMS/cmsy/m/n/10 ` 8[] [] [] 8[] [] [] 8[] [] [] 8 [] [] [] d[]e\OT1/cmr/m/n/10 #[]\OMS/cmsy/m/n/10 d[]e [] d[]e\OT1/cmr/m/n/10 #[ ]\OMS/cmsy/m/n/10 d[]e [] [] Overfull \hbox (6.93365pt too wide) in paragraph at lines 3272--3425 []$\OT1/cmr/m/n/10 [[] [] \OML/cmm/m/it/10 ^^U\OT1/cmss/m/n/10 c\OML/cmm/m/it/1 0 :^^U\OT1/cmss/m/n/10 x\OML/cmm/m/it/10 :\OMS/cmsy/m/n/10 P\OT1/cmr/m/n/10 (\O MS/cmsy/m/n/10 d[] ` 8[] [] [] 8[] [] [] 8[] [] [] 8[] [] [] d[]e\OT1/cmr/m/n/1 0 #[]\OMS/cmsy/m/n/10 d[]e [] d[]e\OT1/cmr/m/n/10 #[]\OMS/cmsy/m/n/10 d[]e [] [] [7] Package hyperref Warning: Token not allowed in a PDFDocEncoded string, (hyperref) removing `math shift' on input line 4117. Package hyperref Warning: Token not allowed in a PDFDocEncoded string, (hyperref) removing `\bot' on input line 4117. Package hyperref Warning: Token not allowed in a PDFDocEncoded string, (hyperref) removing `math shift' on input line 4117. LaTeX Warning: Citation `hugh' on page 8 undefined on input line 4123. LaTeX Font Warning: Command \tiny invalid in math mode on input line 4123. [8] Underfull \hbox (badness 10000) in paragraph at lines 4490--4491 [] Underfull \hbox (badness 10000) in paragraph at lines 4492--4502 [] [9] Underfull \hbox (badness 10000) in paragraph at lines 4598--4606 [] [10] Overfull \hbox (12.98938pt too wide) in paragraph at lines 4654--4765 []$\OT1/cmr/m/n/10 [[] [] \OML/cmm/m/it/10 ^^U\OT1/cmss/m/n/10 c\OML/cmm/m/it/1 0 :^^U\OT1/cmss/m/n/10 x\OML/cmm/m/it/10 :\OMS/cmsy/m/n/10 P\OT1/cmr/m/n/10 (\O MS/cmsy/m/n/10 d[] ` 8[] [] [] 8[] [] [] [] ^ :[] ` 8[] [] [] 8[] [] [] :[] ` [ ] \U/lasy/m/n/10 ^^C [] Overfull \hbox (11.84897pt too wide) in paragraph at lines 4928--4957 []$\OT1/cmr/m/n/10 [[] [] [] \OMS/cmsy/m/n/10 ` 8[] [] [] 8[] [] [] [] ` [] ` [ ] ) []\OT1/cmr/m/n/10 ][[] [] Rule tactic]$ [] [11] Overfull \hbox (11.29474pt too wide) in paragraph at lines 5368--5468 []$\OT1/cmr/m/n/10 [[] [] \OML/cmm/m/it/10 ^^U\OT1/cmss/m/n/10 c\OML/cmm/m/it/1 0 :^^U\OT1/cmss/m/n/10 x\OML/cmm/m/it/10 :\OMS/cmsy/m/n/10 P\OT1/cmr/m/n/10 (\O MS/cmsy/m/n/10 d[] ` 8[] [] [] 8[] [] [] :[] ) [] ` 8[] [] [] 8[] [] [] :[] ` [ ] \U/lasy/m/n/10 ^^C [] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] (./page.aux) LaTeX Warning: There were undefined references. ) Here is how much of TeX's memory you used: 3081 strings out of 95835 39786 string characters out of 1195527 126488 words of memory out of 1000001 5977 multiletter control sequences out of 10000+50000 15791 words of font info for 63 fonts, out of 500000 for 1000 14 hyphenation exceptions out of 1000 27i,10n,39p,258b,318s stack positions out of 1500i,500n,5000p,200000b,5000s Output written on page.dvi (21 pages, 139748 bytes).