ó
    öÞ jh
  ã                   ó\   • S r SSKJrJrJrJr  SSKJrJrJ	r	J
r
JrJr  S/r " S S\5      rg)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                   óœ  • \ rS rSrSrSrS/rS/rS/rSr	Sr
S	\R                  4S
\" \R                  \\\\\5      4S\" \R                  \\\\\\\5      4S\" \R                  \\R(                  \5      S4S\" \R                  \\5      S4S\" \\\\\\\5      S4\" SSS9\R                  S4\" SSS9\R                  4S\4S\4\" SSS9\R(                  4\" SSS9\R,                  4S\4S\R.                  4/S\4S\4S\R.                  4\" S5      /S\R.                  4\" SSS9\" \R2                  \5      S4\" S5      /S .rS!rg")#r   é   z
For Verifpal code.
ÚVerifpalÚverifpalz*.vpztext/x-verifpalzhttps://verifpal.comz2.16z//.*$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)zconfidentiality?zauthentication?z
freshness?zunlinkability?zequivalence?z( ))Úrootr   r   © N)Ú__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__r3   ó    ÚR/var/www/html/gaurav/venv/lib/python3.13/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#ƒFrG   N)r8   Úpygments.lexerr   r   r   r   Úpygments.tokenr   r   r	   r
   r   r   Ú__all__r   r3   rG   rH   Ú<module>rL      s3   ðñ÷ @Ó ?÷÷ ð Ð
€ô/�Jõ /rG   