This is TeX, C Version 3.14t3 (format=lplain 93.7.6)  16 SEP 1996 08:27
**syllabus.tex
(syllabus.tex
LaTeX Version 2.09 <14 January 1991>
(/usr/local/lib/tex/inputs/article.sty
Document Style `article' <16 Mar 88>.
(/usr/local/lib/tex/inputs/art12.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
) (syllabus.aux)
(/home/lieber/tex/common.tex
\c@example=\count87
\c@solution=\count88
\c@theorem=\count89
\c@fact=\count90
\c@claim=\count91
\c@lemma=\count92
\c@corollary=\count93
\c@proposition=\count94
\c@definition=\count95
\c@semantic-rule=\count96
\c@formulation=\count97
\c@definctr=\count98
) [1

] [2] (syllabus.aux) ) 
Here is how much of TeX's memory you used:
 427 strings out of 4463
 3015 string characters out of 63296
 35084 words of memory out of 262141
 2376 multiletter control sequences out of 9500
 18996 words of font info for 72 fonts, out of 72000 for 255
 14 hyphenation exceptions out of 607
 12i,5n,15p,153b,133s stack positions out of 300i,40n,60p,3000b,4000s

Output written on syllabus.dvi (2 pages, 3996 bytes).