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 93 ]S Closest_Pair_Points:threads=4elapsed=60.490cpu=210.940gc=3.564factor=3.497zXZִF! j]ŗXiɟH)0%o(%_QjPَddnEwv'RadFnn.\: ;jGբ፶^U/FgmkR甿ڿ$akAЧ)PѼ+xS,va9¯P0CP=uI-gZۛ> <'U:?Xrz#v@2LrqӮ**%ۥ:6ϟqѡC6~WZv`àr1©[0v7I#iVvR|KT"Ðhj7N  .]"R>xXPd-D#8)t4gjhMhBX㊔Ul׺f}ۤӤl[nk%1r*OG8E8g+Mv^ ǣ]PMVN,O'p37wnJ#da&{':̍Bn+䋐WuFGNNV׺oi5;`zYSL҈ MB',(qm7Jl5|`(!HոYHOF7si -6՚>y:o!9;Iz5RwIrnu? !DE81+:Z |7(\ IQ"b$pBO9lF ҳ|tqhؖZFLB75x(El -qV3# O|+&PiGdԀ3} t*&Vzqz[;\cկ8zQR ;MEiY5x`ds:R(.H;^o7RLq4O-2oA,;E6gfzz\Y [He`Ee]:=.ݿ]5p,_$n %9y e|J5։؜ O#BV3hu|%u=QA{(㐷CمZEB/Vvb,?x:gs m MV;VaȗINK\7PYyjhU\wn\|:W8!OoAzNCM = u&2U{Rly-t !hn_Rn ճZlȨdUB&^[)ؖߕ**!DAwU y.#qMrH ThV%Z0 For1ѽ &- +2璜)AyR3=3"BBЁįS/%\o v"?2I/#YUo1&JKFfH%_PGOts 3܅CS 7֢ :S9w)Tm#?%bՂ. AD/lz]-[rg C#g}e8XQBwg BmSZv0d.=L%T9%d$3{Rl+rݧ[pO$"W:/, 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/*) 0nALN T7߮dkr۝Ü䄞cܜ3P›{ =<90m]bi%FbҖ,L31ebv)6-HptV\"&FN%HzyOEkaal<* ̮ҟpqtj=e] CFZP5ngq[Pn,*$)OŔ➩h( 4?r ɱMb6yknV Y $BG*QϚy)7$mir?(] m'X&/H7OY,'\t&̣ӏroYw?r1r3J{>z6aMNM̝͆^a!䠀;#+%P9`*e˃ olε? 1ix7/r"OWAk7pmJo@jёÑX|MdQl6ޛ$- W(Ka |#[@Z,#yJ!7EӡӨ3ZӂxQwfKeiﰖ"w|(d&NW1^[h/65z4Pf nz .8@띰ͫ[`'apdZ0ӻ[cDm;#1j~:ebYK cVO @e-6:Yfj@g~I/cc+hiN4_17Lz^rlH9S5K%jZȀb˄xò@8bgg{ ~(jM~ /33uWuZvW8reQ~(O~Tz;ZX`J~8ԓ8~r7Fս i}< @RwHlϴVmmd눧\c T*#V5 /<8ᠭ箬IP~.~kG7`I=> ز}wӶN]۩k3j/"T ]%n eg&"u &;.Ccœ*2S;mpQ1@Fl]CY A4G%3M.E`waCf*{S-SbW#Ep.p5_>Xd3 8F8?W2(u0Ո{r^nNEPv(i.?WrOgC_" bЍ͑GLX ?i ,L pcm AP]n lU*Ns1ˈ;7*v(cΜ" Q]x_)BKy_N3ɺ~̽QЗ7͉pqsVuic"/ٶH1 8V ʶNP/%Q&*i[ 9:O]R=zrZ =}fOٿQXC2琗pjgo@CP%ERh|^CE\I0xo[oPW`@Xz[ hq=g#~Mf*^&ix%n??8ěgC:>wwNv>=6@{kw~޽FXzlF!A6z%${)?;Fg_EJ;eS?t"OY/9MpuUx[k8o V(pn|)Y}@ǔo="cv)v`>jDT<:ãܝaXѡHW-v "woK 5˒tcgJe_ #>~?Q-$f3Zĥps1?(>jOUM;2ڛL p&y ,6b +p5/ ^?TUGdKޛ&'dNJhIMɽ)t}4(e-5Q9q7o&? ;/`[yG5ԾE+ {i\~oq$ÝE@333@v/٦ފp#d~لS6i6mtUbמً峥`8.$߹qAnzP̘@P+Ij\͙͊ڎ򪒇B;FTUW`sF}N{2\ӊ,g2iL(pS3ߧbR9U棴h]4';-|ePWJ+=MuϪdu Rœ@O(@lX j/|D]]3jjټ'GV vuD*̃=9R6)\^&;fQɌMFWdbaqOr%ρQ#7vNpɇHqˆzE¿MM9_AAwwywkXYs+iE^ʨN,atT(d)l!-PMFN>ۖed2/<)Mj 7 Y24<>Bjy^trl0?wrw[ WRj@tU:%o$w4 շM` &hQg8 $+ћAAKNذre3cgT8 u j$h5q?;k UqiF:+ڰQ:æy3 BLsBhA&3lvYz#B^2_8ڽܙ% ~񊂾38ڴ3хE{-ΰ];%ˎ(4|D"m=9ȇv5`"ʠ(y{zRE AoU''&)&9{&9p&C5wݢ). %7CԫQk (5Út2Tbh]5z1x  $"W.I2“+RR DH2vDf@PW.1,R$g}|3䳒BR6^a"4|΀/"{0%G z_F O/6eZ^3z^}X3Gky4po?0U°@jfhhԧWrMTb߃)~ow+a 0{i[+ w4CA;+Z%O/O/=1[8ǿ42 kbd2z94,QQ ~4>z6yupI#;NfćW{i V;!\DF؈ݫAVkhIgnZy ٫1>JU={e~5@K=F9 ^`_Nx,x6ě{CW:ѯ::;5,EK{3ʡGb<1Eg9ؓ.8 ߤ*ef'3{EYu}T4*S"5-뽹N4zB t;1DB{C5^Rˋ|@`Ekx=Bu rp$3b+VzR/9Y@.1(qx # d RAHah pU!@!X((-U Ctg1 ;ުk@XY@Ob9*mf{@{VƂ5QJ l'VuN `?DTpNAE}'4? ?b P*L+*^|rUz .2$Dj֤ D?uα@-ySB(Sh6樰P)5>fGl 7KO @yZ^4rV, ʉfj!QB4` [⑋;ЅNCGJ?Z\5]/&xJ)QGf˻ i%'ᛁT,yǛgͳԙD  SC HMYz~4N/Ll" 1:SFy!an8a?d1y,,q_@fgW(K$ EcqfƝ E{^}Ҏd_^e$Zvׄa0}eVOL/hEtÞ2!\8ny׾+> t֙>ŧ (tP). L׾X˂ )ta!; @(mJ)xTa Ն^ħ Ǖ|L '0t ȲCTͶ$?LMkg&w5f[< : ƾvc¦$w Vîc>f$v\9Ys(M#9ֈ13hDp63##2k o霩ku3ug߯=l1N*;Sv,_r?wB 2[)W$_5AxR t EO= 8͚ȲΙPc/qKȴa)T>o]gIDtxTW^6Jm$0ǝsty@0fgˆ^‚p{9v& <؄mYkTHK<T׭T.h*d?m Aժs=IP@HC\"XvdPUK!^K$CkN:_|%L8NZYS}F80x$a-c 0gMM%Ft8,&9p16; ^4K'"y ?]`4C}˧2׻Ɔ\hwQ<mZA)W|h"D=iqx2ʼn]yHGO3b;5S y]|!Po4fgT7ywtQO5s/R, r&$zf_` \|iU= u^կlwL8^?b'^!]]Y)m"}HuP"w\{]%C1O "7H4HQH dk|԰[*c͔;@nK$)>IZ ^ OLHJ |Eag&Xk$#Dra(Ո]A,#~Cp @Q|<Ǎ#47"+ fgCL7*ziQ8 ߚ 3ֵǝnf߁gPayԦnP>+>Q(JmvyI3g6Q}X*ZŬ[2qe' 6tSҏӗ'8pUx ]ʞ0x4iv_@) n;ħ: x9.j onCR.>(;Q_"G 4mZ?qb[w(8 pʤc/6yyfm'AN7m+QH0^s1|h }Jn߼,2s!̀rAh-T#k?4# ~i~YZϞ)sF'I~b@D#7RRD |6oʚ9 #ZMߴgx3hLn/[$U3ISUs Jtt2iPbU:no)ux5sMHe}aeۮ/Qڇc6BicP0UIqh;9!i7j *-l1nd{c4ax玽܏ukP i3T֞YZ5O773p:"e^870g_\Y.mR1 ",5*1+:)oH8!eL:`e' b!g Πrz_v2WJp:Opγ,NXG7@/JQ8_E[$d]OTQ^Iuyc6qzYhH'"aPBabeU'x*um c&`|H=-wq̌yY3\9~<׳֌ Q7۶{'cY7alS_V= &8M( )RdA;=3x[ewlpSаq`i%0/y b g߫MA0QnRo?7, B`ד,2.9\Xɚ^)3-!Wk6}% m$a؏\tx4לLA3nԸcn92nN ozF~o40wjF|޵%kjbJ;z3iC~> h^JQu" G2*Hhs/s;hY 7,Nottlȑ<ȶ;0n&[>{ >*]^spγR:) wTݭNn>H#vy?k?(L1ֆ3z^O xOi n^&+Ó&B^.3?iYq z'W Vb 2}$j82,:ڿGm6ZYd::˰]|Vm݆'}nI}&\"h"b{W&Wem}!wFNQ dRRQ4N7ݫԶxOc~~@J_ȩ$o"d?}kxB+Wx`6˪6M>RRFA HmM?{'vlk52.87y JW7w`˒T=vB?+9pO(r\\ܳ6e6cVnӀWS댠mV;`5XwQ$QA822N=h+6RQw\CP %ANM&DU 8jhFCYe4_ IׁaQD.RxN$nd9')V>w=|X7#=w(Ȍ5B~GB/ՖA#nJzHLCp:̢?5\dv{R'?ۖe̅:f@ cn%'(=tᮇnmâ-CQ"*#(֩Vq)[%^ @^>EX-=ûnOl6TMZ M& nLUg\zW~+pgD"F0 1*9#xR@``.xF\*Xzy 6u\%1('V/˱4z !c²$e1vP c55xzY$ʟcmh=a0G#Hne]Ttmr(X8drIAoNIT&* G@NG 6[:*Pğl(UJ?(J6d7[зkx7,|/&{NK+!M7@K oy_~NX$U>jx)'R4rvo?:N[@oC`|{DИ.NDHb A|j='LS@<6Rc*us$Q 9-Lk}hCo$` ry|x*^F\pW3uN):0n$v^GP ʎ;"rxB|<mVIGO3|^@A֪<nP@Id[m#jcZFkA27sˆ)OxP,s7œɉ^\g3<>iQ׳_},H6G֊͂?ږ8x?;}(}F(>ifgU7jFn3h0ɿe/x3b&fPG!1Ɂ'\uc^OZ ZTRSh->NUdU>V/(yHs(= .7"!M86,&"u'aw}5/Wre^$w'Bgd*cm\Z\Q{] 822B- -+dwh~V!6ٔ ߟ PԻ,5+2uEU֛aj@*_ۉ4L™  %E"_+!Jm@U=b]E&H'oxsd `@M-(kr ̋r*H"=NRe6P։Ԍk2` 8{ĝ~. }a5 cO/"?@m"YZ5ǹN'UleYZNz)4#ؙ:dC{H`>AZy1kĥ՗{ BC |h2Ic!$PR*T"BpOŜa$ .j޺c^y#*Q9k0H jYLR_OywC K F Y3ߝ qaUpkB!ijt|98786bv["HB h\ a,_SSRX&+i+TU 3lQ%-F]\'>rI5NaZMŏiNd2}C&Za Iϧķ#Y> u fѶZよ5 _2.1ip` \>F'F0uj/Ƨ^x}M3 yE86xTd-/SЂI9N؍nXJH4c~&gsp=J1 P<835h,X4hReH)D4s ٯ )UU{nW>]&$c"~qVoyB/p8QLIz->4,DFR3aހҒ|Y0jB@oR~MTՄgeC1C S;lF~vWix2$ {B󢎎[9I"7 ?Wx5I?8A=_Y}s9QVs;}GQXk>s XW{S6r MnV:VB>v%k%<t%UjS9\ WaEAl5ڨ@y9.ᨋLݾV{AY&[bk^-#zHAJt ub#x%v'ռ2n, H/ -Yg6(UDŽKY-_ pܮ[/W Zz4*.\TIAK&4"M\>X IHφeFE )"&amE4vT1Fo6l%GyǍ&>޴[_Z,; r PT`xB΢+Vgd-'ι^3;s򜛨soh,Ę,4Ԓɖ\UQ:uͅ O]g5a'-u(T]5ݫcK/ۉ^:{2"Rv \1;*o7r)>٠'}ոt{ҹn;`Cx*^pީjSea6kB̐MV#kYhR>BQ3O;$:GN;L0,,Tl-6HPLCsLZ2h;q5%!q4n=]?l_{_m!H`$?s 8Q]  ιlY)-KIx=^ބ3lH^("i֝?_z:E:[KO6l~-ɽ]8:Њ-1M;rN\0^56-K=23o3V6TƊZrZbsWG5? ;!s.b-`>B8 mZ|=*Us6P?* e,HE^I"glCބ "sLt@n>wӜJLz t(#;J1Wos1{\3`]F1#$3YLfL* 0 N%ʇF3A%6d'α74/:c'!F-';4t?lubo&ub L#(]V^R;nIYĚ2FDN '_ {jPk SPtgWcl akx8f~І@oQ`v]]Cax]kg:l|(SNc^EP ]aŋ-FD8I6>KC !\&EF!Ŝg(RaKH21X":J4!k\XS.j"(׮O1kbzǐ~ $>1w+d@`_h\9N`(Onp4\< Hcf89`Wk@%m&ΡÈ?p5o\ϔ-h%Nx5Ÿ?[gC{" =>ҌrdIא)FU:v!"IA[]1"x}` 7^~Vj0&žj͠v&nW"'|[hEBe~&BU#-ˢ<85lR[(O3st)5mR+%dd w*~|A :W- +7ܺi Ġ{}u :GMVaS>N x -tT~iZVow|%⫓Hb  0`VwR1d 5uITe`S4djx|Z,UJޟ?E[5$@#5#?r hapu#(Kk6^K `A& #g(Bݵ iVffT&5" FUY Lfo xbeq/@`'pZ5~9gT?.R!/1:BDJ[Wa?ʻcX_P-wX(gau ;R26AEߊ .SfWB$2`qL4~њB:`SܒZ,a÷ @N9c=mM?s]RM7 N׹">f\RR!j4>nAFe&zT;'˔Ac gހPBoRg+pƪ;cEf~v;--~ t̎e?%l%ݧvaPq ITZSx!3R_'׶#^y-}ʋln|*)5&PO;H6 jI#5c6˓ @[ :DU )I*rA'Wl8UC'_r 2 $eEL)c@IتZ@hw'^.;NΆ-0u9`C,A5!H!7[N0;@:PݽhƮTG/*ɰ`xZ&_e6 ebIґ_u"ÎfQ7; r#@8%t)7>r#,9EGePHg" mhg46~(xprGD4'mC&$n7]N 4ՠ1@DtB]Dgj[Ǘ'f,(t(I;x{;mUɳï5ܯНظXmEPq% N=(x L2Sl-2*vH4$Gs@{y2N*<rAq`:#2Y<Ш7p={0E#,^m3yPdha %0EtG BRPeNiK@ (jphyTII?{BO225lk:+m x+L &l `f 4—1`xPUYYu!Vk>FX7$"IZ ͅ, 郛 2<:ɝKWw!{&&hO\lck8 猎'D7M~.o/ӟz^?"KMhVjI{D #秃4C_D1 )4#D\Gcx zk޹ϥ4v*Fn/WT`(s=>@:Ǜ2.4itƧu Us~4JQ*xS>N aN:)ȸ**熃8jk1/(_&50Ԝ7/ء$Af}UCK%xSC˔I*#7lf!OvĮRҢ5boRcl Gqnҹ R2l6enC˘4I<ٲUkѯEjߋv2.FVD $c,tO2Nخ,U?M=CAy"zFXhkdm9E$U1DDH':^?:\LMG}oy\dK壮Qu7&/n89ީdNa3 #Z]wZsj׉ P72>Jی#tI0f =!sZ;hł2@pG=6G|t [px{wnPbO+JA焑&UGds]A]os21> ԄXh;ϥiK$E_ӓ do)u9xG!#.xZ!H?F8;r՛,&kz k Åzt8=tm]o_?ʮ:mbϬDAI%H dv/=hBN:I65nbͽyMEW-K*Wj ]ɐ21fugAIKPByWn&A`Tf}(c|/4a^BgZRAR<37f6s¹pT&Y/ B*J0s7^!7Z-ә#pdR2e3܂$Lt\S .C[5vu~;%n)0!ou?$fC[ͩ?HANy."cFA2Z4iGnii4Bܓ(eY+މfyD@ituJx,!^ 6nf]aj*bS,K@ iydڞa*<]޻lk XR?].{8D{q8Rbjٙ7 0]dFoֺ2`VuWfp7W>y <*c#@ DI"AJ$mxNO⸀6 G<!E υX Cuc#`Ws ;,$@t;0$2ӁT($- } zn6__iTS $W >],T{Q|(/ǐёiܺBE?CSi ?z,DziRO92w_UHavmNϛ31 AqʞsfQ;e~PhKSkabO^e*~On"芬 e# z/g\;E`x}$m \Ӫކ{.:2$C5ԈMu>xNBv=!O[{AUGeDߔWPf3 R3ˇ,|ozCRTS${רM}nEMbi5u3"~6tȒ ~^*kF~؃H}K'AxBXlp<=HJ D4[t4IAd6,deK֬y<| ixep;JKoM鞋VJ:,'6eckORIKer6VyլUT";/_ ǁʡ%PJ%Te;Uǂ!~Rpn 6wcev%ImJ0W$/:?^%sXx>qm;j=!y8*6@8Gs >;;~0#ݫ"#odNr2Z\L)f?kŖBbrPS&X譳O6©ϻ3".-^!Zɲ ? }-Kii8hv0(6p˥ 0z~XyiDŽ8i$[+kpFJ9f2Q8ݦ K雫oSfЎxSS)ɸO{Ľ `?C=b_,۱9o@wmhCq8ZpS)7]c2ywh]2XqђIᙔ{4 Dc QfZF=n=bUO4g,qbtHG6StFlslpME4^'csK\"CD׋b OϏ@W끭y9lhs/0 (DuyWn4}Jm>[] ŵ|vQ\|0D[ N[D;QG;=HT9*Hiy׿+/vF˜x]dwvw+50gx8g"/\_ijz obw*))LЈWk]9&V͞_1 ] ):"`zH[L]|z/E+g Љ)+\H< PJIcyZQ1F ,}sOZ 0^7N@gyYwUj\Lͼ^P2%Pa"*A/zĐ$$ Sg-ߴug+SK]f`+[;°$W(?-Հ5)'9g9&GRȧ02Cq ' Xwj`5>Pkͽt4MiXyf(H}ǜsms['MLW,Ư'j2Qyt?{o|}\pF.oاߒ 0}iyӁsɪT\E5<+\QKp먦; &Y:;@;::k0F. ᅟ{œFx|O[Bycna$?x OD ~~j |6)$gQc);9rWmS,UhG1@#KE$;Ɉ n d12'T_ tW~r > J\_9YU'C2D#Go S"ZO/ 7ZlJzCH"Y?v=!&8~2ƚZYHDqu> =E '"kTfy.,fL, i7»ǘN߄`=n!_<Ӵ! !h1I=fs3Xױe z`+pjq Y+V^E~N}%X(X*IOpqvRYᏝjgGrӚ{Ẃ>Zf%U{aM.c<{C@}0ԫEnsܢ_XkSVlmHX?CG)q ˭bͦ$ZCNZqg5:%tTjDZ>D#>f`-m,$†(1n]{ō׷! onP꺀uu t7.#XmGdlθ op`T+dJOLX31|VnG֥EK̆ËȲy섩oKHR9Xŋ!ΠR_( ,:PũbBh8X {݌d,:ïuWjۖ ZKloS1Z߃55z`Mł,h;gGGoY,V'Z)ѻzg#ȕ&$>Xf]HK#"(\7&Y5*A*oHiIw}|-w*I$3xQ0(Ttzk|&0Fn'5"`Wn_Gh5G`=烡p:]X) *Y3 mRvCY}!g"^"5"aF’Ys(nDtcP! ;8ӎA5iX{୅Mŵh6yʬ憬T+Op0'UÂhؙlx[(Y[r r8X'C"PGϹVu4#(fѡFIZźj]̬3V/ VҞ!{n-ĩwkGeckȀ=c<ϒ#~%ުZ%DBHaZ K1M 4%.JZ )*cDuR*N.A qCk(` vdKc(W?/uAR,+z2â)e%}ݭ%xbXXt>&jG#U/UK;E@ >c.U"YIԈ6Ŗ+rbW:W3m"a 2IBMҢؑwj6-"$Y)TT2m 6g2x'jinҍAF":i[`k B҂)ecnzKA:{՗>fN4R?5nD | #x#WbTZX[32Ɍ}?щev/+AA;ng_p;:e1MZם?;?h.ցtYDZ4 z|T ofRG@4{]Iѳp> 2iAkdg }:Zla~ ?<;a$Yg w\F_}uiDμh=S;n?eM. K 9ݍ]sG͊xhKg\kO3ѕź"ٸD{xA}OI*,8LĖXw"|{U;f.&7{+(XG[F+Ǧ#zF#‡XcӋsh9Ɇ{_AI|~Ę#"g^9*Qȧo"wbHZvUfn-SYX`?jV X//\/_~WSW9`sAڙ"eWmcZӈ2Px,T1; % /*x.hy)k w_s )hWvZ:duձr{$GC}x劅\ a] oY "7=F,PwۃmuXm6qy,8%&;)snfrv!䧱Bx0۽EvL+^u/{"5}4{wYSq3Ï39VWjRZ!eتN$:˾sFYHzO ,J5Ra$# m,;VjBb''*!^}QÇ!1'F3叩>5&|M؛MOY.HGv~q'l3lleinSp_C ɲ:͈RKg#qRIx ;sOv 8/ʦ$R]z:!WߊU2iߓ-Sp(?ǧCa/ŃZo5s6sQwfG鍮Ok3En'1xia:7P2gY(-Ew0]i-,%!aށjV%8 i˺#Ѫ.T)ITx}H0~1`kqin'->WR/O}0*1!1|u!FУ!vw3S;p/tKtTLR&grfMnu/ R J27@ ƯmݮN!Rw'nc>b'{+(JP4bas,: C?ovR tҔ[ݡ(6J : +%h-ӄuyy$:8IH{j̺|K 5u)DϮ|L7mr&")K gN(_\CP&ib9 #]&[ngyq]u%B%>%@M[GԢ_gBY3Lqznzo(9E4 ۦu-zTm3Geܒj.%.SP6wf6| 0x$k8p*sr^: *@0V oԫuShZJ`cB;{$10F G.*,g!fgs@Ķ""\z=iy8$4m^$ͭɼևc@]gr ̤{ȔvZ.%DU0|̍ZeRC7 !3T4WҖOjwgԠo8G;ӺxÉ ̆J1i '_}iAP^X'=( B5X_ԶBÓ̀:pe#7EѢ)E7oc'-J9u5j5LiYW{v6Cx6d"3Ћ+ШDI[}tXlijQA&=uZ2dC/T?c1>%l5qˡ=)sι^(HQby-C[ywZ̡aNquin9ݪA<$ߎ#i<X5 7%鳿ҏh؝%@;D(S3έ6,gZ4TmMJiHej7m)a#;W=)eXt 4zFؕĥLa z/:h+/4e#=,νȰʔH79^7#"(7 X18+$W_6goQdgDgvh'UMդ H 3}C! 2lH\PB1V\ KA5j)ӽhI8,5#̗޻Jm,ŬYNM"# `oE?D_ءlAIPY9D۶CRЈhaY_jj^qC6p <xsg[~oh=P fD=E)Q| RSͩ;菸+'\T<ݏz 8$kؗ$@'~JjI(0X1B=7SC|P,U^z͍‚lZ׉yև*aQ9}}z/H`R+q ;{rER(kΝ*4‹rve_Bi9$MhәB, Z10.Cib_a^ u`?A)6OɼlLY2M.+ ͼnf} d@[7W?#R- 8MPǔ ss R=>,uޟX?P+;əRC46|\%Wz]Zzkg ( MY+[j ;2 $nN"=dLkg'uiq1XP]ƹM+6sdI ˜*e x8y 80)̭_e_9g{\}1a^/a<<^噯upe1l0 `N}n&aiOOTd9X¢KT@[9DIVX,@gݏ>Q#ZE_TIw?˿p>!Gg^vrvxj* vҐ銅( L3 <Ğ4y7uv uK͡ 'pkmIk`FN7{6^Iv[!~R KԟV85-V)1ZL"\o R|N' ɞr=td8 eȆEA8Dk,Z͍ p2k S)?254BSvfkҜng@CK'itJm_ Cx؈䓩?k>Q*Le]o`w5NuN ȕɳH0h0|IC=$Կ_Cbqq?:֫DV㎷jJiTK}.8' -~a΢SQ?4{o + j"+mҲ،W)8dg[aOl?a2qxe%Tdû2'O$AX]Srg˒5aԡLэ]"dgyw¹{yJ#!X'Y'Ar7@7PSyPDns~Cv[r D Djb?z4ɋA(/oܼphqgusG͙,WN<ww:䰘OWl 'yO 蹬_pl(lno9ܟTFun1 ,6.S.՞f,MRos_? +>{̙5̽z;3$*剥ChbS59e)oA=sG6$-$z6'&Rbwq1^сm^CP2s7O'__bnC[$Q(zHDf 풋k21NȆ=*GU.[nṮL+$wxՐ,ϝW&T+ H]N)!O4x͎ky,_F7&Py!%jC!2 "oܪnM 'eoJq]CTY ׁ@Ͼo?C%,s?6* f펂 9A'yRPNog}f_ c>t4%_-r}Hm uhC꟥ NId۟"thigaTViʾQZ=٬9Jó 2+q,peZ%R~^ v?AGڮ>,0Iy%&`v$" Vfkn7LoWr q'64uY6]$mN/QboS7i#sqE7P$5^c՜ڬ0HJcT{HNg4nī|8.9|.P, u;m}Pamexh@ [M|rCt{l z#z6\>Y!M|[*<0E: !ވ3?& 0 YM :hvXu}&^x(l>+ p%6eWC b)}jƉa<6<u MCaq66>PX!{3\-ELif倶NBi, ܪľE0)tv+xU5{Pubz8( "Ĉ'kgݿ]ւ!V{8xU Y8_4-F|9/.+|imUVp>&Lr&OB$IO ~6KppPHN5 kb!HSvwUG+P\1`M鄶キMzБ-*?W,%ʃkA揵q}oe n@&b3_~)!bryz9{ZEʬs7V[&*$ Pd6do_U!l2r:D ,:.8^ Tk`Uwm ¨Wa2 iE]*ވI7~G# $?^SwvA; t6QcF/P>"a}nczglg. UuP ]+Uc>{EӘeFՂfO; Ѩ8y-? .ԤpgxAD Gu(q$E k4&%E~2t&[g3t0 ik+0#YIjN^_tnL#ozw ֗eHUAXuh gL̵:R!#siMؚv3Gox|QI;(ijgYZe879d673e49971328d505048de9d5dc0c2df20b78215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 b863ecb450f7e2f4075efd6e1207bae8c6ac257b 6447d5d23b0c29717c0bc1425997880224db8ba6