This is TeX, Version 3.141 (C version d) (format=lplain 93.9.10)  17 JUN 1996 15:56
**Inside.tex
(Inside.tex
LaTeX Version 2.09 <25 March 1992>
(/usr/sup/TeX/lib/tex/macros/latex/sty/article.sty
Standard Document Style `article' <14 Jan 92>.
(/usr/sup/TeX/lib/tex/macros/latex/sty/art10.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
) (tex/defpaper.sty
\c@theorem=\count87
\c@lemm=\count88
\c@prop=\count89
\c@coroll=\count90
\c@conj=\count91
\c@claims=\count92
\c@ex=\count93
\c@alg=\count94
\c@defin=\count95
\c@assump=\count96
\c@propty=\count97
\c@mtheorem=\count98
\c@mdefin=\count99
\c@mex=\count100
\c@malg=\count101
)
(/usr/sup/TeX/lib/tex/macros/psfig/psfig.tex
\@unused=\write3

psfig/tex 1.9
\ps@stream=\read1
\p@intvaluex=\dimen99
\p@intvaluey=\dimen100
) (/usr/sup/TeX/lib/tex/macros/psfig/psfig.tex) (title.block) (Inside.aux)
(intro.blurb) [1

] (Inside.toc [2])
\tf@toc=\write4
 (overview.tex [3]) (structure.tex) [4]
(interface.tex) (etiquette.tex [5]) (parser.tex [6] [7] [8]) (solvers.tex
[9]) (rewrite.tex [10]) (imperative.tex [11]) (decl.comp.tex [12] [13])
(pipe.comp.tex) [14] (relation.tex) (backtrack.tex [15] [16]) (scc.tex)
(seminaive.tex [17]) (lazy.eval.tex [18]) (unify.tex) (nonground.tex [19])
(index.tex) (carg.tex [20] [21]) (agg.tex) (server.tex [22] [23] [24] [25]
[26]) (cplus.tex [27]) (memory.tex) [28] (Inside.aux) ) 
Here is how much of TeX's memory you used:
 756 strings out of 11979
 6748 string characters out of 87123
 42993 words of memory out of 262141
 2622 multiletter control sequences out of 9500
 18996 words of font info for 72 fonts, out of 100000 for 255
 14 hyphenation exceptions out of 607
 14i,6n,15p,236b,244s stack positions out of 300i,40n,60p,3000b,4000s

Output written on Inside.dvi (28 pages, 96088 bytes).