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

[0.0, 0.5, 1.0, 120, 200, 500, '(none reported)', ', ', '.', '/', 'DEFAULT_MODEL', 'axiom_leak', 'banned', 'candidate_lean', 'compile_error', 'compiles', 'content', 'cost', 'error', 'errors', 'exception', 'full_proof', 'has_sorry', 'lakefile.lean', 'model', 'partial_proof', 'proof_status', 'proved', 'raw_completion', 'refuted', 'response_cost', 'role', 'simple_prove', 'sorry_count', 'system', 'timeout', 'unknown', 'usage', 'user', 'utf-8', 'wall_sec']