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

[120, 500, 4000, '.lisp', '/tmp/acl2/saved_acl2', 'FAILED', 'KAIROS_ACL2_VL_IMAGE', 'Q.E.D.', 'acl2', 'acl2_proof_result', 'elapsed_sec', 'exit_code', 'failed', 'function', 'function_inputs', 'kairos.acl2.verify', 'kairos_vl_', 'qed_count', 'script', 'theorems', 'theorems_expected', 'theorems_failed', 'theorems_proved', 'timed_out', 'timeout_sec', 'transcript_first_4k', 'w', '~/acl2/saved_acl2']