From 8610e6456b7c59557dcd12b5ebd95bcceddcb4a1 Mon Sep 17 00:00:00 2001 From: polsevev Date: Thu, 2 May 2024 16:37:47 +0200 Subject: [PATCH] added a section of custom DSL types used --- build/report.pdf | Bin 286090 -> 288624 bytes chapter/ch3.tex | 17 +++++++++++++---- 2 files changed, 13 insertions(+), 4 deletions(-) diff --git a/build/report.pdf b/build/report.pdf index 38d99b9d0ce8620b4842d665ba7816aae995f416..68447b91c1bbbb02ba3d40d65c6fee4eaf19aa48 100644 GIT binary patch delta 59416 zcmZs?Q+Osov#vdFY}>YNb7I@JjW@P!I}_WsolI=o6aC-XSpUIZC)HiYb#*^?*V7f% zg?u-Qj6$v`CPB~4zz#z`zdW)I!_3UpfbszVuqPvcxB)ntLO=|W0382GESuy| zPBxChE(mU~mc@)3UKg{QNHBGMcyXapjymRYf|14H)mkVcoBW&wGVqNq@C`1Mv*L|D zZftbH%9Bp2q*9~I*prBpRyL-vV9ZRO!T42FXCNC(oFd!O%g!~l%XI6o}IE_f+}E)4Tp@~udh0lhEH68)nD;%6s!D5y7#L=ppd zsOS!>K(;+&+*#hQozfw!cGfJuQ`wPX!j2JxItAN#6|-qt_}c{DovRcX)d`(%YxTed zRMPEUs2D+zq;ExU*{NHb(s9sn%-Ukrb>Ky=_*Ev)%XEKk%Th=JLBm!t$=o3B-^1qP z7@(V)RHrHQNexm|9FXG!nzhgqs1Y%+(I0K{&hwC+F?;Z#dL}edyQ(h$lL>s>j~085 zC3FGSxIHz}dt0x)i}kgRPS;Q72nIJ`b4S z2n>B2^uNumXjz>i7b;Tvss~SyO&UEu`(vgbk-IBN+wqT) z8+{fM#wL@IkzkJ}N++_vn|tfgRksUWH{Tk&>q33(Qi;FbM7BzEavRHPu6W*bA+@xT z{J{`f;>SR_Mp2F)kFRb8@$txa7bCkQ#SuNxab=SF9_$t2r6gdT8`UmZg^X3Gx%;R& z>@@1StN&13ZONYY?m)ac`9X{T<6UmAgxrlyHdvxrgR;77C8YyF3jl0b-sKUt>V!0_gd+dyw6@@T z5i-BcmO#w&{hotpK6L_KVv`(DZ-m8foY<+o_HZHK`@LnDhQWA*Ls|R-!k1vbqh8<6 zoA9@-$>_{w`}R1>E$S46V<$#Dg~LdCcWHeS%r1x(E0nRw?PM-`s6^jUCP2romCb4Q z&Rp17w40rm*K+;{)w9IfbpFmW61%^N&uccIKBlHXgOgXyN;Guh^*VXo*Z>yYxXHtq z*_*n!I-42U{nyUH*gE|j2Y{8%j{~SlZ@>kxfwD0FpL=0OdsCTI62)&#@sd6Vk89DJ1_<` zZbe`KEc^?-U?A?g1qxN}X#mJRQMNEAU1;wdQ?O45g3O+j0DhecmtvQ8d3&U;~GBIe4YzNjizJBu`W2WTCGLEI>&vORXeNA*{m_OkA z{rKHx&;8~7{Fs}6PmD&!bYUpdjp=AVHXaxu>cKB-EB1gVZ!%^gjFZf?RdE>>7nJ^p zjb?NUjSe|#6@NQ8$^7JiFNfYsC#ylzcVzZyOGI<~)r_vX0`b(%V3|~FE`7O;Fb?db ze&&kokP%-v=uv7sZej|${2|*G7isnN$Rfa`rm)u@*J}MCFRX~{*gI$-u=>Jq3_ca~ z233&xcEkNi*Y%a-pkIN%n76qNn|OP00^0aqyu5uT#AJ}2#p`S>0{vOf`$sr%R5|%* zDW8(dZ*gp8clI()*;-!W1o>4jB7n;fVx_YmJUZ;kliA@V_Bu;W7t}Sqc|Bo)8W2+3 zZ)wfWBO}s_+|`idY|qi;amC(ZyRBfJ)QA7b?LTTsBN!$%+%a$`}lM{tVv4%XJ$aqQ>}Dn`W& z@Oy2h?u@rIBL1~o!(yrH@!Zo1Tx3`TFDFc|n}2>v#y3^yM4gQ6?fX8n4)`rk$Pf+bv}#<4qt z=)v|@IghHFZ&hrCwbn{im77|2RjZob1Zygv%6|o&iKhQKXiT^OQ~CZA6&_Zx=&x^% zF{87+ynYTHpL7@naTFY)ttN81XMYlb)A4nhIql}P3(*tlWf-7Z8=o4_^BGLP5vDt)}h#$^sz2G(YQBP!CMZt@o+41^A| z!0lJ=6A9EdPMQ;k)aaglxe)JJ2vovG%ssqGk?23Gb373rEQ2Lm33N6QKl%=%>tPh{ zqL+L3IcYZ-GYLm(Co1!}kbvNM5Of5iyZutXQmIk&F#-VTOr1S$S3Y9bLm)`e3B5pK zn0)o&+-0sOkWTsB;&bO zedpsk5D9@1(XzBF;IaI_vVIMu^@Rx43Jcjxj|X|^&9{RV4D|OWE11b*Od-NB#h)hu z(l=W_rUU+x;G6Kx{}l`z(!}zW|^oAeaxdq?a{ z*3h|nVMcseZyt{b)H-GbQGoMi>*b5jG2y z3?~#hJ6&$l=mC)p=F!Q)4wKFOHdmTEKb4jL2>$ywG^;>;Q!yic5E|V2IKxz-5O)c$ zg}aL}!a_RQzqt6j7`Uxs00OH5c4vW-Pksz7Tv8n74}~d?4M=EQ?bd4OMB4{k3QU+- zKiGuiZn2f)(C*EM?4&zlja`bsCXMsUe3zZi4$VVjhZ)LlyTOTgdG3UEQy-$n4`fT5 z1K0n6MfMHM;Chqh)GJrEMsQ%Z)wgYC@u85K&zSux`^mzO&24>&atdx-E zxJq2`2+baulqU|#?_hBPU(tNEO=`dG*>7#%pdPk~oZaE0|2S^AU+n_)!uU%%{*cVnh8X_Q8|tA0Au z=}o0c3Hq6Es(7VBo{gvEO)U}RZW&$l2QIppFr}<#p716wJaI~%fNjJO!$l6g;PG4dOy!nxsNyCo>nK$Ag|?@N(=iy&4ocwPwk+P|fi&YT^}Jg@7HuH~IAsJpX7 z?w``GHbW}RbbVmfKVv&@89gs#OhA+vYF-XXDa-f}OC7fwnMyfVS9x_{G{RzX7+==H z(xbhzC4KaSzVDE0{fg|LnwPP_8i^A-@K|Np1xZG=8eBIsa5VaTQ7n<68C$P_V|#kL zQA+6yn+E1Oz z>`9RqiWd8U6M!c3g;pT2hC^=!tL+}mZ(02k)O6dP%HJ7^bW*W2cb*omkI9WTc$CPd z^k<(w)C{yRkxG!U+T0VUS5ca*(p)?3bF)=~_Sa{D&zNYJ-Cn~gANnKZG$q`wr&8WF zHDCci?Q+`tSec_BNbzXGEG6pisR>27St7x;O@PkoR5^d8W%tCks7Oj#Croe8C@|;ZI9vqd z0K7a%KCBxC$Cq&4RFMl<3Xl~_vh&PexDU00?clNX%*r;=STKhWu*9Vg_+3vXPdqR# z7{+!&%Fzr;HSh}*Nk}IrAo#q$8Eh&b9T1Bhg2L34g$WZis3{5&Z+y0Afv(9+#5mE% z3^VeIxrrPVaT^^{1kR)dJyIXJ7ZHyi6(&Cg+luqs$&pBsI*tsOQmiV8!j%G$w#0n` ziMj7&yGM9yKFCF}Cb?C0t(TxumXqt(EQ|^g7v-$3%PNdf%Yi?PM5qJHJ*X4nqatla zQSly|$7X|O%@~4?tv0sOc)fbG=?EQGH&?uUpqrR9_a8?d-Y=XVUk+T| zxHI}3AqCg^lkI=Zsy;p1%XGz zm=gU%kB1j>OspF1S;DLOiaIn2lEIj-XDc7CzUc@Tr+_f@FmkcY(T#bl{s)WK1)i3( zX|6xYNE!5f=-C@IZY&t+lDO69b@^?#rXOo&>t_2X#b{D(l0Ejy5od>&-cVz*>24=u z!aKV*`VRcdWq^BXL%PfHU_;ucKIT!C%YFpui!oK) z2DA^qXSBHN!1WcNgslV)Qz7DY-&aDwX;t#!6B9s;`Fc;)rVZNFh3SNt#B#S=9 z#emY>W$|Q%D9EjSA!L8KIBI$8lJr(8jK&}pJhrP|8GsUM3$f~k+Z zSjB|QOTY=_&-BGRM8x;^ZO0Xg$7EH(kgYbGsoeaP44K9$wyu3Ti(nwv_MbODgNU9Y zPxtR!px;A&N7cARh* zgR-_#QlwN}T|_Oy>{DsqNaviyPa9JsxFrceG*=XoUTh+0ogmHxy-9Ye=!vk?+!*~K zgE>9ZbL3QwsGs`>Vsl0s4aR<6LBgnf zQIVb0Hrjq09udsOk7&{)aXk(ZgO$b^TYhT}M~qLvHdSd>5~hk@R!yD6i^nA7^e_!U zWQI$+-SHlf%n?RoF?(^D)8>i1GXv>;?G?;MAIC`K(Pm_tvWosC;tyPwAq1bin;;WY zuv)WD$G=heKLu%S8_n|p=}0u??t6qgqwA&6{p~wBeA%=eEC*X%Ewpu3% z8gM4#0$!GN7kPjQ<=~s+-G5oWuO*%DZD5|utb8P?GQLke&dWPB`%X0Ly$jV zuKUJusi`)5#g7F6g4-HWk3xdPLC^J>W6m*mR-v>-e$fimbd5*u6bQcf)a-wi{rJSP zjJ7#XOfVg*67E@X_$OGFt}Kc2Jmhm;;%2PwpI%U`*3|ypEuxh`d{@`f&SQJ2U))&g z_VwGCVeIRPN?N_-%lXj(1U6ioeDZO~MR@snJ>Cg|e-OA6--;c7CA+^GiPmMG7ewJkmsE*`g=Z1g{giznw;oXL~8W92C6vI*s&`0P9mQn-Oc z-+~Xw&MLpC|Cjk$nK{${<8z?3@fiZf(Eyxn;BJ6PSP*X3wuJyd8$1Xz>;Dpe1Wva9 zU;NoP(~%?r)W8wV-T!Dmod2r1u%M;`5zUT$#-5w#R8S-8M)dYGStDC5$gE51w2v`CdMM$20WZ z@H50@NI!qT(V5j9nXXfw0?aQ88kHei3VhDkcsMyH5-6T;iehnCnn8wrY0A=`8AMGy zlhH^#Nx%pL_rPXFny*SEYK=MMe^3AtbNoky35~)r|%(p{(KE5p)ibtRb^11ye>e3u{Jn(2A1$fN)RwUjJxv5a_4mMFA3V zMYu>%D)3^G2x<8g;J+Z`NQDH_jVnA36GsGhF;{V~7%ssC`D_X15<-tRfVWbPJRPa} z%Oy(doEXioxb_szyaEYav|)}6senWhy?_K0y`ac&H>aQ|0!E2d6xhm}L8 z9I-~OI#6yHTn=ziXRU~eo^>AL2x>z1QX65`T1$X9n)v6<7BL>?sZ(>V50`D^;oG43 z5>~h8fN{8f+d67M-}lbd%R_)^;$Z2`47`jByS79?ko5pNRMf9^l$3&ET%(Cs{DI=o zV^mcALg!s}cW@tiXeXS3cJ1L~+3xy2w6v!KzK)64N#wk;VzuFaT(_?c776CNIedIM zcIdo(REEgb_12?5&sf(Y%~K(Q3cR*NaNfeU*ovYnOM zl85umn(6$mI!Kaawz`uUtc*jY`(AP*~0529d87qzA7cH$^=Tfar`V32j~6NASQ6dlP`6u_f`)Nmef@ zqEjLp*(hcwx#@byL}aLm1n&fBk&p7kF;|y_ef=|a8RC%o;~qsbE4@@X9AQzK2bRH( ztZOhPJ!-npUp^y#p+Au005lmQevP7C4xp9l?bOF}oPxLRSidp>oh5$1SmzoG*cR$TA|vR&cT6eHKfob_f^e_o*IxRyr}NQVh+WDSo{48xN-jLMN7?e^0GEj zOPb{p7P*9fAA(WGqL#49|DVJQGF|b=$*lH(Pn%5KYEZi3cC9!yE#rbKo2)+3EbJJ;A!+;nkshTWO&$>!A2TXy3=JV7{*s6nL+DF9&&zAuFl# zdI$CSi-F&Dq$Bzfr(SmqS?lZY5#p7SMhVL?J+T3R3c}2t{+}BkwQVv5fP(;F|KG`5 z5#SF3CMPQq6VZRnFBm?){}urj4$kxebuemRjh0UQW;?onzCocRZbS=7C2WfvsA=*! zNp!QgJKU9MCnBB>0c z6e<<^iL?kwk)he*yjT`_cXc{#vSf7GHU@pN-;jZZ+Klq%2xaXJ&TcPb2G_Hh+V|MA z*HZCeo!3=npT2ev6~fr$Gq{UDPSi`}#A_|kpQ~^j zlCNYqW5ip*hwv24hN}9vxx<^Kt`=)?ctgPxE$nOf`d|sq2oXZJ*wa31;W*RKdIwPy)09C+9u_gY?Ad2<(MdnX_Ec!9$tR^db>OX*Nq@+ zsN;$GX&m%NtX;;j_mhm@3gZv(;@`|-K;GoPeV3a`iPspD>vV!KTdnb|OGuqr-Qdyd zH{J!P7uRY2CbuLS&~4-to-E$Re-Ln7vm~o&ObWRU^ayMqa5gy~QPjHH6zkdu_6<9j zWK(6QjR8XqP>4}gSkanZ_o`mn;zri28A)XzD%L3H@SWZYjeCiJR@NrtzA%0;kBhO4W0>6vy;u6BSQ{y?QaM?ia3nA+f~_R z0WNnerAE~hC$ngpFnaTs>eh@f?2wOW`h#HvPARb!cG(6>oCda|`Yt8YXg^2D!4Kg5 zI&1J?-xHBI6>P`kEIKm~e!#m(G7BvNMLzGCV|wqs;BxOd#c7-nG&NK@DR|N@Lo;uW zogx&^Zd|g%7o&RqK0<@DrP+CB(y7X#Id7~`?%=d}M^D8Eqy!rw>VQg?d6$tXO0w;| znlff813P&gQqT61=k{>#mx8e#bx5w*Op7;_E`4O$v)T2sSRx}Z5EtiW11Mf!ZipcG_*eZCX;{ywkY*V$`*y~ls6HL$2sw6=KauxBQ`x}4~PAtS1cz|O70 zqF&;S~YW)7fEdMGwNVY^lGZrjB#=l6lKho20T20t1c$XPu z{Y9EkEK=1{iq5O3H7JXs2&A$lSnWjO8`zSG|Kd_Wk-W{AR?9{03DT)hok$kLaxoC(UN04S({~<@gx|E!^h3SJi)#u z@qzh{m@|<;T3dEo^=YR?CIb1|W1IpDz^{+R{&Jf*Uw3HF;C2Yz_D(;(Bt}sw@oBG- z{3brx!-4#Pekk^TG9b!_f9oOU?^U7s#Z>?7RbHshDWql_a<`+@=VD+4C8Wk?=WtUr zOQP^8s)4Akp#3sZ`=wZ)q&AlfaOYF=^D4=XQn$qfX0DG+r`4yj)~q!iGgU*%iu&OJ zdG0JQcnDTtYyWMA=h3NC?8N~5I+ujYx*Os8%31SYmiC^dLI1fHFf-;CMawI1HR89$ z;5DkiQ$4=-m~bvKKH(@ZWfsZtbzXOuA6Bh_HBy8nl3B#vcZh+76UafB*b&4@#6wLZg2T0M#=Mn9?ROAZg)yQ$_cV-sK0UJ9`TR~1Ehb?!+ zaVJEmDml#5;p}fOXb1^3eh_ly1nD;81)wkP&r5aSqGzyRHbjZ=wUKQJ%fFVX!ZU0a zGiQu)Z5cR{6cboQ>eN@)WO4tbi)rr0WaNDSW&NUB43p+7uC9t;jlx7_Uq#nI*|?={ z#BddA+Tf#_DoaHRhasDj86h=^E})?X-BAX-Fssxy_GhT2_i^@h#6W%(f_4e$mvd8) zx+R`7C}M&)!w#p)ivq&!W?vKwxA(zw(8%03oN>u*u>1<4_TYI5A0K}GJ9#^EVGw%( zf>WIh?#yhUf;#(J+)7B)@{ko|#-dBnN@l`zzO5sbr%!n?in9jRu3>sE`>48HNmTll^G=6TxZ4j^r zXax#N8M77EEqjDs{`OW`2#T`mKXcH;|BR&>k}nkL_26;guq~i3_KiH&<>g@ljue$c zDq7o>bY&p+Sy%26D-O(Ywq0feg~@{i(MvdF(ebqG2kBG>P8@?jxf+a8z#wj(wdOGf zZcc{oMvq6{{>i4PdDC1T-YV6HazKd`PT1W=dK2vBi)#$vOZ7Hpq0v$OPd}1 zrN_kW|E+C$ntTJhjhKJHmyvP>;*2JY_i7{RH=+6+8I`CO{DF3{`8>C*I1(nHV47eJ zck!YsjyS~}BJpCLBfMSv-KncmHrIB9cm&JIp0nsdWzJQ0yEe@kT|@|M2G`HKKm#?e z8X7kxqK3C4xt+eaQsRlG1XV>dzrXthuE;pWjA$AGRyIVTu*~s$f3b5Ccn*y>nKtP> z*iqhC)L8J~pjfu(jr6@SNvH1`Gy3%5F$V}Xh32wd^c z2VLX=lY;{vCaL?l_tz#g*Y+8+2!5uvmS~0FKC4rNKH2j0lU2H%mS}%zl=Y32px%k0 zBj(kMXwZ^{d9c*l)98}+*xQ?Fjuqi+9B)h1x=)kt&9Uls$n@~~u;u>vVp*n!XUgpf zB!{m~GGbbPClf=xef<2&X1Xi*UlfbU^*^C18`J+mRc#%ItxjbB*Sh&)jPWWG>I>&A z2rlt05aHPsohM>`DzwPfm7Cu>(sA)hPkkN?B@A88t2^*9Qb!4R@Ta2=?a)2Ej8EU* z=mgzA-5vji3`ou+sT7sydS+_Ur5G2a3sev6e%~h7fxPK_wZ1daJqXl%`e*aUbZn=9ELh3zFAoS&W34vm%IUg!)Q&&P7 z``qaE|9AiI)$g*b>U^0CP9(Pj*)#5q~w*8utQj6Vi+1cg`i7;2&r4P zUVH5Kd$!M*4TtrHLmRv@;dY9TOaErGdx?=W(39x-wj=vcy}Je7AD$)prUoj)Ocn+}gVOvHUt)t#4K zYWho~?V{J=_)%}zz4`x|0a%WNtU67sY}L1aWc`-1k~ZVj5HCvPLLaXK$Vt#YHem#D zftAB!dPJcml7p|DxMj=m*WJxe`9ete?>|8`kDg}S1xED-e9blJRv)IBtqP`UIbl_j ze+^OVZBcA~9JaZRckZ*a(LUPbx|*|lXD)A6o9RCg97XBNO2p6Lv}L8Dp>2>Mq@wRQ z_D0Jt*Hh;E>?ZgR$8lI!i`%zqJcDNjfOHroRvxARA~bogdYKyVk6TyBEDxrTkeGNr zokn}7vqI9*`6_DyrNEe=QbTm<0=JVIGdxooT+x>@$Ue~gbId~y*kH1pF}o@%`z7fu zk?cbbwQwiclswfw3*bmQd`q+rLGCrehQc96`Bpad?eZvn92;ICi7Y5|q~!@X5EWH? zpRB4#F;*!Q{{<3mutR1Ks}rm@H%r%&SQ1x$I>A5`0&8uO`HmFxtpfZGbrnRurAqhV zSoCsi_1{F|vq^Jrp4sS-Y@MKN%3Y+Rata6$Y*`zMr3`4%X{*^k{6Q zgDD?-b~omEThh}tgk}L3tSnPqAjj~I-;UD|&gk+MJ-qqO-xLQXOsTPjBw8DYY~0A2 z?OAW>nLWBy`#pVbsTHT}MU{-sc$acZ_y~dgoCY`{uO$OI{ zt~H>Zxp)-_ev1KS#Hvs^Y_jjjv*i>3;5vGe4jP2AvZkdsmm!#aXU9Qnx=H)W$@$pj z+t&nl*nPP2xNSFJqk}SaZ|#W5^*#V+W?q1nas@%zem=PnoQK{ADtJ2K42yWxi%J#z zrFGYkig$(Sp9?0-q|mqN-mEqV<2zq(|Blh1IZ9b8-xa9~VOBIPXk7Lw$>e<-`_r}q z@2H>mLFpwe{htUC1TuKHY|ljW6d~sp2?Ys zvewQ7p^r9`JuZS1p|T)N9b}W|8I)jTv2?;*e?v!>N0C#HVvEm6mhm(1kt_gThET-_|3%{CM)TP-9mx{o|;#J94wP21VfE<88^+ z{|Z`m?}aKZ?o&p5l*z$P8?~EY`Zd*f>L2nuCyp(XI^dk-3n5YFWEYEd9>u;x6sgcP zv_c-l^>m04h_3`KH!`SBqzVOiT_H!s2N`Sy_gNQ16T0=`T|MSC$y~FqxWGHaW9sr^ z?FR>}lns^K2-#bQ10f=0?{*1pe_22F(7TQv;#v0uHk4KNI4llU-;$08 zHj)kl)7vu{02#zxdyojP$5{GZx3=5&v(K}~o$a%PU8W!w78vB%jAdWbzNADSewd2S z@$Og&1X1l>{$0)@`(gzCOI$?SZmP){xi)U3p$j_^vNfszF7Ep26(Ku0^ga1^{e`@? zw`eMI4(oVv>1G()%d6KWYo@hQfo8lAN~(wzU$tJstT;w(-VIKW#?=0A+s>Q-4&@wB zqEwodK(pClo?Uv4cu69>Cm*ne0R&yMga^qGp#AlL#8eo`PSUj=INV+?ejR0JbB zoQIy8c62Zb4Q~&7ZjUGp(~4TFtPay#_pkB`vGxnG;UyjInR_S)%6vIe5e3d!u)~Xm z9ceho<_+yHLZ8u`kcu0MiUoL;ZP^i!;E_kOCMXxx?4 zz~c>K@%2BEi?&9X<+Nmgc46^z&Ol^TeTzXT*vsNI7HzutlMn7Do=zd^;82Fu$&Q>n`dBb3Qst#Z%V91_aHTR`VK6HY zB?3NDy6A$LlrSp%78h^(eEP(a2VfXA5Ia>In|b_B3iB6DTXNuE`2NTIr_W5vmSro7 z>W=LNR*xJ6rwoj5U|&*!EtJqihFSVZ|MAx1lWJ~6h!V5!7f3FBzvZO{%|0zAwMeLNQGLJ4 z9R_3@wJv1T74P@NK~}Y@#K`BzWV68AKSsF7zB;-=$U9qeMcXEp#}0nGpPah?j1gX6zjiOlS*Ea}4Y08Svm2TjZ`uVt%1 z45|aXzc>QzaY$I~B|^plPrI+#sY~lAL1xCBm`+lDIhna*ZA~fKx{k`#OM4mBv;bwt zVRv%LiP|f!bv3+dy%lChI?ty4qGU7(_{yGYVqUxUgXZ&UhQ|E~@g>Ot@*(67Q!e9l zILU*?b5b|#e&SKrNz=&^QII1O<$kUS|2sDp7f8rl#`kq|{Q z#jrf87cx=Hy`WT(oI7`rw0p)<>mOCgje1Qwvms-2RoMn?#U|i^cN7piQ0+|G6y&J{idaNJ zL;$sZW4a%IHY`?A7Y;U87YD)z3N4)oxoYMkIQL3Sc9vEB?^x3X z#wcfTPnp3MqMbWBm`zw@kes>z?NnA{WO{OIO?rwwY1?%W;?n&iQ!Imam&zCkpX1Tp zpEp#s8)KsQpY4BNGczN1M-!)x+7lLFh2f%jej=8g?N~s*3-iF3lzZlyZVesr@eiWV{wMAW3eJj<2m<8 zp6a&yyYAbrPcCfPJ6zhI4whrt(9_`I~d-dQohrG3G%JJ7LwXjDus<%(R zUaVVeVs;3=I=x-|-fbTTa
  • 6T#;7lpad;`~L!uF=*z&y2Aza>Nw{;cU}Zstjs&U z1Y<02f3p65F|J+qh2L+Of0(z}VVoI%T77!?#^Hk94ElBs8e2c3i{lAH5DA9MtqehK z<|=K$tS@2wW##Ps&yW!p*+W--eSVP}1eZ_?0>QJiZ45UlgPrqKjHVV1I0rS++0rHk0?hlOhH;1lQ zJ~FE34;8<_i*ELD04=K@w1&0(V+Y4|8(xpznZ{h($yoXOYSxedA@iZCZi6#d$N)w; zCm$s@&)&{eS@z|&YmfgWc-P@}$BPkg7O6~xW;{twjYzu$K}>P8mcaR(SJX?u)Iz^` z$TTlDa$zcw^$Rcjv4&B`aN@Fo+9yubCI#E<(?PPAmvrC{yTF>f!6y81J?^Av*ZwN` z2Tx1i%~y+qO8h!L2L`62>F=ZKN6JIbc}sd!Yv4!8B1M z1{W&f0yf-D>uK?yL>gY90=LaqabBXk^wx`^9O{ci;;~Xg$>LQBXcxl6yW}CKzw7%W zmotBhSjuA>V^}6*SVSIP=sUtyW{A}F0)`YP{c-|yCPDmC1{daR#~fQ2<}sa)5(VID za-L?JpBOQHM%ezZJ{YBEH2`2Rxmo@Pw~2-2zn}2`?KWXYbdZThsqQM zM50^LmWa?l<)C8U`;iqqw(+laR~{(tC*r3hT$rIuZM7~ea9n->s!44#V+JVWRx)ZqDv;F6 zQ3T>@gtJc*9avcR)YB|S2FBSo$aX{!wvAL4to~ zfvEPgsJ8P+b1G3__Ivw0-zYdM%9k=L`BE$82w*yGNmqdv2BVFl*ISszT1U;a2M_-! z#j+d2EimyaQL)gtO#+x~l{re7Yn8^bALGK?JU?PBlX6#0??gMG0GW7TUh*84>)5bI z`-jt#?rh{5c7C0U&`9o*6gik~66RLmD&}-3-~18otWe-YqlF zLcMiGcAO21IJ7fbF6#9J8;Fr>mrmSlCyn>nG^xPW#O^OSKme5I_f*yt+F$gnr5E%x zM1&RM-6g#0poyEYK~pTk%=6>_OzWOe(mf{ySdd*~yZa;6x52J&3i1nlLh5sUqAFQy z(Iio&BBlS8sQv<7rM1IeQyLU%sbDCY84~O)E)2EWh166Z7g$Z-^=uB~NJt^ijMdkj zCaq6a0m#i(mDSuG~sYg5#c3xR3M%9dXE^ERhlZ;+bk z_Jiiw##r`{YMD1tncz@lI?mdZ=Ma~L5=)_&|Lu7t=}DUymr2zQ->OhOE&Vm*Y7f&k zZA+DIE)DCZ1>?hi^{>*Dk2%0p^8%G{U)_QC5>XI)kW@qIQ4bURi6W%|WDIt=V?=y$`b(PXt7mJ?b@h1Srz@*p$l@2qZBqYJy*UL_ z1ktX9Cuv}Z(bF>+g-}RS*KPCA-Q_^SjN=3xSRDuUk=nQEM++Z&im>P`jPau&vE0&q z`L2s`Bt!VNV%JaouhKLIxcHI%wW!ix1i`2bEylpeJ5&LNJv3b3xL+(ceUeB`0fPiq z;v^C3x?gnnkAdxtlmn6EC^2gE7EdiYb4@*7r+oTLu2|q3aT-s?x$t5(@tOt^xH~v6<`p$I@@(#g%G9I6Je- zYDD)T)jm6yGMN$T_sHMcMzA`4Eq4y~S!V&Xci@ca?d<`Nn74QE*fdJYryjx95Pp|I zBw+$};99W(I~1+Vzfp`cnzDoFS#hmdfJ!i~$S)8<5I!;#vpS_FD)q(vz5cGpxwPrE z-Ogqgk4KZd8VqGpIe`o_##WxXJw@i)J3=#PIZ2Zj1>^jpArdz|QiqAWs#f+#5Lm!6 z*fz)iDt_D+SSwqNeX03x=QMK)Dxq1VLVz>lqGte{S{5!5And#w$3AmIaR~qdbFnO| z!WvkZu_Hf|!gQ6Jv4L%Ee**F=%ff{<{j%6$T=yh;p8G?dwR>PHB$QMsXssj6f@OAU zSf@Lt5jgqz;enVjZ2|*Kt=MlP0VV`Q{2e}KDg9uzkHzON{@@x*Fg*cp_VcFLjK;9- z?G|>6^%5nQR4Yhd%6jnGBtBW@7{t2DTxkjZmoCp$;c@vyRSC+nj#9!gB~TXm{Stcdi~xG01AIaiMrk!`W@VX_>EYv^+yy1ybV7Ce*odxE1<$9Q5S*5^UK5gr#gFQ0DmR3 z09JW^-^I%@H5sL-T8N$R=H~u=WAsWTRbG{75TJI<-jYdXrJZlj!VvhCJ`@b~trX09 zgT<-;=yXWjAMTvRshOAxzABhlol=C0TOhoL;jew+G{axfqI7MeaARJsf4;#Chb9q- zrqtV%a`gJ@NcdID#zS99{C;bMT63etdH%FMx46kWas|N)u`$^Q)5c6`EQd_g^xmNG zDvh|Doy!6eX%73&X%iLO zDe1@@#H0}AuGfBZ8j)s?v}6=EJf`EC<2qoy7A^p%TmKPZUCI-A*1B&AaaE1(s2xSC z(fOdGwEe#BUeo6wE~nLt=sv=tv908Uv9^d10@qN_XCaCYu=xKM?fgG2

    n$X|)^i*HhPs zSKc2`!jd#rl5L}QN#RirP-w5wEg%2N6Mf2EAA3BzWb%A|TiuURG_>Zy4D>SHJG=I_ z*dHSp?O?4RtyuOLz^#}c(9>2uI~nk6)xI>b?QR9i9-8m&cfv-Qz(w829&M{+id~^v zIvndt{S2xc7!NYqe*jMddrfwSe-B3lgzung?ku=>=qosDW zlrxE63E+BX3;QZlW}P3rn=sndE~{6hHR$DTcN$jB^v_cryz}Ir1@h*VS0(SG^J zSldA*#_e}>#3SUQl^dB2yMmfh^J{H~KIH&T=wl|CDe+@`LN{YQh>`>c9U>-IS2E%) zS`k+k*@4amxb*Gc*pdH=ORQ)Nvx~1%u*;hDZW&P$7e1+^80XPa?v6l2T2|fGHY1$< z9H$rZHFqoV-x~9RR%E6}!ZyIxg>$PF;VHIdHV<sQ!VbX0IqgaNuEB zq!){cG>egBpKezUe!o{A*=Ooy{&IYjG8{^9SiLXT#~fX# zhI-YECHE(#8$01k^fYBC%-}vLld?e`(ame{HNw7k^e#@_8Ph>Zzdtad_c^yuPm8)e zL3|A-U}QByxWD22IB|5vr=UUZvo0mBbygjvrA9Gjs9zR7LCRYSCp8IK=~@~P$u1Y$ zCDVFFidSr>)@ELpKL~HaeN&St8JN~We}QVAl?;{{TK6HKK(?Re8Y-Uu87f&+H9nMf zPLnoO6biJ6LbDv_9Crx&m^+m(2Q5h^js)MA3#W{z)imz6%2niO+N#xa`NTteA5r$- z@XEZBM0Yw+bf(l0$e2wfij08aP0WmQv~99pp;H}QuUrP|`R;GDSg#_fF>X<%G8Sy> zG(z8G=V1|Mxz%FVQ8Tfa8!?0f&kWRcm$9%lwtVZGZS+8y{4%M2tdoi)S+YRm755Td zD#CABq7Z%(8K`eyAxQybQi9o{gWrphju9PU1EunZrGl_{m1z@2vHAh_^LHeW%y~=D z&R$yJeZ^R5XL(|`P%F#WEm0K7{DyKzqHo5$XV_N)@-RHs4o!E;3q+b(}hqekI#q8O+tX6Ad^ND8yu?L>ZCnWBDMx5RrrQ;`vW6JZ9Lc z$6#`$L+}up$d=ZK-5^zvf>Z%N15yPkNEMYb|5PC&Ghn;h^ZEAX%c~<}^lYXeJc&73 z13K)Bik4?^UY#R|2}BSRb#Wjjc!7Uh)KAeI#KH-Lrn}d|Fj`xX%Au z#U$f_PWm9Fvb3(={B$mhr`DiPFDmP+28-Bcy^~e)Ct{wUAJW`nEji-=^c?-1If^M+ z^SBe=Y{_mq+6>mmnuMWDQIMfUwV#Mj_uA%Q$vkhdTGSi3F9Vq!Xf#T`cx_n2J~@?$ z@8OYL83$(H*a1c~g&yA@(R;~6RlTsow-)103SKzCpwhhB~A z6Bj*;xp{P#t9BvpwZ-lLcCMh~61vxW5iu-O=ybblJ9JD>>%Ba;yJ@-sb zs35Ai;J2F)9J_-fO9Ee#%mduR6`NSf6l#C45G>V{t6r3QUA?RV-kBJX(l9>eio}j? z1*sC94JfPQYGj@o>zmanQ70wXZTC9F{Ek=PJwWtKH%hy2lEUq@G>P4F8rNOhhK5lZ zs7Bt&v$l4R$k620SZx{-#|2rg=8@UoR>rM4%%bhFgl&@P=A&c0@Ph??$|IAbGFP%zgu!S#2s$EbldG6R7o8DgG3Njkdt1)To-haD$CDTd z9qf=XMRzZeA)zpX#D1@upEcioYpp84eblwJr_68d-RfU|`c24>#5mFt4s)(uoo5Ec zE(qTA3XdO@u|3^I3qPp85P+4|77;O=K#Pcyv(8$w&c+XPY>NJn`GTaQKQK4NBnE$! zI(36|Igc`}%c>ZQ z+^XEaE%s?mdOQ8#g6nDs7YEf8%kO9bK2IS;6d1wScassyK6HHwHpLs3wLm`pZVDSX zas={d(H9j-qgH{&Is`Lc5|KG3tS+=&5N_ys)(|5!C5SNQ$VBv=g0>O*3Hm*a%~rj< zd;V4>Qm3rvlFWru$LT&|G>~PpxRZwOg6?L;*2|56K3}(Acww*?XRmdCg-1BXeSQ5zoL4ZGrYkLArk?a_1JtM%S@ zFMu8*C;?4Ae(|WwIi!k#W5g!ufrd#L)M3anxvZS8hVs4j_k=e!ErDGun%a(>1VOO^ z2s~V)A{nN zC}Hz6@jT890)ZHWJN1zwG?3^)ePy5@ zo)FL$8a1_^eR8lscL0aGFg_qvE|th*wIZKl4)A{7yQbcxvC9M!|55#kEd6h%tTHM~ zKP1ih^%Hu)pXf5-ps}OV#9^dB<&68ne+UL&k9A#-4|iPI&QtxdCA_cwt34P4Z&(u_ z(&?3$ZU8RtF4-@6*v9Wkspn3W=R}Ju6aVuT7Hh+o^WE3dv^p)w+Ox{@tMx2BNG`cB&$YOSA|#=H{vI)NLdtqXTe=XVzAZx^xOy{13&k5z3HJbmaO&w> z?wvKz3^JBGM_WSx)YkM)d9*93lF7nlvBcoQU~9K3oPHDNU^qekEIJX;59bw!2dc4}1vr z`lsGFAzBI8{_^euF+IpD#lm{5weF4(>v}Y(9BwlLce)-OGHC8(z(){?dBOw$)aJ=8 z3tv5o=Y2y3tF#OaO?34qvYH8AZ0jZ67pna>`oOd!b59Ep>J~`B|2bMk zU4-^&l$W~lXElsrL$3#@DqCd}RB*XsG~d2`)G3{^D98;wJ2*F;``vFRN(*ic$t=Af zxpfU37KI1SBG#g!Lm3LGm46YsZdtfNDmDu6)ZdYOYt6(3o6grL7A2pz9w z(KAFMjd8ADE4YSwPwvzp?G}0 z_OOJvcqKHg92)(2F4wF`-l=$=L5p3MK;rOOx}3#iVS5E;Gwz!Wu3?*J_HRWhEIg$6 zSV-q_N~Dk7bd`^sbU^?&S8$ekt=^ey8y5A@;u%L~07QCcg~=%qXBBOah&ht~CO#7(2r>;O*}D!UX(q z-lDTYRHd^Su(s%ONFmI1Rew`bs?}{ieVZuxCH8oIzW-4D{8kczHf7CViCDEI($7Dz ze@?*bqPNn8h3z)`oY=nK*2FUX0bin*?_JC)hF6m9z8M&jd2;%EP*dq{*OEUZ51%!X zwz-Tbw6viixP#0!?fAmH;kb^EBK>eGAO7X?f;0COC}_f+yJxg>ZEXjOR@{D&cz!{I zxmOjjM5GHx%m4OKAdxcQbMv~Z?+YGZZXJvBfW(|+H6_iw<+r}E;_T|sWjDnQBbsoy z4UyAH$;>eC^L}?RVyN3Jcw4-*^xbgBk^Ibtn-_L=LH*Chg|By`p7v~?gU<8X{OaE* zO?C4pz<(&`OJC6a*_yiiDQR+gbqb+n6<1>bEPEZ4gxb5aYUTZfaWaZ`O_}0xfOVW; zjN7syN~Zf;8c}pG-5k-ft69%wuydo(gCVD9SAnr-*x zD%)qfKkoHq-_kZAAaV=-IyDc3gPPaqMKL=Z z2Bww9={A^N%}e3C{k|VpEUa$`^r%aGiVlO$?2XZ*`6>a9T||}@>I6xxWRnveMw@se zwA>~+s>I}SQc(i#j7YC&m7}J)ztR_qe#du@L>}l3nyZwp;VQJkep<)}IJH{e3(_uN za`HSDnEy6thaK>|>XSab`_qZIoMI~00nqCY(xYaeA#R^)v@}%+>IIY6msDsSrQH6k z9w_RJus&%VbKU0m?9}PnRC|Y*qrU%20L&)?8N^xn_C71+^ktU!W%yY8$=x+5Twz1c zd#YTg=PT;p?h{l|DK<7W+=QDrD&<$I9PG2Fe6Hu)w0WF7B#Sl5CNO<&tP}{z0Jcj; zVq|D{N+y#6?=fe$QlG;0u)mxXEp=hva7Q*49<3oAEdg|YlsmTA{jD%X+t{o)sXSaQW)ZDc$fbCY5PLSD*mXcY3jK9%lFC50e5woXKb7#2|b-@z*ULS+X6ncweZT|AnjX*_bTw7Y_ z(%FJXK2J?!nfx^>#!@qU@1(8kd<8m*_ie84_+{2^P~*??+^39&Q!_?iCCyQbZp2CC zRIVw`P(hp5kcZJ??}OQlH%?b~`qdlgUfc3PYA7mF)jp`K&IkRzsbl%q1wl18i5wzk zrwO?IlX|2yj9+8mm|+M0Y(PAZ5%2Cr39MZB*CQCYL@&Izo#1}v2*kPeYbXdFN>+Sp zN143<>2y_cJQEX^ZIE~7&BjoU#?pgKpok7#{Bb+|fCv%dR%C=o9@TTJL?U#-yT1k(v7eg05vWn{-5Ru@1Y!WD`|Ip?2$Pqsh2_e^{FE_b9vmKq`xZ2y{}^RTlV4og3yDx!MA?hxo` zgZseR>2Zb2=;wHq9aXK@5mU!mP?vH`q>USG730m5Eo@{ifNia{;G5`d9z#m?4gFs* z_=PB)1m}zk<+_{r{k&f(G)8kYNt&-=@F_V}?sSSBcoyQ*$cs^mE*HVDebz zL%QO{sER@KS$c92%VdnD@q{VNCehr%?U8?eFt^?FV|D?Pgi9=Uw$+&S_4cbr2O%C< z%fyctiurICeo1&0nz`~s(9$gbEnN&+dWbYUf_3OWfPBFs6Q2-9izBc$$ubZeA}fdB zNUg_p02h$_Uo3|Q2?777ii@n2dIg-I5hDj2ujc?t;T<+ zw3Hx_peYJxV$%8#B&5bo1y?YCs0(r^3ePiLX3`8oPeY%mPJ%3H8DvQr=O9bc23eBT ze}68yXv10+F}GflGvJjyUPoFKEjwJT6ln@1DD^5u@`)N@bAfEc31lPKVWdyh~+*A zw^xCRbm3yM5|I$|p44bkPjZq3bCZyXtkA(^#q~UJ1w$0qheHxB2(-BiM9-X{C(+wyS8P*iU;*hVD(11B2C%b#wQ3=#o<) zsp|uc z1H{MGKYM-ntRUU%tt*mK--Mzk8}U(HSI%S13`8jbl z1}YA;BS8v&TGg7c&!L-hYC^f4bF&$#((OOSZ^xPGL$g*g)SyJuvXhq}SkM4jp&e+) z2lo6Yv8pdJ5pien#D~RQ3N&{9-nm}l!gN-2Q+fW+_hu)sA~Ko>p8wh3fT|LSNwjox zhAdaxv7PKLj$EyClhOXwr*iKH|EzcD@E^OW+w4%7xEx&nhcg6j)>P2AJUXB3M*ZWvWoPD_lsnm}Ncf$VfZw^- zn^h-aZ%&#~uH;W!$|j7}Ts-*K#4&JO6;_8YxD$0R12o;$+)ze6m29?ee=G_rQYj!% zRX8Z^?V-Q-bRkl;g!cFijX?wNxCxVIZ6Hj?tCy(xLWxh`dVR6<^VbYZwn?;lETNna zq-8>ppu*S73H6@uTS=y~`1Lu6nYaf$R-?tJXH=^0K75^}2fiK`@}|KqdLTTS)=sS0 zV`0;gamF|}isxX$A9Yn8UvDLSspHOel@@4XVC2n4d09vILg;XzCjex+3)?VUD3gll z$|~g(m(L;FwHK;c!4IkxPG?J}oP;evF~%_EyHRpJ>7AB1&oIG025uP{hh0KOaND(} zW{B&35uvm%RpD|vPf&^YjHhZW>OrMlp36<#g4{+iaTt8IOgwHScWFq9 zEE{;b39;lhC;QZ-NVeXzNRc+SVU;)T3ZKLL-#mr8XFmKJ`r@oPyLcbvvA(!ujmz56 zAHN^JMlZtlAaH-u(#vvBfU^A}0__f>v<5_J041KPvLuL7pqxYtUe8(^0+G09=juXi z;Iw-YA0t**Est4ERtcY=d~RF`B#=52YDA<9tWX0*TN354fY{=%o1w_CH};(tx2>y?W1=pYD(DB)#K>LU=s-?gkDvU0tI&k{7q4bWK*^ zqLns0pE49i@$zY68eq|cMnQsC$KrMLA3J)=E1W=_jDND~o0w=h_8gQN?$yEOnvF71 zH*l_$t1U^r8F%mUAy8~^#;;oGB2kQPT0R!u)g&8t?#ixC@hX|rs3$*mRd2{$r1uG$ z;N$d|lo;{RcGcHYtY&NnED~j$>HXyy1bfQWr8Y+-8{Q!WtOA$+XNm^*|IA8EmDU1B zf?(tRpPLpNwR9cyIMDory8C|o-PujQ^0dWLKMBF2h$}Bf6;29^t5Ong(6wt)d3x~K zZHlwkU1q;Eb{jnO$$1&r(4#GkBZQs_Edk9r*ZLN>cj*#$riiTarY%|=dfDUNv3)p6 zptiEpK+t8X2(HjuP%1==^^wAzc4t}hwo&;XGOtp_}3d(uySYef=?`DfgREj z)x?)?M+hMAaPNw#!a$Jgx{$*v^hL4GDIPe;7?D#WiNk855hGEvJeE_Sq2PG52VJEM z^pXP?R@6N_e207DutCPd%#x&|GESGU_V&zrljC;&u&u4gO6m#RWTb0GXIRcbY&$Y^ zQ3nt|gTBCdFsu0UwLqi8+CXe)B?}9)h;mc5cTKd?!*mYx=l8&CM7zwgTPkl9tlAlS= z;|l(u1`~f{Q|h`!1ziP&lp4W}^|O1+YQ}0#5hb6={^zr6$ECC8fKA43z{S(sy@emJ zg}B2V^=@1J)Hf`xr6_RuNPK~%{F!2?9U3EklZk)Y=z0};%t_4mYOA+SaP_ikf-}q! zrB_j*|Jmf`0F4pHC(!#es@uR$uRw?sk$wFW=W2hY?)GZx-P3{lgE!FFdd{(C_}1a& z<@;pyK$Z1^Xh#qqpKlS_s4u*-|A_(Es+ifnEaZnj+;DC4>wbOK6=vR&JA+$YSsXgN$a3B0)$dI!pB}>J)ndoOS#f1J z$~cNw*835*4p8c=3wD){#D zt^e5N#!5f}8ZPxA>g@3HyFA_6uUP8jr0)uJ(=YPndtJ|#Dvbowb8I72+kaxG3TSr= zzu;8vDJqm#oc2@o;a9sir*dryEO%1>7)n{1TY3fytyO1urgRTiwUS~VG>?igkH%!j z%Z@`-ER+9JL~yQ(d;s8u!30^b|L!E7` zpuqooat8tj4@)XI4HPB>2WhGkA!u@u`e+4$zc3o~RF|Ps0nB2yQ?9yFFTcF4AX@ah z5Z#}^<3iJ#ej}xWdTjNFlwOT6Jh(bC=8onS&p&}>EwQJ1quPT$IaB^p)Q6AAa>v6c z$+B651DnU<>jqK;R{tvj|IhmWU-Z>1`WO5d9I;;6m&OAC`=WxHk=jcSB9ED)dHWGO z76P$X7j&P_JNSCWpS%D0hLyGX#|t{M|cb|0rM40%dy>4@P;Y&)Xrc{j0-oybFxxB(X%{s&42p()6!j6{?hJ-Zcii9M` zTv$kVprFz7v1BYY?~f9D(8Q_t5su~#M!@a6B#x9N2mzSe*@3A{Xn;vtfPE&!{mh38 z3F#jZ5O5rf=35ySLQ-6Y&MsnZsL(9DupT-6yct*-jOvp ztKG-=9a~c*S1=znSQ^<8u)TACP5^fFl~@?^@nIVb?-=hx_TloZJABOUJ=xaC%*@8l z(rDM--V}kEr5OTZZ@}y*Yc0zP42E+MfF{u50apC>2wU*dbn)^0pk6E7ApO(w$a}WL zw!80m2zb&~d3a`cGIZaH;@_DvewgAkvfwl|Ho>fL^Yp#W=Z3dJP95#8tsj5*wx)14 zRdMEgh)^AH4pITb%Y9xyVIuY3pnP&Y#s2(Az{tjx?c^-d7}_h5OM@%V3s z0JPfLx&MbV>$~~;)YiGRr420eQylm$Cl|QiYrvH&yCXP67ExBfM$U)pD^sAc85CY7 zArClGK=A=5Gq5ByCY;!PHT1@p)(+l)Cph>6z31=ZBp`I`BbQcN8I$~y`xnq>=?pB6 z&d6iF>!$ozq@^%Bh51`(ZVofWTFVLn;Nhq9fS>(B0=xX!S7v7Z@E}0~oGI<(Y{9dD z<`*Z059{UqO*Y}HOXz&4SEkgg^PxQma4Y~uKQkb?_h=V)_v6s%Lv!S#oAx7W|HEzS z!{MvRgoeh)wdyPJ-;Z6c8qQ|t50BqNd%S$UwgJD+hZvV$HA%2JufqBP&kh{ZxbuN+o zhRehK2ucILO#sjk{S8h~pG!$^V13o%-k5eCx6~ek1i7(4@=z7_g^q$$_femx@}3QU zKlNJwh4po{dxZ6MB;duv(}ocG-&X{1V!aOz=c*=US`*Z zXwzC((|tRZ0CGXwgAad_ucl9^k4~H#ppQD0AJb=HbwX;tNXj@#FrQFA!U$G{=7kdM zK8D_=JJ(4bh8kCWZGrZ4p^3<=f;S-C^z~@|O0lyWZEByyL`$fTSm@J$5Ijj1V1Ke} zo$tZw0`|W9DhS2hy7K;cTP)~CXe-Po73e{QuKH-n`f&zenLg)ve0)CqJP&#Fm+Rr< ztRTKVsDG$=rrTibhxr@o`=TZ(+7S$UpteB`#|}zeDe^a<6u|lIRJ5MEl})*>shD4Q zr{{j;=qKtgQ}}BHZppO;Q;z6DLT44bs0CY#%=3=lx-1OAE=JS#`@Q#clxoI?Ly&fc zC`sC@6S>v{<|P|rWn@plVnt_aMmMDvqE#xEb!;aaY@q0;kszDy7Txv9nfcnd5Z{3y zI!^1Q)EWF08em?^?&BxVj9&kkmmIkiwGO`(9cT{C@7C3J?Y*;M4~R1EZ+MrR%45(u z8M<=QKW;vq?$gP|u4_?fWu$o;HUBZ4HOmqGDy@PSl`{~+qC$oqLgm?pDDOiY4s*}I z5v)JTUsRB|T9DR#`x+vP?olFU5{=~{6%q<)(^`6%kOPNvwYcLQtS9^Z+;r}rx_*8a zR~s|uhPp=8;?1UG4k^C(ZSF&DE7}S><3|vX(J|BQ8zFogK4ud$_;_2_B(;wiW?q!8 z7@F-tes8$JeCaQG*eh&7c1>A`8Cg^nOr}L!Gd2lAmt^a+wU>IEWw^@^klFK)6;#Sf zC_Pr3!2wJ;GF9|H!Cm?~Yg0=GywbPv!~TG9%x%IsSHI5=N{N~-Bnr_S|+K}&S;E|bB;e3>FnOMEYjr5=dZ77*;_i?+8tX_Jja$+oL?M)^T4 z0WItP$fXQv7zarOtjG9Br)>KyX2Clh{a;ABRF) zUw2{t-Y|gqsa$Qh;&E(0Owgkp1G)+?;L}T_UhY9y{t6r#PSemaM)7p?nvU%BjXrat zY%T2!M4T79SKo5Vj8>86;mnD!Wto6MS2*CY$Lg=*{=)0?Lu_HV4zJR6r)gmBnbt*3xoUesw6M3l+8uYnV#Tu-ndmifE}m9K)PVme$??kaW{?hdtBKNA?JOCzjiG$`-XiYLmd zrKp!V)Oxe`Ik*mkiq3WoY#Z?y6EfSwo2%f zQS2@c>Zu+`S|OI4%ZyG6T)=} z$w$j@Jh`GJ()1FGdZTHr*b36(l@gJ*l?zx2vxsmQ+WiaWrxH?}(#Id-`Md5l5PGQp z>*sCNGF?un@)6Db8)&coFpMnB&(i#vIOw3uUk&!iRi!cscQEg z#uWv}>*{Nf--nN!Vu_*Ul}-x)Eh!V5yzstpSDh=aCXK9?;I9*+xCU&~_5#R};15e^ ztzlR+2nuIE#gI%FpmREqkyBK{IW@5Q(h#|kw_X2yQ}!uqKdPIcqBt+&A&${g8(W}w zeIB_@HK#8>Xk{U)s%}AU@M&@HKl6wfXRVyP3zE&y4(bzh3({!*(Y(J6{IMG>ixwJe zJ$lOpD-LEa4Pqv?*-&nUi^QD6RmvLsmg7GmK0s3uf_XI(I!Ns4jwWg!sF-(gKeq~N zp8A(fi#}!r_jdr;_PU-$R`)wD`6PQ+FgGmy*wC9*} zFqfVxFC1g8HWrjJh90PWtlfw5Q~J0>XAlHI0~+El;QJaiUA{ov)_9k{b;Lo9=TE4I zRWF+93ZZw=ytlOjL)$!Rc&8~e2Rj@?1ol>P2ZwvUxjID$y1?R5Jv0l)LG|(Wp_g?L zjka!?&)jdz$tmF(MX_cD{tm_aUlEv`D3ydWWZqQUt+bLcTQ-<00kyAvq`$~E#Qm(^ z8;hOBBqFq}RBY|U<%DuG*Q}*CLf7r1KWiCVM72b3*7*eBZ@S(8vYQ(}lU8t|a_9OJ ziS-bI)!4)_1_fS)wZKMrAXQC?BXb+rC`653NJJ!TXjc5SVi&^EZ1CWOHr(oWf4lPW zPPSlZDHyq44ZMIDHgK^|(~|bOD(>z7TpSob)lFVbW3YU1H8iPDvO{Co$pm^PgQqs~ z$^mY$)en{31N_hT1+)t)V8^`v(qAXIJm~hnDnVVgGrKr(aB2ooDMj01oUWkZexg8? zmmtzle-eXfHKlxM;OkSTyEnGPf4YY^5ZiRht;g+jE1RtD0|ydb`G2KCqt(zkeu|a2 zE7_P}eU`41^()F2KhvJcuCFn&dlK)o@WgWWdAA==MzueP-UDNsC=lk zmadE&Snw>~CLOip@+V=Y@{%=B44!xUsrmKZ&^h<)`ut>wA+U?l(pn?wzEJOg7#3aw z*P83VrhWkCQ?*s`>KAI0OxS4%bZD%u(GJ2v&*V+?RS^KK)=l~=*&j3-t7v;~JaQ}x zn^3&*weQ_8xhe@Je;A}Q|FDr&X+B@tg466BoT!^tSe*u35~Fl2$7@bF%9ww-h^I@@ zIP$67({02ksdpsIngwrwPx_%hIl;laJ~3CSaW~lfodLN!LqI0lj7V&EnnbOTw6TSB zM4zh0Fc1|Wf12;#`$TRwU8=KPu}?ZSIcX+WCI9>2DC*JpMr07fHlAwm7HJUPWns%B zI5ykWUI3zjk9me{gbO3-NR?R2FN-KUZ&VPQI)5^#kSVhD86_K1d$_=@%IB1$9eeQV zJXE*<7ncx`xco5;%LF+v6rI{^XV|*e(XUUAAm10DjnQhi#Cc#;0w3U|P}CicsXeCp zG_(JL#gt*FW)%6-7Ui`oeyN}2OC9gHw zS`-c_({jto)+-PFdDVgJ!0h{6-WRSc;w<3)k~2Z~)d^+JL@RoZyj?5*Q|Q&N@%}jL zmO9CG2eFhDoi^H1bEB!?P^*}nW$Nzk$d@O^2!S6toh5-Db1C;q5pzthMx#{lnlh#6 znmq?#x7qS>+nUwdT;&OPmTpZW5LuQC5}&kz5$ItH$6ri~M={#C_irzD(P!-v4`gai zoNE{p4l`P{ig@2dF6lRadxYv`K#)G&CAT&yv=sWg%RrjO^oOH%@ns#Glg9HDobnr9 zHrj?J5YpSja0yD}3KvY+yV)~AITI!FyP;!(=a+cKAAY$qx?+^)lnZoDG$F75YD^yw z$U>ZKW9d1G6LLq{Q%moy1ZsF*8$@k(qib6UH&}BAc8>5GF%d^;%zsQ|rFxO^lE2EE z2TErvz?IYC;c)R>!^ei^;G<6vXKx|^Xijv_5=!Ypd&yzTpkBw3kitHGG)wPHU<_+C z!&NPH(v-%C)6wj)77i|x46l<7J-iQ@zRf!-ToW8%jpw4>^Pu=5oLDPBQC{w=FM8U+ zYNt2`_Dg+P!iZ|~RkPr9JDTsR!fEBDWMldUjY4H8UOv~=j(N*;ss9&>#O)ITfVB9Y z46b^L`fi=n$T7K<^`?Jy7Q$c^pi>o~S8-jE8w&$V^mR0Qr;_d4HkBQhis6dOBCjIC zAcct6t?tB6>!(S3w-)Pa#VN9Z&SdGo$Q@f3&34;3gkQ3UC-rCJ4Js1W-$Z`Lss?hN zJ)fliRo2~k>7*>I4NS*myA!G-sDsHtho0SDujH*!Ch>LOtWZW_Gx<>j~lx^GiX6i;RjDgBM`S>7{OxN znMRInhHEPxw?FL7REdMiVi~1{l79Tv+LDi(@W#%-c{8&aZs*7?CnUdjDe_ppgg|>^ zq-autA8qOAP@t9J=eR0s5oJ}e-{xmB!4S*uS@%ACVScoHYh|``I4-T~ZtTd|Rx^VdA!*~Lzojy~$+||zirI%V{S+gF5I43;O4K;x zw-g+4JjADO%s``dTnqNop(oHivg$6QigweClSZ$yqNq|1$)iIx56}^ux!k%g^-AU+ zp}$X+Z*5v#j4w^{nB8bm{csZcPUPf#9y@QR+o8?ZvQ|vLCXU&E<2xC^dF#^tZFRog zfu1P&*yds~)Qt&|HU{-qSGt)*mIg-N13Qm0R@W^f+o$8uPdXhp+AD6QFA`eNgERLT z0>s}}ajbvFIjp*#ECQ5#vX!z5iGhxT#b3M2FRYu`1$_kNNI0|I`7NBZO3nms-084S z!1>PcFa$SSaJxE<0>krNvC=rTV4@L*G29Am;XvahfnoMe-N+VrKgn$&611n5|XhVh0MLk5(HtY?RodjYp_|RQR#i`A|mcpEp zp;Y6it;zWZ5Y4FA!CPZ}{yhEX-^LxwF1_x@ndiQ&Lew0#FL1JF z;?!~eq)KpHs2Kocc0AR~x3KRF(aX8LXFu%)vP9l&vK7VmwK}>!190dm@4w@A9}-0o zg@h;!u?pMk&+hk>@lNCqHmUQu##SjgRLUPvmz%7qp-K?eI%P)p#U=LPsI?NsTo+V_ z`4voUgFln<6$FC4$IVjGJEz>X`6B)FGc=;HCJo#VgpL6?29-kFN@-5bE7aUNlc_QE zeeMS`+gf*xSI+?Kh?b;WO`Q|ALFCVd(?{v;|9ZfjIi)ZZInK> zc3J98`p?bbZIq02EjT_%>G)QiiE|8n-b1)$WHJ$FWTUu@mBe6%=4boxc^r^pKsiKgJ5hF{imyVNJAna>8;z?3;J5&?I)RL5P z!h0CEVpc_}aM6}CeEspqVe^1C-FB!t$C&)?H$x3-0C^4!So=Cl3B(K3>jQGnAnAYx#-@O{{+HO%^jL9>3>*hpQj(vG?vwxv=vbPRw zR#p+!P7A_}e+%bP~uT8zxIKOo}#r1aX?#I?A3JSwkn5VNl85JOlP|PF7gm z3n5Rdi_*f1C%?X@2sKuq_Y56)*2f}9Fy{>m&}Pg0-uWK*?M;Dqo1Ad)Z}weqE-v1y zd+BR77nz2DJ<VM3Px41lDA&Pi4hv&&imTe5NQ2=+j_;@2-u74(%#qcyhe)L*dL74r*xgGxms+JX89dgZv%5AfjJTd+SrZ+fb$CG4cx zzYfmkuPo}@HYwAVsJqCnfBmxbvy+H)=SD}0jRubDPT~T>?~Fi)$59GBPpLaP9+)3q zUMYl%${lbhI+`?=_6ffF34iL*;j-oN)?;3DY6P9h-g@C&!~1<}cgMC9VWqB_<=q(DTaZE@U=(P}xk9r#EM{ zJ3+)m>rsz_50wf@-Y{K`SPG$} zSd1>HyYg9G>ibw%Pl=+?n z|6c%GK%~Dp+n$129*+sO_$D$ab@7JsBwYvfIm{70DS|Zx92AjK#?Zu?b!=5B`*XbFz%lB1Anh+g3BUjf_{6{ASlfW52cg|O!HZyZ=PsR541x({bybdVf(YkOGHo=-p1);1g2Yb%pU zsg;m$Y?<$P?u;?pjysB78_^WYNl|Vvu`)y4S%jireVat+%vE>m3_wADS?W7A=aB~( zMdO~6K)R~q0*%4kz_{q1hJX4^9f3EEf}Dx*vKNW*O9j+u_4ZfJ@3CW7G^%;RE>lDp z&)?`=1p8x6Ku96V1}xOy(75E5sMN?`Z07lk`d|c|$pc3E`wU!Gy9k23?BR`a4;aDC zzmZ&rKPiFgd#uc27#`z?o>@6OtY|C^-&se&1#&mZO@ZU0Q|6GR!+++UE1L=V0G25* zM^n@4+9@QN+LwGNOY`Soyn8yG-xW1d1p1TMHl{^UdTVUHLc?u-xux}Qp&eqcb9qC9 zCT9Qot?2il-{U7^b7s0olopKjh&qp8y|x2?x7~b`#Hdx(Bac?x98~dd9W7+P_z>>j zuCnme>2pCeceIp{*MG0WI?IN21RAf71sc$T>zDSiie?ok3&`EoP6`MLL6c8^+7}R} z@xr+DGN!i|St)<3e-Vb{ncag?L@>l*Z;xKldA{8rwyxzWezm-*Z99wCDi60(yVZC< zid_mVuS{s7lR}*lo1_h5jAwmvKk8^CdHV@|3Rn^$rel*$E`Mg%ylO8DtT23x>%&=& zt`_r_W%wc(Z$u;TZD2odMP*rnKzj9Z*UR2q4_qkJ^xd-q@l0V^q7jw%aj>O+VN}b& zoEAfvY8rfd|J#qGd1?8>R{X#VK)rJMYc>4 zOO>Ybd?^MRQ+y2D&)6iK*SJK>$h{(P?}t4(*uJ$&ehyai>?)1Dc{hvx+I}RAQ0-y!MY?Xaw+nc=X4eaD1Tw_%7l-?IB7@kKO<{cY#Ft( zHqrWQ7HPP*pHLaL9zU;qb-k=&a|tA1$@C-r>LjekB+Bu#> zQCPv6J>H?ppq(_2>@BV4vZ^nI39zMSI5XiRwt}bwGt;A0Oia5P+!hf{2oi+{VKS+c zHe5NsZGU)yWib2gd(dH!5sDqE2~kf(S>?i6YebHtL(z>|YT$uFbd%r|NcO?kt1a7( zvLkFaxx0f-^R2$?lSQ9tKF7!E-0LOOLl#qgLbb%x%Xfi$9;`k-Ry^mYDQ*(h-fL3H zFO)ugXaovvnc6i>0ndFjac$5rwuWgwZF`f;_J8ZNK;;W(bl2c-HN?M&>#u*p-E{SA z3D{2)b4F{y!`^yTY79~IZ`F31z7f%ZgM_HR>y=$0#N|48_iH&gv?v1ve~9+F&N0Hh zV3e41S3HV;^FmvAtpSDoQuswB>63~n6cSb7La3^15MlmK)2{`i6yd3u_NuLJix;l* zS$};x=!=I1OWsmI=!Vx&y3UAHO#2X}J#@_c7x-5QOGb(ky18E|Fv)S>E2?C+F*h|` zHomL?2db4emioQ;%HM_;V(jJX5y}wA!W%^42^9A|a_v)o1%HXG#`DLejIlGM6@Feq zgEznLMyX$Er7!fk;4pJk|5lk&$0xcKGk?{#o@o-hjD1c;pn)BZf1)U>lmU5$zbrj9 z533pqz-;KuJEi4ydG0t6b`agz+hW^PX4E!QD8uJLx2!4aX%KRdL{A-DZl|!Yduf{+ zy~bhPfZ{cTb)9FBeRMrZ+4TsS9K-hgTwUwRgvM#5`=EK9meeB5pu>`=xO9hI4Sze| zrg_rr4iSi^KQsDgN{Ps?a?%ChEttlE*@)(7Xm^YUnnv6Ycq41P7^;>#@>>z`LZf|v zCjo08SdwXhSl_t4BkKx|R+R81cz;nZOv%fVaIzTZl-y6Pmeb(sX8~+T%HW(^4xv?h zc#&1vw4ofi5brwG6GnA3U)fp#UGv?z3HlYp!tWY^j4|r3nI1wQ&S8zV9zS|&1e_i& z$veNSgKQ+-l#qE)>`Awgleu&%I&mqVFESzA>TjKylM!b@7r|dzeEPOxd?+<#p@v&wm8E^>24%ONc{jpq~?zh8}kIpy<_*j^Q!rP0j7$X3sb_ zHn7dAo>mie5Csi)n7>Ve4soQ@qZ5wdN{iyMbwe`9!_{948*b_&4d|(>NC5g+r!ttY zGr4Qm8+&^&(I7xs`{$8~k!L84(;8DW8SI>sLWoIY2M&;w1d(wt%74uJhtb12e|e@A z@5{CDt!v}%lY~wASPzEI-|D ziDb(lU-hlhB_qM#s}8Lpt%PL|dcZvAwP-E&7Rc%D)fU&NBWJ%S)Dfe!^Y3{|dtz0B z0v-WiFN9iJtbaTaI#RUxQUpAc>aliLC5fWo3YB!%Bqen1{LQZi2=QM_`%EE zR`VQ_w-ffh(|V!|qy4u|@1z2WaaJ;u+X1LT5c_L^)qg9(q_XyE8sbDXM%GJ0ytj1n zbAKv%Ymc4aUE5UaOM6b41q;FWFSDfyuD$I-LUbJ>lfHm z&8}hdi+^w3d)EB|viJynjIt~CR8^^DX@r*4;CKjKAn<-N$LCh*m!B3224-wego@Ls zp!~wBN5^JxL#<7usVc(o!5gw@U4=Yfn3_isk<{8IrF&_F1twoc995~MMG_@2&b*kL3r&b zB!?k`AG>mblaIl5xH-?ws|W{{m%1L)sud>Yiw%5VL$C(#!7oG&CjhjS)E!&sbLaJ1R7OA+5AF;l*V7N}A?{9Q=TbuMuszSx6!4yAl zLr}!ZBR!vn@HXzd^~)s){EqhMrcvbAkMC6YBVWU%;?*-sb-7g zW)K)LP(NeldgzuLVnW((8LPQ`%LtFs;zl$l%($GjR$r~EK11ix@saNKMr7sBm(p5_BlBqRlnCe>Vjk;)=Xv84b4X^zTjZXI5P#lUsEUKw z#1%OQp&G4%^|Namtb%EuUuaco&VM=TKl;JJEHEjtGR}!T!1z_fakh?(0YW}q?9*kW zTR+8odhMj=gpY$f&Pkp3O5q}7J;M6n< zjDGq?gd7b=I1&V}t5AM=FAj(RKPHtm6{>a=K=48|-DQDpPfS+aLP%Z1t($n=Gbu`S zo>WPhHb3`0jE&~U_o?lb1Y=4slpa-b@X*mhTyR{d5#)+%3W z-WHA5jLBF}F&BDp-^rRFMiLe-{t8X-VB}kP-?Xa$yExMtMqD^U07so9OgF3gW3uvC zD=1BbrVUPqZooQ;iG#s2EI&BnlMIlsMR-E~dJc%)cdwkyM)i~F34hJE1|9`$P6BBu z^VzIW{Zlp~rXZT0#^#L@>6e9H;EYH%mz2oXI=QQ0Xj!eD!be|ebFNM`nOmC)Vn&5> zLMDXz8Jd$f1(H#Pm@@p=Lf@EMH`&;7P>MAB-TBu|kriUK{QJtjW=t6_!4X(4e9ijB z1_`On1MXE-VJeV?qkl@i_pA3}xuvY!Dah%9;&JGnfk`I5_c)W7gP5SoWiYU1Hlf?r zxjrK=8rjcE?LCkjMEx*bJ9vgKI7>ThQLtq(B}Jc|Q?i^8BZEZw`xcXNCDGCkzMLLj z6Zty)(nC1Dt-GAs7{5ZbN5a7oWZB+gaW}wL^)M-)t45CtB7d$N>u1q?^H3Hu&Fb1; zpa@bLCu25-6fl+&R_{<)DGg`!%D43)E(sn4oqr_+JDBn_PFI&p)edI4A-xxF78qCO20S+`Oa=ZJYD;c= zGA%90Gw2i_b$=>;&)dm(=w4ZJW|ms-*dkojM{}{Bq(Xc#I>I1G*btux^Hw|i#iq7$ zb-@BXG(Bj)izFqe<=go@(BDWC|LME)AvKcjDP6Wv6@|$*RMqlm0by?blX{OsDl9A} zhTnR2z3$`r`p6i&>Ut}$O|8Q!Mfm4weX}sO`F%Pf+JEfbL5?byx*Lme3m0qD)NTEf z)8}SUcl#2yW(cz{NmOSuir<{~xQfPb%b2zV(5->cns#z(mM?_va0YT~5k0)0JgNha z8et8oeJ{UYf}%^sCp{^~xq(anvhuzttr4~;!3&+~>C~V(C0&B4;#^h>tdIPzbrI6Y za}^Cn=zq#B0h^cV-SS0CGwA&MH?EGdLqbT`yw+^`As20tTsRFGBU{jmr+3-DPcSmG zAM@9#ijeZ|PC~&9c+^i2b)u`~;}o7uXK>-)-e`Vg{=j<8O&Vbg8B*?$WQag>vgLK3 zvg^5;G90Sv+WB%4xZRT$IbzD6b+xo>@Qm!^zJFGG(CdcQDJ=;p|6FfloGk^}*pcJI zvmo+>GUbIy8m(+`Ed-3CNkeK8>k&ji!m}h2Z}m4G;FYL)c21tTh6EG1w##Yjd>O@g z+{~UzHonlbiT=${%ZRxYCl_%|OlL2cCMlQKp-vwZ_k~q0=E4}&J4USB0&A|-NL^gB zvVYO!nbGAdK_FRlm_EDkoE+9x6ElaLQ2g~gcM^s?*JCthfM#S1}+^j*1L8;a*St22q$37&&4)rL>{zl|-wmb7%j=YuBC zQA<8|ukxalsDCQ0;8NFOFb5+4&=wN_eSh%&HaSBM=IsSS4Av1!a@VcG18S4 z?;%dV-(7DaXCGf99;0uXP1_kWE;!l5r|g##VV*F+`V{V6Iudy`T;(tj*VavPWUDlr#6?%HGkdE zt)z?9zZ%X7@O8V!xUZ>aHv77+uiuFll0Yap%yi5LbFeG|{bPIBZ!^HZi6TiqaF zkk&EIC~CH#;;^+oR`+#?*h}oBy*s$1Foj91wa#~+TSou*^1yC3FE8tI~go!sEBG- zO;0uox*s-tU>XxKTV8ec1A+4waNH)b%nd*RVnj=I5Y~mVmT^A4ZX^n&q}}0D?Dt$-iq&!B zZ|>^5yfAzWsFT%Dx3ikt^QbCCSU$ODLli{@!HDfDB3keHj4?#{=z<5QG3JQ5a_DyT z^5o=1hVpWLi}y~0WC!hVzJITdJ2D*x!c}tMk3*igU6xD+$63UzMsF+`6y>2W9yPNx z<*eG5z{&d=Wy#)VZ`F>+IzsfkwLv|r>icMeYCWDXoO&T7_V>y``b81mu-2Z1dBR^) zMer>!D0y^C^gTH9Yp}ckZoHgfO5wiyU&3xSQN(yBe1Y6`q_-Pa#eZYgN_1I7Q%AZC z-Qa?v_#pH7umK#Ho1!&7;RY&1HB37_uFOM<>4Umxs1_FPD`9e9scCEjxI*-HqH<-! zAbv=*VFf+)id$`N$?;*=-pt&11|YpVf4om)GpQCf7b10$u6|@RRB6s#;e^)(`!wjn zGpwB>6;R3$%tbO^gnv1{C=^*F!pNn5DIO-pCt}D;6zh;PBD&jgbJe)}WW!%Q*i4u3 zq*vF}EDf%R;>-&Ii&8?#U5%G>`;(%1ljMVVvt}z(`g8)n0Zx;cP!s|3s zPFeN#vuxS&A#K9G?eSQnXf0Rwa)RDt6LF6qD4l7joyQZkJbwZ1a~sb69MyQ;GYu67 zO(GcX^f66KlANIa>Y8Pif7W*l=aID}zddqsNaUK`7A6FmbgH+SaxYbdjCrT93;SAy z;vX1yg`wcRN}Qyby5zweXKoKUY%5o$!#fGD9o*y?{A30{P(Dv!N#0o3Ymk@A&|a(% zag4sxgTDkV-+zBS8Hw?2SAD$@e`Mj^f`S)=K9?Guh}3(IKEj!_;a4${rw7E$$yV?4 zNW2m;AUq+$9Bx5(Gvr5Pwl%ckcv=;-3K4J+IbZl7B;Hbr3snrsjV2s76P`5|al0jT z$BiPR@?V}2@e(orOqTKDocugttN&vX#y(aG@kYbRZ+~~JBJ%VuwhTXurp{crRTlIb zHw^@Ic~Y=f{ovBme2OsIHHYac=sSu}1K&KyCl(%S-yn=dInfx>i0$X;7!n&b!X76> zW40`mv0&DA&U546c)k5k3BH-WpBMCa%_v&!r1La2I}7AVE6-ZFmdyF;wXMyYsM=J* zAI;5{KYwRPCd8Wr`m`3*{4B2e)d+!&UgitdjS12Lg!*XcI_4w@KH)p5la- z{(1sdq}&^$OS^$`SmvIYxpY<>sDDp4^Hf^GNx}7=q!10!v2e_ZT^$AY z5;{w7T*tshL1o2rb1jgEua$o<_l2b*&!jE0qB4R5w0_Pv#{=@yhT3zyE^SNfRw=A) zzpzVH!)iKJp}?xtZ)iO69iA@C+o_43;4iSXd6H1+Csup#%VI!j)`VY3YV!MB!rd05K6bu-HB#| zNCi8<6uOP+a-yhOQ{=j{JOpdt9PVPWiqB+JAJE0*y$$7OW?hAqLvA^C1hA#ah=0!v zM#rQnkYkn!N4Nm#i(Reo4Ak2-ucKWz!a~_mz3DSWm&yJ%prC*_<{q(sBRkRlt4(7k zLI?f(S9Xoma_H^P$Dg1OjG=xTbXy7*RyjhHxiq~?XKi;#Y{OYE8QhNWbQoJPy+A__ zA4w~=vv`$2hQJw|G_{jm4*$mUf`1lRe~8<{k#OkdFROZqx`LeHq1GBC-puZhFw24Q zA&x!1CYiIiH@y&fT3q+(9xh!gmPB0>4ajd_6h=<&F0nsdGm=Om zIyScEf2HWyF+-}ezbJOjRvSsd9lR58pBKVw{HErwS`OM#V9c>A#%NLUTz^sR?i(j? z5&^4J@u?3a>m7BIPs%WDz=&Ei;4~SISBt)(*oJq8<+u>UKF;-l=%nj7%Z-1-Gu<{A z`eq;|ej}uY--ZO~P&=ySZWjUAb@**rZYn!`zh9gR4JA(4!4e^L8pN&;cZJ7P4ZW=t zRgALsia&tm~HF0!-(DK8f8y7DAo@6s@pBdKl}TXwAINHTXmOYG~Fhn{T*$$VM2eFLMyPm&?i-L^C?_(&}&s(Y;tEw!{Y zfgjhWQP#2N7n{1@MJR|>7m)Q@9gYqpACX%dt?f%PtN^+**-+)1uYYD#!^Ah!%PSIe zGK)KjbyvN2WF!?!`0AG>Re7Z+}tuWo#-h3Ji5svl7+omB|v)LR%Kggc%=qp3_v8%d<=LIB71dkHTGD z4&P+BGKbSr89frT1fJI}POmD2_W5_JUnWV=r*To)QP7@OReu(#uI?)QL)IAC*!lQa z@gardWZavV!p-rvoHb0fflKO{f{k?zzNu|r+0e?5X;9eZO*FGp%YR<&lrA{di+9ua-P%{~nAXUrgYc4`aI&x2_16*V>|i0tIE7p{vA7o_ zIn;bgq$q|@CfA6vux4%hN%p6x5mD$oIHm|{kL2=aSq{aC=7Dy&YMu8dxdiN1DwRK* zWZYA=z2rT|g%)XFJ7&9qMg)yV#z3@_m~+)t@w8r7S%1o5DDpR{y4+&-M4!8w%4qjq zaOLV&UE||A%|+T;!4k|B*H!$!4Peiu+v*&_d3lmCxkOSIoDlh{0Ka)r=5a}MNWDI^ zKL#cBgHKL&hQK09%BC-JmIO(bk`=Mr%CAAf^~i5@m`TD!R1(%+5FCBq>DrR&jA`cS z@=3lHh<}>kStCwP8!d*gecASW#5WZsG2^imgm+-QT9t91?E>WTc(>8t?uG;pKp!EZ zDwJI6UY?bsEn>qQ!k#%EO#KK;xz_1-Zvp?Jn9jrivT4q>ZKesVnBaTaa+X6Qj10St zpZfvAlM@mX%_^6`K+T-HmLavQu}ZFxC;PjRsek$x4s$X~d@e+(^|oe!gN_jS7`fX^8&SnxzX%(BC}BQBbDjNB-)7CqH14RWY?FHpTAVCE&~re zL>HoAHmtRX2f+aZ_rHHo2zOZ;h$Qqi{dx%4Ma>+*RR`!}X~(N;jAYRzW3W2@kRe-H zl7Ej}fsq~6YSVafUYEO9Ix8Vc_-4g`hhOGfj;3ae{y3Td>O;bW=D@l)oZBPldV)}d zxxTuRfLBmCdX*i8A`|O3!Rp^f)|t(Jg!4E)Zk(mVCM^+cGWS9drPSFp!g$+92g6~Y zY9t7sJps(jfc3L4XO%2e-$3_yUS1co|9_c#336HQ=ek#AR5F?WL*C$wXoZ-cUJM(b zw{ZQ0d?pHSoxpGF%WuDYQ$0-(8t}qOVOurEQqxSHwC3e=?t@rz(i&cC1(K&I?6^Iw zx%KwdK)rySbyRD_4w{^yT%WTD;*;T%cBtA#9@5#{eKVivrW~Ra=JY3p9pz|=^?$%= z(%xW%AEEmO+Lf2`8 z2aAWTeg#L11-jMk`(D%SVcn-!!%sXO*)s)SB4Mb}W$=e0Ey&j1+?yf>&=e=xI*a{{9u_QwbdCCi z^{Rqnn*BF0r|^gId?k?k8aW8XA7@&;`L08iamQX<7DiYj83zD@EP_G*%q#e)SK z6V#+AY{)gBD~(NoTDG%N?ti*fF<&1ePc-bP!?`!0Fu)U*HLfv_Btkhk*IqPIG3`JN zlj$yOPSVHY8N0+^*5%x#2w1? z&I)70Y3?`VuH^#6OpDwFPQ#)#x{YWR`Aifnqq)igmFChE_?m(^L4Q_ni{ecRh~G6P zfZ)Eu+yVwCphY#S&(tA>NoXpUFOow^N{KZFr8Z?R6qJ|um=yv5BN~3F^hD6@d`qub z<1E!x$!*ozaB#B*XX<8HE$GvcQns%eJ@RUC#Zb}q7Lz{>ZCF66=k7T+}H8GnnM-PQAJ;0>s}a(!21?F;=Uggah|Q97_VFv8(Z;-jC?o4zw< zbMfrSCl2ChR<>YJcBxaaWnpJj>1HOeo_}E=e9MTUMXsT`P53xr zQBX?#B24+gjLv22fwOUV>I5E^S+a#&i+cb&#dlDAQ;W(e?2OoYufhO=werAAUl(Y6=(ot&5!09qZP&>t1u_q;{fve0-^Vu>ps&J}@Lb#FLCN%9fk#IXCrw+I zSa-}(Jt}*19ip2=ruaAU9By)Wh%V+FzH@YgnlhgqY}qcyC*-c3c7;lKKmK`(h3yuN zi^summfA*!Q@90P!r>!3k-Vh`)%(sBM%XX{_2_cdpMMlzQAqySxHp%^(s|pd%j=t` z*|gH_D`Hy&)){ffAUQHE&T=1c`@Jv0NGi}qZZ@gDWs?V*H@)|0zF~h7&!m{A48rc5 zpQjHw;kkb0Q;4uD*eHaz35rBdq22fGmw5s0s!V$L9$%+p5SXZ)miAIzh{ZX#9zak! z-PN54f`9YxFu#)>ySUepIT<%>QRo2O2i@XZa79YZUiAH+Bc~jqIUXGxm=s|xc3W$? zPWdFH`P=x9t-%ErAnfgz^ioaL zZ^wPVZ;1;vR?HN*k|GXD$5KXCxt;i1*pf{+sUduQ-ViTu#-Q7;-kJ<`W^Jp4N5=ay&CmFa>b?y&D#-(QD~khXPnQ!f1QQf7ATc;F zGzu?FWo~D5Xfhx*HZ(PtK#Kzu1U5G`HkZ-b11f(7RMTzPzM_bfbc*_uZZ<-?OS(J9 z*kHs4+vpMmK>-P+y9AVO1O!P1r9nbUX=wpPK))HU`o91FIp247&bI5mue+Y-x*xXd zx(0mm_9#1;3JQtk1M`C<07WfBL$DwK0txYhK!QYUY=#J|3+x{|5t}g#jX|K05`Qri z(J+4q7H3m}U~xn(6cSMPZ~?$V0QiOkSX2T80t7)I@qdUYv;?38@kH1ITKs@I3JJpy zu_>b5e9#C7M=Y++KYsyEC>H=07Z>II5e~?^!q5mP1PN$Cu#PZSTtz6v1u#HC5iqRJ zzfy2YIbyMH5&{BVUS9kVR}4Q2?I6R&3wVDau#SK}32Ii0P}-? zr~4KCJrM%=BNzgOqFmh|NFM~!0e~Z1V1SN_CO_62%L_n|_TPyR7Yqs)5AlQ`Tp)jT zIKq$CA%Kd!9st2j_-j546pe7hV)!u#m+vzQd{2WrW@V(kBFfbjhQwlszW1kuK*ON8 zbN3PWb-B(+lo!(P9|T7r?cv|Yu=j8iFhU~SJz#1|zc@G((I1-w3=4>WKp-(8ApqtM zz`UW30^bW5`nbVf9OB1Sm36H zwt}_-&##exI~5dA-hdw;7~m5W5(Y#Bg@GI5B0#{uv*e0JY4_lRl`DXyC9EraQS_Z z2#gBC8)mPIz(O5=Xyd2Z==*=3xgd}*T@(iK{bd38z#!0ne7NO;I^$js3{H|iTrk}3 z{JWwu5{k0_zGQ+THvkA44e=oY;glpOA_Dkz+;jl|9EB$O zex)}=00H^$rk_Y05K#V&L`4Astv^T%5YYaO!~_8W{Xa+u5HR?Ia9MxMej{;Q7RYY| z#)((}_NU-?mLXP0RqUsAg&+OUl3Q$?Kc$0aouq5CDH{3$NsT`e_4M@{ZA~etG}8AC=zwE`g)GsJZ+P!yg|DwsFGK1%eUWlU9(MO@Y$O-wj(dEdadCCuhMc?Y3 zO=&^S)^q+TkrK3%HO=^NyZ5~QgOt)=K43IG1eY~hTg`2SkoJELwA&5(FTD2UM!4vB z-FKJ9($`d_*c-||l{#({aMW$^li>A7M-tGBi3yS5g|^72x0ESV%8!gbQ)9*K$@OnO zxT3Oll+x8FDDtj*>M`$G#6rsD^>tD=js5g>ndH^>8;lyZgTM&eV!JZ^aV%%ZesgFr zryb^%Zft=tBiw&*ul_@UhYoXSFuGy0YVqd4lM=!A!?OE^`WvF5+zu9TOZ;S0nhF=o zp1wm1)?JL%kPp*!wc!|0TywE<;_ly6$~1*++led$f13$I{ljkbOMMIqdxo z-_9%<1mC_EWBMsK_ic`VId{dzBhwnok)tpvihJJlD*a3w?Dh#6<00-!XlCwY9WUu9 z8>xHc`qbb~;+s2O?ehu=$$G2}A7{9aQ6EQ0RUcE`ZA;DY5{{eR9SeA}kM6UXX}Duu zGQ!qSO4@(u`!-?!Ts5|>H*%E_dH+x^kXO2`%lP_!D?iB;V`ZcI`ab!yi0yONH7V-8 zWW1|LGcCUyK0rTB=pLTv=<9CoR6vzwS*_?%hNm->`~Lo#BXzgsJOv6Q@ZxA+5>Co( zS;1^4m&~!el{Ef!NTz~Co>c>^dlvf${V^;Qo*IAZPJHVPG$PkvR(zFA!u*gUt+83*Rx`rz%7$Hj3*%`9G7p-ze9pFnkSPQ?a+B%HmDVoi3O3cJEF)_@bUip-lu3 zc{zV?G(F_uQ(a`PlcFg*iqJ_CIO=xmdY2t+d97zjzAGVUJBcyA?^#9@oPAD0QzXB# zYk9LpAz7tfv17eGhb>7TLwy?3_EehtvwixKz>L5QS%}nij@FFs$J-Ojn^Kj^edT#> z!Ef}l9;!X_42fB7kuNO0UB&VGz^B*bp*nwa6=t^lEu@YiOYTPd3=2kSDS-@_xW3Ca zlct!s=cuutDEmC}tdg{5@XEO;DdG5+)Mw3d!Y|5J@_DAM?5B&ybUD9HhIu^l_chUC551Z|*PW9!@{BDCH_D9#JuQh2O8v&QUQS zofWyd^lE)72I(qWE?)EWo`Y6NOX7`yE$P?@sm9%@T1kntA>X5n_#-$?K|D)3lUCRB znZ9gY8c$PZ++|BhoGPc>ACDD z-4}XAO|a(j6Hyj=5p<@kECepod9fEv^QFr&iNYv7^H+0|u5~dm_4$ZK7_@)e?nHtV z@0z`Q5y=~sZbxM%Gq&CP_O&PR)0j^etjrRM@7+-mv5cL4KjngV`No^_x%L%8ufhTc z10=0%;Pe1i@clit;oB&QBa4XR!B-NSx8P%Kz`f^%=4TIb!69hMOU6~|=`SfyKDUsv z&E^)Lx7hS*EY50>Xo=S$pPheP4Q9O3q*^Bg7|c{$$R=2neWIeVIVc$pjq9eyr7Jm@xVp8+#wzf>w44dBwLYls`EG<^2L`h$Qy z`0%WZf>W$nMvBL&;^h84qEm$8uAG5woIhj6V!qW?mHNrg%)sgws>^>@!xgJb{Pmu0 z?SC?Elx#O0{g4>I-|=<*W_Qh83t7}_o)x!N1|300S!+$lAkF~e6InXi)bbBu7gBfj z8}Khv`Sve*GTDDz9ovol#H#80V%Mzap+7Kg#x6Or&Z#gyK^JsrwNnsfTuvJ@SzANl z$>73zjL)W!fAgjIBv;{pEeA%(;)kvUrb^i@;)bs-O%kiw@9it6*BU^{R?r=!%|*o;n2l*Kxm-ANi(3r6k|(ODz~rdS zV+>@OnYmobbifW?^}JQPr!;nw=rfNIvO~=7#5{G}g{*%u2SrJH9o?}X=uA>SG|GW$ zlGC;mZKJ}R#v7^3n+dCkd*FB!|C&X>pffJ$H0#R6 zwZk)PQnettGOF3QilV|qIV0L${cF?4#dwvUrw$~PlY<2=7~QcXD^o3hq$`nG^UiQn z<7QE3>-m44n_CI=+Kxm)OM4j#w9v@(jx&t4sHevpwc}%IDKFyUzo=a{Kx$1f*0I9-qtwA)=sOSRj9byoFDDmc@TA+nL!ekaziFD~cDh zyR<4g?qYapgJ6u-F1ti8EIb-2T;Ly)3QC)qtgv zO8JA((1lKuS`8i|=a#0#NS_z^yV9-tZ6|+9c6r#B2v7Nz2-0mVP$6|%QvyG7=A2ea z?;@#MsJ)WvjB5|nvRB(6%lKm{=Dr)T6U}^0GcDOHpBqqo3DxQ^ws<6Y$i>rh`mYlw zwR$RWdvx8fbFqkXrBu1oM96eah@~uJ?WvW9%UmOA`a7TWG~LShGSLLb3l0R{3KM^7 zEWs~*--lmh&V{tsIAO9TiMarzIo)d(L?7&U^x1~UquX@lO%#_?lUCb1humy6 z+S<6jPT6+NEE7yGvtOEPCSy`_*HcF=-9AaR3YeiC=f4?7gr!zrL$(FAO^y`yDkS?= zFLnvcTlUnkPECjAmNu9a&L`w#(#C&%$oTjaaRhE3`ANe3D4)8)Wy=G(N|i1zyAAXZQ`jtqo`l=sM4h&Sa7Y5fSzK<6jG8 z-VJE#PkPK57CuIBXzkn)#_n)0y|k?L=*}>7jl>jx3EHNn7G6NBrne{L&@X@3m4&9P zjO)0(!`JuRm7!!Uf4>Ce}jC)E&#ZX>F1}d1{>k;Si*qn%XiMilI(z+SW zkEF&!v!6MGf)|=XEy7If3!_(_RZn=k(#qPTn+9D~5r4tJqoWfWyK8@$cOFqW{8|cA z&wtTPY01-uK{nbjvD4=c(*^uqwnW9*sGIiFSF3{JElt!*o{K`_Gon(!fs5;xRBWyk zv^J2p)56@NMyW_ih|#;0s0Ocj4vE==GltY9J%@({Z~Q0*q}8iTlXLsi4%%l<)xdz< zedpcLFj#F9tLSS(J8yqR>K;51XDPfSPKWA_h%A0^i^;kot@5TKhk>mH3b|jGuE#5r zt{JUo$ReeaZ^2Fdb^>A`xC*!Egmn6lKIiv#H(iQtru`6f7V#_we`@ns@s_xMM497)tLRWYmMqmIw?;Lcint#k!PoP zoHX&|i;grGgr$EUqr^9)B}E6!jL;KtK0SUGirfl%9rJaw&;4^Sn>DSkHd^y0=h8DG za#FE;5e-Fak-sybfDgPMAFa*)4$x-&Me5c-Jy~%jO+7;qS&slMJgDirFD*h}4x?f=$Yqv=Cu>$i z-@(MrZ4X?h#lz0}4Rh>VVZE$V_P7cQS6!_vUGbB5Tbg9vc2Z>^R8q+ho#n<-Z897) zDd`@bUOCTfVC7;isuhS=k8vKbHy?m0>Od>hXM|_k?0Zy}}CK6euQMbGj))>U!yTu%Vr2$Rd5K>i)o7d}D_?ZH2(H z?tHS=lG7LQ?FPs(8)2H&+EP#HU=SMVxz9|9#G(X!pQ=o9%?p!GDu|obddGsrnvjM;qGEkA>jE?#JZ%s!>7$En`pi%r3`N9zZZH8;#m zN0SaSXsKt`(dFwF5fa@G2Wjcn_55|4+pS2;<1p{YOS~jc+BV{%udGfb=s)8%!Up)- z^@wBfTCF#hyo=x9tLVucQXCg3-U)x#ITFcbyvdN>ah<4Sso(Wr?(FQr2EJ_I{NuEV zj^I=*Q<9%X2*ve|v6m7$G6saER3*Foq@>i(=$O)j3a7*Gb`Y|?9B{*5H*+N{Zm1pu z9DSK2EA&2p^s1GH(~^HW)IQK}r1!^MjpL}is;h-O?$Hi=)~p_Nl#muPE^2=kJQ7&1 z0w#-|bspdE^q8$Y(J#8=Dp=)41DW<1k)IKztTVQyx-7QbUO{3(^EBiAIDJSvF>h&l zC!#g>tAw)#J0l`j40?*h_REpi^|>v4$exPq+*5L2_mMvysy?4^v5m>vmqZDl_)tbZ zM1%I&ou{cOX*2c9`G+@e=SP35M&2?YW9PtjAr>tP-5HgSu~+$y&pW4^Xe~(5L}q%3 zO?lTZ-57VFs~;Bfq#?L8b2Z*@3q7E3&8f?r@#)wa%zoII#=pr^5{9 zT7}O|ykz=bSr;}xR=uD%nqt%c1)_K#4p#t|7~@%*!B?;}k^5_lor?~;WUN(y!5QnZ zH1iRIpqw}jlr!O1;<0}#OMw!#<`(Q#mQD@ndm-e7It42sS~mA;j@Fia`sWo3rTRy~ zB9b6Ejd=F=g(eX>(D`#kvdqe9`#cIb%r>S%e=!>yG@{0Bd#O3*WR9C1+FzCsThFW1aJ~P>biE`!A2) zVkO&l{A81r?zX_<4#8On?(R;I0E@f3ySpzA!JPoX-GW;P1Pzbxe(%-0RrgdN}DCg0^G;Hk08`hWV>cir)==6yKfMpqni^8KX8^ud|U${i2L0Wn)H)i{BHaIjO#?7Nr%P2~qI# zxLD*~8Z8lJ;ey}#tbiSNS^lUNIi4COos8gxA6Ghh8^VU`i~Y=pCFhij&J+~9)f5y7 zDFx2p@?{i$FHB0(=`uilOHAT#Ue$ZBE>*(3zSKvyKBmHgJ%?OyliT+v?Zx0L04T8QQZa7#VJ5-VY9{)|?NPA-=$ALN$!~ceb1#+fM zQNwFNyGh|!-w@Y-p|m$-4>h2CGXMijz{Y`YQNxqJ^#nrS=+@`o1Rm%j6THxy!24ge z(g-=>8=$=8+@3&O9J=xPd-ypgkkYnfJ6LGqpJ@_T7nN(yHU|N+xqgm*>V%WO{BOCeQ zQ*3rKR_Bx?H8LrQ&!GSk(mRZEw?x|249VFkT1;MB0ISmlUOkol^u&Cws)Jde*R@ zmN$3~fpoMly~TG@l75dD8dZ?vT!3-`2}Bvl9qsTTKjgaHBet{Y5Q&28{lkzbNaCHs zQSM-z)+aQ+-J8z289z-a^B%$#I1OYIO40gMN!FA-!(aM4-E(HL`g6JZT%f3)}_1sd= z{l5MJ$)MCga{)vS~fwHUfq?xl+ zeMCm01n+t&K#H6D>Sf0mpo}d4pc9P1AXpTR0N9XJ36b1EA)iCpRoz)vGgs8wYP!Aa zaR47?c&Z(~r#UlW`3?d=gJFmakNzZx#(1b-%32=9}wDlg||MZDL zD}7Uu_Cq%rM2{)$u}75m&lut56RNXTn*8!#JI<`UP0UcjVa4|l;OLE=@Q@X1T%5>( zNY2k7!2$ZBNK%1p#hd+ENKx=dlXNvcgmwvZcGT4S_oLt)7@-Euo0Ti>i6qx@5k7@w z?K=i##(K*JEVRw#?JRc+jRp%02G&E_IKFel z{RV-#8mZ&ISCc=9%Z=u2>i_&cmK#@gxpGk?Q-IVeFgeo1AYd+%Cs?rMvE=2~c~57m zx%d2d(I}F=QSU=91nJC~aj=Z~W@gE4fR1!CJAL5EPo!M;HwTOL6*z-flx1gmXMDKf znfPM*|9X~Ss%HpndOz=pMdfL2pv_7+=dvX()@%LL4B^j=MfixD_UlOlY4Wc73^=c{< zsm;7bN`Awf#hTh>a$&Qe%B<_9%u82?-k{X9^f3OJ8^1s!`GKo@n%|n}fh>$RW7UDsRhi?t$2Da2d?Q6i@Z@={%YCgPfaW6A7f;Qi=)3@DX|StI zV8dDTk!eA+fi5HiA(*~8OLR^^f5Li6%)gq|^%6U0f1c@)jn%8Fky%=!V<3 z-wDby5=vll6xg*KuZb(^bl8xtOEH=71&p))fXEOM_k>EK9HCtTQ|20>p0~F=*is$M zimml(+Q;`y6P)_OX)eE+tyVLaWL89y4(l5bc=WPi>Oi<(H6eR3UL#t(M_QX+ZTyHt*=UhOT7rj`jkz4N>Ks z1ti$eg@t=D9s$iv)_O;7W>zCA-J>MOiY1CK(plk@7UejepbZPZTQV!U147T#{@>=za^`o zOG5gliofNoG{=Vj$l+j?m=UzJUbAxIPC#}d!_joZTs9bdWCNOMTM`tf1~}6eix^8v zYIwLwKl(nn1}}Hk3u6Ez(-~JsIAh@ClDp0*#zUBVmx@_!J`Xc%Zt0-OspPnHWs0Vi z)kOY(1y6G zuEEX4{v_8$KipgM;fWK--us5JDd>CW{b$Hgx5cYI(jXBL?qy=F;iQSVxz<- zYM*Nv`~f8=502uT{OkC2vUO7Py((Kl{-79b{H=2*?+0o!h2epX;{|H@{J-2Y4t@m% zo2HIY(sBv0r{A)_C~P$xo&~>5hAu;z6?^08F-NRycUi03oAezQsy6f2}m_m67|t zxEfA%{BT1wo4y!h; z4Y&7Gvtw+IMyFA9r=c;pB{h)o4ICpEHUIPXTz`lJ(`PKn>MWc7Py`mvXWg~ipMCXe z{z`=SeT@HY#Y<+|V;x7`uhMJV7_^j@@;I1SLzcoS&kM;01!%+b{_V|&nN7rrB{R$l zlb?O+H}>dDwis+T!+Y_d*vfV1NrTX5XRuj3@7dB*6EfI_B~4PPNqGP=wr#=v#K)2- zKgx=*kc0>N`NtwPV{=2#!u4^tOM&lq3cEB#ipi@K{$tRKa~jLhn$r;{ZAq5%V5{3t z6HYC?I(aY?N!P;q)&2JGqXkyba?N#JMWXtnB8lCU4pN+!Yi5$J`TEBERxBo_(fD!Q zX=ugO80O1Ey6fuATwxD{8!=Ug8Lh(26(5z~z2m(^vLk`#v-H)8;{;1|%%N)|)QS<6qt z-Ta}o)AbEiNTV8=qE&fpW3qWtexmv}z90rZ2=R4ShpC-{jDfX%;mUl!(uvPFuG&wo#b+O(p$c<;VqqR^UuOG+eXZ zN?Ej_C?m>|J=LT*rf3iR`cX(=Q(!ZSqtW8bDH2->QWOHYT^boJT{(3QM~Otr%uD@S z*;y&9rO{D9BDMj!E^3u~wshR=+Wh)BaJ(~y#ySV23dc+`I!+yyP%wy~5sPul*z6Tt zh!M$`M+{&wEwu9xK!(tcI>}13A z?0n-SXt)ngy!M;)t1vw&$?l&i&tyZk{)$F&Z=NTw$N&LKwZ-BiMgP^#86NTtL`jJn z*ul47j{(*n61GTHEo~P=&DP?hwb3Fx$dBE=%AS8zCr)srD*Wgk60WBOyW5Bs?ub?1 za$voa&=ph$A(dKPygFhfZ4k;`lrD~u*~F17L@Xy>)N#NnZ+CLoJ4OVSl+cho6tr6e{Uexv|K!MjgQ%cXYB^nVt+oTJ4HuyemcV2s^Vc`%yMACz1BA zE|RxGS7QF~k0Z+dMIfJwtX2w(z<0|$iq(i-NFe9GB+e8ej$^O5Az*S#=GolC%u#}j ze06pSUAywRju)29uExRsK-@M`1fneES>JnLG43hE`rtgCUVnt;cYRSL#Au=Mxcam$ zeDvKN@_i@rs~~X{p60&X2zM&3j34hU#nP=RsW;0^Gag+T&oQ9Y#X_$xxM?dP8rDio z+L@%fM6<&NG+Y`to%mto^Kp_lvxWs;oxxNS)((M} zkf`aY3x-V1ZRp}b;$b?bWlFeC9M>l-i1w zjyPubs`m*i2kvv~;R9u_Kw(Mm?h^2ra`XwaEUaI)|^drsbm-|O`urZp!O^jH>JP}@L;U;$l zgl!?LXA<>EVW@TIRQH5mt|`!7t)b>0E3KLZvv_Md4k~J826g!cnm?F&4Pq+et``GY z%T@8JY~ZRYNxyqbiB?6Lv}Epn2iF*V{#-5BNfAtxuuO1I)B0XKWNZ9=<5Z8CRJWaK zZ$Gs*HnYaam%cfzS=vU@=>v&?5Z(nyRHSDE!zb4*+0@oq;ySEc3&+X@-2<}O-&ls& zI)yGMP~!XrYb(1v9955q_$;gK6nW1#R@%d&ahjTD{mbkn-#*?)Bf_Vuspw)}!AUPu zqDz}sHtT+>#{Zc+jF$`e-!guwxHy`*o2I$T!@I(B@p5vfoyo(K{VQQ9z-OjWXu*&W z@p7QDNn5+Px{>n$`B2#u%pEMNVR=QWMovjNH=C6Hoa3JdoRqAB&OKhQ>Lil-KYK;J?Go#51C9oxoXh@uEs7>#YDQfde<*3{>-qFyxSy0v1e>6yTX@ng6$Aeu+G-?b!Y}BjSqkGj0VYyLWrHtu z2Imftj#nQ(rQVmTpVu#B5Z|8H$F8sf^ZdWQk2`;lkFO2}1|SXwm*2X8J+DhI^EW%E zWDa`P%t3#;X49mTqNK%4JFL*3I3aEyiMB2rAU^lcS3btW)=SX0TyR{jy`~Laox%Ih z8yzD@0=B{JhZ~hOhZ^6&y}!LZh1Z{d-CiGGd%hkkJCep;UiSLk-$-1Kq{YdoD5tgN zt#ZFNya8SQZ4eEE(|eys086NB9!b|Vi4F;nFvBZ3 zU926{RG1Mk!bPSb2tby=l{E^7i9r7(noL0$uFt8b-JZBgix}tqQ#I}$IVw)ZCwORN z&px0B;~FKF;>wPgU(@U1MaN1MO%;Wik$sR$!YIrVd$>yQE8gy@why)e8I)n@Mb0V< zARTH+1qU~9&{5i0cNFE-_Fr3MP&|diA8kuY4ef&0G zXgK^Hfe%q_8|0l5hF6khQ@Si>1SNAq5{&ZBdn?p3l+;}Y_(V!vSQ!+m*jBngsz@XH z1e>8goDvnp!N3xC1?drr=ubHyM36gNEK}rXr>vq@j*8q+32UMzbPxfo?3VinS$O%wcydmgb;l zM-bBlq`()$Bij zSBfhg8Pi(2YfY_t;c{J1>$I(fJ=J`rhqi0hSszta8h0-jIhLNt;A8nBJUy5m&ICJ*X++*gx$E*9Lz~zFicL8v5UebrE+HqB!lG z^kGwdy3(<5%T=y1>=}NJ7^E5{g*~wWV>bm&AOHLkCQ0mOw-9=tTxrRrq$atyhs`Pi zrzUD1f`=?7zm61`Pb2JvASUm#y?DzSYxPqIo1{Tfof3*H7O_q~7@T6>LrOU~S_VTh zt^~J=VekbmFl{U@dOB`xO6^X8im`+lU94mfHRj8wfs^Pj@&lM_Ye2=#>RPkUgcIfL zm{Z2o?+R3>(Z4l_RI#7*P*nGoS0&X;e6i=uf~c`ogIzvKRevNzslr~3NT>%Ce9S`@ zU~@PW+65u3f2o&j&AA)B^Kx!-XW^wR_jEOrt7?LiusJG6r=J{u&u+wvc1tbulY6`L zsb$$ebEliz4MnUZVM0`P`-CF4-qgv~G&o0EhnR|U`%A{yGJ8S;PyaG@TMPE^37Rbx zGsMX|9IJ}F8Uy=Fg$*zyp}rk&nLnt(7}gZ{@x6wimZBlG3S`MkraN$73O0t!uwXMzsR~7@<-{kZW!Cru ziQtyYXLa)rY*#7sZ&S(hhpMFc-`%x@Kx*c3I|*YI?-j}gzGdiZ{|GWLW{|U)Kw`oM z>k22!8=Ki|(t3c{tCnfof23k*kQBH2)Wedu90VP_R>vc*tLy@c0Pk;gST(5c?gVWEhPqk*iXG17kxZCDr&W%*$ zO0mXZ?u7{H30L1D4MN%D1nIJlQ+ls@XHCiGa(2tMFiRbHN9y>GlIEm1 zLhHVD4MIp-wsxfV#I%lz1%xF<(N@eoMfoWo5FVR__h(DMxrzPNP1qfQvD93-3WGj* zw?h1fjQ4o40Za~2#LhVYh=Q7?v`#(ge=xDK>K~A&Om$s9a@bpjVZ{Mi1ZOGL_}ugM zkmXc-wtoFumhyRI;OQ`Igw4K~_4s^lnf2<~tEjp0xUoU0d}4Ul5u$s`EId<%aW@&; zG;N#I+bwXce|~`}DE7GYwLktYBe_hr+x_h*EtD04y!n&b?f7eji*>-X^Hp3;#=XX_&rzam_LgDW$tAasY?G-9?t4K<$06t*Zv|Q1)FR0yo6le zla`|s_(zulq3^3{Cg&p=nd|Z*o#6iJy5v(ZhS08QfqRfrC_FpV!9)Y>HMN~Hr zugKT&5?f7*5T4hB>D#3)5Q)5_EyC^GecY??$I`Xlb&)NI_j6n4OUdA&mc~e>iO16o zv{BEuf<>{?5oyupa`DwMjtmp}DoC0--Euwh-Kf^I6N6x z>J;b|9Q|b^p9dXkUdzkFG&Im8y8ojWHS`MC05~ni`%g|jPa3WUJOzY{S09y4&Dz_X zoR^Cil}(demxG*(oa0Ric64-mQ~s0w7mUjG$-%<$4gC`u{DUOPbp<8(q&R_6KrTrs zadrs~ULH*e>i!m zNuNCD5s)fgaGBbJX8!1xCgYV1rpH|s$N3S$w6}VNMWCqA)>&k1J(%9rIQxqzS$!NX!ab+KBVt_bX!~!p6aGp2tcjh{kY!k%v6@6(8auf2{o15X zxn&ssu?MZ%_g?}WT-Nqkaqj%}LbTA@<%7HP^pd^eN3TDG|8R-=N ztP0L5`^MJ}g0N%Z_fcxWPHdB0T|e}_#5{lY#q@FUS@hxe&DHnMayGx1qv`ZzL#zA1 zMqS6wCRF!{ZCg9x(S__DKd4wzzDwd@c4mtd{40S!W`MFA z;^hFZ0&(ZSA@s{4hMV`7i*E9ti&9t024r~d{&|pRyB^^ZWsqUy07oRqMXQ?>1E^96 zDh53>mORp`C@0|l(!W&&Cs0P?8W$r|Nf9vg%VJAMvV$QBL!58=10dL9cET=g1kLCR zmjw$G%-45GIp=UsFkBfQ-yOU|(?%%YkHLpX3jf^%a;~gMsjxKO$N5A^Mi>^j)>L_J^w)tJEseKF+jTSbS(T zS$(m2kP$L^5VjLhHcXK}>I5e{rjJjO5voEE;Woq`b212_9yzs-lMiV+2yGjXZ`TCD zOTbF=sa=1-bHb~J9T(7r>luGC>_p+|V{sz3n}ZQv(WS(ydhuG@CT+uVs(sE6*UV4Qp9S2>2t zYHY!(R`rY(X!zPn)I5fU>fG9+L#iS_4^^6ce##&r+d?J4^;$os>Z{w;ysogL(ltGbVLkYD(@|0WYaR^l%!?G_h#Gn3NVrW{a zbN6&#hK@oFpHg%;VBg?L?P!(evrSiB#37i* z@zFfMY9bAcAZbG)U+do``bgN==j%vS0; zXkLDm7~aZ0o+TURB#KYK^`4~k|Nh{&Ko>Fv?Y)!VnSb&Fl80i?fx(CMhBed< zsH=8@H=-q{`A>Uu5axH3j(5an+k4DcKzwg8G9x?;pBMz;Uf8f_c69nEQ49p$>7#&o zZ=(^+Y-`xE+dd?X?I=d4KrA(X39odRCV$89J`nR&3LgHqMBF-|=|iul&V5L6^1FdF VV|{p1G#(xvc2pV~DP?KY{{!xEZ18`N_qoqlewR(7BvTk-u)=QGkUB69;M3L1Jkiwqoj|QdAm!=N)ap*ss@$nb_^t?eNB; z37rYl$Lr(IlHvFA4HXLH5%lsOuov;GXOb@dAyr{dqLrmFU95?jTe$3s!V&4clg9$) z`(s~|kgtj=c_PK3(x}E%_J@u{jsa17Up!mfbA)y4qJ9l&!K?>;~3HN8vqW%_zQI}&S``37x8QYC;JK^x26>@TyQ zQP`CW1+?QMm~U@Oe+B?9>N0}HfV*z!2nA4=a|ElhM@WOgpUsI_LrC|EPhcOa8d*rbA`Uxh{tkFDz+CLx4pEy z`%D$eZU=FKPZN3;?EpnRsBm3$y;%V!h5S4m-h6-7u-byF_);9`4AYQWZwqQ!>4o}` zJ!R)Kw3pS}V0hMtX&In_;4rPx;|SbksK>+Sf2Jj&Bqz^WjtG?&1++)Yl8#k>#a96) ztwa#pY&}B%KgwvAduWmM+bdhEnlQsju<*1zcoH9AH!Gexw$(V-@ntt8}i1V zDlH=-y15zi@n5{vJAQIMr+)jfZZ%GAlMZDDKx)u^A3}5Iun}%Ql-8cv|DxX!Ilx#L zj*${i!JAGr5RzvOfbf+rTI5sB36ID>|ICR^=J&G_d#=J(HBs5=BuY$rz4%%MAKbVlR~?#LqH9i zh9gTH4UTrccg6vY2!Z;k73oF`H3u?M@bPq+mnQ=DLkcA%jTAPCTnc6hS4dVn5`jG+=FH-u6~2Ib(h#UJIJHn} zc6elzXH;Ry3@c&D5a8$-4Pasm6kYn(!nERTb&dsLe@u3ptYVQ6L`u{u!H*`GI9U1> z$J&TZ&m>8a#7ZFMhYR3%y5shznz(b|OtoJf;h$5UXLg0vlh`IF-_yj9ULo$Yx zx#qBP8V%rPXlsDQXppG{HODg3ekhmo$0`|taO>fqGB<=643N-$APNk1t_c{6I@gGg z9Y{#KuQdJ#W#`X=DG60U$QGqMOKzU;z4C>IBn|b+W|#$Q#K1mvMEL$=^R;55j+W8n$}AzSXNt z&F`e_sO`vg;5fU^&&Fhnbn(h*P9xdMl#LeP#!ba^t>ic@D=z)rKP{|vN=w-BgwEgX zP1-9x;0O3gE!iAEa4jR@Nh?bVZwssI3o~s8kDXg(wEzXL18dex^C(&3D`|LpG%0oa zWXL+dEtmAk&7y73&TmLZNA#h1qVM`C&>2`XcY0dLYWDyRx9?@1w=MgIo_E06*_+9- z&@K@?pUW*~9K-M3J>2{*K0zT0vN4$VY0UOV!~B?+eG@zc8zFvKs>kGVqV)~z{$ZAS z>x&!$Ake3x1*H-p!X{VIzD=iOg=$`Ux2>?4U6t2gz#k6G5k8^qj==gPEW5eHbqg^; zItvR9pXw^2?*{r-XY8uICi*09LtP~f2r!c-Jj{+6?roou&{7$?ovAfFW7 zQdp}|n|UN*i>KWv;k5JjY$Y)37Gaw;YGk(#XRVX+n?YH%e(rn!bUgGh7nCpQS#dJS zhHRMc9O*AAlwRdQnBELNhin_XRt z4O~jWZ=+}#YSsI&42?Q*x$8HOnjO>s&hHM(sEc%NqwBw_Ja^VfZ7$~vz@AK*ZTWSJ z&S7Vne6sYokSBd~{G9G?{&m+ueG@*vS?>01M9Sn7eei zqHSsG+^J|ls-fchiQ7y&f`NE|Pij8KHz8sa6BZTeH+|J)ja5M(=fRm_07hQO3lP;t zg2&gd=gJ@!C}bdQj$M^)IsT^a2gjfOyZs#U=G{dVK|J%nB*;TLddLtJW`p1inURWX9#l#?6% z+2vK|h0gCvo8-KEt>Q7Oe<6SE1C%Ia?al~b3T0T^5_eB(j1K8g2nO=ONH!r-=}E~^ z5mG%eb`#WY+8JjC>tUSi@FHf-j zze#f}|MtZHm$-V<$*ny<-&bz}_0{vgx#_=upHLM~`mzF>REbFHpj^hr)bA2=Z`#-o{I>FfRy4YaAY3PHY4F+wd6i#!k3|q+F(2p zb4S>XF^SqGWFFIcjyzEG*X$c?IS}h(tc!Jx>EuFaYW`(Y1UbY1xpRRBbobi(oq;3A z82r2skTG}Zwp?N9ApTQ?oQI2e*e-ynTZKHN!T5O4nQ+V2{~I*WaFwC$$m;mnu;0kZUY)IPAbFyh0GFXBr_y_D%zggs z&^mVIfm<_@;_0oC+hc?&1G~f@?*X()Il5LPTwieZAR@CjG0C8J<1pzNC}N68*ar*8DTHAC7}sAt=&_^QP39M$aGUa={ne|O>xc2|vv1Bt zb&9=M-C#i0NxTb@CpHk~b~YnuwKCY=FJnABX$YU0VEtzZUuVzxU2GFGsj7-wdgjV*f)Q|Y62PpXn%FB zzFR3Xyu?!sj?u&>M14U^rR4L2LxeFs)M@~ktL2i@^$HxD(QU$#w8_8`p@`#A~l8bLw+3L&K7ZtlU0d?FG^4O0T zWAgGmlf`Vc<(?1m!hY6T7}>W9A=+`UI?`FCm_!NsRNCySYHA2Cq6&tPui(xB=(O!iZ7{7*AX5+9! zYSVooInv1CLC1=}Icswa|8*}+Q&3p!V*S|Z6rpK(De@i_?z7#gTM|TjrkSTfn)Xr6 z-Jk_1LY2(qe$17-2!3VE#E%jqyd4;mD3u*uh06HC?20+6)TeGYQB2+cZ-oR z+2Fmz8|p#5y79$yK-Z3F=O~NFS8Ccg-VwDwis=!JsX%z2UxBmZo%vHmX7~>YazSfR z?!Qo@x(`5(c(ljXEq2*WO;=mj04Pdgk|y~5_x!>NUey* zarxcr+JOF!SEL!)Z-M`1-|VdIi?je504O_0`zIaX_1}i4{h0yq4Uyj1^RHt8!wx8i z2C%d@@&f{4LAf~F*(3p!C;;~KxwwC&4e>Jo4wQ#IT?Fr6DYL3A>xkcp(l=kf&(i6n zg@hR$)EL+s#R)()YP=_jEci)^geeLhOA-q>+dHeyTN`WYv36Kl>#({u=b46WwplEwaF-6Q=yW$jFf?Jx{R!FB^{?l8AA12(%{s)oxB}KhsMy# zxpf_u8(_KR0h$^K|4z~}@mwFN(mLR9MyP2lKuPeH{nP3gNalRQvYebyuq=y;sKZO4 zJY-NHZ4(lOdSBSrk>kp3M_)eLTAIYQw`*Vfh@2efKU?@ zf#&7leO)qjW|)*oM$l!AQZ<(2K#XgHB6o-dvo_Zw+L*@3UxA00(hzAs6kFYAwyGJl z0ZaPPXPh(Rr}LAKiGr7bqe`HTj03WMgPQ|`8G#sgW^hmk;WVQFZD!D-_W8F_t29Kb zmVh&A5pWGx!-K6N>9Wm0>=$4y943hxQ5&MHzF&{sd zFyH518k!Z8*C0(G@-N*x1uE`<46iYkb(#GJJZNagn`oGw<3F>3p@iMPL*G)yzDYZ?$-9Y(LwPbNlAz zS<|vxj2CJwdAY^E`@>5L3(s$;Z@c~5uRpprV8>o~=*rmBwYLv^TY#fH_Z5gIo%h4%J>O z(e#7)x$|m#Z5sZ@)i(zT%;i(zA>))~zILW|&OUeBTPXkK;XiW8_Dk^SlC6*NK@jN( z$1(rz`G1ph2Bb6Y!>^bJG$4?3yBP^6BzGjFzxUU)*}u8px4k=?TMlbm$nLx2>zO|- zJ-Q>APOr>2tTNCd-7aBaDoe~zj=ULrz(6s{IjwE)YVUganf&YY^skevKd__ki$%6< zFU+Y%RHhg|Z7|9bfuNpaoC4e1;Y)%hGgF1{1Tq{nIf*7lcagqo8d!4sUeb~_4AN+Q z-H^D-_c)R+o%kfpGS~3)0NR{^LL@vG-2PYXb5CUTb&{-dYK~P zdxfw%!b6K(RBfGb>U)W>P$Fqg;2H!viCzoNBpTKt zMUpd3Lze;*a602H37d9@Mur|agBp3@0j2v@#jX$zRJ?;n~^I`4C4dH9*AY)KvJ?{1o`sPcDjK#f*ZM zkr1XJb#6TM!rV0OeFmOH;aq^k1;B2>d@Sj~r5QR2Obd;#&HK3j>8r?`pZTcHegdwB1(r+!2 zcOqqv&92o$0ylO?z6C$??gH)P?!RHKxB2k}{5qMvQK-AAXT15<+u7$2b#c8OEzjNr zkG$e~=2aZt@>5fN%w-t^Ogj!151AZZ77=_W$kv8$qzKu%xY?;t-2Emamc$BQ5 zz%YH5O{$(|lJtU*U=o#DbP{kKW(sI+NjC+9PVk&wq5r+KjHzR) zHpPr{=%E^r!a62MAi@@;KFzXld(fRS%;h|sRf=!&{Q=0 zp%Vl}su^cUVT477P`ie}7;8I)z@QKeau5CKVj)3#_9u6Vhw{rYkWtmk#`Pnomlue$_?D+dzpt7g}zO| z`(`F7!L5D$y}jGK9)ANJJB8B{2<+#!;h{KrEG}JaTvA4DNLxEiaN_J-RP08s?OiIh z1~Khi=WNKc_1x0<(ok|@BP^0lo8~-!KbZOR;fkAy^;oaLE0#@Ld%Cph#fI%2&Zj@{ zU$>3*`+uFzeqK%XC@}+gX?ezi+F04X zc{gRNlib;=8$LdEVd+QNn|>K@(?az>az{ox29DbvI&xn&mfSg`4@Nuk>pZKS4L!XH z-i`Gf)8fmyPSv1HBG*jmERS6nEgRZ)L_!yPDqj~p_(YDZ1qj?^+UeKlv4)SV+X+3@ zDRL3^5az?EyhMPVg3Ho1%)TOSIdz$dJz3qmo+ILB`t|1?~(9WENDH>Kil?G@}kmKxZ+s$x>R^oF|#$K%)W_(Wc zP?2YBl3xNEbAij&4KqSTw-wI584b4az((lu5iUaLn(!fk!s1HfO)uKqEFP1S+7Vc& zHpOi_h-?SndTb!Tlq=e~#u!kz*Q`@z^QDQHv~D`OD0F#HV5zlwpcXWXIr(QN$IKOp z;c@y)n2ZjJ*H=SbeR76;tNo-4>KRUI6qcSM{) z+hz~F+6k!e>QXs9)Ide4NC;8`Q8$;Io0LZ)7nEV0ezrz#DUOTL1yLSAww_ap2&pd6}TH(?zkvea$ye!mOaq}*#iZ}DYr=j2RvCw#G z^mGOc9|)G$hvyOfyo*DO(F65R>-9DXb1Y9!7WqS{cYQWJ8}LKbdNVEj)B=jepPTrQOkbb{po6h-v!(~#|10@$wjGW-p8Wen<5?RtB%)T#y9tauC>bmg z+cIK<{4=h>Os5-_bX_RClhHr!d>vLsop~qaP(pb5$&rxebKUTFAe?X8x$ZV!##gh2 zzE*z=XHv6NB5G_CFN;_-Q%g4)wZaI7OQ(q2++ALj8!O*>SEjTbC~{RRu5*KuCkX>9 zD;mgNV^ywV2YRQNrcBX>=h!!ulQh9Wi;4ZaTZ|KVR$2_E$7NF8b^0aTU#c z1&isn5eIsp*M%`6?5C_6<%0SRF*{++x8@E6`x)F$S@ObdRM#S|tFOpRySjJ@gV5!! zx{YF93uCoI^ zg-Wu_nO!w5kfC+0h27fitBsbQHi?%F{P-_*OgIncYHjiG2Ho%1A>=no(wso)q1CuK z!E2Z`rK^`F-{C4}_1Or*wcrIN=Ihjrp)y_xh)+6=vbqg7WH6a6;*{iLWHwC!6TM#J z0!RJbAOS)zhqhNv1x)TdA+}JfQ}eR`m@^LV z6e^0s&{OgB(B)?1!NoaAkjVPpg0HEN@YTFWm`4uOp*Q9*TK zLT$2{S^1|Ws+fJ=NOlXB-o4pC3)+mKEnD^wvJ_`vBC1ZWSYoQ|r5o6U5m!ank11DT zF#=eHhQA8w=W`0KD+gn0WgtzRAt*o_t)XN8>9g*zNrl)@l3f2_SXRcWhiLugk+})X7$1y zv?f<;jLR=tr+Ui~gAD5SQ=Uf8^kWBr9HhK5ekj8!6r}ju{@T}Hlp|J)AGUrAqm6YB z3W$Wa)TgPU8;v%MYhvd%(k=82{P|ndhZIi30}R`w#RNc3)s5^7cLEB@gRov5HHvl;heGG>!`*MWZwq|!hq7{X=m&>JQ7^OCa3ZfE zCZc+w9^lIZ)HSfzKRQvA;vn@QX)z~<%XZ!64#b!vibP_ z{+mVxKs<2APym0DgGAH>#(PkpnN((WKhKCs4g5Wes4$W1j|hd=792mg)Sm(k_o_3U z6A~jR9>BJB5K4{krp6=}g1V#l;Cimig#rhIRRbM_d;@yjSt9{e-m|}ZNp!e|9aiSX z=uDbZ3R`))%bc<*5(n(8^XK`1K<4j?s+*2WCN!YWP>tOH49KZl`A<9VAOv6;8^*i+ zEoVt#mK!mPVt#OF8x0{3QG5(`lPZGx(Szluy_f+>X2%v4+$)vHaNy#{Y%6E zs3ahhVnr8RqnO%AqT%@<6>{2@F1)A9)fd&OA~R&>i_>Gf3G8CvA08hN@j-;3#@oQT zHl9_{?j+|P_R56?flb6#@I_Q3BYWSfbwM^i9*2(iJ4-~YuTj)ZaqUC}Sq=pAC_U-M z5*uu`CmloRgAODk{&NthWT^=MC?YL&Ujl5jaEE3gq^ zEu1TYi!;6eD&4;0vDLi6|G~P$(U-MPs5q5Qp!Df&oqJ;dd!&k*=6*lVf^a`y`sOEI zfnQKIf0M+0KlSbVD@>?dzgcS#UC7)L+$Fix*h%08(>z%X-!+}A$%j_Z9>J9}0`M|_6DaQFB zC@a?)KOTFe+vRo-wD3K{ts?=ud^9?q#^2j?HbfNyD%&c$D%o~U4rxDZ?qgJ6+^u2 zpuo3_h0oDZridBC*@53>^}yu8Pt9U&|6)_w>vFVPDQr@zp1Q6)$1~p0DOvM9Q+3PX z>cWg+xL;}G1i-QzxZ+m&R2eb|7W+(Lj?C@5D;+%f5)_$=70zWolILTQBtE^2n9};0 zyJ0;Lz=DP+pP`9}=XgK-fT*`^V!7idul6PHr~Zl3TC%(T&HGYu5%3Jogyve6?O?aW zOSxbg&a+H$=)A3#eFsDDlQ|CNmC z*vD^op#04X^MmS_tnbXo5<3kr}zf*L)o3*Bm>^KQmM|GLS=QgKXM zZ$qcoCM55!{L1->|OXcQ0J!p_W8b01V)!q9TG>Oo$m^HRX(buLMo^Dyx86( z6G7azzh3_v(RT_IqlWGk*>`OIkUq9{dv~a6+pmS( zk4nV30S(<=Vq_qi9<`faH+s~d;ciw?>la0PV2&_%{6cMv`giPbKetQuhm>`k1fRlkE`|0oKbe)6&pC4eyV-ziSI&R&hnZyQXVqs; z)44Ly{1ukOv=~4TLsWV)3YTz}NV_0>a9iEi0hG2xzQ|M5;$sj@sQT zTMbou%ibHIym=QShszJ9O{DkG{WKowc~j;ecb1kH9?ldl=a!%%Xyw_ynWD|JN(5h- zUMc%{M)gJ*)&CL!ANd!Wi^{P*(n#+IzhRu5mBnaHJ5L3J zpiAIJ+)xwvfbVY6(iPQjM@lf@up|Y2F0y?Y;9n)i8D)E3Je z;2#zNK?^xZg>%eGaQtJbFdy~8YW3l3k?bpuq!I`V#j^=s>#zBr$U8LAP2Be13$gKFF(>r$)eLc_E=@G zNliOB-S2=}sQ9wjHl~rV0Hu~DwIzJD8lS5LKe)y5ce;LjT0{caFb`TVB#4_f4oBWb zlNXLcO=4$wfSvXS49OkJ{uFEA2>~)GDxSQZ5_aJilBeU|mm8K-{zq&j!ZIJJ*l?6l z%RaTtN1LMjKl}t%+vYJnma6ousHgewnqgRwC_SKhXzbh%v7#XpN$%I6U3#9K8u(9@ zncY1eD+S#d)gQs?o;=Wf=PwbEPq!cffLna$uyV{Q5-Pj%G4#v27iLx5SyIb zJU5;EFhpDl*Kibs@o45i6J!!?hFL95U?jcO)TxN^(fvRhjmfyDh_BkAcO9T_bk@M{ z(msJ|$w8uE_HjB6g#A~2y>2ANs2^EC^b7@Tr=aKXL+ZV9R(2`bP- zM56%Ri9IM3B;ECrWIrc*5L~+el8`YD2%HLj3&!Tl?M3sGi%X?e}nJai9Ac z{rK=kULMx~^DmL^$;*1ZX8u;beX7BES}I^FkK*<#^d*;a7DLUUO9*;t;90XH7&&hb zC1@mdC=l*Bvb9hoUU=+2$`WWnKBz^J%(=*aWRQ6~4rBMO{)kb8e2vrsg zIDJBY2+S--(e7QYi-XXTsE8rrSR;ESS^^|iI(*cqKYV>X9Y=wwcPx7?Ze*e9H@GU_ zN?J8Y%v+Db-f)jl-VquL6k3R|T`|eTtIAA>CzZsgv-ZMSs{AXHqAl&f(v{dEDDoFa z5~lDvPx)I0Q=S=|3GN}j76z{8o5=*yj)4X6?(64Ndu;KDmGdCJlh3WG_z@@zlJ1v0 zsd8qB346VV+f@~rX-m^?QEJUq(?s>*dshRznV;qghPWH}wskekkhNJ>u7-8SkOx98 zm$xolOJ8)BJx}lw$*@7dwVb6N%#V#*LIiq6!I@V?2#^-pce-L-_^}|V>b6}$v04aP z&z>MOJXr377BTLgrPG@rW{(5rnvps95q4!rbk!D5H1)qcgqN$qW~8aEDRHRWEJqZW zG2@qMl*^r~nndbs9L3k=97xqp5Hp8jz#0F|MIna^&}{$J5oP8;>|yP6hB@`Zcq)sL zPYPnB%^i#e0_v&61dw61h^9GEW8S|GF%R zQ{P@Lwo7NZdC7yriUN)kRg)<-WBTCHEh6>Iufl9VVpeeM zRVEh3WX@}+Q<(gK{ncbmV5WV@FbKx+5b>93VlV*rFB1Dv4FCTjYyEGK1jfqFogQTL zuV*-`tM7QkiRnLIzfcUnLfh6vO z(S5c$$-~v~QJq~|bt^ONx6972uqAze=ulvI(`F6$^iB0w`Klw=4Tu`Nh;5s3yRt5^y7@O{~PuhE?1~C7uu!Y z#QXgDdsY3uXJ;LRkWa{gOJ4nEoU8+(n@GP{=;J`xi4m7FGKDwfVe{zk`A1D*^Dxl9 zL>Q4KAxw#}u+~vkQ1H5HR%Ws1v*Ra=beSGA+KROZ{UiEz;;POxX@6&Z9HR;wwy!aX zU7BXM{>G*-LreutwLdpU1B@hSwvz)IT^P%7q+y%`?pLB`B2Vf4y^m`JA>RBz7K=;` z&cm%5$IC+0<>zaM4xa*N>hNxdOfnGY`6Y-?aOd735Vm!IZPdO+RK0C)wb?;qH?0ga z5_=RC6o>Qs^=fui$T)mRD9u`y9j)P@fIH8guuiX6ElnvEhSX>$+}^|UN!Ammh570) z^fasB$onnctiu8JL?DRRX7axg-(RTT`W^@qXvNCnk?A0!uJ7;zw{W?&hAKO?|YS_Xm;w~r-=re}h_U(p1$KwLP zju!0N9+l>$=!p|wQ1*K<(+$wC^Zq23Dcn`?{eCXJy%=%J{@K`mKgFVzlf7QDyhAMN z>^tC~3^f(*4jn?Kg8)>c9WJQMoG*$>z4g4rO-8IaDTDK6;; zQqby{N{O{|jF^l%RB(oa%H0gP*esm5wI~7{C<=)uUvH}PcB#WRPd>150@OmWS7B_) zwA6w=D!9SiX3C}S34%xV9l7h=U}|^+H&(^j!k8PM(g3^2=(7CD-`!5M3tpQJKHDE` zvq$M|TS#U?&2&v?FZ77y3W=tF`{i$FIQ_4a>x8EG^sz=RT{fF9=rtMC!J^!EMzc9% zWTP?Byc^hX7a({%|k~iGKLZN z9{bfaJB^&DbGMQ{a4rkg^33hgs;=q5N^kpm#`H<)YD#RwxdixX&v*Unwu=)5WQL*L zsL2*fzM*4qnXrfkZRX<{1tT>ZUV3+8$1P$bvf5`(Kn*gRGKwafvWR%Uh55mN(qUd~ z=wQvw;oC|yR5QR65`AcAi@V*}2&FXJ{OqvwVOx03$>WGD(xtsxpGna{P7Ne@dy1KJ zBf#Tz`^t2~mmY{D&p(J1);5n(F!V$q;&;X=1@BQEF09~hHHEy?5DyUduMkxKa9J;c zKMEht3*g?jra$7&LsVb3dr_ULeLl;rWlzI4=$YbW8IaMVDuGyKN$yb4TX_HE4Z;@f zR-ivMUfYq`FHL|?hDIb#h}<_RnH0YzFBuU>7L((W_X1iZ6DA+%Klz_;nKIJTTwbtmagkf1+yAsf&cLP)|N1YfUmrWTpM#E>W8#jW~A; zv!ukaF=%Qyxyo|=wIef8lqw2C?3W0HD2U^#nslG2B!7pl8hlBdJd{1W) zE;+2=p6+KJb9`Wf^m?s_>WobQjYA1aZZe%R12e1^L0}?D*n)vsw0DL(Bq(}a>rhP* z81yl17q+zvh5!tWGsY)HTjk-oxiH6zOM->q~p`CT0F z10ciC2~XFu0hhFI`0|ZU%~#v|{*U|lpZBdy{dXrXeV^S--|Q9Ni|KoUzS|B2ux1%+&OL1X5(K6S&8Pl4y9Jo9Jm=iYEl zowZWqJ#6Y5Qr~Aa)A#kX(Azzp;orq{VE*NLhU}xQaWt!d0H{XqKj$*~pL6N{=UjaL z$GOny88Cli7PRxZ4z0#8*L_#*Q8|GfxTr<31P(-b&@8psjFXg3VT#C=bN-Kfr`!$A zG45s~_?eJ5aE+Bg&q*3UwWHV>5}c(fK}C?4XKDXC74INy1@>6mCSaCVQZdaUi0@!> z4mAmcy>oj8B7m+SRCxIvXEd2M-%X{9M)E%&S5L5^gPAVj@1Sk=4t%pY8iG(3+1EH) z*%B!@=|Z;tQD2;p1d**ESI@@&pO$606M0p35NADrCZ<$?wiEwT*&up}EX;|2DjP%` zac+SzFUPvlBMdA78R;P2TGv8`aK8bvz+NCXfa*ZA*XAqpSKdogm1euJ(^X16Y@q~O zp<#`fi1LXB$-IGHIsKrP^ylOc9H_GVcLIK6B&8QnB63_;UjNJ~PgV*?G!;$`84eX@ zKIB|h8e`|a2FP`%86Y*50aT7baY72hxc%pz0r6roKn&*K37|GZaja|H=XSuiP)hRF>{p(cT6x$5Z${dYRes3xJ0LeS8- zsAoV76CNqV)K>)J2H1a6s{Kz&u>YhaPxn7k3e}Pzx9vwut51J@Yh|W)yg$Ct#=up8 zzfRu(gRX)7$4Ir)KSp5xF|suHA0zdm#Sy1hI$TeJfi&M<$A?UOI9AeD541$N2o0!0 zyspqPmm~3Wj8^`Ci`hnyyWTYZg_vkV57;83u}sy#+`kQ~BS?Hlo>4>J@N|C18-JS= zU;0hpsbYjYbL5tGxpMWI?GW1g+Afp%h^R06r)DR+{|^}+3-f>YASy&op8p3R#KHVO zu;BEGF#r8UH z+uoc?Rw#PONkITj;d?2hNq?I#4}=9=4k~iOYCU?#d+N^yLkcN{pOm}C*jpAk5V_7g z8!>c)O@_7;&3%|n*|j`o@IS;WS@cc^LVy)51HlPujZK7+v<8*x(6=hO1ZsujBl*Jd zKn!}46|<0er|^fEC#u;{)Q%ag9>!4!BiaF*2}Sn?Z&dxpK{Z!qzax$PQ0s)_>kJWQ zELLzP)SZa(5&xg#jO^%u`=W`OhE8E*9YXZ!n3!Xw+aG}p3zsx%T4=e23)v_w7AZQSUC4dnC{qBWzs&%4#Da?qU0F z`pyz^6@n|`gd1#&{3T1l6fbBJ){~73MliKQQq_rG`fT9sns*_S5TSvk%ZH*rm6UI^ zRu7KNu=7J*2mN80hF(92fRJ9)X{4;!YmSZ%jA4@Tg3-(90tt)?Dt5ms8RKY*fYI;V zMZXDFhYMeenCyu(i_SrFQnhM`ploA9O5B`Pid_}4#yKo5wjuDuMZ6!KF_WLa!1lyP zcE&R$EK3*_5ZoIE>W-y+z2T0QXJ;*ZpHJ^?FwCI7uUxV;w%zx4ui|gY&McQtT433Q zu*a5XePF4mjQJt#QM4?^a)Z14fOwm`>}PLCTt+HCiftD9HR=MI*dmzn$Ydb5XsfWFVO*(rbjUR>m1AD!BA-P;j6b8N#J2QJ5U&Fbw; z_cO`TgGXm5?1I7OAW{7~o)v$7JC&z3aQ^-?0DJz| zUyj+Ae!co{!ZE7stLjycHeswI#iRKn)g9r%&=0pzBb{gj2|Hr22E_t3Qoq|+)X~~N zfxPr*`j~kxCN4na=kz?j z8+;lmXAt8Ibs5>LOCZ=kYpn$3##OB-LK)3u|}!$BiivY|8AUPVM(bk5UPgh zwNc~e$Sz_;s(Nw%ZaEHCS)z2|tfiND9f@D>9xQ|;j{ed|n=M=03MF~s-~@|D%t z{;FTrsNV0-FVsdxW;#?nrdq%_?uX6tV8ZuVNVlY+dSboo6lSo83)aHZ;%$PzYBOWa zyJPLq={Zkvv-``r*3LXTV>vQ1t;#ZMdDeG!y7#{MPr3F26LEJ{T+pwR-PHMEa9-0s zwGY!Uby_^UJ6jv_T+7Y#53jE1=dpQHjY!U+%owPM@4;n!5dbmK6GMQQ0kUknFiDB`6D^08;b29}gqOhCk(x|(J3ZXYj^DYIm!0F~0U%vdmL5S3^J&4rp z4j;zj8s{KHBEC;!$#r~&sNWGtA2M!Q{xDUwhP^0rm}Sd5%nb;OvZNztMu>H(jGh1REWYj&Zf%rbNt8Kgd|WVzVb` z`eewOdSQ9A7i)HkZTsatO+piynZS>Ef=L4}gD&B>$McSO(p6O&fO!=@Ce{uRs=i0Ef+u8mI4~tFz9O*74%9@Z1D|_k@xml;B^lkGIRY(;^ggRxAqOj;! z7xEKUTD;G?u%8r|#35wJvN9|Et!b8oqEWPyR#(_G>+b@G@u84RFGtXA9lMV#v-WD; z(oa_X?Ha2*JGe4CoohR9&}9Jh6Z3GERmed4*=t&2yqHVWdqcr1&;^o7(PLg56HgpSV$BlE6^cj)uBS80qRpa)uq*Dp@usB%&J ztYm}c(LHAdb@vU0$n4ML3!Y*8b@8vi^$!qAM;;u|c;lp^b_ZyY(b$|XNqEV`-#(NU{ZW&knD}%GLNY& zayF$mHTVk-Z3wujM<^i4P#-rc@N9#Q6C5!IVc`5aW1`jo54O@XrVtUeA+Hwj(f;#* z4-pfR(Cc47Zw;taJ>VIN%i?;P>kJfcm!v|VbvoP2yeMy+XQY|y3a#I04?|cem@d^h z+4XZ?q0eS9NF4NOw8HnMiBAB-+1BfP<>ODjmV`46|J4y+OroeXX!HTQAHrUg3`wirknBnDreT>A!aBw2eQtUz%1#Iy z1qM)EjU@m{fjCShsGq1Rjvn)|-{=H`gCPh4L(H_zPnKs^!dC+JIR-_o_vP-=8FYn7V`-fg#*+03U$I zER=frgI}g{1qLk`rPa#AXNM4vqbUe=-1jF;8{z;xKa6p#=*1?_m-I9qf3Bb5d2dSC zBR#go&b4&B8M|4F<@MX?qLi1@ySXE`p65ogPh56Mm7Py1%I2GN0e1;QtG3s6?>k>K zZgfAW;m(JeG}kEAS1bOAtEKiZ_tqPx9X24;*t8HffFMX4NY%(#T*qb5tvaW}x!YM_ zI`aX-bq?hvaLw%Wi&PKIs3~U{^nn|K{R!aKPMUxqB+Kg&#u~jqwK@1>iL-Y*_x@F9 zbvERhET*w@>G3tElknWtxCYL9Q!*&R_Wse^yE7Jr;7b zP5`jJ6+2GT$Y36#Uu0?t_j7exwJAS^!2)0^q-7|=GP@;6zwWd9;O(8$F5dnKT75Qu zRlmwbMOij^Ud3_Dq{LQxM;W_26q;2ky|Q*~26L)^RHY3@L7QN@Ng!VBsvv>e^beP% zoPuQga|PG&K>j(?mY539_&g{D1} zP{4ym@rQsWiOvI>FQCz6h@M2A08Rz8{{fDUy3u5uN_@&M;vpS8ai+!>t`jILflDa`v`e4~ zHRXcUe=~pUD@6d@9%3r3}a(0Ng55=4PCKKuAb zV~!srdf!HtoWgU>!wbakDle*GNYhAE5<+q2uxL_9a3a4g0&mz&N*zP7MO07TXx1(d z_nI9(W}yVLCqnXfSt#L|v1YsMjB6gAyBKpm0N9U~joag!>({L3$EOyO8j^f%ylb^e(ZrG#m_*|BZ0Io_5jkF=|5V_J2HeD=I$z79hZ9)yj!o&9x(qYiZo|w z21bEP;P68rB&K%2;hVSrqQI06g(2&#vb%*$b6@Z87useQ3W3#gnrUZ%4r`z5(#r@? ziG83FJX=5|_JK+aO#DNVd$^dqQovR&tjUvFEjVQle-xNA26wsLe({mx?O+b^cuA5C z*AuoI1p16D54F>OJqzN#w_^fv+s%tN6Gg9Y6O@`^;fZKpGp$`|U_kG=UxrA!Y*a#u zplt*6tEfpuSpai`&m_56jCN(bcq1EBieYVK<1BA_IhRDo$6q_HUZm>kh^>B?KgDIZ8Q=lvC29w?iI4 zYI4W{srmaKHIsqV1pChcn<*JD>Hy~QUNhMMW(jLKzje?R7r*s@!ds86Kz-0Qp0TW4D87`&4+uY2B-xhgKxDZRaZK)f*LNl(;X>|yy zrg+dkM?>vxp84GX<6McaM~lIb+rnUOJq>0a40@Z0xd;MmK>iDNtS&m z!4R|+6mnJfr8RyK`!uO5Ck*j%Rgq*}t*^kzzNMoAfD{TT1$v(V(ECp2f!-(dk3zZs zQ3zHc}%(HdoM4l&a^HJZZQNBG96Tia`HCG^M6g_4zL@@j$rG^YR&r;Vr55 zQ9U?w|LuTgnW>HTbu@WqjjToW#UTmw!`=O6{(XAHcPmTjJ4)LtFq^weXb_Og#Wu#n zGKU_mp~$aMag~}tMMvHEJk%=XbH+c&qpw~SMtAfi3(aJOeUNRPG198O&6534aBwxH zZ)m>~jEJVChLNU&W@&O}G3m+BPlArYcf=Gk4J>RR2#xib=IORAr=npCzPZj?iCZGu z$=bXy)U|&Ui`}ACEQ3GEfdg=EwHfRu^mAQZ#N>Hk1eJyzjD^jxtrgPIzM8MM5x=go zHAsH>&fejTwvejMbh$SPk<`?bOwEQu^oWHDuh-vYhdo#{ci&+8kQyb= z2e}eT8gQ1soFlwy_PdXFw(}`5qrXtmSMhPWysE$bouV>4@sZ8U_yYWX;2fz~!Z8o& znpY$`uD_VW`a?z4rqU2UrrB+2&nM)dC`?9o zQ2p&d#f2I5r{cWjJS}+F{uzdloy0Kp6~AMta;rE1g|$Q(=jh|d0dtV~Wz%Nsn^#mW z0}HwaL%F=;JT4j|$}^z7W^QnU*JL0)Y-v~bpp)IGr;aEM2XWG`-OZ5Qkhr&9F+;N_ z7ptptG0dJCicTys66#=zD~@P}Y|sB0Y`Mu)Gp-{GoJT993s++b$7(;f3QfAD=ICwb z6g_EkDlO~xxErBUBc1+&xzbxzFCs}DLC>FELLE>O4j&K1l0by>!>m?zrF5c*lplKQ_t zoX#hvKA!}hiN)9Q8TLGQH*@4E$sq!nJoWgAMUW|TbSIC`uc+>4U+s^mwmXu1hR9Kr z?^a(9CayD-LSYQej>cC@ejrOfpB&viS(dDpuno18`>kXHa=#Up=QU+%OVwF5WYy?M z$D^|iNmV7M6*aIG?1G3~zqbX<^{M7P<4H+j1{0IPIPQlC0+a0+4$o>GyVh()mqM7( zBvL1tl1E(|;MXq|v=%RG`r|%a+u@2IYw4O7%_QWfi<%q|H&a^x?e<(})U(yzai;Ra@6_hqB9B}UOx+`t1 zKC16_%Qo&L_H{QXj9FZlm7W~>O#Pvpm-q^2)+4%&To+whp>h|zCR_Sk>!ll)VoP$~ zt`}|_VdtjpLEybtj3ctDvm&My>wcTTm3H$aiVhlpZ)>gVboCw9qJ3(?`ufB0`cLI< zu1IR`c;zP!;SV(LTlQiP3|E-(z2z0PQB>ft90iK)w(9y~Q*Eu&63$m(Iqi_iNr`U_ zj%RNS*w~3zNAl<6Wr>UL`$p?qmtvnxs%CQ^e7|(VRxj=yjS|LeGpQwJw;^ zznh%9*lvxTehlB`2?ev(_2OLZLOR@Y{0##E#M}}7JZ3eSTHciI5A{QH#&bV=Bl>$2Jcy2%Heyz&(sM5_%+%dwomfra@pujHfzYO zB*!|iY;)L)ZrM4{2M12}zaL`yYjL#4qvZID3Q+AVhYSl@J+4>rm6@F=dUZG~1nfn73Awjc2fy^3?a0>}S!GS4N^U zSS_LR)rAwjPY# z`MH=_x@ORFDNWp(TbX?Dsw4#n(J_ubG4O#jk1YP)3WcF~o|}-j|C6oHV{a{>{5?ed ztvHabQKnh2^ZG>bu&+cza5K8jJ|9N$oRFF*$r@cKREG`}7rjLqbo@fRfWIlo<3||- z7ezv-Td}GozLs@3r|XVlXh0@t8D@3QkXun3m7YSXcdEbx_s7G1w2~UY7pXg#7mBeE zCarYcR{<<)S+$s7zd!y5s2FxqOAnt4J;zjfU2q+@Qvqu<3smUMLczz>_FA|1T2|5L ztH#@zehbg?&F_y21%NEqHSgB@li%udc9x#kCSB|J=2o|_(*gUK^^fivheCwf_haYB zPQk~mBX&XG{WLlI8pT^c(6ptm7uFpSL9AHqwmZYwAZ0Pe>Z0L$85_erbW!g{Kh93BcS@ zqiQUNY@yiKPj8Nc#XlM_>EKpXsUSea5%Us`&OoNLk z;dA9!U%C>H%&}CxC$QkZKjD?2Gkmr(**W`sqIzde_LuN$4 zqGo_7ivm$b0f=HJof2Hh)-7<0{-T^1LJ52=MgdFx4)b_oM!PT7!y9v1e##p2;bv+# zGz^9AWCOylRJx1`4M|^z7INEzxJPr)xRE@7y_TX}TvAIbR_dg*SgVbXXK>%5XC^0I zbsD=)0n71Q1k*iCK+3={t30{H7F(Id4yY2vKa~JO5yl*Kq+5nKd+NMqZngQr{y8TZXI|%|c*Wv-3~8+GJGAeKA%v9E06QyGs5~6v>}r^pcx^ zes5IGP@ti4a6?tcko(eAZ~lq(9VfBT8#eatK=U#s5f75%0U|UyB&-B?5D4D*Kk&qW z;NbwVqb2+gJ2A{$($X0C13et+AITZaKdA~{i+VT55&wU458<#z!{AWiuzawRi~&%A zm9VZ}sG6cc8NT5FX$}LFq3SkVK%>f0RPZf-lf=-Fs+ zzM5F;HO%XvV}DGKAXWxD18`h6`Nj8ewv_#Nf#QNM`_oGjEnNliPbrTeaG~f+yR*mD zUHhlGp?4*!5os>qsR0@zP+S*aRGK9SRgGlqOCP}dFDkiE1Zk4CJ|u|kM%QM#!t1|A z2)cKU3P)`P7jVk0Vr9Gx{S?gg9DY{Hc7l=Ldu50IMqi==NV&~M6r(*rHWO>#gFZ!R;GDz=3+l(mBS52JPTqk;10Fs*C? zzIDXRj8wo>)16#sUykB#rfi}xS4PASGC4D3Wyd5MuEQRlHDL6-q3nk!XnTXJ*~nr# z#s?^sA%S~zOP;|2z;vG`I*mdf^$@w9Js4xP%S+L{Vr zG9$qGNPzQw6Twa@$M{cM0Ev2h=5VW&PA9Xbg!SEURs{{bYT5Tmrb}sqf}HZ?FgGAu z{s7rx`JcK49Er7;bh!#Y1#sm8;L7m8l`-Pn ze`{K0lN5xb-w-k$Tf>(+$VZFFyE@9%0Ma{z zCM%G~-9e!S=n!HmDYx(lVzj0(hO*@z|49hXB2jtTm6!72jdLJW3oOsvt@stVBtF0V zGGwVxagA3Z-;3$Ddq3!_|Jh}Ev#TPf;A-$Jebf8Yol)>v_G$2+_uM;fcNX}HX_$s3(Lx>6X-5iOm2dp4N&Ef0Q<$S!zkkwzxCZ65B<|y zaGIiQu4rN|Fy144iSKFfafJ|&o1zoVHel3(O*2LA>#^S{IQp!3ZOzI{RhS>O!r#BB2n;W;6IL-jC=W8QEZP7nuuPOz*g1lhSRAnnx-to zG7!M^R~j-9S#7uQZVCy?UpJMFTXmIIuuVwL!Q6B)T>M7m@Ha&y&zl<*<=nH12y;;81qj`5!he|67K#=gMmn`-T-3sjF6sC ziC#_9G6M@ljLJsk-WhyVHrhaANHJ$w8&N>;;a@fXLv&yt5mgIJQg-u6?cl>o&!`z4 zb_}Hog*(iGR*S7#TgOZ;6Orsg1|BlKUJsNSgHmMucwuZzW#$cx@*RKHYJ+4{I?ZeS z%1pL<3tUmrO$h{o9|%WKpB4dLauSqs*4Y;qlWkasQciu+-nMN-fL9z-J7p)#hk8I4 zzmQO_fbT0aJT!R}27WqCOJE}VB;e<#^6zE!MtVQ!`|bI6Sz5r;lZ}*;`9Exs`i@I5RBJQoe@>!4Hwy=2!N| z{o_|r5Mir#Z!6iov~K{?X2oPJ|GA_yL_ZUv?9=aV+{p{ht#`-S3Q6-1_}ps1u%Ce4 z?A&ShbldWWTgwLhn{9Dw+r2NK?I%B8^+bXf>W^At+$2coR{Z`oBXA7v6+7r{{TgTs z{_^`uMqh*0Pr)-pCWWEb&rPe3^-6C}8~Hc6#+|r!`}VZWJ2He=KJ~oR6?o-eMJSG7 zuxs`1CS=E?Mgqw&D}D$&1t(nqoGo~$6R$smLe-&-5*LC?BOMAwPK&{IzF5Ea;iHEs z;gjHeZqXbFO9Y!8k2yCU5g|+q_cTSP1xCo;WGBY%2<2Y!uFWMA9wUT0^l3uGnWpO<>RAA5|TYCm~Nr?6s zWhpEK$L=_#WtA3yZcfoS{-eHOuyOJRv{$B3B&C5$77kEP>5c@L(uX5(br&Wq@gYk;-y?>BF;7r2tVeqyj;@*@NI z2}tX=H;NBLkuL@TKiWl8K-{VFi)^_}dzNua7y5~NQJl*5aLd%TQ;uY(^8%$jcKiK) zVGo+^XQ}q#zV<7i@_hB;>Ou`})2|c7HEa{9M*noXuzBC3&Uen$yyE8KAVL@Ms?Bk< zxV`0f-^+#;>_QT!o(+g9@-DlM9Ukz^8pme6ClDk2- zc3$mnG3G<8c6589?xTh7)>R$)lczrPvyTA9d9P4#UJ_i!>o4n?<_Jh_9y5HG+Vx8| z`q$zwDlWc>w~8n^q^mGK!ZXLIOD3vZA<(boD&qfsY(ROMGe1FN!QdPibUVI(fovg< zyr+TULI4}da;4S1ful8RgMy)vgE8~`_l};Gg^T-tDPyd}EF8=nEdP7UM$G)bm&7cb zzDgzs981%+Q$6v<3%>P2cjKY+&v4CUaXdUC=WEhT) zBv0m4`hO+#CzgQ`;7{7xwtN|q`~_imc#Z#t$L)(f23T1GA#|KUbLeR|argZx_$@CxRwVP7r(*E7o&3I&nCFfC)mVAAT3c z8%Dx1$1~0c-y!1_mKMb&Hi!Q6l2&)$4Q~PZWrye=k$ckZ^7Z%`HL`JNZw^jIrftm! zj_2--r{W*cih)c_MJspp_fQ;;xt8T~e5Pk?7Vy}=-80y;G1hb4zjL*K0P+hA79=PR z_DeUfFd?WlCyA`Huys+NgY{kFZq^J1&zMBp+B!cbiR@heuy^?@mhe%Z(%ABJTfveXg(|u3nY*>oD7zC z41nYA7(Dw6)+aXr+L_BAbAR}m1r+*FbFYB(5YeND6Vi{z=ntB4~U2ef$QlVg1P?GC-elr103}}4{P)d4Pf>> z)VK(}-sdIjehPpmf9WC9_Ix>wuKCF_A`8Em&ott!V#f$>rGE;=y=^moef@rCO8r_E z`Rc}r;MLaps496+>-~z`>RH(KD*xqd#0YkGcY;>d0URC2Q+|ULwursz}10cLwpe) z6p;misuK!_>><8^t^>m+|H_YpnFGv7LS%fAP9e#^2ptEh>>|DHsJ;dXa;E^l#Z~=` zY7yi{_{@*1MEJ@_k{5#pCzIJ34zb_6mz=uQf9XDa=!Rtk37Q34%a^`9L{;d{Pzjg3s8nA6__hz=>g`~ftRUo8#qkh-6}Pib3AtGh%lM3le3 z{E5D0en>wRGMQbvnGv}^6Gb6qya??`Hqd{83bmO&AU!K}J_sd#ls*ut0x0a?s8+%* zhLbLdPUB22K1+pu8a~wlE}OnAFy|$kzDh$*$T)_D8b3q)8NWtyF8Via_SN6_uX|rg z8j0NDf|4@8uZb>RN0vtyABhl&7J0wG{Z!9xfolYu2~F+wzY+DO3mtEMg?=>vzE2?{ z5-AjP+mFN@yd!=eVu8L3Xzb%2SQAnp+Urj_%=f%AquQ45}b163QV%FEzI4BM>LO%WE z6vL`QExyp_mrMnir*p(fz@LbRA<4x!orJQxy9-4nvc1St<0yci`C?8gAD6Wb;@`1f z)#+7FoUg>lMOH`xOcqG$Dv>t0IqtoG_YMBJqw9gD|2bdU4{}fwjoY3av zZ54=gtvq5<4gJGMfNEV-D@MufV^f?w9}$wMJ*>okH&g`B068n2@q7;5MbTnOJ3)Rn zotZn)$>m|My2`>3nISm98ks7bDf}z(NOAt&3(A;>6ZvX?)uq3mmX2_j{l|+RVFP)J zPsov9&r?A@a#h&edXv^V`;JZ_U?1 z#cJ~Tt*{T^Drr)X1NOcC*SPofJ;vw!(yz|jF6Ws<#|%sdUdqit?fPLTAJtQez+f$! z?w@owF2pi3$Oq$^t?(B9wu%grY7qgwPk*m{V6zVu=hye3J$)`CUQgySm|KkZX+`$! z_2yAcRk{NQU3L3S;%Nc0VA8=MOzHK0wWSp3E@AV4IJr$1={e(CCiSV^yWh0NCyBB2yv)^D*jYs> z!=x%z##`u1;_cv{wm!Q)af^duB)>D>m_k@@tWYK!?lUijqhlW39+Buh`Y4*VyL5CT z=*wsh@M%x)^?u1IXtB~V4}+w&6f|#`OMmgtAlZ#L=vX3rX_eYEvakGYCK`Tu$+IHR zmiP?`1mRu};UH>BYIQ`I4;3$2D=-v29N3rz zfHGK!3ZTm{%^?sfmY)t$*@`R$qESBoFzAVC+NHQVaZUFZC9)jKe$A%Cq67`tGdFup zrwrTjo{NRNfPb%Mx#CYtGG^}hB?On8g{<~X?MexYqVb6GzDyUjQGpaoXDd48Q8xs& z>+ahuygQ%d93ogItiSSS=`;J|5xMU-03UeP5gyHMXhKnOf|^Me1mW4+#<}R!vPdIb zf?D`m)i|TCzkl%k+4$yzxWoQfi3y?C2E?wjOKsc3ShS^Gd`2)Y5Bg?kRHl6A%{877 zFtrQriZ{EVyeIANC=nVuRHPyB?$`Bi)Ohke_N@5jykUOUti(9>D_T%?RGphP0q`x2 zu=`y)h3n7p)7%@ZUwCnl>O#?wYN@ZqQm~tkJkkyoh6S#4rE@ry&G_`nb;tXkJ;9VV zp-^G9=L#ReLYrsB0B1wWsDqh;6UbTFsSwfM%tB4WS|wRT{BkBN0o)7ZDY=`7*VdoU z98EW-tY+EHl6q(huhfW%1Gv=m003W(9_r9mBwpV0fZE?abIQ4@5_z6uLM+m^bXbYe z5EY+r%Za9*tnPxTpHQLL zjcoI@gHO{2uL+1Hnzl>d7cA3idno=qN;G>^AjxaXQ+HQzKR}_j9kP_&9tO1Hyyt=b z7XM=*WXQMFQFw=pL21EQ(4wg-0GcBWJF5;?Vw8dq!v}*;EY2UCC%k!K*@Wb$Loy+? zMD+rjEh^lH-@>oS%q=@vV*+KhH%_Kfr=CSWGqPHC7Q*uavXak|i4_h_OPnd{4OC)_`uHXAd+(}D7Dd_EjA01~Q zHx}i@VC`K7{+^r|5f`;`5_Qay7>1Tv_SjB( z4mi2kikRq&Bljc$rpfKv^%z$Ox-l!1q(|*kI`;kU(Tv8Jt{j0$hS9zgD6NFQt;t2R zO`$o&14#pZhQqigjRW6fv}zxZNJEoDppW6E?=4()z+xv>bOj*eqdi_YX>~i;hT{K< z1jBL_n3s}u;6q}nOvwU@pe*g^(!<~Benp`r+vIj3oxjG5zn%L2Mx5=PwwvMXCKm-H z;&V;o*AdAzrb0+9g39tb^>37=3Advuwyv579Sx2 zb4SoG=C2~u%XmU_iVxPPp5c9mef>I5t7Q5*zClX)?3%XI2Kxh4LZ2MytA(E2QkN7` zwQlLo$PY(SPqRb7-yR%R+&Z!9r%o85!|yw~V&5)P&VDIK%*Zg|2ZjwNHv7brOJoMe zs5?L;Eg|Nc-c-pc$l_iHq0N67=EwznRVZ8SgG+M5J3RJ;+>|-{)-(@(D8cwJB-9gDb_4}b|UDh z{fh?!=l6YLas)oxoLBMJ6sEtjTeTiVb!0W+^VaT87Mkk?e9d#=pumsSIoP1?6r&3D zcOOi@AZuQK#)Q+dv%yxVru7V{$?~mdyST>Pmes-qsWldM(0wH>ROKkVUmK=iM;y<@ zr%^v!&W(!z@Vu^cqK)*yFM~{$NqA_pJfV9`4v@sg5ltg##$HhS;;q&&e1TN*yzYdc zYXs>y$Om{4k?@v?mD>t&@+>B~GKnmQBCMDay1rqI{x;|=yvtn=nVYx!5N=}mEKyN0 z5{PR0p?~+`149!ii_oZ#dmNw*sA6V>(j=+{YQsGNShPV#M9M`qe+SoGlHgBn0g*YQ zy7?o;;}%d)>(|<7zUM9}2`aG_sBX!!1Zq9DRe;NH_rZalH&=>V$2M)I)vANBHOa0U z*%6+t-)}F-(cpDhqT2K*2DOVeyLP8}U6$eHR0n?Ho@Q!1FDtyt)Pm?fx?>LZQcS4{TDd$!bnpR^YX z9r{^LQ)+r$@{QpJ7d%Qq1b{I;?#n7E2rj7rxn0VzSwNbhKhT>h$C_JYK(?ik1wP~M z20FB_*I>skp;Uc}e*oz*%{}IGyC5?+xx=jwxSZ8)V9XACYS+wgkGd2qO~iku*kG&Y zo>fRM7rCM{G~yFulmm^|zfWmtmT#p9aElBwj_H?*>*CYF5fc98B)RO#LHNfeR2i4f z4q)dK$rJKDYx8tN59TjFiSH#T36!Y9O~HirUjMFshD|!e0mbn5gXliBU&&Al{p0O> zfJk-+jBUBZu_nl>>%;DpjxZGMQn5c}e1V;#+&lC+;i`*yrjs(=s6;3^N?8W8CddKh zFu}tLu|9z%AANyyoo7P{K7;as>koFqE@-`2O){*(ueVTK+3e>!;W(D*+Y|A%G)rpD z-@%a605gn>OI#aUIaHnQJ7-0>U#P>1fZ)3xjQ%XcDB99MAE&knCF#6z^|mOAm6i%> zP^k*KzpTVV$`qoT6vOUs6DD4YK0od9tTG1D@SQLvpl3|1kRqzB^s$!PN@cgvI6$n` zoL+cU4E#2Zy}0+~Z_TnlKg-#BiMJz{WcPwmloKfRAzZ z)3r=dMdcBxP;Ys1sn$nF~ z*kGIc1J92>1XCLf`)Gk(v+Q1C=I(0kv%L{8d8>AxLJn%r-sVo;p0H1JPa#LsN ztJgtf2xH=1_5*kMdO^nDAM=$N%$86Ds{&La+IcJ{7w^;iuQ2Oht(7p(0U9cQ`?C9D zq;7q1u8J2ENmB6*$4S^eEH3b&&5b`N>2jg(FhO-Xr}TG^Yny&~&0Bs?b+5;9PKXQU ze0`Z_j5@wkoj8%Mu-tx>lAc0Y$@?t;&=>Ch5)i71s6r9dMCVU7VtL5yGc@hKsXhFIrB+n)SWWb5@oI3Yi_}FZ&bh zw&9;vu{=Dvx7fQm3{mHZcLTuOFZ=?f19+?Eo_f%nwEBLNa&6H&d__en^~q=xwRj$a zvkwR0|EI)1W3;A00J_K8-Dp*i@3t9gmrY#q$km{n8)eH=7I_Y_j{%N>F`_J_9|dYX z{T4(M+>G3&w^~#R*9QEtEiLZDr%eog+I%e=rX$-!@x<4F@es~?=XSgGMQ;l_+>}e} z%jp2;FBIieWKCbb(NOlP=ak<0zp5g~V{c(MQe5{ld!5sB)nc10N*LJI>)KN;8@k%b z5k3L7^R4=66ZA2_avEFOJtjASP&E#PhT@yuD8ta}llvr=sD56GtBmcV!~#Nx`B)N^ zyBKejbvVp)W(qu4K|-9l+()oA;z%~LBGrTq!ulVHb7z+xm~E>c5klR&T>e7{dnk&N z)Cw=M(w2eW@`c9PL05+Zt1{Yrc z^RR9~m0)?N#Q@H`0fQt3KRV#PkZO2naAdJD5z|AQ8w0)44ha^zT0;P@T6dX$vsjK(~th>fEU zE%EDDD2QL$A_bFM>UEnp>@QD!1A1HH(EU*G7`7qRz&1eT^X#}@*`61bBz^t!UX+ll zr|%dQ?)osFRC*M9l?49zP&m}B=Mw_sh5YLY95@?qx#q+D4p8icVa-^~~G*2+C?@{JZzhZ$0SOX*?6VRCJ$1%l(nIg`0u# zb}+b5biIHLOComWxE<)WAe|O@t#DZm7gdfz&af4lh5a3eiBhJn&hkG)e)(%f{1ON9 z9%GT4CKjyO0)6IPlPYsOvADUreGlZ74sii}xlqMxnEY}@oFOAaWIX8m`^u!(qv&qm z-mak&;Vh#HCQ+;go8^i{1Gd~aB|tMjz^>bX;|L1fx9ZmFtYYiy&rQeGAxa}U~Q z9X$gShacnQ#FmZ0?Z?Y8UL79UaVHWRSN^u0Gu3%o^km!Z2t{clyvt_2Vrj{@T1hF?We7pUk9Mi@M>t{`SEdTcC z?JJoIZ!89?yzB~QEx=qq%@(9nL>kGrorvU*?icNy5=*72JWsx>mJX4%&(@u&WJ;=L zWp|4O7FCj|;U}D-)&tS(8vFycIKBahFs43)RR=~h#XKR7LYURI zOWpeSl3a~R23MlSo$!07!0<_HlIeWX%mu7=z{9@c@>qyuEJO$|=Xa$-1N$TZI<+TC zdy+|uKiLCHUmQvK_RW;U$^&>>LU|CH#oXVn>A}l$k?^?Yhwpe5=xQVDJF%*feNq;Q zTq=Qm>D-!*mYy;iG|V;N2k!xmPD<0&g>Ug5G%QQYdb!BQ(de={)g$W-o}KejKD}~C zZl`Psk1%q2H>mX+`M`c6q%m}WaW$&Leo15IS;P3@>kjO>?^;N2i0hD?tZ$b+YGzCP zJTCs-DhBf`Vo+2E{q3Bmscrk`cEmDH#RkEnJf?TznU%#F=rh{0uj?G-IuaF; zh0slPe%sgT7+oZ&fIo4W%rR;E;dPnV-lkQ2Xvw=s?9{I6Ff?_2KNCOo@#n+n?_3bE zM@DWc2RLESz(y0f#;IH4rPqUx`R@hu>-v=M@(Zn-KrqNZ20n-+mB`H;Vdb8+TYrLGU|yAU0G_a)4o@X<<_|K4oQG>XxQ z9MS9HwT0C2`&&&UAm`iL#cW_cJDn7y$w!nqe=R}q?7sY{UD`H>n$St51SZs9l*IC* zM2d0o%wP+)B4gi*{A!ix8-yWePRobk_#W1%YlOL7RNE`e+&0Vb-(yWpoo*L&rVe8{ z*mN3;Ll!#^bAzDF)HosYYaez-JAi|B@6&nF+HBJ|fs7+r03m5}es*~fK)!KPRnK@n zHCr3PT<|Lkt(}sg=SKYL1`At&{ODti&@KAtPWW}rj7-wj6c#6jl(m{+T;QscMSWdb zGQygyO_T@clmXLCJ)Ez?U?R&tiMg|N%q|C%`nayROT}4G!e0q~3zDX&0+((jGzdjZ7*uuk2Rl1%KJkzA`P6{KemxOgYza+9k_Wctf05&eSt{fcyk$Q(=*>c)6R z^n#1G`5d*8cCcddJ#9}=6VyD?KjBjlJZ+J&kC@3DqOb#;(&3JIE-TzzLeV!aMN76H zEpSF(9WjpXRHpxFY4$pRKgLgL-WrpcU3Q!DY^Lu7fRW?LoEgcQq!Fc8e8d7%nra6= zaB)KuPf8^q2zkT~3%An0wa;FuAG9Bv0nFs3`W!p#nP)pJ*SQL}abF-eL|d(r%fRV* zi3ps&vQ>W_U2#yTBjfsOrUzdAv{+skW1%}56KY9z^k+Fl#zgN~{W&W+FmIz-Ij8!p zU@eatK--nzqce=xu;>4?D{~&PnDHTg66DD%12oP{kX&)pn-4IMO-VOw+X>~bRQ0-MqemGETojuwS zP4zZ%;t@YC<1HOv_B<>D_cb?;|Gd-SvA}L?Or)rheR6jb7{6bDEN^ewozyGRmS~|Ez9&lXdM)0kqhq#~~f21pkv~-l2(?Nq3q_ z=l+hkJZxWd1NS9AbnM>8&oOTI6bI)NknV^~fpCN6ITvi6%DH?G9zpx3JeM%NoJ<0> z<=q$>N!QsCW_?%?oEJI$PtPlw^|C!9+t1+NgYtQbDrLq)$R02S9v+y9yo(fJW6rw6 z(+AcyXcV>zO5H+FHXZigXvtE3N85E)Wt4xH+U7(yN8itsQ)4*m^*-N)uUGdw>ry zYB$am5LLV@(39p)zMp^({y#jOQ*fqTu(o5{wr$(CZQFihOl;fE#I}=3GO=yj_-F5L z*MIU*dyZgE^NZ``}59idqCF}TI^IU?SDJ4SdC`uUpGm5_&H(wQ)CxH3E z<_6HXzkjb~Trl?9J<6#b@eu77pDgR@7KFU}9|$Y{!cf^bwF18xtAD8oy|!44Wv1bd zBFg`Ir#PK(58$oG^r>q89>iI$Jf#sV+m6f{&0lO=-6@g2r8l2XZN$w0JZ!{=arV&ARoo z3Iug)FeL}26fo$@tGDn1=y%0qOzLqpiXuW<`(^Ai!HpNZopFlUqsJ1_&on-;_`>Se+86684*V>i0PfA~5+q zj}|SImlt3d4~cY@;po+=)m<@58HAy@U2N>=)$c~L4pt=37++xk_{6+rta9-h$?}#6 z_b8?FuY0VR3bg;s4j>U9a}Cc(p4-g?tytB#?5<~@meJ7m-Hw&gB6< z(TC7od;DLSPXsrW+w9L5M)O{JPwJ6W1DO9T(2Z{Z^CepP_UD! zuh=J%j}-)OY&CX~&>HK39#-WcuDoom`bIBd8RoYZ8)u9F$A8blnJJVBX_k%^G?dRO zdiXe7!rJDNM@O?7Y=Rw)wS+LJtq+11-e2)pBMw>#h7N{a>+P(7%OO$2ym=;Q zY9Uhp2M;2^aN+o)6I?ZrhtVY(s}R4<3N0nwU8UF})c_r~8}npC=IX*|R4;fxJY)Nw z0q>17y{_46eN|<_(#kJG#Fr7gzg2?z*ti?hxg;F{!oD<)jja?hd!fT)oL7V<@@JWL zHEp3JU1U^cBv1Y44*08G>k+t1PfJx-dsMlTPs=NSairN*_Bb?%e1nBw-YW@&qVLWY zWUp7YNA-H{2}vV!@`Om_4p2-NB)nQqN^ML0)5Z~~Ro))cXM8B}a=Ei{S2;x|ZlBkB z)<)C6Vy+sz)6rdIt%h%q9~}l6cVi*E_N$Grba!Zy7_(s<$?n6I+_v3fYN%F+bX-o?aHt>UXO1KVoo!~~gj><)eUgk}gvtz^}6g6eKvRo0n0<5;uZM~MiN z*Z+XQv>7?w0aN^66A7?nokbQQGQW%clgK->Y&x~<5A066fkpTsSL!w)di>FtqBR4M z0DnfRVbjZG+|vRuokO01LBayY$w9O2wA>z{_2FrmRC2`UtXd+^8`T~BtAd?b$kF{W zzM^TWS^Zf;BJ#KwO#6uQO(knKxA$DEflzr6AQ5wg<*cEYb+Fpf(!xDsgg?Z3iB9<-spXJIJ30CwU zL5AQ{>s_r*$D%a16SHt ziy+OemcRh#Cu^+4WlJ5A3TnasRa^?E`0M-xEK8N`TNcHTwtSY;PjclP7GHmCr%Yq9 z-=H$syTD_y|we`5pvSpUye^8Mk`10p6^AI*WaoaE_vVW9^30kl= z|6`#SKRXf0X9y?g_}VN29`FB~__Ypl$J3_@cBSfDt&=lrUe6ziHkzgCj9!nSdw8Uo zHt&_asq!A=N6z~sCJ~1Pt_G!$snU0M!WKu_u<>Q3%QBUhsTDAC;TQ&9IP1Kj(#Y$# zE&Ak3Lb>?+G<%#At3}p(r|e@W@%&F^#M^S&rsf}sqCaGny)($qGd42ge_I!RD+ZCK z6cBQpJZ=JJ#c5%!+|gOFO*#kT?mHbR59>!R2Rpy7c4&l*K{z1?0vMdI&U%|BmPkq8zPRsEfpLCUci7zxx2dq}!Dan@=hpHHl|`u(4S*+i$~JxhaauMjcYoHmBJGcjtgEAmdtMfC!0_-xj=EABU{Q_^^dfNr$<&UVeH=l-%K_mtVD+t& zaZ=|Xb?|_{2UPI|;7b9(LD@r`QXp|iD5TC8#?*12UlX7TG0&MxHv+RKC!uSo`S7d1 z4uQ>l#uB)EJKqj0pWoBrXQY#ym3wBcWza1@thV`QY`bgyCO$&7_)sv9~kA`^f)6W5`yMs--ay7X*(A!G4)DZ|1@3pva zh4791oqM*F8?tCp8w2J+BWE%OUZ57ZN%v6w@iTut*wZ2*Z-|~0X;RBCrZ8Li2hO3V zg9{gh3)j&}U*Ks6G4+sswaWWQ&6j#Vs`94qeXRAuH#gZ2Aup3~AGR^+r?OH(g!2qIkCM zI!AO7iB5`Vk#O*LAWrGwQ_42Tx$9JZwykRiSbH(9I4ob(*opNQzdv zt5)-OyT|p&9C0V0Do{kTZdk#;zSw(qbaAmD(is|VL9ri%QQW)gBNDY(GO7-6T!(-= z;0dPX+3GQn&Wwqutqq2bnW?~vP&}-fCNR!@G!Ai_gw|HwGk0W^?~M%i3u$Qsp!)!) zhYA}PNUSgV_+q>hGNIb&=EcEsaJwd`zKwO}DJ zC^`O&?n|b#lv2_TMr4tQPli_24bn!NJ&+S2bCJB~>kZX{uY9HPuO7Lox~^YwrEMGH zb@ehZg;ng%6ui*M#k%JuJyFNs)mebObR<-q9bHw*>BbJctJLz&w?X)ndj)CkHL8aTmO?yK26u(&24Q8!JfAUDHWum!C@# zPV@*;>)9Dhv%rsW{E){(Wr@B`W}eJksGBo0j|e8=70S=<>e~cnpWk)(rdr#*SQL*m$eR25^$JmQUPov=xpTE+~2=Y(=cnZg0D1Jb+ zQoy$*{baIOnbLNxGUjQ^b@mw?xH%Z`H1(+xdaqBmk~*RYwsF6!>4*J=y&k8$Qg&)% zzE)Thgiguq+HbNA`|1UA8m70a2xmr_JrAui1Cd?V%u^-^`@eilv&uZsV3`0ZeQ!&@iA=z=mW)mLhh5I74_(>j zJCX~wzO@&)lBN2{)7Ddy7M(w zMAcz&W?fU(9HX5_3S$!YOQaU?y&BF1_)iD#zs~)S_-xUnC?pM>_4Q{Ml;}@$iJ1Ac z>Md!{aSX$yg)`afu$Rq>iR5DKa5ntQ4-kFclZWn)hDiWvkLMZx|^R860S3h)uW}>?^Brj%!3~n~?VuhjwMEK^ivb`(-k(6fNNx@Z%3t(rG z#~RN;$Jjn8^lkXMF^gh7Wcnz<&>S2G>WoX`PlnoL9h|@j*&_FbyQp;_3y=q(F<5Rh zPyg42TR0#ujLW0>gU$`ca_K-k;9xkr#vMZ4FTA>Rc~0fjKjn9uG&7MhrRqCwmr1!R zg~YJAu+1?)FJuuX2=pL&?91!H%C{m*qV*43q}I4b-&1jrWj3YUwYp^az!JxJ-E~}N zM`}yr8-_<^5c9XyKY~y*^KpeJJqN~zFL+gbUJbx!4+Ylq;!Rp?^xYc==9qtSYOxoY z9q+{kIksLBO)~aNCLR)x31TEOorFy>^x~<@%nker0bKV+MclNoU&$6#u>GG4;AvJr zzsd2(b|%8SWaxO+EENo7?FAK8k1d2wmm^S3u7{m1Lafpxqno2vqHh(%=0H=+zVJ!@ zC@G+~g^fpWAX2nAu|9R9nbE&zqosTn$=Q5as&F4zl*aE1zXqAH>hwBaNcnh%%`I(% z+f&3-c@I7S()%E{Vli%T?rU#Y!;2)g&@QRKXtEcfw_RmBf;bpE-gL7 z1m~#5tW#rw+L258Ya33li3AWWha3lN>;tGk(P?7yz(AlC=wJq;DR631Q~{_BF$P_zMkZ$!|kr% z*VE+(h10VH8+N`QtQe^5y)tiq5`^my(Zwac-t<5Se87hd#5_5g^P z=rUc*cglyzl!qS~SBS_G;4ROY6dQC#uQ}r*0$Lfd0?k75t#lX{Be;XcD+c>>&GPfq z0uUMb$!?anH~gkI%}?1CNREFgXu=|5YB+M6q|D)E zn7}zK;!xsuP&Dj<(y=aH#lJbEZ0n)?aYyY+d1sKafU9A&!9@ww%CsA=yJpQ(u21gN zbJ-YsX!fDtJNSloEx0FXrrZ6$i$p)Xv}Pe9R6rr2&h`o0G!c zwQ0VH zLNRq7jCV5<=MHP)@zb8i(MBsHG`2zAH7HDc6^bZM_EGCk-AH#}Q6UW^!I)lX72Il~ zD{3}o!Sa&M)5RdB%Jf9PvH;2@lPoOhx?$>=@zWC9Dc2f0_dKN}B=lezZtbm=%=BwH@J-@w! z)@L_JkA{A?gQq>AXHQlkO6%!sKZlGFsl@DWqltMXZI3P^Kls`^Tb7DpF5i<+ja7QE zD7(MlEpI$n+tkHI0+Gf?EfNxcG+4{zbh9(9bE1dCBDH66+x^IQ z*B>pggS?+oOrB^n9QE?2@F|${hAV=P#Z% zYa8e`_mgDz$+SB&?xxMA4Q-ZP8tz;Q_xsI)daw)M_HN`J_9DX+4M)8UkNcEN#Ep6p zoxn^%D%=t-?`pe_RntJuYM<*`xbi6IaCBus19Gfn%P$Gj}NZ+{(zv|v&tZ29=dS37>!m`hzdmyWC@tHQg+ z#Yy@iTCYCv5}=WrL4GaFQ;xQ@b-#_1Lx zPbT5pg)!1VFY}dlYOT{TeNsR&8Ig6`BCfCMB93a(W#~7uD%qI34A|d6ErcHIS6V~- z_O``f>hPJOfBtNdMFn?L!qr z^{t0V8esSLMcFzA?Ko2$q9z$UsuoaABU4KT(we&;7SS0sl^0m5$0+t5H@crPuTQ^~ z@0WhFG1SHitS5sNjdmz}f5bo>dnEX>B7WB6C3M)KjC>9zbXsi~@4#A(s(hctyL9X< z;WU4-Lni_ejS1y30GlUz{$>M>{}Ps_kdo482Jn~6VUCqV^^2TNm@KJV7jfxmyD4b_ zmkJQM-z~2!oXHSuYb4^RlF3q0~g$900pfgy~I$ zl`y%qjQK@I_04YhE4%FzVy!Ee<4PZ1uc3)&6aG%Zru)v-8jfN0M6Ycxs%!)F1ob19 z1d#KLr&SFESi4bpT0q$ydl_7o0q4h@V~NbYH|)@{JDj}!ySUNdy}IgM`H>yDX-eXn zh(*khbb1>bFdtBCo6y#$J^vBFwwqwH7H*6C>Y_yST*HdK^Mb0Y-`|G(t^;fGV96@H z`3z>|M}kc&H%}Ag9KN<Pp<>q* z2tP3z%)~T$;9riuGisKE#X3{?7eiSv<}lZZZ84@t{f3?yhsz{7d62JR7a=r3w}3V?9MZQdbm;OkxkcRXdpzpUkGHVOeyk&j}o6(8{lh zH|s|3-3V~#39Nw*Nx*RJ4wod5rp0}`OTANu^NEYk(p}#BG*a*_@--+|XUAVZK>a(R z2QB(F$$8JjCttOm0cr?q1330SjUyT%PE@8+BpACa+F#Kkz=weHa2m<aCguPrh6 zA+;C}-$cs1L>9LFxH%{Muix~s#=H!auNXL^A4jmjWPPQ%ascSyvI6ba&Zfc)wcd73 zye+w6%UNJ43d7m402>)1+!_IIzJ9mN=y8YN^#R#GZXTz8r%BIVk|Vr+8pbe>UGm)y z`xm}>?Nzy5@BvEN>X?dmUi#l1);cAk;!-M!Js^u`fmodzbVkT(fy*GTe|pY|(eD{H zg0rEQDitx{C;=2hlIR~|?c9=y^>>Tb+v;hwaa`bet+mzVFxrtbg+q{c<2b5!SEsNsga1T_!7O>hwQpsPANMT% zR?7BI*pEt&6z>w#@~SCIp6ME@?}ld$IuW(HJ9LRHS+GYH)q-3~fXWc12o+;Nyo zaR<~>tFbs;z3R|CfFiO2TNglgrL5h`{Z34O6wzDZsBH0u(sj<+JW9zs2VclN1~=oR z!!9ZN6D}lkR48h03gkEAADC8Yv|D(GYL_lnSPVm5*<>0y>UgzNx|bnV@!B~rYgh)= zWe><`D%RE-(OuwttAsj%71VqP<3_@U2cszVozaSR)D-xFYtbmMQEv^|oRFQ1T86l( z@#6fY3Gvug^bL% zG%Yq=DsHm)YalS@%dp@hx;Efrr^6~RI+G=tljN1ZmSmLa7)+X%0YN0o0NSsA)|+&1 zZyiS`$V@|%JjPz2va}g76LOCb?SQwWMp`hK_XlE$j+9?um!Vj5S>t*osNt#7M;cJ> z-K*m@c$9C;5^PtlaK z6U31!^@yUezE+JuE~8bjFf9oxG)h8;eFLQFFL$zOO;0wQt$%Bvo>aeu&a9Ec^Dct0 zz62MSfZ_iG75qcu{4c1$)&gXU8ibkkzmt9fNE$8(Gy8uhs2UJ*auDYKLmG(u1tC`f zVg3(k(B?-9N`VK$@_$v@1VKG;L0JB;iij>KF$W0C|5foy1T|L#Vfn8L3Nt6i|7Rbt z5V13}bEP{bfS`l0u%!bx{-g24x)L&?fr-$x3LsOck3*;@1{2qZSw6$6eCxx%mO;?|A-k|1<4B<3Hm%<9hu7b(g6l zRmE$9pRle4CyYV^t_;Q&OGjTg4+KU+3LYdC5*kYP7mV{z&?6xM9VG%FY0CTyz|7_> z#T8_>5R57%MoI@U_u>LtzyhSEflN~l6$CVo6gem;MyG&07wlV%4@^oeL>Mi+FD#O! zg=mPkjxA1<`!H)LghmV@gpPJd77z-0el3NE13U&K;RFJ6roe*?>JM%nAgVPV^$1!99b*YlXua+Dh!xNd|!iPNQP` zE*}E95W5XJNC2AH4VNHd_EL$&97T=-l`03t@Cgr$f<$>pwtGz`0{-m81EK-{%DvWn zG$vs?mSn;U>hJXJXYRF%VciY&5Cx%F4_5&r5e5k~#Y2p8;^YIQp&`D67jNw%kPXJq z?*+DYVgpgSzg7$KfkZqL?UvqJwG9yrL|99$_#qrrM7euPnm~EY8T;#4;h_k3dK%u= z?{%6q2w?pH5>RmtPTf|+i_;-r`5>;&!WI|aM~E|p0CqD{AV48PME5K#K=Y_VD9BW| zd%$VE1mlDXr-gvbMbUyj$YoF`l9nJiFKfLxp7WI;NYx@blaoiz;+)R z(Yr1Ga3J7>Wi-hx8cghG{F4L>LO7wf;K%a!57gU_^(WKR56#1mM#)y2$=Z+yArzRP&oN0IhEUqGr~YKJx1lhytC>DUz6fC> ze8hA)917TeXRdZeC=rz;HaLh^QR$7-NV0DvW}vh|Bj^&Oz(swc-O!OB1W6iL(Ejs? zGD0Z@1R&fmiTin=)lbAE;C>810tis+TP&KC^DSTpN(O}n>kW63fJBjT-tGrUDl_*x zxMXn#@Jd$xutzJCH9$Ct4HWYZn=~o$1AYX2yK^Qz((x0d1O+tu2`>F)^b=fiz!xyY zN>&GXCO_OxoC^i0nKN9@clkz@tvatKDJ-eF1qf>ceR5{HNgDu!RT2dN1#D+fJA}7} z4*+qmJ*hF2fEps}*PmTNMj8}pF%luvVy#e>P+5DisTG?iRe_}FuX)SUPQg(JWnIRc zgWCXGjIzq^2k9~<2fdzyBbCjW%P94;`4EW}SUaSZDOTXNeY7=-a~-N&ylp8kxE!T5 z{SjOrX-4ekwvF{EBfQ+TZO+V>SG!91Xh3et?WP{ygw9`O42PRoN?FE@QQDdDqk^61iuBxkpHp04q8 zBL*~*it%-b?{75BxdQYFO zzpDb_4d@kTe?&gYpcH>jSKok@nKOl~s92}nxBS2caAO(d);8CvD#~Kw@;};n2^z9* z3e#%qUF-Mc8HXt6Ngtd)iiIR^^Z?s!D@CHi-ZGHcZjlSV+rzMiFfay3A@(EHD-MPg zU0mI$mD6alW-HexI;b9Ue+b|o76gH}*; z?{QqKnuV%Lgr3|bFpIebjR0)J%pt@#W=S&tkPkhEL}FuPwb@G$rl0pYrfTiA8q)hH z$GhMh)2xR1fag`Al_D$jvxj3*ggY#G)B5Mr+Q5Y7BaFO;>gWWH!$5Ej_j9Xu`VN|& zoHuhn7i%=*<7c>%&%>5o(;)MAEwp+*!Dhw?1C5WlUk$`AB=Nw0!UHC2)Or6>SnuXK z#E(6A7h-zn(^Uy7zz5`yX3npqef3LwN&H39P#FlBWOL=4dTEIJ zpxHOXZ^9T@*tHI4G8agEzP!GFIgq`WWIuVo#_$P^%RJehvwc92)pJm1>_9c3z4zN_ zTX_!`0MLIwZE4;@!~yi!*Xpc+yO&L9K$&LRsM&HWy&p&?jV{V;Eb%(hei@(Y{_;9v zrB>7)x4$p0P`4%PVcl^skIU+^0Q0}o-r25tbMl2)CaHUv))iK#Y|r&~n526=#1D)i z=X=tFS1 zNm+BJWX&AU`e+4Gp4P78w5-<}TAx@a1N@B>&oOB_oTs8^x8*5JHq~!v7PsQvIjZb> zsBzm1lhA56yScUNOES1m+mdq|4~BJeND@ZOAKP6!8D~?_@7tC8159se>W#(PktLOK z_?%XF>Kc5q{{qa9FVBmPuC6z2{r^&RUHH|k=R~WI7zA@)`$Xog#%{J@09Qea*h4RA z;g$w38(7J!$a8PN4gcScXsG{kNf11=rwOblHxSB3fG(bWtaLJ~T z+*Z8z!?dlD7^jNZ|6&Vp)8lh3)BV<(7vRcE+4m4>16k>DMG9 zs;&;rr1WZt#Z$uewPz1I77n{#^jHnzaw5p3&h6=&J3Zg@rf_nroo zf~Cv*Y~c3yWk@(sLNkb;F&$d|(&9xxsUuN`LAWlsYd< z|LB{Kr?a3epo7pT+u)lFmC6d*`by@}88O>MrVoH23!$($Op2KYSNHUEUmm_2ZNfEh zCNpap>Plkwbdl@t3L;kh*L};$^ul90VJGb@|2m_Ag*!7!i12MP#+bFklDLU#I5UCn zp|@SPe#-#a#*#TCRP?JU*@H)pKLJtS6xqhxNAgwWUgrdydQqc|lwIxq^4CayZlU$H z8twp%WCdl#n-XQgeCRPVx#=Z>$7BBA8$c4kTHnRXn>j_l zF)O^Xg+-~YKU_kHOW2Yh<(n7PF#F`=gT7tg|AE$6T5ePyPsf@!V`-bXXHN@uHhCnn z>sE^mX$ndH{lmQCcKmS1aKmxu8*&10ZMu{QCMVhIA}7Hg_Zir;kB!BSYK2Hbv=D&5 z*q&r=X)RUnniEv()gPYa$${6bhwI$J3P%~}4sU407P&Wn>4c~@5om2eFg>lX&#^AE z>Uq#EDfly-OWVLDX3sVnskgQY*{NsA~^Mb(poi z&5;^vs<13Jq8gbiGEGx6aIF7D6Q5wpjG$H5qqk#!OJ3yvQ8knYv(e)S`yOA2Ll|F| zLZ|eb=w9vXkb+m6gWlJPin6Fy&H444QgZftuCsZn@YdixG7;g}hEV6iiAjGs`f7%h z&AiltowoBF78(QoC8{*Lv0fGs=l`PF<-al)(J0(x!9i^aNk>p4O#DU88m(-VPmcEd zjY99LcuhvqU?(>cs5ia?v+v>B5GS<1oQvMJ`$f=(JSK{eL~}GTu5<_PUQqV_)bcW!O2dLJGavW)?VbK1}SDOWV| zS8s!QF~8uJ{IlKdxKsA~I?=6&Av+FM-687NJ4*6FY(>Lg)kMpdvJDepcqInHtuRh& zP4_a@$fI&?Ck;OSNP!Da+dNH57I<~`A(q#Pl-$ByxeLvqScxIWG(x^=9MjPF^0 zM92rl*Hyv42T$b;e@_^moEUT5+_kMC**H)LTP|@qSMV%5Kk4VpULtRh)@mV%8}Qm< zb+{g+(>Rui(=xury?Z6@{my|Pv;A^=<0vn|t6-ljDsrG=?^1&Sf4zLFx_gNPfoHBg zHQIma>c_vE;GPltY$~bRe;KcIjTMP#@u#2$YhJyC(Jt^(g0(1zoEdhrB{b=zSo<8~ zL|rVCH`>$WxD7}AjU zS{l!HFC%h{52E1%>OfIhv)&nNK2-8kU2*a^J~Z6Ilrps~^X$j;lNqG^aAqE%s%v^ zx0k6YR|vDKjn!1KP>QJA#Mq-3EEid&^>h}(^OmsO4*c8(n4WXQr+>Vq$NiKhB}@zL zcS=?i^X#$&y2e2rl!l+IbJ$&%pB*$Ut3Ho=V9%xTMNR`sSNOiNXV=KcPU$uJbrO;< zkn#&~_F%98_R_i;9C3Vmzn$KDuhYjMa*+=9jOch#>wJVyiD07R?eP)_ROHt~6hCzGJ&_9W)}Y#u{aHm_4C_=ZdL|Ktjg^tfNjCOiTB{_yko{qxc0J1 zxWF+04rCdtB651&F2Fw)W#78;7+4vE)9liY$k}v@{2*I77^lXfx;h2VDlwrlJeRAc z@}APViXxnrDld)Elln1%2^0mmwBKr1*2U@3|5n*jE;aYLr-kR>OVf}BT=9s=26_4P z?l?#GMm7|pu$t$%7YW`3vfsS1dt{Yrj~M9!zBi1dm!3bW36eL_j#U)xIuzz+tu`7kCl5vPmtf($vOe3<>&5pUm#I^5lnw$@>0D1K7%eS`_^SzUDj8IU zKfC&Zuvd4vDYieCSl!#sGPkCy0aZ^5VP@h45d%W&-#zGY7_D;l)(YVB|7p z-URS3rMGh8<$E==;=;RUt>0}zeA=rAWQ4ZS0gCSk@V7ihR7MnuT z4ESwb^LWzubIU@#pOW@4qdL+zpsp_~ugOh+$CwcmrlRZSRO;Ju$LuR3#&kQ~OuVtg z)`Gyi=eERvub{wX>w8VzTrl7(^B*U6oLn*Ds85BwHM-jG8J&f#&G+yxFmv-|28H(@ zhJ}qkQbf>*hi1+Kyi>H#ByqD&`l-gshS6$=g;+fa{-+?^K%&HB%}UjTYlb>@NM>Pr?v(0p(>s?wa3mZJCVTgo!Sk zot%Bt$3ed}-bY`8vYO=f8~HySoh4f!)jqy@Yqd#OiZQ+bT#`P`241!AG^1>={iAj- zB=sPmTNV2o+fdm>4YS0!dhV1Y*ty-qi!3iGEPw49Z7FZ}uDNsdIK{%<4xw|wM1n+H zIiH7ewiff~ePg-Xf)jWhh7E>^^_A{ZVXyRxPBH9$F2;fN6{kCFmtslqFvDR(-Km={ zXcT1_qI6r4zUxwX%9md*&5=~1M)5-Y@$SX$!XyJ8=l|M)=V#+ZQB`XOg6a-r<+G1 zg>MNsa$8$ziDn;~7E9?#V9_>oP@)8#wmZy(e#PB@LoSh(&l4rGJr-k43*jBAs6tk5;1`k_D*kI-a zUA1-de;H}5l^i6=G8cY}96Z-s?X*&KX2bJms1_XXr;L0aW-DoBayE42UH&Ap?&|{| zM3ZX){@C-xeTM@7CI!#JA{OKilBp$-wwUT+H%|X!k5Os*kQ$Caz=tmK$Cn<@Z{S_O zh67{=;aWzRV?0k!y7`sDontYiV=Cf2528?05+Nu7@xEzwQLT8h>Qg}p12=4{^Ob;0 zXH7%-y<>z$tp_2pvT>htN2NJr=Q!(Wr^T5Du!kP5ykTGJm0mla8ee4{#Lqi!l#S^c z&DhN-UlZ&4O7WR<9W|KAWbWU@5VplKYo2)EOn5DO&)KYm@ThDd>GO7ib0{ZAFDRc{ zDD4n3A88F1M)%TfK9O%^wpeFS?X8$>#<;t_L^r=trGJ-ZV|7^I-Vl(3aoNy-4uiT{S7#GYAMPXF4oBm{vL? z4VZnK73KeA(CdPtrsL6rNw)pFT>lrs-S#hp1vK3>@n4z}6WAaq2pe-78XFitX!_Rf zzhHG9u;w-_E-)I9|E$YU+cbEn@U6!I62te$F#NSqy|Vc%B& zv=c){qBZYFqjVS%#1@c3z5^SOb4@N;j1y_pqnNa84e7eiUP*!A?Uj&b7Bb~1G)Y0T7|H?oBhs+Uzd^Gktlg`4 zuYEjKQe!q}15$FhQ_yQ8fkSyDXo3eL;+UbR6%4AqBrj0(2_dt>qJE$ox<D8}IlP$B924GbQR9(= z*-*teG7WFRNI@gy<^UgrQp+ezBgACR5Glz%2$UuYEfO(GDtROs4K1l8N-F!%Z7585 zsF3*-Ge<)av5xW@b^}@}e@ey007x<3{WaTS0=IGhZ>f5vgRz<9kuARff%l_y0d}Y<=JpQ(cKfwe&Lt@S<{U;%%C=-{3A06ktV8cs zo&HYv`1rm|4Vfk8mj+#c!w|6#iQMDbI6sC9U_zF|Q*fpt7PHnnpwRI~3 zHYFRrMS9c3_B|}OC|QERXhuWMe*XdYG>7&867lW7y`a=;XYfK`J@QOX!xI3}iitrC z^YzUNt0{Qsw?0F#Sy&XsUTW6E^}}QtQRudTf4jcEenJxr>ej5lpR%>P|a!9h0s=wZSQmAtn@& zXjhyAOm`=^IwFQ2>K{az$JQexTAj*U=Z3ZeNg)!&fv=6SEE z*}no|Z>TeTN}Ns!O``+nBJ`EyjnI~ymr*B9tIfuoP(5bc2AA3~^iGCC*U`U~VFeNz zs z{9}EE=$Xc*HjT`$e2AghnP%G=k9E%9sV4C6E!1;J6%r@Z3Xw;(;#HKY1Wk;Iwc9dtl5 z1`;#(yTj7E5d-#Pmkyj@o268hoMd7Ts#e6eq!CrzBHT%GKGo(Pf<#Gw+0eyqyuzGR zHYvA3IecL`le|;=iIz-;1Ae#cxyPH^MHxVU(QHxuzrwycD6VGTHU#$!E+I&8hoA!l zcZXzff(L?6(1BracL)~T3GM`U2o8fofZzm&!R_+hbMCqIs$RWUtE%_vuGPJF^*`Oa zyMMiOD4dxYdVbX7>RB+)N@D^@9SF95YG22`JXQJf_Ip~0IcKIkaZg^kK+_wl*Mm{g zy(>ZIHWM(3?hljVv(8i|xtm)!np}xaXR|`G<-bx!_Y7?PFn?&r6kxjiA=dJGb5A(7 z2Tb>2c*)ONC$CSQnf76VN0MT%0V^sDDCk~bAuYF_&0o#?$!9WQK&DD{*xxlRymxxr1o4Q*!wcFnx$ zZ^|q?d3iwyRgBrIbis0O>Qj?(<_>5NUbrPjye~Cw7hUnX6VPXXl*L;UKiW&*QkxT> zw}D`XQ)0KFM{wlZ!1sCMT|?3knbiqG2-d9HE^3>uY9V#4cP4aj_!dh(SDR*I+e(Vd zMy_Wbf&B2|X?*QTo&4d24g?}wxp$G(IJe+Gwkr=T5_FMFcKJED%h5Ips@-BRn&db7 zoF!o?b|>{U?Nen<Cx%gvQtcxMUe;gFqte@=`xEZ}c=ha$pd^}DQt0v+}f5)4l?!cLxMJlU=DO`{Z$sA;V zDgi4yb*~?7(;1Y1)~SDXspO8-46TO=!Qy-$vti4Y``!(Pfh^|ln^R@&C_h*1BwV-x z#V0!m@K(Nj@@R#fA*@NM4j}ioKj`~>LIcY8Tu&J69h|*OBU`-A?%)ql?yXJeDlc)S z=*hMG*XS!F(TU`KU(3~`AR@{!sjdy&(q7Qd3#a4J$?wS~Gkdiw4Aw(Yl*h1kar#Dz z8{*OvhO*|SZKwKg5r1pu&AtpGKq_MxZYB{gYVfmYN6@Vr%N)V)3lXT zcY6j9dza|~r0lZdTT*Qjk_Ghks80CwcB-!DsQ2gxa8MOlIFBQKv2GTZ4T1DVh?nTA z#g7=jju`T&8aK8Q8ck^kiu;eagKR-A#d&8FVwYYDrd^u^* z+C4&9g2$+$CTEkeVX@7)P5kEYS}`&%v%ZH%Zq3-gqu2A{frq!wiz-;Rv(09swE6pA zY=%95@P)TSWqP^RD*fK}NWoF)g$wYZ{IaeXUY z17sp~Klhv+iZ5{Dw6u{G|ED)BH# z^-x2xjcL0Dd4ZwRm!ZJq8UgyrU<(y4dU#NNW5{&7NIjrLfUZ?uCv+m{+ngb3?7|z3 z{Tg_`Ind*;X1;wC&1|1};{d$bzwWfj%U@yo1w;3uJ$|vL1*hpQ1I?)cFa&+3vGBGM(k2fxn3Dgbkny~b5QO9vRKoet+kKbufejU+k%@X zM@g%}3sG0VAsCv%IX?}d9@Q$d{sx<@y9cOj1-tudP3nrYR(XDUSVzYr(&IXsYsyKx zjuh9g-!POKNcIlAi59l&W!cC=4Xf*O_qGi$zTV*z0^B%e zN|O@~FmG%1%>$2oWd>yB!jq?hx7VOwi7J(GFZ#Y2!-Oh5eyI@kD}u-&r%#* z7`+cMm}$lk*P{Or*?uBt;SsLA_hSdA!u?vxJn?A#E~Z*PRntXO-!iLvKk>qs9a5_5 z_!W?#K%K1POCC z|8f;PLdYUYR|DNV&MWqPw`;VehOq`)nKR^>^x+S7-x-&-PE0uys>VOqQLe0N&uONi zEESp=Ecu!KwJVy~4Y%h&4=&NJB%Iz4hiu)2Xu>XnN(dvAKbHMK0!3tWkOeaZmoS5D z!ll)}nSA_MrX=!8DoVjFP$P^ZFxDnG)_#nE?XP9TZJ=Teoo>FlhzZMKgsz2H`f$ig zY)3pU*7ZIUB0>0M(}x8SAhihGjg7Qn&_~z%Q&>c_@Srw-t=( z*bEC~GVEqc<`bJrNuPsuqC=~~9_mu#5Wyjy8DGcXc^g@ACbdsCFkz@uygKLx@9_t< zz;za5W8=a)_|meqh48UN$vWLw-QnEsqLL>>?yY{*OG=|sO(}Dgxq7*JRrOg$3tVhA2mnx*6m#4qONZd_C z`N{mtT4_Q#*W7^8q6jW#W%GKbVEY~ODN7itVykaG10I7Y!znWW6H^N?XV9Ssffd1R z=Gpz!;#i6>T*6g^WoZaf!Qm1`gNfQGKn65J1OHwnL2J_70|bQtPTUC*0ZO;F#4B`l zVX}u|?MKXr6&a}^XfiDODvWjRgv@r6%h(8FiRH9GY3y4|6YT*cp9icAF6a({%6ddH13w)!K&ti zH3(7RBAGaaaH8-j1^)04QoVTqAPW}vNH!G7wsEz}PgLJDApwoeP>ZNc;iq9Xad>sU zLUt&VEP<@qgoH6?lU0W)GOB(~ii+9~&BU{yNYHLRv#x1;u1Sz;_)8o?U2Buh#X~{6 z>_||)caA^tGQF%dYNH}RzspD~5Ojht#E{0}l3Xwfn0K6)2-1_m%uJuoRiKx}lV$1H zmx$1?0rY5pR2MuTZG;;WA}`7em~6n1c4G76ljF3W?WlOUlMA&_0#SJRpBbk%3iZF3 zrZ!3%67N5Y0+bZ|&(2hGHsG%=H2l20|5+d4J=rei=9>gP1R zT(Jl#woixb!t!NG@VBRTG^pd@Yf$K*8pqn!I-idA@ONyV0Hzhx8EoVwMY1gwe%LC+3Z zW|_if2pumJaqU0$arFLGo~e@qvF7|xf@1A$U+jNh$~qE%qkhyV4iyp;^Le;Fy59QM zes=mT8756kGaGh>FKCK2B1FPU5@-%c0gw2iMl+afR_% zBpP&%qWXugt456o%`e{q%g;Q68Rw+P>(RqKdeP@%cG8AoNH(Qv>1=YkRdaZaI3d9Rs&(1Vg5!FFhP@Y!(K=enjS8X z$b%7mS+C0R-mkK|+nn-CIjlV&%~;<{aVp{_nEI`WRgZ@pq#wd=vM5q#(m zOexG*c4h(wc)W?+xDq;t?|eRXiryp>o+<20l_&<;!DcvBq1InLg_~#aO~5M0b9@2$a1UGX_3a3)b)n%qKdT{r zLPUwq?emF)GLIzWTEkPKP?9EVvbnG2rVPtiO4vFSQrM&vzz9yE?u7*>SpZz-`Y$YC z@Zc3)HOGh(s{bIn!ArCjk3Kv)d4t$=5-UTl5g&m_o>S)>66L9aEZn#MXX;10-q7(& zu7-O9V%p!%t-9A4$|WL-@g?|C8v5RSQDDonE*autd)KE-!!8(ymoH@koN8Hc8h9;D#cPpJu@Al~Gs zDE3jX<#S?lY5KHqTruW`?K2q0r@<0S&3rdilr&+T%}Sd!De+MXn0EkA)fdQ{JSHR( zd(}cLSxi)-l+Eel@Becm+qY>Vr4BbT7^MzYz~1z&$F3neIE4k5NvIa?#fHSDEC618 zuUqo|>aeGY*s3rH3g%+6GR}PYBg{?t(B-#Kp>_w_U;H|YqW^eK}%T~;gO zJ8gQBps5&DlH%G+|Fr9rX(K3dy1vA7-_7~Kl#F;YVYa7-oiaxr)l-LUw#{Zg{w#RXuH`%v2}>atpgX>i)A0PI+}W zXlU!RJ!!}DuE{%ZRU4DM{F64h?BZ`cS^W!tx|F+AI#%nG5V`tHg1b`i+`8e$4S{S1KC0cDJ1BV!!-!KNGyaw`!1J=*dmg zs5x)q30!vir%sc!A#Q!4xMfkHW5mr?quq$;;2yunv#!g;ThNY3#=gv*GDuDNEaOSz z>;p%CE*62Cm44Hl6iQV$bQgPKnanV9?=E7stolC!G+_!Xe z$`AdhwNXRr6t0HEk1-E&+biq4qy3H)9iI1iXy>XA5%#9) z;Coy1W7+=WwKZ7J6V3C6z~EJUqZoCi`}wxV562>74N<|z^VO`Fqf4$U^(*T4Z5=-! zyk>SjxQ`3;jvkJG+IPE{*KeMg@6hHFyS#e3+>6;btSs8N*_yrHcxc%Of$z^f548^- zxAvv@9n0-MTh0&v4FAqZr$*ezjvcp_SNwjwzq!7a&eOy?&j4Rui))2e&is2y#gjbn z356EM%WH(irELSTq!IjQ-lRigz(eznhUd9Z%hAz=MvzCChMPtUi%ZeL%JEsk{qLL% zje)3~l$4~bppX!+;5%+!At`=d0U;h~X+Bv29v&WHX&#yPH2;4I?(>UOEFC_(SU=l_ z^8afuhaq{`@#9CLkn!d#5+!T|5_DpT35rx8x(J^_-+ExSXE~nI!m__XPv4zS<)I)X ztVQ=K=23H@B(RE17cwzXiA>|>juQe~Oe2N$Z{7HCUxR1=ZXuQ*9%kRS=vj$-v9NJW z`$4K&5-s^t^)75ch6Sb&HUv)ME>*63Obrf<6@dqDQPx9to1iRk4*@e37q~~R*bfiBn(&y(Wn$>%0Avd(C6>s^eTEm!#oA#o~nfl=BQ!uYpR9wBB^0;<;vDouaqp_~N5JElj#XSj}pY?@I zyo7Y3G$9=YpsxXhw|vH)PK3QOMWe5lrRsKcbbgPD( z$)gpmv*ikAbb(>77^PA$O#hd_Y^Yv!*CB=KX^jkiqB9Je8GWbm(z0`EOQcgx16%i3 zE1n7MDlXrhwiR_-5hb6$=fv}6uEoZL)@XN~J}}>|R^mE8w<9o7diHd*9_m4YC#i}1 z$Ye?_(>ByMgZmi$0Cq!TGBl|l(6Hoc#Jrp0Ry#6eI^1 zxvjs7qWT%c)X*5)wUh-|Q6&Q9I_iI*8+E`3sQ-T=01$90pv&!boB9Sh=adm&ID_~p zogfMjrTP9SMXVzm-<)4*7bszF!4zrz4_uPQ>f`$;*OxNxKauKU$QQqz2K>cv4Fqy# z(7FY}fKpUB(HfsaGiZdh_jO(QfZF>_E{2eng{<>id-jxCA7lPI8(Fcyf9d|W_H(rg zIEIwb=T}pkK+o*S$z5v~J|IPgpHu&Tx8H^wp3vmg!@LIc~X(>VL98?rTuYBu=+@|`5MHLAUYS9Np%mDQ7X zv4~Fj^tp;o257Mi{xSL6%9D=HZ_w>Mw$X(yY_G4f`ENZ~=c5i3lxaLUBgwW3J%{_S z!6phzk=Q!!b#($jkNX@(xOxRgwnn%H1$zS{tQ;4pi{qrl6~wzMoD-y2IIYaw_n-XY zsIguW1oyne#p9~q84>QtFTQ3fb_L_E{5sBeaMfJ@40{-HnohQuKo9n%n+cU%6Q- gD6QrR2}RuItT$QyGs+umJ|00qECvQybvdm60z_=`s{jB1 diff --git a/chapter/ch3.tex b/chapter/ch3.tex index 09dc8ae..4da2584 100644 --- a/chapter/ch3.tex +++ b/chapter/ch3.tex @@ -351,10 +351,12 @@ In order to identify snippets of code a proposal is applicable to, we use templa A template containing none of these \textit{wildcards} is matched exactly. This essentially means the match will be a direct code search for snippets where the AST of the users code match the template exactly. -The \textit{wildcards} are written inside a block denoted by << WILDCARD >>. Each wildcard has to have a DSL identifier, a way of referring to that wildcard in the definition of the transformation. +The \textit{wildcards} are written inside a block denoted by << WILDCARD >>. Each wildcard has to have a DSL identifier, a way of referring to that wildcard in the definition of the transformation, and a wildcard type Each wildcard has to have some form of type. These types can be node-types inherited from Babels AST definition. This means if you want a wildcard to match any \textit{CallExpression} then that wildcard should be of type CallExpression. In order to allow for multiple node-types to match against a single wildcard, \DSL allows for sum types for wildcards, allowing multiple AST node-types to be allowed to a single wildcard definition. +The wildcard type can also be a custom type with special functionality. Some examples of this is \texttt{anyRest}, which allows for the matcher to match it against multiple expressions/statements defined within an AST node as a list. As an example this type could match against any number of statements within a codeblock. + This type definition is also used to define specific behavior the program using this DSL should perform. One example of this can be found in \ref{def:pipeline}, where the DSL function \textit{anyRest} is used to allow for any amount of child nodes found together with the wildcard. This means it is feasible to match against any number of function parameters for example. \begin{lstlisting}[caption={Example of a wildcard}, label={ex:wildcard}] @@ -364,6 +366,11 @@ let variableName = << expr1: CallExpression | Identifier >>; In \ref{ex:wildcard} a wildcard section is defined on the right hand side of an assignment statement. This wildcard will match against any AST node classified as a CallExpression or an Identifier. +\subsection{\DSL custom matching types} + +\texttt{anyNExprs} is a custom DSL matching type. This type allows the matcher to match a specific section of the JavaScript template against any number of elements stored within a list on the AST node Object it is currently trying to match. Using this allows for transferring any number of expression from the match into the transformed code. This custom type is used in \ref{def:pipeline}. + +\texttt{anyNStatements} is a custom DSL matching type. This type allows the matcher to match against any number of Statements within a section of JavaScript. This custom type is used in \ref{def:doExpression} \subsection{Transforming} @@ -487,7 +494,7 @@ This first pair definition \texttt{SingleArgument} of the Pipeline proposal will The \cite[Do Proposal]{Proposal:DoProposal} can also be defined with this tool. This definition will never catch all the applicable sections of the users code, and is very limited in where it might discover this proposal is applicable. This is due to the Do Proposal introducing an entirely new way to write JavaScript (Expression-oriented programming). If the user running this tool has not used the current status-quo way of doing expression-oriented programming in JavaScript, \DSL will probably not find any applicable snippets in the users code. However, in a reasonably large codebase, some examples will probably be discovered. -\begin{lstlisting}[language={JavaScript}, caption={Definition of Do Proposal in \DSL}, label={def:DoProposal}] +\begin{lstlisting}[language={JavaScript}, caption={Definition of Do Proposal in \DSL}, label={def:doExpression}] proposal DoExpression{ pair arrowFunction{ applicable to { @@ -507,7 +514,7 @@ proposal DoExpression{ pair immediatelyInvokedUnnamedFunction { applicable to { function(){ - <> + <> return << returnExpr: Expr >> }(); } @@ -521,4 +528,6 @@ proposal DoExpression{ } } -\end{lstlisting} \ No newline at end of file +\end{lstlisting} + +\chapter*{title} \ No newline at end of file