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

[0.0, -4000, -2000, 120, 200, 300, 500, 600, 1200, 4000, '!rst_n', '(good-bye)\n', '(in-package "VL")\n', '(set-ignore-ok t)\n', '))\n', '--acl2', '.lisp', '/tmp/acl2/saved_acl2', 'CERTIFICATION FAILED', 'DEFTHM', 'FAILED', 'FGL', 'KAIROS_ACL2_VL_IMAGE', 'Q.E.D.', 'acl2', 'acl2-fgl', 'acl2_proof_result', 'axiom', 'book1_cert', 'book2_cert', 'book3_cert', 'books', 'bound', 'build', 'cert.pl', 'constraint_count', 'cross_module_proved', 'ebmc', 'ebmc-k-induction', 'elapsed_sec', 'exit_code', 'expected_value', 'failed', 'fgl-interp', 'fgl_attempted', 'fgl_proved', 'function', 'function_inputs', 'halted', 'impl_module', 'impl_module_resolved', 'invariant_name', 'iterations', 'kairos.acl2.verify', 'kairos_acl2_inv_', 'kairos_acl2_refine_', 'kairos_acl2_twomod_', 'kairos_vl_', 'machine_verified', 'message', 'mode', 'name', 'ooo-refines-si', 'partial', 'payload', 'payload_preview', 'proved', 'provenance', 'qed_count', 'reason', 'reprove', 'script', 'signal_constraints', 'signal_delays', 'spec_module', 'spec_module_resolved', 'sv_files', 'target_signal', 'theorem_name', 'theorem_proving', 'theorems', 'theorems_expected', 'theorems_failed', 'theorems_proved', 'timed_out', 'timeout_sec', 'top_wrapper', 'transcript_first_4k', 'transcript_preview', 'trust_root', 'unverified', 'verification_status', 'vl_only', 'vl_parsed', 'w', 'xormath', '~/acl2/saved_acl2']