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  F F+3vLd ]S Closest_Pair_Points:threads=4elapsed=60.114cpu=213.024gc=4.0447zXZִF! zh ]ŗXiɟ{ +Yrȋ: *|GP3}g,%Q>G5"Vjk^kU±9g?ls%F$ajh+t{,-$4? 4rÞ_{M/ e REs8S?p|$G6)x9 _Dp3> =S UsЄ#t"h 22w^Ӏ$e3D+p"}@<|Û;)W#cP%w1-@V*6Yə̚kw1 r(43\ٙNlU>nŎ]iKgOoGa];Dg,9pKvepww&R?ɭy$ DZWxX^̘6LQ@LXF`/޸jxtgRGŔڐIO;sFgŧoeiK@BD"tLhuhwFՀ͚EAC-ܭy>})= &N`k{`@JC-<grدcn@Empy ل PtAn{WQ0.NlutOguξZX0-AGٽM_AY\6N_7 JMV귘A3nTSQl8Z)BwlTT̓K?O; 9qԂs? AZY>؍%4(2!bٟ|.L/&5MP4߬/IOX7QcE>ďu_qoHz2N. PX$=p/էubvS)9PRfvc6p,:"񶸕rk/>VqcOvKg0,9ZxSa erqonS5YljҀ-Kr朼83Q^<7qKt93/GN\ߜ9#R Wb,c[ px5FL EYl2ݥ8JXFrKBt=Y~@L}6m &_ psHP,w8__4Cΐ.$.IpE}y ;-X\B3pd t츌l>C "$U۷==*T<HRnԑ3L/0@D( ځ5aJb?޴ (-ոTŚ 3ګ$!wlpЏ=p6 !6qa0(b9wu6E$uVI,5MbࣁʡX%dWNӉ[tb4 _^ڵxU#YcwJ9RbS;K#Y\ mb4)+83,ŠZ6#NSmIB7?TV2:L E)9GItLowYy0HqFr '}.GD PAOi ~+;~s[Be2¦}w"2=fO?лj;OqoFiQ x%vY[}c, 0 x6)mԠ4ޑpC+kzDGu/_&֮!vCSㅇLyp7]F q; (#>ƚA!]!Ѫ9sgs,Kj/ tʌ_1Baed^U^낵$(DtMl{$1ε0bN~4{;Ra|r'6YbL;jF oOKԹϽ=LO27̲UQM.枩FNK ]X@GQ%b_wF”yՃiFXPP Usբy]aHdς0*^oEy1/o\.W;L/"Ֆ/uy呫~HH|6Q @G[y[7)4-nP5S)uK{p^Wg튾JkhBnR[E`E]$*L~Pg^t a <EsZWqo!k $0R׎]x47i+dSU !gN}XrG%E݌_dnSzx(AtAn{WQ0.NlutOguξZX0-AGٽM_AY\6N_7 JMV귘A3nTSQl8Z)BwlTT̓K?O; 9qԂs? AZY>؍%4(2!bٟ|.L/&5MP4߬/IOX7QcE>ďu_qoHz2N. PX$=p/էubvS)9PRfvc6p,:"񶸕rk/>VqcOvKg0,9ZxSa erqonS5YljҀ-Kr朼83Q^<7qKt93/GN\ߜ9#R Wb,c[ px5FL EYl2ݥ8JXFrKBt=Y~@L}6m &_ psHP,w8__4Cΐ.$.IpE}y ;-X\B3pd t츌l>C "$U۷==*T<HRnԑ3L/0@D( ځ5aJb?޴ (-ոTŚ 3ګ$!wlpЏ=p6 !6qa0(b9wu6E$uVI,5MbࣁʡX%dWNӉ[tb4 _^ڵxU#YcwJ9RbS;K#Y\ mb4)+83,ŠZ6#NSmIB7?TV2:L E)9GItLowYy0HqFr '}.GD PAOi ~+;~s[Be2¦}w"2=fO?лj;OqoFiQ x%vY[}c, 0 x6)mԠ4ޑpC+kzDGu/_&֮!vCSㅇLyp7]F q; (#>ƚA!]!Ѫ9sgs,Kj/ tʌ_1Baed^U^낵$(DtMl{$1ε0bN~4{;Ra|r'6YbL;jF oOKԹϽ=LO27̲UQM.枩FNK ]X@GQ%b_wF”yՃiFXPP Usբy]aHdς0*^oEy1/o\.W;L/"Ֆ/uy呫~HH|6Q @G[y[7)4-nP5S)uK{p^Wg튾JkhBnR[E`E]$*L~Pg^t a <EsZWqo!k $0R׎]x47i+dSU !gN}XrG%E݌_dnSzx(AtAn{WQ0.NlutOguξZX0-AGٽM_AY\6N_7 JMV귘A3nTSQl8Z)BwlTT̓K?O; 9qԂs? AZY>؍%4(2!bٟ|.L/&5MP4߬/IOX7QcE>ďu_qoHz2N. PX$=p/էubvS)9PRfvc6p,:"񶸕rk/>Vqc_a/!FV_)[iǟ"tߔLc /YB՚QA&kޗ9gWeb hn+ @i? #%N`q:j%OGgPӯNsסmV<0hm]dҡ`Y S&-!b(P3y x >[i5O:' 6ΦZAD*@!EQY4t"%ڀ2]҂cX&fҥK_z8Z|L12i\Y[$h'XT'uG[/䣜H݁_W[Ifn\syՅ[&3Rx}J;5ƁR,krM@o? ZD;yN;k0- f=}Q~deӺƣZ^~W+!R Yn0],`y@kG|+F(є'I&]RӰˡ)^ @E3zymOqiEcU}ϥ#k߮_x0$:RaZtZ2.Q ?_\vJr=GEJ7ѧIq!QN ^,,#?sn+>i{_p+4Ö> 7xaZZS 1 }A֧|5sI}5xy+$:6Jm3Uzۄd}{h=};+hw1vR]Ԙ:}Tx7ET:7w?wP @,~Cn G_MܽgA4{ |XYG< 5&8wj3ej?}\wz3 .j޴h Y\5Tn9tby3Ndpih!HMvũh*u vE`c(]DV'T.^gR`Yg&Ǡ!?Yhˍ$k1/*) s ױW8q`J&߰e 2%8+,!3Dvjo-f$Y2P (' Em|Qx N>ӕHLtC|quoM6RX՝jN>[vB#4Wўu5 < zS WV@0dy5`M62JXES|>v7T\?jGYZolk823U6[ʫ%)7p7ZZYy-d^<RHty .%AkJ9 ]g.q>ٽ F{t [К,1{E${oׯnCCi'QS&X m FAK[P-r'wg`*-ܭ&=|!HK5mt&N9d$=X┧xףdCx=yA7^~g\NGӮlj6pV/UDYk3巶?Jx)hE- .7U5f΄wIaK A9PO'f3k`?-Y!H%j~YRgC%LSr}7dw>x@2W?ikCKjIV7D}DLyJb1_ 7nA=`L=L3ͭ}#*Ii+- {UDӌ8zXhk8}Yl#\Yt߾ aAA[5).e?:ZTq<~S/YΆpA VgՒbDn uFŸl 3LG}]wU-mDl_3C\E>lk *YonZTtpxf+2521]:%9UH$_Ĩ&Pʹv0hDLŖѨg^?(SІޗ!kIz7UA)MPNJd7-wQq/lMwq )3Sʲ҆g L* mތS⳩1'M nmavŮ3bȋ _rb/2oQe9MsF\1E{=o^ wY0T=0kon.|`Ⱦǥ\3FHe` ռ6XA.wI@F@!Ҧ%*l".8,gDG˙ N7cӕAB@ ؙXeSp5X}g  :$ EEy͋PB?'H𥉉 MKQ[/{hZ YNKORʶОjݝ rbkcs)[׫,qk r(IT ;Q 0I%0b=)$T{\WiH^A[t^uѠy+u1Ʉ}yE{LsVj'njyadDL䜫Kaj'Ea:|wKgE)cA%mꞍc8 ѾU6 }#7-Ђ-x7 `gYe_nZV2IAԋ7d&5=.L>-toK?Cqgt& hV@w \8 k3 ПGC=c=KISjb F  >0Xh[ng|d^הD#( BHw՛L9/ģ[QLҏL6Zf!]Lhj(0$ZNFܹ&ԷqyKp#{nC:agQS6BJCU8yz_ޙ5T9Ae@XF40{\yWC.ź AVj8\F1ﻸ{PÌ<$sYssEZW`HWXOzG.хmit&flƿb $Ǭ9%iG6T$ҙF=!~X R鍆C'tcz/f@ކK.-f9QTSU<\ys2~x'x+]F ^rؐ1:(0t7߄X"2O?gRkұgYZ   p3G% dClosest_Pair_PointsHOL-Library.Adhoc_Overloadingdocument.tex7zXZִF! 7]A-MՋhvG"uIBm5zyU}Eg~.2aKYo "~|ô _6tr8K# 0mۅE76<1ܽ0S-Hm=K'rKuJĐӖ_!,/^/p;HXǁOW pZE#n~Oe処=w{<Z@Ⱥ{ 6mZȓ<cgwqA3d~=J^U~[ m!b@_[AE]^ճ]e'?$}/I|n-&;HmUxޱ⠂PZ CN|Z/TPMaZ2٥`$.ebc2gC8EQrO})r7JdLgQr#Mr!k_dp8݀%i͝xN@o/ 9upu0 {gYZ 3G% DClosest_Pair_PointsRoot_Balanced_Tree.Time_Monaddocument.tex7zXZִF! (]A-MՋhvG"uIBm5m]}:a='Q4idh4NIw90Mpw 7QdTk^e=Gt>ѵFZxk[YAڱa8g*3v&C, `]Lğ+^o\Al~WxYuLv )FTтU` ֩4opW4*b0彫mS8yˋŢu[Jsc$ו:'m5"R7WR ۲+d(/1OU\`2/ lO8_L<n~|~.VLE(K u7 ȥp( Ց4jz[Z8GV},dr, T}Ӵub2kZD{y"?KTqȂIv!@@b>o>w('4X0^[MAU6+dOKZ,2}d?Pm=w@"Eyz!4Rm G= 8ӻ*E#CZ$ rc-\)mJƑދ5#[a^?6 |l1p5a2r | Qf[ 9Wl2~-ݠ^Z;/z8.'EL, @,'k- < ufFg?EaGPf3QQ[Du4?DJHB=wk=N^Z\}}c"D}I= k獃ɵ+=Q1/嘈LywTk%wohNq¶4&AD5`o?Ip6@UVCt{twkiv7/UP>p`V׋b u/"]BEZ݋`L?ԏhYBE =*#EV.^[>dⴾfÐ9q_*x.f7LGT$lp`m?ԃEP sPA_FBKoDu;a9EDj.۬97g/N2gmgRx@DNL"]|vCx"ClIԵl=1`YFѪku-*;/rO`,r^U^Bi7SAoC;Qj%0VK먥EFE1fS$ ͳYRoH,M}C2;Xg! I'WAm+\+s5sYW!a3/_fQ BTFߜFrV?Ȏ0onSJɁh (gkSj8Zl&b ;Lz^'n-5xk#%SvzcHU% uCG÷Rx+ĉGTՙ=,WGmc-J:7FJz Q yՔj9/ͣ{GvJySnIQXhZK/#L.DME&bs;YEZ 쎀m7 7)Bſ撿V0<];4H(Jn4p *Aˡ=R>wذ`.d?brv&^3 %y]m= 0ɩqp Z['qbw;ٛjh(x 8K>[ ̓ؐ@=lF18z{3 y?%>B!Q-d o ʿas"Ni0pGL\;к7 r?dW 4ȑ6sFV $py|VghhQXr|hW<ϊ KŬl5PW+CoL%]aO-TʞȢ*LRҢOɴWuu#^϶NTbbP\Uq n9*#1vϥIte#Tzu &iX\-wCeT3 niɡ s,uw, skmT`ϕ'c*%e0E^PX O-́FmpKUd R~c-/3ܶ2@1@y3^t$SM= f.agYZ VZ[0ţsh,\pasV0%},akʺ70e_+0};8;N;w!_+3g,l._.K/'gF[4QAT}M3}8i|̶$U[wrҬSU6P"Qߑ.q)Oͫ3hFϟvA˭ g?tpDkDcasht$eOH5\K:V9>a|nvRO˶ I.z5:X]cy ڀTͼ6SZF>Kn'0Q@[/E[/Cj_0,mVa8;H ߀-ngF)[eWg5qRS>S~ÇVwEQ~wV+^XXZLtCؒ^*i?zN hRk\kT#5:kz>KsKIrD͕aDWBj5\%c!S̢uoKbսX~vYs6dؑ jG1/Xap3Q5Ʌ:?2b"+?""T.Ot7t2o\ PjMLVɶ&`#!d8qt)䜰P`WZcQ%rۻиڭ٢T=7Ye-v3%~д/4'&s#kS tmN2p}Ɋ];tv9ᅪa3v,9迮SSUpoZHqU.X~~ IٻB$0wqJ-u9& TٹlLwmDW`5U,'';6[:Ź2n`*(C8a}kt=Eۗ@cJ'RAT 1$b#ti}lZjȿ}>XU|))éՔ$Yms2Ox1g2T$cFM;>k,XOsӍK1>,rj`qZ:pQr69w PZըv-tw,f|̈́ b0t0TW~pۣCeM15J[v/-9|C!DGBj< Zy&.Ņ!}V헣X. k! CP슥:^E&Eouu#5d lΩΖ?)tG`$Ѯ.KIr[lG mkޣgЊ*:ߛJ~[gDw4,䆝{1rVvd-3yp+f{E[sr1&ŵlTfag^57䃪7pmK9I-(e/j(4#)/ '#SAe8e5 =԰CMZtwf[0KV: S$D7Arql7ՁvSW"6 2]cI1&VJR|ټ4j#{YB|([[Bf]e`0a2׬́0Ð()n9hiWdk^4{)!:SGBS+w>t--KuQCb 723[V"!7 w䮈 I~ELvulM)֊3+%Y O|;Pw̃[+L/}_K[C[F:{(qC+o+i~SW.<&@7`|ѱ>n-G3b!pq*VERs6hc2ǪmzY$%y{֟+OnvP/sU VDP( y~Mp.F{:Y`-TK6oOrlVLЫf9liS{ H[Q,]}~|j6qz82Ak T,;3E59/F7g[~`'I!$6X!ؿD4k^֋ĶD]7_!vjh3;h>o,x)w-ޯ O"fHS$´6[O>(Nܯ 5bWrG250@svo5^I Д}Hxy ܾƹچasQ˙1KJBaata0ޡU /h.$y,*ᰌNM nG?#"sEi@qUJm9.@ڼ_/l/m۔䊆^i:^e9N6Twfo#h? ,(8ݡ F$k5uD4bt..yvOAT!z1RИȈ2AC;?iqNkǓ0]{UjDËa2Ш9DdXM?.c3Ƴ+J>²Z+*$Ə ef}KiTr/X St\: qzpg%y@qX5{}+ˀqʫݵ\;6!@9 3s'$DRO@g F/Y6`%_̵.Ryy^ !\K&^n;~aS'YX[F |N<`\t#J>(B +H8rjF:jVwz:b\R|Z %I=[ )`lѬ{ UHZ.`i8G]D3>S?GFhVj٢Mnr|]b>[((nu '=;unkbqNTܹa?2=Amt L|Ҕ1sDd.#s05 0+zQIFc @eSE[yU*`Է/g k| 塳'~uJ'eKZȘ1X<_%2^Ik!j3UXr93gKQnK0ɥRAHyi~M&uC5m^9g[OAj9fN~ 0@FT2L%ӒD229Fg6I{4YN5BGQ ?J#izϊY!]z)4MdC-^o 21 f~a]J|:CvCgcBv[D ~Q'vt(@-xǾwr饖#yQ3F_\-1żRwF7]{3(Z5 P 7 {p f|)9z2HU?% lNeQJt++ZՇ#4%]ۊ᫨4 v𱖩<ޠ* 9y U΁|h䡒5W%04Nؕ99)?}DwbVY279ϲviuWS8" ۶ ?O亩ڠd~ȽU$Wce kzc$wFb ?hocr L 8-O,k^XTMOzb`ZMɪ7{3z1lq!frk7l*gu8(W'zF'dLm|Bny"UUx Wd׷yft^l]e?\S#\ZnVoޖg"y5yې"J SĠ( :;!jZR&*;h}E) ɲȑbSD. ✔\ XRG&MRK3Jnq<-4_X1z̜'nTl(%Vy76Vo25FbO M6PX>"yN->E&}M&`эex! grvzqJ<%a(L݀2Bl7p O^S~n5 GtdЈ"j/ fA#o3$W~MK$ R_Sԇ)PrmwHH6gU6/ 4QńY;S$b"1|*=$ A9$d32^M]6<2>_0؍!P'E'u(M-'YL᯦vd)1&e1;Q"N$7ŎJpjI~2?6MQ.hs{-I Exdd}E ҇C5R*W͇9 ?d2MdnHlyI,WmL묙sX~PN ʣqYf\ LF].lHf{6zlUhMz"#ϋC˰kE?H'qQ~3rnnM==KrX\yD;.SlE1Kͨ߷< ^gnvK @O4.q.)}rFϪ=~曂خ3 }yXiF`zXE" Mȴ(g!Y*-J҇+)HBZ+7V]Tz?[.wlXL.xO{QUOAJCk;!d&?EԿY߳Җ򏛁BrV1@5qxxM`ʥeY})d:7ٌިvE-5y?CaSf>^/|Oyy 5rPQ'ő8F4N!\ zDHkV&Q%'.'DV(;bj.kҋ_LxS\'<.s:,*Pq_TBe2#|qHe*Vi/O3'*Z/=un<*h' 2VA&*^!0Ӳ~BZ>&f+i7iX3dbd -|0S{R ŜO1C_AHeA`=\yzN6?> i;", 9^I757ہ;VY4G%KtX8\Uzl0&Kpy`Ԧ/_RJش1TLR_,vᇴ\ʼèj( 7J2i\ 7ir1F%di}&Գ߄qNƘ@cVA՝p>H1j t7 09| L D>nT 4\s/NYw4̭26<WLVBd'78 d#\}av (옊v sQ\@$:2c͗h?7abxLUeSXЊkxiXxR[`Ocy3Y—(ƯZc<:뎈f@uj/Νag ;FX=1Z47F Qo $x!EtJ4%hܿsqp@ݍvF0UZ3ȷ, ygV̅S]]PKb3'd9TsI_M hpqq:.G%Kw8MҾupϒ;Jf̂S^ 9cX@B}_R,NcZKɔ.a0R]!\=Tސk(DENoQz#a`ٸ6k<Խ#(HecNig\V}X.S#J$Ro03"fIXe;ZbPs)RyW)0QA*1st҉(WT1x7ZF><wqE"jL8}P+iZ&XT%%7۠肔~"Ʈ^_ %wT6Zt{Z|jG·E){˙SxW7ۓL^/dĔ6ɻkjō0wsN;"Dke8 颍>gvLw,#~^#̍{H$O&5ɓB֤nTH^{@JLߘ9M@^k3džz} }T7UJ.!ƭ=v])X=n^>'ԋ2  s4 28moKu\ރF{}4M3o4;Oɤvcu<5 Е;9C3ACõ` 3P 4r3KRN!FZf:"qd(*+}I_7ZYwD]Liq%2H<[;;!}Zt[zB@b97KfSy. x}м+FFqv=pRlp"I੢xI~?V%l棳aL0-BKB}p3S賘2 ?kjUQc"7^.m%ݰ3{n-m*"Lm]&@rtkCx/Y(ak 'MTU%lrWzIysIf}bY̎ L$TjWYːf! f 6B"Ħd'KZHBv+4,-[.w#T͎t:t1fP! {Z;y#F Y99R&50-D~F  osnX$v/QXB-*KG[ 6e+67үˁAg|-CHD*? 5~ Iل~[λW&1+b6P f9#-bgdj"R,Mo^`#c=\$hG6z]COߐLL?DO&fT$+Q #Q +q7;iF1<L^L6[-E߷G|NJ 0PU\iT:@ Yn.oۗ%7(;ҿt`f:᳀r$WI)cb8${S~K9چ#,z[Ne׽.RnerV,/}R<4}R/La< P 8h]ۮǩڪLpߠC1Cm~G_#+hWҁg@1ߐPp6"Yyi`2*1'w3q]0_DS0d8S8k{ze6OP{R'qV\J&x,YZ(sO`'~H1p cI+Rxm0HN_aGRq%ƟE).˨ʐP__VxTDZx$n+%^narD5¥н$dBsꐐܲh1#~*1uŤYUz\XLAE*3>elwO^}*kx>(t;HYaFa O_]/ڧ ӻLMs-emL5Mq?Rx .:|:7%9zl| +ZLcv (?4 477머 }Ltyj 8R(h~Bny=diִi',,?ύc-H CH"QՑ B\UN樽@,xCo4!Aaě6W1ZJ Tg) OۓGco&atq:B?#k(Ib.d)Ő6B[t:( T+ngS={notU C'Dx7c4З38yXŒƇ̆+O=/+P/$j9.K5Y>Ѱۃ!-_)/k#G>m̢lMWEMs𿐉Ϫuz$zt$z=-a{]hRacdoPUl1_OpVԾ/tɗ!uꪾڗm[jSb-I:/ lLbV1đ?8؈Է3+(2 taIt.xZĤBϺ"S?Zj"L;Ŵ ia+PyOOW$) 1,@FдqE1+Y"Z4Gre\.ʏ%ߊPԶ`(ET2[G-~"@$A0z  YǫJ XxnYb!?FCU1ylDF23/Ac60`آבNR!$䳷A% Cu>]tg1o\-+3l,`ÆGAo&HT +Bn(%;3&tSi{bo #&aQ[[co) ?gmxzұ!X6gUXL ICN*h Cf/`5}6XQuG^ J,b|OKN11H''l=LtߔDNl Gʨ2HNz<|M*[Vt4-kTFb4zR@3k)t: ?#t!QW`w &Mu S d"=R9=-䃳oҐSt˳NEDEbG;]ؕM5gkc &ϠqFF{ rMm=#lTf} 'OՋ2ؗDk!;GfYт5[o_Ò~_;Rk +SAEte@fkpxG@AVXdKAj]Iâb>%=¯cPâSS1|u1 AHNB547UmB:Gu (ժbߓ2ke뷉&&hs;JIV/cb1r54-5 gEMąTNIوNX(F4b?\b-G0 uKRL->W|Fk$fՉ]cE }+ب,B.BV.sAۉ]UOl3x*{-1ۗe,&XG5J#!;4Wĸ]/V^@{'5J0_Yߧ%j++:$ l!X9YA㈁/Ƃm;mlg'O<늀@^V)_c Oxezvuc.>:x!߆%jOj-<CEi IỘ"ةa`5t %q>U5%HcU+؊y*BHG3Μ0ެeC9u=R<,袕qWcAۡs+R~>:%hkdnJG UN!у^'QX# `0Ӓ<e%`#-ެo4AQ=d9|ʬb;8sV[9OI/N&G3muϋx,M BM[`&0ܦ%1ځ7'*MwJhj  ۥ:LbǷ q<Ëԝ43$ސtB "Nmn F=DUQ(=zVx4=Ꭿ)OT n>:=+۲FD>\K o1|?Sd0;rR&(ȠzBM˻mG=.&$ͻӍ&>s~N7=*gڮ;~!bYucO!ʲH; fT cDFG@ISڅi܎Y䏇`;#$=Q)հ%`UkoG%*ҀO8?}zޥGwLW-AŻ+CDpNyV*y("L! -7 k2dbSu ៅ}$hPChM[-⠻8PY:Yi.r*&*,Y$>=N5Cۣyr0.=QlD m˚ڤLU"|û.hf~<24lrNp ύKL~PZ"?E{]JNA7 {n8snOX`$ w=N~Ua 9 }EV:PbO&mb3 .k DE$3.Ī)F6#x7k 3+wwcS(jTd`S֯$bm^c-$G1N\"Lj"#zu o(I\ȴv:2` Sy[E9t]33*Nz[}??sHA}>y6亢$ь D\,vZ#J3ԴyR !,ZRbZc!1*WzX[?QcZ?h˽[cnEfE7~ S^8\iZb`sJ-I,6y \Z^IC>T{@ۚ` o9`Bv yxmAgE?3&GFx]& iv*]=G_T1p'XwNfj 0\kr: yԐ-P_;-)$ +a7F7V<) ]rXV dPlpKM/~>,Τ܏Q|A>B IDډjd[hE˘Dsd[`$ Qt|~o‰#xNOBr]#o"!R8_sU&3&OQ\Ϻc K[q 9DZfcGk~48G_c=ryEC<͊0˶Lrŏ27#5s^T[FA@+YwYNj)ؾCPd!K!)vދs;uǜRc^]ya0ygMq!Zղ% ?lv8WMuH} A MN} 7LR[i9.d$wpT]8:pɍ(sA-p].̝)UtzLӠXR#+S綫 {,&+JoyquhJӰkiS(J_4@Öd(/.i0tDcc! yT; ܚp{Gwɪr8,Sh Vm$HRPWĻ}$}r VK ~lPv@X"|*NYQL_X EY le\ۉ_mm4 gM܏PBz1~z=<!y]b޸J,!";RxVDZCN: Z}&>Pܓ_=n{H4f9I[-5Vqڈ^npjBHptfe5TF9RH8 Gmb3ta{:a!a|d8_!n?SY*:8DŽ0qb8QfO `VBԚ#9Ԡo gӨ;.*!FxS:*?Sیٌ*ea-Վ'}XӉ[K+2D^DjtX)aSY;cI6 @B$ʼ'j*"Khf_=O2YRz^-LZ0u,l-?ZHt^є.аxM6^f/]JgXT4N@trNU>y  ,wwHe.iKX[!Y\?>jW*e͎R2'93v-Ąs IRG\Lr.|UL0þicGx@ಂan+/7ojwN:YR:{YuL@#b0auKiB2qQosVrR@/cK\)KMkIUu ۠ ~KikMtD20_E9V V M$Kɒ7(,71*>ı9Sw[w{R1X'GZDOnto+3E06sߊހBŜhίaT굦QXRV?$jXqs¯Q9D_7WZ)5h=c =5FJo^ŐvL}Mz_SODФK+䬡^㶿]tVBEhʋ/&9VKm}O @z x'_#m%JX<2+ZFMS *O?jZc;$%6{ZC,&ZMix]H@v@  |r]53{p9_/[zok3[, f=RKg;n|4˵Cw# >{#hJV3 u۲7ZrաA SY9B'=oP\1J58kرUԖ EjE+*ks!hZzl{|>"ⳚW;yp췗[pt։C 7 Ք+ZL| ӛSdC5D*[HZFR[qfdE+tP}ޜ/ʳ~gxBl|7'tFb'S qaCbDz{iD^x ]9 G=nc&-5p?R㙶,slP>vX2|qoќv*hF04iު6`;i 4XGp=ς+ K_ W ;%u~#1nylf[Hw[lJ( Om+@zj,} 6 0qh[k\JRCT.]wÎCESs:(z&+/m{+y^gBѲ>}`8'>.v0l}]=;y7=BƦSey^2|U(z#_w[163+D$E-1OHPs+Ӽ?(j)icFZuPǕVҟz˴AGܒ1߇NhI9dKu X!:aD+`P{'t7gjV3#c~&.dWNfd!*}yLBv|]u:y!9& @%K1!x: A5ۿtf֚nAѧ^& $2GApeCtjTaL},q8h %;.kyNFY¢'2ѝtb+j68}{qP-B>&Z;c>ЈP$r|.oM>.&c.\i#Sz+BkrF|*K[-8!tlu)#ռqw ۱~ 3`,7#H{Uz>6PǔHs҄Noҋ*%HSFB3=(*i}(@e0hMQ>O~*}t('}} +@C+Ձ\O)“xL=`ɛ}][*kzo l$ͬ3[Η~{{ b U"/gRPP1O:e>Hߦqғ7o.P#a +>A7gQPA,()qDZ^v0KEo'Ac,8ysYE p<bgxlɳ䌔 DrIMͲ&k%ޤ RNzmvY~M:^ .q/ӫeoq =)6kgW_ꆭ{J2P*vi@2+(窼2!q-<)I VĻp*t.f>Q*Cu'D{BqY oqZ{_$%I!}b Ru/pIdJ8b;2;niZZpJA̰OK& ?5Bm{f~ݿt45B.46N|a̸寺|WZ^-PHnBVozE{GM'];TMnmOi>9Ќ,aw(b7TZ_Z\HVl" B 9K^X>C"#d%MX`%pƗ\|y&+[gN"C#r*ŭ:6%ItW ؊RUڝFCEZb8N>>uf"ZQ|ޜ:]|.l=mT%~bu˝Q^L3gq)؎^-lWNw≂}j5PХ}{E ;o櫩pw!.žʑdTX;PD=rVVVY$LWg&enGӌo]TH6vZ ǖwp(6ȏCEߔTd,:+C1Kz>&@%hQNmSK٦6~ߋ)jdۑ8Z*Kl)>$Q&|،_BZYōg*as\V*ߐj{ =Ba.ZXHH@?$:G[r>n?W!/1k2Zdf8r1`kÄQ] .TjA!dE_aW!rٻ|!;ǒV0!-Ƴ}m$]iF g=: xѶ#A'#Ejs lEia&gmAڠ.ׄ~LCR~0~ /q;#FfڞF9ȗhpX$gG9?E,2{4Soy06,ѱ]zڳ+ލY,4y=\nwN$K}ml挪Tx5zxϠg57┿nu4OU)پ7s8=:Yk`oֲI!e?P[5 -, njYbV@.78[KşObi`Lsr C즰y⇗\o٘ǎB9䟩Z &.N17+g0O=wٿ: 0Mͻ9b%0qqJIK/Tlo0} R,KYu1Z7I4$ ,r!DWoL;7yER22G1K <=fԛ"cx0&,0GP'_}p).O"޻_6hʌ.ؓrRiz9*5DPHۊr( tQ07,jr uT_*2p#{pG\0nWݰHi|wc):_*'p9!;]=mcVc*G}679z<[5>t6|..VO z" 'asZ.|Nw?<:=ddhOaO b2B2*>+qDr~ByXsOtJ~aVs) A;.E'GG@ސKeIJ)2RKBW?8 œ^\ 7#mvQZn_x*Tą[s[B8₏_S[m# 6%#pA!:J瞮z聨ȄlsPė1Sf)+'8 iuw'zQ#,{m,a 5˯W A$wy, ՝p3] Dž2zͣ)<RNcE#="\<6=6 7L]rA{rڹ0Po e')@t_M_m$h,ٯe-"5/\Jv]T;b`' [ s?g^ލӫ,'t2b9k^ޏF*Zf0P Rl͜,1GjS]Q뮀32eŹ6޿ҧGDZ=hJF-U-z\UC~fA}])˘)p l"5F &d|&bPA6z ::Ɇ|vrԋE{_Ibܪv oɥe=11FNz60[#8TFvLb=%0_Yvh7gldYYo]QB#%T ܀h$y7yXXYCL贾)w>Q\#*Re*.MH3 Q$ b@: ݲ%cmzE2_}?d3T@ˇ[onX} ʁ=oXZ'dp%s=0%2=S5$̒&ae췈|M,!VqbCIVy g^VA?f@,{Ǒ+IrkbVj:G|\6j( m, ),MCl8 d9ܡ)@ ~.+ʽ6TWg (6)WOy WkM SWetOdWR'pnX*oh;QsJ ryjE.a!sY *Zl(7sxX:1x{,9FrMZ$P.$]VDLQ#:`+D5D76b6uJ %:@0 'cq~e\gzuS|KiY"3VImb5טͳ[7ZFގEE3 ¦P..pM`Ϭ|犯#?lMFi2]H{{Z|1|T,EO ɇ& y^̪=7*o%7C-J):##H/KYp,[ >0x^L +jpC^2Os,mS.Tle=wV %p!e5M9Ztb)̯+#@חG;( [IG$_5D[<{4Xqͧ00W٧"iz v;mVC%Dh_NR3TϽrE_zH6vD8UJcߵ ӒP90%75FZF$>a= z^duG ȔGԖlB&]Sɲft&U+^d`,}H1-F٥\w,iGj1t.AК%,܇~PXvK [夲eUO\(7h xW듴uNfAy-njwD؄4(P*bQ/u)ffmNcdMe/![y4fT7LQR)EXw}G& I)K.RFK>(L?3kՍL> M&{8Jr}pPS9*dE$ꃵW㣸0%43K-5Ass `+ qY=8!-9?x زrî`Gu|\F$w|I;„'kxi,&ZS께W~˸ ٪HHƢYI|d _- @N0yuSe*@oC W gλ8f&rhD,9rU}jGL"0cVƣti%rhT}cd[` ,(f9e $ҙ%,f6WT;R<(;'H_юn?Udh+l[峳<HqZ#'z@בe9{J{^?DKY8VhPcSubq߸ewI`Pq L,w,C4z0ujnօ砡6U{aV%/u_A?]\0F}/?lf4nUN0أSϽ)SWހZ w\ӶinZuqY5+գ&22ITd4sÐ7کq{3gN<r?|B(gŎr0+h8أNfH6d#L~58IjWFYPRT&JO%XkB՝&x: -~/N1)]~%TG`ה|]<:,yDSoZ ݼ[ӫEBN&38߶ת w;v U!eryy;H%3̲uK8'|JB__bU33hxi^5!'LHI$(̅L1?)ї;E3#5qo3 㧉 dإj%v 5z+ܸ6(0&4dgn&?"~XdjCo~5!D5I'cWbZH:hΔl;9Pok8ru-h8W1Z/^t7ˉ|ol6~IWBu nm~;@q1?P"UbfiY^:Lf ,9$x~<~uwvwQcaMpSVl2aыvun+2s7n*7ĕ~%%MWM'! d} m~%8[3"8bjZJ]537YHH*|ŭQc8kҨq1StC[xjUNj+dzĸ8`=\Qe˰ NMơaϮAѫVS^ pFca2\btZ#Yܝ`È1xPL_Ӝ%а_Έj GgV VŦ#b 4}[47؄/wWr=Jx#pfҜNE#O2ѹΝDδ9ͅO0l+DC(M!dl^D2 O9yvuܨ;1y/,9dܸdA:^)oԗm!%"T67]ž.e\~dtlsP*De#9۽6mFn15DeS1܀zKŸ{YYCx[$I9 V6{nLjwPBVr j ⋗kr|D\.G{پ!3[!* _w~  Q1۾jB^p W8@yx-u%y B=qU䡞xSbofE#w= )N֊րόzl=)I\-SCvoiJvVywJ` 25:Em/Q7 zE\/y5@2[Qv't׫>^i~4bZ %o%S~z,9RfgOHPW #d@}3 ;i};iʤ[F3ΰB ^tW߃V*'YV_9LP67#_@^~%'fu+ q7#$'mCXhB0F`ە]] |XHz<hRF/Ac| yߝJ]:ǨŔg߬%lX*=^q|c Uw9}O Vg\o ?nxz淘pn8r{&4Cb&{YEv6c%'1k2"ht7n"r {Ufjci忛:1i4v佶DLۙG6x;)=dؿ%8-HɊ5M qۧBI 7B@|0c%;`!ddxǛelaefHPC&T9\ E(b0"% t(e@*ˡzpWv@ToK'QTQ!p[Ƴ,coCY` +Au0KʕJ|y1۰T?lny}P<OEGf/ExM4'W65_|'As!TbhF׸!]̆hhnY\-d< o# jIѬ56ʕ'q] N7F==]sѧ|Td>@^m1C]w?Υ Sĕb6HINnLXh'LerOФF%n!SlzT]dBיeZtTZ^J>9)qybr\?x@ gcUV,5R Q ])gGגogAp2nAv}]XC4{URB2 q7Sjߩ`l㢿~J<-ûE*78*NIK^śl0R''ys͍Y# a6A nCDRrZPBhQ LsysYPxcG:sZ8S &;\ 8,ÞGL#;'/Vu@]/:06 EL|ҫK QdAi&1CKܙLbHHO~O ^NlأCLMyӅ`KeĿ@ MR/o\o _dU :Cc*ޑvD< ?!o鈸P=5KU1Xb0/,.naq"a7 BV!e ):H TZf=F -sޅs4gSaBX2 !3`_+è*.{!ǼHPPI M)vHv|GzPOh vrJ <:Rt^;8p5dVL]Dos%֬pjJ(Xi<{7wp> @$,y@K4&5T0N t%-Zټ8ɮ#CZ_oW $oݨ  T{ƻ}Oh5dҡOb1ޛ2npr ?xp3*r=኉+{ *_ת2Jrjw' GyK<0':hu"j\ I Nz>;^W% H1<'rar6?- غxUN%LSZ& Vш%b05cdǪlBdА$fSEPuSTA][ x t^S:`#Rn!i':nHųMɽyq8Fx ~`ˈ \o-ZY+Nɛч>s0R/,r}b>4w3iUT/}y,@5x@?Ņ=fȯYiNXb?hE5PPppv`xꑲЮ8l{8+Y RC (1wE 4cDD[3L`j%^L}8(7hRGZ\^p/fH!m|o.>p89sʒ+  +A]?I{Q 3R}ttg3 QnzeaN LTRG%lM.EbjK^[8Ru/yxOZF,^?)nuA`_?2yKVmX[gL\GFVuU4S4?AV1Y]gH.k# 7elO^LʐmTC=vJdQІ߬(՘o9FY.h86\GjeLn\dgri󉦦vzia' -9-W,y0K2)RSDܑ^#Ͳfh AU2a=v1̤W*b&Hxs~^8-xX5'2:Q ]бuQ6~r5{kYTBeSw` B[\gޘN{7vށKh9\vepa'7suJQDدBqmfNpW֬"LdF ;/N]gL~hU\~sYCzu,Ў %`9<$ ]X./*O\X͊uAٌfN#L~w)8mlr=䏇 waS⥦G=K)'CM&_tEz--N>}|֫H\%1 &f AlX\(D8ճ1oa5]7.&佄v:=cYaJ 5T os!K @rTT^u}:]v&tJeP(!He[ܞLـ!kglvpf}`ǰA9ڗ*oZ6PҔO.M|D{_wBw'[ПYj)Id;̇)6k71# Œ;" gf`1X8HJr@@7DˇA,ԃ70vx#e CTMȹKnf'Ƿ(GyDdI>P‘ <@ E<pׇ$Q&2lՑ\jxHm53,  hńni;'M&ً %62UĽZ(k  uxDi|jIg_?hsW÷"6SHѝKlIZ'@{O)0M./lp1o%NqĪ]ۋ%SzQ j&CJ9VernMԣVI3Y |nq2~%+|e)!ldwLEb. bg<]r䅆Hshd^- ~Y\E5uT4D%~}m>F̕ymJFq9gq`Xa1q:ψ !u,LǴbk ]4=?\} 1mNjtJ v+ ÿ|w@>/&)Id/"2-.rŒ`nvw`^\C^ `,<c(_D⋍}:j_J!A,kk5WB\Jn|9i,9 ihxfmz&Gg&={:ɴm0˳ pr% tJ[k!t@y:=LU:I﹌CG,qk\MٻC9҃oCJ':vJo?k"Oq఩7Q/Ҟʇʹ J4SL,(jC$MRЀ-IPOKJ歒㬁vd/h$vҒ3 14go])KFELo_nxc5ך}gYZ P 3e% Closest_Pair_PointsClosest_Pair_Points.Closest_Pair_Alternativedocument.tex7zXZִF! ?M;]A-MՋhvG"uIBm5JdMW\{CprG36@dY:pݒb V* REʌ%]F[jvw5ch8B16Ӹm%ǁCVʵ}OWDb">g&DD}p7"硇G3]^Ƶɲo4@,虑 `@Hf7 mN [$Z4iS6Xk`Te{lMJygL4QqYE!?hNX4GblDe\eMa&׋XbAM):oFTD(4_Dg}"V.$3¦ `kvjN3 #*x^hdyhi+OK垏[$ŎfVY֋;{ǭ|bAbyAsKIN=I\cD.뿉,ZkNpyy~h v1Y ٹvhZ%5q\|`lwFL S젴+ޤr㭈DSUV٫9@Ԯ4,;?{NqNKi/˥(*Kl~f0]35q e`مPʉR!$MoAC=hKrwM:Sw*MA|ֲCeN6@`ﲘ YDwP•e mEw`l~q?Q@6ͤo%x B +PTү/)Nf3 "K&qN1jwPrڱ<|Q@Ȑמּ'/xFYP5>\ΜQ(GeLEnWMi1טr|vzg0/[C B`KL$l?FE9pHD盫ͥ#dE391Xm!<9>XRa]TsU:$F,!DgW3„;# 9Ʀ^OWδ-DآҰGzJLρT-["4bɝ턥NS7;)?_C)a$o/R ӝjkUG*ˆU ]?<`P~n}(#`9 ;0@YpkqkNC>[+9{Nʘ ot7ၰD|{2)]N)復$h%c S\) z8m0c2k1ծ-Wv &8 6t*YYnTEByVvFneR_a/JJ|vJqG }~TR˘i蘯W]J&l7ob[ nFկ3䱎gc' h[ibFFCm<nK Qސe "dY&Gf7rŭ_ݩQLͬ[!CI!#p/5I %ZcǔoS>=ffw/"ˍ__AHGDjݯꥣL̓lkRA}S6zgc"RK8&-)"xd!f0$CL9z :`-,1@`G ֢hltJC^^U?n&9cN>%Z$q.xyde؞UJÑz()[cgSE&bSA=$ie^F4`H?Ą6 ] vߺ;}9Zbb/Nx[xqAydڋ{79f1n)ӯt2ˌƔ;g5VHS!93EKo}w&EbYr4|_ 'bwa;"]\nЂ, ΕT{>"b  \ r^r=8L)|'PuUꑴ]'cƈ}lVŎY7LbQ8WhxbntYH ^њцgRD̃#_MEѰPƀ$Pu1=O,ۨ1UsB_5 i`?̓yҘٔFO7 ZLJ?M B9ݻ/*>mĖC_y@BQ`|>"}#%gH1_|\ $7m6u|uP92AkIq^~^%|o4D04RF):Юg$t6c1 X6%CMCk׌(;VF"6'-#H7:m5⒔}B7ŶH]ҬOͩrX/jepM A?G( f9! T}z NQU-յRv;s9q]D<:GNSf#G&&Y<K3J,,'D$/asB:զ 'u.=5KC4`3GBq/(ľeg֋y{WSQ)ٽ\+NkԸ$!̰m LXldddɮ*RW'ŮKX4P3>S^|WG2ЦcN9|_OPg l76?IȮbh>02fC=}I_PWMWM'Օ)Yc=6ZSoE{IJ@~`g68C~ -xM&bbhOwƆM[8#1ayqF ԛ։#ҶXH @FɴswD ޔ vT NʰUmPE/aí UC[fuosl/O=cx0vg/AOԕHMs~ (#3Cz'>D@$vjcC@EL$!(~08mau͢H](u+2'k$q>e)Ť~o!'-8O8~ڶ2pE>X6/Tl1|՛OU) ;J|Zs>YA n9 x%Qf$1joCBצYhV('pEâ>|fp..'bdH}I'tVÎ)nE lM)"d>}5""]6A<={S>cwRs:kO_ ;&]^Po7/`XM` &hKJpG=7Ev8Eg,Fp%+H  d2TC B𾠸ZCtb`zLI5׭euY';_)1eH%q;E|q='a|!çZ`ݦ_ >{N.V /qt!X. XX$LrۿIOɠT(hŬF6\yF@r*{Bm>Ȩ TB/Sk9@o4DP}^jWP1j}ǖvcѥ@!)uq {,H?{DwQr,+ĩu??pE>oSx{:#)mM~~KEZJ2%z' |w3~@bN,]yE u3zϘBMKc@masȐrMy+ WnXGa$%7{'LЦeӤd\)pȈiк$UZOE O?ADzz>*Na!uGJ@9?P]${0v:Bei8 !Pbg]*>5^Q d:uVDy<' LFl/ȃ̀u=siGz,ފ6`[Up,Z֝{e()$#6L 6עaX|Lh_gI/S]4o(%ȏxb64r3K÷ c2D #brs!6kSLICS=Î$ _ECӑϵSXL,b2~ǔ1"ylgoo%7/1sx'4Z`-'=z>[0Ce_R!,X` G W?#|", j4W)<ض$AmnqڽW>1m?cZgI&jTN:&M׷I Zg:)i~k*cy'UǏ&b{0{)bfNqJr,Q 2((=֑70_gbO?[L:-՞Ić uxihW;gY%D~- ȮQƈ:($?&T,+^tI׷Ye,ܚ亲ѬƆ,T,ݲATN. K4Y8zpd`Kpo dҍ'P2E!z&0 1㪱0*T 4 chSh<~dZ)x$ t_e~4Ww7bFwŇ >#[Y]?]4,.m"k_G0ܲ:J\ḧ4k_ur(j[/Yķ:}0$c~!@^2",@I3*`ٕ"-#P7~a(J]G$kTf6NĤCfQ Vnn۶9{Crޞa1VRݱm4?unWՏ3rI)BRjs{MФ%aaSOh'?S-Z@ڏ+Y t 9C;F# iرK~2Lb-THI~Crvyc8=\5I&)$}`,(- =L@\⛞0kyaڋ Rj]riϾi\=.A.[:Z!őEP6Pb1,r4?v< v#GSĄػw,Wo]EƆ 'I !GF\ 쑾t\Cd{+t_wfWحgskoiib7Gl@1*SyS9[m>0l5rL7zQ){P~S0|}m)Fˢ}9ؠ(!+zRtؚ ٣TSؒmIsK>d*^հ|q8bQmWWȢ\U_/F=i$+qzmvs1YWʡJ}?IWn0"N֮_i&N9ׂr3&1SQM.[XVƣIm!+]5 4ZH H 3TA*G5R5d69vDM~:[ߵKݻֳt_a;l z`9x]E9Ӻ\wqfO0Dw$R{ O[֢$w3_n=hrH1&sCx<:jT$.v6\MCL 1" C^( c֧lr7*fx/l^5(ƫ @[?S]ه/5МTU M{V\gEY,J8G8ƆSXݪN okB!2*oQ pL~Ho~^~HͿlf''Ws lb!~w62r4~.ZX*fs$++"*|$j^_?Kf|'M$VI E?1-H";}nXk6(8홐čtjhz՛1tor?L)yKr[_$~0{Qiפ3qyXoV둁4sIm.`0ʽEaOxqM褉#08J39|SهǕ9=ǔ" ܠw4gFxNA~>_ .Pg\!,5C3Eڟp9_z L6>vHo-s9h1w= X 8Ŋ8&#~Ks/3R>+R5BX5)u$ q#A%I-+M=E,wC\Ēv޾KHA䏁խ]Ueak *ۅ{Ⱥgd > /phD?_92FUW /mjx.rz S}mFr\΅ ä YA&OssS7Qv-';#Aꪛ=y7fbgPwo˶Yç@v#j 5'0_Nv3\+MDiL٬Ќm ʤ?WSnnvePNI}bF ?K2ԉWZV"Z=y3 ĐR6 1R+Q:;o %}IO/KƺMLL pRcBWcNW bC8K~\u]pSg#nJlTf`;_3.r=r\>ˣIK>V D׌JIޣ ,95Sy{pdr4g < G3Xq!m @:Q2_1~E 띹ɇr^I5(B%<)2f>wNT \vqEzvrhZUnK MQ8:N;l>Hj0!HKM?A"M[\?ܫ N>_iX#Z/թINUNMs΃\X?Jj !U ̣x|QeӥJusXD:U; (H"+)0kI~4 sv|g*m̾oo,߷_0: -p/Z>*߾un˄Zf#HgN\^>M 8yHZ#7Ey d ؔkSOI1ʖlq~L ER.bGק3cHC9T*P&h_"{%^69)E`p3Jvy=Qlhtb^BEFw4md%UV3wxú*xPiT7WfDzLȺ\oo%'U5,u,I ެ1@ZFZahrN6Ch:W'u$:_ )ʥvRGƂ1/I:T ƵW0j_׈eWWAe6=K-,iGS 9 {}"CI@Faιۊw Oُz7t/F~t^謧֐#Ĕ_ߪorhJ4+[燭3Q|鹸SP2O O66E -ODi& ©Y}6m6 ?a)"»2F> xr댤];?}ſ[ #ةt,M40ZS}&:q^_uPo2$TO*M|dOzB4 6kU% ҷ͖QwhЫC_t&¬*X[B+=:WE%6jg{;gMw^Lܡr_8ϻ`2%lwwqF6,mN֑V† =o_^'G)䳌 Ӵc#ɹ %%r7[ wxPRV&Z&$ǡN!d=jrMg [em`+kaj8{#5(E2ʙn'3o۩#.$ALjX+[ 9v*xݨx4?%.e0ټq{; νP %;>JkmPV8#mI7;C&8ܢN霃bt"HW2ec sF^#_IsI7c RV3'p֞ Tb BHK4y^ehr\ nBquS_'w^VU*y2aKK%yrxI]ǚu?pvc^PfKd1f[?n<Q &>fDmSÛb{Rj=_(֪ﴋ]=B'ifRqcMDy͞Mv$f$:^Ӈ@g ?Gc ;+JӥqɌA0o^1/IRR:S΍vHX9Bj~wcMgԃcvgpB,Z"~Y~AfVZl_fGPg{!-nh.6]^'θp`Ël[ |wS CZ 2, )KSEsQe9 a^d}vrDG{lvM4 ]]2r6Cdy2(mYZus166T\Y m`j{? [o24^i" $ק%N7wTkv۲D*C;'s4g.eUErOL<1P_@"藛. ł7Ik)FZ #@ fE?:Է?Ac1@h˧F`N[Y~ighL;-2d d. 9:۝; $7jW~‚V II4$b i”_4V@;6ijŨym c {ԜZ;D%8fWsve06m hq ⥁XA#Q9A3|dgQZ6O ALfDx -SVr&ՐV3i 3QR~sι# !9dҷai p[)LI7s⻼d=0<\!#w\bq17M'@׆*P!35"A8uba`19TuPM1P/6΁aB.x{x,I"@G6~?3-K{ <˃D!$YVL0GAIcXP " q"]91&a>z,Tt7J+F|CSfkUη@Üc # 鏘l",$dqv_r`SVODKE"$B&<4 ~?awãpq Nmti xx}Q YI+h!oO}z"4q~bO: (w4!P$XJy;Z!i{~,1]) }L8#>1 S䑍;>&>)^Q D3HvaފsքƲ@EcBM"S=/#اHWue)R]>hLԴ;r1mnfP*rHlD/g@"ARQĠ1>ʀ7/UT` |̔ڇwG 6e~>Z?w# brLɞ/# /9z;<+ 'D]XEPTz]yŅPX>3)9Dр )%ԾYS`bܙ7TGvj\,]WAZq g;&ZEJMnB5YC6/yb2:u=u>}`Y$ ]AQ||0}cz/wU9NeTX'2̟{.(erb% i'@YZOC՞R$u%+Їzcy,-`)GJ /m{%`奢_#qG wف%0U5MW[skN.\AQyx.Xb\< tJ7̕KAQD`۷5\3l.*,\Ra!uz9D>j?`gnГj0Ǜn}0}En!kg߃ /9J}6K6]傖/'8adVF@I'871 4Sw:/ZtETĞ\6rPUtl- X^yj!v8jN :mkm uGN͵M@E|0V7f%ElT5H6dQ =eǢYoqS*R!ȃ]>׫wl\%EYp*3KK+xTdx9@ZZf9ro6r}׆M bM,ȑ}6;on6DQkg`=w®j_gHI@Z$ n?q!MD<^wF9(1mGH.& lWd3BĬiػIO: Zrt-A^$^( d`y\jdИ/sgjxb<av7{q,,$oZVz…xܲ{Q q(.V$36Nk#7dkxMB!p*& =e(Ѳ\1GɚDanYMZ]n}&uOZ<7 2v#I.j~-/SQ&?(N)zkwa*EЏ Q(z4/AMDf0zht|7iHK |E{q^FgR@+%2Vn).d-&kbf/Y}.p_R=CK޸^ŕK0m944zF- ' t2e],ͩ-v{qw|㘮tHE9Z{G2G޲نyKC{u9&=oɫhTF/r MT,2=IZtyy*Hgl5Bi31 11E^;WQ G䆜c>ue4X6ISJ8vo\^cd|hl:AKʆG\*􊈾#ee,ׂ%S;mhl</UB㿈fgڶD'69:~~co*?6CEyZ}$a"]>?yUd ۾ s6l!A[X|hc˧>QN"!\ijH(u?;P1[k1j<(_ kǕxO!r '*#1f | B윈CސV+V=m #ի/u ?75ؔ0VPJy̓2U[7jb2/Ƴ^"mg6i99⚋]+ +;?o+cTV Y18[sLtGύ|'no-ߗvPF+fA&H#Џ S>[l1)B׳MHN1c`igeE/#&Wk+FlcR@LP?ZިQ w ɦսhAyNVϒ+_(gβ"/QxA2N's^C򞃃 YT=45LW2/wg=ȴY764c n&1dcNVZVJk2ϪM39bi @ٌ]:)tTMIl*~OSDSŁ@kKPlF[n*^[>ppzo5J_1&h*@f0{;01js~f@!d*w$̀"g~<;pXܣW950;MmOMoyF恣CUœY6 6FיQ蓓Dшg8W^@I.R,{ D kcI~{ö9<|ꎷ昢,`tA?e{$fprS"pjw<Ty,G6zEaeGa!kC*{F^a>zm->lAZ0/7Ud^^g# :ݞo-}"xMB  B;KA|+TD i<&f1iߙ.qY.1!! ^1FwU-HgUԟI7!T$(6yw=ϲ,D]m jmUFمc\F.[P5I44v5ox _w./`EmC+^>=w,R=М,&h 3=uNUIK=KTu jNk̳sjnwbTo_ 3e`%_~&¼g\J8R.xa[07 #| %䨔jWExEmHQb8M:jCI>4I_=z\Nboى;W4u^Iiݶ厞PS ]DJgzXAnt_If^NUh |Q#mH!C ^LC`P `_u$w@$Jqn[y ZZ+.ooWŠR7ӦAתּzlĴV6 G%|9}s1Qi$FVvmA6CjvBsV#3?{\OE.@r`N LEPKv6*)5PrX&cp.5a؋9~뗉@-Mg~fG {0B!v2h$6NlXS+R4%r~>#( G Rs`u qxs*v1jQmVJ?5 %_.[Oo ;, $cKĎ[/vx%#V 9<KӧUXc/|6dUZY2$XژW?lLv×Ef$IRRW$ZCH*V<2bUMr k/hhsŧ+lb>\ BBsr_}aJ"bN+k6V\!B$͇lقi~\载Mxm5[HR+ωMT̈ ?T˼Ma3#닅4~qHo_՚ fw]rm:[[Q˸1\3elo?Ӕ59-i*t8 @͎ u[iBS$';c$PAN^눘FlJ÷0y>')gcTWqXSf.ȡ(5Χg-Z.dzP >f|X\9%?P)"ay|Uij<@+Vg8l.GMUT@ei$G:àM z]jKYo.nZʫCygS=cGS=/Je䥯]kZOsy{ ]*TfG3_tx vN9-bsJ^YՂK MrjΑW &mڞX-sr 36_ ]@%`= ע)i@ xTRl&W5 s"qGՇf)]#a=Rgڌgկm`οV  Zr)cBoNoKs]7e#rCÀh 8]L)OZA~ fĴ~w%{IG2K`"MeKy^Yo(!jh8. P Ҏ(} lNC;QTagNJ8(j+VP0w2:A2$:AyzpKȠN?{O4#+3y̕f!esocPdS̯` ?c*^,N)ԥ hΥ[A. H=wrW̖@o Оa!'ud蛑"Pv>?>J[S/4mqT`=])^XnY\M'BLZ8X-FUKDǧI5"Z3)sZn7_ϱ41ZK`KUhCq~{{l'ڤ;CXڅ>?)zTR*0<VپMom߾GD 0 `d A02W {AlԁoC3 X0+QXck<.9>Ϗcm9Er&)?!2Ԡm3ǀW~ُ87)P/>ymX3{(MG|%H3lJ (@=6ZXKNT>⊁LѾ*nd^Us +- ^z/$G.)ywE_{,f[FmfJHNd1~pC:-B7$OQ@.J Ea< nFC֮=zW)=z5 fyFhArݼ;RQ@%OiGO=5-V ZQړf?zL"pGeZ.!MONl {A3Cj #HD`3Ο޲cÝLoK#tZq=9SM3VZ.jtaJ^?wiIx ؆&*qW_4j"Z5NPaZ+39ӂT~8je)1e7n؊JVD 4 Q71D {@Uϭs?Ub wP3,L8XQYjL.z87")?4`(tN?=M;66U0<"2M`js֙/;F0Qu.:Yf(:j' 2erf\@HZc|TԘ؜E߬Kn4r%fôX%LKzA^4RYpΔEo~W0o~kphsqd0u]M+  {A '%~y熻j(& t?ʢw\{Xcx=` sV' aC{)VhUY C:1f3OAp-&m}V Z~WL{+DŬb)$/q CAĖJ:%?S^i@B`;~?\G$ʌTx,W~j1R{]Z{򿡚;T9! ށCOߠt{K݃>_w,U7spc\UhSȬL՜`KN6 j3щS/DUzshmr oVyJ$0g]ߡR;rkO!%W.&; "H~:]@|}/]*MY C |xѯ VlJܘجcZ` :0J1}>U{wN/A $R:VrHV,wEK?_hu|\jm .Jıh0F߶F=&h$Y3ŁDn ?>nT#(/[6ӵ#>xcW'AaB-(%eQ vFr tx2J 4(˘r7h4INj:_n]L Y-h)'NJ$U8tnv37񿴜O"ꦗwnBh6J_Gb@&&eeί|КW8vMyHz~KP 1ިw~ @Bz6w8|uGE˥^GR3eZYjF=_ ꧽ\@:GoD\"ssX)y~۟IؙVئE& 3e*2ٹ"=3?fK R!fgnF<4 n퐃[m>)#͇̯:?p>7&dwʉM@+-g@7%w.b, N .^WۊI͉ʭ*W}>>A>o#7SϳK|Cd7[J Zἑ,Xˮ)|8="2 =/ر cսZ_翞jq{7wn_DR2,$}K j_SAU [^s>5<γMsKIentB; unpj_W:mH { pL99%CvwWb+2d -}bXY7Ej;ğl1"tS&eM/' ) hJC Mk|fyr_tfbKjH(?a\nS%6{QXZTHxj$4@?I{.ƥr\,^)H|2h‰c}V פ@?x֞鯌 Q: ;b>ABkAQwJI||U DiyE+#a"bdPjzr!{?ۧxlXcDfh*$N8S۾`+OƅߑWJ%wG1N7NKy\:I1ʇu7`eHpLԇ],ݧxX ѥ$W39 pl,|R֎@=*hLY<2qз%WכEomwLy63g,Gzݥ(DG3@BJ@m{'T8#/|gy s鮎> MQ#;hcrbbfΦK'|IJudb;KsV Ei&qQpp{}Cwq64m n&C =$ a^B@dY0W!ݶ>.K۾gTQcFF)>}ϒqX }Anbyh4}ZsӼ8i CnT_:L L֚¼RbDrk޸5Nb*~j iUnU3\MaI2 PT YZǐ u!ܻn54,dgCCNpa{ NُVxtb/A?b\eU\sM揫]2=Ǖ)o~nnSE,x>W\f7+|܂k WHXvY;U2e݅'w/w[t3-gJ،CU65/Ӧyxr3hWmSeC*abF z/͵ZәF!|WIj0ob3]_nOC41e/ vCbeSweg0%0Yp)QycRA/ kj8ܱȂۄU A}PMJ~⥬VLkgޘ6)spx0]FhC%J|h t-z7p SMh!/j 4d qUDn=Ǭr"1Nl?DV*Q*:oQ͊1,;ERM4Y3a߄tTc$C [G<뼾C` 1.>*נ-gf%/. PEOT^k?@zqЁ0ÒUp-eɳpuh {u0H)Bx ?^{7\̵mɗԁ(t z% UӰ{xŏ$<ِfT/&I߷6Ɋ`PexE"aVGO61];Y%,s߾c\)K$NϤ,6&gYZ7zXZִF! J]ŗXiɟ1˦rnzx <@0+gMLdYOՙY@1Q}5`u`7ma~'Ւ什<_Dϊ{5 Ș4e n:6Àm842M0 U&0\ҿU(&Bly}jD;76FFy x4VqH!l7¨7]yjX,%3cs\@dNOy 28ԱgYZ7zXZִF! qA]ŗXi%L+rn@`/RΏS]]pJo ;ۯ{ ($d4߃ -^X(6+)0h NԎ>`:|)ȿE7CO"HsL:UǑwG"&//ͳ\TXf߹}ҬJ $C kiӥb=ȟ\1ߍ ӝKtFuӬGІ5ɀX+^Shc`[x%!^IXJ DdDSS@܍K =]{;c2{ld)th5I*Y-8jy$.^Y[zr2Kn^/MeG'\^aπBTpt5@AoI*$Ӏ$T !tB!:9|6Gm}9yrvfq҉:)5#~jٌ6fNPi3'9s{z-d[,55fjzK4ʗ!)v ܨZ>EJtˡϡq љ\3ت-龓|Կ@gX:Z 瘮VU/6 uΛ&ѧ"wOB>Jm6 64 0)jC1SSM-kWh),x~i(Z6\=^< ٫LlS=NX6mऀra4NU q"!=y5P_1z35TW$iY;HMbAojL|ZmF< k!Ck׶W-?Aޖ&q& vlbXҾVIHu%{_ HYI=|A<ȔHNVMĢ#Pz@EO &z1@Qr9ܱs`wx䆦HB,%,`ë(^z|b뭭nM )[{vӷәVVu Lɟh(. sk{-BX,b}Y5(eK '(CҀ$oҵVRnbiG{[؈V&'w_=P0,$qmƃ{hUnSs ;pki=wѺPIWϐe$-# ݷ}pT$Ella{U%x%RWQmr}4 S<`s(b1>NX: Vv0x;kR.˸oU]oM25ÛY Vo:]ٞK'!Hâ&~^s}>_wҗlYtx$BԪ&m籞BB~\nh1M #9eSGuCz(/N0OUi\-qu7sՎK‹ +׻nLR}re'!bcrx$@;%nrGoZ9%MJuNvԿh_?LO jC&dHf]2T\Y/MBG}9qUgG9j s)C9%t?"$8XB5v[^׫f6 2^'=kJO<{Ж Y oܬ1ߗٚ3b`e)&]8p*}ZvCac".DUǜÀИr`"hz42a\OT"ժ"ld))Gn7Wr6C+K t|z]UE# :_舒Y[_1:P|+7kYY-h@DֈِiY2VAb(/tꗂe]bǭ,PVN^4i'x N]8TV c 2hS=)#~ e8( GL>tS|.Oms/ "PgU|Tk8j)M:gZ qWY}P>r]! S̠A ))~r1b5va ̽@T6+0?VW3Gf\њ伄}& 8՝<7t>]Yk5n~fj k BbԚpo} @:j m^!= Y-bTxn.$xքKcRP$ T?| )j#9?sFƕxwSQJ!J,x ~WEJ 2*,٬t&b0FhQSɮ)땦WLnHT&@ӛѥhy;7L^)ՆЬz/kf%_Olo1=^ DigXU< iƟL_"voOdQ uE'dwiQ`ڍ+~8/~P%؋ gyF/x"-Q3a)JJexѣbF+dMkS d!a "q" (dmџh @7b(NɵSJi/DV^'4BkLڪ Np&zƽ1!cGvRᛦdMQZYi64؍\jF'5I^eJC|2o`ysnL(JHlq3j- | D:u_;O6d uqb쫥s?wBŢtiyN"IBg¬|3YE~a2-/9?BA_ GӒl:APd "B27,e_TMN PBm%& FgUҷ{xE9\[Vg*qRkP4S@ZI\6yr1߉SI͵N3ǫ΀&dhLAOԗ0,sC%{ԧl R8IR~!vqh BT1Gdo3M$yx [}mm&XY.2fZ~X B \q+|IZGR;.4нOL!L\!YoF/|H]VI%+Ř9ZK MC I;S(N{3 2DHTA(A1#ϸ63PTL ;aLЊ1a;!X*q"a prZdbǻ|TT^:r@Rq1 霗Q2h_&ITCgkx7I4:.!wG> !A@fY / H>*~Z!RTt&κx>9jOlpwHQ"eL^ʀ/刱+[%borhZFʬ#nF Ј 6&dT l*dkbRS3f+49Ngy =Ȋ%J]-@9 ߅$4ܳ$p'(:a: _Pc |-*`Xޕa sgz/.gjXJ(~#/;ؕI8bnr^Sm}/{8_-mU{L2C"kFP@A`>;%3C@ 6};.|ؘLjK s,S&>zMw $%< Pz㆕Y&Ty&WԨu^lROZV+J!K&*B:|g8G}/ Oxa1H fO |t"#.U+wѳ #j}ݴkj8N@sD9% eP9~ vs% GOy-S{њS%0BJ{G>NKKG]e` p( Ű4_~Fs`(: [9'& 6v+^(F8_߰/= C+Z};Y3y>Anӽ{|S1 )~Hxo7Pmg o/PLZwiػ; vgPB\ J,dZr_l Ã@PveP; d㴆ݿ-ڭ[ gzA>47sд0{;hrk 6㷷Rn/ ;oC*lIA^n`-nGTRav#x1GNR'*ϟ[wlI#Ҹo<&nC?7hxTQ=t WHDλ}_󜂂\&Ɗth֛3Gyq]vTlkD4'[? wY!bߝ;3/e;}e?3a~hA \Og9Ƈvɔ,o[e<20V!̃$X"HMjH^)و?ås^l]O׉< 5>á~# PN=[ NGp3dwƎB#&$(L.,]l!J'SA\j!7WZ {6jjJu +[?pQXR.:yB,$둚̿ZLX(Fw8/3\KGn_dy="JF CRv/Yl{!jĝ7-a3=0F\qĉhQDUU­uc$[\Ě\uG@E—\t Τapz]Ņހ{IJU[ ¿yԷ*&TF6׿aDbحޞ, jz(3C$݄0 Xs5k<~W`sZoxPc&#mˡfƟ!70${gߩpEu*YwvE0a^l2A^ *p3A+tpLCI|Z(!&l_56ɸ.ۈmHT^= h<~+d>tZ5 dY8 HWP3T\:ӱgYZ7d3cff246b814d3aa195bf1d64edad67049198ade9a2742a9719f5ffc5f20b8afc6477c5b3ed39a9 dc09a39d76722c2f6a77403e12e7aac18c8f9fa4 1339eb1ca36123670b55199a5d487b279070cb0a b324e67a67037620ebdb31413f46d6bad3c935c6