From f2711938e890e257514802fc4b08bb18973bf495 Mon Sep 17 00:00:00 2001 From: MatheusFranco99 <48058141+MatheusFranco99@users.noreply.github.com> Date: Sat, 30 Mar 2024 20:45:14 +0000 Subject: [PATCH] Partial Signature Verification Aggregation (#46) * SIP * Fix improvement * Add discussion * Change SIP name. Remove consensus from this SIP --- ...gnature_verification_aggregation_gantt.png | Bin 0 -> 114875 bytes ...tial_signature_verification_aggregation.md | 122 ++++++++++++++++++ 2 files changed, 122 insertions(+) create mode 100644 sips/images/partial_signature_verification_aggregation/partial_signature_verification_aggregation_gantt.png create mode 100644 sips/partial_signature_verification_aggregation.md diff --git a/sips/images/partial_signature_verification_aggregation/partial_signature_verification_aggregation_gantt.png b/sips/images/partial_signature_verification_aggregation/partial_signature_verification_aggregation_gantt.png new file mode 100644 index 0000000000000000000000000000000000000000..626ae642dd3d7ba74ce33a7a712f6b29a24b72b1 GIT binary patch literal 114875 zcmeFZXIN8P*EWh`K}GB+T?9nwO79BNM0)QaA`qIC&_cBUB1J-#s&qn$^iDto1O%i6 zkQV6>dap^&4EnhD`+h&pb&4DS>a=rpdLrx$ZQ0dQ{X^J&u@*a{n5dzuAodeSLjqg*3TvZNrh(fpZ^CNz@j= z>1~~z6wrS?nJHpuNI#T{_xT`h5Kf|&TUjaG$N0~qJs5oY=GdeBsHmu9Bw?@17qU25 z$QW|FhF?%{C$Cx6z<|Aalzt-U%N37xy2|zQ9_vcd(yy9BX;>9R+*d#L^!7^As_i~i z-U|@h3o|6X2Bgf^ng8p3Sjv2z*?)OIOML(5WU;-OKCvWE2N$6`Hy-pA>2iphWTmIC zzWOTXTAgIL=lAET=ks!Nb7yVVr$n8mY5u(O@%SVk1RmY<=wj!=of_qmy`+=9%c z9$lJ@Zzjs&Tja{OXoqiCj)w~WeZbcbfF1rb&XX6||F?OMsu%F`?@!BzYkkg>1aY`l z8*$gHN_7p8_k|6@z*e{THWqS%Bq9mz%V zmM}UEIXSuP#vnHOa5*RxS{r8Z{5cy}m`M5q#+DhTmWYNW*BvkK%{eu_{QirwSE#{h za^dvR?bBG{85a?L&rPct8mbNkY5RG4%FmCbLJ3z7Vi}OCZB$I+wVcW#X5PBAF2vcx4(K3>U_vtYz zcpmO?!dbQ{<<|vtSmx727paq;o_YAF+q&ysIM<<_BGPL^h1{9qonA{EA4)-jqrsZI1vP z^_Y{_m#?Q;*~S`LV#c#;GmWAzXa|UZP~#V8Q9ewHk3VduxyQuCqSPO?sTz2Rev)I+~t!fBbPI3sg|N6&eZV`6{~-yf#mMdgpG_OmD3T-W_DhynuF)?Y zbk`Zr8tjxq2IwLL%k~Aar^N|lu$9(%7i^g5GMV}#aLpTc|H7^lO;{b*Hhihvru@(9 zS7nOyDS5^8;)*#Za}d78#?>pMbeB}72J8xY3q;*=p4)|rP`Hr~a(Q?ab?$HJVIhk> z$#8Kq$+9bxB4zl&k4u?K37J(@B6Pw|k1UftZs(o{cY8$g_il0aTkN8xtFyk^im+If zrF_@iW?#1&StEhR_tRDAabKs%3Apg3ILIN;CAFKS}M19251!*2X3DIwr-Jy?qWXcJ?13GS*o@V3A|RA#7beT z(8#42^99j@8iuL85x1X37DMF@DaO7yXz>>SWFL^I{-@}w*HrW+lwG#d&d3U?+08muvr_wJVn;q{(NdK!80t7&JzEtqVAp}IIZ6MhknmVO6Ag+>}3 z1%SIQos>yDz=B z4jK<{VLd=&9LtzES_FC=uU)&AQ&S^WuLj)d=6fR0`eU0pZM{i2vyof(Gt~ZYk?nek z$MG9#rcnBM&HWG;)B*U&sl0*|d=%nh=;7hvRB7mcjtqSF*gxf~1{KpH#xY&mQNgk3 ztKRX;Di!lWJ@*#v$ZtKgu*gVMw#;q>U#PzcYQ8@=&AG1;IVJ!2N2hnG&z8er&&P^% zp`Xoz$7%IUb(geD>8-Y^eH&u}KGP1%x0KqCicHVWp60m)zI=lEZ(00AOX!{)oe_O> z-WcCv-7;l)SdGi0<=f?p8cY5cxJcm5tU0dvzD*a2f2s5016F`L^7HXo&G%%mv9X@p})Z z$3yuWv9tD28%+3i>*xeUd*PmFL36XLQi_Dp`Sa)XORORkx{0Q~_&1N4B2vE?Ub{B) z7#<^W5L2)_HpFM2-ft&l7z5y0EIx-c@S*;Ju37Ngc>Zk1n%5`sY2`gXm;d|KsEce5B zXdHhN;;m$S_UrC5;w}2Q`mp3SKXoKG_v5sLS?#Lj41!?#9fI}70xHKjt$P|HZ#}hTZH^XbgdMAYD|JkPjf+bgxa|7+`b#RJyB&Uw`47?Y65AqZ zlwE}KS==)8dS0X6rKHubrFY4ZcQnDVJVc{&gqFW%_+#dUgg&qmk}1P47hR4LlhFGR z`&@Qvu-TATHq>C>fz@%X>H5OUb6h`CW!~K()&W60|2#U)6<ZW`|U~Zp2nyuw0#q?Mt4fg%<)RhV+yoz$RG_c+Szrrs^vjko=ICoccV8JJu=T{iK zslQkqU-{*50a1$3g7h z*9cQ@%xYy@A}AE#obAu0UNf1O8bre!3gRVf)t!=kn~u}TiF~oQ^}nH`r4{Yu>`Y2S zOy4LiqBUERtFG95Gl`%LLfS7DM!L4U9|(k_favf%62ugNP5SnQNjrKY|< zTUIYsx;${KUl;yK*^oY{qz-PaEO{mL;gI&B<&=1I-9o2PZJk?r1#~kytq5 z0WOD5v5hClmh+9Ova+)EM8iDz^{)&TaEkkK&?(ZgKXK=ctr~8nPKaT$yE;$lqy+kuw%f9V#s~JGe@Cd)!|k{0W@jW7psut;ci_ zq#Z&^*B=Ce@o<9x@+4`v*m_V=QPDn~Nu5{aa`lQt?<5ExeuRktdoaMG1Me&X2boXR zCrrb7`>WZGN~aQil^Pj90!5*Pds-Yf->mG)iWJQEW}OBc12N(K<(_sG3K^)AG5xlf zA5x5y-a|wT3t2u3zP(!VXm-$$D;A5z9)0&gpOw8m{U*#;mB%mc$IqWR*cOK+sI6D4 zBID7>!PV;^``HR~fuhU`Ac0BKD*Yk?q%bDBqM`gx6f7SF>_@VLgU^D@^;!f3WWVh3 z7edGJfN}XfRuUd`_JU7A)uf$7DQGjgvtKZ%g& z=8O3Fcu#N4$VlGe;^L*++b2nb&QQLSaXh0CT+H%@_*mfZi;GN|>?@n($3w#+Io2o@ z)TOkgNYc(GzRo*Qxsy^e?w~~F4)fPY87$A#ZFGI2PH=2uX=?4o&JS>jixW|aIL7kX zvpd|}+;{E)<9@vi*!0zbbkn1&6J6uJMm57kP_b@_T@&ZyC!ZnML$vX*^4|1Sk0Egp zJl>IRZ}Jiqy|kW=r8QXWuc+2P>n@F+JWkBxt&@>~wnPk=ua%GB%#GggvK$P{U#S?P zD6?MK+1a)!x9p;~u&~G}DpDUVv+ISkD7rMB7o1CmEuV4y2A<$XW(DXo{62103DYS! zF|*w9&C@t}CD8ajI>w?myIt10jXUek`^m7&7`peEQT^cVW7>jYl;> znQempg%X6BP2&$bsd`8`Mb-HRQ>U4kY;aNCFgxZ+&$&;5E`WIyCme1Z3p)zd|Flyy zI1P9-03nsSJ}tP5mR!Jcw7$m*qE8DI)qnetkTwEy#x18nq1xa|>67|J&)z;(R3yEA z5j@jzE{VQBS)3%uetw%dV>t3~IVCY6FDyQcME0sKUgC|fl#_jtKDz z=1PUgf@p0SZ03VyRD3*}0;n!TTo>cO%$0f{xN;hlecu!!<{-(x;Uo^Sh8@uI_4;+o zUxVM?ded_x{waEnUGDV#JiiDKMb(#FF>Swj}Y^!k}?`uo)kCB;boCIZcR!^PMhoS}BlF0*i^$TKK8J(9nP zEq4@vu&~ec1{g=Ml3I+#`;nu#9SnD1BN5Yn|NaEjX?MlN#md9Mqdsu>J3&W4X(He8 zv0~x;k0IZI0-PK_6c0h#si2lznzCg2TVg=;@4uRR8*lYATl!3P-6TYGaHiDsS3&i% zy0*6V=f1ggRz33L<0{2e5s+Upq$6U8MHx+~t z2s_n=*Na5&m>QY-Jf>f7^5@Kd`+o)E!MOr9(4Wd|C1Tf$PcHp|MYalmE=K(IzjP%3 zf!R;cgCkrDkBeC;e!6zS#qU><>s{smrFN97alC8?HH%FVdXWb=V-G#Jit(4bkiB7* z#eA2M{o!4YyKQkFE|r;YKn*u$yL6z?Qs%pok|wiBZpoBfhS?=0e8tjW{_Dy9_D1V9 zsRnR{_tVd}&&=ocI-Ryl*ec~{y#+*#0Tf{|1r=y2T=S5JHJj z(QA>*&boBkpfU^)3Gt)hheVY*VCetXL?2(uU-Z@BYV3`qbD8~l`4Rk0)L5S51?lOJ zl(TsIhylv<;$M%x5rLqNl@RZl+e$QZAr#6F6&<{{U2{Yr*2c8q@jLwN5-i5c+U5G} z`qTT>p!Ng>^8EFTgiHAM0B-E|HOIQLRv3&x@*!HdOi%D=Y|hVTPVDct<^w=n0q)gf zHL;GV=%#n;gl;ocMToA>9V=aOpea$>x`Jl%3|9@|RGr+PxQ-fJi8H$aTE%R4@2-hT zfDy+111y<}piP|cbWoGkuFgnq6+>6BuiBW7d58C|h#3K(_Q0f9hgk8c?;uE&7zA?c zHIm{bArylPfe>4N>R7WI#^JHi(RT#}-Iy6czOH}v*LGw z_ANXe1S%ra;XK=^<>_fv_8tt}Z{@E+FTPNggS*CzA@o?f5MHq82@cBqgK_?SY>DC0 zkgul3EOL9uVM66Ln*`^fWLe2je*Es_TZC7IdItkPyQO^?tp?pE3Y)K|Xo#?S35Or^ z@zzEf=Yta1G!SH5Ka!wxP;keiBUR@oZa^MR?qO0U(UauZLiLHF;p*?ev`LBoCxpfH zMx@VM&dj+h!m_3By+PY+_3WmDCe)vBw<+83pDSuakNSpE8w^J$&?Ui!QUEP-gcO;6 zr9utCIYMv$RXNZs&}tu4bwD9wy?H_giEw2Vb*yj>D7U_!;UWp3F&Lc@Q5aQOV+~iK z7%n_7Sb)yeQH0;;<<-*F%?6#sE2&^!AKd&Kk#5=o78tT;`3`u!g$otLJ?mkqjZO6Z zdoqKh(E2}z0Oe>PXDpKHF6Z?%Jpa?Dhagc!Go#Vy`G(UBec5VhB|fF53l-wjMS9U8Q1%&$FhI?p6W3B;H zs-_;Z1Lbh$=g>l#>A~Ai;y#wz3>-B9NyuMbJLN~#H;qu66zyW4gd0fF5%Cl7?9WRg zFKp|b0}1ZBlnFBMDeDblT#uKq!b*I&7&0eY0QJos>9DUf7>b&;7?md}Lo@(Wi(G1yvD3?EZjFB$?TrB8B_WR@ z7x12%X-N9fT)UQW3J@a^8}eDo2mRJ&;$<2w(TTBn#AR*cOu+55kH4@2RwG7AV$$;5 zf*84tLK`TqgCRG91b^{?qe9Ml34b85oeK`X&+8*J3^pdEij)fN*NqXmD4~Z(>w0^0 zSXswQAJoktu51$^C{QD#J<>JOkhDvsD%t$D)~bNonf~4}f8D&X`g~grp9WwqP(I*n ziaeo?0$v8%Dq zVmT;TLM3$+DoJ=q=4m* zhkJo+dUrsSizQSAZVuVauNqvne|4X$b=9*M6JwzPOvVzfvh3CgqT$Mz7&w_K#+=61 z@Rg%TlIK$C03U4IRw+S1$pnYhQ3@u4cqW-YhJvRrdR&M*ka+8gt}Xl0xAXf^$fDY) zV`&x6=sPu@^x0x?+Ys`u+Si~19gV?J&DiwLv?S07nA}PP4`-v5JMhx~O7p0gGHC7u zjt-upiRC7C1BgrUC=I;6M|7HCx99Es0*quUlLT%ENIstmM^*JxExx%rx9e-pW5;p@ zB$C;w|f%m}Ov`fR7xTNgI?&hC1S&JuRm5fc5ivrxcTbtZ^u zpF^^##*23^UOe{tZLl<#g1UWJFA@(5El`NBySN{}u1Nx=U4GBmKC_i*7or4`*WC^H z_hSdc&4YdDJ_~JkA7H1tZ(Usjh2|}PiegSKP~dbk-*t;u&os2!Klm!@9Cd%bJri{S zl;~}`u7Ew?cbZ!^YcaMIQc?c=D_Pug5k+oNbh4UEEi>n2 z!a}?7A&+X9jMu`x!SJp3(4PR_0z}4XyX$YwH=023{4E7Ibt#E(_N3HTi9Pm*9w{d* z!-@*@E=TPgC#k<45T1fprmB0tR=teBuM+Pm?Q`jjS5nsA z-rhdeF=0add#}~61*jyeLr78LUARQ`vW`Ny@6Oo{E)Q)+_KVB(Jr(_?-T+ybhUphVoRafouX%bXf{1{x;JZn>bn zroB)fOj>)E1S~Su(FG`Eq<^l|cQmu=GcBlx&|(IYrK9cKsKu>agjVj9i-=Ol(W+`X zOZp&gqeL(_Z6;;Zq+B3pe5o{8@v+u+&1orGy=NZdZtNxFZ?d!uYE9r#;#@l61vpsO zUhpWx+?Yd0|DugUPbw_-4cqr1*)Ya?7rw8@#`;Lk?d?!h@_Snp+b2YPyr#oS?4MFc z+jehDk5@9-@!doPo%r56$j8R1FuZdr^UnUZN#2ET3*_m`?zv@z;^*E@u{ zKDhbUt)(n%62$S>>8!1&N|qWhw0&zk;q0J50F+)1KGYL^=&%!t-8|Rx>eBLO3!|hA z6>YE7nF|S8tR0q7X8O~T1R?1`yH=Lfh^YvP`j%7V^d zl=N!ba79h!R=>d(0QivcFK^iH+)*_*PwUUqOB=SYR(f}xo8swL5N&R7f#|?S7iF#q3mne7dG2?oATn|uHs>s4Z0m{g`>qRnLU1kmg`4)H z!n2B=yKe`go~oR8Dv5YYEB%x{Zu*gNLbxFLko}NuF7~l{>8~d3q`lnRb_P~D`l&4P zYNuosJQ5NWBCa_zGyb-oW)UPZ(T7WEY#_d)y6=bW@|9k|@jWg4y4bq{e5gBdvZhek z+ZsDtvOY~GQR*<#likeeo!ne5KW{?b_3{`fNdX@99MyCatb`?XRWM6$B`j#|cqUuCzG z%COK3@nz-7ETF6}Scz#B_^0fPUwUd$E2l+OCrP&m;Vmg0%I~qG8}j*<_U6qQrt`c{ z!76$g(b>!O&Y-k(RHalKU46~LJud5#X~h7}G;L@5G=(6dG9PAbucJ|2ww$9j-@amf zFs9F0gSdIK@OkF#R&*cb`vK|@vm1zP#}9ak@gUj+?jdKx{ZaO*5?1VWZd)x_AZ(7p zJ3T2jb82n8I<>#Tpcw!FE!>PJz)Ee&38O1sHWs-<6q~5#aj~+x$@Q5;=g#ia3|=?i zHT5jG#R)slWPkj4Q~qxg&Fo`ZnbdOGqR>$#Ow4FRzw_9z()TO&RU1B|YF_>lgWG~hyf~>|^H9yH8<#igIlMPK z@!xYxruuWeu+_HO@Z0$H3S;DAPlkv8L6-5_P)u^h7fwd*d!<1D0(4oa)W|cP&^EJ@eDA4cP#BY{bpJ5?x_?Kj;g>DVPV3Z z6okU08-J^m+4lDKtyc_(4|28hvBCm2{T%sv#kb?k0LZVu0J1iti&sl70%q5=DoPzd zdouR4#K$}9hZ?A;(TD;Df@jkDZEv4J9I|$eE1%G)G4hr6gmA!DF&;%sjgNY%r7ljf z4xZgo4n0v~YPuj5$ei=3<3~U+SG4`YkLKVpmFs&IH(u&kIK!hCLTD6%E`=W6x*X!3 ztiR7U*Bj$OoqT+2qxF6FO1z@_&kF@=_F=pv5s&xGlMs21^JA6L*Kcy@)#|+~NS@Ic zzEXg)3Vt3dmP>a4f$k*MUlo2t?PM$AG{QL>KpTpi(Jl4qVN=PKQ<#K5YcF~ulIKSS zxCwyi)Bv;toeVYJGO#8&P3l0q`^g$5cicfL1Zhg24p|=xd zOcgtFdG}-Lw*vz_LbPs&7iDkyxaWFjwY&;)7fB*_&FI@b<{5uI+4zCfLwC-fR-MTu z^9q#LRFqWL`c701ksEDm7LSQeMKs+~YJaQY6R;w9a6ghWUZNjSX~}vg$-A8etiw~j zvpHsOHK6q->5pQM?Obg8Uh>`qTy zUyG3Uf^y2N`ecKAdRCUrP>J;?3Q&d|sdz5lDo|395BOBUTn%r&erN1MTE&zmf1Ocg z$+?+L$ndmCdRTld)(LIZcMYT6HpLxydyY)q0QZ(F&Z88AD^{UF#$*NnLfHGSS!zOr zDu-lOg{s066)5ct=6>X5C2Yk$E|2MY+@nKUfq0n51mbbyhb$vUfm*NSrwTo2(OLGf z-b>$AFFkl=v|}VU5?_@{(6-4XpmL+8pWNdwkTGFbHJbb}%*0`G5EjE-(YLbW0T!2j z*$f@ZzE4(!=nP^NVN9dGZjaip?0ExCLQq?wmX;PED+GTNJtSTeWUn7=EDNHi5fRQa zn#>oNVeM0b>xB@eb$ZEst!0LcZaeVCnZztQ(*IS9;4N}3zbSS9J6iq&ap>&BDD=w?>?nuEw$y?GDDj!5Xj3USMX&Gik z!)xv8=uSe1&rbL=kY}dcO_dn#%?wIf3Ti>dttS3 zm4lGn!mc5gPPR1gllqHKHw0lfzgAI0qQ@+U{jW^G=^)6x*^fA0Zj?r-1Cp1iBs&6R zF>&0S3JyCw(w9A(vLD@<cK>N2(3NGE*C@U_uVdmmfCoe-HiZ=V0qyGvK< zkL4~Ss~K|&E4{xW{rw{V@_iacGiLX`2@=82QsgtUix?jb$fg~R=eGe!>`w~-Fz64+ zTq+?~Q)mH{OSP6%v6ZANOmV-yM`Uq&#o)>1it8NHeAY)jJZB0|Z*>f#W}Q(0 zaaQfb{DfHB_W?M@ckjzLxuf(t;b2TNd|t`qXL^9Eb$7_GW$*adhjfS!-?(ob+u#$B znSiD^J`dBbEs`c;WF#Kc)`ho2pr-_~???mq)hdi{hiUD%@;X2O4^LXQ2l{iT@1@og z8-Ad}O+;49naf(FBb;^l^cOo%lCn0VtGW)_t_lm2I%ENTHgUe+)nFF=vw2?7`S$EO zql*rdJcbNTdB3Sh?|X3inpP)nqDjQES;lkxgNe-=%IH(MVD0^9Dd05^=I|lEF_2>J zr6MZxp1Iy_Z=V08yDH~)lfcD|!vbY6w7kc$pC)qF+Mu%ik{i@Re zB(ERT@X94`Q#P?=Zi>dn@v7Y?M?3gPr9H>o`(@+8-xo*qRI_5I0bR9JwV_#f;4Qw6 z+k>aqw9ek)=aeo*A81v16^02`X#$iTT`l>(4|lFW9GxS&e4uwnI{e1(p=ZrNF)b@F zyW(F>0(4@_08P^?z|G{TS}F7QJ)L-@&j;nB?K^xjWtJH---twIKl<&8)(gwj9d!<& zBMXWzx0BByxl~)R1N^yDdUm?5ubM5h4*HOY=8Sna2_Rr{<*cfzAGygy3y5~+8Fvtr z#qm8b;Mb-iYbWqIUPkwBCcZmc6WX4zx#*5OC*n#Ih8(&wyD&OkAdGpb(uHq_g(iEl19`U_RtF zqE9pD%s$Uxw%eWL6*o!Ab}tw0*;;il(F#twM(g$Pw_kH2y=yD74s!CYTv!r{OwT{J z_*k*T-HxG?4J-bMf)Vkjzyi4L&6Ia+2THRXH=#9+*{q;6GWt02?)C!cN7R;$7M5$< z2(0w1m#)aeDUG#0j?h}Jz6@0bK`kO?vM1I}9?k*xacY-|H;T*JK;fbW$~1h0W!9`~ zCCkKizdo$Q&)gUMb}1WHdywe~1WFc$@Oz6(CyDqa)PTB!%CSZ;Bh1`LHNH>nnf zZQo&M&&90CyrZ-pt%7E@oB_T=0OaKB2Sa;JBKs{CkbF-SB~jyO4oYa>a&N^O_UbMZ z)x6B41?be9z^OYGQaQ86j0UcCVoRKmu`L}yen?r*np~eydlZo9IJq@g<+eE}y@NPZ z=_0SXIu^@?i?>IuSQd%8BkY8J=QHK0tq2B=9~i;9!Ii@tYp!H!q?U<_wx{~9cPEoE z=$tBTY3DBG8=r5C?-`B7-rhnN2@X&5F>cF00IqcWp2{et^sxRIoEfTF+78(?4vzPr z_BpIvP7!eDK6IZ?s(q}Yu;}LXGroMfWJl7z?2XQKtH!d&;ydM|Y~CJnU7=4D#Mdg~ zhhbay$fbL`zIU5rD#hYH$#MX!DBte52h##=>ABV>lV0d`rGC(a3nVHmL0y8Kb`6~E z-30{p!ltN-&OSLt8#dQ|^rr<F{D2`FCW;j+XFJZaL#22&6y5!|n4ANxo zo_ktROQ;Th%9-yVo+jFRXjc`arQepE=|BzGG}Jdu=2!i4*5-`2*D#h%yu0FkpqQ@@ z0JU@j%k&arH>`0%DQ(Xeq9qMOHA;vUCQ0QHtG8oGSuugt1k9YT#s?2-1x|gt(WZ26770PKi+a)_9UvP+KH6r<{gQm#WDznKh!$%rTquq! zsJ1FH!R2p{ix)E30x>40>A3oCm_zy`K!&d~*-aHnZ&n;7RA zPF$y3-=PLw={0egldS1aDpkuC4{yrR?k$G#b?i3_@-NU}$iY^acf|VigvQUrXBIy@ z?p_u8?VnE8M%q(gM&j6LuvI`y)M&_2lgv zR|bo0|Gb|b7p#j2TPSMh>aFuWIDVC=b^Z=C+ZUy%cu^T4A28Ibhl2(_pUjbXeK55< zw2EzhICGOd4ms^w zOp2*SXF7in;0$Nt6R5Y+9J1jwMa-Q&08Uhpg_NW{Y3=QzTE2rF@_=o=Fg|kCYhVjeO z{@PlT>dzrXJ&SK^!vqD&caAu_jW;%7@6I|Cl`AUY0$4%cu^es{I>9_V&_(u@6z9O+ zCGboE2_O@aRt@x@ER5m8i${N}$mj-|i|1ev+1Wp;pbLLQj$c^slce?>7>vCijTqYy z7vv!gKO%fG9E>GnVb96Z);bb%&gidSBS`vnb_MlrS*o>*Tm+?gy;!IcQ{A$8QWgG7 z>#-24UHZE)Im2YzoJpWb4_JN?3{+Z?M-8)& ztJdTfo5NNNk(qQz1aLZo&PP9;ZUfdVL7Gnc(TjB9trV1D+D>`Rr!yLzTMPU|*7Kfu zqs`s=7g9$F`f^Z>cBNPw^b}HHv*<7aSA3tFN!ez0(*!|1`UiZ5?pB3EAxpS{6QF|E z$F(U(=lK{F%(zlDw`yGukvMnzNkUv&)hsIaBmrlcvBD=cBrBkf>1?%Q@2t>=Jc)2C_*Xq&z`j&e7ztRwb+Ah}Hyqr!1o{o@JpkQ{- zHTjt%gK{sOJ!JzL2xnPmh{CO|+QMoRSQe9lg=CF3ORn)i;%Vbm8^V?@5xH9nccSLk zeBO|go@vS03oNp9B={DWg9cS80zErG)&lnD0j>&2c-A~ejwC!M?lXgMbK(Y24m17| z+Bxen6hCEcquv&UwAvJW%!duG_UvTXo4gP0TZ|@`UYq|(&AW0e2|sGd|9p%Ti0Br+ zoxAXcXaC!3hp5lT7KSRFzzg1&v8t(*zlX*#vsEi?Z-js13+voEMPw=U$N{&-3(B7_ z1p}V$vU8$jKULq(IRS$hPN2H_GT=xRFunzv9VA~EfS8EURC3`KVAc|g9CmXidW&I6 z3)!PtG2w*U3c-p_n}9hr_&5bJhO~;0PK#SzW}ma=Y4L6O2wwXd{MPo$yc|J7uAJNB z(d_q%7rHo`+`Si&JO8Oau(aaOb#d(2z;dLOP__-frt!TRZ{u;%KWi2mYRBe_WXoQu z+}v?!pO^13i6Jmtd-9#WN}7RXgX_m6cWsv9x#on6MlLr&;qjGLbV)(nB%CG*amGAp zf8q4lxo1lnOGRH(M&R|m<7x|a+Ehv7Fw*_6F{FU6jlwr=nr%S^E45ISV`jf1C*HvC05gA+kOPPpQri<(ur3@6#tm0oHia zbPJT=#=}C~l`^2qD%VhdvF;F!To~atPHl-9%WsJt&E+=Q=T}P9|G3!O+@2hNTTY+A zvKCLhfcC0UL)NZFsna$doRp-D0DTV9;>7p?aR$4cp&9q;PhWQ<8RGj(shvux*hc#q zE#XZzDKD|-lQ1-bMy}H`RxrE8bDEp$v>VQe))T_Pw`JoII5!-xs zd=7DIcwm?)lY+-9|J618>3^<-b1n#=bAUX&(%?&R#dpZcn6l|a`0af(21viLtc?!2 zfR6pI5-rpu=onSuwud{;6ZP>-Kz)AkI2}KXAGtd?>>6Tk>V@YbuzTz4XW>tRai;ITFH-2`S*HO!M9GWFvc`C_(XZt7UC zMmlNbJcu;>@P+dP(x&BGr?0#Wz6C~N`ppC4 zfdDiye)dCFM0;$C$_25F%&83euONH~!S_>my5$M`d16y%JtL&kiS_hXT9uTjG{n%U zYfn}kv`zqF-hn2p>&nXbZ6JN=ze+GK9?E~55J6cVblg0B5^NIh+Zr%o_!sI)FNMf; z4U{D|#D3l=f%zh?juy2feQFaYs0NEGnFy`iLMo(?fxTDuwr?p#7eW>GOjoa zv+eE^(W=0J7%#tq=nfidDCwYI05dNKV3m|cGwS!KxPMFVR;zv2cb`pjcAhhQa4bfc z*ZC1q@4XNr+C`K*^7c3qTh}%N1?N?NZ^-~l@DBOvLp=lJOMm}ZTM&#`4P1TvUIlZp z+UrZ;134cTW>HiV7?Sr&eRc+4`BShXi0wnt;?0f)RxMZ!CArvrb_Kod3ZIr()X#zg zfm3d8e-haz?_99F_;wagD18gs@UV8&A(B$&KgSyY8}{a$h)~z?L}nowU$C?ak_WOwmC{GBVOB>-->UdNvK|ua_5&W1V zP-8#-keC{Bj`x`o#gg{P=nFcCy|m|mfA0oD*zmbh>N0_Bp!AqfpCAU~_hFpxCq2PF zF)cMUqR6z;c@}J(IxI51{PhgkF&aeI9m?NCeh+(v9SZCl1Wix zEx9FQ3-2^$-ErCUx0csJvQbPOIRH{Q{DoBadupEFHi(+tT$m0OmF+YTe@>?ttJxnGD^>m@MHFn)VG%??8U9XH1U zT1(;M*Vb1jhI&5Egjbb^+2+`;5um^%`{ih`l@S)EC8?J`0+Z$~dl0&?H=8o>^5i+N z=fyK@)OFZy=(E`?uG-C>hyXx-_+3ghB_Z?gd&%Cn+vzN_+2{MsarqiH`)4kwQCSps zI+8*Z>(I#XtXi2CV_dYpD=MdC19{H%+ojofhcV$)JP}m|Lmf`viJyCPggb$efN%gk z=5SCh;*UyHP%r2uBzS`wKwlLE#-P-5e^|jwCOd`7oE7(X*(r$1xi;L4`OtP3^)<=W zm&`dYo|b{_lUiz%JxeHEWYuIoLTIXIyS5b0+{hC(F5iP7RNS9ilf89Rfjf?_2^e{G z&bK+;UN|7^w8snFlLHzUx_%ozunj`R2iMw4s(qL1u5$A8@MrQ`7j&$9iWGo=?Uc`@ z$clu~Hqdn?Hl)GE5EEqgrdp(gM+wXe=#1e`)$a<4a>bv6$L|${(g+f_AHo4u%x~UI zuAuJWQ3*<7QHCP)(*xXF%i4n-W6tr9Bbui6^TIBWTgj3_AK&*?G%lD zXr;UsRvI?f9Ew`!ozR?K-^Go2P&s-Y+Tgv(sLuTx&|}wDjDeOSAjV#$r|cT0Cl79^ z1@^zDC(|I{CF{|2;wCh#K040K)(dIncRG@9d{qcCU7cHs@m(Aw$Q$C8A7B z_QxMKEfi#}j)zNiD1{D{+hlDo4dtNh+#g=>b*KaUJdG5cw&w4m)Y|H(dkwf*@q=*X zYe>89=`Oz0;$fiS7OmqFI>(PNO#VdEbmtF#JO=o*(K+%mu+ee}h85rh2}gbByq1G6 zbIxw+U4+-Z!1No_b8qBjk7~VS;BZMs^mGWD9{kWLz;)-YNN6uR69PETI|=%hJweG( zyDd~C(_q7j=|pgyy|AG-QXq3d`Jp+JR&I^4vPPZsy9U#{n%!FF8L1M=9qI6sW+?}fJ0s3O_zRlC`lS#pK&>%@PNenHP$?Tb z`#JX!V9y)$+JJNVE-@|jGs{ru*PdD|=Gs@Qr;(!(nZu7`c0{%}gHsSLdrvv_YrOo7 zZ&3VB-kZ#dC|0M~sPg&kSp6;Ciz$7zD_ZMHuY_miMb!3<2TRQvVseM21#HjQO$TC`5B=#k7r+N`sHb4<-WSMgR{ zikJu9Pev0Q-_-5>cvtmnSS2UZ-u-03`IY1vJ$oASg`KZ3AmK&OX|Mxv4K!gP%0uD# zgQxUiU^{9rYq-y?1I_BNx*k~do3KVY2-sr{_OOHP^K(AlDj{9NM4QEG(ZCDO3lx0H z(<_#RN2R17U%q_lGyCq{JK%{~n8O*tDxftXy+qs(a7g?Y2;3uhxpY8ZmfQYme9#d| zU?C-&7-MTYU~Y1543>Py@D7(vHx|jdFhaZVBT0E2Vm_TnO!P!G5lD)5jn#_)FMhZ( z$OHDbl>9=xOwKB~-5*LkzDJ7);`Yw*2YIBq(w2-&*4S7%3PO}Pf@ikj`# zxDSj223%mFU4_5&2fCuBjIZZCHEO{>MZmnpPAzn=&cFFKG@SdY`37LROP)5J#m)NS zEs^HKVd2)SY{ODelraxa4g2vem9u%SBJfGn8<8G958GdnMQu<8V|-mg2lZ4A?-a ze|{-N)t z=53~Mi1z1Ckcf%IVg2J)$Hu7b2941hIE&t9n@QL~ZJGFb3sc+f;{aPd0R@ptI{!ZB zJZ`Y17ts9bvk{&3C&kJ04-C+UYCCObfZQ^Fs^;0x=EM-xJcAMf?4}0le1K>BZD?7W z1%C{J{Ze5244>nPF+fdwdDcLDOnQ-{Dn9F1M!hyV+B!Oxgu#YM)*RRyfB(e6c;Epf zpQJ%Satbshp^IpfTswj?a&|IFm>Rlg^q89P=B6Cwp1|Q6RWz50*rHE>nbo#nowd}X z?!f=3heD6hS0xcrce3uEm)6&fGkyAu)VY+Z%~@ZwDqkaGIAF(&Q}Aq{Ea34^0rq*J zihx;lUuqW%HDoO~7z(edN$&b^z;5l=PGfzNbi-%=B~hpd6rGZNpB{07RHr&sv6(>! z_Q%|9j7T3~*h4`U=6d?}a%;;%6@xWKGev+Hci#KUttQbL-$d*7qMTmz-FGZ}zOj9^ z#;ibURJk+bS-S?$31Veq<38(ADInR63pJDX_ATTmhoTwOm*N@jSgh+r zZH4|=TB5QZ^TcIz*_WL6^%%CP^T?|6XxUK;VypTMt9Ri8{>q&AU?s(Or;I!MI27B4 zH&-z#K0)&>QS~=LN^AJI(bqFe;w%K&tX&?vaX)n?ekIrSjmYb4IS_Y)X&t;AP(4d; zJ;z%H*d6jTs<$uHe66)B$sZ6nu^bc0PX0B+-K6y^Pzz_FVGs3r_*NkO^KQu!b8N@J zMxv}yulO*0<<6i=h{MN1h0#e-{tFEg?G?=PUCl+ZUiibxpxE5!HmP`YrE{b-6Tr&y~IkefB$33G*YbWGVNCxf!nv%;4YI zISq0Q>8y131BotHTp!2XTD6?_3(57lFjcV~v*=y?ZQi`&CA(M|lEUUskyx1B3&?Ml ziUb(0I@W`_vc|~Gp-1Dg#oGlV+9gQv_j4$3hfvuJmOzn^Y+?cnrq$`IU{(Oz5XW2# zCv^iw76MSEe*8@$ixU3-7hUfi)nwLo58JQ|AR^M6f(VE-0cir`ND&Ya>0L!cKtOs4 zB$g47svt$Gfbhdxo`)3OZYNqziRA6^9zZK>*A+;{1*D1v9e)6Dl+)$ucZFqn!>#dR*MRkc%oh5 zEjS~4&_8Uu3$cH|1fPub)x#%sb`Ja)B-Wbn5}z)I&coMsZ;3>ovyu;uibyNy zqi^T_|KyV09h&iI+uV{GD~H?9)E=?5eyL)C*!R6~-xdM7!w-!g!P!=0fi1nl05`zl zjE(_j^v8`S8##wvKUby%v*1Wb^Er7rPA17GFTFy}XAKT`rKfd3X$!~hxfVInw~YjFV+{0^vJMXqAEGF`YvZvWKQ6iYf<-$0qW8nZ zG0FA4ND~3gQQ1Sxr;M({pzXE-FR6gO#<=yH>>G1m-Ro@@T0mbBn+ORqHdfa?o||&0kjZR=~A)X{k(b zOK)Ft%3;%Y%>c+?fyz0$l~nC&@Iqigpa9hOtSozu`*&=`jV*B-+?iE=~+RcY|=gi-o|~Hk%z=y`w5j&~es%QX2?fX9t1F45!*y4c zl}9pb0irJ$)zWXJ-d9+t58LUqrDhG!UlABTMY*RSlOnKrQtkKf<%OWAMppRh$?oTK z_RS6&5f(J^6!DnE_;1rD$N$j|UwF5oJj|Y8+NuEBv;GE;Q#Q+%(Q$>7g=!{x+j(ne zFgDU^W!kAjk%1Mr#d3IxpzWoEwjw74W27 z1P}{g&cOjOm~JI-)Rbc&@C3#%S-=PT4lJUZ3^}t6mL%2PTkp3m4OE}bBVR!9ksY>0 zoI&YxmUjHIENVZ(rGYS@}(Dw5a26h(H%-Vq-LT%ID3?7BDyk z>T4WXWJM{ls#pL#1=jx#=z=X1i36<1&TE6Lm90P_<&o+JEmHnUuvZM>Z%iEa6WZEe z&q%V~Qd$0nN%=zcMkg24)}^GzDm<-ArpEAx4P}51qEw*}z{l(}Dv6);%hcNzB@D^q zU_7>I9ay@|v?e^7+0CDFeIlrI;qfVl%aZ~NSDXNmpv8to6tDnv6%(h|-^{CH2pSg0 z1C1CE9VP@c?mByYC+w_Zv%g-LarsCtuU8*(s@r!?MZGBB zl1u0Co%-VxB6%HWTycA|I~kHf7B_6_DiH_82|Jk#ixsS?!{bQQXI{iYQ0g`Y>lshi z)XR@cL-q%28`doFMt=q>!Lbdry&({qK~l!t?@_1!ooLn0q;y%2V-Ip}U^m?hya%fV zG$Yo6jGb3{oyDv2gv9r}(xIxH$e<|WY8A#Y9&Ey8qObBJy8IoGn6ZOJUm9GQ9F*)_ z;rS|IY_=E}Ha4{5Des|^H_rVqtE_c@$aOkO@G8uu za$0JdIsQUU^8l0AK}wE@y{>Pd?ljaW7@4)#UUf2+B|)-qu=7P60-~YZE^_1shei7d zs&VH;rE?OG|KcTxZI8F|{s`P`<(^CZN1%kdBZx2G!GuTHK348t?B!JP6`) z`(2{y=Y}|&-f2~NZ znQLw+rMLQ|nE>f8r!mfU1yNKSWS+%h>2Tk(Z)R730nGEVw^S&)T{`r&o87!SiYWX{ zO8&(5EflA_&A~DzR(5Io+gbVPf2R-yvI~#VORvqNuEniSzhs(E=0?8aa(c(N7Do-c zVy0WuW6##Vd*k*v!~Smb7f6$Mg@%;|>Z5wMfyMpi?r0mu12hC5p@v{xIM8bAKEorn zpzB=Uuo~!hgCi5g<%}1uhChp`Sp@x+MkJsQj-2=d8b<>(p+B~d$%8yLzvax_rFuXi ztgthS$aPq7(gGj0C5MFCd2p>}shdO?bmCp9LGkuO2m`*r>o+aK3{D&v_UlbzSo~sY zS~1;|1jdMeyJiFhHCc682qmdT`v;RhHuw|toviYSx9`F(a4_8@=Con->~9zsIy z_pHc>*!8eULYV}FZ}iYdp<@?BQiTzJJ#76bZ%$}GivrwOD>_kPnEi`y1|y(0ug#BO zr;P{JuT-o@O~f*uoN;l}m>U7%$mO=^$X}6TFK$8mln+ueRpxU8>uWZ|bOVh2OrD83 ze)gW_ed45dYULF$lONPCGfCZj(k5{s?R}=c$ssHxGfE7MsZC|EUMNR~^>`&2Xxzf! zbw~dz-DOakEFRZ1vJXx+w5#~F7iOWf*+}$Er^S#$l&-bHt>&D8)!Z0L;I@ndQ2VW<792`lnM1PTnAXzt+5x-Zwv z(I)!(jLVS6PT~agT7ucD)2b-yUX$X=?AXriCueS&coEzAstcfI-uDEUPYk$83Cb!#K!_)2JYdaT@1_IaNH_783<#g3At5 zMl|hRZYRY@PD7PVR~}A@z+S~!g9A6JzpJcUANWq4lB#^TSNAEVGhaLKynxU(dj@p8 z9Fx!9U5l0x*n3k-Z@~$&&qT;!OQly}2r8J1flLO_5z!xv9I~6(TTwG4H2s&d;yX;fmNj9rfuV`Xf~bdViSQ?pJf!ZqZ*($`fG+=yb|n6AF0EoKi|F4-?K40a%nei#MK}_u zDhOk;8_qa7Z`_pi%bt2Z(1H&+FGuE778=L!q|OrN{RyrGb1v+orKE4y*iP?M&-bL^ z3DpnT+JF3DGy4KPcILF!BMx21owcOipwOn2O&Gb|b42F#HM1N(NWwDEh zS+Pg94cqL$N}!HzA6b|ZyeG&TTb6FcbbZ?JpyIMsB5N&TOfBSZ&pb(Jhx-<>KxBcxod$A-pflO zfm}J6iaZb?QCyenBY6+N*B+YVQ?t!FUYa0!We5Zk_S^3uq9+}zBC8)DlkVWP=I+JF9KHl#L6R+1zUIR!b5fG-|#OjfOv8(fQUSv zDof|!nxdhmSM{`S=R{Gpf_w-_{X93Sg@V1Ax4fwq2B+j-b+WV`2XCq4=;6m&N`~+^ zdND09q<*7-reSj5nVd{Ch&26xx2t2!QOa9bkwV)E$tqfLR+{()c9n1UKh~7nC;gp+ z&CDhyJ@!0F&GzhP*K|~TUfTODZm!|pRk1ACkT_uax$G5#D$HMiz9v(gm)q=9(=5LF zCN~ea-_#v2LkGEZ_YDj{xvsG^uk~~|k_kx{*@f6bBwAWpuG3{M@J@8Zi^pFsvaGpZ z_N41Rh|R*l)zsATkw_CT%44}^dNIBuYkK+-h-A78*v@ZU$IclNDdThb6XaV+EuSWd z$3C7WU9v#4q0k7h^U&a8KbC>c^2O`P-=IWy)@Y0JZ848wlPw71d%cQ+Qbi-{1w8>z zJ{%q4Y);hyxg2k`{-MJm=@rmt2Jhr;fzVW_9Wml@&pT|mx>n$=84c*Ug52lz**cG5 z)$aj!LTeX^nLwm8Rvbo+QF_efqn!_sh&odmrZQ4R$6cNK^)k8+!Z+6Z9=-QoQ_0WU zHh~3p4Y=IY`6ZMu1l0JlpnBsf^?8aLhFt;Z=0W)F;9`Ngh+jSNm=zF)fRHgi;`}~A z8O%NN(+YVsbDO4rMVt8nx#?yrXKZZj5Z>3{zt#ms-u-$KXuMv$$arw^FCfa(Nszb& zg1P`Z{H|lJKUv-b^e>G^X^()w;?S@#BM?a#9ep1BJdM2L#cHj1apM*=UOO6)qgFlx zs1@1;tHQ&!g&ju|;JQFiJHif{3{b`%2CpX%I>N51;Lii(K&4k3VSMu&E)3RR$&nlE z52&|E8iR2;F28G6ULL%SaEdR`xk}2_F01re9RB`Zl#%-xSpRkrKKnD6JO3D|@`_7z z=I};u6u|Iy(lm!9TofdG=tlrFd_lgOb7c?*htIrQgJjXRHbt%WM4R17)=J6rePR(v z0We^EA=+_8FAPm3p4r-aB~yHc>B=4!8e4v21Ysc(*FS#zI9Bau+e4hJ6j>Aju}t7E zo&?dT0BJ@pnED!__Rm0+G1{lt#N@VfZd2$T;5Z@t2EL1}ig=6xGO!Sk0TuDTrvNpVvBgFz!PAOh!jmCH~2uToLWioEs0c^imq_e9?2i)aos*i^Pje2(7Q zy{OK~#!R3fPQOk6*M-6MVBhmdpFPljdy+7;6|+IKhs&-VrEQxu!TnD@(}480JJd(D zz=A!7r-0m^U+Hb_Al%@81VM!o=V(AvU-4}8dhCY}Pf5FLAQ7mq)NYlQThrW|YDGvw z6o|zWr(Xb5vbq&KKDrfg>BoDuVvMz~d31U1?8B~ucm$yar{gn;9NeK(Dw{?bQgWzs zZ40;l1-OvRCSVzeioyOjE&p6^g*r2J^|+$rM1C$Yw|MAXf%9VElc)-|--0%~ACT?QK#e)Gb$&cw}2z0jR-NkVaP4JxT{TYwni?cNDw}ON_F_@$Uvw z*}^xDWvAEZ#0GQJi`7Ja1sXt*njkLHIRu&}II+rZ^aF{ykHbBS%!_0sfIoV+rr4hl zO8m;cR1Jc2%e~jej;H~UbVTZn;LaqB|RzUS80TY?h?1161zhK3iGzx;eXCPM^} zse9d(?snFV)0#$=a{uwRP%ccnf~wLG-=g^A!Lq{g4Eo;|0@5^u;UW>y4rISzUVoC=L*Pd?7v|qq_M+3|d)nvV6vfd!N5RV=p7G zFKZMtG3!Hha;?{f`K-}B_;(;?_t{UhMnd1B;B{TO4>0O2i6m8!-{mYIE2a*={e=3G zciVuM#i2$2h z2RIUAa*E8r;9_ty1u0CJ7)?K|_y~B#gH!16KxAFh z74m9P_kYX|*88nPgT+}rjm*8isR-Mu<;W_BbpeA9H@+I5>OqyjRPiOxy2cr+BL2Dv zAk}-@ylK?c5AIJwL84sN?B;va;awmzfZ%>nzK&Iw70|yx%Bfto@iVk6*LuzDQ?mTF z=kq>&x;Qummiz%5sGQe9c{GP&e8g>v!4ejLl(UYweWL0?d#p&s(>^{(Z~)d1oD=bv zopFs;Q1=hzGytj0?!-h-Pmf7pV8d{+RROSDX)aG*ooXblulRKx9QcFbyAw#UkFGUQ z6A}|!mrnzOd58f6KOOzqt|QI?@Llj0#MPv(Y+s+GLaRp6E-rg1AI(niI1;_8Mh4Z}M{wiOdlxZGQ)C`~Fs>4$HcH}XrMOrW9U-q%g zsGY9INq66UYhYrzQF+<4sz9^FetZYzF>ttyzoXl0B`!lFGv9dAIO;qT4Bwz+8u?n7 zV@u?XPo$*#?XH1hxuoH=0jnMV{ZryXlLLJ#0o9!bbb7dzMpCW@YI1S{iKU7jyaIQ& z>?p3^(d@TE`5Rfa{$TyHemfp93@$6U6CHQ>Bxd)fUoa-AXq&pw3 zO3Tg4&%)J!_QPm8K{W;50SQr1Gh3!NweH-xXJTT4?}bb7r70N0DyA`p&!)O@AFt4+y>YVY(EpQQBgyuKd)y5XJqgJ z(7S8V^3_I1N5|3Jt)OSk#&_z?i+cQ@ss777W3KPlt7mq5Liq#gk9vdT5{h44D*V8q z%O#*9=L?^-`)3i%jxxAXh`ac-j$GhfE)`?mX9o>ed23ehh}I1*2`8n?T>FB z^v55dTr#l2nR(tP@Q?L#rjMU5!>MaK4O@<`^!_P-_Okmm_tlp5?jDDM?ug^5dfM6s z$sYBT_Y${7Mfa7^Hsh2;J=q+PUs~b1uZ(p=b6?u$nq|;L^cpy&MYp(@e%)-2*g8B6 z&`Fllk6*AX4zPzK;mC&FL@38eGg@sjj9>ArPww>8A5f^%E#4&Dj6YE(aFtSRf-)d! z^-ngyy!PkfgCAQSIjjPCZuf#g_}rV1MD+uJEwun=02@t9ToDjSWf~ivP;b%j-*WZEO>_dR@Ic=H!KMATDoph?}@?ZN%@vmh*C; z3peO}8?&?3^^^#P_Ye<)Ie#}ucRCBOE+&;}vSk9of`Y*)%*lV|p~A_vt6C1{=)paWciMEFbDNz!i9s-tV( zMuvuq5werLwBq%j&^)kfi?(6IZh-uIum@_ueek{DqYMCC4-}*aMJFT@m}K`-bQeB} zFkJxWKY)QyL@&x41SJlE#D6GS-P(GxKLZt%E9#(HI~KJEp*V#QeXdl z56#)e=W<*efdk@?b#|TEaWGuT$<>Ai`Ble$jU1~bBFS^Ur|%_-g2+b8Cq&l1&i9*E zY=~5%9I|BDhyS6k+7Q9cZ?!9qcN(SMEas&gB7%pAOUw*c1-3m70{V)!=z6oW?V>KX zNzKIBF5de7_H_eDExjCbZ`r>;?0749xd6q2Q)A z30pL%M?CK@FPY9u3e?1S&QD7jeY~Hip}_mzaxw{pIt*k_bC!2t3o1pn8;>PRH+*9K ztm{SW_^?C2R4AU3g;g2jP6Stnh-JbojSGy@;0Jk-n+qgqIP5I;MSn(6i3o6hzv)(? z1{9fBXffQ}_;aK6!~@gX+FE~Omg>W;4rbmSQT`*RS;gWza=g2`x;SKACPF5|(kS|c zK#>bo1OP~k!2D*eBc4>=Oa)Y?fR|qLx6~au{lHb{@2MmH4**d@Hf9tO6*V$5`v~GG zE8OR_imd94!B4MxHRAJ6@DKI%rHeU5hx_uT^>ZzD8@=!yOSJnOVHAw+VL%U{wXPrH zd5>_r++JG?+|@2`e$y3E4~0G))+P~t5LusY7MZNHD#Cjk^bRg2a#$TSNuh=}Tm7+~ zXmbAHf*8^nm_>Jj?Tv+6-n%UO(wqHo3x_tMJx}ueRlAbbW&-d{b|C9&sFtxi`Z~#g zHzh_D0bY2uYj>S0uGO!SZ$YX+I?2pBO6~l>jm_RI^=&X)K$`ivjg=#fwrR;YSbh7P zezBA%j2R8GKDM3_E(=XE)h6hM1RZKkrPzi~JfC-{&uLoe`Sd&?hbmES5iB^F6dkOWCB1K`9o?QB?%Rb?>@4Zy(pu5eLuRiRV$A zOgT~%G9Acs5b%ky2&M$wfkYnD)xk4AL^KB7KdFJ3u;_&{D*fk&+OH=>1*=l;DvIlv zd6W+3=_1!=TAP<3>-iAB(JkKbJFNnQ#wW%F6_|)t&6q2BU~pGv-!m)@-=xI`60!4i z$Nv1ba?3x9C3MRpa=$qno#O^T>4ceQ;^ePL12} zXKT_Dc~8+JcnFcZ3j)AWmv;oqa{+@&`R5rFZYZ;I0HY_0? zg}wSVyWoRs-u220dzoBY^cB2;0-D4s^iF#=%5?H3ZYf{CNfDs%gT9NT^3ChvF&$Kz1BM@xwIIW;PZk+Xv}6lHAUfZr zKJEjO9Ah`LFz?~&;Pu|%0#R>dmH2;E@3KTh`^d9+=K1A=uA*h0+oUW@S$Zg<3zu zmP3yOxy%F2S;Cn)OOaVS4^8wlp^gDbB<^9lWAtcVH3%_>KU-p@+0DNGck z-p->j5fXFTBk>Lcr=SDt1qRMdabWA~c4BFyN6q_G*%d&QH(-RI-B>*z~q;BD^ImI`znuSF5*5op8U9=vTwDZye3cbA_X z^L%z;A!;ujvbrXOy?V)30@ex=lK_Zj0AahU$0n~?*PDW+gDl)&SDgx+M)YN`q7)cGbhZo_Lc0UOtxrP7Z-jB&wvZg)B z^D*}GHPQxaxH;uX-TL?l0r&F_&{p67M_#9xoL6k_1b`!TcgzJ6!;Om%JM9DV9M-*mD_mj= z8j9SGG3Euf5IoM3-5L27yEhB8spFP|{W$NM@5CV_1=7Nn&FdoJct z-)%=*Jl4_TE|02PtLDI23+h?KBulyKYdBL^7F|HyFERre9-OPt{X0)R8^s*tV>ruswg@8L`TemHp-F_j>?he-}VA2QLd~e#~pTU5N!L z>^S@YbeWs5o7VFydt?quBXVec9F<0L5tc}1KKVW9_fjI-jUIiEK@6Z_D8VD- zPqBDyAQ1xthCDz*{nK-#Q8oiJ&OHzUhu#>_Ldcpk~AHN5h-U`u!qf5pumoP6xxRUQttYg7~ znvdpJ@5u=)oV7|gcL$6Sz$yy)9rohK5A{8e_`twdHp@IV63`WO^k^Vlk_IL!6bUj- z1zez0O#s&xLH8O)*QRy*D5RLzxMx8`0@$E%y$vFiB@RVk#>Ud`TSLnXZY6~NHS~8M zKHQ0Z(wWfb(arjs48UZlO%_aqg@ziMnl4r(Tr_V{^r)?(|6=NUv-dJ4U|ZL~Mg=5+ zW{ZB~0k8V!i(RivWwV+r?gpkkxAnHp0b@OU)hV0NC)Gekg1ZJL_xiMdIBW6FmrjRS zKO3qAnLH&Y_thS=Ii`BIjP7jJ6bNYkpSod+Y~25&8-~o06-g??-wXbbcAdWft!zPh zjaA3I&9VW`4!9u06;pe+T~~)e_RbCYf0w(v!!7?{(am|(<7qDj=IR=;97VDb8mz9+ zzkZoC`prsT62#^f#TIF$N$$nb0)xbyiyJWjF9-8waF=#*9t5KIb(3()hL2?%Q}j?R zhRA#hdbhVfL38o%OyHEr1~|I)w5xVjJ7VfpsfHK9|x1x~< ztRuk2tgK`KMBSm{CLf$h*00-Usg7{GK#Mgvqf{ht!y}O z{}5}^n$UmSHEzuX>(zYYKqK<4#MzS;+o_%(qPi!?a0M&G7OQQo>1hL!tlH|n!5_9Q zOt2`dghrcq(@VF+q_e2?Bp-q^b=!WpIh6P2$3Guy_+X;aqFUk``Lp$kB2#dr0cAV_ z%Zrj)57;r2ErVS|w{dF8r;;cJGp>z<7*jZ|c5j*&wUVpNJ+a{$% zZDdvRYhr+6rOV_6Mn)zp@7AIAT2XD~XvA6{KIv~p#=Pm9G3z^j!r9M;4@^k^T(LI4 z`7>j$F&|MO+3mai8ID(hsq0wQP505MOK<&f+X}iLiA*IHo4TWWY%%MR38X4wGlOgO zPRNa_K!jDH!m}Iiw_+_;)LDeL`s6TTE(4MP2Lc=H6S5pQAW8qp;R2Vbkw z_wdrGa^~Q17*RR?9nTyt9O8!O#T3l=tgnZ6Rk=pK-S)TczBF(!jtn(pE+MC`VJi`t z+1c3%DhT*Bt6FIT;L3dW?(o^EBQ-(@PlpRS$#y0o^v%}1GM!Yj?YDUK`HHbv8u;`w|%9FVTx?Z?ifDP1y8b$QFmf;!g~ zC97dSP7yvBzfsZBQB}{CgsRzpw~IzB?^$zKl@&?dm@Jpna?~#Euljs2G%>*i8mCBr zU|X0?EZ=WdA3gHp8qM){G-@%rq2EJiucB$STCeyYPECKK?qN(DXA_@dhuD@p6|V3g z9@Vd`GH`o2Z}gWiyLAynrn&6{C0r=m`>(myHZG%8*-mNt*;?~QS{-?JwL8qn1Kr$` zbD?#@sE#QL|J*Bfzr;m*p@ehyQ)R#QK<0a!pyM;rvUanzdRlf@60GxuxVZ_)8@oVL z(c}8o(1B=BT$aWq=$bp{yBnTp`n<0^B*eEOT}Bx`gHUhLpeSeC5X3is&Tuj~B(XBe zTDy5C%a&E5Z7ZD}!&s?@El+WSJXX$D@7M40)~73tv`^k=iNzzsBb~W7w@hpz?Nzp) z9nKq|-VzWM%89&A%AePoYnWga<$sQ6SDI2yRx+JuC`;tBzN*Uy01wrIXyGS?R&_V{ z_`KKdUp{+8V$e_aWa+1A?s(N9jbfeEJvFAB%as$~p7)LQb9K1XEA%gU2F%W+MYt+$ z1WdSN#AlXKb)sUVPMe)-yr42EYhiI5%JN5Tg3tk`uF%t>?IDrLb^g&Ru zuWwW13I3b?8N~3&mV$9o12rhc%5BN&wauc0<&WPd*~tK`jdQp*DnM`k*z%j&Wy700 z&8=`eY8l<5hP}utPbUj)x`dgzG?YXfg7RI6J#dHlUPq`#OFruGj-?cyTZw0-1?4L_ zOvMvQkW&Oqc~MVg>o(#bKw4#TqA9iQW5E8b93=*=0oNqDfPB;%k;Nmj4KfN^Ood7>Rn=AM2kMac<1E+XYnY=pl&yGMFzt~95Z)985Bxl^ z2}aHmrKMQHhPr zt|@-2!sk6=xtJbuU7p*hr+ClM296;%Ve05owBq#Y*f&_7Y+bQL9Oao_fUUDefWNwa z8WD*bW%f~$s#ZJO^!7h5CwZu~dPT5D@Z4x$7mO@3Uq z?fdDQ`pr6x9)3T3y04@Cq32qU=VHV4^+GpE@C68WRhPd_04WaD z@!XIUjPjc|Kd#npl7vs>*oztk6J(*l935=6dtIl!^!JX7#MC+jR3JmX6fN#A(}&n`B~S zq(!I@6tFQfv-AWmo2^Cze=Dxulstr#%pV=W>*I0EWmo+J`2#PK=qg_}S3hbA&COr- zV>t#cWXVn^wR5`vXv{9!9AiLntRlFl2soIMNlQ4^E||ukVa`dJ`6>0t7(q11Zp{{AdvVR_U`KCNjV_m7e*b)yt`)1E)ri{mTViav zor=>vm?=cR|3QX5*p1IS-8e|DhFJqkID~6*IrJM|oKn?i4_BvWY|;1|wFs z8;eA{+=x{a`EKeDyECdc+p8J8pj7hw32yiuPp+Yx_3T`ht-lxC z@*qw>aEw?{={a%WtMS+G7wvhW+gPm0xgH)BSw22pZ2i@(fs|9cQo6y&CM0QixOlH! ze3z$hU7Jc)(l>Tr#ARa=$ESz!NY2l9>WDw1qgt#~;9|w(R(^e|qivP*eY+O7@ic3> zPlOSVk6eO!K)&WXL}o1KNp9NOL>~5KX*kEL)JkhPW~*s-l?x#jl1IE3 zY*Yutjnzh%Sk)Q~fLQ}%{9Wo~)q@9?Z4`F;;cG%G7zzLcZbN}C4C4jpe#`y zzrGnHZ=ZVJqx+@+*rM8n)^)7TK0qebe--Vv zDM&G?-!5d>t?m)$tr2e|SBRr40haJdC8x`|L_74u_&?xYa%;9ch=z^@Co>AAWz(%V-rZL8-GnBC@D%0M#yOKuu zSy3kpu$3RFX=|J9#l@y1M-$am8^zkv%i=Di=WP#yI2akF1esOy<&Zd1lt^2cwl1N6 z=jm+x)K|GKo#Tz`b1iOdFum>vs>jRRv~9yVEzZwnWipITPSh@hIPXOLv+Wu;T<9L( zLdV5tEc0UsFlxU+Pk5Xl?~ezn{00tYeiJ+549zyww)&CE{kf2k*Rmq~d_0FlJlCOe ziY^tN7FxYz181|sOFt>39-4xRP%v}PvewKM>^;|iXwyRRCvcZebAa|mONcW zuu`TCiOau#r3arn!Ta1tl~LyBQyBMFqb&B*wM26k*Y0NTH7_(?P(duJOt;yna6si^ z*s4p?ZR@SR&z1#f5H08D=Z>`fI;g}NrW5z}Z&Ur6cct{Mh4@fz-MW@+CjFR}CXx8r z){ESji>pD5{tZsA&SH`9#KGQhpK9pEJwCIO)f%|D8U)J#mr_n%&zH(Jeyn)?>iY5`*Hu)dYl_Kfd)aUtvsEiMd6vvB-v0bcK!oVZ9v=v zZ2NheK-o|y-JS=kN8ZWHQUmnv?&rjrTH*YfJ*yc>@%p}b=^{@MFrR?cV(e?)pAv%L zgg|rUJWP&Mg}&Qz1L>>*_Kq%EJISYYwZ*3yOve+DSn|kA!&Zx;=2mSginC<)k7Y4thvDJm^m4ihDC9ST9)aXq$v9%c(W>Z`{ z4i&HRN@=tVb>>yVcIwQGt1=asM(tIjZTZ4qf2Lcgx2~#H0^#mVOP*Zyn!Z0tvM!2W z0*9nX6W3OcL*QarE<&!la`$NK(vQv7mB|#(`pw!L+o7nm4)eaR%N3lqEotzJ**YmB zNV2^i^6ik5?2{Y0jQ_zw2_(kS2Zs3y?Kn5L)qvSus0{1-4bSPD_H84!#&0OGM?_8V za9d!|2{Aa2&fS{z71@AG%W1Hye0<=f?i<WkO~Op&9!7CG-2D;HtKs z7H6CdYXSVwveVzgE8yX};z^lFdJB%3X=2I*p6n!;l~LlQ_Y3y?#wCwKL6M4XFH>e- z^}`AgQIS{yJ~|JRb~9q{N{eiL1}-kP`9FEUFdYZTvf3| zcacbV3!a;MA+S!SnChU>nPzrjE;FjprZ@(?>yuFf0W+Q_{ARpx^#ujvuU>|Pg!WI% z`Kaq8D`sASwwj#lCikyyY98_2{6qX%>yjV(S8gp<&?9fCJD!{2j{K(*KMoZ*b201+ zWs{)qY3Z!0z-6=s&!8H;&wLEN@xPWfBJ=kJy?|qX#VYL#i2p(6u-cCTw2E;>b{bI?Nt}1V0q`0Sf(L6bHXVd#+6@gRE6>Draz4sY;|?SOot$NJzTPVn4U zQC}|9?JN;fJt>a5GRui&ID@onKJk5%PWD7jS6uu1|7Pu-To0X&MDgqg@S?vm}Pl#&^e zVkx&4pF*Wi_>aaR3_wh%EG-+V~NsgZN8rj>kr|`vLeRZC}2vwtJ?VA5NJJ9vY6i1UzSVt}# zPc2d5Vs^U0uwHoje_Qia1KTcI-Nj_Dt~T6u}-% zsSQM*aryh*%SG1Aa8Un@f9L-^#D*G>Cy)skaXgj~&-*qp3ZcY%vG`piQ<`p0W@(|E3u%CX&cD9tJwyS{`cB~xD&FgkJtLcZ zd>lNEKNdGnKH5e-i|odxyml`JcCa6wsN(ABP?xHlfu-ESn_JYsL4(H)f#=%Y^44KR z3fS1iQPYVIl5Uf@$BLgB7noR+{eScn)p5+EBFN@QqF&B`zQT>z{~jPderw&DHqL9_ zFa>UXv+LEe*yXF+GgI^=z%)@B>MgBM;>%aDLN_@;#gowW7z+P+`n3Oi}074 zgWFB04Xp?DIY=~uk@1vkuDa^P0om&mO6A^#_g6(CWo+thwwK-eDZvG82dzkSglL=Z zx3Bl^-!qqZN^|_R@Bo?P=}}<+8qIugr1WP6@1ck1Ge2QIzA@S2u*f2UzI2ILhkk^_ zk|!wE+?8zzYbmYYjhBvfRR6Od)jOh@)2(T1OGNri0hMtk54{yC#|VGQe@U=zo7M>_ zy|(9u4F&*;t)RT@t{n#Rwt{+vnQ=-0+=YM(sf-q29N%;NToiCz+`fcnb`?^Vb8xq- zFIul=lR6mbITIlYn^r;W->-^_?YSCNukUIa{Xoy8{N~X4rH0qkV{(YQa8=b0sm2_3 zuEN@nSzdr=Rx;Db&93622W{gBm@P?ZJZc2K-6e}2DY0c39Ud8Blbv|p^z}8(k&F7! zGaQpG3Ok(cUv$J#+wQd-`zY(Sb*5zM4X!z%f6I5gkm#i-aL`vSjSsiE8Q}V=FM{s( zxT9&C!_RMXJD4&P;vJu2%_i_B7|v0ZF3RnrROb5SFQup54w;WOmz6eS)9`P_>+4+8 zOzXBLE1`Dnjr|3I3)l?^dqLel$W1Gr$WmdJK=bhO`cWS0)O%}~j&tb(yTLg?=F9haaJe_acMHg|yDqdR zfg7SUH$PwD5e!HuEWL(|$h7B=ytoC7prsd4zR$RPmT>B%Rxe5aeoeAMDp}g7SNCY<-2=lkxzd;h(A42KHcJFLA{ zt*SX^Rf#Q((GZZ>0HUv%EfDk^S3>-+f1re74!6fr6!F0b-aZA-03Iy-xex~Ig3+9oa1xw|K^&!NedtSN<|9G-TOaiNIb-SRMYP*Frj?>ejFUzV~b6X9EQiw zrJoOok`ndNcFm-~n3A6SW5um`llwN3<#|EGFA@U7j}ul7Vm*U(j|Etbtkq+r#orO90e3?f6+zm@`fb*U!CXHD*ttlO zHrbSmJ{4S9*GJdx@Dh9C3!R;szq9j3iJp)6aWN#oSoola65s$KVmB9umn|X&1#c>Z z?Cl~>9q1kAsp$5o!A)LQ*d#6RtqpzAxkS!P<-Wi&!cCnIpvGnNjK7bb_13{{_FHp;5ba_vjg}h@hzQES+3H zXFwQ22dX8%n3$NE{eMza3Y-JX_nhQtnc8h}Nqs_lsTg^Js(&CnD{XX1#H|}_nnkFg+Y%6HU*JQ*u3n|VB)Of zatXElEn0&oCp{<4H#F6)^ooS)l$nnUX?NWhFWocU*Uwt}gk@}j!j z7Sc9yp|Gx>pSiiY-*ireR9z_C+n~311jk;AcU*|=_acOPKdNs=Vx7&55)bdkj$#Xe z-!Czppt!Fk2VevQD2rwxL8?kegy1=U*Vz^GRdCOW6M1N8>{?!F%Nl7bL?og3vo=~4 zlFkdA}cwzJvbr0HPG{R`G0Q!39 zpsjjNW3$UvdJCu0Glr)P$nFu)>0?L-7OU2Wq>QrVPbv!JW+_RJ-_j%@ulXc$P*#pr zfB@<{Zt2ckXrT1GG)nn_b25&_e>-qnI7HDs#{TUk$q**u<`r%z|v9_-;=PL zDY%b~;#-spVBG$1yywGc1RFh);nqi7D-v-5#?29uxvTkQ)f>qhEws$qw7S~X%yyn{ zFPYr9=Yh{Z1RlN*KLQ8_S)fn%r^#^@R zc02^fdefxLqWQNiNY%N*Z&m3$j8w+tYCQb|AF;mV8QEC4% z&f?byo#hFK11a9N;69IEDCg*WgkLZs9>gn$<3@s^z1|AZDfc(4S2s>J@CdaK({k>& zyz|HX&O3m@!Ve~JUyi4*{a{E(4o`MrA{Gx6KcvOK)X)K5@iBsuLm;OX71Nz#3_*UP zzq%k(%kNg;wuQ;-o6m&1TPK%jriEF$N%$P1b*Xh{w3{$aSP|yoOLqN(<|~Qbfd@~Zj3+lox^7nt^@^kLO1kXEJ~o5yZ8_CsRfkGQcNz9!w7JgC3*?q8 z0!Oxdc(wnF_qB#@?#!sD_vStcB^Ar6G`VEyq~oE|0s~j3f277gGJYMB<=3gFlAGaX zCb8TdnnYSB2l)BfdgH&(N0NWr_E5TYhi$=XOI$e#8=D4Z7X}#3=rA+IU!zJaTrTG; zjEv$d)Lw6cRVSNx1A4#3OSk9)zbV}0MLhlxTv_34w@;E0(gQToo30O9_2^r{Ct*{^ zEp03Y;3QM#yrnG3-jTIJ)M)w?8J)A)1jaIOLS2{AB5^TTmXOiatU%U*hY#58q`x?$ zBnq8nMn*?#6W!+g7^OTrABRLjsG{k;-cmRXP*y45;PKFk!ZYRb&$w`HtRj+vd#GhV zVGtIJgD_WAhxeAwOICtdNkYSir7z&G&jrAuYysWRg2E_fWc^jraM1hQ*sm>Cdig@^ zNN_7V`QRf$gzq!ihXe%zzY-7ne!+Kl(pWQMjptU%>^4(ESX(_kP!%9yNgNfvpzvkA zHL{!*vV(IWiA*QYRHYrTihvV5TdJv@h?-1+OO(Aw(nx z*Y6^a_f<{_S1P@+riRV-CZ%n`0o%agaGTV6pVD^tKpII`&K_n z^UqAVB%@|^58;|bi3wWnNCbiW`Q?qSRV4Qv3+3YuUTEom^jt^*!IqOTlV@xhm?Pt3 z%wnnR7`(m27GFm>jGaRkCOwy@y_dQb2aTN9Fb25Dc65(d#TU;|airRUJu zy{9}1=7JBhM*YM~^>l*dz!3neDYp)Vn(n3PWO|pCLT>JJBE}U>olUOm5s|)DgH&_c z1Rnf+YXa*!`Bk&$tb>}Srql27y1Ke3VOxEx?oX%7f4|_PG_40{D{SA*Cq|=m(#1ef zN|B-~pg6y-EaZw0p7dUB&Hy9Hx+%+tIlIM$P1@?S0*6B>?<(nTUJV>VbV$kA8_EgO z7RC$Yhl;W4>PHu~@J;peK7!j}v^skiagnZ0v`sb0&7ho%10z1-OS)IlaB)wfXBRj8VA5qj3&Uy}GfByI4ZcMogaBC_;7p=DidFk?~v2%m(l`96xNh`pZ5Y67j;AVa(m7I z_$haI?|kNbMze?F%25KE1jjYxjZzRT4U8!dG$ouwaKp3CmHYb*&Ij_tj#m3MaqR2N^|RoO8tR6D?# zzrm_>5&y~lm4|g91!FHRsA%ZL_kW&4_am zca~FeN;e?Tf%~Gzte2Z(Vqm)W`%ADbU_09JC^^gtx$kX~70G;J+2+?*vQoU3<@NOR zN+BbXA?QC8kCh=Y=->nF(*4a9RCY${9np5?TAYjVlJqb_A*!+-~+%?b2*3fIK5E2!!%!J zwt5!c%8ebKksDC}YJ^+}nIkT(2QlS%DWQIdE{+5-WpL%0wIdVSKf#O}*{esGQoPAR zN5Laj(}_@~Q4jxilP7Qt6O)vem4|Vz&b2KQ@Y-Cnf_&Ml(02XmABbeZs$@|Kp#Z{2 zL~q~41%2C>H@6~(F@wRlI11mQ+|e|t`~(2`!fsM8S^M{GGt;mwA0TyFkS_pyHx?VQ z$rzb8eFztl;xH%weg_u%nN3)VDa3`D3EF2OyXU2}OB|S~hSxatmhPChg2uoh$=ioa zr>oly+l{tJJYIAL(-MN0aX9!^O*1Lv?$KMf)sNB8fRl-zrH99Kyp)GeY44Z^{OTN6U`QVNmT84gp$FaJQV+mM; zn^VIee~f4vTW5Lin>9C|UCiyB-m0)RrkBp6{7EOB)2nc@xNcYTWV^y4BsgoFXRyr< z!QDm;OMA^5KiU|Z!|dzocWXzN#7o$Be)dr~#a_n84E}pKW!~ToiyMiflMxeE(?N)L z&o{WRaC#pFA{q4YWlUV3AG2Atb^Ty;eFgv9%en}qRDho?nJc#`7=$h>0JX@4eush?1u@SintVPSu2oFJxU5p=Jteui*q^%1ez-Qa} zk8?rVjCY5dBZ%CjIihNbj0-r@D{>&NX9LVa!0+iacz) z&*+`zH1#x2h|gl-b=d^Ncq9U8)$O`iC&Loz=enN3hZ(cA4neCB5(r{gv7}#NKHZy* zjWVBYeOEJJEAB@VpinV$!uk(0V@SCKP72he1^v#t_uNL`2zac_TnnP7cwBxe`Y`HR z#Ef;{vBruG8(Dq*AaSywfOGE)1?v*C?@GD&5b015umRlf3E_!LJDRdQVytd$w0hN4 zJcwpHo@fQwxg@?PG7KezHXGqD6Hx_3=3lec!_uSarX+Pyvh(fp15UlHHCd}!)0zZi z8Lj75O9dy;sm-sv7e#3Ulti1L!*nF{GE-k?Ppex!4tdFOp|e{r`qwWXjt~J_LZ@Cu z@hdR3P^=*L(fR@hOUY8J(yK$%6ptzSt10gPL})osORpLXpmMLu)=W&L+4W&a7un;y zJhlGt3F?eUrWgE?e1z3zdm4il?fMC`G4=OOZ`{->1lP}fopy0H;T`)WyJIcPyNDgh z*WZNP+?1&N`Dqh&K*R%Ukt4o!uK>OH>sX!eU#XYOAkaj8J#d!k-d)4tQhx;r{YQV< z6%eRK%b5pqW=of|Y=a%$y?+^q#YwFRnKi{mU9s+ElRLB>=>Tm|co9P9#9?N-)pR1< zvYPY8zLs)3z0XgA`Lizc=d4C5>KgO_(cp7w+twM52)z<^yGl=iS<1(~!Le>|@S$R+S z`H9SxE)F+|&oN~l1@Dea>Dbl%PF8LLb+HTOQg}fi*5$veQ*+X`)Gzhh5>c-s-mJP+ z93T_L1(N9q`Lh-Q;FmYkxD^q6^0!4J6#(qJ#P>3y6j);_fXqO|Sz(dyOPgXfj`GBJ zGd6m(s!53zSvqwA9{B5rnm@C5YWTKX`ADx5xxoQI;7JB?{WdmU+n?QH*QbRj)exaV zNGeIkNqJ-KgE_%k*D>EoZhmB#JN^7OXB`H?^@RpC$s93Y*JP`rp3<}xKvo;VuqBn3 zOWjV>Xz%Pa6^A@IcSPuLOWVVeR@24cf#+q2$%%y79%cy2IcYlm@_s?|P(ga-<~cBj zH6UR13skmPi;i)JAlhB0HD6p?x|{eGs{6>A_?QaD5hB#=u)Sq=SRC{G3l}aylO+{k z1KivQ&2KDscI9XG{o17S;A$ApMsu0XL?M#KMD|~2s3HbSF1FyPosh>H$T3vD_B!rf z1fKtxI)AcZ{l#niN1-f?fT#P|p(+ZB>+ujaetJ5b>uCX^sxopDm1p=Ys_D|QBKF?S z_G76Jloq?VH;-u--n*#Kd^sK{_z6FTBm2|SB$)%X=PJ}(Z(7fmU4FAY+-JP{b+M@V z0ACJ1K0eS2fFfIZ&rMNiTOU=-!`G#DNS%OR3BK z&2CRm$>C+CK?F=$yB=2}o;121VUBH&z~4FsQH_J_N>*ChImoYx#6#xs#FJ3lO8)j- zC(p~oh3wRgq}m>;Gdy*#HET4x255nf_h+ie|9B43jVXN3PL>UkX4=*WZoKNU*7c?< z03V+v*R!K<7<8$3$vxfii0m6>wmFQIVeW!+_UuxT5V8gnFg{u&vy*%=FCX zSy*7t_AvO|HcMr)Bh{_RCgi&SqlN~1tAB4b*TrNcsntUGyUAu)e*VrB-&QVI&D7a%Y80YMR>L4cS3d2Cp9v)Q$)hxNu1 zldgUb{UBkb>zE|w){dvIs_$Jg|H7sq!Ohr6;|+_bQTs-m9-_1$2IPpJsCCPok*T#C zEyIH?F;mtl<^crV?$J^^DND#}HO~V@@CoxSLJOLD!YrdeQgr0ux$?vpVDA*SKw zJnCZ99a`$nxxhK8Jib%CtpaA6x<8`6aBWFQ9C}kz6_-m}JL>AP3#X&Y?8e(XQ1}e+ z*CB$J16qWCtoibhBJi>(U1Miwf}kb{m)AyHf;@3UuWpiG;ODeg<$BiujjDCG*TeoL zL^zB{DC%%!v!R10B1`992eGaOciP$nO_S!5{NqvFh_V{PG)M%@a=ACyZpt5rdo^B` zk2QV=y%Ha7F7#+qkv8uxwxkRWuFPTCb0&WN^*K2~NNz-qHmG6KvLE%}ZW}G4L!Vy> z;O3qrZK_!A*LsW~X#2}-iIZIeK4tyrlGOo^q{QL+JM9s?caEiLSXAczLGh9aB5b2c z$!LSY#fOAb1)N?X?|IWETc`_4Ok6#C*rgJDl!kJCQ8@mK+dP=`V=zR&iA zww2n-$<{ofv5cjn_AHuhR9Gi0Y7kehlS$v2X_G2TVz+3g*^b%s9L%mdBcLGbs7M~)ANk_cwUq?>Q;a2J`S zotk49p}Cu5ZN=33TBi<^^DZFzBdBp!AzGGqfms~es#dZ1b7iu6mT{CwYVPVQpeE z2K(udeuYQ5J-T+Uq*(G4)}TVMKTcQ*Fd zkyIv!j|U_XN4pL)2c#E!$Gwp@B@gDew%tgYxnSZMbK#wXi`h(}EvE7hd=hCTBO{3i zJ(x%Ia~2+akH8fS* zVxyMlLsAEO76;2=#_NdWac8?V|K6y%hen{H1k7aNrt6$9Utp-$QqmT6;pjwp`@{X) z204U1e0}Bo>9-r2xDjFB8TZY-7F-|qqsG)T z4MTAP1dsAjx1(7h4oyP0a`_Wvz#(=Qzd3lhTm(p*q&p!I%A&nawgaz12wl_(=Zc;@ z$%uO$kU*+7!B}Y{s)bJ5;Nx5@qIgeRTIR?&hSve<0q&ZA-U3WfucTz-AB-_^fR5sE z74YPjc!56)D*5dY27>o6oD2RzaGiopD5%V2L#Qc;YP!+3r#AnDRMD#3y2+{<{D|wV7 z5PrNFv_L8UnqeTCNKHj*?h78Ug_hT8C#^>gsw^=x+NcGfZ2nC-B_a|m0n%^?D^(&rq7S?ou}gS=siEj#?;}XhU#$X2K<*ef?}Z@1R$os3-mlW&en1|=FIIMwb{_X@!1ynn)oc#m@|TGfW3l{w*rUE-D`KQ&8+vw`;}TLgaIFbz0_gFXS-$Q9^f7?w16>We z_5%nL2=}q4r|_eIS3y}37SlROG;pJt?_SK2S2Oam>TC7H`uTM(XQ_!K^CN&jR{4cf z-UIX=E;Ep`5wNPsNkbBFvYMOFd^_+(9I={TAge7dbS4NLY>gzp?LC-lu+f`SCcf&7 z9UF}_2FM?p)=T*IoTKlV{lT&>%A3;XXk4fY|d!$-`ONx#As z#!!|;9l+}boyk}AYo1fzoKSGwySmV&AF`r?mqhnGB8=^c<6!jsu2C^SS}9=7y%2X( z0lZ)+HBvY@4@jrPK4g+pR6fou8eM?vTUdvBc&!*e8qGGqcw2YJw>XqS1LgoghJ#r0 z3X(}3?S9?TJXgQBU1<4zUFM5aTTCv_EWN?R;$)|mk9;}VmTP1#O^V+2Gha_Xz{ z8m~`cxSG8!A1!Pa$fJ}zO38=Gr&K#C^hIvn(PH{on`CTjrft>VLkyn$s$nFnFRO2) zAC%5?V$|%l!l(yN5^$J?PPkNrA*sy_NR85@0Z%R0Xwt{r+l|b%6sXEO+onQ>jhZ{{ zoPR)p_Wd&3GQ767uJ)JB5U#=T z(k|`uu&e!g3J#H}fi9avnvZXG<9le0Xq)Bm?oI(^P%ENOy%?1tTYrZOMs0MdqmY%b z9Nn23uMOEKZ%o89_e`f5;B&rUl)Oo;G=xmhI>2tQUt9yoGB(Hr+qxV_S2~|3Cp&v< z3-QZxb^pNx(bL$|oW>tk4pTgqIYPXxhkVMg`vxQfKt>s)lS@MUM1$b+kBsfm)%As8 zy?hiDRN!tQ$MtsPY%$ms*~Xf%qGTeH6Ak+mGOdH#z4lQ27Tb9jiLh0EX8tP?tTg<^ zE^ko*oj>D{hM7?4Lro1E+NtLR#%zEj*Kj;Ds}77LC+|!)Zi) zS1p(3lk(^h==2lk)(yW*1zB=Z=?CtUUgmda2J-llRYWh2Z8l1JipgVELj3#yaJa$t z^~pKz3w|+{76_!torX8ay$ZiP-BqBxWQnT_R#R7h)l&&%2K|mb@sAP67qdv`8IDW2 z8B$TU`9lQ%{GexV#b|Vd>#rEP;TLjzoV33x5!{SfT+F!d4sJuJXc9m!Q`61gvSq?s! zd3DaOJ`_kW`pk!fOk*uMsB6ZH)Fv=q6c$!kXBbtxt$PenUGXQg9r_j$RF?NqP|U?e zzMA8R8o#Oe3O<-;z-jHU@5+p~)x5SVH@eRkI_d5JP0d#a|RpfFikpz{$Zx7G`In{dwkgqK>h^T8AR;2;Z71dWb5d!1b?dJP`T zp$&(|-r9zM)!;z$fkq>{WVW~l+TFb)FNF4kq8oN7GUPIua7|MY5%6&0-B;Qb*DB}0A`Ca;qh~NJRikUXw2D{IsElR7CX6Iv+wcd8&2wI8AVz6FL*X! zG5itlRUD?byP?mPc{98vNm#H{@U+5K*ans+mcoh!4FN)8e)rCw@qXBDC@cKX`fYDw zUOuuOSGu#2f1sUeLgwcDo(k-HMyp50_mrk!@qk;{LTPp|rtjaM?#wY@g?e?t8s~+s zx9p+#$-3j~T(iTjcGZ6MUNid8reNFl`&P9YYlcL|r6;MEQg+x5Vy_GLDqe?JJRHDN z+#e5=064IUFZNMf-Oo+W#s#$uCVH_fZp=y4HsATqHyO(!!&o%>U#b$ZylW=6+E6OQ zizlOgKY5QW7+B)*d>vS9-jY}dt=_`_bC`mSD<6$sS#tnU5*yb{e~IuFKEl#z?9F?R zY$Fnp!Ks%F)RwUSr1S0*oAip4vlBM^|4m{MV1uPT0m}=#G8hvz_qz{3b}5IrjD@xe z%7x}%Pg_IEgebsQY%&I#`ghmr-~X{?d@v~qXu+{uI_Untyge0g~} z7c%q<*M?NIDuE+wgf9G+U4gCeP6Ax z?&;}ecuR5vRbal*ip?P7aVh@ySkKQ{lex(gP(-3*F+J2Tcd|=GV0Ok%?bhvwHD2KF z%r9KvqwYbtjTP-)+(&8eNk8WVLf?2|divB*GX&iNwgaWzpNwQ4{W@$w|KsJh_G9EZ zbTO9eNQsoY*6=f{6Y*;4(`Fxy6s1De@SYbm0Tx#_ z1UZe8@^p`d>c0o&{zLIn_wHS)IDA@uzR=m5u_EtKW7Ouh^k)HDX7|>x8=)&B?SmVu z9P0k`QQ#YtS_Ej#(tPVOTnq46-a2%P!&?`)3D#Uxzn_ z{YC7x$3)m*`&|Y-`)w-lXe|4i8)xWGQ&8;P-ACJpl?EAdu6(IUxIj?b93&(J4BAM4 z<{onMQ-HJ&7%1Wc#7YvC_H$ z)(>CzQn2lX)MDh|v{@hL3xc#)nxw!D;bpJ&%mr@IT+V7WlctgHT$tz7$|8kdDr?-1 zhq{)oJs-ANW&VadRlnP`?%*lV7P7CBVt+>;KNiF*m_DwFNiz@^BK6%NDL1bQvhEXd?SA24Kz@{I?!MUBxVY*&UOm{;*oeo9&j2J~J;;&jE9FYXR1eB|I~gT!nHfmPc%f5(jp z>()uXZN}w6D0R8#x1oKJdq5*uYiql19cq1Luw1m**`*fd0R4y5{We?i+`#wd9e@0H zM|&@e11Wjj_{m;4k6eM|v1Z~*{s`!I!1=|Lrg>E&js|`d{hZ@l(AHgS)KPAS(G^Ha zv&6_afR}bt2agX^r`O5L)>t-L&(D0%sqKu*f`#7&FDdp1rob*%Qyh<0Uwx&+<-$tSQG+9 zAyK+kI>lS%xzLf=#F6LWRfqDLA=61RXO;nBu<1D?IJX9QV{{fYeKa&~G`WtX9)$}h z{rsXp10}KXhRi}kqgSR=Zpdx!o(UOWFez7E)g{>zKO}Qn&~?BVgm}1cvS6<+6&Q%K z_D8!~!Nk6}`vg!0Q5Pg$36A!4N4VuITFaO#`70Mw$2stPpfX`?QpvCa0u6`4M zYrx@NVJEEA99OOR7^xq##ok^s`rBVMvo!l6)i0JAacLqDG?M0ESg}U;??FHAKBq3d z9x6yZV%fC;U*H4vtZ}SvFF5jy-{s{y$X=xR2^nl@8t1n$J0(C1;2=hZm|OI}nmC7O z0E&6yCPYJ$GqQN*A*pZf`X-YvV~`hQuW})#|3{ADVq1w*NMSUu1eRH%Eoo(} zp2ywu?31N<#~F7E?GLNT9041wX5Q8nE*>M1OGF24an>G&byNtHZ<@{Swi^r~J-@<6 z#6u~G#kjeee9nsEb?KhJqRV&1t9c#wOCF_28XcG~jao(vOjYQ$4u68qhMGo)Y!^&pc zor9xtHRSS{GP~tImnHWEGhw`lMOEcm&rS;7V&EbQyNW)-`NJz?+-Cfx7>($rouYoA7J|bUX+7uhT21|>67k?o}(uJL8j9YsESq>|zX8iSs z>NxXgtA2^OP?N&{eD*#!*X~x+UW%*aok_PbI^{MOpqFJ0B{beZjvRQX3z^@pl{9!( zf)(}yKJXAUOPbKB)#6V!z;k;KiWPIJT%*Z9mf+wNTv^l z$T%Q}JplaM|DveB_P-zg-_iKrxxseegeeG>c=bx&<}rWuYt8rQqQN=~3Ee*(9+vU3 zXx`7-KK72igz|@y#D&$tEBHqj*!fncm`fNlXlNjrh9lAP7K)((R1ykSuW&!YaebZ9 zk*8{&WU_(E!H_lZ2G9Rk3W_!x^g)P)I zsg7uVBqSW2o$GSEmNP)e4LuuaX=(3^CRTO9r^TIT5Xkl!7AP>~DE=zfMz-dI4X<#0 zW9t&aYj1@_BofZ5hImByk1y?Qrh{|0w6{a0T}1L`(@q=1BH8r)~nVzHRDo=#S715jVOw^vxJx6?v`267U#83Rf2Ice_&t&4E@L$pQ zMYq}C9#SGBqHgw&9HZTDM&f=oIPImNzw>%(CwjO_b?VZ-y^W2HJyg5))V}WJIr`Mh z%&k|qHCQhNePpXDkE==;dAjY49=)vpNy<#!f{RGAAd$%ruM*$A8%i}Wi?x%7ESNJ4 zhju>qd;beX<~4t=ct61=5e_K-cROY0HxwJ^a-Tk_4Wv_mY;#_nPi)D`(Z_&75Vyc0 zsK+eSJNfX}?mbbx(y6-Y>FJ3SO0}@C2W;!-J5?H zRdZy=qZ1L5^ww*}#wW`dLgY|FP?y=W~-utqE$M8mjd*|wv zMu%RB{RWOYF*jF$ogKP^IR04qd)G4j&8fxz3385}ZTl1OrOKb-a9f3TIAfq)?Qp@u zEDkG=kzvuw)Cv2?X^-*Hr^5aVJ@;zQK<4%j^mx37O`l_%isFmi@Q~^3_Ap~!pHp}5 z_X64RfBg<<eYif8jpQtZSzz3et|@@33n~PebW(Qq><|jU46S-T zyAC}$Fx+dI6Rc}fbf)3&X&`(()6fw53Fh8!2-hidcS2yZess}TjOB2ru5EBecJcX> z7w^%hBzU>s{&)&8GtBgjDORT zK&H@*06{TBbK(GaU4dE%ObawvflfAGqXyJKIWw!0E zPs#e7a34NaIm8IY3L2pO%UE&KyAJzvL2{TGg7+&hwly`<-n1(1xXpk zy}^Adn|7*rsQ>nlX~ za^(amViX2Jb&*Wzy+?N6_{2w$$H~^v)cyf=2MFYV4EZ2$mzQc%#gc-9sghsXi*_t2* zL1WV9`hkL+dqtPDvhM!Vcp_FVCnt2WErs>7HFReQi;Sd$TH{jpJ;3%t_Vqt+4$S7S zD^}e{0mBCu0b1L$%&$Gc>^%45kt27jDtq%SslBAFd%tk7ctca7{XDyaTkqz7f)db5 z@B^TVGzWVkm>WMdI2$fM-U{>mW2XUo%@2cy9yha~=T=VIw&UwGB>m-E(NH!ayU+5KtZ2%@&OVd;^PgxGjO?82-0ytB5qOfIS0WrAwEn|85nwiO{d)t3PAJD=*Y!s#%dbLNZx*Z#B#oy1ZE0+1&pHiFXO~=r z3Z+o?1KNK;HPYy(5V6Z*!2;S8>~1Ly$j$)!AL49HI&KW1m#4c}^F4tL|F@f92+shg zNPdE9WcgjWm%0X#P5%3aufoLR$tk^*UA{4eLV7FCR{gPi88&1V@!l)shgZ~*frcfp zmHxhK6)KI8!30y1(95Tb=6!#Ccc7|~JcFIX@b?i|z|iy%xUmy+b=`_h}rTZ=21y3{ghFBvAbX#Iba<9{J_V6 zs_ck95athDE#I<>4O$@wgDN0yG(|otT+owd{zBBj~$h3ynQ%IOC!9j%! zWP;1rOuzU8Od?_=bUqng11Ew~!gyzF3@hRFyaexRWu^zbhle$v_aeI^V%skkjfC$x z01Csc<9;Vxft?-95XbQHUr$6G#%d6U5~MM#6YqCc+2iMwg@!{{-y`)kjG+;@ny#++ z(7T-zJiZUE*$_hG5#}nSkME)c6wf%l*~G`8i~~qU|7#_Dg8eBqEv@0!?zmSPGCZu> zIUfc8CS@uTU$U#)?f&SQIn2>IM}9QyqzMgp*yv+-@CQNMnynG}li`;-(HQz6iaE`qfLs_o%WRQ2Y;gtE@rjvY+` zG~wa5b15~@JQ*PriTv(M6Uh1puLrtkzzcYVAT!j>;}jge$lHwg&$KY=k5}ZjTgNuHCW?J`Xj-Ri)e>yR2^2K1;$vI-1x8(h| zOlA>GtC@le2HrQxO`2*)^*p8IT}0#EiS69Hi_T|c2IDVy7*{VdQuUZ_UW#=T_DR|7 zcs+3*PgoSa>Qd|xe_9ZlH41tu=NQ%lfAS5aPIBmKdI2$POlbENwDCO+jhpp%qxJF%fk+;Gc@ZVAsm156f`@ZK$`D~qqY|V24H#N-|kA1X?J-OnZ+X!5f zHDSSkk23mJ4BZR8Y{K>S{y8`JWPpI$8~Y?7b?3{>cV3^yM4!P(Vk4VE*E|ExY6SUz zEiE53oVtkFDh)7;zu{BvS+c^M+qh;TGHF9e_xgk^Nhhb}$&ZOyH=p<4^Q3p)+sF>( z0snpZY=>nBQ8LwzgbaQxdj0P;@xLGb-_iKrx$%ErDg1vxI)h&mx`_krQgFnF9YycM zQW1Io1~~F)nW5D~yYO3dF7AMMA}9u-lnexmh*tS+Wa;`44xyci23etYW}$&NX}d@0 zug{Y%`4~;idng*Tmv^Kh^kb)3to_WS3078j zibjWy#La>T?HCj{Y47eT<?pp(Ot9NSr}(TdkXP(ce$rW ztYfR9DPuk0FAyTcH~?do~h>% z9s8rw_4y=k;~aN=r_xUoFU;N0XTIIMpd_I+5h6e-6FR80G4)$O(0Q!8`*#7Od;T2w z#>P|aY4g9UsWClf332zMkQ8L(#vdD5K>N?jL?!X`_@3i64GYnxn7%v}KSH zz5AwqtF~`wG*GmJFJx$Fi0b)la%lhOn(%EWyIKPTAV@K(xvnE|etw?|Udv6lWif;t za&M;hd5@Vp<0}i2og$J)wGf0r!-U~4TS5WfE7<%p6pBosvKHe&DkX+3#sHn+AN~x z9L@Wdl=|&U%l***dC%(e*#Rghh~4jkLEa8PzXDL80$epksawT6(mO+X@n3mdHH+HP ztWc_Gcr>S+iH7Ek&>5tNCNowH(dJ{yJ3W!yM04!g#>Q7f#jdlykyNXA_o*~LKL|b5?%ZL3!X#M37mC6=IxzkqL^hu0EhHqbLhtlY7sRk2g#__D zQXUVq521zc1xIs|Wv?k#y~7;#72H|0PQs?ei|y*F2&M|L75K=AK6Z3evf1$3=iNEu zfEa)V;W#F!EFxiwT@d_+Bb&{UaEa#^N%Iw^`+XQpA3u@ZUnXqGFN8gIEu-J-&J(Rp zt^K`THasOt^-}}ACA8SAGM9o`+B|}~ZgeU^PjEHw+(>cBT~cN1w{L&8dg;Vanlnnb z`|L3_ylUFCN_}z|L*ZaL_Txvi8&sA2&sePGSRK@z{~rz4%ak^XSD{Yv_Cb5Lj*p2NC&6)73IzK~ zjKxikRUNZ`Ioe%l@!*%HS z(VO&;h`e(g;z-vy5pH_+^aIn|pJYxi9I}k!UixGZULmpEu73UIO)6*lcIpDo|M|k! z_X4ioGkOdSH@1)K$+7sG?ULHQA;nY^e61YB`6WYNS4%b_FPSw`>EEohvJjx0~t(12%CZ|C)LjN;Y-PR<%0DzVf3;5|MT>m>MKdksm7X~ z29|AKt_AsAm+0hIn=q>2%-!Fm{G%|6OPU(-`r(RM|W?Lrs4Hjm1o&`de>v3 zM>?3_p_8sK8MxnjTJI-Oed_EX$(cybh#a9jmpT3WrlvQJGPpfGzJGU6{QT~J(=n7K z`nWsB;SV`;Ln_&k<1biNl#T@oaoGO*nWl0rK8&QivoT?|Qm{_My2On!5@_%3zQpyr zf~I+Qo~G8Tt5s3`#AM)Gs)*$7-(n^hfrPs(?%Q4RIIB6Ha3^C@_x8txr0uiSil zyvdo1m%w|gmP+y_?e*O=F6Ts3Ibc4G!xTGx_UwKN!(1K1{JUy*?;d(qb@bi!2mJq> zA>nB`EE^V;U2vwRawn~JhljU(pZf2Por{oQEMVk@^{A(8Yytu;b9P~7BLAElb@J}& z@z<$zs%78%62og2zL@@b?WM@EV}bt~s`Fx^rDm?Uq}H@|H?;`oPO;Db{rLH& z;o;#g!@_>0m|y4p_b`vV4OftU@MrJk3um)qCsNG)YEU~f=6hF6^cCwd`5OQ6|nkMR2;@IEOLKdJ31sb{y1aWmwNXW6R*2Wy-_!ZMkF)* zex-FglUd8lODZ5R@ENlYZ#RDBG;8^A#GkY@O>yGB8$zo`TzRuxJzgfB-aW^mBiYV$ z#rXazs%Q0o!PqM=Mxj=oP!1X&s+ZmMrrqg3vXd29%^zPT=8GYmki_E9n@p$ zg7Qf%c$`*7M<~q;zPF86hAd0^Ltek8O^APWd_OlkH|-(rB%xdBLU7sL^~wD~#G0x7 z{~_!xpsL=wFVI7GcejKhARyhTNJ$FPh=g>5bR#KPbcl2bNH>TGNOw2V-SPGT@$>%2 zc<% zhXrT==+0BFjFdpk5Dk>`WAdZ;UqHoil_ALWb;}z|hoOKdG3G{t@PMbGAnB~lv&u6h zM^4lGv zKK>!i{ri~exdhW*S3*F=RMOE2fBP0UyZN($&3^(Gx24&x+3%NXd8kHK$Pl$i~)@8SQqs~%+ZW!G5cKI*65EC1yAZ%S+#2%|=Z6aHFK z0+1H7fddz5!GBWe&ygheCN4A5mCTjYzR2^yS{8MLcM1p>Qf^s>wN%)&yF|BP4skea z26y}7*Vbgx8Gu={)0Z35QL(Z96BEzr>FMDgsM`7cC!9adP!S`@ZStR1K>j!LS=e;( z*4d*A7|Z|;TiVXfj=DKr`M=L0J7&FhqzlV1H6~4>AyYuE-KL0MM=qG#v2}))%)11cxcQb7^ z*ZCl#0B9L<8bog7h)8l zV%CqYu2!&Nqmq&$^e$F4{_loOW6zZD7Z;Jjy1*9#kj~(|X{TcQ9U9m|J|))47)~yd z>3^Xp4+U%M~6ppw`14nz%rZEbDUZIh|{CsdxrUV<{Sf&7uAm?~`=Hur2f9%O%_ z((J4cu|pVbU1r16{gO&(pDrtA(9>Nwt?{29jO@$4Q2h1lgU^|nXSlQ{-v7C<1QzuG ze-aegkI@i-hQ{8N*(9u1_AADG!Qp0yf(!X!+Sxw%O%8dOzi>2@dw$iX@i3rk!+yf9 zgEcrLMC|EPT(H&Ht)~Q`dv)DCCH3DICM&JVPjKhl3f4S1H{c?R0t9Uk5Bw+yquXvT zlQjEpF8Zcj?)CI*g#C0v|j9desZK|NQqM~xRSN8ax$^m@@eBGc1EQ5>HP0T zjIbXPx7!YQEz`b!#f3uS?e&swXxCCRki&e*pDp}1!=!|&K{py4rNu;F@aga>$7YhP zSZL@E``e$?+SXyu3!f3ME8V^YCVz*7b?^R7|B^|* zIah^hJe|yHo5TDPrPdr+e2U(c+ZVc;w?%$9a=0-b9Tf#hc`4@`7e|`+yb>4Dk4Ch& zS06-0dWp%Q?;wQUMogNPuid`j?rP2BLFDW1#SZz40vNgNuP%mX0v{JPjZ(bi zF!}WnX4xrm6N<5ZCGrK?9z{qr?fdKdKjDJhE|m)l>G;%u4Yc_2JwQq@b8&O0f_Dy} zC^&$p4Kyl%RgTdF5Ul6tftJR_A|w!|{`?b)%^IZD;%7>evTzpS}^BlIGy$)(ggagyb5oU6v%RSM2x z@n0zHo@A)d7(GISZst4ka2NOmCXX5${{XfjS#C~TzeexLYG>%d?_dlmDUcHRLufxo zUq54JZd-_V?1`e>89xWVrc>ejeQxl|T1+?av8mFD4{BUrY-E*HK_Fiw8BD@dQrTrT zl*eVipT8w{(aHpJc1ypbI@63{VjzrS;n~I28R2UE*0YGdSo4OkN7+m@%xF7R#Mu(` zw5aaOzmoiHlg>QS)c6Sie44;q-6!?xb{VkFTTa15z_@)qbc11x;5z+)t;N1cGztoK zm3c!Rd=^c7OX5Aea~X6W2PYaIS8i-u!SX0;S;+PUy883N#?UqHA6>ysC~weyvz5+j zxKqFcKdt+y_ZCiZjSKK9-Ak=s6`K7shcBYXGmTn3IE&}%KKhqC0hk7rYEBh+T^s9S}Z~t-|&})2h2e0nx(p^LvRDsa7 zYSx!Y%z{P0m)3Wi8R= zvRT2*FP3BJ!$LzpKli666~8{4BnF~@C)rA3Wb5I?U(l`4mKOiDXsMS>fAo}zC6Z_6 zI_CneVU%Mdd4wdU~Y1{vV~_TDHH}75Y*HGI1ZMlk*ROtldOve@|$Mw?>jt21~#+ zU4HA?{i^IdvzFx*{{F?IieSOk|EEWI0CJEhG*?+GA^b>;4jp*Gl-1Z}Vq-aNlyMAAagNM;m+*=I7mChxK7D=l!6F zxI4Bz6A=NCTJTynBgnF{K@bQlY6Xk5NP({3b%#_nIcj*CcaV|Ppv;yVotdMp&nTk# z%|jhDz!32YBxHHzQ)a3sld{XkxX9Dq+tTXM8eIKW`yv@3M^i1OiGkGjPj<^|< zYpopA_jA1WPGykpyR--9h*QiN;lqUXiG`r2W^1AcJn|mNGPFyYZk-&ibgl{y>U1tx*Y(B>Mqk1}coq2Bi;WGZca|=?cn@}& z0fp$_Vu70~-`_MkE7{RVI8d)12@ny=Qn@Hj#BFMa(mufRGZ!sGDWKx%Uy)=m$ekjxseI39 z z`xH8k<=doXXTOZfDHsi5YHa0y2U9$JQLTQooXkIoTAjWeL7$tC_pXghxoTcTHQ7{r zR{oi1h~wU6VUOX5!w54m>=Y#?+QVP3ZXTut$TxT7IcK_DGrRa^T;{k#OsA&NJE{pa zrzlSEcs6CAz=XW}L2;YJCk8uhfO#bt3^KuVeGN>GPyMASXF$P968eDHVDbu-rC|+L z7Oimvk#Gd zQa4PPf_Ns51Ks5xYq&jUT|nxE-u26BJm$Tpf#h3R8{YE+J*T0`I9Qf(50z4JEB|i! znK%-Kt!dv2>sS^hCQ)^Dbx0b$GjyfEJ8*xRbto0H8Icj}{%tBzUIvqoR4z_3KP@2B z+%**L<*ktHJze`eA}mCNaPso7n(})=z10Hs67okQSWTp-BniXTYY}hE^eXnIuR^c-9$jdopmVr>4Ggivv{G30E^G zKFE=#s<#mFU?^-}07>Ee)PLL__#M3gZE)a`_~AoPS3D0Ai{y22?VGi+tpJiT;j|KV zN_X7Gm3PyRmqAm_e)VosxiC*46~^DyTs#i0j`?!7o1lR^DzwnGi(ATIRM+hNNBJJ6 zC=mwI6O}XrN8}36bc*DM6)8%P{;XBW?A|5v0h)=REpm zkGWI6^@cL+N$VAZM0LRw$Jv!`?>=ceXxz!-2^VA$x2@^pr7jgkcD;ojSpx9P{);nh z?Fo@;F$<`W8Zkp;@o#rblGmkc4X~H7$9J(4qeJx&Cs~|GkiL9dJl93LjbYfVh{EdE zG3j+ndalF*qQ9J4+n#jt>6R;!daTlLwc595);$$&iOhWhHYIC6+F# zmP+YbIKHEhk9T*EtKwH=E~z9x$iAXa5}oc2j&L|KL-c<|pW!U7q8eu{$k6E=75?Jo zcyZA4u7BuiSYGyF%VSavaO+=Go3oZT@(U#7JveneB+u#BCmEa#n}jTE+SFpszdi6x zV25THW^8bC_wnSv{-s*Q#bLk5#}lrzujo}w(J4o19$7-*VIGHL7RMBbp1*KzV7I4< zC8a>;B*HxIdD#^>_7NpRI%r`$Np!9=pb=AK|KzI`r}vlBnBYOctbJr}y?N)6uKAWu zjo1wWjvc6m9vGjb8*WmcN|w%1T6{?nz&hzk<#rundCwj4hYL%<-B^1o_mEC=^Hyd_`yKqsa zyD^ry0tF5P^wI2uAQl4f{JkAXKZ$QtDaNy(Pvu;wQCf=*`QsPrF@42@XoQM5u1vO?l-nG6wJ`bKRI>5*!43ga7BCs!<4u$(ub}%K@JsJd66fEX9|+Pj_^}hV@*(=YDh2zWdGUHHu26 z-o|oP6WUFbty?H-rO`h@O8kMb-FE;|(2qxI2>aZ0D0^~t4gBFxqTME0Eh!o?Y1Xd; zK=z0JUpz~Xrf!R_uUdeRr%3}9u`)JzN;I>(u;p#BT0;C}^(4g}ed|Fzr?!>&sR7|N z+FMQ0iiZaMx!s}W!&cVKZv#qttgKt}#<$)wRc$xiyy$XQ%MJXflA*x&3Mr;lT4^g2 z9kQylG~VOXlB9p0h(OV&kbPmJTUf{8HSkco zorOyh==WPh6WE);#~dG092WXM8A3A2KsGFBVW5@0siGTQ!ugZwPj@ zruc4z@WFNPvg@c`+9ap3UMzs*I($?b37Gog`08rLt6e|DA;saLWh70#D-s)LwDH@S@t8Tdc}SX zMEgVvx%Ir34iluVY-Xw-66KIRhd{(2xMiq$)ly_XlrGY~PK7*+ADcawe_bSjA_p=s z%o^7NHA;(?JjRF3mASn7g`d0*jPG4G-(S!ZA~9n|NgEq_sHuGH<(y`t@SdwN0Ok75 zG1RZLgn+d7A2tP$g}x1C1>)f~Rzh^Bc*=-$&l5MSB3p?WA->*A7i7|}BR1blqtK$U z@q=TL&ibwBGcS>Sslkm5P@a(|Q@CM4ik7Y8w|AgM@9V8O=}T2^^!n(=M| z>3;W`4PMu!Z4KEV#(iXQ5QF^?vz~vJcpX;rJ`fRNUvhVZ#-IDo66_2g@~$_TO}N+6 zmJ_XUj;Qdk%w?jWpf@xj=wXBTmLv|6mQ2fa;JI|$T3Ayg$lYD>W5T~B(iaO%0%HJ2 z;n&!6B-YplcvN3e%LItbq=9K)Nl(p|q7C0G*@Vg>>v-6Ufzcw0DHKaLLPN$&2idc4 z%>t=my-578o;`?AY|dRo+F1={$T~jzg7dQAVqq-4_&8)awSTYRA;(QX`rWmb!$>sS zTzf@qSK}48mnms5$*T3}Fna2AkWZ5zzO$OiZKNF;tl#B+i&*j%e=!qx{WCPM_h%yc z9a-R2%e>$rD>-Zak5?#d5*$h0YAQFcUfGK57@alZ$p(j$?7FlsMH=*Acsw^}IMREA zq&tDqKWU-F#fWyIA>ZWK-#3}$ek_UiaO(>7ZaFzT1b-?vz#*N+rtv5KHP&)_Hnrhu zKgHV}4B)vG*3j$nS%FeY^LMmdw2`;Z>qdBJ4$(`tao+^)iT|zc@OlOgEeBp^RXYvzck+@aGrm3OO*c~%=P|uWDRiiP_ z_xXZ=dQ+P{xVmJpVnlzQ_@!y_>WjE?1Sv^K-#zj&7k8u~^&@md*4!2U6P(&{vGlX6 zDWCTWTY8z!0s*qkAaNa+DG+oYoa+(uXLa&puwGuCI9%;n!&%)gq(+t`*gfbBNZ#ZxHg>SqnsfRS2wuHTXy*@;4}$l;K>LTOoF>M?zPeufh3uOLqs zM0|s3J5YJq3<}m)LC%K>Ji%7GgFfhd_W)e~QSAt`Yo&v|uGB;bO&!!xKT%6%haOco ztC|f~PI=|@tYa$~Y<{0WOAku;@L8>4b>`B@5L#4w=Bgkd-Vbkji)jY#m0lFN(n9wz zeq4FKNg>aDZQHvo-V(EXdHKal{o&9PnBaS_ufYWh1o$rsksKhR8S}fn|1l0A`WdvS zSv=ALlpa3)^5ixl+ zyW`T?AORow<~(El9;Or}u9m4Fg)e;7I|=cA zQ$NY8F9!?ih@HbKX9u+7Ee{=uU)pLe6my1yaFiuu{Ke_L;vKf(6-oCkv=_>(= zS(c?$LT$0;qU{%)wg5H3kv;#YACb{U9>f1k==2d?k7BRU+|Llt(0|+>KzE0#7hnt{ z_;w3mWYef0C%CfVzMK+R-x&yCn>$Nn1Mfy-+9+=S9{scydGNMz7pSbPy_CJjjFRWy zk_^xAu$?oE&;CxQ{mLafFasc}@0d}TujWI%_vXp~1=U=N@;&7{5#|k%!wNhR z6pR8X^8IcX!3ImI7XUrYo8h={pAXB)jA4e^@ z9aMfNYuyk?GR0Wr*t{OK(Oje-xth!0gnaevNWRCgT~^gF63K4>ka}?*nh!+mKMH6x zQ~ZH6Fx8vch=t>)+R`~NZ=RO;Qb=nWLEntb7hqQCRUPu*Z|ko$p9VZ=_=|AftHwRx zpotE;O}#+l1x`HBZv5cYRLy9;PqfT&1bQ?&laYf`rm@{uZ)A{gsQ53i&K7MT{a1er zIWM_->fm0NFZz$U-s|AZJG!f+;W|J6QJL3l0G69(W_0`VT9SDKg@(eekz`%AMQPfg zu!B3gb7Zvh&4ZKiilzjG>euNxwKHHhFclhD{f};4$Zhm69<*I;^XOszT(sYT4P6+uQw!sT??^%(zhWk? zQsq9-|M#liXIkwkvg>N8IbmmvV>O=_)=qP(VDQ$ZW^Em3GLlB`%^(We>~ZB?wysl4 zF09u zb{dImjz{Z&q!(gkK{xOnMTv|N@WJlB6z}hS1W2|YW14nr2tl{(YQ5*|_#%Bz*)wIT zJ30XCmPt7nubNLA+u{af@E0duFFZCW7eFo>7+h$}DAio*Xl^88`%`^W!$#aFVz>0g zd7mF?*n3qMj<(4xHMklOJnUMZBTjDsT@H9X_C$=3Fg;$%_s*=mm&dkQZ8@p(!{S2f z7%$eh@j`Sq?k9|TBIamzBl!fMhu;FvMsAhz9IFv~9?LQRii(Q5!hH3+NgjvKh|v*4 z(m&4vE>#(utLBiYDqkLsvj6i-nv&^Jv2g!dOiLit1S+e zu9m+eP_7b}U!TOzL-M+T@61QLo`t`YNN`lSQF55C`U)F1ZkJ?gl#^9O96?n~0W z&!3Lexx0k4?>JoV2rtF9xlX3fok1EU)QGH-17lt1_3Fn7VlCo}`bvt{wJE8_{&85! zLh>7&KfIG6!AR^p;FywL&^*6911M~~+g!3~Zo&&%m5!s@;Kf7@4bwz`2@bYgffeVV zSFsl6eh>!uQyf#+@KO7XE!f0I6e7?XiaQCU7-bY@Vu35O^Oas6cBjjJrJOR}5=$xU z^bbh$$6V)Ub9%GoSI@k=?}}hg)@5IQhF18N^ikzB(Xhu?zT7NRJr) zS)zctXw7tl@#rF~h6`Y;!4ShPa+q2)y6~Q_m<(fy^P1G zDfZsyFgd^b_bE@0Q%eS4<#!d8ml+;?3kP*BJdL^QP58?2(v76bcXC(I&h-A6Mdg|L z%>lWHA3j#yu`xv%o<+4jYMvg6?@zqQcCJ4V)w=uu(3i#bub;_u7UDlwFc6uOy!eJ* zUEvR#WIV#wak)-8Dqgi6;ud{evK6Wm(;C1(*L4=3f&3ri*r&}QtJn2=?m)u<7RjEq z0}nlL6zP#>wUedj9Q_fL%|eblvh+4sYNCk&0~I&6$Ayxa@Iejln8i1o|ByG;HC6VF9ZuzuXs}UP7*qZ}&EX0k<8?gnh^6;D zss$PO;IFY~fr3t`)oZnC42Vr$9mV6>ph0-e%-LC+biA!WFtGaY=X7rBur!v-`q>a> z>?SX|g!hqhVOBx&sovDeAoX3yf`VMz*MqZjGS!dQTUo`6MW_31H=d_JW9}i)JplW= z)g2WqdFw{`zZQ;N?=~QR09o^%WfT`w+(-2-_>KoiUx{YQHG&V0>Erf>PuYlVC@X1@ zi^jDOg<4)%o`+tO+XOtW6icO1PhUEwrsPo!V$5yfZhl&z7E?0tKVje_2GEbp{gMq` z=okMxHbqZiq1xY&857~)Yve~CW|cK2eRoNhyM67DBpVR~E6*^d^J_SiEdnf%1rA#p ztICm!U;F=qhdzCRT4ZhjgN@@@pwQ5uCL9yK()X2#g8LB2PvS&XP=UwpETn=X(>x!c-iC@(g=J=(`a58%LC}4j^R@GOl zJZ8m&;j`E%;`fh=|ACDO0*#;YnyQZvXQF0@L1TZiBCLN@@o^@3W|^pY`CY~bwM-E(WHRP)?A-m;8514TB8V#g)b0l# zxH#K0568Gze|fFE7Lk&mr@RfDbwiz{X8lDkItanHp^iXhc69r@-bM}nKC>V6ew*j` z@V723r!>7$po)yOHPgk=hZSA=ob4F_T>?-&XwE{{{%LJ;*INE=`m&OZGXBHmHn%}x zvGj&H3QQ3h0^yr`D%H;Z9+6!Ff!Ig95{u2XXs{j176k2LdWp7GiR?BSn~~A4h_%R2 zs)(WWc>DZ1o4YSg>)MgQ^6p96__q-X=zTK9#VlSmG$CJy$!m@K{KX2ZnIwHBlOK+b z{1Q!MIh8=qQRN+vv7!xa;rlY{3%Lv-tk0iRu%nUSd96FTd(^-fsqn$s(f_3?>GNSp z5W6>pkBIC`yx%_GI!gKVWT7yF?tch~(qA9}ZQ0nsS&h~6pzR`UtZYmGiY`h=1o(RR zQLj0I1C6uitaTMfXbB!?dEMQEPe*-$5h&nAJ;E={OscehoVAyEpYpZKq2ppSfx!dF zITzRz;eo&kjUcxE`7X55mi=_)Fl_{qZI7iTJU*%<$3@!7-`bAF!%?Kf}) z1@|Vu&Cn!|#RK>;xJY%z9JhUwdjS=l_&%p8M9-z1-=`d%lzMXJLO+>VIYer-7wp@b zKkC)Oo}(hSes8#sjx7_90L8GPoJ{-sNGM27s@Sue@Lc?iGyclsia2z5OTy9!ZMQJa zA5_Tfe=B5QEAY86?f&*|qikbJMDYdM>Xj4?peOdMQ1uy{$&QoLl6pPY_L^@k2Rc|ECup}Dt$;Td7>uvlM- z@f%H7YLF-VhnE`}gxXyk_3d0KJC9cJajQ;Isbj;0zSKd;9fOMMX4lv<#!}tNH_B@;2 zhnJB;dWZ>4w-t+L=lR5lc@3?1Wur7bF?cieE za?S5W%)g|hfF`w=7{Aa^RA8@ytbAf;2kbM{sB2x*codxh^^b_*TCy9y?sXffzl21@ z1mV1p4FG^>HMSFG8Tfdx-$nTX$RyTH4S#=xJ+r@U-e>L|9HqO*0Vk7ACBBrL24;U~ z%gq{M5KAYvliB==ibQC=)sPEQqjD5-*9b}j3##Dv)ex_bTWo&Mli#qpyrb*8vJeRp zseYpLo#aAyM+y_6Vv=7vKGSwxpw{mCj-+(MD%ebW=Li4_>U-5y6$}c$JcKS*suom#3avFABdp| z?9?>Sy!K!cFcI;u7mM1u<1cI=>8ZNkcYZ^qEgNhV@tX)~e21m@l{KSoEuT%{sDLd^ zeICV{b+2KLGPhg0XC9`4KiMrQ?^jr@HSr>7a5L%-JI-UOT9~^;T`lh~^o$hMC^|9J zH8(Inh9Mg3=}Yz|+%x`6dc#@)!G>=9IADHfth-{Fb&w&2m*C9;&@TYD7La}x&`b~p%tNngKy4J7aG z?v|03M!Y<36PW{pzxHG*xR8OpRar7i=n~;ozWRtID_zp?khxU9$Xd}xcOkWUGW%R5 z7xs+^ag}%WePez+(wR;yedTPdk0#~&T+>giYWq$6MKeOUIz{c92!xT;cABq;ycu;iiFj14Q7&bY#*>7YVLI2lWD%~?SW9Cl{? zWlG;!WM13X*~-y@0o^0E3G1IKG9Hn6E{3#x3IRPk^C_5*{x;Dlf=UO7MM_Ngz;#D? zm;gw}^{Lu;JVbiv4xniPG$NpF6G{%xC2|K=QslesN+@7l&AX=`raCM>?cIPEYsk|k zlEqd&{)6y&3Y+uqxnGG)Ouu7B7Bz4x^^eBrUd4_wP)aFXC4ZdzE5y9Rr>Pf8o6!wr z8(MW=A$%DBmZx&ETDz$o;Z!YTm2ia1-nobo0Dixu-H`29I1uU}LVgd&&{=`o8v;C) zDC0yAH4mTlRAk`n^v{F%cU0y$=Kelx^J+vNtY*L*u*^D(M&H^Vfae469d^L?daf#= zqk(K_f7IsLm|-zw<(Yv#Z>=_76xWTIUCuQNC7^6~gU9Cq3I8kpf}P9k13d2o*Rz$$ zjVn@9y!x6AOEk(RUnDP9G1b|C8$hhM%RiBtp^;TA$g}OXP(<1N>wvB-1#q#s1L>G0a1)@&_OZaXi%u&{vcdJYUj zWZ%NujeSR79m?f#;e&;W@T{XTzi4y1XD@&n5-L_ci40p6Pu5d<@~B0j3bwtR5J^zF z(hcZ9ppnht6#n^xc@|*qka+%@7AmRPZ(Vl7EI;&g#^u(dlJ0lT+@2{+YFp%7hG+h# zwqtzqDX*|`Z(|Ah1=$nk zHBQ&@FF@Bq`cSsGk39m_vyP=`!D_tbMO(ctG2aLVVg)&!iCm!Q$oiw>*(4}9Fw9f>(}kZ!lmef%OYe`cS`=-0<)Frv1|ONzjn*bWpBa8_1%*s3!2gZkR>0E=WT( z-KNGkrM$Sfuf~R{!!=NV0?5;ycqMa(9zcLpp%wb_GuZ!d1*R!}vO2M|VXB5}3mApy z8lyIj*Y62xNmeQ(mdijOijqF?Mu7ljp=W>ck@1uBohYNK3i$J*H}N~wGE2=|JBH5% zFMf*p-<7+`5n-{z(ZpP+>veKL&kDympvJogut&MN0hMHnd*BQNeRUK3Aul(peLOn+ zKXj*Gp}R+X#bJqEU-6~o*3>=HS37U2&vylzi%T6-PUFASb<_Rvy?{{BJUZ+DSYWr| zO}Vq3Q{wN{@$xuX)Z3i|gt#ei4y2UHQV$2$E*5k};CB4_kn&JL^k-tXC`mfmq2P-! z%(4A@ru`+@UarCl)}FYmRPV$@4iK4)0;f_XgyKjQW;cV9?cASGB?sf_QP~OvkLH^G zew^n~@X_xh-5*T(xyH?~t4r(NR4+~s3YoHWofS_0ZzyzBC3z+l(rXDtwnrhYg85WOW@Gq~-a0XP-^n zCOwWOJ(9~yOZPpj%Cv$kOPn^ej97ZDye@>!is69uVK|onHVp%KaPL&Kw+$Z*&R%PsmncqJAziI{J7%#$&X%d2fE`KP3tRp{6=^dM`%0jR%aR+{l^ z*i<)Wx9r06q1oHw=L2B1x8?33CL)3+gS(sYA?LYwXqY{Zd8k?QF&9|f;VS$4lx+?c zl)KBuD42BXu|nK1)F*iCTlShsZroVWuT>rZ%c4?!Dy6)3TuQZU5R*>#c%9D6Dt*w3 zkn*x{<+Fw7@ma2`m;LlIun$+%(iN3ofQa|#Tt|uiwtEmzJf`wv2HiSf#L)CIus6c> zaHcwfQJT>CjzI}}+S+db*o}Sv{#3*U_PRvs9drSKUuf3ReKJ4;$S&nj+YR%4w@h^{ zMsZaIP1^%T9az9M+8*>XX+3?gZVwj3)1TNcfFl8Fa*W`43mSds4-tS-c*3R&>%n{yL%+AX&?F0=XrfhpUwxLt8Sv z31*au<7*MQcZ}3`$atUk`?sMAS`#T;3j+)JdsO^X-1WIWC7`!dBHyYzL?PmP_F!g8 zy)4%Fhi`RzpcTi)sqLBOp*AA=DQFVN(pE#VtRh@B-sF_;yY2PK_39d_E5dM}0>hDP z0H8Gj6(iH#yKA4=s|^vr{Kg28%bm!It-7<*UzTQOjbIX6RAOTI{{BAXHBod(xivOI z2v08BKCt}Fu9lv0#BIm$@u5Mr_l?7cu?5dV)f5Tm9GbK1<|{?Cy@keg+uF{i?8ZF- zQlfcyUs!4OC+-at^xLbNZM|}GpNg=qniQ@p$UzH)OtZhY2=%3gc;#*G=G0b>2JEJ9 z)>8rcm-0q8nbMa!Icqz|l>@}g9W3>`BicGaai=EAetES{A0|RH%DqCXkad10^1Y|D ze=-I7?>LH$Y17&yvG~3ys6$n_kK5zd{U`u9IRJA#a6JAvx4iS#`mr?lGHY5X(ptj{ z4dCE=XRKK#IvBu~PLn~+fIN*OMS3ejEaqED%4$PoUz*!tI=?A2zzuf>7!U@pT;f|elHz0KN0q!mn|mNx{dyCMK}>T z_ahztPPfU3NdQ2qrQRG9cb7}C^I+8%Qrt>G*;kHU=Ztfg7dy+8t5Q5K8~av)eg2&` zrr~0mMXhHd!BLlF`;wo_LG-AuNYL{?enG&tK5?_c1ufv9s|nJx_r2EhCzf^#L#M20 zQ<{aQ6Tm)6+RlQsJGPL*SIP&T^k|y#) zY%G|q1q-@Q#K61-@1%TG(Bf-5={Wp|)cNx~R5=X>E0Onv1RzwG!6{{DVr9g1z(ufu zRI4B7@@N|Jg&Nt^!i>^J@aQF)($10mNXdrd`sm?l)N%#w(U551J%O7bSJ9Cx;0uXW zPm};MH%;5pmCM4XnoISU8zd`tYoEOVE==PZQ$J>9pWoRm#&?(vdeB8oO&yV44ljP; zbcZ-V5w58tX{O`sUcWm85k0dc z5zT)K*X+OJa>(;^aR<>@e)}@w%Xu#2e2B>AQC009D<;*x%Dyf}%ah|t_ypHAbm-)S z$C=`wZ>$_nRPyO<+`Id*zgq2EZca{--Qr^~BN+j75HYc^Tyw6=E2hwm*3S^M4dRGJMa09Tpi_xpEOiI57WwAAt5J(pVdn) zQE2w5UfYa-%m%GZZ_yFM|JS;9-FV|Q3)PyiLBGP~*Gg01DNn?hrnX%Ymt+X5iPdjw zrz_eV_b&KC3Mvu9fxUM7Hy?z8s;N9t<);()3j>Kt~n zG-DMP(YVb33vkxof6h728>V{(pVW^Ub0btXh!_d90-IL zplQH}iK?dI0Ix@~ScLF7u%iG|4)2Houw-33=z)LXi5$i{A-o@hnfuVEf_wP&$rO-} zxbHM;nrFMCnot4MV%NGc!5%n48WQLPuop>r#lSXH^ea5mc$okM1i{x9m~Sy8G#WTE zNQ;iKsy}1cMS)#s1Pl%|z^N%Khg0rlZs|u5aOKR1x@`Oi@7B>F;s|8Y%}W0BW5tR4 z5ev6tB=Ua#eB2qwji!)kzaP`S1$uCmu`|xkpJla~Kztz@nG_K*GSCVNYF)Xh54`6W za4N{ZCAGsM(tZEsPWtm>0~@!zq$C$Ea0`rPPhFXRBKiCdXTkS>3>fyN&HaR!fMZSW z-O%ZV_Ai8yq@S zstbPaw^+34ZrNgg@T?@7cTX2s8ejm<9i+U1mBFk<(w5_dP%lpRaX5ZgBaV0TjG{xM zf^H8#(b4@;z6nnQu0D)LD&vkvYGCQPObS2BZJ;39)#(2V1@{~yhi4-0GM;eIcE?V5 zu~NF&GCpxG6aysHf*v=@u)LhJ`{pd3{7B8!-Mk4qY>1MJ3SnP(U<1Nk6)2#e|Izbw z6c+T1`pe;^^i}Dp2(`cOf2!bCH`;lkV zc+^-U>3S`aa1ACqxC_2`%}>ds8}i1!0NuuT*6#-9feh_@c0BLSzjK_V02n-Fw-Ur* z6ZkESYAL?eUPaQzQdNR)_%;ZM|2&3d{gxX?1ug!s_NJs9t(ucY4xnR(0k79t1c?I& z1d>~8FG?nc9cAx>Qz-mEAS(4IAruYso)6ZmV}bTtNJ@4d3K+Jtawva#Dl*tSx;egE z3noAOE$11ex+Z{vD?y2O-C$pbAg7CVxnU}1T&4vMZPx%@t&Q zV_?hJRR=z>;*~G=K*R7%`sk8qNf*b$PR%+xx!VhaqUQGmP|DWUWzEB$5|ZG=_)2eV zA}O=aRy0ujuNUFzK*N~79oG1(rI@iG;(Es@E z-8+!^eA|u1&CHk~DOp)iSk{Oxl((-i0&Vaql1OF$wjg4XemJrWci9MX55GsZ9gmZC zhj-i2D|d=->USyKtGH(VcBs_4B1~NMON53l2pzsLfn zd@36DPnDOPWZD8W>0*o4^OPFT-|0LlGpp@PZU&6zWB{{+kfUUG^<=_!aG?Q_=+5w4C#Q!tN^E00H*rv4l4Q-9-V*y+34sf)4h8wVE%bD zVEaFR{yYOu{{5!0{3i+={inWnat4>DoDgWEN~QA^T zI9s!oMWf8tIUE6Jf!JpEr6PM1cyZTZ`E*&0EEm*EmOuF9Bi9VpV1Gs=HHTvH8#qE< z$W%vbOa`2N_0Xo}?*SS!OJ^Ocqf9f@dM7;a2g<)ag$Mrg1AeNJe2xn3Khc3 zru$}Mo$E<_1Hts`8*)%_S>&~F-S{>Iv?&%qNS}xDYlnhh>;o7*K_d5{#*G4e0pzkX zT$X60m;BWq2LZD|0-tl zqA3CdD50tH-Qud^kE7^flEFP9LGTGgf@+d4s@pa;Jy)1p80ZcASFglcr?04x9?0DI z_kYgRcxpROq&qRVk|q%4Hhc|LIOhn?MJKm%Xqs5}&5-aOByoE zyKUeOD{@snq>A^9DxrfoD2QOcpYZe#fIN zz7YBQ?!6(a^&laH_*W`V8RnMHaLAvSy>qd0>)|tH0ontkR$rRR904cM%;Vw?!$+4 zFhLl=rm!zvinE>5>ibU!u_q=Nn2=YjtVH{l7gP+DjWvY=1A0U;G$I zP?j3jpQ^yC9*ZwWa3~l!s}kYkH<*`Uy5xb{ z4s5z2&3m9nsz@teVrrj>jZFr`?M@TUdxRkURaUw-@L3EONP+KxVHn_hsAy=)PoILx zS$5D20OCD}`e2g3hx4L){}++m!B7wm>)P=}yIX?64D9O3uc=4w8yCVr!2$=tgGph~ z&U`R@dVjIa_(3Yj8z44%Y;>9IMG47*Uy2{uK`Yy)j4Y(afb6E2cb39 zIz&C^T2hzGbo*NuGE%{7qcTUs6EZ3U;1c8D(fTU{;6VonDHjHRWCxQ_Mvp4l8Ikz-_(0@Yjpx#T@Ch`^suw&DnVU2G_~g#Oz(81>yI%I7xg;NjlB4@Ku9By$ z7jHjiIu}T5%!ecm_pe0l$H1EQXNnt<^JdQ_l;K$FQHk!!EZXp`n~FF=D3Z6tn+Be} zZR4eV2g||XcSuU`T(rK{)UO?M;&NT|hk-83!&AQfoxl`N5me;P;udkCHaqMn{uQr# z;ssqZHC6d)5QP`$Rqr;D!eb2It*9ef$@%UUzWPxw8-B&pU48L;f6P>{W|FYyBa(gg z^WYGYilakWKFrTHKiIIx`0h-Ht7lF==62GV*b`V^?=GkLImkWZk~P2_!g*XpC9u}i z0hJ;yk|*TY@6b5?m_OCTp!76jtU|cD=Y2ekRTr4i<>Q;nCRt;(QlD76e4J*yCr0c* zTHm^kL8L0-$zvl<67}(;(Gqckx6_nxP&K*C-838m5^D{_Cui+WrNd?E=>>3;hgL20 zZ4EZrFvVsPUUy=apQ943@rY_R_pRj5UOJNJ2TONr=}XcX)zd5PUzPVQ+KFMqS3DQG zn|675RNn^9M(_g#8nra>>H1-+m-d<6lq~HW4>3p{VDaD~PH=pB0uY1b)2Dq!xkP|T zhN1`%VZh-GbV+a!FhvGzSa2YjsG1r9gqoQ-drMGn3?lM`5UQU(h^7Xgc0byb0wWkv zQBe`eosVh>@$oAXHI+0qM|ha^w=LlPx=j2m4?HN7>n+D0{`Q6G85r0LQnAB=7r*`yJAhRWTY$jHv&=mN|k;12@J!N}^du0tvU7fb{%bJ+5I!He` z2X&=c*!=cZzp2BJlYasKm-NpCJK%_SXr&g7yL@3)MC)OxJUzkF*5 zS#OFsl=Fyq0cNR;)VlLP^xIF5pi_NDMpCV{F59jyVKz3be0QR#k%1@EGi21l$h#}v zntZ#*hVPJZiMX?vteXFe`*4qZgjovoDdgva`t6HCVyN8xO5-2%APVMc6jE;2nHF+d zC;Rl8wt#`Cw&47aGuEkKLkRo6A{VJYH+d5}@zdt|lk#bJI$TtCFwL=JEsg`Sw76+u zar)z~!?m2BtI&R#$o&ubo)Cj^%>Y%w)`E-RX9XLu1G(&v-eR@4h5;;e!K zFz9VDYq_#tfR9%74*JT0TUh0pR90yc>wNV>%Huwl)u|KYoo77y&gU2-tcTyKb`XN& z$NnGA-UFV>KK>s*Qk0nxnT1j*BiXw|C8R|uvqDzL9!JT_N`=ZMQHo^GgY3Qc%HDgQ zbDaO@GVc5SJ+J3^y?+14tGesvoO4~@>-+ue_xt@?CV%CGO?m(EYfcg4znwhGC<7?$ zOlsRMU%e{Hca?_nqRqMI_0+G17#E+b9>`Yd`c29#!0z znD?`_6{GU_k8zaJJhJ@b96xr6)YIe|>a{}nJ5iWq$psl=>(HaQz3))R3el3m!~?XE z`ju5TivE5E8jhvrdJZ0&@g;vBVwFger0VO6W;P^8mS;npY~xGYyx-NbUwUa)W3klp z(sH_Gt-{{$k88O{Z3??Ud5uM~nOtY)??MyPlQDFE@Cq`LK+&J|j3Z`{V{qnr{X_DH zc8%@{j~@B>zh_0cril2vFFfT0L~~e~QJ#N0(G<0Emw(3Jl0r=3}o}`TD|;v%^oXb;_rk%M-+>DD0|Dg#VZbQ%hW(Rqea+Z2pV# zlP4!#BRH6iGE~eX6nM%4Ptm@92jVd=5-%Q(k<3%NjqA^j5oI;?3U}bldDxdPmW26% z@=L}yO|5PjDb(uc{KI!T!cupl#>5M%%G4@)ztigTdXw~28wV~)ln+Y?STl`GT4DuH(@lOTIp);c zyJCg9StK;=s`n_CenP>mJ|%A>wEO0Iu}X{Z12sv4<&DU<6t?J|aEADoatv-#CztXa z!sYXsdPB{`rMANvrScP*=+z}1#TNIA-5NH#pH zbrnApjay@(c|E{q&Y8nwKInSV(q*keQf)?2LVFwQ+xPmYFvRxz?vh5}_2^W9jbtS? zAX|!WZYBEtJ_j~-dl^jx>$?^HVznelpyIyq<%lz6Mp_iBGkYkTq0VQrfgb-BCHKbi zN~O!+1wJc`cqgGKRS#Xw)Y`u*Q;)wg<(cu=Zd+ZZ=^9Og0nw4dl6T&*5#5#v2kLAL z`r8)-2eBkCdej2$4&glO6k$*iW_{0<^@x`73DBpU1q%=sI7{l8Cp7K8Q%9j1s)rQl*MxUNv ztnRY-(zql;=5U`i&@o@CXg5)>Z||MOyT)gdB}Mo?vDKOdpx1XI+lOM6K;p{2UCw&^ z9EkpQP-ar%{lDuk3`_-*yg)#kmqo6S0%4E&e|i5PiRHGmvI>NWLU2SrW=dN$G&~e2 zsYGI6XWoYbeJcxq*ORH`nDc zQnpCN$7Wm#BNYj~J!BmHf@t#1)AN7(AhnxI`li;P;H`P4uxI*``+c0NKewf_+SR6K zf!b{^CEt?)MTdZM7}~_&2$Hx=RJgx()UPYdJCx zBg1EJV}0)sXGmIyYU>?R-zopdG7s~|9*ahSML-Bq!${iHQ?BU1jCj=!O+@@%1SvkHJZgGPxh$V zy1H3xPp{SI+NY2#+cD>8uOubieE3ju`Z`i!gi=Jc7cH4nWA2rbf%fEtgu>;C=9Bid zH(^-#l8p7yIulLa9Mh!&N&u%sDTj(rixrsJ9;SM+Y4`X>j>hk?`ml>mTbu`WV!B&n zLfm&xRxZKJ;PJT?o9Ul38*cn`8P^YT@5~Lpap`WSkS-GsN-t{fWhIKvJkTf+*`~WC z*v(J)WGd@kg!$2Dw)RdU{R2-Tg(jHPlH=Y4jhgR& zW3pEm1m~=GrI@lb`fSW8IBLXL;IV@O@flF3^C>Bjr=zEj&dWn83_yVkf5O?SsII;Y zikD!NC3C6^*1}-+p3*K4iWneGN__A1xO45+k9)@b!K6=9J7Z0W^NilZ@B}P0*U6J7 zpbQUnj2UACC_zAv7Ao^Pkan9%7!XX4^(em@XQyot+|c2FU)dr;1dk+vZwta`csv1{ zQWfEesjQnnnEzU)Me7dnHCikl%=uiy>GC2>@)cBgis0YN&1NjCVXOM=F)IV1u;{Pw zrX;Pe$y49Hb0~ORpBx~f^W$|rAL&k?^J;keHb#TcSDM@2;}=AlLqdT&b}_=aVH^&t zTjSInqHq;b_~oWhBu+`YJA%kRE<`N-%E;WB)zYV57A7%nZfyzFI6m$EHO8BBhP>b8 zba7EK^YbF9I78!*r$G_Vw}C-aXqe!MYO)vZXi}TPKZ-*B#WvL`iwb1??{oNA`}E_D zKGPxP0-ulP4{ZuEQh*&R0_EwK$bdB@3dFM+B8(IuoGK0(rF^e0)b?J%F@>YcAs~=q z9{LKYQy^uDCG|UZqJRkzVsK#HL3-d&$k63y+$5P06cofpwD-O~0RFQI=rxsm(X@F`v0|i0j*uI1KvHV!W27tb*@Z6QS;nmg=ZwFdgCuq2~kkv?`1x z##aa#jf-tH%Dm;rdb^z%HOi9Bu9lQUR1O{Wi|aYhZOEaj^7WT!L|kVcU-_5W7Y<(=LU05qKl%{kCGg}wXqGq zP$Yq3I`X)boBbVT2k@_?@@Wr`+goXeN^cq;_TJ;g0{6^W7Jb>1L+`-iO?nF+ie&?S zMu=Iwz+XYJXZgHmM^BG0Qd3H2LBqHVRN+90&KFoa;k!|3X>?FlKx%OH+P7~vXG-lu z!6RK|ox+d%8Dzagn|D!UfS785og-!r$mex2nMKL%*w6Wz7e0LWK;h`0+e&u*`t?mq z?YnndGw;e}`CMQ`XRRnqI}|^(>M)3BR*CNI6CSqM!B+#>*2}i8V?B`s`cbnF_059| zk!41xxJo``8N{pJZQ5M3r`~}Ez&P)l>7cXMnD#b1bR)WM zSkNjssJp}ucvT>*Aj;nwiO3Gb9Jv*xQu+GU6s8r3ij<$Xu&#D5x%-%+wfta?N)g;L zO15hKMc(g`KLtah`j9*2r}9s&=BlNY;J+MWI<{j==S&FIUga{T&p8Z!vQpm&D4P^3 z`jl^Kjk4nNUCqgtiya8dq}dzV+n%o6zg`@Iv85pj5?%67 z7dBSW?mTk*5}B{dSRBxT-IqHzs^Wi1?tbp@0_9T}NPQk_wM?t{Hn2il*%P58L0U}O zNsix(WQy!6dJHMO#|~~YQVmsDY+WAvvl>TP?h_E3{++(gKO!<4_#2)-TR8(LTA2YH zP|z-o+lR9vS}CNa9&JN%$2rXRhRRRgtxe0w;1CgE0P^rc{96CqT2`eM$gG?`*z%3x z>L%{2DND=|4o8y6-nKVFJZz+>9EZ44PfJ!rXlT7oV9?%^ znq2{U?9fSoXuh$n%_B=RNuK#!p0nHOgGYFCi7PYDzn|V{J@e_EsqJwFO_42VKJU9{ z+ToVV=44rj`pRvFnbMu!rEkDVL|7OnaOc{+k56C z#4K#tmf6^FtxFXj*Y%UTv;k0& zSFnl3{ln!^+MYN1Ip&v%d3BMJhrfw-*n|a2khB`4$uYpF#%ZJ|9a|K8$Qf6m3HN@vGc>iOz-d_|vbWQMm17w{U ze5TL4!U0|qUE9E+TUKG~V$)(>xav-cIxKaHsZl@1GfW>_?6J;bL0jluqO-@3AM$x( z4!2Zaet?1EkvG(}d$aJX-S}e{?7e_m=aLr$XE0hKYG8_tmWablJco-Tk@>||v`@7` z-9nCYRn|qYWH`n>bP(L~Q?9eXW$5B-_`_}B@d*9Li0_x4zB@uv zJMZQJjUt2oIhKX6t4ROU_g=ik0|sfCd{R`y`cLAsJAnB`q4k`x{Jz=MJY`3WY?#eJ z)YsP8!c_Fe>4EAPhKEwes<*PJ#i-4Y{5&vtu#;JH&gp?CE3h4DK^b^wujskBvY8Bntd*6q$?~!<5%#eYQMqx4`sbXE!BkTZTfhZIi@s^k z=xe!Lg@KhH2fAhNgQF^$+#s)qfh2_7azP+Dy*9~}I_DEI8#s6J08xU?!34AUX@6a$ z+Hm9m1IbRznMQjvZ!_8LvT+CuYatO!v@Ztct4m z#TpY`ZRMq{yYHX(rY)Zs%jl9&Q+wozkSHxAkMxJsc^ZyWFfwfXVswwc;qJA8kAX9A%#BrijB z|2aYw?G>@X)wiobaf?9DXe`o9_y6c-uJi{HYNji(b6OgEuJZ`?1= z5_Q${`vYe_WGJl<-D}aC_%*t7X2ZVoSVy{^3yK3q#}LB9?fJ(=dSv~*;SSPVaHoLF zY5BIf>uhl%L_I8)5x@~%=V9IeVB24;o$lL6o6377+TtPy)v6Wye%k(B3#cpqsvcST zsuZ)B^$3RZm5$b3%FU-wH5)rVx<||?oD2icmTg@PO^4`|si$ARJNnBd7v*U8xk@B`X6YCx-v2L%-l+&d&gyk; z906{dtJzD(V8{+w`oPzRMjQZ|w?V%8@`+m2n332E7gIPQXwH;UTaL9ESW%BCn((-th3g6x5Du#T67YIwG_A-!f3pmy)@_2H zWO>6Qu4YURY^h`uBu`Kr_?G}vf9knrtZZ z#B6fG-n1Fmsz7q>E~9Kk7@*hD;0zK9*9!H=IDh zr0qzznk)mHYxi%tGaf~v6zZCAqNSAjUz6=?#Hb5^sLxuLhv_>k0K<PC&Va z-Jz#oa&Mn`pGMYWaRM#GO7$ifalz*D93I2N{B$A(WbUz5Z zAWix88iPKVA&dDY#hvi227^8XbbBz)ul)~=p7>*KvNRjA1b*8;Jw2(WFeD_KbcSrg zqrq3*4Dknj;!?UZW$NkOQOy(2)zWBbkGx_%cA)8NzV^T>&nb>xL(t}NZUefb(y4y; z*1k@W6q zT%Sr1L6XHx>+c;0QFeEqr>OjCvHi)L86cyz$;+mV<-Ks5^0f0Z$-_|koHT_>LX!7jA!r9=Cuhd$T&L@+ z7>gLuL!#i=wll!2lR&Vxg>rXTg1Lg(0`uuChYNk{D?f>RXGxLDfVLeo3Sm^T8ypMa zl#8E`m^F(^SFemQ7Wf+>WVbe78KvrQ@X3Gdc}PRvNx#!Ir78tv=h;K-dkdiS)bK@h zMPL4JIk=;DgpYnWo-#1pTaq1rU!UBmgbs(bbDw27oizUXIPMpn+1wbOeabm++E8Tn zoH@11uL~s*=TKzbl@=1%^3OAo*XefIkamm~2Bhr(BmxkDA6Vh2mG?irFfWo4GJwwgSnqjd zDCerhj2Hj;U(wCIJMdr`vyZCe^elsKd%y(Ydnv==Dsi(@P4wsIeGp5qn zWZz3QHq9p(_6so8pNDdjW!V`uFdFxUpY>2ZC6;}q@DjuyPUm0op~Wkw*5X>q_l{OtXB-7f@dLULq+rxc%De9=nh1abtz>}H6*#B&WGq53`Sd^h9O zXdv0nR##rkaRzR_HdOgJk^gKfhHZ1>EjZ^MJImh{z$y#aMWl=@tm1kr*7H^@DJqLa z7=9thBD_QeJ4l#S~Eig31Y+W#4vsDINPMV`GC2qK++TY+mqe!&10xRBP6##tg~Vo zkuC_)K>V=E4YVO~RUejVt(P(De7jS4@GTI6l`C)MS1A71ithkEJ}fR7M6-nw9o+XY z+(uM|O%84cLYxD@!-DuCcsK)=9S*0+8GRWg=8R73>$$NyR0u*lCZ4(AO5aa%ozE{) z##a%xLF!R$Ub(%Abb9Tj9H`ya$aHXdnbmcbT@-Yj0a~_KcKK}df$x@@|U!E@C?en+|Mcj|KD7VN@Q|v&wB0;GtI^~DJ{{Y=| zbv-}^ykI1Co6zVmXd_&Gw9Y{xI7hT!cbyuw`J)s54cOAM-7%3Z3dYu{`NngJ=g8K(x{b*St@T#_+h&N4y_o@J5rXYZ^w6$tJ&uj1>q5Q_}_D{S31u*&b=lCMiUY!NX^DqkzI+EM+AeUr|pKPo* z#+n~DTD^>%{g$#D34Who=)VYv$;;?}{;^MG_qd?IFn#mMA3*gI3f9%vXV6Cnma3@b zGtIxtocWj5Kzr$#8C9KYsEBRI>V=b#wLPC(4BRU$G+R>_OHaC6{r;8v{U~O0$VF}D z!Ay9C{c~afD+9ICN#*CdueKwQtrqJX;1>Rmz*K4{3yAqWKxD#V*mg(oAGT3~ilhl{ zIY$$ys*UF-7t4QreSFBpa;Ekp|4D?I7LZz=($W@JnV~m7ZThn#-;`5t<&d1$1FfBO zYa+6JNHMWDqPgwN@l%tYMMB#>cUhymV6)~(&GSwiETCMxFaFxK{2bCB;{k?NEgC-~l<=7%ewz zOrF5NLe(}v9>5obZ*0(@meulc6X!axH)j1M;S+WagWeH~wSe+89ir|_w;$mDpZn~P zDNzJf@}zIhjrG<#&3>Rlabp`ilIgM=Er#Y%Sv{!uh*rCJk7az>p)g@smYeLW9fs5< zYi}5SY^q>GpYEYlXT6#quUx!b>!c&XI}OMIRD(zq8441vo;CZqIbmRP3`#yH@8qg3 z|CVRF`n-O7;tmmW%ZYdU_Kw7@7K(luDyi*D?8o4bKmdtCAvn3##~$LPbi)b7N|4s7 zIpWAmCI>AleG_|ly`@=TTS+_E=Du!pC*A8@(vuy4=xy!9Sg()}Sy#eK+o1(d> zbtl0Ycv@n!Vrc8p9p2?GXJ;wLNi%Gt+RpBfy8p}IlY}LgQ0wkElIGl^{Eei=#0dpm ziISX5s(|&ccOi*S*{-gu&=wvX3D};6?)#8(9pws5VBlzY*Yj<{#CCAnKh*`T#o-DB zoNo}}V{_xtuoad%6N#bK4iJ$)%)rpTmfrfTbaABGnL0SH3`xKSMC}-NsFQNoDA0pOq9#fH8jEJ-|qGs zBqIf?^oqzMLX#VTzB?xOYf(FX%P2Pa$Um|TbOiLh-dz(4P=w=a1(mA#`d(&oPB4gzK;ohjek_)jC@ z{{z;Ld%V(Mx4O?Lc|OCg1r#1Qha*)1s*;vcIj z2Vc3?w3NK+j?t>&i`Sz0Q(Xi8o*^MCME{p{#xkRP25vm6mrY_bX z0V!^1h}Lz`Gyg1X=V>j0NNfTvjh`$!Q2IDAFL2Wg#+NH?iPPEdmC?xV)WTdsk3~7_ zI}FthkvYOK7N05U{$YavoTDj4RNVh7{<&m;K;EIBOj(rW4!-M~cm9&D%EjxJLRTA} zziqe;RiFusjm3YAc*e9eDn1-M7&YC;7FIR(fZa* zh)(Cq1wHOZFBymA<&XISk;_fcgE=;7nTC*x+dSs}Adquh9*~&B+57$W`B=7SeE1`C zBo2`wSx#;?i(``bDou_0Xf^C2pPloHh4sL#&fA%sorjrQ7^xx+i%0R=(J?txaMF7s z^czZ#gG05g%R8K@Eq11mriy*LJmdtbzA>>Gu|Nz#3q2*d57J~40r8|F{2bJKl98=l zU2gzW3PZDcMXB}DKENnIooh2gX8AY}5kGr1(9M9B9xw*bY@3^=6ndW=#Kmh?cNWv3 zbyS8Rv;Z+IZ}L#`Yh4xzP!_3{OukBGu@&73!`$spa&WwB1Nz_sw7?I318-0rOp;X~^FpE|z{m$?5cbzBzp(Mc@uQ1xyXC1$CWms(QOoCQy z3NX$S1wgZ&!iRycEHSx&=}Q6!B7J+n9ToCNdOZ3sp@Vx(IvIzm$2-t;nVv^E^zo~m zrbEOiGE5zgQPU+~LQrLIV?T)Oc%F~yu(u}8yI3%^6<9MCQWM(F(!EjZKJ?0!cBK{} z6I}e=oHA0`omGS7-?kWBLMs|VAW1EnaQXLMclzGbr>8)x8N7kqHksYwC;Tyql@w2I zoV#dr|K>9(?em4Lx|bm&Kcc`*&7PmjS}$|I!&bd?K;#CHdVPLZuA7-Y&_+lV)zGbC z+R2hEtERqFOQ`8v_&I1noj!oj0&GcgGIIgSAS-#tTp;8kXa|3A-e@$%t?IN0I<$=#=2OIkxbw%-__})Vi zpOWyD%5cWoaB(f;RGxuI?(N%dK|JckpqFx5oXHp2O0wT3?muPPjGGAkLx}Tm5L0!S|Y1Y1NgN_nGjUC(Q?%KeLnEPvvG5K##fu(Yzbf zPWFdC?Z^PArToZ(!iO0`j`@Zym{f8O8sQ zv_`blK$}u#SU~PD%qpC|t8tMGp-9*Vyhdssbjhd4QLf@oUPW@g3;D@RKt+wQzXhsR zkg00r_g4jeXQI`NqiN~FNR_t8Y1#@^2#bS^V~6PcLnvYQzTJ@>|EOW`5rhg*+dA-M z#?S&qcBNi6P>z^xG(qh{tb)Q|g>4$bpvkf3DUwzl5b@`o6czA5>yGUUZ|T2ubyuRG ze$?oBX-h<;fj_~PA$U3^Mdk8GnIuPaxd@#u!65$EjhF zT_cFvtO?e{P{(!Xap~I634hURRKEYKi$!A@V?I<%?H~QM=uOX{$b4n>+Esc)0|wZ! zuKftUd|r!s9CSe`d=EslGX&D@IkCmGrzHK72T)2OyhxA*%+iwE1UgYF`GxVT+a2Cp z&_~aMI&VpaaxzGdMFHc}aBq%Ihn2Cvvq%4y0g<#s8auRBDkUPNcK1)FJ$`oB8>Jw2 z2iC|spyY(XPs-7!L&5x6aHRy^I^L_9iVsc%wz`dgAafH#}$Lv%Ns1)UwF zcdKqd5muIGkP$r@s(@RV;mn#V`?hsR!(-c;4Eufk4YZ`dqS;Hw+EV!}VficoagXYc z`W}0321gEbq6d0DSuxtqiE`Z-6Q-wg+Vh_)$;V7Rj%M(gnAJN@ev3ztEnv=J!U^Go z0l|1EVqZKcB6^bS)$8h61a_TgmaI})vL0jY;(JwE+QC2qrBmdl>MzK$?k-7F+ zx8nz$ZI_$IcYA8W$&OnYXAb}MGc-39sj1ypHD=_@bZ#;kSRs;>)OEG)=W0i&)*&kd zgO~4yb7UNdlR|?%?CVXIs+U&Omj_ial)qO)K&t15{V)lHVW0trTg|iFR)u>rnav6%tG_)ulEM`y4#ck$U?$r^# zwBs9@pT`s&Lpx!;`XiQ_Y5n*`Gy%jtS@r~A9cudOKa0FJ|uzH2rM6tJ@=qla8y=UxqN03v1kpcnp*vxdf z+xFQj#*7^!!E4(mUm{_ai2awy_XU0Nz%ex;hx-UNtgfh zrRLH2`QEN8hITU{hJ6I4hv5$`TQzMo$#1+bok=ysWnM(d=H@HEd0R}i;{XeWg*2p1 zpU31BxzlGeRcax8w(^wo?a6i5;ELYt=0C0vf$of}%xJ!y+J9qY12kWYA74CfeCdsL zM1A-)xi3_~!FrRx%RlS}cF1gn%00LTwnUGa>Ok(}iRIrLO{aqYhe*(^TD#)M7yd#f zzNRnF1(K90U84GtnRBkpfR|_Fj^##rgDru~ptkZ{|@bLB>pTvO? zKfGV=vraMH&aLzf(;w8*QcBEuD|6+ugc7z|=*nL|K2Gzfw|jT-Xw7KCPQPE>#h%wH zmVQHBb+OvYj|(EZQIbSZpMA4qE6g{~IDnp!d+Hz1u2yrHK#$Ve?`f2s9SgVB`gPe$ z12zX25ri6|`5R}Tei>yuec(!+YCL0kql`am3{gwMmxfo>(da$uP#n2a!RBs z0D`IFVh$a0%s>N%YPci3Sl^W-IJ*{eifsR0kf8AWnChq6r@Kt$fsxtbGorbsSLzw^ z-|yeAJK%W<>Xsk~Alq)Vg`&8EjGeW<2L(TbOL1Ge7AO#ws`06KKcMU4`l+`}>-_lo zo#G}Md!9SHMKZcyQ)U+nn}ip);$tHC?rwV9pNf@RY~Sr998n5Qa-UIR4uioW&}zM% zs7lHB&*KyPl@&eqm6K-}D1j*ZW zENaS&gQsOCBb^6-P+=tfNRv4WC%y7sUfMm4`)qn=sQN~3$PdR3i&cu|4xRg)aj^(Q z#es(nSk^=aL{VW58+4N*ZLvd->*dcIc+v(tBiggny>yTGFLCcH1liy#fCYgoPjS{| zUhP5TXXpR^LAkcI-TR@LNkuI=kAi_AVmdI4l=5D+fU zh7N_f47I~xphCNmV2i%;p9rOw2AS!{?>(*dsNTiL-Sb4bmC4w;e?CIbFQSBz&&uu` z$^1Biv>|{?`K#-rHIJi=F9aYBrBM?FI|pQfg}>{Y);>0mvOJdrMed7p<{l%D$bpH^ zLsGFg4wviu%JaX%xd3v~8!Gd=%oZtwE})AJBt;b6+0)r2P$>R~sn1J*7WuG#m}`pd z7WMIiGC!`%vZZwQ@L3J3LQ?VpCv<6dPVr?$q711W2otS-#HT(ex=Ph5p?lr;e=K=` zP~nGXZxQ+F;$FnpjFt&FSIflLC>^tWXjM>V+P!{kq2a61$$&sZu069%ne+(=A{*8S zeE~R})8i*k4jjL3=?M&o8-dVF_`oD}gg11maYLZ&P=jiCuSlb-Z%Fi;l?Gy~`Le*`Boo%Qr1c;XmtPg5{+yI?Rm9ffqvMCuUPY@Md z5NLXoxER}ey2?9vdgC(vZaW$Ti006KF=EYJjxHQASM|aSURy+1bPUnDh!FLgu2TV* zBbKdM`%C!-bp*TDyqCg1NsD={Xo1y0NwR8|ltIy}1088bxBJ@x($JA-ZxwZkO9XnD z6#*dBEC+1-^6B2;PA5$wXM(}Y+;NnXM zIXacmKj>HgWjP(+*lZO?$`pEdURW(~%tjq|0#T zm`O@5A+s^^2O_;qQ?-+J#VwGR|A7DjsGx3^eg_jyD#68}wih-!fWu#CQsOHD6q^qJ zaZXOojuTfTA=qBz4EaNqZt*HXSj{7%(>|%r2AUsn2YJq|@ZKLfgYGqAzP5AGG@8V`kWE!t!j-oE8dlvh@FwCP1?oWg~3fj(;{=k4w*3$AQXEz4H?>7eY_UcQ$Nx z@;OB%rIHG5CG(Z+)wp97%`d)BV7ET?zX=WwW)xcrNp$GRZcmmc7#Qb%c#@)V!#ePb zaFUcM1qwCIeSrAplk=Y4Q>?`=ZI?9^ohDNw16K7}g~YZNn^x8pFjF5xbY90BAZO(0MIN*#VQ<0&jDjj>BET47njWoX6s4n|W)q)ijr$xg3 zckz@-laZ=~IkdMG0W0HEyeQGw)O3Uor;3(hOIr9ng_<@QX}bP!6BoDcgV|u1VkMh? z!{SjEtNpIUot$BilYQgrkEEnFi4S*f@uQRttw(Y#mN2*}2TwH-?nt}uqhsS+R_Je| zV}_5rJ|48c$%Ac7%I|M~u%b`3l2Q6%t9QM;-$CT)y*C2<*+-=M*Hprs``rZQm)$JR zrlvgC{i)=hE3ooYVxdW7uB0cj&reSvChnx(zy#^w!{jFw>3p?1_4YYgOc;DOhLtd> zjZdtoN2^B&d*>I-on+sbHZMiz*rn%DY(fDiTXao-F4-aP)2gT5;2h4cB8@$1Gli3b ztU6O~*#~ByGMmybH9hFcT1^wc&a8H~@(6o4y#3Q)x2*K8YHVqR>O?CYg)D6jw$75p z;dFkcbVBRm_*!oEhd!AILw$~6xu4VOxkt_JqK|b~7R5Fa0)mH_HyncsQbXp-dLj#G zV+H5rN1rRP$TS`4tP8GSF*{TKR{LC8@pX$wl5zAl*xx@FnhG1gmv{bvX9Ty^wHV~( zb^6H!;V;I~( zuR97!DRMTKrN{f-pW1YvO3BG%Vr8H9YU2!LAkoJB%IyD^gs)3ClzM=V(f5Ko^nyF= zQm*T{pOreYpk+T2G(N6D5NUeI%kb&O)B2R(60m`*-prkA$Fa;E?fbqV#?;!s*{SVS z9%1);bj*I*n|sK7D^o^$Y3U+|>5bQt2|@U0?IvT<>owYmwXHeL?8X6q(K$!>>UzC{ zgXff0_>$=KE#eqAN>{r3(b(Q#8BGhPd1va6Ts^PBNKA{XYR=*t77e`5s)i~xtvU0! zv2QL3@f`K?s)(p*neI55FY_Ee7j_i#s7{7poWzc5Jp%a{p7-j5q%s7z(5=9&MRP6x z)=)>yg7z;|>Bn~r+FhTpjS_C@l)ou@DU9La;g00Nk8bm$?%Lq{RTQduleV-s0|%ik3$yrAA!q5;B}^V4+~q?2>dZqwg&kXi(VCj5yS$KH&~;9inMPpiy<*JT zLfiUu&Ck<4n|)j>Purx`&ndi+qzjyqFxglzHPrrGlmyG;&nCqbNoe#^UA>d>LCTM_ z66=ET49F<$Xb5N<7T$0C#9!)8^H8kcnw#*~FU#c{US6#uts0x7w_Zr5T9p27TWyn4 zos>Oap=&6)dGcB-hrydQZKBJ)XBb`2<~l!-?sJ(?KQfoOJ{fYhKTE^+vS+|aX;Rdk z>YL`86mZ@;FfQDuo|-GVSYTheWTc+-aO@rwlo_TT2x=&}=vHFyfV+uPm)S^J{}#FV zZGC~T?(LO3YXp=EaGKD#xWD67EjCxY0|n71fA@!cn-JsRfd6{eQ*4cVj*O=<8tQ5; z`(eFa`Nv|)Pje))J4cw0OzOq57L69RdB$Sex%|kZ#%u>Gp(N*-uD*Tldv`G-Y%tqb zz^snOPJZon`Ae?twU##~H4;hgeklyXyfP?N0T* zIjo=Un}wB)&4=F0*{V)<+I3c&*b7*jB!yT%V^!wVw)dFz$9WrZB13hp5*CByDkXvO z{w6t(j2(^B*i8MJBgOI)myo|zYZv5&+|<3jYxHw#KWUoxb^X>E&}YYLys)G&fy zmQ#A=o9bN=yR%<)P)sjJ)KP|(@eQ;al) zMU8E(_ZsDuHPtnH^6hQc#_U@}-*@erqORnyiP_n{m4fMTSe4(Gsng3BFbh5wfA?ke zvtXx*u*;}{%hxwFfv=Hw^dwa2q!F^&zfXwuoyQsVtlJW@zK+3Lp`sR89Ua!tVF6hp z-`qAI&z9kuPfG`^O1J5K3NoER<5LSTRs7aM@vE1sq< zfZ9M=L&Hr;-25LQ|F<(5x~T67OMln{NX6L_H|*JJ!hGwf(Rrg|$c03u;2Y}+YUiAd zjml?oTw-|Gn4Qiczx}10&-G<5s^Avl38H3kza`@}cFqr8wl{v|(@azoZ_77hD)~5e6#nLFQPq#2> z_v)nwy2MAYZ_Zz&aR|CH?Y{FOz`Mu)WY|NNMrzrVt%_up(8zpcpT?|iI|Rc3Nu zl40oe44(V>*-Shk_w*K8OEt37j+DzdIq{t+&e+{!??!9FOC>bT*2!M03u)7;t-zDIq{Vk)=}Z>bsT?!cWJ`~I}f zY2J*4=eB6x)@FXr}`*VRkA`|$mPtv1UvHhiCyTY#kX z7ym|C%iT*{8>_h-AakeO@M_ihL)&lu`3~6Uu+5rph_7T3%g;R&-mPw)yT)(Lx$FD= z!m0pn!Uf3K1!+o!5bO2jUgs^lAzrU*JWJi zG{oHRH9I@YB(HFiZts=v-MEJqLwL()j5Gfe6~p41?H>2fce-Ou7di^{EsUmbflWEH zu$9@r>ghbGw6mPglEvQFj~O4P4|0g=+upsXUyiKxHYF)*tUe+j_>_eksa}{Dq%IF^ zR*dnf*dM$<%OLI0u(Lk#Ai&ItZT0NnB`^IvpG%cv-<#L(g(B_Aa}og`{wNZzV@Fz z72kt2eu+xHnP|@~8ACMTHCn^X}u5lMmK9Iyy8E zh8v-P_qD8hr({}XsUCd8#%s#@~4}arKLd8w&26fv<+{=-N9CQy#zTJ+WWWHIo zXTV>!h9;(1T8#9q!E&wyB`y@EkPf!QtG0^pC%oO=15hIyEOsY{L-y;}Va#SChABXD z@v0MkN;}!=@x(w{U$K89lwK!sj8)Hkpedp$$OZQ}V5!JH$>uw$3 z44MOes?L+Q7pS+2WD;)QnXpON-LW^>O(A?;>Bnfz@$0nj-f>QD?sg;q?&692j$J0! z8|mgjGLb|P^~_!~YkMIxjI+c}9@3Sg+E`S#``W&2TwQQ|{$dqRBh(*g*37Q)%gC_n z>+1(rK3+W|J{!Ng%_`65T{!YT<>IAjj23z`HR+A>$n}8+;WC#``scS2?4^%6+`1R znO-*7I*krLkbw6=*!lwPR7O62bp|n+wn=^7M181Xj0*x8)si|lak2?kDt{!eGo$g`DA z&4tg3T~ZVm3IAv`^~|T+yua@S2Jw*iPt6OxGB`6ZeoH(kU76jxGz}5#u6%r9fp4o6 zJI*0ba~*fXv=CoAF{lLHnvH?`p!Pr zwVVwf04w=>W=j>ep^oGFdg5(Jl3S`la)mgYR};^lT(hk?ou9!EgVyh6BOxg~8r zO03+j8^{g&c1Jq$Kc*q-8mpK!S8zc#T_R7S#YT0=kYB%@elM5uSip<2;yKC<0WJ6avU>e!!Rw>TEr z6ELr%xa;TQ!m?LJf7;>a@(U(}Ww5C-%-Z-#^=g^5wY733zWg-p6TkO%$eH<)@<=b_ zD9$8i#v-P`I=xkb>*{V8HQDYm(>^#yz+>1qoTM*&x)CProYQwAE@F3kelV2kdiKfi z^KQ6yM^RDHX@HnL!IlyCX)l<9mFPg<+dcjJ$T69RMYM9&v{tk6&NGcGLysCAzNGg> z%U#(us>3x!u{!V?cqA{+LnN{_+)m)SXP%Vg=!8`FuwChPxS@dZ1$Hs5_;DSBy-09$ z0E&9ZS3^`1#ztyuSY+#Qw<#}r!V>aQ5f!K966q@kf_5F_J3-R!Xa^)=L!k;4z|7m? zhMX!j`7rc6=093QIj$<~MUgB{dsi;2uATj0s{mq~u1K?h48?B5aQ^6f=+_ztRgbn? zJ)5gPy}Ys(7lTAsCT?55IV!wsxu9GXhU?~@qUX(x(%JsVsG^<%2XH8<#xyhw>-AD> z!0+Ow112#etmv7c7W1D-$t|TDv$j4!re%csb-};Nm0I} zQjj|nKLlqZ@V4UMa>WE(#%fji=W>#uy+qu!?%YPD2r0)Eh%!VM8focG z(Zel)&Bqa6YbgSC6e(;%Q1um&&fojUTfg)4QPo>P5Avad<)d{-{PIxYDr~g^5 zXPIJFYi+$uSLDy1-hJNuu((6>-~M>78abxT^cC=&vPqEH3uJ~VYA^2wCB)B6&6U%f zHA7??nl=92340!tD4k7tmDIuT;=hl3H*0u%i>F`9Tf}9^&%u)@cefp|!oKwf?Uia! z-zMSPvb!(d-rA1q(wSGNh;5X2?HNRzU%!6+A9-i%$XzAM=9b-SfOr&)lY?jAgS`c4 zfV4?SrW}rou?tnxUVJQLc`C9VijF2TFaOzBuwj@y{kbrs#*l1^zIZVP)w(?9_5vGI zk$<~mlclQg?&xa4Z|4)0@9oA&_rK31H zI)cNfh@vn*Y)BQQN^=z(O#~5#s(>^p0@ADFh$u}(3>_%}6af)wMnFf3h!8=fg`z-= z2qDsii0u0Tvpf6OKF|KMyT4r?g+P)o_nv#sd)`yNdo`0QZhKV}n+1q9PTmR6IJG#! z`3sC^s+IkfDl|}9QH!%R<~5B(O24sw`QpQ@QUDD5=aR@p<6YkD^H^4J?rR@tZ~VDL zL$YDttN!TIre-;{BYy$DyrLVYgH`fvjg<3DXMevHgfU9Ha^N3_j~uadadF8@d8GN5 zV02rLUp$03R91x$PG3iB?z{2L>EuOxbD9qgi~NQU3eD)wr<@!D0#sc~J9B$2*(ho* zj8V?#;o$SQkBMu z1t)s%l>=wZ8(tj#YfP^Rrc{($gq$A?7bu`!PdhmCmv$RASQWH?eQl$vKQ{KTbj9Z_ z3xgO;RCaSUZ+Hu@>&z53U6k|Wpue*J%tgOpw`4lmE&t}fiS^eji#7$sU$w}7kqKJ2 zsCT&LuJkhtS0<74jxH!Xeow!#unu^5^dF1!!YRWC7ROE^{r`pkUlfaa^S@jx1hYWM z&4GR=*gx~!rpi}PKjgE`%(D(|ThZDS{%3H_V;6V3z8xo?3M2+jvL>q7>W|a&x?KuP z!b3_t3ix?Fr)2M3b~sBZ`5^6RV%nk5b!v@2d$yv;B&>znJ$2c(AV84Ug*8*}AJKot z`0Mbi#S5}>s#8K%u>Aw^lxPqaX$GuN5QyGBmg%nd58-O6QKkVLnUrqdPZK*=TnN;0EH|p+=~qqM;esa z&5FV#j~7hEXU{+E-SYm-7jK^C7sOu8rlzJ7JZW|kQc})er}JwBLqkF+6pF30^Km~d zvDG(LUH@TWd4sG^Jvsd(uBkX^;17nGg~i+2kVsAcGw?fY zPO*C|X{uQ%jEgbcMMe1ha5x{yyPA}Pe3JM098G*XN)%D-tge`wno|`PmNb2`E+;3) zJ;HXb3!Qkmrc^%kd44;+BkCFsd4Jg|IvT6%3%U9wWnP{un7m4Ri~0yXyV~Z7Tt;lI zd7SC4tJs52Ag|)P4|@K`roGUPJh*w|1zm@!K*rWcWxdQSp5V#J$@@b32w%Uv+#0D4 zDp>YH;liX*eq{que(tND8m6-ERH(W1sw;olzwfG)t9zg=6Q47{7*kdmADc}{L{Y;z z$0&KABgT41pq)pg%H-*%oM9^C_e)2F{G0i=WQooh%B|TR`Oje$|AcO%8MYHT!L!u< z1FN_vqDIgc#)Iw5<_{Ge+{{a&y3Ec@ytLYbGZ;kHrKY8&l`mQHP)wD!goh`2fVAQ= z%`NC-G4_(IiP-WtV_ChJ==v`>*kAA9j1LNBJI-3O@b)h4{vadHI;rSru#u%+SbOi4 zZRRVx>{qrs?`!KA99A;WF~;{3j;{Cjblh|8!1rtRQTowuPenKC;2-D6f9ku}G%Jy^ z=Hs~UAM4|Xogal4I;JHSWh9Db=7^>xin;|VseB3gPD}e$Fq+Q0L!2 z-k`z8=iJ|(X5i_=ItxQ1#%S$Ge~>7kok}U8tE4Xm?n z-Zv@zgFh@1d4kZmYA#*8(0>nKd1$kC?OJJNWfS&pQrp&K6zXnBu3D~ep}M*{wYXRw zOPq?8_VM+#bZ~gkeRhd%N<%}#sLfXo^RlwC37+*qvcXrcT3T2LH>y?-lfrk_GE4K7 z_FJN1LVDl6OmY~`PaLfMyLJ8r>2gmCijd_ zJIDzX6ci9yKKb3GUvOB7<2&gE$ECR^ilJ=F;I^OE&2@(cCOO zgR1pwHKY$7JSeTIT0Y=b{h2h7b|#1`jY_2|hiv5M5BdK6dq_x3LP8i$DGDi(kBLoA z&NB`pIY=ebj(B={s&{h4Y1ReCPV}y>Ew~J4{U(xe$=sS-(ciAy4e`A3x)qQlK;@E2 z!rMpN_Vt>b-9Nx=HS?9&v13Q7u86vN<;#~x`&~=9Yj&Snaa8CBuFXHf0vU`Oasr&^c7rsS67rB(a=9g3Gt=p^_2{fg(DoFuW3TP+6PaS6BN{p>d9L5S-jQn}B}>R-RU zo&6r0s8Jan6#G|xs^+#h~m+@Y1nRnnwH_iYTREwPC?*1<`h`C;AN z5n@&xpUHL`u?||>mb>{wlVi$%;z6SyQ>kZHV1>SP>quXXys|a4#cb7bTc7h}6(f%3 z=h+t3;&-kZq-MhbRo|LOp~w#(J`inLsLgz0u_OZ3q@_fV7+lC1Wkm5+}wwUPv1z~6 zYt|4|J8xrB+|_)gXV1?<84{MSSW(xrX3ZLM1tEVa$e;iG3Q>|wGAB@a%f^k@h@;N< zLi0;X_@knt7^0Ih3<%+)9z~|@ zL_0JN;qmyy#36HYbFJgYk4Tcmq{7LyRu*T@{Q8l}OhbKHSeVcyYwL`pe{ks@B$l`i zQ}ssHcJ#Uw<@Y=^?x4|;s+y6%@7eQF)N6z6?^#{Y>o^>}ZGYduz`!;9-%>0fBov8Z z%o~UJ9PckdABib;62pA)>62|(czARmmQ`9&@i)oQj53)}BXD=6^uPE~h@hK5S-*`wE3PN+ZSOi)H^YpbDIw-b(GtHYTM=k~-pvKyD} z_a`dU@86$M#;GB6CwUafb8oTP?4GMHNm+b^f<1@SrE?_s08tW=Wnu)hL0J`k)~MSB zbE?D+v%$=rJ9fN^j>NX{-^#0(??0ze(ag8%3csLW_r>@FDZ1T~QMD&cwy)XWM~pFG z-tO(~@0+9-cKtEu5e8ejM>#FdH@IclkU@%W2#$0nufRR6TU{oH+E1fahK1x85C{$N zt?Q|$(ORYTNJVdZdd$C96=Y`a1Tb%nuRo0U0k3ktc?T((au%M+%3`SNAPvF{q8kCXf-+xhwVMdlnZF&#{7Hv!j^lXq6^ovMRk zsHm`#yh+?nEFnSps9LMustx8QQ$IEG$yH&u(i8lg8vHQqIgv zV;H67G&t}GAvH6$t_KAVfh+TrW>dm^jwDWR;8oA_=g&V44@bbKFTyC{sNw3|>BqIS zDggtDsf@e${Tke;>#)0rM~l+7`&lQ&Z`3gWNO!wGY?G6bS!Y8_3Wsir5hbvq`N~I7 zh8_k6{o1FbWa;IlfME!hnn;$9ggav;EwprW4hIGX5*Ujgh<#pyFDNVf-QC$h6syC- z-yz3{?j6EnW3@i+XBwonM=DFLTh&OX3&2Zj|0b@ByTpHiG7}v#@08XNne9SU>nzGH zV-P_auj}ip;4(KLtri>{EKIIDgz~p5r|JGu!fp7e3N2EGz$NT7%nueBF+DwvZe3AI z^m63n#U&+MloGg{)kdE_K2ZBFUTWw@Lmgc36HOJ7r1JwJFTP(N{#&dkN(o;6>({SE zRZDqKNQz=AoV8Y4>g(&@DJ{z?HDXRTH=oqf)~m(M4}f`a8i=DvT2F={;xlq6?cD{$M`+rN7EVzU>nfT?19D_kx7ZEZ!Yt*!lZ zFb{!wK6*C=L$1QE=IZKjKP)eS-|LZ>Z>i|`6!p_v&O z1iOTCKu3#}+f5O;fM(+NR)1_%te&EK+H(ki?oLOPUWsyk29pI}z}CNBfS2K#&?&DM z`CEs(GEyj%bEfgP1&ukfva*GaRKjnWp9iy>PKeg|!W^4+eNC|pL;F&Su85GYpPw?` zU6&Uq?^t2bNwEZ+Rlk4#KEhDfFpX8LKd-Zo{UQiH0i^%gu+Y^mk6?Ng6%~G+dQ?N# zZ)N>D15eLa5UkhU-riI#=TwqmFWTNB0A}qD9&{F@O1wPbAcaopoa-i!o@e=*2grub0&-pesHld{^xiPg? z_|xW%8+S!SMsDED%wRY8&?+d3h59=D_KE{d<;%>>tdpJ?A4f~%26>h5prqdM;3DqK zEkZ(4I1T`>EogVh&&$hG*u7h~+sVZxUjcqS!qLyqudelG9phEavC)o#_Mzam7C~n# zD=WGsoZp76sR}YOC!H=gxoAd`p$xsxo;`aqw$qVwORw`h-Jhj;o*)Ol8~UgzuM^D1%;H@BnW^lx#`x|~K`eSDrkh(!r^#k5PD z<#&~NG`VCu-qK0GvtyThe3-ca$75|4#S+uIo-N?{*_tf~f zL#g(zR(Y{iZJNGac_(%CS$~QFq)JQYs|feN=!AQ_o7i9me$ylPib+n6G?6Smo806v z?H5qTcvDkT(>KjbmJ$l2juG>jF_DXxNEWNjSz4rT)a}n=2@Zp|Y=FR}q4)!XVl3Z} zuVcAsPy=`!nHd2-x zA5R~h6?1g^@aGk7nn6LC2K$_>>OmmE<%JRywd-gnH#PT@XfN3Yy*GY8pA{@=cigtYmjy6ugA z?2mc%maShaui{y_^H9{|*;7%)l%h7#jM>)|@IF`GnlE3zWY94QLYgoy_ejI7o&=8x z2|;`ij%WcCvEz*-)-k%`t|(%`$Pjj!;W5^D_mRqss*Suog9j<8R|@a9o1tmuK5?%*_THpuhvPYTqTFIw4|utfI$*`si6e)+yiLeuEs_!WPW7 zqvIG8-pKU058O^Pc`7%fY1st4kGI7|MEVU0iu&)wD4I1od-8u1StqBZ>RkM7+G99S z0`1Ch=m@=U=UtT4wonB*N0Y|X$@lrum=v+fm_STYQUp*4s+>JwFhI5AbhSmA7;!dv z#B=%9Cx(Q;y%HLN+W>$q0=enQF)>+Rzs57X^(g#PeMLK|C&DL1bHsI@$U*`3qb(W( zk9+p@tJgG#!@g#A4g3Kyk4VqX@;D#h&00_FN(~(_^tb!gq;5?y93sQv=Wt3N2X0@R zcD}fM=qV9?ppS{LR^&zC43V!O7!g7`&%$LK573@z`_I6E>vZAT{xNG0`s6Xz5y^?E zDRM;xntoILvu`SanhUr-0<}k5%e2N!NPqUV&cN5{8d0CZi%bG#>Dl8+C#mL0DAj8( z=&V$H{T=6>yJcn9qk(EY+xW>+f*3q7@M17}5t$GS;XA3X;a6ZNXHa4ABK^#h;-;)}=ecHaCu+xoial8&FCxLUWsZTd) zKHr(|k?NM6-Klx#hbd;GIhKNYCC)1c)$#stVK6Jt%5SfSHuNOw$q#PRs;DJVVxZWFU8l8p; z;NGrBAF>My_RerPNa#7#t!zwpteAA?;o-@ps{(-uHtt$FDu?Bh#!|63`K?7#RYLjG zR%0El{4UPtf)j_flZmz{ORNc00qHyE)0a}31LeeSWgQ+?cPMWTu#>&vAV;-J){bKy zo0yo0Ry!hkB76!-tlNfFZMkcPGRj&+%W{o!zGIbT@`WKVnG~F4(+m4@K~RCcDnfZr zgoRk_h}tzdF|i(w&{LV{;rC8%G8|BV(YR=VBqby~@Z!K=MyJ90rO9>c;rXw(I}{Ob zhr_zo3nsm*_z*~y3v9H;A2ve}AmZs*t&BF{+vZK1L=pL%dhC3!tcdfJ+7WrOM@)~(|;74yQhYDG(!+~?>Mao)0#3hPp)TT!0xy>)yPINY3_(G6!Bq3hYXogQ|&|D&Bf*XXqHXSxJ zMR-G`^m@DXX5+iomR&5oC`k?ltOomrhj&g=YqwA4LeD@Yk#TdN?mMveGXU~H%CDJl z(%hZ5@Cl^*cTY{lJF7Dr5<>xNz{7aHpVT{zRm+iSBBF5Qod8aU>PDh+P3*Tp5dpui ziWL+^2t06d($T>x#xK<6R}#rwPtU0*oCF$%jT;2@+ycKeRnE;$758Y!#fOIw_b?b; zX};aB*H_DMMY5Ntxqk-tH>74}9{Jma){CxNMdXmsA4Q}O1HN^Zx{dUPO0`Honw5nK z@t$Z*w})AzYrU_&6Tyu9aor+iHE{uu3vQpfF>E(qg6LSBpaZKh$9Zc8i3=DZO9$gAQryp=~=Uvro0w1 zau2!a7XD`P-Rtf5vmqzw)@mLexrv;WfC@aSMy%%@y#_+&{4FT8MzG$CnP6DBvu+1M zh_zA^Dwqy@{NSB&DGALUt%?kEt9VT_$d<@Py{NRuc+1Pn6?`X&v~Tk+bWq=8W#80n zZoqhmpb`YSs<_8?9TWjA$y-WI=GTM1*e4NB$OCTs-oTx4Aw>3w)r@lBAKDi0K!9Y9 lru>JVvj1t_0iWhpgdA<>Y_8`ygTa!H9nw+HJ#gmte+9ww + +

+ + +## Spec change + +### Partial signature message processing + +The `BaseRunner`'s `validatePartialSigMsgForSlot` function should be changed in order not to verify the BLS signatures. + +```go +func (b *BaseRunner) validatePartialSigMsgForSlot( + signedMsg *types.SignedPartialSignatureMessage, + slot spec.Slot, +) error { + if err := signedMsg.Validate(); err != nil { + return errors.Wrap(err, "SignedPartialSignatureMessage invalid") + } + if signedMsg.Message.Slot != slot { + return errors.New("invalid partial sig slot") + } + + // Removed + /* + if err := signedMsg.GetSignature().VerifyByOperators(signedMsg, b.Share.DomainType, types.PartialSignatureType, b.Share.Committee); err != nil { + return errors.Wrap(err, "failed to verify PartialSignature") + } + + for _, msg := range signedMsg.Message.Messages { + if err := b.verifyBeaconPartialSignature(msg); err != nil { + return errors.Wrap(err, "could not verify Beacon partial Signature") + } + } + */ + return nil +} +``` + +In the duty runners' `ProcessPostConsensus` and `ProcessPreConsensus` functions, once a quorum is reached, we should attempt to reconstruct and verify the validator's signature. If an error is received, we must fall back, as shown below. + +```go +// Example of post-consensus function for the aggregator duty runner +func (r *AggregatorRunner) ProcessPostConsensus(signedMsg *types.SignedPartialSignatureMessage) error { + + // ... + + if !quorum { + return nil + } + + for _, root := range roots { + sig, err := r.GetState().ReconstructBeaconSig(r.GetState().PostConsensusContainer, root, r.GetShare().ValidatorPubKey) + if err != nil { + // Removed + /* + return errors.Wrap(err, "could not reconstruct selection proof sig") + */ + + // New + // If reconstructing and verification failed, fall back to verifying each partial signature + r.BaseRunner.FallBackToVerifyingEachSignature(r.GetState().PostConsensusContainer, root) + return errors.Wrap(err, "got post-consensus quorum but it has invalid signatures") + } + // ... + } + // ... +} + +// Fall back function +func (b *BaseRunner) FallBackToVerifyingEachSignature(container PartialSigContainer, root [32]byte) { + + signatures := container.GetSignatures(root) + + for operatorID, signature := range signatures { + if err := b.verifyBeaconPartialSignature(operatorID, signature, root); err != nil { + container.Remove(root, operatorID) + } + } +} +``` + +## Drawbacks + +In the current version, we verify the BLS signature of each message once it is received and, thus, we also drop it immediately if it's wrong. So, if we were to receive two signatures from the same signer, we would store only the correct one (if any). With this proposal, we would need to decide what to do with the signatures, since we don't know which is correct. For that, we could follow one of the following approaches: +1. verify the duplicated signatures and store the single correct one (if any). +2. randomly drop one of them. +3. store and try both until a quorum of signers is reached. + +The first approach implies signature verification (what we are trying to reduce), but it's the safest one and, thus, it should be the one adopted. Also, this represents an uncommon case and, therefore, the practical effects are negligible.