# file: /home/azureuser/agents/platform/athanor-sdk/src/kairos/sv/vampire.py
# hypothesis_version: 6.152.1

[0.0, '--proof', '-t', '.p', 'VampireResult', 'cnf(', 'error', 'fof(', 'kairos_vampire_', 'run_vampire', 'sat', 'tff(', 'thf(', 'timeout', 'tptp', 'unknown', 'unsat', 'vampire', 'w']