This is BibTeX, Version 0.99c (Web2C 7.3.1)
The top-level auxiliary file: 3k+1.aux
The style file: alpha.bst
Database file #1: 3k+1.bib
You've used 1 entry,
            2543 wiz_defined-function locations,
            567 strings with 4574 characters,
and the built_in function-call counts, 318 in all, are:
= -- 25
> -- 8
< -- 2
+ -- 3
- -- 2
* -- 23
:= -- 59
add.period$ -- 3
call.type$ -- 1
change.case$ -- 4
chr.to.int$ -- 1
cite$ -- 1
duplicate$ -- 17
empty$ -- 27
format.name$ -- 4
if$ -- 61
int.to.chr$ -- 1
int.to.str$ -- 0
missing$ -- 2
newline$ -- 8
num.names$ -- 3
pop$ -- 7
preamble$ -- 1
purify$ -- 6
quote$ -- 0
skip$ -- 11
stack$ -- 0
substring$ -- 8
swap$ -- 3
text.length$ -- 2
text.prefix$ -- 1
top$ -- 0
type$ -- 4
warning$ -- 0
while$ -- 2
width$ -- 2
write$ -- 16
