+
    JV-jÛ(  ã                   ób   € R t ^ RIt^ RIHt ^ RIHtHtHtHtH	t	H
t
HtHt R.t ! R R]4      tR# )z¾
pygments.lexers.tnt
~~~~~~~~~~~~~~~~~~~

Lexer for Typographic Number Theory.

:copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
N)ÚLexer)ÚTextÚCommentÚOperatorÚKeywordÚNameÚNumberÚPunctuationÚErrorÚTNTLexerc                   óf  a € ] tR t^t o RtRtRtR.tR.tRt	. t
]! R4      t]! R4      t]! R	4      t]! R
4      t]! R4      t]! R4      t]! R4      t]! R4      t]P*                  ! R4      t]P*                  ! R4      t]P*                  ! R4      tR tRR ltR tR tR tR tR tR t R t!Rt"V t#R# )r   un   
Lexer for Typographic Number Theory, as described in the book
GÃ¶del, Escher, Bach, by Douglas R. Hofstadter
zTypographic Number Theoryz,https://github.com/Kenny2github/language-tntÚtntz*.tntz2.7u   âŠƒâ†’]&âˆ§^|âˆ¨Vvu   +.â‹…*Úabcdeu   'â€²z~!u   AEâˆ€âˆƒÚ
0123456789z	 
ax  (?xi)
        joining | separation | double-tilde | fantasy\ rule
        | carry[- ]over(?:\ of)?(?:\ line)?\ ([0-9]+) | detachment
        | contrapositive | De\ Morgan | switcheroo
        | specification | generalization | interchange
        | existence | symmetry | transitivity
        | add\ S | drop\ S | induction
        | axiom\ ([1-5]) | premise | push | pop
    z((?:[0-9]+)(?:(?:, ?|,? and )(?:[0-9]+))*z\[[^\n\]]+\]c                óH   € \         P                  ! V .VO5/ VB  . V n        R # )N)r   Ú__init__Úcur)ÚselfÚargsÚkwargss   &*,Úd/Volumes/fast/ai/experiments/ui-tars-smoke/.venv/lib/python3.14/site-packages/pygments/lexers/tnt.pyr   ÚTNTLexer.__init__7   s   € Ü�Š�tÐ-˜dÒ- fÒ-ØˆŽó    c                ó  € Tp W$,          V P                   9   d   V^,          pK"   V'       d   WA8X  d   \        hWA8w  d%   V P                  P                  V\        W!V 34       V#   \         d    \        T4      p LXi ; i)zTokenize whitespace.)Ú
WHITESPACEÚ
IndexErrorÚlenÚAssertionErrorr   Úappendr   )r   ÚstartÚtextÚrequiredÚends   &&&& r   Ú
whitespaceÚTNTLexer.whitespace;   sv   € àˆð	Ø•)˜tŸ™Ô.Ø�q•’ð /÷ ˜œÜ Ð ØŒ<Ø�H‰H�O‰O˜U¤D¨$°S¨/Ð:Ô;Øˆ
øô ô 	Ü�d“)ŠCð	ús   „"A' Á'B Á?B c                óò   € W!,          V P                   9  d   \        hV^,           pW#,          V P                  9   d   V^,          pK"  V P                  P	                  V\
        P                  W!V 34       V# )zTokenize a variable.)Ú	VARIABLESr   ÚPRIMESr   r   r   ÚVariable©r   r   r    r"   s   &&& r   ÚvariableÚTNTLexer.variableI   sZ   € à�;˜dŸn™nÔ,Ü Ð Ø�A�gˆØ�i˜4Ÿ;™;Ô&Ø�1�HŠCØ�‰�‰˜¤§¡¨t¸#¨Ð?Ô@Øˆ
r   c                ó¨  € W!,          R8X  da   V^,           pW#,          R8X  d   V^,          pK  V P                   P                  V\        P                  W!V 34       V P	                  W24      # W!,          R8X  d<   V P                   P                  V\        P                  W!,          34       V^,           # W!,          V P
                  9   d   V P                  W4      # W!,          R8X  dä   V P                   P                  V\        W!,          34       V P	                  V^,           V4      pW!,          V P                  9  d   \        hV P                   P                  V\        W!,          34       V P	                  V^,           V4      pW!,          R8w  d   \        hV P                   P                  V\        W!,          34       V^,           # \        h)zTokenize a term.ÚSÚ0Ú(Ú))r   r   r   ÚIntegerÚtermr&   r*   r	   Ú	OPERATORSr   r   r)   s   &&& r   r2   ÚTNTLexer.termS   sS  € à�;˜#ÔØ˜•'ˆCØ•)˜sÔ"Ø�q•’Ø�H‰H�O‰O˜U¤F§N¡N°D¸s°OÐDÔEØ—9‘9˜SÓ'Ð'Ø�;˜#ÔØ�H‰H�O‰O˜U¤F§N¡N°DµKÐ@ÔAØ˜•7ˆNØ�;˜$Ÿ.™.Ô(Ø—=‘= Ó-Ð-Ø�;˜#ÔØ�H‰H�O‰O˜U¤K°µÐ=Ô>Ø—I‘I˜e A�g tÓ,ˆEØ�{ $§.¡.Ô0Ü$Ð$Ø�H‰H�O‰O˜U¤H¨d­kÐ:Ô;Ø—I‘I˜e A�g tÓ,ˆEØ�{˜cÔ!Ü$Ð$Ø�H‰H�O‰O˜U¤K°µÐ=Ô>Ø˜•7ˆNÜÐr   c                ó
  € W!,          V P                   9   da   V^,           pW#,          V P                   9   d   V^,          pK"  V P                  P                  V\        W!V 34       V P	                  W24      # W!,          V P
                  9   d    V P                  P                  V\        P                  W!,          34       V P                  V^,           V4      pW!,          R8w  d   \        hV P                  P                  V\        W!,          34       V P	                  V^,           V4      # W!,          R8X  dä   V P                  P                  V\        W!,          34       V P	                  V^,           V4      pW!,          V P                  9  d   \        hV P                  P                  V\        W!,          34       V P	                  V^,           V4      pW!,          R8w  d   \        hV P                  P                  V\        W!,          34       V^,           # V P                  W4      pW!,          R8w  d   \        hV P                  P                  V\        W!,          34       V P                  V^,           V4      pV# )zTokenize a formula.Ú:Ú<Ú>Ú=)ÚNEGATORSr   r   r   ÚformulaÚQUANTIFIERSr   ÚDeclarationr*   r   r	   ÚLOGICr2   r)   s   &&& r   r;   ÚTNTLexer.formulam   sÕ  € à�;˜$Ÿ-™-Ô'Ø˜•'ˆCØ•)˜tŸ}™}Ô,Ø�q•’Ø�H‰H�O‰O˜U¤H¨d¸¨oÐ>Ô?Ø—<‘< Ó*Ð*Ø�;˜$×*Ñ*Ô*Ø�H‰H�O‰O˜U¤G×$7Ñ$7¸½ÐEÔFØ—M‘M %¨¥'¨4Ó0ˆEØ�{˜cÔ!Ü$Ð$Ø�H‰H�O‰O˜U¤K°µÐ=Ô>Ø—<‘<  a¥¨Ó.Ð.Ø�;˜#ÔØ�H‰H�O‰O˜U¤K°µÐ=Ô>Ø—L‘L  q¥¨$Ó/ˆEØ�{ $§*¡*Ô,Ü$Ð$Ø�H‰H�O‰O˜U¤H¨d­kÐ:Ô;Ø—L‘L  q¥¨$Ó/ˆEØ�{˜cÔ!Ü$Ð$Ø�H‰H�O‰O˜U¤K°µÐ=Ô>Ø˜•7ˆNà—	‘	˜%Ó&ˆØ�;˜#ÔÜ Ð Ø�‰�‰˜¤¨$­+Ð6Ô7Ø—	‘	˜% �' 4Ó(ˆØˆr   c           	     óì  € V P                   P                  W!4      pVf   \        h\        VP                  R,          4      pV Fì  pV^ ,          ^ 8¼  g   K  V P
                  P                  V\        W!V^ ,           34       V P
                  P                  V^ ,          \        P                  W%^ ,          V^,           34       V^,          VP                  4       8w  dA   V P
                  P                  V^,          \        W%^,          VP                  4        34        VP                  4       # 	  V P
                  P                  V\        W!VP                  4        34       VP                  4       # )zTokenize a rule.:é   NN)ÚRULESÚmatchr   ÚsortedÚregsr   r   r   r   r1   r"   )r   r   r    rC   ÚgroupsÚgroups   &&&   r   ÚruleÚTNTLexer.rule�   s  € à—
‘
× Ñ  Ó-ˆØŠ=Ü Ð Ü˜Ÿ
™
 2�Ó'ˆÛˆEØ�Q�x˜1Ž}Ø—‘—‘ ¬°¸EÀ!½HÐ1EÐ FÔGØ—‘—‘  q¥¬6¯>©>Ø!%¨A¥h¨u°Q­xÐ!8ð!:ô ;à˜•8˜uŸy™y›{Ô*Ø—H‘H—O‘O U¨1¥X¬wØ%)°­(°5·9±9³;Ð%?ð%Aô Bàð �y‰y‹{Ðñ ð �H‰H�O‰O˜U¤G¨T¸¿	¹	»Ð-DÐEÔFØ�y‰y‹{Ðr   c                óÖ  € TpW#,          V P                   9  d   V^,          pK"  V P                  P                  V\        W!,          34       V P                  P                  V^,           \        W!^,           V 34       TpV P
                  P                  W!4      pVf   \        hW$P                  4       ,          R8w  d   \        hV P                  P                  VP                  4       \        P                  VP                  ^ 4      34       V P                  P                  VP                  4       \        W$P                  4       ,          34       VP                  4       ^,           # )zTokenize a line referral.r0   )ÚNUMBERSr   r   r	   r   ÚLINENOSrC   r   r"   r   r   r1   rG   )r   r   r    r"   rC   s   &&&  r   ÚlinenoÚTNTLexer.lineno¢   sõ   € àˆØ�i˜tŸ|™|Ô+Ø�1�HŠCØ�‰�‰˜¤¨T­[Ð9Ô:Ø�‰�‰˜˜q�¤$¨°1­W°SÐ(9Ð:Ô;ØˆØ—‘×"Ñ" 4Ó/ˆØŠ=Ü Ð Ø—	‘	“Õ Ô#Ü Ð Ø�‰�‰˜Ÿ™›¬¯©¸¿¹ÀA»ÐGÔHØ�‰�‰˜Ÿ™›¤k°4¿	¹	»Õ3DÐEÔFØ�y‰y‹{˜Q�Ðr   c                óì   € Tp W#,          R8w  d   V^,          pK   W18w  d%   V P                  P                  V\        W!V 34       V P                  W24      pV#   \          d    \        T4      p LUi ; i)z?Mark everything from ``start`` to the end of the line as Error.Ú
)r   r   r   r   r
   r#   r)   s   &&& r   Úerror_till_line_endÚTNTLexer.error_till_line_end³   ss   € àˆð	Ø•)˜tÔ#Ø�q•’ð $ð Œ<Ø�H‰H�O‰O˜U¤E¨4°c¨?Ð;Ô<Ø�o‰o˜cÓ(ˆØˆ
øô ô 	Ü�d“)ŠCð	ús   „A ÁA3Á2A3c                óÔ  € . V n         V P                  ^ V4      ;r#Y#u;8:  d   \        V4      8  Ed'   M V P                   #  W,          V P                  9   d   V^,          pK"  W28w  dX   V P                   P	                  V\
        P                  WV 34       \        V P                   4      p V P                  W1R4      ;r#V P                  P                  W4      pVeY   V P                   P	                  V\        WVP                  4        34       VP                  4       ;r#V P                  W!4      ;r#EK  ?W,          R9   d<   V P                   P	                  V\        W,          34       V^,          pV^,          pM(\        V P                   4      p V P                  W!4      ;r#\        V P                   4      p V P                  W1R4      ;r#\        T P                   4      p T P%                  Y!4      ;r#T P                  Y14      ;r#Y,          R8X  d>   \        T P                   4      p T P'                  Y!4      ;r#T P                  Y!4      ;r#EK;  EK>  V P                   #   \         d'    T P                   TR1 T P                  Y14      ;r# EKz  i ; i  \        \        3 d\    T P                   TR1 Y,          T P                   9  d   T^,          pK"  T P                   P	                  T\"        YT 34       Tp EL[i ; i  \         d'    T P                   TR1 T P                  Y!4      ;r# EK  i ; i  \         d'    T P                   TR1 T P                  Y!4      ;r# EKQ  i ; i  \         d'    T P                   TR1 T P                  Y!4      ;r# EK…  i ; i  \(         d9     T P                   XR1 M  \*         d     Mi ; iT P                  Y!4        EKË  i ; i)zReturns a list of TNT tokens.TNz[]r/   )r   r#   r   rK   r   r   r1   r   rQ   ÚCOMMENTrC   r   r"   r   r;   ÚRecursionErrorr   r
   rH   rM   r   Ú	NameError)r   r    r   r"   ÚorigrC   s   &&    r   Úget_tokens_unprocessedÚTNTLexer.get_tokens_unprocessedÀ   sz  € àˆŒØ—o‘o a¨Ó.Ð.ˆØÖ&œS ›Y×&ðT �x‰xˆðSH6à•i 4§<¡<Ô/Ø˜1•H’CØ”<Ø—H‘H—O‘O U¬F¯N©N¸DÀs¸OÐ$LÔMä˜tŸx™x›=�Dð!Ø&*§o¡o°cÀÓ&FÐF˜ð Ÿ™×*Ñ*¨4Ó7�ØÒ$Ø—H‘H—O‘O U¬G°TÀÇ	Á	ÃÐ5LÐ$MÔNØ"'§)¡)£+Ð-�Eà"&×":Ñ":¸5Ó"GÐG�EâØØ•; $Ô&Ø—H‘H—O‘O U¬G°Tµ[Ð$AÔBØ˜Q•J�EØ˜1•H‘Cô ˜tŸx™x›=�Dð$Ø&*§l¡l°5Ó&?Ð?˜ô ˜4Ÿ8™8“}�ðØ"&§/¡/°#¸TÓ"BÐB�Eô ˜4Ÿ8™8“}�ðØ"&§)¡)¨EÓ"8Ð8�Eð #Ÿo™o¨cÓ8Ð8�à•; #Ô%Ü˜tŸx™x›=�Dð!Ø&*§k¡k°%Ó&>Ð>˜ð
 #'§/¡/°%Ó">Ð>�EšCò &ð �x‰xˆøô *ô !Ø ŸH™H T¡U˜OØ&*×&>Ñ&>¸sÓ&IÐI˜Û ð!ûô. +¬NÐ;ô $Ø ŸH™H T¡U˜OØ"�i¨t¯©Ô>Ø 1�HšCØŸ™Ÿ™¨´°tÀ#°Ð(GÔHØ #›ð$ûô &ô ØŸ™ ¡˜Ø"&×":Ñ":¸5Ó"GÐG�EÛðûô &ô ØŸ™ ¡˜Ø"&×":Ñ":¸5Ó"GÐG�EÛðûô *ô !Ø ŸH™H T¡U˜OØ&*×&>Ñ&>¸uÓ&KÐK˜Û ð!ûô
 ô 6ðØŸ™ ¡™øÜ ô Ùðúà×(Ñ(¨×5Ð5ð6úsô   ÁA+N$ Â.I% ÃA4N$ Ä8AN$ ÆJ Æ)N$ Æ?L ÇN$ Ç(L< Ç:4N$ È/M0 ÉN$ É%,JÊN$ ÊJÊN$ ÊA(LÌN$ ÌLÌN$ Ì,L9Ì4N$ Ì8L9Ì9N$ Ì<,M-Í(N$ Í,M-Í-N$ Í0,N!ÎN$ Î N!Î!N$ Î$O'Î0O Î?O'Ï OÏO'ÏOÏO'Ï&O')r   N)F)$Ú__name__Ú
__module__Ú__qualname__Ú__firstlineno__Ú__doc__ÚnameÚurlÚaliasesÚ	filenamesÚversion_addedr   Úsetr>   r3   r&   r'   r:   r<   rK   r   ÚreÚcompilerB   rL   rT   r   r#   r*   r2   r;   rH   rM   rQ   rX   Ú__static_attributes__Ú__classdictcell__)Ú__classdict__s   @r   r   r      sà   ø‡ € ñð
 '€DØ
8€CØˆg€GØ�	€IØ€Mà
€CáÐ$Ó%€EÙ�H“€IÙ�G“€IÙ�‹[€FÙ�4‹y€HÙ�j“/€KÙ�,Ó€GÙ�Y“€Jà�JŠJð ó 	€Eð �jŠjÐDÓE€GØ�jŠj˜Ó)€Gòôòòò4 òDò&ò"÷Nð Nr   )r^   re   Úpygments.lexerr   Úpygments.tokenr   r   r   r   r   r   r	   r
   Ú__all__r   © r   r   Ú<module>rn      s8   ðñó 
å  ÷÷ ó ð ˆ,€ôzˆuö zr   