/usr/lib/rads/venv/lib/python3.13/site-packages/pygments/lexers/__pycache__/
/usr/lib/rads/venv/lib/python3.13/site-packages/pygments/lexers/__pycache__
NameSizeModeActions
actionscript.cpython-313.pyc111400644editdlrm
ada.cpython-313.pyc55130644editdlrm
agile.cpython-313.pyc12700644editdlrm
algebra.cpython-313.pyc112060644editdlrm
ambient.cpython-313.pyc31370644editdlrm
amdgpu.cpython-313.pyc22540644editdlrm
ampl.cpython-313.pyc40900644editdlrm
apdlexer.cpython-313.pyc190310644editdlrm
apl.cpython-313.pyc25290644editdlrm
archetype.cpython-313.pyc92450644editdlrm
arrow.cpython-313.pyc35790644editdlrm
arturo.cpython-313.pyc96770644editdlrm
asc.cpython-313.pyc20700644editdlrm
asm.cpython-313.pyc362770644editdlrm
asn1.cpython-313.pyc44750644editdlrm
automation.cpython-313.pyc184390644editdlrm
bare.cpython-313.pyc28860644editdlrm
basic.cpython-313.pyc270940644editdlrm
bdd.cpython-313.pyc20910644editdlrm
berry.cpython-313.pyc35510644editdlrm
bibtex.cpython-313.pyc52570644editdlrm
blueprint.cpython-313.pyc53230644editdlrm
boa.cpython-313.pyc35210644editdlrm
bqn.cpython-313.pyc25590644editdlrm
business.cpython-313.pyc221580644editdlrm
capnproto.cpython-313.pyc24180644editdlrm
carbon.cpython-313.pyc35900644editdlrm
cddl.cpython-313.pyc42240644editdlrm
chapel.cpython-313.pyc42460644editdlrm
clean.cpython-313.pyc60710644editdlrm
codeql.cpython-313.pyc27460644editdlrm
comal.cpython-313.pyc32080644editdlrm
compiled.cpython-313.pyc19610644editdlrm
configs.cpython-313.pyc448790644editdlrm
console.cpython-313.pyc42770644editdlrm
cplint.cpython-313.pyc17690644editdlrm
crystal.cpython-313.pyc151280644editdlrm
csound.cpython-313.pyc142180644editdlrm
css.cpython-313.pyc221490644editdlrm
c_cpp.cpython-313.pyc160490644editdlrm
c_like.cpython-313.pyc276200644editdlrm
d.cpython-313.pyc83570644editdlrm
dalvik.cpython-313.pyc46040644editdlrm
data.cpython-313.pyc216580644editdlrm
dax.cpython-313.pyc62420644editdlrm
devicetree.cpython-313.pyc40520644editdlrm
diff.cpython-313.pyc57150644editdlrm
dns.cpython-313.pyc37920644editdlrm
dotnet.cpython-313.pyc352770644editdlrm
dsls.cpython-313.pyc338510644editdlrm
dylan.cpython-313.pyc97990644editdlrm
ecl.cpython-313.pyc55870644editdlrm
eiffel.cpython-313.pyc30020644editdlrm
elm.cpython-313.pyc32400644editdlrm
elpi.cpython-313.pyc72500644editdlrm
email.cpython-313.pyc60110644editdlrm
erlang.cpython-313.pyc205610644editdlrm
esoteric.cpython-313.pyc98130644editdlrm
ezhil.cpython-313.pyc38540644editdlrm
factor.cpython-313.pyc168750644editdlrm
fantom.cpython-313.pyc79380644editdlrm
felix.cpython-313.pyc82230644editdlrm
fift.cpython-313.pyc19770644editdlrm
floscript.cpython-313.pyc29950644editdlrm
forth.cpython-313.pyc53780644editdlrm
fortran.cpython-313.pyc87310644editdlrm
foxpro.cpython-313.pyc208210644editdlrm
freefem.cpython-313.pyc128010644editdlrm
func.cpython-313.pyc33210644editdlrm
functional.cpython-313.pyc10110644editdlrm
futhark.cpython-313.pyc40930644editdlrm
gcodelexer.cpython-313.pyc13330644editdlrm
gdscript.cpython-313.pyc72500644editdlrm
gleam.cpython-313.pyc27190644editdlrm
go.cpython-313.pyc33820644editdlrm
grammar_notation.cpython-313.pyc76800644editdlrm
graph.cpython-313.pyc38170644editdlrm
graphics.cpython-313.pyc296970644editdlrm
graphql.cpython-313.pyc44240644editdlrm
graphviz.cpython-313.pyc22340644editdlrm
gsql.cpython-313.pyc37880644editdlrm
hare.cpython-313.pyc29610644editdlrm
haskell.cpython-313.pyc306110644editdlrm
haxe.cpython-313.pyc223790644editdlrm
hdl.cpython-313.pyc174600644editdlrm
hexdump.cpython-313.pyc36200644editdlrm
html.cpython-313.pyc209630644editdlrm
idl.cpython-313.pyc124820644editdlrm
igor.cpython-313.pyc256810644editdlrm
inferno.cpython-313.pyc32670644editdlrm
installers.cpython-313.pyc138980644editdlrm
int_fiction.cpython-313.pyc483410644editdlrm
iolang.cpython-313.pyc22280644editdlrm
j.cpython-313.pyc43080644editdlrm
javascript.cpython-313.pyc571940644editdlrm
jmespath.cpython-313.pyc24180644editdlrm
jslt.cpython-313.pyc37280644editdlrm
json5.cpython-313.pyc29000644editdlrm
jsonnet.cpython-313.pyc48760644editdlrm
jsx.cpython-313.pyc29560644editdlrm
julia.cpython-313.pyc110300644editdlrm
jvm.cpython-313.pyc641480644editdlrm
kuin.cpython-313.pyc98560644editdlrm
kusto.cpython-313.pyc28620644editdlrm
ldap.cpython-313.pyc64640644editdlrm
lean.cpython-313.pyc79960644editdlrm
lilypond.cpython-313.pyc83870644editdlrm
lisp.cpython-313.pyc1218620644editdlrm
macaulay2.cpython-313.pyc231570644editdlrm
make.cpython-313.pyc67560644editdlrm
maple.cpython-313.pyc49770644editdlrm
markup.cpython-313.pyc604050644editdlrm
math.cpython-313.pyc10070644editdlrm
matlab.cpython-313.pyc559460644editdlrm
maxima.cpython-313.pyc32130644editdlrm
meson.cpython-313.pyc35020644editdlrm
mime.cpython-313.pyc101140644editdlrm
minecraft.cpython-313.pyc107370644editdlrm
mips.cpython-313.pyc34200644editdlrm
ml.cpython-313.pyc262640644editdlrm
modeling.cpython-313.pyc122210644editdlrm
modula2.cpython-313.pyc263760644editdlrm
mojo.cpython-313.pyc143630644editdlrm
monte.cpython-313.pyc50940644editdlrm
mosel.cpython-313.pyc69540644editdlrm
ncl.cpython-313.pyc459070644editdlrm
nimrod.cpython-313.pyc64750644editdlrm
nit.cpython-313.pyc27670644editdlrm
nix.cpython-313.pyc55350644editdlrm
numbair.cpython-313.pyc21420644editdlrm
oberon.cpython-313.pyc37500644editdlrm
objective.cpython-313.pyc195600644editdlrm
ooc.cpython-313.pyc31270644editdlrm
openscad.cpython-313.pyc37350644editdlrm
other.cpython-313.pyc24170644editdlrm
parasail.cpython-313.pyc29020644editdlrm
parsers.cpython-313.pyc248670644editdlrm
pascal.cpython-313.pyc248500644editdlrm
pawn.cpython-313.pyc79170644editdlrm
pddl.cpython-313.pyc28120644editdlrm
perl.cpython-313.pyc392040644editdlrm
phix.cpython-313.pyc184050644editdlrm
php.cpython-313.pyc143340644editdlrm
pointless.cpython-313.pyc23060644editdlrm
pony.cpython-313.pyc34230644editdlrm
praat.cpython-313.pyc102490644editdlrm
procfile.cpython-313.pyc16380644editdlrm
prolog.cpython-313.pyc105990644editdlrm
promql.cpython-313.pyc33210644editdlrm
prql.cpython-313.pyc83710644editdlrm
ptx.cpython-313.pyc37830644editdlrm
python.cpython-313.pyc429700644editdlrm
q.cpython-313.pyc58690644editdlrm
qlik.cpython-313.pyc35030644editdlrm
qvt.cpython-313.pyc53450644editdlrm
r.cpython-313.pyc61750644editdlrm
rdf.cpython-313.pyc123130644editdlrm
rebol.cpython-313.pyc197450644editdlrm
rego.cpython-313.pyc18790644editdlrm
resource.cpython-313.pyc36240644editdlrm
ride.cpython-313.pyc44930644editdlrm
rita.cpython-313.pyc14860644editdlrm
rnc.cpython-313.pyc20280644editdlrm
roboconf.cpython-313.pyc23750644editdlrm
robotframework.cpython-313.pyc306480644editdlrm
ruby.cpython-313.pyc225570644editdlrm
rust.cpython-313.pyc72910644editdlrm
sas.cpython-313.pyc70260644editdlrm
savi.cpython-313.pyc39930644editdlrm
scdoc.cpython-313.pyc28340644editdlrm
scripting.cpython-313.pyc722270644editdlrm
sgf.cpython-313.pyc20880644editdlrm
shell.cpython-313.pyc373540644editdlrm
sieve.cpython-313.pyc27340644editdlrm
slash.cpython-313.pyc84440644editdlrm
smalltalk.cpython-313.pyc67300644editdlrm
smithy.cpython-313.pyc31310644editdlrm
smv.cpython-313.pyc27890644editdlrm
snobol.cpython-313.pyc25130644editdlrm
solidity.cpython-313.pyc34120644editdlrm
soong.cpython-313.pyc22970644editdlrm
sophia.cpython-313.pyc38410644editdlrm
special.cpython-313.pyc55490644editdlrm
spice.cpython-313.pyc31640644editdlrm
sql.cpython-313.pyc408750644editdlrm
srcinfo.cpython-313.pyc20180644editdlrm
stata.cpython-313.pyc51640644editdlrm
supercollider.cpython-313.pyc39040644editdlrm
tablegen.cpython-313.pyc33440644editdlrm
tact.cpython-313.pyc90430644editdlrm
tal.cpython-313.pyc29820644editdlrm
tcl.cpython-313.pyc51540644editdlrm
teal.cpython-313.pyc35590644editdlrm
templates.cpython-313.pyc851430644editdlrm
teraterm.cpython-313.pyc55960644editdlrm
testing.cpython-313.pyc101090644editdlrm
text.cpython-313.pyc15210644editdlrm
textedit.cpython-313.pyc85180644editdlrm
textfmts.cpython-313.pyc157590644editdlrm
theorem.cpython-313.pyc148070644editdlrm
thingsdb.cpython-313.pyc56350644editdlrm
tlb.cpython-313.pyc18880644editdlrm
tls.cpython-313.pyc19340644editdlrm
tnt.cpython-313.pyc133900644editdlrm
trafficscript.cpython-313.pyc18650644editdlrm
typoscript.cpython-313.pyc73970644editdlrm
typst.cpython-313.pyc68530644editdlrm
ul4.cpython-313.pyc82180644editdlrm
unicon.cpython-313.pyc125310644editdlrm
urbi.cpython-313.pyc59100644editdlrm
usd.cpython-313.pyc40400644editdlrm
varnish.cpython-313.pyc69910644editdlrm
verification.cpython-313.pyc40340644editdlrm
verifpal.cpython-313.pyc29620644editdlrm
vip.cpython-313.pyc57640644editdlrm
vyper.cpython-313.pyc49230644editdlrm
web.cpython-313.pyc12850644editdlrm
webassembly.cpython-313.pyc58350644editdlrm
webidl.cpython-313.pyc80890644editdlrm
webmisc.cpython-313.pyc436390644editdlrm
wgsl.cpython-313.pyc108230644editdlrm
whiley.cpython-313.pyc36380644editdlrm
wowtoc.cpython-313.pyc32740644editdlrm
wren.cpython-313.pyc31080644editdlrm
x10.cpython-313.pyc24170644editdlrm
xorg.cpython-313.pyc14140644editdlrm
yang.cpython-313.pyc41100644editdlrm
yara.cpython-313.pyc27340644editdlrm
zig.cpython-313.pyc38630644editdlrm
_ada_builtins.cpython-313.pyc11990644editdlrm
_asy_builtins.cpython-313.pyc175760644editdlrm
_cl_builtins.cpython-313.pyc116280644editdlrm
_cocoa_builtins.cpython-313.pyc975420644editdlrm
_csound_builtins.cpython-313.pyc163440644editdlrm
_css_builtins.cpython-313.pyc93490644editdlrm
_googlesql_builtins.cpython-313.pyc107870644editdlrm
_julia_builtins.cpython-313.pyc82140644editdlrm
_lasso_builtins.cpython-313.pyc766920644editdlrm
_lilypond_builtins.cpython-313.pyc883700644editdlrm
_luau_builtins.cpython-313.pyc10130644editdlrm
_lua_builtins.cpython-313.pyc83620644editdlrm
_mapping.cpython-313.pyc669350644editdlrm
_mql_builtins.cpython-313.pyc179730644editdlrm
_mysql_builtins.cpython-313.pyc195240644editdlrm
_openedge_builtins.cpython-313.pyc340550644editdlrm
_php_builtins.cpython-313.pyc655480644editdlrm
_postgres_builtins.cpython-313.pyc113180644editdlrm
_qlik_builtins.cpython-313.pyc63400644editdlrm
_scheme_builtins.cpython-313.pyc231370644editdlrm
_scilab_builtins.cpython-313.pyc351890644editdlrm
_sourcemod_builtins.cpython-313.pyc218490644editdlrm
_sql_builtins.cpython-313.pyc55310644editdlrm
_stan_builtins.cpython-313.pyc99120644editdlrm
_stata_builtins.cpython-313.pyc212000644editdlrm
_tsql_builtins.cpython-313.pyc88290644editdlrm
_usd_builtins.cpython-313.pyc13590644editdlrm
_vbscript_builtins.cpython-313.pyc28870644editdlrm
_vim_builtins.cpython-313.pyc306940644editdlrm
__init__.cpython-313.pyc146800644editdlrm
Edit: /usr/lib/rads/venv/lib/python3.13/site-packages/pygments/lexers/__pycache__/elpi.cpython-313.pyc (7250B)
jpSrSSKJrJrJrJr SSKJrJrJ r J r J r J r J r Jr S/rSSKJr "SS\5rg)z pygments.lexers.elpi ~~~~~~~~~~~~~~~~~~~~ Lexer for the `Elpi `_ programming language. :copyright: Copyright 2006-2025 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. ) RegexLexerbygroupsincludeusing)TextCommentOperatorKeywordNameStringNumber Punctuation ElpiLexer)CoqLexercD \rSrSrSrSrSrS/rS/rS/r Sr S r S r S r S rS \S3rS \ S\ S\ S\S3 rS \S\ S\ S\S3 rS \ S\ S\ S\S3 rS \ \S\ \S\\S\S3 rSrS\S\S3rS \S\S\S3r0S\"S5/_S\"S5S\"\R4\R8\R<5S4S\"\R4\R8\5S4S \S3\"\R@\R8\!RD5S!4S"\S#3\"\R@\R8\!RD5S$4S%\S&3\"\R@\R8\!RD5S$4S'\S3\"\R@\R8\!RD5S$4S(\"\R@\R8\!RD5S$4S)\"\R@\R8\R<5S4S*\S3\"\R@\R8\54S+\S,3\"\R@\R8\54S-\"\R@\R8\!RF\54S.\S/3\"\R@\R8\!RD5S04S1\3\!RF4S2\S33\!RF4S4\!RF4S \S53\R@4\\4S6\R@4S7\R<S4S8\R<S94S:\R<S;4S<\S=4S>\S?4S@\SA4SB\$RJ4SC\$RL4SD\'4/_SSE\(4SF\(4SG\R84/_SSH\$RJ4SI\SJ4/_S$SK\"\RR\R<5S4SL\RR4\\RR4SM\RR4SN\SJ4\"S5/_S0SO\SP4\"S5/_SPSQ\R@4SR\R@4SS\ST4\"S5/_S!SU\R4SV4SN\SJ4\"S5/_SVSK\"\RR\R<5S4SL\RR4\\RR4SM\RR4SW\SJ4SN\ST4\"S5/_S9SX\R<4S8\R<SJ4/_S;SY\R<4S:\R<SJ4/_SSZ\R<4S7\R<SJ4/_S=S[\SJ4SG\R84S\\"\$\5S]4S^\S3\"\$\!RF54S_\*"\+54/_S]\"S5S[\SJ4/_S?S>\S`4Sa\SJ4\"S5/_SAS@\S`4\"S5SI\SJ4/_r,Sbr-gc)drz* Lexer for the Elpi programming language. Elpizhttp://github.com/LPCIC/elpielpiz*.elpiz text/x-elpiz2.11z[a-z]z[A-Z]z[0-9]z([+*^?/<>`'@#~=&!])(z|-|\$|_)|)z*(\.(z*)*)z|:)z*|z*|_z+)z(,|<=>|->|:-|;|\?-|->|&|=>|\bas\b|\buvar\b|<|=<|=|==|>=|>|\bi<|\bi=<|\bi>=|\bi>|\bis\b|\br<|\br=<|\br>=|\br>|\bs<|\bs=<|\bs>=|\bs>|@|::|\[\]|`->|`:|`:=|\^|-|\+|\bi-|\bi\+|r-|r\+|/|\*|\bdiv\b|\bi\*|\bmod\b|\br\*|~|\bi~|\br~)z\((z)\)rootz _elpi-commentz#(:before|:after|:if|:name)(\s*)(\")z elpi-stringz(:index)(\s*)(\()zelpi-indexing-exprz\b(external pred|pred)(\s+)(zelpi-pred-itemz\b(external type|type)(\s+)((z (,\s*)?)+)z elpi-typez\b(kind)(\s+)((z|,)+)z\b(typeabbrev)(\s+)(z\b(typeabbrev)(\s+)(\([^)]+\))z\b(accumulate)(\s+)(\")z$\b(accumulate|namespace|local)(\s+)(z\b(shorten)(\s+)(z\.)z-\b(pi|sigma)(\s+)([a-zA-Z][A-Za-z0-9_ ]*)(\\)z\b(constraint)(\s+)((z (\s+)?)+)zelpi-chr-rule-startz (?=[A-Z_])z (?=[a-z_])(z|_)\\_z|!|=>|;)z \[|\]|\||=>"`z elpi-btickz\'z elpi-tickz\{\{z elpi-quotez\{[^\{]z elpi-spillz\(zelpi-in-parensz\d[\d_]*z(-?\d[\d_]*(.[\d_]*)?([eE][+\-]?\d[\d_]*)z [\+\*\-/\^\.]z %[^\n]*\nz5/(?:\\\n)?[*](?:[^*]|[*](?!(?:\\\n)?/))*[*](?:\\\n)?/z\s+z[0-9 _]+z\)z#popz(ctype\s+)(\")z->z\(|\)z\.z\{z elpi-chr-rulez\brule\bz\\z\}z#pop:2z[io]:z elpi-ctype,z[^` ]+z[^\' ]+z[^\"]+z\}\}z (lp:)(\{\{)zelpi-quote-exitz(lp:)((?=[A-Z_])z((?!lp:|\}\}).)+z#pushz\}[^\}]N).__name__ __module__ __qualname____firstlineno____doc__nameurlaliases filenames mimetypes version_addedlcase_reucase_redigit_re schar2_reschar_re idchar_reidcharstarns_re symbchar_re constant_re symbol_re escape_re const_sym_rerrr Moder Whitespacer Doubler Declarationr FunctionVariabler IntegerFloatr rTyperrtokens__static_attributes__rG/usr/lib/rads/venv/lib/python3.13/site-packages/pygments/lexers/elpi.pyrrs( D (ChG IIMHHH&II;h'HXJaz8*AhZqAI9+U8*AhZq 4POxj(1XJazEKxj 2hZ7H)U`TaadendooqrKsI{m1YKs3I }Ai[)A>LC FO C  O $ 3 gllDOOV]] C  "8GLL$//;#W ! #,\N! < g))4??DMM J  .l^: F g))4??DMM J   ~U 3 g))4??DMM J  %\N! 4 g))4??DMM J  / g))4??DMM J  ( g))4??FMM J  5[M C g))4??D A C!+c 2 g))4??D A C = g))4??DMM4 P R%l^9 = g))4??DMM J " $;- ($-- 8K= . > 4== !)H %w':': ; $  W00 1 6==- 0 6==, / FMM; / k< 0 | , K!1 2 &.. ) 8&,, G x (e3 Cr  7 # Ew O T__ % sC|  &.. ) K ( }CD  v}} E} U GLL ! ',, ' w|| $ D& ! O $  ECT  K 1 O $ UC\  ,, - 7&& ' ; ) 6?  ]Ch  w||\ 2 D& ! O $ iCr  v}} E} U GLL ! ',, ' w|| $ 4 D( # O $ sCD   & 6==& ) ECL   ' FMM6 * MCT   & 6==& ) UC\  k6 * T__ % Xfk:rFs<@? -,\ \r@