+
    JV-ja  ã                   óz   € R t ^ RIHtHtHt ^ RIHtHtHtH	t	H
t
HtHtHt RR.t ! R R]4      t ! R R]4      tR# )zá
pygments.lexers.verification
~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Lexer for Intermediate Verification Languages (IVLs).

:copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
)Ú
RegexLexerÚincludeÚwords)ÚCommentÚOperatorÚKeywordÚNameÚNumberÚPunctuationÚTextÚGenericÚBoogieLexerÚSilverLexerc                   óÎ  € ] tR t^tRtRtRtR.tR.tRt	RR]
3R	]
3R
]
3R]P                  3R]P                  3R]P                  R3]! RRR7      ]3]! RRR7      ]P"                  3]! R RR7      ]P$                  3]! R4      R]3R]P,                  3R]3R]3.RR]P                  3R]P                  R3R]P                  R3R]P                  3.RR]P4                  3./tRtR# )!r   z
For Boogie source code.
ÚBoogiez-https://boogie-docs.readthedocs.io/en/latest/Úboogiez*.bplz2.1Úrootú\nú\s+ú\\\nú//[/!](.*?)\nú	//(.*?)\nú/\*Úcommentú\b©ÚsuffixÚnumbersz((>=|<=|:=|!=|==>|&&|\|\||[+/\-=>*<\[\]])ú\{.*?\}ú([{}():;,.])z[a-zA-Z_]\w*ú[^*/]+ú#pushú\*/ú#popú[*/]ú[0-9]+© N)ÚaxiomÚbreakÚcallÚensuresÚelseÚexistsÚfunctionÚforallÚifÚ	invariantÚmodifiesÚ	procedureÚrequiresÚthenÚvarÚwhile)Úconst)ÚboolÚintÚref)Ú__name__Ú
__module__Ú__qualname__Ú__firstlineno__Ú__doc__ÚnameÚurlÚaliasesÚ	filenamesÚversion_addedr   r   ÚDocÚSingleÚ	Multiliner   r   ÚReservedÚTyper   r   r   ÚEmphr
   r   r	   ÚIntegerÚtokensÚ__static_attributes__r&   ó    Úm/Volumes/fast/ai/experiments/ui-tars-smoke/.venv/lib/python3.14/site-packages/pygments/lexers/verification.pyr   r      sC  † ñð €DØ
9€CØˆj€GØ�	€IØ€Mð 	à�DˆMØ�TˆNØ�dˆOØ˜wŸ{™{Ð+Ø˜7Ÿ>™>Ð*Ø�W×&Ñ&¨	Ð2áð (ð ô	ð $ð	%ñ
 �: eÔ,¨g×.>Ñ.>Ð?áÐ)°%Ô8¸'¿,¹,ÐGÙ�IÓØ8¸(ÐCØ˜Ÿ™Ð&Ø˜kÐ*à˜dÐ#ð-
ð0 	Ø˜×)Ñ)Ð*Ø�W×&Ñ&¨Ð0Ø�W×&Ñ&¨Ð/Ø�g×'Ñ'Ð(ð	
ð 	Ø˜Ÿ™Ð'ð
ð?"„FrN   c                   óÐ  € ] tR t^AtRtRtR.tRR.tRtRt	RR	]
3R
]
3R]
3R]P                  3R]P                  3R]P                  R3]! RRR7      ]3]! R RR7      ]P$                  3]! R!RR7      ]P&                  3]! R4      R]3R]P.                  3R]3R]3.RR]P                  3R]P                  R3R]P                  R3R]P                  3.RR]P4                  3./tRtR# )"r   z
For Silver source code.
ÚSilverÚsilverz*.silz*.vprz&https://github.com/viperproject/silverz2.2r   r   r   r   r   r   r   r   r   r   r   z[!%&*+=|?:<>/\-\[\]]r   r   z[\w$]\w*r    r!   r"   r#   r$   r%   r&   N)4ÚresultÚtrueÚfalseÚnullÚmethodr-   Ú	predicateÚprogramÚdomainr'   r5   ÚreturnsÚfieldÚdefineÚfoldÚunfoldÚinhaleÚexhaleÚnewÚassertÚassumeÚgotor6   r/   Úelseifr+   ÚfreshÚconstrainingÚSeqÚSetÚMultisetÚunionÚintersectionÚsetminusÚsubsetÚ	unfoldingÚinÚoldr.   r,   ÚaccÚwildcardÚwriteÚnoneÚepsilonÚpermÚuniqueÚapplyÚpackageÚfoldingÚlabelÚforperm)r3   r*   r0   )ÚIntÚPermÚBoolÚRefÚRational)r;   r<   r=   r>   r?   r@   rB   rC   rA   rD   r   r   rE   rF   rG   r   r   r   Ú	DecoratorrI   r   r   r   rJ   r
   r	   rK   rL   rM   r&   rN   rO   r   r   A   sG  † ñð €DØˆj€GØ˜'Ð"€IØ
2€CØ€Mð 	à�DˆMØ�TˆNØ�dˆOØ˜wŸ{™{Ð+Ø˜7Ÿ>™>Ð*Ø�W×&Ñ&¨	Ð2áð Cð ô	ð $ð	%ñ Ð7ÀÔFÈÏÉÐWÙÐ=ÀeÔLÈgÏlÉlÐ[Ù�IÓØ$ hÐ/Ø˜Ÿ™Ð&Ø˜kÐ*à˜$Ðð5
ð8 	Ø˜×)Ñ)Ð*Ø�W×&Ñ&¨Ð0Ø�W×&Ñ&¨Ð/Ø�g×'Ñ'Ð(ð	
ð 	Ø˜Ÿ™Ð'ð
ðG&„FrN   N)r?   Úpygments.lexerr   r   r   Úpygments.tokenr   r   r   r   r	   r
   r   r   Ú__all__r   r   r&   rN   rO   Ú<module>rˆ      sF   ðñ÷ 6Ñ 5÷÷ ó ð ˜-Ð
(€ô,�*ô ,ô^0�*ö 0rN   