From e4a764356f5de2bd269fb8c274fba3dc0bbfbd7b Mon Sep 17 00:00:00 2001 From: galsasson4 Date: Tue, 16 Jun 2026 16:59:47 +0300 Subject: [PATCH 1/2] Add files via upload --- .../real_world_problam_Gal_Sasson.numbers | Bin 0 -> 102382 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 sql_improvments/real_world_problam_Gal_Sasson.numbers diff --git a/sql_improvments/real_world_problam_Gal_Sasson.numbers b/sql_improvments/real_world_problam_Gal_Sasson.numbers new file mode 100644 index 0000000000000000000000000000000000000000..8eceed5e5c5e4bdd3f04c8b4228a26f77f953369 GIT binary patch literal 102382 zcmc${34Bw<+6O$7oU|vWNl0T;LTDi^6iX$gO_wPJ+NPUOOT|(UxQMh6pxiE)wrnmJ zs_Z-1EEQT7Sw%z^6$Dw7MFa%|il7L{CMs401jO?FCqbm(^?JYe{ob#?{O6f7XU@zs z&zYGs%kxaTKOq+a2>)v~;XuFa_p^T7+nf*%9m2Yn46==CpI$n!qS#ha9$7dtpX_Q* zjy_v&OAx6p7LZe-Fnr<{>L)2Axk&xBas!EIURldtu4S*(vZKq`_*(X54SThQjjv)8 zYMCU6xC|9UghU7;LM(!aTdDK>q^nY>!dCKZ*X%?=L=ssFh5A@`I)IF#V=0|N4@i=4 zOng*KWOS5HImB)oQfe>EFEI*5`Q;^{zFGMt75Vnjp<<@3z+OS6eu{4S_JKn~71rVQ z!lF=lxBSteLRLkIjrt5N8Xf9mtr${KRvxPCVH;jYjMXnsF;BJ0-Umm3|ZAJbB*#$Cdw_&pG-Rv~WPBZNk z9;?EKWGQq5tajSNPM@^X96L=PL$k)v%rUgvnBVUYw~nDb#?U9n(3~+ey^_)%KsO){ zcv>xzOllCPP)Y?;H;_EwZfN!#>K9#BZh8)HzuacWm8E1*uttcnM{0-|TRzl3h*Vn= zh{qACX=DQNy4pol_Ea=g5DO3kDaWp)0e@W9r^K$MveYy<*7QwOooX9gYPXrvhT03u z$~RFzYe`9|DZR9~u%vJY^&K>*eYbAyNAHEt)U8`L)96D~97Lrk_>NOe2L9Ta2C4m9 zpP@pR#Ny&h)R+1OB$kz3p-Q!+HI2DNReDu@&oN`hRLW@N6d7$d2ecY=k&HgJQbx^d zWi(@xjE3!y$X7{L+D%v!?6hX|!28KlpR{ z=!CSK9ZM9=gED&N>f~oCS1Do*kEeFm$#yJOG&6L00+G8sp|pxfl(r!&6-J?Jjv_|b zSV?mXS>5q?R(Exd_(bm0G@PtZgd4i`&e6%c^;V`Da{A)goW4r6*u6`4`Y3r@@u-mZ zG&PburP0u{2X6N4ft$T@(sA<*MWLy;HB%>Kre#_cafaS$xSx@x4A1MG_Bi+*5?LwN zNb=rKX6k%1&y0Ob@fhd7cXvFImf1a1@lBWBy?cY{*Jn{`l-Wwq^SoTUaMl|1OuXZ% zWhtaU5Ybf)C!@$%O8WW~mX(_GV+$lT*%pwlCu4KdwbZ22N#e=zG4qEuX5I#0^ z@fVwj%c~sw~Q^UTgVJBF(47J(HP0>0*L^J~pr%|*sA!E0uklX+@A+u8T+zIAR7FUpS9M8B6G^5;rlG!rYy%66^NS4DmV!>FpCN)%u zx-Y2s?K6deSNqei10p`8A62n8s@SS3_GT4ZUB%w2Vr#0{+f{6B6p9&RqUNA z_AbOz#Wq&4O;zmuDz>?bZK+}(RI#m9Y+DuEUd47)u@5~`nN-ClSFtHoY-$yIy^1ZV zVoR&ovMRQ`imj+(E34S_DmJ5v&8%XxtJvHswy26#RWnC5b5=7~HFH<9>S}h$!CrB) z8Yg?t$qqT$_fEFn#ZI}{G&g(C&Ca^ntZFv9n$4+Z>uZ?B$5-Tk(w6~7MQTxg$v?fH z(p-Z`gU8+aS2AkK*kp6XjejM_ao+&yxfATuD>*C(j+s06-&t3wOAcEL$NV;&`|o5g z*pd{M1;@;N_ut{e1>{4BnLGTBf2@{!!_a-2fjFuVku#0$bpF_?q_7unS(D9o?r@fx zRR+CS`DkL;ftb)tBZ>NE&bzT;BX)nEWZtkm(Gp9d+Qq+`7$$bEPBK$MEQpa+cs?mC zZ03u}=8=pO=Xd3{K-`Cnf=i2%CH6n5_LW69=c7iy5CDSi8~B=hd|pCm=T zL!!R>N=y!OUmKHb_9>XppZ?^-?MY!h9_^EC?(%3K1jPPp`i0J6r`*xWW{3WCVq^}9 zy7tSGj$z4b&m@^UFZ>2kLfV?bZgzPt*?juhH!V3tVGL?&?wf4xKA{V4n!bJKrR1=Y zog$N?C-f9e^M$hHu-h4DlTwXDkrPz)ZeX%`&NQ_}pdo8aVaI*;fVJo5S%#9>-L)mj zVIOIwBy;7Oq|T8CNNoF@xa2TD<@=q@x$k{yi9`ZJgJSaa$!2wZ7M?)96BEZLnfq)F z;RP9(mzNw?`qoFC%^!XIgQb#0&79RVIjmCCue15RkxTuJQHy-`sHFb7erT_)rGgh^ zL?3cJqiTb*lf(ALwMjCciTs6{cpOKSJ~?diq)AEU6UUF!b|Eha z#`fc7`QKYyJ~T+HCuDspZ7!ym6brT5dz zEina|i88@JvlRNn2coAWkbszVfmTxs40K}AG?UOlpx1-D3PZ6sfz`lU3LjxjmF96Z zzP>(WEwBz)4{X4lcd9ftwE_Jg2IB7_Y$LD)pP-I;KB*G0Jp*?9R24G-`2=ty^BsKr@;F(H&qeN^jU?E7G38K6@65= z(6UR!_k{V_d zM7UGs)Tg`dgiO2;rIX79VmL!XF`SZUD~(;P^dq6o{74AU954dS00YnzFaa%r7C)IcDh2Lgac03G$K?-}vbK?nQX!45mv5eGZuVAWOZwJLVb!OlC_Q3tDY zuwxGPg@YY;uoDjUrGtItU?&~yYX>{!V5c4IjDvmSU}qidf`eUjux}jHSyEa7kIwW^Q}LUmP0EvdFe0XpH3BVQ+c&Yi;!Yo2h#VLjRfoa723vhFL0$bA4A zCQu8pL!@IM{Yt9vB~z5Xn(vzkM;*G8O;W(yB8)k}-%1ehs5#ao9ei%$qY?+(0Rjg1 zY67+OnJ61B!Rc`jaEsBhi1J(lL7A?Apj@{=P_{}L1~(2i1q6kf1A>B8gM8~~I71X? zh(4dje{kc7?O?w-Sc8L&bFxY&d)di! zX0gu^5>ja+Jx`E%87Ij6XHJmsL4N=)13v=a0e3P^7?8^V3K1s!E<)=GVSZJH*CF*? zPmrI0E5OgdRp1uzD{ve54QK$a0oQ?Fx}FejIFR&Bc*Z$1PKaR1dV;*XWL)8vOJ@kt zFFYE5LPnM$3Lq@2X*eOf_rsmo@lH0;$tF43WG9>8w49J#bURtKlTC55sZKV{$)-Em z3@4lEWV4)XHX4wV&2_R@ovg~q98TtRGMAIR=4A7nY`!z`gbY#`c0wjha4vjDn8=+; z+?mXs@!WC4(IWi;vKfdr#ku4iVJdf~ac4SrW^m_KI3lvZ6ApgupIMC)?s=o1B`dBB{|0^s7(W z?_{4k*#}Ox)ycLw*>)$};bb2=*+)*c)5&%@*={G><76K@*UQWJr6H)R|l?*p5GEx<-#f5s65vKb)UU-3Om1aeNe^Fh}m zWGk=@*beLf_H;c$KUbmo@5RL@z&_wZ;3HrsunX7?dzu)aHq@XPIkn}jyhSLlO4vpuVS?sM=oA)vWrf3%*noRvg1y6!pXjLvag)% zq?3K^WT%|$w3D52vTvO1tdpH{vhz;%t&?4HvhSRUM`Ru`kOjH{et6?Y;OVF#hv7K_ z90lrt&w&dN2C^BTxL+97Bcv7u;5Y_+0UQTT0AB)UfNxf;Bxga-0q23QfRn)2z$xG~ z@GWo&_|78;VGh*{^AFHXrQ*Ct16BU@6XwVwUYhJ;Q(SB+CLAs{-Nk0O*i09jtb~b+IZJbGVq(#au4tcCl&~d(Fk>x!8Oct8uYf7hB+B3teoHi!FAs*IjIhi!F7r zWiGbd#a6i3N*8;>#a6l4n=ZE6#oltUH7@qHi>-CBbuPXhIN7DS)<)UZy+!W-xod@n1lOsU7CRsslwF*qXANlu-AZjz}!Dqz(QaVuo(FF z!w(-UIQWnUMoMH2!Z1!63zieL|LF3}j{Nmqg5NpW=VHs=FDNU25`0h!lm+6I9!XkC z>#H}o*gG!vu8Y0rVjEp-lZ(CYVw+uTi;I2WVq0BoyNm5`u@7DBBNyB0V!K>yw~Os@ zv5#GBuZw-+V*6Zdzl(k9VxPI#0T(;yVuxJpa~C`8VnfD2AS1#zP*WGUGcHskl99NB`Rc?WVgejmh<4-xhe zuoKt?><0D#9|L=VPk?>Ee&AE!GvEMl5Wu*Kd=4B2jsQo2I^Y=a1#lcV0elI31)L07 z+UcpoV@}+7quYgt^HJtkTV1cC%O9Y`mLIaI=YSHp$Hso9gEE^K{r!a>kZPz5%;u zZQ0~p*d%fu{tLiG;9KAl@SWlY`2qAY@FP$U`~+M9eg>`r*MRH5FTf4pCU6V*6}S!j z1~dS7P|wG@^FJcva8U`o47>u22POa$fk^;H)!o5qqV~PCjZb#&l6|wbZ%e5r&E~sV zjhofF*#b9P=w^%DY_XfY?q*BeY^j?qbF<}cw!+O;y4f3Uw#v=kbhFiN_LiHiakIDG zY^|HEbF=ksw!zKbakF4bS#?sWX$+UVw3hA)0Uz}zKdFLmdkS7MmO8!X79V%W;fg7W*@lO zRyW(`X4~Cthns!qW;@+%mz(W&vpsJ1v77C6vrpV?pPTJ>vrpaZGdDZnW(VEukehw( zW{2JEh?^aCvpP3B=4M~G*>N{J;bvdD*;j6M(#^hhvr}$%+Re_m**6|pZbakQbPO%|#{W$##(Vl2zyyq(2F^f+eTrLbZuZmTW7eM+)6VT*76ci7 z1IA}nr(O~2$DMPt^KN#*%`Upxw{CXH&AxN9@7?SNH@oa+Kf2jZZg$1Zes;5~Zg$Ph zuDjVUZg#`XZo1hmH~ZDiZoAoUZr0#tcie1jH5*sWDy!Mc)$EmOHolrosAdzZ*`#VV zxtdL>W>c%#v}!iJn$4(YGpl*4K8N>tK5T)v6~q56MCfhBKID58;g6PlT+Z{a2SwD$igVTGr7AG5*Tl3}VS>8fSkYFC z`DsZJyYttp&^EG1d49Rgv-S6yj9gKc>qRV`BlkmhH~+xE`8qC8 zxF1sLqt%6qx1Lc3PpYF4`U`dJVjcUoj$Nu_-_^12>)7==ri;d!l;52@@;g*M>&~4f zhUX%bKi9FVb?jOlOCYJfe&i1Rn&e_;9n@DYBh7MSh@rlY{Zz-UC}RYP&cO8#b?kB- z`%xW}G?)|_s7Rv7a5{=iq691bE=m_szIKE`Kh`5xQnhK@yI9QMW=mhISGOjm={qQ& z_+JQ9@h-f+6Ik3s$uUaK&=M(7oV;Yph4YhVygrL+m#z4A!}PPReQ!`*9ui!TtmEl! zOw(7p=?*N;6A}?zp2F96QYH2NeWmI8!Gj-7&k7C_yUY91k*HJ8;mhEYjm-%A& ziDEx&Mugnt{@dN|v=&hsY^-8&+^XUm6z7^28hC`Y@g0fqT^;q$>PS$po9R0e|B&Na zou4?@pv)e%no4}-c;pAQox^7Ta68FdeBt@uSAn%8m?}+J=slHUMlrDgM^ZY|fPf5w zOuA7is3(?}ti4G=K_(%?s4-StH7_Zw;c)L{^VQ!DC#eSzJ2ghNIx#vqZ2!LOBy;_; z3I0Yh24S;*cp*7#z`5>N!yVQMVOne3_+JTRa3%}n8o2xwtXG0{lsc4i{-dHnCJme~9Ta#RVH|4mwzke{%3h*4}9tAx6xW@;c&$-7Jo=>?) zgy%EvQNr^*_ek&@;T}JD4swqQoc|PK5!u-xKk7=KCb`0YkP1^e+<$>mjr=D-TLmwa|i0) zK5R-PU3WBXGj><~ZfmZ_T2`3fKFemWD9bOh6%QkJL4;`i>DW%F#mn)UsBmAZ=z_cMs07VM>ACkyf+ zS{b&|DEtIehRtrdLX1+0z6kL_mGKK#HY}pM7SaAUh=ETvkd%2V(NYy}{41tk2ucwB zwAhFX4L(gm)gB0;K1z5jrwQ@T4@nYb`Bzg@sVEs#4WbOcUZRXlv4}G52C(*8hB&Sc ze2Gd!tA2DqHbiPUS6uSzS!I`}q%tv~Vfi>(d5Cb?0B zWGR(MD&B738)86T&)2UiodjxLRsL4reKiCy5AQ}HRx8kZQo|k^YB+bA&~v9nB1v?x zQq{2AckgcB0EKu+t|d!OlX+VJ%V`B^p?O98;a&9`ko>z?U8plg^MOxP z>P5|AjjD-wGCDA*iT2qD`L$)wr4pT0FA`%`-=p$lIsww45dq@q^|u(6IB#s&?}$J!d9^J)>r4&OsV|%U8?=)&L>}NKeXgp zxbbO;TEN01cp_UWI7q~3seS+6q<5hB;}<_xz4qIxcYdMTTOYX(T-@^Y$*q*Wt&KtS zfJ<+a1uri=^7+oq({`t58%`}cH0iC)Z|$JQzLHOVN!du79kH4q(JZNp)aw~Vk*>XD zM$4SA=DmyS-n;mrkM{KR!v_vuI)C^m)#c8k3C4bs@4(Vxt^tK7{U>Z9d4b}r3*Stf zd}Z0EGpM%VwELIk6JA}_(7!(s{~`I%{-lsTL$ouVA=w|*Z20`6_rIS!4+Y!y+L9G7 zPpNVCe};rVEy)KLjzV&3!;}D;z2)ayM|W@jv1T)({ZM&!%YoCCL45;gYeXAbIug;O zhCU>-4>1&$C*w+kt3+I(L?so)1sS14HlrWOnJw?Dp|Rk0xV^LhJtboL&e%z_KU+WB zx#IMVO)IH(-GcW|pMLet{h##TNyTR*QQbepK$J6{CD{!xpL=WDxy7}osdmG(nY)%9 zs;=DD|5=jIPZFPlViEsjB0c$x=CsS%DU+rxeC5r`1g-nh`^o6j7_YP%x}0A3fX_l0n278FY0&LN6Fb=9l3SMZ*Px zpJ6gKjYba5AJ?4-4bupI?fOWHk);(ygAmDYMjzQbm4X4)30EpeA-)eGBQ&voTHSE5 zKJwddqPEabU%n$Fp*K`gr6_9U{(i(48z~A+a8qT7F1)GI@AS_i2^BTTO;uE7play_ zHL7`&b2aRI4Lec8T(!)N4&h0urS!)TQb$#-_oV5^4zEo$$iozmm^{NRqfQjYZQp}2 zQi_$2k&>hEeNP~{7!B9(4HBd|fDGjt6G#`014%~+B2rK6^~EDXsy;VEo!6b%!=*No zuSoRuZ_c;EBh$~?p-^fS`lyHn7&s_JgQ%qyQRwX51|15Au3k&0Mf#I=C*?e0U7cL~ zDKhZ5UKs1!wiW5sp#$lO66c2XCH^79Nv6Wj;PZMdTT;u=A#`unmOP2OIY2ic8+Zc9 z0=fcSfX9IhARR~pQUNQF0we=TKxd$n!cRA(nIHrPtB78q${0zW3h}-A4vlcotu<_Z zEvuIG z>~8&6`&!5vf<#iC*|)1xdHjew)jm!RwdwHFbEfQ!-?)pyljP&n;a8Qv!fhxdu{S+MC@ z!xAWT>G&5KANE{=_m4sr2qH>896Muzhyru99f)BL2!y~@b087EK?bSt4KfI1EeM1X zB_xQc!FF4I(X%50$@26eU7kK9yoS;p@L>aSF9?LqKSLnLm6~=};Ds!2P%>GTe}K~7d}9r=;~Q&` z-y#rf`fZZ+-(@tMk;z1INv63P5DR%mkCh6~{^Jxye@VAmE$Vtny#f^~BPLmze`o_N$Tm^Xqz97JCHqO1 zrj=44xeH&8#T(ZO2I!M%G14EVIW20*aIunVWEknqQG~pzITeuETpRMLc9Ehf3NWDQ z@U_SXRdf>w>h2B@Y+~*O!4B;uMSN~QgB7y?DRiH<$S4`K^VYvHPBM%=zGaTwwDy;A z->JiQPFZ)giN7_LPw0M)`uMbJj|?e~_U-$nT95*Jy{r;&X^{FKQS!@tW#4(~{=L+( zT8u8Vn9ykDTA5a%dC@PyAU7xsVBX+kkYU8!>x_nk=62 z!sSskibTnx@hw73KP$% zgUB;0ejxrEZxHNiixKj-bhDe~xSKbu#HdXW->PL=9#ay3R8Q`ChiLQN{9<3X_PSRB zw0z>E&7aw;86it`iytAIp;Xgc>c6(7rmaYprM5#W$c&e_GmuQ)$?8(XRndW|;(@KQ zh?wg&Y{bnXqn51-8y$oN z5*=^<+sC)YgJ}Lp!FX_d3exhne58ezf1^g@-;(^AHQuKm5-AWwr0i|#NRT)6hMJw@ zO~`^b#5*-R!#W{H-VBi$Z|1jZG(jy@$TPH;rG)_ruBv5EZ4U|HP52;HN>B{hB@yz4 zz7q(v+LGi%b%`s)y@y&+mCV%KV&R7)2wjPHvYeNXK}1>myuu>yG}#j4nI`AR$kfN) zGm7W~F^Reo=}oad!u#FzH4xtU8Hh=U*v}_8qHzEUp_dUskAgJdJE6)BZIENYib$=| zkUEhrB#+!_pyc7-T72rl6_!&}A@BN+1gHrS-ob%OqQFlT8H7a%D&&Bq^$#M}O>k&7 z9O5%<8q|J9x`86`G_o4yb_qhOC{IS&$d{J5jyj)psG@U^60 zR5(c|1IP=+Mb?u84gC}k|MvD%5ZS}Q_d<^LQ!LDGMh7FB(r8hC0IE;?UWj~EK?0K? z4;v~I>8_P6*|YFO&TvwK`%Mz_$i3$u@GR*^QlI)vYV^s$DA{H=YWQT!C_Z&} zJZm(Ga$Fmq9-3cn!Z6f?(W~k1*xAI#smaFXBIZCwJ&%zTO0+ycL4yZ$DIIC@3`$KH zikdKzH(_9o9?*x5X>Ik)F>v8aHL+=!Hx!l|)fk6TBLWU!5@GBqDslB>-TEFG*%@hh zrous{%-kotnTktC6xzy6Pj|`4&ESDKPv)7r=9t2JC?8d{B+tg1$yE(~c8IOSZYyis zv2MNb1}5}K=_eZ6v#hXWh$-#Ko;i8p>0Nu|bgqQdf_ zrhL=mxli`&Zc6QADyt~K)Bw+w4lge(E*#@|6b2(EEYu9KMVg+p7h;VqzX+=NJeF;g zZD0kTN0<=XmS~EKjJ24`Yy(S629+W5-82UM+t|_3_hN?{dt=3e8goOH3q_l$B8&?8 zrp);y1*I#pjj-8~Kk`FO35l3g$csURG|)A7m;W3=s~s<&PL`8l?C{ zHL%=N7V_CBq-96oAn>FVHCnk*p3~lH%oLj-x0Jf|`Y}<%O7U8TL*bXp(L8fGe}6;a z@E2B6QB-6akza&*Z7RzjY(v>lJM^L!2{ox(AG|REm#TRg@sFLH>j32V$nEYwKg^VJots z+={1K^O|Y5Jy%g^Z)O%u;m_Gg+k6FVOUl&8XqTuo@ewfGxo&-~ZBRvipZuNyrgA%` z@bu-7$5pnH{DP3jm7B=G5QktJq}UR&n`X3rnTmQm^J3ll!u2Gl@aF(;oz<5nfT0po z0k0M1c3ZJ6go;I_BNYRwaVSb&VTV|YhnJ5AH)Rz?+6U6B%UvL4-`yL#-3V5}TdQYR$x^ z$SL~F*m>PL7LFw8(?5B!N35r}@YK$ZXU5KN+ml(gilZZq){zJmdlW;uLZue>V zl=g<++QHf3mX*( z-<-w;3e%Z7^Nl2q|4^U~o`f+5ZrWSRr;7I#$cOi35Aqyw!g}TJ@f;I%KhK!4HsV=v zKhJ!>u*1*)G%v;|j^nR+j`8lU)XGV%YFl$Y_ibFwe!+%V9lKe_@Qviv46C(Sf{0L0 zHKQuwMjaefGF22J>G>T@G4@6&(_d&7AwTWedW38AS7R-o=p?M^Q>^G?T|bl>w7MYJ zvMAfvXV=IgnxMYIP6bvPx9Zrh$WVcCJ)X--O z2X&12-GT3eHkZ5@ytxbtu6Y*u)iIaTuuAsD^Z>eIr{F;Z_}7Xp3lsA$EN~ zv6=?aAu!<@YU4WyI@mYi8NQoP4w=CeCqhN}TG11Hj!tME8 ztg+_Ugw%9%hs^jiGfRukh>uH%!9}LdZ)kb>@Wl4*xj3}+<)loqCMqE_Cc|n?Gsjsn zqs+0H)(mq(hnNoLxHwB(ht%kpsEnBOd(VZ$6TMX(f13(#9Syk+r&*vgVdP;NWGeRdo?+L+*2P^Q#gPXnDeiEPn7Wck9ckUQho}F=z-Q$T zl!$R(YgG_V2fc=L?)(F7O>T#M?cW*-G`NmLgn+mo!et_bECzG=Sk6)5c3o;MT@W9g z5zXQN}KA+CctIyyBbGdiI|JXVH0#fYwj=$=nHM<=l~#9|p4=ID5f z#T=WF7H94d9~Enk>kyT0iI2<3%!rN09;iP5eEc~|-VQq_ynVD6_aRp@FY+8_6m{%Q zU59hzC4|g4DG#d`o-MTa%Z{IuU%Ev}VcacJoCr@t*!Ll~P?kF=MR5rNo=@eWnYZYI z4lKqJ8wDOxEeVi*hlDh9YFvDrIWrTlBOxt4-r4~JV7#>sx5%BWOz2z2q^3n%V$7D* zcofqbV>Ne(?a;xT-XXe!l|^N;xG3wrx5eLb<4$SZlmW$mv*)nf-*aF!t5MH^0czuf zFAqq0|8FMjop9d$E?|AEQNkGiHBNZXSG$}3&4j%(hr0=5jjmC`m?Jb!c-MD61KOc) z=D^IY@s#A=^q6@&{cu9syxL5}I)Uzyd$VKJgOg*@c;dsqmuo&K`kU-C?^ob1`&fu* z#6J4Z#_U&JO33|ta!F|P4Zu=KqlD1~H%_?brfmA(OxXJkxXUq?LmDOg&=)zcDB9?FNCd|L^*h+o)gSc@_$ko5ebEDdaMWaSMKlBm5`Bv+H{7s&{weK#^ zSO{vw^Phag4eH^4vneKchje%4jJ2pnJU9A?^D1}7&;WD(zcWNjXf#B_+F7H7F}ZDA zGY)6F{^r;(!8=5|%Q05u8YTQt=W%OUpWT0x<3?jJthzNy_@U0j95k%u-%Pks>%*#F zql6#oJcKc}Q3D`jj>mvT>ls}z<+Is)V7iG3Yih;7f7(1t8`05Tsq`b{`2||O^ME|A z-(A@lhVQ%|_KFDUl**Uca6zHiq)%6?17ryGPlHDe&lrRVf7wO}!1uig zj4m3p9NXWdOdakkvM41B^xLp$>QS6}F9(9kGY znm=stysn1fmx+NXZihC7(YvVVtW|LvXNCOgSOq*0ull`O&E{6~!8#19VV2;vQmFEn zBK)<O@y%F}}f30==r)td5=6zW6*{c){8``xse{vAP!zUO#d^EwdKRec7Ck{8LVecZ% z8n&^9ZK`4K*RahsYzwyLar%L07ar!23r{3}ICG8n-KC3!D!c zg8><=)v$(u6DM#g1rD8XRxwxAT~!K?Su3l7Ra+IeZNr%rIFbT~QQ+(i@8K2R z<0)Y94I}8;)dg!5+#YxWx7xnX&g4NI^?Qn(+%StD~xz0$>)w&D8I+ZFV9q8|IN$3 zYe*tYc3Fr2?HBNe;nTkt{{ON?uYdecE$#moD>v}RU-o~~(*95ELBZ3XwX{F$ zQh$HZjm@?Ghensx8Qe7Wzckmn_p14)5H`yHsY4a6&ZqN)wKe#_u0!ngz<+9eb%=AH z5v|}_LHi1oN0GvE+<8;sGYeaAx^`0Qf%(`J0fI{!-u_~QOGWZ)>4@b5`?D@lo_MqP>o)W5DC85ywMvO}T!?a&w zIw8^2A=J9;tq9E|3r4geB6Pz~uP7-bT;UvQ_7Y{X; z9`T>2^=JZYXhx>O_J=NlIsKMiBs#N~Lf8nO5N*bJLn!_pzl{h6-iaJaNpzA=hU>mZ# z!MT5h+~j0Bxy6Zt{K`o!xeWr@{l>|8(!j|Da)*2S3EZug^zb7W77l@q$;37rkQq)+@$KUNL^h#c1JT{KhNBv;5H* zUJ++|l8S*Gr@JA?7|3x(WUP$Da5;Kf&RkM`PmYVhI^_5|FTpEh2`AGDZ`zRKGEQpA zauCRow_wPTw_wPTw_w!4Ro*)Inzs(#*N`ECNRNm%Pg5)ss|l(v3Jc$q=00 z=eYQ0dfV|VPe?4UhFf?du^W1kjUErgw~1H7*c=3V+QnS5>z?>{GllqgGllqgGllqg zGllqgGllpLgFt+|eL{S^eL{S^eL{T4yyDyK72kc$6yp2yW{T$^zOTLHl$V_Lk~3cM zd7A0Z-e!7*?DdN86R-I8dBwNiBR=w}r+{2~-|!|J%P)B|h4i*^l1sL6dG#dQIq61r zaFRhjWBaruoy2;|4xCgjK4CYtdp)u;fe(+HaJ&-R178ys&R z$_a0#kl~*s}fD;+5eIuMBT`Wq8X|V%~&j za$ZOrzrN&Y!udFe$}7h2y<+^qE5^%SG5*NK7{|qU!6U}*FxJ<#ky;G0=Z}O^AjSqZ ze9nV4x-B?`Q_$Ru2+{>hdMI?|YxbB7xP>D+hv-`xu#lxQN;*XVv_pmWs)B<^bUco) z+sHL!E%9(RabFDgz0ZBI+_#zg;^5=Q&FPv+{_2ZuriAc(o@=LXjufyEzA88#3BdDa zaC1Bl&uVyLx#ul-;<#sx@&grDtqjRhh|%N82Rzwmp21e`^JKq``#jli=RQyNJGhT$ zFML>~`%)dcD8%?uXuu%b;QWdr&A}itP1!kYkmY))3d4`L5jU|IhpTd0LdiN#ODS2; zDULGT!0B_e3l106wUt6(O*QbJqq%OVt;F(tXkf2a=O&V!j>ky;F5#V;IlV}J9eI~u zUL@~YlSJSmJ99EuyK_tuHk9LY0>_ju;}4=4JhPy;LalloX8cN;FUuy5A(>u^O8Jr z_}saqt71WTnysh^ueP9c&}jcR3|J!6g-OAYElCSkSa>$n1&g9{xy_oUca;56q^o?C z)Q!o3c;PuV1|hNVe8D|&%14Fcj<8Q7KO|5TEXAl35BgsqM>3xv?YK6i&7S5_MD%}@ z97dS((cmY@=b5dEwkW^ARutKuk`pDZiMbv5l9RUND^A*wlbo~?zINy?JQ~@G1`ID8 zQCgmAl>#b?i=pP)78av|rY;%>^-3*E+L5-SgbNPcu<+Ejgmj7QLzU0)`{9<;2b)Eb zXv-uS`95hOZL>EN_eeb$H}@kyaq=v=!bt)7nG+kingsis=uABDBe?CF-}YZmO(K^) zj6XAp`~b#NaqpU!!^1MUnS=<@gD1&^N@wCES!O%ZbrOzogIC?Q7jC_r zq{Sx{Ea5!0#BYT*w_8Rcbc&a!sa~F@d3l=d;R%PQCGtl&QrDYnk$GUx!xMQ8J}*o2ImvK@r5Mi8;(H7&`kkSLcNtpYWoV_Bp*Oq?t@1EL-t^?i`FZCaKO64x^De&|%lX;F z`59p3{Cwc$XRDW=ZC-x1d->VH`HAKHY`MqJ=HK~w|1LitdinXt%g;_PKfApA?Dpiy z`8jZppU>{`bCBPS}`QhyVwTQO@)S}~FeolD#`I7S!$N8zd$IsE<`8jfz zA5Tqh=dI~&$=6t`?a7hzbLk#G-~P^zh&5`>!hq1_DlyMCN>l5f+7YKEJH~_) zb22&o5=a_3!^z|18%~}eXLF#^5}mn+kXr~)?;*c>$!#zB%}W}1EDMkIYR-E!(i5@D zd&}V^PA_rsh%r3kYHz?>Ub4nZ-u9BUJXS1^wZ|Lqv6t-il25#3ACDEsV{w+j8fO{g zte2eg5aGO2w>)6{8ZjroSTijE{uWPYh4YR!qx{t-RXOy5{aXs>9Er)q*rKVwiH!Zt zsYph<$3FO-Bm`QU`X`fW_|Wj+xRbUJ;~*Zko`=Qouys7%L>~4j4~ykt`+3+(9(Iw3 z#qqEU>X!RML};b!f&x|MoYE3aNT300_PSP5b9GBHyhTl-vUQ8Rj%0e^QG+53Q?+L4 z+Eh%pZJMJ79HPp0&ZM@8tT<(+sz*gZxp96+0~Y#myl;>)oJ1v+5|WK~%X_b<9@o5J zP_{{Zk|^4!OzHV{%_kiNS5;syf5qqs!(+-ZBv128ATfotB_>T>a}2g4Nkn~EW+c%} z4Ui*CH{OPC7v%rw|S7d*<_NR)U+S4Wx!&B=C!~22#r}I`E4&Ey#kv zR6|%Qv2^~Dbk%$uq&e1!R0W>ag%m`zi)yRT%ojzBAi|z8U?)QNnAA$yHuW7!(gOE) z21hGIO=hP6+=!IgD9yP~lK`9D)W(#l3vH_Dfpm10A&Mvx6TH-rZ7auj!=@|j9Ndb; z2DegiQxA13GBt3eQIVN?hx+d$xr!Vz`H3Ih) z;t|cMrtm$-eL4etqq*;K?i-h^jiQN_vd~LeGqfqfx|$`0L4)k2!?9#CJauajHHl57 zCe+ldrKYrlh|TiMW+cCyIC4OqB~DJVh>Mdr;^xF8R9EZf7*%{bUgP7Z5N+3qPIvwZ zRcf&$v}t3tj*7@iN&HzzTrM;4BW>GDk4}jq)6ekz^+4U46qQ!|wn^YWa#h!G@PVer zs{M#c?R0Z~P8k66Gi>K~*Yur@;}UdFc@Bo*IvRIR^$v<7o&&}8)K`Q)2h|(KrdV*+ zy`Hup24#ezeU1V;%#;bC?Mr%-@UipLpbv$!j;WcNM@5kYeh3GYwvm1WHxUcPnJOZ+ z@RRPxrqD?wh4vCs!e|o}H=hpaDE21t)K{g863?4e?JmkfVS6db{2t@>+S>NeEszue zhDfeufKtrqCMHRmM4!~^_0-%^)uHd(lr9~L>{F}}k94sWjj&$pUdbKnQ?F#O}`-{1;a&|kw%8W_$xJ>cBTUiDYOgePM)ED zt%tz?Z4{Y;qlu^{>>`djdmiT$P9aOYD|kVBDS^%HF-j-5ZgPr}8!*(B38%mBv`0pf z#VHxNC?oYU;!gwki4qsgwE?qbQY%T&HHSjbxFed6Q!N(J{H!SSCP}c8vr$J4-bpbv z0~b}r__qO6fkTcI0opWN#Nwhi@B*wZXQkOy)V0ytv!p8Cw<4@2M`2DBJM?|y z#ZQRZ@`=1*=N~`YPNLNv%oK5WPw~zG)K5vs)_j*a*ynL`zW~}-)|+Z|KW8>e5nD^4 z(}mntk1KIzkxqPEzP+k8~UNG_fsQsIucYml1atZiT{WIcQdl6#)fmOg zlZbkfi1U~x=&7(Lb?4{NqYU_GKd(?pshA{Y+XgpGB+7}xzRrW2Q1d)t&yK{2B;5F} zAo+E(4JxcCR!*i)RbJ_ElP*D7(1L0|KbV`0BepCtGU}fgNUSjvoM6QogS0!hP)((h zHmpV0&013zw7Y^CBxvZ)@?`z`PNU*ykgPzWG7la+cv!5=97ei?gpu`h2A*q(mEqSl zmYCF&^1DU`QZc)9WPzUM@8gGgSr$`IPMSfg8a)+p1Xr})6#BLxNj*vjmv?)tp+q=d zBH*CFThIu|&^L)f=w|l}hrI@l^ubGP_c0aPRLGsI${6-uVJN1p10@Re& zTlKSvDK+?NsM9YYKpow0SCYO>c)-@+e{NubCO=g$UXBK*LlClavnpfI5ZjmtKk>X~ zaEl(IaN}PZjY^lSg6JF(IIBSeXF*7uQPAt=N{UJL2*0f7h!7f(6G*Bj5{*KNoJdGd zO-H4O|HTnFOrv>GgJpb8lCoft-Z4xg4kdQY=m68$hb7Bwxt~Lr4^cH8noKNUTC!ojLkHvQBt5TaeA-NW*TijiD>&5qERJRkAJ`_&0&eXfXPR(`_U1O)McjG@ugz`IULKMnlChz(aJK<6J>O78P#mdb1mV0k?z%7BK-n#`) zW|*XzHF)E`D+T^pPQPB~WVzpK8zgn5q~>{kqS%Ylem$gv{YrfkV#%s+f}nf9oKJAH zUPEue-P?QXcL^f192ECo!#u^!>LWDZx!->|^-VON{nJxap4@$g*eHXhW%0c`52RLF z;<p9Vi`znA1YCX*E?24UcwUT3%Xku#O zuUq;OK5wt9XBrkYl?*!VKuy@onwA;F7P$W<{p9dp1EqM$Bx#`88*wZ}1&<78W^L2- zO@%eQmKbRZQ%Z^+{nyqAL9?QO=#D24(MUo^+{Pep?`^WSi`nrcwo3xrr3T4YJ(?JH zFeX$pmyxk8hCD_RxmkQFce1#X%bmX5Dd5g9?%26A1`bYB8HSJIl#*bQK8qjss9ivX z1x9;VW`VDi*FLUj}Rr3m=1 zT(=AIh~+kM;N}!{UPE^p*`1O(>b!#G#L}HQmgE1Iy_82FL$V0BZ_r4LM^~!z`rjt; z3uKPlL|7}IJS?|A&RbUp=iI4w*eJblvHAPUZ-~0hwT3pvQ~l7F%extCnI>vFr|$ipEO_t#Ved`gnmV?C@wp+95FlP7BBqFl z#;qm=M5FKk_ThFDIvq$qoee8d%UVHDxkq7(*Xg~?KsLIe0Nh{q7qLYnvzk%`tZsHBVT1%>tyDP%~4 zTglK#Gw-30nZ+@P7emxQju<5J5|ve~cQ)}^mp)VBK7IYW)^R$dk^#_b0u@Pc>Or{- z$rAjnOH`(N27GuJ(B;ULWrm15WY)w-_WNB@w4m%DZshBf#m_>9|0-H^TauO=bDH78 zZAw}`XWL})cM~CWe>d^%ctIy%zOaSEv7%YH5lo{7(ibs3**beZe;0g=%=5p8A?7#J zR5%p01YTwmH*kGBZkWutgPPOW_dk>kDMVn(XkT~?yS>NR>U?I*TrJK&NA~<(QslA2 zN>rw@1?x1YA!TtHZ)7kmnA7}nTE}AU1Iw{u&1nz@G^go6>)-l?Vj5qavDzN5qcGlMt=fK7XVD6D zk@<}Y6$tZ^<;;)m#h==1eQK|=VEmG?ti4Cj&ZWEP2a&6|)6T5Zj+t~s&DJ;;gBA9l z*7rUt(O0AvV9Y=l^qBSh$O0D%3INYC6b0ZHWK-01OzoK`a-DZ$GkO<^cVjztgUN^` z6VL9(N>~^QVa++Zc(=7KrQ~zI8nBsw)nm9DEE%Ox)UzoX^LH~F@)qvq@tkIS9Dz2m zwp{XD`C#8-Ey}{kJ81TlSRk&alU}-ze^v22uY;<|ow)ZO-!do4`(44nd(% z%)dsm(I-f|tLi{x*h2*N*mt)S-QB`$t(5@TX`k?b&U!4au$2X~3R~ufbtL$g#XO*- zc5Sx!@r|)4s1TLvv%l}XPGc{aCr>II28!o)y@cXn_sxQmVw>Hvu*zmPb7rHYTG8b1 zEm9nTinCu&C7NWcSY)ioJaA6}G}HQiI7O6yUjh+N`Cb-+rhJcXLBUtXX4>D&_Z;Q} z^ShP>@6%hP{yVb?zA3t{Nu1Z3F6Ey>3UFme7AoU$hJ=R-B)SHn`?rs)$9&z!u{?W8;m}cHOblrL%IZMt-TcJUhK>u#~l1%=D^^&LfQ`| zFw_#R1FD2yAk+2WM;3rPfNo3Dfm((cDMu9pYXDV|Mdrz;`$2j&nLeD+fQZQtkC+cX zvOqk7nD>w_;V=MKKuL!Krd;}e2R49+!yqOj$z!-fW|Qz32Du23XB8A7UJZiBAgdN4 zM9p`}^o7IIuj&I@vMKh5nct8k^fj7=A`@69kH;QIV-fBMO43zTC|Re3dkBp5Y?!V1dO1m zQ4t9kK~hi0>2O#N4pTYjMzof!f-ZL0Ng&VW8 zl?ZQ~O9(<7QMM%?h94kVt+!)_M->Qqn`}{*@ENVTh4oOHhop{r)hI&rW?)f*+|ly4njNTYb6eoMC~(L_7(FzH1Rlq07to*_P@xh)R;` zrW?^t=0}TFfL6!UT^3SNz@YbG0>n^_uo2BUN1p&s9wU3f0)0~OCXM({Ykw9+=9@_8K#)f z*fLcQp8UHx{^xWPa6&i1+~$pD!sirlQZ;X=asnz)zqxXD)Nu8LGuXSRCn&j-ngYYs z6NGHPN(I={qkl^+!H8mJMERT55~xdZm>Vp3|BhAyPG}`8nbAuhqLHwj&`8i3p^m_t zqx^PVgwIJ`gfc=GfinYC5wz-lWbIbU6Rp8P8v*pNtTq0%GQw+|j??e4=C4PDG6GI0 zBQRMwQ=6+VJzV%kFCj`fq2)_vD9c%SJYA38aZmRvq|d*;m))>le0{Gh9KOC6bxKIS zH=L#&o9%aOCTPh1jYa(%QJ=mIMlzew+cXMLzl01PsZfBPO8_#C6Mw&WFqrZ8qX7~+ z$Z(R8`Mp5nzaU{Fm`&&<2_Sh*mNw$Su*%W~y^_EPR#U+~U=-OKE54!b#S+*^P7~N* zCun;amkA=kXo6#CcURi4P*w$26QMe=(q0x;th7g6`YjX!DWLcO+5^)W7Ij;IqPGVs zUq;&7iJK|wo8{S5z@S6+WGg_T&R3L$ReVL{KmtZ64IoEZ2|4Zvq4(e<1IV#EfDwb7 zC4gZX1L(-8sV<|Y9+g!+s4DrMv@3Sos#BHyx;+_ zuZcB-up`#YFYL&s_njZk1L?57qf{gcvIpK@8vNh%xN_zP-v4pL^%mI#uAl*NMq5_PrR zoDDb+p7im#!J>{mOm>ij^!k%mEyxdu9K4FvoQS6nK8B1G0ThtOr9(ENvw>qEeHX-I z&;v3BuqH_%uvS6$g8YEB!AjELmJ}b8nPD#|$t=ZE(4hD@NSOz{D%8p{;LMu)0r+^l zKXcC9wX$k-AR~z$sF)NT2PvaA0zIp_vRn{x4^lSx-K}*ory)?!nCmy8(THvI<$sPH z`A5j&XNRGNO9#;3gc^f+Gbivl(L5^%5PrUg9=_dKjE~yiw=O0|GCHK9uEx zh&#-@XMK^2IK~P0_}s<9`$h&5Y8{3bK2Gm^)q^;F=O`}Gkq<>BIz!&3 zzh}xoOW^6uJV#y1KA!;$m!{wV{F zcg-wg?n(Q}#H9I4@N>qoIqaZ%~YxDQv=ZqusjH7Pow{-@bJk<@x+>e)kN=zQf zOH~8?8+G#BhjCryzmqa)jgS%$VZO@A4q$ zJQ;wD?1D5m&H<=|I*-e;|LKc{VHy56Z_}XJ?yNvdGijHI`#}8*ThHq59ooej00c>P z5wK6@H5^(uW`jk`*WwKu$spRW5rq@`WG_cTC@Y8AP$(E7*)+lKSZuwK487JHQKTf5 zZ6OuL%9SBn6GcMbm&jtT(+K(s?Uu+hH4q%JKnRq9m(3@nh8sa^UUs4bQy+e!1LOSh ziH;4UOBk`q*g}xqjV5KB`3F+QKRDV^_6H)yXgFUjFJc_+)XU=)q{tQokEF@eOE=UlKL7p8- z%Cpx~i$H`KOXeO;P5CqllBy}^IGPlWk!j+JU~7GbgcG{TbYwCI$QM~KF;+w;Nr@sm zhK}CfoIt08Xi3))1|&$VJP8s9Q?h$HgQ`zRX=Uom5Fs>}&yvp@ zA&)&LNteiDEv7SMG)gbfDDh;G5%SpcWDy{0hLH;i62Nduo|7k zI5ttdiBbd-SpivGLY7!GD9Ch}MeC?YNWw-^CL$6rf-(VdE7%7m#jV*oQgLg?q>jslQ7h;=b2!?Aihjnt zlbnB7);gM=bKZ;v!{n?snhJD6#ClT)M66T2{)~h*H})@ffp8Yyz655e~DBf!S@&pK*R1NH-vK z|B((M@*xm3RDLP~ed*-xXg+hv1TBTdJdko|qCb1phfVf^sbnGv{4WwBAju z{NGZJ2TW-Gq@~8^a=pz7Izys)3fH%*ogzO1KO@DbAFP^h%u!ZKU(B^gDbY8CZvJP2 zW!C?winGCHyYGxShibYOb9Wr4&LcP;lJ~3zrp_PhIwOAqb3>)5?(oiTB~()ESwAi| z1HAvoNc&eJ)c?xNf>}-qQ8oQA~`kq zwW8tal)Ok6(5Rwz1 z3XdXV^}cyi*9@1SPJpA`Or7tw-<<9K`(&uhAj5B55O)Hcq}Kl#+<%RBxZ4?y1&?;J zdxZ3K#JTQ2Ejm3Tce49!qSH(^jt!MYQR7ID@ah$ zYWv@QwK!xUR0@w+1Lal=pK3OS*p=JoMllj!N~B` zhEY?A^A3ym5>*f5h7e~RNWd_bMZpl3g}m@os;4bsSq#CDR8M;(v*Owyvw}EeJ&tWp zvM9!}i@*`mbvYJ=j6VTqtWojX_!A{>;ZJ}X!hP2B_sw8X3}BQ9*=ZKYPKkp##JwyO zfy6Xyvbiy*X#Na7_a3iLtMf-TYxAFym6EbmkWUVin93d^i@5)5DJd!Le7lqs1f^;4 zBvRftC>w=Dkh6{|71h1D8rXp?EuZnZH~rajyiCOhe}T|_@E6dJql3EdidZwyMrE!} zTzX&MgW{+2;boA+N|brQH&Lt^LVUoPL}%{fX=3YjvfysLPIqmbf-&bG{&swBjOsYh z!2FLl%EVqvZggaE5^-|dJ^d6K_KowRzxSxEZpBP}V~+V3=lI;(CCh-MU_SYj5GmjD zgrIZJbEJkL=<K_7chfF7mHZEL6=QDMY8{Q6vQZjs>JU`d=D<@&7W0H0SQL08Y&w4%0OQtZ@ut2=Mea^rS<}N33$t zd?GDFN&(7!VFw_&9q2nA{LYv4l8o$vv}TZ*@|>vixh$;%Iui~I%kh8q)&$yDKAAW| zsUfjeN7%apLw7XEF+WmO7OYqqgQ_eLTOfP@AB=iiNlI_H$tN)5#ldDQVGT3;bcv=; zDp=AOAF&8yU4+>uZHZbe%Wx9{6D2e+HMW{6Sb-WB11gsjV!!|tVK>a2|4j^{6Sl&( zXquY9vjs~hW8q3JDnsmfMM=C$Sra zD9cwKPD9i6=-_QlA_G-AI#+Uhb%fbJZP}64aj_o_JFTj#l&HB{dQ^33-ZHTNH|(V9 z)L$hwsBpptl`;3%Ayxoq4wo5E{rZn(#-mvQG!wV0sP?)gvF%N z;7Hq8uvHC}GmM2^01+WEj76MPwE_tpp}xBG11ByIOky=t?7`*}2=BX43V3yahumD$1?lpzxjB=ty<)D{+)qmng^=*m<51o|J? z!UAPeLYs9|Q&^L^s1y9_YwnLSYP8ev-@@snYtK z1dJ3M50HQnf@4r=^$21eVHXJ)KGL`uIvmh_+*p{hFv6P zuw-X&wQj#}03WVKIXhTm-D zT02-&-f;OatBwl?af$P=l#f}9J|NEFI=}yCq{Q!h4tM+fVdro^^^hLJZPJz6!y0}B z7u0&?PTm6D)u1=R7*_~riMc3m z43v{fg=^As5eLf;+^Fuf%G3WQV_l>zu z-+u5{sCmm{MHU~ft^2p?cq59XF=s*1KaII5L7NGxVQ|1k*VpYBRgc*qsiAE#C$qC{ zF;_3{$zry#_8(7^w?Vb!rjM*4@{!@F`Fj*n;fc_D-4B|A`JC{MU_ST44Uv}B`?7|N zj+)NVRhf@%QZ?qxzBb;N`;U|o*p$yT%Q5|{ zum!SVXo!Mr{Ny8s!@fm-8?wX{BPPX2cl+fcKBwz?5udA+QzSzav}p86)e3_Rg5luh zg9mGam%lk!8@3!wU;VU{I9RK{TwXBD&YD`&qCg6UnR`GmEcl2N43Ci>tZiS!T)pRw zV0gtxB^nY_SOzvA81~sSnqYW8ajv$FU<>RU%^X&)%^wMdsaJiO2Tf5s`n& z_JL~18w#|Hi1j1wjs=4K7rGSflE}3!Pq@53#IC3A(S;a3+b&g z$5cWv#ul6UPfF&^*EGRdN~Yl6X6Y8Rm(xA_>yk2XfTUlBct%KC* z;FO$&Csi3#f~9zG-wzq*F~%g;xJ`St0j;DHN~XcVxH1(6_!bb~pzXLp14TtM0alD~ zhLskMSY5w@fV^fE)pm&;m-*Fi+O|t9sC1~w5Tj99x;p$rsKnmt=hbr*z+DDo4ufg} z-iKJ4g!c}v;SAG595rBOXd-R)cXZyThmfv#_8tiCv-ha{NT;&JpB^&%^w2Dfw5Lxe zJZ^k`2w^&(AEK+%&m6V^inzvxQj*VDIvp8{Z77>aTD@bc&VZ;RGeaJOw|V^1<24Xf5k| z23UF-qXR!UJx6~Lh7K;g1U~qZ!S1g35@vP@o32AsC5+RLqhHoH!I0Bp6J)UBID#i{ z6C0~~8LPsBuIPio_oI{jVd_9+yEvcWmCw-Zouz4PNI&k&6DgtVK_aEOv%omM^c4C; zofb#LRS#1_Ta_lU(;0I*9K`}9S+Eu;q4WBWXxhavnZS!VBY61?ma@vK@hWtt)vs)y z&n#AsL#(r}#`&?Sg=4f{DeICRB{0&X#5$VFEW(8Z9g0ePNX$`EL6t$@QZ(OZ(98+P zQEY|^RZo|%tU}ZJVh2i?^W_nwrvK#;4K8WnUTl2?!Yb<{;E)9_3+BKDgA|ta5$ka( zD8U3w-Ub-$p_s8$;Hq+ftz*pOj?*%lCgiehM4?SfJ4CTKtsvIhYOl8y7%+5j9U(qMDLF(z7wivF%mk|I59!+K z=I}X3kF1B4G59MjtMQNlg5e=zekPhUA$}Rn%wKgBr^M$DtX!iNts-s$ zb!;@DDY6W5CJ{M5rkc4!PR;h@!^WHgAMxxy2DTzQRF>1}W5}6Ik$xIrjfNn_7)t^a2#X&P^OJ=i%xHH?wH3?K)rE_#$*H(*As#uNI zsYVkE##;!+GdtXQ9*Q%bxT_e_lS6r$N@7QBu_OEXQl6tSb@fuQoh<}cxK5v7HGRS^ zM+{wr9M+B)JNZK%+--zAS+IhH6e(E1CBQ$*U=Sg|sU+C!i`~d}I4n&Hd$tpK4u_>f z0+e56W)Euq!ycI-E$5?%vWLSmrLf~L?D8-RM=x-SXp7ogg+OdaJi%g1X>peKSGxUo7$(~!0L%!#@@aFL-dbpmI@Jj&!ySgsoE zkny;R6@!6vQo!}X*%Wn^ar7I0Oy}9ur#$ugS=9W+%sRHjM;y~MH{ym=S+d4XCs%g0r&ftj_-Tmyco z+Qwor@CS*|Ek4$@5KEIWa#ZzfEVtiG<3hj5H6n&QHI=6humooxuXxc8$aZ3 z?vOi$A$KbBcepM%eeq--I>WR%1HImVhFU~1>^g(Wn6FN&fm0T&jbd-|8?3(3TrHE| zEVgOYWH7asd@Npzcx%y{h{AD^Tl~^Z7sxkMqSge(~q{h}<3%cg* z1$N>(5f~96kH1Uu z5CaPl@?`v|Aad~KGrv8>T0klJVgga&+w;gk)@xDcyX6!IEAWC9-lbYGR5&yM3a$IG zk`wRAibIB7kY^|o$V6)&T1h_!*juNq3KI|#e}XtnLPsT{xWqg^d|aLUtrHf*3DcoZ z`hT~7D+YSur4A!r?|Faxm=egcnvIQtj8?%)Hx_=$K&*S%kh}k*>shvBJtO>> z5hq?_ByP-#C_}}hWm1P@u(qLYih7Q+!H};DU+V`I=3bS&A5^FV6s5KD-d+InzRQ01{>Ej_O+Jrv?Rq;|R&OM&i>#@}9xLQF6sfkU5n|lg0k@QV3Q) z1r#bQ%}Z!xwN!iRsU_qa{iZ?EClU)GWCh<6|8gmW7WvS4BNszZ%p_YcTa;DTGTqf# z8S450>aZd{0t2L~EZQ7mY3r6|l`hfXG2_${tc6zG`4XwVeA77Sf~f*HPl2Mc#Sk7( z`Ue3AAX3j8vejCaav4fCD8g3?4#TZw?p9s3kN8rdn-kz7HdWYfifSNgYa#h)5nesS z<`kYeW#2e@sy`w9ddedO`1y+oh6mv|cpKM%OQV~wA{;X!2e0o^gDlV8gvFb+Rg1*Nkg_Xb zv2_fX<0jgmm9SVFrxSj*8T1}Dbl#ZYTe40qmiNTXOI$pcYNg3Q8rTwKrl!h#x}ItB zDO$o@YAm^^EWzoO`l}JXiNRq_=B-9cwrtwB?c3cpzsOv6vsL&iR8Uw_SK{O4Pu9pb zjh~IBYM^gy5V{=;7yVT>2%j+dAA?|5NUI_M^9aC~rY7=$Y64(D00Q^QoHG(7Y6!r5 z0#FmGD_^2QAJUc)wS2M-s0ON_Z+aF@7)qukn`c1zuei+3vgwiDe6-HpUM6t?d` zbwuo2h3(&>yAXrccT+Z5C2Und^#ov(!uCz5O&1HLeIc$*ZY?!|?VrS8SItD6XD z^2D<1I0e+Ie*ocI7&BQ@b{#;gtT4PZaO+@`UH2hSjoSx`R^W$qx(VEw@?I(^Jv9Nw zV7Z0cm>psT^ho~~Wb~OL(#wO(V;D!HY%0=o{Y(+}xGbZ}^%m^_=o3J#MY94v#p!$5 z6960CL~@$~e)f}1^2tw$H=~D(bo5t! zxho%`XD|qmxM@oQc$4atjXt z+(}ulA))y*6f)RPxU~SdK-$T9L?91qmpoWCJc{UF(y;zr z9M-=yY5xp}{$)w~XCUq0C0YNnW&O*M_3yH*f0@$$5#@;fWk?%gK=vG6Gd|B_x1}m2Ku5?)MZVc<)EotxO6TPdF_HMqkcf_}q zoT9|Xl$@fqvfka1_3k#&yJOSQeCy8?4;E>nO8AT#%?G`^;<_UEsUUh6hpgr+9*je% zjsUs>Q2d^v$$N^DPoUUPVY?yu^_!=#eI9Bc`lG9`T^BVHF|NXPE_y)p4D!zpeNWM1 z=E_|vlVz`+Z#9b*Tyq7Fxv*`X|v|I)|li{)-yd zWcLqSjW(ZklGpNN{xFqL^Hd?ckg!s>Q*$xqJ=QQaPYtOD5@zl%2%J4LOMWpJ>g!p3 z>|8JlA zGWeB+P-pPQM*=ciWvLJ$0QX5iop?B)i3H4q2jGX6sBf~|1D^a1FC$wH_L2Ifggh-d`ll@t;&0wR_|qJ~4L zKK{HFWADWfU+5S``G9=MGV*CRA)nvq$^N4!2aKM47LsSX03%`8GtZ5lJ%04$^P?vx zjGkNo$?!~r;m<4_J$upU$=60tzCL>LJxHGIV%0YrEex{NzzYjNk3z~aylg67GQ)n! z42cID{UtNR0<9>47ECY6=oZB&TCm=XdjgDmlMDh8GIUCM)ciI;%SZsE0Q;=PkIDB3 zxqk~6oc1sd5F!oM74EE6n|5xK%9Zt(`O_7w*4T&=n0DN}q+pHJ3RW68rf+e7JxHmV z^-Hx;Sy0yumAMR{ff)gs+H1G(`(c~59{W2h)oK+&e9Y5WO}Hu7dNzX&%HoFg(c;b- z5Y~0hK$LEG9ynJ?bLRoW*p}se@EaaTip4x|Hbq&<19Q1NipiT4GQ9*6f)2t3EU8NK z1?nFgBi=x@+c22+CTAj%bDk{c1&9$fN>kqCDhQ(C08{tZ!Aohdgt=iZ0+)rcu9_X%~UGw8`wwuURby z;2A}11Y$3-k(Jm;g>idY21LCe2@4e)QI{6?q)j8k|J?b&kSTrJk>LE7isTA;Jh0y@gVxA znqXsLB5r_xNB9qd?{>V2jS4gHJ7mo2StRpSuV#-a+_M#BjX^N%?)t4jEd;evG;|sC zHTyU3V}3rC%F^OG8a<$l)8-zVV>uR#RDsJl%dviNZCUKqvUq(P6b#Zo2J<%vE{nA4 zaaJC#qOHf8KHC$`rxSXY7WL#Shr_ z4+xW5`Zk(|2_~XMMTGJaOkjHlHMdkkaRYdcA@Ll8`6tC5hO!XqVTeM-A=uOqG+!?S zeYh(Gg9#CW$--qw2qQBXLWTuI2E#PSF#A1O08|L{L$De;9eoIS77}?roF9Tt&k0vD zJHZzFVGykSFvFc=#8Xy&Gi9ZQCjBTVRjBJsW#Ts}`buNRVY3(<25lv1)NF&7cA_%U zpYuMGrosINh8%+-59Kgvv$EzeRU&@OO#;gk^Xle|dyl(= zKE_f3P=as!=e`@p@EY9UB2T7;8p4@;HDn3X-V^>4;lB$0U&32~e=J_9mbFsN@JB@b zSqX~L!L5O{0)j^!Gqc20R_))pd9fujSZq1&J+UQ5h9XN0&e&3r^%sQS0%S-(p}&TT zYJ%2K>4pqtyZ5yL!`c?mvZ>3fOnzfcp2l@yotdB>r~y2}Uld7GK3Rk*A7?P-Bevj% zT5w^4?r6YQ>}6;y$p*IhlI$R_HT+)`XPlX!p-#UD69U(vatxZKIzfpTLzAU8^;`Pp z-9Kv?&SV8>aIJ7ACKq z0JN$GRk=XngX#PQ)Xt#Lt$v$nAkp^#Z6Qn0@VXGnwB1LIS*5PF4o3U^S=w7|cK-;r zM1JJbIyAUjB|0eVg>+D>@eShXA^da3MAleLZ;~$3`lLglJ7#U#WwRMr;#O0|tvOwm<~K5sR)Gyi}5$xT)-)-B*{8pPr zXWe=4)IU^kjIGJ8a>iVl(~mGizkw5hZW^E?6h-?KHM7@EnWfHPGRCajx9NxNTa=b+ zug0t>I2`_E&Hg9+V%dB+3u&F4NWLD3tqs$Y8Rm%ymvwZER8ou7M`d ztNC*gx}`doddtrQVl~8Vh3Z^Xu>vBuiMyL{cN6ZYag|uSR=_`TjX4TIzDn`bAYYy% z(nOmnbf_nW&qL^>Di57p1(CDRa_W0?EO=--#YzF>DMY5#|4^W+fdn3*IZkC8%Cy-h zCqkU~p9TLbp^HC%uyoh1-TO8X-=?Me_kFk9X3f6cHt?n7F4Uc`yHJ<6{lF$P9!?Pg z&(0nW$1~^^7|DwtR{8#kQ?O5=QsN(UM5L83+r4G~&TYH)eY$PmrmdUyZIV>C5}_53 zmrtU9!kR#LSVz`2S4WAVz`zt>ssrW3p2e8KP|HwS%QEnO>S#EVV{Up=@9wf4d?t=f zipkC1;?i_`sg44JqVT4Nxz1%9{J#oQ^fUp*LilIN8ZqSI$4!uXBK9~|n@(YA(#2np zk55U!$ObTQ@O?T*!M5r{I{dR{v8FH6)7RD4owt;0vdnNE*T7KU0Afp*0e%)5%wMLv zR9ElAr5cDm1G<9`@2-vl1yE01R-=tVa0-vHKcc@R=Eqt>hOzg9Wq=cN*n+Uthb2hR zzra9J!MLT`0aPex2lx--BkDpO-tUM8oaQJ#oa|fyDX&9Czalt$2KQnj(U6F}B4YE2 zSZruNSWB6wOT=G9LC$$ZY=D64^Z7{Af_@6BX0Kg2c{QO6x@~X{nC#yIF9>_;H=5vq z1?GdEzS$TGdLHEk>V14KME{6hB!W8TnPgMw7W5c#88QREv$-NKw1SCgKiEb0fv&Qa z?M$C8k<$<__P$92kIju3^s%fl#4?R5twvVw(PJtKg}!%egr&uqO|6y#Ny za~rdQ7mrxY>9$vIMP_?8ikvV!DEgXLT$NM)Sps^BrnTDbp<}vho**Iu!;dwecDS0> z9DWkR)+1kR{f4tivG={71w>rM@Q@Qno#Jxi`)0xuqiK^jq-B&psw(UZhbm9z+!{FQ z)!ViXYK)>;ZmhbTdak4PM6?5jr{`9?3rZdwt0A7|Ow%%dQry&c)uB*$5yRci9nWwG zjEEb+wAzB;`>Rg(kE^>_Dr}Fug5gQ!FQSBTw$aU)6`LLiP&ImEm@qrC;br(VJgvO* z;kiP`w!;7mplMpRyOcRKXB0&4!h`L6+^%|Euig$2e}HtB-|zBit_}Yb&+6&}9NbD{ z0>lp>XKT`X{F~aNzr|DH8miAkUTjkbh%Z1Q`>Oq_E9|1U_z7XB_w!rMRm-8z7dZ+W zlA^0zDz3!|zrnrEbvQL2d7kEj0qBI%WXrJjlMRj!1+f@@rtaLM3UBXAUqg?NaVX}Z z@`#}7wA7k3PF)Q31w(y-w(dpZ znuO>)z*7E=fas8{x>oEgI!Rk(dcQu*xcCYzqMdy-#N zawGf`Ji)E@RC$ZgwGtri0J(A6wzRe+I$|9je66P3(=Fsq<=pw*uF(BQe-8Qq_zA-8p z16-u^SH?Vj`W)L&E%D#vwBd5_rM6&Ef)FqmSCMx4$en!GolxZk+9LBBzan?%xGRw` zFXEndls&LNlG+QeT_V(&@H`-Rz-1sh3&UeP1i?p+wI}9aS||`e*)Nhag&uj)Fwrs# zLz7&(8qZz84gjJKZ1gX@c;{LAKvXrn;N}?T3|_JKpO))#Mu_EXHtq zr>iY@Jx_Qi!^3Q8>&?@hs`^iLR0_{vxI>QTxQ2+a7EHP!rS^THkTB(fd`@Mm)AFQT#ae zVaQF)6WxdJOmIt}u;JdNR^+etTFohxGI0q7b$>SXPc?1s1$fexN|JF(`m--);)Y#%BD zNOxal>Vro2C?(vbFSMxqYPDzXRAW@gF*Z*MxDnm#Srpv|)xE0Ayi{g;%>f3afTpG4 z<#X|N`1!D@$=XiEXY)hv1=n2$#3sI%go-Qnx+d6gxYwF?`?;Mo~EnwVGz&J_L-kJ z7MN|{&?3Bq;XZX`7dr|%JHw&nXK7zC|FVC=~$Htk3u2 zi@4J0h*Fp^wU^3U>YL-@L0jJ+=F+`O5h)k$J_?7=?a{c~ColRQ50A84g#2jUma(1n zE^PskLIXU`t=6k3r1Z>WXu2DOUk;r^mp`X`R}GZJrQ0$ zXYWS;iaV8hHrX8uIvIzxp_fqG^T*edQZtT;KF0$qZo8j-ea7cBy!S6?lQjlX+|J%V zH<0s0_xzQ|h4HbEJ?YSb0ovqcX?0$aual2Ne2Kdh_awDt^yWHwB4U2kUK)sg;O-Uu z8y-^Y+n$<{pVNtbNz5wTL;nw2^gN-mD+W)UKBlUX$Tale~@`3H{MHVgQs7~ zZs~S^DJ+0*Un4*=D!a0xJfB4_$GvlfS5Dul&xx7}91{-Jvc=o2^LSZev?6XBdD5>T zzv}1;XxT%~VpFG<%-21y@&yO*@XXq_+Kk)be%LzH4z;B?`8VaibcyEU$KB3UI;Y)n z^aRKQPP}DxVUYc0zZ6*T9I7w)1h+j2nFf=j5tb;oGu=rEl@-xH;m2Ry%qh)_YTpBp z27r{_yj$_2=7eA}?)S?7?gh`+xAma~^|U=3PQN@|++Nxi`5NBk^5cO~{h_T!Q0Ojg zp{09OZG>CQ1pyxywikK#Hbp!B0)^^m3r+L0`%7b6p9rVn0Xawd;vbim-NRy01(Zpt zj(-sCd@+1B?v(H87J0_+xFVFPgfgejRyDX)6${7W=iFS*Jqgb244MjibC~wekKe8> z2@i>W1Rnsq@&K1Bbv@rhp*sNbc$D53*HIb;pS)wI;!mCKOOIUxpjtrCwd&T)4yXDk zcNn27H+sSf?j~R@sD?IK^H#WhnBS}Gk;10APNKjkce@^}gdSDX;w=61%2LH~qR0by zQn)zyq3A@QD%4g*Te#s$UBRtau@O;8@amoSPH!j)e6y6ZZ9QFaTojJs z?y0pWJ5Sxda%t1A=mxwhi6@*xOM2o&tr(sa*4}ep(0Dm~stziJ<NUUdp0@izVDUjQy3neUVQ1^ ziwghWpwLwqjjMr)b{8toMYD0|ipINwm^ASgD0Brz!{4X(dBx*b;Ztz;de0N_VHLHn zr=CaY&<6Li8x@}C0tE2kPe1iQ7%I9v@Ea7$fcMBT#^u7j>c*($_@(<{4mTZ}zpN2^QkMuPa^CZ(Mab0M%WBzIwWP zUA|Er71@d5=T7*G(vM!du>^)Gi*wF2J&0fv9vEXynKG@R{YBjK^KOfzESCVDaSc~5fnNF1Djf(*dFJTEt-J4 z6b7XVy-S+L14IbbRUZkv=T{dgT94ZvIhS^)qo!;tR40P!LMyJ<2PKq*w_$i{dRXY0 zTA|+_z+E`4+1#Q1oa4>h-;cJ(@Ze(+&yrHz zU#Y>PB4H0E&UB~`a%+yhhv9Y)YmT08Y<+nL_Fxe(P8Z5NJnS1Q1n1#xa%)PoKT;jK zX$9;>+by3~U#}@Cbc{ZXXVvwVW*0QYeg)Nqz~1rF{lt^c1y>?$VO!~2buTu;Hzoi+ z;U{7BJDJnj)^+)es1jOU`0}~nS=iN?P%0Q!zY@E!hQ!lR(Xd*19l0O+sJgf_dnp5X z!z=CQd8@3wqBbG~!&4#yTN9&Cri(CdI!1I&2UHA>rUj|L?lXId!hx*m%^pPKya;?DqbgMsopA6)Rt zBV05akGbZ2ru${*Ef*{f9S4ZR^%{S#h}%(n@iTGt_O=fG5%#c}9)lrteeg1+;z>_r zA$(p#YFumE+dEXCI#&SMUr%Yf7xXYP9ySQ4FP@9NboA<606D-K99~mZaP8TVr7F69 z9c5K*kAlM1Lc?!2pRv4?l;)rC{6*yZcv{!f@{oc%sq>*sIlR+FF2zq1bGjm6UY_yK zx)<4$7|Z~?ro!@gv*U`bYe_1Qdw6JVY-)1!k&~xSkmG~$i zEJWvAeXl>f{~!_OdndeF&x-uh(~}Z}kuU-B0|j|@e(fA6*8#orZ_kf+Os*A012LBr zAA4FD^_aDDEUIVCR@#u%=KK7*Pe()nh6kj&#k;vCL}>sjAJHtAox2;5ni2b2V2uk3 zBkBjzf@5e#=q}C3^ipzhy{{-Zf{P0u)?IrN5$V?r%DWE%QXANGtl{yAa0NW#-g&oHt zGmE^ZL7@&>oavcxAHn4~kpQskms9KUsx7xR=bvbRqhsD0&>mOe5+i``z1zwA=Np?G z9wq|?@MyWcW#fyN1IHVpgxm3m);zm_DnaxfFSN?9DJne2e^y%A+48!F z8i3Y^v{v)9M^8&H3_Om4_4;Dw3IDvb&{Q}0TJ+Oem)(oMaX%pIj*tr!+0E?Z*$(F# zZ=pWgm&*cTeed~~)x%cw;>m)>Q{uCJEGH${qFpoX=&UJ!;a4p95l`~Xd0ksy?HmJB zu$N}EA@Qnze6GXU@FE!W^KK9FF4PAcg2uH0D8j#~w7=(Ov zP+UwtQhTS_QFsi)otj-wSKK=7&%8}XtpE~-HT8x+Ef-C}?M^?+Xv%H8c@6gXJpc)L z{j4K0@4SG4d!DMWJ6;p&Ym2oaJ11Au=!X&By=j+3`na2&&olR|yZP_ixuT$@-R51* zPIjGTK~c~K$39_$*fl)K&<@^g)5i1mNvAq}!zbdW>K;FL>b!h2aj6M9&f<(W&$<8T zeo=Z>q!9Lrr(3#RZai}kz$$tSChKi4SGyq3(;_Q8EGa$tWk%CL5zKJlWSFM}R^@hH zDTxBM&c$=NN3KV@bhp8qcoe>~89lMdiT*x9pdrs6=?T3neo=Y>2oRU$n=Pvyg-PP# z&Ts}Eks8!`@q**c@8BbHg!uZss*1RA>|r<#JQLSTUbkKS4guu(@{cW@yBz$g9+X9W zji=^5KkCwSKXML0oM{Uz>so`n(_`wQp2HjO(Aino{_K004gJeaG+w-{eb`@eYN?5~ z-G#@tPtTl8b;aC~6RUT#ZmJ3Rr$=qbl%!z<5%C*?KKkuey4 z+`Gs1PFa2OdZ-R2imBV#!m9%<1<~*w6V*ocv}fNEbNI-S!{6YS$@p^;3rd$+O)72v5^AUm!}m9lQNw0 zT4^7lZrVrMM`|9&^oLv#RWN^5RqMN#RUPij>Sm(XoJ|`V+8tv$lX3(vV0{m9dT^uc zZV&^|@Pu~WH2HYqt8nj7(FeGzcc7>^wfvrVDjkWpJ-58$ey>@S8WTMOKT&5V3M@N* zX(9~lW6tztO%czsV*`_;VP&nmmo9p3m)V$tUeRneWC>rkwbU0!H2}Kf9%lqOAGxjp zWx8k!mkk76ZW2Ga5jh!;b*kyU74Me9WHW%S++&%Q6WrsFeL}Pwzf@f2;eX;|6CTNU{h}+P3C8FNte)PHciKg9H4zRlMv+-vzVYH3BY09Z?2S4S z{jS?OT@?cJB&oEiAo9WGTeedZQA?z|X}!<2u;P@=$RL*N#TnVR%%BOLNxAs%sxXh0XA0hF8BziMV!C1XN9QaZ*lV{!2Gji88uFJ76xz zA7~O4ToK)ZrPZzXiLF~h(ork{zH14leJ9gK-8>)-7Fs?nNNRWxo+vWF zGwf2@dyXE-`2-%5O%k+9sO{`>%P$mt{sz!Gm)m zy6q$Vu7+aGC<`E6&%&zus&0yQ;0ZbR1cetuGK#S?sB-zTWlcfu=d+&F3BSWHhCO*y zo0`+X)L;Plzi>lcsp#a>)ayb(!EvX1(Vg)T4NIX3B`|)r*JAP=uLz=nsUq?|)$f^K z`+5<8is4C)w;t8y#e_v=z+2G~XqWr^-c#lw4RoE>Vkro*zm#fFD1T! z;Otz3Z`$qKH%@n7E*C1}A*KCMJt1fNh)qBdr`^1+HS@$}ac5KsjNUb;(9oLWCr`rX zxDdXco=;+*T=giy%eL!;PgFvqyD_w{ zV)@tRHxgs)M5peGfN$@XbfqjI#;<=p(}o4BNL#zx*(-N!Blx&eQf-ge_jpD*tc$k* zQkq>?R2msCSbz(1dQYd?R$YAn-;G9^k%sFLk>8z5AEk4+1svqz|6fK`MMC8<*stuoqJNRF6I#!T;hYg6h$w{#E zaJTpDaLg4@@o4XumoMDQeP;utp0;3_eSUfWg|M5^D}e#~`t+k4^*uS3sG2iXyYp6n z#~DGHD2;iAq0w^YQe$>&FYxB_0Ye2>pV^=6dlc>k#M9|gk2+y~Rx~Uqy>%)^BK@nr|(rR2{QfXQm5yJZsMSlLw02S>xx1gX`QFVzv0LlbXvHgzdVvNIC z0W7rc4@KAEo=6=D~it>BzL;{QdL|9`@amVAd=kU=J!Ge0{Rpe3EQv(7O+^eqJ z&$;S^s|gem!jcu-b+P$OxxE0EET>~}ug(FjbR7x_XhzGH_aKmzgqvG?9l zQ6<~|=s}_gZPS7Rf&zjW2`Y#I1rZy;5i=-?j-a9<3I+ynejD$dJ9E9?^_}~EZ@oX>TJOw!QwF8wX1fh-Sy@~`}kfIh6@(|aoBb* zGA^K^J=`ANR5sNVn30fx65|991iymYbX+pk+8qBB?VA(Tw@_+J!iaGpV7XJti4N)r zZFa?vfSfc-Sjzd&+O8t6QQ|3xN5#+8Vp}4Ms6yrSy>(wiSh#|Rxi+@W zez0X}f~1L(<%aJ2F*ML>5itZRU-EE==Zr;egD3EKBG^fSZ4=i5d^+(k%pBblMmpm% z>7n})7-hIK$D>kaY4s@Gt>O_&ZjRJhmy{PUnBrjy^sDzM>LBD3kD{aE{1Yf^cz4t# z7O-B(X!zF;+0`cH5N*Jalo=a3)i`5y9Uk%rb{Hyj^KeSY$8(`QE%GX@5+};Gp*~|6 z`4r|lEvx;K@`y}m=Y)}|^(y}W6bm~N!+2YvD5r6`cQOpmgEo))VcjxOIgH8TMWRK{ zs07s(`8 zX-=DLvWgHu#}7|sG?0U1;{) zz2V#wVhnAyA~<{G*`fxvBLrBi_2uP#BL?LY!20B#O&FSOOX)y0@PHYDA3Iv$kWn|& z5W<8eyVrKC4~~?y!&*BWOzq1{>)$435(#VIn<2&hm~T$?9)Km8ALAK?796!`BfK?C z7oB5ezUpVav4MHQ0I$l-p4U&Mjxgcm?0U-Z8s0dzekL z3aA^FNuK2>6bigiGT1O;d{;_*13?v=Ws9Mp5ancN zTeT*&*{VXH5BZ>2*&l^=%zDR|SA~GZ!`IijG#c0Ka|JqZ&tKUz_IXT+h%EujbhZ4z#mFjVI;XSWiE6)ELZw<&8S+0L8r2A#OvnV8^P(h5;l2)K>ed6iU!(%Q-wH`!2I;^xtWVq*a{YgDbo*2TVNBQ@j}+QBKkp~JhOO&glK0Bo61 zR^?mn;UD?|jc*(BT52O@p!`{29juRC&g)qmz~e)Efm=%INsI1gHvLSn+LckuE-KEj zOK~BbMW=Q}w*{x!f8SI)<{0^~lo4B;-9`m|2Rd|y66#}>t}Qh;J)M`oc#i<3P;y;ac>FqlHS!d>$^tOycNoc$$1jaYntCnYvDObKmQ z5MANq;}P>2B!`_Zs+0peV(Dp>U)T}?>%7>^)GlJAhbe{*gV>7f!Nw%!Qr(IZBR-;? z=QAvv{atMQq5WXw=#z zR<$V57XA}DC%C(6mE?;<1MjWE(8wlOxp(%rM}WqX(p%(NADLVH6dqau$}TLV z=1i{-!pv^hYr7Jg)3~6E;={m&po#o7o9{&tGH7ehF#D0X#Ha~y2~a`uI%YfBQx>D} z+UQifXp6Y9r1;1CkpXz5%CBJB+p|3s{D{H6g|%jli9@K@Y@1Fc4X4~b{}$_(O>2D6 zLSoO*poOOhRBjkLkXAHQnq(bFM1iv4gBvVdFZUJvj>KT{1hHB5<_VQi31Nj`P_e6y zbjY3^65NYqz;wG79+Wr|5f%#WWuM^QvX#NyC{ff07LkuCxS)xWiI(6{m>!*R$)yp& zR*6fX2PQMBVJ+6&e>l5NMu5`mXS0!HyAoWE+P4+SV^re~4e{|b?^;LgW)n!TvMLyK zS*jQ8zXg-vaA(=L%@23t4Rl1{hG|VvbRGq2m&^EGV52cOZXK5&+Kn<7b%G}rlifWHz=Xqao8Nll!?FziAqFLh%x zS4T#CawU64yIU2Ek58kb zgv33vH&Qaj2dV{N*kmw{YLvwISk$BqL|B4#fDjYB+&A_8JiMud@tsYStU?AxW4uF>Q3=AFt8Qs4 z1#6fctVjp=IR?{gGd*hRi5qli??8M8c;@Wbq1x@R%1JYABxIPkgbAS|T@!mKWeyq2 zs8$|OIxVdlle{ba!IP$o2SCbH6QAjyle|6#gMPp5_)bG@9uVA}5QaiM&%F8Qd z=`JyGVd29>@L&aZ(bAI~GTeh<7&QZPx4G4ZdIed7^(Krkf$t{xCyyPtG zavbeE6&v8(*4Fkr5TTawtwLbJT%<*AeW)~=P)3+C-Jn&Xen2J>%nx2{w0F5ZC8<0F zBm=&oA}OY^sua_-7jc7BUuyjx#l5lL>Or@~RV0T;&3WNJK!N#;`f9ZB-q;@Ngs?kk zGNmbDU}=_g8Lrd-6Gz5-1!nk+guMa}jKjvdy=j>OYV;6e8TN-yk-w?+NJQ0Ul$B+; zKe5kQuo7hMZH4y1`eI6oMW`~`)H{ECV7{#tmC1@!i|AwBYSY42Ccoh?p)(SaTfN#g zDs#Zco(qc`+DuDP>oPg)I6BBCuFEO{zAZn>QhRtgQut6vOt4_YI9 zLrB^wDx|6*$M#0|5N8MhY74fW8R+y&1({XISgGa`)k*MKun5PZP3PyVend^J+<@Vg zDl&rY@(v@Vdo&P#Lx&9}W!75uQ7Yu?LjgLS55XjE@dQ_K=-Hwv^Y ze(Y3fdoHykEd&;2q;6;8e0uPLTry}`{Mfo!%d(DM4?F|fw1AR3-(MRT4=d1E#xaGm zmFVQGa_i8`=scR&az@PHC(tL+CJDaucXhuyu=2Xf&tm-=j_{( zGavpK?YitmiOUKmV44mf4Vad#3U20wW!_b-5h7@h7Mm5~*bf_sOlF90El^R(u`r!U za$XJrTfX;j5Gl~babp%@Q5+f71hT4vOOkTP#4Nf!2Ymx8Ncr8{fT-=5fUPRIHs4}K zVnV_}2HH-#4FxS)(I$ZN-9g70kF9O%BvJ{SXuq1V)NrTvwtC?FHb!>=vmY(i&7tjt z$^M$7agD^Rs;c|IC2l^bJ~pgH($suyPAI5t?qovfaPe zm8>MmJ%W)egPrI~oA*yI2;GIYZfa}@j0>4x042*ACYF%~>abgTd&oG*jGP|Qh;7F( z<{b*O=er6~KKLKAlx$#PkM3xEM|yQ9%5OK~FY-~Ldo0Ur%F`)A5gnE37?hRZ8$Y~( zWDIX$vur!lTr5cO@6Z;bwh7LGZUaezj6dTXh6gAmEm6Vo(60_Q)d_a44vklVZb2Z0 zE$j*s-Ity59Oy(>>OxU}6HN@Iatwr{W8em5F~Jpo5*>Dc%LiLj%+2;9`%6I(HWC zd(L#2yPUUpQgG6Dw`hOjBe>$I-FhLzraW@Jz7?;74qTr4VYfgIea5nzB~4@twqzi{ zJ!zmS;RQO!JtT5vwbpq;&>is=aaW0n_3d^bSw~Dkzb-dcG}2bwYCwPP2B*O{N6+Pv zfu^wgX#Y5OhtPDZUJGDVPZ1BSr}^xJ$5K%EHFQErybCQ6XI26B$7Be03M^Yl_QlzR z8Nn5gz)G_D%wedU4;Ur--OVh>>2|2`t>WZWqMw&tcDp=KoN#GIEw9DS)FRP5^Z+_4 zijqq19audG4<*AA+&VDE*R-yj-~>{`E@%Kxv#8{NOL!3mY~pH0f(5w;s7J~nn~nta z(JX+8lSDqMQQex?Jsl##^w9w|tu6NT@g)ZE446!~U7f6RTZ#54*bfq2_dT$Bc60>| zbpV@*Li1RRML;%=a1w22(;hoR8z@4pvTYhh6sm(9TLV(PLr$Xea;nSwmIyu=V-65P z{8&dzf3j7kEtvVO=bgyODfMgNFq6l?l{wd3Yn($Lz6IPjo*m{P`DW8#b&h5zv+Y6G?}b~NA&ra&Je)! z6+e|T9N0e)iFyJPv&dcS^lEW$SyCDSTqKt3J&U=OV?C%-Tao%pvMNpC9=_3)`5~}^ z^oX(?wi)$pcBdO*Ao|GFW38RY_9Yf(#1x2<@{Yk*N3500F(NjYApz`QdRn;ka(x&( zI;DwFV>i|xJ1IzycnlY7%#{z7l{GtstE0_QNNvR~ZHqF{szT4l57kCD>RTKAdm}&> zcbW@n9kKE{26eC7oEE>0)Xs$ufH~i^tH#`B95?b^ZW3%daVn<6V=F~9v!S5kWjj?_ zy0`mB+k>JR0usuSyfW%l?GeI)cJr<;9Vtlb^MT1C=TfagZ;0QVV@+ucBif9%T16y| z^`TU`z@{Uk;9uWSK3bdv0ZI-vz44w4UL;JZ2ofyfp|FxR_1(Qag2;tVt5`|&3HrW{ zq6r{mZ66I%eb%7uKwJV)&)qlAXTiBR;4w5Q4CIq#EBcL$1f@?*u#52el^a$?)jKkT4Ml(DkV+E1erw2I5UK zj$tPgYvL;Fdcu{^8N-f0>WSW!2rN2oH6?>;RppO)wgdE#eOTi6 zZlChHtT+gk3G(*uUd#)NL*-z=+Ikmj?q8i*6y8mEgbrSAX$>Q_WqN|<5Cv=*;q+rZ zwl|dsil(>Il9O9WUNI`24ROEJtbtFq#9K}bhp)qmqkqw-#@iFO>07Y_eR5@tG#>9r zh)_UhEX|cJ;~ajhfrnxV$_ongBUjeigqT3of!LM0{LD-0sj7N{{cotYD;MRtTBl7g+RBG*q(Wk7_bt9Om- zWN}ZAI;!}Hhz7Q?C2)Qb--stbAkC6jTDiUVBFa_tO&n~`;AF|n?wqQg9S^&RPN$W6 zWDgg2FhM087;!4WMRnxir53z5M1TwrdsyU;*=NvIBB9{^EecMqwY0Af`veyAhULEE zqC$+peh4~zr_hV@9R5*|9HNSjOtK+UhjDS3k=@{lk5d~9O^&nk>52Fao$5;(@wQ5@ zya6xzCL)WiN~_7o1&@cqJcwH!sW0|*w#4uYA|)az`944VrY8q#!k{}m*ONWUYm*zk z-s53u^pVEwU=xI zk$-%e`^O;`It+^fuh}Uc4fc2jH$RRH#FdK`!2z5BP5?)M1Hc|&2e1X$0IUI4084-c zz#L!(Fy&%pp!ss7A{+2w9k2#i1*`y;0aU;eU=gqY_yL#)%mFBX8Nf7P3h*5;377zk z1I7TOfDynjU=T0>=m+!xdI3FvZooG{7oZc+0cZ!b0a^hqfM!4wpb^jjs0Y*mY5_HX zYCsjB5>Nps2b2Ly0VRMUKp~(2kPpZMht!~|47I`h`33(A;4dW^gj{k{|(|4!+ZZq zp#P0H8F24k3H1MzIN?xU7$6i70tf~K0RjO50DpiVz!%^H@CJARJOS?XVZl~w;Y7X2&r z|H__!u=hIG3Q%PQSQNaeQ0^Zr`zyQt-(}N3So9Az-|T_E_Q+;${Iw^3?Ew$C{@?b( zAH8S|&-_(3S;1!uz&~XYY=?MzjJsvwX!|3`r|3niIyMgQ!Twf9?)K)@>8 z8vytYJ@i+BwK?YgDyaTX*kMyh{lQKvCm9fbz%snc56}qj`>XKUXV6vQFfMZttzJM=PGlC~3YZ4q08;>Gz^0tH<9ZDuhZE#GCx{(Rknx-#dN@JObAtHc z1X<4sB8U^@Jtv4EPM|L*h$2oH0MRf%a6+p&VUFMg5zPr@ae|osM_FN9S|ABHVKj1r zxcmoS7r@_OKt3P{kOv3^=?y%a0q0(Tbbu!y4d4MF z0XEy33UC9Y05;p43~&J?0XEy72-s|U0>B9n57-pH4p4S1oNu-z1`rM?=Hf)RdPz$% zpx$A43ptRH+uT4OVc@S*Kd%pS9sEhB2!aaQB3K$dM2cYO^r3si&`RWZ#83jO3@^O0FO-80=o`QofB@^JG~F33Qu0n)SrY zJQXFTgbZQmI3JCq)X(R+4TXW;6HEw6jcZM+uiV_j;E37Buh!_YQc@85N&0S4I$ILKpbVwbpq%&&D9*2qt8o>h3C*OR7Y(GT^gB4UBe#n(- z*NHOOgM7zWb1STFB*f>&Ey4yt-}K^?)g^NmOu;2215?GR5D?qxWbU&;P(u4Q4ClB6 z2KHmLB#}l~OX6IEt(>c$tEc&`B&3^D7rh z$(X(a5L&PY8?|1(TIWz03YN0K)!K&f{KgH8Fc$>nzT#F$Aw}lZ;mgAhq7yUM^Cxh& zBdGSHU@>Ik!j2AFG*)*+g~4(%H_(hSx!7fn5;%nPVIJ?qS|!JLrMOTCtmw>+p+?g1 z{Dc|AU8jJJ^oeIcKYd6v7^~Q%hM(5v9e`9oFjI7$P?|ciPw2yDB9d!o(75Ry%{7qO&o0 zQLtj~!P*h*M@Q_O@et-fj2b674f#}Kyrdv}Na}QeU2_;=C5Jl zNCz8|y;6o#$jSK;K*Ws9LeJ)u1+NP`4Y-hsu#;R2$B*yd#f7M147k{`=vc}k&LfA* ze$(~nU^4PRaqmQ!9%mrjIzkKyt*8^bu@i1xNqte?VF%If>kG3fzPW`Bf+vt9OsfEQ z?YiGoC}{{qI=~k&HDKdDJmiTf*vHV{Mt6og(sHK7s?8bIc16H`wZbJlwt%Qdx5{^d zWf3-3Z@aa#?HcDTombkt7=CtC<~0^^=~J@vo7=LN!scK*_!az4q#QPAGaQ#xgiYV2 zu)dWa*a?@5H+OAIUZFygdid_jnHxwx{FO>l6^4cI4VIwI&ETSewPx2533>QEpo5{= z2Qgdk=xBeu35f!t{NzwRySa zcOY9Ya!Ux&({EutOvi|pWMGL7E}$?h2hlNsi;@ZSGYmvqFd>Tzhd%6P`wh3PRE%wZ z`nLUX+hCSA|8t?rm<;PWH2h!<3j@mr7aD2DoM!=x|9-@Dp#`PQhA^NeZ!mx`isf}G zL&a@=cE8C6Z(HY*2TP|sh*>nM0=^E_W0ykJ!HF4~9SvM14zXMMut?WO^~0BsshiKx zxKvPso1f}8Kdo`?+&Rwz24#5&!DK@60YM^epmH)HD^U47#uMCh=m{@rZn|TXEt}h> zyGnXA!u>raf|7i~ZlTRdO9cay$z#`n9Y=ytYJ3WP4Ws}(ehh5p2~)PXKGO&-l;yD! z3ytXd?ojf2NCOK%kJ1B@5gHt6EIYHt_64hSJ zZ6SqO_pOAW_nv9%i;0VCzI(2%t1YH@ z1esO5!5GE_`9_3pz{daoF|PwJ-|s)uGHE{1(SHKjoqvDzQdD2t0P1t>jn-2rmwWU2 zZvx0GAq^I03};gNr3+HqA{8))z8C7^7@|IEd{9Uj5R9!A8itr*XX*jO{2 z7qzuv<~fYu6b~b+dAYf=A_e*RvZ6(Wg|h#A|ifEz_h@U?F-z417L<=h_UX)Zksc=$M zN?K7y^n|43DM(RqQ9)E%LQzpl@|2{+ap@Cq+kaCU3*09zEqC(Lap~it@|UEfp*VRd zQF-wbr$jGGosyQ8l9RtEDXy@2pS;XT`HQEHONvS;oIELdLS9NP?59I=5{5&8f%U=(=j6WG^Gu2C2&CxMoxM35!|H?>zbcT`^WM$ELs-q1*$Bq7Z z+h%c_w{IT*4Q>DZh078Ht1zD+n-Kcz3+3PIywdt-|6+l2A{LgQ% zZg#GywD^hRP@W7Vj`{PRvts`&;;h)uH^{R7Nz2VFHhDU-TcYJ4Z3|!<(DKdZ=+*uR z6870=IYK?ymg9oHW-3%%u(G;buHW?=Sa%Aa=og`EHtlE2 z{=0^m{~xvNUk&@SU0ujUWXsQkehbVd^z<;JFu=jc%(!{L{P^==`RBp<^Vqg|u>b3z zK_PTd20Y9J|Fdsp-uka=|Mdy28`x5m)`_su(*ZNlb0FuD^|dhjgUJ8KKu@dx|7g7% z{!#DPsrz>l>wk=s9{hHZiEd|%HV)kDeMsGPJEiG>ee1+K z`%_PYc4pX1>!>n4_rj{@|G*skatV1xLkjz;pJ|93Pu}d7c^cx_WYYh3?aWct7dNI6 zjBL?I7t|Y*=B0v!n)O|auc>BV@ao;;c{}xZE3vKjwY{(AD&BfJze_(iTKMQz8sg>q z*pb(LgLBk*=*zW&mAvAJRGY$9zdiAt)x09zEmH-#!8e_r_;2jbP;2_`BRpHujKpR> z+TJij)i}T1WNe@G2J+B^;&;CP&DuE{65`lPr8A--r7!0{h?#Y^G=EqUUwhdc@yw2R zeceVsUYd+cw1_*#?Gn8VnaWns5UZlur494rCVh;fG=wL7W7qbg-W8S_8e+ODcGHm%lgu@%d960^CiRg`mkrvrFp5oQm4KwZdSxI^P^2a$WTnqAfgP;5dp&Mw(HkEc5yd&_8(;;WxqH&p@fXGJ5HToBDVL=W_;a4L+Tav)(|oc89ZU~OOLmesTzK~ z<3Dv_4cp+-!QJ?ZdR$d|`yuVycdu%Pf4v(m@$i;~^^H$BHe*qWw_{vxSAU+ZAJ=f& z@llh)eP1vZWt9qkjfuar2ym3kgq)NO{5#r`k8kjd4g{}n&)o||xi?8eygf{c&aU00 zA)!k}G=!@Bz+`UDw0Y_L-*83I`Tn4I1mVaLHuIye%LSJ9W)lB{Q%0?cv-{UHIt<+(QX7N# zo8N!lb|@^#;$riilS-mZTlKhG?3FXV4A?85I#tBB^=4mo$rnBS^Ut{p6=v_pWsiN_ zP;h(Y$Z&?Fky5_nDE+fz)Pl3fSF2xN^PeMwje39a9_5)`EYDdnN~!YXOZ8@QMOZHv zigRPEvNNNu=UX{S@m9dGh6nt?-)~c-D(B9WP|J>5pTVUr>+9@#dO)`zEz3#kwY*`c zVS$jTEO6PskN=2-((^X2Lz`}RdRoivl-5Fj#(irmmoiCuR-FAZGJZcbf5}yza=J_7 z`4Vi4IrXmmfwtOQ2w(cX_-iLeKK3FDnR>6t7h{bdxXb0Xq^@oqOefX9-^!yRt5JHv)f=5x&)>Bfw47J3 z;`@4IznSqP7X=#fRCjD8!^3ScS#Rm-zTI9aak*?STswEaG;unO>zEqdO)%N68KZa0 zW!cDG4I}BfoPXV>QdiXT9Lu}`FGE*7iI_b5CsWsJs|G07n6-T(QM{>L$*JgQgtM)rbNvFB}BmuFsb2VOd z0zp@iFRp*rQe%^s{c(y5ahDQ`*HM?q&u{G7v#q(%J3|}W>>k5Ta7gGWrDNzbP!B8K zZB07QmCESKw~uM|DIO7i%@?T2UBD1jVEy*Oi!X$~eUX`Vf6V$N%>BLgr`am@ojxLF zaq_6%12%O^*%rQ6SaQia*#?}voo#r`ky{RHgSgJW!u=GJ*#rr%;t|r)4@f>e*!pRf!$Uo3(mj^M;kX&q>Xho^9ph*o)mbwu$=Zqnes_ z_l~x5)Vf?f@sO?ge&sRe{y>v7Y0IwN+NS%6adc6O%)c=DuP;AI88rN~t~FOzyuN)m zUVgCPQ&4`rxyH_ow$fWDlf4)1j;%?=sF!f27%Mkm1G@z|sA4x<2@;l1+jrd+F~uBE zS?`|#ZZP>sr2&F;~SNuKum-&V`y(se06#H*AvB z&zknFBl8`KZH{Sl(c*|6+z0d_cW> zr-^LUoV)+|2e)s+`ocF2rLU_?DQ7?7+GrO(^6KpR@#Y)%s81Jvq<6?3HvFWTL?(C_ zblP1_DxH_ESx-oR<1DS4**zB|DFF@r^0y6ryT|6^3B41VoF}C1Pu`W>&N%T|DqVi} zswVSF5YsizgwO{B$4{=*@X*~lX$&rg$8Qc*n1|q|zEol#eSLIFhJTFxTGHP$JTBqv z83STx*TaX#cV>sKKL{~YCksXndsNrcAk*SblHN0u`wvxTdtU}T79zk zf=8`%)G1~d2yG_641|*-_i(uV{>66DYQ}OBW8-i6YVhZ6o^=bqo!QUvVaKNd!>8IhT*eh$HyvewsV|& zUiZ*FiptyjZi}3Dn#9@sVH^6s+q`-%{pJ>O zr2N@zZIrIg6BFP8mirTja=XhcX4+GXX^5cX%l#KP=DC8~0evPfX~_HEwqI=bqrcfEK)Gud>S{pIxyQ(wt3K;kk`_NR`1I*f z{mdr;eH3@siIoE-IA*o+`i_@-1pRO2+U^joTYON>bfLOL$w{y?W3L$hTfgP^_wBrn^LE*u{rBUhPJ}A<`9s=bqOnniaQAWM zYwQz`(>0HNz4iJxV&P*0w7?SszPUrXxs2U$ZHwyAmwg>K{s0Q0xZ=rxv9y5w5XoE~_~4lk4kTV-mcN zMuwj~HqeM<`v)zl%zj9ZP*d0O3X)Cn>+CuHl5M6h?uwp-uE0D$xo*l$OIvQ9!|UiL zEl1NYF@GzFOg{H#*PKz+J+?YPw0WHAY^1BDIBOkh>BqBETJdo#8a2W#+;1b`TBEGn z|KPXjy{TQs*XkdN$p{=f%M*p{xhSAAdbeM#xc~mN8=f9SA1Flsu08#_h%$bA%sFn58E2zqv-gKj7UFR~>dLH7ex9jwr)!Q3cS8@rmP!`-l74?MqIX?NiL=7hg|Ly7N7|8GfNj3aWT z*aPhY+xVGAuVSyshr!$b_eXoV-g0P@GmHfJx_;r<* zdtnc6o+Ni(|MTZ^`M&n)=A=u91)PSBNAGYKzfECV?>kk;6Qvi{`wi>5*Y4BVYe(zY zbPkxmKlx1inB=Zi4VSp#%o`WVd8Q>{?$`X=*46Ccr792Nc0nX-h_QVAwCID|mT~>N z+pX1}>1>ZX#Kt5k;TrT3PeZJYs6-laamI#*%z9VHzt`aktP9Q9eS zy~z(*D$L?rUnXokROJl<4gG)bY{O^&srUW2m1?Dy%}#MI&INTNzMo;JuC6fs`z?}F8g|Fmx1Fm<~`P?vSke(kuV3_H7TH`+qKk>&0c6rhe7N@1)k>$@J z-9yVkPtT5R%y`a20i6Le~xqh!d{{0 zyHtChx2Atua88Msz(kBs?R;?M@iwis?6%WU==;&nU-B(|L8BGoyYB z;+^fV?mXi3dq=lbZN{5A)-%ZcN1Df3>GX+$W{dpH{Y0l!cA>7zwjB>el0A3yyfCOb zGwfhow#l35zQj=3^7lu1Y9&d zC9=47OMb*inLfTpEze#MrWVsKDNhFR#iI(7JBVS zww6lI`tmsI1nqaZq$R|aVah4fu3Y4Z4|Bak6&H3#4y6B1)ftTJx8Hg)?w+>wUV&W{ zmHzgx^CQo$N~i}*J~KL#dz;>B3u$PUSUl2t^CnJp>y`)W#P3hkeF}?Y=6nLrCgJG0 zYtLhpkoi@;oiFv3-n}-a8yHjgFhLP-S@?Lo@}a~q8(sPfvZK1Q>;)!e$}7XPx!NEw@qF)!rlN zi@(irrrok;6K8rOaVtKTk2*d7eMTxNdaLe$gpsRZ&~xL4k*b3_`*6x?4s>GP*^fjx z=qgm7)0_I2J`~l`+RJWyTVPJ)_uUU$@^yARZ7-Xy!)VVIBT`Q7-K90Xb_>de_|IbW zhG_$rq)ZMh#wUSUNS4{C(oMoa=eE$9G++8%*R6`)yBN}!EiP`zzgTgQn%&R}+UIt8 z@cFiR9fd~>^u)97UQb0|*A)bFh(7%2emgsJK3*W>w*SKcF%i6;sFcpO)y%Wir_;V$ z%9WxnoXVprEtn?moV{yr=hZo(wB^N0!`$nAnB9i{?_Rn}m9R}_C~EPEvnlGPI~pqq zzvbE3W0=M4s*FXEV#FPXOeLAC4Vldx_hb%adr?g&^iwGl^mp?lYxl2r89HmG#9UEN z7J49hi&1pWs&tF#DZYj@s^(z!ODz)bbdr!r@m(JGlHW@J8ispcam{Kng93j^E6tB}hXkB)uZb1G(E>1i)& z3z=@vac5ET#3xr)sigAi5Z6rkAIu{+aXIO!HU%a-bPwE*(S15{85<U*AE}D^<1m@V!n1IN}3|KSz7xOy0D-8Eso9bimcZn|~Uf%cUfd0ax3srmc z>C8S4WM_Y_>iT?*p4v09?c;m%w~-UJ$2>23YTfbHpY9At?P4r7WV?K~e{%iEjV8C5 zhmB6oqh!Q$JHg7-J<~cADSsETjx>V3>>|+%CJWRcO0k`MtzA9|G+dRP|4V zpkg)-(vTH@lezxzf1O45&N@=pQ-i#2X9y<}Y~*o$7^$~GUo9<=+jog3DzsaRTEX-h(&hq_{r*5ShI0fD{Q^4mGv$-5}B z2U6+px?$s9znbP&j=Q22aF5MMKY6^8^=hkXbZDLC8+I^yhSQJCOgv+>V*sBPtta=nU=L8J-EdDc70i3TjDCp0*XbMFxq}Bnn5YJ~nikX|ydN~2eGtZ}>slhxn)y~ZKr4Ovqrh)(BvN6h z7fiWKLz=t5M$E1@JK{cAx4lI2O47vKm5%xM{Q5fToG6alC)(=~eS`G3wcF5~DDSDD z)8IN#bf+N}>NI3|i>Zv*pA;n%ueE76onXi8-p*!7R8vf9D!Tf_Bt{N1ZKr@2?BHfG zlH<_QTE)L1j-5|4oZK+uy|%&rjD`%c&Q-|nF`QNwJ>AMKKX~<}sO+|_=TpdXC&X)p zSWMk3y|4N{c{2QDN!#!#gPW27pM_!YZF6i$;w-ZRgXB@?@11E0n6d+YiafU@1e=%r zy$_tRKrVED(A)8_?1%~tCXLmfft8_ zOI=|7*vA(Y{h>#^+3%D>?{=~tn;Z7dg{%mCLut13F3}Ndfr>d(PWL5S{v$EzRK3AS zt;=7Y+zPyY-8l2?b=k&UJQWWl)VxZSYK;cD5~2;ylzp-@l`}FRmg&*UW7>*u8c%nu z&!=W-xt%cOL+)4cf6&^3oT|ccKDhk;En}WJS?B0mg*}Iy2{A&|%a5MW8)@%DhMe%? zqXK3RHFxzg*~;~a@ri5o3Vu<(dDVt_2)WYbe~RCGJzi#VWcC0q;(6LcIz?E!LV?2P zqd${3^0d*RPak1JZaSNNDA{GYA#yqU^hVffTyEX`WKv+9m+bRW`}0P%$CutPbJA7c zqb9HDv>pkjH*D>ZN;gso?z|Uc<+0@shQaq+dubo*mZE^yhs)OO-s(_iM`Mn!OL`lymdEqHjNMmMbV>@igHJZ+_CT779K8z$veN`%P!+V|pK z%#ni=`OLy-Bh?G#6SpW2_=30R3RP-Ww~-{{0;6*UwD(2GGz-1Hx|(hH+5P8(}RUOrbX)w6|?TE%f~|IMfg9lrd&^tIGu1i5{l!`7#m z-@hx%-@AjS^!+LgIeIj}=_7_mxSS2!D5ZNrv8BV&^fx1B#l4J%E8ChrWjPHp>2D}g ztrZ;%B%WBEzAm7DL1T&@K`|jRTa9miL_2vG$e!>v3BclRw4@7_x+F98Oh}i{2$>Q* zjEtVrl?vrhF0}-B2S1q=b2_$o^`Kp7^LvF=`BIk4vQI*93aBEl?+Wm-xi(+w)3kG` zbUs;C;jxZa+21Cqp&?H>^uX`R;S)y(6bfB<6y@@Z;?|fcJ3E!rALyyR&w7w8+*TBO zmaAG}Y}muK_kgQw-3dB7*(|q*8tUgQ$&W>C1$RFA61!Js_lKEouRc2Gt)s&4cw`I= zvsKgOg@Aw&M^fo_5~HjHVs@C%9q1MilWW^&_8=Sv`PL<)iSio@<+6V6I;^tkOJ&iIBZEH0F#L#Cr(?pnrYMqTDpEn)Tu66`O2Yg=`kpRfD@ zCCC4(vYR3^qDi-QWtFd0FaF_LozJtYMwS$uDB8S+ASolF%oc*At2ov(Ufp#+y;)1E zc}-@JUHC}A*(JZ`=mtA&)yr;LXR4L?{IT@MZhoxrnmn7pxE6fCo`!r}Iz`!DReI`2 z-{82KL!XJQ?Ns_5^7A33fp;e8Gmj70D^!X%79A;_PTuEsC7EtXpY2ZG_6>oq2PX$# z-t(vvA*W3zQ|%mIX~{bX$lpl#4PdU!RmD#1FtUC$)+3~S!>vsC@rA1*AB;XP?c3jmidN?1>(XOhyCl`xIv(8} zn)c1OA>Klm5ZEQTvytW1k?-_$^3ef$yCdnZHx;<;yDUVF^EA72XOEzOMKi}Y-fLn7 zUo}0`OFm1azdn00T~FmngoMTd(e$fO*S!k8{n=3(XO{Qoc^A`HU*A$L9{TS6wVqwo zHm^qxlly*;aLCW&5L%Vttyw*p+v`hOTQ=hsN1acWN~hO3Rkh`#cH#x5c83CGZmXLm zzl&$f(+%*4zIB8bbb3FtkY4sTzMIY6jYE&_@%<4W(WAM$OFr>3e%$JAsJmLGYv!oe zXG|I8q;%KW_cY{!(*YX7ltP2_tcbqmp9I?b=jr>rSCqE(EhmE4c;3br?fzmNze)W*B^pu?3%*;k%m4W{5o2DguwkO7 z%-%Wi*-s{iHUFH&vwHu1ZkFwU-|k@0IZr(qOha4_(&L_!cjjAP;|fT8;ySRGoKdji z$hP-I|9k%~(er98ugT{k3~_e@U!9ma)-p}1Qqu6%qj%q5_9cAyFdxI}Drzc!_3p3r zdFwZ0P1Z}e7FkWXKR&Wi+uEYtM9TKRZ_C>ef4^FNXR&qnqNA?%Vb)QGL1d54F2|FH z*tB7FZrGfJ(Q7$*F5lQ+UB0p)m-21v4XJ?FWMQoNYK9Dri1hUFc47dcXLPfok)7?rc_V=!XaUZ|^WPHMM^C?r7LKLAoP(`mf6s zZws*Lcbo;mgvDEt9EKUf@pc2u>epL%xJOqHhBH;B6=u^P6wvQ7mB~DN_l@8EhX>5h zzFvB&a4VJ9I&$|D9=eYP2jxHTJkM@TfF8)z6SDB?uB|T>A?~Cclx&+-x!t6_Py7n%E<~Y zf4%?mv<0S8*`!eZB02;))rcU20f^Fp{iZTkuNC{n#d+xI^d)fic5`Nav_E(MKGt)< z_Jc!jihOTN2t9#-*NKCHw(|LTF@g|oQq^pH{+k?{Opjt0-L)&%b-c3k%#_V}`A z>vZFHYMqU`(fe*zj`bG3BZ=}f>0D}@QJ>hZ0!f90VQ|I0XcUgGF}E#ZKAb0UG+HMA zK=LDx*xL0Qx2UZ=Pho#TmEGL7Q)MT&n-f#SbM)Ft^)*HcN1R{F$(&0Zj$|BKyReGy z?G&n0#>BnqsLdIRGlAbs;df%$^&2}E)sGsB3@Vp63v*N-TX;U?lBp5GF2+js63KqU z-73=NKq`SqpxNyX!}C*?Zm}!52|MoBjbI}Vw2Lqg-Fh>oh8{w*&bJlxU9+1#D`}$F zQ~6j2Rq>v5aB`pZnfyjBUr)JP%W3fjsgA5as*H^FbQwNS#!o+1Yd$FXa+jnG{c7#v z(dsW1!u8Ci6MIA{TsgxfIX0%ox8Y|alP{iMY)#>-nEKg+i)Dzzh1+qb#%_IT z%uT!Nck?$S{I3155X9YTSxema;s0vyT%e)M-#GqiidxCCa!(>Q$z{f+kMg75HOW?61G-KXkaD@KBCq zA4oEfFf?&M(Q5tFtK@aSxpI+Flx=#6vx$6Mq<3y?!iJ@!z%jSz;*kxn4XW?L+%73$QoZt@cgSIK~sY-g1xNeB3)my*1=9JNqnaHX-UoGg156-W-}#<)@n4y1XGq zyBt4eDjIINvm1MmFX0|#dCBS4dnDZsLD56jGLnsPW~ji@`iz`diC!%ggY8Zj)uy1u zaY08!zOQHvSbn3-({uvO*0*gXCyJx<{^Yl)C+27-;&WBL%^M)*c84VUU_4qs2_?B< ztLtt-zAvQ?q-;Bp8r`+-vB_;unK!-KBT*;2-ftL@Ptw+Zn-Q<1o0pQ2(P69h>6EcR zndaHG-fhOd5%$eRwrjV)h?L=dBG!AYWyt|^9zzjxK6=9f-MH7dK>dEUK>dEcK>co7 zpnfm#4Ydny1M~F#pathQw|~#)W_c8y+rQ^G-`xH^zxkeiAY#GwL2mz^-+97af6s5e zx$E!w%{O=bJ-_+p_V4-4H@AP!Z@#(xdw%oH?cej8?`Bq+hs=y%hnpw}f=y^f=0OEK zt>ELy5PN{X2_KBt|3d5m(wY%_fRteR9K{|0M2jo-zz>U9aK#?xD)z9LP3)ni(df+P z7sNYuW}<~+i^v2_Uw6Rz67L4-{pqMm-JM+xVJ?vyF1x+zTG>#qFMYy6hFAQYF`-2x zvD>P!xIbA>=^gH9Y<_O4E_pwGOg-yP1oVb*rm`?#tM?U;s z`nU{&U=w7j_5gx2qt@YX!3X2@KdE&xQ?1{E>2t01TM(IB>)cxZPlR0r*=ijKyHJUu z;|Cjq(H+VUzFNKXkYv37(+$P}0)O5y(#Un*aU+Xd0>xINq93e7yXcO7V}z;5XZ z3-Dx+R0V!ev7PwZ?=Br$sW0=uFnB<%k`8@c5%_8A!#$DFcY+*mO+LZ;%ei{6E>YEVuSV@>3vlA z%Wg-1`ow1NbXHclZcsruDFZrIv62h~F)SS(knPgwkf+y^Vu>MMtONhvWPV~*o8A)W zSl&u9o|>O0O_>z3%cS7@hXhUCMl4rHj)u0UeAOPB5_mB&bagcPWvJfE2&#Ag6Z-sCyZ5vtb}G14_a;X8d*dE&QJ6AuyfBOeX5 z&BWz}714Fl-PCUUq-b{}pGroOF#4x6kuJEAZjj}SYov?LwAK!HO`9y7LeP!vKEbWF z9~`&5P_k9TC4KYTs|5R88YQ!>+R|+CJ5h?q>$-r$H6b}t_~O0hd{1(%PZ3Ms7MI=~ zmutehgdT4aRQ!oncWq-kHSZCKX;{z{`1LZP-%c%}r8iw7^Zpt?SpyXDivGR2vGO1K zXg0~pK-dG*Lx)heifK2Xp&I2!F0?ZpR+>uqu-^1&+w@;9j}dYX3uAY@5I7gvy|QN) zWML@612=XO=6R8XP0yaB(WDCvDXp`Lw8Lm zPYZ@mr|*?!InCBZGF$Se5|w8WSw~-tx`v=X?7MCV1vv++g}l*41NF`bZjShAOq!=cv3`-)n+R_-bd z+m_XK3f}WF>fc^goZ%04Fq{X|n3PAERJ6uQR6_#IYmAb*eUNNLR^8Z zJQ|%(>DiYC{0^eIc<7_7@@4L?Anw7FZCX3eU2hXMmVNEDQ*YvCBRB`5@dC24*Bg7) zjlVrnOI$q=;foiboOHtNxm8o0X>Z40qV-q2IiC=CX6*c>+_N8A@5ey8R`Rc|V2&sF zG?fMHeiK;`-=td*lp0mMBRVC^{bqWo4jp=LjPIt

1@i{~i7|fexjdosgnKRqm-E zKdY=C#vU3LYBM{w;fUmiQr;5jp_lKEeUi%|l5OqcG_JQ%eRz3FYL7k|BAKU$;_d~j z=K$S{Urvpm+_WNG8tg38xtSfT+fXl|+U5Q~t1s^aeA49#GC{Wi1+QEjJNAK3WXb02u%M^%iEtH7+kv{ml=4AbT%5;h@!B@&lP zhuK$%Om7tVavAV%e!)O79=Q8IZ!DnZxKRZ~pW6kGx!(9g(dTvn07akMjj*{YbRjJR z|K0l!mW(`$HiN|>d`JK#K-0qS`)Z^h2sYu*|I7S`v4<-mP>rGJsCqEKiFrJ%B$yM| zZj-VIf?#7+j2s2TsqwoRy1qz&w!&<&4=W%DHaX^>4b{jn08`4nPQE}%bV|Dy=x}PO z>!6W%`)sMAmcSXa79}!6rN782Fn%XPOQY zZGG#OkI25&bEIjgv(w*q#*v2oVs^k$CXXzNLZ+z#arD_M9*a0T_K7G7!!-b# zEU=j)oHGq^cI5xKW)Ru84$d^h*)c*|YlrNcE}mngh_gdnz-yK|IM11e*eN^2Co7R7 z?c+>C?39hBiL>Ra}5dLB5bVjx3kk`iywpNruNsLa*@IKt!!@23P$vJQsZd? za{OuRV3zoi&uzTJWh-T_LJ(}MJ$m#X8e?H-|o?B2oW@C$Y+d@};MYM_p4sK~nb*dcGxOm5uu6q9^F}c|%);U916glAF%Kkz4;PqL9G|%r#Xg+%YBuxmy1<#?)7Q4m WO~40UfI}I4Jzox%>|s3MUw;Eq#@VR= literal 0 HcmV?d00001 From 3a66f5cd94f4caf177cc8f88782b38582bfa8fde Mon Sep 17 00:00:00 2001 From: galsasson4 Date: Tue, 16 Jun 2026 17:34:03 +0300 Subject: [PATCH 2/2] Add files via upload --- sql_improvments/real_world_problam_Gal_Sasson.csv | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 sql_improvments/real_world_problam_Gal_Sasson.csv diff --git a/sql_improvments/real_world_problam_Gal_Sasson.csv b/sql_improvments/real_world_problam_Gal_Sasson.csv new file mode 100644 index 0000000..cf5a373 --- /dev/null +++ b/sql_improvments/real_world_problam_Gal_Sasson.csv @@ -0,0 +1,4 @@ +Number,Question,What was the problem type?,What was the problem?,How would you fix it?,Answer,Commit,Comment +1,“SELECT COUNT(DISTINCT actor_id) FROM roles;”,״performance״,"""Using COUNT(DISTINCT) forces the database to sort and build temporary tables in memory. Rewriting it with a GROUP BY subquery optimizes index usage. Original query execution time: 0.42 seconds. Optimized query execution time: 0.11 seconds.""","""Rewrite using a GROUP BY subquery to leverage existing indexes more efficiently.""","""SELECT COUNT(*) FROM (SELECT actor_id FROM roles GROUP BY actor_id) AS t;""",N/A,"""Improves performance by utilizing internal index scanning instead of a heavy distinct sort overhead.""" +2,״SELECT id FROM movies WHERE id NOT IN (SELECT movie_id FROM movies_genres);״,״performance״,״Using NOT IN with a subquery can be extremely slow and can return empty results if any movie_id in movies_genres is NULL.״,"״Rewrite the query using LEFT JOIN and filter for NULL, or use NOT EXISTS which is safer and better optimized by the query planner.״",״SELECT m.id FROM movies m LEFT JOIN movies_genres mg ON m.id = mg.movie_id WHERE mg.movie_id IS NULL;״,N/A,״Improves join plan execution and handles null values safely.״ +3,"״”SELECT m.id, m.name FROM movies m JOIN (SELECT * FROM movies_genres WHERE genre = 'Comedy') g ON m.id = g.movie_id;",״performance״,"״Subquery uses SELECT * which retrieves all columns, preventing the engine from using index-only scans and wasting memory buffer cache for unused columns.״",״Select only the required columns (movie_id) in the subquery.״,"״SELECT m.id, m.name FROM movies m JOIN (SELECT movie_id FROM movies_genres WHERE genre = 'Comedy') g ON m.id = g.movie_id;״",N/A,״Reduces data transfer and enables index-covered scanning.״ \ No newline at end of file