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

[0.0, 0.1, 120, 200, 300, 500, 4000, 32768, '#', '--', 'ANTHROPIC_API_KEY', 'ANTHROPIC_BASE_URL', 'GeneratorIteration', 'GeneratorResult', 'KIMI_K26_API_BASE', 'KIMI_K26_API_KEY', 'SampleTermsResult', 'SpecBundle', 'anthropic/', 'api_base', 'api_key', 'auto_wrapped_session', 'autoformalize', 'azure_ai/claude', 'azure_ai/kimi', 'body', 'completion_tokens', 'content', 'cost_usd', 'elapsed_sec', 'escalate_opus', 'example_term', 'generator_synthesis', 'generator_synthesize', 'iteration', 'max_iters', 'max_tokens', 'model', 'n_samples', 'other', 'predicate_imports', 'predicate_name', 'prompt_tokens', 'reasoning_content', 'rejected_count', 'rejection_rate', 'rejection_reasons', 'role', 'sample_terms_error', 'sampled_count', 'sdk_orchestration', 'sink', 'timeout_sec', 'tokens_in', 'tokens_out', 'usage', 'user']