
    5he
                     \    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-2025 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       c/var/www/html/cementerio_25MayoBackend/env/lib/python3.13/site-packages/pygments/lexers/verifpal.pyr   r      s
    DlGI"#I
 CM w~~&18DLL*V\^hju  xB  4C  DCXdll\fhsu  BH  JT  Va  cm  Fn  o/$,,
T[TdTdfp1qs{|!8DLL*k#RT]^2HVZQ\^hjpr|  J  5K  MU  V)%8$,,Q.u=t||L#[1K =/1A1AB 4 =B	C
 ]] Z T]]#'
, ;'JT]]#FO	
 T]]# 6>CEgnnj18= FO
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   