SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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# D ] Optimal_BST:threads=2elapsed=21.442cpu=37.496gc=0.944factor=1.757zXZִF! =]ŗXf1-/6vR[$G~࿚#J~)G3OG`@ĐAhfl3nwBfE+}# <^vf Vnҁ^Ph}h;UC ch,NbE;{nөˍfs1:DS斈$8|]'lR>P gwr/nC[K0hM&w}YRZbU.0 ?A6 F/'VNaL@0Pa_Ǔ&Q M12#$}h{Arc۪\2JQv N3̤tnfKԏAzxՈuF%8/:z|P\`Zb5`c3'7 ?F(FJ@Wl֕^Œ@VaJl}pDG&T 5id(9rofu^q޷WmwNԧxkkèri+ٞҕ#ODziWӠxTI@iYY #|5H֢mJ#7!ws#aquP|?8Qm)!9ƾ *͜:T[q5o5X+>I>R qVG9%s|ZFWcI rTlNPD1 )۱\1FPZcN\q:ttgYZ7zXZִF! =]ŗXiɟ.#Vv&FJr2[:;%_|Q P]UrA` tR4KD5e (΋N /8Oѭ*21'}@Ӳ,ccGŸBhqp_MU\ TO&%0jIcb.Ρ57(a=bE`p_gYZ7zXZִF! x]ŗXi%;՗ j8.?S Vc*-Ac89i'Pp 1ߖ "O}?d < ^JC|(NUD/UFc]69̜Mv3TqYbFN w~rD,DŽ>;E"yRB<6Pd[x%~B]WG&C `:q39ƙQ&R|C==%EѴkoq֛4$Dj3~^~0c /Z(CA,-`Eadw]_2&,siT.Hނ&yUSXB|`Ν+5)x?f/Yyd۲GP0 NN'okz!**6X=b;kɻ -gn^n5@̘tC#4h=4U|3> dG<ä}7alU5 r٭1X ޡ7R~T?GًO@=YxGgMu>DDeI} 7MM+ N_%}2HG~9<)I gyqKT.2(גTbuTzKnT=R@҃?AԨ:_ā"oD@/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]ˣV  dTd=#M%Optimal_BSTOptimal_BST.Weighted_Path_Lengthdocument.tex9#E%Optimal_BSTOptimal_BST.Optimal_BST_Codedocument.tex=#M%Optimal_BSTOptimal_BST.Optimal_BST_Examplesdocument.tex9#E%Optimal_BSTOptimal_BST.Optimal_BST_Memodocument.tex5#=%Optimal_BSTOptimal_BST.Optimal_BST2document.tex4#;%Optimal_BSTOptimal_BST.Optimal_BSTdocument.tex@#U% Optimal_BSTOptimal_BST.Quadrilateral_Inequalitydocument.tex&}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 ʔfgL U.噱|CIrɹߡ-,&|d-9Z7*X >mJI[:)F u~!$՞e^;M仗x̬At`C5MQDP<'icW0:kߠ5}Tͥg+D!t$D-gpsMNЖ3sV>lC OMj'.Cq6״¬_v&$:{ jB=18Nφg ~amGRwlS+ć gs3hyO.,._|e_ȱÙcRDV|ٖfA-:5C^^ Ljh9ld1 &F46TNW%!|MB'$Nk5k͵P=~܉t 9gEC: ~)n *ݢZe!2sMXh)װK 5~>Ҥ4 D١k]o~k)x5FK' ר1:ۃ`Kl3H)jdJ^$KB*CY˰VBq7LNF.,DTB9\]^ qJ,. t%YE{8f?_ԙȜ*7]H:ܼ JAйJjA+Yp V`EBZtќ&j>3ѷ|̤n#Q׼LQCeZl7hXojճ,hiE jkY;!ϣ6T'dvp0?n!S 3wܚ0KPkn 9/g 3g 6KYLU\Xn]NL2d68W / bXAؘr:a.2,'DR\K͛(lwp|hj,' Mz/>9ګ<`{:4Jm^oF"1Ivު7(lWp Ĕypo*? $,;dcYh?Ka/1OZfI +r< w O9U)9D 碶K*GYG58/rl1]r$'>ۏP$[wrt~c1K7̊%o(㞪mf樧9q=-Sl;îL͡$,3ؙɨQ@jIz4ɮ .~b$\/M"c |;C k##>\jWQHYI'Bg#jZjhjzIkWj9$s99B%0"9D~ǖ&72sVBNG46e~vLnh,Ӡ'BaXѣwHf  Ū ֛%z4{] &=c&1EIJ j%c"y9㤪gYZj2|2>֤߻9lD[oln;Evʹ( r˽[Z$@3!*%XW"]?Vcu@򖙔pP-_I^IQYMv-ͩ-RN xM:dP~wIzf (M4I4Y1g Hߒp!(Yu;|3vB}Dﷀ?JȿL4 ;si7Z1Xǽay\6m;3YQQb017a͛Ґ)*-ڀcʚ۬_XL{zar)h }V输z*K6?׋M~j8-%./Cz@#Os}` xXRMsjh|ɟÀR`kq=)Ȼ '2 0?͘vS 9ȢCl lOL,̏3@&ra|/ap5Z)7"&aQ' C&y79ywm *l3&S@)=%N2J!A"Mzg3 I on{nqrf~Eb,9;A6z,qDY_?qCD$Za^RUS߻x+hpʝ:ږצߐ#@;]GSOdSsV9 9T²ZTg@s9hgh]P3c`k1,^dШx~j  ;kx_uU(ow+Ysjb]n31x9bՅp0oBSu#/Ư;Z$@_. Ey1s~`ϗ\$4@( Jj Cs^kDA@d-BA|`FB wǧz0˦C>JĶ Ei>LLy3ai>&BUQm-;ć4@XssYSDä, PrE 4Wl2 Ae=1qT᥾|^n[%{gQr$tîhrGpKl\R}FJ;$Ujf90Kj9J{w*9ɠ$8(ݰ+: Qu.:v^I2ve?si$6:P?)T^|1[.C喼3p=_$.(aqcj~je֕)fh\fAgD -Z];9҈4|l[mVTsM0ʤ=g6i4>g α&bt+cwM$z']a2 D3w])O4 ˾ GI}Q٠x:*t4"hPpӓE8sM t{8(a4Y٥triK'78MfuR#c0вF>B=z_jUfگ /\_NVt)/ îm p w:G+^B֑Ѯ̜/n\]q}wGeV"E;yU%J ̣]Lo̅r5aR2N@ mv4R 2=1l| `e979H'ft&ŧTf3)3zi @)l5_6=5TޏvnEܦT(n2r[oj}GT s+:Lo9,ye:qԩ_u9rU:S l67RM R(-vgX Ȝ+K04X H"ٺ~,meȭ˵%ݘFp@k2poO\ Z6):%薩ŁH$ױ=]0/ڭ}9 KE-V_nNX#f9Σ DGNU\TmB2SZN7avբ-^'fe߬4%_4K{za\cfA@a<, w}]lA +¨] G:)ЀW^`#cҥOΏtU vYjNG0գu EB%ײ2߄\~7jg{DEI})ƕr8@j} C,'9‚Y +XE]l4XrgLA  e2) -m*LzS\"o+}W nKxsEhw&mo;}=vzSy3{ 9s)5ԭq$&02uHQ [/]I$"ܻTHY5~f4x%V)E }!waries)jrIQKQ!sfOR@9|%Dž3#(]>&+y@>E: g;MaEb[H _}IYʼnOOMKE*Nxɦǐ4~7=Jad͜4W8{YzmتLԨfAK͖F\,gކП*@T-BCO '/Y Ni,4h25MN"Ȩk $' Ķߛ z&hؠ{&@ݝ,̨|$ׇߦ=jjsQIjB^P[-b""2gd*"$tnxNfE/?q99͈a{`cLARofՓ^n y捈Xv]hFJCCu HJ5e,Tp!J^0 U.((U}Qrd)c>ԂV$=)Bdf.k0ӯ5jec_N *7V t3䈩 wP";?}miUx;@qa,sp—*E!Wc^t-;+zQ7{nagPw1(?3clބ=qуۋx 4 o Nq哜HFSkߕ7#B!cH .oF^7V/_(|\kbEneeOvw9:󨛁D!xt`ReU ĀXx#–@d1\Y  7Wg.%hMVY8@/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]ˣV>L  t bb#E% \Optimal_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˶." L}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&|YfI #;% $Optimal_BSTOptimal_BST.Optimal_BSTdocument.tex7zXZִF! P ]A-MՋhvG"uIBm5łSs^!h7#CRwK+QR[- g`װ:8fcjP(;)|N5(Ay[ɄDFdzW}!TwunĉS6@ʚ2ZPIUՇٍƀMBm`™ZP9 Dz!]$G$F:3Y3DUj}<*Mu9nS= 7ccPʪQlN|TӆđFQ,L1l=6 RJUCS}xn .U;St18}Q||[Vͅ%8 ķc[kn]#n}y:*yԐ-ٍz&5] ۔!i5T]kK ^`MՄ?vү \\ifw$ߕn&}Nk.%Cxmd(؋^}h9P>n yÀQq{"6 ފLY ̥pm{g0z ]z'M˚ "5KX:ӃJ *G6x.DmZNpxVl"' )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ٽAFqRmyܶߛk!*М蘭cE׻xMmmf$Af+;6w} T n]V'F,xLM < XAZ&w].k 4ԦK vJ:$,D;nNp~EIb/fPVҾu6vMDž3f"nB4ʨL&S wG5 aX-t4??0$Q`Pˣ@ҥ=wr¼`901 ty7#SXDo#riE5ٳ釈kԓҬcW¢-SgCV0Mm>-Wn[񳈛d>}Ea;RR _10 RE23F>*N$J!o(Cye)Wˌz- )^i{Y/lHׯmRVhw :kU,ƀΘ_L \zi'7eP:ë]SڋN:n-Xsv 6Ăd8|m!' cb4!u  !p.Ԇ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| b#E% \Optimal_BSTOptimal_BST.Optimal_BST_Codedocument.tex7zXZִF! %9h]A-MՋhvG"uIBm5łSs^!h7#CRwK+QRgp}GA&}ˇ)zbCFyp[35G(gh6*Bi=ڦXzΌz:vEqa0_vZ%gOAt b&2H@#Bkmh1<262d'(ge΢V^7`H{d;ՠ'7݈̔=D7~>@T.EEJ{cm }2R1ۉLTQ`>U]&z?;(ɿی|?c X8HEQ\:@APrg(طw v0uՋ ̬` 3 ~ԒMx,yܣtfr9jĀ]r* :/7lpRji>6nby|mO[T } IUlIB5qET,r𥏄WgcƵE+lXx.B;U]qL,7X Q:63$L#qHE#3 4˞Z5Zd/j9 QY-&庬z=ETOھmP ǃ~= H gAF?1O n?c+e'%IZϱ "c9 Jf>gYZN#M% ,Optimal_BSTOptimal_BST.Optimal_BST_Examplesdocument.tex7zXZִF! O]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\k*iPZ87rM_쀉V/j;Cj \uփDN'^!k%")WjJG~g6r:ܦu6Ր j_To_wnP.lpҭT 'WDA -mXT(B^V)6SgYZpw{ΊݠɅ̗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'$, lx^|i/CG_}GEAird LjI0h( GLkG綛p` #_Eweρ`8Qϣ(#<`@$ѲRKp fhɒ0"X@Lދ|?J! BdA ,\8fYwki;u BZ>GN{NJV_uѩi*nW&f6p0ݧ7f* l:[HLEMqZ3 *r{q[?G鱸bLq##*]'qaJ4P]YvR6=Ma-O.J oQk {mv,==}I0sPp7Џ-pd :=R6S>Ǫ4.lu @