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   ]#tt$d ] Optimal_BST:threads=4elapsed=13.018cpu=47.708gc=1.0087zXZִF! aq]ŗXiɟ  QGL,(.Z<YZ^9`0W+ͷL㩩uX49Ud$قrvU gļ<C{iҡvfHVMĉz"A3DPj^i`Ԙbzn\yfg9_(%I$u'w=u)=VeI>X410k_?þ"'qE%<Eo_QLWՔ*BRƾ*2LY@l`:Ѷ}]>|Ibb|fn0ĠRQ5/ 4tQ}>s(pC'%?f+>l[v|3&tU~T ؔĽLWA)I*R˃AO  S!rwu"EWk1pm)KV*&*Oi͂H@{ zD+V:; ܴ$L fAG`uhLDyg(" 7|.|UF(bu4k&h=ڠv˻ !zt*%iku-ʣ8?)Cϖ ݨ֊oїL,A%"l 2D~#xN؁gYZ7zXZִF! =]ŗXiɟ.#Vv&FJr2[:;%_|Q ^Gįg `n#hky.|zQ'0:b_#ؗ(MG[Ǖ,ɫEs2TH X/|K)]lCDF'x`\zyҁv45S Rbu~"GgYZ7zXZִF! b0]ŗXi%D4 /FZ۞"WK%!%iYsֻĿ+q+2 A8p 8?z2X,:@19h$E'aHe'%dDa}e : 1DjR` QMK-[ɘ +@%< _ ^ ҅YbEK6GFYYITt1JD<~r<˚I tM?XIRRk$ 2vjkEL!SR;b:S_V{;b:ti]Jȑͥ}_4=% { llv5V1ʌIaeX >O%pQ_AUM E-LS$9E6{71L/V;p7zkb%+L v`X_\| qwBcNفY]]Gӱi]x"5I'$Fi%n--4`C2,'W߀}0pLiGM7PR>|B3.Ye)1o`ʺtBpH*8ioVotxU?9I3fYuKCڄf%{orFP[TO`s< .O3K=-s{8 ?Q-#`.6‰BXkB&YJ_eq4dpzk<9-/V^VbAj!'DpBL0D~媛f&õ 2`aojjߍBS,h&FmCYhjʔ^G:5 HjKF$Xo/YXIFxT(p̷n_j=Ŗ^~;؇$ύcSe6t#ea>Av;/p& yaΤ5ު7``ܽ"b,luOֆ¼38b[^l*0$_1A5AOA4I-#0 PD; 狺iy`߫j>@> r xyuWt߆ĎuuKG&KN(~bB\2ZVoztt,pVؼH}HT+7q&y\3(xs85,lm=(8z>:ū]ӇTU53Jxh}:PA h'BZ g^n;߿w񫳒%Iz%%¬H,@^jeN"6ԱgYZ*#;% tOptimal_BSTOptimal_BST.Optimal_BSTdocument.tex7zXZִF! ৉1]A-MՋhvG"uIBm5łSs^!h7#CRwK+QR[- g`װ:8fcjP(;)|N5(Ay[ɄDFdzW}!TwunĉS6@ʚ2ZPIUՇٍƀMBm`™ZP9 Dz!]$G$F:3YZi~0B=[99jJрbܻ-?wA&hWb,s*z*XeI;f?E?s&>+yaܥ[dʰ[ju9m\,;shyF`YV~m`@ >_?r)*#\_#E% TOptimal_BSTOptimal_BST.Optimal_BST_Memodocument.tex7zXZִF! &]A-MՋhvG"uIBm5łSs^!h7#CRwK+QRgp,wDrr̿P_ΑL-f7uꀃ3TޞFEO %Ymsp.-vHCd`5-;:K7sR%)i+bv!\1\RjJfP0D`I]j&|രalT-w6 TO~o{tll2EC _IfYɞ|ۚ P~O=Zd_FD8Q;%ucSu,;#-;Fp`7LP2pHjo}6 1L5<[ gy-sDBďٛhRKи FeG|Y8Q$wNIV6'H{9u=3 g9dx[ a߮YmlMkԴ)Xj"J`Z)9-0'Smu LP-㤹΂F(ByɄMCpM^ ]b%TG@Zn{w0SN|t8 䶦X%+Z `Wqp77>z&M\K _ua# 0@АI+!N{`6=ucJʙ4|ffnU`PJFHO )T/ α @#MИ0wǧ{?·#8S$K?HJLMn _:y[pv0} Db2d ð1ZPm3f"^!;zKZۮ"*WBeSoL!H X[]94v+ҹC죾#h{P 6~!f6ߞ I_}I? 4 wl%8 $1781"ҷɇ2$xP?%uF{^Zb=rPrs6uYv F[fs*Kէ 9@BF;gs|B=[2tϟH-fpl}6W6iTH!虩RIR -%еh4~!iGf_Xޡ¢\_OHWFw vR!AU3b~3Sw YRuge#dMDu˶." Lp.Ԇoo۔#KVN:,"w^-/ihG t5^NY|S¨Fݸ2V"#o3eoyzWo ,b]ik/N-U >6Io+Ja". KHJ(yHXؔaCAj1v .>G2Q.'v8vѻV@ħ<7)$ѩY%v 9h-~A69nW`Tt%zOE)o!gs(Mm   dTd5#=%Optimal_BSTOptimal_BST.Optimal_BST2document.texA#U%Optimal_BSTOptimal_BST.Quadrilateral_Inequalitydocument.tex9#E%Optimal_BSTOptimal_BST.Optimal_BST_Codedocument.tex=#M%Optimal_BSTOptimal_BST.Optimal_BST_Examplesdocument.tex4#;%Optimal_BSTOptimal_BST.Optimal_BSTdocument.tex9#E%Optimal_BSTOptimal_BST.Optimal_BST_Memodocument.tex<#M% Optimal_BSTOptimal_BST.Weighted_Path_Lengthdocument.tex|pw{ΊݠɅ̗iW_KF}iع{!2Qf}eQ +,tx,%=3xྼOQ ρSS(yd^gZ+ur5#<`h]eBp`GHȑ8w)YdAsjywGw܇n09։;/GLK Fn0#dg2a,.)`Y8/_Ly"꧹Hq:(UOV\٫ }ROj+\|iD1c:/.D>_ߐkD:]1)5?^*Fն{ځ)֞^ ٸaTкl'RDCu3v-{C4+³%9Q] =Ъ4 F „]AQk^":F E*%oha؈X>OWXLw;2Hy(a!ձ0'BJ ̭WDR̷w-:b (=57u8SV색zRւE0%8Iaԭi@;xw vx3NInV^I#QIxWfΘ?lWf'A5{y :+\V,I-eZ1Bi)2ve V%hpKY׮oç2ĻzԵ鹨0_=MkdDۙB5;Uq/oY֘ CzI@z\ɟLjXZpExf$X)' &4?QlwH]=PC@VLT#IPX"vue.rN(ތ1e'rxQ ѵĥHB/! Y;R5XAzn77K1+M7kp颢;^UQFq x]b Zqt9Ak͸p= dY#y;f,To nWe%aAhP߃!Pk+s}~u,Ysan2O@~[0u6:7H[HC8G7|n3ײGd9z5;qlwc,k@ e.pΈ(bubZt6-ip<^0t7 [ml F'T2Zp~iT?/Oߑn!5?i4Yu󘋍d;l @ȈSE\:T?)B~v)qARmKU˜`{@XvK\^ =z8*[}*S`;%~̄tP 9`81l3M Fs KljղhE5@NMH2LrM9\YГPywW$q*a..KFݼ;Sť,ayw/u )!;&6 acRۈ~yl~g;Qa@bk^q ǝSNvEdlf5Ӽ<^\Nvvqocb"EwHKoڎQ# , qG7޹sy0}{Shs(yH8(TNe\~ TH 7@hKi:s:D,$-ݙI[fb.dTUzdc  =\ B V*IZ|2ԧT;Q XžL7`mnj sw%k 3<'r-t zYD8)$)R^ pwʎvLWR?#aIҭe! l*,d.mpvZۯ#@} Og^k3v9=LiB S(]3 '.Cط4G.|W1U(b(c4,7w^!vy'_60Q_ѽ$Au-} pD}ceIў']s$463߭U&$rwYexojL b*G)XhY`sTU"qC猅YI(vUBz`]:J 7Ƨ<2C*O:~-g'7^B踶*E~q(KɑNUB}J]=JCwfOkrW9EOœYCsH-Ǘ3[ Y| % N |9 /hyOTV=v2\EN:v1cW몃U稥h(BDŽ#^Z[IQ}pK!f}TGze(B ]'׉ɢ ZmYg3Jx%<v_t}ԗh :!pxW`yz4~G-TE"f9w^&JЬ!, yѤ?)]vþK ōOoJyHE 18|Q?%-FZ)]Fm^뤆婃2YڦU29^у"Jg~+ewFymnJ˳f8,-@ZC4Iϝ@gpO1 [(XfN'-d.nbӬh=E5]oݭΖy Oԝe_d5x +01IYP0 >]ثJe[o&~,>}>9 0e?YPC}! [ Em۩Y54CȚ[MˑD=΁Z%ԔaZqBIbcHݱ:l؜VVrl؊09ci}u82WWR}OVuNK]z`㺔rf) ׁW9$^JtY)Kktr,a٫>L}cOx<}s+C¦\fQ xBiyj]ȃ bbbmd,g 1JLTY"2I?hKb?r`@ަJZ4>;$a 7eX\k,4 _{Nq2mk"tLzPwV@ ,fhkM_LԦTPù޳eY\T>fevl`t籇0(y***並Kқ?E4I6uhST{m|lt3ϟb} + >?RX ZbƝh:'O~q6Ì޶i9"Z3)vih]˻|H$!$E\4ĠP t-3?$2 Hi^{.dP7=260@ Mk3+DblWInORq>hLF ѩ_ $FfxbzmҰ|, &Wy9GvhGJk›[J,q\BOXrgx7qXIb>#e ӝfnWFfjޞkVHyn6$rth .M/PhB EVWL`蓜cS>4BRp"˔-7 ZLg.b¾,UL)K/]IDnEi{lƫ ƎTl,\{U/jO8*8)?X'%SKJfVTAT/7P_j,k +f u$?)SdLO!0kW{t:oJl•d‰Z%w͏޵:>tZXqP 46@ ^*`,d;ᙍJc.J(p|V3yűϊ6?GR?3£ ]Ҕbvŏ4[y~e$^E=OKߨQEߣA5͡dԵƑn 7?',TRD|Y-xH̴>.!k[?TC&3'3b ${:uSy+:Ԯ # GKD4Ql!i5=v¦ jiO.8x4Ɇ jWI,(8LA\ӡ:.xg o`a9Sنp%07*[ЯZ?t5w%`(G™+d^)^bI+R(lK N9u2'.Gg[L?4 NzX'2+P" W_XMiܪ4$LHCLuې`<(P~)~M{+tf[?zbl"H\n' ;BhSՐ-Le%A#O$@M:$VzPpkHo$%r&%hdjjwCCϮUI͍(hr&GwvM@%i vUko|*.|)FF뚢ϯAYwo*AEΒ0nԪ(t*bEױ&rD ]<Ӗ D͒h"j .NpO|%?#EQ|Q7ۏ,< uKr&\#iM_엠ܙDS0Ke{4ñI>M ^O$t?1ٵ=Ri ҥK|)J 5Hp}$n^:j.y.Ʋh yCW~Iw24Ozar6ZhW6n_ׂq[ׅhSDaN"%|rY3cؑzX8^ %8}%i R\̧c6(״pa(|:J5k2-fTPzW}a]xyf 1Ul<7w"p=LЊ0No|Э0%7IHxo^jE_9Bg(`FmK47Gn.zw-{g >|mC[@1(mEYUsohI$In~谼M5Y8e-0y뛠\Gd{uȟ.l#ɜ=>2.~?Bxo`HE\f  X@lS*jݩP8AA{MmKͶ>ɑ'I\g@;>,r4ESv3enPP;nNX*Yn] 6μD %AؗO9EekO6IΣMUgkyۣ+^Ɵҡgm 0KlC;s FRҽv!ļ # ٬ڰ-+:43٭gwԀ-O Oe i䫚]p?O=] zӽtQH~|j[C|hM?-LX ;jlʧ;M 7#m(Td;]2w.}/ī_3oҽp)6n}?!Bǟ?`k=Og{VL3.L"|AB$@{#'57jBJ|JA"Ġ>1!;DkPQX١dݦ֯1),S&bbbY5}a̝/suv{Ȧs kEk8':WP|!!4w5͙} 괽53ϔ- BOh]&'oٕk"l-cA}6bCl4X*j s$ӵCpgYZ ++K#M% $Optimal_BSTOptimal_BST.Optimal_BST_Examplesdocument.tex7zXZִF! J]A-MՋhvG"uIBm5łSs^!h7#CRwK+QRgpI"Ղ+Qϫ Uօ$ lݘ4zmL6wf3O\#wBm~;'Ee`AW~ј1n.8™mG@>%{orFP[TO`s< .O3K=-s{8 ?Q-#`.6‰BXkB&YJ_eq4dpzk<9-/V^VbAj!'DpBL0D~媛f&õ 2`aojjߍBS,h&FmCYhjʔ^G:5 HjKF$Xo/YXIFxT(p̷n_j=Ŗ^~;؇$ύcSe6t#ea>Av;/p& yaΤ5ު7``ܽ"b,luOֆ¼38b[^l*0$_1A5AOA4I-#0 PD; 狺iy`߫j>@> r xyuWt߆ĎuuKG&KN(~bB\2ZVoztt,pVؼH}HT+7q&y\3(xs85,lm=(8z>:ū]ӇTU53Jxh}:PA h'BZ g^n;߿w񫳒%Iz%%¬H,@^jeN"6ԱgYZ*#;% tOptimal_BSTOptimal_BST.Optimal_BSTdocument.tex7zXZִF! ৉1]A-MՋhvG"uIBm5łSs^!h7#CRwK+QR[- g`װ:8fcjP(;)|N5(Ay[ɄDFdzW}!TwunĉS6@ʚ2ZPIUՇٍƀMBm`™ZP9 Dz!]$G$F:3YZi~0B=[99jJрbܻ-?wA&hWb,s*z*XeI;f?E?s&>+yaܥ[dʰ[ju9m\,;shyF`YV~m`@ >_?r)*#\_#E% TOptimal_BSTOptimal_BST.Optimal_BST_Memodocument.tex7zXZִF! &]A-MՋhvG"uIBm5łSs^!h7#CRwK+QRgp,wDrr̿P_ΑL-f7uꀃ3TޞFEO %Ymsp.-vHCd`5-;:K7sR%)i+bv!\1\RjJfP0D`I]j&|രalT-w6 TO~o{tll2EC _IfYɞ|ۚ P~O=Zd_FD8Q;%ucSu,;#-;Fp`7LP2pHjo}6 1L5<[ gy-sDBďٛhRKи FeG|Y8Q$wNIV6'H{9u=3 g9dx[ a߮YmlMkԴ)Xj"J`Z)9-0'Smu LP-㤹΂F(ByɄMCpM^ ]b%TG@Zn{w0SN|t8 䶦X%+Z `Wqp77>z&M\K _ua# 0@АI+!N{`6=ucJʙ4|ffnU`PJFHO )T/ α @#MИ0wǧ{?·#8S$K?HJLMn _:y[pv0} Db2d ð1ZPm3f"^!;zKZۮ"*WBeSoL!H X[]94v+ҹC죾#h{P 6~!f6ߞ I_}I? 4 wl%8 $1781"ҷɇ2$xP?%uF{^Zb=rPrs6uYv F[fs*Kէ 9@BF;gs|B=[2tϟH-fpl}6W6iTH!虩RIR -%еh4~!iGf_Xޡ¢\_OHWFw vR!AU3b~3Sw YRuge#dMDu˶." Lp.Ԇoo۔#KVN:,"w^-/ihG t5^NY|S¨Fݸ2V"#o3eoyzWo ,b]ik/N-U >6Io+Ja". KHJ(yHXؔaCAj1v .>G2Q.'v8vѻV@ħ<7)$ѩY%v 9h-~A69nW`Tt%zOE)o!gs(Mm\|Ek  c#E% \Optimal_BSTOptimal_BST.Optimal_BST_Codedocument.tex7zXZִF! ]A-MՋhvG"uIBm5łSs^!h7#CRwK+QRgp}GA&}ˇ)zbCFyp[35G(gh6*Bi=ڦXzΌz:vEqa0_vZ%gOAt b&2H@#BkK/PZK #/)WM,*j*fj{Z҇\REkύYf>Mvhz6~ Zs K.d‡;dE3G"l7q-\  q,`A-Rb8 zhHi@K%J\$i1%^UuJNk']昱IqgGH!?sfnILNJ u ~2aN/[Y ]ck%5&2iHk ٤u]ӯ0õȁF^⤊#iz)|mEr'3 vKm".F׎+>E.j2 oqĖWaZSmComMe_Lbrl16mH lթ37$C]{XI1ww+}E+,~%z˥((F+i8X%|ʧєxALu?-I'ÐyLJThⴃ avH` s zDI}ɍۖ]z\ҏ!ރ e5?~^x_aJucj5cW̶Ek}x5i4x -J=b1RO5oTB7_6LW4]M_L^n 9Ϣ% Cj֜KW͠ %R~3{U1";TK'])vJ'} ,cZ5/U @id>]陆6Kl6GG~9%+L&}W0Hb%(2J7@;A*@4PcQ8Hl,o# Mx݊DV<2pb퉰:a z܅ē(Q>ϖ&s=$B 7jl2~pvVZ+e2:/K~I5 Ǐ 1#z|}w;'X﹥׍RiqD!P@{ 4 M2Z(C {D5Y%6Zk7{&k?46|ήk|pHƯI zӡ0kG%A/InӀba/)buX)_3VNNlB)P Qe0Ԏ6_}W ŵ͉o^8+%C%2#3ι>7PHTH.,o1My*\JfIBfCa)9-S+'&=ǀ[ ?:$XW1M[%Pi^8W|/Xm 2Rcsac31Ʈ%)N b@fO50!žv/xtvlOkEFi?Nj*-$8h]o:;&\ά~ԺW±1d7ٙH߅~͠1<&ML91RmbϞS{4u I9-*E^:%ރ-6 d֥KKk6"!k9q6U4aoYz;!+Frg`ROʾR-/[Avf o /Tn "RraJ.y~#cbWb[ ^BF}\'4nEH*!F sq~+M@g>^IA-n Z7R~Ev-@m+#h;j&xMQ&J5\M|6R E۞0(2ŬRu08 3w!af[GYZA1*8H;e75EJ`!uA#SUX (_mWgM3|b/췵"\7u&]ف޺/D#eRv|%:GȯFMgXGkmGa0-=J5yjg딊?{DS|d/>c-%߼Ob >6P@|wLLXinBִ{.8A jⅳ-/j Xsu%tb$OzS7iіn_42-WMٵwO5~(q^hoȸhZ1TWRpiQa:4E%pR92pC [Fܪ7#١̃mÂ*J`>ߺ}9B2Vg˝f=uj5a0g#efZVB\hFLx\MlO FPW3kx]A3m'SFu8µeTJc5Ï0HSw]kgƽI>&_2t9IiELsPx xH!7 D c4lI<}.[tKhF/* ."%"%iϞ>"]Kk1l'PIz^pYݔoZF T O N}x94u ^1 ڤB3. >f?'>t'{wmG {n-IQd`3:o/`"5N)tX=mi-kaAR ʽ$=R3N|8ζ/[>;w:he(OehO݃Bl X"ZOH  x4nq?)vPk ʔf X007 C2Kɒ <zƝ!Y{qI U$._t~lD8{xEffM(>)TlF:rmWfHw=bci쓘(>ѝ1TeiO's>MFT PHt\X0KN_CuAE *YS6;k/|ԝJ JFpTŮR"Oy{$crE)VE;-k١@9.+."՝gw7,@6y۠ V oF]'3\⇖9.C>1(g}+;A,p >G@w- DE Cսr֛ll fQ30R<;4+)mͿDJ`IG09Nq%RZ;[sWĽ DF_IG7LЂh}vkpǪ 5lVuִ$8{{i<[WȬҫfh.3^%R9Vőas־aVM}-@l~Z8 ] LosVB8K++-U|avWT;Y^.'CA >c5 ;AYQN?ouhxT &Ȕf 'TWQ#/?bid ס]0+3#*K0\kaM1s7P?=Ua)Tj ;C\f1`H,څeEv(]UFR=Zb{8'hp*Vنmج>;g+&FqD \MԷJ/D_H"}O^A0KX67ͳ1I$]=E+6,/fJD7_.v OR:m”j̅桎ūSz?*kJ|tqr8O+gYZ g#U% TOptimal_BSTOptimal_BST.Quadrilateral_Inequalitydocument.tex7zXZִF! c]A-MՋhvG"uIBm5iEVF O-WP[;(бK@/gr[ׯb|wމNWY6ŋ,5lCRm#2} Gf鐶>Qa]Za ts w_,' HE.b<̒Ȼz/4Us-x WZnh2=]$9}v1뵉텲@ Atf„=,E㽸9HWSl.cw˺#ؗ)ɹHX'l#vQ%8ގ.C D""t xAJ ͪRZ` #Is`# ox2??B⮢0vN$ Q?Mg4Uk~n_kח1- J.g/C}~—)eo]Ww Wf/&#DJ{C2W5\9}(|7+/ v2)uכiD/x[mGAAT5*9S8"O! fȥzY6ԯY zxe n M4iṇ&2͛I滅W5UF5b4%.dB9h`zjq@.d H* .}Yu$qAF˜v纞/Ody=g]m8Kس\kB-1IsD#82BZq3bxEa[gf8;a,@wT0j܇s{(\b2<ì4be5_#6|Z! .*jXxU z):455("&A0|Ge-lOp~5z!Z+-1 +<y?^SA36Bj,{ hYKُJ!xN {k&B^/sV:ɖD}|_ÎSK-"xٶjqח"T܁r`0N+STF~ڵ{d:Gj=̡jCO#Y6GtXz&w{Q!hw;@5*y=In-B@`Iͪ1ɉ >b>r{5iHZ=6nk;J)"ߧ+(f'jȅ&A(VLM|0m.JVbGX:L5 ׿n` 2+p/+5f/ :AF֋KU4 t3VmN :S&lcXPD Ze LU^RaHE=++*vϘs=f䢍sy>4ՅZ < }$$4/Š)M.:)7 n\E(CHś(MHIm6˲ԣwK_zEZk@{GZbc^iwP$h00HU6|F"?!.;cAcӁ F,Xi-GfЪ,#d$nF5,9*>GGP*YHmF!D˵>Cs4S^ʽ/~#-_fY45JxJPc񊊅7r>xsBa{دwHRt}VECml܃yG]29W-#S`d#pQ uٱaMPAF0jN]]91ם+~>i٫kL&Mj 93p'A:EU"G?>'.K_j0HS~Y91T=+' l:2Yi܉]!S> z4$Wue]Xo1ce#.?"V]$jFt5$?įDv]f6V ij+DT/B*FU{ya.LQ]N' qȵ eXE}rHW"VH#_c"G'Y|D_!Ο& { 2u?Ե`=;hčr_h0oEşθǻTQ̞.N8}z0`(dcJYMT] I)t0R10e?-:b7y6^}&@͒56*τĦL w;KEU!>sYto vY,a]A؃sDgK*hFN8 rTʌK)D`mٔ$$I]c6rk-\6^1ā̾ >(ԜCĺT/rZ(K }Teߎ1{ɜXǽffʾzrsjwJ:fh(C](zBUh4_icgbu$dGղf#HTǴm-81VX$rr T3Vك3^zvWeim}7bNU&hiE hF+ӭ:j>YhteOt+GX)ȑTK7&R >Jq}) ZraъJB{&~BEa[iV(8)"dEaz|}cmV155K S/hay *˫3X3#2p]\U=2Q^grΗQt7bp{2j&u!h2"`Q)o?\9ӡH%q,VՀ qvȐvi:3S.ƌnZlpL1MDxj\|A>j~%f Ib:E3KӔ%w(?> !)9!$;Ml a"p}PSp} m4ӯG ]Sw:&ڢt |&)c9ʓ*ؼd<.m$%ok#wVݬ 7QepUG'd\'XuuXqƛYGWE7 ]af궏Q:`$O)RĞ=}?9<4Ot|< j" 'BG'f=L;T|"=m4yjS@Il࿃Яp h^GHX?æ^*;y(/˜qJ5 _M}]sN]~cbɂPBJ.h:ɜsqHmٲ4uyX= 42[VZŭr7sXN;u]3jP,Nj}\GtDƳna'v*B`oK.kK?K33z; Nn%C-^lH9lh\ZHDp5 O@1٭QP>LkQi0RR1_6 \a8@;~NQPjteIv™DV$Π dhUB'ǨP`b+$χs ǞMECś|Q wź|&[EB  )8l9 ta  ms>־&gI± p07I&Ef/4w tSX57MP,]pZ%XMDƨ2cEφJ;Qԁe#!3#q7}_g~9c'Wpje\@ό,dX8M7/E"Dc!~e% {Q Bf?gSo9m:b8o AK[P$l[aG݅J'RUGF=@vNiɀzqs]ITfjK0(97c Mg^lqkS*]mDEqZQ`|l5]g_5 P|SIRxs'7[j*FP2ţTD.B*MЌJPf 4]* fiOD BL.7no,w!o:{,秪fʬltdw-&_12U6| ':b"U'v N`N0(Z>t"Sf<~h1m٪d:g2g3p]4=ڋϯ8GOVζ 9r..UYD_dDދ=^@zDmW,~l%%1'}QR]QOsSj.Ot*igŲݼ$+i4XK32+y%zs7RQ 9Nf1l׆1!u\\+7CO%:xW~DF&~F>^@̎& ܬh43\HBFn7 cOkftFԵ>N){j;/a^ P[k7&Iz+{8Ƽ;lj_e[m2/ԙ'ku|PY=j\ ׍} 2)fy]YVAYf pTg/o'0#7G鄿uߟ._@ mh\>ס6Be)YsR&~4$:?% ]8g-~֥Aj*8K:s@T)!LMuQBze= $Y5[p ݑ3 qaae0K*2ÁϮVE}/}}ƕ $9G%qj #<\tM%>G'Vj-IyDRN[#T_#GHXcTw@T080b S3띠0},|vUj;_?'`SiywkM-|sKɨ|`X .u ;Q%dP9,\'ڀo}; Ӡg(:;Wzodžv{ ?hRW@@뺭ISVTZ 2Ŀ>5 M].g|w C xtXp'AV<4I<޴x7/py?,!Rb8Hū;xvENWejq=aRx H1텎;yt) SeK\fY[~.7?Ȕ{*v*=r*k]Yl#xhXeCJ[5RBQmy ޸<?,9#9ѰTEk3 D?KE~D=DegP/C56OL0wbx~E['da/ D=S) w2@5A:r@W'ղ.I-JYU,O\9r? p3{l͵sw{@\tAAp#10p]"|?-ֿ˝Y25GOP|^|潾a)iJqt L<7ZP rd2 L`>(B/n2ϰP 5Rݻ۹GӉ$ 3/l5{ױ M?rQjd9JyGUbDOހ?y Bufyg(LS-,X[:;cg%lx4SnFZ[1rՙko}zXvB -^m,U M5M_%7\m )kֳv%nC88 GKuԏanM(6#@F\nv~5L6MxGJ:1"ѦT\QیanފЛ19# "spwHIPJIԘ M'2¡-"t?V_)Q䲀WşNէU0oCk&EE҃^"081.}JqCXr7P$V+I ~,]s'GCB򊍒 CcBqV{A}! C3}/@V_2"!QEͩŵ;dm'Zzw*"UL]noѺ* S tϙ4\ ɝl|В2N7} |@죾uH;iZ:أU֒VEj ^ 5IDٵ}Ay57 I&P0ǸSD< l7E,9nX`G'O m} p @tEi2z8"bȱ_UQ_B~Ig*Ft a4` T9Ƒ7HK5j7:5)s/?D~*w >!d YsKe=Yp%ZɏT4dH0Gdpdv90-c1ߌ8*z*;ۊ$OL_Mܾbx` _w9XlToɕQB%= 8]hwvPKTUa1㇤R>!$" AU&TXZS@ )P.l_H#2d߇Ӳ~ 45ҼD_+#wq׭fp4!2~j,T:Lc` z^ȯ`yh@񨋤=k5Y:܅gNPV?}~MAmQ^#ROtA[ 5ƳkjanWcRȈ?83]'"w鹘VRO"%mrThk$CBݺ[*uIR9<ͪjEk}b[<@I5u fɼIԏǁH v vW<bWY/#M me23[CVݸ +$?Md }fd6:=GJwE\dgA@.af ӆK Vh)j~[|ȌdְCW=?C2 E(*AY,!5f'GPݯGضVf 56/LTYVVZVB<[PEA*<-SnA&Q&$Z_ZE9K2Rx;Pʉfۮ~ K7%!"iXER&G<Ow.S ȴ>"$e3?M/Vo(U8Fm X z;p{A8 2]q."o%T<ʼP/K.@kqV\a:Z7hYhyU׌; ( -YxSoR^znz4 _G}qepV[vi>&Gdp5w@mۈ"mxGfR^ bEN>qy!1՚@Smі~iI}XML3mZ&a{8_jXER{-v%+nx_Nr(b`pJn9]hHoɜkgK?pqY (|Hk-HPVIʚX“mԪ&m9&喰iԺ{6F1iۚ ~7;^Ŷl c*5B9pr%=:)m,fgVn]eE;f_s՘m bPd3£UҕԺE->8}u.[*74$tvkK2v>Iܹ}wT_hC&ܑ֡w(G8 6u*L8.ɕ)Q$mU"T'& hϳXh鿥NqL南݅ʅ[~"|2:4 i)mžڔd"fڵ[_v_x'oGu(zzŲ C&p펔o2 -.v6J^U|DN mGp FfDx{,duN]f$7ٽШ=933}-Z_rB~=*c*t4u#;󽏐W+'HF Vy2|̣2d]ÀB)dJ|6˂ɌN">ھ:od[s/=2CPF'C;85Pk*K]~0WT|௘k&|Yf