PKjL^pythogic/__init__.py- B!O1Bh-Izb^O9`pzR:dx.p}hMB wA#B2qAtbG6Oac9Κ+nPKjL@*,pythogic/pythogic.pySVUHOKR(-Iӵpq)))&f)槔\PKjLD(pythogic/base/Alphabet.pyU >EF0؞19u[ ?lx]\%&Y[ޗqraۯ^Na4r N@-(cٞԕ5*rjwZl x̮C89veE+]Y]4$. PKjL*ĸJ pythogic/base/FormalSystem.pyVn0 + ?ݺ q٦caIr2Gɖ8д6EH%S'J*%=kXbJ4Lg1Mއm,3O̬Z5I3Ѫr IGʺ`>{\J,)%+66X nK1 n۹"#]P?g.Sd4H_ &5cDC%ŸFXKTVm)L(%5RT"zndbxBlp1$]+C6a|B.?BRF sa⋫[]+WHNʼn"_)Dݒ8ZBSP &:lϦ>N S;$Ryp[ 661קSkȵ,@GmY.p(Q|# 1ڵZvx@ꓮvq%d t H&IG{OkX/OD.RH$K5LQCqѐ&1>yLd{)u)P/z ?R&V I];_:OnX a6uAøLt' AWF<7u¿7&a. Qհuy j"Ч !_BqΥx| v_ vox9٢W$h91sQ]]E䁧~ON+n`g=D=yQMOzT"ΎNMuwP44d6Ioo^wU!mo0H/APKjL%z$pythogic/base/Formula.pyYr6)0IMM2ʄDSZrq5l)!!՚C'H"%Ro&v^," }W ]xr"H&=8G=٭+nBrdiIǮ/x]_'#|H,_JwΣ=%ZC/\BQQ6h4."d>!"4E5(谱|M FZD\Ӳ_O%kQ2|c# %~f-GN*+ =fک6:XFB!Qd qu7PIMYWC P=Ek8k) 8SAR3BIMshj(+IXd9Y$$DKa)KK]G7l{xMڜ) i}㥸7!hK7j!FcjZdM"٘YrtjP6`BCB9r ]b@p̅֏8|zqҐ6 H%.46G* Ҡ}<D_mQ%'Ԛo 5ۿ,퇈"˖yq ՜뛼i8T nI12u|D1x츭̰:y( !~x;$F?lx9??ӹe^M[nCEQL9}I9Aܧ >ׅWᛙy8ܥ;cP~۩ڰc2ERrmՁ4j񝝐r|39wAl6 @<:KIYT2a;][nRGn-۩:L'Nyvd͕ ,ewZM=:_58-XU{Qq;vL Qa T3`ʍ1/ k-vbXd#=W\Se3S*Uݽ? tӻ3 sا!tF.7xXaCOɗAm@QMo yVo,ql'5It Zo*%fqPlEpT=7m4/) pYΊxPׯ H+([4u9:Ɇ0.΄7 kx/J{J k\VOvZYYq0-S)*fřaH d'DOIZH qF|)edC }Ռ_:FE"DJ+MRfV! ~H$T:?Lv #+0p/R[Ub?ncxXgV1(,͗g B_j8+&!Qor8@2B_%a:k`N<`q`xKRD#cчyS:"p >90UTl"cr@db ̆ j46,K6$O'*Eҫ'8nkijҊz͆Ӂ?sK< Վ+eF6?)@֭z]Tx2+/?6힏> )l; KX}u듚(\Ҳ d555Q Wo%,7BOҩR)$֛ n=ӎLt5iykW>xG*!>5>*^DzS0'%EJbS')MgjH.M{eK* ;qijv]}kW"$KBex1VSe}\2?3Gt*.R7P9X\|:LXH$.x\}?ͯ k=UW䉞[}ʦMRPKjL<pythogic/base/Symbol.pyU0#z1-A=VrvHzKC+mZ!BmWy3|d|Oj/ ^BըYÒqSx! ҇u& cqKi^Hq]w ]ZqDlw™qQ4 VBwi|˳'9)eT)}`$Kϖ2&6 zZn(I#B PEϾ?dA5A]iS}V H!Y{3Xfu0I4;:, ^8ezSWf%[ՏY(g-75V&T5KL mWWD /a]#W@mj_§ n׏_.jht>V[ΤLYQ[9&w8>|> V{O^T-y 0u^h$v{g>-o%IToV!\I}l?LaTE]vm!yPKjLͶ pythogic/base/Symbols.pyRMO0W4 hЀ)[ƮkŃFz`"7,[[Iio߶7NFxPoEσpSpdG8$QTzrT?F}br68,9Vl47e(^e#a{xƊzSJW~-{JjbNQ pPy-&KC@uLjzqjݾ|[:}wF_ ɧC_䂦Qh`&me 3"1Z=q?9'(Hɮ|4 -)}x9sg7AO "z>GՍ4;`GyνB]ϽOYPKjL#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_2uPKjLpythogic/fol/__init__.pyPKjL…ő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;PebzTn7YZdgiC|策28/jWsO}p!lYЂ'rhk̢9juwH )'>kQ"?YbQ诓ݸBYnbP8m%E e:ےf'5 PKjL_@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 PKjLpythogic/fol/syntax/__init__.pyPKjLw&2pythogic/ldlf/LDLf.pyZo6_9/ eX@H;` AD,i"4+HEM!>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}ú͞) [쒰(%~:gd2MUYqO}U-yO9iA϶]4;vS6'^~sȯ%vZV^}8Rմi "^xԡӁ[Oy&kڴϴhI?#cةn=ar"H+>|uahVCf9~YgN-V`)Uglpt`UHXӨ6yVd--pxͭX,W[&P/.(6}ȐE=T¨A !vqʕԀR*1*&{>iÝMxޙIΝ%dMܷH$$aCrz}d{kۆ-L%E\YHReU6Y &y^ c, |pVIَ$[b%0j٘uh6YѴ h NG|>1ǃll2$6p)CmirR6ԊYj -j&qt ɦ#WYtH %)*Jּޣw$iK]ljbx?\y#JzVe,OOQS>'ycr.CT F̳wISڠ  <$;4Q_>頁 ~pT-V2?/ 0Q)ڟq\[rHӿtǺQ[ N߅l-b?Me%TÆ}-bF66SymfF@7rBc}ܼoOaSXX5T`nN^Q2"Kև釸"-Rțp "n`7! (ٔަ Qg$ ,ˆ6= AK ,$ ̿XZϣ=1/bET)%i-Q#]0>!Kz¨p4|7GunMV?VBTLU¢}c7nhi켚A/J5&] c-A! x|9~А\e 8k1hۛ}<+hKSL\k⨵4{/&Tg0_:!ĉ;BMA4h:nnsQ9gn)~ub䁳F FpKgT3`-L'*fB)b³2Zbm2oj d`fI4wi4/'E{ o\/8Uݠh1 qQ~1Y-'ݟa鶼/NKUȫ)<НZ}>k4jhرhҥxgSeNkޮ=}ٍWu:c\UQ.6RV@1Qv9*eEq w>bV8`%[^RbcM*!'جU kEl6&℥ZFݣvUE.0 cUƠ;mN}H{[q=u_J<>d9&boSY( E8:46x%gg Z +ׇx?!6iƳb:Ui1dC_#Ov*5q)-6>vȆv~; +u-3C-$bf;VSDݕfD<[ zkPژIpk=O3ȳgV['Eٱ1[b0@Te_f(;6|VnBKC3CnR⑺==>9 MV!E'''1}L͊u2jctc7SED7=r<|; T+ntnXUϸ%r?cZJ,@EIUbEigh٥facF8 (\GdpL:ZL\ecLw!Hߣ gGaCi%)] +M-SVR=nSEiU*/6#qAUF+h5h ɪA$-ڼ0ʲo"CS2HO&U^EgM؍;+⚲~A|qIMz+-cy E Sn[(¥` (llsX׸ŕ0WG](/qlS'M-uMxk~[D%g[ ]F9gT^\)ݿVk=KkWQj[_ߊLdkƗSJf*&^Ps1MÜz<:CL3cO*[y66dZrB RoDTY@B=X%ItXL.zOjN[B8{0$!!h8vl_JJdNF> 8rZrPS'@iAwؚS䦟Mw;@fd;~PKjL&pythogic/ldlf_empty_traces/__init__.pyPKjLucpythogic/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//PKjLpythogic/ltlf/__init__.pyPKjL .&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ʗ&r/P3*[rb"YvHw_^]z`RDGo%t|jMI?Y6R^1$UG.}^>s_xٌe2u,]B{;rD^2k {f ' \̝k@AU|x#sW2FsR5S7tB`/TYN`50 L-&RՄc?2AR< 'ؘ| vtT J:}!?Xb ,"I#FRk-fNcBsV%RvJXl_|[{A9vWh.Sh)IҤ6.qa|>P *8LM Ŝ)֘I cFʑ+d0HcR<'n`t[1"v } }|}WLzۗ2nj< %JP5ʼn [!F{d_Z4Z*pѹ0&lʪnKNvWnz J9%*(XhrhŰD q)('gvs>J kh)D݂N^ZWMЪQof6I֨2[lGf1%>:PKjLpythogic/pl/__init__.pyPKjLFS]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 PKjL!pythogic/pl/semantics/__init__.pyPKjL),ǫ\ pythogic/ref/REf.pyVQk0~8dSch0F 0i T甈Ȓ'],ˎc;i!9wrV/v<(w-TB;b; *_ŢNmnKp%KQ U(sL!3=V`A4ͱSp "[:(rAo,NR,9rT%8ɺ=mv*u5iEܴkA񿺺|[*K;.j|Kc#!mW~4JKe=,+or32K:ol[x,9]GawFlՕݍ,eޟ$|ΥMfA7Dc0cwa# ]aG5 "./)K)7/i&jDk.Tn1>I.xҊK [ySk蓝2x K61hbԪT[' 7vڢmLDh"hX>-ʭSܨw]Hɺ_.5q͒%s?IF7w [>r&cvڧ^ WeE)pT \:^'SPKjLpythogic/ref/__init__.pyPKjLKr(pythogic-0.2.6.dist-info/DESCRIPTION.rstW[o6~ׯ8H_–t+F fm{viJ@RN}umzpsΝN,j)Q<')L`u&q4R[βDE\e]xnvih"S;]#Y"2uʍzǤPY-ɎTܓ\3m;1a.HFe9-ߌ.xM7>ӌh,x+bX@$CV9+4h oM:DbKV \o]&7kI Di&2p{J9ebOfY&EA&x㾊"fN[ixr/cC6+>/I_0czS3f{SmؖS2Vѽ\vZ,16}!W ;q5T1@N?/1ZsSwG2Zeչ)h1ojP,'8}s/VsHow 3LӖ-xZ#Qひ#Yeǻv)<\;Oрv !v*-Grˠ1b3tc?а{r 3ʇO/Tm ryN\Ka%ӣ, Uf0x^zRIM`<5x߼}hΐ79厡pJ<=<*ToՌ=`]cqBX 1Kؙ=A;Y?a[#OlPi]ǪSgvq[an5o ˹0߼쉟p-WE ۴ 3Ziae.lJDZmc|][vdOU+n[͟<l4߁r*z]Ax}mw {K,caQ/f= 0~e;![Az 5g,V ДYgއ7ݸnW~L 3KkυFT[v/{nLzoϱ~Pc)c4 e ι( zw@*ƴ7`, "Jx(mJTxU!=?vf~,?PKjLǵ?V&pythogic-0.2.6.dist-info/metadata.jsonSMo0 +N:FӂÂNta( Ufl$:Y俗T6fAjR21ə%a 6<5*T\U;%?Ḟƀ˥rk4B>-1}cʊ[Ar[kRU mTY .+>I>_#chSGZ L" \hƼG Tԡبmzr;ƈ/#31؜Q=jzgbuXVEL(ĢG_éiاdG4:ɘ[ȅZ"?6&axWeQgO߅؜|R <.YþZޒIEyJK9<^W Q4@&H2uB&?( e #  &xC^sPKjL<* &pythogic-0.2.6.dist-info/top_level.txt+,OLPKjLҾ_npythogic-0.2.6.dist-info/WHEEL HM K-*ϳR03rOK-J,/RHJ,./Q0363 /, (-JLR()*M ILR(4KM̫#DPKjL/Xy!pythogic-0.2.6.dist-info/METADATAَH_Q06lF+Q͡E!3(CvIn7nC(Շ/~@"!Q l `=!/ՆG1j0WSDck rB I` $_ @м LRTz9aT.ǃA*<| {"V|P[3)ACw`$NƐjdv" BYLY&Q2IE+tҿbeT?_$nMDਭ8R2 AIXJő 3mFx5^ M=+o@AN/>;ԏ6(:su PKk#bo O~:{{<>R_vB(+V+XH(\~+Lbthnf Z^HL 1BA~hNh \;X\\jrp^9ʘ7#oe-wKJ^5K;L=h){>=C/Pw㢊S3yoyX*_큫>Lsn:azH[dDEA"ed\-V4G.mi4fa"17m.ZwL*[YZ1 @3X`ݐIqnj$Ϫg)$3}1\0j. ˜0|ML7o(FmQP@ْsF| 9W؄A,D K ^ٹ0;qh)hj~z Q>Ca E)80ZC-I#2ВB '6ZO( ."7]wq%mM|{ap}WFDxl1ӿ[L0VIJ>v -pBKuqggRWy 7v`&ײ-!g*ϖx{,e Wz_ /ris+E>,y9Z#II7HW =d01WY),@j]:^gWm4ub}s#[Kkτw#̮i$9]Ns_,8d,¨l.bJkHY}nJ˭r ~i )hwe%\vlJ9x_GT:J_S(=`ҨZ۾xPKjLw]A pythogic-0.2.6.dist-info/RECORDɎ}K&h`qy=A`FpOΒ.ee; Y_9[@= ˦a-PD kcVƑ5J̑9J2~XaSvjLgњY+ǁX3@hH٪+8+0e&ϡzE) ǥ5,ԉ~d!:ïfCH٥Cla\`X)eR&̼W ")B<e[Y8?1p"mp~=/iooh{u{X_MN'4xk