This is TeX, Version 3.14159 (Web2C 7.3.1) (format=latex 2001.5.15)  27 MAY 2002 22:04
**pdf
(pdf.tex
LaTeX2e <2000/06/01>
Babel <v3.7h> and hyphenation patterns for american, french, german, ngerman, n
ohyphenation, loaded.
(/home/cp/Library/TeX/texmf/tex/latex/latexlib/llncs.cls
Document Class: llncs 2001/08/14 v2.10 
experimental LaTeX document class for Lecture Notes in Computer Science
(/home/cp/Library/TeX/texmf/tex/latex/latexlib/article.cls
Document Class: article 1999/01/07 v1.4a Standard LaTeX document class
(/home/cp/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/cp/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 343.
LaTeX Font Info:    Redeclaring math symbol \Delta on input line 344.
LaTeX Font Info:    Redeclaring math symbol \Theta on input line 345.
LaTeX Font Info:    Redeclaring math symbol \Lambda on input line 346.
LaTeX Font Info:    Redeclaring math symbol \Xi on input line 347.
LaTeX Font Info:    Redeclaring math symbol \Pi on input line 348.
LaTeX Font Info:    Redeclaring math symbol \Sigma on input line 349.
LaTeX Font Info:    Redeclaring math symbol \Upsilon on input line 350.
LaTeX Font Info:    Redeclaring math symbol \Phi on input line 351.
LaTeX Font Info:    Redeclaring math symbol \Psi on input line 352.
LaTeX Font Info:    Redeclaring math symbol \Omega on input line 353.
\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/psnfss/times.sty
Package: times 2000/01/12 PSNFSS-v8.1 Times font as default roman (SPQR) 
) (body.tex
(/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/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=\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.
))
(/home/cp/Library/TeX/texmf/tex/latex/latexlib/headerarticle.tex
\sectionintocsep=\skip45
\contentsandreferencesheadroom=\skip46
\contentsandreferencesfootroom=\skip47
)
(/home/cp/Library/TeX/texmf/tex/latex/latexlib/headergerman.tex
(/home/cp/Library/TeX/texmf/tex/latex/latexlib/oldgerman.tex))
(/home/cp/Library/TeX/texmf/tex/latex/latexlib/header.tex
(/home/cp/Library/TeX/texmf/tex/latex/latexlib/headerhot.tex
\disp=\skip48
\textwidthminustwomm=\skip49
\textwidthminushalfcm=\skip50
\textwidthminusonecm=\skip51
\textwidthminustwocm=\skip52
\textwidthminusfourcm=\skip53
\textwidthminussixcm=\skip54
\yinibox=\box54
))
(/home/cp/Library/TeX/texmf/tex/latex/latexlib/headertheorem.tex
\c@theorem=\count115
)
(/home/cp/Library/TeX/texmf/tex/latex/latexlib/headerforformulas.tex)
(/home/cp/Library/TeX/texmf/tex/latex/latexlib/headersugarterms.tex)
(/usr/share/texmf/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes, docmode,
(/usr/share/texmf/tex/generic/xypic/xyrecat.tex)
(/usr/share/texmf/tex/generic/xypic/xyidioms.tex)

 Xy-pic version 3.7 <1999/02/16>
 Copyright (c) 1991-1998 by Kristoffer H. Rose <krisrose@ens-lyon.fr>
 Xy-pic is free software: see the User's Guide for details.

Loading kernel: messages; fonts; allocations: state,
\X@c=\dimen124
\Y@c=\dimen125
\U@c=\dimen126
\D@c=\dimen127
\L@c=\dimen128
\R@c=\dimen129
\Edge@c=\toks19
\X@p=\dimen130
\Y@p=\dimen131
\U@p=\dimen132
\D@p=\dimen133
\L@p=\dimen134
\R@p=\dimen135
\Edge@p=\toks20
\X@origin=\dimen136
\Y@origin=\dimen137
\X@xbase=\dimen138
\Y@xbase=\dimen139
\X@ybase=\dimen140
\Y@ybase=\dimen141
\X@min=\dimen142
\Y@min=\dimen143
\X@max=\dimen144
\Y@max=\dimen145
\lastobjectbox@=\box55
\zerodotbox@=\box56
\almostz@=\dimen146
 direction,
\d@X=\dimen147
\d@Y=\dimen148
\K@=\count116
\KK@=\count117
\Direction=\count118
\K@dXdY=\dimen149
\K@dYdX=\dimen150
\xyread@=\read1
\xywrite@=\write3
\csp@=\count119
\quotPTK@=\dimen151

utility macros; pictures: \xy, positions,
\swaptoks@@=\toks21
\connectobjectbox@@=\box57
 objects,
\styletoks@=\toks22
 decorations;
kernel objects: directionals, circles, text; options; algorithms: directions,
edges, connections;  Xy-pic loaded)
(/usr/share/texmf/tex/generic/xypic/xyall.tex
 Xy-pic option: All features v.3.3
(/usr/share/texmf/tex/generic/xypic/xycurve.tex
 Xy-pic option: Curve and Spline extension v.3.7 curve,
\crv@cnt@=\count120
\crvpts@=\toks23
\splinebox@=\box58
\splineval@=\dimen152
\splinedepth@=\dimen153
\splinetol@=\dimen154
\splinelength@=\dimen155
 circles,
\L@=\dimen156
 loaded)
(/usr/share/texmf/tex/generic/xypic/xyframe.tex
 Xy-pic option: Frame and Bracket extension v.3.7 loaded)
(/usr/share/texmf/tex/generic/xypic/xycmtip.tex
 Xy-pic option: Computer Modern tip extension v.3.3
(/usr/share/texmf/tex/generic/xypic/xytips.tex
 Xy-pic option: More Tips extension v.3.3 loaded) loaded)
(/usr/share/texmf/tex/generic/xypic/xyline.tex
 Xy-pic option: Line styles extension v.3.6
\xylinethick@=\dimen157
 loaded)
(/usr/share/texmf/tex/generic/xypic/xyrotate.tex
 Xy-pic option: Rotate and Scale extension v.3.3 loaded)
(/usr/share/texmf/tex/generic/xypic/xycolor.tex
 Xy-pic option: Colour extension v.3.3 loaded)
(/usr/share/texmf/tex/generic/xypic/xymatrix.tex
 Xy-pic option: Matrix feature v.3.4
\Row=\count121
\Col=\count122
\queue@=\toks24
\queue@@=\toks25
\qcount@=\count123
\qcount@@=\count124
\matrixsize@=\count125
 loaded)
(/usr/share/texmf/tex/generic/xypic/xyarrow.tex
 Xy-pic option: Arrow and Path feature v.3.5 path, \ar, loaded)
(/usr/share/texmf/tex/generic/xypic/xygraph.tex
 Xy-pic option: Graph feature v.3.7 loaded) loaded)
(/usr/share/texmf/tex/generic/xypic/xydvips.tex
 Xy-pic option: DVIPS driver v.3.3 loaded)
(/home/cp/Library/TeX/texmf/tex/latex/latexlib/headerbiblio.tex
Doc. St. `headerbiblio', <vers. 1.63>, copyright CP Wirth
\mybibitemsep=\skip55
(/home/cp/Library/TeX/texmf/tex/latex/latexlib/headernames.tex)
LaTeX Info: Redefining \cite on input line 318.
)
(/home/cp/Library/TeX/texmf/tex/latex/latexlib/headersemantical.tex) (pdf.aux)
\openout1 = `pdf.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 36.
LaTeX Font Info:    ... okay on input line 36.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 36.
LaTeX Font Info:    ... okay on input line 36.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 36.
LaTeX Font Info:    ... okay on input line 36.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 36.
LaTeX Font Info:    ... okay on input line 36.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 36.
LaTeX Font Info:    ... okay on input line 36.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 36.
LaTeX Font Info:    ... okay on input line 36.
LaTeX Font Info:    Try loading font information for OT1+ptm on input line 36.

(/usr/share/texmf/tex/latex/psnfss/ot1ptm.fd
File: ot1ptm.fd 2000/01/12 PSNFSS-v8.1 font definitions for OT1/ptm.
)
(/usr/share/texmf/tex/generic/xypic/xyps-ps.tex)

Xy-pic Warning: The produced DVI file is NOT PORTABLE [pdf:36]:
 It contains <driver> `dvips' \specials for the `PostScript' extension.

(/usr/share/texmf/tex/generic/xypic/xyps-pro.tex)
(/usr/share/texmf/tex/generic/xypic/xypspatt.tex)
(/usr/share/texmf/tex/generic/xypic/xypsdict.tex)
(/usr/share/texmf/tex/generic/xypic/xyps-c.tex
(/usr/share/texmf/tex/generic/xypic/xyps-s.tex))
(/usr/share/texmf/tex/generic/xypic/xyps-r.tex)
(/usr/share/texmf/tex/generic/xypic/xyps-l.tex)
(/usr/share/texmf/tex/generic/xypic/xyps-f.tex)
LaTeX Font Info:    Font shape `OT1/ptm/bx/n' in size <14.4> not available
(Font)              Font shape `OT1/ptm/b/n' tried instead on input line 38.
LaTeX Font Info:    Try loading font information for U+lasy on input line 38.

(/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 38.

(/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 38.

(/usr/share/texmf/tex/latex/amsfonts/umsb.fd
File: umsb.fd 1995/01/05 v2.2e AMS font definitions
)
LaTeX Font Info:    Try loading font information for OT1+pcr on input line 38.

(/usr/share/texmf/tex/latex/psnfss/ot1pcr.fd
File: ot1pcr.fd 2000/01/12 PSNFSS-v8.1 font definitions for OT1/pcr.
)
LaTeX Font Info:    Font shape `OT1/ptm/bx/n' in size <9> not available
(Font)              Font shape `OT1/ptm/b/n' tried instead on input line 39.
LaTeX Font Info:    Font shape `OT1/ptm/bx/n' in size <12> not available
(Font)              Font shape `OT1/ptm/b/n' tried instead on input line 41.
 [1

] [2]
LaTeX Font Info:    Font shape `OT1/ptm/bx/n' in size <10> not available
(Font)              Font shape `OT1/ptm/b/n' tried instead on input line 313.
LaTeX Font Info:    Font shape `U/lasy/b/n' in size <7> not available
(Font)              Font shape `U/lasy/m/n' tried instead on input line 313.
LaTeX Font Info:    Font shape `U/lasy/b/n' in size <5> not available
(Font)              Font shape `U/lasy/m/n' tried instead on input line 313.
 [3] [4] [5]
Overfull \hbox (2.37987pt too wide) in paragraph at lines 680--692
\OT1/ptm/m/n/10 and com-mu-ta-tive. The \OT1/ptm/m/it/10 for-mula \OT1/ptm/m/n/
10 of the se-quent  $\OML/cmm/m/it/10 A[] [] A[]$  \OT1/ptm/m/n/10 is the for-m
ula  $[]$
 []

[6] [7]
Overfull \hbox (3.36261pt too wide) in paragraph at lines 1092--1100
\OT1/ptm/m/n/10 with ex-actly the same re-sult. The slight dif-fer-ences im-pro
ve the user-friendliness, namely
 []

[8] [9] (pdf.aux) ) ) 
Here is how much of TeX's memory you used:
 5367 strings out of 25890
 59537 string characters out of 197430
 176126 words of memory out of 384000
 8174 multiletter control sequences out of 10000+15000
 29883 words of font info for 106 fonts, out of 400000 for 1000
 72 hyphenation exceptions out of 1000
 29i,17n,24p,269b,292s stack positions out of 300i,100n,500p,50000b,4000s

Output written on pdf.dvi (9 pages, 53752 bytes).