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

[0.0, 0.7, 180, 200, 300, 800, 2000, 4000, ' := ', '.', '.lean', '/', ':', ':=', ':= ', '@', '_', 'by', 'calc', 'closed', 'completion_tokens', 'cycle_prove_attempt', 'drafter', 'drafter_alias', 'empty_candidate', 'error', 'error:', 'error: build failed', 'exact', 'final_compiles', 'final_has_sorry', 'final_score', 'finish_reason', 'first_60_chars', 'fun', 'max_rounds', 'no goals', 'non_lean_response', 'reasoning_content', 'reasoning_len', 'refine', "refine'", 'round_temperature', 'rounds_run', 'show', 'solve', 'theorem_proving', 'tid', 'total_wall_sec']