This is TeX, Version 3.1415 (preloaded format=LaTeX2e 94.9.23)  7 JAN 1904 06:17
**&LaTeX2e cers-uea95.tex
(cers-uea95.tex
LaTeX2e <1994/02/03> PRELIMINARY TEST RELEASE
(:LaTeX2e-inputs:LaTeX2e:article.cls
Standard Document Class `article' <1994/02/03>.
(:LaTeX2e-inputs:LaTeX2e:size12.clo)
\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
\bibindent=\dimen104
) (:TeX-inputs:UEA:ueareport.sty
Document Style Option `ueareport' -- Released 03 November 1994.
(:TeX-inputs:Plain:BoxedEPS.tex)) (cers-uea95.aux)
Font Note: Check substitution defaults for T1/cmr/m/n on input line 23.
Font Note: ... okay on input line 23.
Font Note: Check substitution defaults for OT1/cmr/m/n on input line 23.
Font Note: ... okay on input line 23.
Font Note: Check substitution defaults for OML/cmm/m/it on input line 23.
Font Note: ... okay on input line 23.
Font Note: Check substitution defaults for OMS/cmsy/m/n on input line 23.
Font Note: ... okay on input line 23.
Font Note: Check substitution defaults for OMX/cmex/m/n on input line 23.
Font Note: ... okay on input line 23.
Font Note: Check substitution defaults for U/cmr/m/n on input line 23.
Font Note: ... okay on input line 23.
Font Note: External font `cmex10' loaded for size <14.4> on input line 25.
Font Note: External font `cmex10' loaded for size <7> on input line 25.
Font Note: External font `cmex10' loaded for size <12> on input line 25.
Font Note: External font `cmex10' loaded for size <8> on input line 25.
Font Note: External font `cmex10' loaded for size <6> on input line 25.
 [0

]
\c@thm=\count91
\c@lem=\count92
\c@cor=\count93
\c@prop=\count94
\c@crit=\count95
\c@defn=\count96
\c@conj=\count97
\c@exmp=\count98
\c@prob=\count99
\c@rem=\count100
\c@ex=\count101
\c@nota=\count102
\c@deff=\count103
Font Note: External font `cmex10' loaded for size <5> on input line 128.
 [1] [0

] [1] [2] [3]
[4] [5] [6]
Overfull \hbox (3.16827pt too wide) in paragraph at lines 747--748
[] []\OT1/cmr/bx/n/12 (Strong Church-Rosser) \OT1/cmr/m/it/12 For any co-initia
l re-duc-tions $\OML/cmm/m/it/12 P$ \OT1/cmr/m/it/12 and $\OML/cmm/m/it/12 Q$ \
OT1/cmr/m/it/12 in an OCERS,

\hbox(9.0+3.0)x483.69684, glue set - 1.0
.\hbox(0.0+0.0)x0.0
.\glue 0.0
.\hbox(8.33331+0.0)x80.34714
..\glue 0.0
..\glue 0.0
..\glue -5.87494
..\hbox(8.33331+0.0)x80.34714
...\glue 5.87494
...\OT1/cmr/bx/n/12 T
...\OT1/cmr/bx/n/12 h
...\OT1/cmr/bx/n/12 e
...\OT1/cmr/bx/n/12 o
...etc.
..\glue 5.87494
.\penalty 0
.\OT1/cmr/bx/n/12 (
.etc.

[7] [8] [9] [10] [11] [12] [13] [14] [15] [16] (cers-uea95.aux) ) 
Here is how much of TeX's memory you used:
 621 strings out of 6409
 5718 string characters out of 73697
 51746 words of memory out of 200001
 3074 multiletter control sequences out of 10000
 11709 words of font info for 41 fonts, out of 60000 for 256
 15 hyphenation exceptions out of 2551
 23i,9n,21p,796b,466s stack positions out of 600i,150n,200p,3000b,2000s

Output written on cers-uea95.dvi (19 pages, 79424 bytes).