This is TeX, Version 3.1415 (preloaded format=LaTeX2e 94.9.23)  8 NOV 1995 21:53
**&LaTeX2e stoc.tex
(stoc.tex
LaTeX2e <1994/02/03> PRELIMINARY TEST RELEASE
(:LaTeX2e-inputs:LaTeX2e:latex209.def
Entering LaTeX 2.09 compatibility mode <1994/02/10>.
\footheight=\dimen104
\@maxsep=\dimen105
\@dblmaxsep=\dimen106
(:LaTeX2e-inputs:LaTeX2e:tracefnt.sty
Package: `tracefnt' v2.3c <1994/01/26> (FMi and RmS)
English Documentation      <1994/01/17> (FMi and RmS)
\tracingfonts=\count83
)
\symbold=\mathgroup4
\symsans=\mathgroup5
\symtypewriter=\mathgroup6
\symitalic=\mathgroup7
\symsmallcaps=\mathgroup8
\symslanted=\mathgroup9

Font Info: Redeclaring math alphabet \mathbf on input line 130.


Font Info: Redeclaring math alphabet \mathsf on input line 131.


Font Info: Redeclaring math alphabet \mathtt on input line 132.


Font Info: Redeclaring math alphabet \mathit on input line 138.

 (:LaTeX2e-inputs:LaTeX2e:latexsym.sty
Package: `latexsym' v2.1a  <93/12/06> (FMi)
English Documentation      <93/12/06> (FMi)
\symlasy=\mathgroup10
Font Note: Overwriting symbol font `lasy' in version `bold'
Font           U/lasy/m/n --> U/lasy/b/n on input line 52.
)
Font Note: Redeclaring math delimiter \lgroup on input line 196.
Font Note: Redeclaring math delimiter \rgroup on input line 198.
Font Note: Redeclaring math delimiter \bracevert on input line 200.
)
Compatibility mode: loading llncs.sty rather than llncs.cls.
 (llncs.sty
Document Style `llncs' <26 Feb 92>.
\c@part=\count84
\c@section=\count85
\c@subsection=\count86
\c@subsubsection=\count87
\c@paragraph=\count88
\c@figure=\count89
\c@table=\count90
\c@@inst=\count91
\c@@auth=\count92
\c@theorem=\count93
\c@example=\count94
) (:TeX-inputs:UEA:diagrams.tex
<Paul Taylor's commutative diagrams, version 3.83, 18 May 1995>
\Cd@pA=\count95
\Cd@qA=\count96
\Cd@rA=\count97
\Cd@sA=\count98
\Cd@KA=\dimen107
\Cd@LA=\dimen108
\Cd@NA=\dimen109
\Cd@OA=\dimen110
\Cd@tA=\count99
\Cd@uA=\count100
\Cd@MA=\dimen111
\Cd@@A=\box25
\Cd@gG=\count101
\Cd@KC=\count102
\Cd@sG=\dimen112
\Cd@nC=\dimen113
\Cd@NH=\dimen114
\Cd@qE=\dimen115
\Cd@@I=\dimen116
\PileSpacing=\dimen117
\Cd@hA=\dimen118
\Cd@TB=\dimen119
\DiagramCellHeight=\dimen120
\DiagramCellWidth=\dimen121
\MapShortFall=\dimen122
\Cd@cA=\dimen123
\rh+:>=\box26
\rt+:<=\box27
\dh+:>=\box28
\dt+:<=\box29
\rt+:>=\box30
\rh+:<=\box31
\dt+:>=\box32
\dh+:<=\box33
\Cd@EE=\toks15
\Cd@BE=\toks16
\Cd@RA=\count103
\Cd@wD=\toks17
\Cd@GE=\toks18
\Cd@AE=\toks19
\Cd@CE=\toks20
\Cd@@E=\toks21
\Cd@FE=\toks22
\Cd@yD=\toks23
\Cd@zD=\toks24
\Cd@xD=\toks25
\Cd@DE=\toks26
\Cd@z=\count104
\Cd@SB=\count105
\Cd@IB=\count106
\Cd@BA=\count107
\Cd@fA=\count108
\Cd@HB=\count109
\Cd@BB=\count110
\Cd@lF=\box34
\Cd@jF=\box35
\DiagonalChoice=\count111
\objectheight=\dimen124
\objectwidth=\dimen125
\Cd@JA=\toks27
\Cd@II=\toks28
\Cd@DH=\toks29
\Cd@RD=\toks30
\Cd@@H=\toks31
Font Note: No math setup on input line 1818.
Font Note: External font `cmex10' loaded for size <7> on input line 1818.
Font Note: External font `cmex10' loaded for size <5> on input line 1818.
Font Note: Try loading font information for U+lasy on input line 1818.

(:LaTeX2e-inputs:LaTeX2e:Ulasy.fd
Fontdef file produced from: `latexsym.dtx' v2.1a <93/12/06> (FMi and RmS)
)) (stoc.aux)
Font Note: Check substitution defaults for T1/cmr/m/n on input line 28.
Font Note: ... okay on input line 28.
Font Note: Check substitution defaults for OT1/cmr/m/n on input line 28.
Font Note: ... okay on input line 28.
Font Note: Check substitution defaults for OML/cmm/m/it on input line 28.
Font Note: ... okay on input line 28.
Font Note: Check substitution defaults for OMS/cmsy/m/n on input line 28.
Font Note: ... okay on input line 28.
Font Note: Check substitution defaults for OMX/cmex/m/n on input line 28.
Font Note: ... okay on input line 28.
Font Note: Check substitution defaults for U/cmr/m/n on input line 28.
Font Note: ... okay on input line 28.
\c@thm=\count112
\c@lem=\count113
\c@cor=\count114
\c@ex=\count115
\c@rem=\count116
\c@nota=\count117
\c@prop=\count118
\c@deff=\count119
Font Note: No math setup on input line 154.
Font Note: No math setup on input line 154.
Font Note: External font `cmex10' loaded for size <9> on input line 154.
Font Note: External font `cmex10' loaded for size <6> on input line 154.
Font Note: No math setup on input line 198.
 [1

] [2]
Font Note: No math setup on input line 302.
 [3] [4]
Font Note: No math setup on input line 508.
Font Note: No math setup on input line 588.
 [5] [6] [7]
Font Note: No math setup on input line 916.

[8]
Font Note: No math setup on input line 1297.
 [9]
Font Note: No math setup on input line 1445.
 [10]
Font Note: No math setup on input line 1535.
 [11]
Font Note: No math setup on input line 1569.
Font Note: No math setup on input line 1608.

Underfull \hbox (badness 1205) in paragraph at lines 1606--1610
\OT1/cmr/m/n/9 tems. In: Proc. of the $4[]$ In-ter-na-tional work-shop on Con-d
i-tional (and Typed) Term Rewrit-ing Sys-

\hbox(7.98996+2.25)x452.93562, glue set 2.29395
.\OT1/cmr/m/n/9 t
.\OT1/cmr/m/n/9 e
.\OT1/cmr/m/n/9 m
.\OT1/cmr/m/n/9 s
.\OT1/cmr/m/n/9 .
.etc.

[12] (stoc.aux) ) 
Here is how much of TeX's memory you used:
 2450 strings out of 6409
 19100 string characters out of 73697
 76156 words of memory out of 200001
 4872 multiletter control sequences out of 10000
 17488 words of font info for 64 fonts, out of 60000 for 256
 15 hyphenation exceptions out of 2551
 110i,8n,22p,1036b,471s stack positions out of 600i,150n,200p,3000b,2000s

Output written on stoc.dvi (12 pages, 74204 bytes).