Ë Ý…õ$öG„ãó\—dZddlmZmZmZmZddlmZmZm Z m Z m Z m Z dgZ Gd„de«Zy)zÓ pygments.lexers.verifpal ~~~~~~~~~~~~~~~~~~~~~~~~ Lexers for Verifpal languages. :copyright: Copyright 2006-2023 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. é)Ú RegexLexerÚwordsÚbygroupsÚdefault)ÚCommentÚKeywordÚNameÚStringÚ PunctuationÚ WhitespaceÚ VerifpalLexercó®—eZdZdZdZdgZdgZdgZdZde jfde e jeeeee«fd e e jeeeeeee«fd e e jeej$e«d fd e e jee«d fde eeeeeee«d fedd¬«e jd fedd¬«e jfdefdefedd¬«ej$fedd¬«e j(fdefde j*fgdefdefde j*fed«gde j*fedd¬«e ej.e«d fed«gdœZy) r z8 For Verifpal code. .. versionadded:: 2.16 ÚVerifpalÚverifpalz*.vpztext/x-verifpalzhttps://verifpal.comz//.*$z!(principal)( +)(\w+)( *)(\[)(.*)$z3(attacker)( *)(\[)( *)(passive|active)( *)(\])( *)$z(knows)( +)(private|public)( +)Úsharedz(queries)( +)(\[)Úqueriesu"(\w+)( +)(->|→)( *)(\w+)( *)(\:))Ú generatesÚleaksz\b)Úsuffix)ÚphaseÚ preconditionu[\[\(\)\]\?:=→^,]z->)Úpassword)ÚAEAD_DECÚAEAD_ENCÚASSERTÚBLINDÚCONCATÚDECÚENCÚGÚHASHÚHKDFÚMACÚPKE_DECÚPKE_ENCÚPW_HASHÚRINGSIGNÚ RINGSIGNVERIFÚ SHAMIR_JOINÚ SHAMIR_SPLITÚSIGNÚ SIGNVERIFÚSPLITÚUNBLINDÚ_Únilz\s+z\w+z [\^\[\],]z +z#pop)zconfidentiality?zauthentication?z freshness?zunlinkability?z equivalence?z( ))ÚrootrrN)Ú__name__Ú __module__Ú __qualname__Ú__doc__ÚnameÚaliasesÚ filenamesÚ mimetypesÚurlrÚSinglerr ÚBuiltinr r r rÚConstantrÚFunctionÚVariablerÚPseudoÚtokens©óú=/usr/lib/python3.12/site-packages/pygments/lexers/verifpal.pyr r s„ñð €D؈l€GØ�€IØ"Ð#€IØ €Cð�w—~‘~Ð &Ø 1±8¸D¿L¹LÈ*ÐV\Ð^hÐjuðxBó4Cð DØ CÁXÈdÏlÉlÐ\fÐhsÐuðBHðJTðVaðcmóFnð oØ /±¸$¿,¹,È ÐT[×TdÑTdÐfpÓ1qÐs{Ð |Ø !¡8¨D¯L©L¸*ÀkÓ#RÐT]Ð ^Ø 2±H¸VÀZÐQ\Ð^hÐjpÐr|ðJó5KðMUð VÙ Ð)°%Ô 8¸$¿,¹,ÈÐ QÙ Ð.°uÔ =¸t¿|¹|Ð LØ # [Ð 1Ø �KÐ Ù �=¨Ô /°×1AÑ1AÐ BÙ ð4ð=Bô Cð �]‰]ð  ð �ZÐ Ø �T—]‘]Ð #ð' ð,˜;Ð 'Ø �JÐ Ø �T—]‘]Ð #Ù �F‹Oð  ð�T—]‘]Ð #Ù ð6Ø>CôEá �g—n‘n jÓ 1°8ð =ñ �F‹Oð  ñ9#�FrCN)r5Úpygments.lexerrrrrÚpygments.tokenrrr r r r Ú__all__r rBrCrDÚrHs3ðñ÷@Ó?÷÷ð Ð €ô0�Jõ0rC