Vampire 5.2.2 MCore 6.2.0