From ed1fa5186e7975737b08509368d1ea5ec7b332ff Mon Sep 17 00:00:00 2001 From: Christoph Fuerst Date: Tue, 28 Mar 2017 21:23:01 +0200 Subject: [PATCH] Diffie Hellmann Algorithm --- report/formal.pdf | Bin 326802 -> 327935 bytes report/formal.tex | 13 ++++++++++--- 2 files changed, 10 insertions(+), 3 deletions(-) diff --git a/report/formal.pdf b/report/formal.pdf index 4ed78282956f1e456c058a21b806f694c94b44c9..a45345dd69179a53b966146330a7fe3874854693 100644 GIT binary patch delta 60133 zcmZ^KQ*@kf)NgFtw(T^wZQC{`wrw>|8aB3VJ89fBYV0%pf9tGs^PRi*V%F^E+54yc zPLlG1{uPYTpbrVg!JR51PXk!dlS@40LhC)%x@WZgqkWL89>QxLI^ElZ%mAfLl1;GO z+Nl@pz?+hnyUBvaFlLNW3MT7G#f4SJw;e_m@ja*_4mt^|qPIh$VZk-A90jTldGyrBUHD z9Dqyyw3Fp(ZTjo=+Tu%_aI$wd!!JwxyjI}qM$%%hg;*)zZa$-8%=cpVqvprsL-Dta zwmfqO1CP{}AbStBqi|EWs!>cE$E=E{OS7#!Vxn9(Ko@F+#fRBWN0*vU=MGD%#w9&T z4Aw^PZIQ*=&*(c zAin#7>^UPhgN721y;ncrz*V^MXWVAfvD^R3uH{`D^D=eMx(tZaZ-#C~>@RR}fYL%c z`~cK+l`Gh1V)6nI5q!ekCja!T8R}QkJ7v#)>x_IeNr+E`ab!> zXT15=3Z;~6j6Z{$#9rn!$dt{_>3W#CjOF&@-VL_qS_%_j+mm!LOG{{lgJbDf9_B>B z!>t~32l}<^lbORN*HBobiwndnb6(jwH5$L&T*$C*ok_fjmK>qfY$A_iG->4yENJ{3&VKS zwmPMv^;^+z*L1?U$SysZB>`oUM->%CnPeNcZ14~adIDn;xcj3#j8$`*4prs-Z}F(? zbkwm~c@Py=oZEH3c#tmCi63g8Iz z1_elxoC9sJ*{IW`au|huh17ejG!Cs>@$aVpeuE8(Pm6@px?krw86*C6|!r6JUXf{n&it`s*x|Sfo zi)Jhlc1xW?3v@)l-s?I_-o(|`Rct1OPU#0BK%F;?Hk-}cSw?qS+A~3_VGvZ41P>>W z?`dT={*`f^8%8O0R$ugtOHKXl!>0@S$YLaJ5nO`y2^q1dd`xT-JGki)|gL$-toVi%>pAt087^qDbXoUVOTUUn8JbKI$m`_5(y6FiDpJ^ z`xZIMDPboXsrJg|F*+o?Mm8eHZ)FlH(gAt36QUQyxpGX<$}#|&Q25<$sfpciF10PoSx zngZln9k6x3QpCh72J4}2g{X88yrTV6?kK(5L75Q@p<SO{jiH-G zR#im3ezw?Sn0Bi?OI3Hqd=r=U8(l2O#uI`k);#qW>*t!!7r-k36ni zAJzNTIC?*d1{6E&o*3`KRLzrW9x!{-v1P9N)9G>fcy3%Rq$kd-!hC~9_Gh5X%Pr0v zGbAUB*k89P3DLYLE=B2(^=Owx$nqd?WRIbGbSfkt%6?~QWooL}2A3g-iATy+mu!%+ zuM1pPxhjxdjWLH~sGfRTXo;c?pI8;hy@w%!y7dbvR=c4_W{0S6*Ke;s>j7;lW+cRCPL3{+$F30gnXhKLQ$Yo9ZL zO9pSD{;-YJ^yowy(96)lquj|%9><-INH6S9 zf6Pl{+8?k)v>jKL`$c#FhW_z!m2T9KJI}>~c|+568$L!9h%F^;umf=Fx-*DO-LSO( zcAbR9od7%igdmb!*4U$CHoE&~ek(wYxRKe!uiojmZJ(Z9yQuMLc;-UzAG_DukN;lvo0IK$9d3;lNIOxl@ss;!2`;C2Xp068pJSG<&|r(P^g zZ~DRTLKZ~BS#41AnF&4FbG<0fo88ootred4$!rh_mU=5nRps|GQLt;RqDcD&gLdu{uFxdO^I2bBox38U3jL1Q*f_8QF*CidEP9VJwt`a$ z-u^`UUE%jM)itKcORSigRf*q6N2kx;y~rJ&W(AD{zT%?3lUS>2{)rQtt+A3=>d1$D zLG&H2RP*v)B0vXhuwXJ=c|oytD3fPbu~AQw*6G852=8@5ewV?CmPa;}Xo2Eoyjz&p zmgzE(lzfzwwCI68+$(H51{EHfWhdZ_lDnG%Ae|S7&V^h{qeTT zMYpeztxg$MN;-6hOV=HH$Y%+I-wz1ahvKgD#R|CRGav$_71unOReOWPLUy~#S}seF zGFdFA#*MO%a}EcSV;Q&yoEFq7nHe6skYHKR^+99_gYEm?f@1kT+@ik@9#TL4jmMWi zwh3a;2FZy%PeipObJ#+w6*pwkPnI#msCcC0@hiMSl_s>? zdu;r9%o7DL(}3qwt3cwV8MhK+;&b=4q{>JQ`Jsd3fkl<^MBxfqK>9k4Weu-&A1b&5 zUX0_AO{C1;>BvBx?(h?u-w_#opark%ZMH^j+35~r!265#dw(?YYNi~t!4XW?xQ1!9h%xIYYS?k&YP^f{P54z2F?mbJo%`f(gW5>h(|66cRWRe@3aO zJHZy^wwj6rM^3Fbe_P17Vf~ z@rHG$xd_VkM(L$Nv+32}GsX!?yK;ga>EyoU%R}bvxFGyjE3Z7V6`d3`>&lSP4;x>D zrk1&v#&gTG6^ol?M>m1;69<6;&a%++h@q)~jTA;lCXkk_U#jU9<6@vzRfXDTatphr zX2yO}Mf1Qr_c2I=9Scnb`6BWtYs%pUE$%W?{{FMsPh`+hf<{h^;xlf7P69 zQ!0o?+@GPx2yVQ9@VP-5@r)JkWIEl5gAyeShKN?aJ^uyMr|q=!kDJ68$?Dvqlc>Z! zJpJ)QZd1+vxm}r|0&1`dZrdkc0JA6%;lE6}LT zq&0Q*TXlmFL)t~lGt|0qU@WH|gP9b6JhE9*E(NmqB9 z0R(-R^8S~MwQy}QEm~;wkqKyZ{WXCx4wLsbcJ8yxjq9r|_e*roEJwd`U7d3(0O;@H zh6>KQ70b;J{)XHOsaK14dHA_eh1C;RMqO&ZWHMtjYMBe+*v&uGapGAJKLx{nV>dJ^UZF;Tcl5jGSmWL-^;GjzlclQ z=}+d|UX|W;W?7SoW?eS@jm!Z$qn4jF6-E5phuQjZjwmAuwC@U#4GI`*2Tpeg`!s=8 z`#jKG@695=RtC>gl4THP)cw)OV=a9P=nbWGl|Iouk$NCXOZHW{QcglUn~#wD0B<8- zAY2fF63r9nPuSqR96bNCX6nkNZndNKzG+Q6RK-A|BZC#?3$9!6=himsStyNY_z>`* zNt$M(wNO~-y*!*l^`8de#jj4p z8LX>wGLeoh{UysPV=h}?x2E+Kg>zuuD4)X9xtlYRB8S=Yb%O>CVAIv85K~*N=w$60 z>8tx%M1`LGOGjB{js`oXC07l*Rz?2eI^ezx0$W@%iiWv}j%ik+bbwmhJ?Ck8xog=L zU$xERWc&4J-F~Xt6JqbQFuA)5|GioIJMxx&rq-23>ytSH{Kep(rXC}3Tu@YodQHlN zH7M%9fkM|t^Qr_SfX0S-u5001gTVX2hF&pL2_0zlq40>DtyNrFadcX3zVZ=$s5_yZ z*My5qJI3W7EfH4^o4ri#gp6bEE#@py&coDlcda{*@axu%z{9m4Gu3Q?tFy}ZeSnt((=12&;+Ai>5o(9yV|zE<*YFF!E2)akXY-af}rU}eP@XL!QYC3#g?`?PLp zuenYOSu;Tm(Xz@qC|vrW~)rYp?`kW z)nT0D)+Xj((BF5|!p>ua(CoOh>ijr;#P8P>gr{1dY2j>F%P>h>14O-zQ~P6NeRKVJ~M9-Hh$YUE#;3u(Q5;J$HhS$1H^|-8b->&-HyO@+o4YyU_nsE#ePYE zT(@{z74m2L5-H!I$!AmKB&%N1pl~hI^@eT z2W0hzt$iEOe6hN@X`U8kP(3HXg3Wrhn!BTCuy<)-HUPD8>NOUL&|p%pXo2UFub_xn z{>F6BxN6Q|TWxQ2?FvB@Czb8Dp3%qicwAp-(CMRSgpo>X6>SB%OKhiCd?0V9z|yjX z=KVYolBCv8ko8Oa>`3K@T(b65G9^f?CV*}EXVHR^;qOU;48wFAS@Fry>RNdR-Egsw zLdh)x=;aag3b{hxeT$koWeJFM=4%0aY&v$@bGeN=`QY@`7b>UXH5xoP829d2%C=$% zq{ediOwu2TRNXMDC;_9TPihTYj|9w%2I_u32SiukAq^PSJRVBCFkRnQ($EFRCID1N zt}MZbwi1e4y2+-j(%)UZc=!lJx6+WiY#*_TyTTwm$#|mEiMA%*XWbBkyX6>aj2UaI z;EsO6%9})IWg&MD(!fy}o27w~%tV(KlqFsF1Gnox#;bxh$s*DU053rjKl)1q{NI>2 zf?W+0cw3i2n`NJuSsKdGW)4v7-vD4K?rv>Z5}U;j!tJ6dSa03Cc(F4czr`?>ZNLkW zQ!qrKG+far+IopD+SYapZcT)9tLIW`a8>w;TS3$Bxc+Esl8idTxXF!@S}ch;SQo>` z%3^4Rwzr;whvFSY_%8K5vU>A?s?C7iw8?Sb7!yQEfzb%#1&|XHam z-KIW>U{iHq^{!s>g?UcskpO=sY$_s<91v(}LF9ke;l|@+?$4bAqFr7iLAHdcukQA# zg~$oB({LVKMRNyXGTDMWpQ99w3Jpt!0+J*rQ{dGrnKg@Zs*~dJQR%L-zF~{t;N%gc z<&yfBaWq~UG=R^JoySga__{I3xA;Gd#c%%AFyp8{>o|T7V($JE?fYlcYNwz&>XKOc8t-Pl&Zl{dY3AkA)%iXP zgu3elX{?Z0qdP8xb0&ZZ{ro;DT!d0Ln{3QI1~Aw?m7@8=^3}=!7unOmY`tf)1-$^C z&R9NN;Ye>{T!Z{xv!X4<JxXpFWH1*;{|6oKdw3CHN~Pp+)r`%yo1I_xHJ z`gji{!HQI)Zn6*}sg_6`7*AedgJhp8+hFB>QnSM0@9ih4*!bnAcp0FchoU0&hZJ_U zp2CrbUB(R=*&YHuO_he@1a-o?Ty|(TvO7~jq40__>jyehjhu%UD{7afRfH>?L9U4O zYw?WAMHrzs?+kR2j;sX+AT-g*637LgD2uvI6O$1`4O!lHi zkOr!`%l{bG5aeZsVa7kMwb3!9Tw|mqnwb4gKE`iJ?uQ4Ip4k&}w@!R}NeP%(S`PQ? zI&f_JVK;ckjsy1|r}7G@CUjOuG_gU`cdT)ZbcIhWTDpQ!__<#1>Gf%^nWur`DasG| zL2&h}Vxq^uUl#4L$nuT*8nVE(Y^f(Jk`1(v=u|fSFKkOk!L0D$)Gz6%0D-~?^LJsr z#V0)UzWx=!@casij{mq9?=nZLLGt4Xhilic722L+s&{wYn2`#?wo240JtsVAH?bQyTAD*W4)^dRrmO4OSUz|TJxcZ3h%&SE2yS7TX3rLu%%<+Eh|vKxSY z(#I#ah3qL_cnH#CikZ)5BoW(uo=A@GYwBQjG!ga3FREtRZNAWaAbu?A>O{NCY3GJD zEGZS=>gump{xwoiGr+kGX_OI~c8yA?56N!xyHbzKbJ)Gp2qyRBTx6RVzkDj z&ClI?I24=p{TK%&Nw>cDW-FvW-Hjw|6G2%$fDPMX&!;nZ?~mj5u7Rr#Xz4P&ZB+$n zcmbh9rj3oyKlzE9R?n2e*f4-w7AC^*ly)Jcz=cPxea;|b;SSrTNh4y5^uoS1x?nbnMNJT4c z3YyJ?0ThE6yZr!M?cLHQgtFNt6^R@jC1qpe=aVX#M|0IUVahUdXO_UzT|i{W>SoC5 zwUx3FGq%-Z`h_0GGy7OG7Ck&E1dZzt-14B;ab1QViQnxr8}4Xb=Fixqj|nBS;+STg zumGD{NDh|(Du|?Pa*52X-5N~77YJc1O~&Wv&l88n(HvEp7Tu+6eXq*DJ7#2@s-lGw zhep)a@BNDc)3X&Ys_z1hy9Fg&a7|Y3_pcD~0+Z`Gun#P?_ePZwE2cgo4%~0 zs~D*JU7bnxdZ!%bdRP|0>s68)b^0Cxd<-Fh7^ilquz((r^!B{q)>W|Szm}aVwy?5o7xz#xBBdEta zIvqG6g(t3EI+3%?m>rQ!pAX78h9Dk&3dz38wFbTG8f-R)T{m}>yCn$MJqwNd9%{@U zKp>$;pG1lc^{*e@*5&=}p+rx;+R$6<2M+%3HIwIIK>VM0o`>r-Td^7hh$&Z8o3$YW9iNaoE={IG0*QHzCE0a!!SU z!>K6T4bK01k&<$glM;wCdI^KQ5)tvhG}r19+Qc&zKs$4r$$3&|3B;e%P^s<01H=P3 zcV&Zvr})D7h~Y%-_)b%gx(QV24hbO$&fM8HWCWdzd!fY(2ag{iuqT(!)flfH+w1q4 zlD59Mk)>^hfH8cZ{Jt7GqVLX_HY9Fu#qzJk?CTnIfVMbZ9xqWJ-w#1=#h>V*QJzy- z6yE)$3Ug)YEyu@l^{LPW-r|p_07sz_0D^L1FZE_Z-0H$bz;)miRJrVRjcjmJOWiN09`jN`@NjdJ{L{8nZayS{=GvHxBfVeta1u%g^eYrX zIOUE&i_EwMOz~x#*_fxJ!lH63b=J=gm$?uB(-f1#(f-j~^xE0jhl#%_z7g>PWA5<} zqaYyW;G6`eadi4JQ82;X2!QUq}$Cu2eq+Jfqtq;O}f&b;|L;N045HX;>E2fwAMP@@o#lD@~ zdQI=uXklA`HQ6!p&1GDWxTRX+<1oWP?6_3GaDp5aVM=aM9;GZwmkC?H$xtRn6HYLU zuo|}0GE*j*I8-}F3ASXvRg~zKfK^C!0+saCb+YIhfN$;-#gi_=sRFGzUalAl^CZod z9LlJ0_#j<84mJNB$6a@o(d-9h7a*W{*YRyfol8QyQ8H>L3_Av+;k5P=Z64K z$-Qp%eqva0$mQOIjgyasCOyM?VkDeXe~7W1z>Xp9Dj7=IT@H>?IftTY8s>WWWsOXcZa zagxIr_Lp0~1L$|!2RBbfC)H0JO9q;>jV>MO! zgY2&F?&*Q3$C*(6CGTo{-?cp!T|*G3UeVBDNlORg+o z0t~QyjFqlt9foJ+dRRD?K{`A+mwO+hPADDkT$ZbES*f8ob;hgxo=(`KV!E$JRwN zq&_)LLbGaEyZG`N)hh*pZ(~EHrZNgrL9nv2{NF$^<#@=2v2#lQlNLpZA*Yl^)|CZP zx5#k;!@y@nUcVtZ52l4uBSTF-_Pi}qN$02aM7GN&NU$NrHE%a^f!&#)&-~jb-0zFF zshW)t3L;1ujNx6^OVTh9iQ!llNDh%*wuh^FtLA88s58Dj&0PCjOhmiCP0H8nih!j# zA%MjeqgoqGm0gGC+TKN?h8mf2*~P@rU#W!t#C8+2!y9gq)x!&+`^@^^e^rXt&6RYL zS8+c<#Kun`3nz1IIGMGF_KG@+mu_5I^rM_$MNPa~YS%9>8`WkMN%-<_?c-V zLb*2>6_m}|2mDN-nZ8T$GW=7D_!2|i zTfdB#?%&9T9vaPa4a&KNzndcUL7@h1$8S2QC&KWN7ri|1p5H$wsoX@BD$zuJcO%#) z)6ZV7Rkxin7YNkgO;STh!7+k*X$1Ja!-V2MA)P@C)8PJ1-W&CDI-`!fD9cm~Kd5YE z)vJ$6D^`ClDZ2042>V71feRMw^wydn??ES)&-vDAEjQ_{Ini+@l#Elp_?~om;ZLo| z^U}`bF>;7@M9EyR8Kl9@Y@b@;bGMKoOTO|uKHJ&ZBHtn2@Ru@*YYnB8CpiEIRCE&} zpAP%{uFj0Yvy|%~r8Iw{6my>?7+pA2b2pAj{XAT^*x;~j+6C8L1iY~QU> ztC+`i6RKX@3`AB>%-|IK2~2+W+hejHp63=$>LUs%f=4YjuAB4;7BdE!&O7Li&PfmsJTT5;K{=d!D0=)y(j4I zD`1F`CS;9J6ab@#XefogN)WZYyHrje<##$)Nu;@~pJq-9H(L?5w*%POhpuQRA&o+- z@HuIUW9{d`ZQkZ$d@>aa^T6G#AxC)5&v^6DfxC_#m?713v@g}>aJtHWy}T=ytSE97 zM%G-_<*Don#T~niy`w0BP7l0>C-JHg?$7$|w`05!G<^~+&VZcTHW+AD1Q$)T1vgfC zJF4+&iema#@&hbEL|9|c?S8Lt?nP3r@O611aHEcj5p$FTG_0U3^@nhs)4D^SI;$N* z*FfF3)~N?Oc!f9kypCC{s2K7%*JO&k5hW6gyKPFC;V}0wMW++5sTu&NiBoM%DuD=4 zVz@Y2fWA%(&^7qCvIP9MvQXyZ2Bx~MfhsIu;ctRn{9WY=IvkH?(VMilm{I=Icb)QD z`a`;yTSuwZ-WeO@R zlT(P&LE92@W*<}-iKsV=im`rNy%Kdu@{Pp84*>Pr+z(R6Eq#8jwK;1O_6>=*3J=jg z1vDyhnOMy}1s!W&agYTHb;abTVp=Zx`eQFce2l_y+oz#*D8XcgarteZiqUs&U+7)C z16dD$j{kD$QNQfi>b?hZ>dg{oGz%~Veltv`Z~yE%6QXMKdO2dt?T*FvVZDF7{U&GD zZVJem`%59$#q?;f=Gr%VLaB4c*1D^$Wo(*}^Dd~!Y?=E!<_=evBc5URf#XD!;WH$9 z;7qE>jeOy)28LbkU@B}~Ab-|IIB)u1ztK6G8@N3}L8xAT%Fx_l5X??an03p;c{;bp zve8M1D;CF|Wj-T>fi;Urk78NP_I!UZDGo?3=;0oC`z2W%2f74f*_!w4o5^rEdi(3_ zv}8!aD|Mp-&V`_*f{M15B)iPQesNG}^AY(zEVk11hP}MR3>7s7r^>z-y-Qe}Ttvdc zeI+^s6F+oNs$Gm8e>)f~nB==))%7$s=l5Cp4EfpmxLhhNOc4=J^6E|2-ssZ{97jNm zLTbsPH#Om2YqR<;$wW!^8@Pv$Js;kQmnN1cuC5rG7ArSWjLsx30#`yZ=nN;jCrRDe zo#K@H7TXWVKx!!P*Igc7imM~Qk1HyZN8{c+2d)W!_+ue;PvwXD+fEg?tWEl}Epy!Z zlP&hX*bHieCVAQt4!jf#ovFWXR(b%_xG75I@JjbWOGaMBn5zm|gUcU$sMd|iV zqfvUjfqdPj96HBCeXt?RL4usC%ZZDrR3Rn#RcB$a5YBCJx*}2X2@4jZ{48{Nn^IcD zqMHRe?XiJhM{U&m)hgJjY8#{P_mI%s&S+#2I25lnoCewS8}tmJdk0{Ijxr$}hXE*% zAiLo~{c`Ibaly(MCcBV>oMHe~G-9Fl4C&a9&;!X0#CQ{EObq?l>NpjQa~KF_)lMNJ z1E1>T0?!}9Oa>P+FTKi2FPau}1{Ud6J*zs@3;d=YOg-S9G^)3C!cYWx)YGerS)_1X z=ydxXrWC`KP*pAMtjp4zoZJ`!F+nK0*=L#1a$JVpQ9NK9coa@emxusPaW1d)K=Zo< zZ3)z`Ai|hsF)k$9`QsYwO%blBN-7T<5M=$b?br`zDW86b&0ILr|0jKn?z!tu3l+_j8hxZ9#V+`RZC_hG3q?J4wXfE{>**8fx z*a`}N$j-6aSJs-;X*!DLP3`z?96}07n)IC_w8^2WWPQj@foOA@A`MB-;t|iV74pSR z^}}JJngxmqWeu1BgcNS+U5Y(mkt1Lc=__E7oPR|CRf$J9uqs%^rU(-{6yI+s8xq2h zTW1{nthT0G?cC_2LKYS?pau&vA6t`J(@@Gef)2NdtRA0tTfGiD__a@!B)O*Z=xBWHFhnY!Of2)j`lgua8!cc!CG&bgL3G4>gf%=O>2fGGkCi zyawnd*JK?QGL9sBaGvo;jWr)AyHzp@Nsjo$VW>`i*ZB$TU~Ha-Z__xpsmIm-bTF1i zyq1CWVO>kO!B6u5GA(ISAlM|gVEwR6u(hlVW^W_k({f9%`KA28okNaQDu=jC(mttM zr;~dbMQ%sqwQ-r>6tnI9A8L^00FB~JuMPNwPD2W0@jv;%X7EUiGA`pegxS2J4GHcN zG-VLJj0s_W$~Dk{5x~6 zPc+FOf6lhGo-`M5>?u*s_seI(sf>ogLc0zr%qIb?sFL1{K1q@`;Vc}@Dc#&%EleE# zJvy1%!f~>bu#f;BNCX7nnB^@Tt=z3ixY$`zh2OzLZPDbWS*8hCgegP@28*_t8-X>lV!A-mFR;MZ7Zb$0|9Nr{b3!ik|_4aqt}s% zjnFT^H(4211G<1aMnRt|qxV=q+l|r(j8o6eSIFPo)Oz>>Tvffjc-E5aZu~NqJY}2L zUul{sKQ_%faUj4$COIHC4Ww_yZpWXGtA38+>=7J*_c`}r_{T_`gqW$ z^!01+EQXs+u^q(_dH3%rGBIz5-*uv`7t*N{VE>&rFVc$XAUl)zThsKP*>~{n72>`A z+mXn`tcI?{Z~o>8JE&g-1o2yfkM-7_UBO@aL-2DM-0!R_D^ z^LXfH8F~!;+Ni}6?p6m@$-iDb74S?aOL40`##UiHB$?it3OO0wSY<++yK$RJrqjbP z>$Lx_p=eZGWz(@6fc)iSL^0>3S0V$mc-}N{evUMP5R=>mc=&aI`FUaOY+C_ifeyDy z7sjZyBO7n35gA3NVclk`(hnT&Po2`AcfK5)JSz*&+ESHS3nnTw#h|}40Jf;=Qqf{C zm)fuAw?H@(7Db_5G{Rtw8GEcB$RuNCSJPnW@gs0><+EHa3zo2nR`c5ck{R4n~`&aWzfBWTCgIUUX zQ!FKiDrT;#LnsP|FJbB7r;_NR0$^j7LNOePFba>!{@k_&Ci1=T^0Od8P9{D--YMp4 zc>dVi|Cv|m|H_|F(L9qGn|Nhf{&xLmJV!|^wb%Q4iYb_pSHsEeK*3pqSk_-uJs^xQGdlWHA4-W*nws7lWW zvzn9~R=^9)0zaQuOep8R54-?hfA&`^St|z5*8X&3dUMhgfkG~cypqg@7NvkgkE+6E zHBItQ6T&G#T+zSlmMgqe{1Wt>O^lGn8~l@&=Bgnow#>K^Qkj4Tjk?)*zjXLtQ>1mj zFcL9FlJP!YIuEGt%5IG^G?QaqwkWsJkvBH+c>u_#b83cGxLY4CHjv?QiK1N4GhBe~ z@Iy`lqyAfrgm3gmy=4y*x8m%B8)@cF8iVM79r_iD&KNWqj@8C#(#-~yGH`KtQ5)IE zqd5r9v$7e}H$0Vi;?^_jt9)uE;bYT&Gt>H6vO7+!KMGth zPF;z3Q=A6_dK7SuHn|pcFr2hfTvBSo2&it7hqbcSF`Z?)7%M8jXhiul0{y!GX%7ag zRAp*%NxYtY-pTCSlQZ`vlw>`iaOj0HPi&4q(JM*G#M>up_!bOEy60B!2Oa;1PZ&>$ z=v$;QA#b&#hPfwyL88! z=unUTx(NF1h-!Xy#-FnrJG8#l(vC|%Hnx7vUV5~K~;d7u15>4X6QfSH^EuwS5l#AZLg@uM5-yP$I)pI12dB6y&H5g?gSAowF@_3zKsA9y3pZ389N z|AWnhB{C$J?EX2IY?7SxK2GO%I9jXaS*GnWf>(+73WE2TsZW71aI(QU!KmeCbxiBG zoT0au!)mVfhn75BZlI zCL+5bQ;g=2(u-KtzifPc@!`vhPm1;rvQ-F>k6` zBRf^O#|ddLMhbiI?A~SjOMFOKe2kl>+y`dJnbw@|8ld$<1jN{*%COIV1fK;kqi4sb zCQ@t6t0)te^8L(dfcXcxHuajos_(-q%+_P7KZ5?zs4K8B!5J@Cr$i9+i+Id!Gz!BP z&PoS%P6y~1%|OGj0!l35KZ!+hrh+-GBBgp_b|YD{K&y7Yu&XS0iq*i`jlljE?$zil z@=T+zKO0+yIU5Uaz=Mq4&ppB}R0fHgfxH*NdQKb(fX2%)?L+?ZBg}wUf7`Tp=wKd_ z1?$N!R1vSHMNHFxH82G-iLyKaP0MsXfpYerM>u5Sn89edv^Fch$;JJxI@m-MAVt;n zWpW&Xh)yhK6f0(Qb7!twOpxX;dugI8CcVnA715W94#m0D7X4?Ci=a`s2UMI!_slT2 z06UD~5E{P!h>ZdyHYt$UqCjGQkNih$eA6C;(FAbo@QomzJ)*5WaYwGVNeofp(Ci!} z^K{afxvUs{n&M=jn2-X+L=5Xv8w~MZ0j{P=)B)8_hs25~RLY9dq8hY<62mGg35_)A zn1+PoJtBvHr-*?-WdoEIy_KW70_ZkwIrn;I2g;OgO)6iEJ!qzipg348cG~Cbd*56- z)?-6IBA)D4x1F99tg8(o=+eVFBD~6pUk|;U{R=H;*k{c8DvFCEX8;M;z2TBOw+~I~ z;xk#%&2Yt2YW1o$JQ}3GWYJfDs6)(KBEmUfQ`$t$yGYiRN&ybZ^X3@J%}Z*~@QNI( zutYr4c*5or$_k18Yg7ylDwkzR$_GJqWowt$1tJ#g9eT#*-7}ujGjWK*ggDSmnt*&U z2l8bc$d{u3_#&xELuQlrn=Y{+pt7A*SH8pf|D!-IQl)^X>`DwZC*qrjN0GCM#1F}D zZ{|q>pEmX+&{k7TbL=3BqTYf0={e6Cq-5t3o$1L#Il!a{Vjxl~n_alg-sx*29xY(} zI@Wy>Lj&|88~w)}4X~dRVrjo<5b>a~|L!;ittSrs-m`ZYCy=`#bF!MwWK5e!02&9$ zf5rjuWLWsmIq=Obqc~_^)ZhHT5xhRcAS=lu6en=B{#R?oC0{IybJ-IlZ$#K}Ctveb zF}T<(gFkMlFP?@xX~aA$7~ba(4xNR@%a1qhQ~kj^v1(5@@sgvZ2jaH%V2jq zwlgl@u<{v(db|zC!DC|M9J^^*L&%F8OvgQ0*Ln)pc}wQxsOts!u(1mS3ghY?vP_JLjJO zQsplS(PgJtZw=o$LUvl|c95+e!+jcMaw0(hlBRf)F210}U~rOZe8(+@alVCb*M?EI zX;sTO0;97&FgkPpi_XyFnBwQ{{lNmhMBjhL;BcF9*%ybESL#(us1Q;nko`0}ZyN)e z&rgM9PVtQ_bo$P|&*tfbqv58>==!1cm6i+P$emG+>wIVG_^&H_$q*fyVpJe80i-}? ziUFAk_CL%F!yY0Vum^BwVP@~Uwf`=-BsD;18u@r!dDuLaP%FfSjPZNzE=B#+lb_%R zg6}5~eAYnl%>%(#`5*WqR-ae9qh`oPP9J<^9HLg#nuaxCXLQ=sW1IP839PKg&($p&TM730ScB+lm+44QO?S13?)ryBW7eC4Hd;}0g^aCa zZGOsBovimNFvrzusgUW6@nyjN=eI!~#HG<{NGrYgrtlY6?czauN)Wr@;`^x{tv8ZZ z>RN_H{`T&pm)oMSGtR(s901QT1U!e&zjFXuaWx|-LRLOEb97e=F{Pyl3R41rbeROI zUfRF>AjY4u-v7_lgV;_|r_uthdeAMS^dpgmd6gQz)?Dv1pAWkj%WmqMXwNJt1$=@1 zxCchNGhnpq|1a4|D$$vm%StOW$Gr7@=e--}W2eLgMyEUvxfY(9@52C>2p|K3|I1G7 z2T=>>sY%n8(qsHf$n&Oi<825OiOP{aNKtao9<%UiF9$5EJY_&7zV1OFnrnVhph|dF3+{R}L%2J&5G=y+2lo zI{xIPkOFuggl5yW9f47B1DFJxfJu-7m;_P(Cke8dO6aGFG*cyyOuHl2T)HD3nWQKS znnCFmhgsGG%NPR72m;IC{8#1=g-Qnu^as2b>9($#646Hp7ux0E|H<<#gbN3f-Mn72Usl$9Af_TZm8H2$I9f(` zU=@@PFkvJ|dNKTE8vsUDg}-6!EE1$i+%9|x&S@-^<<1%DH+c`ToV+z9;;s=M3`@cP z;y#E~91m_qzkV+rI09}N!~eF7%?KquQ3-hw z#Qe2vat=y;C7CZxN&zb%2xoyH%maeZ{T~Q{%ZQich>oVEnGYv`@cL9Gl5p{)M6Z~i`m zhrt(wOc^&iaU*FjU)Ef$-7`GdF8TQ|8rbt^mdCfSYo|2b`Qx_2v}OBRb!~dl%FU1| zQ_^hf7phsq+j^7X74ed|>ZpV*=@%)0BVz8lP0lys2!0|OMQxL+2CY~4UY1i%9Fww1 z+L&;P=KH^UGGVHsjjE;4Jhdrj1nkCg2DCnEp+9`u?$vg`Mmp7$&uj&`-)01V5*9}* zt1ZrJz$&-`r*#CJ)&y``fd8f?gO$OOy*MAw&##E7;9v!!hwtSk0GN{Ua~hM<`}1r) zw2RKw=)c8VCl5nhn4Pi;)EY;i)@*C4kadjkW!Q-QrviG4iwT#K#E8j}KBMkIwV_az zYL($ixWq_ArE2HUV|bk9&GCq9VI66+IVV_YV{M(8oWZB=hV`=6oj^(P2TBUe|C1DU zSpZM0T27o`0hwZHo~qanS??I%vK$Pc@6ZnNWdQvCduf8fD$_1Kk{@Nbay)f(R$yOD+=^ZFQ9Bik8Q!?ZctcLUNt(S@kY ztPir6M9;|HA(1ltf4+|~kc<06#1@5m=`;+8Xu^{V=&!qPk38vPU;AXR>qFy%!r^G4 zwY9R`a84r5F0G!lIe)^->%T zFY{X7^a=k4G~7SO40!t%Vtm-GId{`Qi7_5lWX1Uz6b#*Z5UGyf{=6Sty~mmiqu2E< z9_A6=6BRP_J#`4&9a%lJph@X5tE8b^?4%tbp+ATf0a`eYx(Zn==xQSZ^M8sq5`^w( z#^{K&i9&1V~i~JxM5zmuk@Z1yHFRpN7uj0;CQ}X!+dNR*^*jLSGWqul@&nu2e-o} zKdT!Rx>^rb_XSI#gS?+H!c!cTnK*TxY`Bb)$#U}kE2x-83BZ0|Ysyi7-wKuk zYoOny8}xc|?MVjxnwn3Yh1%uaK)711=NEA%0|l~CFq**xLIKH|ycaBv|C2zvN4&A6 z8ZO?t7K2#ap+L$9<}(91T3*_F+p7rImTPt5aFrP7QW-At#HEw*y%hu5o*BTO*83?4 za?h23y0|bb7fmH|Icd}L+#kRpMq&| zcg3B@VIF;J$fY?z@}%eYm~m!1u-x(kwdc$@SZ=id|5<_GY+^stU3X#@x%`uyv`OlJ z70l3NnLu2XmvQE#cH@i!%@4IAtkbWvnD%J4-#YQ5=TUhq+K8 z1ib>Xn#E}L^Lz7T)C1$~+K@SdtcUOU&@!&)ykdbmx*vknV8eCG6p?$tYA^__2KipA z!StOkd`$mLO@2~ z2EDJHh|JO7C8R9F;!}CD4D!8LQ#sHT%zAMJ5C7K{jJeu$_+rbo+$em!fP`3~T{wXx zm&8ftfmGQ2)Pl^u-91k}uwLjRQm;}NXpKsYq*JVi$@Pj~Fs=eIVgnh;b$kRyPf3&H z39E(wuSx;_|1yR8I|B_|v;E<6eULB={4#9@qieytwqpw)I&mr$1=(S7CloNA$Us1r z>*k1kEARryZ@wLUmS{+`%)D`*fw_H>ChD$-Ln!#FEG>oy77qa+V`-UhJP#G+Xf9~HykPFFJ4*Ie7LU3;|E)jG8(n#k@c69gk z$;9*6bnhA{hgdnV9hKdj{f*R5J!9kdoM^$jJb2_q_kykX-LFpy!Nkn`dS`e!MI#)W z)uC_olAPpY_hKwn;&pI~`j5>omGE!9P$QtfsfFZBI3X-MFf}?s0M`-z-_Y0wWNU9&|8@3H zl~LJ|FR%4RF{eT|rmKUy&D935(w3I}wSgukl`F?+>=EzzpbYJ)B;0zJ@|l*Rjq6^5 zfJ@Nycm;zfabQvTLl|i?cD(Mi89t5u z^yc|ggs6MnF^yM03a|D0n7w|!v*+jpYc$P2{G>|*sNm7;IvvEDSw~IQc6*9Yuy?`` zx>)bohEHKj?t1Bf0Bbi;VRP1Q=(LZ6fac)IVQ>Cj*wb%{4~}cT7;*U0m+O5u8_$Cq z_u6+ue}3I(#kE-cre|_nkuUd#;_TEoLI18ib}eF`CX}YLL7q# z;6DC9`y*N^{d9`{3;>%3!eG+Nfk~e=DE?JgHGB&X?-2YeA`BZ{DhZ6h!!z+)*4VQ> z3Z*5WRlX&Vd5<)o4e;D#wSHhx&XmZZ*34Hb(L760UDWdXu#(HQ5v+RMMm3qaS1CJY zYxBVH>_3K2duOMpfQIfbw6V?L2j2X%5in4dq*C~bB!xnm=`I6;vP(-N&3-Xl=9kS>pr`6z-;#oMFH z@FV}vueW~MX>e)yiUs5+V4>v(YTO$N%E%KP?$}6v@E@As@lXcFum{gb-FTD&Ygs8L zn1cBUk@slg#y6nwI+;=4SQB)mBJg$u3vwQ}UZgZ3+Jl5p)5R*IN8gXG8NWX@&LsaD zWyEpWd~kMqzEsXjb8LD37CT1Et%6g}Adr&eWv1M@xj;G7T~mn^NI9#A$?$TZVQYhd z_Ut3o8qI2*@%u;Wlj?}Qd4RqT=;u^}+S<4#hHZQtSHfux2Q1Fv6KA_Ck`Wt!)60j^ zksJM}rpTZN!B$66Bd`nRu;OBK6Z|VXNFtz)aLXaYGET(}$6A5-P_Me^24WWT0(q}RUgpx<~$^&5TrwNMrZfw+U>}Xum zngP_hgnp{V#WQwqJBFL2^-X-{j}#~gyJ~3-QCrmJ?J^DFYK&u1oM^B^F<=Lp+GJPa z%z_n_NSHxjl)Vvn*`S-ez+Op!Xr6jTpu85z zAAdm)78_`O33bHi*|r{J@8*FY%ahO17@xkU!9RYS`}Vx!+SOxCTMaIiU_~`MINe$2=FQz;SJMs=H9awrcFgzzNNw{aCEXRlSE__?$G}VSIQSAo=i$RK!C}S|- z#!V@0(lfYYPugDt&N!slAe$qFaDCBRLB3ZBRt8M5-FeFGQ2iu;mc?m_j0(|@Do zj)$e_ovn8SCw^JSY}+v?N!h!9?)%8rN)@JJb7q!UrF%`96>Y0L4LljdIp${cm#|Y> z1)E<^v+4K+urtai6Wb-*Nz`m)*CL^l8ix}%p2C5eG939Ij6Fk7po#K+o($?KukV_| zS)URtygHca)!;OYRl^Oq#=*bjc$auWeUZ$&@Q=ZNq;f(V_8X1&yMzu?NVFjSzOKRd z=t;M+{8MRt@8kh`Ovf3N!zV67;wWWK;ndMm z)?gkXYGLYd7_=wDotfHuPI~VJt5B!&UH0q)=r$`m#F7*(dk3gW(oWvIHFZWAM1SPF@cYi)iVukOFgFWOH!IDfBoNF#ZQ?t}`xMp>jY8c1#Nl zz83J*UBOe=eL3|7BN@uhb0&_`xT27dslSw@zp5k_B2T`7jFtb$+`8KHVVLg zHU@_p2Zu^G4hM*fU&dO1R%9ns9aWI3LVMb>8}Ee7Cf{8t^noq``||1r#7IoVeGIt9 z{-BTaRtkZ@w$UgleYyBIJGEK(6WyOFRPwH`o|wjl1WXAakJC{i+i2>x#QYF=;c+~1 z(7-lv$L4kZ6NMB;#!5T{5*Q>%U{iIp3Y_u==D={)y)Ei%ghGzIx=C0HD`W%-i! zf|Bm{a3JnEzQP`aKPN!=ZE&S$H%pf%`68OXg38A~U!husCO28(=+6!TEZceU)dFp1xgYGifpPMIgF+v}deEb@wjd7EseZ9L zUk+L)9&z_4Lla|Zk4Zz8FD*ma#^67Lt|0XGvm!!&H;>@`#Fe_bU3b~$)t*XxKbZkq z(BvHgxi*%PGLlMxg$&XR3IoJ{EBjia_2oIHJJ~(ITWSkDSJvXAv4L~$v3CRZ zi5?yapSF>no=7Z|v7;ik)}dGtPemN>=+3T}&6^$X*WYWQ;cB&~>o{nJTU}@Sz>7f4 z`V(|>hOgt8(sxwB3^t5Ia8Ak z6DvNae*-NiDRh@YYGQr=JH3P6`x3tOBEU)XWiyDtLA$-h>)p}eLKERR^6#TQuM>+% zWcLuOk}u@nJEdJ!oby^vR=&A8zq8P}`RxZy)A3~Ybb}Ifn}Z0t@*X~0QJyP zW3W4aaeS0UnYhyxST!A}C=>qabD=^Gc6bp$_ri$O@=0oy6O$|LiWJCcXrfjz$Ddg6 zr{2Z>5{H2>(!nI7EcCQ*a38Kb?>hIIjB9`^Xcf#oKB?sTyMaG6Uvh9?yTDghFl{4o z1#449k+BJ0nLuT&iK(yWcclU*!d?i*W64;gT70+u@AF!WpJDd`xs(scYXHb=PawiQ zfC#5Q@d}A;tdrR@CGzIH?VV)y3$}ST%cb$Xo&tq(N0wBwA%w*;`FEuGCb4}g6_=+< zd6Q+$Dmx*!(4c?$1WK$&P-5Lp;7SZ{yikfv+nG5ja8=jqmVA&vrSipKiWV!>c>eml{aeRBw=vL<@ z>fbyvow=QmvG_KFU79kmOQU5#9K{6!DeVi89{wgprDw zCq)2luRyR*iKw9wNQ4G52j(ktbbk;D8NL0La9vJC9#85nj@3x9&JSAQUdn2Lke|U2 zgnkV{KIHEC>VL`$4OQR6MhxjsX)_QWO@W1htEI)0`J*gGjo1XTr;?IOZgiWkPh#{) z03c#Fih@!KYrr^*gD$@FV?WmPy@mxb%{(YY3A|pp~Pltx@`132dY=9r^05+(G_-d(ogXN$Hr}M_HfvbjMOA@vHLZ!=F{w(XSaUy%a|vLjfQ|J%L#E0AiW`tM>6v zBd3i&1A07`6F1Jf6EpW{S8;!B*;rOS4|@|fiP!jiBq|@`;dlP3RAFEtKC_8S5jmCB z*Cx-IBL~J@Rvs90++fV@fH6lO{<^FSS&?EfAQY?TxuXbfFpxLx9iZIVwMseT(^iQD z%L~eOwO85RP8*PALYRnjo*G5+z)D9?#7`Sto_;C8%-3W<{DG;t4~>h24TL&$ru9!Y zT%6xVJuitT&~8 zHgM*O@KTyNZIVgFCM^CsJgh4Hoh(By6I?1XxYT$)SE|U6*QH9T0tutA#i`e#OgdDj zp|zOlCE~{8V6l@9fYlBkSnaI;dig^h<6gw=pOy6uWb%lG-6z=1O+A}cs+K&RQh6WS z$hQ^Pz#eZ1*yBZsBOxRZcA@<3|H@BZ#2HjZ8A%ZFPl|(2nex!td4CIvkP<-~5ltUV zxj`_L?Ea^!sr3m;&TBmETaqB&m(JmE2bwjS?_8E_lu^o@Y1``C43{pC4JjeYSK2i< zc!D$v9&r8kV^il>1?%?a@*rej=M~0ns08RwEF;8tk%!SqsBvnE>b`b^As~iU1)QJEE?*hMrO<<182|#g#~6 zn6r8baIYmh|L-WeR3v_CLz;zZ|L6MO%zi6_^*xmtCfns{!Sr|674R2&r;&5}(3{df zY=$Zf+Gv3rc!dkTwewpH;ltxkI?@Tyf#C9(#i7+3m0QkWyIC{;3aC{xu z-|SV<$V8%zU1@H?VqJ|H^{kD4A~k$?(cU#yaH*t+_=69(MK=MvyjuKP^A!4B_^i7zSD(D z1mZPSH-eC3NkUC7lVFOhX3HxdPPn-Uci)B0^>qCmUB_rm88CouVGFxnr6VR0`mn7- zk>rhQu)WqHf!2yJ+spx@4BfFe_6*l|zL7}D7OvtKulR7}7j3H>CBdMFqcRKd_vz)y zQesKmTUP{JC!%wClN zPcPZy7Dp)tO|X73TGuslfBtaTn)zH~%8T|UZIT8QnG>K-8dSF+uGtM%aJuhbY!V_H z5m+OWn6edh#sV^~zPbQT0E-nb3|a7IJ^alEUY#F5`}*kT%PGptQ0cUT^dw~Ryy>rC z!FdGMBgvXx{4CnQVR92JF$nrs z{|l~YoN6VtpU7OvjCrrS6p4+AS24rm3`OF#QSmWbRzO6cPLUD`ES@7huT(eCU$;JT zjkj0fx-x;SeUzG1e3v{O^k$4(0C}l#(40vJ&6!iaS96AmGO(ZcXtuRn2eNgq&!+rZ zrbTW|c=5-wrZth=^PawDD9PZkC=+N2m4X$zCTI!OgO(8fizQ@&r=sV+oa}H(f7qfa zLyP{III;47#`(X7*@ZD)0;teKOaWo^A6TmL>jOT{##aV5Pv$s@%yicJI_i)i`Muww zpSV6@(#L=Q+dV09p1}q{_t7bK7r`P9@ZRArgtGt=QLg?UaIh?JFkx`85Rg-Nd0w*%16B$}My=L>(N*SVopT4u`SW)| zR%?&QCULjZ+p>t;-nUKhh~TBxN;dd7d1czUJ9>+BJQC7Y&!{_Wap2I%xzIw>m@uQ* zmnOPiIfRfeNO@tgO!mrmeGnlC29cl zS)@Uq1xTJ%-eCLYN;Tp8O2B!;NL!PCRViiq0+5DgP(mt^aI--05eC60q#SpMm**9e z={8n$*ncm(L=d7lo=uOEm*r)XJ4OXDTAN@Ox~8Eq(0)ulz9K|%-nOI_SV3a8IBR1b zlENg+rpTL|=vrNK`rMb4(xi>&Q_BO){1BrMJ-BM6@?!!ov#PMQ`s+DeNF_dD*Q%*n zMh|V6Ktd=)v4gj>$(_#&ec+ZrPh$<7@;mgy3KYv%N`qM*PtmeGEUm&vISG_)8E&s1wjccS|lspxDN^El$HYwz{Dxb+O zVySX$?;_*oXxoeyv=8l6lP@+TC#_wsWEt=lO(NecK4ilWJijlV$;W$nVDf)HHDRH9 zd1?~n0SCcEM-M(QAqTd=R?K2AYTxQ3`SiPQ^#P6?*AkYVN&hz5?d4sAx!8ouwFb-x znxcwkI4XiYu1AyCKMgRGn>t~1^Wix#W#;obhj|z|{S%=1u1T}Ak>twMf|Mt~-0Wt1 zym}qKDvoa6kx!gh$CYO@o(@) zaL1%8X8&MH#jo!kG?&M$7bz>XUCwVbPnfK3KV7I^n#}Ky(q7M~X|K^qV5bpTRw8hi zi^ue4=IRmB7?-bzXJ@4_%kA)W%j$NkEJoB1jQTe2 z1s#PLKYHCLj1037Y#d`JDa%p;#{KkPH8WUy+p=w5cSwWG=FU@vt9X0&)U;y_iwvup z{X>nwT%s#vB__KCN&Ao7Y``k4UFFe8NrngP7F2CNA-peEmV|tpRF_%#-f9-MHRYnxQoD^@incZ@{uD85?$Y%}}Swtfo0zKH@dt;F} zW`lBiy-Li8X%;}plmja|#T!uqc^efSeq|{$9nMy6IdghVT3^S+3O`z!R0KZ(ht5?7|>+Hd4trCtKGR z*vD>)THw#jOs{6i{`Vv$$7%X0!!S&;Imf5BN!9ezacK-&Ge{G%AWeXuwbBce*)?ml z*Jj*%fNKPrF_}YTw+&w}c~Qn-Z58VgM=^ptg<}jxH%B`r>FgHdp9|)24;f;5ZXRg% z3iqGCvZuHOxRL9%Gg7H%5W@d zpIw=ZpIjve+4;<($J0?ILVwNHAVFh+HXeL)S1tw4n~}7V{y$~=Uog{orbd^G>2CNk zwz9_s{2KPMCXju0)flFPVZ*fwrpa7zD8UPV+_AsFK2+f(oy(wAVcrE>4x?f2B!VGe zG$0AaCiv4Bddc=+Y=X_bOt85J#%8kEKIo{`Qi4x=wbL|IsMFETdKIp6=WJ0CCzrcNpW{ z^(NL?di#1)IbD0)wyYL^gSiFplDR;Gh5MYC#)2?V;SJshD(9E8C+y@Zuuj1z*vW#jV_ zfL1mKOf>DceJ$egc6H`~?}9{&ws4;b+>)4|)J!wqztdOmf+KE$5@`H@RrdnbYI^Km9BJczpx-Xv>B ztB^ZVfZT^k-1;dS%nHlE+vIyE)$2{;cfC;$nJaFB~pdi@= z1xeu~e%>H?r@44OCQiSPq87%}yU7?FAi8MjXmBqMw=;pT5tE4rSI#Uz-*$;~L0*7J zor>AdcupKU6RbqbU-Kg*-@bc$2X>;hfrmW6HrHufRZTd1yvh^2PnjMg9_lq)fdq>M zdMNO(+x$ifVN}6k&`CyvEXRskZ9nnQm|JyLo%P&<(zsZ3^%lnOrWFVgbi?Z~UL+Mc zH${mwjm55#6F3J4?ll7kE&~T1d>weWh~9@X)(JK1^X5d6MYMy^f?8C!FxWq-n8q;v z{{Qvs3Mb!=W2}>q2L22il{_$EEGWz?cQAOrrBvkc*5HQFc4n>we#5Pod3r1lC-YuT0H+be=7_k7U&`59vVQH=6&Enwo&N;$M~B z5{ksLBc3DdU8+aSumi$nhL^)j=%r5uoixWr6|j4cD#8DFI{hS^K9>H38Xc~ofh+KM zU(M}y_?wT%e5kxH-SrD$M8{MKzABXu5L5R2?lOt3`H`cK);mD=G8TI-wzFguiiA)K zJMD_Fj8Fgl<@ZtrC!tth6S2)7$XWJz7j?e~Iw;9j{R$*tS+^6oPQ{COnOWJq@AhMH z%<{Db-BA~_1-rtUIS+0)YcK{8dbaELYjS)n>A^%-4=IhQM}q)$+_n=4uvma4eKe8R z)>AO9dg-_ez9&S#dvx2788S+FvBp@scivbJ=>+DNB(Ka!o1TEEsta{2Vy>JV`K)LM zP_zeuqW$9`2v*Q!s6zcqX7sjNb58X^YW-7gdM#t2_U7I0zaJ5>wxo(G!s3F5lyPVT zBNVXe#W4XXr?*yXnOzynfXZdLk(<^g?%pC7(?a5m!BeBan$U6dI)^&fz*kf`+a>cU zm<)&lMH8wp4w8*dnEjG&o&_~zUq3xjEW&D0dZv?M`9GKimGo6X9qZ&z@Aw`Fg~F+< zrhJJ8MeZ{lf zYNdpLjlc_K!w>t#fdbI;C_;tNi9dNZ&E4^*Ms21{C16KX!2s6>13Wr|J9Y;wK|lgA z9!4;cA06m9X481SHmSOtMiev};08&g3`C!1hm!8oAdo~py^sjBlYvlUvg;tG(S8BG z-&hn5i@4J`7`y!Ys{i931Fs^BKPxD|`YisL=G;$(uGcx?*kbxJ->A9B2L4h-79QCU z#ZUONWS4*BOx5hhgOu6YB}E+9%8c$tb3&r4A|HofNb)AjYAh1VkHH+_cmKj-@;y6T zi+kOmULx!h#xAxTLte4V1ux&B$Xm2GaZZsK%|bv z609~OhLZ!kSgNl9{-D;TBS@m9g0rD2u+yP-)-DWo@WHPF#^7iF*9dt*ujWXS@>SFA^83e%I^}VAC0SHXefr zsJ6Ei|1&%#rb}#`Rl=N=&!6&`!!S-*PcP`i}Om zw4Q&krmOqGz%?HXbXlcJ<^;)V!4Gk(wP+qHCxKUV^w+{d=Egs+R+>HwI>R=yZGjI{ zFI9&aubR(Gda4w@nOuIpjZIGekWpwg<~USW;nJ$+7gXFz_?*xCc-kFgTG#4k-)T`p z%AA{N&-L%VKXHra%p19<(=J4|)TREvaA_M?{0A3}ui#0G7fLKGkNWDcE`(~-OS=;0j@d4S9KX9@3Cuh{|1{SN3Gad&$zCA8O8ok zm5;|%%^KgStu~BKcXYN@iY`l6uI?^p?g;x+peuOB&fDWFLbtQ(V(@#DP#Z{!{$T4+0;4JV-=HEB6qNL(I)2fdqy?BY}{ABdK-m8A>Usk(5G z4$d*(6j)sTU7w=WJM0Lwo|)Nls9R}k3`@fOWyKO#w;gwRM8FTD?R-M^7wUSmw+dOW zaIxk2->uRT5)oBDv@gQkNn^vC-us6Gx6LK4g`0@9v|>x;?IvSOyY;S-5fAX5;+)pC z9Aby4#~sTPA!%Ogl2(b#8q4#^K-}W~T;2UShwP(c)OY$#SPk3~*5ji**&luvwPGK0 zQRQ0eoCdSU0LeRGtJ%>Cz`4f@*OgZA_6Vx;2zvYU50QcWe}6@S0iS`Mj)gVu6z3f( zB=~!+Our|B$m&LI-nl|Rxx*4OD-FcS*uM(}QtM<#;jF&&00yq-eokzUbses6nphDY zXxD)Ayer4&8zUyRr=;=cdDZ7gW`ZB2uIZ&EGmBDNKs;HJV0&$9aWB^(xUVZ!_`NWG;7A=M`HB)dtA=H_6RzR?yNkxNXl{X18VBM`;Nz8n@5U&z5w+ z8~kx(S681ABEVd(w>L)QG7x&1aOw*?u9AQq7;t5vB=ahrm^Gs zwRf_=k{TbRp+Hj1W_|2%bW$@DD^6^#l}BG>xK_C$?TJ9c8=26Vf*Y09`b2e{ZO9?p zKQKqTo-kk>YL@fHI2>2}L$%|wh^u)S652Vv@iO!XxOF1;~LdVq8uxugk zi4sTQTEp?6HK!FB)_p~rE-pq)HpUabM)Io;&2IOvdlkF0jy4ruO*lkNXNzDZ0c?+& z@Obzd@A@7)-`(~%Saaf7x?RaS*zoeBwCXfDMu&b_Dw1dR!#fhK_tgO!&6o#jqiE6+1m*2WiY(cBEw`Q9cZNsJch z^k`-xSBM?R{Ilk)c3B~>@=t@9!IRJG$hBr;WXjC_^|rM20RTVWP2smiDu7_EqBaXQ z{5J+Pi$|Z6bi}nZ_MD-mMt3PbP&n->GO@>A|f8c)Z9#Cy8u3?e^i1S0h?N8-{_ zJBEuRq;{FN*RB-TFJ3FYm=^c|h1ZR$$TFrJ7|)pNL`p28?y4}s6(<;58mNV=)w)Xf zPc*`))TVj<)}^M@77(Vac@~L?v|mg7 zRv=?5xS%zIFmr0AQe{RN^aVkYa6%bh$co*F_)yD{KJtDU4uh#WCoO{O%~oLphNXse z&4)ab^HMEtT#wPbGczW%WBdan>S6*0W+)N%A^1&^w_l;1w7tRro(m+m)`m(d@%#zL zwBKeoV$O^}1tIo|Xxd|F39&wi*>l@|iH!^`;b6d7fl!xD_ z97hq0*Qu7RN!F!vG1^m32oon?8{#J5sgd;v&QUE!fPC}lHVPj0J4$Dc_5$$HN z(WlR7_m%djA|)#fFk(sa+vIQ*R9Sh@#N(TDJ?nn>-N5mo6lSBA65BiD!^l|s=lyC^ zy)SikpY>g7H`OPX-q!hZA@8F<;U@|aW4r&0B0Izhl54SN85KQsiiBZf9U=CQe-}xc z=<=ukS6d=D%N>kj@f3o0|QEVol0 z2;SF!3i&AEXT@(JZ*l$DNqBXgGfdu%KBM+mNmo+_={c-7bxEOP*`AQpWnAH*H8|(Os$i06Nh5VTgi2XoE13_ zc~L&&<=h0dzWoF|(=A8E7}>InyOP#RWree|TVe^rE)J>Rm|hh1+-^inG^>xO=|qOe zXXaM3Ql~>93ba%dx1gwHYSVrwnbTq)?g-rb7@8{j zMeQMG>O1&)=YmvyJ~!qhKLiYK%wl_&WNWQL^t=Q6$G3RoQvCQOETo?DV)V>DQz2o$ zkARNc4{Ld=isLV}~EGT6~AABC;^B+27P+>p6u- zAkp-68~9z#=z?Mv=~~bTalCb(KDnpB7xjZ)@t;IU$q_u(!37AY%CnqRi!AS{r18T| z@=t%D-_zNAzGGkYAy!UY+MRBgoh&U)Vv=ir6f2h*1cW;%`VRi|qz4Flt#4m5aOwuD zu*)AS3*YaC4PT0Xn0I*~A#p--$NgZ+A>FOqm6JtVx&vsP5qx6eO}Oo$HG&(rh#k5v zGugu8ib8=8Ik^ZAycPjv>{N`JAUAfRMaGdzD+)6vC1c_)D#<-Pt{~4 zyi~Ja2r3uy6Pjye4lx;secS$=S|zAT{I8{K8z4D|HBgFBztkVyNoCorm&iKKg9-9R zxVfSJEBJ45H)S(hxlj8&Y#VN-53wcrW7!zS55}&9w`ZJh>e7GJYu_Tz zTKFw#{ws`Bq`%?8=s_yOe`{l2l}AkU&+_P<=(?Lha?nz(G!{x&WS1n;seqy5+q$Ug z1%5zn+MA1g%CpJKrIQp-ZtRZU!L^{0<ixrNm@~)XHlrLhO>*MiBw+P_TbE?4~`&CE5RShZaNG4_>HI_0DBP z${Imm@G|;`6_j50Fz@Qbad(@PIo_eR#Hje02g}{gD(fO;y|f+^ zLBQL6J&^-I(UFD5@_nFwTOHT(a<*s|bf#E#+Ei*n{~f)_n!Au`OU8 z^8Q=$RO(RfkvgoxO|d5*cCVSF7fy^nWk7c)i)VGGDYF_~{|qx;sv8{M>_os7QY6p; zb;*}-+W!mSp18z3qLP~!-fU!}BBaZYbSx}s`Di)cZ~KE)Xc+@x%Ycw4lsxMqTaWXe zPGpd~lwbnpqwpOIhnpQDB;^+H=}#gJ52E2WVks>)R$lB?>8%Q68k)CyzcaAlzEAN^ z=nWSr45tK4ODhEPyP{@X36YE^Q~2r<61r_iniS1YEYz|({JEJ2P!;v8!!341 z&Tum#8eshRI#l3m~^5;;K2Z|e=)h1OjX#+(&yl0KP|;UTb1~A1tKJoxF(E!o*<8Ve^P(=X;=|Y<_8*j zFTxm7o?&iOk`u{I!JVdyP21exBiP-L%KC*nR%3JQD^#z?9!;oWb6|yhOz;4bJ<)kbC?>h~# z9LrcS)$%~|AfQsa3=rwL>Eci&-@vy;Dh}mg=LC$rx+P1J5Hy1(Mh$&aGy}+$rloGz zx;4Z-xY>&+h?}x&sw9|JuZYR%Lv_&uQ7S&a`HA;FxAa+m)W}&L?=b7Lp*F6V zYV&PvtNeCn3=DJS)H|!I^MUTS9u)fU92lV6>F!oKN`gNf0o>9cTQp5kMMEQAh8Zkk zH-r~)7f4%N=2?}FJ_<53EPFyf1$^XOPF|0m^;dg3DgvGIbS<~^3{fEQFl zTBfnp(eOtvAUgVukJbu*4w-ij@pdsJS9lkL*Zd!`D=WI3k^KP)c z0xcYQ6XOZZ)E?k&xs4WJFBp1S6LB2sl-Vk^6f}Jg$x=S*M6Q;&jYXT&hNI%wJ4?eW z*PGkhmo^nRFwd~ovvMq9E+5{nBQH;s(%L$H5$oG(hTbIp z?XQmjYzf-Hf@?agf~s5G`eK>lwZe~R_4i4)p0{U86^sC!!f=&8r?^@j`<7U*Nc;qW zW1*ERw8YG=Z@W+|*#_~$fR0V45lkkwSEUGg9nH*smcx3cN|GFDr`Hsxiopm++->ih zkp|w8UR`*KyLzlh-xw1Qj5b4ccV2&7(QKG+#j-U&$?WVy6?~Yfr_*TeWtCLn0k*o2 zw=714Hw!>l8ANE&-18|)ZOHE6%&cSV4vKqe$6pb1i>saH`{CJ07P784xHdvXiV5CE zTXpz0^g~57BDtjV*lP``wG7{mlBJeKVGUx1B7eNwI``H4 z&G|d;kCp#6roO84vhg$|B#kEcI%e9+n-x3!qy5qf+z+_5Y!dd?4)4ewZ+fme_ASIM82jDcwl8jJ5JN!$=Ko*dl<5hn^Q z>H|X%0WmZG$w72!A$C*ou1nOyy{%;`hEZh;!@n*VUiZ3o;w{_;`nWhfddO3Uze>LL ziLm5j>`~KlEUoOdMjbxSA-j3WWUxV&HbTRVZ2bN>my;QE2TdE4PxEh6i`4tjLyyrf z^C7$pninJTT@ucpBwAjZ2Tw=U>)S-*o=by6Lm)PejdRcTkh_L3b>^SWfGn(3lj^iX zY5Sqb-kRdjiCd%>XGmCvbR^Cf(k26;cOj)I)1>4P@3wEm=eXY0%|-528IQ>1q|HU2 z-VIBzWP!~MSSAg_d>pw)D^|$@co`=(Ta64lS$%ru5PM(rEd{LFvym=hB9Bfl<#K9b zJRlUh5`AQ7ohz8W`C(2!VCEvCM>8A!M7KK;uitk3c^tkR1^ufwqixo2juS*H2k7r* zxAe514|R#O?2*?hB7}ar5)rK+SFs2wsxpT#y2<^n$XcqYmOXs$ZWFviLL^~fr*F;_ zA8C*Z&G36T6IM}b9=8Nm+5P_XLHu{r-4HN+=p!x#=f1LOc%Zv6Eq~al2x+14=#g@e zlq@PX98O?m(w)hrF;pv+%L_ksBZ7g9=xRgi{k1X<^_?@!Cm+JB;bNRa&Zn|TjU5qe zo5zEdWq5@E{0YLsULpDS{faE#o{2q+4;ntHyA9HT#|qtw&F=ZAE=((Zme-$atq5q5 zsSI?*`S*kWQI6C{EOABq-)MdDN|5y_oeWM}wi!C#2bqy{nJO};eH^>V-wjLOvlPjb zm*R-f3_U>f=OnkZv>^xfS{RHtuj(Yg=%U>-q>@cbm6lLvFda>PpciPH&$oep($Y^M zGQifx=8SsaL+iHpUG_Qq0%5fJ6Gm-(CSdH!QXP*W2VDmHC+KS|pP4VA z7@v{wkHnGLuHYFwp7>6kyoiL|pXh^wy9dJiyp;y^h{G|NhSz`E91XvISqO)DiNAsDuYw<982r&@dC;@lr4D4d(1;z@#oxvGnRGRb^i zt1Yv@+^@72kGxu6YB7o)vnnBMVWb|^C>X2Y2nJjgR!F`ctH?f|nB&e9*tqI8h;!pH zZce5;AyK)DQLwAkm{3+t^L`fd9AmZ+3w>mlZ45j`C0#-PG#cP&D7n7W!@4v?!n5f< zu+zvD6dG3aySH?ju7g*<2)<4L2)qn*HDfd5ai^=8>KuW3fhd(%l&T&!aqMR=Q(LQFB{SZezCOA94} zii`+~u%s8qLPxEZSsM5p`C>;TL5~iW+b2up*fEjLXvWfh>-V_fXjl3i5X(_@fJm}Q z0gq*y5V_nxLmH6w<#Rda9~td3kGe@#;Eyn6F?u$h*w&3_B%0#6eI1#vTD$44VuHUl zGlMpdocC#6=RJ0|Q+!-`1@v3Sk$Fi@m2gUhuPkq`(Kf&DS%@n|`rdybD%4a$>f`i^ zcN6X-dk(u1fTCH*4z=P`HLh>BRFN4tmR+ELVW!T#GQ-IbVo-uLe)qr2@2)AT_{nE-@BU$yqk?Gt4%)xi#)GJe&^wzA+#kTREC z8#a|b7Iu4zJ8mdSehW*081I^`4kqffqX+a_)%wE(ukb1Uj3mfCqpRZ0A%mj{;q zjt50l`@wLKAko64*wDUljOooR#&*P)@^b;FqVI{L+Ijyp{vs*z_GzI&{VvMz z$%hO8|tUta8n54cJdl`jxX{NApn<>O!2rWhvi?6iJ4xH zqiR=(-l+)uKLA`n zqrYE?1Gz&A5}4jIf?0_HI%0Lq2Z})jI*yIaP;AHK^!6ElrZ|Y04Sy9xaS)RTM+uW( z%H!5ga`u-W#ss(gNMwgScTC~$=ir1a!O-E@#$}IaLW|TI`uaybllow+Crq{v$-kEnthNFpsZijFHwO=kAi=%a8_S?D;Af7uwn)p=Rr5*RQ4LM=#YQA@KQB#?8b z^vXXS%mxDx1q_Tm2T}+59LS_a7sfz|{oZ%!glxV7nL)g=-w0KwWgLl_d3?+>L80LJ zDiKVaiBY$tAG?8DlnBl15ubh)qw{!W*N)yp?v#tLo`Q##9STO$iEkOBvZsgVYY)i= z;misVdeBer_!=Utr(iH4|<2&?o={H)DVMly7B3*BGoo+4%gmh+wpyw_m z0eCf!1#^n!1WjiIB^jpa5Dy2L-EFG+r(%R`(|(zdD1Ga)bNYDcL-$`=-xzmH#XEMJ$Mf32@tMCOPnvF{r~kxTD~wUd-)9xgIRCw4vp%xUYv zWu~#d^MA0%%(6e`i=##LIiRX) z<{Caw5=~&BgJJWEu7#u{U!De7r)(oMBF-zlN-M*DVPv8-6Htny;K)yZ;LupFM5q>v z$pMsb)4m&yGU!HtMa3|3i}7ZN!&;%~8{wRIkAJAj5`XWv!C!tt97E`GwE7cPXJ*YhTrH+*OeKp*93O00*(P=D^yJ_^@acwSZ_6aea zOMl{M!ordjYNG8e&5*QY=Rr8EKhmLl8_YG99ZE_wF*#Cvcyn$#7IKk6rc~PxZEvU8 zg7KUNp6hAakPQ*M;qhO8WLu+G&YFO&>vOvc@wyKu24sd%T55iBoP3v=#UCtZJj~u* z1D-foT*|4`5-+)%Wq~{z1M1bK98mE^O!qn4lAzt zevQVJ`_?+*pL;K4IbckeQ0F1U9`ZXp3Lso!J#$0^;&n>PlOntX)Uv+iX4iI z<_4JhD6^xiU5)e)-*2^7jyZiU-qsq~tJATg{G(Mi*r#}W9km2@xGc<)_Vzdy}tsw8N2qQyzJIM&WhCaK*?7e^t{W5TcO z^XuE3Qn*nXN++$Jesb@V#g+CDB5wQOnztj77}9b zUSV4)d_k!$bcV+JOc)r*Jc5ev_9BcUGuKGPo`oyV@2m~Nh3$f&wto(27lW73-iU&6kGuZl-{f z#_oH0U~U$Y zEt7=>;h(FqI7-u!PNZmgBR3-*~p06(ta zU)z|-`Kcv%P;;fSe)9;LBf!7%`ES!Db!vm~84kjL-C*<$fzj2Xj4UO z;LJO#$1gV-3vC=Dxn;=O3Lrr-a9Ur&B~X}QymljKre2?w6Mw3|sqiOEt>f1%F#llt z+r~LB$HtU0HvQIPM`7_IF)$n%A*h#z2CO znB6Mn&mn>M{kzg^A-kBQbddQX{VWyi@WU&1NT1lKFYRio?m~&WR zj?sYQNcc4d`-B3+s-|+CRNOe1OWYl7_~!{yXF&v0mw%b(*gBQpm5xtxS&lv&_j^xu zZ(*1#gzi2Gyjpd)Fvn}OTausGEI~o$4zAG2k|N$iNYC~slb+1l8=fi|V0EB)6)Ra` z*zTql6QOj4;jN72i{z}}#2Qs;oQYZ@1cT81-hh~MdXuAG>QNl$t31RT@o)+I z4b@{hw=dCZ)BEvI+pFD@I>%kyboug%G}o>^QGaZE_;}J(4)lz6c={G7Np4YL^HFBD zXPa$&kn<~s_ehM)anAfO3sd$P9|vSDhcb7_I~`g(Y4QPoENK01;TU^vGrjCSaNnbPfvJ{cAvW2ccEp^F zlYg{&7$w~}ZKZ?=9o>OUp1!t`)rYs`)AYg_bShV>=aAW6FBIC5K@#!M3orn|&MxRR zV7Avx<%SyTN^&q^ZS4`|9kI4xlUaa9frKilS5g^RbLft`2M2CT%*yk7EkJNb&@WV# zC0kah0J}*YVP%H}Crz`TEtt$bh4(R3&worprQ~Kjy_d|}-o(xN>+C^%tj@|7x`brT zf)P0^;iU$V+e^?v+z&#%9*$SY0M zN9fh$O62Cr6n)_k5az9MdE8aqhnP|lvk||+X+gP2u^z#{zpZ7iR=GzI&HHN6Du3f1 zijK+Bnn*?qFv=lJq?9<~M<{GZTD4BC@LaH=JRWUmZ6()ilE>h>{WI(|I6q_0MZaRa z)-`VfB@_m^o;iryD+{{Q5la#HVvr_7_{5#&8uB&3R+ne)yXT!;Bed1IPp0dG4IGaz zPjDLS`(-u{@aGx2bu-?9u2TcRW^ER35`-@dtt8SxfCBx6&&kS66Q=jLcJ5 zc~4eZgA$z6n9HyAtQY6``SSMU9o(zE)GlrPu74+UJJoA+X|i`fgPW141%Fn=vcK}4 z#8~pOAOeEG^sw|~Wtm+c-m@wiA`W3Ho24nHihCL~JqWrFWr+Wpqy|kz_IwW$i$P>B zh_m8>moz}`q4RxsLGW}$Prpq&P4z>gMH@GhX}~h!peb&aSa>cyz<`WiN_0IKRL~C$=ehUAeq8 zxC2jTAfaeNcY!PH4uKQ>Wz0iy2^le$&o=Bou65abkN0-uLcIIg=AZu`e;DFZLyYXj zekfN`{a{v>k4y8kNDyxSoNgLC-A7Byd7wnT&)P0nanI!o z1Bt{M+F~NYHrKPx%YOw`&3XjZ2+ha-JQ{`4np6WJQo$Ru^2OWYO8Iuw5fQOh>g^;X zr!*w{{9l1L4k(xfYTcgA4fOIjMCoa-M};xA9~d#mIyO2h36fOkoo&^Te$KZ5npNP? zEJx1DDIG$Rd0(+I>Q%7d7&N+@1zxj_I20y%pq0VLSS6|N=YQoIfzrW}y1^>HY0gC* zy;h*HWkwiJxjIudnJ<-%S$Hv3JW(?AuL$jo3?4sK04n28+i1+_>$$?SrY#UGX{7}tX~esUB378j?}Qp|okWWDD^h-@cu#q{HEa(#+*%CTd*Q05Ken`xHPFsnsO)sGgG?@@FI(o# zaXANmv40W3r@3}(7d`Qn^u`r>+aCPzZsL}_dA6YxsJ!+~0NJrf0}_5oaQ?0}@vD#$ zw<;vU*pAU=lJh41TH{EkqxYn7Di^N|ZH8SpvT&Di>A3bX>?Tk4Sx_Qhoyh^KPAMRm z$)`jUP3oNq^`)@y(CxO>XAETXvDZK@8`q<&TYo-SQ@bG%dAitPvQmnHZ6p+g zxv@WC|WGP~m%K`GPRK!XFbDTgp?lHJF;gawSoFtL^X)>I`9tkTfxQD2~kdBnQEY1^Dpo1HC-GR*gR^z#WMi-0UG= zkx(_@<$ozC0GBXaB>T2@@1$8Co#CMMu|GGUZ(>4} z*@g-*TBGUBZ?J696gxcEf_OMx>|~LI&&o*}szL3T6%+65^&77VokR1f2B|1bHC)3t z9|qdHXYzFgzzv$*&aj=Z@im|Hw+TYhQCW}9WcHJx3j1@DD3Nc*OHEgU-&r`JDt}+p zQ8YekK(d}488pcJLmjB8OdLbRIa9D#_n<{Tsvo7 z7qdQg
i`;JC%nocp0?eEism+gcJWKX724fO{_(Ioo=wd{(UuO1fKPasa-U3*xX<86$^ER{V}r(@g<6W81o-Wjg75%bFNa`ipPJImxsn z9|4n$k@%{Jek6|(@@83McT$!9unaLexxPF!eaoGR-F;lS$O}L4am_KmJLdz|fRL|0 z7UD!6t|cyOs6!=C5S>4wyd?{@cJzF~_b;|h47@BxZvhykLJFC$mvgKT1+ zn$zWBkB}$5J1t$T%J&7Oy5w3XB@0^_PorTt?Besc%+Ah0U-nsw6v7vio+7ogZ1%O< zYhJyc-v-rNqTsC?Xp}hd@~2%_A%4;;Gj5nax20r<;}>6zB!9v~{a z*(ldqZ^4yH_J8~@mx8j5g|J~7do+w+9n@k!*0PM7%Q;NfYbe@nxcCHxLneZpDa=cx%AU7XQ?dCd zQB548lt1UUlnRrA6Ml()%`e$B)U(mn=>a23Gi;ja0)L$`I^I7?j;QL_UzrWqmE3GG zWrh`SxL};UW<9*~v;V64-kG`PfTq7}p=RV2!`=?2=dv<*q>i}5CUX9CLUoG`f-W}4 zvzK%hOMDk5E0F9Z>NL!nM-)-Qw=oGp-CZ<|aSG+^_%>AuU$J@EvF1UbWNI(T!yNVs z(Fd-?rGMjm|KKJgitJugH!@)JbIL7!_>S5`OxSqhK8*#Ga=u8gWVnpFl--}eMpm0D z85DULH)sBIQ$7{O{dW6BMD-Y0$dpDx#?1ZjQwL^ssy8#fFVidMgA00_Uf`IoyQbWf z9CCkZ^6zluA=TGYk0IX z5@_Xg;E>@QL&n!I@B$rsO|ffo7_}}eZ(;eP9+N~4{sZaN@?GMAz|P^m?Ld{wiR8?M zSAU$s*+{3T_0yRAifSm7B_sbAktAJ%NLLhHFvY>VXNi8PsYeUr-R7oPEE@A*$5~9v zPhFYR_GlG;6)kUMp4VAyw5}KrS;lRKugBWewVy{W6h2UTTl5lCyxcQhY_@NxGo*a! zZI+DSaQ%35Ux{4#Yf_=|hI?se%Q1Rhip2nHoP1CHR!;r zQm99Jen+F|z}UIuS`by^w%@7ZfH&x6qrP9ecJA91M!(a33Te

RR)n- zF6DhmCJ}V|W*MV|a~fO>r5TZyhB#Dhzd`nZzI2aj+H6UF))K-~cG0``)E3TvYIu^i z*EOeDZFUMpjml42)1Poz_Yqu z={$=Hi)s@%^?B?w9hqKY2ed_e45Ux~qTL+)Nt<#L$}KW=4`?F8pnsveSky$aMh*WT^# zVIT4sO~~U~jNO2?ZDf}g0i64vBVUXXs=-ihhjX@jop+?c%0CG1r;oL-gG_~`pk(FvDr^`WMw{W&b zTzwDLh`9^DP|{k(Py%*O@zrZ?*a4fWHC8%2V;_x=cfJ=3K?!ui-2g+S?SjQ3`thWA zDmNB`fA)OIhvT573%!&))S`!>!s(9<&k81NZD5$Gr~5kUNeD(+&3`6(W-DTgGo#Fh zt>(e6KIGrGMIL{acxlE=$(dC=I{2(zBjr*7a8gjfJ0v~M+XP3LrfjtecLr_XLg)`WW-*%OPbqD`s zpnTKhS;}f+DA6mU?SDjvCvEz0_$~@!z5U(%UR^DA^p7aNLh5XbY$A}-G_FgA_tOlS z@OsY*X_@5SWlMjr(*k9yJ7H}O2~VXe7$JJpqaN-3!=sok8i$($ogDiZ(v@G=PZR#b zaUp0_{CPoDEpKKtNjFiqufI>Z(S|MjU)u28OT8u%&AvKFAb)lQMAbDd?{t-&Y3>os zm9ymH9UeSmM^X3?FN(UxD03L?n?eXuGH0w*{YYY7zXOD|^!GpErLzX8(uPr`sQ$=@ zv-w0(#Ma&0FH6AiXvzxPaR;^^kE{JvoV2E5Bbnh;>PmIw~vc{qlawaBIL2V*}*Zw{)!*M*+;k37BxNjIcfL1JS!Li zI#;4$e`hORtWFyx7}G+tSJ^JUkfbQe6E+?=s(%u{fj0xEg5I?`D#pksD5ehK2;GyH z{Yhd~p2YrL1xykK5q*?+z;u0(Qpx_U&>7%P?TtigjDMnyLj^mZ^M|fCP+M$k?G)N! z$+KaS8SLS+CLUK#r?MRX#S6Z}bed5i^vTO_jDIri6zijp+wLvX-d1a_z3>MN6%qWM zN%nK9NxN%(OO9~SjxX=Fn;0cq>P06{_?Ly3jArEBab`n@=Jsy2xF5q3mY&&w?=|@$@!T1trCmOkr6@rLJmFO_;`N6!P>Y|_tAiTvUk>wjBA+o!meG}!27+3u3!oaYa}osK!aphj*m zqbToP!`nP*MquRcfhaA!(2G68N+|~7s=Wo=F3ujY*-@0Yx>59@1lI!*%4S5rz!>SC zXMK%|&Au@+;7RE{(Xk|(J$o&xV`=PCIN9lyg%Ko!u#7vDl`*}i{XP{HQz}o0O@B#m z1ZpCDaByc*2ya13v0?@JG7(G$Ekz8gyT4?55U!V4@a&xHVLCCx*jTfpoy*)ed|E)d zKlFUm?l#`SD!sS34a-6hiVS=W!s07SaPC#a^@woU>3=zJh*rJ}IM?E8Bru9zyVU0B604svVyLus2|G98pLnJBa&C+X|mKp%+QIo%2d4eFJwD@kq;n#F~NC! zaFt9$!SAlpe&V!hyD(iBs1oy!$$Q}9L7Mi?NkFKXL%?bITu$0ta*N#2`hO9A5wi

_3d}Pw`<{m3Fr?vHVI3mdd5+^A&wylWs~25Lct# z2gZUvJh+~?;j}(=8?^gx;(vk~aj4>1LI z#>pZ0d>2giz+L<0N3*pf*<_GX(w>YG0AXecr()!_Ek!Bbe?OPoyBB(DFOl#ENY`gb zsDnFlS^Lw|z=>D}wi=ln~Oof5dsPCXBrSP5Bu{6@QYhOTvw2zBJ@6 zL!FX)CieQ}9Z?=ZSd7~3O^pbA`>+sTfun&h?zg;HCe|-Rd~O0>AA_@bmWUWxjEfbz z?BS+a2^ancBMXA1;r9ka05;F1y^5+#pZCSe#p>DnjMXo3D{Ub_&bb8R z>;bJ6sed z=f|V%!aB<`x_v)Bp?f)f*5dDIK@(G&xMAfWO1U8zbGaKvnw`ZoSxjSaQH_?nqSX>I zkvy!^c01B7w7$`d$lpvmR7u1CHFw>uQ>RAuS$>GGzpeV$!Z;1cku636g|@#vIWMHR z&4^h|5n6d7I-aG_wd(QpGo#Uq5*1%Vtl=RdaessFsX2FX&XmFvx5RSjW#DT}J3JGX zB@Q&Ofj@&pd3fpLuPdl3C3My-!?e{p4D~<1M{wC38lDrcgR8*TJD~J~v7I2d_r%B1-S`-onL<^~rNn+NHdP~>MuR+PSTCaCt0R_ep$Sp0 z5d1m-kVKB@Zjg+BL<9mZ@5*zC7>Z(InSVpc(18_;Q*8B>jM>436Ie}d9SrsKV~sWB zKWGv0nqI2im*!Om;10^#Zl~Pbd8drSK1O|epm(u?P=^hl8&)LWqoquku30O5%14Z$ zCmNWkvgfEk79fJ=jIuwBEGf-j#+8Desw~?SkjlC)HX-ky*2y?fUyoPwK(Fslvwz_` z;u|YXFVETSGSR7fIOP!3S?RR-9gJ~H5cf11#iPhl^Q zJp<3@%S4nKS?c(FR0S<_Bxce67&Qc}SRorrQKc@;ap+N!iOuQ`-2oF;T`X&p5ra?= zTH&n9&Kyb7#F%Tv83P5p#@oh+?SD8~2B>g6J zY0R2Bo)|cHFJ>=rU2x*uqYEhwr~H+M*VsqYvDQ0u3uQ}Ma1hjoa`*U6hN(0VguH3JlYdm}6~mE{ zPy$H$j>Isnby{qCx7kX+nUz+oYRg`G&ZN-MLm%2=aPJc87Xg$e7v?^R|F4a+Y-)pH zlql{LDZz>qf)%&o#Y@rPP~4rM!QH*MySux)ySucwg;FFq_x*Zjo}aKEcFxSsoW0Zt zm+D@^gf&0I{flvzmWcdoMt_;bqhz}Ss_I;Y1+UBO8NuzhoMPm7%Dm1Fp{H5*ja1a3|QpwjgazuZb zJw4rGhCtY7P=EHrC+52jC;yE5a7u{&D1O?KS~W*ydhAcCHkKzd2YZEubK;kafj7zi zbgkWN0;FO;PcF76Ui7WEnRrtfyX-5UDUYLuK?VM})~y;jOaWI9kvLXVS!??uHg+QH z>Em!j8)=J2Y|;LMcZeZ>E+yJyOxf?>z`?g(@otoRtAD-;sxU6!u#rm$h51X|VB=3! zAB9kyW&!>R{QB9KNsEJ^r2_lb-+eht=!Gu4J8#30|GIJHuk4Xfcb7HxEA~gGKfkc= zN7hI!Z_AL{cYE%IQEwd;yRvSEoyo3!9@P4bFO;C8TL9x9O-0D8$fjI{CLvFLIl$yK zgqRjNmw#${<;T9@fySFk7C-DnzSnZEvHi0`S*FogTjC(N_}jFbCBFkSQuMtb&tOlCGX)-)F?}kiBjoN{MN3FR z6LK$7h(%HyUn6M=e$nN)lo3iYMpnJvL%4JODfsYC2^F5()buIv6^%|+)^qidL=)!g z_J0jcSv0A-(DllxH9Wl>|I`1jn4=7^A>}Ea`@1*s(s7@t=78Z?DrB2`_M5RUsH>bg zBB_1Uf)qSEGwe=kMT2`C^)*qud|tn$NUQiUEO0`yu|AvU{R^htd>bkxv)9nASC3?p z)OTEyNH%?dqp$O4PX>Pf@ap^{C>-%Rl7H6f-s>USwu0UIwo#%JcYzA|Dh~b4O(XDY ze&Ss$-bSw5e0#I7-K69e8$aQbGQja~R|ynkgAP)fRQY0;Xdd7-5NG~ibasup=&EU1 z%?nkyx9L@sZ}DR#N}uvv3z)`t`%cdxnsW@J9CKjw*3o@=5{pRmlX7vS^AGPM`G0ZL zz+^L+WGk9J&y7t#^dpNv_I1!#QZDQ*^FZkUAk*j~#QA5M-Rgu2UKPpgNIPv3B`U>* ze!IIh8GHg&^7AMxW5VO&x}R-7tMLffavy&A0^Am4BgyK*5?8XWvanFvg3hHMfyE=( z%cNyjT0VcQAOM?kbHXyJU;p4h=YL6R8QT=!EgxWWn9^0lg$QOTG4Bcl8W`FIQQ*;Hw z)!lZH!@|D?Rn!t(#;ZJDdwRiBL1$<`Ltd^XGZPjXOq=&zisjS=B1774WZwWf`V9y@ z>&~}_?VY%SdRd+)t9epfYYN8g{E`nW1&$pQuiD+LS++hz0Wyx7ATTupzPWr33 zw)Jgw&*hoEZve+mRlh!R(2&4<8%#vVrHa+w26}MOrv}@ofRO)M?SG4C;z0~8pKFzg zWrlQSU`+mqOlSNDg(sFA6FL}{!dqVkKsy~1M!r$cF*OtyI6=Jf{z&P?JV~7$Ri2ov z)^@j}=e3th0S1<}&}zO;hM5G(74SdKo~@(jZqFaktGn6@nbl4t&7H{m4dytX?H%-6 zoZ^wSl}*|e`3X`+HGkKC^NK5a)K^1=UT$*bQ3n72`C;@@`(9_L4~a?IgWE;JGEP7; zjgH^kgicmcNX|*ZPtT@%?&_9oDYt|PX4M^KGFKW;FjPo_%uA_t#d6YmL6b+k`9e8i z-I7vknjKE>W23?=5GP?KH&i1|EPhj6GFYZ-4QNkIF*6aD2GudivV~9G zk-V$YuKl`dn1I9dY1T7xE~Lcaq4khnJrGuq9lq8Od(+BC;#5#bpvHnk>Zj)adH&Ct z^z+c$mEST0DSy26mSL5-6=(|;gLK8rb)T!3rZ_^j2r~Zn*RFXBeS5;R&9_dW%IAQzd$*~_E#(*8m2tpN)vhTok!w%zQ3M45R&`nnFoaZ2K@``iEO)q=u? zfe*28r#VlgpKo&a>W72nKoMuZ<(9)e@Lam+(|&wZqknPZ3ZIn+=^o7P#SO$-cR)01 zgMX69X7n^p{^k9(#uK{B(^C!wZ+mN?*su#K{3xaUgG<%M6g+_uO_AsHtkw1V;+0bO z@aRDJSWU)8Ii0-5VtZQneEmbCg@%Fl-AoferY{4j#`t{!JDju5>*d*>c3~4rlur35 z?2X>6{C}0-(+vtpXQ`rg@vrRa1tpEOg>u9{xb1d`%XI5)vEP>9kvNOkgZFynO?k^? zN-Q+~2_#pz*LLcSCB-0F9%Ep?O(YWJ5I!@{4+l_&YQ{<)_Ow2xx&(5zUhSv4St0iu z%K&S@ZRrY2o7mr3kE}4FiwF-+Z^n_g0%QW~i+_+2Ptq&$GJ!_;PJzgQ?sb{(xmS?7 z&*l}{@Y3~zyWFQ<^;VNl+e4k704imayM;z)umhG z$C^h*2>Lti*@JPi4}$P7?Fn}9?+B6b13-55j;qx);i$mT4N)aPf03df0tyBgr)mHz z=6`aB1X%IjMEK19rFwSX{>o6gAHb}v|0{vTzp5cq53iOr5Ob22&Q1s!(T|+=`{~m( zT$Jpl(s?dC`m$w;iIm4dTkyC;%^I~U`{IX)SNEHN^E$Hn9tP|%L(piA$rxQ5f^#o( zbPEoQ5 za{ABlVZGVbjQ=9R(6TxODH>a&k;7yupI?j7BQl88yA#Jcw#I3WDRAku(j{R|{S)UH z!bP&g%B2znMkpPGL!Z%p2f0-=?2<YPR+cL*9VC}RcNP+Q&5EGY41a0& zOZr2=+uVXZ^e6?Pq5J2&RG$$?hfhJrda^;BQE^tX0{=)jH%U@<@4L|4RKdkF+~eQ0 z8nZ^Ck-54dbHn>sleL(_fYxYLipDY{Kdy5QVTauZw5)%1i{l=&8N$Y0W!|177)02> z?n)>JHD+W&=OMeToc*@QD-6)FK!2vxLT2h=c`1L3R?S+8;N_OgC|V$y@CJ%7_DwCG z!yR31KPMrXx+>n9Ei$Oj4+}}EnRv39Or{<2Ji*U`o__lvDXenQ(JOn4zX8#LqbBpJ z0yiNjX<7>6J-cI5b>jS1mS(=J8zASf=#3+lLh$}Uyp85&c_CSrSPGp4Cw~v>wD}aY zawp4_6ll}!?<)3w1i$*;c7h3(j0Zp0H3kSHSg@VnIAC6F9Jq$x0U0Vk)zb}N(ovtN z^Q0r9ke2g`j!mI5;Wgv1Ct(-FJLTY8tgW`mAqPFCWZQ@2YB|8e#`=`!U|n#@LX`1> zPghq|xS=y5V0x-lhL$r|?tc*Qy?DU*47Q#$QKNjeScXf*sL$>6(ASF^uOM-bv^<+D zJkKXg6YMo-)v&}UKzY-8B|+|QSqS~Uq&e~{BMBPE275OtMxP>svXXpwKp7eNotajL zNHv8N?Is!o%83RcNHaXZs**Q<1{J1R`M$SSAX~&vq_YS8?Hw( zmM^$(`rk zPxmb%(_CGW{o^&(LkAbT+97g)a-*l#FAl^lw#KnN7c-K#yctK*a>?r@0n zGXV&7mZ+p;N{w5{$$zgxbH8A1?QcEMxA;aF zo3-q}T5VpinF@?hs{XKp947Jy&I00oz$mMQ$J2 z0ybWHjre-ie1C6sz6IdbfUtUJ$#pV|iIX=1J@M8JOx`GU?!H?$!B3xV%Sy>l&0 z!Czp0^=Dkno@8ZpNTVDfc`N^Mrf@;2W}ugt53Wtyl&XvfR<9|t!vsx-OLyur=G-Tv zVKED+Y2C5h0e$~`HV9u2wrhQ!n$U4vOtAhLz6AZg(|XP>+6W$iEfmop zJhd^R2hq#mgs-0rmZPo3uD7u9t5DZzRSADT=5=J;f}D!!`{by{h?py=%g$X8o6|)` zo4BeHJ%5^6^_!xCLsKJBImfdkkfJ9$}xNo3|GP z`cvQ_Qh!}dxfoj-jag@5<{e`t$q7)#(UfAQR*K-Z2d0WI!~+ zWD|b;>)-E;Ns0|EZc+~_5aqx3C9H~#a6R3|bHDWbwNRcX^RN|c75fQc{G(idOkP2MQf?z!$GJ!iNZ3x%y~L?dp-ca0?UufPcW?&8ZQGw|Sx;n&Y1m@P>2qVv8x*WROLUe|4h`zi?++gs*hN6JGJg9e0xBc8-l#F54$H92`v*GR3+wgeXQ z#eZ40ISi6zSK6cJpa94~1*cEDA-?6pnA@fHQ~!7o2ghq(3?p1({UBLSenySrOHeu2 zQZOWko%z0SFjAOSS117~BxNVgF+>Gd*w6e2z%$&c#JCAqmwavl`>WDeO-K}zkC!i+ z^q!HLn_k0vg`S~M2^<8AP8JJRJVe(=zkfqs@*K&-v7R_8mfyBW)IJCq6idxr#*++M z5)8?z_2!$p0RW#hE>=|LA0e5Rmob^?zT!NlumcZdV7-^EwO}<8;|5QH z<30yR9sR@@_{&Y7T?5j~s#lEBv448`2k#mhj034^DywbA?e~Xw!oj%2$ zY!w|S2tI|6$_b_5;ap2wZ?CaBNxJK*!YC1gc6^`4mQOUcu$lqHyN_RWmR>mP!uW>gU7vSoT7NU&ab2et zk*_Dz(UV}N5e=G)3bI}I7-%Q$RPy8-w0L6f_H*7^Z>4Ipofml#KJ??VGV^4tds23@ zRZTI<#^D~;Ft0Bd@O0lK7?Mb<>MUjJ0>m?CkzL|u;MAUh#Xb?E9GQ6R2ZnP&*1SKm49JYrJX^}0WXD(8~jYOU46>Pk;J&5Lr3AN&A0c2>LQW2 zcY!8oMSD3y19E@Q4k5SBOboQ6fN^zg!nZO|9-o51bY!A=z^K)STO3!-lm>(Ng9{F1 z)6*MuP_)sY&`lg{F@s?cF8qw=G%gfrzqZfz3AiE5JH>IXmY(I`x_`K5eWW(TMG@44 zE!=Ui;ITex%PuMHvZyV&CMfV>-K>uHp*i+Yp^SK)2EQL`HA8p69<>P&bP0F~-rq2m zgCXI_S=vvl`~&m=mi^GB(yeR17-9R?sG;FA_=;ECimb2>*|iA@XfOL#8<&W)q;}&g zU-7>#S=U92$teA%^M8s9hVK7aANsB^*(nTrfHC!m(6vA@T+4= zTY%m0ir+*8V|Nj*F0iZq8tB?X(qE9I$bd7j^EQtZq}wPm=bGo#GxYFjI}Vu}%UXl{ zrntIgXXl2>=qsK~%PWKt<;xFtkyoTtz3v)hO|+39`%W%G_uI$V^wFQXN|CyoSzh>_=umA``*E(=1p^@tPfGrkFWRY>f0bUT5siWou`UX;o z3;>P9sH=Y?6ckJuAdy9ZXl6tfs1KmES!4hQ(pg}D7svo$6+MIkUU=1w@k(#f9SfZL9Q9peJ& zbcpetizyCIuv7)ijP3B|0O+g=SQ2n}&MzLM!Tfzy0Xsa5bK<~?9CNHW-Wc!ZV2(y{ z?f{^HLm-1m;e`EznGT)$lx~zoaz9!6mO8m1UW_)&^IsuP98x z_@sVQ2bduETNpBtxngVU;9v^`5GgbkNF&m`VMP{^703iUS7h)PBq@C(2m+>o3ZFoX{(s!x5u7VmKwCA#{ii_zNO+#M!$V7gXw+bU1o|LQb`T404(0!! znfoJ_MIe=GM+^X!|94{l)FuW{sKI~#L;nvw7m&kS*$!d^5UGD)6s83w2qZaBSl;As zN&Y6cW)b0;FsAuZK|l?yiB#9n#(YBvoN1%NZ4Iv`3TL^&xcZ+M+_B#NG?2*zG&ENr z5YEgW?BQ~7xC1Dhi=~SjR^>mMX+_zb<_(c3G+zLtr40}n3}P@s9qtf}mKJ{yf`%KP z1O~0N5P(9`AQo%_&;wbafDgn#aLSBPM*}F>3}TbKs9q4fhGBRGLF?)MM84JcUkIZK zpuAuPKLi+c9RLL{9nPHm6ry1*Fo-jOG!}(O{b{bF1)zL6F947M9t`{qflc7KW&SS4 zU|<6(KXtlfC8_PUpT_or-8mJ?;-(EBd^>h zmB{?%{<^R>9b`}-5@#{OR7t;>!B`-T!kLcmJby2t182jn46ORkntosXD`y;w0r`V2 z6cU{AUsT{aGblms>hQFoVLANy@z3M8017`B#V^(-CQwj_8d?ib)6+u3Rno$L06Myu z(BCY*zwO|aIfq;C$CuR~R*OWNm1j=RT*Vc0OK4d%ve zInGGJu}o}Vc<~+i?XPWea@`7lHM=saldHD?gtjSDz1sT4c+BJFjqlUt_Z3$UUgTlt z_n>c!GN{5qeL|9TQhgnDT&(3q(Zo~4d&d1cx;=BF#M^9m>38de+?S;H6sP-7CU$+? zd@oLGwCKw9_Pc!Rjcz14Io+4M)*X)TWOJn`%=spB3gBvCs5>+$SJ^D0>h; zo;*g=8UHf5w$7xXVVgNN_oLpzj&sf``(!Z9b4MHeH-;ufiQ^ck^35t#snfF0(L3)@{q(`Tt(tx>4~Qlo3=ve| zGPsB<_;UObi6}R4)kZ~sx!{Xq+{v{^Y;W$m^RV?u%J|co)=xb}y<$WekVO4OfS_Z5d{miA$ABx1&$D2~v7nd8eFq^_PjQPKunC zDK?a?>$`Ar?L>;0Zc>JI_nwGSgCTu=LX!t2P}B9F(sgeBr)4I8z61{q<{5dN^5Soc ze_B6$rcHwqd6sA|mBu6|O$hrBcJ<&Z35s`5#6_vqc1SsPi&BYFnne=BO%}Z>hr{~L zV=IM5#I&}{xSUIE3|Up6;{57^9&vd>ci5wA?Xg7d9n-U^mB|Syz~%bb8-SQyoz{&iLLso^4N-1@X~+Te3&;EW~1yqZALn zTtk*Zc3*20aTjDcEL3d~Rq%NEkbvkDz!kU+SvMj|ZGr--)$Yue7No}P-2J(4giEVk zDz$d~4)+>C@fVs4EfdyQnfw8VTi3h4f)ue${0(h29@npbD6ih{?v$owy>Z!-SHP7% zesDVKX5KFSO0gJI$`{vyc#K=$$o8_k6m38SO0%&>qN5S_&&gi)H$(ze#H~s3gPLm2 zRruv++LI?_vdtT0QTjYr9}Q)N+phP1{_!3$NL91$9mO>w)6lE^98)}9o!!VY6S?%5 zC5|;rIKe5rPY34PVrrltd@EpUFql3rFcz(2z~K* zR=&F4*UoUfGiTmogUTqkY-|0S+9jj#VbT%G$lB6>R~yQCs+AUwcDq;>67sb}YkQrB z6pPIa{F$!=*nIA|Ny(De{$6kWGUgZVqk(4 z?_j=Fk7QGfL$VB3pIm=GtGSMwJ2J7tYcR=wqGRSXLO82J;ud$SK=OJ8wn@>&@n8dT zu6zW#TlnJJ^nCQ}#+MOUO?Ng`Xl-#n5Z>3_?o?r>LC+#pD4J-!Yfwr9Q{DbXe%bFA za6jgY$e6~~MatbhWf_7&;n7Bu)rta-!xF+9A4*SJbyjV4OFgcaA|xS1zCSmuB}6=b z6MRE~cwxA1di+#Hdfk`&jkYDGrZY0b(j_O3d7JIK!C#PiF(a z2^*eRAKyG&zWTYyrbTT>*R*S3&zcRo_DRF<l@c~ z4gIQa;i)wu<%4YceD9DuW{uY9I-8__8eBXpw^^hTsFb+G7F9Q`eB%R~&Sb~Net2!r zpLvEl+5+$X~bvRUxdtT9fcGlMo#LTC~k;C~+L5Yshq|RH(GB zid|T|nG{&HKMP%yGD*uMesX%cD!63lw9)&0OE1qSo?kakP1g~2Q7~P%r#)s1OU5Aa zl-kLhi`i5@70K?G$_f>eJ4)VvdUsR>dFT3!n3UA$w-o<;}GSC)1wmVDe<$f?z>WtgR zpiQVHglgZ>M=>${LeqkOQT8+U>C&gOBll)2t};>2bvK3{VFtLYEvf6;6U3}am2VUj z#5=1$jXfIRvnJ?9|JkXQ5CRe9bS_F@!s=pL$DK;skc^w2k54ohOCUxeHY10h%roWKqy*_I^9LS@?3GsY z*dwZ3ar=T#v0-4LfM?G!TpP}Wi$<*<3tJYRK@i;-HFe6ab-NNd3$u=RiQIC3%wW*1(xja0_+@<8N(pF<;hLB z-k1|YjwEcuQ%6*dO76ibH$iW6M=l+?E0}(T#!@^thG2Y|M&>zku;H4$Fc&K=N!LAH z*8m4?z#w%f4@?NehZ|3Xbln=Pq+q8>RIm#ZreOOM?A^B5XHnT>cE^4Xr zYmM#9{f-N0Roht?44+3;$tR=TK}t6s+~zg(H#HG|B3wNA+*#2avAsFXXVp~X*c)v5 zXi9yq=}=~I>(rqxp4Ai9++TMIAn0pbD-M4wYAWC1DyOxLa6R5B=7Y1_rMn9gjTuQd z(aYJ>jy-7$5&<*N3; zTW=2)(e1=ov6PY39}nECb67tR8|_*xpsG4J1r(LeA5j_8E`3y_369LmnU(bvi|9rc zJtJom-MVu(e?F6IYcjuollN(Hr(C*(;;OV$%G0Qu1K1fZpXyC7 zhK7RWP)n64uUlN7Bcj_!qmP|==Qp9!_b|UiWlh)Q{)pG6rY}?mpA@M)|14W2h(3R{ zZi`*wy~=~+A z_MQ$y01OFk#fs&k$|6?~^*Q%|)RQYuRf&amsoe_enDN1Z1nZCJx6ijCJ1v}B+(N6~ z3G+Q(a=TAG+8I84GAKRgLqo85>z*{lE8gVXegoIM;Y!_^PjQ9DChAq{XSIu$q#ukA zD=*3W$8PcN04`lVVVRO0p;E`ztPC<;Ns6!UUo}O+Je4gvp0l@Y{VLfLcQ12Crq(46 z%nWH>iYV>b0t~(jENbaVMqa-?H-9`tQ8p<8S?B+pJY~u+t=!ShO zFhy_xO@OK%1_`c+D&hs=gEs&G5lt*2BBi7+Kw2psW-Md^TmlYoM~b5em6i60E!0*4 z1dsx%Yw0it|Jo?*5YhI+VAp`R0JNlp7RHEx`hc7_n1dD;#(*5Ou-fY*3E)W^E%p!p z4!XuMA!k9m4vReE0)2Z0fH`RBe~ke|pciie2L~Pa0CNRHkwJh4p*~~)W#|e}F$D}8 zG-?;B28(0i9S>8%ngPVMU>|@tXbDQ91hrbsXfQw&CK^yMN*|q)M;a@8PzlN&Bifn) zvxE^r63C#!B^ZP-00Lm9ghe~lkZ}$=1lth-Q9)yl0HuOI04yA#kt@L4f1vqk1R3U{ zq_L<7tYk$z`tG}<^7WrLRZ+f}TvkWrgZXS#%~s1o!?JmGRKBW~^V`LFwS+Z91*g?T zJvo_wE`AkI0AL?0u&-d`aft7apqB+SF9KEm+ux}F$Ixf--FHR#80Kj34rI~ZQx*Vp zl!f}`i^cr>tXdVnfhr32-*mN6R4IqD#>2|m3Rpfyt5wYu6zU=61L`g1 z(K1sWIiYEb*6o`-X)NWDC%y&%rG@|~aR>xPrrnAQ7CJpeLb#(*3}AVaAKb_S{rNCPP!!DoC6^z<4be`xv5(935%W=c7# zJ@hhEd#fy4eYqBZ$90RaLyG+xl-6uaAHv2q%h;dO*RrTtV^O^qjT*IE_Jhi6hw>Wz zE#=K^Dc8YQ&tuJGj63u^Mr|geV+;~g9)cPx4m3Tx#v4{1WO|vr`BZb+A@H{5Q1kF> z^RWMo^KfEq9^v0Ie~-HTWKE&T8QoBY53=IFu*E{J1L`BPSO>kB~RdBjm9_!-YnC`m%U;3YvqWOApEc<4RW|{2C z>2MqiPNNObj#KL`_+bGqUmn}6jB_EHV>;P#A&tU-Yw1avUTEa|(gqAMKV>~0G53CZL z#^wPlay~c()fu9IHG+YaGfzEOTK+GELFJ|oPs-smZM2FLMFfe6 zx2J(Meup&GPkpyzu(o+z!ct1QNU#&IsYtSEY`qfHe;@)<=&Za^D5)WLBLw0Pwt^aT zDUVtRs5@wZC(CH9&IL>X7hnij9jI9>=lXCL^h*6Yg@@2srWMW*mPy1DS#)R?)*I9Z z9cfHmh{P!(wKY%*mO(a*XVq|XHLFQ+!xgQR(%A)@45p68uJw1SOk;VZBWT&+aUr{4s*}zQaU+_ZN9I73 z9C{BaBu>P`^q?8>pbbn=NGcYn){vs1F*q79UmI_UvQWJNOvEH3v>uQ^`Y~9>sb#wK zKxEJx5Mn@_IM4UKCQW^2DUM`Gft=!XFho2NmqL&h)#}gyyz{6njX;G!{7*HFR4x4k zZwMJ=DB?A)g57d+8bF~i4j)!0^s(S2kZni ze-Ix%VW>jv6Tz>683|m5SOR>DPsjxA7-;!<$!X*X+cXx=k-{gX$>zKHZb&l(arK8y zX{MT-pvd}g+u}H+pv4k!9x0R~AEpHbBH*s@2_LZr##t;nInkyD(VXalru?q9SfBHJ z_iNJBC#7k}=DK`7x;L7_K8hP9g`F08f1NaH6|p;VCfCye$pCkkp8SGS7%+vH^~Avj zwNE1`3K$8)Gy>P8G)B^AR^lXu-HZevnR2#knWJQ!p#SbFq1~3{SYWBLL};uj)@+6x z^`~U3FRiJDZdyBsPSlW3F@OecNAL&-)|9e1a}INrqFU%)ZDg+!Xbh0VQP4tce@8pz zLBatZr#Sz8{`0oJ?V-z|=Zh&&#ntL1?FJNk4RXM=J;5CWbAqPO2YjZb;K3jt^JXl1 z3OT@X&>Cn?;G}(|=)h7vscGF9Vh7cR(9xKL2-rp1*eOUg`RF|DP~mXjD)e|pvFD~9 zl^~?iI!r)G4f;!uo?jc%73h`gf4M@%KpvIDOX!1kLssCNlaB}eK{AGA{stP+P76D5w46}{G_n|YD4iltO|kT@y;csHA(LNE8}xIdCsP8$%FAqq zGdT*{d+kpWIYHzmo9~g63Xmk&d9q@N^3pjBI|g17P%kYMNlt`S2QDHKveXZkQQOoz z@2=B12le0Xo>e=%ZR}1pe?n$cUgJsX%&-k)dCf{~Ya{@O|B*_4Nk9M&1N)mg-f3HXttvQu?&r^(% zO;e)rFp?ulIzlteS^)Fak)lOKwX~&}Kxk^INDF{a#LYY2=l-~5>YF?_kaE*E*1|Ww z@XfF0!jfZ0L0Of}^1^!^5ZH-;@c|~{THr@S`;~`4rrwWnxzjT~U z1Wi$#$MA`1*)r9}_L&9}BIugwi>VB%1hRa-r_)B5HkWwjddL5lWbg!ee|`3{1HO;& zuv(rk>YLSk!S5$LpIpP8`=`IWdGq?O&rV;>uO~Ap?w!o17f@k3xm*^8Yo5^C5BE%P z#XWq{S>j_KDK%`T%KOW6eEq@2cvL=^-2710msjZ$2gG~#WQ2~MtR~a?{Qm56S{34` zJX=-QKSL*Q=aGX)yA6LS@0Ta#!}3}Ax}20%`LQlP&TkjxRauwU<*b~S z^I28iREv6kQ7+0=xw=|ZRk`|O{(mg=;~EAEy%)!JV)6FH4<|nZ7N?Wd)uYd=YPPKB zh{>z!@^(5|Y=%V{M8&}>G8UM^s}2<-a!^DD3G8P_AaOB6M9UnJe-Devc~yPp&uR5> z^`XAJ%&t~l{<^;CE><_3Utp)y<_2F{!CNPFcJX0wk*=s&Te0b+e+8F|`Ni$|YE^w+ zmCM`f>&dFdcWXYca(zUxk3N2U^Zdnw*GV4?)-Gje1|QYWx1SAmRDe@pUXdcn5ca) zdHnW=lV^{5nAok5hy;i>@j!qCGYZJEH!-u%#LnK`fBfK=-o*TNUCT5x{PxOWX6DuC z%qHbzdUHkU&Xk?>+*9ySy>1^AUZ1^vdiqmF$6FCF8nqjde|qrC9#Z)XgwSW?a5qNY zLO)2z4}g*%m50C~+^3^8EStr$4@H z)v0!2lw&?zkL7l;ll>W?UZ-VI*3#>ev8WE7ptUle_sux6mAsBgjH*=Y?|=j8Chps z>p1Mi|8Gy8z4+-tgToGnG(jUj;Mb}g;b6WR2S3ga=eV5n#msA$Y-Z#7#D%#TlD#~~ z+xt&n{ro25Ocs0u5*rd_!hRJYu^l91(V7@_7}jlJ%Ll}i9ZNDp5XLS3Y`z1;Z)dP57R$-BkN94W>GhA#o}VBKpU!9VXRGZz0UKrT&mkQQ>zL7m z=wmJNU9*yYgeFiWqmg^Z0UXWb%=$YmY9vaa$^P{Baza18efse6vo!s%!!273PZXZl z(93T*OA6VazRahu)RM5+{ z$r6ch`CE$b*OvSj2L09N^XcT8JYYx7$=Gv>{s$?p-CysD{SmXZJwUa@MZla63vS$X zZr>l=&Mp9|^ZBCMvQ?0BFE{({r)Lje+)oy?D~gG*`NgmC2UdS%tHfn7c%rwrH;9diJFQ5DF(eo!~Z~uCF zc5*7k$R+~(fl>I~Vpye7W#{zeoU7hZ4#4t8|*PD&n%iFzt_WbP03C+fj zQBHBsLRhUF{w9JD8ReMx1+$5xf3tZ$oXG|+@@RHGzo=)IFi`#RBe_K7yfE1!soD2iBt z_fAGBFP#Q16q&FRiclWK! zPr?fu@)L9Lu)Ra`!l~w%y$GUzkewfK-)+iL@~I&j^vzX`V<#(P%Oe{hgM%2eeA-hO zzM5bDhTj%KWnnai>cY3Ve^Ft`5U8%ZLcb}{E=&s23)jWmuyxC0^#X?JLd`q^1xDMl zFDQ)Zg}8+kO-x%@(~m|`Lu~}wi+HRf6^hs`*j}yBz^l~ zMVD9zp8RC8tmrGrqmTP~t_6R$qe@h@ z5fpz;Xrt%aCe@Zx@4jGhT`->uhT%;TEZ74Gw&nb`FBtxK(?Bxx_^o8Xmz`wp0FsTL zhYkhPYl7vvw7!+gf0+ZwHGUX3l*@0oF(o^|!~p~wImH@E74I&UKZNCv?V1O2NjsD) z_6=WjYCOb>9No?i00iatNN^U%DO7vm<|J;#yn!8$2TZe$o_MDe7`UG-OI6^f+MnXeELO3@>I5#snMMgF`GDSug25uOm@JxD z?1DVU^2zs{lQ((u6A}5fM4TW35tp!L$RwG7N$lxvi`c}1I3{$rO4i6SSs>G7g=~-| z;vfc+`=X!ClX0?1oFoZS{;Jn?vVTZYNHV19S`V`%LefYo#CM{H43Z8BTTqF|` zoYP%4$%2GFb(|t$l1p+R;d?#Ik$jQ|*^le4kQ6{pD|H+uMWmRNkWx}cMu?k?k#Z6u z6~se=#7ink6&WSfq=wXzI#N#>NF!+?&5)Q||D^?zIM8Z^eBWrb0fk|$c2vOguGInf z|KF+;c)Zl=g5`~9b;COP(&~Zr6w>O2?T%{sU`MaC{IKH>T79tZ4z>DWvd*;zU}7~| u0hs4wtwET#Gp!-ALv~?4A_DVsD}O#|G}M=A`~)5gH#0Li3MC~)PeuyaOk`F7 delta 58986 zcmZ^~V|X85)HNL2jnSY@8r!xS+qUgwVw;U^+fHLOW@9%-<2=9q@8^2Iy!Z2MKFoFI z?7i1od+jqb9|4$&PoL^^puyRa;yI{*MeR-d{T6g!Mt`Suv`l@6qa4b!4W^yl_Bmic zFkt_Ni(%Jp(j7LPNpr}~QdXHXEpEhDHaq#JN3Q5*3$8K~gw}+(hjQFzm z@sw`Lu1vCB;m_gwb*NGXHMJe9a{2i2)Z4}3QE*8s0hQE^$RgYQdFZ@}`1VS47;YPt9+WA$dYr3mY4aOs+^5IAgbhHA;mI5d~{vG&YvHdLog)y6E$9@5>@n{ z^4BH6kV0ElYURY(1SP>N^nn=dBOuGS?-{ixVw&W~g+N|ywjoI(-J~Eeh(v%ueaEJk z+_|l6a!XC_^th@lI+^4tl)xr=K#UccI9BB6qW;aXjcdX7=;E{dBE0~n+)~*kCmc6~ z_A4c%d{xnn_PF}sE|JlAhz3N&pCz$7#^BA zJ%(l$3G;ChDX@Lc`rchEB|{V}nS!_SjJApccRkr=u0_J^_Y3dSY?9&8xn-0IACEB3 z0{CbFb0(AZuCqVw&!ZY;Id#=wy~H1Krn6=4!9zZ|GVm!Z50k;eO@!?v`I0x?QIu07 zLb$^SBHD%)9-lO&fJPURl1K$>rNPwP>BoEZRH$XGI^>HdR}M6mK7SF6MoFrSRW!V05v5uhys=9J zIi{t|&O;JO3i|c1eM;enouX-tlrVU67HvBt_t>hGeMVaifQZfaLhlPaTiQayJok52 z%S)s1fFLCEdM`OaM#MWS^g(~hfu~~Kyt&(Yxu82gTJD*OwO=+IOFTG7@gzo)l=hg>9<#liro-M|Z%ulSL+1opH#S?0nXnK(;8 z`b7E&^;jO-Zi+Iq0xH;p-Qn~6EZkGHh%~)GEx^#w^*|d}AC|5HJ(R)0CmoL_7;4hq zTKKHs;*a@DkX*jSp#CR)DivgRKK4$*^ylxK7DMA6ZJu&b1@TxF2~|i5W2hpb0OMuRxK8$6Xg^ukYx0#lVv1MaQ&Z-hP3Cs-b^IN7zp5{`zS| z_Zc{j1OEaC>m<$k8sVVE`$Zk>1y@2QS^mpz+w_B00%V{E;by)K?soi$Zw%%H#3Jgx5??0EfIS$JE8}~b1?q6 z67q;!ix-NXE&m`U-g_#}gE5r!vul?O|5OkRe&BaArwzp))EMF4_Iim$?@;KFRL{+(n)g$)*nD)y5zLj{~$ zA}W$~@p&@99DCg9lakBmemOS_Hvcmq7qchZmG~tD?00B-9d>l*8O^&#Z*?U$Mq$ZT zD{)S9y}>?XL%8qxu#@`<6T*g`dW8w$y7i6Ky_`4On37qEmeD!>;NN7U>7NGrsXBzC zn`vL7IZ}`(1bt`@xIP>88E+D9M7L*t5bZ#GdV9N=W>}H4ILk)xNZz~}Fh=bKq7anS z|E@pW&F-4Ce9D|&FI#yo-Fj0E?hmhX zW0w#DJY=#C(i^>YT4+7O=xq)f@poWzdaXM+w!@%>OU6c^V7Q0DDf00K{hEGhnlEDo zdw4se(>{JG<+4G;>YE&-Xx)|}zzqHQ0r{1L<&A{DEfPl0+1=6*RcvyJ<&Pe+;brYF zG9hUZr>Eb`1I+efZC7~n+XvBDj7r4a#rr*g1uQXNdZ%v0p!+lwWuPY?O+sLWi)@c; zu5GZv7%%p!7T%W{*$|GF8{AO3*pbY_xBkJNJ}bl`&JREOzwg=hL5U`a0BMuh*sjPm zsQ}^M5E}NG;vI;Ru|TM+esP&Lc4#NCOESH}m{cCHh~S#n-rai?3@Zq?&bB^5I5nGx zpJA&F=H>UaJiB{?U|V!W5``Vq*jz-)j_D2ftZtLhO9030!|?{>(qH*-PUb)g)1T9v z`(0jYtl8_D@%ptA(cG?K0Ea8qSZKMyo|!pG5+YkX9*y&l4WGrSPhq7Zq?om{4t&}BLVf4#!uvZP#9p#mGZT-l`}cB z>N$M%Y4#fiwDOQ9{SdP{GC;I~v-IQ~R|ZXNV^$Ca8-#4&59{?*1M(ZEok$t{Le6G} z{?!+cIKk8U2isg{Ksz>wQ;ju`#q>{bP@oU{et~bPxtS5w*h)r-qPd}wr#zYJHl8@~ zDunG}q+eaB1PNv#-8`R__;SoaQ5W8Mf9!gar~_SSPtWZs=KXrs7u-vM14@V8p!nKpmjdq^oTAc6qA2x7_j> zh2wl1Z(8%OvjnLofk4nVWxR@Pnpg)h87JBjp13NePoZsJAzO0H;e19deL@+*p1yo` z)0D&zg$b@bfZOXzVhw-H$RE{^O*@_8xC%#Ovc5NyX_jOgEP(Mx2heUtC>?%2_jJhQ zAr*)8fTLo#0Pu--toaZDpkF+$CezQ}Y4S#)9xJ(h{qDeXJ*JDEgp2 zAyah9y)ii0Kt~g(sJ90jjX;7ZRyy8co9d0bL%5Uf1!Z-vJacJ2nb6G7b$fc%afL1w z-va}YvEnsyUm0l4T2@gWWU`&8t97MOF2j-uFT&&WPxrvYhzr8)59&+QL`GZ%*85{@JU)Bt9fzfaF zd(QMbEI_Fz?m+nYC9dbeHafTP$V{ojZPs21OdT->ucf7NnQ9FwW*U<&)biTE+(P+d z+O58V%LRGlqt|L$WZ|ocWE_9~N?|rC2tQXL&V*~ePuTL9+dGuBl))Ww3=DlK1)akq zis@toO77alaBRk}UG=U~-jT?}IFSbnf}E-W0MC}VJhTPLj~c>3A~vKO5BZpg#dl0( zx~nkB)y?#8*b@gok0*(7vmRBI(X4#tWaFHL-1u*-x<8cN~ArOqRyTSh(nA;8%k@E7KFpFvs#_fqUKMVQgPJl4MdyPB!G)L%Y2s z_YNr`oonr@07*=z(K~PH$58G8A;!tOK4Iz9U$Gl=o5QW_pbLjMb0?+_A`twZQO#nvGfqrvJcul_-w6H?dcjMI^%vWG zmGyQt|3&NveEj?XTPx(9Y8?FZ7YCAsg*_<&G;C^WJFl~2`_0r|tt;`M%jm$xKOB;- za;~$dO}Ay3m8@PMed)*ehEblF{OP=Q%NZ;l%5v1LG^dJK#@~PXV6Z*#di9x>|7E$+ zf&q3Vlxr8?cQ&qHCa`T)NNPCsD0P@-8eDqw}vryFnf<)_jYU79srCmjrWvDO#WctY8Z`_sl^)BULlJY_hR9!r{+g{{=Kma&QEz4c?$ z>dl&Ly9}Rd0#1j1&!!*619 zT}yU#TR|7DAr5{tZh2D=;WW$@c3D~ktO3>EyK`GSU2FF$ji)ItyC~4G{*I5-4%Ne8_t5(QINL4k9eAR`B83hFcO637BZbYM)R4B`kMzB>A&eJhu~P=*UH`izXAK?PIMACyZrjyqNc@)O^E z8DKimAy+w397>pWy22vKZa=+Jeu|BtruBppU^2pKI$}Lxf-d~DUC0g`dtx^& zcpX%ovEaY{imkq0r&CoUqam+)nj zTMKzqc5}p`5rYBG6uEpx@TIqhWDOyqJ}1{^P%oV(kPCQ7&1W!oM$o(s?qDT#oXlB6 z&Y}SuXP`YK1tT$FS^AhX@k9rFY1ckO+rkobZyLXj+w|S0)u2q+*3ZRTPqJ>+RCf4- zE!vT|ualJar6)?oH(EkM?fG?eR;ETqm~`)wvM7s2EU>VYFbZdcrDqRiBPKFE@9%sw zG0Wldc7y5gc1xAvC6aNTCdon!`=JLt00Wi!_149Jm5>928W!mYb2kc5^jIcO?j(bg z#>M%F1LM#0ILh))>wxRyg;l1Ik{+q^%_`mqCX)U&*WzX}g#+_KNImGk$~5p^B+vbA z`5Uj!C~TEzqD|hRm0}rmyS&7+$0cfR{SPo6rC&I{Nb#77j7$rm9BK#C_XfDrn^F)G zTjnFGjAM0oObsYhE%bIk|KKGSwo$@(m&R9vvpBg!b&ZwXyeb=TOA7sZl0j;miuqv} zf>g7wp$q&KLiG;^(PFmQX;U?Q!$H@Stqh$vI3qQ$uAMZUGrM9;=}xJfiUx19KM;`J z@vQ@^-xB&J7)s!|U?u~oY2;fo-eba) zOq8wh>WFI1>m80SrobWk23ByDtHcCjK}Z4x?cb#vSK&iEFO?JdwVWXdFQA z{>bwJZD((Rp_9^}oR?qj-Df1@cFJ?zW_xxYX@qBTz;!uVoKe!@$mZ)~RA~aYM^}6_ z7m;J<%y(RW>h4JD1z~?!7O8qma%rs|ZcP17h{h7g`1m-!oLEdS_W^Bo+=@&Q`9|Y0s6f37qBoAt zDqbDXXp8E_EV}(Zx8!NoQ{#&BaeMBU1hjaTlh1#D|8*3E3l_Xj_lyc_^t`j}8jxL- z^O4uOuB(^&Q0=~h8qa$u63CPObEXzRk%STw9hD=SmPGh9^QZTgbZ;tJB!y+q5z4&1 zd5hKWXL*gHQvKw50W~oi+}c#~FQEcN#0_g;llE+YblEVX^~<@LdFkbyERTL3mFn%8 zQTIttqyxGxINFvCn?g#>F3LEDO6$wy?t-s6E8XuyycF4MRI3&u7#iQoR;=Hbv!jIE zv;}MgDzRVu=D*$fq#rfaUuPzF`Z)NZ{0TT-RJ(LpJrtar)OVv~bwg>f%ppeUocS>f zINEHStN?KVP=|!C*l}Zj+}y!7P>qo6zdjqh_um)yM9H>@X)RDT;}<id-+%4v z|0TPjYiY`GeU~lGM85C{_$?qjKj%XTcvH)6@dp|!ws>uNP7cZdh>TdGD6LkxhxWNI zK6u7oM7R%TD|cHgbZms(iA*+^aTPoGXf}UHKS1Oc{JO<})g#?OOcf&Ue?`TU{EBEH zm>>R^UxQT2$o=xY=Q6Jz)@8L>U~;23T9x2ku<3Stt32f7rIXWT^gjP`VEQAS!9Hz0 z=tR}wxe&-(R$W{}54G_*>^I=0gHV#gi2eDchZpItz2KEiUo3!T$!UZ6X4T;b@Kyqr< zP!N}-x^lTQX7!Y+ptN}A(9&A>Zb4#K_j~aGy}|SMvEr*oWSjn2&2ENG^~_d$H#n@O zY8q7>OFfctF0d_6g9oJt`Wr#*BOEmk7W_UjrmxYyj#m6qdpsvRQBEECmiQx266^IM zJuc`WMo2hLFdu68+vWbVmfAbu*i=*dto)R2Pjnd0)dUOE1yO?AUoM2&PYYwhvx!e_kEa8_-GNpLP^#sRy!VlINK5csmN1S`>nsi7(i0C zJeT?^iBfwo=;xZT>-B6%n*GymLNgd__ZOA@2UGAK7=ialVvCOZByQne`5Bwm9kHDpnFn_^u}+?5ll%{xF%l8BQvfRvPX-#mbnB`BW{ zPRFDV!UqM*gWN4GwrTuCol5280P2J|+Kl@+-upF!hP5c?* zwxbgJJIQp44W}=x7*;Ft#FJB52KZ^6@Uys74Yce(tSPY}HpCG%BKk!;O=Yls{Ig4r z8phXeu8TRw<-Ya|zLZ_O(G0Td*c#|Ptt88k_Ko-JC`GRM5}f`fw8U4xvK+^Ppcn3C z*L>yfi+P;I{25uJDXLxp9Pc&l=GAySD#Mfu#};nxd~|J?-s45}90*)N(${(hTGb{_ z%hpo7D5~=%RU9TZmLDrgWtnN}lt(OQm}HtTUj6BChuE{^sUw9zhf{E8N@7D|>=y{w z9u6LQYDQ@sp{yHMTbU9XS<%G4v`~ipgsfD=B8^QEG-q807yYM_MljGL-OHSQ=yWE& zgy$X`1?;AaiSAFFg&}iC$mK{Aqo*9=)<>Oq_Xi&Sy+nYh$zMO4tu%6-k6cZ@YJy{g zTAlq=))8l_GAB6_^eZmf)b+OE6#G=1EpRWhC+H+UUJ57 z#+fKwO(*8U6wBvuPo;r{h;)$5idPW*;*c6~YnWIUmG~2@vczt?zsTXq=-KjV%@G{U z|FSJVepwqR!}+`XBt79b1P&Y?4aNL~yFbF>^IU$8{R;(*$996Rk(H(uhL@Ns6d_d9ev9rt zsKH{Ye1*v5`wkgQ8o7_*6<(&MUgmvbsf~vIuN4wG!ZzVkgWU}w5^j~P0) znFP|co0%8sHXk};f@A4XryO}nl-7t9R6Mzfq}3^#;=riD`X9R3kqi7S!^V?SoE2k( zF`8BK51d`cgQ{(5+H_EZ-fhF}|Aa0IAH4@JEDCk#c7qBwcXAIf`uo|T!wcecekmCJ z;zEf2)2YEacr*xHNwdbIM8z)Mi~*LAw6DJpc}=r7azfUVyPj(?HmLQuUEKz+<4F2% z#m|?G9lm=%4qKrxC3gnr*E7UMRraNn@;L3_OrP0>gf#IezL%$!OR_)byZt2_{MvQa z>J4Ey?>}%%>ch%`!Dr&fTY|iiOTa|zqxL0NF3p$|OT8t(u3knN5?;pZX!x}CrlZVR zP^`gg=m9SD`HK<$*TqGCHpvf_pt}X)H}W@h{w{$vAIAE33N> zI#Hw)eoe=r@XdB^rAf|v*OE@M1PUKMkrKDWb`8iS`c^J7iBX|P-R!vQ{4~wQkAtIS zji{B&U~v7)*^Mh_VbD%;6>cx9jy-_u!CA-q2ZBRz$;EP0@BL(|M4v7gOn9MzPpGN~ zHH>ea^!P@*ZIiiKl(IC08_;Z0@}4+GqZ`~LaxvgG*bP{4e@7dZrI#%)1ZD=ZjXKp( zIj7-mvm5%}TB+DJ{s{k6FEC29;Oy_f35U&dKvdzi6B1%Y(6H01oXYqFxoxb1(f8$x z?J308nUQ6P1HEo)=al%ItqAQ$&v)ceT_gx%0o0qltCi0%{9j>?F@ZWlV!nkO(7%B9=?~rD0mTcTd`+0WSRq->xw!m}6EL9e2#81XB=Si%ax&$aKDkuYJ zivB|8B%`$8*?aMKCn%)mqsLGO3p>1tDj17jBMQL5U93x0KLeSvZ76%D*oWoukutbN zmRzLU4LMW=IkfT`=-4VZt!3&t-@GvWqIT~L8|50p1#BcveKE|mhojg!kBn|P_7dXL zhA5~Q5R_C#8!Qg%)VN4aMCm;wsFj8mR9B_7C?ZS&8Ny_2u?9G@FLe2{)${gDG z{Uy%1qupOBlmSZ?Lkj=k&bLt1HtZR*53a>P)T(2carPuxPg1f?+W~bBUtSgz&jGr1YjLZS{mxlsoh*zZ~#R z%l@2!MJZu$G4A6hxl=)z)pC0C31|QLn3R2bG2>mYNrCVc9?X>|X1v*F{MlxMR=rAm z@Y%x#m)li)Yx!5-H?Vpf<3Y~0GIYAPY3D6=>UNjxj}WkI7a+W|mm{cB&q zl#aFiMjO`Kg+7y{qM(#j25JIkwpoCz8<9fL(=syql|yiSHTgxf^ni`%~x)xwX@Aa??s2Op}@^veWhy!fx26Obm(Q=f(o8n?70~6ITn>lDgwH?AoAl~?d%QsuAFLx!~KYu<~2e>=qw$~y%J$dlE6ggTIN#!DMWh_ zn*4m02=DZYh*B{4cq7RoouRNG=SlO%*>9)wcjt2rxBv8sZKn#Nvs zWSOtgMValb&}Mu^z@(u^q_&Q3Hk=ZF34Q9^lzhuvLBmyMLGis2`HwbWBcwBm!()Az z$#(mxJuZl7t2wKNIMwqjP|Ff78)8OJ)K6-cy4)##ci}h8=*-ruQ*EYBK>5Y{K?HL3 z?$7pOuS{ABM_3Ci(Q}DLN9XNSs{UVEw6FU7>j$aDCQ2Rbtu_VPet&%i@ot^q=9n$- zKHKxsdabiv%p8VZ$=vfS!`<27$4u?&^%roc(De+9)yX$^w zjQo)36;kx5oJvKyT;tf{TLO@8Gt5l&4eimytszU!F7~|#mOh!CN!jxB2QmN67+V+A z@Q=Xs_dwOlH;x^S$!{P23@eM((VC1qkZ90gTcMPLkMwA2%sCejQY=5C(Ubj((sQTY zO;|PUl#EHBl*gF>Xu5gMB$^50gVhA3Pbk-rT%0pNDB09M^$u8ou3hD9Wu(XYnMe7yuqA*B5v16Y2uOy2D>LFT*JVP+iW@N)Kb=zx` z^K2ziS~MDcA=vO$5yDjZG<%;Hz5diFg<8zOv4kem zd~Hbf7HO7h=aSAy9*c$spMxiebP*h%Gqed4RwXLh&@^ZKL`@)Ojvi6d*rQO*Z5^Fh z#zJkZNMteqgpv`>r5lw~yK`9Lq){nRB`$CO#q<&g@l(nVQ#mFO8EgIiJS zBJYgM24Yj?VGRFyo5`xXst3_AUq1H8h0LBjppe%Nz?5qO?C+18!o9Cas*IO z@UB2dy@pFJCFU|b-cB4)moNFE`Ze2FE0xr2=^hTwZHC|WI7`ZjcEU71T$xg(n^WJ%r zX-RssF_azK*M=c4k!H&(P_afwqXB5gSx~i_s#&i5(o_9S(%DTnC?4svr6?L6y?4B? ztky0oNZ*1_nk)*%x?{}JV{r6+&M|e1LYpe(s*RUocHu$QmjhM*qzSa39H{!Pzy7O! zY2XPhjVra=nM%dui?c?7Ze*rOjJDna@qR6ne)7Hs1dR(tm4E^;Q%4=ygvL(0iFZ*% z_qS94uVm@TKoIwWp5-2gMTkoz{}|iZ#<}f-cbaqE=W6zTu*8XseM)a{mzScU_bLI*N8M+rQ;6 zAJ1e-+nGixYW*QM*o~i%`gb5}>y+@S#=LNNZ+u`~arYV_!UnuMe@!M2gjVEuJVaov z7!=5K*ZPr-460VY5EAjcaJQQ|<=~yQvb<$sAzi}#5_hS?> z#Nj}uXph=Z$2(H6Zgk4 zkHTQoTk3Q?x5-{{#*8Jq%Tvu`ZhwuK#}2bGLei!21aZ-d9kijT&~Xh+o^+6Sz)lWt z%_klZf1Gz26sGSte2CE}KpYhQ!KD7$Fb!h<$v@^#kAjH$kN7~7zWMuf3bi|e(w|@H zpCB){zk4{bNRR4~CM+%yRLI(bDzYGMMr#o)2MYGhYVRHIy-3qd9UUzrT~P%y;h6dq zaj~Lcm@ioM6s>mm#H2uKV>|^F(Y|0q`5Y_C7I@;CBh<|5&hc z%CZ`6uH0PsZ3RDkrBA)`2k-wsi?XqjFp_|VQW9QX1O^#XJ98Hc5_V?R|7&)$t>Xwe z+(LWL)Fw39DnL1Fb@TB&x*+v0WPml6l8P&!y5rU_@ zQziMo>%PDJM!8L{g=h4#e>Kh!&%R1#A(Zay+`?WGGk(zW8JkCI6|{4+=wO`vS#7L@ z-9gRbJe$UJ9M0M7;`Dyn?giwO5_M`*dfr2G`2GT~oj~)I{2LTQ_svJaO=cs5`T$GO zLl1$mD2peDv>|8y+}%&AY7(tR_*kjR2vrs&0@df%+RwaxWcTTJ`Z*DewR$;RM`g)^*t{Z3l-`@{*xRg&Fo~|}l2Z3gRjzJbq0P;wn z@5!07$HT)8kLPue^A7lu@wU>*-dwem`pMt25cv+5Qd@Auugb zavac?t3R@wgTk^nWXT43C#xY(ZzESa`mvZn zg^5MZD+YQ>WCdjcrXdkcFW*|7V(}MDMKF zt{?>iKM$}g#};x;<_w;VJ;?oRzfv}b9!XjM88J_C_FOudDW$S}1a$_PhZg~v!1Iwn zCD=Ys$p`w#e&-b?HtlMXE~_`xS-%?JdSE?TF)U4i>38z5?`x;LsIIP*Qy`-;Gi950lrvt*Sft!5=MGHoYKB?^)Za)keTS zLuYv_SEFs$!Gt0EAS3IK^{pdyAx~Z()lP&=^o5KN+{5{J_;^i`z^PhEPbnl{v5C~G zG@1cr1)@tx8Y9x4;sop!P5LYvQdKfi9R{V#NW&axTSA^a{(F^k`4Ue;f9a)5-5`9UD3& zldl`hIP^F@?_K`Sw|Ip1mkX`WSLYQ=-N1A$d^g#LY)V-Am`3Z-(m?HjZ2QzziBGun zd87l@{KJ*l@k?qL>K-&RyTI>$M8A+*+k_QPa4HHS%&!2rchB7Ta{Jj$0<&(Ke#+79 zJ!&+g!@(Ge?h(XfFyAW|oRSA3wD!%lDgQIYB6OBO(BAne8;8T4zW+-lz7Lx(12B1< z66ih>m7^7c*L`E}jajgGRSxk^zfAT+T=dawMqrS0tEb66^1O0G%ZbGn`MUNOr74>nXxQOG2Gla6z$~MEZ6VNoRx(` zj-hU}^8p+-Dweq{)e*++L=>%@z^y>SQs(MXnu6?BDla1S;#F90f2Bqji4P_NeVW5g z2fb{QPkz+VHN>OYy-ZcQ{t!nPc4~5%{4Qh+T|MgFM-L*Z(Tn}^;!6)44&PGtBbCID zWESbkf?#^4O{HoKWr+wHCJ;T3{?Riw8TZ3h%r3X=9HX#G$Mr)_G8hmZ5tDp|^1qlT zMUYLO_qI75N7a)cPCw;?54?k60ui%uoY=t0*Ip zj6vEWw6jSDYtxZ1CTmGj&bxR5>KEa$al>Vng{h>E(w*!)u;Fe8Cs5Sdt1+gCjj<;je z`jy|5RtIu#EM4=NMsebmN!QU&k~D)^ev`bPB#?k1>6t-BshzxtF>EG4EZ_ra+cAG; zdI6{IB_5%bJWF1oU7=cVO6f?BaIQfQ`#)Kv6nAQ-Jvl*xADBw^aZwx)S)f@AE{nu~ zM_;PHnJ@e&q+#JS!m{HMIrkX4nSr?nK_1X46fr2umJt$O? z=??2l^MSM3^ju@?2{i#8pNnEI0OnP0rfCsYDleM(GGuNHnpr^KVbze&7!T ze}|fgL0`%jBOlK@$;}%9ZrL`@dV_B{%28c{e8rlm3RC97ku!$zZU%|LbS!kh=h{`B z$wtQ|NbaIn8)(RBN8gl?<1a-cAn-0V2J8b33#BCl&4yazKaE;-TK73D^VtY;?ewB% z4rnS4I4{vG?pH-(jNvWS3&Z}Ce%1vUPPtl4px+Ks7rB)vOo=R5P0Y8q@b|*Wmdqi%hfg_jme&{K9)j zlUGk4$!wqw{$^TF#S||=SiZlJa_9O_iq)>BSj5n$GmQX*|I*D1y~At%t0m%S6W_(y zuAOWt1^->%uox12pBZKU`J>+-0%pGg#VLkNNmeQohn%$?lz1ml;`a-PCc6G7@yoaa zsu^=M@;UQmO<(5Zq#{ALiGgm5JOwBnG4qKgdij3;*BF@wWThjqHfug;8^1`^S0(Od za>l!!@LYZ5*9+u3-(=4PQgV|I>Lg#m{gq}zuPG2Ei*~K@4`cs_9m8t48AwR1^$WPh z0umqiw9PbvGV6ijwyl8?dcrp{|Pbojv&Wh6zyFRvnn&$++$TO2}eLCW+ z7FtJ=`L{66=VxvPdbB0j<8$l8$TGZ7P}robC*9I?vz2I$S;m{=4h2*Am}@|o4nCPn zhG$vJMF{lhrX?O&Z!UOO9A01PMA1&RU0F@AAZNiwGOL@S@ZLJz;%;j!1}x)RJ<{j@ z@`c1gW+P|3=q4shcP0-P>>ej8#S4-abC9%5gDgiD$a1*k{pV|BD9J1{5X;!@gYd}G z93d?q=3yONKfr2$i&A$@Cy}NfP62w!v&SH%o&_m&ewZ6AWYB+%DqB=l^$ql5)^#9=!7&Cq^uylGjq%gBzKo==Bv5&&YXat!O zbC4;So{cr-z6y<@CfbQcKT&!pv1IY~R&Q3d-*bqxuUM3*;W;vOvPV5kamp7?Z zNgAb={+ggMf*|p)DLq6KMV7I8DK}EYSGJ$vr>>vib$!Vu6`%gm-Ju*|S1cnQcQ zQ{G+0k{eLqg0wX%=PpjV#6|wr^Bn#Jmnl?!r;2ii>nz2}Nlh$bAL&dZAM!s+OhYMh zPc<(Vc-CIHOjnT&PyI-4Q4)4u0u`t#7Gnf&tzHK9Ux9q5t4PNW_wDSZQ9pgksGWO^ zGhs<=OTozK0!8Qvitq*ig{b#mh@=d-sePH8&=UAURX-Bz=%hU+y^1q_s49{%4RWh( z3;xsoxO7F)s11!DJkS!=Y8U%q-|8O5p$T)V)yzB*M>5-X*T1jKAJWkdzd~l|4|@K1 z-<7#EfGS6>_mZA#qs-U5Otq@llZY@TI@h4U{LiYK0c+^hPID_gtB%6*Q_)WhN-Rd_ z$;r-&1IlYOi$zV57*bSA^#j=d+1BJ|64{KLV%wxS?V(MB@>lf&7Q6ZC{~a}^k}$Qt zgGGAtH@-(1sY=|tkIB3)io%7p3W@H~M2G_r3!S4wG(%7w(`CMnIR*q^C5qn7I z8YPhb1!X>fUO4}A;cA}BXsDeEezhRDv`oE1N)d}Zk*v!2pj85tN|#_VaP1rMNMLAM zl)F-`GEE~Ld$MSV*-nM3xtw_T?;LtL3>FNl@xR`3ssSV(V^ne3I^r_s$4 zrG)RJ(-mpRSzAFeYX?%}4Uif){inu9?6l>DPHvU*C8GjL01tVmZt^T9i1?Hhg+q$L zZnPf{|1p!Q;QiPBpCwlJQr>PlIj-xY|Gh9S!7M_Avc^=CV=o7ArSP9voSIWGQVaab zVZ_`EL=}VGY2O|`f#$@uVo6RQewjT4@6ZP2%@;SGQ9X*dA@@rc8;QYnR<*%$dp z-EnYkX4lP~K{?286&Y0xt~m?{W?FYdK4#Pz=+m`=B+IH8)Hh1SQ4$atbg!#RX)dmp zMTIYj@YYvG=dYqgaD+a(RErYZsKE}0`+v?51Ka4tLTD~m)QIeyfTWY*Ran$ZLg!sZ z=Av~@O7L<&MF2!-RuM7-l26S2?<3FUTWwANv^R%$-$(ii_jZ~cN<(Rxa=b{49<$>V zt0g4WrUp4 zNEVBypSEXom;gen)zeS1J%3-sH?OCZ)&tKpt)%688MoM43^fchv&mp>s{9F|R+UP^ z1;yQQaFDVv{8N@UCxf>Mm+>RIGb-5GPBX*Gg0=~3;jEjw_|{$n&0}tMk#!e1V|Ztl z3`h_NNd7}RMnf*gUg<9)Vj@T{PhdB)tIlp)Boyc2!TyB66fme zQtfz2ix?;lq&@1Dn?=+X0HUcLRmR0x1t5}gEA4i(P)}tvox0Or%QIQy!I8tavX~iw zEET3Zh#xf|enh*`HirE-!Wb1Bws{w6Tq;yeb%@UtmKnwPbXTP1)_Oa!k9Mzisg2F6 z9weN7nu#o7m>_#9xj&mVwn0EiPEW}u38q} z5;%Q3_cHdQ)>^+mor?KBu(*xtVEG6Yiy5m+v-y=>n^(7RSZ_v z5GYlM>UZ_wgh-GxwW<@3Ir-B#!e&TM?i0(l(^Rq6ii$F0;{hLSD|C>ij!=(nqq*phl zyX0DFe|56*iJk^nvGOed7da8R!_@UatEdoLf|oQqs86C_q*{^cNJNO>o@>CM{?}3l z-f>24&A%O0%TrR4&vj7!03Ga@fn3%k$YuQixh#i&E{i)5@7u=VP;EEta>Zi5vHSNw z%_wZ!^V4du?unG_U+%T33>E*RS><_rlg0%7sEZ*8(nUaZO)P;&7HXQTqR3QvMHJ zUlo;CuymPV!JPyMlHl&{?(R--3GRMEaCb;>C%9X%;KAM9-QDMqJM*tuYwkSp(x>U} z+Eulys;fUfGd1*>gQmCwS%;huCT4VycHm}%bBTa+1^-XB2jCMSTlA6$tL0#~ZD+Ni z7>k$v@05ufGn)ez z5?7vjhM1bkhRfFNU8a_Pba<^INQfG26PA=8XMAtlohrs^VYdq(@Os#Wyv1Gfdm0#4 zPdnI?rufh*BI&wO-CicDzZ0-gKG22x;}G2@HY1(j>mFf2Zf_X+Z?fG)%PA=5_=e;+ zU`*8Z&%=F%I3fftBBaFTTnH`PL~lsN@5DJt`9U6>3A#f8kO%vM8H2W9T?FvI&lyTpJo1g%f6{-aC3JNe}f`0RgOdrMA=MNQ3AM%Et=4sXz z%Rw#3DaG|wVeZ73_E#>7 zk})cB7CX34=GCThIwp7P#d;VQigQZ)U&cB?@kzx~QC7?~*n~A8EIOpD2;OLEDUixd zF#~&d2c^UO$YHuP8^RBP5V!Roxk*RB0I&I4iq*X|TjV^{xkMrGHNeYIrwd^s9a)^u z9ZEv#fw5_4dQshrkGE44@&k!CL@5{<;m%iv|A%;wb|A78Fqy5{;nog!%|%v0r!L6-{VGovX`nXL@KvCoV}^$Pk3e(h>$5fJLQ8&fO-4NG zXQn0CoTU$ba!i!boHa%3K%Xt0d{cpp)=fBH3Wc;>BA7*dsz_)stc_y}UL!gOhED_Z zMlLwIJoa#99ghimg9=<9E(wnyQ;%e#qB0n~w}U6ZLS)+~|ErB~F76xDBs6N#;Q+Rk z{k<3dX^i(faUsU!kj$)1|8C-JrD;duH9GgMTv3uC%pNBY(VZk+_5bm(4JL$udLR8x zl#wiX?C{fXcT*B;yhB$M_gQ1Cg5pq7g8n8uf1(S!~3|O<;o9 zo(eB8h>+m%>g~nIII~O7FVf^<=1$Ve;q(@_r%%m)LaL8t(990!hPLK_fp;%;(vl9m z>K@mr>AJTcUN%SGKNm*X?SFmwkf5LTxYD8>?ZQ;HdgK_#1#HVzLqL##4d zuvS|7cX}i|-(I$VSdsQ7drC4}KinH&E(n=iq_)V$=l1llzdro)v?vsGmm}9qHH9@>ebbqu0@`Gi8B*&G}@K12ddELBBv_h8q< zyW@T16ryVyvOzpLBxLTOonX28o@~9L+k?72&_%6a6s9Kr$El3J8Xam6X3QW-htIP7 zkDEA5VblRBw;rv$qG&8NBFat=Ff;0+Q9jOPE`v_&1R;CW6KuH-)ZqG#<@)#h(ku#8 zv>-($uIU|*igJA&CieV+p`R@L(!o0~T<&V>9k8VmRIi{X?2blP0$1qzh=xhYi20Hm4Uc$Bbk1So111C27ES>|vS5M$G z2CjQUfT`rq_CRdHsr@*WYD8RzlyT}8-o!mI?hy> z`Y)V5Zb-d@>LH2v>9_9)zKV4tM?C>_&BlArY*BTQ3IJpF7_+ia^#YBmUwsX_IQ_g) z2v;*GRJJ$yT^=-%Z<_eNb#6UR3-`$gs0;}I#cc4EZvIZ=2lw{!_o>py^6v_Hfv3p{ zr_FUzs_wKUpe?!5$VWV?(93hyDyi#0Flf0m{_L8qYQRwTg zu$OseEZY7eDpfUldcRsBRYE|51XU%$08Q5GCxWEp(|KMA7faX{qK|vT49W4M*sRi1 z3{<6E2L9I?_h)Cw2dY}V5?|Lf`f=~pDWb}OC5Nr+F?PevHF1h^$C+3j9lH9z5s75w8Z*N8IV8GT*fJK4K}@nCdy=~T`2kJlm93$yP5DC;xv2y1%_*lOX}K1sL; zy=oPtmT@UO5A!I}FQ>0xiOXxfV9FovnOt`{ZI$Xa@`hiYLf5peamlO^EkRKbry@xz zlaumfmMWtTCvyAar`Al8XVv*Jn@bJ zOMa(%qGkNa7L{c9^B7`=f#D1)_oLaN8^0pfSrfLiWhncJ!C_`bi*ye&iOPLo@bfkMAqQthGG)6^@H*O;z9*B==~qgH03+ByW*Q6;9HThJ9%={qV%f3BYp&ep4a zn*`H0qZl8_UfQvrD}&w#W<-ui2X}6y3Rd$dVMTjmcb+=*TYE{g_|gSRQ}DyQg~|98 z*s42$8M6Z!*3iYW=P{eZ z@vBBm<8sn_i!LN(WX-i}^HYh1qBNq}l{?O7=~UOw(i12M&Iq`bSpK}u5AZN`ILR$; zIgrz`|Lo0Jg?NCBUlF*oZl3Ky)8Ni%v&AQw?FHWN6#dvh{W?*CwdG%*fMmcyy@q3x zP{gF85n_yeP$@(3y4GSu>H^qm&H`PW&GiX^PArw5Gg;5!arxfLholvc9*I(ViyOal zZIn#loAA?MKK)V&)Z9%^z|1Y;*!W3j7%uj3%;EQ8wZiMH7%HT%iLs%c5ICnNRJWOJlR+wHjeM_sDl z;m7C}Sb0YCOzVTQErNv8ZF2!DalK7jf(`Cj9`!V83bx{Rp@2=s=O?;;CZYfW^chV! z!kJQ~sRp_dksj7*BTn2gP_gENzY21UxVLF8-+oJJK5HMC``w!op!J9RTVTS(>huTw zdpr2CPnqm(mp>R2);Eg_tD(yDPwmnQ{BAEca-$P9ZTl&RrlNa#Kxlmjp@kZ+ zw*LLiQKdf}uneBuf#4U!H7eQ$%sQ@*7B?mAdH69d5@BDIK-NX03Rzn7%DRl;Q2v=^ z0i#yBA=>YGCSN;HjTWu`EUDX-XMOi%cP_ux+2K+1M==t;wMoSA4wuJ2&;ugNEwG%T zn75Re*O>Tt{CXIgb34uB%9C*7N3xRn>xle;uYc)lK7}G%u**oft!w8Mb$w7H3hDKr zaSZ+EE6=phz>C{bzh#>9idvRXC+^(c29qJk`+hszjMO=?HYQ$d{)YB330@~w^B#^L zJ!O}kTBR@TYLB|s5PE;|>IQBTMgldZ%194NkC6sT&PQ5gH)5*c)7xQ;wf-b40B{DY zG$n8*)nEVAT=V76Q5wMH(VvUv-Xi|w>l`?b4)>!mx*0!tu;j%rpgQztBO%O)Kee9# z9cBvXFc(3GX(9g4VcI~UF>P(czWC|07|&jsLp^B1M)(vfMLc$h;N5E2l4^|&?_+8e z=z*mGtxc*VHS)mXfc{B+pwqG~31KV?F6prbBcCZTnvS$!0bvjZHIf>ImH!b#$1uIC z(Tqmd_WGtBRy_XWxWbS4(N%Dlf5Ba5{m(9u?s3rA*fA4fyz)NTXr*%3e(7|Zaeh2; zPaUX@Ww9n_k&Z zgI<4e>cnR1l#ch6tO}_cUu1*Al}$hMlt)OZ>g2ipfR7y!h){1U9LO-*U zOf%9@8*eLb#wo{tCQnOy+!)?@GGf|!LY{53ou(j;h#z||C$;+pTqd-(1u5Mu=t4e! z|K|rQ7>RV{yqBaZC|l=QeGUN+g(*EGLOE)`yh8f49c3iM#L&|A@rByK?O8V!c&?SZ z4wb>cFKAt-pXcsD6PXB_$O_Oz`ay#xlH=9v9JC8zDO%7qXG7A-n8%MtA&QW(3GP3o(+L4A}GW?r=Q2-5>Cfn@s|$b?-In{&;Q`h z1FTnA=VaaT-{y5v87>Crje&;k5j1SKpkX@&4O?{gD^Br!z6MtnMr3t0Jmg4j1e*ZF z=NBOR`G0-wTP-_{b(!M=2~_Gpq9EG|tsnqvdH;5fi6dI`cZjFf!INdr z^n(99w6`GA3mi>O_;5JJ_DIK_|o>-O^KQMlU2(JWe}isC2p^^FZeE zoyQ-DBkT#Vyi3?v^2IF4jm&8AR12OA)Zirn(&9%M$7oc;LdK^vd^#Y1AwNU>rc!Z4Bbg=RbHWLF~h(k2JU!rd&9X-V5Fk zj-3MOjwVQVszJJA3ep{pSGqI*CmgNQv1&i@#D+eBhC8tz@4P1R>VsqNTuJ1R=Uw*` z>qZ&iDsA!Y3TE5#MsiVj%ay^<^)TWI->LNYL6wh?z&_5fc70Y~lXIVg(2_rqaqj-Yt@j zE$(mKw-=ro7}po0t?ZOKHm0dmyGtw3Lq38NqrXnfW{1%=TLYnbu{FTrTEt7ZnXJGD z81`+;z#(aY)7OC0n}hq~`A6s8MSL{W?0;8_-Do^P@ccyLj>wy2Utl6U(PQw!{ILum zd=TazUOqSVFj|DAIp%O#JVtmn2ql1R=1($s^J2{6_%~dluQ13$;yWkh8u2gHB3!|M zguk#Ipkfxg0@*xCfrUMrnwi0ltH!w#X+^yfwS&rBQ$678_T+JVIf*e zgG1^Ex-iF(l$#vrmQ&xW5pi~dA#A|we}*Xl3m|H^U)7Hip4=^dd<(Xie-{6x2@FQq zNGPu&n}<1dWU;(Vb9rBew-G10P=i%{#dc z^x?a`q)=Cb_yl^=#h&{6{QJ^d`qR=@-CH%K>k=9)uu39E)0s}0^)(wjUs)Bckm3-~ zqF=rH=XqFTt_t=hk(rysYrUt0e|#J(`2pV9vP>*800(x$9#vj$Y`jJfkummNjgut| z)H(B^Tc+J$S7E2>05CYe0drptc38RlL{)UF7CXpV75NH32oFupJxiQM5b%+p#-j2e z<0cdtFtDTHKug$~I8}nKd>;0#B!#p!3bS3V?k+=)o5Y5Jk`ObTtz|+7}vr@-ZG^V3c$HhFA>Q*i2 zjj2Iz%=AxX-LBFVEwIW8Z4ZC98LGtEaT{VC|95?rwGgtF6PgNMZez*M?VyFfz&{10*yXj43RJZYdn^5X-g9p zpT1P8){au9OB7*R8_vE44D#880?@@K^0~yy{iO(^-I0c>Tp671*g2jN@Y?=DmR9s8 z17vK6k;GXq^YfgfoM?s;MwUt)kl=1eYd`};0U99Mf0m6B$(?58XW5-dJYP80Bfd%- zJMfy&K;ELJpf?=>{`OYxZ}%2)x6bf)2KeS(D2drOggNSbJ{kC6H?LcE0o{z2+fn$C zBWg}G8O`IVBqT0ftwO5>#v)_iuQd$uUd`f_Ia(sa&x^y__L05o&nJ#A8i>Ix&KH(! ze;wgQbh-{r_Xx_uBIG%j#vfS+Rl)#_3ZQ6-uI{b(2@x~N1xW68>!no3=u1Shqpmby z-v4tZmz)L`fd%#e;rZtrAZ|xK*$BtXsMUXiW8xedZ)M9d(|1*7Q6iB|V8q)vLV#~C z)7KWWXpOHP+P!Soh@>N2MmojV3BC!ZqQ`QQBdJTVCF+0$7V$A5^ias*_z_0d?>JBH9521h+@B|( zvB>AfImmAKN_F|lEclMte&nSUFTuErPu6t5jEk_D1V>x)X-5(~!*3zQyHcO#Mu>eC^|7&_*I}kNbnl01=rcmo-g@$|z0QWLa=(nOrv2`;8u~2B4|OR9hP?vD zhb^NM0>&C|AFbAeRxu4GCV^k~=AkNg@TYjcWv*w~O+{*IYR?XH6M3tAndt_`o$ z)%TUUdf4GeH@hl1l_HVL?TtTuwyEUlvM%8WNpNy|P#S zxzMl*P&zb||5!tc$!UTNLYJM3{?jLQ`^O@o2u2R{BzB-D0UB~%<&Va(*hZ_LxM&kz za~UPZCJs0>U8=@@~Ll*qr( z`zz_%*YH1bS;zaJ2z9)o&i1n>*()+(ZSybZ)iYD16$iKCQJKx=+_K za91>ntlzknCv6I$69*cv|9`SoVD%(5gdRDA3zV{rI}Dal{APEd&<?qXQ(8FjYRJ?GY zI2=+b%mfPQza{S?q*uxYaL&g$jCTi8Yyzey&K;vM7vd5#*0Z*fsuV0UkH|Mr5e6|N z4`gGF7Xfmw`(Kw>e1nk%Vx}G^mx}fWFAS2KjDy$)3VcE5Xz_UcPe-!b016k$6UfNN zCP7A?4=M}`nEWw(^B;q2m`IVdUBRVYS_dqn;F2a5f6g=^>Ys>Veyjm>TG`~GkjE1UZuV`r4_Hj6)aV z?Be2ZM`5+vrOB?`g~Po-V^$FL{PYPR?Q_=N+r>|#ee5}TTJB(fLT=K#Z~NuN=(&KN zE>v_<|9_Q1e*PME+QO8PzEcJjw0;-=kxDl2H4O@z zQ|zY9XybldKH1aqq!KR~(?h+!)1Tc)&l^E@_3Z)sEZ~Q$PyyU(rM%DmTx9E?Iz6ak zd|jp`vUvR!4TYphWDbc25gq~^I+`Ub2pG~chkcBJ+ zjmwveFdXf*e*#)80v$KUu<&#EZ?$y>Ax|1zFj?3`b!D_!4mMC2IUot%OLChHa2zTd;_w+VPdUpdbQQEENOV5JdiXt!LiG?oyIpoC*({#nyN7PlYW znSzcFQ+u#2y+?{yFE#Q;_`p`A#K9bJRLCQn=WGW9|6YLum^XtYr3krv=&*-~M70xn z?0)^@4=c`4=oc_J^Q)}Y-A&}abXo>I228!h4Xmge5I5A*mm_vx$s$@Jpc(ZFZ zHD^D_FgJ}TURFSn*gxQxhQ+t6vJeXY(dD9Y?qyBl0FS$|=ZW!D-{jdGYL{~Hf~u(; zZJc|iVlVw`ie~B>s6WL{b^TEcrHyi-OBGanrdbWWmzV0&MUs!rb4#IBd8>-y4ryAtF_20IbA861I5P@_~RILf6)BnX!JHhf*ckv^mGwo=9BGIEUZAsbd? zs#nvlsfbFFFkf*BeIQIYq8s;{rUM(o?cuIAOvx2TfV9%g$2TU}wDvGy4-@Ob))$XI zwWck2g9CH>M$62{Mp?YadmR;FlrR`jX_9^xJtpI~o&zMBwmJThjfRC;KMuffmlF(k zb5~#Wk$*e)N|pyYEtzRo=L#wjAI0GL4t0Md(`(7n9qx)y$&=&oK!C5tWY%bODFD`Z z>I8@$(Gd)-_Pu}iYo)92=m4(`ktlSEma~jD@AE2R34byN_mSwZpfTK)Y?(4X#8ii6 zuKj42IWO5$j+xLYM1NC-Atg0IN#8+f%{|6$S9f2g&r+2U^p*54dZUaQ+wmAza(sUE zsPd5-AYBhWt;b>*t25B5X-VH#}U(N5# zT2a3$*@1htMg7b_uo*W204iI`{0k6>Wk^4zJ*_W&=_i%1} zvp3QFgd+PCOCBb3!BTF!c4X!OK9S-4#IK+gk?Cl8WCfU2Tfix2TQNlf1-fLYa+v|6N z=N2BCN2t1*wv@(be;$lLlNl*IOLMO!51HNTgqe&TPEx#$x8c+`FL<>M<*BDGm6C2? z?m$mE561mSBV-c`EYsl3gOhr=tIE0KI>J*GXg8`)qxR*yy{*ghhbh&tgavBK{-@mc z&z~H?7H~>F(i8`OVAya^)VG_w!ZY`(wMV#e{1vpt43Ciq^M0$7=fL1V@X7fr?ln;o zPwSfDI#qJAhl_xwSngTi?xJ=>XmoBFg5ivy2bU6Mq9U<6YO@;I83RUtTS~WhD z#+yHZ?9@X5O-pxoJi^JyJv|S=Shh@;TwlsFp8dumCs-xUxEFM1d!R&eL5W0z+}1bv zpG0yaKI`NqnKa&^o5IJtRIo6<%?1aKfdfUrfvBM9eE*4#H<+nIRxbF+pBY-~_R%!f zzd^CXPmPKdR;%~_6kh?*i-U$r&40&C^R7&^h(USPA*#-NX?#K6YpKrWWZ^b`rqc{E z{&T4OS&_Lk+>mkQBx;;4wY>}&zDRU{4oitYt{<&ksh_en*!A>r&MTH%5`K&C1w7)V~1jT3{7&@3EBHNnTQk2YvY z_$$EuHCKV(U>r4TLOb1XMhopmm2voXM7V?$iuX){U?f}S>2DQV!;g}rTJ!N8D% zcU5!9o5i>@To3S`%`=lb92fWMp#CXt3GsEA0}S{6DGRPaF6H4pReHE*PzP0fzRT zRl2%U+I8wzJ9kWK$lj!fjg4U|<#JC2`BMiA12>M{#ar8C=}kt|2rrwGJLDq!E03Lo z1?nlHv)(SNy;pqiuMYokPZ!=BJiU~tw?TV0?^=GOaveJ)+$ou-v9%%SEyukSsnsdz zpf7K;-}gQKefbG|-l^^J-J0=UTQUAwS|qSxk{dHsJhe_V{pTR-JbU@lqgIE8J!Q+X zY4Px~L4JyK=;g?+J}HlNb?fww8Oz~ls)HS2CGkU8N&{^=@1a+#j`e=s!9m!RWHdLj zVH3{?q)}_sKzh{jb*GAv`^63Yes?Ho07DLHM!`K%-7Y%{^or4vR1F@y}3h z#?0>RWOQuBR(W`$%Q+plG%g>>u5iOA_6`NT$*r48NwUr8nU8CIt z>LqD1{EeZdS2|5dSfKDF@bECsROZ3HkdTJpHj4zU$OnSxSw2br`kKA+1yXrVL(UH& zvK}Gw?ejJoBh&xs5oh|u#K6hQo|MJ$789C@iII^r?u>xEUdtK63lhd1%iY`BFKN*Y zA_7=uHwq4#08(1sRd_skW!VE~!$M%&#(l=mf}CI*B{)w}(9t(GO>=b(@( zPAIDbi@#^nJ*l?03p@M(&PzFz(+jWfOQ*I_N8dzH!VWL{w*={L2!HwpZd_J3*UujG zTN7XA$DeVs>I0tT?@oLm-azpBCQ?XW$N`B$pIs?-Q}O6^=p>j;kmXyWY*p74V$#W|`@tzBXa1Rdhd)A^@7j z$K;2}cq$+xcZl9gzS~<@dB?JOMLmKx;yz8oAOA(=ZF^$@f-8HIv%c{}A0Tv; z`I9`XOLzZV;Br|g?OUe?L-yX`>cg%5A5mFS487nQY5A2@GUQT8bR7R$EAL1=y1(uShYai=8#pizgX`xaz zx?PL(*TyFEXT`9@Gdk{VjWYMBH`#z-TI)d%*9e#_h_TcNjuUJ|eSi+XXdSC8%z|u; zF_{aR$i~>*U~&GKm&Ehu6P}ORt@`d=E{TnEHX@1g&EaN|rW4Fii|)2BvW*A8c|kzd z*&ed$`Dmq=td_?7Kuw7~Y#XN}ty-kbx?7Av60!<;COiw*=$up*nm6Q;e-ik-cW^Pn zOx1c8V2rEfYu!xU?mu<_C8fz+#r{q18`TImJfbKG>_BE}CB;)Yt3lIsxS^_FIQPx> zu-gw%{^eRVL+B6$U%8V{IYR7#FB`7mJ5cT?{?sJy432NOplR&gEHsqfHsF$oy6GB9 z9W?kZzC|~qH;4Z1B_FPhNcqOkg84{bZ zHJT*l_ggP)_X2>z(R^2?8Gp~ho_nNPH42OaX^) zH>A6}!u0JsDbxem{s6A`4QFFuM!Y!dAZD(QD}G>AvjgTyU@?97Q(AAaS#o2-wyWmJ z2RdYg(3f})FI~Q%`f0F6E^X<2ODJdy*Przs8nvJ+3+8I`< zuqMeztjoVm-UeW#%@Ud$Dx|0uS*rLop=U+VoNc!eD~v@QO?Ngk$QHo$`vS}TkGPF|gZPS;l7Mot zHmy{8WSpVmsZ^}@eH5gYQl1kKmZ+a6KMu@G$B^D%WsiCsC3NDY{%RdHPgcQc%^z_n zDQNRf8K4rWifxGJ_bI|WWqJtR`;~_WJR--@8;8sO$eNXh%Z&MT;`gXm8H9;J-AIex z7#|t@sZRpH7Wz_zt+b(T6IS&5je7->jQ~r2G6|W%a12L8zg$5eE*C2~+&en1-KXzv z6PD}>x6|~sfnAcIdEbUDZbkC;M`83(qRS_~qYJoIp|{Rl?XJ;s=_ zz^<8`-UPHb>!$w@wWFbS$>!`%Uj5RPW;;CT2ZC7u9q8uB-pNK|#G}sWn#-RT(T{bs ztM<;hX*`k53*7HGp3tgl4l*)k6P(4$4QcK9o!-AaY9i>=Ox4oJV(3XOmHadLXrEKU z`{fh0{{0dg7e@=+5?^{pw70?=jG4@g3t0`ryuLKKw6C;B`@bbIpcgZs9&)WPOB@E% zbrD0&0TOHkLw-OCVNVxb7mnK$SjW{Cn2Fa;m6Ub z3Rg99CHM{k`|hInq9Dk`T_A`;F0!d8KQJXL@b*lNlbb@zA9kO2zjQS6n`kDU zOvi>$Ieqc3&el<}>gBF$Y{Or=e2U8yhst3!+|3&HHwCV|W9vBg2;c>+f>8{~Zc>Nn zkvp40m)bfK#J zHV}Sn!5rDda_AfqZtz0_zrm8}-yxGSTuCgy6F)_oGkA2=UN%oHCd1=xx^I}n>OF;jtq*bq z*RVMUNzmwxT|U@ROBUnDi}L=BV@7JA{sm^K&(W?*2#xBKsJ?c7iAs$XM4TGJ*HcsH zC9xXG_t%x5wx`LB{m8aPaW&I=06)93L21s~Vd8r2v|hq~5~5DbtK{D%zJRB}U=w*S zaar<3mLkrh`f!osEN|w_azZL=@m}RnfN4>av)`P$Ta-20hKZaL!YVqtR9O7z-4GBj zygc#OQlUU5qubC69~aJjdwOu_0jt(K=*#?8Vg1*>HF@Wb8RiSj-bS~GTTHdMJP9YAM>vM$rSip5ez1() z9>rysAKHXl28u~Te8IM|WJDzo=vm-C&gXD{-AE>B#>$vlhBp-XHq$vi$k*dHbxO8Z zHns7E$@BK|0bUuI`L2}s`-ti_u`F|P-7t72;iFs(O|6OpeflB8NpEzd49?=6H#@!e z{rYAPr>R`Hoz5p)P_YU5SXc>T5wpLZCZj{P^A%A@UwZIyJsgZU_#&<5Tdsredy?Hpu)6LK#9kR!n>Wp(9KvIM#mcBDGTc)g7Cw2FPNWiS`CcgdFLWL z8Sz$8k8FM72a}XMS6wxVWA5SxE_y`8mt5PNPVok|fVPbydUVu-{MOD%SdI+~@tF~m@z5(ODihbzI)I<3-d>#xF@ zLMerM4EjYT7mO}X20Q8Ah>EPesh!d?N4&&Z>mb{Tm zhB~8TZQEw2z9XED+e|0&16B}8IpHA!J%5{%<=!}~%gL1b0B|4WucRJ)(D9pD+_wy( zc3?VwZk{FSjSo%knDn&sn6)Vqsr-e>%+Y1PYP65Ru{3D^ruh}B9_XId9NHA_(RDl= z?|j>G@Ow`Y6J~{%ip}4wHtG9uAMdg9v|@6~d78~?xF;>n{yWs^V!+LduFWPz!)MgR z`pI1^rf!KhNq9 zn*15uPCMt>^znc~3I@cwb`fI3%XwtU!z?`HBw}`7yv^=$lBHZ&K!`P`JcMpe?-lbffrX|6YFE zE3w!Al4HtrmT&&c^;V33cZ%%+wKJVghypP;?Wrk$h78_nfzWlP-x_@BOz+OV6@(Dd z&l9GxI_@DMcT_;}M5Asf=AmIeZhuk@xZmDid{MK)11NBPEeG6A|z083$wJnr)Wa%tVSjWqjQ4LlnTrsh;Lh<#?YhS54pxcfN;&2?sWR56;S#?S4bv#&y-h!`pjO@-o|}w_S1^^tgd<}>cKX~} zhLhO|T~%&HsEc#xCCdcMK+n+d=_?(dZ1$DkMqEncUaF=WITv|tkEPjj)ml@=;0!mN zq18Y*z=NwFWL;7!cWKhip+4m{(edSYTD>0G9c%~Oqg|pTxSF=Na;nH9+|RRDDr)X3 zh8sq8HLVU#zg!)xPrW;^z2S7zGlRfFVt;h?p>16DDfC1Hb5#i!4`*IP!tAp>r2|A9JqKzDiq+J=Uxrgd@}bLa)7^D(zio@32;!`0Y8=KvrZs3D7@IVkG!mR_vn&X?!i6Ux&YX?wwQ zR%UjtLP)|hQ`ga}WWtN_Q98DDRra?82$CfA>`d#tj9-OC0#rLWIzO=DaQEv9f-WvZTVq@0DauuW!3?$_kz=nk(9&_hQi zM>|C)BRa}9bu!b}+7}Yv^@x3*C`Qv?U2C;qe1E|Z0Y0OER{6n|NrK2z^K*329{~!c z{=xaN){PgcmH?kFw3(6Pr6+~}SajNKOBoW?Z!#vzm-^tZm!uD5b{8NTO_{o^4#Yst zmYZCzlK`Ps@Zwtm4hcM7?!kz3z^D0|%q$UAb_@G(P0?=)lr(?S9^K^(mi(ybp z$-0TB68$->v8|>`Sf97wtQzG1rqe&S@W35ozNj{xdV`-B^2xN4ej`L^X>)!aU221_ z6qWcgECTmt^+a@o{yyOOvM#aK{BeO8vDjnVF!mV8ZRUjtu11X_7Rt#KDu2$3w^`$9&5sh#1^(wxI@hd{)M1;NXJYNZkL@~?mM$4j zp6dBfy1zyq_G~V9NIjP}GUgjU)lS=2VEZ81*BmTab_6rdq_22wVx8n6mrhn!H3+Mm=cnRk2pa9m$YWwYK#gr?-?A1u_kq4b z8QJ#5N3SPOES|hzWTra`A#Wc~%8iXvO{rs&ewv7ey49IToSe;o%uB)6w_o>eUk!IN z>%kn>_3CV~T4!EP3NIVTncZ#RvN)7N!gv&}ySJmRX^4XMeUEYJhyo1xdeZ6gcTc?O z2&rIwJC1nA7y68hC$~=vOdo$VqmOBxK1-lfhB1`e3R^*P`>lP%$`Kiq8;^-6XW-u~TqepVo)ac+RG7o#(x(8 zn+MUux{!H*z<{ajJQH9{!kLTE@&10>IQAwb=IQck-<8_?BFVa@!$a^sMkNvj+d`04 z-!)9>2XslIT!K5SI`PF81}io|-8>=~8srZ5(G!(nB7CUE@v4DI)DXkYmT@_6IbQ`! zv!RVKyI+;mzL_|<&&(fLr>=K}!O#Dq#W3A3!&)qrQe zzv@S%Avw~gD+K76lSUvBA%Z){&?%Ws!mZY?8s~?@Zf8C@9UL5iQDw#-Ke_I_Ucs^h zmJ$mt!0LF|{Kb&7dwXHp^`#U7UpxxDe(PNDd*Q}|pRj-VrvD1|#?x2_p}D@`!S67^ z=sQnVDC2(ZmN_7t9?7ZrBGxwNG7(NOvDoRa(R<`w8YVPwT;?(q`DZy`+v4To^xfcu z;QU&0`ll32{u;yN^Mq9#qn~zsOOA~+l&WQ)RnG0B9K$~05Iz#{tFat^o+s*3ygt$X zTpGhV!m$vlNxxel7^;l~njqSMp zxVSK%VHdoNPMu$W;4|fKb9LeHja=^D#LZNE2yf*L9l2@K>pHwaFxk&7S4B^FZ$e~U z_@3j-D9ftqQt`b{3xs?~*3pz<#QM*_#`2MIr0teZ0Aa(g6|Ao3s?&j7=hzQnN%vfi zOlARv76msZJm&4AG?S~-H55+sTe@(S<_OfP+Or{M@p`6?(FWG`yK3@DpG3Bes%Wlm zN-_%Hk=c=6CU8V^=YI0t<0bx)fSpOK*6Wptt&+JhJB!%uA|q#;ab_0k7d)pRi205& z#4euU4#?xNc_J|b?hIt?2BJhicqc_UK_S08owMuVjqh8h zrP0kenCO&%7UkLBy7vP&9mZIUJ(YS!=_VfdkHATqyQ?urGR3Y7>^p^rt&U0#Eq2qk zQUtW~R2!X-9C!nx^D3WD2x{dCEoP)k@Dg$-`q1v}$m+Kb(n~r%p7MJ$*m<~SmC~YH z)|GK#UY63;bv&6T``e}w?By*-WAy0h#d7;lymjtNj?cfrhOB)_edOIfo6ch4{eo4? z@&E`zaJovBKTfn;F}zXy^JmualXLWluZ)(H0b=~@iFcCR-)-t>oG$8z2nA=Yo|qp$ zdwY2>FyYh7(c8OzVmnLUSAJ{|4H<1FINMWa}$pdL3KCzJ4%8J8Ly|~E{ICfJBB=x z9H$Fw#e(k%>%5c{j0tGYH2!K_wcl^C)Y zin~3=?&$rSsi-1o6eguB6P{~I*s_#bP?RerTuC`LK6&v@tRbSV@B8ys`3E((;IJwm z_Orp^XN4qg-+H4gok78-JTC*^yN6rS-gD=kyF`nK!PVU2SHqpBU_%EP zoyHQmn?~Oq*XFWjpAgfzB#tI5ELou@+TMTC3`t9N9)!dCBOSW8!CYh6p`3#BZuSNuOh!h?ntq9=05f)oR$VFcxD7ld(k&Nv8ZWI< z7h+`L#h~zAI7U{pc(TO(?`OVg;-QFIZOA8TMEpO>zpY#}5nab?e~Qq%jDAC$b`Syu znL17@o_~J4LAjk|#eW~vl2}qY_{x9e4o)vEw72th%dlFQ?3gj7E_d~m57HyF{AQ-r zd#$GD^H};mkGYfPu;QBU*Jxb1Z>=N#x%Wbr1IBa-bsj?OA-}_;0Kz3Uo==|4LX^dK z_RfM_=}%YP5QJ)-r3V$f3AsZh)zeGCRuJ)ky#F{Z@PBnA7LtZLN{LIvqR8KU!sjeTv7| zQA=Ql%fc*)kJPi(CilH!M_zwy_436bT0TxDgcx0IOmfNYT>{RB=O19AHZKmS@XUJm z_^l6y56hTn8C&>*Lr%u`zQ;S2g5<3A(@%1xnGVQc8`3qPH?ZfV{``QUN`h7=TAXBy zW9{5zlG>egaTF3gCj81izrHR0`%i>8h<{VP8L6x%S~JJu8|SXz1dD%i#ux{~qv?7q zc5GsXq8(StaBpwT+3KpIU+kHCHO@H;0{kn#uSq2c0QGd?p@S%hT=C$= z!rA9NJiz+nVB+zKQh=ig>0s|ec8=|ni|qUzg35S<&-Fyr7Z)MMY@CG<7G}Xz^PzNF zbGyDviwA~`iqe0JHdVw1&b+gF{Bo1A(8e*6TZXKy01^}fr}ZUV0)-jIYd3;s>h)PU z@u&Km3V*`XI)2>(^AEPaZJhIRY)mO*(~rK4cbobi3H%=1QE8_Pf#^QgL7O?@HrCZhu^rxYDAE_jQ z;~qj`f7eB)c^%7T3?%4?NuJ4!qJ?VuRgKn@UTJB4$%6GA2^JISovCrIhioYlX1Ym5 z2HQ`dmBdM+w%j;_IfoVI7!5d%gkNK@Pbe^~YAV-B#f@{h#NEM$f1V(97DO<0nR$+_ zQ~6!#_#}Uq<>B+3U;i-}VRtJh#v62;r?QUu@5lUAW-pW|MNX`mQtWlNbDfBV8*hd$uJ< z7^E3D<5Hd2R+f>DNmSa{UTPiBXC-&Y5t#5n-yDC`D}_ge91k?2W+VS_&qM#DBDg`k zTDPir;k}jZ#W(fNWYKyZXEB$5T*F(J6(EF4{F*?`iEV=naEuwQF7>oVFbLi64Tw3X zH#zF19>sCK%0s*n50|jtP(7w|`x31-y&n&?z1l6QbKJ#EmoKkKbM5LA#kPl!Cr#x* z&uD*#r*DCh1!KVeRx|wO)s25r*frw4w>!s zLZKZQBoPn200R*0?1EkcW_!(4Zm6-YBnK1L)*eyb5o-%JnFVMRNT`x}C6$3Shwi9* zaNxGYtUSNh0t9yi{X$h)vSpPDu$$BoR(4o$(lqa1*`OGxG{7?HygUTP4zy#yV^4H587ip#)9uxKo0bO{-mVj#(cCeVLX zzTX(D)_-F5{Q3)vywXH{gkDXqL~fo;(H9N@Vcr^-$6eKZh$$s88}S>Q7Lk<6> z+gj#om3suyyss9mGVY=1m@KV{WVC+(qa4CSN{J(Wgu-^DRqNCW&jlOG-Tk;pMnj(y7fBLCmwM-N291V{;kWYUv6yW9a z^Zps*eA{7;M|Nvp2jO8R7AV$Zs=({3zn5B%g{dPfw6z|bAWe)M>kAg z_M&Km^9yWrVw;lJmCH+mJMeS{5{f2t7r4Ui5IE6a#yk|4kP&nFY{UNJT9?iDcyC88 z#Jitu{`vp$hao;S#K>OkhjJy=4`yZgxHM0T1mX72>88QceFXMYR43K~_o<|DE6do< zFC>I_E$Pt-2P|U*e)WHjU_BFTHc(VYRLHrDk97*XC7pqyulzH?;v<#E<@uL|O4PHD zGXCFS+dOf)@oRlR|J+FLm9t6JF5 z&C^hk2TJ7otnGpo_gua(kVvedEhZvtb3N<4Tu{}lM_`T6eC&VEqfscWNi`566}&Mk zU%V}@ly65J5fOW(-cCYtN<*^G{}p)SfPz_|*6rEcKrfF&l%Do_R2XCXfe~}8W23W@ zAW4PZ*;XCt=X?vGSp^Qwa^$R>(jg?7_Z2InUIhz|L8H4_;5FNbLt&B!S{ZzdRg(IC zUak=+9W1FEtnz=G=3La#YXurxW`yySt20%T`BK@Kg%?xB6D33ciqOu;;PF!hpfdin zjmC_=o+~_idg-ILYV>DXkMN{wJYF!qYGXS@`+mb89cnAWoBei|CNM@(BM5Mt8)S(i}{5tyN&F4Ejtx7+wn@rJmvi738v%TpYqxgM6JLKxZ(O0b?ZFT4CT_`_XB$d^%4^>Q zkR6LOAmNt;=kHn*zX~aFt3o1-?HFw)Id9^xHI8&TdQTdsa`DR0X4rKj3wIfpj%zQ& zZt`TG1ts#;nH;d{lmdd8d`dLYq~4iOUkdvU-ELcb#y~b7dky5WaXq@a<%2b~8xoPH ziyeO^E2Wr=Db9DTm;yp(0Rl-%N(^hB~PXNM)*HS*(1qgp+aqy&Di6eC^NK<8-e}Bx`zOZllt_NNR zsAqBF1b%;>e6oauBRofDhk3 z(96?n)%ddl+>xlk%^va<`8>4IMoil5m{UJ^=aEzCG08)>zSz@Vo`M2!3ByIQZ)<<| zPMYP>84g+>`*Q>OCMHCgZKwdFHJaZ12Fn&rvBPsMh=;KVW7QxCSO+o+@Q(r4BH7CU-LaR$mIa2oeC@wq5(A%G|bIuQx zk^I$2@JtWwR6^WG3#STURh_p?`Q=WtBj+?4Kbd2EJ^fr$BCWPO&i|>MwyZ~am`)f zo#9$r&NhCny!9`aIw6$Ii;KrFZr~y1$oMQsd@fv%045*d*{k)i)@XmyFlZ@rRvC|J ziT4h>tcd}ozxZ~XlT1tU5irRZiLZ+2NAegUZ&rvax7?Z7-N%)S zyzm1b*BtY^b3R}V2>JSBAx`AsTH>;XI#dD$(fK1vZnMhv0|QWN1^*q(G(fxz%v$Ll z(z2EaZ|zi<_`Bwl1~qs@fRoanOfy#B`rY9ma3>gx*VX zQc(|vD11j?2{B{JxDJm0vBKs)zpV#F#XCX8@5O?u7C#$ zAE0=K7$6$?GIB*e$R_5gIb9z12zk=G)6&JNd|yziORjZNvapr$G#ZA(E3f{VbMu`(If7*2w;wQZ_Wo*z!FLE{pbMpeeZ6Zes{(XM(wH3~}=S&o^oxIc~ zqDjU5UY@y&?Wt`Rf$#SfDX(cVVa;5GmIXT|w1XH=WB$NPk)K-G@wGWA;N5lBlK`r)^-G$$#+6YOv z>NChu{*be981_&s6MAoHItwwQ{`oc;xe`I5ByM?-h~>xoWpdzhN9hui%(EE zWFp9!!n{PP?0H)?6`PL|)x;r6`E!0tsW2%x;g{&w{E|&WJsWME9x$Rb!={-o&>5rS z{gdQ~s(yd{mDzw@$;}p1W>^7-3&z=N*26nL`>(3+otbM6X!^?*YDQi$?CoHBE-Qma z>WDjRBIi#hRJYh5=wfp`dr4=p#CKt`0?A&YPQ$EuL=h!?8xS+S`1&;Z;YsyW@A@`>y{|-k!o)3Tb{0`l<+EG*8iu@GnHHN?wU&m55H|07g zBzJ!>bZJ|5_3S$`v(^mmrTW{8NP_M8y^)y+DO=`QZ#p6PWMp)L+edjETS!Jh8s>tm zY>=5D3eJ$64t$KXhDSRifmTij4jIldWPA++FVL~q6uTyeQR~9;7M4HiF-hd$KagH6 z-z6Rh>>Tdf4ph0ENX}e%#VMSPbc$L(jmdwnsD?sWGV*^BNzyflbVbnxQyk2Dmgtw7 zdbBX!ZElLiqA?G4oW->K)RjqXk5=JV(eg&-d7Z^Z>x%J^W!z@?daPYt`+4L-;RB_& zMK3|c%RS@8X8VRZL&}%lX2}Q+*N->%mB^L9CKW1gxQ9>#%#4x^HQoonEjde+b`XE) zhfVu%$fnb3!@JR6gATkZg?hB-cQlF)jGara1yMC_`<*Hdc!ORx>ie~8=e}KG^gHdR zkOob}jv)PF=57p13ocNSFTj0?#|HW-+2C9#3eJ6jUx5NFCuQHzHh0QiIACIv;B+2g z%>CgeOz^?tVZpEZnaqQ&%oS&y7TJGrz`Vy|{iP_8IT&L|^S$S1)7Rw%{SE;te6en( zfS!(=mYK$gxaI0lWe}<5Qr?$j5<$0bmN7~=r@_Tgnh|Mfh(p!(8)OgYOZTXz&6eb6 zEg?K*7rkpwZQ=ZFk_+ReeAv{`4zQ#m`) zJ;K<3OyfE-TbjOime1|er;2~kuo=#ekrzA%`7#$2+-GN}%B88C0@;MOzAEbW<5niw zPH=vu>LJa$_<0XU~^>I1XC6&`ZffEqWL#oc`GGtYE^{28Nk>y04?2 zgkY4_Y@%njBDOd)%6xy=Y99RRL;ihRTmuAeAoLR-Q1E8moO5Ivs9fV(_q(M`$ zU&G(S1x4j6P}kpN)@LfrY5PgmTJ}V1gw>9lUPr;+xQ{8IA;e1dmJc{X} zakx3q$+3?iUHNtWG~quS7lKB`pBGfs@@7VpbQ5*^`umg{ZP>#9r47%$)N3Nq?5l$W zVn;w!UDNVTSJ{7=<{rUZIZH0y;lVR@6on7*qNr<(GKbN=DTE*;bH+;5k0j>xJ3v@V zfBzF+I%|L`Z5UOG>W_Rln@T@n`EU$d~xafa3ddLawCpCnf0N$lTMz$9T1(MO2~OxFh~mF(XNodNFD-bkdzDB3tw zu=6>8=z4zxwZ*p9PN5zR>34a>#4nV#0fIvf12g^=v78w7;WGo0Si!r=*HRX6YobmR zHF#r9u_VG|S|#w+l62kP9SJ>m-us(p$7b@KRrIkP4JHI*4>@G&0(`&r;bdDJ{Xg9t zW|=n8rACYej>D306PxFI0q(UYHS$lu&nx0*-#*Y46TU&}UcUF4)p^))O zX>}873i;MhCGF=Vzf}0ebsFU@VYhJiM>a%};Fy{g8NXEDE6_(_a)d(2u?k{UgaWW! zx#>#b8sP1A%r4aRAk;{kJR2sN!5%(q;&J74D$DU-yx==brx_JOpS=9WDAP`{KKi)r z-ZFpfZMEjw3xB{+5y9V?WIv~xw7b@~T8}aeR57oC1dd`bKy^fA9@yE`9ZF;#(aN!Qbi+!2ZBsr6{)M$U(eOUof=3ssn;Vu zjt83jP^Ye*n@~Ib5y$=VW9-Mlwj;-#epF=~j4y$9qLKSp;RQiReB$cY-0(*MwT_Yt ziS6zW(31o{=ss;fIB4=%40(eVZ+NcvQmJQl^gOW5CjAVR$S6qgSYUBnpit^qyyv>tl1V;WIh|>D!!o|N7b9ZRy=v)7_Jmc}lHlbv2!7(p@!%eX^X z8Pj{(?^97RrSgQ>l=McRCc*~?cP4*@@D`*LD^`#%6TxKAQpB*j`%9(=;d+S$&(66X zrV}%ajWs*kxy*gTrv;?@L(fO;ZsRSi(tC^Buq*_j$iUYiEWWY?=Uzozj|i8Y{+9!X zXyvAK@1yB zQ7%va)S?|6S>$AfT-}fvQQmTNak0o{Q~)h9qU(p9P>87**aW(3FU@YjvgX@VKPU};*LA(DZt_Z&jauTzk?htW(iQ^boJ%my-mt1!QAlO1RYXRRd?{}nAN$n#ht7YHLoP64VIY|xiCVAw zC1G6K2jo5K$Em5Y!$o0oemvSPtg|em+xO!Wx|h>uE&h%cG+}19+2FxjK9V(VA|X>O zXbQ#J3 zhxa0hDk4ykUcG-v%xh8(eieKW?hz*zyqLh>_U>yw9x3_UF6Z###|FJZ@5bkElE6mw zIk{Mlo|kwJvAat7bu~T0Nz>6Izqv4qWik>-a4037-N%usg0)ukL_d_gbJ3CVM_Ol3 z-#UWTIKj@%$OnpzpdiXalC9oynIAPyWp)B(t6F10vST$`YNOjSe=(ETEV_qS}8D3-bPmngsqXy*~5%J{7kq31d#afu1xn~Di}rWCr9JP z_OV+qeJ@_sbZLK?9Gf(oP<+Y>AFx@OTRq1z8uX%iij=`&%agnS5%elO5piA zzFNPOmrjU=CDXUzW(c%LQDJI2sv&`2lF2O6^jCj5&eO00@I^$QoIB^IlpBIEm%Cx4 z*;!1J#WV&N)o8gZS}h?H$-_Erwl@98{LQpOl{EZcbJyKEb!udv<%jtC+p2#p zjMIP|*X#3lf^FoT-jF{CFp_M11<5>z_s~%rJGa9`pQSmjz8Xh7NH~5~Ka~J1K zDLj91ODu<82EN9$!!u!7;y?o%_%le9hnGJ7x`L`wLTAk~Ok1tPQ2+CL1eeXB;W_a- zD62gUhL#=HvLmJ-6;dCe>$>aZ{^iG6#w;XI4rw@WvZpG;=zf`!0@RsirJSvn^(RSt zxCzIh(HcU@n*k)3Gm^4a@8i$`(dqLX?s|VdPB%CrEodhGm@U-Scbezu$|+0^s6r2k z-n(7lTdW&Q%2okdVr=jQ71O%pb@L{?14=&_+X-@ePkbERjgNtuDOA;5O6=!iQ#HbA zG{}R7^&%R+I%3%tnh@m*!LI`VN#vOB2FdtGL?Gbut~`f`p(rMnIg|_?Sg|<8R$qU~ zm>pa=fz{;J!B9^>)>uRSgBB65>809zX{T8^!olZ8@?mHvC{PNoZWve6P>z;Qw~9$l}_AXQ*j7-H+dNbSRIxwrKKjX z{*?>uBLn{TrwMKO6!!AiGw^)AOhl=XrH;=>RnRg=VixU>QA5Cr6|%7uRqE0lhaM%F z*sSi*9WY_l#j-XTF$e{r70#;c%#kEbjJZ~vF;Kv3yls5g-qef2i%w-6_fmh?KR?w6 zM`dk(|JY8C&-lwr(r;3i#;mF1iGg$XV)g>p1t-oux{%Uv%3o=CjeSHNYrR9aP`0E6 z2SI%(caPs>m`VdNeyhz^ZfMe$C2ggh5REIdW_PPt9>4}|716&B^C3D02E%6}mJ|ly zes9=K$eY$XNwr=v92p5EfTVx#NDR|jr^Tjso2~SlS!uT&w$)yC5k`QS@WCawYyBnpJT5{>`mTp)Y=~}wG zk?vHwmS)N2eZIak_fI$<&RjER<~nouh=xa$%NTbViO6$v`Yb^e+YNsv!JKFdl6esP z&zo;Z%G1;T;Ta8O1Rchk3YBt5W4Kd7Q0{JqPz5`XKhWKb1W=+ zHd%j_7<$}%gCSwlTq1uq<73W7kYC2(oE{%_h9VKb{l(EeEqJuKG)8hj)TCjVY^tME+mS*~3?#L-aqz5_cz^3Tk--=rXqC z{~G*ce8Tip58F6mz>% zXb!5pWg+PcQ~o1~_qQnZN)ddI-zxH5`o#lTHd}RFV(o5*O@NMp;9?8oXx*Ot3mRn= zzshk;J0>pvbi^l7b*0-8!A-kG-$(4e6?=5BMVQJTsO`iYljzWV^JZlO4{&Np_%Tz* z&97*Gl2Qq_DD!_~TUI;FH?bN7yU`-sT%|lV?;den2+b20=vYzG&YMrcPuRJ4X>=G0 zs2YbbtW2&cpZ2Cob66P5D4!+P2h*_cYZ*8x<*e8DyrIGsL*;gBpFVzA|+?Q5Z^UPXH zbG+my=k?nQ%ak};#akQkJuC#WTR)Z~>LaFG4f$)ITOPN$=Y%&hRw+Z-fJ!H+90iv) zJINgs1+mpux1?)P3LXxH-JhKZR>?|V_BIFpL%8^YLTnzsY5Y!o5C`73^u3l_*k$18 zG2VacBT4uy1P62bC+VmO{@*d5I7cb#m1-k&sfirjf_>DKQ=z?1K9lL{)wJUUg?(A7s0NAy#NZ)nP_X~lnuffuy;$KmP7zn&Lms4BpQMzCn=d~5Wn z^)^w%0nhO_&^G7jFGqJ!dnso`Qp*sC20Zy^z@5g5nfM~=W1?Q^v{7TBZqa>M;HV_5 zHe2w89bbOB85@$>^~0^pka~>9cSM^~F1?qxyG^GvgS2O0ar#~<9Q`7a#p>4UF4}*# zjK}&KCecPb!+?1fhl_O63jCOtcoR#qlH)er(jaO#Cb`BfO!1%!a6E4>hAY|NDyfXA zvD+nD1bFqvS={|Ry1<@w)wZk@f-BzIbSWz|`f*XFk9#f!Opv;LXXO=#?jz`j9XP!8 z4W1spMkM-4xj4S_5AUXy-m80W)0cl_E1o_rK*-uJokcG9+~+GPABN1_QP}~=!d!rS z|0Z~>4j53?G0gY$(#Ei&Qe0TqJDQTg2XGZXkAjl-B>eohlPyP89sz6a15fNs>muCL zS?vVhRIDpNAeA-vRQewHTLe#ujNC%wTe328u$cfKBBS#89}#?-x|*X|`2~LjvB>gC zC0%v_$;#vo*&eTf3E-*bKlJLD%sw$t6eSjZW-%*N9qDa2xX?VcR^0P7s0r<&PAspF zR&+8R3szg|i(w6DBeh4`{1YbLzX+I;x%?EEEz$22w_J5`_uE>~tL{j0kixgL_7zk1 zl5JDulfNyV!6P20-qj(lBE^5=W{cQv!MSk-qXfUnqM+B7Veoj+5spsC)7e;N!c3i6 z!?sJ2yyoY~kmf5nBtYM&4y|+9`FgjdjabAm%ky9{SBig0(WFIK^6o>vW9yq|y$-G{ z+cEJ67?^L$)%hR8uq$dI7OlN}x&&&d?6<3)V76|%3ve0V;y?x2!hnCz`!G(-77YS1 z!;s|UNa@{{ND3rnZm#DdMb^!*Mpc>EaE>ziy96<`S*(t$#Pa#)`e(M{)35XQ`2a(V zf-;%q7qjk?CQO3$nMvKI@waqn;rJ24+fMc7wUpJjn|L5sugc#7Jg3I0pzH`#8 zfmkVn(EVEMj;I$z4=sP4YLboRgtTSgjY&tQb6mnvsU(MiI|EWA%kuzun`6S@7sjdg zbw&A35U<>SQid@PQb&8`2d0bF9WA)IEu~U`-g#Y|s*ht~ra|)g!uOL$%eXn~(>tu1 zuJ%Cl>d~aB0|mc6sPoa*P7mmigtob4%&yQ+gg&aF_KR0s;k|#61~&Y3l|Pq0`2Wuj zL#KMT`u*J)?`1p$T(m6XK1-&(6SgpYCnpJ%carckwCR{SyQZDXDSnTz>WDI(`W;W+ zUqFp1M6Y}H;h^b+IhShniGI|&F{RoJ3LKdZLp`L|lYX&F6lFNS=8LkOfcRaZ0`LY1 z#|vsfzdkXT8b*InISpF>`f{{f*|=QZo4Af}e`6%!&GcG6_k%^tQtWWow9Bd)h{(?lU#g3} zYWhU&lwUxu@d1OzPs9K1^uHsS$A09Q-#i-)s`c8B3JZTLr8R6kngw&$ZT>Fiq6oP{ z$jJGxO^Zg>mV^o56(*aOaaucF6Z)jU_8W2$ep-p6r+e$U?VX%!;}6()em9zgc9T02 zB^Ckc%ld5lDT$lz$p6)=5sMp-6asQ*K2Btvu6Ot9K|w&_=#yV^N>T0vPhE^y$nG_m z-T1>N6_kGrb|$ytdSk6yAzIbJI@EF*ov^WUpg?3Plz5bzk-3ZjP-8*)B|L@Gcc-5 zUSioyF|ITU`ofLM5`rAg#;K$z|@TK+Hh*n#`A+Gf2%_i!wb_ncBWhfkUratFedm{76vDsvd+;8ab&#gE%q)1{b#fTn2mH?WeQe*DM0q7IvP zI9Zo9vm+iX8KNfbCElLYc$9=p9p!LdM*PTxwp|`udHZ#-X9S>ihE}DK*35sy@>Jm( zr;@82&C4yBLp)zH0jU&W;+tADMLe|Fa!gGWZV0Li3iU zTE}s-JdrF({0$!iC-><$`{aK&2_(xF=j*-O-c;@)13&v-w}Hv$O#0r|zyd_kK-|Yy z4)|v)JFek3Ol;+^Yv1+azhgYm6ii3QqA3*;A0EekPtridlSG&w?*t_UEiE?7V+P%) zWZQ@2=sKVxhPzd#5bY?*K>B!*hqE&V;?O^0U{;1yw#Fk@fe`TRw}5|*rsdk4k$67fn-VTLtA`~<0ZQwa%gJ;8%0XDSB`q+YIjC`X zS9m&T@Vb@RR8%X{!ZyZ1Nzo@Br3pnQt z?x#ulHPKZVJ)>@zk70k6UGd-3eqbj?8h!Kmt^xbHdy0U_W-@Q6s9n?i8bJAi>~`ir z6`cV)_kyU3~IMG7XdoUQ6zyBasXa;l|aU!C~ft4cgdO zzPE!N>&dN+@onsrN9q#Pf0N(EW>%cKdAu(}DYrBvEJ$3^w&~C5Fhi8`8fm{dwCTZ0 z)%#g8m{)=0e!_p%)YG(M1o}b|n>FvhSZR^J;geO}ifK{~<{pS22m+?0+;A}&ao{Mr#fc310LN_w*fR(4NpP#xke6RJt1dxAJDG_u{(&;PVX#TkIOZ)1I zMagu@mM7wjamAt}eDe9bO4n55`(Sp2U+ob;rzdSm4aN{}NbbUaoGF~pYZx0Q=7Foz zR;9`#f;FoO?eLW*!e!bFIH0%5I0T%ZHFR%2+%Wn6dutrN9BkM0I6kWHIGbRt6Fvw3 zzR~*TsP=z19@SyU)^8ZN7co=FjP}sXfg8jsOBB9*&{vAH6uaEWEv&{^qgx^ReP76t zV-0fn)yM~`86#$)s3|vfLS^wTGTPKto$~SZpGCiM1{D4pUi;lY0mD3c4FvG_^zFob zHc&3lc!LwhR>C`>frI7uH@e75m6mM9knOnYZ_ZfO?!A{xqO@s z8ztxO`Cz3M#KS_AY5Rt2g~*8&Xm9wAdO@>KUF^bpsKo1{d3Rea;beWy;_IGj|7f2v zg~*^M)i_n8$zT;UH|heTslk>UG+mTs3uS+kEIHE~I#vpR^p^4YwEQ5ooEdgI)qCg} zDdgpS&W+(fNv!Ro?aa%lQho|5<(~_NKzTTC3;H5OSqy*)7$GSeagHHs#G-x{(g4qJ zt74OSrkdnqQ^dI%tdfE{e8xd8xgwN4h)rtcw{mZve9>Av3t%|qlq zN-I7P1~*OxV_Wv$K0xE@^Ywqb1g){w@&i8)4^qsU{+eIj@YZyV4nC>5I4T_q}VXwL+Or?ItZfh%-QT1aTn+zj3E3} zu`z4Q-UCvxe~B@&v=Z0i!mNL6lMnID#CJ*1R3d+Meq{xs~}(tMz}Ljn!dj zbQBJIg3c zcWW#?l?aGeO+_rCP!3(+2xou&F63;}O4P+KpoKcu650ZS;v7hlYc*pii)<{9x7A&| zX-jQLJAa)&$_em~S3t?kI6c|@pJ|#Ic{^j(aYgipFd=Kpa^u)FPeGf?-wsKA5=ssL zjT+Y(x^+37=Tvx#UqZu0snoAWjK8mN908v#gee@(xta{(xPr~kd=P&*8JCw!D$PU6 zwrpPCJi0@!ZjVC3vVINgXs*rC1$(cyxbTKO??hbP@5n2r`Sg5RD3Y&FrML}UmgvI+ zMR0l7#Cew#l`Xj6f1O&~bs3{U2X(|)eE8U8g_4o)2c0M8b0%vATKvTYwHd8Nxl)`2 z>=J=?&7UTY6pmMIi?Dy}vI(q=Pvt-9BaK}3hnUC28A`kSzoj`&^V7DHbxNV!oU4tI zVH!Vxfu|F3cx!zDrExZQa(g8rW`y35*^ej|7iqPR1C#m0GwdES<^lG&G+pjK_yrz* zLsgrXoJ1BTRxnkz@V^r^LNx3%xZww1QBcmR7QWp32dx`?!L_}xb<-j zyh}(feJwijnPP6e&pt?{mthn>bD>Nv;mVF%UTaO--Bh4uFRzcev>^~#bu zV{j@y-)@`>_n9p>Y&pv)XNeoUKwi1bo*7CQ1Us z{{hJQg0Bi?Ze+JM%mSOw5H~OiFHB`_XLM*XATu#BGMB-L0~G@^F*TEsHzEm!wh4qNXU|5m>F?V&X|KS%b8{lV@VOwf+SKD+K5WZ5+YYf&tuR5kWB-eF$4_Y3iDAR9ngW<02K-bnSlTt2#|jvFMvX__aFfd z9&QvONf(1UCWUf1F!ygRwj?seVGUqs<4U#%AkQ^`1BFBu{E{Iy%0Flg;7UeuK^#<3 zU{0_n+mOA9_E}58!{pTn2zXxeybYPfRGAhNcqi-qwXkbOBf(osB?jkR5<3A|MjV1N`S@=og}C zeDYK6gT=ELpwHr z!G?G|z}RFSg3!$T#vUz)fIDDFblB|T;I02J%`~rU&klfTbaoJc!7!1%m71l=?LcJhY*WuLE(Z4WFvHt`NP}{4;TgsUH}jm+8+7~ zf|{Un%llP~!=VODIEWqqG6jwFLml^z9KGC6`lf&X$YJhJ>c)T}i;k|5pE#n|XG1~r z?;;)(h||~pFfijF3fI^UFY0`o)g7H1`d|;7-C$6)Ah0_FPX4Wp_5AH>T+N zO5K;vxu?7fOuDnH4^^)KDDAIoEo$m!lW~7{zb>6QveLJxy8omw|Li^NRe3H`HoR9x zxmKmOvvwi!byogh5_rR=Pp`-SRDxo=vk0f5PR8ex>gJ*&j28#H-!Hpy0ROD;{H2Zt zu_e|esU99p%Edh~!j~p6in~lu95UqdR zSYN-|o^a~D#Rt7CPkmoCT+7>C^^B#_sR@cC<+zCcryTWN%N)HygWUL8sbS^U5l3YU z4>_E>V|4%H$2XR&=7gZ*1^Tskw_J-8#OjAPZ>%y2dA?2l(Do>4&4p`ElJe)`Pt!n+ zM;Dy+b@J!j59}A+;ZnN(`mMGdX(N9RueE)=R~Y=Rwd_n;%$aFv_=2W=v+Jl6MJQCO53H=$N!rC!^cw_kKL zO~E|%s8i48*vo4NEG;R`e)Lciug{nN@Mff|jm||3^q;Y&CQ&8YlONU%X10GD)8meT zZYmkP;M7rBMt}D`awSEpVb6gCgPKki_a1pBsA5vMe6V@b1O3RIy(b8jGD8Y@U9~M) zha007|K#FbY_#nzC#IGkx0dnHNv-UCjJ;+LJnS=9#DUti8Yym#G(|MU(m#CND1u34hzb4^BSj;**=j_ zdS<<4rNUlY`kYsOGS0hqNcTzu-4xJ=Gn}0;*hKNBEcJ5?D-2Ktu1ZbrH!<+6B7c2s z`eKh-j(xqlp{4MJI|IjKT$Thpd4B^8Ut>}`P4|k;wxV`q@f433@f(Gw;y&F)6bV)- zVZtqITi=>W^dw_t3shQ6qwLy$8~GV0-TfcX_qSO?j~I9*s@c;i{EAQyg?(zCUuuRf za-W7#FjHc^1`^AJRz|5S9eYCN%TH!#FAAAU5<9P4t#VVfG9<8Dt9UsG&-pzrTT~b1 zYBkc8`_4~F|Cx|_TitlgC+nC&+79}V=;bk~GU00N54(D{I22IMnnu@uJn$IMDzaP4 z;EhT0#e7IFlrO$yP$xq)4qC`jfhcU1QA zu!e~2Z2j_!36hU!%DFe(_-B+%y-UZhXqAb$z8Keby)quF$w&5eMO#0-V(uoo`A+Tb z{&QE}J0Vw>aZ9wxV#(Wox>GheN=WwQZi?XR09AyW@BU1fakX`>4|`Tf$<9vn7*E;K zEIQ5+KC9)Z3aVul6q`&(-`s#0tQ#Jw_zRKjOVR5()^ptR`kuWgX@}(x6}#=#T~4m_NQ*@oJtp$JzlZAT&PX*&=O65{>H+SBN1zZPpyo_ z_Q;-`JaQKMdg=4n>E_JzRYdfVjsCseF?f^UA5{dl7=Z_&h9P0{IA#&10U)P#^`p&`8 zCCM#=Ws9E3Db1R?du0?u_ZCZ;yQL1!teo;vt}0&DT7K?rca*xz_36}$meJRTmIae{ zQ4Uwd>@ka@^uJAAe7n-{e&#{L*~mx-su-S@6XrLG@d0Ijkxt?E2@zlGY71JQ#&l^~ zsjaqJc|pv6N;}R{SZ05-bA(*2!kvaC9d(_3#KHTTu~MsTtkt|pFO!V5+SW2OTBi2h zru54z9RPt4s`zzWk-zZe7PI6lQKhOqH;x542llk;;yZ7M$(ZN)b&#enILQ|mU)qp3 zx5CrhcL4E!jelM4cAKk&li9X!?8a@Od|prbDAUDo>C%c$ool&0TPS0M{7h%k#H>w8 zfz74*(hTyE3_mm0n~eJQyUmIry5-n7n{6>#J{HzC84pB+iZ>R*Jrj41&CW1;)h!+k zSLIG8G4EJc?~q&YCb7fr+Q7_F%?^g3MMq?j#LF(9@Pka47 zTa^6SSPOx#a@XZdc*09AU#n%MOLw(SKiD@&4NBEFO_YepE1KQav?~&~=0Qs2>ae=* zn4)#tp8p~2<27StHDWK-+WY0z!jP?B%VYP7qz(AZQaZG!G`c{~6a{NBmkZW`>oCu{ z0u^X~H$TRhjil*s2y|7F{b-muR^rypzLrW@r1+#v&COqN*FpEItQVuVV4u!cnHpnD z_N2Hw_*FZI5=Xvr%cT2|yPXHZc%zK|q>IlT0!RUErIkDO&*tgf1E%jzK2Ci62rrVG zCc6Cmaq0p^z31-fRVCf7O;_5Ll0HU;p6}a#$2#I2Fs^>}MDN}l(jtwgjD7`RndF~C8sYV>ma!GgRWYfI zl~ErW#J%*h>p>h*mKnurbARJSW!}HXnHk+dlnS-DWqO|BY3bIXz9DLtqEH3*x?aM6 z%&^V7_}a-v&Eo|_##-izr*sztJ6AN#C`MKhx=Lj>7B&{(Qa&>7xA%z`9Y5ba7OJym zLGoOEutzh|`_s9jk_c4Wc=S!l;uB`iuaz)Ogt4)b4}tWwr*X9zM6%@Ra&kB~-6bqR zl(XzK*YL}WHnF~>==g+-_Z?KNq$tsUi(KZmi9&p_r_(nY)~Cm*FL|T(?f@gx{-iZ8 zQ|6|wS#0IGtDk4OGF_)J@cREuVVXMYh>6x)qh23sjeMNo0iII?O~1i}W_}aVe*`wpYc~{l=feJ?<}X z5S7FWzrY`wNYN8Y$|g-81uXr;h~Prq&vLNZ%;srM5lc(GCZAeOS|P>pk5aO&C(5@1 zrTW^fPENjMJ6j{i-AlUt1MW+IRNX8e@0(Th66#XL{n{mO8*PP&lLAAj?Bt$d`n7PrHZ-QAJV_;ZK4+(kSuZ)7bJ2O9LvS-_0F#oTwLnjXu${z{QBZ zQEli`B9qz!R(|mDf3$j?M7)id0(AN0ihHXj>%&)1dp6|RFFD`cS7c`QzDny4%Q)*a z{E?-Sm9a{@%PVh{=Svqw-Z~^_J4xcO>l*uZnyog@n$4dJ>-BxsVQ#(5vH8}FQvs&r z?v%un1U1LGOYZn9#yXRKm(~vmeOfNF&E2zf9qEYpg;nvse2PAmvJU4&^-?pwrb7!;Y>A?cQNEq-!Amh&q0@s@0=cZKMI(Yf?V_kQUt z1BDHrc&dXoGJ22~YwOu375Y+|VSRffTHbhROh@h6q24E@i%q(Jc~C><^sDJSN8*(7 z*eoVsiyWbrv2Jl|J9~5XJ&nmN1+TW`VgFiOrq_df0$(cIR^C0ym!VEtsjrchFV}6{ zr=`${6K+VBvw6O-O6h&;8^`@Mj}((l`}&W4G5(N8rpwkytIJo}7HfO3IzGq@G+d3! zRO27>v-!OJvu#>`lJUNG_ha6_6^?7IUVf|Q+5T?ZKLSVjixSpESf0@GS-*?nKjh)2 z7>G+9#|}=fEbC?*e!bS$G48Rb+U|bgmuD)J+A8YKSV_D;2F3I?EO@QXDIwTz7Z%pA z*^#?_y|%ZS$w{w5LJs(Kzbc?_%{ra4{lCUEh3X1rZe(+ZVXXtVVXXv4I|MN@G%}Z~ z=mZ}GF)}nVm(J(}#sV`nlaV(lf9+gZbK6F?e%G(Ss=# zvM>t1L}8UHlrOweaH9xNq7~FN@GT1|bvV+#kQ#1l=)=H$xFxNKg^q=Ee68mUl9#v=;@YP`0EGBOqxM6!4d@;JD5P|w5QP8V7P_%r7Ap#U<7=-!h{eC?_o#~#^aDm7XiAk zPzi?c62=W!RmGzKx0DtIe~2EOg!}O4LAcRXs&h%kzV5>SLIEc6x?jDo^MqtSpM zV?#W`Jk$kApr;rS2N+bqh#(1M6wU+;LTFH%28$6ER17jJr~(~=?Fb)GTF68Vz3-!wvi}~5>YE}FO65W4Tly9mpf2-m{)73^%r5wr{4=Zac zVEGU<0NO}XP^gEL52&}4N6Sokr!= zy&ZxarVLatd1W@Clp$jRn)497uSF@Wq2#`so%8_6fEfdF6oCw-9@rVEnrI;9fh5HD zKu@m`f|lP6f4zLxW2Tg&+CwixwTEOxK29h(q|!qnvu0QN5O$Tzn=?l)`?oTuSz}JU z7j+u7pX}c(uN}&3^!JoEx1WRJzGgDU9eN&{ZM;vx4x<>(Lx^G<;($Qa$^%W+n&DKf zI>=OW*)w@_2=Y07^E~|8JnX^ek;&Ve#{u=>#M(T zT|OVaJGwA}3*s2m{xvDIh7I~L?A^RS4zQJz$1>%)95%LC*STY#N;s85h+Y9z!Rcyw ztc(9(y6gIX>3>s-=Ih0=?3*!~WwIxy!*MJ)g^fM5;}j2AG%%nE^4Ml&oD0z$5oW|w>D{?+K1=Sg%fHi`Fx;!u*7EzVh%HoBB z<=xFWfl(+Xz@%LEpS)acMGtT(6+I?|ZB5Q$SnYHOer4|gRk8&cH9FRf8tPHnIU zN%KBKM9H~4&pU}|1sl`CS6~~sTBA0kf2lw&8kr*mE~gbB99bgpi;YAan)rmP0P!F> z;Iup}030w9cOX%Dfz;}}LGXM)C+`t@DZHWn5nJc665ckj*;1&h5*2 zzN&8D_*Pw~ua`&g1Ret6mX~Mn1T=q8YGQb1p9p>p%t+ue#1i0Jd@3er$3V-^OHLzC z*ru^?jubvAO*Y@ncSD*Xh^s$rN;B2u1Vz?|+ZM+m1ud3<^GKl_`7kXg5CL}uvNv(eoLDAq%`f=T$j&B_eN9LM{%R1u+t*1lSY57B6dg4 z=M)oR!#sEni1uevOv{Qc`Bpl#ziu2#+lehJ44_yvDUrd22u2wH;H=x*SkOQXe z3GN`66EuZB;4>`+4+i;|H)GLL$N`pv)aTJz%J6p zPC=^4N9SpW3Wxhvp~o|dJva5J1R;&qVFF5O&|iA={MwMNK(AcS6)JxQ@~9kMLLamn zvI6Ivd_3q6$|=0SU_w$bX;V#4JZdSdF)&kP2fqVzpWWG>(nK3o-oDu_I^`3Yjit?a z11lU>%LD(7RTbiVQ1&zkx=y)4~oMEoT$~jVuNpN~g$EQ!Kq} zua!e)$mG}42L0UV$&|pb@-my@Opb!~Ui*_oP7t}t=6mF%0wf7`o~#(6ymSu3j)9j1 z)JqFRk`rOofs2TQEcL@>)He0byX$n$LH)P8XVngG8@p4DklBBf*LadTGi(D{Ub9l$ z8VNuyRb3w;KN=9CJN@jAF#Bhq+|NKgT#q)i#i376Lna`f$dJfM@D>v7bvGRhMJU&^ zp6_f~>n!wNZdu&~QbQ}gpJg>Us-Y<^)^w%6`u~Niu-n zqa7^fl1Kc8RMCH$Q>phn#TeN%B^nPSIg+F!G}EjFFkc-hT2xd^TZ##Urk0Ad00>3g zyyJcDk6Wg`$#VlKH+^F*e9KD+*Irn1>?kO!vRPhuuLA-*F|dtLSx!X?CffTnVJfrI zkqYrFCADp9@x4X~6l_qwyT`(Ep3^k4ST`+6CpOJo(lme9flQ!;7PdTXTel!Ga2$v8P1=MczQ-ca~fir(w+g~9#yt77&3USk(+XZWuA6-+gW6I4kaLM zvuWz_PY8TK_ox9I|ef##!-%p>tnqN(3QrtP2 zPtT#kbaJsQ4A(rNHy-Yo;EFp6-&)4UK2mDfPL+3;XZXs4i}9$uH@W_?sxL0nB@T%9 z?#KuoJzhFl=sWi@=ZA@ ztMXG_ewyDb%FD7YugY0DFXywWysj4Y{JdP0t8#U@sH$@H=luUz=!Z276nZa??Zo2U ziyu#Z0W6+PR+kUHtg6|vo+Bo&s*9WHWU(0*We^p7Y1>#}3a>g;jL1O|86>cu9f8Ef z3=u7JM1MXmCTCUkg}gUN_cxeOZ@( zl*@8Coh&cGQoodc^)ONUVDj+Yk0+-OdYIU)kcb3`Ht|4!1TzZAvNtia&%|E8zx(js zuf2)+?Yfp}X80c~hnbmIqcfY7lj-#(sXJ44(sNJ2L-o3SPfqe6OwL&6k@m9bL0{H8ZcP|qJX^M4gHAh-+ARrMLVTh?FNW!XBA@}~S;{)u`l z|5g60TJ$_h+{>dpfBxv%llQGU)edzkWUqjWHJSsd(~he19;op#DG*inwnt@+Rz4B- zb%J~=+8wB?1mewkT`j6*z1#>S><9Pq1;0LedH;Tc_zJD1= zDcmTM39Hs#*)-wP8Chps>p1Mi|Bs(Pe)n^0Q9BsY1daRv5Libzm~Y0xkMqMBF6VqP z^V%hw*<>-B(b&sryu17K)h}-|x@4J0(6Aw~rKW$0!xt_aG{yooG3qO<+d`E0h$K6L zWO5{8yqQj`RWD}vglxBw6li70n=D?9F z!v7X@^goDZ+#loRZI+zQA+}-67v-L)@k75PI!pL&^(dSCNy2x4?nX~Bz;`eI@aEmS z6T%mRp4Wd}eVk91JNFy0xI^0wDe(|BGhzsWzAo-D<00;3v6%mP{&7kc*neCwBp)Y> zZjX`eFv|1#bA1jjWLjOp(8vb$=gG91omCVaGdo<>Gw{m{G)f4rf_*jJ=wT}N@)R!~ zJw1K&u8--iNYVnN_z$ScDtry%5Rk^5kba!6E;m5h!uF+J;{PMm0M^B#njk`iT!-Ow zeo>!Irjyxulby|1O?JLW7=O>I3)+ma`QFT66)cvMX&>UfoY0#mr_WE2cAw2>^V8LK zVt`FC_~MWbfpyGyLG-~D`3_l0Kf(*BgV89xTl5^c~O&rLlK2%GxVZcPK!eJr!VvAD>deU-5wG8(=0-NnYa-{y?@EoH5vgJ&SZI3 z*Jt(O?BvVB%PY;%>5_U13XvjjopX_z)M6 z%wk#FKXtRcQ@1q>%74!^;?^a!Rk^KNNujy+>b}xuH&-74x%y(Dzl~ZOMlX$bCAinX z-pk3pfAIYA>vw;D_WIK)dHVeI;}e>VAETV&4*mdwa`;OSLS&R<;#bTjj?U)!aDOHnyvT#u+5EhoUBE!~ zr%&L+X7~?vzbQ{!{kqTs!?Qx`h8x=T+SyN`eQPfrb7kv!BQLZRMvTCQn+PTu9WQq@ zFS1XxIbQihOhi${3d9dgV-zMfw9%L=nS5FgX*D$T13U1I2Pd0|`DX}Q-xg8k>#vBq zzXWr>?x?AVet(1W`{#)J>v*i?c8q;;e(ziX{_sk-m;Z1p?TQVD%FR)6A>D@a=l&t{ zh68B41e4x$_}$&NEvve_4(>@i9eb|RU1L^=YlqRu5D6nIpOXL7S{#yxnLOHB*B6`fM8qBYWsrWk24J< zLyzA|27K8`<_;j)_}S-BFuf*Nu1o7%xtuwGTz})IZ$r8Kb{kW&156x1u#sb{p;Ynq zQu#wz{@AX0AeXd5xnke&MW@C?tjN*r>`<;XEo$A9t78gx2(usEBn{3lqZ zbi+e{fi!9jE0=R_>?k*U#gZKC*@t7VA>qU3v7P<5##_CpM#_u{*4$3~_eM1_k7_!6 zyf}bd<4;(Ja@p;G3Ec_i42L6e`1?pp{DGt!JhpCs=SZp) zMLw<1@kob$pokyV6uhADS7Y%@^F2*hAHJq@!`&MGaU{dtTK=Is%Rh}|K3xhgOl59o zbZ8(mGc_QSkvAxR9nQHjgJBfL@$-D&YY#zUiEMU>*d+)eVqan>_RbBs0Hq=-opA}q z6=*aXg&VMp2Axh}q`*9<`OW{FGw;kRBJyX66o3dsoWfclvt$P5{a1H;#3mLbZ$@{U zBtzE83YjMxWQVMgJYpcOXMMIzrpYcTAo-BMt6sOsDk&m=g^kA*n7M=g1;iA}&%1Nr&}XMck01Cmm}@HRL3xW0KSo52+(w z;v*^ICzB*Vrbv*~lX22O8c7qGAkCzOw30RwB4N@_BBTRycCLTvgnYbcbwPf7THS!_ zR;vf_XS8}xf#|1JA8=!|`eFI+wW6?&kF;X2?x(Z{V0*G!gRoC8wT56{+-SvNUpcgf zVH_c?5t!_q)+o$_TPp$c7}Odg2jmdu?Mq;ClkyKBs5DHK)&(95HZn0W3MC~)Peuxk Cl#l5E diff --git a/report/formal.tex b/report/formal.tex index 1af3363..9a46f32 100644 --- a/report/formal.tex +++ b/report/formal.tex @@ -56,7 +56,7 @@ One of the most fundamental notions in mathematics is without doubt the term \emph{divisor}, we say for $a,c\in\mathbb{N}$, that \emph{$a$ divides $c$}, and write $a|c$, if there is a number $b\in\mathbb{N}$ such that $c = a\cdot b$. Every number $n\in\mathbb{N}$ has at least -two divisors. A \emph{prime number} $p\in\mathbb{N}$ is a number $p$ +two divisors, a \emph{prime number} $p\in\mathbb{N}$ is a number $p$ that has exactly two divisors, $1$ and $p$. Let now be given two numbers $a,b\in\mathbb{N}$. Among all divisors of two numbers $a$,$b$ there is a unique \emph{greatest} common divisor of $a$ and $b$, denoted by $\gcd(a,b)$, @@ -208,13 +208,20 @@ finished, Bob transmits the encrypted message $c$ to Alice.\\ Alice, on her side, uses her private key $d$ to compute $c^d \pmod n$ which obviously gives $$ -c^d \equiv (m^e)^d \equiv m^{(ed)} = m^1 \mod n, +c^d \equiv (m^e)^d \equiv m^{(ed)} \equiv m^{1+k\cdot \phi(n)} \equiv m \mod n, $$ by Euler-/Fermat's Theorem Lemma \ref{lem:eulerfermat}, and translates the message $m$ back into their agreed alphabet. \subsection{The Diffie-Hellmann cryptosystem} -TODO +The Diffie-Hellmann cryptosystem, relies on the following idea. Alice and Bob agree on +a (large) prime $p$ and an element $a\in\mathbb{Z}_p$ (of great order). The pair $(a,p)$ +is called the \emph{public key}. Then, both Alice and Bob, choose their private key $x$ and +$y$ respectively, and publish $a^x\pmod p$ and $a^y\pmod p$. Alice takes the published key +$a^y\pmod p$ from Bob and computes the key $K\equiv (a^y)^x \equiv a^{xy}\pmod p$. Similar, Bob +takes the published key $a^x\pmod p$ from Alice and computes $K \equiv (a^x)^y \equiv a^{xy}\pmod p$, +to obtain the same key. The key $K$ can now be used by a 'simpler' crypto-system, such as a +simple displacement chiffre. \section{The Formal Verification} TODO: Describe algorithm Left-To-Right Exponentation -- 2.1.4