This is TeX, Version 3.14159 (preloaded format=LaTeX 96.8.20)  7 JAN 1997 13:03
**&Big-LaTeX segragra-95.tex
(segragra-95.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:size11.clo
File: size11.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:fullpage.sty)
\c@thm=\count91
\c@lem=\count92
\c@cor=\count93
\c@rem=\count94
\c@prop=\count95
\c@deff=\count96
\c@defn=\count97

(segragra-95.aux)
LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 121.
LaTeX Font Info:    ... okay on input line 121.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 121.
LaTeX Font Info:    ... okay on input line 121.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 121.
LaTeX Font Info:    ... okay on input line 121.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 121.
LaTeX Font Info:    ... okay on input line 121.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 121.
LaTeX Font Info:    ... okay on input line 121.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 121.
LaTeX Font Info:    ... okay on input line 121.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <12> on input line 196.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <8> on input line 196.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 196.
LaTeX Font Info:    Try loading font information for U+lasy on input line 196.
 (:TeX-inputs:LaTeX:Ulasy.fd
File: Ulasy.fd 1995/11/28 v2.2cLaTeX symbol font definitions
)
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <9> on input line 196.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 196.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 196.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <10.95> on input line 221.
 [1

] [2] [3] [4]
Overfull \hbox (3.24759pt too wide) in paragraph at lines 616--619
[][]\OT1/cmr/m/it/10.95 A lo-cally con-flu-ent, in-creas-ing, weakly nor-mal-iz
-ing ab-stract rewrit-ing sys-tem is strongly
 []

[5] [6] [7] [8] [9] [10] (segragra-95.aux) ) 
Here is how much of TeX's memory you used:
 608 strings out of 5927
 5641 string characters out of 28921
 50038 words of memory out of 200001
 3440 multiletter control sequences out of 10000
 24204 words of font info for 88 fonts, out of 60000 for 256
 15 hyphenation exceptions out of 2551
 24i,9n,21p,1338b,268s stack positions out of 600i,150n,200p,3000b,2000s

Output written on segragra-95.dvi (10 pages, 41628 bytes).