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

[0.0, 1.0, '"(?:\\\\.|[^"\\\\])*"', '--[^\\n]*', '.', '/-.*?-/', 'ClosureVerdict', 'KNOWN_TACTICS', "\\b[A-Za-z_][\\w']*\\b", '\\s+', 'absurd', 'apply', 'assumption', 'by_contra', 'calc', 'cases', 'classify_closure', 'congr', 'constructor', 'contradiction', 'decide', 'else', 'exact', 'exfalso', 'exists', 'ext', 'field_simp', 'fin_cases', 'fun', 'funext', 'have', 'if', 'induction', "induction'", 'interval_cases', 'intro', 'intros', 'left', 'let', 'linarith', 'match', 'nlinarith', 'norm_num', 'obtain', 'omega', 'push_neg', 'rcases', 'refine', 'rewrite', 'rfl', 'right', 'ring', 'ring_nf', 'rw', 'set', 'show', 'simp', 'simp_all', 'simp_arith', 'split', 'subst', 'tauto', 'then', 'trans', 'trivial', 'use']