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 ??># L< ] Optimal_BST:threads=2elapsed=19.426cpu=34.464gc=0.852factor=1.777zXZִF! ]ŗXf1-/6vR[$G~࿚#J~)G3OG`@ĐAhfl3nwBfE+$^.Gv؛iᙠ.Yh S 0(;$(=]C{=C bpU]\({; m"4=_W, i+RW=!N [~Y[K}_qJajF[^'GuDM)\7!E65%4UT"ZL_:D5Sѫ H>FKC\ 'f"R}R InQn[rqN¼RfmK|GdK_K&rttj yW9So&q5c އ.pp`It{hJiAB_ϠGHc'v3$D hŒ$8Lr(mWRS79O@#r!o} ?6J1)u ^Fֲ\<3RV2R?/(!`E: 6 Eڣ?qsۺF DjZiL?ٱgYZ7zXZִF! o]ŗXi%; s`oL7wEc+ tF>a`zQue3B( "UƣbZrszsۍf/wX妙'-P꠽?."QW#zACTj:@JZ f9u.GSX}=.QicZeF"{$C%=Ȅ؝i~6|!PY %gا={=S"KNO~T8Џ/;bUثy9{~ 4M%. J53IB%$5!9U'AHy6;ߎ;K0IH%0aNcA'6OO 8GE0Bu7vy+Eǩ/NW{ b5ܿ-J9όO$J!eF|*|jfJ^-> a*~\y2ON$WWh/p6^bo\$7P"Tt (o?=IٰZe!i}A%T&O1.xtUXI:ܢ&#/UeX$b]IdJiX/d:zg2~3;A,Ŭ2;cT 1.=.5`иlB'Āt(5&.yAI02-KQڌU'y1be<-ٝ\#e}!CQ<&RĕFocsRG{[dUГ 뚹Z=,41upYQsH6X<2{7}D uѶ%MS#y:'\%P`=s'>Bpk+[dH&Z]0}=XHߴ Ehc̞dOoFD Q}{ +#2W1d!X<7:^$՚JS|\)I&ۗxݍ{|D| U8Xy<\=k:K1A=poRil!mHOOd̯o8 q[KOz""M# =/@LM`']&[zKR߃vcE~>uPlFvo U(a6|ۣp %i*囥 73b~63K1c gY5 (zea1vjHThM>|vp@J-CԌ;܇%jӣ @n-ȆnrL#|mF)EMPإ]ЭP'ޜ>Ht5.ǹ0 ʝIt To!J^$puO8xPeqCNjDB]!&|ng+9]_goE @Ԣl]`>0 3,@mJ<ʫwscEuY&,REr\Z$Vv-[L푪 9$ XyP *t u]gYZea26762d66f13b869aaaf6f7d842778ed0dd29e20a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 2db78277767d0f1aa631737a3d8766b3107ac8aa # Optimal_BST n#U% dOptimal_BSTOptimal_BST.Quadrilateral_Inequalitydocument.tex7zXZִF! j]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]ˣ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 jb#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 mGɪn8!np*e{,rȋ_ νR;($,snL""hb蘕͍i(:w@yZ^? |>Pczn vN[~vMskD)ۢtL lC9j+F擦e:F&c./2'C!jQaȔQn"5z*z1q)i #;% $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"' rőtv$uǣXj-8ZZ yUGH|Eh_b[ xji`tIo vװjw1^ЛG{FmpT*yF;EI, ۋ)} QBOUfbGχ۴DW5ߧûspYˑ-Ƣ*ڃPi0[ >zjDSQ]:bqHM<6ɞ 0pPf:mך==(?z #-rz y/38}pfťcWRHvh)Poe{c39YPXJJ*TE./~:h* ZЀQӛj6zrzBp!YBJ0q50;-US[خҹ S  m?B? )Zf Pfʎm|ҕ6R$o)s܂ñr^Mu\^pV(rg|ּz i&||zXJ_;ېd/ǙW8zY3эp/(U֥/?gkjRzsS y+/@˯7 :lZP#󧬓>[MfWyffN 8*Ν̣ʟPq^^ m{}BuАC@PܴsT9\}(Lv Y{]w\ |ZlBSBXS\P--x TݑW ˂+[ ؉dcPqVrYٴH0וNGY`_B.^Wނ?VS%#HHNt13@c Bc4T]P =  q "V1ćs8Z/4b9Ty )K5p9=HrM#Xҧ_/;\uX,V)4J mZj>g'1zy<<,-|͝S*9e4jm+{ة빹*ŞE:0vQzgBϜء=t ,;-M 8۞3r~| +-wJg'95+BSRaP.:y$9N=mBI1Mʸ`2tLHX 7=Nl btaOrs8bH픷R PQRF˰Kx@PK'n]@_96g{7!TA' ߒ&m1IOu(wBF BcܗmK7mŹ@mɊ4URbwPCzm;Wo.(&kŊ/ W% μ;^x̦,AFTnrΠ`rb%*0HhE~!./wBGM4Yr?iB5 T~1 `8Ӷۊۚ k Rwm4뷞k;坻ӏ7I>=9y08QP Bc7-RΛZ{klƉx B7fޗ$Z-JsYƿh]p] H4P`3$zHwo[rx?׉IT} ~B6m۳i6[Pcāx{it`)ے:@B'A 3ӹ!h,96-ɬruQ6S9ČrBY.L);- ~dˇIwlcZ0R+Yv] GE-W~R)?v Θ&u pV*R~TC>'x0d\Vz5EΩbN&c_!0 Ww2uaLw * ekIнea|=^Q,i3Yԟ59+O%w_*{}2ujsE:2`W(- ~~ߍ[X&{sqEa!vZw'5ߢDʊ2%d:~. 65ԓi@^qU(6aZ䦐4/8Ӧ?5f%nD-;lBoY{o1"[q/F AѤ`b3]vXS31D;(m;%ƻI0M|l%Y3cOs0۾8>f9r% (Fۦ `c.q+Us>R!Go>8لʼnl_#FޒP"0=mcBl@a )K4VNMջhoAGBPpQ`U%XMw))qn4fϕcn'He`0{ ]<-W,DfXt-XgYPrTx[AGMs5YθPgv z2]04>YN FkMGOFH ;k_b%tN_Q@/7`>Z-U8 P{n/JC$piIE$HlѥL-wGRtVhd)fIN't%l}&{Y~|"R92Tc$ ޫ*<rdf83: l\;gTެشL),SP4  J!i{ M:ɊoQ|"kыW\D®$ʅߐu[k&H5PWԂ;X z%;/j))giCyMq=ќ=*82Bd}oCh^vty <&En{z:,:Mpwd"\ xm9kr pp!thmʜ<1@O@CR[M?\IlR3xU&*%xC {jZJlZ !rlw1vhka= !s41Li Ki\䵙u` ruK.+'?]*3c"D cZG: QyvAg{fJVcPT q/"V7k)\cODf4٪Pc3Jlc} VM&{|*`NOn: MI^wKh}q%exw# ׏,F=]z\sl{RAXv!!1GZ'+Zaf{UC& r]vd{'@lP#sT0GK/D\gEV"M=/w3ax +x@WY[=˿@E3s<  N`p?ū*#9yϫNL\fJ 9f+[sq>DUErDzGέƛ)2'SBE^Ee8V=Wl:mղ~*9H$M6TIG_p,2-r+c (~ d*{ GDx8aVGwNˬf| QŊ~3TpRẀ!#l<*̾מS9_Lx힥ͭ L~S1aQBz&* hEG5ԝSrT~yv^׹ԟL1DsS9PH}C+Evnϟ#D0tє7LIP d:op]R$v&"/Fv\gMJ"neD6i; 䶌@N u2 3gvCEBɐ6F[顣qh5h0lㅢ"ӣujeڤQ6lal(7D\ -ftW~C\9\q? # nrJTэyْF9dk>D3 i6TKigS?ǮۛLs|4aрfo@5_>6?柅,5犠7VznTMpOF)1)r[%[=@LQB`3gxJ d_FxI$(H_  m3("G'I)2!$NT>hG?iv5@eY*-^gWX6]9ر4C*w{|Ԭ}Ǫtd%YƻVFt[u 88p;\+(sA`Uk=]L`jE 7*{vO aB+>}Cn N(FztbPQ mǑ>['!uvTT8۾$"1t#X  *Q3D|R7bb*=ژb{ N&x,&˗ӟڢ]M:u2b?ӿЃ}aqm7]]dsa [2I B vK=ႀvl_ ),YwBaC;M u4E|b rȺjLegL64>]Va F~[)%504 ͙#*{JG0b/SCg uY@[ZU]iG7_j<~ os(e˦3Dm2qd{Zz"lRACZYC=5F USs醙7ܼ6c^1" V[$ҿ)];.8'<lI*8%+*;Klʊ?ޅɭ6iz,2m=~:\vjo& =  )`YZb`J;Uefm|C8f>c>Ƈ` bQ ^K=`zǷlcǪX+M!g"!U^PVܓKCɩG#/?u:P:ijꥮk1=_Z@cm[䄯$ޭ:cuոscK~Ɠ`T CbF9%9}C$'K]fۅk9)Ԙ O3)q:^Ji|f@8JY"9s )K\Pt˒2CcFשuh4x!jSUp{u`7?策DrU+C`NO-BJ喬{z;?ޥSkzUbeݣC}rvh.]~>ҽ(a1?/Rpr$3߅ (6G#m.މ7CVj#{d $hئZoڛCnmz"N')=08<ߣ.`òЗIui+&{ř(KG;ޭGa( /Qg%^u jUz(5sIZ0\Ԁ{0o-b rIaR-J<؜W"R<(v;spĘI]䦪·hDQ U{F^p B@9(7@X*`n.jMc9B06*,PH ^zoՒ뷧c!|xP; P{^ͭZS $悔wzX3n)AL*WZM%B*iy=R0j>ErOXNQZMTAHW5#K>J%ڵ!iYJj̻4|:5$GϱnL~S%83zZ *q7l͈!J-pBAz_@/ERq~ l)8HU@bspȖwG.$q[RU[n7:B[0 җJB9q0sn@](e_q3G*xυa2əҳ-@[uEZaCY̫F̺ha?͜*YqkJ)W7DǕ_ 0 @&2)KZoy<9Lx+n^]Ul* ;l6Z(:ѨKϷя$xƜFB'.^̯e OG; rHcc4g9%(iA+ .ϖyD5#aS= g;[I(Tw]Zx2ͧ >{u;@!^+{>(jgaA!#=sOǛdR#Lsܶ$MRf, @h>{iQ9'JRSb鋷d[5Y @Dt"fCzV,>*˳[-@d76}`-?s_h\E:t{ gYZ Z /JZf#M% \Optimal_BSTOptimal_BST.Weighted_Path_Lengthdocument.tex7zXZִF! ]A-MՋhvG"uIBm5{gz$W dߏNhU~u'GO nIĕ 6eM4kc`}h8=wE>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 @