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

[1800, '!', '!=', '&&', '(?<![<>!=])=(?![=])', '.', '.lean', '.strengthened.sv', '/', '//[^\\n]*', '/\\*.*?\\*/', '::', '<=', '==', '>=', 'Buffer', 'LEAN_MACHINES_ROOT', 'LeanRefutation', 'PushBuffer', 'REFINEMENT_CHAINS', 'RefinementResult', 'SvaAssertion', '[≤≥≠∧∨¬→↔⊕]', '\\)\\s*;\\s*\\n', '\\s+', '_vendor', 'args', 'assert property', 'assignments', 'assume property', 'body', 'build', 'clk', 'clock', 'cycle', 'examples_path', 'lake', 'lean_machines', 'name', 'parse_cex_trace', 'reset', 'rst', 'run_refinement_chain', 'splice_strengthening', 'to_sva', 'vendor_path', '||', '¬', '∧', '∨', '≠', '≤', '≥']