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

[200, 300, ' + ', 'XORMATH', 'add', 'alu_function', 'block_name', 'commit_table', 'compute_compiles', 'compute_error', 'compute_method', 'compute_properties', 'control_error', 'control_method', 'control_properties', 'control_proved', 'destination', 'ebmc_k_induction', 'end NCS', 'instr_id', 'k_induction', 'lean', 'message', 'module\\s+(\\w+)', 'mul', 'namespace NCS', 'ncs_compute_verify', 'ncs_control_verify', 'nondeterministic', 'properties', 'rd', 'result_val', 'rs1', 'rs2', 'source_operands', 'spec.sv', 'spec_pipeline', 'xormath_param']