From 38ca0026878fc45b4d686821fb394e3b43054037 Mon Sep 17 00:00:00 2001 From: Claudio Maggioni Date: Mon, 1 May 2023 14:35:01 +0200 Subject: [PATCH] report done --- report.pdf | Bin 370420 -> 372084 bytes report.tex | 56 ++++++++++++++++++++++++++++++++++++++++++++--------- 2 files changed, 47 insertions(+), 9 deletions(-) diff --git a/report.pdf b/report.pdf index fa989781dfbb5552dbacbb58c4b5d95d317bccd9..7c74fe852fe835ce62344b6fc2225470de8c8106 100644 GIT binary patch delta 47080 zcmV)KK)S#5%@*|97O*xd12;7`mjPo1D1Yr+TXWpD6@J&RU_6~Ecg9N-BtVePxQ&~! z6L;E46D!Swo#{|q?25@QxhA=~Ow<3~b8x^5R#Yslq*d+igG4Nd%fYz=AK^O-$9KLt z^0%IUIX-&!I+PA$ULr)`9M2sQc~KHNQgSZ{W9NA0ymLd3Po_fn?$^t-t|vbq|9|z_ z>nO2$2~Wrv#?aBUM!aCACu5`u_tqnCkb=S>v9r8nTE58U{T`vv24dn zi`irvM$*k!>!n($!gST7bc+F+B8T~2;wKCTnFay(qDVj?^x{a;ScW2?=6E6{OfQ&g z$Z1L8!%>(Iof&IM$?M59h`C!9lYc35mH9EJXLCBJY-ybYv5R9vrEoJ~0q_u;)v6x$ z7SP-DOy_0Q^~}pc%?!(}W~F#3R8R=_S(FERw$N7lMA8-oY3rxhKN__}MoDW^j?X zxu<|(5*P+lwsK9E%S$3*t$%r{Dp=G?uK_DlLtlDQgE?iW2SjA9`vbSJOWjqY7GZnM zcr0W_RBEjmR8qfYdV)PKr`NpJteQ&U1u?T3mM#}%l{cp=U~J5gj1i>-o#egU?yi(9 z@I4lHR(FE5U7Cr9c10qOnbEh{cVQl*I^8?1EAX5tG{5b)Lk*%KP=7V>O-c`=A(}BP z4#B0wHfI*4*J&7-QV>w}v6e(4S`)xxzFMhS4vMa2pF}{@QY}#NVIHb!+HTfDQ=9YJT9&&l_CzVCo_;6Er; z3umk52lUI*AIcUdOnGv~}K1MIhX> zGN0XH9^WjA*=ucU^jaa#4AvT>8V6V6;!oN^4GDp_?|tEu#b|3W?{7h%S)_J(Pj~J8 z6DW?VcI|zxd&5fDtw-2Jm4Z0(!l>u(X;q%rI}3PQcpRopI)5MZ=DSxHnOdWjeK{IO zxeuvRD7Lh_Fd?i0spgf^ArPE1cz@usHhTPB&aJQsF=2DE%rg_iMjSy%E}vYmMRg!x zUGl2VjnNEg+fY4A8W)KpD)NSE&cT_C%>`*1>%4tl%+$r$EMedUJwd>SbZJ&w(lkE# zPvD^R!X&cY=zkk%6QCCcE?iO>T=qI$kXH(P!!)Qb%3=zMM57}dy;B#B0=j0@pwV%J zBA)4!7Dd@H6@Hh+*g`{)ZOo#6sV1u!St<*=W@ynm_LD8Zkl+r&f%~v(M%+gbcu6eU z;lBENUi?iJV}8TTz|mCNe|iS1Mms{6jSRp>wL^m3!hgYHSjQsb=Bdu;fXjtCHxdNh z54IDB*1>Ow5UNOZCOsQb^|Gq34Xk4cF(h6-@AbaVF_iapeRehRFgqD(XC4f4pMERz zhq0N2$3-U<82ZOT)jGRL*E+`;O=%>96?DBugL{-vaEB-H7E5NM!640^atYdw<<%N% zDPzV)SAR2fs_(pxmQDa%x!5iOWm1Asi~Eu2sI{$SB?uAz z8E;FDaaco+F#})rvbn2!_3y>K-fS{0_%B}U%*ED;zy0UGzW?#N<5v$!=5N2VV{!P3V%-q(mIRpRQN8*%)`eM9(f^4wmfinYkIF7 zF$m9>UHGQl;a1A6yWEeRH09f-!h_>$ECv6*9NVjyMcBOIdr5z6{#B~kRK+%I_B)CB z=yH<8<2>A2j<~a^tpNI;v5Cimd^C279m&VbWNOfn^&oMnZ<@CldynG1D27G*1Apum zIu#n)%+J>znJV28!erkX}HhAn-q$e5{hu``{k0Ja!+hk_g<}_{Ek{U%8BI)^2 zY#o9hl;t{Qx%weV1o0^vq9q!Z0Dpd0s@^P{nttRHhG)K5OzBala|1tzGV~(Gt#CoG z%an`2ows26R$Ps}sK;Nf$1Y&Z9!o>b!7-ch!*+1-vTr;F^pBo_Ls1StrNJ4}C7tzZ zY{t~}NRGz+IShzu(h^l02q(+m`-~$Sv4uvdI-+%4HA;~gr#xXjU#9rKU;_5N)Hsfp@nVirx zihTE&Z~~ZVa9~aq^dfR`85f!XP}zP-f#r3jvT_C5VBC{44PIKBsSDx>xy``6PyZZp?6LU8`zP)`x{`$hW3y^{>YjY{vaUBP^|DQb>3{4RIFAPRe1MvI zWSgBWTDU5((kQrooLrjS4}pur4P{mq`g^S>*O|heF$6wpSK{-6s-yh}*#ks#RHp+_t(b6crY9{NCLVz&dr2;#CCGa!x%7VUz=ek+%q= z?7ruRcFTN~)9nQ_mA*O&PjeYKpI_2JKeW}y)`*wn4MJRWfmNUP>z5lfdKfc22{9j9fb`7d*QZ|~A(>A0FhigLG#cHFuN$p+bKb<8zr2a%`{$=OKYYyc zO%m_+@jlr+oi;_eEBD!^s`6c$)tjeg^Ur9s=BrWd!#2yZ$n^Nlqw!)KQ=T8vI)765 z?^T8d9&kgaxz*^i)q3~vucuG*=CE_MN%CEmmnrTXZ?;*rEAxUk%^$W!5l8Qb{@6~= z486NweIqxlPGNN_tKWfad9jc5SJUYJs2k{(adZ$VacI0~Cce9>Bhsl41Mi2f8+sml zdZ_bAzl_`)wHtYko6IQ7Ro{dRp?`6;uD)eDz&ONvJf`1L>NUVVnSO9vb zVItRqrjZq_QE0U0V3mDEtU%4z`>0o)CYP6KAjJ#-2%hv0Z{UnZx8;ekDn{AT7nZ?$5+ zEC)rV^8r5_@il<=beB~HYgoe3xz+yw!1`nMtbuV=&6-nya({T`@~mEgc#Iik0e*`l z_Smn8^V;%?NB(rGS7(ZXSxxYjXZsb%=keoU;UtTF+ZA9+-rMmkRJ6Gv<<+JAAxh zl;*U7G&4IoVb49e#;3uGG>8~0M{fu6l|qmLzU~U4l#({=J>yZ8?csPrK{qu!2=Ln? zDWa2Vo#p{a-yDQJHi?rAqPPhmIP)&KDgr!$HhU{Jc-qi%x0wPuevOyCRpKo-CkaDr z5@C3Uwtw886;%j!iozvTO~4=3RUN>dD zLDMDghBhSg znC+z81w`NR{a?SPS>nAafy;Bznlk?^qFXg}I8Po2mgkTQ!325nancTV%#sTxcUd=# zeCO35DKhSAT6}*ok?uI>Xo-I}&UXyCxz%({UXzfiEvQgMKDhA7duJMb`}_p+BGKNz z1AoK;Z{7fANlafPrT-R=S3}1Wv8X-Z*8$*XcYu$xmT-!_`|P*=P8h&}3uVA{P5Quz z17#{m=o?SM{NTlms2{XlEvNuv6Q0jO62N45kE_wMhIdo%TdU6Y*q?ZA5jo5|FqYSl zUBO%6)lnS)Mnc%C3olg}-GMfe{Du-Xkbm@}I`tk5fetD{T1g}GbpM9aruTlD`bCylBQBh#oD)+Et_L?b0?GKS1jl{KBH?>f z*1pP9EsZ!eO1%RjH;4Z1Q#*RU6~4xTY~0=aP}w8{y?mj?ZUR%C4kQLS|!2BB2-rQ3V$BkT?)Fy#ryJ9Oyq}va~3?1$!Q3 zRns*5l;E>qQH=-1-V9=M0FVs`$Fn&`2a-vQuIQc<7}3VLgnKy#2N-OTlHq$X=SvHJ zWSbR*`9fFj-|shdGJ%*dx#FS6?|&t@@)UI*u^^rC%zS|(@Ru11F+~ZBS-66WSyChU ztLo3315;A=PDEu-hVfwW%6(W^C5Z$+rwe7aUq!eYB zG=WM@qkNq&7R{H|mkg5G*I^#peV`keq)X;2%PHB%7*!5@^Zuo!gwq_;O>JUv*Iizu3YqRFH?Ho_>ioDC; z@iFvMfX#uME|$Z1b%e~o`AVlG8MA%hCO5-%vD#dYy?b&80qRd~1%EN67VFt`>dS*K z`sNG+=n8-(QmexqxP}}icoq(K^gm3@W%Q-Az(VCK-agl`4{%nu>RBI6PZ==S=`A1W zF(?ZUlP@s0W|2LeW%H4IKH{vHPkIFCG+xF}g8pz>CDDC%Tl3Di^ogn$))e@bdPz11 z?DQ@K*FFSO)x?)$@P9p&A)YSz)oS)L*L~vbK2b%|O`^)Lvl!1ElpT8GI$1yP7m%fC zg#icfwv`86obf9jM}~guN0|cpfxz5O7;ms|WahP1zBwxrCSr0}WYLGEMuKZj@*P(p z(H(~+5ietQ9{PO;lU!e&Ks}cdpm0T}yM%{Y-g8s3*|`9LBVxk6kX=~apZ%nFoDqC2#5_P{4o2wIOnevp>LXl()V zxtf!fnScJKVX2;r9<-W2m!L|;%Os)^-_bMRFZ*N&$Utlaq}t)SBs#RpG_!d0?L5Ro zd+Nojtuw68)htJ)2QD%W$4$H&w>kgqFP8qhNwa#FCiP|u|8_|(8F9Hf`NPwj{{luH z-ZPh>vIG+XGBL9eIA&J?Gm{ZG6tj$vJP83cmjQbM6cRT!I0`RJWo~D5Xfhx(GcYkU zml4qe6a_OhH8?nzVcY{Kf4XH@l;7Guj36zYQVvLWcXxNE0}RbjL$@F$Al+S(0!m1C zhje#$3exp`wy-1_2?~4q!wZ5(om+^mGKV0ce5$096MU2$Lz$1?mQYEv>;II%tZ7gQKUjwWSs0 zcMT3Err(u*XNxlf$P5f6lf5=%+Kt4)l*Ou3&Sh zoDeI}zY6?*DgZ@mGZ5GX^gBt~;a^UBsFctos2%ceVo)IH>K8j}7_@GN<_$K@dQ~)!F%X52gQgIsd!O|56us zfUeBY&f6F0fBxT33*9riXec6wH@d;dzatO%o_ZUO-W2y zPFhMslSvUecwiI89c_GJ0LgKZ0Ta0h$;e>g0x!R8jfwKsQle`L`DTRXXeCuH+tI-hU;(sq0r^^6fS?~J-Y!5l5CG!r3i9>- z+wq?Wg^dSbZfypEjyiO^p!`!^4s787;QN;u%H)4t|1$)%|7=w{=sq=f0NZ&2%t00? zEXocLf9Oci{{OSn{;QX?tDT)P&>lqle>DB?K%l*~o#%gs{#S?&=r>zhWd~<_pxuA@ ztX-t7JwWEF)(|tRe@Xix~j0E^VW5f3YXMfwk71F*>aLF@n)**}N_z#{htaRON6{~#zA ze}z8?%0=-Hf^t#%gP>fL{~#zAm472%C>PZ~2-;o!4}x~r_=BL`HUA)Jcdb7N+Fkn( zf_B&WgP`4Y{~&00y?-MY3V=#r@dvU)J6c%(N#OVm-TqWy%Z)5P+9*H zoeip?%b$h+Mj*GpMCO8qyI6btl>n{#ryLh_Q4lL<&|i}RT|C6y;jaWJd)L1pl(O4j z5GtknUsD9l{;L@~w7lnE5Gu3Re;?(bmApXC|7!K0r=05VoBp3GjP=j4_dl;d|6mP> zvx6;2$J!kF`uA6e5)k5S?P0(Qy?@xCcIeOl{%71~OQx`ZW%JLieB?f|vbg6>z?4DK{5-NWD zG*=Vd1o|oY5u;0q4P|RHYrRibnhPjxrJ&oF&(72P%sG+X7~4n&&>A|B;A?KXjba~t z#=1zNFf46c%7u3?oMNlTe|5IQ_L##YY9XE*Yk2{AzQz3%3G5V`r=NV67lJ<|kKowR zhO_k|vQXsVBkfi?{|$~5?XA3-Vg=fJ*`WLAQ3L? z2l|WH0+&|Tz&yDz37V{+gV(iK<8ya>9G5?Pa{w(?cwq zMCv_+P~8O*>7@WM>A8pUU+kXkiZ6Mv$&c8#7NFW2JAGR^W z4&{eDp0LQHNbx731q{3p|E97={ENjB(-;m*iICKWF9uGZ`@H;AdM~(`kQE>vt{{$( zIUQz@TqQH9(&j9+fAR~db{l5*O?lCk9&g9M8uyEH%!USV0~tDr?sP&Gz5AQs0BMIM z2(N@RD*rQ~CAY7+D#6C*0b7iw62i<>qcV8%iZjZ)W)3Tc#SnNrVnWHIGN?sTi4 ztA7j+M1800_<#Ip2+&R5~HwKKP)BvQEP#Ap__&Aya z%Q4PKNYy4xXTIytHaNPz8k@OLMPDqV>XN>-c}JUzY0p$7T!`2?{>4m`U5>%=ZGzJH z?c=MBe_uZ>3&>^*Fb+bRrcuoeiv5JrQ}U5vIb5Dy+m{n7-or5^u%)!GL(#ZePpPIk-73 zHuXI0k+HTlg>RY9ep_rj@P+-%nKnQ52cqfCe>Kz@AULN0KZc3F_9)r+KFxUeX!G5} zWOa@T{(A>v>JO*y*Wy0%nznNVe(^WF2h*;P_uFS!9KZOk#Yw-lh!MbuMQ4NB(#6T0 zua{W+O8j6lhAvR?lfTu}~&n(T`u^P7gRqA=&v zeV3KZ?1#R)McRBP5(F9n&-+P{8azh0X*kMu_z&b`%rV!kZV1Qpp@VggpELpOQY}iuT4<-#NLhjmFWSh0+^0e;ATS z{H=dk7I|GZt}(_J%w&5Z;WN+O+vzD2+hMj|ENQ;?N#hPe@IYnr6zbBAAVAj#d`0!~ z^M*`&y=AwX+u)#ZyQB#Ef#GC*qTb@>!C5c#A#Q-;JFTLfxw?Vkx5En0ABIyzS?Zf2 zXkpx^&o#0+ResUkH zKx_O#IzSxLL1YiY?(`;Gd8`l?w&Y}Z$v%+uu;U`YLwxy;lgnUZclRlsoOAQEwZpcs z3fb2=#@$78T$Bf=CzHQ*dj*_qnWz{W1oAO?8u%)KQGa2wNr=+6INv8FzCA1^2kiGQBQ5rJbE=g={u4A zqVJ|LSw7%aK#v+N+MYLfC6L92TRO<}szvxIYL+JW^_Xy6Et%=4Xs3|}#=FJ$N0b_U_BorU6lCjyn4{8| zp;hoYb~B+gPRh*-)oa%GS`3tOO|;gef0f0n=W^^H9Y+@99g6GE4XmuFYfqF6-eFBWg%ig{wR7^nK!TSI zpwPa@*1-+Oa52b{4%bw#+?^Fl*7p=p7jut@l^wK^?MuE?j2oKTgJbjUWSJb8d-LXT zc$omj&Kkuv7j&QbDsIITvfIE(%&%Dt)WWmJds8Yiqd(0Bf9p2#(qovw>q%$afP~V| zzgJ-7IaJ=&NoA7qan3?adHQUb@mbowG&U#`E_!yT)jGZjqBX>$D9w5=#xrf=h7|TX zfWG}`MLOm~b5~JbaRZ!Y$Ve;r z!6L5u2$wm;Zr9{ZOTrit69t)&`Izh|r#5Qai*DdXK@-1EngV6JTy`}O2OvizyD|ai zbY}}&2ow8Msi9a%yFC~E_`xDvMEfg=3Bo1%#@UA|f7>ViHL4s<7Bqh=;GJ{Wfr1H9`hUjOcHXZ@54@N2MPwxdWs4AI`sdO!DlZoX@;b3Awl zWcOrGe@|r97wP4h2iv6o63;nlmi6|DMIavkLCoFg=S5f_v6}bDd)l_FN*$y(I*Yfn z%08?F=7eTRg85}eI79F-n6_Ed<6u;&$01AC{t%7Qz}0ZlpD_&;bzfASn2^ww=-(?Fe>|)*3FQ)3=|f!FK~rlkV5AXXmY9RZ z!Z8aQrC%g=iTMuGvm%wRmhHq{{N9NpwV#bwC6_u4#{|Sr9n6@*?#_sJ_(GJE zf3EWfg3gxm+OPQ@S;oyCeA$uhZ2XjwNP){ zW}ey~wUEM7?)Zkv7H;Y8Fj0scG_+=eLcW;F)DlR9Ealyf=0k0@Zoz?9!#duN#>96M z9Xh2YnwUowG0g9Zp73M3bE0g9Yr+4Cf1t%#J!tfWU>0%)|Ma`2fzR}+-?F(KB^o0Q zl7e64j|3*$lZ%%3-if?3-t3phEU8x$FSr5IY`5vWxSg8YB0%}|*d~aK&m5uBJ0jDe zTHMFenu^zkRLK2!jqsg})h6fHr>ub>`KXL^9{Y5S^yB-jw$w`>dCsCtZ5oWGe-REu zT&HrJjF?gXC`A59nJJGag0M=rPy0{&5YBB8+IBHN)QL8|ZfB83mX6%Y6836YeY{Za z2V;J4!Lhs&j{%eT;&?rpmoZ$;L&~AXrOPR0G4s;#sA^`M?eu2%^-kx>6@#?Oj)wXb z*kk(R`C1%H%j9gc6)g4nWC$6le`gYHpiQWqLu2U;4LTg|hjrm@Vlfg8e#734TJ3M# zvfBJ;K0!NkZS%tdw>`w79^%O8oT&-X66^i#wLEqv+(_YX9aj+f2|BIi zV8@?px)|cW*>|Zt_e3n)-*duWnj_b^3#J}W<`IeIt!0V?ncUf$e?HBWe@7Tws5UN# z?0MI3MXDx09{IT?;85=FiGalWrm_$)h~v8kx|S3T;8{e(U+XeSC8S64dm?_O`c@xk zW;CPv^JOD$*Z$;myjzNnz+JCG`>XaVr5jj9+G`^E)9%ME7kS>T6l;Pm*Xo<1`^q(; z+!*YnC?v{+p?-@kOwdXje~j7*qr&0aW1MlrYkkd8?rsK(a<`*hE3k6ZVcNa1L+4Sc z^}*Lu8~1bDrW0RcRx27VVgc*4DJ&ehp4onTuT|pMl)I2rMDf%rw=yO#yk{G(qnRlwb!hS-q+#HX*i95GL?B`iP~tl+@iD~qejL! zeEP+8*x`D(UI`VYSvu>;!DxKNTcY-)(?jMePMEJ4p*L=N&SxdmUbI^ZO*ElSjGH6Y zy<;m#bp@n5f0g1FfbaekvHTJ;1?q40UQ01()f#YyOgZJw4RFB6PS0L#`h-Z21-VKz z_e^Amec4y*lwzVNP4Z>$y7WpIB4ZN&6f2GrvEM&pxCoR$Wt12zr@0yuX zS&b*1+UIB%%^r)o*s&+veWEGBXX@jN;>&j06UoNt=a(jV#_5k%X5>k1mts*(Swf4) zM%30>-RZ$mENQkLJLN!i-5s-m39b919PgdGxLdks>*AqtZNtm&HZQdrut|wMt01%C zQrRIGf60xejm>*@m)MSBPy9O+_H9-J0IX zwRrd05oaq)rWT=+@AI|>DBBmJrQVcLWrCGJ4(6qi5Og(C7B#o zJ!QBSdR5QnO-At_gDqRz@Pe~2aF1YEcuLeN-kTHg>Jn7^RKQc7y2UB4ZL zH$K0f<~8#_0R_m<|MZ_8%idNy7f&?!X!!cw_C40)1cCCKIP2Aj;N0DBs9ThG<7SG+Q8dD6NWBsVukm9&x|h~TBZz9AP)qpIiZ#`BpkyL^p4Qv@q3BTM7t z6seLtoO?>LW%wJD9s|q)J|!b#Z`+VYfjrxuWeWJ({~7jKkC0qGA#Z2yO zsl#Ck#Bu1v7Jum1UUgHgGcbh1fA(s%we7{D2Rd>PCQ3ctouXfp(?@YTKrL;=7^kOI zK=doN!tgO?WUQ*LTqzco^J`iNAo{H3cD0JdczZHGC7)lRsk(HHo{fNWMK|uFUa{)} zAtFqt$OFIPh%F7bR6HkD`?bPr*Gy+(Z+H{Qwy0wh;~Pv7I+`-1?AgAie|}5DZFeRg zr*|cQ7W|{qx`mCRV5EUt7|cAxZQ-~zrj)n7W&wkV!3Q;jGh*f+Bq@4#@# zXrL?NW8kuUzQAnq3-K?Qe^Nyaemn-#_K9G>xSG&AS0t{QQy$y?8 z^m-Nej)W?g>D-N9I(P`;p~dqBFXJK~ZfQ=meewP3fy8k-``L`aUOx3ZBx7@-JBA`h z%!H{NhVadT_zXPy(V%_oA+L#mv()4Ujk`HvBcratM1dN--CU9Pf3{X=BXNH0*jI2^ znH}?_-SBW|@!a|eq-xIShKm#yZ!#@i)f z#ZP&|@~=#T-Vdv(DX?>1PXt$#Z6`BN+yXtj?z3={>05Igxm(@kjqdT)ca&UKU8@9J z7n=NHo!pCu9f65ce~ltc8N?;oKl(aK5e{nn-aD}D@gyr06l+NjAxrDtkiloEn&{zH z;!*``lt>|%yAn74Ounu&b22&ENbf4FoGzz?42;u5o4o|oM= zS$pu8mPch0{#F0-mpO5#c{SA&{j=@19}>-$<7}>`->`paN6W8@Vn?p+x{Kk}Ls3?k zSrV8GE+1-=^2(3aasAuRSDt%%pexZpm>T>Bz?ZdL2Bf;F8Ob)d-YI)6jocQZM@k4M z(@Axi<7#%rf74H6Kr#XO!m=zgh&!I2Y^42jYvDKe>gK#_E=3YcTrY5{)!tQ5*^d`D z-j^+d2nQ+ys}~F3fYcsslzCDZ;MA3H2Y+Fi5x6Fe_2R<&2|UHLC5+ra`kh62Q(Ox| z60}9S)C=%&CVQ6)P=whdQu`3Cm%~mdGw6sC0cB&>e=c#O^GR$l!jdPRUro`BEiUnt zBGcG~>K4&OZUCg7Wuv;uGSpGUTx6?XE^o#0&SHys{mF0~$DPpV0&cM84Z5A|x}yr) z8#O7?8N~8^B$4*&O2XI|XOt;)7(8!^stWVdQ8)NDdfWqU12v65sGIDYPOJ~X=i5$8 zTyu}Hf8H~oKh76A!xYm&4$da+;2fH+2eA8MeVq2A(ml`{J3>~NNp57t=MG3w=5y?; zzD-{_`n9q>`CDwFR!|8}#M9}g=duf}pe|w~*^ko#7uKzNiWZHfIkJ2C6XNtbUBwJR z8fDUyvZ_D#`-aFpyJ=yK6NMvw4Qz>jDvB8?f01WZ+bdU*kSma{SY`DKKBN1VJ&w4f zD^1om8?d~qAAw!+C-+b4TRZzwSkGbS=uk_lXeU|D9bt=$>2jd*jVvD>6Ek? zg^(~I{76aB?beSqkh#;1pu9VvFt5n)st;*m?S^sXwflrE{{DPuR-KG2`+a|C zf10;LUTSFfXpJXp+P+Iu>c^%hMOmAxfU|aE zOy)2g3my-(>5bylHhVMD)a1xEeZk>Zrs7CWINGHP{|?8T{oXvYVHHbA*KAZwf=(My zC8l;H_G6z*h%Q-vEJ5@n9#Jzpn*H?Xdxota1x|01Q9kKCe5j2%FF1rxD1Eq%e`iVt z=dxomZ$O5DIsX%Z5KCBa;8+c&a8q3V%?kqWmGoucM%aG)%rcti1a|4gKu^L)5ieuA z=C2Tfqqi5I<0@F&nb(H>F`LL~ezha4iwc!}O@R1rR4j@MSXSn{GbqHvRo6(ijpeex zJ=rRIc@m!U`VbtmY@F)SIKZE6f3zK8uci@-x~h6jHk4vZv*|zMF9z#ZDfr_hp-*8; z|0%X~-CMpKvz{rW9^jN^hFn?utn6y%#h9_mAk(K0yNyIe5>H|Ml@O~#+DGG8Ew>v& zZ!Q6c=P7czbk+H3_WEXCw7Dg3EhU@rZDU^;bU=^;9ksq6@*s*Q>h@;me_qyUi=kYr z35nY_hCg|JMA4)D#eTSHr3VVi!=Nb(ScFZm5#g|lw$jzFy(;9AIo>pa`#HimpSDf? zDsfLi($8^xV@r>o4OLa+#9c}7_7?vZk5BEb5Wq-?y{j`s(X7vkAAk0&U1Fq~`B;~@ zrv%PR2^-k5GCcv99|1(pe~o+?LQ{FK6tW&~ezvmoq&Ilxa8KJE%D_s7T0pq+^^m!( zS^XwC!^^O6nkBa;GUi;gf%8yTk2CoCRM0HXPT?|WK&g&~d4r|+KL5OyVN^0yig_*Pf;{S*!YIew3 z%2vA04$F9bU^Hojtt(-PmD`K7!5&(O%0O{8I)QS}SAo*}P#AVUt%L9R`#09!Vk`TI zGLQ_%zJKmJ`$L(8^0~Kz5xCFfr5P(V+{+d4F-uDtn(xmGP9Ui+W6wq2<{BVCkQ?nmr@r)9fY;r;HcPg<^4Kd$XW+4& z!X8kL*{+{0mJnCAY{O4(B4v8%TKx3pSwy8IOmo^~AQ2uke>@U!2}*uu%T4rbOlv05 zYHs&I*C1n5Q=>_LCUpMJ>G-A(J3w~y6GiNoO)V8|gr(giA*hZ)0&zpmv}KH+ti}XDpst) zxZec%g8gX+e>o6*xiI~xy71lC!fmu)PJ480$$bzhsheVyGxJ&9ADgyG0^IKgjwY`n z1YvZiv{boNFcuzhSBbSHjUuvbyfpB5k4=NB6H=k22`+q-CKIarRHGEA7#E`CHt4&x z(9#qX>%uC}gf@VnubIr6qgMk zW6&L^7mHY6kGmOuBiGgcS<>{SexOF?qx1p;0dG?UMfb~aJM)->2iKwN!37&zUzSXz zl*(5IeLk#`2exJN<;$ z*f%vGRo%+?&M!t8(#_2y@(`gN0k5FMYpO=>c^sAd@T@9Ph4*Tb51}a&bsO~&1m9s# z6)T8V3$*h;s{7x}oiMCzncH0A?8A^(31=JPe=YD3Dx1EF%%$pB_t&LDND#HKM;=IE4eCVdjMq))1BJLWCpO#iz7gR{bm7;!~!zU7ThHu@hc zf05IN9vE|*EkXvBb9l7iD9W?%cu{WXE%g9+HuMkiU}s#ay1+Bg*r$NdhG zTUXjvgj+OgX_-i!uvmm}gs>rlZtR8!DHJTU?RYQ^x&RX&CzlXH&1sHZ!=ZP_ub(c# z*v$6Ds^<@SYomg8;usps#05%kGvs%Pe`BNvXXLuGj72`9#*j=;bjM1%M?RlV*9jwM z#5JlY%%dsybCU{P85sO*B>;`Q9{h$@pe{RZ4myJfzGDPqOGNu+T#Fi?ZY)akgEmwS z+=nJoDK=t?zfaS)_UkfI?@H_2kA%n*l^B{%?-D4UeKUO$6IU3YsLAE_(nm;Ef15I? zad{NHNKG{T(AREHKJwaI(c3j4YR&ZDhf2Ok}NlGF<_#`OVV}snMa+K|5tMv*AVSddFzb3$U zmii+Of+gt))iR3xaS+xNm%+8sDdtxsiL>fbg{^wH)#ie)Llm~&o?`=_xKZ+hi$~70 zx$!-QOqzh?0i1p0SEr6jW!EsV-JE$1IRuU&0w&`#BjxF7q!qd^E7}a6e^Aekiyxzf z_u8sz(&)P}0~WJ|qNg&$yv6MAoIMd&+rt(pEnU3|ZJ`C^{!~FoUN)~tS5jSW?I>PPR)z@=3X|s=* zr&1DqZL#>E+UlWu<%z7Se?`6R+Zrc+51Pz!^i;v-9f+Mx)g51Ee=dhDAzBiChmM%5 zAOy4b)n7|b0aI>M--TMl`tFU5-K@ys2hlJSYCx^kyc!j&d5Uc3f(0l_D0G{AK#%>HXa4^tJ&d+P-<{C6(HE>COt4 zhsCxw8z)!IVG1qq5}_=IIZB;PL3}HFhC8n@GkdCriVup|=*lmPlh_;?9#xMb#r(@j zEn8DIWjo0Yf3eXb^ogV<#YbvZfyRt=asl0V-%>jzGV8R7evQL96!yhyz*X3ztxycJ zQ7=$NIdN`i3Xj5)N$t#_lFt0>78k<2Dbz|k=;q1#vAGgHG3Elf+gNKV;E%uNi$u7& z@~BB|J=mYbcK&4uK;Cl2a9*=uDO}6%;faRBQTk+#aJvfFJRgJyZOB2_OcAwS|&h;kg(ghP8Lsm0Je_F4x{*-YG z^>kxvVUppd1YQf4$8Km$f$Sq2J~K)q2~E+^b@_-by2y;%W=IgtdN@npeRz0{o)%We zTmDWte^9jt=O8!cG~V-3*o(?2^=#W%JtYSDYc-vx&1&Di?iQyglQ-7`dx!E*)yHKb zc?;awf~s#x*)JSTF|RJm_)g}%6lI95V5oiI05d?$zxJmRzN8?XxW+}=fBmW|G5e&_ zWOyS2Dmu3ij1k_QT6578frJk6p{@fFZFcbV0yg+RsedE%6X2>KF9}X?V)#~ixwM4| zO(ZUc>fdyPr+<5$&UT5mBray-ia^9%#2O-~Lzfw$_>gVYfiPCgT_~U5`*W+DRYa>C zrXF_36AQ@NC<*VeKT1zc9;d32FJSCVWFsm#pnD$-L&?j0a~4btUJpk4I_V`RGAmqM%vMGuodL2%~CI8LDpHB@zdETeq&NwaUsnIwar?>x z@j+b8*1_M2ckL}le_XlyPhNy~5ce9VVCCie4SzA}sjna7DG?g=OM02N(Ta{0W^|d6 zsg^t2FU}Us#zt>H$RY|Bp)}%|$io#r^%Sow>k~Y`d#|<~5M6U>(bWAm{MtA4v}2#k zoiRoL{vE1ru}E{&_ZiLhT6;A`6;D$6rS0_YAL+vxSM2Ok3b-AH#;mKl*lsYKhnGh)`9+Pw{)MZYQZo?0GCvR*Hfd?K81bqK1A~ zLHrZ%$!TaiGLYZ0cx{tfQ1(|F1$WoiH-B)P;C~nPVp^oEf4P8(d#1ik)15}om(aEU z>*a?`NaFl@1?4M4GGSQyZCjh%zR!=0f-ryw$JUuKrJDB`3+=F?fDx_@gpSk-I+Cfg zH4aJRkdsLmp&P-kxkY6IX0TOaW)GXlZ&=ROE8T}@1N@uxlQFipWa@74oGRONpmY@L`V3&q|bL+19n+$>TG*OdVHZj zAjdj0f$6P5r#Y%<7OBA0K>{>U&Qc+p9(u?OC=aIH@%scuVSj zo4kthy*|(33SCL)EEUrqPgvwXR)4`l74d~vf3`OC^WJvWEwf$6M021qX6Mk2_^Ao5 zz0Me|ujzQcO#Hgb82hg`KfG7I?xE?{Qt!x=d2;ur`r!x-Wb-&7O~L{TjOY4%-pxMZ zI9Q7LFSBuv;_AAembZ*6_o-CAt@ltc@1g9>$Bh`#;Ft&UItZd3qM~!7aDPZpX3E=R zD6&KYHTwYcqhBWZz687mo5b)R!qV=XBOf8ZtTUW zF9I>!)h*>yk(*W(ec};O^f*tWo^S2_>>i`MY%MoK-Wr<0UsN1Tr~vDabRVhwVeUL= zq7&Vfu-`)y1`*%;NAk)ciGNJv$ccMF%Qx`PTBO3{6SjU2LU#G#kK1w@dBOc*W2G`I zFjNcKd1zCq`lbw(Pg}g)mvqs?O6IYY6~6oolVJ?T+~_ZQ5e9jDbFb<^HG(KwIvs1V z0`Mk!Z$2?cK)!)IO(1iWykN5vVOf#%T0L%32q_CzoJZx=_)oc}ID|=yhM^9^ zO|6lhJu~xXoNo#tXMg4tR93;IGpGxT{VN651Dp#gjy%vBr@ij zA~}$V>zVmY?VGl~uRbA#g%KFisIv4US;6yi+PR{#?|1T&*?*oZcB?~Q%n^H+@wuob z<`cIGlA^&9r#&yS4^>l>Ac}RW@rdLR*|O!bwby^H{a`6&IgNCn0+%88EgjX1_d=fS z2SaOwy!&cEzO_@1{?ALgZ*8yrN!B8iLb#eg79VtNEWP?_{K?OCVp%KHJYYz;TcZ1p zr59&uwjd7}xPN+_!Fe4kSSOD|NAc-PySymhQ5Ng5(0eXNca=R#SBNHX=tAYbug+~q zanM_T G-Eew>0L4mv5NR2k?7ah>mPqHgJ-tbm0KA0~KkI;w)DdAa68eYkzDw;LE z${safbVkXC?rL_2NECHx+_<83h1XSGaP=93H^lVAOMj8xJ{=u!&Q|}~xis!uA{t%p z94FpfKyJOu%T5w*?$hB5d2_0%zLG%2t|z#@d6#Io`P!8@3eK*wk4(cE>jFBor8>7U zNb5QeOPQX-_V2>*<2&+0!>!VflWdmKx)8>Q!IX<%f83wG-GdiP{6K`_Uq;+OYf3lF zYTarTo_}7}R4Dk?eb#f~4cg8Fax4nYSKfEChC7*-TqSx_pn5UnMnVZBLz+(OKD9FX zCy5P%7IfENs2B)WVm^gK!rl|AY;|Vm6@-Z*#HYCYr<$%$g>UnSsW8xeh-bqYoRLF= z&)0A*SM&%%`6aXDSC|7DleL#QUi|DnH1U!iKY!I$$&^R**0BjE>)8Lib~)@a7|KJm z$}9%ZCnHAA^OLEV^&R3>e65k*RaHgzH1P_NFFc}X$@B|Tn6CZ60?T^!^ZP!IO%=aR z1lA&mhBF-;XHr%?pfcKpH80~S7wH(EG0Pi3N3c4Ht@N3u13@`S^5+On0IZl7WxH(p zo`0Ttk-J@SWPtqw+ZoHJ;ZqpHmnazyi}&kwI&K`vLi)%A%9!0IODqnzDp_O>LY+q7 zPOI(i9mQtWQTTl`IbMr!Ufa7y!-rQp+!?B7a22 zoMFE9kK_llbR+fOJVuu}sTp{36At}p$kb1W!!KDxv(9ps?}r%QNIgj1b+TH;_3IQ8 zMd__1-{g>mqZPsgdvc(le0dD#>hiZ1HGJ%T(T)>7(`!)FrzfSfm?YN{5e&ASoP@O2 zH7rhdU|fMYUAx>Td-|xoPuJCY=zrgdJGsrmUg(^TtguIq6do~bG+i%^?wNRT-B5y% z7|(a7`Kz=W4tA{Vw>C3!^gqR>DgRh>?&tOH-|xGAn=&8vsoOt0N6=2i2a)iY`iK0G zh2dpzxWBNP_CP1%&oRNNpi?hd<{Bg-Qe^*nkw_u~i6gvBv*ASR{t>J$_kYfWCB_BE zu_3?`dQlV-0__N)kfW~%y6_&`wO=9QN1Swmu9Ea(OIyP?l9D$op6_i%5=Q9(7lNN+ zWO*%fcrvl4tI31?*Pl{$kat>c6(}f~*EgzOX{;uP)o8^gzm1JcBb9m@ERqS#3Oz?W z&`2eWcq*5a(UDZ5Y5V5P;D4555VlM%dnt5%1;j@|K6td7h@6GTgyF@cxzNT*K4gUH z?B5z$yE{x(teu9Pp~`nEyn$Ovl-TBgF)i6&u)~a*3|CS%=%<8{`)c7T@LG|sfsJ?Q z5!9*AMyu|QR_4pMPVV-4VOd{2P3#?@g-Tc@y75y{80$_;s^_CxKYy2=asiSJ|9csC zfm^|Ki88na98r@=zHMyxagqwyvN|q*ltWgRhmvpnN4Va?9BzeE7JL?wb~AarOD;Bv zoieX86=nDd0_O*yb~~wTz_v8VYd!-CDJr$c55%>c`ieJlu#Xi+FD5>77TNQ-7uqV$_^hAmFNkqLpe) znUSkyDQyt8MqH4&(uw4r1_R?1t{C^LWg{ddq2`Y{J=T58I{=PRQBuqAVQ%p|D;h87 zvq>j8Qi%!Iju!~1g0xqh;O`@X(ZWSMFWAL7=L=MVR8aK?DdZce2>tezwDyiV4S0Sg%rOT%NJ2|^b$VaYV8doU)fe$ zYF!vdeZ@jZKBjWe7hmkBc$9X(E6vo+FEDiu^6@EKmwPxT2#NhJ6lY=q20zi;1g?f4?)B)Bx7yexC3pzlm%361OLd zVGu!I{oRk?%%gc;*YqMxqzT%g5lp z3AkONM1NpGt;6)yp`gcN*A7zKDTn^<%iT0@on!)oZSt-M4BEy;IRiyx$wqq*v*L$X z@^^O5T@9-jNqlHOY5B3VbFQuw$d?_Hms;v&=3NoJd43=t5_7S`^jk0Yl&*$bG2&7t-0N4x6}v17_YLncDj3m$JpY9xG^3~CgO z#YqX_^a3t)>$b}erxT=~_qSQbCWev2Q-q#5szyd{FiE!j0kBDH#>zuk{!f8LU({MO zSARy`?vAI_FwJ0%D1arQFF!_=J5{?|msSg0vzJtshx$k3uXV+}$l|!L8b)N{KE-Ai zvgh)LFKRpZQZB<&CWG)6lVw^4ME+Hi>XYM^W&3A86d|V~+G9pd-7j+*uqi2sSV8O~ zOK4%c!z3jmmX~cRBHf<6`Q38p43aHKH-D!R{U#A@b;E@N2Z$2As;_}DMBG9_C-^3eP?@(9x_ zOiV#)j(Qk5RFr_J7rsqSn-f;Q~-Y)c}?NmR>CCl%i5)0kI=^?Sp{PSmCc^+F(9AO@#QVFo!iihdJN}q z&9LOf^nN7TA=f~3S$RPvo8;EU=Xh`?1RJ?=zE6((u5*_)iWXsz`1D}I-kemfK3@(4 zxefpOxCa-N%d_eW+$3font%8DQ7!xfUDz3{X0B#CZn~NRqMzKTMQ%)81FExAI+v_M zOzFuP(a$%zN|{qz%XRlL##wIIboXuwReyT29@w<`pXW%$D55OS=J{dTZ zs(8yir`MJlZFFtb->)aUCck0Id2&ookZB_9)#fg)R3m9}ox^Y4Gk?fy620QRGQ^t3 z2xD-G<&_L4_}07lszf zaLe3@D4&FwC17I;kY&EhqnQtdi!4*_XN~z!XuaAf0csx_@86b`B&tc&hW+#=&#fb< z`GR+G)y~{x2npv30)O3y4dw`wIk!*xd|nD-a(%p;Bg(@pl6dj!mLa80rsJb?C>Cj6 zvO>+U=54zuC|w8R>HYVEnTQ@kGaPY+$aBIh;fTwP`qO}tba8 zT@P6H@+6hy<7?z-ob<&vnA#A(vrz?6kPmj*d}tz2p8qsfx_=hibc#k^wRhaY-=en& z@wKX9$yYh`?$n9R#>&gv{pLn=5ihAPkbG{<_3m|*oh9v(Q$Z$OYNmu+Z7k1O3~3hz z)A5^ZyXQ%^&k+~;=2|4-7Luecv!b?!vdZ6;(Uo*)yua#9&v4Go7{CaWXfA9-t@OJV zoEElHX3tB^DS!UrPFhjZ{n8ft@zGl|t8ny7*2ktUf?g>)Gxrz;2zvF1iaQrT|jih!HiKJ!+B`>SlsTtf+ zM={tFOI>QG5xzs8I@B4_DB&Le2a=V3E6F9<4tt4f_kR@u`D|!59OIV>cg1a^Hdm%E zPh%Bn8`6gl;gcd?jIf zd_ARm=}M5?5emxiO~#&gwUp~;Y!s4_Hze?v<+fQlCAQ=Gb%0mm#K3Q0c&smdh4|7n9dq}^$kIx`*4Os4 zzr6@2u0F&@Tiv#Z@ZA!`9Lz@9S$!k^HK1-Q>wgus4#6emM`wt^{M^il|{ABFA z+0IfeQk6k%20Wg5FQqb(>Y{ELA;SeQ7$fis5nEnSIq-GveFAeaK=K@xPXk#nK^>HGY~T5f@o&`;_a5q)JF z96qC{`>%CL*O~HgA(|_%pR;kPv?Qr8DQ3#GN|9k9bEA33}h}j?wJn`&$C+U}pPO?;%i}o7kJ<3(h!{*mZhPaMegd?9nt;cA? ze&bJy;Sm*P`_>U)4rY~Vj>*t~`)SThqG`5GW4}Kp zhju~jr(n^;gJUKub)H?S(q9N%G_t`*cMu}!ARkB}jcuX7`l?;X*H8n#FMn^&31gp} zdl<=>hdu}NNmOR^D7x(z=)% zBa+59U^}^*xR!=J9BW;E{`NXKScbQ zXwS(k$nXqt?D66o9--;4^DK`*zl$Zi?*PKDw``a2*yEgFos_-nO&r|j4k`n zW@cFD(*8cUrHQ(a_%3U(ppyb=5NX~b_>KB33y2$QF)EWjXt#wUZ}n1R238>C1nt_% z*R1OCu)daZ@%9?F@_%^14WM7$S?4?q5ss1Q2|bv8mI!5AEh^R2_bH}CZqII9`x&?d zJP)LS_;2i8jn9JvmdzHNXWp8lHv2?^mWOvsRdYsDj6nWhZ8n^>$m3C8^}U{`KRbob zan!iDA_78zR3NFPLlx@7k5Z}-_Fwy4CxPN~%H3$AagS&HjeiM={xf|;)A)(IQYoQ7 z+BTeZlNXP?>dqbCEja((hdhClR08KSL)VEM8PIAg_6SeaY-|!yj(|bw{pdi%{GhTm zSDR2;qPMFcR95TvZ~NK(8kC{8YL99$?N-9YCAU-PWFAeVrFE{i(kX^&LN1`hqL<`& zE08zgtYyXf)Ys%%eu&y0q|JEj^>7dk)a0ur zH7-yJc!L!6KH^bPpIFmGSV1kPGAZo(wu|zU#_m{F0e?^7)5@U~Fc5y$9QMc3`meB| zS#8T!AHhn5uX}r7JpWHlqNFogZi<{4z6+V~>dK`qK!@i#Si0oN`bjerKtrG6n(Aj! zIC&(Kj=D9eh1hScdI%ca(b0{QU(;CJOi1|zZHr9Bq$c{gBug8jc+IoZy$wp zkV5i_YD4%rc*-pvG!)_-Ah@blo@l}UzUZdj%snD#hT?y~ArVS~vVjdSnAiR(HRdVg z4qK}KMJ(PUIL2~w-AO@9b>|Sn)mobK@hN}F_oEgvr-BgZC&5#+ z!E-MR+Qf6mDQwS*TptsPj82$3SM>Us=!=Wnbt7tHXRl3hN?@K_y1P9p-*AoH%IX)_ z0e`|G*qIKrTK~#~f~M0S?gb3I9OVt-PEoK~)}fF;D$W(Q1^6Wg+5!I`qGQVdllNM* zyf9#2KWhh!B#NSiG2oso2fhSf*lQzBd+DSu=pBheni40iMRr4e`xs)Gaethp7rZ?< z51(L((@QSZ;m zjLzCbliAOHF?s0)FH3Tv0-y(<4@06aoKzOC?7evaNk!UqTRKLdK6Fr{l{=b60e?Jk z^cN}D{#0e~x}v@o-YxKLc(}&-S0S%(Wz;_t$Z%l|-4@tQOa??3Za;iukl+r<`pqj_ z5To$-nr4W8F=DzQ<%GURMPrt0;Ez{k`cE}i(9Fs0^Bed@G1g_I>x?I{=f2a0x(&?? zYR;eFIw*JzH742zHz~l`h=!2Y(tpKe=$C}DdXR^X`sT#4VZLd)Xpdrso@H)9qBRvB zzlkcJ(9uoieD}2~f+y29wh%k?79XLu%VnF?vIkluVz`;6_hlmRT5DW_GgwVGA-S6g zl3gPKV#`Q@=F{5lXg029E`>Kzfm;LB=vB8R*iIXNM_GO1_DSCVxNY1mphL zn*7+kiWcKGgQ%(ioZKONxw!x|E`)wWB*JpIQjBmMmX_2FztKs_E9N9??Kh*p6J}#g ziJ4QbRzR_;90T_!6F-k+B`K_<_@U(N0GBDpgl!0bhRkj^e!=oEfKaoSkDFFdR$wm^ z>3(r$y^URnI4z0i3G7!uB7ZX{gq~j`UGtAcv--7(%l`Z&G#tI6z0}D;MCM@6lx>EX zMp}P3gv59Ds0z3uE9Y``M}l7a${|3EUxef5cpG2!t|5x2s>-q@*E8WGFs%8itKI!d zsTG6r$snnzFg3D!Clr$QJy?04&Ta(-P%2d`-Jm<;TKJ;aByCS3aerjq+y%lPbhZRt z^$T+ZikCDJ2lXfq=2PDh!5RwqkJ_112eb-WgOlsLU0-gq^vXrt6L0$ z@5O&Y;*5l#@ERVX>5L3FJ`Xk>H4?>z7uvIJmsMXDx=d&4Y_`EAsDR^>Y*Mod+zLtB zdL(P1a!Rvk#eaiPC@^=(EDC`Orx>;HbN!%mgw9uv>Xu7Zy9%j0BUNrNlDhp|jo9A` zZ-*RLVzcYHkkqP}^rQX8!dTTk8iT-7jq>;WJ9Urezx{3g_-SPtJu-7C@ zjKW|tpVTGFHuA~k29SGe_4XJmxQ@LQ{v z`41>~$$y$0LrB9Aod$806$P0+{O_tM+AUp12Fdpdq%)9mif|vXOKTSZt}?ZwxL6>e zwpcO$F>(f;XO1dDIz9I{n$*nIfwMYhGgON|s5|Ql*agk>t#m)$*QVn*?9vJowx03R zn6l#Qu*c~g1agsE{O43bi4;5Tg<>hM_gV6}=6|%Km&5l*Xt9>61>Va8FEfqBpnnJa z?d-ZLUu99p`!s8rYK3-WAf{hRs(OwU{sFPurj_1KXhWNMvp>7kLlWz$20ow^9qSGg zQO(JD+{MO*)XC{)P~`e>k*Xem$8YZk3`SB~ecfM&_1F|WzS=LW8Pv&N05iZYaZwe+ z`hU^xUa)U@*@~p< z;S@0!A7rWe`OG2Fi&BuBpzw6dy{nacCnx4E5QZ@WlS9gjr64!kJv(6bC>Q!jK@Kzl z5GKr#bD;IZT}*lzgJovGrJbE~Z9VQ(xD#679|1S(T>Z$iD^riDQylk@4Kf)r;;J*DMCVU8DaYxQYSVa2ook=Q;TA`o9P3 zAnzGreMjID=g?J_0NpwQUD;^4#(yKJ{55p^bFZ2Bh0*C755tcR#avq+QX?;{joYN@ z{if8*Aq4fLeE1dbyCsRE;v&h(Tu6#CMROav=8QRMuFXGPWA%?|`dQ&;_J!dt5ERd@ z58uz2IAcBc{1g`~HK48{9cr4_0eX4L=nb{W_wD|OChSxVEsZK-=fE=;R)4HY47Nsa zD>!CLhj(>XqjH^|Wt!u&H&d@^kE<%|0rjZ`BKN0xAEMXk^-Wqv4b|QNPvP8E{H2@s z;YvQX(SdFyyf0&7zHGDx3vuAqtbpK3pF|H7p7@7T_RWr&-k;Xn*$7>(Zp|_mNOUAfK;rm!l%{dGS%A2ch0PPmd5loc*}q zm^o$Q%KAfm;m%tdG%e<}PQEQ6I@vg*!SE_o-%i^o2cygxlibzuz&y0@Jwnir#gHm zVM|>lfp^zZ73O8?iZKw1%#fWSmOb_e9WEI}C9lJ1>~k#iaEB`mK+*WG{sdXQotKNW zp&p(yZ>Lm{nUFubdsenJ`9#AeNPqeZ>WOiZ?Wrk>IEkWt<%@a0}oot)5B(^@v8y>0&4yfFkfC;LOT zb2@}xoc;)4v|$a!lbfHwa@|Pe4Twzk0`m7!O5ak2Yf~lgpnt*PR7H9ZrHGU(npY0+ zdd|0S83W${Y+6RO8G}8068IAY{0aDGJOIV@j52BrVPHaZj2jPF{$y?cp_ZG9^Q|@t zjKnAb5QmMl_Ltadu2P1eYNHSLPj`d08NtLUe^7m$aGDkK!=yK6NFEiKhJ`(s(sqv; zmQxIxzXNNlCV#nj>3ffJF5Z?!$uq*}S$JJn5d$%v?;xA<$Z%^?dQnNlMf|1i^V3Nvm=H*}~!3X#2>ZXBK2WAU>yQ$KJ@4_;q1OL~5f1AH+Om7CWzJBjxkoPQR}rAPxYv?D z(opDY?tkZb7vDFWU45&991P%H8m*fN1K178R<>;;X)>WCH#UrleMw%UwtxA)K-J^C zN(_~U<*te}c!RJYc$j97Z9?QsL=r2#!)&b5;4RgVIlk4f4d9;SRJ=&q^%Yy4aQXYc zov;1uvxRkwN}^=*et(i;{ETNGvo%oD%*f}4N`K7*3JVZA~wv@ri^KL3|s#eS0y&dXuVqK zU%JZi(U%$5XyZqA4UPYhwE6Y(n;Ki^QZ~*2*{b}#R`61t%6Ym6U`7cM3Ni`WfEzJ} zn1A)TAr6k^Rx`=zZ=*|{_4X>HL z@nmEV_EvX1d*qGL83d++Mp0%1NE|bU+f-DUSE-KPfo!b-;bVEFt6i;@y!Jee$;8wpb6EA+% zvurxkJ{vIuk0pVe6AOEztI&k-(*8r9=ci|f4BASh_y$FqhS_Bf{uQ|DI=+Q^HeQPu+Era5m;BKrw|9 zq+4)x#{E_Yd;pLvrmFD4E`POYYB_zh&9K*s*s993M!9XnfFG!FU&$Z(9I!3Vy9r20 zu=~7OAe8ANh7~7Ju%5QVep5?jf^3y`@0|v5Wkh0p!s0iQ%pRAV7SYqhHeWYS;{X)> z!sZn1oJ|J(_I8UwYc~leZ4P=F_N$%^;zxg*+*dGbYXmiOo#nv#nSXnCl`24@M3Vn> z$QNbRPKLm&xck~a|IKan=$$OxG;c&q&;q?_%}$FzS5%g0GxQrKkta+28oB5CBKvi* ztLm9bm;$r-56ieF8<=!U@}lqZNR#1H!-I$+na?@>rEG<64Z4>H)e(_U1IUHtcj@}b z)X-h8S}wZEbcj(1Fn?Kc56KvD&oP}Ds``AuPp4>A+&@$!@)zxV*Qum5L>pZpT7kFq z8mbKVF(@a}EA@!vW4wnR^NUR2IZS(mRKL_&GCvvgGFTkLE-il{LD^gDfFBKET)lrj zFi;b8Lur2U8%DDu_P<-j(`vl{>l0lmBF2i#EbpBwO=;=@<9~`P`LJ&+0}-Muk%4Z( z&_ZBi-NrqMv^8^aX>V2@ zo`9c1W7@U#!hczSB(ObVp^Dl`Fo$#CMfTkW7BuiHk zFs^N;R+1-5O3FexT--?8u|0N^En~TNg1U-pks7743Z}sA|DOB^rhEE0(sFYkDmUUa z(*$~_e_)^6N-g_w4Vp>t-poVUy!S)gwOmNW@aoQ=mw&Pji#}vlPSCcZZf>m=(fV?D zmNr_yKol_y(+ccTM@go|!19F>t0NN}Z-+l@My|0p_o#q2ORf$!oMl3-I(B{rjEPuR@sfvgnT!LoQk_5+2ecZ_D)pyBM zg>N#0-^zZ?9WbWZ6B`MERVe%BC-lg%_xAMK)oU_Y# zKYo^}Ezu96;XuwunA4TPyC&0omc>H*Q!S%wIecDkD|xCmExL|Rg@dN}7 z6MsngUyCTd7AF_WVin&aDj@y=vj>vO{$ut%5iR}QfArwa=8m%nEftVaPgcUXY&g$f zjulkowh)UO&$Y+t=MRj|vN5Y5%^8SoYb!z@dZ*PV8kAI}y6_OS^ScI0H6#yhX@_haq^1+~-FufQ- zZ~$-g$R_xD6R4Q)L@B>^1^l*8CK}i*NxkS@n98|(aGVTJ?UH<*IkX-&!JR*o#RT~Vu{*22jR)L6|MW!x zj@xeQx8(9CMgde86d0&WKhPuw#D5-)YGw%qtZyE6r4Bjnf&FLMo<$KT2|bWy&Q2;IJO!}J*5e!YLI>I!&r-Sp*|EZYpbgYFmvG1 zcblkqO#HdEaa$=mJ${5oWcW*n*_XOpdws_vh$H;Id`D2%X+BZtj~eAW0HO@x zSKkN_KAcpCTOmg2_(}QXtbYVL8WpUCg5Z&UL>nx2$eaXzMs!tD#WF4eo7B!GVmA+K z^X$pN-#V!hO<&N0DJ7jVH*_d^<~oayi^X zAb70*H6vlz;k?}^r$_rZ7gp;tmSL6>WR>Tma@M8@Q^y-T8%VNE2aRe!2HI6cKMq}N z=tT=5)2?x{!5UzN#bwQ zFy)u{2sr$bt$Tnjd4Es|q?28iiHDQ2h2YFYq{2Z#tEHSnv(x?t>0E1Su7(2(;3;JB zkQ#eXW+vPMGa#TAZ{shwNIXCKex9N%E0O8~I**YKVK@{js-@>EXb1^(9D zrfJzB@;%`)$6wv4va95%wM#{P2b{oH@;Pe+&0-NILrP2_g?hH3x3jsF>d3P)DbT+M zBx&AZMK2bqaDOvpP3~BmJs~~ENGQ&MKG&Vq#N-e^>li?GQdg$LX}0GzF@GxeH z0fb_dP7r`%I+9SrocW*0arr<8=gbU^?k$=!WgfId*nhVbjk1CIN*SKi*ip&#Mu`&| z4((0R2J%>WXvkzK1rEZ9W=KgZj<2|96u7=0EC*vNQIandYNTfN6GhNQa~^G|26*h5 z7Q1BY+)$@3^8|psF!h@*x;uROsGQ&vV!j8F^X|!gciN!R+QOOxIixRYG%v59z{k8I zn?3=~I)5QU=c!a}&Kd6r0yRE1o5D83RUYe74VxTx$_g}en!Z|K+R@-JTl4*}t{U`n zXi=`aIyz3f^2)(9nUsRRMW6$?rab*^b;n1_KOTKc7lKHc#O?W;H4ZHtljdIDopK2W zd`KE%bgPrxzH83U+&pn%=nXC!U9KzG;3ke>m4AbVO$qmXRREw}x}e5!`k0iIzx$>0 zWctdE19`w16QOB8g({Kk4 zBP+OJB`_agRcLQHej!jkK*9rsdLTD^cz-txT8>a9e|TpM0fclB>-I!#Vv_z~t&h;3 z&*(3EQQT5z#altlgzEG?zb{W~Dn=&T=xU83>PJ+@M3wCibogq~<(3P~7mTSMWSYFh znMe@wt@5ulAlXP+h(=UdbChs1^ZWlIewee zx+dbdmJIlfp0g4Wi}?ED!HqZfC8iN{(_RuF`Nw0s2vZ`OZSfSrJqDx{yPZQt0`IMa z9}U{UtCy4_2(lfUZCW;IlN;~Maer@ODwa|uddC8eXqZhRHMbB92tT8GDC~B3tbfL0 zAmzn%$PWDmII^xn0r+8kK^#*0XoG8-m%h})HfX{z?=hs+bpZwbw(!TUT}sC}wb9Tr zD+tCAaE2H6Ha0yKqh)vP{Wi8bo(0(Sy%RBv7CB;5&C8fzN5|=>6r4cO+JA*MuTi}L zhje`H(B~oR7O)~Lt(C}klhyZql4PWfs25f3m2MOs{R?QorB?c>P6DS8$&sTz`!oBq zc~EG~co~O>+Rj7s?d=!OWEjNC9&JA_naZ`0Yjzu3AHbMp2JFGU zkSUf)fqJ*z1&GL1((AJq$$TrI$Glpbs(2B%-M+H(mP?uB|M;(0C~CCNNPohS0lYqD znic7=s1hR8YAq5It8UxAFDNPFW7qj_pmF3S2X91(xNIBWy&Ne5$$#2)b5&zNO8V{I zZg&M0uqZeH@}Z>U)&3Ue#^2?|{~;gO9w3x+c^d;n32(f%Q!QE7{WbYuI!^$Nuo$_Z~M!3O&r z!p{M2YsfVPjN*3uF@HU35Ez)zrn?H*)n+P%=(1}ADQ0`yD|x2LdsMi;=qes)k^_J(Hn(0zHrrWzxX_djiqx*|Hv?JRR zAVA$bAEzX2y4K825)43?|RM&IV_laJPMoXes4SwZYN`N?{bd<41t2TDDu^1dnnt4pL57?AQ{m$#&~q(eKT((0BHjuX>kOPO73 ztrSSqTOdy@1G{{LF`*?kv}BJtHFYz($bWeLZ4H^PAb;k>?&iUaZAQMj39%!}G5t&~ zR?2EcIS<9Xx&oL$`7xG5yu6It?6EA?_c+aU2+-=+Z+GHZRI356n&m$}$yt)XpQXR( zZf^FGW75d?3Z+(J(Gqtra>Hp44K7(~Rm7C_rwV^S<~0SBuQ7~~SNjRUzG`x6(eWRN z@&EWg+kZ-x)*8CXj_3C-B4=fBr6FnGxN2sT%q+J3nO&8!{?a;?M6dzw3}&eZjTXp1 zguE{^Dp1Btu{5&h0&1fp%AJs%#9Viz=$zlbOSHQBI}?QS5h)O=bYA|3_{j8}w8863 zL3$y+6XYJ86uBHP8jUou-QQ&~wzQUtMqcz@ZhwqJ_$Qh|IYOm*>f5U_0Bv;xW4Ls7 zNleiHH4Pl^tW%;9npFA=A50UH)*=WbYY{TMYRR7SSAcHCM{YkTc##}rdCvwFmOnGF zf7^rHzhM7OuTggX*+m`_L&P4ylY26 zNq>nw!~^c;G^-+<%v;|ULLgv7^l*PaLOFL%#nPoSUvDY|(rB4EpZOn8xsLYYD6P^h z2|mEtCY%WBIbmd+0}0O_Qz(U`m6-~jOkVRVFlTQ#j%Bp{BYQea@&o{1`*>>#LwVR$ zb>fsXdwuDPZxQ55s<%9D-Q0t|;`vUiLx1o}EAB9RlxT?14Z|>G=qo5Xq-}?94cV@Y z5aNP(!1{zGh+65G`QC_;8ywpNwe;Bztc<|`9O2@2oL_!c<^xyUA$4Y7*ZkLW^0YU^?y2& zTjk_Eo|iGIAV~k7XTSej;&6H3_k50uIbt~7wfvK&(@lW?b`1%H*~9&^7$gRZQ%0>X zB-b+^wPhf|R0EJo)F$YJoIDYzKT$z5BfNr8kR4?@aMX5jXN-?sYPP(5)Rh%&R_tA) zViRawQPMu>rElovm2z?;n|-Lc6Mvk~n!Hk!uOY8k;Tbo!O8dNVzcCJjsShdU)oq^* z5&?Bub@Hoax4p^t1mRteeof#BFmWlsKpP=7r_mCsKRLaW@*T|u|A=!i(Yw(!OnkK< zwVqQEf4O0;3*B&xH0HRKtPE) z6JirEyZhP899Y3Wp(9r)uaQ>E(L=f>B6+|6VdVtIqY5Oy%;{tJo1sM?Im4%QE7W+h z&7lqs$O9cvU1{63^{qy*Y`8+6EbkrV5Wvz--2ZwYtC?`mLZ(z2pwY#e0|Go`zZ*hE zv4B>Zv(y+BLIt{V!0>=IS%3bb5ebbiA_dXS82A2PrVo!u;$TmAb-cl{%VR?gwa&qm zlDJ8Yf!Tt90~pgd*o5v2JZisnF5_q-lxC`Cy(1+LGEb%A)hqj-sr8T{3RL(0?M1Wd z4{haBxNS!*Zr>Cd(r%w!4HBzv5wk5;QnMgt__M!S!t`7@m)wYpWvY@}&*cBuPtBM;Tc&ZHEw2|^Ve0OS zZn5%Bw==9(S#?3kj(=)fn&N2+!y%voW8`zts9FJ6H2U&C{daFj*n$TU$r^61jL@vi zwyIHq@CqbgHu0J@FSSx8^OzZAAuPP9TzE-yE?{?ogT3hZBe5^$pn zlHu0juD`hish1bMWi5f?(T4K*B}RXcXt8=3-0dj?*8%az5n08?wMXayJ~h#P4!;Ang>Wc7?H}n0FBf~ z=8HXxdDdV3i77-BdlhLhT^L-q1s z4Zm|(RDq0o4Q96P>##WN!Lk?rI?$P(=y@nbPmdN2ayyh?+Ou%l&fn+BBz$V4(V6Rh z4pKSXv3moiYVp^@sU`5`uQV0x?p)8QGatUrM6gyee(bl7$abV8eQImpS$iiM5lS?E`sc;C9YH$^tWtPK&uHoAo>Tdwed{qR6salcH z_ht^U^D;!@AK`c1IeGgG-_4W10n{>`P*ptSG51hR>^)tyh1Gye$&cb3{~+Iy&FgYu z04I-D(|S~`*4i~-{k{z|o3W9`(&;)(t-5vc2kvGRWq2PyX(m&p~IFURi<p2Lu4+5IoeumOlYA0Y0?rJmz|UX8{nwdq@VQCB~8N6#0ch{XR)&Kz4ha z9os&MXws<`Lg^dDI8~QrN&D1?LJR*Wm`JQ)tr<+GUK2H1KMk&<8K7NRGhod=v$|)# zZ!l66kP42J)Ee0l69c0ZF?g1}(!GjbbN?C$Il)We^c`rihI_09i+j%ZO(?U@_(b8a z-OiJFrIzIESR*UGk$4DM%gGUOFJj*>5hy*~i;ku$UsG`*3~}&q*&(r6i%GQ}4brm7 zq%&Lk55B{oX@_WU_~$Y@(_ppNfacEgR3`^(8pP=AGK!k>%yjxctD6vF7V<=c2L^J< z{s}1NB0%5)vw*?@(vDU#YR_--{zrJKCP)$o+3>_AJWvNErH!%4ZxZDwcC1y-z z`nn*f@XrL}lPgJRs*sVcpGV6!2JmONEovpNj!Xi(!}Uk=4AyN9N($q9Q1@BH_;IMF zK|g-mk$syg&nVeR%FplLvP7s=@V~C4(oyMf3QE=$7;!CSObR;FVU>8|sg@y7FyG`O zxt_{fq%LLH;O_g_T`Kt1Q-|EApSJsVtY>Vg-=B^GFqBJBHi$giQ%Z@*?)HroSKJTz zX;ulC%^l>d)y{5oe8Z$64?{}X=$+ZrXyQ`^C!>6RQ_|VCEO=}lIf7I1Ij*Bs;6El5 zJSo}U*KG_y7{DOaTHLJac>R$)gr!AOVDKm!5~^>vKg@GmeNn!4m+e;)eqpz^*Wu?9 zFHh)TD_I(d%2{-q7gTVo)&-!V^tRs9F^>pUT;~#r@ z8gtwq7fTD%N7dvA2MMRXf7AsOO$&U%545SCCHv@Zx0W%@L7zwlEQk2;5_}U94D0z* zS#>9k`=n-=#bSY;#~stp-t;sYavDNxPSZui+_BoDOU%=P?v!cR(PFvr<3Eh(U z!(a1nkoxq&qKjwm0RHlBb$lWRIUgvTQY3@Svyo?zO?WIgR>?3C^MIVZY&g*@#rBAH zD;kHfAJmbrUxYvUTloIYU_ioUs3fyO|M?fBiP*a&O%1N^bAdHGzea!|cX=0cGZbY+ zObb+qMHQ7fPsGa~L^;>MkoHYhLUn6!3<3Ud=dw5-40E26^E37NSaO~6flnaE;!~($ zs=Vt$PdF>T3UJ%PspxM(g#()9@E}!x0TFy4tAa!6Vg5Dr>&n$!Nc+Y)v+pF5yyWu_ zhNsrBYNA`flMq)82b1Hv-vq%1)YW4FzuY_+g|B}m>TD5)pD@M*Z#v@?5k(I-k(b!X zFO^pd75Sh`7%HUm1cBy*tVb9{Kp{Iw8KbD?=Y%MpLLn_Kqf9guRP?jt;wE59| z+evKX4K6#~#k)QDAnu3?H^Z6BJCTIt&3BqG$K;K16qR3$KSvdfkqN0M@wB-_o7Z=c z+8xZqvWO`IdZ4y3Z2DQWnoKbLdQ_PW{N}>5-U46Vj(lsDG*!4&AASPYCa7xA`#kWh zmWo|j?LP`)=Mh=ZCxn|hs!ues9;zdLDti(w)wSTCHz-%*AiNk)IEt)0glX$|(!e!) zO9VNQ0cZ<7YTj&(8I<>VclsaD_cOSE z5u|?U!(CG@v!FMD4gCdLs%Rxiow%pcZvZ`%0BSK)6;}?tgYZiYq1Bm++)SlK@f}*Z z!}n+-r!9U;INu%hG2cCJ<>-*ot|HMZL)R<9<$R>2k{-Ix;d0B1;{K+xVmu{BV3$Vq z2K-~zN`_c;kw3kXfSn=ffFf-4x0PkHuITlyS&MM`IVx?iW@`qtnSP&Mnl^}XV7=m2 z<=z*d{N~mnn@i_(ebM8w>gRh>iMxL_P)z~{dp zl@N!&9bdlkvSUa`(q`g_Lf1_EL^`VZZ|8?z%A^JXpv`MD2PXwFvXl_lw#4E%KGHZq z;^+WlR{GpM!@~*4VxV)%#b(F1Jd8+(IH#D5p~Xk&gQmiI*;Uy*Wc{}j%Ap;>zq91f zpK;JEv8%K2(8T$sw~AfI2`|!>_-{{K^!*{U!bj`rw^al%&Y$Cpu7V73co$zi#RefN zN$-TY?8N?*6>36&1I7XWg+iEi9tXXsAFl1O*@4i57<$FPYxSP`SY}-9V=3!k)>-Q@ zd9Um_53DXWrh6j?Zh8v{OtByF%Y^ea%z8J@>q6H?20^c}H{q)&F%c2|6enTa9H*9@ zSgPr-3VL?mKlHZxt>W*8=`HMkFlaU0B4zoMJ4O&*1Quo3+er&;7EFUtkZsBCC?G&G zG)2*CS@o_1dkM)jm?D{UD|Ac!yv!0Y(rpQXK6&5drCrR1t`ea0!(O9fm?J^`V3xGE zu*I^}HV{J0ekanZ+0n>d&dCO3JD!@k{9^k#n#>nB?|7(KoZLq3~Hoc?UcIQ3PS)TXKs`mVsC==)duUdW1g zp7Z#;M`_Ns2*m)r!NtvR9L)hjrMR%`9n3Sb&+N#DZ?mIS9kkF`kF&vOYTXYxUAECJ zPz&b3N5;==1-3nry^`9MeWWV3i!|lQ4gs=b8y{f0F*$dwAd5D?lP0#*|Xu{}ih*EAqyiQL}x+9Vn9Zw`OaWqjp-+-kAEG2v7 zh+_Vaj_?5t)G0IAC6Bk?wK2LdPvE4OEX|4A$9Q5dcw86Y|XRy|C>|-psBT#NzR2q$v`2-bfT>@$?2Y+ul0-HY{Lc zW&09tWePjGby8$Q(gS)+w(z7zWA)(w!81|-Jwd7knmuxMZ6rKdGtBtLdnUw*B~TE? zr&;`9rN2)>YwXs{m~~+|^eTN;;P>ncs;C7|E3XTk25bNHFWm_Qqt1~mMUx;0+DB)_ z|KO!&nSWpwL0NY-ct$av2k`g=x?eK=$!~k>xEeX*tOg)*%>uTYv8kDS^)uE-9>f>I zcPt#@dxo`F+g`R1z5V#uLcRUw^T8rybNmW@dW4rd({0H(ONa$23BzCWb;45*@ zWbN_Sf+_j#4tSpaV?ii=bn0<_o+n~vveG<1a)}ne&muyXA(|9qLfki?qs)Yb7qbEt z(@QM0)yBXgB(x*PZv`mh*OMH^0YaS`K&Y8iiw0NGziH7pNjA7_tRu=@JxhrJ25}Tv z!D4nnwNafVW{55u(Xeu2gM&E|dVkKvlf@%N$6_T*#MgI4?Cn2Z;9a0w#f3km&4<7Mpyv`i5Bt zk$+V%S;rozaF?IK`b2~5t0Ryj+v%ylpqxDvGQ*U-?t;sIQ%mOnWAF?zuh=(n@s_|Z zE0q3Du)^N0Lh-4-+T2Iu2@_kxy{Dn)5_|8o(YsHyHfCFI<@RNxO2& z%X3<{h&~)iymhT4Z@Awi$TmWRzvdoFi_b@|XoOwrNta?6rYl;?bbkCYfpp{l+*rRt zH^W+}Z(@%f7caH~7U4Uiik=4fXlBSML+FLS#V(R>>q*~VF?nd@Igql}6GPj)RHC3? zS4y;ugdd~7%skE}5Fzv=(oj!sFb&-=YHZadbn6aCI$z6g7-d%A39DcbB#{Xv{1wFe zNEP>0%9i9{egLJBn!UkLUiNl!WEg_?6R4uU{FXP)BU ze_>3f8dZQ&c0^X<-W=(Sn~V9{Jz}tHnafR$1xHw+8eH_|6-IqtrA!qr#_WDHh(PRH zY!0(nOS3~KUt_?@+tNUDEaRz-O;ufDUKa|!!fH}auO+b1ju5Gk)$`KG{J?2tJuab7 zt4bGBVNn7ApA4@D*>O)7T+&KKhTGnpHVrv7EsoidD-34(z(UeP0%9ACq6K1ksd8!l zUg2VO9Ds-%nHd@e`?)TI3OF%Q zY38E+!>H*&kozGju=KJWKQz?o+0o;uv>`pZ2cVmAHH*Y+qe zlrQ!02x2Uu=~V1hZ(#mv|En|>iP4zI&gm)-)L`^Rw!*=xh@XFxa+33v8~b^&`sOV6 z=lmb;(kEcZWHfwuuurg1%n<8hNemm`jHqE%(0z+faI)A`kIIKNo)l6YXFYAp*u{WDd0Xts~CiQL;@4Lrgm-eSqwO|50j&2O%#-NCOkzMZ|aqAIqd;2Q0a1% zr11jOUs%_HdP5LUf6Yt3(i-AdJIDKcyqm@Umo2>a-w4dhzy#|v@9(3p9 zhpzLq+~L!Prmt2Blg6L3bmwtg@X(?Kg&sm&|I_4T&3C31kBEL5X zq)^E5zQ2dT#ZOSh>{8Et&F=|&aDDdAE_e!?%G(?gHC#67Hpyc5L6>1^R^(C(*{Ls! zT9)tWUa>Bsl!cUA#f}(m58>ng;J<^U>P(we9Az{O^<$@BtSDCx{KPn~Nq7ah=T=XH zh5fL%O}an$>kc2Ut%zBDyFhvC^bbCBz3FzIE78tvD>q-@yPo1FaOE!^_uR5}#K>RY z;&ptF06nxbr+*n}-C2lJP9Rf$w%IVSBxe5vn@|YoPQq$49E(WuNb#N`vsHhMI}T=B8E!p2}DFQe|(wxK=o8fYf0T_#(}bA98Kefro{-Gm~PKr75nVZ_4asVNzKollFg8PfRpM z3C6V>I~2v^4h=Kkx3>)n1M$s@*pg^Q@JV4#O+a7{6o?C_S>|=cN?b;`&XMiXJh@X_ zzkD>C#n}08(qj}x3+5XTkF>>2x$0%-;_Wc2tJ@zHuZfRvf#|e*5&&niY#$ol9->lp zd?wm@lOv3hUy*7v5I_%G1|^dP$?r|2dfAb0Xwag%=C}f}=g7|*N-5ol+1NY#>feph zd)W}7{=V2d4nFStkk;i+uMwXbFRCkNM<1p zoY?x#EqjERfak&!F+~H&*{I&>1sSI~KdDn3C0lCX^yL0IqsSZfi>AB?Z2WXQd*{_G z)oU<&J+LV*6_X@0_{9Cu!S^sKr6!pvM|^TlPyF`C-#6i2>Bn#M9mO=aw|j}G>JU@lrD)j#ICUP~N_PV)=Bl~f zQLNkq3}+R=TkX6LE$e%Z6?%5~up#If_|_x1e{ydJkweIF2Sg=*EaJ%gfvbkW9D(TW zRxkyN zBSIc zWc4kcreT0KWH;B+p|HS*AA*if(R1h659ZVm9tG%I*+G?@^=W7+%{{ZJ7yQI=$F5O^ zupR*kBmO5xUMEI@q*zg@+*h@TiIF|rOwdSSlgSPakKX1k{}~NuifrlNZnGU{)J<1T zXI3vAQhWDHymrHei3W((ul}%JC%*z(PWqmm{JDr|`QGl!l!4^AXZ+5dR^A$jopq-J zhYsvLo&qMKUTNF2yw^{vaW@NBuLR6BV1@Ir5Vg!;6XHxZ*tLEB;jvA`y!%<++_>^< zgVD9>!jr*w^Y#*iI7jyTl#z|2e@TgA#?o4;C@pS9*WP1~`UwVWDud5U(soAfG*x6U zJS%J&!)|aiw5Vr@7^U5D^F)+Dlm_6~kP8g=J-v0x_uFP+F0}zifWCjJXc&RdFX-mz zNco(7em2LVb)dCRSZ!vQ`%>C!rwq-WQ9&bL7d3_jNdG-@m26x!A9+y)@?V}JUGZ=; z)1isYx!H2&6PD*^4s-yO9>Ov2}%Q z!@1dobsO2@q_Sr?Z7i=bQTdVB=lI@`3a`*joC)S>9A<&(?#ayLVolsfZY8pu|^_*e>H8{!T|<=a_9bqWYku%hH>Mg}@JcZra6 zJmkjo5xuMnmJ@N+%Y`+|myztMy9pMwTfHsUblKu9Vc%d9rD zim(pEBEN^h>g2M)=cc2nwsb=#lX!JJx`$&mxlqCAUaVOhA+3nG5vo-3YY=3m{pdqK zIJ>rEwUD>DHQ*Cl#-$-tY64zPikLOn3$NpeXTiM0B%oJe`dbz730QbH9laCS(mVcD z7)ub2DB|5i!=0P#ueklo4?F960f*WI{15F`f z6bd5j|B?BsM}CWu&Aa7tI+)WB6wc}Ie7G0uS!uXXV%as?=_fEd8ZZ<|ImKR*3ZWNy zRS{~B06vfIiOx|Mve8F; zKJ^-U6o>q?tDEDsjWj-!G|FA}tMwT}3&4tO@Q_tX&9ghqldWA4Y-A$v$zQ~1LR3hK zCq0d$+EXC=lxTPG0M41TCK)q`@cn~6u}Fplo8FN~lL0#zNenoujkoxZQea1aL>`=H zT%}&RGL%8{x>4EhV_8|1&`k+qlXQC=(c~fp{54+-y8iur_v%#_l+^j zWJDq!HXE2~h*KD}U!aKdz!W?=yos>mSmk0w_s0(kR;wh$N12&mC3_#zg{!4PCQ2n; zQBCszTpZ#MRZ*ah;@DVKv_SO!@5}h+vj_%^+6Z!r{PFkRjfdG5-{mU|=-fIgG0J~J zavd=Y9}d2?x+o=Ne%CbiOt@=TxUMR1`%hm|TjwnIx-N=>L`xZBS_`5xn=18lDaomF zZ3KZZG`4}hT89s0gD_d0BFlbAD(En`&ugwUX#dzWKHh=(H1;v2m6V(pQ4WRQ=p)l8 z*BFCBh8pxOTi`~RM{<2wa`f@Mkbg>;qR7$=fi1+dsMo=PUOmgCgKYs0&Ds8)`J{9s-VEEQLY8`)`A;Bk?%S*oV zSs-54PpwBo5?|j&-$lC4wZPu>RB|_>NNdyo0MVPLAxRLy+5eM+a}AP6ADr{QG1k0L zGVcEYW44UdLuttU4_w0a2_+55!psH&H-@GLp6ggTuW~iNSL+AFWqFwfYQlG(q|>g} zHOS34R=O-qz-kwpx|&QU9MRvN9_sq%OKJTs;^MzOQPa>u4ZmkRB-D*;G^1&dgHHh% zvL2+WghnJC%dt#WDj@;WLGn#ft6ZGS5uV6kd>a>I`6%9`VsBEb(a=bfJOILP8?WL$|e6xf2yb zoTne`U^7*c=dSX?+|6YVBB!y8VJb=m<}(ekSdG(L?Nd`>zi6Fmt(_ir21v2Yx;bGpz>-5#vhD|Tr8E7O5 ztD z$N_qY-~c8lVsMk5VF)WPNn_#~$`;8~rKlj7P&3bPgg7{9mXSuPLh@FN=+G+ha=zeX z^4g*wFrlc({7^)BweiFT@R0p*fxqEA$WePIe)hrPpa-|r{YK@_gO5b!z)V;Fk!_W7 zAX}MlDQ~Te3(-n^E{BbmD@Vr-6#hX|4h};o+Eh|@g&JzL{Ccl3_!=!ptDhV#XhK8} zagubst9+mEzDsm;ajmgggE**oV>rDVwqHm~IgeyC-9sqIV75Q*qBKVBBQkos` zw7C?PlyE6W3Qwg?J^?&4%%Z^rtKU6(A1>^7B0}wHbhIb}D`p}ZiR+35;v0&@5hcyu z8sRoe3Em97!3*|7v%N}vm7pKMc__b5DfB3DcVv#yauL6$Q0FmM0-eAy`N>gbmqkF7WThs;Os7|zibemao{gY9;ZY!=Idsi*uo8gz&ZCc3 z3ravCW)w_I3GxF6$_WjI4Mlg0v@$gO{lQDqG^TLkcSc@7OWQ?60T0?j?~SPZAqx+# zB;OWQ8}a=njM_3&Ql>pE=HW^M1MJ0uWly8wHjs=r-kTadCmCyAmiU46Pid@+EwC*8%4r~pT(g<8BP&g6}ZCHjLK{WL_CPMJpe0BUgJ^V73G9I ziOd^`5NkaTwIXPIsn{vUkgYI2fHf8^X))@17qV%z*==!;?H>1Vp${r*#-{BtL4aRX zY~=b)#h{_pIUr|y+QM%_gQ3@}C)MbpDw#C7JgsEKSEH)!L&TJ>gJj;{)oIa;0&wQV zW=4W-dP}PY9;e;F?2Sffn1;dX4PZRSr{-VtZELv zTQwlx^m`jlZT!vcB7&)E(`Y6u64f@2XIt*?y%~uF_V?tsVktB>J+?!7YyX6u^8_I})lv)_Cm*EQ#1l!&(Bi?d#6=_N9d6!|++u#CDCTS-~@TC!aAC7a!M z7o$J|IF6eL+XCInZEd1SF+fMln4xyad!hO@L3qQ)&3n$U;Z{vmOc=N9P&9|#I^>UG z$0f2XpQg2%r%sM4tzEh=WlVsby^gKYNj+U($pK5a=i1zj#O2g$ld{o@Tt*EZ{d-s4 zDWi9Fi@&yU0P|)3X?HoD?kFvuVS#$@K`pp3aHG}B4N+)UVs+H)NQ+EwK12z1Uv_b7 zUIMStG)a)yxO>^C9fI;5M%sLQOuSP~-hQ;w{a>k{&|o=Ylehr`B|~(QOI;GD^Xqv0 zWXzg)!$xkKPt(2~BKr8gZnU61XI%PI>&48XnnrMunz_5C%BLj#vVK5h2n-e7!%Mdf zuzSVhR8GTfo7v8RMTf`u{X1cn=KxYQb#eWA_W>oYG9Ga zCEhgSxYN4hK8TM=^U4%qw2Ci^VAdf8eiq^oy7%AnIO^$gr~Hd%J0m%$7;?-*r{NJV z84evN_(y)Ao4jf@f1=_Pt)}~HG`~T+%hAOm2(0~&Ta0E@LY;oeUFK+RajpU;mNV&qdhXCqxQ40RZW4Oo5wCdx72b5BQ%alsq?n&-Ei!1k%#AP@Mp1}^W#%A9C1_mWXWotd>IcZD_$X}R zDp5jRa@KdGRiR_->}I5nVm2Wd0uUY#fsKEbMkc@OY6zJh4c_8 zExwWYW?9Xe1ESwR`7&maadREny>iH8m5cAOq!h%?)WaY~3sg%%Rvq9@bUPGNyU=c^ zCU%a;KK(t97Z561=CT*AUVn-@agT;bbGBrP^u{suQ1!bCwBXy;~cUZm+8X>TcOFwhwI*n)8$F%A@~6(3D3YGx7VVI#*Cms^}Kj3jz#UiTUMQJ z$ieW1al4!c5s2Z=^e@rtP;_x(w&eBJEf5w38XDuI*grP)>rgDU$8}PObAXE4ydxM2 zwNpalW2~ToLc2eGx0vo4b0L{**7aLL+U`$WwNXiM7dWRgNt4GPp8B0F z3~NJ1Y$*c04C_|#s=P+M0go21KN%NFe;KwH?80FLiVpPC@f6PEVT9jnhGx-lO2d1m zA)f?2!-WW3k!xdYYfXuHJ5~}|& z6DzG%_vrG-Av6hPu%tTpiH};CN(C2F_N_1H3y#6rN-P=B=c>;+XDHVxwxOQI_Q$y1 zz29{%&+Qj?E>{j`$kW+#Sl^hjGU-&j14lCgq}O-Yym*73u%GXCwh{TIJT%8(W~W`% z6n2AvA)7aJcb&eTUN;x-pM2ha+IstF2^R!OyUs}1hkZD+j(fr$FpVWyrrtAnl;NHs zO53K@%l?EATISww%-w#v(V?Jw3R@{(@4v=*RB8f*-yW#?9D8R7FEs|{t-aFfhc*`y zQ7tuhS#oBKqx3x{U^}-!Z#S>^rhsh?pTDv|zj1RPjtO&6=guaf*mbO=rb<7o-MYEL z>AZl~?auqKb?G}_4P$|Y+hrs6M)d8m%(-f*LK0;YF^jdO!bsDXTp`;gSxCVJt#w(o znB@I&#8B@$J%%^D4S0&r5t}^Il?A{ri_~hM zW97Yd^6DY%TfE?&G7HFgBLiydDZep;NUPgX*al= z4?zsG-1>=8`x1l`@U2?x~w+M@?p`{PL{SW7t9g3nX}$k^%8l+gY^^E(d~ z@8A-n@vUcTS6l%E$%k*OpFXPU1JA%^E~Hfbe!w=ZdI{9<4q|g!%pdTS`Ta&}kNc)Q z&Nsx*k?!luH~lyLfyOhhnX{c?cdEfzBx`~MJyHc&&xv3wIxB^=Au+>j;Rui`>94TXq zC1r*4{y$WTgjr{w92ygwdHAub+HF^ne_S5bCra>^A|?p(F?Zs)b88L@g?cwkO`6ci zE-!Qb_yO09_NX^`TH4d&G2Vfn;zLzBKb%fG0d7GvVY$1B=^mRsP@d2W6ug-rV~^s2 zM%hN5YLtU?#lyK}(t(#oJ?W@XK)xI4fM56L!QM241fH$sJHGf|Ce5$ z=PP>=mN&1)S^||#qEVn*%v$DosBU@1o0Jl|E#uO|2Wo<%B2suFwarc1f282^nxKV7)bhNYW| zW3!OrL<|`kAltZLx$2v^*Jpk5#^T`^4svRPr2w@^K7kdWNe>9R#LBV10WkgfHu#JI zt)7_h?b$(l@81{*rOXkK!7%eVJU*`lDEic2I#Jm2@?o`JN1h8?ou@`*eWCng4Lj~-rQNFOVX4I8*Zr82xe9hgAz9l1mgYNQ_3D2I6**;VKcCJ=id{UBc zm9Ct#%WuG!`@ppzsgaTE0f0Ai2i?mP2yM7VI1^7 zNKh>3Ysr5Tp+_M>>FLmzEd?OxCkSvrOJ+JW5+no{GpIZZI*9s<7sSj($IL>-%uGdt zz$9;PB4+4fN=z-r!@|tM%FNCT0Q@Heq?Qd`iNlG&Bw^{~>_W`K&5pn%XKH8eVnGaG zVdMU9v8F3k%f3Jg)qnFD<380Q8Q{w~V^OF(0Z@=T%hVf(bdw6)6IvLo$O3i`qzxJb zzB8+kuZa^7iMwJD7@^e$Sfk>$LMBNQBRi1#le6ebE6u>r_88(*gNxX}{|3*Kfh-bg zB~IBZmEv~jq=k*So>WF}6+%;(X8OpBr_I$h27fwILB zFCz;8kUL@P0dkEYcj3w~m<{Qs@N1|SkA(8^fh-})$za71f&FnQ=mhzYutdM93(29L zl|yEsbfxz&5rEWCDG|t&qLFu6S7ARE9xv4|A0ER{x@H|P`C+#!=6T`u^xi^Wq63GU4TEnC>Z0Q|nVApO?YD5E!nU~mbVP3c zsLVqUP>?3BNw^#OixBB+9@x|EbbM?X0^gF*;(*Dr4!J zCH*>a+7!{m2*oe;q|Sm0EI!uae`$|aGb_P232N1ilvl=97mS=MhrQq4j^aVOIy3xp z)fS;`oXedju$X^nRJ<^`dD5Jj!PM?jpi7pPO%gtJ$(>)F&EC9^QwW2$l^tj40II{S z_+wDgo%WpAOnN!53kq~lYq}y@cUcf5&R1$ZvsW~>n7cAfto5A+&RZH*wJ>SXKv=Rt zc0kfE6FyuyxCkEO;n7>Sf2+NTvJ;9Pi$tz<@m{+2c-zYMHFG1gwsq&8UoVnXFX=n@ zZ37AV|7t&mevJ~DlCbMQ|BLK=c6U6&kEb4hCuPa|rQM5l zF4Erj)Q(T|E4vVl6QMx3GfmA;89KJED|4k%&2@)MqBSV(#(mF3z-Y*09RDDetjUkkrvh}%dVqIqE@@Y-3SU}A~6yU#F z8K<-~U6ox5c0JS2={BW2c0=10=w`$4wvCGJMz5i1gz2g6$t|2XJWGRrFap`uGqMlW zB(EMpHi(r3!l4x&guxNr=-k`{MM&^YPIEF?TGV>lFxP8C4+-mhP*g+?)nVp2*izel zzn(rRhnR2SSyc7XXCf`DGl5z>Zb1|@^i2)RDu)(}A3#SZh03<+b{8_8HHTSw$QaBb zyoDpmrn&Oo-zh0>vNuT_@M9~q+x1ujV_2@W55-BUP^#q&*z9?DdKtfqi1e-tEP`0R z-nR1;TPzEnuam^5PpMIYAUe&PzW3$uv)3hgIzhCt{r5{z4hVzGHy}mi4s+zYy$MnM zf+51OfC-Uy?PEX&wepC-^ey{_`I=^f?-uzgTbJ+^VZXH@VwL`>MOo%$5OWv2F7Kc= zsr(tNDe_8}37k1}ttR+laD+_*C2G4$? zm}(^Go9f8h+(kM=Bu7|1{osCZ$QG+nUs%oKLctneUShQ*m8!G;aZiVj-qlg`xjY<3 zT3UowEw9`GJv{T~m4tS=P&3@pSu2@i1`eU}d@pl>E(1*>(yVEtF z^wL`FSBADEG*Wm6yB+xl>Xa3tSsO6ejkzw#EbX0KhU^PCRb zbkBsBJZK$fmY~@uOYpyM6uWH95|PPZ@hv|7JkB>c6nIx}-y?~pjq!X^ipBD+(8fx|Sd4Jf?PM!;vf~)s~MvI{dkT?OXZ0raW6yk~!2>%Cw_MmfB?wsq}?== zbkk{PyBlx!A=&BB5@fS0kqSxK$#nbQdkz3zAk!OLlI14VgG~t6gL4NyG8~k9A`?DRDk6->qtn^wZNN!1o(K^JFBWN4jekD<%YTzs zGVw+UB2)}>n*Mc}=G7vtHF=Ze=L`M!F%JVANrTgILIc-aj5(C;bUqPOCM1kiGhdp| z#uF}8kS$jWz0|oIYDj4}12oAI4M`Fv6epQ577-~06gY{cvU53#fSS{>Qn0+Bfg`6O zCF;*YLl{hHLrPYSCoGPFA|Fp^pnu(uxqa3by~>8xF^dD78!AOG1r`7gv0J69{%8TC z-NW z0^2zcmKw;mn=61s70k$Z5=A2Twm=%M@Snak|I5dAh}jJ1ESMUVF?CtdmV7>YR7m9d6_7{5ZLx*|2J&1Yt4t8I~^2i!!S(mcZDUA{hfp2|5{dcDub&QWg># zw^nzCw0(37_wCAxJf=?H;xK@9oa(e~MpxiD(`bI1t$hu$Q=n>KOMhw~PD2c1Xw1Q- z#6D-v3({&Bm=a^Q`qW4w5se98F3<6fOEEBe`R|9=VZzqC@;IhbO zJFFABO;LZZO^w+r#F^e+V^m{yEiV3K98{kWXnhxo&{~YK7T10U0^KH!%X_@-=$}Aw zbh+*5D>E8)Lhn4oHmby8Nx1Czdr=lw)z$*u6kY_&Can*8{eRud4^zEDEBksdjz%G* zPF!qgckV)12~y2UZ9*V8XYl^OWn=XCyO?`n6Jo;pY>`b}3>$C++`4@0f<3C4fPJa! zIyXc!q-}lmEbP2UoTVbGZOs)plcBXBO{1;1&+?i6FtiG1gmnY~AJT=}ZDE%Qt^WiL zD#8=#yV2Lshkv0L1}=QGWpLT6^xS$S7CNRueO}}fNF-_#;cT1!P-~!TW;@g-j@XFj z#-w>(v`mHHMLx7q4zi7@?6&H%ih-?C-gZNaHnHE@0!#_+fcM;oS2N%~7$Zq6n(4mz zTbBP-=RS@o*;@)nL4!h?J&6=(JC>I#thE_4 zcDkOS+kg7j>lo=U;9>;s(ihKcmf`x1QDUl{qXl)2rg02lOppt$v+Bayt@9Hc5W}hdEF)fi4B*h zM4N9tc3t9L7oaR@JAAcqJ?8sQAUxWL)N&h%um~+Mw*O3Duf|G*dU-YLWsOgsjIE_q zTieb>bmcwXx_H6`QCJls(zAga!TY;lU0Hc;h*!i z)-m>LtYe&lFMD3^>R!XWxYye)W(5D$v#q(qW5zI+;I3Zn<(4(0Z*_@R z)>M7+whenpyg*X{zG{F!)_Cofr)LHhhu`K#k0Sg#TTk7z^+j4YB|V5NNJT;!dzaux zWw}XNuD?hkAwJ1IT4G=c;CHF3^?#zS?2l|r@y-{EseM%G+`-RWaUyBtg$oP2Od`R8 zc>|_z#MPL{4u82ByMQ@6EDbdW=d6b>+rh=FuJaJkKX?ZYMb&?m23JTI_O91pGp?>f zat!Vt!Gx$L4N;YYaHiS2kVeQx>|s!Fglu5jX0jcH==Wo zcM$#l!?Q!kJlxfao^HVdQ%QNx*u0vKx<}tUud4M@KW`FYdv^_-M}LER+Cxo=wawNR zJzN!7=@i^N&OW-+j|CU|2g+%YoAA*vt0p{&M^~obazqmbxjEiQEJklm zzPDd{d)6eWN#5g_BrNv6Y!%5UMpz`WAGT6K@x#_QbSC$F%#vU_ElT$tW#m2*h#dBU z71Qoxao}AyTY{ehwI23g>18@A#)1XYft5KYVbmJNOjlFz6-RgoBEAA{JcmBwmKaYW z1s3i;BN2mB0H^;8%6UJ|3T19&b98cLVQmU!Ze(v_Y6>udoJMOt84SwRyV1?WfK(XS+)fF{dUBQ1)>RsqDineuZfQnUjw~Yh(B|jM%w<`{%PgZTKMOFGmCF$N8e_@E=0TZnMYsIH57z|vGN)nJ)0H!#Y9RDA zNekH$z@#q-0-IrHXs0y63VeB+e+S4M7-XByyKlJ>J4t&s8uVR7{oz~c5~~soHy@{R zUL}9}fe4a{n4?fovQ>j@=Ok^^(086nd>*)tQ8@hK}?%c-@Dell(cwMg!x_f9j8w74@+{af%VPU3a>X+38g#c-V#RPSIzC9<^S0m zdsB`5hUGZT>C~ywPdZ7+c`9ntVi>nq22vS@%vkOChHimS1n@3g_kmKFa_|(~Ta0W^~#Kob)(I59N} zFHB`_XLM*XATu*GH#C=l;sX=~Gc_ySrI5 zi|&%{M!HKxT9EE8>29P!Ql#NqzWbc5d!OIG-^E3YJI6ETJ?DG?Y6=x~W>E`AGoX|s z$c>qug-rmUps42PUQ&jK#2?(XE|=<+{Y#ML!4rI`Q{qDmT) z0H78VKw48>h)7AtpGHx@@1D;6jFfB0!w+qeQe9bJFy z0O0Q~Kzran!nlJhz;e1-1OHXv_o@ICY|McmSK#j?DaU^~9l%n8lfZVje-i@>;r6?x z{lCHiu0Y^_w6QjI{U=vJMMVMNU}^($1A7HSUCa^uWCr%W{-%GP|Gi?SAa_@vzqI+!$2NBax!Sn8x&Esn5MXIz z5B$yE_4k_Dfc~*5iYm!UNvdlwD}VQJ^zVA25()wUJ~kczJ3kkI z4LqchAPaFv2L~`~SES$aN!WmOa&vU?X8pf|Z3lAn1o{3y9F{g93(McyTeyEav1)>B zoZW%468{qpHX;47SpnSuYyhA$0O)0I&HB6HKlAe2%>LU97Q)}x$Zf~z->HwtsKbrn`ps9n6z4w2H z{#S@L@HbmJB}W$rQ~Uq&*|5W zI=UeJUQixx0ITS4)4vc8fK}`d;svmZ|3Q2JR*64|AHXX4Z^X+6V3qoV*a584e-H=w z5&j@f0ITdD#06lL`-6YLT;%^CFc*bC2+T$C4+3*h`h&n+l>d$Rz+6=RAaHlJKM34i z{SN|n*Z70L-8KIpaCfag2;5!!4+3}B`GdgSb^nd{!I7qa5IEB8--w+H9BKw0S@3TC zcLdmE{%^z$jyHF-2M^8vTDZ7=TO1tz)MRG^KcK~55Ue)vPX&K4?|%mQuK=(FmVY1z zxTB@bp9Id|(Bn@9c2018OZz_oztbJvUH&QvPOL4mY_s_b zf;rm$1;LWp{RP1q*#8B=bRGUcb}+d=mAS#GAn<z07aPaFv}Xq^;rwS${6_9T*MD~Xzhihf{#Y%* zC;DIG!28?d2)=;K?EixSI~U&{&wsM`eU|*o^&@GAVZM(kk8UH|Cx8v#B3S`%(? zxT}rVUkTv4f68%#HE^?b0sb{uV6EId9sf!Ivv>asf+>G{`~|_vd;T?a;OxJeae&Kv z{{_Jk`TP+YT*(LM@~>9^c_^ySS1%7n!B=P$HN3Qw5 zUS9sWD#3rp`TyeIZw>$;&3-yz$!<+*B?D-V9gBbSw|CvgaeRBlyh@`qsAyd)g!L?) zV{gK7vB&aS!XWA(UYhEFbbGzWNr*M=6gmGXg^Vo~eu|;n%@(-B zmZZCP-dNE*g4d67?La1hAPuAJYDTQOt+&F$aIkQQOgduY7=hq5<>PA{JlI0k=(dN zXxxK1Ag?UD(dFwI+2Vn`#As;&wUD8a=**|qGI)}QzL#=bbK?`2LKb)>u;THzP{H5% zIAVw1_K6@j)9^DaMb!n>Lp!H6<7zl8u8|=D_Ku)jM&gp%D#H-7yZDbduHl`mNcVsE zi$)#=Tw5Uu!HGnZC?;Nwt>L}Xr3pP9v;r-nQL@BJLr?n6k9CvdBXQ02J@v=b=t_+W zn{_c-%h6A>$v;LE%R6xMXsQN3~ktAZ6) zw~_E`;{~MYnD%jy5iRFVg2(is6$jT0?K?pvnRv)`Kg-=EcNb<)1K7IM?ryUp-0*&7 zw;7edtD~wMzod29c3*jx7i)VE@a$$@QIxG8RU$!GO`RvP*Mr14ILMXfb5wsDan+HJ ziN3gbUlZqnQum~hkgs8&pBqU#WBp-;h>dUK%SR!vzk$f&wS|oidxJTMWt)U@-{ti8 zK^UGW6c+`@Fvm<(%Kof=aE6360!(By03;QWnEd4VIopFO(Jx3yRcFi=n)Mc2oZL~S z7Oqs#RzFksN!{C;&=q1hFqeP5D~0c!t~M9pkY#jwld3p<|BSM8`_rm~Y_SCWIJ|8h z*+RcOKqxz-7!iuo_0?S#U)(|hyZ1*ff=tN+C$kQ7%Rf)cz$W`V}jbpOXJqw&-4CQq|<1I%!=fPXaF??p- z+(FfW29F@R?df5M9Lpb&&6->cyQ}E$nK0>Xkvsahc#3sDG@^(d&nD6bDa3pu+#m(j zY)N~R?eLi$Q81B1h~$4`hE{XOIT~nitbSVlZh#Vpv79X-NYX;Dyre**pCX5#UA3Et z3{9Ll3KT#m*#fw1VD` zv*Iy11p7Y^ReP_X1zsFVunQyJ!f`-t{6yUfZj@-Kai%?X&`-E2a8=C+P^UhQqYta` z&Br-r@>4~$3~F*_N~R?big|vDzC+AuU!Qp0Hrmc_^TvqQwTaTw=teSTE4_nUl}zX4 zCEyhhOh}8t5gC6>s(Wzu*!q@CiyFb858Npg5ob)F2(-DiD)YH+-C{~9S;+T6z++i@ zwAWQ4w#VqaTGI&j%i;-v^Fn6#7V6W9#z)fw)Fb-^_`1#eyy384+To=1xTXx5M0d71 zQ|s{X;%X8KOCF(Yrcuk##MdTV-1<8Q2QS$aT;I<-d+bVU5&c~fJzX`XMR>6Xas@hfVjjr0 zf?Vo)k1T&^K6!ge&+Y6TaPvlEJidLgG4RXsjH_E`)G+?pk`l*q1eLu2q!}whhJHh1 zR3|)~_Q~~aM}9=n;}De@c~6e8nW$J$d*j;@+aS|?!(98-U)SgD8&${Y2s;yUnLkn8%HveG+s zG?*kWv}NiF3pr2yU&pD9U{6fY;Rc~MKF&Y zr(%DU8Kpz)#1{iOlT!#nR5L1CX|CU7`zl0alefZs)$~M`{C35oT@pXJ8dmAM8Lf~UAO7e!8+d+Q| z7qNgwxv3_u11@=m^n%_zHa zq%I)wtRAAP-RNim?bZeTz#=cpmF#~5lvR%ib{_A@LPXbm$zS3^63+^AhIo~C)D#&r}eSh-6lFgPnOAbr#LL(_6Nq~9jQ}9%#>t8 z7E?0cxU`VFAp1>sO4rC~G8;3{&JT7_r4UIkHR=kbbbEhG@y}tF zQNmjFB*t*pXge2SwRSH8Ths*_tf+z3#1{|za95Z(zJ*eYv1VUcJBte>L$3QJV^<~v z3kP4Le{rC?L$NoiJtkgK*7ow@qnvrflz#14m{vu5v^%FF93g)5D>2ouay0oY(e$CO ze7o7x-sU9}5YS@FVo#ZV60U!>mlwR$ytLeR*gGA%543-AU?8#{iuLg>f@;%)!F5Sn zWV?T16->c<67@9vc@;TCtm-=vOxKlHqm4kWy?Vc>4KW&{x~pj2F;MKkkT;VuUf-?V=w8jd^|o)vT| zmzYaqui?YbqbIe-5!_g06PqChHYAHx^PPFh zgPl1uhuQg*3u&^jje!C*p-dSZo=mtW!G~5{uQ@bHzL(Pvzmo4KOJYmO@f%KgpxlYe z*Q0hwM23O*tg|B}%(boc%t&D!4)i(j-enpIYbYDJx>tZFRMacimI&J>s&w*%f z8=!n~FI9FolBz_BwgBOUEp7VOakF4=X zIC>FqlO__p6Sx2)i*FBiH}cvW^B_dMaoT_v!0)w@g_?eC=wnRz;?Sr3IuO0?@W=&w zZGqU}`8I#^n5u|Kv}h|=IK=qD&f?>Ft{mLdN}W-q+o5mMZmdfB^J#!bDmK-@p)gQv zXf6*9oj9d$q;E|@AC^^Ej8KPJGBrC^z#IM}^_Qj~bHfFdpD?XBeMhtNDIOWxf)9i8 z-6-8Rig!>7biarg&ikMHT;=$7Gi>nt-0SYj9&3NLgbEX}(&7-PQpbiZcQJq)T@b2g zO!6mheqc`<{L<6-#?#M8S?O_lU=31=JIQ)9a_l{=usN z0z`i{9j@%cTV=%L$v407=TN8G2R{2Sp|;%x3@u<|c(hU<#l|J7@}wXt&wLQ_WB62f z(zBv&*lm1ibU>~lUhdH&!ce#&`IH`d)(YG02aUJ!NSigl3>sl~w%1K6vA^0ahfQsh zpH&s?K`(IhYK1qELc~PkaKG0femlb?#GZe~IIc~%pdW6QMKHqiS>$R{$#%A)gwTVk zao>5d&H9QA(;PYhl~Y8@K(^yE=T1A{SwzJ7(8FEHH0oWfYkbFrs8&4cw33_F;s8mr z7M~E&=LwWlD*?S${`DUL0;S@$Y&8><~=5NNMUFxc&G%p#0ApHIu+kt=P zli^-xtgjwl0s)Z^>D(g{-SSDHQ^GbnK5v?6J3zSsELqbG#f)*10q zI!jH-8Z`c5WAgnK)t-gj3izzNj40k1?@?Hm6=K-Rl#Iu)x(zkn1U)FOthh*T6FVA@ zr*Kcyopyf0Qp*KVj~;R7q3d$-iN=42ZdbmIHo}?d`-IKl)CR)W64Lz|u`57xAZ3z( zxO9oy8(l(4M$JZjuJAeM!le;T*rfTzo9}+%Qd1%B;_U-7`H|H}s=boTloe_I9DUb5 zsbgf!Vz)_kiXoSqAG9s)6gwf|W4%S*%o#SwB$^()*TMH~d{XseeI~OZS>=EE^qDz!oO`K+pT*eEPc3%6HrfNF- z<|8wjkEaE``wz+Y^shGMW7B_H2G`BDFq$n`q{QB}Zi`Wp`Qhm4t!Az5hxXT4PLVGH zYdwb)xcd#Q)YHO-g!+$e>8i9Dch0NLL13=vTDhz zbTGNFovIXcQ-?31@I>Ffpcn$M`-j!JWJpw9_NNw=e|B^bubHJ9puc}D5ueZO_6olB zgkV1!CAbVe57*!2;zVC))}|8QMl42roA~5pK=PeKn0d}|`?$GEd6e{9e7|4I0*SG% zB2(B;TDBzW)SPzG);;Ap7!hP{eee2|+v4NSOh+S+{Lr&$ooyF{Na>82u_Yr+amE{k z_xtqMY__T)?PkJB#mIjemPTcjT6i#N+fe-v5of{PIls`Zr5vON>FDemPV5Wj^%e(; zATusw&okpl`^m26z%1#uCk%HePHUqsT9n^IH(3)K7L^!VtJ+Gz*Y5J{obP zN2yGbXDFq!n8gx=&JB(ccu$6e6QHHXS{mWm(&^VhJG?MQxka)SbA*(&KfA&a!&9Ti8;VT_3%?QUC&1>NAD_X1ISoSnp{c=DP z`-xqvhmckt0cK)-p+swHLcUg<191ayoWB5Tf=#~jk1^%>&RGx>PtQ(67h_m% zlf-j$(MhYfcU?(!R3b}PRj_ONz%Mms@6AC!8rEtY)lPp35}wTXq$o33BD=b~)2Ut$ zy}r!&i!VA5RQ_xJ*_O&>yA%Y@kcvVygU@9@G<3r;tVjtoaXX?*iASt+ zV6Io4{1l~Gb-QLqYr(kMWNTEbhInN|Sn8->H*xpCL}!XC@X&prlotCD+VmD5)G>ht zN5y|Fy;@&0i1*F)7YABk`_UEVn_KwgNp}5DFH&{bvn9?Btiz)hE05;oy+Lf-x`g(v zA^aPM2K$54=>qBI33P01rVv^19t}Q zimDtU3`nWRLTJ1T%{|F>O6pzkuBIE=SBrmp-K9dZ2h7esvYg7K@8W$(DbYWoeHy#? z66a8XX$Q{(JLfzJ)RNshfnX(%kL?P@U-6bjJ&kO04BLxg|pn&7+b z;CR*EzO*X$zJCd6Mhdn9BtN}kS-$o?SW2B?G}U^k#JQ5ZCcQr)b}dpSZZr!yo!I?HL-LkDNjgTdb|q()y;_n<4-5)R{}elYSM9r zQUu~8gJ-eG=DIpFsQSy6rZC|8UX~PnX=>9iPrZHH5>3>46dIz+IybFng_f!BPEXi( zescZC9;`3vRc+G&5TK&w{D zmhX{ANr?Ya65*{RY_P>pktF+8tG*WB)Z*zhFA)I$hFlMY@+TWCZ5GiB3FQ1I42PK0 zs>}ye9(H)7vneM~$Wg!TA*c@Wr+30&Ce!A};zK_Z1JmFqh3VD?ME&XOq83%M4($EX z`F#b^uN~xg3)&+=Jc{^BAuNArEQdU+)cL3GU-0w0K30FTtkbWAmT_{ZLO-7jX~k)9 zMiA{33`e)fmEg}?&&!VD1BhDi-rCcfv8J4U$5n$YKA&+dDp(6;OCQ2PcqU7jFX4lf zL5lJUPA4T3WxALPy@Z7FNQ5ZdBY2xKW%X`zwYXgh7o$Pk&zyr^*y(>)NyX~ecYr~k z!2q?w3B7v*WZ|y<)1+aDJwZyL)Z4TgmmK%TR-tF$PIZi*c8ebFZ1b%=DLbTgEO*sZ z`SRRqbY~gG@3(P$$~l97H|6t~SfefI8?*d%zXz7MC(PHRg^+j#xb zDOb!C$Nb|MQXdK&@bZ6gTUZ;DSiY+$Fu)}d1%3e;HKQU9$vlY{vpq8mn~dAXhg)_*^3tg8 zb^997EM{yhY7>9tOeMZM*9+lO#KDfEfGSm6bxSdA$2-5O8Q`Rl*g?b35Cs47^EtYP zEFHRaGNyd-(SeU{U+@)a9A&Jw78(LGGce`vS+W!((jIf$$|o-Kkhp6%A*I8pAg~LJ zTWA1OJCT$JTz=?x&};32o9I5;MAZ;CX=jip(sos;NydLlHpU1FsZS0SuMD}un0YyQ z>Sw3h_xDYK|ML#TOr-|-xF99WKJ_E7vBEvbj3df>;@vnjumW)JYGFcX}X@GF$?9{|bt@QtTn z<6%7@V?D3#R_5nQrE@&p*d$KjAV&9XuxHEDKsh-pw$qG<*f7mWh*}Na+fgunru}y= z(+U@n#2pxL?b&9Zj1MfdbGOEIXw0R1F)C<_ozO7noNbn!-co(Sgk#K*#ds(VRBQUa z7yf@^YJ4GfZ1$pTUV}GX{+`q%A>&ENxIf zyj($2VT)gYAcN<;ow>)HEd3kE;Vn-qEvA1NiOe&LK8ZD}GATkgMQZ+v%yMY*v&Tsh zZk*0*vxeSd*Cx@YYfB|SXL&T#2pgxPyn4$RinTISj^zj~&{S?3vCkOB;9;L}v@>@ze)m$)Z? zK$JH0Ty$TWDK0Hm>EJIymFULa?LzfB`_Ne*oAZ8MuT%k>vtSA2)*;22+DX`SMxhCu zzBt^nmmDSL?B>gYNJG?vCh|`qXHb88sep=~GF&Uhg5!O#AN%fc8Q{NffBYeGS)pUK zj;?a%Uv}?w@=F^?lE~$LhgH&JYn_uN6>V&9V(#);q7cDlY}zr1vW#kJwilOI`n%T; z6mxN>zSh^G%lm@26Yq(0q!#Qde(GglzY-x|5 zQ`?BDVVk8@357z}60@q+V#!dyvX`WN=*mxz0;H4z%X^dHbpwe9{*>7cQjA{wW347Z z!9#Nf$Q%Zxsd(!C(C`Fw?t!}b@f8>q2y4Ue+mCHxLPUNP>SRo+sx8p-jAq!up8WfT!F*E~J@dkgqa`%d|n$;br(9w!QLJnZpf`ri7$UlAuMl^K(0c!QyuH z)i_qEO{;Hd4ipr&CKzbEznvK8K|G%0(Z z*?f)o>`xX8bKzsL+u5>KDH{gYKZP+Yegof>Naj0&U*P3DWIaxe;aNZoem&60z}6`e8_W)61_DIFra`-OgY3+&T`FdQO_<67c!$| z@f30dIi{XVkIE^lf$vP+JaaZl180Ja6O;R--W#L->Pd)dhY`6+k!zc)=Bf;H6F*Wd z6w5-zGqqV6uugP%?f4Q~eRL9G1)+r8cm}Zx@ZKdcm#20yVzXB~P)a4j%uzIfA_0RGt-s57&JZZV|qlO6udw#ak zS%}Bf3YZPXsz=&O(KnS-j{0Z5^J;(Piz$s)7gdoYIw*4^$}#Yrq}4?_=1&Eji1Grn+JjkmvA0)Y3{zSu2r&j< zb`k+jz)VI2MJ*4>Gey?k3@i}im`uwXNEXTEi!;qu)ALFj6>^dbjyW4Qa-xkyIBlnF z#VT&?xY=D2{-Q2r`DIk4VIESU8-4wso%p~B!qI8WKG&_A@5B6MM=~i?AN+@J8nBdAVx4i1OS)KO%vgO zPvdNmG{l@d?i^zwY>-d$t<}+Tq9Mi&k4Y*QsLD_xRg8K3go!xcPbhT3zp@zgqw<;O zI$cK&QQ}CK$iO!);RQ5nG^nA<-Ql9`R7HP0SP$*6tt|Ryl&4^NDJOotze#gNr+bkN z&Op=*NT$Xarh0+b@*Kp)T_z4k6c!;D!!t(JqSQTPC$#v+P5Q1-sF7jtS7G1XylO&} za&LIBx{~&0rg6jMzRVM_YPj6!uK+J!! zbiA;V5yGLRBKX|HJTLtvg&`qwWqJ#~qI`L0xFM7-X`I1j11($3 zq!hiSPtLSC#ng7{aE|I1OEa;qIpKQwmZr3$*cG<(F;m7s10M0UbfjVzPKzNIH#0#V!?b^v3aZ6W z9KG_r3!wENY!(Tu`0Y-!ck71LmC5rCOnl8*dbnj~)utF$=FV#a8`kF& zlC+H(bu?o$eqj9zY7;e5;?sn`k!>UxyzvozK6V&+&-c;!EzMZ@T0`yT8?7w0kW%eWX;a6zWy3*w zmTA83NjXupL2X!$FLpcp7zdX@Q!-b4!MRcfDAo6d#pkgd-Ii&y^5}hf-5<_Nd~nn( zo*_-wAjLJSNijbdPK|#VWc#-pkVglIHqz3?2udzz@a~y3t0yPJ8j=&Q!3}2xTz-Zb z-ilD+*w#J#+`6>r!Kq5h+BExyVOZE&-48= zY>qxIEjWyI+^zxMc`05L+GWlU)$E0tCc4$3J>jiFo6$nhWi)@ezV+BH64Sxb#=ZI# z9Akye&SM^qgLufs;|1{iirc_a`vh?u1m||OaM7QaX4ql;pPfr_GcH>7!c6!E9bFLB zG=zpa@Ino^CRt=%mWfpKUXkQcvE_5Nv{wODFa%k27x! zkHh(|I+NmCN{9(_s2{>fKgtapH5d`J?kX-=r_w1_|Q}vQ{!>Ak0>ogunh~a-fA}WSaeH6uEZ4HXuUWH; zdMPjyv zpsq(CQQS`;(Bq*MVSet8LJ~{6KB}FAJ=*9J@Q=IUhvbztE=L8Cn-Zo_ZY|S9*rr!x zB5;57NITn?j&>VL!hOD1u)!&F>&%8;gOA-rTNPmPvK;ZWiq$3=&wp(nY(iFDP01Q( zOLeY~dgGj}6J$_FfV??#XA?xzoPi4`7I<#$H~g-r$cB79_FdYrknmT>4Dx#mrcOBH z!LirTJrUrIYqj(wBuG$Ty0kkHBTm+0=-GcryLLm&LhX3deJGGv#H+iuHqHGdugAJ5 z1t{JE`Rgm>Y~s!uCd@stMuCI&sA@vvvXCx3Ln}e|a~F^M=Ua|P(K{cjlg!BVaHi+( z+qyRhS&~%aeqUBl`HiF1^rreos(N6$0_-}{lJ;dd>m2o`FVLtqJFkeo_Yeq=wy}RI z0dHuDbqs&r6US=^%xYttPbwJLx1X$p&Q%|iV)Cqsyf{#*7!CDoG{=^9V&AE|mb(gZ zTGu^*9;{@wIumqiv&QQ!nNcc2<9(U4vP+I3()y6n^f$&0nSK^OaO1UG9wvT@ZF|Bk@ zTXfM^-U(7@mw-nf$_+7>v~f!(4CAnE)4zqkCYu~qvTr1?E1V*fC%`YAYhIsad6aCl z+CU)k$*bby(fjp`-S%|FCsvYM$1$<*2xvWpGfXH2nPVCg$t(OI>6ibSJ4d<)JLV_i z)Pe>rwRIaISbUAT#l&jtdANTUebbnI9LVfjIuV`JO>~HCMaSM7J_1qB_v!!fSKdlk z*&<)!IZABz0K9LnweCSew@t0~rfVbtYuq@4vw8`GC+3z*Md3UI#2zRZ~vLe*2hs`ib})0Q`LHEna7?Zu? zK>FC09iOjBtPb_sgQi)3xue-~{6aL%AGNmAPF@70D=kyyeak<58n9KN6My7F#5}l= zmf?O-Qhmc+P)JNTSl|Nz=dUoT~^6Fl*|7h#Nnp}2Lv+liIbE?F;S{Ad&1G*{8sop7gvAIpPfuAS6@l6AFYZT zACc!Fj!xRVf^O;Qvg|TX!kfEXvgO^ZWbCcpJ>`e{Js8|Cdft3u3X-jT&}sOEK_*)^ z*G#G4bUuSII8NaQyZ|;p$-iORsj#@`qAp|>&V0~1Bh=Un9!RzzWa@cWTJ~nNio6_} z&Qze#h*e8HVrd57GOVtDG#s&d1kD+nrFu!yD)xf|q;RbW%hj*GTF~(;#0w2{@qQL# z+;C`K;x+xJb9sa}m{2?TYrQwRJQ7TRZOM#_uHvt~ki?<1p_mwyAJ43?yd_TFuW3D` zg}ZPP@6yCEbXb@hWN|kT%bP(g-TO8{zadrt+;Hnsd)uykj%-VRp7)qGEp~`>jqtk+ zXNi7q!yl7Ja0`(1k^5p`-R%X06JU7K?v9JQ@L-d*5aFMm9jhI(aF`X!wCJ6}@A z<_*UspR$v1ee)?ECTNxMJ!gvddEPi><6^_%Q6cGv^C4nAd(iDK?)I+YJcW)(McLGk zr>XEabm)6FD1%3T4GhJPk4J4mc49w%N*-m%En-G=299sbMdL9px6xp`sJF)G5Q-k? zejN42HHFimnN{E$$XGJ7ds!T_V#Q{GGmwBVb%2%^eqY5fKexTI?**09O}8qSb;6B( z0&=+=dU{~!=lG$miTT`V`+&56*x&$5@;vpeOCAL_z@YYjWgU)Hu-vCL7>3&kq4(Kst^_au1gh5kq!hiuv=rn;JX70 z!6wtR?oVSifCSHvK1DwG&E{-_x?mtS3y!y5#4r}KvvOeVyYn~nU_D?xi#2mtrd}Y> zMb^h!w=G70s|ksd9x0wo`C;848TqogTtxsJByp3`fUDFGX^`4>BoN7S3nPUv*!K z=*KMS32XLhhIoe`d{iu>9Q%Or9q?qGw(}FAS!C`pJ^UcJo{nxM6T(x(7*6?5&SQ-Q+*=$ndVG4-6YYvB z*CgJ5H#{_izxeja*=C)6-aw9`U8+Ci$_;%~TLXwyTp9ZkqFw48`?%ls;OsNMQTmjM0-gRr zcIfGhoD%iiZ{fyVV{<()Aqod1R90w)aeO_=a0JRhp1XW^BV8FdkV zeRl7@auuuU3`MN3PXC;oG9Jp=p`X9XqvD#75{KAwp_8A)_>*O1;PrqxftK0X4)$rd zGX-fvZRY9^b=JtySaFU}QvqD$AFgM<*DzNA)AA@PWEMhuE|s>GT*w47jDu#mtZ-`o z>=MyoMi!^eWcvvhSZ3vr4=I^^8Y9Pl;VYD%MT);f+S2=JeHI>Rn+c<2cyr9p}|C0X}2YEs6>%<`LdDxJf-?QoY zk`jxw)BJ+XxstciuLTZB#1eqPGa-H(X~ErBnhcFLVOnzLCEF@c2V*xD#qIuoDdb-F zTi_>pof$^+8`09?Og}xpUtX!z%>`a`PITHo)_b5)36m38XkfV3@>8Q9(HTE4^HUD3 zdJQNA_3rjyg!iezVVgFy5F@ktJHr=yo_lPPliFfZR`f2Q)-PnWrdhq?PvL8ce4~_? zhIcG15`%^Ejl}XsCL__6G)ljJpF#t!+*7HBgd^i2bAX%Y#}8_8gQob4pXJBzj)F7~ z&Y64qY4RmZI1qTt?ry1zsjShf^#$N$+h|Uoihe4XAwM@U`c;2#ZD1ls;^HA9 zU45ft&?2f1lTsnHi^hL}{3*W+UB?^sYlfCC7F(lz3IjKh6>eWe%i^bhq&HlV^>f5Q z44CU$^a^jwk?w+ma=2M4MZfam{SR`{FXCLKn>U0tKn~ zmHiTS(QlKW=tt>$(tW^ihRFeMV-=9LHJ8M;((rq^F{^R@J`mI(p)>nBd~pA%Y1a2?!$GM_SBBYt$GzyY^4YOo+&j5K zwY@&R&uujI`f5T!sXFy#&CP`ByicX?w(%vXdhPNti<|`b+TPpwV@gddHrBB2)c8eG z&COEc>hx;9ud<19#wC2F?rt+Udib+kYg}5=|Y+mlkusMXQ zK^48*Y9FWY98BS?4ldp*r9}WB(yq&ADdL_$Y?xmyf8s=cCH1L?F)GZ2K*l#>chFus zx~3w;4Iq(__sF5gt3b~=3BZ$W(MGDjv-Yu#5_osL2Z$mchF>4LD4^CqWXrhAzm8#B z68Qw5`u-a2tAzK@b;Gq@k#tLlPbg=Dad8+T(2guIldA z%vzp)Na=&TsAf0JYJ8-}yZr4Q=ErG3SM5IHhe->6?MZa~>~&>qN*Omgj}P25(}bEt zG4$gv*%Su$@I3oW;OoOg%oqj=;zu*KC;<4goh{>V!g5cfX^{WZwIRZ zd8O?0P^4u-r7EjWiUzI9-U+2aPX(MQn_0YNKm^GBV3kC@AM<3{c_m|C#vL?s1c~8_ zuX(EB{ThxxloiER$H6vOdM$xp4pd5sNj#WQ4};X1eCu_n^IbmnbiA+MSs)*zh#dc4fzIv-s{~5q9r9tAvP<585M0MDX3FKi|w80+o;^yR}|khC?75t zvaVDd8Zt#F{&FJ3sU1{cHKdBRhwoyHG}p}6_@f%y9j&%Kx+X#h=>ek3&wM+Z8NZzB zGGS!sklPgDipUVyHDKv1>CbE5|UbtdJy?ao`S#2abW)o01Lw|nA5%X)5!p4um z%LGLiYq=hX;YO#~DDt1-XEG~TXjdZ=hr)zE)7H^A2Z{(qUq* zN0iRgV0M*>XF_(9nK(uBcPXRM&bl$53{|Ye>q2buapRU08$)rN&>%prk5PBdFz$Mi z8$9)jtJ(r^)?+aYOEXr<-S_s|4dg3tNVwpx4tSQ(3QLgJFA%p=@D_iDKu)r7$y8i> zlUWfJb-wi^MyR3hHrTG0zDH+&0ag3!O_%*mDK$6MII|}7LX39TYM{^rYf9LV9|-V~ ze44hRVAb81(dxdc(KVx60&3(l$pxiPSh+K|k4um~GM5WiAo^3$mmbZ-XU<1=gd9n!73pWQ_y18Pcm%V}^O;UFH4)OIUkOF^5&1l3HGZDO zEVg5@rgAt`uckT*+jK;Ghv1aMxF(K4;N1r%4h76-S#n# zkSzioK1?+B_cVs#XB~3vk`?uN2KjHhh=rt%*H&!T;sc8nQ+jlr}2i&)hlAZ~fp3Bo<0u~(Ng4KKa1wJfD+W!Ej%lD}TEH1=m& ziOg4RO4~pJE)ki&4}eOq)~uBP|1eBNoFznH5A&)5A078d4SXXVdlip@=bc}0;5Osi z0^x}!NG@j%;ZQiQVi%LN)Rj#`8IhP+Bsiy;m%K+39&Ux_?x*E?(SU(OR=R9YB8ck7^*+>}pIXeP&f+WPRJ z8zbGx5M?V;>bLjd8r7=0vQjbOveg z757^!ttUBma#{i`Luc1IMm2dq5BE0mOwm-PaO#=`)XApF;#Kj}(RQ6s40BgWmzR2_yvcmMcb%jO5rI>~R?vkI}f6*V_JLLcD^ z!OtJfXI`b`1bVPb@}DOCf-l!2mL7}`-7XPE00MZQ1jY~p_gW6MI!H-0>mw^zn%sWT z@}QZBxb&!Wl<8})bU#;4d4TZcFy&%2V$IiokLY~0{dHU8Y8ILJSx?rh{L9 z#Z9KN(v+?$}5dT4^w+&dEj4)1eT6^lS)+K2#;i4V2(Q}BL$JA!|B8*y}R0MHV z#&%-XJlE7s?l(E-Xkvcx#;SVLpED$X$E5U(Uvr)SeYVhGT=qk!KGy>IrD;c&LSn&{ z9m%8Di}@RY;g+W=$*G2vnTRtAM)eX*U#e~o`r0f5o1aHSHQ^Y-ayLuP=b_!+aAkMD zt>AnUd;W#aW=p~9RvNkY>jN+uIHmq{T=h8UTaFSZ`_R%;xlS(6*1e`FVdv0)<5X`Y zOsEBScSFQn-&3Pf!E{Y)Q5k2B>fc_}-Xcap^wB~cn|Mh$RbetPRguEWx2LU8J33l~ zfP2?;29vRKd->^i>~QNWaC8V64@MFWOR%DJ8Ort+Vn?0zbxZb}7ZpM!Tsr>33f6nr zHXPgi-gV(<$mZOeSVh3mCP-R;*3e=ACUkvb%|=AX&W8>*SshF5_oHWx>F5dtqLQqT5?wM*Hmg9`^>E1(v+@?fV^5H!8J zi>$-oL1@VG_(08}Vt~iqH4_fa8V5jwmf5lYskN}jLY+$uZ?SnElhrjdi&{jUU(v3qVJf5zRSm$q>c}$4Sw*)RdFQh7w(xKdbPBfY!NR z8gg24Z&gK_Q6A!BajccelfNorTi+c?`m?X_PJ_p!fzfm{U&(0u0uB_BDLPXcJBS2PP<%BO2L>eY7iWCyQk zr-8*#H}LljeRi!$YJjQ(jH5Tl2(6`r0!)@gby<VdZyS4@|!R5!&9!sX8#@6Y5SKi-9)fXj)@+G zJKc6ii}uii;d^r6yZQ{E$91E{;=QBW*wi> z`+k)dp$6BPTx?ooUi3D}cu0itTI1|P_oS^y^63JE{@H+EOp>S2!UPlWP2Kd;W_Ag_ z$W0c-@IMCXP%RKZfd#gma%gzHv_i^X(6KZv_%qwM`SU%0(u{Pr-W43z=!P!Lwii4W zR3QT79wD#yN}2{RR#Qf$qBK57q<~c zK`WIMJa1k3Htp;4XdAM^q=Ia|6>mXhNq4Y$xWj}-n?KT&Fhi!>o(QYxN~=cpPovH1 zvhYAeuUA^(>(dT(`i-nthIDZ!GMR6ca^z1!{Bciz84x1)u))xtdSzaj0>V~RBN?xN zd{fs-z>m&!^IleK0F;m#GTYx7)kkeH(0v0^U0N`P7@xQDh2pK(!7zYzXJCD=ms=r< z9@cGmVq{y0QOrxE?zYL)vMzILpey%SU|?$HmHF^So?x)Q6%PTm-!+X59bib?;6dT+ zv$d6f+o&IjE$vL*8O}+y&13x*>De|lUtAPkGjBQ>UA=t!n%Qm+T+tlQ;Ov16jp?xc=^pf*Tw`1kD}OFVg36N{}uI?}IVY z^^xm=4qy>}6Y7itBjev1YjpJMSJeF&6M!52`9E18>a%#<0be@CQ4P$*XnTIdwiP)> z{Ux%g>;Lp#?k(cWsuL=UL+>r@P$4=pprdi6A7stM;BQn|3>Gcy;$x)y?BAZwK1W_e5So6D9Wfvjt}#z;OeK!Y zkS3l?akG$TQ8n~X3{4Tltd?l-_>nb#g&fJzZ59gTDRKL5J*|E6(eFx}xh@h%x3sKI z0f3R72cz-5|E^W!SYU!=-q^z=9}7U+=kp6A{&IgdaE{Gw%p+MVl4=dt+uCA`S;e4= zrYd2+FzL?8jzl&Fk0i>BPT~A@Auw~tBoWi~K9|k-rlVicEsm9_VxEdU>3T|kprlpW zBnEK@o}WZf{~T$8*h)27yH*UZd_Lxx2?;EOm>S!)!&t_pj;=7e_@?mjF~ro!z&Bnm zH)$`%cOXH#b1J}WI3Ig}=FAsoG(LO4#xR&Q_)dckUSX^Ui>^Gtf$H=Qa|ehec!8a@ za@%AG9OF$B{4xzW*`n)+IclnZ8)jPv2sKkE729cHxgFPJ7n5O>lahD!g`*j01hR>o zC`x!TF$oMbZ&{3K-xGLDH|oPFU)mBL+#Q~sI?2Ye$1qx5g4vf}Vuw!HCy){+wV4H2 zv)jM{9nV^H_1EAJ5}-Bqz2#+wSG^8-bp0`f(k$}qEdW+4o_yc+mwU=hBFXSjE(Q!jcH%Lb)zJwu0tNIgnCg_Y*1!jxcdC=jFSchu> z5KNB{#SJ@L$7A1XNP6{MRw=mL;xK)kPh3fLfISWTm$nQo&j3&6JfM&ABG%C61|+5 zPT|}#;D}bvHRuw5?Xqoi*+l3gLdg^_fd06LN7tCE;G&E_fHf#&qxcK6+^d!{GuZaG zvB2Ai1BIw+`Y^{C4BWplGnlx)66Xi-d#9jhZm}(U5-I}HvexKAN>%!A z92kH(uEEQH))sSs z9OgRCbiCYukG*#)kF^@<5g77BTcX#N&3V|>3*Wp7kY+y$qNU9Oucu)^Z5SDezVB7d|V|)t8 zFF>UIm)}QUU6nu7?^!4KzL*xERiu?_E_ym0gzKb#BWS=5!C#7P+VswokGT_|~ z-hTE!f?AA~YKAZgr}`8&2(Q|O3`na8Mos|hU2({jfa_pbN0<#<_; zZ@Hv@oR_96QlvH0erMv$TopL+w{{!riE-Za2ec`U9;V~t?yod_$#56ajFjrSiS4H? zuws-^DRxxg2~70RZurfr9h^!+5n_Utjs(u*4o9Jt{cwGO%D{LTh!D%j8#HWcmVAX>|Wp; zRdYhaFLaPZZoI(~?^~x0G zlscmWg3#qE_S8lrmdHoi0ELz(mj?>|048eRZF12_rPD>^~*(vZ>9zu<547vgfbrWQI_E9yyK z;|horoP@#Q*t}TGY87lp1Yi(Mm-nM<`;4eHNtGp;KH3L;bH!q(uzdJj0oBAJZlPem zd(mUS8vOB;`0Hv&um1b(?mNbR0i`?q!$gz5iGpn({mXx_0D)ALA={K|XeEZ%o!M9Y z<^6tIQWF2olNHxp(WYs?hF_C;TTgst*zUDg-xExtPt)GjAc#;3e=-Qes^IaJ%4>LC z`yPH6=K)}J)uiV8%9ZBBc4?E4gkAq_yltFH=j0~@<1xAPs+e)t)?9Vvi9)UrAbLZ}%o3_eHCXj3Kz`LhZW}iF(1V$EDD0(IoAC&8 zJy-p~f9-C?(K4(H#Idh@x99DV%R?h?yu}S5!5nER$vrnALnslIN+FkdlK;&x@zXOf zu~EgjN}dOzpqrkxN@)Fm?L^l7t-0VntsGsxHjOe|;T%0I?X^o(O^KUPL_JOg>YTIo z6twrk|4fgw(+61I(JPCC8?ebTqbTT08U|){+Y`5D-7~(lZJ~Q5X5xJ?GorT3^S%x} z5rG212Ugm|BJj6EsVrp62;i7&*lVa|yOD^w<6U0f6yz$xu#x6}5j{U-;Ru*hX}qk6 zjUo?fQfVLe5sUwC#nYb;H4@?JL(a7d*fR?Z1o6=`NlHCPc{Cor{#>X333cq$U)x%a zb~5bFXDwQ8!4(n{9~i%N=NnsYa3Z;yrCgK~40=lYL>}yv@c3Va0U=lDh3pzU3)yzB z5)L6CBkO_!b{vg=9G;Ghh+|3bgn6q@b33l5J`-zUW>;bfSykvE8Yx^HdPE@f;uLCmV=LLoz` zP-F#KlRT;x9OZ@oFV0VvlE;-fArHO<va@Bhxuk~_I>%}ji zWS(&K{2~B2tbvnti$)OdGx(JAB%3~F z+tVNayb^GAV;3A%-2h`j8 zTFyWHF)-`;c6Y@EK=nVC0V7MyE&N0vXws#W0_6aIM{K&0N_)nW&xG&)Pe}F>pEaA+ z{cVcwb(4ff{vnc_W%;+RMb+i&yh4}k9%Y!=5Imy%EdS`a*=@;lUp? zNJgX>8LeSO$()k!$(#;_HxA)bAWuC?^#V;%&3MbD>t989Hz7Mr4&C3?w+5Xv#f*oTD1$Lt>c$Rou+R#tdw=+aV$#%fQ)-_vq{B z>FWD9;&ai@FG$6<{25C@t2>T$a^>uXFBxvVbQQG$M%7H0sPTBp7(YpSKHY7roL(Akh=Hp==kyT@C%seViWj(>M&O( z;&1_e$Ux0-hRho#DrZsHWWPw&!a^h=?TD*7$LsR`eHgI$mQIds3hdx0zint10nSy)@Y^{MR}ZjX7Qv(4d67a`Fue8x$-Hkk}w2 z0!$ghb@9CDwz;rrU|m$Xln~H=yJ)y&^W?jH^UVO-j!7Lh3Dp%wZOjYeSO+`{5Cz$; zaddz4S~;?%ef>}zJH-&a0;)@`#IHC63>|?pX&KOseqAT0S5rQ4?DFH1V=$|uUooG? ze`h1PU2_ykNZY{|@)Rj;f8b7koUdQ|G< z4$&zrLtwn1b4j@53GB_?B^YZXpoD>PlexyKw%Wex17^2 zSU%H*s7o-c3W9y=`B^hDoMZU}<55rVKS4ewO>~LPJoqQGS;#56av_efTa+xbNrQ@l zOI*Y^d1wjhW5`jHH==PioWslcMX>IKqtF zyQFVfTqfQ+5Ge}hUhxB{StIPYr>aenn?r#cr!?UMs&&TF62!Rz|Lzf>Z!dP zAkMfl3oh2x>-&ME*}V${tv#+(u8X!1{`r|zh-^epgEm~`8~44X6@0p^=7R`P;Cv&k zugvSQI8`vRae!tTSwZW0&}E4xwapM|AGs?rb$Yp~&SI<(*T{_MK~wm>KYgD8>moq` zC@w!YKGr>d@VZc!?b;?c{8$>2ib3$JM+DNh* zAMleRI%I%OM&%LXr6q?MB3DvH*Nn6;5MmT56fDxMhhC2UL*?9simPzUFDn5}OL`rs%|5sQZ0=k*g~8JSlp4S$4Os;8Q_|ge@9d z67gK2A5*)%9%?NET2*o5PEobgIp2{#qATB_(yz~<-2krx)J5Uwmm7`y{qx2gGtIYu zb4n7`aGAVjCMPhWorbeggAb!NxXq*%aTNn~<$q@IZ4Z<@xU_p@n7XNtgE)!^Bvl4S z`UkhRpwOQ;vgI;)@Sq@k;PjAU-|RkLkuoO?C~-d<+9M*T$(oO@72L-IJO~Xi;16#@ zO43VHx}bs0_`Il9oLID$0;uQIu_KXxhJBSsfh#Cn2B(4sLL^#|xRu}-Iag%NED1Y>cmxv)5Nu#WLd~;T!A6aPx>9~y;gF0LSh6Llq?FL9XsHEim&O5 zI8MCK;6CIymZ(uQPA*kPdLLjf`njj`TN7qF)RFLduCu?G*PEc$j5CfPx<}GY13ND_ z(-+gy%Ei-euG3TM_|pJ zsHCF}|_=0WN2>}~_;Qh~Px_63Z zZ2<<-OBNhY4mxKX40;EbYQmo5eUPue?mV*1K|@-qBPR($<~f8AXLiBwU)KqR0npnjGr;jLha^?K4uje9T* z$fgsy>U`hfahvY617iSgzi+Yt<7xf**z7?BX9mZsQgu5va8^~QP}bfwT`&qqTB-H- zMmd=mQ%#geI$iKUpR|BJuXK_Nueg|r2Nx*^ZFNv4QVsm8(YdLA(%>7n1sV?7+xgAm&0#X0J~^V%a6pX_x!YBGq6~A8 z7 zLLDbZZm=jE`^fBCsFo#T)u!Um-=}0FDepn|a5W#HRceFgm7ERRP2E0Jru+c*xIHu4 zsR%cErGKY?UnYS)BzPyZ4Z~_Ix=L^yMU*YE$sd3-YjUD*d|UezZd*8HFoCHZq1kBD z!4zB9zX_g#b{9QFIE1VQ05Y6ldviy|VmyBXyu8(7b(|8kzw3F6MR@It!HTK!?m6wa zQ7hh1(%Vy9qyoQ@iCFX*u$3eT)de4`j8~2h)iSAnp1D*K=?XpGJ{yiQQ6H3E5ps3a zRY!1Y0%h<%kHuPsduis?PO5#4sDOD*I?k~j27)eOB*tFp8M;Vm--7iW@us8nY1pD6 zq+FHv=0Y*+w-jH_M}u;ec!!NFoW$PGByIe=*5c$|LL4h@=d*nmi`0>H<>ooH4UbOh zNsn%S8z6H?9;;9_r+=Gl$XU*)jLulmw)z2z168_*cX(__=N$@8#v%^j-+E-zGQRXv z3pE>Qdnv=;>OMzLVu#C|e{{yYh}`d^YCa*(%cg5+-Pyl7n2l&m22pjyAZO^b$?pa& zgauK$Pym7xP34Z-gfQl}hq-oqd0Ro5MtYEcMmBk(F9T#{myxcZ(v4~lBzy;Uv9j9c1GI8A&@LX{flhtoDN4>5;690#uiO zg)RfU2OX*{hg}{8qGsWVqxsP9I@jMrU|h8CE!mjd&-=Lbz*%j5%IHN=h~jh?SUFE6 z3LV+43b0&PXjA^s{dB}x(eY*^MfHTT9W5pE-IlaeRC=c4o^VJ)v3?$oz`J-UCxrF> zKngry_C}A311?`C(%KM8WFi{*Sd!3xupK!5wOv9Y8v?MUJ}Z)`h)69WrGb{k((10sN_-;zY!};a2?f+io=|G8VhHhx*vtNw6kj!jW=n;Tq+)r0r6DKp zr?~6}>mhm|y&|*D!#V%Ziiur1o@s<5wDtOR#l>xV`IQ4y2F5@khc$tn6-z*^@f9Y# z{w1L>W}=UVAWh|f351vqI`2kx?hQCy*}i|M8D+>nY^GJeE?q%7c_vAPlXy6Iz$w#g zO>5Cyfx`QYQ@qKMxA+r8)^wVGv20a$Eu%a7jnr#2Vp5r76Kk_A8*3r|t+|IP^+v0B zX*^?_TB}_FJm$0gxPm&=II&a-tB`{{m3xT-c2!8o;x3yHtJzZ$8>(NOk|o3k#tH#n zWG$B-Dcv z9p}|z>v+aRm}@&V*Z=pWDXF>hfkpA!%ChuIJc7_p zW1NaKinv3Z)F!W-*~3$Ra^R-93TlLm?j9&IJHet%aW{jx1X);SjBkJ17^f`|6M>?3 zryxz9pQv(;OUkDYwI{Sdz{>5!C@RGAz@c5iMKClP9CEwCWh+*zS2g2^TiCV@*)|>5 zx8+0{mHr}Tg1;MeiP=w5s!;&U{HF{xc~4+jPzw{`wB7`?f)rnWKi}I^o>_hIyD$IZ zcH0u)f$;;{!{dI!>0bOg%neb8+G8zC%u)VW{3iOf-2elF!O6H_w?Oi=)jEb&wCcVv zm9Hur3Y5>pk)vt&m)#uw)i;if%zd%>I`}a$X=JK~o1Wpg$8pkKYLhF5hU+h3d|8q> zuFDTf(G&-6dHtP#84M;wkxmsc@UGEf9L^||sU52?8+=TET{-ypr_ zwLA3GOL zHJ00hxdPnKC}W?9NT31XmP~4$N(ZE+(($)G6eYncoKJ+TB`<|qcPv}Nh=dK0r$_;) zgFr~a^aW#5dc@mOA@1>p7>SG0BWaOC!@E3mb>bR-uOh7m`&DkHez6tYzA6x~F@7N( z4ZDFCO@eA{kZuhyxk8+wmoghvRwW5Jjho}IfsbRYLYnrMWH7-~l69s3wXQ{cS&Fg> zQrf!r16+leZRMKN0l7M;xhmET!#z+^7T_k{psNmm+N8KYABaI)UVe@ZstemTe4CW# zV+u$_-TNu z0ZUOszwQu+uPpqI3M-VGK>;p8nwx%*(^L@Y{G0J&S}c?&Io`O&CnHz?_pdzK+~WRi zTYgq8z0VWyU_VHXW;3nz=Tb~^lLgxFL5#lybXHd(y8jl5HyI7n1q=Mk51($sN>%ND zR_dnp`#zT(-1S};;A^CU-JVJO8RTF#MD7t9#TO*33bBe($uyicFV&T#j1h7Zw@@vv zdM|Bnki+U-+Q=GlI+5%^Gx(0aruD?6Ils8Mqd6y-n%g*A+xdKbq}7aO9tPd@#N7>s z+p6bi8vNaKpQngnKgl6s=O%aD6~f0bG-~r}_Q5xfJd*+Yu21 z=_N7{v|GV|uRL_&;^KUUCsZig%&v++X=LGH)8{t$PbJbEiZ{>kFcB=!56!}V=7s8( z)vqbLa;4OJ4njkzDO`&ZjKxCrkNFKe?O*%>06?se2@1^~0T?21%JA;(phS-!@88Q( z7$KK29HY(e-Twe4#rLExO5- ztt;!3Xc6ad))YFhz>(IpleC|$KWw*aMuoJEm-3?p6TBxXA!qFZ*wG$*=w+ePb*WP9 zjb-K+_SPW1F?|e^Caw8ut(K!K9P3QM>vq|%Tgz9;!-q!PU8YkAm)cp zg8!hBpY{;3I8Y;?6u59%F-*xbE2{r|9`$6;YNLYZP!%eaprG2km$b5}L=%iu7l$bI z=?%>_Sz;B0k*NKO(#Q00}n!BfT|2ia-2lf>j^(!yR=q!rerQ&Z+2nD)6N4KII}^;Z^E1{0ww2y%ZtnvIjA0Ma#7ycELQ z5X#;Kth{H3yI!Pa{|x%go7Gm`Ac&aLFRHG;?hkyk14SP)w^`o_(w2f8oiib_jDKfbA3c#ssZ3TFCA za7{wJ)VH{#)MwRcDWy@kfDC$Uc#0rMd+H)|>yLp2k+8`pVZ0#O=J@R}kUYQH9+R?= zY0DC}Z%KKf$3C2Y0d(7eeizG7}C&YpLz?0&hL4OJE*wop-M&uvpgzW-xK zh`T0i2uk*Jfih;Vk^sl#u!e5ckeRe^N{}-A3^PIOMR|ekM%Mq;gPX6{z?=hzBFUd5 z{S6;2nVUvmQeJq-M{7U7G7ywNQ`)Omu?JcVI5Hv!Qqcr|`X1X*JuB{gXjuJ@u@tJy zu6CMH75Bf;O+@5y3E?OiL|f@34UX^25Xuscihc5GNeN8+!1bc0||p$QH#&0j<$9u*kL0`Q#yIVKZ*tv z8{0aKV$FJg3V~c#y`1g1gE&8gV+~QSfdxmxhajEWc=9I{`<>_wI5Xbtcu3d4wVO%A z-9q#Fi%>f)(yE5njfM7UFA0NZ?ukd&FWQt0sM56e@I>++Smw;UZcIk!thrEodMl?_ zQvp(?qGL8^8t2on@&LuQj&`A@nuA@s&Otj<#a&M%x$=ZXsYH0 zELJ@+=lzGde1_yO&GFA~?{aWNhRClWp>FVU7|?*%W#r$QQKuYD2cFcbWClBBvTBvX z1C*hE4g()G3tPDh4oxILhCREi$~ z(}nVA;A9l^rbslEMV7Is=~OS7cgonjqf!M@+G{rSVmA%FNM)1T#uC$mRBNwq|F`j@4RTZpS}kP^+NORUHcpw3bYP@ zg*S9d)uCjBBzBD%Q531ORy0tV7wp8RC|3&8ianM?IF0T1ET<)idD*gPPV810Kz{FV z1DtH9cb^;s=#Q+^Lb<&sc~?4SN17fW;?7lZFic{znUtg`s;KZfMTqac^F|bkV7ap{b|?#CAod15)1*Lv zMu+6u?^X&`z0@sF*HYFtUMz=)7j5KrKe`7%UnsnM1Jk~L=UsB{HK+0Xf9Sfkl`$Yt->xcKEPZYY50S*y==G2^b{1$8bX2I6Ry!}4nV;@;uy-$j2h2yv! z$~EOKr3MGDu05bryWP8QtE*~@iu}paNypmrsrU-{g87vb7jRD9wsir9N!V<-!?3Ek zzawG}Jf)`HMCPt=FWj9p&b0mJK2@mv#yNW#lkNz^I?|j&&^hQwfgarl0SOU*=BKP_ zxf>Ng4y=lqUqAqz)Frc(#7|ZG7e~b)?lu6tT2*$sg$mxG{kH9*F2MX#n)LYl5ziUO za(btd4h!CVWV^yXrBtfPx|OMxpEw}^*86Y^p-QC^YZE%<1 z!QI^nuEE{iAp{HV@N&+*@BO~NUEO>4XRXy$-Me1bXx9$KWU<8M?mzT4EeV;7N0H6| zSKMN+;IRu^eptVh8^^es#iZc#*tGsq&*Zgr3L{{ZD4Claf?t*l%Y`e_bi8>fTnFC9 zRXWjh#p)PLf{lWLI87m}L{UcNV0yXl$M>5&KbkU8|Gxn%7GAif{;zp^&ZzY#iKnf8=2Vvy=33VFN~8fQ3h9Mk-8 zwf$MZjPpZ7@#J%$i4)uRCFa$@v=+T_ktrLLjaNMk=`Jm)8W*-K47M_=QxlyRJKY#_ zdnu))bt?-vm=5C`Ru?}(DF{2q-+kFZB9s#}brabr^7gV7DyMH^zq8xogL+)No2*=b zVsBIxt3eCcdxCS71NhE$x_HD+VR!BHbrVNi8ZP}W`qz8CEZ>;DptDHWCw?qc3izJE zr}&Y=Z{`m%z1L~w5&TTIQ?mHeY>=b{+atiDDcdK>?T{U?(-JcVp9v8(@jKhm=IDG$ zBWvNC`VGiz2;w^fiVUyv>E*5pThkc7PG3kKCsMDHLhWv2IzQ-=BOJKB&Ubk$+um0s z+G#66u9(6$ersLbM)eYwf@`S17lp*p#s+$z=#`>X3z}rdPNt zyAn{bG(FZYOTkOGc2~ccNMK;KvAGhtZlyn8=?*FBf&%gy5;w4z2dnBg2Z3-Dxxz#$ zVStrJJ2ojr%-DCS2W_$pVbGKol0qi0o2O3RFzV{jJQJVH^`B0E0+Ay*zUaxX5no}5 zB`|+@^!4lLX+!$R=F4KEqn@29aY+^@G$*O8Q<@zUyOI1*Aw!XqeVvaJM-|rnECHOD zkzaQUcC|HuA)gC42Q=DvxU!9#C=DXpVY+63EaKTK4gKN>ZZLDblTblf7H_c_|VtrdHUJhZjd zxDSs%S>T}mDYA0~o^setRPe zAapG7%yL@yz23qyu00;=no!6T&i+dJSX62Zg2d{Q)bG^93V(;H;p})6AtC=YkaFsc z@gT5xhb`# zvx2Bm^(1Ly!gz3pvI6J;f(%R9DnY+Z0)Fb()J639~-qDzr8bFrrxIw9171x0J`7TJahYiQ| ztIzd=Y{~jlkn>>C#`3u%*@nC=cKo6vpEd+9OIMJktbAq9Rm5LFH(vQ0#RxXScPuE2 zqM2(L(Y>aHg-P`RAhe2f4W9%g3t65zH5qr>lq55TRwMs1i~Y`7?G0KI?gZq-y~?zl zs-rtRE#;hbWcWd1>Q60x_}eksFSU0=%PW7MzfSXEHd?$zk}nhfJuZSnp9Py!G903p z^;+ptPa0mCWC4+_w@!xshL|&t-s!Plbhp0J%{Dla`O~4lNyxT^pz_|&VgOy3I|=C| zS^^Q|cQqs?h+1XvgUlzY9?A#lLlwj&cCR(1&gB}u1sw+--K^HNUxMwLQQYsFp_xMH zgYs$_6LX%1;aOBZx;W2G8^v-qJ&8^S_~AhL2&%u`jSM<5hb0HK!1xC<%X%< zo6P9q%F}|=YUwe|V0%yLPyp42Kkvgmi5|REq1?5_Sw+R2(kFr*!wxprsk z{ik`ijH|HfrM+4!gX-cUh!GNs52Q8TmR^hjOnhGWqkl0YkPEQABPfc`|S3JaSmoDf@ zMogBpgLE?#yp9TKf6qO)Qg8!+vD}3n+!L8F3-cK4;XO-oZCSK%<+jT!z=~v^{j+y0 zg-~r($9BFH8N#SZ6>ijGo2AA4Bh?B+2G=unC=3?W`tS$LwGwLWqc2i;bSfbDbVju4 zeNv??k(=SL-k;0t_V5SgR>e$sW^RnuUhjjw&&Qf`rx4Ojec^Mnpe7L5kI zhap2=v<0Xi_@ddnSpWC&O-JtO?--?7jL;w!D~Qv6(9|b0v{y~-Ct`YSmv^vKd2mr{ zHnX4{i_0(@Y1afrBPW~``ZYPEv47R85h`hIqQmBs_UZvYj`Z+EbsNvr%gw>3+N-|1 zhz#I(Wk#!%M+9wAR{K2OqGEd(VH8pJZdgo}w_djqo|tvU?Vh`Ch8^@l)Ej+I<$0v| zJw#=a94a{Uu*5gojBYP_-+#b(kXpeW1cJ7U<&1TwfYSWU;zzL?2!?nACWdZZP=v^Ds}?l#-2ZBD_f>G?@;871y*!jDK2elgm0 zpeQfVg=c#(nmVk6j3z-k1L%*1W+_(mWy-;$FRj_^ z58h?pL0!m`Th3NDTo{UO{;sH#IqiH8JRbje>dd#d0-kDz=Hm+-(vyr|rZe=6iX=nX zY(E&6Tqf(k>S~!us(*0j6V^^{K-gKx{(SHgIk$jTzm{u&;&xxW%ke&P@-Z;UR8`hG z%iMqOoy1_FV0LG(+I3h2_cQu9W*nsm@cAO@#Uj6hTepaDEp-6jcqIQ_Ghs#Do&!}( zG4RCM{yvHxX<*bFlsF;~Wj#iN%HH1O3&oWUteFCCJTdW=G^@V(Ptli3K-`&UJw@MI zDtSpVrnbX&I))>X7f8s@-eySI zr|dQ}1+Ra>)oSSQV zJ{%=ZBd{COVVOEQ=TQJkN$`>)+bXLRea-e<`3V!I<&Z?6r>aSG8YuI%KnD?qj z79IMweH2$}KukQtD;0zVykijwkW}kIo-n#(TSk=CNylIOY<25=1{tpI(%qQ{g0EmG zg@@%A&C(_;s`Ah*ilAd@0~a2`{;3O6Hy zZoas;?cKl0&@f%a;@@pJRe3k5-NXVv$Fnxo+Q*nYW83~9oxG3ncCTMYdkw1De2$0L ze=Z0yWLw7rd_sXHhOF-nBi&{>*1)r^G6mD?K8!%x5*)GM#Qp3` z3_^*v^SztIb2kR!fRcENpDC4PElHV$7AmQh%Col*d7aGb$ij%4M}C8#P7bTVsOR5X z1$Mci%li0RuZ=@B>}?MqWt592#$QUvjrQjS;*;rwKt173hzE{-nm%_dD-Z2QjbYTG zzc7=Kd=U)M-(MHh)*r8X&bfmcc$)xstb1!M82z^9@ZIMzKJ`7Kd@~#pm|d6>Z%}(* zzW1eYJY}1#X16~M3ORfnVUfYnvZi5pYHt+1S5D5uEE&MDMuZ=sTDa%(k?w=_dFVYy zxn`i^FV4?LNL_wj*G8mPlp_39L8<(BF3$064$u2w9IBks=A=>Wtz+tbjAy(QagygZ zU|Yk8o$LBu6W)SWxyRbB7L-Bm;z}9|5AfYk7=+T{KzUk9piIt_31{hrNLL;ItKl=_ z^^-Z9asg6Iz=?1KA0GKw-XyY+j@SMDfv9~`*jwZEto#c1ev5LmsXp^^pln`Qhx zu`!Y&Mfv&>zPu6*Q;AvjfzSisi^mNn&iQb zW{VdYQrR=ZH(t8D?+P{G3|zFT7QXh8zfc`sft7~a2FtrI2i+D1pXL;^wCSj~hu7CQ z&ZP+y?D`ej62uhFTjFRE;gsgcKIab0+~k9Nf%85ZN+PC`-lz%8zNILhfUr2o3%!jv`x>3pmt3`KwCnY~? zk6JA!un{<<{P{iD7s~D~7San6?9F14N;vnuILKg?2w|eI$fMr1?T>@-ME_Wj^F;M@dw3BMnO$n^#(deMYe-KNMd^!bxVAf8J<<@+ncO2GePK- ze7MupFI7iY*A+FEVP;`9fHl0R0()8yGASkJkJ@T~2p5xqpeFX|1seV9o`#21Fr zt)Rr`Pl=^w*AB?vEOOQD4|-68A$l3~KvKI<{uSY)55(6;URh=$jqsf}9`d+#!%Ep! zX$x!8MG^wX1~2u<5zP6ly1!b4R00{19ACfA&NyqpmaY;hQj&N@rP6*tG7+vpFL8OKSyHjIP@xu=c|M!^{~;)|*DeJ(&kSV!r1Zr?$~IHWlvVlbcA z>z5IG@zw_G^54YdR@`fzLf7peF+b*0oP-h}f`@%#Gm9rV^hRRmru(5kqT%j&j<)5d z@x$a}KrW}j4Pk*XYq1V$Y|Cth#|t71{1yG{2ICK@w3c$6Un2M1Xx?F;grK>JR_@*J z(-R~wdPON_QOU)UDb!?Ce?nZl8892gV#O>4z#^VglDLlnan{ zeI{na*3=d-5?CRuMa!oEfzgdtz>yKdO?)Fi&W>1}<7eCBaBhNk`XR`D!da546|tRq zy;rdKC^UpKaE%3$D0yxbi3nv+j9%6fn~~C7x@^sQe)`ihZwzyid?tFONL$0JUY}7r zXhZDu9k{-vMB|mY$!5MGa$ca98T@81il{(R>DK-R3}QfZ$-qFThIi{z`}e^@DjM5c zsCHs}L1YFasAbu~@B$L%$er0CnCd3ec*v*Yv+OOZ6-H8I7ZDDU_rrhSbU+>&) zg*jy3Jc7DcT4CCJmj6=P>fzFTb>~p$)j3fw!oXYbKN1@7r%^OpoQ5u8i3G zZt_XVW~cj`AHUDpbW1o%#|1+jzhwdX!#AGf&PKpq4Zr-upVc9DJE|d=3U8b2lm&Iq zMVndKtxH4{A%cEY1Vw9G@kD2z_J>?eaq8ug$-WhkUJPEbOOHd{{d$IN;5(USSQ;G` zF<+L)tfM98*|;uh+=xa?N&NVW^vbb0J?AQzemQ=r^Sajs6EPkE;-=&eTIr2G|483M z#WyJV>oOr3j;0P#eLD+akHc=|_>a@@fmqjLedm0>eu%+IP(mCZ(G9yoiNpE!bwm$k^9%?9Mdg?(Kdu6VnQqb-)18=t&a{AU_{G;2A!{dzMpD-?@2XOJt>Y2I#dy&2q5Wj86M1zC=vcs&pV*6 zBXq;|wGLua-Z`9vBJE74tL#a4xCgk2M}5q(s7*c%5fVR!&M=+oGgQz&dQ;uocFY}R z+l1}$y?W8 zgm#`!hw9;iJz?StE*J@n2b>dRDHMU8{h_s=u{ zL96CwU&OBFk!1Hgk@x#XP7ymp{2l27vvKF`yN8{-1AYO-Td4~ z7lk6c_St+6$(_th36^+0l_JR;9PE9(f_s9en)@FwkAua4WXkxg?2W5s;`|p|Wzlvp zN(rz6Cs9x=ErA*u3z`j_HtPk2(;7?%C8q?%-TE(((1c=5q7cGvWuAlbRDojqhjCgv zsG{gy-00q*2 zwK%PgdjK*6DDZ#JDHMj0@%XP4w-xvkMnm?0wT?g_loS92=1Kz@0O=s-I_u8s;w^s1 z8n-68r6J-5vwjSmY7I=Qqbs1#U%P*yVFQ(7=tU?f4317M&h0DK~{SX)8422vi7tJO?bpW7e3vNq(6)(7K^1!^2S|4?mY%XtUBQ z4|AkqiVM;B`b@H_Nz1Y&O4;GCe;?KyjR~YGH^OJAcIUUHCuuH4A1a>kq+?(T221Zi z>q(2y0sxY9W>%t0Hrt=`J&MWkV=HU)aJ{DT$ zKjf*;tnoEe$(7z>xY1 z3vXIJ#~)bTplSk1{XT;-g$o0JIJ%i(mL94S8b}zV&BTzXofkk&3=bDVmvNZR^&L18 zV9RihP%hbqJeAheC|{nMz#3;w1%rYMgOqPb77*DI@EBx@Go={&3sF<*6IjF=o|?nX zB>MzG2#yiTMPz=3oXC(0+ct&}Y9R?WtcGe*&ME}Q6k7_y`8aRE5m^FF3=K~~fiQ1* z_V)OBAMh&|w-)hNZXFsfl-t!rD1&T zQS_dneazW{;2m+l5M`p+{NqR^u9(SuL%{8jA3&_eFSe%zTjnil}*A7IpK z?B3hMZ%_4*<%G|&zpsXeUiosvndjnP2|gmpcA?E5CD~%7@1g!mV$0fh%5n?>y|I2k z-zy|5;)C0G80)DZ0_lEx;ezk@;GOV7XXS~OehEU25KU4 zp9-G+d7xq9n4M<-@M`(`B#$_i2gzyD`xU01jL%=B$c&+Ye62z%SYA?NF*3_ntrSa6 z)lKndvKt9)R>d&6$SEh355d!?z3cZ*d=zJhAvBu+kI^emzg-HB`ifM!n!7TZ2`zz| z(#ZgwRNG+is1pZuDkgMZhBKZK*5`vRI;*cS$*zq*h<9oypl(NPCu(tzc_iG)(G=;r z>AsAy%$yr?6Up~5(;)eC635s72|>e)9`$qwHlr)@cW#s)Y+ zcv-`3+2Mq$52l>f2-^7-myyNfli^#}6{~~QA!@qK##Vk48|+|LZ$|J2zj2`%QBQ}< ztKF|c69T5@0YxYp70Ija!Xf73=2NCE;7-!JU@wXdo9}d{$(*=GPoZ&B>2jd3N{7E%)sbA??etm-c~8=WxH7K$Dhi zj+bNSIhsUN(sUZi4R^`0Pdz4Fj>d^S|di1)*u~ zdkqK%1Q(q{goG;*^Wapcp0%oAzAIt;rd0;mYAQ>M0%L>hpD@!7RIFy&a z<#O4Cb~|-kqRQ~CS*m&I@)n#V*~9SbnKP>G%ya79O6)yE1l|k*-Io<8y29(6Mq)pB=igz|3 z<&%#c*W`~^gDuDDE-Ci&R*k!1X@X&;EG8$+I#c8v#;ZI=$}T8ORzo3cY;~zgsp8V@ znuK5%xXJH=L_crLyOdm>tcN#K=_(F&;{+YJ6fz#$F6NfiG(u9;@H{k?KO~rVG=rmx zVc$4?-V9m{%sS;t7~36xfVs7*vOtT^Bl~V5g7f2|>Si5c2-$7&KDJh^GK^SMz%kme zbS4{dcl8q8BvQ&5-69Av^iNS~=7pE~2VqKuyl_%PJ2d+Jujgzx0<)6+$fhx7wxbOk z`Lv`2=4KfjLN)!izZ-wMOcbXcg*!16O5mb8&)Y^)#hQC=fYnb2y_^m;DFJhJ;bj`} z`y%wpu2J$yDA5uLQWM%K>(*+2lwl*)bk)WS8nwHeTrGn?wYNjuV>QPU>J3UARjd_N z6v=~CWTP_SHozmlKc_qmDzi7N_Xuvk-7IUTzNW!G?vyw$D`Y99EJ2sV*+YFI5%FXi zI5%mPr8Z3WlEVnpEQNE$zEX3r)L=kSL}gt0Br3s7`l>WtJ+@?Bzoo@I5$l$~u&g^c zCyqIPg-3&9!x#kt0<^T1c{9jPX>1FUV^!6frLp!|n_zK_qmh1XUSA#jT%GqGQKG@e@RK4b(`Zf(eonMA`he=WR?waIr(oc$TAr=Cv;fd)l< zhsGy9OaCmu8Ys&K#EjlguH+$a#C}tslltRpQ(R}AWpEB52fS%Tomz);vn6lA;aWFq zVz?tJ+k}5>GD&HXuNPbA@J-cN+$gE$57%bI#WcO5(^&sv)D;Dh1Q++it4+70j;O&g z6mNVc7Lyh_QvBDCoFSj{H+O#@Bv3=pcMbf7QqL-IHKz5)4H^Ltf06ANW|hSZYl4tqUCu_y@&L9nG2omrWG}m~u6Z|EH9L+SNxuaW2Vwp7BrrbKKZG^!N zYx^W4hQ*p`c5g0YI%FGW3S6gRYcb2XJYecbHZ!465G^7~)=>Ti{$xpXI88Qz)* zW^U-KOt`wvWQ?2lt&l^#VzSvH!!3rDbtV!3dgvT+qIjT45vhqj7~zyrTb%J5B?l+L z#Z>B>k+>y$KdcEOqAbPsG$dyeO2Klq~mz9grW6t()`<&t+rR=>UXZpcH8Rv z4`v5g8n@{A-#CbSCI|E5$CS6dJ5t^FleEibpm;QNe**pdDYMOWUC%yO;wNrCI-Z%S27pxU7RC)?em{{yGzLF?{nY*A?B8cC0RjW{v?hu> z2nl?As6Rva{OE5-aLy6a`IT_GL01VEs?Vz(CqhCP=a+C7Z`&&X*)_)W6Lrt4yI=bB zBTnvBkiiYmKsG#DM*q4tzQB_fi;3QJ&0pOmZEe^=zx%Q$Y>g%C&Si0wL8Bpg!^JV7Tw#y+T7ESg(Fl zPeaKD*jz3G`oSCPh9UT@3p@A zu5XnOSC<{{FAome;P(`dN4y;f&-X9I8m4zqkm?5#?D<2~E1OAiF0#J-gF;Z1AWFT@ z{Nlnz=)tx;DOpby=O$?doH#x-+cjq;;JaLAS$kCbCU$YzR-PrW?-PH&9t^$!^8?pZ z&$(l3Jc0k);lb|{g=T^cl6P=m?Mbo4NA|?`)mU@#*nA@io@PAS2Z%RhP4Kl?eQGdH0QAxTG1Y<^@) zeWU%eT&p~VNh_TnOyY%x>nkh`e(H{K!+;kk)I$5UL!@Q?Pg{*<3(W#9y}HGtwzh68 zMl&8gDr_*Q8B2 zDXqvX%VN&@x%!N)Xgdh6*Sq=Ony~=5?V72mlf5_>wMIbg$%nJ)qnwo$FV*0~cwp>C z4j^2&qVhn0@cCxvYFZ&Eaj42u-yRNbDgltv{)bfe2^VatA-Gzw1fXwtOA0d*D;gpA z8aO)$_?T1kVL^oWZVF!Hc2_TSv!8Q8dm}xMQoOoojn|fB;$+CH(-n6*TtjrJ-^YtS zmeuDBve_-T4X2I9wTF^SEV>dH~H=w(AIskTnE0we70})Np-j$hj`IPN=UghRC~sy*em=6o`gdx>$dmY3*zBL z%Td1@N9p)vMl0I$IkzBezrox`8F~Spt4Z6Vs<019RrxbLOQ!jPO($FooU4IrFQ1i( zC(DF7R||w$kRyDInLC5?cYDZzxyyW>81X> z6*885u@%OCxbCrcde%p7Sri|I#_%Gl^Bwr-C7r<&5Dz1s|2?jcM2l8YB7kQqbkP8j zfqme_LH#i|xh~LCrdX+Km~}w+RmSd(oj>lxk+JgcDc(HbO@@ zPd|^27ER6oesK{JU~5cF-N7&u*6c)^nH?EB{6}$0I^KDiiM|_jyw`leDaujlhyB*k zr;Xi8_s-?;HBwEDmiFxe)5d3drioWBna|Kt|5FX&WNRfd0G2?f5gGuoS{ICf%7C;! zBOq4Vs~_-7tA!bG7m!9{2E<9raRRot;#mWg0BMp||6=kWAXC~OH(*>Vm;HZ4mUcj# z)_){Kn6wBdph)Y#t!+SBxf@V8O*RM^-K}}Z1C9aG+~R=7t<8x*UqG5l;ymxi-5sEb`CHbd)oIRAnE_Y#v))90T_`* z+{)R-m7I;68<9oU%-+J)k{rYa;`nb7CM~ZR2m{&YMh@7%VSMBsD!@8T4e0ySwVvMM zl$4`&+h^BR9msJ(Gi7+Z&2q@-eAXsU3Jbpzfjg?eAvShI$hQLkB3XhFM-SA7-iHrrNw0IB7GdlqOY&54 zGL*KgbLaRd^ImcNvfV zJbcA*awid8N=2egadP(%>}7c=^zqxC^&aBz@wKN7KC!it>WApGvj=|n7n;7RG;6Z3 zn`5opghBQgih(vXCDO^G(LNnkz?9G1O)tTQ7|ZB7@xYgca*6rlN9v63HMj(+n*B_x zkbd+5d6n6ROCt1b;@s_6Qs=$d%ZE}=HV5G&PSan+ro40sS}5sD2~S5O4;tS-jA9@o z1CRVaFdaMub2>Rh(-sOCiB(0qs2PvEQWnd;R;&=;-QEuN+>tEY{UlenLMWe64p(=} zOUaxUc-+5w^OKU%v0P-RR{g@Pgj#(eRM`@7K6&*%o0n&|ZeEfKzZQt|h4H+%g3F?- zolk(9hf(v+TU}j2d%vNbhw*D&#-tYHtq}`y*gMcYt?bdLLW>di{} zzA4|qXpA?PgVC@AkS`bU2~o(=!r(R38qgq(dsTeX63VE(Jg z3D%@ava~)g9=XS%HLDvjyk0b|@hm5xPC}Q>LG&@ahCPOBL_bdG4--U!ta{LU0Mi*5 z)uhBYbF*wRVC8CO7TU$wB|4BlWX{I*Cu7u$31*GMc+4{_IanrV#MvR~CAKqEp(Sk0 zeJW#m5t%yFy7zfyFL~}7ImvUy?5jsHZ8IqGa*=bWl`Bd`Mr_QqK9lk)f@93L_hLRj z%Z$IXL}A~v1V5l-y^kBccJfLGX*B>=F_5~m-m!*9Ipq6mP2tLPapp)yDjy&8inA%#Jb{UzJsJ|_^+DI37R23vLg`RVjy^aarR9cQlHmlbw?3fl1 z%2UEY-6uUZr!Bg_>@rNg7I5?W(4fH3yT@kx2gVja*wNBbeE(v|Kg`jIc;&s4DT~ENT4q_Dpvw~SUM7Tj*9Be#XTpS{z0_6XHiXQU+OS2r@ z9BC9mKza!ET!)LC687*_*A#zdbS9h=e~=ILm2`vz48_*;;0s0wI%a4jc2o=qD_G?7 zfGna3w|UtFT};>%*>~}%-&U%w=B|kK-978RN3By@KDmw4S`;Cy*&*o5LhMaKbt@^b ziNer45#L4nM9P%Lk$;?+x(IpPP^p`0^G1srlo0)^W@XCF`D?4A+|WtY!ybK034Imh zFT*_wdj4Yw!e(A*t}uh@D085Ynx+f5*AXpXnXezKL;k~@OllcSU5A~KXPRFu%$52L zU~>l>OGT2=IJ8*TFY@BYSsS8Omx_DdimFY27jst^*pSnN0ap4WYFC$@=n;2b7n*1? zR9y#&O}zPqx+1Sdbsiuu?bnmd`l-W^Ya@W)k>tLga|JHAjtsR|m>VX17v5Evi#XK8 zkyyT03W;R#8NHM#W?Sj2-R@z?96{qRaB-vg=joKGbib#X1rw>K)HyF1aYn)SAnGJw zadhe{iOQemjlbXLsK@2rl-q58I+zs;$ng4@CD&*^UnR|{$&@mFG;AARTI61F31)Re zl|uRnUQaeAcn2n@&h0HsM}G1iZTMXBWx0~Rxs&2$(?YVYYNr~}rlL!yD#t=V*#rYA wDFIsJKk{YSi>|C19-p&oJ#~oQ0W-+jjA=5}KoVpy515-3k(ydeK^*b_04h%GqW}N^ diff --git a/report.tex b/report.tex index 95f4238..826555c 100644 --- a/report.tex +++ b/report.tex @@ -390,23 +390,61 @@ void translateWhole(final @MinLen(1) CharSequence input, final Writer writer) th final String quoteless = input.subSequence(1, lastIndex).toString(); \end{minted} +This assertion is one good example of CheckerFramework's limitations in +verifying transitively true properties due to the lack of deductive verification +capabilities. All assertions added in the project are trivial in this way to +some degree. + \section{Conclusions} As evidenced by the Apache Common Text test suite and the previous section of -this report, no changes in the implementation behaviour are introduced in the +this report, no changes in the implementation behaviour were introduced in the code by the refactor. Only extended type annotations and assertions (that hold -when executing the test suite) are added to the code. +when executing the test suite) were added to the code. -{\color{red} -Did using the checker help you find any bugs or other questionable design and implementation choices? +No implementaton-derived bugs were discovered during refactoring, altough the +introduction of additional method preconditions via extended type annotations +was sometimes needed. Some questionable design choices were found in the +library, namely the \textit{CharSequenceTranslator} template method hierarchy +with \mintinline{java}{public} implementors and the inversion of abstration by +refused bequest in the \textit{SinglePassTranslator} partial implementation, +however I managed to introduce correct extended types without drastic +alterations (which may have broken clients of the library). -> no bugs found, couple of design choices +It was quite easy to introduce the CheckerFramework index checker to the Maven +build toolchain of the project. However, compiling the project after this was +significantly slower than before and lots of spurious warnings (i.e. false +positives) were produced by the tool due to its lack of deductive verification +capabilities. Some benefits were gained by using the tool, namely being able to +better refine the precondition of the methods in the library by documenting them +in an automatedly parsable fashion. However, the sheer number of trivially true +assertions introduced to silence some warnings is a significant downside to +consider when using the index checker. -How complex was it to apply the checker, and what benefits did you gain in return? +The CheckerFramework extended type checker has a cost and complexity of usage +greater than the Infer static analysis tool and lower than the Dafny deductive +verifier. However, with respect to my experience with all the tools in carrying +out the assignment, this is the tool that has shown to be the less useful. -> not so complex, lots of false positives +The less powerful Infer static analyzer, even with a great number of false +positives, was able to highlight some bugs in the project I have chosen for that +assignment (Apache Commons Lang). As all Apache Commons libraries are quite +mature and well-maintained it is expected that both tools find relatively few +things to flag in them. However, no noteworthy errors were found by +CheckerFramework in this project other than some small imprecisions in the +precondition specification of some methods. -Compare the checker’s trade-off between complexity of usage and analysis power to that of other software analysis techniques you’re familiar with (in particular, those used in previous assignments). -} +When compared to Dafny and deductive verifiers in general, clearly both Infer +and CheckerFramework pale in comparison in terms of capabilities. However, the +increased cost of adoption and of the tool's execution make it suitable only to +critical portions of project codebases. + +Finally, I would like to mention the +\href{https://github.com/JetBrains/java-annotations}{Jetbrains Java Annotations} +as a much less powerful but effective extended type checking mechanism to handle +nullable an non-null values in plain Java. Even if its scope of analysis is +rather narrow and warnings an the type checking process is proprietary (as only +Jetbrains IDEs interpret the annotations) I have found it an effective +development aid in my university and work experience. \end{document}