This is BibTeX, Version 0.99d (TeX Live 2011/Fink)
Capacity: max_strings=35307, hash_size=35307, hash_prime=30011
The top-level auxiliary file: eprover.aux
The style file: alpha.bst
Database file #1: stsbib.bib
You've used 31 entries,
            2543 wiz_defined-function locations,
            785 strings with 9261 characters,
and the built_in function-call counts, 14918 in all, are:
= -- 1529
> -- 663
< -- 47
+ -- 212
- -- 211
* -- 1085
:= -- 2320
add.period$ -- 116
call.type$ -- 31
change.case$ -- 191
chr.to.int$ -- 30
cite$ -- 31
duplicate$ -- 619
empty$ -- 1107
format.name$ -- 252
if$ -- 3186
int.to.chr$ -- 2
int.to.str$ -- 0
missing$ -- 27
newline$ -- 165
num.names$ -- 123
pop$ -- 188
preamble$ -- 1
purify$ -- 224
quote$ -- 0
skip$ -- 540
stack$ -- 0
substring$ -- 881
swap$ -- 202
text.length$ -- 47
text.prefix$ -- 12
top$ -- 0
type$ -- 240
warning$ -- 0
while$ -- 157
width$ -- 33
write$ -- 446
