This is BibTeX, Version 0.99c (Web2C 7.5.4)
The top-level auxiliary file: all.aux
The style file: named.bst
Database file #1: herbrandbib.bib
You've used 19 entries,
            2437 wiz_defined-function locations,
            672 strings with 7547 characters,
and the built_in function-call counts, 5792 in all, are:
= -- 595
> -- 161
< -- 3
+ -- 48
- -- 47
* -- 396
:= -- 996
add.period$ -- 75
call.type$ -- 19
change.case$ -- 86
chr.to.int$ -- 19
cite$ -- 19
duplicate$ -- 283
empty$ -- 500
format.name$ -- 70
if$ -- 1196
int.to.chr$ -- 1
int.to.str$ -- 0
missing$ -- 32
newline$ -- 112
num.names$ -- 59
pop$ -- 106
preamble$ -- 1
purify$ -- 80
quote$ -- 0
skip$ -- 194
stack$ -- 0
substring$ -- 212
swap$ -- 41
text.length$ -- 3
text.prefix$ -- 0
top$ -- 0
type$ -- 100
warning$ -- 0
while$ -- 49
width$ -- 22
write$ -- 267