# file: /home/azureuser/agents/platform/athanor-builder/solve/sysverilog/cegar/vacuity.py
# hypothesis_version: 6.152.1

[300, 'cegar_progress_', 'cegar_vacuity_', 'clk', 'endmodule', 'k_induction', 'name', 'progress_probe.sv', 'reset', 'vacuity_probe.sv']