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

[50000, 'kairos.observe', 'replace', 'sv_file', 'sv_source', 'theorem_proving']