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

[100, 120, 300, 600, 1200, '-', '--run', '.', '.acl2', '.cedar', '.dfy', '.kairos_hammer.lean', '.lean', '.lisp', '.lsp', '.py', '.sv', '.svh', '.v', '/tmp/acl2/saved_acl2', '1.0.0', '1.1.0', ':= by pythia!', ':=\\s*by\\s+sorry\\b', ':=\\s*sorry\\b', 'EngineAvailability', 'RouterResult', '\\1pythia!', '^(\\s+)sorry\\b', '^\\s*module\\s+(\\w+)', 'acl2', 'acl2_cascade', 'acl2_fgl', 'acl2_fgl_refinement', 'acl2_script', 'acl2_verify', 'all_files', 'autoformalize', 'axiom_clean', 'banned', 'bmc', 'bmc_result', 'cedar', 'cegar', 'cegar_loop', 'cegar_result', 'compiles', 'complete for', 'count', 'dafny', 'default-acl2-cascade', 'default-lean-cascade', 'default-sv-cascade', 'detect_engines', 'diff', 'ebmc', 'ebmc_bmc', 'ebmc_kinduction', 'engine_used', 'env', 'error', 'errors_head', 'explain', 'extra_args', 'fgl_bit_blast', 'fgl_result', 'flatten', 'flows', 'forbidden_axioms', 'get', 'goalClass', 'goal_class', 'halted', 'has_sorry', 'import ', 'k_induction', 'kairos_sv_flat_', 'kind_result', 'lake', 'lake_project', 'lakefile.lean', 'lean', 'lean_audit', 'lean_verify', 'list_flows', 'machine_verified', 'max_mutants', 'module', 'mutate', 'n_cases', 'none', 'proof incomplete', 'prove', 'pythia_hammer', 'pythia_lookup', 'pythia_validation', 'python', 'refuted', 'registered_theorems', 'registry', 'reset_expr', 'sorry', 'source', 'sourceModule', 'source_files', 'spec', 'success', 'summary', 'sv_cascade', 'sv_flatten', 'sv_orchestrate', 'systemverilog', 'target', 'target_path', 'target_type', 'theorem_name', 'theorem_proving', 'timeout_sec', 'top_module', 'unknown', 'unverified', 'validate=False', 'validated', 'validation_error', 'verification_status', 'verify', 'vl_load', 'vl_load_attempted', 'vl_to_svex', 'vl_to_svex_attempted', '~/acl2/saved_acl2']