Ë ШiAùç�ãóx—dZddlmZmZmZddlmZmZmZm Z m Z m Z m Z m Z ddgZGd„de«ZGd„de«Zy) zò pygments.lexers.verification ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Lexer for Intermediate Verification Languages (IVLs). :copyright: Copyright 2006-2023 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ó¼—eZdZdZdZdZdgZdgZdefdefdefd e jfd e jfd e jd fe d d¬«efe dd¬«ejfe dd¬«ej fed«defdej(fdefdefgde jfd e jdfde jdfde jfgdej0fgdœZy)rz< For Boogie source code. .. versionadded:: 2.1 ÚBoogiez-https://boogie-docs.readthedocs.io/en/latest/Úboogiez*.bplú\nú\s+ú\\\nú //[/!](.*?)\nú //(.*?)\nú/\*Úcomment)ÚaxiomÚbreakÚcallÚensuresÚelseÚexistsÚfunctionÚforallÚifÚ invariantÚmodifiesÚ procedureÚrequiresÚthenÚvarÚwhileú\b©Úsuffix)Úconst)ÚboolÚintÚrefÚnumbersz((>=|<=|:=|!=|==>|&&|\|\||[+/\-=>*<\[\]])ú\{.*?\}ú ([{}():;,.])z [a-zA-Z_]\w*ú[^*/]+ú#pushú\*/ú#popú[*/]ú[0-9]+©Úrootrr1N)Ú__name__Ú __module__Ú __qualname__Ú__doc__ÚnameÚurlÚaliasesÚ filenamesr rÚDocÚSingleÚ MultilinerrÚReservedÚTyperrr ÚEmphr r r ÚIntegerÚtokens©óúA/usr/lib/python3.12/site-packages/pygments/lexers/verification.pyrrs5„ñð €DØ 9€C؈j€GØ� €Ið �DˆMØ �TˆNØ �dˆOØ ˜wŸ{™{Ð +Ø ˜7Ÿ>™>Ð *Ø �W×&Ñ&¨ Ð 2á ð(ðô ð$ð  %ñ �: eÔ ,¨g×.>Ñ.>Ð ?á Ð)°%Ô 8¸'¿,¹,Ð GÙ �IÓ Ø 8¸(Ð CØ ˜Ÿ™Ð &Ø ˜kÐ *à ˜dÐ #ð- ð2˜×)Ñ)Ð *Ø �W×&Ñ&¨Ð 0Ø �W×&Ñ&¨Ð /Ø �g×'Ñ'Ð (ð  𘟙Р'ð ñ?"�FrMcóº—eZdZdZdZdgZddgZdefdefdefd ejfd ejfd ejd fe d d¬«e fe dd¬«ejfe dd¬«e j fed«defdej(fdefdefgdejfd ejdfdejdfdejfgdej.fgdœZy)rz< For Silver source code. .. versionadded:: 2.2 ÚSilverÚsilverz*.silz*.vprrrrrrrr)4ÚresultÚtrueÚfalseÚnullÚmethodr Ú predicateÚprogramÚdomainrr(ÚreturnsÚfieldÚdefineÚfoldÚunfoldÚinhaleÚexhaleÚnewÚassertÚassumeÚgotor)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Úforpermr*r+)r&rr#)ÚIntÚPermÚBoolÚRefÚRationalr1z[!%&*+=|?:<>/\-\[\]]r2r3z[\w$]\w*r4r5r6r7r8r9r:N)r<r=r>r?r@rBrCr rrDrErFrrr Ú DecoratorrHrrr rIr r rJrKrLrMrNrrBs4„ñð €D؈j€Gؘ'Ð"€Ið �DˆMØ �TˆNØ �dˆOØ ˜wŸ{™{Ð +Ø ˜7Ÿ>™>Ð *Ø �W×&Ñ&¨ Ð 2á ðCðô ð$ð %ñÐ7ÀÔ FÈÏÉÐ WÙ Ð=ÀeÔ LÈgÏlÉlÐ [Ù �IÓ Ø $ hÐ /Ø ˜Ÿ™Ð &Ø ˜kÐ *à ˜$Ð ð5 ð:˜×)Ñ)Ð *Ø �W×&Ñ&¨Ð 0Ø �W×&Ñ&¨Ð /Ø �g×'Ñ'Ð (ð  𘟙Р'ð ñG&�FrMN)r?Úpygments.lexerrrrÚpygments.tokenrrrr r r r r Ú__all__rrrLrMrNÚr‡sFðñ÷6Ñ5÷÷óð ˜-Ð (€ô-�*ô-ô`0�*õ0rM