From c5371de67387594ec6e339837580ca41dd50554f Mon Sep 17 00:00:00 2001 From: Fredrik Robertsen Date: Tue, 14 Apr 2026 09:41:03 +0200 Subject: [PATCH] fix: add note to task 1 --- assignment-4/handin.md | 4 ++++ assignment-4/handin.pdf | Bin 28387 -> 29812 bytes 2 files changed, 4 insertions(+) diff --git a/assignment-4/handin.md b/assignment-4/handin.md index d38cf7e..5954f1f 100644 --- a/assignment-4/handin.md +++ b/assignment-4/handin.md @@ -23,3 +23,7 @@ the algorithm performs halving, but readds all experts if all should be removed. when there is no such expert that never makes mistakes, we can see that the algorithm makes at most $(1 + m^*)(1 + \log_2 n) - 1$ mistakes, where $m^* = \min m_i^T$. once again, when the algorithm makes a mistake, at least half of the experts are booted, and similarly for when we choose correctly. however, we have no guarantee this time, thus we could end up booting all experts at the first turn. as such, we need + +--- + +haven't touched this since before easter so i'm not gonna bother finishing it diff --git a/assignment-4/handin.pdf b/assignment-4/handin.pdf index 24ea7f79b05ea0ac674c826d924a42aec2b57172..6f5224a8cce1324cd769cd7d8714f79cac04a06a 100644 GIT binary patch delta 13161 zcmaESm+{LB#tHTurV0iMK?-K(6Wxz7noQXR0Qt?xK*7jR!N^F#2-*6*9ALLf z7%CVk7=u)TGXj!b@|-S`;Lw6P%|yWzNw$&GY!Zhhqxt0boL-Y#IE2)VAZgpw0Av%$ zEK?JZwP2P7T%+maB(4A8yhPanLdASsaJ2OA=eYzT4`bU@@8 zEhg*oNwR{o+T^SJijxc21t)QcPM*Z44i)4V01Hn3z^4lp@q~(m@EbFlPW~aF3eq%r zAHT}vQ$l(7ep# z{FGD$6R`bUc6RV0#KdT#pzvf_!7Yp?lXt7gPyQ%)W3q)Z|Kz+-_R05!oEc3(($#7* zlY@j8NtuA71{9QT`FSO7nK`M(3MSyJH%U!tvw_H2=E>=5e3SD+IW`MRsBtrzgEadp ztFVOxdW1y8ewOhHM+*hs<1%mS2Zj6seujYaXD<>bUrk;zJG+S1GneA`*}g8W@v zQk0sQ3u1waPA*dekSnXzWDvG3lmr*2s2(*12k7KPJ7s1AbFXJ;1#*=-;#5b?g z+`%YhWMF7%$7N$+U}R{gU}IolY&5w?ykPP%J8)RCm>8ItPktyQF=Io_&eT-(R%{1}8 zt`eIu%gp!o5}msdTv}Rjt~b{-@Vn@X&wq6E@o%NW*83(qMehl(dB3N)NNw`TpY`|a zfBvoif4?T?+?ACwdef!)izJ%O|ouV;Suj_TCtJ-a!h)v)_{-btU? z*7Yy1-Qi{38JVd$X=h>Uq%(JzJ~Hv8bG4tIxq1Wp<1DGS4-!|eKbG8^aMg@swpiM4 z)lZ7GPrkg%TzuL6>_p?HcGg50z4pTo&v3hbF<5*3@z6>*0ex4-NiaS@7-o59?bU`v0o?820d- zd60TdrcPbSLWkq-#)a_j)q!EgNF~QSmaeAmKA{`MGdQ+$jNOsoAHt^4c7l*RPknic>plW!kH= zKlmGV9li8Wxc`-ej180D_3x%T_@&eCNBg*m1}R;Xi!#}F!!l@U@U)#%e0#%0C;Z~N zE;KH0ga+A@`^c_y#(kD_)Hi{Bg-r!Oa5J-uk36zj{yAL0*oAJ8v|d~;Q7&GPRB z^^@gGcb!r#yQ8)Gl(6C(;|oTjJAIooIrd(0`EaL1T$ZE4dEqRHz21jEn9ZJY%$uV^ zNJ_C?MQ+VXmD}?=-^Il5vyxk`Ve6V0736$FP)elj@bhCaCX?Ar+3JHAM8!>8bTu^O zq-0aN!3*9Oj%$7Yzdte8G+<5B9S^^>?d^PDsx<4ryOeF0zIyC5$9&s^^6XD?{sU4La#6j!toZ~O0gV(V}1l8P*| z`M>3S@ZC~@;`(dt;f?03IVK@~Az=bDOyV_8x|WNuS@G@sb>6CAUy{ysw#X~npT|qG zdM^GT`GIYRZo}^mFQ;_J6=rkelb;@po9vgq!l8KT&&e9r%Qj}3wFPYRaa}jxVP-qu zg~o>VPd?8MF5y~gC)VWOd;R@||3UWrcRkse?k;rwx3#W$QeSob*XHwY?!@e?Vm>#2 zwG@+Pox$DHZ+{A@#Bp-}`?yO%*VcWX;Mp6Gt>*Ne-qZE3T;Rcl*4t-$-g;lWuCs3j zZ-46in=!K=_#O`4#dc)=!sq=z`&bIrPBqZXkc(zF<8s*Xc*|1Ox3(&=tJF-r=Ir-- z&RV>mX@~hLMwg9&36j5UDmK;szMS@f>9FJy1OnKXS%jfQ!>X{{%e778byzHCrx7WI< zZ5t2WxbpL$`NgYc%12k+uQa?hUE})Ot9~i>z01FE3)FpVmM`hWtEoPZxxnOP0Gn{V z@U54p|G$#VFf8@oAo1qm2@OtFp{IUTCz{vmzE{kR+F0=R&_s2ZV%H@Ez^&;3K#rv;uV(I)87{-tE_yW zF{@|F)FUBlCkm-Zag6IX@0m=KK>-e8+-F#pM`x>tSX8otvfK9J-1mojN>-O+P3@Dl1-ajCI`RLs85_`y}h~prvD;u z$+i`aYtxn;>}kIFK>4_1^y|XQPh3QTe?~g(N?`J+Ss?R##{T}MvkT83E`Ff+!Dxr9 zlkfIpr+&v4X8r^s4cRjfGH|IJKvU*G2SPNzd=<^E53&3*B= z?QPxi+~ft>OP7o1)^E-@ZRWFD)x?T>z5m=>J9+Q!@ZFKk&&Qu>;-Z@R{Nwi*dlEvm zJH9r3+1>p1ltu)T*n#@pMq#-{pKBK{>E`>fC*-rsl#|JG3q^|pwoVDnUcF((+fT;z z{%+fs-|Eg__4j_w6VahNM^<)9@g0v09fN138!tX+&A7D0be6#4eWx;x?E7`>^2^nH z634mK78b4S*-{c^6u05=5{uxq6P~1Sf9~dbTG^$f%m0VDY5(4QjekEDEIi?#>aEYx zzBjP!gH8lrT%sbw!RwAfyCVYLuPeN58{g34yuH4!Vdc5MTfZ`&vH1T-VA1@Tz;7z| zDn5Mm%T-rAU(ux7w{FVnt)k~7CP>BZiGOTir?>RdN)avR8SbZ#^)k(p`ns<|;M_I$ z=#DT=O!`{Fmtji%*%zraCKFOKZB-)7*6qU)%3m%=9 zfA@*?`Qq~_jqpO)wLFPw(YZA zn#c0;b>6$Is^yP48p@<|2-!yZ&RF!tQ`sv-kR6 zU2#-)7n@U)hjCfH_VJL=sn5LL*xt5oUOw^rr@xvK_3fv`=e&IUEtauOJFzyQ|G~%p zn*|2%4=+s17cYCU;B)ij6aBLf@O-;z%3108GQutB;xTi94a_QB>tt#>=bm?4d-mSf zd?$g@hpS%Sx^7_~cXjDhwvWw^>y_So4pi8~wEJMUqmP3?%2Zaye20SPwKD|l12m>O ztqj??ji>ppsG4x5yX3K~mD?iT_S{?cOw_cRL;e@P!C$KgmLKQmM$efNHfeV6?9Hra zf7?te`|_mVPH@hVcdF-8yk|$HS{OL!E#7*p?c?{=Zl9JOw5&6@U$s&D)$PCyr6PLu z?Apy83^~0G{F{$2_&?o1mOCxk&h@2+tZDRO<*ianRt2n&b9}W``E1XyS z4N<>*AbVxrsFGy)V3{J4kDro>R~^ z=cBVcKmOr--PLe9d1}fbm*?dd?`}C?-oWKk@~{5Y#&gfrSFvf`KHz)5!uC(N!##~R zY~k&!YKxb4t$QMQ(dj|fZ4(~wz1Ua9Di@;v zEpbKA^3_L9JZaM@IeWV`Q?nu{=wF*f%iN#;iW`~_=GFHb8?@X$$JJFLn#z@v|0}MN zan^>Pu?DX<*WYrO%Ps%nMt;GfyKA2csmE!XhomXjd|UNO{axq$Lw+&>PquX2z8xKP z>-JGyOUtA}zGKr{nz;R>C;z(b{?OTBiO>&rr|O>LVF9{xde*)$PhyT%=>OOwXPm(+ z<>NdxXlb=^#zU6bJek=d*#bWVW;68uo};Gk;A)+<{$aw~_p|ExCT%^nm18$+)YHnp z)jj94WRq6}mlW=ookBmC2G+m2asGRiHj8Pm+ctIQg*LJ2n;maz ztUWIM`7>|ki%YE9H(Gz>D=3B4$;;Jj$@fwAebqC)$AyERbImUH9GjWCtQG7htfyaC zINi0hZc>frJB=GZT_1DQ)E^YRBT(b=AS0(_SJ$i0pMo# zPTt$B`P+X_DmwZ}MRC%@Gk3%L4yKE%y*Yb#Zi~*oDdmg{9{4Y3SiX6S>2lWBKDE7m z?hpMZcX5|Q8Tw6KrNKLEa%A;^lRMtu9|5(jV8a*_6y@iB1n`eX@#sO`FxK)Z2w+?j9L#%MrK9Z_db`Dq6f#X!9zOudOSBw6xE?)GOZ6Ct+3fp)u}zdV;c$*WKoGLJ#_q zrKC4@ZkB6|DSL4T%6A}t2WSG@A%y4I?**h zxa>-eW@t{Z>Wbx^cdUL{mh58VWTW~gBE{F)r2MEgJKKRPEe zv!7RP*!R*}=v` z7CbhIJ}d$m6|}RPeAgL1ECSW@#in-hE)|8z6K!k6O$`h{UW}&TL6BxU7e+JKPzTh6zjia!Awxn63i^mK9aHcC4e~&WsX54u%@^zqnPnaA zxNHmz42{6U97Yxpo-u^yG+EC1B%=jLF^jROfhl~*qj!3BiS*UE$5rP{)ZeHa#l6)* z_$2R^-8b*raBR?tb#7#c)IVm}>*;i_PGjTa?O!(t-`;dj>ZNw?ylJ^7^H2B5d&->L z__)P_^QBpf1G7q|r_X|PMeZ%_wx?eg9Jh|zl|IQS(fj<(`m}dv?%dzI|MTAOb^G>D z^b*sV;IZ`5?N6rlyxH?AmwAM5`}1+uEUu4Nga7pZIC>)FqxX_ktwN>+pJ&bd_w>Z0 z^Ty)$kLkyKQQYjJG*K&0c>S*T`V&3={WyMR>7&Ef&Qu?XPJHICk{Ptp$L?E1rte0z z?IFQywXeVZd)xH%rttNbI(+Ru^WPh@Vtq?@n(YpV4vq{CU8jA$e%*<-@oss?#^0OdTZ)b^WPcaU5TgXM@^64VWVGucJj~H^J5lf zUrBwxYUO#ot1r4vX>Zk5nG~%ObW-+nz3ukT^EJNy{WD81s`o_Q%z!tZ;kq#a5tA#k z6^a#&jMc=ywg0t?-)%o(rsYgS$roRKGTX%~OxUU6t2EU^WzudJ!Tj$Ga)Db^g*sK- zuRQ6~IT`y%q}+SIy6%K|`%`V+9%_2az0TNpQ|qQ@CHgyOUx=RDYc>GZ6+n@hY_Q9imW(ylzr%G%ri{IawE8uqu_&)DT|Hajcm)6Op?TIR9myeB@f z_w-u+VwK6izcVh06qKxZkt<{TVCS$JL~!|x?ArmocG#|KQ6Iaz}28d!tutl{BI%$FElFt zuyNFLdcptWU3rka!JT~#OL-MrnjZ2Ux_`1>O~=pIux#(m8*eu3mbyDtfo=2Y1=B8D z_g`Fke97mZHM5Mq)-PRiGAlQaFETmnpLe8=NY}R6N^V;NHaxJlE1hwxC+la>-xoHL zQ`Oc7KmTg->ZoQjFkJ~F48rMDl>#iCOfnUmXT@S5x z8XW)0)O;s!j^m-5$uBo@Ioqx!ivB z1_r_J4O*tktDC#GnoVMQSlG68$D2I$Gj;APiY(6mGX50Rq%BBak-zP&kw=hN=J$xJ zMOGE*zjlTg##ARvZWgq zD<-{j*0;Ldv{$a)KyId5?REE+J)JxyykGeHdi;+pD`YUVE$iC&EGbC)ghX`dWvlGg z+t11lsrFsy=WvQKkm#*yYD_GeHcN8d;^KsYnv$aWP2Z1%e_YDjFPznUGs`zhW_OOVi{17r+0&uXXs*qyIi; zUm}lpe^_|_N?HS-u3NS2P1Q9Kyl(kL(muI;c3(|zrX?=^CMU7cu0HUWw@Sf+>?ao< zcwGN?VuSu8-Ui`R!{&&@atq(5|3hN-Nd8WEdBkARy&3v$dY6>1ALL=(`#0;S^o(cn zCKnE6zWm}NwLir!R`bqOt3SPmKj@s8r787-_@TrS z#Wx%?_AGJRCV4e(_WZBAEPp)wUeB^Ox8>i2e#3)|;S27cuBU*&49DovV<w*j@kx+Vn=DG zhYr^d^8Y?xcT4UgPi0?&&&gfRajT>B_Oz<}&s4fJ!Bus-Nc&6MIg^%c^f21J@cWIL zdNcXkdhZ0|5=7Q>*C#i%S+>-fW$@ps)x9t=L`AkYXZ6|4;#YTfJ9=Gy>h1gZ&n3Z^ z|6Xs2R+;Yk)5!0uzx-UgTlG@2Uems`xAxJW%krAm)mOiGvn*V+-r!^QkLOdRrkI9@2p(O&Y*phY z4^6oPhy5QrinyM3f8Fuu`!ct+JH@76Cd)8dQ@dD=8L>ZP9^?8+$gcb0ja zlBHDXqI$oV|Hs0YYd)7S=Kk1H;q}q*?1SPdkDHqxXZe_Xd-Lgw{CwX%UEe>fj=9sW z`+M8e-22Oo%_4PN47k_!Y`l7UQP+pn2Q=(t7PGo0{r{@amfopagey{?jKy>TlfX5(g`{mkbleyaF8!|UCS z&bzCpzx>91u=`|l<{!shE-O#p3=aCEF1FCv;DVi*=hD5?3ncP$eC;Zm49#xiG^1-t16@}-L&Jo>v`)6cKuzC^(N_f>$};ee~tc|Wa{)|^2_FR4s*Tq zQe@`;f7w$~7wU8~_hpw-+Xm%~j}xy*@P0@(IZ)qH`%mG}i%o5_9_-<~e8pAq+zeSh zZ6AZ5xw(9Y;=NNfgZJ+ZOf|W?!l+I=Omd?%Ylp>gabp{E<+=4!=7n$j`Pb1!ps?jk z-K1R}k9l4fR?W$1x~dg)F`wI-(_W1wDA}oDqlK(l#0LG8-h=G(+dm8a3w=0kzunEC zx~G*|_WDcfudZM6vGUJmuaXX5Zd5O1W#!(y0uifcY zV2az{f5G+o?ABDC><+W9i^MNV+;*S!(r8zP>Em*?SjQ4&Dd&3giQH4=_fK)t=aNgk z@m{<;V0!=8+&MbGN}vATTC5vh*!o9LHr#4G-}&CX_FrEIPnLQ9^`LrH2W#GjylY$Y zZhy}14xf1Gx3ruSU!{SpMJVhpd|VwTiiR^ZB$}S$t0< zT?+`FeD&56At5KF*qpl)>igANT6}Ukl~!dmsa-l6cKqzt)k}Kym&S_5oSNQuc3;_( zzfX4W%}@68DOmUL?WOYW`}O~}mL8ALe_eQ(shwHOVy|DHZK%;y>up^;&r9rj+>fxx zXIAboTV50z`0kj{wU4+Hb}=H(Q*;WJ-a_T-TX%?r5OQCOGm!^$IPoc?T%;}+pvda}o3*>A{w-uX7! z^2Fh5uezG1ZMJrkbCuf`61qnD2fth4+hz5oz6<8_-gGWI#~~}26n}of|L!#<_fNgL z_40Ihi20gHpE|#>&2pT%raa>o^K=o}66XK&PhI@AaMh|^yH>5Lc)KD?$IfKgy(zz% zKN(+i`@Y~{_IJUfg1gU)I+`=iKc=C_UB2Dvu#AJebP0>>oEJ-+&c|E4e3t*}*Pq#4 zl2wiS!!7GS*Q@;1`dQL>ZMV~%}PK~*dHt)e^ zwTxr+sj~B5&3!%p^xu^GQy%Sqd9`w7(T0uD(V?-yOW)qKULhrW(|(oMJCS)Ic}Mkf z--^X{u4MBSsFxOSGaSZkuIJ+M}}Fu?4T?ZU*lX)?GCHi_)w2-8>U5qmKMgy2qhp zv9&fyx#LegW2Y|v2Cme+6toVlsilH}0%$TlTHn*z*(tF&HATS;yxa%2R%tS42>0ZS zP`=GpLH>+9W`;2JW~P&;1}mDFf#%l12AF~Sy9)Xdkx>ek1`6heMhXTnL%6uiKnoBc z>P#oU3RdC>xas-nt>L2P2QNSw7E3Yl5_IEbdkvh0xYDP7A=g?eKv#ihz(6GO(s7SQmNk? z<()5WF0k+Y`h@(e2SqGp_BALtyjkMFy(1&x?i?AN>si59%2ust|Mxp7wQ#FS`;%L% ze>`fv_M~9m{WAq+m0!O;YusCT*>KyQJwJZh3g5lG{mq}huHXIDXC^ew^?b%^99Q)C z#@pKMdqm%Si&np}{dW7inyZ}KZk3(xO}Mn->a+SCE9=+1+x=SJo>S3|GvN30vj64Z zzxcg4{6FQ37+?O!4_CO$(rz~PZD`-VA>rMRqJwRs39o*CJOA~OarECywGpNAyZNV! z-!;10tn=bvg`R1Mh@y0tfPa_3BhNjh0Y{rG-?a!h@#@%fZmRsXv?+@3cj^LWl~_gJ ziJuO87`~n{tA5fK&Bj{?LrnI2eAw%|V@sz=z%p?ehfWu#q_rXLci{a};DnmT*^H=ic^fb?`- zbMiYrJ2J38^h>yX#Y=MAiuze^4{L4Em5#b)xpjMt)a$o0f{$v1?i8^sO+Qxruywlr zq1`p+jr)HtV%V{2lSTjsYYW%G{-?hBjdL`;76>fYxHjutrlnRo%d3Q-(3d{)t+OJE zX1!!*R?XbXo3u`VA*^`$pEV2?9v15~jv09@-cfYR?)-jQ zWjhs_C$l2B;KCYNmC(rxC*0AxczdCK(uLaVpB#g(3U}=@H(FlUy02>8W{0T(8WR`a z%YJD3sBzUI0Ty$ycx{ChLL8z64DZjpW?`wH+OpyO&1hH86CUm=Sh>>WGh4S) z@`k4D^;_#iuLp?8H9O}8eASUS7Adcc^PTG&vic2+1~H92a9Jtbn|+j5%6n~X|(_O)Ni%tWRL+3&?q zDW3;<9BIMHx^lHk_to$5WR=^`8mJgEEB~^Nxnk=LBj4{YLrY>`KIAH5I+#;nU)Hwq zA{(F3Q{5Tg4*#6|K3+7mr0U=W#_v~K?(wXc*p^{>UH`Ol<*^OVCT3shSnK^NCzdDR zcIWODjjp>io=kn%-G1ZX=jx9(602=|W|T}fKe{l&Pke1~bHUeObtz}x`oE_XZ_jcm z&dpr#%fM2K>$8PP@jjVZ&DW3e7fkwD^l9QjPNC4+npm&t>}tXWr@1?RlozaRl%D-4 z;*9U9)a-;AZ;eyC9sT>3s=j^34DXfKxHGd1Vy0+%Iqck*kg{e+?#XG(B-eUbTqAGl2uU8zL!md~7XD%a!&{-zx(dvzvBPjUfuutZvXo7oS&B;KYo{Ydw)9XAVCxI3S{`2||IxWb@}s@?vJ;$G>R~g>$&Sh9?k0vN29_p<2IkrZM(PFznxJ)T z&PAz-C7JnoE{P?n3K}j}Mg~S^1{eyF76zIdfCh0lUrx?o5-`yLNu4FAO@S(AWMFQD zuGh%W0#nQww1n8epx(d$VW5$Tp)rPLQv)*$F*8F92O621SYoKN0JTNX9B2tzpa~b# z2eAx{4NOhZH5(h68(@eTP5ziATyG3&c!4w`oNjCa8qh}*Gcz#9Fu~jaBP@)~Eln`g zSy*6r$Jo*W99Jk|W`ZTaO$;$3%ftvX5=@M-h?!Vmgsq7ws5J@qTs??oU}6SZW)5N^ zLczq$9K**Z7N!^xXliVL5#FZ8mKc$5YG#5FT4rYTpq22b7F(Kv8nI|%W*EV0Xkdil z7()YN(E3^wy@m#+mgvE6XlM@ATaQSxhNhMV=)q-ZW&nvNq@-_x4>|Wsew6$UNdvhs$Wz~%q%b+Xl`i+O-GYM z^Tf-|jX*_iP=0=if;p@QqVJiPmakw2>M4ObB>J8%3eg(ai%VNuO$FRi;04abC5c5P U6-B9OTt*f~MkZXUs;>TS0OL-1rT_o{ delta 11938 zcmezJg7NWP#tHTuh6)A>K?-KZ6Wxz78cgP6%wsaOoLtA4#AIqd`4MA0lc~jIXC`$n zQ?N2a1!J?#B~0v$p~hgou@QuV7-D1s;Td3|pmIi*U^y7i0)=NXS%pPuvM&p}7{nkW zh@~*fWby_UgULNCe3PHE@J)Wl!p9G>$Ovk?!Q_psN|QIR@RYDO4i2-)A2=-;jVG6Jm`zUL zQd5V*4aPn^su!H5m{)9T%)KtOLOu-akf#Kv>P8U=q zh6<)e3Z}+LChg(`o5W}~c^kI|qv2#NE-y_Za|I&{1tUw4*Fl-c*jT~X1QZlt4kF+T zC$HrS;4wx7i{WH`?f@ZU0|jG41!E&5TMD_&CSPC|nH*v4SxquFOFe zfef|;Sqfr6Ld^)`ZAh>gfjtTe6j-J)L^3^yCtz|oA0MOPa1ypwkch)z}z zQe`xrtjH@e*;Z9$a-C4HxG^~X!Hx*Y56#O=&QD2IFfp85A*ec;S9r_hRcZ>89}3@K zG@dM|AvXDfh!dm1L_y)n^%^phokSN&8H39RkcZv!^Ge(@b5e~JOu%V%vZavpWZq1U z&5B}Ym?!@f;+xEy$-bFMN}YT1E)l+oa%>7ywjWUxR)H0b&%r>u9vu9*8QZO+yjh*~YRB5uBhBg};17A5y z?PNha;mL0#`9YS}YsetUi?qpLM$i+*T) z@$^yfo{F0Il#1i!K^fieyWY-?Ta3BeXS;_ClPv7Y@Et(iSj)#3d= zp^qx7mgdb9bn=PAqT)x6V=i+UIpeLDKt za*pR51HN?|*dNP$E&H(J>hli~%8^@n4=roCUDsRXBX7Dj`_zdmg2h+1JP@q2Q13bX zu;5vXQq`PmuU`f*DBhpP7u&Yjve@bLUfH&mtA4ZWUY=U=pJTdz-|RP?8Qo_Z)Esv& zTzw~B?stLL!z-D=;XbDBy0hxd%5Qzm-2cgH+3`OwTkY@8`*^Bnv2mWu`VKqU_3~W* z{(8)))3C_bh_Sa^@i+CaZSIrl|82YZ;>(VY?xs9^^BB^zt6xX;OQhLF z__&D%C|!(;GTC;6HE3$=tc@+cf-63G*6yq}JRvCZEj+4U^7wZDWiCHw3XA<+V!QjF zteaj%bM0cCVE3t|XKGkgMENdkWp0~kv+Z=fCht1K*Qp7|a`)=|nthww{Xy9VwhuoP z7@O>6jOvyg?~!u0oVM5}Y<|sB5;O*;Pug9S*?_vecJbrHa)O4%a)*Z8#tlcT`M)Y~dQH%c2)olmA*BP7_Doa-R zlVH#n?^UmL>Z6f|bFkZ++HVz4PJNrRZ{NZ;=Q^KsRSD6vQ=fL8`g|egP_Y#I8UG1e zZ)F^eoe&tk^56}P`X`df4*iBv&21r*rA(Kpgv>J14R>6%MU<;~Ca-%%(Q*@u&l(lS zgVV2`UbJ71F;n?N{6Xyl=gXttgo>@%{oJEjzI5klm9jfp^{dZ_D!%!AAxLy*Y;z{Z z-YYHz(J%e11U|GmnHpAYZ+n<$sM#AX@PWs~htJCtUI{Cd_nsbv%mY5zh86M$W8_#>2SKV9E_#h>}qFbHy{E(t(`!o^57YQQxydL){>A zUcjX0cRCzf-7)Ah;+I{(%*g+A=80xcQLkDZmidya??3#%xK3_Y zGat(?r|v(+f7w*t^1ouAe|ziFoUd;6bIhYnIVSy0SY^KExAuerU7H{J=08_v-u&d7 z@hk58M4gytpiaX^d4cTj3 zJROT~N^R)mSDKTq>zi>t@uiUI%D_i^O0D!~{53tW_hPBStX?+no6`>%$Idrxntt>7 z0i}8|M&k$5QWJD{oSt4X>*e8P?2;#z-dpOTbdlwGNmg`s^yGD$Hyj9Aczu$T-kohZ zoTokS1ui&y;cU$WPw~4B)i!Id{OhdSyV%EknzXc)-Jh_4RP&&oUwgw@_Oa~Dn_p)0 zJ8swN<*iv#n=6k8Bzf5VRBB*VahCM)$ymPr-|F4_Pu5>CJ(skhU3sy}6pty!4;97t zZCo>ZOXkr-Te(?8wI=CpFRYYY6Tqc1_h5%zv(B&60tr*DKM>rYU@_CbvgEh3!_E&L z3+_~dvg5Vv;|-6vO??s`C|X5Xdbu?)TlP$udL-nm+#+UM!;t6ikN*B09UX3-@aGgy3pSizCqA?^ZX=r@zfbv-35`hCrcC) zbf1_-y}2sUANzVr)BAn(zqdGw)&73;T6qKW8kX{(yBJJg?S9(tAh%lKzFdCUeT}K# z0{0c(zi*()6E4``T=2QBdhuSl)mu%g-mW;hC^+ol2hXWD?$ z(P}<*M#R@=WpYd8yIYKM>Gq;i>J4}vI;>4wcCM#+=7Z$tiqW4rFCTFc39g*!WK}QY zVY5Ky@r?cb4Y~`@Ki>Sn@q^S3X(!+5$4>oqF4DZ5BYS>#`@4nAjog!-^{nye$P!_Ag!7%{;pzo!Rs=g)v6{|+}p$FUfL*o zcT4P!YJEQbEE5;j)aReRz1ouyYTWU)Y0K~Cx3@SVc%B`u-)$C^TXfoa@si1WKlX$? zu9)Jvcy6I=QP9;Xq1oEoSG@gHe4gW0(3{pRO{F>6fithD<`=TB zvU_!?GH1=H)sxxge|?pD@v!gF`Hhz156>_*eC*xLv-`W!)G+PbdZ&kF#*44d{Ma>3 zY?HKY;qs^L{$;FT=8p?bw;g*jD{;y8)f+cI-1}*|jD+)!jJAh|%$&nh&EGyfq`PcQ z%d58;cV=_Go>skC@9p9BTyrnEq=Yw_@HXEL=8`cJjk~bI#>J%gp-+?M5{{8 zJ0?n09FqTcS+_2%(L_Ca|Ejq9ZtK$07M6+2-rtOCTdAdeM)U^zw(o4`l;ofMoNRc{ zZ>qkAabTo$W;K7ONbI_YGMV z{!(+EvVUGP-FoqUX~x@b4~#Y_b$mFu&Ep40b-m25dd|xi6U?3lPU*W8Xl!Z~wAxXN z`^&4ROX9qh-fWvZvGmt2sTM1TQiIYv%T~3$lG?I$m&NTq@!4;^#9yshS9pEZ>lD+9 zUY`_C*UjHgeD5p_Ec&^v)#DT23J+t&dG@JyCl*Amnbafy{*T|T?r%T&f*L=bi?_Y? za}P^sy({;Q`nS@n+y6_QkZp`U_*HS=$&8gtw0E!-hPKJAyfiCg*(C1w*(<(Zox^pp zlJ{W2^_f@BIjZasu38b-=zg`kR%X?Oms$o!EA@n9Kj%4S8O@t9W4j?=;_~@*f&~UU zuHJvk#q(&}=RZ!dl`ENUPv7Q0um4znrTm#6d#nN;ANzfqUm_->KD>D5k=F3jyrPjD z{d?E_vV8O8{6lsAPn%~S$<6ik&CPwZ>`l%_3+cz6P6t_+_jvu4RsN8u5cKiy--Wiv zl1{G|@;egt!+K-m+6l)i{Q4!gu<S_hTnZpd@`73p{{)J z&px&F%fluH_KJqy^tzi7JNb6#@-@@1J^ET%*%nfA^3T&ZOn=G+1hwlq`0Z|)ubQY< za%{DmQcHV9*j-+;xu+&E?U8*F*O7ny^df6J-(5oGJa2w&s*~9FgfEZB?qK<~>$~gk zv~Jy5$$9jUjf~y%bwMe+%oZ7XoBvVWr@7ixyuDhu_{b+0#Yyi@-HdNL_+0$R`_nfk zcj)YzRL!~I!Toa#e(s*dWy04ceqx*3c4)q;*wfcrlICay21=P&FaEWlyYTkw50{o* zwjOw9R2>AAC?P-+8fq;iiQjezLxqSzY`iDthg?i}$it zxV7^Id@{QepP+x%IqZyQtzoU_ZS}cR&*s|k*ga>HKEU|z&)wEc?<@0bOSbLI{&D!6 z?M8`yN!M| z)r6SR=BokKQ*+qQz2oUT!nyI$;@vOw=FfjMPayaE?3uk`yljW}Cf>b%sJVFm)5+6{ z7SDRNPuoYw!)5w|9>|{K$sl$bZib z6@E1*pVM}>=>NL$k@LabkJVZ1@5ISiDRwZV|I}gJ$TVs0zTn6-lkkMFsf)HTgnFgA z-i%%9_dU?L+Wg-A%fBpdw6p|$U$L2G$KM^t+;ZF=+zWb8eMHhxOrTysjA2{B1(qW< z?xm~mdPRj=%obj$F#!Gt#y%zr~LE$+Q~Wh zgLg1?N6RtZuXuL;Q%i5hKaW&)wlJ5nFE79Bcs%1P(_2NK)Tvss<*9{*byla=b;<=`Akf?zevVdw5x36V1n!H*~e)1Ok8gXL_OVDtWp@o9E zxrKtEB?y@s7)*9|@S2>VDK>ezgY)FKy5R8=(9i|c3fljZ)S(Mg@c0RrogIAS z)zo-Wrs(D`jt0!K7Is`V1_p*kb_zBI21ZU0o-u^yIN8zlB%=vvB*WO$zyvaqA*EK| zJH5I@By`^K-Mm+KI%T9^{?=o4VXk9(`Au6Jm)Pq!Uv#X6_41$o zpQKSFEbpO5{Lr;oJ1 zmHghhy{Tuu*QF&vGiyq6JxeF5Eq4iCs(tzG|JS9bH(y(`@Bc*6?6CDa?Xz>IuG_WB zXLjgr>OGW^R6EB09@y?J^bb_|QcwPhXmvwdtDu z{*4N+U%t|c4ac%Cc1M zRNt3zMfwZ3|9|vtW$Smn65X2Gz`KiH*LSz{d>0qj`4?oji^sU;Tu(__+q}7+vwteq z%hy|!&d*W1y5dRki<=>SyXH(+I$1w!ir=NHnSa;~muf!92)}4;vFv{F;hVfdysb%V z)Alc1aZfy~`7_(jGN<>C*d^-ov#WR8KY06zr}>ETyt<9kqkc?W!&M+D-Em;K-~T!G z2Q41g>-mdzY;aj-zVqv{j>X%bOI%;kb~-oxtjh_X#*G;zyMm%+cb{*Un!(g(R`O8k zdTZXEQ)S9s2^@w^8_wQ;qS>-gw)sP4Q%uVR`A@O$m)WK4U}p5zcH&??{I+HP?Ef(l zlV+v7soK2pWMaAL4s8dXwCRqz%gg64IPK^0{L>GU)K~S|k&Cb1x+1da*p)xwn<6ws za*bVkvJ~qNey_vTdFk@iZp?cIuyY+oP2i9L3E_u6;3|wgQG&YwZ=Ye_i@hK;g^rKPrby3ljT2v$E}YY|-Ab`SzvUOw$ECzi&pl*GmR|&|7_* zkKL!PnkA9tP>j0dqJHBpeVaOe21ccKjG``B)D9(~`j;?Dz{IoIW%HQh_N9{smd zu|)AsPnLwN=`y8H+zaOwZnMZrbgw;fr(3RM3tP3#zXTg2*Q)%!07>DO@87(amXMR~ z_kAdkRP{zI`K;>_w+V*ZRvqKLR+ZJz`h5UjoI}!|}zOpboKd~`2j;VJ4f8fT6 zBlRxlSFV5T{c66(sZB5D@ERn&zPMMv$>(u_jooGAi&iaVEwXjOIeD{>CSFRPF8;nv za9dc3unTi-?&9P7-t6pR(aZO@;Zzd8HtTrh$thnBOP8Dtk^0a4&oT9g$c5E%2LyNZ zG)~WM6=&AXEnRV>(JER}Q~cdOX@gy2VfTeLeqVXN{x+xA%vI*RNzX@SSz5*1f5`CWhH9zew6=ZC~71 z-kV{Go4?sfY&5J7{N$}tu%h_Ki30`C51yEy|A@CiIMuK@BC*`UH?=-KWQ!SulI#} z3+p)bf7icMGrxOAVbZ(2aP>opB}#8NX6#uKwM{fMZub1IyDWb^{9ezpcWukRj()>~ zb>R!npRU|hDDuB&an2dTw5;qyVOKUx{Z?zh_EuIQiRJju=$#YP9ok+L`^?r{5WIBX zgwVrJH%WS|+t62NJx6VWK(V8?(?f^n5Bq1m(jKbsO?9-O_!TV=ZEPp)%cd}Zfb-76Pc|6tL>n1`K*glDrA zP3%5<>#lX#djk=L=?`w+^9|m;tZeSpc!rNXn%fie^Y4Z{c6`klbENgc#}@}1SAM)# zA8gTC=)7meW~(j2=Y<-l{JmQ=wPt33iP!b`UuQW?d(C=M?4Yb9nsA=1WUh^<>u1xvE}%^km-;u{_-}NAC7^jk^2M zZ&%A7(pa>wui*Bf4JA}?Ygg+DYLrw`0sY5!wP)t*{w5QC@8iJD zLp1G-IaOOvO>gs(JG)M^Zr=hm%hmH_z2*f!UH&iZr}j-rpH0bTi*{6&ow~HTmF?-* z(xbehzNy=6Z`5~hN~qkjVz*tNp^@c0n`M*UA8r5hAmo|ru7+#%VJ0howCFwBJT;k_ zIXSDxyyX4IFLUR3?rHn}akY$1LoR#Sly^1@jLo8STnxB%do~_Dy=c;h)dw}~q?Z0{ zO~{$OMpSHe^V))^%^dwF_2$+;ee-kjW%pxl)omS*CQnTHBC+g4SN*pu*FN5DpZC6o zjrGR8h>(4|L-uo@pS-E!?h3DWJ6i9)4u5&h`{3!5hco{q?h09X`d)a<7j?0P$`|gN zSvfAX4KEPM&-1r4J^yf#?-Q{ObEo|~E0;&IY~)qy_;_F88_UW6PD$4?*0(+ubKm{k z^UYWGecq4my`L13{NrbyW7_TWX7#nrmmXUP^`9>}zj#WAM(S)GU9F!+DnIu&U|_2Rm-N+mn2iAIFx9nY^ZlD!G@fJnb~c&{`&JM#87tQL-)jC!PvfR%acbYH}`Ia=+;6o*Olc zO6NX4H97C={akLj_|&y^^#Xz}GK!n$FVVYfaky%ZoVrxv)~=8*w-5Op>gQ^_vO*w1 z$FH4NOok&e`NP5I5BIdx`|f!Af5w_elc!&Pk$P}(JG2-BA1)5j57=I(#Y&g$*|0CeRI_r!Kf#pA?UyIs z{p|7SVDjqpYy0;!7Z>L7cg&HBoAT+B_~mDxUQ7t`xX_}L#%pR8wYFDFQBmd6(Q7q% zCWUgiGR*5 z(C*N4Nq(VJw6Mu+&z!Q@0?l|k!_U7q@=tpIbx(6-;NhFU%DwJs|9a4R-F!~M-ZjU0 zxn=kw9(=K~{O0p9<=l%bqbYYkYRCzj)~xw?an_rztF4x^yCavM<_xomOssh3FE;Tq zv+$*zHn-|mcWssIRlGgl>uN%EbiMZqSKZ~j9s#p%*w67?ntw6(`ipJb-^DDlaE*Wd zK78H_{n{X1lbU29tLt(C85$2Wth!k?vsbNuVdQr)^@aVi{k6}`uls$QZntt)e_>s| zk0p+wk=TDbt+gO*GXUa2gIfsk9EfM~o ze`?~cgQrg2x^?PQ#o3N56FZAl_a^;n{#1O??fb%e+1~|^8ty(X>L|`Q|Cq))uJ79% z4$C;{OP8?7&UvxK>HB=km)G)N|2h=im08ufKi=|hy}im`tDhx(r}o9mec%3c<(eI; zC%68euM*$Ci@oi=SJAImrBh>WB+5NEKK^o1{dpV9o5r`zXMcX#=y|mM!t3Iorw-23 zw{2RrE9my#dIwXZngSQyJGwSY@ATQ;nw7gNDcDp>@t>JOQ^JAk*X*k`DrH%`Luh=E&Q!-4CwW zZd;#XKFd}ArQ?jF&0}L?;W{iAaGayTPk)^gW%O zof3;vQ$Q;@3>1Q5CqHliPjzpO4GCc6F$K-IgB6+?PTm=+XkrSQ5{C#FgBOYDM?^*` zSQ;ppgI4e$*7=x%Rs%rP8BXR4Q{o17j$wT3Fy)B?5|dvgL^7IAz7VFYVhpk-h)V$s z^wSI#Ou&Z21&kC-EGKs-+Dr}(mlp=FDM0Soni);X6xlp8+>(>gc%q;<>E=cYWAv8I zKs{h)b4!cKf=R0N5#IT?90d0L4u7*z#^_9Te2|Fddat!2D?@jxS~BqFYOw}AlKb^u zyCat=vU;skQR2}}o9~+&-|sojv){Jw`LiE84ALq}|GhkvP*{|7PVZdzeO5`6jJ^{t zCVE0U5|;5FE$B-76|$gm*17J@fsJWfblQwfo}9_pW*DWrxc$+u!}YvM_Y_W7#jdkI z{oHoT)%-16PhVXZwpwb!|wH+{@JEB)U7adnca*DtF%^Sl2=)r}vqT&KeyF5;_RWw>hUs^6au=IE3& z>(}P3c{1}`XI1K+lRc-sS2xYw~Ij^D>?L z!>)0?%7KGy>2pL2E`8mQ;>>bKl<}kihbNn0%>vQpy~Yb9|I9d)&ff8wV^1YxKvqI< zVnScL!i2R9UcO$dnCxzpuVnPH?YOc|MPSkW=K2F)uf4hC6T9=E;Z-41g$+AQWg8!S zU)dR{C%1Cm3c*I3*Z+JIXEyt9b?Ft{^St?mV)(=R-0VCfSGH~K^PB(Po90{pi6Y28JbFvPd5u0+=B2nOqc`aAb zD$dOo0?Svi*LOIq<1Ajqxmh&fwUaz&+N=-H*6x!#ZTP!xQq~a}iJUFh_O)vT_0Cw# zynK_A0*}|+`c+R_3{M(vxXUxcvGtqO1r_rJ1x0SI>~fvIJT|Yjyn5(^HH+W$r+;&7 zbhU++r&`YYx94}>y7u($O))li)|Ku5J9A3C{QEN>9w!Cf(+!VST>SOB{$u&?p9?GZ z&rr`aE-;wpXnQo_|Maal7yaRvU~qs8ikX>CZptvXG&V9fG&L|Zw$L^(R5vit1Px3% z7o{eaWaj6&B$lKqXt-Dz85o%vpevkQ9P`*nt~WNZFvXBDHODl;%pB7ua|=v$7FfhAEiqhf zVqgZcw;m-@O$?1NBFn_k0>fexV>1JEN1Ip}V8nrmg{3*VI#WXvBu9hnH!v_TGc>_4 z(9!_3bQBcyh*V-}h#8KS=2-MvfL1i3=ruGjz(|RPhV@3E<&3BbO^waaeQaoIYK)vB zKpG59EippI(9FOb-6Mu(#-Me!AT4l@7@8YffTILCX&V_>TB2KQWM}|de2Jpj$j}%g z%@`S)VEEX`&;-LVMuw)K<;8IGz~OIXXo}%uBSQ;QPy#_tA4Vodp!Nt{Gl*eiVrq=x zXj2md^msQiH8n<0TSjJPOh$&29~8@$n^}Mg!=U{95(P6@lSkh(FD+jIluQ*sEg*eQ q7lmjI?8Ta`t)>EQsaQ~(sJJAtsHCDOHI2*2%);D~OI6j?-wgmhKADLC