SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 WW&1  $ ]S]Nat-Interval-Logic:threads=2elapsed=43.435cpu=59.284gc=1.384factor=1.367zXZִF! ,B]ŗXf1-/6vR[o]dhNZ!*-| #LS>䡩uV;N+e WR_Z]L/&S'`Myt;W <_ïń~Q2w wcuSB lwUF5gt}/w~tTd|¨Z_VF cΥI6,&7JX!:#"V DŽ\tܰѱv+0oU+iX=h3TWH4ϛC vbOQZdXf2~)S[{A!QC2%p9Dpfko#ug6Ua˖}Tx= H 8e\m@ۻF&ǘ5QY¯^# "N N^8=cUG^TTQ!`hѺ{i5$rQD&:!}vDXv=\e/"_8?ΩQ<$P`l TrBllϻu"ZR4bȴO &@CCPu9Z=EbdPAtSOGK@YPgYZ7zXZִF!  ~]ŗXiɟĊ:4OHsS9?2N&JOQ5cT+vrH{kB$#%2ZrEv}X<-{gYZ7zXZִF!  ]ŗXi%; GO@:8>D7'c[af _ lÊn_UC{dl޲3q+FowE]-s;IiOAFZ5LƥEO2tDfAv"EtĘy nO˟D7B]9.P:2JL\?`QvLA> */7bh-S[ PZ{U[.sdž+_?8C#qJ 'm0$/E"^6[Y$=~ {Q2ou \r=a<*67)ѣ2-p/fx 슱XF/ILaS%N f"&jPuE֙@͵$1㒶pV;E(H 2WQK- Kȉ- )VlUzY#G~vġn [l腁k|mdK/gTH@#P mA%릉#?.7ZH/=]ƀ,QiDZEqJ48U h |vR&h7̏MO8?p8P" w۞/Dm;䢰ڬWRdRiXPH g.A8ò{+Eԡ[3{-Y􅫌 +AShfO@{V)4M7Ԥ{p$q`yh~/%ݠQB2lP adѯ"G4.FL$ApWwAtYڸPnyt ] 6_o[<\㐀i4tx9xAh_ӒGMyLK5DEGkceb_gTZ/yN^OR &3ؐP~p0g)B~s4џ){voMl,_s*cNGOm'&-@y\-̣ u<=1]uiU*Ȳ3T^6G &ރ%NEه8̮EeO9q sq`9Q|-?d^Udi&nG"\O?iH+Sv&Ni]"|M܊ BtݔjzR[ɶmCp?,9}swj@B̀2&UՊu`[qQȞqtFx2~K݉=m2r lc|qj c;Voc +Rz儽nxJ RHS5*fS;*=0co5}* 'Pe͋IWjUmvȈT$= `8/f|nt|j3[LUZqh9*{2v]sU+|QǣhsXx=ͱӽeEmH6#*koK e 88F\^TȵHY=luvV#+Q%Ry^kN# 5z}e:jjJ=UwNfx{S:zk~$,?k> |)bpz&w/Ʊ= Fʛ>-U 9/~M>?OUf2\>{sAV 2JL{;Le1uPLʹY4h| 죓` ?o5W f(lSG->f'dm Մ, QKl_- #ywg-͙X%' + sgYZc6ad9adc7883e7fa212bbd829705e867d9c420d10a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176 f0d9fce820a37d1451f146bd6058cc49416c4ad9ade11c35d6063f2738cc9ecafb195e9cb05bb8dd 1 Nat-Interval-Logic(1I% TNat-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ڢ ,btIAkY*&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ĠlFY LqGjߍ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=ӗη["ɉeAfaxu2y[ɐzbk#,;M*lSA}k!cR2B4R47*#/.?].-Ȧ4D6UPu6Hlrx}P8v۴Z/Mf7uvz5R>݆O59 [VOb-4x9i | 9gm-GNB2Y~Z;_Œy껴Ǵ8gSMАEa.JbkS)xBh a60F`8+ 9T >W1rpXE XLӁeQ=:)ZdH1fdEUB{*mjs7{Iذ jY"zgiFHFL'Eڦ K4Kצz"V{<8\hZ1<I*ՕX#@v݄1(o-g{$R(=G!(:(+-V7ièXuL 쀂55o!$z1+/i疕}yo+,ڕRTn" OCh$j߀zEY<[$Z\_y6/G!^lveg9{o9.O ]2o#9^1"IhVkaߌ_l3 0 ]Dbu,V0;QNddƍ*4qvLk$<_c3Op[L12$ADyr`w.mv(jF["Bʴdn)Սnh^W󐅘 *^:le<`M*N@WJ|:ɧ;?RP@CStБ0F \p?/*~F؇~}dU#XnZ3+SM|(v=7_<و 1S쌔: cֆ3΄=[u[7Ht M\,'׿iTS~,_RC-@9vL~Wt{)`n{u+ge6`3ADLkG 3WeZ4lǢz$x+yi#_fK6 U&_g|rñGQaPa~t$:_æ})kG*g̢b99:YՈ迺ˮi{.93<-'/qxZͮ@F@>6ٔ\m[Ett#J|76O5ǥ-Q`!JnZ`9yA UWZBEwBkqeZ.bY͝0L'nFBRwdAzfj>q :cOjemZ?5s\OqV%L4:7 a VRUwGꔷ_Դ r'ҿd\! F(2n"/Q jF/@^܌k|ZO'tpm PhXN1oHF hSA4c7ٔ;E}=H󆲲!cEJƠE.>VhG/ǹŢtWθsse]x.qF{) -87bO4Z>ơy{bŮ9 Z|3+VWap{k1d<aWt~C8ro# ͹3\@ :ּhFmE ￰)|s Ց*LfI|;ۓ`U >9;nJL$c\fCw1_BmK/d*go'ߙL3}c#BqQ̾ІN#l  =&0WJzfK݀+jRdy竂zvjZ0[تF΍O9v~o9)@tez? a.=f\QS$'5.@`Ch4F{ɽ`gl ]hT񲀋m t1f,D0jw1wSw/ʿ䩓DCa&պL}Ck)bwFp5 7C+eعW Kx֥BBD@#KzqDSMޜEŤ 6u)9Y]V|u?I!۰p&Ύ::}{ZֽL?G]ExKx4u`k E$t57]!6?c /CEkAWzRb* يt% ]cL0*P4 /,T4ҋr1k:)*Y~MJsGVPM <6>"Ep AR(iR*,Tp5yT^zm3toa_ccOL#&~'=WS mY$;E \⠦PIȴsl)ꐌ{8QQTaTW'%߁F?!kL@̃y=DTGBr#V!B~iR~iR5Ga~OiA# o ,ܛM%2kzvVP1=K1+Vk]>t|:&DH $O ĻbPa߱}_/94~`˜)S-\uA.(} W -M&P-*ob"o]4/@FԫC:v0(Pc̀m!PG+wBWhx1k JXhw)iJsDZ#+I6K5I׌! U;_R@@J#jpS5Ma[< zC AF@ı=9FiCq<:SD!6ȍ& lVƨv/扶3 女gՖ9ykge5AF-$tBb)k* j\?~M{5H x}5jr//ZJ[_.93 )6c{0u 5=8?TK}߆2`Ѷa_NQCɕ`;>-j2m䪄}C3&z,3.$ :(N#z!#dM̏؉ X#[!h+f5R%D$VA?,B>Q=qߦ y?nғf^1PYdn(_; 90ਙPPtJ^-,{d}kn o5jZiWsjh26aĠG[rNP'L3o]2𿕡W=Lx*߿J"m17A!\vJi5~};=rpP?ߔdp?ٽnύ?Au,GK*/hH0sD57qȉ,$qjEG"( c zۇR\qζ~I&鞺. /^(.|^udnԋ3L=! Cfҩ{P&8Mr4SK=z NLw^_,XYS #d[CN(*/l\ڔ<̵'(7Ŏ@EƵoޠx)v`$gvjvPHNfv,=}GW`iX%||Lzuw0>T4 ;T'ͳS~^&VO7"3&avLU&Rj7i:;x;f~6=4jjqXodc WZ݀m;/j@]D~A["EȈ s!` wx]1$ !_eeRYde% RRflyoJphUFV ոz_4BhPzMCJmF/>A(sC5=~c:`lÔAw 5hgo|N8FB*pEֺʼA=S(nU }]\tM؉;8 {QGm_# _&(Og"J l3cu$FtY WC Fae\tۺEy`8BzxږRI$ʶyb&[ S8zќdqkҊ8[#,pzmTow+# l5(UbE)#,b.17'Bn# [q\X4[J;?-~KyUF4hUNLP츰5YM8O ;wQZoSIkHzC:_)QI9A'ՁxcVi* Sf9xJ|P̃Dn-@dMBٗ|7TN/w 1|o vpiGS1KY}mhܗ6+kNA PdϨAr|gSSNgYZ 5ʂẏ/`B=yzM$cs[#-apF)5WuFD>LG 6י~{} MF[>^qQ[H[q&{81Y\ثV!0kB",jZ:q'+ o #>S@HYTYQB!S'Ed&P8(6<4.}(Qua 2)ʯ|V<AT5*2z7xS^aEB%ձ2~61tJG* 'Joyaɯ34p&`[iu1Po1Y'&+RqrMv5K*2J( 9ׂi/ :#@ s\rsfg%:_eūפKOl p3o$Cݓp}`a3 LAҞ_hkP[W0tif4t[O4[_F ~޴&,Aw\ę*so[,!^K:Y:DhcK$:zsd[?v w ֲjalnbU}N~=KE~5I.t{ND8" O$#CYQE]j=5⮇F%.K-{F92/QƓsso{3nY;;o3[㋫N~(<`NXݩNiQF,ηO^o:KoZ鞤䁵bHaG;fyeƕJK׫ي+ l=Tt{9k^L4prI=io&!vL7Vyt|A vr4P xM6J_b+eb7U?f#OjS"$*;K$iб;Я_J嵁 ^;kاc!كVp>No]}MR ؄WZ?ZlmlҡR[n"k`}z".r ',}/I{?SkGBY]%+P/0);֘>NOX޷LZmľԚN4}c;9xb?03`nŖF /46 _a<0ܪ W4K3<6pր:HEo biHE8Q*EDnj6L  낓wy2LrmXtKØIMxj#^u~B~Ȁp 9a~Lk~,ôAɂ[635'q E@]y'&MJ:kɔ5\,S6-UI2rT\X.IdQ_H>\_ϤMCuV2eWQ9?Oo$ߖj='?9HOC!X~)eЛᦩ> voʎy ٥k7ay <$ BP5\{aK֗,Ȫ~銃eڵ}_pOpJYp%c]1ҸA]]aD;S;_h&}Z~];gRN+ T9`D'bq]pyGO:Bu}~zN8ڬ:G-/.>R{ΦC+*-ƛ_YED-3+N`|@7QpϝݕVnܛ~HWͺ^ų4 (60 :bPZ2+pd̪0#pzhdĦ]4F[kp*#PvV|8]+( !snd IR fk/if~HB;GW+< m$8q1Cu#gPNER@ c+՚_.?ty5!bn~Rˬpf#1*A:E|oɫtxoXL9X,qwoatgoVx,7hWQeF;k[+:GI o^dcXOYAsmڱq ~ECVU7iZ&+DsFX6#u@{`7:o40d)| zt#8wȪ  UnixWMi;^6')d3yA3SŒ8˭]<"<3hYCβ ȈZaeu[sdbC2bڗw1Xg\$vϧC53'uW^3> Rv4D~-MZJM]k6Wf+kod+ɔ:?\7JI"%ڜP6-ED,i*1yƍb ,+j#$q}D`eȚ"1ȮuFxI̗w Q$2ЄmZⓂweEf-:E1G ?K([e +/#jЄcuIFtξBrV<- 9SR0gQS+c^4Aesba/'53;Ou;$r8dJ!c˗ .烀2hhMOSz#dV~7$_y়z7A:'[o\h Bv@М[iml X$B(T!h`9k7UwiV{Ji4O}$ƊӃxP)I%`lqhBižTؽx(v-N(cEZj^.Yq P)Ik1QWrϵCX*p{ⲻxQ/0?͊6:ν Go* ( ["ebr$Qx\YߡpX܄곸>g䋃obG赒kQ߈ky]VMUa'}l˺V)oܩ(r`/tGle,gۙ0*U@~yNJ>3l# ~)Q6ȷ.( .>F9y[cF+6UepF~aɎ8fh *qWpg3SF) 6Qv}e1 ?{LOjs+z :z>Ps!xejN:[nNi0ǻiYDO:>L7*Y`LŐNu=.m䮁q?bf*IpO4S=SDH1Û:p<3$8 0mAqʯ{/[L@lNFi{+)R䦓`@ WY*ܨTQ%\$~%)."l<=u{CKm᠚6)5Z>wS,c7p"q{˱tlb[eSx?Hxuq*gUcj ֻO0ȮN\vqV|F"z:tP z~Q?<Q-bCIQ GH`yq XqEiJly98U5 Ngg0H5Yc?k[x]9C|#P^;? 82ޓ6n\T"-A.5_8R! 7{|nߵf,mGT.SP>Var;o4=xW)f?YA_cr<'DZɜ"} U}tu;]K ,mC[oT۬+XہS{T q1m׎,ɂӲ镘3%[t~]&:c'` ÷|XNx\t.OM:`Q4r! G(p&!8*E"&aZӦoq<Z.r:'eb"d:X{GՈ@'pi\/g66'U9Yӥ=W{eUJj!V΋%fNĆ̑-2lgiJIOLX>\'N KR@brzK|ʧ.NHp^K/$DqO)@~5 )./0~.[@1Lj&;UKFQPX(§8tW>]'1T5_\3yao?H[sZKhy!lFOIjqp7GARl%9uôp|q N,GIhݛa}p'N%pc$tϪQELn*~Z@ՃIҰW]HC}4Yr:XvEW$9ZFdbfivW/mWWA`ߦcm%I5=FKm\tIG(RE;q~=ku n K6dx~)Tԝ z$K&jA\ R7o#>|7rH1 z".<`8@%DOλkXW-Ӳx$i79lFg4X2$'x^ =Oѫ>\E&id5.2*7(zL9r?v6%$,fbr١yл bN}`7Q <럽>,K\핗UTnEġ&2B*|YȐCz  ɠO޸yOײdbGo)ם gIi4n3 j|[7ZgI'f:Ɠ(2DrGBɨh-8x<]Eo˾/&fk5X^!_ng4^ pi9+ ]& r~Pzl\>7>cK Xu`ӻA8H&ZWj+!^؟v%_Tł"Ijd7fcWȾV@(nuyVSe8AzF!MU Hl]< !zēz0sᑣl ;ZR~7PٍfI衲CM̯JvB> E཭r_ߥJu']vDK. _*^AQS"{lГTW&DK "Zu 0@UBdَu& =7L=c:q_3xLy;tȔۀ{ CZ^s{mĥE~mr,+lÉ_)з#}0]NmC PO pu ,x"b 7u0Bsx%*_&SL C'{(&Cl͕-BI\~88ƛp|_Z*yXgEYɋކ)!-X HK4+RU^H(P1/q2RSf}gꃛ{ 09aODE.Ε^Rlb؃Qj3~7'\ _ (-zqk5KxWM$`! pϒ<aI90˺E*L:Edr7pw -!-3b՝ ڽQo,1ԛ5aXa@(#]/q/:8wȂ!g!#gkN떏$ٛ"tU^_) ZA.DtYzJKA b AHq%h雐uҷY(W@"BIw+nԡ/yFYsz.up>=s}7o_dov6Tr=TC :ւ?NB`u1= S< P8QmT#Nh 1IVl.|wm"݊Jm-tw(gR(QJ{FMM=Ůȱw ::|SJPsutcTɠe>E):,]a|PZ[X)Y>(:\$2 < 셟)>#WA?#4'quEwXr][TS B18 2xr2pQFpbiB7j0jW % $8ج:]6K# ׉qPֹmaz{:HZdK0c./7\}AY3+oL/r*Bm \(܉w[`^YzW)x 霫A`(MF%,dzf27l8_6K!uug0@fM%]?FB0.ȵkR@g.Hڎk`1kY,VYeÄ< ;Jp% 5re/2WnݹLҙ?RK}Pu/u# .eQIQ.a,("7PlMY9t}ܚ]`״Р'bb/gFE}>i>I31NR5&(aFrcIٞ$@>!iI>{*c^8%f.pɈВQ/<}8ޞ#Cyp#r(3eLjϭ_,S٧<v=1n;x 8'WU!Aw!rt?ُDtU*#U EjF_ZzfzV34⾂0!'yB7\5l{[=1%(+w'X 샢p-(Nx' K QgPaP쾋EUWSt9D俠jՐ^!h=bTq(䝬\HJٕJ{*x'12f5cÐ|-88C.G#EJ(usJv߇v5uzz珛 ʬç7Դlڞ %&qxRFn i*࿘& m.Ղ@vƻeO1D.o?= p?2"|'#Ď`zbU왟Des4R˵KWlk4`K׽-UPj7fg *fu&1jkk9jX}͵C<, 7Jrм@fvoLF%h`!+ M(l^wκmTQQi j]Ax2]a(&l%x(LHh)>S[dΓ| B|S`Cc0AYqM3c)C$E 7Ygת˩ׂygԈ|`h>Ӏ6pGKLԙ&6G K\(HY!Tᬊ_[]$ԡdݡ _В QڍI}e䇖kagA%74kրŅsP}ڽ,ќ:899gύkU/<(/7nKb/OɟA63!I fq*x%igLm-rnL/kIMu OxŪޏG*ƣTnF(Az FwCm]'Թ`. 3iqyބeq'\+#J r8Io^Q_2m삻+ӯWgE1- h Tyw6&WtdCspPZ :aݏt^Õ/s9NM7O׼$E6LB"Le: )rL>"5B7[|%ߜXW: 'AK p3A.d_RWwa'GPQ +[.o J x-\ 7rW˦ *^l}46" Ӂ'DNx2+B"66ʦ=QRH-anÚ%&m%{ހ/ ӆK5"s@OgNzE)0C D <C~=4kfJ Dn?i'k"Ȁ p!H"[,C LG`O_.k.<p5`<jL%T{L'ER:)Wm F_SU$9V)k^׺CsJ(i")tR6[,^9O˕IښG;?YM$O b54~1GS2MrzwVd{:\E[_\Md:qa;U,H$]8`_n3y",HK՜zr[Qy.nR 9Y6@=>f& WC0B@~W DK7wRYK5I݌7%̯ȬOw^# ,9?$j?3+{ cZ~jQ,QKh "b*pkUw /g:Դby}\ѶZ_5Ut.:qej9 ~/yZŶWYN6Q'"Ύ٪Fn\צ #)R:8 AY)9 +޹N8lȏqٍ@|f rJ  .YS#x=W24&h [{ϽH0sELpLSS֍ ҀTb7Myt4Vfrgw!Mp.30+i!Sh8%am3[/UT~v,h}j$-XLMa<b!|h*lAyrQ_ٍ1W?`B}ѧPfdGg|Rsr>DZO<;U8hs ZVۏohV9=&ֳgGYMgc:P1:Guk/0)mb~~WU -P4]w7@U9a\{CJ"tw8RbUr6Ơ6!skBSV*=qXtLF`v!+6O>WWR9xUQ4>ODٝ)88E-][{y)ӖlT!O!xPrvs $ZUIp'}^q;"$8 C׏T=kNWq~mv{~2h"sQNȊ?+y+jWrנQ![01oH`gSGk7*s2rƒ*l8!,b(y\|VEyi꾪&Bw|xmKH.d{n +H~ٓ1޹'G?SǭRz\RxqAU@9 mg46PМxUfz^͐!R As[}f,ZO]Ӣ>5X* h9׆2qL| !Pє.nhĔ٘+Nlkml3ZdKw?%m` ⑘Gv4vR"!Qa-a ǯ6 Vh믳p_vvLA uE/|,ݾ>GLf&݅`t{v&R2Ŷhmm1+_s*t(5r@|#r@fFH#N%\[Ӳ;FġbaM6ouz-% %4M<6t܂ ֘U$xXE/Wc]m X[eW%\ed:9Vqkŏ)X)\U:g\ fƝX޿fD5{'ë<Ev3L}M?e S7o&fJ h~05/ FOkbI/ШS<T6`N0MtXXA6YTzOȹ͚T q[ۄd5JQn4R1(3ci,eGxkߏj^jYc"4b*E@beD&DO  tOC=WivfVL]VnJةK,3I7Ϟpjo-6fl#w9(fj'K-1qK/6˺z7EM:d_9KD넯|e_u0׆1ZW(HxU ݒ4Dٔnj2E@UqDƪRqMٵhOԁ󵺘˕ּ (DFO\ \1 =@A<&*,lEUTdXxpo֞dz˼'~d(<6 =HPXFy U$)Z{Q(GE2ߩ"U#WK@]u)6m4(+dEo~H*~sbv$;'͢_9ߣe@he=eQI`s,cucJ}CgnHPyY8؁qmrN} oq>P!mK3~0<C}f8<ww |caݣ1/ȳeD̙~/B]zjsn$;H o&rlc2/c{JfOתi+ Tˮb}>}r%g6Gn^]!]^ffgKTjNC9Aa"o )FG:Q@~  8ZF5Rd/!@]XUD黦m $ Qسο|N)Ag }ћ,h9siPPƤSY;6hXJt."r4XJ0r9niu׏ɞq-Včar€Q-BDy TƦs6s 1-Ưȣ ` Trz~Wً}2MnQEQXۻBGocvG]/LϏRj:g~j 4O-cэ{wuU'؃!-5\lr:0ЁC^}IxԞ䀋ٱBOf44xFx>|Kdۤ"\9"A:Bs8EN<4s Ocqe>;D"P=@kjћي&ph[=Cyb ڙxDn5Dƿ0}k6Eoy9އb,KK.w l^g^QB!}\1]%@jznC6_b9lY'mi]Bޘffu'C&wٲz֋}юj2b/(/"qu(*ʠCA3܃zRؕ@v*&˚Y*Mu:ufuҷL `n?(Q-{VZ0 )YZi"goͲ|.gϕOHBɠ<(dDaQ!G+vH=hЛ:BI.ExGG}ɝ7t7gZ[^q+$gG:Z sTxo_x ܈eGEt$5.PEbu׻zA6EnXwsVj>9\VR+!l1 hCLB=*7E'3oB{~+t(%kcubćhA2I03(,Ŏ-_ƶHϩ70/+%DzǤHl hﺂUD @S&n҄_R EǵףQVL,`8LAY)v'`Ցέ#mꊋtFR]Z;d`AW%tG) Z |iŮ`聻u3%a=yvҝ=fTOЈ#^el`٫{Ń΍_~ds`z**{vC\Q;1|@&.P<l_(e%vٓkφT6#*ĦOp6]a %mHt?]Fؐ.*['߃ۢfnkfxyNoUÅڜ䍂Nu9>I 0=8Z!Ҡx;2l]kbǀv#8ϴr0lHL@d,dO ^z55y) h$uH58?%ݤ=h~вҀ]6N UXIˊ*]_LdP`^]Sy>O/pɋH;aMHxYg&]a(p+ t4Z`s.WO<OT*..QXR*moTBpݝc /λpjCr8Ǘ n 3*=<PGlt+˩y4im%UHpF rcWj01nŁ&W <}6 CUz*O |lC,TuWJzG|ZAS4|lxS+iro\#!@IKr"W8Hk|aLn'_,drT>@K@m$u#az=IRc z]#fL-+4\?A46J;y L(S~sTKXN!X\5tPoT3^?i[S g;A`U/!n9-@9 V!`G^TuzЙ@/N)ô`2%=ŞɤNe;368uU,LWRM/,d5k1fXzC,6=C7oI~NMd5pxl-\oLdp36@Z_\΋:^ $w һI'n+cD`4B#VSO8t521 C?մ2_i}BO~LSQ,swT :N{'PCRJC3uc&Z( Xsl7=ĂÁ0wTH腊V=ت 2 tNukd D2~ښV;EBo+s<Qן.1kꭱ&X9`#?*iգ۪ k|s\ZNdӄ"8p {*PT|$>x$dݟZdmѤ[8jfl I!1@`aƶkM I~b.nk(,X (P! nvGE0R/{m|BGoP$MِxЄ&`88п8b8Hh a ?soeG+*\ 9[@4IMO|Ǝsd2Ȃ-N_@7֪P` g˛YѻA_+؜G2< !{bc`Ndwpt,O[6! g0_)gKCY\Duן ?e~ǻZA%_5q~Tpg@MO߲dF+]x쫦Tbʀwɟyw_1if y.NŔi\8x&PZ J%3 Vܩ[ƛf8g\5vnWk")\Y.D.N џRjMFuƵxkMDw,s-QEEϜ%CW7:Orp=6O7Z ??"遒c(OxMȖFmiPZcTs/r>Jؑ e_|T_`U|dMY7QrݠȺ|\dvAԕn4[4rzj7zt[:'H'vQY%LNL( 6㛄}Aby(3FLGNt_:]9*#{08]m;8g?+8^c#^sw"`Kh܏g{GR͆s )lMn6;qOp  LOnQadڒsMrF–]I1t.uÚSOF(~y7I.˦ !}N1>#1cs^p {{6ן/->]=z^Z;41hJvq/6u:uƓ =k;W u=?ٜ9d@*` |I2lxWt|(E|Xqs[E- 6_'H]Ý` H!Ag'DITo`:}TqmS3H۽P! feC~_,z])b۴!S-6lMae2ݯ3p҂Ϛ )0MץVG^]ӦB.56!kɟN}r,D\%Glrѣ6ć!m x2%9Mfzէ$=>}Ȱ9q67J5If^^o5k=2ϊ.taG=5/:is&.?>P,K}gVVFRꢌXD*[/[*:_hv0  |]pHI! k$X/={a'րcV%.f釬.5X [D.O;5Pvo8b!n1ןn7PXչZ2UYR߷%T?$ѷzF:pf&^UKr(6. ^{q#Mu-H?ye 2`*?!ϙa} HR^~ M2;آ),Q+K/xɮD_cI'nj,DpO~uܭr!vqϑyP>2h,Év2`zR}b">,$*ƌbsd),uhsDl4%sVfFK(NNk eϜ ɩߟPd,W)Z;y58 h:!Qnsޖ+?_I7,`@p{moU_X~>W(`Tt sח,ZN?'la;3=oj=T1qv/J* "$"&Ä kbuuzj~,E覆0['z X'Oa$7f_h7!a!Or㣍%@aĊ{nou"^cO=l2*s}p+W{Օ]TA'/' vu MtG=rmFс%F;MUUGP2( lҖe[,j$PQTX ۚ c=Kªw>'Ā*,"i$ŒN~aTs`ό335HCd)%wUjݱ"J)e5E$y <'zjxʾx+;1~(VuK/ vTvUu!*xFrFLJ!|b*.3 .:1҉GMqT!! }J%B;7C wW!Fo]ruW\b90'0i}{'y,tånڣO@!Ȥo׸6LVafRxjƓkbdu{xD2r}%%*ђT-ؠA5t5O9h΀ZUR75☢R"+TGg c6L&9X~q4P66}9?f`/a Ј_MIWD~'6"~ZL@OxQ|`IюƈP|ΟX ~HJPF?)3%zX3NոՐϦ1?RvxCxc./ ybt{zy sd6ՍȜncR؁8Hj]{X~l墇^(=2Ït9lG<2-:OvT/(UŖ"5kMJN~ U])Hš E-^E1eHk:2U1yʥ"Sޫх0A"es+*NSQx_Rt U(XpUꅣF d[1s$ymk|ëmRtL49<b%6|:!GO^llycm=j ;%{K&Ԧ~MԖWb}9bzo0d*26ǹ'vE?>!2?ذ6f]@=!'~@r'@gy(>_ b07DFwEIj9|hL:R$O~v~ WpIKG?Q~kXA<ϐ'_ƮHXF}ŕMnl/~ \8;dM#^#G`wHJi'}3"8 Ai68c*VޡUI`L ,Cs]Ty66CY,E֭Au$rMG7eײ\!tfZis2h9>fExzVא0Iך4;!m1)!PвB?P%E\KS!`ԣu,hڿItRm*5"V=ey}^`d\G`? gRH zz>LI |V 9"ɀ VD˦mUXBzf"3ƛxD>~Ry%@;XZ'*U20I/8vs;Š"/X$"(8i{N"bI,'Cc1a[\2h)f_;w'X6orR3WIR}ċlܭ.v+q~*>1taK,v%]&!iC0rVxIY䆥i=RA֠5{!, \r 3nTƊ %cğ-&u'$'Ծ>Pך,1@H7G:-}*;b&׳=*զIؔXX5Ŭ2,i|{ |ioWb$&GFWޫ8]511zwUNΞ3 'ny9 B[ٚ2',X]9"JSv5{;#dQ3F XH-cXHu^Ml.`HNW_m+˼--!(_1q#Xo=5 #!]YDLb]OȥGjk{,Sb]=oZRʜ$ƾda*7X1( 5}PM2&b5ieƵ?usBɀ4|YjD"ϺEs`[!;(X.~GRQ 86HEM).F{{AApa7$&90 qsH =R51 _h '9cTXR=Fnm@iȢ{M ТqfF,qRuY85F)PU XU&"6pJj|56\W{SID6ؖu"/i@Z pP7]ed40P*#5qE4 rj)L`bq0[Le/Uv ^=֕τ`{x fdt @xe!oB`q˸^:Քc:1Y"(q?]]ChC3KVKj\x$BKnc-zg1}JE}f5G8ߩ{bS֨)wkybyPf4˩HX,ovD=ɵ=X`I~vƨԯX2P&S؉~I| .׀:Ke^"( *솼VۚVJrLR?ڭc@k}S w#+}[#.d4#AzALgpCBiA4Rg&kD*I]4  Y%#Ss>}Um9Wq6,moA$9SyL\zΓ(#$'DvCJ:;aO[)2Nxs5+9yND)(17yT`ORRPG / ;6w7)Bc8ѐ-ӦJ,ʴK*),74~{]gG_F/K 2-HJ]=;/v6Ifj#]YT<^/={Y[ua Q踿\l4HOɘX;!j!)^0M+h#ןm G f{/%X0SB^`z[r`OdZY~olSCdp6t'>hpdžYRo #d~r?=8k/ue Cg)4bfEނ/iLĉS< HF)FGY0%ɁFL;HɕV;[0fI[b"rԜY:< .B(ITyHCP&S1mӾ˜g!K(!ԅku, eIjn G$eGT_:Y(5D?W~٣TkNl(Vf\. \ӷ6,İ7,Q+;>fܧMwӖޖYё^] U]rDy5=Gs~tDx0(W8ӊaU' }SnR*MqF,bE Z,Pizxu)g# ȤȢc͵Ѹw!"74mW5kl?$:;A>IńRS$`д'EQwc!nϟ E7dUVR_ nk9^ '.:=e' \ٮEk)D#`]!:!iٴAHk& sQdP~ #-ٗœn X@{ubTJvY\b գ?VWāiY0LACC1AT,듣*c"KGXP2b&F^ԯf#w`zCۀs!q e5ُO2 Yl[p-HRabd\ʘCjJ.7[b` ,oktZ&b035/H1eՅO7tn)nMkF55_gf =g4. % Cgİ;nlX֍ La쨻$ L̮뮆-Bƪq䫟)9Wx]$HolȕɆzs/ÕHυfa޿Zc6K!vwڐ'ZF;6}ݝ MU^n`hҬʋ1acvڄDbR@Af9&~b0I?ؐb&ܾi~a ( w潓@D?oߒcdΜ2un璇eZf g_f+A ߦ9YnPqE=+>NUȄ nT Fjeb^nm M4U~Ϭ@сLgѹ$bƎlCdBX`4m-"+-q82笊Ae?l2 //F5T[c W,| E!*\ -DgFjkG!2-"S2jp܃rt0C2֏=͕A:R'G2os^86pU5}svj)"P`K()DŽ6_IJ4ʼn}r$pP; f;Ho\=UA|7I`O˂Hf.2ΐlHL/\1r ʏKp+HQ^|Cll9sQRYۘV/|T ȭ.MG,x T踃Z\q^E N3aAR'@HșgRJb [S$[ C/b0>"|$Q#XʖPe*6lSo`9#qJrnQB~R*kli|i5Eؐ7'-*~nuZO%Z7_ЮkKЩN!B2;.IH'R5d{h*e!-z/)DRgvi9{mZr7}罕43:9zUTNi?yxʈ.lpTCJ.S(7?wl>~7R3rZ2Tݢ0 y+͑K 9;3rgXӣ _ט}*'عjjBDXTx/Wj.=L7 )r+1JB^Qs`D@1 tMF2!g7/%I->IEOwY29~m*K8D~[z[1 TcH|x:\i&Y =/I_&\Щ`ɦf.]@'WtƓwfܼBɸEef5]V=y|J$֣uGyVƮh?4A=cGHĎe}Ǫ"޼FFl\,]ʉTt\J ";JŰ)'kgD%No!?Nu,dhϣJ{iN/wRMDNx3(`ќM ZcZ%%Y">BXоQyGK{NO H'bko?W<8L%c{/_n(nvJ_2MY?AsNfqvCyV$&rv\"]CK0A%~[RV* - <{lh$p@/?ТAY| }D8(1b-R/౐q~۹='!D|V5]ΫCR{ pPvKx mX-*؋$]W{^esR}pm0XT[im% Pv4a(6V#s%TNd.s%SB= JynN`}u@%>$rQZIƹ:nXZs 8/Sƭ=ńZ|+kҠ/@k7Fċj1b@vHpa 9ݬ6iha/^(3tK۬(wZ83dnjf4X_ ع1:Tn2Ɖl{2ڂxWwo s; ZB|A*9In7Qk9L_l?fd.aW*P'F, 'K}MA˛N௩w?6XiEqI%l*[{R|hN.T6I>K.: /Eu'`Aixݯ4œS4ڏL{׽,f."s;] l/ "u ~7\.zQuBP2zhO &/B&xi<;vդmARv &C (R% .6툎0r͆yZ.[zVqI1piG ѰHdXeacHe$۩Wv 9$f6wZگ![p Ւ&|g\V!g_m`gN9@`QA_F>Қ׾D5D1~CYҊvn@.6ngYZ 88(1I% TNat-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 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 1N7gNdoXc}|Im"-婽EgfjӻYk95F#dU/ChdHaXȬb}Dɖ"mPx H٦ˀ ^bt=yJ͊%[7WagFnG_ ʷ$R oأ߹Xm5Vs?\#VP1]Z>Q-sjYM@=T{x]HR1  E⧚Of l%u;ѶY,2IroJ!76A@3G[rxu낟GEm`n۾NB8f[(2NIijTOWHZu7X? ?bA@h7Iٝ" rǦC{#]CArs$PVH1mE'kS9/Ly"CzXUlc<77N_l2)wѼB% #`xXh!_ WDe[Q(o"UzmpM:v9V+qWkNy >Q#704HMR3vu #EQu&0DCG.bpv?aߛ?AӠV5eOi#9<9 wm+s̘q^R*|/p3㫮?j{~uFZNvh'L!iU+ZH]ƴ Qц9)v/1>%CӿܛJZ7=t2y^n.|Ұڻ6|8scK34a@` D& ' tiAZ{FG Grԇ*1Ã]p̴j$A$##Y1| CYh"񶰎5 q L/8[{;9B:k+{_7 71)EAfi5In%>2p mcֽ!! xR>WY= Sjo!<T86W[NJҶbmD8%*Ib/3U7b)tksgU՞qM  ۔d? NJp"Mgֳ1-OZљkހiZFv:n"gW&a>v&\ɳ$0&*pQ-Y2Hr/8S\II4v«#gp2xDuv? = ~?QR؅dd'7'D02Β\ѸEm܇-!EeZ5*3OB*9IB̞_ ?pНFxBtJ#1 ΞV-$-.g;SW-eq V`2S17fm\zuA ?Y6_Y (d^pprn?=\16@/+[t﬍DN?LױYSu}[4RW[Jj'PUYܕfoM~8`zdab?|gA(&?`j)lIXN8]0&m5~̄I5Q ڣ*W5:%4o-vUZv!&h̳P֎rń܍s:`vrÿ'pz 1y| ݙԺ'Kby𗃒+#$`cMډ̣#;Fo fQjl>4#230 7T]Lu[z7#Wb ! +*2H$k9Rܖ_[1[T+ӞK>Z4x%ǟgjmVz tzIllJ;; E2>kAEN(!]'\Nr?foGV=0Nm^Z6{6x^C[nu-]al''Q [;N* HsbzCt18u44ԑw캭xl[G5Z$Mw~7%/. h6y<:(WV[r_QD/f컂x6uy!(P]Sw(Ql~xi !iճ>VyDjVl>Zoyx+nЂq jP7w5%l(ý{5n( ͺ'`>{ļ-åֻTn<#Y7!)Pǯ5 phR,BT!'cOk%%*YEGRbTU` $(d&T2O8& `T\[ uGGOm)09xF1JÒs8.ϛ9m@zњ({VOnd7ְ4y3nSL&TX1h&;V%.AʏAuy>Xt lė Nrkg/)8on3]8"bm>+σ "a ~ΟA@H8=.nT^w/u㭱c $(:Myr-^OS9edŧ7vQ[Ħ nI|]"LI__GnM[Q35xG6 ˄6z^)e4[֡!fD^;T'CƮmm-Q PxL nǏ6=O=j##ĥo$;&OZ<%īҾYg{o$F,i:|N{M}‘4:<~S6e'iW2n8M">߻}I)4OmA|ѮL|r `:r6O@X~eЕ]Z9߼ak?bq63mw.m/2y2u`lR􋺿ߑ$LAç?-1ɇRNxjcphL񝐄KCͺQ07>[~ʕYjm^$}nrHkۿ3G 3V{a+A ?;{yjζs&\Nάз˕5fYdZJ(8[`fIcceBͳj|҆3xl(]sc  ;/h!%=^*8rBX夡򃙊ɾ3/k*Q9[X~=x,nEK[k>h[3CR*-U4ie.2y.L9DMT_no&ע6LuLƚ&#36ċ=`:&hH CaX#[l۴ۏ]As'`ӧa`; tYQ#JHdoxRNWdcyܕDɓP[@^*gou(Ԁ-v|^>ѻ s!>E5ĺYi+/XԮ /MTv5wG m*B%5ҹpU7nd~(XEncز\P:F:?75N/RO]7SҜ+ś KdO.Q%s!;ƃD,(w=< yJՎ'VJ`+9%_!Z=Xch* ԋc`U}h'ȉٓsm Ra;#$ڃrkm/rGvZ|q7[S q]ߖmz+sz?Y#8<"pv Rn {I @J~?)X*w?/gY1-gޖMJnQRra3 Vz7?ъZ7O_'/z:rc/wx#h>ԄZ3o |S4;X%a*P9VwAe / :E4c->櫏 mm\vQ!ο1w砌wVι>o%*JGi-]Q!(rWWZ, crh\V"ܢ]2-Yl~/ Fb:!93|MdgHA բiRi2A4! A@*;Yv`hlb~{ M)>l3Q΁*Q`Z2Hh*ۻѽP$Gݵ H:1F=UYr-v\l^E lhMSg}HC\x*O#-W瞙m?1+)s8m@ {/pTRgw?0ht/ڰ])]܂`JC^~=gQH;ŋiR]]RR{¼ Ju9$sebvʽ;LQpE4. }+Uo|8?8\sg,wߎ7s] fH^otAXlԷ2RMLepѷͳ9@AA9v4g"hfjiX"A"V_^?/y7O+n˗w[2ܺDky,@s`Ark9FV:bxI٠gTtj$`/t T*2~Qn}$U<ڨ.I8)*CzM/KၥFgG;)^| W6kD˳]34,$hHi9ǠZqE{q {$`-ʼn#Qp>vi͐;KU'bFP[ 9KmUd`rͭy5͒;U|HTt-%'s"ǂgʷBuR277_),jdxA,rڞUN ^",n3eLXn59-Z OϿI4Eu0Ho<"2Kv: Ed-Y_UG "5n*rͬu'T.WA}7we$`/ `NБI8='#p/f'dy[z*񜥣 AYV(]g3ѓq%Wt",x_v+-QwvJK@W[Hl:v̶\GuR5š i-fB7ʈ^VHɡLu,L% 7 V \qHoBS=%5'~M˸AJ#:U5N.FGͥ[5zarf4C *L$7Pcc#@֦,1I fs;d󉴎<Q|*A`^UOuLa#xx 1eNhJEGJ`a|PZe?喱n>"P<1 o,dwϩB@d+(h FB !Iee9{M"n(KtaC Au0±}*m0ً2^Z]٥g4- ;B,ƛ'bvF30i*}ru}Me) aH$OM̍an\ū b6 (3$92ag4 ʃ=QI}Tk3`&jtD]K-;2iW 3@vN'Oe`<‰#SD%NXT+,M'{*n)sg 6vuj%"xԞkCHo  +ݭ8s{aCn7wdB;=I0WC,AW5mՉL5< (PRkD`*"={t(p?h- F׫A: ڈqĂ> âʴpX 䋷p z .\2Wnb1nfm@nPA3M| o,RPgI{slxk +7:|l

k񮅌zA}:@QP4e-? n@YC ԝ!Trgi=gwDS +MbM412dap29!4dm}wY+X)}Z:BR`nE)%?I`PT :9|:"p!{< )|`=@oշ~sO這q謮"_veiZ386Rf]tQ 7ePE|Moc{Sxe[)>*Ɖ>wy +]ዿ:%0 g p>~$!K&%yMDr + L./H6 8,HD^q^Ajj_5:U!IgRgE}V4TjkϧG8ߊW:B5;O38Nf4lC3Zj;+TlIBͲ$I? GB++ǟ0Q"H^nA68D[a'$ZGEͪݮn/13=Qp?F: 'kcGУr<@AV} ]jA [/čtrV &:SQcaz jNC<<">(u!F["-l{Zc!=2*s hvn ,F[$Yp$ޖsf5-DD}Fd|Db)k:,IpcѷfRQ4<>65۷6AhB~>gƗԚlarc 'de0gS=?z +nLmx3`hK] \yUmmK?l&!Dd99ߜݽ-\C+4+JҶcƆ=|.:X.E ㎌sg[I3 hB}79BS'z"؇R4H[NeMkӮ;`F3gMp7SbxsLk{B6x+b:I /I Rl-NMkחQ>vW*>J?$.iRgySތȒ4NJ{mqRA2MEQhFaYj@ P˛h .it8:ZVI vNgחk !E'i)Ck ?n<]8ic$1Gpr0 ./ kǫkKxm Rml+1Z-jX!>oRʉ$Iy,u< :-wt;aUyɲi.qk3:V~Y!ɁZ%E9(1^bc5O3`pʌ3Fa2c~,ح~&+uԵCĎWFkh7de:Y"O9 o49=*W1] OI3eB^cz_KVzQ&izh=Lm% Yctɦ1%-V"ku\uiE+V4:ndG*5 \𮴤8>K  ,9*B|j>tm,_wNz%m7SOq``=Ryn!5S>[tpi#HұYJpbJ\5CY-wSX0M fmy!dR5Qc5^7QJg} '8 ֗yH*{E8֔_$OT/uw_QQ˗0g N)hD8{K P$vQ QѾPo5*v^0b>%22edJa#s?.)P|ik㦹[p\ݧT2 sD`G^h [HN;AA Ha;%Vgu[.[{F=\%$p0>-[3k%3gY ШR\/x,Ib,L4͍yZc;(; ? &Y>p6o-^Hϫ3b(&7FJ 3 Ev&2q[e<^3g9z4,ZtdaM9?u2H-fE {J ™DF=q1k/<뾯?/]"A?_ 9p-0p7::H^%=ab-E&[{g\1a=߽2B7܈?4܉TS ·c R  62VwbOj[۝tHt`NR&1} g#ѕ#"^H 2u ͈< T7Rt"Z& /5I?Wu].*LM+C|ѠS 6_[,+Z PJx+ҵgJѲ,gM7o7,UE|Ûۥ|ٚLCGuxnA|f6urb۪;+;:XYrƔcn53^Gз~:l~T]K0={8/=z)j4|}tb)&~p _CsIr&X$XxHTt5ݪ4'+w'lm:NΒDgjba x@{7e%y$7u@g/!K0SN~&λ=pG>ВŁ#k6ZM0!!\Ѧ1[3.2KH_U_~Uܫ\,9T*xǼasWGob+s tIlKv\ple}a7 Ѫx}~eeov! Mp^+׬9,#%׆=[Mh(x`XBcow8/uVհ8xnFF@RS;݄)7҃( g<^,؟{&!XU ՊV $fP6 KN#sD*e~Fw7(uvOب?+3On5v^&:ƣ *J%P>n1! o.Rd+'opFj`_O,p׍{Fs<$k-v;`ڒ317*kcfg%Y:󛫗 4.asZrb-wIO!YҨw;`S4Wrg9qgrPn99Å/a?GV\m:O.UPp2ք /#ӿaoFp-W1N 6W;AM=RZlu"]D18/nvGi-"P>aRM_e15}GrӘ08ak}Wi\ƼutCwb&/E)i ~ܜ(Ε *z_"i?Cv!wNGK鹈{p3<@!Y 0?jG?>l|~c!@5;`ޣaAU󹵁 4;"(y (Dȷ%ib>3epj67+wz:$/0Qhjׂ^y3"M\պ<낌 h[Q XdL"> qA\sd^=Qm7P f|&|shk mP:p/9vmv N7oTf'`!"0t2Vfkxy([pwGW1p2I1v8!I{]hsA3$RIl@N|ơOȊܰh,.~RCBZeqǗG~T1nfQoVƉv+aF54'Xtya)8phTU!Ǖc`:8){2)\_O4"$e— &~,gļ?zt=gD~K(&EFĵxieBUXb@z:~k 7I\@M>=@ D)t¬4za_y7)^غWH| )oj;TDr?6op1"'q)MM/"=lm9^ 1NvYgtcΨ9DX9Fjpw}Og{2&zD`88 TMU+IZ(Yh7B !ܢebVjAct-djb5B6fUrЯns[ߪےuzigpžJL@9'i.|kl3Jy偲bKWg )ݕN'pKcm+q)rqqAk KU)knC/Z@CD3J35۳`ň D1WVm+aoxTUSi;|@o~u28Ns"4N"+Ԟ~H?A&9+A4|H"S*LjFR=Y<N;-؍Nmw~a0Bw;4ZA9 $Ba_~USo;H"h]:tG 0Ij1TIñN S/w7MSȼoQwU(V̛S&~,3h3E(1.hBOƄ.K ޠڡ_:-PC号6+mR- @j.kb? aRJlF DN<(Iv5#zD9(W WMǥ!ji@}OY 6J/C(M%F< .B\{l`CU+_2|L~CF˲Mg uC4fW#筦H{-y).y(oBx 8iV}Yy9iQՀs+wHڪ%~LV`2jb')'?E?9eeD:ȄݥN>X,RwX1Pcg:YDCm4 ڇY! &%r86PU f8X~.2lX~9@ :2D*%wJz/i"<J8ߒfNzw(h:oXvQ_IHt(Z'{ث;(n3ވboj..,^ub$>8q1s e\1Wq}Rn<ྕU'oɝbVCGl@4Wi1S'~ ,M΅qlgYZ {{m1[% LNat-Interval-LogicNat-Interval-Logic.IL_TemporalOperatorsdocument.tex7zXZִF! M]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,p3Wwm$ZHlOcmV dNZ."!pC Lad;,mD`DQ mfcE%qE.Q~+OQ0w?d͂A۵yQd{@ܹ[=ʬO$?*UE }J@Hp2i:laBA A b 9,7*f@~Vu5 E[ CrHjcSC,cCOfĒro-Ž5^~'7AOElGjH"C(7t5dQO䴴_(^HvseD0XiklX=_L+–.ciQFg}.$$ RI[RWNYI=2kʍ8Z&z د ?u#-N;(.Z  qh[ģ%g|ܡVrދșyS6a]f>횕pd2;[2~}fTI}0A"-ܜWygSս֨H]Xmex 8Z"V}.EO VTHN R ;Η땽,5 ,z6g,y\LoF̒ĘBEhiW|ZC&5N ڦE.J,?;yݞ6M8bsL;cd|xs$͔z$눀Pхy%|,LS%=vPtQ` Re?8`