# file: C:\Users\adars\AppData\Roaming\Python\Python314\site-packages\pygments\filters\__init__.py
# hypothesis_version: 6.151.14

['BUG', 'FIXME', 'NOTE', 'TODO', 'XXX', '\\<A>', '\\<AA>', '\\<And>', '\\<B>', '\\<BB>', '\\<C>', '\\<CC>', '\\<Colon>', '\\<Coprod>', '\\<D>', '\\<DD>', '\\<Delta>', '\\<Down>', '\\<E>', '\\<EE>', '\\<F>', '\\<FF>', '\\<G>', '\\<GG>', '\\<Gamma>', '\\<H>', '\\<HH>', '\\<I>', '\\<II>', '\\<Inter>', '\\<J>', '\\<JJ>', '\\<Join>', '\\<K>', '\\<KK>', '\\<L>', '\\<LL>', '\\<Lambda>', '\\<Leftarrow>', '\\<Leftrightarrow>', '\\<Longleftarrow>', '\\<Longrightarrow>', '\\<M>', '\\<MM>', '\\<Midarrow>', '\\<N>', '\\<NN>', '\\<O>', '\\<OO>', '\\<Odot>', '\\<Omega>', '\\<Oplus>', '\\<Or>', '\\<Otimes>', '\\<P>', '\\<PP>', '\\<Phi>', '\\<Pi>', '\\<Prod>', '\\<Psi>', '\\<Q>', '\\<QQ>', '\\<R>', '\\<RR>', '\\<Rightarrow>', '\\<S>', '\\<SS>', '\\<Sigma>', '\\<Sqinter>', '\\<Squnion>', '\\<Sum>', '\\<T>', '\\<TT>', '\\<TTurnstile>', '\\<Theta>', '\\<Turnstile>', '\\<U>', '\\<UU>', '\\<Union>', '\\<Up>', '\\<Updown>', '\\<Uplus>', '\\<Upsilon>', '\\<V>', '\\<VV>', '\\<W>', '\\<WW>', '\\<X>', '\\<XX>', '\\<Xi>', '\\<Y>', '\\<YY>', '\\<Z>', '\\<ZZ>', '\\<^bold>', '\\<^bsub>', '\\<^bsup>', '\\<^esub>', '\\<^esup>', '\\<^sub>', '\\<^sup>', '\\<a>', '\\<aa>', '\\<acute>', '\\<aleph>', '\\<alpha>', '\\<amalg>', '\\<and>', '\\<angle>', '\\<approx>', '\\<asymp>', '\\<b>', '\\<bar>', '\\<bb>', '\\<beta>', '\\<bool>', '\\<bottom>', '\\<bowtie>', '\\<box>', '\\<bullet>', '\\<c>', '\\<cc>', '\\<cdot>', '\\<cdots>', '\\<cedilla>', '\\<cent>', '\\<chi>', '\\<circ>', '\\<close>', '\\<clubsuit>', '\\<complex>', '\\<cong>', '\\<copyright>', '\\<currency>', '\\<d>', '\\<dagger>', '\\<dd>', '\\<ddagger>', '\\<degree>', '\\<delta>', '\\<diamond>', '\\<diamondsuit>', '\\<dieresis>', '\\<div>', '\\<doteq>', '\\<dots>', '\\<down>', '\\<downharpoonleft>', '\\<downharpoonright>', '\\<e>', '\\<ee>', '\\<eight>', '\\<emptyset>', '\\<epsilon>', '\\<equiv>', '\\<eta>', '\\<euro>', '\\<exclamdown>', '\\<exists>', '\\<f>', '\\<ff>', '\\<five>', '\\<flat>', '\\<forall>', '\\<four>', '\\<frown>', '\\<g>', '\\<gamma>', '\\<ge>', '\\<gg>', '\\<ggreater>', '\\<greaterapprox>', '\\<greatersim>', '\\<guillemotleft>', '\\<guillemotright>', '\\<h>', '\\<heartsuit>', '\\<here>', '\\<hh>', '\\<hookleftarrow>', '\\<hookrightarrow>', '\\<hungarumlaut>', '\\<hyphen>', '\\<i>', '\\<ii>', '\\<in>', '\\<index>', '\\<infinity>', '\\<int>', '\\<integral>', '\\<inter>', '\\<inverse>', '\\<iota>', '\\<j>', '\\<jj>', '\\<k>', '\\<kappa>', '\\<kk>', '\\<l>', '\\<lambda>', '\\<langle>', '\\<lbrace>', '\\<lbrakk>', '\\<lceil>', '\\<le>', '\\<leadsto>', '\\<leftarrow>', '\\<leftharpoondown>', '\\<leftharpoonup>', '\\<leftrightarrow>', '\\<lessapprox>', '\\<lesssim>', '\\<lfloor>', '\\<lhd>', '\\<ll>', '\\<lless>', '\\<longleftarrow>', '\\<longmapsto>', '\\<longrightarrow>', '\\<lozenge>', '\\<lparr>', '\\<m>', '\\<mapsto>', '\\<mho>', '\\<midarrow>', '\\<minusplus>', '\\<mm>', '\\<mu>', '\\<n>', '\\<nabla>', '\\<nat>', '\\<natural>', '\\<newline>', '\\<nexists>', '\\<nine>', '\\<nn>', '\\<not>', '\\<noteq>', '\\<notin>', '\\<nu>', '\\<o>', '\\<odot>', '\\<ointegral>', '\\<omega>', '\\<ominus>', '\\<one>', '\\<onehalf>', '\\<onequarter>', '\\<oo>', '\\<open>', '\\<oplus>', '\\<or>', '\\<ordfeminine>', '\\<ordmasculine>', '\\<oslash>', '\\<otimes>', '\\<p>', '\\<paragraph>', '\\<parallel>', '\\<partial>', '\\<phi>', '\\<pi>', '\\<plusminus>', '\\<pounds>', '\\<pp>', '\\<prec>', '\\<preceq>', '\\<propto>', '\\<psi>', '\\<q>', '\\<qq>', '\\<questiondown>', '\\<r>', '\\<rangle>', '\\<rat>', '\\<rbrace>', '\\<rbrakk>', '\\<rceil>', '\\<real>', '\\<registered>', '\\<restriction>', '\\<rfloor>', '\\<rhd>', '\\<rho>', '\\<rightarrow>', '\\<rightharpoondown>', '\\<rightharpoonup>', '\\<rightleftharpoons>', '\\<rparr>', '\\<rr>', '\\<s>', '\\<section>', '\\<setminus>', '\\<seven>', '\\<sharp>', '\\<sigma>', '\\<sim>', '\\<simeq>', '\\<six>', '\\<smile>', '\\<some>', '\\<spadesuit>', '\\<sqinter>', '\\<sqsubset>', '\\<sqsubseteq>', '\\<sqsupset>', '\\<sqsupseteq>', '\\<squnion>', '\\<ss>', '\\<star>', '\\<stileturn>', '\\<struct>', '\\<subset>', '\\<subseteq>', '\\<succ>', '\\<succeq>', '\\<supset>', '\\<supseteq>', '\\<surd>', '\\<t>', '\\<tau>', '\\<theta>', '\\<three>', '\\<threequarters>', '\\<times>', '\\<top>', '\\<triangle>', '\\<triangleleft>', '\\<triangleq>', '\\<triangleright>', '\\<tt>', '\\<tturnstile>', '\\<turnstile>', '\\<two>', '\\<u>', '\\<union>', '\\<unlhd>', '\\<unrhd>', '\\<up>', '\\<updown>', '\\<upharpoonleft>', '\\<upharpoonright>', '\\<uplus>', '\\<upsilon>', '\\<uu>', '\\<v>', '\\<vv>', '\\<w>', '\\<wp>', '\\<wrong>', '\\<ww>', '\\<x>', '\\<xi>', '\\<xx>', '\\<y>', '\\<yen>', '\\<yy>', '\\<z>', '\\<zero>', '\\<zeta>', '\\<zz>', '\\Bigsqcap', '\\Box', '\\Delta', '\\Diamond', '\\Downarrow', '\\Gamma', '\\Join', '\\Lambda', '\\Leftarrow', '\\Leftrightarrow', '\\Longleftarrow', '\\Longleftrightarrow', '\\Longrightarrow', '\\Omega', '\\Phi', '\\Pi', '\\Psi', '\\Relbar', '\\Rightarrow', '\\Sigma', '\\Theta', '\\Uparrow', '\\Updownarrow', '\\Upsilon', '\\Xi', '\\aleph', '\\alpha', '\\angle', '\\approx', '\\asymp', '\\b({})\\b', '\\beta', '\\bigcap', '\\bigcup', '\\bigodot', '\\bigoplus', '\\bigotimes', '\\bigplus', '\\bigsqcup', '\\bigvee', '\\bigwedge', '\\bot', '\\bowtie', '\\cap', '\\cdot', '\\cdots', '\\chi', '\\circ', '\\clubsuit', '\\cong', '\\coprod', '\\copyright', '\\cup', '\\dagger', '\\dashv', '\\ddagger', '\\delta', '\\diamondsuit', '\\div', '\\doteq', '\\dots', '\\downarrow', '\\downharpoonleft', '\\downharpoonright', '\\emptyset', '\\equiv', '\\eta', '\\euro', '\\exists', '\\flat', '\\flqq', '\\forall', '\\frqq', '\\gamma', '\\ge', '\\gg', '\\gtrapprox', '\\gtrsim', '\\heartsuit', '\\hookleftarrow', '\\hookrightarrow', '\\in', '\\infty', '\\int', '\\iota', '\\kappa', '\\lambda', '\\langle', '\\lceil', '\\le', '\\leadsto', '\\leftarrow', '\\leftharpoondown', '\\leftharpoonup', '\\leftrightarrow', '\\lessapprox', '\\lesssim', '\\lfloor', '\\lhd', '\\ll', '\\longleftarrow', '\\longleftrightarrow', '\\longmapsto', '\\longrightarrow', '\\mapsto', '\\mid', '\\models', '\\mp', '\\mu', '\\nabla', '\\natural', '\\neg', '\\nexists', '\\notin', '\\nu', '\\odot', '\\oint', '\\omega', '\\ominus', '\\oplus', '\\oslash', '\\otimes', '\\parallel', '\\partial', '\\pi', '\\pm', '\\pounds', '\\prec', '\\preceq', '\\prod', '\\propto', '\\psi', '\\rangle', '\\rceil', '\\relbar', '\\restriction', '\\rfloor', '\\rhd', '\\rightarrow', '\\rightharpoondown', '\\rightharpoonup', '\\rightleftharpoons', '\\s', '\\setminus', '\\sharp', '\\sigma', '\\sim', '\\simeq', '\\spadesuit', '\\sqcap', '\\sqcup', '\\sqsubset', '\\sqsubseteq', '\\sqsupset', '\\sqsupseteq', '\\star', '\\subset', '\\subseteq', '\\succ', '\\succeq', '\\sum', '\\supset', '\\supseteq', '\\surd', '\\tau', '\\textcent', '\\textcurrency', '\\textdegree', '\\textonehalf', '\\textonequarter', '\\textordfeminine', '\\textordmasculine', '\\textregistered', '\\textthreequarters', '\\times', '\\top', '\\triangle', '\\triangleleft', '\\triangleq', '\\triangleright', '\\unlhd', '\\unrhd', '\\uparrow', '\\updownarrow', '\\upharpoonleft', '\\upharpoonright', '\\uplus', '\\upsilon', '\\varepsilon', '\\varphi', '\\varrho', '\\vartheta', '\\vdash', '\\vee', '\\wedge', '\\xi', '\\yen', '\\zeta', 'capitalize', 'case', 'codetagify', 'codetags', 'excclass', 'gobble', 'highlight', 'isabelle', 'keywordcase', 'lang', 'latex', 'lower', 'n', 'names', 'newlines', 'raiseonerror', 'spaces', 'symbols', 'tabs', 'tabsize', 'tokenmerge', 'tokentype', 'upper', 'whitespace', 'wstokentype', '|', '¡', '¢', '£', '¤', '¥', '¦', '§', '¨', '©', 'ª', '«', '¬', '\xad', '®', '¯', '°', '±', '´', '¶', '·', '¸', 'º', '»', '¼', '½', '¾', '¿', '×', '÷', 'ı', '˝', 'Γ', 'Δ', 'Θ', 'Λ', 'Ξ', 'Π', 'Σ', 'Υ', 'Φ', 'Ψ', 'Ω', 'α', 'β', 'γ', 'δ', 'ε', 'ζ', 'η', 'θ', 'ι', 'κ', 'λ', 'μ', 'ν', 'ξ', 'π', 'ρ', 'σ', 'τ', 'υ', 'φ', 'χ', 'ψ', 'ω', 'ϵ', '†', '‡', '…', '‹', '›', '€', 'ℂ', 'ℋ', 'ℌ', 'ℐ', 'ℑ', 'ℒ', 'ℕ', '℘', 'ℚ', 'ℛ', 'ℜ', 'ℝ', 'ℤ', '℧', 'ℨ', 'ℬ', 'ℭ', 'ℰ', 'ℱ', 'ℳ', 'ℵ', '←', '↑', '→', '↓', '↔', '↕', '↝', '↦', '↩', '↪', '↼', '↽', '↾', '↿', '⇀', '⇁', '⇂', '⇃', '⇌', '⇐', '⇑', '⇒', '⇓', '⇔', '⇕', '⇖', '⇗', '⇘', '⇙', '⇧', '⇩', '∀', '∂', '∃', '∄', '∅', '∇', '∈', '∉', '∏', '∐', '∑', '∓', '∖', '∘', '∙', '√', '∝', '∞', '∠', '∥', '∧', '∨', '∩', '∪', '∫', '∮', '∷', '∼', '≀', '≃', '≅', '≈', '≍', '≐', '≜', '≠', '≡', '≤', '≥', '≪', '≫', '≲', '≳', '≺', '≻', '≼', '≽', '⊂', '⊃', '⊆', '⊇', '⊎', '⊏', '⊐', '⊑', '⊒', '⊓', '⊔', '⊕', '⊖', '⊗', '⊘', '⊙', '⊢', '⊣', '⊤', '⊥', '⊨', '⊩', '⊫', '⊲', '⊳', '⊴', '⊵', '⋀', '⋁', '⋂', '⋃', '⋄', '⋅', '⋆', '⋈', '⋯', '⌂', '⌈', '⌉', '⌊', '⌋', '⌢', '⌣', '⏎', '─', '═', '□', '△', '▹', '◃', '◇', '◊', '♠', '♡', '♢', '♣', '♭', '♮', '♯', '❙', '⟦', '⟧', '⟨', '⟩', '⟵', '⟶', '⟷', '⟸', '⟹', '⟺', '⟼', '⦃', '⦄', '⦇', '⦈', '⨀', '⨁', '⨂', '⨄', '⨅', '⨆', '⨝', '⨿', '⪅', '⪆', '𝒜', '𝒞', '𝒟', '𝒢', '𝒥', '𝒦', '𝒩', '𝒪', '𝒫', '𝒬', '𝒮', '𝒯', '𝒰', '𝒱', '𝒲', '𝒳', '𝒴', '𝒵', '𝔄', '𝔅', '𝔇', '𝔈', '𝔉', '𝔊', '𝔍', '𝔎', '𝔏', '𝔐', '𝔑', '𝔒', '𝔓', '𝔔', '𝔖', '𝔗', '𝔘', '𝔙', '𝔚', '𝔛', '𝔜', '𝔞', '𝔟', '𝔠', '𝔡', '𝔢', '𝔣', '𝔤', '𝔥', '𝔦', '𝔧', '𝔨', '𝔩', '𝔪', '𝔫', '𝔬', '𝔭', '𝔮', '𝔯', '𝔰', '𝔱', '𝔲', '𝔳', '𝔴', '𝔵', '𝔶', '𝔷', '𝔹', '𝖺', '𝖻', '𝖼', '𝖽', '𝖾', '𝖿', '𝗀', '𝗁', '𝗂', '𝗃', '𝗄', '𝗅', '𝗆', '𝗇', '𝗈', '𝗉', '𝗊', '𝗋', '𝗌', '𝗍', '𝗎', '𝗏', '𝗐', '𝗑', '𝗒', '𝗓', '𝟬', '𝟭', '𝟮', '𝟯', '𝟰', '𝟱', '𝟲', '𝟳', '𝟴', '𝟵']