From 37e96cd0bddde4bd0ab76214d4e9b492fdebe378 Mon Sep 17 00:00:00 2001 From: Johannes Date: Sat, 10 Aug 2019 12:22:45 +0200 Subject: [PATCH] fixed typo --- paper/paper.md | 2 +- paper/paper.pdf | Bin 125048 -> 123153 bytes 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/paper/paper.md b/paper/paper.md index 70a90cf..b210533 100644 --- a/paper/paper.md +++ b/paper/paper.md @@ -44,7 +44,7 @@ However, to facilitate the transition, the cryptographic infrastructure also mus hybrids: multiple algorithms in parallel that are combined such that the hybrid scheme is secure as long as at least one of the parallely used algorithms is secure. For the post-quantum transition, a classical scheme is combined with a post-quantum scheme. This has two clear advantages compared to a direct switch to post-quantum secure algorithms: "hedging our bets" when the security of newer algorithms is not yet certain but the security of older primitives is already in question; and achieving security and functionality in both a post-quantum-aware and a backwards-compatible way with not-yet-upgraded software. -Our implementation has many applications in regard to evaluation and testing of new cryptographic schemes. It enables (post-quantum) cryptography researchers and IT security practitioners to extensively test newly designed schemes in real world environments and to demonstrate the practicality of their schemes. It allows insights regarding competitiveness and gives valuable hints in regard to optimization and parameter setting. for example, a prior mock-up implementation was used by Bindel et al. [@10.1007/978-3-319-59879-6_22] for a first evaluation of the hybrid certificate approach in conjunction with the qTESLA scheme. Our software allows a more thorough evaluation of such schemes. +Our implementation has many applications in regard to evaluation and testing of new cryptographic schemes. It enables (post-quantum) cryptography researchers and IT security practitioners to extensively test newly designed schemes in real world environments and to demonstrate the practicality of their schemes. It allows insights regarding competitiveness and gives valuable hints in regard to optimization and parameter setting. For example, a prior mock-up implementation was used by Bindel et al. [@10.1007/978-3-319-59879-6_22] for a first evaluation of the hybrid certificate approach in conjunction with the qTESLA scheme. Our software allows a more thorough evaluation of such schemes. # Hybrid certificates diff --git a/paper/paper.pdf b/paper/paper.pdf index fe5e2416b212e2ad6cd930b0a93539650401c487..b81798500a0b47fb441c12a721509062c7b2b984 100644 GIT binary patch delta 24396 zcmZs?WmsIzvM`FfySuv$48bK>aMwU^celYk*x>HLNwA>7-QC?GxckSu_u2b-?mg$v z^jckAUei-uUGp#rpU@2-F9*q*@Ffz469}XL3+>Q@zH7_Ytu$f&dDc3_D?g6x$)3La z&JF%GAe$vvoW&G}juAXA>WfKt57;P6cfG;ze7duI zJbmhhlH-(x=eLg0(iC&rP;lD?LsKSxow-Z%!czBmVbcbKy=9 z6!SV&z7=AT8w8;zHfyc+!&O2hOD= zNs@*_A#sj^B57#g!pyLnDjd6~`~(cj3S=0D6311`R?6`i2rsFVDvP zU@^Zg66lZ{S4&5FMSkN6LC&>04f}dEfMUut{;Bla#C7K}Tzz%ur+^{m+Ct=XP=^TN zQa9bjbNUHKu9Of<#&sWXY^487$;{a=i%*$QklQ0PIdlP?V8(Rj__Tw%PCmBJvKb~0 zT{u-H!WqT6Qq5_q2%0)O!t6sbfr$ks9P6Uj!B(R(T8@blO+oXlX(p8Pn?HHbzzq96 zZ_9DfeQ121Br`yaf98Ute8 zOj@X=T>hF&U&gGaCt>!8MLI%+W#EH6geJ=~nQ*wACYlN0StS!HPgd}%KuQZJj(-v* zzhYpT2rwh_O2P?KNKn9{28MvAG?$RfLVDFv)uw);w_WTNRoPZgc6^mn4&T@3N~o&L zvdhZk*o$Y_FT8ZiPA>P%y@|t?%stkGpT>0JWR z5bV4TDN`-TN0cbfAy+=>fDG0=AVdWq(pZ<0Y9eZxae@%N9*bx0lwuM4cQ$C(0-}x& zF9?J$)GrNx=&}-Z$GCRAgLzZJgW)@#Z3uad9H$M6k7l#tQ7UIFbDq%l713c!?x-|f zr05f?hxQZ+o;RgNAV-lcp?cn#-vk&Aexu-R?~j;5-~-f(isgEPK*dFSx7iK+8JIzi zV)_=b*@-U`g54Hg{3GcG_;98HpE(L;f5jk${%tFVYMWO0gNJ2U>g|%26$mF|FL{~% zhh`&TMEG8nbnb5=2FF@px15wIR<~~&ko5uGWbM$p-cNcznBSZ~2jE6!J?IJrL&8C^ zi9nGD%UQh47E#i{2>MGc>K*fCmQL2Wj$d5#k$W z8q^$~k`12B?O1x#MtJMZF(K+?D*h}a^z7KvV=7Cn@6NF&dQ{5sqD*y& zzd+Mf-TQM_Ni3gz_k*7lCndhPKOU^?1#Qb!(+;*; z$Mfm@WoAKHl{^EuL}&Nu^BHMYoM3d%Z5!#k%!E_bB!cb}O#J7R6vncG=Z?A6G@vbe zjwr6p8QspW8NQz{Yo$H!LSqu?KxyRdPjzVxr>Q)RVnTHbW&@L|m3EH?)_%Z~>G--R zYqM(zv|Pt1A)!2HecHg}z&}^Ka{WWBLk&w1`$rLV*42x+i>a1#^7eQB(b!=Ep^lGj zQeOWz+!D|=e&&1eV%xdEk_%&-xk9M~;d&*NyhOP=p1z#J^P#Hxh1l3$sR^1;iDjI5 zx6wfy(xMPYsvPG_-Q*s6=$#X_A!>}TZakFMhVK`dvinrr+4Z6_c!GD~EfUDrhXy!g zi@~iz`*nMfN+?Ug)r8I9@km;v%5M+Kl%e$vGo7H{5b&o_My_6&RBq#@^*6jGAPD=I ztMlECY~=Ml+T1~C4#u`vXhi$_4#l$Q=Q`+-MzCW=0&0V41ht_r0Sv>Nt`8TvNz< z2T@S@1vH}Sq_#SXQ+Hl~uk}E{c1dusx%c)x97k!clN^?`^Y{Xj;bt>(D8ptH0-@ z2_qvjHAN0UQA(dlw6|*+(TXw&G2@Z0sW@VKx>ZTi%A%m~8}MqJ!l%Kv?)ETs&<2oct7Ad|Yh2oV*k~+?;Gcey|vF5H2q-8xX)t!NtMB1_S~=R&cWc zxxq-pRCUkDw~&w=;7e3ykY3$NBc}g-4G>Iky&n;NAN`C&?|ve$Ix%}(&mBw7fR(7M zRwN(LnEdj1hKj>@E&ogfMUK~L?C}f#aPF*cCX)li@WM5c7{0be8G|h{F&!?5_)^P4 z=04T~&%SKC!x7g;F70y+58Y04w;q=|k{6?bdPjYJpmG^-O6d6tstWt|YKD!QV|=JJ zM|x^??Q}mflewKAVo-?UflAh>a-1qQ`g|Kc#vA2w9->zBEXKD_OBL!NWoldXr#{N6 z{B99_IcGeK(RJXVn5eu_gZ2JzS*^GT16`$$u5FEgAS7D)uXV|$lQkTlL`FXU3xq*8 zf+w>Ku7#5RE$}C5kXw#75&tmugs8~PvD0Em4vI!thusEg`XFUJ{f(Xm;fV4EW4{aw z1cwMj6Zcm_a#{TPWqk%@%>dNB8mD)2wcf8HwvC7+LGGRXu=}`Q9sb^3YrA<03*>~F zmwqa&I%}1NV|tslgVn96NNEi-lT+;yt`#>$zNEgwCCI5#2Tkwu+x_Xk2+9Y_SzO%{ zE@nG&+h#LaY12GLi3mXh5WF|d=X{rnF19o(3KRJ|84)r@Nwo4J5w9ZFq|nP7yCJeV zbubbkj*vDcB6!fCRL~oH(vb|WHqq(lNC3;ocTY}6Ekdk6Djx&k|Kz9-u&PoePS$3` z`X?{JlO5p&FaBb^DJ=bR&;54K02C;AR!W~dQL#2QKH}2 z5d%1;%qA^Ofqb%lUyhAK{v3yMxX`O!2AP4Q>QS2ZY72iYj)U$|sbV%n)C zzHlk!b{*t&H5r9f$?$|+ugN)|j}EkR=^L=IdO{X~omjEq+(Lpm`hQVf;~2KPXR(e_ z1%`dr10e|AL9GDjSefyB;T~lk-2d8204Z;})=(CrPsLzT!PV)eXEj}-essPzUg~bR z5sQuo_Y|m_xX93y;89*jO;`pPnFfP){ouc`TRco(eu-GNt!@2oN@pM@qe#s!XZ2dO z!W%~KIL_3_j&8s~cT`qEU_6+%G^>&#^xGZO0*!zEHXj3K`NOcub2wL6fP??39@PVP zXeXNN>1@=_#uJIW0z(mb^#KJBva5%QFwau6X=m+tWEMWvXEb^(3VC`BFxe2Sglez^**^iYA^kl{7E=+)X4CFFo$mDIkZ*@fVC0ov(y=^?w z?LX6}DC+l>0DG-L2x*Em+Hciby~71+FWy);-uH9EgO9@!0}5 zB$NcAGRJOCgqu~i%kuU-Whly8V?a%c(cjQoa|cxn#&XrADYzykIcIuFe{o{2Vx61K zgY-_7To0o8iPAj#%@&)Dw_|X)OWX4z?*~g)Ehh1j(w(V>CvS}Q<1`Xf0(rx{J z)h#V@O6@$bS1oj+SceoL%KJc^QxNIF`c=jX)YA25 z*FV0gqRT7Qitfzv8%5ZC={_`a{4XJ2dxX%Goc6zl)HXBsooypRLHY-EHbUHu~u1>@!07u0p^J-^ScvIoNd!CsjdiNbWCMrw*H0{p+GF*e`j#azE_{l zM!O&Ew0z))%1Fen!UcWu{4CLSxACLIIZ&e9`?Bab!cDBlWajFU3J+`YcC8UEe7Hc` z`j_E)P!uHtw=bEGbQpnLEDXf4!{@}`kurGWg$R@hi>d_c;!40i$usr-pKARWx;7qJ zgJy|rioGukRNZJ6=caKezCuTuYjl;#NCAan=Cp=Wu)iaQCBA_;>_RrFJ|j9#C%O-> zC&^nf={*WI7LE*F>^?wQIPw#dP_fSP-@0k^V_{X&(dRhZ;ryUA>$KuT^gE;!1jJ-l zRQGI3k>Zi_(79c{q&F@)?$?7$^M#JkmUESlt&?Z2Z%S4B)l+Use^@W3TJW9K9~*_D z^d#LjQ=iAt>e7IO!z@qCgXs%K307XlM_F|o@}V-$LwI*ew}{TFjZ^ic|3Ih>`^*(h zG%Hg5QPQfpa!0oaauMQU2;=vO{8NDogXK1wMKA#*o@+VwssipHA%+&MXcmYR8)#N_ zB(Sy-cZLsViR!#7wO`LCw>f$G%sP90;zf&k-F;^O>HC8cc6(Vm!gydNM<}*C)Gck4 zo6Ta1>VjI++@o`MD`UKDzD@9Mi z{v|Ros_`1`i7izkz1p|@+$&;1zXr~ScXgsMH3pKVFUuGiE7%FXS_mDU?LL==G${6IbyxUkkR*JZYydu9 z3IGo;8y^?nNB#$70{|!h000{&4|ofisE&_N4;B)T(1i`d`;j01tK3zkt>>`v3CsVy zW{?_nv9`3;J(uYB5v$$wVjo+h9!|adieLh*R%%KAeR>6Obl>rI#lvsxmLpTmv%6-MzQHe_xicOD z+1JTZl6AhVU~?M)_B%k;C|q-g84oA5ROWSalFfZnW^3}ozkzC08Sc_l(JEL`a<~mv z^8ASf5VbLWTXBC_*Oh7#qj8dMsMMXe`xHsK*7c0!a zB;``m9GDjyr3YC)my;+MX_si(6?;X@kv8i%m<&)7vejvnl#+t5-qm?Cw8u07vrNOr zLCc0s_}GluJSegY?j2>ba@3CBSdN|7Hf{5~Skz(lq$|Z2VNaI1@+ewAr=z(ZTEvOL zFO%D?DSw&cQAw$2;Y}Zow2iwSdZ^3jF8V3L99(k%%79(GZ)4RcXLzm&G(Ddm2e|724! z6J;d4NAzwRD03JXxVCJIG}rkHtgQfF(Zz7ePceo=gQPYqKdk=U@ynL-yLHk-L6vC1 z_MU4P@oE8OE}q_zRC=56k7fW1Avh;6Mig(Nn8Vhkv%3m(BWauu0ua3vvmA4NAF7;p zEc#g~r13Wxuw1nn@tw`pY|K+0Mx(N{i;Su&JVXfn=!7VtTIr?l9#Ts~*~H4rvd5od z{-^uWHq|0Gi})4q;2W=Ev{x{E@sc{YX~U z%w-qFuzyA#nSVwU;jMNy)SRF_!6A-lzF0(8K<0!?!K!Qd*ujGImJikwkuNbeYFiXb z20@s6KINNo8^rQ$Yh5+SO6%$+-l8X^U?axASw|C8{z-YjI_f+5k51vTIU>@2_>oGq z=aLY!`$MceaB;b>T2QOK2Y|ivDS7t9VT%99PEgiz15wvG{q~QF7hgDW0PO#$mzO68A9U&)xHX5}fNDM#i}e7Bc7|wCaY2U3`{?;Uy3{G4!XsR(PJD z$W5t0q&AxdGe>X~R;g$Nv##zQ+_@dkH|CdnbM>pizZV`&c@PbLHF&G79Jlip-GXh8 z`Vw}E2W~sO|4Lx9C&rSaVYXXwp1@vJex@?OM`9rnf^lx7(p?M4HG<nB;fhNPV`=N1axpQ3R*m{YqODxFLXn%x4}5(;#UnTksiB>b^XdgM zskN%UU)U;MI3QQbSXUt*-){q0W2X#Mb$J?-#L8gzoNTd1FERHQyJJXt)OcCtm7U;^ zvGjfm-pmCo)^7hY_XDP~yFfo89DIjT1T{@kDCAog%>dHgG+c4Qw zxf!iPw?B05XP9Y{Fmui?EozH<);K;Z{EI{Nr@?1ZJMj$MfbPLe-N z>gO6_;gUH)ttYf6A({)QW6xJ5MLwrZNlGcVCfzVb>06Vx-j)0VC||DZCe9xWNBmqe zf8z%aGIIuiB<#7W!tK6tTJnc{#Nfd~Z$#j$@uBIBgs-Hu_7F$)3es#G43L!?T06o zU66=Yn^pwT?6jj70d`p(Kww%Ir2(}a_XW*}J%&U?)*qUaSP27|lZ*E4w6J3oVG6rt z%CG?WHjX$;jE{6Fdd=nV3KTp*ZE3QRP$t4N7m(l3n2MBHQlLJ$B0b!IjM8%-wg8Lgc-KcPXVUNB3rfzIH{gWBLlPP*G!YXUb!a{pz8DV>*Yj)ORf$+ zfs(b@L>Ugh@t*3(_e-9c;&P_7B*8-=^rpYV?2PW^3}md=x&Y6i#?(3P(m!3+SZJpT zD@nKQglgyQ#Upd0e&h3k{lAIw@xm$2mpRtIZUq~lf7rrTz7F_Bk8PlA_zm(>AL ztyaVe@|o2Ef+BP4{#tKTeu2!QLdr>A&HS4qn-8YsudDHBq-?c~n2}1Zp8m(#qtF6| zX%BdYVvX`IgS~M}@C{Y~HCcSiHsiatDdkG0!_Q}h2gBW;K$J+|WG$s<&Ig8O=#}g! zkC4s+>%sz=?@qY}zBnKL*k1o*NmgnSvovOOe2n;?uK+3KAGCf^-!;^&F#0=Hp<@}?ofobRPn8ECgTh@ zeI-Pp0mJ@2KoBThy$lZlxd*Xgd2|*6~bk(YxBp8NK?8gL4B{JPXrv5(&u& z$1W;mQUM)TN5hbs!IV(^tHNG|Z=J?E{&K{< zRemBK-QUL|5dO%5?pBagnx&DDt z@N)cX;N$-H8|S}=f5Z6r{tW|yKQY~t^6|3qd=yW4xj8;YZVGN7Hybzq$19Kx$i@3l zt_((EAqPh=e9%DrX$8%DXadWfr@d7CT{9J4t06q#H4j>yJ zH{e5f9ySh6uK%DVlAwV*S+%eLJReIq`PqORA6z-OK7{!fQ%N>6JpPZ$??=AR!^Oo0 z;N|`x^g$2^{2;&uzGSn+Xo9m-+ z{9zRijt^__^0NWB`Tn!=Ljg5h9v~Yp{|Ar%(UBVfWaH-m=Mme3x7a`9ar1qsz(c|P zp$b3XW8~rcFcL3#inA7vllSBF!Tmv-pN)_61N31yZUE1}gdE}e3RY%Ez~$usuyhQh@7;g$d2^uJ<;U0X+& zf|Hx)!)+ht+%Vq z{`-r{F7S!$wM$Mzjwjr!yF3chj6P$<@*`mh?R8EPCKFPU@_D$r(-J+lTm@^Z zQ*0v7SX*_o8K2Qmm+?>@8ainnnhI#AEI3phB6S^wTvpp8C6H6iEz0x#J7d=Kq{9H4 zC6bQKwufF8z7hS*=vB4p9Y!XZ`IdJR)?7BP8;S6_uZvv?4QA+rp7#;y#ofI|#ej}) z_e>0eTSX4n_Nq<3s*}n3eJCa3DHnoSk8}oGyZ=!`ZT~QlPqJgMzu;z zLIl$_wbC@TwxXS(uywIwtga!Rot@c32DQSbQh2%S=4AQ2*Lc^ISet9Ed|hj8<-<)c zKnjj8Yv)v6T}SKf>>eCN#z;`p*n{NYuH)q5uA@>>Dbo$I4FE+al+Fe!j;GwYx4m;= zI6)Bwc5mS=K5;J#q$5vHLa(xb#PA@@^0+65a4nG@sJ{iY zC9q!9j1nZ2LX_jBjDvfan)>`65uXG1X<9w`54*`>2?520?1> zc>W6_?fv29S_ysiYssBEFImUfdz&Gh27uoRk+!9S>rI-T#r7QS!gv#g<7e$JNZ_Il zWR~D62qO0#t-#Xskq>cyBS+QU{0<_gqbVr*hWt-8$ngESLpm7lV&m8DX_pW(Oxyd~ zcFQQqDBUJ|%KL%T`^?^ZO~*$k4#?*6otEaz*yQ@h(`)Y2d))Hi{B-}01GM8vOF-u- zy9GKKRO>rn4&n_^>ny7F1%KszPA)K}(}cnlWMO};M97-m$GR3+5|u)M9W6qRL}?EJ z0w0P*M8kH{ToV6+N}~Z$^Fn}U9eNRs5?{Y}s_cTO$soYpA`!$SYDauf1L|+zJ2^G{ zsofm~-la$&=o&y6=xGg84lu$K4}4I$7FX!o5GV3~?K<~f<96eixYOT|g9sttVY`w> z-(b74Mn9g4Sl$Bv8mZ!uq2YCcq~Sp$EFY5xD=)}FLrZUAEJjT4SFjGSbk83SZrqgK zF|_6Ygl||oj*)g=o4nWPcd}!GcRDE2s%AbuGOis!j;PsoF|M;n!$JZt_EnvQ5>pzil$HEeu(`iq=5mxO@K2a$&fX-EW+D|`lppI$xR z7IJMlsx_z-kILC(F%u`PaCt^1|J%jW{_NHjHmYz!2@|zZ&yga7QxU$2o%G+=(*fLR z{2FkI_rv78XK^F_xka${UiwFQXwPc3t1JjRzXj5`_cuy8`F*<~N&DPuRlXiYYf+gq zi9yp8&h=07)hF836F51L)_?@webQY8&@4Xpiv?l9ES1}9^g)^PcW(TPp)FCAUW9sW z{IkRB-ySa7OKKf5#U@AbzKVs5NbU7}Ivs*+p8o7wW^QM6c{G##^kIMch;sAqu!Q9k z`}MAv7^7A(w19DS0$C%!~@XQJ=D+akE0u(Wbcxc0y^TUtBkW;2>5u&qy!7 zKfO7TJ}|X}ul+LzDmML7J;2s-Fy;~<8>#<9PXvIdviqhvVQWh!KpH4yMutz9`% z8$@8&R|i=Sqx$zWQ^ixQ|BAQag+He(yfs-o3a8!Ao@>?=mz=I}ce@d4wU+v7OJG{Z z-Ja9UU%gA+>kmqIKmS8zLwhS4X%1(BXRY`Zluhu23uO`pXqelj-xHaUdmnlMfq|OM zaP`an>>i8aff?fxPQI$m7> zJMFIX>Dwsjo}?ASdVBQGucPYV$C;zE{Ys&SXNj5|L&2JhQ@~A55?irDZKtp8*VkVg z>e@zX>!~=aAO{m5dJkcbfobc2Y=aO$Zta$-o&&BHOxBuFxL;3diqq}8T>>N%@lrPE zBh*{-DFe*ET$G@hD|DN=n#X-&_Saogr+}?CD44e|HRsUQ2K*T9aUGz%V4Ek4BhEw_ z-D}1cdQ!{;Ywz@MfaGQ-78Iv5S;~IInwoIOwVAGfMBMAl+QX0Dwkb%`DFJ8j(Rkx0 z#HZS9v5j6h7-!w@2IS=1;&SpvQSMUS8Nb9=SWV}5Ny5g+T@o@6)ho;s5@37eqz3t; zYKkukI!;I0w~A`t+ThC~umpmn^%hfaztsyR^;252L!}-f)4DhnSp|t}W$N~=l8+fy zT=)BcS`wrJ;a{P!$aw8#&b+H(tI{wXA7@2cIZnMsGc;L}mr0L(;O8v_H|>)5vso}5 ztBm`5^R?XQTjn-@g;46tVR~i9p+!hAs|JS&HYvJaZ>|(_CvTjVxp#*DhEpZ1;=#HB<8Z3 zsISQIbGC2BDHVjG(Ey^8H{V*b2GG$;{YQT03D$Y6*aj0CmxJB`{5TRMR=(Fms&&o; zh+xYWmtn-OE7-HZ&&`sIzB7vQZ&GuA1j+_K0H*+7k#rG#z9v(u_mjshN7BqW-O|6{lMIJ&7|B zOP4>7UqXDA0_KK#O+#=Ag}EHR?kYys@;<*%4Y$elAz9|f%(+cAEpW8P7fOfMcdpgX zpWm5VHRui^p%BiQMslU=w&k!fQ?*ReZ+(gnY2AP==4pldDh-}(A%xJrKkNrLNU(|| zr~wxJ1fgVlx{G1%6@S!%Zy|&8Gd^`Mn#U5yCve`$dFCR`PinUCq9^r{&st%<=k^I{ z8X|iIoibjOiEu8uh`U%XAw(Y0+EOG(41aYIr7ekxH<2hk2^77KLNaxQ`p7)>w{D+w zLauRNd0PQD!QV~&e3-^Gt{^??LE^fyzECsz?UbO7D$ z^b2q+{x>A}OXcPzyE>2(^qAU{$!hKU&A3Pr{z?fm)CLC`YnpBVBVs$SGSaV@8cLg&DcU6IK9 zEeRwkcy23TcrVJIM=@xezG$27`ykw2IqRGpH@HxH^ zOwfDOXNz`3%t=qS6IlbT(Ut3pY_zD}(L3nCeyU|TdQSFoUi#ye1Tv(7gu=YnVN%po zB8W^KWdAzZ*4WWjOW9$!xx{R3r(>1}9|Fx%xY0Is@bl_fS9lFCRqm2%DsS<|51^cD zAk8LwU%3Rrsw22+q++@2>`CL!%i}Y*v}ln-+9!>kS>eDydGR77w z-IA$^k)WmA)DoCN0qVWIfs^W^-xqqD4)k!S(}SmLXeHv@G|8^8lMpKE;Pm~XuZBeP zog|edNQMII=dqbZ-lv#QPesde`*DG;UtT!`bkOgislhkSc@iYGU5`x1ka|+@+ZQtz zW8TNW1WAsiG)HTgj9`C3UK-wam*Kox%UF+fJ?rpg`qFbTYS0iA+5>*cVK^z&2DQ;* zSf%8>e=`{>y@r0xFACHg0-;Vu&`)AK)<0O(S37i)C`ReWk8|yVQR;Y3ruUE3V{`6SrE`X4^ZGoV@JczaN;gyKPvQTu~q#xx{qbR7+Cd z6c3W_S9d@l2s@m#6^SoWXM7QLGJ3o+*y}H_{)yYXifG;Zl^@rJSWjYi%`1#QXk8ra4-64e1pZu>N@g`+g?=_Wu!;`pHb^I$$ayGt{ z5ancO>NsKlE4G9qP2XN4d}E}ZrmKo?lZzRn@}q)ZGKB`FmEK|t+nM`1!5u)1xBP~>Q%T*h5(=#z&cLmkiWrtzoKGvh#x~0n+3WNXZ~nOVEbI#U(~6bB zMT`m{uw>GU6Pf}$J;7C9SRxUwjmuC&u*#Ro0dnRa{o1FpNQQmPZXwAwpEt3dPX00q zMm0IMxJ^C@6cs>=h%)dLvU|N>{Kzy=zDtMtLl2#Kh3(z@_M7e$F?)A+(erpI8xwhI z!ROqXvKSQ+Qx>A;tTn=1qOdf*lXN~sfF1G~L?Wh*pJsK;KFZEYY=`LE882s!Cv+DZ+0rkn?#)A_Xz|F8!C8=^H$_4X zbbeE+J^(vl2*s}X)A!Iv9Rqn#c*_6yTN|6GSd5aB0_3TJOX#X0_RbLo1JB-l;ygo- zV3HLe%s4!zGkcw`%(Qeg)tSX~X%ewO!PhFh)T&YJpmJHQV%GZg^48$5zkl$Au%}$6vPWUVt+L?C(ci-{HG#ZLnZ z-+g|;C0oAKnd&q+hcD&F!*z(qsFOW4eyy=3w4-bk7c`1rOm>#Ap$?Img~^d|oCJlG z_p0j;PovD_q|%nYS3Wg^$khGyK)2j_DUmk@$N|WKoP|~gSO`8Mb1Eb_YPdvlAX6UZ ztvdV|&|>tNdS>*lk5aH|$$(Nif{#ky@wBpN@B8*JsDY*?;xwC{=Y>Vg(tsm&6rrY6 zgA>RtUC^mDJx^Jgb(vDKUE%kb@Z{vS5juP#3<8NFM!yg00H1DMM~`g@F!|6M3h$8ni(@*{cKTU>t#;*7 zDye>~(_{|*`Ix9Fl@th&$xtdp1N_$+Dtf+`IJ>(*u}fpfRX_#qirunwa2`kyIS# zkzKKKNx@+z%-drI=@fmag398)tI*W?@K+seRY-!8_SvmA`}!5KbeEX?m8fH=p1v{6 zOHmivU=_xqQ@)?>O0iKO4ZA7@Gq`iL(Nx+9(^9)H07VD#0k2p%_I@$M_lomE3uc@QuK?AgCD9&;06S(K+<~jJ`!DISX!|$5uO*Gj-*5GXwaq6 zul31$uX}ozNtwW*-%H2fLrJk4iirM9ZJ+UnL7 zVPCDn?`j`0K%?{ejegYzN5Ydk=u=~m>B4Wj;IN6@@RCQ{tPZTYvCIEjx~kpcbX8B{ z$!a4j;rXS;)`D&+8HRf8s^4DTd;OD<`kTDh(x1mlC$H^JQ2Ss6UD=Hd8d0*G{Fp;g z^%drAXJ^dA<~PZ$rC~O`xb+Kv=#VlI^(Zx3S4!1)9f_7gwix~rvnXT43$xr z!fVch&F&NAhTFF5DPhMdg!tXSwls_C1ZPMi*^V|Xp3q(ak}OPoS5!YTljxpD(A62X z4tIdRlZx6u-;_5yJ62+3OrpCJ56A`~LXEaCu4f%j^hNmPymU=C z)$&Lcy~rsSlU%)FVlvHJSRo1#}sn828-2Ui~S{A32z z9)f^6)xtx-)G< zLcaD=3G^9FP2(pt=B^9dP=ZY?>{(m;wTJBn_N#Hfp!LbK%&^cV%J_r|>9w4*eG zwk6_>J8xAogq2ej)jGqO^jECjZ@bOO>1$2PSJu|1xiXsG(JI2Fk&Mo#d7uvH?O``J zJ1djVQ2O-qqTwjZ zXD#!pi_fPO6^4eH zcayAyEYs`V505ip^8@fp5soA^N;}oWRli){E^_JjtQs751`bJBZ^q7u#6LUoN;Dt6b$A2X%uh9i+mI2>ssOY_4vVKUxxHELNCNPE z_Ostt=~p@HqibNbaK3%U=?slr!JrtS@(z*6L_LcJ#S7eU4&MRXcYs`lu$#$B!L>OMPF zhmICB$H9oJG_d6z+tiK^N@bkv^$TGbz{gdrXaY1u@rHDoHqOnNRo^{DPLn|j^&niM zwAceRw}ZV!pjjI3@{@MC6*XOi3+3gNO%NfP4d5AT>^^N?Bh>oi@mQvrYT1%s`{ z5@IY=!oXdnR=Ho^Qi238YHOh57ZhA)Q4_y&w+>(Ff*1QM|JSlhT5ICJBe2PQ5f zhTL*c-;36?)1-eZx^VbF=#e5A2kCs3ptaLeqxI6}rrUH{E378CWTmSqcq6HqM&vS3hR zmAUsAZbB-j5s-fTyOb_o_KqK1FvZRs)gSweLZ2jg8B!wmBXWav8P}=1lR2qPX7o(i zo-#tQcP;*yp@Gy<;Cdw5xg_mcbBI3WLDEH9$+fBXd6$@y;;%KpCMT^eagQ!P{%fEo zSu2N@{-@GG+-F^b_-+!AQFExrWpTwX>N)$4zsXA_xIfMGmk^8Dl*y-7Y}o3c?aPl+ zLav}S>0?XGSC;sApEb8nr-_Ge8lT-Wza|MdFMQgp|0=ZNy+&)}Ion>6ym3X7FmW+o zomiklL(F-sNA2(jo`5VhSh_*Az1~I5uHn|ARWGJB`)}T24XlJ7=&3#?@aO4`$!ZJ! z75Inz-{4~GD%v@2STP+`N=Y}fn;07Q1R8BA)ZaZ_viRDu`h)^o=ZYw62L*Os?ZfN@ zqLs&sMmhITW~t$!(IQJ4luuJIq;ogxmGf`(l zJH(!;SPPqKHUr{d(6<_xafJk>lFGcon}e8H*Mfdj(hDw#`odYT)h=G(*B;Y&dCM&2 zLZP&X;QJX+PBDQc0YSzSQ#)YgP zO|8kRp92+YO^b6?LSIq4%Yqpf=$yP=Ob((Rs#We<0DWbDKpYsfBEYR2`dYG|!VGX? z)&hEPpN>%EM?1h$d7$00%C?&|s{`eyN$+1y*+1c*me*jc5`{B1TTNF4!Q_Ybs|&Xf zM})g!yj;cMC#})i6mo9N6!6CvgzGhwW{sCk%-J6uN-GBt zwPD!l*GYySou>d@LR5F(e9vbelDcMMIdYWwgsedoUN*f3P?-r*BA+^=hbAkboqWQC zm4Ub--VGUIEz@fG@oh)-FAY_kN|X%0y61i?riZe)5+iESNna9p?&8KLHJc7(=$*lX zku`3eDC!)*Z&`fx$xh0y_yF}!oCjsiq8~w0nxd)>nc(_^SZfrLcgMTwi}T#94635&MUV=q%nP_ zyk+h(SsG`hZN2M{%!xOK>?4{6A&^^yC@gk@db%CH(1Nlc?mskgDu z>QIA-LCI1&bz;`~mGl-QBkVy#boWHWl+N@Pmk>>>V*%l9=!*@@!&3;9B33BId6Dn{ z%nk%Af5l+uuCz9v{s7|CA$rqoy|Rg}1PC^e3$ z?C<4cdB$~b_AG>#2^)dl^TuCAE-uUD-adh)Ky>t5$=v)CW(jtb`(b!P;eSB=1PUBl zS6nK#R{yV%vkr@@>lQeJ2#AP;gd#e0!*tLkAzcCz(jg@s0;8ZPC;}1#64D?D(%m5n z5=t{5!q6QeprZHi`h53$h5I~r|8t&Md#!cWT6>+d|2Xs8&o77OS^2F}jFHG;&ryZG zP9IWrFILwjeF%Oi(nb^?cjG&J`;q7z@L|0i9Ba*$TKU%Xf)~cfmelYaC7F!;Vf4JL zyF9^h?`fYJ=e}&=)Pf^+X-$aAdwN9K%|)#48RSkn?#-nF*H@n!HT6>cm{HVAOIjKT z^ywCc;>YKVW!f7hqjZTxf3$+LLF%yo8OpJ<#{_b-veTZ+ks%Z;>Jn~QxP zIQ6}v3?A3H9%e<%<(*sO%qxk1i7830X{hwNiL;~GWsD*n6@SuwCq%WQP-AKH4LeIQ z&Ceczk!s+JhS0qA#r?etD;E}emhC=PQWYCJ+O|EqtFfq&*h8rxkoDYWskRjF?0WW9 zRZw2wyT(2QuFOw3!Dsory~NU6U5ULu4wG;j z-<*AGBe0_N^fw{-4{^+y>lgv5k_r9sh^qGnll1*!h|!NhT(4C9{N=?v;ztAHvrGKt@yr%nE0Hea)o?c6M5ng6c* zkm%J@@jPj~*achb@CSBmsQW5_p^Q9F^ z_P2ot)iN`nsc*EexUP6e3g%6}8-uwow-x@VMV!&U!_i~^CD#f&C@R`=pcdkHg)12s z+oPh)2~~OUDSUsbF@pB(OagUA>d~(9Rk>tSXLVL6zp^x=CmZpauuEYi^(B(O>+0_E zXAhry;n$dkEB#o1cx4#Es5|0Yi;Q+miB)gYze`UGeeuBxcnHO3M6k3x!ajMcbDPZ) zOb&M)`wI5C==oMN9h*O1f8q0@GesD#cJ?jZfJ|tyd)e7(Rny41TD@)cOk=RE$S0X* zE9f2k9;|l2G>&5$NesVSc8C9h6v<7eAta+?Cefrc;%fgOGOJc2CI>Nf=NQYdFZfWn*g6}ZG9*+tU7NuNyi$?>Gvhs!#)x%ea zf{hl*9)eAU0fqhUugBjdF+CW?)f;?so9dfq640?rcekO^SD-d_to_VmcJ5o{&*`(nb0qcFDMwm=;fbr?CJsYBnM?QWHswfY zXtt&cE~)Q(^EBiIShvj>h=k9lbLI~9lefFk?(d>~2;S^L)>AZo9tFH&?S{>(OoO}g zZIoRxctx@R=78S@LH(tvTevo%OY|SlH5nf!s3Q(?#FwWHOC!5l^4wl(i>fd2cwySP zEA0GKb-vdnSK>Vz)i6PI9L=B}%zrOK7)kydS}|c9{9Q=W}QV80&FuyI0&{ zkEJ}s$H*dUrBqFVaxy{^#iVDU@6gXa{?k%7!R@*mogpGf@G^y(3O%mGsl@{Q&QfoW z(Q}MhJbl566O9-!y)szH%m;E*rikrdB_9+1*#Xd$7+nlq3%~j&&GY zPQ`u|+C=W`U-vFP?0XrV@hKdIv={X&8X27t0fY8pF8piiM!B|?SXZ6X z>0|G+Zf~P7lirVKA1gnYD(HOH{}V=0X~+TZC7Rq)?u0+(_r_hAX$bnZJC!V7w}DS_ zN!pOI{KTPaX2BQFq0?Y1mnZxp*R0E@_|BYXR|8!S%}uRQsf)pj^8Pk3+U*^yxk8gG z%0w+liRlHm247vvTi*-=R0V|V^kSa(vC!V%mb4;qHh13 zb37*~^+qCW?M*Vy4DsF{)sZ;8-j&QP*=vE2Gw@G#c1w?ZFgwTLaWzHr^BggYgB6J6?>ggb;*_0} z^cP=@=5sS;n&r4Uj#p5!5LDtaHESNMn`p(}>NSZ$S=3D>XrodD?RsiQoE}NqpsApd z4Xq|$1b^k>N>i5E7WNn}#P~9qfSXxwd~y}-I}8a!^Q8RCsE~>??$?mOE{BbGNN8-!rK1%RGszPW9dz#^9 zWABZRxC-1$6#NspamA_jaM|T1{r|x3_DDgMII#S2jOCkMJHV+~Q5?S9(;rmu~o>XiPR0 zU(Vx-TwGGpEj&%*>**}FmO+O@QxJ4(aA@}q-SrmJm4UVW!m;@aB}1R|XhG*v1WY@= z`VOne6)rl+D-GKdVqK{=A5OuT-wmy<_v1y-jNf^3^J%&J>b}x0en+o*oO;SuS7~PM&E_O|_V}HY6@T`(6IBS}V+Z&q03rzI4jN zr_{I`>}1e+#j=&Ggm=P?!VEPEb1d~7;fs%Rx#F{9^5xH75)EziG^KW9sUPlR5W3lE z_uB(@?M6?HkI;%rxY1o{^0nAIDrbr3yS~RQF+Fzg8_PC27ptY?#_U*B0mcUP&ejR@ z!=5CbiKELZYQCCzR`Sj3=gQWZjurz~65_1C;a(mTsh*F8qON5~+R7z`e;RlI<9srE zrEJjI@(EMwP0!YikqmCNx4w3NY;<5vf?Fb>+$sAtUT^y&17<~z~>)!HQa`& z1?1Sx9x$=Ulg@T%83k~xELhyo5FQW+EVIl_XB`h=9!^Uhwd7)XDj>s9TNUG+H^^<1VS;=anv9v(v=sZX-ESHUVLLmJe_tQxvOFflT9r;VR{K6IUaPfaVa}fZy?M%( zxxA}w7u^}FAXV++IJ0Msc>+^|>CtRu_|)%bIJUqTA&nH#HX(h~g)W2h}v z0j_PO3X8lRY0q?zHr9E~lgS@EVI1e+vLMv=>BC0PXQ|qYt)XTQX^qrkwY;cS%oY4_ zZxU&Z=h(FMs0Jy>(mSh6_`+kzDW8;k32L_2JajqlZq_*7FzN_jyB&NqA2SBPE^(Z1kRWK9<9-VvRJHCm!xiYttv(6WxlDl$4XVTy6gHia}$S5u$a75=7o-I8$ttk)L3rP zC9vdtN(hl%F>7TWKiD8Z&piCObN%Pc6bJU{x+V|0o+QU5qLi+3n4S|fLD@%v^H&uQ zj~eI|(jE*ay{#{(SM9gb_DP@3O=9Cc=?FE2p5QFxU}Gq?eSo0p)4KjrfJ2R;yf3D~ zA#A0Ha>{>d^`UQOV25@N<>iEtb&|P-sWa%&`k3_j+Z-y*hS+BbU>0ki)Sox6&W|T% z&X!SU*p8}HeX4OpH1Vpw>C`Q{h`W*TR#-MSgP`WDns}eV07R0-PsZi>#kQ014flFj zF`}L3{ha2&{DF6wih_aZPZsPV zsf8>DtT_-@R>nI?&}E=Io}IMs=8|ZJ3Z)w)JI1q%zUN3}s=s5rp}eTKO@}LRl(XG+ zCaA@X1Z&iX5V&k}C^nxb1P1c)9aJlLEqZwNnO4aMFfT+qU=BsJvdy%l5u3f0w^$b4 zhmBuO1!41G?^1}S?IQwXD@etOy)@}xW~oSXH-}TE&&&~OvV-~8ANP(v!>x00>sU#iqcj&W+{9O}&n3KrvI zVUMgPjO$PilFQgp@Yf8g`wiammdrlf-Vg=)nWIuAYjy0gudLFwLvL0APBCzw;4ic?mQHj?&iDXG_%O2kP^hrt+qt= z=*e2pm1|*zejYMYVPPb=pX~SGBcw&u%>sgtYcA^EYvqhmUq9%yj{0<2+3H>hOQnyr zT<(MHR{rQwt%Rm1)*u}e)qdfwjqp44h$b&K!4?Jq4S5!JbmcxyMh~Q^W#x!?Sa2o0 zW^n)gpgCIp!H9ac|DOGUMb^%0?Cb3BYd$`w1qbO&7<=C@Jh{4>i+hllKd6zrF?FH7 z_5CV;kfKixOxskmgopZN=&^Tu@+ zu1MZrvh#}zJ>CUGrE;9FouNKeX%c;pn!vlomYGVfMlvmjyV5s)5BrvyvH2c$nj2}q ztxOHjC|vC-RDGjfEtx15nb(3Loa3HcXTrHhe+*_G;O$f1Y7bvOs~RLesZY^Gvv97M zmH*0Qf_MUvf%>X$uAc=J1`+;a7}+Q?;-C=y%C?E@Rd-bsEtwL|mjD|xAtTurS8<#h zjQp|d+~4j1H-AOR75mamrDcGg8`X!#D$Ri9+z^6|6VmppcP_o1?6fWYrjTI5h#N5~ zfF-ny4O!}5mJDycye3#JDftGP+0ouF-E?jCT3QIfbqCHNAa*v$<8;~D<$JNxJa*fy zZjxcUXC4JF3_A(piWxj&(Wkkrxn$=IPhb1`eR%ce*|dR3%SCs>LvI0J>8JkcO3BjM z%p=zkR6^`OD^efYoV{0n{k~fW;?n5gwCbi!%0zG$Z+tSL2uZoM#mSNCCyd}Rt@vze z4^G)sbco&G9&OEwEzq~{x@pRupObYvS_fyD=(n}@q^w6r2Y21cdQxk@4#EFCd)zs; zwvYv3Al1}sX&D-s1cfuVk?phlY>qOlwnk}mjE8Prs=Mk7&bisIK0DnFi|&i?iXms& z#cw5XPH z1clPcizlI7VDh?T}m)XT-%#@)lp)!jza2d|e30^`37 zfwX~nl@ZWYYABVcfrGWDy$2YB!J7_)%t0`G<1k17gvKuogKps)hC%fBn{N6a|0{-3v2+4Q^ z)aiivJZ!8y9b8=mM9}08J=B9v&$}0nqW!6?t@bB;IKP zM9r#T7je(G?0%gfKMTZVDuZry~McR!o5|kV267?kNxtDH4O<0j^9CfNMG$|FHs~N(2mr z7ySa_#z6qa?f4`V4y1m}0Ez|5@^2Xwia{LL17yhK{s7q#X!(~d5CHs7Q09L{1qaC1 zzZ8M|0A})U83f=r5yygoK#?%u5W>G~0X-NDhKEmsxKF{*XuR?CQAr^9kfSRwQ2_+uz-pmuO;9Qi9F#C zje`CoGyiXmfMQ|+?Dbg0XaEL1CIfN@c+iAC3xK}@b@Krxai}Av`Pd`|cET$Zi#_24hB(oOP#EU_kYO<=vq7N#DJ|~bQ9+O= z+5mzE#_<3F()ff!C;~W&=vX3f4C;g)9Q#*t!2OS&x&N!)5P&K^<`8(oPdJ33PG$_C z-^Xl$b;cl%$$)-F;2coOApzw1xE>OMI1wNMi9KlxMgFnH{i`XE z@IPzv?ow8U^6=YL_lE> zpppL4V+FP?2poH?T!0J-Md3#lKx{Y&a3+GQt0%DK{j=9niK@8Rx&ps|{y91?K?R`O zC17&0XjyrAU!N8{L;c4OS>FaJ|O9h00 P#zLvMPjg?>RHXVJa6J|! delta 26123 zcmce-byS>9voDIfySwW!xVt+9g1fsr4DLR-Ly+Ja+(K{&n&2ATgF9T_@7?>HbMM)I z-?e6~e){RMuIc`DSJh0)0Q|!Ye6j*0MT%k!43LA10xT{^4~o!H1h4X;^&WhFXm!)l zH}9!6SM{=@&pvhXTGd~!QbKDPY}K9pL0RVU)B*~G3`leEPRogthN3|T?uVZdy)b^g zu}`Zn;Zm9tGCCvwtlo;+9H1qo+s@kjyVocX<&D^C)vZT9mc?hi?O^z;Q@+%9h&ktJ zcze6)1up=|0raIsBh0Hv_zo{@yL7Se&iS)1rc?8}9X76MHVxk&VdT^GhR4OxfgKY9 z{nM5D37Uo~cPl{P2vpFMXB*QGV3NDGkLC;?>*rh=)N7i^c2Jhe>>Uka5RYMPu3$mw z_tm%3PA5`Wzn&PVgU>qLUfu+K#LRsc&fO)&WmP&&J%uA-mJmKuP6Ivf^G&|Z6srv5 z4bWQKG`+dGnGvrzur%^L>XvPLRlbCeZ?z!d#md`oq5p}Q>ZbE3&@ zQBWtw%j?(!tIPKma)Xg#-KAe(6bA5rT*_pSE1ARbLmjDvC~CLuCPti6 zn9Ab}uObY*ZJ?($`I0E5$R$@CS_ve5{R_hD$feG3#k80W>CG?qe*owCT{!cX)4b(7 z^QnB<`Z+;tbxywO@ceeqo7juV;3VW9wF*g$IW|a?PcFARch7R*urFq&=b6Cxha$su zivVPF#ky^=o^?JtOQOti1OT7J$FT+%o0w3@{*3DrEU@{lEQ}<+MvecasEpz2z5+D zD7r2J!nSMPsW3!uTc3z7u4kP9q()Fwz{$(;u_e1$3v|eGs;aA0o>4J|GR#|{faCig zF#z_P;atL3heWg_N-Ly7m2WG=a-19yee{kjkq3y+Mg>T}ioVNxr|)Z!(c2KTyF--v z>nfHrT-}vga?^XBa`N=%Def@#>Uv7}CFKrg^&%C9xy@%Zm(4r^i9%&iV=qAUW*374 z*88{F-}rMv{D;8odEdnl;l zjhZDqj(mx!5jj+RBAtaUYCJA=z=sNzmxp5(#mYoDogcI{hO((4HbiZ`7!2e(kh0b_ zKhQ!I$5+~d1cbdG_w(-+Fk0-uq~_3t&wWnin~KiUR~F4(J5M@1BcOi$B6IAhSz_z7#17`^0U;oECv#?tXwo*RD-? zAw@WHht&qPuEmXqJVeWEqz)Z2P}(a+c2z`Z#zLzLVkZSX@hF$1> zquBUz^I*S?4$C?Oe8LsRQA>(mV_@zfbsc2>vi1a7p$DHR9(^MUAq`ob$6R2`FLpgz z_($wQcyr`;wzD-v@Bs>FudYeYC3J!7RlWEK@q0l-j*t5)!|ze#%oXan4s*l7vnute zN36_@;Lw&E$UHZr*4XFI#Aa{X7DTUR30;W>#U!$Jse$JRY?#V+%z=+mzTJi@ujd)XaPRwdIRdWP@_oG-Vt&3s~Cbc<#!1`@hx6Fb~M0uD7#jg=fiI<+F^ zUx_G?hf(1~Br~pVHB!eF`xK&D<|n>Q?#EM`=U6Ap-1Ku>MO7-yWow%t3*>; zDg6YLlTWC6>zF_Gn7-njmrJi$@qdCeI#O|o0DSgK_u#GW-w}t3mo*-V92c;wbny$g zZF8T`HI=ZUJL~uiDj^z4*V$#idsl3HY`Ps>ry~sU{Q9c7_xy&V3c<)iXhNzQH_i*#&dOsSTKqfcJAUiaK6-@IN>HDK9x;`#Np=C< zC>an1om-Dj5>;wlXf-JM?Ud^%|AF;j3yMhd><@1&O+>2~NN5M=PlF^sGuyOA`4s<@ zmU-s5Fvc><+sR8?KJxk=Ci!z4d0v*6kpnU+*2=H4e&TV9%uAl%}x1LBMK4-ejN*BbL_^uFJSzjOOWf(nIN5911ug58)cdL9p}3}$qU;TlHtezd1?_kHo0YPwC-<)6Ag=l& zD3;ryBx{FqqdBfhVV-u~Fx$AB`azF5aSKE2ep+RkJ2@uPxM4kDHH;55PeI1OV9h__!&6Jlt%&yxh&b$oNpuK;SPA5HrYapZdy9X!Vwi3-9*g}E6 z+#%ie9D2U`<=LA6G7_I7-}wyb`&S?G199VyD-k3W+>1=vkjgt{{mvhaKSG;^?=AE+ zwOR*Q1X9X3rV*f)Tk!f@`L8f@n=(5sUS z%Hyd;Kj`jkIM}lLSkMHz&h&?}(Kf3p?~DB6^Tu%O1z>Y?>WYx11#Vy!Tc$SePy*1? z|H_zO&PbV=hdKgq=h7_ky1R_$5Lw~)LW1XC<4ZR^obJBya&P{;mCc{e>0~xs{zX6> z(3(!U?yMX^iA-}3Ronh4=SQq#MpCWMm#%`j`w15m(dGLR#h z1zDMJ(X5Caur{&I_sdjUhS&YsJ-@jJspYdC!K5C=-wCCcB{Z=T zJ}ip^*fyj-E)9U-{#1mq-j!vcB;*umaVLc(*o=0b(_<8%wZeg56>e5Ds6v|SHn#Ow z?fs2{f74$YWS~91EoJzyl+c2{62lMbTAi5K>sv1o`!*br?jteBcUVPmOvVOOL(!*( zuUyGRMm)HBGP%#|X&&kcSWC!_YzQu%nRh{Osx6s+9HCY(%?oPn9=W0h|}4_wa25`bL`!c5Oi%Vv$N=%e)0Vy zo<0b3ggFa4(EcJ%Rmcc#^)A2-HD=3$p)CuT_+k`^A2xs(&U{s5jkFlN_=OP0^*c z%&l`bEXe{hO(;(*bTG24Z^LWXDjqjtF0(wHRXe^NwPMKrtIBS0R4`sKb>?lW z!yH8kQ#?KLRIkMHB=SL1lkv-Hj4)P%wFX;pOq3jm%%ampet=}$FCdoS&1FTggL41H z-wo&KO^rS}voX_{s^iTje{hr*USmXtJoG{DAUS8X$(BQ4yd3fm{G(_CKCcm))1*&$ z3R>5NO%fu{Su=kLjG}h$3Wd$i7pm{huNv0PfMP9FLh_$2(1sC18)pl+zpBay!mnaJRfO zVArC@@Gx0|cgNcpp~4vkz6_CCVA&HEO#T=GnMFvx|Jlp3PX2O?2)>|$P>e1fH}4RA;(p8p|k3?)7-}M82AyWM2HKH zCnHR*A*L7l{*un;m=#itn4%V%_FF{BPVC_inN}A{B)eCE0<`>3^e{$(9V1QDf-_YN z^RVfmrKVhh9|*3daOEwd&p*~|LhT%w?v||`?2mgEIx7k|^Xdm_AhEUm6k-iD5$g$gQ#%%73fLehu0V&u!0VGhv4v20fpx# zz2}amPN~SH0}=;gH11oN>A5KS0H^8O!tqjR#leT_@n{{wN$GG!?7E)ce{n26298f5kFrgeACBIUMC5rsO9B8ubk0!PNgV`l81 z+Ra0lbBO9mn4x##r|ffA451rzar%A971BGqlmzcZSkjsC*r=5l(DRJY>bv~4-_+!-MP)nwq-K{CQQfftq1ai_H-^~gXa!00eQ8h=M}~HeyeKQOu>RV zo%?xo(1FheM!zC%sU5$&47O!s9?X>~4E9CGdx;P}5-Xlwg;W3)h5Tm}p>MRWto6wJ`9 z(5Lb{3)Rhi=F*YK$nSA#o|NTcjxIC%Ko1X>ubXe(ZzJ_dxuCPtpbYg2);Tzqs?Buv zn@CrgITcROO~o#!=--NsV|ly0mldpZ63n|N9iD6Edd_@DEfrl9dBv=65r=ZgwXZ9g zR~FOMbzKkoUZn3|#{anPrP-d7{fiHm~*yoCQq%E!;f$-S{+62RROe(`_C5gh2|4jw*|V~PV?o;t6W~wJ=Ow-GeE~{nG6Hr zoTsTm^59^HF;~G{-53}#jHhUP-yR>1p36VggYsV(+VyJcyX6Fm@r{N;PD*XvzUdeS z;(`QowvxXVgxy$5yUQ{_HYeN{Fehq5tZi4c8i_2KQ2uhVGwBx7?VHLOB1K<}Zk zNH2+diXWchBeCjHFdzT5c&XY-F^!y>=D@1V2EFvG+Kns3GTZ1|`abP~%dS;Vp8(sK zOKvSt`YibYG}1IXXxCa*tgeoS-SRfxljBnWj-*^(Ip=c7ze->y^ki^JaGvDN{u!ty_1zV!=f3=3V~d7M~Ti>@NtIX4d#S z9Zu;cYyX4?UeP^=C4Fco1!StF3jB)`Y;Wsk4muYDg_aN3TVuk{lEbMHU?17qyZ!9c zD#$hC{H4q}NM1IZ%eJI{Qd6rUINZyy_>jIEBzG7RGQZ-0^t- zWuQKF)2(jzgUD7D5)lh4df*cJAQ4z5E_Z9P0bvh{1fUd;nW|mWwQf7kN#Z&BoD<+) zBW|=+Dh{D7Ka#Li6`{pMt==|~Z%agMT=bF;lHkTsl;TJpy6N!KiQce%98$Qr91M?C z55eOx$I@*@MeTpThDH@Mp5|tCRJ4v<)SJgbhXozo$@OkzE{tsM*n?V81 z4_9`2=ajoA0l=K_x+T3XTZc0v;-)9vu{77+(VO=7&toB6DJcgJl(HI1YpSdny;~^t zbx)9n_(3(dI28V#a3`J)dWuLj1&YhVfVn zm#`D(OVSAbew{8QOcjNF(}WcFE!^1oBvC2%%U{*R@Np0MQ0WI=m)zDkx2|6UfPtrW zbM?6Jbrz5Ns$(t_ju`V&zf6q)P??sq41-}rMva}(ur7N|}m>vlVJ zy(6R~-0w^9H6qHWh7IYF2P&R;X{MsfXuJeUdHUN%&bUCeVXww>xgZLST74|Z)32^n zT<0#-qZXEV3Agy>>%Dvrdr2S!F4G!u(Qo>O_3^4^DM4o#x9dT4VjGAi>i3J z)N6v!-_a6Pv5(<3k4=ka9~G@9JMNc=Tukg9{bH@rzxsGFeiE8itP~b6))A|VM5Q#; z1U(RA5JtoIL~amaA(`{Er&HSWVh;xVyd-H6*tHr-7|h>LTZJ$u{tR*&Gz=q-wYTYM zg2uG2a&r55Csz-;L^k}2`eTkOUqo1#U$IN%OSz1 zrCX9AA`k-|pQ+DXboGGj}5us!y_6hq}WI@@OCG;L&-eW*)Euu~?kn0{6?B0D6 z-qQ8N)-%JsJ7sVEn$R)}okmO!DX|(HKF?wUYdn*DIWtjD@VO+K$K=W5*&F-y<)v}w z1;~=X!~S9#qEow5wwCh6Sn6As*;S6EDZsf3j3GfA#O>1Ny8yM1%AdDB0BQhWki64= zv?xf*F@?VFau}46WD7hnGt%sZP}>K^1g8N@KBXeZB<0yI85;lDN&^N5$>Q=mx4sFSxuHfl~B~bjDGjA8%tPcra7RyuOvorhasz6=NMh1-Zu@-GQt;k@5bNa<5Rr7gOYSkHf z54{+!-Q4?Gb(x>w3q;cnjEFw&9}Cd#UB`0fuNC(`j*asBoUl-q*~^SgX!GX32T0+{YZRVqApMvEa44nS?8sT{o|8Fg z*W^#2k>n4YoBJ>@ZYdG+`yfr`dnfkUV(3rn+Z}I-8j|s*BYF@*SyMo0SZlBeI{r( z+hlVOkVJU>B(x&<9zs{H^I6TkiswhBP{WWrWy%^}i^F#EuY4w+9JxE*?b zIXGyT7?&Gm-QVVSg(6QPStPzAB(hH57k&Sr1V!e=0M&p;Ym(wy|@!*na6B{-NFu{{<)dlWDo9A*J&i*oJp3J@zc16 zr6i8=Oi%MImf}pUEvPR%_6uxgIHHdAPGE!jDL=z5kkG@9(toru6F9W6s0KypY8%>V0(o#8RJdemwiX%3qb)X6fAnc^efQH~UverS z-L7+`M`&E((gi3U%W#QxBFb*WZuEkW+X%V*e_wWaxWNEMN^Bkq0EGq;yN0E^v!|Q6 zr8@-=7kCCy7+lOq3dslVVq2k@VUm+Rji$G;8m-r z6Trs#k!I!O=4S(NaD4Rn*m(cFH)mSSLt=uZm~}}wdDyr)c_?@|{z=aAP;hW@vT=Wq z0zYot++cQO;(sakn6Z z_kR+-yqw%0mU6Q3gE2WR{zDVb`WcJsLlYMV|3~td>thti#>e%K3NSjGB_1Cq8{fy( zo(l+M1G}_0N_Ky2Md6o`+t%60;KUcKU8yY{%{ctwVe+K+tm>YoP9C0)tdefNE*{R-Zl*3azU&sx=AMq0P9HRG&Yn&dtUz{mPcuhbcXwN7 zCwF$&Ptux7;;b6~3<25vY+V>dM36o{{}os9{p@K2N|B!tBNFW(0>ERc&0$Olg3p`zga&t72H(bc2i;N)WC<>CHVPP}aVoE-nk z0vEFrko|}8e<0-LX5$BNfZ=$lwEibKA0Ff5<^R8J`iJ)aWz+v48u+pLxWR$ERD}PN zWB~8Sx&n9bQW5;m1Bz2etGkvy=mtl~bxz4uf4GCY{&_hA+yb zfwC+{mZe39c5VrzGJkacOiv6@qoy%PY4=^s}k``t(<$==Xu2 zvty1GV6hoZfBw6JmaO?Ij^rl)%Gw;X6}}@qdl%yis2}dQwjrA8B>cU|12bs|HuTqg zN{d9VB7uEhcHYwmv%pBBM46 z+sse+AHQ;MZx|Y+jVh^>7aXyUowAX17Q~#G%9rXneqwm*`})acQo)OgDdO(l4ISNN zfl1MQa**F&Vwv1$egZ}aQtf1O$Nuj&Edb%?&#v}$gBMuXBpi5flYl>1ga8Tm1IYh5 zvOZAxKh3{K7TA@K5PZtUi_gpP0XKk;6XCx=o%aL#IXU<~5W5ZP1N#4kV|aYtk2)d; z7vKLT?hpL`SmhtZ#eWWnHZZTC5O{?P6)Yu) z3D!d)1G@{-!1M5b2>sZN1%lid92C6&*Y1GiZiW^bg@oj3o)i{@1j~z|LGpe)N<%{O zHS35~K|%62LraE0LGc5cBc=VIz`sIpn{nkL_`u`qEa2hbS8(|zee-e1mVV|62P8}L z-FhQrW*{ddZS&+NnntF*1td!w91zkQGSkx%lCJFwC*&v~6D9|eB{S0kawC&8_v2-* zC8P~krqNGGwoE_{KeA{4DXO-@su>tIv&F-;iMb4fZ=JJ!U#D$H2f$dnc%z@6*M*3=D7$#m^L=0M zxE_B@y?6or?%~$rylxR$ulBE3zEqJ<7hn3dK)_&X4{c>)YOxO+JziaT36Yh(Opu+e zo5INOOU#6MtIx~=3AHGUdUPT39vxa8z6g_m3Y!y3@)We|=m-H+(T2d|fk38bN5*I8 zo%KnmUF!#b_v%(sVq;^Amsv=RZ$;Y= z<+_2u#{exs6+wBx2=GBGLxONo)BsIzZ<>VEKv=P#P`eLF2EP|jPR({9V8mdwDX@zY zs0V+H4dWa_1k=EORhWRpISb}_CzyCO7ejw&qsZ;cPf${Fs6C5! zSQF#fhu}=c#VBH+96|7corjKhP4Q<0;`loV-wS2+Yv&6tHjl z1z%#IN6}744-uN4s-?>N2E;m9oXnZ*>>W{CAO)%3hg4B^A-F;UNHtejV^@JcW#xD$1B1CfFCt{zb;{6*gi4F;MoD?7VmSqDPQA7bYBVCYf(UpptS zeo$XJD2@`>$9HLY1#*%?8lp$cN^BIpDe6lKCkBL<3zVPlOXY)e_~ZZ-05&@qa#+kg z8TIPo5QAgplpKXW06v*nEQ%25&jPXEC-VMS0Z+)TsZY$@wz&@~WCuq^$EQZ4tc&8l z%hFSsogn=+*@6KyG&Mr`bu6lWnMtosV+@TPx{KQ zZEx>ic$(mJJ6`P}2zBWJ7B72_l!_+TeafOx@4C9aMU10kPaylU?=s2U7_A&_peI#g z@kA_&&qbA32o7eK_a-mY+VA#5HDWwswED6$#?v?u(8!$E?{ngJ1EKWiUEF{Lf^KXx8n>V3mbeizs}w}7 z0s&rghKZ^CODt~2^ak(B37wS|L@fumw~3G{zQ-GCq4t`v1gT`#hgnK>`%Xb7CoR*5 zNz--d3^V3*MLq~Qo4uqbj`jyc1ImX7ACY4WAUwc_s{x;(CHS)6At_5iEN{@ul%*_d zr!2uBnW#}QkeFN{%X=_}fHp`B;q%F6GVH)-2-+3hjeIb7b=^IYU5?kYDe`6ao?PZCxILzaj37+%7t5{-RZ~sRq zm$*^ZH|}lZmKtP-o?1*gH`66D+^mwNw=9VtTa8;ECG(`jWI4_J?Y?~%);zwMgpO`T zmB3rml$)`g#Wuh20C*uL<-8&C=bCg<0{rOSY(`(J;b zVV+StB_pXuHe!ek8PT5?%0AECDjF}(x%@qCy;9+>U>P@GrjbnZE3GrWevUt?KB-(>HfJvdHhPR2MX5VPkgc556kb@ZeP;TlLn??kir8`~Z&GiB zuBzr2eM&pF^%LZqh9g~vIBCf-50Ln|>amv}n{{l=iQ8*#nVk3KT7(@~5d7x}O0B)D z1<8je!Y#Z*VY#Sb&ql~n)5ed0FiNwEdz)XoLUraz>ty-`&Zw?#$FI#RSw+2lBJDj_ zqrBsFHsoC}*(qZv#~!i}Vck4zpLcxEfrxyy^Vi}idOGM#X3jctCPI3EK3;OkP`ni` zFj)TGZGQ4oPsEQo^u)0SuM5A7{nST+bAdy$#Uw~N+N&cGu44$jlYyGLu_Yld0Vw?| zAp(utCkR(CjO)s{EVPdN?ou^x7(#hGF6;55rjU8tVqC<9=8aeTW-)EG9|s{VejCnK z#s&D+7z|Qra*wnB`vtL_>8~Y5P`<>d-bSy}{5By~EasU#fw+5yiG$Z!`Ahq09B-?jEf!rhXUC?Iud}ai3`s*kq;^|*#&;9bj)a#YHVIwbWNkg3LyGyt_6%xmNf@*MJEtoQj za%5`ka|1BCuz5y8ytxg02hhLa1_pf9v~>;PSV7Eo9aeD6+>!^I^YMt*=sJ~1)~@Kv z;3+BUnvO8^I!9FWuogO_$ZFkGtjkHKFM}}G^&~{=@4h&H33?Sj65qlJta4xr5mHe* zbkM3u^Pl^q2j*S-9V3LWc7~hm(d;Jf_1m4zW*7;SuIjrPVmV>H(2k(t^sV~hTtDAM zvO&AR3xe{G-Y|-MKig5FM-_E9UWgl$1kW=tbi8o$9=Dh$kZ zz~t-tb43Zo0j^`k0yo1MDKLS|^D^YrKXZJQK2p)f>?=B}NIehaGoalVUo5y5p4zq( z2PYkRaywD4tTeO4OXR1vIs|>g89qqfkAA(;lEB4Dt)duwf^v}~z6nGVxTu&yoT7pR z7W*z85EURy0$LS*Jr)#Q_?VR$hP!$fo66DQeEp_;U8(5w8(0EWcK#P0QPxKXEMOAs zZf7@OQd!hDtU|6I<9V!zi*A(pZd=|j+f}00sa(B$$d=oIp}}*VmwIoo=?j8SfBoAf z!o}dL3M3H-%&Ni_oSmU{`^1{CDI)9Sg-sNcxPVXE?iUzD zpKzBhB%`3g3@>CU7mXJk-B{lhPM>Kie`%qe!hv-1Wd5#pt0gdCR{CRm+|3^m?V7Vt zECbj0r*@Ka;!Ai-5v!O-UkC_=aO~;%IP)-L0(c}9xbdAgwt!S6{z;S`r@YIYJEJC}K^3cTEDUGuhw%y)d|lO^YE_`Ey0TgLsk zDOCBdb;;Sk1KiZNONEo=!uVKW-4M@BBMk=*Qs7pQ1o3`g=tn-aha!TUo;3?rj1yQ% z&Fe{c&M1g#Bfh`&FsL9ihr8jCS3)3pQR6ZJ*3-7gPgI#(ZiW@I4yu{x{q?@z91bP;hDcs{9K=>6 zoRP|9#HSs>BwJ&hEwc{~X7^TMSjOQn9qWmc^xZCxAHTYbAAesTYGO!P# zZKsu}pGH+Cn1xg37|*Ki|9NezSN@~~{#l&k&3@i=gh~ULzjhRE%y0Ez3i@N9%B;wl z)lKPLqoNn3$sgm#FceQtWV+`4=J}?aB+7ZF=Qk<)4M#GJGD4hdP2w!78b-j4iX-bK z6C@6Kx3u9()iw@l48Yqaf#PIdRq5QU()yGT^j5*t;lFXEfP%xXaXe%T>?pAPmD%Soz<7wnOg^CHt2TU^g1Y3{uq&;N?tX&&T|h~Ehs(4QMH9lu1%z0|9J!vTd%XON+2j@Hw4GvkncM=R!1qd&6djKhibMh4Bd6@%_cx zTJv^Pp!yElvpWW)Sj==$ru=g85PbDw0CIkV*>MPd(UCqQdNd>VF(w~@1`fjsD1JwRRJ*MdcXo65p0oCGTFT-LPN zaJvN>asWRq)O8n6q-N1hF?>DF4_VPo!;F>ceOaNcDhu;#8JJV9fb6?aYj1=EK6G?` z>oIlH%brjS3bigx?PrR<{zoFdo^B5g8kqA>bXCvOal(Vs+3(PQ{buaepe0{?7iz%f` zpo=2KZI!G9gkw=N>lC%xoh{>vPjdG-1LEz;N&um%U`Zl9Pak=rQ*+yyY)@@kF$p`Q zpa?CaG@Ats4od>ud(c;&p9_YJZoegp@4JdBaDOYt9bf!pz(oUG-!fI!gUmoUWdfin zfGobcT`eJ0WT@KaVK){z(k7`lR0n@spv$)tH)S%^D8&3Z_5j>a@p{40mnOe9Y1b+f zMvqn=`uK7zjE?v3Bh6B+nn!40!z@Oe>$SFw?VVv8E3&nF^dobdnx+$6^Jw}D@PUgR`Zm#_EHSKHOC=%+AQv~|QzcIML z=?nNq2QyKozA?I_BX!s;;$uKf94arYUbuI_PKjs?dRv=l`t~Di>e~Dwo0SKtBqmhk zt&ucf`1fAcU}_tIanhmw9&1GK5)w%(!#Ferb=_e!{KO3R4kfO5nS8l%tfdV>ComYA zEUDm#T^g~|aMMq|e2g>IQ*r6GsYi+1v@btJ>^M%EwqewxD}*~nLK+yx+?G$S^XpcM z?Z7YIlM+_6d!B@5(EBzn?@IupHlHRApJV?!U!)&w>bc|5`^I@FtN;#Lq@O#zF}iSH zD;hkI)TqB@_!S8oRS2bmZ|pzoT}g%8eO-KeWY*0fCLOElssibp1__Z?;1hI5tf!Bg)+KQwRt=&UdwJRT<_^J~JF7D8)hKtr(dD<~h`~kV`ixz6C4ctv)pM%n9UOoZh z2cnBgwH^b_j%%rm2Wwd!7=)X0wh#Jw|wzJiY!YI&D|NE zINczs{NI?&5da??tl2nEJf;E9o^Dv~+kZ zqw|c@DUBs{+Anv_JzMoAz}vX_y9n)~R_&|X-UuSk0!28NU3KbDV;h=nLF|H{SodKR zEcq^Mzj*mUEv9S*GiR)a3VYrmGMvSst=zfW!OrT=y)AhV>{eE*=JU0{Y<;Ii5(mgY zYXOH~st#QaCX1OEMS=P~0NVN5r2f+;tywyo z(}La0n%yM&kA%gehgs})7Qv22$w_Q^KIsUmep2g2d2UYm6>cPhv*XoYk4YrEhaWfk zn`JjeaeMio^GH9p_SEC~lzU8Qsdbr831stc97XI)8%^37*sDZTBi19A=f}4qN;xcF zt2*@Wpp>Wa(hOAa_gqpliD>kyhVAtyKckgz6$~-DLnyz)U+4TC-U+G ztRA{cRcBUhVn3?Z^K58%BqcmL`ygq0Br_O^z@B)}w>=ccFS^%ic=BIoe);w>tuX(z zBK(We9gS?M@i*e9llJ0Z3G;(A1h+jw6TTuIT2f`{m*)mF+?j6Lnq>#6Lqw)vMFp|+ zrb?REn}mV}OiKj>T5Y=V{sd+6YT^xx-GvG4MTGdMjmR5E|}0F|L4dF$PVeR&Nn|g8~>AL14GKz-wrj z%r_)O_mE$@l-*H2ZrraN6nSNQPX<<_;PAE-)ISxBqw98XyO|f$k*2}yXz;jlO+?F?(}sD!7T}4! zkiFoxsMK@bcpR--JvJ&1c9X}DTdUY|91^rJ2i4Bz)@5{L?`7x+s#ctYq!c`E$wi~! zH@-NW93b9c4Tvgeb=UFhEruFi4t&wj00A7dJ+U}`&{j+fWy|NKb`@-N+TgT%e{Xmj za8ND{iRSM~NVC|>jK!)dw}GY`J;(#o&yyf6(e&OmJFnwCI}8iioQ+aT&E=+BCFAv& zJ5pP=Gm_8S3r9S)74NTLtZN{+Gp8lHD!)#{6>E zFEE=$g5&neb9%Cni~Pde5+~dC0FJ%{7}}z~`qRP+;8)1E0|)A|qhr{qV%rfgnSD8pgXB6P?j@>bg2G!K&*(o*+Os=-uBh$vQHqH;#Gc{H|pqzzhZ6at* z-+NO*dFzKKzf8roS|fexAm5Vvv6)UgkDj<)0+S(_#JGjIc+}qtg#te+g%R)dr<31G zzH1Xi2k^9&S$dZ%w!~dHPly|t_;kUpQ)V~-pOh< zS|Lb_>U2U_V55>OqwQbU#4Ahl4A`^a=3|}D+K(CIhlkdq^+v!gOrPQ6C3iIb;z4$r z2~1{VFL}H&msWuVh26Qcs#ABnwLJz~ai?kKz`gpA=n_VVD>2H)ui2PD5_Vl*wGEs{ zXjpF+;C=k-`(i7l%{nrP9JJ6PvNj$Owe9nOB3REoGWSR+70)zdw>^wLyBv1ogqf6m zvuDGz8Mzn*9>mn`s%^wTG6;_xCF3#y$tc#|-9c~%3)4B`MSKmF)HzW?JR)vgnUifC zCY4C~-e_+O=Y&;9s7IR-#uR51h2M>o-asXmBI$-4#{Jw&O-a*t0J2X$=##Mj6_Jkf zm~pr&q~wfGIihsE@JZjyd$%hiwjp5Nj7$3_`sb{N$4p=hGWIe-VbAi2d(-sTQ?yp@ zs8FF^FeDoSZa@i}X41sJV5ewhHURkM+NSnNW1e4Z}8GU1@^5!(C0^CS< zyCz?ECpt)kV$KCHAV89{LSg0gV*-@;wso1r-ijWWTs5YK>pF;rG|t<8&FQsLz7oRc zDatMG=gx1*ymg|vNsI5{zw`m5yt}@iR+R#6o+?4P4Liw<-X0zN3gg}akPAUdk>h0& zyL{vZzhyq1=AIsaE$iCNzUt&^wp#%MA6d!1Dey{W+=Vh)!hlYS$(pMWIllcCDo>Ps z&M92>RitUXygHNB4Y4R>-O~}KCR2KAR6z}jRPZfo>^-P*?iE%KqSvi|Tlz~@ z@z~;?Kk+$CO)|(UJ@i}O*G^TJ*H@tx^HT>8s={>V3Ph5^UNP5YWoGPOMeUo<#wX%; zyH#GCQgTvu`3Mz05TEE|{B=z)G1J-v^W;e{iq$IW~O%q@3lJ~i`5=eZ!n z(yFF{b9afO&8S^7O9jSRyVeq4kj(NJ_q%^1#n2kfuFZm|9aS!k9%Z7V_4Sl<`jiSb z_vngK3&MQQ1sd@3R~Saq{BrV>CC|1xq+9=5+BH!Bt`~96)UUv8u*_RUsF+eapI^0` zYKCUBKim($e$AA*8==!*UR?0U+i{#D9={E`bKn-KY}sRL>zVWOaz64(uiBgaOYoU; zU!E#=t5zRGCEX^+WA^Jkyh#NWAoMl3#x7k(_qp>)<2tZfF}^xs&HFNwP}2UXCBAp2 z@Cd%$xL`C$*uv~$>UAzhQ&0mZ?U^CIv^X>+WtTDsX8K{)^5Xd`wvcRHO~Pm_wB$jf zj-pZ9I5yp1Ph|%T^lxI1%SPL$!d*mZOck4CKVm+CRNy&`Y06+RYorV>52?EWmpd6xQ_O(CFZ57yE09(!&lhMfH<*!pctd9O~1I@2Xy zk1otYVkcbh>>|b{AOP;d^r(xf+EZUefyJLGJzDuUru9JgiJqH6e}=3kEzWoDdN%}) zd8#o|klWAA`D3KeyH24M>DYWjy`A61Br92NwOAvIi#*fvb$#Q8Toru3@ZpN~;c3_Y zN-aQZ_r*!3=&5Fefxf}h>>E!|%xzwN(#rRBZgpco<}R!=q;UvS{C^7h>Zq!=u6+-R zl%$l1bV#3o6Qm#^p`w6vcT00XJSx&9d1$0WKF$u0ZjcT^ew%y0`+o0*Z;apm zXOA=YTys5Z&NcTMF!u9^+)jPihj+7j@lyiF_Ent_Phq>%iL1Ijcul*{Ys%jdHrx%( z*Sbz&k5LjIj-mJ1pUf_urCdP6I&ro_Pw)7xt%d4Jx`YdmnGeY2KT>zI2#~g3R zX=Le;tUn>!WGH^O;do|W#^QucTH)yDObve$V(mSPnHd4^hllcU`Pme#<2d7t-TwM} zQ4{T~1l-Lpj7Ah!pk!qcD8kgj;=IJHk?0N2eoXq!YgMb?U6;_7jE(M@@nBL86wjM# z#Yt)Vj! z?rHT8{u8G$jn5_SvnQ?6O}?*kWe)9f5ZQ5R^*i{r_0+lk4;m@Ns^h3$Vu`2IXt#5d zG8SW&Fz6TS$3FDAIDD8l_Rr1vay>>knk|97^r+w2*f^eK-H6bc@VG6jJ>*tFYE`Wd zSK+O`s@z-D_9E6MijwR~-s(om(RZ}C(!AH-Q&Z#Q(oxH_nrTYWu1IsRd}hsh8Lj4G z90z|CD#;icuWi7~!u9l{i0k06PFn=aQ_EWz3*(U=Z}*3q(!aFC@9|L`!4lsgZa?0d z9-zQ4*09X^&ayx5+rMkCnuuga?QAn#wjuG=!C$es2(PI1T81BhOu% z#=zbU=u5OulX9&4>}lji7)Jj@?cV7K8;BCgzl(a+dzvEL56t6`0_#fuM)U@e|#mCP;z{m^W5*9(@abjp-^1TUU8we^dS*b zdkfimdXW=@);t$Cz6^Ijb;pZH(3~(z5)Lm!UWnf=wb5t9`$k=l=a1oxCC0kQoC`I*anWvbeDR|)O6hM z-n}0wMJqosGUy8F1-tzA(s|mlV6ED@rI7KHaqY@3M7L8aS3#VTT&r6>hAGzPRa8MQ zt?F!9bK9SyY4zbmNcVB(vx7WlV_!~8vwGN4r^a0QTa{Y&CGuFF5X<(kfF=#i=d9xQ zm#Ozx;KOt$VGIPN4mlhRS3eALEX1W{wfcM*IWv_}@2#wIQE|AbV+Qg^ctC@AHKYJ_5R}r$Y+8S?7U6IQa_4OAuMrE1f zD{a=hS?^{M(uai^%(%6$Z52(Px3qBg7k4&Yby9ew;bYGolImK(wtmVDS848Xc~b0| zk=eqI%uT-up1x-KT&?sz2QQqNvd$(uXNkJvd&rPq%N*+wX;4JhD z&$ZFmz@{A>i?=3TlDX2ZpL&+R>$2G`bDEqyRgs2GBGzF2j(6{$V943vXFv9@3y}`Yl_0Tz`jos_xFw+Z_0?7upUn%Nfo~yv51(nt1+N`z@Gp$fVee zSU#;B@%xE$x_E3z9oNu{`jsxswnUojQN)$U==GAW4ts;V!l-t8kLKOXiI9@8O#FK5 zpOcHWxI@ppEYFG>5^yUMJR_g#l;{7(dEn3U<`?1afSo_mpNrkdFXV%!O+>*oo7t)U z{39d9yxBro5e~D+cen|J8zg!zUiuGbV;IY|Wr9td6jLg_9OlhGWD4iQFflc3o|azu zVwDVWF0N~`Hu_K8&YV&m^42X^a(07zpWUtgBf=6$WJT%RaI@e=M(~LKPA`L|Yw5f; z4w)SraXpTly;%7)tKes7X2PMPK%CmMvnz zz+myd)v#7@kI$(!dnhBkY!}n+MdYg;s^5sc!E?t`ke(msT`SR#N^;j}B|V%qCljvL zS?9tGac(+Un@11cdzO5B`6lND!xY7JTc%TIxi_+Id)as9lS^8+bG3E0&)5T(qm*7W zkedZ*M7!FYOdD1k?i6eNl-_%N<#aEtx<8$*SXGsQD$ic$M|b4p+pfNROs(=RId{>d zx(hb{05tx^yh`wcCeSuZxQcw_rAP9RCYjFQQHji-L5IPoTYhCUx97>eGLi8BpAfqR z@>8$WozjNne>yulq4M$~3VX6l;aek+c_@=RA`WG%at++@I?5CeuY?{=UV&}O6R%VCS>EPXqZCz*0Q!8z#+DHm@+_T}KG)?hY_bZ!qlBQn`6+YZ zN(NgC4%gQ^{Tyh}l{#H>J*52CKJUFU=kMkxjrrE7h<7rkub*D@1oJU7u)IT(ac4(R zx1430O-117Ij?^ALGY)LuE6V~9vdRCj@yr!2AKW)KE)k{cgK5KqE)>+=ePB*P90;M zNe-r1P-=2&X~UD9gw|1S%r@><98 z(*XQ@i;Afq_vQ@V`PpJJ>_q1F`$5<(wnslvHbZIC=4J$i;$KnvCM6wR1LKUs{KHvcYVl`x;M8`HKm!8IvM_5(LubULWxDa|Cy$bh=$`<21x4|FT; zOdt|@d4u@sZ&#JNQ1=hQ@@;K5Gs&o?9uv;k8`6*^qm$Ressr;tOnbM$F*ENg`srV$ zb}f8r%=dC|j(h(GbNolsoqO%Y+7{XI+7I-HjAv532HpeH9ll$A2#FKZNO29x&mMg75e@}QQ6Czxko>vo+ z+t6jNwa}%T_@N{`PD)M;*S*63exZ~$?@b1<+P(PQd(>MipD_o)C#g^P;8VtH6D@@H z^yZVr&(?x}*zEE2DdcC2+v|>nKS2j84YVzdr$sft*snRMOdF7jkRXXlfK()5QWQVC zTS3w6NpJE;t`v(pI1PNbEh<%1NM@C^{yH>`(tkL1N-(S^bW=fCo{d}Oe&E~y zS=q$3Cgngz;~k7op>T>s$o-l4q0phljUOMI7TDceoaVzl<0--(C#uRs>2tnu_&EPO z^3E9#J#o=HQ;H(y7$(;_r_snDvq#b@%&lqT(En$ z@-K^+?CM$9hM6Q50#ck&rOb@!Q~Era7+X?3>cA>3VO=r|X8c_be_evIxO3;HPWt<~ zc)_B8QkVMM6)9Do`wanqQ0aLk*Dr-9=o2*vLxDCnqD5 zlk&?%t`JveHUfd?b)StHk6J2*%e-!~5^RaZTl@K*W$zNLRVj5}dkIB}1Zu=NR90~- z6ehb%vn(WGeu>w=ye=w~SKXi1I3ns$IYf6)apINKswU?MCB4DpJ$ktw?gu5jHw(N_ zvy>Z;g{pdfZo>9XlciZWX*6C0wTk=dh~~?ZX0+sO>wV$tUnF-0 zn-?(SNmfem=1)Y?$0$3&idD+`si0{eSk^Gb+2``V>=?7&`gQiXhK32fh1g z-+yqXAE6|EIHO7Nnx59Z`Hp>8ydGlcP}!l$SOx#)GQ1WFw_H1tQ@Kv;!^6(Q>JW}Q zOnv}PSI0Q z|9*ED#Zxy46~4CzIEebjX9|6rnZ}LN7HFQty18o)A4qP#d5HZvTszvdNqRGbj!kQ+ z_zdYKBe?*7e6I`~9+&ymT>Vd~^3~Ajoa4Z|S4|@^2MkrV*$qpFTq|3hWaVk;OJgVXl(*5;M0tHb4s z-$|iOOYa?biTL=Tzmcu@^ddsqzvBDnA~+;Cv@4C7bu-pw2`6Oy3D4+wHiVJ+!!Hbp zuqEu6ntKs~j_tk!LSCEg1^rgux*BcnFRh+(U<(&IlGUb0LX@5!TBG))a!VLAVp?u} z7a-La+@enYc|`PJ^i^{Lv8>~l8@jHvLWj0oSufvPz&bs&Dl)^Z7FszXi2BJU4H?<) z)5$i7d3tsQEEE`u6m?G61hUoYH3TLjZmBWaW5CAkE=hW9*#6p4?+V6Vd9LK zr-g=he+<#1CDPWxY+MYb34IEos}>~toygt*Bl=-@#nt8S@&S5=o;uka`0MP&zxiBU zBr^4_c^`7B7`u$~oeGxO(AnX8z&-4f*xVxAGV*Mo6MUTE1>X+cSDxRVqAFVMuUc1> z!i46QHph}Wv1Sr4f5HS*hTbrK6s~hOK;sU%=&%@f;F(chLdue=;2w8@zoUddJt{Cr zQ8D=%>tK9#EiXt^@)i0jl*FKQRsk`go%X0ch8yhTh3bO?dij9`F^uExpCkTE^T{!EPsk(dFgN~zr^1FT@V3J# ziH1>yXR+PBEMLXi3bp2ok`u1JTP|6aMCGW5-B37rP~js^#cp=Qmek$38W%*49`}!^ zeUP1*DdH|Odb7G!nLD%MQ_E15q-Y-OG(sgi(LP1T(YY*RjA~!%+t62k2b!X9p7fX< zDDz=|<29;Yv6ju(zAcJs4TN30H#XJj1YG@lHy=5-}rq{@}vZZvs8)p2u-ir=SvHN(qoH=P{}RZ<})A9~#) zrR3}J6jud(bcM90Vwl8VOEYI>b9dnOU*&Odgy{IC_EmS(asVSC8)R+8B< zzB(uN1#3GidlzqKV!Q{vS;}c3UKnEyE~l0XWT^J_(5?4h(uj(?dLzUU)rn}5!(m&| zI_1@yvV*^&zZ2s)e#su*H`kI|X^@C0+H}JWcmAjif6cQ?br3L_^uqV|tE`+MjLYKc z&HcunBkDFGo^4Uhs)wAmZ2|}a*Q?7(Dd{|(H@D%!MmG8`uZ%v~bHjpnrm5O}@Rl8F z!`-LYOgECxa_Dzb^KPBZi~Uj~Och4&jZwasANX8iX`TOqKuM5}>iBf%lyFmz%|?KzW%$9Z6bHOpLkh)PU`VYF&Xb$xl2}( zChjQMIIm~^!0h|A@4)A~GFrhrYUoslfFiqZVKhr-`Ug?5?$KYP%{jfIX#z2wy!h2O z^9)V~t`q@(J3%RYbvxCt>H!q6Aacb1uX^PytXMl_V-9eM zAIc2uP64N?*N%k~%(Z*n@p^;dCnoScE(j5NLpnMCGW4~WVX4Tf$BdUaA@7dV`ZLm` zE#-RuQMqIPD_T#vesx3`s<@eEU{AXe{2* z=>5e6@53s0ndrC*sUnVL1f?hm`pZmvYLIAUC$H|X$xzdYd)^cOk6yP|Ft@=4zEGZC zlgt`wP0p|<1w4Iu)uXp?CjVrv3;Jm|K}_7sCzHagJA4<6bSrkLTjr`p1%Bi<<@<}Q zRX?g#XHn17bNW&LKnzz1oc3UIm4#coa04B`F@Q@oa7CTPe&>$K4E?=p=;i|hTUtc6 z@Gt$U(_6_@>nl#UjFp{*5X?=HBn61AB_)C+Ax*_@_BTtbX8t_^$)1JG`S;tEOW34c+sbDHfxt`^7M_u$3{h zgxYFT4xM@{)!t4JmnK{F(^0KnQid?$G7yfyx zKeZVlW_Ma&;9#Uyc~f?Ot1n)5cqGuv*&-c3a;C=6ecm}CZ=6X3Q@dJ(6!|2M>`x$0 zu?i7YBhAYh!e(IdCKb!?i+5xsKQ%n1fz8e1lCOAc($_>J7W-%a376=9)pooQ{qhPQ z#WLGh9?w^n=#bk4jiY+U@70HE`3LW%w(3EJn$3S4M~T*|(AUKlCxbHXWqR|ab>0vk z;tgWitvuz|Kakl?!o0G?$=IR4MlwchbA6kR6s?clK+@A1HXq1RZFdB+iR|ou-*t@K zjGdLUsacJ%n2CGdf!j#s8mC%6E``(_vRWbtXwq5q%_T2EM|Ne5kZvAD(V|wvXHDJh zT-NZkXw9z;elYg_iuXG`aLOS;`O%wd?S+%Z2-XhN>Ad0B4a^sz$${fEzmExqsT@Yi z3r)pH` z$9Jd*`-q(VE#`Bf0dd^7udkB2w0@(0cO9;_mi)7-<72fhMzx_XXnHk?c_qX~X>5Cj z9Im3mvs`m9DElh8Au=nITUU#aq4p5v44E+>FS(} zceXQx+YDRjMsEGS+_6k9!m8Soo${a{4$diikJt5qU#1DijKlp?Qgr$$FPG%PZ17kjU0IKdYez|&>Ub?>%YEMcD;u)c#2iM z&S{_;s)&h#S$J|LBXM>me;wgh-d08G3P?34Gm+nBh6;b*Xx||;+?|W`;(6hB(8@U1 zDmde`rk2U;)*2{>Q`%;&z)!TMwVd*?4w8F?uOW1ab}n}B&|755ng8^mj)oYhXqgg= zud3U~VpJ~Sy38g&r?}+YClJn=)NLq!_4c8aB@9F0@EMaK;F10rwjy}kG?8D=wJKXE z_vN`b<+6FK?L7##AweRVdRL-RPx+dB6eJi*Md8m=uYWc!NrKO-;70OE^jOrRk>JM1 z+(PN6!4xc;6>G<>Vuc60n!KIBhuaico#SPpBr91)lX0bsSm93;lS3BeacIqF(UxcB zblI4UKUK(ezLMTF?jU75BHh`yrbc5e?%V;+J_}tAI^}7NE4tB&cD~c?*>lt|i+eZyL>+&SI*K?51}8 zVusmgQzM1WTj@rMaA+@i!=aUGijB4P6v-XRv_FiaBX~2HS?CZj6l>TC;vsq_rJyXO zz;pkhsw$QY3ZlX0b%Ly@Bn9pZNDIga$O$|UkQY!AcqH&xKpD%~1>y!-VU@c;Y@E(+ z_5v;f0Pon;(aG4}(Nw@yz)b)x;K4;GAZu^uENf|F$^-#Jun}D#LoB8nM1iI60g>E* z5DKVUnmAiHF`>X%#%_=SmaqqS7TyiI1wvtSyFvQcm>v*0_I3}54i|Y&fs3qxF(MAhO6YI5F0y6GVvB=>gF*{nv_6e}j=WbuxCe z1W47603;~3uouJ#f?|1qDX^=(AjFNoDYnSJnD*G5e!%>o4`hb>7mX3?JOE4s40od~A{7DG-Z(Qe` z$-jRiup2-a&hs$;As?GMIXeNaf2HcbSkn*)7^^S@f|32T2tt8JhPHsl00fM}h75s_ zI1mW7c?jgggMgwS5P+)=;Q>QA!C+3HdJpYQqz#=-neIvpL%|Rf_#YRn+c3xySnu>O z2tthj<~zTb?3f78?+_>iiiBeC{s0N%Ace3dKR_HfFbFpI{EigFmH>BZKqBDW^*>_( z*1n(+4EyT`h#dp$luHjG=h6ok20$Ue;{V$Qfr6n(#3h>`^b$aTJ9)td0Du7s1wc51 zf1v`z2rdSMKwuZaKm@^n0NKC5fC0#Ym;3-SIug4(0%E@kg9>8lM}d@}kXY&SJ5YU_ zQ4l-Lxx&D|BZ1*4Bnj`aT?d2z%@L4vq~K*R5F{W=aen=?E5JaG0AY#?HW&hSp@?7z3@L=d4vd|z z7J@w)15$D>1#n>?Py<0MavVqnKqbEP5P7b4aDM&o>;PZ(k{?tMe%Xe+Y=iwD$b}$( zrw8-jlL$hDE-euZs9jtD14baB7aITq6S}m=ArK+(<@CV+RcBy+pygoj^EcM{_0Nid zx}X3`^uKI?9|CpB28CV*4Tb+7SwLNEI3OMrb1@(=F#_OVUzk`3brB%YApeuX{{;v8w?va6tRy!dRg1F4+*U ze=qJl{}3Rn7t#-gAmOk}yA}lnM6v%p2@Hl1y4a&IK``RtSRn+^%ooNAAt7MQ#lZ*^ zpnP$`5rGmyTm%Rt5Ky!DHy9KYcCqfj$%6#)`7b}<6axQKcFaGihCooLi!Xxnqu}BW z25c}u9XzOs}C3pLqM?4e}e8{ zpnw98y}dKjU%}4xc;xNO?15hZ*1vuMvLT{?sJRdXAq4|VO3NT*q=Y18WFRsSq!a`O qLqg#)(&9}2e-~XQK$XSG+0fD1-O<#H5P$#|gcGvkvdcV{CH#K{Xb{o>