From f251318f96e65ead8206f62e614c217d94d6ddb3 Mon Sep 17 00:00:00 2001 From: Matthias Felleisen Date: Thu, 27 Dec 2012 12:59:16 -0500 Subject: [PATCH] [Style] define/contract explained --- .../scribblings/style/mut-rec-contracts.png | Bin 0 -> 122582 bytes collects/scribblings/style/unit.scrbl | 81 ++++++++++++++++++ 2 files changed, 81 insertions(+) create mode 100644 collects/scribblings/style/mut-rec-contracts.png diff --git a/collects/scribblings/style/mut-rec-contracts.png b/collects/scribblings/style/mut-rec-contracts.png new file mode 100644 index 0000000000000000000000000000000000000000..1ddc5e26f930d3d3396cc6f4b5ebe2a049114828 GIT binary patch literal 122582 zcma&Nby$;a*f?wplA_Wf(o)h5A_7iQkuGV*m^9K;k?wAg?%qa+bO?h11BQYyx*G;# z`|-TL_n+@Op65Hhzpfp-uQRUeJkR^gJ4{Cv0i(Nd(Mp4}36fBpJr?G0h-o^L^lHD@>JK1{BC{24sd^7X#R zR;2`?tsW({)^dp(ZMVy*L*4t);LH)P{^9OZHNFIu`c+%afgch zd<7gRFpZb;Ebd1=O;Xj`4SdNc(G=qMsdIV$6(5lzx#i!$8wIhqW@CwkKPue_eM-YV zLqk)8NhUt5mAUsfhu@I>Ng=U~qxrTjQN=8y5CWCH^U-eaMz}=L*o{`Js5YkW9xH;z znhalzg*>yvw?_0zZZxXg;L5)BLIGzZ;v*BFrR8z7jBIsbG8=zbGhH6pX3jr$o9)GY z2Im`g`!`sKzH5i}JOg~kc6Kifc0DsBQv1m9SdrNA3%@q8j0MGZh?4W2^hNf}pa|zD z&5P8sU(9H~q`bJp^6`!$B~{nU)KKcYnAE3wp|_X9y;#4#k)(=Ze>V7r{+Y`10F|}a z`)`S?Ndun>$gy{&zGf;5u*nU`6;RNYeH2-M5PACJ#`c02R7`z0ql2v$Nu9+d^)nR&s8YVG^#WXmoqHQyO~|Tl zPKR%G{^>kfGFz0#gn4mhM>YKP{j0R^;>9d~zk}2~yt-$vUt$q~ar%3?uXMh5=bmE7 zM`dR&XQFyy;P;^K&t6Gcuq;Y0-dd!#__F`?4SQXv?Q0rKBB8icO%ruKj!#_TRCA$n zJpoHE!d@ev8OF&1;@AZMD$k#R*_ha~SWUUeV&&t2*8X+3r9v}bQzz)h4G-QQC?1?1 zL=3P!eiBaHn?(g!)S-Td(m8!^#52u(JMm%J^Qp*9KvZFoj{bYz60%8>$&ksRb3*Mviu*YvJ=k&cdy?)k!=QGHznqFvB=JWETZqrRHKE2fF2fcZvHaG??1qtA3)9e#=!FnQa!b&Cu8N2zQMGcZNr;^=lCIA*Al4uSl2gwU9NFs*sM5Vo3Gr#OdXQ^XQxC3+ch) z4ifajD2eD7W|k&Sehc3%mmHpn&N?714#y{diT-qt0@iQ1iD-yK8-6uxn^kfPZffw3 z_Kw18kmLoGD+l*_MtoA6L=L{UH?;8{c>r^TQyGFAHfuQzS_~s9K^1#5V_-k!cOM4@Xje(u13F}0%mTr;6OnAM1Ebh= z8vOT8!JOS^yU%Ht56=|j9A$-N$-QKAEX0*wSnWjyXent`t$jk63BvX3rUk0aoNhZ+ zeU3VN#KOkXj*!o>Yo~7CXut1oemRQ;Tt#2{AAdeG-&~;nLPA8&O}_r%14$%F1*spS zHEkmG2Nu!C+mBl%8~MLeQc>3lEt9LJbYmu6f?t`wN(s)U$PelLt{W^z+(4QV+@SK~ zVeZ3>XUwCbX*}7pjKp!70~&ELdB5^p^8&JzGoOf+JD?`)FV{K7nS_3&-W9rUDc^I^ zTNUF^X~)bJ1B%g)&S5a8AqcTP&E?DedS+MMJ8-N0^kcJmx6V4a65*1;s7mCPC z%Jg_u!8uBqgFp?BB6i~p0O9OyQoB;duE7NsNdKlcyRE;e)1;Gsxetx3C=6U4wjP!p z%JWB>dx@HhnP)CE4Y-b@l@SlVJqR$1H2-D%yS?Y*;1Gwunt#f!SumfPA*%hiz4zkb z*C#)DPpb>6ei>lrp10`Ql+Rad8vHRTF>cJOA%y&8*^EdGFHruB@~W7{vf)+7V@yFz z)1Qnl+fvQ_3VW&wT9-jQ)yG3xrwY0_(PjY;(`lcz6B%(ziBO5(^XqLckTeHFMMFYS zsD?(yY(|7c$3or5;g!RU6`6+j4MPp5df)Y-jw17Li@E8y7Auv{JIeYTvNmB;EDc8u z<_nAU`4+{yqw!hho?)JU{xG$+l=eZ3{3u+s=Cg}^F=w8*?F+X*@;m+*_mrrkS0nGXz%J5suoGM_-^|3F=2xjQ zM5i&9%a6*M{r)b>??CTBEq(@PhaYDW$&Jr%j{D&B=gdJ`^qCdXg)R`TO&GPV6gxJOj`(&xzxs33h1~XK_jtwl zJ7WDIrs2EJ1`$O?w^}Rjeq^_7Qj)l#3zWUjtn(D(Ez=i{Gky1DrNc{Bi(`rfI$Y(8z@%F6}DzOr+!&f^pTcw#dZoIq!c&+%s z>*luq{Y+EcsjKw(U+O+wL89?5i8P4bR^N2|sQobU^lQnFH(^A%MBJgdeovL}6!dD} zxhWKys=)uHbQyxkuekS$`w-)TPad!qmOAE}lcHx$oV`-s1w zHw*^bUm}vc75#;A*KC0Ph5r9C_5X{FA7iZc z%(uLAMG@VVO#ch`|6aZjO$IN$S&n`=pB$XRW$J3q_-W(cug6iH$Poz084(6z!qTFE zYToAme!{OOF`cWaW3$T%;tVeoG3F6Q1m9oA|9YP@!jv;l%@fd*kEAk8kVRw(qS@bP zg~@NR6#kn8JBwmoX0UsU!`MeTo8 zrjld;Ba7~arK32tjka=Zt{R8_OUmhAUq(;~aR$`mBv5xoRZ^fp+q$Bru;f*A2KLiy zxNfG3VwTIlOJCgTPI}Ut!EZ`#m}SR~S`H`i@PZMaH>`LgAspx?Aqk~tt`QB;Ch6T7Kvt!8PgeUr%`G`BJ^@|BEy$<-+ zd|`Pltrhz_UR;XPG5u{aRIeH^K+Tn*i8qt^4-P%GbfDS^7*=HL0~O#b##XD~sO5$T7tMoDC}7dCU_gEi+J z#|kufABm??ailHZ5iM0a^n9q$2tkuGokpvT5f;eCvo&cCO z@%H~kmex4?5s<-1C7u?~R2gS?$T2hPo*wBaKI?vXhW;<9))B}xitdE>@@GU%8A{U- zR?(_L5+9aq+ql3+aTTnTz_2*SI#JUi$%kVekoW+=JlZzz`lvj~!~bqPUp45yst?9G zTD`qs#}+towk?-cnpX*93ue_C<{?|QZJgJ5YXE9rtP^Y|rUDIB4UE;eb_VQ_cJW+R z%MK~WZu9@n>dXhqf%KUdfdkel00I5-2Iz6c#BzM;=+r#gCfwAiUVfq3&0qoM;I7O1y6oJc;(Nt~D;5*`mPN26^L0Bf*+v(GPV zHHA-OPt&BNPSpn~L3Wriv(^)s>jhH9X9}Qj0JV!_0&WRr!(fA)#h==eP7aGSk{cZ3 zUjjb@ygB6)e)j>;+FWT4ya`V4ZNZgMg>JRAr<(tvtH$)V2JgHjY0oml~4hM_b z{0|nBgZPVz!;=HJMg|wSj@?nR5z4OmJ~^!6P!v7nXdGWoJ&@eso<84~AfNDSGt2Ye zt@!%IfsAJX7{+tiUSDi^f(fjKx*C09fZnW>rBn4w*J!J%d?W!*hXOI*qo{bw?tWVV zaCxHvMbZh8uF0Y;1+v2GxY__>UAc@1jkenVu-Q(|?=OWn;!r0=jurBcDjSjIMJDcb z$(pVQ6}kmF8cl^0=jy^kbI0b1Xi7i^v_M%$cth9iH$ZxDm@^^M=gDkI(QhQ6#pL+# z;6Ig~p7IT+Vo9yA+VJqu>vB!BffVqd4Cu77WLQ6-2}@GG=K-lOJM^#yW3O+F16rw(&Y(k33xx zu7g4Jg&J3ymvKb0M$tLIyUNdcS}!a^9Ds(pboFt{#k!)>3B`2saGp~pgjaUk`^NIoOtj|(C{h4I8vvI7BHtSJygk$J<&6|Iw>JFk6OCnIM}CScak^Z0LoAq4gsqn znoS#}r%ZR0MxGhZ8X8)Ebc~nAa;_ZefOpuB{zFY>GAXr}*ud&~DI_Dbbyi^DCh9xL zqj9K9_ldylfIuiJZjduU)73aav#-#kcavM~uo9nAV3Y(kL=ZD%>}y*p3m@E3c7M;+ z&OLM7xE!z6zJF2;xr$W`yvHuFktCV@HH}s{?yuiwV>F^ZUyzZqjbHW>n99 zAyGpdvVndUeNmBGVN9hjUtx&sOF`*bo17K%w82J#;0LeEM|&60)<^YL)Z{1$z?x;k zF#t37OcUK`^gsJ)B@B`1I&qDSO0WPlip$7D0FUC#$YH8?u4xBI(_|EA(JxTDAp54` z8xJi;x*7-LQOPjiTPLtvE?9QF%&?g9LoddsajTY;e`CpO3M^DSot>D1;hb4qV4=k1ySW3E-T&XK`sd#mHeQI#Ci1Ut2wVc z-L)kra2KN0rhv5KzJh zBHB>WV1Yd=LIcSalJ(dqOlhaPXk<50U#fAwxjxia zyiuVp3ZiDv@hd2~Ofc~RWP{w8(#T??=EndTUJ|`>R9R{o48B6Is{GE(@rNnCna*9r zb{^X^E)vqH$;p~BLC>$0!#Eu7O-gXNbs11CUC01cWg7AA+qVmG?v!Xxl$p@8{{4_v zM{YLoWsyNV$JLV%pVL4X|6#rGcpXe=s{JHE-SeA%Rh~$vH`Jwg*=oyXg^e z00jjx8fv@2@Aa#_XzrrTYZ7||kF{^9hjnKx5lleSx+i^b_&MiFx&$wm1`BmL7kDlq zTX=R5F_iamRqMU#{94CNB}HX*Z!AvYV?L}~+K?S1@~2F<+$=*Bh&)-W$E*FU5;gIQ zo$9VwH}RUSlLF;LH8itl^|@s~$+)mhI>~|pp7G1;jEr8J{*taS!{CSFjeG6;T_kp- z4C32&m>>7NP2f+L^@yuCWJIcl@2g6>=@>HkH#ryR%g(aTLcz4<@Ns z9QymLbK={@?*UKLpnd~$=Ww}kWWuyEomFf@kn7-baeJ-iQQWVK!Q@&VeUmAN1X)3t z#R*WB*V{8N0VW^0u~}#j8s)wj9Gd!N?TV*wh~@$ z)V^#Zi0%U*m;Lencv#i8G}0(H5)`Hk(wDAcQXpL6rZ2|4Uu8p4VP2@##%Kffm{e&q zC@TH>;`C~TdzaJIFN}PVn<@6#*oFfjml<@0Cm~bl&0HRSwsDhTOO$2safFcdu%rV5 z<&XgXUmhK`T)>R8@B0k+He1|}Pp3MAlYRy+hMmOO~h`# z9wC4E`|+e(m-3hGCo?L30@7Pb>B^mUWme_)WVYCt4iX`4eENC4fQ%b@n6xls^&vjN zW+^f7POsiTf4N-!D7CaS!LSt)!lY{nM6XPb;^(qDDW(KxyFV|%F2iixW(I+ zBqXr1ol;my288`Ia#0>e^y$l9gh$g8LF~C$e7obaU4T||h0(6mgLKn<@!7&=ks5Q* zJn;$&;7JM|St?gN*XEK9y6GLx6IK59c zk;UysXmqR|L&Xz)C~i`IM~a$SP4(Nps+HZ&(SoziAvQ*zX!^-?u<7SX?a^ma2X!ET z&kz)DpP@Gye8O6J@)oi&nLQ=K37)yXKoFwtQm3V2Q%kVR&2m^Ev=d;=dCCv*&N=Uj z{Owi>IIc|>Q{eXYQVTZ9YssmeAiQa>#mBD^X=sfwYE1%+(mG7|#OJ)|~#2 z09lP5FH%fDwn4AyX&Sly4^B@5E<_#~7Aq)wdz4tv&QFjJ5z}2r;a}k$Ym^N=SCGcW+gh#WRd212Xz@Y`fbfOy3}vbSDy_UZ}yINXLrb$U}V%-^~W> zIVQ$@j5WVIRLrK?BFv88=ze_7ltxlOUcP49?P&OP(ov`Qr>Ro5^ygx;PVmDufXfT_{N6P2KlMBl{HkPUauF6M8}` z#X@7jG**M7YYJvLU6H95xc;r~DwZm`O4Uj>iy|1GFRCYQD;tJlSTTYm@_MuYJZaH`1~lq5;Hjp-@R}4)%p(T(u-?MN_?&OQEK+_Bj zE6q;^Q6WAjfiTOsRYfOnq$3+$gs`dOTpzVY)6#gdvdcg@cxXjQ&VL!SQ>g&FILfPr z<*V<6*=CiF>EThD{%=opTfs`TU_M?Q6IA4IUcj)XKPAFo&}$jYcOXwV7y)?I*s|)y z6Hi-fwAIkSp$FKQv&df6nRi9QXOQmMcw*j4UR1_1zS<~y!^uBVv)i+;Q{e828{%M9 zo*3o^9*%Z*0mT@UFGR#OQf;RmqU5n9){;k3Ky>o9k(&nW`;a z;m(d0atP@G`04pNv9s9I)Klt{0K(a&!gS!MK_%Tmh2eI3ErvWlZKQlk%D^uq39yBaB$aq7I>X#O# zvn!i>4t!KS7OcnT1mw`M=aJfC=TBP(0_gi*o)uK1uMA=h(lM)B1fk+kxBMzJQ5e1pAZ%0pgSa+j}AULnk_ z3UD%F);?`>+64cpJQ{?Tmi&=lpVwT>4Cm&;zQx?@_Q>4SO*WfW(SRY2`kg^7A+PS~ z#z~ex(4KO#>(f5Y5u()(s7p}?5A~n&KlpH_O0i>27vY&s!Z6pT!`GY36yX@}Gh4g& zyv|}o4IHl*XL9u;QxqJOYuy#(b5SZdsiT@^IjrZ}`?1nHm;Zz>?}-SVDkddsX-G35 zF+p!(MO6w2<06zC?5nyS7FmJePI<1@Q9PF7(=; zdH1mIaLTXd)9?`le)#)IQ>Wj-H80v5>X=03j`x^V% zY%k8hRV}XYwgy$O)l32l4txK+xBLF$r~*rffJIg<(S6kR{RmXe9wE4G{c>TCfM%1P zYtn~)2GrZ{4RDsmRMIQ-4+M(|DiB7nPNN)_{ZiWFvs1^|h5euAZrtX*mVc7hIuL}_ zGptij=)?OVHhBePG?qo>*V%b^zYV(PCjA6}=`0*p*gl9nZxPT)U$Y+D=Yg}*DfNp= z*~CY{#jX-lYoU%yS_>|b>YjI}rlw9P!e*2&Hemm;CYFsS<9&xf-F zD;l4uDArtB|19>hyHNGI2;MhrU4AgVWuOuZUy~`=JT986K zr{~(TCPkMSv?Zx&na_q6W%aS4M-}|9^NilpDAB7GHHML}W%_Cdc%{pWZ2P{Cvey}f zjsLZuF4Q-!D-;Bx#H)_w31oy~JxMI?62BI(l)Y#)lXnII%N&zPy7QGqjap}k$%ec+ zLIw=_;ivO3oqnX-+8-dngDEZ!*mmavfg&x9~8GYByu6{pH5gjZo~vpOqb+VwtBzU&Y_57=Mrr=|A09J$`$haqb{KAvkl zJ|(FEha~3^f;dcL7upyOyZq~fD+GO$>nW1CMox;4I*#)RA2(I+N*<4m6PcFm$xQS3 z8_qzk!$Lgbq!ac-tiYpEtjO-x<`uqU7eDR2x(4wh9IX+85fEuRSpUG~5#in?uAd@L z_HR7Xu{)4XRc0u~~J;3Ayda<>QvUHi~k&!i(|<=O z?3Cq$g6`6ebqIRSxjD7s_8^N<4GX=BmphL(*2^=PC|t~Bd(8bY{C>ip-_aAQ++@o zO;_Y|2Yr9`{|mpSpb}{S()=E^`pR`lnND!L=R;8A`%$%CWV#lbhZ8tbYKcsNZVygG z?+od=0sf!VE1HhXM=u=${Gxf8LF192{$jkiG~uX=piYEP+s@!W@KQVYYfgw(@|2@8 zf8b_$scL*Nrg>g#3NIE1Dy5;LE}rxmYS%CYTpZO4wZ0G>>*$Qv$A3={Nc-Ml?#6Q3 zjNzJ*9(a-<6sj?)N9z=Tho5gq*;%}PC*!v!h!NTyZP-U`3zIU8pM%*>zXr5^;A4uZ z-fd5zxkzMLuu=-qHm<#u6QCCqE!Ui{CP`uC$s5xr8(!@Zrt|C}LCw#aA)6jH_-jFNvuz z{E%R4+&ak>t#QUR$dPXXjZ!op@-8(1F4Se4Nl;V561oDNUdYq&eY>S5^PR z0#joG4-SXa8gSR2Ba?-us=UzgwzCGOko50z$B7HcIaj&+PMF{h4p;g}7`+dWmF@l#j@4<|N)&d|>^R&lgjuLB%vWL%K>;`X* z`>rbNU(OM}HI=X5CS4#{rWX#>3l@B0FwT8v*AYcF z0n}|QoGXwaMn>`5g(lm!rR}r_(U%js)6#pX3VMpx0@?m8I{KsPj@)wz$2oqK3Ic zarShMRi#H`OWjw;H_0dYi|fpE=OI?Drctu5^$M=Kv}uKpI%4s;TRp<3M6kf#tRCLK z=ydvM-MO{+Wg79R^=1~xY5_sb7v(2&%0z3~7D(>l^c$ro*kfMRc2h^*hzb_;)pu!| zg+SrC{fG;m48h5A&Ibt2m+DxZ3pHBcSZ@wdN(jm)I1DND@fQ>5t1X?>&%4jYg%}q> z3YSD@IL}vqetY&jw8Py}4alV!QV3v7QK*xoM{%|Zu78_Q;Bk8hNVC4HT+PfS7lLH)%|voa_QA0U9|H=>Q#Hzn8oyGQ+}gqliXtcq zaL(lvQwKl$=luB|X~}_YXa;<;#aq{{wmQY13rW@vpba}z$iK#!zRwm}paw9^(aI$1 zu{Xf%L4tIkTSHyxtpdYquV|dVImex`Mse=#`GS!O^Ot1ci;G zDnrDA*b{-SKp*UY877I}n|e3_9@M&2V>@mzdu{6*GSvk^xBX}2BXGU-dZe)783!$j z&E+Z19j|wN!_g_O=&Uq8CY%mfkBy+dkV^T0)_P0d8;3xwin23g4@m zfowTzR+|ReR4aUEFlPy4G4+ya9!(Di5stY`<|=6du6CI6Janl>2kZ#vs-*afjYiz^ zb9LMaQ=`+S{P~oG%4?r0#pHFqs?y%{LmRJCM2saNVYI7v?pO(65J3dUzW*#>md@Qc5lPPtob(-s$zL6VNz<`t&xqD9V0Zxj`! z^z`+9`1Lxfdmj%v2keDr-GjySg@!+POs>HAXmtLOoL+krNB}2?Kd$yaC}#_{8mX{* zfiF}2(taP)1!@n%bN7bS55F5YRr-w^-HGiu6_GtGU-)~1`{Odwh8e4OGPY`Q~%``8W3M5f0MJ zTVh-*oul>-FRwk4$^BLqS5rskwQDQ9whl7FBe~|ab9@X+a=LdFhoi~9om%tG>od8uOyLn-A#|g1 zBIApJegTbxAyURq93KQ$lD`%RFsn7~-YXp|YC6b!x=3-^9l_xfO6uP7?Q|r(SSehB z{Z#j0fGdL8gnKPez<;VLo(%eMgm!Xxo|APZIeeRkO$BaC$|=LHuimH2LaXY^;r=+s zb;G`2^0+Y4N|zJ{X!7H*s+6x21N~@YT*S<#!np|CZ~m}Eg;ZR0dv37#*|Vh!m88gdK&QOe zluh}Drc{kZ?p^Y*^je#oe052~boiXCTSH{C#F++DAmQ8=J zezoICwcE7*;zOkY-6D*dFhyN88E&IXmklu{=O4@m0u_UwQ&L8-K+^>nP)F-Qs#R76d7d1@#)0aa+_RG%4 z!{wcuht7gTnB_(T_kh>e;g$jcv*5_em=4L#=QANOF>db1UMaNiQPNN^u{%N=*p#!P zy*8O`KvhZ|gv+BG6zQ~*`);tu3Ic-1RUavDcGs?H_!VqlRgPm1eHS39C;a&pxFRT>z@k=o#Yj z>6DZZLd28#?Y~jqfJUd380w6|%)Y{|mAm2?4KW8078MRw+T$3EyCsG4=>QpsoP z1rvPXQ+jgwlBdCiA*}NS+%b->*Qu*F#>#^6&-#D}warMFsxft6fdZy>M&99fqFW$$ z?#pZm{fpWc_gvoRl;rdKb5E@1@mtlA$*m-c=Py%s+qBN zkB9XSaOP1fyjxTSvLQ#^O^ly%{XzYX38Gat+zdG|z^;#oze{(iVJYN6enym}M zu&7s;@~Z}mEIqe<@kH_kt1o?4zsrbZu!bf_}J+(p(9GZ@Tm5=pS+226V+6? zexB_4WFr61!xfHkx*;(K1VKtr?h6A8p%I^1n7vXnA@DOr)jbN$s+F@INvdk~)O$S$ z#=KzcrCF7BNiI(mUhUYRJ4xOFpZeVMk}pe6!7oS+uqBq8Rq4Dcwq`k)wYG@gc*1Sm zNMw^W^Qw_1u{}DYx}AiOX8IMqM713BdiKY@qrNWe+R+({V6m5Z%k@};hkZsm^}?GJ zb5*7MD)>#H*M%-;*XNhjupCPp-OR@b-d)PstD`DnFQFNgo#oGph5%#RhM_IHSq0t*=$Uc{L87%ujWI0hMfeR;$T8{KwUa@7 zGcvBY!Xk1A9&qQqb=f?11O~aqhrEj4;%YXZ@-M>R>xKI;910*cDH5ytSbg8+9VyiS z9SEL6=`T|j%SZ4l&U>uMy)S#*-OniClR5%s9+b+;K2wjM+d4kHRO>UybDJ8j8f-QM zWV|?_cZPS)I+i4uiCKkdPN?;ze>}8&sAc53VW7rh^Yr}Ycar#wATe)ha^S}W`E%#p zVs5^H2r3En`4_+hns_m+BI0&~f6J{8-wDH#mRpsZ60zbW62v5+p?fED&)2->$Rk-u zo4gwVvl6FaG!itIbD3V<_m4{dO-Xq;zZraT<4b7bVvN^mjE@;# z*US6gENhC$c9bXPH^F@9I>B%@^OLx%;x>U()y8tCV++4t8{gx6J}ClJccIj7ZfT=C zbu(t^ofeaSWyi%&N%3I&IlI1pQgkbsO$m>#mpcw76^67*qTUxqkiKJVOzku3p1!q? z#ow6p#f$NIDy_`dAT8zVc1^2k!Xz*XH1hl&2(IWm4sGyZh=8M=&TJVz2mHEG!41vCVgI-Qbx!c<8-2EC8;V<)paz|)2ljI<0qN)c> zxTG9yI_5qm{b?4kuh%O2`Ll`3+3XA_j(cCBk12*{vD}=9(CHOpW*p?H(AkwFHdCa8 z`_*|e=wWW$!iZIB4=L9K#vG)~2S#u`#^78+a*gd9%AU0QoB2AeQprc9(BX}(2X&S^AkyT%ah<+TQ?aGz`Ws0k>ahcaC z5wJVnkLW2U6w}+tcdRedd=OepW&@P>T3hfUe=@{$br;EkOQM=3 zm_e(S$f<^WSAvf7VS8Y=l}_gQ-?k)Bh`xIVnfw#otb;oYT4Vp`;)9 z17cq*AVfrb-5he{zYSd=au;|WK5FcXuQm~;v58>V%`nLrHwa__`o3e%2`W5aPVj#D zCcDD0jdB8yf78j!VlIm%-Tv_5Nx&9YB=5|j^(5UOKKP+qsDZKBR}Syn`$sttIy>{T z$Di6D+@plus`W9B^JV>yqb*J!f8v0R5a0`P1ZAP`aZhX;xe~q}(#7M%&C+(H z(4DCqL<`eN%^!P@uiLkMw^og57NJ>O>+q%5Uzop1lU*m#Os;UlcTFLRE5J=GTvLiM z|04N^`?%}}Po~IRxwm6(12to-B&kP(mhKyKH<@HSkB@TPXar==jA&%b8}GSS>o8UK z8>pK9nFeZ^fs)TmE@JKYWst2MLz=B%Eon56zs|f_ke3rwB?Ipr-Xq{~*N*F8&1zS| z7w-nKUvRDlDqP?fT(b$@ucu8-ZoMt2DKb$GV>m2G0zK7|;c$M>3>WhMIl}H03v^LqY&0~WMQflNc`=s_cHf0;+K}zm57}RWM8-+>B{yAI4rc! z9ysQB4b*7&Ww^VT66U?^d{FqEM$AA7#OLGKeaF+dAeU0B4&6z}#w_QF?0zVTm9wMI zKBb251eP_V=1pa{9uK(G(>M$a66FvasQ zNx|mOf^<`i`C!s61F{JmHp1BX!IbH|VaoHT0O=t~!V=)R09m5{5a9{b%0fUgf3c~^ z|I^~H-Z7iVUe1m)gPmR$K?&s`>BW8t(@0e=`7Z>`jNmHY?9hppjwoZiFc&Tstc#No z!|kN*n{?H>Rls&GFzZSxe^GXX$SuO70G7{Zf|xH4kM@_YI+Rvw?W|(BB@^-T!NRpR|if z5JxxNs{MU0`^b${5cmgcu0z=#o@gEo!5zR$C>RX~$J(4XW1{=k<&#ny+&wx&uP_En zcM@LY3oZ02KDk+5)GCT7G19=-UX!+|E7z3uCPr@_l_eD-P; z$ANTdm?EPinO0MSK$%x(mk`XF!ctw+Hsqhwg=M-5!;*zl>{<@t5goI2YbxpAZjz903b58BS#`MiJL<>Hv%JI)6`<6wiDS_FH7Pvv zKfYdd-+tbuz-7h^>-O4ygsF8l^BQ|0upwaD{JOfB3v;qPPZ!v*8&i4zSov}vGq}wX z5tT26nxWGXr&sXUQK|z_6dqgTaHsHFAQacywNfXDO!4~bv?Cd2-&pB zZ#VEg4LYr`;e~9>h?87-7mjpT4n>P$oWa~xxG8GzoBD-8Y;mRg@w5q26~kWniXkdc z7(Eaodig8e#ju1;gJp9@{_?rpoNX?JAoZrTTDJIgXCKeSoOzqtV*Th^k~+T$Vz8_i z&d!35L#mIf_yv1)8lw8yL?}AF?I6TEhi}I~W2kj)JdeB~wC)puCfB&*=AtTi`bQpI z$!nwFncvOltwK*+d%S<{{#kSSnN__TvITLwb2yxwUuSw=i*MCUm2sjg>zaK(*3NK` zVmB&WxxS_`Gc5hO+o^OvU#Zv9ul1v{7jGe3FxeJE0Psx5PnICE{KT_&EZ6_pr7~_j zUHkA5or{Q7j6+0v4+jNwI<8Y@@ITrQHk0+mnya36fe$8Y=yOHECkzbCG=RQtXC$nm4e#iuDL z3boZ=ec@vi_`thz_sNyd^7i4{!1Lz!9{Qx)x}i^aLE|vBmVK+?Mc$4lyyNm8Wj`<4 zt&g>_TzK%lo(yIneBoxpWQ$g8wI0UtB>DGWOOwZj(#?^|dHdAkxQCQWj z^F}2<&{VJE&-G}Uub>1kh0}b2;Z|QhMT_h@R@!B4G;2Ip>AcG4{DwLs5Fx>sEEofM z5hvWYMD|S{YLy$QEJ2IvU94p6vzFz2y*_-Z7Xrar_J%)s=Xg;oc(@Yt2Tielj3Go> z%S84slP!G7C7b)Wkb2I;OG4rDQ@_?7vt$75_w))Y&UT%xH;){I+vf+2tH{>I%Gn&V zBGjbOpsP4rnZtJ)avlx|;K7(vMiCOA*)~lCS{uS`Rl%+$HTPa-SP!R?!sN?JNQrB@Zjp8`RZ~x~Z;5 zbBv9o2fsGS)d_~6$)!0QAdJCr zu!=`5zRs41#xdEnZtKIXwaiby!Ys@5ASKuHwkSW!v1wawj3lrd@8VdX%bia_0v5Z6 zY@HE=AsWLGM$#KVEyvWCd6nTy+A3(cU{)W1X=gx$eD3K;1e|Z14S2xFvLh)DQ_K#M zT{-3&Id5Ih*usG_BUR1e2r2eH{xrx*MlG$e)jQXo=p@k{gCom#BU0L=L$nc~@F1%~ zGt7sMe@0cCs6Y4-XkPpNA3DA|uI=qfyHJW0hvM!~in~*sVnvF(2QBXI7PPp#ySuvv zcXxM(m)_mqzW46-{+HyFeCK5B%z4htw*_}+~~h*25Z@JmaM(5(oqpaURD*p8#4N72Ja&^gN+K&Ljao~xY$I3 zkPF{yQtK-!1$qh1MJLeaYq5b~qJ6PbMgGktU+=^lhR+oB)-?AUKiL?=Y>d0qd`lN< zH@j_JhvEyQ zB#k63MCp#Y6=}|g?_-IGNE?2283d{+fvEx-7C)IL__z{)m$mY%c059HhJ zNUh<Csh(UoTSIJ?0^bYt=2TBk_hKNp_z3 z5E7h4TTXvBq??x|Uzic+j4z2E&j__|?5;A*NEWsmo`WY42fbD^15nejtt2OEM}?>> z1X@b(wg6&{-=!01-!A!JuqT3(wy0Ju4yxo&cRF%?rtqD)?;IU3bYkPrySSWa9r3}r z`BkEzNX)SU0t%!cBXZTP0C_^*3+b8!x|wV1hz8A9tY$vOcIi_E?oXe;x5@ncI+t_*;X-8;2 zM%AN$0ZboZhNqXe8!B}+by0O{=UUK%_Q=NV>z(>8FR@~`@MBoB@gQJxw~g=BM&s_; zqigvUk@GG+x=S{P&D>E>L4Z7=yP`SAyi%k!G)vh_okE-h&lG(=Zz8I~FcNVr#+g$w z=QWH8WxugDrZ>-hCva*=#8$org=HYoT`~4`ybDp7=8~R_ws0DcXZXyYY{@uU(O59$ z%9${;WSW8839a{6DjVPZ+oY3O5;xs4sc{|@JLmukfF9;k?fNS}J=BkPY9NjcePPcZ zRjtPZE6!~@fZ^JUg|22m`Aev1f^B8qD6d&m9G$tD_>Gr+C|z^E>C?rea`&W&Ue@SM z7f|ClH|-(ghBC`swc@;h!t!~V)nKZioaf$zyHXbJTHHK(SD5SG^eI?attQL8TTIpAK|+ERk3hML1qa2v78;pjtrM=dAXzC3l(&XQk=Y<` z?mv90sz;GWT7dCZruxTI(ZqvD!jZFM}9;nRFGEKdlg)u>}y1-mS5>R&xU zRiDn+RI5$rN7+}{)6kxdY6R21;Mo?{j_ zu|wkLH^-o^eHG_1C?1f{g9>C$Wb8r06Dr7|ax0X#@xwWg!tu(G*{`kT1Wgr?mxM4r zlEZIrOxgxBS?_~#>Yx_KTCU(;L+_k+Q*Ik>ySV;16}|>-1_zz&w39HwSKmd-j2a@z zUA2?b%?v;%pO07H=vfUqUTJwm^l{|;v92rEt9cWK4N7>szGAOM#}g1@P>{Ev8|(?G zwIksS^{bVNt#zIx7ooS1wyjh&in6{?BA& z(D~=_&pU2pw<~+qjam&Ar!?*AF@n6{R*?fpmX&500R7~~c z4%uRujgJen9cZk1&~FxL=3Ee)`$(>4lryAAVF#Xgv1MQvn~Ue95j-EP(@^y13D7rf z>O*I{y(pcu@4$SaX)!ra?yn*Z%+dW17l0Tor<#;TC8f073bAI2DbPlOlQ2y`#VqcD zIVoG6+Z47n$6zvwf&6j1`ClcdL+cNM&AECSPvd&!^c3aNmb^hvlV(f`Un z0h*L*qu0N!+*KNy^b&kz1Wnlk!OJz5IK^Z>NQuTNY0CUQS1K1l&cY5*ZI&%x@-;XP zZ#$cX=o_z!rt|)%qJf9wHVw~H*IoEeI75PnJX1gSx8!AbewF?#_%~72EZ|SgV?(VP zf|{?1F3TKiAIo`9H zjaBB}SRNC+Y!!i~VKR~L* zCV(0htYr0bCDO4d6Al$|v}?L77JPbInbVYr_xVV^`QdT$=TeWn?2J&nl!S&~Tq!5~ zs?)=!RMFy!+MoCryvA_A9vk??t1M&o2fNi8jHj>AG(;`t3J0>KG&KMsb%hnTm(VLerejE zDW9MHqsv|!I_%eMZ5=(k8lhI3z5emSNfT+ zw11paO=1Th7<*x*i^w*&@Z?0F4+Q$!UF7b)jXIWL9!@pvsG8-?!bD~9`-~V`c!|9o z19Jd*b5TXH(ysD$l_PLZDBMmRA?)j(=8SuK45%!qlwA^=M zORNSTOL=wT#5_8ua>S)LJOdO`!NwmL9$2di#3 zeKmAnt!~@U7KTA_`Jx7n_8We=Wld`@`-ink4>Ql}=2<@HXK$m$N@IP`82BoDtwjVO zsLW_gxoe&BGQHa#?@m%|KhQRx350Ul;o>J%SPVlLk8=Kr<-iOdn)w%OxifI?B3nfv z1f6cNpYog{X*BV3>@SuOi;!%oT*ygIBZF8&xS?qDv}^_2xm$G81q*iA5Z)4>tbc;EF& zVFm*T+`Iv|$3f?Mb$!o78S=^?D6W%hVK{?uD6k%&BxFxr?i5Y0FgJ=4SfR?H04)Vd9d zjk%tewck@@Sc-&PXHg!t5zw}l;N-sO;Fmrfvp8Od9iIOhvTS$aV)?~=5NfIJYPF~E z0iBMvD^;uYi~jf2p5aQS37#$5yU~I06Za2wDb;FXQ=z>+agx2k5%C4_*Vv_qjR6*S zF!tE$m{D}MYyJ|AQ*D0HLzJiP23XPyC0vDwchFf%x6rin4;SPX&0A8q9=9&+r}>ex zcOB0G(=4cMSXH(UdYBGtj%(fnj%&j_y2~3LqL!d!p8GsZ9>;fuO|EEAI^Zj*HE@0S z%{V|FfRTbUCoJ_14@w_?le`9Z*&nx?S|kYT5t!_G7~;3fv@rLd%8hfxwUM+*lIKyi z7Xu9zLvNgiKC%>~N+qLenvD0PP78yYwl*d>Z0}oe-%2(la#y!LxQA;BcQf3!)@qxp zU-`$E3+wd-?RO~>Kex;+S?2eOZnZF7CC2l{i0%gNB(Uc%hZML%@sWoLiw^8u)ySI% zeavg+MoaO6?Msz*`9pg~vpP?YedXp{l*OL9ZFgF$VX5%eLbwnEU86jLz3)a2`!*lg zyyStL`7ddzbZYE4Uwsez5Ja2okH3SAUOkcNkB|NAhz2YCrxN`urm33$$c;1iglsIW z$zLnf1KOZbomz|<-~~{mNm}pQlrAy?qHVHz>CFihMHVh>r3SO(xJy{23<-;<$8Q%F z&uYxM4Cs|THl9b_km~RWHUjD-bC)q%Eq!6>k6Uif9<%Dk7L0pB9~mC%Vd@Y3obpTD z-jBU(pJD+sTk3R+5*NP|f7!2H>SW4{iHX7a@D${jW_+3*ISXlU(+hxZBer1>s&2Kii z`Hv-*8Q^yr6c?%-p;&Pt$!Kb6E@XMu*ziW<0LGj*33vgtGvwC%l1h}Uoe{B*Vp;C% zY`yCh7u7LsaRpV2CaKt-@<9j_Sy@frA_%Mw3iIDRC-8^>g$KoLhm`y6e0%J?$;J z9QuyAMwxPpubJ3dUs`rNZX=_8z?Z8lqVnPM;5XTY?m0C!vD-g#Y0L#8m8abcFD7cB zm05%smFNPfhe+e3Bo3C4(CcQ zsH-HN9#V;+LkNqkf*xIn1h-~)=bIamT8MlQ%}l-FSU`M15xtHTrS-drD@>*}%4XFG zgo+##KL68ZDEHUS68627s`A~vvdq4cI>@%27=PY=Y8Nfe&ACOs&XRSq%uNx*ui{N8 zSD5s;7<@cRCmB0MTqNgAUU*?5C6vF2MTqbVI{No~dC z6;0Ik^o-%F2JXw^I=MA=3U2YDg0Wf%ZGM%WRD#LGMuJ~CA~jG(j7KoSb}wvW1u!+ulY&Sj&?bML!SO&rc^(JO~^R zcBp?YkKnxwhGK>Jd^$W5IQaPZo-|GIKYsj}naFJL<(mY(M}__I!rsQ1k?rY93g6L# zMZHO9&CJx(Ly+Tvt!(U+EVrdz_!OM=2$p2(Kaz{EB0_+y-?3t7U)y&_ zsU_r?!%@qC8WzZ&tv9OLfRP+R5?s?U1lNrq)wt2#ib~QE%o$di9dyb=Ac4mNGD18r zY);YV^U2GT-n|sa*_MK;51s3Re-4IE$m6@u`n2sA*h-0#oHL4Lb$Z2`%*U#7dvP=t zCd0Ah=AVkmQqYisBMU}*Mi;WLdk&ats)Pr*0z3*`!hinRvwlLb%0e)@?I^huMz0{S zVc;wbl{N%nJh05>wR)6DElfd~fMtMHjVczW>}9v;ilr4t-{7E?o$i_|q+E>tF?+Ft zoBQ&k@-2fvicx9LJxuuf`jIO$;y6QUP3RPwX6-wmG$T;&%`~{qc7m~~OrmgQylKa( z-)XC7-^&YlE*+g{cx%%}Hi2cl2e|7(^rY&zn!_KX;*A!}3j&;#jZoFDllj*#n!_un(QCAjvR1bb{8IhZdv?_e>wQ3aL$&q_%Y*4 zma*0nZ^+EQQfozczvDZluzAN=!Pa zsHJ1Yc7($mf}x~4b-vpEqKBP?=e(B@_JL~Y_koMpTy?6oKblo4YYY94RXLD91iAbk zLZXhDP_LX6l_`e8AW}!-rP>bU?>4>`{XF3rbrE}ELZO!8a%ADM(Ghpr>$xn`i>d_P z_H@ad%wQdRd(w-f@E@d7g55I-NaOFxy-Qg(Tc~LSb zX@=AcvpK&$zZL#pWPyniQb1V04yVc2lZVY|GE!ynl5R^u4)tiek((!)XuYqpkE)Q4 zWmW;@_B>s%;dgQ%y1|c)Hi9?Vg5Ml5qc-8*I=t0jtSypL`Wv}5FgX4eN>iiNYuW#H zdMy@(0A0W)Tp&l4#bry%>pgKtvmPY9>xW1@QXZNatQ?58$GX3_d}iCb=_-#X*V$(= z+daF*a#cm%+YnQD4G2n%({jgJv}iJKDQ59)159FHEzSNJZ87%cx3Pvwutp9(Zy+^g zP7EUgWVPxSPQJ@7c~|XBjhaGbL2}Ou<;rqqq&?Uqx|uKQ=Xeoo<5{-sZ;k?k!*SgD zctWhE@o2eFjV*xqM~JE1;H^M@sYOQtFzzeMx5>sy5dkJu-`OPkZe)mV&M&TXbUea$ z6__zR)s9qoaG+pWvz8polX$$&W?^@%hyGbf5wPGKZYyJC2FY`4_h+UnR+%@#!|3GM4e7mFBF!@K+QWavUD&}P zy<7#k{)Ha!uRKy7Nw_AS6sAx7Rt*0O3*#EJ@|#4xiJ$+%Mf5u(ghBk~SR_SVU;ZO) z;D3Ecye5tl;y?NCa?D7f9YKa93DBqhe^%jdW1+uEQf6jFZ*2TTz;lW5bQ{(~#Z%br zLEsAcny8VGDS<)bc#Nj*uuqz7)tgd()wo-cu4+#-lO<2Tf1Z$!AwCUh*K;&$)t6l- zI{{h2nuLV4WB)uNdpRqSq@&UDDSVaT!>dNbqpDP`MnxrD2nL<#{$OmMSnpEx9XyN2 z;q4b?j7#|Cl|~-pi0W!Onrl;I4kk3+*_2Bb3C%88M7|)IxUz70P8&q^f6`W#Tm7YK zJ^TX~S&m)tCD-w|vo*TY?x?ZB!)Bs!ZRps9AVlYC_7$fZab0mqY~am$V+wx=d8!3SURy!uhjP zDETqVZJgJR^aJGq{HGd;AEhM8*JW(pX3VLr4`=L77gDAmEWQMLbZLuOu;r3^_`TrU z*C1-%10a+%)(YeVqhEeUmeCV-xX1Zp{bjdTLg>QxmEfDo;p2ytEW23=DfsW-$NkF* z-_x$!?qerXnJ7&S_oC}`B1h9Bll&aBS?!K{sOftHchA-<5k^9*IO5B=JZNx!_;VB@ z&deBf_*;~@6Vec>a^6U~ONH^o(XtM^d|mbVd9g{bG5NX_x;Td8v!VIgqtjG<9h4%G zw$%HN477I1|Hc!V26a$iuDIFO#)&=Dlp0or0+V#mGih~?6~5s$`?=z9PIeEom8B+0 z*S9R4+wtD5e#;9)xbG`p#)HkrFD6tz%ek7VW&-TgJm! zwu6&iGNLAw(4yZ&ldOMvJsXa0-w1yNN*LLGy{|Mm^0;yMc~_2P)7$nFlu&i{Yy-8{ zp~W45A(*8{$Azp!zy$r;xXByZW@xCv$GN`LB;AR4v#-MDd*u$Kab+`gu^YuIylT+U zvWWq-45z>*<6C=ED}k$7!mC>etBa?EGAy$ zhI_{uutv@63P1aNGjBI52U(5IeG5nKf8TghpeNW#&U!G_#AgpbFqr$zci-tX@aChr z3xPdh?vgD(rl7L4%FMh|z!O&1>63Uhe#1%sDcYT-wVR>3grMNm)pe&`Sn|zBm-%}A z#J2v=62p>ubiu^$P5@<|Jy0LbAzBW{giT#|X8GLRxoOq%sXAt-=`w&OW z*Ctn&O%Bi8Tw60;|eUld#%sMcnYJTz6axBG|Y) zfj!f0sYD3}K5B@~*>>^BB>TJ29tJFqHozi|<_qbFD}^pty{m;K81(|q*-v=}u38x@ zeL}zKye)gMze`DaKk-;2*UY`@I$h`tzvHeDY&z9hPR@TGofeM(duWsUjsnrf)+a$BvP!M+H!}*G1=N{ zMh6QTlh2B}ips`Zz|URD94Y5_n^om~O7=phjZUv8QhDo20e*GK^dB*#59O&{AokHorr+=-yY3fYk>yv-#BOJD*ua*ep1m z$r72atGS>`nc8L4?5PMp|gphTU2_k6(v}hY(l3!vy3Z{mE29_Q`&9 zFYa1>u#)`qU{&&^VZx`Y74+pZD#MY_JqXKB)N+v66n{Sf&zT`ZhnHxwl0$rqysJnI zJO&cEVe=MWu$jkKt27t`uF%p3c9(zyyYaHks4F-e^wOCMKNN*Owg_q$gR7v*VVs`= zl{xrsPwLd}EMO&SUJ&gpj(^Oy7}$*AtqaP!Q9++R_`Wu@$d@?>1v(L&NdbQ;<2f*m z`|aUsrl~v~a4RG;5A=MX)=5Z9s;7B)SfX#T8#R@^;^rvBBS zetU(DVXOVE56J0svQ0vxtaAZ+oW|Wq_HMRKWTPcCeuA5cHep6igQVaGS`+$AJ&onE z6HlwlrnKYsa~G;*rb-bCuE&sav(=G)^0~&SrI@kimASh82GH0fWu9^!!y~iIjwLpy zI4774Yu1j|rON7wvlQ)-XL4@SlF~3WtA2YY<-^rLb9lbFyNlF_ti%k;IOG=$c#_{O4;~{(tD`k+MrmP=sVwKg($$cik134jFp=FiKIc@;d1%Xk0mbTdHkFscPs>)#;>omTlUsaV+JY3nYORLVR+&Hr`Gs#`A z3kVy%8}0loXGp(I9#5}Xw!v7=Cp*KnPSN}BnM%V77OPw;`o7lSxzBdQ@Cv#>TA(#z zTN!w!-^SINI5JV@&|MSp!YarL3KVJLBNL&kb6l6EK@JNnGNpFdYq{{) z!)kT(PmMj)t1K4PnMmr#FZPPitjYZxsMVxxttWIPD}*X6bk^>MUfW5!Phzzz%ba=+ z(G@1rk=0^He1wO_H0Y4*o&PDmpSJ`$AkxBwT)O*+?_>_={=H6f0nM+PKnuzw^Aq9& zxP|jM?0P`R?q&nu>-$~xb7=b|JxpM~PRjJFw)H;autr{r-7HF5YaF13xkYIPK!~EB z)RwDji2WG!u;^nQBY95nL(U{hlNpffSu zI}?tR1g;D2CDq1=7LMt51uMeiz{YiC$z^PH*D1}Wbjc{y#-f%^krzj??%cCgEHLAT zn9XZ&wfe723@sBMr>*>7MX@aV{e59|teB`iK)@xd)hsXgz@GHI|xse1+T&RMyptQ?AWHkkv!iiddP?+;LHXYvH zw!~)N`?5A^x5$%fmcRD9g07LX3YfMPx!NXpp7^zGk z8tQ9kb#m3#zMh~H8J1K(I7RCZpKDx3;|6v2AY}KBWh6T~tYk`vhetAs`g}zRm?J(pLhn>!H>jz3K#0vyXdH(hTwHW^ByR zv#;63j+nVQ6FxgSR84om;?nKouZ;Cw^LF9Z5^}2=~4ipOxOlChIU;{MfN%ZAL*@Tv@w+?Tums#xh5b-Nb1rVN};Z1 zOb(5l=i0 zcnMixQFp_CYB*6CSkG#hei^v_%zz3wDE@IeTkR|J%xh^mW_^L0ZT^6)GbDdEB3q-; zZuB49#=k?YUx%q~aK0|gjWVZXH;5S12(Rn|20FY1I?kGMNaIfP>W2A?p^DDhoRgB} z1=(6buz`0*(&6S^`2^C>}5Hb}&Bx#VidwlF1 zld(-8iMS0L5KBt9bKv*1X-+P6A|1o?fj{og>I{d2Udgv)oy4g%xrmAbs>GE168#}9 z4t%Ji2rjrT$u)tORKTWNta}eNP|ITf1qp3iu7U$G3(B(h?ycF4W*CaRC|r%tQJ4JY zBHxm)UTobSz#7xRKPv0aOnU{^dAGq4C>1htP!s*ld0UPQsf$aC{ zymB!yO1Q$w(50dg($>j50Yi0cV|BE`ca>By5Ml9N_lu%Buel?41?APf##yju4h#Fe z8s6_(7RR(#DzR0(boIgIV$Lu(GdKcw(B0zFMNm6;JWx;gW=M z)qKT_Fe&R!C`^{C{cq(f7?5~Sg<;H3`kw@xc*XK-WX_?SCz|4gvG{TMP#AW0rMEt> z(TXi&^0^^7Pla7L=8$yd6s`;FCEtHwc0~Y$Vazsc$bt=~PkD@PPaRB6X%wbgJ?4w| z`ic;6Fc|}F#<**;zZ;b-cznEdN;?1ak=Ach>F_o1X8^KR(GO|8|H)dvJ-Y&$k~?u( z`J-m|!X1R)Mr%Sy8TABIs0a80uh8r-PAPITiJOw#3Gy}jC-cQmcem#C>zM=TRy~qy zhHZiFNg-lx@O`X=N+E*4B3=sP|*(l_jmt0*Z%dxFd@${)-Z^u zA|3FO1kc(yDbv_wgMa+9zno{O8Dh@ZhUB_s+Ov5%jd1tpKv>4FYhp&;Ij>~mkV@VS z8m24zj3|@`Ooa=|I5S^mSZk2Io~0MYaV;3zNh40^&e3f%2kT`g*BNf;x78>8< zFi8uTO|E18n^}>U?JG3O4s;Ej0 zN*31nhuQ~V&Qe*~`rnm*GSpp`XZr5%6{vnug(FB^1vaF3)VC=+fw|CiZ!VLadQX~* zuo7rSA?2e7xk+d0?gvI|>1{m-3e020RgMT7O7bUe3=c6IEvZJ~2!Cxuu17nb3S)); zC0`V7!mdE<^5R}h#?(H?@ce5PUopDwgEV$wQ*{0a*K1-_-UkAnG+>NqS}!xjv+9$A zX)@qSi_aA6Lf&w#sLrd&y$vUvXD&|>t)zNE-L?0hW>AfJ=dw^u`6BYh3PFu!b|(2T zs`cSh_{!;(Hb_jWT8u?s?nnr}&T@98#mST`m;ss#k*@oEvy7OU1(Iw&pu%cZ__kRJ zWz*-TLx2_WR~-sR5%sZkq4NT>f^-RQ;aAka)#IcvHzcJ4L!u-_K$u#x z=k~c<`K`~0qf?Lg9EQaQLO_?kWXOpmK9ip^yAHK8A0M3G=?VYmX`DEANQqq`B2NWm z6iwd9kY64T6f=fuNP+-U$`Lw3xP8&C^k|WCL~pLeWm9K|{d9PK3rl-u+B}1qlIU-V zut4qoW*V^(wCTObW+Hr;iRElgzmu|&rEdUq@mn>q1R}YQZW9+_)w8U6Uke>6;rKU_ zWOPR{opI!;BPVaa;fRBPc(g?3>sr_{(uF^2!u#Lr?&OE{AAj=H^g2eu=ED!^oo&td z_N7aO^VB9N4~dqY7M)A+6}R!pNBLm}>}V9?+sh>t`i_H;Z~@wF+Z{wNT)I{6gs6!g z{lu;56L|>Eo)V`!pl--EZLT9x(xxUK(hw}rbEF`M@6bmL!*>-{Ez zVEMU}(+xr%Un3|!0jr-TQ|Y4$VFne3VP6Td`Up@Y!`beL3A^>eLO~A z2%SlzF`dZ`d}S_&_n?d8$K`5Bj*+N|UjJv)mxX$3l=suTAiItjHgfIlPGyKm_WN6v zfTr;7FgS=yP>>yItwD=t%HjsYYuqwnYK|Qqr_Ojw%echW;oH0<Y{u8>t(d;_&iL6WjgUOH zW2!JGD0nOSU5~I24PcILx`8A!{>3?#M3Hc;;dCK=qs9Ak)er8rHjIw!Xk|Rp<1&Yu z=>=TVrJSRbBS|l?PWqp>mqO&^OY$!g6cdvJ!vD7MyrukfGHAz#%O*1Y4c0@!c3W&+ zuz_O@^%g@j_SRb@Y4xvRZ+Ac-{4RW8yXRd2yQ>HO%RUg(%WQ9~5$#WZ!(u_D}au7?~7#qhAH|35yvt7_tTWx5F9AxW9_Rnq#X2 zb+RB~OcC5O11NaH_)(BimG}aLtva&|kfPXV-$?r4lx^FjzlBJ+V;7v3x(6m=4r{Ya&98+Ce4?&KHhV)M!W>KNR#uL-$w4WgBf^nJ&>3v!eU zzwKeh$h@!|2%NUk?)thuw$$Y8#63Q;)bS6*jGW$bH0!br$1Mi&Fj`u!1oK7fZ9_}n5A?9@kKh&)6D?rC-TK_u+gn_UX;)@@Ka2m zw%G=~wg7AE7p$Q4kxr&Vo$l`hgBe6_q;YmB9*Ne{HQ}b)3JV;udmSxKV8+rP>IXPd;q$=1iSts?<19huG3QQ_OaV{;y4T z0lIu5x8_>RZ5w9KZ$%;Z%G)tJ(t{Y|*PY%|<}STv@@Gh#3!BRG01g%Xt25z^jS5Hm zWHVjaFYmPm(S2xj;@kmnW3;XdvfR!Bt0!dyIp-x zkv!f9t04dW+(F{PiN8WMGhdZU9{t>XI%-_JGLC$`;;fP}TKX)``oPl`J^7J3B*K7_ zW|3+v8Z_85_+_B*J5T_mfk|xpV$USF;Xj|PML2ATLo<68$s6;b|x-V(Hjo zBEwt_Hc>)a#i1rkE6t^x^ASJ(+bHp2))<4s0J;zyjwgguTa1K4Wy@rJxBRS0rXL0h5tM`nKv8axIOVDv%5$Wc;0=V3<$FI{1dUui5(~GgS2~m*?6^ zzw3rCB2G$|+n;k)z&JskfyMD)*kGZ35FnQivyM`hP0(DA!7t(9=S0nRSnz5_#s^xw zZp^gQYEjSL$^WGo9VGL&Qs=Gi;fF<9<1tr#=e)^UAbPrfrCoC(zmU__q|NS*BrmAd zmo=uJF*^)1=WvBK92D-kV&U?=gmevvBm_EL3%X>A5Pb9*&Qh{4D%`RER?b<>{^J+@ zr!5@=>)IH{0pr_DBzF$#8FxQ$M*B}k%VB8x1Wr$yr|!#a=xJS%f)uh_x|G%?%ZKuA zukO&fDfTOOmtURlD6$lH_()aWa3!FpJMoA&UvnLSFqxk+(=}eU+{i|YqWk+!`UIe< zlFeb>~qgLioBrf1NoD>-Xma2f-Kp*qUyL@QEccvx{E zsc`QLa4VW@Qt+U}e1KQwH z!k#?liNR)7(?wn5ajSi)=WRW)c!=7duJ_!vPm@Xk<3s@5N{UsVwTIAm&JsgutZ-e` zRFCIy^BUw7@Pfl17lv!3e`@3ki-e6+F2t}yNubP%KX!&n;D*L8b%}*)_)I;AzqRj0 zB!mU*kq8VITg9_52XZ^XAt8F`CPeYv)vHe?<+!tl))aX{xub^Re?-&+dP_siaweDh zoObl#1fO@uzzI$G_YrrKN%6}u4+u2r6l>kk;Acri>dA}sc4JD?)(*kiipVK)!%c#W z!_&Jm<3H&}q0%!e#F(pa5b!xch>H0G@wl`_YzC=GFBdHd&f!F=ircco5Wu!iSZrIii;x#&~kK0Ucx;0M%IpQRs>;xJ;@ zXFD7K;oQ#TnXj9gKONCqYQ72Iu5ygX2YDaX*uSbsyL(ql@e!LjeM?~z4Jxb#W#`_7 z{1@8ypNOg^^kP*i)0{SIh5wKTchPVtdozc8K1zUm>P*uYl(iuGv_uQ)p14-$?ihN* z9Y!~uV=jHQnjIMuE@~X##=x**>9kfztz+C;AWe5#KES!7>lyKcH$gS>c(HtI(%lbF zOXHWy(B=~$Sok_5xid`*sK}#qPZ~kr+slx&O`L1$G`q?8B|^dAd}bKB%7{4G>8f4% zK*(RJRS|0#NE!|v9ch1Xe!4~;GOh5{<@k=6u)U*Q7&p2ju+X0K?l;aE-h@0AZHs)HK&4dg6%i|}9vQhj^Klk8UZ_dkButw^BJ!&rLGE6OC8K_NYwjhbY?P5Gp zT@}ERaOeAX)u)TY#KgvCW@dW3YoCazaa8-!^WELuiHTa#ZU{w;pme&+YG}~7330S& zw)sYdgG9e<=G)`;G#rW+k3?Md?_Sg-E78&cO$c=OBPY8Xo{+6B8eFp}smj=c*^$-5 z2~)P%T@d0@RFoFdJfmK!kpd#y) zRSh?m-7z*Ynpgt^_!=2ia%jGM8w9NEJt2={i(~^s8J&$(Omk*FM134G57x|LLg~wv+F!;m9gtryPhhQkS zv?rC<%|s4+SIF*#YCv4VmsYkawXZq&M3tDjCNJ`JxNaBlevg6~o;9-`^Y+_vx^fN1 z1Jw%bfx^tY<-?ddt+~*=??0(<+f-jgeVZ^VYe1h0Hz@zt{!R=rH`(juHdf~0cPcfY=v5q!NO9*ObRdxAo^>}F47mo5Y#R{Ga zXnM0bso-vP|INJ6y}243=X}hq#PH!T-W^NZ=S0iwpAvsN9@J03l;^>71eE86#dWD; z8u@1G>D$nt9|DjcKiK-S@TRd zZG0t632$~wgnwYNmu4~ye;vd3d*6!yP1(VJiBxrmsDSvJNNsR7L@!gDsCqAU6~FVG zs2c|4uQ!!|P5K4)c{9?ikspK9E{or>3W{4uJ(#={Mc+WJl2Qp}!hb6FZQJ%#dIPdH z+x3w}FxL%8LfJr-loiau#Vo<8teuPg7a@$*Wnl_4)Jw@hFwA^ltP9M1HWrb851GHf zvvJJdPf1s%isjUx$|IAhJ`%??clC`6i_Ht`TJ#TPm7DL~3o|Y0GT~oIrTe~MK6`$b8Q1`Plld1TQ8@ir6CX{|Ib{XeMhH z!GS7}xI)i|6&5}-UBz!bUJ$nozbIf>VrLA(u$ll-CXJlmP%>V{1Ds+g7eO6z@j-Sn zBm7v9#MT32iQ>382w(bpx1|KoH&V;5O|NKX5MP}R_PIOe!} z)SpKv85FwWZmN)bvD0dA9J=bzWEw9fOC2ei9kM@XuWN*)Ho;)u5Ve?Sh( zNQkSR4RbnT-YJ3|ZxUrrOISG@VQ>5aoQ+7N<*=J;s_sr0wF#HM;2&M{+7AptdgX@F zpSp1xO33=o7KTd{M!oy3e15|I;1()OYEvb7TUB+hrcT0tcC5cHtNwbkf}Ea0%MK0x zL*KI?eOsD^fN@R1*e&@YxRM3~j&cd=$_?=4z(Pe=a0XNtAqJV$7uTa_G-GR~>c-ay z!<4d5YRD}FnWUCkPIkyqoVp!CCco0vOM<5VtDyTY$Yc0F;Kt1YoGU5lCvuT4D8dBp z>w(cEgSeLOQLKEj+Ku;{nVLPjRsQetN`9k@?3^OawN2i!+(B8=7nJ~Nr+KlWENzcn zHk#1NwsWx|o@~K6B7S zj7v-?4cOe(4W>{;&fm||C<4ZOhJ$EvPt1xTu!qNUiIvDA3+eN&TSzl<3zZH8qWS~` zLamH=d2+E`=b5$z7B40mZ&5Va_~4WCzsk6`z@G~E?RnM3`hf-MInuSYN&qJX7Md`W zp{#Cu)@q@_NYRA=WyZO2oVFhS?r9|*WD%SS9V=KUJax9%^9~x)$%v-LdU5-mKATTQ z0vs*$L-@APM;~HbZ6J3Fc)q&K>TX4(-jGta%%~&Cp*mk3s+wk_xGa=Uh(Jy~0L`ia zZf>0@48LzA|Dn?V4#Lm##)7?=X(kJS^>6MN$YU<#uUZ9f5Pef!F%cAYq1yjbe)`R+ zAg{d7vZz`JC26E#vwxpCdXhP9umZ30susp;Jd7Iay``lm&_CmIS0`0lhQ+)M;VzLW z5A~oFP)8u>`ryQ5Mch>HZ$*XEsUiOMztmQ3@qeu5uQ%6Z;}^8V*T3q6E?_r@&@QT} z@}&Iy`lLnzxTS_!Rk4NAK5~`?Ic%XB2+haBI$z;S_a@k-3B)Uy2=Hr>cE8*IeO0|= zL$5|d|0$&>(v{@u`H=_{viW@1XUkGg(0zxmoEQ<4r`ScxDks|0Ju~@(hodE5@VAc@ zh6h|?IibhD7;V&x2-`)H6er-nK>QOx_zfg|{VU9MUrlK>w@ zr7@g@v3^G}f}oZ=L95Y9do13)wC){=`-m-R4;Ub?0 zuyr&;QpC^eH0XPk+pvm0qV)#LG2UGhNu2?+arprC8|9I zY=Zwk#?CQ5?rnYhO_RoG(AaFO#3+I`Zu!DbcCu_Bseig!99#$kAm$-BF`PP=pt> z2wt%_Mmr>ACTLA9;9pq)&3l|GDG3v5UqE6*`pK7&1G)n5=J)>5FaPKX3mCuWPIfB8 zcc0_Za^wLt7Fys(t+aYfBs2bPjQAWUbsD-R zHd$|e1ct*A7ug(_H4w70CMqGWxIc3P%`8{kAu0~!Nnm%uf@4kX{rl)jraKD)m>Z`W26Dr{{`||zAc$YC}B;J|_sCHWoL^xXu%BLOCzdw#nuyToy zx9>xb%?hyrN`&~HyCM?_mpfk4ekmPcp~$snAuzPandEd`W{2M(zS!1^hvXGbkG z>j~pBL3(iA{Y|pTfr-HE6{=pT(f)o9qN=a;HEwTM?7~R}Q@W~`o_-Ek_2ce1823_L zPyTDry&o@IJZdh@Ti}N)qLja8;mo<8KH7VIm@rE1e5_c|S#5>bTp)q4@w)|VvE_l^ z{Os0g#>JSPAfLA>W>tPFY}jY{U^5h!*By|CpufEis7VOtP>lGmIR+@+?HS>LlXmX) zcZQ}4NoSYNge9JuSJI>DZTgoTaB*NJ%rI0jFZ(9;(yK6%LF>uJHElq~k1zYqYRG2& zwSkc=URAS&{nMKgjKK0&H-0btZBMDv5}wwLsYFrC(}3e&j*-#-_!%?BOM_n>K=5je zZa)oq$7lWHxw?E!lbzL2j++S$n~;qs0f@BtZtGR)-%b=6!r_SCyX0{5&pxdaaL;Bi z04hW#Z=IW&_s{!wR14@xipZw5#`u{JSuAZn#t+;Vs8L4M*-&a}+J3yV0NN?e%VBq} znAse22O;~~Z|fotGtW-h7R&Vq4>fO0oOAXIyLi3R4e&Znq%v0-(p7XFL=@s>jqiPA zbooE%jUoWSD^ef_Ul!rBF1M?UTXVd=4fw;k@htvKP)@Z!!12z7i>0S-X1p}jal?HQ zHFKAfwa1|c?eN@Ve0dGXYdj9yJ&=v$*uaqWS;i!dYa+aoyO>QM<42DAuNmSyZ@>rI zNI4KYI}t3I#>l%y7n4$h!9rcWHR^(ESQUCkP?4S>LX&FTB{Rm0DMYmuUG@+Rgy^ol z_^;+euJ9#49`%NP-B-%yZW1c>&LW1E-}TaRo><~4eB8KOJ;BdNrt)U zoUXu$j@-8@O<7iEv2;An%ZHC+ zRnzMZu&wfmfV?}di7+z@Kx}d$qhq9p*|ZxVV1pNZk5qXx{9k)Yv3}pcqqC&_t;pt$ z%L1>!qK+%4t)lXlase{f<_0uZsJUjR{!BhDMEXXuW=DL=fO44pR(cRhw0=U?1#hnm z2etWpCQ{=HVu28zJxkHf@ih4;&T;=Qv|ez!$!6AWY96`dVKSq*{J2TtWNxx*cy1w9 z#M9b?-M`+-E6@~@C~fua&1KxAb{~KJ<3Qn)lEBO5`JsR=%o=Wuko)`8u2|N9It9z6mPn%NNCZOdqzHNPk)ad5tR1&ju{E6SHS7Qa zkCslrrKLX=tIs*i5M(vcCuC)EPE`mIUF|#cXC#~%`d*%Tm@Ki&!E{to)0@xcwF!`h z^zmB?^e!=ifx6!d+k)fa`8BQhZI7^t1;M*9XTAtf1mm5yU28$R5R*uEVFx*hXW%w0 zl~Azd7IT0X(q1y)vF$|fgNpHpMAqQY;kQDxKO-SY!yaT7bGZ8Bb7%2T%)ocEZv6;O z;Pf{L_dvwJ;X^~kh8gnS5hWor`3Z&pSzpVAp8~j!{b7wspn7K0gq!QQr9X*UxDRiI z=KP0|Gx$s*_cYFxT2hr!GWMk)70zO!2%6jQKYw{Gq;+x0dZJ4;rpc*Hb8)C#kB zI~(ZrSHuF5j`BJ)iC*C8*;t?5Nmh+LmfHzudVkpP(0SHdIXyYFbii!6P%Mu{XebgO zr0Nze@4=<0yz5ux?Knk^xIiTqT(02g( zM2T!V?cVAKbUWoV*xt=ck*B1kcS{40AI+7Rc2}KQ$@?Xem9~7>Xe@Rr@W?V1q++D zzbOvDA67VjZ(gStluH8Wy8@4xEiQ})byCqUh~_OkKoIWJ!Y{Z5Hn;7N@nL{oOm800 zivdHGexdQX3oV+IuTi#%aJZg729A^6EhLjZJy&P&VfSJDVe9C;%5dEjePl#Kd?h&H z_c_S1l|t_ik7HH*x5shSP({FVjiMlk=~1ER=Z zGLh#6++UXgXQ6zY-%_@zwyJW|9K<#vA#43$pwe&z#e8}1MXa-)oZ@zV*(e z7)leSgkZK@Wx4=3HOMe6eK&0*R`yw)+a!>I<&}Vtjl0NNYJU9?v2!-iy9hfZFsR!t zYdVCBHu>ARpfCnH7x8ZJMwF-5a`vbqS4AFht8gzg|hACQ1sUe>c@)QA1*%E{%{XD)!I9N1%+Y$@7;GZW@1T*e{A~je`D- z$}VNwl=yN@r(8K)JEv2IFKeyNKZgEuZpBLJl-yvJ>wy2JtkC_F;+Mo5v-08cM@=le zmzN)))}uGlrAzI2kpW{uD(3_@M(N!4k>dxd-^{Fx^jv>swWi9G_D@x^64LlA2eh;B15~Yk*0Qi=`-?f-0fO$YWGHL zf&Y9!DZacZCCU}16o5cqdGN=T+plgX!Or`U!A@=Q+r6@1vE&)bn@LXHbgrJ-_SpsU+D`>JUKV+Kf|sT!$_X3Kqa%$Y%uqJ>oZ%nd zBedoy8K~9kVMh{Z@7cZNe~e0CgnzSTM~~*j0zrjoUc0Aza)`!r_NfN$XvbO`yt^j! zPD=M}?s;kBW24AIhD2NDej~6M2QdI0CdDYe(S$pdA}rc{I*gx%ghas|89XnheNnMk zx5iAdR9|+Ww(vx4n-$8k{4Thwj!=dh6|(HfZ^-u1fL!gg7NY~kH$f-r^b%!Ip#ng;i;7bsxnfQaO-zIyxS z>GD5uR>k4@4c3Jwq_x{tSGRd2_m*QymF35+opmi>wmq$$V?S(OKrmc<5DddVPNhD) zCMM(*6coVw0Yz*>jbU^>2Zx5DBepb{MFvH5JJ7k^S&K_b@@!q(JfRLtjkttfywbc^CoR^1p#%eVs(r9GDu z@EdVZSmo+@9BbUT4RG&>1&&rhb+y==x>W|XMX$R&#=Wqk>)g=KEEfIJ0eNc}7WM|e zreG?*+-JgEEV$FbO|~@IG%8Pv(z7$bHes0UG&9*>z!*3F2RZ!PR%X~dcX;R@pE~uyY zXiz8|w=)HFIr6@!mx%-R5c?aPuu0oc7jnbr(kMY^m#<;^{GH}mil{W${(16e0SD?5 zjW^qhwm+*A%M1#$PJ^kLYi}=$^lOXimt=%46DCq*T>;z7wKR3tB*@0DAG=3{!LI0b z{->To|NG7C(=YOivKOQpO!NcFRuvy=%YaHF2mB}UvgyE>R`Jx)8$N$-rO_Q_(=CZbd3+l#;m{JtFnYtI)#E^G&nq>xJ(&neN;Uno*K&AECu?eilZYq4%BLo z^({6+(d0eGK-F>r|E1O)uk!Cc$nRy-wM;WqTRFjS{m1n9N*{5J3N-kQhdEMrOUnt8856$M1lreA z1|)%=WxZnn=)wJtKrpPM=d(0Sp+#Hp&tISi>`!RufSjayo47R<1^CNpa-gQ6V%W2b znkic_6i*LOiTbyqp&iL0#Z;?-6Q@X1cvf2>!=y(X=)@Y@rb+^dbqiw;XZo_NC96d$ zXXm&{Z1FYs9NTXn7sDqO&oT(=l+TS+!0FgpkO!Nf?MO;UCBo<*`&MtLMnr3>7n`sS z6QbfnpVs2;cEMpeU4f>q&{*xH%Zy0&%|pZ?mA4}|$QGiPW|qZZ`1Yt*X82MsxP98x zpsEW_3KLNEeI4@A-eibC!qfX>n@uE=WH@KLIZt<+>J>KikI5}F_{`%f?>Xs{iusCk9Edsa~P2G{GyknKtdfv0jLnrUKOQEy{91T z2JZ=CCT*AXz4*ZUr*dNFwOje0%E|J~n9G5n5Wva!6BgafV4Q);!uM(wO4*-$i!KjP zHY`%j+Tl7*@i!veI8cZmz?W0A?6m6DFx&xfAq{JRS<2jk*j1( zsy7u5sNmHizw*0#c2nkmraIGB zuipqNBOanMARYDIDL}PAqas{-o3HC0530JfI$av+*Y~mkDkgs)QyM@EG8`tF!j_P{ z!#NIjxWvXtC@U$qYWLf5|_dDvw%&q%SD2JtPhzpzcdaUJ^`Ex#9!9{| zzCD}n(vsR<*06?zApCmw9n>b?d3n=Suuh~WT^N)tPAe#)}ykYc; zX;?XEm>pU_+J5n5f5Ax)ea^|Djh~;-$_`V8}2bsw6h`uBN&vHN+?=oZ;xE%s>!EX;eoOta_XJA>(yvVs-SIX3)1cl~refuDab40R=WX);$8QU?n5 zv~P5Fp!sB@`~?wwG)YF#SN1VM=?|nl2}1=L$A?I6gXZ0b>XT% zcw8z`xbFOk^q%}au1d!<@Z8-QBQ`aYoi5wt_~g>WB%hp3f#`3lktcN+4+p{feZ>6n zzaBYIhE0a}DGe$93pMU#08;YoLE6cO4_dw4wJ^b00U?NQ3R09RQBwVWv+9IZ)W@Gr zR!}1!J5G$&ulwwg7;ypoCbEk$x7bP(SA8+$=ejw$ZX^-$iPl*f^;C-$6YS-44waje z^T7V zmA1N6zIJdA_p1B5rkKrUzh)c`{Q2(h_-P4b?#I!;6_OEx-wQ6lcaKO)1cj-5i4FW0 zulz)4K>78{)u2M?YM30YIk}QPeZ*@mM9Ls4Q)36uG(s$i7+z5Iw4TDVQ&(m>V(mnn zaW2Q%0h?%Z1mu}oB$o#Y*v>x~1mIBf_VeDR|K&0W#=sJ$J!W;K!w$DeWaoyqIU>iR zku@@8rrk+79g`_ToJTD({HE8+FiGVi{2QF*8gcTe+g^oKwf?w{HVsdP12Z?{`Z0UF zai^e)oxq=pqCwwmSQx#;zp6WM+YMn8%rL3}vt9+Dk8W`wUZOQS5{Ip9WyO0cm%lU1 zCK?Ru&y-IYs1Q|7vhGIngFWzJz>(k^IquR-w-Lu^Py+#)}ej?m$-7Tx)Vc+Im3^hLj1Mvt51MY$l*5Y z5JV$Wms&0YxrO|c!*GiKlgKmh;o+_B%J@L1oYlYXm)+lGs7-TWq%V(P2!fx-w`a*g zyZuZP*yfn!-13jH!Btehfey@1_9Yr43!gdatl030C>@YC7w(}q#)CpO_9muVJ>63#tIxc%w4wk zPv*W9r|7s--CoEMRmnYbmpOk|N&swI=NK3pQh}H>3!O^2gi`Zjx0OccM!VOre8c zV>50MO0$Eu-d!`v{t#yJ$~4mgR+n=TE8gmpe)*sNUm+KFlr9m&fK75*Dr!fFIZK6HN-;O zz$)bEy8uK2a!TAl6B7d+Rw~V~io_i-Sh&-Q^m%2iJ0b+3h2!L64JnOlHf@OF1~dvQ z3e5$WJ}s9Yk-IeS*63!3Li`9Xq?lZ-&If2CUO*VAbLCUr*1#BMkjPW8rt8_i`P97; zLdbNnDgJ)m(WE)JiBdoS6nST_s-LcgkjC;*s-PvXCu&es@Q(t@+J@ z;$%)CFlh+3iFZNV^Elw0@}~uaT#JahK{xGPIjDE!<+)jy+}je4p;d)cLH?!3B>5p{ z2;ZfCzU9s)`Ei`!5jJ3KceIFt=@tSk@J^+Ui|e2w`Yf5u;7~Z0})$Z~!Hzv1;B)hsM*c01xFCi_rVW`C-F|Y;x~tt|S>2AY(m@ zpV5MA7>R>;{(^W}zF?cmTI}JE!wmstBF@+@J>GU3vS)PQI~(~Z3TFyBMb_VZQpd+P1IWeknb5x4E*S-CS%! zqvy~M?AGfMwo0Nj_`ya z6`=U|XK8R9qm5|^!3K~sV&bp+$mi}hpgV15Ge#Do{gt$}ru`AH9sghNMgSE|B8UzA zbtB(z7a9CeRLSojA|nVXFVL^(=>ZxS_+Z7x@0e=vp^m4$+{`S&a;4z^6ia?r9$U*} zS(wi;Q#~3$waZK)Q_!7}#0zRjdPn59}y_+n;Ls0MPWMcKhxJ_m(3rFGpC zMO!-B!D>EMxzYn6V+{_kNPzsdWXa>A&I|QVn@3B#^WOP^U zM~~LMLTy=yr(F>-zU5aWC5bO@!Re5Y7}6zTPLff)W={V~n4%tR7VdT(r!V8qt}Qcj z#BUHZe_D6#X1aAdmd%ME20|SVSLaEr+DdjcrLkwPLU!R@t`UsqUu1@sR!-S^jbonu zLqiu(RyAHdCHa~4Hv=OQ0^_fR>j2!-$>(sA*TNsid;UD~o`IF)!T7bDETGirzr(w` zKj?$4AqGp_(0=8F#PhnRcU@l)Yi>VHA3w0S0tv0S5$ci#M<2(Syo{GBwwT7M8KM+n zYEmTC81%$~nC}R@MjP)@amJ0Strccev1n9r#vn-uXHBifgNerpkgeg}CQ*ZCtlIO* z5`BJk)o9EmF8mh{;!uy)mD~YQh0J&%)>rn>N6WvVY~I<2nW9Kiy?;Is(-f2<$wMo6 zmng&lP#IgS+J-Q28{#XHW15#7DfN6UAa?TG9tEdTuhLFQx+NwJr0IqbIieqeBdfAK zl7o#<3rS3DpyxCt*PGvQq0U$1an|%P?MF4xB$DUaPgKH_1*DYRZHL9~GSxL43^Cog zg$QKiX*s8ZgY#|uAZ=$XwxsE)&84>K zP6?A;3sY?zDnxVbERyYLPL0)AcJ12&J6S*FWz5m(X*Jg)gcf&KJj~NhHfPpeo5$7rSREEeS8;9=k@yS-YCK(|>di&a?&% z!({JX9C!VVyNyp~Sw!u+Ez4w0wA1C!*{?ILQ_`%KK32Ui$m`|vW(Vv*XAAgN1{N^D zGLZ6srASV_q3wGrH|i-0Qao=wi~bPcl0 zrfRY3XRMCNV2u!Qx0s*j?qS>S zNX<9{z5xlqy9&xPk2cRW#@k!B+{$gA z?ajp&ZAf4Q9}^9G+;gUf6k16ncu;n7AG*O;f%bpNeF*?QkPa&dL-q`P&TrpCT!C2qwVdLZ>k&Z!rXOe#>Si=BVk zt}wG4_!$12S$u|hFJ0FGlY7bLeFleV2av}z8M_b6C#TNB4@I~IKEb<1Gcg)!e7mqXDu zlK;ezD&MKsC)tI}z){XXpW468TfP(_Zu}SRWO8(R_`;zpBPi{Ehm>U1)yc<|cO3kd zmO1lBS^Ok7OBLie)5iLbw0O0tp6CB2+U*5@g52Jj3d*rZAE&l}ilPVAg`M+~&NUHU zrz#X=_2SvF5bNxZlZ)d1=nhTjAjSNK$`J*Bf9IRa57fm3*#%+Gpwjxd(>S81NDbfM zKe5I6TSv$nt$rJ=eVR}ujp9R5X@GxNf6sdmHkz;VTfMM_Q7jw$z7XCzlHOI#smyK{~m+9wC06_+AW%yDNcM8`K1!+6g0>pIwa8I+3;WZcDrBx@M6 zDxycHIDKS9uKCREgdJ0qG4oEe*Eaw99ZBS}Wb?IrD*gXJFb<+*>gik6fx2c-W&>&u zm=J?X7k5=oM_B6B&u1cK7QuMx=HhYQ zg1bC(#PjHx&l<@otJowhLx1bJaHJkipOxolhxCuK7Y`xK3 zR3wIdAyoLSRo;xqX&=<}7tFVb88%w20jNj&rZ_XTIk4oND%39oBXIE<%{z{d*C@3=zzy@VhPjXCfek^|**F zbad#Mi1L1&tlcFzHFyB|RKKAj3QipK36cEc*e^=^;6E}4_zx}R`!?taNcEJw;I~Y18`Q3+}pcs3$ph0ex6KSuF8S2wd3fb zrGuP!OK8Kx3`-L9yJL_$RUel5b?Y=baU*opUc}0JXTe#2gC9W?YKu-B=OSJ*GicVs zrZV=0PR%0=!Foj|6*+A}@rln2Hu<+eYWSx>dLwV&`?G-lxF^opYXXBaL>?}g68*En z3_^9tu%1bzE`kXD1LmF|0Gsi5j>A@^`6E$qCL0c)-BT%N0l8L5q#$6Yj&>tX#U>J3 zNDg3|dqQRv2Jcd=fkbGG%keixuD4Bi+mjScj+MD}eGb?U)om!RNE;7DIu<(;_}6@g zxa&l=vSr zGn?W>!Jpp7hR=uB1sl7-PZ%(hHoPJaPM1O2-gx7IseRhwZ@%N8ev|Plrrr4(LYH29 zS*Pg<8w=$vU}DZwiwAWZTV?Xh>JZp$ggkMIu?u4)5QE3de{gfQangU}6QuR`%U)eZ z;RdH}9i=|~Cm|<}k-!NOhD@kqVVzb7*La#vbgG&2o4!Nn)RV^2t-Tb6aB)d^dA7HZ z*cuhiM|$Qa8^7!(WwM1V%R}^GHjMXUIURD*jLaS{Z*Z^|lyA9dRk6Ln9<6PdMlkW} z5oAd8xs!u}LPcWZL02WlkX5A&sx5%qWr&?3{mv&PLWGN8S&Bn~8Jpz6NWA-o99VqL zh_F#1V$W)$2RWX485Fm6a`!^%$On7{tU#HSkZa^(K_%@nWE=NqC(8`rop5}~;8?Qx z;;@34k>i^!w^q7a#Vyts59nwW^!plh`{J*er29#D0Z#EyyNb3hID_!ve+D`9lGn`R zw&3J?igHM$Q+3A$Jmo!zquqqnVOh)?OqJKv6bAb~V@L#%w#KIdh?2M^ZP5BW%BCxX&c_~*tg2?2O!t#1x#Vjxg ze0=+AcSa5Y`aGH9u);x9i-mf<3@(9p-|D>v-=@cWGz8v%$vnqU04Qn8m;D798u!fo zr#8JYWLAg_(l(ibNz;b^R{N!7>9k9YCZ0so$39AsMucE#l3n(s?qH)(>vcn=cr$fV zZQ1O+l?A#8gEI!V_uy2iTPL=0^V3n#xP2Q|RwS;iCF)Hw;}guHWo>oL?cwm3=`93}rAzPn2NzUi%7wczdU5l2ia~&4UpO-ms ze?4T>v8QsODA4r);HFA}#MG~xPHoU0$#RlzFo3;^xE*dr1r_hUUz> zTNx+Yy}FP8sWSk;ECE~=*#MEQ=H*Zr7c}d$AUoq{A@xJMWX~j;*CLeXH*3TKp2JV- zit4U$PC{b^*;@=WTAaQ!1uUE8Ehh+2Kn6IE$G30aRU3Dg1s^unWVG~OYX4+8!w;A! zyVScNYZxhM_IbO(%w6_J65)qWP6D%S2F{tE56=Cb<_-bDxNSi*J$=p6CPK~@kOvEq z*cem~J#Npk3Ua|r^6PvQBw_ah8tQI!7S3*t)TdDLouPHwS>8YOKe;*Sf8x^S@uYoy zqAsN)jG~{Ei3*AvTAJP^$vIK|cWlKJQZXSi1=SoRY%8iXt>L^}PxwpTtXGP~+k;Ic zyxrd7ePxrNmpgcLxWNYR2D4fdz4r+|;Wt#qKhjzEOe$Kc+Ha?bqD6seiHQ$Ca(7cn zCdjddDGv!kOF_5PIc7WXZeIJ`={CZ7@Q4Nc;U1ITqxz>0bXT)_o5}aZ1@;9xaR`EQ z+0q`~mpJem3yW{wy?!C`@dZoAS=7T&FKXJuG^a3oQ>BoX=t!jYaH!Le zR5oL580FFSY(||;F44m<&C;bX5-o{?js~XGdXGc)(B*XOuWWYHjkYoRf%PN^M#AuJrD6jg#y#GvdKe90FW%yIb@cSW*BVmN^p#?ieVZePI zZt+G|y?JrGu;RT#!zv7wsV$q%qf}BorZ4R7(@?$L-=LlV-elJjG5e$99VKfi-1?0z z3(!EJpIvVubL=#?S9H_DrE0n0Ub%!@@l3}N8b42yDLL-pM@L%O>^p0O8&|*lU7LFH z&K>w_k!Mkh_66qh~Ca;|ER4hg`C^4u-#a0+$K&{R219_vc5|i26 zv-E+3;f3YZS2Z_Ie=JfKbj#q3IIEbgJqj94cHex-$jvzAew|TtK%HFg%C{+wdX;v) zJBjrEE1`F5e2Ga+u{z`SS*$#P;1t3-3mov1vW4#1 zaj((q$zpDVc`Pxlx@!u1e<@~jS@PjDq&jcIF;FVwJq$Fb_1;n76vo@^4qht#T=in~ z*&;MKkc9p?mkXr77mR?43zUA-EGmi~rVIBBG7>82yb*X-zH+A#U2LU;1Yc)P}!r0}<6PhLO$p)tBbENX3hGZR_i&nJguE9uv9T(#~^%deb-YRjJNWc)?#Tq8Oz#LN3xOXwYo`(s4B z?Itv3eO8}l_ww5d_1IEYv=yrp^OT>JT%`tG%x_x&>w18e?kf2tZdft za4sBy?8z2>t0*;dJ{(7B^Q$~?IjRxledqyUxFSJ+wdD9hVw~1_dtE|znuV{XbjWz> zg|_FPy-2Ighr{ksq^FKsBY;v_d&&l_5q+N;!+cFP?}`{N$mkkxD5 zpBC5(`$PTekN!w7g3igtr3(i1jr){=shqZ#2_kBouhZG7Z;$sknI2xnzKXkFQp%1F zAuXI;{pz8MH%;a9zveznVwNV|!+*ZP7M^egLAbe#9%i0~(sF$g>66g4TL8=}3s^&d zrWQ+QghcbH(>WeSKomYYex%`$1rRIO1QALvOy%dlx558e`! zOi;)}7lFdku=Pu2T|7zLh5ET7xL)$8_a!S&`tFBw@7m6Fnj)4n?_8iV=o zDn5$UdDX{*hhd?zg7V!xHJ>c_sjLpoI;z!fLCGT>)Bv9XkE(Gc;!7>&&Sn?u6urag zevF`u&{GaLjU$3_)??Xl>~*bGf5=hk7rW+neGA^_t7GH$EwZj6a5Ri++gCN@$4Up> zw3vEOSbRps69(kY&ND6q8qfLmHcrOq&CblUg?b1{F79l0F41HDLT{xm}t zq(C{cCTTH{Nr6@*cWpPRXa|_uFPFb9y2;?OG`*~Im6Gw9_b^ih-aJugh;?$?Vz?Ub zIp?Vyo!7qSmseVTS5m)fX*hh%SF~<%8x3%;ut?RMV*6d->qO$y-OUfoeVKl?r#yUB zE5w_gp3W_k@Yhxn8C1^dKxZ(3v{1Jd7~bFBuJP|o%Z;SV>X5bh;&~jYGK^mk{d(1w zsx(epE}oHsYST^YCFr_Dt4%ISA)+CaXg#l71s8^GB&B3@oSkAHIXu6{i9C^~b zHuI%o;4IHetH)UNvxTQARbH2jl!(haFMfx}_wQiY+3DFNU*}G{0`kI#4AyAmAF#sA z9L`l%7q0%8}mmi!oIsn4bY#&9Kt-30j z0^-E6!qMgm2n{Tb<;mrkhKrsCQ8JW1WbtB8NNkUd^qZrI2T+h{6&Ih4aR~8A0L;WsCT8+rsKFRHK^73b8d%c0Az*q9tks*9ddDdoewz{?0n7-;+kOKcw4EmTcY$N_tY{H_W~`JA2a zaOIi$h~Ae0LF#3ligoJa`kRuwmQbo&COj%bhdS-LQ%6eqbOiBN%aX|1JvWQ(lhARf zzhrk(pBBJ$KWcPk<)gI|-ggPcs zjg^3?rm%Pc92V~g!q`01DFEdCtsyrjD=)ay4`EoYIU-4eP#X&#q$=bwvVb=0p&82J z?9kW8r#9NQ2QiZ5Z>6=?^dR-M1i+B)S{qA+r0*oPPGg3@;xq~6fpM~&kBEXIJmK?Y zagykkD_@Buuo&R*$zDzpz4gIXrl>PZ^ufrFlif7+gmAa95>ro`XONats9 z1Q*Jw>7CBLSF52L-#3~$IZ>0lw#SMic{+a2Y=`=0ls6WE(@EPg2|irgt=|n+(=B{~ zEaK7eXyg&Q^Yr_1u#|1o{woXM?`Aw)&<9G3(xW|^dQ7B$0oOh6?_Aa!A8_7yc`x> zBq?4kn^PnF$Uhx0ZXrI@*}M|5(lTN|nYcwuwp={d!t~r^wOx*|K;L56U7U6}@(1l@ zdT?c#aDZh+LWl$Ft%izFmG{k?KK`AIvqnSAT;K$@@+LCf4ypdw#b@F-2T&Sq>blR3 zutnFAIzub4Dzx7jjZQ_J6_B_oEy6@_FM~up5z7y#tLKB1wfzk#Bk-9z?%Z(58&+37 zP%~*@Bay|UO%*wZcN-dgY;jBy!eK+YxVJ*l%a<&{=x%#EW93x^K6SvD=%dt zI&dH)%c?u6dp-Q2HBC&!T#F4fbS_fp=9g?T( zJGJ}uny11z4HMhkmVxfWKQp^KsgbQ;Ct4e*kkC58N+A!XtIn1%I&+FoY%T>cL2jQ47QVl7V>zPNA9Nb{vQfgzr}MK-6n z;Sl+_;aNm8uBoe6GWeuIW3ulBU z5it|A)uA;zvk36+s8C^=Da9YyMd%;8@odaCbbs7LL8WR1pO7OG=K$B~O6`)-;LDxp z>$X{*ybb6Y^zdRq8pI?fG(w3V#}IV+&f4e+qoo-g{;{Y|D|nR^V}^g3FT(*=Vx2A2 zV~DqlwxyD;tkl+dE~I6jNUGxTe72TCd>-{^h(UiRfw* zEG=zY@crSJK{>+DQ!u@%>t~bush!g<>d{d&NKg2d`o!4+93O0-je@q+^laf&i7l_& zGu^?9z}JJVPqbdu4YlMbD3mUg27geGP@W5C?d0MOmuvT3mOb0NUAVVEUY64e9{+LN1jJ!7#4f1^9JdwI^wJ9xjfeIB`kRb9Lr<9l)6 z)9n20<8{gzN@bvTpHBP$=DPXb{)AmH5hk^uw<(gap-UCeKG*ZGz8)F#G^yo5TD?-W zJ9|~sw?q-v^XDS+?~r-x2w<(fZ3J3Dxzk6XK`vN(FGG8WU7vie{8lFT64byRmNv+B z%|bQL+)MNDcAqrFNg>E(q_$_r_%l$q`tquM$+|uC5$lNGly?hOFs>iaAriO(5SNO! ziw?nlrMT!_37=Z5`2oGve^9wKC-Au#L=vX>Jc}l(_;?ZCqo}X{0|E~q)u?a*mTl7Rp!X#K>p)T3_|(Jsl!5@N_>$8qMk1dnAj*OP6l{$b?cypr9j6s z4}IJYTQL9fQ;cafX5Hh%-Uf}h#% z0kKQ`M9<~^NR(4Ht#rS@ZW zW!aN{BbWEQllC=GkV7oHJPjE7lvWnT>yGP@UPc}!ILx7K2W7tn z3A`rA7)gl}CBB~B@d^jQ(80Iq1s#5HLE&EZ!p-@@q}Kg|bsTlWf?Ev|?Dl)%nSY<>Pkrtry0VvDckAMGh?x`XaqUyWoKBjWo!Ej9Ze8d*K|cA6;H8T+ z)y{_wQH}Awo2p`8!s#eQK7YQw`BeAi%?tGCTAwCjr3%M(s+E3w^Zku5mS*QdjnLlQ zH?x#DYF(yd{`1A@**hmW?ib8w7HpkH95msI4oa>OW{q2JOi}$8d-qgkWF#*vQ~O~K zg{*uSv-{}{s-e$3f1L*Zn>aR#ls$*?YhfGDPVtQgyG(vfR zXm|4;2(?jU-iL&e*8aF6f%g=Dhma!*iJypn{}`%Hty2vfi%rH55QPB8BP}z~;rT3brq+XT^TcbVh=d?Rz>Vz*AcTP^+<2eHij*%C^?qRy3XeqQK#cp}X=n%RYt`x{c0KP4?1^;caIk4v@K+Cu=vw%RE30mF;ajeFS+ z61?G?;0VBanzWQe5ax8BJInQZ7OkTNXrI_1Zgqu7&aMOuCiF_japRM|l93{nY{(On zmzx<5VXy$8!Rc=^1rtZ#v`U8&W?-vm_@FGF%-~Gu0@%$@+M|;_5mZ7Y$?}=Rcgy$I zrfMMEO$##WUtGhFEG7HJU*yfY`oGU6QY+JA&=Q6uIvb*xtgkP<^}{6;LSeI(0V9r2 z*CNh}?ol}PnX%UKo;W7qXZMVNw|9&-L@2GFFlr*5jKZhj6swM{a_dc0TDlfqG$%U+ zkv51~ZhiPnpU~*!2sL>rE~@qpS*xFKu}BX}$+^B{wWfWZ*Eb-i?A?QCmea~a`fR-v z9%f{uaCO5z2O@#iyYYb~+m&YE%!sHkRDf!%2LAYGxY8RWn@sP`*JBPHr`$2y%N;5A z=W7{OmoxfI59T+wKMsRPq*56loS4eNO+H*41kLl@jLkQ>v666WPZf8pwD^8As#!J_ zQ#wrjZbmT4T|Q9c63*QjFoNl)Mqp_YGl9Pd!vZUzH>*n>5ETN+ulfaCuX7HcKp)kY zYZ(C-32xPv+{JF3j=aKp7&NbqjP^06AoaR6UU6Nb==eW)*Li!4xtyx#u2I}0Q#ME7 zi|ZTimE@>%h1gHQ%$%q+gihFc0!!nQIXR)kqICvz>wCT*hqdqx>2`DLcqYmo-X1Dd zRm-sH811|fr|s>T;^wdM&GtwdwoM(V4!N+T z4kYx@snPWcX;s9l<@cd7On! zY{2s5Keiuy>Y69Raizvi646p&6qY(+AiGEJcHP*xG>cudtq@j1jve&hDe!M5mdb~O zpYH39sF-e1e)RLK%7UJVzlNt^!*we*Nx3-Q`DNQLe9WaJZqr{!THhmK>Z;jpTO2#z ze$miqXWb8;X6SE)CgqUfS<9#0)0E2 zK@&CF9q(E_G-ZVU0Z+kd9+4;oh7xyq*F;p^k>WsRrg&bk5X@gG(`^hHkxHy?V;$^4}uUQY> z?*X2NuP^XqL~f{ovz7&_!}~B zCT`|g<@CFO6zYoW<cc|z%Nboxb4PPmae0jz|HSN*azAEgrHlk z(v&9mFvKQxQKhW7ef}sQ2hYXfg$9JeZQR zQ5FZeY-yL(v3A)pF$<@t>01Dj#)2w)1V@WIm0@kT;*GiJfE*TBs9{?PsO=DHO(zN2 zdzURbT{PAbkenBCWa-Sl4o9^eenpCnydlM}9^qkEZDyD!gtB@t^m`oyfj%NgC!$ozIYr zCmIl4wty$WAQ(g{`TB;re%hzm@M&u`Ar~fcol+68L+fkG)!>~Ip79)t%eAUs)64w$ zF&Tx~(-R;grKm4E|K2R3V%6GN$Nu@xmH?AK;oo9G^Bxpz1j-M=^E`zznR|Aht$W^e z;rZqp%4B&s`6o6!!6nhA!NVfb=CZFSr4Q*uq3t}wSuWOfRh>?WncCx6x-aJ1*W(|t zxx8=p*z*Kf8M-ly1x{)wZjKU;N5?aBIK5d|aM(aDlT7`@hkfp0T(vX%&)KB|^dPN6 ztL$gJI`(6YOPnSLS2&*M_$V1}Ht|^|E}NrysjIySOf*{5DR2=M-B0mr7FL9rX*j+m zDq%5A)>!W9ZsQU~9Mbt{UzHwl-+%c8GXN2}u}_Li(j()i124b28Gcwo1Oh8$dO4%Q zD;%gM2V`E#GB|5XBF}89{`pis`3Os`l`AcxN02Pm?|itpXo{03!LwYvTU)YTTI&uu z9k1T@15gzQBQukrM;P8+&lzxjutPb)r9L}WSsLHYtUEg#_hI(F7POavH!ywTgM zVRzd1{Q=MEP4n{7P@%&ExU>v9n(AAh=!9Nq+{JPTs@!Kz?Lk1*7$*@9lcdH9FO|RDlu4!elGQ%UeKoybSW{q_F31g}N$n1! z9$w0W)BQcZIn$-^%3pZMDx!_YKcB`Y9}eJ1F*jw1|;|OzyqkTgBr#ffgKa zq+YDu9^pJWBA>ERcYbbi%{@w_emjXZThjamWxg7WQN=qOe=SDjp!Q37_&?!C5*w8d z4dw~Vy1MWaMRHy~l^^=YURl&uwsKlp;<>*(!~;1mjD}ln91@wAcdZ|qzq%FFk&!}U zpU$q>>^YDeYsE!vP^v`R62PzGal^fG^EJ40W8FF(+Nr=`TWuYa+B7E$L;i#n-&1B~ za`_ZwHa%0R{sVjiI*2vbqeY z+L8L8>Wh338gRt1kjfw>Mc>e9fjm8V7m{6qcf-QKhW$+m|JF|pMDLet#jzT1)d6SS z(?xR0EY=^7b!*Z}Aw0jv<uz;9<5RztTj$)5FFel;B)Xk;o^N(TQ?J{Pd<1bL zI!x01cq%G*l60yox^%dg-i-G6vMSDorIW&&@v|XmI2_(b7Q9Dai6U>Tezc6H_JRHL zMBM>;@&)9&1xdJTYo#;=y#4k0)I?#!$YnDk%0xl$^JLy!zMDkI62K}T#LES7mu72o z4o|^`IT!o(4$#}RNmNk8Y3Et=^XU0g$vbS4yl+XUZiV91;BWUq5pLW{-2ldO`+5UDJPaqQfAg8SL6o) zF2QTN5Q0J}Eci~A&<%|L>tTrizj*WBmJ`Xu8}vZlv_>ByIs?|l?cIjS>COli{u|Vg zf8C@F+K12iBU;I z$St5Q>;t;ku)rs?LL%l(VnTF2W<`NH!}pGX|*n5J{6*x6HI^~_EE znH0=xc4{c7P`SL4w2O?G{PldtmQ`!1nG-m?!xC~nB~eSmBFnbo)C3Pjr=C@a zsci@BJ7;(`8$b4fSWH z^WS3vpmcR#JEHj{5b6RkZAcpzZHi_+`yN`=6V+Fyw;8$Co#fg!nVcpNv|g@zk{OaA|QM}5F0d8fP$n;!+I^7U707`(;KgP-lmmMsx& z1nhOx+cwrh_>AEv)zM%&e{AOt55`p`27KA<>8d%`tU*1if^qWE@jAew8o1)?R8(ns zri3*3FXq3ZL>>d(W&M>qp{+~`kF6XahexY7wGKkR_i&}adxz(Vj?Ox+W&owRw@;|7 z!enh^u8^+xkw!`=so;4cLih_uy2wT`%vCxgCPAAO1&C(%cAH5zP@nKwwTc^?boHcu2AG7qOZ^95v z!!r4750mJY#C7$l?l7!}mjnGB-ud=j2}yhzD0i>;MoboBZSmdLpRjlgnvOE-d%Bz! zK_UsY$0Iv(Pr1Kf&NAY{iV3~K^1QeY`Wq7ZNGo;DqSu6(5C8fU&kr~Aa zb8ZRmeD{il-&;Zkae3o zyRn+QN;;O_p<7(gIKrvSIG3?U{!|gdGHXFr zr-~Qq+Ni+PLG*N%4J4Swvm8d{o@C@(fqlr}qGMJ0A{jHk%dzM|kvMPT?a4Xoj>Ce-&xaS|;u7C;03Rha z4@11l8quJEkn%QJB!fpCA;XNT;21;CIX_Uw!_o5yo8iMF`GEcEX-fX!)ry^Qve^Eh zoH1Pg+u$_$2zs)(Ehm)3{MF-?9|pS)`qtHayvP_|`Ni;UoBKA(mGn)=OuhIxZ3A1I zbt_azkV>|wxiS;kb;;Kv)OUe^IPT8V7E1mT-Rwuo-29~e;wP0eD^)^7z>DaeJ3Gn4 z7C|ljq_<^7iwIO2^Ze8O<$Oy6((LF;a5vRE#>}z_mP!VYrr>VsiDql#eeOzQa}&m6 zy6rMsz?c-P`&8K33Rqaa^3|jZP0f2sBa(H4_7C0CH+%<+AKmTvsb=KME95_3?A5^O z@-?CT2*0R!&rI-NBBYAcke#{06CI~}$d3k#0hcI1YKU(>^@3A*%&sq%9Pe{np^Ol! z6tvl@fEGSeg+9ks{tXzoW1tT7C3Jh0V%XI%Lo!C3ucv(SUk1F2BrgFwbwXp|%`r8nK>UtQ z*`dNAPl9pqV*fr};XC^J)1DukUj>oNkvY&}2t7YL-xbzo?1XNxDhw1XI?e2stGA~S zqpiNkNammVkxeTFR7L&1#%J4pi2k958B|!FP@OMBCyg_n-BJcQ;I`TooN_p^{#Ezv z^`0zsr6nY+r-${bd1~+WrFD<>z_@hj1`+p^8|%3#pkri&nfcwIIc?qvwjKFx>v4c3 zf5KE2Yhy}yjjojThp_cW4M?*i6UlT7(-UpB(`_`ovUS0)EC8@m;)Dr{OKaUKHI=-T+Vr%<3&ht?S=w3%6Kh?uXm+rIm$eK zLI?)i{%yfa0A##Ove=V^WU!L!cgGod(_X#`+Jo(MJPSCGK?NK0dtPfr`F%Ea6ZkcR zLLV#F^AePm9~5%ikkxZJ+*{(Q9sK#FDIJOy`O`;8!%Ek<(NR8^^EwNAz$|{q6_$;# z{YJkdXQSzeI};dY)?UI%I$jb$h*o$_tu{DwfWcp zAE~=wZ2ZYg7!TdPtzbLzMD-DdD}E27Xx=Ho7CfR}k9%e}Wzc0JsrbpG(j-02+8Xek zIGszw-_z11BpwX&<~KMh`#Vy$7tg7*Gl_~{_GeZT-`E?{_+e$w%{lMQ4;d@f z1Bq82vV(MHpo`|Ggvl%&&?-bF-0Q})f{yK}%{axJh}MmW#T&nuipCy;Qpv~63DT$C z;#9$)oz``MPcEXahhNZ+M9vtOR#q>xWNKScWMC~kj7LpBj|}xu_zl><04le}zvjuW z=KDCKO~QM4;XV{)4aH(x-sgF+z3TSW>=O%^2U#Qi?!e6UvH1KzOL2m5nY~DacTQM@sQvN zZII)W_Td!Bu!ty(QJSo_@+?~~`;STiIX87BQ6YW5P+C^k80psozbxdGkgY+@_}J=}R7QaI0$Iba7Ib~(D#G>DswKh^i z<7HN=NH_ooIJE?VL_I~J2IvyH@xxH4{*NCmWw2{< z^v=?hJk`Yd^V|_q^3|Bn-LYTmS4Gb$%ymi_w-!W>sX`6?Hi_Eqp422Im;b8i z?hKd~xx%{Pc`9XEVf1L8AeBTD+&0g0ROY4W&kvIG_bk=bAt8dIN=StWhWI(GZa`jDQ0kFEm9;&SztI7wjM^90zk?-D zAi*#iR*fR8LA-58394++W+AdU{a=d6?leE&uvm z6ZKt~c`ieZDQnTEovtf&e#unj&aED_D9x2@jJQM%?2xyj0OiK$Ga3E36T zA}N0{hThCHZQk)RZ5_ZsZv@r`G+~ZU;FK&1G!)&9n7*^v#%B6IUO02+fCr4i>*m&n z_y)nSR%d^OLk)YVrB&t!EytIEd{(tpY94{DFJ_#J1BB8&pkGKE|7Rlsa|?{{H#`9w8j{^9(1zeLFEU;5`NQejK2p$CT@!^^*G-2 zn^Kx=H4v+w=NOB|ufdgW>>GD7JOmM?7M{a{{Mxz%Fo5+wS{;>)3_?y-)auzqiJVt`!^gCsT-Z0Ued& z453kAIOhpEvRS?*N7RPk1A<@xso1P#-Dp=VRD8Q)Z)~gUN3``}rLt9}Lxpv{^3@&> z4G8`H*-Qe8_|}uIBQo{2dT(a>Ti8xunc9(RdFE!$1o}{$rP7%PnX*-Cb6{fMyOqG4 zvV8g#`nP}bo0wE@A9-Y0R41&ZDt~x@Z=_l=s54P_c(551@nJ@B^#qs*&mmSdb^FW16sMP!w1l~XADBq_9+qUz`v7nY4* zr^SRINipZT6?tz<<#%I+QY5jUi^c-B8k%|M1ejPdB|LX%WcCdgfu(yXJ-8|8Xv)mn zxF0KFw&%RlrT8YR`Hi!ZxN$j|2eZbqkL}fUkz1$y@U;4IwajjQ)VPVF#6Of2$jL`YTNb7<%PKUG7J4oIHHs;30n6; zT%zu=VYEky1{e5v#;-GTT(aR-hz6wsv*3Lq;$ z6O)0LaZzoPQAa)DZ+G<2TM!tJTh-fKpZlOLV5*>0WfGJqNyy2yvY+fYVTcl0YVDxD zSlL|z)8BPmXH+ER-oM==T`a;hPVhY;o_=(+n5G&K>;KiF4=cA9#e7w2bzs?Ly)O&HIiBuy4weBv)7 zCrzGmc^zUQ?m>yN-#y248Or&klH9nOMcZsEugWU{1iD*p78BE)Ik1w;s8haU!LyJc z2f@wQgeR${SOzwcDs5RcHbWh_9w`B7bf#$-zN294Co)?22O=S(GNvu90l@b*@ywsP}Vngb|NUk zV96&3XzQ8Z-i-|RNbfYY4!A|&z&m2)EK%wR6s@3m90mhr-Zx)X!lIlceT;7xDM{1I z;~0Qcs;n{SaSys zsGRsw{#llZ@78;;%eRsWfFs_=r9JD|Ye^)N%YBF36{+#&?OYcI8n{-s722|9Btu9c zsYag!W?!)8CL&%p{i#K%#fQY3wrhvAPiakY{u2LAFaPAz1mxx@EkQM_f~49Za61mJ z4=L56T%Wb?0?gKTT#*9h7rO$r<1f9kxhy7^^gB2 ze447Ni=f3CCI1JN(4Yje;ZN+O3@VwIM;E^=m~uiAYA?lF+X}h31=ls`s&Q7(pNt8G z6{AJwG&n#g;_m-i$EuG&f9nwl2=`r*Zylm!(&n3dSP>m!I3-ogb+=WA$-q~X<;@}t zU}U0K15>4E(C)6g7E_gR43*K7XCBs&(Ac5Fw_LKasKzi(8FhSVxzbmywLvl(UG^3# ziR6_4*D_1{(EQEF%y@$vd)U^ygr6swreL$9JRH zAzTlrVuBi!@QwwFC!Ps2@EyNVXJWj7Wa6-Zm1)#gC1^r1Oq$MY&yA2eLV9^{2w2h2 za&f%t*^5{shM#r5c2vk}dq1R%{e8-hA7OIf0zg_UofT2Umlka%S7WXE;bk>-H8*KS zOcqtF*wy?KgP9HSEhdyYOIN^{ryzZi1)=aYfc?1mm&1U%bvB|LL8Z(kX&HT=?E0(_ z`7RQ}zcI>X^YECMthInUp7|GLVV)-NVR0n1)o@7h;cHM8y4pFz*$9vKi`Pm}0q(I; zN)7H){SWY&syt?HN)46v&HQS05iW{nAdnPxVLnV0#yaPA7+df*tECd>Tt>QsaSmGh z5pkwBMf|mBw0()2#XQQ-{JYWpibA8^O$YZ!3fa+!Qa~mBv?l_DLAlMt)Izl*vD~yN9|IjdXf3 zvo4|!J~&kcPb!c%Xgi;Sj(1ws|vSOut?>2oXJ|ZVv;w-V>t+M{#}&o6~nW(gR^}=zcRJ0*q&qHV&zZ z3+X-X6xxd2#izaN{a~0Yf9}IS6#J$Lv%e(!3$PG#*56Agt97*-wgcuPfc5R-wV|#X zRavdDn%X|0H=dpfgCt-fFhEJ{!uX=q>WI1=OR_7sKBLTj!~7s@Yfd)WRRUj^b@VQR z(RXESY1Be{s@4MyzfS$wP2zy&Z>*k}IEY9nF^j{8 zT&A3Ve)wbF?u49RB>N`V6LB~)^AEpD$1!BVhb>*VF9UhEu+uF!>$SaISN4v!a$ z^bIuMkpW(w{4y!&Fnt;dv-im~pFdAs5`c^7gU}$+A za5=Ina(RpSK6T#{`~T|kXkd?DV>79ysuo!^|6W;%g&S3gqbjA@mw$fq&u&XUO#DGJGY&7OY;b*U- z2G9S&?c1cipMONVVh-te9{^WxHMMzqx zw<~4-tX>8I#S`YcoUY4rzV7=gB^}j#p0tQ##kuNj8T`sLED)WvNa*t+-J-S+c74Rd zd=8Z?;kusasuWun-Gy_#Q!~72;7Om)g4_7h{B-ugegp~QhXfbSjOoh>LR?%6Eq}|u zI}=1eOCCxo$aB=jZ?dJV674vBC7FtGGP$^G=|f zf*(Hx1#C3gTMe(GGw5-Q=u05mDtWqKXCrPh`n?9QGB@3R$;E|YJTnTXCEZkpT=^+R zdcMb(LhDs8%dHtIVB$^m(k;XwrS`Btv*GF+}v# z6|2dq^XC$Q_x1rTZY6^^d*_4_{3+QTIiz4uMg5$CnjGt*qFyBGjQ4IbECizUZyFCPJ*)!oH|%09@+ofMn-V-L$*LxoR2Q>98XF3jh)H@xpxI~C?drG;fBvjV z0f!7DkVfq$Hg(0?S?FcxO!;ig6{Xm>pm>>H$F=%6o?OqRV!)>BS3q=K#3c}pqRgB& z7bjda*(f$k{qAv!L|&SmjwF8ZHg3>fcAt%)xSnOyD*rXz0+-bIzvtCANQK5frB23c zG!>&I&`t7R1Cn~$uP?^Bb5Lc%wXQgOp(><|`IXfvUYJP(;&D%c)i^Q7B4U)Nm>I^; zRrwula8!hp^j0CBU4y53s68tRcqe)LF~OUVq-99)Ap@j_dy_ti9O=jXvWu{YD7&)+ zmA=n;L$T_tx(gKmv7(_qt2iX2w~QA$gQfAk$UX!)MGfVoyX^nt5Bc%BL4h*6oD<=2 zI2Wh-VQdzavI!>Vm;k4E(Tcz?ra`+PYq`hneGTC#;pC#ZUy8a%YOJJKB4X8r)fc3JH4+a&@%5u?KOnxFVX*@QcuV3PchV_VVM}2{V;7?p z=q!ZOSV8I9ME2(IA^rRz?hDje+N+OG>1QJtLfSjIasf(m?= zZA;0N%!d{49rC!hje{XMUWJvJ>0;hjxw}u&7r0Zr9s#R`xhD01Dj{_fjw(N{b=ZF} zvsA$_zWHmvuErShXNArBkT<8M_Gul>axEPmv{l^9YfEnL_I=+SrdgN^bJtfUz z2R9}2I!**9Hp*E~KWusME$rnWlsq1n2ZBD&_1PVr?vTxe{*pp|iuseI++l30X%_@B zz!P~1FEsor9Qu{4u^5Q8jGEYHpwoBWogZ=ilNi}^rgC`<-wTZ4?J7od2?sSO^9JZ|)mNxv7*Ll~B+QrZl z;9i=%Lx@wfIUQb~GT{o_kSDcYm1rf}YPh1NA4Inlvrg-PriI+HlGX={?U=4`wjes5 z8Jv>LLn4Tj3hfmH9N`ky-52PPZb|DrkH!m{H9=HUrDN8fn*~=mUu3nqOeCk`xSZqb zti>mVF#9|!=|2>dvh_fX`ZuflS%G~_|CR@Wo2X}ox)a>Ukf_^gjope>Y>}{eI?)Wy zH*KTgZ`jHAjwAf&EC&%J30sG@=D)w!;KNE)wr3g(zIl%>n1)!OD>lq-x*AVM$M;@h zj92mw^CPyayn5h&;%$r~zL!Qb8{{Z_Y+Va66foK~a+D#Jc#ij}Jq77{MGlpQqXfm) z6+W(H^eKww)m%0wlagd@@&$ce%n8v%DGlUuYrBtYUSXTZ8NPECV6>tYb0>gRiz1|#u_{+@# zfRGQQ!Z^M~h=_huQ)>47x&H+wBuyrF?84=dR0LS(wuM=dxhYjdNIJ~nnqAuhTb?#- za-Zck?p8$dWhmN=*_BYc>~-sjsRDR5u}t5mr5tlE0?BXO&{6Y%%`E;o=Sj}D>e1qt zTDVh$Rh+pH+Ko7v==1dcbk=-im&^E17J$t0+Pulfc{WEG^$4>~*Ka<9_Mh}oGt~3P zZ_tjT7;698&&&$mW&SQKSiAXPVh1!W&7`J9*NEajmQ_^uM82PVEXl=T>x&Yag3EU z;w0-D0K9 zE#rNC0dNhlYHV|$f0NIW6S2(Rw$s)|@vuM8|p)H$G0PszDfL*rUWLiSmhY6<4cg@y&^6DGeBZjzp~iRnyAL4n&$O~n^EC1*Im z*p7YWB0~kLWkqcEWC8Q*^acg==f6Y7fB6g!e0X(r3B)BN_8pd$O%?&<{tpDd+%)a~ z%S_YFDTY@SzA4iK;hvJA_NToxhLv0Xm`)YCogLV{j^?M zkZZ4I-wDcqXM@EWc9$;c4i?5_#y%$5`9(qBz~< zZ4O6<++y$7Z2z5zUL@^nRzj^2Nr6z9r9sTbnUk}sYr8@M;*cm}EH;np68%Kx8K5dj zp-5&^$g(nJ0DEs+ziv}bOdi8Yx4BbOE^a~DgJOT|)h2`)2Ct&H5@Deyy^_h& z67`t((SjSI1VuTlPG!itP44H`ojG&^|942tXGzqX+VTLwQ%ikuT7{uoxS1!j&41&N z1khLj4G!*9sM(^(fdTU$C(Yb9NAY9vRwR3mb1)l!m$5>T3Pu>tAhUkyncN^L;R3-T@8fmvk`!*U@4-#kEk)fzx2Q0&ozGFhRBv+ zcuD*J^uK&uA$q*(KVdn#X$22wYbF32y93~q!Lm@Alw+k8yJ7oZzva^$0&K@g^bh7g zGBwHylv8XR_$c7Erfg@94&uF)DVYmFTK3OK*zY58{%OkvUUeA^^x)ikyV-l^*er(z z=P)zltz@XkQI>%2>zRoP~hzpDloZo2G<-fnf;_3=qeWSd{_{6OT`Nsj^S6`KrbPVNcN&$Wh z{YS+o=TU-$B%j#khb}+Q*-C}zCjU+U@*rq}uW;XCA^9Ag+(I3$b2fgr>PsR=qU8OX zH0kkb3Vn=UNB-fD=|^b3^8?(XT50|=g4pG2E0uyDO`c=U?j0nr1_aDn>u*m=qZ62& zjoa-@{@I#_X2{BXDg9Hg6}ByTtP@L_vxn%xRD(9~8>uBDhhh%&B{ z9GLi(dL0PURZQ}Dpn@c$N{}k%r`$v+5r3{lEz(iG&6)0}v>crb?GN1Nm!H7|6jar8 z>OH%dmf+8g>R^gvGrl54!e|LcPM7zw{cAw?RoFPz-x-MNcUMPmb&%J~yl{!!u#l=_ z+q*+0KX0u?CM;OGwtNY82Y)*DBkHH@?@28>CGbIHu1`qr(i8`p0BCv!0)FFC|E4W4 z!GP^z47HL+lJ|>N;qiaGudj4;P88yo5iC!MoPYnBZyMtLK|QiS=iK^81#O(z$Q$=2 z+fSnt;9Y(oKf2=>7(O6yz*T*(gsCg$+g{EN|2co5DswVGV?0s zWO}P;eoii$ps_&5*FW!)ksidtbgG|SQcCl0{>w~^wHyKQ=LCDih??^62^IwSg-wuP zO;Du5Up^a&CQasl583sfSLiy%N(_e-1rDmNcmKA%*f<0KXJlpJbooG75I8I%3Tspq ze_z^uRk!wr{s~CZ_%Fyta~f`Zv43@WN&UF_Y1=xc}~|2OCBQphX7(S zrda$`)U#{b_7%h#vFBNFte<`hNpjvSgs6^+h{FOKZ6kWb$s59E05bP+=h+jIK+N;G z^xil&z?q5BG6?_boR=Lt^M6h1)5O5YkRpjD*p{QAqSuZISnIXPZHe(6ZGJUVM<3Y6 z0aXT0&=9W`?;({k!V=Q5R}K&6Z#NpDd;%{%m7gA9)IuwZUilK+UWAIKFe4UJpAVAm zUSc83)Rm?UsDzcDU`nw(c$|)gY}>vFunW_Mc0&5WrKy0g9S`RW(uboVp6?~5%o`m= zu6uN@*&cJ2$HxmezYqczCGPg0>(55q9w$141@fPMU$B3c(*^eYvKXl5E5mb!;4YkX zSY;~juFCoFtE2!d7K#@8PkJaBIclCKXg1uL91E###2rZtUg~?`UU_7K1(g8zgPu&U zi^Jt70$MJxb-AK>2N!hIfO`AVaPW*`^biS!iEUFaK+8I$jAj?wA$*6|1)0ACcI0mC z=-T90V7-=8ITwJ8fM9e~SJ}j_dl=O%>H6snrS{alzU^3X3mcDRuALD9+ZXVUX(h7u zRX(<1#4=XRFcuGmY#Ix!l4(f4F*|=x7-llSdDm?0WVFBNog|aGp5S7RvF!4L;nRS+ zu6~Pecfctj{$~UaWj!VN^7u!^4UyzVBOYZbE&s}t$7m;;`go(F;JIDB^?v6n?)~># zLTy6HjR)w|^g#G4By#6>c_PYi_x1KW_$uXUDm(taUA7h>0R~|^Q;x} zF+#TfRwX(tsP;`N5=16iPTZI^VnG3l&Q2MW##1q{Y}GSLVx(>XDiiRgJ>3xkt|dO? zOO?>D)+c4%$IOwtt`kQ9(aD>aD>1lY*^rE8sPmN&J*uS^(Ea@FkJ}7XZeA%4&j&hC zWfuN-s28K_zZRW;tae%gzzUUGU5#niIYKLQ4!t9k3hQ&?_C$5<7pU|X54uCfWBNm( zeEni8{!bJ{<$I$!CR%h9{JlBWa*#$NY=K(~Z~L_z->cK}re{;LmMA!bh@JPV*>Z&1 zK~**FG2#eKq3NGugnrG*@_D9nI{M%r0MBPbOB>$Cf*i4Jc$fYE82js}IF|qI0u2O* z;O_3O3GNUG?(PJ4cXti$?(Po39R_zuaCf)dNzOUnUyi)@-alupp6S)o)m8P`y`L(@ z&r`WrS?!$!%?x1vlwt-KC^H0W!HZ%}Z*AjZF?Y>N%22W7s`KBtc92x(-IEH8cA zc`>Q+T+QwdpI8w%rUL4Q+&AZ1xyknHg8{Mc!&--+1v#$u9 zzL;F3aL(80s}P&FLa0+!X~7DzDv_YM05v*Y@gY?srM8UXD*1KZnU9b zyZN|R!)^7ZV1U@uo_w9Byx@pQTpT-a^uY)q^+<(`EDHTGkrCf~6DGE`5tU(=2TtmQ zucmey=fh+~EX|uo>)7*ctAIkXY{N{g&Wa$R(!dGh99k_DGwe^zeEM*O0jXvC(JI*i zV~QH<>3)p0%7Jt)=&*dM;m*L7TI56gF#|`h+xx}C&V#AQF;P-O2{Jmaq$`n_4(zL4 zQeBT0&ISC(D{v5~FZ=diiy2;7yq=u-o-b3}&wF)vd*f1!idFHKMnX2x93UUR!4p)toFI?1L+z%W{JE(zbPhTP{do&$LJoTm3abNsz#oEav89~q;KH^ zPXOz(^FmitCMSlPQigRg9FL&Q6Lu_%fKNJO9$fgr#;Am37tKTb9*+*?;xN6#2KqGd z_ztI)WG3JE;;*0gK4R{|$Fk7XB(YA+r+_pcN!R5_qOfA>AlkhJ|*Hn{*rAgz_kGXR@G=@H=mRC6#qV95`WU>X>PeF_AALwPhWZLW`*}AIT zV{z*VsHoBqg$FD0&q7R$n$KHUu#Y%yx^2{~aP+gjZ`E`fa$iRl$v%JI6W3~ar-veD za9I30`{;h%u%c&#>L&WG`f#aEOvWBznLOR*Fua^6Y99XJt6}!;wg_R5G-HF(mMPka z5pN!ajg55~{5-QnJu7~%E0{qalp_Pq)b3{)i@we1%)Vt_^BAt}s$?w>8oRx*uhm|8 zCn9#K|C(Wa1*=2>^(Y*7WJX#@!Un-~V!*;?_gFrho8ZkG)Mckit?R_xxk<`rF{&>z zlXJUn*SHD%F?^WLASW4=x$Nm)-HPmTh`;pI2m3HGd!33t6_}gjfZbcEAneryusY2c^e+$^qBy{ z_#6gV{Ik`vaF?G~DoAKL|E(8kB7ohSp136knwPxgIp%t5GC{mKY+K|yQCV!f5*YJP zyzSeMuHOVR+1rVm+Kf>;O1>s-*YC)s6Nx`v>Lq3yYVYeqCjx-ff`{OZ5!l-{OkN2;dq2Iybl|gbac`pVHZxNpM4XdSjao7-s@^20h!33s*GKKh z$-s?1W3rABx7D$aA9vB<9ekyTd?y2P?VeE5EeJF6hVQDSusZUkXtew`7MhuHo^d^s zvUkKY-5?`54Tk^mT=n5r4C5=J zN$-TnV=`+%Sx{#0Y#_t8Q!dc$LV&qrvmgYl4uQ`7Vyfz>1{qv}3$X`Hp{0hOt3i7< zhwIc5hkh&WTh|;D4S;{UwueW1#Y#4O+?N>^H{FG)d?!nPyLc;aOJ>$yz$f<1q&@%w>n zreW7zZ1{~+{3g88tDQ*U>`BWR#`|@H;-xF-Pf|&YR-b6GEG;roU&!gcPRo!R{79_0 zudFOdm>OX4;bvaO-sj(hRcw-L$Jf|`tu3bM*x33x^%kncOmglR(@1{(&F;@41B3 zX?*cq^~`!MdSs@AMQO*si6JrDmZ!2vi`|aZ{te~*`oO^k(m%MDmO3KEeE;of?|aMB z9OTg)11g`ST8{Rx7I3j{7wRp_>@wAYg`%Hh{k>O^Bc=j#zAkpV^nkhSJC+fMV9ERC=S|t z%|5V7G>{spW1SzM*w}AsM9faqIn9EdlHTFN85(QTR5a`S$CvjdKsT$k;eijG=4UWs zlJSAm_3LFiy<#lUCvk2CV51=42XQk&w3ufzOsyxe>f_tM;Pdj7}okq&P$g>RlAFhw1L z8F;9VWeg0xklrQyjx%VhoYY{G3?5%EM=VJsntr_7xP|J6i*A;EdS(U!H5_Vd6F-XHjxvv%YGjkjL0^0Lo{~khHgDS&DI1^o9RIOwjhnAHL<*A zVik3nShusNvKqn^M<8g^Rrav=wb3arxXJ!>CGgSgtj5VvG@-4PkL`tfu7AeKtaZqU zbmcP5(Yh)OUR|=*BI<8!4-DkCz9n>_d+7^@t?rh!&F(SQ{^7(oW;~BF>`!#>Rh*F` zF&y8=w-I2KQD-Yy0&D{ZT8Rz$Faw`;toxQ=PfAL_>@)BBJZ|PmShH##+y_CY zT(KUFeAu=opb^<%&w_;Cf)3n#adUm>Q=g$qquN-5-kR}^ReD&V8EFvxpnLGJAPwY< ztKts**Ps$-{lQH24-5W_jZQo!t5M`C?$Hf-G$m##cSVI+MXfH&(oz^LV^-^27Iee4 zAO1GRA%a!z%9MSoPD9D&(0D7P-Ouu4qrI`CXX!H|un-`Md^GvSiP}--yCxaQ86DJ# zi(^bnSSCV0?S;0+u2m(9lkjSGi$^>hyO_ZS{zYb*^(pH4Vsjz>;1*oHRmR^7>Ry#3z-Kxn6niB$d69JLJHoVB}$X{+w(J( zHrOc&93&V`29g)7!;)efF4%)x4NFfKT`;xBZD*z9FKCEp1K(^F!BCSOhm+!ab4e zIEyNG|0zh8T@~hm)+~IttUF?gB(Iou%LBuM0C0EHmRFE3{5kKK@%q&0r6{#t;U?}p zvBGiT*n^gPXE)dnWfb4>KNf?)hU%*l7gX+{4A(3e za`c{FTz`ZR`$3e9D>6_Ues0O0lhPPs)Q%akKyEGSs>26&bLI;OFjeIp?-`X1HkxTN zSj;ui9Agla4n<-bR*30%FVFm#jNR35E#D|PM!Y$g%W?3bJ2%xuW438y`WXQBvf#aR zKr`y0M|`-x9?ETJ7D|$mLOK&|Y`@{IadCKP7DEZ+CBDLnbCvtlE2|VV#sRM@g9NzG zlBp>#MMzEi)cj+oh{*_wPvwBuH;G(Lk2#Dp0eZ)J;{`b8#bla$@OPrZ zX--v+jOK^hmg@=gMWT_TCT<(860%>Y=G!+P^B**rAB2RhJdmJsNH^?wLMw}=8kRAA zfSh1GYC#3RX{?Gv`PgNNR_p+uMJs5+2HQUK8DswJ(K?=|7KDtci6pYI7DRh`-;aXs zE5m2cAil2n(6-l1qova#W*cgGjW)BpHe}#p1enu4sL`iPGG~wpuO`Q4_GM08G)Q#b z)+E||><}xpx#I)6rNwk~ePg&f&s0zBhLn+7(<0xU7i58(T;4SCm%A1;2)~p}a3#3c zCKh8s{;f|22W{t(02v!kv+TQ7Sts_F;Qh_N1Yj0uBuOLINpZf*K?}pP*@gjV)_~vSE^kA9Gbm$ z|MB2)jiOKEobf97ViI;t0|f&lJn)qFG8&Dq&8IS3D;Ng7L4*#)ve_J`m|ViG@Hlfx z?fRfhdv`N6PHMD%BMtXm3QjM8w^yMObjn4jx%!%@)5eh5q(z7X5^kBjt;rtS2ZAwo zOCDoz#bTk{ykVY031Sw}j}Mc+Ir3eJf@;Qx(u7p_A84$^kcKt298#$7CKi$& zFS9`&T)35c-O%KUuXA;nz}>+GlA7syM-(vq0Y0w$-K|UG+8l~tdFWnRL$Ik24|uj? zL-0>?0hY>;b%n3-ds?oZty{U=a7HPzT3JbQQ^kWzlH}ngS2t9n4VReevgr>HUxszB zW=p}2sWYSLj?M<(3}08;MVmsz1h3MT=eiT_02e0EmdpEvF7PHYp@HP$pbkOGaLAEh zcD^!FTj7)L8f{_$+!jE^dY0h=Kn{A%v!}C!Jf8*N|V2d*YDZ}F#GcI7}LntI()q@(ocnaq5NdYKHNh65~ z(qOhTFhf(I5mbK=)2E67x07l@+6Y1ww0n*VG7i9(BOM+ik~cr6I?J zClH2DsBn9t5{A1I>@&ZTi%SEq8!iIx@aFc_?sy_*Jm;gNenb*Akon}n3MYV`5_*(1 zc=`Uj8Y}ui8q3A0UWEhCPD2sZWXQmPWb%90@@nPpTyBWbn5e{&-|f7x9OAsfz}%}y zIFrOa${-hF=C3IlC*hmp#pPge#&O_@TChW?!Q!IejW0`gUbUB%%dpWqF=xb$Fe@z- zS-NtD*N@s_zjc*vkCV()2O^cl&0#hVfUbS`fPd+orRPOfP5ls#tInjz(k#b?p)nS9 zqFCcH!O?FtMaDBc{%~2TW5b>5hjj6Tf0Ni<@;SlPzE`%Tp~PK%Tg%NhFHA^sz!GI| zX>_!~h#wQ<+$#zVO-Jk%936V=MuG#9*O#!aHf-;HCv3KPYV%=0`E8n!M*E4HWTSGr z{_n3jY(#usonzjjR3ibhcquH~D8<)&{1i2KsfScZl*diB!c(jVw*V2K`K0(s*aJl} zgJJoM$=r#iM;jN{>2ZSrDxvsE=M)%U2D~!^KrR(*-<-D2SQJkI67lquP0ekN zWvnQyVdFeWfey{8U?K9=665VdPom=n*s?b%DBiBcI|rx8#d$X7MdMY(&&$b??4kj8 zuecjgZ(c7ktGuLDG&A&<}=q1Ptq?r@2AWh^n$UJli;|18pusubldR1_td>38k>^a} zXy&<-)rj7yl#?`Jq5beN-CPY;*;IRap7p38-i8UHSMBnGcrUySR70hJ#`*3fdlBot zRXEt^jrZ!qF!AN#;leMdqZKr=>{v89H!j3=#)K`_5`5>6Ouo%V3`x~#!ae9M%Qp|#xzzPTsBoJ=-;&B8a5ons}U4XbKk;koN^I1OFTww@0T!Y#0FK=QHK6y`sf%~ncT z40KlxrYIgq23oY>WyZSYFilrWu`gCmfo3QDD7Cs8%TJRGx-xReL2>LtG_AqJ)BE# z7q7%{g3Y>Iw%dRJOL>>fYglcIrj8x`o!gH|KcFLaQc0?{LUF#5ODjHEYn)qLy;Zd> zsH}rP6K-S8I{FJey>P<_aJ2whSGHXPgIDeJA@J$OwKekIRE^9EH``{Ln%%iw86D|h z3#wP+CBvrAbW7^CVZTkdj6p#_K;GN$Mo8l39vi~~q0~70mes%!iyK_a!P^f<;d0vE zAKk)ZZx!hzqBEVRrY8`A<%!_3lfqoFzYO4w@VXEL7|d&@wn^5fK`T(kV{JFtwR5VB zOI=uyJkc-y!RTE-46q(n>a$Dtt5mh1xtVOUfhkg|g%?-S5h;?cSbaFr=hKXrV(W6D z+tsERG0Wx4SMrPd4$eKv*)MVxP8;~9$1-a|_?VkK--%;jBN`i#&1WR@M`1aa>IVMF zzl`MPoIJsWfy?MzLa1iki)|-m61&U8(rc0Xzf~LUYXX*K^V_Ed&Aj8BZeK-23fpd| zcCDW%AZ?mG_>c`?$BetI zY8o3g+)dKq#2j)3OV3Axiyn~V1}l!jJ^^8Y_rxPX!r_axDLo}kB(;uVS;6=dSALKr^(Xh#xP<*t1 z(cm{wdFJqGY-@cQH@j1>Eg7czZJH_$_IQ2ZAA1dXTK9Q!vnLQ%e!Ze;of^yH`Q_!n zi0-;EF^%#MdWUx^L%FCFGZR&FTtjks!biMup+139GcC4=B%Bh0H?#R8XoopA@#y`4 zU54%6M22LM+X8pFdIOA_n%aUUf|~EhDn*Qpw`SJw_-+IN$3Z$sIhf{}@Ze|*mO!I% zb=8O#K8FoZR{i}5f$vJXO!-lwexXY=d|o5lR}aTXF~Q!-xh8=3bjU-#~)GmJnECe4^vgtvU)~` zg@gNBTV+A!?1Rxs34Hiu=(6_Ki<0BkY7lY^nWiWIOu%~3&~kI zID|0GtXg)^p|1Rsl9Euv>xWPT*d?K!0vVS>qD{nB3Y6t-!9DwKLG;FvYRaM)zYs3O z&RjNV>R2)87eq4xclsfw^A^rbPc#_$au}w%9r_K^e}Hr^#r(ZT(}mn>4w}w7BG}_9 z`#b+Lo}g5otgo{U&|3q2U#12cIeMbu=`5`QF}`9aM6)O!*e_?jI6e+~_7Gu(k!Z=#5T{Jz->`Z|&r?uBeY@2CH7~k|I>fu?h~%Cwb<7XMszI z)XvjEi)+hD(;^8ev(`_00#a+zEd+|do-JvD(jFMNR{;j@ul6=Mj?5Omqy}jY{2#0H zO-p&>zU=V*SjRe(UF*HWX{iu2rkwjVtA`kzP)r!WM!!$?{ye^tSa+RpUa7;D?_a<5ODg&4Ls$|6UpBGpZA$#V z4%t@+wWvQ(UtiU5Cf1$KwVNEI#ym!{!scw*F=4?VX^8vN938mmBW2VVPLEeC*Lrdb!*CWt%A8@ge-=jW} zxE0O^T;#-cQn~z{h6<31bPQTxH_^?_y_A^ll+b53D$Iz`lPo1}&^9#WD?=#Iy~d_R z=C0nIH{EUYVsIfyRyiW_6gMc)#5HUs|2A}Ufc|79P<2BF`!=9|V`SsX4~3;2AyTw` zgX2w`Il+JMF@H@DEHcSE1EWKt{q1t6e!BNDa()ch`)IpbcyQ|F>Kz1RW}a!Kv6!v6 zXLwe@-$nili@7>TTmg(hG^a$r&ON708;^1xg8^0Fs| znMnmLZp)&=a7|;5Gc)s#4aYFo6f#0ZT>jo&FYX=>^V+K3wn{6Gv&#vCJxsp|MwK$4 z^xEhip421iOuqCa*$jh0Sg<~7E#gl~tQ}y>=s^CJ8!mo4kqUayFEwLfU31#@1Kncgr3UIc3nWh5F+5A5j$h~O$4Pu1EeA*ZhZHi* zM@6V0l*rfjq0bG$jArwS!r-ng#SEV_M0aP$hx$(z<+u`i4{FR<^NIUvZoZaI3iBe(oF@2qHu1rKm=={Vu_PqJpC;R-xs5Wz%q%yoK4? z$~XABVt;b5m;g)*x@$PpjkhI@sLRv%Pnz@AfNLo;o8$oFH(7P6P})Z{9_{3Q4;Ck5swpQZj494VcGq z;UmJUYQ?phkv2hzwCN5tF;Z)MAK9h!QAlHQh^%IBf$X zx=4KJ9i|lXV9q27MxBgEj@Ddr$AeF=)X&ja_aqH`U#8pll0gAtsT{;;I4-G83!!RUehtxOC8m& zqb|AIA&B_C)u{SibTcA8?GH3sI_;1x`F*KcEJL~m^mnk>5m3yZS`aGt1nOB7PkN67 z*^=Yf!5*qG@&X=1bYcU_1LWRVUXA=1S2o-Zb-fh2O#NK#66Q*u|3UMzrB8hbIxM_@ z;s${~Z@{R&s<;$0-tbWlR_H{}kbX(@C3F`=d?Vf`e;-6qHkd4qPk4I(BNkEOl5Qbx z-wj)J-~_pzBLfdW2`pO`B=;Tv^)R})ed0gk_=+LW;YqtbLDy1sD~ z!)v@J4s-l~^bP7lc8+>%%AvKd>J{}>5$9Qc^fIt{plGT`xFG@OJx*pu(thv#e|z}X zV%}Is9|pw@P&<=@&>eO{h_*8);6GRj{0~MA9Yt~tz{ghhirxf@qJ(_t%97q&?ISMM z4FADp)YK7*pDd$jR>N6_g!FdG+EO8~7vr%h)1Vf%VT>WR3I* z3bkXi8T|6xcFL%OgbePVYAW zRrkGsV{TZhbw*8Q{LPpKFKpSSPdvsef$Ky>&+;)=2%goM|8}{RkO+^OC@~VxYRi~s z)R8OV$=`Wf#x?bQw64{E0zR@v`~Na_^wMkw14}8vj8Xt92Hhlv)dzT?mi?0kFM`(P z=~wXVl2=|>XpwH|9fq|-Y&u!Bnl#Z>;QcAqgeh?BG8GbED>ok&YhS(KV&G`04Xn4G z1G(9gu9t$z7beHy;eKJQ%nAR&yJTRctnO`QPqUFmf94Ds;FLr{0-0T_%i**DD^v_M zesAcCrDh{W$S;L~mMLpm)cLa{vs@of4Y&T;;Ty+&OP4nI#wMqn``j>W<|+$2V0z+QSc(Iu z+Au9tYkC_Bob)ehUZ1TQZJKDrKxXp238o({Gs*&A^p5Rz zi*JqiMtZ0-f_cFaRTYnvt0?FF9WuEzJ`FAQeH4Bl2}Gc{L36qe#9Dq9v4BhAknhBf z+_ZvX3DCMpM0X`QJ8Gd!dnC^sqZR7E6d&Fv3b%ywJy_oAXiK##NPM2b}hwTEmjd@B6B#-IGS8W|I@^9X z$xmTusEzWcFr=PeVq0?tpjykNRQL(=Z2p9KHw+ftb*lH>>g{cJqGppL0fm{Z zs#a4>4+1ebKYPB56(4}nJB5Zu#$Mv{!6C!5U6Mv1^7G5hRAi@gg6O25A|m`s;Otc! z((d^aH6Uno%Y=4c%uWT}&>^Yju?qYd*<_}(7jQihg8y^eNVOe4~o{~$R<%O6!{&;@` zN?9dvFh*B`qH-ead&E}7=^ZD+Rj@%TH}E%eE;|ppda5ulw6^_J>Z>(n&=geaM3@-E z(>r;U543+`rSMrGRyu$_LOvW~DX3DM!k9_qi&oyl9R;PeE~~{`_z0eF1@JV4%Wl$u z_LsUWOsYMC|@3Irg$8;JJ zKWq&9cSY7@DGFjp?x`!C=u^2la$|C{Z_0ubZvdYyQKa90biyYvIg)xiSN6d*R+Hfv zOd+$a2KM4~x2oU*bAkkuM0647L0EDxyU}UwAh++>Y*%0!(7(*4dGhj&+X1Xe&+5A% z21c&BQKT1fB6sg)4U;#6^fsvJ%Bhn%CK~AKrNvx$Z(ulE6}$K2rS(T2ASRS*{5jCo zeYBA-0nTvk6Z<~=KJn28yZ@AS%BE9pS%d=hwc7ol+oiXtabdzqKFf9Tox{qvxo1Mmt}x}&&m@t#@|`kt+B$ zaBI%$83PK_P6yjXz0=B?!28A~m)HP60C{TF${c4I^^6FLfb>RwwdEy+{gb>>1Rn?~=0 z$M|pc+o@>w zJMYU=DtzgmC*aOA4TT-!6O{Aj7fxiO zHuo{FjFGDZU!XFEc4A`ibq62#)o*&_*C@BoZI! zuFIEyS|`j%Ldn97O1=~lj~W+U&j}1UzYw*sqxCDq*t!^EF0quotfO?Dl4hVIJWEq*W#Go)w9de;uo?u<}V5T604m4=A_+&IRLj7Cj6s};Ou@T zu+9llEJLn;3P|QL=J}-NJGzNjhPx*m9yazH10z-cgMp!IOT4PK+q^NZScyDn;ot1B z*`JT?_^DtHmgP0>0R5xn)-pXTKk-Q-fvL^Az2gu^4@dYqFhbE8}S3S34aO7D}h zRoXf(_*}zE%inPltbB@wzw(2ZN){;fP0tI97sNIiiR}UDU`C+4Ifd2`VR2{Wcm`(^ z%EO4c_62Y5Nx-RB-LIPk7#dw^=$8dn2PrYbzxPmU8DC|*o-f4an4Satw7@@{V2oy!0G^v0kCH4ZM}DKohj|I?ceuKZM4-obC6{Mto!RNB^j+FFs{iN z?jJ&StYIPik+7Ko$>VRf44Usv zuxjM4F?QIl+&(%wVXSiKjO2500 z8OZGcpWapcIrBEl+hP76$NTn3449n_*xfb0KA3@QTD5}>c<3G-l?)S6-wq{ABMW%> zrHAq6YVq@bm7uQ7j$Y(F_a{R)9sECHr1Jlp7_IP3ypKO8Lun3$zD}!uBgvN%@uJbV z+16Sp&9-dv?6KnP25T(@1}+uNP7SexYmK#$2@jPCDaru-!4-CT_Zb zbjv9VcLpRMC*zV5AO=ZnO?=vmzLc5GFaowZ3pP!e*Q?U8eoj_8lr4|dQ^LTRtU^S^ ze;Ib`JUsG8xGg>=`C0|Awoy#^7}n?w#HunANAXVrMpipsZPZSa3Q{P4f*?stx{`$M z*?_IUtlUtzwAAisV#7^UX1z53pIuDDlpWS@1%4|I&;dH=!7`9ZqYv;DayAk^nVLDr zV}cWq9!SP<`^NpZjYNL(94kW5V^g6@j$>2%w-qM%FeoulE(R|9jK76>f{f-4g4ouL7f@%H~cq!`gtbcHLx!` zG+`Nd{>^Us>jaFxX?|~TEUm&!cLn|*r&x;w9?-fHQPcU`koTL_`Bh2)7?j}XXT2i) zf1Kh}6nMaz<$&scDQdu9`d0W;w@%Yfb&dJ&Q}8>J01r52Hz;TL?e_fd8i2d{DF9XW zaVaL?o2UQ&E3?~>fUdi98q@qgUCKXiM>7>v_0(=*vN1mCf1lz$*gf;FwEzHXz=I3h z#xalnws_J1y-8d}1)>mpg-rX z+Q9<@SAavU{Z)9+|1rgfiRPo_94M84UhB733gCS`vIvWC6dCejgn8&%52?dQ)iPP| zdy7SOpZmQwoOzE{VNSb`9DQ?ZSK|U8M09Qn*i4@bv-=+-Oi$A`ib5jjl=acfK=7!P zpN^bfeOYzmoW8AqmT{M}UYKYw1nAElzEIjWM3q>Kx4zuF-;mwVx0NdX2RU?GZ#&>F zwZqWuo#m=Akg3?SYbN_=gW%u>8GpyubIQu^`GI{*_08Cb$Z}Qg_Y-+%hHE%bw_6*v z{dl#yGsGPcedl@9x(mZpPc-lL`x|2Jg**(<<2o)v%lD6D%E}Og)>h(>;tI%9ekW92 zBHwxJtC>ubBEX3Zgm=4GUK+>W-So=-z=x7b4%(Ta6-5xjOO)D((hJYE zW$J?ZKqlHpDkE^aDPA`vmcyrpXKx|gU5gw5Ty_P+7- zGACK&U4+j6g~fcr=!>a^c5xu9i=a%NCyP{-=OD+W$X9<{&LlIZ8Y=%C$ZW>Yajnn~N}?tnPx=;%hyn0u z3GQ1_HA4AE)pDLWQ(*cNXGJp~IBKA%7dC%LFIhG)YYqI{3&Tg(Xo!ERD;0(ono}8~ zyz8|_IT+T2p`)Decsp!Z?P{h3>V!5qn0Rw%;Nv1b_n&|({8iCm>N@vgjRkf39O8CR z6^Xx(?NseM%`5zr){dWZHLg3M7{;u-MJ zHF+^HtYID&)G^Nbq{igjfJ2LvkbTB4W_?XWfibw6+w`U)9x?~b*Pm;6sRA`Cj)t5FM9RIC4$=Q2mMg$;@a%Buy28}hd4=mu3z5N6bsOsDiQN^1;@&HuHG4^ zg35c;gU#&kL73lM>!2WNRhbrHp%lj6*m-8&Cx1bOhR)kYst=pFLMNf>At+4N{bYh} z;mP#V^Zh;AYFsqnK!TS8ygVpzbQG!o?31@l}rPV9mPJlQXsw zM4fVlY|WOm-%OYshlWN65s8anIA2xPC&IDKQ4&Iw)#3|bR;)3qw-s$SNIpmyU@QtR z9j7OqtCy>)3ZA|~(X|+u4@1tI*x;%4jsPQPlryivI1AKt!Zdx zfHxU#9FWqE^zAb{;&PJOj2U-D!kemWE&#%3S%tj*X0LXU5%_l$|D44Tf?k_+e|IC! z_U+YUn>KnQ3bBHZ=nf&kyu2@y71wx=ns3D~P`XA*J!CEHwg_H{StSl`yaCb1DPJ4- z31hcT@TBM3PH{DJQ)NLJe1u3&Udw z1^B&GmFE@eQG)R0G+OxNigD9-6HBRUly{ibuD=hb?gx^HK*o5-bE^f=z(y8+f8vjb zV8gMDcQ74ohh-oeY#?pdRzEW3br)lPFCQxJEyyA_Uu1n`Z}50K%bx&?H9yvU(?0oE zc291M2a9W_$UsD1mByg3rQ_r&Og8b9<9GDd-%T^onfQ3GzOYU6uW6Z&IdFnwJ6>>P z{}QB+d9&=G%w0J`Prbcw_t8S~5nrA(1Hm5J@jB^8XMEWO8v$lqyD1X7*i)~rNlt}~ z_H=Mq6}@U>^&+h8h7K(61D@*=DFxvOJD4eu3qh9xxez@2MFU3YH@TOCpYgd-c4WWo zVvxpQQ;b&CK+SALnKXgXR0gsk#AD^MKVT4OE>9(*lkrs8DLvKA zn`Ou*YnYQ^Y$@ZwhJf{js5rqc=sA+=7$on;}C%FyP;Nuo+qG*_YcSjG==x&QJ`+1DK_E%&q^EW3Y z>hbsmb$pye%}0}pPi%>aE(Ry|75JmW5Ntn9BUq}RrV-ye|Imqq628D*B~Gviz0b)H9$tUaS04kM~5J*$+H7)*NeyzjfZ(f_G>NvQm#da(!}PHik0W7^3Iw8DjS zA`EYv)^T1$4*}N;cv~?gnKVo(JkNjO*^mRw|B(`7H!b6Qs8XhE`rCSjKg*IJBESG2 z#s=e7M-*hPz--x>{#m__-pT|d)0NyKY!?)W-eU714);gM#(`bG^=(xDrFX_cZvlUb zPh$GVL?x~FVL-T}Xu@~Zz;RNAZ1n-AyX^*vQ*l(%tt{GdFa4#VOTzngvBiypu-zg( z9l|3vhKHcF9w8?79-f)DRrse5wC>_jUjiaCNhM5*=Rzx}x$KZH688#G5k{X|$e|x+ zfW+E?87-C=3U_(w`YSESirbVbS1DsciYK8NmN1NyZ?Cr**Ndd!1vOl=G{jXet2Q|W z8sGLxyT&O3V_!DFDIN%$;b*60-t&s~<${?W(Pa=ENxz0RM-MjP`l_YrdhB;KP;5yK-p9AZm(Tde;a zJe5KD9xet6DljUM`EqoV7>e)=mJGzUSGh}N3H!5}e zmoGGijtE3XuOnygfUQ~PMjfy68t`>t5QEoGf&y~zwXZSneDH^_lulQW2}NF{6c!Ua zUJK>@qg(Hw*ryb-n7c@AG02enTfZ#NPR&Z}xV@-GaGoJ^;Eq#mQjly|aMwX}=31B2 zOd*Zzo~SqR*CyWHxhd1DrSMXLqYbJkQCF3vTxel*?#h)7Pe_kL()nkqxvgX$hgd@^ zyjTe~0Xn8@E8~%~MKBm8n%^bAEPPs5?tHDEK&7TK#HruQDJbNv7k&G@isgx zkaxZO@Oz|iB%vkX@1^JJSFqI7RKV(L1h41gw?qvqUq(I`SJ#g<;^Ev#hIIkeI?w05 z2-9NquuxE{ANzks2I>Ed3~JDCbK0qQCLWEPhyc@>5U4Gm@^_+#;%4kVsmW_00l$xH z07%~Ewtp9VM(@(@ydTS;^ba6JUN$AVwP)@;9a#s}^@bt|Yfl0%d24ZF*m?rcT`5zB zZ6SQ8k4taKiOnny?(#_Z$@f2WB$y=g z8gkq{t&f)Wo$%gpI+FNOULm0%5)%7;Db1?f1$IFZv@)0$!a$fby)!|CMqdl3QbRha zSE)5;pRk7lK=9W@t7obDog$&2hEV?$9;6) zUc^fO(Fy(nfzTgN4Ptp2aOlwA{Pv&UuKWOmNJI-bz%<$JQ4E?cCWTEYe;U(lPApt)fvs{b?NY1e2l0wMGsEYYKr6Ot_0tdw{Pqxt;Lu%GUgd=kBmo9Gwj=|eyr8;Y)PIncCbUrWu>A&b z{zNA#V%aw+BXh%>^9wOPHI-1nP}x`4Ro{>VzK)<&2i=7~!f-{zc^Q%HL1ts`HX@MQ zPW|+IE`HQ{`%d9^;tfeF;(YmK425gt&PKB1Wf#q?rn3Hu>v_6=n;jIB1w+{!Vw`yd zS5K0wb>Qo08TKiWHnPOj<|<3xPdKXy?S~4B7Csbuy}zZQo51oBpx1esmHu8j2fPf? z)L$l1rw2;&(SrN=c5kmGPiexE+22&L=i#Qf*T$?$l&n)K&hOjC+T{OQlsV z3+X6UR>u%}__LVjpD|+9rFFt{!|wG|m(|h!B`4v0%n0U`yG zd$SwG~tU&_&3gi- zcP77iY$VkbM?$16dp^l=*wE&RJvF%l3J0t&`0B3YWTA!oqWjO6-Gn=N383{l8UL=s z0cCPT|Zdrm1=K5tlvh-N0zKgYE1V$o&_1|i7Yu-@%ESyf?H z4Phr6TpoW+X~){}d|{mJf)qq4)O%n}0~wHYj~TdYVTG6?q@+jZTHt#lrG&-2@!p3= zgn!GMx4*WO*TjnX`)g9xK>QSI6O1OQtF@1n9J(QEJ>|dhUl*Ovm zVEtEFomA2XWtqny&q1b#(I6SUU~p5WBf!1u&n+kY)4y?~h(V1`M{CNXEJ7>`mkyV| zE|fW)&M3yj2&`WMq0Fg8KuB|B$FX?xGUXZKX~+T0GLytch?NSQMh~2lD(FOlN5^y* zazs|$yO!(hM<&>>cN>><*{g~fO#TTeJ{mC8I2rz@IAauV=8|7DTl-=UD@C~b?8P}x zA1;D8KK>&E`FTfIxcdtzwhovRYFB_37jpIW-rM{-8`h3T{bL>>CPhWOMFN9Cc!58N z0`b=oP1ep?dJ8DQf}jpt$Oe=Jy}U=x^cs>Q-O#ETS14d2jH($y$_>)hCM*f*yO}g_O+Pom3cnstak;BTA3a+T zH?lpL)c2H!!g8_7d+Wj>^qC1+&WM@PBRqh@nS_-NgzRcST&+|m@l|tpmY|AID1xA| z{R6n(_AW}}H#OR4UApx(cjU?Jpo!p|nywdAVv}Pe)>~}XB&MN ze-ZsF^%W2xH=p=uXGH%IcI+f77u1zPRNuJg?e2-({5(wPkpq6a-zh&|x`0$9`qpDg zllU-+EKS^z&EGaQ`ZZ|mi-TV8_k9;7{N_;_iX;{WPxyneyarJ^M1)w@R*Y z2vRA4?$Gqe)rJ@`7IOeJ6{)yO_9A{r;Ow_GdaNgpO}v2dGc{U->ByrLSDTd3{%_43xiN68)ajpfcXB^K zKYsb!|A)QzjA}aT;zq{?Hi}A-j`WUFC3NY%NpC7mdhbnCKzb+AMF>cT(7S?Cg+S<` zDG*wyAp}SWym6jqW*lekTJK$V-EYsAKu9?Mz4zH?pIv@u9}majQZrJf`m{#-43op+ zkkR>7*Omhd#zu- zSfln7k=9j@`CSE}4qbvc*IRKA1_HSoIrYn|!SWin zB%pfkE<*y6C+PoRNaPm%u76<&i62j!B^7ZON`A!qszXLM5H@thywv?c!rUDV9_Pwh z|L67+imp#?;A3Zzg7*@DdVyx*-k<6*|M9lM;#of0!Ms?89GSR(>)yHIAQBYakgHiB zX%f+#-}z;^Hu`~(4WOgak0|C&7wNavYjeA3Qu#!FMI`i5YC7=gwRVpzpDWEIY%%0( z12)ecxobq)$e9|5- z>LE_Ms2C?tnp1axl}=CUB%-SS(dPz<532WQI0s_?7R1A1j!aHs>0ix|t(Ef^3BKf0 ziDY)vns|>|_a6`@grJ-da}Dl$MPnR=+gkc@faA+VGAojDEb!A{8|JuQ0(93fYD)hg zI;yh6shI<9+=(K!s*p>4W2gy1vB6~0vYqiiM0Mc@e7=vR#ku_Nf$`|5ixP4kNI1&P zOV3){%ltu-`^Ca*RHVk82d={*Uzu75{}V(m=1Z>uwXm-hq4}RdMj36g07^C~G1>?4 z$VA$#xHepZS|m}yhs%HU#z~Oyud8;d1Eapf-85X&F-P}S$}iEM?moZivH#B5{yC-C zKy@oIbwYxO@V5=I@Hd5*5)|J2-t`6=t_hg=Jy4Hi>RnBa?|<-i{>dceAI*8jsAMDM z1vx(#vftx+Tz4q1HCoE+sn)h_{z_g@ZBL{-g`d;qQ&{YyLfdKZ(wjr8Zg_2M+pWKv z^pujNp7N+tl)2aRAt?f;S6Z}Y+<{!P=9UHi_y6pf(>Re;@H)W3W~X=HU)`-5x z8t1A9z@}4?yRjq3ex?gt^0~AG{4o2+aeq4*LwRa_!Uyt_E$YA89wxmO|a;L=J1+ltTEe)T>j{$GO_diMVd zV#xjPv6ue~5QFcC73kIDjxCRizjU)ni4_5yJ_zFVA3VOtM!>ed~!1E11{)a-{o82&U}Vle4`$wuX$ z%Wmq&NpfMJX8*RjR+gsDbhx(ri|r&UJGV0|1&T(3>`vEuq6Ot4EcY+40$;lnj4#UZ z?=_>}%ic0a_wZd_em~AKZ}-WEPy@Fvyr6^HX!;iSJ--{ENvrm^1I&Mfq;9WB@4J$= z$`W*U|M924O5gv9Qa{E$`T+_UP)9!eXO#DYt1z1AAGm|U4IzAlx@MJ1@6gtvG+~ZH zy?8HMC1uOrh~+s6H^j$AdX z<4q|!OQiiroi}}<{E%%Y?yJ1I4{JLc_NO|pvtvzedVPAA;XftL=Jx7#Qw!z!+&k@- z`Dzq=`o7hL``ncFozW2ppuX?;2a{?^cq2!f9kB>o{lRbF`6g-$dS)raij%~=1wGuw z8_2Ze#u;7LX|$I8^!WXVZhrc;3yDieUc=N!LP;*i7{$M}8To^l7U>^A6tw5_KT5R6 zu7t1R@*Nm%=lL-xd6oaBqX#5wKTA>2K{h zP2=CDwvXtQpXq@cQ#H&;?MpyA14VAd_UmTS1ze7oD? zYX+1$vMO37<(rJUx%UUNvzqT@aPBgmf1r^h@-{+$2DBMIX7eAq8oXM``|49^96~;L zpMC`zUnjf^VSE+GuaA7`H)tULT-x!~Hlc-r#o@Xtt)ER6Q{&4 zibq>^RnlEE!W>*6xGm=LGCB8ODvBm5nP5JLfUd`pb-g#V zh1{4LlD-nwk@xWe;%b4k<*f14S$xa#Ac``*>pBnkuG`mM(oWWULqbwU6Nv9!5%x}5 zp2U}I8Ut9VX->sA$LzYeN-DwYN!ktkV^V)&-tE$@Z`(Ta!2*Zuj6v2eH&BMODnA3v zA6Ma9U-JI5_2m;U{&kL*mDhxc*yb1>5S&W~9$hq2@a79Rz4Vghy0V|W>=lK}3a_p( z)Lpz%XOT4d?n?c|3Rmad;yi_Udq5_+g{?M?O)_I=$ouiPzYR=3DKQsU%M zq1`Gm)$+aGhHb7pen*y`Td<~0F;Y6Vb={sNkX2OF5+HP4nhDUJs(YDK=C=!f zzJz76%ZwC7n2nK@(5$IL;hEgs7jnpgt=Al!^-*Ub{5{pjNsEI^N#lWXwb7iv3qcVf=p>ki! z5oNXe>Brsx_C5r{Oi4FDekrnUATR7oS&O#=72i0n6r4J}08I&WSHm_n&<; zCAXDHbM2?Nc$M+RZ$G`%T)7JS>?7u>im+rs1HQFEc;-lhWCk<~fGcQvnMO6}tS*2DX(Q29`ywrV9b?B@)OO;L0Y=Y~K-V25aJVVm1|E zBdFX49_aW?Ww+nZ>3<NPc-yd?Ig z?0=tyuuQg(;?Bdz+?jlozPI{uxU%HqA#NM?OjuF-Tvb-BT?gxKFcL)ID3A0F<#7#l zler|3H(+_VU+j#%&RRcn1$u(nD^DS?=Tp{G$_&z9=@u0oXn5bPYxbDqL_t3z>9$=q zwe~(mPG$1>ek8K2*Dx?EkJ2G8swep!UwzaSg=lMZ%NT7Fn?d9$uq47IkBv` zA{T+jb};q!qef)cZ0jMuo$<<`95v6_^Ne8cK{N>BfM&C&Wp40k^R9ILr%q{yaLEjb zch-K3)m@1g^;~iFB~AjSAEt&iZj>i@!~`n#Sx(E-2P5eF&yOfq7U&TLXWYGg&%)jjdgzw8YyWmmZM))71aaa-0U!VDJzGBXL%mt= zNlKPZ-p;$2z>Es44e>UI`JySmT;QqVS?WChnGtFf1 zvq|KHG4H#kpS;azY=)GR|?AX>fI#tlv~bhQ9T=Cf zOTtdMIv3+Q(99I4L zl6lv2_5PS*@xuMFqMo2!v7}{+he~|*zWeUGL-D^DwX500VSAUJ6)*SE-ub&){cfxo zD}R&CY7%<!fv2YI0Y8vhV-p!wqx!DlA(nFh2I5bbKaPjxv=~sK23}1E_~#3+4VMcKlO@ zABTPKj?62OlV)9Jd+w?FwwrLKGxVHOf;#fiFGMh&Tv1h3O%6>gwtp=_@16NgjOU-k zBr3mnr@=(G`M16EcNW6NSY$?4g+6&2{YnF=3}X^r$nt>kd;gSHvC0d|TX~O;*)%fy ztP&)Bt|#>6|2nv`MHs$isS&k^6Gy${RJuvMgGvs-yKNk4U>gH>z83z-1GTQ>D(ScP z&d^}2leA7O-0*l*i6N~&g*~r}*@NR(f|B(Z`T4bm)4vVwTU?+|09c5j<$e(c{;lSF zJkcp{)TaKaPapU3vnBTb?caut!gM)#_#~~AEaxxr^YW1im71oV{l$8z9A47i9Jx;z z4lwxBE>^&_d7&*+zIK#WCQ)YNJ(%bBh#8FCFkk>YzwgT1C^D!%tsi_s+C+k1LN>QUu)YzEr&ZzGr+T<4jnV2xF%ZE@wEVGB0w zZHpsaV-fd49++;1%a#wQb!uQ*HW&n?cYT(<|5?0uX-;2Y6umv6Mi7_7YZ}BbGJuVf z%#{!Bq3?}4O4)lGK5M=3Ie$S6O(!Ndd4;bBoaAkT?}CMjpxDj!1VU1x0_N@1uUVc` z3EBppz?*9-L%#9cp_L9D^vHNPeu^EKrc$%^Eo|)~5=3F073X#vPk9HsrsmKw{zFz- zu)YS~yDW6y`J> z&gN0ug3q4LNM+S3U{>CE?FPrnQcmTo)hAe)1AKv2QfpR{ifw3n;KDs)V_)T0enj!j z5?U4v_s!CSJ(O2Q?%~d5&ACH9UT@?{T+P7_0xdgDBXF}rV0$B1`?CUt2d~6WS{wV3 zS5gX(n(V>Y!DEK_rtRp)z62AWBoz#9Z@Rhz{LIa_*?kEKerNa6lV`qN-Nk9%oFZq| zGz49H%VR(DsfW!nL%#@(A}g+kMypH8Di#F5s04kT7pVCT7w}WKx%4WGJWd;xp zeeA((Rr5q)*ZvZGBW(LluII-0i!&$v7iK)4B+!mHcH+{W3Iw6tPMY2=9rA}}?k8Bb z1V#yUAZ`0QK2%AdjVxz`B=k%cS{YBp_FF30y$5|)oylEI3$cgk8iwm3%mIVc?W>Ji z#^mj*`|921tfOmcf_KH5YX;Gr()$f^Wk1jb)p8 zo{RZGGXzK(pD=5UzQpYsVz{FU#ZQJ>i;?WQ%6om9jqJ#E2U&VkguDUPx2j@Ielj4l zXfv}2(cCgQHL=4$vl-A)xzQprT3=E*6PpWTFMPL+AJD;nnP zGUj--TTE4L1f*03IF|c5GcArEikM^910pMZH(^>+t=_oGO0BKMPU+N}h=K&E(s6R& z%WUI&NwM0K7G>PmcYjyG#86HbIixw z{C+iG`7$3HjY-5qQET(ho`;n~Z;S(meVhg4X8Z%?V%SOcD^tuDZ+RM0=fKtvGpip; z*v`k>(RWOy9GWCVp^~Uf)}RCxV+J4`CT?mYDeq5;#>LUbPK+g9Cj@h z2VYM{A%?POFXxn7Cd>N0qK5=oK#=ocpdv&XBly7T$@9;Nv2Omyr1?Xhf^q_GPf>Sw z@I*t!9BgH64beHaa?O0ZV{zx4m-xy4Z!tHFf<7)? zrr@t`3j0FB6aQrYatyao(5I!F6t2}xuf8zw5I^02GudJi)U`xLQB~a({)L|>{^|bB z7)PU^?j>4^-Rh>uFVZ~3&-O`UVw&zo#bh+yRdueY6{fZub*%Kw**A3j>XCVcx(?T3 ztr~wCtkx0FVn{K3D?>cEMSb!_L~XGVOb7O=8D=?=rejrL$l1*AbYFmZ=C3$eaGEy| z17qnslY_%NIp*$bnJh}E!-fZvhs0t)@a*p%@G3)<{Im3S@1su^C-Edx%AMu~tOffl zHN|gKJLdQyj;$BeI+?f)`BG!olm>^)1z5KO)mR`2f6 z-o!1UqK;Gx=8k)bZc4Uo;3nJ4iwcI{*1&6DiD>483uzRdKWR_Pn^tLL3B%3CmWWY-Z{b4yCbhb3c6{k)M-r4dGw=v=%!Ve8 zj4z!#&>Ka+u`cWt?Q~Vb!OB^XevUhklH~E%;N(`Diqnt?i+A^U+wx2*tK48RJE01p zjC5Zq;A+*6p_O)?yT$q5i6IlBbyeiZVT1O)G@iIB22NvctdboQ{QN)?H+;u_g2kg| z2~86!k%l&QQJ)yodT(`xXm^raDn@ptCP7E(yH7^TkcSK;X(H&ngsyF5*L7U>0<^*D zu{)%>ygy>*m5tx<<&$k~tZNqEHL0?wc*`R*tm_=@iB>R=!#vDJV5fH(<>`@9S9hN3 zKX^R@Wn*ZZQjpglF}AWgx!hIzu6zgDv*3D_$F#8$=Uc5}ZJ-&X=a|*Hc?BnSUz^WD zx*MA@?SXt|e1OQZIiYPu+NdFh+Ybo`pPh_^aC|nt9XwoidZ33TKJ|<76pH@Iv(OHc zzeQIz#!7tw+7@%YnIkENx|t&xrv`H&+9K{_()e1pKZJ}D9qU>3nBKaC9YTDfJ0O>o zsC_zg8RvX(H%GR{vBvz(2-KVvKqC`MQ!aRA&b5?e$7p?mcR@$jrAPy9jpGFm2faDH zEmr3XM~x(2QUX5OFg@fICN_K+pjVe~lfpJPpLPP>BN`49xPi5`5qOB3^#5cYJ3E z<5qjQ&G_-H^Ai9OQ<9^Xh`~y>D5QSo>LocfPoIr@YL8kyCSQB_tdwZXl)sQ)t?b-W z=d(Go4cu_L97$?>gPbEi7#*Q*No$fJEG;B&XZj|VGwaJO`?cgfF(aCsDi zOJci2NLywNi;Y#04Ic1i>B!sk=igQndnDT-k->^>kbcyjsQq!R`1`F|{pud^9WR{r zj*)|4qrjtssjaKx0M4% zY@X+OfNG@Hb^^I1ug3$@RZ_L?keKU*?&W}?p{T69p22Y@h{ zquh61{{8`cfeJnwPMHq?YPNNFi)xu&{Crj`wI)A;5#gY`zdCC2p%c}}w_sdEGBtNc zihDlQc3!@s%M<1l2s=Pe3^Ql9RPomHw_gq*>S7f~JDN}r6V67cbz9PSZ89@^h4ey? z(ET0tp_6l$Pl`l|-V02zEe$v0eCboJWkA$+W7BmT4a}*I5%szrE-PLBktJW}Di1Gt zRA_9Cu?9KV7(O&BWy?`4u@Czia!kB2iIB=@moE<5n6*xKej`~1&&;oSqxglz?)zQi z2Q97TH#IMK(lPkLWcYTn?{Q0=zc(WhLB__=^i8hqCdb~)Sp*^AwIce{4LR2vdB=d} zqN#kB*!o|G&*%zZrEv1>JB@Rno;iKq(X+F<(sRdZ%0rx^5; zXasw8P172KIW5^?uk9$p`TZt_{k!w*{PIS_<}*)vGS_Q2gGGBJ&LYI5Q|&PukOk8v zT%`TMGhFsf1}1WuLx?TdYoPSF?D~BJMgF z8Ext-e{mMa4b>Bui1Uc{${>Zj5ThhhpWf`M&>6ddtwvBu+U~^Ko4NN8YUin-15fkI zEW)&fqXN5%QauG1^=V#-zmOatrPAtJPOm@mpm>1fJ$Lo-TNXIC$82sF;Z9dEA7Tma zWp1?F#E4*?6iA&F`er@*Ue3$Ev8;jlJUl=bU~!LV^Z5%UG@?{(nk&1p>I8vu=a9^u ze>sy}Aj_CT$4G@?iTq-%TK?$LqkzSdDH-gPj7~cG$eh@Ha`&*?W-oY&kY^F7CjPjj* zwo5Ue1~o=Y`#P}yjx1U!HxV{*SH>fu&Sk(}6Iq4kjOw?~< zR&uQmR1J7V*6-(6Z;^7*Rr29#&-K~lPE`T^U0yNf)fi2)l)NJZ8LkZ0pp$f@2$MsR}(Vo?r)$8#;l? zxXLg1yHwB3VeKhH_h6~(cO0hXOP)rkFxy0Ruou_4#i&noZV3X8Xqzh&(i5;XhAy2+ zmIC%~76jrFbGPejx%l*{+w>-qQ#UAF8V{{fyWd=TDK>sMFk~EB2YB z0yHOOh*0N0FC(NY>z(Ahh%}{xe6gHp>rq;mE^mxm5FW`8hb@Ni`tX-cgY^%-Gz$c7 z$s1EF^FzJP;uTX-IkE+mc75H!u-ROgtA1t0)MF9czH0Mnx)@lrBExKK+x8@)L$l~K zIY52YW%1p{S*Uu-83viB-+JRPSQcwNTF8JXAxSN3r@R8+tgksJ!*`jUXdJki#Z>0e zy`4Vv_MM@WUVsHi^dqP;=R9JLZWL%xV?OH|q~%M^+i6imsS>w#>QybOKVbU?RJfT< z)y~mSv>8s~;_A0=&;L}o!G{&WbTTQC1rp0x~380c*D|NC}K&#SEnA3r22;RA_Z1-nR znOsAObelk@{56Q^9&s;~(cZ|VgiqTDko_7WE?vqk%{``^(~o<{eQ>*g#s@2+wA(GL zdB>tI!5ENY^FgX%#d1qxUe^Z!S4EL88ai6M;^syzoK2ddIxIv@mC#fV6h(!!JqK?l z9g-mO$fvfyax-H$_rVMkr^9;b&=z@LBKzgADco=MX^#tAWQYK-QcT-9PxhQs>^K((h0YTVKoA_dj7yq#0e9Hh7HXt?@KN^5kLdX5vpuhTk? zK2k%MpQjDCn+9IElGAd}5g8Fs<#u#PAsG10lY7!lw+9a2JZ$Ggx)qnAOx@?AuytCV z8yWXY+09Teq*l3;s+BXOst(j=1q{kkht1KFw{ioR8wusQ7;ED;3tz#V$Co3reHUp^+ zR7y2x{)H0lG0zhh)KMjgO=|fK+>-PGdb9j)Nx5ezUQMnq!e7@kG$Uo<`ukh zn2;DoSYh~ZaGmH{)no)&bI*U3|Hwy$~G=j!At9U0!yh7Yd z3fGr)Hagx8cEGJbCqwpNQPjcu*ZO72HTk>=zurbcZ+uipS;rwNq9xn;;0TV;;-za0 z&P(UrIY?t0GA&eMaO5tlGU2lfMW+=BT|HHwW544l41C3XG{8UD-m28w@-#w-_CtcK zgO{iTttc_BLwXo;5<%5&{bXMcd{(2WPa{XInS;u<7TzcFr2TL2>^hjsD+TJN?Onew7M8*rZGK43$? z3|Q{%x}=WYXB$1fel8~GASuL*yuHdrTrOmJ{%i!$-^fm7{D;E)k>*p@#TO`50-oNT zd~o&kdBFaIt!i_?d1b9rZq7-;3w+hJw1y|YJ_ zwB#IPJu<=xeuAFvo2|zVyywNR$1$nxAZMUcXvDN((bu;ea*@M{X7lxagBLf%y=1+7 zRNcfE_RDAef=$fN(rpCl4E?g(QARZH^^Bu!PGXY;-1|iwDa@m#C-=4Tcw^FIQ%$7T zxe*+M{9ZGm@t(bq)YE2EWN8BntfNe~bf?2~b1_zu~K z@S`U>ve_0Tdu|DuwO)EVY=Iq?rsAYQz5RLqf9IE_0AJ3tZsY2Bkmh2_XlP3ej6X0O zh$pFqhY_R{4wB>@y}Zq8xdU8Vi%q}4U#K#fnI<6SS%d0a6XUZ|_9bXqYRMzXMOMhxAKJYovHDz3a4#Mv( zvF$Bk5rl1M=K>1L`ec8sygor~hcj|LPD2Z*AG{?xPoYD%&qzW&NS1bQQw*pp+u zza$Jjh^Jw#cxYMKQB>S_dU13*=Inx*semr6Wf;< zF5tWFY|+{#90+m;+ECApe8DcENu1apE}$<5yBr_f>`%G|My%o5fKClLt=eq$JN)Na z;;K8(C-A92R+gjL8g3q{_cs?w-SQdB4db@kSbcvw~EJd?^wp?ga z;SMLRvFeNf3O&CQYR?q6`Pxx$bG^B8$}?wId`i)$GGL2H3|gyZ$N$8tBFj6#$krDs zh+A`-H{lucsPO7co&HMWidMIlkiHtb_9DJm#i+ErVterApEl<|^Re<5vXE=ltZI-&`9)->1xb!O_{@!tU}ylhBSm?WIr%G+!Z0ZCE|{UZZwb zO*)&0%Al=oOJK#R-L5@APu_~^T95gAPrb@E`!||FR7^1NE@_z@KbbYyRYcPe6O`#PEIr z`z*+3w3na8ylLmcEj?1B-W^qd)HmlMEF`D=11d`zd`r!IQwZE9<5F2?4?w6GUV+1m zGl2kCYh8^^5VT=mSOER0pK13febHqA7*jQ}PloW5g6?M*FZ*ls3i1ok@7hRlTdP$P zgrVSH4tg|GZDwyrwIuzKs{3<(-8O#!J^+ZRYp`7n32fqdrH$4eDZ zbb4q?u7HZkR0XR&Z);z(mC)VVXH9bgR_0BeeK#|}!!*%D)Akd)oW=k#IgFhUux{1d zx@>BP%RZA0`c6+eLs&aus=0aGc}~H{KB${FDjxU&VmnViv24zD3FTMs08%;n&TZ|2 z-UYRbW`X3-_Iurtv!Ussx7?5462a&CVu1})O2db;l2g5hX5t&o^dp|QF@U}M*hAy# zk|^slaLqWKJ4juX?%vF$j@5|mDa_8IgcG*7 zER{<{BB>Ml2m(QGcenS|Defo8~<<7WFEcLzo`rir4m5P6^s*^ z6!N4?x4J;7D}67%jwXxQrq9hg#N50qq7kt^7!};E93U91qh8KByiaTZEB^8#(?3*_ z%b-!8tJX^NC=S_%T!Vdl$*;f3F~^}l+xTWi>dTq#!y7;4ZGQL3RJcirO?#Jrb9n6qLgB<2!HdGZvpJ26{p$y>2|f@1hI8(?!9|E5=U zQarhoX(8}gXl3iB(Z>0J>XcUDwnrZRl#569?F2$(}E-XEa$78CnBi0{WF zeBi|ULkDz~w`1S@^UEJM@Q$lzOVtbd&Y|F1__s5#hL@_?v5pvyHs+2GV}+nVPmX#AeL7@VSEFhx)4bp)?ef-M!V7S zrpw@6Jmg+lJKVp5w%}7{TWhNdz>tlC9Dljz-*?(<;ft>clE3M?p3e???3DA&U}gC2 zd&u$P=py}t`akCBA@1VqtD5J+iJEeDgIg?j3IB!Bm0RC(MEX5>?_T>=$F4Gxk~2QP z17dvjr&axv6qW@1#IH0{#9sd6S$~P}%?}iwZsI@Y_QK_4B|IDpX?8>L*L@iO0C_y( zPoA^y7jA#N?PtcTgn#7~=6@OSJzmM)lUe`DI9`!fZsFqH4qx_P^=+Nq7FYx_(;f|65%@c|!j)hCiF%|Lt9W z?bZLk>|KeshmyoLF6tF)N^bOi`|a0FF`M&ZcO;3lUPORNkIKj@8F+WG^PG%6PVQG^ zd*bOuR#w)2>Ao?cM|gy}#vbj@Fw_59K4m;&o-K*k``4#1zW8W=8}Ir3KSJ<*VJy&m z;$L>yFcz}s(84GQ^t2Vb5Ey@oM%lYFuzvkXSot)HeZ~-(U#H%#*x^3m%W|0Qsr5YD z?qK+`^YCgJr1_Ua4B1H+6QnR7)N>`oN_s+8)^BAT!5%m7ogI3Zss^4o?l8c^MbZ67 zE)1OY4il=SHMyLxzVCk!gsVQ#{K=&M?u8^9eOpgrMq;8nRbyHxm2*t&q3^w|jGF@# zZYMlEiR@9&TIp1bCH<9?Ldp;Ntqs;@<8rpK!5Xl`Qhu6rvOW!9Q0KrhpQH(w>u!jt z)WCV)>>3y~xDr7js;s(QE9&)0J&P+e==qz!`F!K@Vb5kVb69VzO5DqsSL(;SAAq=z zC6_$geO%)`az|}N2Hu+eBu00p&ME%pCcRVvQC54*=wFY7|W;ji#gfop{1o~{lYmDY;!P9LXUc9WUp3DC4S&D%~M^-Y~y#J#8Xw9UTylWkzvf49y6 zg-^CJM>e%X<+l4Xx#kI^IT!OzN+tYel%OEUlm3b$aCuN&AP7qz`iiNa`o7{yajnfs ztzkd=pl#oa2bZk#cz|mWUZ|D|FSB01TwP=Az~&|PR=Yz6>+cRpT7Ws;M#*tj6Vnz? z(9Mull9u4sSU)bat@^ax!9IjSuKz04Nq4#3%6#+gK-Er@P>ZF2jnw(6=LvT4oX-*q zn_7WYS#Z-NoEmooghugT;cL(WJCc*Jmz0IBiyhE+vajBDpB1j(IT-~r^i#50KK`(% z-!xc;?esmfJW<6}J^oO&aph~ByJ3@G`^^~nX!Fkx^_X+G8x8M$-NHPyw@>;yTB9*k znS1QLUzvs+897(MC~w!e?et^nQB;^Bv#Di-uBB?cjUnv6=%^ox;^uQ>ywgM^q*|?^ zBEW?1I+qa{!?8L#XmuyX%b+ioU7mwc=w%S@Hs zs+JpAm*?dam_{I(o2p{2U=ir;Y~7$i-lN~|Z*bSfW}CZ=#LG{!+wIflzUu%Q3Lc1a z<%@O7WvbHkz?JOQO(XRR-edXs}2gTW_oAlSP9_Q|SfCnu$uTiDlZ zF}<_He&Um<;#St9Wiw7LF62cK*S7r#TB)Fit1@eqc{GAgmZ?qe_rkK{ZphLs>Nmb! z(6S6N^ntsi9PW1TH3sb$&iT)8gFO;<#RsOOvU$_5yvkHwZPOrkD6M+eF;`=o7SyPL z+uQ)VNNyKfG&5YC7~9`Ku)5A7n3mc5f_+gbA@eDMm>@2%EkYX`M9E#k-oLEz!<5UL zgW(!_%L@!nr@`VIBRjs|zbWffww2Z@L>x8)U}s%rtsDK7>08e1!Vb)b2yEUR$PqCL*vXUB*|z^)sCoYd85x=KQ`!7B>`tq0u_m2sAP#f*fDm;Q zij%Z$?yTl=KHYXy&3zZQt7d70yhhZoN$(i(xI(h-ar;K*J-c~StDde- zN9Nopj68U-P{S<#ZM6zJpBW3fKK8pgFKDA} z>q}M7c>D6${tyj0mE}<{E4DUT`a`q`Z=#D8iaKr=6g(~1qyV-aXUr%WUC;rbcLcWy z0dNmzJz69Rr^-Sqq;Vr9X?-g!xdPHgH1RWA=ae0^8iH3a})yd|MwMf~2m6u$_ zA8MF>(}mq9)|4TDJt)>30fJyjRC;R$+kQ(s2&%$eKKV9J$r?PVy#d`O_m_tRo_swM zINK3r(&H<5o;msi`eNT>{`4?Fs&ys9wSJ%L4qdP7)3^hXiu5jzsqv$kYRGJb9BAh2 zl+A3VImZ7kzq4-H>Mj2JcdF)S9$NmCMtQ?LvJQ=hf|eCVGlVC%+)BfaGX?M1H$PMmzVRhQ`1CA~Vf4UH zJK%C|X|+;`h}1!<#0cDgN>Hua8dsGv383Mcp|}Av^O>>nIGivXJUuzUA0q}JbEICa zjIgiukB;234^mK0ukcd{ImlY{OVFJ68q;{7m9Juw@)my9Ra&>-SjFl8QbfNwxngs$ zveD3=*D~)YRpNn$B_qhR6)Dt`1XVUEiYXLz<bH{^EGSIqPQa&I@x#!%qy~)|BL_l%|5^URgK!OakE!dZBzymEgcq=g(kGFRLU}@j zoC0At9V0LZ6K+?BIkY}@Hq2a~CI>{36`FBO)oZ0p+*sXE3-WA#w7XU%Dw1?UW2bVY zmNj4lY@BM@W7eNtoK#A(ZtG|^4|PMFEPBo6VD7L&E$5Y~tppFd$_j&Fe8xhq@jQ)k zC8i}2PZlg5ssUmd*ys66tFoQp4dSh;XZI@jaX=mttAP|PiF*fAzKIk072Vm!Yz;hlPz=A7ov$#*%;*gH{km+QBC5{^RJ#9~&ZMUV3t8;xyC(|OJ z0Hp)jAIw7zx6aq+vO%z z_r}=_VLcQ3kE^9B{DYOon3z3ft>Qp4eaZZn-9+#RS0d=@4S3aHdVdULof{A`q7NxJ zZME1!ze9}GT7%Az0Q|vsXy|u2=y&mh(tx*muwnXOY6-vU!s6n=ua=Nh(ZwJ=q_h}E zWQ-bXyLrj!eubs-k*inQEoQ}aW|!{}Ew>k<=CtB(mt76hM9$E{tXd;QU1=!XUXmmd z_@E4g7@8Vr_Ruy(1EqZDSr^aHM~BVr`T~7LUh7NeXf7hc43O4hE4B==Jkfp{BV2jJ5eaDgh$3iF_Vf9S;s^*lf|2?!qDOF?pD8 znrW*!e{!gil`f}8F6HAmbkTfsu&U(YEEbg%xPxh!!==E%4jQ4ZCbo5B%4}WqybZT< zLOWvQfvTfG6YZ+4yO=yG-s7&?o0h;mF=N8-qmhv5&;mg?K<~%Wou^7QGD9pxn(Zj4nhhaqB21+(;D`{uqsyqH6oWB@-%bHrQ!dy_vLR%r9h2HR&R;EswnkmwvnIRY{;ErZWii!*3f`X~IfT*~jg5XQ@ zJn#GTjQs=O>-zH3xvs-G_r84Y&*#3+RaJNJ&^j0|oAH#yu{dA@M)NB=wb{=%Ak=k7 zI?N5+h>l*c=DK_G+~_?EnJ>@Wqo1WJ(_-j`_2oA-W*0xPJWf%tLv3n)9X}U8h1frfw@x z>)mATdHBnY{b?64H%zX0cTlpcw|jP9*7sI6JNA}eNN*rlsB zBl@*&pD<+S!|;0T$zSoW>7vm$x2O{VeZigQYwnBcJ-@5_@60+u81F8zv{(qu?d(rZ z3Td$IBayYcJ_a=@q~}e}&XTV5G$_pqvpO|j>~uDrBW^qk=FS6KQDDULy<}2?Fp2N4 zq9Y^TDZ9uQ{ncp~Hyrk~!ZRVC5G=Kw(h-Lg zqMGKTTv=DeOW*}NEaG=mnhd}h9(QypNA&n|4nR|zo&=brpE!dOqCZ>1Hn)uDNfM9p zQw=t3Qlg1E;)XU!&qltRxDj?4bLM#XtW|F-3o|Wif>EBNZU#BrhRD~ghO!cP&D1Bw z?N@yqPQH7e3kj&unH=9|cP^wjva9{0CrjGK99TOCPo6WddzvU7f86KGI(!}@+|fp; z?Dgk_J~5S8CF@A|5Mbeu4&ObMpdtCP?#X>u9lf+#alVIZJXHOoIW6^Pa=S(YZ>fpi znv3eiS4TDUxc)ZZFu#VHFTgAz0vQcpzf&A!oPbH@|JTxLb zvzFAC8K~43WBT^@wZ+wsckl6-dtAd-dT~w=-ta{clI@srPn4>+qadchs3NvA4J;eX z-HqVr*~~u4mDSuoAC~|bdKKo%Es9%RkmnNXQfnCz* zJ`Mer%@yE>9wzu zPuxN^Z#pbnv^eaf)kn^mIZbb96d>yRG{9jjafY*VCG0^aBg`;oo!Fs%YWfleyyv*h zQKx5Rfe#R+U zw}#UK+Auc9dcpHVsc1Q`TwLhi(m=E&-Jyx*0$)xT9-p+z^OZp#{#MCxx^Q87=q?sY z6QRLF*M(_qFJ+4Xaec3xH#pCt&rXXb$lNzeN#!AFIqupO z^Mm#xo!L9eR+qiG5K>SODiAKsyf`+;GgrM>VzBjM>!8-Y)T@#7_;!CC7m!P~?Oexa z#cO+WvfiZk9Kv<1PEYGT=T;e%qFcFqfSmCg7%XVgI06cIykl}9M~9tcns0>vz0-Ii zV2O!OKI1(!llq<>CDy~z_O!mr`))$T&L>qd=7wr!XE~IvqTV+b9*T}{53V=C^DO3d zFcJ1|FQx~c>Pyr#2l<+}a&M2mTN2&->0{+rcuokq=VO4|``(bg6N^Y$VcUD^<;78h zxmzN;k3((otgO*j4FXQ~`DC4``p(L*1kt2RIf`7>ELsDNq#van&OL zxg3mZ{O%~J{1dMMe;*~4NvckC>}TE4`3?HA`f#VAad9ZOIz*=uW;9C3YH3ZY4L=k& z`m652E!Z1H)#n@42MN-VXRlYMG+1mmITql8<bvznp%>PE zPctY&)DV1T5FjITyZUmt1^i_#Ko`;(sqwrYF?ATrcjx=jr;hEF9h zFeebX_IDxwT|oA#h_+E))a}eVdVDuBi1$SaH5*+74N6h(OV-DflfjA+p@|Hf#$-ZP z?mYvCh+S@GpHeWXFe6 z(beaSbTtn6jx$?~P1nA)MTdXV@rk@j9lY$FH`1UqxtLx)y{!DDsjnb~Um(~$$IEFz znVGq|Ewi?Iqu}?8U_soUl8nx6$Q5UC5>;GmdB5A%nZm}`>h6PJk@Jr?wRM?#x|CSE zs-b)Y0~K%T6m0NXX$XPTdlqe|6){zv^uiF<<1`QXE=vAu>nG-jOMfBVf(Grx_rYh6 z-mGY^t0<_;5oxMz!grC7xd|0WnYns%+Q(8nY&a`e+C~xzok@ zC3OE1-+fu!DjyWZS(rdjSYO5b0?KRWLQk^;+ppeK`_EG1@2i--%3Wl*dsg#@#a!FQ zt_2>pz_0U_a^3HEpke>CenM;csV7kAn78|TKH5+er8>`6O+!rP3*lvm*5Vx&sp}o( z-cWyT1lL$Wt!s!4>tqU`c{uOVw|pPelV&$(L60-9ZmeO60vs-%y1TNXW!c+dAL1^H{UeIOq@w5kGFczuWWWoI<<*?LT+6~~T_Ial3P z_6wLFmNEJ=He5k{s9AT(MGaN8_qh@&m>S|e)rB{6;3cYHo828cH_VGHqZo95^k)XMr7%<|&q82Uyi>ZY`$#?s>e{b~v zHLf5-dZx|irWQ2tnhOuWT-8`qd1nDZe8)q^pcGKdo|8kUh3cJARJEc!-YVE7{Vh*# zW6s2qORrY|X41;aDa|R}1bHn;t2bn@C^|l4|DY&1ID5sO(H7+?&XKZmATi=~#{^|t zhlD@=fFw{xp#g|IqOh|pa)~QDjAC=*yx~W7i=9*uxHt z92^wFA{E1|rSX9Iw33JqFb^)i64aKwy@-(fXnS@*Y~r=aolD;)oT1!N>GH>+e2(I< z9OEQNnB>G>6P3=a{~K5F?*em7;pM7{lD>gy+0jtD2~yG@*9S!p(|UxEj&(HY;2puX zltsRag@aGzHA!IpNj0_457!>NDbSkyyu_7*IXwmc#+U#x*_Cbao2V<9CCb%5G02lr z0~fFRNLT|dEH?jm>E@ufMNzfKro%Wtt7V^-3*~x|7BT*q!0GpWLu>8ZF zvh3WB9Yus~Li*u=SOiy}7)X=ITXs+=xoJY-EPZ!$-lnc%2*}4n-+0i?YP_f0cm=Q% zFC(tkpxj}G)kp-Yst#kv(04-YX2}kfK)s}kX-+KJ;WR`Z%AH09D3P#t%1ZAV8tz0@ z)oK_!gnekFz{1ENR4O7K0Aw@P-RPD1vFzuKpP6O>X0%vbNK+}n1R>L(ODl=|eu~n+ z{Dil{gj-KDjVsOL3M@>WJXwChbMnU>hwU9zdPBI>r#|!So06^pj**`;~;&~ehv zl_L8HX?ApM(PqZLqGhY@6NPDuGX!4mPaqz>jD&Bb2zo$1Dy{3HT)>X-VC8oKd6ZsJ zz)AI{b4f6+A2D#ba>CeQ!jtR7*65rjIhn3FTH1Ujrr+EzKj;I}gIp|f7@jDT=0W)l zH;F+W`oS=%ce%;3aejrK?5G2qQ^%?%+vS&rdiZg+UBK?S4bgFSKKSY6XCJR%yiyuM zhbsz_OC>xlDNW4kT6ZVrcNALy^&k~T$FoSn9v^`(fss-YXbt;m0_uTpo+cGXeFA@< zyZ;>p`x{lJIQ-J`vI3Hz-^WW`w@`#{oR+~*Vfp0%>t}T)Zvll2WqDMaye6((U@blZ z+`{$!q?fWDcB-`NSD!Ka+C9!l6zdF2R(hSS=;eX$wI_Gg7D9@}*L~&)caK&Fc48>F zIX(#|XGsGDod%d87fO8tVlt3aIaa?6~S`wiYz&d;_-Bef#ii5{Noj_=*8aa^9_DN zdCVlmVgY329Tb{HDmoBGE`ah$Njkxhk4Kp|BkRCR!Lo9w7PhhDkBfGDZ*Lp#TK_A+ z>g)Ou-jcwDZQt1}o*U^S2`1rQVPyv${JhasB;eEly-b?lh#_0}1`HN4aKZ*i2N>fQ z5Lp8I$7oUc6vh|P%NAYe3_#)0VvrhO(|T}k$idB|xlYLp9zCa}OFnF*m_}ykIe5iG z2RVwJfAW{YI_pwOj=Gg#3j#stlWNN+VbRJT{PVCuEd5}vj3J-O2|pI0az{ueMCCVY zusTXasXYUCjZ+aZ+Z~5FBxxThhg5o)EGX#Y1;%3mj$hV)xBvWiKsshsHIW=E7o~hl z)szgIAH}2P9cU?wWY=$QD~&~^201rjV}nNIf!Tu@hb=t%d>+oSAQj7#1nkhtMC4-C1iEi4U~+=)ie`nxC@+)d zAY8ouWgf3rmMW%w6O(vet{c`keda(ztam<1*w9-kbFHPT)jOMcy{gzoftmp^(gn@Jtkh@i z>+@gz0v4U}Qc5~{SQVu#5~HuIEYMmi@A!0@;Dks^q`ek+v*#dFaDK0{{M7wJd+a8C zJm&gh01R`xrEY!lzJr%L!V&g(16GKnl(7@X?kHiTnBIm$u$108Y%P0$B&}9;9EL+Y zNTr90VbH;+!RD?=f;ex}b$CE?b%X3Y8-KNc}45?q1}@-82A zD$&DRlwXTt5d(s&XV36sr70|n)|UzV#`R-&mF4qhV`0)c2QLXY9Y-oIw}zxRqXk|n zp9JtQ@Y3oXa=RZ96&m7!Pzaa6ypD#kZo*&z-f|~8y)ypGS<~hh5S9ii;r6M@V^gX) zR+ljCFznFDCc%VhWhQ|6d3mco3ivI-BiD)x|9CE@m9M8ta^&Ii+VRR7!pr;eILG2} zv>no2*OD>BU>1|EAiDx(jOi8qYne6* zAwZaQKBHlYJ7K|Y(4FMPvK&Tuv0*5%<4BK~@4}IrI!h6Lk5UH+61e&ZZ0iHx-!%+5 zrT^tu{%7^a#BX#+oWf#BqSVs<$1F~V_q7re7O6I&R&4XzUjZ;2S}^F~I3W(m1CSZY zsIcNc3;vm9GIUp$d4*W#m&>Dgc%EMMQ5RJikGJG8v?3tMmm3lo!VTYu0a-9f0L1*P{zkbOBIJfltfgR} zg9Y&&Op5zKIE&=uPAZnU@*2t;tSW$$9C}I_qoYJ{AV;2Z3lV-B5>+z&gY~7$0(5KO zp0dQX^W(B*9e6L_$CP{cexE(~V{@17IjdDa@BGpnw)NEXEqBRhf^)sc2RqBKdw-s zSxY`5d#NMLJD9;vonr%^Ib>wHqLfwe-v;D-A6pvDOv^w=2T^W3z&$ zcUxvkgZz`tTa7V2UAhBf@Otu6gJt`Le}n!H7ExPcBBDHrT6%|i8Z6_vGm*OC5`bQq z+w9IPr27RjNc`FJ*FpF|23s|F{LRF(rU))`vyl?a&-Z!k5k|klFDAnx{2NUgyQ*nw zFP7g5DU6GJ=-fTO3_mG4{QTiFv1Y@aO8Tq$qS-2Kx(~4Dao&$`_&Fvbb)q96Vt_Pi zX^5Gr&jkvLB4kO;So({(v9lbf>Dxn&^6%1PBMXPG2;amRVy%a!ceoYV^f65A@WcgY z!ouo|TK_m>Q23BmqRW78IQ4M(*GxPNNUT8B%_azHvzW7g{Dt~)$G!9!*K_G2KTOe-+DJ3eWCw7niudx3EJ?eKk$Fnx+ zk)(`QM7C z7ch!a>63+;dM21jA&W%U6c;L)6T>`+wWy}@N;1>p7>;Ns^F&Uzcuu}_d35reByZ$X z{h%c#-b?~nlN|F)l&_Cm?!{@${gf$ulkHcFQ) zv=7gOJKS+Qa*k5_Rx7x3$s#vWL>5FuIQTdT-t@t=%!}&(aID!hODb8)7euT&^5Dkp zr{<%1O&1h_(yb$Eh6@C8rP~E^$K0=ho<;fQtPjewV0>!??mhSY_5~E|G*toCqO%w*26gjhw}Alq@l+FFIng?K%fH z4Egx4=^u}$n}1j`I}ku|`=lgv(+_qY5;_`!9DH0?g5+3Tk7DY$IT!gqvU?1Kbv}XU zw;YPnUF=FpJO|e`F*E^ym_-G=ztv0L7Ir&mP-{lKcKrIXaBm}ewD>qEI9>MKP3X^gg2f{BtSw*mw1@92!sJUq9Mb`Bn? z@Yjt^Q9kcR@`naSIxIlCzziR~D2Mse(0B|e!WSz15zQB)>0LLXlg{q(i{~6`6$d}# zn=CbM>?$0&5}#vnNS1*N%i4qPDI0%t-!SZf=Jm$s)}%zOj1=iY#*|3e{L)DO+hE>U zI%tV82Ows)n^;Kf)3%#Kdzf!A#_{F_PbOCqi?Ni0l-|POB98is2B^&{6}h&V5uO_! z7PidaKZ?5&FOV(}oM%x9Y)-Dl;C#b2HqgMGe*Ch`O-!eSCmBxen{bJ^>8pCtJT@(V zkNj+nwflPW0<;^l$s7&QiX2{Kyw#0x&zME;t1rxW8HO$oUQr(hEnb_jQu@H&2Apd>5?Y;m-|ZI< zw+s5f6OfW+08C=jis|c>#wv}xK0Zu+0mk>=&SN(^Pp(mfo2=jv4|TS zH$PFRxnK@m;S{Jr#w#XBZy$7Q!-Y@Zf{9C*&_3pNv?F3bx@Rk>YVYyaH*9 zVm@&nJ7SsOurfTWZETD=OGQQ%@3o8)`=6$2jxjD~m|wBZyeCtQELU1275b$}F!U&z zc9Z6!jha5oP^s~tM@}-;{+1pDRp~ zfXHTJ$(vU?Z{d95*m(=$cnwJz81FI(jRZ{FtRyIQVQ#y4lI4v_*u}>;Sp+tByUmJ5*u4`jF>i3mEU6>*7#X=P}$@G7MwU)m%H- zaSTTVHZ*}CE5(D@>wol17mb(*ggIT*JEXb@1&s*D2wr7~C0!r)H+-QhFri@=LJ3CF zM#=2#Gcw7bpy<|sr5%ODpasTOI%vAJ%#$aN_aLSZok9LYCgb6*?kkCD|EaNhJ)I@a z!hiyiA1R}LxcMTeh&_h9MotNhU*PX+C)#AQuU6~|R9*ODj^2i!tst30>Thw1kR+n9H z=Q@Dqt8){LQ#+0q84%o$7uBE6+yRoLc|a3NKpYxueri6mTuXdr5xVsSi&4D%ndFOjm3vFW#K5y$)~6<^fzs=5je{? zkLF!qt7Miq?P?S`Kw9XVvEug<%?pf{7cAzJ``YWFKS*^_s@SU_c1m&0Um;)5n87A> z;?DIdV_sCqu27D#d78rZcSpm!T0Eg4EDovr!i=GVlIav-KU(%Uue)7h?DJt<@FFi* zFBp)JxzbQ}#w4BI5jwuvE^)d-C-}3|(VOFphmgW|H6+sZ@`_+hsgmIGnhf=+$FDXk zeN^?oh=W9ozqboSQ!$1}#~wF&N+L5g3um*O`l5vDv{KL-8AQ|)r6S8_z`0e3PA^_v%=;}-$ot))lluXslj;P z9;T!N8CvEa>TkFoF6vh00E@eOhH%QKx9a9qg!1y>FnX>5iJy2h5VXR+qSvy2%3r?| zkf4EP&3M5&{~)VOj?IDve;CdCi5-9OZCd~=)8Lx7L7M)GryRnI@Ne#C4Yhcg&Fk2~ z!u##e7MX<~$6dKCeq*O`D>0tZ_^Ee#F?3EoWsCS+)3sA}Kr2C2HyC{y+>y_Fw`?!* z;1t#43YH=>aJNRr9BLBx2=*BzjrNGV`no0PZp!;>$tz++grx#9HgQoG8H_ZMm~t$> zh5!2%#7e#>+})>=2R1z3ZyjgIS}g%453EjFuY>JDVr^JFg0wh# z@E?n(Z&~aX1?_ zI5DL$)w`OG`zIHt06+Db9V|ID;)}`PFW*0D1C+QM6@3lVi8JaBncT@`OI=)l1TS)} zpJvgxdXUdD$1wkEx~xZzj7Fslf{hD1h+Vtr$4(8e zWF`66&@WqtdoFWeR!1-+EG5|Rnm?ijc6tSuzgUqJoKUdSp6c6h6yO33yj>W6>F5TN zzgm6}n^a;j#?Oz7RThFzXYBc%Jftq}Jyox|0^KUi+9*~F*G^&Nw>ZO*P-nfBvWi}t zb*dkQ349c{a@G26&78TrU)}(xAHR~Wt$$SoZ8R<;rg!zel^d0xP+? zPpK;?!m?_*uY6w{`M>qqe)&z?uOC;&1^GYB;-XJyjQERw`_XItAIWcCDb`J0VNr5? v=)2^U9M3dAyCU5De=@&0kpI`DIprRH*Nldp4OCnu|D8W;dj@~%`rZElerY*x literal 0 HcmV?d00001 diff --git a/collects/scribblings/style/unit.scrbl b/collects/scribblings/style/unit.scrbl index 311eb8a0d3..b19ccbc9cf 100644 --- a/collects/scribblings/style/unit.scrbl +++ b/collects/scribblings/style/unit.scrbl @@ -362,3 +362,84 @@ Similarly, if your function or method consumers two (or more) Write a purpose statement for your function. If you can, add an informal type and/or contract statement. +@; ----------------------------------------------------------------------------- +@section{Contracts} + +A contract establishes a boundary between a service provider and a service +consumer aka @defterm{server} and @defterm{client}. Due to historical +reasons, we tend to refer to this boundary as a @defterm{module boundary}, +but the use of "module" in this phrase does @emph{not} only refer to +file-based or physical Racket modules. Clearly, @defterm{contract boundary} +is better than module boundary because it separates the two concepts. + +When you use @racket[provide/contract] at the module level, the boundary of +the physical module and the contract boundary coincide. + +When a module becomes too large to manage without contracts but you do not +wish to distribute the source over several files, you may wish to use one +of the following two constructs to erect contract boundaries internal to +the physical module: +@itemlist[ +@item{@racket[define/contract]} +@item{@racket[module], as in submodule.} +] + +Using the first one, @racket[define/contract], is like using +@racket[define] except that it is also possible to add a contract between +the header of the definition and its body. The following code display shows +a file that erects three internal contract boundaries: two for plain +constants and one for a function. + +@;% +@codebox[ +@(begin +#reader scribble/comment-reader + (racketmod #:file + @tt{celsius.rkt} + racket + +(define/contract AbsoluteC real? -273.15) +(define/contract AbsoluteF real? -459.67) + +(define/contract (celsius->fahrenheit c) + (-> (and/c real? (>=/c AbsoluteC)) + (and/c real? (>=/c AbsoluteF))) + ;; -- IN -- + (+ (* 9/5 c) 32)) + +(module+ test + (require rackunit) + (check-equal? (celsius->fahrenheit -40) -40) + (check-equal? (celsius->fahrenheit 0) 32) + (check-equal? (celsius->fahrenheit 100) 212)) +))] +@;% + +To find out how these contract boundaries work, you may wish to conduct +some experiments: +@itemlist[#:style 'ordered +@item{Add the following line to the bottom of the file: +@;% +@(begin +#reader scribble/comment-reader +(racketblock +(celsius->fahrenheit -300) +)) +@;% +Save to file and observe how the contract system blames this line and what +the blame report tells you.} + +@item{Replace the body of the @racket[celsius->fahrenheit] function with +@racketblock[(sqrt c)] +Once again, run the program and study the contract +exceptions, in particular observe which party gets blamed.} + +@item{Change the right-hand side of @racket[AbsoluteC] to +@racket[-273.15i], i.e., a complex number. This time a different contract +party gets blamed.} +] +The screen shot below shows that @racket[define/contract] works for +mutually recursive functions with modules. This capability is unique to +@racket[define/contract]. + +@image["mut-rec-contracts.png" #:scale .7]{Mutually recursive functions with contracts}