PKjLT\pythogic/__init__.py- B!O1Bhu V$s1ۧۀj|s8Z#ƋN ' \!ZӅ]P gj\bA]@呍SXΪ+;7PKjL@*,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σpSpdIt@ͱ8~o'&p~ϓ(W\aM[/h3 ^[^y2{@\.a _+#PKjL#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[_ߊLdkjnG*zB=[^M67sT]3hH=Qno9k 4H4D.zIy*@~Bʤu{Ws\#H֣C2j#MQnǖ$yQ(IDya##Z]+%gt1}d8t9IntdFf3/)(?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__.pyPKѢjLiw(pythogic-0.2.8.dist-info/DESCRIPTION.rstWmo6_qH)lIsaAZch.M2WIHʩP7v]`>8;j:uON$$CId; 5"%q*"*G{dCOD0в桐E/VT{&jI\EbFBr-.DG[ ł*g3[ D3EEFX9EV2c&u#-Q@HZl ]9sFQ_{NI𬪾KB@3rFQT=<ƒ [K)prS/cBlT|#nZ"Hѫz2[jܶ\ъ u{z[[y"ՎAы#chơ=ρb(>XK-;k݅kbcVG*/Fke=+t䟕Wꑛޕ:&k 0'\Bk!Qrƥ`!3(+-dռ&v|j4ݎbm{w$R r[4jvbT0qo.y,z^{n.1ț+/zG%cgV Gn-sRmcś_\j% g Fe`UW)q 2]^S 3wY+ ;e b4f2I6q/#ZЗ[7gJ lw0~jNUavgmQqj+'$3w`S+i{cKl[ka!oAPKѢjL+5V&pythogic-0.2.8.dist-info/metadata.jsonSMo@+=D+DDhq*kK[­7{o|(U)L+؁ b $f31bbnVwB.<650jAnrbYyŰ#owbL3rIeFWM\ƚrzCs7AlWŠ~!h:4W:pX\\ L"(SԀSJcQk8u(jxcQ\sep&3:Qi=bکyF_]o>_eʁX_k8m4LmȖ&dzI1Z 5!*$7D~MjX,.ˢ|˾>ً-pti8bPU;iQEbw4mvJ?~!ԒLE]OPCBp{a!YYLr PKѢjL<* &pythogic-0.2.8.dist-info/top_level.txt+,OLPKѢjLҾ_npythogic-0.2.8.dist-info/WHEEL HM K-*ϳR03rOK-J,/RHJ,./Q0363 /, (-JLR()*M ILR(4KM̫#DPKѢjL`y'!pythogic-0.2.8.dist-info/METADATAnF_1pBDJ4U`Ĉl >چK9DART$EF> }4&L*.FdlE"4hp4zq|`ՓZ4%]/8C.يPX55UFȄG4LsCʵjIV\hkHռѶ ł*g1[s'l)/ uuJNIQʥi1bZV)6jeKV'&tyY' qpCB<Ė+⩛syV0OEg=[ j`6V^81_P}p-0n'y(PV\uDp-%ȍ^?YI k.>Pר"u&Q LĘЌ…Yu9Q,{c!}XS7'89:|tN=vQ1Vx;oTjW0lKPd!-~U]֦-&zfy=r܂fXo31{Y'rf˞}ǔ9 |-=Xx f=.60Z,.HJ˴<45EM'uN \s† 7Skỉv- Z`{(+n.;ܩf54wsbhv>.8?tW7RcpS=A5wwݏ0b2acWR L'R9ВR<];֐ۚŻβWZw\Лfi3@6Gn 33LyǍ eYLEC )MgA~Â8zBVitl=:kIִw1& ٗxeL֠W>L'd6?q>\5n{icw \3Zjaf.ldkE9[;k.nw6G*-+t䟕WꁛK\DMqx(ڴIՆq)`8hS\i!=F'zÓ74<7>7d)m Xjzg{hlbߨ`7o< SL 'Řnוg=]c}#[3+sÄ-W+,-{mcx#^!ڏ,Vxdʟ #+U0|KLUV Îv%N=p)mR6n1UnKdO~yOɰ*f\٩+N2sh\1"7<⸴6FYPKѢjLw/bA pythogic-0.2.8.dist-info/RECORDIoL}KO ̘ɀ'6`f(&v$+,d=筪S, oYyY{kO}g) 4W .\ᖂڼ ũ A_'c ߦv͙CWWΪ&_zj͡@$< >~g& 6{gq1LsI<=UFtPzU {A\Tl8K o@sLsu]=i![;v(nJ1(L"u)M9"b00lQEc@4Fb_E{)XK\//&jG.iAwv. SX5{_z-k:&< ΥuY@$up͝v{\aBa[yIZ]KA8BWo_&o$TIpwFNj,pt4QЛŻ`+: >3HSI]tQ1'(^^KYؿ3}ݪ2=tf7HGLliY+hBd;%=#Revk .ް[(]D!3jVLQܫ*Wr[jc=Ə=sM&G鶀MnV9fM3Uw߉F2X1̳Xal^Ӝe' 4QqǻDJD6k69#' O^w_wj@_g"U]\a=ouq\NRI J{]6yCߨ(UI6kɦ#[׃OŅcQ˹^Lprݹa0Qo4a8a>|L̶c0VR! Mk$KD " maq_ϫaPW$ J /6pv亟tه{_W<mQ0x> ["ɷJNJn4ԍWc\gRC'&@h1;BϻPKjLT\pythogic/__init__.pyPKjL@*,pythogic/pythogic.pyPKjLD(pythogic/base/Alphabet.pyPKjL*ĸJ pythogic/base/FormalSystem.pyPKjL%z$ypythogic/base/Formula.pyPKjL<) pythogic/base/Symbol.pyPKjLͶ Vpythogic/base/Symbols.pyPKjL"pythogic/base/__init__.pyPKjL^"^+[pythogic/base/utils.pyPKjL#pythogic/fol/FOL.pyPKjLpythogic/fol/__init__.pyPKjL…őVk$pythogic/fol/semantics/Assignment.pyPKjLB"dpythogic/fol/semantics/Function.pyPKjL2uD (;pythogic/fol/semantics/Interpretation.pyPKjL-4„ J!pythogic/fol/semantics/Object.pyPKjLRf"/"pythogic/fol/semantics/Relation.pyPKjL"#pythogic/fol/semantics/__init__.pyPKjLL"$pythogic/fol/syntax/FOLAlphabet.pyPKjL_@(%pythogic/fol/syntax/Term.pyPKjL/'pythogic/fol/syntax/__init__.pyPKjLw&2n'pythogic/ldlf/LDLf.pyPKjL/pythogic/ldlf/__init__.pyPKjL^5h D./pythogic/ldlf_empty_traces/LDLf_EmptyTraces.pyPKjL&$<pythogic/ldlf_empty_traces/__init__.pyPKjLucj<pythogic/ltlf/LTLf.pyPKjL&@pythogic/ltlf/__init__.pyPKjL .&_@pythogic/ltlf/semantics/FiniteTrace.pyPKjL#|Bpythogic/ltlf/semantics/__init__.pyPKjL