From c20fc6fe1cd9d94fada6ca2d5e34016600a75b80 Mon Sep 17 00:00:00 2001 From: Jacopo Russo Date: Tue, 14 Jul 2026 17:59:56 +0200 Subject: [PATCH] added tests --- .../ASPIS_REPORT_Russo_Corvace.pdf | Bin 0 -> 107441 bytes .../tests/c/embedded_systems_testing/test1.c | 74 ++++++++++++++++++ .../tests/c/embedded_systems_testing/test2.c | 23 ++++++ .../tests/c/embedded_systems_testing/test3.c | 36 +++++++++ .../tests/c/embedded_systems_testing/test4.c | 15 ++++ .../tests/c/embedded_systems_testing/test5.c | 25 ++++++ .../tests/c/embedded_systems_testing/test6.c | 34 ++++++++ 7 files changed, 207 insertions(+) create mode 100644 testing/tests/c/embedded_systems_testing/ASPIS_REPORT_Russo_Corvace.pdf create mode 100644 testing/tests/c/embedded_systems_testing/test1.c create mode 100644 testing/tests/c/embedded_systems_testing/test2.c create mode 100644 testing/tests/c/embedded_systems_testing/test3.c create mode 100644 testing/tests/c/embedded_systems_testing/test4.c create mode 100644 testing/tests/c/embedded_systems_testing/test5.c create mode 100644 testing/tests/c/embedded_systems_testing/test6.c diff --git a/testing/tests/c/embedded_systems_testing/ASPIS_REPORT_Russo_Corvace.pdf b/testing/tests/c/embedded_systems_testing/ASPIS_REPORT_Russo_Corvace.pdf new file mode 100644 index 0000000000000000000000000000000000000000..82e8270dbbb49fdc45b63c7379eb6c7db0bc65f3 GIT binary patch literal 107441 zcmeFYRd6NCk}W7^X4V!nGcz+YGcz+YQ>mnqRAN?%nVFfHnVF}~yWMTK-?WX**Sw#} zkBl9WZjl}=!^{p~1UML5!|?I~7-X&N&5WF_yvL2H;|0WMKs`$OBja466TFGcs`i z`1xVX>`nif67c`w0mIDkZwpcNax?=lXeyhT|6PWey@jjgUta+X;#Rht<)~0$>9$C_0;&TA8>yI0KlN|E>$bpz#+7roXFY z`UeFmds8#dzXN|EWMbm{*NC|Tfb*{($^Zss2M1RG^M7A}$ee?Poypjo z)zsLSlhcTm-I$5p)STIbg^9()%!ps_pFMDKbv84ygYnEZF*Y^au`o0?G~|RP)~e{a zutgfBLmNFS|A8(4-|_qZ`~N=z{|69&`CkwDe^RKt zk)4?ffSK)IB%t7EW-nyoYUN-LVEu=m{_=vNk%gJu{~{hW7c&JnSKGgw>+-K*7XSzI zzl{FHUm`}XMz#(X|Hi1yTz{|s=dJ!_q+o2V;%fI_G{?;G4WwtkVc2qC-dWtARcMFXj8F->-)Ca1 zp0LDXB)(``60T5HAo{)H6_h>FHgJgAmMI~E8BOvrhPSew9>P8`{s|UfemxHm*T@QJ zz#sWTJTGDs$h{0yB*ZUd5gs=(*w;H5L_V&G>v@~|(D_)QK|mmtamBY%SOqgVx32o6 zCsxWB(9zm9V$7bwSZ~-C4U#*@0Np#&NK!!E?F>aw?zAOjw;>b32MC1OO-#6L5XDi1 zCArZToIkX95W1Xt9%wh*s}V|yPEFWYK{HF1rHGeRL5Qp? znkl0@@|x#{(4G^?YP%pWb0|zNZIT0q7i`EO^%Nd~8Sq%;Y@Co#g+>;*bY2MABn`7T z*{BOdsB5C)%RAYBtz67GD0Wkc_hMmO=O7G~GkL4S=4Yh)3*yDXq~pcd0&!xjI~-}t zp-U4>e@xew3TE7gf`LwjBEWMW8`;?Pa#5B8*+kC(AHM?KgXjz5V#A<9B0jBwSd7j& z0tM0np8zv$fRBh`8SsG90*&MB$cBT3q>lEpuK{B)m4EwwcP1(f65c?nk4Gg+>=$uj z-l>idnp?2kzA&laO%}`aqN7Z56q3ehFQWE#FEC{p)b@u8s+XAnbT<}2tLV!G{Amwv zeche38Hgfy{k=&Kv_7K-EX^IppPx3bdmM^1C3LJbt-LuhFNmJPR^DI$8^rurbk<99 zT|EAu9|w~j5j6^dz?w!~ngsd@M-Aax?$)6Hz5 z5@okPKAG_iCg^Ph%V%<(JTkAFZx8Rhd%tMKSCWs1`!lAuyNtbLbqJ2#54CO$#zAAR zQYbEyh8qu0namY`&qbp64f(#_UA!D;Absszra!cbyxlOK{#qyLylgtUp4R`>LA9i6 z=k*80{ZNYM?&7if-sgY`wDMHAlDKllVshSNcsd~<{KkTTy~v{+G|L<^%c|zVDB;07 z@FDUfO#}(Q0jA15P35zP%g@8r_l8E*ud~SdL~(J5POTR4TEuUopbRI!EVx(_6T&JQ zzSg-_VC%#2?W_b-V&>st6N5DE^rn34iTbJ7Phah`?I*9G2CB+oP?1qvxZ-O=l?`F7 zhuR+zE*_OI&eVD}HC7R>bJf8=ohNUR$k)jPkxuw}X_xFnh!!4>AlXmWzO9;wv}RG- z$20->3DswVUscaGO>+?!g(4ht{A-$SRT&7u66eEA?b)II|#xjF^NnQ|KLZ4gjya76xG~11g+>(to!Z_mR!T7d%c=FUG z5oO_#x~(&f>^zpgsuML43)mPl35S-=^N0}c|EPH}I#(|7DYe-2kMaq%gs>0hU~M#_ zzT_ZnpjV^b^%)iFKM!nI_vHBWIY3rLso_8w;N?_QhTkrtQBN|m0D`Jcc)usDfPb+% z4uU2DA$c<)ty0uQ%FWFK)qrRiqMU%Fd??t%J|z8*D1k`>Q8;s0%h z+{kg;8@Pp=r*sQUnjKfz+Kr_ktKj|0R3YukgSWQWmPgOCnkBkBxIeBQP7WH?VNTEM zsph6`AELWmShta{RG#Bm((BjD-nU4$b6BFKcvdf}xgpBmjb@xj)=jRYvAU8m&Us6W z9GN6RI#!cBK6XX;YDzHK4iilOWZgd4*UIBw{|W>SFytc|ig8)!Q2yX?&_?Y}!)e?V zR6i_!SaCW5H7Pw=$Ir+)k?wr(ms`EDO*5-zm$QmO&?30w&`}zS;FA;;CA_G!gx?Y* zkH-4_yFQBYq+b)RP@;$3P;`t=exfnf!Mvy3wGUDya}h2qc|1Exp`FY!r>qtXp$=Ew z>ReSD525Nor#o%SO~(hW5l2Cpbduk=b(>PLPMYOs|lH*WOovNr?}&H2m&haGRzE&|2L&<=cn z!9>*l$LGTf_|t**?4|ZN*hJ;6c*WKoL9_kKLZugL^-b17Sf9CY(&R)9XW^m_8s(#M zHB;|y7rr7?@mDXIA8Q-KX)J@XXzn7MCG{yES78G&acvm4Y!)L9!NAkOj-38p19&iZ zN)Rhy(@gP*fTS*!1q?C<0~oZoX*^O_8HFjz&rRGE;CVE>`Pl(&$az&6>_qmO!eXzV zYw_Y+;0QuFRRhx~+(_caA_`SBpRH^vTH1+mY-l!XbJr($5*n}vsch)a=&)(tRHFjq zbCc46)~YU1mk;PTbuXf)G{7I)EnI|+3aXrl~vo3arHT(Ej6=T<(tzaEt4cb zr2YzR*ggtsZ?vG(3NYqccqpl!;srU;_C7ZHxRc9c~_ zI1woVNEKe+(LFR`7*{1t3$gZRi6KCxP|3U^EEE~oEbnm`2|bZehbxEtNt5npm+5`0 zRKc3<^2b9BLi4e7mw2`^GO^+PbP0C%rZ}+BwF|tb+Goev2z*+)3zA@`?y>~&_PNXZ z6*e8kff}Z%t{*QozQl-!uwKN|2a@_DGFsz^cl|F6yyhM*USz}0#3jz;7W3Luhr;wj zxd+PhHOFpr83EG=zdk+$O!eI|&y$Krq)Oq`o((SQXAm8ri z0$6hvj2|DwVWPV_G`K5Z)(@ z){k0#E*F^bWu$o5VijW|1SG&Yn9yIIm|ZsM>ug`Id-L^q<ql*)?~cp|ZVa#LzC1a8 zBB`D@(7q-JvH+V_A3h$hpL@exd>DK|e{28=%`*Y9cD8#NOk?g>py%5kUP3|hOpiA* zpWE>fPSYP=9@rBJj3s!~oB6%^E5E%|sbVKQPPRl!j_AsY$DFhA52uWyOMfQ^j4RyL ze@J|(Ok4Epo-d3wmV?%ruQz6CSpJHHH-NYR{q&|ZFn)|*Q98)SIdZ63U4JUKqrH6v zX7ADO9cM2=aBa6kwcQ$Z&*};AvFrx=p#Wq7qmNc6`I`UYtRk~rQbd~5sfUgguA10}{$ zv5hmTaCrZ&XSp#Dr)3cP19S%HUJ&iwoNQho@1pV`9?5!2=W9(A%X{+lfRAGNOvfSvij zG%^?0f78AuhK7HmW2Bb8p1z(Q{UN{z5V#>b3n)$E=$)WZkryba%q)micpmPuU1y33 zzaTgkk|0ntHr5^13pN(()du}fHZvU_+yaYv|0V9NHPLy&rB`@dy!|YBW=0^Oz;~?c z|G{CVe{)#G!QR!(-qi)b@*nD7?r+w?NZ8?@+`>N#WB;3c;NW8ZC&BPHOYzt8zrqA% zGZzOpXOqA21M7bz8vYd%{1apRTh#Es=Kas8;eUkZKXN3@>}*W`4VpnMDVOyT^saM_ zykuBaGUAmC+2rzCi+Y7oO*JmhBOnkt6ebLL&_s!^$JZ^8#MB*C>I}RAd)IFN&!?h8 z9*JQO|Bm}^<}R;}_jyF89k5JH2&oHRf^5c-PF93ptO*?hh}pwyuP0x&Q_t;;Zjd~i z*Te#@h#_gC&4gcHS0S<#Eb?*z9p8_)e2L-mNSFrBEm$J1ONef9fTc=mT%LJ4G^Kf?dD8Q#w+}ctF_mX{fL~{IJNYtub@P8*@iX zRXRb_PYS0pdJvM?IsAS1dw$8W7d;uIhTb?$2WpHYPzQUPF zVeH9E_YVSO(4xpFwf9$PcupyYw<`|VN@UA=YxYD8&m@CCQs$XIpkLHUr??lWXgk=>@o69^7je*5ZU4MgNI49_G`}Sbc_18Urf-Z?6n`8*3 zY=t!W81(hZM>UWsmLJ<`r=dE~lso5I9WJ3|fuo!ja!yJhzT^Y8s6d^mWz>U|N!iO| zTRHHzlUsj<_Tv1;(@^?*u^oAz965#K2v?9B2FDR5 z5i%SNdPO64mdUhsK}txh9t)d<<%G$Z;eZ(4cKLo1>1apt0C&E#z1FbNRSfv7`uumy zX#Svx6!{aN?`5Jc1O8?%8Q7O744dzD-^0PQj-uXkDQkihLt^-;&_cvwOyNg)1$#vh z3sDL|Hfz(Bkfe%sPn)|TC6j~&Aqd&F}mSe zc}9AbZ@-FibAw!~1AG)!v`90A$)PF?(2u}~$pIF>xTA%9AaZgY@llo!0>3rv8&ZXpsS$%M#W}lzLsJA7yHKV=o?5c>!OpQnX$@0|GVeeY zB+<;QSH`%Myy5Od&?ewW+L*=VP^_3lEI6sYibuu@u%tsyeX;@NxWb9r&+K-L`lXD? z=`$OA5?Ii?BFOFwcK$Q2L|j)T2+>z7zF}x7J*x3GX9b4*-F$7=aV{IYe!w?UaT;Yu zJh?r-SByFtvsFoSkL@m|y|`pVqPb>T18HOT`3rz*{MaCl|ZHg?Ktb-nYb!f8$f+Y&i>- zL_p+Kn~_>TMddSU@t5LCUH3~=LbqXmk3gLU{!y29Xp+^1G{cv?ZAvF`kPr&RYU5E; zK1r$AN;@N5Cu>V1g`6VJ9@QMlIU{zJcOf|+QL1P70s0@ zn#ojwIhwV*ZVO4PjvYi1yM+l7hc;uM)1$Io$z32U8 zaT)whPCFL&V6fdkbK|53^A`(v3YYi7!DU(2`5;2_u0Nx>u#pF7{P=AL)6}Y#*@%$Y zvElEum9$-Te+_*Dm!JG(ILuGX60ScT*REeFglH}NIfwwHcE$uPZY^p1IWw_rXBCxr zk|-P+SI5&FK0zr-Mg@+nlYT*iK7A*a4^OE!cC3TlV6KEm9JeEm19S#>A&WJc|7k7g z`)zEhp>>?8WnU~Wan?MUCo1^q4klqW-ReCWu z6)cc!Q{d9eHIMBLQ2K$+7MP~`z;Vne0ikF}KJG%2r?C;z;p*X9;o1<5sg$j?5rC+T zZd+|>WydmH3)2kN1?HJJrcTuhVu2EOjuGX9DENb(n`Zch5sU|RWO03DOAwQ6CYK;( zsAn^=9d}c*LO$v)Px*JPBjxCRIQTxb{Beg>VOal_HXZuTNwpe!g;#2#S5wx2bGDU`gFkw2ht{F*>;nSGFkQ2;8RV3q^%w*M6DQFQ4Dxs3m;N^r( z0YgEX+sJoc=^1ds0fvRN5?UH%XuqVC+24^nAOeM?$?yDh7+g^pULUC6IA3JdA+e*- ze#%Vn^>8V03o&^M#Kd_9<_Pt=gCg3K`#WNvVzCFdX;>qrbFve&t-#;kqog##N1cEi z7l@I&)WKA}D5~%6fz%pfYIPFAEuh=#f@=Bs>S{W;P}M?7G5 z1bPLg23w_i1bj$sUwn8z5vKwA6E;P485VlTt)O*3D_3&^RtJGMA4Cka-oP4OMmyisw?J zQro=ONOdh5JAWQoBi4j$OzfMv>zU`Z>yu;3{lnJ~1|w#XW;<^ymQ#`<4ioPTQ8OF# zc54$7KleBGS-hOaUxh^L=9y0!;!%O3g$woitg(k;{c9OprRneUo_?nVepQO8!8DZ_ zdq3*joy}B17HPh$nDfoF37T3|XYb#YLmP-4zE+(v`@jW$OO>>b@}9`=V7#ejC=JVt z<+aFodllsGYfR^AksneH9Y#rWj+8z#w`{=#ALb%9$TKP{&mMDXq+t*DZ`flBs@~q) zQ2wc0OT`4ODz}notBC!K>yopfuVHQY!``DISi_1*Zd}_?=1}%gy&&}MjoeY8FHd7C zgBaWhbluv)vi2Mx@=5kcsW+dVRf8U_i#uNQhd7`A)a3p+9QIabyKM2B@wxf)W6oN)YEzJO8pg7(6yzy;t{;s|xy_M-@ z{xq>QUB8SwmE{rlf_|Cg&d5dzGLDD=Bn6!2=El|w06>w_0)apSb8^M)YHF-(`va9w z!NmoUAS-_dDT?<4G&>Z)g9ky~lA!XIKs5lGSWp-#ATcsQf`UXyl6MXO6gqI#AkUu5 zpf(UeI#Q5uU`J{arN1;+fQr#QwVfbnPl<>`OGV{>tii1~3m+aXLIjmZ4|Wdb(q97= z)&dfjsK^O-{+WQX!7Q&yD=n=!Ge55av=@#nn2&$xc?HC`t4WbZ1P3bO({mAoNdo!^ zu>T`a01d<$G$ijhaUF;}2Ye1K)F0>>L4yY)Vt7M^i1ftBiqy?LBdG#enh;FnAL8Z@ zdIj`ti-1H6^rg`%u!=H_0vt6W@d<7!+@KWYW`Ur36<#d(;n3hEjF>>MTFwV!gE7r+)+?j`Xo$D9_9AJ* z?c@ufbK*b@Ubi>z0r-&l19T7^Lp%Eiv7QhWgUO*<-a&s9j}gLcfxk3QBZq@W z2a^tjk%=a zC#H`DK))M+3>jw#5C%am4dWfbcD5I9?SJ$;;0AnIwqVYHgq9FuLAAYnoR7jxGy0JB zExvEx7)a1sx++{&CsS?bCViu;Dhqo9`@MvP1%3$U0{~d0#K3670xzHSQ+iMz3WVQD z6;Y0YAPmuZ4>8-N-9Aq*A|O`+FuTBC^*;zu6!fqX-?wF(!J>lmUKnn^Gq1aqzXDjh zOYgdwKf8I9eRj^?Xr?}KZ@veJ>>V|(1)zA{2n}zUXT)DkHF%FV=fB3D~bswJz<`qqM(Bc&saus00q2w%AlQq z4vjAm96iQt3JL*(p~NTv?^!&7asy@qV?r=cL14J`H_Tq_dLaGZ1qFqcW60_8zBS?B zfZ~Rl?_W`mxhWDvz9^n^gU;9bYuD3Dp`c-r*nhTn) zgPIx#rZAzLx>6WDy9wr@RZzM%dU%Q79>+=L_g#MV@#ADvOe3GX8htK*c}-s{xkzN1 z*y`;tg{Wz?dfHRWHDkACL&3gQNM<%2xy&28xxq|30SGz=T@|+T(~o6AuM%G=NSh!* zy~`!kxJ<3+T~k$*UgO6UZ|4(B^NI;e$k4F-FLk5&uJ=J+g)yVXt)}_Ar{YDqt3r1t zignTm%NxuMWEwW>aCs{DUm4vvRsz3JhvXM#XfiwlnJ#4`Y&vpi-UrU|(J}Hb`PjC& z>Td3X+{=px9Tga#@i)O%>*o#`{N1u^jCt{dp|ifrWq<3d9~MmSt=_mmd9U^F{^YBl z#%H!CHzi6sS}>;7U?sucz%!JmqxD?`%~7{^miu$%a(&q6^UlwiRA0hVRVA&fa)quG ziS^TRLwGXQLA*C*pYG32mbRt0S_AXcyq(i_bDzzubjdQj)`>>AjT7o;+fC4$6RR@J zNY1@&0Ua}ExKJL~p8D#8vc?O64wX?hpHP(kR?PmU;9E1_2nL8zpoEm+!!7xhYYHQ1 zDWu@yo@CB;C%ql_+7ac_dqY;RqW#^}D`M-B>L(B#GKbjAPT6nAPf=6`y<7#FZI!np zGaRY2L8O%`Sc4m_ZW5DCzp1Y!pX;LY1(4&`(eHW2>NA*tWD$ZG07I)++VNW zz;&JR9W~*z3CGa#)H@q>m}~ZTu}eN$?8QXQC40@!zihdAy59Bg8q;eU)eMi{4~62% zmL=DF+^giYw5N%>nyTcP2Hg?8xOuO^?S$xB1gE67D<+`_IuY@K8?5AG#o>t*S|thI zX7i?ABslQMD}xeKpm7B`>MNk8T>UKIjauqwhOALRRZ2^D$p&7F2Pm?7!Es0-y$GI* zEvUnA_;QA!5Qm4_4mNA!n`A~_;&CmBLlogcBUdPs=`2zlU^@4+NRbovA!G2nLX&ZsinZ)&|C?=vA} zh%bL~$!FEAmQ5+ajd8!HzZBWWRKf$Rn-q=8|fz~ICJ6BIjKlQ zLy1?{!cgZz-#++;@#|}@->0o_^k=h(h)>d_WTNW+4%LCB`g^i2#2iVyig2|n1Hxrw%vzytH!-9w&Xt!DeTAeiO47!^^+ z@x)_Rwnbm|Yxo33oDWkP-+(>=YmMb6Nc!Rn7qf%e+U({*b$@Fq7S@_kk&Smv6%Qt> zyIH#;?K#s`Oln+GG+xp5)bd0&56zwV8h3m+Hg8Qi`7!+)EgzDmmE&S4pC-0h^OL&J z+aHxoL6oMcBJ*B+aL+fE1InvXN&iS92sxxzwyL64^Jd-y=Eu?y{>;@4p1z{wjbuoP zyw#8wEX>|e=W3YQP8tVsnfSA<08+%tz1-zi3-9mNO-$r_ycnUG5Frb1u0^Mev%s^g zqs>chr>e&Y1@C=1WtwM}jKDUd>fs?ATEECymg@=nA5sd_uL`n}#J95Qq|Bl}{6?0e z@imRox;n;UZD6t&X^y4MrIiC5K-5cN(UDR~Q?Kx6I~tfO!)5j;t>GD8DNE%f58ir( zCdU1U64Ews6)#UU9wkLY{)A`Td#=&1lGW}VcTzhPF1LFh-#L`&zb=Z`%tg|6o_iv3 z9Avr3E)!TSvee-x-PJxbwF?U0(VjT5gdkX{0kf77;<0*J(BWa3LAzOiF~0 zlt{Y<=A68Jbms|)tg6$8g z3_4c%WO4GI&E0LzEJ_yG@Uk`*sd3TZ@2YP84$pCZEl;}o@_AW$uTXIwT`u(rN9@z6 zuKYkc`rPqduVm3N6EUWXHu0J8;5jxA(LV6~HZ{z5=i6;1X~){k8DZ8HMppCY_}22<|X@EtOCjSwZkqahR( zuVwkoxy5&VIreEOb*wzk_+&=FGn+1jH`&Z!b8s2Uuz@D-b*iuzdrG=rtd<1@JNbbB zTB1zOolix>wxm=6w+z53v~3=tbpkJ`DFc%jUI|wFB`4)u*Ne=v(+k)yH&yvHucYL_ zVrQV+b26oT=CNJoeQ^k4LH7QLq_XO~QFx=;ejAz|FkUX^X0y5KW3;Z4(7}QRf^X_9 zw!CoRb=1{kvF7u!()iHuI96v(r2F(vc-tEWW(0&y!bICL)o8QyRHQd#O)6y15_ClV z2~`2F@bvlc%Lx}N?Tn4&Vo?~i^dzHsECxm?A#pQbwNsy)+F>1Sp7@+F$Ne0=wu^-n z^i0%m()r|88(n!<-itMIq$20%$j|WU0bW7^FO0a>HLg_@)Q3||AU+9osez^f>)Y7e z(uaoK@vX+jykx zbU>BAW%oAklDvp}L_d=F6??U@kSfMJLC789i~bj1aPWdJxzep_pByqr>oZr(N|&0# z+mdse0O+ZtuoR7Tmzlt$H%URA_iSUJXs1VOT0;AgUs2FnMt77_Bh3_H?DN_heKWTV zv@+5bpv3?c*U{fxd0^CscF6YCsYKt(jme2xzc|3;(4G}CdZd*$uhU|)9u>C_k|8rB z1Jm+v(aq|G3&Gb+d4=x=zuvuuYn^N0nyTlHOSpq?@Z1=vK;6JR@rd-mDUjX%!~g6zvlh;Fb2DumZOSw5v?88hHKA&v z@t8Kk;xV)}4wF3??>)y6OsJG}?R_}SjjRR&Qc1@6q{^Xd8PMqCG`q+L!>8_tn>ZSO z0G*$oo1k9P_*>ZgFg!s<^aMF)Yv`ut$8V6Kx1rw|Z>@s9l-P&lAzwn4L!YG%Q|L0* zu0t$z*VS9QfwtgG*zy_#CV0u#_ptohZQz1>JtNdzixH+qArRysp0* z&Q?WJut)i+U44hc9;{{*bBzgj(4Py_u9){Bt)-o*+deZn&wJ{Up5I2*s_Xl&JIu7) zWh$NW%V&dPIpgakKxb-P@_;c5BvmhH2CqZq2QA^mMk*Y2P^y}vEa;W!5O=Hb|6uG_Y^V{#oq(d%z-u66z)aOR4M9^r_k6Z^|R zSN`F^ilSI4Xo?(po>=n7&-y})EezSR+`P9pvGVigQZ5P^H=TBwcO>?x;8+NRtJX_? z8&sn;nCIBF+s>*Ye6wU7hAF;t~->$6V7GNH*i0%%3BX=bnFSR?vgy5NAKKqxZ!YQa0@_O=M8oozT%M!_n znIc{dy|oTLk?CD%(xooS5_#d;TeeTECtry;GW_D%T}Od9;I_;$TfRAo^KjDfAFM@4 z&MZY+0a{_c7fqoLX%PxdHq#!A1C^~yxM_9qW81ky%MepzgjII_J$mW!wYAc=Lht+E zz}BSdqEN;G%C1+HQB(q`8XmqIsqPQqTG4lsQtHVj*LMk9auD&dTM)G`o%{S0tcP2Z z0B3j2vWK;v#z3Wd`ydpbZ_r1UMC-LZBrc)eY!J`ZF2*5PeQc|@jZf(hLzBUnLgsSl z1&d*jPMMr7^?THGEfy>yk7fspJ1!7H*v9jO=OVwSr`Rk}0;RB~$s|T`j%;iVGuYJ4exq(U&XH{2R6ksv?i~Y6=6mLrxv)I7zb%( zfzQx0kR@Akc9La58P)C>!pzFdRemWD^@yD56XGi+OlX12!ubv&=8)XrP zllUJ=z(vH0QZ+cH(s_T9hT3AMZ!OFnBL6sJU@oVWrs3HYvFLMUe`-&^O%-hbWw?I>d z&DuF(qg-5weRravcI=dtc$svg_mjnO>`aBQ6(x!bj|`6)+w&4hbfdRjcefPtG1J4^ zPZ`YwlCwKvOnl@Y&eW}POO^S(ElE7kXC$FZuO6(kHt70VFm@X-w5iS%#n-1UcS|`{ zd@3pFtsXh=^amvYCD%_e;a+!6)@ynuLaysp$UcMV#u=O9G7kQiqjfe^B{cS!sld0x zzVfQA6_phEc3J}Mozykn?-4}C4}jODq5Sd7)s0Os@PZB#13H+Tdp&p=V{>KhZXT%u z0`fa*W?o=WDjjw3%o6bJWCMQ%%1_qj>aXgIHj<>!Jfi*|CUPns0kb^O0FhvQQN@hK z=DOdP?$wo5SSpCnL{hv@)R&2&G6J|Cr#NM?n@Y~=_VZ*t%Jd?fgjo$2i?YU#rxA!w zD5`tnmS`H5Y!ad4TX#BPWOZ%%4V01gf-mQ(xUS9b6-HeYR_*TSxhr#2)rM|;q~hg* zWuLoU{U*3oZ??SmSJ&#L3(2(yRBx@JuXXy1VUwGrN-7!x7^{`;<2e+{zwV0EW6xx& zL#f~3nR#mqH6NOaJ4nvWP&aS;LJ!Pr-#<{9{OTAjipt2KUy)vSrfH~28BCz|v}g&g zy(>uNn)KXRXzE&j8DfHSDcn9D{9bC%%cDIH6#;Z55=_we16SFaEYR)pi-A|GIfQ8# zoC?J8p^%cn6WJ;V!CVa+OZ=ehpiK67dVx6g8a!`i4YxypH+9GEA;9_!EC%e$u+7t7 zi>X{rG7VGVBvb@n=uIf@(OhkX7ch6)#{B(!rTs&TV0S=ZG2--t`kKwJUub^VgC_jd zYbR7-Lzd#GRmP23Ieh}JAV-f|1aTBbU8%__XfgIvwaUK%N+6Sgeb01v&h8<8w7Wz% zQPkd}VL=nEU!wZNOOJ=p@djo@86#ILr-r&|;>C^~P>?cD2nQBBdr)Trhk00F6xKrH;KYucwXKNk*pi=ei_#^x4 z`fqxyTG@5c*K|GHmIRw&*)Xs61s3`{!pNz4UL4bVO*h3r=8r**Ma`A};z^;~oZ>># z@LlRU*U^T3Scd)*Chnv!B==9K{8NZlc3ZWjuECKX>^>-|Pr(u?2swZ5>xRpjAnZ!+ zGF;`C@stDxh{QtPU@Y_(Rx(hO%J^k@Pmj+EeIAk;N?LYqe#@r>@|L=%e}B%UCRN>` z2TSZ-G498LycuJ+3&Wtn=xj1_Xh*TJ&o{%HVSmyS=Uor(rtLgtz76k-+=~x&%mGV4 z+qrRPIpqD!3PK&x(@oNvdF};nQDrF8g573!DtDKYS)YbBF`k~DX1p>QDyouC7?@GP zUFVL{RW^SnZr7gM50Z(WhCOq=ILs&MgKA{3&{yL`_IG%llvI%3lj8q0h#xo?yEi4j zbKxD|4|mTdp->q)2@h;wYn806kkRY>;gAT-;_MYSu+lJY~(R^@|V%QC5a)x4_ zuJf+`<(1~6w_k$!eEQ1nFI2gGg!n%{>WQu=M*lcOWw0tM-V`so zsFbS2qleHeKYXAzPHB}DFRQ+RpW`*Z6OY=LOQs=-Dxrot-XZB1hcMEboq3bxJUwpJ z%}Vj5TX@+i^!w1FvjeZ8)S*1@ea+DZ=Tmmm%=V2F3tkY7{S3kWld|fgYf@x_1hcls zSGoN4^CPH6NC<(vM$YrO^(ykJu}fG7rgyW)++=^;PFAO=!Rkd`ro-9`NQf zh0=0bCcrFH*J0OkfUa3Albvc*u0+@hQf;8O zHInRj?j$I9;D%Wcu7)07iC>slXA`+X5=)x77;0Fe`P}hR25chZi0ta^bsC!ro{oI@ z0xcvZ{65v>%EG<}0g4T1@vRd()%mQyxtjjP|J(iQFuV4XO+u6oNI+M0%&n;dMw>Kq zlsI?O$vJBc^f-a`jni6oU>vV1^sag^Oa_}r8o7blG23~wxjmw+MHkz}zp7|u9Hk7- z$bWFQj+DF1L|#@JBsD3$AJ)1)!7acuQ2h+Kjz2ZYy6j{y$jct@ zs}P~5(1d>%-%C0CLNiZM((1*OAQi*s9Q8mV297Luunq5}a`I9MJJHh{0Qu-7gE`ju zQvF%v5t05roC~(Zqs|ZRTQ8oJwDY#=4T^0jQCR&AWt3AB*3y!oTYutNU3!$(XBTx+ zeLF72PJiS4-uD8OtgD$$geLit#sij@S(Zen;2?D2i=Zb(<6AEm3 z2P0b$ioTal5YU3^X=;8ovGE?T=(DJ{+4;2QJ+&4QFRm9OH@CKmLV676WU+4w2?JcH z#>&+SBnaT(K^h4YmneaE_W=7e6EBzt7uxKZLi!!RB`G3=aW&134f|{%fNlXLINFcg zGYY?RfVy{p2?7GFE10(vfcNXSFc3DZ!XGxlF#Nm&IN;Xbvr;_mFM_>I?pM=hU-y_j zmV;nBXlMr(pCovIQ?TIRDp~*#I;;mz;=GF(4Xi|9dObSU!PUJ16_(h=#-?5%hXO~$g7Kn#D{@dZ&2AcDPvD}lQqAxgD5gTAt3@#7Hk>>%CW=c^BG_pi)= z!GUw&;|*z$1}?e!K#k#pL2_b18_*1Z7jy*^1%4TPp7y}JoZA9rUt|ZAywkjS5HlVm z7{b!fSWsZXMj~Pv!~Oy02?nxuu36da+|&ZbKsw)!$B4I|n!d%z!7!A79k+-O;BE#Q zk+KG&&4K)|;pL#ATp8Sq+l0S(@ez&Rw#re^!Z4=0yf^?0ZfXDhd8GgW2d>3O*p4`y z%W)3m^c4K^32xhiWRtZmqUqD(cp}(SO#l$f?AFbZv;1DM6}ke_2Oy0wjDP~Qf(UM@ zyW@4w+q|~~egU`wvT`Y)Zd{z)fme7Dfnk8w19JjqJ~n81g@8OtAt`&Vw+8}9Smosd z*;dBz4WaA6MP|N6zic5^KcaFO2w|Qeuz+(LhoOPKzCJ#u547}`rjR6Z12(?@vX#c1 zG|bx=ZGij-2L;*T1^kW4{t@sWr(0(bFmN!Sj}Ae>o&XD_W}xpy@S9vkvB)?U!JBFG zT!m8sc%Lt~@7RD#2-KZ!mojdF7z{AO4~hLDLH)eNd(7kS`nhkY*KgF9Yuay)xNip$ zXM*_nfSK5Un{UFkKIn^+`;7j2bH0t-$C|y54)DZpw?)v;)_Q7y&7X+*@4DzKjAL0J+_xBD#H3ffT@LTp+5INo6fqZc0YRuvsd`5%=<6R(GJRc+V z+6ttM_|HU`rHf1lKgIiSyW&4A0zvaLGx9M(S#?>0ZqBr@h2AJZjc9 zal`yR0xZ|BGI9=6cyF>y{yS(3FPZdPW#g!~jO~Oa@q>{j)wn00Z^(Mn$lI(Db`O1H+WG>#mogbIs-2)xMF4gmC93PQ-lo|TEZ_hHG?Xf7o*)f=!3u<-x zOJcti`3Es-P%ZFuxkWTAGdX00V-BXoqxxb!_TuYL_AFYa z(j0lt+m*{E50^yVk{1#~QNB>q=fcHd9>8E@6~zt9U5It)MS7K%DC=0ZmjcR zuO7AzIbN=aSWuSEStP92kc&AKMczC~sEqD$Pipg{J!~Tg_M$Z6A}ZCzHK2ZKgVj!$ zQR(o6u-mzucLqOeG+2qJcSfLF$fx<1}I*hHUp3-mLs3DQ7f)`tzr- z=(F|u+`ZY1)`&?I&K)IRHJHvQ^5~vH;juYpgEL220b*w6!u5xs#aP*@4dIP&dlU}m z3Nhs}RX}oO88y<#pkG9JVD=BkbvVpcrYj-RZ#NN1b94r05i084B&Pfm-I}xcSI_0w zS}7)6#n8?Tbr~33kwqr>?VBp?xr+VMJ}`Y}mEIx#V2R(#hwSE}-?`3~L`Dk!ezSo^ zBYAgRT1#wm&Ck{NjswQOo&@J*uL-dqaX=H`-u&Jrg5Gy$@eP$@k&ToI`;i}Io-snJ zh&hRCOWMNBGOks#d$rpd{{Tmc2w(fCkJC+61-XCT`v(OP%S+bl>PwisVtXKm?lyIV z)a;5dhbI`#*o#n&fFFun1n=o9;Qg9rjB>P*OEwJG@zCg@dhDG*?#_2Mi|@QBCPCar zxi#LQb%f>TP)oa|{la?2pvchc>Q;iC+qLujxYvV8x^|u7^T|=SEgu7CQyJh$N;+!E z&FNk!xeV5ibfoT5WLbC8@mk&zp!KjjS6Xj&6E$tM|Bf5Pr`kKBVk^2iAYj>+>I@#u z+O?-i%88kt-WW8WLg4xN;=Kn9$wd%*GyasSTx8tWqKDpkhj*S@F0aecZX3PgLoGr0 zFdw}E{^75RUBChBBajmCn$j|a>z$8B(Bj|!g_KZfE06OD_Y&-j3mg3*DTV>U z1IOIzn9{KD*0VQ1n|`5_9s+%ij#~B!7fdC4`x|Xt88$azIQjaVLasS$d@>1z0X(YC zYxTMJl=ioio^<3E8e7Z42^kVhEn|gEV))1TI5liRiT`}=o zDIt1UXEGp5nW9bM0W*Kvi5L2s?6=ICRE&Aol-oEq|0mL)f+{!xs!*a3JHBI)P9Xoc z!uGwCLXLaQ+j01xW;)h#o+x1eI;?0Iqe*?eA0)pX^F*9*hM#Y#W71M|n_jGawpXD0 z8sA@4q^|hA~>_%Sd&t!lH`TQigovTd^1vX79f? z-|_?G$7BiBQm5J}DsImj^Z6>1n1?fa;#9k++HLtoNmQ!`8;fgRrBoNf&vUpjSF_^r z&%Rt`+eGLzP~mog5lvvkAloS~ z6nZ!tU)QO4ATq|v=rFEbr=30nBfW1|m~>yc>~*oFe@`IICq&7G&A&=bJXGm%{13FVjJyT^wNl%=m~_8~Mj6qHfTY4*%XuxkiKHI1^(%u|<(>b>v#90Z$x zV=<&*S(c**?fm2>+JDkPh758)z}bCp{vra8U)VFxk)0$1Pj=s`EAq=|Za1T{8~YRk zpZ5#N=K`s}gB-euY`#T=$JE;pQRYjxAcKTV-OUl72ZtaM2M>uh{4a zqtxY~(P)=Wjf-p-<30(m#R%Z@HqB>sBS;H(pTy)5GNsvX#kb=ptgU!wY@J#}vNY?4 zy>KMJd^A7gaE}R2w14={NUK?Vag?(}yrSl?~m~sYxWP2wArzI&Wl*KPGrS^ z->vIxM2;?f%#h5%SlS!bd1;egyq+1(c)~${xMLG3lCwpoGTqf`f89dV+BM& zU_#f*sHlRG!}gc<25fgiYiVb7Fom&2xDPKQgX z;q(ez6_wMXT_X7ukMFf)fC$b!@C7}CR*Y9xTUjp2q+vi-Xm1+if7U5_m zoj=L98)qKqPYR#|{uG}sh(^ebL&uKU8}ri%!dz`(Y|sIg$_Wx{hdeY-NMve#wR}o^ zxY3mC&vJTE4ToW+_0<&Pf}dzqsnY+Hvyt30Rc0jG%kFSvuqjF$Twr$(CZQD*xj1$|oZQI5h z+qRSWW~!!YYHBX#X7AlM`v-KdXZ41bxQX&1PaiGQ+z->)5FHW3trF`rn2vGfbd|V1 z%UR*ztba@x{^CbIPtjPHq4-1EN?agEksV5?7$U?f zO|;Rpu!BSPVa-fYR1~S&%`)B40WpB^Hj(7jW(!GKR-ZLR6p?#lF-|sklDVq>m6_J7 z=AI&B#Z<{FiSg34`T9mu1DCH0d~;$Z-O#~8a!kKd^3)XZCx6%o%fwbmN-*bIQ@L*~ zMo!6v3K!40Es@O^f;#9|b`vR5YeFIITiOb;2E zomSWBpK-K}JtAg0f7U&%vO72>4(e(>tJYj(hIY-x=mY!#uo*n$wpMrm(q0m?T2S4d zP#_T7MOfvzuRhd`k8}NB)LW9r8$->~SMFk!piYe!e0lM2sp=Y_r$oW~hs^>jSks0v zknMck=)2PT@%<6+mNd^gnO*V2B~R~3HkLgG6Txialjt@V z$-^1YQ-fnivzX@&fZm$4Ke_@Te)%T_@@{PpR=D6a-?n#){9JA|OzVbfiw`er#IqX8 zEodm749TsRMp^RSvjm^=I+S`5k%1wHKp^Q1AN$gt?Guwz?Dr#ZMDgOi1E|nuRMo#gJs?|0-hF!Yh(EO0E0~%~ z^njkj%`$*k@SXo12`UC@-9}B_1u<66KydM)xiOV(7Mu*)+>7*?&lVe`(XsM#I&ANV zFa%8N{Hlih?Pfu9)BbohdM^mFPd&0^bw`N zKdTx7($Jn7mxF9vaN>nuDOCQlmq0)04M1^YF^nttrIkk?^8!aAR?bQU)X2vktQOws|^!sCjkNCoWZt1`6m7~ zZoKIZ$!8iOEx+dFZ=s9!7Z8B5sKUYCn) z#<(1WShcf$bfGJp4MGo36A43vwuI9jUZfJ%Wb5!2o5s-9FiA~h`mCa)RGMol(jm4o zL^b;oA1sZYyjge!5z|vNj7Rx%&ljU0KTxiud=R-k(*CL)1|^fJlI;wC6MDMXsVw#N zIO9yVXn)?Icp_+z3q)cHNhpQf;<0eestgkNkluB?Q__~xJGV!y?LSw~n^@#Vr@`8V z)_+^okPhmhU0}G-$sNW)Kxw*NspwZ;4)+ybCgQpOre zrwfOAjZA<^V93{xusW-q9>Wie7o^y%bxgEoAki24BQ2Q&hP3*zLYP=8A!#qb1fXh&d__t zfFz~|Jl(S{SbD$WD6dI zG3_yi9}#({N%CMw;pmaEaLD#l(hq+D%*ZR}w>V~R6No4{CUHnU(&Nc^z^_>v#uboW z-%*8Du10nm*d)ZjCxg)1y7?DOIR3a_15PkO?$!2qY2Gi2+#u~smia7DHANCaJbo_46xOKPCTq?_de3`3-2on1N(k* zWDw0+5?Y2m$mNoDD0uG4NXi^B?lHo5MluA|!Rqv!EOx`1vQNxVN8}LIsK9N*L;zt) zUiToQ(VH)G~J^nqrVhyL|d$bMCt&HPBJ}s7Gj& z60O1Y_4oBpEPH$D+`SJ_5ah~*pH+8F2h-}j02@ja1w*xMOa(HkE{F)Sw%hB(PR-}> zu7W$X!zefzQ;55kg$QqyNM`H{x_!?fZ~MA&e}8PWL0{ojtAD@A+3czjvfxhNzMi@ z@6Mvk=4`kw@YknW;<#m#pfSv9h2XKk38JKSqG$C*G@{nuc4e{2H86wq{1(qPyZ*F1 z(ItCfdjv}`Y?=L-0dt4O5|HU^jWtgEsjz%-5%kvu%eYh)Qb)=R?bt}~yHsy}#u*-5 ziDB6KG`(B$vt!^u;GF#~Q)Ru)T%SH1U$bH4hkCrO+~U_0YMCY?O zr3%~d)9a^Oe!ePr12y@sJ*yfw_x@WYFB!}e88^}x7cRqfws*n*JX8{7xv%!Q|8C+~ zP8@M@_JT!-!A%`a)A4!EjiOoWB5|BKy9>qktnxhds%Lg%fjoUh;IPLMb2lbvni)!Z zq&pBOUt{iVEmNtBwZy_l8WOijTyv2PK;xxCNK3)!*miaP{DCnddk6J%h|U=!gY%j67g;biRHheCCF&!BCt z*c3XV1CyaEIPT1XVbY>XlPQ+F&wh}3UxV3U%7OskeQrD-s-Th7+e_K{(Q7+NqV+7o zKZDl_TN2#`1?>>hkfO|32^gGnzm2my5wx(^aJ}fIx?N+OAf7bC{xw_{3O~|?q@TcT z!1In$T>41iQgAS&DXc*@y`4PmSW6g`aM?Kfk>I*U@mDs;_Ni(>6l8|x2h zRIKNTLoCzbS*4YyB-@@KwmY3KSWT22POy@d*!~dEv$?6|``$1}g=S{x_7X72GIWFf}`1!q$s_ zEiMo)YdKAB=V1xQ=7cI7*<_sX0n0M+@|HWg69w^CoseJThMgIl!M=$*((w{sVG6T3 z_H2I%UXS^KxWndM9_m^o4hhST49y#!-Q@9L7E)!nV+P;>^iVK zxx`#kVnQ%!`+~p+*OU?6z9lng{ zb|~<>N88PI5EzA=mmOtU|Wj!KlDpoi&Wit*&myGy+$I?nFu2dY8hTqlI=&=9(Se(&HD6eXTNud$%ls3?y=JOJdXaSjybz4hVZW@~>0>za=SHk2??P=Ks zC|I0kcccD=byIRkX0Zn~N~`U#7tVxYM6EN28wKlAJbI96YX8HWyHCJ?ob#beZ)$55bcxMmMWbsw#|=`RYkrVyt8B3inMF z4KLV3rQ;+L(@cBpABGOYdT>b=QWzhug<8=gi=j~>8>RWH)lx$ii^6`@;L2J$3LR1EHM`=Is#tRrp-c^rOpbR4IkL#b!RRe-cO2#(_SdJyCb4c?Vbi=T5{tb*)Vfg?ihvsCZ;p7v?D(F2TM6s zJ88g}Z#k(CHHs)~<>cjt84GfGz;^Rbq)%-#*aYe0y~@cshm41PoJ=sJjZSy;>x2Kd zC9;$`+9ru#MNg2*S2uHn;65EVUjla0u*+RT^-U z$fmoSKW0O*2zVJ16}Lr#hpSSE#VrZKAb^>#V#km}#32rm>6vb^UiMvCX{B^g>^mp7 zy_VH=7-62sd2|*X&AE@*5Bb4h?ZE?W7+ z64(go?K1RvPi;to58(Y2Uhwsoe#G5Q`-oQtO|(5uoIsT71h_)Q2tgU_m_@{y{G1db zn#%?h?0GJQCCl@cDX0cfPdxF7F;ZUUQsp(r%J6faPzb3`FlNIg320p zEqA}dgC9sg>Y4-?+%w*>&#$7ud6YxJNSvSJsGFUU<}Ta_gac>nK}AwdrC49Tr<-sTb^us(r6Q6 zU97eZ9fH=pFu9FSrQ-Im*8o>{EQ0N~M)iTeL<%02-kJVaC6Ty*Pyw$D=9m))!PRI` zP0AQr4-h)gr-iz{=oQ*({7}{3(CBo+rV%=uJ(UmZ1W8EYL+qkB=amE!e(ZV~gc{x@YG%df^xPHUN%Yzbp>r;!C*^l&R*W_IwEb-7X3kv7yXIQ{Xw z$y9p(Co3ay$v{U!uBZF#8sw|l95haQVW%Fl0V@TE6M3@V&4pGSiw5apXzkPVAFDDa zepQy$re{lTw*aP2!UWbV=GJ5DbpINuwVSUyQnNpO@}Jxsu}Pm?Nk`Wr z2l1y^X|yn?DjfLsR&rGu#08Yo)>%$HIjhvh=pt1|JN@o*M1Kmz z;463y!n>Z9F?zi&)B)S|%z;uhF3cT(-7oCAocPH|3-bM?s`Q>g`2<8F3|?MbY=Q2G zg988%S~J#NJ#MS~2!pE#HS{0RH@(iUO@D zu1FIi&WR@BC>Tr;4!Dqkk<<>1EAK#P7Npm)A*96K2)9C4;A0bpC?nc-%ysOU5nhD1}vpecG_7(a733AgTCgTs#~{6H-LWWWCW^p)AIn(6|=d-e=~-r zKkt(Mv_g%Z;>MU{5A5p6k4@LW)cb z2o}y^!4-S?Uy10cr9yNZAtN!FzLS&01uOpLQV7|>pEN6sflKcyAvz;+%;lQ~OGI2( zF>D*qu3DxP-0C;hR2y=da%Z79#(|f#?-QAjWSJPb z!yNAQarADLP=$Bt>9rgJUQ6YGem{ER;{0!|3Z@__vO3Z9k^vXzAZt&AzRyro0 zg?*&1Fi{}0FzTTHph-(>j>OHxr!iuP79?xiT$yz{QDak1*EQp-gq z#%`L$#+{;PpL>Be6l3e^zz;D8^}O*3ci9N+@BB|K$FQ^9VxU@VSv9w&`+|fPrA@8Z z9uQ87b>LOT7phCAe-~TA!@F%)n-fkhX0|CF)_;@;))SrTa_oA$!fpzb=f(USKJ3hN z#)zl-y`w4Zo8sRFbM#HsrU&#T91Bz*^Vg7w6VZk)+V$svhh3^}mmv?mmWH^Hi;NUI{<*n~8HP z1rv3J+`yfZG2M^ptD-+<55qJ=4Gc@OiS%L|Ixq^4fXc)rIq_Uz8{R`O7~+M_zKlI#3&AA zJ7kbP_UomEwOZU=((SdKpNVCG#N7QX&{y*>E~d+RZhotPJmZ4FM4dI{Ob}}~L|Sq| z`RcQSlUu zx-COU4V$z{&q6k}I(VT)`gYZ_$fksN<>W?yX+r2S6}(qPfy+?QAsXP7b@L^sZF)V+ z{kEs2LEbnzRS3j{m1VMO;eKX%kf5)kCeKbaN;<)3SeN@$+$H^Filo3CN_B;CvQJ+N!p9g8AIMhTo=h(SDt-KY!T(R?ot6$hH3}bGKMP}XRjaKt8Q_^VNmzV)7ZiR6Fkz!nS+0~px4ovRk_LLhNqR& z-%D(Jm?A}y>D~%5M@0S4NfhTKI7eIKpfha2tVZwDm;Dm zYPc+IChhR^DWI)^hn|9+kYni>aRMVyx73Qb7}5tKJ<8knNTAvrpVRf$x-PrpE z$tA_eL)R*V$(nr`8|_n2Vb|>ByS)U1<;^`zn0Xin(EQ;pw;^C}5dORLATUiK()MotKtbO~-R<4T&+j4Yf(&dQCuF;%o=P?GD2A4Z6Al zl6Q9x3_v2H4+5fcL5xQe%s|Tr0tVGfup%Rp-=QbO(P>LF`+0`WZ!-mQgo3(b`h|v! z-~rJSOg%CD+t`ssH-B#?CgTG6mwXr*%=Pi74)w{wc6%!uY#qSM$EP)er>8|k&rS?C z4WtmCMJEV)2IG1Uqz&wk0jJ310rsPYMZ-)dIE8-nk*0@Ye0^ed0|M5Ki7S{YSbr%K z!UKRg1M$?t&8MmZQ*;9f`X#3M7BhtS+QtEbq#5g5`o{a_L4x|C0BkKHADo#Yyg&rn z0j&~35(=t`N3P6F#b6mCw0_93dN_u54`=zL2jfoD=|cs$+atsyX+Wm;p}u)|)uz%D zQgCRfYs3%TBCq?Gd7U@10;K=@4hpQRgZOtR4|N>e@_o_Wp|wwb6(8;%?DGr0TF8** za#u{VgQvkNSZMY}(5s@4ih=y-KP>dGJrKUTyE{KHKF~ZC&{Jcx*=LUa)F$-X*u?$j zmvUfU9Lg}X;kPo_JfbPQuNTp0d!`Q%us!{apg>*#_YV${iz86AV5&V3Y(6|x^jF>$ zgL(e5!Q1hjo}fOE$P31`6A&Ok;P;2wKOqeb>}v0u;3MzRY)L~UbxG0eqv{~wla!QD zABX^*o*oF60+C1XZx&?#7#+~v=Pj-ENq(Qlz)zl{S3MgT;oX|KLFZE)yw8{4&r`r0 z1nB?dLIw3jVZr8qB@V@}c&}0!1aN=nq<>K!ektyDwSFA1e|O<0+Icv?oR)s?e*?Bo zVhJH{`=A*z-8_62`k0T*VETV$R=|JQnkEHl;=2xiy^pu24Ne4cZ4d8m*@JY=1oZ`J z*y6KFt__Uer)s}_#&HD=^Rb7~o<7xq>mBQxe&cS<8fmW$>=D*5#D1KB4IobY(vl%` zgsc4(Fewlj`nN_#ws11O#U!(Nd4ULG)0CP)yuTM1|Hh!fIr%^XcPF1h)`ztd{_-p7 z;{#>AIV=$jkAWK|{c;>wK-O1$Lpp%~Sbu``(=&g?aTz8}L4QDd9czAp4aV7j|1#JF z{eW`mrvm?i_7(?y{dYKjKpsKVcl@vCH{=m`eaCm;?+U4m2S!?&%|TqW0rwlj*Qq=R zNYCHYaoDCmG6jlV7xSxG(oV<PHq0#7>l}U4LO5}xP-fPyXQQ#?kGw`vLsrkjRtX{(4}TCbS;(; z)jNAy(}-vQg+As|nuZF1>u?SgCQ^3XAJR!T&kt^u^U%R!hd#~9snZ>K;SbiI!~tF7 zIN9!(1i*K>AmgdZ6B$HPf?GPvuM*MJ8zGFBeqiE`DNp^_n7wQRtkA`tHQh%G24lC~ z+o@YV0q?_u_>k%MM+Y8@kdEw`_O`4%D?In2_%5PF~` z$<;ND+`_#lJyrYoQxG@AI@#@4`gRZNseoHc9^gpkRjlLbZcXaUaM>1{^tsyaILVf4Fw_LSJHL*sH;#|32v zqS0<5wX7joJH`8wYR#YhWfnxs82|=p`4*YRe;j9fz@NZD%(0Jc6yDZO&}HCoF?*%w z40)~3@EfSWcMm@pl!*k@ila8xim+oGTHjzf9m~ynj~8&3-1j0)Fu0QtsN& z)G95@eK&G*$k%G)V?RpPsxl87GzMC*4Rw>8!p;qOMfkUK5v!^%0wjF}FEVi@GJxVj zX;o%^^?BK^U5bnI*dP`|Qu*p2k81|ngb5;9wrax|G1VzIQt-#|qno-|$W**~ksZ<^ zsYQYZOGL@KmPeQ|mR$|4CgWS;pZ;PdwABPgj{iF=`|WUbmTLdw85Yio0Ti&@^v8Ba zcKjqE<%W7vEfe-Td|%~&?seUNsnI%Z2mg($__hkX?y&aQG1d>r95L8FI`&e^aIIV? zP6gHr39qj&{sjtc_d9RO4|EZLNubyfP9_ljOFw99pC*ZLG?{tkeR%`OJ@vk$uTBjk zGKcfcc{jzGX{;_n%^h4x`6RM#nT)p5hujX4$JIdNSAjJU&`AQz-D1)+_3>t` z@F|U0gQtY82V=S6=nik?Sc)km<0@ttN<=y3p32F``2NVAuZ=ePK|{SaB-<+swuC=q z4Vofw-qxU}j%0HO2A$djx)tdW;7q<K(R$yKA(`YbHQfU~U(%6{dSjscNOTw}^65N}_HwYO zu+UF2h*}^kAZnvkm<%{N7&#B57H{oG+h6oHjMvwFS9RsZCzT~4&JGt*!{%NFFv-+t zAxvUF6Pi<|ePT_qf5)4K&c$l2 z*iaYlJ5#Am@ijU%=ru^_eFqb4cjR`zSd@cN1OyQ`_ZP1t>W##GC(XpC(v+1rAs_b; z#vS=MPALCQ2il8AY~<`MU5e(Rvx=avSAdsMfHMVpbY9Q;^n_yldIaAGxjjsk1|vmi6I=lHC%o>`SWZ zNyLRo?OFceQrc{#9Wp7nb+e_+tQFUFr!>%|d$X1it1C{K9cGNhXMUl}c9pC2;%c?f z=#0PJuNk|GYdVLwLfXG?u?mr{?>H><-Z^uE(EGeZI3HF8&J>ZYwJQz9S0 zDd99}zK&RtQV;ou{jCnrn{Gs>_+E1WM*9^3<=0^4` z8VozIeG)@0Yv^ed1;@`_l=jSOWAwcZvNb)PBpD++4?e&sy}_^<($so5+Nnk&ibXaO zy>FAGs;0%%oL&PPm-j&`@3rR&f=2jUE!*v*>JIx)a7fV`eiAb;3G-E8LVVbcN~Y_G zDvjjo;Q>mZlWs3C=+Y{lKp(Crn=@>NiP<`x`(dXUnjF2XQ7ZozemZ3h5PGV)J z2ck9~b8}my+ww$Udknh@GLAPCU6b0i>nnCVIx#yaU@rUF~b>21QdZ(C!yc(D* zkDW#opf&MP>B1xOwH^%-E_YUcP(6GKe+sVl`_#P=F z+t&S8UaZTNC0gB*^23*jDmqe6GqWHhL5R+5puS%mP>|}R?t*pk<=)@KrXm0>Fd?Mp zv5|F;G!8WW_W*3$#gua3Eh~qbY73`D=!@(c)ebT3dnuEJVz-71nG=3ux?C^4;;B!k z95tK{cF>r64+@n*FhKMfwQvGr+A5TpmX&(1#MKZ4KCSUT~vgM3FB~}1^e~YU0-p}UX9q40drSu%O!&t^N%7FE0-9f&L$6C_3QaUX=Z5A z)I1S<)t;t)E_&D_q=HYIZ&^CC?rl+b zzC@UH$+0fWL?ZmAklz;k@WW@3?H1dIwoK4!DvZqfcMJs(4XS7Sxr}>c;v}+ktIIsbi2HChvhv}D zGg^L(va)6-S9O;GGQnN!g@nXStm%5-Sq5z-`AW<-8<%Hy&Ih_PUP%M!%z+fCjEIKd z3pA4~htvlnra>v&=P7n;wRPzm$?Kq8qE7!A;;3~(B_09;KV_J&O*%az=N2>mtmh%p znVF9$Q5k_{eyJd@|5XN}NAGcfy17xFP^M@wpxK69n-YR^wd`GdMW4~8!Pd9bp!e!0 zdoWzrWvz&Z^v^XV68Z~mEs2CyvmzAZLYcx=Jc*rxT6hjOP7}o76wH%fr;_&-9h1#E zp+eAGsOG(6#pl22nPAUFj7CJb3qljfnG#?(PM+au7hXdxEs_B|P*HUj;`UtxPGfS}c!ribC&}moF#9j;bctOUH^E)-V`h?+^Pw&yO6@!WA1H}$ zS%FXdba=ec-s}aCEuPTZ+z#`@8~S2WzSV3U*uZUk=8~o?TR03JVU~%bF7yH2J);$y zkTtr1x8R+(r{il05#Qa2xe!|ow#78Nr-~K6!*(BFnz>8JKUqyu{dB(8W(p1?gaH8C zDl(h1Shy@2`G%^I-&wTv&W8SkM%& z>+2_h!hYH9)#{riwDr@ukv|RBnxOJZxn(pH&o_56YBa*lCk-hJA)*OVG&Cc}fln|; ze4fekO`U%1l>$`y!C2CrH|Gdl#tES${C}BrY>BX!s+gZZ?JnB*6+V?3bFAUI57e%X z1|v*m0CmUDcNmNj2Q9=sEL7vzp6^8GKfxe&(EEv*bdx!1Gif{^1^>>v935et+o{@v zQ5+)7)LJ^Ot0#4As^9vg66|p*YJxklr90TcRF*GPAk-e-lxq!~Hj-1HQfyQoRk=6= zNbO6{dZPId&~h?zv-AUwK{IqIc0GkrZMB`FJ!4q&uwS?$p(!(qJkQ4B2UzVPyek^%ivdRz*WIGF?i|= zX|D>L{PKF?r|c=ZzwSKl+-J^>q{eeR?it71d9>1f%b^S^?NVc`En@C&Ngn9AX2_SR~q zrc7Utcu-27s5ltA8)~dZdJ4uWWjT0gk9+iNXkn+=rh8RKx;};-7a`kV;Xi8*U>p^ z6pcv(wQ8y$%p5nduqzMb!3r$gj-32Y-3M%Yi2^pEYFC_4EvqMZ*(dZ}#Q<@?(t9ysH)gfhSxmroWumoGEz7OBu5v039%wJ!42@$}i?2C5ovtvx|W5 z9z76aWpDWP@@3-^hrR9;8u8^k!HzV0KvXlN?~=!6a#_Q>%#w9ChK}Nr*7lq?Jui?b z@Nkm)K%OWcOcv*(!E-OymGqe*X%kY%c7czC3$5+4%2+j*#94Uy_t*^GK&14`IdOoF zc^~?rHcmhcVSB0)XkMC;ea~oHi%sgw3@vV@S^>d+XC65ygnAy@_yvJ#Z%~MYR;+Kl zsr%ifRI%2ZK!60C8J-@*l2F=RCAxN-jx3#Bu+B#>2ujXGif9pi@mt{9yL8(Rr zN>T9r=MJ4OsgS(Yi{qrD=DhtkZt*09)7Jr#TdWa=nhrer7s6M{x7Vc8eR=m!3YEs0 zs%pHc_y}g_t9vx1SRXmthbX9Werd0vZJ>bVZ&LPlySy%e7rx)~x?XRvEEu>-TWrtX z5GAaEw~4bxZM^?#KMi{%4NJkrcyt&J%h)q9q7kx7S#wQQps-akwqi;=O#GXkOD$N; zj?pyFFCVA1sTnNpjN*OKB_@`z|7zATU=265aDN#KEO|i&dGJmRL*W|-b`&hm1u00x zvGHrKOPlKSD8}y%@)#sL(dro#9Co_lsg7J5OU136&wbTmH<0FoH7(T66<0!f8OWsk zD-15&^ghu#wW^|g;i`I~0I$)ouGI{?;g`xyI~lP;4&=WK<(_NU>PQF-tYF0N zCYo%jmHXK3?DyamZSHLaC3>{f9*I}#LJbSUatPnE z$|+eBl;7)#Q0@KE&+7UpI}1UaRD(KHQ4ka(3Sd+QSb<6{8#8~NCpDPGphzmA!pC;u z-}SfGHv}Du`Lk7R3g5x7+DPl-jI*HOR{t3&Qbr~uD>uc4;uB`xvYlFJE29g0^q=I^ zr%f-EdfrnUSd=94xQ}APj^r#J?F$jgg&#m8Z z)YgGRx&C7fV$BiLTQGVl&-JT(jni~>$tcGuVcM(1gFhWVl#RC#C!w$+7~HkQ#L!lm zjKu4tj`oO_e$jVRY#wqB__=@j&-1A6z45K=ALQ%rjua=%^acIS`Q=DkflAg59>CfB zi4p-xcP?x-d_6{*Mg8-t?Pptl`jnTwBet;>F$Lrw40pBcM2_exL*P-3(&v z%PgAezMjwk?!R+gL!0E&LqWnu5YzawP%Ry53>w9@uhq!%yt0@g#F;n_i6U0~uSI{x zc7*kc14=NYapW@ofB}cv#dLeJhq#mJA{IZrCRC-V{=?#hSm2v(%=-&>dmJ)Xz75wj#`!9wgR3QLBQnPRM)!GV zXsbKT-efo+nIu7KfbF=0S;C@*i7DaIJ)lzBp{}Hi*LGTBU;i+?ZE0zGV&YK2n_ zw+7fmJRAeLVHMQw)<)8ME7r4;CM2QCp3VsaT%8um9E>ue%i(d|Nrnd!TLjM0U%FV!<6xYrU>7O;{D zIA4z@#h*_ulRQSc&G|>PR?h>1^fnr}A$B_wkz!q1bdRsDXIf@s&(Pmy8Zi3>p58x& z9ZY5kaijkbIrp}T7gE3q=>YWSiA${f=XrmI-{=|C=q&?XS>st~yr(F*BcbU!RmF@$ zLr%=^BN7bzCUNrk9w<1<_~hzbI&}V7Vm9fl6f@M+Bq~mN5x#ElFFryepI7FgPHaAR zxQpNX={nZvt-@ZF(5#TrA}}XULA^c~ZPA+GtMoxZg9!zHGcG2jV3MkHuB{X?&E_}e zEF5j;Pms_IUxbb7mqnAbE_FR(A2S)pDwrR|C;w#aoqdKYply0b3$+mTPrv1 z&``(cou=a=`>RqOHI!C5KURgQuAO_*k{=5OKQ??s=*3~f?b$h$x&FMuiR>02@%KNU z$IXw^>pIGF%-FH z(gJ{Le(ZS)f}#W!ekgV@P-3-6bP@|9@y!gmiEbczYD6wql>Eg=9rm@xyitjM(CZ%; zz^C-g(!%NQI`B27j4*QSJG%c}VEOG)?ZHNi-S433=TKI%tt(~p%1u4@QeslS7 znRTA$djuLA{6lG877BQ-$iA!R!4ldq5!gZk&5UjRZar!K8rXC}%em)#gtH zK6rMhjKZJgcH%&)x<=ER7=ViMPT~FEQC5yU=zJZ|kU#&aMiK=^Yi&U_k>FKYiR*Nt zi+cyIlv4@rtL;kKF=spC^&bS-AQAEZYxmLL`=n)YofI^Ow9I%~;!w}b03Q~mV0L6a zNjqgF(e+&)rwO0$Z;~0& zc5~OOF5Y%>?a~Q=s~YRl-$zHw7q;;y_w7Pe&1}9cGLo zH~PeI4Qnw{&nmgFwvN3l5uCvc@=V<>Aad!d*e2mP135;CR0`yjd8Tap^_x=Od%w@2 z`@*wi?aX2Wp@QKu)$*jR4DJr@Fsa25njn zE-GJgQ}Fgob>QN* zhIord59=0`z3whwwCUz`xn;h6v-R#~muNca9E6y0!%H2AwjzD5DO7p*?-!0wd;}c5 z8CCciGo-q|jc2Qvttf6TX5w0lienZZh4GZoE!cJ=n*Lno2%ENeO3BmsTGH%PblVTl z`jS#OQ&AsECv9GumbNqx7A8KR-)M~d+uqbBl2-j!CajF$f2Fmeh%UAv3{q9Q?8p*T z;~KA??4&7$>N)~NHqL!h99Lp?w2_N!ZJ3Ra%FySLbh$PpMvOh&oUxQhsRiRaqwdit z0i^l)F#5@)A5UGPeN|c6X-EKQTEJM6FN=8S#?hs!{A+Ls;nX?Wl_4?hFQH~OWx^z4 z3RDA^^A^fcK}mk5E1lm$uepQVqn^a2koTTlR=C?CX`R+WK6=qx!rJY2w-e`B$L(~& zsi!hE8N1_N+^;?DQ2#7)i436iT}|$yon5BU2mMHUN!l8(Ro&cDFIjtDt`_bf&oAoM z$O4Ld)9o5g1Mcgk65Zp(1dE~hp1(~UMw|WOrri+W_%xMhrm5Z!qY5csUx@`6D!HRR z9+E}=Ix%is0HdJI_#fxw#|pqU_|SspsPNFqUV#+!-ZuR(uf`q8ew~LP*NZ2>P#7uL zfQGS|eT$PTtKgVb7#3SzN>GiDd`{ltK9?5;f4iGz!M>6@@gggxw8fGS+g@GS9_ zu8)_auvu<30mf8Vhb`Cif0pTeBkCJBZY(r7X4&$g)hMd!KRCyQBg;t?l#j{-=aDV;0iW z6+XINmo3FKs1F+g>d3c0jOkO6AJ2Wwmd{`3i(z+oi05kTk*^`dZ z8QK}G3q`%)#Pe$rjbKewV)zd;Fn$(tTXoD~RnI-5pX=l)CY*`aG{){bA<%PM5}v|w zWpR7b(w+8Uv%Pb>_H{gii6O7=54!Z<9B1k!={h#zD9q*%ni(zN>Lko)Lw9paXPT2( zYHf3V9;4LFCS924$zrGB_gkJcfC%pqAT(sPj*)soWnwIW0}+OVZdfZMX^{i%%PQ%xFS>=-;ipzvXds zJ}-;MzhsZJYcYC2Fi!WZ%j|k6-UDbQ1Nx{=XZ+j8Mz&QvivL13*?0?FYKxO}^NSKR zTXB$hNHVDpY3hcjmmozHaMx8)au;Yt`y4)q3^xkOvBR-5vp*2rEVGZpAdtI4&w|Da z?g)ugw49vSHuq@|$KAaKKPRT|gm)XHjk&4C;wP5PINWlg(hxz>XBpuy(V4Wj8CuqeWy)| zsGoET{-msWR6ZKukp~C6x9V^UB=a~eGCf8Xz;P zL=%6}3KjSdj4w(UY^do9Bt=o7J03HLssG8bVL=5+stenldT^8*`vB6tofn>`N_j^h z0!=wx6vMwtLEVT4h?A)Ps6nZYYZ%rrq}RpIXVD}~?oY?0$oXn!_H{fT2gr~PladRC z^Jslh=Q`;}XMoUp<`b!OC+tE#xe_787y>J5%jRP?rf2tmqK@VPm(>~U0ht! zH>Hz3Dz>@!JKaf_VLONZNFz6p=LFWa3%Y;}CM@x1z4lcFGBq1+ePFdIyutD5b2Y*) z#2p(V7-OJ*wdms%0DT*Y9E-WtXJxtu$8hjR#ul$^=OJtSFsd1133l)F+BQ}kKgxl0 zAvGmZZ;YOjgD()^JPVuwS^J1s{Km+^hAK?AM)t&#~5M%ovJH%KRIRB3)>=z2g z#KiJ{R{z~0#?Hv`|2V{4!Icy@+F9p?|IBOhyG!%)7rtzJkQee3kcbI_pDDX1L=)g5 z#uDKcL5ZP*$j9b83h?uTdd(fQy<~s<76oR>LC!#Dn-2+5{L`1N#9$639K<5UhW&@#9`b_yWNU0<@c=zz7Xj1V2OFinO-t z+c|xAgF^6w01~LHW5(_50iepJvI7B$0K)XDv8R$(6M;m6q~;MqV6g4tQ-U0B)vDEO z?C*PfdmHGMlLv%Iqy~uQ?*|Y`e>YI`se}NC^#2C(kHcW0!@GnQA?Tyy=)GC)1CT~V z2Ebt7%Xwo!un9y*BMufI@R_3criQi7V3m_&Z7d;&2^xz1I+w-WgALey=HdUG*>lgG z^)AirQMCnug8E?vTO5(x1PW?B0A7&)3Fu23{kC!l(g#%FS2r`GL;!FG2Y3i+4f~zL z2J!(Rf_OEd6Jm*OWAN?m3A2Vz1QN7GpZ!U@?h*R-q4`NV@*#cqaVb0t`1}0~{R#T& z^Qk8b!n6wyG@^x1BLfO%nu#X&1KZ^PMXC*qfwFh-wxfefgHZy8nn)czm!F$q(3|12 zhKL~@$OmH{*(W$|sApqi3xIiDX-7@Tj{s33K{5Hmo(8yYK*55B4%9n^0pwfIHRg>= z13>|Z;Bp5hq$h@f^D*%_J z7h&&%wB)p%+kZ~}uAk}puZf&@$(TU~YU1TxAU1`hN4 zPxb`)`*{YsKc%55qRtg7;G#SvpOjcPCa0sHBi9sdMLg}}?t%r}jOn!4@?~ihj}uc>i*|HOTlCN& z={L{c`!sV^qK6e^5kfV$(qrL-vC?~LWY@f~sT z(fB2)(^(1k^ZZC~>QJMa12_2P64=C?ox{5-Hgty#0FE@Bj>CUIg0-$Icn#VA4t8_n z{9V*=FwT`}Ue|GqdLF{dcjK*Fm9T_a)qvgpsD!W`o?1}Fr^jKy$;-F|&unesc9WZ;C2(Dz|bsOC@<4PD$ zxUn^@>`dh}oz-mJUnSngPXAN7cxG@>;;e6G6)qRL+CuQ^4BA3a>$xb5TI{$X?R+|< z<{Z72x;_?ZO*v4B*z;R?N#`m*2hgDU4l-3Ad-@Z=z`I5uc+W8*=M+xgVoKSoNQ;Q{ zK*7k(?n=D|rXYR;D|A+kJJZz+l3r}1p%YT_WqEV@2WxH6DFm3%1mp-Yy`}pDOS0RG z-r9=fi-;d|Yvc9o`not^30LI_BEWf{BO`-4X@t>=rHGBvfnKsIiWTmOo^&~jWW8po zNwuJbfNKurq-3WOhI38&frTlC>e*pK(fCfb`{7^p2>~ao z57TPM`ND2SyC0r|DO#Inb!i3+VzjVAX%-g%)p*J~h*-g@=bpo)NuZiL) zra~AjQ6tXCSJ^b<;^UlX2-Zw0?73>_I7Js$L0p;c(GbZtz1ZxmML?1V)7ngtp>l)wK(x#ysS0$YIeO0z=Q zd4*}8+=$uZwg03Q2iI%ZILI0|za9nBL)A%}`$Mt$m zmAYHxLh;An?qYLw=%YYTvU6*r$;5_n86x2U7(-B{Exbk;aXQ<>;_&IVI%02W#p<2k zRz0Ya$zQHnApmj6U_(19e4mJB^%igxSW{>=6>cMG3{)MN2UBd2bY$ zy5lR6P?Ez0Qlsr?%E9(&`t6Aac}6OoZz08+x6v2?lD^`?mPQ?MdP>Yg#JQ7~BbYkl zrxo%VhyQlwrGfG1aq$OQ0t`xU%zhslXOG$>f*l=Kml;Q0O@?@Sur;a$#`!)};DXcC zuyVliWqVa#0_?RW&4n7owGH5pecpxZZ2rcD5Q7eX;Wv#xp!q(Qw}{2L44X!IOhn@I z-0B`d$&bfw6V`eR2zRKqzX=Ivf{DZh*JD`h`TpMq{wHsuPAXkk0GoGZPoU2atBusmh zUX!qVRLmmdY$qz4qrAWwiX0OW91QY%uqX=j8Dr=j!wDfdowmwgU-C{lV#$lChMN+=XksUt!zGMPs z`_0m#1#hgOw`WdeqzvmG%Xn#4U=AdV8;3O4EN!psarfnGTCe3Nt?JG(HjfGy(*YMh zq2&N>U$V43VJ@Ct$!KA(!>2z416gkPN(@dPvn=C#a~+;3{Ism3*4v?as~z@y)m6in zc4vik_KF9z*)g&kHb0l%q#W~Em3D^u6*%KRr9VRS6{a54Z_tq3cFO_)Hz$X&t3x`= zgF!8khuMa6PtE8wz(wzgEo3=aG-Lw9(VAp)E9iIlq=y$4DLv=29v=3a8YHO?L5DJN zw-=6J~$OBTsQl|6ArAhcTB=;p%z7zb%hRYVrE7h08Fj1AxvX>ra<3lmtu=AtzwFcyyH<9y!_Z55~7iyI~VyqlOiT~W=dr` z2O-O?jA~6t+@FVZo}`Tv;BgIRtMUq+-b66-~=N1$2xeEZ53sdiC$T)pvZ4AMBJn*{us3Y94#t_#b) z10e7SKKf&BkJr5=N&nK*T6yl?9arV`?QYu(pUS=fJaiV`expgw?8UsOrrjuYJ1S%U zli`x#QgdC7a}j2XEqw@Z%UriFeFb>77G2kqfsrRo*Eap>w%m_>In12yLTdEr8tUGr z%Lly6gtBAToI1g3ySG%GY>WH~diftskypH0 z7Qin5j1Xi08und)Gba1^D)EwyX=k|D%YFF@N_o}$d~4=`$F3C%bQb?uZgtY!Btq{$ z;-GW&mr5I-vo$50>+ud+mhQ?KxDkBW{F@Z%6X24L3CITUITs+q8Yr1Ad2yF3n_1*_ z$d=`c0o{7bBY3Sw9`CaLZ;@N7^M$j+ree;AYN_<^%|+6$FjR@Ht$+e6QK!F4McPAq zR*{~28*E{`)iWz8v<5w(CkOv_2)?QQVKzbMG>fga8RFpCJ2N6z-ZC@7zxWi(j#I3* z=D0#9kbktr6LT6J2n8cxcGOm+NTiAdj5-AAy=XvEVl~A~MT2-UTC?$Cv|&R#&==XQ0c#p*b5zKIKRr4 z4B#fE$&HP(BEMhhD8o%8ba02%V-?}TlwCs^z2GDQG-(D2c>jHpQBsIEIZDsbGV#c; zMk_zIwmQ5iQ(Bs@cHVJga^nygYP+{|dpCv_2NJbZKVKxDH8kW{sHljE7CxQ=izt#^ z?g(AQb4^iRFY5BRzWB`UtSGwkKspe&Dg8-9o0&0KF1^nZuZxX;4zr+V&QW3P&bpk# znVAY?VL2`mreIj&32|W5*+ap)s7544+j%6$3uW(GBFyb)oL@I48?Zz+GbH(#2+5i>q z%SLewnHv(}kMp=oo?Y(BjwI>{7Y=XV(fDW+Qpfn6$WeXK zJqpB%{P{9<`{C)i6+T|l!eYd8pIDM+N3-lR%LR`K0goA&+H!aA7lP=lI@IKGD#6NA zZoZ#ey>l7sU-;0;6iavq$0WmdIDphvsW=_#imqwI;nQQDXb5P_=hTvqcF7eq*5iz9PSsUeeeT zb=ZD^V^M*-tX;6tih5j)m%_XEJaEgm%{uZLyZ|b~Ev+Z{8@n!0A55BIZxU?<7o$2# z@He9>ht#E`Q%nZ--Ig`Pba100qYcn;>#JTZAvma=9S$iFvWPN#e>#?4*W&9mZG9YET&PpUOH(Q#r>#y_ z4hy)r!mxgCv-LE))>L2HDQu|gBPv~&W;&{k>xs<3Akd=2*wS5($x)(L!>>|N0VFYr zRklZcdMV)VGiQ}=RJ5r%(fr$8imd&#!(#@%a-jzpZDln$FspIfpt}DU};PsUS z4GbTQItH0t1mdsIEfl5akOsPiVCta)qnsNCE)QrgLbzZ5QE)T_S6A-DmW=(ZItf5k zM;}qWl$}Nk7hQcExN{+vjAVW_s#T-1 z+2C<@y%WB&PEe?^HY#y#Cu?a8QUjK=OThT~`&yMfW{DD;=Hb}vtf9~T$!zT5#y5{& zby54?9(+->6Vy1zRTt|atiQTdCr6n+pfJ%?cTTn^%5o%&zr@p_mm+Rj-~0EFC%Xm@ zYW0)hPpp7}PG%{YQ{K^4yRiT_KkZXIIq9=Ek*=+fgrp77*;b{C1}ipnOZfGTT;d`! z_N%uVqOHlGib!=000pmXaz5|P36~THO!{t5qd_>EhL~a4Lm`T!XR4Nq>(XL%h#eKU z6~&GB0r469cj%NKogD5K&=GSRf=u~6{wm-!MvH{^HGGwGCl9qaX9=7oxo9jG&lziG(Ab`YFIIMniNb z)LiV^YM#o3{drhj{St@73aECTVr$43&W1yji5FwaxKmRb5?-s5K}rV9&;^jA2t^%% z=_T549~#7%L$>f0Hh4!xOIxpo%TJ$ivb=Sw3@CDQFJqcYylz&lj*|GWPP+Y_#fgQ{ z$|N&gedG6>9#|7LS)fHJsLQct+$@^}WK%(8+fZ1J91@R~^e8d^y4fDn+Djjtn7lX> zhf?0MVZCAMq@T~=W%wG=x5k|5RI7)5?eZdvk_Xl_L z?@A7lIh92dPzugr#%j6*%U4J;h`i*oK)7X99fK)cywSKY5eK|EdWa4t_uQKIaS(~9 zByEUz<-YrJA<bjZBL3j-bGwvNyo|gam^o^lz3XuBNjzN^l|H&K~YA3H1ff zd1y3sr31E%1PpN+tjA)^iI13c0$8#_kF209g(rT^*hZ6?Jdz!)6Yq{caehT)UlelZ zCxNvg)8LTQ>cXzhVo!}z5@gFBjD`k?ogW+C zA+3jA$JiPlrTw8zDKX*SlkhRwU4_IO7q0I9;=Rd&(+8GXXZ9*D1Wyj^6`hD(x5<*jpSj|X6a57YNYls5pMw@(-7qpi1%hZC^ zm2EYDe0r#6zM?QIQgxS++mJ|#W+~8U-Y&xOYt=vaQHuCR`$DyK&iem}Y-EcK(QUGYAQQ z!0-lYS@wcP`z3&C?3elm3RTwpY+B)$iem-DSotnIksr%lN2Z6+^=HgP8Q`GBK7HT3 z6@5i77ggny%D>YAh(YDS!)~%a>he?&nIUo%5!=rVZ6yFL-FTdo3 zh7q9#FQP&KRik{y8@8hGmaN!;k^AO&ZP+q+!aloEh5A~zABfGp6nXR>T1u>hg~3lU}kgSh^#aKfRxDT$d&+=)J);h;24>5i_oW-5DC+ z2nrH!Pwc`C(#Bku!Yut0=pSe>Z1$BtVOn%wa%>JDfh*qoOxvt>63GQIN8-lZeZ2nzLfqtlY;Z%OIdW(+& z_cSihoU%jP)@f7_L>4^iH^*;ix<}pXDpjUjJac)@HRI+J0DXNsVfG2fxr{%@6)R6g z^6mq`rM364qbb`aDG=vR$@gykvs{CWhAd;ssv%sOIkX31^l;P&x$ z7ks89xpp5E$f_)JQ?dELR63cY!%*jZXOaC6_-QhMkUv&6JyUTOmWb3y99#HCL-vWG z;3FxahOM|3yl-8O@wu!>7*hKsO)>(R8|<7>zWa@u94*L&e7_qi>18&I4LnYwJqUt$49IsL&6Bwk>sbHYoYC_8H*m=XF4tkSNkD(9jn!*@G88t(5T?w0T~075$a!4$qBMmlOx; zMTUT4ynVO-1~wuxSVX5_sGm4am%Fq2vtV%HwOdMef{W7^*ste=AXLSeIx4c`=9FGw zLu9*N)hEGREq(op85UR z)_Yka+i85d-5t$n=GLL&s`noWjix`A%Tr{kxFTUGKH!UHefpzd848{|A@WhykxkrLrDe zb#CgX(}E`Bo8utr;oGfVYQE#PeZ0EUF8%>k6K#m9-s8xVt#yOj1TOus>`p<|pl5H2J}nF)!WspDJ(L*}rSNZ?*15Ci-G zW+66mu){e{Y{(vrxe+%^ia5YITV}`8ox91yUHgPj$M-pmDs-XUXl#4|bqZb%@pBRy z*xlra#o#s&EG%7^LAgU#jQtr}P+>ag9_TUJ;7PE-ja9VTdv~DZ4*N)x*bciW?%4-g z;77N$0eT598Jzj}YHZV?Q>I@{CnnN+(jDWbO4>`({^kMbe$z;ptP{ynj-8L{DYha# zDWiwhD~78e4xw+!q9lc>SXqkFZ1Qn-K!-#b+>GB$jWf{7=0zWm1>)yC(`%9Pt>lcq z?jJbsGm_V$h250pKKd;1o=6z)G~runWcHrZiF|sgjFP&!YjJ3}O{{0zAM zj{q*4sg}%ZVpFY2#PUgS-d`^6h+8c^0HSh6W|*J#uDv@g$;&ODjgffmpUvNoH&Kn_ zzc-uuwzQW~P7=yObcYj*aZEnQpXXVJmSHY=w~R8{vG8cz6wyZ<%tV%7NUXLi))i~v zJA9aZ$cD<0?d$neNAk+aaW-4bIW(qS7ABWhrK8$Nd!$!XrN0ITiBC4smYver$X!nZ z&V<1;qQ~KswVlx!E#b}lVk;}d_n7Q=hQ{!~&}{hL`!d;{@*tBX*}R$(zGl5Rg5die z+o+{gmu@b)F*xF{Blm4uZNn-ePg&<8s(atvrkpv*s!AlpU450~N7GfaPS47q-V@!8*RV7d0YArMXr z_6G2bfv6#&zXv|_KEbTI#g-j#z%vD?2(0AVjuPdy17$C0jM#0v9&#5uE94|`DRKM@hn!A5=GEKQq<3iq^Dx^yT& z%E2!3v_|hd{xBJMQ}KAckz=###4EFMwgHh*uC?Rff7Xu>P|=iY6;ZYDv- zGy8G#M4a9;yYY8p{Y1Rv_tS&hyhRRq)(3ad<_RS#uWZ?)n}o>sm6a03+MlDVhR4=)#AU2 z<-e-Mm-{CK-3A{2!O7i2Bu{DwKK(^p^?DWVP)ugmx}wLm1lPE?b@bep_IC0~fYrP1 zvPv_Sv8?Q6k;O#Q)tXoHxT^FPAIE(;<;%%9T;+}UaQBLIt{%SgkMU3BxDffGsYmsT z*H$D)tBq5SOXf{+T18z3)`O(?#)oANT=?jA}M{hw7=x#o(D@{Uk_ zO|ghTBW3O9l(-){_-lq**Dt&CEB&R*byHrG166jn^A7l$TS6>8m!zxnu%fwOwq#%_b6%#xKOTAs{pbP^nS?ee!wMx zUO5xf-n5PqgkG{tamBBCnL&3j2i%d&ktsQ^z$L9!e&n6thzB$v+^q>pz45KHze{Vf z-tB-%?h%hz&PJ$quqYw4@N+Cz2@9SPkAt?8SzMYuVOJX>KOcc^s2OtEv=f>zV!yGF z9aX4ytJ9SDYDRFCz&)?x87Gpw%wWA4Q|XkR#_46se~}0>`9WtF%m*qGFUezs>3m<-wm3>vC~*`L&0n* zw0oobSn>uKHzwgx#bKdrCdB*1vDgwz`!436iI*P7PH9)sni?Iq>pw39?<326zb^js zVV#`=LytkKpF8-s+ZMk$2gEPn4u?{Q|F2kn>&5>l0*ru@;s32H(l#4^5IQeZYeN9e z`dIl$6zE`p3ypv|AAzNBZ>ysR4|a-JxtwU@$nF?k8v1DSc%$-_c)eiA?svPH;t%gVa+2~z zZf&&1tW?G%2zufUXZrK*e^Y*QT{w@pkebY#>|L=$GKU?O>^&yO^J<|(qWJjxvwb0# z9Mt0XKs^adr1?IrvVY(XbD%vyqcZlydteTGx8EYp=&4fBzUOgicb~Rwkn+^N-F>-+ zcZA&i)1^r<_@<`ClU?Al`_!8Bk@Ct6zEj@(5vQf)$%YSUfxr?(t4KOMkStF<{^{Nl zX8f@o)|_7WAcT_M33qe);KhUApp)6SV?~psR5fT@s|@FO_Ng)((ahGZZgUz>l763a zm#+#hnx|9=_FV^}08|25Me+sR1#s;F+yw;L&IioRHg}5vuLY|m>;;@%1W0PqzyMh6 zW!eRh;~^^6Fv3`5&>9F3EmP3SYe}S}OGag)nw~AyCk#~X1RbOaZdlw9yRFUDqXshv zm>r-4Xk`Temzl2PKi#iAomG*fMcxH;%^`hE-DHMOC(RY8RbTLR&znvMTZG`Xz>*`b zY$yhN!b)ScVo)uxNiQDg&Ni>AF4_EQ$)XFM)yRuhB2fdNFQc@kJSJ8}NeQ%}I8LzX zRnXXm#w3x!uUDg=J=R5OTr@@!+!PPU znAQqqG#74IE~J4e^u}EP!al$(F>dnUK56~>Eru~#dxg3;sqW`9mX2|#lv$%66n;}P zOoOW1ft5*{lL9Pz!2!lT;e~s?A&I-#xS1kl*=8eomwrz@Zc-&Nxlh*(1TL!K2K>+- zp>i8zSjEE88h-=QdAO?T_@+JeN6uR>W-k)wt}fYLBifG6dWund1a@Rs@#h$mz6@?h zF6ryW>A8n}?WcS4`$hS=r)BMD``^#UpAWv#%b(o(pMdFac(M<^#I+wnqn{A6j~+(1 z5BE)-YdV8-q2#({5N?MG3Yy{EgOl^E$ezG}5| zy#F9(#{Zd^fAjp^YaK^0Fzwn1;8Q+lM=&phNlcjESI84WXkb9?+-rxvbh6Rr zauED$OMtxt;Jb(@dx%JT$6&Yi4$wa%h)~FYqkvnz%K)r0zDy`U_97;+L4Vx(dz+o< zWSzbrkb5nMfOZkl&K-f0F#wC#Q#o z!~-KHwzjg6PfsTygVrQ!Yk@cW=$rwpVwoY1!Ro<2@i24Y96`QVvB>`b^RK{Nev;<_ zH`&>N_w)Ob2LP`^f!KLN*#)Tu==qkM1K^S>`vxOJ+?O<*=fGY1_P~Mn4vamxwD;uu zkOK*QLx5?h3*ct?BFHifqUixU0|2t1C~<0YYpnwEhd$Ye<_0i7QsSM0fp7uP=HPsr z;zG#9E&~DNkbPS4nowh`jt!+PU|!yOh*bY_o}<d+?=xEi}ik|FcM}Fcz24h7kqaYbrH*3L1!}&uJc+!U!0{XuK{e*H7p@A5Fh#irw0j(=a__%*&?0<+4e`Jq(8a{P{ zzI$*fTmNu;_A&pQ-Tv(PMeBjj^l)b?=8rT_ua8?2E@U3L+qf>GA89$Qk*uD{V01)C&movG&DFN;68<_gy+gxx~U*qG! zpO#Jk3;^Pxo$*OY3{exP^0C3J@g)F&2ms`nYs)Ddq$U8kJ$BO&wTK=P@VZ7g9qoM%VivMDs!vX=c>V1d_c>z-9cTPd+eI-Be2jO?;zpx?sh5&yA z`T^)FdggA*S}T7*-2k+5efmlo*?b1blkC@gx4!p4y%*$ES9^f6wJd)?bHD(8pt}KV zIX{8jvdx8l5zyvBKf#}}Uc5ZhKlwSq@2aHPC5zKPj`x56@X;ReH4^wv9O1uHHbvmV zJk~7dn0K@a{h;1DN>u;wZ={)j7zneBpnN5JLgE`Bu*MObJ%~ z71B`+Y1C1cP;7Ouj1HG&w8Sc`w{`UiXlmQmDsUXTnD8Ox(?I&%0K7Ui48%Y*C|N+bM; zx`4Kv!ttkm!4r;2-;Tc-&~M1l&_wm8!f+u?z+rTsBl8PdfXSiZn~t3)>adl|tKY|W z+m*`EmD)3j;!&XPF%){)irAZYVbj=)>dL-*moJ{U*c2C$HU29RWE;)L-FHgckdQCM zbfT?e<-KDfk*oP!&l(T`xsxwPwJiaYy^#oO3W>jd_xU(?RF)am)Ei=`Bzf4Z4x@rSvtpbJj4y)PWc zsG(>AX}D!wj@j&vYV?mOJ)o>S4)dMV(Ua{`y?qG!vtf(-akX;op?})yaudpNLsA=i zdqy?k!!qe`ZrJMM3emVW!XRPN2E`wptW1f6!maHXrsUW7fq&+=0<*E^dErC^4D_T- zAz_`2o6nWE3JDTMjn4V5Oh5-EPC=1Q{xg9JW3K|IlFTm zo6};`dv^XfvZn*4ay|AZl6P%^8hxzDQRPohjV>9xazffcN1qdRi~ zJ6V>w!(XGuj9i?$G(Fy7Zyi{WRe+sm*1t`@Cy<4lYicI0S?OZE-PXnx7m>>1Oxk62 zgfI28VADx5tQ+!JIdVs+m~hdk-iox-25OgO8hp^Pth^skFKO#H(3J02I}g<{3nYBm z7wqt|x|qrIuu?ygTA3D#oL^>&?CertJ@HeEsX@60cn;P9AMY1589S zzg$~FoGyeUqK-L6+Sg*Ae<3}bJQH{|5HXPVe>el8+9_GE*ezM@yuL-*;I$iQaC{%o zNg@>qn^Z=CQ#h_79O)b-J76R1XptY9^d+30AtGx5Gk@fM&!hXqSc{o@-3$Yc zA%Mc~=N@gW6~=w-o+zfmxQM3S8Q=A))jD7CsLw~g?F(RE_nIW*5GI@|0O1Vf*&*Ya zzd6l{hCnhKHY-Du4YJ5@0^AoAA@3f-M>~*SbME5LD}1LIHVZI49F2CuxvHGF$fEuP z4Sd{*e>{rhpi*cbUnqt}Q&Px0r(%G&$GYHqJ8RcD#-B33T)suBD8-jo8^e|CYjJM!m$))$#{O(c~*&X88A=-P^rdpp^BGmmrq#nX}E9m z8nij;qr&!)nF6XZC5`tT7FpF2d{7OdFBjCg8!~|`e5+FOKYUk8lves4R4GT-$u)5= zwHz<}5L+>Nb~Q>hK)R&=8lRH**n1+O`nf^c|Bwpb3KV+F9n~xv@$)MaO)rLlI z4ci!VNylb-aT^XP(=EzpfKEWSPEdoM3_qg5yiXx$fD}N1I_Kq?vbozS{ax0T@iti%}35}>CkMv4Y!1=p%Ta`K|S-v$5WrpI}WqgMZ7#GYAB^+53Nns_I~cu;c0HLk(5j#6K+~hoYE?#9ff6C zokH|za;9#i5!Me5i>ChBej#T7SCQ62m{tciDyN*9rlQ8uJ;(^YQ0I4L)Y$!Ea-Mz5ldE1Bi=^K-OrT63;JeBAXb0^crw9Fp+PkZ(-+AHAW= zv@u9Xbj$8E$19&Ej6pcK%+6~7UV45nolz$6Wp?n5$2C?;nemB`9sA4;mBV8+mkUxJ zZF!(iBDkJVn&hiQln{T~e~VEUI~@~G9!u5DUQYkzC*V%A{>s3PvpcP*(?H9&GDw2W z@?;*@;1g3^H(|9O(0oRZY!l?K0TH?G)eMBwB`!cql_w>V2H-W1MGKuPL$4&O8N9&*r00r z_~LYs-?Kz5b$!g5;mv>t)O^}HroMlxy?C!hg}Hi zXQJiwNqY1JhZ=$ews@Gr`XUmmY8DKi?dxf}x^-!Js5=;~-&RM5&kv!PFXi&%V9#=? zqQhaEBA@5wrj{3ArC_}-Gad$$FLQbN=%63}Tm-MNaG>hF^Ig2`9J?-hwq*vT*PbFy zVM6te)V}(r(KC%Ao2Uq}L9aq@e!p@@M|!ZeXHaH?{dp{!u)~$KYArj|x|LqWwSvb0 zrcE2~T8F*U$)w_V5@O zOY(j6_%7O66a*usD&q=%vz*sdD#x4UP(j%vvG-H_0->e_*7uVy(7;6{(UgW`b^sc^ zN@~ z?JU8MJvBd`&rWCRmvmHnixMB_mbVeQkLOvSt zuR{V&sp;1!_fGvmCx(ybw1m(GoG-#Lh>bO{aT+jLh}TPchYvl6)aEa|)1}*U*Rz*( z>#_C!W_vHhMZ2-FJ%h*Se!G%w*My1oG-9H2cMye~QAjarB^TtaT_YG`c(zmIZWd_^ zqe-omtMUzE;I3tEW(t-D`fcsJLOy`VHYS*Hktb9HJt)zr6TV2Jr+eS)Ut~(tX|!^k zGE|B^)m0#36=UdN^YP~k2$jqVZo7A@)~MIXUE)o$XtIzS5yt=+ca6bAN{!#HW}a%< z-FX0iO_%Kw(kDTGDqVK69}7ELWPCiI|D7_xr1ZJjuF(&G06OBjvHly!@o4p>t9JuB zw3<%HBv8|OgqzydQk_hn`kPdacJ^^7=e%$Mv*}**%7Sf5`5_vMfae|$uR;!wT4opd(K1N_px-(^CO*F* zITvbkIr)zN{+OqJWUrDG+grF{kLd%%_~z;wF;3WVv9UdbR1q%LexQ@o?LJm{HTO`<s;Mp!XGq;xNGY>z3XRW zsmT@9f&Z>COOLOMX84=!$41yUxh>HAK8sx97Uy^Gm;NskP{D?w;8q|2I$92ved?j% z2Vn29d8ceHqxowe)Vx+f#+1NIAo()Z8mvOpR=noSYRnmG0+W>k8gDyjhk{rb-+Fz~ zj+sf$2kLsuf7r@EkN?e$I)WDGH4pMD(C;9vUPrgNPP(W%Z{y_ug34+G*w7WEA5i`HKjY|2U!hJYLafN+IjN%=SZCm_k$N^g~_FbOP<)%A{0 zj^FLvI5MbOg7;*F&@!fBbI7R?g9zjHZkgl{g=mgs4@B}sTaLx-_{`S3VibPXWjOVq zQ^b?J$$=EcLa@6na{pe{j$vUIwwnj|kYf(5yhCuT!F3PD`?!)#pvnfT0i027)9}5; zT}+GCjyz*3-PY2?GZdF!&!`($={FEK%dVTWt*V-idNSWS2I>gIb$ux_{<0z#fP&*RJyvvPo zU}sB#de9tXp5IVZ!|j@(ZPloO49#tmW7b4@*?s5NRrAd;&+K*z-DW(jAHO=4px}g! zBXUV~Z|>@;xwpy3GC3yu$^j4(?J2JXxl7>S832`$rIO(SQWpiC_GAIXoV+`gz9LzN zPx>0_hmtG(5pM}X+xxn=Xp@DJGwU2;YMQkkj1rGT5YX!9gJ1iTxtO+}e0e;JBh!}L z18kVup(OO!@Ec}*noUu&#R8?Z*u_ih|6=T%wnR~YBwILT+qP}nwr$(CZQHhO+qP}Z zeVksaANn&gV@K?C(Fqz2qn5SB{252E>ITqGS|Xn}&Zcer3TVli;&qykp3HT+a@DxX z=}I&99Q-Dc5UvZdH74U`tO)q%yfyPZ-X4t%R`in^MlJlF$gr_j#p?AwVE>gSGBK&U zJ06?OX%}3JK8bC|O-=3iDR4^LqP@4fNn*aft2S2d@H!&yI2*>~w~(sOdOXZd5XOEx zhP??#`*})I_--*!p(sHhB;;Ys!-lMbMoToh`JIGNP`xA)JdQTZQT#jbrNW`ua}%ii@ge& znW;mHLjmK~mP!KJbr{@OY8B-|lUKd6gd1s3c>Nhus#Cz|+Y9rhS{9Z1uS~LlR=en& zY!(#T2H5woGXu)XpjO0B_>Lbv+cOv?a zQwjP%V^@mWow%TfoWNddkL%aBtFNm+{9^~Du@8SUX&r7x(XHScWDDrjWj z$x1Fad1^^8dFZz|W#q?-GY^;`(v~+9Hoc+tw%d0ze6_*_^2w6jJM#EM)v|D5w(q@z zBPG+lP}DqrQJ}+uwwqMk(yGp(er8uZ9jJEfgdQl@C;9GFUGrl*HX_nwVtYp6Q;$j( zhanSEcQ#&E^VGFXS;fkOnx?{v4K+SQ=fMl~VZ9IuKSf6Eezia}eG9c)P(*7Dq;RfE z4U5;vh!XSP^7^~{+Hv?6XYW+nOK65nP$XK>IW;G-&26*^+fed7>mml#New?GAvbJP zWr>h}XJ$qNu!2#)xS%Sen&U7Xiei|5wWpCt8iPaR(hDsFPw(Y}S(;UYOV&egwJY9jQ`=hqljq^F z12pqkT{|$SP|by;VgaC&KO1k?r9j*K#QSuW+5{__GN)5P-6f5d?A{hAPWiK_B3*Nh z`E*xD*SRbc=J*?483I8D2`d4B+2u)R7m#$2YW8fXP|;b zsT}g(QdmHctpDHjFxTjD0v09Z>-X7}`AfI_luq2L$A9b2Qg@LkhuaXBb^N@@DU~rp z6VI&z1ZnZErj#7tqEW5Eab259ikMb-tce`cqa{z;8G;tV6k67tSr-(O0DMG_hH491 z0d{mcG_6<8+tmnR(!CjwRL`Z0VN&}glv#-I9j=6A<+NXBxZQ8~dt~>UdC0TemG1>* zdbRQIPOpNTXAMga>x(+$F z_5yr!TO&kfYntoc{ZzbywPHt5oH-eccDk=EA$!<5cny=?q`3MnIZR4#hL}`Zzy+>S z8uL!GBzW&gy;N^LtUJv9n9AZ3J(Js@U71i%*(!whpfD#57hFl!EdN88Pd+2Da~v_A zLQhDcz7|Csx32-wM-_vejo>0h#l93Wgb7zit@*CU`)t!y8uZ-}7dRnIn4cI+PChk` zH@=@2N1WerBV%6Y7Wdsi9Kf5oz{3cqxe~Tle?*}-`i3!6W|GIOE81iH*lFLDPuKch zHQiJ-V$>ufKric2`1=0^Ql7#AE_d2zW%H^zjh|gy)pi@>Gsy+&{aUYd7)>Rg{rrO% znPU-qEEx`~KH+t$BPW?^u1a1SUY5}-u<4_A@$Pa^zgx*}!RnQs4?3-G9||3rhHK9Ejfc>b+c$}; zefNh|JF;Bvh?lPc!rIr5DqF8@!{Xbdu5q<<&vyJuV7?$-UCxV%1iX39uX=x1^>X${ z^uS}3Z%?){e6n%~%ReilT_)?>jbJmKuLw(aAFci9vhW$Zk;(fq%To3f`Li8LdN3w~ z-IC@ID5Sgj=u>=Jm=?O6Vf5QIN`xp5j8KH%cw5KGe5_fHqcgzkP3j0=6fxQCDyce{ zRW!#J4~2Xd(I#nPDil)<9t(S7Ucmp9J=@bw3Zun8!qKJP{R!5!?5qGT{A&N&CS)Th zC_h=FC@0Jdr5IjP=5?lc=L&&-$MpVk*<6M8j7TtKzW#(aAQwQDf2txcfOpd~Q2R{_ z6VXz|J>k|DD$eRrISslJL(OR_q9U&f$9`nu5JT`L+*28fbe6?Xe0ir1CY>zGGuT5` zwXXNGq3JRGdywtQ^7i>7)kJ380ZtcLks_V(s&#e8vV=aLPMNrtZ5LC5*#8b(=pTIf zR;lUWL0YwTx%Y1q);2{QOwDo6d6RF+#y3EzGKoV9Gj=d~{-P6-+U;eF%{WYn3?6I= z(!hIduT{)Ba37uRKIdAE?E1hI1_G6>+nod7-|vFm@;m~~eQArKXv5NOAuxfvN5Ard z+txI9)?xbRx&X$Ixp$@BGf7BgLdnXYH!zr0NSFPcv3}=40PyDNywUVit;}gj^(}Tx z1c{x}Q7MmSOYInt5|_t+gZao^A*+NUst38I9D20m_bDDXNsW14ukkH=rO%=?`jcg8nNUCVfe1&e| zaMu_Rh`Wt&;r}Q{__5P7G(^gdNzx5t?P@vUANHAu;Vvh+cfoGC){p>_rI_b zECqJjJXlyT`L34N?6vHG+7HP?`sbPG0b6T{$%}_l{pcnJLtw1#j-}nA!Stl@P(hJ5 zo1g*u3v8H}Kv56|1;>^wXlP%tj(ii`w8@+up2_x0X4x$`OR6-eNms0M{bD8lNGR<9 zs&dc{I-OLe?G#0C>fD^YG(RiJiruD;XE-{>E(g>1Z2dabar2I)hAT05GHA#6lrS>lsn%3q{ zV};Un154U<$iqV;!E_$@_k%U*v%l6@i2&*~i@HgS9TjG6^hdnbBLH zs5|5=T-;zG02spK0#-C~(|PctzLl{99^ zN+c!AAg`INAlmufP~isfE>R#{n%8%VI#Mer-$D=jpV6m~M`f{G@>B0S4ZUoQn8VVj z71;e27DdZ)MBmJp5$G1>a80Z#fLJ zCT$Hy*703fv?%v8bU$ESl3v$A)KeFYoYL-Kk~C*G(dijR!$?w4wY>9F0sa+F#fY?@ z|MFCD38L5dzC<`O70ywi=@YOAof+*CIa3kOBOW*J?>;H0WcQZ6V76<#o{0(Y`_DQO z;*%NoVj6?!+>%?M9^Ia#K**_CeF-rl#BjZn zgzfcz$2Or*e73Cg z!CnAYyxJcwA<*j3QQk;ncQcW2BUz!$P zKz5<^bMDLTMRSOeSz_Lcj}cK(*?BtFY^I`PxBWf2OzECDtT^DBn|MdG)T{+1(_{tG zj|4oyp|?ZcBiVvTV_(E~0p~$L>c08&Sdr(4&k_kaiD#)Wh`TsR(x`{A4j#$4S+36S zCoixrAdQWEu&5M(^Egb>(VrwETczx1;oo#f4)X(9VpWiSgkDyR5<~6dRB#d*Smzrp zl&WtJ$L9_m7i$XKaj9TiaXw_}|Ayj;}{SNgC<2iNl35 zN2#1&My!7W#ou5(X-;?3=a`^4U8m5!;O14b-DO8-*=g;)@_%~O7)3=7O&YK!ye|8b zacBLF9c)jQ<({1FjkKHI%#3NoI;>aPSP&8`MN)ia@%^Wbz^{ArW-Z^?0IoUWu%%Cb ziUkGh;4btWI^P3z?A$ZY;S`IP+v^N2q|pv!1ReR?bYx!IIUkLlCR>D{b(X7R2|rgCp}5Om-F-qEP(p{ zW5j3{2Sym5h0m&6Sl#I!dja)1$-a+XxeG%2Xu#RErYE~QABR%y*J?&ud*-erkZ-DN zP#$d0VB7oqnItek-P?hE=Z;e@R>PW6m*5V$mYL!WpE2F(CjD4O%f-9~&hNc)CJHke z+JsP~3Krd=C%nhK@oN2Fv}jfCv|DRx*DYK4M`4&}BwBYfRNsywr5Z-sdc>{6^n!4< zgXFf$0qWQ*l=~PnA?w>bdCYT(Zoy3dO#y76SI)p4fGrsX&6{I}E;x#nQLO{Lg2bFQ zDYPa#IUU8^Q{UG8fNnN=C#Q|CI&H*+_+W^~B;~Eu5$^6iLg`WO-MTOji09n>djbBh zUz}8g+U`=o#|&$(H~W3f9-*{2)*71snRt**_{ymb+vOD*<99D8%=8L1y+k0s-DFvRb zlMg=NyMB4#JBAT%{NbbtSpS(pQsgNVOMb+{APB^;Fzw}%M0*6+Oa7arZYNP^Uw8KP zn4E;%$5r)-()WzH-gVzTvOvq1k#e~Xe?Bv?5e1RitWXWolAz)c(qEkxd}5L_X;1HS zsLP@A*KSkdIj7e36P?dPK}Ts<9CEygL;_nuv(gSl?)W~L%*weTf=T`W__iq3`=^2L zXfE95L29_9thnJ(Z-6pLwsIjqz<(c2x~LV?k&|0HG*3-*(7!+);H<}KZ20)qWWJyP z!aU?n)I&9D@f>(k`biPG^Dou-@5_UDpoyn6f-WJ>N@bw^=>#2(iz%Tlwvi$I(`9B+ zVa}tIi{n*NnLNIPQ99VLS8jVbPTn{HyOF9Lzn25tbHaoMet(Ed&j0c&e@I5bX8TC0 z!*ZSS4@cxaQT`FzmIIqs$iGT5Uf+o0D7V8e&C((IStk{>Q=~9SyLSJ;T=OI9A^6e1 zTAcNSnBqEH$6zf0K&pJLXk3i#Ybfa@3Ks|)c6zdy(-|i#F7N)GwCOdnBaWwA)%~U@d>D4Sdaf>4ThR$1Ri*t^JuiMWc#=oqU>GeY#qcC|H z$siO_sxaSPIhwxFO-)Hty#QvNNrb#0A?yd&RQ2f?N^{Wk;JDHzfdNP2XX!f9iF>c( zrrJ0puJ^h}zuj;7ZTRRx45Chl;2|A9Y4*XXe4H%1^Z)ke^-ln~=Iy|w`4+!p#q@IBVXoJ1Sooy2x0PEkj z4`4!};U9=Ie`;s6(Fb!5@b?VbKi&ULx5KyF7d~zC>&Qya*x1s_RPVsn#sHF@t_27P zdDsXoYb)yv0E~5{7YeEx+iLdStmL0FR~$gx-zvF6R*|3VZ4*8w(wK zs@f-M{4Mgddh*6PTG+a}%8x}R)~@#vk--HJv%7ga`~GH3V`Hsj!~F+HddfOV+80Uh z+G?cS!qDahDjD%(^hg@`MZ*Nb3Amn-p3dH(0m$zKFh4UM{eadJ*@bgYNAg7Xpars< z>)PrHkkm%#zk5pB--gF7CkBj$-#;;caenhrcGw3Vn}MNkZF~HW{$FP1R{xKw9}=+4 z@2K678@(H_IYZA4E|dSo+SwjiPTLD(YfFRUpUv-@HwMezl(&3*!B5wrp9>*jt1W<> zCo3rc4-^-Y|HoRQLobi}Uz+Gb|92kq?|n)mLj#EYU(StI)-Rb+njfnFW!{hg%sX9L z_s!NS5TJ5jns!!1&cyjm)W@I4%Ae!M-`2ez^cjaE3ADV>Er;c zKJqWgCzb;Mx`;24EI`q@-7ttg@>fhdVD#OeNVYV9=)+z(MnCxjRs#@viEmMxJL4Z= zEgRp+-uaB;2b&=dyQ?|2X2iYhD)nPioUI)t?vH zpGtR%;WM3~9}!byi)Yr@pZNN^uS9i?AJ{hwx#$t!zLxmDU1%FA&>vF3QQGeAhfRlH zS3Ll_jPDQ|a1tN>7M=Mo)*s_9%!Y=aK-wNch9AT)vENXsUq2gX)80w9O#k%GEVTJk z*htoOoV~OiiuyO;UZ>3mnD^Cu-oWmr*^d~BUCqbL^zW(VQ|tI2r1~D=2D=v4Z>NCt z-}t^7n6=;8`>4fN7}`@E?D~&t-$=cem(9kvS-ayjKAw%ihl#$e$@kb}Ps`}U$}3zfo8}qc z{?@(rufJVI$M3+~>CG#cchvbWm^W77*q!%YI=4TpU)bkdj`8vJJu66A-!7&d+Unna z-!CvgfGs~!`v-;=(Jp^fW&df{-JpBz^A^!}((%@1#PW0Q6D-XvocR31GD=0BDvoXN z5g4aJD(jw-4ipVMj~6cMGQXc~w2GzYv*%*eFMaRMKQ^||4X#Wta_t=${RuJBVF?O;VX$i@WKN;`A8TvrU=<)g7g7c4Y3Rnr5W|0^mPoZUMXk%-S10dXZd{ zbk-Odpc7#^0HGky(@<^~AEt;*hEGXi92uxHALN0|vx<&UL=V232JOnh!}VC9(4q(# z0N)r+X4wOZ#x(pGmMe|)wq>rf)&4ZGf^Vc(>AENJyT(nXkJXk6wcxtt;ULeOzY~CE-1fY zGY7BVWNMv;6bz1&-5wpd89u#px=)-=h8{ZXdq2VSecEdu4azO#+X?~r#f8*jiDkFc zfk~Gw(90D$efyF76jj?MNuJdK&NH&mc8Gu2d&E!8luNYwSG8dGjbUT~S|UpDbGDx( zdbN*AAz{7g!K-!UosetP`)Z}qFFpJDjI;ssjj8S@~bvBZEKBFPn0jULVCbxaKx zs93lbf^fnLFW)Dzn<`Z2Yu*AR-`Nma-fdrLc^+sHB*bf*;wul;%tUe^}69w#A zrzpov4j02sNA``>`06Q|7ZZ22tWVw*5koS8yuN`9n_g(3z>O1ZG7-CaC@J>8fHDa$ zKBx}(JaQ*olWtaYMuXyu<0#PaPdh4wi$wT~vLpD&I=R{MdK{Do;y){+ouiv@WoE=> z4~BF@=uw~v!)7u%62luuh1zo|LgU?(x<584@1m|^y#qsWS6|=zQbfk4l#hWDo+nnD zZM-!VU3pSE81!6P6VTc;TW>)XH9x;RBK81cdiRM;2k=O`cH~HkRJ|{WQ!)v0F&>%w ziF+2$vWUij7zt@a6$QIn0;3roc`pnaD#-s9xiOkV7b~hQy%)bmakA`BN5;bAwY^q; zm*u(|9KvJ*W50LHM@vm#)&_KmZ%~JzIwwY(^2ald= zp5bK?bDC=6v?-+6TE`-tq!mxkC}1;>Ni)5Nb7hAUAJlGJ69!cVZm~1irHL%B^NQN8 zHqA;gWKEC*MY0l#cGTin_0sb9^hXkxQvR+T3)gp^L zhb8S%Es}8GLUzE_e|%9GwU&qGW|iblALCh?aEwlF0G=+pSFD5Apa0M zih-@}2)bM@4VbKVn5;^L9!oz(#52QvPK3?xXf#wcM3b)RSg6t*N8V{Px`VF-SEPs- zW4OIXGRUnjM2akhIH}q#Rl85|__YoxC9ux=1UDmuMG^!+089LXIDY)5H^X|WEz$ys zvXqkhfu5FsA5j~fQiaupvoU?l`s`Xk`#wh%exvE=QG@MEoR-{4)dDVaCPXIyIUS-N zWrlxnDs0EAz6~yx$PyiQbZjz0 zAa_CVzSCj3tb>=D{E7N+*FdA}mkOi|PoCk5;Yl-dnCP=VN(*@j{Z-SLVDxAE7XPu~ zrCF4>GNgOxva4HhvYKC6!Mn#5V!S&H7I$(gm-z2(aTM_K78SK10UHe*C^xMppCetfT~?Ar8*3ZoFZ{W1!+appkXOdqK*VeczG zk#AX|$$L8bPUR_{g@}oX=59i(KDz>HgS2*^8g~x;kCNBV$F9Fj1jf}@JY0UT*N`qv zU9Ubl9Q;wal}GlCId+C&&@sXeAh1qqQ`Qty5M9=7KoQc%ZS^`JFEd>id%uWoHH)-t zU{aQ}RXlfUJA6KopIbN9@QvOYAE6zH+h`A>8l?>kt}NrDo_IfdnDx z^9JQX$w~9ltc%N#z{+~O|B{ZWpB`^_Gg?$YWL`nray-6*SC?<=otOxDw7yChtM6cS z-|)$_{e`qwBZu6hJw?Bl=-Cy6Jd-S}*_Luc<^|~PT=Mz*#f~%|Y$az?`_}oy@@|`o z|3#FGvv5sT=9kOOVAlgPB90;)-nAWwD=ivMxW&JL1qn7Mo)BnQ!fm~Adh1IT;VIz^ zyw04+m=JM0s1E*7>JvV>kO^NomPa(d{J_9GsI)%l8L$%_tvM!NiW_fk z&=?9K56uz_*psW7xyZe10VrWAP&ezjv(u`Sa6x3BI=tf6Je$^4#(A080%R`2T(he6 z#U6%V+WxfacPpp~b}Fl<8p1c~w*=E*qBk>n$)6cU!C|5>kQXo9kM`~&-?53S-gZtx z0`eq)U}YVkmlJ$QR93ZRLMpg-oJI=N7o}#(wUhi^A`si5wQL*2kZOb6v0 zlTmM8EfW9gqH)2Hn_fUw+$q#tz9A?;>b3Wf16_ zu;L6Nny~KVGT)dh+-4&fuY5PB6Kq~V-Sz)mb7mu9RP6{3@+)r}Vrg^-W=V{IH%sG* z2gxe`9Tb_8f<)trPgb(W99ne{6*rn8%h@}~HF6oIM64FzDePaE$x2b6Ief~UvlM)s z@3J+d44da0!$DG0rUrvU@+9B`DmSLT*ixZXRVifm$q02iI^0Vw(hS-c%^ddw+^cCd z;|l>A%;PFEKsM(O-jD(=8|*1MI{%?=rcphHvcyj!PW7n1JPy%fch^1L^$Xe{WfGQ$ zbe%ZP-MmdQ0&K{S(XM#`VFaisB#=+TjDZI7Z!6yp&XVmz!6v|crsinIm*wf^(xQB| zK1vLXDS`x3W^14UnsL@4q5CWQNs2=)Z~gT1Irl-U#>I0(J@X{~<~ntf!$scrPNMfH zQTbEKOwh>d113)|*JrhH`Jf!b+U!dmtM(94c?~i;XAuPl`nT+DBL*zN+bJ&Ivq6mg ziIcZA)*_~_Qbq<5h>P0c8Mkkjf+I(~1k`oB*~mS5Ec1{b#*Ss@qo-sT$q@%G05!kL zLtW$o>_M@G0iuJHjw8H&AI(l}v=uUp8igP(W7+hH&ep@Ueq%b;|M|8lc8DLnHLk|N zeGxy0k}oUAVT2-JCnWf*yo0RRRR zx*bOWuYVUBgq0C=;K<;u1=eP8Uu#-@J1~PV4Xn_XEcCK z&}2j(6y5h98@MyDfS6aLo=E4;v-3JPwj9uME8H~o0Y zjzYVwW7!Pgt*OSpdlCq;+65yIBR}5)0r9X_|DX4mn2+BexS2K zTN06d#Qu!DAm*}Sc2}0Q+36W`y9uu2-dCaF7F;a9&jK|*z<*F(Cw91 zB}(gE#8!Nz(->d*?UE{fFn(GPm4HSeGV||eBk3I|r6CU@GuF@djvXzMW=J+jhLybL zp-4;)@s$MMLvNKot8k_qudMeaYFTs71&(N&C4C;>0%(Yw}qBc*}EwRzU?ag0)^yIo%_|!h3 z-W%f%+U(HAcu!<%_uy9OySthx=hfeB%{RDMQVn$TGFhU>XqLz$VWSd$xkp^37EJkm zj|^VT%BKM@Xb_p)WmoH}G;JS3gYWJYTpUg^VR@M}PLano!wQT*82f2`c|`Y%0`Wlh zmaMMvKci9#Uf1{0L8g8aOQ-WR4(SiE)jmzY$7yx({NjI`dJFz$Q=f3qVH9g~w8_3c ztI*}iLz7uKhB87=s<(2&>)8$I8{n90Oob~ZJgZ+VoqUwU*&8p!iurezXBkg;2|4IP zW&3)ogrTgn`>X4{%8Y3n!RI`Y5bj$73;!i|S&mr=2;9i8{+Hl6lRH;)7qZOasBl7=1mN11b;v8|Cm_eTI-w8uX>X ze+b~bG2p4LpJ5N;d*7*WIA27I1RQSpi#A5d+g6nWo~WW9X<6H(p=I~GY*8`@gW`;} zYD<9|_>h5`S^KvK@2|gr9JdLI%Mo?6Xyn&Tpdw2)V=Q}mrop!+3VDWE=at2{`Z`%H zgy&ni(<~pOvu|DFPG5@|+jN#SKW2fq9zOYBa_)lr?R)SgvH`~gDbG}}CFFfb-egn~{WRSZhXH;o@LQv1TQNay>eU8Rr5>bhnZ z@|_`kD~sv@OlPB$&?dlqyTNWkA1I$cTX zchW#u4|@ktS~rcoms|u~)DNg0tDRv!Og|9!(l*Dz-A=uXlo;v5G0*7#l(N-X2jXcs zbM`f&NRq;tl}+msU%5taOaa+cDI%%F(fPpJJ{cO0vV+8ydpXf15!>{Z2C<-~LO3N} zdqsly?Hd_8c&1)mbalFI&%SvzAE$o0qZlPBC3C{|K5%}1i$}5M{XP6B2mnd)4GnNQ ze5s>B#5@-=k|}-#f*OE8|Kc83j1Uq6jtqC-=Q0D?Ovs9B2_ZpW0#W|C1bVNsVuVSh zFxEzncF`3_t)DdR>28QZ%DRFm@rzQ}#oBh=`iwM0uMiuXotwKc;4ny%=sK=BV_ZdD zTXo`t+Val~dd2?-gtI_M@c@lPW(UKo+Xa+QP+)jDItc=yE_+{^erh?+5CGLRZ2;Ht zUiG&au`pa%)Y-+v;3f2oK?&msel>Wie1?3z?aS2X4Inxh9wPU65C}<-W|`QMN{AJz zFkZzE+u=34Ipo>7lo<{{*bf|dBJ=_gDEPd<(tWfj!IAks;R2`Y6 zxWdiaZbcThWU-LWMhTM1DTqgy>LOR_P}D6GxDar#c(aHu)0Pi9Q8SbIMz&D>LBiF1 zHyCA9B-SN&PFTzMfKK*>%oGb~SI<&gCK%Lef<$YoVK`>z(vOd>d}YA$3M=*g@{FdF zpR0_}bc1>igNf_ch@CCZU|2l`vu?+6lpUp^#kjcskW)M0^&q#!h6C8IIM>ln#xb<` zJ(Iqq6P(4vF8VKAo%-SoSF8yFR9~e8j1ReG~^p;HnSecTvuQSK{O1# z*$c-@*RrvIn$Rmi4k`<(9mr&vR6H$Zam}zXKy{wvCfj!H9K)z-jvJRJ z@zCtzBv3|wWwAV+!N@Je#wYt6t=i(SqkWy^T=}ZVLTZ5V3sSnU0Mxp-#M6kjELWxq zb^5T2e4rDSCLjIy`tXRBO<<8G%ZWiqC%+z*nZMxPl2WIqbby$rm<(jqoT~c%pN;r& zU&vci9hteXhd{3?m?zav6H&qR47L~Qyc{%!T$b!2^Fp?Ubw_E#PIq^ag>|5KONQNRl`T|7m$6(8HSO=z35;fxKp^CQqJ>K*sV%5Hs^{9T{g0EiZrpMd6KYNZ>LYJ5UcEE@e&eGohNYVjB`b!v@)kmKp9n1mzXpFO|LOoGG5E? z@SquFDR%`9x^pa*YD)e>Gu{QyZcFd!sj5}C-Si3XGLCt9=c5~B4X_2jEU7GfEn9>9; zl1b3!UNNIO${r<y^XluT_pT@ z*_Cnh6Jsgm(_e^Y9Ra$Si=n?t)kq~W&^UVmne`AzOI~arV+0RDEvSe34&gbp>jRt; z0Pr*!r$6QfG9|ICp`J~xB(l*);o@jJ4ataxE8(XIP0O2(*@z^%i8Yd*Fk1P5mQB3Z z>z>02n`KxI>bzA`T6#(oc-`Qulh+c&$8d?BLWQcBfGosGB1Ocvc!riiB9W#`){ne= zOTz_dn$85%qIclIN@=*5>p#gagZ5(BmmCN1>Q1Yq1XcNpXcoG??eMe(_nB>q{4C@S|2dKA_j;H6kD+q66=MB%A0{v5j}eX`QtRqr=n zuF5Ut^YvzDL~~x~1?V3YMtg-^gvnA|spT*IXnJ#%;*bd?=A@5R|B&F{ox!v%_{*y~ zRbS{6T5$34I*x)dM>a?buCh}~E=3z_Xrzw1=AQk_A6ccVx6a+$VWUPN&u&^}!@T!Q z-MxIksbVY$yDTEBk=+NT^ub^cA{sG!PwPM7&v2ba|DzG7+wZeW>|rBhmFv5?40>HI z@vqsJexQi#s85sfFQnMYJIjrU+}8njIXqydS+Vxwc0hH-G`_tBgiJ6D=U>^y!yyjm z7^RI(Q_8IIkJ`TV@RbUvDkOgl;fJ#t9}8@^5SJ%6B42}CLqaa8X+i$` zXi8P{D=A>(BdP`q_1e!>^@5{~Mz$x9i&a`-C?PWz!oO1oK0?xeGX67|AMvguwLsNQ@$xch@&?Eeb- zF}XB<5#cg&EZ(iBV}cpY-kgWOI=vJzP(j6GXf{C5^IbtZOL7!l%6@h26)I{ZSqqU2 zn7#_>2VZU~NEoy(3@7Q?-1=FRG>bI>Z?wZmE)qUr)fW)N*?CWh!%RAL&gY+=W9_O#g=p^aXto+DuV{k9562z)JHzH$M41+%mw`3Lz8SLYiH!WVzV_`RTdx@j$0c+cBhNU5yt zvN9LBbmd#`Z~_boiQRx(*V)B6!>#2iUIV|M(RbYzd#UQ&mF$1SyANZDokAaHF~a>J zQy&zAcYxS#0$$vxKUAg0?1B*9q6O=debSw?&%4d7G1v1}7ge${kcid)>uY~3gF1lQ zQ!h%hM3a~N#_`$I9q#T02z86=M9nzuVqfqIICg04lYOZ_33ar~0OB8(niEG?;@WoB z+!BW;zNpiF1A~jUhnSk$&iLL_MvBuXqe|f+Cd9&%`!2Gcw)Amygjic>9%-ABSC{A!o~2nC5H zQwpzD@nFrle3()O1d}X2r8>f`^B;gvN$aC$6@;2}zv_^uKh>!V7fi~^q~K@!2QQff zglAF%N7uXu8t1I}%RhKnG%49?H}mlG0qP_wdtfm4z{->lYe3?P+Hta4uD-n}vy6h9 z$c-UjEv#X;lMAx8JUF7NB;s_KxEcu^9wn8*f}N1|j{Y8dAU4zu5S~=;2$F+3^B`O^n*Vd=r8%S7UEe@0p1;Y%-FpS#L2>HI7!BKd73@ z&OPxKQI2R0x02Mq{#-1Z;W**9sy=iVg&vD8UHOMUM*cMf$rKngq>8M9bnDPwsF0~lI1~CeZQCe7 zSL$OwL-C`f^72JSh#KvW`FYdgh4b>_0Yyt6FEJc(x1lk7W$#Q}v|eZrt#bbF1*40__Z7oi)rKQ=;sh6tKPJiL$@%|#PCG+Ai?(r&Xm zP6fcr!;L2;fv}LfA!zMb;?}7|;kRlyK0JPHxqvo-yPsXvV= z^7NvInxf)n1@0%O1Z!@80pwySJzGJRL!OaYn_6zN5&YFObn?}h9pe0Tr-xaqZZvYi zhADt``}(4z%mLNsjRr~nc69xD9xGVjUjw2baYA(x_SwE z=M6J7&S3#8Levh?C9abirG;vAz^`M#vYOXMbepo+yK-XgZbPVeEeWA$&>^ngr2+sj zHHXVN*_Tc8;f2sRoq7=xbWSTpGU%cEs;w*rG|q5Sp}neEzm(OE_*`s^cI^{NumtHi zefiWOsj@c-17ZqqNip%oxZ(4~#Y^5>VAih=YGjZ`54K9&XxZ}uJbP#mNf31Bjc#0Z zutto$EKf>mjh_BtL(e7oh1bGufE7SuKQcJ>v%XHevertx6wkTW(&ozh)yCNBRpzLM z4V6tg!#)AYkOb{r+p38rbk6#LYmFH+~{Ck~OS_Vo2Ab}P^HV8mJ#&C9 zurgv6lxc$8TzXKIIVa=0f+pM&w7XM$2u!wMl+!PCA6Ps>cd8L;;Pt*7N_G>YNEps6 zmZ0_mhvX+4s975AH8cH&%1!&Q;T<0=nliGWM|V5L!d4^7Wbw*DqHgTEATk5~m0P0auSCJ z_V`fy^~JhdfPE2G)0nls=4gdPxR6RA@IL1)m_0bm8EL&NkWWE=f3i8hR8<6bWo}-Q zmGIW?UZzP>wL$R2#UaS$!jg-Oi3?FHjD zD_Y&-`VZ>ylA5+A{HuXi#>nc&Nh}zl5Vv;;FI-dod+H$7ylJK-#^ycm;Al@)1TQnn zxj;gid4@pT$OrBbjYYfo-IM+&WByh)T`<|E8Djjl9I3$A4mxrJ2g;GtdA1%+Jl-de z4G{n5n2|;Y!dPYqy7_+Y9LN>c?e5<;{lT8Ac=g*I-3R>)ALAVfS~DG|N7u+H=HgwN z{wB&7eFpOJ1O5ETovEhd-~PFeHA=Flz(hU~4b(ka3)blf&PMFyVrpyEtK(npwvWM$ zc|8#00Ov=7-6zy}BX6<+LnU|eY$~VVFdWfX(U$)lWy-bX`im>8wU)*y|A1gZsLByL zR?dPlsDrMa-Mt#kV}AMXw2bAZ1$H$t-0ivqeMgLml-k;}eEsN;*nM3)-VkaK6 z6*_aq(^RG{0cbXy3?7uhY#K)t6H(4`)^@hT)dq(p617p4`h!N>Y&PlQE%HT(kriaF zs`^|AS+kVBNlKlLa6D3~c$(zOfvCMb<~1$S^sS$=*oi@4Hl&xxFnAs9WyA)Ut1_$q zmv<$8cLdurIoy6Pf3$;F>nY8JQu z$JjZ<3d2JU`r5W_+qUm}ZQHhO+qP}nwr$)0H_6Oml3C2ANqdqmy6Nd@`#duot^hy0 zuhNe-s@~aE)$=K3@USpV3m(jKgUKD&*uXT}nc$it@mkrVV$|}u@R8SpufdMLskZV` z{)jJc>H26Bc^m`PK-|gb3qe0HUsEzz)5Qi`C#1MS_DJeKkVw3%RH8N@e4{>fsIeqO zX?lp#+-Xvp0=6NUMg}I8C&hgFZSnCzY}2Dj3i7nq;gK3Yw!REgFYD{)(lRWo>7h445A!9 z2+>a@UsC76QbSRHOl1cEeCZ^L2fOaOY&)YR!$XH^=oVKQ6-SaIQiI{C=?qTZyYS-{ zU4$!BD3#>!SF}xeEQ>5wKC@Uo-+km~84`#9NK-1MtP@9NikUtfA`+{Sq<8jN6Qqo7 zj}y(SD?vGorN*WpkJsbr%1TA@aQ2(SId@c_T1Xn7XTDQ%Eq#$n`lBd_C$Bb~5l~M5H5AAN%OClbX z`j|Dp?hB;EakGt{Hd|{_rre%5NLtaDT+Ft3ray_sldJM#(@S2!>4n3LCmthsax^%7 zj}V>Z`Jy_T+Uq8(cKy3Q-Ssf5|?n%Bw#K4C!kJWEkzF|CG89J5gGK@ zst`93)Qoj{t~?=SU-#QhBbgrtks1W$1a5+B$fF?sHQSy0_J_Y)BR`Ys>XD$s$HAjM zPp}b(m5G|UC31dJIX5ee4k7qJy;W1@=aCC-N-n&P%G6zeH?%)$_HUw@tv8VJKUTJ9x$4_W;IHw$ZCN!@a4A>jNo|E~)V`q{MA@&- zx)B|a+7(6|cU*if7M+6|IG7XrIHzWnHa?y<46tjevh?Rwj!dS=qeAV38L;|`#={(X z%PmE%e?u5FB00AeR~e}Qapo;L;xd9r*9ltp%vm2^fBN*U7=eu!kDV)zZ+~`xB9|u> z%RM|`Bp#rmoJ_q+T>zPb(-)dtjKHVRKnHKxf6Eii`-6#@>~5F5@*^1B$VgBjJ*)riwNHoV#l;Z{e=BSc7JTxM_8UCo>> zsXY4m3%|xu%fO*TfeNnrq%1Ozao^Y43A~SLkRuH*)qHLz9y$i?dIvrQo4`xugT9Nv zdQ>=n9e8@N+YAz)@!IBLcEi`uI01)nOudIy$~VsTv;QLj1UnJ^ z+5-6SmWKyJ4;{8hXG%!9VoIirknLE2y^(MM{Y|ihAn+hTJcy`!qUz{<&ar$)V^Tmc&$H;}XW;Lwy7c!NTQ@TP2X5(* zCQt|=%TE0ycGjoI`l`~SmarEj=TZm|#$C+vxUXl%)Q})c(|n~{n)=%xMqu1clr#$L z5r{qYX^F!@;HV0ifi5Tt`ezgYmxaHW(NJPO2}F7uP4l#+idZnQ!^n4}$+hi6Cr{1h zG7@=uCVX z1x*@wkM9&YHQh!9)?zSmRxu_f36KdhuV%QpGJE2h#FLY^? zTk4b;4oFy^!}@JD3z#;k71KP#&6S`~<|!5Z>_X zyc%eIXTEDtG}D5x;(Swj%NOIp@YjVjxDG!v?@3H^zw(dzF-=X;7>{BVZ>#JXSLZal zyt)T-x56#wbBBVE{t4RR?f53Btcw5^yi3d0{>$SWRAS>U1*Dby4MdU|gfq4SY&2JB zW}osl)to2%_MSS&r5H?AQ3~wInEf`U?clX*vtK-^ksR@~5so_DJSa(@f9L*sBi3== zS)PYo*n`NQoH7)UOZgb&T3{>ERB*81DkFC|z>`8ItrnnAz~&{cH#rT6v&eupgvpfj zjkmUaJV+PSqIeAb5o_YpR>;eudT$9iw4E0J-wMwY6Mre>E7jN=` z&-6*Y9vdbe*XpYDKTzPb#&decIc;jmPkIciT0LrXs2@v7Hk&7o4lCLANI!N?(g&cYrSZ| zAZ}TjB6`?!OTm5e8N`T1_g54xE$O(}#-gz1h%#Bgv0W6;S0@90^6VVN!)0%I_f&SH ztPH@|jSrFp2rIVsZ-f}g4jn;0oFv&Ot)H48AE!=FEukuD;&Oa*Rro)d?VKc%@O;V( zE5FJ=n*Il*_Yo>Z*AZEV)g&o7G$}zZ7*)&w{V`6)Oc=Up6O*kpeeL>7@0(tZ4I%6m zM2Cy22VXnfw_Uu?WaMH?LP>*sh)d$DTGk)q?zyfhP4xx*i=Osmv~23u3}27TQo7@g;l!mi9kw=iCP>mQ3x>D zd{Q^PZWKiPh5~0!CrCA99<#)9uK1yioxYmO4ct2-_jV~r?bhEbt-xFR6;<34h z3T|FhrHb>!XB}PM`kVJw-N!s|Ve6gUhj0Z6Pm41&WOzR5V9N=3 z|N1zw>W(>_Vlt7ZLsXGHyR?CU@y5r2gN*Fb1S6soYEYegM{xvH*}l-Aq(`H3JbHtK zJ+}(ZU2aXJT{a5GZyDs(0*Wlu%=-8&J~iuTce$_|cBepIR87t!zuak^QXS3|y^wDf znbSFgu|7;qPB&k|P)uDd=Y*~(KEdic!4*E z-4lhA{%oMq?4MR)TV^}7Ib4`-oX(+op-YaDtpFk=1cWV5o0Lpb5Ce}S>)JmZ65*o^ z((pR4brjRVaZ7r-7sLILty6Se0Q=;#7XyFn808D&!?nqB7%3fJ|0nE4ABexjtrAEuEDyc z0K<_Sg#hct#%|&9I}^D~iZn8MlkCEA$vq##)jQr5-q=?dh71nVek7UILS(JO^W%Ku zVYM=|nN^KH%QuR=U``SaWa25($A2qnfYMK(q1de-R`y&mTLREGB|47Ug)~tR0}a4G zNz2Z5e%i3L@jEVQ+LIFUX!E zBL^q!y}lA$z3tw5+r5(-Z5=#Y@~aDz5kpd*yA#60m8y@;uq6Ao&?3HJHDMxad15CX z#*oyI{z;58a$rgZycgKSZurB-NT}M^Z66D>!{h1LhI-z|ZJA$>6Yv#`6){KB{cFIJ z_S&K56pkSN z#s9uGUV2$34D(7!Dp%RJR=dIHt`n@yNGLlR&9REQHeL$y1eVC{S$`gr6%F_F?*1#D zsEWPKE8_rjDJ(NL>}b`w1IiheCAREbgCDjv!A+mc@E>)Mx(#Ad50YbC+<-!C-0PxZ z5xV%$)p&0}cZi+HK4O3;nb&%NOP1;eg4fBM_u~P+;6{a6kxfE6JA9RuvuqWfU+YKs zy$BGoGYz+%*@CG^O3m*Ff_GE$WaI@d9I9~&CobZ@9!7Rlbr#pEOM0t++XiX-0F7+r zW2HLs<y)mHX&ciA(Xez%+mJxm-$vM;mhgs9R+O!DWgIQ3f*U^~a}V+^C2r zSKe}F6sEh*uCe>`?VWB>8;)7miI||Jk%<}B0b$f{EM_4i!Qt-ulm`$oFctm$&L4fk z+*(=s%2!8a_;cs)y|U`qHiMI}M+(;8Mgl}_jCpuz!F@2yQYnQb@-3Yez%d!{4zMBe z#6r{4kJ6iVoos37iW@2z^T<1f9|^Aj*`F1!>?p9Cjuv~*3}Slk=Zg+fY5S*1wm$Gr++ZpB~f zf>?}BDKYjsaO9FS>gF?kDFKWa?09drIjO&FN3zI+;LabDfvp#-dDC=Sbj|bzSGLC7 zHDN6KMA7`Rfqy~;pbgmwk_VtgvP6lK2vl*S2L=B!y9M8BNV?xQy3w65r;L*2E1tj0 zy2t9`^xL3@mG+a))Aa&4B$L!8^W|2_2KCend{3_8$zCJ<75k2-OyCAsUQg{3s}Up) zl;^5pgmOd*J&Yx5DOp-Gz>U~!lHCT~>8=Kq#oj>!qtc#L8{yTSYO-L;LZfndUT0Cou6FbcXKgB| zZq7eUL$rgi!8rCiyO+_UpzI0LZ3U%4kAyHd9{U5WyCtvZALY-9$FA+wuL2m7TeL2+ z@a}&P$#PR$Hd6ANrJFxZ^yt2ckKDuEVYpdf78y($KTD&-02L-H2p)SvKvYMZ1D*C<4@pvkhpJKv?XPcCj$Ii2`%&Ro5&DU@}m^3&%4vt}i5`7nR=Z9tcS0GXabct^Xt)!;RFBb&op>vqb%q6(LT#h&u|Gci z51|WHHOI;#Oy}H?ZZ5H)-EWOEAJg7x&6&=1_}C*iN@d*BeR%ReiHuE2ta-0a2;;lk z3o$T}x5$db;u3^BGn5_=m+J}n&LV%uY%!VS_a!o@5(1N}2+5frvEx63FqV;M^dKDC z6WdfsJXG$Nn%+5b2EDpJKWwHa(!9oSPfLS-ZnFoNa>rzt~1IL|hx zFCAdijFwvRL_VBu_O^TJ4dnzO673L#Gn|v*v@&FTz)+or$&!3df1JSNFf}&!G9H_s zdp~cFM5DR626&RI*2*HKv*J*APc)<8p8-Fc=YfEFB3o#Oi9AAK+j#HM3ue-khlRp| zjTNwMSFt0as%f+GX{M&Sf|goQXqgxUDv#>DLb?-NRUbI}d?b=v;=bD7h*>Vxoy`*c zXGwWQsXZrA6uqNX*4A2J1KC$3c_N$M_^*C-z|grV!~ z8RKO%1gwaZ!~kzU$n$e5>GuL_5mR?0Ca7pk{<=yfS<-)CEt%?9$|*L{VbH#MiEAY>fK}sf?8D>9P#NoKMF}_K2&^vEpf^d#Fw`LTMse)e22U?k|gy7z!6=2~0_ zUx8t6mHQd70IvW9_HnF^g?|}J_4Yp?WA5>Fq`2CN6zwPKrwqB9&YR!qL@WhqaM-=; z+|MF%oz7v! zL1ly}HEZDq(AOi^?T0@|E#%^B%Jn=q@>wGrbit_%gUJ$?>`N<4z~uG4e#LZ3pW@9> z8JMuw%3eXqRecywF;)AV z!Isw9AoyB&D2cO@Y{o876U;whn#)feRjOi{6-FNm&7`r>=S!w1>5$)^w>-|S1{UV( zROvl+^M2P%KV>-trq{sIbG4=Z@@z?F#b0iDB>) z^0Om;sr(39o(BzYHjnz`0VG21d5dWqZ@0ZVXP{Oz&&S2=W(*Q|H*VnY7X_sPSZL98 z-(r!!p?n-Wz9odNqc-s-p-qie@0bhj;Y9`X8%cTDKAR*65|m~9IR`ViE%6d;<@uhJq|#*z zebRJN`@f84lhdcfi{xjEC@L=Ec#b);>_LEqQQR^jf{dR?_PfoZ+5ZHE>)sT}NpYu6F`A?lmsj=P)j zZFz_pGbbqv=|bmrZ6-Jr#@!bRUD``vvp|b%N zReCVK(hpZR1}tUw)3sq!n$}-Nn#-7`bWu zBQS~281Apsp}bY)1%0o{ictu}F(0F2%EUH`Gd<@LDSIZm623dtCFcix8p2K44N<1= zVJRiDVyR(VFo+bu2dZz*r+p{uy=4m?G|am`ZXT$~ZUeHi@XvB}De~V0aOA16uOObs zptBvT;P&eo4zFa3yf4ITi){lqm;^3r*1WY$Mt0dS-9e$0k{8V7Ssy?9wsKScW`s}- z%4y!@qIJLMyXOi)8q7BrrUx^|z8LvU&|`?+8uR$bj5G+Q0Y=B;!lX4>PIH_v(vHq5 za>)MWDvzsOw2rx-zOtR#Q(MAOV!OwCV~;%3ww+@{YX>@G%pT^bF?TbHWMkham@w6E z&H^62wa)dN#D52%Q(=|sS4r2Ti3(Fz-DzEU=eAVFmzu$Nms zHUV_-TN08~#)D;p$C;D6dK)S^XQ3|IuLLhG7r%aLJA_^%Z_1-b?QK;r@acYssZr+? zBhfT9W&QU?Nxa;f7{*yi=%z)_0y}ri94yQO&TZHj@N_dw0I_s90;%OyW;TV%fjsm`!^G=scBOTDoNYRg=Il5drwmR zD*hnrB*AN>Zcw)rK>YoiG@GiSkTM6}m2+$E>2y=yT9{D2-9A#BqtO=5z&08-?L{4W z>F9N0rnich+mvGMYX8*2*<052OaGi^N-vz3v}qV;%0K-55rg!iNw4*7x@CQ*(1__E zd-=Ry#$T%8n_7VGJ_O~zkzr698$rwt^S;puVY0OSn=i#x!%Z!!sNL_MM)^Z3KZ(nwE}^Y%heuoM079N#XO_7S}Fm{y=vs*A;We`vHDH zQSqey;yx&g@rK$B(>tRqflb&*V=_)MKp0m1+y?7SKN1cCy$r$?4Ski$T`@RTdLX0g z<8=s);=+`A^mbaK4eRIFC_kEu1nN>&bgn|9&8fKIIyII(IAr-g4ZPdcvngqw>lo`FyuPdP8=$VSy3x{8#Yi+vBDTlf<3eWB-Nb@fBhsz|En~!-Ta05P4y?V!?UzBXp5VsiX8B9-kqa~#@YASl3Y-QrrMzRD?h!AaM-WqX? z%rL{^X7^dMw%_|TXeHvC(9%~yMJdRLKMpoDXvq{K6|xlLBNYoh7>zF~68NJs>OSW% z6;O?NnomLNFDp|rd4BLOc&i>sKaJg=jISa1+*0u3nxY)?mIPL(8yHEYGqVNB(+ABY zV;v@)Fei5Vii7L1a6r4Ez{su+x3_Q(R697<{|fj)u<7|4@a2RdDBwlWp*3%D#3ll6 zFWQ+@`4a2uNJ%6AVihZr{Fi~%^>aAwBvCtR;pSE6zhi-7XG#wiCn3iq6#ZoYK0UUz z==F~)-7m$L+ZYO^c_PSLPO{t2y-pOZ)YdaaxBV30AL1%j2*%$|5}@^PaUBd=ln&P= z^tqcKg-}3k?{aVfXUSijZr}NNV!Y9er|1wzA%Pz+WO(}YxoHxnW=pyX)SrioDvP>7 zx627KD_>J9YLDJ~CPdVu+N?NyeJ@%2e0>9AH#vG@y2v{24n3YL5ZP%tYfn=_Tv_iV zbO%1w=W~0n&tGB^`(9hbmC6AGRRIhZQBgb7d*1uK`Y68^wn zMdHiJ?|?-DZ>88d)W>8#>Ugs^k#d zULE7wgZtD*@~!K$&E>uoR5YW`C1Md)zR7{}6&eic_ybDVlpU?F(HbOLT5CD{D&4zI zc=W;@I%q*OR>LrgxV|2{EZRWpbA zDo}J;+Bb6IOr74y=`w|55Sd6zD07^id9f_V=YyOZ1kt29Dh;_^7dIV$`;ZgP0#`P_op7Jy#ZU!ODErt;(UetR@i>tRFIVeSwrXK@IGe` z_n5D(9Av11!SD;Gsa?9Uh29a>AR{zJw&o~Q?JKiOMjY?NKkRn>I1^k(Xr%@N7R>~t zO~DY+5fGX_{I_j+QSI5b23iA_x5K>C3DdpU?LV)E3TEy!0Q!o!7&H^ji~ix(QzPUV zCZHy?JgNQ0Kj3PUn?<8Tqyj2+TbkRCG9%gdfKa8^U<4Jbk!}Y|(rjo{I#SU(iR_wE zD*0$w<+M%+`I{?eL(x(%I1ilaWb$0h8YYcg79TWS+z?VTtCfQtkZHR~Wq=dkN7cFunU zsGisxVIf!I+e<)obl8~oBCsE3UpC!lT34+wc`JIeCQM(i^m+tsGPXM+8Vsi(TOJa= zOz#URmTr$)P~)w)@e6vm*Dc)6T93o}CTzH_b8&qrPT*oqopdhvHQrn7{oD(fWaa((ozRb(D$|c~4S?2Mt{<|)j*1h6hWoUm z-8sT{cWs1AjZZe$$AYLWI*SIIQ!ncuVm4+phXH!FhCBY}m|fKLI9IEl-1+$eh|N|^ zxl#I)uX2FcKr0BPyu(}y3{nA$1+mmKKnetlbN^O*`K8t&3Td3o8Uwitc|eb~FPCgq zjt%W9WBo$Tsg0D$m#7q=NKmf=7@E*xzi^|)rcmB{y)ZQ!OpgPJl57P{1(vT%m+yu^$0H@H@Zo56M#G8je zaD@G#M`Z>HUk5mGTY9nqRM!?JfBuST+CD#A@Jg!=0m8E5k@#61`@?Tu+DvD=V}7m< zU>+-u$3QI2;-kf}wZ8QBAcpb#t36s8kT}k{(zR@+8#6@wvQJP|+!@fgsa+$$0{82P zMn7+fOoDhbuT3fv1_-#|PtZm(qND9|zJnKl7RPdJ{LQkU#f{Lzot{dMH}BTcbA;d- zJZ|0GqwY29QiiW)%=Dppi7Rd-S|lvH8h#L0Z(Uy)VooB1xQ_aHZ({TVN|FOt*{Y~n ztgD?cc0ZawNlxx=_@@gtCKgVmLR0Wc6!V_>bk$d-9yQScob*&QV#V)%khru%Ls}_S zz;^vzav1lATHB!Kd2Ogwu=>`GA;c}~H`nSdRve_x(Mtd~UAOUCqV`hoqDRLgM{Az1 z49*!k$S`GGGd4}5t2j0RnB9ict_wMo^)NH>5H-rWXPRy=xROG&j@Xgmz?~$JYMpOd za`Mmd*1Mm8;m9ds!7Ry#^p>I-g=y~_ImszC7JBeV1^m~I22yB>XR+_h#S40ILt?4% zlDsl-)XskBooEHKjN5R;ts-B$eUGycjoM7AM#!ja%62)u2P`r`adpDM#n=q+`J?em zh6X>xP&~gK{PC%>_gl-?ZOYXyGHr3(+pF$giybJI85?>*64>T*v}u^fGsf3jv$PfD z-=eaL#P#{wk#%b2F1KjQq1lYA$D?Dtx&64T$w$@sVvfoNI*=Tp<3|%h;_^-IDn!)+ zfJkb8tHVwlh04=SB$6hXl>704bor(Cd*r-3I44i$E@CUg%+!6KufmB*e~43k1{|zo z+m|cQ%8xJjcQ-l>{y}ig*j>K2q3V%wOB_daZ@Bq%Q&8J1;YQgvBKf$=Kg%Y zPJydWMHTp};38BTD`1(AiinqmHjp!pPDB)^F+`HQnrGd#Jjz0e(QKyTYX?Z6z44~H zfApN3<`Wxx&3QM|0XU=(Kk{vY&J=Ko*%DkB>! zI|03niLIHlITHaR0}Bhw|LOj(IsSKqfRT}v@&Bf;#x#Te%icnwjqb7{Ab~;H-r3m! z21x@1%OITI$J$2bF}HUkM__3OZ`&UT?Bb8z_L}SY(|gfXVD+x@a=E+RsbZ&131zD) zMjZyC00$gW=iJ~323V}*ip<6VfP=GTgM*`k(bU96mcCZI%=imVO6Ak8o1~i`55mW_GVe>}Xk-l79-!X}Kudsfeht+O^u53&@L%lR&B_|1 z830!c;h8>+Z5Zp+^cDt$2OCEqRe<4{a~RYb)ESH?@4o|>GGIA3;DBF($}dqpz;7=O z06F$q-_j56k2n#+`<%X$v~+k;66ZQFNGqUv5RN~93nwaDI(IavK3wZ(kohe@2+vqn zS7s2-G;J=VU#cx!e9|&VI=|byo8Lcavv_2fNia~(?*-y7e2d&V4K!;~SO;g2|7bYT z{Fh09oWQhscRN8pcL$q6gtq#1euP#C>yw{xY}MM?>n;QNZ*&5p8GW2{WYK@?*8U6t z^x)uO0BHaK?|1;tZOtZsM*z6+D`Vhg$$@`&||l2L|n_eUmYp!H7b-vtzWq|a z@(BO@sQ!qj{#4HYv=XwTf`;;ZL;E29@cTN5#|Mt=Mw=XU^yjqlp*(g$@Bb8E{QYWb zspg@M58wNAMbkf?*dzjNa#3d{Cx%7`p3-nZQh+;vYghyrq__H%pVD;R;(VL{0s^oQ zD9+>1PdOulj{Lmmq)jdUz9R+lNZY z0d=$Iv@AfK|CFWyT-g{vUU7ijZx_JzVI4-_jq1I>0bDQmW&8*M0lKF95c$#lbq@9< z?lUZY@kt=`+rHU9iyU36`~>6xxbN}f(fi>(!M*uL4)E_eQ;z)hn}Rn6{`}`E2>xqW zIe)Mpd7N@`^_c2`=doV#sn7OS`$*pN)bRkip7;sy{eSXy&wjOk0rR4qe~^FIe6%__ z_{l?mIxyyj-qC-bN`QfO0#Y%am=UB82)Z)!SFflh(rl}>inMvwd&&^c%ssOjjcd0u z0T+qb&9*xdoDy-B`iSgQAzwQpbFpq-Bss2SRlAjlLL^SFG!trQ+0?toAVuun3aIF` z`;xb|_A(rTYOEzQtYypYCZpzARkTyK@Cp{$zfFgPFk)gweE!pF z#DpL`%QF3Fg($ZiA1h}aVxLzGp9_9dckE;(=MvKGzU+n|p}Eg%PEPgkT9cnVJ@Yoq zaqD;=PnsV2OK#54ZJ@j5VF1l)1@SSc3xu_dSOhbpu#d^3%CQ%rwpeGPe5xXPB_fun z@hjlh6-xU$wB_ruBbr*KQGQ}E=9MSiP0UE^Evjfz$x~2;#eVp}>DV5+{e#^?_cpOh zxeSQlK*lvU95t5WoBD@k5ES~Fu|{(iO#1oHINu2-T=a6Q3YNb{pnck0xl03l>BOH= zy~S47ioF(yj26{)cw*}{o}wm&W(Vz!CC~kd6)Q|FH#k60nZ%pwE}G`e#@w2b7ohJWyfoG zUjtG5CsCD|haENZQ5&^Qp;_(*YVj1e@}EDqE1Fc1kfY6!HXfn_IYiOJ;CHC@KrTVy zwKiFzibV%lYFCHvZJA*Z{d)ggY>d3U#5b|%g_d$Q6-lUk4Mx;vT6qFfkH)PDl}o*? zQaD*oe-0*qFr+zBe~uOV_^K#$P;aSmQn$FPs1V*1*0#oz^_HjYFx<-=x;K!TYvGKh zPmf`xBX-74DU?AAoMC;w>35e386#%dvX@5ry$3{}qNh|2QWA~P>TcR01`GohGXBlJ3bmeaFM&}eikd;zi%=fM1>t{1ryd8 zl?;?|=FG7M<7+bFXQXAbmb-17l+!mY75fNWm}U98VU{McdJ|Wj16|w6_^0~Bg zX>!xRU&>%)CEJ`{lOllrp>a;hJgzNkw}bKV=@wu(*!c07VbzX8bG+;SCw)C-J_>5h z6;w-XjL$4j`RTaJiL(=pX>fLs0QC+NXJ0Ff0EjAE<0)7k|LxuytechC%nG?VWlILa z&!{`gB*aus*dh&y#&fVHBMLT0_R`BOm9bvN*@eov2Bp-e+hO{T=cp*R-ed6Pj4Vyj zBf&-RdbBy|f!sGlu+`=Adfd>k( zIowsDMLXhkO*WCFYFAP}{~tT?{wbNqDhmaPgRj%r8tF?d&WfE*sBj&2`rm~OhDQXL zv};IoC6Kj49|j4>lwXmQ^(z2`syw&b)}WT@^>W7AmV2slwZQl&Uta5`Rr^Ku ztagwGONjPoGJls3w;7nU{6}Z2-fTaCeMSqQ(8OsA%{m@nvRJt>7(EDFUj;zE7HiI! zkx>dsZ?UQ{Zg4+TnWGteUsO*Xz6 zjj&z&dIkKxeZ*|_4^-d1iP9pILoxw|7uy-0!kK{BC-f`s|hvNp`Q>4I?WsezgN9fEU|~O8>sci)|N=dNT#vX|k$3FZA!c(_L;i)B3WT z$1v^=hsJZAJP3144{5>-v^Il_D;-K-nt$mZz}$}367o;4lJ&;)bsDyc;5nt6gJj`h zka4*V8;k=eiLFJ}PqV2ctX*tjhX|hH_w%4mO5(cISQZzmP1y>Mi_1}0r=l^q9#|V6 z34PrPiu+ka(KQMM!rQl{v8N?>ljX|wC9lW0aH#&C96W%}ZvEMrH~RjA9M3AVaeLNA z^g<4ALEUWi02P!?S!*Z;L#->->)>){Xquo*3e1lve|+Q{2DF!A@&K4E0ut8{NzTM-NI3&Qu^9R7q*S zc=7W@Z*bVnv+bV;a4J0GY;D<#iF$!l?&%Am;PbCLS3kerjx%zDU2~G#&&4mJFe47= ze@@ctG$W``G{u|UzXFFwK6(|Gy6?Be8-}vtJTUccg#zQU;cvlC(Sm?y`R3SK)Bghz--$1JR7jY={+`rK0gc1Zd+()At| znmH|`eaK#AwP2mIL27gRI7H%%%jU*f%@gIxh>83W-;T5oo~v*dUM(B=QlcvZ24{ z@b6=@u~_RBHMmXycTh6y?7@wE$u`hYb%w~}#Q3Hr-et0(Vtb;+xT$j0H*yf!*GyTh zTXRJ;g>7&Sw0pscAiCgacj3YyczT*2W=D=TnTzzNQX+U0ykI6WLyKlx(4Vz8Zrg5y zoSD;tx>D$da;|vzH;;tzdh7uoS+&&c=J5f}2_nj`XJSg(eHgAjDh?CWd+Bohw?scU ziL0Y-oF%CMXY0RVmO_muRmN^B|nz6n#LPBCv9`NP7)4=1`nI^85tb3F;_oxidI(MGydrW z-Ez#vB$hDua0yViG{L+?!Mn7c*vK{0!IE(drvQ4FkU4g{mkfU~kut zNfixr+gH`0vm$f6lkPM*#Hs9dQRE;GH)3$;do{~>e%^y#FUR8JUAwJ|>JZSGc#Gcr z+71kPkHWjVj?a!a^VIafJ6->-u3!g)pm^|3;VkMH6RMhvZ)US}wZV3+;RP83d?Wz@ z$MNXS=3VgQR3!b}-CJMtJ^53MtJ>X-9fekj7B9`bY?VoM;e3yDbFQmlqduB{@L$jj2mgtX=!&W>A{T%v| z08v_0A4YFL8Soiuh3<)%WsGO&u%)rw(ol4cAlUTq9`Qf4j;PyKnS`|(O?aBx^T~O~ zMdM(-c&2l@d~IwFw1f;3_4&)Ra9=Y%$hdyW(klYKPp(CCFwh`#`t=Rk6sO0k4k;Vy z!&FFfe`=CKsz{8ya{Di+S%yu%IHVQkdXJ!=X0SnF;=TjL>-|d7&+JrZH z?5;|lUOEMYUkF+N9;4$&K9UQD>?Fc;>zIZApA5 zOSuq7lxqydkP9O24JE^Qx+sbeIC*^+B-9>zdBHZMLuoy@F^q0(;_EF}=M;41 z*NFowj}#Pn%ikWd6xXk{TON9`#~Yl=v`oqwz8q&71zH@4rgUlK1RHSt)gek4YO2|K zwwO6Wjpm3o6*)>(Foc`n;@DrAN&5@obc6B^euil%xPOEErO&u8?UnxMFFKDfUQCDL zH!TJuC#MYf+Xil^KG?GqMyPdPt`kq=_O^)OJ>v3WusE}3GwlzwjvWdkP zzGB3m9d>(pMSQ7$fh(`580_;C;n;Je0=3r+o?^qB8;gm_vglGh|MfW|m+boLiU3C& zF^brutfj}US3QCH$XUGUXUSmQ#O|pB-GKC?wMW+Rs0#=0JgB_VUXJ?!b(=#uj;SgVov&(=1jDtu%sr(6-*J>vJ4~GSZntz`?ABQ%TL(*S^=ev`_-Bdy>Kjc10i1*gg;svv~ zD`4{TRGXy@!<;dkj)6Ti^ovsf%Fi6$Kz3);{&)78D^^|lP6*5B=L_2}w?Tpf85QR^Yz&jEZz9c!F+o0mD@IwfrnFE#A>gDJH+#O>I9 zE6P!(do&g0;4((USLkc@J-B-&n*7AaW_HOgk3D4?^olp_g)6^97}7|UNoCyp6RHj5 zLQFLZ)4|ooH+uV4x_KYm6C6MryCJX9^T4L02rXfuk*E$iTzw}^&3apGP(Q(qIU&Ql zQ2O4W$D)-n*C@XhZ9-Q7=!~!Xe>i)mAkm^`TeEE2wr$(SF59+k+tw~~mu=g&ZKLat z?%Q!LI^sk>&6sQDdRt%QjGQA!Is#C?HbjD+_#_?*sDB~_PWrk((8Xn{L_n`wjD&*2 zxNR=1mRGg)Fa&V%lSRmOT5;GGI!5}88H~*uWYGC!g=Z6JPrMZ6W}&EFdu%S@uC}WC zYb2~p_5SHgu`fT)s-tt+F&lsAU7}!ZK+lmL1(_P*DYYOpnvj{G*r6Bc+BW%IKKg(# zP%FUIK=UbU2Q!{;T5N{{+3$Ew?haD}bw;T-uTdXUjkIbSo0y7=tW$(vtlVtA5-()4rP%IL;e+i zU!E$0WF5|gNVJIfk$`WXY?fy(4Dk)>`{T)v$ytRmpcZ*kwmewl;TF)(YpFCT#FH;p zPb0^h4j%aQ;H{%me)>vv)9~!Tz0T=jsRYKTO;Ier+vM{=oaTNCor6*=oT@bi6lCK( zblkC(uSvP4V_d?fd-WcOe3OvwGwWbthE z$tV|DUcgv<;acM%d#)IXusTM~610XKg2Aa!698ViY+5>Z)P*b>8`PnQgd} z;d@;jqpCOwz0%)c>e}OXB5!+|T(;Kw4ae0sH2zRQOiWpbsMKF$rL-YQe&Pkrh$hct zIsh0Wde1~p>URphVYVxU^;-qG#aoU#x93wULZ&z`YE3N=50i~p!!gq^P>csKtU!(V zPS9vQbt$v@_+}~Dfgap^Qzht8KlY_n_IT?gg}0=!D!EVJJ7i0-ZZU~qmcPyl(#L0* zMdOWClR&yF^KrzEHdl%q5S%hwL^xf86sW(wLO$QupVRp3{Buro3xb#)YXH=!X>?^v zb*aR(oieyWdWOvW5{B`AGqnQJ>Q6fbiZJAa6KGw@^ID2{%`+J|PS3cMmc7Cccx0o# zGa7TIZ1v%j%qI+y9}jrD9FWhJL3#}uG%bnWJ^25EyxJS|skWbH`rV? zYkgM;ni^0ISS>j5L=~$Jo*g_&7Z~yD&O?TmK(;9_vX7UHPCR)Ua@4s zxgrLTZ+iA{HA*C04^HEo{IjPCtabp4#^{>VJa?&z*z-#LqT^@aATTKeGm8xw04fQG zAF_IRFJAWxH$Exa-e}p}_AMk-lBM+Sq5uL77giQqG0;}*AC`@X%pOMm`_*kl(%NQR z1>u59yf0Riw{30mAo9YR(gtVU>C@(jJ3-EXp6&>wV(gNTq;N;(tFe~J^sYfOV^~jp zPy-=Oz)5mZ=Bs`;;G2C%Y=#E7Z}!;*N8V-ndFnMcSCq;WZWeq{d`&TxvI6_89sU6L zCYB}&7kN(qgWpeCr+TIw-T z{tt<}XkBO&1~<6v3NdrNyQPXT-HgG*l(^PY#@*d)qO_l&n^dNL$<3{7*KMJbdO z?cA-`vQR(a(iJKvGp@5fNA+e{7Omqab2YQ#r$;i>>ZXAXZDvJ}0iXr4oqHVR^-i zHvKg4RLc~*9s^*JRja3%mzp(4e@A4u;;7$^E${*4y5pwC8Ly;SlGP~m?sWUCPC3e^ z!BoH7a<7n%o!Gie8Sa)CUO!=@lH~=EW-iCE1dU)*r^`5eh0M`-E`ov^!~y8oqU; zb?bso{rz_k8X<>V>`JBhY>%&F-+*P_j)WIJnjIG5y*L#k$#LSEOwo(ja>93#pI&$^ z8fp-{A~TMC48s5dUDket)?rG$1-Z=DVKqkV6gjZuoo?P95qIqwULLk1NrESbPS%D10C-=2!iRnWZ74(<_y# zt%Zc7FbH6ZIpIsL-l+4>12R$4?>HVVUlEl4$(`+Gx|s50WN*9;O(&cl^Sji0LuN>0HV*<3)6>7gUXI&hJMG z`$|nHe#+C@Wh?2z8q>`aqbb3qP3JNX*EnKgVz9V1mSCBTxGtKqC^=AIj|g#Pd|zFu z)&79S`|jwp*^y4Wo&_sXD_@K14MW1z^&K?!2$F_qj_4>bE0}jutfirOZrt0e3ArJC zzzWsL#|!b`klOF6Y3Q!4XaiV{RTGj1P1NvMoVy24qWtfVcWBn{cFV3Z@7T#1OVwPD zWEf!*823-$5NZssX%U}IMVItb<=F+-JqHlkwTJ_`TCD-6YU(53b)}V(w!VWXCsB}j zNGy^GDx#1Ri=0lf?0YP6-$plIVbVWS?;Bw)s>zizfBmu;o>8DJ76e*`-eI@6WB=SS zGBbKTL3$Ry($tk*(G+g>nytihk=^Xw->S$hLSM|*Bnrq#Z%0tHkNJA=1m4Y!g{Cf8%=(-2QrCh6fqBdG~C>w zY{_K!#(k#p3@Hs6rOhD-eP)^roAkV-rZ;UKo12~0(;NFmDe>zwvjy9e`pKBjCNG}M zSR-h1J)yHCBi?b{ySJ9`f66Y`I#BGpUNgHnPaLlQV1^loLs_wqTvNcJ$=hayC=HYp z_uf8uN~kV6P-9#~3nK~miIgm^MM0Csop+!(DbR>^X$*BHPUiWznGrS*evqH(0$(|Uo@N(k9W_C>!ghHJak=MnWvm&NtFKPx}Eo{q_ zFhfHz)TS$Bo}H3Urk4F=`myaMKb5<;nEl8X+eW-;*ZHwhfo1Aivw5%B8*7DX>v=$~ zgXrm~aN@}-ORyW{tJIX5m=IG#E1_42?c&ru>n=7E2d|3Z#U^jT*MMfz>`znUY^_QB zHU6tJJ~ppUBo02hHegoS5biZI41gNrP>*5!h$8}anLah70J$bwxzpBq6%;x^!QwUG z1&?!m4mAzTB*AJ*)cG@L`o4>MHG@?tFI(KC#RwIuv_kKT#5a60Wga&YyX6K@8nAX} zAU}}jmhjPz-ZO;Kzfup`0piy9e38oZrQ-Vv$b30qJ?9Te=&)4eq-b^&$2~=Ny=lUe zin{rl3-{A7!*1}Y^cnL~6uU1`?63W0H9d{Qq3d`DN*p^)N1xVikk^^pSb~-X1oGw8 z`06MYYhQa@rri$;Tiz?fzNZ^DLtiG3b8<4gFSXB;BWr&A=>RKur$da~AwCTp!vVwa zBhST?&Cu5(mc^fB{EGC!bzV0a$sTIIpP;{huLAqVA?Jz3&mxW$E@?odxb&SGt4aA8 zyx;c4;*jCc-;8>P$r{6mXM6b`Po!8jx4zC*RC5UFXfy21h0ht);HdgXYgTL-+MONO zp$|ISy%Mjp_V@irnO! z&tn>hg{FAEwVNpn23lO3JxWIFA4(_1oI$216_OsAUVc~IvbxDWN;woMy|4R?erE3= zR~0R!K^T`#!hVVmQGZ}(_tc!f8)F#~eF(qQ^mH7elm?1Yp*APh&5_cgudgg}6d8Q# z|L@=ROes{33{BYFrV!=X>?)C5W{~K(W6IM()z^bFnxPH&6Syz@`g*rOA4VSFPC*F%5@OnW zr|s-u{D!ms^wpUj!?UfKY_aupa;~oWcjRSiC2Vf7E8Vxng~3~Cb-)e^;F z{&O0^$6=>YBs1s53ll_W+*V*AajmsLO%vT#^k9;CnX|D!Cf2;A47W^bYDbVoVoN%f zwVSz+r46?t&%~!_ZS-i3x|rYn#duGX@b=Kv;FQ+c?m z)B6aNVz*kOKV5vZb7tSD`wL8!gnWGN%WaV;nhF90nhcj{Dl9SK{;}RLK@jxi;h!nK zbLIj`1@Ij|px}B?-OOXOPU1wr3!PLMd-h=-Cf?Byv-SlwG>@t!J^fUAKk+q^M&1~+ z>uBD83}XfAi#atx(GkqcLpN)6gMYTJ4HOaQY)xLX_$)51xnX}wQuu^!((Rme2eIfh zyqRdp`6R(wK-;Ts)!SdRvk&xT98KIf8nFV83(kpGqnvlpeEQ#;=yV~m`1zoc-3*PR zC`^_%MkouA(s-Yv#ax{)!k=+|`~M~W&5!)`qb#UFqVNo>l(fq>Ab_C(z5g+dTF@wq zY*p-Wt_Q;Vao#^e0BCy6Xau#j&^pgX*25(8k*U zJ*(M~RDvarkZ{5+FmDtQNkP=MQriyyag`7U{ztW;LUYdA8mkj=`##;S~12uX*_drQQ{M{Lgj_~tk_9l&`Y%^9S57F zibMH*eM;UEaC8f=Mdc`L>DZHM&Uq@WK{!NHOR^~ey94xOq4bHpf6ODQQW zX-Uq>dy6qgiM-{n-$#ezfR4Aw_Yj05Ge$wNb8AJb;mu8X^OUGvk&Ro<_xw1Nj@Cab zhe9Q!W(&7eeVW8;Z!V^pf4A37XToI{klqeJ4G9|}4hQA734Q7})WC*E%>lC)9D zk$BEK$X39H6X^Q|#~0QX+%eYt&ax5tna6+9B=hELvG;LC=MM{dSIwuWc;$AwZ*|Jb zc5!uXD@N&hChfdIWg}h5Sn^afS*;LNntW=%bS);=1Ml=hp28+>9~XvHT6U3s!p6%w z8DT8$X=Px5d^%SLwR3NvYU|LF7+GFVmlhx{ETk(=4U{iT+hi~R31sQS$Cv;I%0LY_ zE)xxx`?x^d4Bi@9jbG~ANyhV)afL2e5?=4Uhv`!!ySrt}C72|hBpcMh%*HyqE>$xH z1K`4tea8u0kYEb*E8ZWisN%pVkI|iMqO0&rb?IX%O!`PD#7;y~1iWQ|N_v*}T{IU9 zcpTtS7W0A+2FwFxxWBpsVz+0d|25`i>7Lwn;Zt$UWYs@nCEs)p39OU!tsH`O0Y02H zOm55C8_>#r8qUHNq3ewl=SZ%{4aCMQCKueeWc|(34c-`pY>zE?WGRH|UC=NT1aKpd zeoluOK`_O*3RmC)ams6wn99x{hcpJeIabUSg@jVA9x)E_H4+Z#p($EVobnJC3jFpN z)nx`Drsj4OrHR#iwt{OL)Bm+<3}G$p5y5JX^5~CF%W^iUjNG_zw3xrQwobg?Yj_G| zMybJYx`f7(zs>wQ!1tQ^i- zI=Fn1QBa_A!GZOGn_HUs7wIwAE-+UmuKYxys#ydRjGdAkJ%{48XYJP{rc$d-J=L;C zcT*RiBd)H>M>eVcv+EoFtyCuWsR}qkN+Hh2_++x>i4dl7ohmz+HgyVC`V}ajs08`x z27=@IVyuZd<=UYa2d_%Cw)2;0HlGUBM`QI5M`79zYR?C0njl?u3($wKY~o;XFSYL9 zoes2mJ#X!)kLRSKbCc2V)AB&dUk>~BJwHAQK@vNJR(lJyAYvGG zJ7%sm^z9Z=^;3aCyOh|*G|_b!bY_DBw6CF55_xn1u2ldLquJ{}ju5Rp;Xds4<67^c zl}n8YKQ*~^cLBJ z+imF=bZ$ZOzyeq^Qmq(-K&1|etn2_dG^yR_0|*f`il|VpWIv8ec*<5Af>e2c`N!RM zj~6Qf>X#aL<;5{)i5+FCd>mq`ZWd#*k98J3iyl%{)laI1bxWGXuZV25A{^yrHDgQk z4L?Y05A%OeTC@E3l-307EKCG^d{9o#jwS{+Q100_s(rTm3@Du^)SY2cR{@6HBmq!_ zYmf;X)>^2I>(nHFu_2LA0vo?Ro?b~?t-SzZ@9D2 zCn>(#ctPFVG?cYt|6b?DP|9*n=H{(hZJ<~!)PFdqRG(LP)g7wp;Lw#|{@F=t^r*Fz z@8i4lHS&#%Jh-lnFWM^Ma#rQtC$Ouy)|cFwX4W!p5j{rxV!CRxJSQi^<2-4utD0!! z>>uXDcu`t)M`)=%Z@7A@!(9XwYG|Np_dV>6D&mEw(e=ybcG6z@AWNTFd!3TY?RXxr z@P-(sx3O5S@HKmBnZI0ocjUr_F=oJ{L91f%+L(Ly+s1>%_Pe+nU-Qm}NwTGpP@hXa z_FhN(yS02nmhRN8|G=XM@|W%>OWJ(MmR|u``bgP3gh~^{2~(5C2&HwX*?&wy*}xLo zz}7(oG%Co0hDI)#`VY<|vJ4p|mO}s@6z}3?d(;vug~Z>W!u^@%tELD0P!pV(l0(M2 zVlI^1_&Ts$1YIEUMquz*$PT`*X<7$S77p<>HzX= zaKwEY5T4Z}8GllT0(lO2ZF&D3@C>fl2LfhuRA*SIFdC!^>Rrle7o3wAvshubx?uFZ z&WPW;innpxJf4!+edP@XC`TX)QPuLdCzA9&xz5)Q$&PuYDz7{x^Cy%!+BcJ5_gnP1 zcF4N(7ys0?*O$A)uiISUadTTM*jCWr7PITdeKwW(KHc;m6TyD~JZ&os{|~sZ{q z`0wFz*-W)$SsR~jOCnK7g7f}zaYy_=<6=!-Vf}21^oxt-`|&2KY2x>0Q{R@(GRjF( zd6?dC@?RXY5Ax@E)}dvXOTI1RtadCs8V_ak5hn|=nSi$DN@uJTNpn{`bCYwx5u(@c|L3Fm6)@<;8~SlyW$SZ#7k+%m)2aG(mRti`*ldb+K8PnQ1JTO{p+ zH)?wOryX4Z>c@bDEKSPH9cqO+DvgPGeYD~(+6EAruxv;hZE)KVA}S4BYJDAtVvW8- zoeV=pvH2jVC&i;e)CHZ|N*O^$Tx4WV$8}*&7&Og+ISpxC0O?YJe^@ZYa&MLEeELvq_KV5A$9(-vlAL$$hoqD`qq(?S_-5%f1QBP|A!54a2ZwZHy*HlbB z@!DpgRc?;(9vF}GtrwjnRe$k{Ee<>*a6 z>pQI}r8;zJ0om(p-OJXD)fV5t3A(KjadmxoIj&k4791kL$ToZjO zM`r0C8D^G!p|(IVc;1fOeRo)xzux*P-&@Y;*VIYFD7tlhC|E z)&^uj8rBM$;vKM#;%I~N1`U%&C7)y6B|m#cuM9iI6|nyiin?7Ff%yt_M#YoQWQx;3 z5+fqR{nn;DZR*pL@*KutbVxm=Bp;j_p)|0^kDQ)gtvsa(>59Cb_BZpc2fL;slYx=x zEcOCuX(i}7&9Lte(#llEeNDdQd@ml{>8U>+M1H9fy-iB(lh*|0Ka;#oiVezhM*1vX z*d?zH%46}62#V`Ae|hD3mGOIqy_e4o;2W^>F&$LT!+cvZ69di5ki5-^2%3>W@;05{ zWoCxuWB#|xTog1D4avu>ahov~G&9NcI*HO}h6&F%A#$rh7Btf^_B8b=a*GVW42}HE z1vlZe(k6K}Qit!4;p1XdoAkblS3mLd8IJ$09M6kB$A30i3-Z5X!}wpQ5w^2+HnDYf zB4GM`s6;?7Yhr9+AY|uGp!K_FAYfx;B4FoaBG4hAS1@q=4J2Uye*%?Eoa|g2jZB;f z*#FZ9_xq`ehrP*v!puzmlbB3wjqMCAq5c#7pOuG)fL_eP+S$bMceOTfHW4u~vNQgT z|Gzuy2pHL!IRB@7w)ICkZi5Y>`=)l5mPLWOaGPpY7>Y!6T{;Tm)F26%c8*O;WBt5- zv_p_BM(|rfccf$daF; zI4vXsf2h8tqSNY*Pa<$gi7a82F4cjI>O+SaGRd)ivOgQbLN^?R0JU#_;M{EVkJK5u z3_jV<}l_Eg(bz~4yCc7Bi7nz* zxAthz0InO9f(NL>V*}7mo{1-=N+>ZT3bzpqLtpBUFTJY)b70%9@DTcge_bKMhBZKR#2j)qedxuBT6W0zjA0TFOCpPz5-P&I*Poe_VZ817nTi)2B^#0^b zVn6kZ`U*Z!Z9mDQnC3(mcZc&$h;ITq#?p32<<4{?P(k!3!6Z%PV2ONbsA-+qmc$-S zJ`={;{mWdMb?9R5{_{NjAIQ7{0g*T=g!)PCfI4D21V&poDg=@1sa%}xC5S=_u%0r{ zS{!sKp{IQAVNLNAz=2ptPD4w13Z*o)WVq){W{J2za(iNxMzZ>FOeh9UJjhBGvCHj8 z`yvT8E!i=bu3Hzj)3o6#*je-(ayrB71u{)WCx#m^+<2;%3Or1(H&kJ$Eq0=aBRZ5?+K*B1gX)ogvb0-LCNCU4Poetqx8t2%TW{=Ygu)@$#z6qja zK4IJD$O|8&*~(@RQtyaAnw_sV=7o1s9ggN?@W7R`{Hk66lwoH7+~&K6JcQ06Axa*} z_e~Vr<7%;82{|RnO<^fxwO*B6N41l%G+(VMbmm<-J4QmX)*(tcg3PO9sX-< zvSIVUx&Lc<38N-F$J|n-D#=Zu@SuQE#@NI!Kp7Z=?WBKvuMdZvk**={1KOnU0{uA1 z$D0OpS5X1OsO;h+A490oz1xhj5xb%JcXkhD3E5#xAHj|;9a8b;vD`T#b#j}GK`O1Y zo-%=)_N8ru%P79>2=;FcG%yK%i$$r|1}s>!1Fy~yUXUO^L61DT@D{4(Z5u0@YaMEK z?LcVP(nI>hI*c?)&)_D5Z6?3-*)>R+3ux~;i>>gT!27zRoz1;V^bA&#yIyz!v6r?t z*XZHGG`3i2Eqb1G;RQ?Ioy3HDcfc^ z=q*tZ%Fv28dftu`Nt_qdsvc-FU<*IvD`mV%SSi4$`?@-h5{zeYN;#UA_cUt8)%F-d zMGI?>VWW*4MmCyCVJk}T`2^0>u8Jil7+)LMJtJwV>%OCVFEXFWN|ePN%ZlmH;)~H? zY%*k6kqejQC$z`o158qm+9x>3bVYjeoSUtZ!&(Vt7DGe_p8GCZZQri^OV-pRW$H2b z_L&qJMO%{Hb6F3Vp+VsUxN}cB+!~+fYUiwz`+Ic>oZrZ|Q|fe2g8PjA1USh%8Uho^!#GkZV;Bh{^Zz&N{--$d|1aw@GX5t&|9_?3 z|8CKRiRFLkTCc{CO)GA`N7wu8!hQxcgAEG>0R;fDwQ1e&ukHJu4&NOv_|I%nhv=M@T=8Q3)&v z3x~rj61bj1{$HUoBe5asw+s1#!e^~>p9g3mu+GunJ+M(^AZJTZ983u$4(zgW6Y3Oy zNvScZtFHx0WR3D=HK-7?1tCd9OiFh~^ESgR1%i;LHm-UsU@>Bfg=;?@uU;&mn4a;nosT#<0JG!}dY@jS(mu(Gp8+ zO8G6sQ5g$8r9W(1ELC4jVP_#CsYvAcocc))N%LC;Z?LFp9t(uJ?$RATp|Eiq*vak| z!qQ5uam4k@dW&4EM@`+wh}1jmE$ltp5VPqV2muOgO7(EN&j~TA3XAM{ez8GFWPM~J z8XFMCjy{fk z2*=^;moOjs=if`Fsm|3I7wL(QGR6w+v3mh^xLe7soK>DV#uXc$9i}VO-cAb1d zbD}yyJw<+;KSNOW5#Q*6FN^qS9p|8*UhhdC0=j)aX`s!9>(t34n$gB{N;I00nA9yI z)Cs+Ww7Nka5i*4++5=8=N?L^}6tKPno#SJYIFcr8xiMXg+Fd7z0Hp2|jYs1^2hE>2 z?kv^B23P9_{_Gh+>7lp^X&mWpFeRAhxVXFCG8 zIoaKECVoN;e1;8t(BwKKSR5chC099bL`DNpXc1{0CtNH`?p>k|7I1b}kF6>wc$XTL@BSIIG_h!jNqB#lr7-{&mHvP=4Y@gmeNo z#PyGG3H<}UTR~YFR)O4`C} z>}H<9PIUhn>qN6T+Chv@Qzc}!3W{WjJQI(v!=D@a9Y=iJBD(U-n+8AtJs=m!X~p@D zg0bsI&{w7Rqa{t8NBXPtf~h-jVwtlYTx@=&$m^;D`nh&e4`F zpEDafn&pjiy)k9nb-)e+yP3#PH$l02^kTEnp(j3)2nHTl10WgE>*QMOHoh*Zt51n7 z;)*{;GO$`&c9mgg3%j;IK10;@Nq0sSKG0VCKj9u>mNg zjEB6hV%a-l@PRo4Lj{*^;q9%Lm;J%^04ofKW_`YE^7{ZWZ=>2<@`SeUPphNu;Gtx= zViSh(oWdp1uob}yFo?by;pM3y&(!j}UiG$DVFlh1T`buJzt+mT`ZAnFzz zjD`E(zItV^c3q|iNU)Y|&mawIIV1S&*TizYSBa8A8exQiX`~U(`S&ptoyapPatQ}V zj}e`)-M{wHkw z;wYyi(+u|cy(Ja6z!J`*f73J*F5AcfmE^##TUlp}Y$ z9&Ea!73Tw$I;~_3iXhbJh4^<2$PegTqXc-cxUo99@dp6~nC+q{kJzF;(-`C_#Oiho zbB%aqww^m>0uZ{k*ea>BnDKk%nDLwaa8%7K66m)o0-#WgQjd}ofHJ5s&!V9q zAOJwzLLSsNP!0G$+arKf8N!200m=l(0sNYJ5>S93AR!=L0gtM^WSS?v1{& zLonRcxdC|u>H{E$gAbw~o|SulYB0otn*^kN2zXXYj8m zg4>r}U;r-$=o3tC1LvO{>;gK1mfjRlS1|P?F!kbHg3QjpF2IF)Nq-pt;~M1p$&LW~|Db!U{-ASy zqJOD}y!{~G?Lk5TWeddG`vcE{f(#%0OthTnn?VR%;;)W@zuTR~5!~><1K{}a9D;BF z=KR$8@bEZa@&*9FnS_%sg2M#^HWJDSU|{G2+%+CB@Oo@sQn#p=db=p0)c>nhzcwo1r7e&?~v=gS6_hP z({A8r^4{+Ig$OX`PX?SjxmL>V(0)u=K4;N+vr+DaPfvXM?AGSpHH29 zV+uG^nK<*s7v#}s53a$gM=dYUSHHmzm}C_XOU@h3j91!8bv)W0vRtQoj=s}2{2%8a zL&3B2Vjo8&e}EbNr1+@=Y*gpOPNmPDDxGu%UAnpY+;)&;Ln05m3z*tTqbd1By*mNG z_iha#rdtdhmvelNW}bMI4}P1N{h*Z1g{BH7+*ULzzl#ULFuRTmfSZT>`%$O8`oa2k z;dW$98chVZ4}l~-cztXgjZBu5Y)pi8gCKHTAEAz0&dISD2g$D4otX+Uy_p0Y%@$1J z{v3i*^Wcd#Hnr-i(8zTxKawUf$I9X~o?b+|pKipTqe8eNBjLiy^vZu|Vrqxs7QqC| zm7pFXANvky3)6T*$h*Hm0--fY`PsZMyhh z(aIeZs)3fOPRA}9ta^UhCpvvK+|{dsxa!X=+*nm`B`hl0OD_VxW{-=aFkH>YhEo$hyei7RZI8KK$v4 zjzK(I2`5IxL5vSEu!?3+4V-+s@MR0b_NvH7UN0$5HUUA6yH;ergg*h+QfIA)S?~zO zK-Y%K-ayr6P)h1&Pf@vngzCWmBzAqr(@|Sjp=KN3t zFk`@6P2k(MKe5guUtsD@+Y5cjQ3A=~Q8P+KlYH>W=GWBH9M2)=TUF~t4yDCL=VXQ# zi=@LI$DKn^ZkQ!0=*}Ayyz9~vjFqHqO6lUeNNbUPuPWm5xn(_?)%Ol^GE9F`^i@6@ z(g|s-v@9Jr_pH8OKb*Cqh%WYt5mbK?j-=C*GaW+D?jjt_dlWK}P{#2{oBOmEt*h-L ze`qHNh6>{D>T#*3H+QFS1+7^!W4#tE!)0C@xO@w*6rwWWb-&$h)2|NNNCHsi`QGdnck6J)X#T{Ubgk);cApuN1&4*XvI-QycPfBfWpjZ~AsgTQY#9KO}jQmPdDK%^* z_|?#L^N-i!Oq2UHz6%QJde}GSj)UeFOi~gVAK4t$zq~$8c<(L;a*B819+RlK4S;W? za?p`58ME3^97i0CfWcNCg7a!W-LHgEK^fFwV^X+6gFrQi)247)7mdYm-JGV6p?!oS zJ(YU3)_SHr1H~1#S#9X^tlIf}ZyQ>Ogh;GWUsX0e=SsuCTxltmO=_ebaFad^`~50a zWfqOv&!Ez`LmgV;JlG&AoYlhOiwt0qYUV?*JcH`d3X_smCICjAFUr)1)8FTEp`u2318QXm4rVfnREmf49pYe9 zUcKhE4h+#{dg)muHXKq?JAss2ekrKiw+Prs*?s?Y4;V(0@A;W5{4B4(VyGCa2+6(Q zDmyvwHXaE~1ey+XHgC~tg{%iu2XGdnN&CY{U9cfqA$^CXKdPa4`@XT!P_ZovD`~|@ zjTPg#WcU*UKJh?Ggx3GLTB;uAs(v@MYJ^&2cUxqE3}T5PQ@yEXExk!j9M+G;WdhVB zt0^#GkLFjdRGO7m-bb8ibb&||m^Hsf5BL$o;13=6`j2Gk$OW}VWu99pEwdNV4g=Vj z1N2uvUpPGz+|e$an=90ouDxvqas>%bP`E&6K3nX;#M|_?l$8B-w|mgH=j@+ z2vo!LZ0Fhi#0=?Ir=fLyUz&BVA>}M82QxK`Z4{k7AD6Na$JdyS{6sPk;Yt}!p6KWJ(FG)uY}*PDsBFk);f zTr)>_%+kI+)4InB@L&{#L|5Za%|BFGr-?fm{U6tFse*ak1I~#r^KHeUsl(}juJfZ?*?44jFx1rD+cc^24%?tZ(Vuax%e z0-qLdUp~MZ4n=i+q2%Ox?lBOna+ZW!gFp_Fkr;`E8Jl(8)D&O^z5GHbWkdvBCy$gR zaI^V&QS)OUWsi!5qDX_$H(W4gPcRFuN2U6dhzmy*`HBxwFWo6kK&gab>L;H>xUv|j zgy;cwrDUNXq9l}MzcP!En+^T#JZVdeIelFXJXeC9Sr)G$wz9%dM1@)n0XxHu_ZY3f zf~a4)ohlUV&*S+{q^xQY8*9Aq4a!t-G)AYneZgH@7;`88A(YPL>w37ccFZ*C)2k&(R^=cb1 zG^mJ0JeD1gI+)R$yg`p!Mr`RE;c@ue-CQW^y~jFae<0=8yO!~06%o4ypN|?!;j1lA z^Z0PdRjn$gccQUo3oCXRm!#}JT$8J2WJp%jI*lktX(ts5wZ=lJ{{^-2Z+$rYfEFo( zRrB@+;WLT_BJF6>tNVx%{k3$+#A0CS?}t)-<&A2NT)^&kJ$AqGj_i2hNdY9I(02X^ zTr;-NaMHJi9*9fUFL$YEcA6$X0)-c6H1?I_JDmL&9#*vCC3VyU1TJndAgY8h6A&dL z%v`Wn`)~j?hF^I$$hk@d6-Byln(?RH+c1XhYUcCLpyDvove6jW^5P(M7=E4~v!g|B zfXn$qhzc_Tl7U9JuDR&^(Zu+rW+#qujx>b*DS6d7gj4RFv-Q9qwxiu!iZ+R6>`N$X zYW5e8bhXdma@7^YRiLjg4V@*yt*6FLaR>d`T;fi*j^LaGZ0AAydm$NZZH&-Nu-n9B zt%6g%n)o7#ziI_{I~$~W3mGn-DKuhc*7)TFR*%}TPQ}dj;v9LC`i-qz>4xj##jCX* z*kUmTXpIJYuWV9y+UY zg3XLatuq5~Lt^aR%!9J+<@PQRy;BOjf9l*ZiZ8G>_sNM0m>fz#ig$8v#bP<>mGI%G zv=EEXPS$1492$HQ@O{{)*;PstP5vUhV!}nAgl2X?oaFdlC+bL`9We01vER_4683NCb} z4L0lA%msKBbB4YLR}Q97P74tKUj3d;Wlx{8I)LvV6ttL8jhjhDeuO}l{88F3&7BMg#^B>>)19}hvtv}A%rD=oy6sq~~H3#}0roZmEx>3nw!*!$-;N}2$ z6+krDu~F#~qpXg8ZZm`b(41$u_^Xf(&rb18iWmQ;&65AoMIusw7 zD%5=tKg*+9-upLp5(~7wLdWyElS$_bkI`CLFl1XtWGbVeZi#O<>F4k6QuEf?(_fk9 z7>gti7NK8N|3M)@*(``uuB2b@$YSGp1qumZlr*}?NjL`^X(2D^dXcyp9~O$FpfFH8P2twZp_|J42gLtX z+<8Vtu`LT&kSs{fAR{@$3~2}wBud6Xg2WkM$P8f+7zqajBy$s1=gLavez==bZ>e{$Pm;u zTN>|C)1w}>#iCCSD=L#h2%o}%S(=P75V~^8C{O;vK$lnwf2{a;S`ro}%6AV_MN6~R zmOsfO%ec5{WZtB0_fD#9BnQoB(-xb@lX;M*^8`drKc%KEw?oZLJESRpVJ zo5v&UOkO|!8pgn(e>p)u;bYO$1dmmg$CGage`m&t>gP+Me;_I^w#oy4kO| z2BxEHY3}U($krud&>N^77Nedgmrqp4cBVD89j6N(IfLtM^CppT6?x4_KWW-BY}{|= zbO6%ygP%kC{3aR{PHqw_U%vwEF^><~VMW;aehP7neTKRaIrD0<_1SV!qhj}qa$_~a zV#I2W4ZZGFO+OI&&Nano6~J4P{cWCrCL#EnJLLgm-D%K6OwuC56$gq$^lRJ^P3cV( z@kPNCl!3yYm#Os~6?zPaJ~+PqJ+9r;mQA1(Ld$CTyCd^*yiCbQejHbCcnx zBg3_k6UZxK9IxV#&Q+E>&QaE-O2Uy_4aysRq@W}8(N@X^--~E>p(xdoTbN7&*+A;6 zx5}Qjzv5l_rG6YzXmIql`1FJ^kGENZ`)THzrxi>1jDOe?G!7g6ATwA$w-dNdv1n#q z!(ZTTr{CR*sGnr{rTqxB`=pZPp%I?PZc0nW-1IYCgux#T#WljMgEH=QUp}~#^CXAF z?mv$qJgP{^Bnlp-XiaCoFkyXBLzeY#SM|Oph)KQwJLfjDq{EV&j>C{jP$F4XTiSg8nD38Z{A`h|< z_I}?#Mq~@m%X5q}KMeI~qB!Fik>uyU@;kx}Ws%4pV4b|oEDu(iWy!1peXuLtpbl+T!gTH^@PuI{mPIzTzBCY?Un`{a{vF!zFk0ej7B^H9c2@hk43tLC<;e z!#Mlw;fZFE$O5VHc{TCk$FO}NiUGPX;=)$=WK-tuPn6%$b4p8ny&5Dr6F4a#+abNu zZcI#NyF3$BdvuV7NNn^iS$=O&oHunM?1hddzPK5C>;Fs%5xCP$@k&c;sd?58uHhS< zyq75#wvjVy_&9YjP>>uG)oFFWY$ zo~Y+9^J^_-His%9I+hDG}<%YvMK%S6;h zD^I;YZq$Qg(yPq&E5X~sKV-eSb*nu%(fTy8oO!q^uX+qi<-X|!rSrlJs=RxPq3zx` z)rMaWh*c%lUSC%0;yIvUd;>-5*lEv`L_0nR7Ed(OUa#QYn{@UzLhQ%Fcsd{W`gm~{ zOW^ld414Ky)xP9zm#rWb&S7fNYHk9%ezseQUsf|%i<{H!zB6_7lsU8%Z98D(nZFDP z<@MfE^h1hVZYD>eqX$w-;<;kWV2g+yIWB6-AA>v$!0M&6!Snjrq%*lYxRkcmNvopO zb7>Ml2whLu6HkCnS#@AX%j<;ndFJ`*H%nd1s;xp6iAEn`>Yg7TvhulDpT|bZUMQ-r z;1oYZ)&CNUqO#sRO?8vwE$!F&tZ|ZsveH-~O>y_RSFpc`iB>UYZ{})uv=Wwa#oOAR zOHFyV$e|MI5FthF=({Nfv^~|8#~Yq>)Y1%X9CEoiwSCzO{?;b+jpVvoYtD4K_dfZXh|&;p&*)|bs+!ICw4L*`O6U@nm< zKW0OV;5Rlrc+x0XT;qxALQ+)CR>$Ujc%z}E#>=55ypy#=qSs)50G-t=>}H0p)V_P0 zaZu{w6RU_t>b4)8oP*0hi>8Vv-qWn81kmo-d7@Zg`~j%qRtDE1pN+1-F1JeIA%sq~Wb zZNJ#az>27E@@UWMwbq8d4R~w7cf@r@YD!1jbt%6OI1RiI2Sw1B6M=3GXP2qE+b^AZM!?#U^rD^_gt%i5emm zf^k@$!Pv5Yo#lSn(s;&JU|TI?=$4@GwU})F1{&KO*_D$Rv%6>sX{hJiYRhlD6?_9N zH+sf|el46!3Le(6QP2v9RKAQvto7_1h>)c-FJ*q~<9@zP-_b!;rs@}Ow$AIq+7jlE zscH^g^Z82GVsYpZp0B%-*|+KP%h#3zZ?&48v=}nOO(ytZW)t}{SF)iYexuN@W{UHZ zi*4%Sw$Zgs?%Np=7KHiTPStSYu^PaN?A2muc}T=+&E~3u?(ia=?BgEfT~jG$dySoB z6{bAeh5k)2YtLCizrIfBh;`q*Vfmhu-7GJ~9WU*@C@3bVobYk`U8}>}lQXmp8)}hOKZN9-a-(CuIi{{!KP(o3h7i2lOP&l^@?)E!Lq&5>qW=xsLrnGf2?Tw8+vo327yX@xX|k90wmC&`jZOOO4sy(9;~Jc;Y8;Ywvx0+DiU@Dsn%vJMS~S{h3m=BgH_yxU8tM zS$WUZ)4-nK&BH#&R#(0p-m^=3p8)FP%Kro9cP7WpB zk=z*FWKJ?|8~n1(G^k{6HQk!}z=E=5#h?4ZE##%GiSsK|>lto(S6>*;YxP9knR3DE zW=LFLUsP~VNrn5b_u8sI9IBh{x$+0Qtdp8JT1=@0-SCv8cYL77>d-i^ewz+%Qyj8z zdd&P2Md4!9>$7ryPKkM)HS*JaY((rS`a@17)!ntlRE68SB=>lq{WGNdf96ww|DOEr zr>}*`$M7kKf3lBg@t{=R@Xo@-j=E=%vXk^z!^#eKuq2P>D&~lv7?c#_|FF7(U#(8` z^~bDb<&4Z^9KU|aW4=9}71DDt@!fB4W_sDoQ)==Bs-~{)*vHeC?7O1j&NjPCwR5X; z#>PNgz4NhK@lM*Y7*Fk<*2@A*7Pm`>fJ=xNQ&QqkMf8pL=FYrM{sD)(dB#SETU$P1 zJ!h*arT$_HGy1(FOHiX14lVbj)K>Jm^ASz8>_;%4tf=#&KGrTq_Lu4rjUV2hN6h{l zObc3`Sp!cj)jdMaq6BD!T--84be{UI31o*%-q*SmbZOIHr)z@D1sD~P4^25KIg^%G z949Bf5A?%ImD!Dz+;Tb7l3(?rftr4ZoaBZtLq7BkMafN#sdj zr}0Bjg!AJ!{X;D^BLwW0?BUo86j)L6k9qDl$uGDzF3K-p^K2IMxsKz4aER_(zuPJW zgb#!l%Uwc81#N=L3Kk>Dz{?kSbO-MSJS-;-ZTT#B*?0mW104S7D=KiIw*F$}P-L#L z@;-kLVFmZ@5R>?4-jD~>A}Yhh&F-S2Te@uJ#+aP!{%kwD;YvkEW$+SsrHYT?(xIH5 zRpO2+KEnyF16`Ns)sJ zvz>E;1MQ7ysBBrz>lZ|{UD1Sx8{5M^LUw8pS;Mo8fr~HS*?RiF2+^mMoLA(w;oOSB zhiu&S3!$!x!FaSJgpqIF*QQL2dOfOI&&~CI(0_*FZE4%hjja0Tv5>%IuKopu{7H@I zz#Je*=fCn80OF#U&Px9g7tsa)#eWaEdmsToOdiDFiQy;%EyR>Cam$|J{y4E6-=>ND zAOykqVmw-r)R>kED;;Uqd@C1k05VCudlx%XMlNDcPt;!2@(y_=SpHr)yFC7&k~}H> z-F?s~HU-QXi~W@svL6Sx{k-tIC5Zs5@jK;=LAFsecCvq?+UX;KR=nqez9{cME-NlO z{J~#zKKY;m8m@s(av>zs%~>J!*Y@Kq7JDw&c-ad#Qzw;<_JP3xIn{CV(}DdVHPU_^ zE&yDTCKBrs=umw3OwPiuk3eCLkipJhdkbT`uiNJqrjj$} z-EG@s~{u^7rNwE9j)aVc~8`xuU05#*=w0 ztlcAos)R8OuOaPLTyr6m(FTlFzHD9h2Wry{=&CZ?dFJVigxQzh1)B_b4YdobNpBq@ z`K6ogYgbj*@ua&OLAyW3^N>j)zDH(yo-}_Qej(G#HyLf~qnuK>b{!$8GpIj0PRQg& z)X7)Kww$+v6Ia+P94h0Nu2b?rHIH0-7Pc@GvLeUxCLsQQTcFt=WY zR=(1XcoY!RFI`xvtzAFa>Z00j#tg{Dt~BFUrKaf286i3X?-?gOBBTz3I)2N-J?}CQ zARhIfY$3ipU0SQl$RhlvQ%BWMOC(5opyn#TnIKYA6dFUKuFwv{Z>^lxcg%Loihs%% zGj~L@w3^5e$z|)Ph<=ZdPfLrS4#-XFztSAZ(hgvUp{v~8ZQz(;4I3XXguAuJzocm)tp9gGy86mSf-0U)PB5s83kJR7*0;0w z0AOxcYdA(SKfu7o-2Afa2D0kd+8f z#L5OLYxZw`$qIG{i&F)?&5y?k;KNs{@(5Hzo05I2#Z~Gt$BXM*v^OE literal 0 HcmV?d00001 diff --git a/testing/tests/c/embedded_systems_testing/test1.c b/testing/tests/c/embedded_systems_testing/test1.c new file mode 100644 index 0000000..c63ec33 --- /dev/null +++ b/testing/tests/c/embedded_systems_testing/test1.c @@ -0,0 +1,74 @@ +#include +#include +#include + +/* run this program using the console pauser or add your own getch, system("pause") or input loop */ + +void fill(int arr[], int size, int max) +{ + int count; + srand(6); + + for (count = 0; count < size; count++) + arr[count] = (rand() % max + 1); +} + +void display(int arr[], int size) +{ + int count; + printf("\n"); + for (count = 0; count < size; count++) + printf ("%4d", arr[count]); +} + +void bubbleSort(int arr[], int size) +{ + int x, y; + int temp; + for (x = 0; x < size - 1; x++) { + for (y = 0; y < size - 1; y++) + if (arr[y] > arr[y + 1]) { + temp = arr[y]; + arr[y] = arr[y + 1]; + arr[y + 1] = temp; + } + } +} + +int search(int arr[], int start, int end, int value) +{ + for (int i = 0; i < end; i++){ + if (arr[i] == value){ + return i; + } + } + return -1; +} + +int main(void) { + int numPositions = 21; + int max = 100; + int searchVal = 0; + int foundIndex = -1; + + int numbers[numPositions]; + fill(numbers, numPositions, max); + bubbleSort(numbers, numPositions); + display(numbers, numPositions); + + printf("\nEnter the number to search for (input 6): "); + scanf("%d", &searchVal); + foundIndex = search(numbers, 0, numPositions, searchVal); + + if (foundIndex == -1) + printf("\nThe number %d is not present in the array", searchVal); + else + printf("\nThe number %d is present at position %d", searchVal, foundIndex); + + display(numbers, numPositions); + + printf("\n\n"); + system("PAUSE"); + + return 0; +} \ No newline at end of file diff --git a/testing/tests/c/embedded_systems_testing/test2.c b/testing/tests/c/embedded_systems_testing/test2.c new file mode 100644 index 0000000..b373194 --- /dev/null +++ b/testing/tests/c/embedded_systems_testing/test2.c @@ -0,0 +1,23 @@ +#include +#include + +float calculate_critical_pressure(float temp, float volume) { + float partial_temp = temp * 0.0821; + + return partial_temp / volume; // set temp variable = 9999 to exceed the threshold of 4.0 +} + +int main() { + float temperature = 100.5; + srand(6); + float volume = rand() % 10 + 0.1; // 10 + + float pressure = calculate_critical_pressure(temperature, volume); + + if (pressure > 4.0) { + printf("ALARM: Excessive pressure! (%.2f)\n", pressure); + } else { + printf("System stable. Pressure: %.2f\n", pressure); + } + return 0; +} \ No newline at end of file diff --git a/testing/tests/c/embedded_systems_testing/test3.c b/testing/tests/c/embedded_systems_testing/test3.c new file mode 100644 index 0000000..ece215c --- /dev/null +++ b/testing/tests/c/embedded_systems_testing/test3.c @@ -0,0 +1,36 @@ +#include +#include + +typedef struct { + float q; // Process noise + float r; // Measurement noise + float x; // Estimated value + float p; // Estimation error + float k; // Kalman gain +} KalmanFilter; + +int main() { + KalmanFilter f = {0.1, 0.5, 0.0, 1.0, 0.0}; + float measurements[10]; + srand(6); + + // Simulating 10 readings + for (int count = 0; count < 10; count++) + measurements[count] = (rand() % 100 + 1); + // Generated measurements: {42.0, 86.0, 13.0, 66.0, 9.0, 86.0, 87.0, 44.0, 3.0, 79.0}; + + printf("Starting trajectory estimation...\n"); + for (int i = 0; i < 10; i++) { + + f.p = f.p + f.q; + // Update phase + f.k = f.p / (f.p + f.r); + f.x = f.x + f.k * (measurements[i] - f.x); + + f.p = (1 - f.k) * f.p; + + printf("\tStep %d - Measurement: %.1f, Calculated estimate: %.2f\n", i, measurements[i], f.x); + } + + return 0; +} \ No newline at end of file diff --git a/testing/tests/c/embedded_systems_testing/test4.c b/testing/tests/c/embedded_systems_testing/test4.c new file mode 100644 index 0000000..afc12d7 --- /dev/null +++ b/testing/tests/c/embedded_systems_testing/test4.c @@ -0,0 +1,15 @@ +// target.c +#include +#include + +int main() { + int counter = 0; + + for (int i = 0; i < 10; i++) { + counter += 2; + printf("Iteration %d: counter = %d\n", i, counter); + } + + printf("Final result: %d\n", counter); + return 0; +} \ No newline at end of file diff --git a/testing/tests/c/embedded_systems_testing/test5.c b/testing/tests/c/embedded_systems_testing/test5.c new file mode 100644 index 0000000..57f7ec0 --- /dev/null +++ b/testing/tests/c/embedded_systems_testing/test5.c @@ -0,0 +1,25 @@ +#include +#include + +int main() { + + int var = 0; + + switch (var) + { + case 0: + printf("0\n"); + break; + case 1: + printf("1\n"); + break; + case 2: + printf("2\n"); + break; + default: + printf("default\n"); + break; + } + + return 0; +} \ No newline at end of file diff --git a/testing/tests/c/embedded_systems_testing/test6.c b/testing/tests/c/embedded_systems_testing/test6.c new file mode 100644 index 0000000..d82fbaa --- /dev/null +++ b/testing/tests/c/embedded_systems_testing/test6.c @@ -0,0 +1,34 @@ +#include +#include +__attribute__((annotate("to_duplicate"))) +int* createMalloc(){ + int* arr = (int*)malloc(5 * sizeof(int)); + return arr; +} +int main() { + int num_elements = 5; + int* arr = createMalloc(); + + if (arr == NULL) { + printf("Error: memory allocation failed!\n"); + return 1; + } + + for (int i = 0; i < num_elements; i++) { + arr[i] = i * 10; + } + + printf("Memory successfully allocated at address: %p\n", (void*)arr); + // set arr = arr + 1 + + printf("Reading values from the Heap:\n"); + + for (int i = 0; i < num_elements; i++) { + printf("arr[%d] = %d\n", i, arr[i]); + } + + free(arr); + printf("Memory freed. Execution finished.\n"); + + return 0; +} \ No newline at end of file