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

Lexers for Verifpal languages.

:copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
)Ú
RegexLexerÚwordsÚbygroupsÚdefault)ÚCommentÚKeywordÚNameÚStringÚPunctuationÚ
WhitespaceÚVerifpalLexerc                   óÀ  € ] tR t^tRtRtR.tR.tR.tRt	Rt
RR	]P                  3R
]! ]P                  ]]]]]4      3R]! ]P                  ]]]]]]]4      3R]! ]P                  ]]P(                  ]4      R3R]! ]P                  ]]4      R3R]! ]]]]]]]4      R3]! RRR7      ]P                  R3]! RRR7      ]P                  3R]3R]3]! RRR7      ]P(                  3]! R RR7      ]P,                  3R]3R]P.                  3.RR]3R]3R]P.                  3]! R4      .RR]P.                  3]! R!RR7      ]! ]P2                  ]4      R3]! R4      ./tRtR# )"r   z
For Verifpal code.
ÚVerifpalÚverifpalz*.vpztext/x-verifpalzhttps://verifpal.comz2.16Úrootz//.*$z!(principal)( +)(\w+)( *)(\[)(.*)$z3(attacker)( *)(\[)( *)(passive|active)( *)(\])( *)$z(knows)( +)(private|public)( +)Úsharedz(queries)( +)(\[)Úqueriesu"   (\w+)( +)(->|â†’)( *)(\w+)( *)(\:)z\b)Úsuffixu   [\[\(\)\]\?:=â†’^,]z->z\s+z\w+z	[\^\[\],]z +z#popz( )© N)Ú	generatesÚleaks)ÚphaseÚprecondition)Ú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Ú_Únil)zconfidentiality?zauthentication?z
freshness?zunlinkability?zequivalence?)Ú__name__Ú
__module__Ú__qualname__Ú__firstlineno__Ú__doc__ÚnameÚaliasesÚ	filenamesÚ	mimetypesÚurlÚversion_addedr   ÚSingler   r   ÚBuiltinr   r	   r
   r   ÚConstantr   ÚFunctionÚVariabler   ÚPseudoÚtokensÚ__static_attributes__r   ó    Úi/Volumes/fast/ai/experiments/ui-tars-smoke/.venv/lib/python3.14/site-packages/pygments/lexers/verifpal.pyr   r      s  † ñð €DØˆl€GØ�€IØ"Ð#€IØ
 €CØ€Mð 	Ø�w—~‘~Ð&Ø1±8¸D¿L¹LÈ*ÐV\Ð^hÐjuð  xBó  4Cð  DØCÁXÈdÏlÉlÐ\fÐhsÐuð  BHð  JTð  Vað  cmó  Fnð  oØ/±¸$¿,¹,È
ÐT[×TdÑTdÐfpÓ1qÐs{Ð|Ø!¡8¨D¯L©L¸*ÀkÓ#RÐT]Ð^Ø2±H¸VÀZÐQ\Ð^hÐjpÐr|ð  Jó  5Kð  MUð  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#„FrE   N)r6   Úpygments.lexerr   r   r   r   Úpygments.tokenr   r   r   r	   r
   r   Ú__all__r   r   rE   rF   Ú<module>rJ      s3   ðñ÷ @Ó ?÷÷ ð Ð
€ô/�Jö /rE   