From 98e1d1955c850cd1f2d605dcf180ec79a36ec77d Mon Sep 17 00:00:00 2001 From: Martin Thoma Date: Sun, 1 Sep 2013 11:38:48 +0200 Subject: [PATCH] 0 and 1-case are essentially one case --- .../Calculate-Legendre/Calculate-Legendre.png | Bin 48793 -> 45032 bytes .../Calculate-Legendre/Calculate-Legendre.tex | 8 +++----- 2 files changed, 3 insertions(+), 5 deletions(-) diff --git a/source-code/Pseudocode/Calculate-Legendre/Calculate-Legendre.png b/source-code/Pseudocode/Calculate-Legendre/Calculate-Legendre.png index b508066cfeeeae2047289586a316bd6db0daf2cc..5c89b5a472ec5e6d0f1bb4c98b2ee52d984d30e0 100644 GIT binary patch literal 45032 zcma%iXH-+s)-4bqp*NMHNCyS!ReFceMd{KNqy$j9kN_GWs1$?rCK^GMUP6b62ue3n z0-*}h14s!a1Rmb|eeciv^D@R6$=MmF?0xpyYtFgmNwTsqVxs4vr=Xx<0vqdFQ&3Ru zUuS-U(~_6;CrBpPc-NO;$ojJ$k-v6f`WnL-$qH1o6mL8$Q@!}A96R) zD|e= zjZ}?|o-)|n$)$f0lC~~(lRzxxFi}#%M=2n|Idz@iosjXe?Mht ztf-&<`X09xIqF8Kvl8qV@ zVd`7VQM)0Zfoc}r=h;&$bi&qiSP#F^cAfckCA5m)=jZA4zOrK6fu)3xCir>OoiGII zwy^o!1X=tNJ=8KV`8SLvfA05mG=?wk4kn?!ywg({Lfgi_hDq3O$lKp|wQ0B53^TxD zk!MxF0XQ=x z0W}kK*HUZOVSdi+NQ3t!N>P{>nfTe{glz}k@u{0c!2v!_`}w4awpy9#&AeTz#!X=3u{6Y$A$$<)v)YQ1>++#`A1CzTlJ z@v(&Du33G2Bz^*4I1xsEcm#IK^qLg2ZhR+8%0q|Kp5ehTusnqr6>uCLX*2N$GgF{6 zlMW-^(byo~$x9c9k~eSB-cmt7A$4NrNKMHdZ@DHfx=yE&TU=^#P={HG1;!CX2!W(Q z=Dtd1e;QB(Z3Le^he{Wb7ima=rwU#=jj-ga*PF5X5MYy6w{8JrA%og7ov(WvzYgo8~DTUr$UbPo%Sxh1sGnm>yLfz zBySJZ`PZ9^T=kq#taV|+5QAH6I*)QGK0Q6xxs}+K7g|m; zkbAsLsY%&JdH)gVxnq=`a0OUhUU{@AYxEIRu<9Ww$Rw1HKECS#oRD&k$k}#3K9=rY zB}fU>fu7w_At#$_F7uo`G*Ag$Y|;Y@7vq%2kJv~>Q1etzbFo=<^an;nC<8D z&&QDueTN^UZ{#FauN|dv$>dv;QoMjtLjE>y=Ef#5-=~64RjM`qGH&ai7NUnv=V&@? z{Wi`VJ83zH(xyv)Lol}+&=a&4vIi^A^Q9w>9NQ1ZTaSv8R7}(-oq*~bYA76%TFI3B6q)P9nz}XlEuVh3UfMWcFYcF0zFT-LD$$ zECs$YK}#Frb-4IbAMi%V-P4fy7)%G!R-k;&vb?~R>ZqvKX3s`?;hV2dDg_Rv2&8KN z6PK{)Wy->$cufmJnn|cH6Mf4v*mODD1)D!;Vd4nrp+Aij=H*{w=zdi{HvUes%(;r7 zw)Qy^s|oMp4&pLCRV3Z!k5CI&F9$#3S#Ntl8grbxUJk7qB3YH5;ad_}msk&1I}+Lg z*@w-Gt+HRO{@^*;!nmM^E7+g3pCrN`Pb*f?vrA(+;#v{hKc1qCJ{ELx**jy)(XK=F zzC^W8ncFt1o*@;fYLtigj^?kmfCNI`lh!HC?(&M)2XR-02^7(kI2>98%I1;WtaP=a zDW6Lw*#K+Rn@ix*HE{YF;PRin( zV%;(ObzLsv0B)pnJ%R^3R=#B6mM|(_4w^0?f4VlqcvppiyYPTHQ=x5qq6Rvw{v7|u zCwRN0-|yPB#9Z)<+8U07s|?p+J0@>m!$RiEQQ+J$rr&e#-VEmw82!F+EwjjyQmJo4 z8~YTl!`aQ)@WfZnu4JMhZ*(K4Xw-3OPX<*y7?l*dV?cLs8j4Z#X|toN2_rR?1|FrN zm|}ffaaEwpB*w^qn=NRO6ydGEtZwlNJ%A>PY>DKxPhWa`BLiBd8gw4rPN2e_DgRZM zeEsK&2<^=S??4sjVGi^hKW)W<$j8A)5Rs1ez8&n=gXiUh^ReB0@T0oIz#D4nBs(%J zQSp9%^|~YSknXwZu5#^VXP#R5xMAB)1MmhrUR%1N!KSL!>W107kc|@?>`AwO_3u3N z9N2wQ|mR##YM&YVzjUda7ug|W)fZHkDXhjd*5dA;T+^{))=Tar~JV*NL~98M~7{Huvxmp z;qU9yY^w4S>21&b4ee_HjHbH ztg@xm^dl`?Gme(7+U8D-KmXmm8DTiD)aBh32Ja*Hje^W9qlZ)3X&-H{KF?T0==>Is zbk4$cybF`Wa}4i5;T1h9cozBLdy!Qx{NpX>Mw?qIIG<+Me$w6f#0H1+%}5q6Ax70< zewea6$53FU*r`4vpt2F_#mwy52OG|Xb~KOooWf;S^^U`XnXf2|_{+}%EgENh4-GCB z1M2J>9n&JtET=QXI}P=z96jp&&0lVt7mwUT!i@b%EhU*~2ANXAS74=gyBP3hAUjXJ z^ps|Mp5Q-p|MPe8ISo!MIbJhU{6HgVQvbb7*5dbTW@0`sK0GxcS*J_gzTuEA zldv)FbNAvPZMq`I3knh6bx8*g@hj`u^jo?4AD(gPX-{InwnYmbx+;O3{qkS(!N|4! z^Uvw0n=^F#_|+-z`~QyAb$44;aR{adGrDx{_k{89OyR#!jnIlAb2=e=_w zA0anb>Qx}L))2cJ5-In5M~(<`Zy@(z_CLK0IlCK=fh;}5$K-r>_60vx$d7!24*Pe$ z!jT`E``(D1qC|E9(JGhRjNS8EDKXfZ~n}VWVYU*KK)=JRI50%BbVk-sK_|{q)E~rzZb{ei-I)y);;k+PpU6*>{PhWg~XFll4aETJ$cNcr=%SNxTH*lYH zpC&Qe5&H~jh#K}29?a>j`}6l6JaeAUrWIL|rI3a45oYRpE0RnY;u7SpUh?QZykzPx3~T-88$gG`}Z_%<`%*&c@y);ctLG?a2s-USb&}& z;u~LFJa%kD3C-8XxqAjbI3;sGT(``L0Sm5vo5V~rMCSW6+=DR$I4oVrR1UQa{1}~`RRPfxgmB2!zV}WUne)=mAA(> z{L`i2zUxJBn2qDMR#Ooz2b4iFLH^e}Y0Aga0t?l{LnH~D`t>rgUqKC9Pa@S7i!ET4 zndet?yptTKS}`{p76ZKsb9N*2ub*dtK16cwIOwi+P@bY}iH(@Y$B~L2S5E7gx4x{@ zZUJMN@49VqKkNR8`E3dL&d?Un1trV2>z2Fx7I9K219 z;*cFbq|RKg9_Z2ZsccN3y%3Xc?K6fPgM}3(*uSW?PDYUGRGE!y-u$i^+X(&9YCdfY6 zgcw}=yB4?RN9MkN&`UH&dIfvejY@!YZh9lEJW86)UY@?B?CtK3yjB<{xqF|Xg{jWb z2>VRGY1lW(lWyM88#gFg4r0vOKNej{sVDot3|kiHn45@o@Sn3&Qyw7V2m2@+y>k8_ z;@I?6un(PF$5aSX#_*??cOa$fotM#7!V1zxY&=C?6Au3*4#sxdW;{#>n+#X{+tRHn ztKDF}O6Q@Gc^YE{gQX*?rtjuLGJFl+zrO!)`oLZXz)1CG@ z1lR#1|uUH2r$2zfXZJ2**zPc(M8=Sk=oT!DW_!a8H zQm&rM7m=JFK+}R66XvBb12ATW#G?9+e+1IKZ@M7*)Yp*Wv+c2#CMQWKX_FHsfh9@{ z0itw~ppRNtweOb%FKGdnt|-%~D>%*m7)Pv^&!{bTEPDo zqy>oZiDRHl9_m;a`tm5in;&S9yfkpC0~RxOZ2Un{Tr*P^Tg5(=0gXKrfr6~5~j?*j;6wqq%Z;A&5{9IDN*g^Q*Ne5w2zxhVY8nWarHRsebobRCv%lf~( z^&=&~xpTR{@p0?uh05}MPcP|UsyVLTI@Z>9@FhTxZfs9Qdh|X=!55+ia)`=ss_=6d z%y?Xlt0`;8R{4$9A1zB21xhYGl?M(jwqyx((W6I!xtqfZn3;pKC7u&gNTB{wUV+s_ zmGP!TXFG>``o?I{kB$_|!fNs_(PJ-xS4ZNrXtH*Cv^>?uq-LW4)UoSt|G|aI@Ox|b z>d2=+Q&u$!FA-XAT4son@sGBOXMncMToz$-7Jq+IU_-5-zf`8c_~7|n4Lzv2rkWpR zFeT?fkoG@0FkK`aE`8`l1+~`4+G0x3;n(M31K=jb_85NB&llI0B%O+&EA0K-kgD;P zC6!QrZ9h-FSiHZhvb%=lzePUL7ep}EdXRdaCyU00#C&-$l{U*LSN*FbZe=c}W5 zZ|SN00-4oKbpoL4@x=XZ+j;NUB96ZXnmYdHP~IlQPED=k0?Qx3JQ&}5 z^I2~DO!|x&S#l&$i0CH`A!+4=sW15WbId=U55fZ*DnBfuJM=a!wd#`3cT=w+i9*wD zE~ZU$Gjl`<$ZjCjt7>SpB!sprmCTCoKMc%Xb~DN()034|Og78aoO**D9$sQdPeuXidWCRg$?x(C_Ih zLq5;OC6oK!|b?naO!9FUTOfpq>)&u za$^P?Nac(*gHP1`T+40P{h@g+TVSS9)0Y&(JF4g;2AS#@BHG1n#0vc~Cz$aPL)(UD z-Z=2L&y4-L043qD!sf3}Ra?-ae{9qCB?P4+KS%s7qS*S#JD24%xSnT-<)q814K{V` zXvq|fqKJZM+S&$GoEA~Qct|1imw-3v_fGy5uBkzq>tZz>^B>B79ZJQzCn8;cCO z!h=&sDMKMQ?}rQdh=TXVhL}uKvo#*x6x8)9YRN`J)z}*9gieAJG}YLONP;cX^#R&V zF3u_0bVJxmDzK@sDziNp8!pWI6Z{puZ30w`0l>0Z2Cqp@*|XqGuxm&nm2G;6zl6?b zka{f#n}fdySZrBORz8R^=rwAX$_RY&B+t+39#*@aGoA&c*9PqBD@MEydrt@F=&W8!_} zWr0DUpxd$(w^@%=cB)Z>7h%C?FiT-Ulag8Q*CC;5$X4ZUE~v1Z!nD;EW73_^CAFp< zujVTZvFM&ZLZKvLZQ>60ra5C5;{=c$vwDkYkt9SR`3pbzt6JYA7k|6-d29jQ^H>pI zpJB?<5UVi5E+f)FWSd%$we(4~(hjFv-IbL_0r;dm#w;g{qT1-?sTjNO=857~QIWSG z_3FEBw}-h`LK%ns@+4EkA>k1HRh%Sf3@ZhXGZdSEN$s>J)c?f1liZblJvTvVKICl1 zC0mK?EgEPm>Ra^OZE7j`qCeWE=zBPcxznKPN&}lH8g@IDi1`zUJq4sxK+lAORI6>3 zA2QPh(4vK3eGa4;_xZl}*kiC&b@nCe(Na`+;c2v7H3W9uj0AUFW)YA*&fA=W6m0uJ|iA^h7!JfMQi#0`UXY(N$`b~wEC%K zAcW5U1gt}rpdLL;ub8alv$@*#6H5K<*2%sK_a*Q6n{{W;nLEefU4$zuu8$w&Ppuq+ z%q@zojzFFycCZ~)ma*y-kp@z$wZUj6vKENB0hYj>1s2ZHMcl!P?b(OWv_H+08r-+) za^v#Q{>xnL($Pu#%guC@NeF?+B7dpF2x5|F9_GKHIa$}w9(fTO$7jmpA7xfY^@6p? zRq!5Z|nNtHsTBMTSFV~At2%n zE^M4{z+hmu^`Ujxtv&XjtFfqWbYJ!rWc9AIfLkd#g$x7LCeQp>yy`Z_ryP@yp7b!l zJV=l(>*$w`yM5iZ&kI4HIKg^KU_POHWJ@-dKM}a=5Yj!}YKEf<6huTZIn-q_@Kq~w zhj5Tx-sv!h?_XcmYH&EG^#+O(#Fda&e=lWlSayuj{PiwoKTEeB$CF=h0(Lxy7$2P#sBZ@M`myhvl+=I212`hv z@H7)JM6DzyYS+((wlZQz8%3el@PZgizur0uS4tPkGgDkFljy7D^W5#OB8q;%-m)4I z;^EO8tT%JMzF$bp^US%YliE;%CI?h5*fNy!wd4)%B1>oz@UWX&EMbZ3zpwA_)xqPw z1;F`ZD!)Fd0|ZXO#8M4DLd0jo^BkgFhWF8~10=Z&LgUk)=a)eOGfy5!_&9j*KY@xt zPzI~57Ol_k_kFCV{VeC#E2ofe;SL-aeCeA3}}o9?0zyojR}1Eo)==>8OsOIs#Iv?u%GLJ zi;{Lz`lH{_{I~WCjYkP!dLienEbERx7H(GV$^CCF_*njCpp(QuY*aiV@UJml0J)rA zzp8!cc>xUXBQvk9!Y;LlE!yX&ovF|>Es<~E47UmGH!^v;apBok#W z47uq8N0D2r-1`i%r^nhwc`OHZpWI~l9zJOue2w`En915o+jjulflsEpedQYqw?xVy zJEdL1U)0fuwd5PGlI@Rkq61W4MBo1Kc0T<;0dK@^@xAAz|KzLGH`>6V*9sHb;Z%aw ztP4OFbmv3TBRnS?Y*<>jTv`i@gURu&{)ugcoc9p>0W($L*dnS<|CJRt>o3H)I1*js zSB`X{y(*cUG}3^j&}>{5W#_s|AMQa4Y8Vg&;4Do=y2yeD?Mdm=Bb`Iqhwpo2F?#42 z2g`c$Gt?s8u-+oSkNbQ>i&a1OhGBz$jNdZK0Q&+SbDEeWQ_?@#;fy`ekGLD_2hl3% zAgqY0_soDJRzEk55c3A5jImEJG1pu;)&JKE0O`!@WuRbaXgUKTDunzLZXXu+9tfOY zUpyHO^bhy!IdE`&ocHxZKt|vP|LsmV2jU@QE=L+^8xU}AK>gUBFJf$s&yg)9oXNu~ znwyQKxl$>byJ@Up1pUIQX3UsmKF^FF9v_l6(SPB)WP`W!E^J01!e(fFv*C}9XAU@z zuW3p8(BTg)H;H)yK0P;~e*UT-rjiiT_TNHOn)N<@;_9uiR?dEg^43UqQPTB{NO0llLWy^ zDWq-xV&KwWGh|p_v^<#Srq8c?skcOZfZ!-wg7K6y_S4M$-ZpsuxT({FW59xC$7?{6 zF(lMQU>bDY9M0%3I*=+zJ^ll(Hp`2cS7Z(FJ`}ot+16#ZP;gpA6TCSYof7muLUQ4( z;c_pVyR`&S5QZCO(;ATWo-t+L;&BydljAKUHzjZdoyxc}7Cd1IGJ$o_H}TqMBGT`d z)mjKo|0y(VVwh2#lhZ5n~~)MH7C=SlCTO(s;kS;R`I<~-AzaZ?hTjrDV%~_Zgp(LJ^=HG`q(ITGo>lmV^zzpLs}RGeMG=}AtPsLr!(dvK2xXDgjO)N7U|VL zEb(bMQLQ;1fl?{k0fsiYtjY_XpRTtn*Am+$1$?03uOfr5 zR}vKKW$V)|R-(fHGVfMsw~5X2cg4bl&Q)i+#<>3M-uxY|K5u-YKimK1IBIou*4$rI zBF^H~5gNcO5dBe_Wjc*z(;pciI(j7rph-FXsWPp2th_dtU_(0aqJUXU+}bbjUtEdY z^j}fNu+V8Ot#D8}_ORX=fu-w0Z+duzz3&3tk+2;)HwS#c!Fq|059;#?vy_{+LcfWb zPb8)Sq+2Ae`L$1{V7kyT7kL{WIH{S#s)7Q(<3z0Ld&&{q=gsh`-sDua+_+K+yO-uu z4gi(Zos9c`YY7}r681rCwnPDZFF^W(9}bvg|8gA-)RH}7AD!)( zRJx}LbtBQ?=V&{MN1nNnE_?9rydrS=pFabwRzEI`$%-hRDS~pDgFdADQUw5bbVz3nbCZx;!(^>}MX^Evk=SGC=j*UNw*QQB>xx{exvPJF^zVc0V; zHUw!Qpb+uWq(vLsC%J23%BUY+3w4y{ZHUg#*1p$fK4DMpT)!GVYxucneCWjAqo9N?OC7Fs@?;<9= zhi!}!j8CYmqnN|i|Kf}IX+ulH<(`{KiB^8DDbTqPu^FYL15`9_xDtV^((Cf8Cz{Ki zr%`n*3oPgU_z4a+qN=Stz9Y{*!C{Q(faVjRjgG=;&aru)WcVr>Q=7GD0i(A$UK5%7 zHgZ#02TE7o{-O1VG^k(xbDH;qn1tpNJ9P@gl??26J8pDgiu_Xr1ziYM{lAI?B%|U9 z6T34ZS9TcU(U04r(w}$Vr7I@dN;T&jNHP71TJLc@+n^h~8ybE4v6ffg%5M`l{SV)& z$yC*a_$UQ6`lc^Lo0Oxa&unuKOmY|&HTJ!{E^2d)K9d*{*J zuORBe6&|hhHL5o@&aAL}ps~=>Es7P9dp(OISsO3P%;YB7_6^y zA{=BryI3N-eRXQ4+uhi{Mz%OPM;ZTdJYYr4h1sTApu6t;BdW}||I%HyxTm&)3bzkb zKf#I$K?{FZ zt{7C4Ex|%b+2a`nT|BR@vijDe0*cC7@ocl{j?U1&_Ey*`kd>djhWFSBJG=K&2U<& zPwf)6?|Nsply>-*papJWiO{P7hH~TWSpC-bSaW$m3tB?OW3j9s8`-8_ zl+CzXC8B=%cKmI6>S|{CF*>dWfLcRP{)C1!eJhE3t$)MaI^#BQh9%pOJ-6k>LF{us za&7{6hc|2Zu(CV6A&~%Vy@_29AN^>MR{}1aWqys%UiXSGym^xf4gw zBGzhvl6Bu}7YQ@+ByDJM_GoVVu_~D_&f5=NlM$83hyoGq8|O8sVfpH6bir4K$7O*_X8i{GlhdVKA8NBA@Ttc-B?3Hez1RjaKA zGyTi6zNe>dZZ>1YkY&Jar;6{}pf7g|ieBFL47_vh*0tXH^!DHi&N}P`;cF7#LMGEU z+Mh0j7lbV9;A&ClE4B4E8W|QV8^<=9m1tlMg%SMKwhdl6b@9LGHvX2#3*jd|EEm_R z7NtbHPr;ts_i=3losAZz9~iW3%3frmD{jzuSzLr+Ec(1)W6OzsBaBskspZbtFH9$- zvtXhPATXj_?A>MdDyk@t*Dl}Wk*s*;uwNvGSb)jnnXn4z2!sCE{<9cT7938+Y}z10 zuZQ!J|Mj|?f+}8M{WDz0;~U5$=K)f{ySkLpa`Nm6u&Zq*aM{5FT*5P7XeY3;s)w(E;EG(;XgkI*V|^|2zcDxPl3rcbXn@FJDO;Dkj?84~t@q=^8E zPY55{a0#@V44jG|9BF|vX19|ZHee0`uTaofh%m4IK-d}mCYWm)k`u`X?2z(_82X)7 zPbd2|>e^A{nKmq^SHgJeC(&oH@>@-Xm(9FPyv|RJZq?s;n7?BKCfH((Ez+WftgqQr zN2zA=G%aGjk)~vjn8@*IBdV@I?6Nz61-Z}HW#up46;!?6&xF*h#Mvrdm4Pr{69;^p ziTjBR6LaCZN>L^88+A^9A@My%&)u_EWTEPiTr--~((5`do5V?Y+|vL&RK3T}1QhBEp-!+0EZ&t>IG11DJt?wJLoyL{v}e=eNd z*Dz~1E|^(N%-CnI@rpJhv`)SlIej(u=E2EtOmFZ`wffE)t^3`XRB-$P95eOJJna4G z51qZkq(j`HFd12W9ASf{#0(<})Dr*fY2`+6MmuA_>fczqoix{-4o_JBsvg7j*U8Ba z>yX@ULV@Oc9a1WI>);ujx3}xn=dQpd)_E0hpx0U7_h1=(YrcCUW~ z_EVBAEVr6<{q|Y#R~1n#m6bjoutdVtr=gqo&LxZdzMUMWqhn^uJMsl8*JL(7VGXI~ zYTF&iQ&;;6C^xrrrJvn=y?!E6Ho4g>y*@O|t6@j~9(#G!G4u9Z*!${=-Rm0(_Dl4T z0am=U5^9+G);Np&;?t`_u|C%l-r7tJVN5P+CWyoLsCJO&R&Ptc+6BQXy|-(G+YV6Q z)A1+CSp4X^COWvW0WNxCcoq(JEl-`_pn`a~c($TH1@kgmPlz#UIE^(*ExdnQGoa{D zk|X1qXit^>F8+3ibBrs)-qV@m=JzXoHJ?|}bdTyXAR|1l{N#V}-6B-4R@G^iUCzEV z#}_KPqPVZS@V@UaX6kluLHX-?jfLc(m!tO-7k%*CV}0c&w~_}x2VqC;SNOZ;_e;qm ze{|>M8oKB##I`K>Hd1v=4K$Tmlu*zY)g7)5fcXSlcmAor?tq0SQTeC;SC6=RZ|g#fxTvaAMlVsf zT!7gc*nbK_?GG{3EvOjqlK_Xcjh0USwaehVaqI;yWOC<@N=E(Ya}xy$=9x~ZGAU}- z8s{2d&qK4r9l^oMD5w)w4S9Vdi}}ihe}Y0LO@2Qav~rdFr5wJP))HP8$Tr(PE>!N@ zyT`AP6s*F=v?;Am@y409MGp{%B7jPnwbrBpYj3g{_}@aOdSIWZSYL=Y90Rd*`_sb{ z(pMta{`iZgZrDZW2tMitq7SPzei-!m7!1iMqoH6?@^xGcMXQ3Fir^Hv9cbVfUsLel zTK_+}#dTym<>94{5M`0+b?0Re0C%ehF}e37=MXaQZ-l^#!?u^l=U1 zOL7A+u%ErnqyOSKXGhUt3QxL5moMNG??rO_1>D|*d?Lx zEBsIf;R-8Nwgw2zc`EZS z-h#X-@Hm(r+sIOZl7)Ds=rgJM-(SUz6Hxs=yt$VJPv;}z*khZyVa`OG)Zb|2sDYq82U%}4|1}iY< zFPFESYQ<7l>V`9x7c#EQk^C`bXuhGGme_}J_@tb}XOU-m^AErzw!i(BukSUZqsO=t z?AVwOI2IfJGv(vXF0GoboR296-1ug@K9de=IMUG%DLH4CCmkm>oY7pqlfX~io6-Gh zCk8sbot(r8z5Mkl#3OU=l96ylmTDO;%#-oZBJ$;5PczHmqdRc%4sFoRrM;eXp2<^TN%GH~mC=cR~*KeH`ys zWF94X;h?**f0cZ5WLWH8M&p!bvB{g!_4r1{;ukZ?tk<R*Sx#}A@qNORd2+y@a z$#+_r>!FVlAD-)!zbvvzeR40F>musG88D7j^fod?h)wx;^c8ypW6hPb22q0!>gXZj zL>z-ig~iA3bHfMw1YyZ}1fAy99aFGtSP#>-UVy->-L!gY0pl1muI~ktOR6zHpSMJ{ z9+Dm1O8P(+*j>!WE9;Snd0to1-yM1b=ooKOgZg#dk8MsFiA^lOsFuQO=-s&*6`2kN zXaY;0vCl_oe8;~MfL|$ zV_B`JwOAX?pZx~O#mZ`pv zXhP@Z!PUxF&M&ziDZPj&Gz3rO*$?H=N942OdfEE90s*~~9gf&u(AWO5I6DyJ*CaBt zPws1ycLV!rKdbNI#`+ZMpVNTr&HSx&Ze+q6$en*V=n)FE|1T9?DxuJP^2OnwMsAhO ze)E6a2si&zZ=LJOXP?`|(t<1fit2_UovW3*lQVKXE`|q~Kq{psUH)k%7yL z#3+dF{f5lEIv-$uNzQi#3+EgQi~Br<-TpfwcG>zv-R^~gZFM7B;dMP_&`W}H>!5m$ zppS61){Z*cJ8nVi@m_v~tqX zFFZgRr+I65n8x3vNxgtm<>!UJD@;hYnwiofZC`2uNi+}y^;%u%cAXjf4+V`G(MBeY z{CFOVZqB(^2#Q09peE@$e0Yx+fy2L~7^X;^f>q^hOu`XGP~gr}L*0w2!(CA|fa{wO zh9K+KdA+hQjWmSBW0@VWVE*<^bWwW!&FbqxIfR!Y1nnko%`sxZ+H3@Pp3BXqYmnIK zKj-Y{Im1{y%?=KJfTxn8oPBiplEhq{JOGb}HRD@lHN7deCsKgFia#}L{TS&}qfqA1 zsmK%)yyK$wme((V@MAfZ^?Rr2X;;kiqquAYXNTNhnP{oK6yay71BJan@7ZRa_4@+9 zScVtNVmrGlWV-!?(3{WUSrmVn#BlZ-K0Lt*#G);pl038gczgjkXtT@#|L#bl%vp@z=*{ zUlTN9Kl}D>jHsjh|5=8>l&7F-O&N(Avxyh$yxxL54=p1;5}OxyxmBNr&bOF3UT&Hp zu3j-H5g0ug>~iQd(HGeSft@H>aA$g@4^KGojo=fdAOp!rNUr52PSN_y6%jA3@P`cP zb=ooS7moaO31^&mOS>fG@?a`oh{zfTMhU42VDiNPHaD-h8s`DpWlQnJ%xYJ9&V3JB1Q+GttiwKWC!TI_}aK;v9PtQAE&n4XZA=!T=FX=<_ul5{_P?9{YhbB?0<<(?$M#?6Urp--7ZA?F(!yo_&gQ(tQH80x`)B~&^ACc5 zLmOCjxU}l>m;!qvm*j|W&2hob zSPeR%4!<8FCiC=omiimP<%Gbcm3Hn4LyCEIJm*G|N_1SnJx| zUMgshuyKg#Fyyp;m(q-HqP?#qAqoZPdeGdwEoO(mAMTEC=<5Te;JYMhS%#0 zYpBI$qSX3u%F@(%Jkt*bszkO{ngpUZN%Eu~uz)MAJ2m*@@-K(Q@h2k^+5HwF8h)@# zuN9PQM0U!iOJ+1<{(G_;W@nfF#{t;>79Agi{1}C~)^9uo%1+q6?Ih9IvN%i1&NV4d`gKMBIWy3zCEz`%aW*tg1F#@J zZ~U9A#!zDybE&2(My1BEgLPqGWhLY`S1Te&eOwkGIudN@8pEw~-z37bwIq{x*-aEb zCw5K3Oi5SLMp_6`6iC9uy%w7SUR0Q?^mD%?Y{b4KmHvmNDdRfwS%Z}E9bH6M2p_U^ z*ynDD?o@Pg(Eb?RoRDCpJBb_LOVLOfh=-wVS2!>k7$x*}J(M%ZrBLk~(G%@jL$>Vl zTpb%qL#N0z1RAg7`k*iF>or236PWzxTucj-cADS>dB}N~+tUe&aa!i#57e=BvBMM7 z11Wl2S$UGbP}2cz-v~%8;`EaAhhq+}IJsH7cw-3&x~`PBczhP6k}5FX1@T zhFcO4u=bnCWdK^>esQIaz9tElqRz9&EOx)N!}z1Xg$~mI^*qs^%e6ANrSs9S!-1s> zYc)ZDKV8(ucbaBByUKPpH!L_!hqh@h#ea>gt%w1HHzX;H&fRC(wDOAy>#Ev`P@;(B zvjm{23kNpZ`-uxo$5(_#^%wwwRIX+B#Y$Y4BoSQw8>~F3?-5OVF@ob!9gO}I1E6TC zqg;X$X(yK@ohyUvZh}waV7mEsw0mvQU%>+6WvFM8iWZ45YHT7(r#8mO2YzPxX(B=>V2H6Y$e}; zsv5<)z`b8MO-%r!zfV*i^GSz%HJkvj-kH&{i_Pq5a}^rba{NolhCgJQZ>?vkIAjho zUX1M}k}$^&C}|2YMfptQ;?vvUZ7OAS^Q<%_>ERroFfEf<$;MYF5G7d+EDs0=gyTE( zvEi|KbQ!-mA)SJ2O7pC4=}Hr}H!f+mv^^w69cz-CQCH*A)mW_=jHi$YR5M%9$5s!d zkdKt^K|7kjB4^c~hu)@zF>HF0bifmAawY8bE0jfOavO>e*B<8@5+P|yrK~7A1vAIq z#z-}UWfA~@CC(&7zBzf}|Iqc`@oau!*tm!qwW(4qYJ{piYSb#VA~mXNZ$%Zg_lnY@ zcFdX`QElxNn-rzBg<7#n)eLIH2=ROL`@X;RzVBZ?ktgRl&w1{1&V66kb>C-VZRpyG zakO2hQqU;3{l;@upGe~6cbaV(vC;nTaRf=v-d9~shk0vZ+vK)l&{349(21`AJ#ANx_9!y>C>qT4uCD)k}nRq#rzRz1vf9*{Da+eQ8>2jzA=3Cv=K3#Oxo}1ux zO^^kQT|@m@32B!iRq0a#BUFf4)i`~-L5uQ!T><63v7Nm>si^jcMi;oV#qSNOWM<7s z@a^G};dk*&>pt*ic%S)im0Z)&`8THLXU_mm>SupmUGPm!i?gbib`JK~uRcL7GM}C?~S$wfDa#>xmv&-V1 z!zsN9&8Im{s8p|TT61Nbo;*SRZ8Um(o|eK}&%|8w>|=|J1l8x>7Tx|Y3d#_E7WvpGzC-Re1|2JNkjO2~7(PN3Vy4af0p&a_g<@4}H{0HZ|5 zG~D!%Ek-)el$V|r%5w4m8EJ93BX?Szq$$NJOq=4&9R!X<0|{u9d-CVyLXN;%-4KVh0GlmDCWLI0 zVIdeB;B+F|#SZQww!Z5s_5OSsT7)|vUw@NjAUmWvGu$_W+&jLxX%1`37VRNpajvbY z?w?w{9L+fI$+L4>IFoGsdO8)$C*z?V-ie30_tHR|mdOXJ&z!7H!ajyEEzOl+-R3iw zC-}F%Ds%<>H7KY4nYdZbrx!5YT;e<8yz&w&wq2wjgKdZt--ufWXuF zOIrfMqg>jFTZ7Rz+p+jhd2XRu*}Cl-o5NG-!*J^ycQ+l%5ehe(;@BhOR_FQJStF}* zPdA?g91go5q0*5vPrH^ox-3VohF78w1vc3NT$$*&fumNf-XL`6i|v19*{Y~)*FdmyZ-(HnnM6tg;@%oQrvy!ez?I0>e8Kf zGbJx3C^(ifAU`gt#huW$l~)`seM2IyDmo;Z)BA75WjDxLwc$jrdTo2s;PEvz%Xgy( zZ;P@jniyh#F5O>ublMn&=&rPlR_Y`8-n_3(R~1`YkpS9EV*D)RVDcWj1t(IH9{>dLVHoUgqYX`6~rXAf^D|Ncm5!MRvO6+v!G8U|% z{`-Dcld)0$9sf)7#qJ7P%Ivt;&#MijLNgrd>yu~ZKnCd9z@%N)t*9uwGuQ{s;&jI9Vcs+G{p`JR*Bmon-3~^ zVBcIM)7>Lr^9~_{h&7peY{uBJ*Ozr>1#dr4yUt3UROTi?8ZcIbGca)qQICvZq*CC`DruamBANmeqiILzv7i|kZ)q+UhRdbLC0C|DpVm~Qa1j48Al-GF4oDp zOI9qaV(YvJ^?ma}e62d4=9Q>Rxv4q`;<16(nsNf)v5{GtnuH%cK|!Dhq~lYKs5uT9 zJ2h~d^1Fx1j6g21uXMitjT;so{e+Zt790HaL`{N=wGOL z3cbvIF?$xZEOINm4A!c%Cy?V-O|w3{vR!QnduIs~rseVahJlGY6v5}>XYQ3562PV% zi+vP~gna4vn(jElO|~w&q(8}qJ-d~X@m?%rzj2Z-y)db;*qXVT*D576 z9;DA4yxKe!UNROS=lKcAOC@`vgRVuCSDzV1@#mTDa;fbn)L$ZEplRFOGe`4$#*CJx zgUup;l|&7!D>a!SU)*flNbO=fnMM~v^0kG-EU1sdM}lqM{hrsrY{$tnkqBv=HfV!+zmSLVzRz;C z#~+WPxIA_(3(2qEYOY9c_sMJ@V$$?>>bSlajVp#VY6$vJt}D?lJ38H8@UqwV>S>=q ztfHG1XO+nN%jlVbn`nNzCyZ|D3JfY!Dq#}iV(?+McIYTLwE9+N69Qt_V>{DwOBNCf z=@dHl;7*80Ohsw=kCy|hlkvwQnqXipMerrAc{r>Bf1#L6q$;qoKoK%GY5#py3vwC0 zSjmvI+EE1;m%86$-*8e& z=hVjFQgGTV98fk<_MPC%Cq7?FC7iC_=W+}JgvS8_`pvZTq?JQ{# z#@+*fV)pmtK&go0)`_|oPh+06`A(~J7Z$kz!I7Vm2AX4p5g$|cVNhqLzZkI;-#17Q znl;X|n8bzx&)0!e>w>rEr`Wut1c#_Xuaos_bV1tbk7NL(`vsDgG7M;kprbu$LyFCi zDVw&C=%P8|Yj^G%5!(DUiU@NMr3agLpA z90k=SSwLO6>fv$Ir4`|Er4r=nL!W=>h2^)7fZj2%xSVL1}?I z;T4%ncLsLX;w11noQGQI7(c%G#8%c1Kzw^?5*d^LG_;y-RJkTtc8dVEuH-ENBk>Wbx+q?a%(w8j^9Z4zYqIWHhiGw9+m@E_(k-obJ>vp*xGd-2&#ieUK5-YVIR zBwF&Th%v`|QG9_5Om2 z-RI7**$a!tzXQ5|@!&2LC#`+JR0T#kQu;ruC;vZM{ZpYR(KRM$fcA9p#>~ZUFv_(S zs}uQge%OG0FNKSSpS;ExEA2C>7b*XKcJaAZNo4B2SSofL!qYNqM_AU|9V83oWTR{$ zNvJ&2Sw5;(zkw&XpVymQ|2Lsp)%y;H`;Lym#w(uS{LZ<}%G=GnuE$ z)&v$yu1E_v8`Jdy&Lb92oeCT6i|*}%xm*bl*<&;H#~s5VEnz5cXy3h$!(`#je3a|Jk*Zt~^oz&RZo zt)dIzlMWFaTv>K;t>m|-pCx>;vZTq3N`54Kv?9U35|6ldtgy1v%4~A%Y|ja_3--3N zJQ1&7*y!XmMm7B##xF(7zaK$F^w|E;!_PrAr0vybrN}gR1<4Rt3)IK7br1peAnAo6fXAXqXms`Z20>|Q-zcXh-l2yg5BmNB7SuZNTpef~gV_&>qHCcmrE$AQqZ&$L330JgOU3ao zcrRq3>)`~52yF{l!mZ^k3Tv`CAwOm6JUSZkaeKg+KZS^S zf~xEFL02hRI$w;J+I~n@2x}fFlqR$;^Cl1v)K?SKj}-(eZ|q!!<3_qBPicz!4Hjx3 z+m!{+k+=YN6@#gD+7sX3eHOsaEk?JOAH_$`(Py&+k{?y!VuX6KD8eaQs1isEP+{is zGSREoBG?;f<+|_<-kUIV61ttr}&B7h4nT_@20$h|<%Y1o9kg7xK2o zM!m_cxI<9Mcw{|pasnnFpeoY2K&JClJ zj_*O|s{s7aA(m^Q8{q^>ssajSTDt-+(6=@;8#Dr^-bF2eIluQ&Q5U`U@oGxSn0Li{Pv~(=L=L1&J(si#bqF zfMQ6rNP9?PVAFL^Kzu_ zzts^+l|q#Y+#{iap6+GgP@w3;6^EZGk`Hm4hFjqa%69{eb#hotf8rx&*CsERLRt7I zJi}c@rP1%;rUm2tx8-PwcCtwr=5^Tg7jhtErH}#3kP+=e@^HnmTod z*FvFWKr}F#b(cue;zXD>{6qelKS*nm6Rc>Eg}*BCQMntRi)!}80;~6A8^a{^q#?%R zwS-&xwuG%TKtE4JQbcC-Rs{eVKSA>(1*Mzqmldg7o)aQaHXw5CoSGXE*MKrU6#3Ez zMhn7N4<@yTH4I`*iKfgA`j{PZi&2M;<;HNjUuJT8nD+yjIE?~wCkpGju&Vnc%S!K~ zWI>2mexCHtEQ;qAwlL2`55M)!--(Bj+n4?sZwgHw$HjYQfrZsu+<_^!PlZxR*_T}q zh;}_L(5s#(a9)D1Dg2l)n~LiV_G-}KT9QN>kZCCISs;pe5)dGj|3ukJa+`k&vtA{X+~SZXzkR0~W$sr)hX z)@Q-Qzmg-1^7fLz3iabk@jfErLI2*=9Demj>9ZRnW}inYi&fqTU!JiEULn~4%R<@d z6d%dTv)ONkBvto6t4{G{@hrq~Wg%JNKLzUBIGw^40^y4|EAobFvdD4^ zb*`1*5Ze0ZBcfJP!gx-Yf;1j>5_+v->P@z^j)>2rK2bXxihQiz5@HMdj9U= z33uE6sxv;IB8#6wQvrViUBk!fc8MJV=G8j{@s>-$i5em)rPefRKcD>@d1`GnGKw8Z zpSEB8`mjDznYQZn+A^@p?d;hn2P38fevSlSAR@&v*3Y-}x_&1-MEi7A$9f_3D4cGY zozt~Yx!DM|eZVF24Nz~A^k16MY{<+cEvRg@i1H~1g|?$SLYgH%v|WAjCkU&u`nB%? z0tuvDsCbs(u({tA;GR8V&us3^TqGNn5_F*;#Q_%=(w)e zg^%H>=qkwhAW9#Hq_rTa0dZydgkEhJ^Y3(g0;DVB1^83XGX6T8)K7(fjFRk`o+}P5 z;G9Hc%ZhVJ=!HEGa-zT4!cLDR!mK!Kz~v~VFQQ@Y3mjPb@uDI6(kF!7rv1pSzVQJ^ zkx-GaOABNRiuOzg6sYr=)nNXtYPAKa=))t81yw9-xhXT=7=A6-C&-iP$=)km)@>I8Lnjr*;doH<(?_G^t$-l_Z~4bq zA}-lo#f|W>`i}IUw6E-sZjSe0{JKNM8Ebz3NQ!@;^q)_C^7;(~Ck)gG+a=b>UN?N@ z<53E;rj;wX!8M(`vi(-qhHU)l-H88owYGa0o@nxJ2h{xb2L6G&_KCEF*ye~{CQZ^% z;eW20d7*FPf4@wYWS%dLC+&f5Y?z_0PLw zA1DV>*_Yhfd0ejZ^aqXFeIr!IwDC%S?2-%0O)-(^4~RA^Xl|6LPaBsfnWvq8Vf|0R zs#p3RSC9ZLY%vZQ&?-%CO*IwE1>B8C!a9oWHheFdL+OsHkV|}J^YJTI*N!NvQ0+o( z6qd%y9%|9St!Z%rD4b3#ZWAiJT{3`dk2YYs)WCi;h?K4!3SLD4yP8F-(b-vaw$9_Z z=Uldo*pjRFRUA4IXIG%tNx-pOb1mvO;|6!>c@qL~J@L369d!QKD}4k~t17G=DGLX~ z=f^X%pyuoiHkftP_QuOSYr(ao@?EHTwrK^?R4^bDNgwxCdSc8`g(YwlALn@P3!Mj- z*M@lso}*seai1T5V1f0fnZ^G^nbd~)K!Vs9AJbtYD#MKCYoD)o;S*66;HEsN*%A3) z(i9*9_@NCH=g5_E5_~UNNZH!ham%+ zPxl8e3Bzt(KKq#3t8a#G7vq)_Pp1q&hhY!X9da{kHQ)j8LgQ%g`bJYK!|kIw+#Vn9 zQYdHkeat2FGU~eEveAZVqCr3jv{-rW)~mniZ`G}*;~Hcq7*%Et;q3w35t9};dC(;7 z(WjXqS@&(TEcak&4CDNnt?fC_n(3$>QSuj+>8q5Niqm*gXcj{`A&p9K#*xxw!sE*? zwlqGMAY*W5);`O^`Rmhz-k9Zh5wyt_&}naseH4MyYR5SbLH(x3Ah z*n0Bu`ZFt_ZkUeR9)rZIjlC@@nr&oLa^#0tu9@&U89(&Xh418P2QoaCSXpqCdm*2T zknOhN;gxUrL%uT7e$0=vQ;>v;{gs`oUT51_xvAB{7_7=rFPesc^eGF;_;y-^K#qGA6=7sLTJOElpfK!1SjkYYu0HTx*XC* zkU<5c)-qSpF-o0BF)@eV!4lFNwk8;EyIL6*xN_)PD=;@$VM0-bS+zV8!ZX4jVw2pm zM%IICV%lhTTozc1Vw7HGn^v+U(w_97QI7mevw%}vD9Buk;z>AySD&#o+{2*hu43Ee z8WTlz6a<(ece%Gl?sE*p)`wyEjLvg^xQ%NsfbIQ>f)IB~yHx@4)yo`9gZxM(hh}TB zHra+!yuXmkmA_YMepQ)~9=RV|B|wN?DAFYFRrLs(7JI@+!#@yPW$1mMKcR?P*5!y3 zXGfY7ZD_!>@`rePlc{hhhBlgXr8ss)eE{3c;%R$)%2%nnR_8&bXtW-9nK4@e~L`lCnD-uqRm6$k1QcBkp5vau48 znt56ejIePGbt<3wElV34Sp}TP#*ZXgJG;>qs6r9K28rwerZJ}jPYJ!w1j9W$bg){C zPfYwx`9HM)1?EAh=j}3c)}wCL%-Lu1$CeTP54{o8f2?rP8WxGX14HO8BYdrXMrFU61ojr%g`|X&?-~b?57!UoB$=O zvBw_wGBK-aw`~haOi!6=-^y(tK94xCK35P`W^1aKly%_ zIfvON@*w=liO&c&v!6V8u0#enJqZkGWrtq*G|e)9vsA#2I7OhXAD+*M}Oi8(6)Y~Q}= z^^35Z7vLOXlSUp!_nqw^R;W>8i2W;`iV|+kpONRrG)MZ8N)V-|gjva;txRvX%<4PH z76#uZk8VZUmy;@wep-6OuRNr)Bya39f}FOf=<&|l53&_m!JM{6H2duAVk@;6-@?_UuheC+o;Sv#gphv#d9~=fMdPPN6h2 z22$OKw)=rP9`#lmM{YU^O363fhOh_}qA#bV(T40!+`$(VJS7*7#I@ z<>l7Bj>nj5=&z{jgTD~_^0u)!p>+%^4}Ty%zvV{76fsO*hCvP(_nDMMVG-49D)U2l zr?A;fAPP4|K6u^SfoHw#!qbxI>Q~>%@8V}0f(;3%C}JLKr2i|qYb$k(m8^WA@XoZR zRcgojIPW65=W)zFcnEEV=2Rt=Z0jV{1z-u!2y`6>^HZk5qv?%L?&se5lcKc$nG?Fl zEG0(4;Ba1X;FShI5$0E4KJC@%8eTj@*{ptTq5vsil^ZG6r&$`%_z>MJ=zo|&ng0KR z8T4t)A!=_{s<#3;x!>X-lw3@9TEz`dp+YxZICw}p<`pcOOiVt0U}(Ka*Q|M6;fD=xD=VcP=lw5VVvpv5eYu27NI?&l*`P1 zIsrk*@RN%AW^5}!#B~#0VoiwxOk(ChGf*+iYw|OC^c0#mqm~Oikq#$qCn3(U(w2xP z#2WA4W_;%P<(+WZQ+{d5-RT`IZg*FD97+D%HMQWrf*%JgYe@a^BI>yKf4 zXJ4h%_}Yotpd;JAu3+a9)oXyD0l9J`_6=lyLGfC1>;$05hQc z7yJj~PD7ITLdi6-9w|lTQ0+$rIr72M);YmU+r=1LLzsU#QGixt4BD^hecJZzZjByu zP3Bo^R=nQx;k@h;*C@svpe&pfKsTya~F2H?VA(~RtQ>UoSj7sF#EOv7J&T`G* zbS1l&dwf8uM}*o6$HMzvrW&8wqtlyEEvBWl>mZfNFh4;R*2?RDm1xBNV%r@EKMb7$ z7A`M-vwx^YyL}Z)@b{wy9{B7sR-_Kp%+MY9QfFG*9u#ikSkG%;+fEbOgv=)?orSq8 zG0AyL_F02ZQPt;^p7)LwIqb%s^|Vok0c?n!m9ji745e2P=ZztnmS&euMK9?cZj+ z`$XzLySRSl41T9jGvRT`7(&y%1aaq7Q~ZQo+C+OZEhiq-zXr2;z(AV z@;;PWJ7^h8?*;{_ zNv~K!@8A|w(L{ukr@A&fESAU8Opud*5O^z|YQV8wyKbs5|(p$X%ukM^=sEU=+-=HmI zt9TfFJ&@EbnLjxG(H)dc=Ds2~v+1ao%?q~q7}GxiMpjjW-NWbL8|G6soNTnd{9dL~ zZKI^Q45EKwIl#(`;3OrVBK}rLsm(-k51Nt!?^t)#klYHRsGiJd3x=MPkMnkiuB6qb zZjcU+WfXD%;Jy*2q|2}b7msaH-tLVSeeQhPi65Ztr6c>pJ8qYpRx7^Kl1npaSni{2 z>jgc3(z0`gKyX5w=7%VSMb`AxB%Z>c^^8h~iIJ@!w|U+*7bt9+liS70KHJU_3Z!~h z20xD(KguoQ*aPn|b>5ING-i@s;P3d>E+yfz9rDem@}YcNDe_m>lkVeKsCV7=x&Rue zT*%9>SWYEuOE8AIX1Q{iPM>kv))}r$BRFfV<_Q48yOvd(E*FnH&i4FstbtyMi%~|0 zlrtw+2%S6HmmVh={xQZ@;MEjXcr54cILK2r%=w!*Ow{e>GS&PnhVZ`>fi+}PkjiE@ zX=Mdh03|7?)~l_d?PYTsR>ma4I;E;M^<(GGSTR3LQib@OlJdBJOzS?=s;nS8|2Wf&zZW2FJvZXjzTfqWD+OWf`_Fk?+N-x(DzFk!$Zegwkp+pJ z7eH?F(3W~iW}6d@=Uq=FtBtISxYu2?U3L{vwgB8jV;^z<_7^_C<3C~}L(d3c zKAc{cE*GDRXIUOHh>tc)y3}xGr}}61=ij*~wG~52R1=<=vI$oMkB8kMVCSa%bwB#1HThVQ<=IR{kWbccmXqDk z{PcmgD$KzJjDCeW1mi(}-n&*^fd0rrjE7pg%-4Ghfa(xoM zqx!0Q9H>Uzqx>ZvZL>^yh*sSXsxr>bM;;-F9MV-Hy95%{M^P??U)X zw_fnnvQ4}?4WCes-TsvH?>?j3R$G2!8}AEMXFg21CD$q;hRG_{LMLh)D8PLTOY?QX z>l@~EQ9d$7ssHf#{E=%gc{E7wCor6RE(+6M zVxAMs_>&_3jh4H99}xVPQTCI}co16kc6DK&ifQ?}Oss3qG?$NFpqYva;?zz4O)8eB zjhw-8pNaamstZ2o&TkE}z0KmDygQsbbe^1$=gmkzn34_O6X*4zGWpM@Zs|{R}>;Ok|?71Msj63qmNd%2t7@Qg;_@1xXgj6_!(OI01l@Ga&;PR2gFKT@e5W^+2bu z%2{KM(Ui7wp3-n6053--^0|ZACLdw!(Iseh^pK993Q0J%rN|n;Jz_QkHJ@Y8dch^} zDXI6Zzk{)pK5!=Bbf$0Ka|{p`PsB+Su_}MZH`A_PBk6xes1qF7`Zt8M=Hvfaf@Fd5 z_51%ifc)PnLM|@;e^XF^CM3rg(KI*}pq*oZSqz)~H=Pc(0YM0nOn7V}@o6;jF&_tw zCA}NKtzL{qaB}ABE3$PDYsV+H|07VT%qATPO(GXxZezA-gS|8=%>2*E+%7A+5(;z* zf?y{bXg}1vpka9osSimmESLp2nkyG5qf35qs*M@uHrl+Xi5Y$^QUrbt9uF^qn?(vy zNxZoO2uAeNYZWVR?^NQjAvn#8zKiHK&G60m_D;C(V=Ik;q;KXgw8fOMDi{2BJ3c9DJ&ZsfTAo zn!qg}?o&%9g}@zZF9CB38&1{^$%>*SbM}iAhg^%V~6SeKolDBaO zC00V&e8VIli6T-#h~Pn*WmKJ~wThazCr~ZCLMWHvMkCvqs@8mNC|(S?c6&gh3B!&G zR*a$5kFQLJ4O3ylU!6?yXYK2r@-NCy=Mey{KyQmhbc1M%tRNz!n-8H)gLprs$!?%i zPi_m)o@0_3h z`Q6-rexfxgc&$;YcV6Tf6=FQA)_IDwW6eb%d`$f2!ti49P>jfse*P z-2+Go)0`H)xXYWAGc^5r58e_)cN8nRcS3BhEwrP}P(u}Y+X84$`v(yL9YU2Li9RAy zvV5+;PK3^lJd`;wH9PRINAlIb@&A9;v=q?`71IC5T>sB90Q#FQZ;_z??AKTga}K== z#dHAc+h<0oO1iHLBjpC-f@kI6bE!q1`=)NILx*&7Y7jD6K(>Mpychs``vxwEQ-P0l zt;M)v6234U3@Zf3zcv~++aUN72?FG7nS6_dp4+}3_3D(j70B&TVsH;BdTThL6JnwVW&5##YG_`d<5( zZwc}Vdll+R;tJ-vLhz=kOh&HV6_b|`5gg=kd1&jygIuRYRfw&r+;*8@cxT?O-t|bO z?$f8Az4{cPS52uJQbiZ@U?*30!ff9n@4L4Puibm!)0T-WWc+2Jh5zjbK!?Vsq--K< zM%eRp;SWd`I1ZSTkKhOJ#z++`@g6W^FQcP?eD+#UrQEyPqiCdV+|CFqMT~Ul@z%yITN&G1JKad5F>fVbC@YCGsQ_sfX|eWn+l{tM zlUcD5M2!VLTgQbjI>&zSEMNus0Kc?q?tIE(OTJ*yrNV|Tj68&!L{jTq>|#lQk;9Ko z+xmZ8n}b?2FY5P@*nl}H=C}*ONc6$E4Bc0OW61(2!zgu#QSe##2)YbSTi4rX`E~>1 zha`p~wg{C~qEMt5ID#Tv z*k!HY(+pl48)A%5rnj^UK_tl6W~+*+-Nur#P6IWHtruzcH%L$(ko`W^`m^g;56~eP z24lDUBG1C+PO!&1xZ6-F-W~aIdorBj$i!-T39SV{isuf5vw~&}0Ia3%_8)V2ito5X zRkEb-M}?xou5+*NKUkxkQ)_UlI=j4M3OOGIqV_YOKE}aQ?BNuVOFRuZCA6GXccv;Z za0d2_!vT^j;6#&A%~C1=C-6KQA4|M8zvZRwyr#K8fw-ETzT4X68ZAq30Fu2ODBqQe zO*p4ZyMG8Vm}=T37rWPTFEqlNeHx%xr?D%yzb(^x(I!tUmk?LG8O21S;;*}U-S+qb z%-~1t*bjX9<2SGEFx;3e%*P@IGJP0tj7Nf6NtjIh~yze-k{-ZzV<>|m*>L$3W|9@w7OQ@hhn zmRT~;BFrqGNp|-JOb2j!K!Cte_q|Ct3I_(**KbM+@V^`tpa)0&oK(U_yL3GK$HrDO zqY`$-?)Rorq(2~eA%0_@o0C1KCb}{86kFsn&n~D}8`}mXk`;Ino`% z0ZpK`qHlR=j!Gm$5S7WchYu(ebE&s@cakOF&)s&x{vB9NqkE z7G$6lnMz2!GHVsmvoX*JEV~x;Be942O*Q{clB;I{P3vorcs1 z?G|yxNoWoICI2knGNcux%m(G8^u7m7tuw8O0d?hUjtccqj1ZLY@5Xdb(`v8$5}Ew; zV3IJ5k4(I*Pv`ip!#VcYE(B0Qf!!mdfB5-Tl3r*+q5Ri?oVGrR@TYrQO-CF*TQ1mK zQTH58YZ9mrxCR^EP>i*d?^#3>9C>U-a9Fe_HjQPoh+?`{!1J+G-+K#pnv4DD&1=Du z_`6ol^BTu-2|;!u*ocCe;M^x~*5!LEd%B}#pL{81`Oi5I5jVnQBAjq{H^`PYl=RFl z`Dt10u0-a-gYL3fY(M5JgV8X`W~uylvCT~vh%Ma$9#f-#Ticu?`%*(=d^RXm<$uV1 zmDjxgd3iE#hiICRFMEU0^1+{pjd!&R^)Zt9FBcxIV*C}f@5jLu-!>oYUqvWSJWyP$ zrg55mp6C2l&E;7fl=jjafd8xGcDW1nDN&uAqubq9xVAF+zQmyFVBeAc%mhujK%r#i zW#)5iNVRAH%YBIPQ#XitL^TqbB*%I5<4N8j%#rpF8&n0A_A$UF)-Gavaz1@a`ydfTa56g~^og#`tDIH|?ijA39E`w~zeUjb=*dLNpd576%se2o49D}$05 zvg7m28wQ}tvlL`!_GKgkKpS#hU@TM%&1l9txYFz4&-74ptbg)QQvDe#)WScbqJPe2 z7S9E1Y}X0Ce&lWCnF9o?Q4F2(WxqKfE;3M|biKz}waa&Xv00$3pO7Kwr>ocGTHI2uemk`%9;3Ie{=(tBj+GIq4;s{dMBrJt`6i&{)&}D zb(&-MoF6kKvIl{17UXnRt*X3QrB8SlpBKoEhhFnm$OW=XQb%oB$_&$|YA*QBC5M!sqAFuo)i z=tT{EnZf2HNurIVDSv%3AWXduymllcuA481UWzVRE7fGZwHDZ+A&r_@k=^hO2LX9R z^p$LX)qFfti#0I!c*6H2yFC8rEvRFSqnGokq*>G9RW#h9^rsXJHTafih-Ehw zdHD$v?pdpXdEF6L@>az>4+_qj)_i0TRjcKca-(XhJN&>cqAXn{Z}l-aPg8sEXSa>M zz?`N3+QNQ2gwIe6Tp4D6+<~fXwPGGPN5)vQ-QOSPwmc|-=CrjKrEOQm2q(|jTe9pf3&NXQKRJjYc7>(jX7n`z8ITC0*LnlSC(R2&D z*SYe$z)OSNmL?SpUK>NjEzwsv#U{M3(pI+CBbVWg3XMYqCa-sekS8~2Lv6U3{^~D4 zuojtrPlPCwJH61!aop+eif}*)U_(&>MFt=uqF70#Q&D|N15l!hw#?Y`(molm1l>8m9a)4eVVL~q0I$n|WRSKAejctfqkf<`a zRL@6P-IuPpPy4nH;_e4ot1aq`c30Py>A~i%`%R3_pgpFvauh{4T`6q;JBhLtjZ#yagq@rIzeXK zIB)ujj7Q40Mu(iJ87xKm{&6bZTkrYa^|w^#eU@YRll9=OKZ1JY3B6 z*{NZQ*H~jedwR@`8hwQS^5gfTyPut?)9t4F;JmT#XP_#K(Bf2C+ZmE^Qhe0KK`gf{d9M|6j zbU&(4XpK6nI$t7_Ek+G9hyF=d_Pe|xJ6q#iefDr>WE+4SWr_lA4#|wk!_9)n(mG)1 zyO)1#Cc}GToks<@jr!z2a^EE@W*i!G{qj6`K@{MQCyb`Y$EJPW?~RNZ&Wo}Qc5&ps z+Ry20W&5H6Zr09$ef<+n4NkNfRgB_UJtIe76ql;zjlC|P#KwG{hs=OYImU6GsHe|4 z4ZN6Wg8xq~fQaG;r0O?uTF}RbWZ>1>tk0&h#3>!%Z02gtuIhRKE>z}8c#>!q8R@8I z>rC@;k%^R(RA&6h_R@VFr8`SwehY&)%VZ&am8EcP9FaYBJaJ&BS1x zr-+Z2^SmRWQ*y%2#QxQ(CVC?ym{rhGVM)~%^m6PM6MD%}`J3?aQR(Y@QZ2*aIyP*14dg92STK@aLN!UX4mar!}Pgp$O?Z#kUN$49kxka z*PdgeB%f>^o4|Yp!da?=`iQOyu?Dscd_!ThM7j7zn&BRXy-SL7@p$%~mssbE#7vbT z%k`5dYra9@1L{l5V|(Jnsae5R_P$nWZ`Te6pwt2u|8jYfF`ApS;dP)KJ$FKP3~*vQ zOWhBOWzFZRp-|w^q9)bK;BOCb>%VJ8va^*KHw>=lI>1K-+2kel~GG3F|%VTKg5Y9MSno)r`AeI z2=1_BBgB}cp5IQ}M)8HqtuT1xDx?#F#6~O%ShKkRZTX?=N`07Tk!~M@)B_5}PM#1_ zAYs4&GE^1KTGaXD+Bf$)E^%4Ua-2e6-DBtG^Q3HD6#zZ|j$bP}&4T;I0s@-8Y}2#t zWnV*Nx<T)@f$p0k+XNi<}>Yi^6AFt&!m7{yPOx zaZf{lU*Wnap$f1Z6x$vxe4@#E$4W6)X{yb7R+{AUJozcfsLOfOg3ajnZ%GJ4IWoH_Vj9*6j+B7D8wS4+-Ti zI4vqqFLB1&&yRFAi4+jr^ad>qfgJiFv5&;2qa}FZL2m6v&_ddy44lV-+0rx(G={W( zs?DFNH;;DHgYa|C)eONG2B4YDd|?Cm8=d;k!bpLry$M+?v{pl^Qge3JbZP?*Cz%1= zun$Q`>PB|P#=-?)cP|BA4@AVW1qv{lge%!Yzh7T&ndj!A4Zrua+{Pe&kQJ=csqNC0QnpN%qE0SAkTsMRc3sa^Hw?v5d~CNu5D z8v|#ukL@ep+Su&yH_)cN-rkLi_q5I$S$9Kch3?g$|RXONMg))amNn%Lijg!usc8^_bf9wW@ z*uL34exf#r%JiVLYsvbAv@&(U)~YA`<`C+UN?}lbGNSJY?%< zyfF0a>p69P${>YV_>zs3+lXK;q`~7;q#_Y|zcegsxJ4(GlA}4h9 z=nP^txw=z0FXPqIS^cSBk(||)F!~<#nk6@gRel}3wRKcW(!Ti2NHwTj`MAHa`s>2; z^QMI#1A599p7^oz(eiGev8@P`R1)bvP!m9e^Sfy^}Yq_cqOg+1=-tGAk` z%07O6_-psPX@}qW`z>LssagZUGlx`c=$)BgL)#^di&8odu+dM7CoX>wLwVfUt5m~V zSNL)X=6r6#P&q>ZRNH zs62_Xbgsyu%d!mnJ!Qw2>!0DbU$(-{sbQbOVQ(*gp6DRc2lQkj_5#{f+Ai|i1i>p& z8|RhJtp6|;6qYJ02Qan#&h0pxC4|JUn3{$ior(xtK8JcD^6n*}AZ8RR*%A|7tS?5# zbnmjsRhd^*Hv@g6ME!jo?LS>Ka|N!&Oz%pgO;#ArT|Osr{`LMz)z97>)!lbU;kR3t z)>_dGi>gcOm;;bUMa#GiOd8`;DB6ZsqrVOxZS?cfitsdB#=3RJI=40Yi#s&~{jeBAJc06wN{E zSQyueAKHIho?S9=5?nlyyDgrtrCid3fd4`Ov z4fzu2t+;Q1wXQdyJc4fqpK&jltG-2!gDxeVNt&~DYMg+vpP@?fCM)Cgux{VFyTnV_ z=iD5AOPMs|oj{2tWq!GHTrWoCF_}IW4@Q!{>mpjuNj-+~B;6_S1$8bAd0AYEjG3<> z_H3U+Yi5*qpx1$R7*l4T_Ek)37G;-#@*lFNmF2Z~~e2{(6 zJ908@sG;R`+ubu?A6r8yTB=pgKV7J$C!i6<6=m%$aFl^eDdE+k%W{ThW{}VGvlHB) zXHpxp9Qjj#80MTatKzw&g{1jMPs3SpUeJo3Q%7$%O5m^`RYP$}9#iBxdbA5A>vNGS zURo*Vn@^m1!PV?;K(f6(J{qvl)|Mc1Z@S3Z`2dd`6-nHV9$rvoB}4P2>4z>}-ip0A zv>3paKfmnsu{<;X>YhM7?F7lYf9Jjr=WagE-9dZ+W`F#w^TjN!dHG}dQ%@+H=_l}%d>v+e)kgqn><8sdYZf^h4f`c5Bu zM}f*~NDvM9@*l+=i|fkIxKoC#WE`PO?^3;7p+N)dii)2sb(77`pitAVzCOqIh)O^n z$rVBPp5`bHO&Sap#jt_(<^ewq--|;3u151jR%A`6&sa7HgBQi5Kl`Q)!>HjF$TjV(r9JdtI};qq`*Db!N=lc)E7)Jw^;Dm`Mv$F1 ze0|ESQju{#41s$j%#vm8w})T~bZnGHVme)4Z!A68ev4a2E%t`8mM{MOS|oS%fT5P% zbJ@HfyLnZE`&UE#!t0)GBCpr`iL7Uj_Eq5xV-GmozSVWl%(Sv<*g@IiedcVX;nfjl zZ<;vs+G^HBfJZ$!r9(xG)IOLkHkWaLmC0ao7U$Z)`baHd`iKZkpQ#{j#@!nFbUSpR zRW5EQ@faGZ?9AWu@z3kgCP@#Hlj}>F6*&#=pS*RHl)N=S@MvXewu!K2vMh$jVp5su zm-^2;vn=khdUUWL(Y0zRKFeJLVp+n3p?vb|IRG+JfHSzPq%=r}o@M}L^BH$MO<<~g|24`p~H2gIljK@E4 z-OB1Dj8gn5U>Y`F6xDdz;Z|_o@Z?kgcQoJnD?aFUe&fsiqSz7CumJ0vHY=2^vvt%-P;kfMLvkYyx1hNM@*!99j*kMI#904kFG!~f<=f7RJtu#hl7bVave zZS0Xi&|GLaN>6y>)`~W`$bj420BAcM1B`qqyde{G4HLvW3&E>^mGv}P-}skI8$B@^ zT6+G@@^?cT>XxvFELG%$nFoaf2elsIX$$rw4Y-9?qQn+xz-_N#x>9&vj*w&OyZ8zy z{aBrbC)*~RObpHw3Dl%nM9!*cQe?7476ui7FYoKNo;2?p!1SQ)%U;!lbAXO@M zPDa&9EX0?HxEG#kaW-g}Z~yU}z*F0vn8I~NNG$VFmSid^Eq+UbHTbFuh|K>=?@U54 z$~v}UCGR4|d|gWf&-b!vQ!1le*4kj#bed(|t)8?8*a|5s3BLS#WZPyU23sjQUTy!o z!8mt;joxW64i>7s>G_qgEzmjoz-3l>tKrDh4aI-)QpMYGQdEUGIfafjVRmZ1baZEX zBa+i_Dx$k3PqDGEgWA81H5h;LPX03go2xEuRt-yT8MRCFsWKjESksM^J`jUSTQ%wB zJl}jCbJ+pW-|n8v(ebC&D(Pc-+1j+k1K3-9tFNXx9UuCgkKoqlzOOm9lc(a|et&rB z7fYHi3e6upAr>0^9irDt_Hw?Z@qJK#{%E~jy@8c4D4ap&dLlg3Ja1dx`n#W)%yM{Y z+500!a2pdk_0)9qIRnVoS}HX^t_Nd#oA5SiTkJKFsiKYfG`f!ch%VENP(Bbz|9W=1E}$nDme`Dy*P1Lkw?Z?C+5 z@B8WRxUrBwu<2UcjhOAslPel_-85k4dD%TiXrQ2{H(3Z=mZko)UZPsH6W8hht;kaM zoIn|OdqtKRP7Tq=_blpC;*UiuUpDX`+Rn*#)tgnwS5XfOkKF3o^^Yx2{(Fow}x(}<_i<%uZj zP5mg?Dpx$M@?8}+LgGd`h(Q(LRa6HvGZSI>U5t)CDz*xK|& z-)DE2sQR5{*rt1|h8PuG%8E4W6ync|j^{h2_wb9n56VSaK4a&~E22HP50WHCAur^i zbmcyXHakMKuUY*3`WA;L{ zrYE{L3#om>p}W;Au{4*0?{A5jwR18}GRvvUjOKMdr`*ogc@$8!(*y$d<6~~%$Wi^$rK>XZ!@w2^`{)0OY#1#ws4b{%^ zr>|SWlMz1)bs-@@SZt~!;OE<>AWb@zI!m@)&T~t1{KuK^$K(n9;*?ik&N%}WxGSu; zy$Uk06ki1?(ml{w>PgbPfKPvNmrfVKj_;Hc(y=e^0Vt&x?@Fxb*r;#%<2JBf@Cl6# zr4(~Pq??_4o@R55Z#@jjn&a8FQ~s)!^3?k?dj2GYhbwplBk@PoV#8^^kO(+AGFW1j zEQokjyYzz=Y(>9@oG^D7e=^zAQc*1^XAJl(^Y~j^ly2_)W1PE5%)+zn`AbzwZi8q&MlU&BT=`C|rbD!P*!$V{k}kurbF?983e-{JL+Fyq>2 zy-l>bUleG;t@U>G@S>h-OcZI{88&I}8L`C$ZcDFeKmw+}B%57bW|TFny_I>&bvMvf zEmiP>a`j0$hgl4#D`?ry_-mHTqGnM&;~CAGk+onABbt-e3l-SS=={)uL6sk!2f3p- zy=Y+BhqJ*J$&?v)pp1hSJ(tZ3`3#69DXDVYkkAEh;C$uC(yDmDa>cx}C|-1KBs)O;^c!pNi>~N7iiw%d@3|bkd5@`vpPh}Mb&WWr zh0)IqYyl#*d^p5a&#+`#(uAinX`63b9jY{l>z?~&0OIdSDzFaQCd?~UX~w4Vf3pne z%bEGv40tWuvgST%+Ww)$NGMd|hq?VLGt~&%5AF#qDj;Q8I?_5e;`^+-af-(l-->3v zL0#@wr{a%Ex+Ffe3wwW@WnY%MzZ`mgEoE=4;BRhR{QHgDP%{PNT%(Jg4vJq0pZOlo z`-SRkz3Fp%d0`S)_o#lmfY}bvqAsY9mQ9zQm}wkGO5SvI@D({-ysJHGd{gsj7o`R<^o!DRjUXVUyw~xG z)%q@85HZ-U&MovMLF-r)uKnfxN@A1^DqoW6+WxZPRM>jVW98{FZ1Jj%ogXm!*N9DWC?pVIOr&Q`9`d}0n#ryB2l z6#*m-O$pX*SzqRlrE`}}!<&sd1;E44!EfAa%j#!-cArJ6%IPZb$dn5Yic?P9=YII< zpjFzt64hZS)ZXP|x;f+klRp-bjCe9M_ol5?$~JCa72;hk>e3rLoW^LAaMaA>?LY0* zCFWl8M3pO`!3KYd_}dADw?0|v5eqmM?iK%CXFiW1IaA@PvW#TVULGS^g8Q4ZcKiY$ zYkw>}p#4hyg&;?864eLGR?qUmid0hCDYN0En3`dSh;?L;#Ot!}=5!f}8rL#w1PCsn zczDSVPpSmwXQH1OR`L3M`0ls*N=uoYXU6!z`mK>pNgWZ20vd|cp!LT}mMI+486>5t4D?>-0tAcxeEJBv}O-u+z2VL7M(X{pU zQ+XfX+<2w@>JO|{V=K|%=YCa$d^7vh&D8^)>C4r}n=BnCD*hQRl+pGyZ~9;P%G?dQ zC*#Z+88z@4dN-nFVS(VpGrI--CYPMLfazIj@2Nb8)fZtJ)z1Ye2OYCXp~tePe4MMq z^Ayc56VU9T5HGQnrfq=IJ-&LUr*`Kx)c%+m>xF50_HVsab0ow(4qN94@k~4#6mt_v zWbL&KZjzJTGMvu(QhJglFn@Y><4mR-9D2FVBDi)?+;C18Rb({|4~C>f0Cjv8#+SB_ z%t@M-Ov*SuN6!X=#UOn+zsK+C;B24L0Ehce4OKG|*j$i!bbR?d)9p}K$vJ+k(4RCj zJe~sC1VG7VE@zNn`Z@;Bm1aBl$6coQkysUUAzWtADw=FKx7o#WGXELYyL!(zDelxu zAy5kV6PNmGL*UIp4^&BwVUv4oH`+-G(%#)4WZ)u$7TuQjO1v0z5NTzwn|U9k0mHTN90b zYTk1P- zlO>iS*0j9S>FmX7%3;PR>q`;&-`e8GUEE-zSrcu)g~oHe%Zb01RUUS>t?kquI=jHC zktr7ilplZo+n=jm9>oTVqoXfR2)YYaUwC?+pQv=7v{1%VXo8o1l_qx))K2m| z*Qb22y5MYsp%KE_EQcnnIJQpPe?iSIxZV6Vrm-JwGOEY`Mp(omXQW-M4k3qfkOED8 zeEOncL!XN+RTT_Mvpu&PUUQI^27m9U2NxgXcT1LvE&Gr?;VF!Xlbx@XR+PuMAO^9S zaF%ku%%*w*bFeYK-P%Mmh-(Nx{HqH0rF0=lp|)wYnnfSz`x3NSUfSM@h<8BQepC1&i?aIA6 zdeNBLK1B%Ut2TPP2I9^|kA+5H?F?Uaywv1NRAe4{ofI`P7^#W|S zX$91lA7%CYr! zP^5eM@0{RfD}(HR73;Na#spO~VZsp-Hkq;H0^2Z(E5Ct3)N1Z};rpBU>b0Zpx)0 zQ!3sJ(bx$PRe?vSDarpXwe(#kC+fIh1fTZ*{czzwuf`Qxl=gpoL_Y2Rw;;bm-|`L~ zj*)A-gNPd}Jw~9)^eyG+ZU^WQlJqT`)ps5t%x*FMeG?VEy%Z#YBJ16l(le}5&jB-H5=IsqZ?*dx4{=6sDxl^aLl5A%c25ek!oXUL> zQQN6=rf`|CddmDG2YoRTRUQ>Tu%3QHbry$CfDfX5)48u<z%!tfDybW>YYIo$D9*U5)lc@AZ<)_L!ve0$pN!2eOrP**8+bSznvc>n0pHV*}8<~sQ@~h zi5qo`2LGsEhL#^e&kCC3X}OIhCaY^FWoCJ+J9%HdWD4H;)ds@9mCcU`Ws`_vwL z0(?Eo_ht#tf-kOak=hJ8<5$G9GI#&%rKU+X_O;qzZ4IXuBInW-m@~pF64I1-tVgzj z1IN?J0Q0|LqTcshU~QB($*m=dCYPKn-?duKOeTHT&qGYXTFTy5 zE-*2<)*4MM!ku5@wRMbvuYyXyM<^5h3jEM?fznz!L|VH615M_PypCYICj7Qh0qI4n zKE`&1;%rymhdGwvD_+UQX3ppF8If$#2WMDG^&Y&WpT&LK=}}ft@=O?QR`)Ul{&Gu(U`M*d>jkCWzfbEYef)q;^ua3C4U;$-MNAOxykV*OzKDy+aR|T(dO!r^xZW&u`rIrG zjyB8HA+cyUf+EP8G~nz7p#}DW+W8PWP9oXDWb-K%f--`}^3dYeKZ`|pw>%Ku?=a07 zJAn~h@uAZ%pvnP-pP=Lf)cfIOVd_-rZA~LG?3wB@4Jg!#t}Wv0pzR2bFLkyhDs5ot ztt=fY1M9{EK$K%7s}jSoPqxU*%VASEQNzXyzqt4vTa8FL%blE3;x4w3vfYKjz;@xV zVVtMr#w6pj3(s!%i4{s`eEeMbslH8Q@y(toT;bGCBrO`_J$3|A$QqZGKhM?Z82DNi zc6_DsO+d19{RP5#%5Cq!0#?85cqN(oS=XiW=;+d}QdmdH@rj7M0-t6kgsC2&8e z(tTqlX9L8)J5t4#tK-p~<`~~vWbT!SwX6x%F^=bG*aA~Xklf!3+|peuHKtzYhFOJP z0GqmTsm@#D;`Xeq>z9_zi;mA@m)y?zMe2EbblU{%SaUopsd2Ni)5i5YVru0EWatJ+ zE`s>Gid0H_l%+gcqsp54aZ|!)ng-cT^t-wzqC}y2^wuY&b(|ZA4O>$Z;Qc#UwF`a2 z&_F5lUtMGQ{0M%ujO?Jb9)1F0lcCV;fBFJ=q)D*o+e_2 z5R2kh^xr4_^lU@C$QbG4zc*(2*8%>!)v-zkA1dD%tz@r3lYbT94V_HvI5Dr=xmLob<9Ry(n_x7x&U*Ma-1&0NWRirX>M_?QUhq z?8n>bCL+n;@xs&5juvdHuUc~vG*B;@5QKU-wI}G=WCT@_pW&R$u})ZFpt4~$o_$_l zIxo#oskxQ`FQ?Katx2pprJi#lXqg;7P_BzLKkyht^n zfM$+2CCG<~ zYB}fEWmW`%Fin%gB)T4hP=Kx3K8qbA6`xPpVa3jV&WRTWTsXdqxBX1HgXK3EyOE-P zWrCFimo{!Zi`iyB5VXHx^Gl|g&oX+JZcSfp90z(e?7&aVM6_~}aCfjjvDpY4MNF9x z$-X|r!4%9)%xz$d@}i$Iu%!LP9AQh&Jfh2DBS~$ZTfcG0o6J*1?QFTgLBY(#l6vNd zq~i$j6{TsA9V78<{`eGI=Y90D!w2>zWcv-J;&YxJb=Ir)9Y+9Sc!aGZt;#rte5KDy zqA2PZhRPOX%VihVQy+_1&Y%rK@4p2bYNk7-JwGtCE58?>m)6JG+;#z(x zypg~om-pnou?3Hc9)3VR-PBv+RFm8h8|XEyk9MD`yyQ*Qu0ANz>(UjK8V{hKa}Fd)p~Ky0Jw?rp9ofOo8dWR0(`M2cC@W=&E}qJ%vJ;Cy3J5PH$29&aR;G~RT@+UX+=PFq{L)A0MEs+5Hn;0R zTKVq|ZG0@Y7fN2gWc>`Wr)_ER$0jqhT_bhu>uZ@*=2GU*f>*?&j@)yP85@Z+!QX+pL7fLHa~{ae^*1 zKW1?@n{mxt-^ObmXN`s20++p|`%gm~N>lPb{m}oLuTv=znf?e=0%Fq@vFQ&!=;0rzU(OO`X1^agl1e0!CyM z6lioYl8A&(?kYw(v1z+&Ul<_nP!iY@)r|g6Pj8v)$+bKOgDGn~`7RALW5`gs%I|W< z$yQTsJ-T$kjlU{kOT1Me{YiE}A5UD5C`oAL0We!^#meYsC?XY0|03Dz-G8M<&6Sx_ z-%NjbKDI-)din%;L~UxvLe$$Roh`eYb;Q#OFR|P?F&AZ!HZ$%sw~%bHMp;}0O-10Kop8TiH+ z@0A-ywnE7~Kv;*y)zy)dK9+b6WpnaO%EeuCockAKi@F>7_P?Eh0RBaNEplpBveVkp zJO!qjpJv=V2p)y^bN}9td^fgL{Nle7O5uY#<6jSKnom@iQ5Dd^Bq$ENJ>F)~{_kf# z{4(Mp5d>`FN>gvOdf6&(4RR z*%Lz`GvTGku$wEs8iV913gnQP>MPC|b!)(V=+&1RMo%f_8+CEB?9W*12XU-uqs7Hw zR8?1G&wxAW70W3jyfY#n2^jI<%Kdi?evy|3|6NaEYJIbi#?Xws`ai3Gdj0vo=@psADR^tKyZU7+n?>q^~-OPh!oBsZtFwdv`<#}OY zjN`y_hXJn936F}B$0_Z)XL9dcM>&dW3uXK5oRZu7K@yKy=)}YnY6L7EU8A~WJJ09A zyW-p8^^y}xO(3ZqwH)QvPm3N^w2#|`OCmTE?+aw;3B6a8^<_qSxJ7V4`@fM5km*MT#9jXO+{jsi2!G&Hz%(wrO8{!;KNQ;yV74ezxj)(?LdH zh$OaJdJW_-KG7JDJc|u4``RIn=c=*XvQ}Xx0d^?Q${-S@!_@EKQNn9s5Ro-A2+dey z1@)pLdINJVpBIZf6gs1FrK?~c*)csdjY^vb@&W0_`FF<92I%3#slxjLKX1I1PZEEL ztRfC}q#{i*p7+mDh)Di58QkwMcPHTvstyW`k;YmoU%HwHRkj6sDqJB^42^UUb_zPm zX`o4L^pgx1Rh*iGAeeN!`C=R`lDU^NDG6^X2`KXT-eQHV$}|~vh=#zjCt*P)8*UIj z;ENbA#`BripsOBca~|GQz3NBg#FrnX ziptJnnwO3~3S%*~iJ{=|VGNsWy+=T6Ga#vSVYQ?y2EpqDeSy#L*1o$OM&;{nm#u4Q z1n_xc9aPC>rMY~yq*x_K?C@+;f>A=Y$aklA#(E@Zl;+!4kqlRnQTI4dK#M9+m0|}N zZlKbI5i!kx**dU)5XN)jfmJ6Or|VG<(mTlM(3hv$N+EyZ~@e~q(B2ws80~K zrIw(dae|ubsQ{IzUB%bJ0O0B7ucbV+2WeZHIg^UA`X_=vWWP^PTQFo(=CU51Qd_X0 zeq%sodsx%KezYU%dmG2iKZYNo8!FZDC5Xr;Wse~0vAi)mv3^j(D`aI1eGEU8fI_Or zbf6`nW(`Z%LcajEV#1f+H_{l=5CA%Q@2{Tz!hG&OB|SyE;_@bWLk+B?hL;}VoWUd! zf^@r7^rZsQTZ0DbK61@zc48mqrQKwCO zF|T?K<+t|2&y!EfuR}UhIWHQRWpE-G#rT<$U5B$3XL28)*n9MW*ughJ7cJsLq0qha z?V*;UgO>x-`2`}syxR1X#vE|&0^M01*7c(gTe=w8*c<21(34}vRID>f#}F;^!E~E=*y7Q7O=IYXMpHG=EH$8=K}nX-oEE6M z@;&s@U%pOris8ih_E;L)sRQ00Ee`Yd&{Mml%MK2RfOXdKc39$)dQ5ShN(?E+aF?Ws z)<-=$2e5A%^wzq>vMwGW&?37enBQzLnhJkBxz9dOO-V?bpWQWt20xqz_)ruB)Jue`8v$SMpWG(@Dit-^e$O=pgycm}&b}Zv&`%cY}6^zk-NhwOeUBJZnaj zY2Sa#-=6NLBJ@lK^isRHX&dV2Vbbv)fsvRjlD12N>;{)ZinLx;_Uv@Is9~|& z^#%AWA*ezh<}-`i$Uc++ZCEyGyBB+0B9xOHJ&l=@uXn5U3Bv6>J`X1v1b-46ZdXW2 z4}M}CU?_A7%$__7Nhlg^JNAinS>$?7m)N{$GvJ)KsHQ1uvg(Sf)l+5qd(*AdI8j)V zF0lUn<8`N>@2oN`iA#4ku9qWhH~hie zPSDn+ksog8YP_Kol)&nHd+xXfWuA_hd~Guw-g}sx1`Af~Y7}`%hnJ@-i;(+%&bfmJ z@sMDE4uyKYMWPA149+GowoP`Ofu&Zn3G6xqUOgvkb9^2R7&HZxV4wr)B^LdtQxx%PNNE72wz z5&fy#%{y3?(bhM}V&ATP->NpnSVqjIIHXAUkV*tM?x=^Hq{xO3{-TU#1J8||DcBSN zHL#MKGb|g=mW!{A^;Zv2%ST=_q*8bn7$r4pkN-_OsFUC)Bx8)NM3=+AWKT9j6&_&I z;R=+W-)ua(WIu3m!(*DnUs1nxOp6siB0aPj47^&ytC5+x8h+Z+@{W9WJWGanPGZq_ zpb9;{x>#l6-xC>Vq$tZ+fV`BRIi-R^{VCo4bq8BWvPG)w#P{7ZLn+(FyAk~}ACY%Z zVds5f`wCo8g(uh^qH)oiWT8oxkUQ8pv^RQ%e+EYLx}goh8f=!2E@pt6#Z%tVe>!VS{!tixuur7=()-qb5!;7*f5!Tbwc&doN~S zX!DEMl!>G`Zi+VMVo`xV^vi>hmH6XvPOmK00nwb#n8uB3s}oqo-rF$Mzl^bWP-QGLzP?W`?<=55sCK&t`pF zpSSgVh)`C)QmM^R+$dJEFF9l8sBI&B$|Lg->z+|8>3v|H#5wX{yG^lA_XLndq5ASV z2yRxWbB!Kd?ML^)$Iw;tQsBsE>P5Q>?t!VL5oeugq64%i_E@MgTXo*lZ#w?85%JRu zoO9Xc#k9jS&wFm-yOBae_=Fp!s(9_sCk)gOyka7cRMA;oXPs#yP6opkQ!Z zWa=kVr`@dIy-%>k5IUUFX`ctGcA^ViiPD;7=^Pt>KiSHk-PBD#-fwBKs;iy=v|kG7 z_P8G|-JgmZ8yF|rr+Vn7rFq~5HO$)uy*baFOBRo)K$w-VqWS=vx0(#Z^dZmCyu6(- z6yEw4HZ?V1I|*iU+Y1dx4fV@J&^~j$y!H$4;wct2Vm?4Wq4COP;nL}Olvl@XM@t)g zFtr_8cQ1U2@=O*SenTZm7nk=Yeb>d=5+`88U1Mi6k}%}?Qbn!dCf!orC-zE*)5(ebrKc{)LXH|m`!hp>V4ZY z{LiDJW6?TP6=@-_Eo}9Lepm}zerPiW}b#?mzB(olSt;kBW z@A%I`YN6Jjn@BG`>jWP-@oh$(2n4d)Qg7ua&MXKVM9=TIit&+FTb?!AA7f|%?;VP*XHaMK8>V2LV9 z-p74RmG=uJ_JqyOc9pjwZyyCIvKN}vNp1VCkovui1TtJfNPOvkDgq4ETiYf!cg#s} zKKx(BalbJ5)Ny$hVs4Yrq0(U}|KD~03kqnxYEO@M3=!~nA{5k>ceV8E zLiNz*u<{HN9;e$gtQ@^c?n&0%WJu*e7Ijn#j_vH*$w0Z3>k3D{Cf80qHb5KZ!G#sJ zxdHWt+2n9x?xb)b)rZ*m?s{t{{~Ms+<=l9w?fo`JZc?g_(#Q{1odw*Gvk*_-4_9;i?ZRrJaC;%D zL3&%UT^MA!o!=b@B@`j6hde8g5Gdgb@+ay>B;CXn*pAiwmNkeSljmEBz6T`)Wgur` zOfdJxpk1Mc1GBaH)+0k-7$!`xK_Q#_q_SPhYgTdlvGPNks-c&EcT%>F2ax{VaENSc z{-Q|V5mSrSb?_?(Nn3sAVZK4iM!ok&SU5Z^e#Apal55)5sZ|~?<_j~cMjFDuK->jO zwb^=$K6DWJrkK|!sqbJFP<$jw{NpWOwWy%R2h=MABh7Y=*WqFMUw}$iIdAOn-GQ?b@4#8U;P;_*sc1NP7cH>SPjIYNXJUlc zar**6fM@D6!Yg;R*df$v0MAzgA$FJ2+dEnj>P(L-3F(9i&My66+4^*$LyCNOpdH&K zBt{w5HS1TEG?28-xfOAPIgn~?yg%~yI3$RtA~j(}jSW?2ym;zZT`b`Wy9aa)FK)p&h1ESQT z3R261Nd1He)Cb-igJ?bETHdrG6-uKy@&R&0X zAZHu#bH58y6BbM^lYr$<5H8@hH@g5|i%n}<^PTa}+g0d1bS*2^>(We|5lutIVCd(6 zdGCo_v5}YVUvlkb4-m?ui(r`HcjGKiTxt{6*mLLXhs1rD6^q)Th;V{dlQUE!cs@1t zSe@jj6%$>=XY#NA+R!E^juWy9yy#bT`sWJ9 zja@QZL$7XrB*L30(D(dYBO=nfR-F=ez)MHz#8;?~x8&f1&jTaue&n0fUoxc)z-(GW zT5&I9IDz=%Eyp$}^ro3fuzHOw-f-K78gTDB@`8nrH`-<}EUjy2na?*!6##GQS2b*A zAAAN~5`><(f^)c96$=j<2fy1=j88m3KF}4+isG~(1;94LxRi8^jliS^?6-f$65t%1 zx_EnGmPQM!k4hraMWhmSCu#UvUW}+qvj^Z2cc#Rsmd`onB?FetTA!8s-hbcd^6fdn z^SX2OEw{JGo-&DO0N&=07hOgC$OXGoV8v3kx#L^4L2umg41o<@udRdQWLzLzZY+f{ zr9IM(l6S+bt_Y>W(+Uh?bR=_EBg*KGkY3N zkT#QX&!XyoGnIeB@)v$W&ZpT+B!%-h*oJWdy>DXY^|>zRIzxZ$UjO|LKK%B88*TkI~e;jVR|$rHU4jOJT83*$cF1pW`{mpUlYDEkdgf;bk`Y1;r1 z9N&BZhT_H;z=s@U{1W2JPt3Ww5HHI4;sP<*0#*2EO!Bw6G6O2-T^Yza$wU02{TE4X zAll>AaJDY`*}at7SBjGMPP3|5HE*b9-}y2Ac$t9CffAgm9#9wnc`=*xkY)-Xrovk4 zVa}~)VZ4ZU+ZY4!5=Vk{Ht_UnTMwq_bQem1bcHq~5*oy@`BlWWsL5o0x2F+tUsSwP zH8Dxm<5HMrZVktC*(nkNk!N3c+Q$4Aa;&^=^CdnewZcKN6`2;2;B+}^)=Z(EU96!} z(f8U9*(n!v3zVRp(Ga=2VV*)B!VbA{)e{PZ{n?`}AXuJE^tS2br7o`1K@t`XJ_xPtK!cw-HJ5VK2A=^gN?9?RvpSx`Q&57I z;Fx`4>MkneW{I9Kth@cuP}nOz{Fvn8 zJ^viN6!Q8_6#dK}^4xAEAq{*rZ*cclWyY4rcIHeD(LY(OLo-9i%I|)eLzCxc=RHq{ zZaw}qyq7I-1hB0T!GPg9lt(MG@dhf~N|M~y%nLu7ZiiE-I(Ms0u!Zzv`WHXmaq+7$ zX2)#$pv0#Jg?O)}d98#AN%Av_TWwCbqu)V;lM$(u-qh6QxBLwpVow>s+(t>F`FcWJ z1-s~Rv!2ViFx(z>#HxAgeL~0wnZIL~+}q&L2%6XID=la7r0tKW@u5PwY%RuW=h@hA z3-4J&H+K!Sihbu#Vok3nTN@X)68#uD;sQB->~fW zNj)sBZ2NO^{xbGjPRm#v;w2dUCRpe#dD;vRbBIdg6wI4*ibC_zjS-sSgkNQ@U$2KL;skJ-qbRpomZK~4?0i?GEUEyILA@{6 zCbY1A@N?sbeNaLnf|pv2I+vC4;mLW5vE@DQGcz|v1Y;U&g9Ek5KZExZ8*KIQ@ReeEtdo`Uid;A9lzW5}~3_VQv zDPSg%v4c?I1%>QGtbh~r6N=Igg!3qP5*Q5)2e05O9d9(eKo-ZGqgVVqZ{oy07+j?` zi0_l?*GKC%swap&ZUpvH(>JBjn96>DdCyzmPQ>^fSREXY)mjMso zE0{*d*WW>uz7B~8=71db+$Fw682c%|Ed@JqOaJXp(6~Tg>eiW99``ogc>#JSX3R97 zq>j4d7&R~FFv+wQK5(W|`?Xfr_eE-uQ~01>tF~tW_q4iGtEo-0y#M%Q3|)Y86phW# z*CP)9Nk4`dK@7^Ic3}086*UnI;#+%g|8L&e%YMeI|wE;1VTUpxKmOj#+ck%->b(+l|%T_=bEp~Fm&@_xrJt-P)1gWNy^U<4s3+AX8kKCyDJcD#ALL8>-W5IRaDaX zbDPz*T!A$)+Z^&gNxxpU?-W}uc6lEmQ~wyQ(MMzDGO!(tPJj~hG9;P-Hx0rV8S!#L z1Q?*7^-n25o$kEKtE3B}h&y&?Qg9x)J%3G|2{MT5zSZhie=R^J3poFN@($E2XW0XY z&rpMp^^PkIGoALT{aH^%kG0Ht0FKQ0d-wm0RI-DVx0u_&x9Ok?zcE$l_%L0_IAls* zMP?aAw=?N{Ks|TsO%zX+^VhpbZ~Kp@YUVg~GSbQmH+%QwAc`Eh;*i=x^!>#wM~d~W zV#}i495&_ek7rQKeAiYszRek^<3F{s=TxVB520+9UVl4iG8%)rBp4&S@q^%Q!4y*N zDCUY%4s_tfDcfkxFq4L9M3#mD!&R@NO(JFwv?5~9lToyhrA%vCB~GgBUE@6k&&w04 zso5moM9DgCQ}KN(pq7Y}K2+g0U*owFC~nfP^LXBym`i+Q6C!1s9PE=w_w$Zc`R%pg zPyK-1DgE&)_LO_Fz7(KeJP{1*0W;`rPn*a?y_xCa-Jp+%o)3!n&?;~&ouA;>--3Ay z?Q_EZBi%RAAL$Qy{*%uCI>imTUQisA+&-HlCgn@VyojZ8ytsj@52@bdA_e!X<|}q@ zRkNj?CE!fbb^y|VXeyQd+K%1xX@R|?)SKm#_@(Op20Zb!<1udFv$>mI_gRl)kJGB)?HU!kB9^r zaFdIG-Z1Y~Z?poj&wdo6QFYs1(cyV~LLrCb>hI|{7|$@oDX;GUWx=WDv!9(hD05S_WFfCi9lZjJd%%R>=o+IAB6bBAeBOg~AvxMC!=UJAoS%%{3kA+ZCFNcnBZm zRN~BbghnUHN$#d~=|Z8kdF>k*jL2J8YdRcc#v#n=PDjcWVz{*CZ*{8XpzqSv`H$0) ztiC<%zskSp&sV0w{(t7dHy4IWs@{m_(Y9p ztd@#)4K|i$`IcR(tX!tMQjiaQD-WDZR}ooMVgF8LI@Ff%vYW){hwfB7wDdqs)>th= z{>RU*7@62L{X;FtIDtM~%Sh-wKm5zL9u*PVSB*n!Q*uBdUP-qaNYt8MB-iGa4( z0^5l>T<~D{0aDH3Cr=lq;}S!wAVaD=ZAoX}23bxlVM3UICLPFvGoh(pMGh>4qfw zoMFZ4S=L)^%nG#7V8v~{GJ{VIhnRR4n0l^jVO(btckBYXJ|ty-y)Z>SpnHGyG5Yo2 zn(;&tc}Fij$H0!KPR)V?Eocs~s&wZsOuyb2T8lE7d#J=b2k86?A*kzY#zpO!Hswz} zD=G^{zTfIsDjcCcdQ$+H3J_n2h`c`R&eo@XyB!k8el@>_sRJimnL;yqEZW3AkQLA3 zB)5%(4halIiCUD&QXN6YXlnkC7C_AW?cd)`;{Jbwz$AezZ`K)ZTsTVlEOW^7z8ZI@ z)Z^0tt?92vl?ZiS=b+T4W-gmwxsnFaKBR{5=2nzc1Tj_uz!r4XwyAc+(YrxY4hBSPH)i z+szHSnb?G`={s00NS;vR>jPCtf}Yh)Y!&BpLN9^x@%)Z}Q8c8JA?UacPB89O&uS<{ zwhJGY`+|}eK*=Dfj6Y&CnNRtny9FDU5w8-Q+ONXWRg+;Vkk!Sit3G{^V>{Xpak1A? zblrBS^w1ce*!ckh%Z%{CA!@qMA2fTOHlRPELvh*zx>-NZi7bps_0%Bw zDllFeGOd%p6ZGI~WMO4vdhCp}YWG++ zVc+lSkVz(fZo$nmMy0k5?2q>vM0D$!{-Sgi98Rf@Xl5ubYC`yfG7cVWMl+bjOGKm>sENR(Rs!@JvKz3~ zN=v)lzt~aKnm{+5?n|L*fpuJ{+k1+m0F#s(*a|4@5tBmT@DWTJAk7q$-1pTdx%-_i(opx%gyYS9YaEQTFJ+TD5R1yItlPVhVxu0fi?XWgC+O1E4eg0@idwz zAk@9>5I5CR&E1fyjtbzhX~Pcj0ls&)QizvhJldtr#N0b_Qv=nsWOdp}Ha>0n>sMXw zV8cQl#L^V)&r&OCgK0)X_>Kl=pAfI^sPRcQBSb%&e!o`5dQy$d!>8?tprZZp;R+n- zq7>T(r}OCk+I9hugS+%hV-UMPZ`ZX`!S9XyDgow;Bd+!kSlN9v{4WnrB8k8AcC~f| zmF23E;09h%>}TRme8Q9lQ~LO0(*aMzUlo_WAlg$Clx=zVQti^po%#okUZN4Z#v0U& zs?CrRaozi}M~F!;{+XzcT76HU)z>n{9Z9MYfsE(IU#>G&?3E$flVKn$N=eKn*QwEO z%5FB=gW)O&WcCD{4Z{SJkId6$L`E9-Vcm(KdtmZyo@%#9wn*nbMNkf zUZv03e@LUY|9GaPtl*Ql6B$F=Tf6&;&$KYbH0H%U_4gx+T+#gV7DJbBhg{-oVITW= zExQx3i^Myzx8}YTJYF29(IVp$?1u@u$v`rhmI%Yj?+hK9Im}w>Ot}7yENwNY` z3dQ?MF^GrhCxey~9X#{1euo4JJu7v)hB&doF7ix2Mc4lnf-$WQCv>T(t0zPNs1Qt{vhZ;rCe$RbK+p6a6K^Z~2iFJUh`neh%ujrsOxqZvcyQg<>! zX9UJSG$Lb(gKmy@I4$#|AyZsRppa5y?%k|)^z+D^rJu*a-Kx3q3Rl{9OOuCUJm~Dc z=^vft+V0>)MD~buGXkl>KP6N4M5Lv%pC65_o#iG@=+nTg*d{En{n}}^e0kma5hIwfnLJlY zapgrz?l@ib!ROze{k-pT7u$sjMzS<#TgvaGs{FK}QbFmD{@RwgaW&IE zMeg10`eOaJw)*skp|)IBahO{kjJWi8n&n^$af<5xs?^x{yAvEWc}S{?l#8d3R>WlI zuI9nZkdp4xU3!c}_>E4q>AO(2TQEvE_4`S$+7@OR`vxCM-&~|-rtt{-(-g$4#9E?~ z5e0B)bBy+Q%wgr{)(d_cg*1h2XQ(1@WXXMC+UcSUwX%5GVSu9@@BmytEi`M$!KFX- z8?)^IW$0^E>ck0F`d1{5B&>!?OdVhG6`i~O4UENjzm=opKk#{@Jv8b z(7upgqgF+9cXWVn$!5r=iIK&o(|B}z9(Js z=-G_UTkj_eFRnV+E{_HF16%Z@2IWz{m^A6ThbVNpVYoyDHS9Rr^nHoE)5P}H zywwr9bT_Xt>S?C-R1LduMe)#P=g+Djr}0vBwc|EBI2>5OKvcMi**_k_yzG_V;BIw^ zd!3p#8pU#akG;Xq(&mG`g}^r%+_?X}8iMxJZW$sHxT%-gwRkIHTgi#111SwQn_(UY zcxkVtt!?f}N7$(qG0q)FC_d>jx&7PwM=DqHs^x3$`pUaQgQRBk{fH6FKpgFZXI4rG&gggwkC7CgVHVS#mx zV5z5(=|o2E{`^H&9RZ;VR#*_K@35TMaG$%)N5F{heghPc{xHJ+h6 zd>wc%Zzh%t`0+(yuKKP^s3yc`sT<}o^O_#aEeiAWZ$f7IvEmCuZpv)*@^Y>Qa%j-z z^RY{e-&bV>is-3~Vnq7oRhjLh-f_BB(gwaeV3uDWl9YTm{H;f^iH6~IU=t!09!NJQ z8={L9_p{p{7;F;ue%+uc-+za3VSVVLzvW?OpwrCK94cc<1bw+2D+AHU>hzmglH9#c zSVv<&3jd9V2?W16xPD$RW$i67N@)(G*DMRY(7c4*_y9FKuHIi zMXc)s7kX{^a$o8(zx~Y1`$f5eIXyp?kMRY9UBSS_^2P0&Ybo2#(_`iV#FFP3x z-^g*;3*WZHuA!u#lVUo*tu9#Ob{YkR+mjREc9cqbSdNJ8c6mGvB)b0ssH*p+Ih$<& zqw!WwO=Wmc+t%auzT5+i_CC^n9co9>1U#?tv+UQ{?4^SY>7Cq{7twX1zp3ySq!4$r zzt1+)xLw)G4i&ppyW>shB7Ft_7Sj==Q;fhV!+dW%x}qq9;c~PW1&n2j5oIFhooBnT ztD$f^IYqlFTjf4g>qKS9X=wP;OC941b?qFJ%o;H3dcf(n`cb(I8%E{ic$zgRpQ|2xjFYivBtG+IUjbOIHt=71Xqzt{Fr908wcq`*%g4wk{b6tM zU60ZaWbOH1yD&#UykFQXogkG*KHg;77t6x2^#uiApM3KAz&c_(BE0mEF?wW=ixuLr z@XJvB&p9XUAd9!t-s*{uUtzwRWNB7efd9T_W*JF^znPxPw#LUG0#NhLeRZ>}W2%8e z{(ai_wKw0@GhCy3>1xUmzsJ8Pw@@FK#kiS4S@jCtZn){r=qxqe7TgbIgS0M*Yg9Gf z9*l888vWmBgmKGFG87>o%PwO?8z^6k`k(qkDpll%usXk+e#LU-P95yEoK6cs)W4X5 zT|bO1L}ScfLHy4h>EP6$_nFwHSMm$Tk>TI(=_??Ft;u~op8r}jl6T9kWTw*hd?FEU zml4>Kq?9jeJhrwwXQKu3^Qu9@{gnQAzm`t=GLogcqh^Dh7izzeer_q|6Ac-G?upJF z_bi{wiea+_4b_9f5nAwmQaJ>WBlu^yzs_kDC-ow|>Gt_%z?#tj@8GS|xKqAu zT-lS8EWZS$4FFk0wG1UNf>kMC`St#YwtKq{4qi?q&5&z_W!;Sm@3qn!$LZ@Xbz!7{ zWYPA9e`{7Z@XG_btmODANRGtbqXgA#%aucSoxt+jp0 zVU@@TbcLeFnvHw^$-bDgIU!%NL8X(IG27JCR=CLkiwpSXf0U<+lQQL#UR}PKd#8fc zt&?V3zW%3Q1$Y}8WH|#noOS-LO!xQ38VDS2Mb?K@?^VGKFWJd3f-S3NdHrCYoMM`} zCO@K+(8ZHFsB$ksw>#yDa#R?+5P=3K5fY2a357v7rjkd7rh;BE#mMBwsOlbywiyz3MX6k2kgRj@hjexU`Olj4Cb<{9 zpBG$#VXPOXW=TVv8)5DjSmKR<5@h(2?H5t07X@Y2VO&o>7<^&vl(Allit)(`Bxm3D zLR-*~KOg6NDKB#TqW=^L^QP+Qu%1a;*j;m7xq5={?y&`7+tZPOKK8sG~iZEl}kpr@y*LNe>DZ&?wy83C6~YXg3JFR zHBc0O*wgb_guERhf5BhzGv-RTN%%gMq`po93JPsGUQZSr;83F;fT8A(q+_jjW5D&| zuH$bTWI%L_jsS4DIhG1N?^`Sn({1e#H8C_LvvFB8#+khDO5#ipaQL2)G-L{PLjd;eb|2je}}$Jk#)T&d?lzxzMh4*IP* z4Joy2{WeWBO0tGx&f_}B9;WI*)dm{_j}G8|=GeW})eskU-S`egxeEmhYXTJYZ|N%t zKca^cqIjp}uB0oybBV&eP2Ez^z?3FXMufz_&uxC9w>W^>Ny>tl)F?`|Ko1kPT4VC(|m zG$6A{Eh29NSu`$;lh#Iadmt>FrmNX0n%CmnTg!I}NYG8xMwKK|^Em#4Y`l&e&63sccf_Ou* z6nu0N)A6Q(7Juh@SHY^f!_Vxy7Hto{+})<629f|Hz^~)&)u~32|A1+yAN*r3uR2472PT!>&#|V^ z)#Z*t`+Q|YKLV3{2~~Qt84XOJJL}Qtm;dA!&WMAJrT4MvvE`V}<425J$wwLk3p$?T z6v>OL;q8c7&S1KmOVPQ~u|`9iaG7n?RSS;JEcV6zw45bI99b9F8K!agk69CR)4);B zbho>D9zH)XpuD+A-FG2hugT7%iN;h7dr8yrykK+`0nqdwm7??`!y}%YG1{!D~m2gX0zC(-TQ6Py*U?QcH_EyhU< z(LuJvQZWA>8Ixs%U-~bX5J0j2%$F=gC-Vv`3jYWL@&Y+Z-MDh_-zLiccat0~yz2D; zyM0~lG?pbJumMRUWSaDY8skK1Ype-*D8Pn7E(`JAbPIqO$OVU!J1e}N?FrR&@lyc^ zc?r1X(;W!8$wFKbmbd^IPZ|6*QV)O4us z_b?{!Wj!G;K-&~xyDaA_e5@}X+Z>`~9J7JhJk$>z^5pS#it`2ia7guhP6ox{Q^VfM zL;4?damSH<<`sy}-I1ZqLZyxyHIg-IKUh&%j9seTJOULxn=JgWANVPPY9_W7);^1= zdLwrkHl2X*5-p_xQB(=~(t;?wYroF(!3w4nrW!SC1n~Tz^5!Q$Vw_{L{HF^Rwr!Xb zduImu(W95|MAT>QuCs1e839y)E(?NV`5_!@)r+<$3JsYM8!QN2hR(aLyQHOt`#tX$ zy`uh4QlDqTyOBMayv!xx_OT?KYkU15!T3(C&=$SK6&_=ZBrHJN_+~_nJPVAbRRLtM zl&RxoA&aS)j385A!cwoI)9FlrUlz`%ZUS3%rz9Q2`E6cb2xFx8kur{$IY6Y9W%@k5yf;nebE`CXH4=_pufO=xQ{HMin(QkD+``6xRto@SV zbMTGup_{o}VaTr4r_0XAV+B!oAM*lwAO z6+;R4UNpd=pZ%qAPT(BlD z12BH0+Z&|XNe7L1KZz(1S>k2&?(SG&1Zv$Srg@__6#O%n>Ll*@Rx92&Xxv&#FCy+V zZswJe#CKBmBt7a&+iPuu(POXK998BX#PR1N0kVg1%)fCp(5Q=?NjS$n6OQU?e8EXK z#k;;vKn6gEIz6Kct6b)72+m9)K{K8084=Bh9Q{xs2Ge#+zGs9|RG7z(xE;;hx zA@@nE3jUF>Y`VAwz5YWKT3yFb98yfN(Yxy@)G6j2qj2>GXu@bWG(_mI2lzwKZK$Nk z>Ce{d=KB(^Bd3pjK6@jKjB9ZO-2OKApQdrjs?tR!vLjnD;D+3!7@#PAKS{M5*Mb}) z$~h81ZgdUb+mGgY=;vRLvPL&A%SZFpwfQ$LryOM>1OeVl#Uz=P+GxKVfK z`qMN-WLzhoqI5V_S&^jt>Vt--Q4pB^x?Q#fmI`hrR(An_sIpJaYc6K6Z|{h$ZOc>* z@A$+Ti9UPrbt%?FqB*!D|LeB4Xv^aaD657kR)NUXmjWKz?3vl6ihbe7I(7-i59a0? zxWp4nH$vXypKUr!V`pOue1DIpqlarFdGMb`4J3>K>Nv)MT5KrCnWKzr|Q&1O7@QO zCHEZz{LzdGS`o#+%i!nvfaijC0(=3Iz`m5+g{`qT2-PTiYhOG~JdlhL^h?I;7Ucm( z-hBg4VA9g&^YBM7#t2D*3mQl^%(szOWxiv!MQ<%BqN9g4Tc4kKEcN&Mux{>9S3D() zOg4Sut0h7vF`%I>dtSc0`4ny|Bbj=dq&y?rj0QSyzS?UV!lajoS+)TN3Q(e<$+7?Y zH~)=6zeK2w266p^IGspl17sfmkMdj1H#LaIAEK*>?)aZ<|-)cZeysJf8DM2*W?C9b+JRYU(UDv@GjGTicnVx6$6#~ zSOHUHWE(#>llz%2ZSYZ_?MtJp3mUqKYjI_HX~LP||KcK7Jid4GIKUC5J) z=2B)4CG#$MaD2eO1XiP$~~!c{{R+V!S_QDqUd8kDx&#Ck;gty1+WDN6=ME<7`c zhM2>2$j}#AU+@$<4pE^s4-ZV88?jxs0qJmZFSaWc&iZ7%KXTQNBlSivt&&1>cgmrJ z)#rf*z=VZyVHwoG|Iq>jT=k7$Ta=-cIigkT#z5|m zzNaKmo87LT6})&%{6;yGMmn-(PL~Ok)u?{tzP+S{qZg2>MA$M7lVEc7yas>1HAfmb z$b(hwut}(ssOt`Fu^{i`uuRcy7n~3J2wjW1V<-9?!+F%uw00WzUifNs=Xdga(6i$?^*J+YqTgx&F{P(`I&bAzLQGG@SA(s z5jToXU#u6i-Oc{i9WHD?3a@`-OSk=l=ew@&YpYjR$45X7S+bVw^(;KWI`)JSnn@4g zbX9-*G`VjUV_n z0%gk#anNjM@V%D!=Sgo@&BCi=EPy0GO#Y+utA>(lhllhn&pmD~f$#Gu^prX3;Uck{ zje=#_XWdyZ4*GmC-S0ZMV0nAyGzo~$d)|b9vHST*I3Hu1JxM##)l*SbGW~c~V;aX+Nk1Ja-mgj2_c)xi5BleER=sky&c*XLk0uQ$b zJ>8UDLUJ{_y@2W}@}u^DLE5SPUIq9+^$Cu`HsfrM-bXqrw47?R$6dn0+%QZPniY3; z8se1N&?9RXdtLjM=U*B;kU-Q=DB(QiV!Yj4p!Og^84@2c!YSxLw_T=`UB;I?aW6qB zCIZR|{_>@|@Mos^JCgcQQq3Pz>p2VB;79ZvB& z_?FXo8&iyVV`Vv!*22Nk_(7%Yc1f+PWrnd-KX%Xc?e!mBwQiJvW$he(AGLvBYzrlj zvf00fdVR}9cB;L)Q2YGb(2CG9n`*X}Q z@|Z96&9(~=N?kM~iz(h- z&Oo=bhPA^}pr=yn{Ok&pNB)C#Cx2#Y^hpX#o=O!rk_|6ia~^@_OLmoH>EhaV_qUt% z7fS~M>pt0+9i3Y6a$~UkdJ;V8FUHlk97+S<1lbbX4Mw|!YV6!LvG~P=$O(}vbPKsn zi$LNG=yo~gbqF#p5f2^M!&k2l3rQ#lM5ghWlAoijmmeK0gTNMwAb$axE-gNUrA zc?-sQohb^sb_R4d_0r?5=_Gnxi7kG^jiV!L|3-C*`PX6TlexM6tNR)QA%5*ad){=QH>1(&uu)MB63)CP;q@8=JEmxleJZcJ~rBai)Mz} z-|cJ@MNmc4gW}LFNr5V;K*&w0{?}3@T{v@=%D3y#ySTKXWnt8G)*qBZd7aWt90v6w zZL1LtgCb=}iMNl^Q7rqEGZa)oCh7Dg+Y&>Yatj?eq<8a=16LsU5~9=O4@Hx9`d6t%#`}YQ;YZDszfybGEjJ=fL*P=RWTRK<3D`ZC=z$EE z_>-Ri>FHIFePdQ$jBzM6|F4Ah9%+x=S9dSSTi2M{gB|3aa~IXuz(|u|F$Bq;6neG_ zv@8TuhW4R*@gD66rqAkdr+Y!;=Kb*KV|4BJ83?1!d)J%{`%~jS9;@)!gFPnc4VYW> zDl)7Sc0^yL`%PVN*G{FtJYP5Np_p6DRc`JMO5vPgVEQcy$Ql#id~u=}=P1xG;0LRpFJ8c60%uywt)VsmuPcweb`!JGy7-K1z+_H<2Ik%i9 z8$MM_+6;RJcyo4|5ym5H%CGW?$8Ou4|YJlhM25-)GF# zOw=$kQzQG5r>A=f#-W;>RZ71th;GDUnXN*FBlat!6d@FS3y*~i$V*$2l-rGu=3nA; zmw*N^T?PL0)mLzJm*sV#2%4xsfcw?YYHTsg%0C%!(}QSRdCI}Mje?2IbcGtWNg z3mY1ofx`DyPX&S_neCjyv>TVuVN>3sX^}pSDeQU|_-279mMw)S>0&VO0tJvrovM>TN+V(8DD@>>*roe27BOUl0dQ1+G9L5 zhnDGKx2WOc=tJ+qk1WlAyJed3Cwmd2XUAek_gWkgTNC^z2J%mdHyna&*ftWSnc9MkG8t&hQ%brKfiI2%&1@e%1V0(H) zY}-ZvlOFXkyoR*8g-z%1U&DU(cMMJtIcy#im3% zX3|9k(TK?Q7|@u)ZHjb8I*e^~gZN*&OA;T`?=jO1z->OrL|u@Vv->bvS-|Oe zR(wdez~-5>Z3%QNTXE-3y}9@l;j!Pl?8^I7PSpD5%aUASdtboE)rXdI<2YT8OPuFJ-hC)se{UL!u>qZP9XEwXTCF4&XF~v%_^O7+)6MwdU%iS|1aA+;^~oMr(I+k3+!nMJ@ChXgF*?w{g{AqalBuleW)9aD1Z4)XW|vjrRdkIXtj zPSuJpk1!(ANXwL|>)q>)RktZ@&QZtQnXM1mm?m6dKOcnID}?&T9r-x4rj5UAy2M#pioA89183Yy?#JRO4Z?Wbo>HiSS}QPxyvjL@r46qDSkSp z^XT^5dHbuhLnJ2QCFdqcOq&N2A;`G-jCCvjbiG}VHPL;=I_Bt(s&ez~6??cW$i>U_ zLP%DCP?bpGkFkqGu5mJm7pFa{BwcyZ6mR2h!4<}Y1j+{`R+p1qMLBEQJ#d_hoTMoq@;WMxlha^)c^8-9cF(m}a8TFdZK4#SedDs3w01oD z8jST~$mXRuabRrlza8|OX&1=Zr{TSG+;?f9IBWmUv+b8a4`cW>YPtBb1RTVp1cV1J{yD+LK=IKJ+1>SxrE<&jt)otPKqb;;`bazl|M?%k~1Fvkq1{2bz>%WP1e)$^gFq z3cYHimd$A2;;D)$Mc2kWf{`zlYW?w&)Y5U8>z8EWtU_K2A)JowMd;W^tS`uCx9GAE zWw8Uu0x%HBrQ2!p@M`QO_0!c}l^1hnO+l3z%uTexeH61IvU`l!gB8E&95ypaJI3E~_HZ%F{V*?AY)ui*Swv9^>nVG|M2Wc8#hn<-{AWAST>`Cp_gXHs?649O z416LmGxY5+gcb1x_gG6g`LK6eQ*W~NH#CC#3iGaA;;Vx&_zuW6n_A7VUbAK5Gℜ ze}gnMk!+d?g-7*Jicl3al-ut=2qCDSZ+?)zgz(h;>Y=VHcKGhe!&BAe$zDDVI05iG zsJ(G{I=?G*&Tm@9>(~Z&BW{%H_Zg;@nlN(ICFAhj4?DweH$w}br)e2nm$G}`*Kf)^ zaGGB{PiA)Io9fm8NH3Zbg^>*To%n<;xiNn*TS$_m0_vi9)>3Rk# zbN}#e?gFh-pqSk#hmVVjqW`Oahf4R83rvt59)|nM=lguWC@Nc+3w&VW8FoFYVkA#+8BGwrug@>xRjU)_3oMnvD<8TyKOSD; zf14U0G`)O9z97mfgsc49d1aUIi|Vg5?x~Lb#g<`YFKjA8n*G?JAOEsN{NmpZ-B9xI z=?emxW_46bXs~=-3<`m{p`eG^vu&ERyIj?3t;XZ+cX45HD(iiywsXHs+TNl)k3~u0 zL|*vLX~{kxsd#Ss{P)A4M&DC1zf@;k?*+taX-SckoimPv?d|$Tnfy7Qh2-JV{THI3 z27zMs-BV01)h6j1*C8UchYEz;)BY_>XGyIBj5}YMGcj7`_ThucH)xK`;Xd?}=<&;= z2_cN%IxGuxo>_g`Yrci~Wt@dJ1;rxA3`TRowGE9gtYYx3##Y6A9tZhrzIQqr#$se| z=m-EiLHe6Pg!c2b=oNP=deJVJhmX1ZHeP_<&d5uzB7dH1Zh)zKbio{HHAS+bk(BJV z_IQ+)_gG8g>enIV-#0qn{N}!0YmPN+zJgn==4>YKK*Kp_;AQ-{m!+U?`RIZPP03ICgYG1o|F|CVZAco)Y&*N@fNR&9fJv7op@%p z;*b3N=hK{npdD_>5SS66@EN)n7bF#DK+5!NvLw7^vNUW8ETuO&!-=BQ9OjlbeF1h> zMX|(sc+cqLiaOmwopxopB(zD)Qc}y&05-cms_(%zrNsBVaORm5%UV@J3I2eJ>?34J?OR% zf`*_JtEKYr*h9nMAi?8#y(T6@2rPB2F**N2(u~K9Yw~=|y{kw9{>nh~GdLWzC4>4~ ze~3Gi;aDuQv|h7t1Dn6W$&R;M*}eM{jSak=3$-zgRY$Gp#xdzSzOBrb(DV z23ElFtBBZqU>Sf8rPl=ScIB+ggyez+2wGJFc9G;m%V z9J!tFH5+Z>W%{$Z?7uuJ21CuQlj2Dbw2mpTd!n?i68Hk(1S7R;>6h?^zzOz8T7cVx zo|fMEQVWikHm}k&XVNRg5XSKNOS3IOmVqF+jI}3@2W; z581=Nk)g^F&ExKP0oA$uWb3}vPQJ5*?#1%vnzdT21*Rvf=qUZ$GsC^bIl)Ug z9sLV4bAdkmid-dHDdB?OYMs{wd`=7Z*^l4W?9@JjVvE!FZPkndnk#t6C!$3R_pO*Bt1g&0yoa(%45ulBkHkrj zL_KDDS-)2phF3O>^ytY%*g}HqxL@7Gf%O^jI+)6fwnkb^lVk4>0n4`=*zyH9v5B@* zOJXu(!V=8LPMw35I&oqV@9siQ6%|A<#@2|+6_5{?dM6^U<1Plol_0wr+7NxrOPn_3 zsPrwxLfX1Y^dZyEwkImEs!b?bm%76%`eQ8}Yliw!fndoF+kg|9bZ_S(`FUBrT*TEJ+T>uPEM zpS)2A8b01_5;KMDfFf?{8U)GD7R{bNykRi=uj-^SbbYHqxkqa`d`?aC^ zF(*?6SAvj?on~ETJ*b?0Y@d0n<<)cNgD6@SkDt@bShMYS0R+>Zh0d1#oU5MH!P3=G zV-`Dmct;odyZ0)G7+E55kG#nIlNVlQWE02xs>7B?Ww*^zLS{&Ci7mg#M!7M-{dm#gL&R~C)bH;@n$^eckEz=&jLxI6jXyk$qeT0d)67gO1 zj3K{uWv?d{>68<@YkFO40ct;F;Fy~F;iER@+}f$a^BS;aP`Ch=l7||l_kPPv-^NSo z_d5QF(yTU{cw4u{%Q?07{(GUAz!{%$17J!y77I0eG+~wnH-HTHdF49D64A)8daI#q zZIB3=M|Kle3ECMyVlQmcYP}s9=nS2Fu9}z~!@tVe+}$7CexUxGS2gOxlKp&u)5NS1 zkgJG$4kilJ*m1~GY^&yNo3ctoBU%<5&sA0rjD?p5%#)X1vw7WlK7Nj<1GhDM9zNCN zM#uKHzW4ANF)lPaEadL^JJiSnwnGO3PsTMB&F~aSLp(!c()e4(b^BG&fv`1iqb{zf`)xzEmxv_7 z(>a0$oA?icNRoz5Ia5*GhejwU!V_=wy2$J2{#PtM(h+w~O@p;!W_I{ZvJO@dXy2t>ikuwMzU3I zT?@_H>3jFx!44Sv)i0GzLmaFKKW^TEEN zD5AI~+2iR|0CHWT1ZtnWK{DpwLd=KjYM`ys6ywnl#(Nohp)K0LN55^sSoalgJ%06k zksL`g9@$TkUEly_J>W5LBG2yEOQdc+boz+W5E&Qbb)mj6dX=Vc{WCjS(yIf8a3$Un z72dN%Imq-lWN(>>PA&mml)82C4Y$w181@#C8C#AOiJ4>kxYL_>tIQMBbQA_glP4PpF+%7sZo5pn3;=v6Qeq=05c>ftn9s~Mh`q1E&{sqE}^Jj?OJ^MALHh9>^V9C!^)v9M4H? z2zG~2dhKU`VJllz1ov9d>}QvEE6po_CDA@VSM68M(jJUan6dISC`$dRK1&r+~eno6h%alOJN2;v9lZ z_ydOg%BQP>8Yc6;t||f5n)wODLBb-qceSc6011*^2<#Rwd{_h-pMxCezMS@7%u-bM zwJ8nb@^v!tx5fRy{=jZyTd^%z2W&02x!dkgBKmra0@Cr8>I{2y8dejl5-k?P8f_Jw zjw~1@s?lfGgEEu{p96uTWC{Yk2EHdr&sh(2J8)={R|yhQ3aEW3VmApX--N zCBiH)!pYU?3a87VEP&ti{1u*pUS@ zZbfB<6LSQ*fwP&wOQ;Kyu=U} zqR}ak9+lD!7%>|&gNdN?ZNrkK$j@nRO7qX37!zk%mnYneK96n3`e7BY z>R4H?l=OhhRlI8;-}7?nRg7{9YiiZs5APFJjZVw&wDYZjGt8-Pp#EfmGsE$BaqgilvL~MzNTZLy ztJ1$LX;A;k2rmFDp93$1muI(};E7x35Q8NkcoK~#u&U+UqXrV@!IfKqjwe;hFPahf z2jWRYCqboUNmt-Am4c22xJ20T4Y+6Kfly2?V<|{9c2-z zXgcU29G3}XjtNLW1KPsWxm8q^n%q{$}TKXViX z%+aOb@04I-49X#uS18IDNOSeqkGSrwF`rI@5%KU{PHYa)n+k%Lar#v$-NZ!r?F5{3 z1A+nf#`JscBT`cIqiAjXk&kq3BmO+p$}>cgW@%iD=>ha!!_{>EcCGCx01MN3F%5Lj zzEabLoBTJVydbCa+=!c2s!emQogTOLOg*Cj9MM2jsQduP4ya?)hX9+SG`-ek>6^(9X)KDJ+9*L zJ9UH426y}+za-t$7BmjFX4$0)=D#vU@w6{301RKpemMQl!3ys9W~OEGWV``O+yCzn zZel+f?WD8NejVDr(9e|kwy6R>R=7VnHaZ(=x=IH%wP z=+7dpSae>DCes8d=jd}Lw#)wgk>J{eaP;FnWzM;p0T-&z2nW&J_~Zo2OhbUwf+e}0 z-Pf);Y)5y{^m51qfReyVoWJa3E9$Db*9{c8rB_cj-rLKGm!;QWR|kMtS_E`#vAw>GNR z#*ajN{SclAXQSP>7m+0`X>}a;{DoAC5@fU?K)$8#fcSqR8Ykee9GE&`^>*vP$m z4|WJTpHt)Ujmo+%R$gDNeXm>F5(nUlDJcPdE32n3dGy}dFo3vIC=uUGBR3R&M@4ge z?=a@{>uCW)Y%)YxTJ?CnLA?+aix+CsX+{s$H1b(jHFVVCN-Ak;AuciXM$-e)$t`;twPyqr zjO~x|v0p3detL^-eT;!cJHm51{!HE8h;pVv;9N28UNd)Jq|p7%R?PjKyz4}K*h4sn z=`jjT3ywuz>uSIO6XN10%5SVUN*VGaGa!x}&z~V6LDF-+kAx3^MJmsPR8|4(&u4?_}bp;aErhL|03nLOR5=J?EyBv*`@XY$RIT%mhWo=A>N2)g83(nOL zR0ZTnhNO=1SumOs{-dmGw#iLU$!_J08@rF%I~1iT`6OXheA#a{)#d6Gv>mjtR0q=# z<)3*Wp700^3td25Sa%C`kNpiytf42)a@S9bt*NM8Ji0NrdNIOH+dO;4<8Y4Y$+zQ- zEqwPulmgG@l}?CU^QY>u7C%5r0QQ-P?4|glR>bI?+B|@>?s){YIkKEVaO}-4FL8>y zzYUicQC2d=vi}5I9mjmwXH$$G$r*j`M4j3YyIZl6+WavdC|NqSPOD1&yleP|qT)6v zU8{>HuQT%N=MqBnUP9U<2 z$mgP?vLA;ZWO!3yL{&J|FsJP(m`62DZc&N-%U`TKOj8#ZJ96cm64YLbWX`(5o>mtY zdtd^~n>ZI02~RP!X_SfLsHO?C{BCJ!)cYL=-R!>G&Z@=f z90nmB^l&Q1!rhNkgN&N^I|9ApIjUsty*}1G@a1O6uRScIpSNw!0AVRiuFT(G!egMNrOI8HgH_-;Au)@D`C*<*fEj`NMpkkO(H4oS6yt>Kr}$0MD%K!C zLqN9f@G&|QIWzT^-I!}&peJ!xAQuwlHF8`d;}q4oZI`>RF%#I;6a<$TpKdtNjDDG& z&umT8h|kQ^b9Ftwfsrlsba5qu#-0E%E4*v%WS*ssc(AeZqWN9O+6QvkrI00#7P?4C zA7~QMB1u?lzM;Ar9yjL7Ava11nH$f?p2b`b!rxT?$3edTrHCbm9@2R2)~gc&HrE*9 zGc2&Mf^HSm@TQWDrrD#{F)7QXn}N6z8G$W~U(?AZub{;??c>^4^4KDD{3Ww>^N*LZ z%;B6bKdOT}wiH!$Pdw95I=DNR?ceD=%5T>~r3QPF=O!{&cC!vFYk&51SrP3rhpE=EgRHcou-meXl7-VG7vDh-<8 zT|rKb<9?%~PON*vM~0~C!}~$`4YGsqs>C0QGK^k&trzm$sdL_BJ7De3s$qx#kX&O- z*d2@wE>vF-RpzBlfKRAK`_NoB!qf6vv$fr25=cTPGky|aoFH3V>JPVeK2t7Dn!&W3 zL9mAg#T}jJRP!klen3^n-qpVqMid))qn_Y7&3ok?!w&++&_*9OA43qJLp-=Wk8Lhr z@18#To%r%6V6dsr#@*BVQ8ZnNS5<(kLjWz0X7IE;HYV=6#^<$%VZ;YS9?gK2 zKvy@S+AM>zr~8xM#R2;dAuyX^S4~{YiGu`tV}i^GizQ2V9Wz~_xl*BDx0JYfl=60H z`V`y~ESr%~eCAW$yM#~uE{{GR8^4cp@TS@m*iVP9?O4QhiPNyd_ie1GYW9G517y$Y zDuKAgR6n*HY*ox83~D#&$z_Y%TJ)sBRMzJ`EqP2nwk(mbF>CLQT>viqv78CpvsXM| z9o;BVrga8JjWWtIJ-|9~Qdzq7=JV+6*WV)p#uWZKiH0LHJrfc_2xD_TAUpgMWm#t& zV~jNEr)mIPl2hzAPjoW0O>em*_r}9wDd-jM#>|9}10~(&RhuW+1L5v$Oz^~VM=qI~ z`+EPpDD7+{mI(%3{(^mslA%5Fpgz92-_9kMmJo5k;(J$x0lsh<^_277uQaSkq9?$_ zc(gc}AVSxSb!&sKHWgG7rfVzuI#GcjH;V+b@FwLki(>6S@yLZGfA#7{ z&z$!DRk-7MN@>2FeT58wbbLZ#kE6|@_VDtSS2^42j-VBZ;=3^ky=(_@3Gibr-(2#~ z&%q)zt=Ad{MHv2OZmH`sk#BX@A4Au2$Wf*`+HRFI5{~zM21N5`Br@AsY1}YVrSZ+f zB7-BEyP9r;z2G{}7;`TXX%Y{1CORToMCE;r!g+Du4`g=O6nm?K!Jll-q*Df&7d%+__t-&TrN&b}uCK8rR3fq6J{dmnv4XF2n^)d;9I) zAjYGzWGl9lONY!>JC* zFduoR?fu8Dimh(IwqJX=Q@Y%f;cGdEq_V25%+E8fKM9hYnP=`^oqe+bb|T6UOsy6N zE+QJqKkDA4LlFvI$JcN((GY+)da}D>btdLjEmQ0f9g%%4?co&fuE`ubC|{(WQ+cmBu~8oGWQN`DKV_Vg%XYWT z;6^#0IDC`yX%nA_GM@V$wP`~+#03_n$shGeg)^tKKe*v@b?Mv228UYB3Y5LJh+}Ta zhY*nu9Z3qW!nY2&)6+Lea9q#?*gDPna0>RFh6r|6+7&SZlJK>LK2j&(Ff-X(*NJxk z3RaAwM-)pOE=s&OgTFePqu$OO>!lw&d6NW>jnul=>RuCJ z41f*XH`-^};qj-#x`Jd$1rS^Ov*cVoH+WeVA*M1aI~|wW z=J}=ja{PvP6>NP@(WMnV#NRksxZ!M8e0~)DDMK$&X>u+iX$YHp2I<E?cr z_A*vvm>9Hf7!(AYW%zPyivON-22Es_I13+IIGu$xbuh_e9c>@m3N(duFW+>(*X(0?OYOo-=GE>rSJt1e2ml> zuju2Fx@TiQMjz8;Jh=&pIs1LKX)i|m0)?ynMx&aC-y;T)yOG-KmtocrKnwV2d){J! zF{%k_CF_r2=4Af%)DX|NYo7G;5Qa7F)vdEnY^caiJRC``sGXZ_R=b(|xMuq~*g;ae zrYl-xB7gbw0}nG=eQQ*(>fP(OT8xN~*<2-d-F1C7{Bu$jN1;25e9!i|^;vmAYeU>q z*R^)SzI40KX=K7^Okvzs(A^SUwDtuTgXdW(8^&=GS7JQ>TIfQY%Rw2dnVNuGZ zZ;zn%E>tDrrOvF6(j=wMqIRye+RL|Izk2D?VTen{YA3#g`WT0v-pwNiB|OrKH{#b@ z=aeYr~TSJqL3L}sw+b8=Gzv}-5p6A6 zg4j+R1*mGN%VUE%8%v*0j=ga)+tO4L7=05Z!I6X&@%9T>?NkUcwU0dXujRg25t#Dg zLr8_X*vKe8`f^lz9{In(B|Ilw0b)gP=#V)MbiUrNXfk7DBY5SldchEiO-zGPTJOi` zLcR40eC&eHqnTvw`Z$H7Z~)RgV~)`)ur(l!amXB-VM$Zf+`W`2m?ji)Hb^f#1b{LJ zf<|8Iy%=;49_ECbbU)iW=mea#;+UG>hW(TCL*tZrMa2uY}#! z9dC|1Q~vov{xbjKA`1+IQ5r^8`jjx2Lnd`6m)s5ob>GjkLjI;JzDPaiHQezeW@k}P zB+I4t^!d<&^6hHkX1t);VU&aFS0nFA-uBwx@rFCY~DGNx_&Fg-ov0gZm{iTBjpLq zl;{^<$-p;yP`4=2fMxbqcchUH z@DAv#*zr|diq~=R>-qGe)doNWVvm!7ZT(uA(>kyye4&`e(YSXN_XRNw^x&m&?=to( zAzp36DD2}&GIqb+BO74I39}*Y=TyBZAL-6BW}*x#=vDc zr&^;>6{qZt9f|0$CH#?yT+Qbu9vbCKQ6l&WB@SE(Js|oPxw|29E+d6ThHgbRYT)+1 z-`%1g)A}rPHv8PV6J&GPVJ7acU)!N=AAn}07x0mW0B8X*CldGg$7i-oVMh6v^NDH4 z*E6CI2#;{nuHI6mc%kPE6(7+vZ@)IKhisOR)ev=!PGdXUnpm50N>trTf~V|*Xcaq)fXPx ztqjGH8(_(z28s0{i}eYao7=8F=MCc9;BBv+EHFOjb1A+_VPGmCIr7x{_4@({202Bd^ zfn-JBCim>6CxbOlV=slZZ7dJbMX`nlaaL?E8B;dm{>oxsVO1ZEJgs}Ms-^qk?5^SC zwZogwLy&0%4(IbzggD8z+IDRjlA05rmGdQI;QqTO-sc|zqD<5cBU`?$w;GrT_=*@J z$VtR`Zu1$6ttR45(!N+?+7u7e-gG(5d%;rHW`>}mW?5L++a{%9n=R+fWt4g-fJ`By z+iVWa;>?a((Gt7Mu5LR;OhLw$6+D+~|4#ud zAUY^>%UH$wp#!PM4PfW4z;hd$#1D$PkB-G+?#AT7SRrhedQ{Q_#H!_dt~puHwcvTK znBXR`BXi*m_{hrejwBid_`ap;Q9bUj3`)38vsiLR5kM;|hb(8MJ{#V7m!)aM+x!W3 zSZMn-DJuj&!pK8C=w4_g_*|WMTz^i;d+k;9yjRCi>nL=a2WGbjiO!B``d%2*{kT0R zDdJr9lQK+B#6xG>@%v?~y_6b@guU%d<3ol?UFE7etFA}hTl+O)39GYO*&hSD!QK3_ zr_E`*j6+eY9~u|u!NRqN_vW;QMagXp&tWX#$v?eot^pV~y5pxMeS}R~fcRPvA!_+w z8VVkSdyzI2BZvah#mTf)GMpgIH{1bmT|HMGGI^a)IdMc+h|2<=ZYkg| zZF!oWLx7z4oZgVjU>{ik#Y>aXt3oV&oWZ_5M#9i0juF``S7pE?8FrmBdQXb8Z3Rx) zF}6XCL)baRA8~Nb23YFqAY}j!nrhTtH^+1l*8$Jrvd&C+L%B0BoeY$MwkK_;&9Pt) z^e>Dv!yd8l8GLEytB@hkc6>fSJ0NFR?ZD5^o#~8( zyuNnfsgN#XfuI|eo1hL!f&kK~Q;nsH{>@}AuMRsLgT+likIQr~&1PST*o}If^m6k^ zX)TUSjR8oQG)xN3P4QWb&rkcYyc07?1K4(3=T+iEf+7E7%vmw= zT9;+<>mIKZhV~)i_#Dl(<@;bcAC)`>V1XdHoKUdyi?|(-Cs+a>S^GyR!(G~c#u$GT zl#X%tM$H%<`8y}M0RIZ#;5?k3bGY6H(##t)ovF$?j|hRcWZfszIVn2}M|?sZ(FDiy zZjX(>AJvzbzj4yt7mH^EwrWHps3;8+oL{{Q#)qN(B+AeV^#UA7_e1hp1@8d)-NF8rnkulhIrobYG_KPVhVaFf%9k|<-tr|taS0c zJG_H*Lc)(F5Xq&j(kC^{P4n=yM|;_ab?`2IdodB&0B^gC><~ln%CTT6%$fwkNndxQ z{fE8)n)C1QjrnhN*ngad|M5V}br5!FfqMYgUi@!vw(?2j6n(JJ%i0F@lhy*7HZ3LH zhQsq~_k4E5PU=&vf>hPbR%EDBl9TkUCttV8uooOZ#mk}rne++^P*vs~KVwb5Ys!2N zko*E$Y$2kBvl;z6Itn~?ntuPo>6A9J35yu>7<0zMby+T4i6NdTm?fC5k^YJU?!0Cs z=%fh1%gEHpu9K+}@r@yucsYU(5;<-ly7%KiGi=sp#`zlW;(R-?Gj3EjLJ+6(#jve4 z*hyLNltFKq9i`q5Nh7uQ2byOdaHk$=5R!z3;3Q@sb=Ay~z}@-eja6%c!}kPn)Ld z^1?mjiSZzR$U9?-DYD}d>AsUa(ZcyfIJ8P?O=FE)PVfp2(78ROnSp4r9;5^}sZLNJ zL#zLkiVl0A{%=2i`%{SufM~E@Q8)v;vD^$q_PJ%;YHBdHY5T7i zr2wYL*d~1tUO@AjW|{VRb%dp=mdYBdlMGRaXh%pf#tZIVEW`z-qE(_D@sSQVIF^HW zi7;=BKRsUjdP4wE&&9?}M7uL}2Y#m}dJ#i9u@Nzo=q zZ92i5&tDHny2_qoIpW6jfR(1U+`UpThdOXaD^)s-BRIbttxdBc{Vf|gWAYq#d>@d6 z!yv>c%xc{s;~MBZv`Sn~|36xQ6W1G>o+h>h5BW|ZV6}}y5l$Lax#*l{{mIy{so)Q*?PAidlZ(+QktSMq$t<@t|80bz+sG}3tE*T(8B z)+4S$4buaXz4g2iO&7CmH1WB)B^{$(b*MXM?lTxqQyZ`oa#Cr&_{hq58HA)W2;YaL zV%fd4Z>hFls1lJ&ui1EL_SUqy?6%V<=_wTf^12stqjRh_$!PFFEk=S12P^_}G8 zRU*^K{zh#BG+~)X&&4c1i?H{>gK1@IBm8(Ok#tVX&Yn{Oz?Fq0*Qu*Og>mtKjOSln z0hr|X&&<@i`hOqS9V!c`znOI?w5!@hmG_MG!}9}B#OKp9|8TaVs2^DYkI~*K13!6E z0bONTb7<6ln~nsnd4;&Xna#QiaIv6BnXBPGl#?Nn0odsrm#Q5A#&k>5p}x)M=Z~v6 zJW4sU&OMP6C!4C+fF6LW-Nq@S+(1BVHez5RfhzvJ)8KQ zpAM@OwiD`=@0439U$M;S9_{((kIwq4`8K0RLd(+?7y&vQAZIcd?_lK9J^TY+0UK${ zGx8y_@&Ps3h@ydgK;T09xKL}R7Xi@&fZ-~q58oIn1e}Hpv}Ck@j982q?Bnp~MaTs; z-fL+as!qwmq=o07p8~@1{`*utB8!tdyw(Jvhm`msinvmxU3gDRu<`7bZx~n}q>uHr z31db%lN6nxJ5@VVnVVkgI`5x(BlV9znoh4ViwZ8iz!YQ!@XN`rg}}vPx{%t#$=Nwj z_>6PdY{)~AHFW}4&e;sbRNjyMOo9eqC1pXcU8#I;KGlLy8SpFe#$z%ynrdXb z3E2ek+(f8PC8Ig9R*8cXK43|jfr<9&+?x+2?sa|1-g26aO!09jV!{yq>UEoUa5Xlf z=SA(NsaadEvGH-;q$K=Y>>%&$TNpnnQnb*}+cka!J%bI@^V0}G7*nw&9 zeH(aw47z#YxPtvP#A_V5l8^D>`#i>nMW!Gts}}{QfCH2;%>nax1scFF&Em7?|CD2E zGn+TF=KrK}&pWd1ddkcBg9kXCp_0G%_J_)UDCM)Y6Yn+es6OATYLG4e4r|sTry@UYE{iHY==as}}E)aXK;;Vwy_cn2a;94|!2d1g>oXzw3 z$BeuSq$Z=#$7r6!PkoYrO2pU(OWDLYit6X`i^8#pxcP^6P(Iqp5%hPP?zg`TWH#b8 zNq1b$y-aC;WNn>WyAB5gMLt%GlymG5V{pnud(9uFalu{F`ZwsJ1fKV98jIYs)+kHy z_TR|j;&)`XK^~c7?{kR!jU9dB<7U6)=c|3Fr(kA|ig&;&;!wyt`7^G3!`JC@ti!Kw zHcHNQ8ZeE!dtpY4QLj_uDw;C2Stoz7HTY`ACSL4IV|}4%`d$;GkK-Uh2wVV7?Qn~& zP_LpHpkXS}kQh(Ni6u^1jcqC2V96YL?gtMBVg1)H_(guAP|b(N08teWr`R$TDPqwp zU09SzK`hH=>iRk7OfB8}#zqlN!^RMO8`$l|BlK|g_5~j0r{C~Q7 z@31DiFKQGBy*H)zrYHg;Rf-gaNR=kN3K*$^fOJr#h=2s?B_fgDOXwsbN-qYf5duhu z&iZmI=d=&dTitON)kp6tvm19OUEprN6E*g6qNA*VxVXU-aO~u75m~1#61%=(Wcu-SE~)eS)z2eSLVyc7H{5 zr8MRqwF0ol#yv)0HIYY-glW~vH0g|caXx;N`Hq@YhJOb|E^gGWv4Il+=)J6b&8>P| z;?AMvV=kR+ZM294B5juT{0cvOf3T`-n(Qak4#BxHRk5WdaK+%RW@cYFY*kgp z4HkxraB>r`X(Bc0L!N z>bs#eS&6T@P2`q9~YUBM+MYfM2(dN(E+bnoSd4wexwx*5FD{wo@ zmtk=Psj30Q*_Q{Btki&Edq(cE`LN?(tLf-Xl8!_*XB+CBA4nxA z{-*eNIpqs|bLB|E9F_?UE0Yqk*>U2ffH`R*Azpkg9Sfcecl1$vQv z0Z^@%DcVx2p%fU>8WX_!JhYx)MYV9CRZY);2>|MJ0dpZj=q}K58@*wjcA9&Cv|b5&1j^lyHF|66$S^7L zTSStiXS!1#ZLUT6V>0g7Z)-%v*uxwK=yc-U{Xa~o929Krgm<_XPUpvB6{8<%j{zF6 z5Ya31H!x4l5?5w=W#YEfw3!M!G!KF$hY{LL5c{THXLF)U2;u9UGv)Zf^TS;Df^DWC z{>zCgunSB1-}ZQDu$?Zp3Cg_e)XTIBvH2YMRwxQoyl^5DH+^x)wgycXCY|&{F{8pz zjtH@PrS~(NPu$|C57-4Kck~rE335`=y_+=BU6AYo9khg&E8@E+EL(1mF7i|)kH*HS zOBpf*68iV86@sFcC9vF1G$ zZi$XZ*&&igoQFpkqqG^zGT%4GxzJ@`!i6!MG!^E2#E;Kvg%#6fJ=D9SytY=mQ0dXL zSEBQI1g`H~4`km{i2KJP|OA*1S;fOf5 zd4KRKi+CA~nFD`al-yITKFpy061Xp_J?L)Xbv^Lv)aAf$pfkXK-tz^=FSImH%7I(D zrEMDT*RoR|-5SomH)qMHfW-@O)CIEpNbX|2&O+$|;bnQ^cTG?Apsp{(;ti{Z;Kr2p zpmv9l2o1&x4fh<>9WCZ#XHPzZZoVql&#NGJqBhK2dhg3{C$VB|d|bUMMI_Fi5g$M4 zxik7sDmMFpVJ=@>?6a{~Ui^Q1?Xf=R4&b(BH+v1+i^iA(xhl5MT)o`UrQBUZGrY#%!hdrgf)D^+ZWCmm^B)2o~mF;l(UXo zo@8pCNCH3;&Gbam{<$B^$bdBhsaLY9O^ogR8zAiTWCwIUgcm>!HL%tX6(15_v-S+o(CTn?^A4ZHB43Q&FqWJk$E93?rh6CIXVdmlCj)eK^Z{u8qai3%` z@o=BbH>q*4X&mK_#N9cplG?%64hdRa1;?DKaq)l2x$2hJpKVl&Z&4Q=NI z*Qxh|1esa7{c0(F?8AF#n0QZM#J!(cc9>ok?3D4SY4KR%fj6-l3LkrrC^W~?ER<{+ojIKhIk%<5MCgio)+87|7y!We{_7$53C7wKx zSbzMKNYRSx@zg}%vkgz-ts}YK(_#dPzQ@eax8=KB)1m*_{ULchBE=dMFtVC zQ1l|D61jwC9K}V_A3L^YX}3-wg9a5#=dK8SH#+zG5`U-3c#IL_DgxGZ? zI@16vCa8~yWm4=#T8wcc253<4q2ym9ujKcAy|*vt5ghA21_lwR130y;5xz+mYAvkuh)O&3*e zSQT4qqx0D`Gtz1=ZqAXCYzeJl19f$(DPELZfHE` zISH`avCp2)YXhwgd^0gp)msAzzx%5OkmX+?zBd6z0aK}BF4@#?JXf^nuEJti6B3Sd z57_r6#<+0l%#dV$_IZ_`%uf62XSsg=BNyw`twrbxi7M@fLB!_Zz$a03(P8lIz#q(| z<5Zp~eT4VO{w$RlNwj__Ka;c@na1vl$<2st{R%f(ux+n5j(o- z9TL(Zo%B=r&2HW^s<-lFR)lhusxlg$2RkH@n-5;vJ}h}XA(UR*ksGl(h%8>IYfeE; zj-6I)j47jj1`W!hCb|Q6Usn!8P~W_m93?kzB=gXp&*520H?R%nIOD}E_H@iueb_@@ zq|G*$j@DV5$iU{vKu0&jSKi+Xv>5NEji>)Y$<&>KYaa4vI}K%5FGU0AIwtX0U#x4i z%+U}+vcK+HR3lZ+DIEg)vEi10-j0}FL^*N!)TI`$jM|>+r9I;46I_37_o}5JZM6-~ zN4z@KDbvK|(k&5f+j$utT8=n_1UOOIJJ(dL92Yi`1uwjf?_xQ;HE!G_w;@T#{X8Uj z4rd8OdhHQ9t#f##L>E*50+#g?!A2JD5YkqveCaU1c(#O)c`x(p!$4=WiG3S)cLSNu zzmSzdkPUo>fTuvOLmSk5jvJ``B6FowD*7@wn;w>(iXmRLC|H3% z9jg0sI6w7w&G^j{B>`+hzJDK&MZ;azEINOEAp8jmKxoLPG!QfGt}fo$7$Q9e* z3Ak9eURD8HQQB&JB>hw76v9uY+E{zC05K;4wqVMKTk9&V%qxt0HSs!O*sY_aYd|1w zz_j)bBA5|iI=yn~LI}rP4Rq{Zh23w_XWn4n0ux~1+5G` z{{W1X&xACX7>r$OHE){90bq1YHK=L4pH0*WAwO|d0cR7=y91fK4cLNS37cgt-$^|b z0uvqwTc8<)!z|JI{T}W&dy%@r*_P($V-ZiA`y<7|fQ&XbxJ`G)5M7Y=(LDN^sy12% ziWsUJkCY@C(4FB`P#l;{dzArK)3thnz5!l++$xQk(?l~tw};QlpV?nk=#;l*!2b%< z4PU&iM*^){_cucyqE+52oTpJ=d^cOHWM>jHuv ze_v~KoO@!LTsn{>f#BdFJl5mN678u)J(*BHtQHTaQ$t(;YA?j9PK0yiofL%paBDpi zM|MqEC7=Ql_`6HVj_gBemz?Xg7Px-qG6RnMSP<%mRn+Qy+u?~6U1!zEyBwI=ixAUb z!x~1n<_XHy2+|+2#XnQoVf=PuxY{fzE^`_-dcG;nN_`R4DW_?l@fyM)W*mDNV{~lr zI5lJAR{({00*lN~=lJG@Ri-!360JhshLr4#eGv58qw7XFTVqy<*hsLje*B8q_N-xW zNdhe6&~x5Ue^@rIH}~+CQf;{#3@_RxGVvGJRL6m(Z7+*Ey887vQ}bDokZZ9vLLnoL zR9eDhnFP?M(L*z0yro@~Ce0^nU6p7rVjQH9IWh z4%=4U=HHV=C30qmys1jn`4@^Az_JTKfh3YlS<}P4bq{;z&!MW|B{3wiLUAI#O4KfV z6;p+NbLa7(puI49eMk%ja)#IsFsiWQ&k*?o*xy`>`h`JWNdtuy*FbD$H zu(ibR1%BtTLqSX!OcYv2OI($D$b;FD`)vtj#M4aWd&pUeKp@?CU6d{qFLJkA)|aKm zP;>f)qR$j`mqab%eWB6`vk#}w>*1AS3f>*~r4tn2_cy@ni=x#d^l&uw`Hr4qCTEGx z^;!`rx$4^YOY(dRuPof`=NqknY_p<6I{I_z-Ns5Vd>ccfFpY-+yiCe>&LR83t-AO?(mj&uyZOKr zy?hx`VvhV5gWDGKs><~i1BwR6J4Jc018u07?#M60=ZNFfSG91-8P!s*)zGMYP zzofrcHc#V!0FrxcGnf8iI91mW&_lbw9aM?EU-EumCF4>>RKPZ3(DZs+I=Suouq3!O zm8VG|=ea({O}CX~>Q1t~CClJkUy9Q8SIaG*zfszU8@iu5=x4Dt)gl>hx+Lpg!$m=p z%oVc2%+X#$GvqZF2%KhQairmNczuH5UyoK1gxE|Kwpt|0-2>)Mu<6pO2~5>2-<-+o z)onL!TNRF;i8VPea-;j4hU#RU(#zUxCZiyk3ZKTmM9Dx@*H|$bGo98cpBzn7FOHc8 z&L^@K=cleJaIj(_o8?itd@EkUGyWi~@upM;u1Cbv!mQV=u~OX&cyqTMnnhivu$ECU zecSZj+KOy&Q7!Flw3g&kC;iKpN1!JSc(rRhVVP1Bb%_XA+e1la=eiNDFBeAEp88g0 zjL@Fzq6PI^!^DSVNt`1cp)1e^3ZFKdZX^?mFVYieYEthj&gRDUPNS}S{&s&%owA{v z1GcJgywX5j5g(C)l8IpH4K462)>HH{~s*}O@2f;XMuk693%e zFHe5yPPnw1_KGe(QH=iB+_@bG1mFHqFaS;sml}vAf_a&a7oqa+lNmc>S4&I#FgN+g zJw~55r5{q(5Z4G6%yrZw0Nr~qMorIAO=f{^4uaqXrz)oUQ-F0DlPs=z&+uAfkT(R3 z@~gJPhTCr?_F<#aC|B=AVmy$>+V@q- z@=onVu9NL~OtjS{l|##)t8AQg-PH)w@%hbpK1ixv%xhPE@*CbP2JS;ATmo_Baly%O z?T*MJO0zR0r6k_L*h2RV}LK7I*#N<9zI}^@g>gpp0Jncu}d0(Rn<1K%CM1MX*&RjOmCai1u`P2m4 z5Lg%4mr|71h_|82VuOU|DvE9L@qI^wmO7MR`*ov zl&Hr6qRKTCOm?SS#1XkxJBJzt#UJl=;hT@wZNA5k(~0O96pTKAy=R?Fex0Oqx1NV- z(a$DT2`P5(M(i>k7C&0jq`(}urNux_0}k2D*ZPu5h-d$MB|Oo1HG}WYS9)r%g-+5^ ze#NBwd%G^|=nyx4C`M6yFm}$dO=l<4b;Nt9npZuV{ILO)Dk+(#6U~b3!_$lvKOK4^ z{PxTzkbFSqQ@?FWm2ZBPJN^!0hyP6_(I0O@(oY5^#^uM_U76xLCoi-F>G!WFLKcIC zE7dE~I>+(fk~|#cL9rmQC*^aFhm=(&kdl?`U7ZR#XqO0fFs!*gnh=L$-H}IQvHRE=5%blEP+T;o~9=CNL53) zlOspnDux-9d0O9}lhl0l_JvC_NOPU?!GYD^Q?6lYOH}>`l1W-j_$^u1p?kdEzex_1 z$=aO=jn`Lm6JwTB`r7i9{cNuJxP>cie~a}%X6oL~ad8X5;JJd5-N^Dw8bs;BBJ%oJ z{^||3rh2$rA~`8LGYDcdxbletsC_xay_4#^WDZa0UPt|a-pQt4y%S2*haG#a)bKn| z&bkiJJpp?!t=u}zKb1%+chU!c_mp1=&lJD=>fk4;59&n{j!7z#$$(#Sv#;xvhccu{ z@7LS%V2WMW-ZSPTJhqZ+VjIkO-Z9(`HGd*(TH3#21V6I*$iDZXWFr4xP`So>7yf;E zjn?TcJWE7E5JL9wWTd6s@+IDF@5752IAE4retmDcm`wX__Q=weH;cdvN$*f5L$X+q ze!r<3;}?o5LF7-CdxHn)7l(uR^-If(Ff|f1YXO?}M`z_p?+Iq#D~l9nbeH1?oOyZcm~VP>$J6 zJE7;PpMOYopsUio8yv)=%d)o+*z0%4Kx^T?9$LB)+n9}9aU(Z$X4GU;P0o4mE4oJBO^(in ze;KBF7#5N~b5)iE3GfIsI7g)CP1sjl zM|?w%*h)pmm<=PM2ekQHl%7V)wH-kVUO*B^|IF0wOQ=tS*K+!)`i)N4gI zVVMgXd3-U^ktf6gjIN@lQ=|oaX)YF= zG40;2F=m^*tAw#B`*C?c64uUee0aU<(cFuxE&cugGB1${1^MkZdiF86jh5AjKUe=T z2;X-lPg3Q+pC@UK>13ZONN}GKLw;FVw}Hxih`3`%CFLwSszr;+_o^RRa%RB6BYO$xh8-R;>{VGq*@?oL*he2;sKiIDRGnh}z$p3Xq^H_Bo5hDCZ~k3 z8?eS|H?9nlx9+&Br0YBFR(byQi6bt22poJ{9aT2lE`}XMYER6t>u0mIDFi&98>@`# z`&KZke5@Tmef&);bGK@v`oYqg#pgUc;WzE9W79d0zz3Kh)XTKCl|j_iHbij|R;@o+ zXa4fpNts7Jw*Eq2Tdq7FHB7hK{4tvoBdvSk<&`8%dX|Q|pJY^r6eK6VHKY15bB|ug zP9rQTndk}vltH+TaHh6MP2uF}a;{a&M8@<2pjJw*}s(n$oxYk5w+ z+jBkE#=uX1ydWuSUIdrlMrF++Id(u5)l4r{(WjyipUHFY@924mW963ZVvCA7Pkfl@ zsA2|)a0A+X&pAlr{#`OfP1QmC=Bx9hN7BoFGHOh&0d8Gae~mT1A}uQ`U2l4EWl;dq zy=2W&7!Ezk5AP``aT*2gyp0`_K9W8N_>q-aLzq%Zhqnkut^UG9yC#Qla~ zu}MU=;M@q;l89!q1dj&a^}NM&o`hHMod?;G;^8yqVfG zfbQVk%#!wcxWAgzKvz+k{zR+%Y{;kLu~I(cmUW={Q*>)L|JEZ7>j{yt@fcMuX;4sP zsO1gj)OL`E#ew?kd?RfG9NS#)cY4`gSAD!K>3nZDS*qCWQ+_|O0yN|?^@l6P*aTEj zx8}tip9Xk~C-Tq63FpA*Qmh9-U(}G|ex-*NZQVBLQhfdX@LLuNZ2>DYK}Z znec{kmKBxYmVo>pB4JUzb4^*e;<~xJ(fFcT21ypR8KrXg`bxsknIl0Oj3o`fRSKb= zh&cmt+&sqaCf7a6hcT$xxFsnp#CHv$<&-U7m)BDt%3eTL>L=o;)ZER(`+We|@9&S| z^@8(WiqxnG4BGeAxnwE7{Uh{Bc;;q96mC;wmNJ(g;*Zg8DmmlbQ#NgX^jtjWwBp_w zNuv^CL$ml79hJl?S>y4LZ};sE4xz|p;R|?QC$eSpnU*up@Jn2sOo4PcId*{Ass~~8 zOzRKNYvvP;r#nO3C-%42pKEk_pe@7J+DLdruU=|Sv73wjX4!c*-O>$`<#>ND`#{Op zSiUfAXUDbe@{4_{5sxP2T3#H7 zYq{Tuc1a5#X?ohdkgy3@;g*Q!RnAEjr>6;M{aMT%h?G=6p67ka?-%ghzQ1xLtt@AU zhSL-I)0dnG?~TRGM5@FGKQs}BDTh)u_-P0KTPD~M= z>2Z)d_BOAriWx41or`|zbIU-KT%1BqF`W2CmuX7Wwi0G_CE=9ONhQq9LnBo3ivOO7 zGbg@U`&>$ZdqY%CK|KtPKyqv{4jA&Evxh&~#QuubZ^OVhm^6fbL0PRfzbduXCc5*u z>r9H|w{cOi{3>d>$~*tnNq;`3-@fX8F_o0`4H7n5Z@+E*B|J9E#Vc0#UExQQ{z z+r)vOf+=2c^;hF9Zs`x9MDX^RO_Y>W<({&_CnrfYBeUJ3tGrT&23CsD)l3C(0i}n-4yTfyPpF`a8I{R zkGPI3Z!XDX6_uw&-52&8`;vGhocH)-cgvdquZj+;Q(cHKswFL$izq4w0dHg#Z6&ko zjfEl?4Mle^Xr$k$nV==(Gv>a$`tZ3*(3KA>6#bixh+8+^03?_3icOlOnGaA%JB>E! zWvfe^717tT4sQ%^tJ?$=iyw5QGt^|m4KbbVVmsUO(&X2JG{Lx=0jOi>txnN75#RAr}5HLe0?DLx}&2L zTscQj`vm5xmgiY*aK0;Nc6&NIjZr*d^^z{`+rs&Kn*&Lv)6qbFl`|0uJ%t#FY#BYK zsNf_)XlZ+)g<4pJFiVo>fSdKW>>W*71q$6(*z2SW!Q8W?p`DFQ=+BwX@!AR(H>Y&_ zphIu^+n;+?PvjhpIkY;3eOF}2Egqwxkk-}@y8%~x(y11*I}379Ua@;3m{G^O&1o@d zwA0%U07d&rX8Ksn$~IeM3zb+|8ITfNfOW_9so#s}>=0vg&$t|!pWD>Qyx+x3z8bdf zj=ao3SieAvv*M4^;yr8pzV+YAb3+zB~_l7-r)NE zLGAlTuT$aUXz$O99*edI%zM1S%7lr2&;>-Jac=f&niw(2@3WxO7hek+x{amD$qPSy zHD6QHh|iB?ArrpGp}lH+@U4 zPO;cTMtCq$!M#{MT5x)#Eo-tEx34##`*{ zWlc=+)f|$h0XS~TtIu^e#lNg43XogUOjpr(Gj%e0Nj17HWLBBKNr6M<2+#~-L;r&XUUyi|1i z`?7CyoZ<6*k`ALadg`O~0z_ax&LonHd#*3he-)G@V$Nk_L02M@SQ}=mIcrZ0z+az# z1gU9eP9*L0ZQf)R7Y>8IzA|Wx99(UX0rbidn1C|(Sklh3b`b{yvw^`ojcP}N9T;eTzAoKt!};18=w7neejd^e zhp~u$dYn1(XmCSR079b?QeOlg$bLTWDsoO7uvxh&J~*{RIGu$st@Ne6;+-#oboW7k zI!iH#nj)>y{o&KEex_f&&ggkw5aJPP8Is5Y%2gy++_$M`c0Xl#{VHJE=(6d#>xq&* z8U=vcP?C`7cf!l6WvZT122;UAjfJ-lnAXDLURkt!Z)9J#{cZn#cO@d3o#?#aSKw!( ze-Opn{|iwp`>*{6O|U}O0WW%6QHaM(>VNRX4L#79Urgt%U1=veX8^kZfN6+BE7jql zao&W@-2aYw%{NitM)b*$`APH70K^}yl;_TcTa(UO+-u_R$E5^+o>gf5*?igY=jb2! z!Fop9p`@AdN~*TzQdThKdnHtL;>$L*mhw6#zQR;Zpew@so9MQ1*O@+1m2vmt9pHi* z1rH>LM@7Qk^ltk-_<4=5TxYkIVMykcr-7EX^+(1H4AYb16;b9Go8>|892W|fpz8mI zp1H8DpGFAQYN)>^V#YDDBFGH8_g7i4e3~xW^I{U9%n}{>fxi0!NJdR~99+>8Iiq{= zk4C0ZFfy7$a)CGx(XW3-r~mpLrAsSsN-c!VN%ZQLp#AAvL~`Z0+UM2Q|0-Y_SfJHo z?I}}`(_|&J@X*cm5Qz;w;;m-{Y77OF+#yre*`Be3o~Y{sv>r6cWGVc=2|30TPr9xl zumguLdvsfgUT5|`3}cOik5P@Ei9)@I=SUGlOTv=Gy2P<=e)iw^w>*!bUX8fu?~-GH(X zFfTqM(%}Er@FMd6UHX3&x&Qqa<>C4Vc%$&pueUh5w0o_^GXruVD)EK|SNsqNIN{J3 zL!)!{+`GZ{#-YFKji~%6PgSYO+mM?M&VWJ7@*YUo6UKpy1VbS58TWiS335j0C(v;6 zP)qbrXuv0cdG4*Ri@5;A>cD`{q(3xVXgvWMqqh^T@4e3(I*Tvt_|=Ikj>;3380EsT zQHN!5yqL}gINU1xU!^(-cZr&#h)+2Y3UOh?mF zC^@ma{!aMs6I!3s-;{nt7&efOQe|IfhH#?De$SPsc(z(ruUDW!$0)uYYCyW;uFOA% zRka%ll!OS(k7+^k<55{dB;;T#1`GPvlqWPbP+SCfCbt(bj*G_?`|{Tl`KbA@)zB3{ zg4uv>^vP`7j{p-EKx4Box*%Od^QAb$w+(%KhYR5gVDWPbc@M9Qw9MIR?ZZ1a25*9H z5gijh1pzf;?QCZ`_h0ABC?f~wc}onNt2GVN$k}axoA;(rq#ou?>`mnCsb+cq$^eyX zxhgwPFBtL0@5;A3@ON)LqPkBhf!O=7NQ$CH#SRUErZ#?ABs`{jJJ+*B1X|H(d_kY5PU-QYu+a?^`u z-Y;mYu4RW`<9TJ)svR=XU6ID3onkvaNlO;JDw$k%EN|LQX>M zHs`Il#6ZXqoMmJ(GYDCh2#Olws)``33BE+KOB+FsEdfBSf|kVf#Z;5@E)H^W@yYP? zuy};xXZ|12YLZQsuA_l&n(Y_hgW~!@TNHhCYY@{sJ~sy3$?$FiOHY)3?~KjRgHEL8Z(q`c4k z6JDTHj01#)$vtkbr&`KIok+B2V!xN7e2mM}Je6%XCyf>@uk1iY2%d}n4+SZQGC@s{`Q+$mpfoSA=lbb0m`PrzgfhhbkFea z3U<(yl!lu%{;C-n<9M~lv~uCIbUht@?P~r+a{Y z+)evz^_A&&%Kdc>z`QT_w4d#}1WzI0 zR6}@hHid!-T1io++>fTfjt4yWCYuKt+?ktlkFliv(2xR8QsrHo98Hu7n6TiR<&t-x zuRaIMAv5fW+d#3hE!$_O*b2{K&F2#7BIIv96*(Ty^h3rB%*kAZe$S?j#xzraUi1us zDN&QcLpXZA1WT%MLQmgxcx7T4cJ=WL<%y`{%G&!TDjCf@{dz!3(Xn2-0If}FMp)E8 zld5;WCC44k*dM-={iB?5CaLdi4ke(c+H09gjx!90iGWQCj0z=b4)^FVlgx5>8F$HV zuoBHy!(gV>+nz5mPZ7`C##?ubixBnx9)>yvGZx`D3y3paeQ_tK>#Gs@j8a3*$-DAX zWSLGu*>G7(0n=JCDIGL@x9*t?G^TmQ9}7>M^?*I3ZT?BLD!XMrvi|(xV2qpl^Dp(^ zn4$Q`iGZ0F)ijbVvKnB@SU)>(?;1l$rXETXRy5+LAX*Sx&3 zb{|lUqL2E7b(|3_;$5?R+WKD!Oor~6P>ru9mw%_;^V&NkKLcKRx-){Bl_Fj#m?cpd z2oZbpKr{oC-d8SIv%tloTd;VDpz!WCw)W};y_|5U zqBuF@h;1Gya@DFq#vEPIt;e;4!Gr232tqeoJcD)OAHa2RYbM)hNR1#*sgbZ z6i})*+z@EkG#x=#qR8J{P-x~H{>}gW%;RARL11e&agX8W$Bq3%x9JZ)+z-)RP`oF) zBP23n^{S0HP}k}scdxKemQ9EKjltc+QjXvNM)Y3~ zSZ=I6Nv{5f^ByR@7Xq8wz~DG}AG&*26@a(wGX~)Fy?)_fv;&6iS%jQu^i>{e4~pl{ z4csP8|J0Cxvu|w99iU9!$5?IcY}k32w6OseAHVP|jp9OCe}2x$A^3FfuLSzGOnyhn zbn~x~V!Yk>!ig$`*0p+|h=T5|pj+Up;Z9HRl&zXJW&RN*66B$leSFLXcs!Iuij7KJ zzpGiG&uEY+;CMZY&kDK}h<kWZV6Ge?9$|?Jbrp)<*zb;fiS%$Y)Tpm-gI~Gk z(e-B4;wXUBI@B7i*}Z?CSZsOEkCEi;CD@*y{Ieem@0ps3)-w#fg&~?4Vc&FN2(}+_ ze~6xm<_!DmvE!-XQ=Nu*EsRUQ_;Y_}5(G7%=%o3Rf?eIW45V=4ufI`4wfp_N>JI3U z8P@wQIeW&jqoad8W_&)F*g+obHWgkTFnAp0>G#pkKfJh{1-bA(1$7MwN5O+eQ7)=F zHzqtIX7N?F=J~Doh=;c~IVM4#L!kE2s*Bg0!-aFI+6Bit#G%qPUS~dW7V0(8);$y_ zpKxl1KU%^WLdOG=Grs{8wFeQ#Eyp)Kuw?BOc5%9S^&2l$mTg=Kr^lM3*B$4Yz}Pf3 zB8=NFYLrQ3bkNHIqkDtuMkAuv5>DiV5=wJ43XRg(zOBOM#-PLhjlKV0g52TFs5=l>uqNxThSoC7?eEv1s=^R_{*LW`ar;;@ zkOWhS)fKM^ij=@#XVz_4;*&`4-iuj*FT<-)P(YC zMi2av0@R_VQqKN&qHy)<(mx_Y!hn{p&b-2W28s$=cEcDcWGuL?yOedwn*!ZiwBpJk zF$6%$B*8`P>WLqvd;(5p-iF%HWImRcy?jLB50_xn4Ef(+MyWcAe4D};d?ad2RvaFodm;;4e+@36`l03~yNXULY8J*YE8nO8 zoy!|tUJKj>k}Xa66K+G&cZz-Z5a=+d?73G4lY#qv)1H|*K@2-pX!>p>l5UF9g0>lh z57!@VxlA6!h7HgknUASVjh{>wYNUKRb{wC?u=uvHkf-&n~<4T9ikqN<7YX2R{TJ)wVGAhq(?e~B!x8faB%IK26P00kPfJpcdz diff --git a/source-code/Pseudocode/Calculate-Legendre/Calculate-Legendre.tex b/source-code/Pseudocode/Calculate-Legendre/Calculate-Legendre.tex index 353bedb..3f90a5a 100644 --- a/source-code/Pseudocode/Calculate-Legendre/Calculate-Legendre.tex +++ b/source-code/Pseudocode/Calculate-Legendre/Calculate-Legendre.tex @@ -28,10 +28,8 @@ \Require $p \in \mathbb{P}, a \in \mathbb{Z}, p \geq 3$ \If{$a \geq p$ or $a < 0$}\Comment{Regel (III)} \State \Return $\Call{CalculateLegendre}{a \mod p, p}$ \Comment{nun: $a \in [0, \dots, p-1]$} - \ElsIf{$a == 0$} \Comment{Null-Fall} - \State \Return 0 \Comment{nun: $a \in [1, \dots, p-1]$} - \ElsIf{$a == 1$} \Comment{Eins-Fall} - \State \Return 1 \Comment{nun: $a \in [2, \dots, p-1]$} + \ElsIf{$a == 0$ or $a == 1$} + \State \Return $a$ \Comment{nun: $a \in [2, \dots, p-1]$} \ElsIf{$a == 2$} \Comment{Regel (VII)} \If{$a \equiv \pm 1 \mod 8$} \State \Return 1 @@ -46,7 +44,7 @@ \EndIf \Comment{nun: $a \in [3, \dots, p-2]$} \ElsIf{!$\Call{isPrime}{a}$} \Comment{Regel (II)} \State $p_1, p_2, \dots, p_n \gets \Call{Faktorisiere}{a}$ - \State \Return $\prod_{i=1}^n \Call{CalculateLegendre}{p_i, p}$ \Comment{nun: $a \in \mathbb{P}, a \geq 3$} + \State \Return $\prod_{i=1}^n \Call{CalculateLegendre}{p_i, p}$ \Comment{nun: $a \in \mathbb{P}, \sqrt{p-2} \geq a \geq 3$} \Else \State \Return $(-1) \cdot \Call{CalculateLegendre}{p, a}$ \EndIf