§
    XŠtjh
  ã                   ód   — d Z ddlmZmZmZmZ ddlmZmZm	Z	m
Z
mZmZ dgZ G d„ de¦  «        ZdS )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                   óv  — e Zd ZdZdZdgZdgZdgZdZdZ	de
j        fd	 eej        eeeee¦  «        fd
 eej        eeeeeee¦  «        fd eej        eej        e¦  «        dfd eej        ee¦  «        dfd eeeeeeee¦  «        df edd¬¦  «        ej        df edd¬¦  «        ej        fdefdef edd¬¦  «        ej        f edd¬¦  «        ej        fdefdej        fgdefdefdej        f ed¦  «        gdej        f edd¬¦  «         eej        e¦  «        df ed¦  «        gdœZd S )!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__Ú__doc__ÚnameÚaliasesÚ	filenamesÚ	mimetypesÚurlÚversion_addedr   ÚSingler   r	   ÚBuiltinr   r
   r   r   ÚConstantr   ÚFunctionÚVariabler   ÚPseudoÚtokens© ó    úV/var/www/html/CA-Chatbot/venv/lib/python3.11/site-packages/pygments/lexers/verifpal.pyr   r      sf  € € € € € ðð ð €DØˆl€GØ�€IØ"Ð#€IØ
 €CØ€Mð �w”~Ð&Ø1°8°8¸D¼LÈ*ÐV\Ð^hÐjuð  xBñ  4Cô  4Cð  DØCÀXÀXÈdÌlÐ\fÐhsÐuð  BHð  JTð  Vað  cmñ  Fnô  Fnð  oØ/°°¸$¼,È
ÐT[ÔTdÐfpÑ1qÔ1qÐs{Ð|Ø! 8 8¨D¬L¸*ÀkÑ#RÔ#RÐT]Ð^Ø2°H°H¸VÀZÐQ\Ð^hÐjpÐr|ð  Jñ  5Kô  5Kð  MUð  VØˆUÐ)°%Ð8Ñ8Ô8¸$¼,ÈÐQØˆUÐ.°uÐ=Ñ=Ô=¸t¼|ÐLØ# [Ð1Ø�KÐ ØˆU�=¨Ð/Ñ/Ô/°Ô1AÐBØˆUð 4ð =Bð	Cñ Cô Cð
 Œ]ðð �ZÐ Ø�T”]Ð#ð'
ð, ˜;Ð'Ø�JÐØ�T”]Ð#ØˆG�F‰OŒOð	
ð �T”]Ð#ØˆUð 6Ø>CðEñ Eô EàˆX�g”n jÑ1Ô1°8ð=ð ˆG�F‰OŒOð
ð9#ð #€F€F€FrD   N)r5   Úpygments.lexerr   r   r   r   Úpygments.tokenr   r   r	   r
   r   r   Ú__all__r   rC   rD   rE   ú<module>rI      sÄ   ððð ð @Ð ?Ð ?Ð ?Ð ?Ð ?Ð ?Ð ?Ð ?Ð ?Ð ?Ð ?ðð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð Ð
€ð/ð /ð /ð /ð /�Jñ /ô /ð /ð /ð /rD   