SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  1t , ]S]Nat-Interval-Logic:threads=4elapsed=48.741cpu=96.788gc=1.9807zXZִF! i]ŗXiɟH)0!h]G[]Cǥ5 h#J6QVhҶs\{ Ґ4oe\tRkx>ˍby5¸bYU~aCT Rqb^-Ȼ۱dxE&`Ee$iV:o6#~+MyxF\llW!^]@{T,C,[DBW=DMD+kPўC1~iJLک[_mft39"w7}\ɧptl"NJMs׺tlW3rYo ~ՍʧN<5hF_N*f!K,?`uW>oB?,fWNzT5yf孮qkfpstO]wLŠC{"5]Zu6@PKC8ؤ}.$ q$7JPPmndCf* 4ŇO!sK~R[2zi%] t @L>^!)_e^tK|_WvS)Bfb;޺D$VVxm"2gaÝDXrsރ1#\kĿ.]W,v 1 Nat-Interval-LogicR 1[% Nat-Interval-LogicNat-Interval-Logic.IL_TemporalOperatorsdocument.tex7zXZִF! MC]A-MՋhvG"uIBm5ݗ5zaLAG*)͔*o3Vu D,JYGkvl[bE,rQX/ ` hwrKGB2ڐ=)8& dBҧau+tĎ'Tb%G7nv}rIM^z*l .fε#k T/Ua d{s>`F},ˏ 㣾/l!^' 6s;3pw0(Ϭ)聐s&悚>8IN#`90=0gYx±_*l5sN]X3@֡?ꀅy gF8/Aum+8໿2'^k(":fXP3s{0.Z:X,_l!@[5مV>);Q"]njTLK-A} x׿] iǃdi+[`c{O6zd^X،Hچ 6:[' JyժAzTsYM)LYj¡]׸l~#_O-ކa IZ{#nE5 {}G%4*&sZb3pg:if,pQ8.IHsVܷ4&LҐrZl>(o2a q3, iVTcH#vs?48`kt5T[3 zOYnWc 7Sp=F#p9]ni {6aTd'gze"YLvH"mzL͙``_Q&qJX\er>bPx MW`xaNͪ D'XUkM`ŽϢ5O(b,[$/ӝ/ 8Z׷Mc6 6Zp.a{G sXhf"ՙ} r񕖛Mfh,pKɤ$bɣLF\B|Zţ'8֮M; .S(.C~Qj% Xج~yK=ghMZTNPuAILD9+DRq>YwagB!r*#&]zdXe$ǖODo$r r*;LS8_)ҧVhFs{<_sx|a?BuĜfP&P$7{l?G2nM54d%9rJՓ/QflqrU7]80\2# >Ļ;ݱ&Kg.C1\׿ʘ|] Fh:XXȓE|_8@4*) k{&xy !j &r&K1[%Nat-Interval-LogicNat-Interval-Logic.IL_IntervalOperatorsdocument.texB1I%Nat-Interval-LogicNat-Interval-Logic.IL_Intervaldocument.texJ1[% Nat-Interval-LogicNat-Interval-Logic.IL_TemporalOperatorsdocument.tex!~oT9T|X{AP .hP[i/)#c/gÓ`IMoDfꖶk @n8/#ǔVOon=w?D~EY62NKȷJ>Nm9:#Z?dC>Ш Ż׃1~0'8n׺y.ȇL Xsq3#}%AEьb!G/o'oZ:2wXD~9 !=Iq@1Hً_hZa*[/h&~:@Do߄LjlFϛu]CSo-ɁN n#~D(},"Tmh?:gz['igeu &KK;e볬\zZ)ЅISӪ⤉ !FM_WQcc$oiZNU$AM8!l$0Z4O$]~2Ff΂('Ua_iLJr"MHdEG9Q/aP="Q˂q *~TZ"jx.;@PihRWܿ3&$T'r5.m,z#DBN`A]$mBDJtK{9&uc&έtt?o.*7x0F?4$oOn^Cć❻8^Uڿ)yhҚ1m15 X*بuS|%r74԰e 44S$m[0.: qUbO2kZ,_k>}ZG^%t\鯴h1*ۨ[oW-_چy%m3m#v"0ߩot fܑ @`Ss\8H .Wts#LM1yg)sXn|OZZ']ႜQ[!*vCztvm-] Ai?PCPK[ؕ8ec9plYK]TsɜR QبgHFCnhڞn_<_MRSye6% 3Ψn Ob\00Yv PS D'6~uy+FJUFb5gwдQԱlRnt1;.G/>cU+~wc0^;Ll}#=m)ޒ*O/(;?qNϸBu' y CHX2X1݌-m;tw9wrVCa{'E]}T+HTR ^5VGUwxyvophkO9> .>g?Z/ŕZ+pyqs\|U fM\ӟm*HDpc L`WF.fC8 Lf孅V!H7 1.6 e)*O^!Zu8|ϋwCl 20P; 8t9F+3z`|{ n3u[k{9ZPE:2#JoU<-6iQb\-F,+'CE[Bv v"H0']pfg@-fQUcVdkmͯFl9̔! ZR{T !M?׌p1QTz6Tx`δ)[~{W(s ;ֱhu* ﺇ81tsn рq'DV>5D? ڏ(~m|0SFP7Ԝ8qC.K7[kIP3=-]\㛏g\=ߩeJ;ho-NS>N;q@~F@)%}Iv`:ݳgz_k`"*C[rٖLa>[aZE |dW?6"8y+^js]Ll[+TbFE%OOB5%A!0ߡ)gknaYU9>!]n\ x7WuBo8j2ÍõS植 d^A-#awBAA8LtL>dqvH’9 a@mw-[&q'Ppm^yS@U`fP A;\1mdҧg;AU~C# i{X&[ugkdqԐ♼F,i@S~W|(@vH-2"AT=X6WZ{oA`øchwO$z 8餵Ef풹_Q\w/߃8 Yj`Gp!!Ok(bĔE>{|,U<İ ^ (ΟUiyp޻-Na9РsVάIgjH;IC]<,M-a -FDʝ?}W(3vʄf\_pa)KBIڢztb- Vz~aOg xl1& M9_ ^Ub-/ Vy$J[k]\TZ綘0_&bi࠻CVX|LJ]Gڽ}Y6;R@hmFD6}S2` E"QlMc.b?R5x/826]aC[[1u'gΝvAmvsъeK3fJb_rzodPg hbMxѭ?+0Ov\m*F Z$4\Aٻƻi! AJ㍦@% AcʩP73 $sMI}xQRvH741t &BW⠳yyBgˣAmSpm /zJpa:X`%]'Woܘ|<(n U\̿&Le,yyGK<[Pv87H9>GyHt[5X;m0KN_d*_e+N{ ULk^0xH¯N ⇪ $t߃xqx -f"Mԟ NP8yQ.QokҐbȫCƫ?fMRLu+ RU#Hf=Z:Q+UNemX2 p`D+ 8@oc"[ q@&Pٺ>,Y@. P-xwo+u>!ftdυ9턖?J Ro}ustr=pV`7$1҅c™=߰ c][ l0(zr.-B6 e`Uer,3D)2.xdaBh? KB>{SB$l|`m 0CH< %Is~4 #a&sG}.F>f8+Vm&j%.QjdQR'{];$83´vc p|DBwRpֵIŰZI 'N(mX嶀%v.ғiaN$P%/Vmh劀| r(8ߖm'>~Huq ~P1x(Ñx?VUI( PR++sZ1qfexxAȨS-*X?3<uPg"`PA \4dxX80^4#EbM53rw!B\r KD0jOJ3$فzC^Z0}`NZMgYb%砯c"uխйGa.cY->П&oBT](PU$׋Dm*\yTN3Z|8ERV!写2醚3f4؋m^23 c3?sSk~jCaM.·7_\k{;|?)L܋".U$ ZCS?kO &P=gʪ#R0yN}92dozF~ƅ臷|tP5-Tոh:wLCG0s$&v|6{I=ja'JxE9 k1'}N!+:85z>,Vj<@H (C iq0 6~F_Z(V'ȱ Z_9M6(,OwcSa}KH",4{Oqnny5_]aZy{m7EһRLtō&} ,msj J~9A+C51:MZGSG:d)lVeaϩ F px ~7b)s/7;50WZ]=]}sߪeR Lh\#Hȗ; 聙 vzULjxsBP(ʛg%> <"he\53Dr3H%|w}sc(Ys:2 է==*x-P׍?btl+ۯF"Y|rW𜪕;Ƴ˯qZar&/',?bZ%Mk;gvw<ܭJ<$S*ƣ ]|LjW_aWvC^K"vJȾ"Q1LњDv(ܵ?BXTvg&u(4 wA@εm|knř¾ 2nuKሖpH.E` {{%؇F^)T-hཬw~:b")O13X5'5$Y䋁Kf+Y#pG_Gae: 21=C^o-SQ5"R^Lf 4a0"}9QaІ}oʮ%w@V"ЌB<1@TGXM߳h c]!QSƓd@Nϛ~3KOeuz4ꍕh 2=4/E%ӍqQO#z\uacp/\[$4XA:K:nkLή'=VՙĀ Gq1E}G_)qc^w4JZ笩T0VERmĎ4Yyn9Nɗ$p_ >Ceq. bu <=v`M,Ǹuby:VRR6r[h]At~>}JAxaͬƯCfHg84[;1.F&VSW WF_e?}6Zfo)DZkiꃥDBW|׮/~8N]n&u⋎*]Q!]Q0 Zs=|D&1O[HUc8ٝA˭n6$2檘$ij(B!!A,x; sOq1t|b<{1g^hB =Zyq4 }jO٫<xA[{įi>/d}o~fvx6 =gZZlb_bFTq5t'm 'ɓż x`B8[hlxɡ$C:tOl$¹Б OE=mA܊͛IviS[D{7TZACcMӜ5A-nsUiCU w\T[۔都R\H~: ͼ|Z L!|LJes9< g2M)Øl!] CDt<(ovWwͶsxn1q).v"׃)@31=m芭5Ml83kGmλՔo9Saum#a t(63^[q3n%Mf1/ S4* f{Ìr"eV/7R 69~.s^ldH[D篎&%zlnX6&w|lUddj2ca,0Hio\ﳉ:SP~Y}jFSin$`]s4-F}oS YOb+}~1*g:'QA77M0OlJb)nNt/'AR5~a4HT(]lBef=A4Pw(: IHZb}0QF;4D|;^3Z-L5 L^=NcˊwkS-,sR ׯ#a%aD¡j]af?}hMߦiR{VV $mv3Ap]ݵ۔ JQoRtkSV䪇nm%xyj@m). ^򖰡(j!$YA1ECt95D݆{bC_-!*)w1$MyQNh@u]ɾw| Ό419Mn~8ZUaf15Gm!Z#_GȮ7G&VJ(QA^/ ;Ѵ^X$KAP*u;W%`sP"YFDrTsT>3q!K.e=NS@a9MuQ?¼yNS\8ʳTRw {ޖGå| Y˰Xe"b?^o bWL7LG^݁o.w+hP?ʙNJy=OD3쐾*X`ZN/~*nN:Ja-+ nO주x'`[)r7ǻNÖ'֭D!'%L2eωlQ>* ?:x El/$:kg;D[i/J\Jn<#_mj d1@`J7Z>4(W}]na~Xv>^/g 9ŴE!BE- ۭUK,@l&.UeoI']g܍F&s.~ZHXCa攩oQyE8(7dri)JA 9|}}¾8׸}#(ۆ%۳ ^e! W4Sڸd%$*G^`fݺu[)a)h@:M{߂RDF(Z'آh jP /f Z+'.; =?»@իpƕZDXJ5΁efvQWvΰie@-b7xxUZ6LM_$]r'|A"P01VJP"+CI= a&6 ."|[XQYۺmyg,9xa C[!},B?mLVĤNNn|6[8eeucsnp2bL [*$ٰy ~ r~ oz\#0mV/! B 3WFB֗+GŊ E @rN(L?inV 3AF@q |gd,(UM_q탐(H|+pGpA'(?072 ]l5@2yyW$[=v%dd|z %vc/"ՀIRl?'!1D~#y,O(ʥ@γ4y'p/_)OSgyLgg2fE{g5G$;ơK#z3nwk eF3#)*\},U]xY(+Ex4A"KL-v*oo%Wa:$ ^0/vdn1\7ɗ[ k14{jo_rel{ {is`vȢM 083r)wC)YL^fëgU+:Dh]㬝N[IpyDY<')3:ZtJOy>G3O0WCphˏ?A7/MQ#Hj"c}/84x3-E~?W3P\ir~|t=5)K_uMi/Yw h|HY(58](8y[羑\Ibn9"+/W&u?j ή1&&PUfgL#K${` V#}UCqP~DsGEb3ݹH2SmXtT0L7z%ޑ !-}?nyiu8NT mJ;HE. 'L-n/"ٌbD:=$8H)pҎiH"Xp(Bmk&q3 ',:9vAMQCy- <]\tZb@d6ZmuAH7\WȖL |* I2ZUT6l9 OGWfPf6T|HaI`/Wn oVGTyy-T9H  s8ſ\S*S2Q*4"8VBQ;ưvWޤIl/o$ 5X}CB&SmOd뗶4˄.b,8:_j:i<s$Qۨڇ*ǦagBٴ@t>"Hu@Ԕp]õUN,:5/' wl v,D-n?SCF ,q2%Vx}{?U*b#:AzJ/ @+Q`}V@r#"dž/z, Bͦ-J҆ {"L ]P3] Oڝx0ma{,BPeyυ,C,upC&YW(7&H}=?T%Of\IgĠY]7[i+ 7P&2~"L[*_k}B|r=v9P V!'>f y_F!בNĒ(s j]\.=*U%j'öx w"eJ)\ZT.8Tpaԝ0HpR~GEDPDD'硝T *m'*48H,C'1&W L ӡ= SH=qƦrtAEIfBЕ!qڵwdj]Mli- Hv+b{ݫz(^f%$^eoސ9C%bre_/Y%ǁ$GztՅ`xx` Ȼ$O6CUpz>rRхER)|_Lb%1#'PHzHjop_Vx=UJOJX*|S(sv+ c` ;$+rև*W&{oۮc5@FzpTaB#QԪ (V<|e8D1si ^fJ}&ޏAccX#ËjB(b~ kU8=s'"[ QmI m%ꢻCf{ۈ,' %)2>\ +ф#t]W 1k"kl9 KI֮L5$5'dYgI$(ܾ/ $MkG KD*?uPէ)(m'{_ѫ'G;ʚϐ1Ƞ)?ņPt3q wa}aMӪ@B®blz9WUJ1 !io͟Ɓb?نhbv2Kݝ@>؉A, U>4Phas=22lFm~me-Ů9@'w=M< "rw,:}PsSU꫖į}PuwYŞ GΑo&CΌԛLK قJGuQ2$Zz7fKWWE5zތBD@]iY+5|(ާv>`9B?/>UQrK{OEQ~M@^'A_w ٭/tH\ã[XlE? ` W}vCEB; 7  [q/ĺv9S+}+Mz$z@$Җ?s`u@[4Qrz_߻;`L=nB>7j<`8%Ki#qύ7,Ф-6;<Woj m{7Jט CЦtl o4\=s<^M'5"ڞf_] ;lMË`~7`=CAS%o+5R8EsLt@fPr-쁭0 42mE UR'X`Jij;%O™M*_ փ?Ln7W5b3*$N4$C>P+CE"oinhF$\J4NQr|[@򌫦Z*/mɤ&ܬcKiLnI?'̕3,~ /뒥u%7ޖ߫JɇIH118A͙RNcx"t„mUG 恦QdSμVN_@>zCci3d1 %ĶiXUF1Byv.29R&y3ZgR) 63>^NP+$`4ߟɾXW&_Х'!UJ빉#Q\p\d: MtlP> Ӎ3DoyѪ^1_-9@{Oh'jNB5ۅoPLb"z|KUv}Ԇ)E~j+>`Y+Y*k/|ZT:a(­e ]%S! Pɤyr1W.g˝x{pG]H)/:1gxC[`bh ,gaK@% ^6_s69auizj *V'؄m\`mm!(/|%o/rJ##1J|O7:=bD{s8 6&Z1vfy"9Y=/#b(<'#MM%{ݮϤՙ!o{$kwr& 0|, ԅ sчYYMafϓ̗6!{P6R{9qkC ؍Eƺ+[4DܿUY܌Ud`rTk6gfxէ,Jû<'9: SJpK4lW~;wem'hDö}φf`ΰNq9?#ASO<ܩY9􋲑9 Xx#סTl$I~t{xds$%Bi pV%QZaBaSO1;k 8i+fLW83b.;fxPA;FFik K4׃ OJG]W*@m6leJ)uiԅA=ሕMr-[%HPAS eRDt0U Ęsa~n̐[kbA8:=gW>C6Xȷ*Kⳣʰ W27 n֪snuoAI:$PwZ2$ٷ*-mFE{~i@Ob뚲4_r@*F=OsEk}ٲQ"S)w ]( ЉQR3=URarJLg)VJ?ɘZ jnQrĆZ@À7ng u,wlkAN4Y1>‰vm̍gZez/ٹ}AQ-,6EEm@dutՀ-_R?{0_dNߚgYZ QϦ}i]GRX}Q5{[6 6wtxiwE>tIAkY*&x`{p⣾*W83)o}U?}qȗe/ż*1NRȮh;y=sh9m:U[UyE;ע~@`:m‘uB8}zXZFh4Ŷ>;4IIҝb,rF.LHŽWUw#C9Zun63"OkYX`/Y^{0y]s ^#t}h.a7,c{d$z75I:EJۓ6j(Nڞj6V8"qH>6ާ5eARdI _V oŁDzP t}pF"uz38 3LlVBXRQVxDFB:2%X==w)lAnѼНcHn rOUIB8o#$uWS4bIHS+Rʊ7,Wfפst\Oq܉bH>Kx Q0 S98XM$" Xoq;v wEn< ˯x-%y )3Ѷ:deg3&k=Z_М{^=}PccQ !r08%]_ 6~.-6w86iQ@]+:y8i~/nT~ȣ='2Lfj^,JL8JHk (EYBA13!#jbik=A)ӎ )0Č=f1` _JAQR&e{c!Š.P٨#R,6e=eUȃy=EG+?yG]_GJJhMqӪhogƕCRs^%Ί,65^S̤"񛧼ekBIwVP QLwQC9[kv̷WK(?OloH$1:'[ ̱]I%2*~t'عq*`W "Ă/Nf'e Cm/) ә[kulX_WÔ=5Y'Q_f$g8Nwcܴ9$q.VL5>F. 6C9064v@k¾ŊaAp2[B4mW&5Y(|*.a7 *);G-,:%׿ˍLFP`~.9M[&A,|Edh/*6/M8].O/"gd2}= ($(x^]|E!nC3&ԫX_0D^ߣ᷊QsNPW=ĄكY$"9ݐw\v \0 P4 ~f@YŒ;:j =P<W^vBscg-4Ml~NЭ;Sxl3Qj0qx'5KKaxK2l|ؚ"Mu}C$к0aCӡ |:jR`.s6/tV5KEgO ۞9BRymZ=V(X YBu-T|IՄ/j?DE2߶D"+]>g k"|Q'T(YK*Ryc363z_~Z> mYȂEeGMn>yV5c7bvˇ, [b?ڠsZmޮl$(Vk*CMf>>w*]A c輷1^L"D.[%3z*BLCo: W66,W8 eˌ'Cq"X#Qw*Jq#*SgBf6&סj'mҬX3N +Ր qu)Cy=Oft5V`7yڣ6M[ix~]}Y@KTL  8_1DPޣ*x:ƿ  vBAQ3B{{LRl7bc ͧo%ܚYOhεQ@e2 f`؈ \H1*bͩMEIĿB: SHG=* <*SY v4R ALCGi Y;M`N ^| T+/i~v %RͿ?exLqv9,y!T"My(4*qZU"xWec\D[QħYF,spZ^skw3~xp[7O1>zEڣ|ls7byO^yl'(FJ Q?1yȻ9Ԍ$C09wO1.e5<ًCo^V ^P]a9ՈY$TİPE98D^雘\k8BV^r 8\mX}$ %:#s]5Ceޠm,%qfmGӈy4mө{n ±3NNgJCW xaF#^a@"E췞0ӁNQ&ΓN̾[O߈o2Y \:m_T GXIAZfn,ny'v#0 :ӿbch;NS0߫lCeBc|y(Nh| +D脟rQblW9*̯Dnnc~ׄSK _2Ld+a,;d sYf-5/˕屐Cs[kQM"Ow:\#HM>W%0x yVa?2AX4A 2eȩĦő:0GK GsU`,s+Sv|LT`%څ,ϊL07+?^B}IY,Odb^-VH\8HHNLy71ZY;Ek Q%F F.FGu֭Grw9^pDU^Y>}}ݸE$%(y3Ȩ<+A\, lI(d8ݦ4n85BK@՗q"tT# gVW `ՅˆJ%}aʹpǵSڊpf'xk0mt'CDdᰤKm}Vw0yl1`EL\hQ\3e>ic}^nR\-$ۯ` @scF.n$b 1%)cazqУNڇũ|Eja - lP>^3VQ39ɡxIV6Ͻ;Էjad6%96īćA,Fa1;#dfIK=:)vv+AUHd탐 |Kg}vpȕ78S}.Qw}jaQj5(:B -% 4 uM  gW e9& gx7qE:-D|mP.V;o) 5$Kj[W-%C? 0v=Q-4"m'O.t|$P?n]蜍f,Z-ѕOz8!eobMeyH'oR^h:f'Qs!b#̲5@=O>aƽ"%ރ+lxV2ui_L&b&n3zP'H7h 6}9_- 睠X5^MI̫Njw<*s>8T2ZN)~La<(YvI)u sƧ=IoLp28O8C' ifZU^$L9ω:z'-TpSL#7NAY$._3/HͨG6a siċN_טjj/jg\|Ykg|Og?߀#^.@H1swa~cfe$_B'%&sXU?˞&=+BɕN)RCt;J+S!qQr;!1(s!K\Hplޜ f@FY"1B MHEƂ7>b2ŮwA }*Ba(فn'SIDttvW7q#; W9#e4YOT Cz.)$2F>kCkp.%FF2 R;4[eǐsTS˦xBs&;iƒgV b*aLʿ{LO)xHqҬC3Ug!7 wM8ާh.͎ʍ l\D-v/%ԍ\ ަ <24s ^=>T~ L֫$wMe +/nuc8Q8gJD9i?5Q]gM"tAp():R J3FeYi/Fc'{:NEi.Ngǃe&EG.Kt3@"6pstc5zYѕ 5"'.zu_Y%4E>ƻE`e@ 0W܅7 :YxssK4&녭$씑VqٱP$Bw-tB*L/lr[_xv᥮ } nhޒ45%H℀s* a1Iv8֡@ّ@;UATYȈMLM:VB֤92xI4̈́>,ፒIDLTA@!kyˮvC(O lx|@<{| '1]LBCDƐIw$9r(*LrRշjfP~vY f \7,93B&X{G_D ~4Jlwl>ṿ˴O/\;R13}%"GUzw; U#8f ETV뿽pH¦p=V%7cA7&gNB\&QitG8A2NpTX2iP Ǔ4nbwp iyctrΞV@oPHf HӶ E_Ĺ֨~l>>6>C..|\J=IcX Y3%~rPmK$+1ms#n$75E,Eܜ>sE;*ڦv6P?\ZG`5yô:f[B 6Ԓfzrl H?<CXCv3S t cGkYKk.l3C8FDog@e#TCT7gjOX(}eReP<ͣeC\5u`櫸X5veWiu XT(";-RH8vsу|S,맵5ϲBNjS%fL)|*ļNcsno[&NA !0FL8;DD) Յ\" hcq\,G^-ڎƀ'(.8͎ɝ|s<?*0PC~E?; N=zHV8VدQJ~TFw@̯krH!N;4R tї=tI#9%v]@Rjd\\O3Y6m\  ;ּ` *ϫuZdzۉP߬):VZ%iP'_ۯiQ%cTiB?f\8dL74=Um=&]/>?Z;&";?\N>.~jUo+i. ҇]md},E<7r}d=S9Ԛn \d[.3֧Kq`?2a*fIȑ zs! < tqṭaQY;\%Hm# ,3V(E;TX_`auW{&e?%\܅lӬMeϣ|uR=zL-pzY p2?!@۲珋om@NÊGp#)"X2s^ܴ'0tßoU5ZU rnqDXBIg1Yl*ْ b0==e'5.yWphu)!c`|TDITn5 k*\ӕ_S?7}Ft`lJBkC,:'ͤ=1ѯߐ, V7aoWAʫqAA.dq @O[y2ƙWKf[H`IA./Z+,y"pΜ>.rBS$nezi4ې}&l\J$ІB p ZV\ҋηF+r2ͼZᦹ{dU{ym& ]]VQ&=+)fcEܿr Z~?W0Vq-r1y:2QŎ2 "0߭c+wi 9B23J-Ґ4ہ2RhGY1j&Z*'+ϭBR=ng] [RMLLۍPoBcl(Z[F.P+hKE!_J@]T'ΘD|PR#(E[4 шD}iFc$AmK3>q[fl2yKo$JJqS|5[Y:SpGN2K7 umwn';ضf`(OSs?ޫse<`ՒO6ע"B ܼG_YbRe[6"B2BRXY/k>G)ݿ[vyXxStZy-4)Apn"QSQP 'Oq7z-hT@)O!>):Uc yBŮƚ!z!I*O4@ 9N#tR;,_jB WX$Jw)vLL|'9,k У%4L+Xb'[L90.-G`fK羠rn 7oe֕QY>>48 JX{g 됟:[Df?ô4PծQp== Uh%SM\S 7)*܆hr\6E[ZKRo[l$[r?C-4u&Si>ZNeL9/?(gPCnO]|Qzj@!KdeB@[L #/ JA1ZxP֕@káѶzI3b`FBQ=')EKpՇ)s#`T޹_|Y'xM/tbF$ɍ=UM Iu;qH FZ>giRH VJݑER. uKEJa8RKMrח<aŬ\f3Cpˡb8t~B9+R@?7R.8*~'LlO|sL—֏] 罕9SBb9(%)Iĉ1IG, P!YOSrqU6܁O[g'G 71@㽣ӱb3ؾ͡FXlݚsj4E}o^иVş_O";1$q6'rCf#p T&l7?Wq6_+:\oH  &~bKqLBQM2B~N . %颊~L$odusly)h OlvrNNwՐLMR @4ubkO^l pi9Ym'9+oޘ,+[3IV)ҘӢ~ogy8;q涼=q4;v} g#RbL4?p $^]lc,H&gS-H5OUy.qko<ǷkI/ 2a`Ma(Gt~VX]b)V|2gcJŞCeGqO˻m_oYȘkIVX>=oaMY(e F֕$w1X݇=GY:DT m%My5erGL^% [-:"+w<3'~}osMJg֫ 1j<'&9z᧒V4t#!2Pɹ00%oAvx+_(26Q!(%{ϯ"D7>?OS>_#@VE9J6VL gZ&ehQ,%kb"g= Sid.ߞM-th 0*r78Qy;#Tew{EN²k'~/Q%5jNf=dh9 9fE%O&!E/׮0]1,Qe[a*HgZS۶PFX80P|Udjwф_Q*qOnC{&QlvFdjȑe5U-{yzrBS1CZy)[A*.a%4o+%GWB^CO REYS8IQ$vN_xSNfUp-p^NOʹ[# e8 f͑I94=˺)(PGP%tଛ夫s3r]K[uf0w(9g ) Hm ;eqOU86@q4)*gkIP'j $QO/~9^.ֲ)גf*Ϯe"g y.hi +]dJJTB~m9SU[,O\?v*[ lHފ|G;l6]TPނ%{LR u)9[S?ب/ߦt6z*zh Gm9`]{Q&BC3Sqn'085\`R̫޵3n\]iC{fWn`p!#Yl "yn C'hpˤbP΅P vv o&Hu0 V2~uc,pѥa!dYBfF{x\=>)˞E U`Ae:}han}I (#盛*TV~KO'H ` U8,8yp o}9$T^_:_zJl OtGM.V4X5zqGfW2wT<4 Un s7 2w1g`s0E,+4X b FG|S0i@q5rǭY:Pt},ѸyK&7;!MJti&]Z*9gf[Ps;V_ge.:CT?h@nD x>AXomÇzڦ㈏KFB:;U`J7ּTUa*1j˯ @ƌ9+[Z>A(R`?;$r<$p".qĠlFYLqGjߍq@1;柟GY Q.!`ljGXZr)-֐'_}f3MժtS>tPLҭW % u6CΕtnz /:U$2Hͧ&AD7b .&s$;j\~Q*}> b:k\#GA4c˘ ś7XY=ҴM!4cMP NWӆ(=Ѳ_vp$[1@V7>N8YW|HAH_m]J 1b^F5:=+t(Y$>$Q< 46 d\+K\٪ XUDzթ֖'bw:ܻiBP$*cY\ ?qG[ 3a26LNCt%ӆ=\G$׃ >!amj83L,s_|-g4$ڌc+Jf:k\";(ʋ|{2טP~ 8DdZꩴWoY0AQ)Q{ C[j੶I"}\ro02=ԑ!}`7z~xZ✌lՙQQ" Hm7{[Mt>$xXs7q tUK0~W^*ŲC߈h' rNU(//$hDZ=ZTzڍo\럀 s\ѧ?JJU#%@ 矢T"1 zñI@@|T8GѬXBpobxn-Z"4!>z- hdZ2 3kjvٌͯ۲z%9Oewut^ Yb0gI$oƞsd_#=W2^~k g4b>)vu\ʞdPdxa)LS֨li )&B;t!łLjyB؊0AJ$dck ~J׊VF}w6 !l;siQD;^K\+dx*D?]&n2 G77ԛa4gץln*9~$ patp(;Cg=9Bv!iG5~-(`"FBGʏ?5&qӋxTr_۵#dVLz!ZȎ8rx8h/}G%PQGAL a0p 7YV05C=bz) eqC=ӗη["ɉbXd3Уٿ~ЌHN)FK7,y߬y(<Ҭ"4,9ͺiq L.OӭGC~xE< m?ŀV]L# T#{F{^riH.P6&7ͪr*!z}||ғSjl#@ `8+#-"˳顲ѹv[/Zٜ.C^TTm[#T{bjl٫\0.˘ Gک<[ cʁ+aq(2*z,tHz%ganOO۩CX[^PzOy!_h a*l}Zn_oZd .f%1O~!I!J88[,I/dܾ-vcȘ LJsݟ5A`JS|O"+,?OVg?zʇJw{ԤAIxZ2MQȃIG$_ԀffQTmt*酂vJs?>wϗEŶc ?^Q pFTp`y̝"Zx4`8]ć[@gSUGLt6yҟ \2) AR.CM<  :Krp 4G(g &D$W݃g. tS]FCڑŧsiيj%";[ݖ8,Rr5q8:W RVN%PFE/G?cji!+J)Xg5̣9)J}f OIY>pzcIgyuV^X=ʲW3DʧnJ~ pP,dQL1d;$euǃE3, ,~Ȉ$!   ͵LIK&<.u}R)WǑO·h\CS'}F&6 \or-?|lV*yo2U*Ajb3ѿXS'7K/"k$\Q(~G ts%jj5mkZ'1ep#a^r%HsjYѳw^ bM/aJOtguW|7p9^ F|F@;orZWWDJ[&}\祁pe^m/ao#z 7 pQt+$l JS:bsr?$H{/$<.}O]RDKR3?7vޱQ>qUS}/ aHhM鯨wnBfUYq2}4ei*s"!)9Zľ([#얤堗4r ,1`%qIb`;\l/KMY/`I#-S KT-jrzʂv _f0E.X`Wp8]ky2Uߡc!{]JKt3ѝSkzN jB R"-Y꫑+25fwrRrnnWO#ųH״0T4NK3@}XMQT</ э}.٣Yg[2lzD m mtY}4`US/ VZ% (鱃A|Q7eUtGȊaj灞IA6aIkYClpFyaOȹZN*S$sA/Cj9x[{2ata04v}`[76 K2Ư(L~Y@:ʈP'@QNf|LL]_{e+9»i5RS{>Bŏ^ɪi\6'\1J(SbVE7UmHy~mӜUl m%`pIF9>lˇ SF~"B]k%R-bf uP>R_Ɉ/W7Gu8?." d\),Qv:n֚q4gvdĕݜħ#8mpzQ_+ܶV-I?m\~x0ZjPV=D]S/4P\d_t[ lp ?بΥ`9%g#zM )*t\6 &DQ{|V;eOA-uQ1b1cD6Fky *tzHԙB%tNS ?6dzɽ98 yad{b dE9w lwmSg@n%hs(B/EٳPUlq;oV[H3׽h~ '65WJQ \:3=Ǒ4e{tд; 8g,鱨}ʗ#L +"F"@!d3(qdm\by܈Z>O1WצQ71ul3gKeIM 1BF'˹f!(*}JHF[F{P1sE6JdžtQ Zaa 4|_Ռ:Nyv|Kb~-6)bsT6\_c"kD3[=ӆF-"6ϣ ף4-X7ӣ3",aOxhl!rzTLTDϐ{ lIYC10ɍ !A&uZMďjhX3-MC枤['Z~ n'.>zrz{#5jH] M/fu@^M_dTSvY>};"op%{kJ bv6NmfS?7`&>X"iavE8Qi-T"'"X ooqZmіΟbp9LVp*YDYAtŰU蚵!yҬ?gؗ_rƅH=C~Cu8vj[Ii333mYN zM AiymaϣM8Nf߈K@@[KW|+ĺGKbu^{'+soUݍV5VhQZ?/+>/pd 4(jsRPd#-&Rޔln;Gx*NlWpEAEly_ywQ$F듳rDCw;X-b l3kMT%JqjIWA C;= "LoZ272~+\?8(;s84}ٝWNenq`IU +7a* ԒQlY\8q nhmy)XQifǿ 9_SyϚb?f!HaL0bXٶߒG_$Zp&l.^}lPX7>|ů/Xp.e&XvUq1\ٚDUG[I>*1=*> W|ZPp&C‘? a{y ^ed6`U'N׋7 p' //s. I9uʕ(?al3u6dUipsAfӚ>?zSi7MPVtw !_bX7\H.sÞ8Ԇg6Hng3lM\U޻M>0FyߩB]5tNQhG:e^9(NPEYlX_K]4.EȶUpbJUsxcW.JѾCPMhվ 2DgۧBv7$lWS0ICKEscKRyC抺>6i`}+8 i؅i-/6œï@2 9À$ẓ,^$?B }I%{ = ,"|h"c~hb'~=Hh4ڸtm(;ІќK%rNڏV+i+H74fB3T:zg(V-_r@sUmXue_tgHUK|s0H+8^ 0>)-{2QEۆwv#,oܻ#*) 'DBs[KWӧ<ɬ{FԵ6P<pz_'ꓯC^vȺ w_AHuk6iT c&^d!t3.`<-m%oEvC(G+F f"PJuӠc4 L alڬic=,RH{`V*@LY`O'U)C^Zȏ˺ Q |O]FӔ ьݞmsNɗpNitQH~OE^d58 c:p&3Wދpݢ2f$6I1#JX;Y + A~ꗮ Lȴ>^,A>Ga@lUΒDIc nµ|g;yNna/||u5vG/]eSFGAq^#4]s{Aԓ aqc X86=up7TI XŤ,Ҕ:i 6ڐ'תe0ȴr:X L!FQZ'.v@8cgx|!% EGKN>̓-1]DAn>RCZ'æx%$)ءlWC8)Q/^;.ت bU x w*$ ,;RB؀jo X! 9[DHngYZ R 1[% Nat-Interval-LogicNat-Interval-Logic.IL_TemporalOperatorsdocument.tex7zXZִF! MC]A-MՋhvG"uIBm5ݗ5zaLAG*)͔*o3Vu D,JYGkvl[bE,rQX/ ` hwrKGB2ڐ=)8& dBҧau+tĎ'Tb%G7nv}rIM^z*l .fε#k T/Ua d{s>`F},ˏ 㣾/l!^' 6s;3pw0(Ϭ)聐s&悚>8IN#`90=0gYx±_*l5sN]X3@֡?ꀅy gF8/Aum+8໿2'^k(":fXP3s{0.Z:X,_l!@[5مV>);Q"]njTLK-A} x׿] iǃdi+[`c{O6zd^X،Hچ 6:[' JyժAzTsYM)LYj¡]׸l~#_O-ކa IZ{#nE5 {}G%4*&sZb3pg:if,pQ8.IHsVܷ4&LҐrZl>(o2a q3, iVTcH#vs?48`kt5T[3 zOYnWc 7Sp=F#p9]ni {6aTd'gze"YLvH"mzL͙``_Q&qJX\er>bPx MW`xaNͪ D'XUkM`ŽϢ5O(b,[$/ӝ/ 8Z׷Mc6 6Zp.a{G sXhf"ՙ} r񕖛Mfh,pKɤ$bɣLF\B|Zţ'8֮M; .S(.C~Qj% Xج~yK=ghMZTNPuAILD9+DRq>YwagB!r*#&]zdXe$ǖODo$r r*;LS8_)ҧVhFs{<_sx|a?BuĜfP&P$7{l?G2nM54d%9rJՓ/QflqrU7]80\2# >Ļ;ݱ&Kg.C1\׿ʘ|] Fh:XXȓE|_8@4*) k{&xy !jJii ;;% 1I% LNat-Interval-LogicNat-Interval-Logic.IL_Intervaldocument.tex7zXZִF! !g]A-MՋhvG"uIBm5ݗ5zaLAG*)Ļߞ/#O\’z;)eagb2p+"]s-PezziK؜# אcwU4@LKHOYڴBͩ[l +w9-L|Yw S~fUe#b7ި1|:E(K/~p8G< |6ܮڒCcᖬ󴬉ڀ+S+(uّw} H^Km*7뻹yVl)-Oسaf"bQ-;/PC 4a_H;;&>#1zAp_)ߑ2G ZG P ~{5A?fpZ#:;t!H!`R\1>56 GIHcꮶѰ V[E-fo6|'H%v|@?UK #Ϙ؝e2Akج=jN`d}V1mƤ&ֻ4ұDxs#W{v .rx[y/^V`ք-vHxTēF=\U\p4z?<pzq3Bt Fv S%Gΐ8 ㇈iZaR8X;5Sؕ`z=vjF\5`(jʃ:O&@r㯰5tkv^)@ga;UOX׻GI g5Zwh .^ 4k8 &Hsgd~l`Rv>|JoL ?!*cLM%DlC?Ro=&1]5$C]ƀm\4 37"MOZ>UI+qufH GA ;r%g?S[z.|)q,$Yy젧zGA塗nh,~6hK$𡫮&C?4>ecs"~= k=r̅^B` | K!Z1Ety^}V pD:Ew VNӜRHt1|gx"9ADFs[+%Ta*^vUvfY ۨFHV\f?|TaEٓҋľzTL_ij10X8BRU!G17iDO)|aR;yk ";#SVf jdE>PpS `qdŧ>gBO7OqNY:a0>'~bHT^=UDS39#X(D޳?~Y0B%k|Fc:Yg#зq"~R50h-E\'OkOUߘ+!d*N}L:^F3'aVdK~Q@ c(*Wִ P@O%YկlK]@23,B8K?\חsm5Mu;x =HuŠ3-U.m5\#s*iMtCڢ ,b^IumZ/GBOWm.;Kg Op#)g\vp?Z<]vLyӥ*֭'z~ʠCFi"lb):hGUݛ&T*'0Z6{qKuH;DBo!5{zCGTd-ZS$8ocqg t?52{3Oeq7O1dBw"`ݡnK71"<)*%񠙅m:p2DǣizNU GV2,;2#QtbJNLLNCǒOC{s"|q>)+A~-o5=x8}f{eDhX41Zbrǀ.Hpv ]WĹ!1B|O5$ƓVaA7$ ,c4(`toQL(\Ƞ30؂4.lSZBEVQr (wJd`=Wa-ZvD+%nj~Qr NF.M KQ<*z|4ry}m}<7FfcGKPùU?cm.QA%ɔӊh;T(G,hIvLUVdr"D+.14Viq5d\E&MbG:7(&O*zWۆYW2SGFn*b3e:V묧1^i$Lo:g!F|I0 ҢSlvѵ)*UaW=\Op%5 Йv=qjS zk) ްEF'6?3=E"A=vbO4dͳJ!PhS# : 9Yi(YoA%ƾ{ԥNJ,<*^57d: #6qePD_^Rh3h ADl(MoC"O|} F-?ꞷu3 f) |h?sZ;|'\# )Dީe@TkRf:.rRhI- { ( @{oM<F%N,^}+]&J ^C`DG4sR~fɹPoڃL;D!{ma\9 D Jv.{|ԚTUc e _VFX}.p`bj)Kv{H>dagZx$FBn24x〔հ!Vjtz`녂 ~N1o}Ofg9QF:;:kk=*ع2L vdY{Zum*=`Ma!ţR܆f[3%CLYe x=.uP\gܞ˙":%sSuCsRYp &r]j%t".ȇg5gu}| \tCI| :ͿgS9<j}=39,1Hm^niuPA,.(xnop_- 8~a,nN'k\T-B_ y}$u}N}iwKn sx3u^}fRP9kd..ghۙ9~|I޴=&-U_H#g8 7aO^IN$:}{N @os}岖`1_Rƻ6E2IE;r ݌[ gKǺ'0>`\/u6vzi]OJqPdNQE=<&{cYaYA?XU w6Z3pxAmǔ%ko1tBN*9bZKEA1e7].'>u@ҕKsp:zuB4roigyfF5RE[Ƽ0px]a2=; H^/]D :TYw:ì^P ,n3wW|$4J{-cAk{%a }~E|lǼEY5wtL$ȋc%1 9ZM< x)^y`[8͊XzGeMX%ByW*hrs0Z{UBd!42H'k~y1EJPշlSp(r4g $<(E&Cݡ{|z:b3*)Y9 q.J3 }&>Cꒅ:nkG6PF0m~Bi]Xy %>W5!ɔDUD>J!MwߓwĊw.a VD)w,3R>!S` (tL8Lo}c Z"E?b德, co;>w3};Mg6g-kGB,#uMsa6u;rdSN]ۡK\"2F:It3Eӥn9nC @QZIjH#.s! E~a4_zp-l^Br{kFy팰HOf4ƃ'XvM&4e岉im.rV[jFRGfaQKdÄ"Ш9BHВtQ| ^fm Y_Y3|G԰&^(SW1S-W20j W'kCE07HX($R鄉#bH_Ih M̡N*/Ui #HXZ/o:rxi`#4 L2mSߧ373zٖAb 6=##))_5lz-h 0IgY+R.]C^h[ ؂j[%:-O$yqF*wَ&XYi[bld2V&\~NS@:酌xsu,Q;5ҼfPΘ!) ivaMPo\2{p/; almD8wШV{,OZ(/9x/Xö' 1tu@\pOGWN@'S6 3™z,Çe tš=fSߏ|?z Lo:zF ^Y˩ƴcy&PaK -Mmp%VBVAj]q ;O3n݉ w/S~Ѡ5o(U:Iq&Sr;DAD<[V O%5X܉~K_djirqZ=mJ״(i*3{G6u͒"S ry܁htj4Cs+(jp. XAs=^E <O jP[>c3-W%$[<~|^%B`bxnGp p}]um$§獪%uzGXa+ S@њR69ٖ(p[,Hqߌ{c?gEȋ~ ci7nWO|.S{OW% }~∐q!$`<ܮT:={:)Fx-%G;+P&to"krlUEYnd)]X;u]Z녍 lK H= LC 4A_f%7[^Aa*qkozؔ>`XGbU~  gb\*=9$6ޠRJ30xI NLtJD:nِijN B1{x+OXuEXD^u!֩%,%$wS~V ƓU~: L^8v+{!LH=:e27T碁OdvY|a6a9h){e+ c6ՒRҫUhp C>%'[$) >˳8@gםnGq)y[,r':dm in,@7Bg~WݑCOaO>,yfqq61M(nA2 ۛ JqБkN,#es@xa%Coh~3f],y}g>yI>Ԕ ɚw :R(gj?s/"TOBL Ն^?HlIDe8]&VІD^ʳ:_։=5E;AUOu^ ?*!|ƑF'%:;JrDv\јsJ9oM&?f%AYV2皆te0_| |ֵ`b>y<7tb%ՎY=g9 ?awOID"ø m.<߿)Kl;{!5 ~jqW "s©qKTBbYb]^~SYop^lv'j?h)t6Q{sY,8?~[(lkTSBbREW.| N:1"e D _#xѡ뙑Tl_^%zx{nscp2Mf\r-`OQqF +$PےձST' t AX<Ȅ?IK" ?Sw30w5Ô*aAĚ'J 2JVuƟ<2L.w1̆;ď>O}HGB`X7:0wD} :&WEKM5T&>#+4D~PL{4j5O.2,~LOPD9sе$ʝVfePnv.֤^H ΎJrN%O!}6J9* &t*F4\+W@jV :Ӻ`+ʸAW}Hmqisĩ2 T骏v CxQ=\]N"‚v"pR]~9@tA,/Hxg3%r]j/3,Kp{e'u^{ny\ިkʡ 0/Č1J $$z#"2,6dO]BȾc3 L`8 sA uW'fW0*B9*!╼ơp ̾dp|ίaTT`}XZlJ*O]3dl~H9ErE?Q*:/ڥ@ˑ|܏`KtGUSЇ_  >ǞS_ᨴ~ܢ&إ]X-f(Je{nc&:Lkhf =[ؠcX%WEK}J$ZL+ 怦_d-%Iu2I' W򛏦C)iy^sU6Opx@ƒJmΡ@˟65G,1fG"VQS6%6Yl">@Eu ॗ%s=3o 36&aa &SB-ʪ 4q#4Yg;J:S򺷡i#c…K0%J0m%[r͇?&!mV)orTM3P DF~Tu} /n/>ҶGMzqM63ĬSSYޛ/U $5 ɍmAqq_iDх"^ROk&TI)(z6<=stBr2썺Q4!iGEo%2k:@Qj~JMU$E9iqH $G(p]+>>Ҿs~앑n\]>=͐qGUZ,OhL$,ᮤE@Ā?|@jd&wiSYcnf$)ԳʅԀY$"t@AqIg#]-mmAjwl|?JfzUW }0+HZvO֊1%k\rАm^{?G>p|a5~VE^.n/9WnJkSWiZu#!YQ_r&U'xy]&|Kk2V59]tRL8((.Ij ʟqT+~r 1G"=5e}9  8 кpLeDAu@~fBYE50ם1\0 *0cK6"LRcd!YVѠhl'C0*ƦXr+>ǹ-Ks)VMjvɝKx֞8F.XV1o! ~IuT: yWM>emfQlZQU1%9A :,nm %FEFpkݷpL1l4\dR>i4ZC51sNw.l;k&/Zkcwp"vo])S.FZw%2e T0?oR}n Ѣˈ)|.Ջ-dIs2@6V+ Ë-h ?nd/UshD! \L-GTQmTwl@ey>Za_$u}tH)VEv ܾqSw/ZTb漃1JZ_Ͱ|Jk"׭>syzg2/3* )@XNo抡E~ 6\Ae]9I36V^C [soS~̆Ӎ'|Ks޸M̪lidzCY]=r Xq T2 dr%$fufϐ :q:em)>xСQ<cgo:Gz"PϫIML> 2I'`$Jh$+71LQHG_iyX kĩ&::Fyr1"%_t&6TC RvpCn>Nk >ˬlw,꥜'B&Q^ZD_pe >И6,TE!oqo2EA_ c^wd⨜w%{W)RGN@RVR,+6"EI_%3tӧVI]9'I,ǞZb-b$cmܦfLk*>!n޺gu#(PAKT2s~ !꓊R7(DF~oAG!̤-ީ,Q˄fh4:/*Vv*M:# O3mE*#!-(h]Q묥ab19dˑMDL@ |"`n6wD<tɁ?_6z|uڊA†7|V '=Exo{h2 KN s堘M*nW fF/YR{>$Ud_=PI!W,.qv@)$' 1mo Ы6ҺMkRjb A4e!լ@}>li~3kw&,NH ![;ɁBmիiLEkk[EsnDkl,"oNNd?qJRV;|m^?$&̝:|</nXC-H>Nin@.50Fڱn2n\oB6t1A$G1SɝT7uJGBT91P~6K> ^]yN6 yS_7=>ܴntli&[V LN6lǞ3AShMJgB:vd z|%%yyZәmn'%N}qhl6FLjl4ͽ&]4lL7: `EzP!n /!Qt;뇘Q#NtAS߂ۯSoӪfw 7:",ՂVZ$aBpQzL ):!,-bͿlz.,^ƇS`SWw4E/uZ0l82H:ajۦV3~*2ӆሠF8g4\>/{pisS&+a Ksp}4IG["X4ZB-rWqZސZC wňF'I?q 1R΃L5>xIe;(|* 2\uFc.P3OOѱMʱ!)U?ag$A&+XBBG@Dwv96ոGCn'mj$&CJKN4pHj>/EIJՏG._J>*7eE-B̝3&pC?_/1$hV0.X^$$ҝnsۡMlAdռPHIE=Js#0ϋOfX\-+u )~G fwW,I$p5l DFś7աF@.2:&%v~3;%J?ھ5cdHnwl@~5ȴ8*bZj{y..cQJCۦRwUx'B)jGhΛݽ&_ p.SQg٠rjwJ񐵀\ϒr?k+%vhZ?i0Tˆ&p (@4\m!׃4 ח)1lL,X;zĔy==5y%~΅ !iGl.dw2r=x<iɞpˀ~ ܣ)XJs /1ׁ̖:S4am(1Ý!Xk\1MS[~{PSpƌJu<dWL>g%Vie4im X3}KR]OX298ݗڦǦ=(2o;Z_YA͊uüY;]bH!dӳsb: zrI^"%D.2Jz@Dkyn$}hzmQ0fq*stY'}Vv}otH!Dzz89Np`0C5&8,W{{{lS{<^,TS!HOmEY^JL_әfw~GD8NOvdi1Abcp]ݐ5[L{>i]3 _#8](O 6oտV_sE>*pG՞V+j!tzq:WS†v>9D zD5;Q#mJ1``_Ac/+䏲eC o &IMڽ_'I2Fr @sIGj=<2_"c[v,ql>%J4lmmPRPg6 ЪOd#h_2'wԂm~*-]/SDZR]on?!`f{IZt`/S)'Fc3W6H@NK*i $'} =Ku?cr7E\=tljWTy~ rvD̓)"V!0E%|~~ XSlL%Kd<,Nrh#}f(#d+J؁8o?x(PɐU9W觼ɱOU'a8Dк't;"/}d )5aNΠis;+NJ2$lu D`YTw̍gr"֤"w*(dp(18;fcz",P8d#]MPe~~慴v5o!q3*"yӁW-g0|aL [΃-ber^}bX@0>5|S=M|osh256Y<&KGE|ۨ/gl3k ih.4ә@a7|+K?>=WN ^F>|R1r`&rօ$Q?* Ža˃NƾI&,L!B_t|>z2 6f'oߕdfIQCZ`b>fms 0aS%p{`1'MD[U OE STҖ8-480Qlktr!8hUkO,ѣ'O8[Q?YeeDtIxF(Ag K_Zڕ' +'Ri7ɒz{̷^PSNCj-LGզN_X]CBUntكJE ;٣< Vмg#Nέt$~jK"Cm&)g9T^ * SQZSs/cP^6sU% *}#G%2#T%&6^ˏ_WD)o?` > E4(3Ԇ{GBnbjBG3; arwX?'G^PV&l6#.a:y! MROK0Ǵ{^A]q1IeX j (<|W\CA-r,. rIJJI|ڹ*X#2fGC&egN7lVvDW;jg7! b:! ƗpM[cKD.T ,sF%H'41mۘHytWTؗO^5hq{tV1X07Jx5X#Α~^yz8[W@Ftmi.{^C_ [2"J*[%PW&Y9Hu^-ikϕ&hɣx8q^,K)*fIێrԑ+Qr!z%sb,5U1FDc|D1h֟Gm$݆V]ϵ幆(GoF;ܹ"*dE` }37n^DxYQQR~V TaBΜYTtal4 LaO&X/Hm^Bk*?,U74ui@nJSfosv{#2Y[zx̆Uˑ%սGu[׍$YC_Zm"tr X>3#xt^=(;ߟ[}1:%u'>y1LjX[lF 4(Zظg;uԪ ^7ӚJm*͢NkƌjwbG׷dh/vqY+-4Q2RX>4K*QPd"{Pe[ni><Ȏ*M͆yR//JZ(8Hf;O7,ydߕZ, Y{ёI:+dT%tGص'tPBєe[FR_U~ÓmxG…u ]٩y`Y˂K۞=%6L&sS^3@ɴF3Gt")hp|ˢqWFCp`?{1ɥ/bڇC4$u9aHwT,pqEm%6EADAҝz= wG??pU8]BV>C]`8B=T^,0A uGTleσhtOr~e Z/<\XBBlh?q`Wef42:[9ۘIVD^ ڼraxϽG 8d Xk^ix`ۖۈ{L1lZ^&ADІ랡ާS:f ̨]m1~m bެsGg_̩?$uocyXI*nB7,8jmߘtyyZԨTN)]-Jlw›ɵ&L:+4xϣmd|:-]n6d62K hzo 71kS| &uh9GDdM('9Ixs Ĝt5C5pEN?x{!og4)^^7%]yO `S_U7"r0%|M_'js5rb}%pxsQ# րhu%ܜ^lt[qqG4$V7\goI^cMD¾|ň݌X\Wc4dr@ݭF 3zW|~#$( Yrjr$+-ɗ\'d/y݇{䦓U{8m _Gʐfaa_31o;^P`Ɗ$_"G519ZY1yJ@h̻ɌBb.0݈U&B0ՓcO7~RqA狢Ry'KB-2- wʑ&~(QyBSz4JYg01<= s4LdH:-QGgA HsPC cj7!:y (Zc),;8| x6MFF`R=ً뻬{(%UVz9GfzB Iьmxo` O$쒳_t k ?iǒ\7Ҁ1lB Kcxi}ݯ?2>VWxz5U t AD`؏Q }\Eq ؔV8Q1Oo2MzH<@= 䡱Vsj3Ӕ6V:^^ 'DDLm}&K`o^7dӓhyнDKT҂_IWMbx;2S|{#rj|]T+5𶘠]28$6by`w\AH02^]R8QeYy$П:-Z5zZ~^[UErg.~LMpb t2B֙9YR:)f@1c=AP/FkTENngI|)ķOElG&y ù4uC nDF;x^<~ 񪏩3 2ŪQ/]ca[bN~w_ *9Ѡ3Z(9Sf}oVXvO% H|{[7TSXgƍ\a9ys$ <q}!_vJd 馌JQm }/!؜)7I@jq_WQJ[!h}կ]6 ЉrPRՈ@w떏>װQ yZ(zEk;w + ^c`҄)ׯ>3"0mصfX$1m_٥W lQu+K*`wOh0> Ai2Uy`Ma膠qҕ`Q ey?@ҤjEk _9 SۇvIvweXX R\ݍLxHOB׻`o=' 7[Blm:zvrtW}X)&bLrcemI eU1 +_W+vcSO9S}8~4+iKAA'f= vO)ucxJY%ѾYB4]l`r|r6Ü_kz4[>__'5#+ [չϧ.b IjR};(Պ""P<yEۗiE: vC3}2sO {Uq KQ\2H%*!\DѴRޚlJ?[91|L6 S%5#*j]zqM;: buxrCGwָ{Ah=Z*l6 e2,JDtrZDt tl W?L sx tyc˅_ˮC, {Ta@M*a !=,/vhqk}:GoL <~]j8qk)CT ȡS: M""?1L7r뾙SHU6c{'vl2>ڛ0QN&h10!~c-Xj: , J&B1*"no9}: .9M~͘jIY^+'{345`Fk9f8,*9ػ3Sň WYQ;HL1ot r䅘%dGf-ٰ'Ǻ9 .^x3j`x/!;\I&9:%ɷX<1gn)`ێk&^r&DZȒ•Hm[{Ѿ'M +㈑%Lŷݣg۸fT 5Uy%+eO*Ao=ւ]1ol =eBf+ςKjXfVU/` *Zv:ſGB! M~}Gi2sOS!PG1YJ?=$yP{UV'U)%(ɻ WXT\/*CثxF/DC(W=\IY[SG^g$h~lU/嗧ox\7An[y]r\B.@l?fJϐ8qzՑf\wC5F9mm~u*C +%R>.~ %>HC :Alᰧt 䰱Я:1rk5.M΀4VC'Wcrª|Tq>}"L x E l f>8a罬4Po{Ʉr?Й'1B:qqZsow[e^Vt)͊fmDu%4G0£/Px,_57@B4H 1‚K"ш3g2)8C`L>:/dm=V _܁y<1y9bsuEf2 }TcЊY]H*N cvl307® A?L55ˤsHP.#)+ iZn%I/$󕚣\4r@"%1. u6ø4ToO3ԅcp"TZ5# Z[1Џ\UWCbt XIrd4u{@mGxsx}|]~]d.vSSbmyn3#?hl?jލ9t?ǩ=b,yE7gK3M*:_Α(?(QzZYC0q|:d+ۏAe8ضr.Fd VML_Cǖ5lw)C.w&|^N4Pxu 㵞 Ε>bFE@6ظ" $+}KǦcUDgFqWx5-Z+q8 {ph1B9@wᐻ?IV* M6A!M @}ǖcMNJ!;|2oT'7P2=-rŏvE>9L_'O\x,3L7ϢG#\o]_\ZBL, ջ$A ͕jh+lߺa^4F6Z-J >TDdm'6>X2OPb8FXpRBIN)'^"uۤ82 t+8ubEB5fu_DAbtEDEI7x6,C'Th+;I%A4z ,Ƭ{+G}u*)ۄ-?nAu(6-^s,QFKr AXV{'LNH)zձC^W39_6sDh({J֡a~!BE8/hp0 {]UP MLA۬$Eru]p 2dž8 8}hpyȉ-$`> -N~ׯDWQt^1cdaIH%KȝA9fQгN+ત *}n8NL`3|9ə[`qFVV6}BĦR@{rHLZYkɜ,Qѱ_,gP|܁ɋ3vPY* ڟP* Lr&UJΦ [,ހ*Nm kYE3\y}IHf"a r}RJ8o#}VId*zP^J(8\V WXFݴC<s cEu$ #Ȣ/_yyxRSD-_GaYɍ?>=(9\+뜘9Gv#6Y*|2 s .VF*oQ*v12)L'o 9\.ߠ/mha~`Af4F_`/FX:KFdPx eLa5ElC,: iAK+Hf|.y oGnEƑb?%3) Ԓ% ')Б,^L`,:2{]),M;FV_77&o譚wIhBO蜭uf#Npv#qXT>9(b[U]( @9D3xGO;hQn%6}"B\=@Hn߇Ӭq;jaI~-з`wZ|R ka{vع6~~E$+,Щؽ8n(6v I9lpoP,I*olm1^/dVy4;DηIM pɶF3Cd3: l Ί驥SZ wSӳ;f=cqTn}>mA}3 ).aoOҐV,˸gP;'xLє|AqL+ql&sbӪE`\C0z_8ߑ3><-H`?7]w' 0W &!L+F-J&kEg4nMoX^WkN9y*!=$  AX]-չ8kr75lK*~1%Ō^ V/t& ~e+7 s +'O*EO%ӊ)cZ]ZNH"FжImi5hQķ4˷S9>;%;clG#~ c ytiX"^\YgS]b*B.ž%s~n4O|{Xo;*"W0![5b r\L<ٌk)8źx\Q5%Z#,#^}䐦w~jH utهJ`8<%tf: /,{e#ʝ!~ Y~Ru1NL\o{+nrj.3Ii^ƀFT^T(9H?N)/N̐*F3r.pދ>,QGT~λ5ϚWM?'}<,@67n^u2<7,,Kw%d*K乂S`XoZ H3(|!U2S磈:؇-nV(MX.< .],:1=ZNͥd {U_QZM}mm,SY4, nĩ0.#߰@fK-~PeBu(ސaqB"}aeP`6 )y߮z{N1x>q {a#Pmѓ1+)-#T ŭ.u:X10gĺ:}vX the}StHF6̽kBmUy'"kF ,l専僑 9+>P4)6y:"fM+3bz J>3n]+w6XZ O(|V(:gT5$ǃh$1pӗ7QAg%4X0,bJ{Db$mFz<ьիUZ }@'lDQ{㯩._tN"j'O^n:(jqa/U1 tɢv5̚kΠ0gRaVIPf)F D[0=S5)q96c.SW"p~jq]fͣ)tMsQ$jtl*{7FdѨ6Qdm$&! ZJ7/ˬ)&nBKhduvL\|Yq!"MAء߃jbe["+*rNJߥռǿy؍EDE͚"UEֈ\Hy} i+_nX/CcEJ,&)!r~dmF,l65ް~/@wzTd'""2i?}[oqk}=zPA8lSbO,eʳI88wH"gX+qDZ Wtjwua(ƻ#NXL%\/veڍ!Bm]Ws-\A7Ro}V4E}oOsVtw1 -_;wTRyR km8hCM3."tu5JSZ|HbniGs Z&9ԫ>Wb-wLGG؎=Z=[85 LO'acXpp|d"”EG&.sj91la&:'![CymRPfeۊ[= S/"V(h0Ñc(]!c]1zSWsjyXLe|`N!FpC,[ .CρjM1hgʽ k?DXnɵc-g^5՞JҮWeU18sYu2)h7Lk-WZf>u0|UL.QY;:~ML}hCG̫*}kq!9qzҷ/iMszAͨi.Z3\G1V^jeL )$qOM?#KȇM1Gϭp}㿕BTq^T6k.I _ԪݶxnLC ˞yDb`/QJȸ{Bލ@6TZ}J\Y;D\9vʿlI{>RZ8U;浶j;n77ߋ<Kw/ԍ{ќ؞Pz} <;ŧ^Nl< g QׄV-ڈ :<)|Gʤ?){lsuyOR'`vU AqM`"`q]Ϟvh.s|P#0e3>=NtqH.ehdÿދVN fCOtw^aP޷Lua*Q♆m&3LU53}3Qar4k:f;j]+:8 qJâ~/XvUbS:$<#sjR&x -R{aj"_Wi*麜,-ѧMզ9Ҟ `f.jGu_pI!$LP@:Pklԅr6'I:#;iJޯ^\G|5ۜuqPwt >_h;̚>:DZ֊VX m!&Y @i {:B>2ZbX7]d% PVrЇi~5r IKر#uU/dN0M R/Z(U> y *.CVb0:!lstkn>S̄%%%/18SVDc܀ UpHl]Fa!<R' Zp򵾅 ]F;m q ?){!ٌ&Njf&w y.nԯwCRQϫNpl/:!qa :2+E裌 ԟY݉ʜcfb$rRZn0ն W` j[5L38゗ɗ3O4=҄*ٵ=7m@̞.e6LX7hxI=JӦ~658s\LZϡP8 SX!z!`Ok~B' +ҕ܆CVL0^TdAwZ/0O].P :26>@aPwo+83 0ʡ/TN<28-ЃP{8DEK#TL \:q9mxBwtpeDDs0Qj*%»W2 a^n/iŹdMiI=ҾD&}v,XM *bLpoMRved;Zn=MS.u^1S%ca[2>J5+'#;u1>fXLDfHh`i~&&Hj:'o?T}, glmЍnvBZmG9<.c 0VC,2Nqε<~A(&!; 3Wo8 O[|xh k2*hRS$?}]1H8B؈k>Α ET5UH=x$amV߉c72X}p#ǣ*>QF~e!tM35!O6JP!ڧk9'nG ޫx=L.JuK$S܊G&xQ15Ĕ ~H@oB~RUN1Vi"]qu?˗N:du> Q|nM nԿY\jxNJUN x3NĨRFRVxZd9[zW,Yz;'nbF"Lam6 Azk FL  owrޯ(7O"Ša[.L#WZǺX|;ڗ}$Fx]kK]lHJ$1z%7zF;P,E(^} IG5@!UK?' '̑ĖDLeCMMQoD5Xxߣ!͊)s5kƦhPSS4"FL7n9N-6b oR?|:@fHP\:gxBܟLzBxydSU5>%^qFm$H!Ѩ`f~ؚ }8UJrdo\.U1BOF}ݏ ɤraD݄mt'D4Ƌ@Uv=XGYV4̬#=50b1  osJ`1z &7(mE_ x"*G[kl*&r5n+*(gZ=A LC0䚾+nvW;Ȉx`+m:lFqVj xnUUφ} 8K~]QAN.69ш\@Nc3+ h'{.Khjf&RY,߲^~44*Ljy~rk9旷4Dqr8xz}^>x\#R|V ޔ (6hV^PRУ#>(e {ZViRd0$Kn^H-5o5Y(U+=B !\ޔcih_^'P,̇`%&iN 1Y-4 VK9V+]?a7.ԩRXwfUBtmګ`_8m gV{^j#%%5Q1 H#Q4v.an  g[EdkpqJK!˶ Wb.Jy Ztt$>-c. \_InW0, =߷To}`ch>iRbޓ]I4ɯ?^G 21+fG]L i7F D@\P3#⊤!+ ˗LH_ԧؽQ%{ [F&FYP8됫uZѲak~;Vq'`)&2lԢe4LJ S>gV^ ↳e~ӪP :lRa5D+y '@yph8A#yyC1&0tv?f`]\ yk~CqNP#L䔠qZ!0s%qyO~iqz)Xc0 Lk ᦴj,kX+Kysrt%r|@  a\VwȗJʉe0?a0mowAT쐲Ë<C۵t_ms\;YLvʢZڄᡦ$Pk}N,]U ҥb-NMO쯟OP}ɱ\ҷI-xPhn |*cZoER %,/>E \N3+Υ|>{KFc Jo> iq ( Tok1|~xu 9ѫ,#Uq܍R*k%jk^L,`GAw9<*`a dSNwlp[( !)^c:u~g#JoaW8Dرx-+xF 1&U&mص{ C GoҾC\Y lQ%y (ѓTsMQ|({Zo$FUnWFߝv?Wi'/?:.[1fP) mˀB=QIQ48o]wD@[d)Ca0;Ѝ JH6Ù`, .hҿf$}9[tlv#{ҵݎL\XOD ` Mu }P8BkK)~ `ifT932 T2;=K-uxP̐i[E #sӘ5YS# ǚJ"3_n0GK/up:}s~)P%9RXs u}0`,N{z0W`5fXgv֬!Dlѥ~vDhlqc p  +e_цZv.,U'z[|a}ov1t Z>f1P]!2Gn+N`@.~ #d= Mvt3O-'"o0"wppJnF1"wyu]Qqӵv>mf!`18|F^`>7.'|F 8AԹKo7}x],EP?5BQR a^~ʱe!?Yb/FJ ٘<0"^iy8T3^5 Q϶U݆ H?oxmWHiW<g\Tm5!b5 t 2O82hns`XȔAnpDZEū֖ʬV92& 5ݶ' Y֊]^υ@5YBcNN+Yw=fяÙ΂S aM3MPeh#wR z`=y@X?uhNS[T s@>fhewZ"s/@cAԵ¶u\/A k:\p-3)J0s8s+k*n$#MYT|5^%jjmp:/Q2^2NvR"<6 3e*>b.4~& aTz8uΟ礉`@I=—p\֕ZxH4@DeZv3e[nt{}Ŗ0ՊL$aku&fm@Yr NМ~[a cBii7Sq? Zٿ I &( ice F.]FgJ‰G{L4(G]O9\?`} X/Qװ\cFT.`"cV6{-AhXm <_{쪩x5Tɽ#^Y;=uj|:F9mhOfR#`R(/-3ݓ ͭ@u3Sa(rCOzE[)DE86%f䫰KJРlԥ"rr{U xb=VĊ3b4[I@MJwɒ˾G+38e.=ǢXEo[׬\D9hb9xʎ2&8,9٬ C[>؃[8R(iFLS$_vNf/UfdCaQ0} 07i<ޛ6g^ wĭg:{M-bw&Ou+$b;ܚ s:nWYOs f8CᐒѲ\99AcArQ/^0ۏiNF#H7,huԋ*FB-)e_ fA\ 6b܅!KHGUX]]cxܝQFr}W3RJB yB}3V/KqX5MVJnؑ:U{mw@!.i)AHa$ i z>T~_< &dtm]cC8=`,gHžЈ024f,uELUz^5ӷ|g :LN`OQ3'7R}zJCnHo9l~ow;=oi.IJOh;P{Ti`?$rR?ހfTJ6*f$b9kdNֈ3Vjzr4 G%mKpõW$oq+8ID}yߊdh$G#X湤'n`ïLlF3 MtG롾!g}4\]sܔ׷X@x3DD) U_U"*ȯԺi$7\A$Ih=S,0tsV.z#l9bZ`g,Hɉ{7/@\?!ʺ/ hJVOٙX:<^G% _СBB-NҸ8~cR*wRx||Vϖ}mW4 s^(U9XO{9{쿑!3~qC0 1A:q NǾbIѶDn22 Jθ<2G9)uLF`3A}͛= ?6Ι-$2_Up0 Dj"i(WCǬ,?Z$)(Z;0/W.?o0A[*H\:6rGUi0O!8!uWl z E::qfȅ[qϙ |]/MT{y`؈BZCxLV(p4 J´ZaCBe,M>ALfp%" 8BjiN:d\[+/'mc&t\&[27Ǭe BIr9tZMPIFt ꑠ1`{-tdNpcqN%"\3 W-}U6 !:0+DRtp-K_|`.) &i4ߨz .̨ 55ש]S. >@bOHNf/v$8v`q|Zj>""5/e`CC> PaIBSw3٘ؒlx{uJTډsT$HF#1BX],_щmet]JI/Krʔh#,yҪl eKsN9]ԝ)"Umuc@2P~j k1 tJU:l؎--b(p*rDk˖eH㑟GӨ*O3\,DV_j% #lǦe ? n訒<鳍 R\obPmsCV6aFC1da,JckW)40h:&YVnU *Z&>/Ƽ6ulk=7`V8}ܖ96EzEjk]{Dw&^ .Ec}aCm^ u@PLȪ)xb)2ViID؈m/2CXϔW2 )LNMxϓKXN;xMB08UZ+ZHPBN[L9ؗ3,g3ۙi7_&N˂seCARrچGzr_kQϝ2AƷ\檄aaOZ#3KM,ma3] lP[J%o}ISF `'_x;Р1 V|DR\fB< VwgDƍWJ ZTx4Sw*us;ku =ߤY|]7 F 0hN~Gz8c/@1E b^p窥ިE B\gHNb&8V܅ث}5ER G9mT{oy/+CXR`Qq_Y2/[ѽ%Auӕ tZ˜Ź8%el04\i *:c><5%(q68l_HX=2ȼKû5S7R=T8P o߾!+݉OWe 2ΐnYkm($x t;,SyL]c^Un޽VT>#nNO9~?d~G'tod2n⳽%~)yJvJ*T0hۦ8Ѻi%Lkv4pHHhɒ"W#8MQDTcDo|]v#.m<;#독VϳrəZb|P$~/QZfӿvR OM`0dl@D*/aaZ?އvO"ufl3Sɑ&z>(w5RMpT?KeK|l(fTfBqf\EZ 0+,'Sb,Nni&f9 maSIm?er_V&gצm/vރe5EG~eUX>&@))oުVٱAԾJ}nDeO٭>1I/&P}q_V.ągYZ 22" 1[% 4Nat-Interval-LogicNat-Interval-Logic.IL_IntervalOperatorsdocument.tex7zXZִF! %]A-MՋhvG"uIBm5ݗ5zaLAG*)Ļߝau9["{Zb Pw4E1.\P 6+ՐV1CE 0-̗_$%F[>v3軡 @ч;`|Z8ը dJYЀ! ;b}? B4]f2k:ob@GU= Ɍ"weq9b:iH# 3]\M0iJ/l^_T$/KZ'}Q`7 Ikp{X|,$u)fn782xѮ=:+G8Ʀsn -eVOF5)l&>1>I?eypچ81kp7q\ګj!|Uf&6,x/W7-:^ˀ b3~I spB9W |WHpn y9Hr@SllN$a0 ]{o?FAi|Ya =Z*vw!L X 3\]-d !FFfq#o Y_;C)Ks+zq0 g قϜJj{VljȌQR`REg22QkHK#ڂa'Bɞs\SyFLM0[kR8Q<zikVHKg "5pI Y3۴AsDVSW3? E[J=^8'&peszi(^i71]P 9:V " N,D7 x+K)k1bKcVByV2G><2"N^,~.˪+xdW46NžSy P#l2ѦrTrAF#o-uwqmתEt七YYp j}Š}t_ix, b+KPa"0>N_'BXMQ3CW%ruPY; .WPL ӈWz]:㣂/+ޅs!_a˭mB CSR\&,2=!R cOĦO6wޠ]—W;K=-J22`ȬB'cƷGZ=)%ŰN=8[xuhC7D U;8TE~]nD#VZ̹ j?߼؃./HĒ?< $ܤo^>WCW{Bv T8Wv\ DIQ͐]@6^Dx0|0ݡ'텁K@z`XN4b[c픇LEk݋ʍtzۊOyAD` b݊N -Z6Pd8@l^4Z,SWh33׬i\$4ɂd\SE:[l3,b? Ûnz"v;Epr n@j46, 3ߕb//Kn߷k%@Avk55WK2$7Wuk35N ʡ>[o6T~3TP~j]u_8 贰v>F.XFc#O^`DZuɴ*&X{$g4ɕjսv $ށhTJc JW#DPl(,?icTkHU:;)wnrw纍-pq:zsJ[g7eh煽/do)1_?jq>N t^ٺU'Ӟ\AW,E{9B#16/G%g(LÎ (O4k~C]Kfپ> δkF,YMWS8m2PS4zihOƏ,Y Td PpPnzkN4E q6]F+h3C Q,w{1\#M+GCb,Bpaz! `o xF8kl#q]{[1  2k'Ű "cg+EBsSw\UDŽ?s<4ctX;9")~ x52\.b7p]B '{ifq9iO:ND7'g+5n^RjûWgRDxaoa 7wl/>1 Zf7+9:׽@|FO`&o !I_|Ylt[R/.4%Z& V]>&(h$na&8A%_(/\\Y:bKr贚q&*6eN-/f*w}}g;!x.tp|0J\N;¡&U>v˅#<ns(n#@kigp1Ma*F㺤ٴߛ[I[X-Xm.BfKrus^=ЄI)uHjW~ RbnLݪvJ{9i am!HG_s;tˎČ%loV~a~|>Mmf3V% 2362?XOsaJh:*wSծlDwvɗMKT^݉ KFM=@ k{7jޕޮ{f&jq[_/ot"j)ƛhtj_IYrŚ~Tv^,߃9&0;ᨮE/7b-ZѰ؛P2t}׽y#46!>9ϬGdWjr޿+MMWh`:GX터z[Uv;1~3 QU C#1Fla9塵J7Y z0͆o?C2 $QWّ,h@w85|nA ԙVyY0nx<*L% *kV(,`g]D1na0*t򦕞QGx‡gkS7FIG3yx6kJ8x3XN-UG#ɚA,'\˯6GAQS|bjoSCJk#V*"ź~Yzݒ?{K}26BEdW1恅:0wy|I7"׶( ox/:>7+<|k2K:c3'|Vx}*σM"܍SR7. |"28! \U[\6ֻp=̀fJkG U*^#;4GVKed)W)AOnja"8 e?,pKYӆ Le y#g$H. ųy|Ki} }R H{0ڮQH[ Gi}2r R !*!6Csk敉A9lI ?bOq֮ ]H=#֪,p(9'fb&mR϶JN겖f3~qŻu<C(Mv-G\̯z ,.>_dDd.10yqx ?чhVJh~M90OAs]fݻAU+T X (:m|S&+xPk6Hp*ڱÿĞXh7;9Fd-e &|D3A Z;OȤ;+d8P|i~/-9%9x8>X++9ԊA鍇iOFg>r [%?[ /l&%ºEtH!ը:-uVzhU=,QnYvj1T6x6}:l{ K-{||t\c+>Za&CV Zb&uC@Ph@@nM:} Ȗ^og6eWWetwۃk4@5"9#3cu̺@D/{kܵ7CFLxRZ9c# ^ggrמ+(XJ.0iBNn[}suoc ޕ/]΄QPŠBE޾T}'"v"ږӅC0+O'9.O}h|vEYK1aBy[wؑ^*>tcR2LimjNļ:T#e3T 8] $8UL] ꗦrZk/+>Vԍgt[Q?eH7fso:5^*7cY+-EyG~6&Fβ.>VVbiX5RTjKnIɲ5$B_>מ R"*e Z֒w Ӓ?_=z?<3 t}|)ۯ)XVχq޺w8W*Sh9d0mzɹreͻ.G*?#5& qk填:(fV:}Nb2]ޣ/uFX\sdH+1[W(n|tA.J].,(u:O[U[GA1.:* (b4gUp2k 1 #vkό3-lԵCB:L`YiT}+opqEwc))6i׭zn-YBlQ)}}#ck-SnF5:bR \>&^e83n AFMga n *[Ը@Қ#;{|w MӲkJYlei:Gϐ̓JޕqH pj-;rl^L#yzGzVkTc ,Jr SHf=BG3FGth+%H"Rϥg"UkaїN7iM`>JJC7e c {hm_7λPkNyS'˩aͰ< $&n2{{5o3P) %8gT ̋0>_s&!N4_J u`G,,?`O+f^5JnÒ跎`xR^:T|hntPc3e[ Lpk`TS|gAҩ;Ń<n0`ͿH>TmZY),vڍ=]hp/OM`B_K8BNPدR9 j1M}!r']{þ&-&9tC]V!q oG$*Mf /2 $S|HsYSQ([`uYe> NoF#04*b=%adX&4&zL?z ʰ!$H8#!9q\ I0uC W]8^'4vآId+Dl%XU>QIfJٟ"y<{#%/H}zJCx z}?0xM,>:beQ¤k} m CmMo-oU8WѢi$h7O:R`3?tIAtҵY`mÉ7;7p*ZN}li^$eaPq)T9dk^鍴tgLҚ{F&/L KEό(*>k-E# G\ ZA_g^D.-IΆ*"`:;.Bd [`+4^6k _ 7 "X6iR Q.\+SeǘtfyNOӡ臆:dZ]8٢A#XɘVR4L?݄p'B.>!};\V~b1-꾚 r~\%97]|^n4iKM4Y6̈́!I C!kc>_sA1vG5gm x)y.gy&jC''(&~pcpyc$4^[ZBSۚ {ij*fd*a}{x<Gɴ(Z=Hld]aZ nѼvx, u˅ lx84~g&\Yi]YA{/>KFZLΈOȠ,ﴩ{i,GM ,bC[d(FQD$Hjdhám?;n,swaynB;+c s(COJuswDܒtL096C+jO%\{ŒL1Ↄ +0ps_]/g AdRv\ q9`4*'9$ *:#gt'\#1e:Xviw&..7˙a 4jjH",!1a`6tg+"ȳli/a,1,DZgYZf2f560ee59d1af70a64b5b262531e31a5e73de8fc3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a 37037b5b0c8dbdd2fea6d221128f51f89c206171 d2dd1b28fab038aeeb2033689c654cdece4c61260a4d84c8dda1c90f9f2b54286872c3669466ea68