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

[-2000, 120, 500, 600, 4000, '.lisp', '/tmp/acl2/saved_acl2', 'FAILED', 'FGL', 'KAIROS_ACL2_VL_IMAGE', 'Q.E.D.', 'VL parse complete', 'acl2', 'acl2_proof_result', 'elapsed_sec', 'exit_code', 'failed', 'fgl_attempted', 'fgl_proved', 'function', 'function_inputs', 'impl_module', 'kairos.acl2.verify', 'kairos_vl_', 'kairos_vl_fgl_', 'machine_verified', 'message', 'ooo-refines-si', 'qed_count', 'script', 'spec_module', 'sv_files', 'theorem_name', 'theorem_proving', 'theorems', 'theorems_expected', 'theorems_failed', 'theorems_proved', 'timed_out', 'timeout_sec', 'transcript_first_4k', 'transcript_preview', 'unverified', 'verification_status', 'vl_parsed', 'w', 'xormath', '~/acl2/saved_acl2']