From cf6eb4c5a630c493ef9a32099a96643768a84c2e Mon Sep 17 00:00:00 2001 From: ihan-o Date: Mon, 5 Dec 2022 00:01:54 +0800 Subject: [PATCH] fixed bug --- light-v3--1 | Bin 3902664 -> 3902664 bytes workers/basekissat.cpp | 3 ++- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/light-v3--1 b/light-v3--1 index 857e212e81504b7b0936c2dd7aea688e3675b2fd..924cc546ed54d18d175a1dd677dba8d48bad48a4 100755 GIT binary patch delta 43497 zcmc${cUTnH`vOdp~Dp7S`nZ+`sPcxp^LD-uijp)6bllH7AxnA}8>-FwbMk zW37VyH)Y$EToN$9?#jL&x_KsN9_W1Iv1(ONgW6v&p-;@_fE_24?Ri9^qgMtOq)MfqsThW^iQFmX;mr|)|{c1cxz7J+{Td#Yu01I5CNYY&5ZOI z##*zQSmK4;mrmz%W5io)mhA{&piUCiOxJa&n2266%EOvn-y#fQ{#gaWj+rJgp=F3)bN9CmQ79Z)pE^&p#wv1~Sds}UaDde~>;$_U zf@hl+_SABg%9Bgsq@q7>&T57g-NfJ`TyWMLZ(n|S zEKJXG3PJNd0hlUSv%QblGq|WOU6fv|EtY>DqsVUSdw^9HN)g|Y^%zycL80QsP%#rT zGGPFFwljc9mJng9O!*4yKo##{rCyO!0-t6-$wdVf5-&yZugq~ksmlLrOH};NOfyF~ zY*et!?g?*wbYh_C(^!!wS$wUT&QTiS#~Xp7c!)j266ldBb1m(|EIq2O^n*)IU_tK~ zg|Xuw)|^omy*29?O7pN6Bo)$ukz>8g8a)p}tNop&t^RZcEh}%5y+d@g?XiY2fr1aa z)$~9euuAtZOHG%Sb(FCuVZ_RIm>J_9il{7MLF&6)eVi05)``nZVh|Y7)!m= zrCk?*DA4|<%v@~|@&~Zl;<2!EvfM+gS@~(G&nPL>etS*~S9z|Nl!($TV69IB=D7mS zvggNGydx0MmD)qQPi!zrvd6?)Y!{w8ox((uPLYmR}WG}2>UMJzTuw`b^C_Ss>tYK0m+n!D~DN4m( z$>M8F%4Q>Uh{r;ANSV_yNRQ7*V0~Qd=t4iEPLXgHO>bYu63i85M1Ior=NHO#$h>F6 z+d4xaqd05U2PV)0*2eIMF-=a{OWhaKL@6%%X&AGo@S+$C-_Vt7p~BZT*T&>`4(L&rZMO2yS|gm4>*)C8yFFzYNV z`PJ>D!MY50mbYG5C`#bD$--t+VXCZ&62^$sUdurwWKGmfvRE$bF?sZ@@1wLhs8P8!&~bD9&MSTiZx(8*rCuaiu6Jt;PAWCQ6tI%HhG<299GzvwOmD+>8HO$a+CayR@wL z2kIa|`wU^dfdOMBWwZ8NdmL+EG-YbMFux*dGe^_2GekLoc`9&hp0kQ;_z4Wz?)Hyy zWkP0zellR!h^x(uoVm3Kg2PL^dnQf}C$Y!P15i;el zCV2%~CnDby=8v_x>aAiNzC6i=#sBURxHH zMpH@APD>r&g0~c{G}wN>~JMg6t@_C@gxY%L-XGDo9Eam9_HTuk?nZ{D$54*b%P#n8SpA_A-IDEq3QnEGoq?pyY%exp{zEwk3oducCC=aoLLtZt`AfvvtW{0I^-A&JWlz`pd zGvQA*C-i-2&Hf7O&DHd**XdafVFSj{%!8x*S#ys)IXM6g;z&3Pl{M>;kRz%_wUWyC zm(u=SjR;!-LRn`V8Bsh>D(W%e3l?`EF03I6N0=0XC-P)1%VFyv+)&|C8>vb#!!Y!)Q0XiH@vDvjkdEn3=YCH@IXEmngj zCZ2>#@hw;3hJj-kcZXxcl6!ED=jV#FoGE%Vu5VgaQ@wEGF4lZhv$~p9s!z*dj}&4AJWdIdWQ2aD7S^1JGD2g$&`s7iVR~Ec!GU55 zpFq@;P0SJmv-kueRMsoq^=?VNeIzA$YZzMhA<-#1IXa?o#BIx&YEok#hb}e2_E2n% zc;N)B(z12ws&PWfjMh;k_esW$^y8s=$9J9e>I-0UC9rapb!^ao znm{9bj}=PT2+cxa=X-m@hAHKry+Uuo!ygU;#fLw=P$)|3TU;lDdEkX1_Nny)l{Men z4>SxcGylER1GNCM=Bh22S`@`+1)Ydkp~-&`tNjbn%nXUTdWHzYhZ3O@FIN#*PHhn77T4@&|p6Ds*WX`oOpL{YkO)4!m%K z-wwtdel>XP6oh5-0blb|crAl(-9m;xG63+bP;+Zbjkz5HR`^g6;-0V?Jkt-B^^u_n0tnl(XU64WIv91q6538F;b*FwlVG{Fw`Kwx_pvRGQS+2H_N0xK1)OGQ+{L>}yH(ZVF@_WZ4u+){OZ!l4XM> z*>fhVBFj2RvI6ECD$5!{#+F@!4FX22ek2vWqO5q9Aj#*-az9x32EDL^?`H`}rL6(0Fd0KXW#hNogNU!@C=cO}}*4mR& z!@|uS^{m@Yen%JS8av-A59;SJG?sYcDk!_-lhbO+h?QL&Wtm=fF5vhCufu${_mPs%oJ zN^Ca3#>P~60CW)SIixs?WZyxPAyz`nY#vmR>S3k~<5dFFM>e0Z1m?v!_>)jt$YTFV z5O)F!8(FpFdHGCtd7jYAg8lXn%|eu?U)dX^hS-ckT05zz(_rV;QG{ujSA-SVak?gw zLI@aeCmApq&See%$Jw>Jed!XdBrlFR3~~_@I*Fv(@n}a3I;5IAoIR5 ze_7^}W&VWB$IJX~neQd@8)QC1=D(GB#d4iZ3@}F)Jdq8?$$ZpuDS?49?<@12WIkEu ztuh}k^K}@Xdr(o~b5>#ONthi`2~XoBxH3?SOM<n^gCD<{+K7JjBjRc+*v?frGM# zAoJg^lk6`uUb5fE>`%COU*Q+Fb7Lxlu$rlUflAm=s?RCaPk*P4#I}SP%wYz2`H44I z?&JAO`~2oXq>H_G^T3cM|J$UpXcELsf)%1k$qeF@CWZUcK`F{L=@1GWa>!H>|7M z;GZIg3X)+~mcYDtFD20}>yyEsFN=?LmIpr@uO%mPMmC4!9*(#7O%L}AL)(9%#W7ww z=XV#|+)u=7?Z+YB_HQu`@zQaKCyS-CW?wvO;N?Q?`{I(%4z7k~`H8(g>$qTw!y1%( zcgH^Z3SFN#)=h5fK%&Yv`JXE}VUKReb|YWuT?y-T69ZljxzSu8C5)%-PPj7!BL@){YplZk@&M|y1s>N^)v!! z*MC-}ML+DWSz%Cem&!*dxT#eX>tr!&++o0Bi+6{1NUb;W6i(xkaM00cr>|n6bXs%Y zKJ7Ek_Z3S_d((BE!82j<5eOx;lCz>vVLu)-|0OgCKe4CRU)v(e7F=ZHb_|5{vM07F zliGn9^kzCCqYzt_?8$mz`qn@+-ecistaoh1#D@r53X!mQg3{k23Wdt>krF*u#Lj1; z3-I*)ulPpcs=Ui-1gPR4glqP~Ho>8GPMSJ@ZzHd~W}vfb`Ppu28x-1CR%g4^&k7{< z1ba%`Adl*@x~sic+u#s?nM-8GX;}s0@n}V%zI{R4P+JO8f~@!gyW|OecfjIf4QqBM zoC@Eb(E>-Njd5hE5kg=n^o1Hnuu}q4j^k8VJoPcoj5_73a5TmxEgK)%IBI|r?w8c` zF`){aSWB+^OzN$y$A`)?@2?>g6ABk-k=@xoQ2RZr?uqt{c4e&77&*xe>R^!sRR>#g*_Yj9S(z!{8=3L`HBNyelOfF=wV4>KZ+hK(qbdvK!4}7ehv(^aU&Ad}c3UO8iFO)6 zA-UNs@siooYZCf+m|-Fl;qSry3X?NJ}m*?1V^|V?a7^je41d}g*RVOZ2uABXHV!HP{E7_WF0`> zaHxn$o^)kFHF+8dwg1p5F6Fx$tgeow;=3wep_j#|Xp&{Ih!KiS!U&~F;U1LDhMOj{ zb?lZnAs!cQ=u1DNUn=J-%~bhxTZ6w=8NY{*^_4#AO|-Wjbpk;I5G;zxog` zezDBQF<$EN2?cEO_`DwLPk|@}P5|&XLa>rYGg@I1Yl=xMLI`8(AUQm%%P!0mh-X`1 z6tol>!6A5-j;^}0!8RDUM%T_8ES7EmLx3%1btJ~hK&<;Snj=;tG1e-kUWSWn#N809 z6Dt~v^|#0fjw0{USo>synqn+uHID_KafF~U@M7BsJ7b{?bDoZt7VI0ld__*%BfHk= z@cXP-#i$1TvenTc&}1GQ?X!n<2IIECrO*_YO*km>Pav4XOucZZWdk8JpTxclC_53f zQ}ZRRGm^&Osu*1>S2NiDOV_IHrZn_dWNYd$)f-~WJP6oaO*FH?f7u#;P|g!s8c*Cu zH?ihwl(MQ{c7T-3+0lBZw~&c6qGxLgad)1eq z*1Bc4K=;23l*5qR3p9zDvI2btLTE5iEYNV!PECLN&)vevXZGXWQd>LO_t8mu$W@~Q zay9Q~#wyqwO)0z?;b$ZjGudd*TulK84U{itBwb=8b2tTprFy`Ii?Ge!rF#oypw+&u zca%M{XAR|nW-?imxTqRR|59>a(-PCq8QEUxTOuL&5~5cJ(ihiq3=C)JE{eBr?JdcA zmr$OdIw*f_ETVLmZd&QKrBO+g&ZVS^k&*Vxee2+B3sb+@#B5*Mub*;XvM7$|ZzKzM z#P^>cO9t;aFz+X=$L`_(25GyYokfli3Ep3uiw%h5FOVu<$$YmQ@Hx`R)_Q6rEq{DJV9L7ZuS3P}JZb zP9qOIY+KNdDcOrH3(=C9XGhg$hla+=>eA2WH?oiPaJDe6pS8L=x;)H`nWN!^?_;KR z?Vi#trF%+`BMVbz%(N_qju<1S;)ZclAe@MEgXsqtBl|X@K!}elmAB1ot;2_i*_%Y~ z6x_dOpX0+S+ub`B-YIqQwmV1EhFgwfW(QufXj&Li3Yd98ONY!OwW259X1mik3)`y9 zgaP|L6fQG4m7K_9;Y}rad>$!BqNy;C#Mw4fa)UVsGgfS0Yfh*50ho9T1igEh@jw*y zZr_{B6gp0wi%6^pl@tK5oWULV#P=k%9lDCGe;r; zl(HO2&#qy?C#=SqKcMVVAu=DKJ_Z;go3KwvUJE12sufvBTt8^Y>`kxdkn(A}E4mfu zHmkQ!ixUE`k{?Oza25Bz#Th|c&L_dPPVR840Vilt2dr{GesDUCyEL<}MdMQ*>1_C*nXY$(TVH<-dP6!-3`3`Z3#RH2OW-#Ma*=j*cV`5LAF1IdUhp~ zDcgI)Ud#naARQl=y8m>e#P+PM! z$Js4MlY7;|xUI~m#cqwlaY1bSqy#+MStbO~dIgfW!4=okipy;wdQ zJ}_*6ft+=mZN~O)V*N@}^O}Wq1-1)}7sk*0D4D`Cpv3ZPSUN7}u*yi%GT6`LOiuhe z6XB9rnt#|WNAvcISeo15gej;2o8wzJ2Rrm0pLD^+^qmmSWD5V$POgj$kgHi0QcWjukVhH3T+cnG8~nRjYe5BuF5QB#_1u zNE`#n-35@REND)WClhp#G1~tdZ=^oh5j1jLh?{V&zSu=40bx&= z0y`aa;S*q>?|T~hz0k|MS%-1nNBM^uM;wuEbgUb_&5d@qUs@tR=J=z8KH|8PU5feV zygsGO1vjHyH={D>Wl};%99!JvKf2M&O6X$_!~9bFKw$EPi^(RXtu*d2hf)remX+%W zaHD-oQaI))S0X>=h;gIMZgdYhEPe&%=;D?_7;M-o&eBe4pO*D9r5*42EeX~|Dly$y z58YD=Pd8~WtQ#k1t8&H}tbLt$*fh>AqA9CLS#q5AWVa1;GP}*C%h_!x{cRN%_2&Gw zRm5LKYSG85Aq}D4Kawc&npXLdJR}}`_!{hfh?)1;O!|6|GyE4k3Dc01eAZqv)|+(V z$w~5$4;jtByG$wslXiUc6GD`vSvi`5Fa{DA@G;XgOWxoSN&T_s&h)%cOzL@)oZH@1W~d8CeF4JX_&@9jjD0%0l64?Bkq^&UMfd z`7y_S{;*POR*|#xjz;?z30c2Wt0kl|-KEnuBX8+Popz}|ANlXB*3zH#+WbI1q68G5 z6FXLcb?o3*cxbDt$UgqGm-Z&{{-=z~=9ojv@A1(Z3Hh6zG-|Jq1b&UL_9-FBbcvrf zyS*{UWqHJ*a-*BM(ZzwKHbHLkH*WMvH=7sy7=P_oUc}1ZkJQ=-Il&Jur==RQlPY7i zxwd>|Dcp2bDZSQ>p6N!9ceCG9DtG<-#qq0~eoLv|p;MP)_bR1r4z84O7)xnuj@z$B z9N(8Bl|*V^5-HcQx`aOBC?qA3N^HH{^mj{X%xmsZBKY&=wVzif5Bd7tv^p*6#W(4r z?V}{q`Sty@3suCy*BPk2r6HMo*f4DaH6Bp9jMN@(Lc-UV<+W-IgNWa?b!j8oN=$0F|#Ut-#`~nKJt|t>TFsvgZ`4L%TU*U^u}rbvcG>&MkhR{=$)4we?uaT zmt4m|zG73|KT49vTherQl_Y@oOxHCwYWrS&<8*YO?Yioc5a;Wz2seu7yXt=NZa?z0 z%l(*RmQ3TA$g#{#zS)gF>PBC7qaVpM^HtK{2I&^7b088QF8Kk2bzdrpk-t1tS58%> z>J3*&c4+T-bo>+cRtb9~E$h7F6(2i7_eM!PXw+A_DBt!+KQT_@GrrQ9RF>RJZ=6C* zroX&yiMVSHePa48%^agk#gpl&F}h%NLeq0^*y7#sPOw6#C($h!T}7fBGTIDUs@h|Y z?|J`;x;DhO?_QTo3^I(4o}_C+Qu#fTbZhZQzo$g&SjG>XqWeur{4ss%-m4Po|5~bR z=tehkqf_1J7PM`qt|MmXjhVVoLi*CB^J8=(J_JG8jtBm+3~5 zwbW<1ZVIVHbC&CRlh^#?<+_jR=;-CH409cG+~^!PdM)qwgYJ|%`u37i+orUXZsA7v zrOI`>8)QDcxlUJ?^rKRd<@)rge6LJID{&sq5nr{l(N$oIE%Bf*bvi zf3}~Mv(lte+xc#^-HqNzZyiB7FVaItQL;_+-BFbDF8%u$xV^mRaaPXOqf2pGxzWqq z=x_N=r&u}Lk0`Zm=SF|;Mz5slf1{k9G~_HwCeRjVQO-&<W&ZrFZIge%=+jwx>REH`?-8@h$d(B(Dt^Zi~2LEghneu5^}(l7CA&E&g|mfF{$w`=KF z`mG9tTm`!&5$*!k+UvpAgg>Z%VR2l&ga^s$7{B^mn1#Ku3#(5I?MZ@yML zeNUB=JmP6b{dcOe{AJ*6$3>nziyOEIldznA))f#DbbMDmN6zx!b=A*SmCZd5kHfgQ z4Bb37(v+U?s6q$zgvTwK(^LP1l%Z34A%zP3u-^J5B>3xFQu6qb-8jKow}5@P{ZW|2 zhxOGjCBb_N|Ce?Rf2yCpzKSg1^#k>*2+8F)4AOTY>Ih)b@6Y-MYXNds7{zl#^bJY5 z{Q!}&JAyX>2gN|soClA7u3*9L3J>@hL-pwf+h-SDcE=p6{wk$6y3xEFeZ-B#}Azta<6zRVi^btS3JzgnlSrzCIqgrD>S zHE8E$oAtE`=}6CRK|8c-*1SC2D(bi4Wk{7VDja%;eWT)L+zL z2Q=xW{yIsgonPt8qjb|>=?kze;QPGM4nsp9&Red^zG__9A!qCf**+8bpVPw`9?>L) z7cx9*sfmG)Y|l(?zYtAcXkl`Rw&@I$ZTz^-9?mV=hK*l21r43-VQ8*>+z9ke`X{4T zF}go3YXIGv(Sh^}MmtkLAEWyiy@k=EskbNSo{WyB-5G6U^acJGPs2g2-;R1HGZbfXu!(cieyKe*AqxY574(TCjVKP6h4OfI-7uDH=fZuDa}`kfoC<>S*0 zZM_24zCXX&{>~9Qh)ZVRseaU)Vuj2vuwF$ku z6eea~x6DvgO`h?!S2B}T8%2|?`(R?HOIE{VB+sul_^#1D)*udgT2oK-G)AMRH3Qw6 z(dcQ6cB(<6r!jg9qtVl>pnEbJJ&n;uMqi-6F#3QBbSD47>RHy0te|0CJ!hkVe(dVG zK}&w%)BAXO6YO=m^!4mPYS7>MdS3DD^8AHUc)7%gPx$%o`gx90l54!*=blFi38I$< zdghP@wErN_bDqCGgk9@Jup7lU9_-mzsSSSsNhN;XP|q$(?Oq3%Q~ZNro?j5W3F|V# zb2!11?#VAbJ9}vVxDMrfzQRP$O9U%9ne5qFPrC74Gd(N&VOGeZp3RkBW%k49#&%q` z^rlrOdM5C`%RILd@`^vS+;gdDzs8g6AJ`@Jh0{7CJ>ZR^IGZhU>^Q3%Z};$erzSo4 z1wLMj39(a)uNNin=w4s1{^T2KHhB%ioR)3!ick}8{^vliUsYs2-?NNYCxY32cc@oC ztP*9zydv=YTtCb!ige+-hj|@QktKY&NUz%(>?t+TUfswCzE8B5C6vVTvm1Jy)*$(I zsb13w=Fv+{z2>ubgafQzzIqIfu^C=AB{tcw+ju#R?B2%<$0LyU^Xe(u_hoY)4YKw>|!I}-cZ%eSWXuc6PK!Z-ZG0RF(U8%Y=o$UE4(Oe;|Md6f|Md6q z(vW<5HNe7j`6ukbl+H*$Rdl%iy|`fF0cIfI zx{8ldsp}sOrdPORJR;ubl#%t&WS?o|AAWzb&oz~{tR5C2{Hi8CXwC(+d{dv3en&OW zn4jN@$!5QYZ2Egy)+&R^a^FIB_^mASY2&kv=wH8q?AaSxcB3t`tNj|X zYOiJ4%Jx2|2z!y<(P#g2r9#D5Y+>v`$Oe8|x^a&WJ2C5OoTDcF_+ved3-x$B>oCyR zme}ae1C6aoRr+?Iu@VluVg?zjl5>2ALB`{rcxzvFwDF{h)a8Y7#=0u}cyf^R0v20cp<|*%E>Pakgj*sapGMT>jF{NWenPxQg!*keX zqbXWR+SBtUQ*WHN*YYzhLC`<_Oar~+8a|eL?=iiW7{IY^cfjL zzhm4$dMdz_N~%#)plJa)%>NK*%J-_GPH=gP`^bn-*?>>ktNbRjsk;i(q#?#MQxzFp z$>l7b=v66UMXY!HFBMGNRaNfAx~xPoDgO!k`cv&bKBuy&y$Un)?Re7YCaba8{yeV#22>)A`n2OzB8@-cH>0#=wY&7>FfE>$QKt~+kymA2@ajbWv=ataM9DE6V z1gC|Cy-a3h^p+PczhjQYZuB}gdMl0XYif-b9b@~N4&Z%I?S7^cO0sCz=cXP?vYGEW z$P_^Eh%{=jX}gI`=3^(BCK7`-|B-aC{DE$oY$}5jtK*YRJZ9!8Q%vhTL+9r`a;EHM zAC@^T;C-z4@xaW3qaHX$^9|;j#;7nA?94I6l4~?S$Fz@>rOW4=x{$;4)qK+g@)`Yd zfvE#|Nlz>=RU&`T7Yj@k@Zc7)&=iJ)>v{`KRY*HJXrZYpI_}birZ~KPktr0t`0XN7Sit%dD8xg2DR<4GN0#g( zjm5OW*XZrl`0TII)MPacTMX|pwAo@)BAzzEMR{p9Gzn5nt?#QhX8Q137Mp$|o`a4) zayt64OHaP<5>s=6BZbWrsXd_AsObSVFekn>g_B$Soo`L?=utFinW;7zPg^ZR!rkfM zWu}UxHvMK92IF=5a+xWC{LIHLH#Hz+1Rbyf#cxU%t}xxegfRR&Qv@Mx==_y%iKV}- zG}S=)AFV{JlYH1J(|H|Q^2s{W9a4tBxZXrmB%EIU8L^%8<27z>-t5wi zT{^N$8$P&9K+Ds3f7<^}fUlag=Epb!E~@bUwB^G9wEuH{%AsR}uresmV*eR&wAtf^)JhDS`d* z_`nA?4*X6@#_>B+1HaagMSRm1fmizx!|ZZf1MwGxzhL}@;I9l{Zfj^-@4$0y?l_ZY zI*l_=g0Lp0Tgn?}AD}i)LORcrpHDeTS=K<7>l+fFb5C)mPjke~Q1wy*;P zFVu!l3+qCB=ie-HIQ zqD~VV6SS!-S-L!$%e)Ke|L|@rN%#LS$p1?Wn^af-{{%;DTBb)-SoGTW1y1(&ckQQ6 z6aE+-j(aTrs^Kq*$!O;uQIWRKp!)yfFBCoHf8kVxTG_9_^!ZN^2b-`8MP&Zw4Z%tY!rWGY`Njby?Hib1CwSvaK*je73Pt^} z0%r#8Ji;7ZQ8~uo6QAN!KE)@hkxxh?AKykk`bM7YGg$T?nUIm*MnT5;>X!dOH;phy zncHs3cgElgNOd6lfD<3b;V-TlE*4Z5llP>LMwmatl%D*hIjZd4ZTZf-(5gAfoc&{b zis}l*yqE&#c6!rp38zcHG{_+oge<1t zd}SVpEz8HR%uNmVkqP^PT)mFA8f6YvEg7z&Po|nVnmx+g(l7wpV5Y4^Z;di9!@=?7 z(dKZ~#9=C0xY=x``$wBQcv?5hM!I1%a*R2jjO9O!F=PAigyxJhXXDeCGULs*B)rjB zx{HbX(h9rHGl;8<1DuaISjTyrGJrDND_ zBVEF73+OI(`-)yx>m}8YbVRY3W=4yC5d-e}= zb)_MU>P~`vOjrJ4E=xO}Gza04Z`et5b%N6f+*GGRRn+%TbO?QN(%i%_w@bb=kyYat ze1lWwW=hQFv;H*K@_f@H-#L}Z6(MwZA9J8j+yaH7UC(^yY$g=w{XbD(ulWgQ%y>_9 zo38%L9Ai%CAlLT3pwh0hNTGPr@3!*=bNhwf|I6H3)jvo@r?%q4XvaKr45>h;EP7kG+J-n@m?; zGB;MH80nVth#YVk(0ExBd)eH8T%ZFkn_DYi`p`<(%%Sw}%jPi8ymtA{F{~+$`bf>% zZJ9!0ZlCX*%!Hfx&@1@diu_6=uA0}YdU~^d7fAE3nj;N6+U7g^GNT$)d(F&Y^IGv5 z`pI^PMZjV&5s*&3W>y>22qPk%qw^8lt2_93)@gtDQZ0E7$Um-`jfU=si+@;Ip%zcJ(i;WlYUbi*`OXH6Un1GXfgT0BH?T`( z^0~BHp}DH6r$HWalM2n@mLK5NmT7BCUTlVa53eWXZ#%0Zp1L#4#fh$<&|JID{)r; z^fjP7Xt_6-@u$;Y-k3Y73SKCe3^$jf75*`|HS_iIo$MdCR8M??QYaMh_$%Cl{*zwh z{EW$m)0O|AoN2Jz%J@k7@gL+9NkiXaIs4A#{+RFb*1Q_Kdivp=`5mdq|MT9wRYf*_ z^D`G=m{TL)IhQ#v-+7kHRjQufSJLD;Y@t$dZMvOI$akt)gRH+Vroaj@>X<_DZT})C zW>AHihkTrmuQJ`>qfhZv1V9#!oR?I~cX~2C^K0s(XB&V`@KX#Za!zDTvI=2({eYDq zOU<<~1i@TfQXA46YA#Gwi6wCzC^Pcdj|EP+T5dr5eI6y@}(Kt=`vW5;qLmvdf|2#sWeolMnxM0<7LCFSn zFkPVI(hM)+^PLr$b^*Pm<9d?Dw2_{xW|$5!`}K;Nqf_+U5ap$N^sy&aAFT)1-0+|( zwmVEYk#_OmDrx%OQz}~1&6SYUdJnFyVLJ3DnI1=c9^7!H^DbTR2b{+kIJ03fl(U%f z6kToLYLoT!ssWhuAzmSgt9Wv)u_>71$<;C}gZOhM?n(E1a#e8v^2n2G5IYy*o=hBk zSFAjcih=lB{HH>(dqI&i5I5^SVU$dvU?aOLruL z?_dz?h3NBK2CMFfuxxHxaYmsy_-&E%Jab%ihdTYZa znpTG0ksHdJ({p=V)=f*Tb% z5}7@dzTYZ0=4<-VkBc#kft^^ei?oVAYUub) zw;ED=D-;b}1}jT}@&Ghxn+!Cc&i4n9)@Anv-Oqr!y8|r-&>56Lj8szs%0L-Q-5-d! zsUlRlN{fvOMHiQ@tb_z0MScAByQEOm*;nLjh-}oJg|y*WE|ew(abad3c+`Z2`gTD{ zrh8!>b)d*Oh{+4+gdi@4dtXVe!rx2n)R*xK5ZH;maASc~qQW4Q=%~wjhGflhNQZSi ztbJGxUlm9>3O51T7qNO98oBg6L|aYj>60%U@g^8DSkIt7alLEpU_aWQx6v^S8BHgcKTdb-N<=N4dwKP7?*W1|8*#5 zRH|-Y#p3?d66Mnii{h&oSDEP9aBj9L(WMN*V{$8((x0DOmW%XJy*s6(PtIUJc&ZXt zuKZE#b{+-iJHKb864;OSqzC_Y4^i@eik$d=r6|-_;Np7;U9n0WSJ4s^B5#K7l$!5_ z`3S`w=YG~{E=m!~(eL6AaPjX7#W1)uW)T+gC*!zXO7e_OtIGLDXoK>du`DG1tAW24 zPq6V(-ErOkt=>krSLJ$`w+G5Af149xcFbTIC+OpNtnS~(b8%)ftWi4(_5R$FP80tOQ>M#$Gkp|~IqO+~Y?nhL61ZSI zcGXJYS{ar>EN(|?(D_Vkq3aU37|($&u_~8dO5iS%>U488j>EqAY&C8pAw%et8r)ad zCO)gdJy&`jp;cFMLG(jSF4$1ZH{Th`61qhrYGJxKdstGo1Y=ORlt0m7wXl22JS@%r z`)YA<%I-4bU7Kr10%)Jw*kQb)U*o2{d`PmpQyX^sWTs{vFso%IlQG}P%mv1Ldx&k4 zf@qn#TzTbSnduBhRsWEZX5?ep!=;${<$i6fRYz`(fgA*bLG#|Yp9F4=R4Vvm3r!4u>*+1nh?deNq3wRnf$B0O1kijC6Hce z$VD33z+8M5YeALCoK0EqJ8jsQi>4crxp;1&PR?T9?kfwh!jP5PZKXv|gc znFJ=oW&9bfmcsQ_zTCr*D$s)|STv4mWu%kzObU9zo;{)?^=$;@OqX&2jc9~vv4!Lr z`vBGH>(WK-DM{hIiYTHQ$|?9tNIvzU&eOcZ(&6U5pL?2DJ=*dUpxN8Vyl&N|y83yIZP?A{Y;J884#C zngFP!1VnvPQQ8+O8Ocl|Qc)Ftk|XWKl)t)^_vo-xRAM$SrO*zGdU=Om3wC-1^ma3oKuPJ|FH|# zOto{hlIHc`0%`ZI7?Cqp(~Tp!vizE^ToO^${y|BjI#|l^AG&ere&jaad^mSWsSKM( zon5%PwA)C|TXi#ANe^B_N1is4D^IrYKaa!|L|X6>qp*_Td)q2wxJZ0$+G-32DPBp= z8jES~`rp@`>{sV_$k;Vje7<=!maEoi4#eU}95+iW7aLk>uzDR-RF%zOys7=JCL zXI1fGHEs$vaW22Ew9hznxNy3899PlsBu|EWN^gzhDCtcnjK>sF-X*TW?-|cMCwQFO zJdtba`QlI6Ts4C_CvrimchkiQDU#Nn#6_D|Kpn-BI5J&Kj*aMpNkp+}#vLa{0*;{Q zlu3Z^=d!c&`zLWfDsAs=N=3Sl?<{2}OdEK*#^2FoOdOeaoCyrC(53HHqA!B}4fGY5 z{-{e|>aWKCK}A1H_TS*rOaA5IV}ZUr^sPaw)bniA8DS~AWGdHL8DgWuc`k~dIF-9g zl-y(*IS&t=Q>JrYDUVE|TV`_QjQyG*c=jFXC~4IsTEK*hAuK;n7EYW*jhS3Ie$))E zF2PSaHqXRjpqt1ntDuwkWO7~E=YE4{Vagspp03)4`RDX3OxZ2yRVIraPmSBzG(MZl zRA!H(2exCXt3QXsuLS1dd0jt;^QMPpbB$@IIh+Zr+Tb}{qN>3-Y%CgB0_fJp7BxLM zhbyNH9!CpyU@iG)4p&E+C^KnUTpfH6K0Ql(x<8qPZBYlQc869JkDF` zIhNI-nL6fi@ycL{;bGHGr*aNg(m53^QNHR9n4*T=bsk{tc@5It6)o}f#bWLkl>ywh zl`KuD@C{cJQ)R>wE)icJbXmeJ#}9N~EkWFMd~?d-6lV`@z5?sjnqRIPrh&a}&sZ+T};|gYW5F+?3P%&;_eG3oZDOtEe0x zGga4c6-jftc@5WyCXYZ5`+f~NMhX+ORn_Su&v9keVx!{W;yN?#YHuYSF&k%`E7x+> zRjXaxqqSTy*-o#nLw}#&i)~vXXu^6fgbb$5*K@U1slAl+``;`fbj5nEEQz9f)?@B? zzxukgdzs3=UC*sj5(i!OGfMR*-NSC%=v8+6hQ7s3Ilj9%tZAK%7}uKa(zxES5#w5A z>?-H9>lbuud@S+{N`H<0b z=60k*W?`@{+=lx2k*?f^0@)A#=FO zK1HL5V)ymC&MelLBkAfL=-(~qjUCv44WU(j#Vwmo`IT#??AL*w%ED=c@GEji?m*u$ zCS)g=@D9?zweG~gO>Zv^+_+uPly6TPW@G2`>sX@L@ZzpB5Kq5q9UaDF7=N=11Jc-D z9-WK{mYF1;i>HCRk?B?*6HKgRe+N>0>H*(Ie5c)91)VCgl{|i5Ohp-{-jl}fyO#3! zEjoblTM?W%elH)y_&r2@4xxNYX!Aqda-}w%-aEv#A;MpXme?gT&|UTJObOJpZFFgLhT(F4U8d1whZZzH= zE<1_c`jN);@d+&1MJKr{D*Qls{~7MJQgydJrb{R0_H%!8G0L6wY2+2mufb=z7&41C zILnPy2G^(8E8mSTEIN0@RbULLDPvsa#woAWpu_K?3r1Z-eH@`xu3-@DpslWP4M`T>1L4+# zo?*B8)aN?#@MpKOboh0o?Wj(T0tWl<*SQY(ooB0jt_n@g7yB*fL{<6fQY!q~d^ErE zP6BOxALj3FaE4IV;lw1g)V%n+@Rx9Ia)d#FO zAyf7SbBk+Fd)-9;3Sb6Z=;@nKT?G-8?A<$a!6(R*AwjbhTcI69q9z7YD`x$Rn^Kg@hMjO8td6`x+lFMFjl5Rn6Mv& zA^%TX*8vyB@%?XiIi(347Q{lk*#i~fIEq+;SW#5K5)n0aV@FYA|7nayV`4**XG??_ zyRk&gs_|zx_ClJ zTX_#r`m+v4A}EJ~oU#jH*Fo|qG*1)<)S=|xu`{r$&>SE}y+bN`HD50nj=i~O$MWCc zB-GJ^So1!Di0MA*0sK0)7B&6@u`GCiSX#;NPjg4{RS1uz8on6ua0ri58U+-g#<3Ju z1c3%2lzan)PCkS=2%i&O16O<)tcrSOZGvZ93hg&}wK*X2kS~4+iN3*a3pT}L8Xk|J zEZ@Q-+k}32gkUzND#h?|9Silm4fm%Mqf#I0!D*6(?%gs6dOX_#?cRl2qi)epoOf2H z6}KQ?#N~gXSD+!Tevj3-HsxRneagWQ`uZ_q-i_9CEP>8&5J^t}M1Lr`10|s)u+&ZF zQ4T}L9bAI`bdr{qU}(;#10`4+uj9bSIDMO7IH>+4uP0_Fq(&fDtQ3G|PXg;%*K77J z+yxC8t~7muDp3lgTtm9)WHa@6Vy@=i-GRI5VqS$PJl{cmYSs#Sxo;N?haJ=cok};J zpv8yi(G#qvH-f9)PMKj=(++M(7E0}Qlp5pEwG-4w4r&hv^%|%_-F53)I%?SR6h?P; zki(R{PqDux{p2rZk6`{Z;030PcC_~eCTr1O@hLT*5Tyn+-ZBG;{f#;QB6a=SoGN^y z{PedONAz$P`8Cp~2_3I#>H7fX$!l{(Q5;%z(ces_P&*>fx+>u)Yc=}Vj>OfqD$TR2 z;n-_84;SVw3S*ei7NxU>f(3v5D96a$7hPboaCOlurfz8ntfM%t3NMB}a}dKay3qcH zha-)C64-F@pUR8Eq5dP0G2s+_Cql{RBC9E6DfkT=zoJbNdm(*S5ot{_3!r08>?5&l zMYT|%kukA)#YMweUC+b6@*Rsp`(Cd5mN#hF-!ekc2HI<69jQe*R)vDgF+cRkmgQ92 zCX{302-Ty3hqwqKM#F+(S1E-n`ur-tjAa3@i;g#Ub92aI1x2Z@iy5@p+!mXq?E^yx{ zCC-)k^G7dwxUmE%0kF_1H%QFH-7%1+X{7G%AWfmk?ks^;xv^j>;)Jo}Q2~T#cMv93 z00B2@IpGK=xO;#wfWkajH_Xgmd$4=R*GGD?o}%ofdhnqqJowC$R>0+C^@6+hP?8sG zD9!Z5M(1YPmsWYPSTdP3=b1b^{RTG=Db!M=iJp{D4sDAyu?pfho;0x>?vW1!A`p!+ z!3UUTIaooLOl%a~ndl9#hSSg9a8on7?hRf7c~pc8+fYjml4){95L0PWML2$dCsl{1 zsI(&V5BH=t90{oe{bMP;61)Vb;>I^8Oyq<%;t)@=yC75-E1^3zq*s+#xRijVyt~2M zrZPJrZt$R;Usl%$BV+s!*>2RCgT^$512bgWMETZKb=M!FA_pJ*RD!w3V*A%$A6DQA==- z$?$xEs3o|i98p9q!40vnTr4wBSXe!&KtSTOhJ{dQFuRZWw@L`ARH!8f3zab;47)39 zXhv<_Fqvg@#kV(WjX=SEhS;zMDFA0>st#;5dkC|ibn!cv!Y#3RWQ>au1c zsC&cNHXIQHu#kHMW`dnoRu>5>CnzBJI!P6u3p76+>zk(0EK>4!U<-g@>Hljq`%~=u z7j2GZK6D}mW3!Epc-KP}{yLHl1l4VdMLk#QvGFh&zpE1H9yBhNMf2Vn%eskmo>B5H z7OK>%&mK5Q4T}Z!G)0RzW)-7~sW=XkL{1zAeff8Y6WxeIORv(SIMz`7@e%E7!dlRX z#w=6xc|=p)e#}lr|R$w51ao zY-t8-)g6h~O<4tL*?aVQ=$Sp5p}MX`+^EV5HYIRcJCXJ_XGhUZX0%Y}tW7OgI2l{Q zH6xNSs7hNvXd7K`fq`G6B_{OE)U+l02D!DBw#3~lGqBMr_!Jm<}fk2klS5FS<;$?2x6Oil-!0jA*VL1wJ52`*U~R{1?_&! z-)&e^%pGxUSziq7Bw%#AEen*oK_Fl@QXc~1uQ~oDpzd%~(*NF{~8oxtu`@0isE!l5sY|F>2v2;&IAd5@s$7u0copK#) zK_S1+Yyb~gXVymgMq??DIIm@)ZqT#0T1T|3byP3p?o~oK&uN z$B+`fBwG*GOzM19$UZ2WX;}|8*uNlOFo?}Pyt;Zgr{D_OFF-U5tp31`mziQ0F&}QP zgq@^jJ(*3K4h(nAs?ma;@KHxP2q49Rm{Nd~Wfgkig5s7>!_#r3vmd79 zOwQSKg_8S$a~>RN@)b3l{#3m;3zOObJGU5m-}GZHG`u(KAU(f~s@&kb>%CbW@#tkL z9tH2#?Zd2C9`)!0?!$qA8^>t1r#Fq}w%UB;vlOFGAPn z5;v|o-R+BhZzGR>tg&dk#La3dUA(AUw5=a3`T>~3qHa=KV5%`=`oox-7d2y!^v7_& zeSybarW&8Jx>C*s-J~I(vX)}Pg}2r?QPHR9qj$~=6#tvKDm5CwWa+=>`Lt1){`(nb zmze`tZRsoUvB_PPPH}!OU>M>4RB<3Issk+Lpd3j32eMGf{+mD}hQMQ+2C{C_CSa<4 zmO-qJGzC~MenM%^CR|BI4PrL2;6g_6qS*^#M9LmzMZfG!!RhQnJ(G`syhR(4MnA$mh9fr;^m!1#96o9>x zbadZ1N>9f;>v=}&52w@7AO3fm=8Z&u@Enf*uleTr-glu5!&wK+;ctc` zoqT+X`(CDTBUoKgIi>mj6cB0DDMza^;QMN)cpD-pD+6xdcT(>OcQR1#f|FVg4IarX zLLW*R3HzdH?npG!2tiCT{`7PtthjJOw<2y7ru_e$Ap3CCynhrfJx%G+C|KiiLNj0> z+$9}3t{b3?#>IUoy%~*BZvs(`_~)M?qW6!zjd-lI{g@tXuQ6cF2Bro(bquOb1*Qgj z-53PB4lqZsUFh#IaK}|j8jCTo;^_OKJ~S4g{`9EcA;-a{An?^t4;cri9RF2yigJ4# zOOu2|C2kUWi&%RCDUwFQr9uRBl+G}Tly*kgme^z1^<7sBszDj}p5GSlwl9sRmMm#z9^LI#q zqUjO`zVw`ff2hg|fSVMv0#}J|mB}kGn+Z#3Mh;6x=5#5CjYZ0ol#AYEr^y@?D4TMT zCP*8;g|nuc1IT?P`twX+H#pXaV|{^neQ6F*hOR^|Bt>5P@1({a2xp4P3tkM@LvM0^o!D>kZJ|Nuy z36B7{{*0V!!yGN=@=y@Ig%qb?Bn{AMn|5N}+pn-_v7tk1Cz~mroUIiByP3E`M?AP} z)m>=oC?#nZ^D#=(W@<^-ti70pC(Pve4X!%-aGej>ha{$OFT&lf4A~?GyrcLb(@WpS zE{h#zXzACW{j7^vK}GOJ@%`*$;TXjoV28wpU-D!P?l}nBbDDgRP2?MUhme~zI>h*) zUi|JTE}Tw1n<1k;cL<%}Q|0<0cE~8;g&oKFcv_~MImsk9q&B}@LXz2EsdAb52trpS z>!uzaB5DjH=y?JNL_8fJGm^#b#bWma;P0~18Vm|Tvb~* z@U0csARZ5Ke(=}n3N3|N*BK7ATj<0MT!TL6LsyB0`Ef<|PjH{!>12P*p# zZl>(pERh`tIfrYRr)g=6-_2KJ{NwS<8(hmuXi;y(_}yW(nK+_A3)HlCm2QN%wN;V5 zGZ$axsC3R9RN5TkYNf+z?;X~xen*tTo#vGHx=qoaf}tD4R8KY2wDOz4lh%laUTurC zn`f~&sm@~DDmmng{b}M|Hd&ZMuRwS0heoL7yHbODSRYsGM-A_?2#+l_L_<-!&bvnk z?_q`>OAQK9q`8CKT$xaatT4#G*S}25DiLsVTrcj~OF8)`OA@j3Q|%Eh16!y82U*nh z5wp3r8d#v+ChSGoj}SwwJszFBG3Fhm553n-|p6Wb9ce?zT%|QR_QG#x1 zaL~KZ+!8iKdeK$CHdlYbWY!6_s*yd^Rc#sXH$QBHHKU8{9eB&mJH)3!+;yNsde$nPoYXa%x*C2p)FJ!N=I{%`v6FHARksN^p!XL?in=U7herI*ju>A2PlEPUK) z2M1qMlTvKd1kjFBT#bLHe@fX*p(}m)5;49<|GWh82c^X;Y*^q1-$$>pnCPQqzGh~A zFk#0(xGK9-2?rOc?i&Q`d!_#yMgktE{>P5GgxgA8L0(o#Xr~;nEDsTcyGpc=JWUcZ zlwH;2%TB^~N~XW;?#E zL6jaYC%N`>h^Nu7;qp^ySWTpEX~^|2SmhdQMws5N*qW*`KKbDPxEL0nEVd_bWg!rc z&%wMO9wDa%wSc(V-fcDB)?EolZchw7ZcUE_!;?pN-@ut{WWmD@x2qFi1M=r6$|H zG%QZ89<-Y2?wjMKR>9p;38!3hgva)gT>XD&eVlA@-R_V}Rj$U#-2|iLDHu}dO#&8W zY4P%KS8sEHJq?AOrYgV1%T?N7v+e#javc|;p;CE~9O;BJkFA%;m&@Tb+JQN84ZKex zE=O+Q`tZ=e{3ZzOsfXlZ;bSG^u)J6h`^}=WJ+StLu|6KH78?v-e|J@j zcU>j%S9yV(&|LXFPo5&;B@~}rz%a>H7G01JyV0%!*+ywMottr^x54giTy8QftYDmPGOVj$Tx&AS@j&Oy^)T-AHca!vPx3OJG8um4KM!~r zr<)9RyAXqah$I;5goCzQFwQDxcqriKk0SoSm}Qb-x|4C1li`h%@q42o%V=C;G+Z?r z4T|S2c}Mx08&d^?eVMP|UJ3Hd7;8uZ#1p&xxw`qv%?I*WNeH2|N3y@*OyeKPNAc#n zCdD#;Xey&v4i+DGprysK1v%USpg2@9IU5M0{3@va4E};;NHh)zS>BwVJ+` zhPcY4`C96Ur6IJy*Ajyl_8j*Ga}rgkW~nDMrxw*9<4jXIc8+#&EQ|i)Sa+&h9asPj z0uXOosJ0p9H`4Fb!5mHPYk(Q60`av>b8A=BgVLIY(87_7TQd=c@1>t>EmZsvVK=SjoG(ee`0hUN^Wgr0R0uY}C zP<9}gJ1H*^=Ao5AV8V$(z})FS9H5m!Xu)DC;h-1QG6SGIfcV&tmYOXM#O)ds#*v9x z+F;A<6J|-q+d^>7YsO1*&`ASc8aPFQ1;np3&|Cus4eTLPFnCbLL6i!_$JMeg$u$)v z*fP~wO!1~3Q5GAH&keJ}jN2wkw`$I|S_beaMOYe(PA1wE4eBZSZv@&gpFXldU0V&n zX~4w8o)l+;mp<1ZZp*ie1i93M7DR%)-9u#yBgi)jWznuEc&)U8TAjFGgS-*ZmLc4j zXiHJRoa$LDo{x6}9zIe( zt}SNZlwjtbDePO?EQNFuvJ@w$kY^saqxsT1q`tfG&CE#u5PWOlTN~dx_=e(JSBdlw z6E_PpX2zTeQ)149?;h>;t*(3ni>Ct@BmA+e6A(aKnpmA_PD`t+(zcnklkkC5aWz}S z!T`}-6;d8Ix3>9^?=>tUkZbYN1fZqIhXOrsT5BlYt*l)?BnvUT;p6)5}L zTetXpP&i*Y<&^y!tYd|DA__$Md3>NP@L+@=o&Lqz@U7Hx#k9v-SNuS#{akA` zrSD$rF=w|KdJMmTDW>rezLb2_`mxJfD#74th?pzo9ksUoKziz8Yc<|TSDa(A4tcN0 z{$tkk_fTDfyYk6#>nk@uRHXLAg*p@rA3J`+Eo5?zs7~`QT7856E!gQjK~;xn$Q-)R zBvzrj7p)ez_X?0O-CAR2CH_1Egk%00u&A94Nb{qwymdch#nm^ zTL62B&JLrgvu!@UaXOnn_QF4pbarRj3N|j0$7kEZv3vEB>zY(X*Dtsw!mFA}8FOs& zgc&5vwO#ggM9(o(-9^=0DvL_yLh4(ZI?uMoccZS$k<|W#L+@N_FEyEOOYnUu$E)@@ z>>B2*vArmFJ`CDTdGlfYxnNDIvMOsZm{BKJa+icmu>aQCaXNdF&aO`poIN{4EA6MV zckAr+)EjJEX2xftsxivCOdFD`a!TML+Y|vWug=W|IhOLWZDVn{X-&Xt(Rkec!`sRa za4eEa2ns$Tm&L#yQhg3y&>#+iXvtzorqE4}T_w{JSaLl^vxGmp%|GMuP#SN?18TAa zQm-h3OD(AvuX3lWe~|?vMdwmADVIyFraUh7bF3!CPZje|ES_`WQphrvLh3n1EQM5~ z`td5)qW(1)mg-V{sP|Hs7pkmVY9lN^@sEiRjiiQ}^Z;Gjg5&U9=g*Y80y?Wu-U{eE z+(?t!q)SOPHK~y#IGV5vx_rHx#j9+GRG}`_iiDL=(nV)GTwS(7luiDZD{#-AdbL!S}i@oue6Kh((9v9-mAZt9V?LS*vV~ zMcFh3)%h?0VuxsO94|mHr%G(YfBiG*nAFn0f z9q3g%%Lu>Jg^y8huo1gV2>TY6ks92|(VPQZS5+l{hi#^a*|qmh6iT5?4nCy=9897T z4zeh47XSt&2m5I%2bYwsyKFw?gd*kmJ_H;qkCzA0WBO2&L$;p6Y$f-Q?GHg1OjD0Q zcoJ!c}}s8wMo(WTZ=1ZO9Htg-p63jRs&=WtH%qfj!6GC7z|2OtbL zw<{>*$-W`fFvjQ{XWOAEx%lZ2PcSHXTPBALzoLs70`MJ5UpDMH$DTay895 zj?4V$v=3Dp25VB&NjL$OSrl;s!d}#xW3y@e2{>^L9pKnTD&b%&1)hZ4f2OG?f&D^T zIoMA(IXFS4Qz&qO(oO-(r&%0ar(FQPx4LRI8+H4t4by5aB;hoq9#X_<)ck~6pGG3_ zg7P`>HMyLzg^SqoZE(gGhFM|I8QW$2|C%OeZEIlUeGV#9<~h_^jq*9DMS*$nNgukI z2i^dRIB)a8zy7ez$G!)C_Y^WH^E@@*9TA}?3Rl$?J&@`b;!Tgkg0Y4^dJHBX2- zYZ7)SxfP>QJ%s7X%fP5)FJZgV+7^`%h<9dYc8pph313qE)TpsSin28|>V+3xySZ*4 zFIKFKpAfY|0Nr;|6gF8OE50+h_-^IEtf-l8;J02B)w7(iSy{I%>V<%J_2zyX72ZaO zR`Lp?JTXX>oA#*W^7ywJ5#^)D1`4Z{bs^Ch%4?KawWI4r2%>VJTlBoDSTDC99X-=5 ztW@$Ty0J6vB>Lt=r@9Fjl#C70coAf%QnE9eDhgjJvra{y4G`GOw1?67#^75I-&lO> aD`^iKoLwx=oj?bMSSu-UGa7zf?*9O5u!H#k delta 43625 zcmc${d3;RQ`v*Q}_Dq(^WRb{j?j*4UiG2%#Fd>%OcWN(+5{hE%M1<(5Q~OTs)N)lV zK_iN)qV`A-+!6a;+x*_=-aE-?Kd;|kzwhhU*DLot%lmoGbIy6rx#ymHM^7$(Oito2 z>zv21Ct3yjZ`iJ@xge68Qoi2GfXBvM$=Gtq+%ROt)(Who}!0waEaem|{d!xW+ zr1$PQfjd-W=k7YCV|BJCLYEmPg*8)iAT>sjnttD!-oz3w{5@2mu%mWJi($@qRE(i5d@li!63OC;_hxHunCVGJOZ_5HnH>;eR)q# ziB$yUHnBA1ARk~g4l7`nqo}1*s(oG=OZlmHHv9()oCwgWE*F!9F9h0G_m-mX7-L} z+9T;2MfwS*e+K>Za;V#yIn)ww%?upcC{paBhhebE)bt-H*7ii|olP&DPG+xg_s%iz zGaebI&;Eplp?e#(AqvNLVC1mj=1p_AVemuP*7UoMMozgSteM_E_Lk-d@~3^MIV$>Q zfDU7J&zhc_lAa?Jz#HOnRAWVTYfbmJT(KPufx|=oS$qywRHT?;Kb~GJKr0mGlyh~wSEjK<8ZiIM_)#wz0 z=Xoluwv1%Kn&F*ui=nn$QM`ldku`m;N+Q>uBTVu}=&tl)eYt#9j3T3*?-4fAXiAk% ztfy58*+Sf<5LS&~nQ9W9AN(24GbUJqg`Z{0SNI83(E--<6`4%SYF2u;u%F?gY`2M* zqG%5bYf!PyJ5Y{FSrU~NX%Z69IjS$UNod}IdR`Z7jg?DV@eGtHv6rstsTPkKXA zE)`BQtyfrvpM$Wu{iCIw{%kod>zxMn&e74fXBx%?KJZ~hbx-sdbM9%@i9?c-{u^V@ z0K|IYHwH!-hFVz*)RWnq5C6IsvkJ2aH!++{K4An)xFwVU$!=wtapKS8=YF6o}fb!djnKc+Ryl%(mypSiGZ9p)0f}cHh__ z(!gFe)?&N-!s!$ynskbk47CN#cec?B^P;2<#EOU3BDlTDa&Q;>V{$w#o~${-ZdkG& zsW8daS+dDg*#yxGE11SWuCiAa=U@n~6`$D~*$(vT2OgkF#` zqg+T&OiN%hLYx-D0HaQka2`Yd!x9!?t}r9=v!TC~CHEn-PKUL1nn2PxYx+kf(8H~b z`5(bFnc-KvGbb44<{!`}Lwt1#;Sw&62?ZMY22h*`E97R^fF%~wU`3jrH3K8f7XLo3 zN`;f*y8mdKxU?;2yhc~lz=WUrwbU06Ca^H3TULoP-aAwb=Sli9%VY?|(PWpWshQCY z?as2vwk6j!ik8T~2sW3!Q;4D{KuW16speoZxgEW7)%^ zU)Nrmy~|Lt!1coSq6C&(Eo_+>+s{=fqw1m4QJ-LK2x(|H#)T2i9v4@x%RgGQ z5Baqdk+5!WQ0dUv_~gGw{3$99vYZ;@0IPCU39rE0zwP5%Ss0-5`3q zFU+$iR1B?WcK5Au^X(z|zSddv-QvH#uTVRw7;O7g`ZMp5vUlBBEHiA*B(+aT|8S%s zI;KM#VYP=_OQwGh*J4X*31cfE_Ds#u#bRxz^x#AdmX+*UXh;EN*koUkO;4^R%#y41 zm2X8qiJtEZS@z16Li(RN@^PVMVrlyHhPs{(*)A!%?7(Q=a1-Tl3`_@Xawxvi< zX@i8Z5n9$@z5`>N8Whzli=Lhc8-qXVpOd1=ePQPqX;qiH$0~JC3zt7O(3KXjCbNNV zC`_#>hTTFM==SWU3{AE4WLN)~rMQFT{%I&Ad|qu^x!O8o?D3TXZLB`wteF0CTJ6dz zsZAr*c2*kt%idCLC6%pT#IVUFmF)@otc`z5^GY~0T5e;9r1l-!S<~MiVf9+4J+z0! z2YNLC%9_zmj~n_+d)@fB(too0SS^{F_7WKk(xXcZUC>|aZ@0(S*SCy7ESVau{c3z@ z%XjZtM+c5FFj@6IKQQYj!opIY#{v+$=l{XLDA!}AvdNs8=IVb$mKk2ko|F*je`#Ti zA|<_$EwCp6LQSdmQ3)20PF+w1j3e!<5@H){)VPoOrX+D&{ByLpEj}#`ny?!iVwU}K zc3u=s?h6M;nH2WkRcgq87W<+qajLCqoqcwlGM@Vbu(avf$V{?7tHQ<40WbWBMM%2! zGG!a|)A zEp5FL|A3?x>qvhlo`g%$ZL!TZ_!%Kq_CyedV+WI)J==4jA|-Q@9*KaJuc=-rc*5?B zPlS__e$c=5*|Pqp5_@arMA05|O)sp1o^|2u5`9W0d*(m|wiMjTe1%D}ivcANYvy;d zi^h7Pr>t-49)j#b@=#AkSV|C|c?gsBYIpray^RGSM)~2f6lLKsjQSIzQ*?H8!JvuT zmUC64Bsd9Oa>65Vkm7|?0HtK;QdMJxq-m|ANYd+OVI-};a30%E^cR4_n`Vs6Pfaf< zIwdTT@Yam6LMm}Gi`UI;u+Rvr*>3eA)GhIBJ>yDs(eGh32Gem6j4L}?g=`=iu@Jw8 zjZ3jhR+Mv#FI=b~)%UOXIH4-5%|}w&b8Gt90-3DjKQbBV^59u1uyU^INM37{SnQbG#KBWjuKcS@on5>$@*ScKOGV)Nn)^OZGBZV+T`mY9S1RaEeAM@djOP28Nwae4C_pIBh{em8` zVs+FD&N@=Z<$m>_j?)Nha61#WL6ar$AM8mDlFGe&jr77ZA&xV}XF|PjTa?tZxXw4v zgBQN`v?nA6C~JPOA8im=I_ra!lX`fv=Bh1NaTG=81rO0>*{1(-S?ymgEzIQ+dwgP` zGW|XC*!T8($z#_+?jBh}1=p4q(S}R|{-;;c9F3Rxw^&)&oQ;zC*|Of(%@ZCb1z-D- z#Ikh;LdzbXaUS6mx`MGzD`{zS(e#bbXuh99$U|2Zw{3;6-Cm}C`Op{gQZQs7y3nO% z-Uq+4XD7ziIr`Gg{T?vx?$?25XMM}&!F|oo-RqhA)-7fCIRoIHHEM26X)yOdz#1PW zy0|Z_1JCqBW&J`~|KWwyIn%)l^X&~AG%9xnqR$8TfG8jJB;puhWQ2)EvfDHHJ@k6!=s_~AKQO>|<)eEF6QaK8g@C6`q`bIB@sidz+HOEA-b zpA2Kh>t+6&tbf~2()X720^{Z6V?!XkVM9>20o27KTm_8#5ST^VH$uo<48dOZXza?~ z6~fFn_NPhZLQlVu0&NWUpAB&%(SM!A&)oda1>^320(dsWX&LZu{M>(m{Yg^!*3q*2 z<$dKL?pIA3;<*s8=D&O@HGcwl)(uT${ZLtdQPy_{FATIFZWLN~2=?%rDXd_vb~nso0xsQKsWm?vi)CuWcwdw`)ml9kR42r9jIl# zJ8EPOUw$b?m@4yyjL%H0$QI+D;Db3mC&|V!*+N-%@JsPPHL<@9!pXAmCkbd`z@f5i zp(Oh_39`pscXSf~_*2CIh`>`9jE3 zG6F2t%<)2M?I$=@otC)K-XJ+N%+g6Oc5rtfG8(mJJ8E6ZP2mgI9~d4MdxA0$Cadhm?^vQ zDR$FOhEG@ocoB{OB`+;yao_}qJHrc`TD9bL`CJcqq0q~MY`e2ru=4C{d&A^ln^9=d zUTW$z;M_7rn1+Q#Sb;65YbCi20dw3{cGw8*W#KlL`6@DBN9J$Ke0iBaFY_TXuUw*& z`otg$p38uD-KB`l0I&)k$h@D-Uz7PpGJi_utH}HTneQX>n`OSO%rB97x=B57OtyF+^J_Lp_-l-p@JAT_l#BNjcCeirQyGMHOtk|lVRMOo zeu;kidu=4PB@8f!0Wg*Eg3Eo1kFsYqFIB0#s4QL;oYJb$^naUFW+t}a|7oK9kCYAX z!>+7uclS(s2~t+Bs33J(4MEDj!?Jv)ERT@o8)W$~Cbz**D=X&7ir4og2a{yJsqEmU zEFU1tE6MT`vb>cnFD1*j%kmnKOVe-eM=8XM16_-S?Lm1-G*t#0iov~Q@YuPo)uN}2 zx!1+zu%3*WKIpT>B3c%QcXL}TCd)Mi%U)J7FLlL5?DYpJh@R=6trq#RIJb+uTCfRT ze57Zx_e|vi!jUDPiElj6+ACBq<0oKC{F!2-{bVZVxBK5>8~~<@2Y@XDY_%VV8v=IN zH7wmvoD%6L1phePp>mJyywwcFiT&3Gh>J_2>_|Qi?J1cGO*^{|Vc9zZUp(L79l{u&1er*4%Wk8ek5>JO`7f1M_f)t_TNsuGV z{M^xY$y8V*I!Y*UG@!)Muacvuk|V`+sj1aJchpgKRG&GrT}AdH{aK&+lsK9uIf}m{ zwk=q8l!v{%Thl&Croz3Bm{+;S+`w!;?F5*WS47kkAsZ-WEWKWkd$yacr24E`#T^nY zRX;+iK3=ZA*XPwwma8B1zZ|Pd{MIV*nJFw?>>#uW?sj$C8Nl(~{ldN5dpQ5 zd&99X1knqZaB<{a^c1UiJ7&-baoA-GH37tqs-DH_k0UK#t9YVizby?|sC`|VN*>GZ zY4PIWH=&>XdYdSt%AYNr^(<`frxBvwK`YN)d!<>hA*;$6^EelP1%XPx>izrRXfmHHWe3}#@WaGi} zUqXYhg+0&iYlnJv;UfF)D0(4%?1^nlCwFFuzDy~!DZuU}W1?P|zB3R5`b5}@TOhlM z;uD5l1&CQZR2gUyg+gW6NU{E1$YQnK!UOrg0x$|U_+J*QwM#~^8`kP(O2?6$B+m-Gc0-@0VE_(ugG$}CY1WugAvm@hl z^J!mvL4`|72EOQV)Bq(sEFPU4As$9-{D1nwbu5)5gvqjnkcoAN35yHuq+_6N4I7|| zh4%1{!M16Pp5*50SfS*q4$OqTA|p6<{^{$=LSeNGC=EdIv3nSVDH+L%RMjAyySHTL z?#Vb^t|4%6jmU89o`PFj@v-~EI}(1FHKQ{Q-ixNSzP@sHo^~sL}mx z?6wZ2wH;Z-tL-Z~luqe$5&dn$B?V{ZddCP*0_PUeK=@+)o!`2ozuU>O(~#jw46lsB zgg?LUSW0^Z#}>kFdsxTPwqF>z2NzeYZ?POOMq~ zeqvqOUlfZTuO38}t+(tuyWX;u(2}*-C2cNC&)Xk$imlu=zxcj1f0CcLbk|e?o_<^W z9N-DgyTtc_cz>oBw(0G@T>@J)#eNO1-lDA7C589_oO^6U*Du&EX?B9R1PK-lC`$-= zGov9Ud3Bcs)udX5F#FohaSd1AWPO*DjPJgDg+3OeqDi{N!ahFH7ny{SN|VAp2)5>K zpUCc@w~=NngaW&H2trjIw2?Af~uwXS5N~H2FthBscZ;Q%?5dWtq%d? z7s-4j#!J(oDjI@k1BKPD@8~nI9?QBQmndU|U?q>IwZb~kR9pwbnL1dGg6*8TGbkKi zY=ODbT4V&r1J9BfSXTz@2Ea7~`I~IXvt>Vmv!$%(SoIlgP}hTL%~4k)v98rjy$l!E zyetqq88=i`*9DOg9QV9S>N+9=YKnCss(GyPX~zlr1aInn@vtw1GUKV(-3shRZ3+k>bprd6 zA$%fer)Ctc(-Ozxsu*1(S2NVUqg&;K$qoD!8Japw^_CcCWW#N)CYE9FUxp?Sl=Eb| z#vA46Ce~by+HUL~=<#3%s*Rqdxoxl5J*;mIIHTqW`}|w@2Q~JyW`sqveWbN^_%7)F zcj)t(5BJa~F(?atGzg*LcVg(@fOcvI+P8KOCGG4dyC=6Mi}B%Hq5*Q%=zv_!r|Gc@ z_JUQa-h%3kE{ZMWH$|_@|Vt0K1d9h^B?jv(IX+8G+ zf;U%@gF+N^b$ic1`%L?DvSIhQg^N_gxZC%~O?62B-3QKh(Gt(y0apj={MHTy+$$6x zDrY9nm>i)HzTcf$u)`Cm#E1FbWXA6Bch&sKAADPH^4f!3;#2TBDj|#b^kC9YN51DD zN0Q+xV&;2t6k>B*N#BHIaR&7W&T7Kf3&{NP?BMN5Y8d-{{TD#m|BP+H}i8 z3=J7j$rw2u1p7=bU(i=nmwX)G59yD-Ve%1?Zt@mA_n^)uXE@-^? zqY2}T`cMuqMmAyJn7k2ohN~6n$6dcOn6ZF{%_C(~-l7S`zfGtEgMT%rGpvgBDX!-J zw>dj$<~$N)`_bLquLwnGI!>)%A18dmj{%JPG`ZKK@dc1^dVf@vn%R%N;;)`@H(b1Z zY{5e5SZ4p^l!BI9k;(c5eLS|GwW>P0EI8wgMAom<9!~DoBdL2*kEEW**(j%E4z*co z$)lDP<`(x~h?{-U(pxB357FRP7&lou|!2)B?2k>NTmoPmr9h_8z(@wf7KCD#Rb3VEB&$ zhua0dXK%?qA$K4zz-;o@)ghNNr0tTIq_|a4Q zG__^?CJcrvfIt}^?g{`kBZde--GBWe{x*OG@ro8?k?6WnVi1#M$49S9EgS9TI9ztT z9w#1R%OuAeuF^JHB#2C;gW$*Z(+n1&%TJ2zr-FNfZc7cS2tSTZ^Gh0pD0e}3pa?-A zb8>Ep!?OY%DokmBy+x+?_e@p7Eg%O%r5t<$8eKEz407;JJ(i+2?=bY} zfgdD&L(tHVLm~VIy6Om92Pe^%8l+W`^0b69G%_#mj;Hd*sQ*!4k_uc zlG^j0KawC_qylS^_2_-2@NBCFiPgAahAMNc!P?h}=SkzN+caq<2`9hNUaZ(aC$eHT zUCN5V^p};`7FhY~D~Z2~RHIMUKw64=uO(6B6|J;fqckV zji(3c&Bsj9lu?mpymh*!M=A20->^iJ)P*GR!V67hmH+BW@0>}vU+Pmb+gtQ(m7C9( zf1`;b+L0CCIUPOt?r$|CbtIbp>D1gHz4mU^ULo}-THfK+;$1AMl}47vHi6w6_k62V zI6|RtWzKJ$i_UfYP%O`J9OREFwPqDLNAGI1f09xg_iD9-RG|BG+GgY}{iM?__TL-% z@2J+&&3bKK;NFO0r}((pu^g;p7r)FyTUkYZ<LNigxsYK4{DQ05i5e}l7rfEBvGPoFnXLsM;ro8B)az@?PM~Z-a4dBQa&9; zlMZTwXx+owRLn=ng85a4wK-$RHaeiXZZo+^O*M3*$yPe6hHfmWwXdcwMnm56vGsH( z2&q9IC+aN3ME&dQ@(nd!y>(8z-`hB&BK=Tb7f(L$6&vVmS~7)hOV+hf*LnQbY5%6b zf2lT|u^rVrFFXE(M4B(Tj>CNUrn-NW>D`K4WWt&gwsB6F+CKe(uWWb8Vix_M9UVEFP-)>Wg(|LY~piOLS$) zA9TtRU1?0ErAu@p$y(~OR5yu~qnS%}Uy@h+lcl;(>S%7ME5cmIOgB2ijb6+9t=64Z zN8eghf^9-e=oB~lORC(UyGiEKTN`w>Ngo=zQTI1lMxSj2H0ylaSy?q?*yhxA!hL&xn?|(x(3+Z1u;12Mf zCs;dMjxO<&>PG+QMla&Go@VWAH=+dF){S1_MlYkOf1#ZoH26GPc8|6=k9L-$!56@3 z`4$&+4VC0?I`?ngS7bGP{kN_fnZQ@Lq%$hX1X}lsZZK&^H(Y_#%wNBv>#ZSw(Rw$5 zT~0ULgmf%_{U*bXr9}n6Hl`hKK^nnl+|n&ok?(2jUEL9Ko4JnLVJ}^ap zT1ocsw_50bRdOxwzHtgxT;!t|{2B%CQ_8X*@Ee8QuirR}!f5Yq`e1U1ztTz{OUMt4 z+UTEt6KsSp`G^rOX;^4r1nn>QU)nYN>3;fpDw4_T2kBQ5lEeS>mA)%chrt(J zb>25f3n%x4kvum<-++`k2q#i>$F1xOBUaHAXZCLc6|Ay*!UKNVP<^Vw*7}kQm*ZIe zX9>N@jo#}6Z|1I>4rXNy^f0lff;guP5s- zk}LG|6mTu+fT`eS)4J2ZeWaJBfvZKgOb54(Hk|=ZprJFt^`QG^!pm5?Wfr(cwCQZ< z%F@tuaLehwbZ}Q_#vE`hX-tOx5%K2(=ITHAcn{x&k%)xRwn<_DZEGTc5Z?Q&zODzk z$){Y_UsDnlZ@H!)s>Ct)f*blF8d9GBc#8$_oL0Z1Z%>xPm)|W-=roPtaV_U%Yd8;2n)S5PL#El_e z_>VqTLoQP%` zzxnu@b?$UyDSQ|}kG1iLCJlI@jYkbN(esfV806MV5%N+C$ltVW7eIFKW4m}bcW4tE zzjg{LI?=<>T>GdI=-u=WMlWY{Um9)z-ICG%^lL_cOagtJ9%A%1MvtQ2o}ha$nxj1! z?ak;5{5DTRw$^V~9WWsd>1{Pz>h@5ZpJB7#tJ;wF6iVd2w64D)pERYR0S3F@h+0rz zy;q{8@7YhR(2>b0&<3v!DzLOV)38=^=Ret&1f*?MFZKkElW zTeWw~J+D~S^*#}x5R&M<#ehWdx+R9nYVwq?xq?BKZxJCo4*{}(E?NV~2%cYK@Li{U zq(ME%w5FcOG)5!Snt^V~Xk;3rKdM0^(-^&t(a1C_=pKwlrZL)^(HH18Mjujvp2mN) zdWQRvB{Z~~=PV4++HRgdX~{}HwU4Ja!Ct3pU(cST3jL+8=T*eqdxYi4R8_72w?AchU4S5JjIezX?&#p@C z0SB1h`G>W(X)%5bmhCv@T};E zRUw^vHdlHD9R}#e&$#UPl2-oCGlBPA;<=NMm;BMCo{L5NI!~^DVCUqQPV2PPfVYaG z40e-a$5~x@yNB0%HR;aJ_wiat$O3Bd^`hh-deGOaKe1D@$!ieSv<#D1gqnErn*+V} zsK{KtS81=#1gri25U+l?ON57dMd10lUZ__T>CE>C^*XL13;8mUUUxLuQ);5Ux|8>O zpJ*>j2&u%+YT$K7gW%gIdrc)+M=v+^n#bM}4zPOp>M=RKZR2HAVw3%*t(Vit%06B= z9)Y}{S1%FYpOusNngdxG!P7yk1nw(V_T)PaL8<(d&+i}V)sv7Fe9$nafP>+zM1><* z2?ry+dMimd|6`h$mzMbQ>&JV2Nyv6yH-QBd$uFAdRYp%f^806aZBw!UXM4r^V>dEy zsn=}L?{eAi3fb>U+3#vrBCs{AL||)KiNMyQRDN2|@82K?_7hVeuuZH)V4J;st84!l z`obyL`A7L)A*Hn2I)Xv!zV<@uG8(DNXm3Vik$mkHqSZcX4F>b!0~E^{jrs5qbW2A2 z^Iw1TI;GW4w1R2OC#t={Y)b;e)?RP6_JU?>FKBN@v$fZIyiS{08%#S|(I1LLMq{C8 z^rKp!chCC6-<$u#-^WWsuG4G5K3mz)mi9?hYoAtn?i7&0;XapDI{yk_d@9iRIGuY)2IPfs3mu2tt{xf1fl{Wi5@riISQ15 zp%gMI)n_%)Cx3e86dHbdMib(Eg7|r@m~6%e$R>Y~Wv$vUSW%3u_@hjsAPl7GhXyYjrsmTjt zjkQ&zKX0C3++orNZ+ObG>2jtqo709b1#^dAzRNh+U%PD<7-Un95!u9OWD}#k8I5ep zF-}sE!!+)9<1zA{KKb2vMf+$9R7lxVfGuY4hC9*gCoXTI%li1^@{Z)@ym>pb_ZfFpwe&wVSC1^lAtzF&Ef*nLi4jf#}!wMr8f z_D%d4m8rdoEa6XUP2;p=KTY;FEyXtcmbb~D=;)am=TU{7u*Jk|8|6 zR1q8776GO&NE%(vxB>KZfGL^8Q&XU6KFQ`+2b%J{Dk&3O*5W=g>~q%dbM^|q)okja z!ZK-yF-=!R23Bwxizj+<#jNP-AAVao)6c3(cVk^BQSAJjef2r}E1y}>)Io)n`A)oP zH6ac!QM<$EV)YaGEIj_C|x?w)Rkn@ z*Yix{No)Ged{amAf}Wgjsz7q-%lW2qcyNozGKJ#cx=xm<5@}1n$}&|(;x5iI#o=w$ zi7b;DPbm%t*+(@COi|cc#VkOxlIfTQ@KTztSzxM1ZqWP%rVwQDy9K7ufb}QQh)4L$ z?YcvcDA{Ko-_vs6BirNojPEhjWEBlv2BA-qiCrmrkdni z+G+^`?nVbMF_kCP=?_aV8L!b-OH2vmCq8zmsXigY=zwKteiNFt%ybhA!tmv$2twM> zc`INNO@CQos)qJIUV*w!@}VnD7j+oPryERnNf3W&qlu_U2)(iyb$_IFA1TL%AwSSiSK ze%2w=7B!xRs~$6@y&;46pMLQ>T#9U`1JC)zc+Z;i$eB@782cK(B=r0*rg5ceZ>E2dF1hZ zhd*|OZ|UG7n4IQm5i=<_0vHRsM6yc=y9DwrANhY%79(;bFkn2v&8$vPfCUe&y@CSP zqLwDW^kSE;?9zc<+VDZ816rQJ`_uk+1ANt_B|pXya7l&tr!5}^VEmu)lO6|L!Qk?p zo(9}gs`G{vIq4UrJ%afzF9I5PkSqM+4*|`Uq>wNC6yVS93vZnPcrF-DwItAqvn8!E z&`7XNE~N@=N=OLbLmhY`1Z%z}GB6+nH{;s10~_E)EI+PJAU1se@K@^wc2|=Ze2s>I zV+qd5b|eM%$KwMZ*f?;xl8oVZCkKA7A@ljBEdsCMr<}9O>6jk69>n<=zq;Fm5{=Mq&*{+229?hv@nof!Hv!2}#{ z3#~>r@;hvyM+jc14WAO)mH5uRRp@lgVwb7xGI7?`siFMUsbM!f$$Ea@ys+JbRHlQo z!e*1NXT8V@<6mTje{~%@-5x_D?grrWxABySRiWetUx@Qr4UQi2)>vzMYk{99H-qIcAK=3H6p8MSqds;yzl zW%Ov*D1ZK3*QhhZ#sqC^OGuYRbD4K}`adjf#o_)RR`UN+hfV6M|9>h+-L!PisL<%O zAM%~-@2{HAoF@D+It*nj{;J?Fk;!P6o>7su)=>R_@fU(j`Coo2L#}qy9k24tX{hte zc@TdO>pY`xdPYTie|VqoEdJxm^@`dNOxn%5`fU_{_1iMTPk6tKx#=wa<2%$hze(`6 z;=aBrL7}J@n(u5$yNobLt5j80^owtzg96wGj_f}&zD;Ud1sUtBTbe_E8extyx89NG zjK*h^YSTzu@iia*;;SeWA2{?7leeG`Mwq`K3AElf=BV(3U3t!XfT)cUoK>o>s!+_1 z$#?!tZ`mzj^oMWEvD!9}eTbpQzA@MEhyo@He0NGlnnU@hk>)glw?99OG7lmb=%-QU zrUn5~uy4TCi)gDfbC7E0a20(z+04<5G;>QsKWKxPHk95@GcUn8@x;;QFx8M@Dq67J zY^H}tn>%_o-7bUPd`%n3@et>MXa#VeXQt9 zFR`K-ea(srwA4uyMp^@f@z;Ye$xQw#4)lqeuTZq@mFJwrgjeW;KhRmX11I@_|x24)uEJ%PHx4aBhHy)u;H6@&fHjaHBc7jL#SLF zNPAs0TWE#9%;l9WWoG3Cb7{KpFSAKWL`fnoWX#?GhE1Zi&YQheUj>x-4x|Ma&1yOU za%H&yYGj}@U`QUlb{=so@K@2DXE=_wzJOYi{iP~VOL^5tzmjN5FS-buL)7OYM*kby zlNIIY_KOJGVUj%r{S6PBOw@MHoFLUY_HWesl}Ylsg{i|$wCGQBA`Q5Np#Sov*UuxK zL6-oV;mcr&bPqJ7Ha&3(!96mTL=Z@Ko6Ax*`uX52wfS%r!|z`YzAhmuP6uo93<-1&jijuT7p} z?zI6OwhC>Fz2iK|%?*f>&dfL0Fqd^{ zPZ>mKwcsFXwLH-?K6MJ<;!2laU@l{r19$|3tEl0Y`826ZFWoY? zP=$ENpk}wtWh@Pw<~b`dP@%rK`DfND6b<9E19c7NBTW*`X7|ti>IhV68 z{(<`3F<($s)vFfGM~-~DW3H+42eeHKOBvdw&^$qPUZX2=`&7Ed%rTPNqbS?5eBzj_}?>p%|kz2iL?1(7Pimp_3nuSHSNwx^HUn-a z*M-iq4F29hPiwejgC}ZDXTS?IM9WoB{^_7ce7SI%ZNktE(sE@>;+jU6 z06}`u6I!krUIqK;xTc2QsHhaPze9WKxFFR9LCL0a5S_2%QVh@I^PJ_G)<$pZxL$a+ zY^3L^7$!r^e&wR}r<3&D5M}Ot`ot6W9IXe}-0+}so->9ihtRGbTm?86w_Cx4?MWx$|v{e{NG_b#=w~k-$OZ*DSxGF3|vh@=`{m<&V_iHB(CJi zwZ>jxk|$Tg@FT#X3XZliwqBpFz1EtQThrPHUW$s-GupEF`J!+rh0?fZFx@9ZUvaiDCE!AUJ1;Jj7L%TL<$?0%^xS?Ix<&~)?oTW+ zK#Q(pWY<5zHS0jpwWb7|2JjV^>sN)6>oz`cZFQmlC={b^gGdhooelI#))7YvSv!+y zwhyN^Jgk)GT+iCFlAiTJC#;l|v2nW;iWqnjbvDUUJa7xoDHLVb6*^Bd8(SeY`f_Dx znvsh)bavHSg>E;(lUWWb+nZCzO!vT|?*hELBL>FYwfRe-80vEOfcp4y<;{f%$(Om$ zk#J(S1NRg-aarC=5BqWvlsWbZ#=PC?GRUNJe7UOFc|zX;n=ce*8fW6lDR13oJyeE{ zWz1@k5vNRbWw+ZUX%Sl%caFk1IV~b@i(#@vI(Pv)?5%~)yKME3lr31E#B7CyPes|{ z{;lFXX^2t$uu~q)`}C6^7h^~RPHfl-TFDL2<5} z0WO}Gac>HwTsaqjT-oeGU#2$$Q0?UcHvG}CKe4QGh4i!Ji4EHHOZX+(L3z;D6iAKj z9f%w)j&Hn#jtBY-(C2^_Gi$Kqn(holy;-i-B-6uzs2BgHJR8gk?Ej?F*`@QAJi(Eo z9{&1WRw!y6Ds(nLyVURVX@m1z2u&=-g_^x!Q5^{Nh5X{tItX;skwWKJO#UYwUy6(2 z-c^wMa7zhJeFeXm0ZvTArTJ2e3QD0x$6V-95}L)33UoZsJ}id5atwK;xuBSfM-__k zun^;@TjGBmEQD-1j+!hEb8M7Jp%~=y?q7m^2(0f>ITn>1i#R9nFMBHDT^4wG7=$^o z1OMv-u7z^=O)2KF!Q7Y1_j$$L5)`}cI3h0Z>YBXbu1UM5Pz2|=x+af)R|*T>Q$K~` zaXDB2lzUxPL-IFizcFUj0jO>wweey81?rV{!-_g2oKdN|a1HnLXO<|R-nc8i zjB&Mzo)6<@sVcaX!FW7QbtzT+oNzAEM^$uMNuQp@Ht=)>u1wi%Y;qn3paYo=7dy38M-_U z6=wa4#S$isSq)S8Q*qorC3#AxROb96)TQ#Av5>R>s^RbDQ|xzCcbzvut5?&XD|0=~ zI|Jogf1{IPbPSjF3_EP#ZZKRGS|y&VWFF(fsU#em%fA6PTYcBLg5h4!$MINzSH*L2 z<|u&CISTdm+~S;xe~u;71zy3xF@~oBGHxP`NZ^9-uvH_0Yi0NmVsSfSq4StHfNn_O zVmt@9#4k?J%L&{i!qM$jI1anv^HsPl_>hB6s>Y4NX83tE?uGLGF(%AF$pPBDF7`%?=u}pWqzCF^FErPX z=VZUUMmyit#SGs_E7jvdaj??79yUyk=@Q1_=RAzdr`km9s9-xMFcA`G2bO+ge_>fLn)u#OF)&+BtTu%z^Cz%{b; z*5^5`Og!SCm;mCeCPeXL;$7!=Oy2jPl4hN?1k$SwxJW}Az{Mx9x>VVavnl`ll{RS1 zMbn=ea`D_eogBpk_A6v5lj|voq5!@YGhai0rSlte<$NZ9Y2^YZ(JDz?U*+8c%u_j< zorHVFF|F+B06m+8EZBTNG^D0tcrCd%h-qLP9K-f_dsz7A5=sU)j$qG zA$jtt2lZKvT+83|IUM1Qb^XSeKwVwp0lyUcIEN>agDxK(={(>JAue16dZIDnxW8X) zLF__o_&2C!*9Z3(`&g$Tip~w?IJWMWx}p%^0WRL%_d8p!hLK4xu40g|H6bdrG;MK-#q_ zLilT+G#clcqLz^^8jfDTmNX&0rZTS;l_Qvi~`Q?DfOm;t;$% zh~iu$IfRFMr4UlFx=wO|kMc?@_ufeURpIvUxTc=Z|B&G?rc&p3Tq#x2 zRB;K4q%|jS(dH#kN3kGwPZfh>GdeqwD7H?!>%>gJ!4sV{0q*;_aMSq16S%cX+e4dD zk?P|+Q`s5I2A-+$_gh0O95e1Z6PUkqE`9G}eIfL3p)beudtCYwdo}(iE&7?V{f{oa zWM39G7U;`D-x{<^J;6qu5ti^plesQRy^Rj%xhVd-$=p4n^q)v0=i;Gr(o}Aga`yzf zV>(yH*slpH&$ufcAkCjZ^OQRB~S8K1??pnFhCH1mM8*QuTiSJK(# zEm6Mej#!+A-E$scBY7Iq{pBt3^yNYhKZhKqq(4@$G@`4@< zW9~^i9Si-m3=42A7w*+S5yy5gS-{-@ZY_)NE^W0Ovs3G;<~KTNIjY%17eQ>kv{kOg zE}659QdBQYfN$k$rqP?rQOzmkr#Rarc~m zGMpEk1e~F)3s*?@t>7+WGc<1{$0=X-=XbB!oe0DXKm~8rZHMf#r$FzoPt^Cl3 z=C9$#<0FKwYmo+7bPfvT$Ub!b8qPxV*K*~R9c8BSI<7paL$|Nv8qtO$kYKCUVQdqa zpq;90A9-~vy&hYXf4-EtE{r<`Zp18{X|7n$RaJfO;vTQ(ittUvwGGJhNxj*IC4wew z{@q4yB|ht=OE#lbhv)%T ztftpkF@wHCq5P_cIH75+Ett`-x=S;9_ZG}(m9wiH)4pxU>ihKZHnjdYjo6N2CEsd0 zW~Q=r7jdG~GdnQfDs&MiIQ_sFT^DI$$L++#R`Q+bkeQgKS-a35cDiC08Z=yzE&3Uv z7S!iwZU;5(<{B^B&6)6q>G03!!}g$+^E=WZn87}UX+*LA#yw{`8_+&<&2Hp)U3zmj zwqM<7r9CLVqm%Y<&6Mps($ncUixBo8j`)uBJ!69Rg7NAo&0XtW%-wn&q`4cn51QZ( zv_S?}&ba4WqWJ0MJ!c>uebsN;v;HvCANFBZI@^o0k~$cp>mV_SJSMr34&yPyf>^=P zyAaW@d9E?vc|TW9r!uyZ=kLqOh=1~ZY5o?ql;>~Z5zOBZaN_*El8yPhi~1Zz+h)?{ zN4cfS*DdJ%qg-3EkFRr#yRXJFV$Ow@r#*AIPRij;*;!vQ{g8`BR1}#cntGBOt(=ui zm!85AVZllCZ!h}zBr+N=IDSW@Q&`c6T267J@w#xyDeTjCH>OWc;$~fVio2>JNBF~M zxi?DHrFvK`omkZ`{Kds6*Vm(wSGh16be@YLV`%;J+_y?yJ$n5zWEUV)UaBhtE&#BR z*1y1gtEyGkwtHKb?fiC4Jp zsu?wK`_$tE|IHQHwWkqRfrtj;0-p3HUgf$g_f?k;OkZE+Vv*Ys*8u2PU3PJe8>>8B zjSjzu42-&t?$}K$UB?_)OIuy%8sM|qd8}wf&$1$p`rJSmDprKk;WrTV)vDAeV6Ojq zgX>5p(N=j}CE74gOk2=(mBCfTNci=6$Oh%#3AFVCpx@u*8j*Rlem*x)*(`xZ7Gank z=3|&lA`?dE7a^X81@Lp7wkiN>UOcV*kPRke$}hm&<~q>cw=f^n4A7OHxdjDZSwcnK zhUIu#={77YR;I?su)G18@@XZ;B+X4y*EOKWSW$uAyMyWLNlO)C-Fs7! z)-B}BNU5G+@oxuAWyP;_11mPtQ-$awN*^$88uhu0VmPgWLfNe%{qrgIc|-3agl2R+ zQ&puam?{!JpW!ZFZ6ljV_oep%&Nw=R3Hw19{OZ0Fr=<#YejHs2A#H+T!B7mlhgBwn zZn%e4>AU}@t?vMf;_Ck1nPC-HrC9(`+TK}E5SFFb5i2T6iG^4q7K|N4js34N8jU6v zEF9Fl5n?Z~n^EJ7qKRE2HdKt!*M&ckY~9W(c9g zVq-YHxW^q4LJK+4r^Di5zhVA(!jue5>yxNX5Y%38!2NaL6u!T|3FS#5hGv z38uu~&`s8s82v={4yozVZj+!p{^q_FvwodJMMEuy^&cRH80!-r!mUFZP^;e&%HoFz zr62kHVeBS84C0|wqZcji4&p)TMSi8Ia0rE#LZD#~CEi4#Q;%Q`qUS)@!4-cCR7G8u zZiQo!3$_uekaHQ7oiJ&!TvLWvhEbhzxY*l7sdwQ0q;gbR zmHKhoQ0!0J*DE0We%*j%!z;mEfdGlc2OLK%j$W$CQBPzQgpkfdkTmtADC zaB|rzrmkcNteZHr4ljm2a~M};REhNs4@W23DX;_R15j*85673T$aHax%_;TFI1FR^SSN|?x5A@ z*3`!tlzcsGnBz{ryP{D|s<0a5R)y7}K2?|x`q1PmEDWLB#KBK=je{d(sLEzyC|XdJ zjX-k#swxW<2SI^5x73l<5=Xd`OHHKXQyp0ixN)8%Ys|grh{99oi6aZd>P=lIU__k( z#8vK;Q46)_Ix#nKwTd*L>rQxa+!A`@1SbwsVhqez!1h?bYAlX^sm=oFbT#lNU}Fq~ z9yLJdTOEW9npPczyPQzU2}8)a28$C0@scK*S_35P%yLp6ja1zkq!bEuW_>U`&vRz? zk+P3*VX0zmSJjV?T;Rt$F0=}cC$lS@wuKU0S#xQE3l=%I$zHV9l{JC78?G!u9N|K7 zRk$bJSPgNC3r(qlZSbK$ggG?c4QZK`WY86T~>$S`&^=aUpMbhF;W!{!|x==SWa3=pRDqwa`R35qsO5FoF}}#Xc@% zbwX$^)j}rp9D$QSU^kR+lFf!T)k&LIF z9E8z$4r)?1fcV^z6d%?B-R+GJdoCQLzkFGuG_xxDc5AFg{LoIWPQ(0Ij`+HYHm@D` zKS4M2+Y)VFTU14x*RBCE$4=Z;MN5BY`7O0|zse@j(nrDMYgy0v$^~He|nJf{`7}rie}dq0}v`5yghU z4rfXTfsMCmUI<%>B*N5)b;D`>$&FZB5!C!Jwu>j}VTgP6a9sa;&8!h}Qch4n@N$r( zzXV#8jwwx>C>9~P*s;aHFwZ|4#r_bxJ)><+mCd(4A>w6BfmLXA{;(^!}3)_puPAaZ~otK?*Jx)B_XkW0+ZFtcp6PkHm3m`d`eT-+Rr^UiMOCC|H z0_IJ1TC??dJxzXV(27bmTF*8tRa#Xl(Dv?Vuc2DMRlD^ zxlOedtU}=Ybu-Fu$Bvgci!O=iw9W6*@9mkF%g?T&F6iC^ zE7n|bNK+-&rkq5yG>-BU(b5ytISHL*4NXgeKXAuMVySr2$T=Ao$RD@qR2OCc8cQkb$*KzVSKh>u ziL+}j+v0wAFH!fg_)uHipQ*Ti%uYE7KPfl*;+hgZBTGNlR_bs~$UZC^X=Oh)-1pQ~ zK_|9zcJ1x#n1mZ=nxCi}>iy7)SDa$a@G3%33yVi>Q<+5?2Mk+eb!l-beAJc>14uz2 zCKcoKSdIR;gS@^%8R0S}4ss`uX7{G!>rHIPM!n=(IGBf5x{RYCj%^;zg<~2mIAX|)JJLoOf_cwU>H;5l4i^=gK@oIyvXA&Q@u}FBWck^n@J-+WgW!E7vEZg z`^Tr~u9q(0Raxhap44IplcgUn@NokthK8^v(nPSZn(axaIV%YmE^l9|ITXft14}wA z`_tf|EJP|lFVN@_aMsqLtdH~^Fx52EFcvIj0PD|BA{}&ke+6a2SS% zCx!2P)t_Q;qO*MYtJYagjb!PVDKs0!yrr_U zHboOgpQZ!ud0_a16SFO9r~a z>N7USr(~e5V}RKm??jt3*hd(@-((hQeLao)b0$lySJR_oX-EaKQ^8s=@yJGeq?2@wdTt zrchSHkjwurlq2Y)IsHR37bQGXmTHR2n`BjVn`>=AdO*W=-nlaw$4*TBMK@5lSd z1jM`NFVVtoED{k4?c7VmAOuq)VC`Ewb2CSW`DA+a`wetV0p-aO@A zr$p!A31!0orPz9e6S9?r;m;@}b0Sp`r?(W`LBn6FG*h0#oy zOS5xXB2uTzxoiS*ri46nsdAde!6{{H9`Xcf<$vI;Sw=sqz8al+0v6-wHHxwlRpdufYIdT}cPmuxP1xrH$&h7I!d(Lf5h*QdJO7&o%nFreR%o z=<|o#0ms`b1p1p(mx7uDs(L>4AgH_+8n=$+NmYTJHX#d&T@Q7)m4x-IrXbzU5y&$L zYv~tN4Ng4s{MYgdW?fn6~U|?Oy*iNaw6>$`$#dI(X9Xx0|n=c;A(vYMb$h7|6j*G2a zqbQ&t)rwyLckjaFe3>G<(4sx8ft2zA=_W{+i5PxF(zSBFmUKBQ2;WSKQE)k>*l1h# zBCR^4uqZLuF144<5r6tdD*|>~aiI-y=CYpq(AGgp!anAqm&VS~vaY%L7=?$=;TaC@ zItMYa^E-%it0W)cZdr-!Cc3_(_#o9wKgf#2HnX(^Y}g_8vG~uI9FeKy5bGiArI-SC zL=66tr)zM}VbJc;w8Lx)bv?q`Qi~%<@|IA-5ex`3XHjZfB(&#_pbPX=ZX97p^ms(< z`xE?X`dT@Aib>Uw<($8a9J7Z~r-*q7LT4rP3W^3)O&8Sd`S-R5N8+Y_ZhWy7hkvj% zJW5%8jU5)HRwFPj@TJL_zp+NflVgjm%T)ewWHs7JsamUW_YW_%{=n(4htq}MSd_tW zT(Nef_!zn0U^AtZ;kbUr;uez6WSk?u!F-&zj1qNUK;M_VoG;zG!It2`(aFCv6Ke;u zy6HJ}m|6|resRddB@$Vx9Ss^eOrS%q$kT5A&Kv{kL0sJoZTC*R3&fKk&hrb0NHW}n z+B;)xYF*#SErs02cC|XY+R-Ng074abyG8ntsA(S)q_>_+|rS2Mcty9QtKz! zlXv)OFoyHqxCwW?!vYO^A+8>WSV+_EAe5^p`wr{Oj)9!ZwM^Hv@DoGr*5T^M1C=+q zmL<@lZoT;2Weu5bbg>qwvF|F~0&#Q4Qfp5x{QP;mqskU7fgtO=@x|+LP?pYd5xySG#D|!XGVIUfz zmhVi>?qh0eNTcTWSh(}{dZO-Ox{X&vhwo#29zxAZP^68W9H~q$K~5Op(*IwkEv-PB zIl@-lnyQ@ogC&T<0jgVun?No#<6su`E@Ku$hoQyV#$Xak=%pIpp`HU(0ZzE-Gitu-GoWn)1t;hqR=x+Ub4ic{yv)VHUWZ zxvs&QEOql-UDw_qN@cy`M0deFUx=*|E4!)w+FR)JILwjD}UR+H7ykK*LkLk;o zi1A(e=Ou{WEA3xly#fb?TKAt|f0LY}$6Frv2g@HB289<}Q@G=^s7?ss;Kz?E_w)W)Ydvqg2z97~0Q!_6w zI@3r_F}w(~aW_(EsO&8*!#0DOtiB1AG1&-}y9WJe7r}Zo^r#;mf-blQ_Z}>_o&?na zuhn>4t|7~{7dh$kHe$OW?pIK5y~QK8-v?K^UJju2Fgd|6&@SGIj)uukrBCW3aqES2 z|Dsv0$7Y4v+7(n^RhERh@y}LtIj734aa@@v#A9r4E0 zs7k#pazjIByWDTIz#@BN%Djn_lkDVGbc2(>rdJj@`kizSrCEfW;vnfggzTIEBPosL zxrRjzY)$?|>D)vF)id6!&$p* zAnk7VW(X#PPrB%_Yw3@odsPIy@|uTtXHg@VQ@7TTYI6fL#A>*R<08-bW$FC zEeAUZO_kcq*39SF}ZRx!yiYkS^Mx}7nLt^^_%%?T48!jP-Etn1hp=-(Az;ZR9;+7XrugADC4zH$LN!bxJ;HR z%Pz`4SEH|Q$_>e*NVcfIl;3a4i-qZnM16s~?y{)A<)*u8>kuLFc^dqMzZWd(D3?bk)yy)2(&I&wZ}?fQGZ_4 zU6J%(RndK}*W-{`wqCzdulU}U_f)NaAVttwS9%H6Ye5IoH_;^k;sIR#q+G62@lc*1 z;msAp%4A=`ljfGm$1pf0m&;*z4rWHV94P9#(WY{l@A4J`6}Hn$4!%zCG$f#*?x* zc9TwUYz^tXfsLe=-oVT>2|)bQM9qvSe}Eow<}4ae56q4#5UZQ$yLzV1s5!H~TC)n8 zXxN`L!w1Ce8W^boG>8-LP?j%1t_J#Q0M>BgMY`l`$`I26)K-ap0rU{96R-PIsF$f3 z$~gI(BDj?tpe_K>!JpRogL#~8`NKT4G5}0CF#uRSn$H1R8GsgSAi)SQnwoNe@&KaF zmo^zu{%6`~gy>h~&rI=nY1=4fO2kUzY1D#{x|=9L4_blpblaV4wW|%&_85H=1VFd~G%j;Xw*FwGwM#g)|D( z>vSd@w&hY+3)J=10DJ~ayy!v+7C32<28Ay4Nd(A_F7$l_$UkEV8f@WnY7mLCXjdeh z=IE?dcaHKR;R>`N$~1!85@l+IM*lYo#NG5P3YAWz@Mt&$yl9j!p#l!jUm64S*D$<2 zloQcKIdLh~ZUO_63^Xko22?jF-!(DeDL@qMWD3L7qoR{3P+ata61tj9!cc168S#pw z&pMleMaLKPeP>fBSJfG^@OwODKYy;teyk+Nn-u=um#$q+f!wmLCU5Qzjzub;bv6A_ zgL1nEx+w$tn0~E`t?TgdrW7n}%pH$d?xd^Z(JTwOO)zBun=wJrCyUDIh(R3LDH3k$(*P3nrxcT5;;eq0@RGh#v!_&Chdi&nRaNHu#fYUUi(Z# z4hXZ9g3kgk%=cc*V)-?%!^1`D$IyN@P61{en9f$xHYupPuvl?$2>R1mn5(>W4{BOn zm^&xJHwfPb_%_5h7~c?l8z~XKq2e}S)|}|Gp-S}Gu>Iqzt+XlM$YQDBQn)V`bNu{h zduy{J&F^3~C|%l`y9*ykmDja|FYyzrt3t}-cINmG`L3hF{kaw&O#oW@eJGH6%Un-! z?`ZD*Avv$7*-Kf}$-F^udTW%@I^Mkdef&)q;2)U7i_xOs@T&A%g8A|XtR1(_o-}%8 zxC14P@$;nqnSKt+Uy0^*|5l(JN;Yrz_@J=gLbH(oAFo6Qr1cOnWz(wslg=6^Wc zhtB+DZvIwkh2nO=+(`UDDtUpqt}-a!eB80xEL#lc!W6ej;a-$@%-qB2EtOz!T|~@4 zg~!ZYK9HV~W3I~^X~1bE^N9C~96D}Je-E{3sIGi+!u+b54=Pf7VwMdGx*qnQa0|IP zhI`YZOJ=XYe+zbhPf*n%>as>IaTDv%y-Q|Owf72;Fw0zTPQ+!i5^*_v%t!Cr4f)#i zOOVC2GEsRJWJ%J$)dFKw(ZQh>^S_9DLQ&oxMf5l>soV{7Ljhd;vTPgE8TGHFP z@fUCKj~k$~)Qkb_s8%R=1Tg$0%(FMIUtBh@`r&7~Go#R5pJq!|k>>%BJF zblDTxojBCar4CT*MV2_P=W?uSkKL|OIAqP)&Xl(Z2JNN7MX>&Cpe9vYmDTBtsFO?G zAt4Lwmo|2cjXl-IZcO2vJugTr?PFu_x3M?S0I+ddcTyIr8mDZ`vLL~7Q2du!rVF?Q z`O!PYPcFsb)=MRjx_>tJAHpN%f}zD_~wjW#bA9VakbrFNA1x zX|72Ru}Pb7+@0&(O?j)JvlbPug3iM&G^wpNDXG3DHJXH6us?69vH3)we^PAhMHJ52 zxs}+PZS3tdfU|qX#Hyv%s((=$QR623O<9~>y_LqcE8lEmBdq`%fw`J%3G-@Uld@Zw zh6J1|c}V_wP?8h-p^}R>_6ADk?7fxPo_<>C<1~Y_uh`gj3%|0lr_m11W^F!H{=&wN zq+6Wbt`fV2zor~H;rDQH8nyl&QY$J+{brNeM46nu-^Py8X`jvknv%zq2eyF!vjSaS zu5Dvgwq2^kCe?w2)lkyY#&TkBc&Qt)-RdHM+fKQlL#tk7p>jSPtD};CB+3PB?dn9Sff219peY6t$ zoQ-{%ZgKX#O6<5~t@K~ywj1m!ojz>XK^wacwdQP7C3f^jTIp!Y4Ij@YVGn$~j=c7uSN&K?_@zzwC=CD`vCD$6*S$(o!@Jv?Q^0lA zQLgT>%n^lX8n73I5-5vA8WkQzjkq-)gH%X&O$lGk#3uZSS_JF0Lp9+Jlz9Rw*U;P(xXq90^`T1La82q95>7(pVhTSAVQ1>Zv3WG< zB%HXG3OKfjDmd6i{-@yf-8ADAuzj?HgM7Nh!EtgsjRNPX*J)ryG?#z{9c#|1l50Q*nSW>jE?%r2-D> zQ3VHM$p0e1aZ2XEhh}gvj&^Wxif(b>Pi~h0CQ@q-&Qc}^jPf{`Oof+F_c`*qjI<$; zvMz%-jS4upL=_x_kbe=t7nEECNxUJli02#OuXKozIi#<{%O^#e8K+J1uBoroWG(fBsTw+X&Ym0pjU{hA|An@j~G%(ax5+0Exw`G2LY!;b&} diff --git a/workers/basekissat.cpp b/workers/basekissat.cpp index 4916c7a..60ce93d 100644 --- a/workers/basekissat.cpp +++ b/workers/basekissat.cpp @@ -55,11 +55,12 @@ int kissat_import_clause(void *solver, int *lbd, cvec* c) { void kissat_wait_sharing(void *solver) { basekissat* S = (basekissat *) solver; - // printf("c into Light wait %d %d\n", S->x1, S->x2); + // printf("c %d into Light wait\n", S->id); S->x1 = S->x2 = 0; sharer *s = S->in_sharer; { boost::mutex::scoped_lock lock(s->mtx); + if (s->terminated) return; s->waitings += 1; lock.unlock(); // printf("c %d start wait with number %d\n", S->id, s->waitings);