§
    £E±c½N  ã                   óª   — d Z ddlmZmZmZ ddlmZmZmZm	Z	m
Z
mZmZmZmZmZ g d¢Z G d„ de¦  «        Z G d„ de¦  «        Z G d	„ d
e¦  «        ZdS )zØ
    pygments.lexers.theorem
    ~~~~~~~~~~~~~~~~~~~~~~~

    Lexers for theorem-proving languages.

    :copyright: Copyright 2006-2022 by the Pygments team, see AUTHORS.
    :license: BSD, see LICENSE for details.
é    )Ú
RegexLexerÚdefaultÚwords)
ÚTextÚCommentÚOperatorÚKeywordÚNameÚStringÚNumberÚPunctuationÚGenericÚ
Whitespace)ÚCoqLexerÚIsabelleLexerÚ	LeanLexerc                   ó>  — e Zd ZdZdZdZdgZdgZdgZdZ	dZ
d	Zd
ZdZdZdZdZdZdZdZdefdej        j        fdedfdefdej        fdej        f ee
dd¬¦  «        ej        f eedd¬¦  «        ef eedd¬¦  «        ej        f eedd¬¦  «        ef eedd¬¦  «        ej        f eedd¬¦  «        ej        fdefdd                     eddd…         ¦  «        z  efd e›de›d!e›�efd"efd#e j!        fd$e j"        fd%e j#        fd&e j$        fd'e j%        fd(e&j'        fd)e&j'        fd*efd+e&j(        d,fd-efd.ej        j        fgd/efded0fd1ed2fd3efgd4e&j(        fd5e&j(        fd+e&j(        d2fgdefd6e)fd7ej        fd8ej*        d2fd9ed2f e+d2¦  «        gd:œZ,d;„ Z-dS )<r   z@
    For the Coq theorem prover.

    .. versionadded:: 1.5
    ÚCoqzhttp://coq.inria.fr/Úcoqz*.vz
text/x-coqr   )ZÚSectionÚModuleÚEndÚRequireÚImportÚExportÚVariableÚ	VariablesÚ	ParameterÚ
ParametersÚAxiomÚAxiomsÚ
HypothesisÚ
HypothesesÚNotationÚLocalÚTacticÚReservedÚScopeÚOpenÚCloseÚBindÚDelimitÚ
DefinitionÚExampleÚLetÚLtacÚFixpointÚ
CoFixpointÚMorphismÚRelationÚImplicitÚ	ArgumentsÚTypesÚUnsetÚ
ContextualÚStrictÚPrenexÚ	ImplicitsÚ	InductiveÚCoInductiveÚRecordÚ	StructureÚVariantÚ	CanonicalÚCoercionÚTheoremÚLemmaÚFactÚRemarkÚ	CorollaryÚPropositionÚPropertyÚGoalÚProofÚRestartÚSaveÚQedÚDefinedÚAbortÚAdmittedÚHintÚResolveÚRewriteÚViewÚSearchÚComputeÚEvalÚShowÚPrintÚPrintingÚAllÚGraphÚProjectionsÚinsideÚoutsideÚCheckÚGlobalÚInstanceÚClassÚExistingÚUniverseÚPolymorphicÚMonomorphicÚContextÚSchemeÚFromÚUndoÚFailÚFunction)ÚforallÚexistsÚexists2ÚfunÚfixÚcofixÚstructÚmatchÚendÚinÚreturnÚletÚifÚisÚthenÚelseÚforÚofÚnosimplÚwithÚas)ÚTypeÚPropÚSPropÚSet)CÚposeÚsetÚmoveÚcaseÚelimÚapplyÚclearÚhnfÚintroÚintrosÚ
generalizeÚrenameÚpatternÚafterÚdestructÚ	inductionÚusingÚrefineÚ	inversionÚ	injectionÚrewriteÚcongrÚunlockÚcomputeÚringÚfieldÚreplaceÚfoldÚunfoldÚchangeÚ
cutrewriteÚsimplÚhaveÚsuffÚwlogÚsufficesÚwithoutÚlossÚnat_normÚassertÚcutÚtrivialÚrevertÚ
bool_congrÚ	nat_congrÚsymmetryÚtransitivityÚautoÚsplitÚleftÚrightÚautorewriteÚtautoÚsetoid_rewriteÚ	intuitionÚeautoÚeapplyÚeconstructorÚetransitivityÚconstructorÚerewriteÚredÚcbvÚlazyÚ
vm_computeÚnative_computeÚsubst)ÚbyÚnowÚdoneÚexactÚreflexivityr½   ÚromegaÚomegaÚliaÚniaÚlraÚnraÚpsatzÚ
assumptionÚsolveÚcontradictionÚdiscriminateÚ
congruenceÚadmit)ÚdoÚlastÚfirstÚtryÚidtacÚrepeat):z!=ú#ú&z&&z\(z\)z\*z\+ú,ú-z-\.z->ú\.z\.\.ú:ú::ú:=z:>ú;z;;ú<z<-z<->ú=ú>z>]z>\}z\?z\?\?z\[z\[<z\[>z\[\|ú]Ú_ú`z\{z\{<z\|z\|]z\}ú~z=>z/\\z\\/z\{\|z\|\}u   Î»õ   Â¬u   âˆ§u   âˆ¨u   âˆ€u   âˆƒu   â†’u   â†”u   â‰ u   â‰¤u   â‰¥z[!$%&*+\./:<=>?@^|~-]z[!?~]z[=<>@^|&+\*/$%-]ú\s+zfalse|true|\(\)|\[\]ú\(\*Úcommentz'\b(?:[^\W\d][\w\']*\.)+[^\W\d][\w\']*\bz\bEquations\b\??z"\bSet(?=[ \t]+[A-Z][a-z][^\n]*?\.)ú\b©ÚprefixÚsuffixz\b([A-Z][\w\']*)z(%s)ú|Néÿÿÿÿú(z)?z[^\W\d][\w']*z\d[\d_]*ú0[xX][\da-fA-F][\da-fA-F_]*ú0[oO][0-7][0-7_]*ú0[bB][01][01_]*z(-?\d[\d_]*(.[\d_]*)?([eE][+\-]?\d[\d_]*)z7'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2}))'z'.'ú'ú"Ústringú[~?][a-z][\w\']*:ú\Sú[^(*)]+ú#pushú\*\)ú#popú[(*)]z[^"]+z""rè   z[A-Z][\w\']*(?=\s*\.)z[A-Z][\w\']*z[a-z][a-z0-9_\']*)Úrootr÷   r  Údottedc                 ó   — d| v rd| v rdS d S d S )NrO   rL   é   © )Útexts    ú9/usr/lib/python3/dist-packages/pygments/lexers/theorem.pyÚanalyse_textzCoqLexer.analyse_text¥   s#   € Ø�Dˆ=ˆ=˜W¨˜_˜_Ø�1ð ˆ=˜_˜_ó    ).Ú__name__Ú
__module__Ú__qualname__Ú__doc__ÚnameÚurlÚaliasesÚ	filenamesÚ	mimetypesÚflagsÚ	keywords1Ú	keywords2Ú	keywords3Ú	keywords4Ú	keywords5Ú	keywords6ÚkeyoptsÚ	operatorsÚprefix_symsÚ
infix_symsr   r
   ÚBuiltinÚPseudor   r	   Ú	Namespacer   r…   r'   Újoinr   r   ÚIntegerÚHexÚOctÚBinÚFloatr   ÚCharÚDoubler   re   r   Útokensr  r  r  r  r   r      sØ  € € € € € ðð ð €DØ
 €CØˆg€GØ�€IØ�€Ià€Eð€Ið$€Ið€Ið€Ið€Ið€Ið€Gð )€IØ€KØ$€Jð �TˆNØ$ d¤lÔ&9Ð:Ø�g˜yÐ)Ø7¸Ð>Ø  'Ô"3Ð4à2°GÔ4EÐFØˆU�9 U°5Ð9Ñ9Ô9¸7Ô;LÐMØˆU�9 U°5Ð9Ñ9Ô9¸7ÐCØˆU�9 U°5Ð9Ñ9Ô9¸7¼<ÐHØˆU�9 U°5Ð9Ñ9Ô9¸7ÐCØˆU�9 U°5Ð9Ñ9Ô9¸7¼>ÐJØˆU�9 U°5Ð9Ñ9Ô9¸7Ô;KÐLà  $Ð'Ø�s—x’x ¨¨¨"¨¤Ñ.Ô.Ñ.°Ð9Ð9Ø(˜j˜j¨+¨+¨+°y°yÐAÀ8ÐLà˜tÐ$à˜&œ.Ð)Ø+¨V¬ZÐ8Ø! 6¤:Ð.Ø ¤Ð,Ø8¸&¼,ÐGàGÈÌÐUà�V”[Ð!Ø�7ˆOà�6”= (Ð+à! 4Ð(Ø�D”LÔ'Ð(ðG$
ðL ˜Ð!Ø�g˜wÐ'Ø�g˜vÐ&Ø�wÐð	
ð �v”}Ð%Ø�F”MÐ"Ø�6”= &Ð)ð
ð �TˆNØ�KÐ Ø% t¤~Ð6Ø˜dœj¨&Ð1Ø! 4¨Ð0ØˆG�F‰OŒOð
ðc9ð 9€Fðvð ð ð ð r  r   c                   óÎ  — e Zd ZdZdZdZdgZdgZdgZdZ	dZ
d	Zd
ZdZdZdZdZdZdZdZdZdZdZdZdZdZdZdZg def‘dedf‘dej        df‘dedf‘ e e¦  «        e!f‘ e e¦  «        e!j"        f‘ e e	d d ¬!¦  «        e#j$        f‘ e e
d d ¬!¦  «        e#j%        f‘ e ed d ¬!¦  «        e#f‘ e ed d ¬!¦  «        e#f‘ e ed d ¬!¦  «        e&j'        f‘ e ed d ¬!¦  «        e&j(        f‘ e ed d ¬!¦  «        e#j)        f‘ e ed d ¬!¦  «        e#j)        f‘ e ed d ¬!¦  «        e&j*        f‘ e ed d ¬!¦  «        e#f‘ e ed d ¬!¦  «        e#f‘ e ed d ¬!¦  «        e#f‘ e ed d ¬!¦  «        e#f‘ e ed d ¬!¦  «        e#f‘ e ed d ¬!¦  «        e#f‘ e ed d ¬!¦  «        e#f‘ e ed d ¬!¦  «        e#j$        f‘d"e+j        f‘d#e,j%        f‘d$e-j.        f‘d%e-j/        f‘d&e-j0        f‘d'ed(f‘d)ej1        d*f‘d+e,f‘d,efded-fd.ed/fd0efgd1efdej        d-fded-fd2ej        d/fd3ed/fd"ej        fd4efgd5efd"ej        fd6efd7efd'ed/fgd8ej1        fd"ej        fd9ej1        fd7ej1        fd)ej1        d/fgd:œZ2d;S )<r   zF
    For the Isabelle proof assistant.

    .. versionadded:: 2.0
    ÚIsabellezhttps://isabelle.in.tum.de/Úisabellez*.thyztext/x-isabelle)2ÚandÚassumesÚattachÚavoidsÚbinderÚcheckingÚclass_instanceÚclass_relationÚcode_moduleÚcongsÚconstantÚ
constrainsÚ	datatypesÚdefinesÚfileÚfixesr€   Ú	functionsÚhintsÚ
identifierr|   Úimportsry   ÚincludesÚinfixÚinfixlÚinfixrr}   ÚkeywordsrÈ   Úmodule_nameÚmonosÚ	morphismsÚno_discs_selsÚnotesÚobtainsÚopenÚoutputÚ
overloadedÚ
parametricÚ
permissiveÚ	pervasiveÚ
rep_compatÚshowsÚ	structureÚ
type_classÚtype_constructorÚ	uncheckedÚunsafeÚwhere)LÚ
ML_commandÚML_valÚ
class_depsÚ	code_depsÚ	code_thmsÚdisplay_draftsÚfind_constsÚfind_theoremsÚfind_unused_assmsÚfull_prfÚhelpÚlocale_depsÚnitpickÚprÚprfÚprint_abbrevsÚprint_antiquotationsÚprint_attributesÚprint_bindsÚ
print_bnfsÚprint_bundlesÚprint_case_translationsÚprint_casesÚprint_clasetÚprint_classesÚprint_codeprocÚprint_codesetupÚprint_coercionsÚprint_commandsÚprint_contextÚprint_defn_rulesÚprint_dependenciesÚprint_factsÚprint_induct_rulesÚprint_inductivesÚprint_interpsÚprint_localeÚprint_localesÚprint_methodsÚprint_optionsÚprint_ordersÚprint_quot_mapsÚprint_quotconstsÚprint_quotientsÚprint_quotientsQ3Úprint_quotmapsQ3Úprint_rulesÚprint_simpsetÚprint_stateÚprint_statementÚprint_syntaxÚprint_theoremsÚprint_theoryÚprint_trans_rulesÚpropÚpwdÚ
quickcheckÚrefuteÚsledgehammerÚ
smt_statusÚsolve_directÚspark_statusÚtermÚthmÚthm_depsÚthy_depsrá   Útry0ÚtypÚunused_thmsÚvalueÚvaluesÚwelcomeÚprint_ML_antiquotationsÚprint_term_bindingsÚvalues_prolog)ÚtheoryÚbeginrx   )ÚheaderÚchapter)ÚsectionÚ
subsectionÚsubsubsectionÚsectÚsubsectÚ
subsubsect)ŽÚMLÚML_fileÚabbreviationÚadhoc_overloadingÚaritiesÚ	atom_declÚattribute_setupÚaxiomatizationÚbundleÚcase_of_simpsÚclassÚclassesÚclassrelÚ
codatatypeÚ
code_abortÚ
code_classÚ
code_constÚcode_datatypeÚcode_identifierÚcode_includeÚcode_instanceÚcode_modulenameÚ
code_monadÚcode_printingÚcode_reflectÚcode_reservedÚ	code_typeÚcoinductiveÚcoinductive_setÚconstsÚcontextÚdatatypeÚdatatype_newÚdatatype_new_compatÚdeclarationÚdeclareÚdefault_sortÚdefer_recdefÚ
definitionÚdefsÚdomainÚdomain_isomorphismÚ	domaindefÚequivarianceÚexport_codeÚextractÚextract_typeÚfixrecrs   Ú	fun_casesÚ
hide_classÚ
hide_constÚ	hide_factÚ	hide_typeÚimport_const_mapÚimport_fileÚimport_tptpÚimport_type_mapÚ	inductiveÚinductive_setÚinstantiationÚjudgmentÚlemmasÚlifting_forgetÚlifting_updateÚlocal_setupÚlocaleÚmethod_setupÚnitpick_paramsÚno_adhoc_overloadingÚno_notationÚ	no_syntaxÚno_translationsÚno_type_notationÚnominal_datatypeÚnonterminalÚnotationÚnotepadÚoracleÚoverloadingÚparse_ast_translationÚparse_translationÚpartial_functionÚ	primcorecÚprimrecÚprimrec_newÚprint_ast_translationÚprint_translationÚquickcheck_generatorÚquickcheck_paramsÚrealizabilityÚ	realizersÚrecdefÚrecordÚrefute_paramsÚsetupÚsetup_liftingÚsimproc_setupÚsimps_of_caseÚsledgehammer_paramsÚ	spark_endÚ
spark_openÚspark_open_sivÚspark_open_vcgÚspark_proof_functionsÚspark_typesÚ
statespaceÚsyntaxÚsyntax_declarationr  Útext_rawÚtheoremsÚtranslationsÚtype_notationÚtype_synonymÚtyped_print_translationÚtypedeclÚ
hoarestateÚinstall_C_fileÚinstall_C_typesÚ	wpc_setupÚc_defsÚc_typesÚmemsafeÚ
SML_exportÚSML_fileÚ
SML_importÚapproximateÚbnf_axiomatizationÚ	cartoucheÚdatatype_compatÚfree_constructorsÚfunctorÚnominal_functionÚnominal_terminationÚpermanent_interpretationÚbindsÚdefiningÚsmt2_statusÚterm_cartoucheÚboogie_fileÚtext_cartouche)Úinductive_casesÚinductive_simps)!Úax_specificationÚbnfÚ	code_predÚ	corollaryÚcpodefÚcrunchÚcrunch_ignoreÚenriched_typeÚfunctionÚinstanceÚinterpretationÚlemmaÚlift_definitionÚnominal_inductiveÚnominal_inductive2Únominal_primrecÚpcpodefÚprimcorecursiveÚquotient_definitionÚquotient_typeÚ	recdef_tcÚrep_datatypeÚschematic_corollaryÚschematic_lemmaÚschematic_theoremÚspark_vcÚspecificationÚsubclassÚ	sublocaleÚterminationÚtheoremÚtypedefÚwrap_free_constructors)rÌ   rÎ   Úqed)ÚsorryÚoops)r©   ÚhenceÚ	interpret)ÚnextÚproof)ÚfinallyÚfromr~   Ú
ultimatelyrƒ   )ÚML_prfÚalsoÚincludeÚ	includingr{   ÚmoreoverÚnoteÚtxtÚtxt_rawÚ	unfoldingr™   Úwrite)ÚassumerŒ   Údefrt   Úpresume)ÚguessÚobtainÚshowÚthus)rŽ   Ú	apply_endÚapply_traceÚbackÚdeferÚprefer)rê   ré   rþ   ú)ú[rð   rñ   rî   ræ   rü   ú+rç   ú!ú?)ú{ú}ú.z..rõ   rö   r÷   z\\<open>r9  u   \{\*|â€¹rø   rù   z\\<(\w|\^)*>z'[^\W\d][.\w']*rÿ   r   r  r  r  rò   Úfactz/[^\s:|\[\]\-()=,+!?{}._][^\s:|\[\]\-()=,+!?{}]*r  r  r	  r
  r  u   [^{*}\\â€¹â€º]+z	\\<close>u   \*\}|â€ºz[{*}\\]z[^"\\]+z\\"z\\z[^`\\]+z\\`)r  r÷   r9  r  r‘  N)3r  r  r  r  r  r  r  r  r  Úkeyword_minorÚkeyword_diagÚkeyword_thyÚkeyword_sectionÚkeyword_subsectionÚkeyword_theory_declÚkeyword_theory_scriptÚkeyword_theory_goalÚkeyword_qedÚkeyword_abandon_proofÚkeyword_proof_goalÚkeyword_proof_blockÚkeyword_proof_chainÚkeyword_proof_declÚkeyword_proof_asmÚkeyword_proof_asm_goalÚkeyword_proof_scriptr&  Úproof_operatorsr   r   r   ÚSymbolr   r   ÚWordr	   r*  r…   r   ÚHeadingÚ
Subheadingr+  ÚErrorr   r
   r   r.  r/  r0  ÚOtherr4  r  r  r  r   r   ª   s  € € € € € ðð ð €DØ
'€CØˆl€GØ�	€IØ"Ð#€Ið
€Mð€Lð, -€Kà+€OðÐð
$ÐðL CÐð
Ðð (€KØ-Ðà7Ðà+ÐðÐðÐð
 DÐà@ÐðÐð€Ið
 ,€Oð.
Ø�ZÐ ð.
à�g˜yÐ)ð.
ð ˜&œ-¨Ð5ð.
ð ˜& +Ð.ð	.
ð ˆU�9ÑÔ˜xÐ(ð.
ð ˆU�?Ñ#Ô# X¤]Ð3ð.
ð ˆU�=¨°uÐ=Ñ=Ô=¸w¼~ÐNð.
ð ˆU�<¨°eÐ<Ñ<Ô<¸g¼lÐKð.
ð ˆU�; u°UÐ;Ñ;Ô;¸WÐEð.
ð ˆUÐ&¨u¸UÐCÑCÔCÀWÐMð.
ð  ˆU�?¨5¸Ð?Ñ?Ô?ÀÄÐQð!.
ð" ˆUÐ%¨e¸EÐBÑBÔBÀGÔDVÐWð#.
ð& ˆUÐ&¨u¸UÐCÑCÔCÀWÔEVÐWð'.
ð( ˆUÐ(°¸uÐEÑEÔEÀwÔGXÐYð).
ð, ˆUÐ(°¸uÐEÑEÔEÀwÄ}ÐUð-.
ð0 ˆU�; u°UÐ;Ñ;Ô;¸WÐEð1.
ð2 ˆUÐ%¨e¸EÐBÑBÔBÀGÐLð3.
ð4 ˆUÐ&¨u¸UÐCÑCÔCÀWÐMð5.
ð6 ˆUÐ%¨e¸EÐBÑBÔBÀGÐLð7.
ð: ˆUÐ&¨u¸UÐCÑCÔCÀWÐMð;.
ð< ˆUÐ$¨U¸5ÐAÑAÔAÀ7ÐKð=.
ð> ˆUÐ)°%ÀÐFÑFÔFÈÐPð?.
ðB ˆUÐ'°¸eÐDÑDÔDÀgÄnÐUðC.
ðF ˜dœkÐ*ðG.
ðJ   ¤Ð+ðK.
ðN ,¨V¬ZÐ8ðO.
ðP " 6¤:Ð.ðQ.
ðR   ¤Ð,ðS.
ðV �6˜8Ð$ðW.
ðX �6”< Ð(ðY.
ðZ @ÀÐFð[.
ð` ˜Ð!Ø�g˜wÐ'Ø�g˜vÐ&Ø�wÐð	
ð   Ð(Ø˜&œ-¨Ð1Ø˜& 'Ð*Ø˜6œ=¨&Ð1Ø˜& &Ð)Ø˜fœmÐ,Ø˜Ð ð
ð ˜Ð Ø˜fœmÐ,Ø�VÐØ�FˆOØ�6˜6Ð"ð
ð ˜œÐ&Ø˜fœmÐ,Ø�V”\Ð"Ø�F”LÐ!Ø�6”< Ð(ð
ðMMð M€F€F€Fr  r   c                   ó–  — e Zd ZdZdZdZdgZdgZdgZde	fde
j        d	fd
edfdej        f eddd¬¦  «        ej        f eddd¬¦  «        ej        fdej        f eddd¬¦  «        ef eddd¬¦  «        ej        f eddd¬¦  «        ej        f edd¬¦  «        ef ed¦  «        efdefdej        fdej        fdej        fde
j        dfde
j        fdej        fd ej        j        fgd!ej        fd
ej        d"fd#ej        d$fd%ej        fgd!e
j        fd#e
j        d$fd%e
j        fgd&e
j        fd'e
j        fde
j        d$fgd(œZ d)S )*r   zA
    For the Lean theorem prover.

    .. versionadded:: 2.0
    ÚLeanz"https://github.com/leanprover/leanÚleanz*.leanztext/x-leanrõ   z/--Ú	docstringz/-r÷   z--.*?$)ÚimportÚrenamingÚhidingÚ	namespaceÚlocalÚprivateÚ	protectedr´  ru  Úomitr´  r´  ÚexportrW  Ú	attributerø   rù   )(rS  rf  r~  rà  ÚexampleÚaxiomÚaxiomsrB  Ú	constantsÚuniverseÚ	universesró  rÕ  r_  ÚextendsrÄ  rQ  r¼  znoncomputable theoryÚnoncomputableÚmutualÚmetar·  Ú	parameterÚ
parametersÚvariableÚ	variablesÚreserveÚ
precedenceÚpostfixrú   r  rM  rN  rO  r±  rÌ   rx   Ú
set_optionÚrun_cmdz@\[[^\]]*\])rp   rs   ÚPirq  r©   r‚  r}  r¬   r{   r|   r   r~   ry   rƒ   Úcalcrw   rÞ   )rj  rÝ   )ÚSortr†   r…   )z#evalz#checkz#reducez#exitz#printz#help)rû   )rþ   r‰  ré   rŽ  r�  rŠ  rð   u   âŸ¨u   âŸ©u   â€¹u   â€ºu   â¦ƒu   â¦„rë   ræ   z¨[A-Za-z_\u03b1-\u03ba\u03bc-\u03fb\u1f00-\u1ffe\u2100-\u214f][.A-Za-z_\'\u03b1-\u03ba\u03bc-\u03fb\u1f00-\u1ffe\u2070-\u2079\u207f-\u2089\u2090-\u209c\u2100-\u214f0-9]*z0x[A-Za-z0-9]+z0b[01]+z\d+r  r  z='(?:(\\[\\\"'nt])|(\\x[0-9a-fA-F]{2})|(\\u[0-9a-fA-F]{4})|.)'r  r  z[^/-]r  z-/r
  z[/-]z[^\\"]+z9(?:(\\[\\\"'nt])|(\\x[0-9a-fA-F]{2})|(\\u[0-9a-fA-F]{4})))r  r÷   r­  r  N)!r  r  r  r  r  r  r  r  r  r   r   ÚDocr   ÚSingler   r	   r+  ÚDeclarationr   r¨  r…   r   r
   r   r-  r3  r2  r   r)  r*  Ú	MultilineÚEscaper4  r  r  r  r   r   …  sm  € € € € € ðð ð
 €DØ
.€CØˆh€GØ�
€IØ�€Ið �TˆNØ�V”Z Ð-Ø�G˜YÐ'Ø˜œÐ'ØˆUð 	ð  Eð	+ñ 	+ô 	+ð -4Ô,=ð	?ð ˆUð ð0  Eð1+ñ +ô +ð0 -4Ô,?ð1Að2 ˜WÔ0Ð1ØˆUð ð  Eð	+ñ +ô +ð -4ð	5ð
 ˆUÐ%¨e¸EÐBÑBÔBÀGÄMÐRØˆUÐ+°EÀ%ÐHÑHÔHÈ'Ì,ÐWØˆUð ð ðñ ô ð &ð'ð ˆUð ñ ô àðð=à>BðDð  ¤Ð/Ø˜œÐ(Ø�V”^Ð$Ø�6”= (Ð+ØMÈvÌ{Ð[Ø! 4¤=Ð1Ø�D”LÔ'Ð(ðAA
ðF �wÔ(Ð)Ø�GÔ% wÐ/Ø�GÔ% vÐ.Ø�gÔ'Ð(ð	
ð �v”zÐ"Ø�F”J Ð'Ø�f”jÐ!ð
ð ˜œÐ'ØIÈ6Ì=ÐYØ�&”- Ð(ð
ð]Sð S€F€F€Fr  r   N)r  Úpygments.lexerr   r   r   Úpygments.tokenr   r   r   r	   r
   r   r   r   r   r   Ú__all__r   r   r   r  r  r  ú<module>rÖ     sX  ððð ð 6Ð 5Ð 5Ð 5Ð 5Ð 5Ð 5Ð 5Ð 5Ð 5ð-ð -ð -ð -ð -ð -ð -ð -ð -ð -ð -ð -ð -ð -ð -ð -ð -ð -ð -ð -ð -ð -ð -ð -ð 5Ð
4Ð
4€ðUð Uð Uð Uð Uˆzñ Uô Uð UðpXð Xð Xð Xð X�Jñ Xô Xð Xðv_ð _ð _ð _ð _�
ñ _ô _ð _ð _ð _r  