This is TeX, Version 3.14159 (preloaded format=LaTeX 96.8.20)  29 NOV 1996 02:38
**&Big-LaTeX fsttcs-96New.tex
(fsttcs-96New.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.
 (llncs.sty
Document Style `llncs' <26 Feb 92>.
\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.83, 18 May 1995>
***********************************************************
! THIS IS AN EXPERIMENTAL VERSION OF COMMUTATIVE DIAGRAMS *
! it expired in August 1996 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@pA=\count94
\Cd@qA=\count95
\Cd@rA=\count96
\Cd@sA=\count97
\Cd@KA=\dimen105
\Cd@LA=\dimen106
\Cd@NA=\dimen107
\Cd@OA=\dimen108
\Cd@tA=\count98
\Cd@uA=\count99
\Cd@MA=\dimen109
\Cd@@A=\box26
\Cd@gG=\count100
\Cd@KC=\count101
\Cd@sG=\dimen110
\Cd@nC=\dimen111
\Cd@NH=\dimen112
\Cd@qE=\dimen113
\Cd@@I=\dimen114
\PileSpacing=\dimen115
\Cd@hA=\dimen116
\Cd@TB=\dimen117
\DiagramCellHeight=\dimen118
\DiagramCellWidth=\dimen119
\MapShortFall=\dimen120
\Cd@cA=\dimen121
\rh+:>=\box27
\rt+:<=\box28
\dh+:>=\box29
\dt+:<=\box30
\rt+:>=\box31
\rh+:<=\box32
\dt+:>=\box33
\dh+:<=\box34
\Cd@EE=\toks14
\Cd@BE=\toks15
\Cd@RA=\count102
\Cd@wD=\toks16
\Cd@GE=\toks17
\Cd@AE=\toks18
\Cd@CE=\toks19
\Cd@@E=\toks20
\Cd@FE=\toks21
\Cd@yD=\toks22
\Cd@zD=\toks23
\Cd@xD=\toks24
\Cd@DE=\toks25
\Cd@z=\count103
\Cd@SB=\count104
\Cd@IB=\count105
\Cd@BA=\count106
\Cd@fA=\count107
\Cd@HB=\count108
\Cd@BB=\count109
\Cd@lF=\box35
\Cd@jF=\box36
\DiagonalChoice=\count110
\objectheight=\dimen122
\objectwidth=\dimen123
\Cd@JA=\toks26
\Cd@II=\toks27
\Cd@DH=\toks28
\Cd@RD=\toks29
\Cd@@H=\toks30
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 1818.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 1818.
LaTeX Font Info:    Try loading font information for U+lasy on input line 1818.


(:TeX-inputs:LaTeX:Ulasy.fd
File: Ulasy.fd 1995/11/28 v2.2cLaTeX symbol font definitions
)) (fsttcs-96New.aux)
LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 29.
LaTeX Font Info:    ... okay on input line 29.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 29.
LaTeX Font Info:    ... okay on input line 29.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 29.
LaTeX Font Info:    ... okay on input line 29.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 29.
LaTeX Font Info:    ... okay on input line 29.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 29.
LaTeX Font Info:    ... okay on input line 29.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 29.
LaTeX Font Info:    ... okay on input line 29.
\c@thm=\count111
\c@lem=\count112
\c@cor=\count113
\c@ex=\count114
\c@rem=\count115
\c@nota=\count116
\c@prop=\count117
\c@deff=\count118
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <9> on input line 152.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 152.
 [1

]
Overfull \hbox (0.55537pt too wide) in paragraph at lines 182--198
\OT1/cmr/m/n/10 tion only a few. Boudol ex-tended need-ed-ness the-ory to non-o
rthogonal TRSs[[]].
 []

[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] (fsttcs-96New.aux) ) 
Here is how much of TeX's memory you used:
 2505 strings out of 5927
 19452 string characters out of 28921
 78056 words of memory out of 200001
 5354 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,6n,22p,1275b,254s stack positions out of 600i,150n,200p,3000b,2000s

Output written on fsttcs-96New.dvi (12 pages, 56020 bytes).