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

[0.0, 0.15, 0.25, 0.35, 1.0, 120, 500, '--network=none', '--rm', '-v', '.lean', '/tmp/proof.lean', '@\\[init\\]', '\\bsorry\\b', '^import\\s+Lean\\b', '^import\\s+Mathlib\\b', 'banned', 'compile_error', 'docker', 'full_proof', 'lean', 'no_proof', 'partial_proof', 'podman', 'run', 'sorry', 'unsafe\\s+def', 'w']