This is BibTeX, Version 0.99c (Web2C 7.5.6)
The top-level auxiliary file: symptom_abstraction.aux
The style file: abbrv.bst
Database file #1: ../vmgbibliography.bib
Database file #2: ../mybib.bib
Warning--I didn't find a database entry for "constraint"
You've used 8 entries,
            2118 wiz_defined-function locations,
            537 strings with 4490 characters,
and the built_in function-call counts, 1690 in all, are:
= -- 158
> -- 56
< -- 0
+ -- 24
- -- 16
* -- 58
:= -- 303
add.period$ -- 24
call.type$ -- 8
change.case$ -- 30
chr.to.int$ -- 0
cite$ -- 8
duplicate$ -- 72
empty$ -- 167
format.name$ -- 16
if$ -- 359
int.to.chr$ -- 0
int.to.str$ -- 8
missing$ -- 6
newline$ -- 43
num.names$ -- 16
pop$ -- 56
preamble$ -- 1
purify$ -- 24
quote$ -- 0
skip$ -- 54
stack$ -- 0
substring$ -- 40
swap$ -- 8
text.length$ -- 0
text.prefix$ -- 0
top$ -- 0
type$ -- 28
warning$ -- 0
while$ -- 16
width$ -- 9
write$ -- 82
(There was 1 warning)