From 61f8d81e0b44b8408851e2d3d3d728678d993c07 Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Thu, 15 Jul 2021 13:19:24 -0500 Subject: [PATCH] Tidied up the HATRA paper again --- papers/hatra21/bibliography.bib | 16 ++++++++++++++++ papers/hatra21/hatra21.pdf | Bin 2985554 -> 2988107 bytes papers/hatra21/hatra21.tex | 31 ++++++++++++++++++++++++++++--- 3 files changed, 44 insertions(+), 3 deletions(-) diff --git a/papers/hatra21/bibliography.bib b/papers/hatra21/bibliography.bib index 9519ead3..7a92741c 100644 --- a/papers/hatra21/bibliography.bib +++ b/papers/hatra21/bibliography.bib @@ -34,3 +34,19 @@ url = {https://corp.roblox.com/2020/07/roblox-developers-expected-earn-250-million-2020-platform-now-150-million-monthly-active-users/}, } +@Book{TAPL, + author = {Benjamin C. Pierce}, + title = {Types and Programming Languages}, + publisher = {{MIT} Press}, + year = {2002}, + isbn = {0-262-16209-1}, +} + +@Book{TDDIdris, + author = {Edwin Brady}, + title = {Type-Driven Development with {Idris}}, + publisher = {Manning}, + year = {2017}, + isbn = {9781617293023}, +} + diff --git a/papers/hatra21/hatra21.pdf b/papers/hatra21/hatra21.pdf index d68ea07ff10752470ef0ddfb9ffc160e1b0617a9..293e29ebd00cc1377d7400d086567cf2dee6da7e 100644 GIT binary patch delta 70081 zcmZ76Q*@Y3v@qbqpP@;kKDADL=xQ{G5-()|_)k^fxK_!A`Dcp5ik4g~_3-)Q-rRs-E? zaK%X;-b-dXZo|&t+NA0$H;!c%5byffSv%j7_f)X!J|rQQ zq;lVG>znoI$QI4m6>f*tC7k`;^N z!rf!iau+xQ(a&~8$W*&xxUzH~U|}(xqkp#o`vbCL`AdR1b4n882wcB;wp@HV>$+sc zv#%K-t%Pp&fa?_yf%8=MN-ZMirckwZ{m?@Vp4CUDA?!OW6=qkAncKA?kDxpR&G1{> zU0e%$umMHYOCw*fM?ol9$3N&p*_gp6)u7uc8rjsyqzi0;F*)k6FM)n>>+y3wwvJ;3 zZzE(yG1n_eWGpLMXuzU*Iu`IRn$QSru!#Z^lS$o<6*fk&O&^b1VkfcmDW!9o#u87j z=R}olSy!zlWTuApe*rv3 z(b;WcZ3bbCq7oXDpq_ujkomc+(#Z6=bMmzs6nzsAN4_6E;DHJALsWUO*R>Q6tR#vSc%8*S*vj~oCoDoKGDQ?Jz*a-thUhT0jG_kQI1B)EO|S~w9k8@ z)6i;Xs87xmS}AYsJT>a5SrnC%n3v`~c?$6J9{uj$n;XcvvaXF1a+L{NyCGAHo=SVzzy+M0)!sR%l%NQkKAC` z)Gs$e!x{(cth@E8JzFFSO7}6FwB8JkY;b!a9*gkL-J!{90?@rI*a6Y zSA>lR9J_<2oa0?BTD3y-d~m?5_hdb{`^w^dJ*%2B?vz=d@>E& zrry;ADUp1>M5?8r%lFemhiyQZenuBnlzVN{qjSXE?rCi&`8SfT{^ay0AOAi1bMQv2 z?R1x5{U};dL$CnLY&q$MQilXUbMv<~MIiG-lvtVMLc$J>Rmn1h`0~u3U6OR|p0v7o zP7Ot_0+VXZ_BD|0T(!#FbS$FFDu11}!>1r2%b$IW_~_P!doOylHCg+)}W6 zQ^u(F)nnWS8bJu}Q__OiGzP~*7uc;}xw&gmE@RSu(e^uzzvF$LG=!Mf=vOe2`zcZk z{BvXTUOxLd*TNu!Es`zDnFQe~|8$*Ig=q52%({$jI6LtC$23CmuU_3@P9|$+ zP-#)_kzN6#ySXiUT3_T+?}AXmgCGQfw20x1kb#o%!+WgI?FSjpV#ixWsZ48|HQ&Yl z+nK4aOCDLl%g5 zrn7u~H~%1ZMqqn>xj(=C{TuQ`2HVLoGOz3&Qjc9u62Zo-qJmPo!k^Kx{Q(GFpq&u= z`m9}$W4_vx-N@tvgdvw6&Dgnyz+(ei@cdzPq7YWH9dvug?O$x3@}SU<;zyVK#-~mu z#ns!e;x-G*d*>J0gt~2W-&Xk#{44B>Fhe4`r~P54=5HUDI?2GgkI?%&N}a>yQ*nQw zpXf0xa!~m9zk{?R_)=T79?yHEDB4A2UPi19x?~8Z{Nn{q<-*<;K~Gg)z%%zdZyg!7 zXxh-_+Lscm69(aQ)U8nX9!Yp&v*ERXHY5BkMcAyB*a!(Il1U<@O4*3b)dM97ChW7i z@$uK1;4)#!9Y5n2S0wf3McxWvY9ZN`zg_oHrt+k}o^a7)U2+&t#JBWTtQ^db`T~hC zuq1T2a&`u^w}hlmyWdp-lgdIT2PB3GIo`%GN2q5I0vt*mS|uXErEV4?bM~GkF~9Z= z%hPA2>HpkE7#}~}@g)4_nsnbch0L~q>-U=Q*mv8Bxll%Evj*pLDUn;lLwwQOCmvNS ztX|JOkJu9#XD0^Vj3x0t1iCLDcZOx2M+#gboV-kuVDp)f%yW7G!wO}aOkQuQgRHS~ zPV$hLAA-n)+41kta?$r7Yj-^hduIpF8kwkmfzjiy zFgQCF2XJ6#1@WlxuAjrUMt$GOrL}ZvbgZcC9!v%ByfzIi;8}OtH?tdI#*62UBL=h78|Dx=2K>cQtK0Jcl#Y)(PciNPy`IXj)(k)+a=)>-qvC-Xp5&# zVUA>UWv<8!^OuNB?Xk$12N@5g^^F2^OvVz^aFt*xh>_HD)L?=>H16_Y)maXws`Pz& zmGvWyZPe!O-{564b`x#4bQF1Wp*L(+i8V!5zY9(%Z7o!5y**u=1~)Q&6B(Ib;k0AE zxDm1aqj^_AA#>XA0FWgTZiAuSK7+pSXf9GLc^OIAS-~1#G#1WQdrgu}^kH?d04lDk zI9I(^YwAB(^pzK~&0)Z$XrR7$JXCCdluJ3Z{(^2@Chm>*CR}=ObCuyy@w8b01BDQItka{N`p#v>vz!Qx+eXXpN zhgEYrzbaLg{eTc&MndYT!K1)B#h!@J?$C+6X(W)rxLhgK>ZXHaCc23=m`opcn z<939$!usT-S7k;~M3)#UnVC6x4uMI0j`b)%7C5QsGPqIus(ptRZ8uF_^eq*nLx09-I@sM5^j>NDk5&$-XJ@UOxH^3Tb zfX`-O%LwLB&S8JCq+hcr;)88XC8|@)k%86g2^-E&BJ-@0Z)^3qHC~T-Xw6G&iL!pN;BgE#6zw9lk=lZ&xLLpIkYG3H+}qzYKwMcocj& z_YS)=%XT<*W~4YunUdBeP)61eESs<+Um>mJ-%q`q__{Pb&%U#GqcqBKn=?a3qo|z> zNA+eWG|GL&vCY_)F@~ay#|A8f zOXwR3SqV#$Id8?&%6Ok59R3Q6%tL~*;Yf>|Z2#t!;=96c`BjbVX^O56^(h?fejwh~ zBIRv!hKiUT2sKbm+Nr%KWRU?J6MB*=2vteVi^!3OU`vlis!I(JtV1F( zuS1K==sKynHo~JZ_$6bK9fCEiHNgiuS6u}79Zvo1`!IzpO!FFOG@r)!FvNn)@-cMF zFSUR3;=;6qQYT!;a5^(9tCj?+BYv@b5#vkZGsRJim@FN)-zsQ9&B+H3;khHFe1`wY z3l5VYsD|yLD~B zW58tYb{4y+%^Dsv5NLg-J45pn(X@b-*R#>tRqtWctKszQ+n3awzP1L`Z}NCO6Pd!B zLv*GhwPc~I3usBdk4%oGI#lw}ilk4KmAJtU8bBtVcky3o`_vR5W-?m9S)zuUD($x@ z9gx_O60MPQTQOSvu=_!SZ!MFeZ8@nmEkFXYTD)n$ZR$D1NOGKZ=1#6v5WwOnRZFH; z`DyCX>-Ot{0Yh!jxl$3}#0)LsNp7MF-VDRPJGQDBTt?HqsdsF-`_cANG%(&0Hu|xx zDMUezI-*s%lE`cpSCd|Bohx+r+P6^#)fjeP!}T8gk!yY zC`RIF__KzFcOFjj!I=Q6f?>)aREPIT z>H>y4aY)v;%V{47uhAK+0_SKj0x-#1t4xtn()+?Tzj(rOW5e5aJ zY7vc>zzqZC3Y@|XnZgDA2kam4e<1#W{0HhE=zn1Tf&B;WANYR|{z3c)=^x~OQ2s&v z2kjs9e=z>R{0HkF?0<0n`QIFP|KK-I;Svb5f^vl*$rJoT_zzJtl031nJ1BREQa|xO zB>#~9L)NU+Prje@Z~XsTJK_e;%EH$Zc$H%*escYr<&4Wy-6PAvO1^UIS z#+|qIiY8^0zYZXF}fBv$!9eM2SH2bGJ5i zi~IT=Rw@Fn-PTHd&{B3Ih?ckI7inme+?{7-Znrh`gTufT9O@v&~K@f7B)+ zQMIT%feu8r9>fqNPxK$PQpD6({E`dttYebDOZ130^+|$zHsW>Yy+Gp)jmhJC@=M zAMCji3ebDxV<0CKrn*4M1V$hNnnjqC!3<&u*bpQd`)@RUVcgNb1X1y=UlCK`$4p1B zm#NpA5qFOpaymQZPNSl#(XpEnnbo^lMrvV zl_2zg$HUbOy7F7=PQg1(b%tFQHx=o6%U+o*!&O_yYw44!@U>#Xgx_Lb=9cEL&I&5E zHfyy0dSLJu4J4TA#scDM7CdYmRcYaalgPorX!s&(^5j^ua8sBy-l1o;@zGo`$BKg` z0pqr``Y|}UzRY)6^5O0lFPOp@40WmorO2}z8XVLlHI=B7Pn9fWY1pqC5F?<%_V;ir-J2-#xBi{Cp2;ey&d8JhvTui4Fj7k9x zON&b)yIF4<_mCuP<(Nr@$aGrt=gX5eSerT#&h6VYC5)bETFJ#&=(7`2(=L?CP>gyX zyq*K}T3$4M?(!b5MXK4os3*Eg%&Z5y^cgdGF^2^+wBLvt=`YuCE+`}?7H-CoWf%P!M1>SDb_s%$9d*XFCiO1Tb*uBb zlNfR$7Djp#ozx(_c+q4UvA@~oP;F#8XaZ7pV)U71Ffg(H`>_&(k%C#pU4E(fqun)? z@`qvWFsZSiFoggv+R=Fz`KO^PBX2vgx)Q2Wy$OLgIl+074Qvgk{HX>LA58p3gA{abWLa0@C1QxV`EylS``i^G1|ieNP53(Bl(WR- zWKx@Epa4O*Sy}0Y!qv+*j+1boI(=e!@f)+~`;@f6P(J04ze43=+@mIXzU6K_MoxFv ztsh|lU!}%Ad4n=#yP*H0f#{t&`ARmFx303gMZp>}Tv7LPeu$S&XWqW=id_VoKN zk+6O!9pfM9mVDM}BGXU~w=o6TT68)6G+usf8h{&FH_|wH`z3{%M1jL=!%IhlcXDOh zg(Q~FU{h=EThKJ^{+#9b;E74AyIbV^ibGOh`bWvwppytg>X}g7bpF|z^gQ%5vxb|M zmZ$nGW9&v}45e_7jb7_D=c}IL%(wf#MGxN1?#5Pf#@8+Fy_iIIujg?XNgNBjU z5c$WWG47r$=M~Fa5|*X>yu=&~A&A_(&1v8&Lwuw(+v->^ON8}T1y0hqD3Odm1BV{ksCgFEhtZbU}zC`PiJ zACW~!WJwWhJL#R8=u6M2=~Ru6B3dOJ3b8h5N`!e!#R+p5xBSK zOSBMS-DmHDoe;ndB^K`6aA zI2ad}ahFYhgw+29E#O13)1;504y<*u(Di`fI-tK!wcpc-TKkJUg`$aX$>zLpM3-p0 z?PSaAh}D zGBI6j+-&d(*PAM%Y|BmYpVqy$oj<*%gfF#BCu+0OIDdAkKLliG$tD`COl(2W7~3C- zO;7X;fXCF=#n-ce^0jKMg8sXSJx7>8AaK|KVWk*o)Fc9u-x1jq z8p?L@HJ1W_PJYEx*#5Lbeg+zUR3Uv8x`FfY>aMPXmVDYOAv%EJrLV59x_?TS7+sl| z!$By2n4X@3KHD4mg;9%)&W#O?^@5TNf+*KD*X9O(cL7-g{ZxnDvHA(+0#*W=X_E>1 zcnER_Sa`Y7^TYcEp`*YkH*&ipr|c-xcR-JbrDXJ+m@AQ&fO68GGX$#cP>?289nDUi+1NkuQ%^oYlfDFbVKwp7fvbbBv`jpawZZ3Xs4wQ=+RDT~M_Vk7tPJFIj zehsTg3~Yh#C{Fi|LFN4XC>BThq4Wa;o4fq#Dk5I<8t`TGlz=-tdz70UnMsAeqsv{;}2Y}qrU$Ezek4>XrU!)@`Be|2|{ z&4A7@f#a^`*3O=cLZ}5tUwuX~;W=IN`OY)t^zD}jCaYXjjw<#>dEuUlHke9z`$6&y z;{EkJZUa<2s*gB=7C7Nhy%Y8!0^n~(oLv|Tp?7s*yK)gF>_sa=Bc#YBTaE)&apq)^ z{*{+3OaHUsSu<7CcJEC=nactn_K) zEoA^Lxo^yKMvrn91%j>FroVoi5eDoY3abzoyiQXpS`?;j!wqbGCR*qC_Z4$CQ z!VJp`U*_I#$9gU-DAF zPPAj*zeyO1@Q8@2Kiiry=cWR;`mPb5^h+GIaun& zgM5)>W2PScQe9aJn(qBpEB&jjNZcULA4aoPosxMok?@;?y=^C19(RpIBVT5J-J+$4V zkL9p;3`>%*p-N>R$FrsCnRz{G&fsP>5v`|p?T${QT=_YQm*`^(Miign}t zHcZted5cIA_2{xr#b1{L8Br9y^{rxxWWTAZzEDwAXI{qR@WVeM!;UQe(K)^jJ+f z??;bs%;3uK6SU+!>`$!Q?_wkLS+=%!IpSVeePwesGH_+vN5>M-&mcELw1efZm8wBsAV%q2uVh z;|gpbmLXknw!@CA?8-flPcxV>z4K;} z)2R!zgV~fh?1ZmFoRg`;JUaQ>z!pudGaxMKihkNa-^7ePJy8{BC;}!fv7>3xuCBR5&sG51??8d zHNKUo2kex!ynvuvtOQWb@F&2aAev7uvm8sY>?q3k~WJHFWv?h67aMl)||Zm3iql`K`DY8OlX z3NBaF8f%!H{Doixmkz(P<$zHswb;F_VBwRAtxfUZAf9j}!jco?Y|GGD>Zhl?kpD8*UYcDGX~?|QaGsv0WvnRR)8E}o|`62RPEh!THYKGARK zQv(pOhReLr$Sl3CK~E&X;IM%~e8|rSM1e4#Vm$wUC)Tw1^wn<$k6g`-T4Ga-ZqlA^ zFUt8vG-K9VDwAw@cPjKtzH?)GkST@D`F`WU^KJ$0E<^%JA`*G?g}nZ=s}c3`R)w3` zI+R4h#pLt1x_Jpodk4P$uAfAr97>x*drqD09a}I%)?R0Sh{LXW;dlVR1i!GcuvntM z%AJhjZ~!?>0nPmDU2T}s#73y2leTYI zf`6+;P-tbCNd0Ad+^(fm<3pHI3~dC>5w7y4$nNFWmNo5aXBC@cS`%6!!Q;Y=FGk`h+##VR`Sj;XQ5t+_>M=$7FSjcN3`2 z0bi4(JZQC$U7^XJ*nd72QSZOA8Jc`FfRh+>#(^&WXlYvIt|t8ytPmOj4aQe7++Jzu2__G8lIY>``Z%8^xeQgg3Iy zA(uPU-GbQ~5~_iE7(E;0VzS(uXvYhYPg2A^^N#YM=-c=mL$~h5W@IUpw@YF&@KbGS z#{NmDsgdO*ae9=Vw$%x*$L__B2@H^EJKp}e_%#DUbhv?-0PIMzdGYrajL?UD>J(_T zaCm+SwMZD<-yraa3Z=dHh4mi(*uIH0-$PzxqzQ=`R8e1}U{eOK2okCnS0ID1 z2zsKx2Fv3?e`WFuJ7GzU6^~B^L2?cvzT$}Eo4m_Al|Q(80FG@^HUiUOM60Wgy#qY+ zx&ERZV&4lAwQ2R{h?uxc55xC3)*oiU&Kv4~&3ypGxID;$n#CAraHGar*uVxQr=8Ai zsSi`wwN{|rN!8e9MK2ASw%OlSAWAK6rQHHd0EeaHcg72>cVD5wOk6BW2Fh%=(WdF) z$?t|^hr`%g_;1n9Zxc|$h~1%#1LL^#!{WF4q_kl#vKiYOCt&(t$HTFgg)#-BX5SO* z?1_PBPrs{BP1INh#~RDUJ;#9I#EK54j`BTL2({{g$+{bv(ST&5c0HjRtXEY>ny=YG ziRR;tzCUo;vV=V5SRt~R)dHY}U>tG-4bFEg?f}zUMyru_m(uRb{V3MZM{q)Z>ubCE z&s~sD`&64wET7={>^s&1k_hj}w?ygEg|#oaICe+_cC`a7HR7 zF_HGXPnBlwx+JKaFD)DTavY|mBzm~;4twP-$B0UeA?~8p0B;F@Jb?=6aW>!K{R|+% zHh^(>X1>L89IDJ#z(?fpZpjgHG=y*vEA;OogtIETY;SHiL(jBMq8#6KEQTBpxNPs5 z{YKsBC zt-yZY&ZB>0KXZ@Ib82t7pxsCU7Kn$ezgle2KQthqQ;bOxT>mzh3)AqLTPgGvTcN$0Ie&k?RlN$EH*n%UyALXHK2 zL+Mf077F=;v-33pWbs}BnLP#dZm7K{X&jkS7*iB(NoeuPRgYJBl8%m+a?rDy`L;W59!bMKyj~RAxz|x#*HlyeSRoVZ^A+0Fn;yZ zmHHjBp6tVk`;tn^TxCcz+pVcZ3VfT7h{ z>oZE$emz59zuMZs;{b=ECh_Rhp^O_w_Ta&RQCW+u%ofF>Rlr=OT?&07q=A?iDiQ_A zddpo8!6I_8SM7wjciCUU=$0hXkAMcRke|<)EyPj8N9Gy@;RU4mwMi&nRjNFpx?!t6 zZ{d-UTV2wIm-sJIza)-Nm!1%45syDdpvcf5>!F*L$s^nFge(?;Jn z7YEt{@^xU_dWeCO z>nHN&vM?)W3?2FPUI){I$}s2IYL32-yOIL%E$rjrWXVi23HJf#}aGt`dBtYP zNv@+!xBx!BIJkcJF<#I?sy{dWcU=48RhG0HH%)9Ql*=@egK8k)aO%}Q0yMory zM_)nu9xqd#q|koDM8jEag}H8li)BxSC{8uqODsy$uFs`Ae4gJrr}s%Z=dfhn`SfU9 z4t%XS`#49gGA|ah6<}hIWd|_}D)w54dmSG^S^(&c6wM>rHX~JG$VK6~mO-J_#Q>sr zUBN5Yo}M8}6R*e< ztat?u!U`9~Rgm?uKubFG77$5spl}Ga07F<(f0FQ-Acs_!m83squhLyIbNtb+whh>~ z2)@y9{`7e(JOia{wswkkGHD)-ML)eoVbpT05wfb$u_Urj9KYAwk{UuzxNK+$=hW|YT7u#y!Mbx}603F_#^)$i!;O#Zr{t9L7_P5LD z{Ys|1vHsuopvg!#%r7G1W zz+X`Zf~1zI^P+zmcf40n+D$yk5h!O*RQT{x%CMz(Dc!+&_*ILMN2Zln%dC$-8+oaW z@46yvtFxkw`s?~l!h^Zl+q?5#593?G5TyLGh;KauQLT&7s;Wsa|1b(OFoc08FIa!7 z3i&g2&Iybx*DkGhA)YsbeB_*fI+wRToe?v-$5@hw#o*Dl1d5HF6V@u<49J!#!btpF zs9!W$MpAs3srW?|fg9{g$ygkazL3=Kjo|ktK#h_lHBN{ zBhHvSPzDty;LMb6j)Km~k7z=M2`kS2K8VHuI zPgdulOWE4rlXDU57o;3(7r;bKvgfLG4+ueh(-lMJe9jIL&{{Bue2JMyZ40^_3z|w6 z&cB+qi3YXDoZ&ux^2x*E5ZOSyvVkIaI%aUF!VuxGh5x&5ZvX3Whr4k9Q6_r04>hg5 zQ)4LWw~XgdV*{B_u+8TJLafvwV%5LTe{71+6+t#;Vpuy>A8Javx6n0#A_-> z6!BLu!c;SM>^i)YAa%qi=A8~_pzg+8W!6*P!r$eveZwCR@F|0j$!=ycR^WO9Ac61L zL=$>1lPhpz^N1#=_5fM0MC{+zh_Rm>2!{A9tPVeWPRURXRc3chL<)qT492}-X&N&x zTeT0>vbVd@A}-%Mqpxj$)DyB}JZ7ZSu|x&rer_2>eQOPzaNZpi-kuzfNrzdYG_%@~ z`n2$~D!owP*PIh{yB>^GiceHZ?<3_Vi<^AUMKHN{b3i05AqDh|URB@zB*!keWqz=pJ-^K-TdX$_hsczG3yIB6 zEi6Dcnt^7ejR6oJ`Erm{01^f;X_M;e?ylw<$DNXAQ=pO*jT57R3)-iP48q#RF;_9! zC_g^oFkF=h4#gOK%!fs1tV_ede`gM)e0}Dn%^~JXhaS7Q)*@jhuY`~(lIJoY7JDU} zR{xn>d6&X3fPk9zgoip5ckGB3%aug00G}iakblzB=>xtE{VDyBPhzR*$Iv%xVT_hH z)VO!!L#qr^xzvuRl688CkzH*{3?=y_r@vily*QOr#`w5Bo462I7URca zt`a#wcdEWye?$ix97X3Tdyqr#X+>&3SNsV@?N=XMv~wM&iLXTEp$(rcJ@a?P(oTO` zt7W#mX(kts>RF!3qpX_B`QkRIY#~TIkVV)mB@}K03L+px<4xmmnJykQQ+qWkmG#Sb z5)oJs-RF}T@#V!BUxA)#fo7Z=P90s7R>Xcj=9VB4KkR+-;#WK;F0OQtMtJ}C3qAuP zNzhzc!=2BLl1&oxGcv!C(hA9Oz2s)d4VW z2z6jNh}JNi6c)m=c=T5YeXGO_MCZ*DQ3{daRRf?=_#{$1gHje`iUU7~Y{^~!&a2p+ zP`51iv{-Jjk}}_v=xG4^_th=Y+OIMoZ{b%%>3vbl@hgfw{>+)>@$h)x?}O6e zp$OXVK`R86=|=%gKd8LOb?&emW{2!Lfeu!p6af! zfGME+?r9mn(>o#nTrhOmR6}b=H9gDWD{{_s`;$_d(!!`D`H1&2$N{SIVC+fKB0Naw z#-V4@(DOrJb{dT-bZF6Eo$9fQ{KI^l=uw^ftU{VtevTw=lK}vc@{5oSv;b1UYa@@E zSS!OT?COnKd7eH+e!r|Enu!n67$e`D@8Kjl5>uX`Mc-TM-P_b^d-}pUa*$Aa=!?0T zcQ(y_=Xz5?6D!mx1k?BP>bia1knm&iA4G9oM7O84scA-E@mh;kI(yr>2U$qLZZO$W zEKeGYDp~2O$`4Q9&?UcrnFAbsEAvWV=)WH*HNy;rBSUZB4)1@KdX|gC?iw3;DbdV> zxT1_aT_D|cpefFFXT)iZElm`v*Ok}@@%81kNSiUZA=33twGdm5H-_2I($mV_S&b4;=n>zr`GZ46$Z&bA5QPsX8&l`lsGR@oCiesIH@5?c|GvW zi2IS>FQmnTJHey+@Z;~-RNgd z4Gd@6!RVs_x|k;CwE0@(l7&W}i~2;0ctq&_L=>G`Zy^Yj+Q6sVw)Lbur%sgDq{+0(ewa6gR zW3YTe+tBa-#;=90ihka~iAF;gu!fc5a?naf!i@I^PR=B2T!!DT*oZUj7#aYj^hpqy+(2Ha?&Pwa z>4BtEH>uk3dgwP7ynL|RZ?`93Wt;WfliwnA^}GUu)+-rjQTlbz>Szyl z{20(8Ehcl7(MB!O7w-QyG?pH=Xq$Ds?KHTwwexQMo|(gCiP*Zc=_PsI$|sv|Fc#m; zN{oW(nx?nhcaH?faMVy5qVpi~7+lLq7o$HG`qL^@sT{QxyueE^7SD74Mj23#6#P0A z@fJqSnkqIwKxi5 z;9`taryb@=$sA+`CI@!JMqwEyd{vi7{w{}`;jCj}cN%wkz{MC2=zYlI>{a4U^jP|G zUKK}41u}N7oL_H*Dz@%EC>M2$il6~lymf)YK49rUCNXj@!2SZqM?f(@(Zco! zECz}2l5S$J7X=MU4BNZ5mByoYVjnxYNm8rl_xTRI^XQ8_(I-lH%$0nOLW<5dZLgYk z&Je(xm(HO?KX18lVBYDyvF%q|+n4f`yl$~@ek5P7tO?IG%y+EL?LQeL%5oE3Mk+7X zXZCb8Nrb5i<1`}v(bP^eYr+YGL;ZZv7rMd-=nuRV(-A}e(~ER=!y5B z%BYlzW{w8x(D&eUg-US6!=IMhyLw%{x5B+L3loqD^J6A`@)(kLXBpou5 zxLoJU-{LvfU6YNOc7(p#lJ^fJtOlUOWSMQzk58`$Pm7xiNKJmr)` zrYQ&QtZshGfx`z%2V@>OzHk5_@40AA7kM?u-CIpGxOmCh(>|(xnKI?f+9J8IQDgl} zj*GCYWVH_V$oJRL0!go#Z){u%Y{4ww?S^8LEe(`n-DitPD+4V*O#|fhGm}*BBap1+ z?)j0iEOrJ4W*yMk-qdAU??R=viR^vYz|o`2>k{g@_91F5`wFZ4tBinRGSK+ptP#JXiVmNT(v0PG5xn0)Qidv7`xCls z(!6s{y0LY=w|K64#Y+zr3Zj{gsy1_g|qam6pvH*V#G#;2YfuFj(BXJoxf6y0DIr7N@8B$&fS}dU~6@X$*nLYKMwYP+>GHXcz#JiD88}VCEx_!`C2e zYWRuz+?~OeWbFNQs3zh|60I1>zt+|+8!@c~#j2)-Ft+%)J0{8{)SnIf?bN*h<1sCe zSA140ZG?W}3AgR5;3%kH>dk8g`5P35Dc$ws&pXhO-zdp08r#Vm>;>{>x(UO4jS6Ct zHEN6TL@@ajJ;MQw$RoL*So0P?LqwO)89R`{Q(%6h;w%bIxoL5`b3qU(P$@9V#E`%g zkCF13r`}BGD(wo@+;2^P&F!}sC)+k@_HiA~5r1(E^OHi~a=yzfj#Z3CVeiDrjA&?d z3^)DEPyVK(hLJeBMgiABBO1Tqi@e1qb3H_;B&%{R-k%IagdS;yIo7Dme3w|Xc!=*y zP~3kI(VVO;e7q=%H{vKa3SktaCY~6LG}6E%0wd&#b~h3jq)qRW)>?aozAT!(L@g6BWe1n zqUV;WTBiWbWDuncl5G>o`>McYAV z2j#1=;8mu8dF{-bnM^Bkuo+YMT-$j=sjUjw5<%g=PiLZqN31&FvgcF$ZgH-`SE&la zt5~s_GecV!`QP-w&U{15%$q+1=#L{1OR14MSX9CL`hFHG_wOJY61&V^gz*wh*OC(s zP_@Ts<-m*xwZDu==WjN@$x~ZwD`%!HxTnLHPM#keD~DzmW~sR-SpQ{TkmR;R=bNJ{9#Wl*GQWn%J_CKv2$mF~Rrce>WO8S=Rd>w-#OLbZrr2|if6W{ZWm6MI|XDN!Y5IE)dde(qzg~m)neKmh4H)5=d#^g56HHVes`-EOTUL7PklQ;9TIBC+@<{-RBa%}mU zC!X%J>?=#}*En&lZEjJLH_F%%veDD1;T@%lAq7|i_%FmrUwQbkz_6E8(aely>V{mb zCRC2eKx~eqc*3hRd&dk7)wrS=dF+2bHIw}k&Q-26r2X58hkiYaC$_w^hCp>srlG7X zgY!DYC2*wN7JF9x_)B^#m|wFgX9I55sl0wHbT1?Ig3*aVj&$@|_aV8ODPv20CROiX zE}EbeBHd6QJG5fr!;^Y(*G#GA?Zd&lJl&+F>^uW4>qBP`>5?oI@CSEh?Wnfu3eW=Uh|Bu}>oXe|sBbz53DBm7m4|H~ zwqKcrDsbj+ljxmENxyY-D5}CUrV!UDLsOh?*wjbYbrIuKEXNDNkE++}-95?tQA4HX zlIo+|*z+U`Oa|t;lmia#Xb<)1?Qy@1tz%LthVB_z?aG`|kTc_Fcz1u}r0@sGjm5}r zBeTI_iJ@aQqj;UOc8k8z)b-!T2o?Gui5%Y0hLGRh zhHd}s8g&mj_&#G39~V@{=PJb0B12XE&(DeI{sh#>R!+a#)e<}iP}e(YUhBQ6#pYVN{DRD%8%>v~(j-})doT}MYBQ#J1dUf*5M z2K&DadUifJ;sYZ5ie~h$#=#0qun#xe9VW^3phC^4banLs+T~pfDqy<5FB(6h5*vRx zTlW^8qR?6l&uvNF*?6S7aOU?NU4N8V4Lx{kDJ^8GeYe*Sg)V=d!UM(NIq%#|@}!+B z8nWVk;Lfw{XYIqyDs8JKqCE$5Jr9?(VB4;~I=T0P#gE+b-TXX&OGe>&6kk(DaBov* zdoMx~yg?fUDM=Fm>J*nVSG`^8FAOd{43mmJvbKL;)Fgz#k`1EpU1!vkTI23K$4RF)jH>+Ht%tt2^`peo8`JP<-V+a#rEWX&mV%* z#@Dqt(H_C$RIu#mIuC)NG>=cQ*Byytp;6Y8u#AY-KWTsVsJAC?gcdw**Y-_yPW+9` z*hj+ufEZr5WTr^Gf<+%i4}H}ijy-&(Byac@;`%v}XI%jE)e^?I2ziP@!G#|gLm&PA zj`@Chd^wnv@3LB^sBdK(M&RSD>~O-yIec2o_W`3Q4XWFpjPf}AA(y)8aB59(q+}%< z_?j?PPC$QeHn8^0l_LuJ7d(UrRG%PM`=KlNYoyJ80r7cm3NXomNODp;!|5cVS)R7trhzt>IQpkVA{ZSQ?Cvm&l7GB6;sk&IC+tu#y z5A`xdli7=PaO3#iJhZ&=Iaks3AfEHrt^mTBCK~DHaIeKV`klr6T&TWlS0oUNYmH#@ zac~$E^adu2*`hcv2Z^1bh9;FtErLWJ$Sz%mJ95V3RN7SUMF)g_6 zg2#V>jqKO_<(tS&?UYr`nOJ2oiJ~L&mi!8M2lWy9@55Dw5XLeOv9;Xy-uqOPd-~Dp zM2^-hd&ihM=FP_+s?A;WV-VJj9KpZB5hSOX&m|x%M`msM+l|9Q#14lGr_xjaCwg=v zx=@H*&`*I6t=vaU3M5kntuW8E6a_%9R$2+ zv@0#Y&b(^`{g1xP8TucGM_obqXO_5;KSQF-^mKgc2NI4`V-9ULz^_W+keX+Hfz8%2 zP~n1AxVvl9lJy}3S(eX=z!kO}MM7`TXN;7C*7@uSa1Bhq5&F@_#s1(>lTTKB@Z5iF z%|`T7z4#-KfVnVR`L3+@^VQkIHOid=pZ;?dzWH}MM8d+bS2yn zcQDFCowfFRj4{VpJ9b*XR`dtE*-(E}tPF7sKRsS4)v>4wWtWD?fAv`JZ)?4XBB_-xnE)> zTSW{%4%~PN7(>CKcTJdcGwWYTCTa<0GnVpUn$Y`%qo3|I55N-Y2U@V(;e6_=9T9?7 z=Fr!`^TF_q{q$&%p&tqLt-|oF8P%V6ny_V7wi#4h{Z1pyELJ+8eQq!lG-P@L8D|NW+&%sj^RAMf*2DsqMD1=W=^J&1JQnhQM4g`iX!akiWy6oSokBQz># z8-;CG_g}W1fbaP6rhF)`q_(41ejhzR-u4qgPsASDL7$y^Y@vTu0ilrkrOj0u zOB4Hxge7i}-A0GNEI-q=`N5`%B-;+HbU>3>z7zamAM(98suI;!Y11;a%;GO4cME=J z3fd2O5k12w#L?W%TAHOs1QO*Ux3GTv^P?Xfi7zO56(WLGb zrQb{KJ?1ysB1X<@%-DalJt*8%RN4Xl0YnRU1r_{joDEwIx%WIyq| z+ZW?pH(5DiK32^7+aARG1a_w~b~b!lUp z02hMJaHrQ&rA6*v3^IG60g|H9M4(Xw3%#}K)oMdT zxrdV+*0VCtTQo^DF9f%+_lrAyZSIsc;-a&+i{dlnJ-R@bgTaiS%W9ltG`*@uTQv0E zI#zKH0)7uPgbCUD_Q(gaU}S;xnmsxZ@g8@}Rjmv+y_tVwb+b<(c%IJI4d<@KZy4p* zX>}CB5%;~79Obh;rxCe=4_qAle0ouoqhF!CgDSRZ^B(;?udB46UFKN8Ru9Cu&8P6` za&pA-_{^nL{-3Y$9(|&q;v5!MPh+@zUOl&8(O5HX**j_FY_(~e7k4-7rnBP@A?Rg@ zI4vJM!d!nDoJS4JR%yPVFr^Z%>0M^<3X_79g}W$8vM;55#KW5MH}r;qqP88Mint%B zoE}CT*Xyofc8OK54uV7aE+IH{Ka5v>hofS0ZHN%BT9O5J9w}Ov*2R6ySp?Og8aM=b<*~ zsh!mO_F(r+cz2D^K_c4f1gaj8ImC7D5I1b3k;1yy>1cO-eO5+;L6 zBd>IP5Fd$^-|1Xx6rQ^O#RYdC=~gVqNXw@7x0uyn_HH&yBsb2Zh|`;Kus%2O-CNEWKcju-2>hg0{dQZ& zCjx$r{#JVu#)NsQ4R3qus+hieams(QzN2>)xYu%625KT>Kf=h#1}NhMHJh5>zYW&5 zczAU*7s(&G^uFEbz|&`R=7pIRiy5IVGY1xqUzH&injT>C}HpNp%WJ)-=0uS2 ztV`v$(r|;Q>Ji-F_veYL!zq7t|FZDEI6dE=LlH|6+Qx+kdU8`?kz^~AnukYLj%02v@*H1 zXTV$85x7}9Oc}+;JiPWVZx?^4!lVow8%!%|+J+Utki%c66S_`dS~V+Z?hrd+T{^O_?5G5De#!@&5cNx_w?DelaS{@OZ$92-m41g)tRsJ*3Rbu4NvRNzM_J|| zz|w-rR|pd@48C2wlFG6!=rkE@#4^Wl8~H2(-@|`|CQ7r(ELu}(w7Y!=o0&QNXIM=PB$Kv2iMlb5Cgq33lE*O1LaxQRG33Ln)on_Xk{rg5n?~<6GD%6j#%M27sj>pi z6a$x+N-_#Gxh#$2@!Otv-&{y;U1*!bh;h3@WN%wxA((%W*hU6FheF2|JAL#oMBI&T zh_Eb|^sahE5+%?8iUfLKo_f~%jj1A-@1Gy)^ntJu-pO39v6c3nGdRD>-Ro#Lu~P3C z6xyqy@nnVjzT6CH-j@t9s-?%Q6tV5czRznhw-o~B@R1i4g0JRDx0ZjwVJOnM*?C0O z^pWMWmF$18u7$DYN_>ifBTtSDW8)l!4wwoAEIN)gr?L1__N zLmcghzUf8YE03cjDTkh=n5jQ89QmTPNa>~qWVfdfd`XI&^i1Nz{=~Is1%Du7gZ12n zvu%I?r#xj>E9xoaV_nJQfHIb9HxWRM8eb}uWov&vWX>cKrmI{4u?U^j7fu#3U;bGt z`npYntpbblYD~6Ig{LHelgqDT;lLK<%t|9UsJ_bAZIm%1mlFF)WxT#;HGm6CyoMyz zB)#8KBTFPoJ*(Q3A>KT|4>N$RPf$#{GL8J>upa?ofB zBl&-|E!8b+d50rpSCURD4%;NF^t0)NVI4b3Fc1w-^NS(@riPHQx2F;ls-tXD>nP(< zgtj_pg!X56H{KiVgOJ2D<4~@(36pc>ea`JUoZFY;1Y1IZ36sUip3RwX9J3KoUCd>N zb!I?;5kCIjAZD@Qd)tOZ3o#sGlU)2QMyh|Srd?$0OrrCzbo1tNySFD{YRSE14lvv; zSZL(J@KYgd=};;lKWh*qBz}mwjcYTZLhdAKI;VXur^)g(@zu}#@@T*wUboXpWod($ z8L=|1W#Qe)2#<-{l?Bl=C+dyq5ls-AZBXoC%y6;Gw)@pwEcfh zIgIkbvlyO?PU)YSKOA`UY}x7a)h{&HENf53XZnGb4NxyiO6**(=a!;^n)EBQfIE@Z z0uDb<6N_pmNHi;>?fb5)8@kxs z`&7!e)hb!(ZDYs(k&cf9WvozTXDw?g6^P}GHPnP2aqWG3?95&}s92p)g(4xX0G zaI4kVwqC$uw$^^4V31s@D!`t7bWkMD=bD;#t6|Z>;IbG4=N4s8_)7oUDJ##ZsLDC*n(uZrs-kAfK?x(NBvsrmT$hK8PH_hpp^$YXH zPZfpQa?(Jg&*hE>A+Z@bywx0Exk}skL*Zw}R}W5eJcz=DS@jEM%lJJKIdK z94z9zh0`_Zh~g#1R#GFF0}ef!u0-TX=XzcA`5{M;+F=JV>BfKX=>dE2+|wqC)jOAKjyK!3dI zEs~0MXM_|Wc64ed>QU-IZGw)!M z^9Z^5E0lbeerc6@NI<2yYe~T{dmU&TLIhFO=K3_%FJiJzL$zw7&bX&b0_hM)D>S}0 zXqR40gV)FltvY{UusK@^$TSk@6KVdH&@dc{ zl`I>%BdZ2TVUEWzN!0)b|XopB_CGG48)9VhCBtW~64(!OE6&Y=c z>skEZIYfU<`Nwx56X26y*lR{Mz7ITPVsjqscguE}i}~5B62^t1I6*zj0VU+=GfiJd zjaW<<9WpTXG>3@gJJ5+M-7qzXktto@Xq9(ed~<~{dwRvUHdF@62Ob>V9`_jo9h37k z@CqTY_$wrA@aT0uvMZe^Gh>T795aI$}Mk~l>?k)ylaB!;4!g=>~SwPE(x zMR9)(LUx;E-(+*dF?aF;^Ln=iiuwhhQ9nHW-u~rZj!N%jSoa+%3HOg6zY96EL0MAk zUS^(7S#0LctVN^z;zv0~mIfcpw!a!Wp&A)THChn{hEy|Kn1MYRQ}}nm3y-Vyr5XZ7 z`GkLc0}txPz(hmX^2oH+a*+=`4>WGK1r4&wXrzX1TQ2;f7&(>$>t1YmJCX_!(r%@J9m9o z`*_PG%(GTayu<%#Pf-u$yHd1zg55cB^1XlML=Ed1W~_OLcd=UVAs4re&3eopaDT;h z#A&cZlef}ZmhpUb<@^P$O;gruvp8(>AF-)0YX%bfUZ*G6!M{4!*zvV=bdgPKC-M3t~zF?8ROX=+W?dUO5QAk917yMWx`XQA{IaJDT< zCgeBSL-T6@_wv^JvGwg^LHtcEQUyfq6W~YH}nNHEx>=bz7b4Qs^6rHBh295PmURc`DAQh&xV z=Utia9(0m?43CPJkkb-RWZ4*8IwA#+*=)3b*R3-YEFV;z(Z1NoegAgRDt<#)WZtY#rxhrJ@Rd3@uKxUREpQBk>-P=W{>PlT26y!m z$GKuagmc|nH8{jog0>&vE`Zq*omz7CfP~s?I|^eha-|zP-XQP{{uzHaAn4T0_XF!^ zh$lc|1d}tAYJmCD|AQ;w&fd%O^L1C#yJanZ_>O7G>L~tNZcVEl$K^_AS@DD*N>+C6 z&>h;Bx9-{cN9+h}z<-9;#6J7_lL_PO@;#6dd+n_VMya|X6G>b~g9^EtF9^ie3z%Gd zAo3FFRAp{cM~l(v-oJn1A8gL#C{>>TJP2Q^v*i8U#4)p^{|w520_oUe;9F2wq?xt5tLV@sdsiaPlg*`6?nJ%-2+WPZ`g00Jz5 zMp~!e3>X)8MKAospRW>WB~Ravm*%2YAEJSg`_JC2PH7it@p69=lkmf}|K-(ky{|s% z8a4->IOq{)e)M>CV$_{iDh`yACjvcF?Z|T2LbIv(FT>d}7K7VZnQ_ zm;WDJJ5d^FBE7C`;s;0`%1GlD$JDi`SWKgn0kxmjGX|jo3K))n9)6f<$hjhYfj7@| zCugmo9mT$Q@Q{DGW3DmzfMh_6DmEHJ$Fu+#fEF@0uF4BdUF#u$8@>^!{wA^c+C|l* zs`yornxs&-9uQTJEM0s|6nz3m@wE~HQ0}&Y7#11#vfmCu_TT5aRKxhyd8|}IppL8! z3_facMEH$5NJ`$jt&SFg@YK`sc=w?MwM(bXGG#lUV6A_mmD+Yd`A-e#pZ?{P)H!AD zPD>I)68dosEPPKRGE;lNI8y8Q#p%-$?bVju66y5(2z)(Y51EW1UYuca1C_Z&IapM8 zsSS^lufg@RKYrg@{rWIVxL+r(mcERRlml!$s`E$+hXr|l<;)t@4Egm~W(F2r-Liw@ z{Vvhl;uL>%shi8cH&Htwpy>o!b|nZf|NJgV7wYDLOMM~M0nFCj3Lp_00Wi%snDWR$ z98#94EaDi~ymtUET?OI708k@IGc zF7K++=Ph@n(xuy6FIZQfew`X|$C+)E>kQpNVE;AM0umevtGn8K?Eh92a39W%&j=XY zkE(u0VH-mVe3SssDn#t8U3CiS(dl=VgPzsEV9fDwboAYzB)s^Vz1_mh;YQ&~lF!ry@VSL{cB2d8R=e1d9c2=NJd(DYm86ZP`Xi^0!sc9Xf(azj zAtYG-N|Lb$3eC*0K47<o@6rEi%AFvOj-3 z<=Fh`d~g8Ac)6gzpyZ8UA1tt>H+qkb+mteV+Eq`t?ZQ47Dft`y=K5Tod_Y};*(}C+ z>FP1CNG96uW{|SA**UFb;x}ko4|Z<~0Q%{|K4Qb(d)XIS(@WipVA;-7wueecWaiz zhwJZy{7^&yDu+h@E(>YtJMeTj(!o;}GfaN5PW@+3W%i{Jmh)Drf2z!x4(<>5A$uQU z6SW#Yfji#K;ShpYJVvAC{U@^x(b{R!q1T7A#t9o+l?O&a_+3C=;TYI*<*3piU}g&e zMUP#F2?=|C;INT5iNt?3gM$*qhT>wnb^EEYgtcnXC1Omr*#j13Ia+)diVNtR1r;=sKtAbqjtO@`$N{a7Nk(?&KMd#-gC=J!I_) z9{atZilhOvlMyNbplc7+B;uD|2tSu4-bVCn7lU7rDgV1YnEm^WMEiBHcwBdyO~33n zFx;gwQO6yT+Ms{#mDme-5x=o{C3)0RGHCRNR`%=@N}MSu1uB{Oud2rnaHGxGjdIwT z41bK&GrqAVd?orx@I!BCYeD+!&|&vurax<|p4?N*6{qW+z6)v{6BYQ7X}1$Um05UY z%O9>!*kc>{$6cbLfVnne{aZT(Pm*fb5h>7|2+4u6@VI{`>30#4{fz6Mo`28zuvB{l zH2S2jNM67}EaZzZ6tV5cN$(p{T-OQmL{$LQnIamyk>ItNOPPd}d4?i=Gt0`5$9*Ud zfJjQ>g=w7fjE9=a7xn#kDd##HVhrqvo}dQv81=o`Vwh@Qro}QXNwi27>K>guk?Swv zsI`RMK8}BU1|saNJNe;o7VSeb;%dc>^LBPe5po=DYv?qZ^oNEFXi;~kQwBiq`$$tZ z^&d&B9j-_uMP8s%0tbrm7_nehmN%sMbf4Ry&&{)LtV@`W@kZA;{Cg*Dda&Zy%i!>2 zj?G~3b2knkXg)OX#vVw{FQj31;+vWUVtiLiL_mM)84c8HXihn%5Lo3p-G&!#D7(ff zR*ByDvK9%8@ArH9{h=KZb>&z3D*(j!?Reu?|ExQzfP*9E0GpMs%ChAw|0|vAcV#0Q z3K^$?JI0c0su__b$41$n2a%1GHOuqFVMY-A<^YiNsLZvN*)}DKCUD=oE2G*lfBYHY z=iGm#0s#lJXL%DDD@P?N&KX_;kg zO0Ki;V(b}%w=xCf9mbvjV3I zFH=u0%t~DceOLYwZ)PJ!*y(}^!P`uEjJ)JfZ%E2n{8Cbw%y#k3)a_ zFIJ_L9iAE5jL6obtQo0|1W_74d)LA2I|9zJQ#pW=RU-c>WBctaV8FhY!u#3?wT$Q6 zxK=}qUzb||_n6$J!Mx@wy@h94#hQaH87UTFs;i0F(EPAJu?(h`LhV$q6q_g+HamPz z_7{viaETw~7jUk+`_!%z$WrN8yv=_&lP4Zi?Vc?v{!GGs$8Utim>#F1Bhz>xZ&3}5 z=#oU?DNc#5s*4dcF{0GVD`Gsle4m6^ySh%8Vq|$p?N-TeSR)hLs3%Qk*a>O7aRl$Z zGkP70oYXt1%I8tT^(7S;aeB-53;$z=jZudkwg1-N%nX5ym8w?;k1LzPcJP0V`(+^M z)9W$11}nq(o?_4j?Ols^))y>uKh;KvXjxp{Tx5B_WrPQfCACeXr#M=8Ct;uzVJ1~= zTxJp|?ns8LsUP4xC#_VhKkxRlLFJ>RW zb$wm3DN5k)3pR7cvPH~<9~6IA)=g8M_`XO0!E!oEbJgbSH3VET2Ub=0dDJ`kw*2g$ z4wv2!U9I`2KTvW}4rPbAt1-lXUgCy$DK=68$&w;uqu9>#bPBz6noILmKV5L^6#6E+ zTG4se2;mwauqOGiU{Fq!HP2fcr&B1zMqjc&-i6TMtAM*R&(mjTcI|%!;EjNkOF)%k zx!y=@gwgnGcQuJKd4Em})06@MG@ui&E7#{5a&3Y&Xr@c?$(!&YcevlTcrI0y)9B>Kea>KCSi(a{T_*|RK>^GV*Jg2H&}+k=V} z3zA?2IJ~1LaB}}lT&I7Bt(dlyq+B?M`(?QmP{!1CxQPr0RcS=Tq zQbA*VKAGQ=fByvb z+g`OcSaHsyKqd_JHJ!KEyA5~8#0E53CeyZ7x1;qG!h14EP!CgL4P!X)a*jeO{qp!| z{`gaSC0n)$t$qu8G)Pn+8rgNCu@1lcXZkt&oALaUpo2DJioeR&>hlLNuHazG=***+*7Vnoh9o|if#=NLA1DL^(3acO$;kVVlH z)ndg&BL5l8XhMf{4_zeC0V&}|ZQ?JkZv-wpc|0=Ng2-f^J)Kxl#YJ>k8&h z<(?v!U(J6t9g!(HdpMHZPl<_p^uC6pP}9tzUKMIy>46J>M>l1RIwr_4A>-@3(fMsV zLO<@_zC05&$9LoqWnKFBIP06iEKcRgXA)rEnPTVhV~F)ZNJ4OKp@{+`?^bk){;c01obcEKI8pE zm@oIdAUg7Z@Mew0mi1K(RadSgAr=2o^wfVyf4PtU!+yZ@LF&X5({y*r|BbOTJ362D z=)QmHs~{j_TxowMWk9MPmrj<=&WUXNCK{UlQTHj`3&A#~;yHZ0#>Ity#l$j13+Rv` z_aCdI@uZb)6Lv93wNnjsTd~Z%98qYT3DUwN;|%YsO`D8w=Pz=kbA{ZezPDUJja9a= z*oy~W9(lNFph?mJ?#)BqA`Bt)Xp(yH=m~$}h@|0|=9ZW+B0Gd$0EI%+SiL4_*wbk4 z@XW6fb`~L3?Y=)<1Ip&9$D^RWmc-qv64&!=ugaJ@EN6i$0A^iHZ-=!fG_mhV7E_4& z$L?Zh$x+&)Z(Pwvs3hu|zLQ@mC^r&g(L?k3QVe!*yHphho9Mo_sCX$1O}I*#kgtFI z{=78s?ICaoDGK_6{G_Q9aY3e*&NUUA)I`#tgY@c5LJ?DRVf7?tR)lHKl;h-Je0^tDP>d>c$5s)Ho24RS}w ztL5uBD1X%#1L@T<6xd@)Y6L10?HqrA0mnTA$dBq#!YUm0E!DV5v@p;O#;Irs}f->))qo8p9X`1$&b!hDnu2jO`;vm5^gA)*GHLFoC4_VRJ;{BB;jRDZf z4Rr4>yFTsj;5Xd*>@gh&i~_%rUvZO3HJ+>Rz7 zJnbPqUuwCNkpGCC%H7m<%p1^1xHQ?-;~F~(Mg}q}O2aB4?)(tx8Ven^m<~;+6NTOk z*FKgT9rNisp($`oBdyU*(yMCMit;lr5%eoc4IbFt@!+de5vtSqwWNa?SaAn zZHJqk51MIXLJAd2OYI-vzX7@IlMwXam4smRFZ zR1K382h}HfG9PImeP%B-M;tSa(j4ST+ASM*L<>z8OZe#6)ZNF7qK$u%lWj8`-Om}J zIj$|TB~NBMIPH2iQ$3H{L2@&L;Wul+-3(rIY9OLj&^r|3+GfIzHpW;^%1dYQsy{b7 zp_s1c!}~0+MW~23ZRA^@NFs~jeqsb-5OiOT3q}1QQ`buL$#Vk4+d|9{B$)T-U>OIN zhR_JCcM%OWBTFdIt7L!tnrHmSPN_#xU7wcMxmfq@)?Z(+c zXf;W@PeQ9hlj$D{IwDsH|0V3~!q5hQOAXqcVc;#(hfvLKQ2Ku#APA0+l?;(6Do$nN zQ^4RJFzgYyUW)fR!thpe$8Zn1?&=@b`fOv#6l&^~vnoXkz1kBZZ#FhA{tdlj2T~#K zXqh^|b^Z?MeCX{E(7DJAw<&Z+SY~(*)69iII11O&`q!XHr;DCNUO1}8$!`2Qw=W!l zmO(g?a;36n`#gWYAlX8BaZWI>>naqjR7EQ(&E7?w1O)FVwCqs)Q0%L#NTp?zLo1E6 zz0lB1Pjm&*$KD8gO|%!S_8#otk{Z9N!l=3SxJS-^H|zGf*B3yZ%6GmSK<90{?2Sir z&+>qgM&FN!)okPIKU6eLA>{&b%y^!t^$35b6Zmo#M~M3$eFwJ&-(hfHUO|qSOc}#YACYXW@D2@{ zJr2rDmKlE=kl!Hb#Cz1e!3p~3Gcn;J6#cHLYMI(i6#*()ZsEkhUfWY;FaQ41)8S(d zvnLve6Ml11ZM6~`35acVGW^ zXl!P*8Fna#Xx5~!Q)wWb1_|}$TB7skA_jW8M0tPKk`w_Zv1pWReUVD2;lG@XvtH+Q zG9_kwBrTad`ezlnjnx_emWZlFol3ZD2bn&tncr)+^_QDsRf%B&Q(Cy`nf7tJX1!Hn z4_Xk?ElSHXxBD6N{+r1|sYZr&zI(RSkk49G7Nb^$FwgAil?DEKfw_i^FiD6ok+W4U zktKg6YFTuWcI?CB3EEc@)N0j~`4Fc?u?^xh%9K<|G#34Wy_BAO9oI~GyO$s(sE{-* zO7;%+mRt8}Y{u9!fCa;?ob~8Oju0S~+u4&~Zf%K=N_z5m2e%7j%@D+k%E z&yfv_cY-Y!7vy*sZ?OeJLFp-dlH}#1JcEC9by&Ny>=UN!^n1UCG7(9SI;w=dw8W-b z+v3&_@(??=dVe5~Bk)_o0B$v|LVD=~F8}q0q1P`#1xJ4U(@NpF_M=FT`b8DvZ^r>_ z8r2%v>HVN+xLXwYe4(_=L8bLWJd1fbjy9lUHhU-_-e{&Qx(z~_aVO+WOi;0v;0=Fp zB-?G@pOC4~16z2WlS0=CxQ3ipRr9g(wI9tDg#)jFv*2*V4VlBr8dWFRKfHs!yb_1q zkB@P(ub1G+Wl&;~9_@vg1=}=InXT_@<$?QRuU2)U2u zCr*-zN97siz9sjDJxYfc%Ol73f2*SBR}n^L2I8ZVuHmZWNZJ1ZT=lBkG4#*J-CAzo z_l&@ne861r{y`a*J`>S#d+w{H60Nx-JnBHAMZZyge~`>n5-pId+H9{oCX#<F*`_#V60%8pW8Me`Dzens&%z|KQ>JLjUtmz-WeISy&5=CRvY2TS?GxDIak7Cvdd}UnnN2ga6=B=U#Csxh{X;Q+g=yuGO56 ztfVBZLgQxXq-jX`^>Nlv?#@w#~Vd-b_)2{fiVPAF7iQ$oe?$=8Y#TPBtxbv z!XSJR*T#>=xXey>v9%S}7!&IM9hMxAjyD$BWhXSUWgkdbFeTWJzrb4h%;%o8tMQDH zkn<9Uw@unr6%h$Y{Vsp-W7`rYo3sQ9mtw$!BeV;ntWA{0Cbm@ZVCgL{t!{iuQDWwd zbNcLwQn|V_cCqy;JkkwnO!IjF_|x>S6ly~Cqi+Ye!6}EV%!I6k@H1qQx4CAk61qeY zfsgF7o;q)|;VL(Vd?PVG-UL%J+oD*z=@SnJ6$zVc*??6eV26JUDqPP2h3Z)+Oz^!#L%j5NSdl_c*`|%pOYpF&)m^0JgT5an>1)1A?~r36BOy0VQ0vxQ6KW7Kn!Wm zuY1)uax*k4_eK8L(0D?!1^4NJW&e~A@SNx^RWAC1IAz#~W1)|jze~ewX5x+#g8IWE zX=f8osz$H$7i7oF%PayQ4rghG9J^Zo4NZB$km`TtKxk`ntf-=#Oqgl(AP=oitv6oP zH(WR^*>zwv5?*pzL~HB*tvX^Ez3*Jr(2+LS%&T(<2j{1*$x#(;SEV2Z=3T!FDyv8} zJ+}0O#V9_&mRXbsXtPo$aK3yIE7|EpX813B@q$3>&@UxXfDU1G!PCK7sHN~)q*laC zqdtGzq%aa?xGul^U4~uM5$bpjPFvwboRdpQ(k;IJ*AQIozC}45cJbP%} zFAxVD@tE0}^<(gA$N&f4-`kkbWzM(i@QHtx>1j+Lz%@0HCcCHNL8v=s{hM3iW2hq; zl)xTosK7b7i>uxr&TiUvyheJa^#}NkPJOz<3NQa;i4Ez(|w`ARFvdIlJ1S(N+LuMdaMKINx$1%akh0uTU zJ>a|%e_>=1tb>_WlH`X)pr!VT-=3QcZvVAOJb*7ppT35rkCEh5)yP(8C}Mk=q+a0S z&apZS?oXMWh*VLf;x_(l!qpQ|m$R=VL2BtcQoXzJ582|Lq8bnjGhdNdJ6Bxk(0UO@ znYBn4N&ve&bCH_MSBce?@brkNz(9XiO}Bk~6aoIT(woU@9{%K1%=|nlq-I31GcbKg z)$`MG&&c!lYSLT4s`$Pwi3`+k@lwBbJ}DV?7UCo+x9_8F+3U_@}m*6~)xGa^%6UurO(#wDRrz{c(!{Q)b{{a2XaLADV;RqA<5@iK%e%|X(MFD?Z35kVOLym*>kvUbkyX@Sf}pkIH}<_SvO4#*O> z16v#mdhku6m8XAhj>QV*8!WrW#ntTUOA~9dgT;=TOT>Hz_{zuQ}+o0OTS!m5s(CIC9o7FUbihXIf>+?0X z>JqbP!?b|#2m7=hy^^*1v1g;f(-ue$Cc2sbk+;IL8F9stNt zY;5_YzKue0VIQbiufw|*VDN0%hj5>#Fk+`ktK73qnsf@PGlCZ#)8Korx` z14V++19#U{30_Su{v%yw62WMpDefyD!@pn%QT6;HnU(5g`!th(=ts2x^Cv*6jO&X~ zAw4%1Z-h7-V6Q6-UqDPpvbUP~MwrhvY$p@|N&kXeDsiw2y+_w~IIep%Zc9X{5luS0 z@zTHl2;y1H^C`f95*WKt)?IkREfeqY8-4vK{T5_kWFBD2do}*Fc3! zLB$$r@e@ELH)(Kx8CsLe(05Mgw${6Ojwa-ry6NB?Lgc8%phBKMpN^zYCXvk0qp5Zj zd`(GGpJ1=I&9CvT*mBE@(U74`;Ey?(D$>EX%5C75ZD|GTgLlQHOEBs4{2M=-@F~21 zumyuE*kB9MjiAD7sH&4ZNn8z}O5- zyqE>&e4g7VLv??>23M?w82oBn>IR&>)AMgTL>#Fn$a1@Kwoz<5Zn-E>d?bVwTX;*> z@TG?mLj)`Aa|wOf@>!VvSx-N_#KtE|Gj6J>*-k7lCd;stnyVMx5;^pkOn<@$+T9Em z4&x(1*wbTw7o8j&^>lN5Z0wN`B^eC0JSNCm0%a7UWoHcnNf-c2al{;f!Svb;*Ms|k zG=6^$N3lRLCyeL&8Bcn-@d%XX20!Aoa?pU`>bX~fM1Ot}JaKXpIG_46zgZ&TU_n6d zWKvuOC~_B%2~{n#k^#zcvF|YXek@v5+M+qM_o94%WF3p$-m)UY_Yg)!#<~&x!&LIAWLzC|k;*h4a-g_U9Tv=bMCa)!DT>X$vt~4PN zs3cQ=Dl`d@s97Gie_r2^Vly;WHF|{Hv*Ir6X9#s}G;!EszSxDI!F@Bh zseDjye8P|-aQL)@9G}|q4)Z}>`9n@P&=FXF%eH5Kr?sBQ1w|+ZZ;zPM$Beg}=x2H% zS@=G#Q|;ViH*e8fRkO?g5R|{nmR@zx1!vA8`VsrXxKJAh+6DV)*lGCYFZlotZs$2l zG3YNc;$Jh+k#4=|d5@JBttL90<798Yw~nnLlOsM(HTR8?95;9?OLI<_h(wj9UM;nM z5i@Y@D&SHmN_Yw##X^d)Q}d%KiE@A^w0S(dAl;_rc}oA~Gad96#r?KNC!AaQGTu^! zI2v4s|B<2m{zVG#U24Qop=$fAAiHi)5Qo?0Xs2kW5$eE%EG{gq>01@D2(-q}cfR$I zFD4`_6aF`6ixMwWGBPrOHlcJ2we3=W4#BM0ly$VT_;y7i(L5{$q(v?2#0G}c(Lm%JX2gV<~SNjm18p5rdWL7<`#Vw#?|T5~|6(>`4t2MhUu4N+H!f>^sle5h_klkPB5y0vZF z0GptulE>NR@2mv2i5~`DestfY;MeeCXi5Ibv%LSG12NuS&>0)IA#L}62qo78bocX* zZ8Qi3m9?^SdJ4%4&YadKc4~s)@2sD;RP&mAHfLK0pH}=Hp%o4_I4qcdyzYCOa&4i~ zJ8FV;y@7-UK`mhdb2ToT00OaDO55XwQO9Uk7j9rFR?R@ zsWL9l%GBf9LSVlxdt3T{VbilI`O@UF#?8j!sOWlXj;^Kk`O($$Y|xD{#tgGieZ^3w z56`L{0-gQ zq0H~m$7BedRtZFZ`bE>Z*x5091_J#Ji-7A3Idu3-UM~*Y@lIq7QL@OB!2F!vJRd9_ z>ywNUi3xJL0y?uRyuv6QKB#>KaBIssdI_ab=j#ElkB|;u^Ek!S0-Qmi@4$uUaUC3k zE>>n5OH~b-ej17B$FMBler;cvME4VVyIh8xk%1FJ{-ue3kR`0jzFUvQN?4K^%7qYI zymwH3SC2es2F3zkj>c-A9kkzY2wjCtAKtL*FUO6F&FGB2j-X*uH5=^V zM-|i2^nJ;bn}eIK9#uUmDe*CC%m>=_5?}|OdexJEe&Y4IEsC#vL;sjJq!rHxq?K{# zZ!zPsNa+=My1ay_8`qoF9upcF(2$Wn1%LU;i2e;1p|lP<%C1{3AK^j$hoU2Iv6Qrj zYawD}>7Yq;>XIIigi1?`MJXTPkJnrJ-{u^DtXjNW{OIj3n}33J(A}to&mJ2rpt@cp zX;Hj?aD^CGherYfL#Nr!ASp90x(TK^?e85p5@9ssv>198 zpSVUO9S_CyzBJDdm($eF*_AuLCEYmARd>#R*7dt70k*AAF0P=7W==K0jG;GfdB$I5 zlbvvkuSNVEgK7r=dspa<S6yH%(#pVNRA$&MMXPbsN? z;ts-L%bF9!sbDYXO=8Rc+aUf*n-UNSXK)6J2|ZIC2FTg|grSs4kKS|C0u$d-%A`F- z-<6&s%TAHr4hVh|Gu*za>~jx)#V7zn`w5bw!4!PB^{y5Om4PHFcPpApOA8M! z>n&ax(R8fYQ3dHgP>#0=c*e%F5=7Pcb^jRfu$n?B%43v(GMDH2*T~O#sV%Aa-S7n&LP)J zAAp@vSpFr*4H97~m|1G%Oe|zFtm$4K{7ojU9#uQaS3V#j&B!#2(uanY8jd<82r-KEu_6sMLhaCPxk(<1KNZxPD^M5Vz zy~wqQRWlcVe_Q81v5O5V2Tll9II4JNH|ryI2dUP=X-7v@iTALZ=k0$p3B^t^e9@N5 z<#&kYI}6qHUnTmdQsj3-EcFU_(lp3?Y!rF;Es?=)jzS)o7o^TPK(kn8L zpA#qF4z_Yaro}14EeM967A#V7`_MULCY!HqBagq%Dx3!y0R9~;;F&8z7 z3CnRqB2e3iu_+1;kJZsO3R|4%X_%j6NGiv^v4A4-2NnXM(AaK&s3katX zYS`nkJ@_T|lQBWb`^6l&lOkzB>c-(36|mRqw1m3~LgBVrBysbr9 z1Y(zdZ(6if?W}x{x_}m-jVde!m<1=H{{$#`gdIrCr{a9}Y2R6({v8LSVTy8L)$z;c zEQ*un+TCzu#2}!5FD>Io$KIosoQ5ec7)^*UbH9XcKQUd&0dZiA2G>rr{T7U8g*iEC zivZ%WMs0-YtK?AfR&#YfeyX`V+FQauSKr=~nqR6O-_w%PSY$}(BEniWge;F_#0A+r zvQ)>a`!T9m#WanIL;Sq8^nK^PtdxXMkuOVOU(OkP>&2CSj%qmy*CuD-mn=tN_WM7p zChdnvV`3aa5*F^nPK}?sR=+Y?)LFq3BEE;+Uw4$tZ#|X2apsAqa z3#T_6>0jL**_nlDsOUrp>G^Boyb|y%c{Os0)Y_drzRc2lIxE-p)gL2&4-29Nx8s55qe`jak@9S2x%}n| zw?jofx0WEwRXRIYlIE5gHo!k&ucC$&7_8gE;~toEMOCmz3*Itt?Z+i2jjzhTjk5SY+88M%F-0ss-E477x zk&h=7xtji2$ozn1Q9LB(7LS4@1NqhNX294}`Yn-jR@jl%0qQuOqdiOhw&jvEb&mg$ZB_x&!9E9mjTt z+lx+|&$V2cP@0u>k}0vOCV%7%dvhC4t1qU-tCY0qUlGV234(J(d49qK$t-Yx@E^%% zm^w)pk~=HaF6tb%tdp**ST<$o_1$xLP;{mS1_-y)R^n=|n1h-3LcxZ)ER{B&8N_-* zXl5=;6qXwAl>n;a3YZ{Aw`?Vg&wN^%XEO}Mk&Po`OUPkJAILu~NnEchXgC@lbhl77 zBylt9dc0w_wm?V_PH?a}tc{I-F|>aI2hqBp-cDVDb2l+1wj?4~^?GJQP$J@z>U<-o zHBAJ57HTyquJu-u&{65Oe&orirg>PfZyy!jiOGvQ^2Jh~*vO>nFf#+}$$wYslKb^w z8VQwTet(Z$N065F|7?`+TQ&D`Q9z2W%0_g9ECc-#=>5mFXo2s$0po*zv=%4ApkFQ6 zcVVQo^uUQ8#4DM+et14WtBm9|?p;F&42hT#z9FUni#GoA_j?2=B23F z!WImiiZ;aPM=18T^|oq%(B9NcBp>gXUUt=|S<$r!L4g&w$0)*gG?tdK1qh1NMqZ=Z z;u>qO?z_iGk8lOYR? zyYLnezPq*;@!A<~=dU$>zv8c^CYj{7{+)x1f5qMgMb{2mCTJsnjeTSMtnq_9CDm&YWOC6BYmKJ`j3_uxgC zObn5P9tN|O?X6#vxp$7cIH`nvM`p3;c`Sc6WzUQ$Cmj64v8j<*mlm}pV!IvvJ{nZ)@OAv950HI<^0b#9^%D zq4EZvzbi|unQyrY_XeC5MaTYl_m#zte^p@><%^jZ+YIgUg@-fx^Gj-*aDa7%IS6Hf zsX&G#y*=tsd+}A&3_f+;0bkGzI6>yea7LkKO>3!^CreFW+EVHlBEhFGF&+MUIVmB^ z(Sa3<&^1thg$FgO7WXeY)CT7kf~6rqBbFA5#sy|_&Z_jlro1IZNL9Vf-w(T-1P9R) zcDju`eh@Dt1c@IW6Z4QCy!rGx{4Y40`eI6p^9XFtTn)$CH3S;zbTeupH8S(h?UCof z5wfTJVs~Zfh{b{;xDiF_t**TI1kK3BqOWHacI2l3Y@2#8JjIg!mK|ORJ>z2z1rE)T(5QeizMgh}yaO${s|(OM^Cn@3Jbtj%hYeBFUo}8( zUObN~OOwpq-IFR5?5Y6g5JOqzFQ`T6V!Q_ITGYJl;EBvmlsEK5Q62OcEUf9^K!$Nk19$1en>eh8ONDt z&#|<3EX>PD>}GVgZt4VVGEk=svcM;q1QUG?nYSxDE5K%}_KNO4Vy^=Kve?vroRPGA zfn)7$&EC>c>|i^F1IGzGQ9$1exW*S~Pk^UU4Ic9iv{%~A$o*bnjR+dP)=(YW#)|zMIsNECmwc1t_XVdxlEPN(w!fHNN4f1KybQkod(>ow z4cHat*xzu9U;U{%38-R^zyVg%OvN!qd3&=i8wnd z_6R?-%Rpp@XPQy37q(%>K&hlrukB#Q9JYya&8W?2-~;WMg`7Bwc?}wWYwGs@aCHs~ zq9|H$ZQHhO+qP}nwr$(CZ5yX;+qRMnGI;kZYNKiu|A_=XA^cie=E{cK9xVYJe7&!S zc=RTu+czRXioZ7N-(6(@o)qV#-XA#uKbWV4L&AFOGn^|+b&u#lnq)(cda<@eN#i)#JE z0HYoxrT{{w#2ZE(KL^JXL@Uxz?U{W?D#-jgBlUE&zZT_WtcJasx~7#wu?pRQoCR<_ zY0!(J*4yQ2=mt%nvurxNftMa_hVzDrFsAj;?jo5#ZO!LTfqY&wnb8ZQKj?h|Ll5hIrU1>eYjC5zmSxi6=cPK*xHMhXtakDi>+s?V}SHM2X4=6^1vtRg1Ma%W|dd_+o|Ct7Z zho+axsS~B7K7``@A?-6K1jh*=j%ezxU%`J-wiu>j-ZZzEu^R0|uFrLhm~fni zPzrh!nz6t~aL2rE3STm|i@Njq*T~Nm9tH!G3EIs(`AIU!*BZuCCoRDgPWV!~c(r2W z&m$Z8n|ff}Kf#UU;%-x{>OMD%Y*toG3by_*td>%LGa#e614@P08{-PIXY=p=xU>A# zxs1?KV$CnDc;C*~wZdNnE^&}b_0=3H@zZUp>GB>0C;2r0$$%lwC)m%{HgkV2Fx`SX zmiz=USsjFqxK}PfGcKfeiezL7bvBR7%7uQf??B300Mn;;BgN=S>Y`em)ovrZ9wF^N z)o?3+r_F5&8Bs@#L5DCcvnTr87MmJM=;O%mf(jZ*UPiq9Z(E2#7T24`@7uD;vh#FW z)9*GDj;qCXpm*Pe*;vfuiCBlxU9rd3IqIEIB>XcO_pqI{4sA-OhenrCI-=P+3rkR;6lIgs8R=X=+WdBh zLOLzFsy(kPT*6e70Gv_m{mVppe8^b^ZfGQ#CUL_hueIBd!ZRMw_6?VC6>g?r|KN_ZrH3;XJ~j_!a^_UqM0x;m*$74tv0xhnTn%~SNO zukE1WiEm#f&S8$z5}z*4I@`h&i+4O|lJY*RljUJS&UEeqm`2F7gsf|6-CiN!Spo43 z#K({@aAWUjtYsRg^MoVMeTt| zsbqtMz7RhwHSBwH%OB3tYm@eW1XoK8yQem@D?+8>boDO7{{?5Anm!{S_1~^(=&N?7 zZjY*Dwux1!`%A&lQ|7YN)y1Ut)wEtwd?`|hY?a5Inm!q=shUZZuQnho&@`|8Y>7+{ z{TvVW6VHj>q46rY%s9YupXHl{K{2WnTCaBEBK@bE<>bv^yEaN_ltGz)<+H{_y>*oK z@n_eU#Kg{o7RdZu<5_2d>APJmQc4quu)T#)gH@y{EiCdiy6pZpF>T$E6?K7IP|Abrj~{0KdM!KNVz671&9F ze@r%tLht2BogK-_a1G#+d<1|JouJC8ApsTXW9d2h6;N;lLLXIsEf4symcz}aGds#o zbdhSl{tzP8C^|`18c^H+rkhUKTQgY3-<-Koe}9Rm(36R-*$~3UtQuvM5-&ZCs^(^; zkc3z3Y7%OtVhNh-;jd(5G^YR!$(>+IB_RTZAL@JHLKpPfN;HcMTGrEBRHEG)<Zz#Yb?nR= zQizJpkFA;V5dwJ&=J0t|+7037UaF=rLE?=R5;)IGU<>Py_FnXe;yHsI4LShWH6(n3 zj#~yt=tok2`?^X}UDTAWKVfYx(fQX!clr5p$>Y(pq|}fnNg!;0^ncFIn6}#sp8@DW z4j&lBmfbiIg`Lr~QdXz#N+j}06k0PShv6mR7tW@8TbA9s-Wz8k<&%Vbi7jvPpIk;Lr7y zTd4Zb3zPKdiUYvTZs37~9=4|3vNOJWT+J`Cqufs#Hww2_0jd z`rNYe-ioS5?Ke&!5ZN{`i(;>pm14O2JRS8Xebw;Ybhs0OFiyljjrA0*jqKAM*ysFz z3AS~i%>1cm*vT+-d9owJQMaIxC<@*^%``?7P)jwNr8@SmP39FhD#s;@E{Mtdv|5+P z%F~67qk}T*_{=1W`^(dX`Oq(E86DkGdUpIWwfv67D$D>95m~rKZUr{{>lkns(b*1P z$LPOiI)ZcNk=!=QWs{UrTiWF>7Fs@kDwgbND7#4Ek_KFdI)t4%?D}4T>W1-f@kyZz zd|)IbNeP*=P*Sq|1u!XQO>~^oKaFGCLOJR@9G6q`hqX>XJ(mW{3zmk$xNKKYL>Wsd%pFzN5A9puG-ry`UC zGCFq=m)@|KD4EXxjltT9wm<5o!p`2fpq}UIVt+?gsA->|Dr?vp(Q2Rj_77_A!?&fu z6>cXM2|Z{IBR5hB6nONKcFdgQw+`mGK^6SNAZJeDwkP}tfSXWoIc1i;y?lRI#lrD9 z_OV1xS7m$zeeHr`o>Bw7i4a+TCeDdGz>=KI&>V-4Qzc zbKzaJH-=B`2;aiVkF(BWJ@AbiwY+~1D1*9{vex{J&=es)@oehKZ3ZQO#&=@-g&njK zp}ZQL)}n!jlRmdRmkt~idrWVOL$BQ6pEm39zDHR7XeD$xn~4QB&n5)ot)5gG;# zADv^qUeHsE7S=ami-qlfU9Tv`rzadawxAiHiYqe;g3B8svo-wcuGk8ma;msqHJYGe z>B~9K6bV~-g3mh(OE1}h!VoJNrDjsIsWDhb71+Iu<<+7tyfs$sNg#u9w+qPqw9J6y zf(QH63h{9SY{!8`T=J0<*viUFXW%XGHa8I*7X$nONrEXA3%tjBOkUu&hm+GeZp6Jg?s~UcUruVlYQ_H(T_phMXk7-SSU^{%~V7 z^XYK%bFh1QzCyjP;YvA;1_L=59TS+6OG-cN`Rrg|###4PpwnL>4#IFg!&s7OM*?XY zBlBxOUiZ~|?rB1QI#qQ3&~Izb?wSH!;*YyH#0HjkKVZtNvj1@Ovz#HG){{ajVr4=; zqGj|0L&Z^kW$MVx$PDx^9s6PC9hKdmiO`Nx3y=CWaV~7JQ1?!sSowFezsGP>*+DzB z3|C0{yD3w};WKO|oK3&Kliu6c-EYwGDxx5xAgmH(k1b$-(V%a>a7jTX6F+kc!up#d zDF}s;P%7Aq=>oN~jq>1;iVEqGN?0@smgSKD;&D5mK~9jP-hW)dp?F-GPru>FPb+f- z!=eK92SUy*7!?wyU@pVb#>eS?W?FSxcj2$7Jm}6Nokf^NSN|?nZmLRhZ2hJ;N|%m; zYvzG}h~2h-wCvI0d>*Hr>6Q>AF(P5in)82?ZRvF$YeiCBttNR|OTM?7K$T={YI5og8p&t4F9`X6eh2NqD{%bw~VwbklK zaPO))WO_SI7uVq6yO9|vQCJNHEUA%fL4gJ^9JW?}o>lVI;LMN675#v_#}KLQaLNQ` z;U9E-ivl{CqN}F<+}nkidPHR849u>V8G|uQwNBQi{frYFplzBo3V>#6RqLJPN6D@x zR@cSt@u=lQ&kwx!=z;63%B;Ax$holVY*~%|S!s3^q0JqQ-ZkgTEMimiK8U5v9`Zvy zr)$E0&)jcQGVOGmDg#kkN`-i8cg^Ry4Qtu|L7&ATL+{5{W+xV@VkCT-n@wf9^Rm>6 z%xO24!_|Ym)Q9|!4#uJ+A|FQbp+^iZY>9$v;)jCWjaLt>0^zL8OTBWUOOqb zX8k4~3;MX#H^4hvXefZy*U!nSZF0vvx!ZAfzN=vL3QPnE5a)_cQIl41Kbvp^18-9wR zwEN?RFT@9(pv8sYVWOq#;*r#y7@GuhB*IY@~Tco9ZxAW6nCX#u7tdVht zm@WCO1Zxh!uv0JlMXu;6#Hsuk-b|)u3CQ-DISi4lK{6I@v8YbLXs@5W@<138h+N?5 zh+CPEKB>PHsvI>4kTaE3cN6+c%gC|jvTInBsD9?2_nDV&QKU?ZKsgeGM{q176}s~g z@%(adua`FrnP=tj-u)_pAP<0ls%_KKHN(&u!W2?mbPgayw*?jmm!1mVkqjICB|GA!u})sOpBR@`2{bfO;t-j zh=Oq-_DtDVsF;U)n+Be=LQnDC)oo9Ao~pGy_$q&Z(PW2#No{l-j@N z*%X5bz0x!D^`>ro;%m>bix@QXYdk35O3Du2HXOUvw)>YGUtzDK2N`)7vZo*p3(vqx z3JMlml9jLX*vc<3Lv|p4EIlaam}B$bYD%q^0P*A9=}L?NJ7Qj|8WxbD8ob<9PG^P-w;m_q7OWIKfpx^!gCTNR(t$5 zmo{A_RrK(+B!^`z^uC;uZqGoExEuPB*<&;yo>T~UdZ8Mvfl%<|L!slQ)TuL>bkU+A z!+~az2nf=#ksL37o)$ei$RTjtXoeGZV7;>!!RYLu^;s+aFroc+2u@Po@{=-K<%XuS z0hvBb7$ZYeKAjs%>!@!?FH!%ND*bSZOG*D@Ir@sdIy=g^N8K)}l-7!#UM?L-tioA* zyi6Pm=pD89fw5!R#p?OCx~XP3W1ARb=&3ZoU{6s6ZZT7TekDj&elGJnr>1cwj2d~G zR#bb^OQ8SP9oc$p`O_o8c%hKLK_V1CHx}m5*JU}stU6Ow&mC{8tOhawScj?eeui_D zv~#@A>dK2!!g8k{TM@YMBylVC6?xCBAt|#$t9ZvN?QM0n5vv zyum*Xy0`1S6cre#Eh=8%;nnmn!We)ydb4+%=jXlqulp{r&j zbR?1VB@W~bbg@t8VfZCrrhj@?Ce*MR9^_c&MC!^w$i-aJSazw8V4k8dd6qF#1H0L{ zO`nW^2J46*!bdo&h2}Gw9BI1pHmVK)HqsvscUVyhwX^ALjygS@7JXl8BBW>?` z6rf87h5C6%7$gln)gP)J(-Od07fA=>wB%ubked#qi(F>jVS{;K%b+!Vk#n^+B-n*X zUMJ%D_jA*JTE_*_N;#u{xX9haYmrQx#)KkAj64gPVOvwVEf?Z&Bior5ols}x3lU%* zZN+M>E%}d(;=!D7WA%fOv>o}USXeCbp$LV^d+f?W9j??J2_{AV@v8xey(I!3zy0=q z-xqL=w$jdS>zb~4GcKMh5%*$ujOcpI0iQF#8mQ)r*>MWG`eig`_M)1YjK#v6K3eki z_PQqVe(>V|IU@2;k$50VQz|uN;=CS2Z5{htwILIdv51>fYe4w|3L$8)gL~pqLrmbh zw@9Mg`3q;I)eNxbncVEtq1Ewos>=(11}|S7$_+uYPT&Q_&yQY6lK zzW*nYa`hlB$D%9S`m*E0&0G37*`H;TimB>VOU?5hai0q>P=cOiSnA6$53nl`+BQi( z82gQ)p6>K&RE_AM>PjlJ+LwZ+Y?Myd>Oe)a zPKA>eb)!Lq>NG!p3&7;V8k6Nt-1^9E*apfm0Zxn5c@VDnoKbk4yh;LwAr{sH-;U0> z=>dgC7LpLZr8$Ls-i;-mf907uLm$=rnO~6qEg}kQ1*3!lpi3+Q+jF0Yt&UhMo_!eQ zQRx_88eys$KvdNc#){G#HO;Dj>xn3&%b!d$r$PZkhOAc#6{obC_jhrX>zJNsZr9!9 zD5(4_*iKST+557RY9tM>G z5i+I%=W2u5t_uG)V}$dM8zSL zBi?!_4@DP_jjIm>4SD=AddkUR8vS$`$~SSQPE&K>HWZhKh|(({mNaFARSvSU5f^qm3EtCbmMR# z1^_>d{U!|b@G886l2Q#F(pZi&@;C_es z0q&p`l5~&_JtV|$UY)GsC*iju}{bKn2j^KS8fg`qqqJ-J+6C3JLv<+GBXPp?PXK zH1{W~XrWc%zSi)(f%%>6%FK8U)VS`5E`puEfSAIwqyL1s*mo_%T2x zy2jrrS$HUNo)5KuqG1Ym$(bIH>%0$Vr)?}D*XOsQydL|U(#|Ev8(mHGMn+KBde7mru^8-$3X1 zuczQGL{mX>I$%gk<*v_yCi#vmvI(1%lnF{yZC;}v<#kGb092L}tUifBBFZd<;yu@r zs>Mext$)?Lw2NlD2z)Dd1*&dHSL!~DJEiPHHx?GC$wQ4T)TLJpbV5c>%N+|gVTO;q zw8K{C9t&C9d;Rsv(UTc#BtLa*NhM=b{3^gIQhJyo;iRz#NcFI1d<>9W*@2bOb_SP# z5#P1#uRr~NF4$_s&0-qA?|QX|YVjOpHG4w)c1eR804JlpezszUD`@`iX*`ts#DABi zkNlYMU_*zmbNOGP90LMJ=Ft{B^PiEJUV$Oc^r zvX0hIA>Qg)OxTf3c%dYIn+l0|%GTU9)Sc(xj9UVKshc0E=zc~7yL0#ThJis5jf5=U z3=>y=hwwQlA(y?}JT8WKTx1#KHa=Q4-Gc^@B!12!0?&)9)+74Wftiptb}Q}bTI(1N z4k2CWUSVGJxsZ2d)_gb?r-8#*psVO5TMR#gw7($|)pLPeStQrhwqEGRdw9<=48hHO z48m4_7~@rlI-pH0lDrGM%ZX9^1-||Tpog5GoWNefzRyIsCNb)8=f~2hC|YSUIB2tvkK|P;-k(>ugW5v&t*!qI^g!h zXg(Uofnv5VVw$?xTF*;VXN>QJ&;CQO^^JqPBRQBjqD z-zUgcZ0n8Ydg`B@_g>9=Z8sRqW+OqR85#NJCTNg*Y)HQcb&k&ZtHDDAJmxRlZJi4P zzuBKfm#)4vFhZg7l_TybS0B9TGiUYgJsBul9g(ggX;s;mw`&|n+L^?Hu%~~~Qhm)| zgfGh=Eeix4ss@2VtIXlH=D##HO{qkGv2`!Tr6AHcw^J&;p}65Wme^}tq7cId0mfX< z^bB zs*>gxtEY5Ep={(K9e%7bukKENr}I6`=jGKCD*7bwHPZBUB6WAywYtRrSSn5A`k-Ch z{kBDlQS|E*?Wi3^?(jrlei74i5m~&CWsnEvZ2Kb`Bila*SBU#J)VcKNiEiTYlQ;3~ zt9+Id8Ks1DcLM|T4AR9b{K!N3O$1}^BsPwOHE8d)T{kZ{7FUsz`m$kvbHN5t5jN1D z?*Kh$7nT=pG0E%HN{SJsRvkEZiF(nIRhRSIT1;W5k$E7z%!U6ISM=NqY3?bYMS$zp3&%l-*MO2B~KB{*C8E_fgPo+-zYXcdzv)&64 z3TzBY=QKeaI}7Lm7A*ZjWV7@W=TW9Tw)a4!D-3CT?AmrO78rVex0V}FfEso#tGc$a zQ%%An}VterP5QXv_kR)RCBC%Qzcp^eBC<6vX1V*ORm;0j_ z7|Lm6b+0xMrGcxG$RfiAsAnJ^oaw=UdVOaWV|eVHzf?~2YIO5^R@5P&Xv8$6 zWT?~^@T(PY1(-Ha`pq5}A9W{*I?46xm`tZdnF%C6jN*tnWWW*BAN}qK&bP{(wKxM_ za|M80#g^%ofI!enUx$Rn6Jy%{v@k2Nb|4=Fi2}f5`D)sKo&fV$^d6V0n1sp>T%Zw& z9EmFr-B$9vnZKT4bo|~+zPQ7R6Ur;KX^3$jP187evk7K$gaA-m;$*^QCzm*kz<8k7 zSn`~Mt6QbH!Tf78(<@5ssKkEog>Jq@fi#iv-YB9Ds`^pz#jtC!^26K5MHC z!5?7ljhO0x-)>7bLl4LfnmFo6Y1V#DatKlw8c+6$lrIb%48a)HsHd(HqiZOC5!_)9 zL)=}zaZi_RSEja`-{*Vre5}8W+f`p+Z`kl6(chLb_H#|zI9{Fi^Nh^%dxl~rPRpc3 z$TCl-%ph(8nn!nK_G?nuXBg!a7){`=`hV8o8U3PvKW$aZD$=8f3C{KozP`%Wo!=I0 zMxa_LO>XK`(X}ZUM=28`rwRCnb8!FW?}hrPi&?AFi<@h6`J95>_8P8$7zmnwj5Kme zsdDiY5ur0AmEBm9vl-IsRvd+~36X29-# zHy%Bsxll}_nPe;7C1H+ysFh%%<>AMY(Y@lx1?K6oCY9^B!8C()vu{(6Pn2NY5eF+_ zCl^(5Py$S-Tk|YeM>RmZg=l)2 z$&(zmDZc{f7S1!J`L&yq;QqE^r3q9jind=mIn$)&gdkJB<+=YUZmmO=0Jl6_f<>o) zy_MpYbJ#OLlO2m!iv@bg3yW2R8PX5_+uekkt;h{7vHR#zVsirppHiui?G;!vKX@oJ3^|XX<{~CHBzwgu9LWU%p}$De&UXR;m%Qztx4IjA~Te zXYPGVc&ckf?e?VQO{ouY;?zJz%xuJeE!RLWDv8=cmEew>@H!TNSW>~2^d|?cArtYa z5R-^r4~l%XrI$z`xJDytJhK2v$@%I(@#gm^O^;BjfU*3zrZWUIVqV%eX=)~9;sGR? zXw^NN?%jvulf!)oeUYYVk*eF?J)I1=-o#{@e#L_B#2lawj=7?5r;!YyW}}XO`6Ds7 zf*9ON1a}#j5Vz1$iaph$NPR`VS7an5M;k!x0QLYrK*7JKW(MMLe>&Hw%Cl^unn|p1 zO$He;(7L5LYJp~NYxB~B@~pp~vJumSg$>|b^_W-!2HOEgRg^z0QB1-KI-`TNQDsi{ z%e^dKg$1!XHvBB%9e{>$qftQ|iNFYrf2s=Zoqkq9)N_E_7ViaRd6>3hLYgLXg5$;8{UN>Xe|qW! zU}t zFc9HkXz^|Mn%uQX4UD2$JA@6JdKs&cp=yB6^`(2Z+rN##AiMnTKaWBb;0+*vjv@0n z7O)x68jbwkLe5A5-iXXP&;Ddm2u9HATDpJsQ{@7#H-PmJ0jy3>uAWa0f40D)$1Y2y zjUssmOBOpC4|_OH)qwiNr>n&oYH_^Chz&U2co({>w6UkO-}4QAVzp>>wN5B{Z;gQL zA9NHBwzWJ;eek`lYp>9FKik8WO5xGY%c!+cr?79b7ik z{flBQ=_axYXOIOe)YdGDe+W_L5*S%9F=&|i;#}F;J{9-hwRI-7lG)Z@WfBND0O%M3 zz9Vx0I#-`jHTaNvcmvt#KN)~hjaHdAY249Xy2oj0du;)Pm+}$0^grfE3I`lcLet@m z;s8vMFj=hjlXjbO{qpatS`ZNoAGzxk(wFaWT*S$u!tv}F_^U~Te+-Wn!7MLP0qD@96RMSz?EDc^cl`1I9k4z@Y={kGV!?>1SUrGi?PC-GFjhUe0P z79clk@Gr5Nc?zTEnS(`-chrPt@#9mz47h|`lis2;I6HzV zCDXp37@&`Lp8zade_=&n&}GSHqb+L2`dvBx6h zp`o)57Iu1wyPt_v;jLvScs-z!PjzUQ7v`>ZETP&F%g_m1CzH=*Gb0{z#v7d&IOm1G zr9znP0r5xRX7{0iNP6X@duXJ8D1qMnLB7-5(TdN@#h@mHfAL%;$lRO+{XetEtu1gf z;mf^VIC3OL*p9{;PJO8&SNb=Vvgxp?tm`bHCEP%&bnYbJx7 zw0%icZ+4tsrK$CNXwl=7loNWKROy;5@lDT4%>T|e;5H46<9z&5A@}}&(DBvff+ZRa zV&0TY1HzO&e|*>`r!{-2)i1M6omkS@@ud)mEZ*>A>ez%P)?~n$u%Jtb=%dl^RSB_i zKw+0ZN5H9Gte}NXG)S+B3LFiVVuXV*qoB&QUtehbEeY-25genK;E2eBcf1!ZM6Y}Y zLuI+_**U$LCCfOmJ<^(Y`lmvjOUW%-*1oMW<@~NMfA6k27KL5rJQ$%6^ruc#!Ll1Y z)0+AvRlGt~Ml5XC`?VC>5CNw*Y%PE-nCKv;H8^y$OO0t!C?sUA9(xg$*857A=+Z#F=BGlv*2$up#6=2shGPIpBK&= z>&xmQ=i!RUry3=DjjhK=|6C*Sc&NT&fraRYf0%RCQwCsiqq_u-&5PGm&AIlA->luj zR%3iOfZ&$A;MWwDWdARC1;1erkt|kwh%`CHa20>mBK9fVDfGIUf8XQIg+WzsIzX>;A0f3|tEEWR{)x=Z+foIizQL zdq0aR?s&|YC9c8_^-r9lr`Ucyoo<|Ef73YdWqZ+9gE_Cy{%Q{ax58kI7k~D~jw6pD zpcQK2?XzkxSk0m9n-VybgXhqSL;a$wg@eBQ+uN#cTxx;p4m*v3jfrdi#+X+(!$C0dHz{EBVP?OmjwT@he92Q@Tj$A|i@f6~u# zVht`MJj0YxwK%82;_&7RvC2hQCLSf)0I?Jw=~9PC|p)T?rKiHP#26JTZuLGr)VNPnJJG<<*gpzBS@#@@HzhV0gh_N zuDV)S7&0*!SK-ypP1TVfUszTqxBeSrSX5YwGh0dIdfqp7Is7oRnJGPge_k-Kk#B86 zMJ~Mjca)sVkIOn{7`HpiyZxhzVJ6_SzQy`z!C`EHDC#DovjoS(rfF7B1BZRO)lfF*xOJtXWV)rguT|Oa3mQgD8YEDXdhkY! z0s3SivekzcHm~jX|9A;^e{WpY#S%C@7{*px%%b1q8OfS~s^UyWQVj*eli|;{;TpK* zeKr4j7Q6NfIHVu4#TXyLav5VwIc#||_0*fK1}wYTALTHhIK=_9`6YV$2Kq2r@1LKnU;Nf}zwU}b(ljT9p{94l6e-FHt>6Ok^yt@ga4dA-GB2YQNAY>wWlXml@~uyxa7o2^f_s|9pRL_D^Fv< zO{mvUiQ#z2neN1Gf4E9s1u{srQZ!`_U54_i8K=+G0|%>Pi(Qw97Y(mLFc8LeRP_Dj z=2>M7x(7<&MG5U2-fn8k80nDaYpG8HB_%%u{w+O_472AcF_q^c*`A6~_m6&Sl#6DHQxJ8rhu(tV}^Ze^h|4PGA3DmFA{C%qe1D zakA(VA8Ut7(GrI~F zHi?;UTy)F8e?_gSSE;|KgntPs708Y{yYFlOpg$P8j?#~%*ASs&g_3}p1#D%Y$}4Nm zf)C@*L#KG6SPbmZu#+6vO`MZQv+kHeuE*)n8wg{;*O#xIZ;w(O`)rNHwmRO-Xb+`= zawlrzIgVVPBX2%g)vsF5U}%obJhIGy21L;JX0As*eIIVH_NK#!rZisyu-=94f+@ zNQKn*LEzxcW4~!c)s~1$6Kc3j>P4~=T<@`@GU0bY!rhY5zPD?UcR&u4d-Fwv7nnmB z4I3h+f4p_AeXT>OMQPyx`2#q({R?hePdH7|-@D(PGLH{4@l$#)XD~qctTO|_l1)@o z2`b+W+Ld7})~7qxdydmr-p=n*o}5cph_DF>r39LHmv5g1k>rs{E9U76b`k|d-2=)d z0GFSM`#eZu*9Y(IzW{e`t`fdqxQe1BDk7RCe~iP@dJPcX6%YQgk0(Zh5Icb&YBQ&> z{QUCFaJJfsB8oNyIxbR)Iar;TUOOWZmE?BGvaaj7jURUT+N!MP3|=(0+E;S^IN-5x z5|m4u=^Y$pow8}5L!pD@xQK&epgZn;%u20=vR-zSXx@{;6|=h)Uo3V*sXn4rXGgdl zf4qu$>s`zyCM7j)u&e%k4m;)Fd|W3L>WB@?7vUU9Tt1hXO_p*Aa^F=ZmJqvn0%vBz zaQ^(ZV)80e&KDPS#(dDkI&vX+YI5uODtF|vswnfHg9$G2&zl(S8Z9#DC3V9?nQ`os zuUgVRBC&iG$YJU{&e|>(IHj&71#8K6f4Zwb;`XF*fT5Ouo@=^IFYzqc1*`4Q%cz_a ze+16x&BOTSe<x#cLV6{SuHQW%IKNlK&2_WZs#F<(>N&SO*Fg2X3|X z=|+e(n&)}7Wa0P(Cf8#y;|C*Z4I`^Txzn;${A|jTD23KVteaeN2sX{rG0~Tgf752s z9uYW9wYfjca9Az%(;7}i4d*_UfBXGj{UagKJlzEL<^3qMr__>^wW}ys5uR&BesRO6 zhmycHBz`#y{3{5TK`^+aOT3mwU0XlCHmpu$$ztY+Z@8s^Rxwt(v;dDM$hCm7hYtw1G&*Ylu5iwQcV4Vb<|ZwP6^g~7Y`e>W7TKIaZ* z7lioCt*Wu>8I&I@-e?sk0qAYD(n?ZxZ0ilxw6JqagNZDduJ%DHHx8zKBYfIM zhy!rm4IVgjA~!PURIL5sjS&1F^OePPj#4Gcf~B zjo1LN((1MmrmQe-$%8{zs@;utS?k)U099sW^NC9nn@?}_bXm|485uuw6gF*UU(p3K-$MJ-js91f12%3)d)fAbvg0^ zwofh#)o6!b-?QT5TU~p!O!l5Pa(}1Ax^CP^S1qt-FQe3`uU~$-kSW)a@f!9#C!jYq z@HmHW7t*5Xw>RlJJv)lcuT$HhLf8P>_8Nk=FIjd}m}yS3gwtGbXHW#!IjOE`X*=o% zChY|4r3nc7+jc)xe~J(ie%h>HMx?f&u|B@N_*RV;3ys?0!3aj1T#|eCqUaR{=vRz$ zPlSVym&DYtcSoqFnjaSwg6mixmfuSadOtBfLZf}+GGnd7g%1rJCx$fcjwBseM3#*2 zPkh_7;RxMTJESYH-*;b26p)NJ}$~q?WbFCF6wlC&ns7xSOF$8ukH7lqV7vav-OL z{%6>V&V1f#|I9oe8a7vpY4c4tZxpR+Jgi+0ZZVY~#nsG&lYc@D`bFBQoxc$HSUA(Z z_D=9bif)<|cVYfU7DGS)lNsLdu zDiAewCVh6q8jS+M`qB*H=gUtQMO!@vnK3WRsdB+?L8k5AjUlw`&mg8P(5en4emwTY zfAW>L$$^Nt{XNc!jhv2RXLzp#(DcGojtfQ}7w}KPNCvMHlYrh_Qjl_UvB3|wW{Jk? zm2`m>N98PCo_~r$5`Cd(RRQJDY!lt)v zb}IKc`383GfqjApEr{WE6%dWCgkU!Ce+lJ}nN7ftqw9eqy#=_Zb>6Aj^|ysDo4F>> zS=|j6IrFFXX$T(;zY34ynqmb8?^)1CF0{Xa5itlvMG$4n!GcI=u(F*C6ILq3VF@m0 zs8;Ywon?1IKyg)8c{jVzj>lKBo5WYc3>>Zgb5)hc>Kdq~B;-oECIG6p4)@P+e@W?M z`S>4mc42O(+1CFSr{o^OOOrmWYUA;8-74bB(2tWdT0V5Acns#e)hjY1O zNVAmThujbIwlf*c2@L7_@mGIQme5~eM6d%&z*N{%qKg!+NshPWx(Kh(p7sdQLV~F8 zuEbtyV|p7vFXSlcbUD+i&C#aXf8lI0+i>0|k734miUtwX^av^_GpeBa% zCUt3noDC!n3|%+82xvb!w5UYfpMjwaQz|)0WZF2tu@*&`y9@1xJ+GQTu{Q@^0l~2#KGLfIiqhiGtrH!=fY&J3Gyulu}_%Ty4sJ^RC+e zeE^fW_0{-Is_m|xw{tMw5WnJ|$QAV-)9b)BG?Ep-hc#8#<;YQtJyLNRe)pOp_{lL!<{u@NZ~K<2rt`6B6oM)UquuRYbtB>JW`#t$9~JVSSuA>OnwPC0}` zGj!TAGfh)N*{<-T%~}7uWi>-f=O=y&859;=FQk&hbC>Is3qNtZfAV6Vw12=Xv>2Hx7Edu&2jKc|dXN^=PSAlTd5C^?mg{4|NJ3 z!fY9OXAHOLZ;|E)J}Gh0#REV&uH}mj%l;?!@h=Uj~W}RcAv5(lV)dHEynJI zx^+ZU-r;dyg}Z%IoME2P9B3#ijsb76T)%Ua)&25+YBfMjD@Nt)CO5# zBuAM8jzA_2w|<0(IgjCySns6T%I*xC$H5%J;jNm99EKvIe-lPDM_1qG^BH>^wk!N& zI*q3Tx$PLZKCp=HslBGSVvh6b9E%spD1aPBeovf{+5ODC-{9Ta&%3&f2{E=H}FXMkYVf^r7TGN_EWL-xQzDe;&$?oRB1%r7y^8m$kUkLUyDr@ z^CC*$%jNb1UtqK9KuHWkBiB`~Vg@Qc4GPC(>h?$+&(CnQ6weWF?SvmDW@q7S%`#)5 z$gPd_`Y{lvZ);m=n4sPqYFO%zdV{wGVnkiM1&-nOf2h}5Ln&-ptXq8%QP;?aMY5fk zucpAgp#4|vGVlnD52bbvsAk4bOb%taZ4dtd1kx~*?+VKoOb~+>uy#%C6wE6m;D>LM zc{R<^l8WT@K~K?2EJ`=JAY*GU>P=p4`eiRG#dk9hhNZMB{e`o2nQwFuDk|_|#hAN$Dd+qH=o)FRA&>q!BO}QAsM50zfv)z885tr`xUeJS^)m2r%G-YLD9|ww&c$Q{qT)@%DKEKe;MLFK|*)C#ksJCXA=Jy*Qe@`qF3z6 z3*ionlipv4-Ts(oEk}OeI-{K1B6v)3VZDNQR*%0HXt^EgpFJ{GJ+K+GR{#^f~HW3D2i7C&C9&cT-KaXJ|Ie;x_u>RU;L$4&GE6%h!G$8dku!gUoDM`&~I zJ%l16^a%0FbB9`PU7gvR?7mO(5^UwN!mGD`p+t&iaxQN{PGu40YK2sf*z37K6byvi zSa5qITGE-AUZH-W=Pm3$$p7i;9=GcN6f6KYYHS;gZ8o;;o;WAgiPKn3W81cEf7@gK;z)ak*7DBN zV%k0Lw`+^4tFSql=|{XA>^}JWROC>5sS+pIw@8Fi*5mfG+_dsz@0eji313rHng%UaY5AO4&(evL% z*qKuM?mwcArI-k}rX-OFip3EFFL-5KVlt1Q_WD(E#0%`MI9V)=-#*pq#p0`U6vgaK z5QZU=kAcT8XlQmeDfyTG=FvNYVD?t(C65sA@vqjXCEDtl5w#ukJ<{|_f7k6K>{bE| zGF0iafqd*|*j0Z{Xd8(FX{7pT2I+#yhVGzQ1!B5;I@fE5W*M5D+ZIz@c5ujGUDm>} zNxzxxWU5I1)OCL+Wxht zwGD424dM4`wXdY`j@~1^f6gM-8Cx%o&WcjYI6haw__%XHpPQL&U!+1j9!m@1-&0xz zwPefi`Hr@0_Ns5`29w}pc_(TjsJx>^^S?Jdch~C&V-I#%I^er;dj`kobW%ehNp;-d zpxXPyrq%6m(v_SL?eZ?fE>1$`|F^`m&{~c`)Tt>Jj6}odeG6^0e+Z9m^bNBaMmHlo z-!4_Z`w((k!2UYwXmNP5hzVaSZp`(>!`Gu%3r4N`sR1>~2dM}um>Y6qzjQhx6y`1p zVenOlq!Gnzm#gsc`29f%9S^CmCjV9Fx{4it-uDs$CtlZ2Ca&O~lbQx^{DZOX8 z{$y|))%;}zuH?A2X2umfK_v9Ps8LYy8|uJ3dVQYtwt|<*r3qJe2;^(FyuE`;vW+%j zvD#a8MQBXziMDk*mo@xf(Af9c@R*t(B^3DW%zK56tk zOO&y+7WIE?^>@T8A=aNax@|+S-}=(MC8Uo}n+XwmzUV>aXJXcy9|sL%jOTG5P(`r8 zfDO-n2UW?TwLx=_2}rzeXIHB#l8-(F0TNCsmupGG#CC$!!Y9AOZe{%VXt@U0jH? z=aVhEqp-Z*?rIGhy_3{>;)%-z|9+3cNpxBVK8t8IynrXBAnqYdT72xy5MLlXKxNv zf8c3t&QO{s{jzm@8%B5{Q=PbD*1rsudQOyj;dk!))*);A_9$lOBvQ1@qDI_B_3BLmm_YZ%9VwWaNqF=^4l42HIFAf79zr zs*uUik4ueUSA_Efs%+&&q_|>Pv(jRi3Mv%i`TKqd^6~|n1j=9GNEBR!h7CI9Bklcb zy!kA$g1jcNr$4F`*KC<<-?eHB14lt zW7T#oi$XSq>#h_t111ebf7*m4BrF&Vuuq=x(?C;*OKcCY`i2;X&JY%#|87(j&7?}! ztGX3tbo<%B*QD`#?#*H%r0}foT$P%Tez9MC#Y}ahM>L2vs$f|Ex3ilSe;5)p(j6Hr zgU*dEO!_>FzrG)Rsh^iVhE&(6sLeQow~(fhZUYW!Ln=_FtjT%75EWtBc@+hV52H|APqpFVM zeeYvSSZj~M&#yMbChk5B#a0%daRcf9!%l)`2&RT)ttaHm{>%WjYBkg)y-lkFFeE>W zzfoSW{SUe{_hGA)T?erN)_%Jj>?@B^;-z!(Kt_N6S3+v?1a_>Xf5?ULigUXQ-vu?x zPB0E_Yxu_HBZ5iI*y474Fq0;6Vp~S_7Izk1s$JKlt3Rr>S<#VGGaytRW`paxf}&vs zcl-LYt8}(lA%FKtlqTm-4XLGE2W7Sgw_S9C3xNVbeb3U7hahLzH!&7hg-#tjtGq`z z>bMEDx*x6($kZN7ed1q`uYM_=S@3M1mSktjqod0kNP(~1!7!WyPP?%XdU?@M~#3-n#<%Oe1 zF$h+aq34xe4N&hbG*jGwp8MC{MR`r5c^5I7D9O4Uf1w;6`^8s}SQd%nthr#zllA{weI2O2)H3X!ZP?;I94@g`q#tn^MGBK=sUWXSkg( zwnu0ith&qzqBR3aJfE{fUCrxc|lVOC%{MCY{7Fr4E^CB#0X(1kQSPmsGC0%$iEh!Y(v_e})jYd;X8;SKht z`(u;+4?s=4r^|Y}XL)G@{*0v~>^ht_+U2Lj*x&eL$?w)6>xvwm)gR!(xcqIP5H2@W zT9sch(cIdp&U!?3uQZD~D9Q_)E&U5@7hjkce{&m|S$l*A3zg9Rur! zG7**~Brzl|EJgKEk5g~J4JS?nKFP&aqG-U(suB|;h=)SEtj4^Z&ek&#OBT4Qk()o? zwqJ(G_{ToIAZe_Q-JEmB=(ng`StR2(|0oSu?rR_ZZs*vRhi=XRVRMk5wRfAlb*9KGMS<{fnzpLzb6dqYk|;{eG;(t>*EN>%PHeO=@3$UpwU+xO{wBmNw&^~4zS+* ztxa-0vqp!@7ad>_A^=4_iC@I@`XRx~fAsdgGwVh(zxS+?e+KgKO7IkZlcZc!MN(-# zbU}%S2!Y-#+2x<8(J3M~m18?18%_0kyi1n8thRF!RraR8^-tzY(RhWCxDBh6xFC~d z-F;-bAVFX~t!kf51?5trs5Yyxqty3ol$uzk1tYPDA0xNtr6APgO8rYS3I<*wf7Q$L z3Exj|TX|ayDfUMCGkq^kaEq#OJJd$rBI9M9h74e!V6jr(xQ&4S&3G!JQlUW1-o$==TExX|yMgaS(W!P&! zbn=61@>vFLc!Lrm>NFK36$T#ge=i^BoE*IC*-+qCli5iTLfgV>DC_q%@+w>Djw}}Z zk|Flg;Ot#cT@--nr}}v^D!YYS8Vl;=Krz60?zO8T2M)giTWw;QaALEBj!Lu*IPv2T zC_^j-a$4Teta5?2oP1itw*+gltUJ)SmV}UO0L7c!Uejsu3WI>l4;|lle{Ra*5ni;I zF#hwjrBzqElG2eC^46fUB`b|(;pXlC!?SqfPWM_bj&0oDZHBN;_2|9>uHMN-aAb@oX9o7!_aI4 z#OTM_hF#lYykQRxnl-Q^e@aH*yo-kbQzhh=zr~&D4}u_VM_TK6W*Th~mPFZVy_>SC zz2jZX_q$XEEFX$kwIkbX)y(^bizBroA&E8-V3U^jBm#@p~-f{+BNqYHb`nviD%v{^ACbxJ$LQH@=Z-LZF%(C`Rd%CYtNj$0e&n7 z3_=i)vTV-yXErV^fsRzC2iSJc>k=4tuAvD|U zibzp^4Cnf*2q&R;u0^Pqj$r(qUPA~T+a4|pOA_x?;Prj_Y*q+5{Zy7@AV-i%R*Nd5 z@$FV9DU!Czz6H)Iw=*$X0Pvm*+h(9xhmLYDC;C`>+JH?&4*WkcBFUoIH{M*kx)+?a zMyo)0fBwl^-z9A;{lzfN%KdO6VtiQA^>QzwW${YEJ6jVoK3oF=9KyL6GqM_R{yxL; z0!%_Yx?#|@OL++A$I8M7JpCbs%U<`YhL=I!=iz@|AnInJIoi})VyM2oo#_lXQD2>L zavq57k3CD#?en*gK+)b&De-}Y>*^<)bR0gze+dzIfT#4Hs1YA1YCy7(WXigX_gbUvRZ zb9AalzQ|cO%I1NncQlcwVAQ?r|`zJ9;F;egSQOa+l7k3`5`RS?R+i&TPC*RN92Wxsybfz7`}5m zPUf=xi}|r(iAnvtJ+f--3~DrZKYpj9#S(N|eC zf-uHULGcb!k5h z=X5eE{@`u7Cp@4&lM)@$%K{%e#vwYHABh47tGqcG_GpCXe}!6U z2OVyv>iq@SIeRKFoRO9l%iTN7cwGeMDOjj9#bkdxtF>HS?;oz4pT&s9Y+v`L={p(l z@LZ!~fapR_IyihAr8%m$?=+KmeSL&U1BUAQ-n-lK=BV41vj}9e@p1|#p*<74-;HcR zU(9`lC*1*C-g*NyFUo!8_KY-nfA0Neu$GvA)rRv4jk>j)U-lQX!oY(_9 zERFC@=n{S%f;0uWW&!zle-u2w>xn8pJVn;><=3t+W?b7jB}{9FW!!ISwugAY^1R;z z*DPz#4?e9e!#&xdnturE4483ETsKq=EYM1Om0G1hrm{ud^m8J>Z)q346(X3~q0^o( zRE9rSrnmTnp7o&$#lIVuUC1&hqUjICT5?6|gALIP^-xQULrlV&es&ql9Ykd*0wN}b`hR7)X{q|1gm~cIipIzq z-^Py#AnS*-&&V#aSpFt0Axdq(1N{!ac`y=+Smw3ONNe(XoRm>PhpPf70(b^>iT8){LX2>H+WzZ7}5R-qo5;1Z}w zD*sP^2s7o@&LIPVeA&_CM0!0(nAGwHQ`nN}G{ec73#cZfC`S@~;7xmgdXtIBx<)G|~~#B2uE5yBy?ZT;~{}k!AO7 zdbl9-+%Q71oad5#!#_~n1&H5j&A0yl686a7XthWar!|Gt`N|29M3bZ2W;k&&16Amm ze}6LGq?eWyVvn89kpWs~(3Io2*4l;^^TK0e>hjl&rWj^a+)oP3Os`0>)~}cHCM{wl zCAxxKM1beVUfRWDeOj-2D?FL6g^eN!1@pvGYTiFR@cK9r%Y&=G0F4nhxpQV@QMgE( zRH3-@wt?YFB-iu7D%oXRtrtbYc}LWge_Siu2ODV47m>170C%s+9WViz!d7hr3N#y)d53=~Ol}Kkn%cfNZG`JV89z*Nk4a_$D30NePM=0A$=E zR<^~St5;y;4-23}d~Z_Z4Vg^Lh3pqj_K!MScH9%|=t1)WHer3U zNhxUfJ1cVgx`pm|q)?9cuq=_x^G$f5K9>;hctUA`K9d4_-K{wKn_gj8)}XT^=Q~c52~~BRwJ) z=O~16Y>{EZaphl|?fJLmmEp;Lg|64RCq$v2L=*8f9@)1ZfcDR?3P1~st(le9vT3ZB zfCm;UhSGdqG;D0WLWiw}3DjtE>U@PC{s_y`&1@*uQ2o!tHLb4Hf7r79>IKOwI8p&Z zD)AwIW7+Y1s;R9I^_NAUDun>RKDtKXav4OSBKzyJfVS?AIaV|Y5P{WshIS$OWbi0` zNuIxO-l{8WAJ-SZ0bMHvcxW-3K!-*t{OCgtpz zPE9$IOc}p5SH6l1e>+>$I9aGX$YuI3_B zmKhKaNI<#wWp%7@$)TPul0nHO>8H6soS)$|d!D0#7Fk_>K&p6B=l!A<&cbY)!n`yQr5l4RCtJ@O32xC4Rbe;O5pS6msI(TY*nSd1Zo z6@Y!moR%CQnnWrIcP+j8TDj*_EeO|n4b}bTz7|+msW!2CBU74J=lN|!EKkvD zIR8tly}2p_e?A`^< zhq~N8ts38jfI>U8MxO7$;oVdh4Ljj7P33pp-!!GZ%)y!3A?B8xNcpC^Z)2#PX?$G_ zTy0etcmr6jwIxIs)zT{&oA*RE^s|P~;wg-3jB`aOmpNSYC7;UpcW{9Pu019rgpxf1 z;U?myf385Znc001GDN&$+bro zQj{)TysmM)UqkN1ezsvzSpa?XIVkPKra)UMe>aWeh;AVtk0Z5veHh2h|G4s3OBZbE zBz+UV6%Gocu$PgE8Oe6KkL5gqe(cDx+i!`&3FTBau$62onO(Ke#oxz-RAMdaqS4+v zwo`ysoP`dkw$QG8b_}^~55EJ#Jq^6cikF~;cv_I&*2fdfmv_c49*^_MhwP)u07W@y zPFO&V{-{#+m29tc-l-XAfZ&jEP^G=1%c&Z(5B@c;Zkm$aJCfj3pMH+4yf1n~HwwoM zdSOjcDyZ}KI($X;-zXdHLZ`a94*DP7K~^i5!DKBImnLB?61T5NEf5ix*Jmvhx6@fI zp97bJYb_MFhFvY71D7ptEfcpnVJ(~k0XVnTWG(*!mr!#pDGoCVFHB`_XLM*FGdMXo zlfVNgf8|=)a@$Cjedkx?V|hA=+%u6Aj*gJ5lC5gH+HI@KRjqP#P!uGwO_3}vw%lJo z=OjpokVu-cJ@YaO0Z9P4+WCAX=jB^C}Sy{!Z^_jywX;yj&njg zV}y$+eH0Eudhdh>O}<14qCyB59c7Bbqrd1&fvP$tP=$UI9!Q5OQzvLpkC(xK*yKb2 z(ca>_6DC9>0>~~^5a`k*Pj-Y=$$}qHj!q&-wF>W1xX=OjwggFd>%gD}XfC2FGKhz$ ze^8MUgY6_TuJ9c|SO-%0jE4jOa{mel_>$P6Wh7_{ zO-sJfU=~mjR^e^pCy?pA>SzU=B4h(u`jX@&-~!=UR7gOA{3|f+G)j-2JxYM%fRnah zPw@v^g9Qk`lL#P~0}H`wCsK(LP?ZFdfApgR=YoKMf&-H!+IftoiL8%4>l4IAq2p7C zzN4X6A(T`#;uiQL0d7Tw&>}{_q@f6fms42jp_EL3K0BO)ZVi!qD*7L}(ye#$CXZ0*aWUZj^gP$U*mu#B=@6)G3f4&v+ z`S^4!x8$eO~Y)% z$cyu4@J$To;fn{Xzi4`&H^1)qf4^$pjhc6hhO$*37fr2?&97lof70%E)u`W8xM^;S zW~4zw(dRF)YId>O!u)wNVy~gF+t5F4hW*%PdewZ`yzVvi?`X}xuD(F4-9@WiAM7-< z-iGfHwC*91n|8|`*0X`?FVebOLG305wVM_6&NeUGq8m0KoVUfZYB~Q3f4a;rx?0-w zw(TwkZ3F!l8tg6_TFC!==ZZGC#_vdy+eMOF@BLLX^6fp__!=6P1Z)_-HRy5UJm$@> z=>vWE)S#8WeR#4x0&N)ZP1E0H+o9drP=5z6XUL_Lcq8QTVE&$+KYiMfr=KU4kgt1J zRYyJ>kLJ~AJ`+*1Vn@EIe`e#wv|r7b4dpkls*6GIaC|Gy_`)HHh(^8dpo1w|BEr|z z4o0If`Z;3`$038N3tbncE^J-6y6|-oa)E?|#rsZ+%-n59zFnNp^YhEW=tD;yj;9yZ zG!vxW%NO!QK0DL-fgJSb;tW|xVUb^Xrwb;s$P^0C%*w-gYmIsbf8xF%CV*sV2b*Zv zG$^tPq3;Go=SYT{L6M6VC35GxL6>}FHsrz6r+EZ;q}Ayd_I}|x0Dy- zK{1|QNv#SbHeQbEzhYTF*+S_aXp!(cv{ERLSb1fOSmyMrh!Bp~rck!rh*f_uuZlP0 z^Wpe*D`1Z%!x&dse`MV*#3CUBG*%S}iMWfPFWT*d91Mp)UM%{(`FJ|}j^x1AB+hcY zFA}F7Di#50x(g2CjN8e1x#%sv9~oAYd*t`d6$-h#H4qPSdPl7aW+xfnj|%OegP6); zhEy2Xs&=7ZVr>BirhH#glB4QlH5^Z>Z<9~k#sf^8b1CnNe-e~srHPzi7RGFr&gI~0 zF|CSzZ?cvzf1RyE7@QjhRVdC{OIL8t7FFSO_}?`2HK+dD@Bb7e1Cyx`ELBpB7KL4R zJk){Tx5*CKs}rIQXWt=PA)$+|>fGv1%p`M;j#FX5x4D0lKOv%@Z~jIXdN|6lXP0diPqj%xm>{@mHfy*7TWAR&U<-?Spj$WS(AE-D3uEF$v4bzv* z>(m7}(DlEI3kwYh@Pi0cW#423O*E=$m23=)2*V*=yN^cS@70ZYDd4tIqq2o4g;^`k z#P!I(K4ulZmVI9`#;d_N&ewrMx zd`bmws);{{DAMA3e#VMz?pl&}zNw!6HK#L7*w7No%tjCeJ?5>~Xx2M?N68M*_e5Ez z9A2~jAg1wj84)@nkfSP2Nme-=vf0p>HfDHbgyrerb42w+2=Re7pA#E!y}wt=Tn87X|O8a4kT0>3^4MZI`ChU;RrH zA2c%)ve_66DS~dedt5uhV}dI?Ypmh$?Q%WH#XQLnkR5l(>24P z7x-m#AVg#|teaxw%Kho1*2o8N@p^lBdvcW!bH?3YYL{b1w>taqq5gFxK%B4s-~gA* zsxn|3)qLlG+)9lyiFb&$)iPrl{o@u4#c_+H1Au;8~k5z8url&w|>9 zmvYvQ@P03Cu?clTD6`Jt8(y_n2EdnU^*2q`9@MA9z3w7Dd(sK7IwL5{B&RiChGO5%6X&DHbA?GqZL6fv5-Le#FQWw;KPft(^A9A`UF>|(i zxrc%?^~cx9i2CjjeHN+|LXMnGZ^#dWoF7cbJxsy&`%{$GpW2Z;k-A~5t80y43R-=kj`AF!gKTc(rZx9;BMu+oBUw@>lZSuA! z?&9TZTn`F*asWGE%OMcTP~B!r9@E-NnW3U_)8xvh;J^D#e|UVfZ$}zh7-lLIhDS!3 zh8WdI_28LCA!L^H;^a6oblo<;nVlC!IV2riy@V+4KoWEDR$dtG3UmW@@0Bg%ebG-+ zbD=Wh5w1)3nUulpVTM*#KNN;?E9|}cDJd7%IN9nVG$jBm=s=D?lrz%m4OtWDZB9PA zxWL8a)J;{JGxB8v-FltB!)h%v)ax%%v4t*Q1g}=zUFjfF7h+H}E>6@_`~3Mrpl6SGbcV5Cj7S@Bc6O9nU?rLHC4Ua;Z$|CSG_Bp=yDo-YTY#d75NW-v{bhx zG9>_F&_jofq;Y*sO(zoV(}@OlJ(2v~e9%+}sGzwY=st^dU~LP(Im z5f(c1{jZPGTqO;EikrZ`qfH#`h}N{HrY-w2jbB=j=DCu_Ifj}fO`K7iOHWSX8c8@k zTA8fRkz){kxs6`MU1BPD5no!ovcDj zoT{@wG+#`8p*29#mc_$WW-MP&_GK(o=3(}4|_5CSi z&!}g~?d20<<;zf%8864aPLph0CQ{SYmI9Whu8eM?;pH)ik;^kqaCazB(p)gTB`tet z)hYa|hcaK4rD4|kga9l#EuZM{EUT=c|H1RWnZ;UP_3K^1zYw{&!r~`Yz@+c*5RF|p zvr}HHXtjz@7$)QKWJ1A7CizbcSMgjCHAhK&CboDySYwPC7S^`K=dOhQNbGi!`nXD& zFBHR-F;_!}YqKivX|9O<5sF2lP~1$_U*fWxX%(W1TH;1EM-5g0lpWl)>na;(pEtREPDtJqoSVe6v)OseCo zcy)s@h8g^@PoNk!BW|9~qMvw?o?jSfefo2dL}pPYG;EE1ekR0HzxVxrbUHb-_LmD7 zLrEbIsf~6Af4K}~Yo)xwASz0Tf^03-EASc>l^jGFlD-!U7W&_aJr0~iAup3|>JR4Q zkyWIZ)^qjq4-l4>k^MjE4waKlYo?R{kQNgU7G*eI4p^RCrO{jfzl~0gh@#?H)3DML z5!7;jQ;=#F-%9vBP@QJoKWv~{6`!2=1^&{ff6Va=px09Sz~OeNHVXA9x#^61M#fU zl`>K41ZbpsM|A>$lKUQH&?@>Kp$f%43}KYM0x}cHiIqw8`O>EK-xitYf5JqQ0kli^ z!ETAAQzma48c0QH9SdLh`UReEK@&cBxI@(oJ=tz z$5k4tNB?{$$0krUGH8K4M)jC%#s%@KjrjoFjCQ1_mQVj&1g+i;Fi; zSxeJYrD84E>a4E>RT0q^VBzY5HKxb0-ItAG#d7I zxc58u^{wgRM(PW^xE3CHb6R>DwYy8+{@wTU5L18E-oo$}%Uch@v2L7mro2G2n^<-4 z6S=gGcVwJLBl11m!-GDCyeow~Cfa4l_l$**UOl5M*N-=*vfHo}J6_JW`tKv;I-I{B zTh(({2Cf>jPC~HMbJ!=Oy+uSK@=lOJR zN_tNK}57?K1H0$Ap9KP+f0_P=5ymtyR7|{v~K{^=``kr|%IaZIa&E0fn?VM~n{7e6y#x*tAY{~G`Ac-2Y zmo^I|Hi(e@p_~WW^dOhym^~%wn zZJhfF=bn&3CG(L`!HGD%vh^$#KZl&Dpdd-a3X57-`XNy|z+rB-utwKk;ZZ5_6@Fp; zC4d?9q*9S~Y1_cD)0rb~iv2{LJ!kE*J>>{yr%;ef?|%!v4k*aO>7^gJhB^sD6y)ip zEro3$!g9ipOY)(&cfchH5tb2tNH4ALU!@2i4ZngeYk$YAW9m{{K@LFAM#r2PiL-)4zoyxFeC$H(-kqx=NZg(Y-^b5u0nXfYB4d>`^vX-m)e4wEa> zQR5x*0c{^{?1+G<0J&l9`c~15hc{0FPTb@AREq#C4CzU{F(3ehy#1HgD)0h2z|31B2}~>~m75xS=lc=uLs44-aaNN&aza z$vcstpf+#)Abjl{c`rf!{`Z$_v3I`Fi{8}!0;K-JiI%%!@Zij{S{fKNyALJJQ@WU^ zI{xa-lP}G=2ZeDC>bosQ2x^x3s}0eed%SKYu~rCjf0=U4^G}T%@ic$~3hj3Om&dTgc`E-|%QC!oyl|;x`_|$bG6xKx9`A1-c tE4X(W;@_DskQSuR^zm}P)4K~W57(ATzxfU<#GoWEFHbKjs%xxA|6gg>B<=tJ delta 67602 zcmZtLQ*b6gmj>Y2nb@{%CllMYZS#vWv2EM7or!JRc6PRQ|Et}Lr|RwQI#*p?-KTo8 zt_65Ls|C335em4k@d=6r82BNP3Wgcv0xwY)#t`^0u@~kJK#>CXgh&Y7vQ zmlsOl`x^moI?iA&nI98uwn3d!&R6ENtYy2nLf(sUbPMt1y#u;XQ`O9t&mmvoWFq4^ zQKVUpNFlTaV9EBNfgt$ML~nAUqf2=$+g@EN6sYJkzs>?QTz3*BYzYbnp?7+_``GaB$R!QvkK_2WaAjo-Sb=*Sb0Cl-|fXHAuz1nLM zVsQ%R?S`J&u$olaqE*SB5Rwgu*w7Bwvv4ZMA`cR$q6Fg6LX6nl_{o1QdYpcau#=QX zGBe5%gO)eP)xTzjJ5;X1J>`X!*9bF>=?u+}EkF$DmX)ULk^tN1T#RhWq_R3dcyPr1f6D7IBcf? zZr!N7E|G5SPzoV&ns$XSO)!TeSw8>K2u^^8(`*hmpO*nLXnm$Qd98YZdhegq^mqp@obAQ^Lq zSQ_k)VbI-L)}|D)$;OgX=JNb&d{5JWVwcst|F3i740xlz92{EDO4JUBEXSshK=K~) zh{8LfEnO+rS4q5%oH_7Kk?)9)c?Kp3X=L6|V&*jtn97K}v=7;Hi+!4T%u3cEf(`IU zmFye4Hc}*cirG>q*1z5TT%Fr)0J&(V)qnDEuCBZE4w+lMZEvN8!>VhJ%>mhX??|7& zug6-JgP{z3tbA)4-HVq=YJoTj)Alkmi zt!P_PLy;}Rpj@$k31PWWtu!zliRw4cU7>FCD@o1trC%=L>bZ@M@U#Aw2Fwp!*EewK zDBXE1p;rKQ8Mpk0V?y{$lu=g~##qzR%(YV{sWfeO&^vHx)`h`G!**JNAHoAj|5)Yw6CX|CR=U)io(JT1dwSYVqp zu+1KY#-`O5RPM^1`<(ot2H>M@H?@c?>k(E?L3rbChiFU+=2|g`cU}~#TE}o85~?Mx zGste%_li(@b(M-godCgZ>^||S@Ip;$?fj+gsA9ItgfDVzPk*lB)BUBY{cr`QB)v8p zjd9Gq?HX#dtJ}fel){k?Y{{;=COkqG?riH>s@8g~6=ZGC<3}`%1^67PA1-mA*L0qp zPLmr@S(tUEpGWU%Xu*;-6uU66BA9r`2Zexrb4aJAult@+&kF%LNSo>I3FuwQ zYaA9akvBpm5amuG+kuVP_YiIKeu=#ZOQO#BP5WWPMtu_ybiPL9R@2+r+peMcPlrZ* z_or5H5Hte=31MT*>cH+ip&0gR;FBiIb5vbx)Cw5>Tum9lObn+%r=<``4-}6P@flS(-8YswxQRZX_G1 z-wXj)ve2w5RdnLu`$gLXZE4GCW6gjGvi^-y&G%_32nF005nN!?*S*dAF2h_gu8}#` z!@&biWFn#ss)5zakvdQq?~~{AF_OuQ5$vbZ#aYi@?nr9}x04ip8;s z-VdOXY%_{iH9wV^YhXXo4s{du9_(CezI1Aqhxd|=>+op&Af80}Py>~zi=Shm`-^SM zCgyvh^{-uS*uf&(&h@wR>m5Du!RO1;Ud$jNj0ccdcorlvq<0}_*?T8~dlZH!b|*ZB zaO+T^M4P^7!uuMAy%&BLF5u=H9H2+bz%}W-7yIQKUY~mE`ke4mk4TGdS=T%3`J~l9 zL5s3%okc+l3NNBn$0|yfbUiJD4AZEj2E_WSEPDWCHdQOstO-{!9r(IT6BZ->a@6oZJzg+ zIN_l|k>Ww0!@}O`?tDSKv!e!)Y@z~uNxG@2!+TX&KMORbesFHd7QTlKxH_p6{PMMb zu5E)N1?OtYs0FI$2>_R$rp=Xwi$e*DYG5s@2|)nIoM+1u+pmd8G-vjE$iZpa?zWVJ zj zB&7JXRwPR@VULbF9oVDUR96C+rU1WKSSjy94iUNg1XCnWEe^0fs6ZuVJP}WF5Gv?l@h;#i7r*k6{AIX# zIE3y9F2zymnn&4l4f{jA)5LRbqonyI563%j>j>u&Cl_rNHLc(w1{J8ezqUY~#z`iI zq53Cm+@?X#Vnr01(|IGrg4Ri2O=BSgIA!HE#o?rD~J(`kz z1W>tfI?<1K#mU;rI;I8|$NSWsF*JZGwPoYz2R@_BkXRN%&ga*{*7U*X#k{D5Ew#%s zjLu%70D95>m-Vib)VP6?LRReuUK?V=_Fapd$nHrUYn2_Fl4+`qcnzE^e5O>mcPnon z#g+sdQb1mIk_U&)dbV9)ODsBG#y;IP8)7*6M2?v!7Pu{i z4;)eW^-T}At1c*aPasQr-_WW{S@cZ1m3s$Oy@2{q;lDG5vVV6iiC!*D2kLUm zzg?rVAPd~E@Wm&{dYA`rRS^|hOF=wPa5)K|yk(_)m;ZPa@3)!gkgjO0k=~y2;HkHm zAXHOr+sDMbNJ}57(yOs#9$n%KcS5-l2J>TlYjcrKXvU+^SfMsO_ITEF{fURR^s@wU zNd_py!<-`rglZS5ICrsg8X`|{C@7WcQ}^4q%|9C{7l>|SzB!T=NWO9|PB@$o@q zd9fXFoxF)#WQwWpXWKfc9Xg~mGRyWlxy2EvUeFF%w0j;FgQDCr>iPa;PTLBtZ5TR5 zPhnv=NWXq;sNXE(Fu=)RmipRiAyEbUu!C$(QTNYAsk*>W7@(aZ5mtB^cw#L8Tgx(@Y#AxHV2p|u#lQx z?EvZD9@f6k&xS2vfI^!61mwE09`uN%adQEtlP}Lh-Nif$1%mvBHw3KtX)A1bLIC_< zffM$4E(Yc|d{!ft3-TWwsBb+^)%Wkv$Rioa>~88x>J54??2VmP-`eYNh3@LOe_H~I zM$YGRPsB%aBgtuF;8_pjQmDTKAQ2;}ShxFytC)Y(H9VRFMAl0KN610MCwmW{f`fC+ z$oO~?AFzMG|AF`i@*k*wp#OpS z2lgMhf8hW5^$)^7i2oq{gZvN5KdAqp{e%7w#y^<C8+x*yvcf*jVWd|4q=ba2YYNu&|gKvT(7rR$)-0!D6uf zKd%jD4yONkZDgxSJ8!Tf_I#+{&ZZ}@kb(1)b%aG-jCn5B#vhIMj{}!jz~Ch)y#BfR zey6XKj!+@n7#9t$>oa=UuqT)rgERBte7E*w<#Hx5lgaj&&@p~90Ly22FcU-diot*w zaWdUZUui&(jw?3xCSs|58)+yt)5074S!EHB$XTIG03f{DE>qD@Yj5vcS%TNUMR7Qu z9Jkxe4>W8MIvGD4grmJ3J2?gp?C`xH=;)F~cZDg#=?&q`!d3Xwk~oXj+r?UZu} zx^m)`0a|#rro#CUTt8xJWz46#l1#T$h%F_!gcK7?;^U`)6tXx8U(xzTJ*r7F@qwHg zBroQG-wppt7@m||a64kgZ1S$zP;*jnB+p)3**2_)Yxn=eCtKu<8tN7=FD}*|CUE*I zVAc%sGG=1cAcan|hRUOI@1YXXpI%Y2+Fzuc0Iaam{_tB};VD52 z1NxsUI+lfcXBGnO;!miTZ3kP|{z`jARtiejBb$nGEHlg7n#il&8D$|)ZzvPzCAA^S zci-zzg>`HZ{?JTR{^o@T9!$ziIyl6+Ym=BfPUhS^?KF*TD}yXgRddT$FM)ju7>$Z7Nx7|CuwnE)YM0LX<~ z!K|9y{0dM6k5Lp=z7bSQe4eyE(Cfwqbe9g^bF8FzC_i2=Q{=h zjYT$woRd!B32kgHa9bvUOorps(uYjGgJCx>B{NS0^ra4-myOdlNAoZldC{1v20YT5 zc!bjD-=_g1YjQkwk0fdN5XMV&fT~Jj;JOMBU*Xb%t4}gzK#aGj0FQH}Qm6<4 zrwl^3om*LqT&Q;nR>*7*^c%rJpo~6o3wo2aDrY|7x8rbdc?#B|ayo<&B0)iMi)C>r z>M1eEn0L0{u+44-pJ{bxCX_(yL5?3I%t@5}_%@PIX%%Qgv?gt;dG4>`e19t8h0J2j z@SWBo`;V}^bgWqK5+bF#0rm4BOhV8%w}P6Lw`oyp=ADec#plurzPGEeneH6+n|d?2 z=(N%Y^MfQ06GQrEv^b~G;-=JX3nDRH%M)un@&%FYTb>OK&gOr{6I1Ypf)ewNL@5Sx zUH2z5I1ZpKJv=O~g)(jyb2wdmI6{>!f!E3o-U?YBj^+T|W5Y}^sQ;%qV`AcJ{h^|S z98V>3pha)ReW3g^korwUi5k|{Ox4=fOnn4Mg?RWktY@QXt!JaP=T0qbrb46PV&wWy zGsjHG#?HjZ`kx^SA>)7IzXeuK*2I2L3V=&Hs0+DnD;xHPTh3~WZQ+8WxV+7VS*h_x zi!Be{h8*|t)eGNCmh;aIf%_t+^P-;h-*&57Rkr6EY8YfwHV7mX9+JGG>}nQJSP~Wn z!R-OH?E$FMQyW8Al~iB{#s)^Gfjb}>+Nf+`F+mnsZO#%vAR4@_KM;BNjnvL?GvM?) z$QXq6tCkQ;TbZZtXOhja{>Q$DW_E6TU>aTUtCkbK56Qy9$lUtsPG3Zn#~jv}(Eq)* zERtsz-~ud$4`k{LYYpq|?axXgxHi3>fiE|XZvp#Cfzmg;40Z~o0Li`134AF7Tmsl~ zvqNt&1CkUcM9ecYKfg3Ph5Dp12f#JCf^gprNK#FLx|A3Dw+M<0Tl+Ue#y5xD0XkhR zf$Y$yj{&ORYT&1Ka82&tCtmQjvOrP^KeOK)H$RM+dqdyTgIE^#`ip?91h*KozTUax z>FMV#8JVB5^lxJ$7iQBYaPEuwzVa_sh&pDL#<`!M%OB#=-my0Zr?1FOzz^|^z}Ubi zL&NM3`0`IxR#9a0Q?Kt^uT|-UztEc(%H{a&Ovwf@J;vqlde3lygGfDi(bj~a}||eIR1nA?Mj2AwaQ)Ty$T9E z_2Vu6&13eqQy-Y$SQx@17?vKNo_=J%yK~Sx^Y~4YozYmBjdt4^GXAgI2B3rAc0GMwq$rf-Yd%xIvCz%n-!PRdN%2Ft;#&En#}nbFE=Hwm0Wb8idQUfM*HYI16w zwsEd3_dmp(1cW7aEv%lS_Szvrv_<*VDL?4tdWTJ zge(K^=3Rm+`A68=0RZTv z=aiM9xiTxjIdNVQ8cb@!xjDs-;+i5)v@tCD_s0>eC!os!Bh{|Ua~uo9a#7x;vCkX} zkkB@BjGVdlW?;IBOa&dU7mzMyLpi!k01!eFJ=z65Dx;KHL9mn=UHprh)=^;GyUY$0Y_3`&t*8!QXxjlC!e4=}&2( zk2rUPH!0bTK^7-lyF^9Ril)oSv{+#2>ri4P7cc_ooQ4CnRcXGEVYKQ9yx+t%WL%zE z30s7I-gemE8^Z4k)GxzsBVt5q!sYpUpe>}^64^jY$$xjIzT5qD0e)cmaNKB(gLnsv z?Z+P#Y&nhB@735&z$DKx+bjAKb+7jcg6fm&-_|TDB38)jL-U+T6Ne;?e&WMb{W&u1 zhKB@LDoP5~S&2mPf2-^M_}rs)(aDpvMD^KXYkHvM#O=wF$l(CdGE|kS`hqF|X~D2L zoV;^s$EXU$%c`DK;1ldaK>u2oW`)_R>yrhkiu^9W_f6%HirlZ!P_E|l;xha@sI<7N z0BF1j(hX4__Z{O3NswMAupt=se~WjVhnE5HWmKBBsU$!0j!3@V&L1dtzFg8(xEb#ZXPeD?>wBOm9Z2NZIX*)L1Hw_dwe)Q zwaBoWuD}q`=tep!fTt$1+YeD6FIlXWG19#K4x5MY zx;t$Y4v{8B#b0CQUDYZHoU}LQHY+F}wggSj?xAsFEJ`(}H4(0`L}HAqsZ;@7TE@tV zqT$=%2rb9ehX!Fj?Si78u=%z0vzWStZBPqHoYU2JUwi7B#_^}+6AeUfosj6-Sh}2p zZ5iN7&E0mir729+AQBkCBvtw(cmq%mfm-Cl!)jL_*~@|qNA?SKnTHwZw@C6&Vl1Sj z9W-o9sJOdZF*@1PI_4I_aYmSQ!d z5uFl%gp>h z-wnex5`_bQU+Y?OTQSq1!I{Rx(S|d|FWUshT;S*`V|qq3MM|8e-Dd!cA9c@E5T71* zAg))h>BLwy?{Ih;y8hQvEKyJ6EI5F%gICCnfP^BxP=ShddKZ#ZDt-r~3@6q($y->- zUSYdZxCp1SF$32$5S!k_Gf+T2Zb@1~S}D4$wh{fIF626k7Nm%40!o9kg^ABLx*2xs zl|VF}wsit~LXHS~vl`$tqb2BeJWHvq{U^-{5t9AEk)$7#gbb$FLA;;bVp0(2nToMp z6Ak)lt03{AgC_W4dO^U7iSuuno!oo6Ra3h_d+MM~y=%GlDutAlFay`H=JI_?_XC&Q zU20pfeF8@0`TLkNr9hG+e(%2S0`^@e#uhF)-r>wMy^Is|z7F6Bw^(*LXGi3nE@^_XE=M^+V5*l7?lfm?sN_)o^wA($15o>{;BpbcfCdai?(!W-G#0G@W8@VH=1mJ-No6!K^cn8BC4R{ z80Sq-%9`7#e_32Dz7VSM(F@a|-QhmeC3PZl2K$eMPXj9jC$qPsn`B|vgG}kv#fgW7 zj+=DWqG8)6MH~4nUGQ}Af`dwlcj^X8zl*JTbIj)jody8Oow!9vOxjF}_A-Lwx0Bqy z|LSS#X7CXQZ$Sy9)aTIwj-a}Z#Dsfzj&X!#tBIoq=eMYWvNqd$7$aWm_<(re4&qRR zlC*?D!tIq$JS%EGYzanYtferIMI)52lA9}9=H=tU-^1zRntuP_0xG3?vbX}5h2b5| ziR!fNf;B+KDqSa`Z-o9H#rgI0^THfeF} zRy5r;MS061bb?PHC^_DAIV-KTZdEb;^TqTr*)|1^!7&exZ-uD|owDP^fm;fJ1{o%> zYQ9J8gJwu!>H2TKi4tiWf)=2mN^>UzFg2IbY&3wmC%U)ayn-xj@T4>;wLRkf!FKb+ z&G)TDJ10_pxg}&H*(*%87h31Y%k#8ZkiY|MnC>6mSA$&RmZnc6Kj5wr&bJIOspHW# z?Ym8VwHM4m@TCkR83@OFUog;ekHds zRwiI_Sp%G*B{U&^7F?{om55?&;5F@b>AO;Q!K z;8>{dH=nc9t=G7X-EN3J`1zs`{yfo1r!nBg;ong>p`xQhV9?UlWcv62Yz0J;W+(|L zt+fm>Rc?%e>=0|C8?D80TfiG7cUa?m{Sa7EV63E7p}@Cu_5k_7?2O4w{#b9!G`GZP z^2}ouP^*DW=?n%YOy;D6rT4qt-wjKWWzZ?|P`*rtqUXN0uc@M`Bd(;s>y+ z{_yV>^)50Q$jGO%(Do7SEK}%*GDbKYM1QQmmDj(^$~FBJgebv+=!fRb0xiLrDsw?M zJ(3+-+QE==u7JV|;tXXr%+j1T&S>R&KY_^SbM4~PEy<m97v>Q(yqLz+7B?*WlKoFD*7{=r_5(ioR5@PrB?A%J@dZtf!w6L zqc&W$e;QW~$Dky~_o0ECjvB7M$LYanV1Y*V1^W6&yfKf8=FM0~_LKCJxCKbSy9th9{Di~OF^Wu5PdSXmWh;olyrLBO&fV-{q6om(nQQR@ z_UrWsDLml=2Yu^$^mQ|w+M1YW{W_@69?c_t`C2mlHsLaLa#U|1x8m7!EPLuPQtmIW z#qAkufHJwG2CFCafkK5~kiJGs&Goyzd@%tFM%CmBbQi(4Cb374#M+KJvsTmS%bvXS z(K##D1Rlk-czod0J>$5ZQqHt)9gmbJDYh~6B0JCqo2F=!M8S~A`?!^(HtP=m zCGz&FfH2vgwLM&_W~x*p^#JklUxZ%Ptpl?vI+gau81t;n^X{G^38W*8kVkgbnNfs{>F zB)p?5L~4KH=M(UI5t3NS9Q9;Km&Y0mR*YNc{w|E%7xXO#ujm;oOmCRfNoc|>`@G!9 zx>Kq-Ur?`)&M9vI_X|LNu_$v{8*Kz1#G*d09+UX!tCHE2`3yS^c8^RSRxMo?=8TEI zWt*sALiD<-*zY?(NakH^)8lMhOE0kP3W-wU4egq|GnXE68gK!`)3rh+-VJZtfjBqx zhE@x%dV753%35Nux1vOpZwj%TpgGGm1p3Wxm!^L&-v90nj0ET+V7ThJkA%~bP?{{wzETmRfh-bZCks1r;GZ6MyR3rtU zunkriy|R-@@bNAD1u^Su_$F^Vi>kUTr4|`qu6%9|r9gP^PSDcQET3kPpb=cfSjY2j za1m{@N=n%A5SCYdzLfEv8y1cUV%{fV>F68XGM0`oKmcr0>dJL<-xD4(kqt;*xYK~o zZjp}rfs0gelJYQ)qS(8K32;!dIAIqYe_VH3q^3(%rh-|kvv;l7xTn3F)ICrj=|!ny z8Fw2sxY;T#-7xBWi-!A7rWh9V2m=BF`nRNS?mrf>@frMM=n4q~TIPppuO{qMxk!>W z*WY$B^Z;t4GKrz#m6}Gv%JXISiC1H2yb8)=(dCe1iL$8*<-8#psb@%>n$E{{UwFuR zt!>;q`f7a6lZ=vvG}FEP(y31!DcX%9o}Ph9UszP6pe5wqaNbz%Kcr|x2Ahr zsjL(9_>`&UkdZt*ReW!2e%b5G!tMzQGicLze-|cPse*szaN}dD+}xJ9dCI_&D5vw+ z@Bvmpv$`i-1Tq!wwrt`qu+0xM@2Ag(jTBjeJXLL4q}>hcbrxvRO@OY8C?xerH+CIx zz)<>n(qHiJq=G2(fhu>fR2zC)G~fOf8)0a+|D9oEGoL)~4us=x(U$J@nZ{ZAz+kgU z1y#_q5OY7(1B_ih!}e<%JNIswo>tK5t9P zhTyZwwg8u7FlODYT@R_1`CN>J1zDnZ7J(O?E{WBcH*Z#Z&;UASjzKSKCm5ECJ$`e` z*o!A?h*AL?Rm9F3Jv&LAPF->%p~`g|USHSl+DtE>k8C01X3&UzUa9p~5Y~aDy8y)5 zGqJG-LvUlvuS8PT0ogB?&eOZm|2i+%fNkoWJYjif)Z^hDEE*sN7^ldbOx(uZyz^5H zcpGw~O84m}>&|7$GV=;tFSRkmEUTyAppqMPo1DHs5eU(_dPp+3K_Yd}V?>x1=SE&XQR z)6zz)_ugDg;r{hiKFAeWzjt~3LsZ5}G8&Eo9f0MV9Mb^FMe3o>wM#t^LY^ke?XK*T z9*!U7;mb3Qmj?^2dB64YP{W4s*Kd>fAhl#D28K%t2t`V(pV>zpB$RW+4HnSgrAeS# zrEt<6KI<*mDYCzI&1czaee1)aF$EdPXtK~HI5tcNdNl9b@pe!nGJEn%WptD7fg({t z_4772*M{?~QnnO}1^I;GZR#=Y;mBX0 zmiu&_Tm_E0Q!^nj7P&(%76VZBw-|{DdQuDPUeC!fid*OCcW@`GX42E3PbVq9m*3-v z{$7aO6#=`ZSW@HtpmAW&E@dS`U$&(q^x2?D;c|390!&x@zwdUj5D{Whhe-vG5_HJ;qVBT+7)Wy}$`h89?v?KxD-f z*G(7XLTzG``)Z}*TZ1K@#+6oTZ*w@iD0X*R###*}Hm$9+7eG4NqOWxRDO;IZ@9z_n z{T-)qlGBo3+H|ygJqYL&dT2{dhdJ)i6|Y&|c^uzOb8V?lGAdX_tDnifn3J(nxM=1~ zS^kS_1GNFxZRC@hxy_%`F)cMZZ~S}slMt&aGOX%qm0e|ZPmYOnl7I<3bY9+ud$B)# z#6`znqAZiV&OSU#4(YJvSK_RWrtGm)*lt}xR@#jB^5WOo*$x2Oy5JCBvNS1);(XQG z!3v_Z!&03ac^Lk;07^yO#5~J{w zLRO5HSZzK5%&)EvW5`(@V|HD{=p@{8up~Vq47CyI>AZS^Kmr)JlOT#>f-2xhx^4L! z=k;XU+sBr?$WOq>?9w`uRlzR6!_O=@{xwq=VfiCBY%_Do48l`+7KJP9dMtE0mCx{U z-Yy!%9*t=k>$$5ComFttZ&UMy=W;%CPme0lrS`0WJUEC504A1X-Ku!5;@##@MIxv(8Tp2BxCN3Ns2^{~n>Pz)RR5b7OIXK8& z`uzC(R(U(Ua}n3)#Xd$nonh4R3NdHx7tZ8HIHk^`&1cV?%TG9XdL&aVr~fZUE> z(OyDwq@#JVxeZCfEh*Srb_`n{h@L%^y)|N20<@Mjx8X@NX&D(wBleGhAX(6;V`aB0eZ zDX1?QI$f55CU6;bl$JDWUsV&(CXmJ4%tQ9QyxGzJ*7;V0UNIbx2vyyEmSo&JsB(T9<5=ugX+bw*}hru62 z=cqXQ1e-5cIVb!kGEu5|au;Gnb~w0h z$8o=>S3HvH?~jFIx_=hG*3dE_=Z14LpXpH8oMa-meo!h!iV*CS5Z5lkaYheuat0tZ zqtD6eWW;QG4yka@EBX?9yp77{5Z+w-{m|^&o3>io?@23&4R9i3+vOwq(Qdfv@OdrL$`{x!#e$A)H z{PjW?{*N`w-=j@5tCy778c|&jUONCjdCGXVPhAB@>S^;Yy@l5zPbvTPR^t-1NP^Vb zci{GoJJSc?fb&ye+&Q0o_+70a-RA<10F=B{i^XF*5g)1cnWO>MITf*Gw4L6Rh6Wh~uK?uqs%w%B4B2UM z50&f3!_?EG>Cc7HczXlzu0hy+x{TaE+O^KGUT$xMJU+$iMEJN{iR*xa37=bwh1%#4 z=}@uz7+#U~K#tRxsBHmHcT&G~j#`YUoyc7`=wCb0zT^?ABiS0A3YonbbeX0~ijJzw%BUv)dRaw%`A$m3Y|7rQ7iEK6%5bs%u=-YZsHrOQ)Te#a?QBr-Zw zB7-mKvJ-1z66o*|!E69bP97V8@~7RGw0#dfOT0MtW|?hf-Y6UrzZaJAH7eKYZ!|7i z%BUrvD(^$1s{IA;Cy4@+UUC@OnNM*xJoRy6ry-#fu}y^%f=?XNvAxEIfm25W7`bzQ zhs5u+Rk|HjqB{#HzD}t{QwiRyJsTVLQayNln4c+&5YDOWdo%z{7WO~>q`FbF+XR>l zAbm#6#Kc8$PpZ0WWYmqTJpZ~Thr2HloQ1_2J~LsTzVA|H4jFj`Z5I~@W*B7Ybd!un z9#4eD2i|Dm6b>un+WUJk=G?HPPg{}rVqgaLkPyV92S3ADFVe~;{!pE=gnAPgWhEb6 zcWeFF2E&Ay;!q0E-6nAC}5w4h4_>389zmFluJ0NTt^t zQQ6L)6-LLNQ|Kr_6p>gWMQxC2r#xBwy5{TTtA;5;6^G6SAJrV@fW9jz_t#*^w4r98mSfVvV~{Mys+?4d~fm7Dfp0i z{Q$pAWlP&URuP}N@X?sQyN=NFh<)H#nZ|(EWZ`;3nm?dR19@C{v*;kT_h%^8Nn5PF za29>vwG#VX9ha>2#xc{AYo+1NIxdzlYWn3|ZA-t!j~+m;piNX{2(39FmYX^U#qY%b zefX4TT{sTVN8o)b4dNBhmyM#?>^-4VLf{>-c(IQHp(2jcUPfW7cT}&YbAr!P4+;_Q zFo|bz9<7F*RTW|d({r`zhtgBxd3lcPokcf4`qh(Ix6TK$pVvbbT@Aa((d8_m?Im|5 zUN{K99^0egaRAq!#Z6{Bw(`Cw5~`TR_N&({n_mu~3He%gY)Od(FOaVoMUhJ}Ch=!{ zFExw-sjOZywX%7M=rMcbfm)BY36Z1xTphzyFSZUr4Be;mVSn1_(`@$ujS!gKeA)f$ zmbYi`@h^_q7^$kf(l{q9|89nQwt`mx+RXQJoU`P<3nt1!W4V9l+gg|q{H7I_Vto71 zC!8K&UrWQ!ulDi5#tj%pDR2kmZZ@9Z^yb}-_f3df(WQKx>P1p7Pa9hTjwnyzc759X z)g@5uAjqKb@{a}fmP|4dk!zXB2qM>+#%iENiV?_{mQH}M>GLw|pILHMvO7DwRFrwR zFqDtmsX3H&DIK3^4cSlc!HTTejbRmOkwxH+#8aY2I=3*B zBowb89>6~%as=%Op{(N^O?n{2=Qo9~Q3wVRy?5|{?9Fyyr*IoP{z_cSp!?i4A@X=x z_d<@~DU{}YB|KTo;p&;?&g9w9T#(bct7^OJALJx~-iH|La@CroG)N)hE*~I3G`md| zii-og^lyy?wMO+o&)Mg!B7r!nRaeZ@xb#Aw}O;Xv&fD1!1(iDR?3*`{)fh#7!>TCcQxP;q@VAHfpat62Ua(!OW@YBB!39o~p z;L{fL90c6$xyjq7J1L`Woh4yeqB>$ifRfMY7N469oiKg)l>mLI$h`u-XDt(h?cB{r zMT5>fH)fvYdMa&B(zQ8gd8xuIqmbh{H zSf6<5n-={_?1ESQmP!WffweYM60_b&*1wcbms{lGbn&60BZEv}royABJjcz>pZyss z=b;VoLERd?u{F$Q%q8!Q%Y>DmMIGxd7rlM0HsnD_Qo@X0hJMT@zBz)Cqy_<-q1c<(RJ)8ka{Xytncs2l33=@c9~&`I)e@?cUplpH z=rgkWgr;U4BZC&AaDh>3P)(*4agtuQGE_Q-Ag{72v~B>93rx~Zo!e&>2o5Vg7~#Q1 zKU}y7o-J<^S$RVsy%dO)#nbk}Xc1W>2d`rl^MOZ0LHdDA<4yZxRjxi`;bD8Xxw&74 zvypG)^V$HZ#_9WVsSpx%f-Ti(dM+lm{Gq24{TMn2PmI{fvJS0Nm{ssFC0xLxu`<)Y z2u^ot1Yri~9bRM|8WSv@_c-qO&YNBqA<|s2gj1nwL1XEJBPq+=XVc;p_@`Z>a;@lm z9Gp_=7Bv2ps%Z!y_Pb8>A)9T?yBjrI7z&g*L3{>Hx$16|>}gH*X>?01Pt0M%Z5-$8 zPA;!0^vZh1aPSTC%kwwK1qlQM5x>)v-?_Z@Asqrnfb5+*Oj&WB51uIui!>T*kuW7} zDQ4d}`*tH{rwy~fE{vois3C!&XJ{b?5E{mTXc{dA4P526j8CYlCQDIyJn2ruL`ZfR zPMXvF@j-zLRL>$#`lYiiyeG`#98v@}yv5;Ef19NRSj*e~sqQI~hpTs+cVi+Ix9)WA zaxw*AQ43L*NO_UenLgdD%Hg({N`|mQ3wjA}bfIQG;fQ;pdewfrHy_SyJ>bh2rGUPdd>F6|O9*NW4sT7pEmJ6Lkfc=pBiamIu5y zX1?F*&gEn`-g*Rq+r{E0tEBR*wBd3zl+6I*C(y;fgZ)`hC%+^W&G`dlsADogyhJc< zCn&ezLMIIU)slt#)0h0wqgG&I7AsQ3C^(9y=x0D1TK+`0vR~9fm&^>5KCTkb@NI*a zxSbnY8J=pXYF=m@bmGAe3}P`^6Kd7&Ub_wLtGq-rjYl-p`7^MP= z15_KBP8v%ITz?g?A;wTc+(~*Y#t>d?8J3dWuSfLRvN(VdcE6h1mRyJq5{iY-|Hg;Z zHN=W6bULThtdjpp2)zjr{CIWhc}-J)EwAW5YrAQr$*f4Hj4*#lDRfrZNQ%s*s;XXa zIaOElrWsyRo+qD5kE-FvFBoHIJGKRgz`q!%sWeFY8nDPKw)Nm)7Bp+eT|@E?NbA*sAA~{@v*L1kO~tof9C}BGuh(Sg{8DmLhST z(S?Z9nOh`4qu*im6lKS?z$ZyqEgcj;Mw;Ut~FQ~(=zAIcAH7&j6aHTW0| zI%Djv{4)gEE9Wa-G|SNL)wW2RFU?+t2a=xZ-Ue(GP`PHnUOGh|+Kyr}x3uIt`AzeT zOt-6;1~y6q)wq4#V!3S1bJ_i6p@8>ICqC+sxL`yxQ#_zT#nOZ-oZJCeM}T$`_il`= zNPvEaBM^3jgX-(->5IC^eZm#sq$s>gaK=%Y>WLL+ub?^MUQun?Llgf#c_`I8MS?y@n_$0@oB~A7PLS5{)0MN z9G)=t?M9QmzGDi^0}pjN30V%#R0hK%%}5hPugrs5`b(EehGrpYL&1XSlTJTz_3yL7 zYlV}1HW=?`Bk#Kwf0=|Y-|D>vBM}lPdSnDKnh}!)xiZIQC}t>taiK7xpEU6z5Cunp z(QM>NY>PfjL_On~gTergbUnRB(996C-!_PWuB?!>&;P0~-g3~$kjZ3RK4l6H%sO@_ z506i$5Mda8z>F*0q|7zXQH*kQD<{$J9`Wxr?}`K;JZ{{El42zn67~KzGKIQ@L5ft# zo2HR{Nyx`T*r_}~nLGMG#aAf4Hx-Wb`<6FMLhU*D-AuzU51F3Aks6sXIP2N}!~!tk9zEFJ_OHLcg)Cc0PWKDMH=;Uk7 z1FM21oy)+2L|HHUo$A)?D_O08t7&DyxEN=5SY)9xCNM+vV1GBYtG~fyrm#n_CVevA z>|&X9GE@VA9vTeaId^K_l$82*Sh*F`D$*0Gp$O4xUQzcCQ*Pc|XDO%Q=rxIuXr}{< zw@YfbLD2-OP7JC77ifB4t49|5u8tR_$Mq?vM#0;z%nKEJ6stj#8LIr~SGz6D&C5Ez z=(Ktrg^L8660)QjJSrWCBY@b`h@qjy2=~=9(~SVg;XJzYphE_6v%65e=;43fq-*dY z0woH4)xsbhlN4041u%@@!hAD%%SUM}=Vsc5YE4A1hfYiaMY{>UNMueuwbCww$l&$9 zIhCfXh9P^dd|aKB2zK4=dlCNufpC@&09`t@8LS^I`TSXxu7AlrTcC>3J;)W7cL<7w zfoBI8B^k)+a^v+wDeD&X8Mwn#j=f@0xdHBSvn)SL7Od5ppMYgrZSZAYK+?Zl zOrY%cHRAJmx!=8G5QDazgTZ{Qe|uEO6^btEg+5bR)E&RF+94>$;L*@I4mUZkdqwOu zD_rSBWuX5?Ok9xkF4}~O*ZkhWLT}_dM-@6=)?`@%fAzycMJ~#+i28t$*=lrD?flo> zTQB$%wy>^MF(NEGySQ_AH?apKSegXn`Wx#_P9O~-wh-II!j50wlFr%t>=HMESIt-` zvLPB@2s4+`%v6H9lQx7PPUXcu2?X2cvDI@KemzYE=LnLCH!M2dt+MfQYA<>tc`*yY zr1Wzef2gVjoARx})o&cJwli)}}QRwB?X97jVu*QCl+Ab+Y4x=_JM`cZ!n0pWn zi_V_Y;Vj)zTv)TL;S;>ZBtB`75utY~=f}81v5vn!@#*-1Qvlxh;qbb3#xKNavVdMm zW^<61Z~e+&CKVt6EK#08HyzhWK0CB3{LS#3f6f_@R~&fqjz;o359CH3A%YcttKN6Q z$i_cl zIP~_pEEDBJt+ ze*)|cB~y3)3GJ_Tn8F#ApOLI2o@i~GQbZ-YGSNHH<|z(RlGsuSaLD268c-sHn9&=g zFL3ZylILabuX4kemRBv3#SkGvy9pFIRS4BJXGl-$f(yj|+k+?K_8Uhz~yL&(Ure=L}? zhy3gNnx3zxtIj|Jh%kEJ;9Hjeh3+EXMVI70*$dVZHuhW@ro0J{~b`pjOnouVAF zGxf-QoSKOojVG$Sou1~K)t7aK0373BavFA*%;zu$C1TW0~Bs788aYe=0$kz+Rk-7_tCDsp2Y{WY3H=@4$r!w>gJ8y#?Ow zZYXi2K_~~ayPffm>%$&aY^GQ$j$VdW8>K6eT~f|@3Mq~hBKMZm2R2+O`9g@83RUV&P%Tk8-a>`tDSQWfrAoQQCI+V;b>PmE7mwBSl8DIzdtjL;H~a>nEl?$XglRAu>F zt@7JoajT3*y-XDiH6FRFH%yUP!Z&s5pI7Sb1D-FNXqdWbV~Fb7b~{pi^Tq{FX+!)6 zGRghnS^VPH<_A0JNaUY%e}xoqluAzNZ~Hc8j)%v7LvETwJ4)Cp2b%&)W@l4k7I3ph z*%Qb|vZ_Kyh5HZAO@u{o*D;dM63nvazb`V6Ye8RuP*Nn4Lr7N3?uf71ml)GOPp7uaSs zYicoUos?n}rkY4TMFR#%^H)E{krbPGS^};EON_Ft!_>w<%T3oo&Si(0eyx=nZ}g^? zi9HW6PjX&29%YZG6!1>Yi$*{-+8v+wDNu85IMqtQdo9nJ1dB;U*6|9e&D}L=!dGQw z+UD+q&_?omxg5xuf58{NFmEJZMC8nHHnU=I+$U4&aU`^*E zQ6AYnz3xK=o98Cl6JS*g)?bb`k2R3mO9iGt`Jp%?XW0nEqihY|I)6klsA2o?<*xUW z3_g3z;xmj{R1JfwPKiP1Q^oZPj={xERtd-0GLxx1cWC-je}?^b&h0qg2yS1yWDf{v zEfxKWf-j_oW>btGQQ2>ecv}j6tjoIH;COfEvtIf66<1tMF%fX&kRNVt=K=e{0TnzKqD3>sDvD*S2(AXe$zDtX7;h6Lt%jYzB zXO|4t?aIgRf^f3J;rEV`@URTu5ePe^3Jt8~R5`id}Z9z4KrNRk;%; zCksQl02-{`D`CY*qT-cHSBt- zOV9C%H+L;y!D?BplHwAg_3FrvDgP6}yot|n=lMBdFAh7VnO<(>qsJZuWd>byOcfDD z6}yW4|cd((7#lFJjQV|z6ah@7gTa3y8;mbK+210E z396-%OpKwCDp#A-L)0!}NJbjz@f7v4{C{qHBq>mW)(x%C-s*3}qXpFNXp0jJ4OJR^ zYD2g5yTq2BNeB`$=ppkz8!du6aeHjp4~+yYe=SXBJSj3&Sk+kB3Y$mq1wQNrS6+xk zWN>xmkqdS8TL&kpPL4bSr>*Jb!Uo&;oa70LS*9tuBzdmeT~Ls=pC~`Dm{9-Y`x$K! zq?W2HF(x!S%Xcpf34Ky4QZeErRd^8nhF-B=rm7}={)Ni?U_DbaM(Vnu=@FhhVE_)h ze-sG(9VR;!GpdQ7g&1HjilvDv^U^2@cE{8V%YiY4`E`|ni=DG&_Bpw4{LjI<$g9Zk z5>qg(r2$Do)&t&lNWS=t7R;2gB6_OPb^mD(on-dt$RTAsa4cKv{_!LxdI`wm6NrE> zJ1iVMuBe4VJ#IkAb=F2N)cw!Dfq59Teq!P*`u`_u;Il4cfJw^0FJyP@`UzM_)6W z8aS__!ZaI-==4Ry!`gDuPu(|zR+x%T2;cZle^lK*P<^w_74%*n??Ph8T)tdMe*?9^ zc=Pl$YsW1D@S;OQdySl&ImS^=Z4Ha3pF3KFcG$4sF_YZ-y}$M0OZ-w^F^KI8wxJMk z$zk4iVRvRlaTWp@BlX`fcI8(DZAp!X94{NUso94s!e#Yof9n(&0BfAMsn*YS6l z1Etlts|fnKO-y~%JpXx(VA1P%Xc&!-kf@}P4JugRBa7@!PCzwIq-n_G0GndFEo;@9 zj+S|x3wYi1#PpTTD-{_BDjV)j%q`yrtIpJ;-pC?DKK6GE$lG4$#arXi-*p3Z^YYXx z@e^I{6{4^StS9*Cc`FXMf6oHEC6q7ZHCv`24+R#sjfphf&fidQ2Y1PfQ>fCE@KHg= zy~WRta4vo1d5f36(C&_`VM0s}W7@Lm{Oe}XqHiYWY zd0;ZwhJjMWAHjJ^`IiRn1R-&@wp?{L=~_N;+Ev^wgn=Ed_=?V%f2tX>ws$oWqnm87 zVHR7epsZna=s#D6hh1Y5+i3HG%M^VFj1-86NLwn?`H-}7e~at~H`iAD1{=r$6=3Vd z6Xb1ve%Cb;nr})7sM3>D;Q>iqOMrq)PHyG}J$eD>JZtbuZJkqUK$F{x7N&?k^ZJdD zO5GU7%yoK_lOV#Pe{&CgxJyqMV<`blGd5%6jN7Z4ZKA!AV78B0UTSc8O(b;L$Z?*U zaY-JWLX>M5Sq9}*LFEY*HZ@lfKa**uaTs_C>Wx6Xh3~f*QK_JP&PrzM#|#b1_9eR% zrSPQs(8*izl;F0@8cOAH7icwM7C2Op^%DEDlol*eJYlrSf4*CsIZB7mmhHeNSYZHM z*=KV4jntvabg{Oym+rZS#I*k_DH*dK>eKfd_c+Lh`?{^ven^>*$dCyhd&n*Hv3{Os zKU-p!bjYO}$0q!Rn=yTl3H)yHEz`q<9e1N1if~fhN%;xP=r5uS!##@9i$m~OFPw0k z4Nl@oO4dzaf6zlhy-;V1C1fblqr$|`lSAUfP6xHG9TGiN&|L=lWChM$lo3vP8ns;> z3#QU>u!cT5TG@LoHQBC6@$ff8FCVM)*2(oXA{+ zj+wkCfAWidO=7PF@-`<&Y&rxC!i)7Y-ZO#J5kE&N{z3U%FFhY==c|=t-tE8A#;c zan5=eEge0>Nd@-AXH_`0j+zsHM9e+Mv=j;ce+k+N-778qHuF+90@)Xn#v2B@HAW!= z?P9!Uf5z6VDm@;a_bZVEg{t86uwJoZfL!Nr#+rh3%zW>Ox38hpu9SBi?<^xbk8qh$ zA%)L_-*~u1{u)o@^7}qT3OL%Du{JMg!uxoUUBWF!g9?`{3e{(>V;fGe=`cP&Qhl-9 ze{Iq2T>4qfaxM2d65Z!j|Ei9-aLl`p?j0*r1%x~9d`eRje0qP(M?29^Y0x9()Zjpy z8x*L3V}^5fYXiL>QJps|(Of@oBf~24-#d=r)=&@G*p(;X;$Rf#Nd=1nL`yXe@XRc$ z$eebId(}(2@dulOoB-6zqz;2noqU+If2PsHAPNw8kJZg;wMvv2QvpXx1Z)UM1$(dH zMXiH<`SugX{n%_>`zCRD!oZ>W%Z{J7Y|?vlph6tn(OmsQDuh3~+va|Kd4WtLsObQY z7bf?`+8WRbFH{&DKj3my8|eZ$VJo7ibvaJ+pgC0YC6tO2bI^5g9)GNvI=efme-vQM z>)D%0C9Fi#4KHthxBVS$vh$B?`Mdw?zVC_HU^sH(e~0!gMf9n}K&qv81^;A!RyCl1uM|elr`|%T3K7T& z5Y%?1MFk|~m4zqWuLHGk2fa0O&zqL>#!ldFwAUu09D(cIB)OEH+wgC-M*2iM)M?F(wprRPbFL> z#WQZIYQQqn$2vdr&O@X!e-3*&uD>vK31erdz7V)?5+qs&5!UV1N|_6YIU|0Uus?cV zx!h=Dg)-@yrvaDE-Jj%FxeZu_{pGF`V~>`FOesT}L?%{lon_MSv$m5HHJPw@E0{EB z?Nc}TGoobTGH8ru~l5!FY}wTqa_gdT&p+iuTP3? zrK*wL`~kPW%Wwh>VLc3FS(3wJ^Km0?VS+6>Wd_uAP(Z6BF`9mf*fBq{Eo_jpkH1#~Plujzg zQ@?AfO%+~54!@O<96W#rI1MKDb+j+zHQIu9^=tSOQ&>pjp5<)F)X;$Eus7go##M`% zC?*ac5ZT;gQTnY@X3_qczn?j^&sYe;1q@KrG0JMpLg!u=t2}pqT=$ zz0dr%{5;IA_FJ~xhwV8Fai+uX;Zux>=Jz5s_4H5&{iVto>=)Z_%J)xs(v16PO;7wA zVjRcJ)&Qh~-@`!u{#%QdkP0DaAS4T1w$(t3g1?{7k^9s*ZoZ+kZ`z;_;n0IeyVu8s z*kCd@(cK zur0n3jW#>(6U*+C43BFaB*t|$e0Gyhtw*aw#R<{Id+n_vPY0_<7V;SxKFGEXB68iK z*$0@MAM?7n8{`r-qDN&mLaD=7r3#tJc18>Ae`?Fi6ChW_AwJ^bUZeThXg<{Egl$a_ zw^xyPmPR8Av%(hjm+^-dkrM+-`U9ExqFd-zv_gQIPI1fILVa|@|HIWg_6Wo9T)Si2 zwr$(CZQHhO+qP}no^x#5`+1Z7<+}etlcr6((qokZ82qb&5TihKTkG&g-F^yw!O`xE ze|Kg0f<5gjEnY?C7X=)?o~>lsxXlRGiaw%0gBNYQ6#bjWU#WdnAGyfMT3NjxL7fy% z4P>U%<%paXsGTEHU348n|C?>*g07zHZI}fr38%jO)snCYArVrlJk? zfp+{Kw5g5Up$^|@mrl~1X?d7=&X>ljn=sx{l2NM2=1P4#3@i;r5T2x_{IT_{z|L{B zd=K`y89Y;ts^(>IB_&R(-C|`;3>jPLlGU5C0L5)T_AO-ca@_UUF0q-~S^HNpe`s$k zjs26>k{-`mX-OeKZ*j&g*cphdvSG+6k&pSYBg80N_9E0~K)yylzM>C>0a)hOQyV4<4mqT& z&Z+YL-rD_ zv!`ktzMbzNc513L!uaxuzG*)NbQ{(w^FS{3ykQ!t=0KBr5J+UdZvY4Cu;wpW5Fcqmf^52?rAjVu8`EGa*@0pbOL~%jGrb86ndR($qlDL!@ z>O@n-vgXjo>%Q-d4%;m3DW0^A1$7+7Ym-uXhzyn)cRv<^K+Oz&cZSMR!#9MCy9kTy zPF2&G-rtKj4g>Kv)*-;*f3roOh-!Mi!L!vmP(|QrBQLq)ShHa4Xq?T~pK^k1s4!|Sca<_V z&3)Kq{O4DIA1d33f{@8nj28NV8?7(R-8~IcM<>n@qj*(%4ACo0e~t8w{-oz34q|8F zDPAVr%9FJ@-X{<&`3}Qw-V|{K_pwhc9}SG6s|KLE+T@Z%4m)%xx{ln@?i&{0OGxBiQ3|j#q=dk2O^cs7m5_a zg{0^F4%%~fxMuyGe^BFf5Eit#iGKewsDZYUS3g!6L?tsm{P-r1%d?b6W^Vs$86{5j zrwXwpe`>q2IdljpU7}s}U#P-jhlA%;XamW(KtpAx*I+k1GDW-W}lRIu+Y_T1GT7KuT2=un~8)=?wpMpW(&0;vpfA}+YDEi{^yTci6^iGFO zS1_X+6E9wo05!qExElsh8d>3P0#u`i86{Bc6q`WSfx1+3^21TE-j6i&y{px9(X?yuOr!`5s-*SlXxJGP){;#oSZ z*NEM)_;%ox0+eyqV=D@MJ!cz=?90PdRM6PfnIv4ob+mt&K9ST*5`lQqjcl!~r3P9b zb~7M3HHL|S1N!Fgs!UYvS2G7Zg6=EiqqKf8OYW)?1n;#OA)j(u(n*lB7_OWxZE#FLZUum^TjM> z6s6x+pFfA!6ror#yGN%Ag7#ZwYA?ZgqxqKROGPEs205?=z>zc(g-wU0>LT}uhb^mR)u2$s>4Kl-oi5gf=X?|Ni=H-)K-Gntx9q~3=Ac*pJCOrHzLRa$> ze`0{C{huPN-g_EF9<80>Ag}$pOE(&!qg0mp$kJa|bZ8*Zot=^kMX06`sr)yzBVk0& zVl)Na1^=g>u`E}y8I#CpI8io9*3CH@>L!o%>E04zC{bN6k<#s$AfVJo0Xe_Nt5L)tf`(fPJ2b4QafENVJG6?68sV2cj0 zG;fLigr;fK)I}I{INbnQHxb$L8fL|US*JrU|3h7+eCSvVTJsxv2k0MiE;y#u^Twj1 zxRxZKjV>46ekZC!LV+ZTU3u^n>hfcu;yh}Bp0O0;jcHsIpHm%_ebLy*iQ64hUjF}J}fgO$wu1giwA9K6ikqhKYLouO3XEn=?raiK>0D5 z^jj>1ONU4aK){~f*q!^`>Z6~DUtj2S$}JhQp!6M{j2(Ds3RHqLhwyud*SKKHg^e7n ztR=voHEkw~CHCE|%yG8%c1nX3f5L&&dVTyN!!E)%E^c|8{yeS3n#NrGZVif4R8#(E zO*F9`*aA?kUbs08wJQy$S3zdp(>8GFC53~dw7f3N_hch0OZq+fIa%er=p>_(p=!)k zc+5`}$AWR7i_da{WLRtfdXOT0l~JA3b#OYGZ0?QiqmEAKV1?NdAr8?hne*i`@ zAl#G#|Apz_4~53VlVlMeH-R#EAYHv*A)}vz#Z3 zabuc1spCN`+So|qL0ftjeKJKN1D$S)Ls2RV?ieS(#S7Gd$6*Rg0;B_&9 zr}sVt<?xR*@{VkJ(+6rB~Fm#ET2Zx1Y))moXL zo$MmVANz*QX=uAMiTJx8+KN z>!MDt+`nlV?u=NZX@FXhx%rNH$95kL5q5`f$EI4afCZU^HX=3~b39Q~gr+Jf&5qy? ziCR`3L<3XVFfF!_f3`z)+A@#CRL}>FMvL${j4yWcT!F49P{0Xf2498w07ZO>m||>+tM5NLVYjQ%~ZE0f9I_;a${zN=P`%)mQ-k~ zw$0<`AW?Om2$hjY4)R%Bxt*mTSb2`bN27t!wJ&Qi6ZKN7Mpk20%s0D(z#Q9U={(Yj ziV}l$1v;^VtVIw{%x|($6I-i2-+#r)xPa6{vl<3KbLzUT5=ySlBu7}y8t-0!|NfLp zwS&x%kph|Ze;vXaHBf8UtrGBWDEk?ygKTCBRgbqI=9 zm;BmxJ_->DKlrX*h4zjpE{JRx)O0Y(T?c9M;=?=LCR|$~DVNi1GMK_3WD0;=j9o8> zCwg$+_`i?1&ck9~G~@y#Dz&#&X0J6%EHhnu7YnRp$L?%wLwxAXy{w0yHR8d^?vTGC z3Tn~1f5*OYta@$Uy%Ca*;;$io#7#D6s8#|ge7Hmk?a?lc;RP_44oSkt0sbpPHB2B- zYz>6#R)eljQ{f>@6sFJZdpLS~Ka{~sUrLkiKv-J{sRSPV^N*nDV z1HP)LW`_G;Kk z5X_xEj(czKn>yp;inhJ`rjST-&}!9a!>%jw z0Nv(dfx4;>k}#S3^nc;b^$^ID5&;8>B8bGy9Ip?Y65pch-^LLO}DU6Er;9Q5V0d!OcH%X^LGe>;xx z1ImK4gE@}UTs7kWHqlOLpZcL5)XRJlJglS7KSve6x1e+)>#Bf~uoc@PguPx3eT=nd zYs}>#@`BBTFD6F)Nru8)5@JUCP|Us5oukUFI^o!%Xa1oTV~(SL(H2Q&R-|~mPh9rD z*lR%!lKMQfMRdc+aPnpNx-({)e;DUfn^rhoqE9PXpcIY{opp98#fV_Q;C)6n8jg;P zuLurtyV;`UJaR+>Qi@N|j2j^j%rvQJs_ZS%hw2(gmd1xO0ob|%+x#N_1ka)oG)tH^ z;>6J$JnBmm_=>?QeMkI#m+LHw_dS6nXtALU^rY&H<7i;b6&`1`~e&@qMJilpZ>el~?bxtEbqUvy8x z@%h57({JCK;JC3n@XS%vF400VO6?$cDM?~cABB}-oU?jB9PhCif2k6h#X4+QdVf4V zERqjiVs=L!5EsW+?JrUJ360*GL%6e?#$Px9mBW;FOx7*Ee^xcCsu1z_J?VV4eCf0bF1X}!_|9@iLPr;lLg zHVhz_t#Nj5?lm-b!hnb)TXWS{@*&4lg|f`BSiwijt_PRDPxJQcBsiT~b{I7~kLCuN zqJw2eoswJyqUW(GB_`VqRv@j%r&>k zRXEC=8;ShLf5-OrrE6@w{DWCb1`MuhHgyxr9DdjfX&^GxYR|i)c&!h-veDJ_dGBF2 zq?k&v!Kt#2#i`!~g7v0a*15rFQ38o7zrT5WbL#9uzd|=LQ~+_bIw975U%;H zc`(aRf`Z6IcH5+kR0Sn4Pd6V>NquBIR)7FUyGbf2f4uZ=Ek4-~8ABwagsz1M-AN=n z6Gwo(IS~IetU}fwkC;R(8LaaxLN7-B^!7BWS_>eLF{iis(IKn^gIKOslof;p@7@Lt>RtG zW%C}WZdx{tLPVdHaHQi>2XeQT`{C|s{^Nt8eH_IPPsC>hGdW8u0ue&2t#LIRf3`ZK-+r+fw`1+N8-Pj@pxOY=8H^dC zD!lQ1{(ik55k#^emMgy>ew2&%D}m!v>2z+M%Tb4y#*jD&uoakH0lk+D;kWz_3b_cN z&`7&kbKK;HwNpJeqt>Tx{=|@lhuKP!!%*)0MeGseSh3c9Q!uiB=sNF7(^3-7$XHknovbA1vd5)P17Y#&x2T(Jau@n;v0N zd}ahNsIwNF)}n!jlUK@a^H7VoBCO(%80RT8+}^VrJ7Po(1)!TwO_I5~22WQFX2jzY;{<;Q3pNQFDROGY^?g9e-rkHs?%Fdt8t$Zw$P^vGq;H3ZKnQ zNrQTs{^C~okB1)_Ub}g4C5>0KyzAhBc-`_| zCqTJow{#z1KX1i4v+I8n^+Qt$f7_DUo7vnG_}S_KA)b;p3Sfx>`2u%WmZilfXuo9# z6Cx-QMsq>BXxvvs99Z3{;_h_2Dx9=j%(zQ6xW#H=`QjIIlbokE(%;~pgF3dzguip7 zY8NwBMylO)haCU!_-?ykI#?yl1E|(D7OmBj9^FiHOzJ8$OtJ~3rgIGrfA@8bWGsj_ zL-5tj&jJ9YEOEZFhyC(4n%l{=;+2E?wpZqQ9;UlT7mSQsZicu1#qzM%hT0YJBVw$H zUN_yz29<9B9am@vJ3arD9ui`;x!8 zi%hO-H7amecrYQ}KtoWUmD$?3@DuBDMZDm@-pyyiAmB->BZUk8>LBZgo`28zuvB{lG-fZZbP~4* zigKPUrEf2d7`+Vp-n!<>UeKPcT-Q z(TYD?f7d`xWg3N$K(oy>(&o@^CW*%y&9ftgksK4@Qss!vzwgXKuvfm^qPKa+E(<{T zWzbHWb5h}j@2%vhm z>`(aW@f8?_&4F>)21aU6z(c)i3t?dAXup9HD$~UI^1sYV0Up{!bh_7?F(vyO#0dz2 z?&P234M%Sve>$=pMknFeM!DH~BB%*hq<`0OvX*<_(V?aM?Nuv+NiDukFv`L^F@;eB z@|?rXAvg?z z`!O;#e?|+*li#4NP|JZ&skGu_Lzcf7!=4E>Ojmd#e_!=TT~hOWmpy}P?d8^B#S-7s zwiJ5R;skFoU02y?Fb?{9m1jzAO!)p1R^U`}e~vIoxtLDiH7}S@U8~=7Ie{Z+-&Fzx zGGE7(!hK1`dxzay>@g#dxem2B`~&Xzc(CBfXw_E8zfxN1DTW4|rb=C_Z(MXr(o|3N5<$Rv5RzQ#qeLE2|f%y2$zQk_PpS$}==y z>)Zpj@r&lclfPoX<@1soi-@CByju%?FbwVhjCyfg*TrAa+%2^8(j0zozil$X7r*kN z)PzvNH57}_f&22-hyr!dak_hmet4!IY!9kVf0|Ou?sKq7KnM9Qf)B2BdM(Tv)|d%c zMH^6S=N!q%V1Z1^3w2?(NTl`zf^35g#c(l6oxkyJ ze=o2JE?+=D1d63eI*pV%%Ucdc{RA?B7#=zsQ|pNm06^~78FEQXqD*o@b^%{oYqfvo zrsi}96vx-SVH`$F6o*RE=-6!yl8xxFsr%b8OQd27b$}K)ZKi$NDFkg$7wmXtA$5`V zjNa!_cU7%*24GBy!ftA}%;=1m|3yQSe~0T^oj8M4623_b2MHB})sn}px&khvn*!ey zT*M%5+3dKuW5p@qw312zsBbr*+mexR2TPFb3&9d5$zXdUP?s_5y{Rtv8>#biZFgLn z7JE$IL&1(+o$kqlPJ<3z6yjF-F{LJo`mR5q_CB7qPZ9OvMaik4BFId+yj1Lee`Kzw zDwz6+n1)s+O<*GDhUUSneSlXSxWJKc-ubMvBF0^;_>OrS))_$^-R?t573KF!F+A}( z?I$$jG^}dMyWe_A=n)qVb#ku{y*QIhVzc$(2*VDYwmtClgnej%Q4p+}{c8F#Tf#Y7 zn|mjF29?K1uI3~Bb?&Vb&jL9Ue*+CriKa+L1eg9+wr+*z7h-aw*O7j6ya4JbF!Vn@r^^QN=;C{Yz+~s=#A~KQrCjz} z$HW-J90fyR4$8NFz!`6@)Pa&~;5rs7n^_lQSM2<^iz4=`C}jW~BQT~Yf8qOjHtfmJ z3avLm`{J%Hd{%D^epppOET1)G(?VW==8Y7g=SK(|DZON^!;zZ%QUfyT#;!oL4v$44 z!Y~_z`v+Z?Q`hXO1hvhAioKT4UpYW_G}D3zQgiLY)x)CA3%7i(-h7dIeC?NWoL&Z2 z1&GyDy6C6{DU&Q41#$bIX61%OJ2?L8Z3r zc2z`Z3X&vt4z6+3;Q-OvG?vq}r^X_H_n==aZ}(F(kd0nVyX4?AADqIEa!MzRGo5 zOsNke(H`uqqY)z{*HMG7-7ilc-dyzp<8`ntTSFw5rs~hho|3D%O27{!hMzQ`T zZK&xV`NZTdmAVEXE<%OfJH6ZwV}F}Lnm*vn>C2eG>&5-nfMy`NG<<;G)M#C(U3N`8gI;iUfKsKt|$Si zJx|16S5fu3!X;|i6ohkAeJ?%z_n7PJfeD9m%=zN#hIA<-83_dllL-QRx=FLt>U+}F zEICW&o@8)UfB#1DsF^2?eW4uF99oF>Vc(DD!5gFt)rhtC#!ei%Q0cv!1aM8I z+blI!NCA#z^BRDEWMFN9c;p#yGO7#uv7*^azGMR2>OeN|A66l`M>0L#n6f6=!%+sx~?rzplMR1D8%U+69ho>xO% zF#s|bcjF}sE={YzG9)V#r@JJgL_*?qIuAJ7TX^wPSw$D^hKmWqw`g}z3Ce{L+XKYn*Xdox-M)+X9x_ zRQ1A{+XS?ytE>o>=GNC^O!;K_LYv8_=D#RD^O)qf9Pl@B6F4c1v_5d$o|U(<(Z-TI z1CLU*^cL)v17qg(Y9qZkDc$TF23B8)qjLJKWlllqM!RKca683?<}03Lxt;0Ef9+a% zFR^idimxA}ChD{nm1iqh`5&buFyc0SR05Tvlnd4YVqPM7Xx4|j656G@rZuh!(0S7l zb24t+Fl8wAQw7^VmBn$))6i==dg*mSGgonY9GtPK+n{Cf;pZi%b6XOuUg8IzZIZM# zby%~CY0gwP_r29#AP|3Mtr}&Ne-bbMZ^56Nl|m9;t9Zyj3Pn329doSNwan2a_xZ3N z6D|Y;ZSz-v41P4kr2H9*ArGEYluK|ZG>q|)T%qe-VY;u550cGloDBPQ{FQ{1Umpi# z3E?Y^dL$H{Nu0e9WK?oogr`U>lRwmRy?giScOUb*xd-!B<&wLJNTEwje~?i-h`ZM0 z7S~V19~#{)m!jNTA1Eto<>Iw>vX%~@N0{Yf5XW1?V_f=S+`aoIOR4r^#9-hr{ryY=XY7iie5t;Ko!9GSwpwBldC#;0L@A`VP*#$R0S9;b;4X>6Yra|2)tSqAa?fCt?!$iI3>5yAf=Y94WcwW!_*-<8Bjipfcols45w zLb`LNMjtq|e?1Dm3;%dw6oY6^?Hk(IrkoTzTRPWpaxzTbDhT`S7Dn;Uz#Sx0a%j>k zkn$X+fM8sS<;O-{5FN$-l)grW^848h7zQePqLkW)QgH zvj)LOyg5?LQ55%+rxf%_C%_m(nez;zGy)4m?8}tse-=Us1uAm7ora&eXW;9Vi!A@{ zCg@@(0*Coheeq#3o08$&UU*f|qEd5)uX6_jHtSHg{PVhG6yF$cGXA^xL$hAz81V{1 zawbR1Z?Kk=V`Wwe+OL^Vq-V?a1=)r18*2#tkbIT;^p;n-0 zQ`Q5jf3^Nm+$!_S-?Lf%;e>GU1l%y!bEtDhKEEw)+9zSHH%@@P+)~d)!8%6!e?7Rm z6s>2XR^w$zc58`QdOwO2rpX(v39u=zP1b3HLr*1l2?zwuY29r@?`lycHPrZ-K7Tlt zZ#L?C7nSpM8wWE|Opua7O5vtQqF|DMflRsXe>!L$q|zP>%Rn7SHWf08&V2W@*bhYpGkFKK?__Z7SrzzFX>RaPOR=de+x ze_%)%D-7*ZIFwGdWcB0^pao4;;`H5*g*+FC-bwMy6g%&uRbo+>;LwoHKfWbDo6Z3i zNTC&*+=8S_a1@P1|i>x5Xgn47*e?>yJ9kd zjc#p-%-nX6E+sb&CFr^*uzxtGo0HNbe<_6!lrhv?>|R5MTVRnnz}wf1}rB zRI(IXS&pSaIa+W&qB*-MQ)mGaaB@vABJ&1^KX;~c?L5qL)+te;Bu-Dv=@c;It1&${ z^;t-}WZ^-q(5XvY?di;BdoJ%VQ;Ihx{EGvM8e{c|15gip3 zX9-a!&jp7MxH_-R;@rFNPzhC;&rqhO_EdmxMZ5sxCZ#hugmTKZl8A(*l#9bbXW%Zw zJr}(_{Ij2+GZH}rEwjOd(s9TwL*V>QY;3R-$pFnk02aO!l-~l{SP{Um{X}u!fg2je z!7#Kb;B@ho1cvP|M@NW@e`p}cvtnSbeK=k=o(;X-B#D^)a{)1O8T??=;|XTPxX0D& zYh`y6gaaT){!brv@U-lE@ZH8N6cW?rx6W+Oqu9=5xJ3STWqHGPn1r*9nyI0V<99}2 zBn6ES$k)$c{jzNMDv`f4Fq=*2nRc|w2Z&h5p{3Vf#_7ITxIJsoe{)(9&?D560BCA7 z2K!DyjJDpJgIqdn*|j&RBxggXYP+rI@LiB~T>xf3vLV&m|twzw}a$%es_uI37!qYVG9|0X3NN4-uWdAh2GCMb13b z5VJ~B_Nj|5#3_*j>5Z22h&v7bptEYN$v8rkJlAs|ZYVTf5RSx%u^~pwNDu2y07O8$ zzuAYqjXKyiqo6C9JoZ}iR`^o~75j76!F{@CuWLns-)CC>FhH{SHh*qYqOXuZ@C_K2 z3T#AvvF(a9R5<^)_n+hkrBLxU*#((*eYT?36Lb0DXv&L4!;t3wRl$YGJw`850f6-W zeND!flEI2Ch2LCjDlXL***zL{WtLaFXP@rN$Q-5TwRl}%#)eW7(yUN=6hxnzhJ#TH zmZYb*o!7K4YuXXVcYp6=R%-40(9bObyBOJ17V?^!VPVbi1nO2Geg!avA%6uqWeIWE z%!_JCjS20xWdoy~NA)_CWpf-S*V65D8==8XH+a6-hluEVd>)#YKG}3e5{oN{6^5Jg} zjlF`zXNoW)?-|uw&Ir+<@xC;?5oMz-4})G^;uET4$xnuu&E)|AM!UIK2ykmh^wCs+ zwfI-*wUhX%%J?2<^E@ikQlx^D1%T`9#%41Laoz-Ygq!VyBW7y~z*k_1kr89IlX0X~ zX0dNV>3GFFFKtkZQNaf&5IgxmI)ZNjAYg)b!z$@Cr$VJ1fQQ0U zf@IGXx}4k~HC#Bgg9H>4AmQ~Tphr{-j{4>n*9C5@#s*m?KEh|-{U=aXgSc0H6lrKo zrO705_OfA8IItK z=zqHlO*Ngz5_5yJDh5r{rQp6f=H2rWB4z7kar~0RKVHHEWZRO|rC1i)b(S?Im3KTe zkIF}*OXX3tY7etY+sq<+%G|gjNQN;ME8@nVGJs0aC5EftYFY+L6Ee+1&ElPwWV=5D5XenSa>0)p;u1#}W_%=b^OU0VjFwYUtBe76}+s znaxt5R>Xutix+GU6*F)K3esRxhEqj)oK{zT^x7W;1ezKLx~&!y*yl~dSNGOzPI2Y2 zd%E8seONJ7e6Yeb%X#*(#d=k*@sT=n219;}30&P@kRzZAJ3;L3eBz7i2M0L)@qalP z&a;7;6hGCF`#7E)Abz@O3d=W3dQ1V3!M&Q-N;c&dcRLkW0Z$UYeXbTm3*g@Hz;H6s zx424TDOR0sBk#t3F29Sy<$ydbT`-ZaEAS&2_j>TmmSQ$GXSxw|)8)8u%zX@O00oN! zx7zx2Bg7hw;J;tDqkl@e)|e(LFMk-=1n-PWOx=F7&3KVjuZ#S{2j{Flpxn_Zb;@&v z!^ALTQ!AbUFCA2lcf7WP>!;`4+aM}a8L&8RHT((fD<}FI5X@*m%oBI?Apgf<0k2R}uuLw^x}2f`Dn z;$Xugd{^m>oU6yayezDeY;4noLR1cN8Q7RiAVf`CyG1&08MT+PcoJgIaE6!{SGpl! z$xr&GX+yy^wb3SlJKe>#$}MYuaSokf&UY^2&3Gu;-Z<@ce+qzw3Gh`r+Bi{xfg17x zZIfQzOUj=b7l(zOYhiO?H-9?{)8qGgZjF0aPwA>V?gu`#=M7iD0D=+{g4RvB^Fjv1 z^Kb&~(Z@rhKo{2&Xd4k4`z{_PCHay8`z`>sMG-&c}Ixv ztjHD}u((}0<@g`hL%JOO3t?p(R0xGJN5UAm`SD>ESiJ%*ID}FoOn>?4$lu&O^^7QJ zgtcmQAI?A^%^A>WuMxZ7#~%nfun1PJJsW`|mig?`^%}`tGGQ9&4gZnyy2FT#tUaZF z*9R+%B(TmyVh8Lth=ejtcDP|lfW7s3r}(?@9X8Ujt0uc%N>-`Rw)P;@Z8w4bRBxEr z?z4?B%Bj+SfpVwNJb%K>@%pJ1eBjO~7olPXdWA0GNU(!Frx14LO|SG#Nl&n$w0j1p zfiY-ADg-nGhZ{>wM2w^i#>whDA2-X_n92v18zkl5fp#f(P47#pUTDwGM z#Yg5VESBb=e9(x*_fk`Nm4p*a1S|%EDl%?`GG$42AEABqbWqYzYU&JDf zs1Zrlb&%ftY=3%U$`kmMoJGN!uyB{aImKOSDFfTAPljuzuF*g9KA6N5As{1W@%G^Y zUISs6IqWY*0@_D%_O?uv4~Q%7cI*WPs%ts~s;kDmuP(~y0EzT;P$D?kU(VwprTi_h zl+HuM-_}U5Ed=w{k{*PX%#oWN)U})<**VF z{F#~riRy;WDT&xlDHY@ejy1)YAK;VSZh=oM;fL|H5x19{L%u~^74Y@Pp13T@g3 zgo$(Vuz%#Yc%)#NN`+qNiB+_KwykIJVB-swXJ^$cqhUnTrH7c)0u#^LKWWf3P>#M2 z@niAhtvS=f3B6}#b5Kz4=pXTBWK@?8>h$&Hxr7~oVuvm^Aigy7ArOK1iDoH7zt6Ax z;~N+T0F(M?ByC#m&R&6!VcNi_l(47UkjgZx(|=b|Q)NOjiWrwmq=(WKr?F|nK=F@% zAN!!W7~axhwam2ty^fAuJ9+wvOe}1aejYOKX)?LB!UfEi1vfl^ z>6C{msMZ}Jj`kHtT~WU{t|(OP%;P{!?Kh_U{NgrO9XsKL#~WL z8&qqGxIX%2nPA#2pHH8xWp)fC=}q*?dXGXvNw514f&=m4E0Jd%nZu=VTs7-3$%1p7 zoMf#AXgEbLZ%Ik3Pi6{^u=!w0JU`c9gnw(L_ri@v$f}p4xQz!wy{8XMAF{;rd_hHs z);5rMYFMqXS-Hg>ivIUv?*;{d%@%()zn}+A7{;nPrG;S##I$Os-x=gyw2Tzysia6kK+dOf{u(BW$>17J>TW35of7{@s|;}9<~PZiNg;}0bUaD z^U}jfo$0VeR(XvHAjD^|O$Ej3YkyQjhjEK{vW}>IOiQi_{c;r{DKyhi)!m@MhcrJS zvF|AYKq>&!>|$_^!*-Q8dkwZ8A@YnlhfTp|kK~^%3R+cyJfT300OfWY_&gTKzc3Kh zS*%DaKFe?72~<=TFGwl3#xnJV+x$Os1;N>n^z!1%ZGvwYoPvA;8lOq5D}VnR=;}rI z`~VF>mA3Ya$Oz#UpX0&{N3;>yt2x5^Ux(}T3<6jubnTfiFDK`l`h=2wh>+D+9wFti z?BVEW;)#M?E}M1k5w|8b6@LrlM}X07|2Fvi$#ftdKw+l}6001IrXs(@@ZrA5`Dq3| zuxU5{3lxD%l(oKEs%)Y!>wh~E%y~vLSyDptsSNBIyeQq~J<&{5{^5xKdU@q!ZZB8F z`?S3M;ZoB4Kol2T^v|BymF}u&QTwT}S9N89V2FWl#(&&upB|Eqs%G@FaAEBtPSMCE zEHrM|OTMiK)SW4oL%~%@_2y2fcz&bL%cyYC?Ou{sW;%;?u?$PP1%Cy^6?u2dO_{qa zwM6pZaryfQ9)U|~{}Xwp8$c5TfPZnt?~b~TXVaS&v9{vC%fF4aRaOHT0Ib8*c|XHB zO4|JgN34`uBnN=mvK?VtjPT%teXEe?_@+}r=h7wJU`0wlua7_F_iER{{P`O=uh^6) z<(}McMOw^`9tbt2eSZWs<&KL^nfQ$bc6;4Kc!g&bh;!ri$M&y0Gq_2Fv(NnPNYZP( z6M_Dy-CmbkJLma<>u59qSKp}V2i@&Pt34G7tlX(IMBW%vmUMn*$>VzV?r zNAd3r&HE}s{Yl*GQZ4Za@l94Y4qJ-g;a89Vc0FJh4W=Ey$8fp~n8$e#>QNgT#HAs$W;k%q%!4~8Saa*ETw|f?0EUgzvSY2z1bb?58 zySM5aAcKGUC%Zt&mSgc*6yVA3o8q9k#28~+3N$)n{`_H7nN#X8yVUhP9*_m+Ii^On zzdUVZYjbq8gn!E8ZgCJFCOrB_BsduU+SGxk-IuKzZY(I^L2_3slIHCIu^S_-QZ}Zr z>l&Alqul&<7-;pfvJ!jZ6|G`3$nQ1PTifE_NSKb++BiYvna*eWnfNE2xSg2gI$&(K z0I=bQ?X=QRCdF+6$I5F_tm&hgEdY8q&3!0~XVQHqQ-6O)bpBRW^kgXSi6i(ymzq*i zeYgLko^<>GcJo3mZ7u0} zaJ5sHLw~{iq}239;A!^n=-(IbV4^H{w(&R+0lcF&|JE!+ei4AGs$a!^1W!V>y>10| zeXl@u!+5y(q|gOEFcQMQ88wq^o=1%Cu{s@N_OVv4(ns9$GI0CzASEWIi~vhDeP3vi ze{2rf)H_Pdq0KEne-kKfN?02WKulYmIY&RtXMe6tTK4Meg%A%d+B9<2MshA9aNl{= zwxUCBU%-Ctk%Aw@1bZSt*MT=SfaFslU2ynHh0au=_GuH5yx{JfE|-?NW_kk2 zA2B|srVELioajP8H=s)2F?iYI>{&@{|DvEJ+GeBu1_f6?icqy{?sA6v$*>Hf{devA zWPfC4AaPBaPmT2x=tIxkPB6Y_xt=OHUxpF>2{qXeMo$Z|S$W`w6%6m%V1kSCI4R$6 zf$H{0K{-=*4Edw~&&2owl&mT_H@)w@KlUl_?b3G$gr?`ia`yi|ZY+rCz?1^-9EYa{ ziFpX-rRqyxlIXs~<7LL%j5c|QcPErC8{nOP)?o3_GS8z8io&NK)~ zmV`hR25ok}3XNqcpg%xn`(ATAw_x_ON<+N{e#o%KgGqhtX(@=oGH+V=BxVGBQ-2lv ziEZ++m6KavcInWqQ&#^I{}L7dnMy8Xp#RduYcTNsWb7h1xDXUF8L*NJ%tsALCKtPa z=B~1enltVW_{lLc{ccb|UD7Rq$`@l9-?xd0P$;K$auhS-!`-%B(ZP@C?nHmNJI>z> z4+1#C7VwT%^@9c5wuXiSll=F8#eXoMLQ40o<@ROs0`xZo^16xG`CXd1h@r}zqQtjc!&w%hFK zf~CdGWWmTEds(FRt>1LobESmv+6*H@wYt6j)9re~Df(;zFP+uQ7UyMkJ%4mZ@hG4A z@vm8e(aCs#cgi8#Allq(UTh*2)08QT&%5r$!my{QNlIH-9wcm(ZHR)}2jo%FGB_v*er~O?=K3 zUx*JnL5mB)!$eEf#UrUp0+cUKLyS!zLQu!rN!|OXBB~Zk)}sBAoh4YlbJwPIWLDGG zgecgPA6v#Qp#|pAgq5xI$lB1YEhX5}5&+pu+`XxL|IaRvYF-=HGk^D03;X#=2yfXg zN!V?@pan9OUfjJTD*rAPvv#H=KMu9=4az!)3gMw&vqc62P^OTCVx%h+BQ^~L5na^G zOv3`$h~YSF%82>ciGdo>uz;aWFf>u$gj3or{mgKh&+~T37iL)=6NpF?+*(t5jws}~ zvw~dCV(4EH9jC`|Vt?&B1b*FM5S1}xQYa7>jQ8ry;g+dN$fAA~1~M6a7bHzU3m(-6 zF0F%~y^cWck||UxGL2WY)2jkM6T8{Bool}Ano$qrh=P)g!(alsS(&(NI67ew4!g3P zj!RS=@Ru8E@j@YuXEeO%CDwws)zuzTbnAqXZ(|~Y)~nxHAAcM+C;v9`H#ev4;9tWb zO&t-_khIB!KrF|^Y2`{?>ID{QpQ+~O`+?zSaPF#c9x(CmI{y! zqn4(n%%={1Yw^thHwEJeGx$8`pQgkrnX-hA=$8oU5Ixe<;YI!qyu|K9<`jw3nW>YD zdvVKhof>0zwysz3pMT?&@ZhuO7K&7Eo>PJyut;v+Lg&B3u z{Yn9M?*y*t-+0R5ssA5W@4%c37p+^ywr$&Qk{#RFv2EM7ZQHhO+upJ5bu#lDo1FQZIv0i|3eK`wVy$yAAMj^aG^R+=t-41*17LxW#@-nz z@h~)=R3|mt5PTF2P=Gde=x3O{9k7P86R4-~AS!7jCpEj>cy%2G54LAJ2~-rwQ4)02 za({X`q@pP|n$7`zK#qjvU;=i#hfm{Rn4LS`_-nTS8riFmMupWE9ai(ig(Z=|jbC4- z4SFdKe0qhV^1XCk#qs6+1A_i8MK@M^ohB2sFeg{3o{vy~`A>=oGP(48)otxgx5*EG#|cNO+qld z=(90t7i#eDVSg2@MnL%6xTZBBoPDTON%F##+R^i?u#;GWQhs9H0()1%>@Jqe$4JHoSr-7SRr=| zc*-Fb+#t2Cm7FYBKiPV?3XebJb^R=xPztyM3-`j_|%V#pa!i^MO>XQPx?bs9E&3_Wz?#MN{`JL@phJPU^|71pl z*>C>4B?mn~>jOwTViJD4z!-?<2q!dm>|8wg1DmSait1-z6DSXRW!#8bwoWA7{eoef zbYe?F3JfXk_s11P6n9qFcet0tt}iZplIa;4#!3n(DZf)ky8ID)HBT}eSPNH?DPzY} z>NqPtjk5cfq);7V=1tvkzkkVX%76iS8GjakLPsW#AmuySg`)=02Fhs`IGw1hK_x-e!MnAw~uT2Vp-!|jX~ z=|vG46#H&)G}AbaG@|wriz4mA@zfTRfPk$vv%N?UF&6>OTrjCa=YOuhb4XgUW*EIH zZKYRqcPL&bXam4<&g>4=bX;qA6j28MTzAGjN=1;i-}6Nd{;p_5>QOJRnqBW?G~iaSXy?W+Bjn# zPtx~!J9CpYc=3O0OoC?k$ZwF3W;G#Q?0s*vojMPJ@O*Tw{4ZyE(*U?OVw6=zlHaL(bm>*C6aV0p zYQj8WhpuIrnmf^M15YpTYDlu>sag5`i$LJ*e4|I&JGh3H0xmtoMQhC1q_S zKx0@qI1=Emdw)VnP9tDBVu}WDRK+35-hAcfK=1;@q0ytf$RC3vZ?$}DFB zTIOfhogig*$Da~%$K)A zW*>)}bVDv`RWtG(h;uL9K9^qAe1Jayzn{?AtbQ+^|G_a$Ra0($1*&pPa}`2F?LD<9 zoam2>VSf+_65UjGVId}sqjtzTh*K}pM4#BlVx4py{D=E7Q<$#cW?f<9jduxY+rxq> zpm(7qh^`2~4ZsndA0+T@b&KT4iMlJlgH=q{m6F`zD4JqqOV#&Ugr)dIoU6Y4&N|W zkpO(>RUehWl@XQ$+3ZuGn_!Msj?i6QBhe3`I$ItwWo0;#5X7lYrZ(`xme(RW?BeP* zZD%5 zTsTE@*X>+UL0u@aCu{DlZihpR$oaahU6d9mgg+9CMR&d$5@q+vBFmqJzL!6iq|2B9 z4^;PwV_X^bzz1{L;d=-4Pq35PjSw{#+VD(&q+LRM%*mfLTTg7G?NM_QsnfiWi+_wW z0h6Weg;>{b32&yVAf#BtG4_f|0y+X!bt~>idx;OYCHOGJ>;m56KKHN5=(iA!M9tKb z-#t093T2Vk4smxmdp1Y}k|?AU6K{@u;Zeb52sEaZNV&l={y8uJ6_@b;^-GDhsGAT= zVBhQzJw%gw>hwgQjo(C#wSEfqgBj&Z6Hjj z)ZqQM6RrMXXJr%-KL^=rN$`ih9c&O=_g!P~+rW|4&%F1%NCxF5uoSF{Zhvr?q(z%2 zR1@XG<*I&{X`P=hxee=g{Bg1Vm0Ru+C3suHt!?Z1i{+zQ^+sl1-zRZ1dng`mbDE$n zi1jl?lM6xCVt*5Qlv69aDOBu=6UN)w!dVE}ZyfET2-C!UIfsSkFUq$=~{@V4P~ zsVdvouaDxf@W9~H$OM;^Hh*p7473_Y16cucy`*#X6z^XR3+2efklW^FMknvL$zjc= z`7@B0rTHs2&4S@{ak^T$v;;ykC$rv2a?#_C^yggRbmj|#on^zXfIQphhu}*is#qQ4 zZ8l{;4`gX0^1Ow1yANxb-bPs*aGS^K6wi^$qTv=k2Vcw9T%n*m9DkAe6b#wb^b_I~ zJa>>c>RK-NtK^zTh|}|W(cJiiUl&r#({(kV9)tNY|D3|rYSzQ8nmrKd%9Cx$m|uS0 zuoB{XTGJbrzqV zivfvr>PDYuSq}|Hb$@#+NwWs7Mn~W2QFH8 z2vk|+yR|PmhJVw9J7qdN0t~FSy*#U9tYrXL$kU)edS67;E7n;`mU{((=cMY9AHo&S z$-q3A`ndf3@DY`{JD+x_3X=0$X~QO~Ub3g))3!r=Q-rN6`^C!i4Kcp_uMKh4unNT8 z6qg{^usNKwSm-qM07>c zfZb710&>up&RUIg&y@s6I#Nwcu@f(?wRppMRAjsVDrRcDlxiv=yhhS4xm8&V7?2%f zoFt$@XMZJZYk?6vza;%(A}*qiqyX6z|EvnoU$n8}|NClLK}=R;b-ya{jT#tq0=mm2W;cL&-8Jk&e{5@}MF3N|UaD&(JLd6!OKW z1QWDd*G2*hr}&#hQY_6`-+(Cy3MI0)d2RvLl7HT$NDiQ62pEiLPslVb@yLjD={k*W zVgP1!Rlx*J#+)RLLUP!fz*tKd1Y%(6Q&g%kad-;3c4k~EDO0NPQsrDT0Z^{0X6hYl z^ro&9i(aqw9@HUQw4Z-hWm+sut6uPa=@G4yj7>Z^kH0k)JQ(d#FEQQVYf?4!)7eo(O&v^DP+kAtqiw# z(g!#KpS+s@A6fD8jLt-YF44?8SCfp-jDM}9$8jvhS8Z-_WWaG=_Qtn^*GvkKV{IKqFUF+n<%;k zYZky?o>O8C(x$&w<`5?U27_og`3xfl?vxLeaY!mGD$`51%1F~MYm!+Dij_VFPJe12 zT&N9;U|4qg>qWuB6ZljWs=U{aT4esU#ik$+-lK9G!Y))nO@@#^&5XgEt_DzNL2L_k zn5`uvOP#Veg}b*m{i5Uz6Ao|zb4za~gGyEVaubXFLlMY3($#(#PVB%*=c^!ihj*=M z8O7R8&f*GfGyLF`o@sR*mC{eh6n`@x+d9L&C&tAG?$PsQUP?@K)@(3}3^Wlkum(}? z=*8C7HxjQSoKii-H!M8-i+qRo^O;rfy!+nFSuX4*iWGwQ66wPVlqKotSDr#92F`zt z{ujFmc=&u{IXos-DG^f;%=_2mSFD~Jys|BKggj3WNHGjq!CzntW@?fVV}GPk=SXr9 zurS%3q5K?TqX9tLWrm>exfaVdE-Z9vg!o}j-S$X+thtPVCOUb?ZpR0yu4CxM#WDKv ztgXqu?a*?f=c$6})$P$cT(omzTH+`A06Q{@BP3$o(}GI=z|Vt!p%`u+uQf+$Tt-%C z3SLR1%he34N6(C*u@?X8secuO#y-MtA<}P*eG!5aoX;AW?EQx$MzEp&t_ZALM$@^~ zV4Hx;r_aDepSnSu11#>4itpT%!unC;{*toI$XXL-I0M6|4quqDkS5>~xAOMK(_BM~ zcp36Q^4%FDLcr#5#?(ToNO7;N22`(I$2q06dhZ!RByaEz*T?l{=6_b^>jyb++2}0F z<3qe603}t!!@yxA_MTARtz{JjjSSzgz*3j}MNy06HW$ObHL8gfT;HzD#}C@?&%L7* z%;&unSs;SVV4R%OQMBhctpIY`u^EmX`#X*`uNub4?~pg_)LO-VnLVcp;Q{xJU@MQD z%t$oeGGEVLQ-fVnp?@&F!x+e#B$xG=QoX1+%0CoTP5{mHocXYv@@=XPrU6j%@I!1B zLq8AqHJz%bV9ocGv}Cg7usx?WPWP%8B&L=MC!UR263{$}&*o8jsaz-qXi)EZ$M~I4 z`9*J3U%3??w;~+)7;ZdF3$xr#b!q9-2g$!{SUFPfQPXc~M1S=oe8KsH1|p>!N~~v2Io1MF+h7(X$sCrEg%Mz+ zH84*2)@%p|+E*|=h&#f02n@l43Y3;Yw73pw{1vS;JDao`F)T(O{UCC>4R8coN_twj z)BYBWta~W0hJVP(s3;=YFOcM9ywNK3$=SH?p5V){)utIPO6sG$ovt9 zpesE7DwBtItEnW6sNB8fCTHORSZPjI6wi*|>n4a9(Ql8VFdi;}1QtVEDgXM4^8adn znFMCvQ0_K^4FXJZ%61UmE+WG8aLefGR3L}+2;_EUrGLd~I2e~ZKbSWWU+=cqw#JYizfLpp*;FSC0y*lMHM)C5&BVHtX9u_+Ns-94q2G((hj z#KCi07uR?kSWrEgC0{7!bPsZ082)I+VwmYNzw;%yZe~2_Yzq6X7*N-~m$2Nz1jf5vJw3gQX08F;VGfe%8WPS#jZ&_*8-wm#Q#1Dw8Qz}#On(>z zy?-i8oTH`&@DTiYI7j{ShIp%4O4c6?82|u=xJCtQtIHsnE=WDTcS5} z{Y2i`q9imsbLJZvxF9F^uWuHq)D+_h*$t2Iwr)wm9D?u^Xe~9wPmdJ@^Dw9R!4Mn< z`6r6dv}Z#=7Y!)$vjh&Lt3QXv5W83o=YKHOdT4|DE>dI{3db|Ie9Zl!e!o>XXSm?* zmU}TxIaDxnLybGl^u|&x<@8f*`3SO%0u$uMev^YvsIhP%0}$ z5-0OGgh~c zb0hY$z*V41%E%kOeN(qpXvqsn<9`4#xgR$|g{pWwGmzF+r2n(eQ(?xXnCq!-@#r!i zube&I1XOk5CL|XklR*csJp#kk-$gLL;O@b7hKsjgzKXb{*2D>#5)sX&UXK#c;Gf#x9UBmQaEjgZs`hN>=&NqEJ zqpu=&He^9{T&;HwkD!@a?Tpyi9n2g5Y=!n;{ytOEUd;|2KZHmiNE&G_LHMyC|7j5m zIx9kc$*0FL_Yw6%YBW$chcV|&-YN=62D5{-rK3T#*Tjb(uGIYFiXZ~C%KJW)Au>dB zHl zE!AFtVe=j230vPQ0Qqd|{}_rEsP_q@>js|PGNd0KkqMpmYg|wMVft&YfZm{aSw&s1 zcTIr)8dR1z0Z~Q{_RaBL)QDhS*ZN1ZYe4TlL0`g5Ah0j%nPigwnmb5TNEzfRnw{YR z^+dEejh>))E6DpLt$)BDFv7`X&3bD>qN1QWjc5*IS{W(=0=|9cPIqvj_2cTO^-F2A zEH33meyU-Doze>lL)a$?H!SU-D+VSc~{-S!#YdA5nNPh#*10@^pSWX4Np8y>D z;ggyesc?jrfbOL8ubndMuxbSZ8tWyiIvb;W^;qUgYtEO7nYoz`T`wG6IxV(mVU^yq5hpca z9i=7Y|E^imhJOkiKP8}28@=(4Dwq98LsQxZ2dj!{mM)KqBimDd(4KYpY9KenW#@gt zc-fzd{?NN(jgnOTwC@)Sw9YTPSbg+8`Lb#p{`0vWX46=DR&LYA3$AEE62^H_hp>M% zw?2z_7*RDeMN7*SzpP)?+^sISjQZ{9u%T&tQ-wzgp?{L7d51f8_~PC1Ka;d)j8AiA z_YDG<2qig&a}uSoc3orADmhl;Xvc;Wd(FdhM(%y!Z|dyBww-^{mFOJQ=FzDj2-%yJ zS93DwZzlG8vqF+fFKqkK>N4s?*m!mP4oSn@_+x2{s8;LG>Bf33U4-;b$!jI6V52I5 zx%BgBa(_1_Up5Tt;|Z_;4#Rdv_W$C@A|`w@RvGdP*_Q%WoZz8-Eym`As*9%(&Ny+W z024cl!sp&tewrP+?|;BdukRY6W~z>JVll#3orTGk@iS4-ttmySB@A-?O@91v!SfD< zbrQ5ni<-q4?+%8|fw3jLMwXqHE=u$V^1&4IO@DVzE!Og>w6ED-QPNj9uZDM@%UPkX zUz|9zTMi^|@EOUh0s(uhZaG{bWL&Hg6dpM&%pO@MnE+8H)|gQ-0&Djtp{S&BJ@FA(g9x(g0Go!Lax2!%5 zULY|83EIWGW9R> z=B0fjNzp5yr@+LNs^CiAA{B~y5uOGY|6Z7ib$WLD$9C^gT3ZLu?qDLCPYy;EF@Krf z%XM+8s&;$Ikn#%R4&y`6eBI#wvVbK~;mu9`R7(NRKvGu=g zN)l@Y-m~KC@IX}aI9OyvG8^ZB^%qw`wIUT4)X??1$l=Z zg0bSAvHwY>;fw4x7>!Z7$R30Ic)Y{l$6Wa`2|C>^WQ24A{(0J|W3@8!?|&T+=}K>~ zdMH>4&D+&s;vQO55O8=)Ds#;O#zkyi#b8s63%#|Rwmgbzo1a+wK6z8wuat5WYFFoI zjnv|r+rPqmIa>PUYW;L|0tbMhGdMtY-;h;I(m9}^AtNJ{-V9?m4b*D^t<4Z)yE|^f z@-hfoojs9x_Rs~T!@PPFs(%a7!vsWeibn((pM6%G(o#|&{`))jMI=o8Qum)bU!8Mk zrvHc;o5bko^=Ej(&iC3*w@)23D29(^Ch-yJy<|CpWwWeClN?Ck9_fF!Ew;HNFcFPv5(xM>wvFJ?u(D6n|Qr zqab(3)IxKWs>trhp}1R?<|RgApzGVpP{!H8yzHY(x;FlYmDKb|O%-*@8Nl&f3_cy) zY$BU4DI@?K_8J>tn#}sDuPzEQG<{ky6zOG-f=4pekyyCN)oZ#B%^a`tG?=Sn zPGmcuCY0GV9gvfUDdbFBZKq%4kOnUWf z@DGsi{9|wOYK#RM+U}_Lr`@v~e;Tx-{K8|$C%~(r-hZ$yn7cB~l<qRmHL)JS)k3v%xxeZ#GtiBe^` z-p$`B@qe&suRwT=-OD&yxZCAFOqi9H44+O*OJMfR4Cb|y@ONOK`mJo8TCQPx+_hi7uS91K)zmXmJb-VlA5)`-fpIqUGl127(iQhzH7 z0pD8|5w~Q6OeB4?ks92Ooa5wP1AELKo(q&tD1Ti;9y#(3B;P&XrHAoHc!f1cFrHO? z*$1bc{G4F$nYw#jr|q}EnC7o9lC$JnLYt>l#jiru2Dmb%B*Ux6@4Adez^V+izZDLq zoXeS4Nks<*&GSXNSCsYshw77ygtSFLf?#K8lN3?YuKEklMWaH* z2MU!nr0*Pfiuyymt$MUeHFKT)nKTR}y#;DtEfyq_F-Jy($GB{WEKh0?>2pX3Fs4@t z!yPQv8GP~!3NrdTwo6|XC`LHNFv?C(J3s3m)R$BA{O5iycYs_RPtvb0o&Jvm(0@X| z=MfWpM07Es@NP(GxLi)&_TCTH*Y@S@W6hq9!# z`!Z2N>FvwZfFnP%Ks3ZZF-i82Nd{5U{#FJAh^U9QVp-R)mcO9K(3<kA(5gig92dV|_Q-^kbJz=&{`GAk03rj45ZLGdRiW$wTx?P3@ z+CLD6=Jh1pW8iiW%Bo8(*9vcG+7fh7&HC1l%uOll28lULqaB(TW6PrgOMe>S@Gz&` zC2xA%V@uILIj&g>LE$?|Hn@i^ezH!jmWtUO%lrYR*gl9#$M7d{0N*Xef`D5z*jhLi zA_*T25)B86e?Lm3KtqC1a=17-H%-vwk-bIEWQ-X16?LI3fX%FO(F~Y;D66^7VEem5 z{})32k5)Tekdl&mGB^lI$$#upGvQbuHk`qs`wE$g4&oJr*CS>a$JLE@`YT?|cD@8% z0GBwZ=+l`o=*jliKh>V&#}f>{Z&lEaYG&(Yt`5yZ9swLoHw(^V$yyfMZ4HGC+XanK44Q{1vg%3KdL)y??f;NpLL^V3{_U zJlo)vZs5vS=xfCekY6ybUm4`)I?s67$0e#Yu1g}VF)LA?QtEC3m~O{oHk--b{&1Yv zJAe^wV$ZLU{N9elurnCgD#IpB@2Ggw@sBK2?ydZ(wQ+;pdDJ*bUy6r0VpQEDh|j9z zfjij67>mB_!}a*-V}H7uLTz;16)T6q-xJ>dh1Px2gq9wC)lN~nl~jSJGRZa#j8!#9 z1Y{B!fKdL~?=}PF&_ch{CJryr2_EL6_)Y&SHrk{l%!#?G`%pz=ROMsL2LSiaa=_H* zB;05GCg>F@8c6PA7<2%bQ0dyB&n5ce-na>&#+#PTU=1xkI8^}KM8&1A zgOl#G5w~97ix1smsMI5B(NR=CVR*}VZ`CjvlfnjQ!8S;o8vn@j#Hhb$(t7(cgv)j~ z*U%=9c>XcAFn_}zSW4Bdc6ms~<^Vov{S-Hm+_X7wvAr@9NKOm)O!(`od^?NpNb*ZR zXyl5#`Zn{#bNI&$*&_OnjN{IwlwTAZ!qCrE zo#V(lR4;FK#4HPM+L3%^bN*rNa2avIt~F~6>lrL%!hhKZ?6h~Qw zH(RKrI?Q^-D3#ST1&w?|DfEu29;!_IkUk)c9(I?>jq zXlqO^aDT^(;5Nh&k}a6M4XFk^Q}r3GHB4x~G{ssw#14lqz6qM2Th(caiqQ0;I^Ti+ zUG!bYw>9@<;5Ej5L&Badn_Kqe#AUvLr5!=XNuiZW$*ZM7NVGG6)R~ywNwg!1jES$m zVI6-(5;Cpt1F_w85d~o4HBXK2tr#nzPSxfR^?zxHMi3cZCA!)Y1%%TY8@`Oo@6nQV zxFjPXY*Joe!0JusgR5rV&c>Dv@1+&YB-HTZcR};sicsuumQdx5CCs%*oWD7yFGosHShYz-|Zj5yU7@JNQhQOFOI8!~s@PZRcA!OEdGqZ&oNo zqko?HMR2HJAQ?QG=}qdZDl*PXYuEp@J>}W76GrM>_Z`#zIRjm~WcZrnTm;(QE+n%SmUi>> z`u_L)N|c2=JoQe3t-VJX9f%Z?*I^5R`!#DK(-5xov{mnVoH*MS^Kc6!P!r7zp?^>Z zfP4PHcnY7iVJ#$d)QNaqzkAPHrxYRW7hQ#t&EY#jV?2VPy3IKdDck8MFCYe zAx2Q@VD4it24|5x%vid^LxZ@TO$*`Mp-4g#KL*x%rybemkZta{0v3@qAAcyz0P?qI zYzO+rkd^|+=Uj%^(pl3@d4H7|^8hVC(!bNNoe$DAb4js8WY=}T0S*2n369|^e?_F7`kvO{+-zjWH z;;pIsaFb};S*~%k6&_snAY`GD=ilwW)!ttNS3)1RqB+;?rFfC~ox}p?|C@iOCoxrv zVFr)>n9f(b9W{zT3uxQ@i9gEybXF+IzS1+p$qjpNNTZ zJ>Q;6ITR7P>{1Q2Zh~9%&FuzL4`)s&%P_dJq+L@1`6iSdekXe}QR&kw@3DW=Ky;*zoB*w& zt)q?!;&GNvk#(d%Ip2{soY%<;rlSkg!9cA~U|(c4KJMMn#||J2uZ=(XBPSM9VBPsy$g_| zJE5GyyEF5G3Cv5DS&VC_VR5`lC*GGZOoz0 z?#`Iy=3@yl*kRJXD2=Et!RB|I`to-kI>V0*q1T5}&IsI2ka( z@}VhEv|Wk_FNpY-2rbd2mE+g<=!R}+*y?5QlS*q8`K0O?KbU_Jl2AP!zthLAu}S(G zQ5Pqu07I*#+;8Ie?J1o;>9XfrrRI_6ZP|pTyE|{|o|jDZEIcZ*%(di%`a1$WHxKTR z`b-Hu-;hM088ui^*Oya^8h5oegjD@&MMzJI-MFm)s~%u-mcsLJjU?ZHqJDX4(1b8Q z#+N43{4Bt>9|(V@q3)gP7kuY?MGOUFs1Kt(U5;!-Qe+Az zhIh<+Dmgn4p1P(ta9ucn>F0V(Typ)r8yOSKC~$Z#2~k2Nu75$z;4A#OLi@Re|NmY0 ztCAaGWw82If~rX$6RBwP$U)V z&CQ`+xwD%cW1Mj`_!6%u-AJ>#{Ee>6PKHCDHX$AdfB+qd`odsq2CeXY6t4!3j-N-WT~b zA8Pg!dbWR{N}#17+b>T!;+^Poy8I|yg|2Opk8IKXrXAk7`J_M74{a$b5PJO%bd5K% zP~r8yv#urjZD1><_lL#w4@+?GX1 zT<3qP6O`}h`qcuZQEoJ#>&Xv@-|`IS>%7`;2dx#nlo0>mv@}t}Bk&|j3tI7oJVP-| zgzYvStAOY|$5`=fbQ^Spf|7qcl4y9+00He9WM-vQ_%hWhL1q((9Q=UP!%gC}k)qV7 z&m4c2gzOw}xXghZ*y#^zvEGY9R~VrV1-#7oBrdtKNfRJyWJ|5m1hjMhQ~q-J){_k> z+6$9A^Z`>BhW%03Ja}Wki5J?qA?9QxT zPWM&p@kBePtF3?HBNZQBLrqqrlPsmAvwufPgK|oG2^Vr$YKjYpGwaqN5WOBj+Ym?i zpi7B~O-wqn?hVCC#&zIEbH{AsI}=c-HIJpO(yNQ!%2WUIU5~yU@(3|!% z>v2cYRsS|n6=Jx-COkp=nL0E}eO4pxGoB>^iZp+vavlF481{k4m>c;c6Fe4{oDCSB zB&o8Wq$XN*GBcmy%nOuI&QQqqL}Gs~Zo~3WRDdntmCdOsmjb>+m6B9S(;532*q<(H z7&WaFnmCMmn4d)WS>fA*CxaJNvu88efHy{Ax$XJ&3~~|F>wm{P#72PRC?g8~eAW*q z|2S_3a~G-Y3s|ftZ(Mt+vc_T4^LRk{pXr0rU+k9{lu%b!+0dMq>kqO{{#bunwuqvt zK@@fSZxQy8Tpxa>ng~ryRiT!fQha4R^v`HK7p1+!y1}EjKkVLYU_!EUfij=GlEAEO z?4BZQCV&|sI453dK0jDzeaq1ND4jL9#Nt#Cb^;Z+~xO zL&3-2I4V97Ty#{|k+1=IwJf|4kZ^kHuTm!oti|29Q1Sj@ZX9 zQxun0tFG^NTrZ#M29us&#A;Sgx#J4OlG<*aW$y4o)!^?T&rvTEkk^_pN`#F?F;@v!9be z)=ft)yL!6vpBDk;qNh=ia@hCba814)T+H&5S}hibF-d6=&v;huj@@_-UR^?p1b#_OXqS z6nm>&(?hj%Te1V8$9#YBx2m7q8^PxSDOV?9nZPeIQ|T9?B=1|LMX)>8v*b}?aHlx( zdm1sidmuAaw&i!(=5?C>a0jy>#=D5359SPx&2jFXh`s^-tF-zvZj_R-Zj=>hxf#?4 zHBYl_mNYo<&e1PJ^hh<2Qhx@zA;tfzLoZ+F%zh_FH(5$rffRoN5#Ua=sVS%|;TvMf zb$>nlGff8B01vhqkmEBwD@j{YXo&=G>SsQv9OaHqfL+6l`ay-B5XPI>sR?%4p9T2q zE3nvbjH zMD!Q9Tf>7gkP!2r&pvu@u_lB8@?Qz9i~1rofBRVgP4()oTq`hXVvB^or%rzk@taE7)ot)H5Jnz(^l#rg z82NIHy*VVuOYu%$i-+DZL}OQ0=&10)6e+X*FoQwWcg(q!nA5Jri6KItyo+@N=Ik!C zHq9Z{le|CA_2k-=myh_uD|)r3bbW^?sGg8Fg^K3&o;j=dH(iTC|1<0_&_OE%FNl&F zaJm!W*AjnJ>o2F^HM@YeA{2md=j10Jy*(rX+ge{`v9MC4u=Da0H+f2NtFryk0%o3) z2b-WQB691+ottUb;t}zmAJ*B1BieFt$7{AxaVb@nM^cASzBs%cJ1yC*R$9^~a^L}r zC#m~@yz!=blG_2Ud{j^m(1~DyT|L(W4ZQSi8PtD_clD3y&c~oO__M5cr4eTM(h!1c zH{4yc>OvhFM?^MkJR~WjD3E^l)<2j-V)cMWU;4R1mMnKs3=Ia3`FzQSZ^&2LA^Uh! zI4#MuaE7*zU5*a0GmoCFHayUeaeKH?qnY&j*NC5NQ+r1xnCHKjR$*QV?h2@Wqc+IZ zD=mMWug5G2qo>%Kc zjIM+!p{Qz4>6_0Lg~TNW+x4FJvozqP-TlF>-8x)$G()b=4aQOzxx~MQC;rE5(kYxd z-O%53Q(=WGAR3wDP)ix<;KIa#~idsFd)yCnkTZvVtm#jxI5FNUd z{pJR;&rGtAQ6NP;Uq}h!4m5N(M~x~aj5r)m`!*q7Usz7{qBx4_KU=%>)+q66TNC_5 z8vB`br{CO&;Mi?>uo)EtPBV02FRqEu6$|DGW|f3jbey1+3~#HAM{4+=fsaofEx5U!Eb4N&V@*a@G=U&#BCX*KM*q`riH%}4kexikmDA^xQ zS-=Q+eQpzgPKI}|9B*7^aicZ>HBT0)DP1O5X}*#Pm*22Xyi``~PKh}jvxs+(#2c79Ss)u;CKEu}Wn{o3MO zrpIWz5=T*Mb#9db8GH6UQFW!(=UwDjF*f}5rvE}Y>em9~Jotabak{3nw1KvPX*%Tg z8%RzG^>moRDr9K;h8+TpradiQo3x8ldY$2M;?lX{Qq0hzoztk8jy@49(BF3@{`V!7 zuH=^lD=WmE;RIXv<@%46ZrhisvThSENViZHqR2OeaM!7wuzt?Ow>I!B$HU>Ex|h6( zcz_&FH0Z$K1WSKUEGI_X5@mV^8+|M*n(Q>C9Lf&IoJ19oh4L}~F#U1;o&j&R+2YkB zoK0rhb3DNoFz0eKVZ8jx8k+<@EB*Uzj!xiIi7s&cc}$RTl0{s625`Pz8&P}Ivjm^> z5S&%m@MbF}=dGK{#khDi=Wp2xN=cp`~u`hc3!}YL~@s z3TSV|KRWz;%AQUBe^7Xw!7aAVHjK>YQ~_PJo{DZSjum1ijuJY1w-U))ll)XS z2TD6i0v%8p5jL}2ZQ-l=0B|7bE;P7S_L7Vye z{a`sz&h)Y$RTAK#6Hw0EdxL9W!3yLH8ms9hp~+LM!V20)YqDVtkCj61;+|;76b!hek)=G2^bni$~R2d>xW=Q?w?bqv`MJqh`km;sc!-E^yns5 z23>h2Wzd=MyHRJ6(s3w1llXjdvt(M1Tk(I`TtaP=vwtiWsyo7)Y)eyj5J|Tncy)=7jY_jR2^+t_VLQ+;$jbSZ|xkDLpp4#q)MpWS8Co_UrbuV@&@8H^Tm=M7;ax`c!r;0>#$hYYproh<6&Z2H zJMQ>fAV@wyi+7RMK?^*kP5&!=B|oMFmHCgIgPAtJ-qI7y_oQp(<>~J4!^z)bgZ^C~`PoQA(O-N%xb@zLtE*MpYk1)34TRhP643` z%pg<8q1H)AX8KwcA?P4|@vo+>po@^|m!6WNasNC-T6E9V<7g45jnRMlk$fUJ0ca~s zOgp>R$XtB$$!FTRQdH;UOQlw4wW)45=|=x@M^>_tM@!jhi!k?<6Ts1!a*mLKtHC;h zh$k7e`W)Gq(Xu`R(tS&l=EoFAdOnAHqzyaLb&HS%1=RhNSYg&#dlw1?rKb&^z+;Y@ zXYUmGJRHgby$U?i>XCnOjNkHx9p2ajSsNyS>#|ud9{Ajh3mF-qQ5OX^UU#p~iH3RKKRq^6(7eZN}h5#|C8*YC;9s?8nkh?GJ8sW_0 z|8#YZZ;?0*8_mX6({9{sZ04k?&9;rrwr$(CZENFZ+f!|rtnGci{@#D$J|E6?uKN~h zy+h9+%ttPN%T+|pBe6`*TeX4^srBuIlgM40X{Q+Ft(KZl^Tk_HZ45yeTy3mxRK1 zj~0`sEWRZDOLA>-wi;X%SSYu80hBddBR;DIgcFnkiq1UJt4|@v!RDo z9`8~s@&133lSBCt(&1?A``t{A98vlA88Q4|R`cBj$Z&S?s@lwjiZ)7}S-uS=OA=4EKL6sAqlZ$E;1CvOWP}r zf%_+w$5AuH4m<9iGQ(hV)Ocz3p7ET^Lg0R=9P3mAS!CY+ixw(zmNUqrpDQsgI$n(t ziC12Dl$+nvWVI}LSJdsH~3s!?ItY)n^=+=$USCy=8E#sk~ zd7WIa5`=_QipeuR#D3~P{mU52VtLqoMvQYOlBa$dk|fw;avO^IzDi zp9@oQocPnp?z5$saxQJAfA;4vkM z(CI?cwx26RrW+e5f*Ht)KcEzvN)q%IBz99^LSO(~r_g}w(ddx8S2NTmOhclC+90dr2J|di5`FJ{lTAlPEGgI5%XXbsh!5a!v4R(;wr(w*I`~< zwcLiJSGo4ycG2$!fwarZr0D>w-Vbzci#@4G<$8grs{ucrZ4^-*OIZf%bt$zBzCVX9 zQh43`Miu&ml*|?H{iWlXQebH*7!7qNiqU!l4yL>NRiz9U}vqGPC4OA_`W7fI?mUJ zRHP!X^?J{m5YPM=QjDL{psxSUT@OD^8-uw@K7pvnutISnWC4^SpC;=~w5wIB6%s4^ zkgu~(TfhNTP0W}4i4Jtt+Z%tUvUmu{jL$>bO_aSd+G};)V}LnMLwP~STOMBA)K1lW z8k9@rnZkrSV_!}**V4$@n4n+pT^FJyq*j4V0F_j=S zJly%T7vIm8PT9B01wcRL^)%;M6s$SGy4!ooQ#>>Uq^*w)$EY4<-Bt^8S zZmy$I2x}fGg9d~fLWKNC{4D;y6E}4BB#%H864a2QEP{moD~=}U8zDwK90qvxQrs6Q zooBaW6Jevh=c|NtXNm=ai650iP82yo#QLv^^_#_mq+S z2(f!ap;9@)`&2dbmAYD*5$V|}n67Ll=T5a`L`S>4#x(aR%DCOx z35?e_pFSNixjl@sTmK#?i(}vtrK|M8$8fr7in+JEEo(ub?rs#e#g1Z4kg;=Np+6$m zCS--z+j4%o+|GY3&y{H-Sgc>3wB;;`XgvC6>(Kuy=`0J0NYFhvAfDAem=nTvWzvos zApT42(Cnn1HnTtdv#8WjT|L?r>n|AdTY?pW8r;LhNf^009q7k>#-d1X~MQldivJh133 zWW}P|v6Y8VdLcn(Kfh+R!rN*&@wv(KQGFm5p{zM+f;2~4bg%fWqVm^IwK`&$h88t$ zR;37?agmsFNO29JY8_`5l?k0%esV+WC-qyAAzAz6c+-E= zIw?KIUW5G;So@Ug-k!Fh)3ZdI;R&S4@BZkd-? z@_|!aOlYLpKwPNFdHv-{mYYoHfv(RhpJ|urg$JLS>K}4Bc@?ja9k{8aAZX@pf5efe z3u>x*dxdEvie+6kt4oplW%>h^k++smTmo_T*nLqos+7UJOr#%TCoSX8f;3*qTcJo& ztlxiuRl(z1ljkK!rFH46Y^Dfwk5QEekEVaM-OSzQlO*J){t;TeNjLy$aLIHdbxL+jH|4L)Ty{%;M-zrGKMvCG7aCL1w~91O}JHx&voJKCTt)0>@{q_=F2 zfJ&aX1q`hdfl)qqDll+8fjZoO_lSQd6T|$v9`SC}wfeU^m2|8j(ZV26w7bG}XWKsv z=Bdr#lD-=Oc{b2`IU|J-upq_^1;L7e-XGjk#ZTj2aOyFSZhZP1WDl1F76VjwBa3lh zx4|MHmUeH~%r`&9Xp^43B+Yt~%WaKK06&?|yXXY3HQCi#n6{T-0*BY@2Lpe(FmH~8 z77_d^Ss=tW@N5Z`?XHry#{i;D3{^F17Gdge@@qLPm`S2skt#>J$7NOpR8Pm+)SN&7 zhv37QmxyA&!&c@nf|z2Bbcm3iS>j38;qM0(vO{B=(qy~=>;nTb2pU>+Ohk3*LNR+f zS@If8CHb&TvYA$*^e)K$Hranocce2e#Aq%UChfuEXx$KVHxqcam}MYun_1Euo+$`C zrwikFePFjy_sbkH{cSF~3~DC%ra`$_!v-O4D=hkurO$9j-y`7%-2}TpR`4j!d$OHT>8Lx6^EXlhV^C~5O4Gcq9aXzkG4>&H(?UlOkRNc9Q=PoY_sW%~e- zmJzqhWYu!53Iq54B|7$C*nVV6BitN2YW-S*Y)!Vbc;;K7BlZ?#`ZkBnbfsQ*Eqe@S zl8H5Sdzd7f+lFK~^PPXwjnA4py*1}NvW%jFSh79=Y6VQI@J#jIsac?ELa(<9r?ckIbdNjJ1DIUjw|hNJ@)*T8jdE z4A*97Y7h#q#U0mJ>djU;qy!7Fy84Y|VtwTLY$A4YJ{;aH= z=f#KO);A?t*e1Q*%`kccbBm$#6U;xf?+Ic%zZ<(pNQS>{@rToICdw(AGWEN>ZD;H@ zAQWoAXy5SBitm4w`E^y*gBzX-8ZITyO(GBL?5sY0hn`(e)D1~XSG5&mio>5|-y)|( z&318dcA=^0=|E#6szaB|ye*6(WSM&wUXNi=V5st)+B9J9K$)8>w+;c%zFqn!J@!Xk zUqA5oiP106g`2kYZ8j=76fO6^UOD|S$T_gA6W2@oaM327$J^0pJo&h zRoGu$`CifNZD$dIojK^Lj*Ns&P;suKuCaqzN2$w4rJ|w|D)spspF7-yAB;=A&ovr9 z83{n*Fz0{L>{1SAX2}z}9uz+t8!0`QN>8JC6JnYy6M4y#b=yvnnKAVFVmnBo(^^;3 zj<_Z;oUChD-dt=K$ZoDrHQ~llD+Cd zoWbkJECQIi1?M|y4hRoq#TYkjb8+|zJ9PLTDp2ibz(;%#=YG z7B*NY>b@RJ%!L$3IrERkbJ8Y@juFT29}IsL?Vi%R2=(_L^RiV_P<3=>0^m4~PKBW3 zuaw$dH@_YG$kFUfF42^ZB6}wF+(FuAMJ)0V?%W+6VBvCYp4D(r0GPGn%!R(V?1v3vP9rho*t0m zsGwbjekhDNE0GU!oxx}CQNf#&^kRRzeERD8#jbCqmbr)*Nn* z4kCsi>r=Fobf`gms4$43!`V^2Ddla$7kSXp#)66)G?IxMQHjB*S9N$ zY_)nzl7U@HH%~W%zXU( z^sf^pnr-WW;BPvCNREP3yd`1L+s6hel4ZBu%%wMpX-s5pT+(mE30QwF!^YW7Ec+3J zAb5C;i=P1R?k{BVVa3hG>10*R669Vne0k4Zv`|e}fWDWIgF3DIOp)0u1`5wu%%#bspu#owEj!0Z}NG{p7F%ZgjJ87KG!#*_Ebf{8;@zP7{Gj8xX3_8-D0mhICC#H(f&+fk;`Su7RTx zK470C@S?e%ggJjpfwIdR8?qj`VF7zhmEnU$!@K{c0%mV;FoU5NUB7Z4Q@u-uU)3}H zOXZnhd3H;sxUAXXhlAo(&phi$?=KGeLicdOiHW$_K_cd4x-#RcwLEv$Wp+bqz3&V1qG~eO z-%f3T@^oT4Sqou~T1+&KDy{Fys`p`TvJuLQgzaQ^v5T3dcwGw^J?Dp|*cfBv5q=cP zzS&uM>ZQm2ir>4USGKWAk?Qdpn^>*vYRDk%TomIB_3dI;m4G=11&^w(}kE zdzKasyXuxttoG91MBAiwB_MyE2`i;hKdqppNZ2eo{0a`)ba$ZcOWkQiHrc6^vW4nK z!KZ)B1r0v_+H#Y`)z!}>ba3LMK?cI2;18OmF9okRh)gWXo8hvz$xTs zZ6y}|PxJ2ye?bbrxdgl48R4XZl`Xhe|Sa+`zuIL;Pnd+4tx>^;$a!g3T<)PzK^P!ty;gmaLdN^iV z4_guh_fq`wbX$dL>4z&vCJACjiF>EF=B$r%wS~jmtBm686sulHDZc2@&Vp6cGzov) zAL!pBNp*blRxmMcrAs(!0wZvuVJci8uw2OcC%Y8z3V+k6)v;pv)%r>5<|HzhdEtIZLhPlMx z6{y1&jRE96?w~XC`5VJ-b2e&S*Kq?JHSWK8n)Sto%bgB>j-cgu1NZ-REmu@jim;i~ zzR)9ux}UH&pFrsYtiBvYC^25L5rNGe@Cqp3QKZAhk(CQxN zXbk2=c#pXKoD956{U?TMI~NMC#oW+WuDB&OBc49<;~!j)f7_tU;3++*z0<0Mx9^z| zt|J#`52-~b?%KS2|Jjt`3&?|mC#_C`nB(fPL@ny*dcKs%k*;bL2%9jV4x2SFc*Q#l zReZ6rY%|jydR~QX|F>l3+|z&8&SBO>iov;39f=-<@>@%AfdO-gbNb%)rV<(}K0E9! ziz+WJ+SwDTr^Tx1;oDbAuY_k`E3?EoT5_obW1?`YWf{T#J!UQ{aQtUw{aW=h337ex z3r;Kg$GK#HnW^#1@%KPF%6-&LKuMMlAzA=~WP`q^d*=})_QuW^=>>mMN*KD21Rgp2 zcaK45)e_qPgUMcl>?sDlw;Y{t-gkneiQkVCv)(F+af}}z=gHI1Y`Ebj1)G3s<9fBQ z10Q}fwoB1Oc$v7hW9lvz(ROLWocs2`j2d!&F6u`41Oh7q?+!};)Aw|)Z`pBBAkL|l zE@#sZib7b4g`LACt~!4#^Y9c6{B>M|FkMYA34fs;g&hlxQ87~9XbBRawOqAsMd7u> z`!D(OZ+c=NkY{m9`OLzNj0@LCBzgBu5ihuRbv^#EU}nwb9al{co+;?BE2g4>ZzZMS zYjidARo8XQ8#44b?%7G;kDpwlE@M_0s&Lyrbkmv-*@Dqs7My=P!3wUZ8fP^A7!)ky zYSk#}b`ke&r!QY(+f?pu{@oL*>I6tQi}nD%E}k*x^zp0T{8YmcP(ZkYN~_HW#LZaD zw-)m5^MpXL*yZSwLO-;a2ZZ9zEIr*CNnyj+!Fa`O2{-L8jSbskbb3B8?wG#ewbCUo zm#E2CG5iR!+~$9%0b;N=^u0>E-_^~PP>CN^d(tZXOL*dop|y=ZK)pt`K3`^`6t~BI zv?TrzSA<1kE~|nCc63B7hV@p`r;d4Roo~Ze%N>=iz6bku-R*eC_;#)S`;eVD>iPM`^ll;0qe5UaA~&#}bCI+szW7dAo1E)47#htFChvu~#MM1F|=(qGS0xT+h+ zRFatSE{cp({=7*6)QipEQP^w$KeE;@0hf@qDHNBTH7gXixKS+*5dkr`$6_tA0|7F( zdS)%N1DB*xEfTjsYAu}u0W`PWZ7u%-m&9T%7Pp&#EtdnAcxEjXw?~96l>?V7YAqDE z@P{oB1ee@!Eh!E$3NK7$ZfA68ATv2IHkaX1EhvBGT3d75Mw)%+ufSuxQ$pWwTdt{+ zY|GZfPQ0=cC*!!LC<>A|rbvbtTi##4=QK!&;LVid-IrAfXaZ<-pYME^{<<5ckVPnr zDq<0Jp%ng6;6M37xk76c9?v806vmlC%fhiRg^RJHZ4or8g(7%a=vXAYi`J4wp^KCh zUMhc-L^B30DQgOoP=;7oiGG4Ba7!5_JJuG;YF*fX(uKmJOXqCifXPLa0Oh?$?a< z8nRiRE=UlnP+Go@lI@~mG+xLyRg}^*sCNTPIZ(FL}g-a$C4ex#!vzML0!NHO$C~wfg~~G zL(LG_F1pFkBWx=q;zREdU1}9{=kb5zLcA%&^U>Q;A)XdLOsn3kKN|i=sU8)7|9j_$ zKTPmA!XN1Cn5PS#raaAfn()-+sh96P+STH=1{F_#NGn;M@ic5VJmTq+r}=#sJoTHW z!`(gV%^vk?k1v{rZyPCws}+tLS;st8Z4A>bJ(U-4?s`rW7;{18jW4A$g)Zm{q z-F|8dy?lMp-0n8@@3H1z*I&VE_F*-voxRPXx9NKT)&n$h+kSJ8_iRD^Rjm6B)NC_Q zv)w@Nee|J#B)=tob$Bu!qkLTlv|?N4rO$EghaW?OnA4+Px3; z_Q>)cnUpNf3vt??ePH8{A9uvtFXO5Zue;Y(M?4t~XVq{vEs&(3Vn=_RSJTma(yOM- zh4P(O)n&hXGP*0?^M*xw5w!f!K?4)K$$>RjJ01>4Xy-jMICkk}U8uUybz$nl)`hDJ zp9^GeEIxEvFmtmV@n(K8%hxaa!;c+tGMZdglMG0H5HG};c=BH53rf(N74I?Fmj)S` zv#MkoizKyl68Wb?@K%2c^^S{mMT|ko!Vk7#*w!gBk3!vdipB#nx@D)xM9YZG`M%SI z99ax;{P=P1K^$iT5O2gU=Vv^AxS7qy)BhCWa?~$JlWU=5i9E@PVf|Mw%11kp9>5lX z-?No`i8RbfQ-+w+u`)n8NU2I`;#RJD{aIC>k1htIyPbqR7>0k=wlv7Ot&gQdR;rCG z6LanWe8KDnay%G3yPWsBv(aSw9pNCTwZuiA{Q5& zW5(r0%#+FbLSrC__4tOK#OukZ_ojkPU{rm2T8OvR-E4gvTN`eZULS7L!-m`ElhJ(4 z^@;Z28`J6_S{q$m6-M`V(j896Y^V375KrC+IAymKMW^2K^xqwo7qaW;-(05V?8+@zk!r(C)>*Nlps$rYj*n_GXh?Dd|Rdc{Lhg4M< z0Wr+%G~?Zt+cMUBYo~qw_VdNRsTnqLcB>F5>w0Imh+k>H8KV*`_sLhxSxLKY&s<*m zru;G0BBdH67s&EuEn7;9yK+ym`1RneJz}6#7)pN;;JDbQV6utpcdnE%JUo66=3U0` zN8g@08s-?t7+uNbQ45<@Tzymkq};;+^+uC%ImttB*&E#oEwvOfi2ByiWiuQfRd-_` zs4kDH?qqnRojkhj4+d!Ui0>SY2i@7#XmWcr9DP1gD^G8s{F}j-qb?wPs*dJUG$y{C z02hBtmFR)43|u@;3InUlgh;3V9}tkE1RPgKG5{hp#$J;NL9F>Elbjz7y2IfeK@WvC+ZCIE83}s;BWDWIsCW#5tBmL4Lv+^>%*kdTA$$? z_1EpFor!T>|Im@CU3W1wDW>%Lpt?@Q61jiVL3M4mC3jF=<4kG7fprZqcy(}H?y($H zSEH_v2i4UnmhQl+F_vB(ST~@qbKfxXwg=nY$>4jR5Xj%#1ZRHlJW@!wmGj*Dl0`H$ zYRp@}8^XVd`S6B&QnY4nYjFn;vrl7?ZX-@`D-XX}YK&o+9v*b$`Z#P1xgC}keMEnq zV7s`--8bdy-^|~5?K!DFyNVMGXv#f^_BYDa@OMJ%N zEZPS0L2kP7ITXaKfHJbQd>)A}akC9F19zzV(_o#ufpvXk64BJ}+fdifJCz}CaT-bd z;Dx({F@kgL__pV|29T&+T5d?i2n~PA!UHvzZ-U8NWstz(w}zeq!(PFCxd81rpox%{ z?*zOLFV1BEYg}XUkdp7^-7#)H1;rgUn-2pz2#sYUI`{7Kx{>DgAdEs~aSX(v2%f6e z+>+&%onhJnN?le{79?_W5T=n`pW;(oI`#5!)+`Q+%FK-0lJx;HVBA!{<7R&&gvx=_ zaVI#|=IC8MR?ShT`Y^~K9qVdIm#<50ns>f-Xtd9RZ7dIKV2;Sx;V|5vMg|Y1z!Y5G zQ07jg%Y8PYa_LD|HgD9+f~u^7Y_>2tPt)c`f2x1Wc0^FQKg;%^ za!b!hE@U1*vx*ZjeVt=n)64JaA4P5Q8spK+jkT1|VC{uudNJ#hZiy~UFkXFr`hJN+B7 zt&{#}&>zlk-{SG0dp#{|UGF4M4v&-slp|vI3Vsz+UhkduI7xqm!(+DD9lxmh*EhIy z0poa8KRZHp+!1H9?x5d09$pWsLL$kVRky#w7%=%=ykm_<6F1!n2j?Hev3Me$if7_f zJkNRLKg3J%llWP@7Ux_k5xh2Nc?WQ;!;%NN?iTxN?eN@(H8@8D~4hu zM#D;sMP67LR9Anq`qzZL3QREiqf7DUyqf0x^3VBbR@ILtVk%~0b~C9eG5b6cbMZ;s zi7(>6tI6n5&CF>Z(kPYZyzP8=H{U16PhUNK(c=4LKjEP!93#~#>X9%LY>kYcM3)8>)S6^IVzPm*!{}vw?iW!2agB)W# zz_jnrHUEFOycp!_%ZvJrHP@L|xBVLb6jOPe`*&hG=uU4oOyG0vR-2Bc%|mSA*VjM( zDcltwbQd&!OX0C)+vnO9134*m3~wE$VANAV!MZk z{p{V(@1FkN7W-_w*v$5i>Kt_=fG6J$CvsmnIZ}VRaRt9Op3nha!t~E!^vk$GYpw%z ze-WrZZjTq6!8lvY=Pi~J9zxkK=kLx=fBW0)Zu(`qohc-EM~OKHcZXxW#k#N#8CHqP zmkm+M=^fVLR>Q88t2A9;LR+m_z?Ko^*|0ad><_QeUH|H;;wC{gE#B)uuSfc{%GNfI zMsk0=;C>MgYLbzVWI8kR0c5#dhXCuh1j24)yEaO}egLns1 z6TcTJEG(cNGqUFS?O>z(F~2ojXc}>W9|kfqd^m^)<@dyw{FkOYZJHHi!w~jjJ+6n*~X+e z*d}@gixxPEi*?NjcSu8Chz4bFYG=PJ|3+A+e3xxUj5wv;V$E-VFx}JCKxW(strx`7qF!c2NX3Pba43aVgUWRKOa}u<5~Uh z@l%7;TiA@yj&(nA+3<~-0n=h+H)u7lV%WR5EN<$t(+aAhHx81SwA5LdlpVUQR=aGX z2DlLUBQrYc!ug0D#R#SY&=@?-3bvz;9tEI$pXg*Eht<`s(KgoHMGg}BU!|Xm%u%%= zaNk`*?%!vvwCxmH6f+uz#^V2W@Hm1kY{$VPSbpM2xs`6K;_!-*VFrJiT&mLHtowv( zO3QsD01?b_A-lbgkaIBWn>FTaUHFh$uDD1h8z*-exWF{J)PGdZKxY_vBXogATC}1N z)ibX$()4x%>W#|tpBo9g)O>XhtC+)#btya(67X;uDD#H`^9_kn9*%9@#KDYR(`Wf( zcwr>pw-mp8^)Qf?LG>VUP4T(hc%dv0#bgzngDos~*LsCCk^3iO3p1hPGIbJ7= zeqP;&?VjJuaITMBwn1X2OK7b{+zmm5ps30F0FM-OZAp8d;|HCp&T&2Vw4QeVH4G-@ zGH3W;+2=0eO+DBILF=3r=IHOvtV1FU1Ur1XyO1k_C15QjcHNc)c8JE;?Bz{|44eHU zt8W==jh8af;dtgp$Olj442=`e5)chxhqM&Fhs}p_{%kP;lUS@ka!-r9!@?(t=Vv+mfu?yFHZ}OqX7&EnRmT zxgT@eFnvWE(nXezE{+cpp5}={Kv7Ng-zJ@#k6CMxkfYYj27I=o-MyYy-PaThNUwk+ z8|LyW?wK^SY{tkw^rns6o*X|8H5?bz3^=fP9d>UVXD4sYs+K1qw$%!|Edc+E4_oe& z0;DkuLkI$(zNcNe07GL40F*y05Dl||p_NT4gP~*rgHv)u1)$s`LmA3yhpL^*1r~VJ z72|4yw#85|cpM35Lw3cv;z<;YE#8Xag0@li9AW=|L|eJ&pJUm7P%~%2CEe6LJ|NMb zOnqT84Cb?&vd0+BcGomdeE^&Q35`8o3tcp*(+4#lEUB2^(DGZ=JM%DlR;}*5xTkaq z9sfsvho8x5f2B%zij!!B zT~CPiKV~?tKQ(Ka2V?~%IbW=LocwW%(|0vA{oHjuJ9)F3-TC~!?D>>%E6az>mdlRw`a&2oL&9 zKP#{(_2*vGvRHyeV1H|IfUdImmHTA{uLy6aZ4IRMB>BI&ztrMBIH^KFf%GXOi zGr5hghU*`d6925=*Y7Gwa$Q~2 diff --git a/papers/hatra21/hatra21.tex b/papers/hatra21/hatra21.tex index a8485927..26f78e71 100644 --- a/papers/hatra21/hatra21.tex +++ b/papers/hatra21/hatra21.tex @@ -95,11 +95,36 @@ documentation). \subsection{Type-driven development} -- Code refactoring +Professional development studios are also goal-directed (though the +goals may be more abstract, such as ``decrease user churn'' or +``improve frame rate'') but have needs that are less common in +learners: +\begin{itemize} -- Code navigation +\item \emph{Code planning}: + code spends much of its development time in an incomplete state, + with holes that will be filled in later. -- Detect detection +\item \emph{Code refactoring}: + experiences evolve over time, and it easy for changes to + break previously-held invariants. + +\item \emph{Defect detection}: + code has errors, and detecting these at runtime (for example by crash telemetry) + can be expensive and recovery can be time-consuming. + +\end{itemize} +Detecting defects ahead-of-time is a traditional goal of type systems, +resulting in an array of techniques for establishing safety results, +surveyed for example in~\cite{TAPL}. Supporting code planning and +refactoring are some of the goals of \emph{type-driven +development}~\cite{TDDIdris} under the slogan ``type, define, +refine''. + +To help support the transition from novice to experienced developer, +types are introduced gradully, through API documentation and type discovery. +Type inference provides many of the benefits of type-driven development +even to creators who are not explicitly providing types. \section{Types} \subsection{Infallible types}