From bd0be91d42462df349fe65589e52b87976891a83 Mon Sep 17 00:00:00 2001 From: marmare314 <49279081+Marmare314@users.noreply.github.com> Date: Thu, 28 Sep 2023 19:53:40 +0200 Subject: [PATCH] add source documentation --- README.md | 3 ++ docs/generate_pdf.py | 18 +++++++++++ docs/readme.pdf | Bin 62156 -> 100794 bytes docs/readme.typ | 4 +++ docs/source_docs.typ | 41 +++++++++++++++++++++++++ src/export-lib.typ | 16 ++++------ src/lib.typ | 45 ++++++++++++++++++++++++++++ src/{countable.typ => numbered.typ} | 39 +++++++++++++++--------- src/reset-counter.typ | 17 ++++++++--- src/selectors.typ | 20 +++++++++++++ src/styles.typ | 32 ++++++++++++++++---- src/theorem.typ | 26 ++++++++++++++-- src/translations.typ | 2 +- src/types.typ | 34 ++++++++++----------- 14 files changed, 239 insertions(+), 58 deletions(-) create mode 100644 docs/generate_pdf.py create mode 100644 docs/source_docs.typ rename src/{countable.typ => numbered.typ} (51%) diff --git a/README.md b/README.md index bd49aa5..dc93b76 100644 --- a/README.md +++ b/README.md @@ -75,6 +75,9 @@ As another example we will number corollarys after the last theorem. ![image](docs/images/image_1.png) + +## Custom style example + This examples shows how custom style functions can be defined. ```typst #import "@preview/lemmify:0.2.0": default-theorems, get-theorem-parameters diff --git a/docs/generate_pdf.py b/docs/generate_pdf.py new file mode 100644 index 0000000..03aa945 --- /dev/null +++ b/docs/generate_pdf.py @@ -0,0 +1,18 @@ +import os +import subprocess + +README_FILE_PATH = os.path.join("docs", "readme.typ") + +def main(): + print("Compiling " + README_FILE_PATH, end="", flush=True) + completed_process = subprocess.run(["typst", "compile", README_FILE_PATH, "--root", "."], stdout=subprocess.PIPE, stderr=subprocess.PIPE, text=True) + if completed_process.returncode != 0: + print(" ✗") + print(completed_process.stderr) + print(completed_process.stdout) + exit(1) + else: + print(" ✓") + +if __name__ == "__main__": + main() diff --git a/docs/readme.pdf b/docs/readme.pdf index 29b9e46b68e7fa65d14f3fa27c5337c89410fb0b..1463a587828c77c3f4698cb3640edf709ba4e7ab 100644 GIT binary patch delta 81214 zcmb5U1yGw^_wJ1pcXx*(#Ua7nwNRi~ad&qK?jGEVyF0YF7k8IJiWGN;!}C7xf4*<# zoH;WmxpHT&m9^L2Yu_`;hkSQtI)EzYJtxOzD%_upz{|SNt%yi%Y2KxWWzVd<9blZ%^@lbw>26I=&PM8?HS`7R!I04o3p3KLP-vt1&vjVu^(|Fz! zz$7qCtN==$_fj0Z|6M*0kn&wzobTJl!}Hz_&wB^&r8ziRdH6W_c))5f)My-(yd3W# z04onCClKrmL#@kA$@{)Ip7$icdyl+;f5gqn!}?y~ePO)7f5goReE;~p7%$I1`u}#2 z_dWF92OrP-68`Cn_r1b6un zT>o(Z_J1AVU&r~c1ODr{8pGI`p~1$E#9$o+|0GKcR7Ep;3s*}@4t5}b3w(h<5Aq~g zNV)I4nw3qp8%<>qh^kH;N~$_A8f%~x@MrWNy!bRE7h@Nc_}wW8N1#4fP6BzQCzUp| zCrk!0SsbX6+Q5!(m01!P*3$C@xoND0*=}w%U~qOewYJz6CGuIogLXw(Ht)oL>-836 zquzXSo$t;m_iml5C6ry90d6D25`?SMS(0b@;&M+^=0zc#|2olWf`D-APeQdGldzNa zvZREl9a@D=Rg9BMfF5hN{A}Ps0j1JTPWAd6wt2zPHba>Ve;2XE-e7Xj^O~aj+aHSR z;^5ryEP&5P?W4FqdG1qqeu3fYcT_{n)2lF^&)?qE`7oxQ100CRiB8U5Za`<|-k2SK z!>5NMCpwqn%Qw|g5bfHD&O=!`vk;=YU!u7jLAYT*Tx?x^jZNcc1Ex)pw%=@R*S41> z`$1x$C)WUxD9b%wH{yE4di`7BJSHCR;w@1Lbz*bIfjL>$Ia$C`*yck>jQHtV*k5=k z?7hiPwpa(Bjru|8RL^9WF`!)26VBYA^#Nf8tlyuE-(XMce5dN@jRuq)3q`Z02@bz{ zCvPf)5;tW)8UE@1DY^L~1#jY@zHj~4T;TD$3<^$=QTK3H&uiuj`+jCN8XpEkF!}0a z{mF%5{3V*BKi#B?tA((Z+nuPEQ{QggOwj(h>%wh!Dz=-)-!cYK4iuz>h?pYYtn!H) zsWP;>@1zg5PxUv)Z=~OhM!zJpc)_#D*0Y(jN*N_|C8S_O&a6vCAb3sPTF0(q#kKp8 zV-8$mp*WSX$xWY?mKkdvzT&{jQ_H@Tp_%bx+;30ps(G(^Pj@_gd@2jXHd`Rg9SNMF z>dNKGy*v8JH`bq83S!x65;XCeye#-*Hb(MwG1Cs9ZAv6H2<=G3Iu+$Q!;~cN^6Pqn8VWx)z(7eo)f8RvT_bf2o73PNY z=V^mH2YCH0L+>z!g$uW?)aNwm+l?_ z?kB!vr6q!XxT(H~DW5r?5uY8OiC6Ds(w_wsPd%n9@97TJy&J6U8@HA^E=acHQTIp1 zLaW^-uA!rC*M8TrYrLML`a_@6sga-lZjU#FwKJ$(ATZod`*f>}cIS`WE=S|A4j#XL z`eS>>BG&G2=02USySPk^``Mh{ug|#*@0IKowbQs@ObKz{EwtB;Z}7F6*gM-(U)n-k zA%`R2v#`w*FOQWUEgs;0won7qZcJeuf1oeFFOx6l^Tc`NIZxkk|8Sq05#zJzy+OYL zh6wp9DD9l)H$uMw5(WAeK^Kp&rYH4JmY)DY>`h#9bc|4h{zpf1Edpf}oBm8kYhJ!8 z^vb?p>=a)^E{^FNf3LJ!yt&+lH?mFUW(x5=%^z>B=vs7h`&=Cpn72;Z=WK8aaQfUF zr!*{0Y=*+x9}1TNG5?CTPK$N4Shy$ zK@Kehb{K2uTK?7?rS!!cV0ZRnGG7+y$jfdGUU?~2LcgdZLRF54$86yO7OR1t)&9V@ z{Y30?73?pCrdmE~MuYPO+{tmS46tU@LchdUERi^SDiVX86R`x-kunk^E)(Fi6Vd+A z2{RfwjPA;ZletH)ZauvAFgSkhUG zR;tigi%*onH5V+Dq3H##&JZ`@S4)r`$j?W1sPJ?kSIcM?lDncI=j*4xi4?HqcUp?@ zN1*2;%!m}y958s}3I%nAy~6pC3B~1#zD4DVf2KxK$}gSanRar8$&uWWES+hc0dXB@ zpL#W+q2-A+CHi3L#gj{$9O#6?>V*RtyCUtS!tvtsoCX;OTW8?8%a?20K0C2>YFywF zi}6fv9B{ZIpGd!0M(-f%SMt{I1^^57*2l^)USK=mHlp2lg9S$YqJ83?Snp8pm>*Mj zOs+}wCv!9o+P*tGFf1`FIkV-Ff!00R&YWrsvS!j|$X!WR!_o5urgIM5U3oeX7=EG% z1#|_S%7BXOi^(N*%lqeF=3x&|<~7S}Read6tyur|v@grv4=zr=#C3*u*`3B?DWGxQTAvkiY2amdYW!gNQzqhltYY z=>-*49FZklj#gJFCmTUIGu|@)M%Ulny&Iu#KRoZ)0ryG$$V|N=a%$>IEJznH3ofde)&3S0|Q41 z64^V13bJKu^taf?kov?x(D-L;R8a|E$;g(7&gSVz9`8q6JQt7*6X;+{d7Stw^?*kE?)plTQwIs zx?&kKD7eMMG1B#@G4aars^J<^v-9*AGA}&cA{EKlXUK)LI4xt^fG{W?x={97vCW$~ zX*cFud%_t*W(ReUmSoE=35N*7oaN-x(REu}aOAA(br8jBw`7%v4A&PHp2XDz|0Do; zQO)z@;UeV2737_jjhr9 z4;#NS{*Os^elT=u;EHL`W^eqndS6_xpS>#PuRAfexX{udU4K?t=Ib!BAYAGpte*u} zRyu|s`ayF|DcZ9ddT77KmjV`ljTrmM8rz6UNDMF+q6gL>p+#V;%?Us;eO|gIhC;_u z`_QCMNI)8|g<*@I|J|FKr%U=2r6aF@-4V3HqV^eQA@UNw`otCG&o*Y^Bd)~= z%oQ)ndUaAP?$S-PA4hfMg&J*z8YW5A$H{5Ti*8ZT?EO$>RY#m(N4;Cg9_^(cRwxCp z7VM%cqge;KXq6dJGq4t5&qXNjTw6`yR@k}~{fI1i7K;^t0b@ByWUTt7P2*0ZUe&JT z5+fiKQCO&SsLJf&x^Huc0pHY)lS$+JL@89sxBE+1OkbcrjG7|V1u3S2pcYIUK9sp)za%q3p<-$etQbhF!b6qO z*&(UOtYYWoHqnV98FkCWT!;)6dd1a#6iSAgmiDIX!7D<5X#$fYs)+IGBRJ#yH4=;B zdXO)LWPg{XZ%;&q{+mRFA-d6!w_Sp0U*jxa<8^!kksj*O2}5*`N5z`A$xiYi2T0n3 zOy~89sLT8~B~_kszVr(Ig=$Y!MKFuVLm$Ny+knFPjX=j=d*Z#5qBqk<(2p*dV)_je z$sa?aXk7d{>w{alm|KHRF$9k}7R$!H$R=eu1UCJfWwo3@NNwD>3O$X?Cn&qbbn90rg4p-(AgRP(KAmV!h6V++U~#w9b8aH0Pc!pB03L4yNY#m0t;!lAGvhyHO5qhV?GZ`;ktgDF4CdWgGjg5fH4DuS(yzV4~TWyNzrR!bC7 zDGINw#@75TfBdOM8_%3oLPmvm#+K~yMxk_AKtt}fNqR2*_oEwARmB+x9;gk~YkzY$ zqk1^kw&h8|+B!T*0}ZZA=W%3Flc%AzJ?V1@=3p?q zY8}rGZwVZSBBxrUYW|v0D@Z$Jow*aJQ7&5CrjC?prkszaUfnqpNW-SQ@HVh(&g0u**|M8qo0It!tU;CDsU@0v zt<{D=_;E4u-=5uZf7Z$YJO;apyA|YbK0gp1g`{6+>@ZILl9yqBiUAcXk@=j4lO+P} zw2|3laXet`R$TVe8>>)k*{NzUWtl4&KrO7}z?)|q zRcC_rPn*k4({3?s=LAWVH>N99m?A8CNBa&IWQ+~*Z|l+hfnDp7@~=&(*~KLa>5dt- z)vF`rF@t5t0o9#&i0Gf)xQ5)Sn{W6qaDuONpt{3bYy1ujA>SYqt9Jt96ZvuKc58F9$c^>^=Y@a_qP=J?i`8xIvCo7!(gB9z92H@vC3qY=v%4kYFViW z>s+7jH}%bR1|D!}bU2kzE~S=H&^ZMRD?U&Tmc+nyMBq!x>QCQF_^Mni+poV$#Y(89 zznAaZ+D~IMNu=%J!ANCzmz+Hd4byw<4m+-hW#>>;e2WXRm?Q=5n;>y*&GC9}oHj2z zQPd0z)D&zI{sJlcooh)xo?|4wU!MTO1)% zYRNnjLl@N+FptL~rj)tJiaa!qYNx6bxKX7NY!ka@iDPBeA!)d_{nnVr&34lpp&_zhKk%WlafG4cDPA<$M^AUd@&t46eWYXGLBxpTST_ttI&Ol-UGv%`0xrTU2qE9)Za=QSY(?`gS0ufp&NC2@M|~)mZ(Z zq2LRMmSB0pIMX~+W!^(Pxa0uF0g*M93X?2^ma^0SVz}6ot!l9huq+Tr2?++Owsq6-Jrx4z*Yk_Tq!oj(saEC z!FTs#1{XQH!X4=T_Ov)mofDU{hAEh8yn|Jcp*(ukk^6X(R6? zPflYzjD^DC_@Bh!^f?aozm%_j8nD&n&@*iP{$~Bz=i}6qR|cQ&*C+3e{)LZ6y(Ie% zoGM=G36u#w*xFbjF7*3uJG8p++DjFN?Zj$%xRT4;Z$>P1r{v-YlGo73MU2+;(`A?t zyKmOh#l;^b4z`B}Xr{f^!H z0zHv5G`x+5b^sZtkB5_b6bG7d2B`!#hjYvI-V&yTHMR);ILi%h=`^#OD#fhoR?6GZ z3ht1BeGYi{Kuj6(a6mU=HD7&l6lhRQx-OQEmeO7f<)hf##Y-?%da$URCGs7MxQ^$h zTc6ni{}mNyPX^KUyP+L)#66@X_a zGfsYM~f(fl@na8V)Qllc!7tD3ry9;{Td|EG#JvGwlyO&(Yu&-KkXNpuU4cC{Agxu?Cn!$ z>h46x%_Vlla*&^OIrkV4W3}zA@TD3R6?0)!QpI7AG4X~~St#e#K|B2iU*T;9Gi)QP zoNzm&YJQ+ndkV}X+1Fcg1yUTE<~L&h?%h*H@e$mC!aNWvWnX*N$|7Qrr;p(`JzFZH z_EB69u2ePqPbbb!mk5tkl!Zq%PRqd*$ zFO?QjJ^G7SUgG@1ab|BYF2;|d=;hl|4#*|_^8G|cSx||@MWEy!^&R7paOCAOamfiM zM!XBk&n;Bx%&Njt-$>DyTRBL_uJx87Ny~a-DPona8FS3|!V^aINhx8Lr9sn>rRWf2 z@nXfsSC|Z}esxSM?Q#mEEBVjgr=oe9iq9G>J7t*d{8G?9)xU(^TKjyLmV@luXu#Wu4$R=k-V&+ir){otfGz~61ppJduJpB9+#Vwj|V zR8Gi2-h_b<8kE$Gyw*a${W_3Um+&pI)tG~rPZ=mfIb&R(?&d{2&1ZWF?gSGVYkZ>> zSSe$6F`CO~Ka8loFc%M~uvq>1i06$mNPLm+VL-7K>;n3}>gxb5XD%r0YPzyXPOFc# zZ$P9=T&!r60M|YvTWG{8*Hrbz#EIO0=Ixkj5haIUjsOB$BwbM42N((Aj!E#4`A$EV zt0W~LEy{8l{0&OC(#9pAy>B1U>xBeNAtN(I9RjQ>ToFDxYe$e#7T`|cwY8y2BC0OH zMP-Ta2Y^0J1U};rIV9gys?Xj-aF{d<9>RKzN}A2DmvdU-d74Wq+*XJS2NP~HJH`6e zYluH~v9kjN7?h-Y47>k~4vqR7Xq-eDr|}KWw3WK>7K+An-7Ls75DC2qjL;qaCOc9S zvulJ(s;E~bWz|$m4vIVUU^GsV9Sx$IIIqYC!Q<=iz%aOgDT=&&o+DvbM3)`NQTeQ0>*O(70$?D>qkmE$2Ox zjH=+uF*<44gKK%N=)E#6_lug0R~DNms*Ipj47KDcNssw>Fj7Y>iPcQ@+T1sTO1tT#Jh}KR(Ll~eoYR=CI1$1 zSICF~&^Jq99<_>G&t>-L@jbCv0d*<&OF%)-AZtEP4Zx%`Kr;)z!28$uh&Ml$BI5w^ zX0(+V{D*s|-iV$`+&*uw@;Hvf;1i+I9Wi#?1+7oVnUp!@$I-?H=vYk)22~UCwKIS8 zly#}*@~8bf+%JrwQ9i2aY|30W<6So|x)@BL!QD8n5o&C;jXg}j6JEiD>b1jqkb?Bd z+P!5qsOdJndLQc_Yergow(j>PRl%5B%%LeF7~)=Gi7%0)^Y4G*i9Z|dX}j3WLU8x! z_Ot1yhzN$6F@7?>wwHe2FOJRnzWvZu5QGkhKdOfFg}jukHVoZXG=#-_z_&d(uD9Zx zoty`JaxIG34NhKK``NO*(Dm`uBpviU;COXiw(S8or`ZauM*W&{A0-$H2gu;JGyn2eN`Zf+ zAMSZ^kOYtTOWx!4w;IHC=HJPE(wE=s$SB1&3)l&|vD5Nge57xXe^dwWV}yck^#`x$ zY`zlN2LEl^s+hfD)E<@I94c22cPBUd;8bXo)sLXN)g`1#*T&Aw+r5~ozp7^x&#^e= z680y|%!Dy)Br*BewK?i{0dns>^G)pC8hKXLER8|Gb>tZxW#|SO$}VXW$n5i}yr5@dqxLNk9W#^bY{jFhoHvN6RfGu5r1kafJNfm# z?hjIHvx^}PM{*87XWV{)SA5=~qhN3)x_46`vz05Z@Ose{)e`-benpl85@-NE%UrPh zDEJ_w^fVTR)ZM3s0zbEmjAkw5!EO8GDRT%1?_6k0>0PR&;*?kI?scb05uN>zys*zQ zVH20VQh!v7gOaP-xQ*vh1EW7_ zchAqmi3W3lBf+gw!d+K06mP(Wo0N@kN64<`S94Y7xFRmZXWQ+@vI-;p0@3rn7e;BX$CLZ-foieEW6y2Q2;W9-c| zllq$F4ks#y>icVnAcHJWH&@=aA7?z3S_2No!Vb@=zq+$lGjU!c*1t4P%F6vi^ zVO+fq0~~@wCuNVSB#k5dZHTjJg^HxMNOy$gC^fZ?;$tRvMDNPyVTYbqts*88GVRYz zGfUF6vZYhr5uLU%vjyJs9*$S4$3AvHmwesenLklzG~N1LfELO1hR3D2nXLv{)}}f` z(zyS$8Cmg($W%M@u?e34+8s(4nzjinfq@`({KkV50sVP;+_ z9<~DxX(t!`Q?)(C%8iY1#ANf&k8*{LQTtU*&Z{&&eVpRgl9f2^TwL1RuF+;<9vz#p zR%29v&=XY0f_U6Ly>wgnDbdvh<26?*`Nx5(7Uwc1=fcZe?4rSB+Ch7Yn8`oQ(x*0) zUaaTgQ?<#w6r*VTs9K@sn(+`IOB#7EUpXG*lqtS@d>=DjpWC+HZ0oK?UcwNm_p5{^ z@vUAXr7JYh({sB`MR2z;438q|95kp~&~vkUS)B}10_EoBSUoqAkA3yf(|jq>d(tB_ zjf-o)E1w&e8>w7`tJF)Nnt&r6h6+UQ&5J~Y+b-qNesXMQcJs-Z=*EfSvg z)Gv&(1KD}u&xy2REPORQ#ZQqv^JGa|veaHkYMQQg`j>;eMn+F8Nqu;#C^3i`=7yx8l{H-4o(%DojVr#8ZS_T; z{j4-L-AbD$mFx5oWC2UmMjed5z}2yHKa`~R1`+~6b{oEGeex!a&9uifE}t_VNOy2zUodhEtm!|L*h=_cH-A zX!#1xc1#vgkUn*1$9$8d1MVo6>65NIft+nU@{gE$zQX0IH_9o@0uo|{r;%3n*O)$+ zp40!Fz^rRgs1=pcX!%_Mfv^l6L**SGhe2*8!*G5+dajZ8@LmZTCjaGn!W+FS`eVIU ze$6vE5fW+Y<-T56lh>gVBYCS0(^63dSv~JeGh?_+klJe%y38E zoE_lu2}(WFBAvOJZ~cb1QGFu>ZM{ie7w&(o`?V8qQ|EXY#ev0rN#Gf_AM_(8(DsM? z1F>>1OpE%Km%7=Gc}M;4xu^D)p+AXXgCrdtWY;yE{pUk26un1P533D1P3DFYTSfA# zqgKZn%qvG|>mQ)ipFQSRj-NK4{@ei#z&fw=zedKoSswbwg?QbIUw>Trj?DG%L$P+> zd#n|La5Nx~XOk{J1ceCRazQ^Evb0_AytEO~)%Wq1l>Sr9Ql-D=;J=e!d*FM1 zPn-}A%3Lv^!npcW^n;ZA3J;Qa0SZ38eDSG&Qk#wo*LpZ(h#_|4B8weRl4duNDHjM=dCrd)J?8cQ{e zG(@M{{b9_G@ghhXoC2l5!He`~`)t4v(9<2!J312nh8?V?g7)X*n^2}|AFX^@H3wng zw><-6_E68gK|;ks^1Wul@jTx}ykKqhv6|>!Qk}j{f?%)YF=4Xza&Nrw^!a~|&rIrw zS@w@Pc!}(G9!)@w$d59oDSNTHEe34d4#ylc%9xOn*alyFMnRgj%-bP#u)#@L zRTD0a5BjSVaQCDS)**- zfcG?A2XHQa5IjmbDrh`P8zv0D;^igBYs&?e5vT}@24BXsLcc}`ww|!xVYN>T+MTFK z41uztDhjSBuiSdUM`l$V8Lz4tnfe*<&_qSK*3a1I6-BqkRG~>Pw9zJZ+w#w-cyXBM4N>vV8Td7!_3?50e#6NP{N9nObHF+_ z_<(@lOBcO8>$ME~9c~%cQS}&QTv*qk!VI*6{w-;iIxioyX3T^|MB!=YMY29xR2usJ z+08}Ea)W9qerjwUf$O}dlyIB#UU9_tG&J`kl!=zT2-O&bpKuiIxo&u<1Go6Q9m)5X zYw?WFzruBg;${JtrRL&@;W3NC11 zNVo0?ri?6Dr*+-GQLyoTnc$We{iJ0yI|pi+MZwclb!sM~-~nXHo)%TpHXqGv=7E|w z^C#*f{+VR=%~_-Tv+f&y8q9sdo8)#V#=~OwSlVaM5k<#w>nqiR?i)6p>iJowvlEXN&LmfOUQLafezx{G!7NR9=EY26e;=200iDl`%7ml0RkA+ADdK zs@o=9{t%adRIU?rrRf$7td?rXasTnusixcK7Rvq+$MF!=ajR2i!Z0i+=n*}z4uq@i zoPL8?5K%74W5&hK*Zz4NnNT>l8b&G*i|a`S+j7+J~w%M7!#vjTa!-Vxe& zo|l~x006QAx!Hl>-;5$k@AezMqU6_{hUnBj0gLc8M_SB93?AFl8 zK&gKQbF#lv*boj`WIoA%hXa9N2F@6g|18eI*cw?-@E`8`e_-DC9pQL~dFeo%D8A|o z%_3cQd=``0d>ORhaayX7(QGbohFrSh<|rhG3W+KNQv#I(DMC)RPeNZDljF~qBK%%z zrl@a4i{9-c#i{5KsTDV>Hr35vI~N~qSOCzGep)tmwRTt^-_C?BE}>>x-lopp-h}LL zjVAOhzWd#pR5vf__?%>jGEjkN!+aCZi;gNP8?W%g+c4!f5nNgHHahJmI_uj*rlrMq z(3v}(MCB@Qx@2XaYcB*#K^qMV-CZ6SDo5PnMbTp&JXQU%p$SB7^s@~bSx+uWinZJN zRJ5P9HkUSzvTu8oLb!{6d(AlGnqvGJYcq&>YWh=&VE;HLF?05t+|LyBv&H&k_OzW% zLpEf6UNPdNwep99jzy|50an8g(wh{(M&(l%WmhQl@zB%ko|_F1s_)^H(`QWQvo}iG z-fnxpt&YG)gWVSgs1cn$l-3!6$UsbquHOb6mFhzKThuS#1Obi%Jvc0ASYAz`*-s%7 zY{y;gAa^z-Y%|yS1GGXAOJUk;bM&;uGM9gKerjx3`h}GtT!13f9^E3gv;npcy?puC zNts`8Slk7zdDF7?RBwGe7d8*E&)w%g?rYBt_Cb9ZR}@#ET@frGl5Xfp-(4sL3W!V4 z;Xd$pYnaFy&hgSp+6u-hMU%*(tm86SBiR+%5-&e#H0ct53$HSWzw6Ai|Dt6VBThu1 zPd<4^14h31OZ7a{RdQuANwPq4@Gq)A5tk8{EPvX5RTfx(F7DXOcjJFk=PfBz;;-qa{L;>~n(>F(IaR=d&q83IUm#m(Qh5Jnk|ev8|4sly zp!>wP_W^;x>4G&Hq~PYIC%lBeM4&hP&7r7$*1agUqx;l<{>ARjV`Hk_z_t6>e@tkH z!&5QW^m7#b!tRZ!PtC2XSE~1;kd4rt_pJ~4t?!u4mGaeU=h#o(&aJE0k1iT}tK&-A zVa$9stG{i?TSTga*Lk>I7%UDR^A{xUP=$oAucvJ!KtzvgplSMkS6+K9vRuAwu5W_h zI0PL$f1fA)KK-53Zy>bhb9-m;c3pGnbTRzd_xXC5&6he(pOkEY_nvZV9OInl$^ZuA zbo(t96#JI&_UR1?qNh|FQP6YZoXS(hAG-2*%L$H~l6 zu+3msOmlVj6k&sYJ^sgcXOW}Vz$d!9&%%Sj*s%zHxgb1Z4Dw4s&dFes-r&UXnsGn| ztoFCm8`j=2W(6)fS z=eAEP`Hd9Tg1jXc0qo>4xnwV!2QGzMWG|BkqcbuxpJT`=&|-zTA8%$5WV(UgZwIe4 z0y1ZWogkrS^ZVHI_&&CucV}lC*PF3t8r_;Vxjv?zketLh8i)Az`{tmSpMcB8L>`$< z!iTBEB^iCPhtZLE8GZ7HnGp=>Tp}-T$Y>(Hv~sK<(D`g+Gx3Lvd;Gd^gNy0#NSaKP z3=B;u%>#`WO*;)AjW*3I*4D^)Voc&S*8WHg7HBuZ@zi1e)$uggrJL_=%%z+6?y=n= zTfqBtYf{MZw5R=Pa>M6zY`@FX{;0jzC2Ojhcgf4XxBah6=zhUg=lyA@hlsDo{l?tc z>*dDU*2cr>s>gm#r{nEPqsRA$gYgV52@8L(Jpv1V_q_=&hitFkSy1ll_ru!a z?u6Hu>;1XzG=Fx#w0*#ocondA!nkv*1GMGsVf$mf@Tj8vx|^Hhlel7R;tzrd`@q-G z1NT2-rb;6|2|QeDuo1ARP(T>N%7-lIvZ;O8t`Ey_4Dh~mFd6{@PzDGepx@x{k@E1) zi46(QrFy~x;-NiYUy<)g0<_0IQ#*=mQ&aVQgdik>pzH7wJ}i?5;zB**c44GLdxEge zO?t$k9D!+tBa9 zBVq(koZEG8x54~~-Qur#=zRhs-{-{$scG?wTdF8vb=aq>f=uk=nYY8Sb zaXbNA;m;NUt$}X>mvaFkP;c;;@lfeM?zx@M2e9B@vssDdanC8J!ncY&0}IjUNHC#Z zp)avT=^V!u$`{23ekSXXNj4RaLyyCv3zU5;4ptRK2PwBh^F9;9ah8bM$AF|E9x$T1 zg*Xoq0TMmh-!Wk0pb*G#V|2Yf@b1<4Dj=9(UGDM|atPz?YEmspkCa9Ut7Gx{3M>=_ zW9@#er=Hi^PS6D?BhYx(=(w>PqceGyeS|@nnm6rn-A)H1XQ=h6?S6wqp-Ydex&1X9 z;8&Y-We*yzK!749t{<9bCIiK6x9cE6k;S4U7!(KBqw#r`8^;n+;V@Yi7%LHaP>WOr zU+6<*T-i@0{1xA4sTPL2XFY!z`3@KGU3#Sbk#l>$N6Y{m_~SJzDx-? z3j8k71>a)|<==jV54Bi!;W5I&LqB9662nggs|?%{p$fMZ=td*u?|%qFAG#W$idLQn zhFX$5S6dGO(#5nLl&~tIgXsakbSD<5G7Y|nkhk%+Pql;pFoIjD#knP4&3f}8V3pglu$;Z!-yT6oTHG)rW36z@T=S#uOEbq>?iZJ>^ z&SCQ*rI_;1IoAYso?1NwB+gyElHd@b!aHdw+mLG#$kv=#(75M{00TI0my=_2T%(6d zBqO0yF=pZeh}ca0&9rYZJrC4C$)(M}C3a^Pc&EMHh;&4Q(n617!aj)OOn7v~zF3U3 z>$6-FjKsfVbpB*Cl7i$$aXQzVJbvpNkkOMb5LO2w`2`(!!}UQA7}9KLE!w4nfV23F z>AH&v=?l4G54jQi@W4(ch2BmWlnWH2$LK5xMgls35SvJX(9NHI=XW0(2HBB3O1_W6 zm6Z>pI{SFs9i9&g&p%Ss;^|MHV<)+SgB(J|sD;&#PR@vht)mhgQ3m7pn*|_m=S{IM zzOcLIk_MCV+Y`2EO8@B3n>febPCsL}6kbOoMYbRWS`qRqhAESVkz#=Gco(-;+@V}U zVqQU0L0T3d3{vk4=HpB4bCoblQeNE-&WzN4BSi*$ya8 zm?@zjKDZ>!OdUv(L5>jp8VR8?QtN;FH=;si_4qFE1VbJ8w^MkLLHYe!qH%x{wHT|6 z92p&tEP$xxve13|usgC(|Du$OxV#p6)0Y$0fAKgsR%jsR@U^8ThM}21{Yp5qop{=Mi!CxB^nm~y* zvI2*cIi^_JiZyf!BW^{}0kx1ZQ-l>cdwQQy|4XO`o=Z$VNpvuX9s~SFxkV{6N(0G) z=t2mQ5_ci0mxO$BP#f*NE4xm}NY5J`+fk_H6Dm!3~NmvU|7OT*B;->S8souKkpFw4%< zxsd}^YtmC$?8gWZ0uWU$)>KqC_7>GvVwZGoVX^VD7Q?I5bLBdfN7Py3#7@F}%{{^; z-6dW_&hf_|BjnEX?a}LEr*zXJ5OU`P-<0*wuLB!HLZbHD=#F?{* znFsdfUQtkOnvTcEDq`~Vu;L~>q@Hufg^U2sBaPE1tujkV`Y5ZY?jkf9cigCI81u~C zZD~hOV$Uhq$UVXxmVis5NkLV-BoqECN$>>j13Fxd zx#Hu$U&K{wtkXnj&B*EZGDA;>C-#WBb;vj$`Ik+3J={#mhn0Hb$LeMyOX%L0en4~%bxe71fj8{v|;)-`+j-M2q zY!v)>)z)*Vl@R?Wb$pk4Y?m{hM4SA(*Ei#Kz*Sr1pO*22-aCxjoPaJnPkJoBMnNRM zMqlDbb1%+E^9R@KiA&t~7tul1ANTin_3H^|nUCJlr(di^L4&N){Li}6r(b?K9U%|i zO~|ThxK^5mk#;4Rl!z3WGezhqCCo199e;6WvF-lJ9@@D_O3$c-TFxcGO(l~RYI7OG z=9ipWj$7aW8p)9p|G7zS>Q-eHmNWof?W?YK#iRIKh(wq|uf{lxID`Pjalm>T{xd^c z?$4{rBVKOM14u!Y2KJgJ(w}ZgH{%)!$2Q=>(*mNc;7P1$@Sw&iMtL#7smX zJw?|B8c@zc3|3S0p@E`d%pP9`D_!)&PxQxrKn%eInRito3 z&B!BjN(gVUj>jWm9GoAz_e@qL1XXA@?jZ*>HGuXA8xjD+3BW~C3FP5o=a^VbS!O#r zlp|@11;Ir{ss!mpREfPtbHdqyOe0w=b$HxU5w_nhuYCFDYG%KR*5Uqe$o0&}jTlxg z8%76wSTQ8xj7CePTClA{Egv_%B&vWSHvCCQ148rRfhtPv97|X^)(e}j_aOQ*K2qC3 zeGQ7Aw#?qqtjCWE|F_b0rJu zH>Yh_YCLhrXq+sue{~~*r@jfjZ`#XB2YtOg@@E??m#uOy7|h=CJ5NSC_b*hzC*hXK zG6S1(pC=P$3)^HzR&a}I4-J<)yZ(Z#mDaK2>x7vS=Pazy`}^hek!#-i-xDQ?vJBDJ}w5f39o@?zV_1 z&LRv>&}BJdyS`LU;6Gw7^)Ccfl=tG=6><_hhK=uw`g2B`h{Z9mMy2_wyW!*G{;Bkm z&Kh~>b3+H@3R{%gKPD}akJM=tJPys=S>aF*Nn=yQm{m{7sNw5a#qN)HfeL~OeoAH? ztZOY0p}IdV%iwK#`Ch}Yp_JBZW)NMMsOZb)h3x-|>_O>VzCQ0HT~G!w#+Ib~FUH<6 zI*{mV_e?sr&5mt!l1|dG-LY+(m2_;I9ou%twr$(a&3*rO=ABu0X4ZVF+EwSAb*es` zRkhFa+YgNSLYkXU`J}a!v}8RFFGJC^5^}fIE^NfF4s*YDaArTt(iP&-swYj|xO|y$ z9KU}?vD_Rf{kQ(ckX)*$;MA&^f6|-%)6F`8eoxDe3~!a>rbKKhQj(fwGMs7iB1 zHon0tOIMRqFhRCtWYJggySv3PhfvB4R-rzp(>vO;$k0}1w3Rk)pKb#iaexZc(wT2|9l;#BvudMd+w7Ajt( znI#u}a<`KyyjAq{F*RNB-py?s+p{DfDU!Nn5SZeuSjx;_6-QfNESr}MlNFrhFllR} zvc8cNoV4kzTzyJm(_3>zlzjm(Yz^Hz)EGo?nd46295y5eeg58$yZo_CiZ5O-?4v_S*oA3|fflTnH%De^XJF_0&L^7$-t~`&QC}v^ z3)0x(ythxWCBN?tX8Ri@E%A$v0lnmi94gw*kIjFZ(**Ss0v(O(wYF*e15~4{SXJu` z5|)Z*+vLjj^*jDgOBMpi1{?6eX5oM-Z-K`y1Q;iUhoXVvgp&0g>4{{n;M;Jx82hp& z&kJ6s%8zhwcjxL6K`z{2XT2QAo@B9MeENBgPsmt;So@#-R>&c2S6ew$u(!3tO>`hP=RtETg;c8UasKXCvmHy09NV;dGULqRIcdN>4}?DCO` zFTtU3l%R=-dQ>Eke4MM6PUu`4t%KYO?<1Unij1N0-b{)S9-1_1SQD6oi9h)E6exOT z7Whn2uUCmI0NLv$PqqT0!6hG3Bn&b*XdzcQjUt_vg^i*7J0(8zSb{E72Q?Ad*#96Q z&zp@wm)a;7Unsr=VMeR(;;B8?iyYB|%J29uHX;k}FrpjK-i>-3^*(pM6*j?T-|%ir z;C9{bc%j7LVWB;mCFZc$Ztp5b<-YG<+x|CfITR}JAjmeP1rQcNB@1pAc_S#KTRe5 zFKkM143wjR6l&%M9b&GH6kVSCLddEe*ZCIU@~=UECRRj0Ar+@|MX@wiSZ|cGvfw`S zZR;}I){ZCs7Lgud(bktk4?Hnns3Suwg;f2lbab`x=9i-{PkNhpl4qrb8uh3jzH4)N zXFyuPQ?RU0SYMo)>jDYlL(+WkBXZ`(8*Pp&`LhYrf<&aE0E1~4(WQJPu4@6K*WcXI#Y3WN<<)%ozHC=F-%i-tGNS|T07iQ}M zu0%~uKRh}5FnL$lf?x8m*9R_DuKulo*4&t_`23smb^|s)eFCoja;+mX1yj#~n3`ck zbx@f%MYB$!f+q*kMXK;@ac-(;T1o=2Bg?Sd>Sdq#nMzMitefx)!GZ9p#&;F#BJ<2v zM{og;C^3Ci(m}Jw6Ps3L!u(`W4P}}-NaZNuCku}ny+INy8kbCo{13L@M}DlZ>)()~ zNYy$5%trdBz-#KTb2Q)h=Ckx7nWaSIppt_mG-&4MBrz`?4D1J3i+slk4`TlU)m+ST zvdrqrvqI)qZAezP?&QgFzn7e^UMPD^RX-29U*Qg%B<7qPY)%!`C+=w(gSt?CD7~(f zHB5?~4{@Wht@khXbX#ueWKRIt*VFTB9hsMAD;=TG49z zl!YiujFK3*B_Ky`dw%xNg&f=hle69*33}ha{deB{b$_(9@2)PSfm=Zdhc^;5v$)=V zqY8$Tas^*Bd@D-Rl#QfLJ3Oe*6rK($z0LkdK}Q!a&w)M7%8Xr>?8JYN3u!a}1IA?oLqd#6wJ3pEZ<-!w^GJ#a#9Ud{T1G}<2G7-LfYRU4Msv7a!M%Isr_n*XD3~^ zDvm;<$PLgZ{AVLOogpN}Q6}*@35cG=A~VhmpV`0sF4f4OjT|vC_Q~VW)}#~u06zU6 z44WR8daXk>5r=*c0)b@>Ln&Pg8Ar)$`4L0D;MpG&2usJmWgmIk0sG`jp<|cF!uL-P zyVFp^H2TwVw_(rII;r-SQQh_i{-t_?wi#LNZ-EW^MeUcTls4{sJy|KsoOFz(n=R)w znom;)EW2L`E0nZ$#taY{vW&6!EoT1mwG{Lh;=fnxdx1ez_~c=?k-yPXWuk|SoFJU4 z%=ws8=?X{CGqt$v0N2nTk8xO$x1rNdsh1Fr%MboxL4k&h%wSI~mriD))#dfY#GHd* zP5%f{oX<4KXqZWl=IX8g2KspL@Q1F1zEs8+&b$eGv&M^PXMCDXZli5;(^(!Ho$e{0 zbEkDZ50%eTR_1xRXevi6>)dp=HpRDbzz|s@y}D%NM8VCN0(4Ky-H0NreXq zeJO+Hwn3V+%AjWzu7;85@ehN_3_G8tIlE32GPmrB{Z=SS{f5j)jS}6Wk%#ro|I`XX z4+;Ji|N2Xbus}n;?n{4^5*8%oyDmU8Svb~c$q?N{MXh6OkkX$Q)aWg>H*1;_XFA|% zS(QCoLt5nJ4jBK-NPG_*T~%G5e>W)+QqdAPA!ui(FYBNJJ`gM=C%wIQ0qn6hsEUD^ zBnTW=t@u?Ptu!ksYU|CJId2mA_>S}I=HjbkYySc%N!TLwbByrDF<>k3oAm|B!VX#x zY6fZ*tmwEeh+9$bhaIsm6u4b#PJRD#fJ6rP;U?22P`vykh0!c2JclOivu!$m3@vK< zY-Qil_#{~DwCo|0IB`}teM}FFzDHU59Cm@+LV}3$IC5rPJyWGMA5=Wq$gQhzIkIZ< z6whijTgFBqOfMIwvW4WdKW zBQ!D>SUNP92YawGkWkggDc@d({z-PTZ(ED{|G)Z#CUo0y=|DVP8 z*Bvoy%g3iSGrQ|`&W5Qjm3a?id+En?DUKlE-L=EHoVDX}-m@iX93#H`+np4c(Hn9X z0e4f%9F*yyfHo||Qjr`i@LgK4pW(o!x&rS_`;7IU)Y$K$z#xZ2b3#>**4YCS*f}bS z8hXK;Vy1r(_5(IifxWQwX&L^wbR;Og!n8}9U#SIrHAq>c#gD05Cmru~+_sn+7wsRw zTi-{_vz>J^@yt$y$IF0<#!#w~l}(kl)ry*`pxmp2ke^6+oT4hNbt>QRy_J-*?6EezLcE z4Xn#iLy$ePba6PQc^wQZY@Uz2O*)IK8(q$iRXvAM8@~yYjY5?PnB$J*5Xpw4tGf9< zdBupOTPJ)xFGtsQw$ToIdfl1X_+(`sD)#_w-qC+B5?Lv!F!W79u4CAnZ8yunmMhIQ zlqsrJGV%}qJeb2;Q)wx4R*KuuMr#=%gIL+7#ui#SVna}J#?{xFC5m0bZ0*kmW4SJo zmf#C+ROzyK@YC{{k8`BT%??3tgIRXK<5`)e%HnpP?di6z%k{_I0^&N9d5|?)HyoS+ zlXtYSVqZu1Hy*VZNP+O_l28S}oTR8^W@&gsLUIa*BP7I?p}qY@m|X24>;}DvXZ)O_ z$8c@|$6z4V4-4mh3VSuMcY+DY{SU%GNGen~^6$qVEr)q%Wl0DNN#{paodPl|O*elj zU2J)_&8YTvN~ZZMeo%+i1Yk1yK~14&BQx5;=zCZ;a<=$AH1Rp#1QL1zms>>Hfajy0 zS4Lu3e2e4XvKGO(^};6_iPFhf(hnTnaohgZ-x4-V;dYSI-JxTJ)w*!ZoF);(xj!&R zoVnIz)1~~H)z{rM&bWdMA%li-cJXs5890-O_L!tOf0)^7O9~j0W9`SeeBAA`YyWOe zcJW~7WG%ZLwJvM1upbxzvamnX>?o2w3|?1E0oj5pf#j>9la4b}^}c9ceMq-tv4t_X z{y)Yz!fddjD62p63Mma}QX-KLSm%j6Q}t6y76XUg*GH<6-MM6wSN9#flLGCyXw3w0 z=D{)ydtl5XrG_SZ5eH9m-yt|_GS^Czc*slYju5##`&T_7X-lO5McDJkowHyc<6)nJ zw}l@2Ln*q=v6gXa9QsSIj8r^3bQP?Z9#5!TR>fjMyfQ?}TmD12>N>O;Q3lBPG&}5l zKV5Dpt!q+9UF!q4yzjZPBOwA5wSLve3~M;CIAKFB3lYbn z#l-xajwWfd(}nfgyDmI=hIcWJe+v6bI*aS;KpKaHlY<3sa>yf4D$Ovy8CuOmqkf}f zAqWX5qAjV^XOx8Ts~Zgw<`^Bzr7jU9|MUc87%SbDm+>Fy5nFCJEu-(t3E zZ6OhfOR3Oj`g=yb+*poELbMd>UylT1mE)|fCU=iymdBL=2ft;#-v^I7g#4{S>NKx60`Gn|9+KwSqrSS{##MOVQhdc=+yV`B$2O8Txq`<|nU~>Sx{+P?jzwop!V^?zw@*0H%ulusK$?@?7x`f-Zw!*1Bge7A=LQ({yN{L&{h54;i zWxf$$I`;4(9wAWet9!eg8iq3w!HId;Ad-OP?#7;=4qqtl+{-J+xi*z6GiFD+v;3o~ zvoW`wsmNr&$*`W$uEZE}@>^ntX&fHq&JmIT>B!noZ-WUzISvsF+aBXq8g%{58}t$n z8=)e6`W99)^WpmnCLGTbl%$XX=8FNEFTfeNZ4wt8?I=xC+^+Du(5P*84yJQ8$?i%B z#|oDg@xvRVHmAmi6NCv7=x5{mE;71s#aTyyQdw#Vq@)_{$V#v1gcU@{+FT`PR!tJ) z2t>m(LOVouuy8E%rg>Suwu$n>TUAKZt8YVrQ(TX_wQTWa*H9UN!?hB}FE)O?r%K>k z#B-3A{TIffyAu!}LXT4Rlxb9Ba!fVxFj^yu!p-UD8c@QKQOkx4A&XWvfq2@^W+^nF z)dY9oO96S;k(;D#PR;x_Vj0l_+Un^e;wLScAKsGR5uCQrkGu2mv#VfyG3uAz;)t=; zU*+Ft@86QA=_KBz)CIl-w^;&<^) znj~3BQ_4jk)v?8*<9eJ5ImWEy|FOKd)=T#!=H+w4#92ArYEKH+k8Q;@3djJXZl{e_ z_Rku~UbtFQpAZr!Bg37d*%j(rvP6}ZPuqzNVVpepxU^kH=LVv~t4cYJ8rzQ<0RXO$ zVhGQX5lQiJ`qFT^nUs~Hpj8-o|1L|)Uu~yLgv0qIA-g%8B6ZROi>3{`+i*`^n@;E5 z64jvNjk>5XgviXM%c5YNPG?|Jo6-7dnI6y1rF$IlvTCEI<37vK_7m}4N*|-qn=+JA znJm0tt+?}FD1j>@{g0zC;kRA*#MugV37e+DQ5W8;Yn;gYJQS11c9fDiQApiQS$?Hg zfu$E^+@d|FCaY5M<&H7Vr7`le_S#~+Rx`?^yew;g0Pu(O9N_op2O4%ChRu{2SR7g9`47}EhOb-8Flm-FiNzct@# z(Ulf8_irE_3m-Xt2TmeFN~2l0)xKG_R-4{=UtkOYps5(;(tRHhkv!SBDaShyR$SXd zk!=J4{qJhv@yybW`S#dbcP(h9tvgE$Acr_ss=Z0yej1GT|7q;?8Q{WnocUv=A+3~d z6rDj`CgoA8+F%3VoB>9LE|VwN0&#UlTs$e6*hkGS>%k4Q$@>qD{rOAy357#5=Tdkk zi;a7Swi@fsmeQzA9*K0y_040BBZrfz%h%^Gr(m4^ zxTKl}Za@quQdXIv5GXIt8cY4kJ0fZlC?#q!+X`htoPE^R{i zK@g`34$aZJOyKS=TYI!UNA;y8#%^(7QZJ{Trzq)8r5+TIU7uue6+I(8&Di+0soUC* zK|NseX*yU9z1jd&3pGrtR?twLb~%6|yHhVs))w8EW;?EB2I`QEI@rL#(BL8>s;`BrhtpX&BFV1G-a^KQ$5J<4o5<-gC3dH`{ncxI6D0q&g zi?m#j36Cr_t-4K;ljY+zEtNNw!eCfg%s0T1m6R47q0~L|7&}M)aMM}(Ni_<+-U4v+ zYc_H1jHp$d)7NUvYrTb7`P93&kX4kQYS50}b6ng}i;bWK4)6RRXDQu`stI7Mf1>aj zEIvCE8h)U>Et0`cb32twulT)09Nj@l&Xh(Ly#5D*jhfU6Rw{oSVKSLC{oq0H_M>-=eQvJIhv<3rSv>P)WzwdSlv{j!ZsHj4}Qv%?0ZI&Z7 zw@GF{hcqmo9EtjuI$ehYQ^k^1du!W-=8>p|ApJ>v;G>$8W+O>GycM^;eM`z#d3^%k z#>s4c&~Lqb&Gs31^^EY$Fh6msAjmZ zc%gCwy4b@j7C}aBMmp9!9tn6ECQPZXV2KWPLN+=dI`X*kiE;9_SuWP`umi?Kh`)tD zAcgfJggvCum&|h}af=38=6~GdKfVNh_gN3*ao_AmztCC_TdCgiX zihNN68P0VFiM^^PY!30$)hnX;X&m{pwLn6$d2R-L#|)UJk>FD$Zhz(-rc-GIGqu3RYBFU^v^$ zwdMFXtia3=Lih`27O+CsmJI#dK&S|{V}7vkAG23ajty)VvQ49Bx+%F74i7Hj76JCB zLf165NO<)r?dzGsX>mvHv6$hZtYV%%UJK~%V;J`5CO^s_s1ftkY1-i5IqMATXIiD} z_0k?Bl`A>GsGjk;T4u&goZ?VYA(Py~1y-6Li>u9`^O82^5p@cQ z*>mU>-1C#GMlR=_j%ft^b*txKl~1nvxdB({QvoL`LP_n9{X+cnzaVZ4wq7E(VUuN} z3w_;*v}iT59e~xuvHYPyaQBTWfYXo`eylTIQ~;@Iys{!ySzQNJ+^|N!Y*ho@n&30+ z34D{6;r{kO2OS$u=HIG=0hie(yr9>`^BSSV3b0AY)WoVej<}iF2Co@^F|dk5?lQdW zJ<3Vgc6u(T>LXHq{_E1hV{$>AgC?^p0n*9V@gCzi4v_5sM{p-4HTQPYLVJt{1zDKh z#3^>92;IuY#NU$SKtVeZr%ZEo^{FneQb?f$?_#{vL##0&ojN3~o+m&#oY9)5o-=@- z%+srZW!y2tc>qR8&rR4Xqhg#bKuAwjCf4~S2*Z+^dFUS>8y?BUTY zm%eC-1L_Y;?PtoL)_L1bzxknGycOu0Z@Kn0kEbpNRu%>?I31I)QsXj-riDHBaxu%A zA-r==1q~2&**>M7w=Ug$?%>BgShf>UZa8qqeV#C$V|`|{1-v`?iyO_@7TtFxCmnuD zz3R3(Bx`-}Sh@d7ae93835#@7qwMC~czYD*0bJwii8p_!3}ll;gQ*td=gCt6E=dXbS>zhE@{V>UWmm#bSUmDz`P3=a|?e}O-BeUG6 z6ld9hf#xU9)vx@(^8T3a>T2d8Y$`-<+LY)Pf#E@jkCxwqXX+q+AscUC~+L?4JT zp?S~FXs(hO>i!x(KEAt?zj^DE^LeOkry<2lqAe;mI}T|{1ny`(BUN+q{cx#&P`Hxr z+(W|*oscaBVH3+19iaVKz@Do#T)9_0#yrMUn!2mkV#sd3!C+@SF`ElM0GL0?TA2$u z4wjd2ngwfs#x-*;B2`>0AS@dNaC{4CSnwDzX(SLAmwJ-yu`Q}Bu{=p@E&RV7K6rFP zXXe8{-V5%0D;34J?Jq8luVo50g23t#+!h#jairkEX={mdz8v-p^k zD|oW}p)P4N%u_5hp~%_YD#{xCTM^37H1rvM(JO4lUiT#+pFD*r#K1-byogNs$pidQ zJmN|k{7|CoN)jAPyi_1^3sTXtIBbg~)ntkAANgDh|DSYUfbx%6tYWVw%9^xfe={_p z44@KrOX3FqT>GT98^(@jtB9+5cUM8AR#PZG8TiTj71GYAe6+K>P02?lK$3KAO;a@9jM@Z}|$v;aqhokozCkTO`a@N>Mj)JGZJB|sitL)f2AJC)$v~H7VZ#?hE(&E$r&jr z`QyDY&9VbmOk*E#ruf1eCQ%P}9+|{`xOB}cW2&u%M zKsONhxcahStEWUaHZmA)JktFOcpUI+7**AaI_5kuN;KLEyk1GR->zL9ir}F?@vp<5bV8TAnvh&I>@+v|9;NNIQ;i()jxIDU0F`~g&?UDH4lD`vF zaH?94w-nQ$-%nG)f=eE01fdQHam1yE-l^c#^x) z{ZJPUK}-sw{UaBnDLKs>7R+yT%f<^e)BXQE&x?4p&PX%b^1~UHO%JR`9(rrQq47p_ z4Bp(QxMnY0I3&R5oGU(L`$k2V0`0PxD;I;5>H8orF#@FC<*-pH4tD$gXohb8$lC2t zb=Y8#q#%?huKVY$QT6Y#%R#sI zPrXm;mGvNd2F%>1H}Pm=U(m?fbvFQnJ;~A*!Az?e#kuyEUxYYPw$1D9V$UIeN5Wuw zJ*`w(#ia3kk;iD*)Y<2I`U~#0A^PVSu7ch~y7+nX-s>l5OBZm1{YvUk7EQr3v)RWz zA$rW6U}An*wIIr|@K``^)9rc6K7t7Hr3!1aP#k>`AATa5#fc<`t8@~lMG{8-sD)C9 z?NUXPq9c>-{a>-LEy-42C@Nwysd!kxe^qnOm@$vMe7QqzCWPjr28aC+|AT=Q|u z*mw9L!&<=1uLJX5+aBRG<{M19E0tR09xnuQN`m}&x*my}2BZInrS^lTh~U4j-|@3g zcRh-Q7R`K`hFa86(|8>?f<1TroG#fkmXVwjF92T1Nfr+G_rY(TKTaW^K!2S&k4C<$ z<0VyT^ZV9f_$n8(TU??)>r1`bOI{v5MFsSZ7D$G)S|lQ0YG6sGR8ZXtGQ%AN_LcFh z3PDi+y^E^!F<$I>Kt8-coL-jF=KVgQ{926P@7O6eZhywg2a`=e8Q`>gmZXsYlW~bo z(7{f2#ur7Zbn^)UVud~P#S){%qg7M<7fURpCLklB5zlY-6YtBq=YMx4V)>6NQFhIL zT#5cy^CL5_Z!G`QmWU}n$y`|Liyr1+VqsunXZms;VkiCrhW|VKLCnVX-ys_(G254` z&;QZ*3nBgjhyOeLqLBYDeL0xEZpC9;aL4OgaKyLN{>O^ve@$V+qL=Q=v*$m+FRZbR z(f?#?VgGBo|2t*N&dQvpPyg-Pm;F(f^(VB*e{sF6g7M8Zd@OALfqa?&!~g!reTR+p zKhggy8%zQ%_@8b+;$@jgzF6V^vicGJ4=DWq7aPX>4{XfN{-16_|1}6ZS3IumUAzvn zPrQ#^P<;59LL8!^>V?iVK!z}~cSXm@w8t_2MG|)O!&fkFnD*Z!ZFtb_3 zbS#ahLoS*K*IrxftHu*7oWt#UcGer|_hZYecGd4TDUYz&*&iI0JQ$d&8@meJdKY&@ z(4p;?D&{&Dm;Abokw6U3MYpq${ROYF08uy?OsY5Z?mBr(KZMe0SINMAazI}|QliRl z$aB_5%KQh@2q34tJ*WKAGT0ZGyo6>JL7^cmDhm+~nbX!ls>~1_<)fGlB(}>R!Zg8z z5Gbd#AHR$rMfmnTlgrYu$aD{l$expP^t%T1x*knoQ6cJ!2ylzl_rn(rm5dC97}bED zQmZn**SlHj{xw4F{x#Q`%4FkDIz=snoR3`el+qoPhk6LgOdz~|LbcqN@<-_D*Hf^a z$`8i3bOa;+W#OdJgKCJg?<(VjhJZ0;Kea)Y+IO3;Evjsc$8fR!rvA}5p|GR@DW!b! z8KGL5;1PzFD&VJVrwl_9?LPTU?+y2}{WGQS`iQBmQXDm2eE>)_}9;y8Xq*h2MqrBlIKsX+Nnx`KYsu zcM^Fu;MV4LdB1U~ec|2rTK~8%yV1PYylQ&Sk;PzothJD^yOXkZ`1dH9bDt%G=i4q}x*3 zLVZ<#C0!UjL2xyOKl(Nd`9o&=9PAUDmDj#^0#t;kx@en;XNviAGHGP{lA}gAxM6XI zMnr6E7`SPknL$3jL72-6OAD)nb?^O+n-8t;ykmG#-4_m^StfT1>E{&sVt7=PA^Ql2Vif_skHWC{f2L+Fb`WTHF6+CX(6Me{h`WJF>tsnw$Uq{@VGBH zxVZ@G2uSR2HTq(`iwKb#>bJ&~e-D(#gVP_`yL>lT$J^4fZG39oHE+?zquFh3zLHEz zx2*^4<5KBZoSW-fb3gyOYu#3i8>SDkMcWY0|Ez8S9333(9Dmgnq?&i-CiyrsMvd+I1Z4oa}7c7B8*GvxTiv7y(*gZRp{;i{ys|TX0cT z^HnI;CqU_E<45{S-F?v%P~ju@&U){iljfix6(Z4tzV>UuO=>!g`5!9C2fRzDQ+z1lyzMZ@Sn8BvdOwUrmVY~{nd{r z@S?o6KG)X|WC?hMeFz?bS&*Mawj>VbL)J7<|0u>#FVF~)2~kS}`I+?ch^|o`+JaTh zh&^X+OsM))(Oqq77N7n8$o*wF!T`aokfrcIHAyo`?Rj6sNaZ}jw=c3!zHhwm>mbjS z-=2%F5=AAJXgE?fVmWd;f;W;rqB*iU!ZV_q=z8zEp%ewsUeXd#5z$a4L?=Wic2NVW zdwA&+m^4EqMl- z>m?8MO#i~<4k-)ZPF<|?6*$^yov#ge7vX}{|%6e>z{OD%jYl)#kRPUQXP^w@@?xcV zbJHi-&gC9uX$2-_Tqi%A+qnfYi)9sUm26cnQKqrVD6WW2Pus(SmK{;p7Z zEMY8toll-i4lUiRdG*fxYzFP36vb$Tc#O&s>C3+ai3vXP_hkk7y?`E@t^=aA^MUlM zL7MRv8{}65LtoB2+={HP(;fdW9_$#uk1k*;3Os_v4mt$2hYu{-ca5a|TMDcj1_(cv z35fhU9R8qmx0o*g62lY72x{s@UghWJ9(DM5Bu5E^**>5@x6~g$9m^5gOhVWa? zfF9KJ%PvW819WSDlRLa9+*ir4!0l9U?OU^9Vk~OZ?&H>wMm)WrFW8ha-+X0JoCCn! z#bdIugI#by+QX+(>A>XkLJZyZz}4J=1hFz)Vv{@s_FrQHc*Y=;Ahn|)D7VAaC^!l# z8NLfp-Hz8b^-Va$1~xb@#8`Pq>%)nVA(rj|kYhqbH7Y^lBXI5<0-pR^pjmQLJ%~oK z{Cjl#R=&_&qo?p&EJ;M1zXHbgi{O!;JG3F~2!^2Gkz+0Qn-Gwj@&aXzhol35_f<$- zVuO84P4MQ)snl~&FgLzBKg?CdtobQEBalh!MhwW1D^NU^&WeSpI)vrk0c&u_)n84K zs}Qwi=P+Q+oz|-eThCLFJT>pBrXuxMysLb@h*s5Dt5Qdw1oQyZ2OUY&s(!Z1QzfHe8l#hMuaQiYKbQ*+C# z!L8o zJ&^hkg^8*usP%~|(9K*TKg^mDn9um{Qj|MIX!S#CFu%(C`rn}(9R0+wvPPF;?Y{H1 z5%c3*kFw);d)GkI?-YdtukzF@5|CGt1I}%r?YZ_c9KNrSa3AMs(R>E!a6Y?&9ppj` z3|B{jZ!sucT3e%mZnXYTSUVMPEb#(O;ktR;u_&8b{NIqfWQvQlLe?4P)G6X)Mb|=L zDEja?p{hC^1=s8$Q;@;d@#QB|ayVUaeN{Ev1J9eGZbsnf-JE*?QR!xvXr}G}ZL&vn zFzGk0Qb$g!e*pw2oCf}QHA~>j%_vgq#dI>&V4M!Acps)ahTFC_Pf0K}|K4jsDf$|* z|AFYN_lrZOB;^Hu7;HfmT6FS&`$nc)ObG(avF$HHc-Fo!op`&5Nbr(uk ztIHLGnhec?;quD=!LeW8W$%V}_t29gd^pt$w4_Im=Gf_uOEBOz|6CMFV+d zCx!Gp#OtOtXFOZ>9j_86B+^iocH~3wp@4Jdx*LN~PW|FMSEqyE& z!uA18H}+`E7G^^3>K@Y_G>~djhz}J05fGi@LDHfD)9Wyzb2l*bF`{U0a>6oY2tL&4 zc6{AHzN2VeL*GAZI7pshViSr_o;l=%?n2Z8o=YH|fJKPdM+lHuMKI-K0-`I_2blYQ zd+yI02oG+@*sF2tD|*VFg1UskCsu;siv!`2?e>CwBiYsjLx0lwW?&`=_Hu=i(t-$k zb0ISfNp+Q+jyz~9NKmA=J_q5m0Kr%Ii&HyBwY9qleaYRR6BO1#lf;SzrL&B9lH$*$ za32Q*z>yuImgL5$dz}Me8w&T-8XS{v2Zp|688-^ji75F;m!kh>9(jcf41I6lyt?;% z$QpL%#ig(0-0P=B@i}%EZ&p>nRL^0fKR-l`9gmgXYp)kUfJ-na?8)?b$o48qFUHxC z4!6nI)31PdZmo8Y@J|aiA;gq9;L`7XJ-#xqHwAgM=KC|h#}?1G3Y1H{{|%wK0`e&~ zY-!q8Yu#5XzlVrzNJyw%Db|zysdQmzk;g0@L4MnRJf{H1U3y*YD0J0{_ykmtp9U-^ zNgfIH<(eFX=+l-2PUTZFXFMt#uqS@<{Puj_>lUy7sX@ZxQZ(N8hu0FqG7`k=J2V;K zvO_FDmJ$#nKjRk=YlkX8B7x5FnHRgFEl$AP=TAHhgNQA*Q{$Kgf_Cz!7 zCNe+nA|L8l!XtJgA4!7Ldw4vb=vWRi#&1bij?#Zfk0rn;=C2Vpjx5VCy%9K$glO!v z5j>8R4Y@j5`d*B^(a+Rh6mb%J91c7{i@!95YaF!^jh}5S)G%so1RZ7BF!znv4P|ZO zPua#;$|08<^k>#(0hhS080|gt+Vr17S>%)PheJAwVmic(vG04v4&8Hs3GrTvzrv)o zhk5sy6-7-*h{h;fQ%z$FjQm@WN|=&UFDY1u@atyR=GOw3$M{&n-(;Uce@f^8WZ~k3 z)Xa}LTnG4d!RYbNLn*UE-bTzN1>f1`_SjmauL~zAs!Gt7O(VZo$!GBbgO7AiX=@4M z2WbW}FoiaIpo%gVl(a)a`9b9*Nb!k#C_Rr;3o$Z#3bnCsnknDM$X(%-d#v;kTU47> zo5iTW8EucN{rMu2E<@*I$$P#5W?lQ`q+(ZEQ-kxpjrg~E`PfC%H%U> zNE04J|*9&4Yb&-;s#<=D*kWVe|=A(PdF2Cn|I+~eswftHD^b_6iUKryH zbHx1FPaLPv_E4G5kze3unJ=)bt%>oD-uJ*ukYO4O_9Tu2rXbX^Nz?D{uPBZK>Z3-% z&S8$BdR*so_qneHFhynG)IWAR;}+S0uxvBGui5qYF6zd4NXN~MF{DC-BR%h)5y?sptPNp-m~9mxX;+6Xkv4u7XamFkA> zDk*;#te1G19;a6PIh{XjQp?D0t4^r&nUvwjjydTm2l22lsXPHdyIvf5EKCAf>v>z? z(%9R2rzT~qZZ`TX`*o{S)B4_q%)kX=%4wyg4Iz(0L>$F=68D8k&B3}s`Qu&{@6Tm+ z`@W^n3vS#b=DuhS!xQASv8)h=t{&^PN$gzy-MWh;gKOP`x%G>7!AGI5Dhb|1wODuO zrGreYDAlKvQ?zryLRjF;?ooQkDLIKEQxGn{5hJ_QBOHkY-^+H3P2b0M3({l(IFA8- z4RchAU@V(Tb@4z|eFMenB!AKAV3)01hn9Vm%8l*F5_t$Tu1dTx2aY2ou(7Bq`E!=(OF;{ zJieTr5LKbO>97ey5`4x$6v9t(y>5u1G6ZD4Ig=wu$K}LQ`9kc5^f}?_QxXA!um<$@J05otd}d9 zLe?+Sh%z*{Z-lSzdfeWi=fQ_cUPR>aMrm|pbwxVgq)uvh%rU#B&)itZH(AjcWbJ#Wl zR*g2I{Y~K)s4g|yI}GN@?W6Uh?W47$tx{a#h%^2@0xt4DsR$B~(h$>-G!QkAXoP@B z?9bm;VLwFDNaUDhnB{7&LIDJYqG2bN^XW2Ai{L5b<6kt0V}Yd^Uu~*iud(qPAKu%Yc`e6pZ5W>BXgK(3Qr5q zLfd8;Q=YahsjbPm{Jt`A@qaLOPSJq{&!3;zHYc|2Ol;e>CU)*5nM`ckww+9D+nCrk zHoxD??%Dr7?0xBb`t+&3_o=F@t3Kagfy8Ozl$sc5i;RsCzAEH!T9CVdZKNq~55tD+ zKu;&IPM1wT0s0^wE6WgQ`oTw+fDZkfM!0h;mn!14R1JsOu1>Ch`8ab1nN4<6S%51Z z2i?})RbV_K`lK)SEgB8IN!8O5;qz&;W9H`3iphD{>!L$@bBnS5;Ur_*Mz(<9rDML6 zI01Q*a5N~%3Q=}AWX-o;&A&vw=qi<>E6Q+cmHk$j`#&1vCpMQuN&=T5nX?Z%bJ#>C zckz&K@Z$L}!z?e32u~Kk;;w>{egJ||&j*c5o0i%nVw`?sn^tEZElr^Z-}mau{m
)QC@;qcL++ZF80J@}!9UlHK_oZvo( zYJSa}w{LH@UqQnQ?K)J_w$Gui;Jv+)7ZDiykD2l!(BU7GOv_cyNN_)d+++ug%tZH*l_Ur*of=f%xp;i z8T)xl?00n{!SNm*ia{*0P)VQ`)m!@`JQTK|9@{~9TxOrbbw^iIJ4_6^kiV3x`PwRJ z;VKBbPk#o{NLW*1H%U=%Yuas}J$^q@S5MLZuQLE|@ zyaL$%d%}Y8rAp^y`By9lHh-g40kRACaZxcQhA z2J5AQtcR&dcEU!R_o&q=QrIK^zkYWjey2yF`RmoQ5o=G316VbR+Ek2e^zi!Fbxf)U zwedRAmXc7Kay8Axkw9;V*U2@TEGNlsO?=9{erMlRznw04P*_tCs|ABLoAW{MiCXQW z1^+`2RCJ_o&D=#WqgD2tj-_I?mK8PF;r#-Kb^I}Z!`3ye@OWM%9@a*)WB!Bd@fVG* z>uxq$Zsu)Sz0^oMcQq6RkT{;6k64Nbjo#V{t*$v@PmtAXrN0E z7dD*F#^coP^t}}m;{^E!G3{FMsvc^VGUzW3m-bcAi%^>^lLAFNb@)s?8x2?P75GV| z1;Z?7R5F`h2H>iD!x4IROsjWfY)9CfxPSF%ACibdHiCt7O}8?an*_mEeo?!my;yf2 z+fzz&Oi?WAgePD@X4f~SVq87iDWYkKdjE2(Q@v^2tfb?xByTNo^aI!Tby2DL3>!E* znlVAk9z9Eq`LQ(1qAk2cN!GEp72NO;^`LRiZvgOL07i$R;{mo4ny>B;L8FaHg#{dn z6#kfKGHUIq84n3W$g{(zeGP2g^+Rpm+-Hu=`Vuwra-go$hmyDH4s7wI&n|ofd7TC4 z(@_pKIeo_=fBtYQ*ENajgv>uf8^kGAB!zI{>IIQK@eK1>%uf7PT+-X` zAmzMz23!twe53oAIohcuG*?s^@NF~tOqQkz)aEXQ!~xP^5TjhF7DOj>d2>c2uRR zw^dt<<7G~$BrY}59&#^&th#f#gPScPxE>ap0dt$;#{7AS{L6LjheZOFC<5N6lkI@t z-E#=H;t_d`4GFY07S-+&X4aR&z7Cd@y3BVwc07@~!F{ftd63LYuv3OsCW$@O^AiEe zECVq`gk`Up;*{jr`%p-WPxlPoGLjyrl||7#ZgUjGpVC-6jYVuCNl!GSqdfYecI8#% zKrLo%H>Y!&q(k`V5(1>QzI8zpEE8ixZKg10PM4E}@e`9w4tUdOoyoAl$ucohXqNt< z5BLG4B?n4sE}o^beR1VFLNjJur$#{y0{j8N695?Qsk}bQju1#qnoZC7{ne!@UU{U< z%gH1D)H6A^kVjF}a5)DQVl@eSrM_y~`cq`6|50Y;g0v!3F3_*Q8Ol#XE0F|yv`JpH z!7}*GHPJhz(I$BvxmCMO3j|lI^(0+bmah2rB(45X$7|#G>B}Xh<~>p>#NX#C4CtKP zp|2`e=LI0x&smHm*=ly1j=Uhq2t1XR9?vR7YPw_;rm`vX2108WXXc`?skCe8gz&gh z>j`67!?_w9`e_utdNCdE!WB2Vp_j=7o~g59&V4c1zC$@`w*_M_8i&X*YL)gGi1iO% z1<0I%x>-$dE=1dF=SCJx>E#A20_#^3>B>%X?KYT<`km+V#o3?r$5Q!Kz4G-Q_|A~| zah+pJQ2r@e``xL$%?T#ro0Ds7A1%IccUTI9 zSNBMY5b3C=F5DBCJ*JVatr>w8VRPiO(-tC4!Am?x^``BbcUP-;5(C~FjFR^<)ocmdOy}8acse30N`Py20)R&5JiC(p(bbnRxsGkR75Ftop=X-eI7k)WO zd-uoP`|}yi!0r6S@gTXZL8Qv9 z!~YE>2#yrnk)}W-WfH@n=1QhZcBg}4X2GG<|DyFDc}$5$&DD zDel7V2ny%psk?JOKv2J2IM`dQkK^II)y0X#Wj;NttdcT9W`G*La0){s*a-*6ekmuo;+ z`{_q>!R&z(5Eo#g6vV6G@Ge(cx_?U zP`k*DWeV(A>?*mvANP)H3eP%HALbF(HIE(fkP+{IGlj=V?MJqa=F0;MtdHmOKftHx zcU|AZ+_mD%?3OppPp;}uakyr0? zo%3bj_Zfyyc~Tr{4kcz?G|@T*^2#aT^o-L1({>s(nL)q9=XrNPX2sFyYTuc*j&eG^mc(g#6OC;@ zUqRsYs=qk9VVV`i2?l~6r;BS|AH5xxb`R0JRF~j~L1+o00CJ5$8VtdC5+cjU8MZ0# zIOmoip)R6Y+{(Pln6Wg*gp2zxS-~=VFXuu#S6)@1{n`zA&Al~;BH7EuQquB_V0+=rv>sY*Mi<2!LuzleQL0aSr`ahYeeYGmnX*wqgX{tYQSLz&8Qjb*%5XJo&rybe5h!p=28CMO=vjhj_rE zT?Bkoe86KDjGPn|$A5C2DRn>8`2L*#ss0M1UtFZ;u+>A{yO1$!V41&OleMt|*vVkh zYiZTH^u)E@-jg<)DXg(P#TJI1hDH0`PRwZ8#Gn3da2Nb|+Hn8;2z~I(UtDIkc2M43 z+&Fl4-xPXPMq{7r`sd)i95SHmr_}a_>brx9M+*Pqim%9-*AzcO4}z(MgWKz?udf1-or6@#4ru;Ka$YBV3bSxT5HRBAy>f$9xmyOhMA2h zR7;gp=yGE)`V>bHS@Opa<0I8m0rnVr)uiiERfxl7>l=;g;=U?5jwgk;s{Jr5SPFeA z(~*Fcbs^~F-U0GJrJnDni3e4qElH~#xVjtJukZo3r_?gB?b z{;G{dHdX8fNj&Jy=3nmRX92(eDITMmZNbd}oI&vOV-)dEW!7-Zw5eeLYh2^dUOl6!4OI5BT>0g|4TooFCyKm)uHq z)T)(k^xdQRHuk5%| z8E}nT$8ay^gu~n9!48^XDI|r%)J5pdUyZwIdGKdUOtywke?$CZ!SW&9@Ui))TVv?a z-_t1%f|7z3gQVqv;Ix{wtF(}`;k1&pDE1k4c}5OZm;8tvJNWyufj=imK|}mv&2-eh zb%)cnoPw!tGUlrf=ggj95|}l&eXLP725b{3n7$g!m*qtey?Nh9J!s`KR~@#e)w})a zsvgt(I3LpIIPcP@Kest|=P6yAcf27&hWhS3@~aK@PKcC&%A2&msOVh3A%YO0mjW*r z?qy`~g-|Wq-x<)=tF_fSjTg!=EP%GVi4~dTWvpx;m)$u91)sYSigVxd?3z*}OO4U; zRWgA~5W9|)Ku=HolZ(^kv}DBP#W~WmpKMOEO#Hl!Bg-Lnm8H~8i3&hf7e(;YN^^8^ z(M$DKMpqW_QPV%XC8N&PNvva2M`>AYy+x$g&Frs#SNxOofnlyr6zky?J+NpIclXEk zO9?4TaQ;24F}8Imh(^7cPTH!ugqNM+z^?UP+(39Ty-tTmDDsM{Zx5bDw;!5Wf0wT? zmONOU$(+ba{FPj<5btysTAdAp!R+bZc0;5`5qU&_1#*>{`bmDk+75~?SWXib%^BHR z$hQ%ZM8GFK-8+nNQT}ZH;wKuXE3Yy%hyFP=;`i&B9=B{0Ivkmy)ghh$3YGkZ7HdYM z-FMEd^j2p^Q}?S6;(G7eRw>T+^YbF4{?hD8t?gse{(H0vuqZblzcb3X&WyINYpxwD$tH;b!{go#-KaRc{ zuYgzq;)sP%k?sKbLfljS^o!=%GQ|KJmQSJ}}hA;=1Gsl~z-0?g3ei&#`oQGmPRfR_~+E0wrg~cJ$Li+$> z27;cqNVD)fcRA`G1UEK_Yb!MaPw}$AuH$r`axkNa5NxA%g%77>Z2%pdWn8R*9BK$# zx?G09hr4!f2+wdBnT?>l7RRGUWjr@Pa?Bv(&!W?!(KhtPE7Lm5K8;Jk6fP9(gXQ5|^5WJ4Rkx%s*?S*l&;cYsWuM>T?P<7_#Hf0a}Gm5F? z_?ymRjabTNL(lZ7HgkRlxz9QgvHFigG*g#4f3?U=@io*j@EO)lAP-uhFuPm zF7%T5tOUG1T&xVH{}NH%Kr#xlIox(pJ~U?HSI0~Z5vnN?Tm#xB*BMCDufI&`^oB9~ zT)&p-7K%s_*LDnp`I&xQ_JgMeve@DD_<-2@bkFnCou{3b*my29yWFu3}5Sq^)QMRZxb4EUQXA|6F6PavuQ}K7x1U6v~ohB(9 z2hapk!34QMYEX^YuTg}ZJCpglM}zFPNj;~BtAuVK_ZE~a8%wMtOscUa^sx`qmSRpr zOnGOGF`aj6V>Y?of!Wb&^y;N5!O*C7i2*^#yHQ6D2noj3kaQ+MH|a!ol{MR_z4J@`uhF6+1B)lV{>xCCP&rF z-!k@Wz(7Y!rRyPhN@Gb@^Z7QPmNZY@{-xFY&9!5F|MWa8@+1c`Ek9v8RQz{Jr!Jm4d_^nod45+$NBj@l1l5-g~6KL@ud;ek0I!wje}8pGn1_$ zTcP#-jAS!rLu1qZ=_5Cm-H(1z5ihu6m4&)|N#b}6%)|mdsdZMuGHW#rq0&&}zK&M* z@9~*$0F7dW*zNLCO#`2CdQGC8~Olr^FtoOdT^+lfyag(BdGGxKRr`Eb>$U-p#6vZ)*O-m~zr z#GJL;#|U&z0G%lv0n)C7lcYS@pO2yRC414|)AGfCpoj zZul%+hIfIpQvsi(KI!+kscW>Y6gWo#tC!;A?1P;HjR^ytxHk*#Np`MB++y|_ZL3O^ zuiQh0GDAt|iE73tbPZ$$tj7k$s`%RCN*6r-_ZFHf*Y=5zjDHkEm_tcKI2KZ`D}GJc z=NA8S0RHFfbGP?R_YV5B+>vNoOsXgaXl?v`zibGbKTk;iC%yWt|El&U;XJz2@K$lZ zJk;|mD9Z8P;^${)roi@P_)+)vrHp9d=iQ^3F&gNbFRLT80AN5o(<==K{;lJ=69Klw zy;?R8KT#_zdlo=^0nE+fw@bCxS5W3TTOfPqgAFhc{X_u_NOtaA0Rswx#Puv#B}KYnJ^%xyKt3TqJK$VyA$q{@s+p`;4IN|8IpPm)EG<;am!bG7GlB9N|| zA`hy@!T#W;CTcB6A=|a5pze7hyPF-M%dn4I2rC!vrum@*{Bk${$N8PK(iGau9i-1g zIS9oQI~|UW^)A-_j@ys3CSki7-lPb`0cEiD+K>8RVj)`#21i$$qq)OU+^DeKSwDc6 zoxHH!dsX)_CvP-t^d?|^SJd5HNxda?dSH`MIp0d~x{fKJk6Ut36?QA^`_OWCZ zbsgvTS|O7FOG$&v0RYzr{7bxU`%O!ftgL5U8sqFfi-!a|N*g9EvtBB-;cXD!3UTSG z$vuk~%dGd^{HS5J`V&*QC^_jzQ(_F)%)LHL74j-5~c7v8Ly5 z-wjcdqx{th*jo4@XacOqRdQymOp7yk*;#!QR%=NuefEr4e17%<8=wA%B;Dv6FSoiI zkYTPs>12PWvgL>1OfNTH`9IplTD?XaF!$V#ioa7!@V-f?8#K4Bd~^535S8^fxEvMq zO2y@>#WkWp_xL66AbjCp?c=4NvGy2{jGlf{&D$08r7eq$PRuk4%`q&3518;i4MOck zQV?yYIGATvCgg;A&Tkt&ot4waqkX)sejo4v-guxI=BXylJth53YSboOH-Wo-;TH;l zFXQJ6?GD_Z%v+r5(cfFteGb&-rL)H!(sEssLWTA=b5{+@z$(j7^;FE!VI=C_#g@&O65Pj)O~q_ZlXS9?G2Z!=Uv1SCrk=t57Hmi66Ri(f(@iQ+ zF+|=RwQ>ao<{oQMwq*U;+-e`2A!MgjE~cSx;i|!%mOqyN)XgRm&MCWOVjY^@7r?=K zaN6w?CEB?k*8)d+j-Re76nx-{Rg*s@`4^M@@$GV2xZg>Jz)X07_w zxRd^=JJ(LYyh{Gkg&+3ky3~^7N%Q7DOX`|5PSM9z>S>;K@mOeQS$Xp+5>8?M z&uRvNO#R2j%)ajK;}J`SI3_T*Kx!j&if4E4F#Wbhs8S-~)x4?xWJNbkf3kEwuzexU zoFP~_E1^egH07{Jn`Ptjv~|A%%kR~+cUG>yw5!w+kg}j1nDDyQf@zX!Kf`*>+gHs@ z%9wOi*V*;)1dtlP^JvVy2`C>=h0p1bvuBtd-9`}SI}RM;1eW8ofB^TVNgs4*kLx9e zbyuc*RZrcA9HL7yZ6Ch{ACESJ!Bzw3*fqF zQ#v|tVVi4(A1ltlPbN!^}TyY%7@ed6Z*_69?-G_1s z!W~!I_~u-*5UeFm`QQhf1C!x1K}FCY#RBgEYKJ(1fKNOxZXOJuBK*%`(M*xaDdcxw zfm7)BDxnqZ?j+Aonk2GrIs~4Ux1r|AjLKU<)MA}OL5WX|7of#{*1sFVA^aSEjyb}* zG2f8~IBvrqJYt2P&32@A@{F=2NL>)84RrN%>~tIrK4L9AMIGrPrleo4T9}Ni$T$0A z!~@{86^NhY*AoxHM@-pvnk<_XO`aNd+ahHA*}&squ8VYmI^}bk*bLKRed9>18oSVD zfJfT7GuZE)27a`Cy8p!cl8*VX>~@1{KJkjMH|tIq1>eA8y;C}FtE$&2WKwtJ4{g@tx9wV|K1q!THTKbrZKj@Wc@S5UV-!--Mm@)pWr`sV-3g~?X0fN zQrpP2CG(4>g?|fW4R-IT%M^=EmEaLne6rtld^Wz6Zh*)q+r5f%o2(}G^+*bXemn!H9D<{Jqs8#5LOz>B>Yue`_DS9I-OKS-duM=S9& z^3)OM-mFTW{%VEBo@iogRB@>qdF;-|VVvdb*6W29ZPFkSpz8)MUCVcGPSw>urJ(3L z-YB1wfzua;+v?IV7noZwmXYY@jE0J-s?pyvf0y5By5vtaDx*zKWvZ%0TH(zba{0EZ z9Ze`Br$Xt+a$n5xx2E>I^D4b_FD5Y{ATF#R>ZK3K$XY+)+Owt9PZyGFBU4T}n3^wI zwc9@qj2b^4zlxQXCUn73Hxl<-pCJZX_gOazfw}4-*swwj!dZ_X1` zQ}m^D!wN16j8L~82=FF?%rkmgCzJH4rwn};RQgnz>M(!8rOgeK_>db@4Xm<*`*$VciM^c&ZIRkSDe#W@H_U)f4@j z1n~1e0(je9y!P>j*W+_kl=T(W_0tRzHFEMt7(q?M=E`W`TyU#AiBYsi)728Es8dx` zwKTQWV2s1U-_WkF_y17&H)~7w;b~`KEZGC%W~EDVdt1gDmE9IVBP=e$dUcuD zEB`XG$AFMdb^e)}MO_waZEtDl*#2YNPJ5VyAv-l7Dg~*uBtSozId+Yee1Ij#2<-kz z;w?ul3Py}MI5<4bz{~shk*I^%R%X7Rbc(i*rHVd5H8YaJY-6uw1ObHVSlScDs9teu zAC+U_bx)(#rZr}G`1N!uq^1~5UagHBTtst%_q8eenwq?f|=&i{swzH%? zB6*uD;2Dy5?bJa4!z-lmCF&xk=2^WI9gqkJ@}*ITIlaa!A9ppWu581pM#lk@pHDhz zl~kDn{5l#08md*^n9)R6$w~fZt)8sT7QdLEjHRq>-kz%Q7THyZE&clg0IfN0r9Rem zk)eo5M~i5jG*)7M+P=)xbHa3XbDx8l2x5B$FODky&0Qr$Bl;`1LV-eviEt;?(@$R;ZoM855^+`OakF1AM7VtBX9X4GMt#nx*UE_Y6m8CRv%#hj(o?vx z!_@d-N%iY5F=UD`_!kk^Z~JFE$D|T%P-X|Fho)u)(Yq$CE`K5k0oJfF%k?ATWA0QF z@pdS)Ux{}@q^$6(e@C}tk5lteH$-M73X#T!yLe!}A6OigaXrEHv4~rk7DmguSVT`? zXN>U1n3$^%ZsYrsnIcI=%#RT8nY*|RR{r}5_D{R$m+&8pBb8tNE^nNg#j+Lv+w#7L z)1c{oLmUe+D=+CxCXkhwIw6If#tymX`h5Y-wvi2exO%u=YoGIjRuZn>b=Xj>3j6>GUxI9#!WV(m?s&K~YItLl}N|&kW*uy|apH5jPoli;wvG{u$4+Lq6!O3L7|HG>I{jZQ99=GL<()m@Eik3T!dT2 zsKasva5M&fWdC%?dpO4~p3bGbcGg_Kf3CfM1N$cM39uVHA}qKQe-(-^mtu!{=ilo^ z>D0FU<3;#agT)N;Dir^B?ELrVciT&FS@QqC)9-)J$wQwfwF;V&B99fRbcOB(xu*0+ zPkNG~xWa6Af%jWPKE}rLxsT^B4gk^0FN5?=q~+UlCTjj9$e8CAWhpv83?EhF`LciY zNBQGVx&tLrmt!y3QkUT`zC~Locf9kQQYLAGX$SSX(U`#e zGSsC`Arjj|S0cgEvNx{xBS0K{XD{)vgm^{}+1Z)Y*~q8vC1c`XeHQtA<{H^qRI9=6 zW-Ic`Mb$)t%}vv!+VTwfiU8IKO3iJ1|9uuDvh!`$^mzaMY(HpM=GCMynW8?~XZJ(% zA#d=Z(#)0pcoq(KE!_MPCFJ<{WL`0q=8n?4OG#uC%1HjC(eB?WK$ocfL zio$9^vGPhhN0V>5$m(XQopTK(;Ux_}b2k5G;=7cI4*NsOV3TcBOw(Td1kfOpPP+X4 z{7i{DYmo8}L4fY;og#ueP->LmADGXv+^O%Ji}v)YmTple>Hg5IXNE#_(!4dyI5 z|IjpS&X91uv6qm5ON(-2Erj1n@ssKSYl+0RLA_;;`8?V5!P7}Yb;0p8#nq(pT0Be>z~d1?idxe&dy1JhRA^s-uN-1b`zv9`HEio<$deT(LQ zyAQ~2>Ai+CXd=ttk&#QwEhW%ax-?@mnoWasY;LDM9O@<}!poMCk$HNBO1OBf*^x)% z_9O7g_Qw+d3lx-8>W;04cnh1ZN#9R)x@?4jh3R)X(hP*2NaD_wZ6QRfpU8N+lutgG zj*4D6Y{NZ}3ozgs#{%gIgu}C^N5s0%kY#aGgFdb<#8r@Gm{vKXkc&#$j0X5QwI4*e zpBRe@CYW1~EBgy{PV%xyN!;)yOdg2 zcp;g2&1-m5He&R0S;dPb#EOrk!u?u_9dA=(4Z`(Bl;Mj< ztxfxS0|8@Fi=*e`i;ga%y{h+q*y}8_?&S7l$E8Pc;YVz zF6(~)Hva?u!otbQ_Frm>ww43_5DKB;&R>0)Tm-72@NJklY}1&A7lCj7HKNv1Bka8hH{Hu?b>{|&qeb_!1&+Cb|nI3O_zgIutmGbcn>x|>8zq#g*CQ7q`!XIB znkYM$HV^{jekCW(wa41UmtwfVFoUX(kt+ju@MxnvD5FC-5P1~kv3F}NC#gy)MyVPU zR2HM>yEQFzh=M>XRaDsAt{5||KIZFy+BL?7hK9rd=oTd}J8hdARiUwTi6I{E27@{2 zE#1E+8-3lL$rtIVFb!VpBZ!tyu7BAR9u#Tqm05ERu~{RXC+-t#T#Wf>hog5HPk1Ty zgH`&t-=E07wHtd1%sicF@o)0=+|QByrFuiO-N{dd?GFY*%3w4}+n zr_SlkUHAjj>Q^NY#lB2;d>|*#edf!%W~R@@zZQ1h6bv0yu3=n)9T7t>*}`_Y4>E;` zG*H44e>}2+)n>x5b$c)7y{Cb1w0Q&Id83*oWk|ruAHF`?l<9NNJ#^VRyb-S07X~$s z0*iv#ksL9M->BluGHwVb zCr&|X$iLj!qy6v@#LajlKVA!zX}b_;M#4(q;B}zyF$p6=#!V1~CjdPoDPfqs!js0Q>=h{igI*Fw4KwYhPUW-3bvCz8^aFIoI&J1 zPoO=L{q9Jg+RL^?_R)eGr8hwCYF6sXZz{CdJu## zj$D)G4M0QuS_%L7lW+-ZUUMVfufyVzJb*cBC#5>IHD5*3|uTB12it&9# zRm@8MO^>bHwBj*8yTCP5EMK-Own|^zgby!rtLfjS`MrGJv;0TGZph%Uz*0;H@l+nb zSD%d2i~R{touZ1`Zy6}a20?11phmy!qzSv@tJ4_f&D-bq4fR0Cqj~&KNUEH-##*no z;1fx`W9#J6S?YwXWu-y*Dk24MEB3XrG?S*_wqa|wmNMLv*Ds55P`Dgd!i~8Z7Q*E) zW)VUM+sL27w3sbUU-UV#7x>lI#t2lvrt=MbtD1CYEVD{cU&NIx_B3)Yy|=B~9H!W? zc5L?VPsp)A`&dTGJeZFWDEhmc%p`2$jKYNhI3jEL-NX!WPvAOoBvz7)l+0j*)VFWJfIffTV{7f$T@F{aO$d&{FO62WX zO5L)S4|0+A6WS2PeK9xtBTU`%F}0;6VZ!eOx#0A~#vO`QE#YJ^Szn`&x2wVyzUxG; zRWQ3)A@GXhS3`dov$QQzpthZr(J3F6x#pNX)GJGY*}b<|C1|HT+KCMfZ#ePSRYMi{ z*c=bos*_nKOhGU5hn{_*6mHM}3uYYtkkWa9)(XC~V@Z3w<3%l2EBm4*3+88jOEGDS z%8*mfVs~w+B}0ba1%jIAZSD3j2OY^>CP5;^&sSbx9TANTDToSVz=J^qnW$#J z&-4SI9+BKv66(VM)dZNOCU2YxN#QkmE*$Zu}$5O=P2X#Hl5mPA-B@RssF?JfIZ z7_bj91)KyjfAUk(W@$qTNlQBgS6V%!4k6nRF9GhARyGR18A-)pl9 zSv#}+i}ti-!;~InH8W#i$o28l)NqL;FckEXwm#-2TRhsMCG{H~1P@aIZAa5sK%bW- zEB78pm{z5##IWAkCY45&vS@QtSQ)%B0g0;X3D%P@_86YQK<~&7bpIOnWimH!ew)p# zBYh%BN=Q9Vn!-%`Avt7Pfnc<(kJg(tTVQA5+zPgKvb@cf$O&8vmEwuFBRN-|1*h>LE#I^z4R@{> zSbRpk;hCCOjuK=WZOcR=u^nT@FYzbyWv%kY#_h$MlMVcYmj0dZ+#*&xSSZ6xr>e-B z%#6p*{7b8>fmAWcTND0-qLmbRq1B&YO)*v4de&TQxQt4G)XkvK@hR`0l0utkFxL?R z&RFXGMHV)WmY8YVpL%IZl!L=AGRjI<6{Hn|ZDP48Mu;+AQsQ1_oV znX}&Ua=iSf1P>g#Av3!tU7v^cKSEhpcBCCdI!`ZwPY%Iu=5KK9Nm;T9fx@#!pk*N& zPDhBuJl0zOj%RU`Q!Ae$98^828{nDQI3dfK$Q6l$lS z`s@gY6EYBr^7#ue1n;oH=yx1Q`6t*4Bscs&Y=lhrG zw|VygQ3&B*B7z0d6;Bh00Wjj22BA*8jaPp=iw#X1fFrs5wO|@8%BOtn9rnS-HcfqU znOc1r{?K5NOg$GZB=cbfULFN8Of4D1aw}7JS@UcJG2%sT^H4{@2Y;UyU!qP6_RQib z*F#YUcS)a{vXjfgSJLCmf)Hw2d%9U_k+Wc6yg~|!CzlDmB^0SC)Hw4IkIIr%=uuwB z@l?dCIQ6g1#K9Er%grd^n_Q*sT~^B0TEAn5#K>Anlv8fIUM!R5V4<^DO~XbZ%+)Ih z;&$H|rI%0OBw?es1^Kbat}4NCrR%zu#7p$$MG1N5z_B-J%Un`x49~a&bjgZ1kFnQ} z)hO#BUI-SIOv~!)bzGyk{rOmA`!RB|#Ogd1zO8ZMU~$<)a@ar3hp9ewUWBhi_UI9c zR%74pL?Yh46I^JP{g>Owx~dJz${HWNN)VrViUcQXW^dtQNyNg+#`WJAS69bjeGr4f zu)vZUr0(0=RXE&3Va<2Gv{wjZaI!jbG3MRjB=QBJ@CML0fn^BX_sF*+AB*9II2pv` z_5xI)Sgbpzk)82W=Pu_1-9M-hLx+Wb0e!fG!0n=zw~R~O_qRD9Y^*$E2vQ^YbIcvl zbSITj9vF8=toFE`Q~Ou|tQgD*xF$OqXVE8_O$x4xxZX2>Pd@KoQ)_2(ZgIZp{Nt1L z?kn|YJ>dXm@zC?>Tm~yn1M=i*K)pvE!6d$~vku}qb6Si)Ol77Wf_oByQA_^WHxd5+ z7`Ce&pO$BrHn00AtI`68`!@g0E}`nnI;5x1cH7&wA$@)Do`gq0SiN&R`vq8N*<57J zpH@fvbX20v%^+)%JZ{+OnJaC+6QL;n3pZB5Da5UZ@KUU=jPP{H?a}qLjC1hH@X8hA zJj+7RqT04F1>URv-w+3F1$|V+$3S!^TMx-|cEFmLOoS5qM!wdIFCW5r6YRqdc1fe` zFHZ9!#N0_^A)pG5dFQ*CGLkln@?T$EX%v3uAad?MH%@E9qnY_mi~6#3Et`y=DYLI; zgS-ptnC0R3jY03%>EYA65tVWVh-!yE8IbJ!fpNI%WKV{u;&&Q&GQH5~+t6q9tl!OH zC8?RNh*Q;=!j#Iuj?5mTfV=pO%K3bgV-Qw@_l^pvEox}IDvX&Z z!WpB0iDO$g@$SWC%ijp|{8*4cGJR=W>vFZhZZWCD{tSDd=7-nktBHksi1-E@6>OpEK~Y<(W^8$J9gZEr3KI%`!4 zp|KHZ!lkwk!l;rzHS1a)CBb!vh+J8hlCDMJ&;q} z4U-~p21StoKFE2!lsX!gAdk4eZX|n|_mYn^^y1wRMHLRk>kYxtJ&i)N*Vhy>{aJy* zb{-GD7|?R;t8uw>P#?Edv~cR*kI)&6yU)bh2?zf`ss{FiA7I_7DmE{e)=7$l*br3B zg}p6?n7_n5Bg(oN6-D#A2SQpNP|Ii&TuIQ|5dznyz8UJn5+*oAvTH(SK&-9w{j=ru zW>ZD}6#$tdmmUQ}?l_wOQSmFfeBwJGj2`V!Plc~5IkFVn|NB9*e3Y<~_M088cf)c| zd@iPv`oj^Ysc(#CzDKH2`3uCoSx5m8d{;TAI_vl}wz3~h}o75Ok>i6N4?l-(SzCO0xs8E#MbIn-5lH(cM zflilV-bV|ib5c~~KB6Q`0+ez#FF$5%}b-zmZs*ta`N)^w`cX8mH~Z+7z6Lm^oP#@Y2Lv zC{>wXDdbXGiLqo-OTU%luJNG(6ek8x6#?Zywx@r(d8pNz25|_?1mn6H~2}dovtw?=Y+5n z)G0q?&))CU230|vn*$(w{N3>o+BVs6y-h?e>Y$(X`oFD+$2~y}e-a=Ax3+P@1;Mk_ z%lV7b;3LhdJ9sqlriDM9VTB9-vd{>}oQEANf)<*Jw`{ka6v{M+@5(|dd2!L6^aV=o zfd^ve#j{I0%q~2qQFEsU7{U>9N4oU1?MfHvNR)ffth7bN>KQ+RDYMRUXR4l&r}|d1 z)i3_^O^$U(<=oKE7@GI_;7J3mJ#e@_zXV?7$4pS zo@}~Yhn(ui+G?lkcB2(L3k8i>LauF;n^*F%mQ75DAly`;TlovWkn)jhMdA2#A*_u^ zYX@4kgMu3gP7_N&(_N&gXxS=Ua>QooU|nha)rXbs5G)zY#MQn^?=Ihb&T2I~ckKni z6PhZd?X)4pZB(zVI`vt#BD>TQwBokjY$J8&61OHLIb!wjt_phTJNZ5#S6@KiEX);#)7#vkLAL;LFH4$PnjwxRBXfsM z3qyMi38VxFXW_#`q6h;2d3Y+QQ2Uk<{UFIhXVi!J;00Eq-BTo~#p%fi`HX@YhR}$~ z%HntAOhPA{yr;b$h1FL?wXB-8S~n^UcGt{6JSXXKCxcgtWGI*-#@Se(ac7O~ylO^S zN8;_vCCojW+&&OYWZHZzKJ{=Up3HqW%^u)K{4faMy5*-V46`=w-80)4VdM4{Y}Ku` zq=xD8D0mZY5fNluvWFbSqA zxfWDvnxqSvmAiJIzHc)K&{k{=YVxi_Y;>&ra4LC6|Kn+SgV2GKk+dDxiSbWm!?9kQ z_r8($Kp-gr>6!19gooT9Vv3_#jGwQv6$USa?H3a{AWi6=zJnHX4DSU9-Zh*-GU7+AU4nOKOJIanFkSeX7Z z$HmFO%>EU0=}gMu{}+)>#HgvIO~lE>z{SDw#ieFpXJKGxWn+!MnGh!D`ro#`UYVG_ z5ZKIYTwey5xLJr;I9V7tIoR0awI}5X{tLAJzf7@mu`_V8v9YrM#}>u^VT*&EfrFWi zot5az5Can%Gy8wGGyXZOolR5prjInTjE#T(lVkKhIgC+WU1O&bY0Rg@E z=2H@IW)2SK|HhG8Iu3YZ==vkp5NpzQLBA*qeDlRlOfOhp1CXT&C^h@tX8Q|wLFgL! z$RuOBdyw`mt}<6v!reJf{})^57+qP@wd+ngNyq5ew)T!~+qRu_>>b;-t&W{^$F^;BRCJ(Z8^Drl6+u*r&$OHOU%&LoAdqK_vF+VMUP zMTg0{@dUYD9o0aNiZa??E2~lm*4QaZHNToL??S__=tr~c+ueRc-7U;i)MK;sp0DUm zY-^XLRF=|m<%qhm&OE3u!#qXP-tpj`Di*8u2CrysXfly-J3jMSRGO+X`An%Jl`iq! z1WZexJTW9O=m3$DjD>m7la}{+%wf35(S@Egm02Ty>`=~#n5iz^hBj^;`;4m)i$rAw z@#1x)1wGm{_ch4xMXrw%qDiqk-3EIv8jr!CZT(hfYx<^_h!JEl!|VEXnf3S4VjhvD zIHf}PZEVJZB}eio8laoXhR2n*ACyp=GBOsph0vp6K~-*f_wCDGrl;~}!sHwLRv>e- z@wzs7hf<7u_0qTgcl=|B+W4@p59Cfq@Z73vuRqOtE6E8}fel%yEz~Fa5|a9zb4l}8 z3@~d_JJ}~D1)HD6BXt1Pj<|)Jw88`vFJiKqKZZZQ+Psyb8I(s@QiYVm*=7su#^48L z%XI|sa%Q$D7BV~uqi;kj5ZVdt8sXVCU+QKxy-(qFb(R^^RS0xbtIXgPBaH{p_vDC= z8E~A!FpE(VSP2Jw*40N9r)-qw+}kCrV;*e8<@%x3iflm+XXibFhQZd*ZIarVLF|Jb zl=<_bZW9$*9rVU(P&GE2M+veo+AkH@R?4TmKdo2l0=iWKa%c)|WBne;oZxj!M+idY zEEC4#b0-sAum}yr!G6IU9v)Xv)Wvhl6BzIetbV6$pj=Uwt_#wjkW#Li%W>goL*f!~ ziOE*>W=I5)j!z1B5S%zubL@|68k?Hbnzl+Rv>4Vdo`RFb7-7ml5iiISOWo*1nIU@;st`Oh zVj@c^Lpa*%f|=p^eilhBqz8;)0W^8rWr8b6r29b@!beIXc}R6eC#c9GS`nin?6l~OGs`8kY6V(|(bmXEq zqc0{3dn9l6$7(0qYk5Ory3RLX&XNYK=6FA2NDdF>|DN_cf3tPLLlna7KjGEe$!__y zqM!sVTuT-zg10u2A8Y@VC=|8nFL0LGMwi6!8OS@v>yOB~oz{^59*EC{Wu@ftkiZr_!-CMvw}JvXYQhRe4vW1PRd6Tp*682*zQ;zss*IZv zl)LK&g@e{nnS)wsP|`pHd&G^_z-89hZ2!`0%ij+H(-Z~u>8qI!6`Vr+X9>kIlE5@2 zk7m22{#DLRDNB6zxVlMSaYI^?=_v_9eX2()Giug+e~B*~Z$)#Z?+VhaT6 zxr{q5t8*m927g`Pu<+65w>ujW*XP%wPK+~4+k9S#P~;TaazuxGX-6dp4r|zUt;bK! zJeb}n>bVG>4BwydcYC@Ld_9oCW|=GrRHvZ~MYcyc%c4XYa>=gU?%GHtUgN-_HNf@V zgYZmy!`gNQ2-RZX48kr#&1m%Gd|LxeYO!fw4xgwhXxL%bC^$a3BH}(XC^rNXI?_v< z{(||TV-}_xU zhQRH*OY%0lD;i>`vEN54)28qn%ipgz>@Vj3uE}5)Xo+-tV&I<(;Ah$c=hI-~KTtka zRyL-8S1#SP7(8)De1lpfJI31iZ&(&zL%P7#syp?+2>LCdN$MIzd^Q-q8nIos!ef5L zlpkI4CaPj0Y767e?2e20e$=#yNvzm+6>~)6qXzr@RI;&(S{JZvd0kdOD@8Yld-|iPr$#3RsOT@vPtvFQ^ z)E5)^KG4{?Oz*a{bjce_fw3(krW1VlHt@}hnt7$jyH3#e8w;NeG{3$c@2kUyA{QDV zsB-GZ$7^M(`cMA#BjLIjUoWT~QHv%L?K5N~wj`C5!oT#O4-9Hs&OhJbKsz{~ZmfQH znD}39FCCTECndnuDaD?8>sQRsOWcG+`{bK-TSH&EEPn82! z4Jkh(?lz~xt%Utd3EHv2_y;6UbDNfSHF)^-T%$XLf5d65Af@s`-UMQ-XDo5l*dM>P zl6~O1ul0t#>qpb;*tHQSkIB6=T<~Y5b2N{ym)#h88+Q~{sqUu-Zco6uOyPQLB#=Dt zE;By8a_PvaQ{yV83x-kIW#uB9U&P#-l<{|(V@mqUZG z2e-2gD(fVrWr~q~zYknLQ(gmN1gLQc3?Axivs-8Nc8-U3e$m%>V5+!!+@vS>&Z48P zmGTzjN)KjXq00RgFX96-%>x^WH%b{ec;Umd-%Phn{2Q&X++QJAS=K8T3B$hq24cl* z=}R$A))ctlnIL7FUp{2es?#@nsUMQRkK1&)(nO}T1vOuc6%Kvp%Z3`gdq8g{amb$1 z@nW@^+0YEf@e~N?2`tc-Ucv-ohH@?=RAavLL>Ti!Mr%v?DJLs|G1FDG&$zMMIz|=P z^jMB1LfK1ARWEI+89)LVpv&K0%0Vpt_x_;Vs9X?`f~N=R@Kd$+%f}N;H{Uxv9dPO} z8ZpI(tUuP{VSKVOgA3bY4ML)NRm#)+@+`%*uoT!gW)0c4qWN`k*`(f2-0v@PmVdDE zbjI|WVU^UVu%PP0lAva6q1eql&|lm-a?>0w0jHWNi7QZ}6C=>XWgyDPkOfgq~`Hj6kESTqc@fy%rZpw6bzns#0 zBhxXso)$GRKVlGTpKs!n->}fI&?_Y3Z)yu1$GeVW>q{BSShrUoyRfLLngDBU8~Y4|wl1+z3DbtC_qJoO==WS{T1v zzQ|y?Az=^-N=dvI6z`OV@n+`g=3Jao4uuZh`uY3fs{ZfuVi8nhExZ5{B>K(kvIcRK zLzHIKt(`g4M$kJfy?)kt#r;7`rQ#L2YZID1@L_yn%WKEiKlV6#h!p7?a&6pev|l`M zMZLGv{{x>Y1R~Q02Dm_)r)uyh+&dTPC%E*Wx7`)5%de=@T40Bi>_k1heH&iJmsl%j-S$M41Es%WdFWSM#rP*ZR&p+w? z{@l*KoA5wTrR_fwDk{fTXIpDaoe!PRM`Pium1)G%bGq_5sMsM6-w=h3+4yc}U5gy+!}tB&7_SSjN$_o%S&lEU7FH^#7n zGg##r6pzfvN zxYPXc>Y=wjE{6TFk8v?5Rb#e|VY^mR(n~+c(t@S3ZWKjLWIWDdsF;+f)Na_4pe_ zS;YXU$o774jc5>5_)5A$;q1QC*c5r1^H57yX z_*fOVuM^91LVcSBa?K(FY-z@Rw@(Z?u${O|!O3+JSrOxV)mO6rw9s%RtJ#d40j&t* zLEg}D6diGRm7cqA1`A_pw<5KrL5@(@qt)i))3Jr2zURqA7tskR@pa;qFxqHlN>b)YclglUrDnZPrm)w0MT_JJkiD#H2Y<&1|ZHu z=~$)lCdyr04Dhd+WhOhMz66}9g1XmrQiZGrmy2H@2&`DYHe_&NT`+b%baVUyEW|v< zB;{etHjzdnQA1rs5*@CqrCULLQ=TYeTY!&<*!$6rW8#r!M90A#Wfs+CXry)67JS`I z8le|u=?dhCgQF_Ya@k&dyv^-OuaWNAoF&v@yw~Okl9+}nLR0^nSK7c!0OEwV&5Lgn z`(;)H{o882wTb9!G-b$w?lEJ1Qv9ScJk;ua$*O>x1Isi%KD_g{0f8sOWdS$Keu0K{ zqdZ;@masHv*0Xi7nHJ$yA!ZH@3o&uHXhk|P!uQ^ZBZubTL(VStA%{H}on0)h$S~U< zW3miAoW0-X8=cq$hA8I^4*^~5iDoKQcgvS6fJd6Oc8c_`Wy#C#{J^EQ4oldT)t61Dvt<+c;tu)XWEfjqHz866;Yl70DSv)Nz!A0sF5;aWnn(pwR(Ti&l)Nh&4WX$sd6C`|4ie_yjlkp}4iC{Oo>b{Y~ zr~g8R4m|AF7eF={U9>~w0fya7(Lj;5$yzDKETeFSCOqP}k+TWLb_BFCL0Z!@+N2rA z)G>Ya!ywI;d9~q|G1Uo=^*ih1HYgwiU;gQrr8+8Az}t@H(S~@VhlyrwBD`0@=edkTPiQT_=(9$GIu=gu z5?dPf#c*D+p?QKnVaHg-WRer(AK!z6XK%7JeetIyXT})9b{UmX@n_QWfkn)Lk!f=J zd7=uXCGF5BRfPSJDA~mZsg~0ZkOf;pTfFTruVXv{WLZL4b{E&S#D31T13#@RZ8hxmfbkbo> z4Ec!L_~^r@z(C?$rqAWeTbSBU4|p470+@54>YfjYo1xr~w_g{#+xfi-P0R)S^%nOB zU))$iN@|n^&mWII`lIYR?86?~_RI*))B#Ajs$uxAWjn=f@1rCnbbp$oEA1FY*W*@$ zcPHGX8(`|D%Vqq^b?fsg)mcfz!xw~_D@wqJ3s^S{3Y{`Ip&f)%m}Yu3AqhtEdPVC& zY5<;~Htd5&o4nd$0ks!pD*1=9nE(y_VA!=gB7?_ug&>r3v!!B;^W~B=og2OUnehvE zXtDa!YGbv-F)S53YUpM07psSXRmWV+(O^Wz(gnnDM>vF%n zy5Js&M$+(<;I>5m&C&C5xVlI>nP7Q`z2Zk;Hxs8^X0tCg-7q2p1=$^B)K-+>Piai++*`LF+!6_by9DD3gYBPOL%HA(%+@Qphr$aBmn zgkXoG@*%}`v0|Ad0?rbO3*HZnrIIj!Da1|7MX`hgGNO=rVWFNF@LkVmWvvbWi~*8* zqgbK118p=yR1D>Tbl2j5Ji+=wv_Wo}QvBT~jHxB*2gF#ryjb#g<+3s$xOG2!6V94D zvUvrNwGtAzh?~rfwle6+cp}OR`pwwh1xNPxObwG!eyP;oS-LB7pHegvT+g-NVNAfj zT~T*?o67TBm`=r5M801|wTA)wM&y9KsexO;8E2z({MD>pV-uCeyjPT+tSTLuX*bb$Ou@KUq%0e>4XCB_@z5Q z)ICPNvUBF41gyypQn^rN-K{rq~&Sy;L+XPJ;bhw%4S_G(e>dS zyLoIbggvzV^zEz69$|(uNSOBTb9pb02|SAbZ;Fy@0s;I!E>)U#j0~O&6wI!Np{?96 z2c7bIBQkD;Oz0pDxaU@n)Y!pLj}SYVNmBY+jMS`AMy;PeGw(d)MeZg9`sHr@<#T0H z&yQUlx0srx-F>_LFjv_WT{;{&I>y$v(!A=638`YQ^h&wi7%zR*LFjfB!RjJA1VIDf z&t>;@n$gFTj;ff24CphF9n$*(wD_wf`nthw>i#^ZdLOzAPT(8mfi;~XNAG(^!_6KR zxKU?pZN+?T>X+#p(4;c^ZFeChz{O@)R!!pdMcb*xC7IsEk|DYrnF}1XV%f+a{Wq^~ z*+qbaquBSS&l*QVAQWt&Rtg#HOGDmN_AEViB|hckpi4z5XX+JY3AYvIu7g<2pSP>f zbUEVENMzi=#E}jjBKIuL=kejV6pFP({#|R*Iv?gsk zZT6tW^;n0!ZjeQA)S=w7Y6XV z>Bb4ktK-{FGM`I}9HyON-Cjitdtq_Mn2|^Yxqq}=dsUehJQmmN(w4enleBHxDufL` z^f_3$%1B2UsD#4)A=2Z7Vf+YulK4+uik1)-)4YW(O22%x88@KD>80*YNd0m-KwL>e>N0TR8S?V19 z6xJz|_r#Dumo`?wl%Ctxp^L73`%%|ez0ln{ytSq(t^M;nn|-T%UaeUC*5T%TXZN*l z;3+f`bcKYuMaa<2uj37B{qy&;=jUhFP^k*xyQu+{@VBr=XSzRx{L=zm6oV|j;S#c6y~*+; z&&KRdpY)erAfvuLZam$MNW%X0nUPcXE}uM`wJ#-H_Wv7#qL05NWR&41b(!NWAAPy# ze#C|t@IKvNDCr#vBa0h92U$d0l|Jgv$h{~yEq;U#r;UHpdQ_HF{4s-uZ>axx*U>Bp z8ab-nGN@o&!)`BK8yd8@dstYYeM4|81I?A%=)Dn2_+!5RlN1K~RG6UtlNAPIP9&NT zq4+<575E820c;%q5LPx$24*%OGyA`Il!J+biS-{U3dWuYI3-McoZzGUzbF;R!py+N z{`th`D3(v|3;gsE1~RiTurPA~nEn}s|F4kc|6{4FEG!HF4tCCe!7SB(iN?gqz{J4; z0De+lP6l=kPT=P+rcZxl7It>_e<$%D!?6H>3`}h7ob3N_-v2r|APWNrCp-H;(D?HS z0D%3I_yX7&{xQ4!H=5FanjDawjo~vV&hh_qUf56I`@h|iKaHCILn@v5(~tQxl}-kl z(B6o^A41`)<=8e3BpIbAirnqYEk=UaI7)3238NOOSxbK8yYy5X?rpX3+Y*9a{_Ome zlsG+}d*E-0of08crOjmLH?`FNwK6K02!Mu1-WQFU$jog4`PM$W-aQ)btr6Xne#;!2 z=$Lpy`k3u}c71(AFc}rQOrk2bD^_n$aZlJ9LT*xD?1z#Ule(hg)eP2GDRlucs$2Q* zNZLxspNURSOnot>tzwq+z^-;f5M0#kydXWCGSVtms}5US1=qDNzHyIXz_^Ao5RoqA z@mlHc#-ET!rf`s8^1wca!u9mv#nQf#44xH5^XVv%3L#>o&F;x$fdS4sd0;Cn)i^8W z{oXfKNV##G*4Q)g)PyU=i)IJm;BuE`yqsO|3ouR6F9fljlL-;X3z%v6=cx zp=eVVD`m$`fz~^hv&Lu8j-L;4-yXm>vh26^U~K6yh^X>2DTO4cgQkVbh=PEBIJ~SA3oo#L$XQ6Tr<9~;?W#a4ffMgc)Lx}R z1B+UgHvGB2Li19OZ#NFngZ_qGGz!y_8C!R{c7G4&R5IUqJGRpb@{Ex0XZD@Fr`~$c z1_X1?=X;62US8cR`)rIU{8=Vp?D_~rlm?ONx6Zz@Xt_WHRG z$#T)?UDJ{X=Qk#Yq!O(I{kvPtj{reVS($HzovQ5Pq>_B-<~{V!r=~^o0(`S*Cx90e<39<1;YbL1E29Tx zitPwycqR0^(02OUdE@2a`Df(}!-w^sEK#N$sCv9>JVR!_O>xRj%DRaWWUY%AXeirN z=At?b%`-|Cwezs!{lH=RV0%NgfTMj1WZLhxhAn7C9XtKx!;wWW#;uLeSVAl@%vmxK zQDT4y>E);z-4YH^AQ@(wqS%iRvzKH&Sm{WvtUVc*$y*k?R`LNz=+w-V9IWHEWpL(t zr`GB0X)4=o=UmO`rXOE$HAQ1-Nx1pUO(at9Y|UQOXZ5t|37kmO%63f7e($;CEhfI# z;lxvz^F~Fh^*An4b{tVBjdunM`lFUA)H|qXVu5TEIy=unqn>H&RLgP-Z1)#TC)i|d zzoVFDnOT(U?v*&S=dt7Ytoe3%LdvpINGFXwUs8f^A@`yfsVKb#vA4jq2*<;&=3F$! zo|wwsoyFg-nM4EbUpWUt;nLY#&}iBHz&%XUQ0u(EQaPF+%B)vIt~RG>_)D_gL(3N$ z)QgXcQ^CN2P{r!t4H08fQS?1#HK@fb0y_7#!C0bU-vB>Eygp^oQFvbj%QX#s#5hiv zhdFb5gr3*G7QW@dn0u?Gqw+5N`_!uVU>p0 z>t8cZd$Cu;np?Obm~4Q_JEOn@ctCa;hN=f|(!lCEqwEz-o4( ze3q*Rv+h%5D-iMyZ;Vc1CfgY3{-zQBO6!UZN^oHszjvUEtznf6xyaGZGEaQ2;WEVQ z;$T6;(qDol?>uI<%wz-vj7?JA?{|jA30RrKQRBOTSd3rgTV#hNi-cj=$*Q7Kpr`N)@PidV zLrNqVvDBA!R^ig3CD34riivjCsh+@88sY7A9GlvO^m;$xV_^mfrKj}hcfNJ<-FNL^WCKHa&A zML73YQ%fFlfYdUlZg8?8C9bk)MEo~@^h~%w*OlYFfwEtjz}d(ygo9ABgC?tTeU-x3 zh$>3ojv)N@!im8M_tN--^4Fl$b1V8tAM%Bdq~kr6Dc@k6B1iluB#9 z!AxG9fucZO>&&$L3i=NvTr}D$+F*PudE0W`UX`WIJO{(v6gQcwNWu53ga=dkqiQWo zm-FgChU$}IJxRw|lIx9~lj`Llgkd77s`^_8qZvbK?;Gf_%zPKAh9 zy~{YR{;-pyzP^Pzr^fSL(u6;t0bxf1Gz6k3Pr%-mm3OmfD6m$g^JzG#* z7JUVlbyT}U?u9wDSfdGA0f*ex&dc+LLu<70&qr(>g+2x9KNX{(oa~0qi-DY^6;8LPJ10wYjo^l94w#O&-$&Z3&dUUM0d{T}{3>3d zPiO|ei>6*f#X2~4#ha*B$d^&i;iXf;l{^BJJfXWEDs=P~&df9Q?fKRS-*Dm1!qGyt z@ZYu`7(+tFBbLy~j+5KaMe?YMO5P-CJ&OJl1da_at(A419UAP({ce73lXq*co4Wa9{Kg1S$=fI^_+n zF=`?U(U^|agjEL&Be3C>EMWt8nc|>N)`Z-UK}x;EpW!^)H;WRN!6q7<`UK?BUz|mO zPpD=1;kfrFV54wm3ts0G2q5buIr4u! ztLF=L3ET~K!XnJdokE_Fvr>XUf;QF}Wkpw5YA9uRro41$RWdx6A1huH z(RbhcsrXQwNLhd;jeaMRq@a#hw;sQ)<@eHc0|YX9Alc-q?TasPC9EBb!^-KU(~ zhn%!ZIsfW}apCT?ti4>X;JNU$^J2T>6rR@$C0d$7VX5>_)!8l7!SNM}l-}M|vjicl zpvb~|OEFNzx`P{Jjax{u)%255Q@~B8A0=bwrsXH@hHg}#pcB$^61^5daTN3-<%WDl zPpAIQ6Kh6?WnbH*?BAB3Qf%#Q{&zXcxG+*9_B@_q>)Wi9tWsc9rUH zgg7geUZ}kd>9SAAr1F)L7VRD%UYWe^>dL8PoPp{brg>e>kzxa(;foexIYMAtYwCi#=Jl8X z75P~xij?C5f;N^6fu<#k@G2x0)!sIaNMg#ITl*YPUovgO-24_MtSwk45ElT8!dtqG|>FgeX z%Y>*i(f5rBgwXPWn)oPj02-P=%@zV?iewlFE)ztpFStQLW;ll14rr5U`yA~QW~3_| z6N=L{jN!Ei?J(^I%c8>?h{V;W@P{j!m~_w}n<~G7aa|D_NGN#!`;VWecn+~uYduno zrZo_GvA8{5v;&s#Bc}F(W`$);-U6MK*P2J>%M0rjfQ;QOc9WJnN=h?(da?r zG(@Fpg4ivvX_|2zCmsobBm1L*=8lG~)1lCoeg&72`)16&!^uFo8u*yuU;-i$mF@M6 z>{p-i0yCl3S#` zSaNkAr@#vvtbE7E-Y>wcts6&KAwI}aN04gU0!SR|YJRBeZrW$L$Ad8>yZTFgQ!FE~ zhd6gThNwD{05@{ddVa`1`e2&F0N%7O2u~O;D3QegvbKkqenwPG02H(j-fsvd2ohDM zMx`y!lkRYgTliiYxD&UFV8(*vIx!O_NM2h{-L>7|}oYBB5&+n5|&BBWg zUcnve!J%oyFHx;=Pa8iS=f-gad{glII8yI zOP7)1sZZYe9dlR-CMXeYk=wK^;D||Tzfxv>XzR4EBeHCN_1K?(gysaA`g?pm%-J*) zBDi8x(A?&xB&dMLl?E9H+J$s)P^|DF4QB#SNt*Y~tVKSJF4_19@=7jAg`S6Cq2h1A z9%uR%2fHpW)*{I%>{`wSH#YNT(cAjwYMz?x5tyoCDf(YmTA;Xzuq*yXuC$D~4cIBO zbF}iIz-(`y5b$gSmU>+~BjsF{-Z={j!97?d${7weEqjRcxPwpxckCn{B;xH+#%fO=O%C-w5AzS65fn)Ds0&pr z8h)R3vrR1JAlq^le^D}oP@|AP>t5O2eCgedZ%sIl%&XxZ;lWDua%-<_jEIi!X6-XQbCu z(NWosp(2NxD2A%d-zTEQ>US0uY^yb};Cy#t*Cg3@h-jwr$Nb?>9C}P&Daog(Pt!65 zpkRa@eHehgfQ0f?R3cu$@CP=0@p4*_D}12?H@>v^bP*`TKEKoN5sn}8Izy3lH7a1f zQEu&be<@eR^XT_ORu0ll<290ANmB8A^cX=23@^ZY3X2adbj{%I_s{7s`aOP-*Dka| zIQhjXlzFgoCn|a9yYSw?D!$Nmw?lX`ZXb&b{>3oE;MbRYlgl8(aU3(MyAW)xaYH`` z!a&4z{2b8uYtAMBcMb~fkZqRl(c$2SR+jv+$1G^-2jGbY} zulslFX2&8cpWQ1?_mKOd)T;a`v@tK5T96632@CH%skBBP&LIB_C1>yafk!10=B6tT zfs`?>U#Q!O^7iA}q@Rn~pYxNP7OY(GllC~wS9B1>zP8piq(1h0dt?ZS1^td>kvwkm zph=`J>)bBPCAF!CJSE1aq?i6_x0bYu`vTt#ckevn6uI74(9CAdV|VVhk)#oDx&JXnd2YP8`=NiC~V9u44j`rwNE0#@<}e3nLpVG8`CFrU}O15sD}H= z755;+`P_dB_1XE4 z{0{gJ3i&VcIW_F|4h9Ym7T`a#QvOe&fNY;ch?AY^zbW4S z9}@D<$p2P4jF}nuKS{`f_S)ySDvGXvfL|4Y$lott6H6t)SWaId0r1Q5)LLwGN-3h+ z0fcxIY6NOvB)kW)ci5Z@%*wjF%pL3GCX`Th>jx`2r>B>5stc;J8`N(+(|?k)E|nKY z-InZ|kv=fq&RY22J34$@RDI+|%?gE|JYTPGxEH#7TcRuEiLpRiH{XtIud>gCPK9qv zyk4I!rq)8QHoN~?qbPBCy1h?b^f513&YfL8Ptjf69clAgCQ$gp1Qd+6dHpqeJ>5Kf zK78|iBDx=Wu_?T|v?bX3sPp=3@;cx&JfFQut4O=>ij|Ze+1UpU5W|gjYwM#db%D>} z^9bZ0&wHfOIGYDm?gM4Riz-Yy*dd(-Ev54&kE=+jLX)b_j0WLnQMHaX4{VHrYg$&z z`AjanA>F>X5HgqR5W1S#h%+Z8Nq?UeA_(lWP>vrmxHP`c*_YKdVQsFg06=(Du>^K7 z8DwVv2ACT+tO^GwAP?o$^d;xrF&y6l=v5tAHqX5mH%3A0`t~1S8IrD_W;l(husmtl z=-taaeN%I!*aLVAG*4RA#$rH2r*4mSqSKW_D<|{2hePQ%-=HPTKLm+rJmIY^91u9A~h=V^YrMl#Mh7?_00dHmxu(kQlJk-p_qrC2*27eAW_n%Q5A>N#h7 z9yOoc??!pnyjwhabl2PL1rdm@qP^OEZOxY^ooL5icQPf2BZ>C#YqvwMR7b25y&{zWiEQ=WT6KF?S}c3V_ZjGZ*iu-t6NuZ;AV1en$`W zh_462#2QD}+uFGD4zXn!HM(~BrC)QiLRDo1%e4_O_3L%2=jL$pWqUZ4zT`}icx!{{ zBlfp`MmJ?95*uL-oBt3EAh+S2`#A+%XzrSKeds*81ZHG}Z}&KfsXkNvCnsG%PJ3F&X} zwNc`!o7p~!??o$h9V{?5+*fIHvSr3l++gRzsc5L~$M!{tM7+1bv!8WucO>?IQN5GQ<|gg-gV6Nk-G<jVbFQiG#?U zmu`hdGWOY`(RJXOx$WpTMUckI;C9;&juOqxZ&NK+3+CFPuDy_KyR?8`STrLigqJN~ zLl;<=!?@gEm#+OXw9p&#g^MG3A0XJ@1)kjJ7Kw=jLy4*J48C~M`A60{Ib%tK7$nX; zaUHsq{$zc6A(Jo+3Zk1+`KM@jSX5ZJ;9(I7EVI*fvpcU>P)*It`CY&Ai2^b^BkEl9ZIpA6WhSNr2AF!g^zE@LJuhj(P^fcdmB9Gms7Pq=>3jJ4vl6Zr zF}GFp?kvpUNxu5Ju#^s^%fJzU>LFz1pne$kZx+SoXSE3lmkZF5$FdZv{N}0fBW*H3 zs|}0mHbqL{NQ=$V5+gtN1BI zpeJ-Md`WgnY<&F-;u@GCW}pVE3A)ngj4E>c`aGhd`!okWG*x{k?4sqeBwEM(TF}md zTvn!*nk|iMmuVMmYat3q+aAb?-e_e}D#{4XEJRXR^&%Hg>#|6xOMtZe&{x|Ou9cjw zTlKq~rCK;69#VuFCK`CG?=}cXTQOJ*I>GV`8-W{oBmU#=b~m(k;IM;>2N_-MQd9;{ z$xL<^BCRQ$aK53wRcg$o&Vr_Ofqa1~yY)sIVqooGA8%|@1g@?Tx#=>Q~ zG;+*LB(Wi=9JC<>u5JT4;Vt=_413VOQ`85{im5dM6a1W1l8`aQ99{m(lk4NpMq$6k zwuC}AXPvBZ=v@u>7^R!fgU4iJk=1oxsj4*}Ko&RvrYFMC={0tp$10Csp!cRB0%l?n zXsanC>aBVq$|*o$sW}6&=V{IcQmVS?N-R?N&L+G0WGv0)I;Ii|6#)rK=(bdlSPY9E zjMPnhH>HjhF(*(%UTry=4e@w(INu@I7pISRo>W;2g?VD2V6h*D{f}OGe-mal_vfQ& zYPK%63AHdSIM`|)NMy3p9L3Xxb!{(TYW<1GMKOAMDsAs+?MHj=>`aW4XEMf^fs7rv`XXcd4y{c%)gtcY7vtt2&YEyFZyEkl(g z_pvMozeHcO#=^post6he(rCyc1B}b`NMxrSALSbbTsYw5Ipt^Yx@DMh4>=1Zzzfda zNsyQSu%hf&#j1X_)H{pj%NqoORhEzeHUgoe14YAi`)EXV3|OgUj|QYfWgf6SJ&4w}{#O5%@LqzUrI#l3v?=~>-x`0SVsEOWR8hriMt$K9&%Hp`2HRXEFb z#oEAhusPWqJ?Xr%EKeUYovbN0UP3ijN?@_`dmPEOMhpz;$MN?cmdejVar=aU2p?Fs z&)={@?dK?r)YW%Q{@$c5${y_3$2{~A&p{rI+r5S1DwV$ckH)?Ptj6v8Unwf;HcN#= zicp<-5V@!f4VtM)N1f_4&xv?7QA*K3Bb8g12$cp6Xp$*INHi!Z4Jc9+@!#)zj<+-P zyWhX(dY-$F{qD8aXRW>VwD#I|DNy}Uk-EbR-~520%{(h^P&~4%t6it+R7%W(C>!|qb3}M)RY1Mey$DrawirU2I*K*I#Up0N*ZBv%I+i4w^(NG;l*q2c^AfsQhoVB}PSjseu{pNy^yu%z3l2BudPaf0c(q*2uOT7DRL`CL z>#jyQRzMwL_f5=Y?)g{d%EshpKk~o2tp9@(ea@c1V%o#n`N{%G=N}j}+s;x>JC1dz zO~X0}GE#8#oR#FUn#f{PxzaC|&fwXiE2S7rw-wFMW0!AaMDo?F>tEzNE{Ej((6IO^ zr++v=!1!iKvV4AZnSujuXn1M;-|Oe4E-nVI$32pRk^(%U7p$)vxL&CK_dhPX(~c=b z$s1uuMZ#Up@>Q?Yq=vYx5{wmfdmAH~)ZGvf-M?=z{Cte5oM~^S|CJiyIUkBI?Q}ND zRBE%>L|7g^Z%%qw*i&-(tPH8|r8OT16*KJm#Ql0b=WE7IEs+{I_6fg3`p`s>XwkQw zyRp>O|CT=xx$)O`t*c=r$;f@|*0~aJ=4IqcHjO(~3Wb8x#Nv_kCS*-ANR)!dP(aQU z3YEx;R1=_q;5*s5Ali;ZV&z8RSSV6R;2Q#1(&4CJl}9Czi5LoqpCi!V)F&VYPZ`M@ z%^QP9A!*V;^E@$gAaRQ(kx0dXm^m6)DdK1ZDh5x+gXlRpTn`TDo2fB8Sm2VV6e1aJ zje|2hiKK}oQ9#}oc-@Jo;y^4Oo=5@hQYimtV{nKb7A!kyJZo5R{sC6e6cCn3pn)Ye zk^+VR=ar!#D{Da<7RG2j4%DKOKx!H8G%Z|3!E|%$BCMKEcO(DOc0A(zJpk&gy>2G4I?}X!1`*+nQ4n=^J`R zt^HnS2plwx*mhZ2#qYDAT{Yq3*#jBR?QGHl z!JDGWAMGp@L`TJ3s+EYZ6@UMhj96o{!R3(i337MaR9{!nhMb0)7PB{Gt#HEyw$dkV zoy!@+w)y?En!jWAv(OA-$R5uuz#VrX&J$^>fhT z@wCAHRpJv@q1Ic2pR^elv}L6)e?9K!X853DBx}vtHHYwtvd@Fe-l#2bE*L1cYX70_ zeF-Zhn*OyFRb5aeSz>Uhd!6+@g#4S$BOI4cglhn zZ~5p_zVWPx{pIDs5oG$SX16|bN}fadI{&Z)5n{_MCniPscqHy)q=SAwHmujsCak2e zlh$E;u6}HA$)$79s^O&=(O2Kv?lK!|$An(1JygOB_2m>D&((f3MV&i^gFi`wai?YT3H;^Wy>IBQNEGj?mQX->;smvGX@m z=-;llp=Qq(gA2RV%a^=%nq*x2XRrReNe0$u`D2;jq~3d94HBFuA^Ouh+NlcnGGjgP zQ_>dATA^}N(l*cjD#mJ_$nU2FOT-MEX(7H9SyOr}2_ z*7^B;SaNefR?^pZ-fwbWT`X=cQfV-~BC|dCa(CUErQ?nxkr#CvgIWWXWux4(Gs;#z zdWfw#a?4JkjMTN~;dPlz$gw>k%qH(T;fbXEowr}NG9zCquS-}Y@wZg%jpEi2jQp=1 zPC~n%<~%#g%-m=qZ0myEddEAYaN*qGazQ1rs53pP!~%cw9Esz@8!wQJ1S6xxi?ItU z?Nkd1<)TBqSsnswb*>xuIo_4;Q9b!y)mhS}E6cz2kUf=fzBa9ZqL>C1R(~_M5qQ*j zC!#9t(DStG_d*ufGIBx`@cKudnf6*oeQIg)GaOxGxL)r5A;RFn#j`7Ke#3mJ+4XMO z<;vDYk3>JrtvmX^S>vg3#i7a8{>;E0`=pvDorjJ&E2auE(|#yx zT=gwI^7vBUi?bqA|Ilm?X$N~kTA~^?UaNifYQ|S~2WroY#|+B{8PK)ssqgd--z@)O z)%PK;t~w{<#g2&XN?*G#izVzVDxY^}JxPr}@q#p-D2hLK_gKdHuKx9*%{Cvy7LM+A z^`Cq6oN#15*19%3=BOY>O}^r`eFaVUEA~_V5qf2zn5@(qEtA@#c_NurGRBZa*2-f| z-ml}0gjG~W=UZE+zn6A*v588q8M3t7tWTlOrq&AEX1)IBMP9VnLpcX0i+AD|OmxHT zXN^&6SGlik@ru<=0xPk*%~2PrDN+GC8|!rfB&NE)jY};o5wFvDbOZB+_O<`u-Qt(e z+fTir2K*aQJF)DnjGf3N>QkwHq20-!7HU52kbN?CzxEvASjXco zCx&X|t(8w0k|yrQqOA8{UaOL?;5lpble?ItfN*m7ruT>EY{SLqeWBjP%?fR*u9_`- zA@<3u2_Yuo`nJu^E2AZMDZjk(1#e)2`w-Iap0Y(<_42d2q7w7;!*eC#8H3yWtRTG~ zKl;}eRyq_pQ8vqx4iUF8YwNvjKfT3F{zy6&yML{=v)&U%;e+;AU#sY@)ZmW~GUQUa zvn-N*R?Sh<*1m7OQCdMzXS;O)MvIyMtMy_le#K?c)uS(jJPFKX2wb}jd zS+(qmt)6F<|L81@;~;0H=i-5gBXY^PXG#|hoH&)7zH{;HZKm46MxD(S&5h=nC0=LN zg&Y<8eYU2y(ivOXPCx!3HF0IG!(+2Eaf=MdHs%`HQS<$6_QqlGR@8Ap4dsK8`i&CM zL)$#MXR*UMYIsAgWTi&SC!4#DB%v2ui&WqG;oh?Qq%(ewOOmJ=Z34iw>I2?>Uq^6f3JJal<6=&c4da z9~Q1kUVlEf$eFnMV4CWXTY}R+AF5lSHo1Di4S zqB6h7Hxv(sd4(_Czi{x7vqhSX&9#X99zASsMXsunZR#caM$O}bZ+9hi7LBQHbsgIS zF`6!PmG7}%vjwt>{hosBRd7h?F2Vk~%?t>8+!OUQDCqid*v1o2Qpn>_*!zE{l!@~6 zuSz#JgqnY7+z@we$J^mKZ!WGs^m^rjm>%&~A1!CqN}aTT9zC~+OWVu4k2Y3Sj4UO` zU(t4d`XyjpbX{~})vZfO`KPkgBf~liE^3-V0u2!st}VUF_nl%lJ=!oh=hdX*V0+}v z*P5ck)jR4(@UqscB_3L@+p)bn@;@aPB ztvN9sqI$ZZ>~M#}hfl(kQTfnu-MW5rLFV?h!%$J((Vo=N^O3_v^CR(A>V9QG)_0bE zk$yh)drWi4eDL$9AlrEDODZ9nyc< zC?w}ByQITTHf(U$BdZLV*5TIDa-Gw+2Pb!JdNAZ5`tW5V)V!{4tZ?}bwLJ;z5+xqA zT)TA9JH8;s13w^bk)RnWHy~}3C~>V=xzRkq^ULznFAY0(l`HIvFzlipldG|vZyj~q z^ZR#~J~`Q#eWc_4hl4RUh*q17@Kqr(gej(5T;o*Q^HBvW<@YBYb}b05KiPXNW082a zW$RqRqAMp~KKIQKKh<=zGXbCQTj2Vp-RfZFBAa-31uK&j5eqL{mQ5dafyp+7M#h7s z2Xa^h77Ju7yhcHCGUAXIXn5BhRDvcr6QjbD`{mPDe@HZNX$TA20ZSY_5l10nNK~38 zjtnY-MTfTFO(uv;!Pkl|1x<`EF|xo~RA^nBWaCZ&)^X?mmb=O|6R-Ag(ew*B~$GZhqabAP+7 zn%-|}PM6^vjfmpXp3A>;7Tvt@J+Te9>Zx$vLn9y2PHVMT`K7S}ndCD~vm?G#SSts{ zYmD9(>NWg!f#%hz92gh8w8tx^FIG^)itaRDCB(*xkqPz!P6eo(L;VG ze>f^wDK5gEr=M0kOz^p1r1)UFd{u&3K)i!_L&5ED@dcJCr?*SIiemX*gGzsoy?k28J3 z<8D~49k;)+V9N1CK+VBtO~bYMQqm4s9_b;q;J$&if z+`o;}8Ka~0dv7)TH+Mnym6A&1Dyepwof|bzWBkq)d>$21(LA^?`nSaQm|wOJ2j?9`$Ru@Z!T9RvLwNo7) zxDzYqRjR3^J&3^6S=V2@RMk?DvG|OI$N2*-Ba$*}a?aSR8$12HuXm(sr@ssyyCU|R z%uUfqRWaqxE12CvMj|bi?xv8S>)nP3@2A@payuftaBU0sRua9bB^v$u_6_7s21QaS zH}rd!Uol;$OA^bt(6Ylu@qEAfW#c!?gECHrxkV)JR=M`pMmM?d=DXKF5hTp**puD9Ugp6#NFjSkxWE3=H9n+#k;YD@3L4HR#`M!RCEzj&cuaJx?fU zEO$@(o1w!gJvGAaOe60sh3DSY#lwM7E59at_Pks>A@@1M-lsH1FI!gRt+wA8`=kix zlYx1O#fK?&4$ksT!lg-T9+h@aNSasKoa@^N1$3^}Z6ev3N2N;cU7D46v!(Q7TEVNY zXI&a2D=VX`9pz>2Jys!-2q0|?jP16M860vx`!>8*w~tFWhpu*rEzfQ@$AaO-S9|RvR)=@(aZT;byk^!Zy5?ObR+_H3?>SR!`OEKj_WMQur6pZ0 z4z0Q+)w4Nf_gkgVqFTx(%TTZS!O6vWk>I3k@Sxx7n|_CO7>B+7o!m0n+&OjPbX4?T zZasOAq{*$a;M4O0Pj|_wptzOT@zb2 z8O+{hZyI6H^F&XzAyLCoV*SCb58H3M%`^DRS1sA5x07J?`fjY14!*ABl+dS4+2r_) zj+2=u9M86TXx-2eh^wH_LM9;>-!B8(pby_GEyb|1J+sm@v+nS+0$5mklQ?W~&wE<| z61Y7KVr`IQ%@~Z9KDbMae1ZM|Qb=>xAb_pTMBf2zK>{xE>VUEp*oEbsJDAXY8J_+a z;-8PSj2Zhu@lT^#`b=LxPzKWxgsPSy9WElg0-9Qzy#m138iYjY!L2KhTGP{#KTX2~ zVUF2N6B9!RO~@c@XC^jy>Y{W^d>Mg&i^T7P#t=gNKgh7^B6+xBsuoOtcLrwV<^Vr` zFAt2Le=sO9_R~GQ-5Kiezw0u9M7D^4ywf@?xUfwjf|(%LcSUbXLt7_vA( zWnp88C>5rNU*WyO0rW!mXL@;Za0v?q@n-QRfZOCGb`o!tOTZ*| z!2KU>pqgbV8nG^zGMh=n=1?ZV<~=u)I57-_Lh8tHq6fJ9Yxuh`ynGoRemsow^7$tV zIv1LNPwr@|KYXHSvGoUjr+YB`8NTA2bVy)(d=*6G-uwR31h=Rp9`&FESdx>Fi9IU$ zbdjwdAUP^HTVM@0rl%ti8X&?lB32jX&i#%iZ08XhA;51#s6Keb=8_uL%CxaUNRoL1 z9;XS;B9KD@4l_W+=BLAh4cfn1ri*gH#s)QI#B@n$k%bMUF%vkx0qzV=rV)zMOtTW> zb0(nYWE!Tx$Mm!Yxxs-LzW|+*rr3|FdcK)|NKvGvEX2df~Ns{;^r16#1D%Tsy&2V5~^D^f2gNnX%8*V zVA-Al9{U)+OiyPG2QNs7PxOsa1O?2rZCg| zqVY(Ex+9h%P^xS}(Jsvr6fJTJ3b8qymekwV%gc#VP{0XC??Ma}&F;ag5ts%)+o%Tk z;ecRcV7Uu~Kb{^z!h$CmupqvcNAoi}NyK`mhgLG`!dUR2T(IFmdNo3yg%8@xIq_k0 zjEs{SVAKUFWWY}DznDgomGE*6Q{X`d@&~&hFv1+20`={j9b+bR2;h|qBAl6p8y!S& z9y)*wYCJ4BSX3c&teftqGk04~r^bTAkI6G@n2ATuTq_(d4WR~jgv8dZgGFZ#Qqwx) zHewe zgE(w?CN9}=>%ir6^9Z-k&m#)ce`$}448(pDhC~7zeIUMom(Gm-l@|-d?hq@2=f%^? zVnc&=d=@ll5rzizKd#~057C~6v#(cx_y2(APaHlk%W(Vr(4hL_hK6Ub=ECOBb2$Vm zNVY@TGQA9NpZE;m7dz2R#Vm05AHuhxVB`2QMYTH!XOy2#Fy?`5{6b5{q+Gt1LBA&`A}G zQ?xjP7JXq(!2|~3lEbDE3W>x)Npp705f7vY4L-)EG2%94ZUB&2CJ03NP{>q3hs$?R zU|IOuX~K0sFAQiLOVMG5=2GqnQa!FO5F}S~S^)%E8v($+eXRu#qV7-5qnBISuy_{2{ znYe|+)gUBZjTh$`-7^J6?mw*>7J^5gz!hl{aUhtE$H;-e(Eou82P~)p5q(Z`!PY0@ zM^I-CBI~&Q5vS2J{r-T28oE2ib|z@h;5%NH;pX`@iE8e@kU;|TRzVb)9)AbT%jFB}d!*Rxrivvc-Z=+-a zh}|S(;l(O9vom_)X(xjWJ@6I^XV-kH zm&86g=4Et7FFcJJhxQ<3SB%p=%uEP`sFH|SzU2ZUEuZ?PAwkqPO_;4dR9}X42yCD7 zZD#Ux)c;>JxK6)0jTxrL&m^L#9UOC%8D~{9!T};|L2xn&r1s>t5F!q~1Zz7a4PtP) z)sBkHQagTnM_5dZN={54S}91S6gLd55)_~nk9<@T5Tqg(YB9qWa_}^tWkNdw{6SY{ z_<c`K)nP@5hNY2#pN9WnJjKP3{~>{_p@1mYZ)7~kY0CQ>kphAYcqn=y~_I=c8-!v89;*khX!3ka23w;%zk$2FuztCS z5WtF>mq7xK#>Wh3jmoV92n+5+gVe4(4U%wp8h1s23V5TFzaEv$ivkG`C#&UVkc6iZ z_`U@Z>J;Dtxg-H=Son~H>o+o(An<-nCV^0V-g*=Qe5AznErr030@!-M|3MJ?W3p5% zjjur}iG<@NLZ!mD0l0~PcSy0kXwkqkro5`7;V4)hK_Dy*2XgxIHi)CayDMCh06F;7 zM8o6Zts{jUF`c z@GqZAC?q}y0&+=X`Iv^&RP!Q8p%M7%QNjKrsAmpDf#LV}r8C_bzU&=NbLIgChDw8n vXEQG^Fi8Mr!x{v)c{+JvU`#;~jPic|bYK7dz6>WZ8Wr>%F;!K)9s2(dN!nDl delta 45957 zcmagEWl-K=*RG9IycCMNyWhCGQ{0NXyGx)HcW&IR#ogVCySuwn+}VAeZ|@)9o_A&^ zYfW;VS!#}~i9;Umq@igMIpIbwH7$EqTJy!f2x%0&K=rV)qc`AH71^ix5Us>_nyX_wt3dJhEbZag zpO{DImk(_ZXj$RzlVjOwJcoRTV`CQsUp_-f|BwR$gQo@*U?o4Kr zDlfYWAPRAXZ@Rph(-So?uXP|QkgBjzqt2J^UQW?S%husYvR9@BSVPh<131QlnoT?} z0}kyDM^i7MrG+?`HrFkNSJDs+NBd3#MHpyO5h#qaM-EXg(%YLKoGMXnQlPZpL#2G$ zE^C0b2E5$khoynOwpM1M*^bf_h{nyB>lx{X%J&^9zz6x}5xt5KKP#2sIpd%Tf{(M{ z)nQ=ZWsnLVV21L|`@Am|xKCtE1Wgq1@Ruu3y=9vH1reFW>ZgUUsmL$fsqvVPvf$mU-@J`GF8aOudr|%}?cFv)8X-XsQ5Hy2 ziB_Wq$>9H5pP8RwoY9*RnDLu|o~cg*A(>b3EN5CPa#^Hnrn`(KEE`X-uZ|PBlz0_9 zjUG6pU$SmG_^-VdKB>#)n@D6Y~1us~XcU5;9@7ifM+Ui!0+tXLu)dt&kG(xUc zpL?$wt*+k_-pidiw1w!YW`Eseoh(lu&Y?|3m`I#Z8=D&|&#}r{=Bcwez-LFBtv49xd+G>GR78*wS>$C&EJDz8HSU;N4AH#ksA}%-fFw+NHQ4I zey=hfCs|0a1>c~b#zownFOV;UR>W$@YUeZx+W2jAl*_4?zu1YIoD3|xScugbWOeM1 zD}FtFLAS}(n(X5F*nOftB+mKReigexn;=fh$<{o$%4bq)CbuAFw2oT2iz z5*+e2a_bN>#-PMVN>voBC?C^!lshGIBN8x$&ep7KJ8BXB2=e&+(*7p!QvP;$Z*eYE zCuGvq=RfpJ50p^~ke-LspC+t0RZ@N~`Y@ni;q@lFLYPBfVU2l;;>-tWZ#kZ$JHBI! zAn{5=2vF>-WJJ-M(-n&F;*dbI^?afyLDCTAti$pG3G$KB}(1azkkLx;f(52LVBR+f0v~ zYbcw6m%R^L`pszXghT-^B7s((pF7dedioqO{UKs|3a+^MN%>)Sr{LdMDEOhV`v_U! zu&py40ra!ESBOqTE}M%GgmLn8DI<7!tID~x!j|~;3NMI|?Z`8YW_Y5&(Ohgv4v&QK z^iYmaL+mqbe@KBV%4R5g3b+JPg0KEG{IsuHp5Hy8{EMGHWmDMvTm->wYxdHwD6EY4 z&Q@za#$RDL3>{?`Xj3{fRwJl4(oRz@&z0KbZrj%T_uMs7|s-Sh4-ax4Y3DG zhG*foV`BxPCZJ!W&1pe=mYCSss92}6p2SE?nMi+pl7Ok_=aI9MtF6~jh^g{BPL{w1 zI8B5r41#Y{F05exNtr+=-U6`?m3Q_{Q&Y1MYNE1IYjcTbSB1klnrsXHs7M3ddh%F} zqhW&lD6b(8kFpNbPGyuL?^h*y;v?#2AFN9QUBu7mxDclXe7pEPQ0ynhIj3yx(1LxN+Q$LsZ(H?sW*o+po39oq7(UAkBWvkoJgq# z<0ghMq2qFuE3S*FkzrQe)@?C(vMV+2k>`K`VW+^3frLAl(3afbzAPCz;ZRg*Ug)@#3g`V zHJW+V2b}0q{}$P*F zQdi<(!s}9#ZcVGOQNej$6%&Vo_K>f1^jfQIiz#ocX|4umidqaF13(vGKc%;$amEx| zvsS@9;rtc83!Cy9U1+FYmdGj#PcF*sttaSo&&}B*R&+0&995JJd8x-5IYa)I@3lx@ zJ*@5{S1P&iI%p}v<+yZDxk?T(wgSDV@TaAtTF&ef3B8lbeNcI{?y|aS&;-Lm{$gpb zvzYX@&9s;p2SWh{6rhWL0{&Xr*oLN;U2#4kDJU+6-rrhdkmSGC)N3#AiP{b@9(tV#z7y zAKo%O2oCW>0}eyT8_^U7ui||a?#)CGuium)lJ>}cyV1x<#T3CZd0O{0^gHNGz;SI> zAOdC3e|(dcS?rQ3#I--hw?%Gv5Ip&-+&x>p%B_+dLeLa1o-|SWl2>#t0cEI|vY)B{ zm_O`Z`A~#F5LiY$|9=Xa zPD%ps$R#uG>OE-CleaMQaNU%cI6F;lJ?5sAg!<$thm6l0cdKvc))Y ztH#I*Cds4boX_MHo`@Y|lOp#}Ct(+E%(8BeguY0M-86D7vN!(HnDrdMF1~`hE;V_> z1#k$zc-y{H_+)1E>($n+7!8|iF-1a*CPD*)&VJ1=<}Wz;f+J)U!D=h#$AZu~XZ3i_ zxF)|vz|=R5JBE~}N{o%eSkdD|Lr8E@61bvpH~#iwRwR^^`Jdw3R8?MW@SIhnR_}S! z*i>e;%u-YZOD&V#qAIoaxU;wdr-v1i#>}EQb4oaDa+byS1o}=cglyg^9(XS$U)TXh zhxhKj-{0YgQIoi64;m+|*#*1F7@*IvP%apnu^6|x{ep#YLL4BomA2{YGLFovS5WX` zK96g(vu@)Wof?DcBW$7&Wlc#b@gJLQ(t80|;qnqA~ z{wJm|?N7hfSKl-@hR+Vklp2W|ohM$<)&K(Kdn@%sZ2M<2sXL`r-;`4`oMMpc>j*T9CPcVmORRkNny7D+MdTEW1>+?cszH^o1!I5cdC zxNrrAH9nv6?S>f0C5|CYz7zm8!{#Epq&>2tSs2XlUM|YjG|+^a-+~!MCFxxHCd?IW zr$~8G$QC)T?5bXS>G6G^zUzd%TRQx?wa$s5kXKWW-3?D~64(I{O?wslRK%qchh7Ctoov+H-QkzLKO2&0@cfT%D{GFGYo6{GvG0LCG1nQ@fa zL%j%HxY=35{1?S3Xp7W7dcx|LAucQ;(!lZYMo5f|Z;Lqik9i@U?-;Xvv*NurO0v`l zSzz>KZpPQAnHk>=W7j%BVc~#&fhykg#4DN*{yx%5>SBkx{#Jg{I5jv|@aZfIsgY=Z z^h&XEhX03nnKktczF|IMa!CrgZy^~f9&?U)%KKlCVVY`r}scFOSiIkv4qRk ziz~fRyD^K1r`nbC*mvjh&`--|z4IQQ51;j@bJP_upm&zX6e0vCmv}!=scSX2!6C*p zWlXdaDbqDL)->Cn`tEXHpsBacxkzo1s>@H#r+$dV#&Xcz++1JVx@&_^>a7#P7@i`b z)y1%oOE=AQrrU~fEIE3l#=9>Tv-AbnNj$OgUdV1by2pm|-<C(gh7E^k%`#^~L=^4WemAAtni&|`3w6pX!+w|xSDL#=G2JXX2Ck&{wtK`Q(F znQ+0FMPJABg4B^a$*d!SLketVqVak|MzYtQca|u{AC?%UO1&3dM8hxd`(AkOtN3SF z8(mKN7sI#dD>fQ>UTb59{6@qu#QW1vTp3Ra`-=E_PIkn}iiK~WCKd%~0xu~&-Mk${ zqQ5bUd?Qr?OzA5$%KGC{esE*B1WXKKiIB&UMOPP_FoBJxQc<9SIWaZ`aauTYoGPYA zuBer19gkvOSUXD_I`yJrP_6)G}?4JUVjC5M2NhFY{@MHyM9Nc+Vp zMeA=}r!0Z7&49@?$#hHsI4{9Zc#1(b@sb6V6f$1{9lQ%1cr}BAdQStwBnh-<`R&S+ zKe?MB-J{OlcIiy(;YetDCD^@C7GldPA`zpXo;6tZW62EAa3>eHUiA18*F zytuYzUlaCZv@EPllP~%=cw5-iZp0-S*P0h~q;3{}HUb!%K7ajwu1`fto|*;pzv2J( zep7b?Y$Df_DGozM`QX_R_l{=yO(-JSYcF@|_{jzNd~$gkw0q-A8`z;}7ulmi`gx{) zUL`_xvdv!OFz^aU#>VvZh+~EY*sxgY3YYbZ%v+`=!+bx-pm((F$NDT$5atN`;jf1h zQHN*lMJ@+wD|M;Upg3C5$yk7o5Ma{PzbO3*WYlv0`gIhAAi11b?2%xMq6nhpKCZ@U zGgKqQA!SsQg0b_I!H8D#`QjZ{6~=CyTwwoIyxeZC4N3$pVpbplJqWi4JM|v=D`jYV z(q&>=)Lv~i{K8i(;<&ebLB3zwz;NBe1&!fM!>T=%LSW#KnM3Ewx+E3-Xl*SsGN=1@ zVA^rQ~ePu0zdl?^nBsUnYszrWy&z5JHFk!9w z@ZMk^t}EW<7iiob?clr4)}!~R+u?lN*NX!@7vg~=;GKfKe{ow?4SsJME^>FSSvkcW z#>R?1)nc?lLAB|J#WQwgW22#d+y#^j;561}8X4VwaQ;=o%yQ8$e@RtsDi2#Gs6sfZ zeO67gF|VVv{BMDuh*3|H_=li#ZXf+hU6#zXxX|tm$bred$w4QK^59FF45XoQ#a7Q*xrygmN-}13)uhExva1G4u+5o; z)8oQ5(ZzpZxkHiM<%mq0JuWX=1Lc%DSnl_`USlk~+@EZirQW;Y$eZ-OJ{_$%biED^ zT^us=$&(Qad_2Dk>@n8^Hh;$4j6cf$W(k|Qr6qsz+#S85h}_E8L>1qH{UMh_B8-&f zt<0Ehpt-k}PRuE}$P%Lp+tL+6$sqGwoabe8;@ojuns=C=xKYQh?m%Ndui^_d zlocj<@syMdM}e+K*$)EcczyE)Mdf;O+C zk!-pd7SGM>^<|3HP2LLz+_!~+(#5Lg{aWOmIfMdD7({oUQYPD_wdLm7Ha~;($DfO> ztE!vx)h-`N7cob^cc>otZNwcV)hl*=0uDctA!9a73R)k5F`_%Of3KB7EkDE`e&7={ zz?GplDW05EpmP+*X4xaweUi{#uiM3%%AHUfTFF0RrawgPKUap|d9o8i5ErDg>2F@Y zSTiK~{uZ*qG|;78)aLi|z$;-!``2?!{{_80#i{h2s3l&+pP0a*4gpG$8@lU$Kb!tv zD)o^Y8ECnB06u9GFaBTibgg+K%kCZVg>S0gwK6)gl?w5@k8XaXHf;@X8d^Aw*5uYe zdbCp|g!jv77(P;A^rZTGr(%B22$4U2`k8c0o4@2=jN#B-S?bFmJe>S@IZ4FX>IzfD3m!4n9a@84%$LDz(Qp+LbD)aqZ%F+bW=C~%nUakkA7i{D zerY}|q_URs_4ru5Zr0P9sEo?s>GSPS&I1k>A;;{4w2Jo}_8mHX6UN`-qE2beiKW~f z4y8E-Cpxv{lqp@jI(4k878+}Tm4st>szQ+e-f>;(J_lF zCQvIke3VM*QjM?K%Epwlz6kUI*X>$p)5&?y>(uD`Jg80L?^6eS_SgPVyv)GPp10qI z8l8$SWHMx5Y8Jlxq)af3*;6hTIT#;g>2CohRSuB=Ng>&GZSSzF;jcjL7lz##jigp%+gFBNG4zAxo9WN^c9UQ4yv+> zL^sZjQAZ+1H+`f&y42!dsVLnMpwmmr_;R4>2Dp9YUQ!?WXjK{AZGX z)w4pf5;^RC$8}$5Rc2pCG1xx?a$WD`e-?~d@l;b+hpT#SL7?$Z27hi-e}A4`1W|KP z|KS9^>8zqF{l)yB;#TQ*n&)#)y6_vm=()xLS6r!JpRplId63ASKWTP^z@m-}9rk-= zT=|b+hgHfrdE?FAms?Enzr zExXjr@z2c)3G#5vFyEaet-ytbgboZ8O2*D{^75a}*b$r($Ky##QT-Ai_j}u&Ie7o8 zhcR;$z!8ulRTLuWE{(GL_BQi-I&iq;;;+ALWfNeU4;V+=>*?0*X)OxP2yF;3G@Kvf z5}oKZr!y;{D4-hSlY=kbBYpn;Mgu}6r3x?N1+7e=HFQo~MK%h`2rn-UF7I@zL6XAkaSUZ$A{~xtrXC9B*`~0mdvp)53-dH`mW= zIXFRPjHo07OY%LAw&h6fQ7Are)E+2h4JJP@I(EfOz!=%#c}D6u_`&8lKhT$;v4aY) z1*Xt;SxS=cO|;R@`c3dd9)ZuuyB5e`nCLBKIjI_3obS0o(OMg^ZWNZ?Gw8M=y&6(; z%&A0D{&n6Puoy$Jy%0q3#tl+NvgdZ8Ivxc3mR%WYB{J;`70D6}r|K`M-McV~{Jfdo zE7jkj;GN$}2X<+M%1;{M-H0_#Gqt&h(goKtPH9U6 zvGSriZEy1zqPYr<`8NEjhcZTnyXJ4P*@M#;{tfFQ3~7HF7lk2z!&bmynei{(LlBiD zftNy2StCy9w&i|^$_o;N!*+V&UK$L*C;#m+^BrdEbd7)5u?T-4Gr)XtzEOI}z;m;G znXtA(U-=ex2&zfXIRN~S&c%O4I!66?eDdXGn7{ZoN{ux*7mMflS2fBP*Plu~v#sWr zOd^ijsZyzlGy46W2>-Q-U)K1HQf#zRm-ln3Qps?EtkgN)yEu@IlkjnuKAq}Rfb}6g zCS8rClV{KRWi5vsb)s@tcr3PH1@q6dZp0}R17V*^tPYS;x(tYJ7Bz7P-VLamQpZ0O zlk>Ni?-&2Bew2W_8Frjl*8gMGG=PI87>S%ii~e@%KWJqJTT^#gM^_LZAS-r;4M|ek z`5Xz6`%VT?-1P}!sw8>V04D5zoRpr6!d^EY5r??ngh<_QU>`Rsj%i-Y^*UVA94fN`!M%E*=&Fvb4~Rs%lC2aGZAhAb33 zCJ@^{B%&^q6ATGv;#LC3bF;*+$A1MOq&(C7WtO#K;(!G7c0Wj#Q%qp_V zn99m~WOq8F5|s@bu+uxbHWlhN^EMSt4fP1pXML+HgTErGpMc3RDwscl?>Rm~44ilL?hp$A39{z_OUqoq0DI$P1anBjI{v_=dIq2^Yl*Ev&$yLYtP50SH1frJY zq%|)o23+M73kY23UmoPzCoc?|jK`TTmr>@}f<7O=MqK2%d4`diVr7Td8ymU+6M?$^ zAr`@L%j_EWZVxLKYk&Z$n}nx9^A}j{0x!1gWe+R*MP!4Il~8nd{!Inx0bKw(XtWJ@ z3sUBasl!)__Emt(YWhlb<^6Dw+$^7If-72v>WSD zxjNNk-~68Pg>Om^#aA4AMBS3CWg{Q^z{;tEPQMN19`khvwK`K7}{ zOouIg73Pl{EO~8qjpmCXG~}@N5x6N=wdL!!Um(}@3e7iy0%?6;u#AoxKZ#BnO zgi_Rr-v5_qiH3C&?8w&dK&!Y3p)pWsJEr>xj}~caVZx zS(U2!$Akz$JNZB!?;3y_yDK@U5FTbqWOrCMft^*wZQ#*)NZ^6{ zok}x-emUvHxvloQW^3#BQN6cHkwt+@zsk_>A195i7R{<_^lQ3nn@%4id|QOK_9Gmo zBWdiYdUxMO#7@Ng3hJclq^bz@*u5W)FbXE4J3-Hf(@Ii8_yvGTjmgQ;>rY31{$9p`%MToRo65p1iooq|FkR|gI#Q+3 zno$v12O(n)1w?sExsV3A6+FZUBH^}I4F^Oan6MAbfN&FI#));g-RHFym&Q%t6&rH! z1nz36f}}vWpQ(bvRWUZxJe_uy!>Orb6!jquIZ2}0LSiVnv!28uRTGdPSbKeMB)~?BJ7mg6?`}?EPz=z*!$6w;uF247P$FAru zf%k()v_XL7{rS;mcM~7*e{K0&G?;@YB>4XLD6s1@aEZ4G@;`lK+~phS;??K4AZEsy z#GfRb#GNFXBzTDS8L)`8h$@O*9khtX9}J$&0kYrMk2ka5=Z|x;-j9!)lz^MtzM?Lt z=l9tcrA?pb>{$Z=zu9BPA}K`&!HyHx!()k}G9~QHnAfdW_(Q?R$DkTCMc=DBH2b%$ zWHdM-Eyt6!5^TkFw`(+NrECI$r#i5Zz|$`HGTZlXZx+$w2 z*xp+KLsM4?w49ip51)YhsgVXYh+ejrY)o_qLk64&^8FhxEgs%&CtrR)L<_x@AGTa5 zwSBDlF_@T3stiO${fT-+mXkDnZn+gI{1ANGy^Wm#vff3WCuf0#cZXw#UtO8+>$fR0 zU0{C_zoJvdMdLBfCeVO$j#+M*B0f+%l#wIeNtSwnr~%|*OI=|+RB2xx*Z3CMsT zhMs`9fbxZU#O&4>ofLH>-r^_irP_m!0}!fV<3256{V;`i#_U8&h4qBJg6;;4A)dcX z{SLTWgUIQ-`f_zX)KwG|(1~1Z@(8+m8)7Bu%Lx!tl$LEr?NuGJfmnn9@OT~*YM~yx z$c1u)u3Yxej!0gio@RMJ75psxk;J)xYT0Nc(D*AiR)`#a(#|C?NKjY6kaWQo-uY_H z{p%I-9wBeoR*PLYsxi}bncHWe2f!aNYeV-GbiSH%M}ABi%7F-=-WeYfDLW_JdLa8? z-SXS|h?$q``2zV0+PiAQaVFS&Y}{%zxsc z5O|jjoEZKbQ;$TIoXQmqv4(OSl2?ElgF#JKJIX{%!#gC`bY=OWIA0lrej~3i+w%#x zj0wWi@(+P3yBmw>fi)xm;mg4!>K}|cz_}OqD}u-Tr(*F|cm$78JM0rFVblYOPV*^b0E@s&v3DqlYYx%L`9(+}NYr=Zus=iy1nu=f@a~-1)bZFShT;M~X{ZA^ zWH|*v=)9&mWkKlgO@zF*@Muv}v_7Gzl4Gzw*bpuQVJ(KCv39^Ev_ImLb$3Iz61f4A zA@3FGH8V7eRCJdJ>dF~T8#=FbDC!b!2Oy5R-U#4x+lIWE5k^_Wi(#J^+x$H5R-5Vm zB;eXT?9M_MK*Ve88n@&#Gy(}5UronDf(^e%mX{6fGPwgTjp9P|^7fa{n<#DO3# z2--J!%Z6`bS_J4dRdP8ZS&j?3uP5xDR>B*|gj-MPrlvmoiP5P1W8H-amLHDb1)chY zTODD7j&r+x4Gs zr#NSqIJQ{`H|EG3(KW0l4t&X|-P~qNBQ>^!rbpvi@u+N`tQv?k@Tl)mMjNp`2gAxk zM!N&m_al}b$nChga0It8frlpR-A0ZB)l|_vA;Z<-CR4jLRgiM?eueBm@o}>WXtn2puNh)7>)|E}#&O zi5nc+-NW(vK|sApH5pelT(`&Llxa)SQ5akP1(2zvHlRKoYS7}VA}_0PUX#Da?@|hh zDvBbG`)UgQt2t#o}FeF-E$UQ>3038<9fD@=K`ZC;t|K-nxrq&7p*J5pChUGj}! zpOU13NFj89E*n!RTnHNw$xeI^ZfM(PnkoG`vq{22Jicm35Fe_7H! zKFgG=C1_2?p8DalmZ>urk8r2t1v#*1e{ey4+VZyMw+879{h+kA2sG<5#alsqN49+M z7CZmL)2Hvh`iD5^#FbyTUDiSP_{0N7+Qr8plv!9g7e?O_^;6|U0E>rA+sQYuM;P5D<#2NGq3Mz~Qh zGX0tC#mUi;H0oz1DL|^&!F9q5T2jhQ80Iq^2(rdp*{54;mj@B0;rCa~!qt`CxV}?{4c|am1`Y)*0Owg$(1x{%*Di$| z(gL}H^8FUhG9@2I9)wbk^;ybIO4wY9(KF%i9uiK+h*RKgHL&V@`z5USSjF9)Ht>^F zLmzfryHr?hY00Y6ssahQ4v(J%%8UfM78bjiMF+fjs<$__(y!i4ZS#) z`mb>=(c|}PHpnHD2fbpY8Jav}Q?=~x;E=PsYA!u*?fSV8jxzSc|0Vkr*C_a3TI4$< zQx`ZSPl|3bD2e<_iA{zkuW4P=6cuPDch-gNO(5SrR3$`8ilov(qqa0(w;#XS3#xIs zGvGx1b3<#ltdvK**m6tr+f1+NeVSjyFAmb&3Dl`a+i1i=*9d0+qyu%tsV3&F+XRTJ zCV0Ip+w?q&?Nm-D8+rl>sToUt$^C0OGn}3|h+MdJiOzu4j5MtSq(XxO#-CjTAhvFy z1Yk>zEy-);`%dPK$3^C0>fzA^!Z)eAX;<0ZiX%hL-wIH-s2}xBkSE8hX~*9ZYqKo- zUA8L{N;)*5;OZp>WOE}GVoD{>WB*3vQV0#S{Y)dApZ{iF0;f}^?mp)Riwv5YV&Y_U z3+i5Uz2k)vRq$X|%dR?Bgxl!UE}zhG_VxsCbMPwd9Xxs*QD2rVAnJ0$r+wp7!^cM~_{M#rzZ?b`g{~LQQcBV`qOYzj^TUX48tlVUOy&R} z(oHd0*MUk2R@R62QC*1l5}&3LpHOqUx!qZdv@vK@WNnRFyo0!hcWyF;`yS^vjGdSw z+Ez0E#SxnM297Om-wV1Rs>G(dhmDxC}DXUEksU1+x6M`vkwO@#n7niysOLY(}SPEO721OEGjvK;Y zI?hrU4(f{&O-068>oVv&eDjkXmo^(H9E03tRp^#71xj4@K=|39$-gs0{W|Jd5CFCWxSxyLmYn;I)dVX!!SbjKaCLGDe)qR%#SxWyb|9_UIA&H7X zfRasTwzgT$#e+&_gg9VBtuywtj-<2v zYRu6mB-o9CM@xo2E|QyEB*qN8ny?^tnR$BQo}IbL`NZ0zp~(LdV|2MZUtTq_#Wvx< zjqI@UJ-7pz{}d4^`bx`q=M^EGf-@vS5<6ws?R^_IgXa-$91P5l$2J~>WeV>eNriGt zT}?ebOn#7g0ujv#^6i`}qbs*CZQR3GEGryFHj>HJa8}3`e}3blU_GnCDn7qOao{1R**X1BL$<0&wFBzRj$9hzCD(5%j`+B_8%A`kR%T{*AC`n ze0J#PMxwJ6=>%5yCzySk+KnErn?vSr_^kTng5+K~;IIg_?-Od}8{MBB0iQy@!2J(jr+l zrxSRBPc4|Q5Qc*<^Ie_8#*Z{TBJXQ5_rw|P81tAybp&u9os^}no<-zd_J>PJK6BS> z8|I#_u54{M5qpPryM>MHN|c#Xz?WI7Vb(yF+)BbX{U0Ru`P@kd;|oT)WJ;gC>;8*~ zooy$2G2eI&KJ$Q!LXueRYe?0dy3ER4<~Fg+my&;&ST-RoXox3)M4G4eTSGWsb@)Ml zbJOCeb`jv}ryE_vLG~p>qPDdCSZ#|j5phL}g=wYF-3V$M+k{~as@Ez0yM&~-UI-y{ zZ2)`JlQKto#9wRsye<~>ACAQXuf4K5M-zkJ`aNw#`7z@9E?WPd!`u7S8SB4gyd2>H z{qi2|Te=#AuY;jg8x5B%gvF6+%fTLX%0^7Em$tRcHhkUneQ+9=Fggxcv$s2f4Uh_x-cBR{_OY&0ddT$s>n}pucu_0 z=sWw>M(j9`!9Nd89uc*++U2Xn6l7vz#OoWPl4U-(3Lx6VPG8UsRc&26V}Radv%cYixH?>;R%_pis%#04%v+IowT48*SlX6|H`4qHu0dg$; zGSm5SDqgzSNk6SmcQy4o63;UtNvqa#(*^;>#`;oA&IoZGxE~V5sML<_QzkG;a3gdM2AsuZ()!nF@g$0Ww4m-{if6$xgcmJkeL>$nf7R%2o%z5L-UlCb~HkE;fg>VPuh zZ%yW5x5E*tjzxj}Dbq50AGTTIzMUL=lg!M@UgB2mh?dU#YV(n`$mjeGl#TKMGrUOKqh?|y5m$q1hWTso}M?MV$j1{Y>gg4%VChLh7n%T2?J;mPsGe-0j7gtqTk*A2I zvA#WNlg;W$#p;3m39%QKPDf4M#dZ|15FM)jHhVMLnUQodxnE9YBd_8-R%_?F3jJ{4 zsNnp=wTy@9vD$m5Tkf!uw&AHXI4xd-N5>N(3cK26-M+Y=WOTR|HV}9GT%D5!7oF9f z(}V-Wo+7s03=1_+rR1z0aW96z-*GKEZgt65TArAQWnnhq{%b5Ec0bKk;&&oIce&LM zBN*}f8aoYAX#7r1P~)5HfS6@{iw$S~6c*=v9(OPa8bTzaVo75gf+V-_4)5cY6$l$7#I{G; zu8RvD%#OOjTchJ17N2kj?JG9f)Cw{-YSB9l3)SMB%|x2oqA`dOigNi%Y_X(z_kMS8 zu(gdEVciI@G_1%%oo{;qwNt{&N{`+8UE{%r7_nD zkP~ohC`lG`GKQQk;SEp)YmNF{EFPu`J#`cL%*?K?OguJ)$E(hW2&?l1f*{4k#fOm4DWaJUkAssaT1J53recMyE$K*R z4(DZNzETxhTH1-x@#}H-A|BfkS{a1DtkdShBmr_?<5O8;v=~xL<{rHuO$6Xwx|yV? z;BC-e2A0%QBj-nfbefg*Gy=^R-+8z+$+HdqTHS=ya>`>vW^85dRcVYb;4GPbT@9v+ z8v($C^(Q{*x1daVgqq0aj-HL<({qkIxgEFI;c>fu9>$(^9ywF5yY}Dy+V>WGVy%Xj z!AyGzE$Z`R#hF>%RwKejQzcVD{W!dVU!%y8BrJdY#tfkX#sYDmU3(9eRd*Pb&4;C( zjb=oA?CIv`NWmUUGUcEcTnR}(sylYfMzVv3uO(dG3k z91DAuvPBpRfN{Us`v|o==yN4h@Q&pqUT`C7{iEJTRBRek$r}zga?=adYu2L_h<(^VC^r3V zf0_9+nB*|^=M1`ExhUqq3DtTmUvXdthi(ZBopo*&Fs6TlM0L)m-M#lkhUHp25AiC4 z#$v0bf7ZZ5t>5VnCp~M=7rU5%zaB1%LvnATc)5MQTu18id9dXt*`pZ;K`O6bbssi% z9ceV~v_G)pT$rXfEEcg?4~|4cB0H$9>Yt2KZia?_1fZD?SJ%!d!uBRn+Ms2=Pvvzr z)|`J@18Ag8thL#V%_EVjv7{nMR%KEj#@rM&C{ijGl__Yv=q*i9(By#MV^E{J6#A~+lOobPxGHoM47sV^x;v`=5!MKF3gE7u<-7wM1~FkPEEayRjMJ^@}%7JR>3P5IS~OKiAp` zi$padL2#u~AB2+sHWX0Y$Kf-~J7cPR1A0=9emu7}(25RhwHjWP_(9&}tuTocO5onz zW--lM^z9SLpSf6}1y;ipAEDEw0%(x}%X*5kp? zL&-judMl|@nFH#V_Z=ec)nAEn$(dJI)*lJv6;&0X)BW>>#10llGO11v6@&UH7}y=_ zJiulHb!(8ej0B?a)JY4ZXk=-W6^tYrhs)I!{bG$(lh6FU)ygHCJI^#tgLi(>8)x6W zZqC=NMSt!#^}D6*V#8m-!RI4cPY5mB|M9tY=})TVJQihmCk2rI`iJh(jCkc$WXA1e z)kps@IfhVxkYF@A->Jqr!3Xp)3Y_q8DoVRbjK?@E6Rok@j4W=|kzA_nl%*?d*%@0$W0TD?~-zOR?|CJ&~kL#Vw^`u4-8I0n2jBXNg>g7TrP`70{>u=H5KvlWGq#L zd8!LO%~w}R*dRjb;IqG&Vo->GkDJansTG&AzX9yOU=tOtHLOb^Hg?~q88JN;-bKHG ziymF01_rfCxpaAs+S11;RxH9R5({6f({6%C%hI>}-OJ)L%Vqm;L?Ni^`MF+cEKHTC za7h2{wbcmOumJI3lx7U3Ra~?daQ*SZJH|=C@6ZiFpF{TeRw%-;s-2R#rO_+KRjBQA z_X4ak(yoi}>K*~iC4VbytXeGX7l*Q`w^nmgWcb@`u7h%Z(zx}I@YS0lzy7PF1u&(4 zUO9+wg8wpuq6v)}<*yj{YC3-|s?r+9a12lJN8J4;TtK@9KIye0iMO28vEc%#q<^Q! zkV%`dVVU>*fUP_66t7+CAh3C8=;)xY!5-i>2f+8^0eI%EBJn)%b}0>No!y>=9c^5# z#DiLi_uErO_1S{$MZYXbP{ueMAnfz zXDl9`a#PyoxhHh_o7Aj1}}3a{-{B^P^as zkYV!1QzZjSI~|H>6j`^%h?xhf4t7~qx*#$pZg=y`o<7K2vYkOCMaz@M=bdlkT+h1GUlvzXfE%5;WWQ#oQ)ny^-UC|mlvT&BG@*FCug#?l%FCc2U8H1@e~CpY>XEFz|0xJmYjD0I}@0n<1ZP6euQz3o5w zrMuDH18PvhyV_~=fa;XpaUvOoSui<6do!lY(4~j9M7~90L!DBx_No^{{Io+%Ib}+_ z)vxws2Ad6%u`Eq9rsUmcVdXralbf3%%_u|Rv*%RlP)VWW3fh}mG6T7)^Y!bdD7vdt zdIeqbcL8n^eV6L*5ymR5#%@B>R!dw z_-WGAEvT%HHX9JV>w(eund87{QT22F1r}@-g&_q1uUTH@gkgqjl3MW9IhB~VPZlrV zFiPBSZoa&szn*wvHkNtoq{rb0`Z9Un_r`Mv<*=QU9HVi>>5ac*w8n;CbpKFXaxXVB zuA;QR7U8Y&0T*9CIaTTPQfj$BXEWL3OvKN3XJR&*oFC)Zk6$OJ%aT>`lWCYbG~_kE zdKk&FxRP=|Pw#T8jdg}xAq()zIoC~2C-Fzv$IqPi~4bR~yoG-HSp}fak~}i+JfKm(pF)R6m(dhq@fdYYV>8-z;xw@b??N zjW}eamR?Op$e4rcKKk}HM;$Mlsp?YfpWYe9nB$~ipNoc`^^GVCKjGZr+juQw+hZ^n z{{sqs6EJL9f$G?#y|i`xCwnOaWXA^{`nKWtM@?XU+5JqwU*+%+ z`cd_2dC}vs;OYbVT}BAg>Xm^!S|xs*Hs(;O9#Q@-(Gw@2hkSieyoI4II6N&mU9@EG zz_gw4=_zt})!x@-cL&L$h=b+n9Zlc)2bFpGlw6;(hRC)1zzrdSo2;TX*S!jn ziJ^03cokHd{32WM3oxoe)8-7b<|dGEccd^{TXmd$d_&>2pViFLr;1p#?jZ3 zfX}1ppWtryQoAf7){f{QK_#Xu#WsUuZI0FBppl!KMK<8$j0*gAS0%%+=!Sndtut}W z%H!$KDoFnX?(MAswIv(`V!ULxZ|m&Q;HBjLO#glCj2jT(r+L{irH4a1un zD$-miY~_{}ZC7_TJnn1@O}0wVPtHH}pd+{}KTqpKOzKr8^O=KU<&xO za$s(wS}|f(5+&7DV*a~Hlt%}jm1`;Dx@IOAIX2T@ekci;EyIQpIqLX zz&Nn}ZVbnNAav=1`i(its?yPcq8j#=$6XYOZN&53a2zlBUEwdY$Kj}`vrfDOwEk_Q ztZ4Lgai%O8lN_UjGK6XeUoPCjt3+wo_D_dTUlp5=U~LdqQw&zFi&idBnP<~dGhLO} z$8fEKCmuJtH4kAjUToBuamP&XqpY4!F~O>TTG5(<+< zENwF|QyFKblnY-+wbz8m3cW=x2Yndv#%PwFp8kal6O$$ZP0Jq@Z~I(6;^bt_%Le%r z>~+&Un!`tWhebwslO&`cT$eR?n>-n=YHKh zk;PBrez%xSYfx@I7jyxb>Q>7}amo&L3hWC)XElU1(I(H8gqzx(%~`qO7X%6qX>p-t zAP+G7bW$Ydo{5)!PZq`o5ediu+V1f6#nPVFu8SBFve%WJwWv^J?Dy9uSXzng38s|q z4e5W(?L|{O;8w!0p|EEqq6xNth@7HufXQ(t6 zS4b1e9a60mh`(q_0g5w`9!^C=4txL607Cde)}&k ziQB-C%0TDeV)j7*3;QiWiv_u;B12okSU`q4gXr98V1WCiDcsD(_KToYYpNH`xEu2N&3BMG1D0L2I{4(z@Iq03rD&Dc3rG($BgAl^-v1yY`GP- zl#+?e4w>oSgd*pt`t^nuchO|jHb?952J5E5%6{LzUM5ADYtkG zCphM9DO4$-EWM2BH@%D8^3}~?d^o*bL3%N6ZAumo(c&S6DJ398K-m;n_IUTRDsE5g z<=5HIV8JN{-u%;fd~Ky2rj4RhZHB4|E?JvskYF6!-u*y5TxmZRijI2O<$D~Jn^z3X zW~avLnjU8#1rtqTacET~Tyqk}jH_d&GD7TIQ?D7|Unq#t&pVc47$r$|ph`iD6ikou z{Y&%mK5_Oi(j)@5q1!6{VaDA7(v$`H#7S*o6{ol-{rOV_gNGW~jw+?H%jH31e>GZ! z-%5@!0L}tiw$Ze51;{u+Pesoy57DtIt;2>jOxaC@7q~OQOd%a`&tpVynI5zx-u`mD zhExaU)UaAVWDJ#L(fEI0hps0m-GQ4-H;$GgSU<<<$54mINybEc;nn?DKv~cz!L7(X z+!WyaQ^V^DbH$xAo>k2Y^85p?Pqm>#C9;w)a%l#2IT>Uld>J&aaHAfmgdxhWZ7%tV zxmhiq-=#%9q~D?SWMl#Ce2RX+;@G4dyGR4*B^#&fXw1yzX`D-*64w95!;gP|ymRrx z-Rng?5i~Ntj4`cS5MB4$_W83m*)6yMV#1j*l2p+`^%lT&453bEcJ2py%y|27@c$Na@K*6~m=ztEj&kV3M?GLl`dw6+w}FxeC{ zz*JLMJC+Snt!Khc(=0ZnFnT^zt4?1>h9Aqlx;HjZ6(L|x-=RzUr}1KWB$fxL7(_FX z>fjr=wO&zS_xipDg7e1^tuM%;{0YO;wY6DG@++5fhIWgwN{YVEvfLXPVLzQXlmZsC zm@icQ9M_`fKUpst@#`v596bKzr#stw8z<@6>DqCoX!4a$?J+O0P;yjx7a z_md>FA0MmpTJj3<@umQ%v&^d$x4RmwzXY>{ z0H+KgRx$s3lm3)&B~XgKon{HJ&5fh#y|&^`1p9gbBJjx&O5P|R%!I##k`n>3y{-s4hv7uZvlLIwrw!zT3zQkX*c zejq9asl*RF>g6(I_R;+RjFXQd^7WGUtJ)n5`HzbDYu(+9KA`BsYkDi8kdQR~H(bf@ zmk$=$^CK8+-CER-37W_HC8b*c^TH$XE%Yr}mn~;=Fs&7Fy;~Q&>-iKDq;bclNYzGXCa&7P}u0UD!|zJ@bK;D2B5p}c0QDeh72BDzjp`*R z^({5S2;GnMqs{ zWPE@l%)7T3kt0U)Mren@R1EcK%T}|`Kk1z)t5V;xTzMj7!9j}B`8T2>`Z#4~r%W-E z#jPYdKeCEQ)_ZCvDENr_+-GS!Q2U_bEq{u%_|4m-CYQZ?>AmvoF2w$d#RnSxjHJV) z3TU+|?UH#j+KB)N2)*ZUXK$;dw%(@xKSNEO-T+?WVi%%SaAL1d5m5~cXO&jFaM{}Q zQi%@tvS3G48>#ey0FFOMY=G(Td~F8Ts-4l&Id-IRH=Xj^>0eBxEVc*rcxb z1<;f_{0SVccI_ZMOE;G9o0=WDukh=)W1Bw;UtBI-imi60ZaCIAc}8P{)@9u0W8RbblIJ)eIJmd9~titDf)B$8+aVr=}oHmVf5m>k~WC* z^sD@VLaAk+S@fn@E`tR|g9#!b$HdSW0B$JAca<5LP)+2O8H~EF96NFr4F%mIOzWYA zSthmWY>6EYuG2qXoc$ckJHS(`!Xx~Huf?9LDqc_+S4nC$D(=9q$kq{Z7l&y4FCQwR ziM$f&$y)qC%koJhM26&^T$zqQbmh|xTAGgEt$tKV&@D(R#^yZW9vkoVPY*O&#_$b6vP>6iCv zC}%F%m!moA+pF)xMA4RMZs0vPLiwG2?aj;ep-0ssPZU@vD%~~;8tQH#$fFIvD5W_k ztZu=4?{er>pehKSU*2c<7BRP70kCqVkPe=4fqm`&rCe~DQ=Smk{AzEef>eNv!#6uz zz8y+~r%p)D9CoD84_~|!H23?1t-~Bwk1y!x6XP~_kD~}M^2~H52mcFd6UltG9lx_R zmmJSs>iD(0Fn~hKn`r3l74Ow@m&0^n}k_nNE*r=6NCeSs6;B9r1_X%d$5tBhtI$X)q9yleY) z>Z8f=R{dkuohwNB|25_S&3xcOkOHaXqgk|R83VKHy3;Rk?jv7R%#s{%MLTnJY#7$`D!AnnUzne^#O13NUQf*SsdVgwfC z03Gid#Pg`%U39gN$DDm<{?C(&uc`RGj@iTGb?1aBp`OEvBpY0yA}o_H zN8IvM%`kzw62DcX!N|1VNeC0-STPb>V388uAmIK(kjcqOsK_cNNO|xPGXKA1z0Ch( z>rKdDW%>_1_TMvZJ-og!|CgoLNq~i$nBzMO<9GJ&T*R!*#H|0!yZ<+2CuU{;U*W$C z{z-ZN=PWxLF*|$04=)}huKzWMi#@^Ji!(u#4d*|w*?-^f$g4krg$@1lf9Z8GAy~h2 z{ztF-AI|I};lP(GVVDmwL5ZIr0p9=epCtDoVT2nSlAZfI%YV?aPFODt)kRJ(yN&YG zBHFA;agJHt6G{tG64-VjVptSn>t6E8KWOnkNR64{zal`CQcDx_(2nF27vx65+VICtccLx_ARj9gc@~oVJCLYgAf6Yk3R;;Ca--JQ2=b%-yVIoR$XR_=^h9Sf= z+s}K-G23l2_7?XHS&jkv{r6LWq8n_W4q{*htHRhMIKsBV#1z=pl+u?Uf4qF&-tyrkNj4WAL_X#hB^5oT zsDe;uY%s}*)fE2DrDTlP5bjUR5&LwAJUS@u7h9d#WZ%F7FU2#Ho^kM#Kd~B=IE&8u zm4DGIG8G2+E$kmi{zX*yJSlK2$*B#~wah*TwcTF75xIXn!+uVfV{eq`gv7(&M}Y~h zPB=K0CKC1GYt2_XI3m~&l*zA0fj|QrN1&YHv$cSB-=%5OIqHMDi%upZR;cPO^bPZk zrhSc@hL=PKHIx+dETl!7Q;8F(@{d8i_9atHO34UN)lH`F zRLHHyy~xAC4c=Yea~r*>ZlDnlts4v+ZZV2CgdSK&QO0PXHgz9|XMWWsslKdcuKu$0 zWr=5rtlCV6seRMgdxz)XW$3=(ET4CrU~keX#$Lfm!I{ZL@JQesJo29Q%KPXJs$OBQ z!Kwl7=Vlw}Z4xO%LxN3zh`?7*Pd`pivkbpSJ4Z|4D{w#XZ2s;-M$|MCHZn9s zGg2~y9vqKMLq@a-UD+e8{;D2MH>G<15?~c@CbeX{WL4eW+U4YZz;pDnBDaoeJHg+_ zKgqwsztK70x%Qs^YV?SGNwkj5md_33nBAVx(@ zM0L_V5SmltB)rR+dO3$UM^lgy`Hww^T&EvfuNtq019{OGg+;o*;kK1!%rgMraB1Z# z{esu0W1Y3{n%i^pa`H%4Q|H`V_xhvO@VYInXX(RY4%qN))%VW>e&<+I4~dnAiEW=ujpqg;D3_bk;28lt~5E zfdnj!FR+2FgDpG><6YzvWIlJT+|P-q&zWh#{ij6!GbI0tSc? zy>UI*@607_k2kliLanYj1~^*mIon9;N%BcLNGeGhNm@usdslM*rB-oK809}4UUpCB zN(2SG_wOW1wvN8ZGcgM|D#QrzpEe#j9nH;@6v#_tBJmQqY4O|e+EDDzcguS_o(_}& znJ;H$t_q#rr*i8n@NN(D56UrFZF?#;3Fr!@Irz>F1Eb);%%@XP2!WU!E|=XT^jGO*-@6JQ#=`&~7&zKP#_xV~>%9qNx_YjESdKMXLcJXn@l~Z{3hIP~J(KnEp61wK z-v>@|S!-Idp{Z>h`Oj#tRKDeaK<(;l#ofEKS8s8fa#tnVBMausl0Fe_t8~?V5IM-R z!=rYDPG>cjztmp#Rfh#Ey)LaCOR@=xyQ5w$K4s5=P+Fb#0gj}AZInYe5F7~J6~3u2 z=UeT}@CmvT?`ron)r!FbEs)YVq=(%wXfJ896v6#8jyas6F$lY>bt7b-HKQMMZZsm| zB`GS8%^8*v7m+P;<-T`miz+~~i1*IFTd`}kdv;9X7-5I|xQVuv>>tY$P=rDwgFAX9 zRZtjlC_BppC>6|;>&83nm1|P6BtfN(l6EIkh$=)_v%hexFw%{<{+;QDs_lul^yAmA zZa}C-Xhf)AH)x$RJYI1~Ij}9zwJ2*?H)_T16x6(AyBH6DakqI9`8)^47BJtwBXv@)zNg{plc-qG~I)8ngA<7vkxS9u;**{x#03g z)g7tmN!6X=3+=mX$DgJ@M3F9aw-P2{ADc=CQU^3pxXLcn(_y!f^)l{i?(!=(eBMH3 z>JQXRv`jQibgzl;e?A{z9^^Vma#wbgcNBM2cjR@Hbrf|}brf_|ys5fRxgB{QKpco1 zkR5~q4l2(Y&!W#6x2^}u2dsS0I?uw~#a?A^%G`OGD)KZXNzey$2a&f;w^0si&uZKy z|M^(RJPSR89Q2+QTXWwE-zs%fd=zn$C=cTE=_Y6u%V|v6m`qB7v?n<3Op7VEi-XzUgoPU{XL>q z<>XY_E2J#z)BShrLROV8iXPNnOT8C-PMa*tSM@vP338ECV9G2k+tTxp)Iv%{7G#}M zd2|T!Ov}g?6i>~aBYD&&)P~EJD!47H(@Ub&sY=loq)v^U!#x5#3V2krisjYKN`dE7 z*`^;1DiQOVr`Amx42pJ2N2QJnN=>p1>U8rN3(`%}RccoA?x$Y&Sk8WJKXnViLb{b; zMcsTx)s!+&Ij9U&F}A=v&%1zms(ZR|D&3@}TU4!fHt#v_xgc2fSoTfQJGKLKkbuvz-+T^ zdwwG2QycDz^R#PXg+^1w)qFb z6Wz;p97%uup6|C$#+0OX4S;cDY?+2Hn6gm=CrtJ5l{6WD7aBbzl$uc>7>v{yTD9A7 z3^9QHITlsK78Ci?Povs*^LP8W9WBU>U0y!u0;mnryS{5#|7!O}Of&h`)KKsLTyuSW1W-lCRi>0y7U_dUIEHD_MW1{jaJK3e z=Nlka`g?649eIC%0@k4FEB2VtTe=9=WVfHEKl9qZ1(}I8Uh@wV&LQE~Vh_t4e-JPL zFkpJpXkLRH`KR))cu}abvH0e3=tjBfG$=Nuu_OtoA%yQ2bfzfV(0AVE27j5wj{851wzZi@>Xooo#V92UrWrYfgsnsUhz5vFrD{Rn zu2CWIQfx^Fp!8jWa*=uM#Xhwa#JK9DE(O)0Z94WI>RdCyUbX(*X#GWpw!bGF`CF(M z&CS*3yWbKVBQUaj|Fs5tI^V%T$YqwIaipNy%aoO^^rg#gS}e<-#DTH`=fGT z;vL4pF+hSddkkWRRG^(i5a(u$|4WZ|9VEkUNyh6>?p0uv@>+VxI{>yL-(G>;?==b! ze4!U9V3>jDvnSq3A;M^TeJuVKi`u=uJr?Cg7XZV#TZQ+pI|(R5zknwWb!%Pl6G}Hj zX~}x%hV8s2Rz#XO+W;i|Zq!h()p;fg!zLuWVeZi9`$#B{Ii=4XtGf)=5;A*9*jm@+ zz2fvOi{e1quU^J@jtxk7Ao^4%fI*{{ET4qKJaiCiL|lY^;isn7FBn{hH0Y0p>$+=B z#4Zyd>uEiXUjJn*y40SEc8yWUG3mx>efqZ^r7_o#Pqp?k1X{;T9O3GKxshybkE;1rB7`)FDN$guvi1t%cuaQ#;=sRX$yM8awxt5((EAzA4QVk zO%s18A3}IS{#qJ%>qT@^f6UuEUvcEbUt&6sZgRE4*@VjpFkr)=NPZ0)_g~6t%kePJ zD-gW(ec61WO@!ArSs_@=qXAq-P)vja?8wIEVnHWmoV|ap2q1gZDnp$Km%EN2?w#SD)JB&6X2GiQ!O#puycq;VxucqOWSZ_PGo7!)r)epgxz+uvjdN=3uxfzOnI5Jp zYx(Us(JOlnE+Bm0wNL{(BjmP|8nGYFJENB7%>Q+q*dB!5>_kre6~N$5qR;eHOLFAK zO)wJ2F%Ze9hi*M0mzq4#FK%;P;dU-C1Q7!e-0%{z#DvJ7Ux&CYtMcsz69^E*XrRVu z7<{Co5E%x>Tx}b`%){t;bLdSJh}qr=!MHp{GJXE!skTkj#r*H#`Pb{@bZiGxa21x4 zI&~|AXE0=;{0q?y3Dc|PzXkwZuW~2>EsE1aSEvo^nB*7294n*j_V3wVeca%pwXD^-Q9}|69Tu znn6O?wJwx92dWnpX){gjv*&2J`}0?glr8!b4>hb$8pg1? zh`A^&4{b4IalsaK>4$<{{D_nC}&-Q)ShT>g=}^0x@?$$SdgWbIP??tUGj5Ai9Z z0y3ORQgBkJG<8l?pjZh>sI&mD?=kDfSu$#|_ls6iNlkqotZ8zG+PaIEi?-tia#W6^ zM1eW~kYKU;NQ_t(D?1?FY@)$Kl14K!k~?8tIys?)fUVDpm7U# zu<{q#Ys$Z7lp)O6k76?Z*NKoVRntC4efYZE>2=Uhr!l*`?=^qp>!|oG%E}Kg!#EaJ zY(@~SLH73?dJHT$(AUB30~?6uInS9}{yGnbl3K`BJMObl5;tWkh0M?iR-bku7OQw-VXtg!xzd*)6>_ zQ8m(zBkI~Pr6MN-Ma(TfP5oEL8h4|k8ewA}S;LXh_ zxD^NoXzk%%nBoC-p%^49w!>VBQK(<5j0hN}2J00)&DoVDptyoUY4Z8#xZ$D#Va{LP z(bjB>{dh$MvjIAU<}uP+=v@_9WJ_atSWGS34r|i-`TT)(`(z#6q5E}sD--9eZ8~@1 ze^+pns8Bcp)a5vJb4)MnWs%0Y<{v z=njQ-vl`cY@Q)n0InIYA=j2!Q`oxc(P+8F^AqETD5?Emc2E$%VvoND5N|P_Y9vtc= zwM?>Wk1q<_8^fzU`-tE+rhJdJ#xR{p%6<4!s5u$jw`Lmm?F3&_J_llBpgvVaYGgfc zA1Z=AOg0xFS9H9@*sX_iE!G#5@-%X=ejK19{DWHMuLI#T70)%?bLWDUWcdaC3t;(AMAH!4y4 zS-El1v9|VMYo_>dDUQ&9_PHI5&}rx$r9sah-W3G2=#!E{8I|6MxGGmTWe~^j_e)GZ z5Koes#bnCC!iFP;M<9kXU`Z)sM%eNc)zoqMfb*2(zmt+p7_8w~_w`^VT*e;jl4=@I zQ@NPQ}**BSrYzxW~8n^V{Fw zQw{vgBxjhj5%+Kr>^*q9Py-KP?7kkFOgp2yL^2#HnM-)LJ~J_xc8sk*>&rBjEQGUt z{3x-N&tlxM3%xxAHVThwmRzgm%w|KlD+`Q(r8&72y(L#vY0#NqEiU)BxXmm=YCCc~ z{Lff@{w8P!uD}uqD4f6a4*Em}g?EE$X z^X+wnbBAk9@1DB77vBc`nI-wm!kQad_ONw&MwBZNm)oL{cnNE#hP%+9GT}r?9_@nj z`cpoZZR@#DA|K)~9{nkr(|7||9S z&0?M(SjVMF8ikHm9cN()_ve20$U9j8?xEP8`Mq)2o9$^B3Wqhye&bnFn{%$vhbD$j zl7%3`%jTtKV!<`b2*QH+!|S}3&M+?g>LxdgBYbJTW6e`Kz6t4h6qkiPOmDH)-&P*> z8VdGv2qpYb3!N8(#70LPJ2Z9wcGZK1b#BE2(&zE0!yrrH%t4VL>!KN%)3a0nVhm$e z{FmD1n^3KE&e{T7uRF=Y9w6HcH*|Z@ueqi^&yD^ykI9sg`rt|I4%=gaNTxML1tR{LMo4GJ8 z8glLFn6@)>@b>s}f=>mEDv26nz{f-dZ96m_i3b>3CP*`dh%djB?6%F=qhTCfJP1Cl5awOTklZ%%<;k4@u2cpRG(DrERQ^nl{;Q+iI!Mc!E%{a8JTr+fs)KEFGzQ z^-#R_tx=F8CmX&i*ydtSa!(Z%|HMXw$IKJcC&C^%gV$=G5il(wm>Kuj5`WJiG6VQL z7p+)9m#g>NFZTc)=cecIzV{%!-sDT7v@0{{>K+FCBIlLD`Ff|zsVScu2a#X!(dzvNo9HwR|;2 z^?o~x9N>>a_^DMzQiIxpii@%4G4O8+l50ll6Q=Vil~4M|=`x=F_}0VQrp;1K$h+;* zl{56|Q5PUk0n}JrJ)GA$jveaS+mB?3XA zgujJpE~cC*0dh-lcP2s)Dp1Cbj3!Vs2bDoB?olzcddj#L(I%2TcsnDkfz1^J|}d zW`zHAsvTW?lbS0)gRlv<@-PmA6-CP_R?sxgtB~a4hnQ@hMV}3E@JC>y59zGe&S_T7 zdH6!`RV)8qec)aR)9|;QQru>N6^K!BXFP8;-?M>WrQHg-uM8rStO}x+%^`SHikt{89 zP?TImA|sL#Jjyp|UlknW;vX#1;f;?0cV#rt^;=|zd_>C7^Wg$JnkwBL6`ztPc`~iR zdL@%v#_B4po#7}hM!>^(oj})R(^KffKN=|P^*$;tE@U{Zv70WL)jsw`_CYmFv01J? zUqr;atNAk*48ER~5k$aCZMG-c-6nj8@-{GE&Wc056VZ~n$^{nw3H4U00~sEF;D?e+ zohZgl#p`A**87?*=uS2@vs>$`NGc@V#VY5wOirc4jy7&5wv0Ksz#+@z>jCGNYk}PBz9z^_cK<^&`}Zv#vCZ(f;IN->@aYvP4Z4 z%T*p#vHU%#de|jxEmJJ@byzo7&;>liKX=-kEbx0S1m-R$LpplA%md`M@sRF$)b)Xe z$i-oh(|E9P22J1Hn!AiQv)6wVdX55~dw4%60V{aJ@E|97 z*Ac$x&_=<0NgzzUU0j$a#*lMBpOqp))#DL#ZyO5Pji1z(c0cJ^dU0sPZa`9f_ro6a z=3kq^hpcY|(b~X{Gr4HY1<-#X2v>h0^nQE2x|eb=-xw_Bff&ZvM$!6RyKx5-pL=gz<%5IA|gI+)J+P^5}*7PmfZipI8Lf_gXFWFe!G)!l+m)dZBr&x<^u|s zvM({GsiVoBFlODLw{EsmYj#@2@8ULe+&`oqR#`nYdVjftZ#y>ymSzNkStjV`Ve2%P zIj`dcnKECu=bWap&$4x2Qe1IA-v9Z9yDVUAQ=438|ER+ZSqax<(1p_qcrY8>6`5$m zmvq;gT=k~%V%=TnUj04Tzw4M97pd`8A3^SLp`N0u`m!U%A9QQb@V70@p zmMO2nju!;qH55n)e5kZgn4w8$U)|Z=sZ$+R?~X}IBl%@>jR?e(mq?V+K_GFB{uzPD zvP^4OY>we|`rfx%OFdu806w3e%5em{v4_~k6@KHq&BN~mq&^~t6mMScjT$a9Ugje_ zb24v!iCcnf@3hYI181#jq`W8!K2ol_UEkV-bQmLkNPL%cNOy>nG*_u2Yg}xbtc$Vz zwL{7=5)1=HN7ka#@@H)<$c$3N)l~LG6j6A5V5E3{iK>du>vep|4zp?rLY-c}%i-Ym zfNmM4FE+yLUr$!~!X*+2$Qd7W=Yu^3K|zPR1_kZoG|1LKzwGflx7jd76~2mn`Svm$ zydU~um53|YwT!{ASy|2UETgCR=XY~1sS>ElDpak^JX1LV4E`gv8r@!fTI4WLTC%L@ zRP0&HA9sZiMHC^n(|Gp^We@Mef(sFk)f(VJK zIdh}4$slXw@oVlc1l?k$vZa_=TLnJ4km`0H7a?6`me*Wc>-V{00;XAs&|aS$g1E~F z72O#D01sXdXLeNW>{JDBWV^1qM?@D{Z!cotakl?pdwUu6_j13_MP4JfHBZG~>Z#~5 z^;K8N(%;-ZNEoZsoE-{G90!vouGQ7rb^DVqj)(=I!^w5NeLu`F@tFyJLz^SBMiT#a zhu5gE@vFpNRvdcS*hGW+QLG;mhB%(&b0KcVSIRnZO=Cz{W{)X3P9|+l{jI&5@@_to z^DZ`}imBLq8t+4fP-jKUJjF$FCXFhB@*DT}yOG8FZ9E(r-yDMf zIwu2owgYMEbFbR{bqXXh$-gTZtaoH*K zdPOJ;mo{jT?Tn!+72=zO)w-AnlvNz?xDcpel_mQu#?g zVr%e_wFck8<#$@o%P zBO|o4*n9=8c+t{Y|E^cEBnT2pYk0&c zU`*>cMnp#nh~kkn?QZ7sBV zOzL7QdIsPlPBBeLeE;^G!Hf%n!nU8J0DGh_uhMEy>7D}r~hJS(u( zdODj?-^u8j4^9WO&)#RCpTvMMY!_{wpcOh0*`VUACHwM!b%$30&gTsTjmsu!8Uc!~ zIA|)gclin=^VO3rZewoQMyQ<_EPKb? zeGM@dn~?E87CN(SSFJOc(sF_3T{T;4ID*0FXqI~CO}#LbLuq~n9nTdnbhy5CUhr*5 zBcH*XG1`Fp$6uSf7{*Hr0^ZoQ8o4gu^tH`OU{o*7$aa1Q*RZE)U7b8Op^#I~L1~Q@ zJc-;p(%J%@o>SR`3hQtCdw2Gi*6Ry_P*K{1Q%roer|4U6;YGU$l{pc!=qNRHg~%oT z19(NT=wbO4Pi7nrpd`t zG|5pcnzXpQ-|V#e!+4gX15Hg>xJxxupqqiRC-Ec{WJC`MqhYSilq|sCQyub-GnZgWfu|IqUc}@}c$j#D4p1J%=zganB+b(Q9IrB2u zB)^d(*2dH-G;fh7N)A4V^`SNY&>>|^1pm@EjPYIf_YhMC6W!C!x4%vwhBV`^R(;g} zUD4$w>3QzkmU&&)jmikpOj*qEAVAb)450@wZ$)3e8UqoL>r7g1WML|~^g6zQeay3j zwhhXg)Gm@sSV${K&Dx^0T6vDWTj=$bEHx;#+6Of#@(&2z<(D;v@K_@GjPp3jnvDZ2 zF^sh%8Zz3(o~fPP%WDE+nZH2(5*gcKi=dlzCi%HBi+9CNy)DPY#j}H}X~!7HLfg2i5YYt@0XSnYJa(d1^J(D-(g*XVR&He{4+mC z`}X_}A^TO!3b~cIX2}rZj}Ieqjj8ZSe+Nc8paDOP#H-HY(g>F@IUV;cqXSnPN?gjx z<~vhZzUUEO$uGouXo>Q;&o|LeJyrogy??zw70mK;m!CCiEwh!a&%<73ewQ4s-nLZR z>(HxAO}BkZws&ZBaX<3RZuuHZ#2SM!Mv$I|{iyf-#)j8+YNTGA#J%Xith zJ!{3u|I^r4M#ZsoYX=e>0txOKAm}hKxC999?#|%u-XR2+;1(nVC%C)2yGwuoA-Fs9 zk@Md7-h0mb{kXN(Om{!McUSGI?q0RJ_I`Fbf!L%mp_1EDzuj%>!A1EByCU6CutStU+9E7X^js`2;GeSbu zykM`3-pr@hQ^%0p?!&U+08dg!Ixxtr1J4a&F!R;eG-R?!fq&V>)$qC;ZK* zp=vUhCXLczxxf6k5JWD4j;PF-@24g#JhB0@Q$e}S z`#~t*gI+dXU#F?rZ-1OjlbS$;hH)nOP&mQc?n}cfcHt3dy=m3^v2I6@BPD zw+sS9t`QqA)+uX7^akMh|wE;Z5A_e$5v7ton~!#&T~ zbesd@Z`?0;^6%rTVGe>!q!#XvD!2Jew_}08sj!a{|7>N?DdwKxp2(BCP`+(wtyC>A z&$r;bPwbeXnn!=dcvR3~<@-*#Jsa*b?>;vp-)L0T=05lTX#-n`gQ4YrAQQo#j2xx} zzY2*frdAip3FQcpyysew1n7QSJh&@P4Zs1JujxqlkI>%dsOZ3i>gBzf+E~BAKDM#G zN_d=FO9~Z5KE5iUk(9i;!hKC$e0lZU<|>f%?oRYE+~FIB#$AM#N9HM@ad3pz zE$#f^8+6D1@U*OhbnhGbew^#xH^n7y?dDE>;}!4S9qKOY&+9ulO5mh3?y)rhrz!kt zHA9}EA6{8Xy5B}wwkTA*F%~}dLoJP`n0H0aJ>eZiy?iGOusSR?#aRZmy7P4M zJ{BxHo-wH#ATPg3Fs{@KQz-W1Xt;r@Ehe9WmkA@5wm^blpuX8>6hP|&HWN^SK7FT1 zauT%?pxn{VAt%F8Q%{IbvJ{B(y0HG-fN+GX$us#qhHZ$z?05BI84ORvEFnp_b|#ve z?OY$Dqq#^eaFaefh4>Zyjro{!l zY%L#a$`+)qV1aRCk8NE*4XoWc)F3SNg#Rh&sIq90vqKq4Doml;VYHX0q&2 z&xW7z^bE3;oI6}TDDr%aY12|^&n7QO&RT}!7XueS&&0l3c6=AbBg#{*eh1Mt)(jkw z@i&-c=KhYsuy`jXD2_{jr@Y>``qBS0rzID2VZVdG)JFl^;%*a*s5TvoYBfYX1P{8k zu}sSVgz`b<=Q1@XIbwoU<6rjbHcLx5^fUZ}vE>1XPe--0;3hQXm=E`wsgDVQn4VPl zmV+B8;Iy%&%}^&+(AmB|AbkDMs`_lu3Y{rWcAJ<}(Wd*8Rhy}Fq_-`PRfoaCD1)4p zH98?}?ZnHYB%)iJi3=#Kq;n~>twX|?F>^p%cM^R#Pbj%w=3d#h>|t%EQOt?92Db!H z&o^*JZ`-1k^7ABY5}kP!G!#+@^?MncNu2K zX-9L@!?X1(#@2Zp!;%>=zFQ_Pr|9iD-@*yJhqiG}@~ZZ)?uoAuxDRvOVsBgA8)N~z z>PZ7D4};M4A?8<+Q~C#=y|zi?lv$=aIeG1^U72sf$BYNRBWj*TUTJePaL{kvGFVeb zE)euJyuDoeZi6j)hOx(HTL+C|+)}w9_p~D3L|xL-Y|YC4u5^4CU!8d*-Jl!U`@U^; zhv+EbUS75AT;eNLKsnK9-Dv`r$cSdGSxW*IZwc<+yHZ4!W20y<8Y z&@$^2dVS$x+Y(`h2m9(iO(V^75}(ma>*3*WXpl`=vCtzdM6+#VMz-y<>fPB!vAR?w zMM^LKf+?pHL;wik)n7NIn8vb6(3WozQ9GkAn>e_0EXu;TAA7Nu2|rt} zlFNHQtVa6)J=(Ej(nqrVo*WL$E7q~aj3OqJUcABH9}Gy>64#lh29*QgW5-);45^dH zd3E04o3|q%({48BG|_hx7Mo#fq@UeLdbfy9hd~~kg{0QUAoMXgeE^JsDl3Ax4*ZnuD)whmt`t%d?9*(DGsdID z<}~`_S%ksfdgH*eN4#d{TK463P~J>bFY!H;z^R|pjKGF}Q~Bp9$qFwxKT=l zGaeISHVC4L^;VPD2Fh#ZMrVq%p+W12z`gCL&bN*oZe2_^P^6u2W?PEM@|bnNRJHdM zt$1C`Ay$Ay>B1hHb>3PY7=58;r}G?39tLHR#W1}V3a*Y>fF69luy&XHURs60cvquJ zOVpZd88HZQNnc_JGzx-6ou~-5Mh4dWa%^4`tkQXF&ANsM2w4$c8HAG3mL@hVSvwRM zDP%w3Y}ZO}3T;A6G-yw?{VP@r?IM>B*xi?YpE#*4);`MGU|TP#!<*rd*+nq77%y)% znfY)!&u&2!mWU3mQochIY-Z1szON6Y7U=!D|J0*EVVzG22Jb0!EDxT=7;e^A!8@?+*zm zJ7v8>iE9QPJw^4WVQMqLq%ayQOzJTqsFm^Fy6ClNXLE+^>1GKH^Ip{uc>OiVy-m7o z{1&>mIe#0+xTnYxuwYBidTzbEEVb!uJmi#ILD&aevEO7^?CBTG))W;;e$nEn^YIgj zy)>AAkgZ%|ZHut&_8IA3ZrrgtdTa__d0bmdpD9glctK+|lW-F#mV1-nTz#sgVO+7) zhpU#Ds7mOaPN1i&s`aVCOk+Dq4Ih`*s*0h5U;la6yn^g>(NN8OC4x4Bo5YF8&9D_n zSD6zauEP0XAz0a1-``f2VxXv~ukF9?^Ujs6TvSpFs)kkGhZRZ(*N<9rUsQDZG1g}o z2?cLD9xp*{N5k36EMYh>qRA3^GIpsc5>uYzGLEpv|zoSY=&(filtp>FcW5L zI@6r;#0@dl6jA+x%a(apl=;Azx7`hAi-7M^W8l*J{w#b*26%wi=qgSf1j}lgHfw5@ zswL1_sX^H785jz--DL^K0;QaSPzQ%lWw^=J9u6+~`3Ez#1k3t=v{zFFd{C#RXDkZ> zh>C`rbQy7znA?5w)NpqK3RA@V3jNUuJpK3thlULC6SOTopBSGPW{dDuaYhFF-b>Lc z9b_hMv;Mf28A6jWOK=b!%GAM_5=D|cLqo$Dm7910pT^wo4H!I7y0$jHp{s5VhXQj z5fj4@E2QsK9v7c>PA)tgr{ge87I8aC15e#DL*3x~xIu@^g6y!7Ow?w4)S_){nCT;z zV=-j>xw)~vrxc@+SeGGdoZO78TLCg|itx$HhR zmjo=?CnmvWKcUdiGl=FN6CygY+2t172cstlwM<^uWD%NxgUq+}Gd^LSRXJ;s+y}0w zn6Nv8#p$dXHo?KBCog{{0|{|FG-CuP3!<;HF`R-;KaY$w`|;Zu>JH&3_J_!tpn{_P zVL=4(g!`Wnnn)D%-Q@Kd-(puev18Xnq!sJRcb2EwL=Rnra&dp&q*N$vuJH3}h`Meu z&_NPEse3?wIWkOu@u?v#!XPrx6}qadsH!w#yL7Z{=D{ISNGODj0epu9Jd^eCAS9V< zHg_=^J7%IjOMZ1&>3kBO_6xI(->1DXCUW>#hr0|}sXQ$B^|b^KCheI_5xRl|5fk&( zPD{~!Lo&L3O_WIUaAx>ik@kSiks>on#ka~AWy57mh2o%zQ)`F1O4BSMT#Z|mnFNw! zt7vRmr0i=WAcI~qYew9U*1_G{BD*1! z{kR5G=U6ECxbrMFaDD>_Kqt2nbH)Z!?vbazg1`XO_b4!5w%^-iLib z+O&8iP7(2Y*z2JA8r;?u(dHYiLw>x5K-+fG)Xpq{-hQuV2%PnG-LyS_di+}hA&{Vtl?Kgm8HrXZE*n{ad?`M+%XV81FPG^M-TR)o|Bf5~?B6LlUp z#D{Ri|N0e7klAq^7CJ$ZeZ(R7e89_xH^Q$SD76ogA#~*Uz|@-{y>VO^opD`Fd~MT9 z&)8aOJZ*dqHHk1i7uytMKSb^&O%>EKZyaS|Hk0GEo?c)TSmk2+dE>F$H?ZI5a^k~(cZE4H*#;O1(NqDu``+okb8+ct(6v${bKwm@ zD?Po${*j_Z>)wp}?p8MI{DR0WFWNV^Drjm#Ibc*?qDqCAk0bt3>+1NG0EQQnr8-9D9n|&!I))ln?@gNrDGoPdIhzH1rNufHa08(xA*4c zz7|P>lMBIam;R%xa|_siw_^jub7&mk3TrU$xS9OP1#~1c^z2(fy zN-?8f?(Ij9zWlw9n@;+y^?8;}+u&tOv&Le6Rgys}LrZf~OS7tvrG47@r0S(|V?9?? zOF@-@wWhCL(D}zvx9o)nG;gx{jH!hue;^G?@7@kK#41u=Z*7IP?u^NWINm!z2DDUK zMMvf?sc>%knQy+fM0m2c)W#aidw=3^(j@zmL;H3$dr`e26cAj z%%^LTGJhkWb;4?Msn026F2>6^t<@o$r24fgrTguOONCGR$oPUwy4;s&=-{vUS7{Mb}ftI4-I!OT;7&Ws(y*jtE~1)&CsWR zIl1sI8gz`$`ObXK75d2T$eWw>Pm9DX|mz9U1l*(6%vn~2Rrf7Ksa=Nh+`v>%>-I{3S zf9F+MgHBVq6DiJFfszb)oNbFIXRKtq9c zcnE2l3;*D^067~YnqxVqR-(BSC>v6saX@#F%Vl0B@W?J8ymNzd!+W+MKv%?>=d|>j zj)Au-0J~|_COvs(fQdKGUwbwMXOJM-qzwee_31I<Hja2EBN1;T;t%p{tCl?k|c=J8L;}V z1g@6@d2uCPe`RNl8y+0O0sobj6;)6W6>4W{Z)}B%3TA%_oX4qZ8$y5nq*D&Vty&*V z#fy6gz>Evq3WNu9R=wJ8hl2wrbx^?Jz5sKx@%$AyudQQG+=r|GK{94s1p3@=5uaKI z2c!5K>DU82fr#-yd~reJ7bn}Cci%bRhSk5@41Nr4y}-QsG88+svVis`545cLwP86u zC7ox7Z>?dtJa*&A9UZ1M5aJq9bh>?TKG1a3_TcP!W+yEg;LZh07EGCleM>d;-9As@ ze#V&G4y*f9ShFO|QqHfDmVH*&*5?qY zI*&N&Sxc}HZCm8dVpSMx@gZf?-rbVvdj19HYZ6tNyDF#P_r>q5jt@+4LG(fa%sw=) zMu8#9uU0P-n{y}kCVuJ(1QfbTgMJ`qbS~1mW*U-d9z#JQ@UYevTT})&RfoSWm?0NfIS$P><&4ri+vf$CDyT6-?o{ zuja8BrVdNJFuTlUbn2H8{j)fAG2Q*Tb>7kB#kgRr4ohLbjjL2~ZeyeW_x`{*6nr~QSXLHS0bFi}zuy=Mdba_Jx?)3vzl2Iq%MHe{sc)t3= zX{8}r3aweb>b5N3-b>XS%^t%2gxRQ@hk!#N_a@r_sWW7H{i5wi&gyNQKDE|ME0T`a zx;3AIpEFb?2TX<4@jlL)R9c!Poaq7sa6KMS=8Np)pRfcKmb(@C0tG#9T&!9XI!gguoL*+V zjAdzabW42_-B=$B&zXI?Rvg347hi4p&*+-s7j#btwwSSKikj(guG^KYW{qr zVf5oho+UmBM0yy!7xDAU;G(usC!6Ll8%D^K?9i9VZ97*$h6v(cPN3unLH8E>pK54yxeJ#xH3t~H z7W5P&bApxP8vS?^S2Xx;foH0;Tq&|m8S}HEcZRF=Y{@5!pEa>LcTFR1p?6BpH8%Bo9S!s?k z%L0-n7P%8nRENHrFyi>xz_0-sU(`NcvVF}epD(7n8PCv4KF7l-7hOpBuKnf z=9_=7*!4a7;B7HkG#tN9- zRh%zLyl;#c#UvpkN=DQqjC3#DJPTZ-$LPM6V4O~cs)8G13%=Q-4nE$ zPco4{d(@{qBSzpwroq?W6YDU7R1=aqF$!1XP+>daH(75DvWampR)s*L>qD{jrX{X@ z2?mJ`0y_uRpLH+s9O1h0s0!neau!~nFOkEjbzp04F7wEpZS5R1wA zFTD2K5@nl*szYp<)4!+uJZDgl?BVIq@ST>AT5%b=ClxqoC50O-;v0&-6Y_u0ohF*p z)@?~QrWvfb*-59II}S%S4dLu$8%|DqbY@SOd>u$1owz3FPxiiq;cIB={!4w!GA)-J)WFdPsgUf*{T3FJI_1n**f~f^{K$TgY-d>C)3fgtlGhx`_vY3 zlDp2?C#WLzan#n5wk=jN`-rSgJbGv{JPJN{{#lv(`Cr?r5=TD0`6kdq! zw9Mt`Cv|4e>K2fj5d(gg#0-gprM|M2WzOoH>=YVx3o6s@FIr|gOAF6iL1?`hpaUb|F*Wo~ z=ADTO2(kKj^zdwb_0F{zj;6L|-xVhvmI9u}q9$#kU>2g_O0SnFBaByTE;kd&8g_Hi zO_kZRX(e<^juJL_JLs;jk@f`T=6qv!g$>HHA}JS#cKSBSU~7E>Q6l|bZ8g5mgqJN> zDw2D9C>N1w=-;qp;n-qjC7UD^KIJY8!BTM;q8-U%yyuz;3clLLDQ z6&rk*sAb@F31S}7ajllC5dMod+ZDVW+iXRm>i3{Nf_oIh(X`Dv!QOTriItgpbU0jq z1VluW{{tBhbHCIQGmiWcr%&5$s)bSAB=&}uHXlDVGvMse%D!*qHPE`&kM^ZPhTXFqe4#0~Smb<(Xi*lY zHn(k_GZP`T2vpMt3m1ku-iwMGW@|cJy>%C{;6UW#{yqA0PU}bj6^qPUKWoQyW>TT?l1kM*)pkb2 z@sd_Nd^>gQRXBuwFf@P6GK4c>hd4dmT;e&v?-9~eFYig>;CtfTSV7G`=Hqtyc4fY0 zdtqnqd`60)_XUahsy1K=-brRt_J~W@%@q=mLF|FaJH2Cp0;v!5XLtl-8sI8_{Y;d72N9)7bNB+X;H0zuQ88=|KXd-_v^r@U^Kj&E_CyCttna zKQ#QoiIk6_&s#us7Dsx0?4yt<*v6=+?#P8rEPpn~AB9_DHe zvb=7P{-F%%LS_EdE0SHtfCn zHs-@U6Ec04$GM3P8D)al#g_4jt2If9$+SjEF;x|SN|vGLy-!Nn6RY(;rl`jSos2cC zdbs|cS3ErPdGmG!?*W$&$|8yoc0S6PxSe!%QcDh%?I8)DnhV5K^8?=&N#Yd+0D$8Y!vOPwbN}C_o zXa5x4=}z6YKZO%xuMK!%zK zG^F~a`Bb@7w0>2}=9g}!c+dk4#+xv&76Lmu=1aRWh;o#09L^sWgH+H|hYWx*`O=kv@Paq1mc zww@X4^RNw$Ycidqm$g79NGmv8q{KTS5E3YE5Y+sC87&ENUm4I=Lknx24HsS^7VDYRn`OCQ9dje8$C} zy-78*$R2Rx;g(|TO&W=w4OKmvCRg?lk;Fh!b8LP;u^IW?Eb55hn|fOKhp;YbfRbwF zM1Wq2A-mFvjH5Qp(L`{N55KTbS1)fXVrzvc)8W* z!&6udI&H>-+_%u}n|LrCYR0eT0UG>W``!G)Iu8qT(^VP%kEmQhD{c%*PCE-<>%B6v zL={TD-ETcxBoh?hbtW5g-wYSP0eqh?XJ0OTmE06hSmis|fU+{(yw**jKj`+mM^=^J z#BPdVs9EW?PetE&ToV?~mp7_QPVe2idlfvO)RnCCDBU&8%G1YzJyJ*f`K(?D^ff7N z(FoarF-7gulF9vobS;~x;V2PfI7%K4SICAs4(Hh(rQ|+759sZu_d;-tH-M{OEqKghOh zyx$RUDoO2!9R3Sm?Y;6-hLnIFvFKrEud(gQW`tNgVYOJaQUZ<)JEu)5gqndFsP-sl z1B!kx&aP^rf;bz?rn^{eDA1hylE_8%Gt260z1J1eHN@==AGXV2MK>{CPbJUzsCUqYrURp(pfqUPN>a#o{TghkS@abaKtn!?i{=@qsaBK!HfShB759ik`?12nw>nJ>+xA^WE#q~#H}Ez50-86 z-C8s!yczvOvhqa0HF)bKcwK))MZ=7C+BSl6HfFU zvMvTZM)p}IKBfCS#V`Yib2UGn9U6Ec-N}>o#o}vIe?|7sL+r@Q_o83dlXfCtPI+wi z#F?0z?tjfBI`6gN!Q4r{tZ<}pUj{MbT46}fc{u-kfTID@)#bv8d9Z9j`@%^!e(fJ$ zdiRrvtK23UqS$PB@Ky!gIQ7bR>d!{+cVJ82!zdM;>T)X5Q?O*4W)yPsi!^dE2T`T-n4+p{_gMG$ePr&>5fItfd3 zwczktO-2FU)Wwv$PrQ)MgHHB+y&=UZ2}%S~jmE@g39l#Xs7t^B33#!x;~2(_b0Gs? zKb`9L%BsI(ltk)7YeDw|G3u*YjG#Ira20bac5FaXvV>K0`J#=c48@9z3}(*Xoj~p~ zeU0PeQk~hUS>710)tl-9TBRr_2CA+*Y;;q|hYtvJnz2>Ha z!$vi`%&rZvR+evY#+y}@^K%OUQSYEu>+^GOyRq?18+Fg0IQ*fmFNX*p%bL)>3MB75 zAEWF7ZtN~!-=BoUE$*I20EirM)#*=r(*?vc)~SU{jE% zHG3QK=xrQnx1aXTxBQCdhv!wZtk1*ynj}{YW`tTI_TM)0@k^h)|`Xb<8az64={TPEeUIs&tyyc}B!sqwz90 zR(Vx3j1m$cLvA(y0vD6&-UG?0Gw|n#CSjX^wxoIiLH~7t(OKG4GPxm>dzqDjmlZdN*u~uNfe1rOke=xB?9`{-OqkHM3cTAnIorUXTlRdfod3S ztX02B|MtzmgQEtfQy9{wqf2ykmkwQ5k`R8gi_*L*{9Oes2482bMeJ>0xqO6dx(>L;vnL>DV@E38DP0uR|9V%5;V`lDvf4 zel-PkOf_OC*ps|W;E3xQP2e=(I3N@t3T0G^ zzY4238wDHaZvdEr?e7xo6kt%2I24YL0{lNGo<8vPORn!AX(caKwpba02k`Y=5b|V*hs&SmmJ}e~Fly!6`m9JIetM z_kW#Lbb`7)T`%dk8Jv7v;SgpLxgQ(>#s6skR|WsBPt@Mk&V_<4j_-^($;l6nIPS^C zvo6~Y4i6rVy{_>C95Ea`J0xk&AI=rZic1~2# ze-{c)2;_-m*bL)e7=(u%^rZQxP}uz&19O0%O#V9t;f6eQ%il3>Hg?V=*#I~?;GdTO zfw(xIxRC!Q4q^j6Rs0VO40@tL{yWA7VtXPu{wK!H@gEo)`=62eQ-J?&I~yB>=bvq7 z1M_e{jnAL*-*RA1&OfU@|G>DopIDv$j&Xsxx&8x#K>ltB00M!zdDy}K5ai(CVf$w# z91sxK-<3fi4hYA8Sj++8g8b8Bj;FEvr!EA{&dCn^qhbh{hx4Dk0D=5xFF?4#kbheD z#5eute*9Z6JgGwd<9a+iJpVQh`1h^D31VaWXRA3u?EgRPKP=&7W8?W>*10$tS=vCI zQ2F_v9#mEpOD`zJ(~bPJt88!o^n^W0{`C@Im9jIlr}#so{pa}UX?Auoa&qx-f|{Xn Pvav%zsBhkgDTx0+_T<=R diff --git a/docs/readme.typ b/docs/readme.typ index 1588f33..cd57f90 100644 --- a/docs/readme.typ +++ b/docs/readme.typ @@ -133,6 +133,8 @@ As another example we will number corollarys after the last theorem. export-setup: "#set page(width: 300pt, height: auto, margin: 10pt)" ) +== Custom style example + This examples shows how custom style functions can be defined. #let example2 = ```typst @@ -182,6 +184,8 @@ This examples shows how custom style functions can be defined. export-setup: "#set page(width: 500pt, height: auto, margin: 10pt)" ) +#include "source_docs.typ" + // If you are encountering any bugs, have questions or // are missing features, feel free to open an issue on // #link("https://github.com/Marmare314/lemmify")[GitHub] diff --git a/docs/source_docs.typ b/docs/source_docs.typ new file mode 100644 index 0000000..dd977da --- /dev/null +++ b/docs/source_docs.typ @@ -0,0 +1,41 @@ +#import "@preview/tidy:0.1.0": parse-module, show-module + +#let lib-parsed = parse-module(read("../src/lib.typ")) +#let reset-counter-parsed = parse-module(read("../src/reset-counter.typ")) +#let selectors-parsed = parse-module(read("../src/selectors.typ")) +#let styles-parsed = parse-module(read("../src/styles.typ")) +#let numbered-parsed = parse-module(read("../src/numbered.typ")) +#let theorem-parsed = parse-module(read("../src/theorem.typ")) + += Documentation + +#show-module(lib-parsed) + +== Styles + +There are a few pre-defined `style-function`s and `theorem-numbering-function`s. + +#show-module(styles-parsed) + +== Selectors + +The selectors can be used in show-rules to +customize the `theorem`s styling as well as +with the `link-to` parameter. + +#show-module(selectors-parsed) + +== Resetting counters + +#show-module(reset-counter-parsed) + +== Theorem utilities + +The functions in the remaining two sections are only needed when defining custom style or +theorem-numbering-functions. + +#show-module(theorem-parsed) + +== Numbered utilities + +#show-module(numbered-parsed) diff --git a/src/export-lib.typ b/src/export-lib.typ index c455982..51b6051 100644 --- a/src/export-lib.typ +++ b/src/export-lib.typ @@ -45,25 +45,19 @@ } #let is-theorem -#let assert-theorem #let get-theorem-parameters #let resolve-link #{ import "theorem.typ" is-theorem = theorem.is-theorem - assert-theorem = theorem.assert-theorem get-theorem-parameters = theorem.get-theorem-parameters resolve-link = theorem.resolve-link } -#let is-countable -#let assert-countable -#let get-countable-parameters -#let display-countable +#let is-numbered +#let display-numbered #{ - import "countable.typ" - is-countable = countable.is-countable - assert-countable = countable.assert-countable - get-countable-parameters = countable.get-countable-parameters - display-countable = countable.display-countable + import "numbered.typ" + is-numbered = numbered.is-numbered + display-numbered = numbered.display-numbered } diff --git a/src/lib.typ b/src/lib.typ index c3ac17d..39588b2 100644 --- a/src/lib.typ +++ b/src/lib.typ @@ -8,6 +8,26 @@ #let LEMMIFY-DEFAULT-THEOREM-GROUP = "LEMMIFY-DEFAULT-THEOREM-GROUP" #let LEMMIFY-DEFAULT-PROOF-GROUP = "LEMMIFY-DEFAULT-PROOF-GROUP" +/// Create a new theorem function. The style is only visible +/// once the `theorem-rules` have been applied. +/// The generated functions will be referred to as `kind-function`s +/// and the `figures` created by it will be referred to as `theorem`s. +/// +/// - kind-name (str): The name of the theorem kind. It acts +/// as an identifier together with `group` when using `select-kind`, +/// so it should be unique. +/// - group (str): The group identifier. Each theorem group shares one counter. +/// - link-to (label, selector, selector-function, none): Link the `theorem` to some +/// other content. See `numbering-concat` for how this is used. For `label`s and `selector`s the last one before the `theorem` is used. `selector-function`s are functions `(location) -> content` which can be used for +/// more advanced queries. +/// - numbering (theorem-numbering-function): A function `(theorem, bool) -> content`. +/// The `bool` argument is true only if +/// the numbering is requested from a reference +/// instead of from the theorem itself (see numbering-proof). +/// - subnumbering (numbering-function, str, none): The subnumbering is +/// needed to convert the theorems counter to content, +/// which is then used in the `theorem-numbering-function`. +/// - style (style-function): A function `(thm) -> content` which is used to style the theorem. #let theorem-kind( kind-name, group: LEMMIFY-DEFAULT-THEOREM-GROUP, @@ -41,6 +61,10 @@ } // TODO: handle custom supplements +/// Apply the style of every `theorem` and handle references to `theorem`s. +/// +/// - content (content): +/// -> content #let theorem-rules(content) = { show figure: it => if is-theorem(it) { let params = get-theorem-parameters(it) @@ -66,6 +90,27 @@ content } +/// Generate a few common theorem kinds in the specified language. +/// +/// This function accepts all parameters of `theorem-kind` once for proofs and +/// once for all kinds except for proofs. +/// So for information on the missing parameters refer to `theorem-kind`. +/// +/// - group (str): +/// - proof-group (str): +/// - lang (str): The language in which the theorem kinds are generated. +/// - style (style-function): +/// - proof-style (style-function): +/// - numbering (theorem-numbering-function): +/// - proof-numbering (theorem-numbering-function): +/// - link-to (label, selector, selector-function, none): +/// - proof-link-to (label, selector, selector-function, none): +/// - subnumbering (numbering-function, str, none): +/// - max-reset-level (int, none): If it is not none the theorem counter will +/// be reset on headings below `max-reset-level`. +/// And if `link-to` is set to `last-heading` +/// higher levels will not be displayed in the numbering. +/// -> dictionary #let default-theorems( group: LEMMIFY-DEFAULT-THEOREM-GROUP, proof-group: LEMMIFY-DEFAULT-PROOF-GROUP, diff --git a/src/countable.typ b/src/numbered.typ similarity index 51% rename from src/countable.typ rename to src/numbered.typ index b56e347..c60df9e 100644 --- a/src/countable.typ +++ b/src/numbered.typ @@ -1,6 +1,5 @@ #import "theorem.typ": is-theorem, get-theorem-parameters -// TODO: improve error messages #let is-countable(c) = { return ( type(c) == content @@ -8,15 +7,15 @@ ) } -#let assert-countable(c) = { +#let assert-countable(arg, arg-name) = { assert( - is-countable(c), - message: "expected heading, page, math.equation or figure, got " + type(c) + is-countable(arg), + message: "expected " + arg-name + "to be one of heading, page, math.equation or figure, but got " + str(type(arg)) ) } #let get-countable-parameters(c) = { - assert-countable(c) + assert-countable(c, "c") let counter = if c.func() == heading { counter(heading) @@ -45,24 +44,36 @@ ) } -#let is-numbered(c) = { - if is-countable(c) { - let params = get-countable-parameters(c) +/// Check if argument is numbered. +/// That means it is one of +/// `heading`, `page`, `math.equation` or `figure` +/// and its numbering is not `none`. +/// +/// - n (any): +/// -> bool +#let is-numbered(n) = { + if is-countable(n) { + let params = get-countable-parameters(n) return params.numbering != none } return false } -#let assert-numbered(c) = { +#let assert-numbered(arg, arg-name) = { assert( - is-numbered(c), - message: "expected numbered countable" + is-numbered(arg), + message: "expected " + arg-name + " to be numbered, but got " + str(type(arg)) ) } -#let display-countable(c) = { - assert-numbered(c) +/// Display the numbering of the argument +/// at its location. +/// +/// - n (numbered): +/// -> content +#let display-numbered(n) = { + assert-numbered(n, "n") - let params = get-countable-parameters(c) + let params = get-countable-parameters(n) numbering(params.numbering, ..params.counter.at(params.location)) } diff --git a/src/reset-counter.typ b/src/reset-counter.typ index e9ddc97..e97eef0 100644 --- a/src/reset-counter.typ +++ b/src/reset-counter.typ @@ -9,14 +9,23 @@ functions.fold((c => c), (f, g) => (c => f(g(c)))) } -// Reset theorem group counter to zero. +/// Reset theorem group counter to zero. +/// The result needs to be added to the document. +/// +/// - kind-func (kind-function): The group is obtained from this kind function. +/// -> content #let reset-counter(kind-func) = { assert-type(kind-func, "kind-func", function) - counter(select-group(kind-func)).update(c => 0) + return counter(select-group(kind-func)).update(c => 0) } -// Reset counter of specified theorem group -// on headings with at most the specified level. +/// Reset counter of theorem group +/// on headings with at most the specified level. +/// +/// - kind-func (kind-function): The group is obtained from this kind function. +/// - max-level (int): Should be at least 1. +/// - content (content): +/// -> content #let reset-counter-heading( kind-func, max-level, diff --git a/src/selectors.typ b/src/selectors.typ index d613173..bf6e1f1 100644 --- a/src/selectors.typ +++ b/src/selectors.typ @@ -1,6 +1,14 @@ #import "types.typ": assert-type, None #import "theorem.typ": get-theorem-parameters +// TODO: implement ignore-unnumbered +/// Selector-function which selects the last +/// heading. +/// +/// - ignore-unnumbered (bool): Use the first heading which is numbered. +/// - max-level (int, none): TODO +/// - loc (location): +/// -> heading, none #let last-heading( ignore-unnumbered: false, max-level: none, @@ -37,12 +45,24 @@ } } +/// Generate selector that selects all +/// theorems of the same group as the +/// argument. +/// +/// - kind-func (kind-function): +/// -> selector #let select-group(kind-func) = { assert-type(kind-func, "kind-func", function) let params = get-theorem-parameters(kind-func[]) return figure.where(kind: params.group) } +/// Generate selector that selects only +/// theorems that were create from +/// the provided `kind-function`. +/// +/// - kind-func (kind-function): +/// -> selector #let select-kind(kind-func) = { assert-type(kind-func, "kind-func", function) diff --git a/src/styles.typ b/src/styles.typ index c088c2d..bfb5f96 100644 --- a/src/styles.typ +++ b/src/styles.typ @@ -1,16 +1,28 @@ #import "theorem.typ": resolve-link, get-theorem-parameters, is-theorem -#import "countable.typ": display-countable, is-numbered +#import "numbered.typ": display-numbered, is-numbered +#import "types.typ": assert-type -// TODO: assert type of seperator here +/// If the linked content is numbered combine it with the numbering +/// of the theorem. +/// +/// - thm (theorem): +/// - referenced (bool): +/// - seperator (content, str): The sepeartor is put between both numberings. #let numbering-concat(thm, referenced, seperator: ".") = { + assert-type(seperator, "seperator", content, str) let linked = resolve-link(thm) if linked != none and is-numbered(linked) { - display-countable(linked) + display-numbered(linked) seperator } - display-countable(thm) + display-numbered(thm) } +/// Copy the numbering of a linked `theorem` if referenced. +/// Otherwise no numbering is returned. +/// +/// - thm (theorem): +/// - referenced (bool): #let numbering-proof(thm, referenced) = { let linked = resolve-link(thm) if referenced and linked != none { @@ -20,8 +32,12 @@ } } -// TODO: assert type of qed +/// Simple theorem style. Check the documentation for images. +/// +/// - thm (theorem): +/// - qed (bool): Select if a box should be shown at the end. #let style-simple(thm, qed: false) = { + assert-type(qed, "qed", bool) let params = get-theorem-parameters(thm) block(width: 100%, breakable: true, { strong(params.kind-name) @@ -41,8 +57,12 @@ }) } -// TODO: assert type of qed +/// Reverses numbering and `kind-name`. +/// +/// - thm (theorem): +/// - qed (bool): Select if a box should be shown at the end. #let style-reversed(thm, qed: false) = { + assert-type(qed, "qed", bool) let params = get-theorem-parameters(thm) block(width: 100%, breakable: true, { if params.numbering != none { diff --git a/src/theorem.typ b/src/theorem.typ index d259fed..b67e668 100644 --- a/src/theorem.typ +++ b/src/theorem.typ @@ -36,6 +36,10 @@ ) } +/// Check if argument is of type theorem. +/// +/// - c (any): +/// -> bool #let is-theorem(c) = { if ( type(c) == content @@ -50,12 +54,23 @@ } } -#let assert-theorem(c) = { - assert(is-theorem(c), message: "expected theorem, but got " + type(c)) +#let assert-theorem(arg, arg-name) = { + assert( + is-theorem(arg), + message: "expected " + arg-name + " to be of type theorem, but got " + str(type(arg)) + ) } +/// Extract theorem parameters from figure. +/// Returns a dictionary of the form +/// (body, group, kind-name, +/// name, link-to, numbering, +/// subnumbering, style). +/// +/// - thm (theorem): +/// -> dictionary #let get-theorem-parameters(thm) = { - assert-theorem(thm) + assert-theorem(thm, "thm") let (type, ..hidden-params) = (thm.numbering)() return ( body: thm.body, @@ -66,6 +81,11 @@ ) } +/// Return the content that is linked +/// to the theorem. +/// +/// - thm (theorem): +/// -> content #let resolve-link(thm) = { let (link-to,) = get-theorem-parameters(thm) if type(link-to) == label or type(link-to) == selector { diff --git a/src/translations.typ b/src/translations.typ index 68c0f24..0977775 100644 --- a/src/translations.typ +++ b/src/translations.typ @@ -58,6 +58,6 @@ if lang in translations { return translations.at(lang) } else { - panic("no translation for the specified language") + panic("no translation available for the specified language") } } diff --git a/src/types.typ b/src/types.typ index 871cbb8..4dd9f92 100644 --- a/src/types.typ +++ b/src/types.typ @@ -1,39 +1,35 @@ -// TODO: clean this file up - #let None = type(none) -#let check-arg-sink( - allow-positional: true, - allow-named: true, - expect-argument: false, - args -) = { - if not allow-positional { - assert(args.pos().len() == 0, message: "expected no positional arguments") - } - if not allow-named { - assert(args.named().len() == 0, message: "expected no named arguments") - } - if expect-argument { - assert(args.named().len() + args.pos().len() > 0, message: "expected at least one argument") +#let check-type-args(types) = { + assert(types.named().len() == 0, message: "expected no named arguments") + assert(types.pos().len() > 0, message: "expected at least one argument") + for t in types.pos() { + assert(type(t) == type, message: "expected only type arguments, but got " + str(type(t))) } } #let check-type(arg, ..types) = { - check-arg-sink(types, allow-named: false, expect-argument: true) + check-type-args(types) return type(arg) in types.pos() } #let types-to-string(..types) = { - check-arg-sink(types, allow-named: false, expect-argument: true) + check-type-args(types) return types.pos().map(str).join(", ", last: " or ") } #let assert-type-error-msg(arg, arg-name, ..types) = { - return "expected " + arg-name + " to be one of " + types-to-string(..types) + ", but got " + type(arg) + check-type-args(types) + let s = if types.pos().len() == 1 { + " to be of type " + } else { + " to be one of " + } + return "expected " + arg-name + s + types-to-string(..types) + ", but got " + str(type(arg)) } #let assert-type(arg, arg-name, ..types) = { + check-type-args(types) assert( check-type(arg, ..types), message: assert-type-error-msg(arg, arg-name, ..types)