PKKpL &MYEGG-INFO/PKG-INFOYmo6_qH),9I׮uuFҠAhKSUr*;RﲔIC"x/&IE4#hl qWt;t7{7Iaf" J|K!c$;WV0 yT4 2'F1x47YTK"8'k!ҚI/r v|a!B3.ɿ}3jM9eBd{gLQcN:",m#竏W^)p?{?¶b`|q]rVrq4u鯫~]; fJoZO]:ϢQ&bJHv&hbp_T$NbVBNBZ\:ɸ^MEI,4yp8) qםCPS)r}1҉DRfs#0[cEb Ea0%WU0z8C+?єl:[@&0Ku\ӯqr;{p.%V5ƒ5CgU'6ιTpE\֥Bk$©xELw& 8o?M ,]I.+RäZVpe_JfO5O[5_$V0=Dh=T$@-J.?$5Hh#_ +C@{ݯ/_N(bV'ylm(FV"6wb7ƻq1nPaXs^pR~*ƚru>1iۤm{+9-]7ۅz˰S|'D>wRmYè75vNKKba7 狽?_nC˼wK:3ܘ_կ'Kn6-Z~xX;f&cF;I<" y.1n淩&1Y:˕iMsD"?1 ҾU[)3 u^JܙPKKpLEGG-INFO/SOURCES.txt0ヒ 3ԢX=t03!&͖/ّ+;TYmz(ǩ#x"~$Fza6,b365#X~{Iw]焸xеOĩ}uAPKKpL2EGG-INFO/dependency_links.txtPK\UL2EGG-INFO/not-zip-safePKKpLB)jEGG-INFO/requires.txt+,M,I*,KPKKpL<* EGG-INFO/top_level.txt+,OLPK5pLcpythogic/__init__.py- B!O1BhUAЪ]Т0w.zZ+k q X׻!k.LIw}pt!"-}D8B.T,ÙXyD)/PydF1ꬹ$<̋F@VZ㳳!3II*.N.KNVL횗K‹3=&\jSrj0HssK(,XF\'P<,&JK?2rn0촲dz#˝ٔ梴`# \ocK۬& BF#'apoT{t%JiGEVı}4$̺t'g=|SW劑/Bc-B^I8]/HlS|ػlj~STlAҧ(Fkaq>mm=X%Q]%+)1Ҡ\Eϳ8&=ٴr/g/B65s5Zb6r$TgRwc,&-Փ B]כx2#wͣQ 7} 7.Ryså9[s<Ġ8K/})_:<< m9&]m |j4evm +㑂Ph MmfžJ?,`W[73 Aq`8CxpSӥKw6OXiπI"9}9NpE$FJ$E\q3ħlu<=;^v疖{GCͫisR{ l5ƒoF]\Pr)KI8^)QU$rCAoHmYTQ!V=Vf6ڻ@d-[(ٍ"ԋlPpL@i5r; uX0xSMOm@\yfO RpF녵\„ZI&IAy$?z!R(]UI0V%zVrz59x{pjutO`B޺ҝ^z~zsۿYoOu AZm~F]d Ե! 3 oUq r2EFծϫլe/c)" (fm$/YDhw_ (_< -xJ<R p(l^Ip_w!4El?Gk ΔUh93?2lu uHXt-9_a{PJnE$H "U/ PO6=aN~ { ktoBr_<;TG,|e@1ͮH\ZVRhٛ 3CAF~kyPK'bb) wֲ %׶qݥB^TF ksU$ncӎu,Ժ~2$B6ɋwVX(؛X(}{R8SGp]opAJ>3-)8G̅cՃ&lb͎…f^kv/=0e[FVNL'FSIKt J*-Lp&cZ^c9U"_C/6<_7ez-awոPw/)E] ᭭f-y/QL.w|\L=-;|Hnך[P|OsCAj\P}.x5>Xsp6sITHoabh`.;/B<6Lf ]E`X|yRY(H*\D6b6<2eɞǚI3f!aXHXN%oh:/XɉgB/~qf)MӁ0$R,diX8*N376=^;|ρ_ ߑI2,*QfRUx7UĪ_6p -ƭkB{J9h7TZoKtƳv^g ͇0YkK )[L鸑i0`4uTFݷ|hxCq!р;AS]ѹGF=U:&ą$C w)I`dJ=n82 6 (}"\=SxQfKoqqTPʯVΕcCx%;_;UZ-^Oq?/75~$~~8$}fL{,5\Bgt)'{%zWit(Hӟ&G _h4)=p3ܧSvB4nӆUp+BAR'Wyanȣ-N/<;fS_>FZg)vf֖Ofd&,F\79|[)ʍDɽK\ɯV 5 Fԃn iݺ-bMfx4p ݄icT\ߘ܍"ZW֟ k">|:/"?iO*E׮1Vk]Hv[;W.kFܓRJ}XF%Woq^w=.>[7nYZ37Smt>=]`zW@F.`#&_zGir?6 j{=Ay,t5EU~R^L67ƌQ$f~aR4La$o``\"RxO8}5Mdr&ѿ/|FGrN\S̰>yz؎Ծ7AMo$[4)nx~j&opEFEY<6zx8K‴21DR}&MI>YĴڪƚ57 6MPY)3(t '!`Ts!log_.'.ִ5K`Σ@~fr@> <1nj98Ă , =i<3)kW41O8$j6ڇބ:[(kV Wz3 S T` {;1ENnIS 2įc)3Q0H1( t1[|RpV9PKKpL+)x~,pythogic/__pycache__/pythogic.cpython-35.pycZ 0s( T㛘Rx=>>%?9>~%CP1eTY\WZ[aaof_PY gTⰁj PKKdLD(pythogic/base/Alphabet.pyU >EF0؞19u[ ?lx]\%&Y[ޗqraۯ^Na4r N@-(cٞԕ5*rjwZl x̮C89veE+]Y]4$. PK [nL>:o2pythogic/base/FormalSystem.pyW]o6 }ϯ z_!aݺݗb@E*t"̖xqo37؋3wNr )%wF_JQ,|aajsaE:yY75 /T_#B>AHc5:O=:xЎ|+ּ%+(nrc9Ӈ>ȱk.3A$k!oB&D1Yd(ĝLuE`|ɵYu`vKAb !x#wBzpc* <$n(wl\Ln*HpȞ~\sHw(bL&ؗЌjjo]q ׃ky .(׋beF1c&l%|1`GE>"^nl 5m=Iԁ:' -b[amnoDlMZ{VRvyJ3)9~$^Jycv`k(Ƥcu}Z9R2Vi. R$U93kyٜh5NikF:n4$GRS &+QVxi-Riڀ*y, -q> t!(7; 8r"^7G{q4c+ myrAv@=%EtV? E>HޙNI#PKrnL{6*'pythogic/base/Formula.pyYOo6SHg>H1%qZcO" ڦRt.;ly`W'٣DJ-ْޖClthFxD: (Cy ~G%[vao%Fې4p iOEIה%f$n!9t{Q/fWWWg#|Hn&~jNൣC{JZ-S/h4")"7 @5}aVA5Y/xAÀ ֡Ggdէ4uN>1c Pu#7J~j;>3T&k*c) Jx;!zOھMIHK9 $fe@khrT%,{ٝ"BAi`.効\9,Z_Orp,:dF c(9<Jdcv*#lxMڂ)1!eBu @c,8u dF&~tt58Pc)H.LcKL%%\}'}mԋrlؔ@o96o@: e3ՁԶ}e=EMP}5<9E ~Mc6[zјB䗑c{.!s2]mLcbKo+S)lmY@3ٜ 0y=͆uM:=6#$(^)B d%:A_@T\L3mz0oʟ>WTTΡp;fu*"ZdG_'ů}7M Pw1)wN8L&/~t˕Zh]>ح;蟀_ıq/QL9bNkʺ)޼.(?fv8lA؋+kIzӒj×!ĂMfA:g:5kZy-%~ZS3|FhYOˌq}kq|| S+z!KYf6 aӍz ,;Έ٩!}/ﰫoW.Co &@qIነl7lKg/ByC*SO]*ZS$~vg͒lgh'ȥÝލbo6PKVrñ꾧t~ʮ.bŽzb71)>!4xjzA80"{§Ri-M3q l,s\t `]HaO쿙YNu )cX|t`<ꕀYz—{ 5f`HnHOyk?%N~"GjA3jn \(+RL'c`FXw!B# yGYX# wda c @WsWEazSk|"MId6U zdXV)ClJ ش?},iɫnQi>^N=0SsK_WL{+Fg5 nofLE+G%ۣs˞O3*ˋW-eOzcW%x_'qUPKsnLR8Ypythogic/base/FormulaTree.pyRN0 +,JU%8N)Zg Nd=MӖf>~{ش`O~ov*ah=4tk {~ x'ɧ,^; )`_BL A:b!U#%M~`UQ"sبjBTp*ǩgszX]U|T^7,hyIfly kdvn?E"Y:[zn*ni! YYrP'hH6-ZL c+:O,>:8M$8GХ˾芛wҙc^XMKnգb(4PKnLK0j7pythogic/base/Symbol.pyUAo0+l8E!mWQa^bW`3l*IUb={|3|d|Oj/ ^BըYÒqSx! ևu* cqKiIq]w ]ZqDlO™qQ4 VBwi|˳'9)eT)}`$yL001X)gd6jN$9@=!ָ:1TSŁn;6շjqb=Hrufì&&uGg7v}pgN*qjUYc G,S3knhܢz^pҸQSP,25]]u\-;/k\'o\&}᭨לI5tsJ.S {aE^+ѓpݳʟ%oa&~<.ޙO˻_EIm&%B,ջUq;7?7fUAG(KG_PK҅fLͶ pythogic/base/Symbols.pyRMO0W4 hЀ)[ƮkŃFz`"7,[[Iio߶7NFxPoEσpSpd#!(!|zUDlʏQ`yMKM evǗRm!Fjd:8bG >˂MïLT B\>V7ߺJ~:#X.2LŠa^.ܴV4g:1&FOi=0I?ې]bpm n u:]Ʒ?j oh/- gEGjr`Q dkg14n;%~J24]x<[=Es{C]a)yd6·@r(ldzy=ĺhYŅydUl.dFN];B-+QkڛwacjT(z?DߕCy-[hc2^I1WHClp ,6+sW^+E1/PKKpL~1Hu1pythogic/base/__pycache__/Alphabet.cpython-35.pycm͊0GR8i݅[PRBhi=b!P?YZ$!=m+S_ȉIa453' x~y&@d  }s2 c" w :p]HxZ YT=>Q@$,8(AѮ8dʱ:I; #51?@a'͞@l=V0ehd%|DN^r9^mb(4j|᯶+eX)lwў8zQF4UKlv荕 MAS",Ќ&ݢ/Q=݉E>_R ӥfUΆ\=os),hS]ġ63񒲨6v DˇsOLIY̊d}(:ԍ6O*3 KPLUgKiX 3dWB07ک+a/.~[hWWCڝ6g5CPKKpL\i5pythogic/base/__pycache__/FormalSystem.cpython-35.pycWKs!@JKݍ'{HLgMUJTTJ!T19`A̐D=K&T?#Ks.=xSF_>&?9L<~G ?`o37ab߆IL:d'0낿 LähW@d};0vI [ëFؗ"C352N_NvlϳL߯r3o2;סFGp@w 2 D| Ј!|ݢl w@vdg_2!ܨGFrd_[ϙtaւ G; MGK.jvrPدM֦@֦jSG զ N@/> @׆?(0>87^E)7v硕W}^3x `ifT?Io/ &'.ɫ^}]bB]bjGhJnlYHփUaw8,C #匇Pkj2*!9[!w$] [KET))|*[)[)j7-܄|(x;Cbz\'8zPROp'D94R9X{fQh$|g}$\Ͽ\-\gPkLux;Ȅ1C|1GG#%̯ǹd; #q̩Fņ<_TKyw:o-TBbz{hGDfR=oW aWá$ ԍYʟ]FBܢ/X'ZMg,Ғ-MFi/2ɕo.*uuWK/QXņrgɻt/+d?杗Qmr\J]bZ<g^t06c$uCŕS [K,6[ܳD,OJ_CSK)UzګRgCCjGL\U,!KJCo}gk+V SSV5_c㡱h\>qG^wb+zj}3TަAW |\iـU>e=Cxt޷f( LJ]ivJιn@IV/lAG&T? IU`gxvŃۃ`^s3~KVH=iSPKKpL\AL0pythogic/base/__pycache__/Formula.cpython-35.pyc\ov3EQJ'Ėr|8eǴL;i$&0#Hy8젭Mt(tQE=ܹ; IKJ(8_sg.~>0L/t_a% +` Y9!N RX#,a~g(GYyX91~uYy+baf,GX~)07 GCa/,?nDjD`Qǁc Q5!"!fu'1¶{~9,9uT<8Pǘ>Nqf' ƙ>A A= IOuJP@=D=ʌD=cL?Ni`I׀`)b iFטq:OuF0Y'Y7&3Y#9A}sL?OB7/xY^dD}[\{0]+s@}闈zIxP?f~ ^jKD]+LrHO@BcH[Yn aUr0SY 73 YFnV-5sGnih5>\{A!LRiqz-YnD>̢V2jfi rR t a.`ljb1Ab @cJ 0F.mDOMV+V+I[?!nGUk]2F2iVM kFi[^S,t0\Xyz{缱y~{̼Y\?Ռfym6"Q^3L[SQ>rN_WmiU6${\g Z$"̜-Y~He90]4S8'h#O#T&)Ň1 q0LdI%˒.Ba[N!Ij\h)Ba̱ⶐ}ߟȖ![۟}Php~—#?MFV6 FP(W ;Z1]9;M4U?2SFp,@TWx("<[ vAM8㚀P7W7+bS0zUC4a3=vmHՙOe L?A:ve Q@1"gP'{E<%)Z.k5] dX3S3'J*f$h]%D<,= FF"y ԰2|A|N9ުEQ݀J>@AkL%0000% 3* =@1 ~x!b1>jt7j9 ͚3K%@k‹dVR1^j5^7g_>8S1 (tqaq_G.  t">8~k`Xc)oDmA+k5s9lF)/T|~ɵvY*vd<:!jJFm j5ô sQMa"pa8BiѬW3UTVޡغa` ,\OKeM8OSqbۤ;a;` =)=νP^FKPGW|Ys:T7T G9ڭj­:nH:ͥ=N9AFjHUHs~ʥid$yN~CǸI@~A;,>fL֌tbes5s69y$7(07q w~f4 x!\ jDMder2 YfgrD_\n}Zlފ-H@cp8e㕊fhұWI卋wu&vKyaQiv )Da"8}?y C_P%9[t' ;\_t׺a;ʤJ̞AD Wz}%kUK/XHBxV<~xCTlx穾z,ZC7JTbӨfq=FgNqn\ߋ["Q̐2튥Ts!xE&s&)I&BvHޒOv] ~ RıRI$Cu' HyGjx$Mp7D3gO *mCЫ녂'\zQfH A@M_~)#Č0j-ivk~ QQ`qYŨX6]8rkހ=&p: ֨aw$9"x!Bv)c t$/$HL{0o;rte8:tFg]^+G]ĠX 1+Lg hTuY$%ti+FmhsI#8&cS+&A f\{4f3A ڶj&8=R™$& GbSQ4ySB\A<1Zfכz9'8!s Ä71 X7faG(y=b4 >sQPD#c-rHsz|y %Ӷ|I+ڵouVW}'&}|^0`rϏ@aA~LuY۝oaNyB0޻c=mD))",cV=8sbGuK8'%Ԙҩi&xln^EwlUMOqU_tYm{ @V5%0$5a0U·1/k#P+V: .Y`DUF1~߂ ;U|∰3y,am58Sud\qVECo6ה'Tĵ _iسCH4]e*yοbҼ!gW!<Ѭ"8>SfCCqdEP̒- :e.{~l[* y.|ï /LcXHۢ_Z4Es@,Bi|/W{h:r2rB*?&]ЮWRjvZN^Iy[Nav6>&5 ]X[zzJR=!K`lm#s"#ݙ%aQ; B}zb'0k)cS-6 izE0-M̾㋵[y9:5Zt@j.kl-ak{ xلּgSMgS_^Ւ.GqldV$zY+~/+DٯR][_z yq>d+/1ݖ|3PiiV ג39Neovqÿ8kwdsзh%7<ݓ0ro`ۿYZ. Jv(z7'X-޽YL纘u?:(4]'Zɨ>fzOlWqoEz2L2B`\6op),%k;ja)\?%5dfZgnـh4 S^լ݋++tki9tQ_#K+O ,l։.ϺUaPY> v/Տ?=Zͮ,v|>M?p⹴{]^UϪDӟ+PagtgԐ:H~vp?˿Yp*iAU]: ݁#jZ8G;1NAA;%hhgcHއ;Ck!nۣ0qjfvm 3f0Oj;r"bGθ{Ga:/@u{"kȰjo;UK"ŷsC-?tlP_bһ)W&lʧW;wI3߮w~Y8r9vpƜǝ `?? ml_[,E*RE[QPwa|l֤q^qr1y~>16Bkܓ$1m=hR+VKY6lbs1 ך;ȏNZ;qsvۓB@n?'KrDb];Hͥﯶcz0Xe lBa­;wEqK3d8E&bAS` lw qPU zpt-a;9_IrkO;FHw3IsF8jBm_AoŨYv߿ogdЛh2ɄB+ϖjO =o%['sg]I6GTIeogҮNQ jLΘ[ބSLś:{MTR𩯂ؿ_aꝯC^2KR*;P{/]"9bOHdN`hrI.,)u@vQ1[>j64kΗ0iH$pTX0p qɏuM~3<3wݹuLJ/(WoV<'6;7/A , āw@:l~q P1xf9Di; λ}c篡o8^M5pM?Yr+"RJOGm׉}>O?żT%IgbFPKKpLA0pythogic/base/__pycache__/Symbols.cpython-35.pycTKoUǏռI]0THā=IGgg6G;JS5U`$X $$@!V,bnʊYqDžf==U*s~ |Iݯ Ec}b`{<#H1* IK~*<4rO XfaRóYؓ, A\+O2$:eHXπsxρ yP:^̓-σ@Ke%ye yP |t~ ~  ~ ~ ~E{5aϧEh< ;DÈ=@,7r~XAb{RVcݗ=?D쥈#f^X9|0ˌ?vRRұIZch{,_ \w{\?AO׽tzFcmenCjÄբv[һVK50V 荦k6XY(ijJMG7(LG8V[MpۦSʶf㡣f-YwwZjmq mסu-}pT=C{i]츾6[z]&Os8V;X u*֞^S i5*>Q&0^{4%kA+O6{Ap_wZ*ɝQr0nZ[XSC6 ѥ&W+^;^9&6_ ٽ+dy-ߛ$b&YNIO<"cN␸~c23Hs[ݖ,(kPKKpLns*6n1pythogic/base/__pycache__/__init__.cpython-35.pycӞ#;q1 Ha`d[PF̒J3sRR2Kr2J+t+,LS *K23S32K *oq槔ځL)PKKpLx .pythogic/base/__pycache__/utils.cpython-35.pycVKoFClى?hR-5vaԉۢ@`у@kJlE4E3CЙ%)˩@%wf;}Zmea O86>@3{gh С- hux/C`AB; J%e>„4ԸS\S9j|8s]>K,[-Q59d/_gМ/_.(ǎf´ډRkmtX̟C3N5#>mPh@bO a[v1=DHC/V?z"d,׷VV9]sڭhX_Q55+z& }zhA9nLط:a;,?HDXX \o<7܋ÏnnnD]hh Ϗa_nΐM W~qx>{Ar_AOJ\Hv/qqG\l0?N)5|*+ItW Z^"EjJ7TEUț&ORjyĮ\ZE]lpWc$ٝ,ŲRiEBh,Q;Ù1{=g==.N7cTu7nmcHzTb۲ס\ydwe>RvɁs֧A?9ڕnG$j^MkRZ6nz!b|~)$'ŎVA3ѯ9Ci(\Ub jZx)rMBD7ق&Ʒ]B]Tr:zN2]ϓ),J\-j%VimyBkP oW Gc)pMu¡9֒ "+[j$iH8|#k$fu|^MUVbY7P2 ®Ǐ~$Ѳ]tK+\0Z%bH Dj %D||\$0L/|l.bK:t@P%*k/UM rY5D;OqԩR*g T ԭ;*wj@ 1$k#T%l o~^VksPK҅fL#pythogic/fol/FOL.pyXMo6WaQ >(it-Zlv)R%)'b{Iꋢ(jk Mq =^A2L1d~YYVrB^? q@5*H1J@@ e|sS@y|ad #9EB,Zr PɣyWrS@MHT\K`969#@"hlM5zxpG#ܣ "3GNDUA?1zlX#b!ջ2#ļw )RW<><|3-Č֣ӹxFK!pOt( W 3Y\2QɑФ@=]KM7BA`e|`CAl8/Qaԙa a/(K:c\jb5Qq|r ,jd3Z+Tl֪jN/*q#A;L^L+u^Ymqz#Yqj"-THV^y[DFֶn|D-э#ٰG &:+:Q+(o Ĵ҈a >DG bU ?CR{2e"RX]Ѓ\CY4bkmiG֣ }iʽrn?_yTw3DeeMQGmgG64>GY[Q> @v'Evʣ}\͊4U̒< ݱ1WcLirPӍv;.R]P`HgyJjHK@t@#"s0S-ȸ3kdMDܦޒ{SC弓qyު'-`7ZmEw|_m1p`mp1ccS/%d?ԣ|+NWk`3NXpVXNaDwII6l~X*MD_2uPKsWLpythogic/fol/__init__.pyPKKpLF DO +pythogic/fol/__pycache__/FOL.cpython-35.pyc͓GHJ^ۊC 66ƕ8ƕUu*r Zgd*닝 pˁUܠ.pɁ*rȁhW)x=={=VW_Z/;z , t4utШng_ `^X *_~*5j" 7j`- `yMZு&%΀:g: 9΁ Ptxau *X/*x\sVשMoÐ<_pWck Q{1'b툱8xiȽAi w]^埤pZzGQ|W |X7wvYܩ'8}'f4j9IGcK0N`xR?\%C7ŷq<.lC>*lo~xm\qЏ01Cd]gףR j 3oX0$LdV ~0!Y) JM+_$X X"&%7 B"0΀$ C m\Fv``P Ѿ.aЀAS U3,`Y5SUx 7yDQ;ۜ8Цm=D)/8z'= *1kBCfANGOxx`nƶM!g$beBl7cl߼a߸6GG>19 M\hwt,H,MԨ={h.E \+\Ib1z&6o2DA"iwJؤxA/G ^\!K9y>?nCAxݨ=49'2þ m[AW&miƵȦ'a1ߠ_o헕M\Nwoya}v7tޘE;`.;yTNT ɺEf$.s^VVMW9;UN"f *Ys_!W0Y_/H+$ D(2ƫTўW1Ts+v&Tо^ƫ^';E/ UtT7RT(iḡdb {"a,U!SH1DwHґp)u*T0︁xkIb$A';%Wj 5&eyV5`Om`Oѵ̍L+Zhe Z^ յi&>L5f (zډp\ OXf`cSMǤST_|f֥+3B x2%|>}MuEFYXӤpi43;w sep*T,RXC )8%}WD:FtjHX<$WGaƸ,MeV齙 '8vejC{KxįDT!g ѹ:< xbM2_aQ rxiZqɏf*5\pR櫞]q`|sASqiZvew4LK95PGJ8N(>fY jyK=itiո ,]U>&F&tCSQvZ-gc_ uWsu!z> %Ŏ/jrUfr)A!1XNc m-nRQ*jBQMo`Q%MV1N9MZ2`x"M|RUƻY;2W 4axUd1iKl y̶ml>٤=%}xmuK4 ,Rh'eW =+:od -*nQq[mxL3]µ QLVX?Zm]:ZN'9D!2au#;AXuiV(nӘО:8<}NXʹXRM0ۛ"[FRً"5:'%*zӀpKsoM~7 c퓚V PKKpLŭm0pythogic/fol/__pycache__/__init__.cpython-35.pycj#;q1 Ha`d[PFLJ3sRR2Kr2J+t+,LS *K23s32K *oq槔ځ )YPKYL…őVk$pythogic/fol/semantics/Assignment.pyuAk0 bdv 0]J N&lu~VۄYyz| @+Ӊ~6GX80dܗW N_a{t Y@]/rSJV/1Ft\{. o4ж۶hMWçev˔Kq_eMzĴ)v.DyAwȵ( 1%"]J0>HUfڀ-UMىl\,z{Т::azM;Pe*4gTL/,IT(Jr"*Hu>)3Kd˳d"Lԟ5ubN:̅io$[ %plwIܾ*GSJT'G6zϒ(`lXqk"+?rh=$OUfYyCSHv"BFE+.7_8XZ3mgy8c) A__+'q㚚zt{I>s 7l|ş& FY9D6l`o ~ҁ+ F. ?s<*.ۯi2\478 ,-@0!"Q:Hf0x}&-҆c{A^XbI m(ֆ 4wO-}*+Iw5 7 8b> ~G+#Ţć]k2./c~Iq99G҂agdeH6ڹ-2w2+Ix*̖-}3lr/f?B0Y\]8_tڟ/tI$ }ݯכ/'S˹:uÅ'%BI ;Rߋio2(i-^TjFe嶖Ƣd.ث^[!kՃQX~I|P4=3E>Ϝ]>f!KgzTQ*!T Ѭl8JN){?"@9Fl@n_x0 y1k3xLl(w!7թd`;a&c}/Xcûɕ^/p3(*uPJ[(ؽ|KG3ʰ˝4;6IWy!{7#Ug俻k{[] {;GKxvO )A7fq tX,E#]xbt t=-S ]oŲ=5wp} AGۆ6?iqR|G8 M!.^TxPrM/LzLO&I|Hj)4ӴmZ7r0<߳PKKpL@pythogic/fol/semantics/__pycache__/Interpretation.cpython-35.pycXKoF%)Yrb;QSMT7rIF8)iQ95Z(/iK]9"^{? ,wIJֱվ8373f+RoM{d + -[A[Fc\<F<6́v>B<΃[R<w2U] *EujpCv ֛kxN/®ߛ欹G~3:ϝx7ɢ! @G-. K^$gAȓEc^qUq.5#aH&Tk~L4Sf6sL4nD9ef)MH% S4h;N' LLFQbG>UȤDUd$zlZ`` Zz% ѳ$Gbw";aIs)fT2MϷ\Mswr8xQ>ڜ.iR| 4_5)u[N%)hT_d]t6FIg?A6Owuӧ ƒ~-lm_Qd-|'k%d-/aF⨣zT jO'6i? pb|W(Q.(GY]S.PKKpL췵8pythogic/fol/semantics/__pycache__/Object.cpython-35.pycju1 H20D1200k2i2bOJM.b+/̜̼ۤ x3tʒdļb}9z8lrSJsR@(PKKpL^JB:pythogic/fol/semantics/__pycache__/Relation.cpython-35.pycn#EǫgN։q`#X{%PD@BqZ㙎=pR-G$.[U=3aϔkzrl>K O6dd9 ÄQ܃D@O@VJ$ćqC9CnXUvTlk4*5^27 `F " + uE}d 0&Z88M^[`{,.x (;7PvrOZ-0kCrsuvu+sO6oWn1._7@E-vf캜D:j84e5W&d :ubzTn7YZdgiC|策28/jWsO}p!lYЂ'rhk̢9juwH )'>kQ"?YbQ诓ݸBYnbP8m%E e:ےf'5 PKKdL_@pythogic/fol/syntax/Term.pyTMo0 W9ɝ bv٥E/`hЇ+1Jn]Dtov `,OGwXEON[~9**x莄hG\SEI Y0-B-ʽ\N`@^!z vlFh2so,}o)w__tbCRlKM!I_>_έHt۽ݶ Ks PKsWLpythogic/fol/syntax/__init__.pyPKKpLV:pythogic/fol/syntax/__pycache__/FOLAlphabet.cpython-35.pycUR͎0iRЪh. ` X\4qYE=QW$5|+p4R6{xrz:*/~ƿ }T2;@L@A!횂p !\< &C\[3Mcή2yU.ŲY&i_jnbb S4L+j5>) J鑋ۃV4;v6}9'Po@{pԦ2cX"$TSsie3^SZu ^@٥R\RVRV`q1CR(/j"YLeyy>gg_zouFJDj[d6rd/ŋ) CՉ,L n 1VTY#?aIDj.K B"?F')|H\<h0Z/#@[ BD-mmYkm:D0wZy!I '}WÓdjq:)Yjdi^ia'xED|S""(B}A xy&iEct1%}#dg*MNS~PKdk}ge{_ ;u3>8 /y|-Nd{/_lS|N ȯ.]3aebPbJLLKgE\x睚nNoyc֛gnV|"i!/Z<XHqX|\ \AO3@dzȁw͏g P:WSRqr$NMYq sί@zbI 5g`u.PKwUp͆~nKDp:'Yt.ϏHʌҲL K{l;"Tn6'Sm]w>'Mh+@i(vQ1)UT+Jܢj}i8EKȯ4BU9)3_ B1qHی V- l$ALQCcuB^oQ(b(KhR7I[ ٓY2,4ݿSzlWX ᇵj׸IE1Re _k xFJhlG>҄aq&ԢN6m;ت\;[**w W7En9{FV!J~_?X(<`hbWP睇1I=ziN^@gaM84=t}0J~wMSKcM~Mכ|5Ϟ X9pꂬ{nF^ȠHrQDmެ^-7qyK\mk/O/ "̱O6)Tמ5ʤWb{JɭRKnSn<oCu9.9]ub:fL}xG5-6IIfP݋O,>{ vNV<}//ˌzҋo^zvrr)3Bp$[:^s [4eNӈ2_zdOop0GP't6;\/OFWCkO+y`1T; <*D"X$mų;e(FPowmm 8%ܾ0u`s! "J}[q54Xqu䱏8(YjkYye %misB5¥LSWYUa?r_mFvcQSbSV[XT. f.} 90Ot1[/y6I#DŽ!~uE @5\+)!S]]r%czH&)w %}\nx`׺*"_4}aY1Q cVo;5e%ʅL~M|v:_yHh0k2zJVxCa*iBk@ab,c;<"wRHvN JEbԅ{1oD:ㄠHX04-tǢAF"xeBVtcd)ۻ4BEiגb8 YŎNV\H_O,W^cI@U< o,_fVu]ޔ X5gtJ uCVqдqV+CHgR صBf~ԻfOqҷS}ú͞) [쒰(%~:gd2MpE9pA!7-9"rWU;+k_W]zFw ௐW:^6B**8x.S( `}N<.SN*85kAN&8-[Ao3<8 /"8K/N.8ˠ/ 8Uk>jY4*~%ۣ(`=skO}9gޝ| \g4msэ;B/3[O&;w؄ݬp}8e r•#6mKٞ]yͬi>XMwwL|Iwg7i䯿0 f к L#`OU1v V@d`U`5`u` `M8*MB h@" (ZHl)WI3聃.e`5jZv>j5z) (_Vk\NpV# >:Xa.,Gh$@S契/ p8Uh)>}eE:a^X6 "a3{RW c`o?.LGs``O^yru;pgrm[qj4>9;)2̛|8iE\t NqYIheQwwR%vRA|&AK~6zI%q:~[+7ao4왽д{q/8b0x?J}/lzS:nL{dddau~`b{D^M $T%Mko@ sXiO-sꭓ=7dP3 .RxkAi[I[@jǸki?oByRb70x.+)jƻ?!,IA}OU8U`\I8SP{'gEz:5 j8"Ddr#}-x7GMJ>?ZJCQ>P$JX@E 䟢"bo".9Q^Lˬdܧܱ}D~Q-}!vz2!]KaywAA,*GHb_K+.dITxZE %Qɪa =!l"gP4GZUIDhN<2npJMxZ-8'"mPN [ <74}d%M5ўRX xM)9DjC'Dʽ}Th$s?唚DQFXBa/= ?ًs?)SßJeUf-E~M *_ݲES!&m5mqʽむ:?=1{/j@E?"Vxr}U^ď/aVA)«e"Kn~nI#>'s)<\ *&=s,Y¦ no@K4V'cwFuawb屐|k<4DŽ n*ػlءo&}$3jkMmƇS=̿ZMv'Ք/k^tj¿A 2\3 0q6PFkc U7bAk JGwR^?iv+"/F_n18!;1OIƚ϶cZ3أћ޾wGѝY+RL:T7c&yc!F!ͺcRdJ W,OmEMPKKpLzn1pythogic/ldlf/__pycache__/__init__.cpython-35.pycӞ#;q1 Ha`d[PF̒J3sRR2Kr2J+t+,LS *K23sRr32K *oq槔ځL)PK|oL6 E.pythogic/ldlf_empty_traces/LDLf_EmptyTraces.pyn]_1_Hz4p(\ E2$Ǜ!9wzH,(ix ٮ*떼\ﴀ?A|6},{v(wEYs]/?sD+k W:iϿT5m,z Y/|W=-6TGy&ڴϴhI?o乱s&yC{qoez ޽W|vs9&Ȭȇr0 Xh-wFPUglp{t`UDXӨ4EVd- pxVyt}ف]_.M4  ShKSH&銤'DRrJŀ{I5muAr%C +nZ032̊`T~) ҢGjsẠ绪}fr<¥b"I2dU0q:PF9/ha@8lR5hӆdfu"E" *ٓw,F!%dד܏K` R%2HmiH/w&05!pɄC[ۛh[UfP+12_M6I#:zP]b*d=v7Xb dV .ǴDM#A3@^fNHi]53:Xfl![}Nl\J5~`}ljM"yS=v6ȤjPƐxj.7\1Oq^w.,]N5nh'b۬/9]1j4-\]~'؋a0+!g*H&]o?WHs?@m(#JтBwI*\ni?k?fBr)zWE'D'OCn9JS(Nփ3D,V6 EKl$ ϓ̿TƺZ=.b yIT)'i-f(-d.ف+x62#L16axL  EZ~A?#d.td&laC^ @_E>hB+g#*dAd}QhQm}%ɺV6Y0[] ۶WqC۸Lce܌ zVZ1zc5h1d X䓟+w-c &%)ɳ64uKAδV.^K >gr bjud7tRrdH7km;jiLVfɆS+.M烐u$ \46 gtjq͔@&R0;;0i#EYvy A)EM ֥Xk0|c ̠,۝\O|Rfx].I#b`}RXEAnjblfU˷u,E~[^ƸTYG>Udy`QÒƶR#Uf;)WU;Z/JRq^gY1K)"Ocpؽ@Ӧ[l"fM(Ee6M#|*>dS [ T KAГ In2zZu'tU2KM$Q& .abXȫ9=v>69M:o?qdeMًj^$e4~?@g.&QnF2":tqA7,Js#rsꄔUu{~V`\`Gs# V`8`/:FvM:$0`):]2Yပ4oyK=4bX~.9ֶӟ `AlTM)+ZGX[i*%m`ARjYvNyL]q;u_<=f9q,E؈;~Ɠb lp\qw4Epɳ #st?!5 GYqb⭴XV!#;L 8-^^sOm,./A~*DfHN` NĔ9Uwl9Ug/VߚT.rRGFk&;4=~buR4( +# >+v(LUZe&}}AgE*013&%)AAȁ,MhF~`rZ!<=cnmVh$_ sFkqnj f;(U趹'.ǚR7]}@yMGBv7 ȱ,'h1`~f^3OJ\u1"\J[#.pwN&m@-Zn1;PlO|(ߣ g !҆J1KQ 'WjV;"fdߣBku˓PKNfY`D,f "l(tŃ`g$Z6Ct%pmSjU.f[d{ÇCv.ÊP-⏟tWɬRݦwҲ;gGk~E>"ܢ0;Am]?3MX"B5q#̹jqfG_sp!b@|^f߁٫/Qe)*Zz%zW%RN/!AW/U}jU֗ķ"d;PJkgj&^Hsߎ1MD=EеifCzrS+ՅL*hz3b%\'UɉD_[I뢯4/qDF2!gud?$FҎ-$9($T"+m4`瑋omn浒3>!hcn`֜d72'3ęPKKdL&pythogic/ldlf_empty_traces/__init__.pyPKKpL`,7Fpythogic/ldlf_empty_traces/__pycache__/LDLf_EmptyTraces.cpython-35.pyc[klu>kOQDYZɦlvlE,[kWݒI3$W] -%4 ,i >-P迢E-4(:ZEAhzιkW̝8FGGZ? Y4נ j`i`Qm\,S<7VN<΃[0X5n"%J5 n2*58XN5$XN5n*5jN5 X3΂5 Xs΃5X 눠fڋxA{ c`yhX's$h/`7Jw "%-SX; vk4X[Cc Ut𶮅N:ߗVlǭ<=ﵛ BrWj3عz9vTtk,Zrs:N8^np&]w]5Tm?,kqIͶ(^Pvֵ&NR/ٸ/>u[6 K ^vh9Wڔc"s6q׽x>sgkn:zms  c $[<AEC&9P[M]y` aumy{}vw[O=xs`sm n7Z۸J5hw;,4ĆFcHaUI,6|`KG5otkqazEN:udf2YT-p@@Y pG;j7Nh^h=tJh4j Bi\Vc:Mi4‘F{m/5ux'鉢٘3:Q2pR_raɹᄹy,3")Nu*ΨCs9>#TPY@?¹, 6 w @ǀp8yr>08##;O1pgv CDbHb4 NVȖr@w'Ul?G8ev|`p<8 jq'd{fY(ؓ`O]LSƎ3jcg{^Mq`/}EO#/}LU.+ʏ}BUT`TOw 0kxDϪ>gYñ%GԔ.O? ;a( ŰkF;{=;JcXz1y8n>ڮV}q>y Yb$1G[?SS8ؔl @U0eegRR밥<ȓb[%MR1@*htQmk?ĨƵA4$gL<ͭ'`%:V E}V/ u\V.J(̤􇊋W<4s6۝־cjm8{-Tn(&g& vxގEˊ5K {sTD6ŌԀS_ U!uΖ!{l8g/cHQaOTJ5PI5qe PdưLsHMHJaTR( #r)r/ӽ*5ei>"3R'1>5e//47YxGn17l'Dzd$\), i'rc ram$`f+}i%1̱ݮ7p]Mɦ,4nlueW>4TgD6KWdWISBT58 UREY9-_ Ls(FI?>߳(;3}$*Bq@Dh#2CIЖ5]2fd2xy ".2^| 1yfnq+p՟AfdlHF&8yn(<:6Hn5|[m5|>"QI ibJ/5Me|x)p'sr$h~1o`D$r cL*"!$܄J,JױgĖޯ*7Ɣy1lsygn@r*Qd ;v8L $\a45;OpM84E8," %1Z2@WZ @p+⋟ie:RkI8zV+԰Ǡ|$zPUcƸ}δUԠ#jP98A<83^=S$8LI %&.R{BuA+og>N{O$fl eSAئi7M7TK sjP{@h\fԻĽS]^N&COpo*ZC3OB #x;aqB:`c6"gؓ {kXUZCh8¼[ngc5ڛҥCls jR+q9Xg~vFrhhbsH2ġ2YOF.[~u{hXy4[͕&Ϭ"_ ?}džW*I3l Vc7ɌMעIvkXƤSԐj j&j4yA&XzoI d|I3ivkS0k19^ֵxY-RzYhM:ă*оZuRX,G_RC1NC;=--*3@g)y"aT3и(Mc珹΋I[aաouvXR#d"& z93潐]O^lcl'ѭJ#o` iHߧ">OdfaN[vC<[E ZmojCR#/}ϡ'LGQɒhvhC;V*dZ.Cad7{=cקEL["JVF*ZWN5* (c8z,D[ZeZKh1èޱFn^Gy+'Vcw=:.q5++JJKxT7FV~mFZӊ mB+i6w5}F/am mR&iQ? ?i^9lW9cBӏk∑Þ%-'jn$߃OMFh .9r@(I199=.A* >=N٣N Ji%0ce^Ҭ9NR^"rEL5sfЮ !Ԇae0ao|⎌L>1Y0R/]̉}P"8i0C!>-<8,%efyX`Ćrh;ף%ި*W5lZ.i @J\#FXL1, &i5UHO "FBEl=;bܦ6Mz{I؇r|,h/'uqG9pu>ˬfdbH.PH$w~I͉u3+OtO2'dUC< ~Ub̐( ι+N}(" $"k4/ )Yqaqa*ܜ9 ]ؙ<6fx<_Š@DŸz_V'b8x#MyKw.]xJ~]<P+@WdۜѨ6<_s$>J§JIVELxR(u$(pT~L!變0,qߏo>i_Soi; cxgIllROFG>vf| 2x"(1/vL8|>GxV:Ni6C ϥiYopãL_81O} <]wdΛ3ڢ^ϏTK36S_Nj藹Z& jLV7}gEٚKLGѣUo@T.-Hz,d$j$HhX^Si"_1/eC։M;hoğrԲ^y0.pythogic/ldlf_empty_traces/__pycache__/__init__.cpython-35.pycʳ#;q1 Ha`d[PFJ3sRR2Kr2J+t+,LS *K23sRrSs J*KS32K *oq槔ځ,YPK8jLucpythogic/ltlf/LTLf.pyWMo0W8%*B#藴Cە*`[cӖ]O'q6d{fDz+641HjtG9QL/HѝzŎ“gC(geb=q$=H 9g7s2G fs f}b=.߯}~^.ΊAi+q|{ ,rA̐R0ʼnטje_BʣqSa(F: RCVp *u2G#{cwO"e+HUL 8 [%S9-8JͬJ 5[K*ʕF<ơqVg?u"9F8* ./`ƬCMRSdDz!Es28׾I;G ej+ܰBTaXo2&LsB5Q֧U/ҶM.7PTS&nbŦSn\Q0.bQOiFj:Rk)fld~|K{FmlVo=nBmM%A -g4>z=_Op6Xoam︯QiZnTYUD|KxgW0oΪ~#˼IUek¿j Lh-{l.z>˄5ɶմ (IwvwvYg9SN}T[}EG;R7P9M]/}.YXl8׵XϽ 7ױJ8J6׈dӱ4鹻l^; {uV wSSNqN7-ijrNz7//PKYLpythogic/ltlf/__init__.pyPKKpL/tw-pythogic/ltlf/__pycache__/LTLf.cpython-35.pycWKoysEKQCo82CABd)8 wzC΃ꙕŅChD?!H92\r2}HۏYo6zΰ/X3KV>kD8h!!21 21!*S N 8T!SN"  8 4!jӂ N8VY: /A ΪA+%! ee+9Pͺpm_]Ndku'pov͒(Ix4 gO ΂0QO4xa:5?ʸ%Vw#en>//epr+с3Fȡc@20YX J55uLK;dkrt<ۯZu-Jڤ ~K n65x +w7"xSzqP(z XHھtUץp]2SC/M]{ w aOU;l<9=ˎq0 pCOc8m3uZ&o_hqF?O$pR D;aP)5!]+$kb:M' #-HLjd-F14鵛Glx F=7y ^^ ^vz bGSWvxDd~H}zqyqV^NϢ$I9kX9-ߡ: byWhJ#^8a9O+4.ķf+$fVK:X^Ӷ5Sv$sa+E3/e6y4I,H⡹e5x<rp%u :[IK(*Q,VU A!TB熐 P"u!"ɟ`c>(e @ua]^X>Բ%3(02 BVvp\A+xIJKj Fn~SnO hwiQ|dHBCAflcI[Ii^mShӕ6&ABhԮY̞}E8e%P謵Fx%cy`ӐvlRJ?{)-;X3kN]t"U~rMMS)+D.ڶ C,,OT18eRn"yg$q |j SlKN]tTey 2$ FjZ ~X m6ւ>c+NXiA51-\_j5%'_e8(-b PWW1m '!/$hu2h!A-ٍAgdS*;Tg@ޜ;'M2 fMP\W M+XVҤ_})pڦB/JmD] 0 vb`9Bj̅*/_UVoԸhˠnӼ{YC b߶2tZrbv]q} Ën궻]zY ~EKi 3_o1ǣ0Z*FpޤgEuF? pG= g82kRkrAN>KYU8(t% 溠 ΐ{KDյ ʻX*ږܨw[ݕn[WCO~"i3Lw3C/e"~g6JO>[p|/kPW( - 3tMb!P.A'LΎ|8vPKKpLXi_n1pythogic/ltlf/__pycache__/__init__.cpython-35.pycӞ#;q1 Ha`d[PF̒J3sRR2Kr2J+t+,LS *K23sJr32K *oq槔ځL)PK8jL .&pythogic/ltlf/semantics/FiniteTrace.pyM0!`QiY=%("KFB>YAyi6Ձm~ K9!%IÍ.uqWm ^.4-߷[r$IjɭW/kkben4BUykUeey2Trpӗ3ȨK.*SQ [R4U"XVMSNdƗ:A٢VQc1OߖjVʗ&rpythogic/ltlf/semantics/__pycache__/FiniteTrace.cpython-35.pycVKsEYlOrL$B H..8vefD¹`8qW/)!'ggUb\t_wZcP?/Q?A308H@!va UTwuԁ*TQ4` t/fܯC3~ te;:TƓGAN4~q|F2joVXႨ/>fP#uhPҀ` ;FLB,X AP4kxfU y !ذ[N1xb9A㲕- Po?IVm ܺsǁSh~%'9M\ AYs٪*G? /7rG)!u&_IJY]A|U"z0 _/N(? ^&'>yûɾa: +jjo|=Gq l5ش]Xl2 vHH``N#]&5V(U\4WQ:(͗6Idz_0rcۍ|K,"U8U!Q2t,"' ,Gg( N_f ig+LQ^DbG \5M@h,1L!Z|$6)w *UҾv#`)-gTUR ;P+CԔ"!6^= QvOR<`>3}yjKgM'Jv s)<3*e9EU x&MxwGU{6"ޚ殐#Q&jc! /F"OE:Vazs!YVH͎gd%,Ok&%/?cJ3ڍެsl,J3-$dFxM,SOgmt+1w-op]UݩԘ"")q=[2w!-4mllsd۝V4u>~ܣ4L2+-JVHNL(/^wKܼxG";WRDk$\ڮλ+uhwt%~,珟.HKV ԵS.&&uVígE#FdIyǩ,TFVw=*ld[Ͱ ڏ r.Ȼ _w._{hlSB'˃d.--ISs1*4UF>2! fz431̡ uI&(kH$.s1uٞ-uJB;GubH.zؔz-a M>"-9rr܀V^cH. \P\hAvDoɨ>4pN"ieC~F&){Ol]1 NdnFvװvt̩YY$8vLVnA"[f-lĴ .poBqSSc&,e\$S,R/k4=Ԣ`ӒBJ!UG]qZq㟃/~lȅr\:6w 095My Iј2 t$,c@~ņlF#cϸ]H'=t*?}쮦I98 Jk__g#j'lCBb~X&<߅L⧝NtBZ^^&|[&Al)%ڧ8Zv.# 'NHLHZ|éd? aj/s3v%c-B7rCӔȊ69q;:#!4(Qm@NoFڻ;jǕ ^ebвdF jr&%ykrs5i<*TD+7ǡn7Iˊ_gj0d`ٴuc7)(4;8012jABIG@eP-w$B)a:"TeH7D P ̇}ςVU0"V$,lEb^ʕVf\6. KeVwNYu 4*פ&uhTBܕU^Osd)x ^zfT:5 Tꢺ܀EoH$,AԺHt=PKZnL pythogic/pl/PLutils.pyMO09RSI&lH\੩eޖ-Zr)3;"@i?Lٻ1{2 t,OAd9ڒó^M^|ϡ 5I@ٖnbnpQSLm7grjI :>ctMqg z^鴢Q:kOb+R8y. Z>4`_I{%Z8B(YPOڿ;̿w^_PKYLpythogic/pl/__init__.pyPKKpL ')pythogic/pl/__pycache__/PL.cpython-35.pycYo"/S,Yf$5N4ISǍc[QYLktAqWA.K"*6h=-z?P@Sўz̩,wi9Eg=o7_ _oL,S.OCFe\Y.[FIc Y[ $\^,Oo )Y; 3͂1 sxM0̓1Q0w c-q0{ݪ5 ?J#p[5ꢶvI.Հn{jon t"'{nk-v մYw&.ަVn^[k߸vε׮ť4f|`P)o # 1;vՏl>vԣ%ո~1 mG'Mw~DTz=:DqQ *oibK:*\I*"pr]ˢDŽԄld8S3Pu1Zm}K;vvjZ~[NrmߊvVȹGkC"W BèɏK0qYB^$8tS)NCzs|jjD2}ezhN#< kq ^X8ꌴ.'ٸu_O%YQ)%==%RTxvga_#/-op{8 읣o3a[ y7h84-/~V-H[aL"%PbwI %ZB?@ rTSE-__|7*oҪ~_\S',DXIHkU{OԤܤXo& %FV5LOO3Wi">WYI*a.]_㥖rZNR˿`rrFӧѥ~tN/(y惮oq!q) Lxڲ󾝞pܼ2KC}`4g"̼6i{ (a4eyF}ir:Ӂc/l7loj+M"<):p|{k;x!hLwk7޸yzƥ+O@:hXmsO|n3sG~v%B 99x_{A{?ԗVȶx9uu\No_65JT6v|rj*UL>'u) g娧𧐿`#I4C ]>GGJӵYT ?Lu#:LkI. .8m3ĈuAÖ?4ꑉ5(\vp=s[2g@a 03Y/N(yFO;PLRU(aC1I8'' TP~WI72WګꬩXY^Kۏsx%tZ]aViuA1U3&:L4|*#6 1VL{lM i1J_v&ehPSV='NzOYPw? =; ,NseH" %$HYI+,ʄjlQ 77KƱR"sKbz=ZA41.8˜WO^hwԟ,T|coq$AC>|s{dڂ󓙚Nh{=v!k4)˦8= ވ>US/im=<V PKKpLbKں.pythogic/pl/__pycache__/PLutils.cpython-35.pyc}n@gw;MU$BTChTzn]R93pixJY4Ȟ^濳z׫o _KЁ@< 1AlgA D p  ©p@Jw+c]FV"^%˿u*qS Ŷ&\$S/ww[wwݗىQ(R*2RY.'Ǥ4l)uE0|pQ/r=גtPtPߏ\"w=QF|x4D$?}pdx8=>$x8oY&N:Шy蚸ĥY[pNjtڐw1,b]jؽQkSM%?,,EĬZ67ap5kuV7U(*z 0ˊ֦IfŬimztm;DDvЈܑr^^cP@ 珂(e;Kq:Ϛ4Zj:U5j b"WkEb~#>=_u(HŠd8K8iRnmW=jkͪ3'Oxel>PKKpL8&l/pythogic/pl/__pycache__/__init__.cpython-35.pycӞ#;q1 Ha`d[PFLJ3sRR2Kr2J+t+,LS *K23 r32K *oq槔ځ(PK8jLFS]L5)pythogic/pl/semantics/PLInterpretation.pymOk0~9*P衰R$긦߾Wwd޼h 4\݀^7^SOY^E߱ )L{dEP.3E9Y^SX?(>? #U)#pʒ+Ne[m lE7 Bf.~-x)TZ7T0ɖN Eq0~qqL5N+b'cRZm`-#d恳0 mQ7#Kmh-̄]ۣ`#Y8_'pAw` (,0Wm"QVhB{8CK^ܟMqB3OIuvkVm PKYL!pythogic/pl/semantics/__init__.pyPKKpL28;1RMApythogic/pl/semantics/__pycache__/PLInterpretation.cpython-35.pyc}n79!CQ7iQ@@ jHp2I^<@ߡBWȩ3ܕc;Nq9 ?pb @ ehAq(Hz q*i ؏&1 ɿ\-~#ecIx.Ǖsudȏ+]TZM' m_@rd2v1"  9"Q }q;{JfHd O+;˃,hDs .^qЏrSM=@ fl3Z@DdAb5xP11f|Nz5; B^J+p>x@W Ǔ؁*/Ϟ>Ot:\pF`~>ʅ<[j _|`*D(U2˅kI6.|%R.~41R&?h]i ݦ \hz^C=.xIS.>kݏF _\I:>)^S}5k8iFX#*hJԕ(&֨3oF !O!;eɰ{d>L2,yHX#!_3r]-t0ѥ,R"[X]e;\Bef?G 2oNEVJ!\GB2Uh:MiʥCb. џ^D-LCn x5ono`9<}zd~zjWO5zA䠎mH{zl;PKKpL5v9pythogic/pl/semantics/__pycache__/__init__.cpython-35.pycӞ#;q1 Ha`d[PFJ3sRR2Kr2J+t+,LS *K23 rSsJ232K *oq槔ځL+ PK|nLγ pythogic/ref/REf.pyVKk@W 9ID8mhҞ b#ڋ+ew&VFcͬPmY &WزG E->^zomL)Y cvz)4#r]G<0[G6|*QeC/s{@cc^dK^Ԛ2i(7B 41JdA-lP'LYZ(aA ~B&w]n $3xw1Z!M+oi<pXjcu%ݙBi;Iq &e )7} c;SLpL'oMZ<"D!oA7M]7he x+S7LP`Y5*ޓ8hN #2 _^hKj6\ZOYDN̖#a&O;6xxlFi|KI [ Ÿ$Ms% T}*1Eq|wr %tp4oݏPT]pgSdS+)\)ĩ)S|&Zj4O3":=Y)#GKjAdz==U8?)ӎsOH 4i"7R ZN(#Hp44X>-ӾPuk7`6O݀W+yX&YM3zea[r9̪t>gLFw_ѷf `ĕֹ>P w\ԃS׶Tœ6_ RO@=mb#=?6PKKdLpythogic/ref/__init__.pyPKKpL} X+pythogic/ref/__pycache__/REf.cpython-35.pycWKEǼ_, "h0FHhaѡ;]Џa!o=rу'z/p2{^>:2+3̬zq/gx |ŀѷ~`*@PA eT@P A u4j@ A +`z W!Xk-6?A6Er9-?%/,)]#g8}d̃n=YģkwǂKEg!duُ/ <)‰, 2N(};r/y>I`{\&k'Wګ7$߆W?B/73]x0X1_4 `6D' % W^^Q5u M-_%4:j#&GAػeTHj.rT1km̍|gVAZvanWG|p ;NglǓ:~ ;w!xuJUjR!bü@o8' Pg+$ϐb9J "-[*% ]CiJ̘j3{0݁9Wu<2PqWm[ BLObD2$O5Ǵ6`,r~qτKJW@pakHG MIb8?La̔T2 q/5YW7hCZ?nR&< 3f3KMH*SPKJ#$v@ [ʻ@<`y! VWHgY`?gi @2-zgvkt{ȩ,]&huwyvDejImjo Rԛ|J̣s[a%剠)^Έ ՙURI㲔\x]"SѓDgK+Yw{)pBVUl" lc;c#^NXTQ0´'@06X[oמom]nwZ㭷H;(㋋?&}p=Si8 (MS>, ֩^?='"PAӝcw a)蚑dH _hHPKKpLC.(m0pythogic/ref/__pycache__/__init__.cpython-35.pycʳ#;q1 Ha`d[PFLJ3sRR2Kr2J+t+,LS *K23R32K *oq槔ځ )YPKXLP[$W!pythogic/ref/syntax/REfFormula.pyo /dmLv^4ZXiJmSy}{rQ%R*(ۺ!|IT:ʭO¡"Tui |so愀>Q7+*%3Jآ LW̮7^܍Nx $I& M6!-*{JGXWޥsl3ڣ(9hIT)p`@Gmh|+|Y7 K\\uypeOέb-f"7CϛgGFg~8cy3{ !0\ߖ=E5"H DmO|y@3:P9=4m ݯEPK`XLpythogic/ref/syntax/__init__.pyPKKpLeQZ 9pythogic/ref/syntax/__pycache__/REfFormula.cpython-35.pycVnF]RԏXFFAlP 7h @TЋEʡAl=%kO}:+J+Y$7|ZRw>&^?@A20`t!1r pMx d=om+7%xЛ knIzK75p[μp+жoK(m_F"]Z zz,ˣ;j<-KB6҂ 8iq4.; 4׏FF'ߜr=>P":S&jH*)i. .62 B`uPdʠ:׭1۱MQФ$ڰޥM'vOCUè:l)DIJo( ΔI7;ZlҲ SSmLLvwgؖ{3[t1AMh9mj`Y~Axehߞwkh繹&=D&=.pQzw7S:IWk:o2 "pythogic/base/FormalSystem.pyPKrnL{6*'?&pythogic/base/Formula.pyPKsnLR8Y.pythogic/base/FormulaTree.pyPKnLK0j720pythogic/base/Symbol.pyPK҅fLͶ ^2pythogic/base/Symbols.pyPKYL*4pythogic/base/__init__.pyPKTpL[qc4pythogic/base/utils.pyPKKpL~1Hu17pythogic/base/__pycache__/Alphabet.cpython-35.pycPKKpL\i59pythogic/base/__pycache__/FormalSystem.cpython-35.pycPKKpL\AL0Apythogic/base/__pycache__/Formula.cpython-35.pycPKKpLq*s4Vpythogic/base/__pycache__/FormulaTree.cpython-35.pycPKKpLI/Vpythogic/base/__pycache__/Symbol.cpython-35.pycPKKpLA0\pythogic/base/__pycache__/Symbols.cpython-35.pycPKKpLns*6n1Z`pythogic/base/__pycache__/__init__.cpython-35.pycPKKpLx .apythogic/base/__pycache__/utils.cpython-35.pycPK҅fL#fpythogic/fol/FOL.pyPKsWLlpythogic/fol/__init__.pyPKKpLF DO +#mpythogic/fol/__pycache__/FOL.cpython-35.pycPKKpLŭm0ywpythogic/fol/__pycache__/__init__.cpython-35.pycPKYL…őVk$4xpythogic/fol/semantics/Assignment.pyPKYLB"ypythogic/fol/semantics/Function.pyPKYL2uD ({pythogic/fol/semantics/Interpretation.pyPKsWL-4„ ~pythogic/fol/semantics/Object.pyPKYLRf"pythogic/fol/semantics/Relation.pyPKsWL"=pythogic/fol/semantics/__init__.pyPKKpLwߏB-<pythogic/fol/semantics/__pycache__/Assignment.cpython-35.pycPKKpL:pythogic/fol/semantics/__pycache__/Function.cpython-35.pycPKKpL@ pythogic/fol/semantics/__pycache__/Interpretation.cpython-35.pycPKKpL췵86pythogic/fol/semantics/__pycache__/Object.cpython-35.pycPKKpL^JB:pythogic/fol/semantics/__pycache__/Relation.cpython-35.pycPKKpLQw:pythogic/fol/semantics/__pycache__/__init__.cpython-35.pycPKYLL"~pythogic/fol/syntax/FOLAlphabet.pyPKKdL_@pythogic/fol/syntax/Term.pyPKsWLpythogic/fol/syntax/__init__.pyPKKpLV:՘pythogic/fol/syntax/__pycache__/FOLAlphabet.cpython-35.pycPKKpL@3dW 34pythogic/fol/syntax/__pycache__/Term.cpython-35.pycPKKpLWHt7pythogic/fol/syntax/__pycache__/__init__.cpython-35.pycPK8jLw&2pythogic/ldlf/LDLf.pyPKYLpythogic/ldlf/__init__.pyPKKpL_ -6pythogic/ldlf/__pycache__/LDLf.cpython-35.pycPKKpLzn1}pythogic/ldlf/__pycache__/__init__.cpython-35.pycPK|oL6 E.:pythogic/ldlf_empty_traces/LDLf_EmptyTraces.pyPKKdL&pythogic/ldlf_empty_traces/__init__.pyPKKpL`,7Fpythogic/ldlf_empty_traces/__pycache__/LDLf_EmptyTraces.cpython-35.pycPKKpL6{>pythogic/ldlf_empty_traces/__pycache__/__init__.cpython-35.pycPK8jLucpythogic/ltlf/LTLf.pyPKYLLpythogic/ltlf/__init__.pyPKKpL/tw-pythogic/ltlf/__pycache__/LTLf.cpython-35.pycPKKpLXi_n1Dpythogic/ltlf/__pycache__/__init__.cpython-35.pycPK8jL .&pythogic/ltlf/semantics/FiniteTrace.pyPKYL#pythogic/ltlf/semantics/__init__.pyPKKpLuMV >apythogic/ltlf/semantics/__pycache__/FiniteTrace.cpython-35.pycPKKpLfx;pythogic/ltlf/semantics/__pycache__/__init__.cpython-35.pycPK{dpL Dpythogic/pl/PL.pyPKZnL pythogic/pl/PLutils.pyPKYL>pythogic/pl/__init__.pyPKKpL ')upythogic/pl/__pycache__/PL.cpython-35.pycPKKpLbKں.pythogic/pl/__pycache__/PLutils.cpython-35.pycPKKpL8&l/pythogic/pl/__pycache__/__init__.cpython-35.pycPK8jLFS]L5)Wpythogic/pl/semantics/PLInterpretation.pyPKYL!pythogic/pl/semantics/__init__.pyPKKpL28;1RMA+pythogic/pl/semantics/__pycache__/PLInterpretation.cpython-35.pycPKKpL5v9 pythogic/pl/semantics/__pycache__/__init__.cpython-35.pycPK|nLγ  pythogic/ref/REf.pyPKKdLpythogic/ref/__init__.pyPKKpL} X+pythogic/ref/__pycache__/REf.cpython-35.pycPKKpLC.(m0pythogic/ref/__pycache__/__init__.cpython-35.pycPKXLP[$W!pythogic/ref/syntax/REfFormula.pyPK`XLNpythogic/ref/syntax/__init__.pyPKKpLeQZ 9pythogic/ref/syntax/__pycache__/REfFormula.cpython-35.pycPKKpLvt7>pythogic/ref/syntax/__pycache__/__init__.cpython-35.pycPKTT