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 @@; < ]]Stone_Relation_Algebras:threads=4elapsed=76.802cpu=149.404gc=4.252factor=1.957zXZִF! b]ŗXiɟDYK<;Fb4e*ݜS6nBeOpBcH \Ugmqhz η9l7k8[|-|R^ծo>1;D6+qC}3'SpQe x;#g Ɂ.HԊ?jk%أV fd:N}c*4X"“K[j[\p M "TI>$ >#Bgh:_l `^WlVtU5KdmPgU*m5>UYNY̾r\8A&4[ L؉[M nIKKKGr r D J?]SsUnYy:!I_=** 3`!Y,9$>k7d>&xr Na00,$0TXh5*~f`R&yA1PBg"lbm0 !Bk{=#m{h3b>Rt0&?C]%If?zIxyimSQ.0§ƶw8# .9^9Ҽ(@A'ړ[eˋYHPw p'*_'T3P>pbOJÃ& |i9&/v:Ms6zZjMP^$jeXE6xkdJ,`}q,"+d!Jg[]&nQyg%w2l jLͮ+f9sHUɽfUPJlW<|c 2\aܦa X/&θd֮|;F !)&]dQDzi[>pLX( 8E{H%j$'Np]9S$;:5+Q|ȪȜ+0lK&Gj^X]HL^?dPoߢκ;kw{=4t]i!f7g&=bdj$@б3=o!TSCO4}{0u+CQ+y*BAqZ3y\I݋1.+^`yU*;sDKF@[Dzu4bPO'D۔TntDvq]dI˃ZF4{Vt넔8Ψ 8-r?ZzV|;م.3U<Žl_,i[<`vUMD 7X{l:SxY=`#QtfwD_5gi MqZ ùhN4̛ׅY>ZezVÚAE Wp &`=9Q,>l]v~`1*'#x_Jl!QޑofBBd0WX\<z׆!&}"x%$ wIOM.V@~4)zQb՜YB>2FG _(& G]h@ C3F)H,A&('m~Hj>_nA+IhS&+8V|)!® l28,BwmAӶ4$]-bISh \Tn3$(F! qRKTts&F,7O2BLv.bN>bPAr΍W2Qv.TE|#' S0MlEԕ ;EW#(eG`Mu,!NL6ݻ3H8rT7r%UEesf`&o\};e*rtYpe q 20lݿ,֥ݍ~D&:PJ{!c Qn9`|;$zhxT_ؿLė4, W[*nITTN~_Ğy&MoXTkhw{sj`z{3.푲4aM+0ISY N^_GCGa{ŠH$' (9c ; Stone_Relation_Algebras   LC[nSPp3[(= Toum4lt\t Dcma!d(<IDO%r{yL0=U3d?e]c+LHh` ߇Fњw׎ M#,U8TȁZs&AIu 4vXJ=4&߇(“jG gAcW׵}{WE~6Q ynsNA[iy,krQspPo-N4A\l;)l=-Sٻ.ӔzluCg] >SPY{ 6x )Ӵ Y/v׭Zv~p%X Y0,KN-^ܲvD%Vd n\J:Pn?t >8^ϰU6x'B2W 4qZﯮg7n?Fxr*훯Q< SuPŒg4r }=|u%c#K3fJS/-~ \8_/]2]K9oj2=+c6krNyjE|CfXt$ƦC#Qv($-uGgR%b*^pR|a $?6 bKA`,.]ne +ְvp.m/4aKi1en v3=BςnFZn@ς4 5OC_A~?x)G׮ibgᰜ{3pwq;Ty b1l<3_x7D˒=J?Ȥf>b.jAcgmPT_ ZO2i HIہYۏLSTrY8soI5+,>6|zuGC+1څr Մ$;豆Zz;v=3ƒ(WI0ڰ`Ǧa&xi2ʴ}~h̫c,N>xL_ U( z*m<x)D%&h)mJxVV-MΰuX mӣ'b nkT5ɬHwxk :M)OpZZK*IP0*z!q$ݟ#9C0Go m Яb9-a\{>W?YD,`M>*۶cħ"49 tJmTb~ut$hg(RRx%ݢڃzTAD54aG卟.TVs7}}56.j&w :&JYw1$KeЇ{r*dA*#V4X"@ј[؊RfYBbz [`v/K%?)9Hoov`:wH{)/AӍ& }02SgRD! }ԝ=5þu]J?*9۠&%&y#5:|~ȐN\ 7THloQgڿYBb}]uix@_`kx &^dOJ#ۏ;[M-( O6c`I~Z' r"rwt v_FOn>lFM.߰ey-ץ;QrmԦy?֪-SWOkZh7$ 7'';K%+w@h؛tʸ r;*py˩|V;E:8갡h2$,9${THJ{2W$.s4ο1[DMцf^ Oqj7aL|X~-35n IZhD<M}c ԅlWׯ+ù&lYxihG~X'K=|X5piпdxRlukHRBGr>թ_A]V4RTNŰ|h{w~bϨ' [6G35oS63Z g/ q^ƽrgRM/~RBہz78%w[=4L7-Gp*l.fxf|ܾhO"S1&qY_4u_D97!ie'u]ǽ/ؾ}]sH bc?E ×[\/Z"99UKίĤHgivFYn?kqX`;g ;ëWwhj mG}sR|IQQLhwS͵/OJnyOv$̑U_w>hLO1$9` )M?"EB%.N3.Bu 5ťou#dK_aP/B:EReGD㤝v 7縟&=U'x#˘L5B1+G;ȟ0T aHrMK|7%x>O& :)kM1NT˻2N7I-Ij^k7&K݅ATq{%IN"iێQm'/[h{˨#DgNyBeז+X_4a' T݌(1z=PK̦l09JVU^El5EV AJ=A˱`pˏ+5[Fv4iI|k| t8kdjtܴӶ?[VM٭tzs&VU͂͢ X'Eg"%k\sL|;`_Ԟ_ߐ5ns緺ql,?xwa YM6.(c%SNE3՝yinp ?e<}j ,&7⿵{~sOEGGf^jw}G_ޛ}&QCjrzbr-}4HxZ@4tq:7- ҂ƺo9դ-'93;,`Jeuq<{:,t,mQh}G`]#fX ؇HJ6-MDs:m* K%-?#6vrirFNYLƞ\~Er"0QaX4O)7S3AjنpzVDWXS6)W"TM3=B}W$a`Iy:l_^hW$p'Dkj ^T<3qqX#Ay1iӘMEhU;`u M33_ۛ?|[_&yv5*%SmV }6uɌ.`#N1?vG`F mxx1$z]cwi+0#d焄:MSFjH+YB.3qw LRsiQg())ksBTf64gIOx4p:TTDW(X?:dꓽ.*qϨ  /8X$F;ۃR`&l>rBj}Yb1#U䀄lK)=Jc,'ܓ:!9W+e"=77wW=:U#7cǵ=^<,$Xd=|-OjBmMdr^k CUzH=q0&/+)2$~DDž6PuXSPƪpU})@S+#u> $$NcZxQrV$%LK\०ť8-v܅ ̔S=Ҙєduq_PYQ6*6pR].(5Nϐ5:洲> V V4eI'|QܸݢVchc&%[F=tt->b>[i>XJw15;<)z_ɀXlhMb߄wȏw.=A=﷒})%ʓs;\[Xr ,Fxtв`<.b| Y~ǿF":t{eTmW`caUT3Di. I<>J~ؼT="@ }XNp,Cy.BVF/xde+ ۜs6;KOIL mK#>kT4)=xbF ,cK_u7KanEÏΪ MqG?:nQ]]~O>oc'\]̪ <+Yguxx,2JZt ~ "gu 2վF΍68N~W;otʆ1zۏ*J,VƸeĭ=}2)UCuqSz:lJFCCvG^0'"qAAaiIt9+TBH.n] r &wgV9b5@^J̤r$'iW""-~b V#o-OmTh0UނY,?xD dv9ble5qFK;Hy9N+vvwY~1O$gBZ/Ov *֔%ʌ*? R$tK C# Qeܹko@ @P5ӥGuñXFV?!Mn,+wYc]G\k eu$;hZUfts1K`Mv" G8u;3u9Uj- `Fw@Ce~W0;4R jY-R1UjLTlNv'9NJv3q8|NS38R8d2w|L$3s+"QXVJ;fu|2XH R%lG s(S"նeh]Dor gxSZ1fl Q" vFBJJU'$~* .,03zg-"bzLn+QYȉysg1ڐx1wf}_~7>z=#{lyx.q์ Hfp˅(`5|*/9c;:/)959nuֳV{Ul|U3v@kK9Tdt wZaZW¹cLAK׵`#R::BTuW?/G]"(2Ẍ́sCgCv)7|! +Ā `>7e-m(1]nXu\5zT-S,0\ˠi*df^TX럏֐!ĹEw@*S X+!i8NJlIrlL9鲇iWܷ|aT`,uŮ'IS=ש^ xhxR`ÒqUMfL,Oģ]4-qדߢ1-m-*rUg 6 Pj!F~KfŚNitK b]ܰcϕ.i ϥTCh`9' 6#OP׆goQwĊk%X;r ©TFNjsrGl+Ŝ| >t-ijf;}>-7=iloRZ$P]X8$2OK UP 4Lq OQˤ GъB oJڕufnb@},ewmQTv6yɸ㦙l16\0Y)7!a yZ PRY ^0[2Z k3.iCK%U>~!ɐL&5pHu@*H$qscXu,H-W:E`v%9SO?$Z0^6Jg4PYJkak*@cbH=v4Y G5K~ʗODyU* \OL{7z V*fS?96!WH?إ^'I- @^WN"7OdM3AB̟BSyklз!rǫ: 9ۖSp,i!4&he=ƿ<^> :Eq1|HKѭܟg&}1ME4&9l>k3U4\™ߧE~;;n 31WH"qK"G^{a߽>RId;BV|_ BxgU<5f&)Cj}>4l/Z%W{Ekͪ-T"<"CAEAq9b'+9|<{,{1u;dQfXF1a{+eywʇ?Ӌ!6UflXL}@/pB!{HA0:i΀,bP4Y f'J$[7xerp'sGQ2W!kY2{s|:al=RANy[Mʭg=P0u,PX^TFF|x"J0W57 Y(swi- {ֿc%яkIՄ]KZLmkf`$NR`o^D@Bb>$ҭ<(w2y6fF2l>IPi6$Ͷя4QtS獇M"ŀ5# y$9%M*܉(LµMMg^̴ <-?HTkoI˱+!vM70b$S`UViwŲG  & .b}9ʵUSyb2ގ0mv%.F% 3e=kwˆU IR:̖*-T0'mq`xt7mE}f f] PW`.SrnJEMM=rE F@?O+V  QocvZ!'FFWˌpLeJgVۓJABhk!V@FJ8&v (:>Ijg1;e!~7/k2.],z<xD:LU)"5*мJ?Mޯ)f!UsYݗA=E$,B旞/=ڄ̈, -uE{nҪl)A9$ -3#Lvᵊsޝ ݕ~v1iMMa =,i͟b8}^Ϭ$J%¦[p)PeTKec7[ 6PNRB%$udqL!hnNToz 9<(VGu&,h_SN$Y8bL $ɜgd3)5a*S"i n! ' o4njZ~i֍̓JƖ@`Xj"3*~PQ^Ǒ&Ʒ,_ˀx`[0lG7Gā']8[~}ߥF?04 mw[3=!鳇,|SaXsGeg&Zm6YU]!50Ы}]f'6iOɳC~>5YMM44l^:F$JC'3U [DC!1D5gEDy 3~u֌3MjH/`FȺ~Q1MlrD^ y\ՙ"X?5* _e 9z>^w@=3yKPrl&`D1,,B;Ad3\@[%MEw g&^+빫ۆ%wt> Sv4&Y] õw T-BRSfx3#68O{4kXt5DZ~w$i*h PƗw~]dJBsMW ;p^lڑԑUEc~W6xPM'^Jx.`{#- zIRj{ucҊ@q>Fg~rn9 ;Qm"|`wf_hYPOuaOykozJyT(XhLrO1@N$ƳH )[;sj {v~@S,Uh@6eYBʇcE6tJ.{h ^O`dyu6j6'vM5tH0-ޑ".T>jIu{MZ?,.LηT9TGZFAAybQVx,qǪelBB팻#ՁÌɂKgU;rp VQVc Q˖']&R$TRS4n1n#3*m{|ǔy] ڣH#Qš"rȡ=.OC7X:`FDjͽCF1Y>7 79ܩ& 8&߼tYMMo>ӄl!(r,w41%{+ z2@VOOH٠ܙJT2^#h5wl60R#%XNb9Vpo4!6cS~˧C[^S<)8̤}H,B |'NJ ?@ Y/o~4(D xD>[)oigLpMxH~?b[TX!* &Ex_aIC .> !o4/ѸiCFؑa9.$Y턗6b 鞈׎~1?Ļsx"97)^̮>vv7bG [d`TY6Җ^DCzqfƉ6lBS]dcc 8:EHyyed .N y48Pӈ\~QIA;ۢGwЋͩ%`O׾EiR&WD"tk@!eu` qj* Gm&> ~F݋R#C7?g> ܔ( o_8#Ck aI?V ć T^NR&[ICSTe!aiS.B JSH,弈 ?>3<` 鸄NKهVΒkR˟~x4,$s5.6Qc ?ue믟xvLX])AI$IAA|Z:zCV:]dBVQ ҧx#gJ }{¹z `Q_wV46w$IqN8U xD{N?\M@dj\AӃtxGcE 7yDX;w')9%HEcPհX/ISKp8!p"g-:C4ՇZG%!5GQJڢʙ3 ͚3OH{j>5\SCdX|-ʒ)l OtyM}P-c۬ ;͞OҧcW!H!iYDVT* ~B? !j?뗖VtAzud'H ?Ǔc3YuM|JcJ5'nb兿Iꌸ&U|?W^;3oE)sH\;p<׌EGx@yR]ux[-sީ\`/c֝[7:XmeFZYȌȊO!O"Tq#<9uPd4=B4SWM4tkyZa]Rs."T%⡵^8™S#'J0K̏دzIU =oo{?>d0͞{' %ŬL+c<_75dӌ'L!: bH]Е CƯ Zwд?c:էQԸĜ:RneE !ӐK!I<6~&" "@ڑU9բ8o2㗟T쁞SGA]無*-T9SQx03')Rv>=JY%5qY5.)5X3?NtՌ9+Q#@ }C8LE+,EE;R>p\W@7@򎶡YQ굺YqDDxQ.OHR7eE oJVE8M?dWˋI1ys B69׻E@Co -*$N|A=\z:T`*:K.+("ךٿ,I^F٫Ty^""hy#glNTx4'~'=5B4ʚ5Q%MbX9+ל5 F ;W4%B1= kbhE5X{L eii0bwP6aV92F}+OcF-YştsG 7¤R4nE =$E{^ 71|P9Q HcM[rFt (z[k{.G`Քx[R[VO]H\E>j,XeZt Y^Fq f#/]d!as`RR+5 DciVקõhTKCtZ#?Ms"L\yf4R+MPA;h"( p6sKY\' 76ˍ{51;}>YuHh},ñ/:@ tlKQ("G҄?G }Î{ a$7e fHZXJ XQ%6ATG=gY%TOc,x15fH1+Q^㐊ޜ*^Rh(႗F zzG'@TEP^g>xP{wWAR% W^:e>Y~*|LjJھcvt^!Vgg*C٩xջ9_C? A}b:mCMLAX3 ;-<P=U-IO5c*R#cC"j3',Gi]m;ޒm1r3}'ohS@+BR"?b]nLm&#~P)IM挰PC7]IvTu׈pNj޴{;ˠ4foUQz=$sM4SD9eqsڌ@Meof iX+h3Bu``pC̀' zjЛLL6Z/ȣk[D`03aP ó_#!12 א^LׂxqdLmZ.R)LO wꓝ$2:lMvC`v:fXKþJxY< q㡤{1 sqmrqWI(0]zGGAW8kц,*ŌƫXli$]= ʺUӛJX aB7tZ+˽4l1_}`H=(vKS%x"c]jj H랸pDPh'54N R q*nNy,%k.nV ;R5nhpkSbдInmz.E:wJ93Mto'WjƦ(tUcFMxtN'e!a:a Tϣn8&DL6rtÂ2ڏ+LѶ@f1rZU|b o˛v?^ @l"+XKsr#$Gu X>:< k74FFi6rIEҼbTϳL)[Ҍ謳BptSE|RG2Ohx@7R][ /J~}SL>ɍ&goHԱ$_c'v{vgF&PoJLaC Mb.F ʔ]yQmgk,x[ی5Eݨ2Uz o}mCd/nibY ' qⰥ-I2pq̣ pU\_e ÇPSwgL_F^"[B:.ڲI~[rhW8 ukV"xM$G-bX̩^đWsD{vg[QG&a@4Xo<:2)Dz_;\hOTohi xi yAja3ł`v$(4@g{RB"3u6 $6shP~ Udn*AeW"ٔ i%0CxWr%3DLkk{zf*e '6cH48g1Gm.̸u؞ ^_!MN'fbA0D⃛4Ћp\79!liD3 }`#v=$۝doHO= [ºIMfH/ #AsqXN!h(rs]>;: ^:wnf{[ѷUO(n.I.QDA EN" r%]@BiMy'oy^uo4wޣ .9ٞ|pz8Dˇ[i_úbdC3k,KĐ9h|^bڠbo0%qmӟ2(F’< , šd`6 >jYn^ pZ(Fj2qMJlП[zKG*!tnq5^X_uud|;8 fzނ~ )[- DW}BU(tG&eyh`NX^=h!"6;p$aE˗L|e(۠`,&5 <^zߍwvʦ8 R~mS833lZ@Vw*n  mmg.KTg P-LXYʇN$龜C{mKP6MBu3 jᵆ(g'(n e_4;)O";@`zɶBm};(_*mdB [7SP*y om! N 1nwȝZ/X{ h#IqkZ0Ps'tKJkL*hmi7]e#aαf XjJ vw+0\kW&'+%*B5pL3b2)_ U v/4=3wC 4R} }r8l[mbӾe,ϛ_0IJ𕱧}C:Cm!& lAo3[X*rsܷ}%4(z*32r򒙦Pz pT:L}0FZf}pS'׍SM;PBw^jMovGJ$?"t5:hvFWAvW@VPaD-ՒR>xsܞۿYQStC${Lq͔юT땏N^&|(I)o.^%] ~jZ"E*+@ I$1%@UA6=U!'0vvVD(kQ`ΰcGfd5 f[T[j7-(=qk_f2Uӝb[ӼW6TE)CD9e2㋔.N/Zb7_XxNUΛ $}ֶMԬVN_~J.c2PIYz',1j+_""fY4 "^Sg %Dar5_O~zW'b` "}*(2IYF66NK[/I޸-kR<)6 B MyJi.9 1n8yo)\hH,1ʲbDO)zIrKP:m9m]gΝWSzfE.1SNB}A'P[]oM\vP@,#fv_dzğkDbʧT >}n'a:349গt]qԫ1$gDTOwW딛> G LGOjKARw+6}|೘93l(*R4E{lԹ.c;}Kc?\J,AZAQ"L Fźg@#߲Er{*X7U68*{Aܲi+Mm+1KB)bMlҠ22Ş>p)v=f35Ԓӭ}t%&Pt!ҫ**YdpK[vTXXVg֘r s<OkYkRl#z5CBrFo/` LdzXm1 mk4ވ{/ﲸȴߑR&C}̧2*@2'䁥qqQ2c$ 0-i=} Z[LIʾ&Ⱌ$ g|N0CW9 BƥܗUS)=y y.CZ:Dhf*"ăhؽb`Qn)[È#/|..W\V/=Y\=Xyoaa<Y=DaM \&Ȕ(UqY/`:3;x]F_aאB/Ghp |$6)udk]6Ss^G+n`ݬM Q'ID l:@V~7[ל4(b\Yhx|DBR].,LR>UA %t%g/PREe 5$ʣHII8?n6}eWE`u-HW<#}]<1_Jp8@6rE@t3ѝ[2M}#s.ןų}G*rZ_i#l.Z)^RHqrew^R!ǽ(s[50zb 9y#e3ҷuw VDW*OTӯN6Ƌ>`=K%L3EE[P]K}|.d{!]B7/꘨-78[qbubGBxIvY|sF[4"ѯ)Ԥv]g`|?<(o5lkwێE( 1޵g)D%tYa`'G򆹘Gw Kt5St kO2z?[.`ۙo*;BiDO}BEDuz4yT2rvQgh_-L'F*khGl j}p2V7Y]Y&g*yXe"Roءxʤ3Zg\?y`}~;UܤJf3l[f¬HE{.wAp߆krE>ĸNκVΘwdTe T!y=ty:υy0i xI`Q-'ԄbNp|P6uhM4r[sɮA~H7 ϻUܡ'rؾ3QA! ~85pI%ѳ-aZ&yBڳ}\p/Qk𲄓p!'ǹ47+(T{~fB 7 ŽG|oKStOcrV95ًgoDAۭ)/F*A@W}/F:m7M}]6=gTB~' yVH^N[O,ilw4TꑣG4 +FM:qRx+mJ)5ӍᡫpkRlG5xXg;P4r}({9o0^* Jp2rOx:0jSHWSTx@EL G:tz:cD9'* \#N,vB*J'C},ڶoGrq, )bT9I_+M-g5\:OS}:/s\,݄eq)9z>D3|CL.z,l=û]?{XhBRE*[=c+Kꥃ+]I55t[g U([^RYEՈBwɛwۓZZ@V4$:光. \_DQ0vcO3-utvy2 ܌A;D1vL?j~͚[O`Eo;z_KQff*vIr YUtG&jVn MXA,U]{n9gg )/0,4-хzHbچ>bkqHBx W͕lxZ#>KޘPTJ–C{<#.j8&r<;~wg-d4צx[HGH]bDt'bMA۾q]wEEEb*k͸î160rڄ}rcil&Y3d*+= )CUJb}pr[uzbu_ÒN%j-1"ݞW>Ռ m#bl2TDUxD(sm`L;WqN/"Sly7eكZHpǗĄ_}t۹wf̘:}Y,Odp%69e٦^Yj,YjSV{QC8@nq̑]EI7?u2zSD{Y,WH}ㅯSk~ŗgC=q,/kHF۝Wڶ1<xU4UdbF0n$? Zg7QxQsvSgۤi(ĭyn0xEtqVJTP+!3 XuikR0-U&NJ܇"s26?d\/'64|y=iO~Mtgu\>An*bpcar{U^5[fQ_L_utz;9$OqJ~W]^' Yl. D-
ᢏ'?QՅ; I˾1 zV [ĭ-?;kRͻNg}(I=F9 Czvss_;X)SmoiTmXÿ$i$wvN$\hMOvm*x-?37Q`DojcR$Tў{Iɥ7np9#q /rTxk>셴J@_4v񖼃3_ "4<5M\mk? fA*]@o7/ޙMٯָӢ8=R9d>7/4J1W ZC8%]YZ-}"kEZ&sىz^h) 'A{QdB2mk428ncbOiE\UF/3Ú}Č! IUyIa} U1i:urG# >z:PF-%CwNj5wʫ-m$4?w/aQ<"̐NlFG[i`,G:T{9rkuOOCPF`m',˻-OzYݷ'9-xYb5I=jo',N#.,O3X=q&+ .7kD# +]:M ([KvX"dh7{A<6Iz믻TYBVc-m󽷘@,Q$YgXzam?Q=]f` 3t?fP"]s <+b e\Pd4[ՑW2)nVWLti{,e kir G ƹKyY['͒w^(2B[N B Ymky]=Fy;E=k4׭d"Q3P=JtMȜ!>[/}`y$c;N(Q1jʤ-OjcB'cq5 `Jb3aKqVpU$.@K;Ӊ'+fjK (*m)9Ul\Xio4s ſ?#9v(0x(*&pGL4\EH1g _j2O1g{5A~_}މEpG_MRqHClynu a))v.K@쬴)/9ꪞ|UK0(k*Ae0y԰Z6 N{b= r,gW]TΦwyL%Jؚ^š9<(T(Z՜<_B׍kL!:£G6뢸ö~e.:bg e@`"}O@lg&h"?gd߳e.5B%|3˗I߄ "Mc5HiDzXv%buEWs`6KV7E_!f9/{8o*fxJr[!P{Fӻ1[ZЏnѯW/bf?zB ;rIS^ n/W/eZ <ʊ3clo_򍳙:JHje:G;7J5xkba,giyrM& Jf!Kqʋ"ا7P] El@#SS7oS쳀L*m}km|rϤ?Oj~wwn͈AQpRyR2M^[Hn~LCyS77_7Þ'׼Q>)ȁ 0dE9HhB7[8ѣCkZddE޺xi sNǖ ^8g(9[&=rt_uw*g#_ {RmR_Ɔiiv,8 B Se+{D@Ϙ{4S/UGrב8\kd,mJhHЧ2rx_@h"Xrl']wgIYo4cNe6OtK) p ֡XBnn0􌻺*aTTb494S7@2 ˥%XZ7oC A @zO'̴?bS[x:>4U7\pVqz%ѵCWsA狨c5H>e*AmN'ˣ  u^YM~eP=f:s!BTqҒ0e=PGϷ^lmo ,q%܅8ԧeQ@QF),uV2dd-L;ï9nE} ?={ؖ/wD@LIdgxޅcL>$J?16Vxk >$54á?t0{Z(ʗto]O98PG}ҊL @#$h:<4fE3| PPjEZ3Y:VbJ!{fITFQ~(?Ke/ L3Th\\g\`dp?gW$oxbFmoke/l6Em渰yaUXco uaY;6Mi@WAd=Eyŝ(+ʭmzm71\ QJ#hW35E{7 3lNЯX2?6uWӯ}LMPxeM^:+Uh %6Z0:HF(^<|<ک*Y<¥@$^a /DӵiN lktl"Hbr8 &{.4kK%8g"ɾ$I)ccCKEHߖFE۸ "XmT%v{Q7}BksZ:WU׊R+7ܩ 5pڀc$Y QEDs43"k 5;-敌E}~&n3+Nm)2c=jaK#FJm4\|ce&RvTg-(>yF(TbO5Yn)($Zaf~nzVt13uWnǑ#6qM'h Wl bwVlL3E(tLcDC lČug94.k pTX4pi5N:s'jMTh)C+7lCKQifR18dU R:Uc׵ >%TBlm:Sgm%eB[c~|ڲQPWft!SZ W R>c[?5xK[-I_|N^zV4\!j4P65=Z,w/zw6:n JeyÔ(E? 7MLҟ{|=xQ9ZI>QH[̥drp]}`f%e9 X(T7IODbYBF*j<J5;Inߏata3l $qm9a*sD|eH:?ҽ5P)@ա ;=ET0 ^zHZ@ƅ7Sռ \/y,*R q4)S|u5D5п!  UÛx5Y~u%!<>eHJ1#mM=f[i P0H(AIP( vSSe6"xlKI v$YȻýV`;<@s]49سSl2A$6TtT^1j#jnۚeCDe-`@Wq5hǦ+y(3 QJKOrdIؗ 1.pbҦ%YFBTm\3:.1v kipFWd῅{+(5FPE: ې«O@uAaSu`5Mg8!/;dGj#10mŸC:ӹȈ@L|'͸WjY(G . H;Q; TVl}^Rr#ʜA5[Q"9KbޫM"詻HfxޤJdy!"x Js*0G]O#Qvqs$J0t+A> VNҤ5n`pT..Z/y([Y&*~bweC_ڢ"̖"oblF9;{B4^X..Ui 莞p(W¿:W|ڝ̸u#RRo%? PVôo)-I?IlN;@emk|bXGoݲ!6y2Mr3"|5z7`UNpѮ1^@(SKK6RX lo-`HFkWuF9djOL <ɟZ?h yUd~2 i.F ARe݄WF kKjr71k.P]b^KDȳxW_$O/O3u)q 4 9H'|A+sFƢ ǙN6Jj3ȯHf'UOvQ0VEA5 ?(ER%A=.IA~