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

[0.0, 0.7, 180, 500, 800, 2000, '  trivial', ':=', ':= by\n', '; ', '<unknown>', 'DecomposeHint', 'ModelClientDrafter', 'RaceResult', 'SolveResult', '[^A-Za-z0-9_]', '_', '_combine_tactic', '_sub_', 'axiom_clean', 'closed', 'closed_clean', 'combine', 'cost_usd', 'decompose', 'error', 'errors', 'exact ?_', 'failed', 'first_closer_alias', 'forbidden_axioms', 'header', 'imports', 'lake_project', 'lean_race_attempt', 'lean_solve_attempt', 'module_path', 'n_decompose_hints', 'n_drafters', 'n_sub_solves', 'name', 'ok', 'opens', 'path_taken', 'proved', 'race', 'rounds', 'scratch_namespace', 'skipped', 'solve', 'sublemmas', 'target', 'target_id', 'theorem_proving', 'tid', 'timeout_per_attempt', 'total_cost_usd', 'total_wall_seconds', 'trivial', 'type', 'wall_seconds', '{', '}']