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

['> 0', '>= 0', 'PythiaSpec', '_', '_sharp', 'admissibility', 'admissible', 'betting slack', 'bit_precision_time', 'bound', 'bounded', 'break', 'break down', 'c_aCS_sharp', 'c_aCS_sharp_pos', 'c_vector_sharp', 'c_vector_sharp_pos', 'cacs', 'cvector', 'differ', 'differs', 'display', 'equivalence break', 'equivalence-break', 'equivalence_break', 'error', 'eta betting', 'eta hr', 'eta_betting', 'eta_betting_positive', 'eta_hr', 'eta_hr_monotone', 'eta_hr_nonneg', 'etabetting', 'etahr', 'exp process', 'exp-process', 'exponential process', 'howard-ramdas slack', 'hr slack', 'hr stopping', 'hrstopping', 'list_patterns', 'match', 'monotone', 'monotonic', 'nat', 'natural number', 'non negative', 'non-decreasing', 'non-negative', 'nondecreasing', 'nonneg', 'nonnegative', 'pos_lemma', 'positive', 'pythia', 'pythia time', 'pythia.time', 'pythia_smoke', 'quantization', 'quantize', 'quantizereal', 'sanity check', 'self-normalized', 'smoke test', 'smoke-test', 'stopping rule', 'strictly positive', 'super-martingale', 'supermartingale', 'symbol', 'time abbreviates', 'ville', 'ville_inequality', 'which', 'ℕ', '≥ 0']