This is TeX, Version 3.14159 (preloaded format=LaTeX 96.8.20)  15 DEC 1996 23:21
**&Big-LaTeX CAAP97Final.tex
(CAAP97Final.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.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
)) (CAAP97Final.aux)
LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 19.
LaTeX Font Info:    ... okay on input line 19.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 19.
LaTeX Font Info:    ... okay on input line 19.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 19.
LaTeX Font Info:    ... okay on input line 19.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 19.
LaTeX Font Info:    ... okay on input line 19.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 19.
LaTeX Font Info:    ... okay on input line 19.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 19.
LaTeX Font Info:    ... okay on input line 19.
\c@thm=\count111
\c@lem=\count112
\c@cor=\count113
\c@ex=\count114
\c@rem=\count115
\c@prop=\count116
\c@deff=\count117
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <9> on input line 175.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 175.
 [1

] [2] [3] [4] [5] [6]
[7] [8] [9] [10]
Overfull \hbox (1.65758pt too wide) in paragraph at lines 943--945
[]\OT1/cmr/m/n/10 Second, it is nat-u-ral to ex-tend DPESs with an ax-iom-a-tiz
ed \OT1/cmr/m/it/10 era-sure \OT1/cmr/m/n/10 re-la-tion or an ax-iom-a-tized \O
T1/cmr/m/it/10 permutation-
 []

[11] [12] [13] [14] [15] (CAAP97Final.aux) ) 
Here is how much of TeX's memory you used:
 2559 strings out of 5927
 19982 string characters out of 28921
 96249 words of memory out of 200001
 5408 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,9n,22p,1785b,534s stack positions out of 600i,150n,200p,3000b,2000s

Output written on CAAP97Final.dvi (15 pages, 98868 bytes).