From acc909c09612ffc790fbf34e0150021d2dbe5cfc Mon Sep 17 00:00:00 2001 From: Christoph Fuerst Date: Sun, 21 May 2017 20:44:27 +0200 Subject: [PATCH] Edited report --- report/formal.pdf | Bin 265176 -> 267643 bytes report/formal.tex | 42 ++++++++++++++++++++++++++++++------------ 2 files changed, 30 insertions(+), 12 deletions(-) diff --git a/report/formal.pdf b/report/formal.pdf index abd1ac60863e0dcdcd492d4f39228c0785ff0420..9562b112a6d3b03ea7aca7db686de1afbc296bd5 100644 GIT binary patch delta 63976 zcmZsCLtrKhuw-o8wr$(CZQEaL+qN~aZQItw&P4m~+vD3?9s1UND0FRPAbnONA(JbK zNzgMhu)~lqtc-5JaIhyKqk^)saikQXPytr8WL>v8korC~@1f>G;Rwj22=v!)JB~~9 zv{<>x_!m&!_TZEk@+T0Mn(%>^c@;B%~uJ1aKc4cK)#O`Ua3! zOFgRDW=XbuN|~|H(;{E0l$slew}?N7>yOGbGHB$!{OxKY{5$AjpG&3RcuSx;YXNX3 z-|#(p!aSdC9yWE1Slt>0%ml=x%D8JtM9nNkW0G}Iv1Pvy;c2at1PC05JHwvr>?=SQM|Q=n(>b!)w>!S7mtCznD@lUX{dC%rfX zR@C&EH5{YFTHR*+SqIH@IB%lcs0MJhfx|B(lQF7{viB&Jrm2wqOLH#2jmi+{ao9DA zxG}o$+AsQX^6%Cq#l!*!bdSwl{uJvvwhcouAniTo_ILI52C6S)aJGG4up?E=O{;)p z@}#LGLNMB(b(bWRd0}wqp+R!-ACSALm8GR;9~?OW?NegE3rtH<3>0DEBm$t@E(b?A z(#dfnm5xaknId6HdWUV7x7+p1pB6C+KZStzaE?euLMsq!e9+c#O*VO2h?3z6MZpTS zz~I7C5PQxF|47yFQJOO|5m5;pvq8|hcr32W5%;msZuIQihdXSp=d4O?twYQk9SHHR z=vt6Joe}WgVTa#qi~(6zxdL7T%ojiyUl|^F9z|bv7S>%`HK^O_g@L}BTodq=IQ%`= zu@YjEf#DVNh29#0svO2=1u~rocy#pF6A3}E4S32BdzH`ZjCcM10(k_|H_(hMhSiYr z2Z6w_d)RMxwT~fNqk#3$-vpy3tu5NM`2`~jj(-GRSyOaiT9Y4h@K5izY3l& zjq9kuvlN$zokcDpNtb0g1Wr{6Zzq#2-3kXHW-VZG1fUF-=azi&^9Gbt*$F{NGd)EX zsriVM6)+gnKGsea!MhQ85!~j#<56{R+j41ebrseT%JFwh*#R9}HG_pYV7p=$@k%c> zxuS&FK5Q@xTXWL1+SYZMeAKSVD#>WlDh7BKEYHfps66%;jYpNkB9cM3xP{N;SF zHZBB-3-$4+ombR=a$$5Pfsa_gyTLM&^*7fLilp?lm+5l*sha%Ga{=4Q!iWFz@A54+ z$LV}hpla2w5&=G`e_7Ii+opSym+z>=3{51i5C>-~IxX`Q@bmn}l{J)5ld4)LhN^PO z%pb2YLB%Fcduy|E+MZmas&V<{o^$1!QqsxH+0){Rn@&xW`Uw;>!&yW1=9! z2`OEFCo|`MS;|*aA6nEaliM*q&6yQE_M96HUX^xuFO=$_OAg#~(SGave?>Ae4Fe^= z@x6!$8k#Pn2rK(@L8`t$q_lx9EwLW0oy370y3B7{a+a8(-JS975gu|5LwEm_TOSa* z)%`%GXUG_J9PI0ZvsMSUH0{YhHIMCs4G3iiyaH|#Rn$*S9SIWjxF>(@dD+-H+yO^J zFC{vH8tSrXXEKY72x$c4L#ikYmX-xT2|#S~DM7@jDbXmXU@V**Oc_b1pws~D>E!K> zhuemQr0PE%WbY^`Q^v<5QJk+DHvCm;Q-49jN34ugOFt~lcXPtG+q&aI>bmw@y5zD+q6iXFz zeqV%t6U&x(*hug`exD3k|xgfkkwU#;0$bn?g`L9=*S^O&V4&UmK`mPb3c)Vm|k*)CFH*p*l zzf+X!@H<5J$LgUEXO}vBqfsBaP9yvP(EBkZ}%`6TtY^}ODt}gV}UNYmmvs3sz0~N21v=cbR430k`WPw zp-F1GlC=>y6W9hwxIH~q74r~oH^<*aAg4dRfEkj(?sciN>DpVKt~|T-tsk;(2O@jU z$cL;}mGmL@d{E9_;lF@G0mb6E0E2}kT@bx;$9*1_RuuHpNn|!e!(dKAFJA9}WaE@D z2xu=xSPk+9!T~$cjU9P}L_9|U`GD4ba_v2INaU6z(b zA{0JCWGZCHh`&k@LY8s0Sl~*Mz>$F(7lAcNRjf+6@OO!XRbMz~KzO?)bm8>Iw-BBZ z*HtO+sxd}s{1E`$EGs99KyDV*`>1-;35po)JXx`rIOj!cPZ05kaCQ31fa1iC3`Iwr zz;84$$Z^&IT9`_-ZSX>b;#jsMOq8HmE-ry5%-zIj<5}inmPaLz)qLtaNJ>Mbq!ZUv z5;Ers)1`p?S#cx!fZ!ZnGh9qXHd&@t zo<9021R`0UzhI$>&Ic8JdR>wMX{Tgvk3lWBVIGJd`9`KdcI9}IgFj(QI_aX#_`(J> zV40%IW>h}cf=)hb#8HQH@n1db3Uk_eT8+s@!k5r3h0v74u|DA|uM@l&%bVTf^c);(c%9tmJdtbP zVcI5t9Df`K?;wVl`HvLqd$I8>bhC;RnLSkoI=EZUOR2ENQm3IZ5bs9ljvFpH;6U|k z*p~ZaW#>}GjYa~aMK=jvl(T^)x|{0?T}bwUR|$a0FYuEtlxpm7K4z{YykoGs64Elu zj7a!y#gYxyMq?b87*T$-jxdgSvFJV*D`gq1mJFky%nx8js%GFVq2bAHkR33b@lgh|tdjnNyXAp~#0 zlLH86Kfs<+D4bF{NAj>I_fo7JUw9n;m6YO6eCo7*(WV{!}O5A8}R??Vqj zrDV!IJF6x;nvBAG_#x87NQxykrWJ-?UIs9^-8Pn$j##gbP~&Of3V?@HaYj!AzY~4S zU0X-xPccK>m5NIgmfUp>pXZ)Cta9{EB=A^&RBS3Z(KD`sJjlb4yIRc%J=+Uu&*e^0 zGB7fp&u~x(%I5VUZd@&JH3{*k<#l^iKsl`ZKDR{K`4rDmsE25{s#zcKv38oTR0Le1 z2#v7E^&k?D);%1U5e-fj!biALgyeB1n@IUf)>aKelU&ZcKmq05BJPv3KU6Q57C{b5 z1&2E?dZbdf;Xi+AXVS|oAqh1S%%G$bmxH ze7%KoKRsVVfpq~h!wa}J!@;gCE*TvGnR=#e5qwS1d{;i{;Olc=p3U)*hk)0k8Q`Pt zGUE-_SouUUr4GIgOA|XVr*gut4lhXaFo*!=K;m)>m7;@VA8kt9-c1RYuWGs?us}tE zjAk@YfA#>}S3JIKRlHdd>1Q9n3~By>lfn?oI!nulOnNOVy#^_mik+I3?v8c82~pIK z@sI0$0s&6_4WAb|)bUYN1t1oV72Sg(pL06hc2S=>(1oDg25T2smhMA8I2rDx##&<* zTt-irVssIu_irK#dUFOL2{{(iPk#a*+Gz@c6?f{2t_K>o^(0 zDdwL}xsPi|Rc<;8X92;yQFTD@La9BOE`|>~=o<&|h(jw-Q?^WEBW|t`U(G!wI~qEP zAEVd!z+L8!^YGmWziprouhX5xhuf0n-`f*$I3zAQRF2BF02a_TJ@Qka*CUo+xRPBx zb!NT3jcYzeI25o_R8;FyLAc4EeNOnsNw@^^!H_g1MPGmHnz~@gn}PX~YW5(aa}|gD z(L_!JU`Q)M4cyHxvdW(=8T84ii78g|YGs;+pAv741x|X$=ngBM$lrw^jVnGAT^M~tBUpw_^R;njKGMIZj`Hck!I->AQ1fip4 zq6jBb+Bgw%6gFO?e)cow@fUQ@idsyPV??;-mv~o|P}8{}sVI(Prl1NKUN@wP=XZ&i zJi#b0NF8%)nl@f$*4e{TkftdIu_~Kqp|H4){n%AWfFii?BBt)}!4yGc4S*z2Ojh(? zy&dfbLgc%(5=m?rA#I6%Im@oRNGkFH=#llt`Gri!7*B? zaRO*+t3$~rcQng$jH{M&&@0b_&8JbcY;6Y2+@7eCCDI0N(%~Zl6yfLe-d;zCi&B0J}D+vAdWjAQrg^%{03#YD7uM&7u&dW3DTVcWlZG64$j0V{by zrIQTfg>Z1Peo@Cl!{(<(wQ43H;}p-MzriTGKoR>6Hs*6mi=4;d8FjfP^8s z%76Ya5omm0i0@P%LEZ3&(^yx^UN^1Ar)hSXoy1xOrt_#i_vQZI` zbvpOo_>YE;249FT=B0cv<_>1AZZ77=_Wu_-n%KZ_vlB59{RfEn_+S|2%pEMz6jD$ zsd695a&1%#8BJuy+l7xi0zDh-}%+rNtn@9n>XLFD%rF&7THyL z=x!d}xxKR*>b_6YH-`U>Ouwrq(b^l~f6mR{#vKAo$SjL5_Ovu|>~(i%I!&}cFBq?8 z;aRnH`PDutnj#jti%RIRVhpHUOx@mwY=48Xmz2<&eUJD0k?)8fhn{_Vy0TQub|bEC z12S|p&$C|zeI=o!l_2jzpITgfE837djn1<5FUq9dY!$;;Q{ahmft-%^I_+vV<>ZxOT2dYTG=Y4m!&999Gg;+Rdmnaac^ zdKeo+M^5;!+QiEHS6BU^?E4A>H^cY&iZ1^h0v*qm9fI4hGE!j1>hG;Q(fbR$*q}P9 zMP1$RB8Rrmks$3P)ynIxgyj?;?ujmFUHNJrN zO1E~63dFy-wg5(Xhq0uC6d?J(h=6^!iZQhuV*2DM!qQ_ zsd8n#cD?j92$Xm}uxJTW(h)T~;idtO$w$UtrPf30PW=E`UoTPLWiLA9VKm9^)`FU9 zyD#&Y6`j=0E=YpHFUHDWVk~(PoShRkt_S&Gq=V$B=Um(5Rxg@C+-KOE*B2b-`3XB$ zt^M7=D@yJvvsk6>RvxR@*xXuPiLQicFoE;f6SW-T`x}%T?8t|IPg=CW_ErE&!E|-P zY4PrVC;4rWpu#S#8F-J{=n8IbGHx(*dfCW#62+u$2Z7p2-(C@){*~8jG z_IKO`Q0g%cc7yW$d%XuBdA0!#8U-p_6-X$-uSG-lo(4Aq_TmyrPQg4HLlOS!ZLgY* zg5dSg24;e4b-s<8Jho4%bHmsKHsf`1-EnnGkW4$-TTFr68vUsSXoW+-)!l^$4kT1e zmLVXc3fQsn#K2gE9TR=Jj&)Eld1*Ci-H}e^N(_Y|6{1|hkeK;NG${a7dC7X?()pzI z0Pi{5ee&6qFr|%dYqGtt$gN@!KRk|?PtmjmR{Nu!lff(PFo2MGcAG1m_#8JrjE^z9 z3%s6NB^SP!4TA17%1-$s%?w!>&nPu2r6cOQvQX?GgGVvOzbZxc3_u%|U5yZAUZf)Pwr9dBSXSBPe|As1)SK1LWHs<8ySP8d_Gu7EnLpDi1~;O z1LF#g4AvDMJwt?89@<(h0?0_n8zK?68+B-Ny>M4<@h6@sTZAZCwpyguO97fV{pV$k z#CB?mhzwv{bkQLz?&eH`%{(ZFj@od%!Ju72TD10T3)6Q@vjFB+@|I+%%fQ0GB-e^^ ztt*|QJ=c;}6E)Zk-hcEH)T~rRBvaEK;|G2p zZOd1ki>@{#h;hpSUQ@+$UH_3eHUd@(PwkF@gFg zKm-2OxPXNJ4BZ#_C54BLny{zZBq&25c>rG?o8eGNsyw;*U+ z5Db_$mc_`goIxoaL?T9QL6mv3K&y$n`a`mQ@>opBL4oG}(4gO;$6#xD@H*$Al8Ar{ z@Rem4hQ%LF>{EjdIzNiEEpel#n*H|ZfBpQYB;KfpRSHP>|2``iS(R zwhe=($F4rW9^(r5X!xTAO(^p_!Q*{qVx`$v3?MfLqKl-y=zbkM(jh`-i zh#ZHL-S#eH7XqF9HMJHMewJfErNvM=7-5R=pjg zf2AnV$yP|Njh#R8;pkxNsuN1&6Hs22F;P&C7D|7P#r~mdVq-_{HKVmxarX9&)mnY| z^4q^5RA6i*THW&oL!AD-rC9gTi^td2PBf?xpLub3$ho0FhXD2v@BJ%8feEOlWL5tT znIK(Bv*QodQZ;2W2u+%}$BLuHDxoH*p1qvONy_g{lGeU9+R-&2DYHZ}oQlz`$3?tM zRC!Da)3$tFLT9m|B#Pf!#+ypB4>QKJGir4j+zjH9a()(S+P&jpD% zZ6$?FT(`sMedgIEPb#8&as|+M#t+x5ce`0OAFRt65{1<65=+|st+B@Sv_y{cjvI$; zqEfx2jrfwmIKHIgK;QqND3P8VBoTzPAS_=J(ikamNZCw7wvmg<$`;SY(I_6I>tz|< zD}e^aoDo()4a9SZ??Do9iw8EOe>XPXe~=m;x^@ng9{Cp(gv70Y=f8UOGzV43mOJ_OdA3 zkc^tamvQtMHO`;nEvkOJGrO|0a`q64z;dU_Vc|x8u%ef{#kE zODfm?TPbCy`Pus^B{Ef5_1IuWTn^>m44|x;d$cNd0sE05oL!G!cJ-NkFQw9YJ*LnK za^!f@3(>^Wn!%V}XZZ966S}WLo5S5Ao76$rh+!w_XqO5{Ck5CFFvM(mMy1X7%e=+G zzYh{+?8@+Z0sVD%_QB*I^z>MH7>*0gZ8I=dy2gFYjSW!=L$@+1iDF1MxlE3exMQ%J z^|^+ZSV9Hybv$}Ze*MVKlmFb?>GS#p8I`bb8|#=cFS68&&IRRQSYzD#5wVbcM=ACO zQe*XPZm4fsH3I~hv45V&^mkw08`G;oMTTs~!ZP7+xVdO#z~Ii(@RIwyI6a*^N$U@k z3CtWqGgw=EM$HeBixM@^F&v<1aal5Fl#kChy{aR9<2nU{YQyymvN{E`CgHkQ^)-_E z1BYs~mA=+mDr`WZOq{fAKuJJKES+RUR36RENIAgWFayFUVLepNL(zarwR|zhQ*46& z-PbvDuKLa}i<<8q<$qT18HG(_!f}Vz>vPMAv19td2-x1zf+h~-IDfjH%p3)PmR_-ZDrqWGdm`TZ zue9XJC;&#uC#$$V3OJRCzq#2iTu!e`Qa%j6@8%mSe)_ z=g_!9RYHoui%O*7d~@=#hXF@Wz-LEIt;<-a#dWWVOY2p?luAGWMQVHG){-A-3<5Pk zEGCt~i99~g>f2D9Pr#O4kRtXZ;ykEB03l&MI>6fx+(6(OcItmNi6wh(gXO_>;|I$` zehExQEKH6^W2tjN+2=)s=)n?<^Y(n2hA;2*jL^~N&Eep$VnW{51;%C?FQYf_9^G(j zQ)`xKcLU~+{D-kF8Sl+Oz|goTV^&FxeDs95EjRf6EG#O_)rN z7)zpX>ewfJg1;;YLD@)jh0%&cK_rrjLx)TC!S|bZ(7x6p#2N&FJvEAgt zBI1g#bb~DnmL|Sjc?!}_c3bZzsqf5~H z1S)<2vw|KR^2$e99zBtW0N!*?^@a3l^o8_Wd#N$^g5_n;#9n@&>`Z^xUJS)-1He;( zg*q;O-C%&v%N$T{H%jdTZ36Gku*M~Oug~HTEwR^tGOmm^ZW?U(A>Gn`sh5W0Ga8$m zotbB9cxm>ST3ptQI3Z80`N_CBsy$nD?n7(|oqyEu#iuT~ncF4edYeo^EIRs)J^EwA z1jft^$1J&C=L8oaQcQl-HSwO|2<2e-1^K$;bDAQ|fQHHTzmz%=D+?2MN{}8kK<975 zP8;&?ZNJEOIcN`@;n8p%Y-wZ)2UIQ?Kar3rW}>INr;SHhOX9KL2RaEMa}eB&}d?O}$nh{hO~K z-tE-k)yqq}q2Fu_IkQBf2s6=YlCl5*mEz%)Ox`HUdG2Y2B^AwS!a0p;n9gEAyAzMH zr#O{dBPsO3Iw=VWwn2wJwqW4T6j)@%tz>h;7!!OzoGq9ssHIQ{7*AHXGh2+N1;I*mZp_c zc){9BV>A<;qoYa>W2BLb`$D9EXeGvRs3zsi5%wf&gX~;cu{Nus*rCO zy0<({@`8XtVwSUDg_sx|VA&S=L8{?hZuT#eFumDul*R-%i9PZnUR5K7T%{eeb4&zep_hVvh~xEL9S#N@p2L<;xVT~U>a-`{e7?={zJSSmbQ`y0R8aRLP8D?>}`~z zI3y6RKIpq)qiurQ1kpdZgwA>WZ|ig1hvF}PmDszTr(%vh4DYI)n_K|f9xqOwK*eRL zANw^Hx<$LN+~V}PoQBhWn#OJ+RBLKgg=9hY;CLWbmS>=Gb#mE%*kI*Tqu6&=$q`E! zyfde}K#76$u1%I$0ZIh*@>>%FlPa&sl(G?ewj1WSpuQGIoZTd?O`|e|=TR}P<@a>P zjJQlbB;YaXW@>z1K-I8Q;8PUXh66N{T6>znbWu|9V9czNziC8-O7SQ8e%@Qj@QbOI zG17=e*a4=N@?ML3zE6J#61U3{IUT?xQ0KB_J33|Xr(v}agIzw~` z^nG^0vvVEGS$6$w!w}kko;+pT;CUPuVZAaQSNdI+Jt72pZYt*NMstAcx~K$+&5Yt_ z`S|fVMTL#Bu~5Orpdke{7rsXOc+_T<3s+SEi3b%d#>dSKGcF#JjrNhMZn`>pXYKT_09J?XJ?A#{*4V$&2N5S;{`*zyX8)6N-1nEa^$=e2y#7im_|yyiq?C`^(1*cc zFb{4QxkWSrxizLedT`93Nz&tU{~+alEG{FX9fXnY%-tdt&4TWBl~YvPHzTNCSUVJM zOc=szYyS_IPi2lSV3@pO*&seE=nI_k6O^n4fL`5&1{2j=;D+hQbq=#`nPr@MDMi(Rf=0&nJ(77r1Fbzh}RFY_CtxOyV zMBAg>KD@h(R?PrZ7>(}zu#^fVkmL!QZ;h1&7i{yTzO6O~wF@+Q8wOGh3#Euj^2-tm zz+-6SDAXjj3=O%@KfHMO3X8~6V05}DA?AWWvBh`Kj#PuHJh2(a^L{ z&?j_a!b#dMz68$n=$JIUt?jXW;wz)C4V1+$LQ4m`j`T7ah~IeoSC4?uNm%{KY~VpG z5w8=cYy`F}>FDwzkYx*Ok*!wdogX{}Kw}`)mp;8t3`NVZ3#~xFrw1)$lW5e$EpPo* zKE4nD&Lbjn#kCafCo?VuU%(|ltPF!n2GvlA3KrE$rW_8AS1L&?b#hM?kNm9X!2>Bi zJb@|M>0Bu87=AGBzSE1uT7oi|E#%HTqLJG4E<&>92v&h?pwb1W?H~lF&2;(;Adx>U zhdY+%^z+5rKU84E4%Y{x4hA0{w)Fk22E|J495`*fYz5cn*|RfcQ{p?4b)S=Exu5*n z*(6S#mbP$@%soXDBCg<9Yr?`?IuDCBe+#MD{O%?`H!2EjKc_iUj8sa5*HBa#PT=#b z4PpbHkdj^_!A}|WPoqOcYf0b-m?pd6OC8Ci=#zO_K@Op1vI)d<8v(awVsv+=!Vst! z$E1jCw;02MZ2!0FR9chJxj&hf(vT`Mt1W2QiTsn+VZUUo0W*K*NA}6L9a7@A8H7(H zpz{ECKr`K4{I5vTKp*6$HN-Lij3!LXk$QWwH#PRn$PFJM=NymwXkC23EhOSZ?kY^I zm0z9~S}RFA*{Bg6%)KjKn;28eQmVVSxxf&iC1Jt`8Z+*BA>_&w`DheAwXxby!iB-A z$NRN_p>hC-xJt=fk(7KUJw~>H6#iAz)ce7aao;QU7LBD_6!YBk0XT!7OZUFx7D7)M z;12hf4lRS8g0)Y|SlDTnp;og3VT>3?xh8;?Q?Y>RgfP*#==twp z0fJjAAGu*2blDdwm5w(!II^GgVw6U0ampK&Y91fdiHFC01y6w!MdT>Wn9FGaf3PRI zP~I>5Y6IxHTBIu=Zw|_uFHc5MzU#aCyt8Ka_XrpeT_A$Q5PDq6Lu-oVh|#j-U?}1s za!L~>4+2}iLT+Wka0R?JVO|UQz>pd)Y_HCd zrJAQ`Q7@pm5%??=QZQ--Y8`!0bhsMc?9f@$-uK#gVLJ)y2fbc3?|r^VJA`H)k(%8O^(0ZL7CCGCP!vC4hCt594Fi%{0`7 z`g2>;hX|cI^5yY-*XK&C?|um%>grO>^&wx$!mj*gDxpMKeM|iYubj2*YSSYYp;*yY zMW9=$N>1HMJJ9{6dcM{UME2gf2YKvJcTWQF4aEdpwRxW*>KeVQjOn*FR0nLY_Q9jg znECW7uJN#O`SWU@BTk-Ga1;m(Wgvbu%KdJQR$p+(b?x$y-U0;>&tPgGv`|n4Mp7$MBY(m$K zJAQ+q)BZ8k+&;}M?OXv_bH^9g^5|y#&)WJosPxSfy4CmlE1P-K_tIU}HOEfIE|_P{ zq)mtWa^S4m>my#NR8S=IKs@Lio+g;rLrizPeCqv6ve? zXn()hOSlG~zTxk>vr7f)m@xe8;CNy2~VB zkkGFi>U(Nht$>%#r#fbajB7CECOGmA2q6-z&7s4sK&6xO^@VuxAdpQIbE=`)TncyctS_Z@E#ORhm6p(f| zJ!c@+5@w3F&N6JP!c6o=_!J5c!NBf>!2mi|idC*f^$jRlw19u5Sj-ekBq@#{oIkKM z%-=`<=@(QiW{&?YU|6^~+5hLE`Hzlt%5fWd-&?~0z1nDSRN4Snl&wk={`tX3e!YzP zm_Q?WTQ+voN}^iAcE7;gVbI?~%!EAIlt7__x_#XRZ5OHLlbjklzF!~zmyh)wvUqM% zIT!yNr@^c_^<>!L*yG6;0q>ju)m_I>`DvdPbZ$l1Uo>m|=L`?fV^geSK=Cy6@7@5M z--1Ix*U$L5AuPXOkSm4pdF*TbFbc1(iFW;?@nAyMf^l4?V+u2TYJ_;O2A!7j%;rPp zd?HcWtLN!}=$o-9*+1v~g{SYb>wnb`csyLXmiw;n)0gYjCFjP}i8*l-%Mp#pxd+zD zE(&$1Gv+>pXY%TMpu{Z40BhHn>6E(E^h-0?A!nWC>V~a22$|3B^1stv*Cc#4v!Nct zZFVi{OQq`*r6<~5ycqhLH}^!4Iy`LltNVFYUJkeoCHmU8yxCpC`2-is^^9A6)xzD7 z+3!FFODv3{ewR}M#fC+J$TbkzeKD8utTi`{N2>*-6a(a_8VIru0MeX7pHZ1#SP_hW zza}lG6pDt2!waN@1cnP{Gbmx^xe1T_Vr-3R6qZ@cva9YHyY*n3DOq^Jl`^tSZN)WL zpzv4ad->ZiWPUWmaM_DPfP?Wi(7G+TvW5gBsElF!x|_QNj0gL2O}r&GF4N`Z5p49% zZamn#*Z~-1o5%%MfYZu$IY0Vd&>`z(Dd)GoYjDFf{~XmF$-69|DuUXi;by>?=bkA| z`vi~j&PsSuJXaWK%*??pd>z+%xf%euH^Q3r1B`t@^FA>S!kOz_M&Y)wQ*dnrTZ~8^ zXc=OO-0Nw+oK6HfKz(O31Vd4(Yg5aUM3vpfc%?u2rNV~}Sd---Iuz_p*wLIV11-~u z>L4kD698r;Is+wwf*0zg6l_@9Hd*JSm*;F})?$N*Y^K%HbGpR>8fzSIje-o$TGajc z5y7js)1tMY0Q5Y>QkNUa&v^-K0m~WsyZgWVz$8qdw-KM8?H?bZuQ+^{P&+~^yjz_>SA53t2Ra`K}$3{WDQeBkX8j@G)Z zywJw#6BVz*iUI}UV1H1HJev;GLm_5cSLPR)5Ep3x7E3Wm-?c`F2@@hSOnO8HlA|=4 zr&psQAH?A&Acf?Rt%g`L{fpC!QRtz+T~{?nTHh*TV(Be<@vT3!7|Se9Vw}+O<^zeS z1MA}>_jn?unUJr1utEA!t-R>tq=RsYf1+_a6>Xe0>xsn}X+-QYtFJPPTTRC<)F%v1 z!{oRDEkJ}Db%annrUX((6&6uOeI!y~5`A@`D7Mq7YO-YI^28utnbNC16vj#~Nc_yK zqV4A#-+|o`Vdt`h@@&NCDlT=%8CZeXLOOTto$_R?e1R$$f0XUPLO-n2*7Z*KfFbTv ze}pIe&>nTAc!-GO%sCQ2E2*nclkzZ-kf&t;O!nB;)K~nIRbSqoJ=Y-%4%=sFha~NE z%U9T{NG5FZOe2jS{MKMM$P{k1co)HsG#dZ(R{zaUqQ$=IG0G9QfnO7Obv4}9)OT^G zv*D>~dc8@MLpTOSb$xYKv?Emhoo0ovZdBI|C#$^Z%@|lQNA0O@h-U+xWK6{iJ5L4`+vo355w5ClD1{bguOa%$R1*qmR&aDJ2pyN9gR0F22&x-%D}fc9PcVlVa{xHr=U^%mUdUW5%IT3T zNYZaJooq!7FG8%o`>9U4D@81dt4yIY0l4hQ4TdkFCk+!qy;IjEG@v!A|K5}~J0=09 zqhWa9VYD%^Ma6rke ztXG2{Qc%19>J5WF)j@S*E3M}bZ#CJIcmwcKANA$G$7!vOsZ8`I0it? zlr-blU^t8sE=jbN#7|6LY@p->~)Ol@BAK0E{sklQ5?rI(Z!^NU4QW4}R z@X$@6CYXG27Cj+S?BtX#r#5{t%pShN>0tC}dWkN3+(sn)=5zCi5-&x^o?vx=YOV-#N(q(#vj!v!gqMh}zR9gChH9 z-TSZVW_UB1$TES`-!7^F_u89~*myajL9k8j60D*LM&z)gr7R(IWa+Sjoxx-V>!S}v zPf;XJ7wFKj$ih@$L=&(OE+1&nfAbH~kWi>_dB1KR1;3c3{AgUt%z)Vm?6{l{)a2AcUXTm!+T)*U*!z}|BR$6A9{tTzk=^E ztcjMQwuCKk;x|6na4M>CSlNGN>Jb^?&(^-V2-*BKL;G}M;{NHu|F!42Y3$#(8oAKN z4tUt-^U9c6&ZnToVPnII`Wthr&-I(0Pqbn`v)fY|q**!)4jdAijayrM=`R$+2QP?n zOsaE$_D|`Ym~@8#FrbGf{B_oDe0;GR)R?FN+up}}P_%JyM2-o*ZJYt#QX*-r4?*W8 zgp4y|de@5;xaR2}W}ugO@bzT_Hr@xi0C!_%6aQ}oe}Z-_oyoyXpncYE%;=qt_aE~P z%YfNxMAevVce!?;Z*|3*%~LU!(9$)-cppvo0&!30b0~-yfRyI8Zws-od0(>1JQ|_<59vfWQWz*k!NLpH3FIzJAgh7- zb*evlK=}6B*MwF|oNAjxw%V=Z)nbe(8gfCT8JEb8kKt$T3}a{PJ^xI$OX%VFroDz5 zJ$vh>K{KDQ08cKRQobbYL7~@zsETi0akH2=6kOA9U6*Zg*yVM)k}?GY)=IET)oFJU z@AVyoLDZ7}@S{&vkMEQ0_GzAW?9;M%^7=`PQ8%y@LqldxIo&rR;%d#Oz5>G9=hS@S z@^=#Ts2Az2g*X}>Fr;vqI%KhLfJ2I(b^2-yR%^+G0mCaEGTTO<_1y90?D()v%|-j3 z8?d|M4En6#iJTS%=vZRknTknGWiy)OngV(@YrYoZS2j$sxY_#=| zTw0~SP-v=qgbtBkeZZ9$3YJ;(VdzgeCDs}D z_ExTRd!*r&6-x#IeI^70azM4;TVBL@J@B0N;-330?DUP@YD|4XaN5@;Gi_3f;+k|VaEn!5?$NK((F|3Wph`vjJPxy~ z0`ZYf+vlb87bI9WK@hzXT5Q4~WceS@9^ zZL_>|W4AxRK;4~?Rm_*ku843;E1OUE_-TCqz8!DquP7$P%%>M-Aq~y2I?s3(lT?$@y3|-XsWNf} zkyEx7x`^vfI=e3hxMy7_?=bL+8C0SlMX#;Q_1|4kmt_HlyCyh^RFk$jO_iz#;E=hH zK680^H{9RGuQ_MD{_Fd-YPl4jIev%urwiEOPu3=zXljvmS&klKKp}bU`nXGRq;uC0 z#xk8173Yr9xH5D6T2W(++nF+Yn`4~L9NpEv1|0e)nTP2EzMK>2K637E9Rzle5;5kb zj?I^BChs?WJfHsFd9?*a2+lF7NX!a!m33pQq8Zm8@a6P&e4U!3!(W<>iA&yeR8bI^Rv02(PBJZhh}Iw|iWLQc&c3DIvo1|pI$ALDm{&KS5M;ed1O+hz&{)_`Wn3G2rx(r+w6Gb zwbDsfOM}b=>_%3oF%6_@J?=H&WEeSxmOObPv`Pn?6@GBp(@2=~L4Pi4n7QEUz)w}v z#lVVyvZ{@rsj~^4VC~t*o-0EyG`KAW;)LMG2+*|U z(6oc_QdBh^LTk{s-Ue$Gm9;(aBMl^I*V=}^l1}5bnVZ#!CALTODF17CDYQayRmNsr5D~Nq_#v z`b{V{*tmy%hRl4=YQG}AG(^g-E0rRBJtz=zF>Az0kgf8U!!<$Yx?Fy4vQviHBG~Gm z~>r{ZsU@1JOG|>Ft`KsGPmkvPcmD~vPsw? z$`~*w{|A})i!gb&Zp(byPPUT8b(7r6xZl=#e)3bE>_XXQ~`Ww}vql`hf8 zMgp2#Bl6)AWL&kwqC9Qmj|rQEG!Rpjt(pKH4w6LI3#VwS>YS&w2pE(YQ<&7-OY$dT z{6A$&F=unk;t(8i1LL&4MogYm{zAtm5&EvpuXL>3^zlI@DVredkUVw9j>s> zkczG09j}T29woop+cm`$bzYt-)co)M>7Lj%DcN)FxF&RpeS3c6r5>XKvN^?nEe8`5 zk7;GZerxU~goHUB)wb{esSue+X!_<3oftd>CS+##%hu%M3)S;6c@O?iakzH7AYula zyBhE_FcNGv4-&YG0obHw?7o)j#UX0(kWwG!!E-8M-EeWLCFN*P8pK-dbJsV2G7#_3 ztt4f}Hj2*4z-nzyTzG4WnZe`gbPE`9X95Hq~?<> zI3XrOjBU98KF$NO(d%%nl77m%*werhrtnL zFqUy7gJ$}Wy61%h-Ms01#Zp_5BDq>+%t}iMD_nD(MWECae6(>CdJ$4C?N;^@_=VhZDnuM-us<(bw5k@M~pY#+%Op* zD&~Q9i|^HT>~I<;O14{p!x z`%lx|x1a^cIvjDK^qy(HQi0kbVMY-pm2|Xdgz=HdgngTMa_*_0qjtF|dCB^Gcto7}F*%?A) zFRIVptCfz2*Kv@T&`d>)FkZ@$w;QKYd>GR=9Z%_O`k9_>+Nti=aWY-6l58B*%Xj*w zGa|&fs=9rU#t1IM$2eRb{n<`gISTA`#pm}pFgjgM9%IrZet1CcAQg=-u!=a}-%PdK zzBvON`fvKa6tTgU@TC^3iIcJRfLpLE3H_m-wC-7u2^89@tsaUpO|0S6csNe;^>k!g zznV(Tg^FI1+Ed(zXb;UL)C1@0DCO!705(Y~YZ;qWoCT)%Hu&V5hom^Ms7An)^%7F%3-ol3g*;AsaGJ;b}Qsk@bDu}s97ExGA)u_7ywDU#Ro z;hmT4tZ_YwO`)r6nRMDNfDQl`6`n0Fj{7cj;`6T_9NEY9d)Q%Yxr%-6D|S3lL8aJ6 z%?6nHj&NSZfJ+W|=_rxRxZL*^R@^ONsH<43L7O9n8!v!u5|Ps#Um+7#7V@G#G6@2( z3{%0PAVH(Uf3bbr#1YsYAJkW5PjI+|0GYaUCw;pGz1Z+ zs|*dSV-`P1U{9$qU{-=wse#mrN9h7o9q|cF98e9b>UptkpA_{ei1^yXRy@5K200I; z2Kcz5O@0HB4?u@F>ph=86lW`mwdIwKW`v0}s=)^LG;A7cPi-W$H= ze&PJhC_y!6F###uOx|%oZV|GquYz7M8KzNg0`B7sXU7YyEurU1Rree=iQ?U-$i42c z=icnYuI3$t4x(1wo~;3+R|^2}ZX6DN6jHb5*h~TnREG|{n`i4Dw-d^SNuxk<0(E?0 zkgI9+yt|;rcns15#CMszzuv@+ZZOQb;{X9xlAA)p}|-}VV3y%PSKo3B_Djf zm1VW|LABk`N^7HtptsDSnKNMYp_=X$hdLsoT^4+8uCDVS*u7@Zd zsG;!jN@nG+uqkCmmlTb0*T6$O3ZN}+)4f^inbHQ#u2-yqyeKsvqr-TW#7oXmB_ci{ zKJNO3uzh3UDJp>yK#OV}Zu8(!PweH$!fBYYA&qqC*cBW5KHUO9PYhWw1t5nEz%WM+ zeVBkUOsL=|2o|%6gb*@FeeuSj>?dXMX3*7T13IDMtlz)B;FMd*S~KFN2*Dv{`acE0 z>~zsV8P|bF_35zAfq)8~c}cSFUhxsg7*a69Z4E*^$n1A_c0T=rcqcTC%d1=<>|yY( zo;@D^X!dRnkgWq~nmY9OJr|E;v?tm}uXwBddf%kfak>@tB>J!{bRg1y_-X=@>o#(6 zL)GQ}3~U&pWA00)SbjWdO&l~h4%qG*EKGuas3(pAfWQ-tSA;2D|!fx^;u*^QZtwvOJ zK_pZ7hKd4O>t*dE>DefGy>Xk2faG&AXWSHH~Y} zQlhD(-=dP#LB%5s_Wp~S`%fY_5AfX#)q|A8u@AKI0fS!studJ`8jOtOCT(ObFX0U^S3Ly>PgE*}ZTKS6LzQtr~9oB*UTHAkJ znCVv)a7odW)6Al+6md)m;yyue8M)8jmMQ>|{i=IkD0(nAi)O~fWVp63QKQi4i+&5t zig3N&>^=tPvWDD1BxiCILx*v6BV|gcsF>U>eL{xjrYbapr z@9G>=%)Gyyg=hVr7k{!ssSF@Q18(c@(vrBFs0Wz9~*?NA+-@zxJ7CQ{`Q{Wa^^pPdf;Vt8WD4xXB*Z z0V?1M({wjgC**`K)H!HBTP`TEIAj2~iJe>>F3V&;11BCdCUry2Y0-J~IQvkbOhk*t zb=Wrap%pPMIA6`7yxv~ibaDoqb`^v18I13Jd2%YksObI9zgUq1&eV0LFCHL&f6RCp z){xp7XuY7W1zvW9gcC)(Z<7nC{VE`fh%m8Xe_+eRW6%Y8hEg&33d#yc*}4JZAAx?Q zwe_wgU-E?h`?M-aVISILR38baco?)*jkF&hax^-!p_l@67!NI`BE2GExr`fxOu201 z6jA{%M}dFDY2;#YyuAuU=@Ul*WfuGxiXuNg`5#rf>=wnMMTDc$Bqt7ns{D^1Mr0tg zrLP`%4YD!x!ap})6*wKqE7ySTtI30VIBsDjkxzQV4gAn ze+sL%cE~z(KLb;sTn$xKFC-m3sxF-`t}EeU?_3BLoSqieGl$;71BOTao|K z*`}329hQ8;QOrPr@rGhK$BAJP<3$sLO0#xIf6=#)KV2*M`CbTLEDYu7k&c^X7E(28 zRlomhua0*u<#c~cX|jBNza3OL_^FKOkynafx+9M9mLyZD`DtE=prv$rb8UaI^1l8S zWQ&t`@BDcgGU$7g-dX`*dIHPCE-lRWJ%nFntEiPmlV;w{e9c;B$SXd9(W{$(fAzR! z5atekLR&=%HZsk*VP`g-o%R){xVra;k$B(l?9MfYAe-Qit)|It zy)un85WbS)LBZ}_scA!LYFkn%YvZOK>%AWQMU>}1kQ+5E${Pg?hfb=bcYC=C%1~7t zhJXLA%$ge4`ndKh zi)8u00Kj}xAI$;Ww>QYuOp~c%GUB>Tu;;$^JvAW_Wo$;iW&?Bms$Zy{Ro8EO7#uhf zS$MUCr#uP!$W678(@ShXcoCO@-31+}$*ssm`m{~UTdCi4L_Eg|q>Kf)uuPdTt5IT(WW zyz7015WED~4C9Z!d1B@FN=&Kxhf}=tx1xK+TUMO=GZ)(C zUS{_N;XE%vLUCQd)JBJ6SR6iOs&4l0F32za_A)gxp#Evr#&o3+bX_%y>pR zqpZ{08G8YjBy0~y`*XoC+n)QgNAr0dBk4f!LhZ{3ohn?su&)eOM)t_@rYzW?F6jhj zT!oxrprQM!J9v)1*-H9))cx*B?)yBq*x4MeIoRWaOI&YLAWdd{`Ku6Kq> z{z{FK&;xH{tb3-#ikoo{L0nN+!{CY}6Zo8CU)Tfq-i>a5OU*ff0}Gbyl~hET7ty-A`O zeC5h|9Si;vQKHd@M@kt#vGd=a29jy@>{wSEgkT>I!zH%g7pLj^jl6E;kJ-p==ghR| zgUb)-lf(nLslFR)*eQTEGWg+o2YysFeF7_o)M-@_HWbG^JlNNGy8Y!b&T6$}u7mhaich=zWi-M}4h#N9CBvt`Hij=By$BU`L7@J;CLhHg@_hBP5R!C?5 zUt3Hx$ndR1`8A+!o*{l#p`FYWl}M13UYESFKYQvJ`{Wm?=X#MX(rc)ZWgcuEadzE+M6f7U^r08~Uoi$i z<~ZXbHR?c9FE|SqfXlu(A}%0!crGQVl1S2SI2~|0ZjpQt?BDE;M-$(gKO6IQISsbc zOwWFXRs3{=x$UEL)RKrg*#wVBQm`=)T?G(gShu`8{(WAudpId#L`g#Uei{#Zi+-CuYPZZ1zxiT0%`&9|H)?%hlJvCweCc~BJ`pYmiEXB4XD&9`tEXB zO>#)$O0T}8wD-s#2g)4Z379+4)_S_b*s4(1AUcJ9wgdPh+f0_(dV0#VJRLXTru1cw@-+StFRAMm% z2~Wvy6mAD44#7|G)$7qetqTNz;iDA+@kz6;ZPpfURGEF(5IIn^xhQ&0S!2j4C<2BR zfJ@Ti^Tz)G4O*5M#t&hN036}ir-1E+0NvhTfS0#N4)1HG+(*Ht0rh7aHl)WBIh{m! z7-mBxkZADg(jNCw4$gr%JOm2DOK=QDVOrx5lAnx4kEFao+!Ce-!v_N}4ztg&-)Q0) z!z4srbIcSBe3drZhe%96+D;he<#hr4%5(TI|A65~_W5bF`Him^>PP&JOIB$dRN4DYBrlvvHKH#XFcs zt9_Y92iftMsBaW8ow}i@MOt8N0iEYtJ(so$DP7*KacH%GXoUj6wS8Ythh^3|OLw;a z^sz-~=r>>SqK!9R=MMgxcR@@{TiltV!5Oh@o~d#^N$=WEZAOzSvz?b=x+=BhUiPDx zY_hdRZ4`~>S-Z-|Uw}hBjdzUj_0;fGkzx3Yb}?Yo_Sn{&`HC$PK2StKh%_3iU$%Z& zYHuHiz-ua!OH3VrVj1lx{2}Q`{wk+F?RJoM{?(F$Q%`Vx;M3j%AqFHtp`g~Mnk+gL zE-SnHK8*!}k3}IGwU)j&Y=(1e)8W*R4EtQtXs#H+RcB=-?+3?2q4aC*uN4Y3^j%8^ zR6GzH@>;RU(y05|f^*OxuHFmcX+4VTnBQK`UNH5W)1mwTg&|kL6593AKdu?*V6V5! z)Be<=sYD&yM6xh=pnvdo!6|dV3uc*^(30_sKnM##8N7Z)`59p+L!1M>azM|6?^62^ z3usdNFktvFNExbhpF!9Vq}C#aL106h^3Q!n&WT_$vo~tbjek{1QV1`>$%oHot8A?N z{$ngq3txN~x{#5w!+eAzATc#+D=EzTAUE%ps)WIB|$PgPn#s+E_R^n%)T;PAa5N7WH)TCh8hY? zwmN1|86%Yfv4$>*j+tgNwg9zydqa=5&PJ3Scp^M`g-B<#r_pl^ZKaXM8+^yy`D@797HoL{0*<;&Jg>WY&Mh!ZHGba~{h z5qCo!@7>Rkya2Nr*ShSm-Waz=6TYkkNQR)`bl(rnt8y3DA286yU2c|)W1a4lfJxRE z#k8paHb6t1uyQr;uF-V}g4M(rsxv%s*9`ZsI=J~q_=k?bQNSxZkD2BDN5eDVUY7z0 zArXs4^DEQ&j^P%wZsL=j*ks1#i|!)r#Z~vJ7ePoi8bW1?`BK9a_(#AiOZIksd`He5z`g9qAc_objLW$Y!#ZM*ra1CT;!iY5t%z9XY(`i&F zH!5FP%Y|fSBR6PfEsyAXbVnASOHX=diccsVzmT{RQ`C8 zKMpdvf*>O8J-s&qp|Rs8>N>G?FN5u^oyh-g=j}c?InuUbT1|xlX$2bT2#9cjuT`A` z%oWgSjaH&$lJ$1zzoy|ojeHd#FP3L*{*@;%prgZt7j8mqG|Z`kw0~$kxbJ>)#p8yX zmK{7HzOMO)84x83`9a*-?C0u^Q%vx0^zUy&I|;4&K`UFvRftg6;Ht?Yxx_v;c1~m9 zfhfL}mt0gLiC7?PiTNpO197$_orZ^rW8w(;cFat0wfH4PD7y2)h{+D`dJyoJDd8mLyo|6ttX4eG!J zc{}D7!1ol`XU%awV;En*5TigS#+fy$FhU_Z4DfLN1SK*Or$aG)TMT&J*Y8h#gb?ke zNAkYQ6HPPQP&A6H%^!=+Lk*Ato^D_fR2Wse&6!>W1s?pD_H8<=My=i^;nS9l29}`* zff*kE%Fe~Pp(W$aRc6k?=oFuRZxXyR!<|5O>RE+n-|@DJ+FoXyYKTl^@erKCNQ~JS zTe^H74cBPduem`N%+DYN+k&VUKAfo5=l_-|pk6Q5Wq=e2DeX{_weIQRtXpQy^It_J zCWw^LfI;C~QVv@i@bh^Q(d`9fRGHts*lR|B(AikzIGRmdb{)?X6863`QsZ5w{Z;`% zO{%n@Mqv7XEGi-vW)80ZYY^|zmUqVOK<;_a+_xkI0f`yaOtGnIex~^?v)fLG?^d)D zKtZ{NuJi z*lqA{wQVSi964$|&V15<)Vf?#CrK>wlnLUxX}^BZnQ*Y~xHR~vJuzlep;#bPRhZ$>gSz6Xr|jk3Lz#vl=9q7!GCifaKzEgIPUz=H4xx$Bu* zEej~y$3bO{<-rnC!cDMtL41+Qw2k?~ZIH=`K@!l@$hii1)_2D-kYE-DQ8Dh&kOMsY zJ2o~0Tv58z7N+|8b;P3f-x6ahi+11-rAfZ37+ijt z7;Pif1T%yhNPK@Yt~NLNdbsma*EpXZg?B)n9UN9Bj^h9ewz_i9*1!G%sd+MDN)g>p zaw@+|46$5UdTLM2e4V?zacfOJ4soV@D=NMAl1F9(wkzVi z(b{`po~`yZhQjXc;r{7h)tv^KAgspWgagkd*~b`PR%oV6?DRO*mQsj|Y}1qsJ4LS9bmxUXnVl-8WGc$gA~@aAp; zmrxpR3&1Hm5rMJcf!)tctoK>55S|PBoKDHG7&n|nT9h?MBEO|6O<7Q6#~o&Qu=)t6 zY|;TCfo|hlv!3*xa`g#w9}VrAP-sIuq_l<23)E7^k36OAtSZ}g@*){73MkZ$uq;f| zMJCZ7a)0B&t-r7T?BvAbS);$(dbxfJ zGJ?}|&zq6D3#XuMB6{FUEvBH)QSd>9%UH9Igy3I{xkcQEL`5m`J|Br2ywth)h%iT4 zeH-RRZ{Ri`R=LyNXMJ=#yL0%;weFQ*{3iZ6zAE$5>ic_s?i9kE#S*}6{(a&gzQ_vR z@WJY>s_0b80&!|;R#k7QAIa7x4_DQRQ)ODcqQu3f-(a?~)}VG*2yjX;0yIBHcdKf; zG9C6~X-_aABAFCDY0p!5seQ3+Oewu`6AE=s`Ckdtq9XRog4adMMkD&nzebv%PI}bg zWJIy+t6lz2zKOq1S2qAu{j4%QR5e?vsaMBKZ_M7nBAYGpog-9fi|2ouw)r6{#zY07 zP>fe!1Rbgxqg07U;$!$j@Hba-BXd~gU0YPs$@*j};(~El_&=0f5Jk@XU94O~5_!YS z$X_)T#5ER?`T12C`O%yGXwLgpjehAQ{CaWI%|_w5pe}%;5z7ML94IBq)}5*Zq?MVQ zgk$`45aRcRQHnf;oGv>rLO@4ip+%mqe1OT?3D6atv|J<<1XqI&&VnWi{}PEPk<-w( zFFbq^Ge)&yB-~bF8zal>Ao&OJO*W+4z074NDX>6-w&S`X7Uv3jhyL(irQO;YjFyYg zqj8XaZ#+vJngj;iu#B{l%uJQlbXTxko~}s3cv2I$H%mY<@P#2A)2^dR{i2_Q^6p zQc9JY#O+J`5M=`iSRQiTx>HjYN8eJVW=A; z#ufmhrDc*#T`^K%pf#w8QD4wj>Td37-OA|+e{CPXf^$xu7R>>QJLF~hF^8#6ekDTM zR?A({Yer3JEa-J<4AYP-=!8$8_$9^K3fXJeHWQE#Z^??QYElZSm zyea%~JuhTOR%^NN?A5Klo zJ>R*RO4AZ#b63}TV{*78}2T+~gM zvhgRVC_XPer>tbbhJk6f$z{D2Zh#)rN+?GE2peXl1N-F3+G{9+lqX5|bE|?%XBXjf zEwM2>tMldjXo#H~|zJ0}J^ydwJY7=59`h1xDApo&lysu%(^b*!rjt6-X_r^0V~i zRmuCZ7{$WZ$;G73q(?U=3s}bv0Y4rEMg7O%qmwDUN3Q52uRrEqVnU*NUo!nFw>R8C ze3GJ0y);IFC2HBo11(5@V8~!%L2+nZfhuHABVUpj8~tegqo`;^rZo{pzDq_F2(MF+ z8?(?qSPe%DYn1?`1~M%%h7XAdfW_Weta`96 zgjbarwI=Bml24Veq#)J3qyyxs_&Vl~(#4+2>l7ucBa40ul;k4qn2PY5bmdf?Jv631 zAf-kIM4&Enw~~fRw!Sohs55x2!#iX z)CmX!xV^z5Sxd_FN+vN4M=ASWe=;~mtV`0BNXwPF*w2)w1~4~64lyiznS%MXQ}+lG z*9mdVC@6CuhG}4YNr-aCYm_u`OYX6ee-kw@gIPEv2G$fwb}*s+^_y9z(!U0@zocB1)3f;^G9hAMk*ILhd*eq_jb+ z^*+A11hc?_C;#3F%~aR1P}kIKwpMgrIjH||u_9-m5PL3y#Z&Zc&NF1#^1rX;7o%rj zr#Hrk>dzKrE+nv)e&orj+*8{s(B`08A6R2q&gRAIY%Roq{IyQaXpxDa0>iIPc+*s6E`--E#_;nf*y5&AIc7bxOJZsWtYHK`-CsF|qeSVo$bhD3*%z=REs!Dii zt@%^NvuY=5V#h-isFe?u&gNj;0|bXu<3ZL4%$ z*xiWz zdhcMRozM6Uvy;wz7Hv{PMMmoxUai@VY4o5B{5cc5Th$zfiAB}E#~r%{#Nq+R$E=*3 zzbGWu+d>Kg2=zEHi(o@sK_I*r002u{`h?Hhc<~+~4C8z1B_Wj&p@A*k+Jl<8228E* z$%-E)qlGgvHumvAIkoef{KNQY(n*+LWSSuTH5!RE|4cZl&q4{#E%iY^t#cxg#%L4~ zkv7Y75EpKgCOJ?XH-WSPq6!EMq?*uzOxQ+nhGQ(#1ZF9m-wg+N{>xyv6;fjxn_p(5vM z)2koDaa06nhnLMdobp;@1c>M?*rIx~aH}@e4w~?HCRY5xS8TkcFS!2tJoOU20TIS# zs`alAs#*w4VR>dtb~z#`=SgwUr97aOKq|1C6dQHfssfA%!5#P}Y_%7S)UN zLz_tfZuf!Hg!j`9?;uA)1Cy@LHGgkvBO$_WU)p>WuO`InDtuj8572Wmj=i`?4?Mw5 z{XI~BYr9{_w%z*-yl^`<=piL6f&=fe0J|$DQCy&w8GRm4_cmRupsr|J6~CMB2B`jM zg@x_f%a`+SAe|9hT$&`OP4;{)?AhA!_{M;RLCNnal`G(X+FdkcUgmSM2{GQr9A_1R zOkQ2o;nDYBK6ZP22hb2E8WC}6d_i{J&%#QEQmc*J_5g3kByh<+gO;U2l+wBD6 zr#EIYJ2!CTfXXsy)kZp}3x^Jz?ZKpX56=L5Z|{{`>oR)roAg?X_pf;|4b3wpPLn%E zs%o_o?=+J}8)L}so4>Oa-S{>HPr)s;V^s&bw5tUnfG*q@0bpqdE1(d~3U!~(w&L=5 zqX{|b1l{9JgMJmZmqMj^T!nm{&3!i?$*DsLEU^G@n5g0D z>xpz+clz!`ga1Mnv11lfIuf+aM?u~KQPd1S;e&h(*;rPY_i_uh-&#`YA21-zL=xvD zCLBH+a#jx;0g&$)f^1$Z1c8S73vwCOSV)&?5W5E})2+eY9O2+tLM%nNQkKA>zq$3) zkJQ{eNm<9gd+NY5V8Hw<`QZz%dT~_p<5~v{%f)eYE3c zigbRmPSh=t?XL{#9-I}#dz^~<48+cC7r%f6o!(2wKk#9%2 z%q>F6fWwMMox6GFE4*XOSP7C<7~aMirGS3A5zuBO$A}wy%lJX2`BqL)%{Ih690c34 z+xTK}CiEW|^D!Smt+^- zb8xE^WI43^iBO?WaY8?{h)?Z%`q{`|R7V9$I<&LZiNnoui-R3sn2*GoKmYw@fc($K zKNhb4(LYl(WZjo|kaizv8Trln*S zA3O1`M-$n-rhWFh*A1BsgAg6oqwZYZ&0S`rfX|whXz=B3j3z5io#IO}F9H!u9|q`= z)hI+uusj{Qv~9AbLq#l17wIO&92a%kbVEvvumB2`;twK=+ehUSY}8y<)~f0pZvtPB zggJpCi7*vCBDPF&2Z|QLDdpoX*sks09;^Zx!Bump15zID>Ke}#F0B>bgm-P`Y_#`| zRWNOSyX}<$T|xtZAD>#Nv)Y*+D|vp_9h=s3VPV*uiyZ3gQ!6g-sXjt{oNWYj6H_^1 zOu)ZxFIO&Q2T|54MRu}LN%fhL6Hc3Mrd^`>aDQs*VNQ`Vb#Bj8Nim9?*}*{^JJrsn z7jT)UFhvB2_m>5}hQKPKna$Lu>uny(J$lH_cYj)`GizU8?yul>SO7VUhn(i zDt0W8igunygtDN&%`{!tb}Y#qB$|c^YJkXYPP;bSL^jH}Rete;Hr$fE!&(~?-Y%#I z-qQ7r?jojp_X(vl?zeg?-)Ki##|6O?#mIm^AksL?UyvA6`PimVoiwf-rW=Mf3Lm+N z>GUo$aS!e*(*w!D%AK6Ex)OpS;eq>em2M5~(i!7^VP=^(Kp1r_Exd;8$h<{@F8f7D zw_~Fjks#O(^X^51Q@vR7qTOd@9^fc49FnxUp=~x87ytW7Rl6w4cG9h@OtrUIm37k7 zl(qA^=G^Q7wC8q?#!0#L!7kmaP$`Ag3%g`b>CY-ds%6w=i7d1K36exEELSy?lwOyG zLvO~L?iqP)MA2LV(|~CNZ;$IOp$appX4XoaSjoPuZ}hG1qHfgAmh#zLAK*HR!-)e2{D*fd*A&oS_zL>W3!Ul<~HJ#zW-pBn&LD1CBNg zJ`_2_WCz-wY`nM{Gs_8i&Jg0wg?j)D#1nz!qEH(Y`1{>z@t3*h4uUBN^TGuh4qadTFAv1-1$P^yQA{Ti6%r?i|WoRMrN z<;5J{n)7eHR}0#LTDG`qQ*zQ2%VJrH7;O^)t*TNm?AP`rLngGwv<9yAX_m6*UX1w; zl{o~HZq#QxRQ1+rSw@F4I1j_!t0gqeLdh@nA415Ts3CTZ7`eoV9Dt?~1`LcGL*e-( z&UjW$!*$AEYE~L-LA1qQq-4)iQ6$Ofgq9IMX%XQ;!SQLm_>i^V4~y#@wKZ$`xRhE~ zh#f6$y~dOY=wat@$Q58S`2$=|mA^YgNC3@ly$?^A!kG!_FTHqv zf~v3gO|?T(;zRDdx`Dem1y@<~AU_-#u%=fCf3J3#*R#%v%J~Pm%yz~^m5ZKkhv*v) zmlc=7*b-Xj(3-HsX+vMZSWSdA)Z`)PNlJX+s@I~ctBB+Vpdck;l9Z2Y-&{BS$=W;5 zdXM_AM5cwPfS@-yIuDzrEmr-@q&I}2(=5OLWqF4UFlmTppqNb-R}jQ$E&x!hwh#nh zCWJJWXi$u{DLmlSh&1Jse`#AOaE}S-KaOgeBLXm5TNDh)nzf>2ZF%dQMPyJxxf%nwxKcb0>J~jd`iG_rL2!}E9t)V@ioB`mDjZLum^B|@HMERFhi!g=<@JbLO(=FXO0eC+pldM%T}k5P`OTg@i^mF{SI9+NyG5=#LfQ7%)-=6TUrU>p{?_>GAt>?GfC7oa51j z0@O3m^Ff|{&^Ljx`icC(=U2BEaDZANEP<~y{h8OZvxaLw z2P730CG=Bp@hF-Li4Z`p>A;PfnL2=88(`tOPrGzr8lAd#K~H`7pLSYVn+TgfRnpG& zUlqXpz_&o1of}`$9|qg!`We9ArOy}ES1@kxw7~uY7$CnfOidmhA5B|+y9d<=>e*@K z;Qt(!nc18{+=6xS00H#(^a5i0`*4mB8olf&hcRC3fB*_$`KA`oU>(3eToe93B`#ie zCsj*Tc=ry*bus>*5r1A8o&9lr$|}-`_L5zX2~18A01SKHm#jKXh9t za86CmLG53(BuIvKXHcI*yH|4=8v);m)KOLAQ&Kk84OBe{1mWV?pPTqdw8OCXX-|0` zhbl6GKz?reKw&_f{$H+ACBhnshLmNRtM*iYO-i$uO-iWsm8>hluuWjFXRx>LwE0a0 zQ?swKGmYz6Tfim}FQ$8b_wrAAZ=}+9>IM)okQ>lEIM8Ebv)M<|c^&r~>FFz}pPheR z9qT%_q22X4#A8zvL~n1wYiEWx5HOOadw$-HAo@>)64xt`hFfa<+CSnPYI0xUR8aK* zPyispAmg*{0)UWrP={{jv!h7MG`@gq2;MAVqzWvm50DHv_?Zj+(qzDPmy|?zrX(5y zJU;ZrOy~T?>-ib_+ehaT00?LKBa(2}?yF%Fn{}&%0zqzik2i5r1j90*r&KKcbPf zpu6mS1J0^H%}C)J!G3K7*aBtqbpttTYC1chJ+A@pA0Gg}I&~{FpwC~{K?Bz}1op>k zV){4n4kH@EyNSO!M|Sf8aohyWo?D`h*Rc7ao@HVAuX)pdL9cefMdPtM;J47hhmdOSd#Y0i&E z-#brM-)?cNkj?m>O6*Uh2TQsdx0@8`7s{`pn@UEM7op4KVUO_oV#s zF#UR|V*2Bq_kCvcj=37#9tgnq?{w3s>y!E%65GH#v_3N%|Mn{S-92g0_x(b7^dlwo z@nZIg=l~5}pT-Ew$;j&;^5DwC{p!K3PkVUy{DEjN1>j%%?vyvc`~lqMg~0$pJ%Z>I z(#-_Xhlu=D%^I5gDuFGd*|!4MimQYYdqNW!pf{6qjYp9_u~P=#LkIX;!cP~|g3wMt z<9tv8fKtvELic$E>U^aubGw^WFt<2fG@mI);xPzkR*Y5Qr#m@p|= z&|c}p0=AF^_V4Y_0^;@}_rzu*;953>+FemcsxXHfapO}r+60^Xa=xXS7N`#z!;mjg zZ;*A5?F|T+>oGsF70_>Cz!hWFVB`o4qvU@RqP|DeC6ZhhV{EvsZ$2hxCgN-K8F4s#Ya(82auK-ktb?v7MEY=_eUlN zA3_fW>I&f3-qAP`SDG!cn41;2m0Gp zRG$f&9yP;tdX9A;H@CNMqdJurv)DMi+hnM2;*iE>J@rwIUIzO-*Wi5;ThfuV%=YcK z4>yA#?nH$<<;R1je9YrqI?7xA`1{6jr{S@oJp`aWI*onG`n755KA!lGQRDQh;c!z3 zlY|2s7UZ8~HEDyhD6Fa1Es$JMONo2@U5)i{3&>b(9Y1Bdnlgtx{`~1fd(8%X5i&cu zq5H&&XOVEY@?OyxsB#4B07~(ol zK4<{BVU!!=-Mp8wRYn70<4}4s4;0SB+Ul%m^t7NfJu$Wrh{*+tZddJhW$T_+EC!P4 zIY_GLTDrz}X??zee5%mb7tvkpMyw#-T{03<#uPLOPSX?Sl}pK{)}d6x?^_NeFPx@3 z8GSrJb1YOlRz2Bb!)s57H`=L)^nnCdNGE_fYGIMu%u|()S$C3>j%tZdvBPeh{rGS9b9wD9+Q^?g=yeoYXyH>Jz}91gDsy&{2xHL zD0E_b9#NFbqVdDJvUd{S=`f~$Hlfme7fe-D%BTmpFQxGtg6;J0(bs zoy=8(HA;q6>2lwFD00>qPL!_~#iYZ0QiY{Jyn-AXbC}()Ukx{WFJ==m+7LX~i#B9J zc`3%zA$*kCey|{aP15|)SC_XYc zVhXNzb~@qdde%6{c+O1J(8c-AV=rFKj>FKls~L~OyRj&Uth5v562r~%IOP=qW{xYI zZgZsAWB0-Nh(~$g<^myzXobXrj`wLMy6s|Ev6BjC$O8>cgs`%)N^EY~ZB&J<%KrgX zK&rpA1Wbe+81kxu2A~u$hCChFEmxwHTa?m|5cNX&NL5 zr=i;lVc%O;ZBcHwpBEWzX9hmd#cByMJc(sDuqDP1Fryq=xziEC+~*zhJpaQsIy`zu4dn*3I1_+{Qhme?|`|TE->le;c4r zwZUV-WwZE2=}h)X4R$E>r{@9k`yC>OEy99}Rr&a7jh@LVYZi|1@UKXdc2vXm^NUlx z@NAc*PIe^Ksm{1T%XcUYJ(2dkiAp@1x@PG}^w5u+=^w~vlE!2vDG)5Crw@kL$xFlR zJz05T*2*7>4q5vp3{m7|CxjJ5e-FaUt>mAP6-+;&B^I}+UP}a@nN+B+D?vt^Ef_?L zs;a_Jbs*L>7=rq7=p2phrD7v<&Wmje9!R)OKfjUf)+GymL`RYxc*hjpKm|6TkTxso zF<<3YmsmW%EHhg8Ve4!B_HiF=ij$|@WVKmw8{??^n|bWV!t~LFglB&3e+z;YE+P+$ zCgMkfx|e4ZdoDM};=IyQHR{gHr>S9CP2^b9nK&6aRP?1>8E;Ppz!&Ag+qvGRvd-)@ zJz}A+2uUteBg%snoGr{*dIa2ik;Pw8zaDT$tn|9!iMk6Q*6BydDhNpPV9o^lsx+w~ z8+^xUH#k}Bxg5ouY1Hice?Vfmy2B?4qU?L@e583>z_NECXUI!&PHEQrY=rhrlkXiC ztAIuVPP2(Su*%?+25A|T!+8hG=n#18OPESL&lRqn^bwx)c2OU3{X8T`N!Zt7SMwvk zO{FYiJ3T>OzBc7#$3Ts4{tDvf2PfL0@HmvMapvZ-tGU4Nf4CBp&kg+@0KI<1 zGuq#@_Q~Wix5-5+P~eu1=d#gf3X74|-X3bg8IW)Fa1fb7y#xN+)hZ#2uzBgJlh*UP zpgwoXBY>m9Btj(i$<$=MEqj2{^ne39ZfF@X%H0%PY^-CN z;;|UUXso^CM-0E!RqGmdCYsRIFWgMTo%`*WCOj9WyuLRfBEv0of}%=XQ{&~cFWpb4e0E$;nLvvXsB6UMreeb4LUlwUVHyUFzVOC6 zS2j7kq}VqPQPwqSP71ys`SCle%HMM#v()TFNwaV`e>jwv;tN#v*M~HQcX*a^-kVkJ%8VYWBFh*pF$a8x{zm=s2FT`rjT`-ZDryk84 zqezS$@pAB#RmcXT&{{Qm3Js~ilS>Dz2p&ZL?T4g9|m4QBOe4 z+*FtHv*WuPk7IB9605W$L+Wu#zGQ;9nko|+e-9X+pf10)tI0l0%(Ko=r1k4e`{?%7Qdzqwm@>W=95ubfc@!H036bc6T&*f6D3Nhc6huA#IQUwqX9SWHQ>1 zXNBe_G8)v7Q|L}x1pX1Gl&Z&sZ}24{e_9m5V+@zHUE=o_V-kXKhc`25C=CastK~~k zd|S)JWP`2NO+-BHI5K1B{1-{Lov!qmeYG>OeV+b34#Uq$1FfmDt)}Ey{sCP-nbx0$ zcZV8kt1#Sa!eqP@^t+=iZE+9(RPk9mc0<3dzfsmg$S)*4V-{`ofN>g%VPPd9KL9AMedP=or4)el{Z2v&e{_T;>kp%y43}&_Ihw957XX+d6oStwM?o*O@QNsHmBK+@( z%IA^fXvvC*nKP+wAzz$AtR7L=4RDI~P}Fb}y};vRC`P~D^)nyKF6r0Me@>LIr(Wx9 z!n$z0Hz1I`d3d*rRk|>Pf8hVq!LxCg_u(>@J{ZStPE_`n*;0)*Y<}n#J*YsD(@Tgy z#j7hY4mv38-MI$%vg|@{hqz$FV=zxLs1r<9{#>!>{b7FDHH9$vTw^Co8{(1{aJdE7 zVXktC0PHG_?fO~sMSI+m*XB2;UIiK3YzSm6(>*ykZ_yRAX7`sBe`>t6jAp&Xa6E<& zMvA%4TFKT;#g64S?*6sl=a(=spKzgwtaEx+V+AFEUtUzSa2A8Mf!GVkA6#*(?z*c( zob~`LJE(J)NCncGU=}+(x@8}B2ZV%r&~+$mpVC!)@RbbBj#62AG8jbA*WYuf)Q_NJ zi?6lbb3q4*tv|^?e@`3t`;)cfJO^@xyb*Tq;XYyg!ijwjuDIO#op+jW{WjOJjbbPV zG;~EWDi%f@Ymp)AFFLfx4v(nbmgkmVMiD)cU#Ia{9q>6MP5AJRSV?I6w{Z_iZuzXa zDBNW|$$j&26^-lsFhXUD`-Mv?vfQ|9MEYhx-W@bqj@|H>e|_n1i|o+K?=21Zu~PWx zG^rRc;Hzny?{aBr(gV+iCyj3FWortNpIiVc33ft+jW4-7ebONg>ZG&N6eoU~- z*=N4K4e#Yz#^jh-xfko^2KSC%)W1D*T=_6<+i}(nh!*n5@xq4$;C@Hu7SEWW7?i;h z>771jsr4vke|Pd-ypM@PWg(70B_E$DO*Zf8f4wO5^Y zHUG6T_)Da8{vDkX6lq|Id4OD7?OCQZN&+1r4oAxD*4f7!#n~JPKcSh~ckhV11{N-o zvbpoz>8c;C0xoXP+$2Aj+$Jp#>gtjg?e z3ZXlE8G}fUC7-@RH>Z#r#T$@tLhi_hS`U<2qBohK#eHacW zZk%R$ej=&F$FWp0)6SW1{rFsNjdl1tvZM!ri_@9%!NnqyV~LlVP9T0iJBa80>Kcsi z!foGa{Jzu2`>jZ$7gCa8Bx}QrY5^IuPc)ueEhRb~w9+z9<#xGyA3p&$FARZ*8b-38 zfBPr9G@TtO_3;AUO|=cS`e0oBr!Tq*^}CYfGm7^SI{n=R_tA!{fS2+3dY8V{g;mmsZ)H}a2y5aX)aeKsF|NxY9Btz0KjoU~LFHsC=rtLi z;FM?ZU@7*wl0TGtNB6(O8YAy%4y!5>f8QoJMr#;rK5CybZKcD6#*;Nlksqx5hU+lO z9!I=Z_>oPR7j<{O4*6X!pM0yTRo#<*!q*ez8dljFgY-OBOifPK-_n>)eHp5-u*@Sq z!BhszhVKIz-Uxm0+=kQZ*}w7^?=>zf`idCF9AA&L{+V|JIj-xv*JntYn@p^Se^d~Q zEXOLP60uB?=af5yp$@JN4~ydko+GC34uNOl=Z1(pmQFy+3G=oXYwYKiG@%OtEtJ@x zzzbc+mAP{~q)HN*bAkDr4#l-f9`7b+_S2oZ^LA)$cMqZn(bWhhAA5vu@jWiAq<5u3 zI?Bb?)&T&#MkrTf@`x1u?lCUg;^xUbatN^hRCZ+ z;hfU6)DZ5zVxIGDM-OeXf4XKF^gnnmJq+=)UfnHip|e+;i3eo(QK zEI-hpkKb^+z&nKi5Y)mkQ8NUnab(1Dt@K=}M+?)UE&Nl9r?3VWzWgF49y=*snJhAG z(M>5cXG8LCwW7O8s?X2bR@EWHBsgoMA}@PiH@{0g-F;tq_7S#rnvQeVpoRqV#}9U= z_g=p1y=h%qR+~@z#F#16fA(q(m5#x9^_BqKWY4B(HzNwEfyEr`-LPS1vqR30?tSR* zQVS^+WFxtNw0BW(C)eQBdKXk=k}{LAZZ`lt#v-2<-1pGk8rqz^uN!7{{mI9aMma*J z?qoQ{xr-e>n2!s<@ox(9RPs(dz81*O=@zhZ#OF;7PJ4oOBplX1f0W6O&gBC66c$N^hb&6ms|}^;5N~IySWjD$4id~zS?;5?DCZyas80H$=CQhsr{Ran_QJ?i z2E?C@@Sd1w2yTxgiVY~wH4I`_vprZ>qr`u!7^PYmi9#IoUDQ4|rmIAwZUFnmJb)pN z>?4_~W+Sog;qf~ie_}n=qsUS*G6v4m57C49H5yX)%&Jk_C%AwvS-i1)D#C`)F$4SQOpDSE9)4{pWMGSe;OaBJ|Lol8#PAMSmhfb zu07q|Odeex$O7uqD;>YZG!KH2uSKIl{zxYF-6gMcGF&fPiC201jk6lV&@gjG?{e#8 zV;MI57^Z9G4)k#oa|E{LK2a-IQ+?my5wwBXk3@1({MueXJg8CE}!mCv>Z2Ka_bQaYs~gaj}6(I$tNW~Nol z6KhnVf1Z10DYE^BpiahHmm;}t(mW+uilt1 zAjNr)HTK$J4e2OWa!)JKWR7jY^k*IK=3cPRzZ{eIzu)o!Gx;{ zRAWx!gKvWKa66pcW!o^;Gl(c#yC_C=f2rr~G&{3VINk}A6fRe@^C@bAHyXRU_y^Oh zJEoPG6Qq)9JHvB9zMK1a2~-6cg5rd$zpoN>kkTm-f;=^(auHv8$lCJJpg8yU_~m#z z_e&h+LDV)SM}YU_MQZ^7iim&5_}Ww@f???gZGs-yW@ke zvWWrGflw6?&#t8O@Meu#Gy|y0aClmuu%GFgRxFMzG>^U|IVHL6VwTVwf6I#0@CR*_ z6r1RcD8yyNOI*cD4LQFoU03EbE2sfHs?%c`XWw@Qsis4CxVf`U z1221;0qs*4d=)`8l}sC^e^DIOu6aE)f%$xPn-5TU6gBJ*;)g(sfh;42TmA0@O%`2_ zvAbN~DlGZB#T4;*;lS>cvKWl8m zuXc$U*o7Z=6gH6ASJ!l09YvM(=THcCHp%`}@UVj}-6*_)EZ$AHf2gd&ZZ#|?r^kw` zg%MbOES_;#M?*zv=UFkNCqz-(VLn)3krWQ2y;E*>_vOgW!3DklFqHftJ=E#INZ{-# zU${AM+69r5kpI1dpq=N@u2jkVRW}!FvBWb|#the*jLy#3*D4ZSi!QmV`-s9y#I?uS zdFf2!PXzZ~n9oEce|F#|LJuNLH-#LTo+U*A?3W^*MjiAzCXeu{!O^R25=W^*)}rYN z96VwGV?l+28w^QGwq4WWOdBR9oO7k44O3H+x`}7UnQ!TZGiPI-rXS{AO3n?Ph}1FC zD8zu-P0|q6DXzQKtt|@RHd?yIL*#yiqgkgaO_!xXQ;pvhe@_xPn@buDQoH*ee3+uA z2*!|{jy z`>O5@XINOVk6jXPIyLPKOY?tD$XGzGE+e-SmzhTMDUJ146QLKp>)BR+N`@W;6AVTF zzE8ZO*WTK@e;cCM@4q`cuMtW%8(ufv%$l)jK+^Fz{PFSe`o6J+?4*(F!yE?$H)H0K zJ<#^vb;sYFWIT#LU=i0ofXYBSvK|?dwWx0?lctRii5!tgm7jch!?V69xw{X`PVa}s z)k1BUol94YlpE*Aq1c@;dp6S9ANNTIha;$Ln8yUYf1{_9a{F%7^-H#)>y@;qNu2o) zqSRi7A2MW!Qq@nq%z2|g{k~=VVRRkUikAp)`Jf02pU25Hul^;qDpdo5ZRMPd)rYx> z)pRW#_dQ7x&%_kC(8DH=)lU@%JZ>5!?fIl&3ww!-lW{)opt?Ko$FIN#f!0%fhc$FH zdIhqne|1-CO=($S2XbyaHYFL;Bxihz*Z_oPImwnMrvKwwSBtb_G@==Doo^c3-b3~? zhIJVYPX$Cx@K5;=ll6Jx*oz;g2#7luchd%`zMnwNJ!NbLW{P!-ELF2)PI!2cBDikJ z6>mxG`crB6PQS;Umb97kDp)P$s(LHG{YDBqe+8P{ER%DfLKdkiN=H^P`3$UCZyFD>Q8W2@PU;Z)jUChT z^Dl|4tK5F4Z3N*Gls0@*1y~(#{J03m_KtL$sEGnulEx8z^er2QIMX-YUJ8MPCZeOz ze<494^XEiA`U*v&Yh)O18aj?-LUo+7J~53q`W$WFd4XgFB0ly0#!~3KbSy$XE&jUQ zBMxIUT78B`UAKDe-A7LyyrALun~X4;%r4^2vK`&?bAW$Jl+q4qWD03}0Q(T)7yUbW zOux%BXszbcZfeNeWZAaV`dYlLSOj<>f6NiJAQhTH&CE;pp-ngLCOnO(Xp)qZZF!qU z<8+$EGbIEVQZZrdmB&E=66^jq;Vladzn6U}E3Jn`PVGbLzMJrq*U6x~Pe4|M8VK48 z08y5bqj6-&*oNpPIlR07b&-m09ymepYaix~k9;%wVbOr_SnY509AVv{cd-uee+Vv{ z$J%#(sL-tisEJQejzDZ{4Vzl`fhF=~`u8WO|)~!lbf?f4G{Sx1cecMy6Vhe9;CZqUiPIk8pvVwpm3Nbc-gx zSp@@C!M~nJhOuA7=ot;~d=B|= z7dh4NiEfuL_i|uWtcqTh-L+Z$TN<<0seE60dz>NN2Vpa<+LKvrDb+W(=hugsup-B` zV;MUPE?pjbvld%@@}`PKe~v#Ei*d`ghbG)I%4t&%vq|RE;N8Orlz8+4SLu*gO$2Vp zRN>MS)gVnxg|cYH7n0^RYNuXGvZS_9bnjsg=8|gCkbb)-#5mR0>oPd@o13jsU?029 zuMcv8$u z*F#&6RT8K`{Qm6t3Mv60Xc_oXqh%jP%AoYZ^@^Tbp`|euZ3F%~KGDcrUeKha$8ie> zYAbBY`-g*Es;mbzf2KYkxUQy!1?hls(-Or~Z4Fn+DKDi@zkG&|#c*?jr0y`$+~DD9 zCf9&+Eg0@fd9cQ9a2$aAUT19fhDR^6LokK_o8H4Fx)Ey7c)M^9-PT3*Df-2OdkgVN z=-0`qfSaxHQUI*OJh}=`l?BlPergC*IHg;(Q4IOnyx|$c;@y?Iw5B`8L#U_X%R*-TA>PIbJvlecR~q*s2#zg~mkb*29zIRh z_eLPOLW!?4f7W2wn`cdt9wC?N(|rlnbBxlsZfV)@6(V-x7MiiDQ#J=&zsS%K>CPc1 zhS0E)WX^8#f<^?zbEdeGbS=0;9+#ay%LbR5F-9X&X~}d2E!OaSZ%X0n{IMj9&u=Yi zsBx|iW9tf9z9bKM;UJbRe=fp*^^2L#a95CtZ3t3k^>h$@dd;#G zYJY2b66Us|bpk}5Vg{cuIBGaTCliPj*C$ZT69=&%O&W}4uh=f;auyuT`lVTlHphzi z7csy^sME-QpAo*E_DD=9ReduykmEl%Ffh?pnf;bb_Ig{XHH!IDLfXRqk%(-53pQ%> ze-1KlSV+F`v?e*_by*qC*D;v)0f#80g13pT8?hJrgW1yq<8o$@+#urkm*q_Xp0JZS z$un~3UyYX{^c02!-VUJLaZlWnwiiVtyG@*oOMYi#qz*VjWwP%m^h>IB!OG%B2KA+H z`|e8K4au(1NVB&)1+O!sHpUm5x;>=Ge>L069qwmc+fHrduO{?&oZpY1Jl9F>sDHa% zMQN+c%9us=^%I4&2isoVU`o9)n4Sy&TfL@LvVeX!4a=p@BzB8vIrs39*IsF!xMcbVUavc7F~!}Hk~qcws5Wxh*{?5ltD?B-4Y1y_}{>{GA5URn{bXfc?Rf<&{i@jpMQg4RQ!5MuR8j;-ph= zP8@~g7ceVTM58{|v7BY?dl%R5e|^fd32E<7JM#%lDm&5oI1cOaW;lR+ND_0kG%>yb1epyDdPfgP=Zxp7@zkc2Hxd4dXe@=06#t}nu zA$+&ZFR17YwelAt#i*F;s%7W+!hBzp20PstdeY@kuPf^ zu;1yxKF#40e+iv3F_sX;rwup^YiN0yv5RX4ejpLws{{<Q82-!AexO%$zTJlv5A*$C-e^8ye@ymh0A?RwbQxFVCUGo#wD_aL!)6L0*U9Qlzw zw6Q@Z8a%=JkpJzf=jftJHhlTVM<-u62jS(TgXTmmBj>P2P6bZNkMcrgX8v^f6_5ePu2pab2|>=% zR0D6j8(@R`x(Nh=ZC2Sxh;x^PAhR^{@|Y*&G>g)+d@yN5QQ7^m(mx100Ce}ENfW3|F%DlTTjH6qlizhYOQdDL#J zQyNao%6Hv|1o2G!k#YFLrL5nV+vOacCZ~|lXXU0wAKH>|3_hF12w2^p&@Qq+`Pj5t ztjgBL3~)86zIef|2PZ;K-Hsw4hFbSMN=0dT^=_im3M~g`-8YJ$+)p`8Cn+kMaH_ig zf4d6ht_ILXZ_o;?lqDRY{B=UCN2v;;Bh}@8zKfc8zs&Esuzd35Y+m-E?~9EDN?@A< zMLlxv#->{5Lg4Cj*R9r-UhsDp|6Tg{##~Uf+>b*3+AJNtZ6fVAotg0pdHn0%dV!Yr zMmSzEmzg;@B}L4US{x}4@da-pl4g3ce~WmwrZ-~6>2emLfVxCyB3tg@15$QdfZ7*4 z%wlUC6HQ-qh%|-xd>Lh9%#a*IckVA=>snc^l(8JikBp0-n5JUB8q~)I=HZiC!Szxd8ddV)0Ijm zTU)tsqAn;Am6SQ4hK>;LvT+3;xod2%att$Vt^LNQAE_&A+BeW8LV#Zch|Idv5zJQ~ zE;Onnp>t7`w1xdvX-t!&l$FJLf5|;0j}U3<8I;ByxMgWEom!jPXhSUO?+=OS8pKfx zxwr#IF5Z)FK$!d>k%s+#BYCW8Y&p||P-Wn1l{0BsJ{&=@;-Nt-f zJ7o8`BM65}ZMe_)Egw#TN`WjV>W`}SO6xpq>vM4)18%OG55`PC&mT;;e{~AqHeK-b z7+ouWc;*vd;?@W{Oi*DxD)U|1yx)u`@uRzJ;pn>vKZoMH@HS>VKe4BGzo2gb)_M*~ zjRtgBjDNuv9w=jP8u)(fc78Lh-*1S+0G`QnOWLb|PW{Cz*BoE16-5D!g3h3AMQu&N zRV8v=KjW6ipl2 z8tFkh7*#vXg2{fOL7yf}Kfi8xgyUC}%fdIUG);QJnTmw@o!UB5e|zh?dg6*`{eS(N zo(FL^ym)*LPfzODmnmCj)Gp&NU5F&kS7|@29T$eAdN>(__3Xj!Cl4wE*=LivJ;9_Q zrW6fSC{B?#C(1+Scl%Sja*(wPqaXW538l4_JKrZg@WEJFkd`(POsH}6eZk1l)WO}K z-@p1u6r?Z!o5mtkkc~v!w5>}B6TwiChMNhTL)Fh(6E(jRLfg%J= zpEAWqqyqa3Ng|WeW>|}j_iT7(dzU+QEFM4hHRx&jDTiS;2?|u;)J;B)TImv}lT+Q+ zex1tk0aiZ@l$)Tmf*<5W(I{ugf*vbP!b9+m(*fv7hGVlJe{#6JkqLr!IaBQ$Y8mwT zVL|vU!S3+GO+pvnCz$}n!^4_lQjEJ&A;TP%^c@(La7G`Yi)tM*Dpxc#1PGyJYJPm6 zBkQutD67N=hMEJrl`qx43zqq5!On4Sy}R(xsL%JRVcMLlv9yomFnL&-zPpOP-O{yg zP1J48DR6GcfAR{FG;G}m9QQYqT1ioUZrEWdrnEviT=9L1jBmoRN2VMUMNeN+m$xyS z5hTLau;ozE#(IXc-wS3DR24S4f~)4oH@E+f)ZLcI$}dHA&O0g_2_*5Q z(eNH}$4i0^?4+k;sB&HJ;@X?W4E5PAbZmp?f3Xun5%pN`X6`jShD8{ADW{^PR7$p^ zn|^%Qsz@b4LG9_C@P3>3NQ||v!)j27I^Z5OF!eUbhqXu}joU1t{+M9=Me@`R{%E~( z#&M~B<eSi&b;nzEhcvB9wu`HP!)AEt0-)*!wQXg<^+*-?HT0h|R9r!uP{UVlg ze;&_^K04!_%*OhBE~nNqh6YH$Opu?=q&eb_!=zc9uuY7D4BSj4FTi*iFD{6nW6? zg*MFzHT-uh7j5Os9Lj}=r1fSre*%Ede|_Z4j~}r4`T5zWj%6$%SWvXuqeEYjR91N8lOW*G*9{g?Ju zlL`|`COgF$a-AO zTlmeAaa&Sz`}@k_i9+&mSNlTWmNlOT0-9H)xKjajApaPii_~gD7JNmbI^7;?xC2}* z-y_CnbP?LGZg=^cffTA21O_1dB&ym=U>)#r{}wdmNq)Od2a zsN0apuzu>1eY5z!O^RFJMmo58A1QtL z4B@x61G!*J0`w})j>?zuNeLC$8qN29RXTb41SIChfhHzce@P|6YxSS(;gxuxr4-c4 zm1&-pAzZB+t|R1(0f3^dZ(kUrvEXn(pV`H~+)d{si0V=h?I8vbf3zl3tbU4`o)7kX zFaCrV@%UR~tEUpxc%|;6bx?N4^8$=t5>;%P78iM51gpxz`_*iv{#!Qj)MimvRi-&e zMcBY7v6=Bfe^;T$u>s8tQ#G=Qyx}J97vC(8Su`k{=l{Y^z<3HW-x`$F;Yes4lw666tIKE-{VSUS@Q<;;4s% zFH(5*49&S6wLe$OL7NoT(7cT8cQsV~7uo^Oc-kL_e{s4lvlu2cXMZT=D=2$rk+GL> z7sb0qCecmi4EAw9J-p9WPHslMTx|F}l?T&MvU86u&LNJjqX<=8FJXzQuC3+F2;7vZ zTBfbG)yv1?O?Gn4`AAnQ*KK|;fN7PQ?O8N9G!z9$bjBQ1gcIOXrKN~I!PdHgzPPh( z5c2=|f8i#NZ)b04TKt&1IGRe+Vo41Z|E>Frh4A(JyxB^+ZTY}t>2EV3MteLj$MA?H z?s6rUUkWEUQn^iXyRum$*P{(fw24|#B4BqYP1XzRd2FtavA4&*HEg*m@s*&`;TzcX z1>E7agpm8TZBOXk-<9N`ed=uyEps?}34&3De-nzLpmO*TA|o*HwW7|}&{U%|eOLnx zcYRrfJh{YkG4XGqfE$O(TZS)tg{9AMPoxKiDa&FjyS{ZGjDkS0qPubZ&mWg-{imd z(rkFpLKLD6{2f8H8#dqF?+Xk&WgPz6TzIv)dCD~WIL&ZkbaWNn)@1rdDrx5fj3dY7pFL)&Xu&r0r%q7of7RHeNt7*@Bu^kWR{3JLJb`PZM3rKeC-ydz&ipf|485J8Q2 zQy%?tcd=!Zo^x#@%(G@c-%3_Sm>O_Ls|8EVP9}wGUdi7Ybe_}AZ`;qMeXX8)e;`mX zNYDoQ%*u^zljrMD6jWiJUKc8lozlLh=0#ph5FL4NYdAgU0W&0&;(1B323MYzrv^Xt zzaL%e-QcWt!g8z`Yl6~ZzPKOnkTz9Aghh!RvcA6@8$_v!3uhUV`8oaKenUSu)izC^ zIOZcXnUqL8jmL|sEV>YS3Q2+8v8ex1$xX-|3;ED*LHiN54SIr{2?D%__S_9l1EZ3v^XTO2pi=6BClz`fR5a zSTkI0%Hvz`VIas_N8RT>H&mV2nDpQzO&k*r?;WZ2#2(8u?_C+T9X5L_ZYu`UHSV?b z;2t9q6W_Q*)U?R=A9A(@f2zJJ5)to&eDrh5!zq7YTxsMN6POpbX2RI(N8E`CY!Fw3 zi)yBMX;7b!R_*WKjWARFLBCHa6 zPXp{9$WSzbNZ&D7{l7NOX}J;xK*F(|iEZ2VgcIAC*tTuk&cybKePY|Tjs5px@Ae7$ zs;j!I`scN=t;gmVP z7{GpZjxbzbNRdC<$#g$Dhd>Eez@f0$14HK(hX4iG1ni$C*1Rdr!jVOUvdWI_PLBPX zwVGE*k%q}diLSRnoec#&TwY7bcUUQ4JIKU87rHN^# z*^MR&bz7Qte}9n8l%48^Hd^SX=+!#9pB^|$PXJ9Y8VwjT?mu=e#BAIB-9Mrd)%_G< zUK)?3*|G+DYRREj6A1px+-{TXTo3Q;YJn+p0_9AC!El%N+L=HS?abrlPfD5*MnmWt zh|y#1%N2JI^k7h!;`P|k+;ooOw4PU9I7=jB>EI%qe?VlL!i|r4;d05pNM9&838rq; zVKm`}t$w3^Ti1_!(=`pRfu(B%Se5cf%qJz~>S>&o7oN8%(P*&5E3cLhd35$1u_L;8 z6x5?CuUKy~Wy!g<)b{7ljo>GwE-AO$8ye$BG|o(!o4r1+L3Zn7CJ^p}CeMD~U3l-9 zRxr`=e`LgHk@jd*RLZ;~u$qnxNU5?iwq-_soj#cvisyB!rm{cUgC#mCKSLP1fRwX7 zBMuU93J~#sCG=w9e~Em61#qME;*$)ZopU6ob1HyIkK5ztY3K$y#BXFzx0+Mece`iunTHB?3xfUg&P7@h;)P1wk1mnOq zbuAN1Ae~uRF|rUrupP6=hme#bi1du1Z~pI^nF}*d!bh7@umtKxS4rPgIoCZYUkV;x zgW-eaoz4wU^hz1W1zR=UHmo?-slt>SDvRjhb^;69Rt2Qz9-g0M$@;{DEl;Ft4X$Ia zf9|8xsTN2KfTP(CAy}`SA{V&t-GoU8o1pz$V|C2bQP)J1GrHMeo3InaAHn;Jejpo+ zu5Eumm-Dw~qoZ#}N6q3jjyG%{oQqMM4iQ#Hq=|VLOwm;QZwxAFm=6~@fwc+R+D9X+ zqJ^~)yVxfdM37(p4rI`O$%<-RynRT}f9I(Y{cA}e*l|RVbG6L4!WKFbYyl ziv;M=AEF5)jQCERY~Y4Nb%bJzKbI_CNGl;WPHSJXj1!U&!Ts;Zx%xdSK#ux=sj2r) z0<0DAuTW?Smj(vU^w_#xkBVv@ifj(QHue{Urkdh`c7 zChUv~VtjHwVsAv3BqN>;!%~(je_O&@tcZqc5a4x&3QyrFRXA(tt*>a{AiZm#9$+b+ z0@KYeT9Ef2hh3hq3-WIvNvQ6+?A*T-xn;^}7!>Ah0|MdGO_#A4KCYpJ(MA z+uHdfo;Bq!(Yc-zCco(Se+&q9z$wj~qqrGT9`S@nl)L zdo$^N)H{1-3jx1+s2~V!w_-X}9}|GFSt%dmI)I;z4o?@e!YX!?0hkKo!DrWxrOx^zvuE~!%BAN2-P~pM; zgY~sKSO8yLC#Y>Axx{gsSsdZ}7uhO{@fEo06n#4+xtxDUOm(639w>rrb#R>OVN;_3 za;tUpbSf_JL?rf&e;~fb%Yc6~OCyWD26tHVvmZ|mm z&EmB}%TuxR)F`!!Nus<5j{0Jm5YyNnT0Rz$RqWwerZ@lkG%bnbpGl9XJB$Q=09D-V zhnj-Em8$+D;&j&#{wv#a!&gMAe+{1NCeG9N#2?5xe*^PUyWQoPr@^aw+Mlu^ zW?Do(9>@=FbDrd-lIAX{_MuARTgKOV@Ww zt|sSVo=u^Je+-?AK-fGu%d_6E@~IN6xkdQi9dc~8CYF{OX`?K1N;=DF<|IWl>aA=0 zs#R*17+GFUBRU3(+XVki$^;pr&DRVY+-_iAJIN^l&*I)Ix`4N1n^}B3x zcgH$b|Bn)rcTI0zV=Mvqz6z6x7Uw8+KVgO7KRP35pNxliL(ME|tPgd^&RVQrPhss} zjJT7!e^l4DD35lZdw<;~K(C>j`^|3BvY6bpo7@m+ep5=4Ua+X7L>m>jS;0Wq-f$ue znT3LrN0(IgU*RL#NYHRK5S1(FYT_6keV~5LW62XGS?)xI6rMD}TYAzk2U$0!4s}l` zBwBDhSqOp8_;|_hY!XSj7qt6p4r~sKhwGkwZPXU*n;K!;_dCc3I?3uSz|EW z-IND5Qz)f{6d{BPH>cLhsbfRcV&icB9zH2&s_o4VQD?bjL1*yT+Z(av35X_d6oZ># z4lk$jS~NWvi-3)gatSB0G42xSZ<%R&16*WSkIcjk5-DS~Z?$)b-f^jvMUg#iEZ7l) zLa=kl(+$9iOF7!{Q0-KSg7Qo?!T-%{<^anO0C5tfvl-ZeGW>L8c-s1bvk9ZVyA^_R z?2)FIcOmC_mI7A8E@l#x!WvJ$$KbN1KR7GQS8|Jk&o!8!6@z}QjXeKyH`ht@1Xyhh zO(|8$$;gzS!!wEBnNp~scCHkx6mr7v=WiW|;mEh^kQl@Fxej3XU?VaO$p)|6sI(~U zssCH2>+}6s%1Yy-t1(HVKqN3lz-sH9n<<~*QSr11rgq2UDLrje35B+$vc1QQ{)4=> znkX(1-q?Lslv_9;--Wo@W40Oi1$c_-CszoKz8X@>lmExDrWrSPgRfX{+z-s$1kYBx zYg_p2fhoyd2F;i#O{L6To@G&{fG?57@=OBnQ(<9gxBu3jw6Xlg=y2@C>CB2s!fkL0 zgxOJ5R8BLmGr*V3xlg7&8RaU(r~Yk%t^eXtp@LqDQw7`7z6~K%-{$ny2CyHxskSDJ zp2%2Rf5H@vtS||2Z&RQzPnD^fefxBkuqR&9 zP2IeUA__{pdK7G7-vNL=y*cB{soAw3Yj6GpBR9mjrBD-9q>i#}tA{zcmc=<}_xR%) zj?fa0Mxn!k8wo^A$b6f=0F*8KFHiz&Mom5B$M)`vOtZSTxYq^9eKmlaQ?yEKV^_^^ zegjvtJKlTlTK7Yo*8Vlul9S@-^RM8yJX0$!F@zE0)%mN}>L26%hsR95yGJuPJGzuX zX>d(Y`2wtZ2O1FrymrSTf-kym#Yw^3?E-^BKW}42%z5lksK(G!9MIM-=mY_o2N)*7 zIP%sKOUlbIhQFkDBqdPA0B63d{l${TFTu`*RfIHf2-9vEM1J-KN=WU;nO^?XL9}b~ zii?cSt>LkV=4-2vX`p@M@`PIm1Rfk#f=&0(y}@e_8?xjh?D#3|ib}#~G91P1R+-+o z0}*j3q(YIT^`%ORnacpEu#$<%WIp3$FY6)iG=1f4%1duuHycuzE4B@{o-7S2G z0EC~};3o?#&1n+RM5CW=lumIeHf$!Rlps!pufQ1FNy9yvZEemo?;)(+6eTBc77e;- zG~R}M87ff>B47R>vnL`xFNV>ki&8%ynjSHv=cpbB$Zu=~XUVXuY zayxhUT#IQh0q#06t>M#SRb(tBjf@exVpHUyNs;jm`^t&8kY{H%9ByAmq_wRO;5B{O z^w)2s=D(KJ_ve`x+Jb$9vcD@EvPm{wf4OLM?eqrUjAD^^5&x$m0`x#UIv3#gQZo=B4 zj5bwbT1JbDE$_YPT`Q+&+wTxS(C~YNn-~780qjy<+FTXEre!vux^_~<+2S3K{anEK!l&ij?zmCpUc4yi;0bYd8`05r=G3DTX7!sVz#i>H z{c}9o9Xx(1*X?DZ_T-BK#-5}Ol|(^5<*mbHIF3@xiD>F+z{})zB^m@3_er?{mnRn= z*}MLw2fVhr)iu%OC>CemYxX8Fzn-5K4R97*iT;3JE#Dr3dFXB(^=yyj5xJ<3>$P3* zLfWyB4H*d#*#pl>lS=${SUs$H4K{;z%+@Dp+Oe~k>iqSs&O1Tj@MVFUowrU`X!Lt1 zDf00ObwMLt+}Ur`D5|JfPHzi%ag$9S6DSUt?yI|%61LLh4Q2X<=Z0MM8h zHJ_NsU#Kqrr7AD`muvbE%;rJrQ4Ik#uQ&J#dOYph_6Fzt%NVOqmb9e8H{0U$Wf6Jv zWlckmLc*Q*!}-ebDg7~qd+gex8bT> zol(_+C;*hOuU?$niMN*bKy7Vq5is?17}YNx4#d*A6XNAQci7D-rRes^YeO26D{=Fl zG>G0-jrt7?1HPl4_2(kL-OEccTuw{iYBJu|#kT8d=?QOIv9iLA?UPRaxvdQHHk53p==rc$0P zg8ny)pP=qHCbz0NW409rebzSw`BgrPYJd)_|46u=ex%_oZb*GoNdhQiG*1cgKy^}z zC*Q;-l5}V)n)D9etqx)q4n03Fk7-{C#$%V%jXBj>7xS%XSA!KJ7` zuw7l%o`D&Rvg@7CrhKQH9>7tBm)c@*@lNn_O#veNwmbG>Nktd**tg)#mgFjQ3ZeAb zRN2jK`4mEw!_sUp(Cp47h~BlwVT1Trtq@uE7q=^V%qJf2lO&VLnulCNrlv|p<(`cR zkTM)DKFpB5{fY~~Ly9gdQo+D>s6-{df)lml)JO+>ciR*`3j;{z9iXh$UcCn;J?@7# z&gaU^9K1V8g8Jc@;E!=h;+%-FJQgN(j0o;^J2&ENZsxkzPh3(w>2NPgF zFP>C%|D^}<=mIm_{WZl^zNz!qxZz6pJwNa23(#F11M z3QKzWOng7N#2VxN8CWftB$=)Mxg_PEVwgFNc9FuoioyfkHcmD0*UaK3~e%+gD zGT2aEF0st4{Y*p;0$dh{LE5-zP$~a-6(RDSBBG_UcVjv_+hMU}xu0O#q$%8D2gXWq z`Nz++i?llP%&E@eIIo$2^sjFjvEm0C9%g^I@n6xjL#{F~(nOsdwCn@=B3&^T*M0(N zz|lBu+R-uIZvgK!WZ2@Ez^?Ccz&_>lv&Z6x_v1zqr<4Er!LBcaYER@3r*eZztuZQg zkU{7$dwPng$G1b{(-bo^p-hA0vCl2&4{m|f#oIc#I02J!T&XY2O0^%XPFEEuvk44n z32KBmeISnt@T|-ZN%^WTN|FAfPTmVDy#~+d{&d1eIN$&@Z|S1`XSr!y{or_!qWf~uQ}s4{g0BhX@(|xPiWd#mwW}QcknvA5f4S{^ zDyxY_Jx)B7s#FsdluFHnfp)7jH#Zx0x$7A^fZ9F z^=+mmo}>x}PK!y0^6V4!TL{tL!Z+~~$s|?Rsj^O5p*=78RgIEd(oi7+LfErUHo})3PjMed! z47lQ_Y*}Y-4Kt9h8Xk0$)#4>?Yj1H$f@|K1KjS1b{JpQ`K?Tjt}=0Po4Y8g9}HN{!2P1Xnqx+ z>KUfR=2HuM5L5|e?~w+cr#`bm#^Qo@^BEgjd%Sb#o+}m~B>YL7>0hB7hN9~BP*@Gz zzk$uuHq3Qd1VO4CC30p8PUYuXRkUBp$54%suGBBi@5$Q+FpGL99y|vX{>Qz!$pG_` zM&rer{b%+T$&q<(n@?p!&a*2H{;K4w;wwdE$$qKMPFJ$ji<5Kr@H>j#Gz}WrE2;_q z2@!m>XSI1A?8M@XK?ou(mK89(OBL>E4x$`%KT_w-7Jb=qLP&4o>H4|6hv)Dy%%s&M zm&V~LnJ}nP@_n)Ika;p2uUK;#Y5*pt@U@$DHcw0fwB8LXX<(z(kF{>NbJR~RlemOg z-}a1_{B}e4&lLKLF_LJlkT%99ZX2YsNEy^yX}*gkHUfswQ`ByjL6Yk&vh$}m{toED zu(|u_bOPiu!rL;c)FPNv{mD74Po`Mx_SN7W%W^NnQX%1~T0t*}i^_|(_2Lc9#lbizB5I?j z)s+MAvf5%bzdCTYK&^2+K*&Uiq-dch*7;kQnz4U<%>MX;Q-noVT|$jaR;J;60eiV5&8@c!331kQ_!^#Ax)%kMjN7aR7;iNj}b3IKCBw_Bmza zgrm9`)U)I_+GPavzll0e72@_Z^lq@ollHm6VIwjIkIwwi%J<0U1J&mKfxI)h=fe;; zM}){e{K^3@6Lk2_Y2F}a+h%G)VyYb2_UeWQxqa{3vk7pgbhQkexrVt zM-KK+<|gH2KQP;v7uN?;oL~;*@q>`1SIoJ?xM)IP+R*RjW3Wec1HTu|*q)URx*UKo zZr#@&4lu6UBd{TYy|Iv6BKcEE!LHKBOamrDrXC+!S(oZG=Cf2lYRTwfO>DNOob1c` z$+dGd3Ao+|4)o)~7yaapTM&5QtIHSn_lR3c7wpjsrC%T=Sh+ek;u(!BaIx&mYy#(IH|S6*HGdF=jdroghfe zDa+SZvrv5Lx6y=O(!BStH&WTB6B(xOt6?iL15iwkUl^{TErUt$g=y+IvRy3(YU#~s z6si8WkoO;iLUM=;m<2S7!3kxP5*^A@F|tvgZUNGxkKIhLxv$drP&-vFWMq2 znLf~Cu!C1q&tLTg^OYXgCj}Q4&|Au@13)1nMSPQDh>pcr;MKsKT?XsR3~KF~%fP%h zl~L^d3hHICK;#EPAu&M^6m2IkTm z+MpW2;Aul0Egp$VR+ViHZpp)!dkxK0AO&Kq^3AF4q9w8k$gf@qJ)s9=M4`03KY$7w zflXmjmaS1`bA*^Y$!=*R6TVUO6aD~IPqMqatWMo-gO$?4#hDMw!O~R{K{0tQc*^z7 z;ZzZmJ7LY%oHMip6q>w!vp&J!^7K>$OXsRfE!3yb!+3F?@gjN#0M(g@bOMKD1tGyG zlBD|rvJY~N(p)zGAHC}pY6ZcT383r`{YEl=;6FVl5dW6Mn-b)32UN#nTq@p2J`A?X z_tB>F<&f*;4tKF!OS;82vt^2nEhdSK!dH9Pzgpm7}G#;sj$yULd)XkLMZ`1n`6R{>ozj zOMN>Q!fVv0tO90v?Qso%=Eqk?y@Cmpi7G@QZ{(DhLKaZgLYuW3Yn2SXv{yFJPx3{6 z73OJW((`e&Xj&(&z_18OEBF((m|sMN@As{GA6ByUaniIyM%0}`PLeCtW)Q{q8d~;O z-VWk$`s!VlYA;BBpR7E`8o&kwyx$muve%t9%GOcL2jQ(PDi_|0CEiI0O*XkG4P^5e zUI>Tzj(-J@V&kPc@I_3B$t#Co$z)l^4Ji`8tX(XJ{5e8`*TeDqfM#l@c`0s;;TOMW z`BBJoYB={_UgO%gQvN1zZF95t;9cmNKY5MhC(~sU3|r%Eqcl#d7XVKmQ#MJ$%O}l8 zAL3o}AjTa}*`Vo!HggxU3v_y%H35G!+h+#|z1-ww>HRwi)#UI>HrqdyhN*+IDQWkW zKY1TMdun}sJt}+=7f&Ee<+2iXSTg`fsYmLJI*Y;N8EwpfycsEZ#W5q1d{KinMEs@p zjf&B{*EV@6ex@L-7r1IW4b=7zc<1Q31-Y@nXOQ?HH=}rvC%0 z+zXb9PDqu=_OEplDdQHMip5H-92tZgko`J17^^*wZbg^E zG8HQOF?SUa&S*ggLC4^zg`i;JZB`o(;%Z@)t*jlNzda`o1#6ulw=ixwXr;R=9-mf? z-piaJ_)6vkzJTuM7vjd;5sz9HRg5tHW}*$OO^^e5ra!sxwk*%7wX1U(M5zpi39{`W zDl^G1S();stQ4?gP6da2_jGT0FGFBCd>GR}ZIte1;!fHS!7A)`yWa26f(Q`!TZxWr z(SJ8<5ADNg+XK33Ym>7N>Op+7x<4b?0zBKGjo;p!+5oqdHAnWTYr_X}PG?0F^qW?k zrTs>+)hrCsB7z`G{b}x18o88`{3wAwHC)XNiC?TzPuJ66t1Q;KGtY6vI>yhHU?mV$ zpHI}3bwP`4w&gV=qVD3q6(wDzZ@m>G2CV#V_t~38$1t6%acLpD z@R{7aJpx)RQZT9tr!vodyRf5H!gt8KDVB4}S+IkZD2h5USwL31M(n2>82m&5>95V& z=TyZ@57QZH8$xcgC6R5dKEP1!1^$-E`1*{0d*Q8mmJoJ!uPl@m=tvD%WUK9lQ6(B` zABq`<$rYm$8A&dM=S9z3IN{;+s;vYXzQRAJegnXc85+U)_er_6fFmRHR38s1pgX6( z3vTVp-1vIXnLl8mI=_`_b~T@d#l?Rerr_N&x(SjPpv5Iu@cvP>Q5&PZbjw-LvM-eK z`r$(^g}^+3zL`Vo2q^h+FDDizMRwx01j-oYA_ zV3zuY`L_*I{UwGk@%E6*^X9*8n&QKix-^69Kz$J7RGM0ExA{PS&9ZTu4DY zlr&3m6@=aTA-_+wV;we}bVT~MtTEeNB(Ba+U{uniK=Fwb!IPibnZEc(l86l&rllKe z*C^PnX@4MiUwXh+pVwZA3dae!$EgvIpd|^*$e$1OenX?rG zs)zQOCp9L#+TIjP=VBUp=R0u{D&Tx^;-qu%N8tVuwpLTUDN+RWr)V!*vk&xBLS5{} z+3?;+oo<}D{gG+%`5Z9C1Xz7#z(^^_&||E&G=%~`A62U^{^~%J^PC~2t|NMtda>H? zH2prh>wkZ8At$*U@$b8w7@7e~_&yVDu;MVX}xqu>1NROl_u54t3Of@1DyuPze_RchofN#wP%Z;P7xNwS|&$}4|-npeS`X!9`j zP#|#X?UiDQoF@5^)dsm&L|b);hZB-rX!2Q)K}At~YzS)(pGkHoSeG0D zS)g`y!{iw+qXN}u{jQ_@2jFt!JElM5<0T4xxqLqJ5Nxx?#={xt+6-745^|HUP30wfM^YSWkSh{6RH%9k3iYAn&~2u=OK8 zWy6UY5HKZ;zgq4?esHm!ey(Kbu@oVQG=Q4Ecc>aM}6Qgf=xY6$ivH zBgvebLUF-wYG#mS0U~4;M9B0dex*^6`eU7ANRr5H0U8Z3SQ2TMw(?#CQ7FDCQ|iGMg*WqNzX=A%f*?+|GPPgPhM= zImw(9WESxm4q3acj}Gmqj{?CSQ@9NST9k7s%g)h972uM61$6XSrV^W%Ds{T_4W!}{ zF9Ks?YwYCgXkuXVUvGAXmN3jr94#m&phh?#O#jWULT`xzfR?}kGyex&B@qP*qY1*y z@*k{~`4OlL0w@z3W9sJvC@u~YBO?rhn1!R0GZ7af)Bm!oh}amJQkfn>X#ko|8=TF) z&o#Y9CB?sxe!J7Ksk)++G;nU=yP2J;5TIq$tv8y*w9zfJ1dK%x?|8Wf#z&(h9>$FM?(sO=-TTgx+tMhmy2Px*Hrb$ceR# zjBg<{a1qE>K%yGO7=jgrfUb?y*Y7S)2aJ@g56Ze)T89y4zdiyQyadQn^=}ml4hf`J zM?ot>-qwtwu7cuIio}es8_}85677sU!N0BU!wQ3h+O3?0Y`@8GTt~*qr-gq5;!ri0 zcL&-9Ny-&df?`eXUoY=P(K3)Vp$oB$0>Y1oLzPNQf)XmKB2g)wN_>$JDJJp@lPM^b zAA}rLfd7m_45B@iBLzrA2xx&B{$RSnHHcE^kYU#-tvY!Xf|6X)(IC;&f#+4B1t$oV zXi<6wKz`M;ry$Xlm5>FK_}puSC)k3^2tTyWmxD?`Q$sfqx4BorQxQ`E2T4VFKyCpG z7J9(}Jt9U35W~Y`N!H&YclI+X08@~Vp-blqN}R}qx{8|Vv!guHWS&W?mc4B{D<=v50-FAWp`nqBNGwK|X2 zmvB)<2`EEA1tE~#ipNvJca`0pAL9S^AOd8|P0LlZxicKj#Kr`FG`(?S5+c|~O1wU9 zxCG-4M4k!ofdMp^-1$gGEnfV+Rj0@~78)#v)n;TVmOOZQ(!J5I!)?{u{X-l?DZ z$4l<^yoNAE4zT|&h;sSy!kT>$325dX1%gm=;zGng{RSBK$_INhzqQ8Yi9Nfew8-5oA-s9B&vB06iDuBsE;kqB#l8GJ_ z@}OKxzG@C_cfV)pO!W@D1}VT1jo(h0KNvXuNq)l^>J9MA;wJHhW0f&4na0TijcQ!+ z=t?vBHwS3p3i@?tSs`YI=aI!0ayq8S*3gf6;y5JrT@CEnV(7Q+T>|_z41`NcDN$n8 zG=#KbfvtgFzQ7z*3j8a?50X&C-2nHpm&DE99Ff@f1TFPZjeyU+mu7UJ!GjljLiu&0 zqU7Oq&yla^i;$|v`<40Sz>>A2dfGH_>|uW!!U@ot#XQ*TA28q+Oh5!je1;JiHoKcd zfTj9HsALL->#l;kl-me9X$=iG!ON7vR_I^aP>~_%;!6^mV|r&zUQ?3DUz?2wUt*TJ zD6S`0UEX)}VfpY`s)f}ph7hI#m(9VDnu}kuSTco2LfB!kMHB<8Au}0b>b&Fwnp^ne?CwKK;kb1F`j~$$s3o$@v{CNT7c=b>SFu}4xg5h-20tJP1G!^0Y3I^hvIe%_}X$oWITc;D*^*BbABFmp6Dpla=oYD+vL% z0}(A-hrNdr;n3OTK-ZBx;asBvNz^2%{zB6`pzje0<_dx#mtEy+Ywr}PP&*6^JmGgP zEKaTb`~AB9`MWFcliiwOjyG8w0y`^dm{p=bo+}t%o~TbtIKVLsHUyu~buY;XDrc}- z5|-`>)HzivpS-B#b~tgI7zp7+#{UVh|0$G6%w9C`$d}`7ePXJyh_@I%8J$EK(4V`? zojYs}o}<9au3k?Gm53h{+^jEuFbY>dHgy}HR4+0bx`ZC`Pm+fi5`kJ_;;gE;rI_5u8L8!iof-XbCzN zM%$;6zt*p>%#Ub>X>kOkRmV1;37PLE$fJEOSsh2X?nBzLJGQ8+ujx3Gie=s_lQpXB{fprm?eL-BK7ivE}XPt5ba`#U*lfDydf%HFoJZ=0)jR zQzpavS9LYYb|PxDQHxSiyYn7ED=p7G;wnLp#fz*25*m>({VGw@`d~qD(aGZsnkS5D z3>2SCo`lBkJ=UGQL^B@`tP(gj0G1t{E#9mY-AM zy8~Q!3yT^Hp`y?@E!HXnqk?mG&w(d-CE^&|>@SiyE+%j&k-#ErcrXh{+zfOJ(v&a_ z^o?esLRgio9o3N<&N`N~;b~6e9r`Bc*nL%gC=gz=^;iig(Ei1eqV7#4Z<-il?2;(5 z{b&v(Q{~A7Ik0_ZxAOauF*6xUP94YJ*bNm_r(}1kJl@K?nzrqUA(H)(Chcrf&68w7 zE6wMKhRjM=4@ZPb^w&Nh(|@F)T{!?_T_t9P5q!$rK*C&|uD%Szy{Q>eF?*bqxyMRJ z=x-H2)w5gDRHhC)){7|bA6}wv#q|-(QjI3OSLg`X=y6Bxls9Zr45}f7Y-MIyMgEjE z8A)57ZcRa_{!uJ;n!;?I6f!d+%}BG*c_KkMqNPnk;}{hD`2{n8!&2^6(~*Wkh3lX& zNg3%H99On{g`D27J>o)4u`ctFdjA9nJmM!2t`&b9!!?M+9G37*l%Xj%RgbBWrA#@C z8t9ABa=ImN&r{FEy;{LBplwE*aTd;b2#_&jC8d`(pw<^q$ZTQ*tbhzZy3TrJpkj5` zc1_794!Sj&or(cS(ci!j)}A=T9PJLY;ia<~l4|yu>WVsuYG&k7YC!W-kkn>s&-o`! zlF`O>Ey6rEE!%YxTAzQj6@1W`1SOkqJr!|9=a(yaaw2NRrt3((xn&m8Hbph_YcXk~ z5Lvgzxdt7iWL)RZru1O3Cv`@0r0SB=ws91jbv4MEAIfjQ>RmnVmj7Qr?cNn%&wH~1 zln@U|O}({6v*_sq`%iQ6X2#G9bz=i=VKbXq)9rq%UCS{{Bxv)DY4b-x^fbG<>Av98y;bf zw+GPp?EK}XW(#kgd}+l4$EgD}n;x(Kj%q0EzHavqmkupC)rLL`#!m3?#RekNYRit1 zzti1ze(a#<34~Tq&eKLGnColUpP9!KcLIEPdfysLn5k1_bP~^36)32@S%~6~YkMz- zD&hM8f$Zsuij@bnQGf3ZIHB4Bywm}zEbDI~#3LgQ+MH3$yW|hmpUf{0c5K<IQjG}{h|??l8p2fvYEege8a7eC>~ zZ-lZ1hpW*U`w{sk~>2$hpRapw3*XyH|oh~ju?=NWz zfKTKH8yB!IQeC6;-E$ow)Pb%4Y)7=^4bnbf+>pYd=k(PdKHk0y52ZNhu(R*_UuSjk zQf0PHuYC>H-N);}!oUb!NDIIn5*I!#?q3N7w9xw&Qpi+_NUq-jpOcqp!~jK4kMC`* z3H^3|<~_Vqv+?(CcMexie4FvFu_(-CDOxkr1sqvKkS28~P9KkliP#wy!ZfHYFhOgb z!aQ-~9?$?d_o%NXQ*XEF8{bK!b-ZH?mfN#(%IIm@f z;Oi-Beqv$Iy_pyD886@^PuH`3Yjp}Zh2Bky!O2}$2h#35TnR{uh$2i|V?`{|M_@ay zvF2Xhl7SF#cW_QY!OuZ8dD>DDn>cr|4A+A8%+;s*pf5L?ghe&AGhuk~&)SYNORk#; z$2W75p#wIgtV=@TRuuqq8+JoA^v;<{Uw=p|oO1kl{Dx=XtD@`AuBod#(=!zZO|-a@ z6Ix*D4G|tqo=AmwsD-n7_?L<-7p$R7mj0|^&zzGlRs9i**hfbf&Y~mvL_&!ai;)%l zbJ2#Ir^LZg%LhmGj~NGHc$lV-DyX*yOYtYp_{@?sJKkear#b-5^YvfJ%81>YQa7El z3lcN0eo+<%@mU9wW1H?M^q%KO8NtfE9emu%!dv-SL$`XAr}x9#v6+0>WbEN&e%Ua&YkY>x!2(H&5sS)iRh2{K;dij8ebl6Z&&BL z*u;ebRMkqzK0&~p+QK>4@~kx7+Sk%XG?S$=^-hDe-P?O>=uKM9;kA$NGFa%yLBp5_ zZ+EZbV~Koi9uu$5r`{`FI15^lnErQvb{jhs_dQuR>Od8@o-9CgSdlk{RPwcrh=u0{u40HD zUc1Ic)Nk z<|E140OEj@EYTRATqqmuV}_{dUq8BJe|9sNpn(m89t>_GsIL1G`60B~I}?n@;jhKs zE*GZwq$rYjN*j!05$qK)iMMbEo5>+~dEm6{C%qu^6iHNYw?q)2Rnxk`yK;*JH8!!5 zd0$`54P+C^VPWx|JCLG8wokRWbou$5tx_?9wM+oJw}#8onzqnl7^MSirs@an!*Ib# zcIdGi+UrpKfhTuHVq|awZyZC&RPg-Y2U#D!p3K{gq|FwxWW6YDLg8kV=C4J!wCYx& z)UlKN$dtB+OzIBxWOx1+v~k7{=yASr z`-)v9P4Zsu!8(*sHN_@R1KCQh00BGv2qxSCfMWL!Y@F7O4%f6nx_y!g9X0d?wtd$z z!0ba~ninyP>L{1n4hv$(tE$l)hwi3sO$x9lb1!P)d5$jM;24}RRkALaF%?7E(v55B zl-4FU6V3l|_P!l87Le)7&!h)<~;o zNo(I?8B75ac7^j4sK?u#ls0(f{QdF)iS^aXA%V8h`zNobRHz_4X7eTo8S1<%yaOO? zrq$=5%a!p&&Dh?M{ie@-m16+1%}9LUkwr=8$Xw`{l{WHiPm8Th&1O3ZA4Y-t{WgN+ z9Z&AO)r*7OT`OzODH0^z6cha9spW&wY*%GbdLD8{C#+rJEm?!V-fBv)G;L%EAjpt4 z`Z$w7ZI5@IkjO$+s7xDnUO>wznFBConBudw2P(ZcEfmIkPK_c+cEOKj0%g3n$25~( z|4M!K>1b37Z9Xf&|8b?^JgGo7*JnWf(>Q0-s6en%t;`69tk&)Zb*o7KSMiKw32hYQ zOh~-&rwlbjs|RIfd%=iXI4Jnb-rZ5^+gq4yc@Qy{-0WHYc;NIS`(_N3_FG08CYiM5 z?)!HVo!Z6}?-#$=rmxyeMc?gIBSE&xPWdVCTPnjC!zkvXD(}pw=IKQD!A>PYWat0U zBxGeuZMg>xqhe-cWnt!^VPvLYWTc>iVUV>m7BO%(A)*xFW@cpKU}R%v`p=P6^9Rrb zP-bSX|LGJm|8Jx4zk7xEzZy3T1f&kv(VTp=l zwJJ~ZM4KfW`6UALT6T#;MIn`=4L1lQW4I1pqKus5+nig_UdCyGeF{fB@IcTj z0^@d~Y^DP6mq=DtJ@ykI*@>)k}ZPQ zx?`T*_xdVZ*)5moPcLrOR%-J{E=i8ZysMN)x(+^y=jX)!iyW)9rIG`jWsu1Iz)j={ zf=I4n42iv)Ht#y)5|@{mGD%`VOcrH6^j!eF8MhaG-2JqRP%6h?5B<#E!S|LiW?LkI2eXbSvPu_oSBQ{V3j@)*Z{>oO7*w?XDJ1+p} z5l$sq`zVs7$^Z$?i#s){gtx<3trq?l++txNRR>g*@(~Wdunxb39^$GQR-D-M?nQK* z{vY;xDuhny*OW5}TtSpFk9Cg3?))-*-K~#H_xJUt)m zXwPe3z)$yWNdH$|GN;x-fe`~(S#)6-lr20>h?rSfU>MYiw3&!lh?sshmF(=Ce>NG3 z7>Sf%7$j{??S58F|FaSy(&k}gFuw7GY-(iAz~k5J{}#IDirg(SC=Jo^rIC&t6bO6iE?jQvsQcg}IKk zd7MySwl3Ym&>Z{kDPryTAoawkB@?NB-jzY^?geWC#@+H5=UD~GKh48r;nFX#HDv$v707=UhiN{=ET1C(@ zFq}RgOAbld+%#fThrm7Z+BD(@hpat}+T=Wf?qPe}RRmYREPc#X_$R+EeL~7Wj9NlG zAjm%A*?*>Fy1F!+lN{5aSs!psB!x7E1-YQk0ra!*Z-O1#kJ5BY1Gw!8(Du+e5SV@7 zy~qJ1U>%6~3ZVdO2vFPT>!w8_)CPToNk0p6xj^OIeKp_wQ1M;Fyix#O81~iEZiDG9*9})KXD#Oq zD-ugBspS^I)TzNBTqUe#sFnYWe{bI>xD>e55NB^iZ^f=5Xj{MrJRIyBvN?v1>#o*+ zJ^C7>j8sby>%e-Vp&JJr>#8LiEoM@>wyzaREgRREQoL8Pgh`%T6H8J)S2f?1k6z{9 zrL4Oa>bH^exg{-hQo?#Kzl#hQ2)dQZ-ETX^ECwT&WMY{C1Z~q5IHt=O=C)1Wpx=?2sWq@*1hDKJT#PVe KWTNt7F#iwC)4)*x delta 61490 zcmZshQ*fXS)TCqEwkNi2+qP}Jv2EMQ#J26p#Ky#)IGOCX7k_PS)qmHQr%qoz-ThI6 zvYv^8N~tU^$-u(M0Y|yGGPVxK!JLeW4#v)$nyg3*{MM37{l$&a|MLd%oO`*$a!>;I%8FxJ0Gpw-Sy%vClVQ~ zM)`_^e7crhB<}9{+B*mJp{VPTZWrI6b5GnUfOY%tX6s@Qee@%%icK*3beU$1#K4j! zm%!u0cp%gLZ>lC|IRAC&sWXXHS!1yBaD|#L4Q|Q-!P5$sobwX zS3DREN)1X-%VcR*c-ul=NFxER?tW| zU@AyH?1PA^J-Kc;7#0yR1tHXk`CNeEa(BC&PA{Q7=!O8Y7x8oWBdioT*AipZ&XPyF z&ot#e_W+b41BCp*A6n7PnjwXEK}W|Gfg6%tkxV-|Qfq5mcUa5PqVp>8qgd}{E|4un zv8|W~f#5aqZ-x#guNzZ>7ec7e5BT5~fd1ibL^2gp@hafTU4G$ri`X9hly3R30XXPu zR=F5bTEO0pQ`?AyOkxDNQW2lFupo0NHRiU9rj77m#NRjQ=cIc0|fIy0Z!tPDIefq2^m>o zpH!XKDUCkI*0Oap|M|u3)zQ0uL!$->I)q_7BD6T@v`&<5Rjza3(BZ`+^3hj0IVdnuQztf!w_wByIvQX)|pO#{dWpzF)rAh zu!e-mcaMUS1Ox$G$W|n|RoPXE;zmJgw-nVTj44&ad@0ronvrPP%O7=}RgG1%zRtg4 z%l0N3Ph%8bs3E2yM~#GCb=5%><5gWFI^~TsrOOc-6zrf1%j)BI>+AHYXaY`c-UGxU zMxVT%zp@T6TJ{a-Y1FC#w+o578FAlr!@RP*f0K;wIb?@rKb^T?yP2Y0pf(d*-u!MY zk@D?{@~5iPq$0a3wtnh3Rba?*Uv(RP2*S-j=dEhqmgb>x1nIfj%n4qy6TF0(sCm;#m)Se$aB4DWPU#P?I~bnem4Ys2OD7npo#C) zcZ0-ERnyUhRYkMG>H$2j3x)%Nf=Yg<;#PuN%Knt|UAa}`QdD4DPZf#C;4=_=_lNo6 zVHX9>81LeZ;w)#t)svcR3G3&+pR%sI6ZEE2ukj5ypB*RCMXbvIk!V6gtU?T$~dhruWB6*G>|&hHw^+=5Fq;7A6k=S2>y5 z!f|qtFq8ZzNcj2TnB*-St=z3i*jQ4BwtoP4Tdv#fPXb0wi7TTsC?E|}e@Q)#IBilq zO+9#j9zjRJ|1@@+LY!)200I^e^<5>VZps2sk&y;R+y;!(?VoeaA5WRkeE!|P$2J&N z`Kyg-)IZKWT}#qpp3?1L@FqUWI@EjRYN_nBjjZeK8J@G^MbPTO@$B+I`TGI< z@d!i?PRNe#UnoWnvHDWqy>to`r#JK|K9K-~o7=TMw zQl#zH`hHc^`d<{bpIf*Leoyc3&?t`ZA?iBgU<69ULYzpn=VZ;-NI_+B_TWY#TziiX z?00TguR31PD3h=cia|H*%~>D=FGqj@HdaR^5z1dzNy z+Cc(<^4C@Y?c+@jzE)l@MN#sP6R0SdBV?Nu~4#RX|uty7mIl$c&EUr}I zbgl=^%(45HgS?ZJoe!D3?~^#mFPiQA7z8#*Y=j(V-HRTTIJl&OLRN&$yKif53m)@$ zK=?qOuP93HdUXqVwrcOZ^#siyU`yW}Ov@3~dh4saXp+S7js`Ypzt$5ZiKI|HNSzbG zQcIshSI&$EhQQvw7h2*y1k_}djzo(dDhdkJ-OmQXm4qJg>|;W%% zRxMgy0+ud5vAYIC_1m0LRPP>Lf17LzM&CNa+1kTDHxU; zgPswjjsk>6zy!wh@@@jF=p)Q>-q~1zqUHkoAtl@*)WTHL*EIA=P1H4)DRpn5Do5Jh!eCV{B?R1Ja9tbwh0(;@R|@H9!K^{%l0~X zUELAC6p$qbI}}5{1*kevDsiG1!1JUDnL>1wQ98`>A~E0*074#y;gI-I7BJ9s4ZH^$ z^y|%TFEvfxkm{??QVfuC(w|^^Mt#zAb(6X36J4M^sUU#s{^He$-i8j0cW42)&9~25 z!j}e=Z?zOv_Za~zW@QbGcn8Xe!*!y%2cl+Qwx%%RNOGG>3l!9NGx`}n2JdLTAFQF8 zX@7s-<$VJ#QttA1UnVbwAZdbi=dxRFu$&FFr~d_1-=BYn z@zuOhUTtx^T}$s!vGuee?KVf2vN~l3&7O&yn6}FW2)%|(s;4CB%@yRZvWCvWB{(># zaYuAN#neh^{66w8cM`bfEs$osbS3sWdPym@)C_Q-fVI^Xjp~bDGwPJ9;vWWJWs6Jg zd53BVZr+=@q|(T>ZeNw_N~(-aD-d_n(=uB|C^GIs02iKtp6HL8%zt4~D?@D<65C`2tk^TRcFoR0!|C;(hQQgM(`cf&# zFi7F71mvM=hh$<%pVGC}dj!OngW=Ig@U|R@J(1VR^@O_L6^G@twVeGUuL@ zkq#P*WKqnD$wvM`PQ;2W6>7raTVtO^-VbbL2+*AT{!0$tu)L;f7=+fFfU76Lx9iWy z-}Wn~#h_j0s75`aB|jQH$`2D;cJ$+6CLN+e9;owx_2n)Ui(U-i=Cbsu3w{t)xd{~r zqu_$K&JWYi2-5%Jc}ymhe&$NhCuDA5O;NUX4wNfmNqgBVeYlEaeS7?bCwzWqQ4-rz zBgV?hP3IHhbFb_-jGyLRhal46my>dJJ z1w`%3?;##t5vF1CzHUH7P&1^$K@uPM5>MUNDu}{@6!J6Sh6f|{O4o_mb3YSo z=cp1Oipl&vtdS=tI&fAVX6-PujK)l*XJgPL7gx2%u-4PxFc}g?`}+N5$G45V= z5Ln@_jLZ=t{$)LyNo1^sxQD%rY2y8x; zT9iQQ?spo*{@@vyfJoH%56vf> zW}ZZk&aIG}CfbMwA8A64OzG|7)$DgpY3sF>16p)nvVq(`=Dd7iJ16WZu7I1a{OP8~ z+90DMPO7XLeHs`KWvlNozXcWnu@_iOY$>_lz?1fNINAnC!KB6|xWqj5fgl`$9*LulRzlysYYQs=B9qapMp^$<~PXq+P6zDK}w)$vAx~N(|(4hra+6=ejI9 z^Q0fQ1svjwNJW?KW-A381i&a1X*6=~)~8&gkPKa;?|s=h;Ta-__%zUo8e|qq;5-E% z5Sko}XXrv~>y<~g8TJf&c``{oDJiK?oDg$2OKVJfk5_=_+&E}QJR~iuk7`muUZs2s zzGmrD9-&td!9(xQ%rTX%0=JdsY{K%Is3>b*6=Fige##7@S#jxT4ZPOG%bKPB!Q&G& zUOMZP9iwIER?ZL?VxUgs#|Yw23=||hb0sTD1K~q4+DR8NOYp9Zt{Ql$zemZ)xXXHD z($0Fx8w}QTsm=~QO^SyuD=iKt-icK4&&RLo0C!UE0AI+sEnl2=ZCjkl<)+zTn}x*< zazhDExAPQDMrQ?S0A|^s9@f-T+)x^&j7s$!E3QwS7m+TBJmv^R0Pey!zm@fCg=MI1swa1>&W<5{?tw-#`27B$ZED89lE3*sC3OY~eD0&ed22iAW0ia*JkK!`@xCrO z!hsgaj-YH0!1sEMLPoPQl+Ehx>6BOhEo&rTUTfvn^YYus*k3UG+r`+Qj`6RA{^w83 zmohr8mo+h|0d!Dz`0J#6$JWlsplIX}vRcMKkMlAEF3j(gh=s94hgQ;sb8JQZtL|U% zL9<|Biy`&f%yx)PDTTi}fm7&ysV)?4ttQ?|xNbRh;566&b&z?-Uwx&hVV!K|a9Mt@ z*);w=nY)_N%s5+$q$T&Nnm=X2r-lh9qJR*H)jn{5?~~L&zj~0pFP;Wb-OxATTlwASw%eJ3i z6C0Lty%Is~cTRvjk(JfMb&XG}4=Xz;Z|2?vpew}@KAxXWloSE&&B^Qx%dPkwxx^xh zmeyN*ECG{)X_v*Sc}lih|Ahgi9apGQ~| z&$RdK$?IeE{$kn>*1=**Wd1|J{qBc>kO5ztcmQoz8v~9F#dd>n0F-`e34LG{-?wRt#08PB z?5PW~SN!SfxR7UHUh2;ySnQBS*Wpw|0ExTq-YKiD(wV|eCOW;Yvhn?ooVt^TTTiReMeGu7x^KC`<#%PV*LvTaJDq+m zCq&upVL6>sb%JgJD9`+C(9o1P^oI(o{5)Js{Fm*|?3^a(=>Wfdj#ngasns|dfUa;c zf36b`2wOboW4EGEqJ}_<*a^8Gu)8Aahhf%T_+%dS2T?-7f@!hUfib7N6I9YSd9I(r ze$qs9eiF1$98j6O=;H`i`LOp3MI1(Hm0S_-50Wv)NJY3tsXVdD6lq=>;CmrkAT1~i z{P8(*U!|7-gBq*VoC3BI1h>psT!w|E81-jFl&W}qDShNj<8G15N8F~ZX~||_dNyb~ zx&uA*86M6sv6y5grP$ffP@lMw!-6)Y)TgS^C|!Pg>>(C-;*gZEx@&pjVwBwp?DTkz zBTOc^4YDx`?gI}r0mA@2AkSk6opHK8GDM*rW_y|xMEY^veUsA`JG$=z+8#sIIU5Ag z7#lh`s(ssMr>kM`NL0xVRYI1@J(Gb=HieEhFTV@r{+3m%tWINrmBWMCr=El z!}_gD8slqdP&jgwyMugk2h0~S7k>_+AZ&t!%c?RXN;-f@HLe>2xT#uk7-ald1d(~< zG8G<1XST-NHjE9)FjR0wf*_4Bo6;?e3qj#fh&hUfvHf zh5Fu5e5gxf&O;h}I2MeAqg;S`TyYZy_m9%Lqtg02+%-dtL>2>|A8sGHG>!LtO)s*J z=SOH#7(5TlzKeJ!P>}+QK7MR7B@}PQQ$9io?eXe`)K9v}Rr-{WDRNud->N@Yp!P>O zhjeuZ(UfNhBS?i~@a2(VHHanCE*#7h0c#*SHqw~r>*@JIk zQvL#xb~A)gF#Z1`_{4!Z9_=37to#>(Xf=F8u`f@mnQ+Qtb9kcA4HC zT%a!IBtJ!A_o>Uin%I!=UZadT}K5Q;YAq`na5+ z@Wd>Lf{NOpPVGI)exADclaFJQu8Yt8jEFGeb7fHQ?@MjJhmk}7rk%zI|1xH9KC1D$ z=TN%mTXq&YXpci1gxxV-zYKfo4^DA@a+w8CV^BHy-jc@IXYga3JfoGOvX`g~uKg_;R2`gyL} zg-bCg@;9NpQ@#cFFNejLU>v@+-=&LfFk!SnV5zlo@ttEdi~a0Yb-Kj)lWtgBL*I8Z zuyZ_2GRSC&{=Jz>TShcFoBsWupW&2RD8=(D+;Y?h>@58A%V^^?rVux{eu7Vb+>M<~ zRgw5QVKOqO&UuP84Fud;kdu&j%9W1}JKQW60w_!G!O*G%KE&Ew`4EP@z{do{JL?fzor~dWh$5R>_Uoi!zWAjcznELV$wmOH2$%9ZHVA6&x zX=EfBdpL8KWq+{-(y0$Y3^{**hgi==TOIGIN_t^)zts5IPyT&d4qUnO_M*l}XiK#O zr!{XbZAoCXLbbgO24jNa1utAGMvR;rqXFWzNQSn>35>k;`5;&v8pa9vz@!OGAJm8c zrLB9tBE*S$OMTrnjU_8E|C(kKDC5nYgG(tmZorj)5SW_DDkH5`g6i|m=CCa(%h~)Z z6I$C0UmbN}bdt)BH$yjIp=LER4d2C9Rq^|@nO4sF%6edMQ5^|~eWSVDCWYaV9Y0k) zddD8P%cL)h>!$mj)-;`7r}<#e^VCFrf8fw3?AZ`1lwR1N6qikOnoPk4gd9sS!yH?J z@+1-%EMuSS3ct3&Ny60OmYE7EcxFKTT*ko{kfs_Em?#tQK8GlVs>V}VH=-*i31%F=rNoQeG8!!TULaB} zr=sOLJ-p{UpOoawef0ML0nazMG4b>3aqtrAHkKt27uop?s|$wTvQ~1hFiZR(HTeRa z#dcR5JR~}E|K6@{55ktJvS=wshy1DPoZ~0d8^*gC4cKd=FlV?4H7j z&*4d0Jt^C$cihG$!yvG$3q~cGc^hLaUic+32dosM+fdcS+l?y`ivKg8GPHI7wJgV+ z)OYJ6@}00EtEutEcmc5G)ZT}C0t3}CNJpGS+}DyfQ-u8U36L>o${Q#nBT#2`Vq^== zBZKJ(9l(Zcw)g;(U!hU_A0M_^^0JJtSo*8{7*Hgk9lxGWM>ET>p(a-}?)$5WU3ZBV zKdP+!=(sf2jw@{Sr8=lD&yaxaj#f+=3wuj6EcbIKnQpd>9a*s~c<|QGhnmLdx34k@f!EiH_LVE<&-Wf``IVdkj#m>}BL2IVIm@fzl|cg?GH@Ahi_9Gg=&%qCYkROrbD%(>g_Yi>Ut*KBDTY z<5rWW>vU9f<8v5I$fl|GvRklJPP^9oPeyQInyX~RPpA5qL-ExJ^ERf|gJ=D4Xu*Uw zTRLDrPF95Ovh77Hrvj@l73cD$o;j%0GpjfcjlMfLTWiwuoAL&HC#rmqP$?V8OGGjpW1vV$=zU z4^N<1>Sbe!Q-0svvHF>AQA`9X66vy@#-VRhW@0a-umrl#3kkd(|5WP)hIj>O_RP5&g-~;ATf!_hkn1@(eS$_}w?QvC+yyh31 z{hj3K$g=pqolMrRs^p3_Mp1Y#BUF-Mc>n4V_}&ZA;U1_w*gg4E(w`h@L0ZPQ8FH^6ZAa zB@Zv+p4UA-quY1J2Boc9hUz?PQby*q)@V<6-e} z2yEg;)?^%UHmfmL3r8~U`q@E%^e;0?;@3)<(RkVHN3gi61aIhdPMo`<5@&T~*9tBd zn}AAXwvUrANkw{AuC$ZS9f&=49ekYve3ztN?F{2~w8teMp32;;a4;~1i1#HW>d!5$ zTQOQFW2rNLqW%fZjmPf7t?2E-z5HeuQ_sKRVBcH5XWH?jiKo6)V8>mdiBR{|H}UjL z-Q%Q*uEPWZ103Qg0X7m1?oV8Fh1!Hz&yT$fhUap&EyV?s_?k@>x!`_MBjQEGUPS6= zo<3JU>t_f5-0lS1F-f5J@pnQobEp~ENhjtMxe6ZvC%qMCVt2B2y9Pz@ujxpx(fEW;^}KuIunr*i5P&giv5bMxgWbBY%9UC z`Ho>sz-GXFNm}4S*4W%PuiAT8cIt-mY^tgP{k`-WuswyAPiqj7o;S?Cw8RxEBoy>e zr_1Cea|(~hYuOTo=R(9RNNYSHK77Wuu685oW&WDUJyX4l=|>C!Zg&x~pB)D3GQ>`` zTY7SITN^~y{{!e?7R|Gy%9*A}4`0ePkmnb1vH z`R&hft=HdU_p-eklsy>N8~+hBx{2C1!9Fqu$Dva9Iaoj)A>$1TGZC5{otb6Bv%&E_ z-Vqkx(PrR`WYH3~IXkd&nzP^c7bc|-;$Ng}u}x!ehoH*qFVI_}>GuS@?vE1uQ@H84 z!%`|Xw1FLLjgzI#wrS<{BjcWRluvAHir{pDX9>kb0CYB3hndG#7a; zJ0;ZHYd^2saH>&-!+_A17|En_$e~gJ^cQ4CCVpEWriv8ZeB2~<)h{(s?*&#O|Jvj1m%E|)wV~=L3h4k|@{QDk=C}!;uQyIIROdl2ioD5~ zWJ*ASJ5L)Xnz2k_c(}hLLAs^nX4mEC`0WeiHKcM%Y-h^U;L(x(9)$ndG6GSdLtw_8?h_F>X{*CI{IAl!=UP8)$V&pLlkD*|hDIGF6ixfL(I3OXu${v0d&HBlAEpit`X`?eJ(M-5<-?$A!id4=Pi-dd?927AQ3kQIMgEMd6 zO~^m118CboXKwG4HO_?#8$p*8^fYLuj&4})J!2!x7%QsAsM;qKyUjjxVqeK$K*`5X zT&3cQO!aHMEBHQmFLz$y?<%UD6yKtM%C?8Vng@%>N`x~Ii6#c|YM`)S>bPM-Aod0e zjjwfk=xt$Zf+if*bEVei0|ZL6EQV%4LFwjgZSz~@%_O2&9iXua-&S)orK&K_yk=eY z%RqXjbS-fS1?dJX^Rn;X4RgmVM0Z6V8}>fNrcz^|ooqS?IU*=BZtjOlLtQX$(bmlFl;*LzB|x5I`X?pW5Oqs8sUJ z#*%Kanx&La_ns=#@M8E|r<+rxMWWk0&Q(yi>#aNtN*s!ZTPF-}Uy`#P##+F_J=UPB zJa43|qI~TmiG|@MP4RcYIIMHsc@-3te3EF)+St4J7Kggxws|N8QvWzjQDsROSck_jOmC%Ar9E@+v=0z1?7;+0Giqu-3hRAB-;F+ zP8UfGuzk#^5y;&xNFy(iRJ$hau)vSKb{6+#oORU;%1+M<5I`>wTzY=KoMIrRtK3)f z8D|RJ@&vu>IqeZjIO8S-RVn)5vDi50W$YIzfN_bjzqM6tsW(0fsC0yl%q?&KexHLi zq(Ody*R31MvoSK6BR_w-Zl|sOhmJgT=bJ0<*ret4h%!6=0?rB{i~A{xHtYhrm#+G}()@iLE>iXb@R0(C-|Q zD-6vq$B8}W$(o|4(+Dtpxp#;29GaBK3k=Lv#WbE9vai@50Z;@WNWq~p!^ZyD_;7bp zz&NdKfsyAK=wNH$1_-pO!D1DvRWo5*)e#N+RMuyh1p>3p*3A5|O5kv~($GxS9W+`U zy2^9szjw#t1i!u+o*kJ%JuY*p)XCg@1Se7Ogx%#iLnah3&xd$wuY}MC1Y>%rr?jKg z+#7tgm70X|4#A)=wM}d==DblG%ciro6=hYO-LM1Pvf=CZMnR zV8oFLf#o0vf?8OM+sGiM?TXagWl%@F51_<;Kft$4%Yhg7@{01BI}%R z67*NmYW#|D*kLAwMwe0=2g&5(YdKnT-6uaSu%@Q{u9iZ5I&0mM6Zg2+QJ0-qv0xzi zLuoEF+iHO5J%t_IjCo=w>a`rTllTO;7^sEh-uD)e_u3YAu;I0D2_6z^^l51hW%1$ z01|;YL~pW)q%-fL(*n``yuuPEKczo$6M179@W$XO*>>FVK;V+1^gBdQDc$L4;dCXdSsd11 zrBluWYZivBfMHqw+NLMG$X>UZ3vM9P?mQPntdIwkWe{X(B17uU#(TZBu{PuKsTL05 zz}-tJfHpK%>z5MBent-EZ<)q}DEuw~4GA`}km7BcI#Vc|YbyWP8tK6NEBKom$h{Xf zC)ZS$ZS>UQJ9J1ARxWPV)Fl)epiNiDZF?Lw@U&r2uMzVa#|=ywDO0tH;6p@kv_@Ux z0lbs%m~0r#4n!{I-_!XGZeC6~5+9SkG4t8^<0ZI!Ne@kQf1m8vigJ}1V`pUlhK0pIH5I8;(@Iafq`GbBUAJ4W+$Br=Qo!K6)yB4Fj}EiZcL(*CIRyw-w_a%S0* z*=kCK|KuU&N?T#9H0^B*#T9f?>r~$m*mu~-5$#P8Z;I!c&2L6_04&{jKmEz1*c=(T zEe)IEk0r9cWLZXVOsR@7H2OLwa3b9hr!~o5gn!GZYvw1!Y=oy7yuar1o)aRlw*wz- z*FPmGg8B%~_Tfzh#`Z!kK1htHw0`u5WjTN-DE|BWblR7;!6KeXiUVVOqB(X*%I8NP ziSPnNGe%BD!VlXb0iK4HNQfd3zhUos*6;WSLoIbL67Q1~L}=6}OVKNa{0nQ=d*HkG zM zm+Xb0v>`mQ=nLH|(2}UJNme6g@6s%M%f>Ljp(7Npp;p}fdb!iFrq$!1 z87AG@B9HQ#$<|P!@RcNi>{6+=QBZ8B^*O{6Js?O5EF40Y-EbAm2T0TH^Juv`B=fTd zv9h|E&J9!%p5U8xQjF_d>{ujM+ITq7XC; zC5Md0^>HqO52`DEmDC@BTKO-AHXROb2-3-x^h+1y^(3QbIr~usuYD~r@8tAnQ}B6u zs`>lzTCA}JAU4ECUiHT8GJVeBD6mB&-n~q>GxfdIKwVFH+2>jP)YJ+JL!ev+#k zbZ_Nc&2|^bFHh3H0192V=T;P?N~h-Ow9*HuD)SfxlfV=;aDabKDXmBp{bGu}Fu*l~ z+O7r`h-|8X8~@;pv`=Md`5G(I!XWuCnvVPL8Ae2ZeHg7okc-`D&)9f)Au^D*(roVr zi@_dh{`@%AIeDQteMI9qW~P@DqJ9aqrcP#MOBT+8_4b_?@Av#0EbM~{kD!y`pNCRseZ!)O_^$etpH_M`Ip!PXilC4#3mZuYY-BLni(`UsPVsiP%^o< zDSUOPzGg%h!UAxV4)tu^T(3n?cv);2iyccKZVCjHPtO|UWXYV{n0j`)9>4U?J3Kw5 zZo4E|^J8m^E^=e)8wQZde_Zjr)>#Q-omQ@`dbHs2uYYTLDd?Hja}(^q#T@^@qJd}y z^ebrXQx^hs_Dq^m6T83~4?0L|g z1VJ-t#mq$OYc?B-eWaN}@6XKCqN_U_5bX#xflvT7$9GfmGjQ}k3Uo)=R5;y`NJ*`k zTI!i;VI0Ac8i~6&`2A_oz3(SO!Oa9^J$LBDOL+i^NQyEKeXa=+oX#kNsu^!6Sn`hTy3`OR4Ydz9i(1;MA|oF504Ewe zWeBCNPcZz4UtZeP&UEeLJyb29))ju}6LxRL==D)fY*%PeD{kr{HY)me-c}%o4sO8U z4sRA{@(WJQUCwnMQq7CN4pFeHx({k0J&ShQs3k0 zUbm6*1t$fv4W7A#plgHiqOx14KuZr%BWe7X81-uuVrLlYFI3@9n4vZjLzH_xrB`FI zmL-H3YZgzy5eClWL=T=3M2a(Kf{h+Fo|Qj6ywU8_7#oTV#UBRorl~RuQo9_rLAcKg ziRX(K?iKyz0QqI*mTTk+SVt7CR)&6#arqY;rdZjY{qw(FO}iU1F|(vi)76)%*k=6> zT~N|u9fbx$lC|e)4U@y^L@?Ls?pW^;Dx#Os4K&QgtsJ|A3L?xV=se;VzM`d+ z^pn$y1mJkh-JVaLl4DiA0HQn98Jc-(YlK5G`WaWFR77?r2+n8(6m6=4#yXdAIH>BNWD;xOSSDR+szrobdJ2Zp%J7#l_OZqfJi$ejyqm#H@FT>rWgB_# z;?9M%>^WC(NIaxaVD_|QQ*@tz;O|f||AzqhQ!vV>w8_6tNj+-1{&8)`JW~S`yPfz) z-+1DHR?tMgt^G-C`tmh6!?_Ae1{mLp`3hFVNiPMC_f>a#^Oh;OcLIJt0%`!-8QBH-2@re&j03q{1VDyMwxz1FF8sd* zqRxD)T=$$ao^tnCz7^R=z|t2~41H-l9a3~;<675>0SmRO_{8Q>mpx&B<8nOE)=XFJ%fV?7z(_@uRJyrNaD>j zMVi>={J=H>>az$KDS;Y;N|_OA;I}uXBVe^>Y)NcIn}|6if=BTq|G^?u$eG$I6+iAc zjf(5yp^mp)(v@%PNyaF)H}mr;C3AA4ih|u)Cr&nmyKwNNs#~aMil7kD@K1{9{2WOo zw75Zl6#JX#$|4BlfZUmlb?~Q{1Tz5wbNSGjv=j*7Pwi??QUw>Blcg;7VFO9x!WNJ$ zsn0@ynYRs6)*7^UIlqDX0iy#c$atQ^{AqjW zEJ)s1+8EOg^de*jY-M{&EV`L`3NNa+cOpZIWVisiotysAG;zZGk9g|yE0>JxtBhLq|kCA|5PP5+6hEw&WFf#wInVk+NLF0oyYT6Qd z@WDUniBB9VGFtptbDzJQdU|R92-(-4Iy?P3&ur-LibWNMNkLPBEy~`M6Xrdb1`S~j zH*&oHD1LR&;vD-qR1Un%K@ay~XN&8n6qIZ(1M+DdVx&{*1HtQvE6~ZL8A$wZg2Nnn zWJp}w37#E`_IjX&v z0M$Tg1DvTmW4g@!l`=|1a8(3u*$U|Ff%Wxy0H$jeqh;E)9;#S={SYaOVvTm2N+)MvWh<3fim^Ruk;9!g6w+ zSjHAT?n0;a3!95fu8+1Dmygh(O}6cZ~A%_=r~xh!8`CE==d( zQuRY_^ojx03h9b2uzI#qtPt)Ipf$H-i^F3U(@p$Ly_i}%)_ze9!=E*03l5CC;(?>< z`d^-=wV*Y`jpkSdt$awmdq_eBe^LJ=v*`xO>&u!trD4QE`P7|BaY}RBK&)K?X@K=# zC6_sw<}=5u)Lz3)2`%=^=J}rCKGjvnP{=noSseq<@IIZ})fXsDvj#3?z*B1rbBlA7 zaCW}vG~wO;y=t+cLA#q9RHm57VP&H&vMkI0mG?MCPcBn zqHN;do&tGjQFM(oI3;kz%WP4|=JN6gJ&5-C9RdARtSq3Q zDQL<%=?c9jT6G=m7q$<7fGJBL=`EVVY5KDtOh@911JZAnib^QD&%f0=US-rFs3Yar zyjDsW!)(g$Ctn&RazKSGcNMnK1rGoBe0tIrzTZoWrKri?#&$=M0?s6O0fwQ6v8JN@ z62Dh{kz|JM5C&SvO`?ei$)~RoedaG_Y0{5r3i0$IJLa$<@2?nZ04)>-v!$!!GH;ty z-nJM7r}p7{+*sH)t67YQXn546W~{b~$|R=7TKK7YiJ}ar7lJQ;-}_aQ9iNud0w-GJ za6jvqvY7~K400*$K|#SxvN6&Kt-LecFYp_vfP1b;sbg$SA5Cy z=xciQ_x={Z>Zf}sQY3YBnG7?2{%Pys)Og?Tw7Wj!g>Ut8Ig%T|tL*gf`lyr;Y*%;> zs@&sB&P>_;l~Q&QQ1>|H^#dLUnb9(jT^yujAVs^ zbaf#-=raJvHWZyrN@{?5C4j8@)d(Z*igHMl0lj>6^j2eSdciUw-Vv*fQ=+7rDo|Gu z$i6v|%?w2hShh_n22Yxyygc%PB@>L^3%@`YZhi5jw^5JxFki^md!Xi3QK$o;-fO9P3QKGiaaicYUusbz z)eE#SOGNrxq`-q@*heM^HkD~w2hOhnz7(EiHcZMmUSKBAI^N+a-M7;S=TH;jvnf?7F{!M`fD&w;^qy8F zVRCWdWAaz!F*a&$j){u>CX~s;CtX~2i0?nDx5ETunJTezYqd#8x3FO1g`7&;zJ)5e z)5Y2VS*`*QvRtg6sj<7gzAB}5d|eSi21=c122MFXg|M`Aef1K|>xUkUjF1G$5PI3w z@xy);gvh{fe6uELQlui$Li*4D0f#_%zgf85k1hs z{-h}WhThQu|G1|$LE&qY^6C9UXWH+Ky5_t#+oF21x7NAoIk>A5wweZat6dKGpuynb z;VQS?33DfcpTsE3#29w~oh*3=1ZAvmI0fix|2#Is>;VJwn!SvShYj|TZC=14cWrwh zW$oV5SAP*lq+=#lGVEaNj|HBu+t;y`fk!;2-4;*}F4{M@J_MAV^{%T;wd`-zZk!|c zCt~{64s)#?uZcdicC<0LlH0P^_R@#G`C?Nqs@<}Prz83}Vp4s~DP~5bV85{*qJB%h z@NpL@KQEHby&@M4&M)>9f5FtnJL?Q$>%qIq{!Y8H-PKrvl`;Q#`>;RbC;2me zmOpcoYsZEWU!O=Y;upPGvO|)iuzE>pc=Cdn$O1}ltT(fc5!l`3zn1l*W4#$=wdz;pY<)%r}6M*-%XU0SB5|ORv~AJAccfT{Pvrk$V9-hSm@zov7h??hi^!cZ?19 z7n}8V*I6y{_qRo77Y2EFvTdNwv$st8wOi}2>kk4BO=~w*Mcdjv1*l^cv7^bsOuc8U zKn-3}rxMH@?JV3F16&Y9pyHG)wWsg)W@nCr^vW`0JMQlvXaVTVQm-EiU6n%eSbu?8 zF)jz!rXPk3w%@mDB=%ab*MAfP6BTV0~T#zbRD9+p1W* zSy%h0>@;nZCm+hD?F@3gY2%oGfd(qpr1((+jh7Y!%|A6QAOpduDGkxbiZ}l0H zUT)mWCP^(~=V)uqKloEF3>PruV}Fq8f@VGGE1TEpyP!QS5Fr%Ptc$z` z?RQuGhj~(1*;~SRQg7;cvEFvB@X)t(pl}l`ZCl<~?si%C^F+3;V;GEScYojN&vy0_ zxb$+?oH7AkP92;!#}GCK!&v358?WIK33KS~lWu2msv@_OMBq9MkBv@%u7Y$Fi2A$2 z%^B@lyQ?$$oV$0NNx^e)7;7`60#3-i`_au3_361@LweqpOJibi<&c;%Pf%Mw^aDc` zXiH3dP0@BuxzLUXJnLp>CV#T<@C~Qd`kA&S{m38X!bS_-$u;cJ9xXNvlp-}A8+;#6 z?C^MKe;b`8r~dzAJRBP>uA|A1sa>EL=7$E9bxPoEa%Vxe_K^A3yORCMbN?~neT?W% zMHYPS*9cjFH0YJL=`ot7cx@OndIv^eG7k^|l)~j&o2`~W;d#19eoZL+e+XDbn*~B3 znocU?{!H9fnt78ipad_U`-Aa&t(|VZte;E+leKl|w%Kf51nbJ8y^T(ILb?XxrMf!7 zNcB@KBDxpSs6PP6YC9>DaoiIEGBcCmI1~XmlaWp-f5lqekK4Erf8W2tk1`PR_$84_ z&;q?8X;TD;OK*XDNbW(gxoh=o$&uu2_P_58KV(r$d%Zxf_hM1xh@AOxIA1hf+%M?j zA2)RN{PFhYhj+4El%yY~yvb}$6zbv`VzSZrqcZ3gH)3~9B zt{w(>Vc9F_U}g4zq{a>Iv3=|Z_fgaO#$DUpo59l$+iD1_dp6eX{%{;j=O$TKjb)w! z+l-XC*91G8D0EgG4!cL!v@>9%27a2pzTYmn$}FAo3*qR#0z&wy*VQh3S~u%m-I$Gg ze>*H!@S$lBJ3pb7sy*)fc(vVv2m~4W`H7WF{@`q*4G7!yfM;MC) z>rG-Sfi54l5|9%@WL1w(nN{u;P~BHM*G86B$nl+f?;rcY>|J~9#ek;65T-cx#`V+< ziZUGQp>7+eG>ix;7AvqP!HoP^^#~L%e_7Tx?up?ky5GZ*OnD-r!Es1%p%0NWtWyfTvPwf3e=* zeEN+pHZTaf3bt1*9xUm8ArvQ6;`Z$pzubKE)>=g-!%s#zkzh}>}c-+~I@u`ph3-k+B#FTo0yVlI;?^;wzH9w{Ybu1mte zu3LuxZN47s&b+?lm82rM;z7hFe`zk2)H9ncUgVZyW7;3rh~n0vXbs0x`zs}(r!$EP zsdV<&ls_oJrHF{Vsn45Yv|`}&@*BPv)e|8|JFhQv( zb6dv>LP5)-tz#E=4Jh;C2@ZOumr|Xikkskfo0JX%XzXlk6*CKJrg^Z0J`mt9;Pqpg z*FuV?yxyhGM8s<<%#yHs{3OhZfeU|)kHS4vc)W3)DZ2oA#@MK__X*5!l`A1r8n#!) z+bdpQI?XX;4>rz990oY?e@a~sY>|MIhQYs_(IKWHA!m$gaPcG7oAxpczzkI}4DzDp zKn9Ytar!R7AsBd}BgIK*%rvs!`i7Z}yf49BiXMF%ZR*k6{F4X#UHa=sk?;hQVTjOjpWpiu@qPDF| zG9iibJ*Jul)#kfdA6+766I7Vhk%yFZ%*&kLw9TE*Y7Zd;e{RAW9b`7fwFeA3AsJ34 zyuP5iFzu)-pga@Z*>PwWsOtsx(_fDKzm z(3_!um8>OEf3Q{Z(s99aCq`q1$S0Q5Z~hoP=CsHoX;X&C-w{7 zyN!NVkdl<(F)Zb+DUUiu0x64armJNn7$rXK20(R68RO|axcQeIzj!uShh2&VC0jXlM3gRS-$65i4XU=8AYBX&18njw4~~ zpU{8kJgg!GD+c*^97UeJTWVOPbEM-cb+b9Hhk7iZ;Y#3?5Pt>O-X+yQ68gbFAQI^m$PGnMrbbdERm4i`Qg zw%&(A`;6LSC5z{m41APWA$AO~^9w<&R@IG<9Ryc|Q5IJq!u>;m1?+>zAnZMMTb*uP zdksQ$zS(x2>3tQs0Y|$wZs4It&xfrKX1}jolN0W>p@4n=r=@n+7d+2AO>fpMLXB+~ ze`|eP=0#@X1BYGWN@8RBbyt7!#pbys0+U}Cs^$y}c8G>;Y876BW1^Avp*Xz@CxHhzvfd(7Y?B((d^6ok>` ztibs+nzb>Z36WSNkW$l%_Zh>5s^ux#e=n$Z#$S1$M$}CRF>7Dy+kpav*wX2SWmakM zV$s#dhhTh;*7!_fb?p3ltR~TNWL}boJK;AahERV*923_zz?Gk}BZ~*{xNmJh22ySC zsP3%26xrKT;En>L0gnYq))N@vr<&65$(vxtWb9qQ*4Ky_%fba2cv?+)Y$d#6e@f6l zR4;tujiJ9oss{snE3h~3)5oD8{8SS8Jy|nRG{3Y1a9*@5uFWmcut;T_4c!g;*Kg^L5JQSehrwVEs;6g|4+pPoOd4T@jHml&XAzov%fY4i; z-e4pmtTiur+7n7h<8yWy)X8NDf5!+yoeLb9{`13l4e3S^DW_%*y8y%B`odTfjI(>~ z%)UK^;2YO@*R^}sa%KShU(n9H(=Ox7|Y;CWcu{ZKY_ICF!S(*j=Cd9=YkxnaCe^w^HDhPyj zy7O1WLsvEZodMUsas0r-&Wx8dFnJDP2>Y>)ozGLC=gLHIl%)$9UWIDIsq#=wE^M*H zVXy7_SvdnQJRz2VNMmRJHnC3L2~hNsqndwD-g(M`UtL^$zQX+KxpL|E^uKx7llwDo zVp4U$#Y*Gf2_WoK(mq|m3ol9g_V(t#_e#qzlX2V=0y8m_;W!fmI5;$u(GVzqrCCdp z_16YgC{-5ENBcESlb|3fE#DHOP(^8$MYIhqk|?w2=sBRoLM6$(O4T0k?&ee- zM&DJ1t|>27q06_->Ct3=7BqHe7Ke^)qN-cGA!DMhrK>SEy7l$daVJfhuK4@Beud$R1aN0D3on>ToAHc2^oX&rl8P_rF+_!8WyNRr*W=}Szk0S^Jt>qaN?9Ejuz33Q7TAG*TUcH47T8h27Q8$? zk~8Aj+F|P5ksqGf1Gg^@9seKDYma;_)~t;*&sCDnR=5?#rqmH~x>V(QHW;;k%wgB} zE&IPoHTZubH!ZppbtQCx08{6>ZR_@o4ogTPqhS;%OJy_t77D;tHc!@Qg{!q4nr#+G z?s^;duyu`D+KkMt6JQn_pp>>=VXVlPP2Vgwz!n zuPCrkxyiP!0`N~z#&C~TpJ_ymxDp{mhkB*M4N#OSwbt(y64@yLUY$l@abQ4nmSCt-X=>kEbQ1x8RyevA-M}3CCA2QyI=od2 znxBIZnl1sA4NwDcfpLu7W*Y<_MG?uAN`WuFJcchB7%%Xq+~=X{kKmL|J+6Xm0*;&8 zI~xhwAx+4?V1`9J&p5h6@2bH8R6b^~;nPYq8wEi};tZ)naNh{dR zj{yFI`_JTm+Jk%jJ~Igew_>+vlvqTNUxf_aCQ6(1t0VJ=prNlU>SI7-nTm_zmBJog z#iUxo)X@!xh5kTrJ0Npf$2;RAo5U{(UZD4@ljVpn*1}!z)zj$OKs;k@X^Ofj_$<&A zfLws&g5@>J0EtXvjzEZLztrxNL^B`We(0<5(gEs!wQk^^_wX0P@0TN-1i1GU&XNdl z3lDR2y>viuKKIoXjOWZ9P1T;K>P#B6)A?mcgcM{dQ;Uv z^zUqcl^m8iylX?zw*U$_g9Z|wdaUUtfOs6Mu^L})`xJm+2muaIojML9KH6%xk8%GzYj&;zQ8m6>DQv74S77g`C9wc;FT%;47E_I$o+5;h2m zI08l(5P+6M?@#;=PT;8yf|Zb>97z#Js4@l?qhAsJ0bB`QOG@Us@K3~kYQ`F@hkH1G z5pE_y1Yl$8jJreTTk(urL*Dwr7y=y_C8foC%p-oA8tIx%iipIVu3%qDR39h<=RH%} zlOILLglVe-@FFo}!c#pGAOU6~uEhnLHjYh$;|3FP9O@v--A3;9VS00W2|)G27KgE) z4naeJT&`GIB?<8PQqO=HOMVb@ogvPDDQ@(na~KmRoduyznRq}@z^f)y;7crkipF}& z-9gKMewORw!G3B|euSe9jhp&PZTVyyFII9=5KI#~KL<Ej+lxU7G z5&ffELdGXFQ`h4i7dhdng`>L~xgxg@6&)`1hfDM53Sry94;TdaO2eIpYIMNFUU+Ws zJldv8$1{A)ImGsMAXzN8H6d7!vMk)jizvcmV8w8G=$8!hxmLh+@BFD{Q|FA+a2<#m zt7u#|)ic>Fc9S{KIQ(V6l#)n)_ynoNpgVLth4fg>sTz)rGQ?)V`wiTx{eSCM#!R&v zYA+nU9l`|ks8x9@^AtF<0+QIp=bU;O5bB>s7a_nImOO+iO$TOO%$4!wZt8iKl+Iwt z^?gTmkc?%2ii@)D<3@0CEz}zLt}T=3XLnw@A%Q+qn1w zqu2U;@n?p|8>9(TZm~W|fX0A%47k&gAA1M022qty9V}z?<~^jO9E<`Ar`f=O*Ch2} zl@t)g_O(-@G{IH&Dnz1U$+x`G~m+C0WwVPH9Xeui{t5UnIJrNkc+N@?k>Qzz3Z{%gCob?0h{ z+c>G_ecajer)}<27AjdPn=RUS5&boktCvbI{89(t0MT8q7@-9{&2|(o3EB=c2(GX5 zyP9x&eBkZU~S#$-SQ_as(4$OTu2`v&wrW^l%v!C84!kJOAN$yIr zcS(GB-Mwi=}e2!Z_lzZhO{-eqQGGDyPM7LaJp}Yus(fL# zf1o`;vIHC;+X7*I!poxX7(jfv&6zp2>QGq)=$bag+X5%WCRpNHHzJ)^hfb}SU;GoT z1+71)h}n-K%fMX#n2$a%Kv)>)N_nok@l;>?#a{eKBvbN#DCRzjHTay!b4YtS2mLMC z=&5Rkp!vbE(yuW;$&U{eg<6wQjs8WVnva49aGt)AUMbf~=^s-}2)XYh5Q?Y!8d2u8TYwr#d)y2!|>#J!&wU(lp4E&-&`N+;!?GgLf{1$uFr2^pdv zcr`y*%><7XRG@-<-E1EnxDkK%U!k{B(+DQM$=tLvcIsS`vD0hf>peJmpe0CRLXkR>isSq1 zy9+?1NW+SgX>a->f&jSK{p~jtPgaw7^7BdTpTD0_c*YYtp_CFu#YA&On3R+G=H%vM zJXyfvn@LP`swa1L>t@0=BeBphE++3!{&jMGeRBGL65dmiDyAma%bplhB%NF@CO6Sp zv8w94U2mo{p74khKK*$8=JX|12j6L!7AX+6pS;h_mnlmk1D|jnRZDz|=%UWrb=9|od3+SDe1A4^CQC*uRzfYt%P zHz5)vq1}c&K!Fp%JInd#RP;BuPtrql6dcvz*Va1|fRKSuNr%w006!GmhL89epreSE z{f5Tb*S5|#W~5vhPc#4@Q)d-g5&=QQS%r5Udek6br&P()E#gBg;*jkgO7tO?aR5Aj zP7*Bw*bOullazG;{}iAih+xT6sIZ>Oj4B;H$A@wcy?=yGfS?BM6*z)D$|y)o1JF57 z_@Da{D4p?vFa31fOr#=0@S&NoA25@#6RO?`XEKUEhD;v zq&FTg&!OKQn&&br8WVsK@+y^VV0({$LYN8yED@i0At03o7l^)B>lBCJ7*ch_Arvy)(ipNu`r(@UW0Z<3-dK^=k0GLBe z#q(oXaER%$szdgsA*m*#SUaFHh_%bQ+JsFbQ6onl5J?D+JJV^a5F?z(SdI*TU?>h$ zN7T9wP2p5JtmV{E6$na%?4??UG(aJXiU04iX=ql0Fwue9 zu1$FywHRXII0oyZF&NSwPt*T@J|x3KBVCti8 zLI)9Ac{ z@9g5P@w*RDz*neU{Cwkoi2H+^-ECd%+PuU|3Qz5?Tzk%!sgzMx z=b1aTackLjTij0*Zsidyx-_2Rt_jJr@F*A6c7Nw!++9s~h#DP#0&7-dZuh>I#HcgR znt8S`3pcYju&wQ7>=ZCpSDCxwAR|Ae>4BvKmrO!I?5*bY!jx^kywA%O5Q6&tvO;@{ zEYtA%y8Mz&;T`#Gn=xTEBupWdCj0xYWou9r#k}A!$jiLVvm*Z^YxAmfb5%GYLQL&T zfph36;(Y@WEIy!r#OGZt;5-s&*Je}o`Yetds1l+Q{ipX#GT1XcxW(!Tq64V3cL0zF zoZU-ym!rE{#HY?nbX2(sZ$IFS3l~3_NJ$)z`pV9(8a#)~s4C6CEF~Bt7pqwnC$i$CJJgL$N3yUhKPY0V>$(shD|QE)^3B< zAr34r1It6R!;frCz%6cmpP^@;EgiFU)RES$V`Ar-f@JCfG-e`UJeBT#Z;*-QzW08} z1>#F}^vXbzL-ACCtpJ2#);Tki6q8^BC)RGosvM_(Od9(B{ zK2?B?Sr5qSY!1rLn-*Nc&O?^ldQ5GQ^WWM3M)0|--JmwjuCVoj-t&mlxs7a^_6K=( z>-$iDv5K{L-y4SD1L@SkKua%EJ3& z4!DPsnuMd3{;|93XTGc`7Xg`6OvJ&h!ee)IDG~jDJi*2{g}(RuFW1Yeb%Jj(uK=@w zf(IHGE);X!jAHf%kTa6*o0)fJiB;v?G{MGy>0xaH4FX<*xNPk*b+>zR1NBK9y&zbp zq|upwzQke?3=$$)=4Pz&aB%LoTtO3n#VHCxe51_|tw%ru*57ixE`e*8d?ihz%PBgg z{n@%1EZ2OgHj^xle#OP6``{O-@8@=ZxyZ2wYeIUXn(*!h;LOKyKoe&Nws>A-4LTHm z6f)6UjBrq9{R4vC+U8g&NB;1OR&HGV&F^|=@+M!oG3LCBMME$RJ)h20l0-l6YJ}tq zCPIyg5cdI`;I2*ExY$tV%hr>>eEZ_P+oPaWdKRk2w_DFT6i{KF!VP;==?r4bnSVN^Tf@wMFjxY6=YGj5+h;9!btwsA(R;uCZ~W905dMRv zpdo#WPA@~<^Ozp!{y8>Wz!I*OS#jUEut!<+0ySncnKc7jhufvj)lqnG%kf_h7hkiD zt$YGi1@P5JgEJKI#g%i=7u9BqShQWe_~HuHx8bt~jyk6k~NlyrR@=)BFDo4{Gyg@`|{+@KsjZ48`R>rS-IL}E7Nz#Z>}y~H!Q)UURBtO zNDYM=Yy!R&^WoUs*3MRN5p0Er{`>?BlC*A#!cRm!dG<{fq(|p<#&DP8t zQq`+tZSoM5y*0|?pj>8k-x7cm-8Zd)@=powMa7X9RWll0WnO&>YI=}ThyFSRMkrT@ zQZ`;pkYc{s5wqBxX3OSu-kkc#0D>!?j3R4YeKPa*v;ZF0`1$D?SR(6oQ#>WLQfR$n z4q#$_(TSs(2EV+xKKTy>uX};Klh|834l)WaOl59obZ8(lGc-Aq(GVzq#ac~s+eQ+- z^H&zPD7VQsQXWTXxE2IaS$Jbf8JZVwNPlBos&a_4^v2EKnjuSfsrN)_`DR z=5+S(b8ReBVDk$ewR?#amiWq}c6maPj#ek1uB1K8D#fKC}J7QLrf`YJh7=p3^ zLsrg^OzH5DwU`%TPPv4CAu2C7lkzSpo0U&yoG8i#U_B4V**5s%FngBFlLP}1>49%c^f}#%AAQ>@tgjU{vBxnL#K;eYPlQAkA zXlrRiFjbCDWfCJLm7%D?T3PfrK>?8?4|!|{;bsDIF*sok=Lmwh;c+7;SR&*RiD{C7 zF<`m`BZ%n|9&dDpP03*D3>+Cs8!J$;^v|$0R7^ zr<~*>V8di__+esfHNld}8S(P0lK1ixF0i_iU4TD^(aDK_D$Z5$_v&4xiWlnHx}4Or zYN_eD`tG~YvzNbyMF(9%3B0yv*oNV)!D3^Pxn2t!SUm~T$Iatyt>&!aI@!W+dlp4 zv-A1v!&NG4$AEY1+m6Z04_M`G zRn_Y~kMP|}=d<#UQdPgHA6M9hYF(Gha;;wOnZWLy;Nc7xa3Z7Ls^V-`U&`YrC!^xs z&Bsy|Z^j?WQSn0s6_)iH5h;SB;%&LEu2&OG=W=_0=XE)qjlZw{R2L$G(9;YWPL6cS zmm|!x!UPD?R{C_gge}ws*rZt*zTXVo4z?X!JNR}8?GW1`HN)j-3vDy)s5rlVUpL=h z&6fWe72j8@X}M}}nakoI#mnM{3u?ZIB9mHOfMaw(%-a;SkToT%12hBUYL^n^PSxXa zbzB&K!D%6KpLGNQ*=T`^9!0@NM8RHzRk1wl2sUPe?^%*1;r?zE55xSpP;Am*LP_H7 zcb9cAem|D4VHOVB8st^$wGgvlW1sh9v0uSaOwb8o#`x|83wa$=eAH9y@lC>+bxz_b z*cK}lh}AL1eI~JA!&Nu|igARwlH{ZPJwr*I@~NJ>wqBdP_CS*H;8W7*oG z4n6ruHuKX29YdOpAG6{S|x1|3i<43Tvlwc}y3?1Rqvp6nS?MWfvrn9JKu zUP1Nb-R2r~m~SZ^j}&iK)#SW{)sSmmoT=hn`DcBf*6$^u;O{4)U=K<{zD*{+)iJbx zDJirmDez&52DMtpHEe?Eq{qlfdncVm0+FGLl|UxD(={fjmh?YgzdFQ0w^6XeCL@D7 zNp~pi**h&=0Sa)$OzKDRYP_0U9S?_f9#kq$C)$T5<1k8L2WmBm`*EC4u2$u2S+0(V z1HMcziP>SJdfP^ba=9 zw@U+TX-b24e_OQO{oqkJqMjZkYn;y350dp1waxsvEMPJi*Mjkx9>?oK)COBJMD}w@ z(Bv~agdMg#wd3(yk>ByoK5y=SdVklmkzF%Ch@2;SHW|9_+WD}?H@A55QTtd%LY3n_ zi>lX1GD8QMQC>JB1^Pe_KM+EOhe^?kUVz1W8V`0&&@t_XQ2zINysIOClgUBi&|teK zdlwZh4HR}E?F`MG!jhi@=;KjgmLx8RxPi6z@k`TYZ(wwSXN&$jLDCI>fUUrggH!t; zlAanF^dK_iVD*sDkb_=9B}9v=KH z5Lgts9z~OrGi-UwD21oI>yvnkdl~JRNTk`4l9$C#Jjz+{3d^}In9c4!859sZ2!we! zfo#j(ae};@9wh8+X!fu#%(t?5Pi*(q+gqJ^hcCKZuoeGzvHjF|whzk$&IiUbAGaPr z@8YC(woRH*;=Kzt!g>-O{j2^Id=G zoZiR_czYPPx3BrOe8HImeZg*OM!TsQ?S|{^hU?vi>o*742P;4id2*?I#FpeBoJT~4oy@o(#5vMxTZs^76*F_$+9B2!#di&9_Ji}?|(YDnjl znwG(GYIGs8-wyl#0EX>n`jc_o6Bso#ATS_rVrn2fJPI#NWo~D5XdpB-F(8xC5Ga3r zQcZ8$FbuutSLi4MwJOQ_^05upEkiI2sfQiX9^6=Q1UPmeD+9V;Kgo28We9c=sYmgV zd=y13qUiI2{$n4j#r+dgs3fK03RQc=7$b@aq`4xhWT0xRU<%KMW zHXP+qkWxyBE$d^(4Sw^kX=4jTQQ#lF`;{>3M;9`#@jKw(y&cCp@L6dTxmJHLXOf80 zL>n97GyPWI)cI!=vk(G5?^2;dRI|UWrZ%Kt@-j$uNG&RZH>>9*cn?`o;;tRM3x^{> z>q(owJ=g90{Dn%IQXbaPV|M^nnb!CmVrJa|GO0b$CkDH>)8=d+#pc-F(z&G3m;cpS zL2P43TYDH6BwY1laN!(g)%Qe$Pfpb29X68X@f>)l0*uDa>)gW9}Ze%^yceN)#4BT!`Fh7aoiIEH#xJdcGqPBI5C&N z5djpln%qDM0XUbx5djvn@#U`y12H%?v!n1DApsilQpG`_AuS6qYY-iVMs}Z9DoK+=C(G%22Mau0GpE;K+eeNBhCT9NKemy0YeH9 z1KI!`K8(fyLwA4-(8)mA-44hApfLCg$lE$P(HI&yewcwarsg(4%8w8sTRV3Lb5k>? zKRK9aX#QmS6D>#!kTfu|v~_i~GzS>i7y~3}WoQAiwyqzfIe@~}24Dy@Gq5rN*qQ*8 zf$9JiB@sm>fS973io6mf?MGsNC1*Q3TZeyZ5mHiC5u*kO3&<*q0D!9005KIM00v~dLf2@^ zX5jc&thBtmG{D-x+{OuLV_;+S;pk-GZ9i6~ZRO!<;QGIRJ7!?x?D*{;z4`BD8`;`8nmal<{wpI8U}A0s{G;CS&z_mv z{Kd%#$V!NcC@IrOe+-@tjg0L_cWh{#+?@XM{*zBYSeg^SPR|Np;9v&Oe+;RJjj@oe zwe^Q;N0>kD6E^?olasB3JKcW|wWW=%tBuG1kS69f#wLGyZtQG-N2g+AZto0~5dOF8 z2L0HB+Z8Qq^kf6d7sn&A)q(Ev{mJ6k(|iGh_P(9_%m`0)kf;b`Cj z1UNZ313f+dY4~ph!@veGHaBwm81au|0`pgP2^$kz0LQ=R4<-L+`uFBj{B=YrKhCGI zt&NpCz!+!(Lnmv0>+~@S6#xI6u>Ywg>TG2tYhVqe_^*Ecuakkbxt05Wx&4oa8t{)$ zivN#Tb4O8gH=wb+xs#FEzk2#FUc$-XW8ejBOs#+)`|%g0^5+a$eGKczg=7Bbz5>uN zFth%T?PCs&ENy^}jsSM1zf8c74*ZYYkGB623!sw~5S3AX75Vz#v+|dZh>el0vAK;Y zfRTk2VBp|j;0{CoF#wD#EC3INk0~|=y8SgF06JP5Tc?i@fSt3GC&0wk0p`yxva$f^ z1pZL}LTms!p}!FafKKE;h>adVC;B&H0?33FCi21^^xKAMm53$$ucr zM@bWNmw(zn7}I~i4;5zrfFJEL{|EfgVf7FAA;kJ`$nYV=<{$7wi0ywM^M|jk%|8k= zd8pF@FU{y zc$SZ}PG%0kztymOly`Eq{YSt@|DFEk%E`wRZ}c+3B} z)Bn1(=>MMge?RR0!b(mKww6FObK{Q({Xbk}44fRy-L&XGZXAXW{^Rw3zjXeq0O{YC zas1A5+D^#>()q048S7|B5yG*K_Bu+wS9F{vZBx=>vd3H=q&B z(!8w^SAa!wL(mT|k^IS02vQE(lX7%kb;(%prL@UkIGDmYTSP#<0^cT|bg}|lX>m>+ zuS8#)B6ZRLG^@9@=7gUUH^vJ5+Xh}TUO4c7A_61Xs_yCoWBO#7o9gmTW*ljqAlWibQ?~ka_ z5eD4?OH?!Zc|qtSl8|;?9Vj~>5ruqDq_xvqSauCK=a#bqoq=2>7m%M0nFisY(J`QZ zNed5CEBHi+g>l>cpidJiBPraHUpe+5nQEB{Jn*;EoEj&F+0v|tWA?i(q%tB@Y)O-T zK$+E1jJ>NveG!m+{?QEYOr`BDdu~&)WF|B0Sv5))R=pl8d%o_3AbiVyc_0AH1`Q1a zzHt$t{0i=~=i7N^V>f2kmAA%)ZP4U@ZrX%#>xS3b2Bf6-91I?8r@oMEv%ma2#4O{{MSsrq*0m_l|diz<#IY>Ve@hD7ib5g5x>Mi3RF&Xv+p zscl55G1@CInK&zASB3cY+PPc+{JGBEQi~I&>*6qUR#DuTFH+eQlF6;K@o12L9u0@| z^5o;64&k(fyZ2MxfET$X2T9$So<;Tg__i?!Oo0%@!T}L>3AWA*vz<09S5filQ#PRb z0>ATwW#oQ-$V~E);8O^!+-E}b$T_pk+Q}q=PW9bD8%CL$Z8u~X)l*aqLsxChrm%xn zElW(auy1jo2S5y`0{2<^C~r!C2y&(|auNo~hkmToIpNQ!pBr5zRS^eD?#}Dosfi_` zJ(a|UTl1Dh(-J+dI+zZ&!R67(!O^AcjY*IfeTwyQOgcg9&WiN~uAI!oPC#yt)r2pP z{BF>>_I&Se&CntUrCQY|zMh8vr~~@~h3BjzQ1!4TIk|bwiMzKQ)qXI4-Vfj=adL2k zUeFCJ;hC|@&Cz5VntHn5{3(9LNkkF)NQYLD!BkSaE#xX!kkr>PztqJTg?=wCV-z#C z9F?01W!=4#S=ptem|BS-m}?VSGm}{D5ADxPVJqrpLbDqDX1_eBg>#fBIyMmUX2=cS z9d3&Zb%7(Tq1wz(GxjxqkL3u25^smK2`uEzl3|*ZoflF0wZGEklYZ30Dw1V@kf~l! zP9o8M0G3DC#i3mDT%^r2F@wFQWK^{6Wk;fW^|hP|!vk3`%0}N?d(E;Ktp5)o6NQs@%3Hu0ss2 z`Utdd4KsSN-(5d_A{b;p2;kGA(Xsu79}f+^RFofHn~_6RqY+Nq3RZ;h+g+3Eb=1@? zadGU$B*go=&j?f1@N5g^B*>nSz!75-c4G#besbzqY!6|Ej~cDC>9yAnxZo=V)q? zZjF=|Oi$4xKF%5X+%Q^K_^osN$NiT?A`)Mm@$q`5wPQ6H(oD-2w1)dp26lmf1}63An^m@?QM5hZYrje`oI zIu4+$f%9R1ZKbIR*lL8H7MLATZA9Z*X`{pg=-aUR{B|0m*LWCjyO*(E*RrGbMOKHX z+eFz^(adv)zuN2y1bO#5tra`XKCB+Vpq>Jpm z1#-l11Efu8Q|Pva#UX_+9poMiO&wo@oYh3z?t3DC1AL0HvnNt+9_8^S%wHDmR5k6D z3wYGs!O8hqi2Pc=Jo^L^jleZ^&NfJzrVa{cC2w-)l$K%Hgz*boxn4jlCNBw-qJP>i zss&$l*@&*xE9V^q0MD3q2NTW8dOku4}O%r87QY(lt1=5la_T8v_ zi*UPt^{PO7JKg7*EK-@1;*~$MmM%WJj~eF4*qICi^eN|*?QLG!*yyKm2IC|`YCZTW zI_UE#fO-(zvhG}0mmrW{F&P|cv)L4NpnCQJ@*(OuwepL1!7>VZPak=*DJl&Lo#8Q| z9d4{V*kItU>ml^_9ZbtDjJ)eriRdZC&WTBX6B>r#;4Y{MbD|-O`Nhd@2)dhMYjfYd@X~ zj%a%YwO}N~#LY%Y$H5olHo7 z;5jv-zA)6a7V{6!+AX#$xIm#;@Al*FRVQ-Be1Q_{5e5YaE_G+1R;5L~>v zDbZf|ZRVl#_2mF=l9AY7e(K0V+#9>fHTnt@ri)=c){AEK`x}e} zlcQB(PI0k3aa;Q94lCOC*``6-HtOQqt`rU8ZaQ#Ybe2BChigCz)4Z6<2 za?J}8sAZch#z!zpOP>c1jAX2NreKwX7zmt)MUBtvR{>el+#ZH|N-^xFWn!OO$me5@MK=sZ?YW0l3%cg9X$$tikya8?3F^?~(7=6rTCAZIXR|-YRV*69tQw zQ~QgWDPxiL05d?$zbzocPBVhV@*z-PjiZFJcrTYZ7>uCL;yfOq=Dc7JW0XM5BGIY6 zOA=Q`7RgNj)$mqcU~hR=LyXgb^dfV4{tI~n!$okM=vj}TH(zPP*}V1Y61KwEXSLbh z*o!ND4w-w5Q=^?~>1ew3g+yzOf7zR5KyOWDVMlp+)gVZOIb=lvIL!6_g*vKwNiK^) zlsYOqo>&lD?Ntszm%MT9z1$6$%-Q{?B*EFBKWe(;q?Zl}o5Z2bRFMp04FzjRz96&C zBL)HmmTzLs9pUmTg^$YVjjHw(K{88*iv6R*Kh3aGg1FRf)Qg&jTOi+(f2<^feYsb2 zfheQ+q=XrMv5?o`&Y6 z;lB3sxa#_3LD+K*7aUdDe+l)@k^5@(HJPxJ4#_|sW}M|BdcMj_8@aGL8P7U%f5v06)WEsJ7x2@6 zz8ScnrOJ_bkIOeeRZx+g>F~KHNs&mL2=&2D_ zTJhbxoVr^S8K<0R5swkFC89@Flfe><^nf+l?yoFkZ-iahNxR{{1ow!5%aE{ zbzcvz0+Z5dfjP5cw#mY9B%{nfAje<|FQy99(@+A(t^rmj02`Zz7%@TdbE!t1`mP5f z_|vX6TI~-)rYy?n+UnyBHk;sD(NR#ul?`2n3cxInc5&7@e~*MywRsIx@X7_FU3l8W zo0<}Wn2q90_+v}j%y1um~i z5x?53d}q=E+uuRb$?8;Sn$29_mKmdmRA?=EU=!VoR5^7>8WQ~0e<)#BHYrcOeYj!8D>X5*2;J`O z+K%wQx=maw6pbkDZj92zioa@L``cOW0xw5^4cJWT-w}rL9G~BG?dk~R z`vu@`e|kDvJcR>6zb&6bD|;edot0-?{c`_HJL10BX38e>g_{J(TC+Bf-Exm)XFx** ztYA14kpg!}q9b$=MOag0ehPX1ugQfX9LRa5(EQ)u^9nFjJ7h^hF%l7U>`;vCEm?;Y!pWOn6H=mRBTD3g1jPZt_ z?EaZ=53zV*8q#am(zR}g_4y`}+#lI|mRIapf2l$REH`kA+$K+o(T$5e$*tWd3dApn zfA31s_NL@oeFrOV!(|{x$gj;7_s3i5qPy?>vO^Mv|CQoShKiGYiucVH_%8$58%SV# zab){$MYGD75v%DLqk1VW-AsVfTDo&$V$PxiLdD*(F>JJms8WsLP&E8E_#^|>wW6*2 z(jB9I=H4~`xA!3aZ^3-Sa3J?=EBnFQe?WeT$Ylj+% z9Zw_NmWg_u%nK6frNGmB1})+kkRu}k8&!qb>H!^P2=;*U5Ou2&i1)rw{G;s8ii|@= z9ui&jNzKHq0sAn+!7^!Zk{}hNQM|Pbm<}Q`-_!lcRoU?=jjy-Y!Ne>=4J;8=td(LDSI&R4$eBPiYOS3DX5+;RZpp^ve*m%FsY9q6R3%2SALLn&d3xL?bC5^_keeO7 z>t^9zb?0c?q!3GIHEmQ4HXs{Qe{$KlVuQ$A^!=;IycESGQnvRPvRZ1VW^bg3bic7} zjH~l4a6;%V=5uCNNaJ@%nkkDrvLsalb(P8lk9TUM`KV^>FJW^Y$#b{~uc1P}C+0e>MvX%dYd{ z0I&V#%smj%BtX*&)}Vpb732gX(|ndqv|5x%C*&*l3-{7k_#R8G!Y{Zvh#QZ~)v?5E z4w~P&!8LOF&exfJo9l+WxNBzU;>MMhnY@LM`M@M&l16D%8+1uKNCBu*-0w}wmM7Zt)LnGEQ>jWq~Ts4$`v~hng_t_$<%1C}Ut;&{K64vTo=u!-E z+v9Eec3}OWZy?g!IjgyIUcfIRbgS5m`P~se)^DIccaHkWB_#!Me_|%jPU*AHSx(rA zSda>iGiv2JIvttmgcm;f2+HF6Pk7QugWBE;_JBD$eM>mYW^{YjT%&Nb*~VX*F^!f4}a2CryjJMA)9?>Mpdo0R420%&XN@-t~F0 zkw_pdgCMG%3I6LE-r6(wR=#!CWJZ8aH)s7N-Hl!E>A|f47t%}GXN93483#L*hD!HH z?%8oOi~g>7kMUvR>=>_sk`qqQ1#oEM#?Q0rb2u&o431>%e-K@OSZYcB$E{~Sm$IE} zn;gi^J=n-Vx62k~dOZgi9}l&@Q6kJ|`?dY>x1@A6O*`=hDC;2_$W)}Odfv}8jFPJ^ z;tC_oDxj(f1m+E{YNeLTwQf7N)#Getm~vL0HoW9T<=S_Mu;QidKJ*17jRWbNcjqn zS8hwkmI;^5-DymF*3E;^EnxosCSKU1iR3 z!R4BiNXnu>LFam{Sf)o%94CMzzE|^>{Jj!Vdry9r+C6S0+hyH|LG5?O^wT?imC&w? zx_*ule-W?@|&AQ z!zR*eHjsi}z_gDL=DJWlb_(PNh$@w4X;0=}zQhZChV6;#dM4@4ordZZj4?UG9D%Z{ zS|PpKmViFpDX#20z!E^b?L#~wzKK&}?RM(hbCu&SJ2Wy*4!ldAUe^N^=+qX@jNGS; ze|cI>;#2X(UZy#%ZNWh$x$;qDEdP>+54G9H{W(4SD1YPeGn7Rh*O+Z-E!(pI+nk;Y zR0x(2Rp-f?XiVU*p4`{z`CLXyk8*<*rhbm!!P!`HygU(sXg zZKjI<4!bm9FFkPsumf7d<>$qr`{rgb{0B#W2Qkf1pH+(;`g0~|Og z2}!12ptGJeG7_d}(E`c=9hnwX_xFx9I6VB0rILhOPztcjBwNT`f=ai z5ff#;wY^fw@?gTyCVg@mECA2lR+d8O+%RC&n7Klv|KZ+kmVg?T~c&=RU<))?!OQRa55&3b~j}r3=%ApWL)2HSR zW`momsQ0s8^tWxy>{1bk*{|S_vU8UcdWPcLhP*VrVGm@``6zI;^^r!`(d7ba$hq9 zdrApUx-gomz^k~-Vk+z;?4B-v6=c{GSi-w&$l>OSGE=+I1p>+_v&vjYf8p!7Rvuqm zzF}5No$$fR(8YD4Qk2Ii4BeJ8OAT9{AU1N0G$XcZB*2#Q?~%=I4iq@GU|m-Zg^c03 zRF!spAD(C7g9PGaYC(6o`OnBYEG6Ec$^CZa^vt4s6WuZ1104ex{~~foDK)?__|BS@sM zgwtu478Ac@Nez}4U#C+!Ij#(4__eBf*N#2X)O4Ae`pq29)_CUQU&T%QAc`z1}${#*n& z5J;vwj3!5goaGGL-J~nHJI0y?G{*jB1;S6sI;k%7;WnwVfAe6MT>#SU5M}1M5TuFu zR^mt8SH<+ny0i0LQ<;eHLTff;$nS7?8(Lqq7_u91y`n2QM9jBmGC#Y~Q-t=mi-McK zlK|mkqffC=NN}3exjr$b6Zx=+(!+tS=}6b`8+VDUyvz7tIUHMsgKK8|$e{meEwqOk zF}I*Bz{SRSe>xD>Ii8An78NPgcFy|iOz>51MHHTe4%FymrwTO)amVKw9Yw9M$|;DC zSM4FDS%oD`EpPT$0;miaA&8bG5t=WvG_&N_6z0e8HoHKg8Mu21*yFtRZ@;k8-_)N> zZmAafPJQac3F7AaFu-)%ldmjc)suOD)Nf27EgcP$e8_R^8%U zPm-$RwMthE)E#T*6a$pj1a*ymV?IdvoXqpVF|CH475e!OFAFy$-euZy=hKx8YtFca zqQI|axO&M#G`lDSIX6~*hrTW+Pf_o>lmlPDf9UXCG01Z7o9B1gI)3=pb7R)h{C-6n z>xLl+h;NzFMYccUoS5^P`z>|In-eG#Xa=Q?Y*YfV|IkM-}?dI%Xl!&#O97Z*x}y9*CknEq@@(>#b-{h z;wCiW{(`#EbAJ|t59$K&X5B6&RBb8re^a|6T(z_@X}3@L=7?(RT@^$S?OD9W#hK~d zJLS}zS>=HaI$Gjg+=bfO##?8l_?}Y@`7LSaxLA6GA0=#Z0LKtaZ)cb@czL~y6`1I1 zKAQg;i-({qL&&7VkH0uZGHEK(G^eje%U0kdh0P6%pAT{tet!u%pDlLA@(@~#f9RDJ zP$(b_ZtIU$p?zAHs-bbIJyw5u_bz-$=0>ftP8G?{2~B~(Y9#fz{#(Ma7_sr&P7ia! zPke!rq#L*8!A7w=aOav+qT)V1d~@h9N@2!Y3FJ?#I)g&$4T`dB=e_n3Z``^3ul}QZuTa39GPg4WdEA_mz#s;p6PgqpW zzv@6|0hKnYz`mrCtg88)w41bgmP z{OG|*a&7E%&?lOFq=tnb9hhRsqsv^y%vJO!maM_z|Q-&(g9P zb~P~Qly^H#yk^;uCwAf51WT-dBAm2>GjwVp`)jZTJw_v(jX*7zX{oXLkFV^l`*@N; zB=@^{<*+~Yu#c^vjo4mFe;D)p-R2Utska6%O&X^HQYy-POh}IarS~>nF&)$#r*Ycl zuIw}Vliuc&z;A0Vhr93?Jx3OZmf!c;6(T5;z04wwmPPPGVkCc2u|CaCayV^fp3wlW zf8xjlb%k7R9S>j;MBEvA^gv2)Je$eaKKu}DDro9-AztB*bSQ0Qf7^!;6h0AwjLE=} z03V;PtUZe5z`TDfLzq6AIYcJ$dvH_izCI6byoGEUbBLVgaT|C85fZp@waVw>lXK2$ z{_-G(Z%;;gutbl`NASqTFPCkRUqDBY)g=K#xQr=6Yg!IDsSF5%>LW zajFY~I*!aXE&wJe_*ln2({e{}#bvAZWskQAGqh>ieLN9i@5@DT!VA_bv{v45wrtv3 z`Qv~GjT2&O7jxT-LX?f9hoJL)hbB(_ZQ(fB_x89E0F^>m8KK_inTD;Q3@y! zjbjcdkW#^kX}Mxo*geQ-Ww5dXh%zeQ@gA8}Y&c5te`gi_aGr#z^#yqb`g_q$(P(d?x*`(YT}uBSGf5e?c>-CBrtM{j$oRv@MxNG z1rK4qe@rWe`}0HHZ!S$-t2N_y8)}~pqtpQcla+y9kUA>bH5dJ3^B$mvnwrkcGdkP?r7Ma6()~1IQFN$gSD1A8Xs$C?HlSdr!e0nrdWzKfpig`O6>FI ze}Y;k62^|6L}ks)A#1((m|LlZ?F8I|jn|-xnaD&kB&kG4U>ftuTG-9&K764Qd%}2n zw$Rxt!RRAC9;Q+G50A#L@Lry2Bi;sBz}eT>RlR!Qsp3iE?zj!NNq83Q6oiF1>n8PP zOovC@t6Au4|JK(P{5V-$TZ)w- zi=^qhdK>FYRb;f<=UAz01rd|OuG%1$T8wXLw;?A}>7b%4 zNo{0qJf~9&EXzYXCMFXghzc3MbuN1XSp7pIH$LN?Z<+>*s+xk>^Kj8O>j|{vh{q6T z4ROP{M3W-nbs(RYHWC*PqR)Oy=Ue~58xeQUiqJ|&_tL~exoRQL5)u8o0FXnJM4IP{ zz$TjpUAQLZW)&LAHpJ^He{_gXz9iQ*7N}u25+zlmasXaaGGTY{48 zcE3Fy7NH2m&>Q-)giJ&geqB84!VV2s7fWVr@60nCBvnK{)&euoa`ZJ zqiargVX~in!IwT1j#!w4XH1YmC{>KRV44!@+4S>S;wABhcn;-m*9nYqsV_Z9ik+Z} zT=moOfASGnStiDNjouHE;W!O1t!rc~<4u#;fGeez}TL{!f79oH%>y!ny`A4MRHdMIDV3jQK4T-1z5;gAGOW6! ztv&Wc!O|02_N)xHnA3z2>H<%8(g1DnjKp~wpU|BOk4VvLF8t4&!8{CTPzz7@4Im~s zv|r;UqtK8;FZRBM^x;0V`LJYJoz)nitTQe=&*SZ{HubeHzDucLAxVEJnyUIKeDGT5 ze*+~iV8172yt(_0qoFc)&;bc{Ac=#Ol3x8;gbM!tWDY=1* zB(zIrB@`1VTpW)(F`Mmh$OZYe@(38T)cs{u!i6JwUm@u=5RR%I25LCtg$z% z)at^D>f7Y}fnag6vUk!Wz??-aQh}*?-#~83HI|pfV1VKink({wZZdOrxg+Jnj`RZapUlZu);gJHzW~Y2~h^B z)36qHOud#o#QOO4c}5N&8xF~cI;Q5`gtg$*c5bGS`i6NH#5WC1 z1R&v6(Bkas+~qQ$Mc&FOb&&icfB5JMm~`)&2Z{_?G9yPfr<;fGlUlnD`zbKo z>`$9?pLRfncxP-bT+^I}vJC*NQqVl+}BV^_ZACFLnp=mjupdQgjc%&B&c%-ZPjOKRDae_+K@{ZeEr zlg4w?g$p+ydjT!{Z&u|c1cV#0=cxSOCT`x7b-}kkiOfG2xSF`=ln9&rwy)uW$+*0H z4rT%#5e$#b*a*x;^dMw*<0T7!D(N;R6q{{OEV(S+$1}Jlp9^Nl6WByGYt6OHmyne8 zc}L+vBy1r{Lq#lmBD5Exf5I*d+S4pooTA5xeufLL-=8dmWg?cmic)b=SAFa}v$W*O z-h_cCzk}%fq+<6Z_8DOy)8FJ|Q-I#frHgmQMa9=fr?~O~RarQf$UCS6E9q0x)4DZcUN-9xHrCE`?P@BPsUvGqJnJBC)((Ve?ZuH^S1=?judh# z)Al>Gbn6a0{N4Ey#u>$-PmZBFY<4dGaK=@E$C&sMjPJoKj?Yl^_D1K-XALx6$4_XX zZe=~{5F&g5qq--l*xD-*ELBEPmx#tG*2_x8-tDxj>|11^Gbz8Gx=!rwoyjzb0wnmU ztmSu)gC($E0y`uZe}BSOPADK7)fT6aeYaCa zv!s1-X{eydbG-F;p>&`~gj|BDKE(u? z-rNX<$F>=Cv7!j#$(1`U;uY-r34#Y57*By(jK0W^Kj^SUe?(&Ey@pB7QfnqyA#wNM zyk1kfLjX}%i_z6pAGwb3E+{{XG7%1z`5g0_A1CKT^~}JR8Y4@Igo`05SQo1>6@e&r zmzGb2w$DPQj8Z*fcq`oFj!(Du6)fNZr_qa}EB&f(GKT@i^{GO_9sJ?R0aryHzIf?K zL)|x9dxPuTe^R5t+<}q*NVlgm-qM$sYwHI+w^~Ln7(ODIa@v&kQs0xLpxBOit}3Bp zx(#0QEpkYTTX&m^*0sb997EV)dl5N8_~CshmSby9k!d(_@$vAZPjV0j;sR5>!snP{ zG{~8}=i|iE;J|>AvUU83`>1x6vftd9PRj6^tBE|Xe;~uhg$5TC1{lhZ5*@Lh2-iEb z1_FJG&)t(nzmv*1%|R21)Mt)Zy@l%I7+4A%J2;r=cw;nKN?QUQ;(uSBr+sC%PF+Q> z7p_l~TpSIUqVCdz?Hede4_e(1nGg|P02iH@v1a$BPzvoF?i#Id!K+MJUjRM*DWnih z(WAmuf9`eUPWcJ_ZXDa6vDn+K-n>kN9!rDoephV@I^wKc{-_}*FgoQ)CCpn^H^bM` z&UVh-wg+?p9~5c!Yd-#?m{~t3!caSUf>)36 z{ug=3Aq5P7QEmwZ&FU}D7r(fazH{NL#mn|6f0VpmS2r+4M%>efppb2O^f0sLYb4gg z$;#ogH@oygSU;0rD8(Vg_hr_E7GOpv(8}h_mFz!J5Yoji?mdSqXJ`=HGf%*?N$25W zxSOf7qru&pE7@Tyiwt}<6yYy5<%;8u0l~G?dF^`+bF;(-Z~fJXW?*rL)Va`A=;7qd ze_VSK*p-V|TxRl;vFiwX=#E^^`3UONY(iwtzEq0%$R~hSW-;+#r3K;L5+=rd-@xGz zDtqf0P>&bED;0D;aoM?EirW_rlG&YCPw4h`<>~?eXTBwCcome>Iom$RO#BU#u07d;v#UdZ?C_5WLAwL6#@H z+&!`o+-a=k+4#?=UB?{y;+Nyk$chM$oaT3rrD)>jZ|8>{V3nBxt5nV6V%MCUwa%Ut zHJ7OU_wRJwBCIfP)#UDbZSXW1^Cy&}s&T*3m|K~GjX0s}&U@=KxY`uZ1cn{Mf8K>1 zajcs@xk^kmKwKva@H|@8`Bd^ouHb_N2#U$}SJlzna-5*4xp?#atnl`s{la+u<>Aei zMwY_oSQ3@W1Y;Avn4R_J9=;Dj2sv7E`gB3PjEEmBH3Ic`>35%HKu@XmqOZm=2w+3=+P7CBDJ?eCb~)->|dm196X)e`ElEgx?N zvCNn{(37fHT_#zIcKD|u#Lf!$uQTt(ruKH1KUbU_hL)`H2xWJyeU_-BqZ*<|;dJ2iznoi7s` z(f)S+SBPX2^gLBc6A0h>t)W?CB14Gkk z^Q`@D^Sq! z+nDvI!*K^;-=vRlY(@}IwhaOJ-~E(lDVmT}H~x zx8rUm@bo)P4N`Z1plpnsg)$dj3s#z(4DZ^00bi;HAXbSIXSyj~n|nK04D?K4YI5yi zmxG=wZ+KOsWnkZU1QO2DSc>NkZIzS14r56i9$iy-lQe|pP@@2iK2hwxaQQw@1I zBr}~{12_1tFJV13A$I9uDh3#>ab39KE?CA+KO6wAC zYiT+9k4?tOVnh+P9NF*PHh$r!nY;e=d3CNY3FZ9kI3Co!3j=x_2={U51072N!vY$Z1 z{4F+P_mK}$_;iLwkL$@SvZ%Xbx7MI}mESVPJrUB}g#mJCvDzA@JOu5j`rE+EP;ew& z^5phmQafBM#xOcv*Z3UZ*j>23R0S{WDc{2{HM^oz89sbUKEWm@U_KG@1SJz)lY`uT|? z#hby|5ZaC@!w%oe(u)N*;xcM(gDQ5JOsQ*SI8``H9+rllu{o=85+oX6q;%(n(dZHO z_yyAMAp6UPo}QXZ@|?=pz|9;8bqtt&HpH*)f3Px_E(0&A$m$r_6RfG0d#AvZB70sK zB$(_jf}&5FytoY(j8)o9h;%J)hV6yK{l`+&$LK#kPluqX!?kO=A2^Qfnk;~8Oneuk ze^`{SVq0jRDHEBmm02ql)Y|mz=bblmadTUB=qcs;60Z(L+dnpyc*sDCoSuDw#j;)S zf8$l4$*~-ne9GMTv2u8vS>uauFpm=6&9i?1^NW-NgdfCbALnd-jy<+#+Cy)}n9*?4 zfQ=6aLp!CFcqVancu2Psy(~daBxt}U$ITRpRMQ; zVl(rrH-jZ#i!X65C?_r-uexsogn}QHe@4hs9<2qksMWJh*xTmnD{QR$f?cG21@M@p z^cT{9kGY%@vzmBZ+eXz%$nP!c5VoH7WBU8&XuX3tr{^Tz^mT1@UwcT zXM5g0;j;o{qv@4!-ZhB9@I8hrc~YRE;ADrW64{VuwQT+B^N$o6Ub2KeE-C{Ke+yS& zMS^-#>H0cquAt)+gi=8bzslsre3Qd|WeegKj*cUL|FyBHl(;>OHKdmDq(FFNg!zl^ zq4M)`Mfo$E%uCY9*D|c3eBE7xEhn%J0hZiGXVL|ZUL?=9JU4CgRj;jbXkE3<#P1nf z8rzv|rmHTFrpucRzFTfqm@5_&f7&ZyMAW1U3pZgf3DXUn#vl}9m^^l#eDJ&n40m3I z)Zr-U7~R`D;Fcp+6%TOTM;UCDn%(e8RqzA}Q9TR5+9#X$8!&^DUTqon_E4lg1Yxow zqZBxoK>m_e)R~xT`DM7{`#4W+*{>NP>W<%44!SW443UKsM}~t_xWZ6=e{-Lltf;tr zw;34j+`GUps?H)9^&wP&NS&7!K&sG0SJpKR7#PGVj#Dhcg-sZl_Am-SvQ5#QeSy2r z?FOH1qs2770rN?TP`U~r+uhj`E&@GCy9ADSGlY8e>Y*m(lp3`SJEM>&lwt_AWY#PN z#5vZr04ELn6lBN(zUM5{fAX{_je-}|GrJye%)>C-f|DxGWjTkN+N^fwcRFO=6@%+1 z>?Y|;)f-;uyP$RbV#3QjMzx6jobJpW4gPKvV=~K0xONEu~?Y;B6w)|WL zqA$HT^tvMNoAK(Q<|_`u)sSPC@xVGsA5GdHYi zg5_ulLC4>v@0Tqfg6mcdRb_-`=Y2y*5ag6N%dCWbwAKvL)w?+AB;^Bcd^a-T$T}N&rld$dki1>S1Dl zzi=+2QKfUWlZTae{royL6onPwa^cOmRz^vpYu^e}%7=9L8RL7Q$V8`Vcm@oaT`M1d za8LL*oN%>4Y9&-em7YlHHry~1^HIuh0+Nd-noMxjUV8h!$-zCADDrThwu zq;tsqw>9)ZVZuz<-8k_a-xY%cuNgL|3P84DVv?W^di$*M4z>9ZP4D&VSsCWGlrL?B9 z`Tbx~T-8aAjM?#m^umf?(Bn9o6R(}im1rZRv1GiUY(uNJs+(v`1_sr+L9r+}lWcwx zE~mY>Fe^&jTYj09@01IzNh_J2rNx%AUfBY|cw$)E?Qr-FuBUjF^o6bjMLftQJ>G@a z)h2Zcf2hW8Uc*QXVi$pkDhuR8?a4@ILdb#EVXPr(;9XN;0oQR#dRm}IDc z$!xY9kv)sOv$w2$=j8UB~lCYt9Yr z0YBe**Hts|@jSJH;Mw!I`g3Ft;jl4%F0b;zf5~dMgB*B9?!l>9z2+Q##eRv2_8i17 z#u~goI*_MSX-k7hm>P@IS?N9@^fp#XYlT43X=;Z% z7rZ1JP-w}8Bp_SebXa#Py`!ZKOlcf{I)&Xh$6H%Iuu4mM9Bd4csJOI4I~`tsyQ;XA zf8%Hd>0VQia>{GN`ZXz!W;rd8z=ULIyvQpNTm7knqoCKI12!jUd?D9+6yGv1IzGNK zt#B{fJqu(8q(N+1Mc%DPy+teeWCElTd`?5O28QBU43j|RQtXnoE>hwk8zCGn1*F;2 zw({NJAs*Uva18~e1RKL>=l=z+BvIQTe|x{PJ-=RCe7NqB@dfi$`+RW1#oM!b0R9n6 z6;@g{wJ-L#%A5UXH55TH7ZNpND@7Npn^L}z0DHK;4}B%RVS>B$o``#F7#Yl$eN=Yf2Kpt4NcN{f0AK?N?dm8z0doxTiA28*1{2*!U&=bzxefn6CD1A7@jcjR_iy?!wC9O+wqe|dagqM+-{ zeur9Q7L=<0y8V?$-?89`xUMVef%(F7fBvl|iLT@6FuwmsfVbFnQO<_c;@fry@MZeS z0l#EO48z5)5!MZDXcUd;g9tD~`bu|?P${at#VYKqFMT+|HDHhr3yNg}GO$2}pXn)* zVKs=>%cGZG*EJo83|2acf9@f|A1mRB=*L8^$i}74mhUho*Bk6`26>5NhWE^eIJG2q z$q}O&w+$f@yNq|YMZWCQp3^0aZKSO*V0e2m>bhM>dQ%k#J6vz)Jr0zlz_ZU`Fj8y&eGG^oc0q>Lqx9S zv{(c#uw~9^M)u@*CHRFAE|rv2JwD<~sEknli>uq*Xxdt13A&*LUiV9ONm{AEqa63m zala$A$S@@U)AK@&e~3L6XeqKIlQwGK*bvL{m(^V6KN6JzXOmcI><)N}r9flDOG-8L z!YZ9zqk;j}VdjkVkH+y8IbM73k;!`7hOP&j^{mqhhN_ifwQ?E{xO={JFzq}8dQpCV zO_Il}d*Aq9yo+Nk6^bdI6SMtT_9wAqrss`ngN_5;W1E~8e~nm*tr1oYnUp#hXY3gL zZOPJ!mc>g4v(a!@7H>uMXNMA!1qf}+gcg=wag`Yx^Pf}`k^ir(9Swt3ANahU_>n>^ znWZrP%e_Q#s%rV?_j7?;Dy3Dt$Vn;<K9OR5v?i9tvXuxp^5Zg$`JqA zfMo*K(YmeeZ#5ZrA^cS_9aY2VSm{ICb>H$}l_r~;Xw!MU4ngAutM~qs zV#5SvEHFr&T#XjqqYsMyOqlqfr;uXc4|n2ONXL@ze`iLg16Lw;N3DF-M%E8v?WIT# ztfmR%!KT6hZ9k@MqKOZ)wg5G^_ZqFW$i6|IE}GOV0GfF*%OX|yv>Ew1@}_%92#!L~ zx`~dMNPGgNit(TQFFh#-3APtc5I3Va*GSqTeugulQ-+TM26}cjl&GB<+3AG6T&G8hEN?s-O4`O45zLnG={P5h6D)st1k8s;~h@ zRSxF^p-WR8QY?L5er$UTR0-nDt*4PTk3^CP#fq2y@=jOWX!skNVKlQPHE%GI%fAtM&oBIEPb6d-dWT~}73Cct@$D$Kr z#VSS3>Ytl@+V3?@P+zT6CA-{RU6setefFueym5RTbR^P0^l)yha1dLA;n{X57KFx( zS);^yxL$DQsUIP~SEhmDek@AjV3TN*C!$tY9O*@Ve+K{%hZ@;>F_)fk>wwyYxvC6p zf5kV(Cr8&EP$~orwA#(CAH?{QqVSTVkQ(muyrbrHE%X&b5G z^M!W_T9i2VI;+2^0SFbXgSYpaP1W%^E^Jv7Cby@h{&E();DPT#@PuP@wGa9Cl7+#? z;r6rHQ>OkxEX7+G_*#=7JfD*=+UPq*vK0;He_`(tZmJhsdD%X#<)kF?xApTUf5kTe zp)*^5Wk6LJsWpDuLhzy#P<9diaY`#NN8cp_QdM^3+Rv?nvI=F%&@H+6!!2;_PizQ1 z>3nvkv}&w+hp|^8N?uLv|ZWuJ^^Q#4EK?m=M-~s*pgz#o%pJu zB$M)K6{7~@I*_pQO$USe`uX(Qf45k`542$oRE_WYjz%5yhvOEje8Rzn8TeY-XnpF= zc{=6b!x&0_WXWVzm{$0_vsP+SXgRf)IBtb5?7ki`STwj7JfhCquKg7Io&&vY&bJkc zi}O|k#))%(rMZeCiO(uhlTWuA64vj-G~xm@{|`KV1x4pe_XpE}lnU3_e;&_-k1YRK zGn}~lu|56{hb^_fG@j z3tv(?i!OK)<0a~aiY3BoyTrm-Ga|-&E)cdLbq*{<<;$JUbbcvses*siR$m=MPa6wv z9^kDd5Z1CCUPM<(W@?77f5{~1QF`nVL4(7Cjg$c<3Uo7=n_h1=Hmas40VSCgye2{0 z1Mj-XTBr%2Xn5(dci){C5yoXY5~M@eeiS_~pO^-ZB~H<)A8;}H3xbS^@IWh8O+Mwr z#gky@ltZJG9&}Ye9bC!3IKdRbMW?Re{;8|g7sHxUuUVHH{ar=Of6ei837}OGofga% zqw;*Ord(qIH0NmhiWP2`Bx5gnQ8z|EO`*Hz zQUNTwK*SZh1BIEJjDe?vR1`elen&m7wY%#Q(0AZx!Pi?tNbgJeJ-BF1+M|5CtB?zlezIS2yf9Bqa<*iV1NEX*`=7A?g`W=@M4m#DkF$2r<5y8GR(29zsE;W=3 z)2)nkCNB2HwhP!DCvcQqJ!#y#{;13TA7aYg!oVXJ(r$aL$$}h8u}aGCR5)EacY?JJ zDntAPeiyr>`14H2hD{j6%}JXeQ%y6-A|h|WnbKhqze&=Pe*_uJ@m$q0<82$Eerc^L zDx4ht>A71PbBEiyl=SYJmyex{0y}eRTEj*Y zkZ~Rko!%zQ@s?h8|08tcYae@h(vigQzRwgfj|`TCGZZ=*+Q0~|(MD@_(TG*d7Kv{u z9En`ueS13ef3;HheQ42RmDx0Tv%Q9DOY=Ds-nC0f%OV<>Uvqc9s!1nXUShn58_%wq zwm?XYz|t9Fl>Qe!rFpE})y}l+3Y5f-*5YbUh#UIxGbjGQvpueJ37+ZkyUA-H%Vc^` zp+sNtAjy?Gq<6`9MT5xf)Pb>EqC#=G%)~Zkl)ZjUe?2R*-TFR=q8$VeYpho5-UJPZ z#Y(_yfnyQ8frJ1^`D@g#E~=)qd{ts^Tx5vUgdthkVft{)@~KviI!FImBLg0L%CA04 zk0D1)ag#id&yu=qTDq}@O@*rMpXW>40e|MjiCt?rC^&eMj%m=ex7qVd=RsV&7&>-T*|aNgi!X}|IY zx|$U64$gsg&Lp2>5})ypn^i+js^(N0J+`4c5a}|`J5cZ!n*lLUy;lPuQs1gXO*W-K zf0EJ4o8e<$cAhH1MVkvc!Q2slr6Z-aL%H*nP>=bJG!U((eFIakMWU<=a~qJv@tO&l zxj@&m4im8vkI|xpe2KEjg`HJQo>9}Tad-FP?(Pl+UfkVX3dOBFxD|JIcXx;46nA%b zXrb88_vPQoPWHjhI+-<@WDeFk8o95u+K_d_t|PZMbvB}U=>RQUWr!M?=c>3%A5-~- z!*dH3k615p92KvkVRWsum^ECUWNI|qOn4}|1+FZB22w?^f^;>zPK!mm0(os|?Z*ri z1fjY5INFRNXA4LK%dmShxf`*?-1OCXmA=mh*J7l}n@X@-shABrz7XZHFsJH5;+t>i z04UcyKKo_)&t;r_riPa2r!+b`+(BTT6QsYzZiTabA;J609VM!_d3r7-SyFj+eLkWp z+YlYFntk5OIYuh%NRVc}=+1I4be!47TJR^MTImWcr7Tmb&-(P-HqqG>YFPwK*pgPq zrKp)`*ZUO>r9)q>Cf1Rv>D$feO4aad7fF)S7_DgFx%mFv@v`)Kt?`wD;B=sL4Hzb5 zUs)B7i!mhKsy(Df=v%SK_+)#MwB^@i?8gzH^JRQZaD6Ig2D&E1fb(*Hc6Nov2u|D2#QB>ZWyA)kqrgYIAjQtbOa4{~?nD zp>Z>m_bxFa0G_F5SW_5)4t?B@pvKEzT4ZYl@ja%xFBu^?O#8nX}#I;&y`3@2s{KOSz$dd1IiOjEeb>r0zZ44xjMBn0(~cd?}*{K4Aci#Q)} zoBSgmh||r@vMTL#h;X$$&&CU6pzB5wB-Y~RoQPVBs^``Zud1z|b7Qy;%Q`Iko)+?1 zjv`DZpJqoF)0#oIB-pNUOF@>ZOEf_9vTL^~t8^3n9x8Oye9St|q7g;RaOSu6AKa}K zOdocKesDAgPBxk4<93_r)$>}*vEhHZ)RI>(zlAik&~HE=lub+>=d}}hCXfxZ5IJmV z+6#v~_XU;?jxnR4{9>3C(v|=P`Ah$n*Zt?&c+C$@K+?s?t9nyZ`PUG+*AoS3GHi_@ zOE7yta$Zi8q%wBcJYrw2Cf@mEN)nfdCJqYjlCT;JSA&HRjT*Ip@BAs=in6%`$iMZz zpbo?DTh=o~vUC2yFzl^cMjI8FwoS`QIm!_unB${sQN0dgSLA`sv6CzgT|s(pB$vLm zNA5aVJ@B8e%6VwxSXKGm0?Q9jbO%uc99C#?M!0%(=)F(D-JRB1#S(prDSq}x|Nh8+`?4yb)%u)mb^EC{BzA3n4jTaNt19H7Px%uWX}kvO z;A*97|9%a)k=mbs?43gG;WsOk30{j!?R$p2xiLibIMc7e`Er)gq^&bf*cMT4|1RGYo73`C>kr#_=dCkJ=4uvOwN-9CXi4W7 zGg314hbv)t-3$1N^;WgyNdD5<;WNde9Qpfw z^+m$BV~uJtpt22u8MANi;DuGC(OOZCgHO%U{<=lBUJr;f6ytn}L>Ui3gQLusfl939 z!ti7l=cI#*5Q0)D3_b{QpxFca#(&IW>0nKuRMzm-GZEK_74GU$t@Kc^xltYUn3B7- zdu(6C0mPhzFnfESNg?7RGb3R1}6w-eO)uNoO3a%!re)fpk zfx&?K10OIq#Ii1+0ZO-I*3!2D7A)gZQyD|B<9JHFp|847vwoeIOxIF^@-U`=w^zV93`W30lQyE;O z@wU!w!A&l(IC#y@+EY-LC#e@hnHlO;6-Lo)2Ko+C{+WC~5Yw-~@f?;kntg3sjE__e zP6@y`h6_sJEF+oLCC_HSx%McG_f+;1+Z2!2KQ@4XjK|GgO+Nf=7Bt(*L?fFh-Nc<4fVJDb;2$sS-lLSXdLOg9S-(9&e<1)%uR2pL z1p2)QPucz^n#k; zy#Nc>38QK7Pf##lP@EVH^Na;(;Gl77$P~PG)0AC;DGyUPoPJj3_l=~N%}cxT%l%2% z@f$VQDYrEv=@5IeE7c^}?^fVloz$oXncb7T^syF72E8zypxSJf&n+FGrr9(DGtA}qV1JJ5Wb21G?E{Z_G}R&W^O#~iTV^vyxijhQ{Htrfwlxus z?2SY_?EQgp#`gs2aZF9q8(+PGw2!91o3mW<6?z-OTEPL^otuH}NF+<&-(PWCVG$GI zpuqMFoboLO@+17DBMpDae~bE^?+En$(Ed}+)hN}`LHPsomjkB7S^$PF+PVMHWwhbI z&76}fvEBT!QHp&9ANQe!gw^?qrF$)o6KnLccwV=aKS&$$C3|w1lZ9+lJ+Lm(L*&3v zaUutJ4=6DdK)JKnFz#GKB(fS-u#?AAS>f#aZbp9lkp|ZJ0@cs|9=eN!Tsp2zF6=j{ zxF@ldPFWWG<7StCB4i$-T|mrroXJ5W&<0XTmE) zX~r&H^qP%9$T}#d)wH`{@)K=tsJmwB$hZ_2YD2%r zmNQ-dF1VB|$7p%pL=g|H6&yWb(8toMCs!or`3;3xWS%Na!+J8C83JhaT#hY{Ql3^3 zju}n6l>T-|9WY^i*rAg{4cKN+lYltKgOVXOt$|!r55o$oa&A7jta*TQ@0Va8F1IjO z62kvUqq`lULe^TkT<&srZFT2m=&&-a(HGb8%rqzoOeah4a*jO(P zDEeu%=Y+k!;0Vo;D+0f^{EI_OGP|KQj<-~4{X=W)qwE9>vHGmwr|@_U?z2Fv95Nj1tt1~uaAaUUQ$J86i8&=2J?-#(@} ziJ1(KM&x4}6CJ3Tn}r}*tY)0QNhuwDls7%F(q#0yfA0u4-Xl%L?aZ9~GW=7i80EI7 zLpd2rx5Gt3J|PP_dT~x#`ew9l5cp>N!N#!H=$Ttgr=F&tt_aFiYtfi;Ra2^Z zXVu`$HEMGEiA5k=1V1k|*z2nrtPSmRsLxh(Kolkkn(j(6-Fa7s3uefZG!xPqvD{13 z#;8j|Iq=qWQv`eDMO`$=)qcK-Tk2(H5>(mqqvrX$6O;ws2hEY+6@AsF9Q8?#UD?!$ zY%?YaKC7FKEb1z_9V?is1C~2IQOnmznRtABr@osL;+{K1zR(8VH!F;Q4ire8p5d^N zFi3RQaTRy?u&UF$vJ0m6*bq-aa8r?a6GqRZAOQ8D+IV@{F{cn?HeTLv(IO%p-Cyle zq}g0_JN;-w_F(2qLg+49$Wl!A)%sTj!wPFqO!co>rh=$MZ`HFkwgcZImUAj(Q0H^qUDZV%iIoxDLic@MCLc7A)%nHJT5sPnAtYbpHicEu%1o zm7H2*;VrEpc0B>T`-+Xxh@~*)#wMcxV~q*BB=3`!HyR#$Q!JByG5Fcw^?g9Sk4?Q) z3MRaDZ8NQ0sr%Gm5-mO{hrP;2>`kvR7jug1Tu94s7h}MEtnJe*Kk3?vo!i!6;Zgfr(r8IxH`$BNXI8 zk-3BWqgiz)oz_alNZ!Nku5{wwz^x8^o94XEpL!l3kRjQq3yQDL2!fH7bwTE?1=s~s z(``*=12g$acNm*jr6A`M?@B2N09D!ObIIS^mY|Y#OgA+$3QpNUfT`TiY8%hgyVP4X z?ihCzSx(S*-S2SVDaayw7cq^S89oEmfxSTwPn?~ z%p~YvMTu;ZKj;mkVt>I9t=q*8FcXaI<;BGbr|o+DNpFIUhPl*M#aw|Os_b3IHOe)b zU*7@NqoSN^t>W^E?OQ_Uju9<$%!rAaDV#bW<6s9PUE6bVOxC}`AN1G!<}ye-$e?$G zcPxK^72%}g88dl8dtN5W(cYRa$a{qKdo5{_dsJ+Jx_pGfD!-#KXX5!7Ao+7;Q_cIf zHKM!?cOrcu!4G4|x#nI245{#Di2<(x=~FTftlz=LsqUY3P)Gpf`2i3aYoYNOAN48JxYz33BzNY8BZ&VlR0lM4Wq9bDU(2@qQ zSmkVWtqHxHk6UIOHSToy;$9{-BRWY)U_E8jc&LI6aYRu}Bi4av#WMRUS2CNuZ*O@L>rYdr2-Q+cIXF{0(je4_|;V; zxpB9gc@qL20r0S$0L;TPN|l|PIPV-4jJu8bjSw{5h2CLC0Ea3YB^nc!eP+LHQ2;F; zgnl^(XYIw1#3aLUm2lp=lE-Y>!)c=Lcnj1o*E@H^GuuI}?agNpOdQ+|!t~-Bm-$5v z`&3GJe$Xm8rz|3$o@S1&?StdhK9iKTJ=&zdExI9_;M5QuA@Rx zaRi4yUW&~VxR4mB%D`LuE@AhoTK2W8eAQLg4?WL79-dPMYEm~?C#VsewUZ_CEHsb% z^Cv=j8kXZh;8Y%Lbo6Vci7rn~mU`{aqwzzWbBnB0A=QTH!Ct?GMhoVN3SF^fvzHT@ zpLCcASZ1Mlv}q<2eM;C`6-a`4>07M?xo_F4?obJig!dB+EhafA#-tru>%Yn?C`D0v ztVZK$rBbn;2e^g}*TCd&eUzD$VSP?3aDqjDN_`=I0lb5}+*yt~E9v6l275L@1Ij%7 ztqVTN8Hj$4NFP;JNEi^FcrZ+K_lbYYNdv)^l`{QsYsEXs&1fnlr!>$6Y%7ao-EQZ~ z7!lD|s~PeQ2GL7R+gd}`!|Ebs%KBL10i`D(Re3kUvR}D zkOj;s5n~%@8}=DW8^=lx??+80;&#|CHCGsE7RE}cmzuVkzJKq4>u1TEeU;Xm=tu-q zYzf`oeIM>$yOX~QKe6x5Ep|7BUQvwU=aPJ60;vbg?qH45IQlZP)n`&=vTkI!7D%yv zi|$mRETlJNNCE|&mnQg1IF8jninpPm`~1us7NQajEK1mq0>sZYYfh<5sKu#N`87gx zj@}4l8O37a%95r+hrin=M6ksLce>!V$uiMri{QaJ^2{{eB8Me6cA+@EB^LEGD99q0 z0IGzCC2X}EdOE7-86!o7ze3yuGjaXs$Pm9dpC^yQQMHGcA2rmBaf5)&QH%MSkibe} zCIV9>?MCZEV(TxF<5_O(Qv{SZC+#+fr|wLn0+Bm0A}Qg@>G>Mb;d%M3wYvG#&QOQh zf9)Q~eet3k2zY8+qGp>9iXpMEZ*Cs;0f{j5e~`@u&D@ipyuA|xe+sZ^@EvRdH?>RS z3_qLS!Aw5Jwmy;~TD$WZWwh|37F{sWU$Ves;1o+cFf*tKr#WNk*X{&%_BZ_`745=u zvoT=PHQ{-3=Fzj2D*8JL1r-JDER+3F-VkDSq7V-j77b^)WpQ=Dt)9|^g5Z}J zk!xugSkrgKm=>m1KjMPDXJ+kOq3ezj>-rBW&bog3RmUO>*fS-6@`%93KP|GT+G4TI6q@BMSG|9q-$q~}p^$dZu z{d82fPFcuFwAqnJs78&*xy-85qBKi!!P$Y(KNWFfvQzP6xc2BaBaR;i;bV`)FDs7K zp0tO1koOTaSN#nXVBr;<(WcxeR;JK=Q02JqjY^r6} zYMCQrar9RXpjESja$Th$zt~g^Y)fZWgOnKLG+<=fqTSbSG&ja5pX$Q8enP>z-8R;L zRc*NI4;`ahE&koWj#S=88x@LZWcS?kvK+$>q7fF&$lfk?~Bul@T2i-t33P_kL(l{Kbi zAF6PIevzjr#mkg%NuNN03YwQ-WAnk$=a`FsJ)|rY2{41LHFrkS9hb# zdzL&Ps=7fhe@EJ~Y`7sG#Vr1DhV+=$bA1uHv3I5Xg> zqfKsTqAkb>DN-Hhe%kBHTn*=y5NoGj8>Jk?k!9%7m@bS~_fT*TO~)3s8( zp6=`XH2_8##O)mDHU0+6*QA-R`8Vji z3jjp17>9BqXE<^>yQY{@0N3#)%78_nG(tTNJi0n=u#v1fI=DUgZ=5!hmHC2D(XTTk zh}PiHnutWO*g+g-R{KLJax()$p+6kJPRV2Z6B5eo%Ah0vNk;$Nm63G_uMV}5amlJ* zIYQGTRh1=OfJS%6%7gB}brN2n0f#AwLjX`O#1#tufg{S%%_(u>MmM8*_&r;MiCBE0 zDr+-##Q)fTgN+No;oieByUBaLgwP{%O+4=LgYFH6(iiR;+ zEg2#+mi4)3ClfxkQQ^~Ph(V3Eo?kqOo;V2DvB4p#6Uh&|{Fz{h`r@Am*_kf}OA7eZ zrF{y9EjBTzzNjzbU<gQ-W6yycl6dzR(0 z`hpMKKltBnS30^Z&Aq(*%|!Ty#8OH84rN_Ce2-5rg0j8qSh;%O?rk_VI;%Rb;--T7 zmu7qAE9H!|fHDbPQV^O*zwIEMycjSXzKIA$c-Nw`;I}P+d@-rqy7FKK5ot#Oywn~7{VZdb>$dTwjM|fn^DnkG;n@L~>$fQWRpx*9XT8OR`VrXOapQ0~rc?kp`Ug2YfYC zgsn1*HO_O?)fS&DWv(y&g~$b0wa>R4p0iMB6XB(b*uk9Hai_eDV>38g&b2RAt@z|i z>;Tqu-`2vi#Y6JUog%j%@N#7+4sUlOMi=lBfV!~b?ca_*u8dF~0Ae9RY6%XK(o~@f zho|4AmkfbAg9}pKgz0SPQ2^ji<*mauJ#IABj%y!1#+zR}yd_>7PD)&vd64Gl>7swj zh}-*P!32i|auGm7dm%ETQbWPxN!p;PVRVW!asHk)u!l!TCK<5{qlXp79tH)JJM=1B zhqpI5{m50~TWaNS<&vow-B6BzP=>=t)rBo%`vwJ3L6Xj(iv^cR6byhnh>b*B;vw0h zn5$Tqp-J_f1rK{+D8&uDg#Ya-_RCB5R}r1}0QXtR%NHU@L!zyonyuXDOecG$ zJgHeXMy)aCr^?5pD6`OJ z{J2gylYC-dRnAi6Qjfm3g+=1=8-Iiv$k_M})$Ni$d#l!hZ2`D2@Z_k}PUZ_T5EZ&e zHgxJH$D<*%^X%;{jHDbzPZJhFe&zpuz{U-GP?K;f2h4WhnIO^`m)B3D@+QnhBq2Bm zMp7s1h@QwKa447-&LnOGHHN1vSwg-wu*o8<$kxTROAcfo$vSXyPv`6bzmcuqvEH0| zH<=v?ozx}F`+>Uzmf|t_xwwLw#L;yU{Jw>X4nDX)(g1Xb35IidXYmS1$Pi2Q4An(zPTGnE?&+XCK4K*GClUJ2iRxU7110WId)fASiQWZg_6PHWrE_6s&KBzr7kmma5z#Q9o7MiFq7W!pliQ(&Hzr{s}5`)ys0u}(wh zfDA-0+aelsq}Gs}y0jp{Q%Hhs+28s2e!a*R2djI#eQ&4`?M=yMw`Ok$_UW-+5mf^PEg}85zWk_Ig~BdH`W}4G{!SjgcX_nufh~?%yXH)zTDT zZA-7Jy1qpdT0SNBm3)ZfuVBk%@)ehOUQz1VX1An$MJanNV~Pfd-+(n`RUd{u2t#*e zyn%Q#FwOsb$4?SH83FnRIsVXa8IjPn3T!}=%LbyndjOkc54g3kK zZ9E|+T97W5qhaFj+~$E4*EjY%q-S{;J-`$Jb%7@JmwowGCR6rz6@y4uf0ejB+5(%x z`R8O=lpZpE$Uv)LtbTdt%Nm(B=PZnNE-L)Um<7iAxcQhS6%fVxR{4UBRa_#fM40lF z->*`qvA+{wyw56|J=!H>}((v^N9twFjR6_GukSA3D3>1Q%v0yviN z8=j^q97{90i3E;PUn7@&hiaeG0Hr5${o71iT_xrxqu1JXTkhKY<~&7nmxLkA~))Q;% z)NSl6_D zxAOUM6k-PxL}-Qx-t`$*<{Qkf?fC_3r5BH%b$)oI*OaWFvb@-zztp|$j)iS28d
%LwIx=Z%5t43sQ!q`$bH7Kd)_)$dS>vO+`idPfc8h$H$r_rY$Etw zNw?b9`;_aeK4oc+z!QzX0W1`~e@+*>LrdR81IHg%6c*P(3zb&ax!2t%WQRPER2+&= zE&YQ#2aCE{?~+R|7tb$se;*!p4tKxrLi03O&a`Mqc8`o~sy@ebx_N&<%JstT0T2jr z8#}eH&;b0n(`c+HnPH+_*CEXg!N=J4t=fAI7L>yNv~5hu+`^bL@U(hqtv)3iFcU$| zC9Wk0y0`TWh*W)Z6Ceukc#8tKN_$y$zR|R*-L+|LJJwWuFLW*XzE9xm_^0m`CO2+w zPaOo}A%JI&?7BBMG{}lB({hRDpVO#FxYAs9D{$BR5ujo9*ou9X#hLlhnW6aat~b>P z0KDt|p0#SepP@Vh46YDQ^hg&6I0x6_B50wP5c!REi#zb)AJ7rRzkaOUL)ww=+VWA# zqmOwFU;innDOs$_sUBwCVhHW>e!MWh)(P4r-s<-+guyJ(^0;{;u<#=g@7+p3!`f+^ z-smR(wRMkrjgreb86uF@$jo6y{tWwaKiS?qNrfqExuL@VH0Y-(m~sAqyTXQ0jQI<^ zJZkJxVCJ8b!mUaT^jwva(n9#V5&Bx(C0WzrF%wR&;DNS}e@IWKTpUe1FqXGc{n|wD4dw{<~aQRMI1uvJA%3mp0rklTIboW;jJ@ZH%Q(!tt+wsp0(pZ z3cb0$hHoJQEEk<1w##*;a)|tU+`KR3;nU)K_WQw&KXoNbo1? z&<~9Q3V1XV|9rZR(r@#-&@ub-XZL0QxI2X;$Soh;kazCa*}hHYy{al$4XV&tP+ehv zi%~M_72v%DJ=Y{H1jgNRaadsAiwOnC?OT%31fSm?d+Sg4T9G=IJi0Afy&3kOtiE^h zu;fyl1Btf>zs<4n{Gw{@yrY#8i_hCy-V{179oCXn|0?N#JoK*SKNdTJGw1FyH^-Ph z*24A;15TIUx>H}i0wVmYA_=Bka5$8XNyZ3D-wNp6DTdRV`>hRrZ#CMNz7V$1?2v5V zq5kmGlnk)izaNtl>IptPo6hYI9e$$U`+CZ44vfl=WtDRr(#h7Q?bxv2r^rpVUDm+179Ij{NaVj?HxW{Q-bYo8Aivixz_rs z)0rHJh43!fW?|}uxFER?6naC+81_6?3xeb6CVFz+W0L+HZYVKJc@{%<%mm2GE?X3@ z$qc`!z~FjBuAQy5v~W4;_;4w;AwHZzU>q)D8bfPXzipS5bYGy?Ae=h=fVM3g3(Q{u z=O-geCbg{wH-9?!mB*T*WM}`rgCBhHA(wEhHKUb)Dj8_f3O+aGje~b|y^+trlp;9v zZMUjGD{+~G^X~@#TS>6tFX6J%M!tUg{rtgrgLhpU^gK;I_0uQx}lREq;*QGCJBt@*!^AJC{K#eP_{Dxy)2U(k6ef zFU3gpKJz3Tad#r)Biaau=Q!K~qvo?AX;k$oob*PX+}$z-YJX{NYeoovJ}{Y-UFhCM zQbA0;!FTPK50L)=S(1fZ!?%;ptcH=^{4NZZ;?j5aFeMJ~qw{RPfeiH-VfKs{Zj2CC z!;}5jzBHZC+Qy|vX(d}w(*)ziuAb~z;}5}!oq9&| zU=*Mcgli+diBd&YX~hprc*dS?RGZ|tXK5PUg!NH1*%W>I8u>_}!98a7>X7F?F<-VK zU$`-DGdGG2MY|rO{uZx_g_R_nPZj1rc3^Hy!a`bT&e4t3eJa7$uHPSTPnK-?CaU37 zIuxm+>shSLg@~-*?EABH9ZW8wnqEj8q^(L^51)?%w0l!!bRPqUxBkfL&$C;zW1^Q0 z4}IZ6-u!%kFZ&n8<4(pm*AyXw7-pJzZ$CGo8OZjZN|Y(CvU&z318VM zlOJsSHI+YY`Ky5)0&6*eWZ#zqBKLjciIs0Z-EaJHx4%9T#eMLn>t8f9{iVm(DRF$9 zp&EATj2$6@3^5*&cUaGmBu&Xg4=4({m_=@5y0EhFVsbz2RdHov9b!V?GU`2Tlca7A za+PQg1`m|_?hvo8!O2V6V1HA_Q(_I*`NV>Y6Je`q_pb_|rYXQMkDsn^IoNZA3evNd zs8;_O4Wng96itNJITNmr*P0+rnt#zMY1I>^{+KFm^5lo8T%MumiRG~sAvKPDSqAPd zCE!emTh0WhbI~pD>XEyk^jxeV^UE$_KHTbMZf$8t2aMPO&=`lPF;GGaiH0PNfb2rOzg-WH_n?4RX2EmA!; zQVvqKPp7J*qwA-W<1!d399@rxtn0^WSNa-XkOeXh5B zep^jVzK80htG*}22d<8CusU(@X9%4 zG+|UhBrX8VahgGvPB{eOICU_L$^u_?5q10d>qzXu2>Yq)@a@6%`nhLd_&2Mht~XKK zoleM{z%ELc6f5F7M0rlYyYohg*7{pZw~J7|&YT6XK~>%($RBa4+zIH9^Ejx5E!=GunV^?IUkPzPhVUs%T#%sbhj}QfN{z|2%Zwup9S#%Z}B9b&Tyo z6~GAv^$}iQ^H6h9VuWRcrR+84azYHvK=E3P8{M-C%m01QnW^+U*Y}~{Jj2$P;fp)c zwu?lUy8o$YoH;xCl`ULu{ZT0&d7H8;HjJIaEEbMkJ(hbTxfZ5F_I%Y*C3x8DNtz~O z$$8&qyZANny%?RPXPVYT!_>AXiaTA?R(F#97@PuRnUoR#o*>U^=WjzbKQ6`M=f~=3 o?d|vhc7x>8_Wyov7grN!S5IdPO9XaqP7ZEv1S%>iC255J0d(-{p8x;= diff --git a/report/formal.tex b/report/formal.tex index 1f20e62..dbf4523 100644 --- a/report/formal.tex +++ b/report/formal.tex @@ -208,7 +208,7 @@ $n/p_1$. This steps are performed until $n/(p_1\ldots p_k) = 1$. $n\in D(n)$), and $D(n)\subseteq \mathbb{N}$. The natural numbers are well-ordered, hence every non-empty subset of $\mathbb{N}$ has a least element. Denote this least element element by $n'$. If $n'$ is prime, we are finished. On the other hand, if $n'$ is composite, say $n'=ab$ where $a,b>1$, then - $a,b < n'$ and + $a,b < n'$ and $$ a | n' \wedge n' | n \Rightarrow a | n $$ @@ -237,7 +237,7 @@ it is of theoretical importance.\\ Obviously, the largest prime factor of $n$ is less equal $\lfloor \sqrt{n}\rfloor$, where $$ -\lfloor x\rfloor := \min\{k\in \mathbb{Z}: k\leq x\},\qquad x\in \mathbb{R} +\lfloor x\rfloor := \max\{k\in \mathbb{Z}: k\leq x\},\qquad x\in \mathbb{R} $$ We initialize $P \leftarrow \emptyset$. The smallest number contained in $N$ is the prime number 2. In the first iteration, we put $P' \leftarrow P\cup \{2\}$ and exclude from $N$ all even numbers, i.e. all numbers divisible by 2. @@ -253,7 +253,7 @@ two possible implementations of the Sieve of Erathostenes, and view the differen \subsection{(Slightly more) Advanced Number Theory} Describe the algorithm for discrete logarithm here -\section{The Formalization} +\section{Analysis of the Algorithms} The first step in formalization is to do the necessary paper-work. We start by analyzing the expected input and output behavior, and put advance payment into the task of formalizing, to obtain two possible (simple) implementations of the \emph{Sieve of Erathostenes} algorithm, in order to answer \eqref{eq:q1} properly. Each approach comes with its @@ -327,7 +327,7 @@ We have described the algorithm for computing the set of prime numbers less equa While this description is rather general, we have several different ways to implement it. First, we will show an implementation that is based on the mathematical category of sets. In mathematics, we learn that the natural numbers are well-ordered, meaning, that every non-empty (possibly infinite) subset of $\mathbb{N}$ has a least element. -Let us treat this formally. If we consider a non-empty (and lets restrict our consideration to finite sets) set +Let us treat this formally. If we consider a non-empty (and lets restrict our consideration to finite sets) set $N:=\{n_1,\ldots,n_k\}$, its minimal element $h$ is characterized by two properties: \begin{itemize} \item $h\in N$; @@ -355,7 +355,7 @@ Based on that, we now present one possible answer to question \eqref{eq:q1}, by \label{alg:2} \end{algorithm} Let us now discuss the intermediate steps of Algorithm \ref{alg:2}. -We want to identify steps that hold at each execution step of the while loop, +We want to identify steps that hold at each execution step of the while loop, and are therefore \emph{loop invariants}. \subsubsection*{Identifying Loop Invariants} @@ -389,9 +389,9 @@ and this descent can only be performed finitely often. \subsection{The Sieve of Erathostenes II} In modern programming languages, such as C, \CC and Java, one distinguishes between \emph{primitive datatypes}, -and \emph{compound datatypes}. For example, in C one can consider \texttt{char}, \texttt{int}, \texttt{long}, \texttt{float} and +and \emph{compound datatypes}. For example, in C one can consider \texttt{char}, \texttt{int}, \texttt{long}, \texttt{float} and \texttt{double} as primitive datatypes. If data elements consist of multiple values, e.g. a playing card consisting of -its numerical value and its suit, on can use the concept of \texttt{struct}, which is a first example of a compound datatype. +its numerical value and its suit, on can use the concept of \texttt{struct}, which is a first example of a compound datatype. In \CC and Java one can additionally use the object oriented concept of \emph{classes}.\\ However, in either case the mathematical category of \emph{set} is not in the standard instruction set available and @@ -399,10 +399,10 @@ a programmer who wants to use sets is in position to implement the data structur in the final program. To that end, programmers might prefer the second representation of the Sieve of Erathostenes, that we are going to develop in this section.\\ -Suppose, we want to answer question \eqref{eq:q1} for a nonnegative integer $n>2$. +Suppose, we want to answer question \eqref{eq:q1} for a nonnegative integer $n>2$. To that end, we list all natural numbers up to $n$ in a linear boolean array, initialized with \texttt{true}, meaning that initially all elements are considered as prime (this is, the entry $i$ is \texttt{true} if and only if $i$ is prime). -We start as pre-processing step by marking 0 and 1 as \texttt{false}, because they are clearly not prime. As before, +We start as pre-processing step by marking 0 and 1 as \texttt{false}, because they are clearly not prime. As before, we identify the first prime number as 2, and set all even $i$ greater than 2 as \texttt{false}, because they would be divisible by 2. In the next step, we consider the least \texttt{true} element that has not yet been considered (which is 3), and repeat our procedure. Proceeding likewise, we mark all multiples of 3 by \texttt{false}. This steps are repeated @@ -417,8 +417,8 @@ until we have reached the integer root of $n$. \State $m \leftarrow \lfloor\sqrt{n}\rfloor$; \For{$i$ \textbf{from} 2 \textbf{to} $m$ \textbf{by} 1} \For{$k$ \textbf{from} 1 \textbf{to} irgendwas \textbf{by} 1} - \If{$B[i] = \texttt{true}$} - \State $B[i\cdot(k+1)] \leftarrow \texttt{false}$ + \If{$B[i] = \texttt{true}$} + \State $B[i\cdot(k+1)] \leftarrow \texttt{false}$ \EndIf \EndFor \EndFor @@ -438,7 +438,25 @@ carry certain invariants.\\ The first loop, is iterating over all numbers and book-keeping about identified prime numbers. Hence, if we consider the elements from 0 to $i$, we find out, that this elements already satisfy the characteristic property of our result, this is, -the entry $i$ is \texttt{true} if and only if $i$ is prime, and \texttt{false} if $i$ is not prime. +the entry $i$ is \texttt{true} if and only if $i$ is prime, and \texttt{false} if $i$ is not prime.\\ + +As for the second (inner) loop, we are in a position, where a prime factor $p$ has been identified. All numbers, that have $p$ +as a divisor, except for $p$ self, can obviously not be prime. Hence, the task of the inner loop is, to remove all multiples +of $p$. Hence, we can note an invariant about the already processed numbers, that multiples of all primes we have considered so +far are marked by \texttt{false}. + +\subsubsection*{Termination of the Algorithm} +The algorithm proceeds by constructing a partial solution, where first all even numbers are removed, then all multiples of 3 +and so on. We have to consider all numbers which are less or equal than $\lfloor \sqrt{n}\rfloor$. In the range +$2\leq x\leq \lfloor \sqrt{n}\rfloor$, there are finitely numbers, and therefore finitely many primes. If all of them are +considered, no further numbers greater $\lfloor \sqrt{n}\rfloor$ need to be considered and hence the algorithm terminates in +a finite number of steps. + +\subsection{Discrete Logarithm - Algorithm of Tonelli} + +\section{The RISCAL Formalization} + +\section{Outlook} \appendix -- 2.1.4