From 2d5d034bc2b42e49949ab93e96a559854b20098a Mon Sep 17 00:00:00 2001 From: Tobias Eidelpes Date: Tue, 8 Feb 2022 10:45:47 +0100 Subject: [PATCH] Add report for Exercise C --- project3/report3.pdf | Bin 73431 -> 102253 bytes project3/report3.tex | 35 +++++++++++++++++++++++++++++++++++ 2 files changed, 35 insertions(+) diff --git a/project3/report3.pdf b/project3/report3.pdf index 8355cadf510eb098d5c6e9b64aa8e1c8be69709a..b400ba65ec630164bf950d4ef4c3f6882c1d16a2 100644 GIT binary patch delta 40973 zcmZU)b8O(x7d2el?G{_R-P*Qo+uhpT@>AP(x3+D&-P*Qozu(`JyvdV1lT32{I5U4t zPG;`hd+u@<#AOat?K?aK3nL?I;x{}s@N?a1z4>m_Adib7G$ULQjO@>8)^AG3q!qcd z*1C<~C8wsA5%roXh0@AyAJ3ccg7NIxR3#p${*bL$7myt?ZHedMJRUv|#*Po0G(Y4D zG3u7A>NVxO$qiA&<7fP{Xj2jevi9G6*VX6K;j&#cmbKE4v{mAY-$GenQ@G@y0zcSM_i!xg0FkKv< z%5tx&a-YjBG2gwq4qG!c$mw$|Vi-QpOL9&B`J{cXkpDB1X_Z(qFMuV0KZPX$5K6^u zWsk~h8nimVogSUU3T%#{rTAvF0{xK%WB9fkvW+gmcVO69iID{cF&hj7f7Sc%!TEa& zb-{4s-875Kf3twS$oJnguG!qVB_>k|PsrG2C&?x3G2IrIXBD+}hlofzfmb%zX0sg) zb#}5_UeW{;Z!}6}-mYzOSFnUsU$THEA;uy~h%Me3g3J8q1hIfdn=WMV1`HZBGs`Eh zj8bE=+~mlNM5BHihQxszg74jx{+sIxVx%mFz>bN?j_j13f}d>Ev;UK|kS^vFNmZU% z7LjEWUXBE&$kXrEd01TOaQm+5L=X-kBDd z4{W!&nEQ!_`N+hP5KJ0WF<_QVH3z2gn@i?CD5boi0rfosd>5U>0GCg9GIo0!%jDyo z7y*1j_e<s!3S=a#n9 z4f*RappYLGXtiwTP8WOa;BM`nGI4>9tk>ZBxTANY^~YqVxv@L-XIh+PZuPM)>75Q* z_RRWJ$n$<-H5`F)<;i-s(LJI zUStDm%J-zj-&>}f_W&Ne95KHLQMJ-1jD7i@8{Cr7@oU8MrUD-fYDb1eYUH-VSBynP z`O%aQ+PFtw?8ez5BYRxyYCaC9L+efCUPwlu%%~6?fe1W!FFrMj1WLxFpX$eCWlbLe zNcO5r_V!+sF@kI~rbDUj@}W{G1v+AK%jF0ZB73q86=rBgv!iyXs?HzYYcwtEuS zAXG4t=xYv$#=jtf$Q3wYEOD>@^nlZ}d59H*f&xhKTj`wnwv2auT?tdowYtm{ zYZI8J*peCMEn~xEtV+uo?~G@!1hw0YE;6Au=vW|e^hVGIOCYs4P`yv1OSKzm(FbuL zBKXFtf;&*m@CC%%SpskfTH`n}|~tND?So0J8muTFeX=*p-R*D!9Y~g=CYZcWVmxQzl=8@sZ!>r@Y(zR zmm7R=LYyL~cGyH6%svQIT^L{N>~x1$D9OjOqL}1O$!m$N(&3T17CDMKljU}1T<+3q zGrkEvMgdqJN#dU_*(ZAT6yGw<)_3$*r>7S*Cca$hRu1260eKQodg0#CAxV_)4q9bt zWI+BOsjjaL`WT0avgAU=_bM4PnsTrkv>MN^l+P$x{?-{3T> zakBxDnCgTqgxt-p>b=s)N_tXA!XerD&eem=PD!gAhuUPk!XoNUbMM%p9p`bvH~s7J zAll+who~&oiwMP#&~senq7msOZBgco7a;DKM&Qj|dZ`XXLQs`nkvyZsf|ON6p*81& zopnIa(f~31A8;>TI$RglX-`__#7EV#PrR6TtQ*0nng~6V_M9vhza8wvs>*H>Rk>g_ zgQr}EyF1VoU+5yI{I8Q~26^tj#%)>GQs!8o^B*5-tcbwn{*H+yJp#6HOV_*YIDjY7 z?_7{q_f)>)S0nL+lj?d7tT6KPZd%h;OpUdxA#2su~*=fKJ%S2 zX8Yvmb&sn2_=s#kW==cI6SVS?I&o|dWcLX8JbFU*`Obwk{gYzr0f1@~+)F6qK zNX!_O7Y)o7+@-xQF3xEH6BQx*M-2X&JTQy^-g?xMH+x^yIbC?} z?hVeP?ffu@-#@CvPa#8RR78Mlg@0Rg;{0s4pAgR(4knLm&+{u?&j;?5FP4sr{K-CgACjS-&=V4pEM|Yd1};cLY6tmm z(w1Svz(whSt*Bq zyDw*x?M{In^AC)%r!( zlZ;FvS|}SAAe@8YaHSp+nH>8XTI#Sf*8Uu+JEf^^HCfmO)E?$-WV>)=^#pzxYdB^u zr{KT+5w<6t%1&RsMw9bZOIv2T4B~aJOcXOXvH_oWm)naCw9P)uJjgKrs57hWEG}lC zHwuVF;m5%fYUa#_jPs^nI&z%}VP7M%IRv+n%S=-aRbuxdd2j?DPU4BhZoVENap+jD z0}}ZhB&hoVA(RLMF)vVkTcLLip#!RaRG(G)|sY{YFYQS5;TS8tHdI!7A2-|CT{U#!| z!{aAk>c|mAXcP!5xYihLm}sF{&CiP`KgSPn82F7tI5Rs_XBQ_kBisKWdt)m&CQc$o zqW=M2UN{C>Gdl|xOCnZIHlqJC5+M*sfhJWM`vpdn?qiLY6UnKCeG6J*q+mK_R7FuT zq#|uwboX<&2CW2)lb(_Ad9w~-S{Tkj94~(0{(-TcEUHslKH}gd=@2mKVpGApicNKT7T6+|q`QeCYOH@P8>D7<* zBE^FZITP9(Dk6%=Y>kQcljj%I% zk%VHyEV2#$RSaQ0^9tuOnxnHvR$JRO)1w`>!@2*E>5qpAz{eOfJl%72pCg8V3^2XO{~am z*E(+4qw|xm-vVwx&+x%JkfvdXFXl$#_veWK}0|PUu7_}{~u)} zQfMGIpkW}1fO0kvYxpRn3c`Y-V=xghu`x0I|B7KI;$Y?AN(3FifZ$~1V*BswNCiZ< zK&oP#VY17X1W3YAF%C)&%plHfl9MAa_M)&bB5YFA=>@P#mLxSwM!1xKl0>tjZI>SB zI8T3mH+9=jX|r7Wx^?p8d{(mwdeZ61|F&)=7X?KUak_Kx7X__9;|>5p35$h?*dqr4 zd;BXYF-n*OVhJMDD!j`$`#m>7LIfC+!6kx|Dw&@-U<(dSq4o|y@1SBFqM||igLD$b zjRFX}FiL)SEBIE3ipOB3y+$Y+V1H>hR^dULnnd#LUZ+uejfdcNP*G9$UM`X1+yaRH zsvBYp;zu5rse$ z-N9Xw7eO-qp{x*^GzmcA`Soan@9gfq@@yDv^?(T(^oQYL_dglK&;L-4fsD*<1I?u-klHsQ=K*__yaiK-Am3eMguxHV`X7I03-58+%t z)QF#J7)vQ81}e>V<>gVZ=aP3ce4P{_2H_T68LqZXT>bj^4Ece7?22hkQ#ELnn^|p- zMv7P*Vf7mZm{egqgp-&75HNm%M8rm@AcK$~w~h7tUq5uGCvfg`#(;Zx@x$xmeFS%? zmA}${FG99NrG#LF8nrwSexj{HAKqU&xAx(Fq0okiO~PQb#LbG>eFC#ejDtt9Q5n2o zXRwT*d0`{qAfIm^KFlJH6F-rhAKpejo*mkLsQ!3#ZCU}aK3b&3p{`(Wb`KyyIXxf+ zK?n#?`TbDNcAl@Pv;o5t11-O=TeXnYUQiMsLCp130Jh_s%_pS?Gw{dFwdPL;3=?9I z6adB!4h=*rulvte?(eVl!|&M5p8O93n6I8!s#Y%Uuci7A^bxo;P7bx ze*_aO)VNbUV}K0jmk15Jjd zcSj7=fn!j>4?yw54H>_(_cMU#Mf_&Kaph>C8N`1y|A@XRK*7lTPVoTQkmP|l=e$g0Hw}XMO+67e57Gu9hdknB(2GNbh7zMyv(BPYD;B9$o;(bs0 z+P;*G(OT`&{*9lq#9F#{koC(MRsDn07t4|^L3rBG0p3Wao$gHiuhuL&ia?(|tP`Hr zbGtQ;V7d3t?O~6GsouolTZ+!N=XV757QE_ry)O5xQ4ai81GdV*CS4uTDdxs0`JPYI z9x4HY<`-gbb3LyDZN=o9a+?4ab%9~lQd77zi*!D@F~7ir!akD@U`LAA)rs3fz~UiA zp4>kh=(VRzsTm#l6U}jDyyn#=9J|~U84*67mH>5s@D+MH!q1#p_6ynEM<1(-guhTu zr7_mqN&3if!}L~vd4@~E`}_8S$w4(KI3fWzQI?C_yh)9Ewk(JrHB{i;P|9pk zvWOY) z%V?*5z7sgD|1I5x{(AynFZ;VO#ZA{);FveW?gRCB%K0LjC1Ihv(Z(dmUt>6^QcB6MPH$yil}xlYDgjuXc>7(Ki$D}6@MI%Pk)MC>J znES~vREgfCF|s_CzI*#~p+B{m!TnE@CjuqOjXlWckTLU zOCI$7WGP+0up0SFLucSQTE*v*ZhdQ&(BAVxy;K_pETqPgrVt6YMBB(P1v49A(m|3U zY-=%d=^5sy4$8ICMd|a5az4IlzExx}%blEu-ONXiFW*Yz?QZu9V^WsY;T{bGd!dER ztD(c$%j=}1&$#1r#GDmeT%e%yTz&M^s2g9LPm>gPyb~|T(0n#rP^vWGiLv23@+=8w z{fNeFVakF@7b?uM8RBa%$53QQ2d2%=SsQsjMs&CpC{B)i@R8|eO#@rk#k&HnRqrjQ z>c-0%|Kd%u@D{9v;s{SCyl5W+I{zpqp4`Fme~YFuc0>Vj@;YAWTqM8uQJ$To$egHH zSVGB6B*#?2{Rt_0pZ~1MJ!{4d8c?+!{O&Tqt`}v5s<8H!w8YT8vB*ru$~^7FPrNJ` zuYnTS=ekFu(z-Hjw!W<=E_EeuYw0D&W7Q^ATr`6uS29JzZic+9IOEy^47m-a_|sEa z3)-7rd1H+@Z|Pi=B;SMc``qrdAuDfkz8zwMaGu=v|3qRZd~_8$G$SGa#Qkz18iQ?r z7%+`1*^mD5S_)2iV3R8?zwwK&GFB5iD;&yKZH%K87~8T~MRLFvY5JV~d@$jZ!l2yD z&GGcc;#(f{K=do% zmk|Je?vU|(8hS#afow@12s!$k4PegyEPXn)O9jh!jZYVeSXC1K;ZC8tP8Ce@hsUO# z#>`+!NGRe!p4U#fj~Kc5m6Wg~!xqqytZ61_Q-jfUa$6%AvR&!{4CHK}f=K zpAgTHW?tF#kxl{}utUFLe8%svDf0??X5nZec=bP4RV&QH(gK*xjr0>^Y=$`&W#kbu z(chaByBf)_V_WTk%)8+c%Ty4pbsh~j17qFQ<&}ie2d;+lQ}u8;uNo}^SDDdt%?AE9 zZBS!ka0O*89D`{}@$%^sDH&ZDOUAC^gIRg!QnF^6?USzS_fqb^*^7UAt$=XvW;*SD z27WWu+H;&?=vZO%u=OOwX5~jc3r~gWeR^Fejkidg&EifOJ2~$7^WH>iD~C&hHkM3xNwMsDnn`)^uPQ$;?9QR;~-PHmM!71 zG&e|yTXvZR_=`AR(Rc+?BY#*pGM&Vj-485ZC;l_z= zi$a<|;RrEaXR0ZsR252ghuCJG!br9e9nrAjlI$Y9^*ndQ?IT>0{uSfX-s!}cbwWa1 zF$%%?CvNRy(6hS(vt#VrQZYk9hf_0S-kohOVWhtUs9z#LoI%NL*Yq~C@np!YAgnX+ zq+I^C?y*Z#Z-acQc^J6RE3>PhTUeX>rO^20@L&g40 z@pI&P*G$2vox|fogOtDHiT!pYE^p}f=FkGqhfoeT>`~wgZA`jZ$DF%>Fy5Q~r2WL& zs0Ab}p!+LLELzN~sQ<#7(5H6T%P*2;cxvwS`{hU{Rb4JVY7}=>XSx>~H6SvX?gLA3 zT)_g5gsb(0tRUl0IZtATRnn=9=2h%y5~uMf8RcGoj0u4w3_F<#W9`Hv8zJ$MbtJa@(y1ER>`s30Ud)RaQ@o9NG-UTs=RLIW$l-<68mkKjhJgg zE~ELHd{&x#>bMj`v8m=J^^aO7eD6yVRpv`*L3o)134*Y4Jm4ed3*s}AYq;Y#vll*SWw^? zAZsDJ#xq#Oq}x)H{V%$d#cXdINu;PAU__s=0k1eXn3@Z$Wq-8Cki>m@g}M#T#c}ME z{@oeZ(D_svfq;#8fC#?%^MY;)%sRS)8J66#l*TRzy8rDSkKU}t?K#*wAXn1reO5b! z`XJrVHl85alaPt$n19Ju!erjwFuy7nkSU@QjD&~MIfRJKxP@^)b;rg0nXcRsT=QhoCAi}t!P?ev%|oj-^YKOLygyHRP@Wa zK0je6?Uy^SZ-j$6>E1e`=|yEVIEXh*+Ch5TGx?xqz{j8XpZu3sHxoRNs4Is8x*OWo zcRws>h_q_E?vM9umxYW@yQf-Ke{Y9%N7;0>O|kUv9B-s=s9S4(yOsDBwm*Y_OSkrP zmKZ9YgJ0YadQ-*P`j#+9P8rL}-DiLOLlpw*tt^W6W{9FI>;=;krG=0c{jA!!9bI}> zwAZp#v&Ma^%1K+1GUrjw7pqTzUreD8ZBeu8L(wYwtJ-f!L7>EbWaVVlO(KaNn4@O%oYS7^++lqyV;Wh)!=pB#_8HyIvYcpgDLHP}u z2X%UQPQY)K>ib*HozP6RF5s*Pk>wI(WbUPhJ5w!|c9UQ&}^lw?ATQs9eU;WZDLw;=gD>J5eMJ4+Xbf z%UrzJ-j;QH-tjcZ1vGnof?!3)_>_-F(V`S$#^57M3~kSs?1wSHOono#@1U)Qe)xMzfvWUWfZa9#!y zxOtPB%w!#pAY}N{RUT6ef3ft9ksAzfGiMe3i>1wk5Zenh{fD9NtoUmf*8iEn1$PH~ zikAFqL!7^TJrKvSoM6X}d`!k@^d+MP?79kvjB%H4@ky zic*U1-wU_%ao;j-pz(ChUakQ>6i@L!liaCjiJb!PdRSb^I z1H@4ZeGz+~5WPjI!qYB=`FI0Pv~>RzL-1@FlUSVjoXQ)0^f8N#?SAfsAoB;-db|xk zvUovpCJG2Xxi>mHX-%X040mG>8btG8w{I!AD)$N7JnHEMAb+ly-*RK5t`Lgi zveK$XUpJjBYmCgVcVC)qT~(I)a&%L3V52Lp0jKYc0N4%ds9nqz$X3Q^|bv{l4ZLqY2AJlg3+GfZ=#6~P#o;P85d_N5|I7}qe6_?XN^lawyzh!kLdvjK;}Q`@IA=nWE<<9JC@1m`(s1b6kKF4IeZ#{Qt~w|BO3!PC-mg9H!d3-)2+(U z-Ht;vSmt^L-x3V}ePfM_$0)&b>Z^toPgu?~aYBCkuhaS2SQ*QWuXuT$J3Co)s`u!} zaOcK6x)SY9Go_gORfS&+^J4aRm^#^LLY-`*fbaK6HQeF~2S)^Q1i9#gN2&}vf3V_0 z%jl9W);z(G0u8F~RS3@raT)_=Erv@A^y>9l3o;S|Q#QvFU_)L+VpE5nIYOu+K7Bue z_?D)PO)Cwb%0oC~UsIUG(4%Pi6cFi;X$STjsZbr05;MDTn5+yZ1n2!fwOU^#44uLP zr85mmxzLpYtusD1g`z$pVM;HzlSmehV`9}BC>Qk_2Z!UgVsk-)D$&N4Ra@f^3x=ga zAXm3O0S$MJdTt_(+Ir|#Q*@O4cMx=x=cCtnWQP}H?fxc7o6F>(o;)7ANXPn=&n|=M zFk=$k^w4|2UKiv(Uk;~j@hEIYB2@yAJ(*>biAU)L{NBrB^WV(2N{I*_2}$Y>u)UO6~Mi1L7jOzyrSA zMY9|WwygCUw$JjsurBWyne@wG*OULEjm>aaj&{#D-KDAxLkIUsk8NajVIm#y4Ssj= z5*`dtN9B3=_aiZ7*PD3IQsBVBQMX^5fK#nhO76$84V^~gh06t>pC0$T^;20eZ|BvN zENZj+vh$*;8?Azw6F4*&@`m>8zR9EdhHlBN*4J(YGie~waA)Ln)l@p&nZ_%$`OvY= z=W7EbiGd_ZZ5&n-SQJc2@bn~b*MLI8IX^P_k&tu<>t=6+-4cW`>D!rex5z0&er0pb z2oEi0UT2O{1HJ3+*vAW*rbdta+3phgEE33+9h!R3HI8H7a&)%xh}XV@ELuK?B^Is$ zjVQ-Jva#QGW%LJ98a|HF{^4=uOR#|{u^!8`>+;@P>!?Yx=2n8x_fUkh;ehCX}kH~>#Jv3EnNfPPAWyHkLW%mzr({?`t%WMh+J_p{@ z^H1Si<3l+cv=TN$kKJ;el;CB$$W7L(INPKyPjwa)6&_#@56+Wq970#~Tl7P~Y8PrQ8=CdYwO)o1VSkw`n8EqceT1)BpU)#X z`td1mL@}$p8M3Rcpb}7gHo@RYj2+wInLP>1OKpbs>g*(Oy&OiNB5fSH{yUvmc+ADL z{og{R9A^f$k+Z#NA+9fR6El&A6vE?zz+><9f9 z0#^M>Ob`3FME^t9C`{9gsb~Hq`~(&(-GUP24!@J{@ROIjVE- z&%{?t;gc zVP1K%>Q=2L*{SxS&rzbRQ5zQL=y>}xunyQ2__b22RLhYYr)SZ8xlj#8L}*uUzud40 zSx!_jJ#39stu-tbKD(t0ILi(GetaWx?e?1q*5q4?MG#t<)46oc{e!TIvFsfm1l3X8 zXwC&my?TN#rflD^NLb}hdX>F1lhaWJ%(%c;poJG|kAA*=zN@{)X3Fi}(y;+Yn!x+e z{Ln{NCVypWLh!%#Wzc5??8Np>QSxconBj;u;~lf?JmuXvH0(;)z-&J zE#nzVXo8!Viiu-fQs-5vu1xMR^DO<#wODuR>pIy0+t?(ZEv*VEYqBTEop&u`{(y@h zXBx@PWIOf-mx&xl!V9Ed3@%#o5gfbdgohfbvovJxP#jgntZQ<=gp4XQG64U=kK)K+ z?99bo=9}&#WCP|OzhDeHhXp6P^?BoD@yvZ=t@R-9ZRRB-ErPZtTp3gKJytpO2$d7B z$ElW@cbFWw6Z~TS>9Bh6Qo_AMY`h&+QrWlQ(>DE@SE-FOiapO=(?BWvZeZB|#k%u4 zKm0jG5yBS`P=&8eXwu9BIti#0D$rBR`9S{LFJByB3qZ~WD(QC4D>pHuFfLNmdOmE* zjNZ69%V2&wX^Z&9{`1!p&-kWa@Nw>fV{wg;G+l0|(jq6^2+_z|jY)~8{xg<&$zOHK zS)a!J-oz%%=rkBV?*=PFnRw~zN3GF3bz3((_N$6k1EKfn@wVturU*!y7$AkeB!OnR zE^AvUtOgw*S3%+ee-ycAprt`|412b%xlX>acB9q%dDmc?;eauCFdiQ+4ctNUn09ef z*}15*ES+&zr%}^b>l&%NHcfw& zd_c7%L=LVmgDBxf%K#47??fnF#}NS;T(ij58Ah=9DtmE6K5zHVS{4V>5os-|d^$}- z@5M|`vq?zKYW{D-@GTgZZE+KXgIvRZ!9HTPJlm0~>)qGUnIJ0<&PE53X{1p_`&;hg zjV@ft1oiY`EH3YeY?nokXT~|be-WHAxBi8qsEM6?vb|&xdH{MF2(5N{y)b8UbdC0l zm$GjB`&yE&3x;$HrI4Xyl6RKs+qW=pv9u?#Nz-i0PmGfDq`}**4@Y@;bA_w|EY4ZG zz`(?f}FEf|F8|uCwO_192^_oAOTTPp!fH-SZdWt?^)(R(1Eg_9cdMs{4H1 z%Na~rt4|*DC6??4YfZ+w|3PoZ!aEXAsYbLz5Q=hk>AUe|stQ7pQ`5PE(Eyek-xYoD2=Yhz$ie=aj{kR-n3ryw|;&cb-k0&+15TQvow- z?e^a94Pprje`(i46VXjIqK5i345CM5=1VD# zhHizu4G_fV1FaHdR5E1jc{Ce-6UYM=|C@ocv%71@6Ok-3Fm=K;fP)H>!O)^@8EW3?r9$qUx4@tGYmJi`XtXYMOA4(DYYxKHRhC zgct9xFFd_xT-#;8r2~l)`NG&fb`T=9hdoBiB_L1l@ht2Mbb-Opxzvnb{w9(4^6bGn z|ADf_zCWg9vRmXTg7Hq9c0)X{p%@dlz`Gr7-mBk0BgDRh0I^RZqa*&wST^4(FNaxe zZnrQxFQ255DUgf)CpPi3&Eb9NrFG2vYPq3Lk&8y*^3mFF9Zk+(^-nejOqZeSi-_t{ z)4=Q^(=3p~82(J=L_1x>c%P;3NkI3KEh$sFG$E@N38(Y80#|+ls-I4wgR6ri9U><%;eY+)fyt#0(wqWKQq$}NzvbiG23DVLmNhB2kc~*Ocr?J z3pDC;%2;vZ?l$}Db;t!)Fx9-chg=8YC_|a`=f7P|FO+ z8}bvR8IjkW+8U}8KUVn!Mt{7C0u8a|8hQ6-@651#x}82kN4;3zF&Nx?Wry$AAzDcc z7TuXBN($H2yHDb1#s&<9uC0KbG*lfOu3V<6hqZ2i?o3a$v&-_9H2;q@5@cU-?;5Ky zg%`<1+4xK)4#()__6Q?8*A;(lQGb7RSp8u{TvfGO`0viu!Dq7Z!$;INApUJ~AjiVM z;SY$Rn42BjkVVxqgE8`!FB>?#n05tmPJ4bE9+52>4|9S(TF%(O-Aam%0^Fk0Oep8E zZ&DGpqjOH2IZe##MeIci#(w(RwI!yh5`mov?toou9XhOb5^ogcen(si{s;z& z6-+Lwf5pQh{5^n$M3gPOCU;{sZ zC-8iSzK^^Wofg8~-JP;k$3ejXhWB4vf^*Mzjb}}e9TvVK_sxLql^jGl{?XbG2?w;9n9kf{&;$PIYcBJKv!p|G9qm-slq< z9ep%Z0T&mL(Y9646;2SFjSm~%kIG6AH+A*yZz}G97f>{ctED3lF>}AH0`M6~f9Z|c zF?dtk--mAm#{vLoqqz$RJ3l|caL*KI{*z!_Q+hbK;OyWcoaHyc?BpQQ-z!UVM3=`m zLafFB_3CQ*4_aCR0)k13C;G`4A{irYalgxor%S{(Vf}xrrxaV*nmiq#X5?R0_w>Rq zqzw@5V6B>3S{__0pn?`4GxL)XhczI;Pks5`9;xP@!E3gcS57W&P};2tkT)$IkZl0P zTUU0&A4DS#cV_xHckr78f}P#3ttp+R7sK-RrQglSdk41VEyIWJ7m>AsAHn(iOC6}@ z_uI#FZr^)QIuG}X$EVWwdze-d8%DC)0``~Q9U#TTB%$Dkj85qno*f9@JJbh&?;Pzz zy?oYS{XjnlEN+oyw4mW7K(>1le6HsJG`H_(h?y@hz7vq|bD6PQA3J}LH35_A>G2_} zr>~)>Z;zF4_SbKYeZb=tz`y^_j8DqU-rVNB?7{c~{-AqV^V9&=ozqpB=kG{V+}-v8 z1K(<(yS5 z9uPG=y~^))Ef86o%F6FhF9Uj(_2>10Lm#s5V!!K-`yNzs{7Jm2Z*68bdOJT@7}LGr z-Zy@!3te3h!scgNR%p*JzCjR7b7+ZWcl2H_S6>i#36y>ViSa2&Ljd(t=7C`l(Gc}L z@DB*>9)QB&C$@*Y2VN`rg>_pCrdjw!#10bqKsbnG82=i`2|`;B%y_xH3Y_q@_Y*!4 zD4ZgD#+G~-489X69R3f!L3fR)ya#UWmwgLmfnY}ek9hPS@pJ!w?BkxW>n?PP|F$qM z24*^nR{>zwz+%++3;87n_lEF>k1O(9xcd2kwsQ0PMi-ckvHJ^PcUEYAoxbtdzb=D= zf0T@SDXD+^U8`w*gLjwMz5lncW0MfL9$Wil)Bir)W!WZr5Z+rjwrJigmUOej=L!9PjAC_t_6n z0bhrQ0Q>YL;)8zD`F865yY?6K_vaF*e~utaP_mc=i$6+cdt6NDPbFdG;!o;4u5!Sq z%7vRE_lIK1Iy#&UoSv)O4d#hFt63wmt&c*&)6>AOQ~TWcC8(8~X0pX6i*2j|h^Ey~ zx1d9uti02HmDx8T<3A)6(a6xv5tq~+<+HHXgtrS_^;Gnza4kX ziQ6d&_sq}x{eWljV5klmWPb8)dIF{cy5T|Erq~swa=fbq1u3P;lo@3t8hnpvW;Ts=7fv{3XF_?E#6o&j?;T{+~E9fYv_UIv>h;objEG0b3N`}zk&q}u_(wj#^k z8$&X@FMhB=!|D?P=!%0w=h_A^*9vD(8o*PZqw1Ki*rEl?6>e9sFAb7X6Lt*#FQmd;Mld$dcYOkfnGFAUS}>SA?( zfsvC&FojdLI5;-ScBg#%?*(pTcr1plx|OlqNDbW#yz3X#e^@xXz{!NPm#E|&k?zh@ zm3nM4>{5WzP5ssuRg!MeRAScUrmgS_Xm=F}mI!{`4V2p93`$7cegK9`O7D%$P~SOY zF|V%UOniF_^Y^s4R<&6rs7}?)Rd&O=qGCQPQ_j%qR43vXsyM>3qOeqRRbcH-Jw&1_ zUMO62nkzVj{xf76D~jyq^5^j^S9Dyk9dRk+t6=H#;1!C|<)t#ZBczB$&$ezi6AAv4 zSRg3hdp=oCu3g*|um+quEC*~JyneCUyXuBCIu7g-E!`X#jgs2A$k%zqY|VF@fgTH% z{6e%AezCz%$7zh!LcKQK9r!i7Kk=FO!T9_V>DLD<a${eW;UQkOxsaAX<%!CUCl zyqUer-L&LMWcM&!i!9~bw`lKG1{x4O;k3tq_N+O+Wy18V|f!+ zO~X%9@mG`y-g_%7HXg^M7HPhE3iYN!#(T7nyB23*wmVtZiH7p>Wt?r}su7ccVqK{* zk+2A<*MoX$-%d=%8JasJ1V5ie*o=4 zQBGVn^7qp}noj_Z3Brsh;B|&$pGw+Kno8MHoeV(v>EW>DO1*ikY%sMtkvBJw4X>Lv z;v^eBEW8Ze=yBiJy~mpuQE5{>_FtHT5F{6j#m?KMTCzmAHRs^QBr$V((`P|C%%<6E zo<$17x@=JxV|~4^vznksUJ}^DVUOW0m_r9MXf|;Dtqo9`l~N>(Kad|zOm~x5WT9vd z*wi0m!+5gG#J-C><#@}dYT zToWI^QfMV9oCFKPvuR&(=fN_>oT`o4<6DU{HXxvg;RKU&Hbd-hDDdpkK6?>R_z-N? zoMg}w2nXcX1ls65>Fa8F3(nle0nEm33N?znqFd@{ol;zhTPi?JKoQz}_C~r>FLoO3 zYN%XLyVjA$$w-ksnmXR%VFYbsBc}E|GHc3|6uG-X!x)@ z6Kc*3VV&J&Mqw?!<-@5|&WE03{gY(yU(IBasMnKfyMS-(<+8LE1CBk!yl48)`Z!84 zvXls^eDj771)Ak^K^aJwGxP27@%tCANmO*lP}kpw-i{(f5INXzl|f9nDiqZ=B%Sj< zJrC0y^Jg0|*opKz^hPMKWTr=)cm)``oDU*_hL`lmLS6%*mXb*#^y2sGg9+Y}5>x<7 zYS34AOL|>K^$28NPQLE78XqhAwDmNE#iV=^pGA?q9L0a{;bY**i1@QsqSvSFP} z>fYfp-&{cB8iex-kkvd#a`QAR0kAmE2%QJ`*I$t+!4j2(`cXffe@S zPNQOe=I;ESnc+e`LY+IlA*kQbV#Ff%(RrV{vJlld)>L@A2*vbw8;5<$(FG|^2EE>R z+~|+mD6^q5;jNYa%V|fEc1r*qHMb9b7s8|2yZlEM`|SI*z?_ni@de&$OqH`Y9M{B* z1Fbiz`^`Rv-I5P@^ukMHpo15i>-G!TgcH_rQH9$E8t1Eea7#4)ZFUERRsg*FN30UB zyUPB8h))CEi)89AQP0Mj^iAJ?yZoa3$cPODc- zyPGj!9sfN=#T^C8cSJ-9k16k)TfqZMYU5JAZi~!&xWL2Q4Uchk8$t(3d>+C7$JI=J z5O*Te5N4u>W?>VT>KB|&{oRuzei^IY7-ES3we64OL}

nV-pS&DXBh@NHx;Z8ek; zopW9`SVKx}(^RW1{j$Jw@~BSb&CYzN`KF-KTy*uwB{GG9e@@wZP%+7EX#auA3iXbC zK`l35UMkjVWNZA$Pq7qZL^s7WnmX@{o+9~!aSyfBG+zgliAwQ)*Cm@U}^lwpKU+ui}fnO2~j^)&+1R znIBI$n+E*IAEsJTc z{FhI02n4IZx$(CBhXi8hJKNzQRgoNK0#mxTDA~D;@(i$JLZzKmA_r$|7fktbX*JPxM{(ym+2qZ>`sx8WNszbDGpT0@_W z5ylCq5H>va_GDc3F-)8^GXQ1naywQvhc&j|f98*DR=CO}X{?L?o?Zf^ zC=1Lu?*R~%&8Hr?J(o&`-~a8ZM^AWM-Y-W7T-`Ew{rAG#Jz;_^yx2v9D>7? zS(@v)Z&3eIx<`{sKc&~e<%oS8G$vw zwy*!8XwsW-Pj;@7ECgBOQ%kg38RZ<~H0Z6BQdbTv)v$S$#fXr-ujH;7e#mv z&HL;#&a~y#0mkfY>!NTSVD;Ie@ZL#*?SVnQK(^B4a%!XEGSHo;A=Ak72unGa!U zI$y&Gb0rMg#<%R>k<4ZDYm^SL7FSPn+q8o8UeJp6Wz|VteAmmg#CXXY= ze<`e+X*{{wK|w(-bqteB`>fSV-HqMqtEEf(7;-WrqX0kp;UIj9$6UGp>%mxvvsQGN zNy1P3>h((89DWyEDp+?CdU8d<2^f-euj8d%8$KmjedzQdu2`#u4OAxmq^QRq3M8iU z*u9L^mdXw^yx5~JBW0CUWVi&9^ICqZOY2QObg$;Zs)smf%jN=N4@g+3 zF*KVAsaQk2xs|Vmca@ zXz5Tet1z{GI2!pHCh1cV!4bLT(-0QeS@V{;MeXyiSK38J46ey+`RsI}izq%@B@dT- zW}lX7@)F8RyjAE`$4k@Hm(=#n=}8aml+JON<4iGaM#D?7AUrzVj0TG#@rYQr@HoC1 zb=&s~L9!fe1*l%%)Vo>Sf9w_@T+_(HD?t^s?~06KI@^?8XV4*xeLl^ct7FJ%$`{2L zo+X|E73{W`a#PF9B#ZMc+Jm5d`*}ch7{8<+srbWx%7I>+1UG5REu{_n1{&)9t36eY zVGIN1cQ@zpaeKFQo^(Pb#*@e&T9PTTL@b(lNYYj_xBSps6Sc>Ge>fgR9CEy5)9f;6 zgaUneZvAsTANZuY5*J~{k^m`KZU_^X>B-i6a8_Uld`hn9_{52!e8KH*)@BDTlRxAF zJrK-veVcl*pee;i^kzw{qn3bIpAf&3--A8ZZFda`5ODa4CU{Hj=y2X?!7i&4$&97T z?G)!6)A_$)QDqmKf9iFkD~t4B4+>!Cs(FNOwGK;Ga(xvc&(YfV4HQ_YlI6aLg-F(h zpwTyvI+B09aq(l1!S_)WrSl+=J8^~8-u{ej&EXcKhQR@$k>$*lVCqZafBKXtc+CFX z!-H=s>K7W6n?dkRL3>`A`|z0sjRwM)pLBZux)Y+IyCI>3f20i@`Mi!j%R+=&8 zZ9>u5%TM~GC>wW7gw8B+9eVRuYUUfyjyxh6uh>}UXFKpw=5-_p$6JzVoW=#W2zLbe z<`8v}NmgCKGUAS(iiSCkk`OzKm&wS2+7ad^KzU?C|KaWCKn8d+l&)<-d+Ap9ST9Rf zKH=g9auT-Vf1-2!O5jw5Y!i~Y3;L*-tVVOp!o2%Wj1}NfV?HUoTDz^g9i?xj_5B&E zv(r^4f~qIjEXZ+B=1Dc8KEvJn`Y>zo(-kmc<(f0jxMX+&SZaEo-X>E1k*3mK#qeBN%hh@+#8zENw>(AS8J)n?)egbC-=xB9vH+onVSl52tpI+1afj zOP*ZE;b~d)20rZh3WyhNff<;9xc3&cZ;?Z^S{NZZ#G|9Yz?5}iA9R}ZP>no7B6^5cmNhMOP4Sz+qUqQ`BK6|ai( zVH;@;6OBsW(jBb-0b7L+Qcj?ihC?K9NXOvbBgN{7E8w%<FFwR+wTi)(Xt*8((Vmu{M%A?-_>AmjslBFFF-+oVM65tyeUZe;|e|*UaDH z2Rw8kbX)e+(F$4`2mS`rN}|7KJ;{oY z&MlI!s9wKk3=BWic=W9hAqSpCoc52`GcI?lF7CxNX!Tb_mw}JxLdTa&V3Aaz;1asV zqOf1~L)1^iSvp}rQ46PGc%Er-VewH}mN47NbJ~{o`c$t+f;7fue~s7eE$n9R1%=Y{ zZRvK{&E!Zp1vF#R%dn&E1GhpJR7*b{D3bUIAxSh?cKcmRiRpGJ@bT`XA%FflIo@p> zt|W}uA{7*15h;1dS@kI_JM|z(l;ArbQ$%8g?a?!uMrhKof$sT)B%+`a3|D)n$@90v zBav65ViqE-q<$M!e}2!en_n|LdELNKG{wF~o)rEXRMgkph+)@yVuNHUGPpyDMVG6R zx>xm`UQP+9s2G);v2hJM?6j1m7*q4@6$|HTsB2`AGIm_-JT=j!0wPD5$~u%Az2thw zTq8{#q&Q5AHgSXVf=TGU@PY-I1b3~_LhdCFFc2ZC<0!=ae@MiUT2UA1nHV{p8cbSW zOI!Z*5-u9EIcz&Ec!#)7T$5~xn+DZ-C2#4YLvB#U=k3!lLa$6xG;GB}RFZwRkQY4d zo|B!UesLbpe(lUy+X0Qdo44aD zj;1ESI#DD|f7rAL9p3*&V24i24%WgSlGE^E!u5;M!5W+!^vfk_R#45o6tK`JuNnaR z9YNAxwMxLa^BS_F^li#PiKgKW>8QrvmGNUbXuo{05rlV2U^CLpWiPkYiE~!gw7RPu zyq%~)Gn&cw{G0PPiKg8qTy0g77OuT+uOuw%4XvW1e{ZFjSe2cb%IM0h)X)<~^b)CH zkuWeWYMg#UVqbbLmjtPXHN&>QwSsHi0O9EkCVco=8Ue9CC*41PkyzAcqPWX03_iTovKR;cxb`$G9)spU#`3+(PTU8eFU)`dl1gA79XQhJ@@zp z0M>Q|e^^|}g!C@g4hru{@U|Xl+ff9^_O+VF^3Zn~VY?s{zKYHWfOVzaaQ;H#N8ouD z|Hu^XIX3T~+03n&!l$NWChf^fF=)tNu1xnpmWPe0%5zuoyMXieL*=O^!!4Tl(7I=y zbo9^_io)C{jsC9%Lz15lHO;e}3`-%$1@xTVWhPvZwtdP0UwvEd#gs z=A8%!&&FzmFsjugt+*8FnHv5sPdb4sv*&|D69lB8-Axpu_~iXrn^}c&TK#&cZ;VIh zmR(uQWVVmzcr67c;dk!n;pX(yeLrC)#ecTgc;6Lv4H0>IT;{VQWr5SRQV^GO-{}rW ze@rDA5`)(q)H70MN?Is`7L3e2BXmbl*T-K?OIoCIu4XjukR_TWUkbC3%q4{;$+2~L z<{Z~)`(Frz9GFdLS}n~mRR>5LC+wtcWUq_An-?(Vb>oX9nXyC6@)7f2!S!;MYX2ar zxi7N`Exrhrz_POS@7trmNWJrk@|ujjf9(52I0HRQClBhnzzPaz;zpm&9`>LA2aqyWgYCeppO?#$y_`4%K32iWfoE zkbVuP+8q16gtxHkL&Gg#XA-#_DNE;@tyaTrv*C)~c-jd`2Yr)DnqD+!d`-Y??ssC_ zSCJcof%J;gaiJd=FieopL2~8ue9gf_40gbRUu9 z^g(;GMXJmmJ?{AxiXnxYQO^tE_vLS>8o7F@TrTBoU_bI<(oNClE50sIZ}ursuUp3! zWe&OmNj1{PHpl|&yb>omFe){)-K@239*DqmcnTNZGS{<>4g7D6f9|_Y9NF4Dr4Rv? z7`z)z7y1NXL@w;Kn~R0PUhtqi&eG%1Ls3zt8&ZYan^0nVu3Sa0XJpoRpEM(n0f7Q8 zk4&$rZ~3w67KZ zOU9466f!vMc`cKaf1Nv2(cZgVKL*AJNObW4%$_TU<<(v!iULK5DaHoh^eqSPF1>f5 za=y;x#?qa}O%`6U^MR{;9-5iUzg ze1dB9gOqvsVMIJ~gwor6YKx|wF6)80eVUgs^|pG)KZlkRe?z6$wn=m{)hurhtsahe z{0gFzp3-BuE4?ccs?Db{_GOy2Q7%YBn&N)Bhh6ui_N!8gO8OA6iEMD8s0GU%C!OlR zt|F@}r1yZW5K$Uhvu(ypOcELIu&*C>C0Kp2@N62EZeGUQos^c?G|7pmpWE-R+m>B= z^DA5Ov3Q{P$<(FD!V7oxLq11i==5>{4ppF0``FdVRB8 z#^!({CxrqOs~+k;vd~Xz!*)7BQ|!=BT77xCsJA|x#e>25%8aj;$+GwH#=pS1Hzj5_ z;6KvQ^=iz16}>GhdeXO8kn|`vIMWdNUFAwx1E$M~f4TmOq-XsE))VF7elDj;_^=a2 zz-JT-VZgB)8rQt4^SIBc*q$>ZtcmSWHhosS)Ec6Q(ha(Lqs5DNkB&+7L4Rs@W+R;r zBn}d_uU9WT6ZS#+@DXBtQ|j>asm7|84yphv2EO3D_lpK*?VjWCrjn__XIS_n zZ)i?;#mX0=qp%m%zHs2{g>Kw9Vfjh33NpbUnVPP95syQCcQt5+^hI56$WI{NCOfz2 z(DSV-nba01ZDBFDR7csZ|0ex&erGsgWoy!xa?TYXVNeh#yhqMhrsiM)n?la@o&V~4U+ZWjEQ z!ULm#KWSQl-PlkwxHxM*27AMGqZ-?4X@W-{W(!tsQxi-XWJY4N6iNpHfdWH*-z*VK zf65CV?y2kLiI8O|p16K(<<;T7=SWV%;FE?=*o505xOVXq;RG9mpB@2`%{TUOc$CNJ zDv}8inoA+4LV;y@wwa;2S20ZC13~wrXOb{!8cBy2j(pV1$%*J?OR`s5(F5~+LdHbG zAh;{xmJn`$+2^na*L??A7pzL112L&pf5!ZST}GQ}AEoiVQVrXm`wsdrmqodb2Ao4l z{1(~}zbjcJ?QzjR%c1iE@80sCSU8$%vc_d=eNnb%6Net<@#+b_`LNBUpa~~F?jn<< z=1@x?o8egu$E1Xaxy;|9Tw+1Ab=qgjy!dRz|MW!zB4*)lc~J-VYJRN)mUo+*(m_OZz&+E{H0;i#^esn3+>UF)e!-`g8)a@SphYjC`+AL4P}19j zh^f(#w4b@rzsr-CagaKTZ(DkEvz1_WMPD;4E=L~x^}(XK zXocypPyB(?5E_v%L>9MyuT{k(#$Zc{V@EHX*$>NFj`gj@Y(YtC42;W8nrwPwAul%=qVPm-1Afjn;t5*f<}(rg{%E zn4?5XP2Cb;_hJan95i6_e@b+qvQTSH>r3 zqD&#>^oRbY2)wMifsy>|DF`+~wCOzL=i^_QTRhRWt!T_PO{01se;!(l3D;ZouYy$_ zw^mMWN@nNRXbXg0Uj`NAQ;geaOe&ohwhSqYva~t`y*y59+ z65(BgmZ8!pg#ei&bcDW}w9KAn-I=*>t>`XL?qwDch@fNNyK95p*{S}>^Za57-pe&a zv)T`j5F&5R4wtb3f3;@{VsDo!B1kh!ea^Bodz-=Oj8jDZfrOp2ux1V<8Ka-=BqB5> zwIORi?NSfLCrq0a!iT{ReGvPWtKY*`5BRa^UaNY7Q$W$Ym8p12PK&K)-`N|zhs`D9 zrI^TG7Hhu7RU{@Tgt~OKhcUI}E)wk8H}?zXfBbKMDJllgdDhFmac2cr zQROb8IQdQB;L-3tO6047?D`pkI;FFkle?P(?k+C4O;&_3okYHK<|`CRMKb5_r$QO4 zavrlUl)v@boyaZp`NX)~qFe|gcj9!@rp~Y{lTje97OVwGMRsILQ|}NFX_=0 z@&C$z+dPun=L=afrbRM2=iwb

    g+>AJ9OwEU~v|8YkMD zhdTyfh*Eex(Ih7T66P*Rg{iO_E?G*aipjs0*{N75e-%CJ36($JyDOIw7c%&S)}nKe zeeqf_k2UgcaofIo8pQ-Z*U!|y_u`SI4lkRR@_m-#s((pbD^97;BfE?oG&FLMxZA(K z3(&MpH44Ys(t);}L?zMk8KPo5XJ!fP;evqwNvYDJARk_Bpz%TvKP*Ay5x1a#z|w=| zo*>iOe?6SU8%F)sVPPpS;`(EhbDlndh~jgQIH!(SIOAsofZe&2>FPX~)>={97i?p{ ztJhfu`CUEoJ(_O9^!(QA3lYm;69|_K@@n%9iZ)RnVXE}_3x9-zrNVkEarhr6gEAIx z1z~P>Gnhhdc9lQ2?yAUwyleGr)Ix(>jA}slgsBlnVtn{4@C&6jqgOx)N#r ze^uCT{R8<5=VI?dg^W>g7L4}cRyJXp%>3kX)JoA|?c?0Fcv426e;%w*t4_S*tMlpR zML0l*{aD?*^a~N(NX!4pOGhS@fB0Be@1u8q0dkR%!VW+?Da=@6Bqy#14ZNfAt4B+ zJ9lns{@;v|o#H58#6oiv3&LPLV3mcWaXntuxcN=iRA_#B3&+XVdQnxsF<(7HOhW#o=B;vS)q}!3`uY}oZrt%Fcf6A~> zMhs=sRFG}D?BtB-s)oG#%yZ@>-78vqCcf+x)r=MdEC*rb;%ah}2q8lG8r zv#A5+C(2sqI#|uM!h_Q^XG2SR#qrw8waIcGNMxE7wZ;xwF(U_8vKaPr$%hjY*qAe8 zmCwF`KB9LHL}l0$3RHo~9eS~;R7_`)2x9hiCgA9Ki1>$TvBbAX z6a|jx-3u~Vyj&Fb#f`^2ZxBfjYkJzwp7?;FM-B}S=~rXIT-ztff8r_`Al}r4 z$G`x4f}wy(q_7us8sCDRtcR_KCaKh`pG(tqR2sodKdUaJk0!a>e)8dvm5DE@3*D?= z(-zlIulIpFpJ%;#h zzi*`=Vm~v-k;W4oxn+I&e^j!Gm9ooQxO5S2QX$$N(C4~HW`cxi42?C)Jo3V`5vD08+FW{wSgo^6x^SaVzNkM zOhp;XXxymabv7R55MYQ3;d~+NY%~+ZulKUZdNU#EL%4A2>M|VDm0>OIi`2}mfUGj z3RrYWztA4Xb?`}QfBu$9j)CvCE#^JA*?bqT-5&vp?`e>~PruLDwI{7Cb7!QdG{ z7@SrutymEm7pvi(>L*`{MpJWFIo03}TXw#AAvW zO%i%iu7pu(+lwz7QwK<%*&a~eJrd^!K8L>b9n3&kEeZ7t`e&+K&Nv6Ls)fiMG8-Cy z$g1!xRd*_?e{OS!tk^=t<7LzAd)|pZuY#0x!m;_n5*&LQl%A(>oGB={b?>LMGs-5z z@#V^naZXEvAHyA!@vZeJZ<>~syR*&))egL-M$+2OZ93s-SiwjAQST>; zW@hc@TpO!EQ9+T}BfgVk&<;AH&h%th#cI-#MhfjNfAW;~;^;3Kt}?8j>|7iA$>Djbs-*XH+{nDlT|2_z@41BbJTH{fKiJ z&756URNS>z)uTj3utH{~i>Ph=J>2Kr1W!w1~fylk>8{+S!J)_$?A20RbI6BO^N!GDnoi2vl0daX&x2=`wa|csaH0`*AwwTzPMw1)%IV2 z2C^Ew1M7{Y+m9RN17Jwu*{P)>Wt3` ze_OV5D7rty%23MrnS|E{`w(75CUeU#R^Qd_m9>PoNGBn7e|9>Ui()F&i_g5gc2$Ha z({yMCv-{Taut`?ah=}NJ5QdyD>YvvWS9bV8t2Sh9s2=XSJ1;}Yb~+Eo@hMZ`^PiVY z6uFajidIY71Rlao{Ym6rzxhp9!_26uf0PFqc^MX+F?Wvv0gw9kP*Cmwse^mULF#cHdTDNX-*bVB(=f!xhQVv_UfI>?aw;IeS zn@f=_I)7!d6rJNZh!*#)FsiJkeC2dJUWh1K6b0HrfM>}M))XTG5vK@BD7}b5xahRi zS-6i+t5|#MsEgeu`<+SgC{oH+Jb@aHJ&op{qw#(?YMS!Mc~cEVNPI_CZ+eKpCk=0p1c)^OZL&}P`IQL4LW4qJ zgUUsEJ*rhIJC9BWZKA0Ve<|SwZo{&BB-rpmip7bnA$wgoPdnuKDJb5>?j*P+{hNrM zPsA7Rx#{D%AaPlf4pK!COqPWM%ECIw+`xMgnsum)C3mjCB#uKPSH?S6{X#=xcIPRJ zsF2ke1UWJ&lYGBx-e2glo>=w}iE3ThhGguL(Cv6si4pN6@{amE>n}npM3RP09DS|(XBi1NA>Ec__AHe{(S@8 z80C(?GdbuPj94XOe<8jk63kI>`JK>)QQE{8icZkV6@C^x%`08-c9w9A(o0)|=f8Ew@t3Fp^%&g^rpBPKj zpD6GMOd1;bm;iSLT@Wl!nN}D%x|To**N8!?W{yw2y3l{Lh}235PapGwqJMz zAhre6Pxzj~IdGHFHiP)ht@hj`f{w_KuLNH51 z8U@(7yY~qF3HE4guVK=21id-d674s{DN(%&&FPF7wr=+D;(24nUH#vRC51oYD;d7H zm@%!HW9sd^DM>xdRplen-q97rk%Ozic7j11Mx2Vq4DzI>kG9Svi7b39iVSkvm>i`X zm*X2_e>pm(Mr%S-yZ5}b~XAmz0ba%d^)}u`6=6ZSS|PC5qzlTQpyDV zm;a&kH{>N!dYU75*u7*iP&k99VoM_h z4R0;Qw4^xWIeNT9k!-8!E)NPvY2%D4 z(`J2_5{Z%&Lo!zFAJ>N2D@M=pqYZ{3yWiPSoc;MgpW`O` zf2zI|wkxnix#5lcN_rb>Ku07?5n!XqP5(S?5<=Z15^SVghBDsxxjT^hMeU(yjVd?p zZE!hD_e1P;pw!OjWV6YD3(b_NDv#&ftVvIUw|=k+q~{W}2KDqL6TUCoN{Ytjr~Za6 z8!J6-_y|D^1o+4=zA{)TZVGgEf!{z_k{|Tk9UbjaO8VI;a(M&n-{4kzxJAAie=CGN zM5khKJ#jVGf}QZosX=x5_2%HjxC_9QuYtJJpqIf>VY?)#mD0a|gq3z#l68xzvsviy z;<4#A+MT0G_@v5;DVcpVWv@Np0DXzP%BnIrJD~nEp9xXAf1YLnlN841h{3yDAJfG! z;3N|MJTuI6)pmTlQvr7dL6WH(xC(>xKLM*BUEH+p$&|E9D0m7AUIXaFaA4wiJc=YzCiY)k?!xd2M{|dAf8gr%`J=in zD%J3KY%NnZ{jiJbx>b}+MU+;9ZwcrwP5f+*P>y{&e%-)J&)?TP(<|;L)?e(NVl*7Z z;(e%-t&G*e72o5P$gAzBwnu)P&>=Kvj1bu`xVy(RUWvTx8RxO%5V8DWz6|YaXpiT8 zFyI5r46G^sOv4qWyFB?Ae|#y)Ak=_+?H}MTPyA_f*ItLyM>makb{rm;SJ)XnAtBx< zThnUZBef^gxQ-Cz{L>&*7G-nv5}xb}ceBqK)J{k)tvhWtSWv?8I|P4Ixw~wAQZwSLlf!pXfTaf53HBkXKBu z_JV~s=nS4feX;Kw%M@76IUFk4{pia zTH;WsW0TixZYkdlvT=#CI^_^+-chYP_aQNxZ%%dwzE>h=M+S?uGY7f98&#&ieGT{zgXV=G$UF zbYr+|Bf(`o>5}HIp{EXqjgRfeUH!+Vj-a+V4bb|rO_QXdeE9mqt*0OU+_)VBlM5oe z(9ZL{$7|Eh>Q}HmpVJK8i_>O`a6A<53OugKf*~s$8C$_?Sp!wm0bKEq0nXly@EbB> zty1}Z5c=Q{e@LRM%U_$l77gk&KZRzGtz5^^dV?OM?M=Tqn5xrG9DebQ&RAnLy-oeb z<)$rJROCow8ZSN3E;SL58!+LSY0%9wtpF158w$%)Ed^4g2xz7p8sjq!mrvg+@_m69 zWX=c@wWi9F>#k3lDF=16Hz%|kGei{821LqnoAO4;e@_g-!DH(@SC&d)S&AvirqJG} z!IdU>Puxe>R8IC=Uy7RDvmdIV;NcRP5X2Y_qJTwx95Js$tJ%R-QgDkG`xFL3!=fQt zDd_!H2+P{%d81i@MavtEUVLS4*z_A+1Zfkazz;Jop2vLP?lV#@3DJ&<>k@YQS1R=C zh}evpeaMO9Xhy-bC}e&q~AAW%xO5YFhluF*E#yy`ib2* z9R-O;&JL0;>%u%gS;vTm^ZT^?#X}<7`g0O?zc|6gldg5pL7W9Ujb$a;=yCa3NqkKf;_%>G&?w0PPee|W}B>YuQoS&#Ch^|Vs@4n#?~BJA48 z@rRcBncgw8ws0mGA#a(qQ9l?}-Y zf7wdXS2nVi6=ALf`){$qnOSPA8PWx22dQaL3f)T~Fw`?tuvUi$2Sh$VDQV^&FO!HS z>I==s_=%Dj)T-cyOMd9#P`scF{02Eg7b)iozRnH0vD%6Vr++xKtiw zsFcF4R^Ni+cI16DD!TSIMy${{?3~893nV9FSE&9U;Ga}?mthP669G7rAy*U;FgG;{ zFHB`_XLM*XAU8QQGLr$r6a+ajH#L+03n+h$wgpraS{F7H08^psa29Q(N(*yAVczOAGczO8PrZkQhiDK&CQL+0*2&4INN_d=HLRjK~Q!89WWB?>Wg z3qa2fg8WmVi?BhtSvZ3MXaN*r1%@NhE-r9uurmOi9iXeC2GDc_!~Zl^`_q66@K^;r{ae9S8#d!`Z^h3ITJpfO|mTwg4Ll6b#T*RO3OpqqqPTaO>ZO7EpgA0_|_% zY5{>-SfUO7pl$(Bl+gxQpey{VKBSd1#1Vz$K|-LvYXtrdgKo0|+*%F+gMr~FB*AZf z@(^dR6}s;pz`qXH0giBkd;N`UAaHA&-(^_4I0E(I5GNO~iu_+TXc57U%odCS2=ems zitzITz)k?LyOkaAcLF^RNAQ0iO3-gHx&|LFM}#B523-c&2Vw(8e-U^gEnL9>l(P%i z$LrsU{~`hq2w)AdLIEtnwh%bMO?0#vZ1X2ZpT9H29bn3f9zPI(_xInT{hPc4~ zSF3`uK<|PK+!p#zBO!lCMTk4tS_^`*vioB;{uJx~-ZLl!4%R{-A-``H05^!2_kVQg z<+5@>-yTTxNdBP$qj%@O85Q7G2EN&3G6P7m!ZE5un5=85)5K#01{w?`^jzH^w zK{Q+NjXj#54a9%-Mj(WyZ~ObzK+oKb51O~#zaW}8pnx5m08r?HT^xh)=RUZh=^3VKs& zejfg~ywGd&H~!--0)ySbRs>Vy2rKa*`^uoEvvL_aH|~{wJ^|vcgNP$M!({~;*B{ye zauVl<{5g@6GHs))k>}sZH~9*GeQ+?k%j;l1@0}7Uc6X|}3CG5AiOYMCT=HTQspi7B z`lPkhq-)=b)}~zcDuN2wOc$ySp6>}aj8W_ z_=&KBnq|_OOJyr$Mn+pyn2`t4{oAh|D6XHUboTNIE_O}7>T_)Ab$!$hi#oPD~2#gPW=ASPIfs?Sk%J7#iaK|mZNmKs!~<$ zQV)OWA^LhgI6h!%>siRWoMRt$U&OIAPUf}QWr#64&CZ_90-A7^Z{-_Rn~j_YOOQpl zQ!Do0-(t0XojxAmB=7u?Gg;G3GU}N`M41jH=o6vxo?H8O+1JV1%yoy~I4=>0Bg9JY zD8k#`q`L{k&Fqi)ygzd8efF&`#JqTfrLKR3xZZR2^$~Uzs;wt-4IdtTqWywPvaQpA z@u-!DXqvX7UUlQ>PD|J>HlrF@?M3=xd8$zvUFZPy48BunqMfIciG3c$TeB)Tmr^Xv zq3osTbvw!~v+raGUf`GWBXJvIPP6idmeR>=t2;^K*F%rXnPixsfV41C`Ob&IK{kJH zf}9BbCal7;b>~FaNX1M}*i!2YMo5ON<|*-iw5T7f)?6JG7&sr#uDIZh)2h7{HT8G# zp(|#`XN`9L;HMVje^l)%ezlNW=VS56AMWO_r%Qm5J+#9C%$QOB$vUA>tw?hnx~^z# zN%58|IeVr|+})`w>G(o5hfIS2K;VDou+^CGh+Ap-VXXvJ>3NuD67amsv2!ug-;Ck& zicIHg-`ynI_}-TEMjO_7F*U*5iq6&TX4z!L4{{wF?O7~II!MZ^fVKun&NJ(@72r4E zH_`wJMz+@Uu6MhWtJ@M43cY1Hj{XxmZxd8nTmxd(nq>+~0xQ}2jy-w|6I6d6RwC!h zW-V%I-bxF#e`7+*ue>G&Ofv4Xd`p!}Jg|FmlqmHv5>sAM&Ho2>l!QQhHzlTVRw$lS z1-EPJkE7Ia9fvnBPTjVTk1F=^=LMTMmA<-)N-6oaQZLMC``;@8U{D6WR;a*@5t-o5 zW$lm4_ItWKXyx&0AJpAi5)^+B$)p0B`+RK5VwU8M@-PB*k zIh=N4TEbCSG@@wu6{la7m92b0@@?eW%GZtQ7&uI-OtiWoYH*(E=~}v?#!*#ke1gKg zKn=+(8skaL>QP@t3i~n*f^HVtCxGKln*+~ya>@bXLd|wvakET$HD!O&_77$Obrf!5 zg4(@mDl};qSvv|cT_$ZOig)?VP4-Ju^Dq5Y<%DFF!vmSGX)E{7mIwJ$voh?dvp6eL z%8Zz30?mV7Zd^4>S7snHm4LhYWoJ)iPc%kuiMD?xhWbuCPG}s()S-s>7+X?1Xz^48sXdepVmv%ng*S|TN;;Edr{jhG=N zHSw9=HVI*dw~~MPDx2i?$p8hKZFG(D`UWSsbrJ%R`e8qY8h7eFmBK9qMs{%B{*kA zK}d8Xiqv`xIc|7;(NYh|QWc5SAU}IVjA8tu59g5#Ky{TG&Z^O^J2oEh(3^b3{kgN9 zC?kl|Sdf2Z2qY~*626q@i;MB<@%rXR?x^tuM@4v_?jHEgtj4CaB-JFx17uM?urEC+ zR)x4QE!fO&NX#WhNQkK+=hMfnZXBvtY%jy&P}a^ZGFPW>x=u9;@yTs+sMt~KrW1djrF|QN2)6CtxX8m<=@=0 zq?KHBt&(TE_d5TTZ89EboL#Eq{)%C%rNMtatEQ#Pw#+C!Y3wr1NCp?rgQiy7gz&NF zVo@sk??ubwG`d_Jc7Hy;Cj=0;@7uDosTCja+I%W4M&oL+!Bw@*qZTy`lRD-qe!YSA4RP29S zzxI=E6VZ0#UrI(0@iu+UGrzCPCJ%7Gmf4*@M?9yj+ukFmw@T=Xl8J79+8?T|xIkjP zwWfAj*dBK7#h~XM{D3Z_w5j;V0!LzR@135H4fuPprT#PbCVi_y95skAc&7W~UJ&ZAlsYaB(Sjp;oyV`g*HDuwb!=TeJsm$P++oGu0IEFnv24nfIiTI+ zRCGBMhksv^Qy!)K&y(M^E`hno|xE+3BQMx8e{Xv^$XHSdn?E2fL=tK!PL0L6pm?< zv-8E1>Ox(CdIqJN>@m+o#N(-NGvex#H<8YTwM>lYxcc&Cl>VrA_ImmXUkx)a7v;YcF}F$w7aPmxWzbP#nOP z4M|9FcO4)=@Bs#QcLpc84(<}13BldnAy{w-5Zv9}-C=MGzHII8->cfc)7`hLtGaI2 z?T>TMfl}=u!Er_0GzC4Rx9<>Tt1VPKJ{e-9N9Nb;64Z7SFzFZwRNo}#*?|w2o{@G!to$xbT zW8k!iK&Wh#+*WRvED8uar|4q`8M3G8^RXi zKYA6xTf8Iz!_P{oZA!&LIdTpa`GN;~kT$6GNA5otYF|76BNfu(PrH-?_=)+hh0qX( zoxKCbUyeMTbz)4h)K^vG>iA=>=iBCE&R{%j;wr*c5rZ2;j&+g8eRP&q>{-N7vO@mK zI}EyG!6$xMyl!i(&WtwK9XuY1jv67d#n|=GeS4WLpvz67>*w@U!m9+gs`^aT>KEE| zSh|kPy&W!Zb@r(TKm3%vlsG9$A(Te*R=b()0Tvq{ZB0-0w=IL2D7>>fMWY(eW47Kv zwvQGqodIctRo295_v-V)!PhFIXzY<7^k`&V#Yxo?Uz`he@2qQmamRgROA*tSQQH+7 z=KF?|l`Iroj*N8fmijb{+y`YDde$jgg05YdB{kVf+dXsq~$3df~r$g3q$&o zjOtoGe(es}VJcWDN;!Kuyg*^*Te#$m(J4ijIvJwWD&G^1Y$Dya9tA|Ze;$sA{u0Z! zOzryzw||nCX4Z&AF|))fS3gQ&;As+dfl!ubQlEpRmg9Vke9*xrxcX*b%vqNe-<@mU zTYxU)#?f|mdKutb+ivvg#m}}fVp3(9m3oPnXa*m1SYIKW*t3L)41+Q(%e$hoPBrwO z&*pvt`5E?_FBXY}*rac)6-~?gl$PS+TK~|uoNFQ$o(l~Mg@)v>NUu!T=bvs)TcOVGPevhFBI-2Eccl3 zuI3H*;N;QB*YR_n3jB-K7|2PR^iQ8jMFvp`NIXhNJ8F-|ilCeWT+dX=DU33lC(If! z0Gw95Ot2)++iM(A@m*SQWkI;Q2qcz1Pmp2zVF}NZsTog9kO_KG{i_Gnmzh-l8NZJj z641H?$iy3T*mq3RFQ&`i;_V`sY{JoOdH?B8Bd5P0)(&ct6=ETjt3TQJjoTI1Yc9 zj-v%D{C2804+v)FlO`Yh*zDY)v=c}RGp9VBzVqA)M`$nXm+Q=G@eH)}HR5P^kI;%i zg{YpCLzWFyYS)=U=0hP_rNmWtLUhS^_QvOgi?Oo1h7xwIV&l|qEYl#S#G!PY%^^4w z8kV~mOPJQS2H(UyRsr`+Hp^ky-KrW`-+&K~;N+?S0!UXoE8c9|SD~1u)sFL6aW^YL z;5nw$i5%+YPW9i za8c;_4fUo{oJkAOw-j=9&fAEokvn+4X_?`};o(`$6c9Wau9KW zOQV;b?6X{T+>pb!8c~BjS2}0lUPPIHRigfQ{*I^gWgw8|d(QUaqy671Pk3MRqLgsn z{*Y`kvR)=#k_Q;CS)3(@|I@o$Mt+T7kL+9?rskoUIX5Bf;&2EZc zH`EQ_D%bVLro}#5T}H5xS(+#Z?{l*(x*mE#Pa3{6(1JCDM% zoS)M`BhS0dRdVFlOSKkC2F$omp{gJ`5rb?XF6pcHZ+TC>a)SQfjEC#Km9qI%yeL$vT>v1Ow> zYzgiq8y4o|N*M72AU}qtcF7*Y_>zms89Ut&y0z=?SDmuEI;cr z+U-YX+-PmdKzOo>h!im%K>S)pI6EX_^d-VJn;;1n*7(y?q$75x&O&RUsT?zRhAraR6@1MV!) z{UJR$r<8`izWeKJS__M<%=Q@PjG$b7aka?)5KEWf?k(8xr{X7RJ4+&-$LSBd|>9%vY^ArDya zk5b~MR|oYeU-j~?j*;i1SDM@Da&J`dLYqt~^YE{Mn393mikgn79_Y$4q|gXxX@YqZ z*Q!_1hk)D{^#MPghFzMms}gsAycqSfRFNqw3B?10V1ogVtJLL>O1oJBP_a~=!xwD6Kz*V1 zt5WE-OiVWs;ZHKo2JIb3CBJ#(WsRf~U72oO9Q_l;gYO@yX!glHEl+Iw%BLkAI)N%r1bJiU@sNJwwvar z{O1v(a)m?6<+YAZdpjg5kdtZLNAMGCm!#RFPHB(6TmUxPia$x|e2d8y_|V{-o}%gX zN|f;IH%%_4EOegqHZz6PO-vuC@0sq6L+!&*31oX-gfP*jM&;{(ggdeg z7lx$kh3p2zZdMZ1mBu>A*A~zAP5E&ac~RFB5>nC`=vlBD)aTl_#joXWotAbqnAXy& zWMM_Fh8lYxKH4CrVsc^Aw64Ixv#pnHM9m)`1HNL6c~#viO=+~`_gmj^YNuE~CHz`R z6NRLwS>3QT&xZz9=`HxFw3buQo}6O4<%VvYY#l~pmfaRcOn>dHHgOm+0}qvxLJDSX z$*y`K)WlbW3d_*KThVZdIQHPpm0Ig04uiH%F)0felDx8()9p|HiVLMhyo$uBP>Szb zlN5Nnnm>OnX!t|k&9`=b%i)Qlje42C({m=naX;7e11e@cDnet-#l`accobC(AkojX zW^xY|iIVYlss)O!Wc2+%L_Kds+PEo2*t^`JX=$BAKHL&+nosY;4bP*$6UMZQ+Qoi@ zO!RiSwqjkhwj#ht!x)X+VFEGfBLr8!=U&o=r!lY$E_ATlM>K5JK3%Q}%-ZATvLYTK z?Q*yN6P^ds-2-}K!Rh{a%9o-?RJuzW!ap)+6CEafzbF9uHId0^Ra5=1*t>uGZ8Z8p zWrQ1e^P{mIE_hEuXNWpj%hnt#DcibQ!Qc`7o1mBprKA56bmoI$fIK(aiDAtB*t6j60YqP51gmzXyxeWaNRLYnIevn4H@1@4jOuE7W^ ziDBhmBM7^^566_LAX6hvPw8PM=snO&{>S2#wMFEH4~F_7qXU~oiA)L)r#OhrtbOX9 zKjAO?uW9B%CiLusBZ2YkoRpe@qxsG#dYGfiR=~e&9tTtv_e&!nq4) zr-qPPu&bAMnEXJseR$+8l&CM(hnFzMQeV5b9w^UNZd6k(bc3Qb3xw3Y5-~%o{+(|+ z8FCMLH3ZJX2L*fzB8PGIMBB=Og=xjjVHzF4iNuYM+U;e1 zGF3%crsqDi``!QU#qmJljl>Bmd?*E7t*vLq3f3Wr z2Z{V}jB=Oz&*$yT0@!=MBB8o^H%Zmhf)ke9c_g4}X1(fUQ{8MO;KQJzXnAFP`qg5B z2SE(_jH&@d($PA4ZH{8jZYG9j#h1P)gIurP6d8U*2!x zVYN?CBhP7$*n8Q4rV90pnu{OyN=V3&RUbT0F7d()`sg61E_vmZY961aE@3_gY9`P? zDme>w25haDHNqTknovD>YSUdlVIjfSGw|ntd~nb*VB*a zGw;V4Q&++K;3|%*@%Mj*;_TSpSy$l;R(U2)(pEV!m^&e$j(I^DEeY(s*mV0zj+bjW z*gc)p%vrKRdw+uQ~;685aYwznu)(D4Sl5qNrL z+LVo!1`J|EoY6r~@i}t&FOheMEkOR|0thdZiH;Qjub3^0iPP;@Y5(I++nd4y2g*@i z+#T3v=;%c7)?`eSKse&YW^n%`gxdJS+IT`B-(hzmqaVQ8`t!2QjMteH!EDyP_=9@b z+3H*0wKxXm`;x{u@1F`;qLo*rhUn|&?y3}RYIu`%x`I%QxbL~PA%H`O{KrJ$>EJV) z@HG?~H{ni8lcCQo3rMj`6-0GDpQLv089G$8$=e>1_H9B<>r0T~SNKYQPxjH_=nJl( z1t8|urI-o#KRnrgrWuI+I+&mH;$|0D6Y@OH8dX(M!2p`oV&XwLfTuZKO=? z@K8%+!3PL6pT|3>5R6VqGdpUQB3r&TZ4Y6SRImxUN*|1UFn#|n($~5(0g@t85N~zwy z0BZV%G92aKUv~SUjt1ODv}laVJq*4x;q78RRTg;@anV3tCvlM;wz}IG0HmN%$QN1u zBfEiylGgQck4zoUB?k_VjDQx>sr8airOA?BX6oJ4Jm4Jg4-N%-nS{=X)cl;Yc_0_{ z4YvOTrO+$C9k_6;s&8(yEK-ZRD>}0j;c}KTnY>?L+TM2kaaFt+y?$eeO1z4_2R(P) zzyrsBKDj^_+4kA+LP7Q(DN@yKE^$dQVL>u}fxH^S zLOfwfTMSBHj5*r7=`aJcvRu~c@_rSl?Vq8ixLz35Wq|d+M>a5Ych#lyJ(KBTbYWE^ z<(KRdhXB@IL3s76m>Ktz%8Qm9+~*R}@n45(QaZ;ucK^zH8!y3&H>F%QFp{gE7H zXQ|tCPnXGZpT!r+(y+(lRG1rooWTwGvL1&1ob_ANVu#e@8?3?~F<8p$H z9i8E<^L2^$7!BxvREUph!#lLZVY_OOP{rf|FIv-75;Q#Eqxsnj>s!kUH|k!Mm788n zq0NI8E%;66?pomE^nM$s&vaYu<9HXW=fRu*6jdBZ#+Y2j$+tZIrbo&{!1>&_ns{;R z2$FBA1}La&rXx%{s;2r*x1}fNAi*iattMY0!Er;ep*sl;9OnU70MU%VAD_MA5Uaj0 zUnB1O9TQev0oeN;$xPA8e^!WW#z=^|!t)o^MQyiStT-N^A-Q9YrH5=7#8ggQ465#N z!#jQf-a9|e7*|lG@yV)Lyct_zS%03o;M~M*74)2KJUj6^ z$kM)>*bKGScJ_&kUd1e3=@;1E7WyPP4mn2;4l45a5821w;EDn_^_Fm;1{n-E{x`sp z9E=Uu3wPe2fCGp1o}f}8p#MMY<7{|~I(`2h#GUMh2M7KLV&~vW9>Rko{~vUM2UkbP zgTx|f>E!GJU}I(fKgJw@l@s_sJh_u^daBFZI6mW*6Wgb-7;7KxEF)eqLrblk0*tSE zL7(G`DV8x*m;bmxpVt_8qOh@Lky!Yq70ZsckB%~&cNvU2Df_gH3HBp&I^BB$dMi>& z5OjhL5p)oz=h!f-0~lx~1UcnnszIa_gqn!o8TwoUG>A~+QxKmHQ`loSz)(aQp7<#u z#uShWYY8Ez35_LPxId!mzsmfSFq2M@D&qVB5#~V(1xA!&qp3E1!0%KIjoK7TDn>DH zR_1~#ONo`m6`1hrW4Vb#LX__3`dZ7wLP+PA8iCV}YKEF-?+v71r+jFu4jH#KUf(f| zf)!mf0b-@@^EAn%*Kyk}y3oJ~gVxIzw@KRN71OHlkGPRavy`VwiJw@5f6HRfsyot? z>@IHfB*NZzp1{}+njhoz###hJ(!%jz2h!gI;dOk}BHE3Mnjf6|84lthotL#zIujk7T5jG7jR4ANMQhP5Av1X6p1vdcQ@Z zRx*_(>hWt~iR8DfKSr6eThw{j+ELgBT#0JkXGJ4UtD};S)0tZwlsFLkt%(tOh7`zr zsrw*=OGR&jGKWg`w;EclcUb-_>6h7;XZg)_{$ZOf^TE`1VC^LnWmx2IpLkqB{xJE~ ziBLU2%eVA~0R@EqmN^uvn=!G{MiGY@n#1RaCHjcbpTZ7eK7x1~K}{@lodYRxK`a-N zeg%;izFVrHW!6SJJdj=1gs^(N^8AAJp|)T3>WESO1Gr)vwoK5mLg7W;ggJUxb@e*N z%g?^*w=c`LZR;*7Y?Du@pEOGBLh37yG-whGScUqNZo@f-mM6P1h?UjFENyi23tiK! zK!lc%2@akDQ`qZ1ma;5$vm*rD%Kp;EmCJVhMIS0uS&zCci;cExUfh^Sj*JxOsXpZ> zOvX%%kKRNA`wKOWiMAhRL{AQEI7E%g$i7jGetj@`ta2NJN0XmY?o_KfxF;S6O0p4~ zIPsg-$){@hVT1dj=|{>(riSTdE<66FzCsSt9EgRD|MZ4_s$!pi`Ju(uw;8|qsnrZ4 z_c*i+&G>^QMZ2dyRkMj=C&$mkoMkucx<|!Sh@)Z6yM;mx{ho3kcvxk(1 z5s_A!yfaWYk$04YSt;zP6XqM8m3)Uc(Av7V{sy0&R}R;%`%5;Pn9|5!(cDrE-aUS{ zf7JPUe?brJW%Y3H#eVAEcI@1Z|H##p+pvRv+#2qAmb>-2Zm&P_$UOS^v`%dCkn7Xy z;}Kb8mrI0*yUN#7UF9gpMiw`%!yrv;doJsbs_RJV{IM)pd~7M_jpPt=~z3?KaR4xc-{OTi4%|ZU{+cpyoxvQTDW(Y(}T^&|17An5% zqG0|uhy*&2ENup4K%uTbvUWFFxpdb)>wa%_R9}mBH$e#YHTf;XN9{24r!ZAhz zmHE8x0Z5iK5ATzDRrm~Z;UzN_3obnF*5YkSp7=6s@%0BP$U921ZsPoAl95a@-0+LN zj0v%!3x7XWT~)|UH6uBOoQ0`enlwjU=ru{S&1UTJw$|9ToVyEgw9VG0SyXVtdGU?O z1*7=}HNVi(fHG<@EfeBC%)! zbXWoG0M@rT6?=OZ0Ei0!1gIdf$k>_L13=vWI}iux@Jn!sfk12^ZXlbOI2#uiP?Vcf zoEs=E3K9c~aC5MN1Ofkl$lEE%@(??77mK&T#|DUhMg9t<9uq)=Q^x7NaPFH=VQnKc zJK&(KMzyZ`M5!!|6E9s1Gu2L43em%e?0WCMZ{>U6?qz@RZsQnE5FP=Pa}<^pA|aa9 zS1&Cg;x7KLYEk&QS1Ca}HbkhNDLm|4Lj5Bp4hLoGf}S`dzJ@DhyEaG2^3rda7N=4? z!jZD29b-F+Sqe?UfzjS-AKvdJCa>R3Rr@zzA2B^5R<6AJ(M|v00+K7q;7Cwefvnsh NAQCmT1XvR3zW}z~{tN&B delta 13101 zcmZX)V{qV4+&ma3yRoyeZQHhOZEWisZk%jv+qUgwW81cMzvutly|}xodC}d|Ra5nu zs_Ck!zRZSN?t-X&hlOC`;^azklmVp#sx-Bn*V&Q$o@@R+6fMXOqJYeFyI@O{B{WvA zmoBsV`cthKPl=F?Qhq&eg8!w|ns1!%4C^(n)4aI76rR2C!a1idqlnLUQjmyc%jSw=Fd%f?>`DwZ)P7KaQl!R!d82EXbZ zu>#P?kM^Dg@>j8w^=I-G(O+!EqUll@yhjsI%S5Ww@wF`YvwRjsIM0<=esNL%GO-IN;YdkL&y9;TQ zWF15z(XODyPCM_JoM$W1q*NIam;^@OdO6)Dl=@nY4*vO;2hp{X=rd!Ar{U7c87pK9 ziLGgJX!F2Omd2$i1$4dJpCM=2RT0@f_#TfR{Mj#a1}m?Q1H2Sp2=lEV@_VhXr*Dhv z6(s@cql`26TI6b}98a?zX4KW>j+v4cu1NkB=8&9r9F$lx}zC48=8(Z2*!E>NJbRKNqkPpkXR(FjWg|r z=kW5)FC8fVcI#`pkZoa6hi6_cx1U5Ragf`m?N@IS*`1N`7NOyQa$6#imD#Hd#eObM z=q2ZkN9ab-vCZ-kI3mf2mwP>?6NVdZ5nUC59lSJ5)QlwLGvx=LUe=(udC7axRY!Vg z82Y@fbIS$^^su))nCj2q-N)3=#K7XS+%FNE=ufmUs4N;~V<%_Wecmd77tJFkJS1$(^5T z1m5O~9TOZFBmKvoYeR4!naSV48OLByBMF2-WWfZSzmYj@kMM)wVa~G8i{6>Y!@Uch zprOnW#Q0i#F3GfF&>h#&ou1C1;&73Dwx%^b(F%@i}~o*B`Jc{;O4G zX|LEIe;H8=Dgi@;$^487Yl4y9WB>hbb$PyJd;F^|TUgI7l_TFYlWt`X(Y%MdhW2P{>{B@z5=dI5Ej&QK3q z>@Van_EGQrMcYBa9to_&x0hZX2OF97Mc~98@mf~u3kwrSfWO1PKi2+bATZY1j4-75 z*B<@;R!d={%s=#%EkJtn{$&ls4F)N}ofc)-UN)HmQiBu72WbD6Vxqa+MMB%_cza7D z&`a&p+Q~@Xhaq7OWOjCp;UTt-KrRVwz$ccNl!d|IeZxxq2cfuOkMmYm2^iq?#@V(L zF@22tkt*U6ByR)TDH_*Y&N#|cYJGkv3{DunGM z9g5Wo3Sb79EPkvKQHX@@pJ|?8;}F?S`7tE8&PRtfpeGB1HISwUrbU24=KHz^OtiN9 zMtD&ph{bty`yT(HaI9fc3!h-YKkG2C@a^FSR9k2h!LX^3U|V&Awc`47VPK0iKb#EQ zVRn0hHG=(pwEb3=^bX6%v!FD^{`tB5HF#Qd<1FFk6fe%3)Z2d)CQ!c6eJ6`#4j_M<<gHW| zY!_9Vt~~nX-c_2j8}ogI+=aE_ZX zKDjr`{1%{~5Q7Q#&nMTIl zKa0p67X9OIQ8W>OTc(#*7L6FVf0x!h_Gyv4s!D#il?fUSLsdtva$ zYMUEIO34h-n@mWy2=R@x55n&A z4Q~JHE>|#%7XlyO-rY+f1w)Q$NXz6-)C?Q(W$=3j{HZ)kCfNsN!0Ii_gPEN z7+pQLnL>l375;e<@a8HSo`=QDlK|K6@3jP81yWYT8)a3Pgt;FH65b%DUr-mG5>yGh zn5dv!DNH{>(Hi)%5kx?l{udkRSt@`rv-}T1Z3vmBzy)Jw`(M&`W=80W6hVEI zER!c}qVV~mi6_W(`LOw+NL|Z>(nt`qJg?*}ZO@6X#vqRl0UvZDCQN~Ze-$}pKMXMLU|@h1 za55DT?_4;xT}J=(5?ByY5Re~{L85~Jf*=A&lus>0xI_qwAl^ckAnBbTY@Bd`gC=pI z9k0Z>2r>AjyZ``EyY2)cXlzWp0kndf>Jh<|(qTdUgYf1Q)>Zmt+eZ)L+e(MFxBH%h zbP*qek8ii<U+ zm!P~;2;tw@8o-J22T=sWETx0^BiiQCe?bTXLd_#+pa!0M2^H{ZS$SIm%CS>(1R~g( z3-o^;e)1rpJ%zHYEMZ)oLH&6ZHbMaLE`^22tt#w0-`($n2N}5V!wJ;;>i{GQtiZy# zg0APnedQuRQI4H~^_KqpE=RPC^l$eh^o&zX*=D=@Lz3!q#;f_f105(RvH ztAAkb{&yQZrB%?qP@xm)fEt5{rZ3$$h*OLALxrcEgh$o9TCXWI#UbCPf%N>9>MRKfv?bs@9n7Xm^%RP z{@bkZ;B@aUH2YH_=sOnw;-~BF=L8sAOE!Kf-oM}icF?Du;^Dsnm>Q_Y(2p*k236(I zSWU3?jL<0n_75>?K**QSjav~>XGFk!U!iXIn$J0)pOD*u^x=65YzGuH;JZMCE~Sd) z>`5?R{0h_Kc@HHx3FIrgnxBAUmy;~U*QWQ9P9NfD7Zs+o!F8eKHOi90^6MPmtMJKGa_7xPY$gR@~dj|5I{J}55-vJ1r>5SSE zDB0lo2>>Xi$Q^7#vo0T)qPM|cu=%5$->~`2?Hj`)WX`XA#4TQE0?Rru!oNNuanGK1 zgTBEbm6}VRPYtZl_*!(>%EjzT*+RZ6aFHU;drE^8b?p;i^AaT&rXCeQ&|C{)v0iKT z1WQx#TM#JS@V9P&G9~=%mcImI%g^k%%9S?y7Sv=+C0b`z1GQ2$lXZwb!fiU?NyZC8;)vKd6kI}>x$b&4gE z=@d!e2J^ezojnhNTZay+a3oA+dWqd+b=_wl0gEW9{Uu=G=D{8+r`OqJX8;{m)Sc9`Qc?m1i>k#~olJIWqh7rY zS6>Vr1y9S%!bD7DpPBD?dks-<@98`g52Y`ex3xuXFC#FswCk8np-^oRFfy%&pfG4)^(_twC}V+@VQPIy=1FvW@BEfeXI}(r)agTpN}($JC@g8yzaK z3=4NsjW-}3Thr@uW4gTKK!vPpJlf&0(ps6%@ur;~O&bvgT+Xs-hd$J|Y?0iV{ghSx zZ#}eSBrlc4rtW#-lwwte?Y70Zk@)gZ(jEj``@}uoh6&w$ogE#*pGl^s))Qxb@6P7F z67|w`J;d8|rrHb?T1|^ItbPSz&7~KXZ0kF9_BoFA*eYyy)>w zco@ck)|vXhL^)17rGAOTpG;7CLeeA$Jm!^!hRO_F?UwqaF)rw_8pF>8QB-`#8bT#o zJR=fn-XW2~Q<>x7`o?qPeYOh|&h131W+1G0B@E~lSHqF=_nk&~(mtPqPOgJX&qMsB zEmgF%tbe9<3PMXvd<|ej==Q6yLYVE?6%}j2lajQ-wGE(QI#dK6!ac5=8s`$~TQEr!_j3j9) zAsG4$uvOeUtrK6p4B?4BskNFNA_o1$8bTr=r3G8WjRBK7fUabVfk+bhJ+ZxpQuBJ{ zr)aox@3>75Z^6yoSbJw}ru4&nC`aSs`|k=8uwS05@(Z4si>K)1ldK9={d>*TI;Q0f zac$#10`N4`w1@JI!`ET1KIASxvi%Y_SOcmhG8BVpe?+kdVj#Ql4%>XSx%WkeZ$7-8 zO56==Q*__N1690qc)VENBOeWFP)Zia;0;{{wxr-B91bk)&)F#@2(z5{-rkL-=fbGI z``OzQBekTYmSGo3t~#JDF~6U`M$M;OdusIyi1&Z4fBDW2Xi~}B9^-zn;a}S0s0LMP5_@Jq@wCGZ=rwUJJJJ-%FSKOyn?nO`Q zZzzqdv)z@oBG2rA(lX*Z{4y&Dm{HbaVQzA*T5u3$mdx-IN)zPD4iR>Y1&e=1cpNV4 z4z8A<$)uiIm^|x8oI&JqoQ^-oey%KiP%EPI0E2HB&ihSs6krt0m22oK6^(MvpA9rB z#f`>#3fSTYDO|#3zYXeb$nCXRhOQi&Eqz|tBfdA=CTek1!@MmQVb5ie4v(5>j>dWP zZ@MBsa*syo93F-|-;ogspl)`GnOGMT@-N{7t&7iA{Y-D>0o1$=M3=zTMqY$PvAH_8+< zE9Qjfq-Av;-uW`Jh-%nc3e(`~|FkS2nlebcbd>A!AyEFo{t>@!nyToqb`X+?-{Y*Q zZ51K;%Lrog^#r=K=J^*V?BH**9$W^(Rv_64(_5tSI=cdO%GAdQaO8H^RK0B*Z1?wY ze=;05SbQ$DlY&q;`ls#_eQPX!9b+rh%3SDCrf(BEq05_NGW6?jnb_%bvBhP-n|pLE z7m`*vM{%`Xh8wML(Vi zr*W!3(+r2504rx+%ED7W2`0Jg5%DJ64T)WEXq+CgHD30f-1{tTx`%CrTtB^2*D)7f$Yz?q?~7> zNuu|QB}~`M59+S{YbZtIr1$v2!&ZMe^@OronR`2GlxbW&onJt17K27(hVJa z+gSm+{uj(Y7OiC5P>ax9)ymN0)}`a^$l8o}Qo zo`KHH!L85gJIiT2MFh{IHFZvt2UMQHH?6Yq(zB)+ea>ee!+PazhzseHoq3g45y-8SN$o~^5+$9#2xrqk*^C=Bj4&8$c; zwVDFWo8#5LLTM4^On-rjXA3o@$yvTIu}i(le*G79ew{=4Sd``x-of3IR3088a$qSg zPTjtOvMu3i)%%Lz4yYY!wRUSAS8w_GPe(FuLtZ*3{Aia8u~gHQ-ZH&2E|CvB747?- zP<$yRh!Xl>xSUu`e-CtG+wd62Nr_JQ9 zV8!EN5AEewkf|1lkh?Qv_TVWobE?G;#iu1Qq45`GMD`Lb8<_U6(bctn_%lP=K4EKC z<_B9oI+rnzV^&1B)Afa*5)~h`TkjxH-3Vt_*hEpUssdLKMY~HQHm%(*pnShD4A*CQ z3l88yv?d0Jan|Wc|M#J=oL?8lJt$>GYfnT&{I6iptCJvmh1O_g zojSq+kex@9*rN6%8=iTGl5d;*`OS{Zt|AvJ&)EEMKBCJFZ{-l2w8(L%yd`D=?Scvg z_RAVJkxZhQ1)86ycXM7glSXrOHl^b_4x}xnX|RgB0$@PVByi^mHc4M*dLhVWxwsjn z<+(#rvK-R(Qvs+C77_f?pusWkb4-JQ9 z;_^bVjS9KeJCOyZFKk_(tX}v}J5Z^#mBbrI_e3g1imUtyB>MU|Pkt)+yepaI0R3D7 zTHa{afbrzd%^mC@*u-a9SIX`aa?`xYg9vM#h(~^mD z7)X>49vr1s-X&e#=vZNcGr&~sc27K(ilShcSq6~{U0aX2<%&FZ`Fq?`OhufZKwz4lt4op5 z^GC%Oe?>}45ANZ2TpdNPv*8Z2x+Km#$y zK#>(3M@EBXvGxnQdoYqsm)_Xk{2SHdb?$7s;=_iqCv{FY(YU{5?U~{1$@|5ZRy<>q zNM0C)@Wd+C)brt;wOXuTscbId;&bN4_zS+m+h;jYy$*DbjcASMTw=w>!FPC20hxRz z=a+DhxL&9Ozb^bgGu%rKyoBfH%jBdWAQlg+)2u?zcEjs-9My&Ec`7K?0XTzeB>HtJ ze^u9R+)}l^<5i%e0(=nnj5dBv@6QCAaK60@|UGMm*al4*v?1`{9J zydH;C;gkH8pX~8ZvT75E_G(+w@~mCCE+2p3OU*H7{B%ggph*1dUgq*QzaHBTDEKBK zV-ZK5Po*;Ip2HW3IuS1WRx#oSZEk7t)m8||bJ5p0R4c^lP(A$;?^}2yv*0KE#g3T- zV?Rx0sM8p@P~@l5#jk+F!VYmN5iO~2$cB8u4~RhYHolRQvE|M76z1hH?1Dv&;aIKl zCvwB?QNCl}oz^COp*EYNIzvMOYhenvW&3^;d@@7YOAeDQTwW0pn8hZ~;Kq>rQT2Z| z4$&tRo-1Ive9~?C7rQf;J}&C`zmgbZLT$p^Gu-ty??}l>QB-mkPpu7GZqb8WRikM{ z>=K*y)r#?E)D71wXFB#)-{c?tmo#3uYF0VK?I!pC_>?Rln|C~M(C-ifa)a}cGl)o{ zM()seIp33qb33wNK^gP6$ z!KS3zhhsQdLd4JJyCi1Yl||0Fj@bE)2a|1H^AvtK-C&rGJ*sIeLD62PjkUS$ z`;HY13uyA@QlmWHtb&^X9?_Ag>8icv+4!&{oghpyiEHjd(}_+iK=LMYeP4Sxb=C%LuFf`OpfkgSj@M?fopB@U~sI zQq9jIjqO&xL^2V(F`Gcpsl4*2n7UmzfOz=tVs#yan!ba%^bhGMP%`u0U6wG1AduA2 zUgn*P;RHdWw>R!^>+C3U6#Fh;*x6p`%4A8wo&j~7Qu7$qR@SSwGXyAhbn}R)y&*MB7vrM7%`3w z3^QwhO=3Oz>|dg%#JTvn6xdYlvh&Ds>{z1uLu8X%xVzxjqZp|`jJ2lCfG!w9Wmq^m z3!wy}mg;X{&6tm-<*K>hI{6?K!-|%-S=)&`xB9%+e0U8f*3?dw7cMq7peJpS626W& zTh?@A*@@^*x*9*QGGjOMEmY0>jwa!DXcC7#86Ugja5$nfQd$aeX{d%&rU=JW!Lv&F zF0=QXdIfD0?QFi|fta?SCH`^6h%k4kZ+KCxS-%g^#9jfy%zIudkNPU74vUAe^xPp` zve`|EzV5Z8_N^6jdCxjh9`ca#g!8ifQd@PIDb&(xSkE)yri6{XxTiZXlqTKs1+Fic zO`oE@gE#sQ5myt5mF^}t_*7%3Z`kKoAQXW?0s5NyPK{e}v(l>iqgkTu} zbrZm(5WAtx{_jZj3sO>jUr}Oa+=)^{9xCvxxjVJ-PpGqF3c01koX6_15oZ2!<9NlL zK+%7w&fKUxM2+2r#tL`>a2<~SaCM?st7d^c?*;}F`sBOAKv#IY(D1ush*%pj8E2AE z_AeCyW}PhD4S6e?O`j_qbks17GVrO`wl+XdAyBPJdt8ykFnK0K3psPaLy>sMI44k$ zOyaSfeC6k}V$z$8C){6+r{fOiY!nGKuJY>=bJitJQU-K=)I}tItlyAR$1TWybK70F zUb{Q09os1Su6~pCJWO8BSi4GF62;j2_nO?BN`v-Afv)L=0jL9wcuL@2ukjHIIp2V{ zWRQz5^Ik^uKg+f?ZpNTk^-XfQ6`5`Z;$Um=H-{{^_zd+>__!3XNPUfW?p>3kp83r_ z`8+fN56_#GP<69Kk85@V@6H95=`ev6F|l2TtXeCNdC?h<1~x-e3X590@%-$VY+4KX zK3dyxt)~ue`h>V{65#;_h%P~s%-55o#x4Tk~MtI*PzQjsT+~RgM`Ig`8Cn4oKWGPsT;jt zFFT6TJmeK|*Hy?;7zUXZ{mBvn+L&VpF$X`J7kIa0JyXyh<>V8*>m~tf>D!?Alx$I( zo12$9`cdS1)d{B&9d&9&SN)c<*fi>^2zp}ezoQP~Q(!uBav|qmE9YTS?GwqBV`GLx zZgo$e@8SFhG}uU6M{VFGGj_k@7NA+tMmpWLe^%cncmL?|EjAxY1QK|UG|!VAE3xhRZh30xKW%bJ+3X{B zDJ$h{rWlZ&n2u!xZy3aV*NU2Mm3A1TqCL!d!l!!5U)$H=N`(TEVGDl~5T3q5B5@#t zdEtFOntM-EJM*an`>9x1T~?%?Hu2htm69ECqn_bxI)k=yK6;E70>v1OxE`61($Mj;853oE# zbeHJUsWK{b8sz}CK*`FOtJ)qp+uDE3K*KKrgZNCUcqK0{TfGa5)w|2} zkiRJ3EKHN6y5vnYfd{^l*$jCh*vDL9~gWeN4 zl~?Y9+Si3_;pyw@vf~kpxrTx576VIRT=g85i12j=T8b~LGhGIVycN_E^3se`@#lq3 zrl-`p6S195GI)dM{Mm^(b73f}C$FoSsxWqqiCtplK0%kTiR9~wcVk~Xbh%5`6B;ax z3U-S{8wJ3a&Z$q2jf0jz6M%=}CzduN$OR2fZOhZDgEQd|(^vBQb2OMSY;n4vqQA91 z86md2gjPo_=ntB&0qb@a1NI)7;rLcw3h<%nL-<~Q)ur<9Ss7Oub_Q5!`iFL?A(uD{gnPYU%F^M#cm~{9;sJt_;cU6plm9P1}4j zPUm}v;sE&zVXY}I&%M7kj=;z07!b#%^HzqlqTWv_@|Y$~!Lf|turg=iV%z*I=v6NO zE-{%)ewdMmarIM*=kZVO*zwg+{mhXw2~`z|_uPQq>N7hGTzz)p40h_G1Ek8h@{byw zmg^UK8zh29{**#&m65A+fkNF{X(Z)r0CHTox?(r>dMO?B;Hj*C@w`!u5%4fc!7LM^ z%P9=w<01mP4Pue2=3JWT@m~2H=W;xlQ~t!gNZ`w@@+YJIW@824-0>p;4K;MiU1OYY zuIqrUyuS-JiJvmc4{I~Ml8oPqv8mrW=Db6z9v_V#v)fhmO3Fr`WpWLDA3v!c-@Cl{rG2G`=8Me!>-Z&o1HUoR3zX)NukW#_zxokgh5i9y^C0N) zNPk}8s?X1d_b~H;;d$W@3yS8*b{K^HfGr}tumjHL5`BnRT+U`GAl{UFcRyLL>a`Pe zwpxitn?h*l<4l^j`JdScx%eW>u+3sjL0z_OyiB3|uOmclTAld^M9RE&LNtUtOVw0P<^M}*{5PIsZmTtT(HXo{zwqrh{GIw;Hc z*<@SBUkZz|gE_2x)*tdw;CWx=O!v2c&;%Q1t^N%TQZL?8G`+k0K=^fgYC&kb(UkA? z-1l?fuQjO2GbWJG)-Y9ACB|NOP4^slP=9?1i*GYkB$(bG9v^Y;&QitX_%=+SoQ>7r zREXFuW(uH~^N+<|;j@?f3Mw)y5sH<4$6!Pj)ORAawPG zq*-g+`Pye3*-IK~a|c2g<6vRKE3KUFijO;XwOcaca6jVPMUqy-HIM1A*-3GESsL{IF;B-Fi^P|H8M&5qdad#n_Q8ODW3!aRau%G z4b>5s#V9qZ6OSBHKA#GxGA^DqMqxtJ4u6*5jq;XE#{hMI+a-!eg1-9j{S& z$7v%ZF^BK|Nnw_phu74B+QB^@$r|~$VUbW}fZC5eQjC=T3St64zb#^uxHUlq3jA5M zt|MfzsVwI$Hjvw$SxemP*9dSO8+*b^2p8j>HwQ*XkBFZT6puZ~bI@0z&i{h zpQd_it$3LDH&1(jN53+66T5o$FMGdhz)~|#8l&D~{Vj=0z@KdF7Gw*)e~cpf>7sL- zFD1sJW>G?0lAUZ(m(n$4O@$WXb2Xw=BPb*13pMeu-bQA&I--dHGE66 zf2_ZXCRV-yr*O)m_|4X(lGTuJKXxK)a})xg$F2GG#xd3+Lj}fm?2bOhu^RIAc2?`9jdb2Xa@H zjk|x#T@|71ISqm>cK#JMC7Ob>u^7A&ehh*0$4oikk`5nhzF%gd1YJ%2e1koo;IdP! zUx>DvS_s+Hld}Wk43nni{clm;Q$HV`iH{-+@2`J8>^o&=ZK{c5s@mY zHy|T=&I#;#2k*%dYXE{g=NOeE2<|KJnK1-9RS4mAvJdxYp|j*l54|-ow|4_wi$4%i zQSb+Fm{_T%DEIR?_bqXN#3xwc1|nzIUgJO@6f4X8tZn3Pdh;B zqe6|Zr)Ac<89LJGRPbK5tOFNVP5`-dJmm`vZjN7^;y6>h@VA}kJa1*|np{zs&xE(QMMPEm{ylkoQvrhe!Fdb5Ai!JDCh)meZ zIXT&}Ii_NZ^bX)YekPbtE_g|+n^5AG{*|4DqTV(4?&11s?%=jTQ3KV{xp#ubW-kQT zBUT;k%JfAju7Z@htDh?Ee$G;NE!GzV;$YGbp=(&n-+F1=1g7jNxO}{87u; zvn4q^CZX`V1+pKt^#@GYZ%5hj?XY>Rz++bkX1vg=ck6IMM=qpOw)`6o;|mbK;=5l6 z9Gy3=d2y01miCLkD|cqr0GJq+$^)N`A2b;Z9{|W2iuuz2$%OxngcQpE`ksKQr-Kt(wOoS|iO#f-h_VzA>EUbi#gv$S8 zH@7EbVf(*{D4`B7vnUg@5ErKy3l}>xGdnYfh=`a77Zal}7niV*5F4v7KjHt^Liqpp z{CCX%mPrYjnAr*cH!8@cgb+Z5kV1C9;fJGsnOhi!{YsCcnp#mM_T4MQ2(?`h-LO}R z_TVkhzU3B|E2ctfSdSlWMrn!|F0Nzb}@2t@o@TY SW*jVxY-~UO3v&hWpZ^zGP@Fgb diff --git a/project3/report3.tex b/project3/report3.tex index b05be33..b2a165b 100644 --- a/project3/report3.tex +++ b/project3/report3.tex @@ -136,7 +136,42 @@ address even though the timelock is way in the future. \textbf{This exercise is considered solved if your UTXO for exercise C is spent in a transaction with one output, which gives Dave 4000 satoshis as P2PKH.} +\begin{minted}[frame=lines,framesep=2mm,bgcolor=LightGray,fontsize=\footnotesize,linenos]{text} +OP_DUP OP_HASH160 +OP_PUSHBYTES_20 +OP_EQUALVERIFY OP_CHECKSIGVERIFY +OP_IF + OP_PUSHBYTES_3 fbd42f OP_CLTV + OP_DROP OP_DUP OP_HASH160 + OP_PUSHBYTES_20 +OP_ELSE + OP_SHA256 + OP_PUSHBYTES_32 + OP_EQUAL OP_2DUP OP_HASH160 + OP_PUSHBYTES_20 + OP_2ROT OP_DUP OP_DUP +OP_ENDIF +OP_EQUALVERIFY OP_CHECKSIGVERIFY +OP_2DROP OP_DROP OP_NOT +\end{minted} +The script provided to us contains a bug where the \texttt{OP\_EQUAL} opcode is +used but the return value is never checked (line 11). Unlocking the script +before the locktime has expired is thus possible without knowing the preimage of +the hash in line 10. The value on the stack is hashed with \texttt{SHA256} and +compared with the hash lock. Execution of the script continues regardless of the +outcome of this comparison. If the \texttt{OP\_EQUAL} opcode is replaced with +\texttt{OP\_EQUALVERIFY}, the script will halt if the comparison fails, +restoring intended behavior. +The following unlocking script allows successful spending of the output: +\begin{minted}[frame=lines,framesep=2mm,bgcolor=LightGray,fontsize=\footnotesize,linenos]{text} + + +OP_0 +OP_0 + + +\end{minted} \section*{Work distribution} %Fill in here an overview on which group member participated in which task and