This is TeX, C Version 3.0 (format=lplain 93.2.19)  19 JUL 1993 10:47
**&latex hrs.cwi.tex
(hrs.cwi.tex
LaTeX Version 2.09 <7 Dec 1989>
(/usr/local/TeX/lib/macros/cwiarticle.sty
(/usr/local/TeX/lib/macros/article.sty
Document Style `article' <16 Mar 88>.
(/usr/local/TeX/lib/macros/art11.sty)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
)
(/usr/local/TeX/lib/macros/cwigeneral.sty
(/usr/local/TeX/lib/macros/cwiheading.sty)
(/usr/local/TeX/lib/macros/cwisection.sty
\@oldskip=\dimen99
)
(/usr/local/TeX/lib/macros/cwicontents.sty)
(/usr/local/TeX/lib/macros/cwimath.sty
\mathindent=\dimen100
\@stequation=\toks11
)
(/usr/local/TeX/lib/macros/cwibiblio.sty)
(/usr/local/TeX/lib/macros/cwifonts.sty)
(/usr/local/TeX/lib/macros/cwixfonts.sty
\euffam=\fam11
\mf=\fam12
)))
(/usr/local/TeX/lib/macros2/latex-style/fullpage.sty
Style Option FULLPAGE Version 2 as of 15 Dec 1988
) (/usr/local/TeX/lib/macros/amssym.def
\msafam=\fam13
\msbfam=\fam14
\eufmfam=\fam15
) (/usr/local/TeX/lib/macros/amssym.tex) (hrs.cwi.aux)
\c@thm=\count87
\c@lem=\count88
\c@cor=\count89
\c@ex=\count90
\c@rem=\count91
\c@prop=\count92
\c@alg=\count93
\c@deff=\count94
 [1

] [2] [3] [4] [5] [6] [7] [8] (rep.dev.latex) [9]
(rep.lem.latex) (rep.lem2.latex) [10] [11] [12] [13] [14] [15] [16] [17]
[18] (hrs.cwi.aux) ) 
Here is how much of TeX's memory you used:
 675 strings out of 4458
 6065 string characters out of 63205
 43526 words of memory out of 262141
 2559 multiletter control sequences out of 9500
 24653 words of font info for 92 fonts, out of 72000 for 255
 14 hyphenation exceptions out of 607
 15i,10n,23p,226b,299s stack positions out of 300i,40n,60p,3000b,4000s

Output written on hrs.cwi.dvi (18 pages, 108764 bytes).