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  3vL< ]S Closest_Pair_Points:threads=4elapsed=56.538cpu=201.376gc=4.0807zXZִF! o ]ŗXiɟH)0%o#s(x}!"{Â[ FeDͪqa<#Sz(dj %aK "ݷ^\ .Fs/N2iil䇎dY%+!#co iPof?H}J-·δv84o 13&M[vhQX-|(xs7베df 2i׻mo.z,\lAA{:/t=:;uނ HfrO7_Igxjg+Қ2oGMKXPr98R0к\JjNt7pM*CxNF$Yƞvd#. W9zxΒ" 45` l6{aM/5B9}^P.AlݣU>E%ؒ7꺕KR];a}cd%/0  }aPRHfsI#@"40aģ&v#3'&Cͷ8\K|u =l^;xGވhm?ῐ)\NSBc~i]G$a M-}:ч! /;MpRkc1-"Gaj=.g}Cê=XF3N qc+S Q!Ϋl9T_3n$piQ~kϞ+/'. 3 Closest_Pair_PointsM3e1 tClosest_Pair_PointsClosest_Pair_Points.Closest_Pair_Alternativecode/export1.ocaml7zXZִF! "3]6ȱ횈`5;`Wiur̉̒82eM L(,VbBE3l:%yd$OeBM  `Z:xeF ̱\}#xQrA#0qv&g¨(|Eq{DYR'i15#d\>tAn{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/*) 7 iWQ46>LfAk&Wc&Tѽ+`v5æYF/D Xd7bb*έi+Y´0:W^1powH$c}lm TP82Q@҈N=2ZOVab7Z9EUr;@6Xm'!N64vE1-VFɷ9.֫@]HkiWrc^1j/]&MaV͆CAa2:W,Yo09<6/|'_uKk,}ko7hjG'Caê1| uhgC'끿AK\+QZK+D7x#~:扒ҬUd宄9)m 6 ^SY 828ˠ ѼS^`xa:[ɸ1~Q( ,e2Tat2"&iiZ" l,Ą\7-t*Gّ}#2 ~c7432QtddvƜ+\ }` 6)ʣ ~X ]RPΥ l#bhJlJLGJ]*Sw._٘e?L#%9f0@g@ -HQsOUBN}P轂' Bt"KB$>ӗp \.N54Uvӑok_lGH+GC0἟\Wv.xx$1 @BP vU&@HNĬ=(چJ̆#ѕ8 =9,Ғ +a Qufggv@RqNIE\QS{amYoڳք^$\7MI}VQz&"3$ol1XwRSx.Jdp7T͆D}:'Dʝ*T@~)ﴤU1߼ڈf f{3Kx0|+5Ml~g^P&VM,-)\JxP}R+9ycY i6:bRΔExK>njo $y 8Bn%J5# 摿uu3K[t*4LExW2aLR8^G%}qmfoWT뱙_DBȱDNz4iyfɻB^Vc!}CrgI_K'Jˡ?0&PX$;Cʝb[΂AoEMQ'fJ>YQzY#NNCH!}3!c8{>īB`|_,;g+VL::Q;珱G4ߒ,͠~*D pB$6RIQ녯W#.'[D m/SaC[R/op>qQw2cT{ɛq~ -iloE,I ,HuSE.ܪQ.yK_Xz>'vk p%p8>uùO~Sãߞ᫜bɫK m1@@[Ap7L0{{,/mG V.^w%-jJ}*um+{qGQůcqi򥯄GscQ^OڰZsV }]lˍ&A*#2"֜&Q)m x0/l!E4X5ȋdC'K$]Ư2gMWԻ\"U\k 9 LJ:84-~rHr#sH%K-l~{XO"%H֐,e8Җ|U ٨*oW7v|$&̨#' R!/O]wp;r\CR^d;mus&>~׹W`PͼRx_>wsukߡ$qqX-1 AC+7s?G5?9*>蘁yJ_|6EH5J3[iKR>Bsި@۔C}Zjv2ҦB>opAa8FٮOq"|QUў ֬l(g)c55͛*2`!݊QkPdi\!{@n؉$WMgLFaߏLBXl SM+]Xc':) א?6EP1:K׭%+ ^e;^uǕ ,(:ww v[@ļ@/>|iFU;'tfj: *?+u_gZAv |с.$4،Bb HpT!?"]c11%Nf`Y4e3x]p0%W|*2G MvgMî}.rX{^@mpޛ IŤƳT)e5ƈ"hexL]#2a{zT^VXWtcus: pL^ıأ-ǐGKkH vK Uð8;rG"sɺ#9q,=%1f)ZJHU}vQґ>6RNǏ\x +|J`&E=EY"/#Ţ&&IX7OZVx[8-s hT$9=l}=o#|*5?F=ø2_*kۦ"ޔWz: KsY,BNfUt!WryUVB+ݵhJV,3'c 6ȁ1d$L5(:Z>- E'NKJsy,2'^DZaFV1L' >X_gHECfJk[_0d7ߙS7pre9Nie_yL)W}24SRؑq88x֮Ui.l Zا\p>gW?DZ:zw_Wp0uXqyHhwi\F:\vl̜zL Ͷ@}LoW9DY(_3S%Ilj= e5>G]t覂J.VRP;d@ՄdW$kf}*3L0e{rݹyL|kԴWv%ԕtAp& FGecQbt\i߮/>1WݻSp<uB^TN~5M,Y zѨ[:dj(,qzRS;P2Y;rDVC? fAi2 &; PPX׀c%g'jn^;rV)飠#j5$(!mT xN|zAn׉Aƛ٤Sp+Րwf;dWg#Slƣ \b:P(֏:&Э|kl{nK<έD<@/ɜE0= I>oD zQ 4egX6bqyUp X ,z,^ʤ$޵92O:99 Ѳ,L 5J=c "~otOXht9]t}Qq }*,x{ ҡ .i\]&U bޔ`9Ž.Qd_:SiNVmJ> nz|A $f|h_Q߬FdAzf$sy#UX-ٲz_ߝ ^=Q>'%]nvfV|1ZxgkiAh"%>Hԛ3uق·RLUZ4ч_F*HY1(-ՏqŹ$%MAxUDhdhb:\-B~&伌+Q77pt{w,Z 3Y.ұM8E',_9ʏpUK$Sb / 듞vTsqTQ NB6ՌO}.BWmb;Y=/7EpH_P1,i]y NBbHyqw+ 1, aas`9V[|O'+8ƕWK;6Ќ/ [\ vXmP}XdTv8H.|vېc&>["bJH=mMD,iߠuЊ%e&J A=\Ew|/ )PYC4|ؼe9TX *ҏUv)&h^^afzWUMi(-$oc.DoH2nlYfʟrj kPu?t‚%ѧ^cUȎj)x׆i?!hVd2)[ͳd4g0 N^@2V\;wNB58<[UZ 7$(lۭDHel6xX~s+"?H txlySmOJIYjf%cbFh6HsSڋW=/K߼e FL#pPPiKXW/6JoQ/pZumz5*ݾy,mÔV7fnCm4<<%OS11u$<[\p! sCXUܮ"o>z*oc1EN 'B~T5=9&'BWvK-_Y[b&FV,ՆڢOxmOK'ڹy'zfJv=uFF (~I.r{?&YLFǒWUJ,稪r}n>>cdz nw$qj@r5y0g@--0Cce:d=u59Լț两c"z.i\+edzQ *H}VEg'GwW9ρtKNT6xMt!Vx+5{vZ~ez<#@/c Ăwo'@:ii0K_g,.x0Yq8?Ne]DŽ;Q_fйW꟯Ai"4-H`$-g);p@M'\bJdpM0o%f="t s4(Uq9:`-p5G%3u¯7@D jȫ-jtY8Pu@e )%ې `X`to5z}>Mb(uS$1adٽ3GꐊYlYV\gA#t3a@ir#tt8btml3,U _ !> 4ڙlc?" `|8U[{HcÎCMYȔ[~!'HoJ`a8 \~|E _ܥ RXÖ8iy_e9wy1_*9ʮ&p~:zѨ~z;xYG@ ?؊!V%=޴Z>K e™ze˙+W0o\[Y.^ܚ~b$9ߋup[n BiUjE+"MHpqU2} c<2&NZ< Hx=16{'i;Ҝ7rbX i+)X]\H@It[qPO鼁:uNVѶmQྫྷl 3"r&;Xs'"ռZ@e'[KWF_bM ?$iqITkhw.gi4x;7,}f:zA?+%:~Vrub67xwZ b4(4G S;QjZޟAD2a4u_"z65 ߭xL]LBnoY~- wpM[Nd΋MDœ򖃞qF8;[ve jC#}*&]:n0b6Lj(i6k&Y͞M%GlV.b`\J?[R7B´\uC`dC:S#, N3nLW-$blF5/y&kFܸf>oiZTrğQJdw,7REPI{sܦEp!qg(΁N$Ū9|:y(26}j]<1nӢёwLJ9{JAǗ2'W AhU| Wt (@HFzϭjlCmpCPocE-2f$nU9U4~? g= U2xkWaU֬n>+YQ /yp_iN 3+r'жc8k|&uhŧ*]1{lx@tׁ݈9(\' d&Gz1 BNBfCI"&7mcb\ )}x/&rbV;_L38 Ňv9̇C'G'(&Oih*ʐx[Ō&tŮY~}A*ì|29Zk‚ @?ݍ9%#=}Wl ?CN _n| *,]NQ> `Ů"5p&ȊbCu3d4j7#\]Dh8}q}ة͈PXٓq[ ~}^S):T胜քD%tS/E;1ݾL4hXzd bRFXm$VܬWh\Fm5DцڢN0"L+I?rpٸ[OZ2 0}_KnIw /9 1O!4KXUYcz,cSt|+:$5p2V[ۊYt(#+@EvGCp|Enph֠"KËrA||J@Q_F{+N ;wVB2=Io˳zD*Ra oh)1i;|+LoColZV]8-Ƃ!Qmځ"I"$^G!]AO&ckr:Rl֭a-#KCx6zG_<Úp0h? ۻWfAkfa"| НߡE3]7O4rD+̙HfV\?Ҙ{ )]KڪBė'"tW"<&n]6-)F& 7Wn&:k4t SAP<>'Eqv90ZS=tHZ,su Eq&.IRFWXi7C{,8xd}AbdV3k3.NX;νEO'z7=-,{- J1G {[U m* s8`FΉdMق?ٙ''qj#SV }C St,LYDQwʧ=OzF6o~J|Wҏ]2;wя`WXgN}]~m3IS_DSJZ;'PoʋKUv,dҴ+Ysr@{+w3򺡃n]UX4dNAYkYRR-*&%4/؝(Z(U0;& xސ5j W`Fr_[F F^Gffcy;Ar~"±WD{xPO튤u"ǴF}Q`4lӪhq!_O8?ƿ#C?L;|EC5*e ŵU[&-dm*6#(e PRn)"P#<ⷎ 6-q [p;rp@CuHbE:D PR8`tg8n< eg嬗4M58d&פ}MCDk]}9!^cG`/չ>2 4kyՂFݼVFdܡjVHU"[HE/ 7, t: ^@:# "K%۲̊w03mS MUP'A;e㒰'.Cz2StEHwbٞӉҾf(kJ=t 4VmtZN4λ }z-Ҡ>Ze_ 1މ%Ϫ2/\'mM@*+7y^f:2Uؒ@fB1A ٗ?-ӃtcW5@w HDp69"?z mu0ԐF( iT)v1 ?̷;ݶC [ۗ" ab3!oMD߲g8Sx#SBY)dJ~OWPc@躜8Zi>fYw;,zKmA֣NPŅRmYc_h%T@Q"-c!F&ChSѡ|F5:G'xU@6vdar2D  Dr/n&PC ĥ.2t͕:+I%u"ēQ;s^%{ũ!{_hǰ!λ{rp3N?ހ;&DZPC\~ȡ<ڀhfoy]ՐORGd;rFN@qjZRj~?\j@g+p^;@5GbcI`/a;Fp) ϵ E|#M72c"tIˋH_'ojτ K[DN!*|s$;ƶy1ZFY&UmAPqBʰE=K=Lѡ6]-6p!!#t`IA]b=1„CnE?:h3\>_Y1c l\c@; D{2~^16"u?fX{'Ń$e^Җp놷~{#e_f3<|in9K r#nf@YJ|2EuׯؗbטDSuW3jbT }o+GI!|؄: oD"%],G36K>DlV" j/zZ/)s!R۞Xg4B>ČvGP %uޒ'{MFs@ T uX,Zb\wϨ[CWsfa2jǝ''ڡ:Cpyq%Y@ iWpӊѻǧ}Z6tJo

^M|B\EJNɨɿǀw,_Q mRYE#9,1k ?<_#-tš{wMcl"L1&4u o=ezd +Mo,Z`I܍RFTz`mXPzo1/gyώ8uyE' v A MSt^Q8utTjb0H֘k VE4gijQs&d4o!^w-BQmtbc:oT4WM"8zev2_S$=#c=TݹǍC(?rd_G7470z#1P\&`Q#4^x<?k CF.&`|:g"=h$$M}|kP h㒳B6M6p'}7ExCGeKI`S^^%֙Xޤ5^{Tob{3\a3!24Ui>zc9I[Z WsO|U3@qSNs,iW`vR`S;Z3axzE6 |G3= y{S%eC7XOACsO3O NS}Ո+(dWlAZuO*RIO,@fz&cpUã|)  H ǂz=8a֕q |1cz~raZgKH90Z]XYEa-(ՠp?}pPώo`5rj*ZGEYP?e*W??\ qL[)P\ATywҌ HcbuFtgjIŪ4'j?[^I}DPs`_0bx˜;M \2j'N֙apG$b5* ;m]4TlLQ*07Um8mc6hXHKTZ3LJ`*& ^R%Z9U_K^׏dsrhXO$ZN"UV؜On)18ШyE]?_r`c_U&ckJMt6#8!$dRp09ZHzd"W92b"_;461rszP͟uټՏn;dHsM)ps Bqe;iع0k?U%\abݜj}AͫxJ>Q [ꝠL4&P1x*!RcM36Xw #wbSG t$N*@BOH{*''vk%JbiE+o#0Y9UK&ɢH;Be4VX(wd;.IˠWWaqOŅ2:H?9 3p|+.=eJg;S=<8,PjKλ=o_|dQ<A o&QISMk/F0 oj(mNq(>dA pN;K#`nvL:#A^FK9wϏ: 7Ε4!}rqxf$?j»?!:\}5}]3bӱ32Ms1o'^g97dܻwbR:Vܙblw<-ўx69QKذL3>֬3 }VGJ37;4 SIyQcQOԥ"y*F`?ݩoy9ex]IEC,8D c!6.ق @Z.^2Qn? >;IqsCc٧ͭӍUD""a&P' $A|y+;O ^腹^P]'JtRj.㘑 7dɨ=U**VV=30ַ&駊.ʖ m3abrt`™hAJ"@WV7 ˧(:wQ= t7;&ihG4DWxO5$IU[Qwe<viu/,k xZԭwcڰr_5#^JUş9S1*~v=#r9 QEGҶFH+z# {&uQQIkd^ GQ!"EE1`y[pu{9o*=2l#Sـ X6a;JZ1pc>$lk~ȟd_gځ9s*w.af<|uCd̻*ߎuR{fR/n)<u6}y[c8V͚,S!&%^ffz[2F//}e9(JD67QD۵~pOPK|ո8Vu:aJl^q=Wy+ 22"0l'(5UN< VP"`yQ*Z@iK(w6xtQJz"R^(]+ГL# ;*6EM'tn5NoJ5ʷ#WsgFy*g/V[|ӓC 1ffRj.d#2$,^H1ݠ$<"ċHpOk[=B'!z/]AeRK Kqbj"'ᝄc, IoƊVi!i1hż 7e؆XA/ڬ8oM!id Mc%Jˈv=΋GdI$EsAͥ~K۱m9V@=FMrhCQ;aVK2%b."_+׊F&$=' ӂqYL4ǝ,ؕr O:p|W}zwBZ6RX1ӍҖ C8WGW%HWm8%&r=ʍ4B/Wie_Bw1KJװJFp֖N{ bAFy ͞4q(9ZٽM\_5+ǒMJ?I-x4>[=P2ׄŘicxV9 |;ŚtܠwecaKC5s~6pΗD1$4`uq"]bI_x(0ܘt5hhZO#{.=ƃNYNj3&IٝfnImC.W)o][:- G7;S$ ]i-]h0@'WH$^Cv;}>`Z`n ^{%1W)cu8Us095[DƒyܵnQ nɚ}8iI/'L++mM"tr7/3 !Bh >\ @|Ctl_7 ږ&uu9C ^vp5 'n,_Y*WZ̖R*[8BdiVËcW F{ ~%%$6б3Lܮ4 m gJ~e A+0Bg v ct<^=u8p* *Y}jM0G3!dy9< "Ps·A 8ZV]5"(u5[6Y0H_5v5J\g@#fr|$;>IjI@mZzʂ!y>lKn$\(ldiԠ"(PY ]>wYXĭFG c7Ͻ_`cZ=q禛Fn]kH{RAĒ 4`$Dٲ*Z_Z6J>]WYN׶a1¥MR# 5kf˹HXMk0]MU*5yDIK( CyxZXR]Ҳ#A 1`۳A~|{ɔ756 bHo>bAH`}9V gijL.C/;7mK;=KT9DEϡivIFEaE) `ϵӍ,S/ L<HCuY~!k~g>kI*Dvc$&8<=չ E{+{XġDŐ%33iNM"Erj@H+ @" ,Ub_ |zff/9ptJr\4@O(> KfX hEX7hQPkd™T ,TVVk0ZOGy b\EW3̩Ȟ!iF豑;l0dvBcȶ9lF'!][QQj Ht (ܛu#iaΖ)D۝ܓkVOt?E3k*(u}\f@M3 w`WIbAVfEa.IsSd ,/_"F45Zd$XBj,$3ND}!xKu^$7=诰=NTWA> i1^3Ǚ;T~u="339{+#xpE^w(O 2*2;|! 81z \1iK C]ooShY3qC&gj>64~pE EU#9,{aq&`~ Bqf69CH}\SB̔c܉n? ~T3(dL:Ov*G5DMkBPqt F^OrHg犚*v#g{J`\,1:K'4v9S)st̴5kUM;fk{@|'";FB3ݰTkXsQ=Θ!aK#G׌LtZWk[O_AF@sq놩; XVϐnۈ1؛BDzd#y4@ӧtl}v+Wn Om%-j&/\FYB (nN(e_1*-y3 %Mև+>k1GɲlN[&[&Uc00pv5sA3rI)B#b^Cש&/N8Љe@i (-J938p8f6ӞXqqnxhrE~dCz0Ch &:a&]#y _Oؾiă-ސFKA:Qֵy<,Ls'.r\Q+ȳGR+ ^\4iSЏ]Njy4rH'J63- rV j<QixԷrŒH6{RN^;DW+2;>lC0.|OG<+;%Z. t:Ά)^f؋dPiجM0pU D)vc gOǖruS|%1O.,ٔ8Qy$mTFibK.c96=N-ҜSER [s%çgpKʀu U]3`KCX= '? g cFs+?mԒCЖ%s{]9 s.)X':azO(lSg2ѐq~lE$+tn/&Aҗ*eרxzilvS8 u}V(˵f !S'ׅ=l2J :Jm5LLj̡rPmi?WWqDeg&,!(,yzģcQu%$!e zsҼ# }%Sv7+_p` Y\SEcȲVӁI&~Au׸ak1툜=,D4g&?r|Ga 7%` cۀ.[ |X՗罊6BmI5T-.DP[x JI )HVTcZVPǎ HÙɤ5d"2ʉN{Z7b0%nۀ֠Ѷ׻u W_6/Hv>%%# n)`{":svę'MKhб^)䃁'A3GN馟VFNZi,;%ê-Ռ wNFݚ詫0(Gi$+)gך:"zGT.kFw (L⠹5I?1hXV>^nz0W"{ty'Q8DY n^ 7ʢNSnטcx*[ ɇwsf?`ɒ}i÷TS$^ Iu]"8D+Cę{ #BRG8wyNL r-o60gx 0C8rѽ{ϼsso[J,r]1kA| !5!o2vI89( #X~^ , L'fh͒GR֟|`2_5]qpil֎ǘR|qV^6q' ?-76=$؇lqӢwHL 96P)1ݵ}$`4 8d+{VV͢8'cط@kI,5_vGɨ8d49/pp Ezrg 99CObIfGThM4^'UYYN,'#a\YOE@ ]\~{;!x^<ٲP<kkH ePYKJv ,ՅUQ& yo̝+gsk3"@w4Dgb}"5` aeWf5QLuK21k)M[,2ou<Usf44&g-c 5 $~ K|*[s(q6rD,꩏㥽j`ӶD4 s $V'fUvWCUc1`=IW¥}ZKnrʏDE F}ləN$iN"GjξaC /5])ǧlEk"Ci0j Tv$lx}e/5P #0ќTkDT"kS76' `SIJ1GM@* pX vc @1Ck~uˣI$iN#@.Q;b#1rjnwi7N:Pa!]biL$pJ6c,硛Ԡ9Д_`wj/J@ozD Zbϋ61">>zWIWK<a; գW!ZbRjÖiܡHċ} #cy[o4rJo!;U*C37"r7Y4 `^蜉aW:f\ϒ6ɹ 6}{@FLkD6ʏ}fġ7]SUL*徲}t5z@ӝm!8I,+-$)^ЫC[C]́y&OdV*=љ=mU3#iUgF'yS'֍fb};SirR+ wWu{`!n#fOu')5@ n1;Rbd@BÝE.`D/ N'TNEXJ{u:?j&aa'_L:(BA=6T yC9;uubKgLx?O _m:1馺:u$ڕx;CqoP ,pBSNp]o%ͭؤct2rwTDtN%G(pB1u.LҞ::K!)-/h^F?H$SaW".I2xU y#tz :1_aZ(bFFm=2V"~7gK&Op=- 'ڪJr&b l^G/>P@%n2k~3q0+ Tb l|s@o1qPrLHUDJlki M_;9&R!}M;f:[2pgibg*7XJ>=[Zh^~.k~GۣqGow`T:'_SqQnP>wr͕[X ^‹/6@kZNz,Y] JdY; 2®!+ȔϞ{SIxlySO/=N~rLz*6(]d=NFhtr--k@ z}*[Yyi9 Mݗ gR)L4<ڈ,2$ z);EpTY8ʾXOGk6$R kzLlSu+K$N;T}9dW(?;B{ۺm 8bIZ_uGW- $ƿCV7_mmHx0 wL^.p 4=W0l. ,vPυ#'g7vjv4u9 fñp71~ͳ@~fsn5z/ֿl/Am:16c VA1ab7\Rcˆ1rBIw3m{E'.q ֖M`F[-pѺG"'lIvv4^#c?)&T*6M:o3۞T82iZfchvy?.&5|k5 q{l2X{9ĩWVPcysty&Nnng`qǦt{62dd nt%6CYa<Li@m܈knqJ?t" 03vd7v u풍2ʭ7C\ Fؕ8_3;6j`q+V^*>'7[p2+w*NmJP60νu[=v|unȦ+˟Rgm׬äu.y! #^ES"qOO@$# IPI T6P*kx\LSe~݆_@yhM0Li ȩҮ3Qw>Boin<ˬ`T%[:fANvuøvC%[xctT}`9ۑ. - Fhܯ.'0Ls,Up{>W 2T6YH(! uɿ/PF Ĭ I~v,.P;;g5ۣUIÌX bg!dcIpA`;=occ:ѤIc6Z%_##3qq,WƗKYBp;3\okvpT^n9J^jԄohT7:an]G]?.-#T I]@j< (ڹ bpE=Ty0Hq\ys,eFie‰XA #h!]C2pc,ÈVzd3]!QX cU0YFC' |\*. c:?y:BG^9f~a6(5 /%\p(9<))2B1/&8J1>W8CܺJ] +Ra5T1=P&{GP{,#ucM)n>5 ~=5ݱR  Ւ8k,j%LUӌ>ZD` ҳ d´؆ ]J-\ƨǰ&׉WlNW9Ы^1f%rRS>n $wP8|Q m#ƾO"ԵK! 鋈DTWtaNض,ĨJRT($"Lxf]y̠/H=&0xSwc>^_tuLږvV{ B-:p+јSk .V!,n+CyC&Ku =R嫭8o;#_cq|9T>-pc"PA? #0cai5ߚq=DBnc+Z܄K W&p/wt8<V]v>v<0V?E;[:X%E6:}vPY3Wi;ݝ?Ew+7{.QCG̲*pmxZa@&m0- #1;Iؠ / %VؚaFor4 dv<~4+r/yZr4u 1(ܾ3_ o&rRJ-V~AH@{Ndl$rM-^ QafD;.\gJ3d"90#)o';Lc*r+oǥ чgI$ǰ͚d61#30fܞ9pCnq 5۵^*TK%ɥWRY Gy>a>1&xO*!.ˬIj}x:ʇt'"9$ >Oպ%1byA&W,*ybLiw\&"jJ f7i1Qip:YY Ј %YxA9\|ǯxa03E#m,K,ٿ4 >_Y`U 9nhM4%Я$nRLtlӋ~H ^Yi ,,Ůڍi0,i>aEglv`6рfjDϴN0Y%e ?֗ ¿(MYtjSw[! ĵfz^يư?;V8FzhZ5Nˌ9{8%\tx>k^R} 4U;sb]+6/:k\<bQȾRSMff t]%#1\T  E'T8lm2ּOxO~g,JbP©q&JPoZ›4˙p]%p閉D7RhN̙D]y̨e8jO<7I h:ۈ6V#MO*|yOĿ/&:ZΚ4zOkU ,٤@.,|nagc@Yg#ա *\FT9Am BxɁ(R2 U;W6Y^EoUɁV;?&#8\x'tlL:sacb~K0)V+Z+0,uB: ]j8ZؚkF $_ZLt HڏRB"y6'%#Ti%/U3޹>2|rNDFWtQrʺiW/LL\GN+! `p<\>FfOW@;6M" %?5zǎ->nHn_1*8Q ÝШ%ѼZW;C)P@̪Yq*tM|OpВ`pa>!FarZp."D dixڸgE:ͮը͑|FEu=rPeY_í w:/+Οu"PQjIZ}Sf 253҆Vt9l»ӘNMczϥ[ w*vސ<5 #FpWZC2 { tu>jȒB ؠyW*=.^\M=+{Nak bA&7ھRƢ-Jn)C.OksGG: o!-PS0 g܊,?C(@B&k3xlKԃ1n(L`Tcr/qyqt`Фcd OtX9r-+?@%=\[y ,-JVe96i!Y%0-QR{>K wyB? X|*W@np=2N{zƇf:N pK xr_f"A3iLV(?"%&d1"ܔr7q ʋT6Y=~&ҥI+`ťw=PcNȲjl菽?Vy@s&aҤHk^~"J i~@]Ң^9aDl#O0pL qL{0,H>0wW^BߚL'vD`v_LսdaIA2|Hq-AgWa|jcAg^DZYxh7YZb&c,j_V0 2ʺn)kԹW2KH'Mr~1D 9dZT/e \蕲HBX#D<ftlGuz]! 3㸶9Ht3g-4[=;""".0QPGB^u`9\9LuqM= d k2@+MkSE Hg$ {Z +;/?K2 85SkZLoD(a7)7pC-?3>٪:+AmBA xp_=ep3tF-K6D;x[ 8^0gCLȫqΤyA!"&gv$uC%3S,l OC$YV:Qv%r˶A) x\J0Ĺ I `qYA&KqY&Wxk%8=:S?>k 35.TJ.NteФ:ulZ-v3T/:fG7mNqX1Rӌ31N%v,(>Am^Y:} gnLr>̓|]jf&%]oQ:Qudڹx dOI޷m|p"ҵ 8Si9{!Q߼L[.fWWpc5oZ$N\[)\q?ET,.S]C"fko:jPNR+0@]O" Cƥ5Q5&t 1c#'Kp!E("ΠY4!LjQIy/̡jjO.:Cb~5C=i9V-#6i>:]%}SE'#CՎvjtri4Zeʚ|Dr a '5z@*c$(hΞ_ pm)}q} zBJ!<~N}_$1/C$%ЂtI5A>ReE-D,XJ-O{>Jlhj=eL+W.ǝd8L``63Yf]; +ȋkWn=Ѵm88cg/w"_D©,8,`6 + o.vx>+]gmR'Lx1EV"l鞞ѫ\RXkk@Z%%J-4U3[5˽Rwq-Rq GNK`FiDELpD gYA{`hw~M C #G%ً )A m;Z!˶1,?+ ש&NkL$1 5z`?NǾoS{]pw4> 4WR`<-܀iݬay06Xa0ipJ׏y'riGFp;H[ r50SVnC.l݂7\`} 4$/}Z.F6{P޳&UX|Nr Õ&=G_~^kԤU 9+QJc?!޷k4w9b]aý_Dfw-o -X+Az"X:!S<P<1d%ՆP.ؼZ;5(](EtOV(Ob|enA\dAI>L|TNkIM'HBn(p6/ MpDluiR}WO4 Who 75}a^ "Ur|2,UǒsmRMVR]_DJo@T@`#w#B[ֵpia1؋DBǪQ4N$ qذK,XX,foGeM2#FI:c6SB*!A3Y:* 1BN$*Q6y >ulWIt@GG+'`A#hq|䆖L-bȣx1k\-2^=Ŝuڤدf0_дۣr'ș^;WZ#EY,~ZK*KDLJPzzv@[ &LW_"vM?޸9{K_xch7J ˭ )N Q>j/MfqD=l-Kg1<\tjϗh`I.$u&v]ϹClǏQƴ;q F_ yUG/Y(JsQ_L@.}$Кi!&V}1 ?9p5:[I**fr?^Yo&];)&'YdL`3pϢULa +=é7 {a[ 2ʺ)%jKiUTE¢WjpޭYpU܌xˤ@5:徼w^"*q>OguOנmL_큯%ZwiЊV+2Fo4Ʈ{"`F`3']혧J]i*F!,7b- N`s;yoԔ!')I/_٢A{c++!^t9gYZ7zXZִF! I]ŗXiɟ1˦rnzx <@0+gM]qhA[QOb@Xi6iT&8x;" f!W\}F3z|f zF 3Ҏ-IxZXJUZ!' B4Ǘ]퀉(S~HyTIW Ð@uYv_\X8~[) o(s9{N]r"!Y^o5`:gYZ7zXZִF! v]ŗXi%L&Gk#65?I=ۈG6] ,J{˪pߕD6xu5SMv a"Oe0%G ӗy,Jă6<ރ RՐMV+(2H Jh, <+$˛>nj |Zqty' N~'j&/m_Ӑ du $ o5;nC(옿Q˿n؇yjkF̅%>PKs{@[(cC@P)]`/={dIBrN@DvvZSN>^9xbZ3h,ϝ֛a4>J jS~0 M+=C#󽕪QMK[_!ݘp)4aυ jf:H9$sJW4#VPRcF&J. ePJ7d5{D׃aa`5U3_R8iƴ+1;\nM>;o0,-+n+ QݲK>l]bK3Ѓ*g8{W]M~ױ U=G o᠏/!`i^"屜rJRt=w h(fE*~8\qN͍!R->x4w=_.cv< IGb˄:[pl7$,;eÞ㢨Ш̠|Y]U)[Op-A!"JUZG}T4bĸ3ʖ})iwfD%vE"L q0R2 jK3X=Ζ:0֩ \I Iw1yWM%mJ"ݺ*1?.gnJȎ$ ޏ6K_IZ9i5H Sxyl|&TIBj|*yw2N7F*{!~ot1ėQo`mޔzhՏCc꺲cf%O;<3ʇt5-ʭfyX*Á̯J{6P` զQQח(?)f Kzp'!/ O5 ˹̢}aN"/a#IK*nK%n4KґO>6{OeϫQ OlQ\UՄŒxSY_c~7ղgVEi"ߡ[pm%q9tiw*(z1*{nJ`4QӺ:<U<, ɷ2 ,UFOU$+|&W,   PQ9`iZ ǥT(ngmb#iCS7Թ{dDʄ% |gV~#}X0BR"{(델:ȢY,[⨙~2@ ʟx~I5mU( ?)&!.,6(^OVDSJCpd3[?62DhWo077N蕴:/zbY}*-pҼ^,qE lH`SB Dle_@G5C52vj-fƩC'#g\Av_~G1f*vzximoj+QO/&H/5K;w!.%O '_ܱΦ,@~8yT2߆H;쥻 tuqvCDН#D(徠|VE=8QK+Rk "[2r_`F=(?.Ҹ{j{u&>a42RA{3lWY5YeofQ;lz]~' 󹄂[3g&*a+Wh#"R2Ŀ1Xw9yWj&6mfkt.*&pw Z!0U⯛ANԅI` VqqD#P\Ϩp=6ᓇgϧuZ%5@e鮶%K 6߅iAm%4[q47dX۷;7Y r?.솘 uMZKl4,Rm+6DQKH v@"N D,v=6JbW;{! 05ɔ}:?b[=BT[-./ɷ}P#su5(g݇mt &UUf)swe`?sP8Kf&1h&^s$~S¼UyNUͺE _ w"Xw:q0o.b2PXr=*QyxYNA=>-I{};F!3,f10։JR*5י! ,7K|7|%2!M -O3֥ bx<+=\!|5sɭwZzoqbG<M(̍/4ѓMGr[,k_ [X|%JF? bmH/q2Xv_og8hZ0N!K\µҳ&deF.#A *b}, sܾ1>Mp]N)\$EP,ͨX\DV2|mJ2@ F;s躮v g ި1 *GӵF-< 8fAͻ eB:˳FDb%ʠ+ߍBOC 8r}Y#ڞ/] %X mplz'!8'Q]9na/R𩖺GT)u):'|ρ - E^esd ov6R$aZ's?F3ղ9ѵ=*Z{PF30m(-`y !BTR_Vde2*kvazzI+r'CU!ڥnKтzb.g`OW-y=x  _2v>>  r^<e)Ʋ.閆I<l?+sm.p].p }99IPȥHm < ZѺG2Ʈ/T (L)А3_ޠB՜.Q|cTL HGGT19j b&2v3֨h/"Ujp T ӥ,C^*("Curںir,2Be/w)2%UYeI~]Ӈb( Dy.=_]ȴռA%<78z^ȍUԶ &¬+X9۬u_%*1dqPUߴ2`.]FJUhNZbR&LaBgw~~WUǣ tm(N%Y4䙎. ')1sB8F߳a=g&r@Ȼ"LNV-s#/\gGlq}ÀI`5?R-)AH|WD@gErNUFa8)6-}w_Lߐٓ 3K i:W^+Rst>[@e79,*h8>[TQ/2zd4lhH`@3a%vx&-1(\5gYZc0c86583c7fc8c510e58a0bce0531dfda050c2889aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 8d72a20da3529ac1397d6baaa2e0de9cc0929a6d 8ca6450bc206ecfee216616d5aff3b0acc44f552