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

[50000, 'no-session', 'replace', 'sdk_orchestration', 'session_id', 'sink', 'sv_file', 'sv_source', 'theorem_proving']