From e79b564ebb2b3ba2bca9d277728c68262a8d3f37 Mon Sep 17 00:00:00 2001 From: gogo24 Date: Thu, 17 Oct 2024 02:44:51 +0200 Subject: [PATCH] continue crypto article --- .../episode-2-proof-demonstration.md | 6 +-- .../latex-reverse-type7.pdf | Bin 100847 -> 103402 bytes .../latex-reverse-type7.tex | 42 +++++++++++++++--- 3 files changed, 38 insertions(+), 10 deletions(-) diff --git a/content/from-0-to-crypto-by-projects/episode-2-proof-demonstration.md b/content/from-0-to-crypto-by-projects/episode-2-proof-demonstration.md index 0aef1ad..d5cabe6 100644 --- a/content/from-0-to-crypto-by-projects/episode-2-proof-demonstration.md +++ b/content/from-0-to-crypto-by-projects/episode-2-proof-demonstration.md @@ -25,11 +25,9 @@ The question is to proove that there exists a function $ rev(hashed) $ so that $ We intuitevely see points to split the issue into easier pieces: -- the algorithm threat data block by blocks with blocks of two opcodes (numbers between 0 and 256) knowns bigram. - -The algorith treat bigrams as following: - +The algorith treat bigrams (blocks of two opcodes) as following: - the two opcodes are both xored to the hardcoded password. +- diff --git a/static/from-0-to-crypto-by-projects/episode-2-proof-demonstration/latex-reverse-type7.pdf b/static/from-0-to-crypto-by-projects/episode-2-proof-demonstration/latex-reverse-type7.pdf index 133589cf1c0bdfcd8305b40f1e09ec2bd495e0a5..1557566c245a3575e6f6ad89301b1a1061b984d3 100644 GIT binary patch delta 50229 zcmV()K;OUblLqRi2C$e512;4{lYx#XkxmPLD2*!!?}wXo+Ril7v{z4iaNG%P$ri^7 zsUfM_?yv8X1So<6Mah+$Op-%J47pe=cEA0wSor6QSF^WNj|?)B%F)H`h%knf)FUYr zqD+h~=A+B;ax!I%jo(bJE`A%~(Ueg{l&QbH$5@u{XKxuENn{k$r5=Tdkt2?j*0tP! zYBH7MwbP)GkXCtIkEW_Mnj%d!$W;PwsFfgXJ1L@Ej!H|Us^zp(u0cxH?|yLaC^Fg{ z_wKcOM-(!Q9XMF`%bnYGwEeA-7O)J7gl5j60+;`+Q`?JHNO9xbvJQA%AWSG2jJWZ= z%XmwTKmydZgx+Hknyz|s(=FG5I1!A0lwjV3`Yd1<$YHIVsyN^Wh8R)4O@dfWrX?ql zfKoOA$3n#!UEmKPA_^kd3t&_qK!rhq1fKq{^X#`lGub7kgK5UnyjbZU^ol-r4 zCJbS$K5?YG5$r~~FL4`$p6P%|khsd2woQNariIlLvY10!ktSr|O@j5f`cdP5_WyQY z?oP%PVw~-p%}c!3q3B{H$e_WEiyxz~4zpEJBe%pzl+4QqUV2&@|*odo!SKoTHHzK!-F3`h`W z^rdSz$b9yV0AGp#nHIsKih?9nhx5`<@CS{Ff*PolJ|u^EjR~Yq%WC8hR>J}@%`K~` zld>8=1gZRltj15oYW!t&HxS| zjEc5RmW0$T%WfRn9ilBS!0D_dBS34joF4*MZQZHyv!Lai!)tn8H<3C~ODdOj^5Hg$$CD8S5Huxa&vf&UAJq2BZ zkMPVQv@nDGbzRlS0Ek!=#YO$*HeIdK5=ReCA}VT$C~wBp4{JbwT%2z5`tv%MLGKGbeENdsawzJUjrw20y)KMyQX!$`F+(KHfRAMT{bAbiYL#hw}iwj;xj z=pEtjTFwrHUjs*UNu<+?FrvjG7zYE~g7)w>d%$sTN|g?JlCtUsX^$!cfNiKVPXkK= z=Nd$q^f6(Ewu`KP+RVay&5ol?_>RRPz5C_N5`mDCyf$S$kc!nC^?P zS4FRbkfc=p-;lg=bV8v1W)?cO2lcLsgWDw+k2kAL9@iUU%};68?5i!r{d9AaX7f0? zvniT(w$9(9EQvOE%Zi+=Omw}nI-}yeuC(g!#X3Kq&2BS)^bp_2>lzsII6`T5H!EMw zE+!fVmBV+-at0)+x$x@pdC+MRlCLEcQU*fIc&h#msG1U`5LDA;HbRAMJ$W&i5@yCg zR>1hXF_{t}5R@j>?XKqbhW2p<+r%zRC`J^wZc)hKY5H*me#2v@&2MX9SP$Ehe1%`f zuC~TzV`sI0&ms&Fa|EEt0f6pJAEMzHaCko21w2fs8e7=iC*eJ~!DX7ocX1M}>`olz zc{Loc9E>xki1@%iux#G9h5C{5iz9gC17Y`1ssmh%>ePoYniAN;Ac>Wi`Ck5KX%Q7o zR&#ekCp^mwziPJMR+0N~9T)lY3uSSVLb*$d-hEhqStxh!!~8IL_hC=rV=Dh7Wv&=n zSYuW4tc5|PjLmD_QEmSvFye9kVr6_@*_J4dvNrkbsODHzW)31WcYp@x&99ZeuZ5@ zF~l5yhTr{R33QWujPiTSpnN=!fjrqFTO_SQD39-wsMutSeA@xd7B`Rv<4rap<4RgN z>5ox%pKn`Yangz4GRl{s3hiCu9Xq*q?1Y13Y0xrS7mLgyA+d5F`dTL2GOyDzX-(o< zCLgw7)DDbAx|)Y9eP~siH&HUwmGRf%CPZ~qLHXxIGp8#r;*|wG_ zT)g@hkvD>wlW_|ZlkyT11Ti%;IFo^nD1Yr*TW{Mo6n@XI@S}{*4DXlLDbQjIhISYR z)O$)gOpWE(sAC(llBWNDha#z)DcecYq3aqTkx3nX=kV}cK3RD^IXOM2dSH-|R1PMy z0bvX&sRvRhM41>&rh|**)pj^yj3pn2BdU{iF?YjsI$act^~#QTayJw*Ntd^o7k^Ik z%-y(2rE8XB(c{ScB{wkg6~rd0K|<(R_dku9D}s;&zx3#&pgsP zch_vW&0;1;fru`Fh_XP+O_UpgnSY%P<%{dN{ao&f30Q*N&&(|x2PB;Oy};z?rJMCg zs*4n{6aZ$&Y_h!9Z=qCOBo=mQkE=Yvi1x`mTRGvM;@F?L<2)wiLiS50s;uOzke;SG65e5 zn)pe$xvQLMM7R#?Uqlpe#A!pIg!*WYHVhg{WU{sq>_5Nq0)FU6&;51br#}N$bu;tV zPmqt*WNtkj)4T*J9N@#=-wcTe0&ndl2>e{;xWDr&3@WjAFbJRj99DaI4I8UAv-S6{ zYjY*UK*RPcKbgk-Or=27n1A3$8FjSLv~vJX+&GI?0Ray zqqbfx@J&(jO>f1AB3-P4?`HY>rnBazqX5p+6EyPP;hmLf52M2Y*xj_ZR{}3|Gef6|ogM zj*yS2f_sYXd=qP)BZ3X0a71n196{4ybJYaL5vZ0)%T3H6f+RhNQMr!DpIiZCP<~-u z%S0b*RKbZE#dIA5BLc;`y^)R%%G97CbY>G!M>ky-ezlK%Kv_amn#UMN9$=h)0^`Cn zgG>6eP!SkKM1PqONjNY`+^}6CVkGb=rFE64(&cH{f1rhWa~F}FQ=~~17-v3XXlo}F zQ7#A866nQsj$3dIQr_~HVU7Z$GY^{^R|QZZ!&pR6KMe4BZ`v}T6q?nfF8m(Mh)u-x z0%1a3*zlH%J5^QyZbRr26C5o~MzWpi*3{>#WJKZ4nSWM^`b_t5FfH0PRpiR_Roqn! zNg`NTG5iKhr>J6S>XL|Kx!>A9KJ=_`ke@Q#M;M`Pvc0J(8KQNGU(BM1Mc5-_qutT4 z=FM{$_c3O5yl2ulhG{e{M?hAA(#3WNnWAy+gvhB%L>pa>9OU|-mUH(N+KuOoPCu>r zG}TZ7w0{D}am2WM`a~7SB&vAAL={hzsN%a#RQ0VSs@NCnAyLKQr(5-O&N+yXMiHod zM6#>>$xe)Ubh_JTy>^*oNfHu&@npI8?mMd3_eKCvj5x8C+kg_u z8w@WGPkx!4`~yHG(8;sT6+}M{GB^q^Ol59obZ9alF*B3D`WFQ;G&nIamw{vfCx4Ch z1yG#Z^2Q6}!Ciw58rv9Q#(_*jqX~xC zfc|4grqKpDIfL!(1pXBv=>!5oUVm*;K*(#Lvb`NZ;gb!3ofE*$Bf!opz{UpPU}NL| zPoTY%06+@p0yYCEvj7zA?Lf}RG?MlX?oMC}OUUa!|M>*anbHH;`T2R7{#*_aw*@(Y zO@Vd*Wgx^7Wc#|KDbNO>VQ&fsLEQf*1)Y#31mYmT%IfOs$^x`?X0dm&5PzX(0=R-9 zmH>5-GswvWWCr-7WPl3L7W8*%EXXtfO-r!zUk(j>bBHU@2?TgG*nmwzcFwO$KG~Up zoB*%812p870Ph_@c7Fvc{T09j`1^1G>@4j6P51ZeKN5lM{#*<+HMO^O0NS~O?JNN1 zU>gwNy^InI#0|m(0NR=T5q}7@akhV54|D;7ZGa}P0e?yd0%XM10KnG@|E|y3)CueW zab|G_+x$@@>mO-ek6GHzOw!)g7Gwu;M*c&e6xa!5`g-o}tbbpwwVl1Io#%hZ9BgN1 z{zn;RpBz}V?7)tnK=M+5$Gn=5|FKzsAOLPQK3+~fZUD#;0CF?6WPkl*15I}a(4S8B zKg_Q+czZh7I{?gI%K&+U%|Wk!kUgD&E+7EJ=@ZD?^WTpDC1iGXfEm~n0x$ttfbEd~ z$^L2vng7MF_wNLD1AJtAZ9jGZ+aEvw{W5s%Ff)5Q8~1<0|GZ*WZ6zIf4JF3EOa8A@ zLc-n+;K|I%0bu6fW`6^)vvKhOcwaxf|2K~+5d61}f320bGq(r)k?aq>uLt!X%`Sg8 z0o~sdLJ#=gWGeQrtqTIs{nP3CY}{<7ufN#;Kll5eOaA}0`5#&SUpxK(Dw6qRWAmq< z?yrFVA3x9*Y~%iS#B1w*g1nA_vi<8Y*!|y79nfF1s|+#&e}A(5zg~F=@O2!-?JQnf znwg!8g^lYkJJ?wU>;^JZ1w%|N|7x4R>{@>eoDJ9xq-yUB{^N;xUB$-se|)b~W@`QV zj5xpc=3g$L^Xte#{=CRP81y<+|EojV&eY!QkLly!<^cemoPh4gub2Ny+yGDZ*D*B% zx&7JQ09F<|dw|SWW*++<(yPoAHnTk8@@<`xm}y0R0PJMVS8!Uw>6t{0m=YSpExNb%6hcuR^T< zg|C&{{BwS<+uHnbng8{_ju@-mzwlLv{lD;4h{Hd1yykLvog4dqDQABbpKde#|%*pXTP*A4ol+ZvT~%boKh0}8r?E?!IH1oH^?V~;yhEQeKG ziGLKQocz5ovz4q6a@fW}k@y>D?cP+dT+e#N4^nG|kRV0(<=Nh;&BsrQ$?_j320qg< zDaQ#vm+u^V*VD8|x|j#Uw7jcM!rGB$#Lu8V^fnL78=$tyT)n0Xn$_X>$d_W-rYTai z%Ky2=PZx`m6U_yjQmKW`TK{wKO`+bkr+)|6bKXTqhXn1iV^z3aBzAq1T0!pp z89VFuI@8o|5t1IRwp-U;Rc>1bN`toch29k&ZMNJen+sS`5%vNA@~qOs&alssge)yz zC@WUB`$DhC%3)&6ph{G7zTRK@+=+6n@H+MQ5N z*m*C8Vd>3`vqBez7J#cZ6nGF99nmJfdD)yDPCxUFc=iOftwh)#k%hnXXU5Sbrv>rb ziwt3O@{b)x_5mjzmKK= zoKQe>X2x;e>>8ocS}`LhawX+`^$T$&GqztZ5xwoC?i;(+hsr>U5_E)4c9V|g423eF zmvM(>WU+}aeYdM#;F;-1S~jbMUp2Z=yzaLa$T%sML>i4jd9?7p-q;S$%zx8|=JSRC z;KRHTazC*RmxuPj#lD^T#bzg|Q6xyLs+Ix9!z(E^Q3uS@$UjOSHJF+%5v&ol;mkP^ z9c`V%WEf!*m-fqJq!|&2G7`jPB!RGfhy#zk`Yq?fpk`1Ak5F>u#$w^`S5yR>lXEogMr`Kw1jsnhoEMhwf^eL(OG& zdZrwO_RXrlSp!9bpP(66UcP1_#uB#x)Aqd!E|sZbG{fq=Afv|w-W%PBDr^rlYXCuk z+RTP)zX;HAz=UU)JyQO@d0Y{bHb@jSId>B)9C~Qp+#vMJO7SsjhJV_+$>w^U#^}

y*2YUzvo9Rs%Zi;o*iy}Ipf`2&$NoxEh`kTc`K@SgP zgO^vRuv3&3ilzs9M##vQB9Gr6HSMQ_3m8ann!b7!7?^^ATi09{ zFT!V}V@|29E`RPTRhEVf-ExXc-@NoM7xlil;?%!YKFa50VyN#6bK&-8DJ$eJBB;)$ zzTVWETc4${11V0lV8ycGl4PK~sy@yA;u-mHwW7V~uZjC^4`x0Z+t9eB1m6>*JQ z*F6;aA*UBvJpkwCg58ee?YAStOr1`dZh}ieSMOmhrGKVw0uihoL_e@9XzI(fM%hsz zy5_2wLEySez1*l>eX$Z}NH?~a4pA%nR)a)W^iy!ezgi7Vi~O^sgUSAwnBZ-%BosgB zfL7)sT{v>yW6)j9U6JTGVWbmO*hxxTi_v9e&>O62^Y@54>yt3sCD|pP?%39DVk50t z<0@&ZxPPxuzfYIk)z2*=`F~^HP}0->P-b$>rJMC}lzUoo$o4dW+WP?@ZX|h{>jYfM4tiF3ay&ZvQOP2P2 zfI?Ksf|5N<@8+f~Ou#*6A6t&(c=f@Sd6MUoO~312w-TYAZcWbGz#(dU^Ow zUu-A;@>*_yyeY7fFgpm+7OwPI;#}_1oLBH^+xuA4QU5&0Y5e4p^Xy>f6sU!&tgTa) ze$Da|M~@k@pPF(|T~Wi~kvaD}_J4CBR0y(=1`mY2-llKOxYZx+y%6&X0xg{1JVBgP;Iq0S&HP$Jf64v1R)UQ%RI;oBbPzpcE zFduN+%y(ehgLyBaV4#Ahq+v2^t_1J0~NMUZkQ z)rSyaDz2o%VWaIj8Lx>*Qnm=)FJ5IbyE>|G!%GmL_~w)cvrByAW_Hlnc&EckfE5LX z0O~_+wBO6KRuK)uJrA+|;zfhR-d6l_tkCe`u4)9e1FThrU)R8aYkw~!h!I?}4z4Uv zD4We{e4GWeYZdm7{BqvcYss_<^3Frn?}5lk9=H=!B3-c=2mZOAEha=pC{!# zXd|-1eTH8x7Z2&JtJ0gnNPH$UvA1H*h6J~6vM(&L!H5_~gzs;H(>{csT2*b!;A*b6 zO`J`6EA3ult7biC-L z4Sv$aIg-y$ADB&nb86RLY3K>~{_^8N9b|9p61UajWJcg1dOR^(S(RZvCpnIX@U3*d zSqJ{wA$az}8X+%md`LWp9FuOzKzWB~0Sf~O6Zd*G#?ZfFYVLjFH=DJINq1qA%MwEm zZs`brA`j~4fPWFwlXbQcYmG36=yvg6FqXwm&L~0cp~mnEWAV?{;cd;MveK5bwELoX zfkA+LoXtvNJ0IIQ5;{b_9xJ*za`qN(em8;?lUAf3#D7eBP3bJqgtFz23hznBidD5F zu$*xiZaUQ#3S`rf%88VN_Lo&h*J@`4t8Nwt7ji#)+v;Q-F#oPs-Vz`8a5i=}@s7!g zSbFMpZW6;aig#{fg-OoZmI>|rjPX8By60=M&1v|$rM|4O3G_9PjISWAk(zG(e8^CX z6Q{~Ct$%Lz>TLT$5}xwwi%VyC)0NdT7F48YO7{Kgh&bs?;~qCliL*e5!631q97knP zdyS|~XI+gcF80ndlxpG4B?SmEf8~%F!XCBA`j&Mt)_{QaQ1J<(`sSY3y<9lMk!BknRtsB5{>qE3^IsFa+do?Hcq15TWDwux ziGLhaF1SB}?l-N|&r)LMb0hoACY`c1js#V(F2=soP#Eb3t`5^Kb3~0DZL0d3P=Pt` z@YA9|1=`i!U}IiCW7V0%(f0ING>c`iP_g0uTF~?AO0$_O05iBNyC=F>CGTt&a}%M% z`e?JyY}2h<-cnk4Ft9kZ&>+sh37{F*<$sOVaw;G2aFWikMpQ|KRu}@8`h3{`5ve*E zc`nZM)02C%mb$<7CTz^>ees`F93?_G;5roz2m1@25NPSf4ty^>k^E>Q#X- zWRLz%GsT3GO8qwaHV(x|5Mn*M&YYfk$VEz1T-*RJQ*w8fN`!j5c2e^e8dm&$Hh*1Z zu=98GZ!~nP4-Vr}D{_<^wD2j+4q+&YXFkfEOc^Jg<7U`6R?u-6taYZUfPaWH755X^YDtepi>DpflWu;a7)GX?qvPUX8LRqe zypRhkuDys#-|Z<9r>E1_GG2VichaZkK%)M*5W(s;@4(psb@W3|E4SP+5Wb!P#yH0b zP!DDm07<-Nl4R|j8;6$XueeNWJ( zS9d#Gk2{Eg?Q=uoo?=2AhXC`8>3ZaVWX6mW#Y9~iQ9 zS6r)mmJt-vd&!;*di3e_I)DG#xPdf_g>$LN>eTsEL|%0!-e+>yHke=cuwzqBW8-nj zmIm~3{uwW&DyhPysNb-5z9%Y8^;_L;`X-U`aLbx%E&DP~Oe5#sO96%cCB)Y{i)zIvGrG6`H%Gj*~vky?s#~p#xzapeSdl7>n->kyujtQl*-adkm$z5Vbb~7~cb~a%sBblHuS~{HU zim$H+A11GclLKvV4fPl6tDP~iZN&PblyIQ3UuaJf0WQ^W4an;u<)O zOY$-5(p@THsq>AkPLUB+oJlzFCCST`9!uVM6QiOR3C_91cU9H!A>S3BX zds#KXOb>?nZGWphzd={7l$NxuV-a2o{p>U@%=!(Zla^gZ(_7l$cN=H!MzIDB39WLI zdt|;;J+W-^_QXT$DivuQl5t{Za}(r$5uDj#H@PPoY>XCRN3 zAqqTCW`8c}U8%jp^7XLi4jd|6{aR~Q4vQ)68~-p&+lw2ph%iuGaOj=_JE5I)nGATrHaDdb_u1{A(G(5eW#}Li( z4$A-@r{%+QrFdEa9lfx=w$xa_wnbS%y^@(o#Fr2l#W(3_Vh@~i`llKy0(`mo`0p&> z4vIDqwM5tHcV^X1Xr>;P?IRlfQual{c+j@{27TyLklx23e=Qx$vor5xGvvQ90b z1Ah@wvl6Z=eC?1$Y1)h@8@%eyB4Ja$vZu0in9@9;={w(rW>(Lk6DedEzek!bIUeHR z4z+CCKWp)lXW{=ebdf?WjYCE`Rgo4H!GvXQ&SD0d@?t@`C2r6UDwG?2k&w z?oEzJbrM|-)V*Twh(d>X4k&bvHj&3;?xpb>2IQO1cy5^<`?+Xs7sfNN3DWn8Spu(}Bf@tVr-rxcWw|~=> z-Qu5y1}Tk{lJ7-Hdd#pH?gc{T+0Hl&c-`oZTeuuhDpmQ~7)V&)T)0WIoJUNAuA*uU zl+=RR&KPbR6i*Tt7#qbzKrGD5_GL5C`_Ga@l|&eDNx1`lHp7@_15^4wMCy!q)GodD zNm7NW%ND^Kh|li+cZWIqK%5mXyMOF>dJ*=d+-kDY{5M8-UY0K5QrtC^c&ZSpcjv*o z9nD`@pk?!vhvj{8Lz>%GO{n4}$$&x4_yV*>QdQ?UBRU^aj(!++tz^qq#j zJix1lX<^238qZD%4$b#Aypl#PSJQ)!m@lmJF=U=V$FY9cIXRg$4~Au=d*6N^&tZ%J zrN_`t(&O>^vwnm!LW0;t0HY8&3*D;0AUq+x9kq#rnumhJ>CBd#MZVo8SQA@@6k5vvK(# zqIZ1js4l@&FnrF#qjRb}>(isWz5uW@H_%F4BC0*lre+Uy@MN+b=(eCH0ZqU0xjiOT zhy!0Alu<;mX~Fl++GU^+$k$o5z-gO9(L;Xw#{8t3c|+B*eS;NWM1QYliZe*)aR`u%DwdfdpOoEqpQi?j^SDotc!hXas96u*fQZJD;jLYc(@VV+Gfv>SQNpD7s2genHGzhtEICUMLs_|aO_C^E z1+I^5(t0g`8kL#&uH*4$&Y`Pe!LD>?4iq!NX-^GkCo+CtovIG}DQf$N7 zDwk1i=3Qm1oBkMadCb)CsoUHq_1w{WZ0-89%4Ue(YAwKrBoB=+A(E`;hlYo2-UO`p z+d;(bH8X--vA{`L;K4C#oh6QB2y$|@V1HQ2xkq`mx!23g9e?9sc+d1;#q*X|DaSg_ z=nv5@GIoZdw(!J5R&|{06CPGlJHC*gwGJ#bq#CRoH~p%slYe4jFt8P0ke+ahPn2TYp*?vjp&hm?ZbSRrb0-QG_?wr413C~6a9v$(c+2~M zbge8Ffx^0gYo9nxXGXa{5<9+{&zpriqlwB!9yB>KF-sbGO=25MFq$Pry|XfWTahd; zJu>SJL~0E&$mfTOn~`GTLZv#pBY1I-*Y5?u4}WyX>S{Dvk_@`ZC)*7HdA7(0wLfCkLOiqcpBx`7p^4dzK8Nw8R`s#H+@-Q>T-|uI~F_ zW2g=KE}X~$ypJnDCr6#1UsJhNpm9Z{)O!9ntXfi5kswSzv8k7lc49R|Yc_D|Dt}FB zO6qYAGzUA|f(>Wv)A{n^x!`0vX#6BJ!bj~^tdSzuUk|MmXWa#jt?IlO%&OCwPT5V~ zDh`xrn^xdtCEl)$osBMC+G|&@$DI@rD7bM4lvZJU>`SOS#Xsg)_tMT#*>o5#%D3aI zf(IQY;TsNzt_*smR!~p!sy*6M^M5Af%GQCivPq#Lr$q@3qequgOcr7bt@@%;BVdft z@*!_U^xgE1n@^PS&mQnr>{KyrRTzU8V9mKj@W(OV3Dgh5U}t>_+1{@WDL}jkA>O8F z1IC|7i3;EX8&}8Dt+2c?=2Y=1pMzDGyd~(hVoaodZG*yB6w$RKWMWWzPJcVb^~nvc z5u{ww9(_j>dZiPF>OdcUzVvKx+IAtn=hVN6kB}a8Vo z5^NIz^~qY>`zP!~m}cf9(ST2yB^WZcrQAYLVwOvV%M}Qy$-e& zGK$`lMs^qL>N>s0)O{X11ddQ~@g&E#-$P`J#(@rHFUWESHGirp-BaG5@v7f+jt*7w`L3(TZu65?=>(I1j}f` z(l-PNlf66Ge+RA8kblW(aR01+S=s>9bGU<>fJB#35^OSXlSHRjO5aI-Js^J=jEh|HV+ zTK!k)#p>4%3iT-CZ!vp{^)XlEKb&Us?C*AbirU*3(4wA3-G3<-M}3CV->G|9HYI8P zjxMM*aq3oDDut)1Yww45E<~i}R=Ux>PgGMS2HVR5(nC+B58&t7<~Wy-mPs{|%T3fp zt*uUT-<6>X+`X~KBJ~$vlSd?Q97nxcyL2UWl9Je4gL&s2Z%B!isb7Ki?kxMmtbfQm z{&m*X-5 z2h4$vO`e1_a=T&Qygn1lhw$=gMs{Il;!AKdzY;Szp88d7iS^ zC7-5`Eh14*Q`fJ7Px-R;A>lh84gs0NxHWKX2M2NwT7Uad7KZy7wCI6ZQdpD0?!M=@ z(jQb;lFp@w$)}tzA98I^Nfj9f?y5Rq=Nn-qG28}yj^ju1D6u<3ElOHHgyg?{(~s@q z%=7aqe@k!hIPxA;bay0~QGApSn8>7O;Fjwg#tFULxH#Qr+@Aj7fkzAB*OGLW0 zn|0#w>0wFD7VF0G9u6FAW;k}=S=xb>h{lxnYJV%6#NRkG!d94?hG|f|vbK$>rmpd3 zd3u+)FZsZ|HiB67gG4mk8tmFGKXse;C(qXn~CRHsN zIN94A{jfXzV}%OGEI-F@hjnV5_@}4(1%Dras}UN?@Q#ewWeOF}=`#LlO^|i43AEcJ zD1whTliGARIPd=kTg-JjQYO)!QF=oPf5guXYs!D-i|naoN52dDIS#z$6_d)kgXX7C z>l>$u7t_`z>%oq>%%5-LIUKi}wI0gJzafSV)r<47q@Z?vg|#b<;vp-R4+QeCTYr36 z&+P%&ij52cs=l;*bI50EbjqS#U0$FV#rwb~OZ972zOpX|_D5Ml|AK)Eju8PT{ZPw2 zBQxbqoz&(dX(5kQdpukHM_=%l(G~>q9Lgn$D;-tZEfefAraiMHT9z8tRs8({A!#g% zNf#N%iJ=Dde1gcUUhP7jCtt?r+J9Lsp~dj8u;b?U7>qs;IDWPMY!M_pUrtlr3v5SQ zv)@+s4w|ZtVKDE9+<_t0-H{1_0UwU8E|Po1S?2>lSB4%JWgDt{B&~X^l9Q7981QZG zY48H@6t>py`kKevV2w>na03TMs}^@go6+D@%`6I0jhS1J%815x!k^i z+WVe6K6t1(+)iaNIUrC_l|HunbBPfr)T=SK+ziH&=X6gka_GBR>TnDDFe<-?#eNJ* zBF5OGQM}kaiQKd9ayJg@*`n+|;`0Ki%>cmxjqFgO5lmH4W#6lU?KYxyEZ^&ZgE0_f z%Cpcqe!%7p1J@-M!el!b0)M{;n8vB5N?aw>4>VyT((`UmQ1N2o3-Wxx&yOm0f}-~y zTJZX&WwIJo@H{KNx`92vIWA$sV}|has~q-d+CJa2Zfp&F$Q;yaM$Xs9fN=lwN~$5( zZ_@%)M3Egq-9MzCZ#}Et*z4J$k`);|@vMY(R||tbahSRYy3PwEl7Cf9@PmfqVE0V=ET;F@W zpZF(;ljj{&ay0gtpMRI+wR6Sf0;t;5b$-&;fuoU#>%7i@xp9ON1{iJH0;fO}3g7t; zJqY7SB$4#goiofe%eB0zpd+u5*bed&NOA{sY3=nEdEgmy!>L-T3D=&A`I6pf1x=-}u_dD}#?W!K{a z=4aVlWd=`Chgay?6jAn`4)KZ~AOg5(1N5yLdt+$%MlV#I90thAPKPd^(3x3c;VW8` zCN{^4ubK^yuhJY%h@uVOez!zRi#svj^=zVEhDh85%73~x=?Tf{9x2a*%OTg=P%?U} zb2>9(VqV|Pn0t~x_W>zTYmFw@#<_ACPoPjp1ux5jA1s@+p?cZO_8I8}3Z{RFbD`^I zKdejyqJ1hu5wlLLelwwRx`yUl)LU67(un7e!bf@WNt(>Olbe(Bvy2)At|^F8ksea* z*fMN2n}1}tkG*;4;g!eiV$(|NhRHy)Y0hu}mcmpw`3-tef^PGECLl-5^eB~pF8^lD zr9q1dynxIOtV2THOTE=Fd58&@P06A($90WA+4tilEHXX1Om|a9)GUx77~mUs5_&($aeI*gXhbSq5_A7 zg3^Grg&i{>?e&j1pfqAyO(Bp&0K>EeT8+oF!) z4{7RSpJ-ev!*8=oE1sy;&TsXL0zwsJ@=U0vk|+)jd`qa2I&x}=-UkH5G!4bt@yPUP zIDcn<6%_N4;(S?Ttb9I!ye#vOvi}k%NE94iCR=XKohoi8tl(!Qoo8(<%bf7s(}70v zFUh9wodOAre{^~fdFJ?aV#++EAmfLI%sMZ=mRkIFTFjXO7YPBqxIsWm>Y6mbQ7u+) zc(xUf2ugsS?ZQqTuR1lq7CY@EQ{-pRzJKX%I(tdE=eNMQaN62Eh-U67II8LzB_0wI zl2^9zyD;f${G@Z5zxIofUVkupx7p@2i|?M$9$Z#b1Kj(>8>}Z+!w_vnwsA`zMd}|} zaE6lDitak^m@g8X3Obf$1Kv&katq~ftwiXsGtBwj2@hzoU#h?LcAx+{>}^Cm~+T3a7QALAS!zK1FlT-vJ8FJ32snS zTl0Jj35{rH!P7qXUN`_i!8HlY47=yE`b{N;k)kA$z;IMwKIZf=PT75W zStnb3LgGn)&ie24K+N1qu&lhw<$u(}Uf2hfUCV^%{8BZV_4}-hp}2rK4H=+a8Iot3|hDQey z%(;lf9oMdbg&7y*eQg5Mw(Z}YT~U)k!La}@KZ9M;W2cg{?-Q)yAb$s(F*{pY4x8j= zfe%l%JA3|>{vbhBvO^Yg z$7R*D=vr5fo(xxxhu>ZAE-*kxjjB!zK_(E8qbyMlO{a)~Gh2ZcSa(x0-Kq+EA-HF2 z$}>~hArnMjO4-T+V$MHWF%w3C-W{Rs z;9};+?KX)xcsV{-eGRk2`O-fe=!MY!Y4oM`plAXC+Nu?(Q61a3vZ$gaH^!lwM7U zVG91hunw=doUX@^g@gEIth-SyB2U?;EbPT^(385M2rW0lyWW?pJEBpW_ng|In?-ub zznWJn?PFd^jy2@CI4=f?&z~779 z3@?vwW}Lg<#QI#>G9^evz=8ajPc*EucrQnRLX`dzjre8xv%Ik8Lg_4V$k|z<^hA8e zfWNhXLM)ivvvZO3&Qq2hK^*ayNd#kgo($e~-hZ(?G}`2;LsN!bU{GU9JoC3Lndy(} z^Rejs@vuvTFO&XwgV>{>G9Qj|0HWbCl4eTa8&g7$dD{R9pGD4j>tAiEXUU+xL8oj* zjSyTBKPT;Y^^1X^uxUv0aO|#ek%ZxSd)YNwki$!m=EpdV!zBwAn_K1pJ3z$05OvPC z=x}N?VFZ7mwcN-+T7vMWh#e8q%CjG_R-)Z_C^3@gi!27{GZdzlvm>J;<@SDY?m4S@ z%~L;1Ok)%yzX6GO4e&g=qBjJOK!<2=^jf_a4nqnyYp@vbRA zh4FtGHU8tm)^~hqxiVYHjk_)KO#S2LVh>qemvBsMB+JaZfQ_ZL-B9cjD*Vn8K0zh< zv)$jw*jkBM3zNlXaWHi}SD{20)#52HBMLaOGYW!NK}4Fg#MfOBhUX<4y(n|bFWVY% zS=)X)5^D-H)wsouFpW%bh2F3gguWzIH++9u4|NMJSvcb){c-jBa~TfBJ)DF|^!pbf z$kM!QKTI;h+UFiQHV$z-B*afl@G(%*<-_%>+~GwN8&s*jy66eyNM3O8evmYu4~2=bzIYC%h{}!#49Y$hOOXiLiPr&TpIW2!8 zJoEakHg}eLNIDzJc>Xg<-m}Ia`t-`31gy|xfB>+r zv0anhAsNd0(--ljn4#it40wAbBrs$J@Y&it(1~LOqW+t)!^Mo2V1(omAe7^I|8dWX z(+1gxaure@@@}37Use@2b+j+}DQAE5??hs&D4wVjVfzxfM(kYV3+`Sv0<~fgs((|? zh0q9;IA+n6QmpM*x;UUVJtWflHmK#*Lh=ckY#aDEUqXkB7PSxM5In*~e6=nPbNGGW z6&|=hIIy;8PYgwAeXvWcJd#rCYa;RD+Cngz@L3cN8yS-Pb(E5% zW@dTg(J+6Q(O9KC@gNVQi0FUBye6B0ZNN@vfLfu0sdbh`}3Bt;aIQndTS?K$`MVilw6Ls2qS;j>Df9#t7}7(@RQSS#$mtk8!AU zDususqy&!kxANs$O2rvrEUXI0j(_y7>07b4P}?RCBuCH|XjDE06|)+5)+aU2JGnAq zZKvM~-!8hQ=UYShUFlyuH4avq}35 zQQqL|wBL-g^q`Qaw)Febgu$~T?Mvof10PR9T$*JMxVQ%$I7CWaey*>qV1DZ+u(pzI zZCGogNy!1}f1bJ1n&UHCzE=zxpf{AAgHZ^@S}V{ezCHjxui}3Ua~J3hNVO!aNB5hN z`@!65X6`00Gclp#8GfHsnclca$B`qwR|Z^)~N)?WODc$UAS9FHaV4 zdzpV2B-8ou@t_Z*Az+NkfdMaJ#PUf>#eMV*a1D_^xM$g}`16_OR;rc_grqy)$%~T0 zPuETCof3LoW-outcn)fULy0gZgw-Nc{Scs9wIr>Z&BDWC#Vk8p%CIz$wjhgz8Ylr*OLm%in4 zN*f!cm?eKdrhdVfZpK&vgVfEZc!(WDtRB)&@0L!C)LLzAfqt#rzA z+j^&UK9191Pab}f<=QjYEXyy-3X%{O5GLkVC_^k}uEwj>vF0R-JTg~aXtM#~N3r{C z74thQ@T1DtETS4cpLJ$0`J|t4x#eoJN{p9~2 z7=-4PvoMZ)9}+Y(I0`RJWo~D5Xfhx%IW;gflaV+S1u`%>GBTHeWC16CjJ5?(99Xn1 zin}`mY24iSj+}#7gH8_Oe8VK(0PH+qG$jsbH=Kf#xUQq?Twyf=^AtzQ; zp%*f>HwKE^+quv)GcfT0MC6p2nE*^otPD&{EO6xHs+KM`z<{_qKT0W zK*ip~66oUj9||fy3l|p$9!5rYcXtLOTW1D)Cv$#kI)J;Siv>V`8R!gjas!$IeiaOm zH?jr(T^R!$IY8CI()n+>ioKbOyO9$R@FuXaGy&QtJN(X=!H;FtfA)0u;n$8C*PE=m17` zroRl0Y@F@i{Eggyj4W-8jNc6Y%G?MbE~Er7dMogs@|;baEFD~&8JsO`ewE1hi{`D% zVs@q?_O`Y_I~QlTU-^kzIsr}I+V08t_hhZ@?A`6W{{d!}cBW>(iZFF`U{tfSbaVwu ziT-2qCW8AdGY7f=*qNA^IJsE?Kt}-3!^DE|7rm;d1Mn|@CG#)wTLr$}4)zWJv$rCE zzLsXdw?A;+&PHxPfQyqW(AWD<#eWeTGc&-{(!>Q|3^cd2gZs_?CI*`Qjo*gvWa$CW zVS3v=W&qQ#pMO8;y{(t2y`7EcZ}Y$A%P20PEhnx)`*+3v>V$>uJpkVHY)k-p7Ir28 z^RFf2eEZ;k`(GMGBg=o%_`_Gq&deUb{dcx+ZTg>#-Tqkss(+4y8t`8(dHc7m1p=sk zFS#xgJCn)VFXsQ}RsYN7|8K*8vHahb{C_7T?rLN6mzwG?{r^X8WNT^T`H#Wd(z?35 z9e|wu+ZovXZ&MB6-$yG4G_`cK{oh(C7o)dB5VA9WxB0h?md@gq9zat?OBWN1zqjRY zx!SKQv$3=TD%v|+{(4pb^lzj2U%I!`GO>PpI-K8D@-G$e?Q;GbQq0c8-t^arv9NOh zjGUZ|JmKDk{D#;8-pp^eXbSZBYl#7j40iS|Z!Unh@_Yei_D*oWCd$DMU=;c#`WtZq z7)AbnMVzbvMycQE%~Iw!;s7wp{)@Pn0E~*i5i@{M={I^~QTZL=4Op7n8vRzY0T@+( zqc^?!Z}gUq#=nUB4gL1x<^nJp|3+^ijh&24tbuQjxS7juIqSdjzZdae1vh}vquFox=4bW?{H3(~9f$Q7bo(RlFTK61(;swiCgy*@w@NI2*Y!3<3r`0N z;Ggl|WR`!xw?13{0pEIK^9Ouuob4aUzSZ=biv7*i?rm@X(7#n<|2z7dv;BY6Z`nJ4 z{8qn_IlO%x+5KmRY|Q^i|2sjpw~jl!Js|eKXTtVYxr2?X^Y4zo(Z4UeT&NfEQ7Jm@GW%WCM?At5K=wjgn{9_5;8t39}|A)gHhwC5kZH8`t zz_-lY|JblMZ;wCV8@=Zr@U2x|zmt1o@&Y>j9qK6H_bo%1@hy#ZKm({1iY4 z<+}m&ous<5W()%-5(Uhfc7rH%mpWE!Ai+VWneb}It$MeaRT};h_tfWqSHKLSmc?;E zOSkt^gX8M($N>FaSX$ftaP!D^x35NtK)(RKxjQqBn1xQ{$}&$DK^kPa%NSUf22ctE zg>K0$h3hAzQ7E5x(1q|L9`jZa6O%RUDkof|W#^EU2idcm*3 z9P+QmU(k8efsH6S1u(=PFcJt*DrI(7w)sDw;)>Fi(4BYi1p#7Ie?}9i^4q>2tqc>YAkv7 z-ZD6;!I$A?^@|rg;dd&k_l2Zh8z8;&Q)Ao2qm$cY-ZoXbC2V~y0ABX!3~-wS3gY?g zfXu7)_f*l5FJ_T{Eo*A-LJdp!by+h5!1a@%ZxF(y&|g@YF!;w$BmqTbl-X;t#k3f& zb4j^YTV6SWk3?}T@2j14>(?-D_(Ch*>vm~@lC6shM5rCXPVD{UNXeV>kSI{H8?1Pj z8Hu}NSwlXToJ%}E2`9?}f?cPRn~8e8UF=Uy9Bme=83bd0a)25I1G3FGONlX5AD4Qe zjIPKkRzMs=&r^p=iMsJJA%rB2T*Cml*jFziJq{x6QVv4V>&*!j&rt_Q8mKM<6)!MA)!os`ZiE)PXM zHs)D^tM@M7?%_qeE9>j{tSMIOlrRxHHA7zrU zOsH{2zu#@@{xHvTsiF`l+m8L-cl~4srF!iCC26mNEZ-v#7v3ZS_SrA4`ing6L*6FOLvMg`s3-^np_F5`%>;BocBYNi91x^o;##|TF5^(%z5u9paGE5nZae-SpZZN4&DHLZaPf^b^QfD;R~YYj@-d3M?gh>o&J|Q zBbQtv7(oT*;{wJU5b+D57cMk3hv9yt-D(uR&B*e7$iC&VPUdj?g7Kye#1bJNa8AJ+>sd zVqL_CL>toDc;ms`0hR9N;td4NusK-qB-a&<+$Ozn)y6OlYV*c02DB@f32DlA24m1_ z;^b%tjU58Qc)eH4zrhApDY0UI9jL4GE);Z(MNA_hqE#y}DCBNf(sgigRm>3vpY(=> zn&-XOeZL_{BEIn`BYv-1VEmMx(5W66YeQvYUfrFuWIROFkLc-DAbEB86BX zA)FDnuq6MrDVsuy{ldgrHS2OimpPYKpDUbE@md9C9LJ*lq;-pE?$oa z9M@o(;6Zvyf|5c@Bbu(02wMwvQ?cEXMB1v?c(TvZ6D2 zARdkdzUa65Rrr3A3}QmRoeExBP6yp0cMn`Ntt|;S{Z)3c>amrBBuq5?JcE_iREfsB z%^!yWRD?nZHqGdhXUv8xT&@gPuC!;{izJU%{JcNt{Jn-7CduJ{?AvSB^F6?an9`kt zQ0Inl(KMLFJ-(mK9HgxS%wKF1Vj4ZvJ#QM9P$zRp^hmw@aMDT~+%CHja|pr`GHw_8 zOBtMmxj&F$+O=qjREaP@_PLas3X%f`VU& zmcNSp1j@UyS#0`$QrYu#3Yu7j@^hW0Ba(06Q$fmhKY9pyIkGrgU;4HtQG@--%HzL~OtP|e+$nO;bDwC(ICF=CQW|bo5h9*A zEonUP$R`({3^`BV3??@d2|}3#BV_9nXsm`(u&}wKmDzZI!S9jHuxOm4*SoKV4xA`( z8^3DW&I~I8FJAr7G4%%z?f<;MUaO zqnu%IQJ4z3>Sy^j8P2#G7+U3wxf30y;;f%TS~vaZr&^9c-;TNke1zhty9KRq#m8&7 zadA*JvBHyotC#2>(=x$bv&fRsl=Y4LpxR1;1b{WAj1ZR=cieWh)$kS*z&Ii1WO z-N{zy^~^a1qi5ji(oTCFoF=3Fec9cJ^UV+YEDU2o?*z{|coY!es;4S(&X zlXJp7CTu(S4P%E;b7#eLQ!@HV-P@Y+nJfxfK8LRmXf4P#=miMeoRi)`Uim&0+) z-4}_W;b87Lcg10~1U*&s{4PTCz%r^HZ0v>S4l9#jiBfaih?yP^nj^)NgAi8NAJ59f z){S%`g3Rs}J=g*yL-R3xj-WMuHt;S>5YAzLplG3!unJ$ZFJArJyWf=5C7G_!fx2f- z9nUy5VVA$>E_dK(;goI{e!gmSW&}TrY%-_1F7v=tqC;}w*Qws(8cULJ?r#a?AyOve z*5kmShSL3xmW{nyfKD^wG*eMGQ#11Yd<)EeNEjfL^TO5aQw*!HeZz-62kB*3jL?4 zyTY1s9vX`;8Dn^%Rd6X0^jmLuc3dE&>#PKiFgz+g2a8cLNsRE0w_z?TIfBKO4JKQw zQnvocMd8imi+6lyx3J?H=wc%)!knbp2Vft=OM`PvnD29(Dh?FbiJI_Y7Ez&p?ZW@4 z$lU8k2pk4eVHtyGt&mQYTN(*Tv7x${ZX|;tYy%D}?K0Xr$g|6Ef@(YiBYmiQmlxKI zA|+F+Hndx(YuH?4)O^48_wDyymqKBv0Vat@Q?*h~jzAuWXF#Q3X0&!or}J=S$PY}4 z#cEnk2%oav3om|?(t8)60>ylP2OzzgZbP*|`lh24CTmfyMZX*5r{eVDX~YhYQ`C|u zo1Ne#=Ws!VL0Q zNrl^E=;2?Qn5(HN_->t6y=2qJOOaYb%D2CiS$heLr#7415%lYS!`Sr@?I!iLzAGs(nf`Ip;~}86r&$wP)X-w~fs$T78W%`tSiW z^W;`zgT#`Z=TQohuQ0=ZW3faA4^2_L2jTVOm;MP`(k*TUNcDkwE2MB_i_qoB%akG( z0)gxqd?6}0&jjtKqqW@^f=N|4Ik1^Vl??&(7#TwTCXr!>Huf5z4RTbMaZpYm%_XGE zhVv74THaR6hO9m|U~UA}hHaEmHu=x~8+F9H4L=KRrWJcePP~(U3!%hn($C+II~X14 z!v`){94lCZ8|E~hWo*H*U3deYo2gs{#wKTE5$Ensl-Vo@p#gI@e%r%F{iYfTS9Sx5Ea>~jMdnXW$S#c0Gw?4PG2ga-e!y+8eW+uuvWqZy66N=G zfTGvu1AR~Az?FZEpJePYgT+p9tm5{mRWv_rLavwZyhuD#Fay%C*Wi=BDTGv9g zbgc~NS>5Tq{4#ldGKHq)gmOqAdUMMY7qeta2(4TUz6wYZazRBnrZ11D!=T=3Gb%3{ zZnN0>&aE?lQ{wsxqq2{~Et7~Fg4(AlQ)Z+|w&QL-oYbTctg{8?5%tb-F!-YUr=oY%#_nvt7cC8rNFVB_QJmcs4ecy}vvzfnMHrn_v z0=wP~f*QKs3xeVKKvbR(Va}~Y95iGO=r3`+J7dg$^_+Y%H2P71_Gt()Qm1A-62)+; z^P5=i#~ydQZpafO!gmM-UVE08vPL1;Xueh>wfn<@Pah+9ef#}AkoV3tnjoPwcJ0EQ zW7C=JXpp>-YHS3w%e=0lQby3C_*?e5PKg}oWhW_yK0bk;%NX(l3>!+xdkj+x&sM(< zJC_T8w7HG859sUu{6Le4IrpqIvRNu`Y!*tp+|jufl50-_8?#uV2HW8^d1ZcNK4!EN z8}Hg6o1#2sRtrFrSIrJ6{Q|4o2ae0>OAH05W-u)Et zWX&z5d7WtXu`GKMeCzf5^Aj!l;wMe9laf@FA%>$(;;xBa5*q1c6;7nCB`v}l82kgs zbE{=U0*a|cp#y0I+KRo1udVGcXiI4CZ&Kw8cF8#0>Q(SmwNO8hF5^_oroFO_mz?c? z3uJ+Or@TG6>wWMS$2L`$ke#EW-N$mqtdw{u+R$fgDRXS-g&4jCwTSLVu6%gVCam-d z5iN5OL}0xGqGe{~9mp*R@>@~!X;>KU$aO^Uzs?s9zxr(gH%`?>rDuK8+S)XceJ4vq zoFa#?2ULfIh7RD(aGt@^KPDzC`tm}5Mv_c-$lOkojwh(*HzSGPJ?ie`J>TiiB!Ls) zfy47=z;^i@DFZ}x`+^W9U1vC6mHMA2(kXM4Sci;xJxE((iCC|QRKD?)TN$ICE|a&o zNGCuu@{bfKyq;wfIH|7%_TYNx)wV))@KbM{=XE#g1=!>~fV10oqUh`wOo;P;qR`1x zlv1KwmPP8;$t!hBT}sZ3T~82o38?a%3NDDBWADqq!b7WQcCRwk@l{f{TWn~|K?Qzc zGiwzWZMKM8W?1;F3P!E30y#-f7;5M4`%DKPp)KDchB+YudR=n|uLU2Y3<+%X>Y2Iy z!P+sU3)i&Za{BV3waIQ6hb``ZXOQL59TN<$mg^HmshQX~7#<=ah^#h;!XX8(OOz3^ zzjDj}lV@1n;0bJ)fA$kMjTDnF)^wvTiT45~%sH#tlGnh+ud&OV_*z90K!XB$+|Ba3+g%*tnNJ4$+lSkL3;eyG5+ z^u5PTnA7=e+PskTQ#xCBaNM^ z7u;{sZas7|L_VOfmkptR-&54r;^VX7(tlSBpnBM`x}$GgrqK@rwMs_ND9D&{K=qri4b;}tTM5_xCH7!l|TM{flHQ zK3X0T*~4%?mUGM}IX_jPFvfJ8)`xdZ6 z_YKKH2TOzk5w@v655zLh=jG)Jc-Y|lo?QY@q_5JMx0TiumVh~Y=tip$QVWfj@zWHf zB)=cV5$Kl)h=4_@28N| zDVO`0zY$)4>pKa}JYFSFDo8pN@jQwrfj%g{TTE?PMSCRJHVO+IDa|o?rVP{>C}%G( z6q7s;;T3Mm=qL5GcdO;9aZS24xU8o+ZPcJTbTn6j@dgE{<4Q@7oSM8|VQhdA%pc(( zQA~pH1jy3 zb3DbPREki?&eND(G+6j78bAN(E|V7r8j)s`x`?(94>_U6;p@Yoq=sfr#0~$%y z4>5&WsmDj%+IsUr@FYYV&3HdMr|^)T>dU5b%iV{^oZ-+Y>qJJ!n~<1xV{G;d zq}hF^v2h|wj$@q0IXYs9t{M7J_-VW-sbwfczCJ01!Ae>UKBOEpyvbN|B#obdbL4>?zJQEBkbbp>r2YGZ?f2z9S7NC!x14XKYZf}@JE)}A%Id7H z>}O38Uxee<4TX?}*L@vrH&XOozgCK!Ws)n^Vbhho&l_XKQ$W%dd3nM%HaUlTTL=f} zvF`RspX`iQZ z96Zad{4-C{xty&ifigX(uwucEC|<%z#H9~*3`9Ompwj?k^chm8Kd9u=lSpfv=6fbER*Nj8vNTd)6(aHc zS+Uh1!7{`kS2g$71^YIXKR$CVSR(M`NF*io zDVj(lOfhBj(>_SScr=cGCYem3uE!|vslL}Dmq0iuF(-6N5c!zF5<5I?(}r`s5H)q4 zkGxR+OFX$N9m(F!Y@^j@DiPfb)48Ag_9%iOMiEAYX%^?Xn+c~8HQwjQ$HZ`Sh{Rnh zbuDuQZSS+j#|JQ4aMP6s0x1RgmDGoOpsyzna5vnxbR{z85aC0a4u(Bka6qMzC7n?(pIe80#k*@Z5DZ6x!Q+>`dq)iYU`0~2Qt73$sQ$~aXr*TIyOPRNJDW?&OjUH*pxEp8t z2GNVfwwS~|{t@GJhyb5zQE@40=`}=s5_DkagdBmluMDJrOZa;x2Y&f8yi^#$#?F_H z55k?ix9jgIUI>k;oFI$9KxuckUwkRu!g4;Y$XK9X!eR#Ip!@2@7WbfN^7Y~j*pZhO z0cXXN2tE|f$!DLtJ`RNhBTb7ncRfhkez2CBVf)lj3R9Mf-qCi%f-sZL)wnc^*I?6- z*wb0X(0^Bd!z5k8zJBSVrRmr~w1UFc8p%F&rol$j95X)F{!@g;;Qi1cl8@WF!kN#u znEX1}!H9)lMjOGC_gs5pU}kZM`b>BDOVR|n^0l`U9`Z&ev#eyk#HV`h6pv|M3 z>SC^QOEUVC9{;?oUF)gwGZG&P2dv=@WOaja7#IW;)SMYQo0~L3fiyKZ0;V1hV~uI_ zSBJ@eG=xB&wgE5X^+a6J50RJZ`2on){?aK7Lo<22J7i!>xS&iWj};M}K4pgqk7L9t z#d3&o%T^KBqX(LR(kiwv5a<~#ROxm-D$tXl@ zmz}tpo-G$&bmZ7|Pe>dNEX0_t`IabQFn8~No2YkC?y1BW;5(sPNmce@XL@q%kra-Q zCuEn1h50#aXn2~4L&kJHIHIQ@>=_cn*q%Nxdoqz8U8@nV!XQvnB-#Ds&Bro(1lT(U zQZ@C{hfPXY(&B1qA~D1x=VvCc&{k|kEvzTCI$bKfbB{_vJ{m6H#U5JgLZ{qn=;RB3 z%{CQ<$T7*`Bxqv>`y+lRz&iVUlsc6RWGw5TJgD!IfR#- zAijhrb@})?8lmg~ST#gJ-=J7dT)iNMsVBG1p=JEB&?8Z4=$C@8T=J%m$LI z1x;Q^^u)u|sxo5RIuL!V$hvGi3=C}+?X;NKPxHS7sx_d~yn7%LC7GrHkl1N5 zyz(qIWLnZ?-T8lOtXP4xY?+&XH6p4XBz*FQOYTi@5T#@1edW^3wbyP0!Em}2l)?K1 zj`G^s199ER>%n>Y&}|pGjXI6rFiF;55@H(?cC}vub;=0!_3y z83R>AO&s^vl+Vka%{ogX1xCg|{q^&W3^8REF-2H@Srl0oa_}oJ?FLYf3n!HETM59|wwXt=VG=MwB6Qe%|BLoi2ppr|QI8&$jk{eH_8l(v-}G zQY8zzoJ}4GEnl;J8IDBYawOXekC7R*#mXECcr3r~VH+Qv^5y{h{uWl{h@ zwsaz1Z2+rmUhCSwNU)@VQHlIL|Hp=xGz*w1Bq!u3Gi!~F1L2n~_J~4vy+~2h7hR(; zBm{q$`#MrTs%UGh(Ltl1L=8n-B9-B#ccSzyMUGG}8am|I?OVualejfBErOZ11eDV+ z(e30W_L6%=L;yX1h*GdK@l6&1(>{mIM+poLtO(;DBvd6tjVp-cWlk6YMg8E2KJ>UbhM zIuYvTOJZH$zjFxy<*EY^)#Xeq-i&J}=L&aR4X)UjUj!ZBdA%dC}+yB05R z$X`pFq}artzi&kkvtzx3agaGnYbco_`2swk7*_JgFU08WS+jKEth zL_)<^z?R9)s^O1r8e_f~tu7o7e4pn|H21}_uY|~?seZuEwrHNP2{Wt1=v}0JuN)lI zb9SSDzg9wjma<`hFhATK9l^Oj{zeHaNRRP$WZ7|C^1625t*zOf!e~x>?=*Axso5eg zaN`}Q(MYC0R#mH0i9bf4qjc0!d94f%Xkt&WIELcbdLWpP89G;iIH!snKZ=%#nl!<7}Vycz_j9=d1dx#hNhcAyjb=s1+nu0?9`(p`km+oVy8 zhzXndlxJ}*fj#hB2bXpc(L#_t(fzJ>z2`001#*>8q#Sj|=~-ei{30jp`(VimPFN;9 z5{)|J`ou~xKFW(Xt@ta3IK@fb<{Ch#Vz1 z@L9a96u$QP#_m_?yjFp%@nz=A6KPdcDVnkm1g7)rkIDZ z6xzKk{D_6n{X88N*NY2uC)Xbf1Y~gqU@$ZaOItrc<(7_- zs6JwUxCi!rzHtM4sYJRyyk0a}<@OTIfxNV?&;7!DN+DxPdU%%fMyUQ$cK=gUqSv6S z+C_SBk{B`jIcmP-Q2Rc3DDE6bY_ykAJtKCkB6jX)cyxpV=8OSJM`zWi^GU0J_BwC9 zaI^&dhwTC4s*M|E^|TzK`yfTl7tVG_G}ng>O|1aOQMw#pMG;uTO?rB~npqjGP_=Rx zF2aX_Ig2X^(+7C{$cmUim+s0{(Wvs%(&}EgK^B{76|)|icDDobkg7R9mSXp-xv&Ca z#qMPCgSk9g=VQBwr(rDoIe~nCv1Hm=J{^_w?Si+Lb6mKC&>P#V2}THSj<)dT$2b4H z_2}SAJ~D4r$h1dcsPM!nmGzQI*)?rjqHBB*XdNPQ_?zP+xM(aygF~DX{$|chybs(i z7_D&NJCgUlyOiK?sxp^OLclwj#*UrD;kqJNj_A^Gb3_M*F*vSsq0vo$1KtE(u%|Nd zlj;1X_FCYwGvNJ4Jl{cC(C#?)=t=V%heRUrW>m84u{OTAcUAn*?wWOp>BAYZH%W z`N#Sn$RaA(_VRwItPnYK~PEO9-(;FN#R z%!$Rz&kct~t@Uu=3HJ3^(hhwHVnJ5c7&+5@_ET@)GHr$H_n&c8Z0d*-R4?f{iWnLnuH zdV)!ho<*p~X>XtDWi!?0pm&*Ge08xy(|Ok?duWwHzNJ=Cezf`@*LFX*#_Zl0a6 z+!$KdVkLP1g_j|GAH(%~jXP)@sW`hDzUfksR6%brv(?+hi#fqn!tV)HT{^^X|3`sh zx2ejuEjajpS`&WPY`!VF=chTdP^H<+hAEBRe|Opv<^8&| zSJ=GQjC4?=X6Z%dUDoXK{7^_IvR7DAoUG7`@*~!MJxLZS(3HBhZYcmhU^$#~E;-zmWP?FS zE&NLHgWGW}c)eT=--_wV6%!79V_FpC%upcf8@niL8balq!r{#}Ay+!k{Bb&y;9px9qeFdb+zyV?Xjdye z+U)^h`E0^`>^~Dtcv9975hzllU~8SKXHI?c5R?l)L64JRm*GBP+&SnG6qVT3M?i+u z4(4-k@#q0W;0R>t7wuFF=fQkswtSgtwV%6)RcL7YL-3rvR;LI!`N)D5znj_^RViw@#HeZph4m-BCA;$3ZUR z;ckm5<@SDE938(sXdh0TJPvY=cfC{MMUA4c^g40XB;HAcT9NkHbEN|P1M?^}h=V7g ziD*S>_q#epuY(OLO_Q)1m$WQ@m2p2}snB=I0=tw)meOCv>O_5&-Zuj3KPKc#1)Ic@ z1}B$GASP8Z@Bhq5mB_Y7@MPYa!*Un^vhdy@aB@4mjN=Hf!R%$qxNDZ*uHy#xkJ-rb4O_&U zrU;)=``b)^w%c0QGc0>Z1U`$D`_4K@%x5!0lm%9BZCW!1!IXV8*%=n8+*2H(&54#K zEo22(XauuqjMRS)!AV{GzD)8}7(X4L8r)v_b2tU5jM}A!j5trw2k~Rf&PwRK7o}$U zFel}^th&oQCD0V|YA`*QpfXb&Me9*ax5pzwgR&ogxm9|zO4QC#BK(){;*w)8dAHi;uNs5@&4R+*NK~$Da)wby;+IH+irS)H^+&B=R~#->Cc^ ztVVIt>cPDg_p~GbfkoT*k)Sw#S6X?KhL`MrW13tM^h_ofsJvH!8@60YKJF?j!eZ6@ ziKXc6YT7Nud7^dSgQ?v9?MrPr?R3y>HAs`abW-}xl_;(5#o`io5wgVM1}1eVV{w>S z*q&ntlas&J!|_`K<7;vocId}$@x;Sco|k;SK-$j zc<4I_9}blOP(ZK0`gf?ZoWb-rA$}m5Y$5Czr`u@;-vo%2BPX`!r(i+rxw+pKRLEh9b zBV4tB$E)O?KX=+;X%YB!h`MN(wPm!bP~II5cJzqMq-H{c^apl%!2*^P7}0!C=?}0Y zBhD}^e#{u9i_W`w^N!iraesO^1#~@ne}$UODms^=`p%q$ZZ<2@jGFVUVbX~KYhd+b zk8S!kyuqAm(w!?A9D9pd(a~A{UM=U@Lv%fv2WuMNq^7Xk%_(yh+RtLh}&uz-5uA~4!0I8Kz-%G2g&sm!QB10He z|6MVUi|w%HoTD|SY34jb_jti~-qb3o4{Kt4+Idf6gLVfM2+=2eHfOF+p<#e1E0@;~?o!B|!paB75&A zL2Nnbyt=B6Iqobkh;9Jt)BW*%286gftjxj|IYh?}=ICY=r`o7{ZLE^?zaB$13KorYo=V32(JU2UUE zyAEEe&Yvax!csL+b(k{CKV0-HeH|@d)<7{JAFA$4F&$3N%U<}Ne@A;~udtd^tjBUu z!^iIbzFm6SwWj(zb3V&!6afPq8wBadv$xEJqPzBP%lN3*P@=RRrt9LE%tV%^I&3G& z59=d{1PAgQI<^9ol>4DvEN0#;LoUPyuiYEu;eO<2j) z>jFV=lZ0Pw*L@-(f27`51NJaJ=b#?~d5=lVbyff!3Dz5WZ&wIyzRzc>9h*hPY7ZK- zb|M>z#xdc1%h*3l$AJ@wQ+G^x7${PlL$`L_ePCz?hHbD-CW0+}6s%~0bx2kdE~Ruv zxFo`(e5~X0A-jCc)=bJE%4)$434dbXzHiSmxzc-@p~HJ*e}IZiQBs|Gl&7;_V;LVB zm$50sz*yeQ3i{9wE+DcX`wZI=*%-uN|1p#nVv!AFHFXL*P&3(V-J*9504#AzhVdU? z@ed1%ve4jmS{Z=jBywXmV*(ddnoUR4n{8SKm9pBuhY2M9vH(FvpA{XzmgOYx-@MRh zG;+lyq7t?Be|=M)FF>QN$zKR=*@KvA?U0jI&9FzMFL$4=NwdM%V2uILX1#`lK-|%Q zBF+oag|(1W(A$y@@0Nn+eJ{e{C^Dis*!-2g1x%idci?e8USm835EQMEVbr!p+nNs^ z+25;&i(`15w9N7f`>AN%RclXc^P%5jN=>OwMEpC(e`$1iDRc4L?5FPS6(o7T{6O`JOhh=m_AIJxvB7ZNSJwv!nU@Y~RK zR5YcI_F|u8njcmXC&9%HzH*Kx3F7UBAz1x<$A=4RXO68zS{2v8U$0)aox@D`85*8X zNPLX~fA@&`IOX)qvi5UCWsgVA!jU)6tgkpEp?C$#VsYAS`krjpq8sjzBwO6g_|Mz5 z=Ml56padN^N{v=IXD$q<{TL=3?~X3Zy9Lqknc#|CkDuzp{4w3&+sHGZwdlJHyT}wZ zskED8Ap+1v%j{EiM5}h!;wvNIByHJNy7UxZf6yy++AT^w(8-Ij-=&s^b?>4oq7-&~ zE(;|dYK)^stbMq1b_FK+s*|)D_J^f19)6Ce2p)1dz-rM03#L&|wp2Qu#tAqn0IjNq z4vtf)ZRVkurCIIT&-#9HsyrL~<&0=~6H_cbc4#sMb?rV&0IEK=23OQ8HekB$BEXY4 ze>s$dy4idZ9H4$vvS}`Q6P`7G=YV9Bz<_g2shpx7*&})VW4z-y97%#;AKyz0?=jlH zHaX7ffyX>w&upJtmEl~YomD!D>Fa2E8!@ir^;0G0cx29$*B5rrLP#k?7Olrs{t+(t zcpBm~a$y<80*{hb)e-1=wf$D8SRK&Ve>i1iF2&O>J7pybdlC5nS*&Oyd3{59prcqa z$NZoR2?CqPqXGX7@Y!jR+1+!WkOo{VxG%@ob<@FM)nXq8>1kF6jc08@QkU2Da26XY z0xmkn)4NgDzgo|K4~o(r%7wRTCls|38pE8`mO2=oqCK3I*5!d*VjQ*?wE8x~f8-sR zNp()pR$l^?G^5NIXu6x5g+)uMhiz}3VeSvrK#&yM`J*P0%tGM#8m%iIFE0)1Gq+p7 zo#rP*SjLJ$;+X(~`Z5SJ&X^<+RJmCRv^YNLJ))=jNI{gCr>fB2KDQpFMqI#X)U7O}N$Y4`6g_yS*66muD?W*pt* zxL^7i1otJar? zv;;stClxWbajAa~6)qvUr;4^tx6!TEh16+#6So*>{eJ=q5cTiTQplSsPUZ#Exk<~t z`?kI?j{`FW2e?gyPlR)Ff>ORX@JY%bx|)9`GtoZ0r&^cMIWu?Sl^(vdWI*4U=G;l- zc5Ftfy=j;Ff?lo58_J_wf1+D|>_eaa3AzN9)rLLU?u6u_5F8MLLdGN5^GnF~h)+eO zq}9Wqa35U*o>TR*bk=_)$eziFR$#ZED|&!c1F%7J#vsx#v}j@JXgE@kyBfA&A7BX%v(OW_($|BpUp-I&OX4^e>pN$Zpf$=oH+}^ zK-vZzF^t6#u}WZ1Eu%Bng{{r5s<3ttniL91nLGF>2`=95O6^KQ*e(9}Mt59?QhOG7 zDLzjNsC@zbkckufKHTP&l7+w}&>sJiLz zy@I;vrWBKF*%zc*e=%lHuO1cBftqVpw;}GN3Jx@o%xwmQ8fSF*Jt@7`O0p+VC|-8^ zZiAt2=4zx4arixS^D9X>Wh3BOu(l^ECz@p=2&0m=f43TnvTDmqXsv3JwHi|& zUCKD@ZsMA1U9XUYVaH~$oRq(R)_ck5qjk3PMTf7sf7P2)^52}n`s{1AP3+HP};+X^M>E4KdD-DnSIC#SLlGgbZv6&fA_ z3Miv7njI$2)Dw=-{Yi-nKXL0D>8o|=5$7d@m7scrwt@9%+>$5RSqFeH2<_@-w-(hV z-KHp2zVFhDpl~qCT}ulm{|oN*l2l&Pl5$=Y2%uMOf6K6mMz{p#f)2;e5xMPo{4)<2 z2vjdcB2jh7Aw^_l`b`s>nW${XLpTMr>yT#dnc2(v_pdzK+~WRi`}hPpV+Rq&*e>|^ z(#x~;U&G$=Du^+Fdf_A#Ja;yMUJ{zek~*SwX~e;NbGZf)?zo|vY`oTNU3q6FqU`V_ z%C@gzf2`XVR|{i2iQVgvAk9DIzJmlmFxD%ECp|FEfW(6v z(}#!idUNdwxKbwUsHnL5IB~`$5y=Q9_^EtXu+-ou6yn;kOZkSDoV%NlY=<|@X>7xD zK(lky7XfIy@{=;gO$YDLNNr>?{X?2?Af*J^ku@L*s5%Mn7$-RRnm`B2S;eq&tKzUh ze13*m0UAVyn)6&bwP@4SMY}W5v|3b>8kBVTR(UWq@_$_J&6+Hp{4V=af_3 z2pGY5$u_$R$70Wa3_Dz|v_wvfNa@QmrT9jODJ=6UcWVi9@i+14J!4~(AoMar0`H<7 z(QL{ED+L4{r|a(}YyzlV({w~sP~vO0e@lYi@y+J?Fe$!atE&g1R#4g~!=hGBPK4kR zrjF41qQfF3v2LF6^qacoxwAKE)JI%%cx>DzOV9zfx8B18??3VT2|bp}i-mb0=JVdD zhq|JYrsH|$|EFoGq=4i?M zYV7V z=IXBkTVLCnVHY$zm0U!&qQ%C=h(i`OTv8B<=M*1WqDOnu31%r4`Zr$JN}oMvr>hcu znf|62R>qtgK~D=K774v-R%g=n*28qD^MHw-=1iqs`!JsTKIHd5?Afah1(N+PM5!6ax87;Vm#k)9*K7U~+%VKCVs zZInI&?cF9}CF%a+9*f|Of3Z`D5gB~QZbg793W}7K4$BamfS!Y^Zfkpm66Sc{83Q^n z6>C{j0Nh1wqP9I~P(hqfDy7UjUpeE4Jhymg;D|1cB_kBU4YO2Qas^f#k#c)u)FAx^ z$fSz@w%gpE$mI5F;*KarloRPFVq+g4D1RbfcT9a^JBnf$J!>eQe;0#JQYItw+TYUe z)173g{H@UbCcd>GzE$Yqgk%Yxcn$dUWe`?ad$^-I0(XldY!U=-42CnOqqzCMhlCD0 z5V;U0SGe&_;JSwgwAc6bZ)L3a9qCU^nmZ>8*)UvBUGETK%aI_lYid^VQkj&i9k;ENKlljeAsfIM>0Fg~eM)j`%^s7+ej%J>LkRj!E+7tTd ztXVaX8SYIR|HyG0TuP8lEB8B4RmQxl>Zr^*{!*_s@hE>Qk3idM$OKa&%o;n3!qret zY#qyywHV-h?xAE|@q-)6b7Vsz7PUq@jS&K@)_Y0`H==ucf4eQ@%muKW^aBROJaVqK zFP!O?ck3?fx#K&bm!m$bAn|wF)tgA#k5qR!E!JvWb4fAH*Dm|VU5aM1>G3()$#!Jl z<3a_|KSO2_@uFggQ9%?mg|l`SBnc?B%ARRn-TGE$%Ew3<1Jsh|;p#xPi*43t9(Nu< zVe;jkR1#d@e{0e7zh7n>Cw%8m%0s}Q3~<=AU0mctU3-FH?E`CFB!h_@ z0EX}le2Q*5!mnkBa=gp7FHA8mJQu7T%+e5cq{vX~T|+ zy+lAJ^eR)n4!%;RTvunAwAq*FPoEIjoq}w&h@DK9N3_!ZF2(TSC>cG{V%C8~(6!_t z3or3xxd#N;S_#+={Ll zXYyOfsA;H~zpQ_G_ywH%2-1BiBn>GOWeI}9e`Z+}A8Lx-m_ad3(wPf>bZraUR96HQ zP2a&5#+5Z~Wcbr0eY1o3hR|Zx8arbj)WRiCMo?r_Vd3$;?DO8{$f1&I&p}Y|gnyRX zVaKe5h7p)>Cw4FBz&GQw#(f6_Wl6O37}SRdD~gQ{1qwx!#ST2p%SFDc#v zRA%3CwC|LKF$F(fnSvVE7${0Mf*#t$=b@?r!yNw;Q7-rXiO;<=n;&*I{ z=NFur(nSssZDVBTd)4rfMLK#6@@UpH{3TEpoC>?gtmBAQ9`~l0F+t-_hwa$#fBZ$X z<2l?qtqzP?^*|RNZDOW?K_vyY{H3c~UgPvqse`j{p${SW+dQoqqk|~((e(=NIy{T_ zKQV(eTuz_IwK!FG!bS!B#-AtESP?>NUCjc-sMW5)#1k9B5lJ|O1CP(=b!6Pw!+|f0 z=t#gSR5a)O9vB*U{B;X)0|hR#f8YPXT-QFn?&ABv(eLhh0SL}>V!%RCn>@_`lMoPX zXQniVTZk1n(Ic#BC@XZ)BE8~?nF^D{JpO*mT}Dpzb&9w5k-`-_re_)bF0^?1#-KrL zrUpq$Hsdc3Q}*?WJ&mS-<&PA>LR*hMpMYckB93NZ+W~*+1MOKTGlh+Qf5XmAqSJ(N zvGib|u!AZ@@1H$WrXgAX=lr>Vrq*jQ1r+@?Q;ZAjQqIuEawN~!dfyg3$nf(ahJiww z%eQ7XVfMDU`M~K7cQIuJ2@_#Yj%3E)?D%X&GdU{rIwh1G4R>paLYe}u`6P~H``Y}| zBbMQGNhuv31T87)jluZGe>cYHhP>o|j#0Ur$%j{b1EO&w>ZSWZ{j>b**qSMF$+J?mc-XXS6NP~{(5e@VbXGSla6o zK6_m>|9kn2x7%Ive?)Mox{epqZJ~}4TDXx=3qOebEbPC)=D;s zt%fsD!@HyM2Jw9P@@%zB8fB}08g|sgke0>zNlUlU zUMZZzx80P#W}zqdS3#tv85jkR-oxg@ydRaqL@^ZxUTwV2e_Wds1TiR4>QWGZuxEWc zt%6Lg&9X*4st=Hl0*aPZq%fVd&Y1CQ(bznu$0OVLWpW;f{Q;2_x#Onh-S*>UqRb5M zVm6V{(JusL7eRm=4i-1|vBB=K52obVXKUSCTZvviWA=wXdoGpM`+g02;FL_)v zxkSGpfd51e4|iWO6sxW6VRs##Uw7|D!adLS9Ex}DYGB8XD~lpw>PBrI3Sr4cN6178 z?=yXsQN|LVVeJ84|EEY!hi-Bz8pZ8Sb^T+bwmnKU{hz~|0yi66UO_9L&| zcavj4?9G9U*jNjm2VVi+r9xUGtY^PUkA14aHz_f2O0xa4@hUcSs^}H0Y)POnr z4q-sAHG3_jtb71PMf*C2<9m+JDzl0DQXUXCH3~0GWo~D5Xfhx-F*r4okvJ3tI5IRa zlYx#Yf4Buy(|sE^j)0V;gwg})4(aah2FWpCFt!P!yF;WqrCUI{kra>?0YQ+E?iNMf z>Fs?#&;9)W=e+OPIot31x%#?3*LOQ(q|?^pl(B``fD~a+1Sc;Sk0?M+L(hbl2f)L_ z&&9*Thr`II4@N*hf8#ieh9DPLFbpdCUm9{Qe;{iF5|g(^AQd%WP=Kl%1i;G=;1v|* z6%ys)0r2tgi2SVxa}fo|Tf2j80UBHYRTvcHio+-egL}Dv?Hv%vIDbC^Sb(emUJ(%? zj^E}08E23S7-$UzXjmg0K+edBKx+s<4+aE-5MKXs!6NQ}K)^-0xjj5QxU8LBxnM5# zf0C>m01q(20iX+V1-ZC`YyrPY254G4gZ`Apg~JHYcL2NoCD4P}Av~;IKma5F0Rur$ zSEPv>)E49dKt>1Xsi*_A;2`K<%Ibe9Z~*=^2f)k4`;WUn*1sHqp}&o-fk2ou+#2cy zhS~${zz`5XOHrK*;fde?SVL`pDOy8Ze_=>_Yj*pX|U; zTf1Ln*t)^F4WQuXZXgx;KRQSV=RcS|2muh_5fKy=;01u513;cY2ku`1^u6Gqf8WC2 zFtP?eA2f`6ZIczFS~U?2iu1F{E0asJ~S z34`qZIwR-r0`>%$@gV8P3*hh&f!e_UB7dce?9<;VyZ_+;%bx{d z1^nBWCJf135P;=BM1RI3zyn0S@%}&4{kO^gAIpDv`M(nVe=|~agFt@ES^iS^|H!SK z!4R)M8c624A&^_30YmNr^nX>2K!2^S2FMod=KQ}>6@)c%8)TsNNJew=e?H~ndHNR) zc2xv>f^4a|QppVUSilJpUs@E*a1Xd5gFrsrg$3LhjJN z<0?RbFxy|t#wQ>Muy%2=_QFBV8hH```0ygP(iY_To6G=iE+`CvGyx!M^aI$zTyTC3 z_9-ub8)*geu(g5wH8G_4f44*!zzqbu03jea#Le{|6qyG%2m<=Gfd62;LP+en8`#|% z0)isP|Bvo3+!O4IKq`Zg1O6N5L&miKbzOp7kY@iS5P1sVhQRE9vEkQc@i&YN=?sSc zcM^gCZZ|0S7aRXr|EniJHy0OV$lv5eHtg^7@7o9j@&o~K7Cyp&e`2AIZ$dk+Yh@@s zIKPfztgLoL#hVO73Lu!~UimnvV`eH%KbN(#t$sY3rafOCKK0R;lI`$%-1FJn?4adT z{j#b%6r{`@X`a3GEUv_P$|MzA`Zn4H90l`eNQafqBWAzQWC6@^Jw;8LzUC7zzV z*g2eO8O=&)`TI=4V0*$4zgwfdrd-eiE&umTZuKyMj}p1Pf6J#-mK$06-?;G}wa_$BaUGVe}~kh(?RjZotb<6y9v!I0+%0%4A~R}5p`;Fux?A%xZJpz0NuP?bnW&o zB{5TJk@-pbI75Dde0`!hef2GrbWLm%(J-078A5zwr^9mU*Pp5c-@lRwZjne44&?D) zoIJiKud^RVShxN_r}x`^i+CHCV{Sey3$?s1QwOV3e@$jp#M5|i(_Z|KZCR7)pktwr z%XzXt4FW8Q%lx0^*}eQ8d$D!ic$8->Qy*yxiAwIC4p_G=d{5nJIv7ip-ZQ!1*U6l+ z<*D3wbBTUTY%`)HIz%5@45@626KIqBJV+X4U^Zy2-f`Z7<-`+v=#eRfoKRS7^n-io)OBwfUF6a2sn0zVniS zb=MvG?`@eIJ*Sip)@a3uG^3%=A$Xy zgZu8faw+r0=-E2*4mjlaGt!nExkF^5*#w{rRIarxP%G*)JQgyEOKeq! zmA#!p5NnXqKAX_^+pV|RqE}0)W*xlTq(kE564VuI`R*=_ub#dO_=4ke}12* zX;Ej?%9q~DP!0)CdMLiE%^a&*IJy|%o-oTX$k0IVU{I-|7*RlU0XPS!b_(lBBWJ|HM9Y*ibrT>bD9x93_DZ_ zx9BEO*SnDT?96V*Ct}iqNZw)Te_VW{z$YVPO*Un8_oLrU&)`C?E1w;++?m(%TCL^K z>zUWm=0F?Mb2PJ0bQt?rH_hYo+cVE#?ZFmv49!e2U(Zg>iG(33aU0F9txTbze{Z?t*VZgp zGwJld_6J(youRH)9WG4PuaX6I>e1(m#cikjaI-+si^7o+IL#20l^|LyaEC5t=&xf{ zXT;S_bkK)QU6m7?b7PEg2Kf0zP7MxA=gp+Dzo5zl!Ki`&`<-kQfIJH6KLz2=R z2n7@Fv?ASmElV+Uciz{F#Onbp(6kTebl_LmZ{sPiT3rOMI^K#E*PEtpcMop3&(nxF z;d&9pk~JzPdcnmgr%%A zUyc^*YHu@aHn)o2b$(zS?u=DwVRT&wF&nf9|||+0D$o%)-PhAn=)p8 z=@G8;XjqNu4~qT*b$sE8p7Vv5z|phD2^h%&YE^WWx^nS{HnpYmv!-0u^b5@Ax$JX` zKohT&fwA`DysUdTf5es=?_+MQIHl_`c^(>K+)^^1XHV2kUX~;D%7%*wY^6Te8Iz(D zvxJz0g!NxJX&N<}^c*P8i*L*N)u-+_)i3s8uIL`He43rG;G1V8|H0WQ9gx?1wiCXo(tw zdvn~?m(*l?i1{$IAIhN2@C9wTh8=g!!!3FxK|kD*eY``=yj=4}-h7!y@jWrg?7myI zEE}zcvnMOjN@Z0LpcWr6y}6g_ zn-;vM)%#3Ce|=k{Fx9(hIg=S$ji|zktbeykKHnmnSL+7E*v{mxwrSI+K zM#vM+5{~A3+A{Bnc;9dTsvjx09KhX=@NY{PNDseX3ZrH_NE3+}beWh{d65rutT8xH zyCn8>%x~ku=D--cX1C$3{rKhtw@)PtBCmd=V~WNfbk(HI35A_^oOUvcPnvYDV1PLH zdAYCge`E55f@0Vd1fHbXMw}GEVpDz04p-eU%K!Y`-H&T$JQ9fYIG#Bp z$vzi-iB)`ix#eq}W-wI%#Rk0Rav+vw1QXLWe-Tx{i_1794vlJh>^1AjCRKrc{sBtK zr7f>oUV&3(<@;#I&jFPMSd>s6??)9%uc=pQpGP&v?OB%_>Fh9iht51!ebYK`TtrdO z%a2g;;_2@yv`-|F$vV+djGfwtw4Emcn|1P&Orm{X zts2{Ikg-}X>Y`y2v-g7O*?Sr4PpsI`!^?>W^|SgN$wYk_@r&x?EBLB=N2fa$^5C*t zvyx*`SMi*s7QSA(6Ov_vh#TK5l+-5}f8PWQL-*{a45D|RYX|vV{h0QZxQod|{+{U- z(DK#p!`ODs6gerSiS^s~n#6`f&2A5u3FN5dcq`%SSji_qBsUx^lyxzSn|PF3)0j3- zMHs-f!>w3GNjcm)%2SYv(9K?Li$>+5r}6;dI#7^z<7)@L0&RSBhMyj)M!*`Re{1X3 zQiJX+k9TFJ1NckVbVzr)WoZo0{TYr$6bjnN;vFS$UYJV(Dz|fdJnq+65(w~L6)PUv z&ve&6&5_O6-pJaQDXVF(%B85(EaCH8cdIYBe;ti=-(NmD?+)<1QewEvqYN$Ho#67zZykT|KDoK< z(b7bh;#fv9u(mEUAz0#Z^;XVP63^aNRLCv@Qv>1rw!$lx36=AKR7*_O}H=ab)Bv0e}-qBjJaD} z);YjcGI)fF&}=B~kA(2OA#8DyQ8ABTeWYax&UpY2!4rykr6k`RK{iz zOFfjp`~xVBLa_Gu2UGK~ulUONKvCLN7tIvKLG8o4-GvJFWFUTZV3T;hzZbLfzN>hK z!A_6}oX)ZfwN$6$)5QjJe~D(6Qp3^e{d7ru)Pb_G9!K+rhtM;AV@cI~Z>a_OgFp$* z>#%#BHc&k3mp;!Q*_g0M(k}?JZNKOm9&;-5;=hKiMPH*V0RqpWl-GOl;^aNnTCdHE z0&zPj<4N~yU->8`l8zMjz3>QHAYaWO;$k2*T-|b@KxAKfJ25ype=(Rp-K!x*KL*;h z)`!VkOnkOG7bD2|blnUr^nQY@VK2Mzgqe-(_PKGO{ypd^ zLY#6o#_5zBORAjDf0>*$cXYz;ytU>aWp%CK+Up6+dW{w1C!Y#R!cw{p9hz)z9wyfn z&(?FhE!j%;s#%v8M+z%PW{9az_F8IGFLeqTZW!K3kWhRHp39cnwUy=vvJ#r}S5Tzl z@6J-qqA;>)_$gEMQDp2C=ZeYM7Otk>A9jIvlGpN*INs(de-cp;c1HrkT&WQ$2TIIW zYjV$0+u*F|)vT8oKeH`qGl>dV>th;B;nAI%l)~3uPma=HW>sPBL%G5Tz zNsVjm%0oUa9w9@z7A8}f^al87N!OBk;8-pMi^HadHvOuCWO+F{P0_!uFo2n3hP5|LRk~ZufbB+M1^sHjaaiA zEB#Kr*v*n&N@}lr=jic|3pxLKsczMfcJ4$)e|kX!u38?+EezCi_9Zo)nNS{b`jMH+ zDT%$H6W5*PgAh-cs`=_%1>Jj(AA(w+x%^(_1|s%G0|bbU3k=sr%j?;zh>Dx5s(XG= z3q{u(xCUpw{#ZWfwe@wRKM7MmFGfz_hmwo^ngK>Xp}>2FxQMhECg0k)#_nh=|CG;4 ze-#_^!ntX?c=m0Ugx$Mvud^<`XC)o$Fd!`YP1N_J$IuDAgle!EG zUne%rcuJ!dX&-@JKCoTXTfRj=EFF`re_xdhm}R!Uq-Pvd^R?1Z^ZQcpZvE6vK0G@q z3g7RHDe$&mScL2LV`=-A4TZZbkUc=5n_UWbSfC`52_kZC+^Q`(3AI1RR#Ds%mFh(# z&&Olv8EB0I2k{;Gubm^LCJc<8XH=FDO{`wF%XgeB1^NPwK{_b6#r4|P0 zr_~1>+H{7V6{}!BP7zWa?*8Jh8ug&ST&elDL&Lk%wT<^^2=^T}(9EMtY>vCJZ+F^v zD=l~V#HX&uQU}@53HK3Hy%n`)6WMi<8U7cm(do*_~9r@)?Op+NJuHHv<}FcfEwDqZqEW1Xi>+LOuE{C!-X2qUqF@`J*OB=`FraeY1c5Q-r6^PGOKm3{Efc zbHolf$Cc%z<`ibd^wtDYh(U-Dkq{rw`pwNRk{2_iYlhLMIr& zb^p$IP5Y@v-|PVR5ySi_7=#*4uass$;rMc;5+l?r`WWHvIVAIlt8#%&mc{Lg>O!Bu8c3CX;(jMk^C59QJy=J=s z{(CXJir;opzUa~eqYxN)x^Be~*0rBJ%-k9#>D1^&_e{24XT*PYL&ooK$qeHiTtY48S z>|%1PgADnmi6k^0!H8K&ID=GyLxx|9M5ieX7Wk%GB!_t;=iVjJ6LjkswY>__y1kf6 zc*>^b{k@F~*mC9wOs+Ix`mwS!KR-bnx4$c~C-gAc((2W-dmzGXNN-SV7{u1EXW&Dse>4-bkFwjYsk7093kx>Dfr)`hy#+KM?OmOe zN?usz_E`coj458m9ZlHjOS@md<6N7rC@`JA`swVe$5Xv7T)wp`1iJhur0e+WQ7^hR zH2TZJ%q*~iwv8=fhU{@Xm=`w>4jz3EaHElx&SAWXB1NSuC<>IDy?}M0iG)4if9SYB zg^pX*VcsuU-@t_z(=Sncmgd)fuZ?rxf$}Nhq4sLO0dshv2i3$?3hq zv+8$l!xFJU9WW;S{eur!H_}h&qMxuIIeDE9O~oHwDCnRQGvcdwi?W_);mqw@cY|l3 z;};|5nzYKAB>o03ZgATYqHgc1e?BVNwr@4Rew6y*!20EzeDJ#5T$_+io5GIky@?OY z!-|_-PioXF9&);>kxIedaPHq)i9LDkqboMkA)a7I^5BS7*SbtPM|+v1t>N%wW|rMV z+aA1SAF^CTTimP|_{pMrYCO6%#H6V)WF2HWKU(>{6|Gj`q^Y%G>9fqYfBP$@2~_M> zo+th|)aX`VkL^W;BKcKjsZgk}M{$ryyxxg=j~UdYD%nd_yy=-ua0h^L-v`q^W|Mwa zj1%pxjqzaJ&1k4?*E~dNRXS~6IENg&Jy)mCWiC}_|C!P|+weEjtSy6G)aB{~eBbfk zE=Xl0*r=wl+M5njs7{`Qe?*IU*^&1&cd|AF9L~ggRSaT32)jc~Xtli&=33VE%x?mP z-_aJ4r5oyS*LZiF7n)-I@D$@492X?+9~uN27zXxL1& z&B%YILe1JAO~RGye`IP&gV#Ftgmve986{!u9lV}E)MPs>RVQ4{Io^R=5tYOyPNjy@ zKD#(E;xq9J+L898_f2~nbzAqPrsw!z1^aevy-s^D-q^?{xq?YT5$e-OCtw z7^K6feKMz#xm_~%BXVDWM>c2O} z&LW29OHD!@b-*b81+5E`4y+qdNnhDz;>JyX9pRil*wfP>ah=YBYbIHZ3J;@STHeogpm1FS`fT5)Bcr&=!3` z=#bluW$wl>pEy~MJHbpg`5nWZ75tH#8hp>CYNHQ*1_x>OuCd0f1rmJOIS>1aKEUZZ z(a^tPu7}i11%%0qv0fbZSakVwe_6+NT+4=w*EK51f9Bb7e8VCQS-&xcmK3607>oM1 zjCW%+`$d_02L=tNQ})E18c&`^4pCYJ4ZF-6vqt7;wRMy2lrGLo4a44Q-0Xvn-hU(G zRVyrPV8%6kdN;6bw^O~_;4Pzc^4cV){!__Pzxul0{{dNB1g8pRZe(+Ga%Ev{3T19& zZ(?c+x9&IrFGeaiFfueVG&UbmGVRU66C`39kFfueTFflhUGBh(Z zHkU_#0m1?{H|=|<+WUn-P{2;?#;F}7zNQZHKue5GR2N5- z9H(F3GfT=`iIy9+DPXUbv%9nB%p4AvR7^0*GBl1UZJ4x7E5~HUj15c%X02dKF_#&p zB=Z5&49hT}ER#Z+9?ce7G3D`VV8=3%;W}ed3C}cqYxvU=dw*oO#*l&$o2lR&)A$o! zGaZ=L()A36oG{ENm?VDjr-fq10TR|>3lrcRxU7ItDrOb1!eTJZ0Wp>UxC_2#m6SDW>MUS6-yDJ!fm){gU{&G5*7n6C#G=g=~ z<0nNmUCahWg@4FJ!*MYz^S$W<`zT;=K;$#^sfXn=tRw$4?blzU=L2|SFJ3TyfJns= zbP)`@>;hHOMM(Y9DnO~RB40~uMr7)~iG-Sdps-LMoAP(F>EN`OvyUM3>VWaH;$hA{ zE%7|bRQe88`#*3^F(d038INd%; zWjoz|C%=zY`MzY@%071TxR-V4Q(4JyU0a=SkCx1azHa8Uv+Ehg>wc^z)EeJc>F6iy zWNqK!S8A={r2fHm2sGEp+LmGby?s3r?&B#wAcyzDepn1 zZhdU65J`{lX3V2ddnCg$FDWDeX@nI4N7#+-$A=2Y2TdU`U>8d`<_D8e$bx_+^8z!2 z(B#J{?BEQ^mBze{^AI~k4a^~gKr>MKVb2U%f`1|eHu|DbJal4Y(^d+Aj*XFyl7}@A zh^pfqJt_e&##yolLTV6m>nUH_5N0D~GY=2SEW}vRlSPn^5G5gqvoQ{12C}6m8;OD> z0GU7(wwdXrjpCJL0aG1!mWaInhsgV6tZe)Y0k&8qvA{%$V*1| zScqA-v30c{2VFxOo{m3s1B56VpE)9v5sVP!6;OGwNJMyW;OJBmA&}IvP;aH1s-Xea zJd*6RB#M+wr(fR;X)r=8ZgpErN!M7C41YZ;12?gWH&PP3N4aG}#l%UfSgAJE#E}{5%cxkXvOj#O?V<@ zI1RgIys^c#jd$&0@u$Ex{%svj9G)Myw@b0NMAv&s2%@tl8%aOOUbL>{RJA^uRDamj z+4T&aNl?*Q^j9Y&8Eupl`*j<4{*;_O=#=oPs0Oq0Za$sWr-rxr7$YB!-@Lur|K;WJ z-Ulf#Fv@Q#X6hMx@es0O9otb98tDuL1xJzHYCuO3ynf(Bli$5A%9~qU2G`@X4UO$c z8a$lmqjIo2xfvA7G^6J@;I)fuEW!RIrmpUdD5C9bCJ)qh6XyL^wo z;;;D|{yTrm-|_eSgrD*=e$I0~;DhOSobw?P{h8nJTVC=%`G}8-s^Swq<#+t9n3dBZ zWKi)rzvo~11OLYVT8WR}CO*4=oV`9ji1G1Hhes~;jhE3M6P+M8MrR1dBhXwGdA1Fs zgWs->4=%yzWK+WNw%#OMWPksK(xb{<_Ds58@#i*@#0}H%E!a$*9nC38Gj}I?x7mIEk)tn0g3~4{C>N; zEhdeA#t_e>oD@*d6fIOlFH3RH*sFJJq;)r1RQ$`LsOIH#5_kBrn9hsg^(cQXh!<_I zUP^MTig8&(u8MnXU6l{K8s*h3ggU>S6$PJvo$^I1TK-oto2Gd-a+^G#9KCwKe@=Pc zAY8oBHOf`$hosqWPIH=@7-9+{@$GQjs$lP*9KCsc2#%+JY%JIr+lloW4WeJbB8#I~x?msb~87yBT#cf9coVnIy_`WSzTcSn^d-MBTS zXInCJI%PJ&9p5H(h0}%_4X2CidAuYe;{6c7LD(qQQMu|!K^-t z*06MBY;-Cc*#;)-U~$`HS$|}#q3MV?O%pv6mVuESFn)V5>qU7DOh>~~uBs*pj_cqF z+v8cUrK@;sN5xb<+f=pDQMQBTiTX$1v@80ky`W0m#OMM0hH($V&nT3JGm=H`zBq31}So;7j z49rdphVVdy2XMlBK9^tq-%ZX1fV~HV6d+K6swHkkQ{0Ga(GYhc6IbMXVT-o#g-4Wf zdpi^dMDSr}NgNT;(#~U17AGPQry>+*q9Uq9`fH1GN#gPUtBB~tRu@FkvxTInV)#ascE zDA#_f)(8qz@VK=X)f$#4pmgMB)lYX~?$Oq_LW;vR1mcQT3gy23W0cyyv_z5xm0C6q zt#jmK0sMZgL!GeU@WR6bnyB(MduYR|ocDMuox322|LXhm`A zmP?RYu;i)?sUAaPihN)G&zA05uxshQz^y&>NI67;z?DJJmg(=_urPdF5`QxYD_oll zw26J?6%XmP-*y*w4`UKhM)#d&1>Osnb$!I~pun|???X3_pkYyZuJ(~|wa`D9b{Yp? z9|_foEKA`6)yIDH2_7N*j4@Vt=BG6Tjq=R#qzXw$01QF~0DOiSs80L~#lgLGfk&Ar8$i=#+v42kFsaE{+uMfQNe)PgY@IB%e9mX&6)c9o^!dJB;9mMe+ zhQt7ptg-eO1jNXv(_9F~l%F za4q)TV;&V?xB&bB%qU4)WPx!xvh3QSJt1mv0lKpm4F|6Eb$)hSS9>z=1Vl%PIv@6Zl^?gQMt5E>m4n2ujcc0x=2>nB~iXEJs^+G zuJiX{x(c_~@f6%6H$>s(GP=-$l&kqBJ2^hSO3__%lWYn{iWW(T*6H=JUOGOTD)4UD z> z%*SO|eYs5X%!Ts}ytSh{4z(Yb&Rp)_r0ZsB)kOV?Lm8bTVpkkPVati7QP@lvbF&z_bPV|g)qyUCs$mxgZG$?xgD>WwzL*0Y>I(We)SkqK zITV^*8O_ek`@MPIx}90qN#hYy4j|@?`Kp*+?|;;n4vtnNs-b%Q-oe4jI>ebWm>=xS zFFFOe{#T_c|GDI}0lH}d_n`Rb9*_0Sc1HD@go}QI5rMdH7|a&ivg&`LYmj}{eMm%^Fj73KKve;USVU>QUQBWr*<^eqAIFI^C`@&l8SoUEK1EsP5NLO zjDHNd(p-IRy!YTZOc!(0@vM!_5bspO%?kILtu0M5l&bL`!E<&HPyoOF8k3Tt8@qb~xTWNG^XQ~m1j>MnXIT{-Vu$rJuz#C_X z;RePB`HX?FF=c%062+>m2BZBC7YB@}&mKLW9RY-U@HXDK@+b7-0V1-~8oCstKxVS< zKZ{r*EjKQKFcO50=7Gg?GYta-CbU!bI;NtfGqz`^zVi%1MSCz>4GH?NU+pVE04kZF z*$*Bi9Ipm}`-J0`aO$&!!_aQ~ftbuVgUrfXb=I?A&z}7YhskD9lW_|Zlc*9C12#7? zm(Y>{DSz!)O>f&U488YP_~>9Ts}G8#wswaB>tW~I+71ZN1u3v~#SX)M{^;0BH`?-G;6>(q}XGI6CfyV7Ib55X}|W?XpDcF9;m<19Lx&-x5LL$&7Qv_x(IHc0hCM7LoQ-B(rzeEtKz?-dp z6%YbY#1!C7mdrp`58^q6y({352dA~tN8B%qVyS-*s|`Eg*9>*I*rS%E@ysmB7%_ub zcbUb*UHbvcCse11*^*FDmB4K!b#_GN4Syo8ZTIc_tZ`EJ`@5u+npm_22rF?29_eJ% z|G=nxq(;RZqvB8p7xq;=Pe;y+2#X?uqXW#&&zs%Gc(C1PjjdbDbII~izqxe~I$8c@ z%kP%tW_0_!cj6gcic1yANWFgJI=?C|wpWGHQ%7di`)|wxIs&u*Q{w=R8VCM%i+>R< z(oGJ1Z}DYroW>fQa*(jE9wd1Bu7YE_3QpKnaH6h)r>=4o!^^Z?1;@-Tc>J@=(Ki-v zRTkrwb=8kuW~PR$?f$yiEzEZI-X_w9hCsEH&ZIT`MDrbrTh04`>kXlX(S z96`1=JpZx~bpRSVz01T5oqyg9x?*2M;qR4-*rBg^7v#KZdprJOD96 z7mx`+o&g|ZYXfwIrx3NZb9VrlnLE9&^Pfiml`%DdnVXxF?oW4sur<&DWNc^ykT-NP z2U@?cXl!T&P_Z=z0iE3cCj=Frxs#I}4ZUu4rue2vD{w!9p|P>8wVk1jJIKZiU<$GV0u&|W z7@XXk=m3T`CVvYx*3}@{(rH6s=FQVPbKpo;`bW7 zJ?(7m0H*I{0KGw`!1o_`Pe(%+Ai&AN8R+f#Z^i!-JTo)E1Z3<4Fanx^Y~cTi{w@ZZ z{>AU-?*MWGXfwUHA2WdIkI#Rfbl*G7#MZ{j{U7r`kC;(iL-ez_DDB@R|5qs@V(SL* zq-SLT(6g{J0e_g8*th_k?+@Pp8%N0y^miWr@|CtRwFUeU?2mlkH|jq*yZqe*RDVwh zHQ;}PDcHWZE)YQVPp9iJu`?OJe=+}m?)N`k{{OZ4A5s2aJN^G=B;jmj^{1ZdFN6Od zy`eS8%KdMP_ttfGdLILM+xKCx`M;(bz`tf!9%uq`wtxP=T4^W4_i+%mF?(-mdS*5T zCbqxiAV&$18_+}v}6#hf>7jXa>MgAc!0HfG{iIWAuDD@Aq0T^Ze zq4y}V|IoXi!hea23BaiI4>1E6KmSATF_r%zRsf^QKlC0`?Z3p$31Bq*hqwWZ#{VVu zKj{6I_(%W8&N7<(3*T1-{tMriHT@U9uWR-%e19*^{9pK<2k2k;o`~hY@V!>6e|GGB zS*t&e@4x!@p<=Z87rrNA`!9S?#O|Lu-ecLlPm1loGG~5I#^GQ1p3J|azn_=WzwkYP z%fIk_UtIq|miJWL{)O+Uxc>{^Q}Or{|EIrOS#nqe-0H`h%1&)Y!>T*%*EpYYH?3m> zx1w~yQx!5uW%;@u;1gVHP}he>hL_R$3BO1B%eVyWoRfz*p^5Vj6Ns_F)Tl3iMSjjL zaXHFB_cW5k5IQm$s92*;xvy8aG~d2F(j}ov>ftmuNHUFLKK6JZM6+AQ6iIW)D}UIH zFj>k8C5C7j5=gvrRPRd%N%gK)Z4z3_ga*sHFV6N&tv@@ zO4P&EdgIos#%)7aZphlU$h*p;!3v}$RqKkSC6 z5*t_t2N)~7OR0a<h(Q60kT*KN6x)H8MXvnPlhrTqS|4BTaVSx48bX83qlS^UVv+Fkm@ zZ$@vn`XA3l2-FML9tQ(PVSk!0HAsn1aKX2mvom|w4KELDzeqSL##09+6;hm;uw1se zMk#!&nvoK?5%az|hh55!AJ9rh?l@_zW48EG9cWgH4BgFa)YXy4@@N^r7jT9)G~_X-*%00N;wu zL;c`t-$wary_--!8YooLKm+dKl@gz<0b*$39;1#KO3xGtQHfb|WSxkOwalZ_i!w^c zIQJNBgEd4L4QA69f!;dAfI?q>8XSLQKBJvlM4S15a;(u*&oW|Xn2X>yLM*O=|*z{uqnfjjDO`!?vf&t{F2MJn*4JnZUL)c*aY(@b-N|g6}w3 z?oTJJ$lgJDp?^-hi<(~p+etb7F72Iy)=eM1d(d~MlBjD#xFA)OXEc-DvC;Xm92;3I zk`?tjHUisGDS8lN)w0`z*F6PhqZ#umYsy5eZP#{~#wjYj^X-Jp8r5^N(j$+bRA+8Ul>gAES@%g?1yKyhQ)sMe%b7wS-!CH;AFSp z5A$hBPI)rlzZt7b|RKQ9{)6^f~!tTvbUc_CDU7JhFVc5}#h78m? z$ncJX;3#A9mJMV&)mN{@8vhmrvoyw7!qMY18qRcSDUuL2_-b`3;F_?idC0dZr4?N} z2mw|`*>`M{#EwLjYuVOs(BmaS?An(ZO| zdaYsk%|e(a)4*&x^mBP#Jsef>9`C4s?Pnx4;vi8wqy3*ky!U;gVBEk1N(pVMNcgYM z!4Gi{#e(BF(GFk{Cutq+`q$OLFlf`Jim)21li*vWxuwnzOe=Ts(Uyz})s!{tH;6x` zOMf4le$B)A*U_)ZX{moHH#%n1%+VfWavrn55)hxYtoN%Y(H!WJi|cB>&mW3cORc@l z+ycmlT0N>t5e(Z*zq)7k1Jwox-<}D#;b9&P?B3e}X! zcuA7K)R={uLKqmi!Fh+Kq(2-^NO&ZX7k_v8sm(LWf=}d#rac`ow!4_=KQQr@cX~rdbfTkrL z#S4dP0?{tR*jlyUtZm;NCnlcLx2B; zBnp=(=SZdxUW%H);qz@=6X9p}+X7!z93wezMuBm5OY~!$JO0nEUlm_DvDlx($nbfR zf75+c)5nri5{z#e8o^c&t=?6Uzx@R|`-QY9kc^BrIB^%YgSd0SO7q)-OrtMb?2v0e zlKgVU>oSL=MIvHtWGtff74KkCE`O0%-xuEGbBc^Kd2@S8pVlzdJPww%vi&~BU4e`? zPJ)l=94Z7iT}lNEW*{C@a({vyA@TymfVN7 z38!y)#1Lm{apR&PVW|XlT0hZeiCVhl8MW|1m{U!ZsRv(Be zj;!K@RHSCie*9B(Lnt!9c7Ppq$W2b{XSZ-#M6>V9fI>0hq%tf(F7hPHbkJ>=MT{yX zV9X}3esL~q3A7wtJ~34m<%ra`&=DQD`N-g~3R??7bS17`Mh{W>(tmP%gS;PD>hIB+ zvJ>l24TW;JK22UEQjQ=8&KME5$I~i;bpx1N{Y~j7iJvn)&g{&=r0Zzl51(+I?3K}; zNL7c$mb+F$b#N|H|3Z&u+3~F{XE4RGXyf|nn=Dbab>xcBs(zvHr`_K@U)pDS&|&Gw zm4R^9vtrs1Rna}sc7Hyj=hf%o2+*3#iNY^j*1{eOH+xx-CS3}=q}%B}IM7oGrCoMw z9k;0;TX97ti;?{j6()0QWBS*;cmc97ryQs~!fSW4Lk0%hT^2ly2;kUYUm9Zl-d@#; zDQF%!@O9>|nniXu5*Oq7MhOz_F*_@W=SwN>+ z(ZJ}rF&(0kFTV!A>u}=5 ztCztu)wnj)>Ygd4AdIR6YtdH}HjVc5CqXO0!k5-pJ8}T!1*%~QN+Y>=d4hygv^5y@ z8un@-D^#V^nt$>RDAS6ZiNej2CUWNJm zA+=>qW*Z2O%V;M4UdT}o``%6RjUhe+7Uc*>@h&9eOXR6V&6WhF>T<^<5*@kWSs4MC` z*)&LpPMxLZ-hdx(n@`F>TLYJbjdlkUY&*f@iP`F!EYn}2;~$~x%I4ZMplLR!2xK(NHy2SJ?^S7{#Nz<`W*x_d7M-5PI<`yq(}g+i$8yn=9Sy+choS z&z&quT>=%yvTpXQeMRd(^qoowt1=JbCcUOKet%PhF%^vQ?~2C@)wCxuoU!PwJ2VvW zY2#8aNtx$K^yVy!1J?3SsIe zI(9IEr{-))gmnj@C?<&aR-{^;My{IcNE#S@xHTl=D$Hmhr&_%n)>C7}sIkvzoV_{Q zx_=UdBCU9H>5go@v3NxTixy1FeOw+DCY)*6WoIaLv*dl+yGn4#i^U_OhtbgKngwIY=o{-bdlpL|SC=^VR((JP>1~)^- z#f#{hf7$qUV*FTZO+``_>YUx4S)sxQS9jgD zIi0L!M;3eQ(^tV9hWR4d=EqxJ&zl?7HnsrNke=M$*b;@WXS1m5&|Q{C>-{F{Zr`QN z#rcN?nJg=~)nrITp^)jXhXdMhwW;vG5{#W++}qTY z{Vmra;@;m#nnuF$D}MTShXi?bXe!O-sdo-g9eAux9a?+3bjI{4IML*eU1S)ef{CTq zjo~FA=<_;R&aTpDW*@QPU=_x51*ef28GcZ9#hHfyEJ% z@N4thlW?P1h-BhV1(l%)<3X0$=l0(Y=nNq%Tb#c{WAsEt@-`y(Yccs(9O9-7QZ6yG ztn90(Saesq(-naD*|PgdOn(i8$ATr(cFZYv7YKUMX_v^DAJGhyd{o|u`DIt$1jQeA zW$`mJDH~|7!V4U9$XVdXwSPx3y3N_Kc7YvjYN_Q{+6O{4(SRG|IRMJ;gb}I|)wl+S z25jSK>>LpZ9+1R~Zmld!jD&1H(_W47D#u6JR5rI@(pOt|0Zuw$s8@oC$tlETX4nkmE3$8j%FOi5IM zO;)FQ<#Jb0oa{o`X8JCf^l-zHY$f+PK}aR<(Mtw_`t4du2NE9|)0-}7+C@!JjE~xH zH04aUF!QDGH2K?kLgnV_f#l>6+V?~#u$Bx}@_lLf+YR?fuzw6LEH*}YLa*AEZn9i{ z0}i}FC~&BFCnStIxpo&zTIhzc z)+p8|OE8Kwd`t0irACuBSVyVq0~s2684fyj(lf|ptAE;&vJMLiQSQ16b)H~t&IB+* zLkENRq}Vdv#yU;mA-EwVU)|7-VbO3lpGi&V-+$)2#$k4GRP<{LRQ=GfWciCd)kM?r zF-0n-F3`kM!;W*u-d%Z`Z-{8a4T1lfKFcKx@>y~M)4Nuy?bO3KefGL$f}R=#eqpUX zw?Xt}2zK7Ye#Xy93I_;QbUA)K>CRg$z{dPZ|a zqUzQnx)1qVVQDDG{8c$CxO{v=TZoydefz+}~OR@?Z~kx#wd6|8cIc{=GXpO}U?RsuKhGL^oxZ>iw{ z&41U!mOXH|Xt|=nq!I#E+&A%Qgt8AaU>x+_ zse#0Q&i2})SR?R!Y!t*Z1g+6QdkL8;+keo}{XC}%>AF|uXdkLt*<~KU;jnmkDVIpe zqoEbi-;o{<*fJ|GY?3n(hzbt{mxakh5_)3&rE{vHz{8bafc41?@}PJPR!wk~dV5yc zh+^t#(Kf2ZFKu5Sf&*!*f5?YA4NfruzM^bM)0O=vBkAadmt}e>6%d!45ocAVqJK*g zp>;ixXz1p94gr(=jV+nE-IVG9MgQf_2YTf^DuE)J@khAn(&J$k_Av8~{j+v2X$E%Z z?*^Zh3hw3ts0}X4Qa^tlYCfQPhPh))WXDNv&?^aC4GO@NU#qbVBZOs_q%jcusVpI1 zinQM6_xfwhY%Au_uE%t74crFe6@RRYeUKT&q_VIr{zSI_2whta-o4cxu2H0?nY>Tv z6K>cD#{r4P(K`Hi+@tu%=0WMUGmd+@Cu!C1<%?b4+I}x}0uQ$L(x(2-Qkl9W(?CkS^?mIgX=7d^a%-x^kaGn9gYKn`KXu zf77-I2>==B7j4UDV)tJ~ajS7rAXD-O{j5e%&jzP-d~lU%Ka#uj*`|mUr7xO=tiisz z`#&7!?Hgh&dD-M9QVTGrX@7uMJ>Bma`{|E1 za*#;A_mR~UQu(SLT=-lO-Or(O*c$dtBaW%5gkQlKM!)ad?tirViH*>!XCvzId>f<_ zB@dk>G!a0{N6bLAtUGz_8i?i+^kXrOiu}zy*r5HfHs z$C0sLN*t@xW1PMKkR!XHg|J9W=U1!xUBsc2$xcJJ-=9T3P_G4b#-;PIVCev}im}(t zxaurj28#^2x@&&3TIZ4U65qp^p48G$x{=?r*BAlKmj;z3mVW|4*Lz}0Xc~G7*S;G$ zODfQ)EHNcONyC!EBvHu;c=dJ;SIi-db$0MZV>~QVt(=UuAM4}6o+YZJ&tAqmt(Tv& zT3RM)Fvy}r+9uw{_0OVn=N;x+Z*Us6^5Z-?X@5!59)?UV1~r~p^cmzrzY<>Ef5K7$ z5f8kf`3&gHp=XC2VHfFZm4L#eS{58 zCVdvWEYH$zn>G43MTUgg)F{_5JM9*59KP%P;c^3A-HTHEJShBoI?-4e||`& z>%a2-ZQ@G`*;kMAsqSZ8Vcl4a%dt7=ZF>NA7uqmNSPGj;3GJkP&FtZrjnDObJ0GY4 z@8bw&5q~3#+6-cTAaQUal^^tbc+KCwB6Y9%agLE)`f~840%xT86N0Lo860EODj-CO z1Ky;q0_98Eo{phMC`>Ij{hjIrsHf1$?wnM2##$rFSjaTdmO9RI(^XYLiVuHZ4H>&a z{4&J=O`|8)JkOS~@7y@nuENrp5Ys}97^}=DO@HR9DNc4Ae}nh59hV^t?~uz{+BKxm zpu%XN`d*?W*6FY&g_9niS~T3RQKeStn+j-o42D~K5!1QR3w-K}n`8H(<9S&knXkH+ z;HP1BF+wuF#XL<+a)P?io_AFo|2u zi+`A!;M~&1=}SqOCNGJUv?+(LD?%5jZyH#?kLG5^u?ZH{E=>LC056ZbX`eFB!P>T9 zp*Lm6^)_HxylTUACkv}6Eh3sNjv!4fy=DsXXQmif{!DXf*kgNv=-5&TYrs|;WV0{}7Yf4djEmq;e>Qkq!;IBy1(#WXW`j*{#u}0UgtT!Qx=9T^uBO#v? z6R$VTO;sP^?1dC$W;HaNjZOqw>D%sb^}SA9d)EsxI4A>EZj*IHVSH-D_I zE>=lH99=gfc;o9MOx0SOwX}lVjH0u=2aKFX$yKkAC^bfsS^K(Sw|meXWN2n4F5H0z60Em9H>&(1?k;w z=Ah2=I(b{fnGKU@M#M`#_FrEFBh)`8K7?x;Jo;Rzc1Fbm#n z_bU~P%NZFbH6=JDj(=d9M$kV8a#(}bjR0owipVrw{bN3(;UnDeo*_?&5Q|ZZnR7q# zQvg5)9lo@lu8B|bBL#DU==Ra}Ib<6FAbziBzO{~sHd8jtK^Zx0`>=Y4jh2>jKHk6-@{CAQcYpBW#Uxk5&eJqI@ePq~ z7%($f=r-xpqe-~z*A(&LcUMzeKI3m#RER$ONLs)O?Hjhef_Sdm!d?Gu>%|nb%&Ad9 z7cbs0ox&Cq9Q5-BYf)hE?Hj3QTe`Qymzhs{+9>H9F7Sql!b1~Otdv|WA{yJ$_S6m^ zD-tee9(G3yB7X$E#qHlj(LpEpNXbevmNT)@Xq-yOFBo|GhTB)=2<%a4*k?0wUpYR^ z+v}1_$}Vp&GRpPY`+SC?vo9s5>`J9||B5n@!|n+8!^gxW*8Xcri{pkVoTms}lbFsKYwPWXPY>I82F@iQHnA4nyEh2 zB=}{|@x3O4r}Vfwb^6>V77+4YK;Ev#$0n5U0=nDqPcrC<3N!viQHh735A^U^H`;=zK~UFZQ~hqm z#oZ|l@@8u7P`dYRCHHUf(fQQ2iH$UH-12ooN#x}jZa7`mf|$i-l|N|Os!Xebo(|s* z-p#O#T# zrn$tfq6J;y?>6lo(*^saDX$5QdshlJmq4EMDN${oOCQ3- z^sJWMX)Si?w8|&CLU3ReO$f>Fv=~-kyIH+`38Rh{z^ieSV#o~T?gGeOS`ri4=` zRRQ!-=rX2Wikl?fA^0tc4I!5_KIJhVIW})CXmeBen5Wn(EJUFpZ7`{MD!RSg`oyR% zsJsgFU2YUjQcj)fjv{irM)tGKBN}P)GVc@ucLE_Ei~*M2|1ky0kLO=-ityzO;+nGxHcB0&t{5e)qg#yw-Oh( z1V(+^Ln*Q2(5G#@fi2QPo4wzUgVXt@5fB)!3L>Sbt;5`6HV;H_JUqqce`03n*o7Vx zEasx;PdFKwV~X8O++6RR(k6ZUQl8G!85|?3-B`e#(e*r1(1Kep|Na|AAN#h% z0iZo&026N9@6Dv)XeCm*Q-4#hMMaKLFqf`H+<)-Ee6hTqU#73he$9J(1sD9{GcL@X zhx-(rQv1RTM-fL(hVGRK{l&`F3?F%`#!f8lglGZ7;=^yJ2YiA9+*&BLN#H=ag)i#q zzfc4Es?`B)CKmm0+j@FT6K!tmo(SEbO<(AW|1qqbIFwBMvG^1C7`no(3elo!-2MDIM15eWN` zL|COQe&Ux|5Pw-KrW>R3zxRsFhaeBx`$^kyd7*&B#IeGx7yANRd=|U1Ho&H_{wYgx zryH*3n7vmT(x-E|lS(@tJw28wR4#grx{k|N?sm`z(lsrkkvRYEXQRImSdxG${Lrbe za8p8n0##SWi-F`0-+6F<`N13ztpOwDzOk&K>*zrL1%EtmHI>Bpk=hgdHJuf(<_Dv% zAJ@4T6IXVo3nnaZr@)nDC)D{t$QTna7~JBN5Rso6?;_0uf|W@Uz4kI7163b9BLc4T zlr+DJQ~*Ax&e_;_v0ao=W|PQ5b$`QyB7lCi?u<}7TwS7P2fi5rm!S#AFg3XA!BTrd zfX=v&dwiuc%`UMzd@4R0&r9%9&%cTWrKq*j1mp1~7O zfI1@&#(%o%cS1eK1a%okcB*7AXG zSC1GU1zp*25oudtY-+Vod;h#(U&-hTM}O4o3iO%-=PyTnAl%#3%!7v*k5|{1j7U5P zOq@;aq&T5?*r#%AtRydR5Kkn{BaIqNif%_^=B~tXyje@uB$zF_nPo*<=x)32hPL~9 zQ+GPU@~KyDp2=F@%r){v*u3G)g65Ni&hP|5ja3f%k1}cKy#Vw_yU6jr^)?BgwSO59 zn8+Trvd>l|M=G}>pX+BU|E9vz*N;@2x&4ciIK6M39IYN_wb%g?rEyU!VU(^#XJ?N-JOC*v$$pn!0^n2y_*E9otO-)rXmF{JAW5b z_=Ty2&m2O*&###8;TX8LiJ|wcc`kE4P^o^q79tOubN5r@wMzU153F$Cg`J;NSp8?} zGNVWhOGk0{#v26YvYz|OB7b(dREOdU&&OcZ9YKK$X02lDrTbvP8va+P)DuiAw|v-d z4X|pNrvbHQOFBicGY|{dL&|AcCo3Pr#n!am8u!3F6{jtujuu{2s3#fA26r0HhcJE5 zU!gGwj;~o~f5hR#zY@gsyH~7rrz#`Z>C^g8o$m|>MtNrW$Rstuwts*I%y7q`%Xwj9 zx+S6#YTUkU@cyXsL$vH8BW+TSCbjN9*8+4f$U1zTPcAxb_RzyIu0U>?6GhS z;omxCd)|^;3>TPuE|xZ=oL@WvHLj;dB++v|VC30Bid|arB2e<4fB0=A>(%(SLQWog z^fd2Q(&SP_;A~?cSbug)cQvaUx8!^>0R1>v_^P1sy??3(<-DVpCqrf<_vc0W(gXfr zOPUMS{YnrTp=p~je9_XsuBB<^Msd~hQo0C#g)QbeIn5)sZz#X)%sNpQ_myT zG(L1S4xMQ3tuGP>kF;pP6$kh^2f}YQwFkv0j|vC}eeSxVp??ZifcKP{Uf9My7t-nl z?PERI+TtV=YN9dz@>(W3w{(9qNQmth7Hyy?+>s7VOF*H?CL?9w_g%0v_G$RNanCPR z3P=!~oUHb_+i$&FhczDD9M^Ig0bKdY2g^kkxaj%Iv??ki;dANgMv?9Y&Pa0pw?Bzp zV(@hjqMNevIe+5A+UF=uW~SfYn*!4pDMXm?-co9pVloej(qv=2m!=Lp(E5#I!SN5r zVtkVZ5VYCT11QT`Shbz|B5PMfe0^@wEU#&C>nv*pMO(AFWCd-Vb~wD^ng0QnVf%D>{_Q{fw)RaV*JYc zC4uO8R;f54UGvv^r>z0U&80g@V_K^HsJF={v=BX?mJ|*sIdQk9d&i~9Px)G_L`_mvX;WzR+8Qd_Bsbnnt!Hk5<5PM${4U;WFm0p zbaKVtyuR_;+1pe7!7GNqB{2OfDABS}wl_A($f8^unG%b2E)HTe6|f$-hm*yT ztygstBg4Z{n6E)T7AqjDjFfK94+oCDW`Ffr&Px63x%NCmO!P!n{YiDx(bI(PCw;-< zQtIsauDU}gD?nPQvs8^|{^hc;;bW3ud#YBhgXV4e;hF0XbZ+}W(tDhC<6GWiRFB)@ zf@UPy(x3Q4s3fn>G<6il3EwD#z+d3(Q7ju(VvB&n>bMQ%i$(2{M#p5{BPu8%{(qR5 zBpQ}5Qxp9QFE2gmvsb?h%wN0MeQM(9$znWKQm^Uhya1X*ok!ubJ@l*O5{jg1I$!n-(9nLZv6bd=q?&}&NSoIvLiINh!%uunh5AFaBMOg8yK|49&JLp}A7>ks;Wx#i zne$?2T6aD1Y|{@*`pa&bA55fwo136ksH&c&-{^)FIC2d;SER~j&>S#f>VE*WTGlS> z5FQ+CjbN;K#G@V%l$6P8!o44MYBW82(@2%fCPPB8W0QXqkOZIi6239HeJHCE9g{{x zJJrI`Y;VyNz-d&bE9*JUD1G~>G)}%n1TyokoIL(`fBZstsNYD zdkGRp@SbVkF2&&O3bW>@W`BMoY~fcr3q}36=2z}1ylj>4QEVwc+wr+deY=E~&$PVb zy6mZ28U>k$(8tu50vb!oe_A?SMfJx+tk@ynC5P}*G@ra* zggK`pSpkEADJzLsP=8WCp9u5lz{GzGcOcK2B+d_Y#*4eTO$vBzBb%~{siE*#2ebAi zdh)2RGHtpAE(~iIRxC*EiWMZ=UW)WN-xp1;q5e>@80S?&@#9pA!zldeY$j8FK`6p& zr0w#h;p2B$+hOS=CK`Jfr54U2LM3*v%@zM#cw`LXRxjs!W*eZKUr-WR zg$*ai_Re(7G!w^`VY)_8F*>dSIb&O|5AYDDQ@yYVHu`-_yu8j~q?AtI+i#y_{ILsU zdIe^Q??~-y+qyi^)ON0K!ftu_)QaP!SGC+lW=8n(#lb0SIBVsO&RvPrKmSrxbe8=c zeeb-P{qfDMC3$3Ss6T(X;(PObaD({Bw$^dy!=Wbu6gbh%Q64Uyn-JM^L)fw~NGt`6 zNF4=y75=v>z$^sW87FL71>gIV(%}VI$T^h$I)ivG6lB<&dDB^5qseKpK*Y~Am#OE7 zgXAjrZyS@NA)P&1ayo&Q$#2APj`LPk#Au$M5q3{)5$_Kh_%(m%Xsj_(wi-hDWMRH+ zb?aR<8`hh@*2}_&w-2maJ!;B$oN>+V-HY3$>rUVl$umj|;xQ>5OM;VS{l31iFTq4| z8mt2!VAmus!S2Wzpu?34&Bx<1XiLod2G`=h4Ik?@R)ljeEv{Dz>vNTFjtmbMq+d`453#x#VrwNcG!r-Tr~;sA=U#h%LVJO|5P}+ z@r6*4{t&h=+JQ%L)z+w?TsCAH<4IWH{fiMb)8Omv1#L#VKwEWxWe&z+0xp(QEy%`( zV;0RWYB7U-i>dxo`)U&6k_>(uE2k%6^BWE(g_S=qtkI_ilDuyE6y3F<@B%$r&Yg{1 z@?U!ReCUZ*ad3EXY%1Siek8`iQg33rud|BV^B+s->`leh{y+PMU(l0rI}@{Ll4&0i zGB_{_FHB`_XLM*XATc;HG?O106$LRlH90qvz!E2ajI{+&9O$|&in}B@1Zmve-QC@t z#%bK$3GVLh1cE~dZoypx1oz+)B`&Ish9_70v- zRu+~nZ(;uDD}c(B8o$U~K2iVDDrhKurg5w{o$61gHR=flh8fGr;eH0Sd-;z`rYFKp+RG zSz0;&EmyTScX2m%0s`IywpOMt1KAR(*_Fn%lWKjk@_I$1fmI5Rj~+5Rq(@i)y|m&HM5qV{%nK#+?w z!teaVtek+RZ*BKv{Cl!CAbWR^_kV!770Ar|cM)c;4vgv`D@RwLwAg=4-b4t0WEMad z06P;C6DKz-0O$w+dYD=={-#&+bO8Q;rDXmseyhOO+ri!eVE$GF(AUZw`1TLM+u7I+ z2yk(71^RmbTk+orfteX#W@YLEFacUvfe`+%zlnk7f8)2|J6U-EbeZ0Ej~T%9`|qD` z`fuxHW)HIU{A2#td>K`hR3yYyX#cMGADxJZy$8UXo{b4W&%(|GVE(;ioNr%$eE*w9 z$=K>YY5dDq8f0z{;Ql+?w>JGx#%}*v0IL5S2Q}coxfJZ*wiXDW`m^MEOzcdiZy(J6 z&#V5I%m3eo|7Q8WE&2aWNW#_D_AfQnU;6)#+Sty@*7H9GZ%gay@^%37_HSnZ`roFS zz`u`H9%yFeYWKgj(k{kthae1pvatQ9jaJSQRvthzB`X(G%fGkfZ@K#KE3>r%0hR2X zt$sf%0Q$Gl{4d?xX_?x*Jsr+(EBTiS_;xw}9a0=*YH#-Y#8}ul0LD&E#-0doLw-Z- z0B`2ETQmcD{I$dYMh1|*%bN?}tvp|VxxEv@?}>7-0~m#Wi~dHO07lV&e-I}tfKmDn zdb5=MgE#<;a{nMMCIF+-AH)n`RQ`kBSXBQ+cmq}zcE*3yYyd{JKj=-b@eksDOXrUz zHy41>u>1xFUsF~dsnA_ z`M;T1{0qM2X!$SrHWI6U!MAqV{0qL7`0rHS>bLs?-<}A@KgF}Zxq{vn?qB-1V(kAk z=gryvztnH3I{Z<;kvY8mj)4Aa6l~1@k^c7}*xnlF@OJt3e_G3b_Ex5Yt*i4t0@k;9 zj;{7^clckf%*<~M_*Z+F-x~18iT%yV8E9wq-*aXEZ3A=z{!8*k;{5iy{uBMJcxPK< z=YMsU`7OskVc(uDMi)yb;J+sIR$epM^Z=S7EHBub@`hM9gmm7268_*$ zzdOM{OTMd_PEGH?-foamXS*RnE}Is7LDsmd%kDnB>gkkifXm6Ts1+{q#VcySbf3%bR>9 zl1ZRN@I8rPE%DabWQl#4_gb%3V{z`rCBxOhA%MI=8=I!^7CA_j!Cv$(FIgL0@@V5L zA<9FhOIxFVf5&jZl2vD=5(R4Mt9Kh)?qc4_PXUBbei%gGNvf}C!7y|pQN*n4FpNTX zsb{qT5*&1yi>!CvYV?>}r{S+~&wPFb%pq%A9tX7cc>ij2Tpt-7q`wPGYrh|98Qt#j z)hrVn5X84|XQmOi)QwzQ<;fyQgRXQLhv?P>N@Ki#qg!!H;d+8L4(0O>x)6E9WByUh z#H7Oo-3LB~f5x8ga}n!X)AUoJYjf`XqOCice(-BBhr+AL*R-EMi*YSk#f`GVs0y;g zdp;I?kE2xPZ2&gS1y?fu+^oT35UcPcl1u!-zH~7}R>CGN*|)n`I})iEW_+9Y+w?Y>w{4AH8C!oVfR{Zw1JX8uf_QN|AoFU2pDH@?#XPe0ySlq@;|hL# z*4!X)<79XYN`w^l3o8?bz{H6ZptyoE`@38TEyn9YQm*w6uNs`lxx|ap2y!f7*!8-( zneVT+OZ=&cqs>FLg5XRK-bcZKZS&1jVhlILrCz9@E3t|f5Qot7)W4^EzxgsHj3R?t z#{j+D-ykY80Vd;82}aT9%?T6FQI9}>8mKYVH`RSSzaTaLA?YfLv0@ZOV$s5#M1nmz z&iz6)g3PDxHPBv}Z(@HU4H0qL$gi0%hme`6!Urznm9OK_?!2+(VJZ9jh~>}k`5_xM zhXHU+O`kqx369_z30`rg9%CUIj^#t^rgU9#c_{I*G0ziR@w-gkOM$JRBJ*;8WVE&V zI?1{+AF}?+R2Kz*O=bs8De^!sa@F)J_t%N?4Z;2**<>tJYMgJAcUyWtE%ID{YA6INwqqyz zuYZAH)Q;W1B<*#Q<(nz!iMD1HPpl~3E=&rQXtH<^9dJ1k%bCs8Zhx>p_S<3BV2mCX z;TNjEemo^+O6<`tu=jc(JAIhC8ww!rulYJXg6Y2XeTzlkzOruvP;2-sC~f%-)%Bo2 z#O_Q22Aije83k@B)eNqGV%U@8E~tCuJAgm}xjY0%4#ci{=}u8We?0rCE?3g)zMT6A zhkuwdaffQ`xl{VdQsJ?2!Fxv$4SUy!ts#Atrgmt*^dTuGdzfQL{+m|9hTM2>NfuM+Ew9lcUC zSGZ{7F2|O)*85vGA{A--k`^>b0w$3JE($CiEQHHjWywDAeNVp{Hr0-y=1&L{;TL~d zAA5O3L-d8&G|l%LFZc;xkUe+g4_-L}s`Bd%zT6qRTFG(_SwMeu$1HK^mE z)>MaAt#IiI&I7-fovWZ>wPKZg>5zySf~@?al*4fFMGk5@z~dgO6vt3^LQ5m!J@(Mm zwQ_zPvYOKCjazX30|IcAF45s-1uxji-!kd3HOUq0B0eO4+KATH8xQUdsC>5&ZzyDr z&B2N%wV`C}HtmJ0K8|VlDQ_HOP^XHSkfw5HC9eGVpN{icOb%vhcgdO5??fvBJWCIHPW1N&eqwYzry&o9?xD7aJ*; zC%`mUrgnoVx(k^CWdSd^n3;@L@K(z+uJ9(gc)g+sTtod{!crykd92_Fo(z||`5tXQ z)?Ju|U27_HkQ{_38Fbl-RF_yx+>>cd0WKBAX9_?(97}w$v4(ZT0g?=2Lcg6VURq8E zy<&HN4_q|uACd?L>+IsS<7)>=m}vNUhHGu9l1+D8KMw<_2!)YsThOP^n2pxBTp6xh zY0tKoNgl5Rcz@FQdyOD|2wW>_N^U2usL+xLq13XK)hX{z!%iYSk945oLbtcd0ZJ zBE2i;0-Lf?2%n3R{REyr%UjfaG?!!>DDg-IgSZr}a1~h!&bzr)V)jzq`|A`uvF6>= z22E!q-(YD$%Ju+y2zn)?b9X5>Uz21UvZ%OGsK#NT<>r@>esWCZqzQ=@UcAmW%N^T(%f-w(9 z$~GX-To0vSVRJ{Tu=PURBb#HBUD{UAY8xn`w?brExaV4wiFH8U)dHwrEeQzcjXtk5pY8CM5KtCF#B zqU%(W^)#$~Gk|`o?FjVktY5-MDv7#V(hgU8yhfOi09O|;Jh^&_{y8ff+&zyf6;0XD zBml0XEHr^Cy}ao{UbOR?n%%8iPR-d*(e;#XIRVN+s>eOlrkqI!52n0D`P9g} zDoMD2@lG3^gjM94efjEX?|w^4k7Tw=7v`Qhbt2=`lwIMTyV5~`g;S4f(mo@ZEp*2cdOS^{BKIi5_#_`4&5q_FFEteGu z|NfH$*x%fcqsZMKfhHAda{>p=g0-*q_* zhB{!H_*<%W%E=Mf1MwWVG~Ar_Zux8;t}OY1X^D7U>j~knEPj#YF=_n|0je;}cL36> z+4lFAC}X4sUtf){S_JG9o zjcF=8g!}A&1OddHzTlP-F)8ct!gt%wm`<2M9&4!xdknn-D^m+~bp?|)X|*f1{k#;Z zb)oGgSw<~GErNyH(xzZSs!|lGe6P@*iDytiHxL*XdSH%35We2F zMtvpgz?E^0FtMj+=Qhv9EGv~x-%5wJNhB*$ z-`DI@n#(&+!_ElgJ~T)1 z9)vecT>2;ckZE-*KxqinUn4~zTZXMfU8NMY6bxj~;0sa3c_!#M{r0KnLMW*QCkH;$ zxVkZafF2`5*xxiV?9kR;6TDHL>M{<-39O}zbk%5a3Z(6Ay=uhjV+-L%P;1mqDQ%no z?7vx0yxaIxa5JmaJ9^@sTnHmxmwwJa;b44VfEc)Bd8}vyX_V7)mbLA0|Agu1%o9}?Rv1;PcO+6v31e!6`UKIC8eWB9;bflw$u$qh&<)BZGf}+ zO(e#XJU~J1M{6@HKTfUI@upy>9fnNeJr?~eYseje)%K#4&{}+;`DF03O{)sSan{X$ zvm0f=kR1aW<+$p0uUN;}vaRP65e{b(Rw0u1&4TFXngP4RCWGcWNmq75$t>9Wre)^R zU#KpO(Q}9|n=xZQej;qLeXM7$0Yw=85)<%sfT7(pue9K{BqMk%9{|@EI+uSiS~8ev zla#&XWv_xMb{{(KfZCCEay%Cw!KoCj5X@;I(IUDQ6sl zjpl1T`e}be=vPtXuJ3@q2kPE`xn?soY{o7q+&MO#2}Fb9jZ$YTs8iu}6_qlI7A4TS z&vi=VKrc5@G;9}>hPUj(^nQp7URY{vGJ~r68X~^e0}IzkDlv)t(DbN5RWvS z5W^O?uWW)^Ec(6iY~@m!#`-bdv_0uaqq`Q*D#3@dJ6Y9a@s|+bn zd@e+Ld5th9$)UGcm&8KN; zv?JdcA@I6bIP&VZ1>8K<5R;krNo#M{LiL?46LpFl#vW7~79Ku8G{<>{NH0oER`TVA zjwG4wl)arLok&p2Z$Xi`d(_*QUQqR^#>tKxz2ICDi1tQ zrBmi8vksf^dXTn%#uBk!5vh*xR9c(7KV2nnb&*McWfT}KP<%bhCUDaD9@vZPq5r83 zrc;3W$9Y~)lYW40&I2U7eb+nP{eme8-gk5g6y=oYRuz$Y^$N;8(w9m80(-Ve* z+OHTE#J^M8U7??hv&RV^pAlO%7mt0O?UbMH^jpDE+{0y@^ zdSZeh)pLEKD76xshQdQ6g;3QO-f>7H>Jepx?62JlJn@WZ82*A75tuLKrjcgy#hPu> zBk^9sgga+{RbTNMycluak;pcO99u39y;0gIAEg$LkKjTLdQvaResrg<{b_+7`3=)? zj%U-%nzW>?ZVfZS64r4Du_U|G*&dm`O(+pT7E+QkZkwdWM|mn7Vz2UX7ocSGae{QkGr_8S)#hD6g6HeTq#Kz+>h12 z_K5v?YGzFQoMmZBN{O=vyN>Wwdq;DGzCmJt1WjB%VNpMGSmfi6JTf#e{R|6zz+jH5EB38O#Q^YVd@J_ZQO+gbna&vG-*WYu7}7 zTX@M`*2We>I~bw&RB2l^dysWo(F*{`$4E94QX-@#vrGs?ev%J};=Hkygu@w73TZPE zotWL%J7)Ix50(RBOP=7OEmEw?pdY&kV*xvKV&0d>zS} ztuOie6V-~{hYuf3pERrw;A#P*wJzF-{4*#Tl&k&BV}#cRPQr7KSIN_gQclG@j}l4X z4@w`FQ(M>39tpOM!vaUkb4;Hp19b;0*((dhrOrcmMVd1PNImV{K5^B#Cfyo;UN+F2 zHfd5FI$9{hd4q%1bETw5&P-pgF*d>p<&ScZC?!F80_AJ39lTE>ragQ#-(t-z%##aaMUrgNeZ?u7xj5m zW1#Ordt_@llVC{$da!3DIVM3*J-L3?52l zkxPv(OA#vFM3`t@l2^CMT6~zZX|ji9KLIs0N=M&k{luM1mfU$+hRbqMLqX@bF|nev znhLd-EtS^0kB>Pcp;0!8jE*-UF&!q@>=!8W`%dE%M3fxII86(5#8BOH^r48ecu~@; zFvxuU(uzaXw3>X<2a9ljU{7n91H)~`!sp_&XDHqP-{xGj6BIt_Ues9|W-T5PwXFe( z$0)m-2Tismz8dT)&UI`1 zbcy5}fPt9Zrk_;>Y0MN%k%c5mDVbj2IrAGqAK^a51_cr7U0;xY4wBLuQ6FUlN0r!r z^zxskovE=G>WTC9sPz)a`1-j>RyicG)a|yJJ0Mr`m$Lz@6Njz9gb&`@>KDj>BGzu z1#S?_GJ(6~m3J9K?aFvh%<8yY(OqeuXL1}oE3N%APtm!Ytto-By{GWv!H(~|M3RWh zA3zL5K1|>?h7HG$R4%2@9y4S~e1P^RO474!Zxz!(LVZYoAg*81>BvI#kzca8sT^AY<7nq^iIPdEd6A8cclRcYWFWEH!HB<}FoN2s5lWWhXcO^G{ifpIrSKZnb zWz3M$?J6CA-GBtYG+IT+9s}{G-B5BX(uYWg?@AnBvemw?*u_?)pNmm{bloQ99Y6x-hP)UluY+DfEhAduVKsvn+&dy)?Xq>b z^WhT@6rUgD-f@!YsY>vn&E=Ww@aRqRKUT;Ww z@8eYz=~kjt$`42C4N0L4sPAFZ{W&X|&B zZE{n8Pbc@-Ag^bpSdHtY2UKte_aTF_Yw!@0TOc-}-m~NT#mk56CA2LWYc~`@w1R&t zj0cv?D9kT7|F9+xJWbReR0qvd=f&DxWM>NH_6LVMI6#~%dwcqbiMU;-1Uw-TCo94; z9YAqIDLRjchpU`slTbC22?;ZB0Mh)M5@_&$gu)x4LoX)OssY7~>Qg2QvM?n6FG)cq z4y4|!Ce3Bb8r&N=f%7Q`KUz5i)k^B~X8mE7Y6{aftL}~(pJGN8j(1$HJBg+!wp;FI zpv_>hlV2*8JY-cHi`W zGikh|x>40=pSd5yVrsb-&-%RyGFE&4RLQ1P&r|^$;ALttpC*^G%HKv=L9% z6d}kF31H)~(006a8S;rWr3$N3VGfEQCx3M2teBe#jx;Dm7(O#F1;rwfbO?>%W0_zOF+Xe zU@I&4ShqPHH1rrbHvmGCY+1J#tc|}HzIqTK)vjbVVL@gK8|6NU)%daQx)l-hV=+i+ z7R8B{Er^GRj7kJTW`t!QO>FaxhWr;`>F}29xGd>^FKu1u; zGwBuE1j>1LdT({stjX@Bwc>L|w4TyR%DEtFs+xz^Ot7z>u^7GA_QnSVmVDHqLJO4` z${^jn5mmqGh-iv4CjpPEQIBeWBs-I+u5cwA&`YfDXg@|0G4!29C*@xJsSVF&kGafB z2d&+@{5Xs=VSS3RCQrGh1MLcqpx{;HmtxbdoUWj591#s$NW&?V{3d4c3|x=L$`LgV z@&)0O)cea4~cx>i07=$Wd~*4q)87+sGm|O?58^wozq&40C&(v$y9} zn)i(pdS@-eMcmn6x!U&;M{GHxzi8*8FL4Zg8gRrkH(z#Y{?@0sE|*p(Nw05kMbMH| zPz!(Vk-2>Sg?uWv8i`dt$&Wq@>fY!6SZYWz8q*l1QQ*A$05Rxuhrcdjih_g3cLC<5 zTHwQx`mfJ6&qMN(+4jPJq(_0ZQkzuyYFz7wneqM4we*488}g4I%2Hhje>v7@z!WKn zh!a_fiC&4l_bgpC-GAW#7kxc{)~N4hjOakpJ2YPqfv72176^D}tWim?>lqol!s7>g z;dB*Pt}quKC}skEnus-+O=8JW?9G~N$a;Z;#lBvc?ynO{2>cv>f zrex|!0J@e=PR{0tM;2*pqDk}xi$33XKP;~Y2JJMz_*u1ocZW||UKXnQnJ7uufx|!V z=*r|kdq2(O<-XB>lanGRn3DhtA`ggrm1e_vd>2a65vGT@Cki#Fu9ADZLN=^1_aT(Q zM6-EEpOI57!+Gf*j@dP&6bZN2LJ(RC8WTB-Cnu=OZQkg8_yxO0FZvEOTL{X8Fll?B zjsYyLv+rtuy~R(v?uem?h_eot5t^PV?Mse;?v=c|y{{tayHYPg`ry+sVN{Bo#3N&M zoW=1HU)E6@S*L!+841@LxLx@R+2aKEe~vOHsu|ZLm>#Q~g!eO~*7>~sF-&iqWr9H8 zdY4(kNa^x53HBQq2#iU7wFY1 zl_o}ar@GS+bP)pCy@_`T`Knn_Pr~1d>>MRk03IXL4~2ZK2A2xEPu$^*28g;+o2*Fc zQ0~`%W$g!N$&hE--SB6A`v!fqD7~5&cd0tv#X$Kbx<<+`JpJiXd&L3Y$Sm=#-(PIz z#lPG&cEX+T6Jfz++R9rTfhkqZZU!3WY=Er&nLXFJ+rpt@P0JUUSzdDway$8y{ z9#(9;>%#CY_(`(Hg!|?+*z^Uiw?*@08v?L@VlQcCr1fhN@Y@hLW!msZ74Moer$lU7 zC>k47`il#3i{6kR@Y;s|MUW$TnsSE8u5lU6q00v1qz z@yqJSVtg4{Y$*C&9Q+s~_5u4|yOjMNC#^|r=F4UoK^+hCQBc%r!j{Mbyb-_nB6*J~ zDV*h0zR3z(`5BTvp2Y<4?Qj*ox7m77r(IFgh+nz1VI37dmRlO|nG9`-@EdydW9lsu z3{!k8;OvPJUC#?3y1n_A0HB{%(RHte=`SC&c?QmRkXTX}dj$ z)9%vY?At=%Z>?fFxf%o$Q6T(5SbzLDlQ`IVsw#I^wV~Ta!Ph8bAi?hI5eaO3!8>*y z6rQ-lN1LP?m~-f~v(G}-jJz=xr0^CK`nu)=(B5C^P3(xl<~_=|D1@dzMJAu92LBi) zPzr_Or*K;`&Gpb!?#IyoNgCsSJcxYVT<#s78=OcZiDBf23=v0UO1$bjhN-&a6Zu`? zsZ=RIn~{jaXxv?H`$G`T6H_l<=0bAQ-c^1d>(l|o9g>Wl2-(Kga{?yShD|&UV=0yp z{WKfB;wWquvC@?Rj`@M|lW|aW4`XXp|jKPP0_qbrw3J;Wp zKl{oZ50_Bp7%fs$+LBoI6KGphcV0TukUyo4wte<*kE^YGXE;cyCGX{GC=_0a@2W}+ zkosJUZnL~h?-XJrBr+T9QznP;s>HQ7f$#YeP_E%RN}A_K2pt;IsWB^J+>;n@_QPSX ztH1O1M(jY-ehA zD#J7MJ%TS zNB-4^_uW#F6XBAS9{WL78UMqv)-vFuMXFR>a&sh_h4gj$CbgA;%xHW6kgP+vdn^sQ zM&^+3NT#-lCnj~m%S7<^%8T^p6A7=wq|uIb*swhw!@KwKIUYkO(Bu1R0uvB~;(H5y zA}9j6;Pi(0p<9K2SP=1UOnGM260YxKEX3>W*0{Zf79H69QzXGX%{JqZ2og~7TYwRj z+iucxEGSkq%lD5Cydtk(V#9l}*G^Z-TZ1 z(b{49ar1#}Wva+Wb|lBsLp!J>XrJ;}tX!tVEu>QZ%+HEzrML$I#bWm^gJ@($OEMGx zxIfytU=NVgC*NdIsTAIP#Q6A#`7P~al~UHHS+p;(Bi)6KzFRBBQp=3-geQ{l(*^XX zPt#f{l64 zlaKyj-XY0Bsj*gc-Qgibtha_eK_+kk#H~KLmWEz``P$_bx<8pI1@HJ}T@EZQ>Srfm zn17r)y7tXqC0i1X1(-Cu_u3K@;Zeg%K_89fhdLaSIF~H=R+cgJ(gt29oC=nUDNbf- zVbJ$p-RFiJB@N3`7y@(gyn;Q-fVktRt+oUAn|a+3NwfB>H_eE)PuM}tf*;20>2=Ht z>m@3GidvoNHEX8DBT21?phxiDnJ^i|jpnXp;|pA&(nL!0vYO*Hr9Lq?n7C91lSP?n zR>|k9yB`|_ToRW>2;FhqFMkMehXmP!&zCO-auOd5F8PSKc6(+qEqV}xCTNo1pTDp7 z`LcClS!L*_i*D9wGP&AyhQ}YX_Q|_i#e2zrADg0CIk<|!RFJEhQDLy1J>V%NhysV< z_1D!P#%n4vo^H1?q{1?2XHMuzFC&fT^8F>sy$40NFQiAKVHJ%IqZJJWq7Y|+ZleL` zmIaBi0$q!87pN}gtB++jW4dsTw5cV*X}a#0#bRh*LTUAvY2j142Jc!kZTM_dHjmYR z>m2y~=hJW5k9t^`Q@BYB?Iebq#}r8WZl~PhMm%NrNJ|0@(_as41P|V3^R)`H(e$|2W6oVUGe@tci7{&by*{}uM52z+*fxYU0@hx9P zcmchG$$9CKBVKg^eYN9+&|{*3@iBRS&0k2`oLd|v4t>=+IKAe$)X-{?ElNleh1K(p zLE6P_Zne1-n}ZsDy{3$wRX#zP9`D$+xfFu$2N4p2(H$z)&CfJ$=E*VX*~LW=BDK9 zdJ@Lth$%iTZ3Qedeu<512EDA&#U%EKK_=Ys03h<@gJ?&P-3LQVb4bS>z zW2-}Me}U)8TAj}0;v4_4K-X=bz!25Jw|1J#i?#P z>RxT0aqv=nz{LlQ(D}%0?ix;OpVvw7%9B8vNT<`+Z&*e#cvgQz6b1i(k(TeNAgz{Y zXz71Jafm(`ekWUW9FLxo#5`88ZmL}e*e}Jx&zC_Ocb2_E^^KvEBo|oKxq%ip3~QV6MwGQdh^Nq0ZeI^ z5uI$GEGC}U-B;&o*rGy%=u$AN>oW!V;qYV73HBo!rR--`l(m8qJ)iZ~S~1FD5+KDe zFyV@i!wF0Zp;Ee^zJ!LgzQmG^y{O~^qz~sHH=c}w#Jn=RSzW=Wjf8Im>Y&1C^@|f| zF$xa+vX#jQ`n-&P%wbf@(YbUQ@X=iH%N}d8ZDoc0oK^0+fmfa#aaGS&DsHV&4n^sG zja6Hf)*sv~9zRL+z|{IzSxg)$Ax#N_c<*OVf@io3&r15goD+p%jJZlH#+x&+A6z-m z`Q0Xe%wquPE+yReLu0BhdT1bVV@@e(-#(CfhXgm zM1GyK{84NN(pz9b5ivA!Nkfj#;`aoHNg9Z9er&_*?TFWd!0#``hgY9n&Som2xalaI zU?EL8WX|!$7R56vK{kqzU&P*l^dJYqr+>g{mx^jH9OdrB6%F zKvfcN4?0uc+O5RD5=IyCG|p0a0mHdyVy5IvoF2LyOc`P=XqFDP-(pRQw^D<$iX{~@ zw3COv>kfS=+LcIlNjbVC7@Eh&FN|@9FU6(Vk*rBzTzNT<3FV`3%J>-Ri%>c9ixv z`S*{k(PJa6Y|*DhXPtmwr7)8h(zl`~Mt)X*DdK6$1}AxBIXI_7X0FHZV~yFovdKnG zC@)n+kV6cIZkc6ekefH?dn;4gZjS-KEQssctd_C5SJIb00DFw<87o9lbsK9up)l^+0gvc|gmF)WjV>1aYfO@ID|_E+wf9%&#C~xLe@nj>HW8qI zq?U-4J1vy>e3kqaib#XRJ|D8#{l3YCprd>%Lx)ScJ}z^XE;)Qc>EoS@ovYeTT?KP# zQAr^wlr^bXobDbN3*JWEsvS&E7&PB zATOhdBIn2ac<<}^1eEz)gGK@U>ZD&~n(XZ7*WviO2ir_L~(@L4}qO~*HV82l0}*Q}I)a|mT#LM6II)#87KWLXOTAh^x4 zfm`FwDMV7vQ{X2-rGl*QCrp-W&PRKUF0<88kj71KUNA4k$+SjhD-EqJ7Yp%D zQ>Pfn?LkltJwlWPde#|IM+?^MiKgC{bfg9Wx$SdA*pCsMm&UQ3MWkaNI^a1IlL?tU2@nzzL5;;F@og8zr@rARw0-;;a2yY^k8jUA&Q8)i%Ab~5K6-jO7XZaaH9bBL#Y@RQ$x_)2z%xwjo=ZS#X zLOWxo!@GndD}bY*pr;5=vrt3^MS^EWyf%X8{#=zgZn7ZbATYj81S%$i91M!CQ}m$f zAY}>y$shiiyO9ll*WxDT6?(SE_BoR~uB8Mi2tIK#5O;M#8$<_n8g-*yKT7ni{NW>v z*!MVP2*r>0m>ME5*sQ_Y2Lwa{QkO_S`})=K8BVlgI-?(0bFzM%TjOyU)n%Q;W zA2!PiZ+J|Wwb;h1Np-!-RG2Sw@ua<`l{ht@X4=HF$nEfdn@^abo_bdv9!wW6RZru@ z>H3%nV=hJQ-_@N7jM{wj7>m9BcC?*9ie`k${#Bb$rU04_Is?&0xK8%h`pD=NW>D_A zLNvtVdXBlR3(9I)qiS)10V6hIQgMTK=8Aswn0^cqenOdaX2b_3C-l;0LIhOeB&LwM zz$%6YXI-9u@N>JO6~*QlAR^z9TFBJsghm`}c=-M_L3YD5U&*l?#WTKldsl2nZ~T@< zgH0H7;z^L5Ql2X5*TJkkjIMVrv7t{Zt2tIkPva72={MQO=jo-eoVgyDT58hC-@QgY zreOK@1Ig7SGt={tORR}Li%gib&MluTj(J+6Qs35pv8k#w+#1{4#y}QuQnr|il!(pR z4}M3#z))?H7#3|D8PKw938fd8ff5_3N{ktu3VwJsl?y>)bHWxM#0Apocc>;L_Xjh^ zDt4}sO*|r}LDcT9Hwh+o-Rz6i8lq6OGB$^ltvw$$foOC)+1kw2DkPkAM8$-xp| z4Apgka-;7I6&9bW*z~H%UV9m!yxtS#!(dzJH!KbA1+2Gr_}&fuWZtAH2H(C__I%jJ z^lhzO9pb}ZZ5wHiE_x5TdHSvrZHFFYv4%Q-T*=9U1t~Ba=UpFBccORTWYWD6*x#0n zv2yprl!O$>E};~mqe5RBh=5#hB_&eZ=A`~PY-TF*3xQL?)_h)G*1bygJ_lL%Hl!@# z{`*V|TcA4oj{U8024pmt&8TAqnhNGF0s>(dk&oj@*>iXW5Ykl*UC>;$Pe=%ImQ6<_rizPlful=UsPYEoE0vMaC`l_FR}LoH62b zy}D;TJA-$6);f6he#8W26X9*<3A5idkjzkZ1&8Rjf?k}M^#PPy-YWnH;)AkhoQ`D2 z(cf&EsyqkwE41Arku#5@?u=ghB?>jgUZ4|(2kTdA&+&qh$#khl6YPE%=tAly{BT@a z%KSPmF3&f-nM)CgfD(AiPhgF{lj+Gb*^p3+GW@D^AWs^@*tD zs&-a~-QI2?z}SrP1BkX{5<$L|$as*(ZP-kkVG5LpRKbuGAey4dG4-Z40R$o`fL>%B&n15Pt+DwPfH|RgD zeAhgxJ!)T6bJ5rt4<2RZ+U2!F^Gd~nxx~8`!uIWRU{hpJG$%I_p=|pZKk3VTA?rTF zdcwMgM}p5cu?WeqyKBI}2<5_N8e3DRiP!dY+UW^zxyy-Jo`%)^?;Ng3klfzbJqO_Zsy@)YpJmsq(JYQdRu)N6?5neNp$Y` zkmSL}`|14b;I;N`rQ`c+RO>*$$N6INhUW;N;fQs^<_G`*odt-q)$wMfKnZcMxDx`u zqkUW_%yv~0Y$<@&6c+q|TeTW~Ob)A{BVtrfa6PA_FD*l)7dID&x+aD^zLjO^T8?lg zJ>5ySTYnQFnTzF%Cy)H$V5UNIgSE{HzwPg7LqdlHWljC7Qd?8dFPV2CaYO-sFD^PZ z&TT0;84JLjDh>T5lKGq7m&!@Ls@LA!JAq#<=)Wk(YZdY}v2G+ifVQxFS%*J6SD<^&sc$EReGlR)> z+C>MleRhgK+Kl>+(haaZ-k?oRhF z`eT-4b*E1W>=iQVlAISg==HYg(RZlJX1D?a%W+&|sV(7{n31UJ_W=uC7Q|v;`H!U6 z+OLQ_kR`2nMKxQTB#%#>21EU|qfA0i;&y-u%VoqUiS{-;0fvggH%p8T8^z?13cq$E zYGLtw&{txLnR!mlDXIQHK{;F$h!(B4IIl(SU}fr{C45-it?XbrU5}9N{Fw6eTms|# zo#L)Jt<1kFu0Y+{SHFXp&0NHuiT*o_t<0`wKo7Fz&iHRL+ph~bpW{g~i`PhIS5^Qt zuLIHC*c-X4ulG?9))%S~hojS$ICoenf-w3J7@@&U3W;Gi8}jk=i#TwP%<->_rYZV$ z5ADvF}S660Eb>+LdR)8J%gpq{fC8kP>QDA{pbLTU3`3^>->E4#9FggKjs5+HU2l zO;@sFpx@Zj(Ewd}iOF^a2{G9Cdm1BXpO*AhV;a`U1x?oIU8rg{f5Dx&gf^WB+aw$) za{d6}_a&RAjt>-bI!*$-oLxu_-!ka%du!kd!tjzEnYzM2c!^4_)A7WJ8evIw^9Kl1 zRdnS2VVpSfoaP?WWGW~QY`#P8#S627w(vCiU<>vA?$R3}Uu6znS5QehVwdKb<2`sW zHe^;vAw#u|8sLgJz$w8)q%CSO~9IkZJqt5)eDuVLbpHc*9+~za$LFnmj9$ zbWmr@bb%aRM}D)*(0Gfex`fu&R&1rmAq)?|&>)^6rpO#hkQT_0fH54AIngEkR;+Um z@H!5{#P_u!7ZK+IGAuwIOKEj1uuUj{x5timh#b5xn5c)qT40f=W9tdZjs|(3GTA4V zL~u$M901E1{w&2&o4tT8BKuL)Pdp3PJ^Dn{NEQpj{DrZ>s_sFW(C4peXS(k|^}oNU)m=2v zX_I~HWP!HidJSW!;(`2ZfJ86eP+S6CQu zj27M#)O7T%K!rcd6FAeUTkSKToFM_yC+;C_F7ov#Uz7gGmt|-)THDAJoej~OKOV4_ z>x|2};rr_gU7)?83}&88-gXNS^H1`3ZaM!L74ZPr&E4GEq4OXx;kX9RAw;yT;k%@s zkGMZolALOuwz(sGHun4@I2G&t6Im@TZ0WlcyvePYP8hCssrSd7Lqp7$8FYnjT z)|=q}Fl5m1j3>PIS#yKAM;drF(mZ&-Ch?M17cwpJV3vJ@;XE15Z^jHqBtjjgC&mKV z3CsBhBaHmmXhR~%PoIrHPCUJ| zP^}G$c*&8VXe5hG&UYKg;i5w0w|Vu8DNF&Z@;g@9C&Qh zeXFU!#ah2eLpQB{7e1VpKgY#_EN}Q;Qsa{627%*~!8}gEgexB>n;Z{dEUK4%aN;>4 zWy6I?X9}n%^w~ON*z*&flb<>mLG9Rkhr& zER3m?0Z$@orghD=gvu_l&IGP>Z`u3`rWx&t&;E2h?F*-f-W-Xqm6hDOparj<22<#5 zY7AI3IhRqOXlYSV_HH-MlEzqXi5NUV{XqUAliN3&gv4Enqb{t^)uR6rD#w7tfoW-= z@05NPHqDdyn)QLhxHAc3&1Z?8=4_$X*SeiQJ@$kRy-Nc;=u8$u_e;wIsmM_OUS$~e z2Em`s-3?#I4O{&Vz&F;oDrC-s+7lMF$o)DL*s10aN-SL+pA9fpob7VsG~I#?vEDr$ z?g2bw=e9cXC^fph?)%$%XE?2wIDrW`|@vsl#a_~$Bty)KtHQfbz>g`(nk zFvop;57aU*SJs|og+-eIxE8YbBeH^|H-!nANana!Ho52 z^kTAG^*LlOWz_<`e*dRfJK0hre6at!@E;zETDL@wJi8|Y>ru#iJ*Ic}A(|S!dB|~a zk`a+Pw2bwU^rd)@YZ~sH0K4^#r+WJ8#=5lD=BnOPQd`8 z;$$fB^UOm%Usk$>^XjS`g_fEcMmRIgBUGIzjqw1lbet3JXw44cyi50I{2N--2C}BN zSW+(ul$|D0(L|W`T_(r;lpfW25cE#wk7fQ`Khv4K-Cq=IgEX~d{J%PWQ0x5-HN^G4 zm||}Mx{H$Bu=fDh>BM*p`BU{fUiG_yVa~5dbh5cte^4)`N-CZ?1|2@KE0gMX+8}ql z>;OgDMFlf1_4e$W&P^xi6`@_v{2k#$@jR1SrE?SYl=zlk7oFJD`k4*fI>U)bv^)s0ljz%@;Ph7t6X9-boqKF zb?JNRL8v4ryhI-3TkgmRl~`)pxYhfjd9%KtQ*;`0phys}++{kGp#86_cbl@%1^^w| z{RgwEyh}UL0J=t1Qpsz_(6}9==|D?&Wb^?8C49_E+pmW;pI=j{ABS&DS}pXQO2u%p z?mf!9Bt(E6IZbE}vTt=6W?nCkFBP3TMm?LcWXJ2xuNwwCgBiR8tR*N%4qI-sl(-1= z3`h-oTfa3w#YDlsj8O3|?+rIt^*q&!|LK0t2t7J9()uF?>s zSqv0st6%u%e8nTN2{}oXE9zCx^n#xkMH_3C%Nk^T12P>u(ShYgzd5H=o9{CQaOC&! z#tzLnmU&NObLi~2Ul6# zTILG~k|3o#^K(J`k4tR;2y_6B(Zx-|jZ`Ak&xI69B9$c|i71SSHo&{E_NMEl>*q&n zr`4=Fea9oG>t*fZ(mXev^^qlm>r#o$!MctIFT?=S$pISFWYHzcPX~yOjsSs<&d$cu zQx^&Z<{Nk9KizvBg1ZcRfS|r3piz1_G^FEw5C>;R z=r3C+H*|6i zs8JXQg+`&(!0b5gfT}zod=4lOG4~%*u*5Q6kUg5ov9q(YF~g%nz%Z~|Gpe~6sJjr- zGmvc^?&=b#4d|;Xlfc$E^k*pxf{mwN4e#I;y%3~bDPxFmYs9$d(mY1MlwFz)Wm9*`eiFCh5i;ENgw?0I7i1}uP^Q@gK|n1S1m77PZ$ zVzknUs1wNsh&pWwKrc*PhKqM*e`E;mucb)}?^|jI9+x@~qCrgksho>DioPG^aNrOq z09YD*qlUXrJ2GHna-g7KfZGfCqUP5Oqs9v2akHQ1pZXKj$7|RPsI?(xz}?U{U2Wrb zKJO!Ky++R@9rGhV`&EV)G}{k z8${B8ULw|mlk(U3Y*q2}0tHoaukO6?hXZQr{002r!GeG^0?2jYXi(mD37;TcT^ZpD8Nhs<;Ir@J3+(RR;d(MBmT{CW2#PsJp){3o%sO zmwv???8*nLy#f?m6|`I6XNO^&o{rAX5OFBnVOXc=X59RztbaW7uP+Q{zeG?7aUxxyQJgQ}76=aw6<0`QDzo&Y9cZ-ABuI}T^YAbK8d)UDK#2?0`a)334CVsc;CM7!w53ApcJi{ zXrp1$q zorrL&KNcesSr~;A>zK=m>U?IWs1HJTPttW1*~fL4DM~Ku{ocUe%|3s)oJ5l3Z>{eP zD5C~(zHyef!ZBf!Uy|+Pw04wm^WK}f{{uqxt6vYq* zEH1U1bBp?uv*$16cf+_CF8G&^A> zz+q!&;jGECiYzvQ)77Wc{}887579k+O9~~pS|yYGuA(a1>7RpYCtztaQfHk z9uE*nHsy@vC0m_nQm0t&q}e{Kx#8uF6+_*))-}HACBDZ$#7bdWY62kx_zsNPkY?1P zwU7eiZhW#RzXUWlodrpBD$7fdu060IBf4yvpV?G|Ow*fAdxNe$tl( z_n$qb;9c$@o;1_e1 zEX^m1bCL+mn#m>$a=r{Cw#I|_l6y#5;Z?{)mRcaY3sPoUztyyu&t`C-hmzZwK$B9c z9vKaT6+Ks{`-C-ZDRK`h@bUO;Z+n8I6aqAs3oLq;(;%(X0Zf$umxxtzcf{YY%H@k# zIpL*>o>(8A&rh*i6esIJ{Ip1o5G0zs#yd=*n`G%Zsw5i2<6-86=Ut;uPa9nPEBCGY zYw`4<1;u}IVLZ2LOL}Q?1b=+*!>0B+$&Q z#J#KhVr|v4aZ$|z(AqduR#j{ywVZo7Yds%WUJ1J(+NL)RC497NH9W7HxHl$X*t`iB z6}G?X#)uR-F1O6;{w}7LbzU3~p_wVR*;m3XHWVckC!ZygFI$NfIZxZ$rRO5`%#ea_ z>83(OKd?L8A`|0FD zHcM(5V;ff!zpPg)BfDRBCzN)1D$@_^=Eip#Kz11ChJ?)6g;_y}zKmG1DEdd>qv9Txnjg zA=<5}nfdP~SNQSpz0wsZ{bsk>62(-yZJqfCL%7yVUoykL3|#r#@DPM9D&Hjcx?E)I zmdh%Pm+w=PjI$O}f=)lU!DlvTf>+<`a}4>(2Lm<-Cbo=e5gxP*Vm@mT<{Q+C#8 zI2N$xvV4-XhScfRicVAsZN7Rtu6A%a!nq@*^Av%UMC#?)dXtrGc)%>akk+o3#C{N6S9yh;ROcFXNx6?=Za#7JfGA<lUs_;f5JThH)v$<VweWCY6l!MGu8Uld0E+xCt%V#(6E{2KCU8&8$9YjU%uglF;C zWQp=^0o}|+F0NXC=<|2{e9h9C&-s|MM4IoSA7*rv+t#47u!!h{fUQ1wUE{Kv?5_zZ zfE+WPZbR;(-ZKC-}T{u}-* z7av#copGfZF+Jske5xJu47yFB*v_tpBlu6=pxiDX;OU&`5cCbjz*F{}z;sdUer$I>Nny!bbV8a5XCx5=_++|ajX(TVLsf=R+|tfM0BH=JG7`AVwaBNDRcN7gkA z0>bN4QrN~Or~8H32>1*888^HSV0@Lx`8RH3A~vx!mn@gorR_{N#bMxfeIYJcBgW_( z2J&nUOB}Yp9z>}T=Oj`DzDstNvZo%DTiFt~N;}cB6Q#|Gdv6G%?~oOIRVLsIzEuA= zBvqwnk!jR0s`pye7(!s~pBxv)2s!LO)y95nJwTkbw??pF0mhn#uQ{fx01;p6kde}l zj4_png)fmrz^<`4Gy2dy%61G>NRQE5?BrPS0O!KQ*lZ-J~~EilNM2u|KY}T7bfW4 zB57Kh-B_9THeN_Rv_%p#;Gj0G$ESd1o|Z@CcUK*71sWQsnrieAhc{FeReyn>;~P(n zio0m@-6B~B*d}gAWXRB=s1FYmnSD*`7CqnO+i7{SfrH+_c=}?>85E%9nv~GT$Qlmzh{D*}($i?+Vjn z$hun0L`2+U7j9+fk46-A6^iA%B*YjwzRU@saeG;**x)UZ2Q}^X4~uSIt%bK*(~hsb7$hinEH`~d!dQ$mzn2n_Rw87U{Quheys#!?1aG5>Z=i` z!VAet)^X_{?*>}$g=^7xwuZYRy&<{m=yoBSKLNC#a+sB+lo8}P5C>g z5C1BvJ8FMhHD}jrWW-tWv|wAk{rtL3tvv06>_`_BfL9zSUIz6voY1QH59|V~j!}{_ zi=T{Ls<{Qt{1d^qguIeAbXl7M9|kU;sGDQ}0R74jvrLIDxM zO!v3EbPVw#?D{#CN>f?TomFtEAQ*T%N=|=Mr16mt5|(p8!=*6A@(*3EJ#$LM2_*}G zZJv1q;2<9%DfWdcjTNO&&I4{J8P?}liV0%i;9_n6%^%GHhw^=IT>@=f#_$C?=!Q$) z8v+71nwR7D0Q+H`{3?(DxkB{TcL!7xUiOWe$%sIQ4oVbB1RK5Aak9jyq(}Z2I6abo z+~{E*>DJ4CO^a)pany31;u4_lU*W}2b=e+FVQW2?-Q*; z^@Bw8LRsz6=OWq(Mebz5OSY7r@{h7k$5AQxjrM0&B8kkkKR%Lm*GMO|lT!GL=`AvH z_Qlu;lq=U7lRs3HYyum>VfW|osF3G{5mu2GqH6$Baa!abp1r|@vRzja<7vX|CSL1G z0I$r(Dow||?{Jf*iI``&eSwc9ajc1Rf$Y5at}Idza2H&T&pOPYhOo=(z8F)ePAi2@@MV zJJVdKZuZ~NbH7+TJJ>_$F=)>Mfjv7FKvYMR7|tR#)rW#U+;)S&}~&Hn~-Q=O+Qv z<2mZeie)c6g?isQH&Tf$!loo70nHW8!)3TM0yKT9LrJdw;Pv@=qiVKj_0EH608imT zlcK>KEZAo6Ki{f@PBA7giHm3{1r7(5n7CpQD$Bh|B~u7P#5-y;v&6Q}g=aQQJZzVk zF84<_3+Se)a*tzVS@H~BrOfLDmNjz|k$-|7;o+skjdW;q(WuI3tk&7V%GfiSw$*X! zS7Tuk`nZRYWh*o#~Jk84H_HwoX{wk4)wCD+qy=J8xa%N2we?c{;dN}A0-uv zEe+oTOFs?CBsn#lmro=VNySE?aImnW{KsO?o??gta}cz&#rq2Won_we1)yipu-Rfg zJnY#r=^NY2#97DT2yJRtu?3h?uWCV5bNAx4!ZHdFA8F}Bnc8&YP|E)0>@xRsZP#Fs zDaVQOMA9lt?)0 zRYbVjl}RZ*S~(~?K-n1*0Pq^?s?KG=ACMH{r&niSa6^3`KYLs;EW*~}vz`BPr$VivJHNd|U6vn? z+iK13#n~6_)I?t7$Y&m4lfC<$wzURI_NHqX&L?tiL=qB{GYn>dG~=&5JXUmQoE+lk zURT)HY%HlLig{jUNNaq0QL9p1)c*R*r@+&+7IRS@Om&Y90YGgB>&^ofzt5pLLpj=0 zEKiCBzhEN~q;Ujx9=p`aSl3`<1nvVlDQA?ue$PQVMu6Z;I(nlKM)A9z_=U*JE(pip zFv<7sp`2nf{q@orLpEhodx{6x1Nt>_tQ8^SRVb5!wTaXIQmM%J-iQJsg{5aWH(Vmq zn#@9_=+^tj5D@P>x`1?!a3N4=t*MSPxY0vhH`@#J)8rld#gbU#w#77QHGBIlqr1Rs6+r*IVPVEtygb5-Xvgn%sjhkH94V(CU5ePSP4OC#cUf7* zoIY6{OQKBoshLl#DN~zLgx2tkjj6cabn1_c!)PwG4H&lU`bWnXl+epF^$)qR_nntD z4cHR>vdg^Ip93LE>+sz09u5q%sp+t$cPWdaym~35wf=N@W_2X^YhbY&WTM78+zrIK z9TryP?}0o`u`AK=&3uIILsVka@Ebc<$@^=*&)NW+ z@pn1J9)MEL#(LqI>k?vE1lrvKbzB}x`fzy7t0=O--sU&;^dn+_X9)tj(kpsxDrG+Cc-9+J8o{%*~C@j_x zHDck|O=7z)7}81ZW30VBR*Flz!eo(iyGz@<)8-m@Td5;y>*XzW9AvY|S*_aGsLvb< zfc9rdttphJiE0@u!`QaS`Z2?rq-Vxj%DH*;bNVGD1l}OXQ4gSmZ6tO7uFRLAsXYFG zQCWIz(q{$~a^u8Py!FqOXOi{V0O^G}Cg+QclXoXY;>qcCp#KtejI%d3+q#lIO*%wB znGfpFY#02XS4?5cP;H`>TNfEW{ATkRz*fij>svZsU(p2WFw>XjoYt0B0l3)kR_dQt zBDE^a8;}$-WT)&7D4y`~+CeL}$9qDxHQOaC{8&NeN5Q#6&mq)_c8vYt*3X#flJe>2 zNgcZ0D2Sg`D`f;s$>!;9uY}z^+1&tLSSBq4EvJ_@ZK=$gom5ZTiu)p536Ze?M&4ih z#fz%>l*hcLRqTMjrcQmE8m-$4apWR@g_sbg<-dT-Ymqkre&OUhzn#(Ys@@Vm5R^9l z^Hi@Z*^^zNUX#0B%5XX`?Vw+56mzvQ9iWOiRf#{@nx3Q+x>Xl8=_Tgkubc^l!{9;C z0fn0!@}&`&P=Z+tW&%Ir4N~y|O3q_pjQd^fTj(T@o*CC#dfzvhgN&?V_Xa0pR|As; zh2IGygUv^uQrb$jheG`oVQ-Wy?!21d*7bv|Hgn`D?iws!KP^sxnsd1Plq#dJ?3UFr zF)6}PyDua0p^%Dkc*m?d+dSPmXUK;jaTT>vV6q_aDJBme3=)vtWm0B04J5TG|j9ktIv{%e@yMB~rft zRL>mPq`T#Ws4LIlVig^Ll|-1P`%tZp)GFfr%JyNLA=5?rej_EDb=$)ePXQtuuJww^ zP~VZk=f!a?0*(2o!x9e*_=DKfk=KtF{fEmXDrRG;;MI7&A~`Zf`+|hl-v#KA+u>#7 z`bzxkR5qaKJv!2oI=b1)jXuEnFC&x#&ihv{#d3)}#pCr}6^O)uPL_1imFvDK3x%nx z;N>zrO8QM7X$fuGgXz3=#SU%>gAXvg*mRB=cQjHtxlYkYre8tpUAH#D*H8CoCnD`s zGm3qGg{f-$@=qi7I5}+_CPE`Vfi(!H8XzP2nCz#6pLuu;le1vq=GK>2dX?Gmx9XNX zc>s$t6GpFavfIAo_g zmMZs1&(Fc9+R)Z*0QFs*e2p~fkAr~3-y8~4m{4~Q&m{^Y z4o+Cy#REEpeTEVNyYV4tDx-9h_qdiDdbouIdwD2Qo?U-26?skFXCY4F1JJ=#XK~GEUVGA`WC9#{9kgrCj~T4rC)d37XwrZFCK>~^tz}3**xLly>veWI-%_sqm3^Q ziR0;tK#c|i;3+xyt|1vx%Q^b4CSO$02Lpc3WQL8TbhK0pqY`Bh!09ivWD^38y$A!} z?R_->9I*l5F|41B-;Ka>9%E)1&cu6l)zS+R{A-s@YMHN>w?Q{l^E;>)6o|N#$+clV zNnAx^^b$ie&f8BB=SD#k6zfCD1Vd2Toor+TCicH_H6WgZk&weq#C!WgcgRc!>sKl9 z$*j#c1UJw&eaGB}6|IhkDcB%A*w;wQK_Z?3(_I#AkIp+au4EY7FMBR*o>4gctPoY! zKHD<(b3I?jDWrfe1N@`?94D}wEGe`dF||~rTdW}ijKEZUtAlK)d2UDL?;_MZwFAl@ zxzIjR+TFa;si{?W&GztKF|wPrvs7ne3L_OG@e1D|8O^=T<>-rR1SM^oB)?*~rbaKo zC?N*3D)}6H3`#^Uzc=#M&NA3G)bswsVz_x~ceMS%f$kdnp*Ni*9*qj4Ku)N5VR!^Hc^^M@5Va(fICbou2UagL~@7qXOnNz+{X4+>OCCn)wq zP`YG_IaD*NfetP*ZBi+1v0` z2i3fHBZ1GJ&)B4xD)LnoLD!PoyHkZ2BWCNWouj=|((ShK6(ufmslc5v0hhVIkx;8GV8Y=Gk#-eeyj@aMV|GZxNd$a*Ow}uj%(`&i(<$ z_%$d7V`^vO?BZlVD+@C<0}}-U1I2F`dRcoD5knVKB1#c1 zCI%)JMh3?JKaz?O4%`pI#Pt8t15+9scDSt=J}c_CcWA*wAEthJezg>q2fcT+<$*j= z#o@eVbTwkGn-5RswoWFBI1|z9Xp{!ZcnOW|%j=n$cvR$RCg3n5No+D&CCSDO2E!2K zpp9w_#c9-V$_a0Nh9T&u3MrELGO=Q?)oJ&ytQI5I1-;IFMJPFztIKtz0J3As+bFtV zF`1Hpf!YD2(C6N!lmhcv6WEa`p~T)=K~-zBvh!a9Xv2j-bjlol3X@VdntfFeLL*g< z8TmWVE6kIg$_z6$K;jcwL>vK}XTXq!tWeSeS@i_jlbU3nwR%slZ-j2>2NXxLO9vkd zW1Sh3xFy8Pma(~NQ;)uEfHE9POx&1CL)~jx!ZnJ%(H5g_g+)+i7$@c|gYG(FZH$a9 zz4ec}av2kweM0rin?vFs15c1F7TJ?b3K@Kg@ZION`en&(+h#*O`wip{RC5y$nyo1; zNr+i9cno$~OQAhk09NRN&00u*bY~~D3Whvzhk!f+PJaKjN+88TAz7}bet))4uAZtI zlu48KKx8U^tZx!BVeOCHj1;-rgPZ95B?+<_rUr$u7JWS;3w{_#4h^^JU(Sj}C?l8v z?w`^R8wDqnh+oPO$c$FAcw&nOd6kEgMv4RyUFYAaj%5WM0YF-{i1e&K6ES^If+1Ei zEFwMG!(R_g*q$pusWZwdeio2`XKBs(EQU8^Q))S=Q^X*)0@I6 z8bcs79z+_Hl@tz5xSpD@oEU{Lvu2XLZ1=c`KANJhod5=9^PO+JhgWMfm{O>kE z=L__p=U`D-`!^7u8Z6{WT|UI3QMCnosP|MMMlDa}a`Q*j%S+vR!9pTu_y_WJmGI z)R$L(dF09AjiE<7-=;O+`_1s@YmbkTuxCvKJNM66;3NEN1LTu5!6xwt*}9%>QP;!^ z;1w7!1vu`xb^8qJIVt^&(!WhWd^O-ANcDzd2kfzbrmTFj^X(T_SiT0yzv1^(nmxIM z5m~%u@!!^d#{cyFv=+qdh-Gi-&*h>7RkHNHb2@SUVOy!?T?-KpRV zel6f5rDjACTad&+oa3tX?V%SBi>7D&CO{&4r5Xn@jiO9nOoYj25)F6Aug$mMTTZxR z3%M41f&cmP<*HR;9#T<`zF=`y=2iLU_}PvcKgO72>&aF{&jn=Pf0!PsHdCDa2HauBwGU4J;ik9TA6J;oI|YXecNLT+`i^mo}WT z+0k}H(x!7}GiMq^^Do2emM>aQug7T_K7M-=5SAlzT_ww+*D7*}7obA}POVtBXYiI9 z&E$|yZMF{VCx#N?c)#-rrtNV%qN9yxN-E4?m8 z8skf4V}p+PJceF87wsBwM!pz1X zBqGGlE+!(z#>~XQCdkOa!AHdNe~#$>cSezjiGewFHUaoI0DppBKEM%e=+0R{G)Vkb z5bP)yB-q9S#ec;huYr*wD!Nz9P?-%TTq1uX?+)Pe}6c$=;O8vw_4 z4}NxXVXNyS06(zP`1J&9$ySk!zx6t6*#V;M1Rp20FA password[left] + 0x30 or else password[left] + 0x37 +if (password[right] & 0x0000000f < 0x0a) -> password[right] & 0x0f + 0x30 or else password[right] & 0x0f + 0x37 +``` -## II/ substraction to reverse the addition -$\forall x [(x = y + z) \implies (y = e \minus z)]$ -## III/ truncating 4 first and 4 last bits Then we have proven that: