#!/bin/sh
exec vampire --input_syntax smtlib2 -sas vampire "$@"