From e3af7d259e6dbaeb9889ef0a2d8664839c384099 Mon Sep 17 00:00:00 2001 From: Daniel Schwartz-Narbonne Date: Wed, 4 May 2022 11:41:54 -0400 Subject: [PATCH] Add kani logo (#1157) * Add kani logo * Update copyright exclude to include .ico files --- README.md | 2 +- favicon.ico | Bin 0 -> 15086 bytes kani-logo.png | Bin 0 -> 85402 bytes scripts/ci/copyright-exclude | 3 ++- 4 files changed, 3 insertions(+), 2 deletions(-) create mode 100644 favicon.ico create mode 100644 kani-logo.png diff --git a/README.md b/README.md index 68111e7eb4d7..c6f4ff800cb8 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# Kani Rust Verifier +![](./kani-logo.png) The Kani Rust Verifier is a bit-precise model checker for Rust. diff --git a/favicon.ico b/favicon.ico new file mode 100644 index 0000000000000000000000000000000000000000..d2bf13219274dbe14bae89c9775360ef69f631d5 GIT binary patch literal 15086 zcmeHO30PG1+Mi*7+4tql*=B~pExmr%c~eB2b4Yt-eUqN+c3F9F@;Hk?0)W=|IW%Vg4dfEDAJ28B`Gs#7*A2u6l0r|9}6o zGa#198#I*3>pB05Baq5y2Vk43tv*Uu_Ihso7~`w_I>=`-{}-_Mv|P{{6I? zmtWEA!beM`oF4pYSnJaLLHrRxr|a4GPvGBQtquuMt3yN37bH`iFAYu2+Uwx5z;Ew2 zNNua-vz1QU8Nq0HXKbBYt78R~>Y4xLnblV~I^}{)ZfjV_>ZG{XV*cc-V0)fGSz?!y zXQScmSUbN>FdB!>dW81sRK;X`cXF^TPhjb!Tt9!2rB0PA3u`r9UUBdT%Xnt(IkdqW z^!+E>xlIDbwOi~bB75qOxx^wpV_ldPY&$2Aaga{@12k%>j0*CT1P0c&Q%Qgy&CzK` z9enm3jizG{lkuGiLHq&1#%(OsYC8|EZ98=>2l>#^!R`6Y&hEUSRJJ54JHTxEXg0?z zzogUsvtM1>GZ+TW;h04N=6*?_lx|O36ASFzHo zS%01GwV6D-L@=8pwxC>~M$`EvJGZ+qh|ew4>3W1epzeL24EjOQPTNVr&Sl=l8pK&G zi9`mK1lunNPTN_$|Gp4=^ar!)y@d)@gMo5+qjnn2i{13P*TZ$1@S!?w|F^W-mtIjQ zo3@bnOUXDT_jOYBLafuhJjBL+^J}o}H1^KOdHAHGsl@H1KdWWhMm%e(ia-39O4Y74 zO?`IJ#(gbVshBGU{hM11`Zs;~+owF1v33mmhw+{R|ycJK#EgZQHr zLHv(G5Pt%9PMM9}af78(j!@>96rHZmVCcY(YEAo>A)mvsj_+chPc#|dn`5OWUnPAp z^xPX7O_#1(ZTCT_PujhvQnd|zILG&ukeH04Qk}NrLa_ZmxGxZXDmZ3-1#OK7|J#IM ztV2EfRopi#?*dSA->AI3pD&~SkvlBCtcaoGF|Jh=uC{GIq3!do_Q`siP4BOk$$~pr z%;QdQ%reOAVV{Gu2d&+GjC)>S4VoJbBPN)QAI`RzKK_YkQ-vVgA@Ft$H{qG^dA$xd z8P81@uXcWiz*uKPMn?;1yA1v0>Gl0HRH~NqXlue*GA5o`S16a)Z|~vf5vg3S@Ao0k zY`R|0{tNmiJk*6}UuDU-3viB(3oJ7SdoaBMd#}XK?YRZ4^1GeeiuVi3u~+9xB!22g zdIM+TXUNIVHbB3_ zs(h>q_6pa=Vvf!s^YZw6y(XTkzb}A%`k~yQ4}b45xR>j7ectAnq>DVeyps32%9!eW z)$JKN@kl_RimU4wq%zKKHjP^d%u@`kQ*1Jg%mjY>IoN&?;~;zJ&lm?;gTr^AyXv$C zuoa$VtY2jl{lT-FE<;|D`f8=J)iV}zWD;~}0nuN7&N%X+?)a=~CT@K|*4V-Cs~~%q^rcpJ?Bd0T z&z~w)tBwr)d9lSDaTHiP*k>X4OMjWXek0(Z(KPktcF3k{PX0K?l3%$lL?3&`RMTD~ z?>)SF%Kid9b_RHGS0Q6vl&#l?Pc)k%mXZ17n3d-qhJB2NA!D4jBLZcPS^_q`=e@?E zh{YnMLh-le=xeCOG;s|}F9Dv}R0tctnDiS=FpZ6zo6ER~&i)1R@e1P>+++_u}MzbQNdssT&FWb z8f(x{6hKj(-lr^a*A_91VzyC=rGO%=N4s7*e*!*F>+NtTC(P%Wk z_~HvGlP6ETJ$m%i^AyFvqgi!1gP2wwI&@fNw+|?Pu4B*q5yJ=X4hw4=fwePKm3r_m zsgw=2TBhc5OtK)CH@?sJA(z){#xZF(80&)b0fFkE2e)?b*Oo0?_G;3kNqOtmt%aPN zgB5S$@|37wzy1s3#*RH3GdV^WJ2qZev0}B5oU}}sH+ODH-#&eaPr&3U`w$A>!H6W_ zJ3*^`^**~*r|mJ0V-^GJEh^IM`^KOxpKIx>k9KX_c8Z92zi`&9S;GE(`-*z>cUD2pZHh>cr?v%gNDtzLc~EVAgtE7X4SQ$KoH^@9j2Q7g+E$SE8#Zk4 zO471rg`Z8ERvsMe6jUmepx5h#+}vDY`}XY>8Q*+U7BObbZWOH*&M_M!XTzq09X@n4 zX}|K4!>9A9o!bd}mdFUA@5-%q?b^M!dE>^C1@q^Z zMMg#nef#zm!o$Obf`S5J-P*NxcJA0wIw?Bp4C>e)(zfff#XKQ_$TY}=yS_8n`ENV8 z?|*aKP~P~Yz>Nc`gbcBy_UFu-kCrW4ya7Iowrtu|lAfMkk&}}n{F0w9?90j$Qj(KO zzsuZNK4$djBdGIGY%iBLY=Hg0h3tR5u79MbA1n1mu3LwC^X~aw03DcJ0vT6Z{q1Si zMU_fL)A+c!^M?-|D#1Dwrz9trB_}17txQiZIk10!(WVU>?sV`_`)m z89dBnibybhDK>_@M;jC_0prQ*`w3;iCOnS*2ejBvcF^KKzi=>8x(o`suW<^@BV=9mF52Ah?n6 z5ybBkcrIO_sL9#brFzmo`2W3T{;#`qrPUf$s8+Xoz83uYDxwYz4V@Sl8~fAhRjZ0N zZQM|jv~=mML2tg9gEMjE`t|F=(xpo;JpJ_315nvDr|?yEgY64@$%8M*ejvYL@59dl zf5f*a>#~JuYUWY555co%yeYA(kHIEQhc9E?7rvOQ03^s<30nj>7KUyA!$1)712gn(d{V*h9N-tJTlC<`Z~h8uT)-7a5;7 z@9r@Zzm(HUIv?`H!`lt; za}K_s5#vZF@ToN8nKgO$@1YymZ^z1v#zC9mXFAL=srd>;Eqm0PPd-sC-ERy-#K91k9#<2zj7!-k0n_Z!3(#)WLYa;xrm+qD2WFGS&FL&Mo_E{`fG=8ea#wtGq z1Zs_tO_L#$E&!{-m%6XqZ2BNwCU=mOiYIzWW$e?y0@*fp<1M!gukyVU9~{ADuvs?1 zC(;QWOY6|N1ah^ZUe|Z9**N|SgMRo|3PqzoLiYG;G%tj~=dqN?IuhTobKe$l%-5&! zE}6uP{3MTrTk0^>CsNekKR`_@l#QD~MmLAO%c50ZnC^*m_TSWq;JQSj`)DC~gZI^G zOT5NT67+&lL16MTC+lbBGZ235igJ2$}5&wF`o*l170>;W?Agp9CQfG!xT7 zXda=`N(z*9GZN3>t2l&ogdu=NgI5&8RYi$Vao`TceK$|5R@Nvg{Fhu(nNtG25TsN- z?XtW7Y_{O*vLnWyV=+&vQ(XOV`PAzMHZkajwUa9v(l++nQ}9{FKW>{Ci$SmdR||#W ze;%6SKwA=HcxK~CxjZ-+c`DoCUra;)cl`&C!V68!m;l{(5;_OF_raIhIJOIHk((yt zm>x8hu$-~ZJs_3RF1zr-HGO}T%FH^%qW8mJy&3U7l}g=)!93tp`Mwm&zneK`#bL@k zc@F%OGi~g;GK1lbxBVpIN3oSfdVTL_ZS4A+&|L$8@1KPpI|?k|3#)k;@`J6GhPl58 z|M4uuD{jGeeT!!{@4Z zG~`$8xC#7H%roh?kcaWQ_c&|%tyXtnfa$jdyJ8=;?YBBFu*tZ+cL;W-Ei)rP-wc!* zYTWl;yvShV%y7pi9<}c(Ua;SCf#-s}+OP2^@=`b}HEkYZCB^sq4y)SqZA1I|?%osF z193HW>iz(G`<+mnkNw!A=O|0e9LS(EWIt8yGhgl3=3N1DVRq!HHEn8&(TKE~m(cf` ziyZxRhCx5D1y~ZpSJn{g5MyV*`w{s}s4EeK#p0x1-dqcjJw)5??*}f`p>uH*aoF%p0BBaP_w16yKkk8$*htqMg` zlJDiZ5Ibd|?@n7S)5mz;`Jzuf)yUboQ|H~$(TSJ)_8t6pQl?Ft=1qF{?z^^2mytyu zefYu2!Grt9aGbG5T?HS1cgUdYTJ0-$QI=vvkk0~rqO(}b4#E41w=5rolyEWz6^_MNC2``a8 z;Dc9MEtAt6{7&rAEw`bkr)xA_edY#W{IW@tCjBceE-u_`HV1a?+9ho9qD8lQA$CJi zl(2B&0wHtfPGQ!UUmlXn8(+@L`N9`TCK&voqB!AemM?2ovttgPSC(o(k8s~7$e<`aHf zA|E_+d_%A?TlWB$84=r_gz-YQdGri?S#-)to>`S=HjN)xt*_cX296v#^37elzP&j1 zqg7==9Er1g`gY4I#FNiK$2yTqVFNGw+~46t=1-LXcLHB^Lypz+#6R-LSDQA&COqG9 zp$iM#+y8ZvJCPv?aOaDfO=Ek)w{@H7J3L1^W)MBIt1BU0fz(gxsy~ zqmJv9#NXc^xmisurpW_fgY^ywls}SR8Zz!F=~Fa3@5_Ee{b+mrI2&DA9qtx8+#TB7 zJW<2kVoBjog;UCM3ngV!1WB31eP0j@(a~a|7c}J@W9TTdDYGao(B& zvowQ!$in8ADV6P|(8IluGx8Pkx~Ec>X=Iu_ml$u17lHAKPV(^J z!I0$4{tO=0d<~r9nq%k!9p+;OY;qSqh5y;eGt0Zzcdprr`0=hF{@{^%j(=Zwa5=Cy z_br00{1(PO1pQ5c4_`}JCbh)8Eyn*R-HjQ9hPJVf8Wpj5)Tr@od-occ{MK7zevSP! zeu`SHa;+DcH~1c6D9cpX%^T)HZz6wq=NG`0E`L7`ID~LC1RAn<9`OcWv}R;J$mR7drm_>L;j+L3lAqG z#6L@!m;Ntg;TFW6enI&@$UFU!%oEWMz`1dxeeWy0e}DaZ@4nkOHulpFX=$lRq3tt| z2iwScT!F6rCWfQe3<|bgD6+GAlkk5QK}uDt8f8(N))RU+ZJbp`))@P$05(Z)V0M{} z&HNO$$TsX}hj-uJzmZqTF;pt%>J)NBk0WNgwh#Vi#U+CbhM_X-^`{Znw0YO@{%tf2 zHM8`JaM%h1a8B>qBE+{@g!^(Ce6A(%g96>&B>qvH;6tF>v8p>z+D>lFzBW%JT6_!l K1>zGGiT)3E5~aZa literal 0 HcmV?d00001 diff --git a/kani-logo.png b/kani-logo.png new file mode 100644 index 0000000000000000000000000000000000000000..daccecc9c24123fbcd10d3e4c6cbd1622be69850 GIT binary patch literal 85402 zcmZ7e2{aV`_dkvg5t5MPWnU^n2-)`#$x@cV*pl7YBKw*pMV89GCriu>Va(V?iR?>8 z_MI3@kv;l7r}6%L|L6Zar_(uu`&{mQ-ut-sKA!X9zODw%IhJz}2!!UYrkXwkLIHz7 zNS7$jf=}>dDMjEvDi2LlF9<~V3gI7#U!jr@1i}TmtEOV;m$f!Y6J)rUz4v!IIZU4Q ze$1Wwnwskv6H>&ZnwE<&Iv;F@>Mu^b5Tmo}WEr*~fAa66`Y+WV_R91l>i15JkPj;a zl6jJ*EXZK37Bz35jM5>!tGS<&o)tYetMZ)N{O^cFj$>MFZ+H4v`Kpe$Q!qLNe;_pJ9-0lZw=9yzq2-`4x@AJnrQT-@5&)_HQUG>y_gexiW*GS{? z7$J}aHa?T=0e(ZFo|eg5LeEDoHk|%AUFDyUaQ)H-gPM%k7Ux?+>~9eVZ=jz}SF}ox zCWV9{zm+&wUoqFYD>ySMrIQq*PwrP ze9r)0pXH*!hmdl++h$*mzf`xO*G4!f!cfs5Oj>!zq()Z3blkP|o8aMY;@rl%nC95R z7OqO{&%@Z?uJIz;I)(<1MPy+88oN7df*RgZC4ciQQp%^3kj3Q;uNar2wTy}Kxcn($ zB#^L88P})FvLx_S0b`x_vH{Ap{I9FtDp#X1qu6>YrF`Yx9Xwy$pn-EjHSfDa@9d#R zX}hgN0m@AD==`p%)%*u3%lz00d)?Iys%9NHdk8CpYbHtmQ@7ma?^5}Uf ztCczlohM5C9G%C=>80yJ>lHp6pDSGLpv}YZ5$c3O$UK51W+v(LnxnKAZs!C#=p=k^N)qXh5?fs6TGoItvu50%4XoIT;kKV5=DvOm{B&TBU^t0U8mHYBQH_&Q( zIr4_-i)A#nm2k8UJroM_lKj7*FezaeLR9f(mAe^Y>;bFYyac@eVOirLedDf%M zvM{Z~Xhy;<2SZq`KjTx9{ySN6#HfD7YLv{1+)IWgNMiOJjY(`w%p$8zS;}3$>EzcV zX40z`{h~wOLll#C2ZuVp6bHO?S^pk~jPVgAaT!p;yk0Vt_39W6uQoWnQ4LMmJ^9g0 zaW~U^Dqwg1=pH;%K`B*cw0^Tw@6N}K^#PIJ%LBVXPR_2W5$(F_aBt}ZpJ$Lni!9R_ z!G;h;9Tp{MlVT0UFoJ*3aN-`0hUG@zT1T>bv4dx&OZmG8zuM@I1a)feUT?|Pe$B$SyrjgVwBqJ_IPAz+j5`QM4tpqISD+0P;Urkh+B9}uc_xqOPQ4@y@< zy!u>;l(4FoLp}qM2;Zx9i|j3{9ninV)amCk$DyWuVAc{pv8MA0A;pf%Kybl}K z8$UJG_w#jVo6Yt_2&Wd-@3sv=(>?<4LKshP_h*pH8kIwN2U)&%*RXo|KTRqb(jV(z zJCgCW_xWeqqn}XSj^trC-U0W9rpn=fcRA6og)WKv&lgj4m8urM3+9c!;z4wt%3O5l z!!)nTx%j=D=t`eL8&?Yta)YYoHCuZ+t=ly7L2XcZfI zeCtCJJe2#MqUy&CJMGjL|1qgV{hv_XD~>zdd=F7ESOpKsX9#v^3S-+)PNFju@{_)J zyEVqd2&t~#R{8VUqx5PUrD%~@S5AZLJH15D@APM==px!y{YY_9RmGjZX)DVmJfh=ekjV)7+?T<<$XB=ky-ukM zkeL_T2X?|i{BgVct1(~292~C1vd~eHmG#LmJ)r-eQ3%qb?VszH4wgKM8*_e;wfk|q z{d{WrPIP76Vt&b^;Gdt>Eyu~cwiqEn9rrq%OHDX``0&6*&fOllN>`(}W^U-6RY>vA z9+V}y9d*PVQY^fY0$etO`xRR|Eef`sy{e|o(}G;Z= zmCR$@&KDiE4&u*t)mZ4T-7%jTuH@cYn}wD?#gi-_eLM%HCrS#@=+8K-Rl=;B{H5Qq z++J5-q~WcJ{dz~-Bi$j{pS^YO2ETu&TelYKr5axS?aB<{qSrNkCN$gZ3?mou-=s7` zKJO$equn?(KyH$=YtP80Qhy){o^kMJ%l;;6ganbEtLdVkEvhW-hD7S`j`YOgEbZgD zvFr-nqB4e8){#g^;$)HeYrT$`H0|OG+ZOFX%c4xFZ4aBITpwr+OOq&_3Y0TM7d_W^ zPI``vWBf2B2QLlU{%#F!{F|Qoz^B(nQak2`S@RV>8&*IEFVjIPW6jj@eeSiQ&Rq|O zX7j3MDaA2lGWBvZcb9u^0<}*6|1WOy>kBU*8K{G5Jogz1}@H`2s zBz-R(yQt@vY81?bp%pP$pi2^w5!mM4%@h)dzB<2MI7;r%hmT7hAh0&R3^@_R4)<`J^s$+!1ltHq z(l2twtA>n;Zl@o`i5hnmyxG)W$+!ai)Yn0aqk@WxmaYq~-lWD&zC@8+LXD;E zJaj<(sOW|MFz!Yajl-WNIjRGkL)lBl$_y>s{K*tGL^&S-8MV*oi^5Fw+qI4-J)4xZ zyK+hcY17P$6H28+q4hq`e|83)?PJNa1J{&o`i6t>TEIX1agG>a_wRM$XTu*8FE``~ zl?t3RD{&ZIEa-jYIwY{ak-ZZ#6(?-!8T{gg<$6Htn?y!P|23@=PrfJX`;U*iT}YSWwR2PE>Di1@!shdm zSQZT{VP-5DrRk}Pa$LpBt&K2AH8(S(c^@fmK?s+SY_(7ht9!NJQ@GpBr}#PhYnj;f zpOs1!S*tk4|Ff;Dv?>UVirY|eYPYX}8lH7R*2m9DYiCpICpRSdZfel~TO*YP2-7)& z76?J!A$@6zwAhb13KOdm9+RtNWo5>3r+CYf9vwg@XqzqNT4~srJN3$lpxQW%W zv58pUxLo|&TkjBi9ulS}U1gy&6A+zhCpvlk^3?qsRX%GDj8$m|Ia^v^=}hb3x#Pac z9(^)T1t~a)8>YJA7{?9ma2}%--nVGXm6W-*!D)KQ_41hGZ73uxSK6p7S@(zY@%hc} zCq;gF<1ez@{&JGBKZP#}Y;K!XlA7x=B`+ zY)Lwz&Sdw2%T(Ceww*0>OLkD?2>qlUHT%%L|^eNHj;b0!r;tO++F9WUwN@Qzbb zqHy&NZIVdY}jApPut3W(*b9%JToMCMm zgR`pZ9tFQ`+<=&05iYCygoLl61u zR`ZTE%G;=a}8eT7#-FI`m?0$af$Qq>|(+NG@TUZP(LBLd-v5OsZ zq}@?Bb_=cq0w;;(%}umAH(nucq+fS8Z(toaZMj~Cwn?S^qr!W z$^S6>QXYeSkTNODf9s9Zx&J3f*%&QQsLeXDh&i&KzV#p{VEf^rlt4r`vJ%*p(>P@4 z&f_GR1Gc1UP#qZCBYWH=c*B45`EOS@>OZi>iwt=p%(8|#CRN-xOIPnwvx5+_e;cK{ z{}knDq?PWR>^vUK&Ziq;Zx^V9RVZ7!$^+qYMC0tyA04r^D3Hp&B2Tr{wS&itwj8L| z;}@5)6aOLVyu+WbJ<#f*Jj@{Om&}Mu5SFZetp1rSntXOIoxvF&y+c)g| z`$Ss(9|ZDb&OFO*Y?-ziMV*YQ6^viSEvpsi!-M62z=;_V-BlHoBkD1=sny|H*vBa3 z#m0tPDL5sAZ@}}$j_j4$RJ$(Sz2wL*bl=&@xrxDSATRRRoSn9=Unv@ zb01r9tT$PWM0rItSrRQmh5misu*@&-==CPx0|;SaW%@d2UIrs1?E9lARIIUkB3~D! znOE|P-`4l3J0)e$Suh##{9VcV!zxxH|73&#D|rbmPR^{h``K7k^lYq^`~k@FYwf$> z7zGDO;Epm~5jzU(sXI!Vgz}C_I?BFAH>II*1%2HDjh)h?I)P1e=QAC$q z6mss*q~X<#$4yFVKMY5mv!#B{lquake*V0it%DnQqOEu0?W#<8b?fl`LN^3O%dF1>s6X){Y^#vzj`b0;`b#xu&t;->~d=Va0uvk9^~f=U2Q%co=wP44W(u?u;%`6ut#JFVJJ%}x zcAhx~S~!g9%B>d@FHT~cXKjAKn9_?jE8Y=> zpcHZ_)#+dv+&qa<5rW~XRV`PJ<()zFN@8+X1tk2T{Wv7z3j3@D)&#_kh5 zAXD*kAb-xRM{naMXidz?l`nME<{9xzbfW}@vZUFu2>xT%Me*XZKD61ts|ng7Q_&t{0ZdPQR~~L`7kr zDSb!NSq|=bPMMR~*l!C1ub28^7)C=wJd4n-60l;U6~lBjlPABT2eGw6RjfZ4n%y^@ z#_7h+o`I06z+DAkX03bP4&za|2^?e1EVTTEyOBoMdaD)wZtY|ifV6eWmc*thG~=5L17yt_AJ>)vTGI2_Gx(wuSrZB#K*e8(0@X`hh$2kTAB(ziP2fl3UvY z=uitKq#im(?eUT;PN1-~XAO$l3EAHHwEMBGCuYwOlKx>>^`3L<>9x4=<{l#oSBu;( z(n*n#V;yRiP&87?=la&v9}Y^IbXVyu*t(bJcSWP<@7@3I!3$M?6n)UUhO33a0r+}k z-?HQ?w*bI+!vJY#Bq~;b@-!TIs_T-WdV|n|KgV?t&E&=Lw)XFWoHyIfOh~@`Cl}{) zP`Ers0+o(vL_Lu)Xi|Lq- z=@|VPonDGF)_U(uBliDuvPX-z)e-Qn8B@94;!t?d28scNp(z0FmQIa+np>OFd2CI? zMtCm3#ogxm_1FiK&cD%0oYmN#^CGXtczYCl2y2J z4I?38T$PrN=y%iCa#C8!>_Ec$Q>RfYw^2bv*!Q1M_wLATRw}O<1$7T|W!T?q~QJ`Y3)6w&V?5VLyxkl&Ql7cpN2w(=ff=Mejay z*l9Wvn@4w(*TupIe-)d}v1*99h#?lg_BCLRI04V_l_F6y-r%>{5dNty#9^rI_4<83dHTO*!Rv7BtJ@??&{M0y6)e2?bfI2 zrPmx=jb>{kV|6MK5ltsQJ~vq9N1}YCvn~FKgUp;UWh5Y;Yxu~Y}uCm2=MY9=tBu!9!|Tbw5ph z38^1&BHo#yFl9i?ikBdbe`cn%fNXKF`GKiD2&gJn;B*uC5GY~`ahLO%$^RyI<#o8lp%hO!;5)>_%r^rta{yNMQ-Ex3bl-7_-Q zzK|Vu+vTY2rHc_I1fpo4J(Ll%+hQR6HK7JoQK7P`@zXR;69o6lHQZe{L2(Oyqpy`j zF}8Ok4bd63NYzj7S+_!v-J_#v=|W(cGU{+wS$QP&bg?0tmgA^b4(w^~=#smDNxCTW zUT?;#k1yjk=sggI*ryQ{gx8>B(|S|X8Sg_Wu!IFMxDmW=jADcXzSu)<3?RveCU@DT z>Pk=I>8&j9#X#|Q-+_eo+1Pt-{@o8RA&|%dRPfIqBnmukW{r>U4I&&~$sI~!zYhNlD_f^uRg2ANhXb`Y!i$nXFAds*N zFgODm6DiVx*u?S$$GKQDd%?E#}J_4po5ljVv{OlZ4^lP_Ez2;34+m~BCWhs>*gL>{dQN~;Ai!;Qw58MVQ91Jd+ zKhOafKhOVEk1V$HFs1|WXC`h)abI~q!kAraL;YS`Pdf^`i62e9Lax{3zxKh5dX@^H z3nb4!Ana^kZ_bJHC6v7BJA6ifjXkPE#2t_6gHl9g8Hf=%t#B?_j)JrYu!|?)~bG7 zt*mE~{V~Nl+XX*KczZ}XxZC5Oq6G>COz)n`_@&-onv?;DWkpT9g}0DX@W}3Qt1OP3 z#~wdgUHi?rl>W1L!OskVPHYE<3;$iglvvbyU z&1u3nFBgqS7@ZwwP*|rp>Mu#Y+yd!@RT}xTi`b@miL-K#?T1i^@ z7m+|R1L}b(zuk4>SwnD&+dWhbBoO7Ra3g$tmvAh+M7w?#G;nx9+_Zl2N(|emVRQ-w zW$kVdQmmAg(@VI%Lm^i6K*nufW#nhZZVLor;)pVSuKAhb2WW37h>X0kyY|)}Y2Sn} z4h;M~@4@9JS_)gP%>Q@Nkgv(Fh`2Ip6x6csO)p`7yBk8%yd_jH1k3`gjrZf`Z`H8# z5Y1=)WYU*UDFH3G4*(N>mIJv+b zLN;IVLlbe`2&LMi?!-oPK4A-Y0|}rnoi3!l1a0oIN*OKL2CBj1mU*|#mVIQ55E2;4 zZx^;L$3K~if!ZS)xAZ8d?x&SiLx3uXgA)il)!W-9I>YcAOGkZcW&+ZZngXS#j&$$} zN(I5-V~V)Fl)%hUN6J|uQMpqvzMbkYJ}9?Y%wp#KB#jii#}0vT7>(}_kZyuY@{bF^ zfdL*%WZzvpVFzO*k+W2h5ms%Fht}@T#mb!36xhxldlFNTrd$ke6&PR(zUuH~p-Y+I z8l_iNz50}K76b=3k=I5la5ipu^h%Zq8RSU|jNXar?~YNlZuH4ZUk?0U)89n-sx_zD z)lP2Q5$o8N4D`qAbcMdUW7+?i)!o;aykVzbveQ1(*g%7?8M?xZ7e*zk5VBhJ52eUZ zkg!Nl8ke)ilWPagSfyAnkI3T|`xHbH{-`Ejx>RFand4H0Ii!$h#Uk$V#&N;}rM*s1 z=JnNV0Euw`%@*B3RH~gz+Qld?_q&wr8)~KR4T35S$oB-AbNBtRR_w`xG-n_Sbpqoj zlgF_ZIm;Cr-)rwJg{(Jk-%){Sv$?qbv2NP7o9qB#iZGP4?g7tHiZWs$g4i=xh$+Z%SH>s4SZh~-ZtiVvY*e{k zUE4X+)CS+HzxR9(zu)sww+%ffMGK)jkGsG=@HwO1c}T;N{biY;i!{SwysZjoqY_5g zRZR_bM0z3f0JgiED!X!E)fh#%>#OeW%WAxYZw|g_o`n9So%IdLfA7r0p#6Lek!mHmNFhoz*>WHwD-p zMIl9keU#s8VO3Q#cOoCDAwbD`?vK1!Hm9>%ff=&>i+F-}S9xgLW9815!OQH};-cW2 z|CXuDR9FY{+5j7n90`is_JSsr+j@lHv8RdlxKrV`F~8f;`E>&nCfcCq97HoszcZ-V z)D1sKFFfUsjEkdT`>#MdX}4t&DNB?#QgFl3yHt@ka@wu6B7Fyae)ml3Zj0)1zgDl4 zwM*$UP(|>iHjNu*#eNToB4jjD%lVw!{B71EtB94`ZH6Oni&($fS^Skp)yLA46XCDQI=w&|5`oT1G(RTe>V>uTnu zQ6#_yC<}ShbGQsqScfwpj|{DslmPmRAI^yb{&_Fm;}=kn*jqr~ST~|Ny#RGwE5J4M zn+ozQFBoLcN-?S)*0?@^Az(U)hs6@}s%{CQ+im$#$S)68-0Ex9;W~h5^7Cr)w#id% zQ6_m99RR6>@kB*H0ETeo<7EQ%k#*+)+YX&jdA8Ee6`E#*OYm|yV;~Yq0J{>l603?I zrW%UzW>lbN`J&q<_@G!sG=b6dEgI`Bh_Ye%Cl4~CqaOh^NOm0S9owh}jdHe&oMPLa z%>+}V5%d`2Ez&L)z_q_KqDfCY0R@zRjCHf^qhL%XVP6m0gB3t!~hY3Ch@M}Czzoe?#RVO>sO z-Y8iV6cf}kf>%>%)>l5ZCc&!?jFGVdrxuXW&f?~t5P}=8#z|1Q%R{*MWO8)^C+=`W z;?vq;_dP`2DQ!`L6u+xoWf@Pg1(lXo|7y2Sj3WuWEF%}Vaho^f`G(aQ_t9dn6mD)( z7wi8>OAQ-tunJLlr@b*{ntNY*xG~ldov=3U>(!!=!!IBI0JBRK{du@Td55#?j?`92#=hAlv?c+B~BQ~|1 zT)kSUccb6o&Y3J#kwO#+mi#R?^eXwbiECL+equxfdgUE@z3@>lFA>9rS)@kb9EXv= zx<}NO+TJ@?W1dNpAZ46f1&p&js&VPft1AWB{*61I4xiL+9en$^Q3-aJP0Odw2YJ*6w-KvGum-UOhvR%}q6S9n14&?C1r z@gYHb^~4?k=NC72K{M2M=dS77VB^cr*DzD+;L?yRce9lL8WZ^5ZBuA;)AKi|sB*Lt&?3SVv+SPi%-01v(CXz?|ugW}=Sm6O`z4so;HpggGc|J56k5tP6)jA(a0uRgexOTZw0Zdr25vcQ2lUWjo`Z z3($kTcZHv!ux-3I{K-oDKfZa9O}>b4GRz^n-!xjBUoV#h4BzbcM*g>LO2VaF>CJ&3 z*=)F%b39P_(*3j{8@7KHHUM*~f8~sucm$&q5vbR4t0F`F-6`hv-}-j+w%v9N?jMXa z%d0NRXM~XQWG+{XWnIRvJ^r^8kSxDu+ANY5I#_x(?WPNhM}$V(WZGy)RXS0z^%~YH z8r}NFBxm+lrG9-0wK9DXqRcD3ZK4o`wC8}kx}wTep^yK%oYA+tBuM>F9$j-y1eDJ< z&he{MXt#%zp%l--sFOw!L@p~}?D$odmA=r16hC7_tSt{;{fQ~~LI z=O8lOz$&cNv~1Q3SL&>nDipV9jhbMIDJcwF$Ia!hnJoPj=bGN2mc=S{C~q`L5iR8^ zR~Z3#tE%xFwh3n`Bs=5S9KwI!oo~OhR#3tlTaY^4fcO<0G8Yr)n}t8MJ?n&CWnHuN518SoTL+HG@j-!D8;A8wb93 z`b4*rPdjl~q&GAhN_S)r{3IjHy ze^Z2AeNmi0te9E7Y#Of~*8Nqt@0zX}^mt3myL{Dm_x><(@K5$H!5`s8tc_v)#G zsv+##Cd-qL>uE7(RqTZmPdl!jpBd1-G|esDYiwA=3srh9fVJPIH_U3!q;Hhs8Y6_g z>*0DZDKbc+7+^fT9Z50IXu;~pe zWzNUJfqLUTLNGXCMV{F}^BZ=0o{u^31G|5cTo}T;o}797kLwEdl?W+kM9~i;zZAUF zFxiHPiTg7deMi7@1z0jLR;H4AW(%KJS09(K2`-#p^ zBfzBo>2qAhrXEp$R6q3xoXhQdlzIXvOs1D4)0OONyh#AVFl#I7g;;JfLlh*jFkC)i zSm*e8+C36KAHzYZIiksOQ3B_oL;e+D$p#ftH~V95kgST=PiY+>p&;}qZ&3b_hYtNc z=`o=l8!5Na$I#ql8AE!7Vk@PIbH8{&NTlz)(EQxr2$8P7r}Z^4Ntlk{ zXr#!VaNtSkMTK4$%RWU2rc%d-MK%PN4)4N`Om+SV3H$uH)Ug^%qj(_P6-S3H#Su&c zSvrh)Nvs$Wb1yt-MDKlHQqy! z2K>bd(~LiI8;wiG$Yqb?Cqn!;^X}DGmMC{LxC;Y-=7tEeKv7B%6w}A*vY*)H$3?r zW%HW*#KfEH0I7m78=v7%UGSoOXt%W6n<*(XS4J=~Z_ET>`A%-Yx?Yh$LLYG;q;$EC z9_>f;kl%T*1Sb_8PPjgETY{*$OCAWvxcBxFcXFh^h=w6R{tDZKNjZ89UPkSjAl8>; z$EHZa{@zTG;HGwMzO;Dz3Re+94S|$|>JJ#oOnw(&d~uwtr7*IIm*c~i0&*h*?TtNQ z92uS838}}%+*NMKzIMa5$=}6L1?B>OWEmQF)I+W|yXP*`?R)d;#_-;_Yjfa7|K?MR zR-soxlqgp8=w(Vv+hdiKo8)WUKl7x$85(cDbp*^;_$e%bF94`K&f}+*V-m6+&TY%0u&~*AC=>h5x zp>H_1DkZiBH{UpP{J)QfJIZO5Yt6C~Qb{wwl@0 z;n2cwH|d#KPMmX_f3QVEa^eu7?T7tkX!)00^;y@+!p`e!^?2NdE>-ZRN_-67^?;wV zx>#%9ZdcYKKb`we$B@@t4fzuJ8N>hi&;19d=>sUrbev*ScJTF2o;ozgRK{n2KS-Fg z%(jV@H3xi4rth!$K7;!dMityc?ZtanqLH#s#xUY&np4w%okmbFzrVt-u=6dq7GM8) zek{osjo0`r&&1jCC;lF*hVDgD<+H%(T#-g7!SSQQ#|()mZ7%nwK+}TKNuuQ{&pe?X zw>}EOP3|;^(=lNMegL~ny!b+-W_n`Nz|9vtSJ0Fx{Kk|O(-V)YvHI~lqiFKPNE9WWgJ~^3dk$bC(@B;B2Vy9?^_fbI=xgK{N_tS-1`E*^-peMg1sZ( zJ--L=)PhQD?wPY(rb+rs;vNMI&cQ7Qfq(4wU%9P4>57}(6Da&lWrNRB-u&x`+B^L9 z@!xt(nTF`+zZRz+lo88Q|Z_U+^ZK7 ztS(3O5|d1)9HNEFUQ`5X+cY{?p^X(n#q8z3;J?39jWb1*0e}lGwI(?OQlN0@dSMEG z;nby9e=okujp>Nc<;r-OI4rmwu=l*<9nY3o;Wy^OZ+8m6DQK0v3h_GwR3eVX31&e~ zNCC%#GRi5ehd`?^WBNZ|`(PQ@^3Fxi3^v{!aD{thAvbPcLL6SL81EAe^q;7$>nNk4 z=C<3vB{k%>_C5^cPNBC(Vmtb(armKH3*B~VhFdt3lP7L|IKbN#-r>ru0 zFIC|DXiP!bbG1EnU)WY++oU}u?iWjC#_E8l61l#c5y~D)sDY%9Uf;hA+Nb}<%8(53 zq>e%>*?n)7TY(#hwErD-1ki|{o|7)e5SW=KNuOMId~(|Uam^~P{FC5s=^~kiz4AB~ z2YXk;rRhUssbj5;gI(+&v@WOtO#eL+NcU}Dw+wCTwqai!Voou_uo`0moBgP2MYJT~ zvErMczd{&yFM<346GksSa<;?^DN$Ddo*mFPPkkHPSm6hqw@n`=fMQH!yo^&{bY%86 z7+7^n>AWT7Q#%oHD8e(n{-xh-vy7qj;)<#W&&eyewUOg;nCg7a^Mgm+Q>*E}LRbZgYU z_fO34^%1?3wW?eih3#b3XPV`fjfx@3Eym`;3W2+IGe&z7=F)Q8D5aBM??V4h1?o*H z1Q=qDm;U;>+Od`^z389?<~Dz&oC zNV3hrd57?t2#my_$t(x-S>s6LkJ7nq2UOof*mydw)lJ)5cfOQmyb&1U&k9=#B<}~7 z(0QiYPfMu`%4_oP3p3y3db`YGX?|&^x!FL*sy9dBO7yhi#dFrQ9P-yggSK@JhRbXr?JOFIhX&lTpNdi8SJG~Nr!wPv($q)R z*_V(m;43w9WTX0u9uWHHb}J1*U4SqOG&TBJ2HtrC)WbtDZ8te^Ej9b(;~`#y`cU(2 z4FyVW+=-adN?~Hv+@W2!gE<+!(Lw>Ni$sP{nP2fYy=Y+dAXmpi5oKP zkFVVr>+f5~1{+PeIlsFTG zTdI*i0G%OMDXd2&9c57&n(AaQmA5O^y~)(A=49-C=9J5b%#+C-&U(8ej4N2jCasN3mb4vm|lc4Gz&A7UO zGpg+q>QJaF5g^#UaRX#6XXrcdc<;j1*ZCi!_f{RfT0OR5@Et*JK|1B$paF{c$!!^{ zOu_jt3AEMIJx1*7QGx;|oCiB8EC;hTf7iVAdXzd-1N`%xs{XXbirfXY|08F{Gq)0k zlW_q+H`yp2|C3O*l%2NVf)6dhmt`w+otRz5)a!4qSHPva|0xGjlFY~R&ZWE`8+Tx- z8Lx8iYIuMmA-hs>Z^;ceVMPgh`tX4k4KNPLsl;J2q)55tmFbeK+#znbLs92&x98*^ zgjHAYUZ@oAQ@xy$Xu3aA!VG)(&viFH9+8@-GS!(e%z5V}uq?ZtDDrUZy0JHB+Nh9f zrvj*GxZYBY9kM*F;PTrGM~E=J5}Fm+K6;T`e3A5S#s8dLDR6e?Kc@-dHbV$EinRZd zwi6D4)N1fc=%}T%iN}JKNlgb;ofi>4_eXB-*rt6U^=}h*L#vSt2|Oot`5^~<_r8{C zb2~HPNfvptjU`+-pxWj61g5k4p?6V<--Sb#gQxmh4x_y85==$=59R)yjYX3B-`wAT zAq=&;>84wAp=wg4BgU5b>Qw1FDcZV;^)lxRXX(ysm1w9h6kDo7#UpmU7UxnKeYjW| zvhbSZ%x%W9qRJ7n{&+V_Ra|k3f*_&2vGY3f_jD zTSzn`IM#^zlLd@kAA!?O7zGLN{&QEm7Ex16$0u_isfz|Br8l)l+ZA zgtlo>-i0eC568I-b{v;-uSliUA`^1zzpsa%@p`IqE&4RN2P21t0Mc5d<67+g+IpdA z?u%XTf82tJ^GW(w)IVPhywbQ4LnfMfPI``kh{Xq7H= z{HF^Mx;y(>L^tLzme)n$@myq3@CKW|%iX0DD#>k=uG4zXmIuSlUM~T;GheB`BdZv7 zcIHv;Z1ppwe73oSr#=jD$r{%^8$PO8SoTPL?imwPZs@|RXr({6$xwzJ8SU=@tKXas+S?K|hd(K49>st{tf+3kWZ!O= zy%3XmfQ&UfMJ!vXyLm+YVb*>@8rSk>-N+;!L44)V+)`ixFw<|pM&|340;;NWWBfuxUe&iOOGP2 ztwfcN&3^(s5|O9b|B9U}`}u;{5_<~(wbzGN(KyjQ0n!e|Uy(>X#p9O~A>+pBZ5g&& zCEJTuHNQT2D_MyQz^JeoOb8ohN^$vu%;P!RPRt8`$Vk*^n@z{q+oafU z|I8OM2pS>G)wP-MS#rK}PuUhEY=r~_E>xf6@S3b{pwa&viBdglH2^i**%Px_x-r7E zLTUE*IJG&^{cn!~Kb2W}dqxlpU#r{ZPS%QBqZ6`SAK83_4X#lIjH-TWV)-@k4jHN= zEeJKa6vzG$$B`J=@C=kj@s$oaZ;d=yt|yO7VfAt`QK5Uj`u@|$Wg_2YT!I%UV&BwR zciZTcFc+ytu9Itjhn<8Vz9l@D;bCT`L%iN8Y5wCyV0d8b5l;W(%Wx3p$z24A_=-UM zxkR%$Dgs=+cedu_DD0}ZH9RE5a@-XQ?YI(qQjC9-`C+F!U3_aTAxF2f8)SM#IYZFe z2_YAW*(qzsH-R2@+>yTXFnvny>!F-`!KS3x_h)WTc}k{vDd4Wh;&~q*m_I2KRP~ zxz!xMtpuSApC7CAB=EfxxBN@hQ`80{LuuANYsmT4KsJn2zVJXR?$Rr}irtP#BzAh& z=tA(>^bZmuN}Cfqp^CE3-<@HUzL6-w&@KH5R*)b3#$Up~955`r6M>aTw-cqo|8W7X zMjN+GcQ;G`Ldj#+61qVd+x7cf0kMY0+CE2&O$Mjtokj&Kx$xBLe$TlDy22zUtJ(o4 zo0XWvVWlm@soI8y2A^_k_+n$|mFB~0xDV4)e`LB1;9xV};OVP%{TzXi>^Qy>d;2Zt zU_08)(qm=OEnD%n3t$d_2a^*p%D#ut(_)EpdS0@rgJ#Ll>&=~&k_Lz;H8=cnXIB?I zme1vQd{dDt)Nj7$yHwOMWlm{)=`}9j>xCSQuU-xK zI4*UU(^VcC%3I^j+#C60nM6_;_;g{MpTNA2TXFtwto8!&%{4y7;N8!;p8|zBPQyXl zUCobCKP9>G_j1|kBy86`hB#^KCyh2Xi3MUvhZ`<$c)c`$i=HDQaA}i7<~F~ChT6sp zj1;eJ@XS+kHcw7G8wNV%+l+sfBkzAZq{$5>zZKC&zbBe7+?*Ag$t#O@Gpcod6NDEx zeg+%o@$U}E@RmSjOm;Up@GS9U ziN{I$s_F{^j&hGm(b^qjRSqKYHGSzHj226_v6C?F>AE9#b17UTN>Aayy>g3BBshq5 z+vK?KU`;~BJbV00M&D0@tr|{tuHnkW@s2q0G2bf;X#^hiCCRK8_??(~Gr8wUMgC00 z=}FtX@4yX2`92PKb4+V^nL2Yh{JDiQ$Aun@gkH1l;W_a4cgD(8_22InUGlga`PEb9)soiuK}R#!QnSsq;oMOa)$03468Qgg0F%w%(Kq=0Z3)XO zX6x(q#Q73sCns_a991~^llIFBC|ow*{l_86=Wi-ac-q*+1Q*7?(Nnr&eCe_$x+-RH za%)>@Z5T149(p_yidx-WdyLXQ{=^v~BBggE=;Z9YRTpv3iE)i~N&0%Bb`<^`HujpN z`#5)|PUy1J8@ra0eL>-f4nqIgmCft*k17^Hpr)3sv43&)57pM|EQW`jmIs$%^O9D9-;V|J$@W`(AEF z)YgszLFa*1vX&CYbDE7nML0jKVvXkXQD=EP}*lH<#a-8nyj1f zE`NSMH1+<0cCoa}{_>avtiiF{NbDMUl?j$z&Y@n$nbnba&`)$U)ZuD&gl{D z-5%8a?)RwY>;ZTK{dQGXy!aLq!W^%0DN?|%=R9yW6IRrYQS^ekWU()^hs}5A~e9 z%iT@a$e`lwo_IWJx3zk-UU`^0C8BxDHJm9+mM2OMZ-5!jq_A*n@*mxZv9KrhH^U;; zX<&Qc>qM?qP%}XgV>Yb0oa4?r$HU6RDYiG`SpuN(l%r+agdud0SDwlY=EOVIX z-@Ff2=iljr;m@d8m7C8zDR{51WfVwb-d5rn+B~;0 zhqS<#o-ACphoy&k>z;sz&^jTRGak*-L7hHc)Z0Iarl~J@3GIy96D)+a>LndFH5O~n zLbymCz`ncMD-f>aVfgcjADAmvhl951(k(k~3yGi@^Z2A?(>S>1$E(s_Yj{0FWz6q)Pv)s`AIL5L2aXeXHDX&yw?+IC%?hn}!DvNuK z8;;Ant#f4MxvYjes(V$6HJ86-Op&=d|<@;V0e9q6j;Vc*DjD7!UtarrUH5a_oIPXwvd>&)R z|Hsr@I7HQb-@}7Q2vQ;-Efz6^O1HFtl*k}MD&0ABNr!|YpmazMLk>fipdg(CGIYbx z-Mp8NkKf;W|ABk%xo6kfYwhDyR;aV=ZCk9zJLk->1bUWv+7Lf&dDVMnY9zAW0ejTGM+xmm!tCULyN zlPS>rCYSst=Ya9lLgrytWfcKGmQp!!gn-y}hKrSmdc4>n5uHAb9lBsx;^B5%lAd zd29O~fUSv#Nd182ma+j_c-!E-<<979+PHQ}1GID4k`|CL8Dq-K)}Pj3ACHFL21uaa z^1ck}pne0w;6;hC|JmaU8qfo9UZZh2@14eZ ztnVW)g9fzy1JdZwTL5wT`WejD9fQkuTlxU(|MHnQG3v12Iku$$hf8?YPZkrNY~LuH z7vpr%7}8HLr|Wla+)efiE_t!Kx77D}_UH0YnXT{BrCRGnWy2%}MBxEb&Tx|jg7yaU z(_YTeO2%otl*1oS{P{Ee44d1aW7N3v*=d)rqm-W z7ypU%=sD+fQ43Hv4jxS&rJ?{!eMb_jqGkOhW28Rx6Y0%l!q-my!(BJ~t4D7qF)MYZeA5+7Vve7x&%K7{kd}YT#}`RK1c=|^fdFOv2i}# z;rw!gPcP&0)%iHKH|G3&d7OvVA-qIdo04y|;m~vH7YTiB!)|Baml|8&MV|*ylhr|H zj>m%+W$jG1l^4YYR{SkaUyM$f0w6)o@^6P-8vhh{GA;#`T%=0=JgK-(8(9sgGoAzN z_D_LZzWejW0POO;@a)B(ddEnNJVXRX;P1~El(qDktDO%tUtWwv?aoYJ*dh~aq^uhRizG#y^?>r{ z#B)Go98aOfe^wa5KT;%-{iQRa7cbQY=xLvsS^w|LZgpi{shv8YVx-FP5b>x&bo!9Q zy=TKwOl*dFbwh{uRWEULRM`*kC_F}NdD6U3zo|bqMm>EucXhcKV#m1QaPdQL%muUI zJkFZnH>>xgP)}w1e9Ty~J|A@`ITEMF6PNtNXW+Ct*)EA=V`F0+unYjOG8s%y)bhmth9e#u#<%#RTVJFm>tqxNgh=c2dnft}Z( zLf0K%3Ci!Bo(r?*axv#u>yx+K?;e~GY`Y2Fyn9Q^YVi&s1=$yJ4Z?%__qFBt^a2Rz z3f+;F_yJJ(OLAl=Lkm=n97n@?fha3MnJ~lehJ_4U7=iZfd$QyY?i=|}UwN=L{WNtm zE9vg;-MJ7`V={89;1#Xw-t2XoI?7pVtzZ@%Ia@MFz%Q;l`og}q+^3bmdG=D!#FR|p z+>5S%OTct8L=A4ORVncD)%Q@}D}|)pU1d+VmJ-&R2qS)pRdD{+=AJXnP<-HEf%&YR zt~iTW%t6n>(*B#YrFAdAbe-Dwf6poiJnm>#zjox*! z^U9K|?k(W}sT#3=1$#ufw*8a2uum~VlWtS*u^<)tGUM!V({m zZ-(a}B&Tt@5?oZI2~9#U8?~&(Sf4xZey96{B3!EZ&Nwu<5<+kPJ$lrDQX{`G*pCM> zU%3{e=5g`{S~aT)t?=Y;I9OU&N4)5BKjrZ&9w;|`9W~G=p*w(5q3`*YFTaKQ)y&WEmy;XwErY&;> zrn}GZ<@|mt)HkNOqgjg}EG&y{!ZQ2C*3Hj2;(Vx5|~-Sn#@=}^*m_=l``7Vx}qe!ZT7L0vm5C($sO8NT4 zEU^h}vq^vooQ+BW-I4#^@B8cT8wl<^c^Mh$LA+~iMp{#6mXE4$^smg%54$`*BQUlj zv$^|s-PO(U%rugXWHdYj)>rmn(~{>#a`Mxc?^hb!;PF*Zd@`o*2GDA|K(lR3wMMqX z><$8AYYg&}CS;0x_Quy>pe@~A2*mgYmE)N;`zeGUUQco&A*8oRew1XDw~7|Feqcp; zp6A<;pCQF1(v(newedG=0kU4DBt)RkT{-stq>%8EK?fH62maqR--p<^BTYLz$`Gb;yr; zm70KrD}z!iD*Xx0YWUA)48af?0cqIIykWl>CAO#PN`+5d8na$M1xvBj#_ECsNyrRt*tNxr zPe!yhUJ#5el{w!(j-h#y64zvuW=5V)YX;g4oh3-{?N8Ok zi%8jtCw{(TMPW-Nr${cn0-?I`H5@|-ju;FGtNw9-a)_MEaIyQ2)x2{S zu@}x6<7y!%L*#ZRKBVC!b1d<%78W>dS`_7L3WP1@$0bDd3>DB1Dg{$7>_rzkg_}S# z-hwOQ0ceCSX0FAt`Dl2kFX*;T4dYgd+q9!>$6Cy2;%GA5;b41yDfU~d884cpMr&|2 zPd-ZG;B?3 zxNX2lEdO)*od^F8QCLi@6g)@=K^_$78ij^EB2&*wqH4xl@P_FBMo9NgA#a8j`FSpU za)uPYEv9|$WKo84Xb`y?{#{)Q`&}O6vYeX4h&sHq?Tgc|bEWKC63a&MAGU7<)j+GO z^Iz`q%599p^6jTDGdC~gdC|1@q0(XAEH|~QNUKB~7{~MKM3Ux*hDL_{D>pBR#QgsH z77&P(T)=`vYeYnp%O;+vx*sr$)q;cR74cFAAa$$`u>-jRuCYMs{d+xT*3gKdye0$Z z3?f;`0Bt5 z_2DzGR5fTyt$m!T5ar6yy0^(<|3ok^)g!4wCo-6vx1rGoq$gXIW36OmrN?Yq{jI2} z&i*xD04@zZf+r*Hw(S$Fa9si~PYM!;5eQhZ@*ZT?qufq>1}#aiw0@i+ku zU?UBF(;qX05eS}|M+^G&HEAIESt9LAd%1Y3%L!;TBSlV^BxRP)t17IhMnzlg7bk9w z!PWUM<;IdDlXo4hjsC5=wBRL_;H(fD*t@danNSd}vOVGX($PxBQ%TgsRL5Xi0>qt7 z@6T_I<}8lckNRUjGEA(K&cvUT+axdoV}X-Na+B&Z_t0f}h}$O$?@`NoKG1q&*KmN2 z^FFg2G7!a%3b|}dHL&_LdQ>beNBoMS5B7c;k;Nxy?1S_10fxwVG}?tl)`unNf$nXB zS&k7ZTFbS*+GNboho#>@2yB2>cG`X@(KV!Ywl+#F`%4W0mQKz}frt2P7Irvy{&Qb3 zG?qZU<#Dy?_TCvx^tEcj2Qg4}s9pa!Qt@21{KR4BGaV2@5|_?sLW_*kM;N#^IT%n& zs!17;O{;Hwv%zcisULm2eE1_@}x25o$xUQ2ZiM(i%TZtj@&**!_D@C{L)>h48*(eI;$ z*y1{!De5X|tSwL7*B0rjzYK}Ze)}wsDkUE;jsM?k?IRCCHry2PHw`+tf>`+!o<$@B zAy=udZ^V{1g*`}U;lTFh%=3c-rd}06SWMT$MWx@YOn&PO2&|CJf@`gvElpATsQg#N)?xe1Vh1+|~Do^>gnv zM1z9_t8E$npx7GfJ>}oWQF>NCF6MdoaAVcfe(7|IxFlEG_&Leck3A<{~IuH zz02+42hG;e2E^}37oV1lh*v+}pU43pFsb1~@o}pY?BuLdMPQtM-4i#ovAa!|K4J$e zXaG_!dpJc3yf2Yd*WjErcX@`J3wsv`$8zLj(z@1i=9AEXy z{(^>x#c6y0Ms<=MvpX0JjbWC|eU&bt#e3h|b^Wd8QaN=oCgXDZd?3-lSLsGnWHzd#D|9@lejwXj9rD7G)1581!u9@MomzI>;iZG^4x)? z9BSsQQIlfs%2_JNR^b`6vrGp6Eq25i3O{kp5~A9U`Y3f$NR=>{2qi6Gje zNfZ|rXhJ2dyKVf|Rr25@a(3uyFlhw7vd5)s@u&PT#l@8Whrs*`{?Wk^?Y!|~*fV>Y zDTz2|)-;%~y~0$Q;L)1LVA!I=*-TyNgx4uT&|I7T%x1AhaMo;b%0<)dbmie>ockJm znE}WSw$Jc!>EEuECVvG(FHEd@tW6ovv+G{wv&-1VIUi4~UT>e^Quz&c-MC*gI=ja* zS{2dvp4BTIiQBh$xlCV>sqaN55BU356=a%xX8|XRvc{x&zkhVF?o0Xjab=c9-@;ho zxR(9dJ^c|+*qODevp@D~Oc(VkYceM%DV>K-(DMCo7S1||^*=cd2;{C89|&pkKrBK> z$)-HX-@#?J_uBdrAqQW-e5fe`sn?`ez`h5r~CN>E{+vrOKncg6TenhYM^PSCyGPH)dVr3%GD&zrd9Q%rJd9|_=iu_KoM(-t{W z1Q_7p^yM=t63L$1Z*d*LbNjuimaDr|30%Cf23lZy?Wsn2F4k{C0y6%p!gum{A#638F4&nMpkaiUPA z>J>?_?HMVG5<=}SQfLj+`vAtk6C+5Cdv+v#GMqnha{>d?pR&r&b@%G zS7fh7bn%E{cQ*xLnWMQ4O1#tVU8P*D&dN2l0!;6$w{%Z$>i@!oR8=g3De1=3Zv>TA zL2PaQ8#4(4B|m#?k@NH&xQ@5P-z=}P4a-8B`~5K-BY6`TVoEOflRlDvI=L36LRP2r zDWr%Y%PE7dvq5I_d(rHl5L^7>V#ZIlKJ@d&`Xbf_mj~L0$%nM}<&$kt5+GE0jMdz& zf1g-Nt4UTKLabY{n=tV8@VCo%7E%VC4^_POTY0*DJjq1$)LYSP67w>?_7X1aX)xS{-=A--dATP2Y_`EX@5K&D{_-I0;_DMY^wg# z<6ZyUW{p>p9UL-s&pbz)g#4bF8ahzeTF3coM~Azg?Yb^)F#foA{e`_%rlz^J+03Mu z8AWYvLjs}sR_;J~A{5w(h72lKO2wN6KWe$qd>s%g_OnJsGxmnE~EVtgR*Y^NkPWmq2 zI}I2pQ8NV*a$T>sq_;S#GELf29z`~ZENnS~XMWdEK7{`AfMI{3obWw4y@Y%;Ycb`E ztF}#(UY(pIP)UP|@y?$(?ozkXO#geW|8ZH7Z3g-KCp33f8S9rJF|AWN(U2ebyOl&s z8+2LmPb8W37xsWrD3pmF-|CdztnvLU8B0bk80~1!ZF+gliW6qt)5RR;9(5(;Rb4cm zj*kl?-i?bqe0n2nira?w|Gi}&1Sik(4;u{6f4e0xF)nZsN(rQm@;ev~?q*C(mGM_d z%emP1u4O#X{ReeN>(6Xue9Bo$p6|5h+cC2j zH*@J#wR|~4XYuF3+$;-B({X{+f_m4J<>r4Z{p$rd+*J;Q6pF>xYJ?z&5A0eAy6sad zMYY^zGgXoWdXQ(NE`LlD@$^w{TLxWFf~^yQ zT7UZH@bR=To9VyJU0^+%MjqF`1Ixl9i%&s91`{p*wO)Z`>ru6~oa_|7XU{ri@UHOf zABU;Sb1`?HWE_9)$&5-Qau|s~IsM$tm?^Of`&MXwCCamAYJ)lCZ+LEMC0mvH^qutZ z5p&dNo?1mw;lU^ko?AqR;nTkIjDxYVSSo~d5tIy+C!#d6Gx5*3#$M?KK$ux%xhZl& ztR8o3ebe#ivQV!u9QcgPO(@Bx+;*MaXvMI=&I>mW^matN+g@tIb$ld_XK;rSTcA~qZJ!rc*e4rA zi@OLMYHcM`e>fBVcQ%Z8`R5u$%3-#mavDPCUT?NsyCe;iyTUCj(l`0OpT1LKAGhC# z7*_`>q9mU+@1##voS);9U&#vRzsK_@T*XIJOn+5ut#EN0eTHes<1Ae31dJ`xO29fp z;c}b2;c80Sb0#x1A3zJtizl~N&G|eAZ&vP(5KWxAn;a4)} zuY+9jg?j57=@J32lmFHT402})DlLjj9sMb8aX=w$!XDv7Oi@V$tD}uf7`PonP@L{! zAxj)RnoD~^fmg(kU_!(~)NRNMa-f)0#a#~#BmgSntj94Z$N8CrDx01)Ev?3_$I6%4 zmu;9@lJwUxcKY+>)a}uXRVKpI@$td6P{A>R(uZ;y)Zcwb!bVsx-NBB6(MR$uyla=3K%SKn)_LH&fw7kfF$<}!{&pyF*${kE z>|rokB+!(xx7)?d??ao(`SvN#@CYHa#c~Z};xkb24-vT^ZKFA$B)eL6{<$Q_p({br z#V-`?f@u^VwrGDgKgz9&s#MHaT)v7h(7mGC=#CWP(SIqcBORt+{D&MwPL>?Df{$3- zt?vP2^eC!WO}mzL;ll!Bc8$k##6zPU>*%&jo9Qy%g#&3q09Xp^k+=D8em4kkN1FX~ z!vRsPL#ymGkX{xN&6eK;6X|oz59s={i4Tnl1hPJ1L^?RzPQSL?QH^jACM;mK={At7*OVZ94Oz9xeQ;J1@Q3Y5(+oDvK| zic+>1X2qwUTrsG`A89<0(Z2jmBki84pS_ua{$t<$eO4z1S|{M!DcyJG^8E*lo((|6 zi@o&LyLg&z!}tRr4pEStTE_plJVA=mdaaB_|LQ}PG(~hdrGCV4wRe5K^1f&F+k*af@obyw z|AjAdQBgbuJH=!NkAuEJwuHE(n`0aCc8~KxJ5|Z=Wk?=zeBAKbF$I7?=4Zy2DA1w5 zZ}i-;@Y<+FstsoV4x#XNxN@OORYjP^6X;Fcn{hbS(YIxL+NesZek*C){ShCsRSPB0 z($n~2AGY!yfo(cHwN?&*Ae8!AL&=gG_251`i`uymB$I^qBkmY1ro7x?&jkj~!@mo$DBhi3!gH4N}-De_nxJd5M zf2Bhfa}%B%R6%rgu*J<8@o0;j4A8%V%BW_!m`10zk2A_+g(6bUA z{yLbPexue2lvS{(VzIDOr3md&P|X`%o`x=Z_Re<*Xk zT8UaZ_1fqi6Bt%Kug@;t8Cp|mt&6}4+D%wk^m|So2&PQcIJfJFUS?g<4fz2ATOgth z^AC?l*EjU&Jt5e6S8u+wiz5bN{7=^n%mrdY-5p|(B8U(ozxXbb&B4P7AXNvtb&>LZ zs3-|>{U`yqnusZScictNHC3527j0l11CBJrzk@AeFq*efodrx#bag&@mxF^NOHwk8 zQL}@NjU|)mV9N`v;%Cc&;LxQ>za*}+`;IeO4_?>oDA3bZ2SPey`i@GHv}1$sZc zE)n3KsEqVnPPbo6D$?80=r`@rMLw;x-Tr)a&N@7jEYu8vY@7T8w`NS^m)z1QwktVxBEss(!1v!|Ap5s~~)kM916`kvg7;YC|grR_W zXHC4{lT-;+7?>kp%W|=7LG81jO39Y+EYkHC2*o0U4p0ZAz^A~hsO`YkVWVNrMy1hr ztsw)v+48|j%bq1!Y~By#asv(J#1!`M8o*ID%o9a_eoD14+hgpN+|ozZYV0O!Lpb|X z=>&^U!{t2P&nz4K_-)6Bkr8NSQl{IZ0&fMI2^=0Av^5NF{l6^7Jq%D(v)t_C<0LIo z_j0^^UyEHjw9+d4^E%=XuKY6dLPWVR7r#8Iku%C-!*g?5Wsk=;7dFB%#C+es73hn3 z;A1O{+aajaNf+`E4ha5kYtIyF%|1Zj|vA_+a=u8r{JUc-ERGZ7)1o^tQS zkJ-9D9a@po3GuY$84D1_Bq{8#tct)N?qYprwFju%np=_%XP<7nCG(+4QBkGuPj=Oh z%0qCyD-uX%1Tf<(0{>=!09xL107(p*(Fu_vFfiwY%2y0Qf0^gpMgjVs{Y~`>*mF?I zfuHQ&%e|p&dAPG?j|~;Wt+eUdm5U>pU_{(qxo3hJylNe5tyJJBOz<^sp0T}!5Davl z!oel@b{57p%za>`Nt0W7;dyw9uw?mP16qNZix@@;X!F8;04=Ha&i}mQSnMPRR3{o8 z4CJM~-RiKyha}d63kSetphi8yPg^Sl1V#_!G@NiT5oZn^B8NIXlk$2VM2AWB#n2)u!uB$fVK0Nx3(#{gr zN_DPze10vUu7u#*Iv&)`US?eM%@3k6F@Hr@rNzWY)>W3p9Ci=I&!S@Ots{fTm&gnVo@$HQ820aWdVS8W|wtX`^W)}6>fp$s(YFbac7M245v-MLW!m2hbuVk-=>jIAYfFNMkA#Jyw!t`dO z^Qg)D=O31-(s#Y2(38pugmtauQIpZ^gC12Pajydr%U`>`Lhi9oqOTP4lZ!st=HoPj zq{C#!qW^8pj`3&&#E^LQH*|DIYQFd+n6F8b7^}^x#87SqRPkI_?g%tb0v4|mWWXx( zvgfl_@m-ad`O9Hk*K~-HHC>V(#?vc56r>#|UD(3|*rl~fGT(#v#J*EEXuCC|{)ou? zh56jZglTlXnJK$=<+B{y?a(V7hRr8H?{ie7$qXh|^KUIo#+ZzFj#daMi`lBav%c_7z}= zqptV|%?l;0M~YE1|z0Zz~n{O%o2SbK6ps*{p3vo-J>*VZh|} zqvMs>ds6~m%_~9*%r4{!GsT}$H{*S_vPxtAzY3Jw3=1reY|T7`NY^l>>Fc1MkQ7kC zm~2D@w;-ZC8l;1YCY}pTb7P5(WRiGaDSW)g-Nx9r+U}A-m>em397GmYn>zprqjGfUPDYG|Mrl++^1iuDF~5d8>EQ3b6w)l{XspB ze>_s=x_HBZ3i}0VQdwDs))OmuEAa%>pTVXSg0_K>f_d!FZ`|S>D>*{*0Df*i0O<}a zOoZ27k<|>^17Paf#%oQ@)tp2_etri=fpy;oIK!yKTS%ouo}0M+9>5hq>^gnceVlqt zZ;;}$t1N`JFMNb7r;5lG#sB$~bj@}cDXJGw=CiYL$INVqx(==j0wvZh?Fy@-XZZf5 zho8jjs{Vb0d+Ngg$Z1a0cE5Vnw=xS_fHdjHH#=@Jj((CqpTC;$oj>PnZ8$G)SGqSJ z{3OezOPjP=hfhtGkOERD#jXu^a;M`W#b-Wgm9d(sbvYr@6u3*!227b`kH|vunr1GY zn&;~v=F@sKbbmue5LHv2ud&=rT}-}^r@ir+_E%?&3N}J^wB0SGI_`C1$$KA{8nCu~ zg-N@e;MvW0-z~}ho2vvY_r59v~YBv3MVrde}%~C>C~kzR4FCvGqDYgrMl1A6S0--HGRj0Hnix7%*)>(U4m=E zM?M(-zK2j(m~g>Lork7$lT%tgUR7h2Hc>0*LVNGJy2WXd;p~2 zercrz(1lwWD>J6Jc&?o;ul~U*NJsWdFbBjx|7H((5!Lbm0l7Mixs}9X4Kx>Obxfpol^Sn1!cCqw7T0~_(P)8`EFXGHTKSTS=wymG(yM$+zH!rHm*}Kl>t=A zkkxl2>(fUjm**ZMxJQ!=(3oCYnVPsKDKOzs#K!BAT%3!5T6Nvth}ih34yJ;WDRhpt z;J{gxI7xa>Cs!a1=U1AwCyRj7{%55iLFe~aBh<6)8>Bksw`;>|^{3e-tX%|1-|7;v zJO@;;vRoFM`fDQ_eW!v|3X7<+50@t;?0lAU?rXl9GzaDYnr^v7Z?CmV>n^ZN3pnzs zcYP14$k4OHhb^4PzqgHLiDvrGN z$>oL?dCz??Al?XN_N@-6O8?Xqi8L(*3PzO{-tjb{kF4}S+249sPBCVOb;ZQ^dif5d zdH9GVEkl}=%Wu0%O?gN7Q!o71M!VKvbDgQbeR06!H8`@08egcPO#`(DkIgT<#*s5G z*o9B-oX&4C->yBMVsU%jm(~<@QZPf*0`LWR_X`-FI>e%XCdEwN3L*!foEmkw$oYW6 zutPD&ILgvFLYL5b^5;W8_pl`{cb*j|Qk3wDH=lJ-j_&7HebURkCIS9@I*i46b)~A< z{Xfrz078uALmH3s<7Y{Hj<2heZSP3eoAf@!-)3TZcWoKy*=@~`+;0(C3mxg+avDSn zWHFU@E+u7=&wr(7HJ^Q!q`yc=+^S;w*7$;k=X#u)|FN?P)`;b%U&rlQZ-vTn7e)&G zs>W9rymc3g`-;0I1*KU6TpXvJMXoKn;VV2}TZoJZdrHd`=jF{Wdq;|(@m{Gzbt~LW zmKA1NP(eEuvFBbv?>^`>cqSdqj{#xvsB8YN+-j>w{*y$*X=lVcYL{3Q@W5S~v3|lll2!!jEJi4Tl}H zK4+1aKD>NzfB0OK;B;<`1eAJ{DTKB`55$8xj9U_Z0(_G?UioKaFvI-dkFBj+0)L9x zajr;DXSUpIY~s)3h$%^bt2)%F1L&OHePUkk_8xE6Z^LBwBq4^zO|_}U^@1m}Nl_DzF3c0a#h%7L8utCW`j0?d_ zu2NuVBwZN@ZXCN{w7opvYlipAbr2bSJ%ze0OuHTgl1cRIp*II#Pr?Xc`roNJ^-RW! zAeB_*s>#}+^A5JDQ!+CS#g1`Lw30?Uxg56Yw%n+I=1=dyxZku#yV0aaK0|Y_#}Om6 z_8h0vYngEpQdd^~+$iTM3s`&jawn$g>d%U)6Y&Z=Pbk+LA61C({}S!C)GW5fz@1g! zcZC`R^BX?|1D1<4#GZ%gFVft0Ag`k^E(SH*nZ*10B&VEzCNGsFp>vjRVXaFM{w;TD zWJo;25*fXt_$+=#oj``_Uy~nBxD1Cgo@@^TzzZmQ?*vq@kr7V3mUCcv;Y?Gyl9E-9SHR6a<3&iz<8%h7AH7pH8~36)#7nPRZhZ_+ZYlt`!zAT7j1FKT@GtmmuTLIP`@Db? zL4N5ic5;Q=SC{d^ut|2Fkw$)*(vZW=6c0)I$>;8S34N<+Ebr6=-aZUkdAHz%vn~&5 zx{Ftgj`)bIkPxJ^G{GeB8Ef>L_iF*z>22h*Kk|c$+etS-+ObxxG)9QjVY2~fu5|mHYxvelSS_YAQ`c@4aoLbzM0KHK?rO^Uaon(0*dnKM*%3he z$kzlka~tIWFvl=wu?Vwmc@WCXkV}gyui2w{4FpSh7sKmjFPf+EyPD(~k55(A$Ht38 z-5!i1ztdzbY!#p~6I8OHl&WJ7fYMsarT&mk=IrCH_oTw*al3>5{o|ghZ1SwOajqLi zTpqaxoz20&SS<9}f;yUq?1A|ZIH00gnxa$R^}*9o%Lt!L@Krdf6{N0(!-zL%i%t_y zgPf$Uy!NNm2c`7=1{&^2?ge!7Zxhviy15zJCPm=7?Wcdz?7Mz&8%>Nc9JJqN*te?u z9(*4+e5FgBIgQzK2FN843{OI(L#SbunffkPZ65H=WCx@Ep>tRDF6EzQLrz*LvfY%-Y4^TDZOE_@&L- zhCYm=J>JLL6kP9N8fbNckwFG#~+SR@!e8%moOW4c=jZZqG1+IT-wq9uQlIX8j?p0up z!aZ{QiSfN7Npqgkv5aqg8zdHXwFQoNPI+cN^u43hGbf8JbOF^HOVtW8l2Ijt210Xz z+?9*bGGDa3q!S>;_S7}g`hb?$fi9w!Zq-Ut`X3{%Zq}f$Dzf$=&{&Ok;LwkmKOhFG zKq{+oO^6T~zU40N;p5RDqxI#Nu*qZ_S0H1V6wWJ%Thk^tA*eadp(xMNG$lyV7}1n)IVrMLEc z!?j=;)k2ofeGkb6K-orIPwmVv%o%I0mXob9p=5ABfQdRvm3-XJ%#Rtfl5owVly)Gj zdNSPl^tp|XTW@_jz(^Tv=mF{-E7*!MPm>kK^+&xyy>ES5eWT~GBe&;OVEX*M@A*+1u2K)2W(|{{!Mb%LCY>7cM&!N?9SO)rR5PJ=>f$TH`!b_?cOQbPajS|) z2(<^w#T%<_FK?$T+%V#aCWQu*CmBw-zJc40Kd0Xik{2P^*^ZAL_yL!G7c!tM+!dp@Tk>jSOzZyASQng3i8xyOo!1+jMQ~j?pd1t zG>&=s1ML+uA%~SjK&=HaCu$T4csPGVx~49oO*J2doTfrNcJCVjvmK=+|q;ZP~d5LE1HIEQ($**U%7{@Qlzkls@Q{yy~{~74tss zel@#wm@rT^?W+vd_P)D^gm*zN5h{F$(&s#-z~K@|!1(pP04UJu5F zIdu*xfV8Z#Q@M*SO$Fc_TIr7rS~ELk-O?4F@t*tLq#kNLPG7#>++3*`_XKI)$0W0f zVKc)odbC`o>Sycu9hlqmERJf11}bHJP3|^WJzATN;VV)k{+v7rG!*-HV@BnXi*6^SXkPVD)Kp7>oI`LViRbQ9?S z@W$KJ_6Q(J5$d^vEj&5^=r~_4TW@s&h>2rIrvZQq)-KTucA&TlIN1+fS3#hi=88!@ z&lzfGo$O{D0A0Xy`o$a_^@8&lR`I%*s=JN)X1<6pvsdmqet0aE_i<%uoFV=5AOe35 zC*^)RzPxxcJ4d+>I@e*>3vxFnbv1^%dGT5r1if?229R>I@e=?!o5kzRM?-=)v|p>H zJe`U?OA^v>^AR6e{^j)zg&hj`rMs~c@o$|WNrcy2N%`UYfR|&Ck-RAId zWz2bO+0-4hbl3{qZS=V5s`g-ybE#Y&gaiKSzf9B{`vI)#3JUv>#dcuI%5<}cJc7qz zQMmY^EC=*{c{~CFNg3`(;-MzpUTkq7sct+CS;9$vW}K#VWdo4^_}ng~hXnWui~zvM zkOT&gFt1p9Q;|T(!UuP2kR^QfF)S@|fyLS1u`jl+P;atxBe0U&uk4ewmz|YD`t7>l z%adlKHOE%_+kQ_rnVhyPi}n5&>z8|y-BRG%7@#QU2r!JI)h;8gyYfxCkZ zc~G^QytQ&tqm{m>;w0$?0Cy^i@RSqJeTF?%hMS;#B99l`k`5nZls`(H4fdZGekU&t z&=GRbZSF3`H4P`3^}6bW~}#$#{IJi6{roDEn&Jb>=yaJ3zmQlUr0VQQhODXVJ12z*vd zFrNk{;`q`QT!h05wFM^4v~1j!n~fbABbz()zanPo*s|0S@+Wg_=G6l}T}pogG}HZY z{oC#%JpZ?jp)IexM_mZIEh?jv10a_f@pFEE`XweU&!6lCpr38TjeLXRR7;aI^x)jS z-}jwpt)>e{x1~@EAOLrwBXlLEm0Bx8u)*InXaT_|AdnJxWMb-f)_&7-H~bS+`<-DX zKyJB|-sTo04cm9Kt1S=}-`{Q><|r_2>(Z&QQi)oh^(&n9({b8;j4Xa|c+@7!-58rt ze9~0G?FA$qnipqgZ`!=`p3MogFkhNKQ(?G@vDoxqjwPX#<}CO0!AX%tDSXU#S_WL| zKq|qZdNyMV)v?&zT-<`;5Y|gIC}sIHMoN5jN37=vxXDNWi1rh&ww!B;x0f@iEoh5W zdV9KImQ=h#?VPmLb64#C>re0FLR@G-54paajq8sU_6BE+h}c;&zJhK9J}kJKPgJbb z-_Ic4gY%IEE*^=y^%4BLqC%l?Bv&fi;o^Tt&DU26(`G=V|4eONU^>1$VEl=)64Wt16k*(-guHmcfXA4doDu;Yq=o}xV9R<-qS z`E_fY2lKfZS{1Mkl)#b?frZyx>6DfbB}21N5~6y!_jmRVrSCVd&Wblz=k5aWK!C!} z1@g>~7I@VGuwO-j1^>wzNpvlX%Si?X-80D_OqT}N#MGwh=rpm*Y77<)lRC>Yw@#5{X0-+O2MU4Jc4jrexi{W4DAJ0uDimbhtlTSLW z`_S3h$>&F4PL2CQ?6}7i_ORQOq`9xk=9^(q;IR>}cd0!xi>>Zy6IFef;Zb?ryhREK z_sQ;twXlP2C<#eMNk}9rYKbOG<=_sx@b3J+h9diTiQAql_vP*_BlfhWEVj;j2-+8b zl1Jl;;cT6URohYY9qFr+(AHicuY&H~hhfo){ica1i6P&ym-Q0>H95;IX3=x@S&9l_ z8C2to^5O(q;*%W{soqJbE)f|6UzmvAkVMwBb?#)&{Rh^v4lk1js+#fvrgQ<9h>*I0 z?%R9H)k@_N@w#}}gf1Na+{pdnu*ZPDr7wO9srWs5Nu>b7Znq&Adh83) zayCL1Aw;#l#us|i8BfRWO+8$}C!v8cbs-ZntEu+i@x#N{VD`OfRKST{ogGV0_y)hE zchN}(m+<8z9ROq)q~+c+azXMc6OVZ5r>CIaPm$g+eq0Ah;bhf{K6fo?2=nEnWnkSv zsawMQ$W0LHA(&oM@3{NRjBJNtN8mB9Y1a!--pnXi`*^W~LKal~5KOe^c;j~4fQ82c z$P=1hGvT1);AAL49OP`~z^kXg>_AbaCKa;*4KJGy2|EKbnPIn%Ep){23_jWyZRDDDMu;uSD_3b!J;KQCNRTB z!_4{WXerc=R22Cpdv+h+7Y8j~g)8eX( zVDLv%aC~n@E(0yaFaVV&Iv7_qTo%NHFB1G35~5xfSx#Y=i27(8I(p}0y+{y0izyJQ zh&8Xu%gY-9yR)CqAJFZY5f73G#K!mEm+7mtMb3mFbWC5l(@^LBJ^(~gy}g(4`%jyG z@icw4O!1kmDO*|YhNKSmIBAaiT_im!)(16Dv;0fkcg6r^bF)I?hfw@stO_lRY<8*f z_4KEQCz(g8tZdnWppsQw2{5E}WLz5?ENfSbaWJFe)O^d;QY2-M5ezIm0xNoZDIJ7{ z?7FkCmJ&5_PJkib!nETpv9gZgi0>?g!La1R7Q+LkH+A|GJ@Jte_47YM)92%Ms!R@@ zC^_*OKpY!d2UfK#UYn7T5QdPo3k%0lCJ&E*6Qy0YbC2|3tfJ_J)chUW{+NYc5JuRI zG9!4j(lVN(8N9X}P?(9Fnh3JuZ}+qq$z*gn5P=v>ioVQl=RZ7-@vm+9?UT;O=V z7Lu!}t~wWP#H!Bc9&#>FgDdpt%Lde*Z_?B-M``*bNX%Yy@C&FOU$87r8di+Qn?HXZ zk=g5}flwY#s_at`i&6t2b3uFs#-21u3pQOrM&KYYW?O|!Vs{eIV-AwA3&&S ze@|ZR?D0>p{m%hddv41(5!vskWK8}NV3nu`lNEce>6SAHv&M5`{5(Hn_K^!XMAXC6b_01}eP8YnQDE`b zOp>OCg5r>}D~-TOp$zgoTI>+00p19^ujY9z=YJ1+DE(xt8P}(VB0{k3xvh>Ij|D3@_cJ&)=Ry!@}*Uxr+}X8I@{<^E8=; zd~c}$g{TuM?D+ ziGrc5G@5;#Rn+7=-imsky+$HxZ1x7J#6K46U;n(P)$b96wZ{bJVAlU(?}z!22(oYy z095pH)H2RI>@|nuEz}mJr?NiD7}u@L##ZfT$$tLewZC3XLnOBQA62k}O8j*H4mK4h z4|7leAEcTa6D&*fMfb$Pj{%Z6N|BPAuJrzQ=3WifMhXZRW) z^RHZ)@J^6&_%6$^RHM8(fOoVeGsz~+$g2$T+`~_|1WMzwpI&*?RVY<^hEgNOO-?hw zR2d_1@AebsBn@eciejlDZJUXu<<;EG*~Izbjpcgx19R~{B^KH3(}gNio_`#CI>%>HJ4K9u}) z=cUxlm(AIjlZ?Xm^7D+jx6_qu*)B^oNKZ}3U+IGs%CLNKxQl>UF{T##Xwnj0`Fr8g z#EqSCiPp9UVCMtEt$HmQ077Gp+AR`oC;#df!DKlV{Yz^OhcV^Vo)9sYm)5p$lyj!o zveN_9waV$E-=d7O7tCylVMLe+^0Qayn3Kd5SO2ZTKd%LNR)yYIGGmmcdmpZp3TRgK z^h85e)`u&pPW}dMfz-n2?Ix)3WhERIb^?AxyXrIMlVkB$<{ z*A>`P+N{dfj{{ox1q+Fo@EsMz)=aT>)RjwE*x_mH`E#gYV0^;dq$5cdLvTzLh zl-x~P3jLOmIC~*-*NHcdyJF6X6j|RDK=h+*+4^-bP4Njf3>gFy0e*qJveckham#RARC5@+c;ZO5#Pg#Au)D6`1 zMZ(T|N5aRC>ui{(@j!$1lFUqq&2`gyVkT-QfY8dzPzsgne?Gk`l*vjxsv$cefZF)O zzl#gus)#@6G$=FRga;P@g6$QxM413FiM(Ks> zvCMFc!XH5PZ@qOvM;EC;;6>yX11|+Lr@LyPfhp%n*@9^CJ&+N<$`D*TphsK%ae2ZO zJ00R$-xLdt6zbo2281&<3pq;yf5je_aqb1}jP3gUNFBLWD`97hzU}qbKf0R9WGd#@ zBw7GGbW!-a?m3`y&b+|6%!E*}sKM@&)4%69_9Qgr14A$)67Bg~@t6(UGLxlK?VfKN z7L8%0#&SnLmN~J3;wOlU*@r#*B;tRR(3S_mBUdeIiU3*J3LpN051weaf0m5TDX(RXu-JwTWAJvU8?(V^0o!*X#aoW@Zx#1HQ7GZ&ei&?< zRV#rfXV1RZts*_q*yKwg5DnLIU3>ucE_sZZQmfIHi&b(t3zdrSb%^OY)+Q`oe_3sR7t;rG6r z$O50IYpikA;Be>E)QYDO-)J8umx647vKQT<7%J0f*Fp{{_euCEuA!YHH+rBYeyOVb zpAe27T@1W1EiX;X4SOz5rxOJZ2v7ktj1e`ZqT&9vei=y6K@aW-M<1Kg6~+D7JweUj`B+8?hoT& zG7&+ouiqg~Yo4#OUu}XC+V7|I<>-A@PtCvnIR5?JioZev;3CGu<=;(nYK|m$|_8l_!N8i2%=mz_x5oVE@VDbfmL&cb#=dXh~fPqX8Ds-EZALXAO zH?gb6Imj6qIb&$XkvbH*a;wrG5CIr6{w=JYiz?G=AQv`i)xEt3tW`L5^`udN8pLH`X*}TbV@@VJ zr*(znK3ynHd7VpBaqO92)u|uqFS6OeD-O(Hlc7$ zg;G@~?%of3F1|Zs5{dEOtIhafMW8tMo(sibFc?E5MRKN)l+hIpj{YRfh-I)I4Xj^& zZX6Emv7FtF^kvVxX!>w|lYW0*dD*Jp)D$i%nIioZUz=;$@7=FklSC~Q)p1eZ5DML* zfKp1j{%vWv^nx_J__^4~%|Slr9~Kw%dQNinQYHrDFMv+E;u<=)lQYT_irTHRE184P zWHkv->%HnI*ad~@re{o6UxNMpVM0YGL>7_PZCdk*U-`41bC|W-EZr2ovdcJ1#AwW) zpR#fA7zJrNm9=5s2L>-OTAuo{r`5!;uasXj{$zf~AGYi76TqW^+H|0!Ik57zO=Q-DQ>hasDlL6Gfl0sB4y2Mnv}6d+YuA&X2cN&%v{#rJrv>te!d= zT|8|-bs=ON2L}4!-_DK47{KKMPf;Zj$pW$S?8Vv%J!s^TbLV{px;|i) z^ekYpxu!9)HK)cJL~^8duQJ>iU_e~v688U@Pf z!BAA1Y-`%w?(vbEQwI7WuFD3-#HpdTPov4{9X-G6Ewxq$6=*6IAj&|uFv>vN<1W+o z)D073TTK&7^#Y8FW}2%G#cFXn`wBzb$Ml|J0zVyGhI($9LD}|pJ~XA6-!h4=aIMee zUa9~-a1xI|N5Ibu4nI!09VtC{DRj1ot&M(^$YX{fZROLFSA~Np1hEZPL zeiH03WUsoXeOE*f5uhCzNW1-0-)%xyg9WgHJjLdseaA7^7!5s%K?KB`fzN3WSzoB{E)dQOVTQIX#d8-LG}O#9a9%F`F~6l7-W? zLBD>xH5UYtSGai_M53ID<-?Boelo$=`N8SGT54Nlm9S1CX~fE8{eSbC9%XH_|4VBi z1|>}~fN%_`hrpCNvllRx4uYvMW*U4Oi`(h@L&x(1Y^b2!IbD`6r}A}TgiWmbNBYGV z_}M2rUkIa-`7==bcgR)7p^LDJCc~4xPqA5;8SZ;1*10uJ;z)oh`{Ot$wX~k*)99!x z&?9N_#D_7@=`xJO_hQ)<+gwLP3s@~XJ|}8}1a<9ZYU5+GgqEU>OEaP-IBNX{I^8Y} zx-h@K>+2^$XhEwMQ50C%$gzEyp&lbS)r3Omt@yClXUbJ9_V4pN1bEaQgxoeq zk$896kt+TKiQ1gG`{Np7%3^Li_zh=8{QCkN8q*z@vSNd2wh3B^10~vN->jgx`Avm? zhFR77ALJZZWo8th89A*8+2S z)$>nigNrDNmGf3tty~3}ygi&j2S_rztoPy$7@8TsJ_ntuX+Ld;q>kFM(BPZ=6`-MN zgOU!@ir{b<99u;tt{8R7FyQrl%i?@*H5@vi!Yc!&q2qW+jq|`M%87%e|CBF7*QWgx z6n}oiz~cevA+c=!I_kc&qgJOaqiNGnJY{uk2kj1 z;KH~`7Ib<`w%PPEF374pfs;RVidQFtXTB6T9^W8OVAY$B*Q-+eOkf>DGY~2nv?6%h zTO-2>vf_UdMA*2J(tC&`GoJ*jzSDUMJbb^~eh7-x@?n1+mG;HezUu4MyyR9H0b|Ud z#t;2Bl+MGS{^6^)+Fyy9r&y(_ye<&6xm?!}H~XE?wTEgcIetOXQcDN2c&y;Q@|4e- z$0%h0Jbk7etzJG?B0PB8?Egq9wTz6MzemqaN4?SukFeRxc7Kz?*Y#85R>^DM zmr5KKQ&=*>*HR8{5x_q|s@)xe5^Q9$UEnTpLjY(fX4b>k`)y+=p7ZwSe{1>Ah;V=p z7AQt`k8<40wYEr$Ufz(ZIQmQ#L2t8**p>jRe|4zQ4GnN2+GdVa2bUa>|DPVI6Egzy zDe^;It;j+{B}^EJ@d^T~yAX-lh~+ix%J@PZo0+qTsg5oX8jhDZ80mDW3!N4D$55rn z(9*g3GDUWwkRan!R{`p1_Y1BI;XWM{{%wPyEte29o?a-I?jA;w!0Hc@5$X7_x2y8U z|KXXkJe**70+;b)0gE9r;rISffyv(=L_#41L6s)#&{jzt^@_5gPs)Fm-74QEoGag- zizMGuzSoGBh`PK<;%S;E)lO6|7N{P%JE|?q(rJiQ$1Gw~GVCG}Hmq@74YQ1ZK_70= znpEoRGyQoIx^P2W#PQNiyws+|2CB0dV_t_P7+jJ-YQupVjMCkVhp|%N4<+@Jp@W4> zw_|Y{Kq$tX^MKavHOnHsg3E1~xkgtHlIu^2wftRga)Pt2%{c;U=%XDmPT@{f-SB?0 zIYYgx`BB-Uc$eCU6SmZ!RZMegYH3Xpj)5!O0!2d4P)a=!vMIGFv+WchY=>b%6BrVe-%)E$ypE7U3@rJ)lzC?U;Q<>pGs4qa zf`a{VXV^@bN%wg6_-RSnxzF$QR=S$VL=Kn}YT!(GNPM!=bYOQhFtjm;9CaV{E9Jib zbr;s@`T>|1@tZL@*EdlJC>0?F)RsBWKd!^xrBD(tu-$cQZj7g~!-q7b9zANpg)I{q zkT?8(U6Y`NY%qwcjjmXY`LBoYN?KFKnub0c!>TSiTn-ZJs? z8mMlk29=_-mI!!>#2W~DOj{yECIwmQjg~yG_~oeS5($Vwv(bI^p~CY#iI$+c;L zX4Op&&A|i=d%|Wz^r`V$7)7zhcI*_)=6d?%mys0&Rt#Oo@E3SaXrOuC@5$BDO5xP) z`WDC2JT^swiseCY5gESp|CV$)OH*+(@V$dl^z7cUZFw7d^H7IZu`i&sB(J;t4{$Op z__&$z(5-J;ypG`Pu|Ji&&xR~`sd#XZSHElc_YVH|c%;#JNq<^tmDC(e#3<#g2tsH1 z)a9sCwyb#n-MsZJmd@Da98b>GhjjREhmtoudaB!X0m9&?UZ9IkDJkgmizBaQR_9KY z4R00-^HMns|437seZPZs$w8!~x;~XHxC_h`Uj>VcC!*w_Wgi*0f$|pXyw@uDEpFe* z?p|enX--H}sVhzu=lO?b{g)T~ha^4VbNS8eIgHAk*A)P$q79b#`tYH5L>6)roz010 z{0R*s{cw=rD4q+DIR7wG=6G-QMywE>x0vx}Q=-0b$Z7&`CDA??a5hN0$dbAID-*5@ zA1B-b3DNJ$RiB+UtyMIe87SquPu-8-lFZRIDuIp&0W6*El!0f~Yh>m3r;&$)vf58& zp{Xyom>5cIJA5H{p!&oeES_BOwIAL;RBRTqN%}DI4V+ffA)QFX`~bYv3u*_lA%3M+ z6Lb#^P#iD-tAzlu)3d3>*MJjAzkQ=uW1g<`|Ma+1A2q>UMVf5`VUyz?9QTDk*nH{xw~%>T*Si8z zBD(q*b-mA22*D691``0Ax;@OPx2S@(%&ZE1kJWEHq;aeNJ{#F&O?`B93n0Kd`MtbE z4W2!cKN5K7Y5b&iVI&?dkSWDM@PY2TJ6R*hMK&<{+VAp`Xu}KUq>aMZ*0+#^igI zDnK10JL?mVfZUWKXo|qnTbIx(+J6CUP|M>SZxbrvWOU=yKODxx8q_7yeVz$~eG5s-jq@EOY<5dB;XJ4Ru?N30V;o7wps1o;7XqA;KF zZP1WlDMv7WQ9ydN2A~4xGyfNap{loYVz*+n3fW(=Bd{G zxKzOXr8=bWwKFx;7V}>C(@K9uvJ9R1S(Sfz+VJhh`cs&f#Gq$$VG&u~y1p0k`tV$Q zez*FWEHZdiJs@6Gn}FWZAdS4r=~Z>3o%!Ed7uH%L4(3QoWPsR`WIx*W<#D z52IJ21lmG=Zq^;?{=yZi{_OvLQ^1ln6Tpg>rXKnIV1kGZh{GKXktc7|YLyFIUYm#E#csGGH zfZuRj2_84$`z)I81gDWli+&XEiMIW1iuQbWzjkBwVNL`p8r#418?m-m=$B{X-s2?o zPtl80VG;QqYl>k-CF65>3^pWOmD$@=nBoz@Mme=f?D4#LW5lrsYNDb6>}C z4V2NP0EFzhS&P?lYBdK0ar&iEzhC6^*|tB1`}(iSzZfXDIj;|EzxzRHY zS&xI&_)-~o+SE`yI1MIn@^q9|LQ-O`ihC3$WVUoDi9941GwxH+c`^JgfY8BXeon!~ z-O<`5W4D4XN%Ir@&0aAInjVHckn~g}jKZRcMn^!;hYr1OoBizOP92F-9VR5avOV|E z^ElT_eY-{ejG#mCK(k#`vXJG=3MfV}yG33J9dnOIR*Dn=&XSfChGV1IDYco(ad*sL_YWQF_j=k(VH@|0uv4pHz3E4SG#0 zWX4MP+e|ad1^&)X3&26nwB+gZN45>#6@4OsltwS{mt|C$YNh zG&B>=)%{!8Ctpl&rGuH#^eYVjaHU1fum0ANW7+V|u$P^*g-~^;d$?!8&fj}i9OjUf zXY1m_cvaH}S>wi&X&9>S*_PW}`uyHx;^2@q;tZkTJrvhntbN3`f3?40!yYe#4~vam z&O{+^`yLb&UQX7BaI*gpb(ubUE6-)7NIU8$X8FT2|L{9Z6OyYxQI~UDO~?Cth?B0s zOseZB1c8+-Fe+q+f*OP)9qE7}+6Prp7p_*a<1fRC4jAmzPC>t`I2>?`Sg>r&%`Zf! zMT?vg%-!kbI7}W}Z4RUU`|B58Ro)X|t zk{NfidxX%xJu06%`0YRL%jO(^s?4?Q-kgn+{Qf%{GPjCsFqIkg$W~@ilo^Upr?e{A z!LUPA@Y!!a-YYN{6d8HUY6K7CHB%srY8R8n5l+v%|0rnDVIsME@&Fsz-R(HU@pl-0 zeS6b?0fRU#90|ClRUBplP_b=;OdiT8JBXEGCVJU3i- z8K$VhrJWDmz0EV#D`Q4rE4#S8AH1&JZj{Z1HkIcG{F)?XB|d5XCKWwI^$@sv(KUq1 z7iza8*6x_nMoaS_UApT9gt&uYTZ`uV_PWa}vdZEG0vV_z0POi)HhtLmm@O+j07bnMBh_NQ)<-lLWchl>(eAE4_l@DB{tQsY&uh~ZR5j8e~ z`gfjL(tTNM;OkKJk$JPO9+6|V>o$R7#=}`kCKU*M(C!Ko6^@RfkJ|Hurgp}I^Dyn- z=FXP&_&*6($?Z>(isJX(7Q)P!h%@$%P-qz<|%2>Ras&ozjFP2toh;+ey zZ6U|NsZt;FtoHMg-`{W5+x}w7_ri&1UPQ~&6&w}QU*y)^J%3!GSim>7tj#LgW~6Up zbH1{1In%Vo=gIH4i7>dw>?GL{smbBM%5D?{y?d&$)N{X_#TFa+G<57Dvop(o*GU_z zlib5UnsVSk+&aE<<-uGANh-Khi7ElVJhS&K+OEpA{T0dqNd^D6!7bDi^H*z^g~tcs zErO2aPtUftnpH`+B%mX^p0%!pR@U4Pt86PMnHwzIGABtNmX{6-N0ZWw^f+{D$%0!; z!_NQCO>@5R=I>d@$3oqbEfO{p`7!V}CPSh$o*?&*_({Tde+o&Mi)^6nz1xtC|R%&~V@QL$#iSUg?%$@+JZ_Y!U}YS@oB z(jUhSsvk4Aa078^%M&W6-@t@#rr)w+O&ehWOthV2yPU$2zOl3W$vx4imMb3)992PV zWcYm)O$SBOpy~1P1=sF;8m4{BPf9JH6&hoi`97BKVS4!BO0vc25?=@sWn2=#Vx7`@ z@eH19U;Fh9_}zS1P)TrY#Uj?02jNw%h{;H(K;Tx5m|;ePe|A@tvSkPowNnL|>W#R5 z#Y{9eDBhsjc-^jDd;aU|_BM+N4uJh_Jbe3uLjH0jm0TK=2eId~t;psgnv9j`ctt2s zR)OI^=yZ~PB5o3ICBi6GQei=AH?f*2dU-P-B>o=n_s`XBWpM*mOF``EmEliz?^=0V zST!oCCX3&4Tt5!xNJKj2<+BS`Q(ahYSJlPiNMZLN^toz}-_FmVTkp(bO*CV6O^f-y z4=@EmOu7_blgEL40si9o)vNdrs5JxB`6*)|zCRO#W=3x)Rff=3T)fZr_Q{X7BwqIX zhl8++(}%{te=G=pl$VD);=>}hco{m|3|HxM&??P!Z*4qS9Z9^trcF<&j~S4dPg0|B z>kspOPz%Dauz;SobG_mRtw}P-U?&cm@}9F$#>y??OFm}KkJ3XCOfdMlZuP{U*niiH zC1FT*NWw}SbIOm)MD-1iL0j>E+=>gsKK_GT`NGpl%l_<|ZI`y-;N9*l7yDh?#Wy1` zfv6B^%am#`s?}B@$xW)!@TvnUnkPIauJ(S_K0#W}T^y%nASkvZz6U(z^x$DVgf2I# z$0>#u-N%)hbKuy}d8AzgL}S+vZNj^zs--7R<^AR*6RRo8+uW)SoMO#|oGMqj)_Orq zoaJpR-7$H&08=T(-VRa|Od^GC6AB#{2uVC_U*)!>tX58DQ}L#?2o(*G0m7m zeYp;+s@4?GMgjgG_u*%I#NZtR)cB$=Yp{R#3V5eeR|ruX%RVglT6W2?0s+0PMDN} zZC1FZcg=jXMLu^_I^LL;O3l^3*t6L2Wiyfl#YNx7lS_NXoK_`!zbL+W#LVem*_G0} zfl#LLkUX{wwS;m+2Y9=jH0@Fp!iWxyh*6!f(-_S!-49X~A)GydnJCSrfoUBc@ANL| zH)5Iuo#}e8()c}GOJ=xKX*+AV(o_{*Lah`+38^0+!BU_fzrg|k-$ut3gv0xC{AyjT zKE8JHol!+?RM^Rf6sb^@W4=*UD%;(pAB_pY;m{$6jILP#@wy9`h{LSR@nRhnbS_Z*xEG+*^^fXNlM z`D75Y&Re@M;%ME)7|Hv4l@QJpH*2_8X>Q*2)9TXkFiWDY@}BM6RtI3bGy|b$$1I+# zM)(vjaLjHF?A8V$>QW&^A`gtrMQcRy%zrHTz8hY*ZIbVH06e0W@^CjLR_E7FN~7X2 z2f(D9u(eL&eanK*Et%naHpaS5q@5cm`0I&S4iWIt9KodN?w!||(ObBcr=_xT`K;bh zbsx}kOhcCe;1n)Gx$-ZC-*I>Wdn&n1UzT~r} z9E2lvo;tY&r8RSG6As3WFq{>z5usC#QHAGgowf4Tg_;~ z&|Y2*jeg}H!VbK(;&6Q)9#sA^5#pi2cH&GmC61L_`t=ivA?@WDX32`DMcZ*OT-UFU zyz=9JmH->R_}V$B3Hmm$AwT98s;xLtmBKjKE!lKMJPtMMx3AFIuF|X3c)o_ayefkv z029%YPcQ$eE^TFm&`r5F1lbW>q_GFQi9q^4FZBA7!^aCgv5@{LTXS{HwN9u}NYs6& zdk|zoTFj24CV}N3W8Hh=A2E%CbywanQ=KR*EU@q~iBr?U9yC^ck`EFF91dCmCX%an zp#TJ``lHovmrbgDoC1Qu-8fKaoE|XXI%`cmX#oI(*;}4YECej&tKQRIE?@A%YIJ!9 zM^nD~wzc?qFaVmcQqG}L_{mco{*~}oR;wh``xT`LPh!TYXHAs-LkP0#dEgi#q$&D( zcD0?;`Auu#{I1%jq)0)!hj4j(>DHX5GFaM1f1mVs$w_OjtNWhjG{T@&7&~ptaHm1_ zPyA7MY-i@Pnw;_^Wdh_dW}Y05!|gtN=@)BnnrVM73cT%U(;a)>Uspw&;FE9GubyIV z_zH{(3^+PY1zkN3A{I8~r*B(CPMYew|8jP&yu9~N8qT1z$RM0y)Jt1G8i_*3i&nlW zcdtE2dw-n5=p$7Mdpvj-(+RLRefpYWgurfXxEfbm0uL-Y1-vr>xuV*|tN_piyE^X- zsNR}Q`Au?0rPOs{;bb9%WYFpExm(oK+S?b@k0T*5U!DnvwoaLSwsg3B0(6&dqkJrx zx7rWK{U2AMY3Dz_?gq*ZKd=WV2yX75v`{)P-=@)Y(^0IW=ZKANcj3W<$ z5sW|0C7BZ8fA~1bi`mIOUL7xjSnG17KY(Q&CY!Cb z=ne*h@1f5j;}bMtP9N-_1`W$zie;KKRg&o^?8^`(W?Uw($pGUXs_32~_&t1SIAGl8 zr>59QeGqh_0&O@o|4Cw8`MnB7sTfCHy2EkOUR~*Cb_0g3-WBCK z*AM5R+gUb#vTy7ELN0F}9CICm(y4DIvbAW2jH6?kqKG5r%payNR9R?A&eWB^FMpvb zb~VgQrj&H3EsXzS^^h!Z%>HZewn=Qy7`t7D_}b)0hiL5#bph?n_)-nSDm6lb26Zf` z$gQ#x^%5r3a<}ga0=!D_+1(@xsBVfoRX=F_>TRz8GBhNY3Cphcuz|-ccHD>(6K;4O zOm&K*G+UG^S4)g5C?KFrZzsy#{(^5(azZk!e(HCI71X_bzi{jk;phu8Y$Wp*h0GfF z)1*m`NFPgUw&##o8zIu(e#|cyf|gzg)WFeJs0{9-(w=iaYdg@*7XTCsEPn=#-y`|* z2r|0@0fYswT@)c!^UXy(umQha<}X<1S=R6gUWY$QGg`wX9n> zDpvKiVLyFuk6mj0Ap@XC;2In4*T6cPRP~T~scx_5cL6&GWm}%2=@Va2TjZfTA3hT| zyonq4MUQA^rIn`tqfrQ=f>KDWpKyNSl(kqgk?$uZ8>r25IH9%>Xy)`L8F?S}cmLDiqV5=JQ0uS%(*iVYZa9Vi2#J!~V ze1Ci?u>r<(2$-loJhtI$H%uH8jpf<7hGA2KeHBf940pd#kn`f=@(|+?b$L%sDB1n; z5eD*C*<0DD!R>24p+teNn~HNYO!0X|G$eHF)~{ya3a5ES=M3ZLWYEdZyh*b@S4m znQ0J^qLmmK*bH%iOl$!ms@q2JUW{}_=}dO%LT@Jqn{lK_^R&FE5YYkO1;BfloV)6* z$vLz(fHkj%j(Epp!4<=s*Ijj=WcJH`+ZcV}&Y#Fa!L&!ztbub!);V=etr@&h`o1^#hH<4BuLFFTP2v$sPLMfMK-^J_()p>iH%l_cM0 zXQAfQx0p5)O&_>6nlfDn)4$jKYj&F_K>759gCEY7fTl!lD;!{s6@PTiq$tG%$iB8G zhRWT{P{YB&$v?j8rP>~zjhMJ{!x_dA+7(kfG;f00A;>1TV284UE&N&hXv!*hL?nMn zftCC)KCHK;=|vBgozH|yEVPZZ>7ssy<>S;l@vD$K!f0bM7e|M{E_!GrB+cIOGYmfI z;$HgQ-{r=~$r0Unx97k9&E)oGNu3@~O^+6?3`Gl2V}h0N{Aj991U*sr(IMj6x?UJ3 zj87Gu57%vfUAE#i1hyc;6Q++@Q*;{!#b*CfbhB7+QA{gpO>s#)K*`Edk!Ljcly5Y! z`edN}8mjp<`|kp8a6*ACn>7}65?x<6lpT&;RPr48q5rki0OS-C@OP(^aJos(&~Y-h z`_JQ7ru7wRk_*FowYarPNNwIk3BSY3R#bo-SAIHSo(3t@0^yMXnNXd0WK7y)eL z-Xm#v(xmzsjT$nzx}i)-0!$uf+CEOb5ipzin7>Ub5`{_Sjjr2ei;QHcxqRN*A1>E*p*%FT(6w#7s0N-=2{ORY3mQ`m`7 zXyh)aDoRfqnndMn2l>p|f8qmW>j7IF0>9r()Cq3=RN^$!*3uP2z|t6nUP3yh4vunl ziDvV1V~h~)`tVuxb!Z!GQxu6R8nJzPw4zw(vg}F@o`UF95K3YCjjP=1nA97BQJ2yP z;p<)e(uf;zX%kdnhI4;K8iFX<4zi@ZSJPg5>6={d$)bl3Gd6Lzr-d*Yc#o4p6 zM!k(~#(^G)9|%tKX79T`@$oJPSfoqTtu(XfpZH)PG&Xy-K|j%M54VYYbw5p3FjG@3 z{Y&elT@e6I7|nI`pm?vGOT_kZ@#FMDQT6s~*IM^^b_;nm@Ox(Fb6rtuC#Ca`kw^cH zp6@SyvuQNX=YZ|3+Q*~cLe%D;M3U8S-OHKirjuY!DYg91O||geV(fJZ$HVLds9f47&Z<5s~maVtz(Jj-dko1Gh5ozGL&5`fl&9z zOaY8?or#C6Vnyju7d9%^wh*aWxD|&ELCM^FQi>%`?^dQSoK5IAL z{;bhs{sZUy`s2H>Df9jvZF-7|!Q;FA%|RtpMf8d{VfLA#=|63(O?ZcWZ0z5041gS|>#INK-20=fm$*R>coyf-PyZf#Y zk=DHAwR+l*KZs+@;Cbh75VHhC|SU5B#H-Fvu zki3#*Q`hU>=M(29fu7HqC`>TIo*Pz+TUE*4McAe7SSPO25xJ?o8+SW%?$PH%itZsG zqc}^i&nI?>LJaM^6bZen;|VZcYt7d0%3bV&=07HKF*ZTtw8oEWRDk@>VPj)2&Yh zV!i|d)haY<`SJE&wlvBPqas*Zi?A#C4pBp=N~Sj8?H>i-x8*u*0LXktSV^3)!*KYS z_e-iB5TA{*b#{lE^HvS>E?Bv;mPVp`Q}PvYM_P+lL#W>WNLASm(yQm{GnZePEC#ZS zDL?ddY5(1V95A~E zjd>bpse93ORZaQ}#`PKb+;P0|D0L%nK-~!Y51Ty?h=yrNhXqF2`YS;8ksbla01#^9($3MPw#+8cFPCxk!qUT z54*!{W3T#AFarlsK2I$BNGY_f3bGfPKik0<2J!vcXA~a|-oGEQ4F&|3v{&;rCIAN) z2yO?z_de?DuqtM?evhf%xt!G9q=Bj%8vxJ!+VYffz*y_k@Js>u&%9hG0ko5fXECG$ z`C#UxG`l|zA_Vw9PIMl*$;mLrboM4;f$JA5%2X-vYoq}1rg}_mo`9!%OuT2>Z0-@s^up}?sBS)LV?>u?{8EfEJT#V%M z?}r3BY^k#aC9f7jt9h{R$)lNiL`hnx|sVUOH_RUCiL% znaT_$e{}sBdrxPM$~6vYx2<-1<=Q+Y%I?FTgaFgp=BvdbPpj^>e7j5Nkbxp%;f`n5 zD8mF6GRJyZ+enf#DPMJ1Ak9q{Ji=>>hIQ}3JhrjbdqQ!t{xy%hgKv965O7Mf=k}PI zaJO~ui9zyLPr-jKmbCl#!%3HG=g}C+vRcUXQgK1Se<7!*sihvbI9I6m{9SqAbVp2W zy&W9T#wN;Z<6gX};O~m(R*bn9jPwS<=2)LoSwti>_ElZ2sO)6oNo(;!EnQ7AoE9tT zPsAH+WK=1?tC<2Sd7{+kXW`{h_QrP+ZWp1AfW}V8zw7O%gOOKFP0^4-&_C4Q3)ZQE zFJ{K!2x#1Q(&ir+-rzDz!CGIn8rtx5p_1lZ5FDSIC#z(+FO87h!h7z)TKQ}%-;`kr z)F>1t!hh!NguZpZt4>+{z4f+RI|ZQ&uu$bE?kl-==JlBu9I?qE1E0;0gRSgOnsdV) zbamt01X?io+KbV(!hW%W-@C!`F}QL{q`3LrH;nH>8(E_+6<2#yQ<=w4&x4ch+7lm3 zM~eds)W6$ldUv@I{qJBo9B|tPe|jM)NdSB~BT5hB(oe6p_!CjW+}zRNWB^-xUO7a$ z&9R=m3(bO{sA~%+xGUulW*0Tt(>rtmBEx8%qj!<3?>AdmJy!mP)Sk3~=6HG~J|40Y zWq$_lgTM!~d{>&%Njq{CCXa9q%ETnJ$J!2xU7adBgb~+#>8B5u8`^kr{>tWaj1bjk zyKM+~J-}jm0W}_eP-j-K$CcyN)wn66I)-|9@6-ww438Du9lX!Hd`@dw z`Ovoi7jiUqDwd__njfB>4u0mhT3T27#0cK|rx`Z?*h8+LPvK&{Ngeb2qHa~(X|69y zE0DJ!towIy@u4*50zPdvO3b}6@5jPJz=SM?bb&Sys`AhnwiVVnB;*P*oOe+M>GaKy zkrLWp=RJ%GmQkG-J3-IGp4W9|S0CpYgM8=6#dZMTeh#WwQxSP`_PG~#8kZ^`Og;#i zY`G=P^hjWOp89UQ!FWI%sCi`_Nf>;{Y9lokI?G|ncJ*roigJaPgLpBWAicj1q$z*h z4d?sy?@M!PoYz-!un_ht+d5KfKEvx#QZI~;dbPsw3r2O#!^*mu^H!AW9#FhI@?84A zdlUAVcjO6NUxV{6b=8jQS5n54Df*!kSy z^!3K_R6$vK@LgcNy1Xb^cg6wyH`{(=O}y}@_5wZ)!;}E+fBQ5boB}M6olkQM>BOu9 zp)JaNmf&!~d4Mc#zuXjW%*rJfK&ze#|NH0Rzh`v5IBju{>OY6)Q#Td#|Yd00dq;75KnE7QJSy zZhw!>p>&ov|{8#Z|{J+55 zGXd6Xvsv)!?j(aOQ4t6XCD&pP!=w!S`sd$HFKnF3`bmHW&9CGHHpw|0fX5a&L5D(0 zt-52aPF!+^(hT--ym?|)jl{qLcYP}bzT8ll z4b9zubsx-~9gaK(RRo>1dvku5{aa4Pvi-*k7LR_DRhp&#e`I}iSd`tj_5dOXf*7=v zCTQ(lEf#(hQ}P(v2b|sWbwTL(d>x(j7B&Ni&3qfb_TLeb4#6^E)5^cwJsI z^XzBGTKBrwz1HS^?j9g@2R-$SN>g`^PsVLd1NOjf;%MG&&k&;~27b+JB~j5VObrZk zVx`~mfEN6UG<Ytzqie-tnNeJ64Mk@5KT2p+h?4{Rh&Y00L);?X&6G@~(rOTPl(GVmLSuXt;qI}gEUG0=UJ z8QA$3l6|!1Ip>(EGX8sr;EaixLd*bXNy4w=td@DLb6=aiM*viafZGPNV==Ye`|sZT zHY<=M>|7)r4}^mM?W8rI`W_0Nf*Hj?&!^>lmT&&Gom$Zzl~h z+nnqa5dR20p*OMXIeMwj75i3q*n{;JmY3K@eLQTwd6%0o2v5|12s9WtK&&uS_WPd4>zgdm|7VQ zWZyn%vmxfM`Y=i6EkiF=4@5t>)u8~$V7}r&XIHtnUH)a^D#K>?GCgyI8DGJ z_qyb{P3&p*lQ0Xq^I)$I4nA?wUs}1D^bY3 zKz^2btlUiKs_*%k`f3drNH~s@2XlQ*bc!5|=|}s3<$;911rOJ6hDCeGoarcNq)iJ3 z6RT*zWgZcXz_wi=s%~AFq|9GGn_9#=F64mwF8#p?Da5hI?wP>^ke~NK)mf+Y=bB>P zO3GoLEPV1`!3-@cw_rpBkSD}f5HwHfP63pLw#tY~uBC#n2aXpy^*W@J07q%NbPxZ1 z5C%3CJ9u!m%$FqKdxZ$1o=P`x8v-GCF%&LSz90OpD-d2TWew`(Qe7bsP1RLI>Ac6o zEoKlfHlN-)tEo< z_6>-%l3U;1Jh0VS*B30TFX&3>{XZ*oiB2uW^%`OOicdk$nAr3mO_q{Jla+Kx}jw&{N4p243e*$PTwg5(& zEI4gqWo=)wsF?~^dj>yqkehK(v)vRSx=_a4s$ zhmnBwW3`dLwz4T%(vjrE=P`NB7g9WkG+~z&`{bWHUjq`8AU)k+`}?f&|N9hXR$|zvs^@jT zoD;~VJqm$-!cWUQ>u- zd5byKYDG9*uC^A?kp43+ia@A#ghLT}`0_}ZbP=rhKc805wERV9{!(a-L7G-z62ixo zXp69AN+qucCI?J1gA5lZcbQ!%6+qeX8Lkm}2b0yUzK(Ti+2jz*EM(%*NiW}9LEY); zsGfWO+*n5;1|Addz)~-{PLmVz>w|4ujWqabcWEJ@&J4T)eQCIZ@Zu9No}rp{a-oBE zaS|X{0)NqfEFo((AdXILCd7wiUeD3`0W77NRQ{*L7D&$nCmwiW_sc0kFP?usoqo?o zzMa;5AXI1A9`MBuY5XA{uK-7=&}+JJ=jN*vUMto$YH8YT7bQye_%g}|1xv1Y#*4gU z|E?>gJ?SD+rt>$zvFLZ5HauXm39432W)rb@Zu;XM2O`p0J1Q4wY5pg{Rt^y=+%u)W zfDsBr@CI-Px8rt=ZX}pirG3C68HT;5I6zfifm~0`8(|=;j?|PS-4B}4={N9UxONS>Nt}Yjl_#lU{y1+R7r>)T7FRfqj z&P=B_2>!J*od2xMbXPr8U-~KpG9D{j`ECz;nOQnOHEokn;2RLfC@7EF~JP_`V5mO6q8c>f%G z3m$AHq70D~AjvO$+n@UFBVby=k#&~wnE>NePYkhyKq?%KbaYA@eBXNlYw(a7XzDs2 zuLdW!U!4x5-CK9ws@EhW`Ww)R^C-Zdj#YAJYz9VYQN>%D(L($m#Z9gNX@6R8Ee5qj zDo@meoW2 zhop#uJFqD>#~@5{Psi5JDFR1UU~ibsiD8TP>-_7**C#9&-x*OZJpsTD=HcO{-BsI7 zBgc%N`N-aq!9|}dyFYY>=E@5p#$oq6&h*h{|MlPs((aVNsLK!p$n+0GAb+13Pp3~; zux?Q~@OKP3-jWvSt{t&C|Fv<7GPVgXFP}!9?Nw{*DIn7Ku zY_L{#?Ji^?44|-&B>H0Unjq)b(=l+(sDl=fPd6o)6awe(y=Dt}F{ygRH2`E^%}dq- z+X(ndk=!=b=eRWH`&>61*YkY<0j9Czdb6sPzGBFp%fREHNyW%049#jsXT}9-roB}miA!n0_1<@A%3*xbc`^>( zdBPNBGxr0E(wI2V^*m5cyn-C0F)PBZMzjEZFGbll*O*V23v{dP%oSY0vEN{qQBE!* zkj9KpwZh9N0oJ}Ji&;75zVDz*M5*Dkx%4%5d|uBCeBq|SzFur-|D&lMi;fw}iY%ji`0>6$fcb)* zy|O;lALY><*jrnZX&Xwi??G$8mhpvWQW{s771eheVJ;6H-kB$99t~T|})m*== zTrZpxr`(sS(Jlt=!9L0+6QV(atq{IfB^b|a-fsb<##KS&&<~jD;|j=(`k)&=ggFJw zBDenAvIGP;;r?S>d=`k$$4C7dah*|p=O>Muqc^AWH%!t8&u9OpliK}UeC&CnRQfH9 z1YC!xd655N%?C`Chz!UN^RJskqbQB}ubzE`{LObVejkml?FF*WV~6FNA4Cw4SJ_BL zb1`y&U9STxHBM}R2jR)L=$g{?5q&*DA>gavbg)rX+N90;_@GhHxIj|kA5^$UETZ6rZq5b2>rEslv3`95}@+L6E zfRn3#F+l=Rs1%mPoNbOK(|cX=G@ZDf45vF8ANA<@BnKz#x^hx7q6F;_DG|KZX|);< z&=r@4HDO27w#raeQEl)IsY@Yg+>&Q8d9XT#Ab&5AWs@NMGPj#US)3929j$d)baGt zr>SZjnL!AB`<80uol`cM!KB44#O$yL;tE3g1a}*2jM)`L*R4sindi8-2$E&N#(mt? zRX(tu*Us?WHa@UTg{Di18GvjmHM6(Koi zf>$~bDK0sH4?vxKZPe|M;xe&%%e^etbvEURT4398D0PM%0x9RbQz6NUczuI$p#Oy> zf%+4m^;zSPP9W2QSVYGkjK9!!7Yz2H`qgZR5J-p~PPH#BMt;*ISE#;P0$9??=R@Hy zIoRxdy#Icl!3U@6^+Ps`{(csDnU7L89HL+9P{*i5YE&w1TL*a314H@+lT3K&>|iTV zhEEI&a9!dB2BQPOITw-;1PGYBx&3d0R;xYRxLm$O)2vz-jEyf2YBhc}^DAXn`T^fZ zWuF~>4C#vD_#a(e%*}KfS_R|ZT|94P5qz2W5v%dNec6&ldd|YsG zv|t$ZC`ASN%h|Nipo`h-MC1(8$F5!1F|YiR5uQdnd&f@YA1}Wre$+u^7ieGA{MZTZ z#R7oMU2(!L;?rzPN}#GNNT_%nKHGT!@t1iAC=?cWMTf;k2R`jMe+-F^!8zSuk!FHy zhlw7SMWhYW^~_Y<Vx1n~8IQJItvDNrN@vQwgAubm+N zKS73G8BQ^Ys-~suHN`kCiZAbmJ^DBp`8GusMi@bcG>3eU1*{)>4Di|M@Ew zD!+0!MpQc)phVDvp}E2gds4Q)_hS`fsB;Sf2~p_!XM=8Wuz9M zKy-k3h9_(p=Wr?Z5JiV-K`|eKZjx@p`*8kNbRo2aHRcwo)th!4Ao7QS&;`2=n&V%! z;#*Y;I-@iXr; zxW`%OPZa89aK)upbMp)rwGZ#Bx3k@27RY}BwzV!`6V4~n_Oi^1wAmFCZUG;Y*#uB| zA+EBH?n1Gv_PEX*R}`9B$M@Fbj9Wv>q5|WY!BtHtJ?#0DSU!^1K_dfCyi5Zw5mcui z)msU_=Hc&}*?Je;>jF^ll`=DIUm4Xa&0KAeCpSccnUS@6C-rx8R~w+L=KZ~2=lgG1 z;0LFT?s+fgF#NScyY&X}bE4@vGJmGc?bQB?$_zZgcb-z8Zt!r6Ga1`b&!z{;(GuGd zO0+k$T|G17>Mi=71AN*I87_)e6h#p!sevVnQDGveYl_q&##NToTPAwYT+<)-c@rCh zj1aYoB6S#?8B9|uaOA9kJQjE0QZqL`wq)M-}1&W)Z?=?qj5eEzvtuJp2sJ?le)pMq~C2h zu|+_J`t#{R2`C`_793?PXu!Dlr%^K-IrlkmDgS9w5au~&TtH75<;q8qb8t!k1EB8j z!2RGO_jGHci_Shd$Vv#f7~nC><@nTBeTptD1RGr%;hh&(C;z3vP)y)g{rtX@)#~a( zXiS+~5Jt2h^C~!u_w{8g<}b&?+)#V|RT=%R@`(;o+jc9z*M(Q_5IpRmQw4<8dNeo! zfsar$=F4qcCuO_7W>|70uxEV^g#OoKP9;Npy>^Pz1Ts!fx6fwvEzbxE?p{C3 zD*6_!jngk8?V>1%+qDe)tYhM1rlSfhdesh50 zzyqf076{wcj((TBPTP$r;vPp2Fz-sBiL>veH19`@|Bm!62(PM+<* zSbf3Z6iH@K@DeftN05nebqs{eE^qie!w>3%{+%wgOtRk7M3dbAA*p6ny8;d&@rxmn z>;C8Jk`L@kqWc^Y2;b>{CW3r-0Fcv8<0zyHJWz%sAzoAC!|zXtXE=$9O`U1^MJZbW zuHbBSH)(4F>Vz4mN}fJ}VXP_fIgtG{apBC}G@}c@#0O=8CO@tirRDL?QAh_N{pO#G zF0;TS;#Ig9SU=l#PQpDeiO>_`pOPcj0>lSAu8c)7xQBlD4XT}Z#=q%XEjmsxGFJ4| zBqg?(*^#G0r}H8nKCRZVqI9%ytqJkFRoSMq(a8XDBx)mbL zGVT)U-|~rJ2L|7;{LZpY)ZKa(1b}FzGIb%-uH{Weh#?EZHOzH}Jk-;$YLcClPFTM< z1}|>k+wRZ%87V)HiHB~RzbOu|=YHBo++L&?3fJ^MehJ}1mtZ^6v@h*IeO4=G2wU@# zLqHC0#GX~DF}vE<9w z5zrQvoO?Q{OrqKhjXR+;88-j~9Wbg*J$2Deuw%L9tX#K{uY`HRhZQI!D@Ww8+P7!g zB91c!p4`y!Ac^#2|G2OhDpYWUV;{iT2_Wl$DZ9UCX)f&WH z$ZJpvL;Njp4yoZOQb~eZqn$H3kw+cWf%VLwyGtb{T-y}fT5Q~8$TZS2jzaTZ45sP= zpTBXw%DU(JI>z5?-D`21ghGtKqn`xjHeZtgL3~G6o{NIuIMcvpZv|J((Zl*8KN#OX zK8BVOWK``O7peA}*IShu+sril?g_`cw8lTMqhW1PFdw z385{ltRGM!%0X(LSXv%_21>Qbft9~~+EMzz?kKyI^boR;d~d2-bevN!@CWJqCYg%m zVL?}^q=VP4x&?f>Dh73`+>xv&Dx*NS-($e`jIg`F(Jb5*Xp*~ce)+VesbDd!h!PQ> zu8et!)EI}2bLAQgT7bg}^}D-gjj4A<4Z4! zc73p10&CgPuQK4q%=T_PXEL4?RaA)1tDXbMLL^$1NWzipOThvlyW|<5K8;im52MtvASiwy2!vbg~Lnb{DZrPf4Diinm0KaHA4rZL6pA3xv)b6W7 zy$651tWq@uc*BZi(0O@0H#FFJ4vQocCY+j5jwlLVG6)nOA*}l&8~lW1=>^Vv_iLoo zq^3se7T4E18!jI_^Ia2l(@bk{QdOrn(|2|%+pmHA$R0+Uf~sW)YOfnP3(h~wUbc2# z=O%ahV|rLpZ!9tzNUu;HX$YLZ`Xf$QKrrr93SmEOx92+&`oE<#XcwK(pE^e8g*nm` z@Jy)u^g-h`aC9mWHV|7qBkIAG3lES!EZ98qO8pL+ za~=W>aZsb{4;ual$E<ig?YRWhmyoQV(OxSCE$A~>i*Rt97133%oSGjJFlfM55 zgad63$&0q5JF{!$qmBU5ziTPpQ?;xnDVciN5a! z$|M3zlB8AtpQ+d{QWLU|zBrDGne_JAe$%9_BthXe0R*fcEko@_FtbMg0Lb-fzM_AG z@A+*s{H!aTdR4FHmc;rd4+nBbV9L@peTeMFP{UG=ss1!iJ#~FcvHJgID~$fN4jX88vO}Ic(u^By>ZNx!=={B3A3rk-|A<`=A=x|{@hVq)SD_Xtu`kq z@-XJ8@Hcrkc*&=uotp}$7mbLae2Or)i5}>D8+4rNyj8fGh8UO4HRd>gK_BD)$8H}u z;9(M9;H#4!w()ow3axf`V}RapXMo}wGjI)NxO(owRB_Pyp;Wslg$4VmG4m-f zMTN`)#V1dB4v+fZ+Z8>;Te&D09eZpY<$*ds_c1TkH7GfUo5=BwwE(pnpNx6UmRRM*ZC)|1YmDZ@V4(b>69a z%f){w*wxc9Lb#bVU|x0msz1fZ#R15aXg;n_?(sj66Wjk&@A?#FwwWN<$g>p{4-Ix- z+X&4p?Y)}C~~`u=FA_ASq^&aQ!XoI(CFaqi!YA6xW(yF-sU8S)kE z;zJzhXG|CL`e?%&z72h*CeofHSE_0xBANaS>Ouev7RLdEn6wtb`(&V)a~f}UqF(EK z30MWK%F?{FCy+mY;nzm`&ab3LZIbRd8ugC#4wtcyVGdt+(vRFz^_nRk~ z5*^L*1)wUpkcY@RGWst+{TKhwt`-k|eNv%?VOPxPHO0$hjS0kW^pC%NbG{5imT3?Z zTMKnsyx{?K*~1%FRrt`R&Cy0?ofVx7RmJHNtEp=Q(xte@GA?;YTty_+pn}>Z1*%k5 zkU5hZ-fMO`HF*o!qOgj(*gnX>o%fytxVcB~r-4k9mSVB^U|NLkCw6~Y#cJ`=s(dIm z{nr~z$;s*gVmgjQ=-ru0R>%`)?mwPL9}<$+*<@AI`orLvz<^AUy?=aF(KzZ|IXdYO6k1Z7cbu8|qN* zb0zgCglfy;b&Sn46>@Gn1@A{7$izTQhX85BKwm64p)~e&HRIdxSiz_^2&K{8gOa*l zqI0^|gP~5+iSDh~f8js~=mW#MGX|+=H=BT?t5?!5<4@$4`y1Bg`?N3DOs;Ez!p5VE z_6OP8ItK}*%6eV^dU0J|4w12<3G1>>|1lFy-Yam2U51{1<^u&&=^~`$E9!JXs!D&J z$`gC8#c!GIoFdlXEDbnZ_q2D?EgYQ7>dsD>$_OODJKJ;ZC~CoOKc}*mN_rNvc1k7I zHq~j@%{IL=6-HrIj;S4{83k%-JWUzK+f~=W;aHKzn!asAk?Y4DGAxbk=tlg@y4Agv z+QvRccPTfZ^K}FL#cw^V$AO#bT<3NSP#Wc1cYJBiAb?1|Z8#J}+RbN>TurYqvuxkm zC@1v#J(EhhQheqQb@jgJKVp<{nOi}1U{?;1pXFWaCJP=EqAzg5s)QFKV%0i3CeeaK zR@#Fsn! zi#37~AqttN6EQAVN+9(bJ$Iqk_Af@iEES}gaaZRKcAE+1gVrrVCcUIKgGOhC`DEVhPT86^|8EzvSoPf_>~%S3jD7Hbcz zlsj-{sP*F|m<*TR4LL{F1gWYT~R6zQ;z?%Mx_XF&SLQV!#uJEoF56Z)UD;~0v+ zkNsmyQ(=i_Q8H=uZ77)IyZ0-#OlmAOH5^8l9B*&cf(=qHWr( z>9dS{4*c^RJsyavmtG7d0|H7oZz$^3HNA}Fw+*^s$7K&b&NgmHFbtQ4}!vCsaho2 zd-kn$HgC9_)~5~@A$Jb9l81lNe_6D(^whsu)d9G8V(B3|DbTotqN-H{=m6wU!t37) z>^2>|{@&<(TnLz`J7>oDx)57+yXF(X^^Ey7?vXmJm3{kA|E+lHD6fojkleg4LX*7u zb9g3b)$u^GTHvdtvtN~*{4gI)l_zaUd+uj)iKu-Z*KwH8!(2gt>UutOa@SkSVFaVa zu7RdO{}UAtxB;9{(b@QgR_`q*c(93JyI?$`#nigT&XLW;+@K|W&htY6R0_L+DEIkmi|hervdkW z#h=P+DiQ0;#~Bq9I19XcDMW#}GYGwz_~-8C=XMyp)XIM<@pv0_pL!F!@PX{vFC%cX z1P~tFmf9#Q=bX2DeZl%YuVeYX7WTOBaE7@~=&K=nx0V`NKHb&x-UAiM0(P?+WsE3<i}Jq*Olm)NY`Fdti_j~agFxTnEJ7+x87g=_|?L|KdbgWrL(kCvAX zU{=$o1aoEd5>OX;z%R@IR~XxT!}ro`q^z%+l;^&bvyb~m>(`6OU}hJT38JbEe7KNwFMQgr1&vWCn*3~d({NAcAld$Gc`k60%E${#zS4vK;6#^%}yO+>J(6&&pC7=TbcCiWSj%&gg4S8vQ)aRL%I zex&0&-wkU0Jf!4=UrDHTr4pB7{PV&dRAfeuZ~1O?jr`WDu9`&k)473YVhP9{`KgMX zGw*y{J06Ys$9UNA$x*aiTIbtz#e&?pCIoDLYV>m9z74H5GS2?vdpE*RS9m>yVc!@+1v`gm`=LwI+g&adFxB7810A8=b*0YQWK*4f%l{+dju zVvONh?|D0l^#G|EH7+EK_=R2i=8U zhstFrrun7cw+Z17OsB~a-S6}gt9egwAE*&@=D%Tf#k5@)rl^Daq}<*}lg>iU*ao?r z&Q|WDy|-l5nW>NKWt)?IM;wLnZ&lqT63YrkP&!1Tn8WO*OI@!D%AtP$uHpJ)LNl&ZbD?d9KduDNw*J$ZejX;#jkqQ{ zV4KHrk0b1iwgg~x-x3vP-jmhuV29{?KOR35hwQ|>OM+YLtgV(R<(l)d6p43sxsdVe z&GIk)Oe$xpB;#4*$dy$5c|`(gVYbsqgS1_jnx~m+F$=MFAqse954yoeOH{*s8hn%r zEF1gqkfaVNxM()Uu36A{X@P{k0tHH*f%pt$a8!w>5r>L80@P2~ZlyX(WVdm?#aEOc zn(sS_!nF@5JUM6V9EA8kA+Wts{M$<6$f=*iL!pd^-u~pHIg$5_&NW=n6ip_g>#7?H zG{kFyG=#qjDcO2DN5e7X=GR-4fzugL@+t2W8mUa8&f+Q%0GGHu zv^-q6`gC7r>3)Kwz-HBn8t4aNTw@t~a&Yl;^|8`}Evi#%s~Y^B+Cooc?%z!vOQzEr zk|Pgg(yAC^BhDu_k%*9hEh;oj*`ULc;GA~E!ECs1H-9S2xr!8%>`*qtG{ZZfJ0?T~uCJF25(1DbvFm6dV@uPiE z8@)4m8*R-0b$L_g8WP%5i4ZmUDJ!Tj@UqL z-@NhG^Y%)%;Yap_5wi4Z3O0NBLR@K$|5KdQXDe!FUsFBSuYT94k!5_2s{0cm_Ca19 z`j#y#OxD1RrNtiPR1+My&zk$?#?CL_q+(j7l~O+o8amKRDQ=6-Wy4I)jTDK{<2>R* zer}H`izQ=EUv$mvH2*;w+7FdMIgquN(Pw^5e-lq8>pET1sAGRukNdgjn#)OXRblA$ z{X@e9Y0ZT5{s+CtNpgS5HB=G{(=1Qo~LD+eSDeHUCQ8PB_l5sn_=$tQ%8H0Yb8 zyoH~&ydSQT|et<@Y}bY>0a3`nWn zs%oVL9KC>7zw>thp$?$xER;F3HrSP$^13yLFV;zZsI{VJ(ba{Z=_t*RInrr$h2W%~ z&iA-zX5PqlnB;MHXfjY=f3B+|_nq?N_-I#~KOj$1PB?t#%^gts1e_&G?xDgX3 zwBQzLu|C_!?Y!sFU12k;G0edw((lOJS)Y~Pe~+khIZ4<} z7q)*-C$;=L;nHus-9`68ym1YmKZT*p9qN{K+RtMC(ru>t8Jzp$xX$@ynl7a||wNZdUkSJ01brfL?ay z+x-~RYqV)eklSDyQawFU7Wl2XyW|Iggy9ll7MwO3R4a3@CN5Cg;3K;73i+0dgbxCBE|kVYee$?@C)r$ zyz}cQ?y@3WOG!F`t&^GI=zn5$y1PT+Icx7~AAPmsf4SvwrA;zI=hdhVPTT~f1Wbo3 zUrKZ>&7AL&!+=n0Q_J}-@uz_BZXAZcbGI`SG*hs$iL$6mn^qDc02hq*4DVLh(aQ}}5&x=reD{$N5}nUNigAt52GUL+ZDmLT)z}B@_bsm= z0vQurL&aP3{`>!))xY2WiE})kC{Tt4L8%BBVgg7WuNB=#;!59$_{TP@N%(x%4E-5frb6_WuiKQFAc zDio!p(--1&5c&;p-2abyw}NH0^E=Y=TSX)v=?ZN6(eaCW%v^dOk{-a|UW(N+t1X8D zRqR-sS5CI02}bsGiGZKAbO{4L}LfnvF}wQa`Xa&k5ftu`k@hoLmfe&qWD zIm9WY3vb}CS=>%AU@J%n6I=R=%)0PdyLs@jU^H-`-SC?1&yrt+F)F`jUQs9ekg+5x z%IEiT7lS}mkirl6-MB07{3fhSPG3zs6JA=HG73N-zphgv6cG7F+?SnA2Kg69m+ann zZ_iCsG>TR5Hbn3F~{qr$*^~s;* z91cDkc4Dg{wL!y1(N&oXrQB_aB(;o(q@g9kMQv4lyT7(3f1kWywbWhRY@|{tjU$qx zec8TCpiX`+zG0jEMc?V5D?~pWmR;1_W?U=u?JI;ljUjDRGnT_m6)2fkaAStQ{ob!xyWG^vubY2Iq12*Rs z1_?$Y!=XR2@VW4mC~cF1g(E5tV3mLGwtS8Va?95O?YkBBz7Pw8l!gQ+Y)Nh?T${6s zyi-c5Q4_-;$^F>7KtFw+cIMuGw_DN5?&FM)7BQj*KAuPv^n~qYk9eYiPp!jl3i{W_ z+!Z~o@V_;IRorW_b=Z}FWNbz8QBZ7QZR>TT_LA*F2bm<}>WR%&m2f;?Q4!{69w{0o?D^66HImcG4gEitNINdsx&AcX3$GC4~7=& zXBRIPa$lLgcikXup7M{l&*igvII_@BZ;0m4{Km)hHMbwW(h7HFxPCq%=WM#Vh0OUn zJsgF5WxZ<32fQ8YN4ZSSm{^%1I*vvIJn}1uVZhG->4#<~%_!rT@y3@G zRhf?cLLtK91?lnAu{u2|k^QDhbY74qYs0uBxrMIc!G^yPyTaBy(=^FbqhRNnC^UA& zYh~xz;Bip(Yz(1a{asil?IB(Kq+pvF6T5oU%=~^s=iCjuURbzxNRe3?0SM0N)|}{% z@DR`=HN>esk{I!|-*{T-+OK^%OmUI{eXjY7h5ctJ)q-=QA^2qdt7rkGZ0)~1ulj5E zKy>q(mWa}{_H9qA(glxJ{%yGg`Z6=PJekrxBtTRI z)Z{uOWVhC(_elM|FOVvKyk<~YRr`BxqngSVs(4@a7|Oqdfc$DiFo2kUH=7# zmz5hzes?4*+T3>h^R(;%`wO{i*^&-x1(c;S4v_(6mO*Hb=WHRv-cGk6Sqz|M_U+MMM3>N2;;>Z{tg` z1w!geic`A4kMp)hM+p~Kp3d{#-2PQH?6-fBj zUFJ0KO4YB2-1#d$h`qj+%=}b!eR(0$^{q5C>p?c??hB6JEQvG7YB9>dy+KV5UB~BH z8N{oL1FT7+<%}gxb(5>AtAjPjfl3YpS=X$I8!=Or1^`*GR#nP+%rf4D; z7(TVYBK}@woFNHP0Mp4f<&4@AC~wQjI93~rht8H}G^JS27}>P;vJLK|!hDKl2)IQ# z)|=DZ%KcQS^{Szd)5)}xqnSW`PayAeDQh9^z3$S#id;(z5}eOUL(*P~)6GZlk{udb z)gug2?f$>bNJ-M)$b-CRIX-fA^0oUDO!L8ki$g z;Psf8^9y)FL`Cy2&xc=FTsUM{TpYE3q7#vN`g;TQ#BZ=7;}rflo!*783F=TPBB8fl zDHw}X3Sxu%IGx)aJ9?C!GRfylyE(P%nrFQQuNls}`Zj@xCK~EV9Zhmq@A|ZiSM*Ca ztgv~fuW09@XL|v_DgS9#Zt1R*j>KW1y)G|01*HoqAI!GJSzt?kVw~KD!x{gzbu)J- z98Z>OU(zxr0-HCW?M{_%sNp3(2xr>IyJKn{unHF1E&FSN6r5@nl%j3e5P=}tTT(+v zAe?zit0tlJv)c>H-=yr*CSayp6rQ&2$83$zDTEdoW(oAeEhl8dP zM1JR+!q`2PPW@_@vGNqBNDjS2ELymAtzX!z3G2A#AqfsKYr8eW z|FAk5?xugf!%g+M2u=RBg{T)22pIN~3tJZjR1oypC0_5Hl^f^3tcwr-p>Z|NYYQU% zFv0rJO1#<*xfO6*qO&(ot*@$uJ6FO&p!;emU820kUb1q~sl83vnstjKR<#yOvj3(leh2}bD*iJF{Do}S;{D?u0f zPE0)-+;LVt3|~HA^#P|ZXPE7mc7U(g>%3QW-rzR3e7$q`Z73Uy4vSdSa0{$>e9(ar^7Zq%|H*55u=p^0DU#-LIuXdA} zR#J{G3H((}ZoFiA*|;=%*ksLP61nNYY*6kwbG7LDBbGLr?2IERkF-c7QiB&8e<@Cq zY{X(brUXpSowgC>ekD=AC9-~w)BIQmV}5ELf#RHpwmUt`zikjFJ>mIL0+se8&9E@| z+<0229et3!QIJDo{GXPF4f?w!yJE8E_FB@wF86W$Q;!Ul1MIZ;lB0;*(_dajr+Ttb zgT)jBBqB!JpqD?nx3bZb)(silboZ^BcvRTcElsL`1k`(6Y(kFUI?_6JFgL-8!Z5 z>5qix>u$s2$>+kZ_cjV1Z#K0>9>np%8J{CDSeri$=`f+aQD(tvLc!g0 zl_|Ot+1dLw50PI`O-)U91ZW!fG~M!^KJWPZ`D7)*GcYOg%d$+~br-%^+K(NdM@z69 z0L$?$I)xiwDyOgM*bDm)YYc~14Sis^SCJJyAJgL`06j-{=F*kPFa*E}%WsQ`7M<;X zqj~I^KCZET>P@FH{IBKFu6iCF{*SM}X>0HTaVNV<_L1GtQ|q+Ys5eDW55MoNP7ykl|ex8(8cb2{T z`I!CZWTPOF@SY|76Bk+ZQWf5FJrc4Acy-`f)Hg3pP0aDPY0Lf%nQ^~3g7h^NQZGLl zg2$c>;?CAaTX@LE3!=j&hN_yMj$`WLpfD|@;Ye70B|#^pDo}{9lh}8Taw}SJ)20N+EQmAhGm1(#{{}$a4?jdJ2rZN~mdeJ*)$x*@WU+Lf<&ELzYF$@pq{jx_6 zwC8T)aK4ptbVUumES zvb%0zcVSIRqVB>)FgJA{vtptvrZeRT^mL#oiOvTe^S(VLYMo3n$GjWwcOcy0Fm9WLp+=7P5v zdtas{^d|L$*Bty_U=JD@@lgDhQ@>fAY)hOEN7=1xej+8PaJn?Rd97HRGchp<6Ru!1 zlE?E6RU6XIlzvsjhUk8QwtTFpJ;hp)>ku~m zNSA$k_zI7~v9j{wm6a-D_o(d%EeRPyKw@TsqKkXiwo81dXo6KzL*Z#i{*^Hf>&(P! z`lPe#wB}S(0n1-8rs%`ae;weYdoxpb>T!$-CfLScp-pQyJ{|tXC9UDNT(f=AB*AfI z#WrN(DSh$N@8jMHANf2qm7P0esx{33f8dxN z7#H86bV)DRQ6Dd*j?h7rJ~HM`IsHkNhcw!YQ)cUtJX%$CxZUs1>z_Y4*b&8PO!|}_ zMO81PEJlyoJa3*-@*%rfSdGv_o_JI{aCz6-nK<-J?B>vaAzm2epZZJzf#ib=5)=ZR z)OCnV)^gq=YN%KHvSdjrq5pS?*_(Wv)>%%~+s$AAqku$y`*u7!F1RXi-Q?^8AV%S7{}uvWW_>A2g) zp(9lM>~~yIWymaFcSMstamwk$TVe~h%#|hkm}D}Ynmu`-{)&|4X3CKGE%wFl@=prZ zJuhDM{+nUE%ZF?d6aKZm(8igcE1wER?(JPgyc+*{<00#`X%Wm;gPi$|JNHm1XUXTW zLG3j4@h^eqv~k0tumvi*3ki$T<7tQW9*Z8n$!oNe{t1W8j{k7FL79~06+#~+_e)Jw zR_OOUu@WQYZMyGb-PDOVNY1^yD%a|HF(jCQMdbqHBvi7k*uw3M6rM{-8%HShL6VV- zxM`7k<)YmdckvdPv3pG8f@uSTA-wETNGKv9)xEuDgwLynon4_}#mNyUDC~PX1;?kd zr*0j+wvEmBCT>smgu8WZ04gxc*ZoZDi0S+!iC^d2>k+CR(H72yI(gkWYhK8+f+;Sx zj7l?jJ5=NrDzSJDYA0nGu~D9db%c>p56-corU!|9*GO1#nSl&oEjat6;u>Yl$bMGI zK9p7)f>r7tvb9gfV*d?tN9lxBYX^3+RwsWCbln$uVRo=zMt3P-uEtx5!`M|FP%qzE$>-isFp5hfF&QIq)BhJXk`GQzn z@(jWRs&umUAMbqf@ggv|>U7ruT9rmw%W}Eb(ZRNHcCN4b?%9CQEKivAU?MKeI%M=R zQQh9*@pwTnsh&VP1R41e8s<;}SFw84-Nv>2B54G9c!Zvs%2avnjoMshpU0nh%qYSU z&8Ci5%>B{rCtC3G|1@{i4^4f4e~5shgn=SR7=)Cd0@5KEAR*mI#~2_nIuwgg8l*=E z2n-}Px+DYgV%)zRzFqoZn#go_p@O=e*DBoiDF9zQ&%~AEDHc z=kGQ1p7TZ18S_grUvi@Bu1nqg6f=@$v2E#)Y?yY%5-!xC7%$YP^^GWJg>t#8IlwNj7zBWEFld=@N1!Zlo>*9`kKR4Fv+Dl>Lw`jW>C4RT?G zt)vsj#LzDLU3CkK3XJzybcOd0oBd!JhG?F{5G5BkW-|F?Vp$_ZI0%G?&7~1Z_4>zC z?O&9kW&-oR95>gnYtd&LxZh&U%bIU{XK>6lUQ^VcEI1IH&-7ZqpmW!j)|AF|9HLc2 z8!oU+1-Rdv+SiI?LkK3gH0_S6E}xmVg$-#rpopP{H*@^F`@7*yB?%ctVIAqI=N>VM zt6qSt9Yvr1_HpCs1}s!#y$`zBqaTpw*T(K8uxRw$xWbVuDCqjbYU76MWW9xbNru1C zpy5`znNzw?`#W_EF_lnHDX)YptP@3|!w31=KmbWX+1Ulhr@b~USPdTNY=pzbiXaY5 zl1`ws%d?$dmXwlGBNj$IcjzR}l$4FKIGwO=y)!ut2jxs5njn)trZ+Z-Sgb3gadlhI z{@vELUt)+DL);C&KD7Iq&uVP*NBYVIHlrK&Cenos-@d4dZz~nGyR&aeb)nm>4TsZ_iql6`c-O<5YAiW16DkZ#IqXesrp$&``PZB1k^_ z^{&b1?h${5#Fq|6OEE`H@#W=kTiY}=B(vhRLrv?^4o=dsw#2fty_q z`9I%K)T8@semYtWhZ-T)y})rtfC_D>GVBNV?hZcN0*c8>3a#@UUm-4|FuT+2KhgM3 zLoQMz);W@>DT`X{@ENJFjfZO2)4inN6x(#KuK$ABrWl2zevI_cq!fHdL9UTGIw4^o zE%WN_LVa4DTBU`1Z-}&1zA2wrj=uFkKuSQQDn81VJu1Mn;W1G8ItxXL#i4 z<4H)KUTv!>jOYfn(u{vId?A9VF;K(kr{8YNknK*7`2;`lZA0RR;(m8?M2z<>lGJ(@ zo6fsspL9KTuhKcb;9p+@sU@*zu^3}mEQj4N=~Laa*d#?m55I_1{Lhgqja|=Mo(yyv zm=Zv4WQ@F@4W#3x*LB@rN%kLdG5Q!H{Cu(#6~aDcF-IEYU1b3nc&!H=fHA*OO6R&D ziC~jD!q3a_QYJ(s^y%o;`I<@`y?57-IbgmkSzM;iW?M~9g*VZm*;bc@jie~$Q6EF5 zdsK36x9BYyee~3yvgY1Eb}(EHW{Z-2*QkrZU{Yc~I0j_x#ub?~d_y^;i?r|5ABSXF zue|at*uDzI1{WOHS+p*Ep?i={@#wY&|-SN@_IkGDzLk zi2C(=r9zK1v~NJC+mu7B=}J5w2kh5-byDt5_Eb=^+e8K2lDz*>SxIjg-n3LfNgdob zqL3w6%<=Ull9a?om1dtkeuCB`qC>@(PTo$J5PnbH*6hyd^rU$zb||Wd=NRHgMRm<7 z-RQgs5#52y-zIoaBgYFMVcFC4C+6P*Ax{pSdvN@s$>3x4mYRG%c~R>@in-tflw^2m zeJbsP+T3W&=o#+FjceMfnD=P&9yH|v4ilJk!2sLjA3=hJmpMs2t{<5{DVYZeeoWfA z@NM%^$x~7iQgFPbZo-i#L^O{ke925RV`d7?_K=vyAtPS$^<7Gb2fvRnqq=BuxCaVEWJ>wsQjqgDheE@ji-Fs3DjSLJVo!$9mHtA{5 z((*E=;Fw1vJfH!;R#`87L)U0VYw>dqe*eSJPSRGZg0bR&BD4JBx@;$NcI=fP&G&ZZ zD;gW3XkG1}S*pjGt=^6j?x~(SJj%@Av8F&n0A*l7Z;l4XSH1N=Xce%&7K9<(&JKGE@}PGnvtS zv>aDFY!QyEd9YCT@XRT;=bM734@=As%LJs{WTU71X}<>(Q-AI#{)!NZ_swowVLo!f z>ejnq%{DvxNLa10?jp+B@59!2d8UQqrLl$z;2^{T8j&?=jLw%*oX~X}lwSCSNhE~E zD&j4ZoQ?wCR{1>>oo=s;LtBu#R$rLG2&?pD_xNP7Ay*^6uxnxDN_j{FAi&^Zn1J7z zGjB{b>=H=SE8gr*P5AIp0`7Ak-eB}?t9a|vNyFK4+9dbOZe5pMNRn`whO$N4abXAD z{=Zmyr?Zc&tKDny-V7OW6@AOf43U3y;9~l!c$i~I1$%lFvg?5~=hE<)O!cZ*?BDt7 zIrb}+6?S4$$$mD5?HDmF1&Md*D0}{vkd$OLR~vcf6*b#KlOs__N4YF4nDp;C=DiRC zm_^G~AhWX=1&x@`|50H5_?Dkjhe{zRlEBCZAW64`l=m!KOWEQUhblfJMHUL$&><^FQVz5cNPsQW9I>(v_R8|I(!BYJN_yHBE!Oj0JW!`Nib_pzN7@x&q1 zhT@C3i86jF!srp^#)_Dq9wJ@MI{A4On`OfJ(Gh(1YKmKm&8DpxRB9&Ez}{z$#6{ICdqG>zqWQ3 z0K4&%hM#SldZ@>9UbLs<=SjY70GLIY!8Z@mc^NcAnuDM&-6j|ivaDxz+$n>@(JoZP zP4BwQVPV6=tyfp~_GjIb_#VGPp>0?otvzNMxJ4NS6iyGBQNDTLW$|tDcyL^=UUN8E zLy?aI7&QffZkFUtsa-BWGyB`Mg(Nw?V^%tSlEumc?rPc#M}B>C!>PN1((J}Pvu!PR z+c%ZK?v?f-$5W>*PSHgZJ)9EfPy>(dSg5CxVq^&ZEeAsnIMv&Z9KyKX9E z92RgUuahX%MSE9+yA^&za$jnY>w z=G6&YK1?1s{m%0t1hKY+hS|9!&ATs??&s2ONF;IAo0|&o(6 zNl|-_pRE$qCleq$6PwV@3Ke|0%0iu9=Yk&5i((R%zdtD38s1Hca=T?DQf}{SnydEx zP-uv$UMRO6Eklt?Gxj}e&19hff7RIt>cW7V zd7S_;bRD=;7Jo^IQA;C9RJ+Ya76)zemdjBfBrjO4tm}chhDopa?^3hTu0A36+{2-=@Yi9uw((uYFJ!JaGeI=@zY(jPQioNX)4tZzI*FB-n07aX!w@aVy$gx)aME55r_ zg{(;k{#bd_N#k0cR)vy7 zTwC)cra?sz=TMz{dtSn~UNotPgqu}NRCYCZ*FixcPtWSA1M@S5rqIO|rq|O8RZyIZ z(xXI|-;??s)OuQh|FT`7bij)|Bf|@?GA;&8q7p+af=*S6k2k<+SPEouyCb;58hXOS z%g!XoEm}#}{rZiZLgIBoT4@G-Ft(r*sUU*~|%bFYEh0 zQf?*H+L$EOw&7Y2gQZgUgx-^r6^}Fg#Cg0cPb#HP$GuP;!qhr(Q->tU^8MEG$b zqjASXoZ%_;ATCawn%qFj@hY%)SwO4;eI}YtNExVN3QsN1nzyF~v^G}G5R)8-OpM~Q zDDsOp^qi*(6qbQ=)sD|*((o5z@isBjzp_^Rqfyn?0SU3$MyUWwyJ?y(BH~rW|I7^Jotyn?|xj`oExu0!qUsIbrW>$BR{^gnk-XgTrKI zUT`!0)cu%1apM^uGa6lT_$M$^ouZixb})g3Fkq=B4qviVuvm%J6d0mvbodQIDlXQ> z9XAo>9NcVZds$3!2XO%bKzvqb*C*}U2TLV$42@k_KVu44V}~?tPdRZEopJktz!n7) zCU9rz9s{};b7{95Xt6Gcro$~jo|#ZCIQ<0X1kQVy)b~U!*W1iNw`L~6U|3DbGljdo z8%betZCGp@TOXZ)-^Zt(arV1>>}*;*LZc^%*Uff4s3@eHKvM6LJhgLBH}{ouYYK*P z%XE%0i8D&#YH{1@^-S8se@_t%)<|U;P+$j2J$ipp4a<#mTwoc9Jp$p2*JG234_e&K zo#5&gVJa%Bu`)nci^Cqacs`(6ix81S)Lq(ovXt=a%MaiaxlUTS0nyA{ci)p|suU0E zU@jjg*6DayybiCAoX9U3pP=03W~DqeY{~OdyBTPrTA^WjN`j^6W)?k1Ke<=D1%~)p zxnf;OD1MmmF7#v$A!&5OSp12M;_EWPM`vpva4>5g2aiqypn`v{{igTskd57jZBPfn$G+{& z3YCLsp&lZ)Z7>OtUzU()>#4ze&!pM|!l3E0P28(^*MJ2#I!>3-UE5s2po{B94Zt~7 zEW`GC7Nm-vT&&0D^2vGC4&0F7y(al2v5DzYZ?Gp7;UhT_0EBw+O3>WbH#>e&ldhZW zy2G>XnrfVfixv_^$=Elfz>*b9PH23Rv(h+&nlJuN|PFtyo1>2?tl@^4Gvlmsfj+uzut)}3ggo5ST2I2?e z{3&xJql}g%v)gV<`@wrPUR29M6AP0!$ad+}2DukiDQosW_ZI2xs3J7GX(6ttw!zKj zC%TRW8(RZ%hV$7ct_raw9b?6Z9vtMUfs6ENc$x}8XIF|khZLsy{))8`v@TT#|xDpG_f* z0&%*cmb*wN`kYlnIoF|g{F$oa{51sI`###OyGO`YHL}=X!Z+DpgoT_avN&hk_KLUx zvN-|^3Jm?ub)S?xPpKftNCBA+PxF{&-97+1gq0M7wh&zxkZ`qPGS)oe@1L=q9GjL* zu#4OiTIYMbuU_ucKCaMp>10(wGzBMeu{G+=Cb7^66eR5x<&89x6V(}T?SAPrxF-b> z55QCo2YX(LZ2)s23O<6)X(+3IzC;4LxdEYDXvnc7!}>$$%NDS4G5Ee!=L2elgg?{m z8njpHQi%T0Notsim2Tn6i8tvbCHsqsWl)FP)gRF(gc!?cv2Kv~j$*p>WYMZCYm`$&%PdfHN6WH+urxf@V6Fo+!01{J3`Q*g9=oc_) z=4PIInMbhVg+859*HIvfOIXO@gjJ8;D?h~|P?kxC8B5@QN#B34J*L^K(fu z$Y)6{4DZA8(1jMakFIz5q7V17JED)I9U`pR`>vEEa-hXj$p#5gbCjZ(yasKdKLz3{ zysSf2*MG<(;g_@3SMpXU7(ss;;lrva2$CM1qQ`B0Y(~?__KX56Q+r5gUDxa2619FS zhLWf`FN{)Pv8OQc8zyibch+|FvAKpkvMDrM(5*CZ!as6x^j9t+j{&6rKp<=Lh%NNk z=UZSF15%{>*)*VgsPmZ4@?|yFmW79>&LMk*+wUJpbiIEHg-_>-7Ut}{Wl0jaQn~jK zBN|P)k{YL7!Y(-1amyN(Z6h4)h){??lAJ#Di+iNk!yk<^l1T0T`wup~A1%`wD46?6hm1rt%FNXSR zx~ZG0#c7zw=-Ym!qct@DO?_U9RWYw^K-QY^7i_=`hSV5RkN(_y8-1&G*&u~ZF&iOx z6GZVv0vhzDs%(XHQ;aTuNFKi8ysaA6d#M!4FOKunuO(}L5NF_18%~9V;Me!Bt(`$a zQ>czcjAl=46(vVs4&?Lor9Z;wyTM&?lZoayGU`D*)HP2hLM+Js9W_9R*TcK>npbiBhWnx)oKMJ06AP}02-($ZGcJ(zwp{F5$t zSMg_h&)d;-o2YKTnI7)~nJu+?etYd1XbioIB%e``fxBHVxASWVq|MdrX6-AUHuzeu z2}^<!Db$mcy2tP;-i+*F$2x{yTrB{OSK4}tz#VoW9%od5EjtO*n z;v*}Zben!1&XSJcsb|Hai6M+!I5F=-2|GL@{WdkPUkR6apRaxA#gWZ&anlsi67C7O zE{D>gotf?!cJ3e*%`j279iGH^i=N-bUjS3PH4r`bWk_ID-MiLwOON05JgzaGx|HZt z8S12ZIK7FXcn022#jd4kygIf$LZliy^DlfKx$b_4ACoH3gM{s5KABq zyDi25ldsNZ{cJ7TrRX_Av`h5o2?*pzCQ}LgA?M9s!|K6bs7vTJF?Vzi;3sE}7UaS5 zed}Ha0a+1z85pI{KB%OVl{Ut{^&3T93)?UZxGCewxxE)gV`UgV^gDcUYapOlO$J>+ z4XoHdJpnOAe30p+=SasDk@Qah4=Z2PNBi#gWWp9Lr9p9RO{&GC`II|n%9i?%(uqCq zhG+LS8uR_sg}zw$ET$uqcBbIQJPW`imVojhyd1XL(kOGj>v-V)6+6Pj!E0Mb$wF(< zMN{ngpvttuo6y-E^9?Fk@w);JP`}hZs`}DaFubAET+%94r(*5L3xpc$2S#8pwkUNj$=T&`u%Y)E?HWkjHN zdvkdUP5mi*akAUJ*hT@e_T*YwxlrF|mhSngNKup@^0=r%v;?XZ4Uc;5uGLo{_0lHA zPumY(50VCgD>@ytfh8%JPyDGk^CeemWS6hp>)A0lgNB=oG~+K4tfzS#nAWU~cG?xT zh?6e~>lX;D$p}v9Gqg*M=l}pO zr1l@XCVnY)5!Y(iIR13YNCkLC`TNk#uaYTg{HE>urcd6?nA}OOoAA}hkqQK^p``tz zY>6;!P{{q=28&~&nh0CV{P1Ci4pBfp{iscM+@dzUA}!RtLf`RaR@KxGTA2ps zkKBTl7%MEl#yGPU1-h*VU|akwi++yrUhY{NZ`_@4c*x5#l#G-KxBW7A!HWi^(nD%g z904`O#U(~*R#JTRi}LLDWnxVkurzAhz+p~qKjeGE+-}o|>kqXKXsv>HOb|Gi0o9%v zEHV`9tv^*^dZ!N^`Eq7BCHFU2R%}oQ9*B@iAZlM?^f}A;r z1~yh*FjO!cGvVo<-XRhZc%M{;h)|KcH0H)`hcICA-R{TNbbQ*| zX=W$gm08O`Jxq6H;uw$WE7=4PjY4}+^s=nxz-enWr;pFT<-1S%wS%7^fGJJnu5rIy z{9#BVY2n91*VRu5149(=|RCma{GA9NJOs(-HhZ;M>p4RVY?di8EVBOurcA9eG1S9nBQc? zjwS_!Hx11o*1kTY@sY%FZz6G}y^6N2>wfMh1fEPk*70-{?ieyQtlQy(tVq zJn7|2hLj>Pj%r;&k0Hi$kddj<=!a$8)Bg5KLdUeq^~aM+}O&R?NnbetbV5NoFU2-G#{QVtbw z6wZLyakn37UZ!$uPwb@tJ&ImW=tE!|G0+&mh2x)zk&Ew=8z&r4se~(yQfIi-?9Z{} z20qa*FL=2}lf07OxhIpiqEWVk6{o}o1^U02-dqh6S(+lJr^ExA#1swgjx*zVGoKcv zo&~ONzk>r-C*DP+-1NN+5*bm;c>2QVs?wc>+qY{T{&@$;BTFzR%2`00$D|8hcBvI> ztCuZIPCRT9aGy>%ED8DaTYEN@cWw)Dvm81JqB{HCyZ4`KL!mhz;7Y*c77dn?(%a36 zvVc`I4q=s<#ROsGs_!}A+}gRh6w-JwJKR8-?>QhdGC%Pxz1Ir}K5~oDK8oahpgB54 zwx#FPiYLVG025U4D;jA`I4Wy^c^b-E1iTO|+b*{}(gwW5h>aP{(}5c5$v^z1m$3{G zW-mCN1__S$>*2p13J~@=Z#JvmnUH1!Ty?+O>odrZM+Nj)OiA6Eg#gdm!dIM5C7m7- zb5f~hKmk+5z8vWRoPSR+Xa?DLLF^R)AI&nRZ_M_)_SUQl0)=*ZKj6>TkOz4QkN74@ zMf{1^CTq}Ln=KkE*YUq6P$gv*KOM)M~VtE#ckeZpBv!1x*>6z-{mO0YfI4O z&rl#rF97Rkx$fl#(FY)sKXU2nZ;@OC3yD2u6o3p7M;gXASy+R*n~)zQ5u2M+1@X(CU-*R-eq60n5=eWr)Qpm5>i=@RFMaz>cM-U0C;GvsY@_C#*)9 z+q)%#rJ#?6`&+7vRF(N5oQ4jL9Aid)GWKVd$XUmrF-m}Ec8NdU8E)aXgtCs6+vlcA z4&rff-$+G0VS32oP_4l`=OP|*Qds}+@C@$Tsec6JW0TAF zZTS%*OU3Bs$T7n+qn%PF;)3?tT7+`avmrI8o^r!L_>~^_i8DKZyRHL>LbITNa-`WI zFAnv^lx#f3wt$@vE9C$OEV;FV!nS8yMgm>tX*gQpAjZ~RuV>Rc-AfW3QWam~xtdz@ zGXzh((?j7zE(ZEwRSk~YX%Cc`^zbWsRkmp~b%VOc2FO2h3;qbmTbO~AdsNxkO+M>4 z>ph22*FHGv4aOWc6(#>H^adbr!T0uu%}z-0uWlbUSztFP;!#c%>0RNXUuu8Xl)(I_ zEBR`$R-<67CK-n}OVM=czIMI2O3(DHBHROpay5$YHLL_T0j7!J_a6dWo3>&|h+nax$z?BC})d;l; z2B5f+Z?z`h3ZxZ59!Wned38i=*s!kvc_Q1RG|;WLyc{qdab7bm-d|4f^eTFFbGHAZ zbhR@II&i0*8GrQJ?=Bz+6M*&N!qCmlggUMZ6(njW%AuDh20I^Ur)nfVwz&?%f6K9m zgT3*!(*ylw-q>Pg1j#%@WP2N7G2E+g+8MymWubuXaC}>!ObRrY|Fp$ z=P1aB24{ts9}0n#AY)EZ1c}n z3%*Z&;C1^nBXJRQtS3-$Bs>c+sB7~8?*BeVqgN{I`o1F6!0QFK%Bp9B)8pi~2TBS$ zKIwVb?DW0q?aoK|oDUs)pOx{gJjL;U2J{+CLfAQcjooh#z=sn?D`~P^YiVXkBpt4G zN(2~_(Rhwm>dC(K8|eo0EB*sZN$@s$6A+((P`yMA|)8k-sD@64Of;%C!7hERK;(f?O;#{;p$Xddik^Yg9%Pa)YX z4h%jjNw+Upo@$ALj?CYbO`yn%5z;rdxBJ}qCZUT*A#3iQR= zvpa7=F71NvJ6blN)c~>5q&rwZ4t5_vU3Ma8rJ|Pt1~!T)FZZ{({DtXRpspg1l%`}< zBkc1?^L>qBIW>lpZUdUp{ZWTa0OeYZl%h>NK>ZU))LmB7$x9xF!Jj8<1xhL>&V0E9 zO{AkUq~x~$P<*y%2{0vq7R(1Ce-!P5bf4@Z;2zG*dR z|I88C7dIanPcxK~4OZ`U#Q&lGg2;d4c6)hBiC-&1v~6c&^B?5zgBRz@Xq zJ8{hPdb#6W>*n5gjY@MQGM=1R=Tdd|cTg*^0A||6FHJo6;$ai9s)1HIu^8k%n= zAxfmYC;3)qxa!;&fI&a|pY{@jMUk}!MY%E&9%68Vb8g?PM?|^E@61cNK zXi9hoTG6ln{c+krR^GS3Q@tgT|&lNq%#mLRH#yYQx zC{NX}09Y&UNZ2|R0((8z_F0`tde+~nHryY1 z9MZYR*Be<5EgV6O@P*#APjdsRd7?0HkLTmvE0X}m{cW^B2If1xe}C}6FW&K*|8Ka- z<@Q5oMryfU?1%3=aux7DE%H2E@69<{H# z>oC+%v`1y2cgf$Xk#LP4xdF1s{$4S7$)1WlW(wfp+5p_s7S_wn_ZLNii%tW6 z*0XZ}+=FcXyMZ|M31f~5-~{`pgW%^t3wj~JZ}i*BH~h-U|rWnRtu1f(XEB zX`nu`a|s`4knwkifNw-at`H4?38_de!z6Mxj?EjNL-;;jy7(6-fqtmK0Gs`R`Fyb% z3Z9^yM>1j12Ao5GThtLyg-h5@8A`0BjLs;V*d>IBktvD(>t}Oi0x)#Hp7o%c&}03t z*FVc?PxWl)*-+y`Z49*m2bdxC1HD-Y6(53YLsk=Nj- zU_dW-gdSjh(LzVkjITgmAwHS-ec*o&J{#2H9!pgqEGl>%VL|iX5jVjA7MFhqclszY z*f@pIH|IrTDPal@xfS1c|7!(v0V)x3Fn02BBB2YA5j9Mbz3YzzB=_-H2i%`>-M-$7 z6lb752=Z}5!~!n<-wQ_X>_no+PGOR2egpr%50}S*dG(1988E?HC!GB3Rsbq2xXCX2 zurvKt=)iT?K)t7JK@S=4t=Id>#;mKqaz9CE~|91!G zfWYvm%fJdj!}j&b1kXP=2CsuprZoe?0Kxwq{?GsS{0W)VMJX&bK^(V=^DeGR1LBB( zZsb%3(W#vPW=rl=U(oA z)I#vd(RuK-2(b~ntwZamiggLJOsuHWLO9Wu|>H=x3 zwFf?puLahnF_pFg|K1s+tjs?(@WOP z_<(2uDQxnm!j2o?an)499Vfd){eD2ig@;_Mf{UI`p8_`)M-BBi2!$8o7FT-zHUx&Om&GPY?Kf{xvOM!EEW+mxZ+(Ageo1V&$J}Ao1Y1ITkHqoB8@-mtXsIQT>00L0(4x zUWZUB`j13{K)C*Jb^iG|_%xWTf3K7e{qOt!(Qe2WXkPx$Is}$H;Me^3Hb@*0v;X-^ m1qkf_{Pq9#ac3{D9a45fR&j6Rcu3^&K2TOyDpq{_?0*0V>*QYm literal 0 HcmV?d00001 diff --git a/scripts/ci/copyright-exclude b/scripts/ci/copyright-exclude index 59b108cc6cff..491466a9b151 100644 --- a/scripts/ci/copyright-exclude +++ b/scripts/ci/copyright-exclude @@ -1,5 +1,6 @@ .clang-format .diff +.ico .md .png .props @@ -14,4 +15,4 @@ gitignore gitmodules ignore scripts/ci/copyright-exclude -tools/make-kani-release/license-notes.txt +tools/make-kani-release/license-notes.txt \ No newline at end of file