This is TeX, Version 3.14159 (preloaded format=LaTeX 96.8.20)  7 OCT 1997 15:52
**&Big-LaTeX mfcs-97FinB.tex
(mfcs-97FinB.tex
LaTeX2e <1995/12/01> patch level 2
(:TeX-inputs:LaTeX:latex209.def
File: latex209.def 1995/12/08 v0.50 Standard LaTeX file

Entering LaTeX 2.09 compatibility mode.
\footheight=\dimen102
\@maxsep=\dimen103
\@dblmaxsep=\dimen104
\@cla=\count79
\@clb=\count80
\mscount=\count81
(:TeX-inputs:LaTeX:tracefnt.sty
Package: tracefnt 1995/11/28v3.0g Standard LaTeX package (font tracing)
\tracingfonts=\count82
LaTeX Info: Redefining \selectfont on input line 138.
)
\symbold=\mathgroup4
\symsans=\mathgroup5
\symtypewriter=\mathgroup6
\symitalic=\mathgroup7
\symsmallcaps=\mathgroup8
\symslanted=\mathgroup9
LaTeX Font Info:    Redeclaring math alphabet \mathbf on input line 299.
LaTeX Font Info:    Redeclaring math alphabet \mathsf on input line 300.
LaTeX Font Info:    Redeclaring math alphabet \mathtt on input line 301.
LaTeX Font Info:    Redeclaring math alphabet \mathit on input line 307.
LaTeX Info: Redefining \em on input line 317.
 (:TeX-inputs:LaTeX:latexsym.sty
Package: latexsym 1995/11/28 v2.2c Standard LaTeX package (lasy symbols)
\symlasy=\mathgroup10
LaTeX Font Info:    Overwriting symbol font `lasy' in version `bold'
(Font)                  U/lasy/m/n --> U/lasy/b/n on input line 85.
)
LaTeX Font Info:    Redeclaring math delimiter \lgroup on input line 382.
LaTeX Font Info:    Redeclaring math delimiter \rgroup on input line 384.
LaTeX Font Info:    Redeclaring math delimiter \bracevert on input line 386.
)
Compatibility mode: loading llncs.sty rather than llncs.cls.

(:User:TeX-inputs:llncs.sty
Document Style `llncs', <version 1.2>
\c@part=\count83
\c@section=\count84
\c@subsection=\count85
\c@subsubsection=\count86
\c@paragraph=\count87
\c@figure=\count88
\c@table=\count89
\c@@inst=\count90
\c@@auth=\count91
\c@theorem=\count92
\c@example=\count93
) (:User:TeX-inputs:diagrams.tex
<Paul Taylor's commutative diagrams, version 3.84, September 1996>
***********************************************************
! THIS IS AN EXPERIMENTAL VERSION OF COMMUTATIVE DIAGRAMS *
! it expired in (September 1997) and is time-bombed for January *
! You may obtain an up to date version of this package by *
! "anonymous FTP" from theory.doc.ic.ac.uk (146.169.2.27) *
***********************************************************
\CD@sA=\count94
\CD@tA=\count95
\CD@uA=\count96
\CD@vA=\count97
\CD@OA=\dimen105
\CD@PA=\dimen106
\CD@RA=\dimen107
\CD@SA=\dimen108
\CD@wA=\count98
\CD@xA=\count99
\CD@QA=\dimen109
\CD@DA=\box26
\CD@rG=\count100
\CD@LC=\count101
\CD@CH=\dimen110
\CD@qC=\dimen111
\CD@dH=\dimen112
\CD@xE=\dimen113
\CD@OI=\dimen114
\PileSpacing=\dimen115
\CD@lA=\dimen116
\CD@UB=\dimen117
\DiagramCellHeight=\dimen118
\DiagramCellWidth=\dimen119
\MapShortFall=\dimen120
\CD@gA=\dimen121
\rh+:>=\box27
\rt+:<=\box28
\dh+:>=\box29
\dt+:<=\box30
\rt+:>=\box31
\rh+:<=\box32
\dt+:>=\box33
\dh+:<=\box34
\CD@LE=\toks14
\CD@IE=\toks15
\CD@VA=\count102
\CD@CE=\toks16
\CD@NE=\toks17
\CD@HE=\toks18
\CD@JE=\toks19
\CD@GE=\toks20
\CD@ME=\toks21
\CD@EE=\toks22
\CD@FE=\toks23
\CD@DE=\toks24
\CD@KE=\toks25
\CD@CA=\count103
\CD@TB=\count104
\CD@JB=\count105
\CD@FA=\count106
\CD@jA=\count107
\CD@IB=\count108
\CD@EB=\count109
\CD@rF=\box35
\CD@pF=\box36
\DiagonalChoice=\count110
\objectheight=\dimen122
\objectwidth=\dimen123
\CD@NA=\toks26
\CD@YI=\toks27
\CD@QH=\toks28
\CD@WD=\toks29
\CD@MH=\toks30
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 1796.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 1796.
LaTeX Font Info:    Try loading font information for U+lasy on input line 1796.


(:TeX-inputs:LaTeX:Ulasy.fd
File: Ulasy.fd 1995/11/28 v2.2cLaTeX symbol font definitions
)) (mfcs-97FinB.aux)
LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 7.
LaTeX Font Info:    ... okay on input line 7.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 7.
LaTeX Font Info:    ... okay on input line 7.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 7.
LaTeX Font Info:    ... okay on input line 7.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 7.
LaTeX Font Info:    ... okay on input line 7.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 7.
LaTeX Font Info:    ... okay on input line 7.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 7.
LaTeX Font Info:    ... okay on input line 7.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <9> on input line 33.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 33.
\c@thm=\count111
 [1

]
Overfull \hbox (6.07152pt too wide) in paragraph at lines 301--316
\OT1/cmr/m/n/10 duc-tions as rep-re-sent-ing the same con-cur-rent com-pu-ta-ti
on, as in-deed permutation-
 []

[2] [3] [4] [5] [6]
Overfull \hbox (2.01439pt too wide) in paragraph at lines 688--694
[][]\OT1/cmr/m/n/10 A \OT1/cmr/m/it/10 De-ter-min-is-tic Per-mu-ta-tion Event S
truc-ture \OT1/cmr/m/n/10 (DPES) is a triple
 []

[7] [8] [9] [10] [11] (mfcs-97FinB.aux) ) 
Here is how much of TeX's memory you used:
 2571 strings out of 5927
 19856 string characters out of 28921
 77344 words of memory out of 200001
 5420 multiletter control sequences out of 10000
 16105 words of font info for 59 fonts, out of 60000 for 256
 15 hyphenation exceptions out of 2551
 110i,11n,22p,452b,235s stack positions out of 600i,150n,200p,3000b,2000s

Output written on mfcs-97FinB.dvi (11 pages, 49032 bytes).