This is TeX, Version 3.14159 (Web2C 7.3.1) (format=latex 2001.9.23) 18 JUL 2005 16:56 **paper93_new.tex (paper93_new.tex LaTeX2e <2000/06/01> Babel and hyphenation patterns for american, french, german, ngerman, n ohyphenation, loaded. (/home/wirth/Library/TeX/texmf/tex/latex/latexlib/llncs.cls Document Class: llncs 2002/01/28 v2.13 LaTeX document class for Lecture Notes in Computer Science (/home/wirth/Library/TeX/texmf/tex/latex/latexlib/article.cls Document Class: article 1999/01/07 v1.4a Standard LaTeX document class (/home/wirth/Library/TeX/texmf/tex/latex/latexlib/size10.clo File: size10.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 ) (/home/wirth/Library/TeX/texmf/tex/latex/latexlib/multicol.sty Package: multicol 2000/07/10 v1.5z multicolumn formatting (FMi) \c@tracingmulticols=\count87 \mult@box=\box26 \multicol@leftmargin=\dimen103 \c@unbalance=\count88 \c@collectmore=\count89 \doublecol@number=\count90 \multicoltolerance=\count91 \multicolpretolerance=\count92 \full@width=\dimen104 \page@free=\dimen105 \premulticols=\dimen106 \postmulticols=\dimen107 \multicolsep=\skip43 \multicolbaselineskip=\skip44 \partial@page=\box27 \last@line=\box28 \mult@rightbox=\box29 \mult@grightbox=\box30 \mult@gfirstbox=\box31 \mult@firstbox=\box32 \@tempa=\box33 \@tempa=\box34 \@tempa=\box35 \@tempa=\box36 \@tempa=\box37 \@tempa=\box38 \@tempa=\box39 \@tempa=\box40 \@tempa=\box41 \@tempa=\box42 \@tempa=\box43 \@tempa=\box44 \@tempa=\box45 \@tempa=\box46 \@tempa=\box47 \@tempa=\box48 \@tempa=\box49 \c@columnbadness=\count93 \c@finalcolumnbadness=\count94 \last@try=\dimen108 \multicolovershoot=\dimen109 \multicolundershoot=\dimen110 \mult@nat@firstbox=\box50 \colbreak@box=\box51 ) \c@chapter=\count95 LaTeX Font Info: Redeclaring math symbol \Gamma on input line 360. LaTeX Font Info: Redeclaring math symbol \Delta on input line 361. LaTeX Font Info: Redeclaring math symbol \Theta on input line 362. LaTeX Font Info: Redeclaring math symbol \Lambda on input line 363. LaTeX Font Info: Redeclaring math symbol \Xi on input line 364. LaTeX Font Info: Redeclaring math symbol \Pi on input line 365. LaTeX Font Info: Redeclaring math symbol \Sigma on input line 366. LaTeX Font Info: Redeclaring math symbol \Upsilon on input line 367. LaTeX Font Info: Redeclaring math symbol \Phi on input line 368. LaTeX Font Info: Redeclaring math symbol \Psi on input line 369. LaTeX Font Info: Redeclaring math symbol \Omega on input line 370. \tocchpnum=\dimen111 \tocsecnum=\dimen112 \tocsectotal=\dimen113 \tocsubsecnum=\dimen114 \tocsubsectotal=\dimen115 \tocsubsubsecnum=\dimen116 \tocsubsubsectotal=\dimen117 \tocparanum=\dimen118 \tocparatotal=\dimen119 \tocsubparanum=\dimen120 \@tempcntc=\count96 \fnindent=\dimen121 \c@@inst=\count97 \c@@auth=\count98 \c@auco=\count99 \instindent=\dimen122 \authrun=\box52 \authorrunning=\toks14 \tocauthor=\toks15 \titrun=\box53 \titlerunning=\toks16 \toctitle=\toks17 \c@theorem=\count100 \c@case=\count101 \c@conjecture=\count102 \c@corollary=\count103 \c@definition=\count104 \c@example=\count105 \c@exercise=\count106 \c@lemma=\count107 \c@note=\count108 \c@problem=\count109 \c@property=\count110 \c@proposition=\count111 \c@question=\count112 \c@solution=\count113 \c@remark=\count114 \headlineindent=\dimen123 ) (/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. ) (/home/wirth/Library/TeX/texmf/tex/latex/latexlib/amssymb.sty Package: amssymb 2002/01/22 v2.2d (/usr/share/texmf/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 1997/09/17 v2.2e \@emptytoks=\toks18 \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 133. )) (/usr/share/texmf/tex/latex/graphics/graphicx.sty Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) (/usr/share/texmf/tex/latex/graphics/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks19 ) (/usr/share/texmf/tex/latex/graphics/graphics.sty Package: graphics 1999/02/16 v1.0l Standard LaTeX Graphics (DPC,SPQR) (/usr/share/texmf/tex/latex/graphics/trig.sty Package: trig 1999/03/16 v1.09 sin cos tan (DPC) ) (/usr/share/texmf/tex/latex/config/graphics.cfg) Package graphics Info: Driver file: dvips.def on input line 80. (/usr/share/texmf/tex/latex/graphics/dvips.def File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) )) \Gin@req@height=\dimen124 \Gin@req@width=\dimen125 ) (/usr/share/texmf/tex/latex/amsmath/amsmath.sty Package: amsmath 2000/07/18 v2.13 AMS math features \@mathmargin=\skip45 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=\toks20 \ex@=\dimen126 )) (/usr/share/texmf/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d \pmbraise@=\dimen127 ) (/usr/share/texmf/tex/latex/amsmath/amsopn.sty Package: amsopn 1999/12/14 v2.01 operator names ) \inf@bad=\count115 LaTeX Info: Redefining \frac on input line 211. \uproot@=\count116 \leftroot@=\count117 LaTeX Info: Redefining \overline on input line 307. \classnum@=\count118 \DOTSCASE@=\count119 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@=\box54 \strutbox@=\box55 \big@size=\dimen128 LaTeX Font Info: Redeclaring font encoding OML on input line 567. LaTeX Font Info: Redeclaring font encoding OMS on input line 568. Package amsmath Warning: Unable to redefine math accent \vec. \macc@depth=\count120 \c@MaxMatrixCols=\count121 \dotsspace@=\muskip10 \c@parentequation=\count122 \dspbrk@lvl=\count123 \tag@help=\toks21 \row@=\count124 \column@=\count125 \maxfields@=\count126 \andhelp@=\toks22 \eqnshift@=\dimen129 \alignsep@=\dimen130 \tagshift@=\dimen131 \tagwidth@=\dimen132 \totwidth@=\dimen133 \lineht@=\dimen134 \@envbody=\toks23 \multlinegap=\skip46 \multlinetaggap=\skip47 \mathdisplay@stack=\toks24 LaTeX Info: Redefining \[ on input line 2666. LaTeX Info: Redefining \] on input line 2667. ) (/usr/share/texmf/tex/latex/tools/array.sty Package: array 1998/05/13 v2.3m Tabular extension package (FMi) \col@sep=\dimen135 \extrarowheight=\dimen136 \NC@list=\toks25 \extratabsurround=\skip48 \backup@length=\skip49 ) (/home/wirth/Library/TeX/texmf/tex/latex/latexlib/ifthen.sty Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC) ) (/usr/share/texmf/tex/latex/tools/calc.sty Package: calc 1998/07/07 v4.1b Infix arithmetic (KKT,FJ) \calc@Acount=\count127 \calc@Bcount=\count128 \calc@Adimen=\dimen137 \calc@Bdimen=\dimen138 \calc@Askip=\skip50 \calc@Bskip=\skip51 LaTeX Info: Redefining \setlength on input line 59. LaTeX Info: Redefining \addtolength on input line 60. \calc@denominator=\count129 ) (/home/wirth/Library/TeX/texmf/tex/latex/latexlib/algorithm2e.sty Package: algorithm2e 2004/06/16 \c@AlgoLine=\count130 (/usr/share/texmf/tex/latex/tools/xspace.sty Package: xspace 1997/10/13 v1.06 Space after command names (DPC) ) ******************************************************** Package `algorithm2e' Release 3.5 -- june 16 2004 -- - algorithm2e-announce@lirmm.fr mailing list for announcement about releases - algorithm2e-discussion@lirmm.fr mailing list for discussion about package subscribe by emailing sympa@lirmm.fr with 'subscribe ' - Author: Christophe Fiorio (fiorio@lirmm.fr) ******************************************************** \skiptotal=\skip52 \skiprule=\skip53 \skiphlne=\skip54 \skiptext=\skip55 \skiplength=\skip56 \algomargin=\skip57 \skipalgocfslide=\skip58 \algowidth=\dimen139 \inoutsize=\dimen140 \inoutline=\dimen141 \AlCapSkip=\skip59 \algocf@inoutbox=\box56 \algocf@inputbox=\box57 \algocf@capbox=\box58 \c@algocfline=\count131 \c@algocf=\count132 \algocf@algoframe=\box59 \algocf@algobox=\box60 ) (/home/wirth/Library/TeX/texmf/tex/latex/latexlib/pstricks.sty Package: pstricks 1997/03/25 package wrapper for PSTricks pstricks.tex (/home/wirth/Library/TeX/texmf/tex/latex/latexlib/pstricks.tex `PSTricks' v97 patch 14 <1999/12/23> (tvz) \pst@dima=\dimen142 \pst@dimb=\dimen143 \pst@dimc=\dimen144 \pst@dimd=\dimen145 \pst@dimg=\dimen146 \pst@dimh=\dimen147 \pst@hbox=\box61 \pst@boxg=\box62 \pst@cnta=\count133 \pst@cntb=\count134 \pst@cntc=\count135 \pst@cntd=\count136 \pst@cntg=\count137 \pst@cnth=\count138 \pst@toks=\toks26 (/usr/share/texmf/tex/generic/pstricks/pstricks.con) \psunit=\dimen148 \psxunit=\dimen149 \psyunit=\dimen150 \pslinewidth=\dimen151 \pst@customdefs=\toks27 \pslinearc=\dimen152 \everypsbox=\toks28 \psframesep=\dimen153 \pslabelsep=\dimen154 \theoverlaybox=\box63 )) (/usr/share/texmf/tex/generic/pstricks/pst-node.sty Package: pst-node 1997/03/25 package wrapper for PSTricks pst-node.tex (/usr/share/texmf/tex/generic/pstricks/pst-node.tex v97 patch 9, 1999/04/14 \psrow=\count139 \pscol=\count140 \psmatrixcnt=\count141 \psrowsep=\skip60 \pscolsep=\skip61 )) (/home/wirth/Library/TeX/texmf/tex/latex/latexlib/pst-tree.sty Package: pst-tree 1997/03/25 package wrapper for PSTricks pst-tree.tex (/home/wirth/Library/TeX/texmf/tex/latex/latexlib/pst-tree.tex v97 patch 5, 1999/10/28 \pstree@rootbox=\box64 \pstree@box=\box65 \psnodecnt=\count142 \pstreelevel=\count143 \pstreecnt=\count144 \pstree@cnt=\count145 \pstree@stop=\count146 )) (/usr/share/texmf/tex/latex/tools/enumerate.sty Package: enumerate 1999/03/05 v3.00 enumerate extensions (DPC) \@enLab=\toks29 ) (/home/wirth/Library/TeX/texmf/tex/latex/latexlib/color.sty Package: color 1999/02/16 v1.0i Standard LaTeX Color (DPC) (/home/wirth/Library/TeX/texmf/tex/latex/latexlib/color.cfg File: color.cfg 2004/11/03 v1.1BS1 color configuration of teTeX/TeXLive, change s by Bernd Strieder ) Package color Info: Driver file: dvips.def on input line 125. (/usr/share/texmf/tex/latex/graphics/dvipsnam.def File: dvipsnam.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) )) \c@Restriction=\count147 \c@Heuristics=\count148 \tempbox=\box66 \tempw=\skip62 \temph=\skip63 \c@tmpcnt=\count149 \qllen=\skip64 (paper93_new.aux) \openout1 = `paper93_new.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 522. LaTeX Font Info: ... okay on input line 522. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 522. LaTeX Font Info: ... okay on input line 522. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 522. LaTeX Font Info: ... okay on input line 522. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 522. LaTeX Font Info: ... okay on input line 522. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 522. LaTeX Font Info: ... okay on input line 522. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 522. LaTeX Font Info: ... okay on input line 522. LaTeX Font Info: Try loading font information for U+lasy on input line 528. (/usr/share/texmf/tex/latex/base/ulasy.fd File: ulasy.fd 1998/08/17 v2.2eLaTeX symbol font definitions ) LaTeX Font Info: Try loading font information for U+msa on input line 528. (/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 528. (/usr/share/texmf/tex/latex/amsfonts/umsb.fd File: umsb.fd 1995/01/05 v2.2e AMS font definitions ) [1 ] Underfull \vbox (badness 1102) has occurred while \output is active [] [2] [3] [4] (adapt-inf.pstex_t File: adapt-inf.pstex Graphic file (type eps) ) [5] [6] [7] [8] [9] [10] Underfull \hbox (badness 10000) detected at line 1540 [][] [] Overfull \hbox (0.46306pt too wide) in paragraph at lines 1501--1576 \OT1/cmr/m/n/10 spring $\OML/cmm/m/it/10 SG$ \OT1/cmr/m/n/10 of a proved goal $ \OML/cmm/m/it/10 G$ \OT1/cmr/m/n/10 in a bottom-up style. $[](\OML/cmm/m/it/10 SG\OT1/cmr/m/n/10 )$ and $[](\OML/cmm/m/it/10 SG\OT1/cmr/m/n/10 )$ [] [11] Underfull \hbox (badness 10000) detected at line 1689 [][] [] [12] [13] [14] [15] [16] Overfull \hbox (1.24365pt too wide) in paragraph at lines 2477--2480 []\OT1/cmr/m/n/10 In Line 4[], $[](\OML/cmm/m/it/10 G\OT1/cmr/m/n/10 )$ is set to $[](\OML/cmm/m/it/10 I\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ^^R []\OT1/cmr/m/n/ 10 (\OML/cmm/m/it/10 I\OT1/cmr/m/n/10 ) = \OML/cmm/m/it/10 G$\OT1/cmr/m/n/10 . Thus, $[](\OML/cmm/m/it/10 G\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ^^R [] Overfull \hbox (1.11716pt too wide) in paragraph at lines 2562--2586 \OT1/cmr/m/n/10 Thus, $[](\OML/cmm/m/it/10 I\OT1/cmr/m/n/10 ) + [](\OML/cmm/m/i t/10 I; i; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 SG[]\OT1/cmr/m/n/10 (\OML/cmm/m/ it/10 I\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ^^@ []\OT1/cmr/m/n/10 (\OML/cmm/m/it /10 I; i\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ^^R []\OT1/cmr/m/n/10 ([](\OML/cmm/ m/it/10 I\OT1/cmr/m/n/10 ))$ [] [17] [18] (paper93_new.aux) ) Here is how much of TeX's memory you used: 4500 strings out of 25890 48459 string characters out of 197430 183979 words of memory out of 384000 7399 multiletter control sequences out of 10000+15000 17501 words of font info for 70 fonts, out of 400000 for 1000 14 hyphenation exceptions out of 1000 36i,35n,57p,552b,1927s stack positions out of 300i,100n,500p,50000b,4000s Output written on paper93_new.dvi (18 pages, 128932 bytes).