From b2cc6aa897085faa71b650ef7d3aaeb8fb7d876f Mon Sep 17 00:00:00 2001 From: Alexander Schroth Date: Wed, 13 Feb 2019 18:04:31 +0100 Subject: [PATCH 1/2] =?UTF-8?q?untere=20Schranke=20f=C3=BCr=20den=20B-Baum?= =?UTF-8?q?=20angepasst?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Vergleiche hierzu Lösung zu Blatt 6, Seite 3. --- zusammenfassung.pdf | Bin 210079 -> 210109 bytes zusammenfassung.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/zusammenfassung.pdf b/zusammenfassung.pdf index 88d5d9c5235d04d9f359c9498f41d97932c2ea80..35d16ff46af865fedb6184a2564050608d4ef050 100644 GIT binary patch delta 8697 zcmai(MN}LBm!)xccL?q-MWB!nG`PDLF2M^e2ol^0?!n#NEx5b8J3%YZ{ZG&Ic6Q(5 zoxA+rIrrwCVsxEiU^A$GmEqvw6hdQ|Sr}SDtHUWmf#c9s$nsncqOUw%N`F8OT)7{(_kR6=o*(nl|Yv)Iv= zIS9UfHNSZK%fy<-va^15*6y1jlfhj5gCz=;5X$1qJ2af^H5_nrr+DWnj+>}E>@k9V zF-JKj7B;E-@n|rWRAEug_zk)pH&WO5D8V*S4re@kQ*SLpnIKn@O$tI`T#js~ibNqo zhO>hFrTXnZ9vO~cuV}C-w!N9yP3kRY$xJOoNBM|4&x6VW2<0nqT;I=56qZ1_Ib~KB zv{4FPLhS7Q7@Jfw^YgvBWnv^gA)v_Y8{sfCD5DS-j9NRcT!o6t>-<%p3l@cN0 zLP(wB$@6^%G zXsOAY<09%*6y^pL_hD>xHI)Vy8!WpK*3RT-A?ba0c~FUt$!=?H*2a-Um|!r~aZ=vu zkeA78pybiUY;akE^f%Vp?1#MMaP>lPvs6}4{D)!Ea4-g0)OM51^+VZDTv&scRuD#= zNy>S+tE~!EF`t6U!MvJU=;iLje)P(r-CE9^LsNYQ;eSlojRnctZ7fY{brhoyE3HmaU-1y%-3W@&^E@ zRK7^F^qWylN{6fNyn$W1W!LM~JT9eI%`E2S=PCs4XC|w6+y^y&jA1Y0&0Kg4nkgHr zQSwT%m8~d$`x|D879ijP!E$(!_gjosx1P@;1j=t_7F@i*mO0PPGJfu76gvuH41If# z56?Oh#`zY+*W;EH8)6js=mTk&`C#n1e_bucM@(F+i5-bFctT!~(>w26W|^ZdCifiA zkDM`@_4j%yww%p`<5mj!m3kF1fqwXgYebG2!Ur ze*Cvar-_!9HTFrTiAf-E$q7zqsY%0s(N0Um+e&b2-BwI0&G8k*VFW^k8)D>*v!LG^ zfG{|CjaCOM1NICDo^t;ihqE(kMIrxwbr(^Wa*VE_D4s#^4jzOKl(gP^H2Vv6dP;WD z`rOSuiBl3^YUC5HT~NWdN_|@A-@!tB?O;~HL4+u=?*vUh^@>`C;KpD@@?85zN2G6w zy!<8n^_Lg9=vaFDr#=K>?O-xme|x*Q!)Hf~~DdS6~REYG7D7UG>NJ zVywMt_>ESDamV*f*WH{Tf{32NX{y$H;o#cQ<&Re=#dmKA7v#ee6A!5<{Bpl6N+Qm09}%+bZ5%XHwoy zP-#hDYH;WdKVXoJOIkp}9tk!Q9w>d|nDMtM^C;78$sW8PE zSSRmY&|!P(7W&qOLk%>Y{ACI6rodPgeN(HNgqL}hl?D&najUQThOUm7OtU3QvT1wHd{(0KoWF_ys`mJ(c=a2MP*SO!}JLq3v-K&m# zhf-iaBoN*QLmsebO9n?QI&4!>zKB-KH?HxPW-21i~t4B9`^oSnD2jH@<* zM0jlo>ZS3a0;$}88Q^q<*p$b$T>1QyrsqT&NIgZF*4Oqc7y-VdKj8nC-J@8x*sy8{ zg#(_MqnU_x#47N3A_n0@WM8@z2C4}6MeJiP9fRU=WzX_(>BGnLw3$^XcW?PIP7jcM zX&^(&VK1fvH2vgO01a9KY_QeA8cUheSj;pVup+IX?fsU6N#ySjeW?gAHD;635C@bB z!NTcR1zGg+h#ATP$a}q{V9_pfuUm+m&tK0(GJS!|DRR+${mlXqVVbdwk5Vv5_x#&% z?{-!Fp7pttMN~rZ*qgiI6OCN41XQMH03r{*yt-nec~Uy%MoVum99qD5)t4dwwHICo zdKJihQW_1&xSJGTOAH>hQ+yztnOSPF-F4Ok?oau(g*PBax_3yY-f_hq$XuZU4$5EI zHt|a@voVuGHHdpr%LbT4TeSlX|Ct-544|UZ)m<4fWp@cT48Lv_kWkX4OKCx1AhSUn zyk|e*5pMto5{O7qR4SO(%<(9-+^=h-3P%!I3o=>ojW2^u|J2hvC*Gqj7l)fB!}6;m zEIS={pRB28TGI-vaVmRf1ecxWq^B84ILABgVDqpuv73hmb$%YjzEJRx*!QzNJ;=ci zXM9~ZF$BQptamxbFn8ge-|3e=L1s_169tz%`xTgxy-ZLi*xz%r@t32;}3kW2x-l z(NVFk0Wy@yC?C3A>|yT=#GcPiq%H07Rv)P*lXun@O4obYRt`$AH^G8l#p3oA1mm5y zSP2pU&k;J*0xlbB<##FgK_%7`QzQ;lGgEs5Q{of@3MGRH?W|{Sq<&|fg+yE z0x_QPc-O=-ZAJZ>)UH|O5RD<{z}o2;B@*)!VDI=n{rK5BoMJUuaJ!7>Tv^mefT}5FG39Gu8pNCDs8By#|{X z@c-gy_<8vRl7h^bA(sXQZsbC9{>L?GBfq*NOG%FzRqzxCTP`e9RF&m7I>Bwl+skc`rS0>9YYG#z@&nat_ zSGzB0l}1Z;R69hcG^a#)sC0}Opze+>XM~m6qt~%674u>ZKqPxjX-;P|OH@;CQ|j@O z!W4unSfMP`?$ckynB7Nsf83`GwBorLDAvr3+A31HAJ(G43rA^@B)aJ`{5q`Fk4pjk z@pbl@(*7*RjVMeJK;-PB|;ws1uKEk~RxJRBG7a`uI z{UI;UD`~MbS3HE*nh}y~#$x5pfm0CFjX~Q{(|=5khG+(HAGwwnqv2?$$*}woCDT+q zG_%!YU)hmIDjks{#0IM}tFnNVcm>>>>q<03)Ms$!HD_U+Lsg<1sbVCH8r~k9u2D6DN!ClGuAOu|n-1Eld=8|v|8YE5YBSiI8S4dzL``=~mOxi6{9Sx57 zN_ydTh`*K(bM~FoC1aB-s!=2^@x#0rns($YP`3B)#J0=kHO0v z0QA1RY%sIWdmcZIabJ%wN2wy?z-P~hFWaz%X_7!BiriSRWT0>Bz~HZZL7(*U@{YEn zR!?lMFG-QK*9GdYDSY-4;Oh-8^gKAPNzgwEvdP^|6(i=1vp`Q`x6Gswpff|h`b0D1 zg_zCbPu+qu7<)#((nL@RGix(PWr(Rvc0qo1YsH-@a7oe;!IkTm2?VBLT48#U3Oo#o zsaE~Ldy9Pjr6e&tX7m_=>}mWnI&-}D$}I_3igvk<;I=qBi-N!54F3qyX%aDTv|gzX zDRnDUYSI%Z*Y>I}Us}&-qD#LhA4PjYyAq`Ng`^9|`naq5U>Np8I&FEE{@j~V8LEuL z?Xw6Yvo#7M<7gikOHU5tQgV%>^ZpHqS@Jrt1I7h$1Mfis%VATFvXB$wC3v{jb&}*S zHi?udMH~~!75*VcBSli9ZhBUc&)&`}1U$UV6}G?aYwkRkBgmmrC>CYC*9LxwNKVYP zHDa0>DPLJm?n9Ut3dcu@^Y1;fSDD1|)vaoM&MiIxWJSLzyeqD3jPu4Fp^?jtGbVRr_@QD20`f6zja3gj$6XmOc&`s9~ zIfT!Nd?IXo=S1+bOW6_Jir8uHRcoscRHw>Zr)d@Nn}+1O@%RoRu3o4rjCWEC%k zl zo|{7*J{G zIBOn!y?i5^ABWEiNlTX!CRgah znxeGANYFmNc}KYH6Qm(96-0E5Alv?ZlT@0oYO#eS)O5D zbGe?LaCTADd zjpmM1vTU(oy81d7O#Z-*_68e^IFX#F&)!l&b_olb^ziYg^CohKNg=Fa+5y|9e9}=( zHZtP4(>YF$j{TQdBA*4)!54U8la6xjWEd?W^}$>^euC)y4ld-0K^qjtw-q*}TH_&J z9Z78dlmMK2PEh6hjuNC3(KfR@x1M+K7@6|RhKY@&QtjBs_Klit9so+`U|aQYN!L&G z51v0@1Xc+N7g!2mZ)ax(k0%xvds*hq*jRldOPBrgS6{7$d35NG-P@Qm z<=`oFJPb0pgBShR2bq-$&{0+3#7|xsKWbXyiBpg>ppnEXU!1JMtF7l6#p-HH)bP7Q zK3{YC&X(cu$fyCAWEb;(!VLyqr?>M!v`@~*mn=;yr;U8piQ*E57)s0RGpbnPRmdJ= zqe!=#`N-CUyYF3ws;jgzE}}QpBssR zwrfeu^xS0dk^nHvgCd~xssjtSepX>Lb5LH%@($xCyCC{5>JoorCMFc@ua(J`hNDoW z&$~1fw43O$hl#@W{hP}^31q*SrNRM^Ryo%`0Ra>uhj=N;!vH0$Xg`#$+augvD2i=; z1Ek8fNHD}fmIC91>d`Rqp2l)=3(FqVVq?!(L7!dq_hOo$$@i}Jpw6_Rx7l(ukD}o# z4<9|>B;uWfFi0L1KNSQ}CgQokbgn1YqrXk6;aBssZDJO z=Zu(Gruy&z#aIXpSljj4XmTen4oi|g+_8cr?{wl+?A8wM zH$EoeU$0*6R);15ZZ3TB@LN;t4p~$nH`h&222Jvs~doqd4dlI;q_3(|5> z_ZJ+@NvK)rmL>(vKZJeSf=iWLW?W9^0aOXy#TXF*M_*|vWTfbw&n(Q*AY2RTXZuM> z128%BSs5BWcj&gPR<$Z(TLDiFMqhp<)i=4u29S27DJZf4vHyB8+a|v-ffe$rmM2^$ zkG~`qmPw%bk>ax5O84nKe}=KA!1k>dfEI zOrCRGoD|1w-$FZ@4pa8MAj^K7`U~y{?6xkszTY!7aw5t`|CEhD4#5yh7k zUIM@I($3fq z8cp_BZmjVLRwU3V)@z=%#VZ%dubRd3xxnzNDxvu# zPq08{u4^L4u!mfa-?)NVa++;bT6uEI3Xam#}8ROe0sTDw%WRboY zv*;+vZ#B9Bc$3fW++EMY9Hx+PC)R&^)o-kJ4PQQd-X4b_eCj8oGNFy3Umgt1L6rPx zK4l3hMPKSwk&p8*&sJ1zEHuj|<@qQun&}mmiGx>{cWvpaPeMshFY{eo zTts_JU%I9UH{a&`GGVJ(RA!_nu70c(dO2flb(s#HVFn_?MF$WoisQ>Xu*0}@z!M3= z3wCvPQp{99Qc07~&knq1Pxt%!`rf%_P7m*u*ttK?X9Q#ih*V8FHU>yIOhul?L;?wX z_Yzi!RfhO(zjWeW4+a4UdLo|8X^;vlqJjWKBa;p^%7dc_B;ohXq!St1hT+>orRmB; zx`q)I#gxj*L(~O?e79PD_z+K?a<9IV!b!NOvj2FuwQTW$zg}ne(B9}$jp@GST>dk5w0Cfhh;S=0GFNVwF9LAe z(Y!gu&1xJ>3?wFB8o9oCtpg{v{WFBp281qg%jY`!9E}T=DkFMNe zKq{p=56<__cAH_+=Y&>-=l$JQTzno$@1}>QQ2T7>`ij}V1R|Gl=T-_>s41hBeXZVz}*R&-u$8OW9)0@n+Se$Xwt5t~fI=}g&2W|CGYNPXz$zDxyw!3$2(t5!C z-E!eFS30s!@K1|wwk)x;xBQ@vP^33*;q*s@V*Mdu*fr1Zy2}Af$R9@nys30^Th1#N z_eyyMZN!)I4#AI#W7WJO-g`f5w#3EOm_UMHPCk`B%lM}P#haG2JDm$%w68-)Qq_m`riQ2?=>i;+!!v@@>F=*1cYWwCqBg>+ z{890<^kw_@0Lze2HMa-`m*V6vUtK>pDz6+hqHik)JpNlBsSy(cJquncw~|f85(3{b zZ^dTTJH@$vS~xURc!F1zUN4p3@BiHwV)tA~Rt!v{)@S;vI$pCF-Tm!i#B+m0-Y|B4 z0s;1+rj63twQ?xxGsi~h!B6JYp0it{eb-&!w+BqezJY-ldGcPt2Yo>pV-wRVO=SCa zL({6J_k`rCsC%nuady!Sr56(ChHCqD#+vp|Mf&o2R^$9-!ENg}5|NPAJQ?N=p)^5g z(sa`?IVJw>NB13<_S4TxcNtb3H4T+cl4PChpCt`ZEFZp?Q};DuvAWsYRa0D1s}@Fz z)kjGm;s~NWB&j?haQLYf?C`;e0B(M6-qdq;c&h)4SRC*+ss0@B%2<5=TX6^r18DwF z#gUzA;7lt-FtUBDku@T%6?IK)+oTScInHR~`U0v`iciEcrwgoxTK-%h$ z5PrAV%a7~l=M^dhcsNB^5FP?DBPln$p+O!ReZmS%qy`RL<3cY#iB!;D91aD;P0Dz* znOE^l#J@I428TpIB5v|75y9hpR(=w^0A!&nZ-lv#qM!HahjEle)sR`Fr8aD#Vc<~d z3@p*U)h6asYcEF%X$nBVJZl6_R!l}V zkWUD$@Oa|n;{Lc2`2N%t_&BszHL>CjaMDzdZ)bglo1LxdHPClp_SxfM zp?$erc}PP?Z5G$9zx;`5^EA|giO6WdPB}i0@_pUSqUI%P7m&j8;%2$RF7C0r8BzaJj3* z|Jx8tY50Oab_IRBay`Klrz*Lr*9IF>^d}7lP)`|0YAs!{i{XS-@Mm$L`?={9EqA4h z*X*bqVsyg%qsywnX(r#A+ucRqsgpFMAizdrm2j_Zd`{09m%%Z$4_b)tlYRLNaVzu- z+W=n9a!S3wK4}-Vl8SJdK+tuX^ItGb28uV8%`CX0dj2g-Wv%|T>84a7ms$5f{2K*n z{&Xpy5R)vRq+ln@f}6aU67PVwmk{5CN~v~Q%SefLUK)b6c|x+DXW?EsaQ=B%^K-ep z?BHkmd^$GDt>02~l!f@8E9X98e$KSR_*_t3cqt=$-l$B{?pE+*Ee=83Aj)lzDlxft zZDu#X5xd)&7rDyYwn2ArNF=f$6xK!Wv8Bswq48U&be#S1eH*wZmhq96>RYQ+Gx9I6 z)1+CVUQQ{$iq4=#V(1dd5r37a(5R&*vc$C;?1qnKqV6I=uDeh{q`DZwg5#q@&>-<- zn1*8KX_SV}=wC9)$tY ztBw>;JPHx86$Y$3AU1K~6bW~Nt zfZh%gt)PkIm6KHYnv1y4t)j0X8bw9~Okaig*BbELk6HNUA-xe!AB%dzV9gGpf5reN z8;|3j6g|AY?l2d%e8-5@fHWt)ng!0uy22@|*Z*@zQ`T_(Vv94S`ik?@G;I#qmuRZb zniSS|!J>l0sQJdo1eX$I)*OFVpHg$rG4|7h$WUx$KGsF? zH@02A@kv$KY7w{1^lKWOpvc3g6hwZ9adzJ{E;c=k7B!G7TXa?^L|%};DFyR_xc}FO9AdK z7sk*9Z3dlGp=vocnzeWPwVEZTxTPA2BFqnVn1#8hBE|=u`CKs|v|q~)YZ^M-g+pB% z3%(Eh0J^g7YZyC&&Smwf@?jL`Mf=nCLGJ$9*PqO#SSLv&%avjo0k`=rZ)cqa!}=p8 zQ;UxSG|94#r(t>qIwC)?c5G)7K1+owolUWXa0gU;KP!!~C}p}G@GI6w7S?%%a1h;QDqxS54P0=e2lfew1_UtK|rix4atmyXa-GuInR@@Q_jzQ5XG zj{~yu3j;!0$XrZraR3}J`8qHgM&Ug<7cKifG=W6jTmLrrJZ|;8*WGQnd^$t7Q%bBs zPc>YFhS$19>(J4JqviPKigL1ciDy}WN~B0z?|KwENuON}z`}5T zb@GtLik)aw5J%23?s_)4z(ppV*gIVn-@bk3)V9o*UwnN#wA6fflnYrE!fEbwY0kO> z>|HR0Tawo6MYT!p75nsg4aE_gASsr6;B%u!Ixi)5_A29F+Fg@O-W?g~%9t}BIe)(O#l&v^G$+PF193ZZP)XT=E%z|*?*E~cCJr;s(B``1OnQrLY2hPDP9TaTf%8UR&MZuSa7)8Ga#6t29daqSD{fXI zZTI|XGDEVBHf`?`DIp7&06^KzV0l;OX^Op7_ zQDF)4D<0aZRN35n7?Go((1b4_yq9G1NOWlbT*7i^B$n~z;pAhv#riVOXiS}No#?q$9FxD~pH3fJ zr*rNr84VZ}jk}-GXj0fV?3pnux#s|LIG#alQeTiCHV*Q3b(?O?Lc4$+aiQP23mT0yoZwu~ko@YM>;BeG zRry`ZkW8;BcS_|Dg3`Z|6_N&Mz=gk(bW6BljPPhy7 z^mBQuc+HsKoiE(M* zB7+jKx5H+bEvR|>Ls3wNa~?Q`$wP~|{@D>$aiLcF2oL@HVKJO=F^5Q6YT6sK z1p7B8#3@x1^uSyHX}c!`j$glld79xKRXDp%h$cPC-Trh1C=Q2`1k?I^pPQuXeqsGw)$fO~^{@h??di#!jQxfxzV+ zO8)j0j+KmH0gRg{loq?MdP;^r^}njbDE>(g z5(6<+QmFP;Ebd}?d%R?Ip7<7p;pl_)SO38?5d7v>HsBcRJ)y%2hMF0FJ>|o_gl*{- zFqWw8NZ}ZfRwQUn6@UusQ8IBO9$m0uVl^3DK7QeA1C8ZnWnPnRYwUF)mI#gDX+9i8 z4`ey7=nBbgOc}$Yj=T#ZeUul(xd#G*d6Ad`e3JO7DpxwRmTsn5r;#ErJ4UsGpINEx zS9D7;v=kke3f5HB2Rel;sX*HF>s)gvy0$spH{bNViuGSYHz1)Ex*q6o^Sj7r_SNB5 zQ7JLjaQeHNTe$r$2QMgv9Ch%1bX)w#Y}42jq+R&=@)xt=oyC}I@bEX7p44b4ebg)* z{_t#`9*g3Kx2yGs<5N^`?qRd4CktKL(0zDrOncSGUHGL06RzO}b;ItL`Ih+Ud}rz< zuU37b@4gvm)u5yAt{?q&9%#w=z?*+cen{MhlyJk@z_jL_+EjhFPGn}x7xmReJ>&DO z7uIjz4B+S546W3o)oGXirSV>Vsr&J`(ruhyR?*lh!LjrSJ&hH25OU!`XtpNy4@0S+ zg+t+kb=Pgqk+iuYuJYO;!V@zZ;e6(4^~a@`a@J2r?Y}{C<{z+KL-P0Ify<`dt$6kT z!jt=Wt^;%Sl|&O#k5T>drVvYuT^lz>6b~7zD|A375v~5fvfhEm{7)rP-^Rr0%>pv( z5O>Xlq}0i>TFDf-B33~K0BS<}pA^&sQvN`3fr3gY-ock`XM5HfWKRaGx?6RldbC`^7kFsDz8eGBJTU zRbCLR?N>=6debSC9-CBwVfnT7C;8?2X^6etae_hiO7M?qa>-3GXJdHdLj=ylxs%{g zqWK<~9qjWvrE7Y+pRb5q5Eb@0lk8ZtU9YbK+SVWrWP``d^h@}25JDzXBb=qeFZIe; zH{J^QSJ5wDsAF@-iN-nAzUHXYDrr|9?$&L6r|V?j@4P4BhwHBME%<;IZA-!ULDzLO zEv?#nSIfeoa-2e|S8qPp`n(ER1x|1!n)G5s8PpQ`moeODM?5}1c z4m5$R<(jukZ2mQvVad;kj=5!+KeH2}7erLu-X<85M#EG?(5~RYOm}ET$ zPVm4X=H}F|G=4wGKc18@+8h1+gLMX(V>c-y#?FaYo(ZKC?h z7zjMvZIPA$%>QmghD&sY3w&3G3j%c$fQK7{OU>5J-p7HKpO;rK8$yA|23qr?=xPl) z)StB0s#e1~m(q38H|(?(yE0vEadDT_oLAaKmuHh5_q)Ec_eEsjsbERZ@+$&n#y~8{ zv(3P>8>CuQwRM`uy>XeInL3$@HFXYb%3a<5>uV|t4ukS~ynl#RGwXxm$gL_7$UPv% zH<^0hcgj8{hPBtVLy)l-LHbpVK7;aQ-_Wt&{uZ@lwxm@FN$Zo2qUf&ldgTo3PFqs> z9-L?@YX`Jbm_MP#8puw+ATZn2(L^W5k&&EoL$2SBDxSa)?#Zxd=cGY|4EM=n zNH?`1w4yZ&421^Nt?tS!7A0In?DlM%P8wkl2z zISNU@MG6oLU%=os2%?-uN`nvVsKBuBg_8^C|DK`-#|?a7aKNYA&Z5<7r_DghwE9Jw zM&d;EsjZ!*HK#1rNy91?hGU~{6m{2)+QlvJF{zfoBC8Q@c?1}&fW4)ja@0tUvPdJ< zSaSWDmF>%O;Z*_*<%<8+JH&6XJ%8AQ*qQn8Z2S89;^fB9->=hfllf`LkGlxxt)$BC zhoR^`k-5N7Iw&6Iw``RbA}ryIdWaoL(LOSD>33vPC<=B4G96tl?{6(o7Kcba z%W9k=uE(*ra*e&(s19l@uiMfXul^07;V<-rMOzFGopo*6X-QNS*wxre)W|R zC*Qrz2~;|hSmk?H>*(5@?ueJ&$?vMjo2!>fc22bJD#ec7jHGi)kKf(Hv)#85Oo>r< zw_+0FIm zqz)JSM=JX>2=JZLwLY70pF@X!@Gv6<2y)AT%hgPhE|3a-7gJp=yNy3?T znd9^MqCmG7dP%9!8h$5z?z$)1YvAzkdp25MtPdlPSjDE?zGi@A6FmgurdQ4kH1v%H z3?e`Q+?k?LPqINGdI=yAKQ!!|5B_C@?)m>w*9kTIU##Y$#VVNamfpwSG;Gerk{j>dB4A4z@>> z>u?G+xUdR!(8Iz#=tMbEVrn9@El!$#2XXhQ&Wf3JUU~=}8cJgHnj>y(V&67Qb3C9O zFmbx4=Vjq?1-wRRjvF;vl3heHg6CG!Af|JP)q_Fe(XM+MDySic-Z}M4S{i{NzCxi> zl90v1`O1sZHuhQ-lfq)tj>D0K>fyj&d$5Viihu{7WOIYy*3t0y_nTyp#Dj!92%C8K zFBNacxU!3iKQ$Z2bjo&Qa!4SB>#Ws}6Z+$Ye!xW}p3I+heHCQAGAoxOXq^#f<;iov zv99@s=4xn!2IqudL(j%8QaG}|THeG_4N0~c{qSU^?hAkBaE`5V)A|I!j|gad6R*f{ z*TWtpLRIn>Nakd;7RXA(#cv)C$}lkH1Ro@OM~3j6J@I7j2l^=s<(X`jC0FDr8=hw4A?7+gXSGW-byG4NxQn&wNG_~!v zXo#=&4f_!so2pT=zCgh@CVkBeQ`5w6Oi5!7D_kOZzsUUrKBo?(wX;kZrv;OTgemrt z$>$lXT00%bdW+6`4T@`k%&A*KupCbaR_GIH&;_ugw*xYBFhjz~8@{cZwanw6*&rth z)S7U)zFXUpSF^X-I{TTLRAt$iyA$;&E1sw)v8+r%zAztJv{m5zaZ9unT#*PFQTmop zggfP;On-ycL(Om(C(vV1#5gliSzmt2&w!F`QNJXnc{RA=O61!BTDFK%LlNtUz_rBD zpw&%NV=cBx;NK^<-Phu>Q`ShAsVO>us*F$d+0k?VbcE&Z!J#yU28;!Sr{cZbO|p%w zCps);`GwxO;SrinsVVa2RNy5#GMG3HXi@MKW#@(Jwr>Ut6WQqka&f~d>< zfm5~^eHLe6Mgz#z*N=4z+z1^4DRicibcO7lZhSR zXJ-61kjF^~M)T`~;qAPjIkvW;w`=`#`?T_z;$D5(TX}j8MDq9atXa=5o{8Jgd47d- z~D#M#K;!qhex{%*P-QRIa!&c@N#_R5( zm;|v6>@%@L-|Xa>C1yq+o>1pA7+W*Ao;TeW7h3=Ye9ht!V9g!pw|df9L$V}4>&$f1 zhVjJnPU((U5YP0aHRakX+pC%*;HmO4i$th+i82u2p%h$w^m+rC{TX*ui>dYfE9!i~g}L^7(N$z6|$(Uy-?#g#rbpb|rsn=q7E zqz9dPsvlloHF#;b?k26hWvr>+-%!{?>2o{`Tr`)#)}i-kjrBxao2Dtex6cG3*UG zhq&sAGF8#hS5srw+^R+AsZN)5C)sD{=HCW>i{Q-uP&G(T0+Ft)?lgP$PfB1K{$%3< z7muhnda77u9W3fRU&|&?KHbIK2Q{U*-A-YbE7a5G(iG(#aMW zp!t}+J0F{<{T#XTV^cTDT*V7VP)G~U^zLW<`YMlLT`Ij=tIpq^6ksKA#WIP{2X0(r zY{mEf6ZnXK?04(A!JhXOta!6f(yfa5?9xfl5!!dFAE7E9@P6fRG1vAUaO(xSP+Iio zCNI$Vn9gwjh#88ys0$#}*nT`5yv=;Pjof_iLmN|!sI#BCe6dm(KsiRw`&RTR<@WN) zg`2!coU%AM4`YaCGH+t*_)GmK&kQk0qGdw7wCcqn2!HC)ha3DT!eIf5anq`~HvV?O zdVA63ZZ1wARpg?hM8-mReAoo~EkoawMV{NM^PTe#M8qLN^f$?>gQ1i6JeHztnnXSo zVCJxkBX<6E*y7&Te>LXgKhdbj``PYpk)o~U7qi2pq7cXaDY&H!<|8^gKk3uCJ|WZ# zGj1zOM2jLgSr~IeDPj~mTw5O^ObAgB-2a1e*8QWMW@BCYntXLKDk>`Ic|fK*dq${5 zs!r`>HS%KCXiMP)^%tx@XZ8ECYzs4WY{-?4I04r$iYp*xjOcW*CgjJ4(H*loMjMxTBcVko|Db!Bs+ z-|WeItog!~5D-x$CelrU%2f;wLi)7jYSmeDIN7*odTZihKr%3NGP0`-yZ64Td&D*x zh}>*~+;rt0zuPs^#3qO5ZsGvn9PIWFV7`9NlW%i21@K}-)kB~v*Q%i!2P6%yJjo_h zdQYb5BX^d^3sw5*S-~E+;T~c4)d|Sstv~G==sK^8Fx6Z_uMi}ws& zts~AGq5W*Tx$zZ<^ETyd!>L#SUTa=C%$HIK;aW{!MmfvPFtzo&{sk}xgM!;N#$7H= z0*k`u2Ix1Uc{ew##F*(4+#6sj+SsFX%~ea=6v29^wvJx$AsDY;((ZRtK+S&fG7n>u+|kBSSlUUB zSc0#gX^bIPR0x*l&lb#4GGmK1NQl>H=`asW~kf+KX%U4NAmj*5M{V7;& z`sjDvcCjV#_3nywsLS!o&jk-Z_T#&z_u>96*GXIAvjn5Nv?1)EfBJPvE12l8z1q{_cdJ;3|PQs zT~I*~Fs@Rjnmqdkr}gr;n7s6K(_;1V0(oiE-AC=$JNm@Hmvx#>D4DdJ`ll-^%}p>( z5zRDb)yqt$*v!B`Q7hlCeWD=KNorZ1o&t?G5QpdhYdYjNL3R{7Vg#}fuOJ_HHZ}($ z_5YFF9Ec96T>5;xI<^McIUI;Uod4Tzh=>T%{tsjW73v$iud3jFeQ3%VDJ%CrUFoZ= z)k2u6+#y!OR9-*@T2(4J#tha3zP;v}TDNUS5m(6FJ)cdoJ7A-;po}s&Agb|d zB6I_#RZ`Gj)5GXfq*c|MEU?1m1{prniqLwIu`0vGog$=ApfkZ|jE2%_UJ+`wIs>N# z2WbO9#v0{>XuK5(q}qYxI3@_H6$vqEAD|ZR-0EST7HR|yAsy2D%8^I1R@u}{y+oJw0Zn6zRNCp!l;CKW8D42N*ZD8?)jv# z8Z3GEf#{%EcnLt0L_09kdb&%H`q0RO-dx>x8bd9{dwX;ILIsqC~4?+%5p(NPDhjNFYLf|pYxX$KOFbGB;KxCFO9STf`mX& z>6w-`xS;aW$ko-pk!j%fz8woM$wH(1*&d-<;FGbw*&HJ*Qu{(f6pA@PCG0czT_p81 z)09%$|9VkfperAHu`k?KxD$GZ_@o2IRM=S_`^n&e#Zexc731`VUmzwtn_EIW5;f zc$FylbWq3Q#G(rRInYYY6`9Vf zsk_DNm`CnAQore(t%FvS9v=^7?|J^$w>qF5W^^5SG|f+G0CNVwo(SkGg6dg&fz6oY zvdgW#H!3Tbu&7H?&+%)K>kaH;xC0nZMJh|?lX<7n_#V(mk16PMcoddksoIe@nV_S zys@{@GhP|8QRXYrmqSU|FplZLovRR|eKrU8ysUQn{hTkR)_DVVLt+=uwYQ$X{yN&K z-@hfu=|8d@08EVho2-P`5;4X;(-|Ada&ej%+b-4SN(bzWkPotPOhgLtn(=l|W5C){ zj%nW!Lr)c7KP{i<*lMw3Q>=a+-i0-o%xvAUcS!2vQ2N0opEG*Nl67ydwOQT&@Q)jR z0{6hxuAF9euJym#wl}_1|LF3c+?%Nj<{L$AdYZ`HL;c(}^B&weg809Uf`Av%OiPfD zkDpgWK~6|oP*$2xKwd#cR+?8>P)1IkPehQ1Us{4z{Qvu6`u{Yg|Hnxfp*t=pp8e1+eL`$E}{FojkBydt7()=suJX`sCL@S%fo|Wj3Enn4+Fth ze(oQErSlzbeAxm&fMa7G^X2!OAfyShEcymGS~r|EQ4FKoxK#Vz&8Vblqy;mwWbIHY zhD=#x$|^Cb+DNcRcq1rQ2YF#uwyU@u;8arFn5u*6>ygwLrUL+GAH6^$KE+pav6L;Y zU1Jy+S?R_KFcW7ONM9!rD}D7xZD(Waf7%q}^dOIQWt^rBpiwN*p8Ip+X?ls01o0F` zS0tj6{8W)2q#PTeUSM>6uQ5a>T*>0*?}3L>qR-QM&2BaJq~gXHkbW5 z$2_zoR3N;GKj-|Z+g)!Ecyf+m5>3GkFJy`D26631{9=i54hivxgI;R3ylkXTvq;p7 zebTB2dk5ApKknShT^(j?E3>JIOsQBiR#(p-HUVcUrXGMZm0Rz9B;$Vvguyz3Jb!Oh zR(5Nl&bA--fI8meosyzcAD3>%My8`P9#gd7jUX3GTbx`HzB1Wf!%-U``FG$8BDSUy t3Wlwljkk}Nt)=V#D0eF-3~wJxFCTv|TRRM1ZV^6_|K=Ht@)`;l{|kr-uVVlJ diff --git a/zusammenfassung.tex b/zusammenfassung.tex index ccd7118..e158996 100644 --- a/zusammenfassung.tex +++ b/zusammenfassung.tex @@ -134,7 +134,7 @@ \end{itemize} \item Höhe: \begin{itemize} \item obere Schranke: $h(n) = \log_{k+1}\left(\frac{n+1}{2}\right) + 1$ - \item untere Schranke: $h(n) = \log_{k+1}\left(k + 1 \right)$ + \item untere Schranke: $h(n) = \log_{2k+1}\left(n + 1 \right)$ \end{itemize} \end{itemize} \item \begriff{B*-Baum} / \begriff{B+-Baum}: \begin{itemize} From a93b0bf889e9c5ed339305785930b7b49e336e6c Mon Sep 17 00:00:00 2001 From: Alexander Schroth Date: Wed, 13 Feb 2019 18:08:53 +0100 Subject: [PATCH 2/2] Tippfehler korrigiert --- zusammenfassung.pdf | Bin 210109 -> 210108 bytes zusammenfassung.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/zusammenfassung.pdf b/zusammenfassung.pdf index 35d16ff46af865fedb6184a2564050608d4ef050..ff7359d6686fd5f8541da2b00440de6752f1b1f8 100644 GIT binary patch delta 8133 zcmV;$A3ET@=?uK-46yGX0XCCSS1Es5O>^Tm621FZX!j)5jt~L_335_XTOM1JOxBrk zEIZjsCI?!CWyBPv@FUJ@5Bt}*8vrR%rbs*ExGEQ$B0+rh>({RvbVkdOGy3Yt+57+Y z^5~0qt{72=gic6Dmp5?f5*D~4Avj@fFuIIKKaD>*jyw7J@|*g_FWynF{T6>-!Xw@M zCQ6cgGId>d{8pwDCdOs4Ev9c(VQxCF?89U|nX+KKn82SqyvN5f%Vn{Jx7x$GVRN{t z%Lrv+G^GJ?TxLf7Z|fC@P=|*8$RSJw+=c(#b3!r7;PHV+7kZ$ewJu5ojAPgJ!#cZD z=@KRyxZ}Aj?1kFOz1i~CmIi+w@u@osVK`RpC*}AGG@ts!<6iqVbikS&xWoq|O_`pH znTct(X9P+D8dQ`0<|jRY`P7|=b~eC7~Q?`r2pO#we7fJIQ3cy_rzmdi}Rnq55vfc;wK2H`)# zL^fr5S9Fa=DF;N;+CKemK$%B`7r^d;>G9sn_(616loBlC;l{zDykLAbfgkI;C{cRK zBf)?@!qF7^6n01cXFz{JC}MPXJ1T~lg}Gie^6RcW^NH`*b2~okgfh6G;^v%notW#7;qh$>^jeF zD?aj|mGDi6A(DRuBiy%kPj?Z-al8f@!ke`5Cc}R1Ox|?#tarb?mKNq(ULmT@F4ZTJ~=*Vrz2B&Lz z5Xb|uzmZO>0SoJ}^$)u5wk>9vg0KWrYxyQTUh4z#1dV_BW0@CG8iUsff2>ycUyR>P zK#$4WL}oW23P6RL+qc#gfuewiJAAR_hv~8~y_QkPzZUTCg~3W@)gO7`v%NKGdQn^4V_)Z7GfzL1MGPFv4iX8$psi%&|} zE!fLvT#SF?A$;vTjP%-;YrT|ssyBTKR0JJ`Mm1Fqn3kZg`&P&V5xfRkblnd$z?l!x zfidDy{}178H}_aePne%3U)*XD1V~WGsk-go^#d>gFniBlCBNQ%A0VT>>6nd^iJRe||NKN<-XE?R=Ris9rSrB}Y2eAbVhCFPE?T_CpyrID@&>j+`@Xqxvrd*0 zewtrZR)N>|#;@Y)H@w=_hac|sVX@#k92O{^h6a4!nh7s80_>pIOL?u5SPtY6E=T3& zzO;W$RQgD(xS|=JUOyvAwe-??w6qfLasrGPT_^oa>-oS#)yvXkrN-Tu;SX&_|DhS} zttctl&i0FpJDd$|Yo428i5Tll_s($9Y6Y+K5+G;^;)1C9d zL~7o+$)u{(z{4u73mCTbH;Xg@NFxJG1VHhF&tszVYz@4;!s!U(JS_0dcEeWdxC;*s z^A$K12#^Dq3m#~;C{4`>#v@&ze4l?0#^*GxCITEUO$Ro_`z~<=e`17(j=-CqG6Ty3 zIwqM8cG5(vv@gwFn+WVmsjzFtt6dH$G;2%qGqVH|&~SJLu;Y1@=0@Z~lI;!7Ix4oZ zKd1oLytF6J7q?LXV9Gbzow3f7_2LzB?$Bj>YUPki2$%<_c1`YMk6KJ4mp3I@h+|!tR3=p?c)X;>g1gB944&(=cHza{tq}3k? zC~$Ddp9=fdI+Rwv=3K=9RaF85kAoxzy1WK;)x>7QRA<9abRf-r6xeV$1Ow}5_6;Cx zKkQ2B8p_H$py8ydG~E8i0Qg`Fxz7yD1BW<{kEBi9>JZMKOg+!RfVqFnqSb0!okq3M zf51ev${C z;Lj_n-u# zTMYu!f~m!_VvGt_N@5ZbRh6wrXM}DS7k3H3-xxBp<*}Bznstd$MDeEA1$i~10fUnwUr?Zo@$3AwzmZUUSe>af-D zligvEfA|dT{fB>(v#ZltO${fENQV<$z?kFzap(G0BC4kAOxa47 z28bVy&-Er`QLL7$2ycNBG|z(Z>D%w;=4yRYnC7W!%QSelQuf&a&d`nQmg|&FK)BY% z>o}6;4xa4!4^OW576+EvEpDdL%+9MmdBC=NlvmVwGvQ+eIx9D_DDfV_XrZY*SXplc8Bne(8Ev}czmUw3})Wa6N0W0by^+E z?nyP+eN3(gH>O_l$=S#GY#`5e13)bO<9u>A@%(X}BE}Us&5F)VJr)AUQm`_rI68V^fLA0m*z-%wE_>%u(o(Jkh+D0KK$dXR^)Cpikp$&fxO`@E_&)-tj+ zR_lLH^*K>9cM;9pMV~8m<_=T{5{Pj3nGjmCyxH2^p=Yf@sK256?8soI_s!|slU}@s zgokvn*s;fSE!du5DRyB5Ax4))b@9ghJI&N@GW#}4@uY$*WwCn!F?w}z_R2K8n$Irm z<@xb^{=>(MQv}DC19c924meQe=v%?OhzfrRQM)jMN9nz>acdc{EV9TXw5*%s^y?Yo zS5!@*b0PCGDfH*d_`0;>pw(wR5|O{lMVZO(O7p>pbNu1m#qn3Oy7zsX?+q4}pB$GW zyRAC40B9pD#?-lKH7OjmkXIW#^ub~0MW(8C=f5Tgm7ni7KY)4FHDv49_j@IeTdhC zP7AS0Q2ek(K*nW18{?g?&MuGs52z+}x`WRwhtDhlx6dpB@$LaKm%$qYE`PFq=dYN@ zq)wR_+<~gCt+H&(cH+CVv23p&C}|{dLy-ze*-n1_`MLp;7*ZpXmNrjYC4v}C1L(`w z7tBzmsw-D%S;b1KP|3QI4qaU->iSAqS;()>O)4ABS~f9V!O~>)KZitksxoBfcXz z2P?#v3*bCJ9bmy=9bbc0iEqsFQuYi)@Yo#s(LUPBL(=GEVFEX83l$zC}JNA;)r>!CJSIA$ELtc2Zm>(>P0=6VdnI_PL{4(%9kG&-TO zQpujIBXvLwI9M5|BY)As@)D}C9{Wq6#nGx#8lZvT1M9dLspFs?z)0fbogx~N+15P? z%Z3OErK+oFp>OP0#Yp@RU2P5BBgVZ2Vu%uq5*e+lpnVCvVJp~AYFgRD0+K{kb!~eD z8O)~@7HvIUNr6Cf}-0H3n?7eFbapUc>^z_fu7ihRx7f^z9dX$6Ogg;lzqa1S@c0;7c{W@!epB5 zOMS2+-b^Pa2hF_tg#91ySK_ewHm{cA+-Os!*Nv*=oqw#V)V5}AQ6{@8vckP8cN-;^ z23RRn>>C8`1q~$&zvv^7heaPj{7weYYTW?3zLNp8+|~dsN;UxUPM_k^f5`x)(p$=1 zDsfG@rP4hGuuUVijJh=B4;sVN8^#DfU<~naJf2{=PgFAyJ32|RwmDPv#KHCPoUdOD z$G`W)-hX6z+Dv&H`B^*@&&8upBvk#G_&R|+M#jFP3dZZcMnQx0*oWF&a5N0Eht*n$ z|7nJa!^yZW>z_$C_reB>mcH|rikyC=^dkGxqlQto?`~znl{^p*7OK0Dj1p%N<56!Jz38LRF*kTb8GoKoM;Lb(gj>0ea1-x@a1-tm+Nf;$ z6526!>?0ebbZe*v1=f_=0oy=}t+&Nhi;{6=eCR9V?-f@Cep`sp7%zF8}HM-pfx^nQpPhr~xlQKHr`4r~u#?e~eO}Xap!0Aqf()U!eYN|?Hou6Gz&yTB5OMb-T=F9M; zdG~ZLKcwg=0=NeF>B(?>_HXUY#q@f7{(o~PwMx{FA>Z&zGyOUk&2OdGiT>c<+L-xY zO*f&*geMmxVq-RIM%~0V5x==UJ8P!hWG<6UC+E|_<>g=3=hNZYSvS2;^oP^IcsBT* zhMI9Vb;ulFHN%sO=61EkMEh`jHU*BMxWV+e8Q!kCT%G-dI&Xp*fBxM2M9;YX_ka1@ zKc9P_qDCCSw|6MBQJNsAB8E_FeT@<8V?S0l7>pS2`T_CC_i@C;3L$EqE2TnULC4sD zTe+1E({t-pU)|8!fMaWJ%W$a3eo3zm0?v}5(F$6D-NX zeXAwyw9((DrRVR2ZJxI4VL8}GT1Fa zw3Y;aOFkVuI|0tS03ysx{Ck2L`usA6ouj7l=qgVKae6<-1BR_%J79wzM!_EtSb)sB zrV+#AGGN@J4cw=9bv5sT34pRBemstsMrsNLMcbCupnkQE!Du-yIoiY;4mD9xypqI} zWtXIwrs+LcpI=~+43^f^(ti`?bR>3wJd9&6vX3EYeFA%=^&@FbBOrL@5_@5;q1Qnv z>=m4r+D=x`;8Ep%Y5N~*(>i6FEn9Qw;x>&W`+BP=OgiE>1)^j(huEEhgUysW(6}|0 z(PTmI92qit(r89YTA5eK{UB*ptSQ9uE_q*WCB2<22NHryWo-6as(<2zbJ!~STCu?j znylO#|aEr0rFDt z1S0A6sb^F<#%{#8w&VfUyJb>zH6xu~jxsf}F|CAe@>d!o#51c&v5MTyS-R^K&qZpW zyORAlkV-LMJMv}6n16)()$2_PzBvTrdY4Z**DqIC^{lQ5Nt}QK;Z7PxE5#U(v`T@3 zQ0eLMHLyt=tGW2em?s>~}$((`o?t)sD1}V#sMl44& z$9Ek+KaQ<-rIl31SVaMhVhFwR<`ohANYi9z6NppeeYPVG27h!9K9}em02w&ifmaTT zCNNlQlGzx?@l4XVqX~yno~ln)cwT>5U8?2w_@q*7CFpvuPysKNtx@y~ z>+xvIrfRiDC`;!hb)wK*-s;HfC4&@qlK^EYy}|@LL16)coJ$ovZyGr5q=jqJm)3k& zCXL?QW(Ri^7+i+8%WbA$w~c{ZoG28tn|830-B>c~E`M^Jo%*~#)0mosOl?}RysK?e zVOs4rPPb|Ennj!TDrwS)=UU0vjI$)OrB`@_(u_&2pc0)9$wZ_BuJ{#&eiUGZeyf%$`J~cx~11rE2T_nglxukTV7>-FUQI`G@2}zER>N`=!Mr) za%r)Q9)G=6S$8`CeKAtn9 zNqG+y8l-azphW7U96EgmK@}{O|rFGuG*4>Nq=wIZ`0kBs+se=0tZ){Yiqxpo7-Zw)NifE zb5mc|{Cuor#ibJ)m-b1Ai+)=;ekjQ`*uqFfcGXL>@@UK0EJn^S$x>IhqDuYgA+mdXmItc8J=Iv>9;&RLEF&1 z2a;|+pASaElZWH;QBz_0gL!lL8~t>(Cyw$YgfXmfF__XTmY+m3J{`<1eohSR4>3)q zpWL-yMRg1GueWbsJR^agbPA*l1b>R@*QoSkVYQOT)TKamAr8(#9pV^YNTX#b%}FyH z4T<_}emp#1TuzCUt}h1jufx+uT+s_LBHF{?^5S@L!Ss8rE4ufk`8J2TX1qaLV`dkP zJ$m=%;N1(>Sm;ogCxxN%lh)9ILKX_MyDQ9hD{OXsc{!k0FLMajmdWiR(|^ZB&0yY4#fA7?jGEa@jK!6>YNo@Dw2#h+If%{VK5Brc)+@o?OT ziI||hTE*HTv@V?NYIHq=r~Pr=%qSqCGnqG7m&q3wX~tB{#H_g-Cf;Yw7wkD3eiO41 zav97$znC_Sn17v!Yk%=2`K|a%{MAe+Z5-?rw%@$`_2~6W#)0aHaEy0}(?_@;7}#52 zun&`yX-{CPbv-AAPFs4|lzyiG|K>F+mm`wibvXON31rmwB0Z6HNY9{b3$s%se)#JB z`d)DU$bVzV7v>8aw{&853g=IL zJAC{419Wn5&|RAPMTV*)B3-yeFLb$0X{t-b*svbzD9}A$rtgm#@f%Sp#U~C-DJqfn zZj3-FbSwhKW~jI^P?(((#^dMvN6*Mr4nA~N#Ibt71u_2*nYSxF0&G8)8L5))K-ge9 zoqR>`Jf6%imVXxsLVT6GGn7BW+3%<09bY3LBQ1=YOR&V1Qc4ji z=n$W<&1qYGJH^@eZy&$<_>|Sx<(&vMTpde#{OjX=Xs_EpFNb5e+0}G-*)ICcPVw{o z^P>;H>_Mu-?gH5^BB(O=R4%!2uZ6?{BJ6}WlniHFAAgLts0x+^K}!1Ul{tAY{jja= zodW#ci?>hTkP99jb{1_=wx-vz9_n?4uBB}0nl6{RR!aRy$=23$w~jw7Biv2(7`s_J zv~5#Y-B41k6;Sh4nbgv`?MNWSziiMTgxwp=8ve=W#`BGqiTIyi`4_AE!|7~JDx#sD zcrhri-XRZ9=NB{n|Jt4RUw<62zQ0}HzbYI6Q5eSY_qoG`QCU?`7-ax=91v02+(8ic6;M$TjERMb@f#RJV`62)iM5@D4T*dJ zV___ev7j_I)_wq^{2!ZNp7)%4-#N>jh={*gMBW3vZ~#Ju(#s$TY827nGK0bzsR%h` z6=@x80Lt7G)v&-=9f{ezs3op!>zU;@QVqB>V|fGADw=!!up2ytdT4@;&8%!2HT+v%8JQ~Cpw^$&R)@^jZ$VVM?#>2n6N+05B7^U>Vj=>oihY2_flW-2s!v(kqm*6s7fva#0 zt}C8>^;T~vUVV4Esd%^KG^P0T&1qWk=cm(*RC?reOB#LZbX$7++3Ak-<&D#<^y~lF zU1d!lo$e`{m~y(W?C}SuIb|=4vrZ3`t-g1fSD|OcUkRUCYJ?JS-HGc?dz<#1!T5GR|rr_Sd%?04Y+YNIT=WDlaxgg1GhR)2ADBN6V2r`sTph`G0hA z@YP#SjHpW@H=?79Yq<0X3%!vLoG>pOT`WdFJD*(F8~<|gUH#%$Z>isY3on1+k#2q+ zCrLh@c%J7R$#l$wQx=YInJnyu+Q^;R^46AyJ_&!QH;Q05R_!O{_zEq5(Aa&hi9+C+o~U8`vK!y<3Hi2IIi(3){K{ygr5QsMof9r7o;R3h%ctJRSDf}%qzDvCtS zZ?=BGntnh5dHy~>h@R>P{PBL!=?1V#j6cQ;yk5Qwts%R?&%-9vA`*pMhbFtuGuw)f zd}t*C(_w^U!3cj3tliUX1aV!zL5A=qZM?~_UptdG9X;#aZ?C0=IoJ^ZF+jJ?9&L9) z;IcoqOwF75*2_+cD@d zd6UTO8bkr8P;>jnx*|{%@NkDOw)`+%7N*xyOV>h65BLeAfvB(}eMT9wwkq{`CePO9)Z+!!>9?>TuIGMFz0hQU*oj(+-3G3Z^AoNed6(9#p;r^y$$T7)4I6mqI=`*-~SOaRQ@xc#F>WumhjZ3~_H=(Zg5mmx&1 zZGMDSGZGRFtE{e+D%A*u%M(C}vQ~vwOIZP57?poGFiciS)lF%0v2E9S8_cC1d}Ugk zm0IFvIOsn=QIGeBYsNWH5_{>qZJ{*qtM# zO;msSNUM0F8J=E0BT2RN(pkK;67FIQj2K@f{Y>izz(du`(qyH^-I(DIZN}iC8SSk& zDca8Vt6X$A8`{=9H^ma+=uG$4aM5Z7uk;ciXbIwhsQPjWgqh%&Iw(~nxEEC*nV9hY zDt_)ou)XLvc=5wH#46MxGi2_O$QOgg)LVaI-j7Sn^CPe3MsxdKWeal!o*$Q{$)b9? zQwcLLa!JVij-la>r*p;netD(eHdPS_GMSS0PWsA>WM{=;$d$P$v;5Aik#bPcSiX47 zNa-?BW{_KTd#k>Dn-zgI(;KxE);c;gpiZaf>P!*_5GwmAK&B_+K zm=9dW*kgPP$is#ZEYD{;ZDsLVghXLlUS(TK$25 z0tZL@sjzRYLuut}&Q%OhRV6U+I7nik%WF_qO>8zybvFD&2h!X}fenX4FtC1R-vGi6 zqOO##p{)Ep8cwQ8!|iSifDg8i2h6}cbcyQ*NZQ1!4&j3F#P?kcn9F}GUadCOX;d5i zdrU;DoB=xY*`7%KT!o@`eAhIqi|hJ8X?3TP0mcQRxIy^DEym+Mzy@W`?BnU=P!ppC ze_jzLJVdby1Xsu;Hzm)YeOM<#SXs^X(|=EoVcVIHop#mDc|;hiYgbEYyd_OH(w<*p z8BP|qf&=4k%FLe3v^IY&!o!Zb*nDhvX@UofomGFA1bpi{c5Mq~V?Boy(f8W1-V*P< z)gUk}nA$>Cj8VZ#NlYT*s#x2Zj) zf5u`>1esh|yBa!}KDf6uu_{won$MgHAn+*Ol1V(EsIXXFr(sPzA(t1{O@MPF9kv>N zvONq6_Mf4>dw+j?dU-Ofsp0sr(@Oy!wUZj0dWcg1>2RV87;}R^?p)tXMAc-SDO<_X z00|=JOm9LKFVu1s<1J8v=2_^R9Q`meSL^G-G*4Aqropq7vd{K#hHhlHT&HXT!nHPD z$B{I5@nkP}cyhh7IIz@qaZ{CMc3$<#1Ge3vyrRyVF%N&vpAovgsdQ9yU1s?@>z9R` zl5l&Bvneea3R?-0NfoQAeEp=%%nB2%HMbekbEer+UZpBup_zv&CO#3-7qHb4%nI^} z1V|UA^19181S1jeB-G=}^Vx^yM3WlMiRp_gx*aKx?>mM-SlB z=tye-d6R!#TgYxf*B;(C=Rp-|PcM$Y?fl%y#6jE4eiY<2NPcb;F00euyfKICv^tjE zk!rB}m|PETOugje(+{)hK%VV|fLQv+`Q&!&2Tq+LE-G-E6`h%SRuJxy#_gbWm#sH4 z2ahSL1Qkm?Hib>{XFjv!thRezthWIKD`mdGq?ms?nf}D1)~M!rY1{T5&cbB2c8IY? zDwkD-6p62n#62hHVMM49wudz zO||vq)^TjVO`GVi(&T5EOy1$_(S--Cghd11JVK`fRVfc?)RDh(0O>y{v@R zGPZwLJLKL*4(T7W&2?QXBgd*C0D}DM#F zPpO(}=UnDxQs{4(@pWkxLaWbuBqD#8^D>hkOY_x;d-(qC`QbOyy7yh1?+g}~pInb3 zyRA9}0SF|l$kYjHH7Ojmke7FO@`J<9icD4O&VNhx%D*6Jeg*TYYsl8w@6~#p$T&`I zjoLF_-*-*Hqe^sr=DxpC_)#s6iF2qdLsI#BZBkPqz$W!(-KAN}c=dY#>30SU^dVmN zIxWO1LGkMr0cn^0c8qtvI=wjfKdP&C;)BjCht4bkx6UjA@$Qo${waU$TU&D*H`0CQ zub9WAzA|wK231>IW!aYP#CK_9*|w*NKqy&ZJxGD1TmP# zrB5GpH)beX$;wwoRk2dKu9U2lN7YoCs-eVfN1xn28u{4Q6 zUBq{U`dEst@m*u(AyytswiqW!ELGtf{eqG`3l#zu0em24tAKx{MhqT&WhDj+2C7IX zQ(0}XM*6~#_`-@qz<0!8v9d<19_F){tpaM+036_DP3s>Mn4;1 zCXDVd3G87VOoVkYx9_?VdRN^Qx)Do56Y06OSh2Su>tZtD59` z;$1VHT(>996g!I>UN)!0!QSLs^+}?^Mc3EhR&7PwJAkcROoiTkMw-CgR>KoX#6s!QzXwn{B z4Ne;D8}9LDFq<{)7`urtpM0A=J(vw<4R#qd^u#_;t;iDliujgIK*q{l_K62}UWbgE z%fRk)lMzEA*Rd4wrk$J|G_&dx=6}3jiNogGtXhAlbE8eQSv9Iwce1M1+nTi_ne3{` z3ik@`HXxP;SOO~c;ZXEkhJrq?+{o1 zO9m)G?|{1iaRuBG^gs@5-AEmyE)4mD#;|hD81)YrLp&UhCm8M%W71k*Q&69|uez~*aD z%@BK7t+@D~rsz1FjQdLdOxWDZGLWqFqv9k7->{DBlTo$n`&-xG%OwyE|Cb26iF73~JEY!3WMnvV7jI!aGp~Om&#^abh|)VD6}0{?1b1qc;5Ocg;I_U` zW*hDM3g}oF`v?Xp+FD9Mb>C~d1GT{xC%5HQN0NDEL*3Ul+$*mN{&aX%aH-_p($@Fj z*qmRryR&zSGR|!cu3L*T(e|VK+r#`;p}pM9#Rk5!0sPv=b31K3Z&$PDt=a9@*lmBJ z>ceaQ-Rv$w?|9k5!`+-`{V3>R6?E_J2KrWKmV1P96PLG1O-qQEy#7Hb!y146-S``} z=5LVOod53e5VnmoDZTTZ4`IQrovh8>z_ot|Pj^a`z6Z^+s48)Fesk*He zFT<1O-P67NjABC)z&XHAPln^Of17_`FWT$z`Oh1rb&`Gz{f1wf_Um9YyH(yK`GbEO zYiEBon+0taJh>RrGN#jJv{~3C;WyW3XHC0V%xAH7a^4OuFaNqeZ--}Ro8?22KWqo% z>EL&2YQ~$T>%8KtW_WVZ+zwkzvJb~+EqDyz2JLY(ydAono&AJ7Z-O3w{@j22l;c}m@y-#Uk=otrS+5OL%trcu$DjUe-0wu|=8X z^Vo|yc*a!LjHOb1kzr?GbCYuE>$WS&9U>!@hDf7sDwR#xCKS5U-SQRJdVy0l&Vd%^ z1V_4X-5EtQt<|?FmGsPQ?zU^^t%lBDo9~o!ckgt%cH6v-#6~V}>7;)_3fhsk!{uCL zvOA)vR78JAd%6z132@#85n*Ope;}%%&hKJ)b4Y5Bz6x{@r`KcLVA=Z8gB$cL3i|<$ z1l1XjE?=1r%9Y;R}(e) zD@BWPyd}w}8F~%Y=l6eCq=Ta|jS9p$6KOeM9@;S%*~gN$A(1`O_>oXEa0r1{iMi0% z(%Ycq_KKC3XeTQetWoEBY5N~5(>P_BEi2h|ahY0@eS_2FCOxe;Iih4Y58s`fgUgbp zrgmo?v&li;dopAUglJ|<8ktAP^;%J{D9Oe0EO}lomE`w@%Z7i%;1Z1WdIu^VIJ>Q) zZZsRLkjY@Db`YYT!&8$gNv4!fGFDk~iz;$y7PF+gNugBF@@XaI=3TQ97~u``%yR$( zSHQgFJi$nMdm5Nkp1B**ZXE3Z7yKe9ddWUae3SwoTr`O;nA!>mny&tE2UMD9A4@9h#WL(MoO*-Kq93tHdj^&a$Yr@^vdXXBW zC_{)i_GX^%dVYQ!JLM9Ul*Tws4vc&Vz47J|;rs|`va^4!X{9!VY)2dn=pOc5lJg*B z&E5`cWw&T+CaWZ!t@Z5B6t#Quz~r%Dv%t1w$)FswL@_fYGtC9^KsjYe2@{uPI8GKZ z>FslwC3xG$nzlGeXkLGAn!zdF#)_BjBj?$v&hxX3m84`U z(}?9=;}V2vwA)s?O_|3m$~0FglUf4jN>fo~EhT|naODy6>k|^Rp5e>2fOjM2(KfUwpEhv)-oS9@_q9}qndbxwB zO>xk1>C-qKk-nx3iGJopA{<6TByZ|tVhVpR)Kco>las>$p3|I~Q+o0XX)0#0Pd?s$ z_iSB4mXorza*lo(yO>H$DLoJMcPMF;`6qZvp{>`zP@0Zw$xl2i!|(Yl zWg`0n!%~J1G)N@4r)KTomGg6w`FN>k9-9*qU^*Y0r1&Rx(l0I?=POHvyS3$&<9C18 zd@fqlbmS~)ai4o|n^T^NsmaKx$3iOIGqvQBvna0P9%a=wJ)Ys9%Vix?;8Ba{|wxnUgE$`cOH-&0mc^-kCtIN4{SoFba0k zrAgUgjx%%s%6G}xb@n|y=(NekN_MRAxp;F!uRk6))01|1HJh~Qb;zs1CGLN`|9G_b z=-K~0dbxL`ByNlb=hMn2i9LRW^T7G)f#wN3J$|9zJv^MA@Ee>6$wz~$XU*{ZVn#pZ z=?R*K?mbX+^Z9Hr8lF5HpO2af!yn9=%irjit37d)JHd@%jEg}_uULK(&G>XMz4$pT zV1I~iD*fWF`zmU)LjQXE_QiiQQs~J>g|vl2^jl(O9W)AhsgaeXLb6Z?=b#Ph*idL= zRH@BLGaL;``fPSQJfB~-Budv8gW1>NX(O)ag%}C#p>c6>JilQ1z0MWg`_g=y0j?=e z&_&Gdg4m;XZw}tQV8rSTfCU1KeiuwX6Grqb0CT$o7B&Mmy}rC0(5ru!8Ip&pVB=)cq4*Dsd4rxiIk*=GFQ2`81U=tvVz!lYX3KaNJr^6+$M5j^ zv3QcX{apMaeudUAq4#U>{B36XznJSs;-g@uw}X@4n;Chzd7XdV8nb^i8E3#w#p$qV zo9S>W8o|?x=8x;aNSui?`Wp)V`_hOrv`wyCaW2lA_Hr;jJswT5buRwAx@g83_>s5- z_~YTY5fd>%dA0Plg=?K}va8Yc6g%yY>t;$036;sL!MH3wzeqh=F%{G1a+uaWZN6a6 z>F}GFju6XW?%97u+caYKbt10Cm$YxiU*fN(opgDyliPmt^4Fu+FPR5=gNI|jE1W*+ z`=Nomg$DaDIhpnZrdq{00orzOSl50h2mj_ZGM6LL-f!6K^G%?lxfkt8Y=ibp%C0gy zdE$q!-akItCuKHxE;CQTWRUlwOz^ju@>lFw3Pi=`L#}^(Eo-e}p$ISROFO~cg zJEr872)!FUP;wn}hq3M|ZgdoOr-1SJ`To%}+A0ShHfF@JdcX-W{|i}gOB_MAAB&8X zNpE1-plyFAU*SBDC$o#iMWPU2eeYB&p+TIAnx{QFDnU zai)|)L~=T`PT1zO3*SzD_Wj$(uRcCy_%`iMxEjum6+Qk9@jlSoygx68V{Eglc6ixM z`t45s^ZoOq55Md|tHaF+vYUHQZSN^v^7XwY5_5lw@Fu(=WjN#fV6;V6ut*3}(C1y5 zgZE+|cG2F+!SB6z`}7TM!NbFiNgKd6^jbCmUSD9XR0nIiTwtxW{*jcei}PlTKP)`l zP5Bsav#x8~Ca=07rCLd#X3I3GgSp!fK#G6aphhUWH<&j3lh3v18yyqz|Gx4sR`-YP zbVe!=QBzO67?fA zX`(U4Oj@HzuQ!tKqxsD9JLi3WdoJ%rMEolvQXRVCAcRVl*Fh3AD5A+_0i|Vf84~3R z(kfU3l*tn-;W1-tNzA6QqWsaVcq6T5f0p0K4dBjJ(7S6$W7=a5g3S)2)F2QBE0$1T0T!$NQ zQ}Ob