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 3144 ] Root_Balanced_Tree:threads=2elapsed=87.481cpu=165.876gc=11.224factor=1.907zXZִF! ASS]ŗXf1-q恈%kV^M[-dwPt#`Nf #w\ӷSsxgu 9VŬSUP͹, /"P@i!,`$: έ"dnk=pLSn!C^Okll=99g "cJXmEyPPO-lZ kaNYA+q7$-}R@kchP?)Aeo9Kv\rLbp{pFð[[)w%pM<PI<~vtn\%Q!Ʀ2u3DtRK*2,\މ"d}QGqA>^w~ (;ygh4jo#b5u?*T\)lN4; ؼM2q O_!PTb'6!VLϬ-0wxFS+,rXҔfOq()iŋf\qz+Z%c^sKcYY$NТ=;J'4xQD<*dPḯ!P4 #W Ni*TITm_LO ; z|JW'h0M;BZzhPu;Ϗ,*f[LZg7G:b+ā:yió'/ruA{LVwp?JAN&{uTM5-a&}X5^+t =Kv]ކQU~nʸ4C~L8>< R[Jl$ xmy(@y([\n/yމ Thwr(%Z,޷O]cfq׬ncI5Rl37i1^xlci:gId9Rl ,:=J85n !n_:z\!|X.?EūIr;l==qŽzox`?/Z:B+ O&ʐƺ{ %aNIP3 6Tl7 9:EG ̨ﲨ0:>mҗT-|?pɕnջ–SCCߨzU|>ցCY$[ ݙgYZ7zXZִF! ᥷]ŗXi%; Kb kN`J0fi+3>M\^p/Aw#^! )͔MzF\~Lzl= _ʜw0$E>HZ"Wo{Jk10c G0D [z($:>FC0!fdn)px1Ms"?Bo{q>'!M/:-i/J#ez'"+}ΰK00"qEeE8?*9% n,B:2<ف8s@b2i{b8jTo6$nԹkvNIl?!/1SFbR ,AE?* pt/]m<`Hp^/80XBp,)=,]ąò~kZiH]\7] AĹuA6:N܈_SVKQ:jP-1/˔7~X++Y+M0ߞY}- ?HǤ~q;q.ܓ3!7#ҁAT-K)˙1/<EcA&"l@`Y>tKzM8QjKsΰ׉!%g,[UǛ%OoS7:XsPfdI7g5>HANJ)Qz,%e®S!ZuK ҉U>DZ"Nr-!>%uF^TUg)lة09iT!ƀQxq)%kҘn;f dly^>1!䑊KcʃY+E,-!)pR`ޠD@t-7WQrJ\ץSa$*pi,SbjUf' 1 Root_Balanced_Tree&1M% IEKO-b%Z_-2*?'@$,4;NAe>Ҕώ,彽ɜ\kFR)sph Z*BGj-h7W!fd;K/HtPF /]N~qJNU[\TX4~rMr \7k`A A1&6qτykA_;=Nr?I lEGgn0/9l7*5vö<ޅk5=md/~ȳ1XJtㄝ Zk>zT'6[^\ # u|wN gje(Urd/­*%l;0+Ũ%b8TUr5nd w8p#n^ 0ڋ${j:nNE˂kTN;#̇&~*x5mts{)4Y PI;| By2횔7L)kq`5S@-qaj[:HLEzLɺT7н2Q^̇`SEӑQ;1QvunCruTj?@Լr y&ߤyv>zdx.4tE̠D3]#)Yٍx7`<ĵlŻݢyC> ]XπO1eg86cVA[8hRBj~('UwU1#A[oq[DAoX_&<^NT5z9+ Efm r N^} m5%~`[`o'c$_!@MttAqzz鍎Te>̍T0kr˩ yNzɔG0g/ƍcyP5Uc~}X߳"}pg6q#3 sr(x<6jl0cZP/T. f?@ĢyFZ#3ܱԭd|D6?4ZCp*|[?JPs_+(Av!:8 -`_h£. !A폢b8=YLIO~I2~o}A'ghưjWsCk"?OsC < <3-󅛔KRR>+FuosyN1Uѵ4-6)Š5B&˟tekNJ z] EBtD<‚JUbO:(ߋ;;#v堶cp&ҺNE -ٲ%/u~ucխN x< fYM H?s"] w?5ţFs,AyG(!3-o8) n>mI''T,%(8r0 2,/Fonv^ FXw[SGLhVgjLQtg.H8'ECWv#U=İdT9ă HD]e*gv x8y2/57>wIVŨ#1qL̆94ÎRfkF7,LK}Ie<~{+bA$_PFf9 ~6"5F4 +|uIC_Dt }5ϻzNfwޚ咶\ 1Ҟ '~zNQ0W/zD^90+6T[O {UZﷃ2/LyԎOJQE^*5Ra`wW)$vVY좊i0TK><݉lYкELȘ&TlSC Pbzl畱(3汾e˷M 73Ev&hǬ/s{VGf<}{KaMޗ[8Vl˷\O:h{&+El^18Z胸%21'ہ`fY#^"C&Qߝyx G)t~l. e&ʞ]EQ.%E'Ϯ&gEyM:_3LJ 7hE F6d1Mj<&#<}.M4ܳm1gәHb2_=5 \<"֝!C0>{ޖua_7q}Z#7bm,{kyLC"њ|n&NJ~ivf~% $   3 3 S y 8p & o;1;%Root_Balanced_TreeHOL-Data_Structures.Cmpdocument.texA1G%Root_Balanced_TreeRoot_Balanced_Tree.Time_Monaddocument.tex B1I%Root_Balanced_TreeHOL-Data_Structures.Less_Falsedocument.tex C1K%Root_Balanced_TreeHOL-Data_Structures.Sorted_Lessdocument.tex @1E%Root_Balanced_TreeHOL-Data_Structures.Tree_Setdocument.tex A1G%Root_Balanced_TreeHOL-Data_Structures.Set_Specsdocument.tex I1W%Root_Balanced_TreeHOL-Decision_Procs.Dense_Linear_Orderdocument.texM1_%Root_Balanced_TreeRoot_Balanced_Tree.Root_Balanced_Tree_Tabdocument.texD1M%Root_Balanced_TreeHOL-Data_Structures.List_Ins_Deldocument.tex?1C%Root_Balanced_TreeHOL-Data_Structures.Balancedocument.texM1_%Root_Balanced_TreeAmortized_Complexity.Amortized_Framework0document.texI1W%Root_Balanced_TreeRoot_Balanced_Tree.Root_Balanced_Treedocument.texK1[%Root_Balanced_TreeHOL-Decision_Procs.Approximation_Boundsdocument.texC1M% Root_Balanced_TreeHOL-Decision_Procs.Approximationdocument.texz|4O|,i81 Pw"W"ogXwC{ [ѽ-zukNӊ s*V(: qEx2QL8`".C#CBӇcܖC]RXu2O gWL]CyDH˱^ǍUInKWī>+±ő4&08-E D)dJ -vʰ  QII.[b߉S.s.a>~c3'6#̗GF%&GXbB6̓UTo()桟Ɲ~c86y13w#\JHh!sʄ8!x}+t3;o0$r"Iv&o9uv ˹SO|^p6pI"#8"_z(ba"7W;2 8\gG{y=ެ0g;@xQ L!W fLbǵB_i{C$ԖzN+Xc޿jcMKF2po\dC=›.u[["ɛz_#2Ÿ`/0JLSԮ6R((/qa?3'8QEDaR^Ry i4xi @/;O\ 9'1g,!犆˽G䣘֛-68黽l(l暟Dg>+Z;[=A_OaxJXDbr1,\_B{y8VdE^?AA^r-]f蠙 #j(K/CH4 0.r.nߝџBb3QEn>K7j}&g4P =)%'9JT-( #3[x*SʅV^`c(#Dڧ{>w֒-1"8;_e &u8#xΆm`Eif:HVWfR2Q#E|p(A(jx\ba43NLRym3Iy*x"I:_6*t`4;Zv%{FEFCۊ^V3Ajan@*/2w{n(@g}&(Ӧ5%R\seq㨘Svqe=g&4H.?l]4dцfjeeDW&fpvwFyddl4w麼Yo)U(J6 E@+UpϒoÍ^2YO gvD[HlQ-qv0!YiS4*X2G:/R!f ^J11ROOrTo, %lztWHV;Ћ#1|f?]bKsW[ix/?e0x^?Eϟ޶b,ϼuj-k;%hToTc5BߋVXCÚOe,z_F{Z">z;RO|5uNg`w TO rxfQh)(Ul†kDhq3rS|V(cFI@^-'69Rf>GTz!ejȈퟞ+lm+ +2O7KLMBa6r\!4C!bt [zJAUHR V;m$,'Yڰ?S}\4`_O4Os?ĎHC9~jىĿ5󭟛A'(^0E pe%\%:KӤH(W˃H-lЏ[WQצP@mtUXX2pk$Š,%c^6H19$ @ECv= PLZv0gEhg/BM ("IC ^WV^'?RJ%s=oJ|1kZ|WG i 4#e5Pkm[MU|p]WF'r$n1uz0wz)iP/??1zx%tJe:]e}f폑Xb#?E p^6Zws}3nԐVD1niJ[}-V1+,!`2zjw蝢2ݠnU|TINQ렕<:cag3{L,Xq3&Y][WV8_(9n#44DQM8ĘR8S%´@nֺEb Ɍv_r]ԙM:C3W CaqMw榻5c9GAVѦW3J3"nDL"f$:;*7A#fomUW 4ʂ]B6rO k\.,jBMm6?@k)l0b[~IWٜr Hv uvh16Y2y}ˈ-̻X ?#^{HY]l!эT / ғ4~b8Z#ɺ2>ⅵusRo#G4'eI V6".RTrl9]ͧ}>CɉzjN4mI GIoUYJ0L5DVY}euzov&)*o[hy >߃L*RHMfu9#l.ĂB O@qmG0MÛml ;I{9g=ۉ/!1ɡmuAβB[rd"K:My1Sx.'OA<zI˛2Rɹ}%l,,t'c ho^Ls@`%(\S3"ޖ ^ ᾡE53C~{U!z :/}m@ }׫YpShbR2Nʯp's/ OjpڦB?6BN{KQ6Lm*)sTdqZM~L2ǩeU1|i2KA."HExG7hJ~JwC +Sy @y8vk~8t$ĞuN|<~74`i4zOabIO)^ΜL:b;1tz.Qv듚eXW*YMV{uMuԴ3o5jwEOªW=GY~`!Z[]5f: KpplWVvH.";9^@p+'# Ft A 19=}5SRb*gեQG-$T,k41 iK~D/8ITLW҇|*rhl=B-i?  YfQzc miRL-rHѺ,Aз;HHG[gifݼ"x^Ï't[fZAgԋq%ʰwI1x5cOd#' úOdQhqAD0ԯb"8*@?Oͷ+y JCi=W$c|{ݍMRgFēPwigx&Nz23eGY# OXs84TZޅL+2*r"DU\b{&KZc\F,jbx6 zd=3@#pAcH9ze.r4`2EPu~)jy0 `| a:p#?)BUh{K{>Ce`LiܨcPRDB/碊9O=q2O(IFiKރw[tY0F׹>m:@=\i19վzDs0bĨL澌:q )co nl_Ddː ڋ|n(TwЕttlSXq}oWV30e& b{)*@ h=`g F7do uBbϴ|YNj؝sΏ={yQƊjN".WJ9X!9.@7KfL6]t52z~L:GM,qKNyõ~ G\)6 ~=IqwrnN/=j%Dt[M@a7So7t7e}O$8N:lapuzVO:PV9ť_@ ɿg^eJUdSo%rWI.V;=wćuDȿioH,YkLCIoh)̂ zngMYר\ӢL,l--qGo=Q12)gBz^ !4*bq*@MOqׄsQjUr֏62NFh\|0{GTm1xs2FT(nIF a9_1ء@[ q㩡82(+v_}v0"30iFR N Su@Ӈ[+1=F8ڮ?*VbgˏqCd sHYΤ30A33xR 5%w3x•y_./z-W6P*% D om9U^.L_z;P8J,e/c7ԹWEg#;d*hsCrHzLsAE@a1QBИ9t?epS.,0IM\bK B=H"\ϣ ^\*nbuM5@t6'EA5X&#DHrxn=b +ݤG[tbt0 H leTׅ \E,.J)swhlfWL Ek. P-RyXDr%:p`?.9 C)>C*n%2F d?JFlX27eBLr,LIc1 ˤ5.DQezB6LLTe vֶԼE6%S\OsIx􈕁FZVQjh R7lg\r4hsrXcJH> '`=Æʰ9+[-+j;h.š>S܏jZ&Q-pu|ӽRSMu -M6{#r{Mʴ"DWY]t0HՎ#Q72vrZg%F_->LZd[ kCJt_c_!P^Pz.փ6Z\oNb_6>oT/VhUdT^,wEƂH M/Pe-c @UXH{tMuC$#K~jیg!1U3&%J"Ik}P3]s*;P tZ qA vV+(VQ\KD[Z5ErilUVp/Ӿ>)[jH烆6ECg0$+wc6*|:Uxi|['£ۤu5 }"7*q4[%8VnڦYn_J5Y" Χ8):d0vs6Dw|h=b=|nƣH#нaYX m=Kyį?G;ib~@+yAu4٤`;Y4*g XQְb4QŇ 0dkڴbDnH%ϋArϛpWz9˴)^ZIcwU"]p5Zv'kHAG0cM¶v~V:q|N.WKzflxq w)-e=1>cP!>ĺ@seT8u47w󻹲/_ݼLMT wBe_D;>=jZCQUhciੈXLHEUGKRqׇRM =Ur!>+i2_`1%"j[߀}/P)#iF+-PC 0љ LYƝK+4JU,p&1KXL3CM_& e rA-@H%ĘW2,P 2-M<ܩUHG# k)1K>aJQlц0'`q']@Xȴ8W,{j@~=/4 vHK$',GEb6PqUn.X\&:Sk#qCIORwࠦ 9{s]Y/B0Lr ov_(0/[gl!Lv*)&V^hsc^n8-QBׁAȧ(p:tXE$iy4洉'Q~40IMqK9_8 @;}_"AnO <`>rqWQoRIbj!J菍 SX8 , 2YgdlԑP*+a MDLG[!8%4W EZvT_Vrq)SpƳީgfWZGҦ=*MRGLߌ/x_Zi>@ Xȩ!>ۍ/13W6%M<PĨdfPI:ێ߫-4XSW {CDpDx}pԠiV<' <KEm3B'bAJm`)&7Ȟ;(.a{@ @we`Go&SƐ' r<[{O` |Bo" (׎1V͏]fᨵWFn95[ϜA߅ydPr\`!P{?$B(ӑo(x]1'P$r&yC F/ڒeMR96\x4ַ㎷\oXSvU٬i3%T={"cvRIx[O-q!粲`i hWx"ut 6.sK1> fUQkJ8;r#+hiu %??2pL:y=6@4Sjo2Fj؜$tT@*+o)aԩ׹v/p ( cmͲM_א&Y:r3F f|uN_JZ shFv{xn,:r c!? :;^iiF'BYa]#$-<–tEDg f yPH>/O["t]~Ͻ(X& p!+GT* w.*{襺z}9zi hskU$.,Ks%WA0AIK3@ (p;nr OR/ ɮWߘk ?Aa~鯵 B"`<-Gתd]3;. I%NJ̒W'q7RͮOL0QG qFR vǸi7NeίU,+6nƆ_)yIrjLCSXUBr=zBheQPo~]@6% %Aye2!ܦ9RPK~d`- Q gcY!WhEF@׶l7_w,cGi.d[?D#%j7B|ƍ u{LQԻ,aV:U~ps!m7W.T5}d ^hPzz~H[VQ|q88/i-U܀b*udsoZ w0J|IRnj1&tCT]w(~k eˇSAQd*n za %1ոZ#.dB&em"nR*l{T5qb7vM7B M W݃vDMycGW8_2N♜g|w Qa2/`*fsDzDl C>UԓjYM_@BUr-쇵ל{Ej8` NL.՝gXxvjҩ]`4ym_-ٲQꈹ^:6. 'v׬פn@_vZ\l0mR2 k1#]Aml ZhM7 >]klTR Jꐑy(ЪkBkHJM2RDݭJե>S>PH{:݉K_:$r#oa.pN!Nr6Y*&{@rPظuivL l-A[\?ȼ/VqW;fd5騇~hڜ^q4b~LM~DGcOS\z yma2ϿoUgJZÙѝܟdPZa./gL!vAc)'·B*UA\!ሊAX{yH8I"xDd8If6LB;l5aRc_4-b\` а7j܇@YJsz@Ag%ِmȢ?m|7baZ뽍)j{.&'[N:&wa>j9 [2nc ZOC :DlUD}U#VϾm@MoNHL 7qX(1CNݟZFf}$`-q3Iz"J2-#QYAi?&ݬ=X>ՇD@S?lba,p[bjE w:Gyz('YD2B 0F:=69:)j7@΃2[7RU_6j>XyY.I(\Ӡ~ HQV ߟKˆމ'UqiFjԍX>SdW.5 S;Vv3a>tlFV ֞>+B*iQ:yF}nU,j͂ƃy f_I?g'_Dj1.GJ507%?E!R'ea4ӏ؈pC@&;@)L Qi +5ZI_Y& Y9?k*7h\7$$)/M-_;GL,>Ќ&D$!e*nɣS/ήٓt`2If[BH*p k.[9m\!d?E^#RUF~'=);l5lrIf -UQ|-PF?)vuXgQݲN;o9\v#*ڵgSU`O}ٙ4NyֿXJYanEl-ĕZT 0^smuՈbቤlTLC֩o-1F}jɥ!%~U4C*@^/#;?Srd<n./ qOQ?MXìyȞYR{QZUf}Cnʭujm5~"VP 2-#PR 91e\vW'7 4Y#hk۟i4йxJ2 (6NRNy" i?IK_jX]NGs@GלaX%'vľWR{OkbEj5>318k7.2W:5͛= vrq#Ij&C[xb䪠 _+dN2Q"We" sg),7 OAO[IVuϚmPC}X(᭶UF2mR~r8'hlUZԊ"mrd9ZLޓYԊM\fc؄ɰa̘ilR噘>H=(|@W{fV@7AZ@}bQ"ݽc2Ўa@hYY|_䄅Jhip֞]f)R )#g;uJBXbuF1vtofEEqV31XB2kLP3 QoyB&^u-:\(L02d) &7:-7^6%p}ճ}ܡa6x^8/m>bT% oۏ 0ujhd o/ۄm6T=a/v(z/~䧂 LUVEW?EW>۷?Tྦྷ+pʼnt_ 8;G+qq06/bfB>=3A2ЈH?HJ+%A^ToiaPWZ#W~-nͨAjVku}i(2 i"xzpνjBځCBXjPA y |Hq6&Gx]Kr'hRaϤԋBZ24Z0_N?$,mGDa :?cV 9.S3gBra'Lp5/;L|(쩐ңzO 5:x\@}g}uYPYIsɾZ*Gwna"9g,okdChk<&ϝ8q+قsRh< 郢FjBVtK!]us83+OO$ђ` CeB}QXZOofqO\*gl lboKt?}Ixi9nՈcsX`wrXŠHju_Y@ˇj"sYhDV,Y5%E|8ֶ㬠*Z&躽gp.)3o]Bϑ6:hsI¥i<= :^Udl8mP.f֪DE Muv t:{ 7\`۪%,>bї]uAkr2Ï=/jmu8ҼFd֡dB/$Iݞ{s%7JD> +(;l[264\zF~,#KG+?M"y[ve훚igP;wc{WġE`v~$m1 (%){7Ţ2bD4i yQZ&#>C0])3ƽ@)& 9Ztz2'XE蝄,nz8bNCqy]sx'?=V#tWn9wPJ\@&@!!:#1k/<rWVWVVc3 ^i[vWǀ.(p!]hbS;UnvC(Xl~nN,(ԭf*cTW"pQsF 6;~KTInEYac?w|ʉ[J\ !]]8zA㸂|,O/[ _D jw~Ԗp)(@!W>Ie:XΖz-%D ̓O |zaAPodwMrqVf[vh 0R#KXD} ؖs$J/^3Dd5AW\Px[5oWsPj?/V,Y zҧMT/#I`ozlP >aݛO۪3 %JEoqRgUMw2.,)%a0jSsEhe̙m0?uNk?9`Isl~Yg0(Ԃ:h}K$lT6 ZBٲ.JlN:rL *6fysA1"JR0R[WK0AK ;EF}΅5O}^ ܍͡/Ę.NiDYƅ .t '֨ppAШ B]#Zu=#b;2-ԠeNjѣDi8(h'F FJE.Ocl(j }|c-=hiJ ~빒_^4)$#I^)"E:۠tEe8}QٽT& MOP_Kǧw[JI-50-F 3aWTq}FJfNOkVA([J<9UG xz1%ÉMK ަ*]R::/WPc XnTp}FQ *ė{RlB|`7Fhq,}nRNG X@5#k5DaE{aህZ{.{K$~jj-R&ۘ82]ZςOSтՊ[ jF-0S]/rֶѻRl=Fr{K}_=ճ2"|6lCؽ8PhX/oaOF8[s好Bax:XqhEJtSM ;L`-=Gsչ4_<{lFa6Sx2d*M{ҁlF٧y&8(~$c`tVHg;j%fڻ)Am5EB}6=!Qc]ђ3~ţfFdOGo%!D$yt0lb0j3—ԋ^D Y 4`Rv<L <)n'ɥy[zutaf *#FkB%MU:}ڊxK+ rBSK1*BKeF2BH J.26B6IcSRӕCdkֈa3,&"凞dmVEXˏ,5=Fh[,u6MgSGGUZ阦N{жNkXQ}4xsZڠl%OM5od44Jlau=Dj(&Pgf 'Y#=)b·'Hlǎ 64{u D2u\< 8oU\ /\ K=Vaޚ#i\O22O}O{I80*bo$Rή\ ~\<lѹW|QȜ|XD|U*R4Uh3nATjPQ] YyV&Gk:Bg9dA-XX[H}YGH`=Ug}W=QGdػ_`" J(!AYڶ*dîSS L^۝ۥA"΋#-\)(k@:ן !_lNŐ/wɅOdo`r_y}IA0+(  ^ .cFt^@l ;xZ *3ch;̄ GKHcc~c.zDgP0 NBre@ &,"3^HxjBرBh^NTbSSHub=iW/Ujdpun.KڭTkec?Z5-P^}" n}XdxmUFIȤp>ȾaxvɭLNHR4)ҐquL\A펎#cN CEV2drd:Ö5=#Y>@AپƼu#LC sуڝyh>AMb85c;ڤdW$%.Ι\Zȥç;.F1vI8`$Vq}mLk6/`ϩ^ 2| ?VCRI* iӰ?2"?3UY 햼+գ 6YͨEKc:  S@e}pVβc7'cKOQ]FN58[ epM(dA1{' b*b)HFqclߕ˒v/)2a#NB*B`lY)D|_hgf/fAVW:A쀗WV;ls/UkXx*!|NFc?דš%Dr' ޱ4@EEg24# [{`r}ڔĤ>n,2 %YA2Ds8陛UQ!%G<{ W[(xyGr2`m^ۈ!X$3|%v&4DZiXyrCS' Vnau ;Tq o>@N+!BNP˃{6 nRaqkYlC/UWa_y*LivͰU 9zzLr9ڽg6,?DZÁW 7L )<CxбgYZ .(&7\CTHEئW/7.4=,k?y{1z+{8Pz eDhgIg93e1EQxnŎO%o C8Ky4뒳*`p3NvxMޥUz ~ nS0Ng䕇'<٭ E ;Lm MW!]Cp(7{(D~Q ,sԺDU_6aQjH_GjKasI: 2>N(%+F5"TTkgaf?@ui,1QԈxA\M"'S鄚)B`wMyeJ7]~i!UJ8)FQ~,M֮ܯH a`-@$7j$%1YYFlb{b=|<|Ub2HV>rQ6(|lӲċ6fŤMX0 VX r+S>ŨE jRRU0 \S&_ Y%gXVC_s|_yuo"طjXK< 9ΨS; ^AwFN~ړ)KnI+𸇠Q)a{ #|=özN``-Ԯj, :LQfZH{eMF.!&;Y^WZkY|pVC8A{[YTeuǝ8ñk!gsSʒ;y^B"{,H/GqV`kR,cQMq-D uh>bIyH;:?h`̧3".R-7u{E> W|)3=ڐ|B>'>m 2@1ʱfmcl-|\e#TZ!,BRE rޒYZy+H]yCٝEћhgui[+]IbYficW8Wpw+Wx5 tw$nk #7 ܿak(''-뤁xՅ;O˵Lb@X4C'6F[Trnnh=H2<Hh8#Kb# 1R}d J= ܌4N=a"SO8~F] +k̕{۔6c x/]@]H#OpQGT\wZp0SfEȡ;YLeΒ+WAra-i黺AI[PbLg1on@l@3Iq m(eQ'=J|^R-#&`v)Ͻ/U])t9,Qm$Մestcon^R(x¨t@'tbAzR[vg2< );[Tg!nԊ7 Iπi͆ mh41}`S>DMN1L6!CS$a+fW?'r UH]960>с)Z۰: !Ri$ IB.!S.SczZl l Ճ&sy^i?Mِˍa V#+8SrJT-DIϥN[@ #eot0j:Pr%Pm5(./EoӃ\Rq_x#8N}@'h$R6IrOW.Qݯu J#lxrkXvcc2KS\Nqm.?k9NkqZE_ lQ”k͘مq3t2昔eſaCt?>IE{^&߆6ѪQGStfD qvf:&sq6d2̃, Zl^{bpHM)vp8*.Yd((90H=Ԋ?`dYȱ6rf7^ݭʥb'k<\ZaYx{"eSAy#iUꏚtt~;הl]-)@v1h,z\ g >C@K{GlƲҤ(UɅ1L8a/,F5M/Ө(C0r? K9_*,&m\i;3im5wkhZԮ^nJXnUp%Eho.T"=瘣;TNr_VS m mV\I&nG^ ɚى]ϏVb:AK@( ]bf\5߳+,t-Ң迼Zg n*ǐUPџ7FQ5{4K+Tʐ=H dD]S 1ڮ*UAv/.K@%y'["=EN0t5 +Unr&.=O<9[*_>4Ɠgp6GXC9 6L*φVU% t a Vj dh4Zٳ_sR"tOը3xS>6Cc%-iWd)B+\ϔqib,=1*^h;ʬy6QSP$ƶDԜ*ѴpQøe>{}8,ϵ+_此KMLLr>]V6}(1mw/qsaj /JO ]ݻKLV{/#V@=G╈;m/k9IL%' \ؾ_gH^Z(ե+8=Dub{n \rv^8~FU.}n6{F^M'Ϋr !-y&S$o 0_dE^rKvϹf\ >t+ Jď"@?M08ku)9R\̲hЀ8ۛWe eZK#v8Ârhs$WVP 5AotH4Q8ig%bC6ܿBK>,4r0>w.l4:)`3MLtjsw!8? ]E9^FJ&b=c<U#AAI xl{I=_ɕ+]K*i7'V G[Zit[}soA<#3&Qw^3Px˽YlPO^D!cjFncDGyec4lo!3J8\_id݄z_IF?5b&{50D|g|e̅&9 ~yJnsݯ `pNb5J1P~C4>tqyH1,[k.?GIfnOUSMo.*8bkl':wƶiIe\uv*o;7U @A+ہrΣJV[eAa-O hՀs~]:{$?dSH][fUvΕZk8 u(E>V;V~XTœˣkc+ : Z=Օ*sO fuW֧ϴ](7??:@vPDo1Rr֩fF 3NSn]^oFC.J|hZ)yY.=0FֽPv)k\1b h4ɸw O%Z ,hu1;\;<#O&" d>b];ᐶt°!];=ګ"]#/ʱUux94MEcXR^/Nm|ɻa2q y6PcG^^ x6E$#HbܘpZ[R;T"Znv2-*PƣȳxYwRF!J%)g|:bb2`/HAvXW dM]A/O^:TUL费]XzgV=m}"¤9w =`TK86E &nKUjLKal :]=7@8Ov2JBv+ j\TwwkcdY4yZz4ɧP8_Uѽď62 GO]2n9ȡ 쾼^eH)qs9f@ A*uoHPRSC'TzFr><425Jve tӶM,`k D&qE * A[Z_vt/RF>+@%(-ܶf%vM'4).Yf#1( u@XcCuO:JPU6hGq-`Xiv |\[}O XBt`;%eW}@Qoo2yp 6BIvU6yW&>MYL0 {>ZokOuN l)PX,BH"1rj'Qs1M{1lWg;c鋓VH茺^Őª+}mNT0Wu' U#RlP9`+NYt &#bQ;zU^7=֠5ދuhJQiƕ98!\Yضtvl6Ɏv]{{ ||ub=/aE 'ц2T7ca2iTf-4w)v,.Og!?*:PW]xlIƢ eY ܫ°"-9:+ 4Ӥ O*-&R.邭tR(.70Ρ_t 6σSDB)$[ DZy#.{٥i ʮ_ӚSp`<"(vFD(_ŲTtu7{1/=$Ћk7;W/-FB-Qblk?Em<=:] |'N]PU|3VC(vp-bR$QON}}<{G q72i_-(=CTfO0E#?.}#GQTҲVT!Q$!7ӐF*1Oddl.g @+/sg-.ջ1I1ĝ,AkeBג/P%ho`m^pv5mI'@kĔ I]Σ~BeJο[)9_Bu ~ Փ &}ah^ OiEr*1~*:"VH]ĥ\ VCRC.?nh;9@x*4CNp; oNӠrTN;9WI`3 oG]li4%&6CdĹKx! yF-k/4#@=0(dYuV;xESp YPf\RP5 ɟ7МiN*QG Gm ?o!x^b$ Trȯ\D{{;ͥf, j˵Ր/,eBr +;u'Zbu2DzYey ϓԘZ <JvPd5#Ub׎Ȇ"C36RMԘJ(0es-l.?cg);v*bɶ8WQ`j6D!,7o? _J;K7)Ct={ gyHxZgY4>CG?G|Ff ~= +vS5|8nܑ?68$>ce+$tC"xyJQFe:eTZ12* ~Xtv *ʮM3fB̿`7iJJGtV  Y* I*aSJy`&IeU:mM\cQ9lԣRcg} [^z/WtrZJu4s/[x(&zudXY>:hLԏľ#0=rl|- p|!JVze2nqd_`$u2fy$ 7+`F6TXj%[uzVyVCf^&I${2:4q0 sf[R m`)=&MTmٸnoPfa|onR Lm4 볊C8>a7ZBP5Zfw?ThˍO`rN6ǴK|[U87gQГ%U&{J D\NWv]$4[.{z Z@@?V=!L,,`}\G:Rȥt1)Jԟż0&LqpI7>՚$CUޮ-+ T\ 5|D^Mfpjt=slf9套kc ~T ɼoɟ/L-"/h#yYK*-S,*שl=TEEG:=4I4W¨*ok{ %Zptap=4g)}7NX  .`r3'0)'CiV7꜃SYlq8iI*:H3-> 7R$_VO=mؘ4V jEYXKZI@H) řn0\bCR^[S%ɞICd1ӹƵ[ oDaB Ā3wX3w"$8HJ猗^F0V_ F8 y=*;8;v T[x0u,4\RD\,}=-~#: \Ln6s8Uy"NʫE7C`DX8Jۨcஏ‘^=]p՘]Xޘ#Ɛ`1W@s5j q  lT5=Rc!3KG2{[&@nքhz ;ROJN30RЦ wf@˨uMOfBRO?aU2[#V}:0S곌d|%S%)I\y5ZY<8[*2 ?r?;r f".Gv3Z[1eCQ$`mOujtzvfGf+eR3GUZyh(wT٩a2[,+L(Bk3{dVM3f4ta{$1:cd4& EuwzWxD<6?%|V&WXܔpn%JlsB49ɱ z3)W͚,w<4q;Pˠ{jL>tg8=lmXͣt:c Ԁ1#xVz:)< S9QкOÕxUޢz0 CV7J,H~\gS+;ǚ8l6Z+]/lw朘vgo )9꟎"0Lc9uٴx1nG;B.b~zN UVX86+w@: @m4R_$]ɴ49+Έ \=}an)N>pu:|?ᓸ@[B[-B 5ا^))# =իGFb_=&owG~{P4БG=X[jX!s^zuwN5 6*ŬVts~+x"!E;i*Jt |8q3\]RNTsa=rF9ޭ*ױ]Vsz$X%($2MZޙ6z9 }K_ ` wάJj)+}Hԃ"O7YL32;w|/!Y(Nvf$bg;!9lO^zj5?oOIbdb.~Ec\=8" A#gϤB,KmPidg6+g;+!|ooOPDCjl#m=Vvhe=w Z1ɧm2'L*HW3mzJV[]dMM[iԥպ>]K!V!w7uC~=ayXLEf*YO0MDu1 EG̪`])Dnݸ5r^fV]R2b>[00O<+ of+T% ewl~0$7(OLJ`p^i \4yaW5&lڼ:(.W -NnĭVL]H3S,Scv\|r<V} p sAWȔ$5 `+՚jWJ) 5,(3r9ɢԘ9T'l5wq3u]k{T`͙Z[ZA%ȑXߗk[8m r55;ᕔxU6{<%BΧ|]9ϫ=֑ǁşڐwwV}^8XǪ2M-_V9|Ϯ\4-(p .dY %w̜ZvzMXKVl *E2L"+0.AY2WD>w$wqǟcmVW oVak*痝$(΂;~ fgή9߾9a1lܘ0ڤ3XI}tJ%KP  J0"6>_(Y!{>siJRxZ,QyUhLWI+\h/ن2;5}/#`m~y?Qa;- @2缻X7XL$ёOv9B 9Oqs')eJ9uM1PW49 -+y ?ݬ]p9 2a(US-Qa1_5!@^6H19qQF15\I T ;dq@xf*B)Z A96N3Tԃ[y @tY9m5'T|oat϶ Nr6o?N]?|ClTΰLofXאޱT3PwS0w& E9JIrD8aWTBj qZgޣu4^!M!t d/eͶ ?8AٟVUvr hNq Ͼ{G| fq0E"v\,I京K$Wr &dm﹬Djf7p2uӹGְAPGZl2Htχ[[g9:IDM@SLגƒ#=Y0P%@20ʹi뙮9ӿn2P`_tQ&m݈F 6mAL,i^F=F˙o\@*u,}Mp'dDtNl@sBagzx*~" .ʧQhez-)n>!uu}M$\IWnz\/oo3=kkw{Q-L0̲7"4+;H.PAqr)W-S9E`YJ9RBϖr',1f8pߎVOc] uib,Nyt3| תLʟ͸ȭS*{,?HO6/t7F,a7(rxb+5K-oHţt#,&c΍cSI\U,U"+-" s.:=QF#׎q}64F)paEVbcHXÜu:noE^w`QB)-xj-l۾8| }Yŵyl v gA.ڈ.ses2O]I셰,Zo֜lz4&^qE$|ul08!y$qJҳONEw硡Fa#ViVa6ɛ;5hFF6'ڶS 񉕰gzDk3ha306 Iԙ4¹v޸+\¿1bm `(vH,ߨ2;#0 o.7hN96l1Xg^hYcim=LaOİ_O;kB0fZDnpcld7!'@Udv1RjcSXUޤ)TܝK7Gh^9 P`*[LU|y1hvM˙ԋ$>Y2A%C~Sv[4F=)Eo ' YN{]FE:ᄉZVS?/wMmvIgfZ62!C DxAhG[O!c%EJ~. Sd*xOԄ ?q⭃K MAɔ藵ۚD>~Z#p6-!fFL*Tdhjӭ\X_ĪZ 8U Ո<$&vEVKڡY4x/%k!+!kYWAΐ4S KY53d? Vܔ3chߣNIhQww(0nC߬&lGV6E67l#ka4K{Zk`:`pg#ݏi;|nT{sK*`ⰲE/q?pcqfG!l:(x`3@%F- t\Zg?? 5Z#!P@~:D9 R]X:fyo(a/h{nn݉7˫u|oaoK F_5ETF%‹6I拞ӳ9⿨h8#Xsj-eURq?}vT6HUlV94qLY|5Gҭ(]qlzPӞ~` ec>1X(]Dgj5TŝWZ5([LՄ}$OCñn[PS 275)CO.gGP8GX04]ҟF3~XC}6KAiB[̱@oQQeHO%)'B7]F׸9q7'jxydeT`D=#oZ( 6҅<Ӂ0Ԭ| vnŹ$;$::<@vp0~<4đ ݱg+ C VXj3LP$ s7C p/wk0ѩƖد=SEҳ< ,e5?A+XDTݴ5:/`Mt,x0v~qIq>n:swE>-`TT^A0C/LcC уE԰9Z3.W[}Ʊ-maӚ*msA2w$'-3l"<7ѳ9Ȕ49]$Kdh,%6l*%x&-`eS_QxD=vu>%Өz),cH?ڢZgvD\dۑ19feNj5"7Y (]?7Clȫ?piAb7C3)153l1{J'A:n>g X[$6rÍ3J#W: 37O!%6E._#> p_lW^U`kMONY8QW؁@ HbʺM2y JsE 0ZC/ϳu3z'Yl/kѨg|"f2lPy-yOd&A"~ջQ}dU~O9NCixSCUrꍘcꞫ:f1@.zYmKt:P.S00\g bU"X8;s fnƺէ_n ]RWu(8TK.FY>Ho$WQER Ih.%*|w-h^;YeESX)=aEITnK4OcubWnXv7`*G\ϐPxp/zkWJPz!v!L00eʐΡ`e/Ffzv ͨ/quГ3Loomz0}tTce:YH*W0881\u*{M/ڷr"C}QڏMXW*Pg +f|R ^49UW_Hx3=C޸`GV/Kț.rB DcU^4 03PC#KjWEI<5`DKngE'ɝfna ε g^='ȎV;$+Q=e 9czE`a?X E ~ 07e0JNKT; [F2@PĿ<BBU1?ZR?ƎhSwc FXDشi'j(60t#9j,7ߡ B0dY2@v]#=.R`4#Xml%'i++3l5@[Υ3[a0u1\2s}Ӧ\3,OhE)~Oe?cQ5$t;^pn9Mg-] 7.믚ET8#J51"bgb) NXz:"_1=U7>t. z쁥C~#8j 8-GdSƠKxgL5T+3M=csIEEns[Qi2wҒH-MŖd(|]޲ lH4 S:Г|xr s蟥qg3F/wnwB2\DT$[K#B%G\OJUҢZUJ ku>fK,; V;@;]8Xa8^C<~^) һۥO'~>-`P6=%5]_rnUES!(e3D cL>}US1:.y(e? h08G.q.(dy,e{HZvfNbj5{R7p5Cֻ~mVo,Y ,|b)N%P.DmٔBq{h-F% |_CVӐFL$';I Ԡȇx1Z,Hh=wv LNT2 G9 !>Ymԝ2 ;N{Dr7 t~"1|1|8J, #Qkc˲m*eȤ5iQ2V&4qkRRNGx"+o OR4i)dEK!,ɮ[d S&\`6[TqaqW@~@?ɮBnUЈ1I&v/ [W\.IB-HF>!nz7R[CLP g! |$1t>3*4F73T\s_Ruݯo(~[ ȴ5HRo UG$ڷoI)foz^mkf{Ȋ(sięGŘ=,|HEDdK17+q 9cF2IYʵ{0" 4,ޟ2s>MMUj#hZhuBU/kH7@Fj5c%j)IqL̋F)zeE ,S?tGaFh"{$ Nh^Yr0?bKibעe!^*Edn ẁʝMrRlM; [aJQG$d2φ9l7=E0\GĒF3fP2)OTUHqTwłںMg:7NPkZWL,dWB g/$/NCF h9ZO2jEXۜcnMsUW57(m?q6ף@ÕbuBC8o90B g/׶ZiV{ h{~z̶uU?]! yX95)tȝAju(ŻC*_rةwQYkmgq[ ip]"2] l&bb5n Ѯ TF]{epBKRI@:dVrN,e+.O t{B~;Ǯ5G ? ͕%}lM r_= xUFݥlW1Miދ@W^ 1bnjwhƏkM8ySC9ׁ^yzUZMڞvvZx[c~׊5~~5o[zQX>͊>GQdC[xAldhВ R)n!#Lƛ]ۗ w5 wf½wr;U%Si]r%ώr>R21Fqt{mK߳;1'͹37sH>ʏ+q?(#\"ڥDsvK(x ;a҉q!rW9&UOOwvg[S!n]qb/MOv 5cvB>C[{L*hpdt38x <퉂*4:83m[9^۪aDTt0L7xœ%َ. YVg<<9sGY#c H(%A֟3 ~mw/2,M4K4)XXI݈.Nva쑋=%X.X}%%zwr_@k(2p>zb۔!a2 L;PڱY _ GF:yF@l7K|~;.ʛZFTAx,R16)GyH'xN"&aKa:'~B &,͊rdz; u?ʼ!/3!1Ttm_gi4ҩVZS`0Z/n+!7n7( L;k ,Ѹp)"8B?Sq] t7 'JmT*4ܷ& #uc o$Bj&k&DB5<ۈF~M2e/-8LR;:"Dp {n?4Me2~Cngr?s}:Iҷ3.BتKk湩{tvHƴ4=TyYJZN!`5@KsAUNouʃy;.XGl;Nh`P-\rt4w' cR\h&1G+@jP5¥<$.ML蝎*B=@ NPҁh;y1{uOEi4:}~ B!䦽wȭ;0vbwaU x $4'rBS^I6(J!=ڬ]Ú.ovgSЏ}ri8@^~ [jS`T ͈Bf /&9sΉ4qг$ɒiDMZӡc(tڟd~N{u4Q:ϝݲqwF]*qcjneq3q~ b5[J;>1gó݈ƌ9 ,AOw] k:݉*<# 3}\Jd`6X_7? 5SK[-A c}"R0 )݉{x̻1M/]3r`}u-bH<frmf"oiAOcpQV0G}AxazG'X2ïnl" 3o(V{͎I_QH+>E(!^jbYԺ{(؂+0Dh2*@ !ޙiN(0mYo7Č0ܒہg"{ȩ.vy=ƚxDF^`Ha҉= UZG& i. X 1U Z]:6^;r3^ OLT܆+AiK?Iz?~[HlX4Ymo&9sxPeDرB j"Ebdvb il)L̜\V Մ -o-M-8zCv 5kZ:yZE-"x4xv[iաʲYz[*V on"*t+k\2x͂,aN">mGv\q~Bd^.{:x]Cne,y '"J1.;Qys5ivΖw4()槵rGJ[+V"ٮJ̞1>N<,yӽGZe,b╪ > WEUtmOsAj;$jQ7j1ny Ѿ -4&Y:  Z1D=cGv.7N15򳄔11QdAΌ |BSؐUdx,_ƀ8ꝅt*B)|Tl1qÎߞ=2sХEm6 ګ ` jakL#w H6)3gƮY75n[̄e\"'P@wزcQYuc@bAFA.":)^$!g &bH7@cesF Hѕf[B{74̹L Z8ձc9 vPX2]6A8$b/ 3d®H5 4¬n;U\L ʃP˜W1a=6]7LF#Ux$nhd]D%p!1F7յ^)v8 y_!1b 8c`Εvy'83 nzT"UkNQԶnԉ)!+\_p(.a{+T]#*FɤF/='D&Yib"H2aXǽ4x 9(#[3k6y6hR f'=YÛu"تa hmk'A9^!3iĦJl!#1n- Z\TҠJqdȮQ ߬u!!Uba:s#g&0GHL2/Fv50#;KbC&ZXCJa:㨼M{BC&;hkzF#ZU0OC<*N»Gbh/ƯY\IBյk[PC-L.,ut4Λ?Φn*4 ?v>R].1:gzn@=dLD͜k;? Rn6é7 ۆ3iڕqG.+="v;ꗣUC4`q 7Vԯ) oapovT 2j郊ӕ6|Bѡr_%r4dOU;qy֛ ;``x<\r^Ե6KK:шGMKF Ҫwt"7IRN@+ƖTQ$SOU9y+bγJlan]f㼺<߫]i~' daH}s-3X´ Pʙh&CZ6IB*v[Ix8Y%QCH;̨ҽm z[edr 0e+3kqwNѣt$"vk&ʻ9@l-ZOwǗG#79CGCXo9Ff:3uxđl@94`4oҖ]Io(,єqRJAե^EPXնs4 M̺3.NyZmg,c8/GkMs bA6و@PcƱ'?|qFѣ@#>v;cuxǿrXIjm♢Hs&QcܸRo{O#O!Kח(}k_H37}~^ԬOntoZfd }O6weFgMw z:&6J~s$|Vk;mmRߠ'IfCe"f:re`>% [YH&*ksKzB)3qiu:^Wd9?"7 EF͞C{TÉHпrvXd_+ +W¤?o&(i7떽MoIGj:@Uڜ#Ns"$l.-I3Nd1`A>1Cf,`#y>nU˜HAPN7a0qYF**S+9V^¦tu;)X !?-d ADa}K"htYU5o#N h E!+m_9ӊc Q%UE^'8ۮrl| udz]$ fCiyt`}&\  7ϰ\I"o{9F t+32$Py[l:=HthQ8~iIIJZ\Ux8MvNHVxcw W̓)csl#f%[QVT,e.jޣ#O6dž~5_*շ(EhcJF7Pnx7[`V-c }c\#(.*e_U9iȷ 8H]7kLܼob8*%FHaN<ʐk|ܫ|Ԏ"Em6HU'iE lԙtI -! NÄ@'p$SxIP-Ǖkq ],@HrJQ`.xzb 'eȯJm.FYi`q#>nEBQ> x 9ʝ>sCCr\pa9ϓǘAa_`? Ncpt4~\UGr!UP O<Ӊiy;n \^\F E5& ߺexc=o+0ؤx`B$*~ܐtzQ5-S};e>'= T;2>^E)4IVp1 g%fm}OYtf, ..rg!O=m5#D`Z'4qwT7oI 3]V,Y$pBmk9Yn3";|)\LAoeȢwJwg&?t}66pш)EyeG&Uo\"M"bb|"?=+=2.f12`Hz@`DA"I**W.Q8Ie}, jneX->4~ӍB͘S!|Թm_=fy|gkCvԃ!A∴A@ 5)?IӨҮd y#0a b;=x[w$3*9W0ғpU*&jY+hP9X67Q y9Uk5SoƗЀ-jp"-y XRƯAg "D1] {#+U3-2zoĬمح֕o3O90ե-c*H=cekp]. Z٭K6I0((,<ׇC/XΟSR=VoD# QY3\hg8Q8"^o,?3X}|:+lX\zjGi,w>-m-:E;6B'agg, m[MP͸ŕD}МYuIk"ߘd;z"X;( XŹ82bW,8u%ϧvLys%+*Zjj&#ٚ7¾^<2|1ZFm%jb5kd3w+`Bt"OF,*.0=-,dWZ m*cL-(,M쌭۱l͙x`p19*T1CŸdcP*.l/A uZKnj{Md3@&{}ѥz%m0 \x'w?g@{=0eT1_F9ѽxv2mF<{]J2*|ʝzespUv"V!vD~$1gA׹0UƜ]Qgt7$޷!.Тˡ{:&|9όّ2;Y!(o7! qzXjuvR7_Ζ琿+Lp-*AX-{ ?4v+tM+9ᴪ]Bv1حK NiŃ+yDoKKB υj؊{a}f]6M0A@DaHӣxQҸkkx(,У9!iT/( 1Ec$!(z ^zK䕵QJ9Z5TDFf|2qCo:Ba" O[xIL"el؍c] ~1}싌QbZcEZ}xO֨ij_4R#ccu7~Ϥm9`YwxZ kl\Iة.R:c! ۆMc(8KS(aGˉ20&@c qV V@k /éW7_N"yK!=rVd՞_ JA}3t5VB9~igԤDUV٤C 1o^̴M@kB\h=Q] hsIZ=1o㓐7V/7B[emԧ2A7(ELT~f X}>,_yOu$0?AްA~JWZR첓 XQWSYU{1ZJw#)U |j.+k2@*> -.iVAŵ6nG"[L[0ƃjO.r@t; Яs:ua@l7;fftw!0~Ȅ#[/baWx^iL[XiVcw6q!Ļ_#.kfOG[hVg)KR|>s</ kFٙí7ᛇU/w`u_Tlj k:$?* (販bdF{=nٗdεNjCاH{aSܫUIo gV-왽G,G:~M. mB~2Q:AQS[xHQ'5Ч+E{ N+Ƙ4p˽.'7A ` [#6t%Bx!c*TXd͹;MA!MR"%b:oe0o 1QvҬIWлg\txI`MK<hVzf9cJL]­} H?s⬐<jʋ:GH]L)"kmeoK :3n.r&X^ M ^u6B)MP,N(K/:_^? s QxR3s1R?hbvs@Wb$̇ ʗIQi T`#~I_dt[ߧXwW+(~)Y1Sye7>,0<\-|H\Ewoɤ A.Mī ٸT ~2 ,,wf:X@E=qJ axS|p+$ 6QzX>5 TH9n}Mf]Jzq$nՆ:>;wjmLWݬ?c'N4^cȭ³(=prFȏE޽AR of1:;:paS!1 W^za{efә3Ex(^!T߯Q)M̺r.VTOw95lH,[t:p&'RAaH(GkQnUWsn_}7y?!Pa"6]VqߪF2͌en&5N\W*vΧ QO@ }î M#/e5ny m[FӣT"= ˳ۺN-gnGQ1` sh̰6C@iWlG|.ow6~mwC6L:w{C~Q; yQ7MkIeE_iOd8r#WmEMt11;xz{~cTH"VС_@`vBQhYh'VA h %'Q+ EDz[%|oB<2dߐP9t4..`Vf[ iwn(6GLP͍U5Ϥ"TŞ!_:7u ZcJqt it\hbTx򱚯5zbƧ' ʦ,J1^w઱~wq5SaQXcdkIa'Е嬕pIތ^M!)5'~pd[Ԙ/d[]2p$ӎyS4٪9$(%Rsz\D'SSDXsC9 ZT1J͂8:n=WQBj ʊ׎5^Q=z]ph3('i7Bm{E"\fb-\f=Ly ҆!C9W Z RU,u+ Id2~,= dWF3K-'L^T:?"rQr2c78⧨Bg.j-*Lz1d~d%wCD2\~);q902{-. 0nH+{hi/*QUPz/sȰST/uP;/H1ɍSwb F}V[W "i01hwvfՐG_Б }W̏n`w^ 0Չ=±߁H޳J%H_Kf9wrQ(Ų]CJd.7uātw",G_Z^hJo$gT*-|AZ8XIh6:HjߣdNL+&?E o;2]n.~\oz )sT- blPo:>0 (,΁h._ȍ;J sCSu(Qdj,>Jت!%~/;tUoq P4w}OXq(mVKX @Tϩ`31{/~#a* ?KSI@nd$Ai/;iWREosْrJOG4<w-^B8CST |OO}- !`UŬ/;mqW(||YH֎]UR6Cm{4 D}S2-׭0WLh zrRQJEm(f40@+^Rޥ!o$0^bN,t~*$DHq7zmPJ}e!!]Lm69]<#;"'σCjV33/14,Z JK= UBiĄ+f<⅀o@69r6l 2O W6^iX ,ʙ8%XXQ1d/-p:8^_,[C%fh 4wG_f+{B^+/*Udkх1J3wOժ7kYOw2NsrV;*sdknD*kq7h7 -k߬8| okxMYIvf:bސV&WQKMX8:yAw+ٗ/yf=dOeՎ&г #$61ErI>g=r`Sq94UOlG57Z*eq]M!}С]Gbᑤo8-L{!ŵwϷp8=x?ܚxP  >7zw#n_Gxd4]-uB==pѡvZlmh5iSHqm Px- ׄ엤_|'h@=xsPUbCZ$QDr.B8 hr FroV.țkEbu"%H9`8Hų0Cv]-u_%aFD9R)=Np=&lJq(ɟM7@e׬lb F<9P<]yNW Rjjp剖DgKqgP8_ך4w^Х5ej[4Tu/GLF=\``wa8.t%EMu)KJ?w}HS"4O`q[$BX)JU@T ( L#[(ո>" P΁©=Ixa# b؛Y"Lt'[rFו\Kafm[T+$r%S~{JÅN?>f*S=~N{!. 7#r n0L#tjNg{Ss>, =E5sV :RX+|jLȷry&X cC!c}ֱ$TG+0a p/A6='<Ѓe!1Vkw3ЬB8+#,o lQz\ÆrwOgx=, WS&]kB2[]XNGɝH!fv~ϥuijH3V;}FȴH1"4=6Ir =(igAS(T̈5cN6/,23a0MB43Q#d|U٠#n@]oq%S2u%jG㚻dk6.b;-1\ @n"iP/-[ñ%M8=af#PbQPDXnQPU6*~ё8YCx K,졏3* zu!L_-eԛ=Hnyxcmr{˽^ tYv 1PR#bTuKWq #)e17v. Y8)@ VcG\kqx3Qli\øPoc=#B 8vElRHwx?dC\v ni"C5!%". pow)Wᦶu=^TQ}Vә|EǩRH5u\tt(C-]A*d @h9jh#ՇZ zxfȤaY 8IH}Q2>5!褗G.kdX]29"NjWd_䮮e}J uGQ4G}yl pJez\ '2w FؓK? aZEIOyAw@gDFSW7uR^F W#W>Miӯ_t i@R v{is2J;5XnֻΗAJV5mX_*m unF}A\crp<$D1a09zڀ3jb/* Wv'u?5by+/pϪ5l9i-yDa=rKYB+Gu0$&,hP* %RˠІAPtp;b'QqE+Zsh?fDs3OĚ^ޒ톙;F$`FH-dpn=B%* \chi|hB'MGgFfQz"a [sf&/|Ș1vPn zj9 \~7Щ_/J.&x~EEczpXg}iR˵[/m᝶|+%!rhs?빏kVy}d J ;{hEnӽ~2AhF,ci'n1o9veLllPJu/Roh19Fڟgl,$$2gt4%$,kFrd7 .ٶe*s*Ap L$NN3OiGl'UOx4X7$YvDH5\\ZziҀ@VKJvا@Yṷ̑dF^,9>mB,|5(tUnl @wL"QTʛ$Kev]*ݗQ#4Mz}ߓgOaP)sXSePcvTTKU,drnjz+0`-Fs]{v^HF:uůL"Ta8 a}6-WȗY q7x*僗EZ,;PT ӨE+dzkEH8̦*zMrfOj`G;DR3$c o//ݜ uVW*J @$̶xKƈ-iF=[hJzxS<II+뀪PZO=]{9&0Zfmԇ]"k^AjrN@1S ]>(SRIxcE#LϮ^+='[?յX {-J┕| Ju :9nր = fER !+l%7xOVBʵ18~ ۑWۢtɮ&,j6]EY{vD (x%=Tm#\'+9~F[3wO-.qt[%# jUTL08RՉѱ7EȖH%06# =|1}I{9ؒ ʽ>1O4_[SvV[RS%Y|jʯǣ"q#J9TVwnPݔ.7HwM52;PnbEecs@F)riWpkkH0ߖ%[Cji}!",cl C&bђ>x&ףԥv=+FҜ0RM禷֥8Vq ɄP c2~:u,'kFhzw"-&xM3N[Co[LǠ|w_% ;~)U<ӎ%Tmz azƵ!K=1NI:>Y^+wރ6Ln@& M=`e`KrG.LrzU+@׷{jxf>Z)g~R&mZ'^f8yRʹݑm)Uyφx?Yi"k@h b]tER._1ket4p}fGo)qY0u@ i/4@ #mCQC=ɓǷAjV*̮9zH",agYZ FF1M% IEKO-b%Z_-2*?'@$,4;NAe>Ҕώ,彽ɜ\kFR)sph Z*BGj-h7W!fd;K/HtPF /]N~qJNU[\TX4~rMr \7k`A A1&6qτykA_;=Nr?I lEGgn0/9l7*5vö<ޅk5=md/~ȳ1XJtㄝ Zk>zT'6[^\ # u|wN gje(Urd/­*%l;0+Ũ%b8TUr5nd w8p#n^ 0ڋ${j:nNE˂kTN;#̇&~*x5mts{)4Y PI;| By2횔7L)kq`5S@-qaj[:HLEzLɺT7н2Q^̇`SEӑQ;1QvunCruTj?@Լr y&ߤyv>zdx.4tE̠D3]#)Yٍx7`<ĵlŻݢyC> ]XπO1eg86cVA[8hRBj~('UwU1#A[oq[DAoX_&<^NT5z9+ Efm r N^} m5%~`[`o'c$_!@MttAqzz鍎Te>̍T0kr˩ yNzɔG0g/ƍcyP5Uc~}X߳"}pg6q#3 sr(x<6jl0cZP/T. f?@ĢyFZ#3ܱԭd|D6?4ZCp*|[?JPs_+(Av!:8 -`_h£. !A폢b8=YLIO~I2~o}A'ghưjWsCk"?OsC < <3-󅛔KRR>+FuosyN1Uѵ4-6)Š5B&˟tekNJ z] EBtD<‚JUbO:(ߋ;;#v堶cp&ҺNE -ٲ%/u~ucխN x< fYM H?s"] w?5ţFs,AyG(!3-o8) n>mI''T,%(8r0 2,/Fonv^ FXw[SGLhVgjLQtg.H8'ECWv#U=İdT9ă HD]e*gv x8y2/57>wIVŨ#1qL̆94ÎRfkF7,LK}Ie<~{+bA$_PFf9 ~6"5F4 +|uIC_Dt }5ϻzNfwޚ咶\ 1Ҟ '~zNQ0W/zD^90+6T[O {UZﷃ2/LyԎOJQE^*5Ra`wW)$vVY좊i0TK><݉lYкELȘ&TlSC Pbzl畱(3汾e˷M 73Ev&hǬ/s{VGf<}{KaMޗ[8Vl˷\O:h{&+El^18Z胸%21'ہ`fY#^"C&Qߝyx G)t~l. e&ʞ]EQ.%E'Ϯ&gEyM:_3LJ 7hE F6d1Mj<&#<}.M4ܳm1gәHb2_=5 \<"֝!C0>{ޖua_7q}Z#7bm,{kyLC"њ|n&NJ~ivf~݇ Y֎ T [  K[01C% lRoot_Balanced_TreeHOL-Data_Structures.Balancedocument.tex7zXZִF! (0]A-MՋhvG"uIBm5A8\BʕbiD-Qc*qD,Q9Gi]$ -t Kd\:h_5Wvq-KCǓɘŕܫz{[گqݝ d2!XF+J3}p#g@P浦|2-1@XJb^T. V_jUǸa,C5i\Xw gXp0S63B\[hy7䅈'4bYϤ͐ń8x*ܵ}/3UV;dKMx"M-,K"QT [/gLDb-zQagai]Z 3 ﹲ2.1_% LRoot_Balanced_TreeAmortized_Complexity.Amortized_Framework0document.tex7zXZִF! ]A-MՋhvG"uIBm5~h}^"vODlX:aϔ>%#|yWz^)+(y.bËTXkT ^GUO1׏1eI/@ 25PS0uW}v` kT]@d/G6sq3䘚dN.`p}RHW"I\Wb*DL,X>ULojohIDg*Hpi>փn5s{..|V8!0smv س+-}LBDM_KG[JknCR='w?l3=Q.u_]8&!-E^@:u.`/ޡ8 lmDB_V_ZʊA*<;Wf;%}Tg!ݓӭ/mbZ&KCY[?l^q@)@$s!8yHÿ"wϖF\NP:2A6ٍڟsܟŒԃ遨{73D-6,])?/Fz@X55>Xm)(?`,4v{.Ý,38ĄE 3c2ՀU$7ZDCrq^}$S[lJDx\ EiTQrSNEMN Tz(jDtnc8PD1Wv G*CUSI䖓1+=.s %ނ7/Ǣ}Iu< yLT|Q 'T: Vd-}V|!d[S8Q7uwW%9t0"cԃJP=F'^Pa z̶Ķ{Yjx=1[% lRoot_Balanced_TreeHOL-Decision_Procs.Approximation_Boundsdocument.tex7zXZִF! /]A-MՋhvG"uIBm5=͢) D(Bfu.# Ҍj t * τFߚyuؾr\XȎ#h-fċwjXH ZAyXw{iUZWD^:2EZ h̜t2\:QR@NϧӝU#BKvso n~΂ja&\ZaR M0)rdz::QH<֤N/ly-#y^6 dѡ߅;^ (Lב+uQA7LˆoVngpU2nuCZ*JO!v;yوkw+Ynr`Di@%\R3q;`W ~ztlsb ÝSBs.䕣8:kN@(R'5M ޮ7Ve.>Ei'Vv73blF@:8i@@D4-(>籂O >5?'d=B(XV'l#Fk>i}"ܤg`T0w;kbl o81I6Mz14;Yw㐭,$:䀙s,cpc@i"1zpm*k RȘgcK4fzG0"qPEղ.-:X ^[v.V9<({ ڰ~0 _x!bNi˨yhPE&G樼C\0lV$)DS߬dۏ2s;e}g krwF! 0Jԏ5hblj@^Xhܓ/^ce$b~Q840;Ӗ9tw2ZTZ^_~c#!TNͶd Frڿ{"59lgi_D#;`,̺Bp;Vwk+e>%vM 2[c!c+|$ F G$6c)Ϯ(zVSr7/0cO:d?c+h,]nv:Ys_-?1/>@[H㶮Dm؎jK]v`S-_(Zd :k@ܖJ~#Q Q]]C>9~hVxOJ?M#H_^}iªOU`r( QGLYvb;$fXyJt7+ٴ)tbDO.SΠv$qOḡuV֖8Y~]?8(zR, WzTLX;w{e D.plݑ@RID~*$h&줘,hs83 -NlV|cήH\(eN0D}eA׹*o+K1.Sl_%G5=7JqDB#PBE2SEaihqAR_7ix`4 \r1J߫qˡjkmpKeM˰~$,"US>@+*m5llxMnX,1-aj{5EAlޣ #ޱwT͏~ԙVjEz'4JKZFFa.'LsLv1iZnI HX(fIĤ΅5qRcc52юuipi%=e+yld]EO~0(ZFLbw_AT"&5X6+zGx!ԯ0v!A6ZS mR;hSM Gg<Q"]Q6! / O8aԯBxR|dB񹹐|utO0U U#w5:d/0( koν{h'xpOVmD);wh4{ݶfR"F}mU =( Df rjƗ׉.fF)p#:asٲɄ5ăp 4x{4$0)Euؙ޶'7^sbOk%:,,"]~%' -aa /aYw7Ur_ZGo\ v9Kwo\8N_m2-| ͚ obfj)y B6vX7DmN訋 o<3hwP8RQ޻/i#-K_+Uv 8Cl_ӦAzGXA3Où}*~Bɞ⿌SA (,]ґ?r oEh0  .+mTO#%{q*LoB9NN'DxS96= ֦YOKcحLJ:hAw}_s'/R0*#ĉV#J{3HlfAVz}.(J=]M & z'#e*M xe?luZ*/^O&2"HϏkH Sdmo Y,-\9"ʼW}TZ޷*Kg&?K4 7v%(bE&*%SOA B"IG+@cY+C9L9nCX٘J{jDc MSG/]^Af{ڳ9VWeesCbgN%L >n0C,qmAQȅ `m҇)"ۆD/&P> ?ΕT+ UߤO28XK0F2qY>2@L{ 4&C'NǴsᐠ~a"0 O;ZU]~KPI &׉-߃mi5"5&!nE ͐$e%m/8f `Mpk3|iăxx1yjr6knd!4\_!/O }ˡa.1{ K^!A?Ci*m\)7ٛ}n`PˆmA Z`GN'׮fd&ZyTTyk3ݍ/ʞF1 lz}USN k f`XWpιO2G:Zh)sQE;Fٸb'eC $E./X d L%A yV y7FR) (>jhVY /7^D@]R7bYi.U`eRN6ު('8p*Ͱ\^u~aX৙"P>\+s{ƻꚯx? 2m?4FjU )#Ե3u`8CNiih}ݖ=&׀Qfz "QT0.syWۥڎOI]5bJš15lnm܇ßڵ4H'~[F1)2^V,pͼh.^f*myWvUogjGz<,qͳ>/>ũ$q8⽡րVAG(m2x/2pIN(ojtE+D:wM\*P3Y"uu#jc*`a6Z=> qʶyX&W6*װ]q{ EQ)mFbd9{S)հbeCpw~$y;ģ9mOx{ zdUOeAQ@0+Ba0WbfhcP<߶b8%·N&yeoy ʣ+'(&-5]ݚ7Rǩ|.>2:np~{uԜ;$`?nl_OEE mܾ `o!&@2uqjiVS4ook3᜖ ځtنXJ%eIN);Z6eMQ@FE2?!mբYGA+CmRhöڈd=d<׆Sr`%k}ZGb[m;8]L#C1jPdR] , `ZFc@LUR9mO4!}X3J,P q$tWQ7/Hڣe̓v=_s)!̎Ta v l)bw[anq2$ؽqTl2Lv}Xf{t@󛔃Yt$60ʳPϰ(6y8MF®I5ܝA}9KK?TYfl§I >Stk}Me-Ԍ\0:>wZ Lg&wU6Ś<7o%+K.F - &CͷD*b 3ſa1r boɝ}c&Fv/ʹjmShTT )HV}(Y~r3Eއ&=D٭"xuTP\v{W2 w){80Ҳ`z=IA3oU{>fiN#P|IVdr3ٽ KKqC5k_ #]BsҊA7Kי ԿaQ R|>_tR@)#AKJv 5\8srUs-4ۣ Μwb}#|J-W A/y}p#2EHK~6HT˙] ߅14XF 6"!FLx"Q=i0ful]u{U7J~9h{+Ẻښ/P2كaAZIըNKo`SGpW tzRnVBw/%m&%ỷb3<_oT čr@p^|Z)Z^Xt˝.8d5xyQ=̊~SW|Gun[|FNhØG-8q0p%^ 8DăkEd4A,c|< % ?5 `5V r+NDm$`9Ayk pJR8'JTe_] 'h_L|ZlLKFݜ hԣ4H+^τcPAC )["/7s?`a11ˢp _0 C|$|:!?Λut"C 3ouUC h4?q_; M림@ N=S(?Sj| ſd_xG\\ƙ\X8}~=YhEȻ]@)?D{Y,(t#Hi%c%,x8%3H=zq-1bn(@0+(M# 1ں*j- B1;D'zhL|G!|Ѷ;0XXe)d~sj&7cܫ>k4+\o/nLkq0tsbc:deы˶* vΛ!P̯gڹv,1СEf?bg!2suiB8="/BRNNe#EJOF={+*H "}"ه/g/,t%!Ct=3r['Ԕ'bH[A"_+3p,dTC+w٠e%$pznIA qL1866|5!+ֳfܟ+C5ȊN1@usw^˶ǭaܷGҗ *#zl DN dR@#EХcݔtPd8'[ED>2- JK5D#eShX?ZJmQtFr:ݫ Xu D AxB@^?& ̨KV/huui^IA$3jC=8F M09mvzf3 C!-f(Dǒ?A}TBL5DgG!7N!xvUOY6%z>co}z ] }A:'Zgq:Vp$!#Sx1зsu^o.KЄRCh\Iʌ 5o]w}^ Sws0ҏU Pj\PR-y"ޯ+؊#Gtg3N@;x{iR;ԋ@7UA&37)k@.Q*"11͖ 2-[o(dߧo#^SGǶ ›w ѽ{lCO \i֪ >؉ EwrtB=IpRmݚmOj~N iwУ-NԞ T,63wt~_U!oD̡;}#1܊ {h_֫Wfnw.MHcVf^ENJѥ|V=)wvi$Yb95v[gyzLh^,Xlmn@GAh_Fߴxi{8(.tf!1ψÚpYA׊qvEz&/6[5Ũz*9zaR3"Nl%\^"XG-(f=j8o.}6AV3^Ӗa@vi lN[, ޭ4-w1+'YBƁHJs/gy^lJJŃTwWRVe m`& TYVMx h3N2`ܹ;G5|vl,+5awD*)mWmu-9AMݑ O:zpJj5SONb7oQÝ=" .H_zEL.5ƣDpaMoZJǞrp$ء`X\ӭpGrvr PށՍi( 1/\ȥZG7bH % a63F3\.Aa`ZZ< pz0ʹ0l[z'Rԁ︗P-SM(*/\ݎb*DV3V{^(u ^Ʒ&P*[IZn2-4HÌ5VӦ܃ĩ`!x,1gz t>L?g>=c5gGӪ?/!z(#<"Ir[%`F n#iKT8Kڣ{g^)6濃llѱ Nq_62ZcC՚Y=CBOg"~*' ?Y~5V@g)s)k~'iU;9*﫞 ?Z RXyˤmr;O:FvÍrAm{~WߟpKg˥ϋU|y4iqy WA㤰~/FnўiM3VWpjcB1ѤRUqgLZ4H>F=9FrG7 lƎA3кo zWvY͈nd: ^vˑPR '2ݘc4 FrˤG'*B! dmpHy"M&Nm .:e>\:u6-mZucR`5!=n;mjGއ%iE1_Oa(FoEhq!dx}?/IulaM :ir UKRޑKzpF^܍1AsVGe՚"ZL'F[0E 7(|C G?VExfYlZ ȥN,8V<}N&ĶV{Mկ;e]rbLSJTr1~bN_U3,χum VX^H~0X>g;MRƜg^pHMɭ+I}Ad&- 2~x>{w>fGKߘ9tMQ  m%0\X(Ex)\) 95-v]$,V_dbtRGːN7 d\{tve&"5 HH-†**`$ ~,K$nTbi*gaV->Kڈ |'Z3,R*U=6fUT-;1sSm44*`sBg넙γILBz DXo \m븨&a#<8\:STVA6 nMbŋtӸ[bf}[עcl"F$S}ijTѼz"d*n5S~L|l쏛Oscqb|CNiQ7C%6 ȫ_/q|?h2*$g$aGZɷH? 0j ?x$*ܕC!TK>Mw6?@D;g(.+㈕"5QX;ƂFLG|E5 ׸C/zM(;U֗vsѮޤ̢}Z9wQMqG_smhQHQ<_,NG$ʿKF8Ft`0) vD jjF60Kl^ S aL狼mN/,KƆêy!H%34wD'߶l+p;FFA.]h&ͭ*}D8,+ۯrGbSc+^d8[uBtVVKO2zK$as ӹ z*ef[ ecq{`YݺQ\[عWO}56Tp:|X-gʏm |HXvEwU1 լh"0/4f ʿXQpY OgoQU/n3j&]h525"HL:J@uS>%PqR.=?5 =feY k~I RyQ{y9p4{qSOu2j yâ1 936)aF@TO W EM2bxü|>H>5g4 ߷WHayI2j$(ĭ޺E-Æ}9&6n: yc~%7>Yaُ)4ml 4p8dZN ^0@띰lOF11.p*gު3Ik6crl3hNaI_Vh8 lؙ.LK)$z Eݹb\ҭ*'B{d(D1_D]a[{BjlNB!ygGCSn Z.u݌W-A'|E?a;Mdxe,USƚ)lzbQshCI'HH*}6ewѥ79xS)ݍtB/!Go\ ty7ջ*P]`?ȕ5|L}EbT@jɅ)}"nԞՓ޽ ,t]a E׭Ysʎ`fs#\~Ex3i(zU1ow>K4ɩ3?46"AWBg5L*ǃI䏉.-F-u+Eb&DTBeF'6@!FKFU$戴#x;ּ< =2HL; V4-{LcFag^3QZz+ܲ>BoS; ^ aMw>x@T rw[a?a$(m:_*a+k\֓5ǹ|:L/`' H޳ *st)82"[t}`7 $::U>=昜ߓ-x [z-bm[+0[!5j ŹT! *& 1IroxgtQ([Myn2@qI(EnU.rn¨{{{LtoTtt2hicUzv9I#H:'aCH { i>Ɖq-EPFOѾNQzl@ޖo֋y!*['F 0ͪIz}5a;n;P-:pJJ߉/1S&P'TبaWVYTƽq=mO)@ݤS2TQsd@:O`5۩0jqoA ";1%t߇^7 4#ٲUeR"W=m8d\\Dl()XwMhcWяX^59\g@ twKY y#DxTv&yoPSWgHV*nX K䓙Nxȕq?(ӂޭ ՟HmFwRF|$7ҩM3|Y!Qp>CFL07HB@/۽a+Zk~*zzepXp/]-}'_8ALA˴^zA䫟8Xj# [#kZU)f#p:A}vՋ? (Ʒ:(QNtuK';zLP3BeȽAG uN|M[pR4uL#K5a\JPkY$mK&^04괍7BcdXPLqR2D64znmA2Sƛ: fP<%`+œ(_udVRk!TdXˀhp+oh03m0'G{W"j7Ϝb:6ȩ:fu*nsUE&0q)3 ˔޸2VA8<;nÓ m|0]+_\/ _Gz--;?,Q:4:rŁ?L ܵȣ{ZFQeY*^yMmp|D;4<3OQ[.1ւ {&~µr r8T  K1G&C\bTaޝVwĬFYЋk(JK12n7ھrRexɴ?AQ֛kR2-O=~)U'?9LB1K1צ:P7ijwDr2>TR |}7ͮ l}QbE+oN<8-1SP\9Ғ{8F^}rhV] 鏥&͙˫<]'D=塀EO[h6tb*RQNΨ:ir>j7֛*˒z"nv~b#1d:(U䃫>֩kc^.Mbs=|5VArO9Q-e/0~i^TncI80Q&Ym~=n(9O#2Av[ŐzݜIKv;id5[]}kʌ}')^_l \~\ ZM+p-bA<(3M)Yt"/ҡ 5o SgT1ĝ?Os%(WB7`7R5C/Y5[213;n+E=C0qfr+IT/&5|QQM6YM E2sD@ E)1%qʼX&Q]4_|ρmC:)(xꆷysͯ*oYe%4|UL>?~ۻnZw"lh-a,z%[-a΀cyJQ'T 4XԄ'"2nkK`7:S~P'+1Vſ;vW= ?g{jy:7gY@~n/c,6J|ϓ0ձ*2רʂˈd} !4'?5Mا6ms1 [$j^Lפ̛t*6G? /whr֙MEIM9 $?\2`x LEJz^Ke@2f)դCdؗVMPVZ,«[G?ż#+ pnOPvSkBz\۝Lq@w> Z؂奣;+=[qWh4Ć@ 1D' ~%&TXf&;(Y)?C]U4nXI-) 2n5ul|d >Z)LY9Z@9=)u9S4o1ɖ >U5|(Tc|DբHmMejȭiTr\ѕwMґj<90,RTiRi/;is}424b"\Cע<+:Xb"L[Ɯe=c"dKʧìzцrlq+l<4B #橐lfG:Fvc̺fQI@8{w*$$NQ̈HM_#H~@Y9= '`XDEoiC|_xqb˦kQb" ݇eb3c;q/# Y݂+k,jٵWGBry<5g$CBQ?)(&_`/Q/3q糰?8X$q>bHBv 's&u:2ȍw(_ރe7BW$0:GcӎTrRT_`b gL+Ɖ^!o[[v?M4[NJiO)GQ{eV2%?cEG!KC ݕHf @sZ(|)GϽ" N 0GEu[H,stɀ#Nr\n zͤkM5FA62@  pW" 윰0;Sv;\=nЄC葫B 6Ÿq1*RKnpyyoFva bh[ïtJ(<@fN$=!SeMՊK ۫G[ 6 5%zޅJE N_{km`\7p m,ne ;4jS}x>O:p[QJ3vs7=Y3 5m$}(1;{z\9X^.-R }/xƕqQMuCb?g.}I\jRGqV 1^T tP "Joz}*wTB+v(xqCH 4&w vMdsow Z>\xF}]m1Qe 8K H3Yz%rgKZx;8< :͚\Z9id;ګ [3_Bn &8(J$Wy--?nٗTo)^3juq'$.?S~zWMK}2kvʎ MGlYm}TkRYB9D3m O[lxHY`1eQA#2{S,q'\m~<* R)qo\ۛY9 8xk|ZM @ 0d:@Z,D=bAariDggwA40ޤ45XNP:Mh!AXa,dX[5֦'0 'ޚX(x/s,߁kф~)VKliWLOrg7 "#A0ؚM 'al~ .BeRPSEѢ`Pđ?JpOT_ǁ8mi᳽!H=-6ףv>6pY3ǶLUhhXKYOHMLXyGӷ$-g(B vPKT~~o+.]MnyM1(c;m'.[+DqmPFn`B묠1A$4)1)Ss?njKm'<x]1K8#Hxs6&@mԭĆ.r2LB=Ϙ$8~^ܓ۵cɎM$5`P6MV2&$\G;./n,3S'D@k%~nWOMF0tH~{vv,?]-Oݝ.f(~鿌g='Ë) 8ZEfâϒ PE 4U$o,j. ¼%$!Qق8Ͼ~"vQXVqY!qb)].5miOp~*)w{}׍bGu+h0K]Ē3ӝSҧ'^GLFɣBR2 ÎU}BFoh2dTL K }qRL#ö^zc}\5d;&Hڄݝgg=7i?TPS*:BZ5u ۈgܕݰ}.%ɠ26~ d{dpmjFBt4nZ;Y/[Z+BdeS(Nأ.^'-9`1*n:`+ǎ'tlbnjh oσϗ /qĘ(u5`4F,!>}~Wy4hr!cs4:v\WazEʮx#wfN/]w=^GA>mwx?ҍ\__W`# F% y'*wW)wIʱ +~&;sn1vZSu4TZQYYbּ2ky[xKRcja#Y62*fb-RI kD|[\NC0u2I@a v5iUPŽ͉f"~*@BВv"̧SG+!8a5S v qPrTg/g:AMcڶt%2hsFlU##O̤N5/`#s!Fd)ݩYeŨ >IdKou|ٵb+Q87]e9W#5d~܄Tx_*q(yhgKx@ZcX\xYgHmt/gpg|ñ!ZnPɌuLY&nZ3<~tfWcS.I{z"SV"^(ʮ=|mQo W8^!yv|S&yc3d7f <9-K5#v9YV\@<)QT"ừћ#7,&5+slv|+yg9KU 7GX#DUVo X0K^vZBꏩ᭘(S-n:Esj.Υ!GOf2\%`W4nI r/B' iq(?)b5 0å$gfgfxv\(re$Z{>mG#+LP}a8[mz`sΕ~QtᤀՁp}Bgi|QIGkTX]f>%9Hϭ1腦to*R[.n>2)7zΒ"G'$5x 'FջtBH$2k@;Ѣ¨$//,GHwGn PȤiEc}v.s▶30WoR ]j}A .bnto'ijb)mdп,Nih={,qx'S 2o Iv Uv!͎ ,X8%[R\KEG[C?M`HB_W@U()x ʢVMl.U/gl0 pgxOdޫL=Z=֏L:U$7KEK{BSO pnQ% FQb4@)tX~Xh7P锒0o쳫q1%JGjz[yTtrAxW85 \Ŏvb ők`&+:N*Mpz!4^Wsz:L+AbOڛ@SkMF")Xꍌgy2\̢$RU܃Ά6a^뙲rP26{xxQd+S`HNlI'19Xy^=!2 &ClTE`Ț5)tQc펜]Y֝JSU2; 0y$dX:{jy r1l1q,FcRCD`x|Yc˗4)sW9EukoO“CfFFdރ=#i`HĸXaqGeZtb"$X&G S#_yIΑ5$&'%auƅ0Fֻ OIV;nWNb^TobgӱRax}O'H8htn1! sq4&+ܪ@ Eab[ $J>OLIױqjSBwKtqU%5'-9O׬蚱/Ax?ӊt%ި*\u|L2rxk#5*b3ֆoq!o.7Uo+{%M~/G˘+׼/N^p>`G %\JK[}ѫ,-g^ XyR2~}ɩx[3f5Ƨt=Mf·`;^<rhϔyIc8(i>/k.˖G95I]CȪ1rUG M$z/u RIMM \:%7W`VfVb^>BL LL}?+|O`  ,14Ր7!JSãVllΠ8ƞz0g1lgއzFbIm`f kN46ae1`m#26S 2#c[jY3  nd3+@E.ICy9(5c:_.EjDuxbu*s'tG=lI0OT& YvdYɃ7jD( wDNF2uRPgoݦ8[]噏|DO Ω?lvLT` f3xr¡gTt#&.RNϪZrإ)=}IѭiT@ [@R(`&Z3 Ŝ*7EpRk{nV{RV#B3G|^?IZ\Diw+I=/7Y*H;ERy0*0&"۰2}68n3S[Gϴ8n O$ @l*4K)yڤ_7Vp0rh rptAiodjWDYw; }_d!Rڭ<fd4 `#=bK3IcC>X߳-rgYZ)JQ 7Ld|c97ڔ@GIfκ8ǯ YV -TF8Wd83x7(ǙwOլv\3wT|t9V._uLJq?Xy H=9;f~+Y=~#>J8˵B#j 6К̳PR%8递n䨷JбLJA*Jd٠)#!ep]iܽ::]N8,*ki#̿~~1 IPhrac{9pPChϥrBϬ ˈ8E*#ątRW 4,qQ{hei̋;8N Vs֧U73?PE?^ {|آL"o ?yaIǝ6^r9@1TϨյH[\'\3A(-fFcRcTiwBl(qlYC.dLsY_WJ'n; vUZXͰVcr9^ y5MQOn>e3E%0'E$a|bKSUi;mɘ/oWV${ȋ}}R@kA"`*쓅0J@H<0t3m'y*RUqPnF/6 E =Ϝ~Fy06 ,TЛf)~(pݠ X}G@ynu\?mS9*ij?!WNjx/jY ;L}Dr!<n x3f1`pM Juj]4srW` rrZ 'Bl$ w~% ?d%*`&u*_l6KxYv#D:iT# &H[!PQaSESqhvQT;R`yB̃zH}O0ۦ*u<]y՘c,SԺܙvGHE҂+)n{eX|v6$ HJG@.0xf {k @`V_tmu޻+ *lf_=5*řrV7<>9]CV]v&aJ0 R=bJ% P6dopv{4}]sk+F&~J]'ή}N5]dݜ.t';N<|Mrh_wJ ^˱wMPOcc"6x4;:–|2`[BS/z@ޙ0{_6X)SB&\]\DuM6= a,  >7aBo:X1"([~)!c(#٘ˠe WI wYiL~+=^_K1&Lk;@l4QveX7ch%L9SKTf' Č:h&urzi%q)D2L"IdHg]Mc?" Ym.piG *,tA4l˵?10dNT~QT}p+Q"+[%OEm]u\{,,Uc3 xQ$5m1J.vŘǹSC4UZ5" %vo#OB:N2'}2\Tb\sݥNyM\lҾhߐ  3]N+cr!kxvN OݡFs*ByxUC2ԉsZg3$Z:iV0 [a3ՓjL=I#wV]쬊'^<t O3-%=hyWD%K<:T:y=ms&źQShYYןdeyf5qRTU*> d0W9lZ[qt#`f>8rd}wm&Uܜ$|xhfSd==ATƃKJZ;sO7BM$}ϱS@u8VQLϷfjgFgL3²o<07 7zuaNb6쾀SXԡCIς+# )z8E7䐪oOLN0Ȃ=*z:SX|6FZn iw]`?Ԥ/Py0Ҋ60c+{a읁]/XFP)cBl*k! AM;N)⛪bK\H8 ݏُq|I|0j|QA~MSjڜB'+l;<[we+]; =|#5fL5XXGۇ@v&iW|''ku %VF nYR6(^D\"1gYZ  1M% Root_Balanced_TreeHOL-Data_Structures.List_Ins_Deldocument.tex7zXZִF! h ]A-MՋhvG"uIBm5gq3P`J깓Q$}oroKB%[ 9H(.Vˣpq੓t߱8Մd Y$⢖#mwG.(gXU}Wtu8=}E2@ELÏX𗒛6άcH1PZ-Qxi] 5i4ĀīI^  s׎l5=gfڷb,+l 8x8X31$UH&e ?bu2D*mA_a나-6j ?8뵇 |o?-a>hv2,MjI%0T9{WO\ HPs Y0+NlVNv< r@/MH=DSEuLlhAW'|!MdB}Ԕ`AfP+Tu$ 譿dxD\daOM6Щ'Xp2 {hCq[].jwM5 DxJ<\zfЭ޼fP) "Ax 8gf\E*=9k9)ǿT3ÙJ1d$d W`FܿBnfTCbAp+-ʥ%;R7\2G j}NTHtǮu3(IN뱕nleFz [%t^Sѱ}PPE+  a*=VA"  ǖ jֈzLOڮǷ=p[j-uH7';]"RAϡ>{p6·hdi }ΰHg<ʬ o>И?"> ٣4hx;X&DniRC[lL ڳXi?&PPV@&H o[9 #^w0"q~= 1KY5TƀY&?;lܶnM0/FBK o ?Xr؍DI_%Por>ªn("`J"Eoܳ$rt([(?Ux)w v8qԟ)&@)Ԟ*7hdEDEiq:OgXc7'!XI^N څ蜸9 \J |Zu{>V3_z ֢9 ܶs*Rxܝ6]4:C3\ D+6瑴YN[{n+1G`IB750䔥'ez^6TUKV/$:lSY:XMZ @p8.3)|%Q<UeYv9@_Y8 vsPot/#g_{~t2'>,/˷Dxf+%o `p햆vdTii2jLEO~o#yEHҏ9!Y&C #\};S1h RUy07+B!d_""'+`qݢUbz[CP2'R(D Pwd)إ}.}X?GAv[Ln"]]A;۰~V.եlA%AɜCeYW*^f*$X}5͔er(wŠm?^O >dJwԃ;TUH &W?*RCtvfN+WߛGH觽3_ۣZϣJ)'nP[ w\ EY"G=|a:ET]N 4T I"Rl̚mi}Y `cLrdemVW):M=:0B`z\7}L9>h>_.GdC&-cU)#0Qw|.Y Fy bm vXRX&VQ+z='cza [e%c~aIi7r5{BLPheHК3:r vh#JTKOUQv(ğ8_hS)Cp]0j㮐). Y7!GībkPHuT7pY?1)à=J IKKjR8BeFK nqz2Lmu%e#HhQ<;dE*EgYZ   r1_% TRoot_Balanced_TreeRoot_Balanced_Tree.Root_Balanced_Tree_Tabdocument.tex7zXZִF! a` b]A-MՋhvG"uIBm5 F}Reږ Z9p}1*i zQn+}f WМN?OZyg&Ŀ}Oq%G6y#&E]M۞VwKw74s1-oIzKmuQ.LfӴv*g/@HFlZ8i4x+[ Gؤ{+j$L҅,uYK;"OS,kġiR`Ӛ'(nn\b?0<%W#K c뵒8s~aX:^]%g*5`IRg2e#:e,pGMXm8 :`_"ڜB~a1Wu|:t#O4X?ᄯ ];n(AìdZ@鎉#Lb#6ڶȀ3 `n}9 l@gO CvbsՖwoأjP_6dWhWAtZzUT tX5DAPE s~_YVGʣ?p -ٝG(wؼuW4?AœlB3#.i7V6CXd iKڄY8Ww鳦/r_1`A4,&1HG3:RUؠqP7GQ]iء8TTfG/E)q ~u|ַDAW`ɣ#3iDbpUɒͨ7|^B"HyM|cӟ`T3MbfT:T4Kϲ`巷QbvgCh_`VR$S}J̪4B5<hL'?DimZ%Tɏq5׷`Ln@w#3.41:sXS4O+r]e݂{&9g0b{@' |2=BȠr=$k+$hm`R~7wRq*ηhb|J zWI$Ѡ᷻*ɤ&M2öUq"(}<#7xLi|?b8A#+q>gnTH"v/@8\)F hxCsėxR=:Gkt[$ dr1= N$-;\ xuIAH d0FJ].30cBqh>W%VLOX uڴtAMYn>t #ѪnV^ !m:|ժl @uI`Io)R\@o )["R5k5o^'9&a{tq Qvz~z dc+g~I9L:VZ<϶HMϯS+ @@dW+y+prP$Yړ3'\x|y# bf}O*Xr{HclcTrH\*J); d쀸a8 o-O 6y \$#>p} tB.R~;}O қ u6$6\[x.+m5#ovTг+kߔ@̈/\* t t;!U&r, s1SꙩzN# n ELH9-#2泘QR>TǏDE Ug/ 1Y_!uV}y]7?R+4C n9hIs׆ +&9?Q%]dGc\JVމ,WcO|)J:]Ӆn ab~ o[kG"#: ™pLb !(NE=ێw"3珱{`qҠ_ c.&|W_p<ncd^ۼE?V sv*h7tJ 5ᘃsƍ dud%'X5㙁vOZY]iNtj Mkëhc*0?(ק^C'2:Y_)Θ=c*?ut/4v?BB+ Onl ɴx&;S.U(H YtI2 O"&q9WKuz7YJ4?1 O09QOs&&ylX.Dl@*{7Y%YgYZ"[~᫭GuM( xI^d hBǑvSd\rsO4JC+<}R+\JhxURvC&DlwvCH7DNLc|0#SS"h:"M=Gԍ{J*4)JjMƑ9LvM:͚,Lw gK3\Mk٪ʕwP/5}NH0yֺٸ(is`qu|8iQ_9dejIp}p)Q ˿ZA5,eYݥwRf%$TN]J~gCC16:u2g{Xl8Fl0i푛Mc"^.k6XYױ˲Hvuk:/ׁ8Y `.34SUo)~A;#u7;PD:30H"/,e'l휑j o,]ZBGҶw} /(J#dB(kq[}ޡ=Muȁc|Y'횁V w@Ҕo|xָ'b{`t BhՠtEm8i%7ݩ^O d :VLʇf)!Wyc_y>VTÝ[`lȼ+l{4ĵ/{pGٱj:qȞ U#S_B2\CQ~ V,ł˄r<4s sJ{O-R>͸R| F /7>2m]B&]t!S^l U>m,o(>8՘S\v ގ5L脾<0Gm_&U:dt݂DF?i`q }Pxh}dCcC*ZaBM}T̳4RZխ㓁 86))zlz o9 t}pڰQgNސ-#^wy^4/>o0n*?.j,#N; Ɓ a߼$,bvۆi\ QZ… ݽѱ\ܭ԰x$-u_kąRE i8BUa8ແĝu2Ց5h{OG?7;̱S O.6c2 SsX6HeO׈YZ!. Kn4*JZ0B'իyc '? roԏꨭ=D? &4ѷ s&)oJ5ww7*V>i`J2nXJPc:k!!P:Q&5Dif}\wOEM"lчdNbg׿7i. ;XXJץ r㖘kw>/,!PC㥋x{E]4W 8-N]v{# yQIdiH*mOmȹC-~k#ol"#Fa[.V)kz̝bա@\#NK#T}VH,j|!m u\JnO|gXS33s.f_$|>7s 2r3?'J?Nev(*'BV{Q\>cAB%46u^}2зa~*8Mԃ!?bHV!#`)ܛ_z_W!'lZ/ 0cErX!B#ĆlPq^jQ.#?;]$UNfrҰjG3Z M{ 'հßP- |ԁB{b9LOi #p]xwu7|ܤ5^g%Waji^"NIiab;x"v*j9nc\v 3l3B3)&v> _BɕTо0Ŋ8:x7A ΋Wi6Zo܄qf^ 2ceiTO9Q^Qzq@%%|)^ 4"64YĹxT@ N3&LHDxq֣r =qW2a@Aj<U[oЃ > bI.+v9 k])ԟ uA :t+9!elvQ8o"]ht7Qݴ}*e/k~5 qM}Gַz¾Rn9X%) /v;q5ߋXƌJTk5E&=(fCUER p4}Q@G #(9Glfo; _.E'T h2NZգ(6dF }wRAGА4/!tP/@qDKݕO08oh qF`Ƞ~V ^։Hhn$4[mK,ؙu_h51e>h9F,expja-# Pwj`"!}3nqNlj bb}ǷSpW_Mէz#Tұ砄`2]X7xIV}@j E2Q'ĵ0D`Zږ$5XYe%@ҠHΊMC4ŒuB_ JA4GH(^5qbqFm3 "n6u,}UM"G(nj#nr +OجT*@O m{ B"ϬBV!CP`ʟ&חCar @tUp:onsR TڼJ!Yn<TidUGdܱę!Oc w?6HO`l& %uIC9ٹU]p@A)y=Aۉ(Sگ%cʳxD2Krgy&<|^5DݨWO8n`x|7֠ #O3(KKc_CwlzH7' I8h4cl]^>^'=En4`Ъʚ pUS\bJ}d e[\EL+L!"x#ɐY)DqnGگi3e&Oroz.}6Fg%mr RYO]K02.Nfp 5OSO\Ľ.n' uOW&Ժ?v%*w]J,A0N]WFt'.L,f>2Cy_NJhSqq #!zm:(3keIWZB%MSI$*)V3uC3L$zju)uR89yYiaPLYQ!凄 LRgdN1M > w6ql" ;/c\^ @1fU,Jc:dX*ID#R* -`VV͋g=vP8m0}LJ}c_6Hg䦄g '%6yU#334Nжnr.Q(V >Ui-a-vQ`>Mk2>DUMKxn̔o_A'Va$hH0T'Tndnʓ}S!XGyX 9WdK9ުnηKLQ:&)Y %&QV2}Я VUz$oQdu9*<SB1Vb!UmWQJxqij5K_~tB\Lj{b&eKBBA TLk{GvcAw m-eA6RoYV!CW~GJu-1GP T9X"/,S Bg`oAdgo7qˏGۏA4!7Vɥ6ƀQ<3#Mm•ZτSX*5gj+712""2e+%EHJ2wDXn="RŌN )0 Yp؄4/L>맅Ւꋒ Or\֖'/]|ok=6,Z5ďMZ9$6/ Ȉk$^z:0{@Dc/_^i۩;-fIyg&F"1s4ŶkR1ŴkR8Uoo Z2F_q)N/iТZyy5K hϰ.RcM$filh+76b }Jr/ϫ_ENgYG{26f b%"#IE.A|xX"^5Y0d,^h7$<^j點BEt7Q+Ǥ)*f Ј{;Z"`c4p('\wi"|]/!mxQj9kG>W>|_[(=)F:H 4_0GPzq.": rmF6DtMP:sQ\r2vtJx6wnWpm\\Sܯt I^ ;/Riܽp :Ks*cYkʸ1l nwTȵtp)S ˙_/2TsH};6{O33ba;]U/0d~W4AʦVtTLK;EN3W~ϗ3*N`XR,:u q!"sk]!UuRo$p@98'wTe Kb{ Z3l6ǡ\o -0ǾR皫L O抍s@BrM"KoP=|aySE|Hwl=<\5Bw<:vucsDn>1vcSdoŅ>w- WBI>auEnp@nQ#:L6hAJuIOp݉㓿E,)RV)>3WLk?jG]+C[]86ߑ9/.sT$"z'':T[PU[քȦ u]b$G ]>5}zy;*R|.X9_ ;!iAfTf:g|;R%8Ce̴<>]6y~1N瀄0l }n5Sn)bNC5$`_vjcNŚe&ڿ't[؝ {sqEͬ Cw/fjבM52rd|0m_pO2^^s$=ߞc<*Jw0m0rA24aL 0βd8eEjxY.wʃ%.ܑ*7Ȕ nNP ftā-]-To5Oy鞚-*{ARrBJ(Za/^ZL E eLϧPme^vaouU.0syn16IkAF,S~tנ:$-遟Hg"0*#ԃ2dDJ_UQ=|OOr!,'4$桜 mT'~nomV>X 9L8ҟ9ʗ9 p +)po x[RJ£PEi4H\L֪;CL,v޽Ö,QrWce 7GXLR Dct^ˤ#F;o5{uאwA_ Qxz%Hqr1+NDuBft9i\).)5WNE>טӺ]Ta};3Tv܎ \A^x vh.w6:Y8TyyauCbrwN挎' 6%HҎ{hPgߞ})0 {@lMY:XZ5}2g'/^J[U@*UZ >RO]SVXm0]6iK?-ESͮ.B+j>8R#M]1`h]k.<e(ki2(T|}DomY"~7ql'37| -_q"43p=0.ci_锾xjmϦx?,oxY8F*dT;xxԴ<)m115ħgmM&QS*+'_-oX?ԅ5~MrtD^KX|rhs|:X&gV8~cZF3(S xqTD{=+ 8P᰿]b+؋0%>"\yDQXMɡw`>:Te۽Gofu'mCsú b[DcAD m.0CY-(iS=tvz6KZ%ƴ Ī<THq  nTH^FBb-.Qs_K|~"N1`efzTt ٚP3U#!%Y\mByT34p",K B*MmBgEd@[<EnV8F<С_]4p5KeNL˝NB=_]I \ |$qK[]%}4/,!xH,kl@}+l{鮴-Ư907 S9s Oh>%~!omHVhu;j \UZ#(a㡸] h#Y~D&z :Y*| z7&7$ގ-xA*O0tiI,x(oXWʫF;B蔕dw}13#":;k =S?yMg"!YVزNWW8H1t{ 'v$K %T.D689a4=DdxqZ/#ƺ yekcH*Xzo.YX o\3vAx ԻX{_s!V5ٚTw|0dt~/xCdGTS%QHSJ v]ֿcwxKg#DbTNMX9 1bSB l s\t ZbN,(=Vyp+57 Pyq$P;Y&]c ܨwˣέ3v͏ pf`_Ũh&\>! 2IT|)Ÿ5PD+p0p83rצ/1aVogG$y*=J'\K)} fiaô!cB-'5n_vP=  xj'gy"<2P) ,RCLTIr|-@+| W `g#,(š1p:JD>\VPXٺf-i9O!<\tkf${J[ސ|'9( *{YaAZ~pcrs~C$2(e6)fYP|E>2~x-Q kI%dB))yHzN`#tor4M#5 9SSCY<+6bH!M \suýaܪڏ%NҧXl̲1a:C81;Aa% PEݘ6ZeR@6k,eq^W ~FuٳkU_ *֮Z3{ѩL2G}e['N ϩ p˿yzDI?Bޜ͙T{th_d[(727vs G0b^v{T$/ZV\w}?xҏḻgYZ  V& 1G% TRoot_Balanced_TreeHOL-Data_Structures.Set_Specsdocument.tex7zXZִF! @{$]A-MՋhvG"uIBm5#'NQj`d>܊ㄢu $@BfY+uͦʘu}SPӗ -J!48l MoJk1!юhȱн&7gJ/>\єK]Lבeg= _h n>oHFBA g2;H_44F {P'hbom?W[O^,ٵR>T#; J*vF}%3E?ە6q`zq tp&EMU}ypUYrˆ8bHf|jkyJ21~.a)iȻ>47 UVߴ1C^袅?Gi*|vvPD 5- S͠ݐ5njxnۏ.]AQ:l"dTTUH0-5]FBE aj$ ,m*I5ѭE;۰\\TJ8phbaU+RϘ3eL~KEiE~e Mni!¼.\Lŷ|ĄuyCa8 6}ŕShl\('ɬ7<ǘdѢúm#69huϽF-\ ao~tGfzz4+ͅQ_3%,3ڜL&u&uޒVINk7D^y7B& 6ywYsv o-^R{HX <6wfnTy&#NFs݉\Wp.፰Ϗa~ΰ( #xoi9Jw8/1ԌIzO_hn:>~`Ni=ǜRBˈ&tIoF??#Ŀ<0%}P6))0stKVHbnΏ:ƾ>gͣDLC䰵G)46/2Yc5W~ rqo὞9~)<]l k) .cܨ'ha+d;̷K`|.n"6JXX5)F$./"2`:&tF~2@Eo N]mj$X*[\XԈFr^B+?/U98ƕsؓ+'|Aheiqo9#]4w]DfY6d⤃j#{2| C8sjDڙyp, ǚMjlU p( Wlc :h{.$Q@.iXcN:eM*GMÖYgYZ1W% $Root_Balanced_TreeHOL-Decision_Procs.Dense_Linear_Orderdocument.tex7zXZִF! 6 ]A-MՋhvG"uIBm5̛֑ 0I8M\:ggkòkH MaH^]wx5Lڲ6Іnuya"\V̿x9iu7 6d t8azv:AzLl if2[¯]d$t,M} uUA؜41Lc0Lچnv6g<{Sv.$඀7W̓$GƳHG>C7vMؑ IE bwIw)'[nᛌą&VT@FZ7~ sV"\g{ 4;5!SP%Z,K݀%DFϙ=o. э}W|$~T咋~Ԃ#@|@o} . `ٚnց}|iGBVٔ꘿tCNo^%۞"+8'%9ϬO@ǰNQd-ݍD-,&s@)¾ 6 <ryd,%DvVl%XGC~R ob6 A}0T6h80} 1}oԝ.yՎ9h "=Xg3‚;q,;M,9{HS*'k:&fqбc#_Bcp= J~*=RSM3]IMR՘4Xju|Z笓Dz3O2ά Xܖiʔ\؎$|>u:e4B4Mjɼ_);MҙiѲaR|,žBLE.ItP wdBMS<&/^s%J7W_F짃v* j%i,Q+9acR30SBW鄊AHjqW:$"SY%uɹLNE)$l<:!> A> + BD@>nx T N&966~Tn3cpƽai-* Nrr̢68ek)s8T+ukBc7Bڼuq# E^ Zi?M=WbqK\G`8u1 P\5:|ϖ(ek2B꼴ZǿM!hyF"M1镖%ᘗ(KӄH2u8ΘyY5yLšCxs;{quL PdkyjDF3Piכ`)Ԟ3ƅPw11벁)3S_fܳ΢a퍇 GN5d ˜At]F< UeMYD{S f<: h Nq>ԙC \4*RXTSK g7`eR0,oIA2ݑB}}2sMc QF+/s XSU5ucn6_Z!yHm3U/VSxxDRT]8r 0_`5*__R=@]KUZ-`@ \gceø>0bRh ︧=넃8󊙠ӗ0P$?ngauC Pa?y06 !4d$"5ɑZ5?)iRL^)!GDSةPL 94 Ime 0փqஅ̘TԎ T̞NgYZ= 1E% Root_Balanced_TreeHOL-Data_Structures.Tree_Setdocument.tex7zXZִF! /]A-MՋhvG"uIBm5r${v2_ET;ù4^"gmxƵ#@XF=6}CJ/0i?c8D#XzzxwKf}C\}.ՄcVPY$m*&s.Wiovtʝ~) `UJɚ <~$n.B]MOz &͟ Dŧ#hPkƦ^jl{sQy@}82׋<;dH_L*j2oxdq=#ȭ >bN@6{+ҩ(R"Y9BPs !~ϪabX&oYW.TW!n1o@fOUM5:#Ww~ !2䜷b~F~]L7ƌmV$#{Jw,o%YRڋss{in%os lFꐒaM;/юɴ$ h$$ЭzAcMߵ8c*y%y1TDSUx*i198R ^ƽ;4xԈu6%+bu:ZKN/j؊Nנf6U /hir$Z.uGh*L}٫ͮSf(erG.ݵ;0 ]eYv CnBx-&{!,~❰XxC0dSi5LSЬs7|)ڋ-9 b|ltq,-Qֽԇ9r < {l<*856A×CgJصѯp5//󤿵\GMjsSKRE:>%jNDW49W*8gO `!n9Of\ YbVcr?azWf7D'dV>tҝp8ZqW'X˱._)'j+ HM~OH5{EzbZBeU!.Fxhpn<5@|v#,eK:ZE|~!Ȭ.9`(ZBJgIMZq2ӏŠpf]8~RNJ ^͡ɏ̲vvarV;e*hXeUgٴOE.:>:NMĨ$Q)Nu^,(wNslu2EI\pTES}Pm6&&U|}"U|;:%(=)[#h Tt\"I6+br{zVWku1/jgYZ& 1G% TRoot_Balanced_TreeRoot_Balanced_Tree.Time_Monaddocument.tex7zXZִF! (!]A-MՋhvG"uIBm5m]}:a='Q4idh4NIw90Mpw 7QdTk^e=Gt>ѵFZxk[YAڱa8g*3v&C, `]Lğ+^o\Al~WxYuLv )FTтU` ֩4opW4*b0彫mS8yˋŢu[Jsc$ו:'m5"R7WR ۲+d(/1OU\`2/ lO8_L<n~|~.VLE(K u7 ȥp( Ց4jz[Z8GV},dr, T}Ӵub2kZD{y"?KTqȂIv!@@b>o>w('4X0^[MAU6+dOKZ,2}d?Pm=w@"Eyz!4Rm G= 8ӻ*E#CZ$ rc-\)mJƑދ5#[a^?6 |l1p5a2r | Qf[ 9Wl2~-ݠ^Z;/z8.'EL, @,'k- < ufFg?EaGPf3QQ[Du4?DJHB=wk=N^Z\}}c"D}I= k獃ɵ+=Q1/嘈LywTk%wohNq¶4&AD5`o?Ip6@UVCt{twki>!&lju])s5_v.ZGtYT+9&LkpL.F?釭a9/Kaoq0;6-4Tk^}Px'u= RMtNE& : $CC+YO|O+҄ Ru"gYZ7 1I% tRoot_Balanced_TreeHOL-Data_Structures.Less_Falsedocument.tex7zXZִF! ]A-MՋhvG"uIBm5!J &bMe]qcx g<TX]M۞ѯSw^gRr!OHyZ-$Q <Ϡ41Qy|m.%ZԯdwTErJs7G2u/)>|_BvFWh@+`f_E~IRa6HW]i^yX PIY}9C&bۢ! 7M,י Z5Z6o^= 3{Rz9Kxm, s%3@Ѯ~:Q\+(GA<J\@l{[um , QѴRĹ9Sج:B@˽D _]Z;*Pz/Fg YvtiiH <Ϝsu#3Vh7 rhPb{t1S]=ozJEK6.'+|q vbNr=-+ڔ Wa blAj,wp (뼃bQыtm'ݱZNiqnka^nHlO=).\W?cو>h.6 MC봄Kb>aNbXWѺ;pv',\? {'^# -i|f8 uUjf X`*P#5?de8H0UYNkD`y.ޡk4^Z|f?qz1MWψe>dAߍĤքv:"pgYZ~-?W=+hߴ`4nOHWRVcօcY-=FeNS~fӷv:BIF_Q!h)vf/Kb g aLjꭒ>ɄS#ZJ6PUZ7B'ov\Afo(L^~TK~0<0Ke%!&&ɩK9]֊ P,kL7Xӫ#F%GAQN&DSA6|bMA3BM9J6cs1Izs@y)~dGhh'FHU9Q"/II-r)~ ү2}yn|PZIcQ.c# Mh|8Yi^A\8Ţm8>u,jMH ԣ(9+% Dl[' u7x.Ey;#$Ib0J*4>Q*a}iZT fIYhMG\t#zWuK(Km<]MLCt->AN!.5僑;ۇc'2plv(qzʜbo~U @gui]+ғR9ાm3X1XJUu)JL2<g"YZOk}*Gtrm3ry㴄Bd'{2!(rD& th%LF 3UPʖIrmvGc ؼ>>vy" w[|]LLIZWLkk[h`mҚ"dG5w~4'5M83C[un'HwT_@nO5\,[ @E2ĸ?8_Pɵb%RV(8OOn2Ap-I9M5SU~1=w$:krM&_@IʫGcZ?۟r KJZ^1+r[إ8 { vz}}R1?++0WřdZ1 "݇>oj6JVςB!s6ahX|q8t:z]jAQD![}+# j2\TRGy\m󁪼+%y%605n!R1FMW&q={)<2z0|2x[dY&s ݘ[ hENn)8ƦFHUmTv=p%0 +t럥ou!38awMYdi[XMQӕF֠]!ĎhOۊeI ds6ЏxHb<,K(F'EG*32bJAgB-O#!Ldf;S8^A棬 &KڱO߲;f|VF=#6=c'\Z*5XGI/BSX 0bE.#ypPK_#Xj|'ԉt4KUh+Ry1#xX#mH8Xi%9LmmAebMrJ_ _nw7.0'~DA Ӷ2gbeBρ3tuؐ$u/µr)ѷhj >mQ=4/|2pA#еizv4N02cʭ;U*, e^rmޏUy/ux-Xg _QcU hȱޘ?&(rF37 LD[?dN-EE{SG,&Ȓu׭>rL w;ߙπcR( UɽY7XB\(WmZp^TGh9+C;sO/@%pV]p:W̄#A.524},[m)Lba_%s{6ٖ3GpTobNTL XC翪e"=JeHX2bu&:f9DJ4pn)dMY djdܫ)njIBr{<!` }w{cO3F̯Qx|=\Dah_>OqSgΛt&C)W,MYjEH)Z: VS!ɪۓq=y%e\w `iV\ebjdzLx|[kr4XsGHuK$DBMCR˧ƌ67+ju54nAwn֢rǧh{냭xypE7FJ3-aSQ8B:vj 4zwZ` .Pr0$*jf=+tspk~L3YP-92SH 8njGa.O\@2'nޠFk!qF]V{'N>Ao TiQBecN8l"/͸RnGWQǓ8F)ڪtV艬F3<9GŘۋ)g$gYZdaa6c1a54c119d7b080ea9ad65cb98ec7a5156e70a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176