diff --git a/Libraries/VampireSupport/40.50/Tools/VampireSupport40.50 b/Libraries/VampireSupport/40.50/Tools/VampireSupport40.50
new file mode 100644
index 0000000..a97c776
Binary files /dev/null and b/Libraries/VampireSupport/40.50/Tools/VampireSupport40.50 differ