From 0fa930ae5681e68a2bbcab252298b3f0970e68c2 Mon Sep 17 00:00:00 2001 From: Claudio Maggioni Date: Thu, 17 Jun 2021 21:50:22 +0200 Subject: [PATCH] report --- report/Claudio_Maggioni_report.pdf | Bin 781758 -> 785730 bytes report/Claudio_Maggioni_report.tex | 51 ++++++++++------ report/references.bib | 90 +++++++++++++++++++++++++++++ 3 files changed, 124 insertions(+), 17 deletions(-) diff --git a/report/Claudio_Maggioni_report.pdf b/report/Claudio_Maggioni_report.pdf index e847ef0c1da9b34ae7e6b74e35d0ea9da0674aa1..7f3217c447ed55672b8e6f4a2d01448e0d17df96 100644 GIT binary patch delta 83774 zcmZs?V{|1<&^4Nz*tTt-*mfqiZCfX{lZkE2WMbQ%iEZ1~ect!3Z`~jF>mRkcy8BnH zUR}F(?e1A;8F*tsqf(ZTVq#4vtYznE?SxFVwlWTwKQ)V1{13 zDdO&IjEg7Ck)>;Oxu!833fk&6-3<`OG_3#j9`5m-c&efmr(zhu%1NSkH1b74DLSMG z&yDM*K1@v^y1ULJpclfO>^0badLp`4=t1gAr4t?x7y`fWn{gYMIk$QK=%)6ZBsmd=fVrFD!!DrPl&cUPckHSgE3j<((;V zmvdNv)*IU_+70&b7LMj_?yeRl4*xTAGPQ+gW8)=d&A`Y7Cre#})BtdBrLsX;064f) zGocs&96YJRP&EJ!-bPpGHWYB+{|2m42)hgt0Az1G#BctewOc=MjK*5}G${ZOn2`+r zpQGi%E)M{5{=ZIs*R2Eq$kqDa4m}GvFc}T2b(R&}gb~2a^FIeL0bJY}q9w3&AYB8u z93ISozkhZdOsJKU!YH4Z6m#<2TN+nK@`RcKNHclt9S-EkZSKyWLnzl*>dzJCW!VQY zPVmG2wI6Sw5c*-TJbm#+UEV&P>@3PobVEwVk?qAZcc)1K2Z{Gx!ss5Q%&r?jjJ5_# zx==>a*M@n@dlo8kaJDRo-KZ8Spj^tM2};;T%KIO7Ov7z-?o?+_)QPP4CULuWSL_RT z;#Np#F)3l~+Z}W>9<`HT)Y3g|KGkL(AS65M?1?6 zcOuv}6hYTtFghCO$1+YsX?zFrcHD|Tn{zH7`RiBP0&L{)N5vui`DkB- z&`>*J+l=>c!s=#zGMOx>Z^R8NB55|5pW&b6BFC*^L_AJFsEvKe_TI@T9`0603x}e* zA(Peq7Bts-Tn={-1m!Q?OFgfrkk~C^DmzwBTG}!?fgo88bbt<6v%{hhRRu$S*c7J? z8JW$8m-=J=wuC$G&>B&WIIz{9#PBKAErvi_5}oOb6E!g6l$w^%iBr-6e*FkC$K+Lf zAvG;uLMYtVq_!grEg0Q~?Afj~WQ4xoX22igg^h{v*l%#UATDjOxFgQ^`0hAu+!RX19jU zJzDnVD~6fo82y6rTW@9tGQC=w%$LX!O=c%%&`R^lJ1KVyPL?t_P2(bD2dc-cjLuSc z7FxbE$J;{P)r?2x{J>Ae_qrCF$uJmr*)ivf&Ob*Ypfl(BrN*?oj`zf&H)zML8A7l?ry*6nSdufzjZ#m4L5mVbYe8OBlY8(dyu-tE}T>js3FU6yLs?@yw^tJ z<3xbW5vlAt-au~J34&fXQ zen3DBix4{^m1n^E)~a+-Zz}=$3nu6McUZ;`Q*b^MAUiyZf`y}%yEQ307cWo7Ehc~# zG_7mrwmyROIb&4M@o8+89r7M%E|8U6)}~>%T3y;Ci}gcJrEW5l95>1R;_EFRK}`NP z7;2i>^a8O-@Mdi1vCwl!XST~x)*d5kKNLm^T(}gQY`n!>v5SJwAf**PNR>5SsVWQE zlN5;qc$8IE-WGL^~c5A}_eFx!?$*RkKIqTab zV%|Rhmf~TJ6=Y0rmURPUdU-9x(~b>_hQokStC{s>s}rFj8WA+#wT1}W&E<{O#Dh+s z3+)X}B9=f_b%nhG{|OO>lO$faXx&U=Y+DvQDQ*Bwe+!-hH5w9Toy0?19uiCrV$wx5 zlR*GP@;1YE&HY(2W(blZFo6Nc&4IHc%*lfR`XM;*IUUDj>RQ!6Nrqsp9LPsve-K1yjQM%MD8q%i3h8ckuy%uayQ$av z^S8n#PNqWlMQ|Yw(bY3~oD)_>aU>3LiG6EdAfdy9QCOkGl}(;^V5`HC1ibs~wEKiN ztW`TwAVgyh=91<0=7hZt)Z0Q6Twnq>QXCn>gK^sU*tPq*Lbe8&DsA{c)<_g#=(-gu z>`}XpH+xV7`Hi~;v9TdYi7WS#LWW8)I@CR;+kyPvU#YIxpevf0S2hDncb&PiQhCt~ zyN+Kc>8Vf^@n|L(!?*Wvc--aEshpV+YiyDy2mf^8u9-;LqezSw}LSf4W^&?5&PF2_{P~X2{ zI}BQ()@;todxz+_TzvTdO2rtJNdMS7C%C;Lcw@s0@m1`O8re_)aXCT0dSshXtN1hqzINgilz)6DWW;k~$EUT)P`tJRhd{AM0ZTI5 zy+VdWo3Hc0;dM^805`9zc}%TiRSx;augmkCAz-2^b1RGg_NW%N&0R-pIpbbV4ebn5 z;`PZL?=(V9Eo9qfsA5HheR{G_^-mRuzbq!;s>wQL&nD*as!KzL@p7g z=uN9G#{m;uYe0-Mw>G zMag9w6*m@;3g_pup{)N;O@y2Vxbb%Z)2~{lDZfk2mJjcgu}``u^UHAe`TAoU8;#P$oVwSyD|sK1xeu~x zIpZz8x!x@@i0unQ&W-nevs`9#3;J0e_<~1VHK74erd1-)a{V|U(5cFy(s~)nfA-(2 zc*d9C!*dUbw1H4vY#s^x;k$c-&D;CrAgIaB!KaG?MtG@%=wjyj({n+2wWVyQ$i@41 zjK^Q(@r!RpKnmmX-wM^`l(XkZ#2@NOuhJ$Q7U;oPmit_!AJQau{Wo=)O!up< z{b86Aytw&?v8Eac_ma)^svda<%c--IdmNpm$QU<^2aNZ+=0aTrL27W=3bbm;%Z-HT zuTj4|fVxK)ue01KZY)94uw`v;6d8YcKu;PVMXj`p*M1L|pN;#c?#hdncp}K`rz=mVx&J2#z5wR=XdM5_?Cyx}#)<9CqOE3ofCU#XZjXs6s{p;D zRI1KnI@t88^%I$q@aCrsTNTXE%?4?(_L`3=t{r+`}LKz3dK z(p@~_5ej?(9-&?$rlVFbyXV)d`@6rOV|iKx7UDXK_6dwZoI~L|SMUYr*yapyM`C^m zQk&)XVqmC$dno zbs=-MgC%h%O>UNo;TMX=R=zd@U*V4z7E1-oP*cNG1*lQWn$rgZn%}>z4V1G$vz@c> z793X7UpC=mzu?|Wu-MJBpT?5KLIQwHq0(f&e~(LCW)|Ll&d<7LWpGe0C(a7j$ncm& zQSgwJK)%K(VagcLNUaV2EDuyp5?^}@=6WgX3?Oab3zEQ9RROW!^VQ4?G3!fJNra&Z1`c6x|ZCn_-S2uRIYwb{8iJ>5-(5#i35o zW!PA>h9tei^m|Ah2HgnU=O&nEDn!>|g|CsoM_Qoj5b{DbXpQo-hl6?OTW)lEVono1 zb&HWnzMMTsNAR=~FR65pL~jVApL3K^60ri%1^6>`nBIy6f&+G#*5*O0H1R?8K~k5< z$`4yaOZ3U@q^B>KP2jY;mL{FOXP@WdkS`U+=)c9}nq#brw}EeTA3xWp{&gIgN1&(8 zSXzv{2h#evuLN03LP<~l#Bkq$3*pO*$%$i_hbwc4_5I`BC883{$0kBG)&%`2^T@yF z1NbB@6eN0bt)5GCAwvMUY6-k2+J@RH&606R&oT!8wRoAj@*-*mEn0_*X>h6 zQfz4!D`~WI;w6TMPf@9*fovt1LPCd2jAlaHPWmDJNuzKFLPEukzCZ>}}+YT+Q_M+8(R>^Jf`W%5JTf>>fEI8Y=A1@y} z>=c)0RF8{F?(CZQdB1D{!aMhwH$GqJyIy+&ydN{XWP4)wNGH>_1O={AfHJY(8HXmQ z6{lB4YXKY5UcCYzZf8yJ-X!5BZJ=#L1HJgeoiz|No^>g?jOuUaLT9f(?uCOPqu$#a zo1=UiC=M3+-y3FBYews}wPAq`c^1{@S?2h)>on_Zhbzrm%Y<3_tBp3L&t~gz*ZY4> zO69F`b~%+(+>LUstg~uZ6q$w_1dT@ech=r_u7toxB2$|@Y740G_|A{5NwOXqRd4%= zTqZ$n<1$dP==anN9Jtm?UeEL@ewknhXjk!c@y%GN*8MWNjG1tCbZ$*nRnkDFISUe* z;sAB_=u-uQ^|j9{x-QN&aCQPboHE(R4$Fa^nTB7f{P`lVF4ZEiv;n$BbOC=moLW84 zvl|-ATUW@m8suqTLi^dTG2rtqf1gfZESZ8%eCJ`pjqOe)^hSd9h25`Mku~w(jsxqC zzaD*2QTul$&>)9Aeh4>fSrY1=8s^(`F0mh~LbbG5k&rOaKBxXJxGvVdc3Jwhl2fsy zq2HBlcz}qtV$APJB@3~deFpVi;_?XV-w!mvrmQ#APXcb$u*SSF2HLMvoH8i$>y>~i z864RZ1X`z^P31OIMgV9YNjBnEa;HiiIVoKRG^KWfO%24N)nW#=BwP(chrT$m=S0Uk zNmZDhqBY-b!C)>)5Gi2@i0yb3aC@}(h`q4l9mZo|q5kjdE&PrO=!c@j41dGCh>^P> z`*D|fSTMu^z035-`Ds?qV&ua+41EbzVh$?1>zvkLo+y*(g z{}z`VNVK9FlGtWFZd~=YJ-LC}`C=faCnlcwEvY>#}ENlwr zH%JyiITN0rU}C1=EEVtl?gictD7EO>M)P`J2jwK?NT2bXZQl$ejRn?JDcnf0?}}z; z$N5xM&oJ*BcXX$po%~4L@=9lA4N}IG2)}#vb{C)NKX9Z`IXm(R2P_FW_I6b_NzY;O z{EpBo1q{sr9OR^x%QqA^5&)1q4!nJM-H;^)w9ra08JKkTO%TnEw@5?0I(8VJ-lS)? zEkJz4gVs28X9q9Meuo|W1Atl}3OT1=T9G_{UwTi4BQfby29mM z^ka5}pw3NQx0q%LkGJk&rP&I*h6Z;PhetxX=dtshM_n}Yv^l|>6~eR4a?!e7q+BP| zvH<)uUuM?Vkqqk}14q1wY@WT3?OKQ6Oaw37GmL9%(+h+802|Rh!t?||@Tob4$Yj}g zaPzgqv=g!c!%evO<0VKu@xlM3rPhK1h_g;Y1jXlb%AU^3azbk7yO~~`?QJurGe{sV zbaN(`bl>Ge@%3enMoZq;YV}2IH=h>QsG`73ruvR8D8h)=CPhpURMs0bG|meC6A6!N z{l4tdl3k20i?b5^1R^&VPS-f7MJK+}$_aXcQp_~4p>)=_y`Q2QENFcFX^iIGnXVZ(4-7P) zR6Kc?C4fWeK|n#}^~Y)dz9_^n!Sb`exZE^=FWJK?x?z>OB-Rm}*44|@} zc$p6^kq6vkV}h(x&!@Nq(Q}Zu8|i-3qH!gF*U>QG&aw93DSTHQ%S6bSpm+2^2TIb4 zx>dgJkQ(C?+%^{uRN&6yiT6fTX~E>5X$}E5`RhEu5?lB?NBqb|`i6s2S+#Yi&%?P9 z;_dNH>5qIf#Ot!u5DChBlqKfF1D?Mso=Lvy!y{c--$4|F9_8d>m*8mf3|Ph3n35?~ z!?H|%F$gGBD(-nRF$w3`J*hqoJvC?$HDCg%V!zAW9eKH^rybke*&it~)}*(k6ntHV zWDY5oTs3ai1y=Jn0ZiFQ+jH)ljYHk6M?B6&HaYK)U#Y`b#SpZk$ z?y9dT^dO$UcKoU*Ft^Y{Z_})R3qd!Ge9&sv7o`a&wD19?$a)!3(5jE+p@U8rOe#xd zK}zV zbp7;Fbx{eVzm@U*oE&(xBM0vK>U%_fDTdycln_aTM;bD&MqA#b`Wj2Zht&RTz+j%L zQVyO5reojVp*Fvpw~yyw;1?aUh-`TaEV+(WSRrAr&FQ=*IsuYx^lt1_%ts* zlGd=kAS)?4g|nXQ^ihn~d_Gu8>#nZAWuJ+H?8I%$#5KuFiFMU^8D)LJ2}A(}qzWRd z)-#7}n+pBdp4#59+QV+r)LhR%iYz~7P=-`CN;+I1IC210A4_fW1o?U!JPr3QvG?o z-_7TLXv1ifwS<~sN=FRaNuyxP=tLldxRPb^AgBmsE~pwZl_J<-8sxR(29%G$Nzb#S z=;j=C$C@a!qNmwY`hw;K6U^EzMfd}4F!ZWKdFB%OBKI+p=!j^RJ_qU?t1#we`h7=eA_-AZ&jCntoqepr;j&X#{JG{>{BJPCr}ErrazQY9#fl z*J#=s%4pijb&jYxWQ~<>Z}x= zCc54Ep!cPl+z*FON?xAf`l4)(VV=h3f;LPiUBn@JWF0fC>+PVqd-vO~K}mEUQu=j4 zmAF`UIIcpVw~(QG*wIA~&tTP0zNBfX8~ZeUcRGwgtSpfv5T7~62Jk`(=Qwa6IJ>+iZ9SYjK5zimkZ7+m+0M4stYeFH+bvDTuQE)fo=w5vl9 zQ2);3UtI%7j$PNgS$=rC4%2(g2|P7s|g;sFd22zc-& zhptsiXPbRzc@f=wHT%Ob9ucAj)ROk6KX~Hja$vYt`#! zlZ^WP57fU?AR$Nk>pgj?dD*CG6Z;Nlj(O{ewH}_A*Jg@5L%b`DDAV#sGkF2Q*hV{0ree^f7I=th*Po4%11Ef-TM6uWP8K$pnMn$WuIDEoIe3!nn0G5gX^4px=~Ua z#vc-y0k~@k{>r~@^y~UDm*t!F>l`KEa0`5VqBLG>A;2gY?{=W_euibY}YukIaW8+2j?y|#M$ji6% zD%*Oj7t%DLbbru>m5q1qG@)UvL)fzW3F50IKf1E@PBO45Am%a8lfd=hW`<0sb-P5( zbclk;K>b{SKqaU9RTt0HxchIeqFZV=QMtDcIwAcEpzimZv+eobk`&U|d&q!DAW{S4`k{`p z`K*I0E5aP*+(l`rPr`WrKLoKa%~b4=qSuFw5oTgkW!aJJpr8XV<6|Bj2!UJ=QLf<5 z0qI7YD~w`8Mv>e0QB&lSqKk?t94?#ug0CfY2)G46#*z0XY$9y!*Szg02-zXGp%OvwSBe~n+I8EocYlQs3M3~HF$2i z@ys7HSyhzyn8je?&_*&j@Rj>#mM9FpEOmyfT@+B69`p+ABo^y^kh6+_#4We7=oP+Y zEe=>rrx2^*{^`SmU}Bmg{#^|;WdyZ?SRY8X;J!Ujmcu49hC_Ej=6jd>04Cys{LJ`o zRI@ClZ+DUEgWK2UQjuAjUjnOXRZvNWgTdchJ*y)=g?E^vaCZVm5?J!2uOtP;+FAeq zRyI2aJ1Hya|1`A)1pdE%4L3V0>Hm(5XG{P&s2guQeSPe5%cy9*Zo84^SGfG)(v$Z% zVM<1u+gM`&t!&y*COH=NYQxbv1ZJP)rhV()%V8-wJXB#F4knXlto7{|weRlpHa8%! zBwSktE1Z5DyGo@<=D{?e?e&35*WUR4SrW5cwu{GSVNi^gXk?_{;#;=}T|a@sqO-COQO|l0 z&6Mz4o{9le$2#W{hSP82h8@Lkx^b;ow^XBE)@$kk*DW@g7Q*(rc|vz(&(4w{Dhuc1 z7+yygLd&Y2w-Az8TdPEm)JCO}e=-5%HxR6GabF2aWDjaCoRiCn$Al-3uY^fKHWp7t z7NtVnk6Cm`soK^Dc~mC3aI9UhNSVR$5mna9{mmKw2@cSZ#S&qHL&M@mRJVx|6+eIT ztYH5Q>i6>Lw!1)^)<7@)wcNr4I*aK!)3A%B-~PAUQialF`GR05yJE59Z^es>I?jVSDTRskV^6IYm79+NH-7`uwv~-o344e7dJyD{(bsCo zZZo-hX8BwV)CSQ9-X1c0U|N}kjA4?tzitd|Oh_V=-QMTl#$n4XpA@0r1Ac^sUK7<$O4@i+SJ0@HsZ9QNC6~{>uAT#F=1XNSHDh37Qtii? zS-nZ-G8F7b$I7D&)8qgaX#Nw{`Lf1*Wv4{`@czB82)WW;wk!n9RK|4hK(?+>JO}*5F`f=9-OV!8&$87{?K-6Ijcf7VoN^pW+dZh`qU_yTzj%<$Cs8$Cq!Q|6YnT=<~6)3fyl6cpr!hhkyqEo0GpO{MFR zb2Q|HQCW7<>;>8K>7`roX)XOGpq<|EG9XDXu=67cUdetlK)iLMzDeQ-_pI)86*s<_ zu-$>t^BE@CS_JEB4dm3WD*j||&BX?*`i*CuLv&vk*-@hlN*}ia55lk^!?dh*`}IQ| z1`#)SY;f*l+M)w9fwu60aF}G010HpgIyXBdR}2LW}tIW*|{hhawKE zf!{05b_*1hL5r-H{iDQwCY^$)ihGBv~mI2mL$V@c1&;&PE8-8}D zWP4ySSh1Rh$17-a$JPcxuer~V)w-BH2yz^=SD2yLNoY@^K!d*>u z!@nthLECR9`Y!alfy)JC?P3p}pb2*x?^)x-N?umtcuQ=sT9ek&Rim|;0&7Ftv~Dy> zX7eXDJlfp|)efBjOK0r2I&UUf88!DHSHWqs3)g#}xCuDg6l~{IHN_-|4A@JC)RIH| zX?YE`;ef2!fUKg(RuntZEb1AS@ULU20z6-2XX+IHvJi7SHk9&wg9S21*U=k<-T?8n4wRpfCfc^;8tgk3E`A?L|URfKD42*PwuUG6vOd#$VoSJ|Tr`m+ysz4He(DfQit@ zEuothCIiJ9jeL$Q*_5S#9N9USRubtVt|Qga!42@=5I-i$D|3p6Q|N*Ce~Ior^aQ5b zTY_2?%g$^GN`saH}ey>~og%&nP#l zBE0*f+Coj~hjC&FVUb8(eK`Z4>s=k|+%O%k<(~@p6V>0_ChXKi)oKcnUu#!YVHUx5 zor<%qc^CFzmN@c_vC)Idz+HV8+MUzUm0?F&!Q5@W&=(l$_Hd>2bH8jCgJ~%nAF%#T zy|>ME%fV!5qaMjhSA1?zX_{5JMP9{z>dnx^#^n+5iwi!!OTa0+FbzknHFH{FOo(7D z8PFK+mar&zIU^%_jG?ssj*~Q1`3-bSJ@aU7O`*75GH1W@PeW)`1|ztLsQ+`G1jkDF zi)%J~-6EpGKPwA)1@SM=`)t?+3_{zEOJ$aVh#;PD_TyC)M))Ksi;?twLsz_dBBF*-a)7~E};pbN1qa8Lh z5HQaVk_7X%A5NjtF5NC{VV@v^s&;Elmbv=0o2jm^00z*^yXOZB>;rkB{RHg6*idOQ zk@D8o_6JPQUAX4|1?m1Lqr_-c4+kHH0>N-++Bb8<3&&?c6sk3FR{jn8K>TYefys!? zELrl*K(Er)zi_X=!TL0?E`Yj$~Urz6@A@5 zqZZcR?CbfIPZBoQUkqPSD+=~Voqrw;pXXQ?s-R&w2n61_-kUtGJNTYIolScN z__Uw(82t8Hk8OOIRIEXhbNV_FO679!c@AtoFYPwSyX3kY=-b!y@qY>!$!MIMUi~8* zX$M?E2Fq^^g@&`rage^xTxA8KgY0sciRPZ3?p65jm_}N#gzUMsrMQ*L-CqQLPiKCF z7$8kIXrY07ly+~;-g3Idr*yFEO* znZk5ks!Iw*guLXofUWQY9mEwwq9oOoN`{7@Lgdww6J{yzgcAEZ`!UskrB+EC)uO=-f@N z2vxjq>hBDRYLjp^Ivu&X1bPsya)Z~^lK22yAcr)I{bmr0DC)dU^RpgOmWT_1>bkl3 z3Z&=Rf;vPK_JbCQG<1vPE-sv^xI&;bl>ORY=mC?0GpQ5+4?jph<_)6-t_cf9_R#=Z z{+T7oT+Q85&ixT-*yCJ0c=-LqyE=v65_z=-j||70wqdY==R9!+4}!lX$8+$o>IhvDgh_6%xcPRQyx*DL8sz^Fjsj~F{C7i3CUQDId&9JZ zZH2s~Frj5%X1lL2;)Kql609Eo_jj|VPJ*ZQ5^FNOkjmU-ef-f*>4_-w^3l^SuR9yo!I7H1?tLP^3&+R)9>-P00STyUeUKuhXoACE2y%h`#`^^B z(*b+J)=v?6EViIV!5nLp<$ew2o-%N>Al)?n8GY(!5y0EN9jzwHiiDYrIdC_hbRRsp z4^|-2V#BJisRG7io3+EMkJ?Jje$H3C#Qx4SMp0E}Aa3^l2rfl7G@T|@Ht6q&&-cMN zfZVM(KMoZ5$ZRH@J8;Pat;@mDNe_cfBQmhKNnnHjVk zEp-6=uQo7$Hcna6KkWJu)WrC?ltHVMs5pSSI@ucPk`&%j2yXd;Bz97;YB)#*xa3k5 z&3|Pv_ef#^N5cb_)##C!zI~Y5!jUkJ&AM^-5Usj86(A1ml1Yq`EpIcDq#nGWS%o)C z$c6~!?(4K*RV8Q`{=XGwVCNUKw%?yU|5ZyU>r{x@!!UMuH7-M73x|x_3frBTZ?(>w-AwIQCyuON3&ypL5C;*0I$Bs@ zxK8r$(jYqYecL<4y*IGF>ddX`K7GX&%GSLqxEooadg>xM)t_U_h?EK?px&e zUlleIFnDFjf3D=IJ|BUqdj&f9<2D&I$H{~^LLm6WG(#eJN?kdDA4u3Lteo6X5^k%o zEiJpof|1!tTb%%RYn5NEEr3$Qh!RRCfL_+nBrhL%p`5Ho)bpO*e{%bS&!w8SiIUIk z7|cybu=MJF1Fa3m%_IscPT7y5^WY$84ox=~Q&jJfcRKylS<};YSZ#+i^;|)RR!Ve; zBoK=3bg3gTDr8*WuKt-Nc5nDDBl`C6bt}dTQMU1@7oaCU#EGfi=*6A+C{q}&XHZPd zJdW>WhN%EKo4B2sh((KDA-a_f>DB!P2`v6tdVEwSoj78vOl^sq{0R1eYw$Oiw^@rL zLth3@P~~m#nKsyN)!nCN5IZn$puh|q2Xqkx73Z2=76O%PwHO=SZcsbE8;cYGKgzpQ zP94e8mp~46uMp{j!55Jt0i#z+i?MOgo}qK|7*4#Oo=UFg<`MbEioj~VN?W`3gVv8= zgO=K=lv-pjuzL5IR%_UP=5c+#Ps_}X>vHvR%97I1rHZVq-vav5doFZ7Ifcd z2YK)xr>XMNh(GI4+5e7Kj7K)YtBN~B*UvrD?%hf3wtBzUnRTx?6NkRfo$3-Fa!L0N zIh3iFPa~z-)BXH$Ff_&n*?%Gg&yj9OG#yua0T4m5WbX)>MGaBiS__JXsrQ}R%qtya^?sP|7^MMs^WNj1lk=TH>K`SHHbFVrrp^)hZk*ox790Iu1M`%$XH|jn&+5 z?VBT)JO&Tf_@*C(B~6gz;@DY)U?*7ip7R3x_?-HRAld%;HR{sZ=RcKt13F-0y+h2w z?}d^Ay24GJUa?21g~}Uy^SHtx{#ci%uFSsPPHTOWuJ%rUy^+1#sV*|t2~gVrEc*MJ|;ex{(!Nh|sm zcKZv#(brn(Uo!$zp1U{(Q4?8v`g4&#pIfjo+vLCJlI>#?MHh0poL^Cs47S?hOEl3E z-l%MLI5cq5C46LV*!-K+y*eC;MRxpc|W@v{R1%w zS00?~hKGpH#M@?Jk&HWyANluRe(NthOH0(J4DbA@ic~v077}2mQII)&Bl^ zwYmMBGRdg%CFk(v^1T0zv*Kq^V}t2q*(=td_8F#xotheu`(V8smAI6f`*JMK4tcnX z4-=*ice;#fyYO;ODtY;ZLC&dQ#KbGZKY;`!5Wd zmHa*T`|DjD_)J*H;rgcXjEo|qMM3mt{{?AI$gD$rpaIBG3jH;OmXXM9d|Fo>Wx`fk z#=b9$AD-}XR~y@XjY#UzKOwsv^)fB?g++MJI0gbA1w!i@>W{MdVUOB+N-8ZWUVaQA zSCbG(*tjEG{?&a(;L)*cUVzr8`~gq%aM)}X+7LxJXkYQefpn?HZmdWVr0sY9JVL1Z zslzZ^q=JqqImL!=#R|@vDiHO0VNTWO*Bd>+`e0P^w#%A1{;D`Hj(?R_qe04T6vk0{ zzym^>)BkvG#zWQ$5gIAxq1fCx+*5VD4Y3S&nh{Jr_rzy9^vD$1sSdruCD_5A-pa?y z!qQv}V4x6#UW$}0T`9?uat`E;-2?P=TJ|mvG9vH5IBiqvob{d|_AB^tvIx`DGR(Iv zAu!BJIW|pr%NwLZy23+K<205Ib%`y^8-s{*@`!u;%`k)zmiZ+$FnAQMpZX-fJv(J< zWU5({NWBzyP#XMxCHitVCnUX9J18oSpd-hC(mLidII$%yU^2kEgf$Fte&)DAIWUDV z%4*qkgDJ6VB#Va-m9M#q3;>R+LWm-y4zT(v%_|(&oxEw&RMro-2vKVi75^5gzJTUo z@$wmLgIRBOHdf5$IeI;G|e!!AGf) z%y?m>U1uy0$;no(;l}>slgf;p7Xp~xF&oKn6+|SXVA}MU2r7{vxQ6GeoEUjLvZcNV zf@FZ1lI~~GFqjN&e>4XB={jsDYC-zQY&P*?U@4fj)&FQ^2VlW1a<4i^*u}<-z40y; zg45rxsTbgIG8&lCNx@qk-y?aH`W|;vi+$#Br{>!(EgOEX6sXTKTAk+EF{!yy83%Kj zpkk?`Tn=$knD*jV08}pkaJ1%t7f<+iA3{YMOVQDxSJ-j?!hEhH2IG3%TM#;!D7NJn zgJFu2Z+dj(O|Bk+k`qs4sSB=pBwL=jvpB6nNm)akKx>ZfdM>sf>1$lBjWG^|7t_C0 z5POeXrg+i*A0C+_wGmi1&$=m+-2+W;O4!-$22?;n2n^22%oGdpF{IU3p~Oy9x3&{O zf z>E%Cxkc9J|CgRGKk}sK<|>hO zJ<0#2dB*Tw@&J>uRKu~Eozn6@Dq z{Vx&S9wLkAr*UP%fq^7IsK@{?PuV}{v#0JF8ILxL9x}=91~;1~eF3l~Y0Lo34p`d( zKjMdZ2goWk3`ca9Gh0Fq1lk2KM@^3kk4K!=Zt=G23E>k%L|u(WtGzbOAr)025kNbb z|K;k03(a>j^^Es)FUFKyfaxNcPHF4z z7>eZHo+e8(Fglos*@#8vXDzxBs}7#p2AR&~QAnm-eBX6)3b$PFN90zX_$TK=5n$G# zxP>ZDUP<@0v9P4B`WwXrn+yEN-t`T6 ztH_fGcKZuq`|11h;CcjP_z9_3@}qK6{?>_f&R_iYIJakBbJt<{>O#~OWslv8n^}H| zOYgR8b?XCJ?+wyDgDD)GG=ne~+yEJ8mTq;1H2mie?Dqr zw*L46FNOv|$Q8JtidN;v>?Y+qPyB)0l?}fbwV8>-+Y_I+piHy4)Pjazj(XTDE$8eA|4k zD{^uRMm51iJM5${HOlrJjq6!}$#yy&NUN=TafJg}F+MbKE={XkT#;L=-=UY6oOzyP zieJT#hKT$;;nUaNe1zL?SK?$0DOfwrb9dl$iuuK{$YiY*5{HRCM#s`*ptCmU-Ez^=Ky1accb9xEx9f%`p9##Ts)xu!AuOXJG-NYu-b#LZtsPt+Wu6yX=3ES&E@mAvtX&GudsLXP$iC54G&c$?<% zQIZy!if%pcY`d;l`I20vIC4GMOaJ`)b0d*Gvh3g%TmD4H+7T7z=76n40(tbk(-+p| z3zmMQwC>0g5|US%F9>EU8X-+0>R@hgQROdRJ6WI5CRXS1dmI-e5kY+1Cb1YT$vIeq zhS_ziI19fz0s&HbW6?*zrsQ$mhQ}(&gyWbhkxT>S*k)ID&kQ0e6aTEP6Vs84Mz$Hb| zH!wxrRCFF6QyC;>?f;63l7dqPNiegh?GApC`M+G%+#J0>PHKIBa50b+Q_{xp1bD9s zn)@Vajf<;9h^8E)u&hTKai8vAvuyv3B@PTo7+~G-Kl>zUAtou<2Nkb{Gx)J9lf$H}AodWistqv5VD?=E6mnzn{! z(C@tu+#c)eN9=Gg1DQ++PTGo!E`2UN(L#55W5Vd9-wfY=z%jlu#i^#5p-boV6B(HK za`W-uRPGizH+ppDT{`HUkL3`cbj2vem)5q@99Q_zP42*T$hz+WIZODnXSu8l19`z% z1^d?feX7*n&A8(&-HCa|k-y@lDf}aU>a}~?$<#5Ioj5t`qY{|@Vd+)4B$Ts2owa?OyKLyV1wy!Pz_a>ooQu39nB+7n|cnAXu056Qrqz%dO_6rvc0a%k!mA zUN$4tKbMD5mgoFwZyEMHC>hAmo%TupPF5}8eQrx%tbNiP1AW4Nn>U>FxqjAiOUI&2 zZ=&Q?d7K>2(7qmFZq)xjY`t@EX2H8H9NV@vaq@wr$(E zbIz&n-mmKXs=9aeAHBP)x@zz0XFY2@i?9A{wO07>RLVa6MCifhuWKHu?9+IsFW