From e20d0dd437eb574db8bc4a1930f7392a40051204 Mon Sep 17 00:00:00 2001 From: Daira Hopwood Date: Fri, 26 Feb 2016 00:02:11 +0000 Subject: [PATCH] Fix for InternalH collision attack. Signed-off-by: Daira Hopwood --- protocol/protocol.pdf | Bin 446156 -> 445959 bytes protocol/protocol.tex | 47 +++++++++++------------------------------- 2 files changed, 12 insertions(+), 35 deletions(-) diff --git a/protocol/protocol.pdf b/protocol/protocol.pdf index 73d8ecaf21ffc2cc2a370237040e88ff60da0733..0155c05a63655c05fea10727247098f64bc3e673 100644 GIT binary patch delta 27248 zcmV({K+?a=og0Uo8;~UdG?O3(D3MMPf04%|o9zn)g2w2f+a6>|PK0$Nmy)*#&>!C! zQnD?_sgpF_M^_ii9+N}PeDfebI}UDwIQaG?KJq-DoqY3_seq*sXNe4Ei-5;E5=o$R z5(&YBSrNP=zvfwc8&VN-a%G#Y2`N`3Zg$+y!tI>GS9lIsl(rAKY->me_%2a zQgPHQ<48&qP*}_intus3C#7w13KcvhJc?;yvqeYQRtJkrk~keyr4dM|fZcKBbzGO3 zo2Vzr5BrS!FXX`L0>@gET=y{A)^z(S#Z9E5m{J%f=2fZH3Hu0w9F_16sW^Sx5~}$oDXTlg>7{Dk;|a07xJW?w7$lH(od)9i$^&-0Ol( zma71q%eD=vVunN^P2%{`hcrird|3~0_9kzGca#ZXJOo>5yzh42 zyZyr6ue#>OW~kjmjYL|`Vc0He`H{Ms=aFIZ0fMfPFe#yt(0QL15;6tSCAVeYMT)BJY&8ej+OvRHs1yf#vRN5moyDdE;=SzP#&k?fsm_+W~ZH5V!$aFe? zeU!6-8cFxq2g+n*f217q2Ey|OS4crLYh+F|Rz8yuo7L^Ybtn}1vm3m5Q?|LSR>L)v zbH<1|z$^@l?G#?Ip%tzio8y+l<4I-nHJtvc?!o=3XM7gOAtZWgd(X4zP>7_@4iV`? zd@P({)VS*}+IPbPuRImT^mb3~4E1evbM^Zy!-Lxc%{vLQ@<&iv0FJ(r&QP6)LZ{14?< zYcnOle}xS_PYjNH78^YLLV`ROQZ8Cg*t`TA^LXBDk(tuwGl1riv`Ho!|MR8s%~QHk zGNso?PA?76uy`chV#HXa5*APixJWhpmtc47%t1}cAb zkxfs;AP|P{{S_SH01LxM%hl+bcru2Qt_Q5tHfp<}HU52RY1K9EiJ6y~cODpyUJysu z1z*n#SM2smAj_-)gIt5OLM4<;lqq{g4_FgwLE~E@0S_N>Bve)sAGqe9-PCsdoGa|J zJVoD+zMi_F&%&_YPi@G;)7y{&!1aIZ_e!>?^${pby#FD-4{=5IW1FR;KQ2m$ ziPvg#ji0%=d!c`=WBw1ur9xEOl7X?g2~K*hT=4}y&vF5>myyH) z6SD~he*Jm2NAqEHQ{CaX z*>W9st+AxzKp)1t(vpbyrmPzpjU7EJv+o~|j>AJe-qCbPkK6ipWCZN&_ulMlSoc^X ze;to+1|mE5K&P^}91Ts}<7e|oFAsI&7Tv-2fE&Hkw{6#(D%t#U{cTV(@Mp{NL=<%V z>$@74(=zr?+@uzNF)Xd(vaidr?ppdnPdMeBLH3`0oh=2+SeA$sm$8hk06M#kudc6t zyQ1}3#0s6HibXojlOk8q{&4lvFKJZ4$8Vz)_LWBumh=#DAShteMDMSDAXTnb5}O+q9Zd}GU4QYb}Rz3KYRR&wBswuS@KTD^iv3^*a|W-SFhX457E z;Y%q9krX0-^K$qX5_TuILS=@1Ut7)r0cy~ORQ{JB0V#D{wiWGxB!FDdGVP%4+Pxc2 zhcM+Hmvp52g`eB^3qSW8JCc93708w5XphmBr&*HcY%Mgq2ayAiw3Yclhmmq|7%5>m z`AHo(u1KU1o*>z5RbIsJnxT8^q?#>hWg<2A#P7d1SRylZCYx)2lw;YC_5Re9Jt;^6xfW+u?QBD2IUEQ!*Pr$d<6y?_ zAHP_CQ|Sid=Ft=J=};d=B|Yw23pNk!cEPu*hY_sh1l(8*W=6AUiI=ArU_==&CJmO& zQ1Uc%bg&zdd%6d5pQa+-q%XTP#FMdkq_>77j~nk++urpC#B7J8lV~d>OH`&q)(nB= zAKz`i{PG<|EHs}PN0y;#|L9BssE&O{9tCcHhLP)W1F+=-6NP8+47NBSgeFj!;+odx ziA?wgwxiPc%g(}LE?{&x)Z+mZBRB@*OF;n}E|Z)KAL8s0SbPG9?3+h)<4ZMYh$ZRd zAioFL=1IyYw?*&?#K0mEYO>_gQ52C*xW-d~^Fy%6LBtR{Tm(Mehav_L@H|?OmAyNE z#jZhMsp!Q*pZz&F_u?=z$?|;mcEN+^$zFG!KEMP3aEA2LU?CDWHhQ7&yQZlTF}8pl z;1;C^S0M;+h|D8N0O2q+EdcXrh+~P!m#`_NoRtr&pPJF>9+3f#4NZ&a>FFfV5AbkEAO1 zrz6N*6a^k(R$G)D&H@1&W;Ams18YzoU5_Dn1_@<<$feKnUJj=R{VA~K3|!`anbeap zU}=LKC7%H%Sq4!*|GzTYlFlSo`b+LlVbw(eJ9PJb!xX@h@8+^;z0Ct>oWxD|uk zOaBp-ouj=K|0-4}#uK!65ENr#3KlF7Pq$L#NV~-XO^7)M6)p#TZ~EGn(U67O>=UYT z_`8D{4oU8Fsi<_#rchZ7_R6QUW$USOfmL9#1d>gDvK(T%j_5Pz{(+J_i{- zpzX9)8_WueEL$ZFb}#0)6BH&PTZIfz&qe)@Uk4&2fDYEEAW5}c8Knci_G+19s{-;u z`SgTiY;`oleIU=tAQ38%G!y3u(;CQtF1t*M&vGWkUzajLDyhPX)i#Is2^tnKm&_ok zniF+fe1fnC-*WJ&GR*CNe48@WSXtrQ@04xBM_+_Crn)sWy>ku4m|AD=4|jFridCq;_f0oES?Luj zd$|+5b9CA_z-Dcbv4s3L&7WlqXvAlI`*!iFgX=mcQ#ToZ3u)uKYQA)WBX*}< zW46PxJLU3snMNcR?h<&NK-`DgT3APMxTX-*xbl^?R?Eto*=1nvdQ)JB+60qph)GjY zDZ$#Ie&&U;WhG$vZ&!)5U){q_d3rbT**^{}`dbH3{=@WX>v?S#%z}-44l%Xxm~uUJ zrTMB&3#OH=oX|FZ5BJkqvE@#4qdVt?i9*pZXPfAxQs&?oq2;oKiJ7$B_vYZ#hNzCK z987K^;>*KLm>fVnpNc)(HVcRg*w1zD)Db2hhmf7>;;bEi)tBvX6OOe|Ml2dMh>^B; ze%c!V=}gP`+tYxWW@%ia4%1?Bld;@Y0Xcg%MdVX^4#&vBZluKfBI+IDTz49eC-;3Y zV@R=}Cn3}_SpWO_Kgjlb3bpuCryUs8j`0`uh@!{7H!tFPq|IAHT+v%?!qa@PZCW>Z z=RgxPJBv84y#Onr^txmhuvM>$q(QoN(w9l2w#fMZ#y7$Hr(t z5jx4|Uh1^euib7b2k;NN9>eXRt1gb2p@ofRKf30Bsm5z9-)VMfetBDB_xowU_Myey z_|=ZIc2|t$agyY=Yn#UnB%X=SoNOiM(EN*rjNNvv?@{rPky`7)FycD+INq%YH-2W&Rxq0;jU$1%K0Srs`1qV z8+LJjt&}ZgZ|2RGHzT&rR}0ZkP*m=ewuN7hC-0q??(Bi&}XG~x0J*MybccxSbO-qDXr z$N}Kz?(T7QS3NcUG5e^ylQYq^0X>m$Aj)xnex7h-F5!58ME{9bX$F;61HJsSJief- zkIt|HVf;11V>{r5!=+Mkh|RNBra}wOF%??c3pf~HpghgkoUG5H=J}KY^L3X>rW4p- zB=zw4=qBum4ncV^Y_}E@&O!F;uQ!ofJ^j}06Q0&caIa0*-VSwT=#?}L0}He|{+`}{ zrh>!%qH!^#fD%2`YnYpz-`(yc1$tXbrPO`2e*fZK8?Hf1a41_qej{rWHIa@IKu>@iCj?;WBqCKKO z9D?m_c%|LF89cAbO`$+>@G}$g)dY*y*u;a$@azzYJui;ek;eG(NEa%>^}>!SECxxdK}H+=w9q*;Il28 zNb>j^au}B7Nj_g@Pu>As0^SkwP?6+wS-S90?Sl+1jsE1OrX4rEDXT|%u{qIBKw|{N z+Woti+7sKWIL+MxE?256_jT~h&7*S~0pO?4bA#R^G6~DwoXu6=GGDMMz{{M=D>34- zNE8$iU`0uuyL%G#A|6oJ{SQU@4Xv}6HO5E-HZn4kV16rqbK^D=e)q3X?MvvY5r()y z@6)7`NhMR8WE1bEDw90W5@oS0kq$}Onf>+Kjf0mVS@xvzBJlu$M)%h@Qj%qhbdeIt z;O`DD#`hmC(#0+Oe{+#OGw#dli?{EUTx29uOf9ZA3n>B)nVr@-SeAW4Ik=c zb$5xs+q|^QS-@nJFwGWAN=YWY6h1zb#pCZl55?88B(K))qONwI@X93Jwy4~*RbGXc zg}dnT-JSpN#;#f)I(PpYS`Z7%^ssDMwMAp!OuvDrB{CYX ztHa)ZEmkyb_^PY@+*?ms8`#&mUAPHa%Zk+VKsp}m^Lv8NdvL#fFVck@!BB`Wo(n>S z8_tNngzuS5u5mH0W%4ERoYQ1=2|st2;VSU{?Rz@L1Wd;SfQY;K-l6b1oG3-va+M{w zY0uj4S~nmAmZ9eenh_-S!=S2-z63oD!*f6gq?$pb>uVF2j|j)=r3+ zh|sM$5t@ZrP%=2U$lceGb%ANZ$ne4Du-m!)RBrus5m`hqqI9pdD*!^-cCGs^Ea|z_ z7JnRyYE`(0_NDUJv=18hU|%=>$-|{oNxm!BF&<@Fr7|@6wwlmm5p67@@wP|67j0zuEG3MYv*3!89fK>(0y^8<|EKF{lB&@ri=yrF zu83_Bd;ZwBFQUvU*F(}hq6Aj?!hD8=cw_Y zuI7eFkHsQLCInayO<2aeNR|K#)wI!7GGM$qANGnEBgQ^-vQz= z@Riw1#H+ZRh<8qX1+G6zy;S;a2FargD);+hUBagr^6(TKZi4~X3Lb_ibh<$X0M5+$ zJLEtpKMz>KK*VTG%4Y#ffC)x_U}0n(*TBs1vslN#vWYS4aO&Ra+q)K4Iovpx<3g0D zD;fYrmYoSTPE^(l)|z=(B?dLdh*2+apn&(m-`e;aChi==QVd?>s;C6u$Go0h{R(5G zSr5W9m|D?J&=i!c~oM`T0M?c56oKRSHt|^XxdzT}|M!n3~ z9QP&sI09rw%n;+eob=Mhu;8tBd3#JJA;qBV)sn>=1&Gwf#|I(1sG{*5ghoA$dF7ND zg2ISXz11Lk2XCX_*I+-Duk$_Jt>`Emnu7 z>~LUEc_Y9InYqf>K4FFIxA3r>MO6d85lEf&Q5Znm+il)%-Js2(valh2t_xN#dp;Kd z!=mJw1{(Ol)I^H}$9;S4LkqWd4tB0Qg3`7nBY*YbV)4;`4)6{HlIOyG0sEg? zpQ+qH)6_umkGQe=(6~?6MZ0Rs`#}G(WieAaW#O~}Wu|irnu0CBS%|jtjcz~8t6mzu z?-_Od!&g6CIr_j_e)4SDA=mI~n?DqRRrb#c!Pj|gAp;*i{vpeCwvj*{%{kimQhKx!6{Of1>3YfgXt&8g4l}!OGZ>x#p4U9;zU3qIiiZ3#0&&F zJu1J&;NCOb8mqy}c*V^d&-_7sKm~#Z!GItq2MfDR36>9kP~h!81%r}u;}qRwGk4t8 z9Tv`TCSU(J6l3#(;zvv3u1BQtWRGw-v>rZH-T8#;&sBj**LsGYex(tKM+}+GdD@tT zx{g+`SW3i@d_3o{(jmqhuY3~JE@efV>N2HcR>$V9I%0JA6QeW7g(Q4%U}beOrpeg( zrg&5<8B0umB-TT0ipI;Sb}P2^-b?X$^`B0A*}(7?yffCiJ}o>BYU#S!+y z#)~#HwgduJBHUU@BVA6?mfoY1hOm<}`pR6^N*d;WKOt!_p8S;o9_6lx3k$d{nV`og zZB3Ldz>Iv|(eNGcrsQ8y*TMu2OzDMGe_(mv$7KqnAl>(TaqZF5_Ush5a@vT=`)Po7$<7x32m`6C?_ zaFzOn9hH&#bL!iXxF8z0VpI2pcaai4Z?rs7R?M`A9uY=2n;2Ta83=k_8vwkbVRIMW zZRz##zmTp5($yP68)zzZsdP2vp%Y$DK-l^LxsiPT@2UE#_1t{ zCqe9vB8(+dnGeqpVX5!Py62;?&J7E?h*dEQRObb+4aGHwR^oUE8F%S47tw>M6$63fdHHo+eKWczJrYg zSncTMzJdKCcB!2&(h{JM2@8ddTS5E!3SN9Q_^I|tOWP0@`0_3Wg_NjNM7$ss&v`*X zGBd3<;5T`fJ0nz9tKGpKnOKJhZb%G~s6m3is5y}hO&I6%dWvsc$)-KNoTkKo45oOz zYiaR|`NpP*1)dW4IrJE;Jv2#4K)y@CO_KLs1g607%a*)A8|^U(BxjuM`PI-M!fJks zYec*&9AF8I&A@$EI^)Z{wdd0rnVZqYpzsn8B((0*;T%TXH|0KWK1EC!RgirTm6czM z##yWtma(FSK&8DQScbzLD_h@xTX`x&0WEhH!4lvfp?9Up-T{OsHzAA;yYS8Je>$&I zc5c|AE!sEE|J)opH$0ph!uOaFJL8ZFq79$+fjv0-U~B`^t%uUfn@M8&_C26%gi=Ma zp?Ce`5C8coUa?~Xlvic5I+R^3u%>{dKK>l2*woF8hH1%LLXOtc@V~o%<z>A$--2k5%z3 zOTLd3jUc*Ej73UWPm(7>wFdne24bk!MgR|nBpq6itH`1fvV{1Wf{liOsntYiZ^@}2 zA;;8@+rvst`|&Hb8lHY@9}{#G_u(M$wgCyYzMCeY*2A^3OQ`-@+X z7*Yrvr83cjJysjG_85v&Rre&XoB;E+%O+ix55iEe4_j^-`3&2CZs}D;O-n9vaN-a5 zzRLX6-BLM80?=A+%f8xzDR?_dJ5N=qN9V)%v(1DQa;Bk=crr=Yv!d{*hf*Viw;zP|Y5!hK1B^$=OZR}hdA z172{ozxeojx>&=1%kKd59D<-nJ9H14k{OiIZt?TQzx^3wHIX8g>ZP4Zg<$uH>4M~R z=(bKEHjc$ZIPc@0r_BM43PpzmC*n+qW-slE(9>O!q4pAY-Q0jj=5d&ua+DaX_UIaA zPd>)Q90TJhOqnK?f1mH*F_376Gp$_B|L4$QkT|DQPLIHUJcFGSbSo2o33gyAY~Y-- z$A3R|)bZYxJc%7eH29#GVn@6VJEJo@STtydlAY-j*fD6v-Kc3XAdZ+AQZhxSr&jW6 zb)=M!+*DDqDK9qZ#HJus2%UE2&NJww?qa>c6i~d?)i-|RJngk_w?%oo4F}ATA(dZZ>)CLh zx7{0e=@JJO-pRl&Un$`hm6K#>bSA_K+uyGbtB{TKIoVLqxNnNlDOnE?Eb#b_)=*dJ z5AqBFP2a2sGtu07d-2mZ^9DUah-N+Be=hRs3eT23h~$?L1i?yG5y%Xc=SgM(Y(NB9nixnOph(v0UA7yL`O46+$e_20!I8_cv-j zx>0Ikd4HpSL}Gt#3FTS0tbNQ|zxApv^0sKgk6pDc+j3Wh=iT41<*p9TUag9Kn^!Bi zR`^T1dw*MsEM^Tcndu(*8c(x3)c%Hb;pv1YB}g@j2rarh%c^^bduChbRg)tTcsGB+ z+mEC%5yh>rmPioBEd!wdO(RadKHUAScuEkVHKA60T6y$mJT%4H@7(VEXOp*ObN>|1 z{8*&qBYFYg0#C{K+)QOeNE4Hi);?(nH9a{Oause8Dw}Y%sLOoQBpxB)s}ScH8if6A zI8L@Ogo6z^3(1HTY$1q-ecdLz%{qVaASQ@n8t5AqHsvpYgH7?DLs6}Yn12z~I@*jf zqJ-{wSS1L9<7<&OO z!%s@IfJc!G4i~8io|P`%F1l}jyZG7>f^bPRFf&r8V*gldi#p$Y6fV1;Umxms_}79f z#WH_wf4JMgJ#N`s_s6G{*-L*k>fT-M-=?HW31t?D2eD>7?I~6=V4_%z)}^g&*6M^N znVqm{RRW*tw)i=1b(~0>CAcIrLA^5r9)!V7t9wU(jy&4>)i+2Em+Acys zZ0f?bo|cqwIQT(pd!G)>WS4J>8-EKzAzX*u0bFe#^hg{tb~K|~`m3!%yDfBgGjDJdx6C5Dy#LUIDW!73sr2f;A~CntbOL4Cgl&v0mi ztqMDe+@b&sfnR?D3Cs`*40=w?cMP@W4GJw$Ua{Vng&0~X!wKT;;E z;)|;yuL*l@(KA|z^KW@Zv^A&MWG*pv0pV;mW>Y{lklTov#ONMA|By&eGs1=p_`5&9 z;!68fK+TA~0+=Mwz^TeQHRW_-Zv8xwB-Cn}E>RP- zA|gwsmSpNE5Jq!J~X5!0pY&#C%X)RL}?8G-0wBd}j|x}$YJQjdTW zW7FW&d$eW=J?VJ+F}8MvfSzTOSxu2xwg+GNftr63`8gMA+Mp?!PFJ5}X7-Q&7-n8^ zhG*GimYGU27Z+Z?N7}K^JAKFeD13l;4l{klfcJceAJ`<}k7H4pQM~CE1V_8-*WZi! z?WVv`S}!rA7JRvD{m*wdS}yZVxdx+$%TLK_TIPyH!G2yP;z;;56d;E%lFRH|7zt=$ zdsKhH!~pMkccZi;%Kt1=k+Y-@y271xs)~>iIpl}k-pPKCCR${10TtKA1yp~nt&1Y{ zEKQ6Y$O(B%xaWR%sN7lXvfH{SeNn}2iFpuyx!d^rT(aZ}d_HZ;OUFCNFO(*nO)505 z$z^<#2|l(#*!X=!2mb8xsrBK8Emy8616P0VFlvAD-^;4;6|S;+@K@3~sH<3UJE=LF znVNH4zL$g!v9s%948-s2;$68rG>J!QI!5s;dvbaxV|0}I>=VEEu3X5}jO$}LZc9iO zs4MY~>tShrc*{Rig73P3X${H<*L}mQTzB;zOryH`*&SZ$8*5z~^aRrwr0Z&s)75`P zg1)r#S#oze1_o@eqPBuQCeqVvT>2)#Nwc^o2Prrh>^O`5c30hQ^UbEn@5;?QL}h{u z^^8|ZK9FoEnhtD`il1WxR$J8=Mev>xLgCNy-hVosl8SY$Q+E+-rbSrT2@t>M`@OS9 zG`MPw2A61q!pVfzaT|2L?+YQ%u-JdA@pMDjZ&1`zZB?LAg9eyb{p+GV)K!zH#|R0L ziy2D4?reu5U3xb|*NFf(q+Gs9wt>Ne>!G)Mb_OAmlb;ZH+PAxhI^RE*E6}5-&W;=` zI#dpw>qLP`Kz_mW3q z*&)AMABHmUdo&>7wgxk6{0$umWwk%FvsIT~L2dilC#g;$6Bz%oDYO#Vv)*R=bX>48-gYcWI?EfR)0{ z$9TibeP=M#SOZWU!qiI;ljz*v@d_`joo{Mwy2*y4CX<@XYH-1?IcVs~U2#x|uY?^R zG+(dNXY9sME<2%vAH96lM3Xvo(SUZmyj0T6iZP^pI#Kg62l_g?8-sreP_`+({6h!> zDTKBY49~mdUBr&Tir(IXwImArj3_!1b>QqvPsw|XX~CNF=9Io@2x7Uoh*@f0UF2DH zQOC>@31;;r>m*-{CQ{2Gcucc}!zy;fm3gGVo`G^{D>hVw&AM=>#Z4Ylkk5ZjDmCR{rmStNcUEG^Ozo;62pMY5B#T>sVz0cw*BG0pVn+bv+@!p1EEI^5pMjpOWDg zF1dosqs$Xo7@Qk+ixC`)uVfrC8Seemu&qjY>pw2(FtwX98!TQcq zluTd2&#**hgzL`)w-B>sz0jJ&U31tvnZcc%U&inE2QQi&V{jkA2KKnmP8`T+L6@&K z&F*D#tdbLD^;tqwS)&29=DiZ;bs(&)yy84yMq4(I`Q4^NK5Xg=HjQ2%@_M}~n#2sE z12A`vgNqJ=0@i==NuM)W*_<$?Bst8|d z|GC}O#Z1a-rAh>>Han{&IKMjXN=howDOLXNkWv@5!+(Fc5cC!?a?p6MJ{0l^*eX(= z6ZM&w2rb!=(^VLpaIL)I;%B;Uzzmp#oRpqm`BCW!x0op$m~r&=zJz1A<&f@ldsSc~ z?V;N&F}9=KOywCWk{kyxWPF^BknE zq7$@U595Et4nKrIFWv0?w^%pe!bmrSo)aI1~_F=&n!Zi!MoDW^(_Zj*OqHx?I%JDgZLoi01}H+Gng-xk|R&XDB(P=q4B{EsEr0@fg?nCQqZRLUSSQ=x3*AUuD7dKoHndE4S)n8VX?Dgn91iMItL z@NAf(7z8c`fg2}q%!X5`Hu`xrD%+eGu;UqoS!!P4#JT5(lg%sKsERU_81oG{zICXc z6hDK{4f}M3&VH5$Hty;gbm4`-eR)rT2~wPc6C~roiwVMRKvWQ&y}l7F;Ji`GugiLM zaAJRfA3m3dFRxuRi=~5;}obqyhz#GT))6M?b zseV0J*6g;BO<2fp&d;!p=Eik|Y<-EV4Kr7qghB_1M9Vnqc!f*sxTc9e!Ev{Fm^(M= z5iF}*bMUz)ut2q$8Bbv4O>?MyCByW}XqSHvIa4rIn+IA(xawQn}=`6cQ81iPTZ$?8{Td8Aa57XHF3oSzl)(!pI(uSgP(q42xY==8KpH zQ-KOoT^|@J{M?vppmU$Msljw`OgJo$ zeEzN8HcP-7$|2UCD6EKKEvc+D}$m+jHzU2TwgBca#B2FlfV15aLm5! z@;?3Y$xt_Ei3dqH6)}+|oAueLgaR#X27XK|HkPUAO{L@u*Few^SS9q_xNSZR4v&VU zCDjp&Q<)VfCS%dGexyF&(WJK5IHzl&Y#j8YpbUKPVEJE`2`MX*QFT>NbVal{p=Jox zrp%pMvEXdX+&L>A=YTvZZ}ESj;+|53nsrRkJeTSOIl|e?MQp+j!ZA^?c2QST7!h^i zb;WqZhEwa_{fgeI`o9OC!KszpJ%t(|%Ql8AePvb>`G&GVO&#o&u ziG&(Jqx<{18vya*W`P%fdWQY)>&s`~z2Rh0ph8l)xV&BnzED&lqTp@4c%S{XYVS7H zGM5F(_GN$To<1%m&&o}`uKRx_quImqm&?C=_lAgQAVM_KTEjGUoaQf!TeNr!Sinve{6(_S7h*P8DAhb2eI&{55+SM|L*UG(=<_Ck>gs{MM ztsc?v$L`v-tgC&{XsUmU5(0iRkJR&1tuG`(#j}x0U=b9m<$RY>vLU;#U?CR!X zx82tLwrYCUO~+)MD@2SA zP>CdLq7Y_-v-{mLXN=j^nkSyE{F;{}YnD`Hy%X5_pkto^)Qd)?ac~25 z83YqRmh^b}`%Hg)N^HbHshkqT$rN9(#8C_q!2tF@dRNhj4J8$m=pIcdr(P#uP0KZQ z!YAN-!p@7FLdm)Elc0!oVd9cxlO@P$@FJL<#7U%6Q{9g^k>}tVVa|94Q3+gBQ+RPNXkcRFo|eXfKjE>1sF%8hn~Ftl5?-9 zsktfeF^>dq64M!lhWwDKTmUJ>5OlgGp^yey`Gxs)9^wl*slJYdkikH2e}0qD2ns1~ zk;_D^w^4sVp#uB(Q6`uURSKadc;H!{!iLSP@TsS}^9z(wUm*Qhth`JW5CRooBd`M3 z^O8ohSxKYDvWL-RRl|PWqQ;m;o~R_8`GBT?J#WBwdte{Us%GuzTORt`-6Pa3AQ*nT z+$ATuD?W?6kL;bqS=^;(bGJ+fc&!rpINV6?eYk(WOF&B@O^Z3)CwzwOj9u+ev3)H% zm+N)=O%Pfd*)*YN+==!mI2jqph^;RtpoAQ(r6ph}Restv`L^6_s`9GdJVHB27yLJ) z9r@LGC(h-a_*ywLwbKW817dQh_X=^mVvT;trecDOt5f z1h&6Wo+8G=k)%J4w0q3+H=Kk*jFjrL6R3EcPh>oM{pM2We@&_LQ|M}&%4*;>&YqT1 z@))JQ-qE!>b#zU>aEViTFvPV^@A5dd2;!1jS}=(bCMJm$W+!Ha`7$SjitPJlWln#y zNw%(=8+cG6d$lyL>lX4`)jfA@Z`=CgQqrvKE7x#mgsO+|zp-9;F73w9bTZu99a{Ic zhMpwrR&BlS>s`|&+=dN>A(MI2T;A55BVAXmOdt2MuFN3*R>TY3?hGmK6CNQ17Cl~} z{bN;jx2aN`z^-HPTxG2SBd)^)`@?_Lre3+{GB%F+&lpEYZyad2Gj{;qIPkg(#xZ>x zU#5a@qWle^Td^T*zBP++h8xy<)MyHl^cZ!JJ6q*kn(9A?ahdkv^OYGjR=prbQynyg zSLZs7N0p&*RT{&qV!VhlFOi9SpR#lRlIF!<}RhgDYPHbECoIRwSQ&admJbbMBLvU`u(Br+^t*L zdcKvLdt(iYi3k5@Yb;@g0w+OpZ|%>#F-%CYe)ccs*3|q$xnzX`B)Wg3!p=P)zA2lV zLwQpL)tj#FdgtC@P;T+;ma^MyT$~zYMtlrSdv`ksCa~N4Iz*rl3t>$kFya5suiL6Z zW5Bn_q&|!?2>;YqKpYVt>@SxE7^ZBxJ(#XB5xn=2Iz+d5_&*Y)VdEJ_2V-=>4Z$BX z)H7Rgxm!?Y3m(u3O_6`=rXC8gn}%~u>}A3^_!MNoalqc(R5_&tEJf!QqbDskPl!K4 z6#aj-7W3A+*fj>4Yi}uc!SgA+sD+oU2F`-mt3*052Rq}f%4(e0aNSN!r3zswb)Tf| zP2SkwP`7iv!hU{wAuf>`ui}m!z3R!vCY-WPYf}uBauM%q#+rX%_UVrz!wSPt(}LO5 zb^g?e50y*$lMW`-B9cRi86_%|Jbk!))(R&Jti54N_cH{1D)kWXAza%iZ`w@EUm5^~ z1{d~G(n_%Dm0!zDko#zCrBU%mzH>4PUK~K*_M@%)pnfIA^b;b;>Jni-D)NEttAi2$-IA~(d0LGp8*c~;F7XJQ{ahN>-@Dzn-*V7nfL|11GX8s?*@4>bsZPw5E@}GX+EY=;o414WWK+A z_8-_cqW6>Wr6vS2GdMDnAOt3H;*ZCh*M)<$v;o55dx23 zloOidG(#j;Nx44x{1qoFxcO~@5mPd`H$&G6V~FPx4sVlBCx4IGzzShX-@pcW%mxh4 z5fSpx2Iq*V7nm@f%*4o(6f?v`2A&j%Nn$-&Xg9(@cm<+4&GkTzaw(G~K^bxW-rd+? zLh6^xkFqVYMWmjjI`5g12++?Vu>!?P^nQ7fZOmsyA0UI6U26 zy0DMmtrVmOJQzegNDRnlOiX5QCG0pbei+=|Bd>{W=vMj`MqU#e@C zR_o2GE{o2k7)!hBy0yu6r{7mKZN1&tTabNjNM#S2LZ|QjVw|qBPuJmrA~ItNm4azM zo1e>~y^hS85u|W`-e>pz;sDKiHi&Pv0#6LA3gadrE zPHK0iM60sCe9-GYEKdocq1>C9!|nVyZcD^q{Ad)K&89gw5G+xSiE~5t%Dg;u$pMNz z-$6$Kj0XUA*xQ)UPU^?KJBGshc9i>-jp}CGtc%;jyk3xhbUgl{U3_967p=Ayq>6ul0GS~ z3uCY-yQ-O#KT;;T2w)#0pm5;B=_Lp}2G@bdq^qMJ3UJOwyNvVn-uOv}xPWM1m`QK< z?oxLR*L;ptou0IpHR$<&3ABfeM?LPdJE z-GE2=s@g0VNxRx4WiFs4Fq&!rgmG!x+KZp6vZ=Z@QWjvJasWWyHxv%W%fUEI(i+#- z9kSY!))?&{XdxxsohTV05&#O*V{jMJ)OLoZ3dYBHrxWV%jTA$d&-@G97<@=*jxPca z6r)>zNHO_5IDg{$YUkL({(Sn&`y~~bcl~;&gJKd(U%1>uVfJT`p}Tz-n=S!*s9Dfk z_(vcCWM(vOnDH#gF1eHlLx7ex-|d4IFQv!J2>abN_1!{%>8=VPR5DLpF1O9XLAa~Q z`x+`V>oVAXR4aR>_9Lruc}9=pv^G2$-*NM0Ax4oc>hka@ITw7WdKg8(rRgyNuSdvvWQs zW73i_KBFDR9V=G+BU~wkjIUW$&FO@a#aKn)nT(jN0$^!> zh?1=5u{TkC11)Bl{=01)+bMXyiTF+dKo6&&2-WKW7y~bR-8RAT@Ele6 zPw>lI*f_dN@D}l5Fi~!74FP%;AcMNhfgfI@Pd4 z^+cs_+JENTKOfpZPoFCJff%Y;srz51_@f964=5E={B!C)2RvZ^`Av>FOp~u*;V%%! z7zr5ge{uXjB943FEP8QVZ`vm?WGxw*V$-hc&UC|-XS4co3tNrDxwhLjm1FpS9t?XB zytuVtG77@rk<}7~XTSBP2gnBA1G2+w3Xm#mN0qznRb^8|pACw|;{+XJVn&h7h_5S~ zOqRW`VKr+<-XjH>D@1r-*X24^Xdp(0AtqNqtqJ|PF1I@2e&|ggS$Jy-GUR`CAbB5J@~;14*P!pZ)KdD#l}5;F6H9fFlEU@}1?XEF;G@k@I^Ju|5I(K3OLIrI_B#Pw52Y7e^dU0+`~ z8i$BIV&DJ<6?O!-hG%y$n=t?G)#vg&&KD$}Fir>`&MB=r87=>JAV&TwTL{lsv^69G z+UJ?dz_kDk@Fv5QAw>k;SQT%M861CvQBI<7W4i#UvRzs76FOB1Zlf<{B4UwF!fy=M zoS`+_x}>nEUKm}=rH=Z-gZ!ivHf_@kykvdBKzy96-?Oq}6TcPmR2a?!(<` z?Wwcc+l{()n_`cS!nIGJzVdiGPPB6imx25H3g4w4V)b1C9WKeT|Bys+T;D8|YFBWm zP!1PrD*otT_=ho}Yf>B~m0X#GdKpN9^Q(^Fcm*&hRzY&@(*-|zm0Sm~I5NiwdOOY0 zpM>UyrrvuYBmULIp1gv>CY91qHAvVA&-Lm)cfLyXqDb&7w20uYy19B~M8`|nj$_C? zL1FTF0%)oJRYgyDDODin;c#uI_fu4s25J?S>^Ik>y{_)Kixrn8<|-zd;EHMLqdcnr zp8-4lX9o~_a&2cY<6{4Zhu z8tns-p9CjV0`>$vU!~fgp#rDT7X-4QdhT{GmONqJ%}#to1X2ZS>0r17`2P1-OCfc$ z6{mN$-W)t!7saj%9jDe<=ElG(6g!$;EidT$llW`NrEQM2<9Pin3~7HEyogAwamOL& z*Q8yT?ZYNC z{Jf0nIVl|cP9`4%SGRYszFdK}P2Rydlex3>C%N(z!QHQcMlMGBEYdF-oCYq8ZL|Ew zP(rUhC%{U9fO=%6VYrOeu+nwVYvY0v$gUEH;5f#Z+M#InTJogk+{BZ;|Rc6VFN==xPNS>3(8*j`H3Y5Pbz z>ay5{$IdCdm5JjFt0u-X#FFr#<-?Lt$I@*U(FxxW3`oDbFJPitaBr@H-)wMkp&g!_ zaXBu9>w7pBX=)=K6a`70ixCSJu3xz6UWWKXQtE)b2X0$#%y5fb^+~>q2tV4DUBTe- zGMsf(Ih}Omcz8j&LwL@NPX5&U_bnGwk{DbOzc%Eo4dfAwQxoxqn*`Gc`5sjnfZh zA8wc@4#KCBe>`iw5z?*|<5PN1H91FXfgj_IoM?u1eFfN8?1$ww8Kd*&O+S;`DQPp(5_#Y6;VO0KcyDq1_#$A9Lnt@mnq?s487UGzoZJ z`$5+S3%hm}C$5-KIQnZ(Y#KZkbM+hV^smXKCP6!j!}=BHQt14RZwV3<T+%^U z-o&4qhGhp6FGKDPR1rVc<;e7qfG!@DR1+51dswaku%Pu^1e?K->dO@q50P&Y;YJ2J zzlEOhW;h}KX5Js{8EUVkaSTvQQB%_dcGC<{QlwThtPSTKDZrvz>%WJfqWZ(r&I=c+ zFbeHCOYMPxQ}DtbT)f?M^rHLzd!Ov5OM$ZMFD3Ois{0%hvBGm=!bKVsTWuLyBfZZwWHuC zf8iaMu%59cQ&w%!#*q1ufO2@m1b8KCmn!pViMTngUE_41YOpR)G+?giB_&tLXn4NM=u23 zJ8s8rM_UwlMMOxwxs&50GFH5+pko*Ti?oywIMv&o?9_w5UVjvr5s-?@duat6_UUdP z00lA<_;z%FfBbzM$X{kHp0)dfQ%ti`_d}@^jnv)K3WEGe&+?S9VMW~w=#7Tm(m$MN z3SGt8|E1`%daj|CdLXg0-PoN>n3&ZCWWth$nRzO(w{NfBqE%ZdT@4}0frNVi1(<`T zrIg%t9KkqyK5S}Avk$wrwMm(=xZy(tNFXt!c(MB|izpF|q<)onlT%h^#Dx80`SEFG z32Im+3HKwkb=e#(l>4MLLtn$yB`|GT%4=wSM{OTub}Uvaie8!RF#U(GNi9;g>fe(B z#EYA4&&H~MIlV0=oKWg7AX&Px*K)@;IY##L0rRV*j!S}Ww|89i=+3Syau1_0sx|cd z;QS5SKX=ME4|QZ`e}9*K{Uh7ZueZ||_%Mm=AAuBX1&mp(+d~BfpI%OG*NFPB);mS@ z0&vf3&HTQ0;*DKdZW-iY-!zK5->=KlR+7gr{s}*M`;eY9o6cpV07=h8g{)dJj8k$e z*ZywFSeoSkWL%mKkB@#1dNudrxx@IHc8dw%fB)HG{RNxzEq zZ~7Cj;y!@ux4p%>FDOYnQ7aP}Y~@{XT@00<#!rI!8b50@Eu3kC@@beSu4#(hVS5Q^pi1t0AM(K4MsFO9t9Ym@7u$avzP) ztx0)eK*w?)GKY&Q4k){eDp~ZzE1)sTj~}-Q&4(#8`#T>Of^b-^GfaIXIf~g0IDA|b zE-Q_=zC+HeD*h%RIKG4O{DM?jf?yO7Z}1(~H&jNhS zwC2pjBPRM!Ag<@;jn(*ra3X;Bksi%8VZEZcYXgDGg>$@viupi5rX%u@cNFerhA_0c zs(mt9&Qpj!?Om?@@3{Q)q(N4$eQ#t3J4i{E+G<$tIzp{VBHkz5-_c3GBx1TGMB40m z^x-!W)Gm+28?zi!DqbWTXKN2ncN+_*|8M7F`3))cu?-uR&=p{K|SAbc91xWp*@lt<}C$MEYq5>u?FN~-R}`?4x%(^=L`I*;+>JU;`^8b zKP@PF%iPlrge{^)R6w#Asr*#YVsFub0`sH+G1L?%hF*rYslQqOFiRyKM0q6idkZD( zcK!N^(>l7pLG5di!x`ht+Mm?ibNTAzLonJofTm;Cq7zypx~-R}^9KC9so`;C@e8FJ z;Djn_y0Ax2q@v*OBy7gUv5MKP&SPb()uxoS$HX9Pge};n-v=qg5LlH&h1k#zjjZjC zxSSzPVMNqg*ZGR7qxEz7TzNUYm5}j5ZMppHrCKBK^*1Mxm+-6Z z!@FVVttgPNHt`47()Ya$MWS<#F_$SfD~=g{PRJiZb_+ac#0u@IIHi{;Mdn*dgRq?aSI@x;6~UT0&{zvZ^-nkzySkL047awp&iT8{UM?|jcK zG=%qs+(gno(2E2UvNiovo#stOQvjBsLzwnqJB~)C_MPD(kyObRRLR73P96>^d$${t zJb`V_$sy|dNyckrS5)JjQwZ6V+z+KglaqhjTx0bvKLeo^vT~tOXEKCoid0d`i(x5j zSB(;STPXCP$0(yLGN|Am-OJ^fe(wb?Df$F5Sfet_fMT`H*&6W>{FYCAr~h(~5Tx7j zOu{>QSN~L8*U|ETJdn#|E^ z*9%fkv`T$O?N*T7Yxrm`tsQlu9UuEF+K;z?P&_YtR>LW1F z<_C!8#4O%7qP4slVi%JYWM^6UE!Z=p*Wa0+yHOz5QFmRM42ZQ{u3Lj_2B6?UEV3tD zKf7Edcwbw)|I4aLjZf!iz^aoXnM18K36;`WPA+XasHd8d+ZbXFGOzZ7JW=EljVAg> z)o38R93Evfim#FxZ&law=24xy%)R6bV}K&Q=h*f8-=GXIP!M=B(w-7ffXONF>gGzt zuW}~7qB1as!cNpUs-S%(Lc5M~NBwhWg|dx$xUr7t0=O#|=f5iYm&TOlzAGvq{C*mH zE^d9>Cu8fu?356^B-NZ?oe*#cd;K1m=(B8J<>sjCX3p5cAv^34lTS|3-_BY`u>dk5 zLxU}F%e5Y_cTYafvK21f=bxbot*WevyyWkM6fR!~jUzD5#x6g6Ss{heul=_2CVn$u zvABNuKAk|mMNZk#FCYTqn(*FPtYvJBEoxzC>rZpSa4`vu1FFuIi2AeS?^H{PCzK0d z^NGpSc_aq}*!P`Y>RqX2NHCv%;)94I^T`xpzl(ta|4Kw%+1>%#$1xL}?H)aZ3=yTd zFcDp0?gV!chZjsg;L6$hkibSSY(gGWJ5!KujwfcRX>ds1lJR^tG#~r-eVtcqaj)nL z%kLqAMDcXJk!fxxc>6&5rr=It6cs*p4Z2%ktDE|zZfjQOHX2So1M10X7yVkxL!GBvAcE&O5dwr3C9Re!K~|& zbkN@%5QcLA1$)z(>`^8$OYRkk3{r1n6COVl%`rx>Tm`%DvX4n_n8%VMK?*s<`wC4k zJc~+@0In{uQ+VbMd$1vvu-F2@s9mc0}mOwprQu;rgBgBS1S)jLbiglrn@qcq8kE7@}8xW2aQCccrOx$R#LcE0HplP_RZB%aQWJ z8vDwKWL~BopnD#lA{E|Z zRI3?3arQS=F_+RDa`WOKzKHL|>qE46CHEj(I%dHajd1G+c)f!0em)BJ$$51D_rDgNX8XgyfCup7S?;NS;MV~k|EPD5z~v8tS1~s( z0+5(Uok-ga$<+chQb#Z{@}}&is-eLq7AD&H zU4y>eOG5ZiG8#V6O}`U`>`5BpR3URvcxk>{29#7PVDk=i*J^y26l|&_NDoW#2nR+l z4E-M|G`vI9ym*WKuC_F+uU{El@&8gy3sG25Z#thAVs+6O-;rR9$Id?xT<-NeS?LXl@X3e-cW(&mq4 zXxpko(qYDN@^pga?w^U&L`ed>3hQ8zi512(1_vtXG-LJ%?#U$PQ^qV&JP>6y&tdVZ z3}P<%zOyUFI6?{nplFC(;&1@Aor^iS&~+AIsu;S@AE^kDSPO_;0@%Q12MbJxG|8G_ zNgJmy7KzNu(_}&|Csb*-oNB}DT#Py%j-aE^BJ9#c;{Je*v5U`e}^5RLABCVdQ@mQuEBF2y; zb>}t~hp+}6SnG(=0yMQG=KwoXL<;VADY{_@#TA4=_g;P6jQjYq)D@m{(tU~Aj7(dpa{M>wm?Dl=3XLnoC8TsuT=AnlEw+389jw5mg47|D~tg6G*|sJ7ZFj#gN|=6h}E_bik2=)IQVwA(!bh zbIwLhD%z|Br4+XuD4ZQAtCiOrNx1uF@I~xdByn^7PY%v#_&#NUg*FhQrU|PUfat`Ypur2jN^BlxE7l z|7H|sZFK@RkYEtQ=1(uPU&}}^ctV(9>KDCc!y?)~N9}4LFkOvM6M&NZ*4bP+xHR%@gb9J{y)cOW9>pU zV`zn5;6RWd`Dpv3h%b7Dzn~=0*3zl?#sMI6>`h(J0{vKuIs0N+F*5I_knkrdVq@2aHII9NX@2QIEBSARQ} zFK*b{-jrHk2&SFPgiSF~`6ninT$#FeD0fw5HufpD{*dU+vRHTYM4AXi-iDkvR4u=U znF%7Ev7hi{fhB1!=%)(+N;5w(5SWFlcU`nECnt)986-7I(7%T5v+#C~Rbg$fPoLE#cRH~T@ zF43ES#<=_*O#gwyg_J1c9bfjnq%49PwNs4O9pf;UcSF~0IBbSQGgIP0EU zBE(OaZm2_ami;CI9jGJv{Yj?qN!jEbJipZ+>skxi7$*Pl=z-WgZObiFvBpx@>~wHy%&Ss zyrzwoMpwe`uU@Jj@gg%gSEUV3(TWU%BF`>K_OSk%hen@)^$s>?O=WBKE+uU|#LYnZ z@BX)5R%=M=JrJ1{e2O|PM8XQ;d=QT1MB;Bx)%zgLWQXI#3Zm)n>lT{hETm|vCC=1` zUwv`pI_n7nWqMl5JUELSN-61};Y9sX+(gI{l|2?5GI*vpSCtkxY8-p@1urNg9MmWM zR0Kgo4k%)%bBo%g9;ruy@rAroeb51DobgV6H#{U`umHi362Bku<6yzeZV>4#hJ?@! z1_IU%ew>mEWk8z5gC6OfzSSvyLxuF*O`E8Ht{h9@YgX6Z4PG0pU@sV+pj~8IjfRw^ z_a2a6uM4fh8tje;J+0>rWi!YEJrTbhTCHnxB%Rqo0fV8V#60D2xO}O-@6;@fbXv~eDywbK1>4HKxv%7wGb(?jijCXnFDW;lXEPfiopo{6UBGGENR0!u6qY zUzLID#43jO%(SYrN$?Gw+P*e|Lk-N?gj#(%NXqQ%htmQr6ebSxeV|%0>(h#sftW>m49Abj?9si;L)pylXcx%zbXXu)*1C60ChWYNjeVj5 zBBFjjJKD>{@#85+3w{v2rT@|veROY(l`)>2U|qZJNDeR*g^_xNR)$~*bnB61J{G<4 z5Nxv@3_OF#meNq{tD6yJV*PnKvzsTE9!AXF4Rrb5j%T|Dbefi|f4vePT|K&GgSO+# zmqs#~&eTDBqWAGNz=QfoWfw;Xou0f!Vo9FQZ$sd}9~E|VWINV%-W{a$+`dm%UL@1M zNQdi4hj||Q|D6qxp7c|Uk(CAfx%`bo8GGf(lwAYb%;vleqkmPBgj~rKMQ@L(bPET* z+@3bW)#JboBW&`aQ%V{~^)-xclt6mtCxKCrSXIe{%&{B4ukw4&{P6zbp=?Cz&WOkVn%M^RM#)3L)`7|{|43m_1Ze6 zi~olZUd9f~c|u0K4nnh?9;NwJhTqgEQ@I^aa>ChT5Ek%qdi`u_`;py3TJ9vjY*xZ3 zCZ3;7*Ww)gz5~DU83zq)eF9#I&4jNK8;A+lWbY{%fTz1$%k&)Iy$GUzg=obnZJ4>#YteB9JKN9ku2>6c+_g9 z=;i^phNMfHD8dJL4Ufr*RRpnBZA}$mD7(y&AS=f|i=wO)^p;#%a1(UQMcLUj`42do zy4SXiU8A5muC%#jEdF>m-)?xsegU!_<#SOh2v}FLuXo4CC4rNM-=1q8>R8h@@zS(p zX$SzdPjK|VvN{qO{P8Iez3dH4);D5Pz87`Cl08J5E9X@-E>?}@_slWqUa4Sv+dXaNZ{&-J35oDOJAhu^{rFET z02Y5Xnh9M>#+4s(&kUOqMq3^8lCtWGdWk38{nxg1ovEl=KhNiLQek%OZcFIiQ|XCn zIo^j>NPjBx|M9X!$67&8;_JECObY9q0$Njv=3j_`nqC*iuU{s&U{mT+HH3@f7l*Qk zhIvcP=tfmJ6QjjxnV5v?Z$NH2jyuKlJ(Fk9IX8z#{+=A&&v3D5eSx*tG-6AoPt#H1 z3jwB%4W3HQRoE0$TRH|VhBlKM78Zk>3=bE+-WF025qf~+tB&qd$$)!QA1}jazfmC= zzd&Z7i|D%;vdNgAHG=o0d5G3x1a)!++pkJ0e*Y8~i_*x%8FT!0T2M-p>RR3PYWrMy zjy8_q(c0pmaP2rggVsSVyTBeSW|yvXdLpQQ$X!-eHD{C0*Iba@wq8}WOH@vkZX!Gt z2!&jc6NirdW6A9Y#^O};>*%c(T^GbU-M89EIuo4!yas)&)8~_b^`R^vn{T~5dgr;` zm9O41J&3a!#xx%$4{ArYvDhL`_^KX`2e#P5fd(`(Py$q$V32^~&%IH+$RRN&#~pS$ zF3)yl1v0yLw{1fb40n1%wQg)}uh9Hee}8DLXO0!QIc`(pN!}55jQy(`AlV7&ynXQU zfURqv7F5d1D^p#2Bk`#Ym?Y`N^obDd5C~wp44+9kwi|CQ(z?48-zcsi4erEgW4Eh{ zZC=bq^-{Fn4VNQ#v563qGJlsH{*UC`i7UdTl)s(Zt>f^>?B&PcPrE^IgHdUe&ONJX zmuZoS5m}#lS#tRaHFszB@IQsy%(ziF6$DOR_Wu?SPv+hz9M1nawSA1j$-!!}vrF{tJnhN3`MJse$81IO zw@WQmgZR(Q&YfujaU;w3s+b^zZT0h>ZE?d=obDYQZ0r$!B9dHdb2m3iR7+xc6jT#) zZdyXDR7J^skhnfUR2?nqi>O+rTJQ1Sg}dI`?6toBsZjhW&J1lDS`0)4Jtm4xphC@g zy8ty5^UJWntlAU8QFrTiO*!3EY(0>i!McBejvC>(;Y@rZp?=~RLS)StA*#XlKoiKb zU+OlfX59Fr?5L>}b@|zN=xf-@b$4)mq!%~^{=!uC$ zYWb1(S-K;Q{pT|A)rFT`Pt=1o)*1ql%kqI8KaeuVqMnW?lXiVmxwU`$a~b4YTMGEs z_z&!4%>=w`jDT1ZU3ip443&lg=^n>WIi7OdB{xWqc^F(uCV>e>ZtOJT2Tkzq{L@*&=as^KfzqAkomssL3MzFCxsTZ2$lO delta 27399 zcmV)2K+L~~oEyxY8;~WJ(Xat2kxmhRiN_?H?F$8h#^|Bj9%PA5gmomBlD7!ZAKw{L z@+;bPvPt*R)y1;M74M$i!dnv!yF!VLG7pv#)>zCr?hQQNnH#_yy&@zzuR<_?&%eJmf2|Fy z*n+74I!TV<-M8lBk9GWE$&#*# zpvy6Byn`>AySu8p>#J9b=O;d;$sJPU9?-YVq1Fbs~$v55sUZipz%No_g;x4F= z9ll(7Fnk`h{=+Xhi~v}t6YvX|@-axIJyNq<;}JPu`n!37kiEqua_??)Ot3_z)A{R@ zoDI~T^niV!Oh#IN%6;BIc;4U&DTro`%t?loPbb9Yb-QpK3Pt|x25(-Owy@P|xQ24h z7*Qk4!m!v*;T0QN;mWZ&ZaF-jRJK^d>96V@+@E^JXMr3-l1**zX%>xzNcQ9qkv>E& z>!N31OwUwdKPTO0>}SKm|r(cR}x_u@((L}0lW zWlZr@_?>?s%7*eJH(};GIK=TPw|m{>YCT^L#L5}U2P439Oie}S84-2ZEaZmNdOsTD zG)XG;bijHBF8V_kMR}Cl+UAJd%MoO{CeJ?`jxoXnK-mx`zvljDkDf~}d?$q33;u`l zn`L@Rfd2|i8#)e-d=eWx{6c~}7g8=+HevI^d9y`kN}De?ZIX$`{~~Gp3=m}TW4cl@ zrPn7;uMupv7%>*9gauRrE>aEuCD9!$-^2=$d#krYBtwY^9c{?S|I)_oby(*X)Uzmzj4S7>-^MN4EuE z&#SuF?Ug{5Spx>uEz$~=P%=@b>;*kxO{fKp?}-FFe8!PbSxJ20ntz3<3;moc?6N#X z*N?85!q8`7SnsFKXW{rhqyTU;fBU_WE$Uq8lcyjQl(Yg1PM+(#gh-)cQbT4jnWZMy z;NMB(QmQO4tz>FhN>>BA$!9)g_PGuRE~JmXZ~XeMHVz;Eh#!4ik=@v3>Eup};$z~q z+9Y0aiMPsg9(=nExkS3O{%mBo7y8dS=Ko+^Dnzv{85oASF1`Uj15a|Zmr-T{ z6SE2ieap_a_m*AQnlU(kc1>e zAV344waTy0*K>dXIii-1oJwu201TQvGktvB(~Wq+7cu@l;J>~5{wiMF;rf@W_{_Vn zZmz!kn(IZ*@R5{;lf_-s$Yo_*qQfTxvntp zt|I({|;CU4Oj!E+`rNS@Mj@ z+;0EozM|<;6@U3FEi#o6rq)r>RmD)XjeTRU*yVjm?7#dvnF^NkgvpquF^r7>TCZbfT=Bg=S0UM_XC+@mh^{v^?rrK|<=szSM-{3A&(P}?fGG|_1b1Leq=B_U7J+Xy7 zZ_BQz?Z|^My(jyy@5>FXmrO#k6uz9NCR?MMvN3vvN%S-z&0-CO zy&O#28h?nGNaj_I}!m^Cdg=W?uGXP1mDL>iG zC^gxPQn(%cqzY_TG9{%aVAo5X<Ya17uH6_Dzp#IRHBb$bK|$NE4rat@9Uzo3Q{0X<&jl8+mK0y4PkNJ zet+#S4kKp$^v0M<+m~*fJdv&r^>J6&%R^(p=CN5$_-?9xfVJ$wjYlvuJ4%*#x_b#D zN<=#IM=s0@U8d%IE?zY=%*g`Qv?=b$4ctKJ|_;5jZ_Yeviuzz%{ zWH2*g|f(vCjqo4F|aRWVMR%L>zoxioi4(Qj90p}<@#1a+3jwSPW5?TZTRGf{T|L&)60_zYIwZ|PBi{Umdg87z=a9=ln@7lCyPpt%?&yxv-x ze5xp9C43a$9|Ir{1;k?lL9Q@5!Qk{hb)!@QP-a-~q7a|O7|lnWt^-^&6FHwS;lV(a z^5g)HA1E`a;*=wwru^5}a26*V0sW|(+d4L>eEuEe4kjR1rq;xrt(<2?+i={}hw1$nT z^f{f(uyL*vkBxJAk8Aud{sczG1SW(;M z_ceIDj4T)PxByuor`UtV^T?917-{GXS$w`Vcim~e^}m3Y>_TWs&6(aJi;HK;Szr-V zgyOTK%QL`2=_n}AXn%=h&d(tNFhe50{C!zGYi~T~Oi2A3c${VqLQ<&(yg1I9z9h=i^yNm-6;R+AC?q~M}N`Qc1P z_Oh^F&Zb`8F)|70te`GB^amox1n-yjL_IYI-VIEha~lMW|9tm&E@fd zP=h?z{$Nc3fPXof{vnWQBnU7$ktQdp%lxck0?|ns=;*Ys#bt;6C4e)m*pww=jGk*M z+yyE%G0R38Q*?!}dtYkz#UYHXe0wfVO*IBjzuKA$Ui#u|U2g75JLD_OGYN2*woLeo zr7)TDmrG%>xU9O@2djHA8O4Ok6sxfQf0tBpI^En@qkoEpp4X@z@2lFCq&8K*uG>Cb z-b`csCi#3Pc;lLub=^|s?2($3LB>eVc$}SOjQA=J`u1(oS?AJq48|@h6_88cO>*`? zTWt5Mx?J|tu8gZZsd!=KA`Gr^nKH>UlMi|f6igGS3GEBYsh$>;xtRrHH`h5eX3Jo< zhLChfXn$brh{uS$3_*cF{Ff`H%v*OcL!RCZeEIE`FaFd5%YPhSEj_R0gjukEEwD?t z!=bu;>VtxtYTMKYP0wsS?v*;tc5HC_Jh4!LgF2u3s8SjHA~apXxIB#p27tr4ix zEZeesATuQ%&&>#@5b@XvfhQYkQ|aCf_hDQ=lz)Ub0hT!=nj8w#WMO8@t!3R0Z5I+B zVoRFpv*OFby@yPjl-(OTb&CSx0(+rO8ll$3sm`7HGPEn04qegox8YE$=xjI2-WRMl z`*jJ7PEr+px9>^QJdO&|VVqAI_|sM8ROK22^1eAnW8z>IQqX4-wq-_R?S9zp-TS^A zLVt>do}`?fiQ|9V{FB)JU?VO4)M*EIm1F!>HIV43-7E5ll5twRF~k|Y(I&3tC)1sD zgZBY-H+pps$Xqc=0=%L=bVbfuz8`sB3qIIz=R#lC)xTr)g39fi* zqgP6hWS^_S1j#J=#^R@eG7D%OVXMF%2!B%R%6`~!G?kao8^`V1f)m~Pd}J2nbR;_@DhK$7{VIf(L#{g6W3@DT zBfR!^_k|@Ewza0rn#?yBaP_JfjDg`T8SKioFfFzD90E6ubGEW~c8oFiHG-7xYXl5A zpQIKoJsM!6=B1Icq3p`TVvE~>I>xh!>`zEkZkMKWT@8Ehou}^Xf#fq##_4VH4MqrP zGy%|Q=d-Hg5}ZF9}srvwulX)k|7r zV*)JZr6?7TSbvhz&%>i4S zft;b}&*Fj1^FKOvtpW;VZnJJR!$<-&Gm{_&DSy3MS(D?o5q{raG3A$~s#Y*@5#;7+ zUA9w>E4Is-Bvn2hI1;qOj6_aIYGyaTKHX@5m!KKVIF%QP1aUO_`1$}+Ruot1Rm!x0 zzdLxCzJLEFz4{3Me}0ob)98pYjnaHlLcUM|n8DSVV@V34BHTh;=yw8T8ko2`cL#LU&CbA3S{ zn%b^-;>H!p-j?tZ#x~SA%;COmtG;UL)qn5Te*q@0IcJ6T+-i0}tdt3CsVes!z9=^d zHo8gN*Lz|@-JkT9$)UVwIQ1aIFTdqe0pW@{lX*caUaxYQv}N6u8z2qo!g&m?R^s$V zBxT>*!@YlT#K7kYdV9{}Yl%yODu~HSJj+>bP*L1UL?z8qBlC}k6{y7x?8PLurGE)# zq-K)k=`g->gJ^xA%sgwCy{2U_4^r8P`Y zZT;6SOm06riLHecEHlarP7`r739#QY3zX0ctsx<9o8!&iuAS&$yY$ zWL!E|$%h?E54gBisRSkeE#<04B7YoLjhxJpbC#xA;A&5@4+^J|Q4irYS1Klj zp#FlH6-*#>a_vyf=;SM8x_{)!W(7ZYtMC+GwE}Z0QZABijfpF3jJzXr1^PSWK65u~D9>ASZMRyp2~%b^hEbj2K$q9`s@HOaEVOp+(JN=(&+ zV0rce2a3QcXW=+Z+!Mo6j9%lWm?_Yo{PpY_R+ws<^M4?+fTy5qrm!aBP-wpEWEgURQROzM1T@{P|}A^o*pEf-PM$ZuC# zb3O_KX!m+scDK}NcdVV-up!w6btsWh?*L zLkUXT)rWieBF z3gJu!#>|%pngSN!EX=t1Ca)(|F9YKTMqU5-^^fm~zH6+>5nJ}iHGH})A8cTi`*T9@ zg?}EZm_p-2xj*`DpxnB_ua91{QgDZ2k$(Epq6_+a+k#9()64RACZKfC#1>b;7Z+{SD(7+eZuu= zV=WyN%(Q1%X+q)|AaglS7elD)Xa!58OpVFMa}FyVW4!6gPbxK~tcaY&B05-mhHX@#}^B~48)Fw zfXgzRA*_1aJr@Z|!MOedNqIzwYXvbH(tKhD5q07aYF!-vWCfq8Q(-3g559HJCO;W7 zsf;KM41PvwFgYF=btoy0a06Q}+J7Q=>nOSSA)nS!cs{JonQ7i@Fvja0q=vwE)^&y5<_=)dHEa zw9v1D48c-$rf`5Ys0`fPDeiaPyf;lv$F;%#Z2I77h;XbR1G@Ngg%EVsi+?TO>|t;7 za=6F+5LiSrbA>sETonJE8+oGm&!^e*V-?1fn~l96q8P071u((YrbMwwvJ~V1I#n~D^-nyAMs9HpR_WA&XT(VO|ElUYO;xWuN&@!2BQoFCovQ&u zuU*rgIfqtSEVu~WYdYoI#(%5T8b};%uAw0|WGg7_W4RA>0wHvG?6QxKc1pcQHKu$A7GfA*kai zo)t=g=8C`jm{toHrl%)&DCqoIWQC8;P{GpijtaC-qB`mpED_)0*C-?tVcFuuBi4_}X7sylO_oih>G z@*$=PDa%q7@qt`D=K~ch@_DTR$CQ0Z5LDHh{n6c+*oFq`5`R-jv>zp3bTmOPJJ=k*hTLTY2fF0!r;&_Pby~J^)Pqe%=-|S0)sDC@B(9` zYf5~c>-p6X4q-Jv#WgBCl?|`}CKkGVR}u6IkM(jsqo5fn0_Ak4s-s6zbLes3R)@0v z904+(LGC@)Reyf5EdkaBi&#+{$i~Z5>u|SY`Wm0N;eZl_v*M5SiSB zAUf>AA8r4Me2%+Z1>KIF?cS01xjFXKJzN{Y@0br0Hl&J~eBq3|atx8!4yN0Vg_n1; zwDikwLCYpunz3R$x&G z;Xillzy0vx=kMbQs2Ptb??dr-x2Spe@Pb5Ej`c}^;nbo0G@yzi2n6Ojl0&I99d$8! z5pRq_yXmDWSro|+k%|$77MT!{I@U?%#JDkFK4V9W^SX$>1CFHQ`Qs+CsD>0FzNQkB zZh*9gDSuei_2IsUo>D&zX5PP#%mH{h(lRnYV}(UKmI24)6{H>}U(hn+EEi1V>WVwv zABuHO9-G!;cI6-e-(zgfP@Z|DFc&$iF#K{hs~53(SaZqd%=xSTE1TfJrGKnRex<+nOBp`MB7<$XQp*JK+)>M5 zDcQW-qDL40aPKS3r_Pq^SptAqd0P#Y7EHgpNyhn9g?e%~Og?*%kV3vRo*_P&p#On` z1evQvE-6I8GPAfB`{W6Y8Rhrl(xZx8s&l+~e|BR-t$`~D9}(=7WSV=s$j*-Y=K9Tl z0R#j0*Ta*5j3xv#HZ(YsAqFUa%^S&%+eY@@U!mKm0jpAb6%EY636cyFB$J6f7$9~I zY>C|>S|SyaYNzw{^IlbPRcW)^gMr}|ms(!EeIuQ*8HIn3@ZVqkctd9o@caD@jlR3= z+1KxGzWPq;m(yU$QDU3*F zhH!uaM@VA$Ob`v*58;`AEhu5I#zGSzAb7RU z{HxvVf}42>e_`tlaa8XaZTveS;(`kUv{ADK&?w=T@eVaaz6|Ssz)Cz&s>nY6e{hZ- z!87600S zOFDjko2A9;+l7>J{vW6H{7yyIg6Y{9!Ckbk#oVjODh#f7;T@YV^AD8CrGLK8s_c3_ zh`^2byIxlLu6dh3L5%WFCYE;-{T7k+fjwzwReDXbtg^Jp0u7dBvC5GG z;r_l1WPJ5MD@zJE+T+|rwo{h!6o@%7@aM^$uY){VPS+C`3p>T z*5mc-$QlxG*fC{~Bn9gx%CRkBfMgETw5M=niJ*MOz%P~8kema_`BbAh4iIH7X zVwJjo%-f1mUBZqd>>lyzz?q`SrBpu@TLW}Hu-u|QoU^Sl4zYr8*3aBV&cHaxp@^Pg z${~0P`M>3mBlrZ*2*s5oaJUhRe0r35ph37K8Xk@Ga<*G%;E<%7&(h28_M3g>gC7oF zSrYt^{oN)HCjHU9e2$5|M4?XFZFY|_s#1u5BP;+9WVIdaF;s#l#l&nd?pi-WL-3;} zQkMgsswVq0E_Iwpn?$fA6XUQX6N^~F+atP`Um$aqaNz4hnZsp!nZrBOw791O8+|~8 zJUlA5A=)g0cU+U(MFI}$2dd~%rkfhO1R_M*$;LS@G8me*9(J)B(POeQXN1zukvWZj z_l1Pf${EFh``nZd8JOs*^Qg9`LO2V2)f-CZ?|=$wS`PtrQ|qgBu*8VN!4BFk8$bY= z>@p<}k+kNMugQ}A7W~qqv4kw`qmLut3VlpQwgG`_~)u@{Q^cE z&5V(lH!*VPkPl4qaK?I!gmj9BvPa zjrK7@8c(5EGupm>jH_5-*l_oj2jViekV+7y>{w2(3Q}NR&-jqBBuw=(>UAg!%@lm;}p`qT3E!Ed1 zxkS_jxU4ya?eS`UiM8V1^N9f)o=%4sqD+dI1h8F)E3i{tC!n zVvXY%1P=-3zYGRZNF`E#)B?of~fgIakwqPO(zOv(IB>cH4grGOswpi!5>! znM$IM{V4>YSGGGii3 zD}S5EJZA~V>^YjR7yB^dWan60YFWgz| zyj?oWeNx3OiE$8rUQCLk?bSNX3t!+AN)yf|85&pQGQP+JKVAJ8u7|ZxGpv1LfzTyo zj4OW{SN=4@RnJ|9D=!}WlXwj3GFIG9a?a*R&Uu`^m*B~ZQBArBzN@<)ZmH=|i(grj z(|sDFh15r%W>mQi4@!@13Bdx@lXCJAe0a$}lY(!nfX6C-=Un$~468QZgJINRrCJVZ zpeK;Vm?f&G)743WE?NDz=<0N+7}COXYqSG`C&Sb?2}YWYYjO~RgTM}>=%34Cu}wFd zEWOJ&$5m7!NT1Jm6U75b`lM-(2C4WtG+?$>4Ydf)8E7cH&F}rM<0+|FTRL?QF=v{E zfh_^?I^Feu)%s$E0v9QR!pVfz<1*;+x-Ymq{b0|=(*5PgRRKl~9AGBh6j`&c ziaL^y5fVHX)2Dvj+4fmH^=|sA6Y)I{@1kX3jLrJm?%Do>5uJQ{!1JytAF6b>&X>SP z&%+i9ua!gPI+9=lK4eT^o?uev6HI(I7#NiT4*C&)6H!Ac_&VLV#)U}jI{~kRpX7W> zRE+ZlV`rMGM6ZpOuC@&``rZ?`sk5xW%nwuZ`^xp@u^!YvI_R{IGp2zjyFH%F67v-e@}$}ic@D)$Xe^Kj=|1Z2Ny(uLRb4C^GQ zdWNijUSyzCH_sz)>r7fuPja9Gui}e!XC`9QW0yV-TP8=HZn7nlXszGjh`txj061-9 z!$FNnOQSRkmDRux zz8tCf5CdHr-L*gkO}5EB{euSs5rnoA6`r<#vAY=C1>3iZ1Zj!n^%+rgKuAG12$FG9Y_qF1Qd+%G+U}Qq$6&rzW zI{(t54uRfCtCt?4Xz&VVhDG8c9Dl}twFQqY>4;YE@9O>5(F|s`W*M*V_ntHhe{zsge_A^;tk;F{1&t<{cBJRRAn6JmWlIJe$|+^sem$mRQmi zZ0fr{q}6JZ)sYTF-)rmK0_PkA2CT*-L3wQ2&hkzZOi~G!@LoguhKGp4;DjoF97eibL;*H(zQd%zwQkwbOqm7JAf;-qN-y@-t=z9l-!Ewat=B^8G+?8uF zapGAb_3a+;q%5*`{;)f8-o+LUiZz!X%)UJ02wL$)tEQ@HwfLABgej&z{DtjSdh29oie4bhzAR+eyd} z#eScHB0l*M)jXEagkP+AP$%}`zUL8;20=yOk@m}__S28>rC1)kzdR`QJmlrlroqFo zc~g%g2?#Y#d@CRUXMGP^MNe?i6Wln0V=x?xw9(G1LDJ?#dmYEGYt(Uu6X*61Cp*q? zgB(hqU`#h)_*NlzlKlxbx1N3m(|(SU?#9LpNI@aCPB29R{uXEfzqlEV`u5$;e*w(; z=7*EroF@Y~G&qwX1}J~+Tiuh}wh@2#U!k{1(+DBHL3{ELd*Zg~G`)#0Go3nlpe5dk zJsqWzlOiD*60XQLTRtMPqNWa&0dzsvTUw zu&a9U`{hsHy~cc&qErx}X(zKKVMq~XN&mI9V;J_vV1hW|Fw_kB*D9+w5lTcMu0%WP zTlglW^PlZNkF`bG0ct_IwhD*gb%kw*B5LSe+7FE_HC7%n=pKjuG3Z8c>n#IvVsTh8RQ>||zbA>4A z$d7*pQ`N}Uef{Cm5|8NpK2c3R#rNUI@qHs+?bspGBZml>LC2Kmn}Jgb(FJiSJaCBt zAw*rYqn3Xx>ZW#)`-e?l<}80iLnUT`m{Narw3c|(XU7r>ZD}L$Bg19Gu=svHaUJ=b zW~dLWB6=~Yb2=Bw{GcZWW#D^z%YRWs zR+*y|yz)6g(HYU=fSW#48wz)5#gt%QxMNoA=YS---t?i%J>*Dh)-gxpQmP{CP-A~D zlf*=EjHyt&5>r#~m}(K~2yO=2yCezt4GEus+&3kE6!7VtnhZ^ufPH-d@ag$E6MSs> z<;lQD#?r2d;FEp<@QKTHD)`te@e#o1jO8A3q!skDgU`5_rhtzoq#g!7gdzpOuLU3X zjmwRzA71UY+nt7=4@G&cAF=srSFV2-cwRKcuB`2&4IpRC2z4bkO(0*U1f=hj>hF1V zvjy@Z#WwphSML{snX+TiEGU`Z#S9ISLe&=<4M2(np8`lmP@0|uNFAg0F*0DJBrJ}R z@bSKuI0lmB(?JqXjL^g}NJfM5*;^x}e@CeL?=%MPc)4NPp8tmW@kZ4&$h)TJ7>VBazW(0u>)=$ zbX8x6UQK>ojR#?hp)dmbno`vJqc1is zMHTm^sIK2GPN%4NkfIJXrB6{u`@iym{&fiPa2d%_k07KI(8VvWV|`g=WCV-BeZFlS zKW%H#S;W$Hhe~t6ljFJ>ASSa}f(ARu)G8G(Nkm>PyOL8cglH1}nS zPZiVz&AX9E!io>f6m-uC@Xa2qkIZwkhXl+wJ2ac!3DZph48LC6{cPnWF}1cW&MPmC z+wSQ~jfj?s`MH&vz@8zQk<^da?u`g0nsc^ZS6_ue3q3Y&(0Euf3)96TWWc>{J=_3= zFq^@&0k)ya&%1wed7EvwdG@Z@o-jLb7wl}aS2pcACXv zCV?bZ{w}ka1wj;-$cYxDLX*~3pm(yVFX<8W20Yrv$zGDr#yn#2A}aBI7vz~+aEAU+ z!UJ!dSEP(KlLtPKo751@gA*s#U(4b@humy$F)py($r69~e5p%H^6|>U;igfrb{=%g z{@=(sw~-UBo^S7uym+InoC&C)=qbP2GH#hrZQA!u)Nr{`pe~vFIt-VL7;cw#hsLTD z!e&1OL6o*dNmr0GS?2VV6BEG5euvK=!G(UZNlka5HhGpQ#pUY|e3Ve^eC z70>hZxd(ryH&U8&4@)W%l$bLBsm{gBVCIfK{8+B+xrViEwMjnzL7#?zh#dS|ZniO* z(+|b_g&^~+$?bz1Jt)6x|JTxMulpkt+P1o56>E4C&+AoH>}?Y-eu@H8P0rhXU{PD6 ztMiq9$KI@SO~iFY+<=X37sgIq=&k*I3vKM!1;u}+XV`AxGExDG>-Gct!@F&yKbgIKr%B&6Zg|~P zpkRM57E6}Ud1DtA9-CkNJ)P04?XzZ+M?^%KL`gTzDzoctUUsZVtHTi_R1hbtUP4O_ zKENs02%{}mr4whukxG?ocRBS0KDA&l^8^DoSBDDzsqD=_O7P@RTk@FCUuJdA)vL_{ zENP`x<_36URJlet3~oo{#^>DFhuch#y)%C+=RRYm0u&oV%U;*nt)pTVMssF-82okE z!z}acHnvTaFaX6)&M%8bt3u3Rz^uIOx2;||c?m$LgoN$ExA=F|MkBsnzWK`!OTtBK zE4O=1sk8R0L+RQ6?$GQHjoSdwoj1z1AG9=#PTaXaD=i643Kj_-H%9){2}47QS!aKD zqr0a17s4eos8xwN%5b+&VVjlLhwM6USug9NZrqlImMAm&9N*SJJ^kn&?QMS$L|_v9 zqD7z<3t>*bC769&UR8OHdcf}wx&gZs;Geh%h;`@OE*B{XCM)Ybh_2KK?oPQ~wCFa3 z{}V^uXeW%iU50i&23l{n?z=vyl?60wwNvkq?UycGp(1*SPGQqdn4+H?cY56FUfk3XP81m!gv;P9dttK{;w5BElF*i7qAOg;ivGpiP*>!(?7Y|Y-MOl)iG(GfUk`S-}_VMkvYaDzI zaPY$!_Rlxtvsdpp4hTV72pWuU1Hl7HB_c8o#*^SG|(=e$rH}D~QDo5Aj_pja&5on}i8XM6#h$u&jawmB_%}TR?u@D5h zmu#LcMiEuvB%8RAeD0pr)K1}Hnaup;#}Q0S%%3OsQ&Ki-?CzYjb|;D;g(aNA?*1mP z(nUS7b4;d@fB`@6id-Wvt)r)iQi2$zLBzOydTlX(udU0){1Ya8;x&~g_g-16oBKR< z?-wIR!^y;4o`hwY?V+>_HzlU+n_)y4uMeEAHwMkPjcF{y#B5X!ZJ`vxv23j`^Rg=4 zs>Q9}u)ToCNWz<6koXxokcfis*cnJF6+{HZM7vqbyMdkI1~w!LNz&Y~ z7S-8*5kz5Px8&OE3Y=+ZPcWO1L2Diw*fB<0?!2Mg?}nWV=3cRhdwl%yBBCNT9|}}I zTUr~DFkj5w*zF2#VH~I)Sgfk$szQTWQi#W=QWHm*wzafAI7|ivA+Qe)?t=R5!&z`; z4|utP^A-;yD#MHlL9}1sASZ}8ixKAL3^tm7{9)^`fbhLDj+;G=6bsMY$nBzV5pG16 z9ta-uYTCgD3m?VP(&@^4m#Gmo&1QbdB!l%PI_3^ucmpqGmadn5f^hn29^DvctbZ-C z%Dqn@IEwscWu|{KB23r*(?J^uTSgIM4J;sHfI;B!x5PyKBM5{0y|s8}P#~XwekS^V zSp%8w5QT-kM|TGgn$iieLlCwOSlwd?6YS3(6YLt}W=-rnA+I~88?t%t+A&}(6L5Ee zDDfEt|D|b1&fD?XpJz@0fpEkS+cXe@+h;mEySm1~1b%!UV8pZv9_`dwz!>6E!RvkS z@$AJkM3>J-GLn)k?3n|9vXFq>3F(NyAdNQ+Qm@)>gbjf7HOSJ2XqM);Pfg

Vx2z&ya&k&^zb?e7nLW)Km78yzt)L+}mZ z)6VxvUL>za5hpZEr&)Su$hwBRB~|@q3B1JNeU?nzSZzZ0f+gsm(>cKiJcpDQCq;-;iVB?cqOjV%uD~{?{D2pQq~9a`@c!bOsLEC;mtv< zmCQ#vwUoC=(kd%@;SUUd$!ZN?A4*|rbl4vP!vmLwI+7_LM?WW^oVigMhg!nw$@UPy z+Bf#lP-wX!C^JY{`v{Z)mU){A_CR+YH`|z5EB3n{&~#e}*!K>aB7yJd9rXGIZt$b6 zP0HQH10)m5S_liy2qiF~@)w_m(bu2Srx&c-5^-L=O=%Haj zr_hf;LesW>)+gQyvJp2;B`{E@$ai?D2HOG-mY1fLD1>h%KGzE{5Pn1>z(n*{X$0`& z8Ug%YXat!4Q*%#$?&9C{UDkbp^KNf;QB1PpRJ{VWyH`LB(bnv!I-d%+{TG(8t5x%BYY!XS+RCQl zbrPnwDvl2j0ZAy61OtGPonOD*^T3M(Qj)b7X#mdjOn?3E0S)c~8vN^u+W+6JufDyO zG+>Nmam<7DZ4d#}Dl65?Amu4xX%ei9;6o@$yowm(arnBf_U-E9`rqGPvpC2|mhc2u z&>(-}k|-|Cg7r#?u*vuBuIjpS#lm702_eIcUJgSM=1pk^ZC5vCVaD~|%$}AR`BQ3%8l;xYHub~c15}0G_cQ?Ls#0pZtG_EjhWQdcO{T)%+o{F-P0NZ&{ZJ5)2-8(s4VTb)?$Z6C@?22ck)J$RZJumATez-X2Ic; zotgzH;b1?8D4{?zVkAzjWbqt&A_#IaQN@|t{O@)KAI;!ICjIG{hlB+6>-F~4D-Q`t zGSO?#yZ*SqOq#`7O$ZYLcA}{=llFh*gBL22z`TeOnOUx^rRDp=SulWInlXs-xb4gY zw90nb`WS^H#J#q3y$>mz5%vybQysvhQQ^IYCP=K*%+h$O00C|+%^v)1Zaj+5+9XK_ z$Olg_u{NKv2_lkgShsJhwzH?MZ_NV5Mhm1OauD6`G^QS{1BO@+%%4`ea!h}P3>Iz` zNQuesa-OonIe^jo3pZnGuZ$$T=l!p|tK0j^Ck{!t9LtP455}h9k)^$k|MvE^ z?@Ztzc#q~k46}^-93~?ayp$jbvw4j21vVH3(P+{cCMd~xI#xV#R+)dK;3S4rB4Y58 z$BW7|vC@e$4OTkSr(|#!Gldd7xtMk`jC5R!bgp zyo4wwY#{f94>UUTuEfr1KY0$HXkcPA=xn##4=2+Dh&F`|KQK0_oy5!>Qm@L@ zL3)GpEOD8VRK$-!d{i1mGKs_Q?NQtN`nWA7$2Jd;OdAa-O8ax(np{t0T*ETS(NQZ? z9{#$%juZ|BSV*ltSvpl0`0d!1$P0oBcIytMtyO&STl1 z;TQD+;4A+)g0^Vx@v+w^KGrBP!2sVD=5=n@K@zsjH|1`m{=)SnnjECo*og~SJcn{P zQ+*Qg>)(H_udm-MgaIa|xrU~@zOU>Kh2h?C#KV1UPXqCEvpp7;AHdqqH%2NJj1;n7 z!iIx6XAfCSn(7lzuwC{>+{~h58JJj*AG>;&kJ~|WTd;Zh&9Sq;A9S1q1;YI{xvtzN z*=>8Y)tgD6t&_#<*~TG*3e0rHTi;r0H}#N6c)AuS`P%Q}k2CP%+^HZr&aagq7aSo1V)}-ytc?R;Z@9ll?(kB|abW z#vTUQ#5dmR8}bA>t9U&Urcfk~%L2=8>B;D^i`Z-NZ^lpZaFe(99>NeN=+G%T*klRg z4{m=@S=O{fkrV6tQ{(&b%>c(H2fd%6U+vp2x7Abbnm`aJXl%L}WBqnz`b0!9LCD0D z@{O}+0W}j8yO0FSOr8^_qDe5CG`8kJZ?*kejW+5x12}?0jw`HSI1!?6*Aj*eTVVR< zdF z=#cX2Vxl(3kAY`RAb*V{2+sBB=x0hNl-{nd{4g}=sSaHr67L^ zrBK!-pwg6|Z-q=cUCR1=mz=nM&J=QY(#w!THq3RO?D@>T0EtD&ndBsf!s3~jPg(^m zfy_Tnrl3EjWq`QDtj7S~pZ7BIP**{Af+MwSawp-pklC0hK=E9^ikT!1Rj{SwvqzeT+TXr_=Dc@l%ON$imc2AZJ<@ z$yg?doEU>EFc##}bMgqeq_CCDJdi#Cju#=aD3@4D!U4(W$Ypwy{Ma^?xp5wMsuD#q z3F^fXlDQkD3w7u2dG7LMd@Xjq#mu1+kV*O#yq^SBKl7(|b5Q*y!>z_b3?E<4 zU22v?W z+<)VeV4y#(0a6>J_i1HDTz^`#aHmRjZ=1UsdHvm+W$Ec=+~|9jHMU|G6dv zGBGzZlOYBuf9+UpbKAHP{_bDFX}?f2A%r&)WctZ(Npv?!+)8&dS0|H!DcE97kvfvH z?8r;G4?FpS&J6oO1-$=NZ zM972(tJ@%!f#Ql#DT38HxDM4UVvNV(Me&I;VH#8Af2N&9LdD^2Q*Yg<+ZZ?ar)g>! z@i5mj7J?iLH*RI8cQ9a~X=a~SKTKK!rl=qzS;7;v1dPh03?d$rlqSv^utELK^DI7k z9!CNe?1PJ{?TlWdZE0BF;#Gy0=ZnkbD>wHzgCFC@`_>P1<*u;l=4sazb>$vx^BMeZ zV2ft!e?@O}YkKt+nmB)x99zR?ul z&(pLw(z+%K*9P1!tA2Y0Y}@;#HF@upH2lPbe_T}2jjqUH%%fJ=ZL|T|JgKoGfPFNO;cc0g$Uo)<=TzV1z-DN zOjl2Hcx8Ie)qD(-h8qXmhX>SeSS$O1(;6c7}UM5PM0OcItksolL316UvQqy!)p97+9c;$@OZ z{+yQ&6I$S9ykGYUQt^_4PgL*;9Whuk(($qp&4dDQiICr|p`Fx_9^(98HRRi==y4KD zeiS@50dzqWOOA04S@F1m@~(aEbeqDDe_EeoId%Yp>M4Sa9OklkvGLr+ie+)Jb zbqadmkx=1ZZ95ZetT!bl?Aa!7J9ck39+Xko&boHD-bGdI-LpqdVpfHgEF6uYR%6@ z^P5J$rHMZwK>TvuZqRE=e}oq%H?Dd#x-5RP$tu(Ew5sjw)3)BXZt6 zC*sgIUpb`g^quR>GL&)lZ>c143uwHTL51T?#bTDSc*v-)#bl;l=&CTK({*MVJY+fV z147R25$CSayNwN+Go|oF>VrNnr{K#eh04aq@U3)SlDr{LJJQwj2S}4O*>u}-(i>2W z4~=_(R|M?0c;x`ue{b=c62|2Suk!c3K$C$NLW%1_*yswSBOEBwx{aE zMDI*lZf*UBNlUm?XeF~qRUwzq7^YZ^B9f&? z2`iv@E#bN9f6g?~&scd)Q|h}{E(3f_5~$%9zLxI$is+tQT)f7C3MCiR+^%nRqM$s| z+nlOQ%4`kW&*-h-Jg3A-Ug*wPP)Muaf+Cv&XymOOY#Ct+D18PfFe>OH7NLKITKC|x ze+sNw3UH4Pdmo~ZLwVvcAJw9G5{2$m9Lw;hs<0eEf58F8%|Jr6b<;tGCKKQRq6x~g z;prLzje2}@;7%1xE`jJmv$N?vv7ZbntUL;3Oylpf41*hEZ~@9wv<69hmL1ncaQNfn zBiW-w=OYrQ7c zhBby99kZ_U`Oa3w2xAi7o2M`Np+P-)&oPxja*LtoT5H*toBFG1UursO3bytW@^SS>< z48Yhx>T-4RAC~~LdzVpW0uzG)z=r|A0fzy=0*3*>1BU^?1h)ae1$plQIFlg;C==~m zS##UQvVPaEz}r2iQW9ogZkM*N1|fg)mN*;^2eWj4-P6kef+|EIiwK1(WblQQh4QhG zw$Mfw(iBExweUg}S{FV-i!7vYvM>gEJHKUYA+_{{aWG88!opqx7URcg_07kyFzK0%)vYc7WIG7?o=pT z1d^2~JhVsn?MlVDLilh(@K8O83Bqb27fnq69R041YX+=i@!1WYDFLBlY zph^%P{BkHvXjdZYEeZ0G$|@WYQCtS5RnQjzg?SasqC>fb*Fe{9R24@BplF?~WK&S=e&7rypgKeNF zfR#n{MO6evh@^`^WJF~IZQ6>YbudxD-oeWPM6Uo12U-Oc3z`LRDc}Y435Lr6!xjD? zK?5{&hE4%g5h}PX07qq|4Cvv{KW~-qe%w|?`FilJ+A8-)H`D57Iw>^l!PBksw3>|W z#^==pHY7D1R~N&<-spSrn}7xfGWSt^-h$y{7zbQXw_kptnGa#M;^&`>@(_e>@CsI8 zx1}lo;OeR@eBHqomoTyhLuJq=FbApKpo*pbphvYh!Pux;o}iDap(db~aUJ!yUKci% zs@H`Mx>*-&dA%+eI;|c8v$nG^YyBXYbF^COIzZ=Ok-CcDdy02Ak0LR!Abi*ui6gha1lL_N*yh{fX`pzk?K+o^c!lfiY>5AfCC+oZ7E zbB|Q7*tX!Bw>1P`9-|HjX@JP*)4|p7eD~(tRfR0=PR>yyAxPUQaY6jC4KW>%H=Ld0VxnDRV}#yM#HKMZXi=JhCN3&}m%3UhzK zR}lXITWj&s6Oi`h4}GeULHOVlAk3uzK|dBeIn6zGXq{{zhauky>l%~atd=_vgRCw; zLtj{`=L1)rlskC(wOOgH+zFjBYKv?7u;Ww7Eg`xc4Kfisc%~(w9;MyE^RKXD3m+WJ z7LCLf>S>JH0T-nVwkw>+TfIZ)PojVB1Y~O;chEdw8J*g})2;wzUU!zrNK-jjE(Dw^ z#(*Tn2xNP2i)e97gx>&)@zBEsxr1S&B1#R?C8d+JmdDvN>>U#^JnCDg136lB*G* z02DxrLi(g6?jenlI}nfpB?hkJI#xuOIxnSysZ{-C2_)wY3}?!$jVJ^F321)}z@tD^ zoWN_I$Ti09KuG?Z_kIWclqW8+g!E^wwoVCz3mUT7ur(&7VsUG|UfYs&Zhz-Wxv;D9 zHuZEU9WFya{ooS!p0$8kD!B)-N-{`gMkKH1BgqD24tSDwd5`k7ih4@g2oWV0j3Lc3 zBulyqw$+7*Y7L1gc2NQ+h`4_nTtqU0Btk*xFh~%2FahoiOC%`VbAgxApg7KF0^ z(YLKUrjq_?)RYi(!8h|plH9zc6(NG?sRo;zFP4QR zePik5blPf0E!rk)0N8H^|T0-hxZG~M795H{+91hast zWHE8cb|95B#e9heDEUVUl41Jt5n{UtkxEcD{H!n-b2f8% znfj->n>8}C!<$!1wn4N9SgTW$wEVT~m!JWW%?VAxv-Xve^cfCA2M2BvBOi+7@Smc{ zZ5cwDenOp{JRQMRk|M1&ENR2nVAVLG`o z)iwFg6hBkDvbc_dh}}vIz4$k7exG{ey}8sBgc^Sc$~0NMx~B<|ydLYH^=KtATE?)! zXfh)P*|m{;JTdJoUUdosKI0r+#g?D~apP$<=xq(gjbc7z%5D87zHin~ED9p6#^{C3 z7sc}u@e7LWX+YlwNJ)zGaU)8!syb4zWe7)<8T+#6(G~}mEAwP9L!(H+Qa^|@0HZ*D zE~tOTu(IbvL@+33zld2x9uaWaqGH%TDUu5*meDjLMPkO;MqUOziFc?SY;2@V{Xjcn zAYT(G5QjMe>5tG9TcNiw7PZ4bbQWsg=Sh~-(}Nd^qyf-^s*d(aYm8S=L$VFJX~}kK zxwUeV5T}$PIK(zc^roEN1oE30QDWl6?Hqp#IC4S?5~qlA4xFEH7eNuP;{eE~Jj;`# z1u+Vl@)=YoQV(w^)AEMqcj!I{4ZIBKIYqHSTXv0&;Ynm9)D`Y*iSon18+RT074+&@ za*T|RQrI9W&8K7|F|DbGu17mZR*C$N z34E59pHJmEO|k~gp0CKy~Ijo8lE^&X!;f$tC*Fw-S`w4u~$3~Qbn4l3$cEOfT_{pzJNj;Nm zPO}0lv^uY4>4p#A0BU;~gR^o;E9NtBut4=i)b)MR=!S|!E#<>patm{Z_rqk(7X%oX zRkL=WdyJH`M9f=Rb4V1CZYVhtjuiA2DRw1Aq+4rT4-Qk#`jilQkm`T(!cy|l9aBN2 zr;S^4EV6o+D{E_MvTRaa`E-YnW#h8InOh<2O21hWXy&B6j56XNyDLn`vBazA#GLu0+!{}8Q2MmPf}!4Y0wOUL z#sHOWHhN1ZDb6K=rm4U1Nl}P9L29O=Gh_!afimd?q9rjd%A2pIV2NyhbjJTlEqr&-oC zb7L<}$E>dTVd=1o7^Xoj>ow{83#T#sI6zZVkokJeF#ihlJIFM)>BZM{AQKem z2#)IQH71wqT=IWo7wiukuh0%IIJ8?GM&cERP3{?gCpxnLR1 z+ylh?STKLMv90pgGzg+KnB#IV#)pmmQ|^{~<$ifkJ}IA<$K^@+x;!o4mhZ~<<)nZ53x-dI-^*z^y&P9nIsJQ7-j#oq zf0y6OALaj5>>l*3DE<(%Q4q7$GkyiZ}=?(2Y*fO0BrnAk(d0x z22+2dp^w5h{!zqIzK4nDE}L!>HjmyPzB_x}Vbd=cuuObP|5$u_wUW<2&>-wg2VcPE zO{PDts#@CL$*ksAx?pT%Vt;*ddVKUWb8$<7Fd9XUfBS9l&x57%xtEJwEaF;LcFBg% zjqKC%85r6ZU}}%Z;l1j(ybtBC$?$#|56*x8sHS8x2zu(7Y{&_c=Ru^Bcs6+jO`_M10vW>qUGQF*}pIjk@J&tzX)oQWX zA3r@i`S>PtwafKDp~(vZ|8CpN>Ot)4L0nT0Y_A^dfesvk{88Fx>|R?TviQEXlDU7% zohc(vh_b&V)c#%+n&^$(#LMHSFP}bZ@LFL&jKF;ZAtJ#u`*kUTR_Xx$R~zYn(m83ovE@!8&goC~ozvVM40GixY% z^BA*{aXtL__Sw4^HOgSBIC*on zcl@f0#EO{801o)hBdzG};UnN+fBRF>+wt(a8&cVgjQHt?*B{?M>GHQK)rOEU;tQP= zEaiiG3_)*I%mfWcaN&#cGmN@)CD97tsBDG_IC847=I!f6d#|XP@>G z+N&IfMTdcJb~E(saBenLSDlnt3vAyXu5t|UzRTK1mhs)EkGrp5B-Yjo6TMH`gc11z zw5g2}m#EVs4&7!J@Ac`+y*EFNr{8-R@|Y;gfPeIjTfAkb?<~3RAUWjc3AU3T^C1sL zL|slcvTe_vpPe3@{51W3e?1)Zu!1n-?OBbt(PXB2PIWC=$79>IPDo7GP+tyZIlk;} zE4Psm+yC|G&B+1qGx^bz{z;UL##iNOjgJXr!ZEHBgP6F6fV}Bt=Y}NIWo9EA@$qE; z`IFtBPKMWC?k13Qos8lUZKNK~9459Q{dIEeB=eXEWU{id^G+YPf4TN8iqgBRF0dI- zZq7#+!<%og`0(r33g7rsO^V-)SUBD1wFXPKIe>> zosD?BzXwCN^Qg^qbPwJ=X>GDgbOI44X_IDy2j6;b8mAMmi8 zk&)9T_e~y{4vg8Wlhdxxk<*EC;UrtY!s#X>1jSx;++GAVbK?H7{M5;AJ6UC(>K4&u zd1ZdKzbRN+N=Sa^j% zL2Qahfz!%>0vk}iFQUzYpd$Kt?pf7a{#of~5%|3PRdG&o zv*h_%@@(k5QAp6X=&47bZpAIkS?b~}b*4j|5*c{m5y)Ga;m;6QzaFvgHH@xB&&-mi zHz#jZ+C591UJ9Sdc1C;z>Q*Jqv((vT*k#1wyQTZ6`+s>SVm6l%%LWve%EksvB{4BE zI5jgdGFmALFHLV`L}7GgASgsSGB7bVFfuVQF*r3dF*3J1#|B3PQbsf|F+@c)K}0e{ zF)~C$K|@6~Lpe4wLNPWnLqs-1Gd>_ZMl>)nL`5_~L^4D%GDJf`Lq#=1IW{svF*Y(o zL^eY+K3xhgOl59obZ8(nI5r@YAqFUaCDO}FRAC&(@!xYUuk&U)RyJ9wnO0`^n^sO< zQm3r!UY6;YU7&6C2MDmm?Wi$72oG6JEpf2EH1W zA4^`ar#_)~SzB~+4Xp2_hPAN%->NKZpg~m!8>}Qx6doo_b!(1y_PVovhXGN<77J- zBRj|~(oS}g4sw(1BD={RvX|^5`^f=vklY}L$YFAXbdoM|lpG_+NjJ%p6R?jJU9t!0 zno;!vrAAdB@OD(y4^&>MP6EsKRRh4cU#dX_5872j2$u4y0>ZXQ)hUE$#m}nK2p6BI zh7rZ-$!8GFd{v!A^!>T&9O7oL8bSOhQk_RU{X=yD@zWO7MZ|OI2e^dzZ&7s_uCSuI z0{0?4`6}G}g6bOFLX+w`T