This is BibTeX, Version 0.99c (Web2C 7.3.7)
The top-level auxiliary file: metamath.aux
The style file: plain.bst
Database file #1: metamath.bib
You've used 66 entries,
            2118 wiz_defined-function locations,
            954 strings with 12876 characters,
and the built_in function-call counts, 18396 in all, are:
= -- 1891
> -- 628
< -- 9
+ -- 268
- -- 185
* -- 989
:= -- 3178
add.period$ -- 260
call.type$ -- 66
change.case$ -- 257
chr.to.int$ -- 0
cite$ -- 66
duplicate$ -- 820
empty$ -- 1595
format.name$ -- 185
if$ -- 3909
int.to.chr$ -- 0
int.to.str$ -- 66
missing$ -- 94
newline$ -- 388
num.names$ -- 148
pop$ -- 296
preamble$ -- 1
purify$ -- 220
quote$ -- 0
skip$ -- 489
stack$ -- 0
substring$ -- 955
swap$ -- 115
text.length$ -- 9
text.prefix$ -- 0
top$ -- 0
type$ -- 191
warning$ -- 0
while$ -- 192
width$ -- 68
write$ -- 858