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  Etdt| ] KD_Tree:threads=4elapsed=22.313cpu=57.052gc=1.5127zXZִF! %R]ŗXiɟH)0!h]FܧU}%ۯb PUeQK+2Pl(IN:dN4U4Xs[gaXgu {39].X>Ɖg̻?3E@۞X*pA`(58k2Ϡ1R +vS'P_#͓HlՠApCЊ!iK_voj6vd/ JK|oa,ա w6^rWd+/%C͊} zD;9o:L5[deVsSJ:q ̃EK(f|_fw IKs JnTL% ZVO0iM{usO!]Dٞ] v,\_(@`M5 D{Sd2XKX{Ɩ$k v)vJ    KD_Tree j+% KD_TreeKD_Tree.KD_Treedocument.tex7zXZִF! g~]A-MՋhvG"uIBm5G5zaLAG*)o?v 4I6#osP),op_Rϵ&vy86E=/*FK 0aݻjl^9 4~߽J_/SY.3 h&*C*e: A%,AN>sm(M!ۨ | Q@9;ʎ?vAj/ggĉu\z`ᴘ' MHa/WantB4KS%T/⫮ffgDNE5rr shD@5 5y!l"#<$ tN6ރի ?PH ɔTU-lIe$K-N£Oyn-x$k9u X@_1_OZw!CUHzy~5<~kf^F>;wi ǁS /)y"@?κh'_PF.dՒ[d~%A2aY\}ɔ"]R8qBٿn: n \7dK~)$Kc]{LrUs'o ao HP+ \(5 ?Oڎɖ4̄\yJi *t3]!%_/.p|n>(1їoȫ 7rFW|qBdnrL u`CBOd`Z[E|5jaCه^r&ft'>]Q\# >TgG{rEXإu^Qm(U]\4ȕ[ڥ/-{x6UCU&vL?XиWR;EqCA^A|OqnVjĽnt)-\Rz_Nk^^u]u'\'bPk[]g]]};idHv,J<2mKHzEӡqfV]NiV]li.J"SڑuvU z&ٰcI<צ*K'X7d_PG%l4NA-cRD`-LIz/ MϲJ̊8uު>RCYQ^6M~@õ[Î!SRq(LpL>[_\_VR-G.u8u-[njB(Fz{M$];xaR+TYˉq)c`%:yӴOŭDYU~e! BBG&`P}G~@buʃʬji 5msw/|4?0ܑS>/IoJJ?%d!`7mr DmɪooKr HrAݓ1%~!iΏ-xt0; "Q<{1?|:as,;xwHQ/rg%kZm.]7C N8/[nbjlƱ fH2~c`XqͶqvK&PbV14Êu.Cwؐzh.ŕ| 5[67*jsn̕ 鶂\C{ r.:j6˒w"}O 1Q>X; nHEϘ5o>/U:mSZr5W#ǙHf8W7P'hղ *Z bJ4e4q+مX[L\;S|}o ! e(#H-y5!FVoa&O6q3H,! Z4CF:~:q2.!Ndk<hn?w{T#>ѻs&ƏPLYлPZw}&77Uwh\@ZufUԗW*ePwLx0,* "3H  f} =/=Z!WNuθ3(PK< |6]H&LIUSk.t_b&-{yuur+񴽒 Q 4 ̕6 y>c^/S┖u']47Jg amMf`i=,oW o H9d#*Tn D6d(y=yG,,^HmBٜA>K,P1kNɑ,CطN~Bi+mТxUq%&   PP{%KD_TreeMedian_Of_Medians_Selection.Median_Of_Medians_Selectiondocument.tex2?%KD_TreeKD_Tree.Nearest_Neighborsdocument.tex-5%KD_TreeKD_Tree.Range_Searchdocument.tex&'%KD_TreeKD_Tree.Builddocument.tex'+% KD_TreeKD_Tree.KD_Treedocument.texGyh#ܐAja1[B'a z=g\NkvdB0ypwlwܘwEz\|Nd_-By '?ɯNI]rK+?kg -t{?D>Ci3'w -l} - LsR]x)/N&DV(E1_>#í5DRlƌ@uo|Ea<;G98 %|RWم5@Fp@N n3VQocL'6.0=M%ӝ!;d-{OgE#4B!->їZh|U4D$ܠg zb5/nQ̊@*VmLg[VąLnݴZ}z9ո$d c)1Գl޺6g h 3?.hs[CwB`r΢d>Oe)FG<'A/^ ߭e4Wnp!"NA R\J ݬ)\ݒ ) D< @74%!)?dO]oZ/wZȹb( H@l`X HVD l#Ո5JxpkQW,18᲌Û(Φ%m?\3+sB7L8%ƛiO`)r;r~PM/L>//jDS܄-yHPXwzPٿOUPR \B,J-ޥJu|Y)ިMd:2i ~KaNW_ `cBLp&֟}PU%Ap⢤+=*)8U0vŊp/&3:wb#&j4IQo0,t>j]Դ)<`dD*:OsiTp;.[S]iT8)T0Uj|Nw> QԿ.2ʫ>r7Tk5h'ayX&yS'V8PvnFrW#L-zn`*Rɷ7Yuq23K)&O0W:e--c_K:!"6=s* ipZR#ᵹ P1aL@R7KN%2ڐaFE@MVDoQI3vdt ΊHg_gzzZ`f;:̄<$=My.|>]&EGW>!Ϡ)b>nߟq8E D ?Dsdn͗d2c΋p5{LmpHAJ >**5Pw]>831Qoh2fg :<uo"N;IX:7Aӳ[Ѧ77HnUZ'^l,fxJL3lslDBNcRu綣Zx#HB4VՒtD"cJNQh7ý;+}b D<[|+|0 S]zv\*ҍ_ϠG<3&XYI3;}Yi. 2o31)e[- zɷx6ty/8Ceh$6q7˶@ʹf/okkrJh I eovqEL?{VHjD<ΉDHpDb5ʿL=wE;qaJ(б^$-d xͅ%]STN~k?-IX 2Rp>ūw M4'8(NWe6^PQ*iڽ'\cΜ ku27mO }ؠ1: 4]AЯ,~'rj6r=كY(079m7HpR0ka#9ڰHAHвaF~ey Yh?G~]2' JBYX-c 48I@х񂏟l`qFXX='i*f\xf, m.دhf\|tYU0=PwCd*˃ł2xMV 6&VYuSg@'O*I%ƍC-%6Qkm&q!:1$D* qS>n'&o~>׫h$l\6o,"D P4ԣ `^(^H4&WurPd~Po_!^;kҋg$غyu>X ƛ\G35 SdFo@՜?$qУ G`]zޥH"ZaAQgB^b Zo/XLNӻ/Kƽd%P5s{gYZ\-@1kϘ#]~StV:j@㈛D4mM8%Hl:Xº֓ 9[xe`oGj8@JWȇ/I+p+! ˰?vrhGZ` C<α_ݨLlx*3`K4x5u_ uJ\RT aKg # 1 %T GVO ĉCewV"ڨ6ۜWu%I_uB?]D%h:Ʒi-"&<Ą礼6r%E~#i(_~tѪ5IO[GC+Q/jt):h2,|l5`R#W=ɜ݉j}M uH$A~liĆ}|u8muV&- 3Px Y8%hKY-~UHpXFBVȃKVD7L1eV ݲq,fv !H]*'SNRǑpNrzC!L} YY|z̢1Rg%U=XzjeYi:A~a#GAtU w ?+5h+0j'iHʏF=fQ@ ,84g`?brw>yTuwASه1u9|ՃD>-o9l8( :a,u[)@Hޛ- D%$yEl01*>`وbAB9k T9(`ZNyP2=Vf}ayAwpJ4W2̱(Jqx46zZXHs!')oEsG1,7cHH[%˧m~Ŭ[J蠭䮌nEmֻQv$sՙ PU8d8#{ uuc9e)!.)h ʾbQЊ_vx}:ײB {vs]Ӗ9M=[zDo&KrL6gЈU\qB{RyQhzCgIa;*cYǺgү$0js)bЖS,DT4G?"^iJr[0 #2Q[sd-J_Hwh  YoKdX3 ?\+t͹νȐU G@7HA~]8d|+hrZ3|o4O0gSGg2MwtoƒA5c LpO(V!4S]t$9[WJ,CU7cADW/rpGkW'wD7b$/`X(=˧khf?DlevO9/M3rj0_²퀐.)'y1Z67iJ CMsga Mk7GsIuZh!-|RW;uךC?+1MnkI$|"߁?^ʃNd[]"c%tgKX-2D2>uJH>Y F?UP29BR8bǷDLh\NX9T]k[6ixXP++\D>VS^A:ԉʇЛGosЍ\M F~\u5j.[Ǜ;uh)~E$avGNjr'_hM[Yn۟|5͏=jeNd,ĥT1d~JJ Sa;As~>+S uIfc%ysTܼwspJMf0%d^)dǩ( c%ZjJe:P5BU|aTr/NÇ5#"mY@f(Mș.>H*nXDa#,< vkA>b)-YfeFj% þ!9!i5/ 7; qI{5unN>H'ol-:$Z46>,Jè`VqTuho?pZm;E \hNJ-G41ۂsj~Ü1a?[,ڣ+`,gWZQwzQh%w{Nў< `!p[\5؋Jl' *ȿʳF0B4P;LxL/ؓ )"(ڶnatZn(kаKw)3> #2IZ2r /Gow2:B5A9$;QW* [nv:<\Xfw$?A;G?iHǽZα Bq6e;@_M0$ ayvkɖp+;oTɧaYET0q4$f.dQg. \>{E<[J ]Jukn,f,qxZ>{#d$%AePpֱl DY3nQPoY_;둵T oET!tsQSLPxe0D-9d?]x4'ୠm{zNI!; 7mq#֮.0RG^Ig̿=lDʟc' m1 dq{*" +Ҥy:%j͠?!OG?'ihvwfZˢOC~^2qɴb)V)ܒ2,L><\Y^BO?V#=}!)723w8?%\?RuG@3f8L%jp)fGД˕tOy9A~׈`4$jEoa,+ƬǗ|DԶ_%w@fJe o^u3# ipC ף0Bh([Pk7,'^Bu"prc{DH7ǘcEcg"@a j +:f^eNߤ~ާ6g/_?VrS#Zט1s's}JbeK[8'fWZԿ ZJqzh}=TSKkK3{N CҟB$+G[*66y,iN6o5eӈgYZ   j+% KD_TreeKD_Tree.KD_Treedocument.tex7zXZִF! g~]A-MՋhvG"uIBm5G5zaLAG*)o?v 4I6#osP),op_Rϵ&vy86E=/*FK 0aݻjl^9 4~߽J_/SY.3 h&*C*e: A%,AN>sm(M!ۨ | Q@9;ʎ?vAj/ggĉu\z`ᴘ' MHa/WantB4KS%T/⫮ffgDNE5rr shD@5 5y!l"#<$ tN6ރի ?PH ɔTU-lIe$K-N£Oyn-x$k9u X@_1_OZw!CUHzy~5<~kf^F>;wi ǁS /)y"@?κh'_PF.dՒ[d~%A2aY\}ɔ"]R8qBٿn: n \7dK~)$Kc]{LrUs'o ao HP+ \(5 ?Oڎɖ4̄\yJi *t3]!%_/.p|n>(1їoȫ 7rFW|qBdnrL u`CBOd`Z[E|5jaCه^r&ft'>]Q\# >TgG{rEXإu^Qm(U]\4ȕ[ڥ/-{x6UCU&vL?XиWR;EqCA^A|OqnVjĽnt)-\Rz_Nk^^u]u'\'bPk[]g]]};idHv,J<2mKHzEӡqfV]NiV]li.J"SڑuvU z&ٰcI<צ*K'X7d_PG%l4NA-cRD`-LIz/ MϲJ̊8uު>RCYQ^6M~@õ[Î!SRq(LpL>[_\_VR-G.u8u-[njB(Fz{M$];xaR+TYˉq)c`%:yӴOŭDYU~e! BBG&`P}G~@buʃʬji 5msw/|4?0ܑS>/IoJJ?%d!`7mr DmɪooKr HrAݓ1%~!iΏ-xt0; "Q<{1?|:as,;xwHQ/rg%kZm.]7C N8/[nbjlƱ fH2~c`XqͶqvK&PbV14Êu.Cwؐzh.ŕ| 5[67*jsn̕ 鶂\C{ r.:j6˒w"}O 1Q>X; nHEϘ5o>/U:mSZr5W#ǙHf8W7P'hղ *Z bJ4e4q+مX[L\;S|}o ! e(#H-y5!FVoa&O6q3H,! Z4CF:~:q2.!Ndk<hn?w{T#>ѻs&ƏPLYлPZw}&77Uwh\@ZufUԗW*ePwLx0,* "3H  f} =/=Z!WNuθ3(PK< |6]H&LIUSk.t_b&-{yuur+񴽒 Q 4 ̕6 y>c^/S┖u']47Jg amMf`i=,oW o H9d#*Tn D6d(y=yG,,^HmBٜA>K,P1kNɑ,CطN~Bi+mТxUq%&gB<>Y '% \KD_TreeKD_Tree.Builddocument.tex7zXZִF! ᤚ]A-MՋhvG"uIBm5L{R?9V}R7_ywQgZ S>l85\8 m>-ُghK,$6BZOnU ZxAvgY+{z ܴqԜOFrPgtFA£T|d'|ze>EI(XPv"D f\PЭrƗM=&ƻ/SAt˻t5:k{Xӝ|˕查;+Z6dcTB{[֢":0fE}+ei'+Em="˜b6>6!+$]b U'X xvbs!ŮRx lV%D'.R|rBQ?귲b@l݂}>&f)(9x8[+ A U@m-!.gf~2k EgGZ.=o\%.&R!}zc[{eP!wjhpsekfA} RVP/Ҧ:4GE8`0cs9fK\?6P9b0xF12԰<>?Yi%e1†uwbJĉ(( iơ*1&opBx_в}^(ZrNѲ醖F ZӦ(Rd+V s.yXFFR^p^^e 55t~nrLV= SA@{9aBF rKRQzЍ h H?Υ+=v4~ li;=A6/*l,׃@CUcO`2+/i$d bXZi&V@S,E w$3#_,[2@v؜Kj mP#=9̊9v z%qh9Y| +&>|^:$-.JGJ3!Ovuo-KPgd#DfZؚR5' >`=ry$³ɠM˵5`U66&$Xuj?[вc{.'G҉{Oc>k(Lg.@߽3; vj+\o1x7 ka5^Jgj95KwG3Jl vGAg*/SRL<# X%.Q4|)UuwmBm:-\ GY/(MA+e,`Փ3/F R˽Pƈi%P@$)oxsD!aQm}Af#u'kOґ5GKz#o $mvLnAHpzi*=8~ r|oǬUu*qVA _'q^/N3nSO# εE997Mn ߅-7 SX Zx0+*"B< # 7E*3g73cwbW ] SDr`_ěؿK#HB8ppmQy^_8`q'@/ 5J4A~V"x>d8/P`Bu9DuVK%Nl9}!ん[$\I3-:*o( b6 `7.!W.T )ZcO=cZeO',@Y#Ov?8bU:g%`sx{* utyo}$c%&7A ת6>爦H7:!Aay'P6 FCL{_S\*β=Ë%)u~] ] AW⣷m̟?LIxCnHWwò7ȜO٥4ul̖ˑ#MI[~?Nr4[ɂ.[2&zXVso'5\g(_K22coǩΰP3s?F%f;DB=MzxnO.M x⋹LTќup?˘}{KA~_FC=Q|3.|@ sHfX |0 PE0[CvJ@q} WHtLW^ dl6kt}{B`M`6FCldNl.``LAҲa0tTV@L_(5hCnh Pϰ$_XE: zmC(]\XP;!yU\73J9r |¼>%RTKwc7ќh㸾Eɷ\- -s& @A'-` 4G3(6|Ĩ9_YD PLfIPr~l v+ر330=ɜY=HY~`2>^R)^>o=t;&bn}TF U1Zb C5K}!2 !m^c:̨TWP10ccFCtym"_ =Imq]i$ G\7D֕&k,.Q&AhXRJ~e/?v>I;:sXv;^V LG?`8)< W#梕q!VUl-37c^|A\`lz*MFjq$(I`uM/t"K3-|Ϛ4z~`=6ሄ~ #eTR+I$Q֊%V+x٘QZj4ɭݫ:=7$xືXo;fm ?'NˍV{*; @+#*] pl+ !"|#}woEX_hY_SSe&,e3bd*~Chp.{yf$1PUnDeƞ"F2&&v*Vۧ[L-Ssg8qp9ђ&]5:1ms nXv _tiChnhUs6̿\Z81U\9K-kO$? {4o26< _bFk)Єz͚|b f8j&o iA*5"Ҷm焒uތYn+mc`ʪ*{/ xϰ9wҚfE$533?DEbg8 P7"ًq42Oɯ*Y~X0,;@tȲ|VgzF_H6d*Jg3&sfk/zj[JWXP$[J}1V og"k9ՄHMblR߻q VeH:+T T@:r,m[ª_=+,2B1 ,.e)񪹇d1O·:E|cK B\|OZ?NΉt YK1iob2D l 46 Baq!gdGvVG^! =`!t>rjtb)=?=EkP9F -oT8'ZD@쫵moI bXӖ -GB̙YiM jyWqdW(+|jM4587Կ*Ǻ!͛Gr"aIժO8:2if) bpY'1sg^͚8;avVCp%hN gm\ƅrRÛP$9ԮrEwUIL<;9+fufgk;o@TS;nM<'g.xvK!`gUy}F˲68 i;OՊka1&ɰ.eYl,t %8u=PU$z]#H3FЄ|U+&'hilϥ @pCBģ,>5bayKO.NePwɢPuLK;D$OH%X7L)@iYY=(2RsH#Nbo*"Et@ICM؝2,Y,ro+V4A7uQ`:E\J>4/x9QwR/<9cCt7c} =uImDBe33iHIf vX[yd?&!%9gpz1s ) Qՙ~~DB<1bĊaePE&pP.۹R<>G{UB𰌩!!exIܘkuN B >&,k*ۦLW d捋[O5VxV ގ@&nMRlg)5o샦! ZU`cmnm`M%oH 菑‚<)6)J 4rh|jf3`QM2k |ecԛnظ YU:3:h37FG ]rIGNJ dͮ u"Yl='/w"Yk(c/K nz6_&4_eI$l847)*WͨеFeDJ7. ">QʠM`aVϭ8)wC6kuj-gKЭnV nj:MZ{]d&Hyn2@1ps+1 %gYZ _ {% $KD_TreeMedian_Of_Medians_Selection.Median_Of_Medians_Selectiondocument.tex7zXZִF! F|E]A-MՋhvG"uIBm5U=^KM6}{PU? Z>N{-f̖a`O s\.sl?ڕ{r >4ԃB5["< fp {=[yޮ6;1FŔ[BiYp} hF%op]I_g&^7(_`W Acr: d؎`&bkJt3 Ϭ3liÿ(!؞ZVQq9-<ӉͷfBu~Y{ [8@at8%.ALxC4̲Zƒ`Nb}EԬw Nf͟]cΉUў}\*k>OR)"'xO(M_VA;ُc&Q Z=>+^ %9mz;@( X!*0ʕQ >q>&fo0tpݵ.ACߏz^uڴ@5BKtJ jZoڣʜޚx3D w-[kIۀWZb@K2㶢k9k8+& )д7$,: s" xFiPM([l'b@EL bm%>1$uZ(J04ފ'm/.{ JM]=q.׏~,8ΏpG 6TÃ({%/PN +OJN=t˗9us+YVZV)s|VKTax%Qϣe۪.Lond/ xXzs>&Z\CVڴ N}0#e+ɛDr4q wL#CDx4 d?% lKD_TreeKD_Tree.Nearest_Neighborsdocument.tex7zXZִF! yn]A-MՋhvG"uIBm5ijB("JL(8եU$&c1vPkd7ј+,~ӶGvGXno8ajM$1Oqu!EJس/`=~\21ccaͭ |-XpDgHiJw%RzI+ Ө|x՟, Gckk"HC ,){`-bQD_)+Kh @٥wf8,ح Л$vϨ jb jcd A~яk,³AkPƿXpUT/o{bL}dFT&̲Oo\숴 1 cL䲬?̕tfi= *2b@k!87 ,QDO=kM1{x\Qa g܎?#*f97xa"vuUa=eB 4؞,s{VFuSz>ĩǴ`@Q&8 Q^2\ERnAsJ=_mK^7[ZhЀP1kX:烫Tb| Zbַm8cz,/0eqMyA;»'sRwйwu~UH #5](@ʪ[-kgZ{"UL5*eMg5>-I_6:5T Q~HaJa:v}Z^!Gzv0\%z6 5z)ZЮr樏&;~Q,, ޘg3yp\mp8Bxt~"-8"/uB/F#gNZN!sbWW3h:\L&4mpwUN;4f-j r(q 1.mpyv0ϧK=PzKT}uLׂc͇.QH| [1<_mcvP&i`Eo6Lpu*wB&0wKy=>6G6 ыwFlψƆ,KC껚?%C3po@t.DqJ-R,:[S;}XyBܪg^z%BTJw% Bv:-vc<2 E] {y,kѨ9[_Zj*>>x`2'.zhy KO!pąwɵ3s } ZWlzet7)T"bo8C7^ ɬ織еr-*17JK\#c60^K\-< 6qӭTDHwh5̸]"t> ^P#ꠋcz3֒>6R-%?oɿƸz!0jR5Bjphln)#}!gYnᄾ}:I8Z7R$U.[O0Tec⻾X1xP s_쵑 ĠvmE7Ȅ9g9>$-]9il_%dw!Sb](㽔[FNYawm$ ٘lQYOO!Q*<V(MSYozYVrfXbJg@Ε>@lM2[Lm#0:4T[cup 5̌vFUs7e&#묌x~3K\ZA %ĢEƥX81y4kݍ3pw'(4 v,!-3U3+3v{ ۵l[f-đ-"̺g4%R4_ٽ&1ҩ)H|7V-Wk h=aɶ)3r[|B_3x͕٘QewjޝOK"{G2 O@BDxF龵"5!ɚsyF8invs2oxo-GqZpl&A"T:Po%Uϒvs7{>i;8UDYgnАxXXpŋ ‰1cCEsIh4dpABD5mΐgN.0B> 7턶 -;M8fMjŇ3 sMCOMKp~ڿdULXIkNSrDe! '{oMд+QJ^HkÜw.IMxR3MǡZ|Ŧ]\]ҍ*H[ؙZ@,gd8voRmf< #:R.j<5W.g񠌪JuZ y(! |JJˏl0@kk e.lV ) Bó?M) can[dC(y~V_0͝pιюgm܇LX ϵUT1<@?(ό[{4\ .$ϰ/w!1WN_)pqJǎ:Չ" [nUSdQ#0 x_pY"L%Xom͗afm?.K˂xR}ǰFcF|}gV-\`0p`|*A}qf:+'ў"`nI 'ķx:opw VF0,ru6F5Ĕ۱P3; {ĵyd4.<3yͼ:]NX3YuVw8V-tyh/sR(RC٬sǼ[~odoT|m°<tc s!{;J0!z͜.+P6W|]fUXNMHYLb{YBȀi]({]AaiigG7USù ‡rOf;h8SW;wՍy}0H9ŭG4)y+Ftf?S6 v^s1ݵ*GFxmpR2Ɲ :|,D;r $nYG<-**8=,HeH/qC14nDK@% S|zɡR¶OjLmv]x0Q[ @Ƌ ^![N0tg-U^#n.7e s=o?S*ZbN}ik"ْ 7OypRe%B F^a84:YZJV!: p8o3e>&ʀzx2C)jAei՗%v՘a( +䱈) 転+E=yG L {mZ~_D=pN8]_cǯtE|n["ceD.{̴KllRaCM56>TM[6L2 ?0LqHpK 9GE^r"qF)LuvBMǕ]#p7fIo̸"f4k ؒ^"&_p7ŸρxlV`au"`[}"+, +'u;/p'8;N' p;}ɀ؀bX*ּp11įYӤ\#ٮt]QlvlbiYиrҏEʠzRqSZt ۆ%AJh?i7*I'ܪMuTaƾi?3צAȋNHPy8̈́5t]Sr#kK)z}0fpnvH5Lhx~^Y (!Ch4XV`5-&o[/o¡aej:H6˚?vkehي՜MNU)K%l)7+Rȟ$#ZxlA[@gԊ"Vv"[rX:L4j7/Sʀ*3ql $~Oh3Xb#%1Z WNWeI8<\CS9-jMUY5/ס& ei' 2DѲ[TR$9ݗrz;"&M|Nť>}zj0=s͈͆Jo'F) ao\Lކyvjk,rRr\B_;!gp gBbVݹ;ϤֳFOnb&.,:qcK,"%N$FZwq!T}Yie`)UW;=C-2G`_(~5݁9UgA ߎSX-pkW42(C2zM]݇ vL4_NCq~`x&ni' {l^a eϩ ǒ\ܖ,`ic]1M6ݘtF̒~E^}PS[Ev:(P8+ZtMgϙP}-5d5w)(`߯䉦œO]-ws;' IW_o"<ˇ䫭S.IMx$9'*Ҕ`fwd4)=䓏][u #F'b7ߵq6'+D.W'+ Vm9`^-@xZڜ.]Gd K= ڳ A B%`;w~i$B%6YWb?T֡Hᘍ}}1B8kmnl>4E;\^ơaMIر&E C^JR^]KdVźO߇ Eɛ%rOJ-?(/#yRb-SXZ^DN"SGM;۫w,A$^# -] ͉Bn^/qӮ 0jќ53PcgS{8jipV)f*j{hgG*[4Z*{!Y<(]raol[ A#m+1( RZ곹?Jd_J`$piV?3@r^ ]vxtY|AhnoFAd<1r"bg 5 uJuv`*ִlbAB &!/dQA#ox4(6B [t_8߈Ȥ&OSP5I0[e"j#p)I#)e[G\Q; OhF9=zd^Kp1 '#F[#NGvVL )Gmq=21.u:b,JTd a,~Ō0 7F#:UEz~tqBG%11RXۯpQZlcVGߜ7:Hel~]5&VjEvb FoPlt3 ͳNG^͞)Dֵ5Rsﳯ7BV|/^CEBQnZq[ecI0ECc5B/`;M)"-~ 2wlиt\ؖ_x1_zҽO2kȈ6`OQe;$ukgoF c%+~dPٹ6??+(GY\pvEO!.)`\APla{JBW2;xtƨjOŞ4nr9akAK=}U:tZr-3#-M% }|B?K'+ +|_*M\2؛Jk+"q9cBY2<' PwӲћJ][iF]DE#Yɏu!m [@-RҊZAYzK[P^C V+_Oچ#ߵGݗ#ms3X93'I=͸͟*t@ZvDʹ}NƾTRF am8&&330Vnxb?Cxo|R_ sQ<)lKUǧ / LuD;*M{9 ク$W1N# ROϊE QZ+faИhi&6I6_c6FwjʚRl31< u >!ovDy$2_guCm;5 4- U+$/iF{9+x1 E}}='<(| ( 9dKHHSo)4FKnTrZUʠ乌S̏x3$:GÀ%55u Hq:W CRw,R>7f?qa~&=/o4fZc1fμW^ =Vr Ps0<tt+AGɣnY!8+ry 0I,,)}ET5Gpkt 'R _|O] *jNONp^@#픛LM ]zgPIg>{3}: 4~0~i iOި7%-]!S!MT 05ŗdƇT$`ڥ(߱٠t`]w"QjlzLS[#\O&ߨ>pb {3n7#l\7NijCpT#8jBmy]rM6~ntA{3*4|;:R†\'(>F4ճ$E3ÈU`"‡X+w23 QZ Nŵ $:$&Ġ˹,gq4@XY?B{z.C_D9mҀեV"O$CI˩%7U\{{Ƹ#b B1˞?_ToUl/)=r{zFEehFOIX畻Gģ{u[+2A+ ^@>P4ˊVvwkQ!퍠-\ŋ" E8QGbhLRVȌol,)4_TH{=7>=.J)V4H s˿#ÛLkjp#+о/3;CH3<]ں# g%ĩe&[QW'D$tFZN)=&]v`a|Rr""Nv[0 F<}z]²?W1.iUF= zYDen5;xAp@gOA %<:3j){YwUWX!yRz\BչA{>$6zMYǁuB<8 98j em8zS,mE-w`FMM@cxqɉ85I  KX=Ip)V[ۊKlD#nn%/=āB=OCW8n] Grҟˡ=(qA6zu޹()avDqj;eW+Ll {RGp|n9v]􅮡g#NFzƨ؞F²MKM<ҷOS G4Ei:1昐LgG,+=׻{ .5?{..®$} &?cXk(ݻ0Nд?Tk |nw~tD2[AUk܊: pKP8/q;1o^,tC훰Jwh/Gs˶VvoYpY/,d(\GjaܿB ΛfCxzkMC (D)k{$ŗV 5Ï ٺ!Q'm77pOa0T7L~wi AWA0JDّU@lW2dD*Mx6n#q3zT[̀9 qc\[U,oH h3Hf >j;0 X<%q`F3Böva[|=+c.l:RcO4j1~nppOm>Mtul.F2X $QQ^*rfˈM58bzs/ǜPޑU9l562R3x5I_Hؠ >%V-zߨ7~;w˱ݎ cUх޷Fߏ #3P|E4?; qhɟ&~ao_- zżS$hdr#L$1r<+(}G>_ [czbg?sX4uLͶcx\M[n; F+]i< ~f*7|7 MQ3hDe+dH0BXru<~ yݥ>%j_tqgMǨUdHK&S)/kv0Dj)4CW/AB(յaTIOQWl8-B4j3N {yU7Ǝ< kpw6Ԑ1,/xQaxd bu3nD#%r/ʾ~:usY5„ +} :#FT!qě[f.7]soEݒKʛh^b&q xN{~r2Q$*@_/- pPR)7oJ'vDǥ#z,f2¸f{x0"$9[ٮ4e{q5gNR]|_me~;'R2?軂NJٖʑzkɱD| W{"mۨW9hb~m6q?Y;7qlxlW|=>zYѲ/3QpIScpjBDv= MJ O_Dlqhm9yVσ}%3(Ķ)N&)+&ت_mGgF;>JEϳv'Ib[* lr²Ym;țPjIFs'^]̲9 NA|0M9%ЭzH$rY\dךىzc= PQ&Mmp䣏*7f3s|DDž)o=!LN܅Vh%X3]& P- zl Ee%J81b2, .vnӁF=uH" 蟳#f93*y仱J7C ֲtvh?fleS u=_T 2H޺Ni]F7İ).PJtZL*ʟ&Gy6WR5q)V|؅X M]R4ޭ." nqJނ^M?*fC(3ޚQ>*b^KO/̃>k77ےd:]&2N.kO8ĈP=Xm)rXfE{-^!1Y+ryJz,u}₲n_an"n/{;2" bVȦ{to4ݜ%z}6%zd.E">ab%[8ŽSf a1R"sK-d!s<%zx!9%Nq)6P'vA᰸X)(f_[s=˨0YEloöa*ҏgЍX׈+u9t5}1‡q.%E\Cs J㫲:T/O ʬȯ/;*PztMs)E1KHpYY 3ػGCΉ3{ڇOTKM4r/ m¥QqH},d๥ka4lG(7'ap($dQmYfp,Q{hZkݟj(.g*mDbKLм6?8)B*C<KU0Rg5<0SiO\X`5Ӊs`9>zi'1 _ydX;٪G^&d1w> #F@'lSPI:lƞeuZYn@~ '104s,@@ۈWN~)n¯m e;P҄ڑ |(raS,Vܟ HK$P7i}{)b U7;@ QEK!DhR}U{Z==5*a8^)9P,^:> WJfS峹_js+J+,C'L`W"ԗ.fLk>s[$Q'ax+JVѷ ԯTd#uZ~` א'k' @01z4hhAPd2C$>  mRU_YYߞN从Qޑy_'gaqQ͡Jr"qW:N!~?aᇎ5l(,WWX$ȸ-Au0-J(ab` nY$Q,+^L8+M1x|m dیBR ;M*~˗<59.oC,qMc/. bbB^v@31H( MG^->ONWh&H"5PM?9aqKfTٲZ9=Ϋ;`2cS$$0q +SU|÷LDd\?߰t`y;JR| anfg{K_@K=PLA :ǧFh~S@ Gwg tpN[_遌mh:PӣxɁȑ] \h힧nv tC mY6y/27Ia-$Y^<ؑ!;yXs(ϟ`~OA |_T\`bt]vm7ƒFΓp3u 4C}LbJ(O-]"l7[IӸab5Tu)df\ȲAc\vwqhcO2ݨS'wgIBˈjK.q嬥&M*NbT9^sNDnYA^9jlI iǍsr˸|Pٻ!MC|L)#qZgUIJ_6}&]/mYa<{G:,qMn`Ta[_HYU~)Xߡ؞'K9IəRfOHӞרN_i3f̗D WU 3ڤ7LOŦf_.m@f_٪m9П,bv u_w掭c6 $xQv@;EXʳT7%s\Dm:7;]ĠXe[=}ﴨ Mj{nBL $Ϟ&Z)Uyʔ, Ybo{x'_i<ǶpT*{~Ae̟զ8 Nv4:7VF *<܃E[RrVAԏ7n9⯍^uL\b>ROGeFSdD _#N. =[;ٸeot{QU|Bo{?7qs?ĩB<>4T[Hbʙ,40σOf-m|q ;l7q,$SޢI=Ě"Iu>"UpA"9UAr~LJoY}&?L]y!&q~zoV\ @<yt3L&IΪbO]78a9.sٞwYM?сxHxu0Pݾ AX"K\4(PA^%,fNDH_ f N64 zyI4:Tʃ &~E>N?H,ˮcCׄ(Ys8}N˓x`^j~$PsFR1uXo`z!2cQ[^լHdDd~12,Q5;xx͌fH"&{AH,2ibB8fxKLvV!CO[y1m"b<.?܊I;"j$Jue//Z^dn:tIW [y.>!^TSr< GAo+ޖ(ȳxNt@:0rP^N5 =QL]+?aN,5#Y;t (ڽjX(J 0JYf*o ܙ"WgFz:(:/[t"BjJ:D`^5} _ny 8[ \ ;L;V!CAc,8c.;CrU+Jzcvĭ Qj.Jտڤ7Kk*8{:8j QM¢ 힄HЪ@dgHU@PYR; ӂ+-l Qy/XQ|E:w6t?q6t1֣۟gzr86./#,c{n s_@ ݁Y)gYZkxޓx&wy-՜jV@",ojfgv`s+# UMgʢbAȺqWd-#[(7{~C_(/csZk|Q,2ZkF>k.mP ]9A?] pg^FFv>˅TeukqC[[h/ gvҡgNlcTX`^qWD'[bdJE)ZDK^>=ꎋDT8ԹwG?ab62/r!HֶFneBsR.f xtԚe$39 3ɂIL::2;9{7^KpEZً2U1[F|63E+u0|T^ )Q6z,vw$,4&yK?^>kJygYZ7zXZִF! ]ŗXiɟ oɂ$:ey1SpϦו{W1`sZ2E”wգa޽Pگɍ ڔ}^nA1ݧ ^7ҲpZԕ,e;i0)kʎ,Fe$WZ'%&kkm ;^1Vu%<2kND lgYZ7zXZִF! 6]ŗXi%D8X<6 ~ 9 VEK2qo@Y=;m ޣ* SOAZcy_M/f]K%"4.NŷҏxC;@#t+b?K6̡(L@jޮ#<[l PsEk#д7dwAy2il5;l a,۹Mҍu^3tb}>=+oo~ѱ8; 5Ygtx}|F!h9W~6{wޯ@RDhGsO@@(b%yZz! /#p\uBF&4w3dw{Qkv*OTgX|ѝWf B:Q<@8Cmz_ȋw9 "NrnVXo#1'P9/mTMFb|~ST0ݿEE󾐈:zNWբοc淔^C4##T>}@BEYcq؂4 ,Am'^=2%j4j`F$u-5bS>XLz ^ĝMA=x4sXV7TO &+Lt5=BSA1&MM<iJ?82դMDv{Τz{;VĶ8*W>n n A[jܓ&*%"`Am- nQC#ل@Q`MxO XA߷`+CISfSnFfOSnȯ03T#m!oĬ(Cjq4-mjeVݎ:bƃ_T= A!*9q4~klc\&ux<cjD$M{dr 0( U|ne]7J'uHuzO81;%7`Zj#>^(6WE'q淝?q|.n\ϳB \vKO-VQK9l4f`vUҾ<}Z-KJrL>4Q, K궿ݯR׳iN>qGdχ0ꅴ1y?Y <V}.K>T1k$I BZ')7;lYާG=5ubu0~l:"+mD#PB@x;X k\Hw{Jnz% xNڤ:nq090~z1m۵,p|ၷ^Eo[;p,t@Oy N Yu 11 PQ޸+8C hl;-A tKӲW{~3A\2Q\ϼxc§a@&%)~`ᬐe<؏dڛ0r!lxvހ?~ v*=Dm!EjD '0EbR%ϟR1[Z`8 M޵DAXә76.y\Dȟ"}(6+tA? *di9)#Y)Y[ ͠'1^&iux ICHHR5!fˡyɬ4q3EFf=e ['peڎ:nc4$=ޓ kmTgl%$,, nTݻ{?gYZ37bdfa86351393805ad9ea6423918d97ea302a54c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a bbaa32a933fef7d2a02f9d63011d42d381eacd32