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

[0.0, 120, 200, 300, '!', '#', '**/*.lean', '*.lean', ', ', '-', '--', '--json', '--lake-project', '--no-gitignore', '--out', '--pythia-only', '--recursive', '--summary', '--timeout', '--workers', '.', '.gitignore', '/', '0 files', '; ', 'ERROR', 'FAIL', 'FILE', 'PASS', 'PATH', 'Pythia', 'REPORT.CSV', 'SCORE', 'SORRY', 'STATUS', 'add_subparser', 'banned', 'cmd_verify_batch', 'compiles', 'csv.DictWriter', 'directory', 'elapsed_sec', 'error', 'errors', 'errors_first_line', 'failed', 'false', 'has_sorry', 'import ', 'json_out', 'lake_project', 'module_path', 'no_gitignore', 'out', 'path', 'proved', 'pythia_only', 'replace', 'score', 'sorry', 'sorry_count', 'store_true', 'timeout', 'true', 'utf-8', 'verify-batch', 'w', 'workers']