This is TeX, Version 3.14159 (Web2C 7.3.1) (format=latex 2002.3.29) 1 SEP 2004 17:34 **dimacs04-1 (dimacs04-1.tex LaTeX2e <1999/12/01> patch level 1 Babel and hyphenation patterns for american, french, german, ngerman, n ohyphenation, loaded. (/usr/local/teTeX/share/texmf/tex/latex/base/article.cls Document Class: article 1999/09/10 v1.4a Standard LaTeX document class (/usr/local/teTeX/share/texmf/tex/latex/base/size11.clo File: size11.clo 1999/09/10 v1.4a 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 ) (dimacsmodules.sty \@input{epsf.aux} \openout2 = `epsf.aux'. (/usr/local/teTeX/share/texmf/tex/plain/dvips/epsf.tex This is `epsf.tex' v2.7k <10 July 1997> \epsffilein=\read1 \epsfframemargin=\dimen103 \epsfframethickness=\dimen104 \epsfrsize=\dimen105 \epsftmp=\dimen106 \epsftsize=\dimen107 \epsfxsize=\dimen108 \epsfysize=\dimen109 \pspoints=\dimen110 \epsfnoopenhelp=\toks14 ) \dimacsArgWidth=\skip43 ) (/usr/local/teTeX/share/texmf/tex/latex/amsmath/amsmath.sty Package: amsmath 2000/07/18 v2.13 AMS math features \@mathmargin=\skip44 For additional information on amsmath, use the `?' option. (/usr/local/teTeX/share/texmf/tex/latex/amsmath/amstext.sty Package: amstext 2000/06/29 v2.01 (/usr/local/teTeX/share/texmf/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 \@emptytoks=\toks15 \ex@=\dimen111 )) (/usr/local/teTeX/share/texmf/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d \pmbraise@=\dimen112 ) (/usr/local/teTeX/share/texmf/tex/latex/amsmath/amsopn.sty Package: amsopn 1999/12/14 v2.01 operator names ) \inf@bad=\count87 LaTeX Info: Redefining \frac on input line 211. \uproot@=\count88 \leftroot@=\count89 LaTeX Info: Redefining \overline on input line 307. \classnum@=\count90 \DOTSCASE@=\count91 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@=\box26 \strutbox@=\box27 \big@size=\dimen113 LaTeX Font Info: Redeclaring font encoding OML on input line 567. LaTeX Font Info: Redeclaring font encoding OMS on input line 568. \macc@depth=\count92 \c@MaxMatrixCols=\count93 \dotsspace@=\muskip10 \c@parentequation=\count94 \dspbrk@lvl=\count95 \tag@help=\toks16 \row@=\count96 \column@=\count97 \maxfields@=\count98 \andhelp@=\toks17 \eqnshift@=\dimen114 \alignsep@=\dimen115 \tagshift@=\dimen116 \tagwidth@=\dimen117 \totwidth@=\dimen118 \lineht@=\dimen119 \@envbody=\toks18 \multlinegap=\skip45 \multlinetaggap=\skip46 \mathdisplay@stack=\toks19 LaTeX Info: Redefining \[ on input line 2666. LaTeX Info: Redefining \] on input line 2667. ) (/usr/local/teTeX/share/texmf/tex/latex/amscls/amsthm.sty Package: amsthm 2000/10/26 v2.08 \thm@style=\toks20 \thm@bodyfont=\toks21 \thm@headfont=\toks22 \thm@notefont=\toks23 \thm@headpunct=\toks24 \thm@preskip=\skip47 \thm@postskip=\skip48 \thm@headsep=\skip49 \dth@everypar=\toks25 ) (/usr/local/teTeX/share/texmf/tex/latex/amsfonts/amssymb.sty Package: amssymb 2002/01/22 v2.2d (/usr/local/teTeX/share/texmf/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2001/10/25 v2.2f \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. )) \c@thm=\count99 \c@exm=\count100 (dimacs04-1.aux) \openout1 = `dimacs04-1.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 53. LaTeX Font Info: ... okay on input line 53. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 53. LaTeX Font Info: ... okay on input line 53. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 53. LaTeX Font Info: ... okay on input line 53. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 53. LaTeX Font Info: ... okay on input line 53. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 53. LaTeX Font Info: ... okay on input line 53. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 53. LaTeX Font Info: ... okay on input line 53. LaTeX Font Info: Try loading font information for U+msa on input line 94. (/usr/local/teTeX/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 94. (/usr/local/teTeX/share/texmf/tex/latex/amsfonts/umsb.fd File: umsb.fd 2002/01/19 v2.2g AMS font definitions ) [0 ] LaTeX Font Info: Try loading font information for OMS+cmr on input line 105. (/usr/local/teTeX/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.95> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 105. [1] [2] (dimacs04-1.toc) \tf@toc=\write3 \openout3 = `dimacs04-1.toc'. [1] [2] \backtrack=\box28 LaTeX Warning: \oval, \circle, or \line size unavailable on input line 238. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 238. \boldtree=\box29 \boldgraph=\box30 [3] [4] \c@carry=\count101 [5] [6] [7] [8] [9] [10] LaTeX Warning: \oval, \circle, or \line size unavailable on input line 1113. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 1118. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 1164. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 1202. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 1202. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 1236. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 1236. [11] [12] LaTeX Warning: \oval, \circle, or \line size unavailable on input line 1381. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 1386. [13] LaTeX Warning: \oval, \circle, or \line size unavailable on input line 1480. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 1485. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 1563. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 1568. LaTeX Warning: `h' float specifier changed to `ht'. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 1651. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 1656. [14] [15] [16] [17] [18] [19] LaTeX Warning: \oval, \circle, or \line size unavailable on input line 2081. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 2081. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 2131. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 2131. [20] LaTeX Warning: `h' float specifier changed to `ht'. [21] [22] [23] LaTeX Warning: `h' float specifier changed to `ht'. [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] LaTeX Font Info: Font shape `OMS/cmr/m/n' in size <7> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 3357. [35] [36] [37] [38] [39] Overfull \hbox (1.16023pt too wide) in alignment at lines 3775--3787 [][][] [] [] [40] LaTeX Warning: \oval, \circle, or \line size unavailable on input line 3840. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 3845. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 3888. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 3893. [41] LaTeX Warning: \oval, \circle, or \line size unavailable on input line 3954. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 3959. [42] LaTeX Warning: \oval, \circle, or \line size unavailable on input line 4092. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 4097. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 4162. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 4167. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 4216. [43] LaTeX Warning: \oval, \circle, or \line size unavailable on input line 4269. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 4274. [44] LaTeX Warning: \oval, \circle, or \line size unavailable on input line 4447. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 4491. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 4577. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 4577. [45] Overfull \hbox (3.92717pt too wide) in paragraph at lines 4600--4602 []\OT1/cmr/m/n/10.95 If we let $\OML/cmm/m/it/10.95 a \OT1/cmr/m/n/10.95 = \OML /cmm/m/it/10.95 P\OT1/cmr/m/n/10.95 ([])$ and $1 \OMS/cmsy/m/n/10.95 ^^@ \OML/c mm/m/it/10.95 a \OT1/cmr/m/n/10.95 = \OML/cmm/m/it/10.95 P\OT1/cmr/m/n/10.95 ([ ])$, [] LaTeX Warning: \oval, \circle, or \line size unavailable on input line 4636. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 4641. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 4720. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 4725. [46] LaTeX Warning: \oval, \circle, or \line size unavailable on input line 4836. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 4841. [47] LaTeX Warning: \oval, \circle, or \line size unavailable on input line 4951. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 4956. [48] [49] LaTeX Warning: \oval, \circle, or \line size unavailable on input line 5154. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 5159. [50] LaTeX Warning: \oval, \circle, or \line size unavailable on input line 5242. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 5247. LaTeX Warning: \oval, \circle, or \line size unavailable on input line 5322. Overfull \hbox (9.77458pt too wide) in paragraph at lines 5336--5363 \OT1/cmr/m/n/10.95 Thus we have the ma-tri-ces $\OML/cmm/m/it/10.95 P$\OT1/cmr/ m/n/10.95 , $\OML/cmm/m/it/10.95 Q$\OT1/cmr/m/n/10.95 , and $\OML/cmm/m/it/10.9 5 R$ \OT1/cmr/m/n/10.95 given by $\OML/cmm/m/it/10.95 P \OT1/cmr/m/n/10.95 = [] $, [] [51] [52] [53] [54] (dimacs04-1.aux) ) Here is how much of TeX's memory you used: 1464 strings out of 10901 16471 string characters out of 71580 96479 words of memory out of 263001 4405 multiletter control sequences out of 10000+0 14216 words of font info for 54 fonts, out of 400000 for 1000 14 hyphenation exceptions out of 1000 27i,14n,24p,231b,441s stack positions out of 3000i,100n,500p,50000b,4000s Output written on dimacs04-1.dvi (57 pages, 472460 bytes).