This is TeX, C Version 3.141 (format=lplain 92.4.28)  23 MAY 1995 14:41
**linear-lambda.tex
(linear-lambda.tex
LaTeX Version 2.09 <18 March 1992>
(/usr/local/lib/tex/inputs/article.sty
Standard Document Style `article' <14 Jan 92>.
(/usr/local/lib/tex/inputs/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/lib/tex/inputs/fullpage.sty
Style Option FULLPAGE Version 2 as of 15 Dec 1988
) (/usr/users/jcm/tex/macros.tex
\c@thm=\count87
) (lmacros.tex) (linear-lambda.aux) [1

]
[2] [3] (linear-lambda.aux) ) 
Here is how much of TeX's memory you used:
 309 strings out of 11976
 2543 string characters out of 87171
 33135 words of memory out of 262141
 2258 multiletter control sequences out of 9500
 19297 words of font info for 73 fonts, out of 100000 for 255
 14 hyphenation exceptions out of 607
 12i,15n,15p,158b,235s stack positions out of 300i,40n,60p,3000b,4000s

Output written on linear-lambda.dvi (3 pages, 8424 bytes).