This is TeX, Version 3.14159 (preloaded format=LaTeX 96.8.20)  27 FEB 1997 14:19
**&Big-LaTeX MFCSsubC.tex
(MFCSsubC.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.
)
(:TeX-inputs:LaTeX:article.cls
Document Class: article 1995/12/20 v1.3q Standard LaTeX document class
(:TeX-inputs:LaTeX:size10.clo
File: size10.clo 1995/12/20 v1.3q Standard LaTeX file (size option)
)
\c@part=\count83
\c@section=\count84
\c@subsection=\count85
\c@subsubsection=\count86
\c@paragraph=\count87
\c@subparagraph=\count88
\c@figure=\count89
\c@table=\count90
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
Compatibility mode: definition of \rm ignored.
Compatibility mode: definition of \sf ignored.
Compatibility mode: definition of \tt ignored.
Compatibility mode: definition of \bf ignored.
Compatibility mode: definition of \it ignored.
Compatibility mode: definition of \sl ignored.
Compatibility mode: definition of \sc ignored.
LaTeX Info: Redefining \cal on input line 542.
LaTeX Info: Redefining \mit on input line 543.
\bibindent=\dimen105
) (: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=\count91
\Cd@qA=\count92
\Cd@rA=\count93
\Cd@sA=\count94
\Cd@KA=\dimen106
\Cd@LA=\dimen107
\Cd@NA=\dimen108
\Cd@OA=\dimen109
\Cd@tA=\count95
\Cd@uA=\count96
\Cd@MA=\dimen110
\Cd@@A=\box26
\Cd@gG=\count97
\Cd@KC=\count98
\Cd@sG=\dimen111
\Cd@nC=\dimen112
\Cd@NH=\dimen113
\Cd@qE=\dimen114
\Cd@@I=\dimen115
\PileSpacing=\dimen116
\Cd@hA=\dimen117
\Cd@TB=\dimen118
\DiagramCellHeight=\dimen119
\DiagramCellWidth=\dimen120
\MapShortFall=\dimen121
\Cd@cA=\dimen122
\rh+:>=\box27
\rt+:<=\box28
\dh+:>=\box29
\dt+:<=\box30
\rt+:>=\box31
\rh+:<=\box32
\dt+:>=\box33
\dh+:<=\box34
\Cd@EE=\toks14
\Cd@BE=\toks15
\Cd@RA=\count99
\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=\count100
\Cd@SB=\count101
\Cd@IB=\count102
\Cd@BA=\count103
\Cd@fA=\count104
\Cd@HB=\count105
\Cd@BB=\count106
\Cd@lF=\box35
\Cd@jF=\box36
\DiagonalChoice=\count107
\objectheight=\dimen123
\objectwidth=\dimen124
\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 1819.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 1819.
LaTeX Font Info:    Try loading font information for U+lasy on input line 1819.


(:TeX-inputs:LaTeX:Ulasy.fd
File: Ulasy.fd 1995/11/28 v2.2cLaTeX symbol font definitions
)) (MFCSsubC.aux)
LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 17.
LaTeX Font Info:    ... okay on input line 17.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 17.
LaTeX Font Info:    ... okay on input line 17.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 17.
LaTeX Font Info:    ... okay on input line 17.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 17.
LaTeX Font Info:    ... okay on input line 17.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 17.
LaTeX Font Info:    ... okay on input line 17.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 17.
LaTeX Font Info:    ... okay on input line 17.
\c@thm=\count108
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <12> on input line 227.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <8> on input line 227.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 227.

Underfull \vbox (badness 1946) has occurred while \output is active []

 [1


]
Underfull \vbox (badness 4108) has occurred while \output is active []


Underfull \hbox (badness 2591) in paragraph at lines 384--384
[]\OT1/cmr/bx/n/14.4 Deterministic Resid-ual and
 []


Underfull \vbox (badness 10000) has occurred while \output is active []

 [2]
[3]
Underfull \hbox (badness 2261) in paragraph at lines 577--582
[][]\OT1/cmr/m/n/10 A \OT1/cmr/m/it/10 De-ter-min-is-tic Fam-ily Struc-ture
 []


Underfull \hbox (badness 1735) in paragraph at lines 645--648
\OT1/cmr/m/n/10 con-cern-ing stan-dard-iza-tion of re-duc-tions in non-
 []


Underfull \hbox (badness 4120) in paragraph at lines 680--686
[]\OT1/cmr/m/n/10 Note that $\OML/cmm/m/it/10 P$\OT1/cmr/m/n/10 -neededness, $\
OML/cmm/m/it/10 P$\OT1/cmr/m/n/10 -erasure, and $\OML/cmm/m/it/10 P$\OT1/cmr/m/
n/10 -
 []

[4]
Underfull \hbox (badness 10000) in paragraph at lines 822--822
[]\OT1/cmr/bx/n/14.4 Deterministic Per-mu-ta-tion
 []


Underfull \hbox (badness 1308) in paragraph at lines 861--869
[]\OT1/cmr/m/n/10 We only con-sider \OT1/cmr/m/it/10 conflict-free \OT1/cmr/m/n
/10 or \OT1/cmr/m/it/10 de-ter-min-is-tic
 []

[5]
Underfull \hbox (badness 10000) in paragraph at lines 912--917
[][]\OT1/cmr/m/n/10 A \OT1/cmr/m/it/10 De-ter-
 []


Underfull \hbox (badness 10000) in paragraph at lines 1347--1348
[][]\OT1/cmr/bx/n/10 (Equivalence of DPESs and
 []

[6]
Underfull \hbox (badness 10000) in paragraph at lines 1381--1381
[]\OT1/cmr/bx/n/14.4 Relating Tran-si-tion and
 []

[7] [8]
Underfull \hbox (badness 1014) in paragraph at lines 2424--2424
[][]\OT1/cmr/m/n/8 For ex-am-ple, con-sider a CRS ([[]]) $\OML/cmm/m/it/8 R$ \O
T1/cmr/m/n/8 with rules
 []

[9]
Underfull \hbox (badness 1292) in paragraph at lines 2645--2650
\OT1/cmr/m/n/10 nor-mal-iza-tion in de-ter-min-is-tic resid-ual struc-
 []


Underfull \hbox (badness 1460) in paragraph at lines 2681--2687
[][]\OT1/cmr/m/n/10 Khasidashvili Z., Glauert J. R. W. Dis-
 []


Underfull \hbox (badness 1286) in paragraph at lines 2710--2711
[][]\OT1/cmr/m/n/10 Lafont Y. In-ter-ac-tion nets. In: Proc. of
 []

[10]
Underfull \hbox (badness 1584) in paragraph at lines 2718--2720
[][]\OT1/cmr/m/n/10 Laneve C. Dis-tribu-tive eval-u-a-tions of $\OML/cmm/m/it/1
0 ^^U$\OT1/cmr/m/n/10 -
 []


Underfull \hbox (badness 5878) in paragraph at lines 2750--2752
[][]\OT1/cmr/m/n/10 Melli^^Res P.-A. De-scrip-tion Ab-straite des
 []


Underfull \hbox (badness 1092) in paragraph at lines 2810--2814
\OT1/cmr/m/n/10 Struc-tures.  Springer LNCS, vol. 354, 1989,
 []

[11] (MFCSsubC.aux) ) 
Here is how much of TeX's memory you used:
 2503 strings out of 5927
 19478 string characters out of 28921
 81442 words of memory out of 200001
 5346 multiletter control sequences out of 10000
 18604 words of font info for 68 fonts, out of 60000 for 256
 15 hyphenation exceptions out of 2551
 110i,11n,19p,449b,406s stack positions out of 600i,150n,200p,3000b,2000s

Output written on MFCSsubC.dvi (11 pages, 82040 bytes).