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

[1024, '#', '#define', '#ifdef', '#include', '%', '(assert', '(check-sat', '(declare-', '(define-', '(set-info', '(set-logic', '(set-option', '--', '.c', '.dfy', '.sv', '/', '/*', '//', ';', 'DISPATCH_TABLE', 'DispatchError', 'DispatchResult', 'c', 'cbmc', 'char ', 'checker ', 'cnf(', 'cvc5', 'dafny', 'datatype ', 'detect_kind', 'dispatch', 'double ', 'ebmc', 'eprover', 'extern ', 'float ', 'fof(', 'function ', 'ghost ', 'int ', 'interface ', 'kairos_dispatch_', 'lemma ', 'long ', 'method ', 'module ', 'package ', 'predicate ', 'primitive ', 'proved', 'refuted', 'smt2', 'static ', 'sv', 'tff(', 'thf(', 'tptp', 'typedef ', 'unknown', 'vampire', 'void ', 'w']