PKUNنgavel/__init__.py/K-*ϋWUP2B%.PKGeNcgavel/__main__.pyPj0 +BbRKO_kb%ؖMu[ {ju͌I)[HLB`y"L 5u}X U !cR<~P`o[ch+\87Mx2Z7 Zk*tTR4 /x*gQ5S8U؇?T3gm[MB\BPKJOm[`s gavel/cli.pyW[o6~ 40[i@%Ű=l `2-l% $FëeI"yunxT$?x=v@jRAS6(||{:Ԥc*DX|H" [M6 BCM4'\ڜŲ1tT\Xב |A=ws|@vCYB&ٖEzb^%L\T=P5;nVάjv_!>ߒO쌶$ enhqx*|)/ŀi?w@{[YձK.xye{Ù= yξ^AC+f|X$Ȱߌ-v װ6:w~/, V3AU^orXQ"!});$O)D-I-kǢZh *H`3.$c"pdpuyuymO?˳ST>1ԥL3p|nA[$dC+)ȸV<=ا <$#Qa"w\~7]jqݱMH;c01Ӌ7[GfRoN b(60]C2ı ,h 7KV~axàDPMбş|ŅO$W)pp-SSaIdܞ}]`Y1!ٍ2JUޡLQ 2Ϝ Ef151)sD1f_Ht^X `~ڱ4)[ʕ gf!ZhV~ө_*;?QNl0YVM%~'yò'I &t]Մe8S[0 ګ[~hp>1ssTvg'rUo„M0ҮS#mE`_pxWPiмx&%24o&D}UVFm1h[\N*= aILN)+Pԩ[Vde*:l~=eM6=Dk%, eoI žfL7)Pܺ?D޴ᆲAmPƁ/ KpM/>< | O}2v@Lo*oPk@>;< sE\?(> o$*7A9]%Hj{N?op 7Ƌ{b=UZauoy|Y~w'LvTҎ}uvm~RD>.8Gh%NWZ,FO _*c?fpHiIf ͮhGʙ%ޅs^S777l&]4^^5S߫EA𭙸b ?PKd8/Ogavel/config/__init__.pyPKG9O@ngavel/config/settings.pyu 0yxjPAD=hC-TSoR4-3dK-&4R73_Au{,--=dVZ(]Hn8ќqlؼ<̻+.gUَw U3Bn2 9tE&W4_ĉU5mu` Nl2 D4;2p,U,fZ!J%_7d3Oi>xPKUNgavel/dialects/__init__.pyPK7O@FM gavel/dialects/base/compiler.pyQo )PIDÖRn U>0;iUxq?`^VJ#ٳP{'aJ$Vep?*P&I f ٪:!P7D$*$WL}]j o /5`=W4`sl!5`zafY(d%P$wJ"?4='P Sr%Gډx$R]ZK&le%÷]q6s,ckrCBL"/8+ kĝ۲VԽi-J@MՍ7b1S.~2 ~mTǰlKi!Öu[u >?ҷs@ #i S>DIO@1i7]SӻZM Ϸ *MwxL'xҍ7Ey -&ֿy1IӜhhLi,c(H0!Dv{]LtNx¶_ pCSrW;qm08{~ouU*=%m#).PKf9O-)dgavel/dialects/base/dialect.pyŔn <GwLK{mMCXCBv߾(Uu7^TGnTIƢXlǚ+A%+- ,/Ud&<F~X"I4EZ?)>SD'_@]$@J ~=VQDDbt1U |ᭈvxKM }6J'g3l3f;2? 6s\f5nָZ4=D NpoMxNDا6 @Q;/dDwce^q$ mMn1'ʺHۊV<~@,lrHݟzFU=Qp@s^I4ߍ[W4l'de[4X7użڃʲSW}K\gZBoo6X5ܠƟVwvy0M4F mjrАǓ6 6~rj(a]xl f9P|?#Gcx_6ۀ2qvp~Z em¹}ORQ|}NBQJbqIJ+*^w,.ii&?uB`XF# Wf(\I?"|Z}3%En ;[_sˮY1 "&x,uo<|*g[ַsw.+f/R)BTaW)&S37EdcT 3+A96԰CxMȢ:OU8F{!Dثρ`c=x@ Ц(XpbUO!ݾBEZ< o ™~u( |FC=ql_h3(S=6-'3zp;\"yf0,Lp s񘽌,x<[7‰8Hǁ*Or9XʇM \`Гcdy"[Qa:2e4ΝD}( +"h5/)[3af9N=aYaCg[ 4 bаtݝ;wF_qz6d<~@bpID|qmV0l<"z~\O~(DA ݹtrp3 H^!|yn_b[L+]&pc@߀'_q]=q^ov MXaDK>MonZSc@=1ʪL"HXDp,l\T9՛R4׃9k2x#bhоC4u i b>VΔ6vFX dN`r V]BxU)C}btlzddKTi>4ԑ`vţw\60`Sfu׵ؼz0tF`SVn;f Y$"s͗PQV2oR^LK&v*Kj}:LWN# ˜|iKanWSNm3gsܞkpHՃi8?qi-J@ZZJFSŢ*;`_4])Q7yhn+>ԡ^pBh+E7OMBbDrJ@*%  S;W~/baX.*>yM8h$"N~k 2"cZ'RY;O%<2;I y@&C&E*l!4B1lRU< _z  4p2M;cfe9QQϕJ F —D5 n΀bbY4Zʌٮ`ђa@״I4?-vFVf΍8&$ZVOrXy8;|}\ Kt52z[Nҙp;SwPKFG9OݜDgavel/dialects/db/connection.pyTA +'1nbff-[6}AP6x}{| AҟP)\b6\Pb) g=:bY`b֜K%VNNע?_~^}Y\E nA1dOGy(X.i@a n-j%0nf26 IyᢁP+z` ܲa`t@bџ4k]:@D`% QI\aa*qbŸ {燋Nw<ۯ?|^qy# k$Y}AOZ:4/Kwqƾc K|k%TaQVx=!PKSw9Oi5gavel/dialects/db/parser.pyWm8_!I,/)AFqz.F/dv/4/̣Q\NBHIs%4T v+ЇfkQ\gbɡW 1J[-Im~wG<"/ݛ^ju@O >K?FH e3eKIb^qs5^#mJ:/C{ozIT?ʇd.DFVsQւ:]8+TTIĸW^ۤ΁WY kޞXPkHH3eP3AsGPu:+KEF"(AmzOTN@깦xFq¤  Ѐ6O9'89/ZÏAE (HK1 m`>Ypv07o>on?o_i9pvB^v{t/GRs q#D%j*:qHW)I&5"aj3yo?Uz`h}z"DV0fi~A_b0w. $J8Ԍ`~märV> z|h~![\^}1ϐE8\PCVE}_'ЄG;LΟysT 5cG(%-ki`#*q⺶}(O0Ӥ3,~ުn:AX8#BX(qt1m #tՙ̷F70ӥ]> RF4tψJ:2 kw"Bq">o0Șp;@U.ȉv@qg[0A.kR0aCp82op*ۍd`E:q*pFW/oYtݟBcy3nڶN[8^F{APKt9O5Y9 gavel/dialects/db/structures.pyVn0+dЩH8U̔"Jp)[qE}1E{Je~Wvj5k~SE {¼fU#=( z>/jF9TFF̦Ԡ5-H PZeUUraBԪSpe2@Qll6-J /fei(2DL;wlOFhA-V] v{)mLb]^B$>ɬ2fmMcy }urւ=r U4Y*"˻O_.Ac'|]}aeŜrcXQrɝ,nˆКRCc0Ypd1q IvsDH$8i:zcKfI,8n" ξ`pa=e,4/9=z^0z%%*y dzGyWgʼnt$5:d:D(ȀVj rjkod!-<'UCC5Xܕ 17 b!}=t/$QxVsy+GqrcoѤY:L\茗8u΃0yv3^;Q+FEJk&'G>.:<WAо:CP׽!]6}wɻs3p=t].4kL;b}~?IΏ*u$-8.OPKUNgavel/dialects/tptp/__init__.pyPKOB9OQ($gavel/dialects/tptp/compiler.pyZr8S8L-dJv)8wݎGAJvL6}仑 fLssѱ!;N+(mqO7xpC< L2GqxA=@X1 n=0n ACR~:v4f \OFR6A[k8H9 p}0bdb^&RXQccD\/ʫ W9$Խ&oC˿#R9n4atC-DND9+H|C 9"IM(QT5G( 2@yo$Ҕ=wzZQKŌT=^=Af+\}WUiqn!&C?;!o1pqe3]gSRLl:XՏ)P2s ~Y#P>[ 睾4b}TS0 XbP -@jnAia}KЙ>x-. uaaLb6۟ŀ2{߷4'e7fcCP`]tt۲uĝNs-r7R.WYؒY@l`4KWSc2vt=l#mea.>J6nr>[4a_Qc ZqYxPrfvntC\(V :Mj5."z>XI /595͘|ksk2Pft(jP[K:|i Za GRcq9Cw!2yq!1uSullY3I~k6py%;ogًj^[Ҡڣ]nc^|~!i3f\I<c~O 𖓮.Қ.} L2+9qfGl0elHhQsqܙ MjDzW2!})i ++jZ.u(z~cM&ئI/_[h_l m׾(`?(s[oDqrsC/@;n㌪!_PmDƶ<+QX=>ŵ!I1Lwp16#G\_+9EO@HF7g]6DZ&0:\ϯT+6L0_SXf 8K(yPj^J3:QXwrC&rR8;rPB\kxNXICI1;~Ž8#| . fzZ* XxR@(70_\HqU!5/MsɇtHhVyxr U4]|`-![L#j/V~Vb2Itej)@hIYP@Li !gZ10H3 ̧?Pt\4KybCv(íOhlH|Pf/9)-- P0]Tv+~qvz/Z>OMNr~шD&1࣢?'*;wt%n꠴QkrhS \QXXe:޿=AcWi矿JK3*})wP]必dQ>mׂ[팺8R~+HәPKPB9O%c!gavel/dialects/tptp/dialect.pyK 1 =EWz: ) M} f0k0lfv!,ϵ~ϔIYLzҧMIb.[ uB  :DS !,ܵ?ȹ-<6měnj|PK:_JO4Egavel/dialects/tptp/parser.py՝wFv_2MCCArSٖlZu|; I ?JZ月<{1ArʊLn,bkZX/ՏyV|+yvoߖIzgߔq>6-uCt%zIC'zsGtutusysYm _ռcQWR՚sk-fq> eEo6E}4+ğ'_V`Gge+,ɋPTKQզWU'[B_Zչ:;}[Q'U# ~˒[Oj[/f[DvdnNRE̯.vֿwkc7uruqqr ۙZ0j֢~}(d(:~ݏ"dѺ )̊,b%mH]QhhYa5E65TT2l2ȕPߘAկIw[sVfyr7l^ UMt'A 5~<ߋa.,NűcuG-(J8ˢ3;=~H;]TP?ɲbĺ Ng6 V[a}ӤT-e<ω}!!R K¤U$wjTM\1immۉۈ^mkFVݦjm&WNYgi#MjlfVQGV㴗I `R]6jehRS7Hp?Mue=~-Ȋۜ=lQ? e{7d ׽(!߄ ll$&GDioSV-w %A/W_N~\MX7\j("b W4:ٕ }0a%bX֖L?YLסgd*BӥPYwxf_v;5O#Uj\uG߭ [Zը mY@m[-DFkzv1xa wJkńCSc}o5{1/ak'ɍ%i(xg|{N'^}Vq{gBjc]J2fvtА^}a4քyf>:bxF_R9Gn'fԒgu/zu${Hg-l؟.63+R+݂߮\z6qtP}4> {u͌rQIh6!lbt66a֋Yu(JZ_y[C ܩ]V CUi,ϳv`ƴoܬ՗.j,#svW~š*5"nﭺXrnnY5Emop){L!r ';`-ۊ,h'lzKL[[BHޛ@dv\-IrZDAN㱪>#36\hZEzojuo?Haɼ5^W-IV}?~l 2juӷJvo `aQu~*q1ߒ͝vz-5@ &ʳ:xR:n/k*wW*?> W)>J秲_r8t={oEOuոn8JϟS_? zuv1ߞ8{󪭎?2t߈ ܰY9GYNJ>;:>˞} zvt2J5|zyd#xgYxdcwֳ_X}URN:$}]ɿkJ"G+E6ժջjVFtw\R*T$n%h|~4qCH7b:^;ZWJYJ͐n+PqsӼjԔJԚ˝Qgo. .Y]jaf0ٷ@gI*C({nRR=EV5}e'q5=_B$HFeՃm'o.. 3A jXҫ54iHrLVN$VYP槆T=AQFj\͜%hHA˫N/Ҍ;:3.H5ajG$GcIavyrXZaVJ͞Fb9|֩m87 ZA)MѬXiJgOYk74Eŵs9Nʙ2g& ,96;:D!{FrF6S`⳾Z5v+Lvqu83K^_:;[;amkRpj1UmJBb0@q<_ O6&֮H+^n@ǍFٔerg!uWjQ\;&*,@gIYsTaZGf0嶴s`:dRrϮ֟= MS6ɕj j1x2HlE +c,lOgڞ4!6&w4͑v\:hpJTm6$ڭ:{7EZMW$%Vϕi,UtnBij(b`ݛ3BBӂyC47{zshnUC9Zi2f[ *Po#wogk2-3%Fb;D q&x6"sCU ]4h2CK0u|45|AmGzl9l8>BF| CT-`2 GH#fB1->Re"<!k;d|2qsL&ejCa( C2d4dnem^1k,R`fqG #-1h| %<ELQ(@Lc05 \ED &&#8nD,,u"&όa(0, }q81Wg·D-ވZ a`c XW`ļ˔@h Hb#d?[I˲)#gu L{zAs (,sY*"d|scA X*-`~e0i,db)A@&!g̀&`֊iܱf+ }U)dC (,'"=$1]gƊjl2F3}e]}̠)x0 w_ YT5b)x, x8,SbVfaF,vG̕a,|v D&љLM2-%]& <̕< +X3xsoMC0yLfm,fX\3eK2 .ۮd8s'66J!: ,+g3#,=x0 -="ԇ;,"@, zp1qY`va1 ٱKH2d&'s{",%;HB츟PsTLE#F06[x&Y2100 ر6s@F3\hXᱳ!ѱZ+:pvLGl7d`e]p#O0eY^`#eÎlӝ`C]3ϓҘ=^biLe Y:0b.CĄ7T{2poD qZF;3Oa(Pkc!9*S-lO3#V +7QGco{R ob2Q6;3l'$40$LaW<]ĎeD0ȅgc`L[S<31.KA,Έa a`[`%Y,­c=X|k1z%=~.4&d\J-.#T>Bx(mw x)x0e.,ˢlP syqϒt[g=!{@=zxIv*1&˶H%́_0S++5">[Ҁ ~xAY&3dڹ,fyd:J!ˡx'[,8&.-/%!7x!f[,njSaK]‹X‹J.oׇ4~bVt,|3 <%w1C>S p4т$+L"7|,4gIY$3JZaL4h1mb>O {x$)OxZn'Ќ *U{]X ;-ŒLX ma9T~¤- nf& pYHfrmY(G)Ѝa˒ ,lË`v <ᅇLlz|Cq |z,6FL@E0_O|xB R>|4 _: A[xe*LW3%6J۔r XJܓ:CqY!8<n}<0[d^o?`1~x|؉'|>/Kvཤ(% s`d͢yl'o\nl }- .t{>|(LbMo#x7f f2]pm?V 4-VD_֔Mp)Rgp#xۛr0D~icޏ[ = a5xeD-zNW7:hTБ\Qn.ݧ푥R 3d T[ کYںHR W?L=;YmMƞߝ_VҌšYnͭ$".NyyCvEru[]QT&]1\]\ywtttU|g4/W"Kn'KvQX㺡aur\Īlo]6dI9 . ?rY.pbdl޷2-ڷLBykju4Se,[mu2x'U|j^N6Zd~~IERv;V_jC3%xr^-ߙX8-{,IaL"HҢq7[i,XLLTA-bk|2 V ۶ۣriz++IB-m:Ii%ߒ,ΰU2 h4((JNV?MD28]'kJ~u~o֨H;N,m.bi3yk❋ύ#'{X=oPKHWDOCg(gavel/dialects/tptp/antlr4/flattening.py]s]Jg:R3a(RA+ Iq= L4Z`БwxA@%LkooºB/vSomq}wy |c}zqQZwҤItW^bUIV$ 66sċIA6gKѧ;9ya-?ںIb=?*^Yh[*cև=2CI^x:o4 ҟT:{sb? =lӹ&//CZ(N*w yzEyHQhs2k*ɗ羻{)fV]z.m!k=ZKk?y}AAڮ`{/<s]^xf]^Zd5~V"qp*dW[6؏W^`zuFa b7xuxaeVkL~'zB{m7AUQ{_0eJI⾱A?,E2&JIawk Q Xewغ~ZI$Q,tϬ?+9΁p-)`!i^aXGE:BU66ߺ+w;zs s4ؾ.hQx)1IFY?cP8d+B]hF'eMnƆ0{<"*Oz̧7#v0_w}]M5D1ݭ?m^$>̦F {peRp]^ n/,w3 v.ft{;@@(x5*cpƏXf0!L˻ 3gH'rt0KSU3f`vK:fh~ଣ)G=Yh9-\Mo A1!\'ח&t:X O<&LVhC19p^'f1BM (V<7T#sk|ysM5 v{1QU>Q(({k4+殙m1_1HUi"@b-mQ4YC oX(tE 20Z. l8!/pm QЂ y{%NU1'Ξ%ОV4bt% Yu0|E/Z^de}-)[UP76 ;q77L?aLivw+.fW+i-Ze[grQ&YU!MC4S.dg]e9h6 iwI8|7Kv*tVށI.A4h猣̅QF0u[fFՂ1M?O5E5dBUCUMiOn:NwNKҩHSt* X C(t$Z+hW7jUh^rfJ?ʽrp][D%>jO2h-h#IZ|ƉUe M;0̓"IS5(X^F ((V?I5$*meΓx:$C۱+ALsQ6_.i8@]WA,% #}f﫝3{\jX`;f!ѸZ gmŻ11T] 'k0d@5 C  ) ?+p#i9nv)U׭6zP28-@1wj &+,iS*dZG$PGk꧴铕w\>$G7KamxS ~4NHQykV]\5NO!+3@E=@(22 E BS}q_)uzM+nJ=lAJ?FU(lϠL @1L?/7SUl塳J BVg~p@EcLUfp$rLjڧsi'W2xU{K`_`x#aN'pnS՜ 7HTI\Os_уiư4f}^ !:VMZU/&=/E:eW:\t+죴gxLw(׸c^}J! $l#r i4s+I7Z`h?~n]Z{%cG?؋^BO^XڕtًN/k[.ӎb8=.T꽽|G\Gqٍ=7h@Gplj¾os{AZ]z!$V^ͿȃȧuM,?Y6HAHiN $Dcb`tʓ-dllrFiR/<, ֠A6} !ɤG/h5E&;5vx=gfWg!;$D<չ~?By ? /-iI WYա̱`*̿(S9ni.wt7 XɊ\8 :#z:H̻&vQӥ=Arj% fXhG1A3z_mbPb>|3xD5\DeA±'K#v)zpf|o?836)qLHs".? x‹8p_ۘIbyhAWu T+)׭ΛXX98KXj6PWPotrtjXo؅̱*;V`~UPmr N[ԃW8UU nc*ajSǔmlī+Y7{弗}*'oV'$:+*ʐ(n22Lͅ&Y ޗ ^j^,`ԹWA:*^;{+ YQ#X{ 2_.} |7Ğj1-F-k#& F?+?=@oEBnд[nHQBu#{KR7ؒqu(FGp]"aT lםe.V'Y~1KE{oP2V? xi}s<{zL=!!(b_ӛ$92 H;ǩ$Y]vEP_RU~2&JQQotZmk:T*2\6|@Pz`LUN(hP;k$v MG?ہ>k} _)TN!ގځ1v;6`& Zaix(Xeyό{EEzQ5zHf+"ܴpUUv@W9'<>QLc$C\)c@ߕslboKr~=BP|NC kǚ*<,RPKd8/O8/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0.interp}ko-w;g㠋l6 O08|0&:ҵft$YұM2iZͮr^ {I_bzyn_.ᄎ|ww?|y?/[% ?Xh_m >oo왷/W /;}k;w{wO߁ӧ˗=bÃr}|~O͇5_?=kWwiYYe?`e_?~'>Ծih Ho_u7cOo'>~᧭MڗLO֏hW?.^-Voӏtwǻůo~x뇗}XG<3 v_=^] z}d~_~xo_߿\y|woq}]߿C}yw~}c|u1C~yr=y˟ۃ=<߾; x{}+7OW(^$-?><:W-mmU}^.o.~۫ppۯw6n^_6n?\\?Ble5>ïCUkwݯUu fg|3)><Ҽ;~|;粎ۛwO_w66(L^kՖu~or5˧o>ewH`ukZ{AV!u*|H~Jsl3׎1~w==~Ck>??\}rsSnBM7[hp;*Y88bO"<3Uگ 6AN};hOzK[8\f]+yl>i;om?s-fUYn;r؇Nt>=16H뺭yoX;DȇNl-Eq~fckŖe|6=O[ۤŻo}X:R'>`]\=_4--uqw1iHO$oVz=k?6k}ݴGV z߷p?udrwB֝ w\F ߧU{}lU􂆂k47mpj._.nM}hH_Paz=_4.֧|4V)oS]7_H{f+sb_ |}g|-be7D/\4wEMGQDyeB Q6DeDQ>DyIKbɕ$V򒔗$%)/IyIKR^򒔗$%)/IyIKV^򒕗d%U,KV^򒕗d%+/YyKV^򒕗&V^#FeT^FeT^Feda'Q^FeT^FeT^FeT^FeT^F(/Ey)KQ^R(/=]Vy)KQ^R(/EyIyIyIyIyIyHyIyIyIyKU^RT*/UyKU^RTfg*/UyKU^feV^feV^feV^feV^feV^feV^feV^felpQ^feV^eQ^eQ^eQ^eQ^):eQ^eQ^eQ^e3YgŽn( o( Ro( o( oȟ M8&&M"H6lB٤e&M2h6l٤ggJhdMbZ(Z(Z(Z(Z([("[(B[(b[([h6? oo pp  qq r$r, s4sm%B.B.B.B.B.B.B.B/B/B!/RL- BI/BY/Bi/By/B/B/B/B/B/2b  SpNY@8 D Sp.N@8 4+S' pb ©A87' p)B8G' ,!&d6ϔ?ǩB8W' l!.p)C8g' !6p©C8w'YL;%?` *5TGWۄЄFF@{>~nEu&[ٖ_Ie/oL9k}/,Y>ehg/N4'_ k h~9P)Jƅɝ?)$Xh{0{RHVR6RHςB 궠ddN Ri%V*h#*)d$̨N%/T%-I.]dx&dfZxFɓ,7xS[V&Fi ?Aϒ<|%Sx ?H),(yRL6,(_LʁL Ӥ(7OœdmРq89IQ2ͬu ʯ Ed}ނWJ2XZБc+H%2*6G2 RlS8M:VS4h+̲,+l(Dp IQR'2 J%F%-h))Jj[l 6WJXZ]'jXW_AfL̉t@o~=)Jfӑ,hdAGHQ2)$bR̕}͂IQ2`A'Ul:D0Q,h̆a( +HE $&s[ZPҪnR?O50kX RhU bPy),(O]AՓ ZRi {ś_A 2-'}Hy˂iR0,,%2% E 0YX*Y4 Uf.&- R_Al0h b)Jd(־ [6RX3|_")Jd0Flmay#EKoa'HHQ"ֶ*aĨ4-TJbWDĆF_ x!E`s y0lVRޓ0q{ sǗB*Ct-8}H >ѲB*b<9Z?CgG/Tl0x3 i!d-89-"6cTdq.˸?e|RIÖORIqoϤ>ZH%޶/T8Xtz*ZH%Kv BFH+)Ԓ̸e?RIuK߂/TҼUuddc●BF3OUۆ\]>N aK -Ƕbhi!]--8;::ZΎ.GJNete܂N U-NVGgG#lhi!]:_O "6ܶi%]7aQq{`ǟvZHǶm< &]>O l>`ڤʶ/f3l6netұ#-k6-uXXۂH xOst['.GJЁu,[;{ TMi!]EM[i%]%ƭ^f/>%DZHWd| vZHǬ_o3t ]>N *Y0*tn2i G+it -&"`]lR[ut}:] XUILvhm ujM="sհU}tUR2\d (u`1 bS FIPh:U+VrXDR+yҳU-@OU6f @s=[S+yj%O䩕<ÂFhݦ6JZS+yj%OX ]Vr,S+yj%OX9VJfJ][S+yy5wmp m51'k,ܔ*mpZ)ƻ?=949%Jl48eD%~ɜ2Z?6kqOº\d&U]etK]84f铋'{e.F~:=3~W `d;rmV/cf^a Oj룄=2/ {!뮹Ym kHwe%z;~[ ]ڈ[F-iGie+Yߡ%,+ g='>Agy+,u SBEA-!}',Gu ?\as']XaV^y؁) }JR>S*HKdX|V 3:Qxjgw:Yz;֐Awjqwy(rF(v1 ud3l%ԸOCw&3TaSP?>4zehH 0إA a cG T,\ w YuT-Ne1(=C!;-ƃaӎJf#ڊj#cy.L}ZchϙL. U0 Ηy|j2V T;bLȤNP :N%41Z]b֌Rwp@8S- K'3cINRvll(kvcʔ:ѽX#j覱"$pVc*1?>?Pmĥ MWXyQ PuTK 1j3+xHOv-U Љz­;NYAp銳vrVTJ,94t:-{*<8~xAә)ʃiti"؎XuME IPnc&I8}Eֆ:;I,"M'Ǎpl6E~dxu[.qhm*Q E}T7P ,H#C}ox*qĪw LJyq|w /jrZUN/M/SlۼiMeqJ9A柞v;=5J̟C:yYA߉J:X s&>̐ht #QLlcΰ2 ʙ(4M|v#)*`}>G ޞSݜ;~,}Hzg0ti%ueM^%Q4(`[#ԆdFS(NM($ qY K ,O."\q/s5\䟲UʚCY2XazZ<NP? +DMOfipUbxDCΙIQT1O| k[5MvtqOj)Ζ `2ftN]zQD;܊Xzh*g̝]TH+8<tF!s3z8>8MMf/6#UIRW?p:{C#7d yR6zi"{uu90ݠ̺7L j% M8w`,>Y0c :AhG:QWj>VV4CB.smPYUL3;>34qٮb#CB4h8>r|U7$NmN4wnuBcgxZ;Zi3?Az"ñ4Yk_1$4JKgRi0!g{ VԅC i8̤i79MU/Po݅T ;xM0JZP^n 8!<[Ryku6N{Vo' [{:մ:v i@{ӵ7:VposP_+=\ Eb#N"BM?űu3Fqw!TλP į+evZ$;|}.rĢzp;ޢP\)@{c4,~_y"D@GwbV]υNMD}-qT_@~>tŃM.J0 C Vb@az ;A}WRě/\WX7-cqa VWzѩ/Uv/&#r0#"mM5ׂrW矍Tr>YJɫ/ŮgFI *ht,o{:=iMxvѧ=m [xE lhbi[ CMw9 e36 +ICU& yc <# 2cHCly(Lx=<~T=TE+a27q $95YM & B)O̥J'7-, *o E}=*:}f@Q"-ZipN=jvd#, {e+S s2x,kyRAR`Y:^P)n8Q_8 HrTB&du8ؼ?pe_bey<Q5W I8shn"|Sgg;/p`X|:kjQߑ,df>gF:ߢMix= @'u~\c!8˄Ͷm?*n;<*Txz28>JZ. gvÞ8<Dr|d LV&596eKCfE=Q]2r K-KFʎ6U+>^\}kéE_8mvh[ys Xh'N7na2po^JE}{S}bHe[pm^B~΃m t' ܦGbfkcI:4%kwZ?ShUC!ͧ^/'Zvrpps,ŌOVJ9})?&f^>bz2Ila] ̥{v2[VP S`- TA2qd\ƑH/Ң8b:C(mtgjO:oO𢈺Q&rA%gWc⡿åEJ 6\~Zo+Mnu7 pBxR:#y.klO @mvz^+gPrcG:]B}&~Q}K&kʎ:C➔pۘY;+̈ſ-}P6j` w '#q2XP/q=m%7ZL#P-LfZܨ \=fJKc•{^npP-hx lE<l+(2Qm}4*m!E .t6qyb#JۂZ/ DEB< $SO7 ́6]?h¼-qQ)Txqb^:)y{LMqoSAobvٶZ?I9ԗ$] ͛1şYqtٟk#4ng"nO6o5~\Xx#zx|.m7-Zg}Dp_p20(t=P .zN]onQT G uhWDz:l[# %7ZbarՄwWdW7,v[f N 3z^o{犊 i7cY] *gE>.'[ЉPͣQW/z+>O6EHЋե wx}$]5 b/Њ䳁^586V-CZLX,4fUt2C~#E`W'(Jg8rfaEUTaAN# 2Y~K%^C.QTe091m]z[LQ@qSU@(t :;6-]1g=D"s3T-\:.^yk0XTj'0t)l%ɖ.U]}`? azLvl(aS- l*ݗv6S*Lev,1)hGcz2 [\HpФl{ ]BTKݏD [ٲtL̖) G5h֣-V̱)rI0 ˖+[xhD刷vE[=? ­e =X@PV 0RH2;dxZ2 u,HP3:iXX.j1ʍCXq/Da rZDbBy2dx)LAd^_:UWfGNe}|VAa͊*C8LSv'UHGiЇ/@$#ce H2O/ ha.$|wkhs6t4O5v veV){tl냽N}a=4KZLa{$ d?&I湏KPIfyU'pM؈%`E;0 ^ 8hcG[K7I[ +r|4=Ps[6ZF sWzr-n['XTbю86 N A2DC!dTzA9;kX9R`QA.G<*TD:EGU`ש UC< [⡥I0e}n3%)6ޮdq&A:)5kZ6 a0w-,[l^o;4L;-]G>?Z1oͳvu8G\]U0ag;Qot4õbt}]ݪN=%ogr>R^Ծ&X*Ia3 ΍CX~<Qr͆N)#ue5Xf|z>1GW>N.+s#g .6wzE&J]ȃ W/U(Fæ-K/Y7$ltvdPM4kjj*'ה|.]6V7 VFԋ]7;R 88RDF;ޑTJhZu_Hr7I+93Scb! la!E!j.R=Cw9V2,]~TP'-@'/:rd=: CC@>qu U[u5 kOꃒ.}Kc^ͨ*M_>\ `ý~2[`z"3(`p"5v߳OZ2Kbܓu#h:η$8xRV(D.]6GC08Ϻ7-SRnFզL\b:;~Q>@;"Fׂ@"~MR4i0{@HԽW%4vHϽuGT Ojt3 )v^c *v:w(9;(@Xva /)1 @әh*_c;|_PI.P)voW_Џ!Œ o^RLGńho¥=c.1sqfA崚:ÃH^^RNpϦq_ u&8b.@mfm𰅡̻i!bnj )A "g5.h=[PH̍АKC4.f3^[0`?bti$hOE:+&la&>} Cṛe=/Ub%4KHc03ll8X<Ã[s UxQfS޹55a4g]]fJ-L#C!x3(Tnp whR6k.g+J$fmBByf~@9l5 @y柬pP&lPzڧ%󙔏dr}}t;{!3OqLoL&ZDZ Т';Ala}.Ns|.@~v<LChx@gx8Gc9Ol%rvL&Sg.Uk uWzǦPLT) c?h)6L& 'ou"cnCF=2:ŽQ$lO7p~&S:Mj=EuUVڰ?Ytg41h)@9}_L&K<>>| <5.`j3XRD/ 'd؄fnB-5&ȦҦaQMS/ ܵc33Bo ]ܘ*.K==A:hx RJ^@ o֫y*I݈q.=pV V.}=^@ @ 3^ 7v7$ B/`|;R87E2}mJ+ҳ:o=M=.gjyg䷞3A# zpC ^0'qgQ7cnZLVNs-'\bA5vǪ):ͻ|x?PKd8/Ow[3/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0.tokensMnF - eO.4 ZAfmZIfkoKR^q3,X Ea!ƄC)3rԑgiԂE-8P PǨ)j uF&B#dC3C4B6C#dI٤hl24B69Z!F+dK/uhlcB Z!mV6G'd :ލ蜺jt\%r=RJea5WqK5c~Dzm_[icejmE+ZS498$RW.1}T^ab?Uc3Mw(aF.T]LSs׭}08&#zn&L܆ .Ԩߨ_4V}eS7Tb4VPHԇGuIAN₿#f,w4C5fV&4^4li;>yXVrYYao4?-C5ߏsڶ~1KZF}dV]/k}'&EUoUB8{XG>lqYW#{syw6/9L=Ulڊ`]MV?ŗbH̓ŋ{ǗWt9~󜞏_1KO=}^D")Ο4~˟cg#nno7{~8_5ovq<9?0Ի._ oO$_|u/_^?c]ޕzW])3oNOW\>5]~;ЅP'o~CO}t enH D~x?h\Wvͳ'ϟ>yt{ruzxr=8yr8~{8/}=?>y~fũ/Q=~uuw ݧ/zv)v oz7/7wNjvO:~rN v|Jaq{z7wп$'kOn-<. )wWǫܟ?8߿zy!5%}t8.zOّp}}q{Y6xr/kOnޟd[燯cyݧZ?<@Oz]]<]]"]]2] ]fT$,!C6|r:du#G^y=z7 o`7 o@ހyF/95ŧ VU۫\/t]RBono~/O>o33 g-cm݄;"㎿Xc!8ca8c$q8g,x))g,xg,xg,xg,K`,K`,K`,K`,bKd,DKd,Qڈ4Kd,DKd,D0XcI%1XcI%1XXi%1XcI%1XcI%3X2cɌ%3X2cɌ%3X2c1X2cɌ%3X2c)0X c)0X c)0X c)HoX c)0Xf23̌ef,3cXf23̌ef,3c,E cX*c2X*c2X)1u2X*c2XX:1u5c'ns7Mb&1yؼI$Vo7ݛMb&1}ؾI$o7Y\kk}핆+V$HZƤ1H ~Z"'v$I?#s01q?##'IHˑV$NoL$1oL&IZe.$&I%*+2HIVĭ_#$ 1WqEҊאE-Ri-W$lE+RVd"uiE܊אEkH"yH<[EkH\Hb{H^HbəB6yUdrB^[8BgWn ILr\U\HaJ E`I^O|i!IN e)HѤ0 "2 "7/$1E긽F\|iLҹ1ߐN\}CP}j(Zi 'L}rN2&%oA&f&,7a AfYhi Ovqy{;-VHsFRHZFԾRWj އH۠:7⧥SHIj2o ryR4%,(' y\2 r0qt L,Ӭ<["A?X| $òAdܔae+226x$%'q$/1#QBBg#vz6fb<n}Kb"ҰKQ&ؔe0aQ`oQQ8In%娈ȻqT6TfB4y+􇅍G2ޱRRv)Tގ>HPɻWp$0 \p\G9 d-M|f9;2,XъV|dŧzlg+>[يV|_6_يي7 a;l#Fp}mt +Fpmt 3Fp}mt;FpmtCFq}mtKF7qmtSFWq}mt[FwqmtcFq[}fFFFF06FicȘ71hlsF?os9~Ncus2c"{!\Swt_"|>d`} nAN놌 Ѭcv-Jbޤ.&Q*l31mR]IW,60M:PY5Ԅ;IX3CZwStvLTvLpJwlIc "h0)L b^⼥q gmOIS4$מIbsH;綵i@|Phu.F?u!o+MR3_VOb7E'늤G'ǽIX7=5-14מdL=|m?q$z!=陬 FO>O:mFTih^i)B萖PΘL~ ue1X76Ӻu ǗTi)X.\B_Cl|-Q .:| X]WXT sS蚙1%ff\8-paĘICd蚜1y,4$&d$icaz]X; ABzEMP:5/+MuYmoDjz#s-09L  m r2e#'Lƾ&34 mMnԈ'ϲ^;j9d4U87 .h0r 哦.kpi*>Рb4b&>Ǧj|R5Vtm~]4u_A]A?+4?h(wY]NHok>_@CnZ;tޔB8 `|7']6ёf3ʀl Q+`JZ&q,k{H6 Q1*XdS, tmޑғ벓3Ͷb={Mlm?eHM3Xj!YUϞN֦j/v8V; T`''u?U]S"lTmF̪#[1M`I7apt0,OϥΑV)2=z+NFWdV⤛08:X}lR?Wб_JcrRYUqeYR IC'5YP.Rjp-H4@YrO[$Xћ Vٴ^<^{84e|EREhؤ^$՘4*R‘̃=6IܩQiy&Iz;rxSyHL35/;0֓$4ʠv*(^&$ 8I@c78 (FEGjA*;JQnʼn$N;v)jTa Xþr Nj q cSP?q~GJ*ULGtqQ<~,<$Muu]%+ <:'K|+3;Dx{֜>o6-jdp Γ$Ri,ˡؒ!SPή'ɴ\=~$@@0υ^Kύ7ɂe  6AM𬞔BdCZmmqUof?<`$Sy$i8^ai=$%%pTY*6x_jT9ZXt^c31$61ᠱ/Cd6# pvW h%6f}C ck.tK&<:2^R,?˵*c,6)c@d6A'p̪cnT[؊]*1"kF`v /_B@ÂD=FkpsF!7:F#W& 8p1%ӏ&8Ÿ+ǾHm$flK~i!PKd8/OEކ|0gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Lexer.py}ic{>E$a\+*- -&9B6_)'5˽6'{{k{8(.y>隭ME2J(R^E") J.I"MD.<7KY-F\U+%HvO(X]cuM5Q4*-յĺ֟| 2۪V]:R8c)o>GpFAn\Bqh&qhpx pxJOFA"xvώv<%DSd)KPώ*ېKVO R\E)7R}+oP/I%-)e-e]HqUvW&kRjG벻~Hhq-N 8'D=~HA8 Xe"]&E.\d7ewS[%mݖHqWvwؕݮ{)[ew_{ C=I~K~'$œ'R,ؓݞOeTg{&/E{. ٽ^J*eZ7{#ůUdw)9:NJNvde/Xvc)R+PSSJvj)5R نx@{/Dv)>eQCJq$#e1 hq/^_W_K.cѐA^DY6Cג,H]VfBAɄb%˲032=Cf%cAf[q/ 3)M03R! 3(3dafȓYXQ.Rh)Ο-/}C^2/]lt 7-oNѩ.N[$-g˶O˧eWOk})ʢ*pO*!2f2n(h!,L9ģB{\7OgIn ;LY鲛C5ۘ v1- t!=CL00T!HOCz21aZK< /I/!/A I$Oѫ! * bj9U!~ŲHR;TNըS!) z'w2~3& ܇#&}+W@Ùr"C2x"ا?T)-,Ot9BzRwPjTՐjH^CBmxjZj5Cj)R-d{j8U U{H{Dr^YW5U*ZHPӉO8 }$U&PU5\B2Zi RSqRzH5Pe{4\)CRaȦWd{h:P-geB,9S\'ܦu-[^$Cm^8ɍmMU'Qx[WB]V`9Zlmqʨ&Z w{\|o_.kIVw%/$$o$?|z|RœBY:*VL,Fx t ,Kz/-RK{.9KXKz/R?K\ /n?ba^'xK)^gp)/x p{ /K/¥b%w,%U;xxiK ,gw¸KZE@Xo! .^_M"eJk׮ Y'+_ KA~O51i``xmn\;^68zqcrܳ9%|s?y*" FOB9Ey{{}ݶW6$u"PB[P$TdrX-{{g]w-={>׵'K}jo/mX,{ٺҞۅlo[OG, ^؃u:ԯ V%*gɚ봨A^-Oܓ5$[…'kE“d-ʳVx]x,^o'kEғl"[vZyVkm~w{'kUI6kOړzQ*k+kpF6;5#S+EC[ d!#l̐o+ km,f#Y)"51bHf AKs.טH?ό2# oVz)W4X wlo'N[/֍1ZbvM7֊> XBwja5*f>@Ќ>XGHd:VZ!XJ*@XK0/Hda97`i[!nL PpGk;v&F02UhͫsDFOu` $2R|F4+\D)b̘)ct/xƍh)+";2GY},qB1ZS[(R->˱vjc EpW/>CXP\-~[[hS>+g0q-L}V` g”98VP[:#%3Kla.}Vb sc-̝~jl [;cjXh(*JgґV>g5v}-,ޖdA-ZsUs\GC`AҙI<@Ow !NG2bPV6(u THgr7cNHyh. 3 (܉mrpiؔTISQ& H2r4n LQ:ahQS-#rHri#ZF@GVP3m !J9QD6#[ ejQWɠP-mh@ꢲwF1 PdzܣCH7Ouj'v>AP< f\Kؠ 5Դg7UҒV-Z)ΣaS7O G(IR:RJ&ufD}x&9QrZIoCJKڪ6)j$ 6v<L@(Q+YкUaʨ,΃͈۸,Lܥ M]-*^nLieaP,hLv0 *,j%+ bmj&k(;L0lO:hɩmgBsjpJ+'%6cyp 6G)i;nZYoy+UbHU Ko捅AVUTXLUQaVyVz j֣la5'˩ZteVjUIV'T$TgT2JMmqXmV UMץa51g T7T2HM5ma ݫnP+ ma5tϭA41aMЮ֤T2JC@$C=5 5P`X5Af gOC}6 0Q@""ꩍdgqa7(# <Ţl).x aڄJRP96iϖ>$ٮ/D~2}$d(?ж߫pX:1l>\h  /b u*b z$oe H~8Ÿ3i ҸT 4e6/h!!xyiQRekdžS@_uFjofCBtb!3 ej1x.5(~L8ə1eVYYJGCdr: %o !$ˀGu U$y0Oбh/a|~\/ :f0pO6js>q,) q&J=+TƉ5:ӵoMG;1#>S !G~9 -^(5!ԇ!Fɝ&V凊Rrga쉋zG++20"5ʝ'PE" J 6` 'w0ukQpCVFA\LK g TPsfcl9yUPFZП+*=s ,Q `jo)W#T]P=ΰjWzOJpҠ3?eeGO:zܣ3 z6T9Q =>,\RztsZk{ґߟE 'm7OLOG@24(Tu3pЇEO0q=1KKgvls3DW/5uڳӞŅ7gc܍'3>{+tNk_QeH4GDZK#k/6<4}"a,L%kg&0R]ǭ??17*9Q=RU,z0Rvm;˞ H d\~mQi"UQ٣+++Gμ/P TF뛪?L=1>ȕgCFI0Z_wS>?è!w;8|;T~p,zc9G 1Dj9FG3o82 #<qtuFuUi#/"# ;䮋=$G;CgB'u{b|Tdǀ%/jsSPBcGhxrV@UM_)1+ut&zzU[:(W2r)1w1QuBt,:zN k¯E"-,zzk\1׿zJޗQ+W^fAs{@a(~*~cV}JZg]JgnbؔWZ_!]6_;cL'1ыj{տ]򞚲C%WU?;(`HW] nYۅaT@=Imۇ5Ǟ+8WFO( !Z+#8$rem/T[FsCizZ?d1 2#9 1r֚z 7±ѹbGhE Kr6N&Y[Q0 ^q>C6xM%#SYkil 1UǮm'BW7ڃ\J j_Vdֆס`tplm;w:,NN Ioa}r(ƭݗ{̷wj nyY7d2Ud{7&W7꓍t._gRO꽜nfr<)&lpD)@ P@<H@l2CG(`F r0#I,@fa 31ČP F*Rq#ǾRq#THA*n 7Rq8HōTTH"*2RE34*2RE Ud@HT*"#UREFF*R #JTBKtZi qy|t|Peo${3`k9 @ p6/͎JUcy DZcл''Q3Kл3Zbe4S-Hji_,q3&>Rjgj7tWe}4x#'.Z&iL&ǁ"栁d#dbAJxyfMf'ng3ml7v^T221$7nY|y6 32WǍf?}&AӃfi1H֪>VxV~h*\7 m|&޸1׍pV}\tG ŷzrO~{db?yG1L0P9ޜyo|z7Zxu\u޷^r s1TS.߹ ސ:l:c?~omͿQ=lm@FDo|KM%̧ףrvWQpQR1{xzD^<=$so].‡o==_<ރ=vyW.w^>|aO,zzyӅ]3{kG٤:9}:)DT~[L!x-(h}FF穞xlYi>{t))FcX<@O>'x\AW:ijxǷ]: #Iюe<3]ţӵtmJ@g(\Bn|eeYi˄:{.mNKR:xxuz /F)G]C7_6K8ynd{#AEaa/^L'b(꫺NM;7uuټ'6*^dزG$8g ^1r+ƔPKd8/Ow[34gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Lexer.tokensMnF - eO.4 ZAfmZIfkoKR^q3,X Ea!ƄC)3rԑgiԂE-8P PǨ)j uF&B#dC3C4B6C#dI٤hl24B69Z!F+dK/uhlcB Z!mV6G'd :ލ蜺jt\%r=RJea5WqK5c~Dzm_[icejmE+ZS498$RW.1}T^ab?Uc3Mw(aF.T]LSs׭}08&#zn&L܆ .Ԩߨ_4V}eS7Tb4VPHԇGuIAN₿#f,w4C5fV&4^4li;>yXVrYYao4?-C5ߏsڶ~1KZF}dV]/k}'&EUoUeO~nꗺ-ԫᳲkta*ߟ}ծ}d97]c ju&Ԭm0D lQlmVMwO.%;buG] ,FtPsnJS=)Ӓ%;i>av<~_J/ ]E)в|mAL9 e% R_))/A yܥ`Z2(t-ˆr$`ι( ӵռu[K R\WM}+Y*xz6LfS= !UL5>Yb4T5N*2;L}yT41F ,oMo;l d AhpV'>5h>NZGk{9Ɩ9wJk"he6'ϸ1cX'o$R)]VLklgCP{$gأuQ_$LK]RHbB)p\umUVë))9,)pT^^$y =:6g "Ȳu{b} `cXbNPy{ME뙑Pb K-Ml /֋F oBՍ^DUn- T2@`a6<>*r;?H1nb5x>*1hZU%fq\cO(SqkIu-TJB Z>U}{Z:%X'M1'!UvF=D( ը4>ȅ$?N/NnGgtBPs R^uz#DepD+WwWXwIʞ D~8d9_?F$BYbrEtpOOأc7-FF!Mq} aKF0oɁn7cZ;vs$F@+ j<;9 =-fMy fgGzV՟9aus Uie>N1uFJ*UAy=2F4c|ֳ_NAZ ƫ+uz67e6EᅡmceH-#Uݜ@5wA#hRd9Z!Ix2m{ ,v?X h̞y(3$:O! Q0Lc!~iYT_4YYV0zHۢADafb f"k:4BtZ92A ='*UA2E=$ʴ%z{/Uk`4-R} d'Yj(Fqskcw{Py{ME뙑Pt-{z3kh^Mٌm7@tmq4*lwtH'fSXOgC%#eLX[bJkpe\m-1{q/Xacr^8$CfS(0)\3dž=L @}$5Gg顎7jlS:7Lnx?dV.Q5Ə)n K!7>ɱIbѲp(]P!~.X4bs.8܆goh7X4܎:z˷暻|e x2TAHhYc@5w4*u_u͜OHS:fZ_^'21j7yg88%)& TQtP)QOѷIo20N]Vkq]t#WK-_b Qqa dN&vI n K'WC63$D6eC"\E+ojh d8<Lo79UؾouG] p&evӦ-Lnus"V0Xnu[[Ck(Hc& /DHq1?atk[E0]q+%D斐.;E[3Hbj{48̽BsE^cwnϊ$3i,P"y֩Ġu14Epg!̱&zpD+WMk,-򬚲!n)zSAWC8R[9Ff*\N;gh08^O]X(rÈtTʄ$7doz3DžgqGluSQͩ5'G"skř>K5U9GѮq"mU pҺĆ tץ6YBknEi2<~]Z ػ&{*mo c$ NZ"8%fפ?6LIMkx20ZQEǛ!QytfKWGf=uFV}s vU|ڶ?hXPbI^ee-A/jh3Gך)vGQQm2(1|LFL6 '3Λu%P}(ȉ@xGPah=~A"wN?PKd8/OM6K1gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Parser.py=ܴW, ږu -@KKnL{{!PȒqwll,Fhuɷuh6۳ыh)-?_٢^Ŷy{vqktA_l7OU3u~R܊H'F^fq^ow>xm!=>p߹Ex[y#x*< bD"H*`ARfQQ'E삧1ˢVT8^e, ';o&św,ޱx'8pBx;hӈF72&v 2@f(¥$q)/%ݡ!P(E eBYP\BK$sd.Q,yG2 *M.D2H\"Kd/[2^-lm{=۾1gg{3۾g۟g-+U[".cw흌Ͷw3lˌ**cml{_aElk޲bYX8%ecYX8%dzt!Y۱,xU}/Ͷid(o2N}'cfw3lی..ce20>}m?#G0~G}}mccmO' ן38>اӌ}m?d}mؓl$c_f/3 W:~dۿdf[LT\gۿgV<ʶGgglgL M12l[fʶUl[gL H1fۧ.\ϲg++cζI=lRk;N~cX)іbmX)v=#zM^Kvbm~cXi k;N[}cXnU,BamX95z륌αs{qcޫsk;^cXy k;αs9kzαs{qZ`.@AamXvz-^ WUPXv]`/.^ b k. kZz. {qZ`k.K%kZz.K{qZb.FTAamX%vz-^KWUPCK+Z_# W[3\ "Q#DqZ*Ӌ8'beW _t qjo\ -@mqO-8p|._ ,8qOj$@%c7?.tH'C{$!tpJ% #{ d(!U2GgmvCYa" D1ZB(XQG"]6iZDd+ڠڊe1}Qo#2ZA&#XH)@%}އgF #/Os30ݷ"oZY.T\Cd%?v@CВr$ 쐘uϮYߛ.I END?L&Gy~wK_J'[@ e=gGA$dJƬe=7JL eJogˎ4~֯eZԇ ȇl*1$1Գ* zp VaÈnVL{pXFK@,$<xHÅ*Nqte%+ t5.1!T)*NJ$@b_Y㒗XAIfVzNLwdz&;YW}{HwPԽ]㿓09{{?Q 2gQkdTt-G*GYHTPQiCt% ?ܸ@'?{ E| P̸BDQT!"R}l%P."ۏRQ%>4qAL)'2Jȸkg9?YgQ\-[Nzl92Ч3ˏs >'?R D|~᪮/ ~ |b'ЗKL_f͗Է`VeW5|m%_K4ZU߉@ _&>WBgWRq?78\2?(&wwdL0kw$bnOgGA$)f?EoY;">~vTDˤ*;sǟK\%>u'ft 3FZ 772M.Y_2[of#*vbds2\o!е@ ώJ/d_-o!Jd K?REߑ=U}{SYenQ"?S@ QK~|)ֳ_}y/J)>?j-~=Ɏ=\oRA4aPS#7Wzqiw[CNwn]# c]{s|r: nݛ[uN*Vӥwؾ}x3͍[N{s|rsזߚIwz{)sBrļ;}x}"=β{s|K0l&ioo)Mx7ۋIRceʗ%|;_bͪh-szRh]vUofyR1g-ͷo%cQ AZ|'KW 9E^y oǑ|{K AAZ|KYxW[-(-*۷W# ֡2D5I*ڹCsloo׺;[-bktA w8vo{@-(pb]|s| u8^l&t2bkV#}{;kywxyFBHp"b ΢{s|K0N9N)ooA]$\ķw([PzPQsLT5l^p)$q\\o!].7D]w*whck-j!zg2r9ND~\lN-q Q2wKLz4&Zap-$MljR;l;/k[4aQ.E``#-#%}87E=8;qzo{G'?Wk㟅} jd}پxR"U"P0)#Rq c/PHU҆d/9@FYrS=`)Z X"/pqRKil{Xn ,` mGKX*R Ԁ,5Z XjR4Ϲ+KX%X. &K+xW`Y%,` KݿX (KXB5t ,`D cV|D+sX`aX`+wX8`စ9!!WX`^m1`KX@`V OsFsFsFsFrf`X``Ĝ*+w{䁫wYl;?z$6r^RGeNJU'~`Y?(kԷ>Ԭd VAA, Pà, JƂ?(Es]ujh4+wm)0ȯҁ'Q-*Y^ˮ7g_gb_Z;(jL,~b.?!6V}Qn]A *;4Ԙ|i&]V~:gWcY#L;gYkL@OY@Xtg$_gmyX%],7úC,a@|vϮȱe[ga|vOೣYQ :*iuO/ B0F{h;yXۼye8#H|FNͼ sqChE!s+H\4WWֲQJJ [0(y'}I %,Hb8( Eq&JH8%3d6T6$ Jy|uPˆ <4BkERYA1t3@㌴bM>8#%Egk@B ) HA|B<93 yLIi@-J0V 0e0(3P% r:!)P q͟8Y%:u/(F(aAz.\ Y /I=rI>&O0^ 9'P;8STSb\"OO!X7HMB0X)@ T3RrJ^e}z<xL_!*ZJmYA#W.NT%h!_9Tx$ViQn-$dW<vt Z=匾 }kwTt^Q5[䄤A_:+Sw΋S7EYAMX:D]*-~v:0 :6TALg3jZiTyzzDc4id3&eLA9=P.M״Cи ,@7ρ&Jh8hF* /D<*NKX2tlk4<YDkS{txV<]} GQ9k_b!ÌhDe)WZ|!myOmGobH܆sZ%̯ }KIr4rp-dB)YVaCJuT4i!sKXAJ P φt@Ta3б3hM0Q yGN*aª x!dd #]AV,?M p#t taPe@V_Y@CKwvTZ .!Tnѿ$,||F p2Nj"z:8-HYR#VJA{'aX虨6YB*KjQasWTK7gWCcYaZT&zb;p|/Tfbr_yLA|ꅆ%v8Pe T <¾KKL5mJ01~||m{cH؆2sxk$ߴ$3hLo Ioӥo]1jT{N ؒ;lmSh"$YyX6$g*}y^a :\ !I}Cwq`|E̠# xefd#)Y(,duR~]LK#=hV);Bn*&Mt:hX.[M:cZvRTM]!.= Dg8e>3Dљ'oaHP9<>[6L>0c* &OXߑ pzqe\ IƹL•HN SajS7ӭW8:Ua / P1($[1gVgH{aCu 3eH:9 BZ LIQ T 5 ,Ml!I7MwOwy}"P)0tM '` d!:M3'l! b#Vڽ$ VV+}marG4=tUNC'[gFZzZI~3=SȊ("V0u^30 7_+#P0 ?)LRi!X-/2!I' +s VJ XFR6ҌXZx- 9֊`: uTa:E5E-IL<O7^ =\41ߣwV oC C6䳻:!X Wn@h:$:S:R BBS֌hx`?l},  I_! 6u$SuOL-1(X `)WfI<0SFXq0w1~5a͚Dz͎[Hކ ϣ!v=`'6)=ץDS&H +ڰ cG?!p*>:m $&3xNGMgR̲< O13mAlƷ9EOIBuۉQhO'F`[6x#8-S%qQK{7NU} C*R1F zX|tʈ`? LAž@=]KS'N0-)4kuoF"zY#Hh~H~ɧ5/v Pt1*㤂 :lG}}mQ#5`K>-N{z=A;nWiX7ӈՃrK^ڲzJNՖ0,q.> x:(.ZQ^D?`hlBJ@E1%3"lGIl44w͙@t Sh%(pT'1ߌ`^]LӇ܈1Tݡ - ho3aӗE%5YGM[vlmCMH@n ?[ZAhp%C9CW.yХ6_as+:G`hްw w&us=w3#ly<3V);qC6兔J@X{v#k XyK`oẄ́rCOVܒvOSqઞ.Wys38ШJseGgȷwؤaiuL_rpRʑ_ WY?`|$-?SS.{OhK8庝E4M'Fn`#>"ςȳ=sV+2a=*$a 0"ѢB=ۉ)n!a\OfK>cenv|TGɫ SHإ:YN721?cGWd,|T6bj I?喞Ntm9OkO}{ycJ³~~Tvr?R IKn|#}\!8Q@M5ƩPyEP?*^aSӆLGr ~#*b&ffT1[zD "p UŪ8RxIyj % EL rK0h_T_HU^܄Bba鄦Xzjzj7p͊z54jz& "s}:3 L XD5.&y:Mx 04NV[ s;a|-Q'K $mð `2$"0S}9ah\VNk vn~ˀ@aLCBYUp]9] u_M)w4+Spqw:"MEV_b0t)I^R'jTX’ P!%zjPc[2B Rw[&=6F (`d?KwtBrZ8 زO}y@f BT2+| Ry7Leݛ2ت`n J4~@*/PmY| *F^{T@bcqF\615`S@6~} K,v,h#\/zp1੘4DdI(X5sWTEJS0,`BHZWrB}efyNV7 L!a5X=szX 6 ,$3Z݅ OIҝj8faJ_"pt)˂Ik`!n>cp2+BL: aꎵq=>+va#_#Db0O)@R06J&e?,7C 62EQD`urcpFG'BȈ,?ZEF,)HsTœGe\cAvSOe10j34l6=wĕ:kFL-D0(L#ڝ)ci&oи,7sz:u94:+J,(cn|qy0iIg[!Ij>sQ a`;  m̐ 1h``8T, &LAI PwaqxsKIxI8`qvб␰ zF][ 4#(VJ[ =X]Md`3bAs^p@Zv,GdU%[vztS r [ͤ (XB+J0 X~\zӂ%Ѵ2vayIOv顇$vY^#)KK΃lZ#p 1ށdc-cޑ+*j54+_ܐ`oRePfKrbӅOeV&rJS\CrB7B u܀ 1T>3[KrLa[aMiJ{ u06VUI=H0`J_-Pҩ U73 l5 a7~RumPPzTnV NNGf 8:11gW)rfTm܅N`Dn" Fvf8PX4 I^MZă庛nul 7 9D]]Ig`i"jni' 9X>ԥ5E;Bs#Z] pD`4T"0GJbX@<ԑ%lpeM)0*aEa 6 +1t8NݳYL`Ff08Y1ug} B?<r00%a0ujrl| %:L]J %iB,JdUB\ͧEozUe i֦@c`MªZ_-wiVE^3r^4@!0=  LErЍpu -0 aӤ j4;^V!0&]5>Ȳ?5x &X_?ERCxtKO "ou4deCe3#.'-.MC;]Hh}o&Mfed~;F\^aS 1``š<+~h`EYeoKn`!<󘂰F}Q /qYis)cIS \mo*;M7tHu 9h L_ʎAC&%ڰq-$-3RV+(\+STB ?B$ 7 s?kk`Û:4ъLxx2Moť`/"`Kkc׉ eh WKEODbġ+7LGc`#qa$S~ :RLw% ң. ƅvr|o =sϾS &W'=ՙE<ѧB?GN eǕu6Y2'}FuʈI#)eܢߕ݁UgLjkEZR(M[&JBjIUK>Ln+^lրi}\wkI~~؞mώ^$GKgQ^O7q^x$ Z>|Q-' lwW*w]G=H&^w{㻋t8Ex^orQ"m'_lEݿ+tM]}p/3Ig" h=Rp"*x{㝏{}[۳;o{}} A4CS3\!]7w~ e4A370# 25tPKIZCf74znNVlg;m6u=b@3 8TF b|]{tLr.O.AC.G9ʬ/;k|hhdÏ׍oF~Ƨw3i|`~`~gr#(A;0rtzxxx큟nJi=>ЏO 9t~t*XNzT8u<:^\r030G>C>ɟU|Ml*Ty&Er|xvF>ϏkR7o.䂔鋋bY}$G:'HXWG#=s`X8,Q=KǂZo,1&K#!^Jp$*XJ-DGS D4q5Rw:gFnt+1 R#D+\RB-qsL;Qh*%Q/q^As"gxeT+e0J`TN`⚋uRkZy^mL-qձeQ[BF䛧rDEiGl t2cLP>9j{f߂FNbQMEZ1MvF=<ۜV]d8tEu.Q2Ƭ*>̨vccd^zOs 1G=ӫ 3%_|+ZtRBV.:dF9s;1[P s=^F7$'?LZ :4WƆ`eԛ1qj#JRV11'YGŴƘ%wi`4Bt&]h$RNc]Sk 2tefcdb1 Q)-XuxvmpFMae@FvHYdv@UШηs[ֱ0ȃĞ_K}k.ڨv}0Q]"f[0ƹ@0QM]QA #Ah;{ R8ӚV(dTu|tYBF6%D_7A2Ҍ%\``̀b %xe9~  c,"QZugA#V0?Z5($2\D6WH ȶ;Ui I4ю6J5\]Xu?ennN@O:._ r7alR3\JZ:tn.(R鑘CEduSCixÀJ.6*CFeĥVX:ï h\{[7FГFVx]N@O4@p 7ĭnթmqVFcmDt&Um'JLHQ| 4m#5zgv> N< {8;TAtfG6P F 1E7vuf-{S3i q^jt z 5=0Xt G|IR.CkT-۵֡1lܟRCqPS눻8qBݭm-Rf F}-̈́\(ꡆ4f) 0T<}-LA:XQj sBw\ ^jo]wҨ.X، uzlWC:UGTJ!QmPI6Tup4"ԖƗI9Ӣ~F-њ^:ҲF ?h}hhmGh-GhmGh[/Z[c/Zb,Z{bZ#]t62W'"Xt3\t3Zt-:s_}=L\-:].: ]Y|IUQB# ;BIUQJŽPRvT*TU* %UQGU$:"IUQA&:"IUQIHRuTE*TEUuT1Ib*Q$UTõNMCџEg1(R䱟Eg6dqUYtOQYtaEgiYtƙϢ31(JC>= -oU{egљNEg,iYtZĢTzMóEgYtpg7<ΎQYt&AEgH,zLKpWR;³EowwhYtv;,:Bzlgv-!Yt恝Eg6hYt6aEg3YtAEg8P΢#Gr`b\o6jb+z{Ӌ ǟbDݒy~qn$:M;/忿7+ĝ7@b'8,<߁T|*0pqCdI`r>=OUrET.DR -Ei&C(˲>k 1IJ#+ Tab4{;/JLz cЗ],,I})c6UdL!;b5v`sb3-$cՁl7=Nx٧deX&G w><7?DuiiE_ĉ1w}&޹#`.~q2]Y,ɟg;w$껃_X$V*T*vTRKJ.ju:dFC.^a8v"L}Cj5|og.Nϵ~)g`!OנWB\VX;Ի?7f68mlMRmͱNQ õTxQyIp k:ʧ:C3U[I l]v],+t}އ 3*i|a/ N :r:yz=1C2s]= ! Sڙn a䄵n \K'ZT5[ 72 &Cɐdd2BLd;v2t&^cuv"-E`hםI[KWS/)s%I 9/.牎S{ZGn&YRaa$'v9d+ sG] `Q]8H Ļ7 SeoYlX(㳷v-e(@j ܵ cbu j0Lo@+m~K iw?ah[g"&[IW{,"S "t$гlPg#6E0UFNW,fi toT ll s7ŤK@0^IV/mFIbszQ13꫍$lyYDo4xs<Ԃ1Pdk]d3w2yv&eGM@=~xKjw-3ɷL^%,L>om&-7@_lݓgW}>XgSvhqv:&uBfkͰfku) "|"/6=0v:0&G0r€Y˓,;BMkQ2 83Yav* h1R\bGw?U.QspC884=<8Dz.q:+h!RO.f=KMW=ٮ)̋r]5Fo2-|Hl 7Ep<L-([]OKܿ.un)ĝtcK.Bf\UtI\"\+K**b 7Kw5b 7,]Kgf&s-(Da[.'%˟.X%qhB%Qg-Di%< LmDj^\b"/aK, (UX\b>P_i-ڶWKL'sɮ-xJ\5?D2ƹď%@ =8J:hu5KNWɁBuq]yW{U,d.qe@Eh?aIkѶ2\e2U66p\OK.W\"q4H8 H4gGv"4W:rIj\bHNꮋKLwU䭼, (UZNӽzH-@}!h^.1u؛%宲-9Vޛ#|؜ ]|_y~#=eK,saF1sv$Buo&=ʃzb4OP3\JԮ>)>SW9<܅9b'A:lSWǥ* Wbq B,%O]t NCLpquzRI$.ԧ1"o4`[nP|7 @*\"Et"l v`. pByPvЙ.4m€@-L(.Fn?UTڅ=.#ʱ3men$ l'wf`bwFsەhGbǮ4;oWJَ]ȝ/j -ca lg:?g3ݕ:hw.rLC})c&f:-vkM2g:N5'ojwaNS!hT== -F"`OkaO=E}Źvy{\;cj\ni\MljF%IR;\\]Lˑ)&(vXs_%Bڠeo;*O뺔AYE#Eq'Fu(a5BT{ ul>' < VSimⰜZq~P5M?N7LW爮0 mZ>;wvv20ivƼd )$!&jI0/qIՓ핏 K0d>'Ĺ#&P=Q]}T&`+nĎfߏ:m"p]PГeC*_/Uw-,_9}.dR~RϥH(]R[Pщ.91nڙ]mq2)*p(v@.;n6;i>9J]u)ʯɉ9dvlo%5A}.۾Ӹ_:4&~1񸟥LȵmLtj̐>$ ra؄r2mqhǷoO\pM-N>@;^ @{;H9vלHK!\DVu]7J8:MNu=i:i4v0Y;KL{Cp9-RT&I&NONѷ. ]}rm b98F{$,f%}؊VîN c)LjdZ~SӠ?T̎Ӻ EK:8p 'KӉ5"oVM3ԦԼN,|jn~tϋ9~)x.vKKϧS㲞>/7go>Iax&RnD: ۉw4J+_-G\Ȩ_*wHsq8"On~Ŷqx#۱m6vGb+h2l 0FKnMd;ˏ7sY3yMcECsPhWOI>Dn$uMY$3G^\If?`+i0__MFǮ & Ibtt;7uc݉})G%ћ ~q?cmCp<>ݫ3JeYݔڳhc\csӄ!WN9fLu6"j.!cC Q TO7aü3lGqÜC-SU觻 b Ao0y9ZO?x,'Bwq e`l\HdXHnҗ'ιnpvE4rdn&6A ӡvhnhSA hEg9iʼ8vm$Jvfjnm'& "4{:6iZh+mYyqtNo"Y|il8xCHrk[4PK^iT=\^emLWWyN'9ft8,̌>$w-yE]˸eYiK>\ND!͎5㲬g;}irr- v$qշT[H֓oq.ٶYv205sl7Znoq;Ǘ(4jX#z?ȽǗ99zB33ұ`r)MZЗ/ Mwc%ƃ@O/aVZIJ辒o@l_7 E]$tVe` |-:>ɩ 些 c)"9xƨkuN>ϙx>iYSsq2Ds,-ڙnQzVvVv<\v e>:/TB 6nObs.VrX*tKYx YJN^l1rd ,g'w?Y^ΟQ~M>Y9o g9w_<~񣣇<9zs"* Xv*7< ,.TgW& 1?;8#NCzWz.;ph`ِv΋mR ,ClN~=ٰ zs)I,>ETTtkN+%S7'UPv؇$Юl8 S4SZ/֛ӓsX]N'P[qVݑ g'Wg%86@ f88 L"r>A}c$L=Y\8;\vg 4 }(q6 Fng宕ߝOLoǮI.jcdxLZ݊+0q2u9;б9{0q6g7" eg'3N(2 ^( d>]Ft:#]@UsyZTM<GaiؓEwy ӾOD?ժ/,r5ΐi>%h<4:$kK$(z#$tr^Cx::` G L27RiOahڹc5a9'Gwn)̍A7%΢D;o@(Zځh@ؗd*;D;:WծEbcEbb'Wh="8 ‰߲dw-Mz:N+Pfw_:j^3z85 c?PK1]ܾT=~~ oL-sU $L {4a#Շ_JW|EB:Op/8Qs|~}xG=rJO7yQn}7ss߫`e&p1=\ T(l2+2 POfĿ2ʮ[{|_2Qt dL%O][?(`[n`զj>VlL6smiYHi=ҵۈgm]VxLtUDl$냜>aIM^V#3bH&qL'mu3D̺27D(,+2kǪ\~̲Ww~D[Bf!Q.遼%e=Ag]IrJo˺]V2Ev0Ⲟ[|ByPk~H^*‰@KEá]Q/☧ KI1/͗d3+ǯs8 \Ԗu:2taPn}rZҵyMg0l@>*gh+? g $3Vt++zpWvn>k Mf>J.`g:L̜ݯJ<22r.㜋4ŦyE8uCF`+O뺔s8͜fgڑ5//3F99iˏ(a {L,'c @R9͋vK-BƢnfه곙S]aڴ|f_Ưa }{.ڳW]gXcZ=i垸ChO$q̥'ߌ?Bc.F$q$JY&^6Omw|>X>ϙ>ilY0mSİsk2Da֌,'vS]q۟6Ŝ}W ʢ%rm{ʢ-HϥJ/M*Ɩ`W (HO?L7^5=4M"c4ͤј~.u1O%}eUʶe >\WWnEztޚ2Ir&w2C ]RP=~\3s- \n n08~0I7ي#FE1z|_{_ƍ>vX8g=?^xL` ; b;oA8 4Xq>[jdYdw X,!Y?U*VӺ.^'quێOXy.4MkfZe?@3 nG,[eA H4jiBjh8`&0@{ s T g "s||,$Io塚tn㴇 22]K#Ntv-*Ǵg)/֡'VӞ _#O#'PKc{D.WTo|#/"h l$n +5s_)bphuI_Qkny.`BPD_4!/rdHpr_3O&gmHrdze-$'ۗXfo4¬mhvu1l *Dw<d!Dm()VԻ2MCcsE>xu֭Ƀ˾zOqoo ytQCyx*0a"aj/^ET KsVg22WWu,Nn`x@k6(ItA,˞ȑ;Q]PHEXtp NC)pC,p$7TIpH/T8"gA&l6:Tz,TCAEF~Jܭ<I9@d|I)u%ב.^9]*齏$â׉FWaz߱CC"oذ2΅ ^!)d,k-{=?xCY.̑c::ol|"kzn&{&?n6]q*1Xmngo:tDN,Z/'CWֹkv~Zn$G#pBW(R\RPf)䷐1"iʉl6#B&ʌ+4HV' xPX8$34_x/ޗA$lW!3 $l+DaL!eWMpVw񱨈McN^ 9-"[w}u5<^78wxAFQqy}ڎN(i`N"M.S$:w5ONX8!D hR C@9Z4L>q]-'Egn#>NZZ@ifµԘhT.jlim3&+NgLd۷{Y IvQ#B&hϪPr-6ˑsiɻ?)D1؆r<eSfÑbl9Ni&\81F\qOҍ$ȁm .j/jˌxQtobb O4luTo,k>JAA$4mLyA/5?Gٲ!a(ȲQv+'Ҕ\Է΋DC^Z5 5*3uu .B0E/4Iwj Ȩpl_+Ț'E\T>qm+`,#8+4#0 KVJ%FɁ"ݓ)ih޽J@Zl-͕fALqTի lp,Ϣ#5Fݿ'p{"mU]P R<aXm"i!l)GD—# ԨKMB?u/'@!#P~Y$X:2Aޯ AiJf]1OCe (9'銖1MzguGHh*-f 0tIKl ofdBaVٕV'HŠLN6bs1[ԗڢ5 ŪTlrC\9>"1i#ZųÞZ[^g$u%}+w֏Uw-ʕ;맍א<3cmѦo$o2ShWC>XpԓGWPӊ A 5lGԻM.FՀpoH{\ۯlsQWSS4AL30]n{~~)y F>mǧ3!$p`?d,3Tapoӱ2h~!G'*BYԱB݂*@8#=6%yQW&-gzߒiDyh)Rs%ohRz1Ly)-Lf:h%c4#O1]B5|N'vq]\6䪰Qܑ9HF ϔ]}Y!Eń1TBa殭yQd\ xS3A06*8 ;%b&F}r0fIٮ=;dtd+mn) $YO:{1)~}o4IV{:|xK+e ѴR ^qAÅhE pRe)>tTihQIU fG&v^0^r8T̕sc@gR|Y >$ijo =M& &=>~մ bb~%URҘ}}xX>ڧ3"=STg!,jHhPo[6yjPXWEbFZ4^$EYSÏ //ąܴqu^ YѵF)r"mPf -d"n`)R7'N2#Eз+ Z48AΎM~ˆƭs>|]dvus7]U+iQ=$xݾ@ddI՝8$2'[YwdJսJ|lY[Bj}kh?)SE3DtlۤKG 95-@4[4M1]",iU=P~Ncicu1}WR+4ج)R@#85PuvrvwZ_ GmEc~@Ʀ4愝U_?Yp%kP jʤ"RD4Q*)UIUMêK*&ZN+jֺykk40Z2p1d NP\3_yb)Sy E" .M(fbMķIvQ[9ʙd~[Oz0(iH E(a|x6]evgIby33QjS"QH<Փ#!~٪ #ʕv*=O`rb v<.gNI>w߽o^_n~_ z ^8?0>/#qǏ3~X^(ZxhO߮X~} D#g}T[1n{mn2w;8="ۣǝ8{"Fx#O}3Cg&%Yu壽fywyH$&p5>mvZ/JsTo[`w+&tI;ΓpJi o,qc%4;2C33}},aNXxP2;ǃZPT{OBZ 5fZf)@#3 ba𛍡H}ap^mtEeBAcPB‰bX8/@=B{XPg!l>:ڱb"ц]CWLmD__!R0 oA iCfFdK1Q E݈BEʣ-->`)Bō.(\81wk4쥯U8L)ˤB\˄HK3}K^EMc/XL2Qc ޵茳mn&ׂ?uIlfұT/>wIBƃϑd6N32 `e9HCˆ-;IO83AN1}$j%|;.uXv'rRGV 5q^5P-bZls=&5V'tcԴʄ(U? 'D7{];6Ʋi N~y'S쭔)JB] _e4 9k⸻:]I93\fF yg` m;,wmn!>]^S+{Z|":Ky^J>^r늇 V7{Gx.QUZ^{i+؋ ӗ@+AP'TŇxѽb8[-(kRy2gCarH) gqv)>~/a/bsfF&녹a~^~%я_p z]Kj;}<X-;;t΢3zKOOv|]Vfbu`ǧ2tIm/5s_Ey̻!iB<6W/oWiQ#+_C΁4uoݻ݁nxHQv~w=k;^Il+I&Om_ $aɾf$!rΊP !"DIq ,~@]aT*%E {琒zNBIH1Y g]~j ڈ\Ydz#[2OĜ!>N'>ѐxj "=&``&1'6`=Mr[yMI9GuuXT[Am1!m#ZZV? r_oTGfqḋC_5_輅7&wkl+*'jbXXm#Y , yDx?9^;R g]F!w@}ں/"mєb,vgo$`\e_2r/(VA+YAl$2 1fOb{F6'!'tu:1D N'ZQR [[ӨF,;@yEh!WK槈y n)d^٨)j1^jfi̫bHd^tPvd$vdfԌ{^K?3&Ti& z/šC1?Sup/rI%/eWp7ŪjD])>(+(@\"|)N{"J0-h~Tk_и].W̦V >H$A)/UY\cFb$Pm.FfZ&33JQws%Q͜ӗt(8*B4YrEfTi~&|ʶ^@P+wzUxXijl'x'K6pTZ|Aj)S4BU}22j*T9jB qSn &=&D=I3I4Y[URsȷFPHeSHLfDt) gEM &NT_Ov+7BD>n0~S"EHuBroJPSO7 !-7lm_[KwTww0saQS߁5aLdJ1r)\a8~M8Ǝ |clIkQ5hdB#+b̿6>\.v74Zz "N.}ywTJ"qv_ۓ]5I棒~ɡK>Š}ބr)j̫HbJ\ 0*L*߮]-}ϔWC[Rd&$!?y@fyTNkXhTB7QT_̨XQd{8eai nJtߵu:~jLHDaW߆Y3+K0!ZrD-A&󃯻h6TSX"O۴|Pn%snlLL\g@SpA(Tu*>PjʰrCa #}WSۗ@}rX#VO\XP@td6niYY/޹qU.-nErf6c)E;W"]'q<,@maȔNC4-+^ ObѣNNAʁXB9~4RwT\ܪ8r}477i9MD`x'×"|OD{^+ͽ%Q#hDHmƍ!*Z Q=-\rAÅ(EJ pRZj&SS uZ MNY{uD&"Sݔk@{]sC&jۨ姧幑QɅ<(gƌC`Al1f+ʞLy?d,7m\ZAY U1Y$jfu!( >QVxXU42iΈ԰J\.1RX7]2N@E-ɹ;©(SP j QZht/D_r&4*s݅!NDʖ*с2%:"TÇ͐*q$Ktp^Sg(OFH2,K߆qPb/>EՈK Ž^P-]JFng2KL.'^Kek~0ryMNxY†C f NBuD&m~R`jgcGDY\5aX~N3MY7ٷ]/F$IRnʟV& ``S 2LF_O}RTpTNhxfW]C?tz}d6fy-\[ 3ڢ?&7u(%8p};&HF_)ķɵIF׫u[c%Խ*$.ĺēLai?P{^BsTm`4  ao;29:g_A!F_b{<JE"QY۝.,ov u@ai3A@N|b9tJZOFL^/|zwCb!׏#IfH)q5x6X$Dx[t߂wxudO߮_r teO}+ݾhn϶z7n,6 9\-]z{3u7r#3я}3b&%GGѮO;7uEk2d)k=oFiۮKQj O&S@+CϽ޲r{I&#YfK9r5Ŗ iwh\H"跻̷Yݭ2[LV>xήklJ@{B@yCMJy#$I)ݤ~3wlnR ݤnRL8)B7)DG7)T=#Z&pC LͧDH%`Wیˮ6>~ԒB ~x qqv)yvud,7Ձڤ iJU_̓/=K.qujHTT9MG]Q)W#wT-.4Dև-~ ReoƮ'i4} i !.|8iD`I1H#I#蒐Ƒz"ziæWžx"_qo:_7y4'O[u_:GHe]ږ9jeZ ~u(S\f;,_h,~}NsNM友`Q=idQfSEAEX ΢pR , EiXz">UbQBYs;jmwj_:Y' 4o^YIRV2.'\a_7٩?uI8|2)@jRy$H/CIRd g9DQ= [ti[iLμˍUDqNtq})웻;f[n+-uRT; fg&9Kc]כMVK49pZG gMDGbyD ;D\.YbyMDH`b`x?NCˇS4 _G_֛q8 Ks"{1c?xN=@}2FY]5{-L{ܲNV  `G˷44"#V'}>K8byW_$pJBSW'OC\ ?M\e]5J2[r4-H-Y1cMu,UJTy)T8˴ "wmGj;IiRDӜ$3}s$X&)J2IpfI񠘴K0j%)eE[{~6@i=EHz6iPCD(IUv@ӧD $raGc 2KtPpR 1Ktp^)%:*BwΖZr8pfpALxYT+ɼ&B1UKME9+e.VtI1EyBf#JP` !si0%<_YXLsf:Sd0YS>2U]Arni*w&gV{R}~Ti6cNp1ˊe ^~jZ.7g:?Jq0*V˗Qz( SJ.t5K망#ʕ)D_&j d\U՞֐)o=gS?{@*VݞVF{d/K"_%Q$yfdOq@33]~//M5٢pTn(>Z"ԅE@9r@M ٟ嘨PBG@КҚd% !XAY&H\]"-l;ٜAYk4SFN/@]T(9~e5([`qgLOOe}㴕c&8 bxeP ?4{UP*G@ $_XU P,Ohdžyke@&Ȅ]5S.9xf@ܞ6)!nm?iqYJ8H I‡lbRۉ Όwpl??F 6PRc@zr О1&{tTP槐c|)⦇!jv,(FG 49i4e:Ndl ZcnjQ/Pdpԥ)qí%Z)o9– "h8m̀ 'Ƴnf4mٷRxmU!zªz3f:ڰ2mrUsk#_%,Ů%[2 a&V,@CR%],m=zlK;a*U/Wŭ}-{g* x "􆖄%WQ gJLҚ!*ִc5 U$T ;iɟ4ZenzEAm'vݢp,/xFZ8P8+Z-c@h$YtLQ iNՆM:ͩsIMŶ=}|@ gw.&0IctI 9m-\2Z#csROϣNL`{=|*/!!O+&#}FHnZ#5clPANN{Cdmm,%u`͐@?=iL3AI=XQ6*/wMlԱyu}X<U/oewkk%lm ʙ8has 4T6k "Y@@ e,a.fr#TƦ,k^_~=Wo1# )'w2R۪#u;<22)B 6LРigeq>_A!9Jz+ohvnv7MTrf_W$Ud6!rxl W˫dA=%>v8Yd5 GAA m1@Ixм \㯚_9,͏cΈs1P=|]cӱIL i(]Ϳ22}ٯʍ'A.@>mOGR<}xvr#$ڰYG ^gkYbw r 3?h>ϛH"y,:'0)C%fД!asi2 5g)DZOczCRGsT^ LmKxe刺mYMbUϴU7dy' V%91\l)Q2[0XG}_RK9UvRa5#m"1?$z\/ņ]>.Vt?+bdr,8rilQH17 Fˍ7L8S `bBYl8fMRax '4CYEIZgn}.<3f琾2g.|̻S@SSU)f9#zB1 $PӅU-˜LMܶ'ӹNn< ̃1pNuFAMPxQ%Qw&ԏM28מAMvKe-晶);m!cS X72" !v\(VMIUc䐍[/ A{nqϻ݊_f,3=a N1 IK%~qBL{+ȇJT/xźDKfc Aɯ,|GЉ#'/,vH۬0 h `]v\5*<8!oå\ʪʸ/k;'#RWYN#ϋiLܘPr dž-Aj&c~ h Ÿ2{f1S5hJyohco)V(l hg#Ʌ<4!IMҲ`Qď9M\1^ӄh#Lf L6Dn e85A<} ^/Ll*'@ӷ@a P6 NwhUiڟ 3iXH%^A/~)qeU`6;o:e}i!lcx3-scog}?m*VPܜK(h AFJ=M"c=$/^&{gUr鍵VTxDpz." 'E'@~Lin=gbקWN}߲Δo3÷^TOp`FԂF408n3"/4k _Ƞf=^$h#߂59C<]4ǧ+`"}8,tY,(2A\V dgUh6uv&2gF.Qz*Au]u鮁TN@k]cy4- brh{WC@#@p NNȅ +D8:<.CF%Kr8궗DGz؞i؝XZ_{WNuՕ4LRl ב<4wscLw6 'E= h+$q8Kt@Ej!dPqԫ 4y'ٗCgg7P2EID&ouf_Lf͓Umn6o_#ÉY_.Xݘ s\N+4F]51=B}=/^$>2-Y/iMuf&z]U.L7 ns)C̯f' xpBuskVsͬ *Jh ,z}=ĝj>&LUN$KUSzrT2;5oF՘"d[=b3,- %f))p^uK]q/8J>q*4S^6{;'WWHh=hyQ`Dhva.Ca?&YV`|v *{bT4)߫$)E*i$Ar4˒# pVTb=ZhR4%HQ.Y[@쎑%JվM.骑р(vh@c:Ґ^ho1#5 Isrdbw؈%bd *K]&& !f M81BA@Ӫ;'JO&J_8m6VFCtrxPāCtÜYV&89DjayȏJ&!y{}X:Sq̷~_ް,v[[ζ'\5\ kYsTX6X5Sl@Sf}Y3JY󴋱\kFʍS~{OM27Q|$>Kk>\F;u2%Ix_[6ث[&W޷y~U<_(_}~ڽ` P,gC )Cy!CycF>KD(^7uKD`s/p'1=g{̈g%)@^hh ]B:` 勞Ki!q/|=Bڡ[UQCNZdL].wCڡSU{lֽBP9nۦT7+O URK SjC>UD8%^: SU}1dV\>vOG 9R(=oRy*F9yh= =y'yKT*hTTם36ŘJ ~.Uk(s@G \UbLG|I"2Pl_WRP#.~ 9 wbO.|^: 55%#Z)ֈɻRj#ǧN7!o"YWyÏ`7g^3)TVxNd҆LQ 6Y|%+4a-QIo3 Iwn~R'i:Vt8agT ?2DT%$JV[(BۘC~}MKܠTBƬ6Q+\dQ&f.auxX0f?)n0{M௷" $33P*I&#g]H- gF3ɦoӌDmT=D 7pGzmXjK5њ ^[۸VMlk#6Xt)rX".bdҘ1b4VhT;mk1R5%=eźEU^bV>]=%Ճ +h\춷3Ol1;G5)STeg%AHꅸ/j{ѧҘ٩)ȹ yhm1)Ds^߲v_gMQ׺Tw =2t;eY+شo&Vٸ4/B1*b epa ~5>rsTChj=a9BT諾?jY]g\ #g'UۉpI2^mj9ն< HX+u\.78PKd8/Ot 2gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Visitor.py]nFW M@1Ɐpc.^c*6|ޫ莕Jvx%NQsnoӇ5y8w귫_w)-姳.Q%IQ)A#~r?p+fҪf|Q cE$@ݛs.+Һ%4\EOȳ9FTѹ\cuO{&;\v uہt3n&~՛7jFft0f%ʚV_^ {iލSʨp8V|]ݏ:綱y= &iu~$]8E>j#"h 7DF`oÊ@'x߸˘})ȘWLF<8Q d.b @!# J} @!/g(kB#%vaN*a|b w<;VL4+W!lCCd(b2^7ԨW]$lsWni= i&NHM{6: d#+FW[Asu* ۽~;WpYL[<1&2͖b&ަey>XIA2MsJٰP9.R8R{N<},XRqȨS G| !o^]OР:jJZϾN!Z6shkU#N%2u!١cc s.BBCbG2N'J^zK BTl(7FPmɰ#Z?F*c9k}p@=_\ 6]7W:A,"g9I{:AYDՃRi]-of\o%Q7J+`)qyP~Sf~9Y~{Sr&#hP8$%g%'i^IHZq% BPg#NZqOJ!DcisJ5h ˰p fX8,3,tZҹk BPRM)cQp`Mk 1no˧-=岾7S95NJŚZ8SqiSZZX+%P=9I~ /C:vM&)˙=n< `+^ I $@ si $ֱ3 [sp4 A% ]:կp5N"XJ'z Bp(8,-|yC#J-7/ڪMJFӘb&#@Q>(y?lg)luܧ0@3*hJe.st|s }ܷd /$,AJE[&ðb0V5:5+!VS}W=f_brdZxΟU&l'&Y"6`D{sܪ(T.LED85_E[eƖt;hz*tÛğh]9}Jvxa") PFRWXg{+(~wx=~yP fR]>;m䙧Ƅ&aџY&ez2 zb֓T,iW@oFah<AGnq8-#/15/+ TH,[ '&.^Ic W \RU0l n5eR{+f>+@+Dk?˒ii݇AsZFP5Kӗ̕^u{&q1liM-Ac^_ˬLV)ٿIzzQtܧ0c=h\Y~#P{Yuʊh_3@#uWf7/b `;f"OE$%6;Gwxi0ThҽAG/Q;XA? 2i2!%rj%Z+]%0n 2~0mp̭O"ʓLՕxya;Fv62wP6 5wPK{Ngavel/learning/__init__.pyPKdNgavel/learning/autoencoder.py-/*Q(I+/J/WH,V(IPKUNgavel/logic/__init__.pyPKXi9Og@˫gavel/logic/logic.pyY[o6~e;hҭ[(Il'bS Yru toEȒED$s!a"uȅNHgI:DN/qHbt: Iq毃@N(|({\݀6 Ga=}%r G^1zNjrYqNB.YoiP }&޵;ư͸oܝ=64#_Yq6TPg r86 +M3SN}ʆZ[D9Ϟ9r G6:}+ȀdM[ज़I*MAx1^o!o_H׫;H{3mnͽw4l֜{.k߳wGSo;L&h"/5S]OF_Ř2[979|㫣98(ok ;Got+>ͼSZa =)Q0w՘mHZ/Sۄ{7m|cxg=_jd˨"4fPݞ>,5s?Yڱ604{p4eɀzq;,6sΎ9=}j5<3ڞk$1U2"K\(*,]E.{x̀tLʼ'³7\:NGs^/d>#O46b/˱JjވFJhlHEJ ZC_Tk eK6!1>IU]n=4&#>!H(cǩ@ Ks^sVd^CP hPB{mrC]ŲUGAJhkCB50A `g{ٻ!˘5*.ZF36_ `Iν nm}`a>ݸъrttY aלdqөncKWz|M4>mv>07w%kh쓒ۻ| @g.0ZXaͥRNHx A] D%o"JӦg% b6YY }Le44tjC`(Ho 6'wU J,@~Nօѳ0#؅\%:#Ԓ8z!KPu]R(o5u5R+ΤQ*$D'wvPYYZDkNZuFtHM)UO76QYa6!VXhk(,mS.VPrPxt XX`hZUQm]䨸Ra[ZMlBٛz~Ih/D\(=ڪJ>,  \;@h)UG%erJ*=T52adirf(&Jk+NS.wriU'X }k 85MWG3w{4pNSh#4G3zH-e$'Em6K \_ 5)ґ# ݑ=J+_X,I+Zy)=c6e1K"o7ƏiָHr1rHjJ`*Dޕ(}rTj-.HBa񰟅< pp|Q77BZ>MH" U.OR]mYFb gp37Rv N2Nׁ/x =la`rA%#9 {k:$SrsHN3ME"+юBJ]Z59(LF@i9JM%4HR3LBTˬ{\.\>f&J+#/X`bl܍]eߕb<_?i&Ufb^.0Coh}:Vjy2G;#_Ϯ׫՗(yo5/+x{@ohs ܌bba q{G'7SE+7ctL(Ա-DVlj?aCS.--ifoLwSASLgΠi0~[I@Eʳ#z)3SMRLteiIɍ5HCRY_@5>˥Kʠi~_v#݄KEy= yKMiMǝeC nzz'ZqOҞSsUm ֏%>4LHIF҆;:?aݣrˁ lGnwCXmn4,C7S8lfPKGeNgavel/prover/__init__.pyPKeNgavel/prover/base/__init__.pyPKQB9Ob^gavel/prover/base/interface.pyTAn0 !Jy@6R#UUXd`k$kc0jfxF2ed0-($IqWR((- iǣnT7ox 7NP+2<'ԋԺ^:IR "J عע]fQ/}T?@*粓@[ؐ6g.?7J-[<2).ڳ4 6M^ewY6kTL#"*F%f$E+Z[(L̏s]dۋpW8׽X\ I^=&4TD ]#Yn)bg(b@]bT{HvŜ?b$/(},7vQWR4HdPKVNgavel/prover/hets/__init__.pyPKQB9OG0 gavel/prover/hets/interface.pyVM0+'l*RJUQ/Q5kn;6@@yfZKLhmeTJԡ#)?'ZT#~6@l@mD~K +zJ5'}~=m-)aPiyvNm8Ѣ}{g;eP_J%Pڃr. 1P~n.D5Bj_#ѐRQn_ `D~O!>%TaSNMX %1z d^<>ٯG7TyV5KҞpC\fato\_G=Vyn'WȱV㽟<2 zN`F+|Pآw Lx552$OY $d_]\hɖxk{gF**)z)7k5{QVʙ>T (J&I<^HUkKu`b.BkfW+hV,ȹ#9 a0̻^1Ǝ6g #:Bj(w`Q>T\Yt%Dv,9=k m-ѰB\O3L1^ThusQPQ&o9fw,Djɨ1M˛gQwYtok4' }&JZSALYH-a:杒c2 꽻_ih )Qv^zd " d6<+{ &4o/{jJe@Z7gbs<'^qo# i 7z:J0anxFN(rNnyHn9[@p˸+\4F6fL4DE(=YbZZEWn<fPKGeN gavel/prover/vampire/__init__.pyPKx|/Oo!gavel/prover/vampire/interface.pyPN@ +BU"qD/(BMjv O4|Y{ƸYieRjАo$Ҩfng(4t9%ww~ྙe,]c 4J\cI3湫nn AZ}æQE]0L ergCA$(JЯD>MfwA>Il_}6? G: $PijCtX`Y@F}7cҖYʑGyi U~dxu=w;33zePKd8/Ogavel/selection/__init__.pyPKOB9Oz@ gavel/selection/selector.pyU[k0~ϯ݋a%42QD, Iituݦ ĒhjD4T"RF(T1a9S'Nخ;N~:͎c Bh62(ڈHd2)) jbsqqa?c pHP9XRaDEAj"A.l$ َqcC7@!a9V\D.@X#$0ȺFI_ #_JA@t|Y#3+&{8y0l[:ĴԝPv tki0Vo]}B} Y;%gf”-OaYۨ}#$֭o"|,i~訠*҉zv|Q"fޯ¨7u"].uud*u#g%v:L]mAeX~49n5@oȓ}CA`1/æXtU;ãt\y^:߫A\QiG3oXKfzPh/3ŋDMf8W@xPKJOyfIT!gavel-0.0.0.dist-info/AUTHORS.rstr,-/*沅..-Ģ<"]+}|bRTĴ4}bmb.PKJOO-ۆgavel-0.0.0.dist-info/LICENSE=rF]|TE+q2쌧REtYJ=~5pрd$ljI@~q޾?ٕjqi9ujԾnv:O?flwz~ivv?oۡ)VE~}v?nuqvm}kW-Җj9³KXp7]~o5ٲ] [S զhV=.ߴ-}v9ufsvY;|aZk\WvX¦J6 O ڭԺW~hR5<?~VպZ{[:_=6 XdY- i~'wv;4UUÿ(`GXq=kkV# pXh  <\::nfѕF\Xzp7}W~jHwMɘxx?s`闐\aǮؾx mp*FEOr/H{;=^Vŗ'|s@,l&`Nͮns"fS<1N'q= uLVk\hoΧa 8UOЭpk뉧E W?&3ɽu@V .>S }inWqOFn-}zꙊHy, ;R-<\|O͒m1g?Y HHZm#j$ZEM3Ĕegag>e$*K DC%!PGň1bD*uM50 +1śFi܁,q'H'qː2Tͪv-1dEO8W`@q㒑9?=<;pH2FK\T)_!/ H5o ϸl¨Z8X!ЕmVS'\ X#c3*8a[jWxkޤٷR'MX*$Dx hA_-PPo|yH8(G AҭJ)PZ(ic+ (x YZ.b`=zxsSSc# ު 79m]EYm:"u~܏*|[v笯pY}lN.*gm2 `Ed*k##XUV(ZU5fHȪ'a,YAuia~ή˛7=>u!Q˟^' =XJgсnG <6Z@ m+հBK߁L?%vؓD=q\HɗD( La[,fSy /lUKTWeB` 5NDTSD?všaQR;ЇhەŎa*F1A Ra:|*£1+KD]p aBOD`2 M m>%d꾃gwA`ЁMS.;YV7bȟAGx.L>cOc&s;%۸h"V=.N?֕p9k 2cځxG S뾮\VC/ AZB*؆;s"!R =8189öQ]Lk5$:a+<$2{JՃQ&GOnLȧHA$\UO~ZjN\1-΄5vx܀87‚6 ?`F^u 𽫋=UxUWdV_ૂP[}@hcp m~2{H+q/v./#5 LV`*ЛݓRcτ`6C b괩$,tj 2_LDX(\ONDztH 4p;Q8v/AE uvj l]T$1'g∭tAeʬ UJf_$8.yibE&xEWizHG \jUBqf:-nye[?NȫaX;@_ h񉟷E4_kwTl[x.q$YEZv kGь Ct BR;PYqȓKEBrAKB}_KWmlzT&l@q9[@ Z,XwKPy/> {H8ta XYI@A$I虙 ˵WKHE[  s//k\")AxcF R7 `Ȃ; pܾ]ǔN!خ1Een!pMd@-k9‚&'U& 'mӘ%CֵϚg%1}N7lFѰ6Q +w=X(X`HFcBWef̮T>Hb7t;\o[6 R51M 2SAF4-Z8[$ЯGTbHwͮ*߮P̮rG 98AԘr8U Q x'+UK  /K^/ZgFIaH]W^3 fa;o0h9e[ } ;;v߆%gձ P_l|a_$mpH؍_ȁaH)EDV#CmƷLEtSfNԲӢUdh>uet }PH{hj[yYeˡ')8-`h =C*?S6 e%5$Ղ*U~q@a738Ǐ?  !ҌTԬ}DrtD3=)!F<vj3|LEkY6?F@hr$1H%&1P6H}p|1"ɰ6M$-p- E=x} $T)2$cUbŲJl N2ep(r> 6 7GAzg3zҌno&]mz=_q 8/)12TK mډeg xp/|_j*$Z x`$հE?-,4M]F$`EW!u'E @9f| _.P`J W'va"zf^\OhNªWŽmvyJD-Giv 7M[L,(SqzAD7pGy!0^Tiq{sE n-~ɾ4PM˿W)At *(: 1V`Kz$ FR!SN<ȣ_VCd8C&I_EnUH>QS! EYrϯI(ߋ"Efc8اnlï]ҕHh|&.&SfwUT\ SNypi86rG-\ZvG-z0?̤aұy,հ=.|M5& co$]0^/8 v2_aY"&фO7AQ)nJ1/թ)."跘`R*XTGcnGbpbD j5= ܆ 2%JB$TA"Y>aqK ڋ =N0g\2,^!Ŏ4^"!RD 3ΙVjÒO8%?|_9C%s`W{5 \hg7XKVA\9Dh8pm*$DɢRE%a,E9沶+R/ iFJ[pjAj)ҁH@H+eGSO lǮ?=Qi+}&R!> k0VD9K@ɑqЀ,LԀ$3"'ac@Q'!yzj,wۖ$jF N8{/4Ğѯ`Uap[ԏ&A}d тzNk]W'Ʌ#Ba0ᴴTA%U2cwS1ZEIUzy|֡y''j v _7Fw$ JkL*=bX)MK`RU/\<*\$_Dz8:*ISt74Q' 0t\ڝ$%f U1o푒93o ׸\3P\p\o_࿹+)ij8^@GE%#<7KfYڮIa5I:Tfډ(Cz]c Hd`!^rŐ9;Hː.lʁ(Lʐ0~ hhÖ zDPdzlSõ#J f&ի0b wjZ$d;ݥ&|Ԁ9)oR5F(Xe${hVC%ealejnhY~b<'I ˣ vTAetV+)Bgj'jwd+\EʈHWuAa%4oMJg[Ʃp/TCt' yʖR?+ 3ZB,]N]z]GDC\!6]rj)t5R2 \}oQT*b"$PPz )4Y,s\ Eڊ}Lэ|=}Ƶ(XUWt!)/T8yj S@.{eLCLD{?QGftΉJB!`<#(fDCiJcR"lvag1/4:I~ֹi\›v4+8QTo8n霪r0ǁ @II&8'2#Ap7a`6s3MZZ *N;yª6tQ GJ= y[_ɔ$f^UGc$sPsOp UJcs+ m+2Ƿ|vK9 `Rf(-qvJy5u/j x8ggY88 ࣜ8ܱEcsRyu{}ݤnkN-}!-RM nX#[.120mKto Lo I-漨MR#"ĤY5"o__0BSwݔܖ)“9^85i܁Xil JHUszNϡQ]9yJ W&&8fq?βľ SY"`|= abQsl|rI>*5Av-ntGWFkF&&[FUu83x}N4' ]74R,FEljDB&ygNBm r K]G{ť" %% ڞy+YTGYG]gh 𙰠M$$nmjS/K$IR>My|Q `ie3ot^C&:Y/LS* HPp:BNY\EdGf(vPO;権TR.r<fN+1$4!Ǖ8( ?.AGuԏ:FȦIC7Ѓ1( b4P, vnFvvOm%~&]Vy*i>r 8‚db%>%Eadc#g#؋%ܙ0EIzlZQ|sPN(KdjGȬ)ͺjr$=1X[%YgI{#%gFt8! Cqe ÿdKjֽc}mKXϚMLG7$Y"c*U-g$*75I~ZOϣgƦ Ƹj/)~T|883P܋zcy '"W"aW&r5E~Y@o xCnP(".O:if'K0!9e$*-U/58EvԺ>|mv L#Ŋez@Qr 8kV 7 .RK)O&d! MqLiIxpx @6(n4/([J QR3G4ל0tbwa.zG.!0c[ S) BV!)EKyOcM s]д^TAʳ*vU9п TqZ z=2漀agZ m{̊Ls!$Y 5vQCjlxu#SN:)v7\ǬU[=%]㾊\OHXi ޭXru`6 5&m!9jGO} l48&?r,n}QKMJ{+2l}zb6efL&+ nT>R:`gěP.cdZ WLce# .jfEL^P8'>IW˗vq\QǶhdD ] 8Ət2.~|M!DAnLBId]T(߲_PI(DF#{3G4J\rm=baW\wjJqG4yz$fJ5;#ԉVP\#]]T u^̜NDN'h #-. R݉˙J w" di'Vzު(4BkxNS~zI$Z@aR,kt[wx'I H$T18j؉0ؚy,Td#;gB)d*;-#`'i&L.;%0M%鰌JJb:uG[p?Ģ CdF2)a8鮨40"-+SPesfcKc. 74}ÚzT jKfѤl蹓 ZLu\,y .bٸlL**:/=&Ͳ-:a頾2Ψ<)X/)/G=\NX90$CktQ1E IRrFrMK 4;RL?ƒRb:6&dl* saьtlMuy1ʒDtܡ)%34P*xH ERssvz|8rgS:Թ{1=M۫LD (FPL!(Lh,q!ƨa~MJ6M~SuC;ꐃXyϓC&+.) ۂtydN= zʠGopE}.ljq9eLCg7dNg$cJ>*Rn{oDuw/ J"hr[oeu_4Gqd,$#RS #t|A4d*R^̉kwGG&Ph O³mͨSTZ h[d.2, 3F-oK޹m '{{羿jhο_(%& (s  0z$AGGc7z;-e':HwKS_ Ɩdx tu14 }1hs?E_(F4-؏Ы._!7Ga>/YZ򇏢h7EHɷ @ÿOiQ.y4/Hѯ<;a882ˆ4oZ$Bd 0ZZ?hPCpC:&WU, ^/qxSjujŵD3bCD&j !c 2Gr R&2E`j_( Df9-[@uMT:(^V:> 82 E~u~!o!<23BD6h;[Qb'1O|I=Zȧ(d ;ՏD*:, "k|WWVd? ezp@?_iEK-\8I@o$hy)oY}*TK%eL`Cg$ʂA 듴({7Žfwwq7{?7_{;{xx?rjnf]>O?h˛w?=w7Wowawz{%n~;[!.opk&_/!ݮv5R#LJ+??YJlN%쏻9!: i°LSz 3؍}fEIx$;{}y ,f~> ȇv~=\1x Yq$NG Z ߥŽ^#7%߯E<6pO5X|q(ݾ->܍ wDMSooawrm6c\9<6{qA( V<2v%~%PATL腾,|96Q3\-knqP|k)S43{G,+9¡`~dlJ_#K8Łw1xT G"w;YZlo9PU x.O|3.6#qQ68|Fw <|]jOgstmAsy*9$-,P^'#KvM)b~j|r;xrjF?GS,/$$Ym V.ț0XTClI5S:4$GcJP4,qAH$4t%8gw-F8ʥ3C0Y*D'੩M^v[c:"K4l,.?pF-j/2vx(g\+J⋻׎\Ěo[Sm{Cw8qÇ6Ҏ1dVyD2j"QUj^K#QfqlŸp5ƞN2YJ>201#p8M.G-Ewle7,Q)7ß1` kh߱)vXUgLCa"~eab#*j'=]j$+omfƓ'%Eb[vdv { 3h1c'I:U 0zܧ~aPKJOM\\gavel-0.0.0.dist-info/WHEEL HM K-*ϳR03rOK-J,/RHJ,./Q0363 /, (-JLR()*M ILR(4KM̫PKJOt(*&gavel-0.0.0.dist-info/entry_points.txtN+I/N.,()JO,KQUz9Vy\\PKJO)#gavel-0.0.0.dist-info/top_level.txtKO,KPKJOE=hgavel-0.0.0.dist-info/RECORD[ހ\" DWa?tOw=IeU?UixA79  XX9-tij "VXR.651 H8u78E^t^7sy UZIѸ+zȂ@Q?0z:Ҹ6;KB.qxdÒuB8i$O]dx  rţeMmNq}qYFϴ!0o&aȜL%9 WΣr4O=ú˜7)8w;C<{[wyMV;Æ[`KUF"V- ⋟ܷoXvkᖐq5L4!ŕ\5p p=gSl'g2xw(Qs7WJW7O놚ȹl/:#D+uZc:k4hЃbB' B`49on @(G__eOFfu%Z%K KPkcfs'YO5)_i~O՞ 5޴2BR$9~Ǐ `bmɰYsl: 91OL=_;}{^OƷ0;(cL(Ҋ[PDYC,SnbXdIS6vV ~%O7L^+-bkN -ݞOB_%a'[WFފ =b6Gb ءS(B3@u`;&RY~QWj'&Ua̒-{LbnѼD^y#̭M@rS/h\{y~ ݐ2UOL5ݺZ/a[0҆hϓZ<@O #bhTN80WҟG12Z\IVdv$@p@5(gX*ڪq:DY\X p^$1I$ϴ洆Sw[(fq_bp):l{%+0৛j#nx┉poJ+HMU$`2`$t⨆Y}Q7贅$ݤbesv 'GH` MSf%r<='T5)oD ǵ>mOك~P܁N*tqvvKۃ7،w:BQ8ApM2[8y"yP VKBVn1uReAY,޳b?^,h$OKiNN|oq`I. 7ME@7accW9ak L3^QlJ!ƨT]F*[^A$edAR1gH @6+ Bqpvb9cݺů$;@D l0}w0G8̓/q[еsy ?qH_od*EB+]@%Wλ~%~mT#Yȕ2Aˊ}CMm7phHWC_MMA/PKUNنgavel/__init__.pyPKGeNcEgavel/__main__.pyPKJOm[`s Qgavel/cli.pyPKd8/Ogavel/config/__init__.pyPKG9O@ngavel/config/settings.pyPKUN%gavel/dialects/__init__.pyPK7O@FM _gavel/dialects/base/compiler.pyPKf9O-)d gavel/dialects/base/dialect.pyPK7l9OMC  gavel/dialects/base/parser.pyPK\Ngavel/dialects/db/__init__.pyPK:}9O#y֨gavel/dialects/db/compiler.pyPKFG9OݜDgavel/dialects/db/connection.pyPKSw9Oi5hgavel/dialects/db/parser.pyPKt9O5Y9 gavel/dialects/db/structures.pyPKUNl gavel/dialects/tptp/__init__.pyPKOB9OQ($ gavel/dialects/tptp/compiler.pyPKPB9O%c!(gavel/dialects/tptp/dialect.pyPK:_JO4E(gavel/dialects/tptp/parser.pyPKPB9O)hDgavel/dialects/tptp/sources.pyPKHWDOCg(Egavel/dialects/tptp/antlr4/flattening.pyPKd8/O8/Ygavel/dialects/tptp/antlr4/tptp_v7_0_0_0.interpPKd8/Ow[3/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0.tokensPKd8/O{|f4gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Lexer.interpPKd8/OEކ|0ogavel/dialects/tptp/antlr4/tptp_v7_0_0_0Lexer.pyPKd8/Ow[34wgavel/dialects/tptp/antlr4/tptp_v7_0_0_0Lexer.tokensPKd8/OKW3gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Listener.pyPKd8/OM6K1/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Parser.pyPKd8/Ot 2ɡgavel/dialects/tptp/antlr4/tptp_v7_0_0_0Visitor.pyPK{Ngavel/learning/__init__.pyPKdNǭgavel/learning/autoencoder.pyPKUNgavel/logic/__init__.pyPKXi9Og@˫Sgavel/logic/logic.pyPK,W9O0&1gavel/logic/problem.pyPKJO22?N jgavel/logic/proof.pyPKGeNۻgavel/prover/__init__.pyPKeNgavel/prover/base/__init__.pyPKQB9Ob^Pgavel/prover/base/interface.pyPKVNgavel/prover/hets/__init__.pyPKQB9OG0 Sgavel/prover/hets/interface.pyPKGeN gavel/prover/vampire/__init__.pyPKx|/Oo!Sgavel/prover/vampire/interface.pyPKd8/Ogavel/selection/__init__.pyPKOB9Oz@ gavel/selection/selector.pyPKJOyfIT![gavel-0.0.0.dist-info/AUTHORS.rstPKJOO-ۆgavel-0.0.0.dist-info/LICENSEPKJO=vtgavel-0.0.0.dist-info/METADATAPKJOM\\+gavel-0.0.0.dist-info/WHEELPKJOt(*&gavel-0.0.0.dist-info/entry_points.txtPKJO)#,gavel-0.0.0.dist-info/top_level.txtPKJOE=hugavel-0.0.0.dist-info/RECORDPK22