Vampire: The Requiem Calculator Program