This is BibTeX, Version 0.99c (Web2C 7.4.5)
The top-level auxiliary file: theory.aux
The style file: apalike.bst
Database file #1: h1.bib
You've used 8 entries,
            1935 wiz_defined-function locations,
            536 strings with 5042 characters,
and the built_in function-call counts, 3090 in all, are:
= -- 310
> -- 106
< -- 13
+ -- 31
- -- 31
* -- 238
:= -- 537
add.period$ -- 28
call.type$ -- 8
change.case$ -- 51
chr.to.int$ -- 8
cite$ -- 8
duplicate$ -- 132
empty$ -- 228
format.name$ -- 49
if$ -- 625
int.to.chr$ -- 1
int.to.str$ -- 0
missing$ -- 7
newline$ -- 44
num.names$ -- 29
pop$ -- 45
preamble$ -- 1
purify$ -- 53
quote$ -- 0
skip$ -- 103
stack$ -- 0
substring$ -- 191
swap$ -- 24
text.length$ -- 5
text.prefix$ -- 0
top$ -- 0
type$ -- 44
warning$ -- 0
while$ -- 28
width$ -- 0
write$ -- 112
