From 3b72b846644086dc4dbc3dce64e21e5adac4c8ff Mon Sep 17 00:00:00 2001 From: Claudio Maggioni Date: Sun, 25 Sep 2022 18:35:18 +0200 Subject: [PATCH] hw1: done --- hw1/answers.pdf | Bin 50031 -> 57085 bytes hw1/answers.tex | 32 ++++++++++++++++++-------------- 2 files changed, 18 insertions(+), 14 deletions(-) diff --git a/hw1/answers.pdf b/hw1/answers.pdf index 92ba2289167a90262d36a88a381fffd0a1035470..cf5df1ba236f230f86e38e744224f7fd7bf73676 100644 GIT binary patch delta 27261 zcmV(|K+(VNh6DY*1CS#FG&V7lQ3oi0wHV8e+cxl?uP}P41VpSzk(5**ha^bQ21r}9 zzBN725^Xcl!_~vtG(X=Vhq5hK#_k5)i%AWK^M28<*3W);o5U*?6DgTkt+y*mIY}g6 zrHqrDC98G0`ZM^c4Ver++aK+I+wM~sB{2&qE?@0JgO}wo6f96pp-Vh?rz|>uLJ{&? z*X}x1*QVKpf34pEf4Z_fxnzz%%SgugDoO<5IYa)hD>as;1p+|qz1r zt|GVVMc=v1RV7e{m9>nz&||BAH#up4sR_7RRN10^a?au=R+*w-}T?4>74JZlbh-b z?#vbqH|#xfQK`Q7XZ4}dwQj7v2M>GQ)(6$8O{IY!s3cf!Rf0^c zFoe0&1(?D<2~6+TrqnJ3;M{;(m;Oa~0;5M*0361&0U~P6#{ubm& zK-N5+&}ud53Or0xRAZ@;iz-WFEeL7gMWb9-rI%sYtHI-SUUpZ1c*nseKe1^*`hQcL#-KAQU`MI}cpWDi%vfm;51F1%uRt=G=_6UX^Dt7U;{A z$mA3;jTLc$It)32PDnlxZ<;pYIkBnr_z=j!w5iN(gJnT~2i-N|d2)^b`(ZI(d_#s93L85`^3TnnZ+Mp{B$mm7#pgqN zlEO!v!X_tq;vX$+acF<_{}1iZ{Vv8TmeI4L7=Uq%c3_(DqOB?zZlI%nhrm(|3K216 z$IcVksNQrqMv&K5l)*cys1t{eh`C1OIbd5 z{&{qEZPBH<)#$xC%p3mLC^v4oI?zrnuV{CT`DZEwel&MMqo(1Z>0z{+N*KHp>=@TS zbkNS9{Lz?w%cJq>o~7dU$g>oRJR`~J?$*Fk1P^s+sm4N~m#2oXsajVbW{*~%$Kbi@ zvyH-8lItl>6}WP89WY1;2Z5qYKxxjV|54!R*_-vVe*x6NkWva|Ze(+Ga%Ev{3T19& zZ(?c+F*CFN1QY_3%PJMKCkLe?laXx{EHW}SGYT(EWo~D5Xfhx%H8VFh3NK7$ZfA68 zGaxVuFHB`_XLM*FF*Y|cHk0A8Cx4B%1yG#p(k+a;yE7!XySqbh3&8?`!QI_GxVr^+ zcXtTx?(Xh#+54RDWS{T0VFw`__<=C@9kj8Cd-Qid$LQ(=pLAasxzU zm6(_TjEpSwjEu~1WMnEP_U6EUo8idRfVOrfR+ilV2oSLa>e+wTMD^@H;(uhVECJFE z<^U!Z024bm69+dVBY>Hak?Vf~t!%jgqI!-d1^`)lfV7n*&<>7F#LC*m*2Kuz{^OYc z`3j)arvfl>adFW8oemJP0NR@9>sbP1_3Vv-79S_->zMV7VvLv08I2u|DpSL z_FqIMmVYPf>FZlrSnFB3m{=MC3{A{|0C{m4dV6PkT7aIV!C!%T=6`lpANhKYdM4(2 zKRyEfu3QfwE~E(1`)Kgr?b+$unpoT0(c77r|J5SHUo;;oi&+|oSXo#AE$!{#{;E&Z z#1^RkA-fC1zi!sd(#pxw?cc!A#L~d7*1QlkG3`7pu#u^9pF0c?zn zj2v970H6&3=&Wzd@P8M*iiI1}6IUfFD336HB;1>>p;J;lJ?5<=dJ#12h>wW{(NL_}AZmzG;7q zmw}a~xyzsMzwehpNcx+axDd_1I{uGOSlG%L;6}&73ZP?VV}Am0adHAU*cbsG|IMPH zXY%hV82_Y7SsGdaxc*h_hf4obu;ah)pYq?kK?V44E;*}@p#=gc|ID}+BO9as#|P8@ z^Q8Zs^8YvBf3f`EX8eB_B<^5t{U_Db37ee8jdrIGo6WHhl8H*p3UD45vm8~}W*<)uyN`+d+Xehsoc}&j%u?UV;I9p1W@88F+1l#4z%hOd z5;Gecz>Vo+6%BySf6p+0f!@-}{v!qO(Vhpu(8?C>uYVh5=KwH>{AKzZaWDcH#Qz{> z0E6To^bslh2XO%yKO&X>AQk|F@*l(sU{LuF;`(6G`-3>udw>-tXs^G9hP8tT~@|HsDuSB{Ot z$K?H?`G07~@E=JZ$m9yOuir8&^>kBY2J|F+uxm$;!e<;rMA)wu#uKz+n$A2iy_7QIP@jU&L@KNj^x{v1) zgT1jW@E@1@(Yd{o)jtwGlyvw9{I~?if54A2o>~AKCvnjQNA!8beK5HK zZGZoD)PL=^zJu+D$o79feLsfwfAHV0QXtS7s1LU|XQj{MZ(8l&`cNr^??ksd#y3s2 z`!$J*&TY}Q&EW|NI-aT`&3E1QPAGn;8)ao%jPh1+iTKs+xTzL8s5w@#<=Oq^d$iKz zZVTMP1Xlle?y*o!A0aFOor>U|`>Tz+ntzWOcoS%cG+CC711FL~4*G*ruY_|=U-9xt z;M}g_UIqIX_?O}-x^UGnEuVrJvg{w}vpAoi?CA($sL?K*k!No2rqMFT--)H8Y2Z9g z!ddd%G&Yzc9%o%wOI4WdI&n#HHE;;QZ_!33$=!qx5~Q)`-3s&8ZATJkvD!vAEq~&e z%nvACcjc5GY!9z=$jQdJDRFTaz%itLhOIYC##j`P#6Yp8U#v*4J4;=0H2tunm5(ub zmpA9AVN-(V+UAx8@SwQDr+5{|v5HK4yb zyoyoR$c3aUM%dKmy=9bE?c{T~s((T~K zfvW==PgYmw%Xd)O9G@u)PlNvxt0tY$;f|{b9}+M8b9`D#RufB|0{p;t?dsiQc&gNj zgO)xgxQF1rqiu|0)#7)din1)uG}K&JN$ALk#|E&V%~1y|iHS{a(KWQ7O@Ha&h&Rf> zoa?V;-Pfb-*XP>5=ooqFi;a|pkrCv~KCd*|J}ym&33W|^H% zM=}$h0x<)O*!n%eeG>-HLEs+!2=KWie2u-sJjYM3XQ+5tlqYcz0}MJ!z@&RX=CEam zY^Za+a!UAxuXmfk_}dn1R+p6yet9~-92H1<$|5AU%t z*%!}~6Z&hI7WqA=vlhFDTIACJ?VimxQt<<613p(52T%mqb+p zYAJcBI7e1B_`{NXPMUCGFYi5x540*XoGSgEXFy&AnUREcl7G@*bXLPg$kVWqIqADYC|_=UAgLpoO=aCiOMTNyw9=ApDdZhthe%jH=yacF;NuKI-O zN>Z#%5o9ayEI@5Yy#C-GHG4NnnIm>1(beA}2-$*wYH610>3RS>T?*~{C4a}?v$idr z5mqCVNtH2{R1&1w3k%g!ijhL78q&k}3h8nlj>C3~X&rabsFbOC-*|;iKET-8T!Ez2wnbQnI0oRrI#ZX=c(RlJl2a!pb0!r1ZF)eLG1?yht8H+YDUqmG*78MBAi@j z9Q8HgVz>lBXMXO+qI+u0Ob=18YVN!KX!&~10n$*R`G1VpW-R-ZaSA)6CM@&fdfh~3 z6cMq;hNJ3D%9eSnf;$?@59jtnh;G zAecw2lz%Yz{AfM+@dl4&)^L?~Nq=^^tLNds~b z%Ps#_$1tLMFX*>FojDz`iwS}`#M&59TOtjIBl&6g<^XQxJ?3mXS3Ao1-EGxQZ)G7$|l;uU*89m7C zY)T7snq8D)WhX+?BrJB^kU(mooTHUrBM6WhZ^eURcC~VoVHUOe6UCSG^vjR@2!BD{ z!P8f1{E8hxSpMJ!Y z3pnEg;)QoXJNj&md_P_ZZi(l2V_HeCvJ(#vavOwm zKwg3x#JM|@=~~s7E@2hS)j2ZrNe8>^(OU^67u`9?U4ulY54qh*OmE(>YU*sL!NlS{ zEu57VpW#Qj-1`XyUh*CIm*sAj-8R(AtHUav5_#isX`zASl$ut4odPs2$A8S}C>Lsc zXbLF{`^M>VZUec`=ZU_*;$)`r_wZmWXpnN)Zxc0KJ zmCO4?4baUNdhlX?kXAmaT@C~m>)0o-dKj|-qt_(mf^B;x%cSyXcDK_$OH^))U zb83hKQ{nvI1Lfq8aF#wh>wkg34$G@#z^LugwNN&YNY^!Jw7aOU!?qQYXjiz-uL#c5 z*LxQ|Vj{4ehJcLIMaGKC)UtiIU6kBCEVD84EvR51vfVH6ML94UtxzC~{pk!SH8|=> z=ycAS5qi}>?n@eO9?#Bs`DU<6=}*m_@n98hpc|Z%BP9Ez@WVeWkbllHH#+FB!X6?< z`*U4hNWZxe`Oq}5FtH5zAmIm_0s17hycjH76k?UCit!Wfs<~qaR}21kD$vIn+!0c1 zk<^s_V?q>~5z0o{2-w-yC530TpE2^**~0_&`Xai`vsqh=sS&-^-sPNZrQd`o`zQ`$ zf|;aK;HePsD$wJm`G1Bj1;nf)A~yAGP;)}HDjtt0sD6KET_kMx`0_2gf~L-3j$cQA zP3)??9XQYnAWvLVHl4|4iJFgZ!YR!5M!nbXpXj_{*(ONb zCH4#^s_@R=oCPGskh)zy(P^|??9_w*R?Lt2key@pd86D(pnuD{XS4QwG`8n;)4nbp zi*UJ<Kbz@JgFzp+34TRAd?1wdvLp)eYj1QRzgryyMGd z7y&K$tk2RRK5?ZMUVmBC%FaX%lZ$vE0)>78oOx{J>1x1P&JLThYnM$AzF2FRFt zfHWFv^cM~d8Gq4FdcWdt4ELm%3JC;eOznFphB&zyD8r;OB(gJ?prJs9>)1mFAaH|{ z5PAJ*va5@1?*I>J&KV1)KEL^bYrQI3xH@)Sd!*V)AoBa`ZBc;|avkb&)14R~!|oX{OP9(=tkLxr5@3+IwqoLF~<1fj@#K1Cr z1nTusaFFI6Fc3tR69oD#~OX*P)LHkFeZp0?6%p!^RNG+0{vUjXql% zj0b7PI-&0P`&d%?8!Sd7TFqDy-xqujIEk}jM%w0GZ7GHY3$7vC?TDFYJ1<8GQ_-yDu26{>^ZSfJmfNO=AS`r;&ffbW_8h11X1E{{D_wjI_~PP{)v%{8b;$2XU7vc7ZL^C7QDap8=tH4oaDPUqI4q^5atDrD z8^n{A2U81kxWLd9mQ0eB3tTSS82@9ua1+==6kUg2PLgUiQoI^{h{8uz)#MlXVIEJ9 z)mghxbTqvm#KNKkXt7c0lS*U(HF)S6Fz{J2lv3w~sw7nKe@w+NFF7A|C!PE8m${24>7&Z!yrxkNd&k z4|#x95*+g}ka*uK%KoaFGcjky#@d=*rxhP9aZx-%b z3Dc;cdn!+}_>_@FSqh<_1#{l?PuhV7GQtjxluk*5edK^y32AEN^O<(# za7K5G0}& zqpW!xKTkP-H=O!=R|O5`u$g(za=*2ui#l0 z)1*pBT5CJWw-^)>RgP~N^?zEs&!#&P|BH5GlVRpU$Cigp0FP^U;R2aoF->k>Lc;{w zuXO!BE!rqC(3;OJaQZv)U^3&3$--yy-}p51v?{zoMY0Y#K8T=<~`%JpO4{^OIhq1SvQxGB+Od1OYh-3 zw*w+qj%r6&F#5&sTO7$!I1w^oH9}>l@t)E_hm)89EkOMRQz>b8y&DTGX<7tW z3w%Ct{*}l`3*odUVC7nKmD;cZBemrqCoG9faROR%5rN&O_J6e)GmJ!?eFm7K-g3?0 z%3w7@R8M1eSylZK{&z<1dSMb{@Zo zGFV52Eh==0ihq~wT?HI6C+wYJ?*IzNn_Y0{YKR=Gmdsn7}%{|j(W0MX=G4GjtPc9NpcXfm~*Co&vIULZ| zr#bNUnG9?8uZ5)c8-A=S-<8E@Y-$a>&z{#B9ejhb>VGF*zK*!IXjX$OqRms$Y`up1 zwK%8ee@@Y78?n^B*f7RNlSO}M|GjRCmcl!~TY+lndZHl1mUll5zW^*m`7Jb|hk zAzfH~;iRu{2>vx7Gb|9#W+^K<2To5{e#G5oJH#LfGJ9=vjO7pye7dKZbn}Se+I>n^ z>8XKEH-8L&qXMCbhkZ}>$-OVL$H?=_`~Dlip;)uZ{EE`5b@3f)#>WUR*<1|y#3{C+ zv1`ts#yiZ*`o>_XM%^4EQdHf67$YY`0=|jp2eT{~unciGgc>+M|FCYNw5;yT*(7w3 zC}ydQ7O$m*nGKcYk|;L4iR_cw4W8WXhi^LmqJP50gmbPCTVPvJzj&jq;@&&yz?kg1 z@l`fdd7rN`Di-|O5+8IG&u_{s^)dCWHyj2y6Ha>&-aGq1Ec9zmJbl5emf?ri?e;;n zqtxpC-Vj&=Jb1Pu+8Ww*I;d#X%+d9;*@Im|jxm3Iif%x3re1iFLM5fADVaifVB_Er zKYub@oy1r3cp0Bb0kGuspq;vl$NW2p)#xJfu25r#TM+U#A|cQ~Qj{>?@ENkF2rhjs z1%yu$l%LiR`nHN6UvKLIH%}mkI=e99r%*s#10V>(G81V&#qN0HH)1R``W35fNrooJ z+%DnPg)>PkW!_6Vhi-jCZaq|~9-S%~0)MrOqU*6%4udM`5~-=qvf+mF1?S>&2I@m; zD^0t(id2CIH4C`NH!IK4@6l|ieAa!@{j>n^f$cYoPBUW`O6A`rC-Bp$UOm87a-HNe zL=8Dipn5Pe6^ppK!Z-pV$}& zGwhc;G1|qKeSWs7pY&{$UpAjGr}=511N~@NTU=%Z3o+Lq(<3H?XU{ah5jVER-NKd< z(&@gShQ)`(MPH6aljIf9xfk6ksej4ZvcnpXqMC-^mpGLJ@iLps!cQs5=ymDut`O}z zW8rjhE(g7WGY;-*BQ2SBjRDA(u9M3^rSuK&&z6rCI~Z&7m0)j+fjCaxPVx@aasv-Y zW+2Y`q3Ox*YQJW>xJo6vZ8$5LhjPbJSuS(NuCC_2W>ar+{OEm@Q=n)Dv3~{0k=sI} zwR$JDJJWxBUC$=Tkz32NUc}VvIb)15jBGWJT(xYOh7%JFN2s-iJ`l0xzO1|^MBSY^ zQAB~@`?UiSeSonwlK!<09~_I*jVRheM0KHor$N#F4SzdbvpiH|y%-JEv_GZR{TsL< zEAil-2rs4vaD3qm+iGX`Nq;oJ?s|?BbX>CJDSa7YSoTIT@u2At`O--*T3e5w-&B04p(@}FE-@pq z_|>j8pnd|R@d`FHW)QmlMJ?(lTP#@H^Y7eV9%{?cAEZ~x<&LMuFMq%3yg6M)e@9hq z)W4k(@m-kMEq8_y+ft@8Af5w}K{zSYf}5T+LSz^@IFn^C5eF!PE9EA(Ns??g)U#o_v(c_+qqxid_JHC$P^bSi zMS@WxVf_}+NDHR-rGMMvw+fi}8NP((xBA~q)zQYS$JuhlkcO{yK=V%>#Zvj05%R)* zvFmw@Zi`8gb(K06sD8$g_Zi0jtfE-fslpiVbEJlwEq^HobL5LLDlXydRnK2^?Tn3Q6)fy(IDH1x~if}mghYbgqQ60{89i|tK9i)K^ol%eN>k_(ZOD6kV*X=*N3 zf?~wKr!+80@W468FO)j$d}?35GtT?L!M8=7W~!MeAcZfvg8l+GGp&I=Xo|at-&5$ya9YH$$vWChtXG-e2ghjo?XuYX~{a96_ps% zl=2u~v3{k#s6RG$xd>yodgMzj1j%-`jr^h{rEf8P7zfd^_-cRapY{`W+;2p8n)ia! z%2bJjp>u#_!xlN*GE1D%jo=Hu4C6T%8$N<|E251Xj>{K zCR+$%S^!}Xl7z*hBK1u0(tmU6cZG}X2m5Wr-Dt4eG}4JwNn)KEDVYfFHu(|j%rQ?^ z1=dw>Z)hb}AA^{w9>J8~WkkB$4(qEZ2@%(`94boSx|(mWn3P8J_1pViCB-vx(s7{< zr=3qDO`^xAeE-9V#1wbNBexdMyCC{7Gz{YzM1E`$&;H-B`bnMu&VM=(dus1gO=3T{ zG*v}y3oG>%FQm6gWk|0*%(Q1P=}O@%7;1L^O=nXgDX>P_0pOmHFu3u(P`B9do4AH= zVf_U5p%N?ReAfU!3FT9bLqZV!IRgxqatb365jL&U*Jy-r0z!yYU{$(vO{aBtPF2k_V}FQONhK;MHHW3fr1v&9h;!F>%QfX;4Ng^UtX{bln6D*Lk@gVY z{2+HFX}De?Lk>52cqu|=Nw@Ca?jk-zIrCM!^7@G4&e~MBr)#RG;zqD6BMaqoF%6%Y zlD*ORt4(wKJd!sRGjNc|F@(;!1Y_epR|2k7rZ-!fx_HH#IDa~Tt7`z>LQ%SE#2gk& zxmg3~P;7yoyqPKLwg?TxJ(C^W5G*d$GPT*pzQlq}hdSKcVlF#G3Zt)uzeqe&nR7Cj zGqASypeg;+q9eUITqjDf7(14GmNl0?*-o{aBmfHEEch2Lv) z_)B~*suq=Bd_41s4`jR@lzLU6@xHuRfT?wkJoC4lX6nnC#D>BRR8xxG#()(*2B)cmr)b!*mVVNv^0iMlqyloTKuLjoz!`+-EB8;6eKWIxwr1Ts$ zM|l*+{sRm^;#~7%r$Q+;7&kvG4PW4TT5T09vG*OyT%|{7SOh?Fhn$$Y2S;rQHP6_w zT(Vg=h<_eWEvJ^DD4(V_CJ|#%QAqP`B6Mx+?q}dR=WPenJ)iUpUGj7NgKJa8)ey3l z(`Xza=9`#M1>Ix-%}eyct=C zV=B9VgSXPKB7jxvvw4>YA z6zn6}Sgp<%+DIqDDQiEHWL*Cg=tp+0Q25mA!UvM?D}Q)&lX@!h6)t}o#;aP5RT)=| z#l|Sj3tHxDB1u(@ccA8*V2<=1H0Bqh_Q>UQibcZpJgqO?-5(X=rOPfI*b}{(B)C zYZLm)clB%-Oz(%fDtaR4X>jgS$|GGtyU{yy`8PldcC&A;@Ym3YJUT++2L~EK}x`Dw5bpY zggfW>CrIidLRQT-ENwL<2~-*!UyDe#6ge%T0a0bsiK#nU$*k|0S{q(rR!-Ar0u5*P zq8JH{(0C!W{C^e^U|g-d8d{?gqutg^>Vjde*`?>VM6W}pmH3!ic`2EF;Z`OX$oYdm z3TK2v{OZ^H`7gU8G{O)t*))WI>CG&DGWbP2l&0U0I}GZ^iusJ1vwFRNFB(7bAh$(i zAiagQ0zMdsuTs79IsP}Y&&2!T(hsyJA-e(sq2fv9a(}9-ro&g#Ned!-^D+<-Jo~48hs{ezJR|fpgcbrn zTl&2scz?XJ{;9(k0<9d7Ug<~?LWCFE_B%AMQ+Xg0M~|0JN0e!ZG!L{M-f^f!_v|r1 zRwd>)+qf49O~TyJK}QBfAI>TCeJbX_5De|?LxZenF)Cqh{CctH>x@V~lc{T%Z!TFM z0dwI6`5s%yVI-H$wAT;7&yqFJNn0WRf~WiRJAZgfbW3eA5htcVo7b$t^1;Sa4&h(; zd^E7QJ_Mn+kOg*u4qHEpmbAJ6!kya((Tf9Bkk^WYd6RiO#mwaf9nrQ&ua>%j?BDrf zs-}}mWMFV_6)U7d?`y$m&HU4eA~^*s-8AXxhc1GT{2@*JKY3HeMW1x`u+C8TJc)JQ zD1R8&z$+-?8;$#555=UqE(>(JC=ah}lpjb~*+s>9R;HEe&Gj6hE-|l|)Z)PKC%?QV zsHLTOVkf@to#>@ZZtSI#@%+4(*Aco~M5@QdQ!+Sj*{_v-_ce&<1j0XrE`F#14XlpqW+{^l<8Fr^ZVuqBiNAuBcT_f@w>}dVl<)0L?WERjhc`$S4|On>D_Y6X%ZmxspIkF3DHq zj_I-?$I30akF&IZj(-N2a>TrDmZvS??k9`+IpLvU4 zA12ay$0LY?n|W!m_|WLv52!QGC-}7qDtaNq*u}u)G!iKD#VdveSdHW8;D1wnYM~U) znf#Twvb50OX!0b^DKI)zh_JZC5lBZr6Yxn2KEbGB`~~bJT%n_Zc4T(<_{ztth|BWcXwO4j)o4-*Yk%#hI2vpMrgORr zdVrvF*;#R7!zZ8W$-8td-dRVI-|h!PD-jciBBEoUydCUO3rIS+*41{hCD$=Oq{EWQ zXTmzmXH1cQqv?=)a_Mz*_%f?{e zkE&`*)IhNDBM;PUOf!6b*TpnzH-ax%55kZt^`ySfAJ6qzFg^z@4V8DsQXd&R8$nBP zHtmao?WnYikeZ^RiuN%#ie+lWJT|KHuivSGw7UHi8$SYz@-a_E-J0WrcDq-!1-vDXMB0;*m7pMe6*du1yKl%Y zn!WZVTYk5Jn$Vq?BhQAR^PE8_!!S_|SaL2fE6jYs^tnehTL5h&?Nat+#(tF@Qzv3; zZAyI%od(~M=YQJ?)U24BcYR@ZI3}n$Cy_sq?B-E?#^LnkZ(`%~LA0#o35N%H-YLb- zy$B}I;}biTiP+{C^8gUl_HVy`HAGQ}Eh?h|Uhxh;42MZo^_E#tOw#qpyIO@ICDYW1;@V_ft}t_}GUZ-+uh z$TP?$A=doMyMYbK%SF>+85gi%bB4A=RQb43;$1Q6$ftaR!O%_)wv_bmbw?}3a$U3M z&_S?5@Ws{i8c&f0QY(EFuqs=eL`70KpRKSSJQHWxAcA>XS0UOhMj=uwn~5Vv&uXKD z4(8osF@Gz9EmWQ@c{BQiEiRn;K~Gnxr+_WLz0#jS3W-ZH_1Ory<%qKsY*~3FKNAlJ z9&?(@6xQ@Qp65DS$1zFdaW{e7^P#wynsJc$NJ$~=oQ3G=k*c_6F(8OBGJKIxq{R|) zIC`M4H}N_Vv~J_HBNbfVE>G&$ks==TlS`hlAOo46L!y` zFYhQfeNp6zlQ}Y1ACbgOYL3wx2eaS9uIJDKL(xkyM}X5hzCm_TmZtnW-&w_)p&PMNeymoxk?1!{&&-r+@zb|Cw}NURrWNo9v=(uK{X&}z!pOcr5@?06 z99uSPIA$ZrUW7LEpBb(!ES>>s%WJ-w^M7V*OH(0|ui-qwtCi_TP4HnG;Ux6SZB9-p#c=%xL6gyN2Wvt6TE zE7Oi5ZFI`@f(Y6PPS)Pszy|kMu`Y)XU7W|`qEuW;U$~#W>CNjr%r8RA0Cg-FveO%? zmIMa2)QoQLgA1#rx~Cxa#KX5-H(T056X<*5q&Vi$UeH%#tf^47@p1~aZ+~5}-;Ll1XN=$XC4+L0>%%W#WkWbSrmzA?N5Hxk>FF zVzf4qQ01x!GY-~A5$da5T5fm5pv0umR$=tOLLu(y#+Rh`wD9!vZ;cwslfOAqCzsOR z^)&g#kJIhy1*Sw>sJUNs^?#i)D>Jm_$j{-^9GsbP#;mB`k=V zSm#T-BkM%Sm$kuUHL5fNRit;7{-pw@%>sjp-Y2C>?%^0B=X8u3qAY=+i`;y}Aikn5 z-})7{t56umx*k=WCsJ*h;u=kUUU9A96>gY9!L)MM!}kld#@7g``+vBwR}{Nuiy_+Y z#qUPej{@p7{o;~-to6crggb@`GfAPE7K{^HX{Onq4*8C8{dwi z@s%+Hb2^EwiSapzfmENZe!CnU%qaiF*M}_wJg0c;E_SsscNE!V4~Vl$jsx@CG&kC0 zfX4-^>^l*uj{YNd7=Of`VHsn0AUqV?(?p%yp&7H?#@gR6N%~Xb^aikF-ESUu4w(*e zbgE9Uhs3)P($eBJP9Ef|*xvFQU!DF%rW1i{OSqsBHED?fh2+f)i#2hzJeD}kVR zVd@|s6{lVlfKK)1_G0EqxqLOXQEYf{Tz6&-tBw)SkPN6XMt~K5N=&|o+2Oc=G9&4=P z#cfanq*C`t%mo^3HrJOU@AG9}Zb#LbsC2a2)Cs7=?@176^M;Fl1Q=*N~)_DZCE- zynlcCIS_kZY+M{E&kj5jNH#egIw%8YViy9?Tvio6gPAIf`P}4K-aJC@VHr!O9-C}l zBv+Yi!Uj6;`{N7>8&pFMFmKN8q`o{@BUwIGozR@_R>g65SLi=AX=oqa@@(hEo!q@o z=JBC8;YCcIAFCneT^ey$uIWC62W4Mwa(^|0*O|$G%7Rk@vZnR--uU9bfk}#;fS?=s z_^4`<*k87Uxnvz6+^Yx>WP~fIe$Mss^(?1^fOGwUyYGfsVJ4(k8_F zt?o%Z{i~Co|Drh>T+z9^KUUdpwqs1Wh4RB_2YKgDCt5(S>69B|=-8yJTnXD6ygd5N z^XS?!R+g&8Ji}T~a>i92sV;D+@2+YY-yfk3I+V<^4*#9b;{TRoNP}0Hp9di3*Iq-RsQKOh^WdG7>yWTiV-(L(AVYs} z|J1MI*uvON52))eZrT;IWXyC1QbWc!Yt~ob&pO@*h?^erFiaUG@@3nb`Jo5X{yjg` z(|S*CDz+Lia(8pNM52}|H;0Uy6XW&O17KkLW)m+aU$DHdt%aW{9A8e_N@N*w;48*Y z&-ZHIlox>y5-`3jDEuDHC3=7q}?w;GRTc9-lI0s$p<#y(qor1_a zg?;bQaMU;m>Gk-Dq8g)JUP@0|^aDFrK#h12)oxVkFr??z22})m-Q_fJKOj+h7m)GK zR}vewJ*O}txL?r&K|JsRg;lXN)8deP%*P=4lp7LNmnn7FGjjucsx#3{ZlC6lDKobZ zTO~FNX5L0RwaZm2VI8*FV-~LoXAYG#&$$NdyN0sLK zB=XBDM)H~sEJu>sZ6M5%Yt@v%HQeE~4_%AZWVir4KTE@H z4T8WwSC3rEorIY#19;;DRrv(58~nO|VQyMd!YqCWVt$&k0H0+1g3@H5MQ+jVpL>x@-iuowzQVq zW(G8O0)Zlg4@hL?z9k9b)#{@t2j?RD$jQ@(r^1FHPpcqnH`>z$;Y5n5lD}cV5H?it z;0>Kb&FXI99Dzj9wlG3fARwr*-o~flhrRiHL$9H}A>|laaB|1WqqtDP4?D$+vu4TB z^);_ns|G5LxglLHr^a*11-W({Fj)Vz=_;4un)(<&bNW>DbZ(SA4p%wAO?(^`Z=)rEI@Jr*I_Ef(OOcH zPQO%DUeBfOLiEK+{JkEGUFpSFB!(I_(ERayP&)x%N&|wFGfKk(G7=x5kkZ%f6v+y2 zt7d5}Qtc(u31n=OH3N#2NRm3K*1!lP;SVOcpHU3v7B2ZG$Lt>xoYAL@52ZjP-9u~B zs#qwD+|O|S=)z8@WB?9g$d1H?L))p%2WEHe`jaqH#)dAo^~ml|#vozD)b^QO25wTb zUm>x{Wwm<{`>G!MxFO}w24Q&+H+v!>b%WhKADPAGmiFdqE+JpOoK}sGpQ%`ta<=oX z(Ori!rE3)|o{N!-a9wY(w3!$=0uA)u2zg9DWM6@l^JIG@uz&)^L7@_MPVir4{;b;3 zIjc_einTu@0^vtorI$yLH*yJp0=yA-&SC}6yD!$!MklNGpVRE(FG#aHhCFsvPtpxk zPf-j$32LHk^M()T<=dPcsn(as)l^Co%_oTNGpbAFDOO!-S<(H%(YbH<3kZRT9q5=k z&)YeEoPRJM>jC#;+GL}9Q(iFM5Iq@6Y!^w(MZ^_A1s9-a^IfTAA*8|se}&wi;^a22 zmUQ2M9Titp<&M79Bmxd`@QS;cE_Z`>;_#$E`lyEt9a@zm`s1)>LeOZf**sak1B4y_XIj>I|*hm-#1gNkH=^Ot3_T;nixA#2;|F>xPuk z!8zI6l^K0Cfd}9=@=Kk)IR*4!pY{2)+VN`5Y__L}nIz8!`Jqa{rjbMw^J8|(Onk#C zEq!ZFQOcn4hs^ts^$7W6DNO+>?679PwCPZCr8Dm;nD*WVjb-~N2kANQ{6AW83lc2n zJ?4Dcc)%&Bc`R$tE5@_X{Q^{K{mE^ub!rj$5-3|G(%u_jw zZQkIEpUKv`k+2|5kFe{tj+!o!dA%2!g_>8CZk4^{PD38f*R1sPUa1!53>gpFieIY2 zs46XHfOop`h`3<+%~%E&P4G7u6?KW+Cz?{~SAK1@2NBrbtbIS9!hS(*Gopt}1;qQ1 zx3&h=z*x-;N}@KhpiS8{f8n%%PuUrzl$DDa^`QG3OVbNN!3929oyJYDb_jwG!P>tv73j|3n{v#=%7Bxvd4Xv@nww^jE zxfX?vnTVN_ljXk&5G+J&+^pRH9sN%<1P2o{_ct$y8sGxMwrIQRCx%5Viwjh22+gQR zT>~-ABG(U(P)@liaM%TTia` zGtOIxl%2Ib{(NB85o-NL&|pf!;b{5groTbZ!HAFyg`vfuhk%y;6syEv^+8-Q@mzd3 zQ3*T)0Hq;fLx@6o7zrYj=08|MTR;SVSa2m~>hd-;2ry`2qQozxdM;`qnB!;(5bZ#J z9*m%&ATIQJ1Us!rkkle}IK#B5A|8JWn3FF2^fs{}4Kyim}l-w@Wt{PiSwW>BZb zdlqE`Rq$==Nt4#k`aFmCr>X)cK#CHKa z5E|%@q-*!Th9qpq=1g!1qwBnVOm-I0=>8%b#Gv@-^1^|%0fhdBNMT~>_yn@iVcdhW z05>LCl0EYaCL!_9A0VU(&)x!jcwuftyO4JlorBo@VV2>e)zQLKMpst}SYQM$t9d9m zVZo>~Tk!91PPWXNn9-wx&>iV;)IZW`t#i~nUe|iaT9m*#qxZ{ z2q{td3k|~flh4D(fPPFVu#qbFGTnVTT4?NY1XBr8fpEXSznDv?VSz=}JHN?(c@F=k z2T#JK`Jv$#_dZ&Y@9zr92a)gZAO8oMh=vR-Tsjg=|7*JNr|8!;*gdBTe9!<`BA_>u zJa=9Yp7%=~Waj4IF63v9EUxS#J<9G2t+Q%46@xcY`S z=Xi@Q*md-XS#i|eWx?jV2^)_#bAX!#oC;=?Bw-JoKL{GwOI%!=u7l40MF6GDec4ax z%^ZM++DKo0_#ind3Oe|2F1$&22x1y(DK)fPf0S0_0GAJHBM`dqew1)x5Jw(HkdWa3 zggP}jJP=xfOg|DwLy+o6OlgqcSAtR^5Fohk!ihs%s|I2w+MmK<&i=@fL;y4p(l{Yv zkZ2yT2=J0&|2=umgaAqf#_VuT>7(8rw6)%PbZ<}c!WdR zoxIx(KocLUSCP32f3-4RTN<1G%!*-`Y=WPly=!Y-k%fD#^c^PDm^1uu+_m<-Z`#OV z@22qO3^04xb_YFzH2pgX>z#xI>7{}++=`U0)>&`TrT}$BTTY+o2&-CkYv0GCZL?Hl zJ8O@Th=w?=hl)d6LQ2Ne6FxOv!!{@TDTll%m6IxORBUwpKePf^n1tZIv-M5aGhMrf z1s8&CuPL&>rf&o_m4r1}1dieqacR2F&sR}eo2zma>fphI7+NNl<}@JG${16m^B7iP z79+rKngCpEilxu#4b9VIoTHmMF~)w2`dMl*`#4GSXj4>nxq21K;TqH$Hrh6FN6`y| ztXD6~8o*m$QL<@&$v#q-p83m7S84k8D)2_y`Qh=akTV2<4==@{C953Y!4vDl#`_PM zwjJB{W^BnS1DgIg41~e)X~7g!YrMTa+Nq&gPyqO)bvCIYn(;~vJBP6;u835!N$pN$ z*G&;;^F-gHNpQ6f^RuS3nP}~@<7?G!0J%iBt(f!{8y4Ebem|xh7O>pad(gDuaPi<~ zK(NF)EV#FQm!SE*sp9o9fAs~D#dzLdq}}2HG>c>AdH4+b>iEz7J)AOHat8ZdlcDss zC%~Rplv#S_hRlm!G>#tPJc!G>l5II}!~+6)^5Hi*I(Zu`DqNC~I0gsJ33rly4c{k% z-IjnuUOzMMarS3yA_?zEWx90g%6YX-6oF+D3bY<>Z+?%jPQQN9IP%u)${&sp2d*1# z_g01xEff}eZjtRbHx)Wh1ke3P2kRG=0)SSDm@w`~;)6DD`m#x4jg))&BhDy#{vMF<+}N12nW~ ze0YHnuH_ED=@--&g?bNwck%4hh!t7zrGxgcl8zCr{q3WTOR}L(cYTrtgXNW{NL`fs z$CF$l7JugJZu|j%u^n>8O4)iZ?%XKbXp?!AsYc1WgvF7|& z6+=JOh$M-UUF876enUz+C$S>XuXa zv{B4vEZ}qUE1dl=j4Vm(NwT6=mgHTOX1JNxHO{Gfccb&?-795bodBo-`g!HXeH*YR zll>}Pd@kzXQ>HmB3KE829)P(}xSjK`>C6k^gL>b#Z!h;o&jYCQhXapwkZR5v zB?TvDEiTQ4?90XtcbedyE)Sk2moq75+FwHfHdyw zlE76KkFZvAX=ZwZ*sXLM;cH)o6CCl>Hr>6If(Cmdwwe7jbJgLO1g7L)L9fb3WQRmY zWZc~LZ$_p5j34i2&7Gs1b`(K&l|p*xTr+3K6hmF<=1Kg*GurK^0s%e}ZUMP^g`Qqy z@+H{Z{4FH56$rc(7l4B*a+A7+d5oO!2!46d`;zVuoSKa@CF2R@Drl2amXJ1d9YcfgZ-`E84J;)oS7qBSvk zklup(%M459HaO?N5Grl}YMM%&*-ux`Y{w+6vUIQQXPh0^)ODYV6~Kf>x6Q|1u4NV6 zgf9ZQ{RiZmBDFBTJVTCYP{bt;N;0qRKI1qp+;$@ZMSGX=1EuQ0X*AxP-)fq1l_)h6 z{H<^KHpv?i0RWJr;95@SA2}D@L_hh_uzV-xc`fq(Qq6$jK>{)B<@M!iTHqnm;OR}R z2Q*R8T|lkLsQc5UugVJkjEa7)`m4#yxV?4f5tcIRYGYf)yViT$gXW}9l%n{TB3@%x zuL#fazXt9NEo0~#>^AI_uMbBu(Lw{2^xEnD_MdZQYXHNS3XZjNwS$i+M8@Ks@%cxr zQfoI*rj^(@Y9{l>@w{n2Q&9njccLV}M5|3)Op%)D=>(~}KV=Cm<27Q9C;4UGDen+f zPqInfrw=D;sXUiBq-5qC?|9A{JHLK;>Px$s_KBmz$ujHHaBU?%((Piyq|3%&=-xE0 z+1+3}MFM_zK@MMCKfyTGNfzgs=uQxLOyk?g2kEbCnSq>;t;CnIKDhm=E~t`RWfItY;=FN&1jveuL9(b@F~ht8gbp6VDyugB&by{G0cbT z=O=L#mQQQhi&36jXn`x$#Xe7~+5Vr4hxhFZgfH8iKXJ$kP>Z*-WbRL*uC4T6>mOU{ z;S0aU+*Fe#CKaxVE!l3fxoKnh${7CK46Nm-I=UnzRkeo>>nUAdK+Qal=?_Od3xd4& zzyg%1Co7=cYsOzSUQ3$}zRdxd9U{9WX7(iUuq(B;Pz7<+>9xIIa?+XEmr{u1;V!m7 zgC1FpjO>gJ+6+`>tIUo}s$tbaR9nB$1bac-WiL|I>mIWeJ$t5g&eAJB+sqT_tlw8^ zdg|K|qt5d`n1UtGpi&ZsJ{>R@hh~A4eSjs^Xw&cp-foE$S{mJGngJA_07bmRg&x(W zUN{2A#9PQt{x1$!Noz?TUXKxG-*jtv59qna7R;23VoKSX_E69L46pOHy4dEUDE1Bn z%&kv15PMEjW-*`fk)HPE4JlrM1=l}Q%fJx6{kDE9?}n4 z^m+F&KBh%7bMr3D??LgAQ@1p)jg_XQLB((FAWHiJh7V?(3^1{s&XYJMus&VH7E;2z zhmZ;~OrWc_hvfk|y&$jj^EB`D62KP^S7`N9JPMsAs4G(G7B<8jYTW#~fmhrZ0{d-x z(jugNhv6^h=JuZswe>h7{dz$uF7H< z#!Py-XHP{Uj4uY6bvvgwWrG_I`>)$fyQU@o^hXM|}% zJ6qd#4}milcH7q5E6JUH>TYXMj(Xp34s&gP&W(Qdyg}T-RC43(oSabg>O9xU|=a z0pQHz%}_cggcXSVR>yWDE(d~wnYiI)hx_SoW+&SD4mX61Jmyq9BydPjm2fYWRZSJ(`$Vh8Q{w^__@0setl8C zk7SIL=A8-G+>{#BK9MxCB2VGPt>A}wBUuG^8Vm?L4C#;u9ll>U?lvgu>hiJx^ZuoC zADgFD)XINbrW z4)^=tZ6zmEX-l@Gw*0r;l%IdyJp6T2nF;)Ahxu6UeZ{&|x&gC|fk_C_ajJwrUaH&K zV=y21>*%Xh)i)C>khpr!^Ry2V54+Vkxz303yIIYYydnhM_HZF{$SJJp?nv%bOwZ2?4|gE}Zr zA@Qui^5dBVdO%1X)`r2|Jn%J_dV!$=aI+EAiK?_PCg+hWgTQ?ZW=fhx`>*`aWT~~U zfj3nS@n#jouG5+3k9yfs%RiY9Ah=?}CT0=!FB|q{vvC_2E7`mQ<+!4%y;_Dg*9Z+g@-F22zccr@wVg{77mKShd-02ps}>*bB$DE9Oksb}lcGn@q7q4+iW zd~jh)1Ts{IM!L`pfvt%2;}5@uYeiIvJUK$Tk@WE zAuxb(d_!!(hgGE44xjm>Mx}4P=xPy&-g8WYm!j{=SvidleLB%Q@3`Q@!!8r8gq6>1 zAg-XC76XexBXd26By{}JwV84#4M>tz8kbIGzAeY`+jZSz?tC2fQBPGSsL-bGsd1F& z(@j1Me&)49_;%mb#8Kfsd#K3Y{<^zWtwi`&>V}&{>h0;itG*Mcc3s_L^CIC$06=0F zuP`!bV8~)-Kr%jcr?&+~RE#BeBxcgR5O2gVcZ(-iB5NrpYI@e+l8eRC1YBX@@%M}S z9*Aj<)aW1~9~gx&;IuLVpY$1rrUf_~*(nt1Sl7qhI}+cQ-ZtN(Yc`*$X=K1RIR4fc zM*XWTiDRA5$g90iG?Y=3?{=Q5A}cQECe1rM3_ zovdy8BzBqUV_WxD<-gXzi3gj&U4VeSiKpZ2b9OxqZf9i=a0Y5??}z<-7FY= zP0f!_dZMnc?^`;uYjE>wYHay)5EL()?W=O|*Sgn^bylJgbGuxZ&Qvxc{_#t1#El?B zzWxEcxxaa<=Zq?kt?kWckBm%l#qVU@9ZK)yvJ#pY1i>Zwt@&AKKMf6$o@_$FYGgga z8NI*yJkef&b?_3x09Qs-Rq_!w|^eS881cFq_!oz(EQ%y~^6+kZM>y(um} zBTX5+u0MXe-=7RhUW&F#E)+0Km@8Xao~zV4KE-{)5GE0VRmV zePgh2#eGVBN>w`WJFb;^cNGTz%y$e@?mW=n*kW_Y6hSAD!e03hG{N;DbU_qEpb!9D z@K_hRyvDVGnIcB=F&>a8?J!s`p6TS^cq2+DvwlU!x7ASra-Qs~vt#I1DiTEhI#Tn;Asv*czOdNKyd@Zc#v@yh2c&Es|1pgqv zOIqPxU8%8@Sq-P15${p(9|{=H9`=9{Q!%DrsKVcPf@ zW6Adj3dM6sXTEj5S4KZ9q5(=y0VV0jBY_(^eI!UE^PK8w^Z<*fJ0j6lh562j*1 zK|$C|Oz5g0a31KhNd98M^VnOy|VRS!CXXm#^7z#jp-}@71H&Mjd@wa=2wynuQ zudmP|yZfrS_KN5yp>FuXkI=d_me-$qRl#%rg+l*7q3En^jm&L?;Gi5y%AImF?95!O ztSqdwOe~a4OqA5HjPmv-VumiJL{wrtEKDpcOx!I0nUXZx8N;@lbu%JnHje)i%cuZXnp^fbl1PA)y46wjgp7~R_-ZK* z7@2twmH>G$J@$M|U0{y<|97GyTm zKwy6Qten!zqVbp*=cEf6BjY4mbUFPz{-5q;A?+X#(qL z(6mcJ8#U|`pJE}V%QX?|`PJm{dj$_uj>+~+DFVZm&`z7mG;u3rKInr3k#rYhTbWWKhpu{wI(`jmkQfs8L-N}w^P5j zVUc$1LwMDU++n-+b?|+twbZjFT>sGlz3;aYuw$rsUVg(tA@!lVI(Skn{x^ zrP^c7hf-f#=&OR1U=}7dj zr($}DNNw%7hOK)DOC42f1oWcB5pBSum!h`Ir}l^-cACYh>Ol+II$J4v14uYI7}r7 zLZIufuo~FsrnXF!3on?h;s8!|I4j?xi{Qj~KVNTMq-O_c*Y(cc^hH|QiAFbNPU8YC zv7_-iVVWFe?1D!f7fU3*H0d8+l^m?tmB=I~p%qx%_{N1^K*G@hj6%09XhlIcsc;r! z)h8Qa_TBiyl)2z!P( zwweK~$1}U(#W9t#ovyW?$vLn}aNAvRb}`B~)hI(kHt0!^N$n%KV43Ywtrf|Lh%_|wJivH65#Y#7x}{-@yP`y+pLI2`GM-MK-S4Hl0bi%xU%WshNX$70*Ycb zd19fGS)Q_dhM>?=_!yYLAf|`E6qh~!bk*AdZwrj_XB7?F2W-iFE+992V4G7P> zi~nRU2=)>j(vI8^<}K_rGgA;+Bw8?Y$BVIxqp~@rcCTTB0AT2_aeHZlA;qAsm5~}U zQ*H)P8j)#%Nh=&a$+Ck*OXkJh={q&mIw!~x3||&DWiDd?1k;R4MtnRrZ^QYANV^dU zw{v^EoYuOzP!k{c1@1!esp$X( zXgbfrGHk^z`)Ih@UaLmwOX= zIgo$2!>Nc^$|Zs1Ng@jG|60--P{aHTTWKpi_GO8P2OB>~maAN6_6%b@@oQjiFfRgT zaG$mN-68$7Z#P!;9k2UL2MBe>kc0noe~AA_7ZPU|LnjvxCsQ+6b`DNvR#67?vMLt-Ro1EeXE zy)^~OmAJcX^w>(2AMKy-kTbF^$ARMjds$JW=D}}fzL|Z!Is55tngk+=^IXVavkN%S z;xx~KLS%6z(qPjBf3RPMP~_~&{b>I?j9B=HNq`97m~fX)?;lZ4QdL1$zG9y96*aJDbfETmO1#7$6}HGEO>Hv)q9`vxJYD> zkd2?iC`%>Vge7MqI5_La^hYEWL42~LdX5D_7T!7wss$4h+>2>M=W`;HkNTh4j6QZQ z$bEZ*E3-r3?14V6TQyB|)*V~j>E7XOY42j_j%rlfR)bdl^fk)oTq8YyIZ)Y?K)rm4 z>)kLSG6Q@B*(N3XTh|K=wZr6~{o~8DlE~SpcY4%NDX0LDSFN$3DA~;kK$GrDvT|2~ zN^E@!r=`CO7=?Ak%!GTUZ?sPVx4s|TWpnG^ZgAb`otj&VFA)jFI$l(v>JJW@%tPZ! zFaxY+lEIXEsA;hq`65q$;O21SEXTW8WugAR4e<)u{0>=kniBg280Q}2VvTX(F;=)l zZ%y0KD^(FJhaEmQX7A|=mYurAxd0^Vc5XWM9Xh-(kt>q|4tl;^6h z^)wl0+6!EQ2S$a)n8c#;ghX2pWM%UM5I z0&m{7ranQ|l~4NT-O>wP_YbIiQXQ?13d<;jQdRrqPO4vmq$tuPTCo0Blrr!H@K^47 zNlI)FR1d9H+`;aDUh1Kr>^RrfQLD&PW(Pc2u@`P(B~0|Dua6KEV_lzfg0;_ecj9yJ z#qRjXquOjI6-K6vWhK)7D+`E>%40;g!r~?e^o1Y+4$SM8jH>!#B-c`S4!4& zw1Mr&sVdiHm$P4~C+t@@U(ZsaibW1LPph~}X*d&)j#96GpBkmIXOB{1-RyXF4>O)F z!wqczRS#_ooe2o_1)ep^Dm=rm&m(ErLI~94frdBFpTwLf=xYT|=Kc<5|J60hq`;x3 z1MWsC+P=w1r7+a^Ilajd!qQNj z!|&B`oyc>qZhMm*7Oty@eQ*9|EW6lBDTDs)1|wuV4)TN@`jCVED0 zfQXzj6ElF3k%gX-kr|eZOx4`U3ixj`ESWmc!O`5-hWj4@A`U~z{CPzV&`V!;AUh5Ff%f8{U^}Yfg2!d;9_nJkfR4k+u8sfVaY^n?c5#AP0gG> zj``0|0HqNXfQgHXgZA%qfRHuN!Q9Be1|VnPWCpbUIMK+!3ZP?0Qfi@pduv;P_P5q{3}@YUjej$e`^C^qG$Rq z-M_Q{A~Lu6JK4a<$ky782l1Aw@Y62Rc2!GE{sXyjmS=j2H5Xm0gaiwu9!e5fpDV=Q88Z4I<>a)kY> zK2dWApwWly?hOCBSxXyRR~yfN0~2!_W0Sv{Fm|?MP_r?&cLqv{{yXHu1pCKk3UmUn zF)}i8aIpe__5h%pkr~5Z^na@EcEG=#On;d_I`H{Ha7u&e8GA;8n^%f zP7cmMZ_j@^{ujYAF#(Ltjhq06KvQ!Y*gxzaW}wNx@Wjv#{P*UriTjm@2{|9`Jn%E{nk4}@$?t^O;cxudwb8_-zM+{wu7U&Hb*yV_q%W@T;z zRJ3(8|Lds&pkrcW{6D^r%`&q5cyc&?Oyu7#;K$q zAZ7rAZAY^^>-`;Uc{^)HLH^`HE|)MPOJ2V?>;0RJ$sf1tmw@;?^#zx?*j z9~1Z|<)d_yKY#EqWd4VN7wF z$NfQO_wkyru>zX>QH+)8-&TkJ5t8+zYP*lkw*80rAAc`N2Kzsk`4M67Z0iL4A37GU ze_Q{Tj*00*wttAq^r4aCpT_<|K$m}r$o3KL`0?oclkjocAG(i65QCGM1MnaB_R*Y^ ztL;A$KE!hV2mH|4i=*1~d?X|%!{=yubEIbja z8z6wer&AT&_j8?U!(?8z@~F3z^?j+OJ}lfqN;P zri)UG{ObQ>mMqUOYYzJ}loK7nCu-CSH>BCyyBXA+$#){@I2u^*-%%_@p4ywt(T{T; zYvroUj@>w@xd-BQ;4o6qI z|)j4B+Te-y%0!CF8As5XVEYW?igGZ@5WaakLmZ(kjH8zbjaA)UheUaqaay z<lG}nnc#n5Wsg> z-I|mm3P*$Y4YMwb!1<1=1rHK8iXacCV74{));CKhU zRIT(~sH!5DGZUo{MiM$E`mqTtbZguhQ{vYax9B=*=$3R?^c!VJ{pwnD7z`Al9k8=fv#eINQ8_Yav?YDlj$aoB*MchA0Xz;dWx z>AV>222S>~eLENye}@I5Zi?GUa;?(98--@y(W&oIaCo~p4*X9Z9Cz)XinmV95Igx` znEdZGi>r1AgiQV_>eZm$F+<$nyMNb94X%wD&H5KSeSLYYq2`!fPsehSpF%K#P1y#0 zzyp$p&p}`x1M%^=Bm&I*B7G)LuV<-vSyZO55rU1o%D|-iK<2Sz3GJ!B-FA`T1@G{> zQZVH@`d{nHi@FpvMrI>t(o6K$tJt)=X`i1J#$$TSWIWSnseDV2yCI?qS%2aE*%W!^ z@~Svv=10QIBt@d2x97N4*w#NResAhr-M4d!X}D>zLgNG#^6;JzpLg+$kYlY_M&(BF zv=c+l%Kz}Kf95aIztY5o-mMZ0~kOnv0TB)A`jf;J2QHld9-+*(E zLNpU>>NAlhW5MM}bNVCA@ucyZj_^@3`ZR*TP`v361NX*rq3^X*y1PxK`cN^qT$t%> z^hf4NG=Y(w(vWUd@Z3EG`>T`ZTHeYBlcqy^Ts~F5j+~CH)SfUrh<{6UC_)_so&~5) zh&CR)V(0FrDD%Z`BzgwB1R>ktQEV(Td^`?;r^^uo1qyfked{~Y*^zZZIaJvbsb!&G z`eC5j%F)va)WZAtULoDjqp;a-G3*jAnw4|Z?whaB$cGr)TZ_?R11OT|HZw|UInk1) zoTT1`+^EM2NVkYrO@E1$!LcR%R6y{{c$9n8K~B{+{eBA&TYZm`TPmMoHbql7T%kt~ zR_*6VzpY7NiO4>-XXOD-^NfR=2=ig3Aj@NbQ@zD@@8^ksmWVdFYOi` zw%wv$w%CB+gt;-gW=I*9f|n|KW6^s=B38P(P-EW9jdb>0f~`{Y}u%Cn0X z?zYDz-Q8-JIik$nztrg|<=t1_V~ndM49P$Kps zluyaYIte|Av((idFm; zk|t(x{BX;GzvnM)7JgsgMrS^u#XN;z<``w0Sa&uM}|UN7Is@ppi}) z+^IqvU?>wDh`me%&9aTrN2?vF_A(&=gYEPR%ow+<(UM zB4y*Zn=HL!7s+d9m;T^i5b3O=?&DExlsOHyIlLZSSpnRqQ+>Ji+#B9 zhNRU`>X$|nhPXF zm%3f~t=nv~)NKH#RmzX?ke6>svRUaW&|}xPRsTMo(D%CK)R2Wquz%7`tj7dspXoPt zsP!y*F@}%dp-q?;ywagrY>exO5LrR;Xt}jP@q{>HRQ|12*(GxsiBC&D=f8Y}M^yb4 zcd#OMb@x|3ldN!c*(557^lmL^!$tS?Ti<0ffgKhWBgQxY9b`f?SQ-^2PKHBUR`jz$ zLDG%Mz7$h2zQC-7Q-2@DPfl(I%1EhfiM*U;Xef}82KI;{2%OMV1l~ZJyxJ0nJHSJx zTlS)b|0rKry>C?;SJ$3LpHwF?#P`8Q2Na-$e3z!Yoltl(E0mg}jvrD$CzGq!Q_tpkrVKh?3%>=rX)7Tlc8S{Tv2v|{B0|DYb%8T3#-8&Lg+yPBMfzuiNp?_?Gd{*pFUhq+>p*}dI45A|ANk5jJ&xr zZU}AUkV@2YwGyX+%Y^7F^m)TZGk@%osR6W&HP|N3UxuJZL4*!dUZ`Y?j| zAeB%ndhZCOh@1UC8W>X2G>l;V5%!o87TI##<2dW^7~osyq10PS)`5@x zB_Y61LD?Dj1M7u)9^rS}gN3yfY)C{p zOAhhs1rC=(e9#GQlsU{1vc7XaCvhzsDQ=w+MDe4VTH1@k2#=5VN-_a;^SyK9eu%t0;eM)Pg{)p`Uh@-^6+qsfn}PbALxG z^I3P6BsrqwM4Xi8r~|klZ7@h-5yF}B940Wznc#XZ#y^X*5Wplv1**78+SqxE)-awz zKb_pT-|iZi6bAYgX9}?hh}}igD5nB9&~9!q%wFg^@PDug;Bt*DULf%+Wy&u|Xq!U^mT%l=#+jys*ztLW z%;+Hvr!me-j`LHF);nu-%oKTeWvGtT@2E@3?NpgiZxjTv_hLYg868wE>++^#DzlBd z(79Gp@5v!8#)LgyCo=`8=YNMc4;9$W50Dl%3C_jIIw4U04hC)RxhqLh&wpwLM;Q#7 zi)T9E(+>HRwc`z3rIQ#BJx6;3WCGf1(bCP4q(ZZ<4W-y_oV zjUpp6%nd&L9D^o39(ELq_l(zRA)ZS#85r|Yhwmk-cb>~~i zBt21DLLIeG-Blv{C9SDH%72mC$n;il(Z|}-#HCn-b8Tb@Ehq#5flJj+TQEi!C2(vI z{6|o(Ifq?S8FOP&fRb!k9Y<}UT{l7#rm^4wm9kFHyP3f97wcd<0g~Tt1u2ZQ5U%?I zwjOm?8BMF7q_&;qg(Z(vgn+i>$>Sbq7 z5t|ID)YR=Uv+xq{4-4+7U|De=6!R$v=ZSg4;P4YeS95}qaht5nnOSTsmRu#dPwTP zk;jJ0JvltamiCbQyoImh!*5WwgG4LW(bv|k>aZoWMXF!guYaKmmgWtD&M5{QqL(|D znkM*Ya_Ntp^ctpVDg3_oDpD<9|N4>bKs|%9#i|i(w?LW;hp*;IKo{9qJQW}uj&}{n zi44KDU(QX-hc(bw81u5<2{%rK%v;}@U^&7CpXqBQ-8yEt_L`PcerlrAkHp)of-m7= z-N@Im7N}^=?D6%p<%45#z8QaGx_)q6jzLt3Vl}0Y1({-HNb~Sdek9li2@R_xS^p^k zu(Yhu-G7FQ$M1I#YjGvyJrQQkw;<#lghHSpq{xv0QL|)E(OgDf72!WiP<~#AAJ{H^ ze7$W5+4>Fnv%3d9X&M>CBNzfdGAD)RbHc74UNib~b6~0Zwq!(F{OvMMLll$5a?ZV^ zTg0{&Qu~o=?f7)rPf*8Lx;{IVNT{+Nk-FMkdw*`&0B|lYH=q%ej`EDBhe!>0Xsdv` zLaWL={XWg6DvAD!{^v!2Kg^(IT&5+nPzL`VIewsS?b;!Zvd0vk2}<};GS!2rh0t08 zgdoJ@d$Q$4~WdLF(M1Rh)^$N4*1!o zztOW%%4|Jh%<$7dhXm5FwzKoy)k%52W{3Nr$2t#u6k)>WGN@+CQb!on@%8k$*>= zFTY-7w}fHPcg7fR64P!Kvu4va11lyP1z&FmeJJ9?ht)@ zEK8#S4;+)zlQ7O&L~XH&r%B1_4R0swOJ#)iMky+a#bA29mln7ZE79=22rq^QnKtRYXxFN?texy<*?-<_kacDG|l3?t->p~&yMpVc%F~w-5y0? zx;+@JiBC)n5%>$7f15p9#^2k7`O?)OPRD?s-$MLnQ%&$2Y)W=Y>8oRVaN{qK<|~+p z_+jYI7xmb0Yzbf;&!dI?Jk&PhhNM?2l`f}dFQasRobKbJu{E2GZ)b#j7k}oCE8USq z4wP982?B0T#X~7I+ zdaXxQ!Nkw-B)(`hjxyE8nSZsP3QFbxIEF;{bol7V^cgpdBDB5ULTN2ZP+-=f znrJdc^g{uEPw@`$4bW=t=hOfKMJu^a+ThdOB$j z%_yEQQg#`$vUToEKP@^|9$%*3Zil!G&7(px1eYzdqi8nl9AGa$c&lHPbswHi z?JR{K%q^U+M0T)AI=u6k|bs_S z5!8|A(+3LOiGB~x0d1Nz)2)QT>3nHb^cOfenN94W)7&NeK3`8Nf!ZytMB3Vv4c1WK zD3RN0G`lO>bbrnd;Ony|qui}*h}I(mUEza2k@RaD_Wi<{aSGz_(?d=mqA1qu73*vp zxD4f&xKmX6ogycE$tiWBPsRzk-*%+Ma?zNH$EBCgQBj>AKfzqbYKA&Ee2L(RpnjZz zd<1Yl+Gx&VM5xhy1NhsJ&DWwNBOX0CRzFW+bo#U(zJC+8%Wg_*BJ6Hm3rBkVOeTXY_Im=%?uT1BX#NhWs*Dcp`bU{uSrVp z4U<|XqK3A+3LzT1OVg}zKkO{prjO6ASC;3(zB#KF_YKLO=%_Fr2OYabKE*V>` zAf5!ySU+nw)oRo#RYGeagD5A=sRBuM-N0rB5~$AL3l78A=GLxnmoagDq1SCB?~^YB zzZD@zSgLb1&Cx=$5Cp8>3e@q8Riw|0KLH!-JUu*c zlz+oK2UiAQuy5a4(Bvc&qG%)toyB=Je|O)3-Dev)Op=LFGBAw%C8qJ}*i3vjlb7wd zM{)FBGD1slDn4&S45DAv-kS6JXIEvzh8d{M&2UkS8HoN8;WtW7hSf6+OH`t&FNG=6 z7qx<>46V8XHHi!+XAUXGSSNbH&=5l;3V-_Zf{FH3^P;S)iC{PGbtB*hT?6v8x@J_# zX^p-C2oWa?klEDG&Zb0_rNQ;q$f1E~ou_-2@Np2X^`fLIHdp3^ohI(@RLHo7A4@Q*PY8Zqx2APos|k_no_Y!?A7 zS1WYraP}%~9xPs)4T=^1j2@p7=Ssc z5VR%ef$x;MaW{*K`h6}J9={18kD@~+TS0dqlOAx8jok)su*}Lga(2!pQ0EA;U+`IA zz~GfyQ) z?4=R(jFc{j$eQ}fI;Dt(6Mwwj06q8kJe_vUYFzBfkEjBe2pB-X;J)fB2}EX~ zy^R|LJqfHFAY8Rmtf6`5(XQs&2IUA|UqMYDL7Aw^prM;2mfUy1E0c43b&#xl8-(C5 zRK?49zmMxzzDU&t;TNpTSHQ+p9bfqHIjXO8Iz8T^o|;vapZKTU=S@LnxIG({b$CmzqHW}hmZSd4{Mt7x9^i)g5*kpUpN&<0%GPW`6{wOR)bhf_VCwjtMTo%DBLEcA z6NHMwEWB%cJ{WvC{MOmy?>V1`k?~R+k>RiXu={U{K1LS{}YmPW^nJh+Y@Z4Zbihu3_$27fX`T zX4iZ1?SEHJD-*7WjcY=D&(=1{QMqcEa6*seK>Qs1jx-P<9yuAU(In*P1BYzvT!A9(Kyfl&zvRa-484N-JH|VJmB2DS2IoFsS3v zr=6n1zA>AK7S@MQ-aE-&J2#5p9Q4rdN>|bmRl<%8jwPqDX!=7-ZT5{Q*bTh=7xxFY zLVsT!#PYmEO^l%u6Aq9bYnX$)zL;#uCMDG+yTN+}@^uaOT<5u-8*%(b$x5yb_8f0`oo-5#%AhDpKwX=zg}>k4+MwoJwQ&7D zC1M;*@wD6b6!;GItR1R9hOp~q88dyn#U-I`=Daq`18(J}T$4&R z>_15ZhIh-Sf_Y`z-Y>G~;#B(O-LegEu|dXKm1zOFP-bp8Z|hOG_wd`Ulsh}!NBm$1 zq%&t!r&Ot?H6q}h=`kJbhqw?=aWiM?s4YY|w?7lFy75q~gz zV|U$v7t?Oi#i;XN0nWeS_!z1{`iLMSU`1`7y?x&>E#h%Cs#;mv=cD3M;CS9XiE)=Y zUB=Y;Uo{EM0*aiz%8tl8@9K+g->gcLmTT_DZxnbDj%S}AQ=Hx2?lhfb8nKo}=_K5O z(zqPSHhB~7mCoyv*>%oP^Pfkb5`WMNQ*fK;+(HZWc-r}Pxg(WU+_^jz{*o)p-I~Jp zaSH6s6@*>GHbL$ZG<0*7_o*|1BIGr8oKG=E@Pi_PE|Ash`Y=U5 zm(O9z0L2Cyb@~J|XIS22{3dFPT)0bxmCVhqVLv{Y{NcE$E$q2qxvg{M6@P!rmjCFB z^vaGHjut=aG5#Cc&m48Pg&)s@wO+wvTZee30XMY54m#)e;&iVfHb5sTD2Id}AM!Jerk7{tka(JY3eCsXswVl{Dw{TnTn!@8%s~v>qXD*?JK~Tgh4D2f?pU^aC_CW zBErFpSG8WxUm*sH5{|s838jSzTf-?hSI#(KDNM{VY!cyuFX24X;+XprmIB0yK;02>G|fB;Q23Z@4nv`ns<_VJdcy>Ol+ASXRxjj4`%$ z!_|7D{4af#A}J`HJ49z`uA*>C2G2zfEVWHcXpP2a{mhp~vE@WD3BYXr($e%5lOr_z z6?%wWv`oE>z<&yR8gTwNA#sFas{l8BQ&|XD)MIm2=5EzOiHdw(L;5{#Pgcp|5zID8J+*rh@!I1J zS%EfszMHG6;yX1arrl*E3q_^&ks+N9DX`{qj9aq$}gEa6CA#Kp826I{EGbrJ-f2weLX5tUxtBDc3U zNoZM&PThCK6Tv>oTh})fy>w#E<55&Flc5Yh)qf?D4%*?Pupy*V%5w4aXNKBFl8pPN zI@TA#su`+~QY9p&85OtZRT%0s51sapXydX>tU|7@)nFh69V2lGzgEjef1WIhEEuLCI&m(! z!IYyGASpNTLB82bl)IyLi}fwaSNSA@m}*yn1E=jQ4Ew1J!FHJ>*FvDbMYE+Y;)|yv z-u+MFrPgd(>!WhlMC$C|7H#ouH$L4VI-W7({8fnO5#uh{dy*xTm#Wd0QefCK{m{GE20*MLI(H#F`?>uf4MC^(@sB;m)CB%J4jtS>$XB zM}b*lAZXF8+ikx^qun8q5+X*zn1+5dq`bN4!L1w8))~4iHfS99VOm{S4|h0o=V`#L z-7e|2prxX+F@1hlh zUfO4ArpzrtG#R%_EPw3bYcyuZ;THGeKZjXBSC z^b?skK0NAEem#qVv+nariwmjd*)g-Sid#~*WAc>``u@v@^%N7~nH~B%p%YA(15L@= z>bH0@%}>rIC3n>VX>myCW10*?oO~>gQuVfGKUK7W5@COH?1E)G zn29I05hRnGHL~9Wy}Jhpy@DL#4jx|oMV5&F%jKQ5`WU_8cZ7nA|#}~LeN5iS*2M>j#nNS+| z(RFglq%>HVGld=s#1siWc$)oNlg3*saSBUs+@fh%R*%5xdS2__{@{Z@03HGQt8*r3 zOYk&kt(Du4c$QQ>_-`xc1Vfvl=^Z<;VrjnHjm<^#`hTI{HYF5PQjj0lZUhHq+B<6# z&0?)0giGEHii9I&a3{lf zsEEPU(lr#n`2T>FRCcbE;q`BQ(f&<-49=f)O2hV8Gnl8;3=Oh?Nu-Bmm23l6{b?%N zQ0=R{{C^iyfTI7f97TN4ul15VH`L!K?=6DEs?3jiK#tKvuFSG@fJkYO*Ae}Ci;t4Hl=Q%%j}W7y<7XStGnb41^mr+Bpe)G z@M5snt_3Dnx~Px;gIh8>IIzsWZLli%Q|h*Y`}`bAQ>oY8N%X)jReI}4Voik0JEFn8 zt;Y^^P#+(F-WLwV6Qtc{jd70X4)0)^rhl1wj^Lcv4v_jJPZr=@Tu;@Vd$c_oDo0e5 zr~a$co8$ZeoDHsU-C7G{4huKRH&SV~6kzkcve?PQm9S<%HBnD+%5K(t2K>+)CWLU$ z;s;R(2h@BiTg4bV{%+TiEIQ8|;o+XU9)aF$WhhiD5yp@#Uxl68?w-0)XiL3L5q~1R z^cx!H;SIBq0v!n^vJ7K(;*N2V=KarB`Gd2seZyV?_LK&IwQK3KRRZw7Z$3RS%66y5 z@A?{SCIm6OenXmzG82pkX`Sl|etVPm7haX#WKKeh$3Mj(0(*EHpm1$Je>ZH;s1+9x z6p2~bX^8?I{*}8#e=J=Tsl|>&6o2wUC|Ssjntod9xAL}*Wmq^qMaau^(tQ05M|x=5 zr?@PVxxn`MOu~J=E4`e2K5%``l_cfFPoBFQqaISahbjpEzWSOsxq7cMSc*v>psK{w za_~DAi)`x(b)optLnBVl|2B!AQooK%P*d#V zXSiS4H8dvCg7iatg2v3BC)93qnu(LCRB?Xh?t1RjSM_T52?liG{HAX#o?&=m!r)a6 z+_vq&h5c3gqU{QED~#!<(0>uG2X!pYy18=w#$XOK2=V|}kn_|+9>M5!2^6UKs(E=> zHpAQph8~ApmorKuCEW-bRTMMMt%=E`ZbsCTF}uVx`ZYl`@tUs%A^U8*6VF?ELD4FM zvodu{U^=gQbGuv?ZDqXvNVoYEMGs@tmMuJfohs@i-7{^d$XbZr!+-cr!BgiAhQOAK6Mw$5oyLZ`_A5b?6|Ds7Fx;(&J(b{1zs^|U6v?T57vYqzh8bL0 z0L{mDRuW*DM>=9pL}c_6lNCwx)nZ%^{p7UjBBa=Jh&S#DB=k93)I$qhtNs)}k4;Eg z=3Biv6@@;l;3H4|k~2bvv`6hu0Eu@tbkBa_hH`8F(%)3b`hV4-XXfW?sDPxVO7uuz z#8}m(ZMTe9URnG|6d4rI1wN=mxV87%mv+H_?gpebHgf# z?;z>-rxs}k#(#Ff^}p4J5`X0oZpwULj?3iu@>34Z^1|fQSBQY>(fJ%{4Ee@u{le zwF!Cln~g|s!ouxN!U{jeN#7TE@ue(2MWXY2RHB`5RDTe5h2HDUK240ID?*meboj`* z>$lrc50-S9#dRAu3-FEmhq*(9u0G>56^~>p8(<_~Lk5;2ej34p6&sJt!aw3wcO!k# zNv{Jx5QAPdMr}sD=u|7o^_1nJjtMvprY(_sqmuij(BZy^#XQp9&JIyErR;DX9-vhZ7>PHg8j(6!`a-cYa8iJ_8_3^40Xu&v zjm9aVdef;k@@-Qz|3c312X6Vls&q6iKer{tCw~$QbyD1MI8^bz4XqMuc6&>pX`jLn zgRCg|E$5{~6OtH8S3Vtk)eqfE9{eg-fIeK7czrC-#d+%y0#pA3Rnt`q?wk zZGZ80Oi>EnfO-0o=QN(BJbhVby+s1FQx4=j3jPS`_en#7642xuW}xzMJZfnUK}^^Z zHw!JphGGbPmwDswjGaZ#V1Tk&~K zAi6OQazkO{-N>RBA2xlEvxI!4xeMG9B?M6m8GMnD>j5xz=EF*X;us=tL6d)ZHheH! z-X>#lBrR1_$Vrp9)LD$M$CAO#RQu8&wik*9CTgi&1aq-h^69v)OzU^P{OY~=Bdvp7 zRwO}vKM1$Db}`jw}XE1w`2>HDi^t&0gsYUfJQ8ENoYK*tqrUNk*2ck23gWX*o+{ z8MaQ!iW?V=Q)z*4O3$g>SG_x)(!>>I*+gAAwPB%*KEgFWAr~F;mcgM6t3l4}z{y=a zK8LA<>F$8!VWD1#XZFFqgJQ-?Hz;KeR1 z5($KVj7N6*Y?`&51XQ$osT43~Z$^RBN)H0mXRQw*Po37W0MtAa`QyJZ)0LwCcB zr(LlM{M;IqMM1wA!lZ4S@{e!7td;6~60SB2Cq;fR6AK5Di+dr7r%`uXSCbW}6=+h5 zQjq3KvO4Uw+&1^zAyiU%3_TJg6rLzgMRNT-%narhNT5++iZS|iM99g9= z)<*Z2g$LT?!riQ<)_#ofO*>xtlU98EYoRdXv#CLbr6}^BxR{)5Qm3w|bTM2A-MlH* z9j{Vq6X-`ExG-uR8w(mZbCzh{RX>4xxbdph@a}SSYV9Z<;-|#d>M25@GWokWrMlt8 zW_#XyxI-58o)eChP#{hB{T+HoHj-vzW?Ox$+7joE;rE?~PGQ*6i*u#@XA+0lRlJ|B zE}Ub5Ftw1V7+=q?r$A5c9`T8ttZr610Z@MmvncoMTaBUhcPQ??mD!4(?4T{kdv3{r z{H_{u@>U85vKN8Kl15sE)@@5>i${3kq?E9?g%q|&ynKqk;ns`o_qjpSHwCp%3onQl z8mZMkoon1uGOUtXUhvpPyDs`1zWf!QPyI3fHWa66!4@fH2CSWA(^2LccO z(jzNcQ1D$h`Fyxhe(n)-ztC5-hUV&eDI2JikE|8$*`QdbdU2_q@$CL*k!1cpH}>1- zgHUIC{mps`Lb$|WqM*fq*~okcv7hW?@Q0fYb@kv+aIuc-c4oC9%Br2ag1fPDN(F1t zw-5IG%6c{bSW`TMnpyTGvaK;Qd8&`JD08bQo)B;UcE(^P`Q4LoaYt(!Vv#?NTD+ zCK#D?NybU2fL!%L5KXP*Qr%A|N-OO69^Gdre~8c>To(2Cuw;!C5}{Z8ato7JufCUu z7z`qD!xY|HV(0ag8)?|%MA+QEqZg=40iLa8%gSNkjhK$9jT}=ai)U|fvDjjA_Quc) zVV0QhBS4)wGgxE0U~=Ti6g^0Pbg$D;jh#qvbpwI-c=YYnSH=j$(TfSf5O#xJNt>$S z_=c~ANb#op+M@N9)&!bX%Q!MLw~r!5KZlobr?fy!bom}Z=gh2{slKuV^*c%5mjCo) z;AR+1kBo%fLvqX2K%r^K4HvaD%;Q~R=)VF@ABXmU;ioE^I9(^ zt7P-b&>4=z^|h$03%Kg}jkfGk+QKt35L4?a;&ywg)2gqr%@db=JMmiZB<}pro1Mdb zIYnYRQm$`MKh76i(KlNKGD9~4YU}1EzAG+OwcZCN#yb-js`!VvZWFL7*>MiyTWW^Mqy{+{ zEG;H2A%!oSWc^<~HW_TzS<&fSrJo$5qLjYETuilN4GR@>CCzXvh&XuMkHuGvpULCJ#6!J^ zgA#JPEWxQ_*FxIY`spERIF6*cy@Z?&n|x3P(k!}Vq|6t93>|P~!USB)b#qv0czX9* zL^Po)-|^F$^ROt*M?95|s%O+P+VEyXc}6aqQ8TB9&!w88v$2cO#=Y{>mp5(xG#w8@ zKL$5XDD0*cFXmNLI#27V0%dYO_>=q`%~vvq@(eY1%O?+1w%95B^?g;Etk*(FSt|pj z{E_js10bwb0U+%j*HDlA_~x$C-RSOi$5=r-`Ov6JBW7a}$+RQ-VBg{#4zzGcVr;U? z?gATXwg7huz%rx35K?G*0XB;^?_1FU3-+7SnJPM;*6o{3Ka{=HxzZ6KT^)zneTWu7 z=;Sxr%L#e=$T_*I@f{K&lfgyl{x0s`-PPh=0RjWVQL;1#4t2sgML_?UpOQlMb%rQ; z{StMSwCPe!V~v1+)>>o!fw)8KMG_@r)eyoWwy1HevX<-)z)`1GuqGnPte<~^xolOv zno6-@cvY|_GRaV~0@#DYEOqjNzL0F4I$4RgDtnut>==0ya}pbokI^Q^Jiv~@`LRe4JF;rnjBI9)s09EO)M>anTaxmmjWw)feP(OZeL!@9iS}NJ`Bw|4Q}VqaxJ=0yJ}*lQUSmQ=CytB zu)$Uz-0OxZi-iz{G%fo!zHAy0{K1Q$T7YHR8X@EBVS;B{WC8wlBv2-6MIuyQ)vIIfucN!YG+1}q_8#7<>F0;q_9}_uLae4Yke#^ zwwc4Xn_s#UN8x7KEZvnZY7)kiy8r>kwzP}*g>(GkDd~3t zKgOzq6&{3v;#DdD`+-)SwQIuT-qRkZ16^V?j9&|#z-ON0%|TKwQKW!^_aI&$=-1;% z$$I_vGw$4#OWDF7;pdm*1vEX*nXzGZd~i&_6UUYNvf2q|nLyVh5$8qZkO_A9lB?rV zvE$>^kxyY=;kLgZh-nR@E1X|%;Ofs-{$?9^OmDuFMr3p`;d*qkC8MPlDUVGz;%f2V zUvR7ySLPr&-0*x+Qk42hJhm?K$#2^rf!+23E8P*nzu6IGTN^#ffdIOe=2rSA!BuXz zrcRzNQ5MY3C!7dNQ+T&L+mPLG;Iv{6dtWSStX>{+{lotBjR*O=nP>5prb>`GPW4ic zDXn9Nx_jWc@Tca8hyD*r>1b^)(BSsXXuh}>i9_dtD>7JS5N7t7(A>yJ>>adrA}^nd@>-v7ENLlFH^WX*0pw zyMfq6HiDm%sxWjtL9MU3jzDk3>YMaaU+xh2?wutX+qvl+dw%_bAujl&>&Ly}CoZt| rni|69WT0vod4c(Zn*TctH+M^nyEldgX-frxNlHmk0fEZTRjB?86)5O# diff --git a/hw1/answers.tex b/hw1/answers.tex index fb88a9b..85357a5 100644 --- a/hw1/answers.tex +++ b/hw1/answers.tex @@ -23,38 +23,42 @@ \item 4: False (== for objects checks for reference equality) \item - 5: False (it is indeed implemented by default - i.e.~in Object, but - the default implementation checks reference equality only) + 5: False (it is indeed implemented by default - more precisely implemented + in Object - but the default implementation checks reference equality only) \item - 6: False (a child class of Tiger may include additional fields that + 6: False (a child class of \texttt{Tiger} may include additional fields that are mutable. However, all properties and behaviour accessible via a - reference of Tiger type is immutable) + reference of type \texttt{Tiger} type can be considered immutable) \item - 7: False (the class is not public) + 7: False (the class itself is not public) \item - 8: False (classes in the same package can read the name field) + 8: False (classes in the same package of \texttt{Tiger} can read the + \texttt{name} field) \item - 9: True (the constructor to implement must explicitly call Tiger's - constructor with super) + 9: True (the constructor to implement must explicitly call \texttt{Tiger}'s + constructor with \texttt{super}) \item - 10: False (the declared type is Number, the runtime type is Integer) + 10: False (the declared type is \texttt{Number}, the runtime type is + \texttt{Integer}) \end{itemize} \section{Exercise B} \begin{itemize} \item - 1: False (the only `collection' data structure based over an unboxed - primitive type is the array) + 1: False (the only ``collection'' data structure based over an unboxed + primitive type is the array -- however arrays are not \texttt{java.util} + collections) \item - 2: True (if the hashCode() return value changes after the mutation then the - implementation of hashMap is unable to recognize it was inserted previously) + 2: True (if the \texttt{hashCode()} return value changes after the mutation + then the implementation of hashMap is unable to recognize it was inserted + previously) \item 3: True \item 4: True \item - 5: False (finally blocks are always evaluated) + 5: False (\texttt{finally} blocks are always evaluated) \end{itemize} \section{Exercise C}