PK}fLpythogic/__init__.py- B!O1BV$s1ۧ[^k|S8RޏG)g\s fO <C !i sbԸʃ L1}#ϧ0Ug͕W7fkvJ|PK}fL@*,pythogic/pythogic.pySVUHOKR(-Iӵpq)))&f)槔\PK}fLD(pythogic/base/Alphabet.pyU >EF0؞19u[ ?lx]\%&Y[ޗqraۯ^Na4r N@-(cٞԕ5*rjwZl x̮C89veE+]Y]4$. PK}fL6I pythogic/base/FormalSystem.pyV0+FKRJn^J9VUMm~}BI 7`x~\ Xj ?ޭ^RS)dmik.lfxjۺ=Oie]Mj索vk-dZܶ`$0ݎ nv2'Ja;^DbbV,um(X/wu*>Jvw<1V.iG07w{?r777dXb0ՂO أ@ Zp0B-IC!}o_1(7l1a#CUwKaY).g TuK"SSRzzPƀ£YGn )4,yq@G9r#wF2މ>n{GGP=i4V C6*>츞N#0)Hk061Ŕ ^3קQk,@GcYi(_)FBvyVpx  y[19d\?>хl RI҂+&d$Mk!xSȞh2!!6Ay Qz/DQNS6qCܡqawJtx 7AFVv8`L=>XkbUtB{s=w]P\AL`@xYy0ant[#>j<Ӳ? qHF~!MC)XmŶ.7N_U^T0! }(0~:K٤*E;e)Dѿ ZXFt6#A0S -'6H軫L.nqQzXމ$rqGHw %@Dp-Gj}G8G=Δ0I՘Ҩ+/FSjdM#٘OG08ܜ^SB1*{Lnp_be}+98ln# at9D3'& CveǑi>[ID짵Ȓ5(w5t3)8!A]£)=<morH5p ry$w',v j\&X/Vl'!Jd1ϧ̫ܶyo bؾA)8)"!]{!p[ E.QP2]ա;v;)㐔šXގƹYR˷::\=(G ,R s:U[-CzL}ip' `n~7sKɜc0nb+߭mP~@n}-`3m!?gpЃr \xCT^,g}%u\B3\[pȟa[!Ҿ+M\sW!] *1<Ϸ: ,;3DE ,疊VTMSCg.2e_œcGOIdWIHs)ؤy @Z 2Z9,,hTYaiS7R}?'1r#R"5h j L)|2w԰,I=(JDS 5',^o$Šv-?sKϦvu,(J{s 1=ĪWC<E)bDGq=1iIRꀛ#Z^NnnoMumXXgI;$Q1NE0jUV㱄vwVk!ܚ]jܢ:7^7Tɰ^]Qak;X<%|:v5 6Qc ` p5tSJ9q|t2{O^T)y 0u^h$^sg>-o'I7-7I}_LaPEmvC;PK}fLͶ pythogic/base/Symbols.pyRMO0W4 hЀ)[ƮkŃFz`"7,[[Iio߶7NFxPoEσpSpd(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_2uPK}fLpythogic/fol/__init__.pyPK}fL…ő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 PK}fL_@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 PK}fLpythogic/fol/syntax/__init__.pyPK}fLA2pythogic/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 cE#r^AkJ0MAi*jZ\:Z\ZdgEV C&áǭdE7)Y;v&2# O-l^$F]Cȩ(F$s.a8NDeCB|,Dk+7{ Y*dOG=F{ I3.Tv--yZm5t}5D_e:`^B`/`E\؅ݸ>UsFP;o MG`ռ/8[1 oم4\p&E܇PZ8j)d)Mk.};kL?8Zн n{N]Qb>sF&dHz!Z@3aO6^#O6c cs5s\x0M 1qrgO1T e9wSz4n16 -NE#'#HF+? ~b$#cUvFV҄NVĆ'AX*e/Y$PS㖕%awSDnC1l*ɔnʔ`g&F E%FRz%vd]7F3uG}^b9xe30\ 9HƦ'hb=i:\@}0.֪ jcTrȎ(hr0ƚ>y}Pv*,ڇ#w> i9o~taP*|n"X< WqmlGѦUcau~iI`5ݕ 3A9Ʊ4l…:k@v@;ˮ~W3%MPl'm,'fïý*jҟI~}՜,[=1~^*)B ]*(Zt=FnYG~PK}fLpythogic/ldlf/__init__.pyPK}fLժ&.pythogic/ldlf_empty_traces/LDLf_EmptyTraces.pyYO6~߿‚DFGTcO: \J"e4vhu{ǎwNg<3'YSPcM0%EQa(?UP{ٲ怋ȡWV^5(wktӬ-f׺!U9?BCw[bNc~O(3mHZ\/E_}%\]^eW|}gzqs?5\jW)w+-M>e}d`w|ḙZVS*PC^, w$CiUiDIQr6ċmkDq2㕐gK*ѿ+clVOnEQ[ۍ_amj$$]IvGч=~Ay0d @y؞m4TS5ǨӒ e\Wθꦪ+3x]WX2|ŁLA̟)V#ʴxE %eu#!gID16[IpsmH3 y|0 ^˪aJ@Vb>3)!5|kgQZ'ʾ>ey]v6nՃ?Xs)A%yl|'Tbu 9Y%KM8~_~ߥTDٖXPm9gYPm9akPMD_^GvU ):2&n8L-9$~̌?J곦~kĸ3EAgpPSx.|bSiA6 Hv Q7l>>@1EW1:=egnJ~h2IG/FhJ9繨$̡E LW#&xg⛯-N?jO}j;)qswl@ 38n{,FPCX;e8pyyV v+#Ku};o7FMc-BT'q HRK)aiڕFEOkۀÃ{%pk y:ykG=*aKs]!KBW #͈38fX{+~9n)119NC-9˶?GAE.ɑ,RzA G70Nj`m|g P ^1-C  j~"\GO2\Sk=y Q7~/7 )Rqv$ޞ # 6}Eekwl2쌍,3}ƻ&X1.n6n$yZ|f4)>s so.P8oI)V_yqWu_ 'mHTL0śqˡcD5bV%%ۖApAM$ϩJŪItHg\8>8K7o-E_Yq$6T#H[Z\beL4`ΗÚLtO]&fpq6Dzӫ#f{m&# "?PK}fL&pythogic/ldlf_empty_traces/__init__.pyPK}fL@\pythogic/ltlf/LTLf.pyWMo0W8%*G=/i%(+UZ fm-_;_8` 77o& RlaI4#[5MT|G9QL/HNmPi=bKbrSɀ!T21u=q$H 9gf732C fs"f}|>.߯}On^PΊ^iq|{JW5j MmxEV3f#_J-^'շ[ȲurصX_)534.6iWO=U {{eB CdiVJquˤ;4.Xg9;f F-znCɯ꯻3U'nP9Ohsu:^7,q"֜ƫZu,cX%H{tv{kFX]6=:λ)S)8㴀W9'=ٙ'OPK}fLpythogic/ltlf/__init__.pyPK}fL&pythogic/ltlf/semantics/FiniteTrace.pyK0!`QiY=ޒ`{h%#M WGB6Åf$I-. ix>`ML[*̢ls oUƒu(9K {ZP_Yhw|~Oat5Lm4dwi  =#nsŇ*KwM ӝ9Diw_&ǂMpR"Q]{4XPK}fL#pythogic/ltlf/semantics/__init__.pyPK}fL2Kpythogic/pl/PL.pyWm6_!/6c`{^ 0^g%Wd˖dٛ͗33ϼhl>q2%f$=j$5g gqA&y{G-?'V>d?2ޔ$$4V=<'F_yۢ]Ւ\@SR+xA:H/yۑr LW}K"'W&o =lm bH|~}EKIV$IEJ!N7zQQ`eQHE~dѵ,ut7ZkoC:8KsbY5¢ {ˢwGDF%mz"S$sҼWp(m,0TʘcOTt:CR=-ù@OB^@fqƊKJ@W*!f4It'y'6o=~~yӪA5q-{rXTeg$Rrk)8_+h"lOb62ٓ`e:dzXFRJ&a vkJ%猧;muh*L?pب!5Vd" <> q.TRET%H&I,[N09_l;://0^j%_"~xpT }+Q1aY/^YϷ\oWf`ȹ} j3P>xgުI3 j3N5ӆ؅W [tN CD+lc-/?%Cd,Q5Ô~duT?S7gV؛`x4FL}E߄hV;θro=&.[b'yy35O93٢KJbpJA>U .!0 sEL8αeOS%N6b$Hץ/rwQQw!_$2TznSN٨O@/?O@WLX7YMxESQ̝ PP~k۪^HOPK}fL!pythogic/pl/semantics/__init__.pyPK}fL4m pythogic/ref/REf.pyVQk0~8dcH0F 2i T甈Ȓ'],ˎc;i!9wrV;Qkg`YxQ*mq;chc{*Aj77FcߥHGK(*9R{Ӟ +Xfd\rO)؇{K=w(5ݰ;Yx.+d@HFHlPhkȭS$Is7k$XŸsj׷@T[EpӮl6-pX{.nJk֯s[;.t̆^h+-'@jj: PSmቲx]_lp[)ܩ>ƚ@v.&=X])zXII\PKOtC4V Szd͢7!uXsUo-gĆsX5K|y(xm}Jqf>-Iy#of羝\˶f7!VG.϶ \i!tFp u4kp,y1hI{l*+Sn۫!$<ځkϮY<),@s4:1\7@ꨥzsLD!vfipG-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^ŎPK}fL<* &pythogic-0.2.5.dist-info/top_level.txt+,OLPK}fLҾ_npythogic-0.2.5.dist-info/WHEEL HM K-*ϳR03rOK-J,/RHJ,./Q0363 /, (-JLR()*M ILR(4KM̫#DPK}fLlKHr!pythogic-0.2.5.dist-info/METADATAX[8~ϯҊH`;eJgP>R8mG=$$(6#r8*b} #NheZ9#^{ΓZ E&_𜢈 RS kUxjX"h&{gG 2t栛“,K.*~>2lT٧ fq%D\SQoM%80ؾxwT2I Ib&+2YVgԐ{ 9Uk]-4bnr9[V,m˭xv۪;v[P-hȉA %j;4j .޺eHyk,``厓\#ָ 4Qll q&֎mķ3<$f؝H^41)Du(;l8e3|zu}^]^=BBheo[8uWJz Y  ؑDQm8)WSk5i 25Ӱef]v$Z0\E2"p V_jX@q~dq0g2mpNvMUdeYi6%x7(dD, SD1=a,q۱by=Kooj730H59dRѿqNe Y3-606m-n\U|y K_qIK1J(ڒ*x-(1j<D *>qSSMy2x*{׺:@^7Kd_8>qpp|AC?n,+4+pBp_c*߀01=ERsCUg5k"2p&+U$8t^z4mߘ#-V/8 (I6MF(z㙉2U%y^z1/\AS&aɢ8-llRSnb<0kZ7 ͟IwL*.'Azݓ+{\֏k1}xhӽ'sl漑tr[A7j7f3kN PMΎ] 'USTw~&^Z!l(Oꈡz)\^ jNW~z G)*K ظtBv.,$S lPK}fLAɿ? pythogic-0.2.5.dist-info/RECORDIH@fPI L2 QxvUwϽy&Ya0 ߺ Ks\##axX'+ɋ;]' QuϏlwhEv=_WƐ A۴T`nsTDh\Q  P NFp\B>. \uЏguT9A=Vښ햰 7\F|)7f%s=`]]MGw!k&YEWTdd' [ X$;7 EԠ[<ŹsxV ᣕ{m aåI`63ts6Iܳj4k::" l, }=U-I{YNAᚱ>EZQh\eUV+7~vA?A1˳ t#;ڼE/ |Q{y<]~ }cu:cC[u ?4uc94r6QZCwU}Kay/S(/q:FBwK\'*6. (i`>W 4:l~ cȑ/׍խΊQP[t9h,Sr\]7ɈҞA0짱#C8 9Kr`F$ g]y2Pxva.z-_ʤ["ecIuHt.ZWkBoPK}fLpythogic/__init__.pyPK}fL@*,pythogic/pythogic.pyPK}fLD(pythogic/base/Alphabet.pyPK}fL6I pythogic/base/FormalSystem.pyPK}fLŬVD#ypythogic/base/Formula.pyPK}fL IcA pythogic/base/Symbol.pyPK}fLͶ pythogic/base/Symbols.pyPK}fLpythogic/base/__init__.pyPK}fL6mpythogic/base/utils.pyPK}fL#pythogic/fol/FOL.pyPK}fL!pythogic/fol/__init__.pyPK}fL…őVk$Ypythogic/fol/semantics/Assignment.pyPK}fLB"pythogic/fol/semantics/Function.pyPK}fL2uD (pythogic/fol/semantics/Interpretation.pyPK}fL-4„ pythogic/fol/semantics/Object.pyPK}fLRf"pythogic/fol/semantics/Relation.pyPK}fL"b!pythogic/fol/semantics/__init__.pyPK}fLL"!pythogic/fol/syntax/FOLAlphabet.pyPK}fL_@"pythogic/fol/syntax/Term.pyPK}fL$pythogic/fol/syntax/__init__.pyPK}fLA2$pythogic/ldlf/LDLf.pyPK}fLC-pythogic/ldlf/__init__.pyPK}fLժ&.|-pythogic/ldlf_empty_traces/LDLf_EmptyTraces.pyPK}fL&|4pythogic/ldlf_empty_traces/__init__.pyPK}fL@\4pythogic/ltlf/LTLf.pyPK}fL~8pythogic/ltlf/__init__.pyPK}fL&8pythogic/ltlf/semantics/FiniteTrace.pyPK}fL#:pythogic/ltlf/semantics/__init__.pyPK}fL2K;pythogic/pl/PL.pyPK}fL8?pythogic/pl/__init__.pyPK}fL)my)o?pythogic/pl/semantics/PLInterpretation.pyPK}fL!/Apythogic/pl/semantics/__init__.pyPK}fL4m pApythogic/ref/REf.pyPK}fLLDpythogic/ref/__init__.pyPK}fL%((Dpythogic-0.2.5.dist-info/DESCRIPTION.rstPK}fLy=V&sJpythogic-0.2.5.dist-info/metadata.jsonPK}fL<* &Lpythogic-0.2.5.dist-info/top_level.txtPK}fLҾ_nLpythogic-0.2.5.dist-info/WHEELPK}fLlKHr!pMpythogic-0.2.5.dist-info/METADATAPK}fLAɿ? DTpythogic-0.2.5.dist-info/RECORDPK(( @Z