From 7ddd60441a06776f09043e78d452d1da298493f4 Mon Sep 17 00:00:00 2001 From: Fredrik Robertsen Date: Fri, 27 Mar 2026 18:06:35 +0100 Subject: [PATCH] as4: start task 1 --- assignment-4/handin.md | 25 +++++++++++++++++++++++++ assignment-4/handin.pdf | Bin 0 -> 28387 bytes 2 files changed, 25 insertions(+) create mode 100644 assignment-4/handin.md create mode 100644 assignment-4/handin.pdf diff --git a/assignment-4/handin.md b/assignment-4/handin.md new file mode 100644 index 0000000..d38cf7e --- /dev/null +++ b/assignment-4/handin.md @@ -0,0 +1,25 @@ +--- +mainfont: "Libertinus Serif" +fontsize: 16pt +--- +# assignment 4 + +## task 1 + +### a) halving algorithm + +with an expert that will never make any mistake, we have $M = 0$ where $M$ is how many mistakes the best expert makes after $T$ days. then let $m^t$ be the amount of mistakes the algorithm makes after $t$ days. we want to find $m^T$. + +since experts can only be right or wrong, and we are following the majority of experts, that means if we are wrong, then the majority is wrong and removed, meaning at least half of the current set of experts is removed. if we are correct, then a minority is removed from the set, at most one half. + +counting how many times we are wrong then becomes a process of counting how many times we can halve the set before we are left with only the expert that makes no mistakes. this is $\log_2 n$ of course, since we are halving the $n$ experts. + +this is the upper bound for how many mistakes we will make, since we may get lucky and remove every expert other than the superexpert, as shown by the fact that we may remove more than half if we are wrong. that means we would only make the right choice from there on out, thus only netting us a single mistake, $m = 1 \le \log_2 n$ which is true for any $n \ge 0$, but $n = 0$ is uninteresting. + +### b) no superexpert + +the algorithm performs halving, but readds all experts if all should be removed. this means there will be one or more best experts that make at most $m^*$ mistakes. + +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 diff --git a/assignment-4/handin.pdf b/assignment-4/handin.pdf new file mode 100644 index 0000000000000000000000000000000000000000..24ea7f79b05ea0ac674c826d924a42aec2b57172 GIT binary patch literal 28387 zcmY!laBx^^GXzq zKuqt1BIYiE;~D})Vvgsb}l0<=J=PEjN3* zlZecN*kg!n9!Mp~V2HZ{5{ptnE&*8!(hf1r1jYrM2IoOc(=`Ms49P6XNmbBDEH2JW z&&vgwVWJ5VcS$WSQ7|(A8-U~skQo@Zf}9cr(gd;96s$=>K_6_Z8H@+D6&zSlTT2p) zvlR>x_L*9O6(iXPG7G~#kR!nM`K4BrD8Ma%8k!iRsgRMFQ6%4_t2BaEd0745WzPwW_6^xJ*GDsW9uhGWf zbfjPm$|*q##$Y=YjKGntU<@`Bje^P96 z#EKD=f+~Ty%m^O^ai9?@1@VdzDut>9>P?8CA;c}jP!LZW5>G*mh6IlxDg~8;gpwgD z1(u72mt)}A1;>{mB#aCpzJpPa5HqAb1+^9uCx*mRV0}pb0Yw1FKj2&hE#M(}%{3=A z7nJ6M74%*5lS@IRBZwQI01iA5(_10h7~)fWi5He`P~#Xm^iXOFa7Yq#5hw%e2PiD^(QD@fc+Vwpn;>j_g08Dz+)dM=Mc0HTRa+@D;QfS7+Wfs7$}$+ zDwr54K=Zk&fdVw=nwls;^Qox?+zAjTBUPVZB?O&-8owY{gZ=HT5N&FzU}~mdiU?Fp z8$fx15*rK^OpO#wjq&&aRK!tWgNd<%iHU-Vse*}_f{D3;iG_lRC2rfm1vo+5utl1Y zxq^{}f{`UCFBm8UDHt0o7@L6d2AG4$gcw0+1QH==B}ycLT?vaMV?>q%nG}Sa!NFAz zC1x9dDq>?JJOKtOc?sHpHNX&Mh5}L{h3N;PiVbWw7{eM2=Ad{1#e*d%jzA1Z(E)7` zK*|myaLNZ|Fj(zxh{xMR6(*>W2J#0i(hNZ*Cm!QLZXp<|c#OxBWx<}N#B5M`i^u7t zmk5xC9H`s{)hUP~6*DQ2UKXI3ji;ytw=gLP6>!yrJ5<2US%Su6t$c8IXuK7o@#IW! zLz=La;0_sbLn1^$1F2&MiV-~CA}aTLfV-M#c3^ZlQEF3+s0X*R2>Qk)vka7skgf7o zh(>8%f%{$P27!9?K8Z=GIUwDj_8yonQ9$i-W6PAdbfWZej6qFmbUWSh^FVzv{ovB1 z67aABsGny5ve+rHI29zTpdaMs>FDaO?UR|5T2zvmS6UpLT9lcl>y)39qU)KGnpcup zQmN|!(&L(!oSy>f^Xj9DyQCH;r{<+3=9PdZv3Z@1Ipw6m-se!4UrKP2%xq^{`k%Eblxq>kW8W|~=fZCfzh6<*jR;Qtv0ti|f zm@1enfSM7O3Kj|$3dW|Owy33o5vXZq0BV$)8k&Gw<%Wg|W}ud-5vYj@7BdF5$c+t6 z!L3yj1v5iS1rWzn!Pp4Wb~RHlHL?UX>kQ2mOic|zHIbo(f{Bp@sQG7TsbFei1a58{ zD41GWfLazHw^=|M-$n|iW`?Ng9JQ?UNzF?y$xtu^XGOQnoRZWc1%0=i#FA8(R8SHC zwHk^`ic%AExhm%T{{LT|f%Om5Ur@IXDheCOG68jCuq6ycpo1b96b*ifpuq?{X&9_9 zCo#QP!O+;yz}y1N&(AAya>}m&#geX(v4w(#rLlrJv|;aAl9-d3?3kCHlM0DUM^Nf6 zQLwNy0qF%f0W^lCYh+>u;yWi6c%){gXOt+InV5nEf=g0!!xRk7Ec77qo-Vw2QfLa=YZ3g841$}4V!~&2t;l7|uWq=f>s)_-@ zy5K~uYpiFW5R_V+Us{x$steYkstW60`lY6(q^7`Ri>(w2it>|-Q%e+_JzYHWGE2Br zRXy{Pb4pWEVQR1`aY{|k%tI&u*`eTET3nK!%cZIc9>TIx(0~XifZe13%UB8qnp~=? zVW~yMnfZBE3Wi*&s;+q{&iT2ZOjgXL4|Rruen3%vGAQWMGV@Z3pq^1k0@=%DXrz#m znOp+pfyI(@6AQqak@CDTL{&;@0aPV;yb8SpP)JElgA7$+DFqOc$Rz<-G&L^;OoO8Y zk`AFB1{nwzh5Ay#5TOtpiv|!rG!DTWLx>YW`J}iYF*&s;F)uxp%f`UKz`#zy#?8&m z4Ls0`CU0Z}(Uz2!oRL@rR&HpgU}IolW@rcI8G(7`#t@z{m}h1Q;h8{q<`AAKgy#z3 znL&6i5S}@NXA0q2fO+O75S}HNXJi23If8k{P&p?s&&&xT=M3f^a z4ZYO76mTj6C1!AZCYKh0#=OBv4IH1Kn99scg{Q`X`~pz%1;*fH49gLqMD6be5=SrE zKx0D~Io!zH9A}}apn#~pk?TTdq^w^tXK7ewiSTvFsRq}290P^;lh5#+*`YaMX`_%( z6Q_uiLf(ze>@!K5Z*1DbS-Cx>^5CSLwTo*vrtCSveQ%>~zJh@oTf5qY2?AW|CaMzx zs+>4EGpE&gwaxjWk>)+Q=+b5R&(HSG{Jgh(fA#+I`;Uv%{GJr-jH$_W+oZ8xL3y>o zfBr>#dahXNr@r^&{MW%bq46cpe6BMOidT5b%t|~KZD;iNvC+3jUpziVJHO!JYcKxs zP*R4k{L^A%i#hN2KereA^F_5j?Za2jdNK8u(@#0C>G+@Y6I<&gm@1kgaw0tC`H9a) zmo9NHdiV9&`RcTPbAEn)W-l%}U9W3byJl8$T-h>@2!XA8HYnIy>(}eG8#f+)`rzrj z1E;e5O0*!6T^m&$&_1rseR{0*g5-53X4z zA$d%~N2%le%Y@HS7U@|9r%LB&-!XajTXel&C9fnGs9W1$(ALWg{KUhKPB;eGt~>v9o3?}Loqk?t>a;~tpW z+(>R#)?ho%|KBP9rl6UiTcMdnL$;0MqEEfN?+<-l_@Vj0d{*HEA)kY6i9a~z<>XJ5 zSLy$5{^dtT&h~q2OQ%=|Je6CztwSf|y6i$<17nf2bNTUKgscrSL$~eTuz&l~jW@G4 zNajqrx3qj_OvcoU5AXT&eLWG`Q|Btx#cMZhr%g7e;N|IMOaHorpRPN_;azAZH1X-v zsV7dxE`2-KuK4*)wWtGa+P|3-o$mw-{8C(?c-TOCd(LJxE0-0!{`spWKWX)ETUQdk zMeNPu&ATUk%l*FS(5+4D$`-BMw{P$A=sk7vq03hr?Rt~3ew+VQ*U;|IF@-6A!e&PJ zh>K`!D(2|4-XG^xnkM7_Uc;IFNoeNJmWY@+o0T74u+$7qT4yjNBaksVNT2t}seNsl zcj}#7IHoi)w6mlfF*+6ysue9cb#28$CAX#Fvs2Vet70Cn>QKF5p%S$)e*MBLS<5ag zb8GK$K6de<<6*{sKC^o>LvCOAD%Sc_=-{MA9h=RT#Ru+Rx_v3|!t5y#3ey6Z3|C7v zrT)L6(yIQ;;ns3nsW{d_M!9kpL~zFjnTecH3Mi!|0&RGm8~i)_jB6QqhU0Cx0mLdf+?HN#6ApNyt}CU zn3(X&cd=_-L;U_{el_4Uv8m=$yKp0Zk<=9SmbD??T)(H(T56s*yZ zsBAoVadEq??A?;;?(N6@ds2TJ-O`wzTtBzFG*LK(Lp2Nra@A+@v zd8Be?LnVighfJhG%+6pD_m@>$WO*K%g+!b_5%RQc)Bh_4htFqJta!W6bFz-tXH_SL z_`eJrc9_|46dwFxoN858D3i&Ql)5Ht(a!zHLw_^uI6U|JSsfGc{=;|EKfHXqt>v5e44d(>s9%*xMca|8>Ra<{@M9v zPPp_nd5?w0zxt-kQ9Zxsa&cbEw~SX)M6%m&?$~(zR`^@j+1XLCp((5N%Qw!tx%m2J zrn1eSVs{uY^;;kQ&nBqDCeiJv^6lqJ2cEdFRiSSdZWidhn6U8PqnGK@H#DO=OVZt% z=V)cU3N@X4{C-aM=Sz88*WPi}{QiWscg=>f7CFN|uhl+Uo)66}yfnANHT_b+jZm|m z^f!E_dvooM2$;={bWXgk6)ZYcwWKh0+ODA1uvJ?uyEz%H)jTeiJ0E#?Ku1!1)x(L| zeG?jZTz*V$j6DBg+Sz2wH{IPg+ynN8Exslw+FSXJ%PV>7i`kwPkte#vG9Q;r2|6pX z>&grEV|kAcI81-Y{Lg24Z)V7?3l^JC6m?4M=m~khwtV*%GuE@u8s*dfzKKeC^2v3E z-LLeJ4{iITzHz?@@YSgxJcB zuVuwvpZMtU=JmRH*XDhf+5TL|WR2;QWolBvKaG!Hw_Ub2FqM;Awe_cw<*FN-_eMA! z5`Ch(xqsoDsbZp2qxMB?3|g*juC+$%%amhT9g0m`*!->-Z7K+GIwH<@MxKK+Z`FH& zH-}a{E^Yf15)pDLY3-thsQG_?|9O6?=jgXdS*o{6)?5$qt;)Hz)}&gh)9;7i!S-He z=6}CAj{PZo#&TNK>A{Sa-fJf0U9B==DW6H|VaKUbp#?S-_d^pPzmd_TTBkA|&|c zO!L!I^}b;`F>30yb(`0>&hXe9nr|9$>erR4 z$=7aYFOh0#%Y7OBZtCeyugPb2i!R%guH>D&HH-h{r&&^SOwKf1j@!RH_lniqyoH^- ztt(d^n`1q3g~NIot`BWH>^hp(3Wz>pRy^nTw}??7{r`)vyg}}Nx4!QYG${SY`|ae5 z(n#wdjf>|V@k(=^Xg~YIx;-u-eZwD@!dps)HZ}hq&+5*<%=GPImFApQ&4bAr6)dI? z_J&s5R%=c_oO$2dYITSgdu-zRwHZpcZ(FrRsmNx&R64op?UrfF-(QePR6N8#-x=-wQo%cks zwz)|0;5p|y(=9I--z$C_tF93|Z)Jz#sa`%`)0f4218a|EZhE=5N_yAHRVymz3T)XZ z8Kfc6{V;taZ(_%yjgEJH4qcvqx8?ZpCF;SyUe5cnw%UAh z=zL%H zL1}ySgUWA}HyAG`2wRIkOA1dsYx(DiX!q3|v+QNO=U0nrm%f~pxm~cjcX`j^^>a-s z-YfWRO|3X``23+O9=*+mvvtE8g>PQF`}&>9{hQzOPx0*LovC@!?Pjdo#?^bR+MT9t z&CFclw>WXjH`({DUe&hC>`uQ`n3=d$F)#W}tzun%--h0Or;^fi7l(%X{nkBwTKIj4 z$CmO5iRpWe`6XX(Jp6sb!W*GGQ@5|(C@lI%Ixn$P09)G`+ejd&I}Pd&;~V1ga}9Kh zaKaek3QA2c%}FdGca+NnJlKvt$^{yRLmA})D?_yS!Tmpd3|Aw!>_Of^jL+eBJV-75 z2D(6_li=wE7wiLF<|dFKE+cb8&;XZ$v7s4ch|AalJj4YW!U7F(nV5nGxXi)BO`stz z6BBa6HD;;mZ5=yDQM`*5H!kVY;FV^-!e2(Ffua%jc*wmE0|cCLx;G`K{`x9 zqglMQ5pCWNrkS z9WpjhFb2)F8iLlHn3$QO4568zPVzuUd?hHpaW^(@n%qe7(Rjs%7zHf!-Cbo3_KM9$%CM7J}3mBqc9-t(9Zhk zNZQC7Ni)VZl4cGaAA^iE!N$%YBTcX|Fvv&~Z1f5;(qse~X)=I}G{MH>pd)F}Q8vg( zni*t-$^bHw1{#wB4f{bx(xBs229S|7bI8b+0c0f23^G1u02xVxj*l5YN7A4pchHeE z$OxPvbR-Qj=4J>PNi&Cx4H`oHX9O|R5aK^G=qMZ1e-PWDBWY%41_n_7Lr2rhAftYU z5I-70{AdXABWx57;zu*+SRTZWW{?mzg!mC;E;N)4q5g!r5aLfWN61(o#Gj53e;Pvk z2_0KBg80+ei0-3%pn?da*fB9M2F)GmV=K>z8{L~5!C4~wbf3TGTNjOomkiGvG#ei{ zTpqhK!lBD+k>n{{L+K9^*ZsrD;Pzlw+mmHgNkFTbEy zv!-0h=?nCEUp z)1c>~{W_{& zBF!$s$4xXq>0(@z$+jD;K~rOAZEW!sT=B`Xc4xKW2|;ZgmP$G7`0bNM+_SnTf- z+ui?U-SjG&YZvPTyH71WQ^Tqv%6DNabK6XtZKpMP*BQP}O*odjSLfI4+uZIC$~Lfl z_@ThqWG`b>x8!(_l(Xfu#Xe!{gI;%dRjMA8y%y1VmSeYUS7_Gt>- zvdW(XgT8n#ty3S3Je-5w-qe1pcyj97oPGNiwmH}Nq^nAZo}K!%^VH`HF^7t!*w6S+ z*m^7DVC;mz=#>X=Xw*NEOm^rujB0KRnJi_xOeJKNk#4x-sx6{i%`fVyZ2Pyd_*RPgNKk!KZLEHuN1Lu=+b~vmSk%g#NU?fgTZE1n6J4&=P|Y%|k}o)sGE2AT5$ zCN;m);n*Ty_I+;oBb%cc>v%W4c(1q5j!DS;h&+{--lfG<%AA)#|X!mt1}S;s3>Ta=V)O zSavye|0({=zZOSp}Z^A0`HNUkd6zJOg&^Q0NGV|sq-;7^z z-zVzCJPZA@x1C|R-l4p-ocPXti632aTy%c_nf9t8Uu)i-oBID`_Ey{}H)+UT+v4e1 zd{b&eC%@91bY0(!^NBBoOjiaz+EZ$!KjW|IfxQXYz5(JIQ)%dLUgvS-TFBOzzy7BSlzhCF|N^!M*5zj(I?(f0bk|E;vO zc6qOo{DH%9Le;5Lt@}%teYF1ez4F$D{gktVEStJ(|!lJ)e86J^2_dPO#K$PukikT z15KWA!3O7o&vn&{_sXr_YFhPn#nDB(#^ggTGfbUn&vheAoKGU;V}_^O&!4Co`ri z?m3%$`GdX#ha5M1Jj?S>{gZo~c0EolYj>Ep=;CSqH4Gn{7BOC`JM$;utB+RmsWT$J zJ}Z-3BH!I&luNf4onpZA&|z)bvU5GnGan>BSB(D5dHINoNO0v$C#!lH51R!tk7w-f zZ_r(M{_*Aqjvu6UNIUsXKX&S`bCKrd9NF``+uto@Zv1wC!f6ftBTgTl{(ka^zhw8V zi}S)h&bHVs6BV_tQ~h|v(n^!=xK)*NLd&GCF4N|S;0S%aTGP5L=fQ@<{ohPP_H=I6 zUbs~2?6?1^uemS&X1=}ldv5XqY1MS`cNMz}UYGf-RyDEW-X1>p(ni_4TVi)q>+|tv znYgf~KL7OX)t-b<mQ zg04;p&DP$&;_av6^BlK=-n4FMTD`QCP3MT%x^HEtOw&|Mo=F#5M>1AKI?USQCY*F7 zT&nlR_4`#;HKB};BMz#B@J*dJ%gy^3S6P!t`U=rWZ*&sl5*uy816Mq4s(1KM&d+;v zzMQE@rDo2_r4J^U-{Om7IDO!?4vWGMHIEeWkJ-_(Ys=10SNQi~?&5?^uN_Kr?TwGw z+qb-bvwr;y4${fVv%5HK_I5|kG*K66O)}32&&S)$s zT=9K9yI{`R14^rJE6YX0`=A>CzbT3)@)xHFsc^|b2E zdT$S}=bC%TB_+Jcgtz&2Fqe#(XxxPrHZCT`4}F?6mvA(lPF}y+*fCL};*k8m%er-8 zjV9{Z`&Y$vTbGu$uuNR`{$^a;N-ga(qBq#LeP=tTB>&{+WW#%YQ}r$GieIbdl~~vM zy=m{C<#vh62k!K8-}$2;ESz)pIZ2zH;Y~8~;P+|BTD-v2ZiKKg!)L6x?0B zsi0VFf8qY)m)hn@byZL6y|ekpPn}HX%{=UECvvw~m~kb&AP(tt6ry=R`mL$c)D)>e&Ty)VPMhE zZLJ=k_*QrrE6%e|y*sfWa?PY3`S*YPc6ERI$rsf4@m##^t)F{XLhD_*cf6He-Tq(d zgluEHyFtkl><)v8}%O-KZ&tCEU>Kv|%mAnTFuFt%3&QWEDaMg;q zM)#}TwKA(Nywox@@b$Lp`G@`pr)ppSq5F0?(Cbb7sz-;uB%)*BnwPB>oS z*Dtw+jd$5XuN9MOUv4Rw{@2C`u-I-&~$#%<6eGa^M?v=Df#P9ZH%qd%obPwgV zhE?AC!}xe()N_qjB6Ab(_qH^PE;Kj%?t9{s!88kX<%56rsjXigHZibQH1wv|-Hh1D zw?mh&nSSlj*UHMakdl*sp1xuFQ!XH=UC+U9cguX$M75G*tKF1Z+AG5D@|w*(HHm4D z?31{T{OhL|S=;&U5-R6;^J`O`#J(qdc|3Lp%dcJEeW!Kn&PvXshiqi*p05i^*=4rK z(A)fv>ORfYrsD0@!o^2ExhPJ0cj{(*+rj7JN8X>lIk`h;*Q9FB1rP3@WAJnLEG`qi zHt`eN+_ppWRmGmZ-jXy&D=<*X#Cq|s1>J?WUw^o?>>8K-udh!ZzW?nVy~%dR)i!IpdN$XN$L=|s^Z~|yf9|$sdS97eTe59u_K(BoY&S~uOX@Z_vzg3Qbew3*6wjB| zc4`9O!RCJ##gi6II`ZH&SD@L{#!c4#Zueg8`E~N3Uuux(w#%>dGTo)`=zV`Vo$cBC zn^99Hw7kE&H15Av(5BbsOMhgq5cz*+R=fP9gx5W*Cd8CBUk#|9n!|qX9Z%;G&W(>2 z?|z{-fBvg^0=eI3&+HB3Wjnk#@$U6Q&BgnlPM%h@c-FIh+CDlSF4NcB^UE<$X0!YE z{7q)fzH+D_wHZ*WqG5eCFuK# z%`7|q?l|U_SK}ls<9y zx#0T&OOs2|cE@?_P{vj z$Eu~$1^50l2r0~v!8SCDx^5CO90?kT1r0~yo5=9>4{`JI*7i#+clPy7EXmMy%FoZ% zg{`b3ah0yA0caN~+WdtnXpRMC{sOEFF{XjTvAE|iu(}!KQP6-cUDoHCg4SH&o3^kt zHvq59H8-~aPg{V7^}#E1EkH}|O%*K6Ex;>tO^l7eD|3y_3>84r7G~zA;AsmZa|;DS z1JGmzNGE6>0<>1v5;|F723iGd0-CP?%Yql;f^0H`Oi@@^g61a-Efm0FmY`V*kUG%3 zgMosvg(Y-~0wfFC0%xRPVGNm>FjfHBYXq5`Ff{|sOc8I#OfZ;YT~cZY9tX!Z zAZ2IARgAPo_dg>8=WgbGSQ0TfRI#NCT=NS!69Uq-0(i+RC?`Oc=NcI+=o*=T0@uVu z!Q2$GZ3E}Df&o}J$a?SsT|>x%U8DuN7T{?WtkVkMU;?KRknNCZ1yk?@9~aX4TyX9{ z_}K@t;Mvl`0+gO1Im3B$eQw_9`drxhT_aPh>vLT!j7?pfO`tObkdb#|$Vj#UWaQl# zDhC>QhpL8*k{g)XDcC?nOd%uT;28#p2=Xigs)z+#mkHDy=tw+dyx#yi5)T>gH-L`B zLsddX;f*1q{|2B@c!=4iPT-Mv=!^q&?A-t~5^rP#n+pJq#2XnwXE>lU4n~kwzOWew zh$+w+2P24|3_<=jFo3QO2G2Mc85u%c0Gn-qgco$S0XAa*@~44;8FcOeaK^N#Q4y}HvWBmMHX9;*v;9n;Hi+S<6pUcdRG zV@1w2iAMsAmCr9um{9&}qQfM={kwPVzkBt3$)tCCE^}5gEVNc(QE52Cr)0I_K##yh z%hhYFitlXR*SCGs)z@!U8tmHj_}$I=Re7Oz@9*9JdGGhSefuYQiRn!6SbE9&lgZcD z^J=#RgztLP`RY~C$E%nB^#4>n5%AG_>8e&C(}LHtCjPtnVUoVlv^xj&BmW3)4pEw@ z^-f^@uKf{O6aRedmppx>{jKEp&h1S-^Sv%D37T0`lIvMIQEjU!R&jHFNVT6VX{t zYnQ2b$A>OjdHT}StWDSK_it2q{qmJoY*=38#${fsPeyH2@?L#0W$LREQ~T(xUd!+A z-n1+4{VLn5p;m8Kbw$^1S$$-KsDJ(m?TCr9H@{oCr`Lb&71I}+zJ***otjb7nkss0 zs?fQ*5Y?kmZfs1`o4@S(qFj!|D$g!Tfgg-=+@K*-d*&%yQSy5xVX;0AiG^W z#x>`9O48cq&Gnr9Q?XvY-lBAVj@s1~Pl{jM4Ds7FXS&kK`dL%_E?v$1!)~}#^Fc=V zMQe*?_lpnT;vWy??|mQJ1SO|_%v?JDA^Sh zExY@CyVMM(KC_aCO4nQS_M9qH?n>Y=Y}#=4{u9lXg|f{bDw|?jF35k1eZR~uWd}2( zx3&`p>*2R8`)B`;iI_Ai``Btf`pHhEKv@}xky|?7t?93~x!!OO>^tlK&Gnm7iPLb{WpJ zG&mP;zs7p;kES}C?H-)ha)nd(Xp5%L@%7_=y=BHJ8EFTtSv#YGFI-$_*Q>ox)4cNd z*^&oyRtql)j=3mSKex(QYp(ZYB3SW-@Q8`>%kl6Q`m2Jmki}seyw=d;pnl9k^ zeKX2kGVp`m>f3zmK6TYBi7ba=)Fl`78+Ym3)cG?oD!pS2&58=+7SGOA_<2Z}C%f?G zUB4NB`#799+WuVparH+@{r80TKCeS3EYZ32Y~!k@B^ON2tZrX=*!gex&s*LHwL6tF zi|wC&o>F-uWT)}{qB!GCazAebMejISwdczTF_DEu^B>OldD_Qzqx0zdjun3%*vz>u z|E%d=!u9CCor)!jcY3lUWKEYTed1m?uW*}1R-$|DkvrXTC0p34ZT==+S>4vmceey+16xekH4c@2p$3?oH)2G0blH zMbbWN`{KUx-V96J{LM~cqha7DZ_U^~%PS>P`%CmA4)7ydc!ee&yuKZqM>oK=YQR0`Qzbtmc46R z{&n;l9;^#raQ<}Vu0oOjJ&SYB7^Y=q9}2s&Vd}S91Gcxa3P~)-e@5?|pzhH2qS$A) z=7Qj*`zC}Qe!5B0W8H?nLhCtd8w83SwVfV1Jb&2#>sR!3n`Ui_1#yspi zBs`m~Xkz!-TX(I?-W!N0On-3mo^SB(Wo2`(#xs2E(cGSxpMN*xvEysbm?NzhKE62E zxbow@V2jQ|=RGSnTWt|OFVr~Y@7bXCBO)!{c8zUs}SdCv(nK_41=9`+kV!>6STix3_E5 z-H(2|TK4&UeZ@?f)xF1mw<{f1;A78jo%up}*}i)oOX5ve zy42t=qHl=;=k1KCC{dVJEfp zXKO;v>@}idvzylzJZx%TmH`@Hux zY^*o#MTG3z9kQSM{Nzm)cUO45+tGUWb@I_aaYL7)Azz-zNm{WRK9TE z%*t`8ZFqr5exARb>G_9?e4mJQm^+*F^w>hE|9r{$#Zx*oQfKSvYW*})`MK}O(JIZg zHP*e~&aMp+6U{S7>1Kb(v&^YIN#*F$PFIpOG1%%eouNHyQh2lokDTX zY0JbH_HF*Pwr-=8;-8ma7{eEYsfvruo%8#2=F2;;S~i`&B)ar#Xh!GGQ|kKHZLzZP`EZRLHVA>-bcYbK#QvMOXLSs9{t( z_wlL8d0+46a?8c1uC1#V5Ok4I+&q7Y-err!RdeLjr4qMxg?zbv$nQ`;SL2lx0tq^P z?Yv?#9FfT%4nBXlr={L^$J_ri);yX#{ql>{gNu27|4nLr{%PaBv%;Yp6{A%^JX-$v!*!^&Eh?wD$JX!icq+bh%d4vY24lUM%NmyW*5FKkMOy{pM2m>o_fes z^%b8a7T?WtGyZmb)-C~;1Fyde?)s57dBdDU-iycNz9>i~S9=P_`iZYk{Bv%Bc88uz z@(ZP+g-vFA=9I-2XvW(ae*U$Qf71J}dzvEy58wP%?sZT5*MrvU=5rGEt~t)jEyEY_ z;ER>zH=mCw=U!wPO}YC~Lr&PVX3fuwv)*)FZMB@;9l888XP8Z7V#PCmv5A+Ng)i;2 zxmCZqYpZ0h;_dlfR}-qEy;r#EF6Z?Kn03Q`j_1<+i@DcdY}@`WW|4(!{PXwW^IquJ z2I-pABnw$xmlMd)c$i_;&9a%jYW)i%zl*6a?3eAYeP({$@7r{{m9zQ_>+*dpdE|`K zpUrXHBDhOYRz0@;M&9Svxr=X}IQnhXr$5g=?{1TK*V`64EnneBxLe`lX{Ei3`+09V zm!0E~6->H+X2Ji>YfA2)e0A*R>gyq&!#sbwMBB!?%sf+`dCNImej7Orz*~NWSQ7mthzVpSM#Uhi*DZ+-pl?jc+_zBc~M7k#`(uI)^UB`=5ScXNng5z zMRv}MB~IVxTfV%O|N7UV=&sDF&i(P0f9+NNTKz2PJGC!f?)&zqE7$B$J-PM&e3khA zUF>b|y^4OlDxDg0BT??T@$r|7>d)I)-ZZ{#KKt{_M$e=57hV?!J#}!NzHQU0T|u|^ z);pLQ)fBks-qE#LdZ*9!)~wuJNx`O4ivP?Mni39Nzh+;pQ7Pl{alWkMW=Gz|JNMKX zSB6zIY&73=)*$KgmwU#Ge)IFpeKo&>N3p9zH=*TjZt;yXN8Xn0esIlp+xisqS+4po z9k1M%mQ>liWx_|-J%TO;Y0rP83H+>Qyi_S5if!Nww&XWj-_zL{w9q>RbOaLkG)LI_ zRa4Z(yU>9qBgnc~KLzk+(IC(cVbB(K$Qd%&dX&h6d8Pduy$%ORxcT>N4PC`owno5Z zj);rA!;*y9m|I+K%U}CucX@W~oES9UsfJnh)ho3dOZ)Pg9xUnJu}foz$IhbHAxAg= zIc@o&KH+C0&(#&oiBr^`p4zqh@jI)V;yGMB#z)so(7LxO?+U||49%HpjLtQ7Ni%a`)tCUmc&nExYm8`Pgc0&Mys>lIoftxXx_7WWlP*msQ#>>NKknh3BcwX*V9vk2uBKt(b*uhJrOey< zFQVa%=9lwZ{#jk$RnPcM_)A~X#E!;nX60VBJ@JQ@a2tO&*!Z3IhMeacY%u{_B@8=M zQ$HdyO2N`V!OX~9&)me)M8N=Yikm5HZC^Cx=uHKfVsp@WWk~8^gZmhUni=aEnu87* zK_~_ve+e2SKv!&TV4!DaW@v)q1T)mJ+z{}Q9-z}fK*Nu)t;faiqb^_@=%e)mT-+4& zLsBbB6!blF6Vp?jp|lfd^j|?i-#I@gzbF{A?Hs0AK|w#+K*1E0R6(Pn3JTzpFQBWg zkrbsFC>Vo65u!*zK|jqjsu4-zm^FaZS#LwH|}$jpV-+B4){O{v;XWyPHmp8xMoWF`8z~YYG9D{!O?egXC z?S2Mk|6P17?N7_2%YE}L>UMp++&^FOcisO_pFe#1{PETDhu>!3oxXkd`||j@-(}^& zMk!J}3&RxE=E+YMG5GT)b6rpDh3^U%*?E7J1aNo??D#1As4i~8;@)rsapvge2CtNuFbh{gZ8 zzdrw-x1@=$x9i2V8FC`(Rx=OI*{&-rlRfpar@CjS<(zh&P5*zaWVzrHaI$KP?WBgS z?G8utChzeQ6l8CAtUP|*(LloaI`8I*9xeeNrA<~OBpuNeX|l_>#yWSYw8@(%{%X21 zg=_UpPHl4Wi)d@Ubzpk_!PhgoZg+A;TO4sSH3~leS?!}jWVE(F^V&I_FRp9cxaHuG zTEw=->$u3aW`~o4EGOAcw(v~i64*X*g7tNC|4ROev0|Emk=v)a?mc_8@YlUtO3|P0 z9(PUc7dVu5T=i$}0wH#f<7fA7dJtCmX73iusiqOUUb`QJYo31cStYmC?Onsm`)1Q) zC)-R}J2}ug=P4VnRBBIUdA+UtF=z-$4yKt0+%pEBu<%E^XW^m z_`$M(42uOjpKn{C<$ceOk!{D+Q%NT_-=6e#(z8V+7rkW`p0qe&6;@IkzDo9VlD3O? z>xrCUV51-E6t{xzv_>9VTSMV$%E(^;oFWS_}j>2dX$?b=gZnIebxE$rrz zSAU$;n9;iSVMVLzwY?YqscaN14bkUPzHgePCdp~m!?M`xxY~iPl#VRsh2bYF-v4oR zzZlW)nz`jR%vDn`7VyXc)Tygd|jfsz|?DbzD3*24(}>+jLhG=vPPGG z>(s;+xgevXD;G)?&y|``{>SvtlC-7lXT>5mnJ!;Gc}e3^_q^4nl^JuqE`FIY_m1Su zWB=C(%3izjB5DDjSNjI7(9JOomZqr{{YQ6Bne4XZPpRgvY31ks*Gs(?TfO<7RFg(l z(VS)M(oLIotXrkiyZR=}lSlKt|0*vM&beNYv9ZL_Q*M3nYJufvxj9bCEV5_w&Uu=>}mSH->xwS8D`#OV*=9|4#c5V-Ue^^Yy`$9MS%R|%7 zzS42FO8yo1HvCETpI_p>$2RrEKG`04^|^=Xgc9!wuf8sJXFVr*fAO9J+V3k~ZBF$3 z67aUZXGPOC{Vx)!6Z(xVu{?5o@jrUi|9;M?+Y6_zl%^zz|tSB;Tv()6)7p$7}LG9ep?U7oWUVhoc_W1pD?=zm;x2$%4GuPBR z?9z%K4=Q^7KcClnvYh4YKgC7P@1qWB+|IH5@*;U<)8dx7QkGWzHdmwhisZ|ff<712 zMfXSgRg@K&Jed5jC?;mkqHvybJB?m0*|c0>t48$CS_|gx(1j=E)Q)=;YTjZBePTIz z%4fOo$RkU3UaED=*`vkW@>ry})i6#Zd$V7psnzM~h^HMMAHFvpbM;zU?H1oXGrVy7 z>N%z#vM()tUbN|!LBjp#XRi79+LF9e(g_O;Oh3b9*{xiKGWSrNmP z5x4ez&l6$R#iB_vJ`PVWF8s~E`<%xyyWpjw=S_-amKypO}duv zOZ8auzs&Wj#Ob@2L{_--N13GGmR;fIRr2Y3(tN1?s{QU6n;k$nmr<{1+e)#U+_3!KD?%mx}X(cny?qA8DZ|(cPwePR5x4%>K z^-D>`|C&FqzCHc^{$1VA4;AGXn2qKiAZBBDb@WKE>P0qa$-ubs21or(7f3s1> z=uCEekcj4bueBm8LwBlLGVtbVu?9Vo`}JPCBbO<%daYAY;?Yf;@0%On?>Wx1-?s1h zvmZMQ(ke>-y*!jqSd?^5?_BqNR!NhLz7sAcdO|xAmhm4g=t}z)vY>L-x$ez@jcHqS z+Kf$}oXOZ`7^SYg9*hf}6(?0k%ci8H@iC#B-%seao-u`iQlF~1$IrF>! zMb(WTv0SIaA1>mnUS+sy>Z;$L4(8~TGwavpt$8x@TW3}3o|8SNy;nEQ-Q&k|E2g!; zyLCnTfnENsUru}%G>m9(x)iIbo4!4N-rfvf-+Qk%aF*Zu@~Q1vPOL}oA&a+>i>E%h z``7fwDQ)4+QVXB`_F5e&=;6fjNM}XpdfP1rbfYr9SQ;#jm;Ev8(07(|?amJ-pMG## zq)s3q(6Zt8oW^p^9}~Ij^D>?L!>)0?%7KGy>2pL2E`8mQ;>>bKl<}kihbNn0 z%>vQpy~Yb9|I9d)&ff8wV^1YxKvqIkTP$dO;l;g8Lcx0t+T>2$>^vh^wr%b6oB!UM?p)-(HBpV} zW8VK0>GI8UvJRaQn{w46QQ(SsEmzSh&dnAA%U7{?IIQC=Ud6dtG~uVyQk6!%syZ&SO@1F}R_s>wzG%hfh=4g8~;s5llHy8ckmtb(fwtCJC)G0;e zHRqz##FG3X1&xr(g5nYd13g0%JtNTRjrzX%DWLlb6f|6{j0}v-42+G;4NVOUjV-hd z4Al(`z-qv{GxPKCD@5*HVjY>Ww6p~E!6BuiZ)!Fbx5m+O@q>*W`v>l<2HTIw4Z=^Gj87Nw-=7FXt#Bv$C=6)Qsx z04=Nn?HkX`&r<*yn3$AbT4JlD1T{4!8E$AnX;BW?$dqLLRLJR>#rlSNhWbhhP{kFw z1#s1Q#d=_0=q2ap>Q^Kd=o{)8ps4iq#jiFu7e#qUKstW)CHe*F2pt7Tp@HI*f|N9U zLp@`CB?UX1irfM#a8k)H3dzsUu|rO4Hu~tYHYv$gIf;4crHSdOkid6JOouRXGVN0H zbVGw}^g%(GlW7NGfaUd3w1Euu%}>cps|2M@J5UPNH89pSG7m8{wK6cYG6p4MD+2?F z^++laj!h*-C)isMl^~rV0qItLpfROlJ0q~sNCF^#rR5jpCYIPG78K-UCMT9;=I7}b zq@>w^+zyojnd0kf<(XGpl9-pA>gi&a@1tEr}=9%yR|HXl_f zRI>~8G6W(tBPoSy4ob~S$ppE~IVZ8W*sh=`KR*p-6`Gt)K}wocfQuXSphi1GJ#!n7 ze~`r>F@%)*p>Y=E;$~-~56*C)%x8zl)2VqWwn{}x_TVK)=k%FAT>pyq^L9%JYc6ETv}X^np{$>kd~NJ3=)G3)`exJmZug46s4x6 z7NzDTry@ofT{4SOlR=@apzmV@atuTR?BXE>jPbdOqSQ1l0|he+F3{nY5UgNkYHDn% zkj4ua16@!8l2gb-h*?-DfP@T?#0Fw_}aVyZL2B4%o7ilNsGbVvutVkCPl zEDX`r85)BIf>G5Onu5;JM-wvx#U+}Uxw$chc@`EJVnzm_%TZAE8X1C);71cP0xeZV z6Eg-aazzs}0gcU~iJ5{fNkS7dGdDqZpOHDHKa4CuEnzghmS#ridW{W1w~C;uGd427 zh&N*+%s4VOw!{b*V-pLEcr!LN$28B(93$S0%`wx9u>}?}OG^xYm>7UsBdGo`F*L$( zpNS!6dNDBujsBzQwJ@+m4=WQ3OLKHFQ$rIBznK|=&P_%&&(Z)hA6Xh=hN-1F7QGgr z1M5-DGc+*3NRx(!MxbjAP}P}&mdJyI5P8+m)D$%L0TP7gBSTY5jBqhDGcY$m^RJ-0QHa*SRYz+o;Fbb!G$<}f REGhw)=|*N2=9Z9?Zviz!m-+wz literal 0 HcmV?d00001