From 46f1e167c9df580ccf11caebf72ed257cc5a80ca Mon Sep 17 00:00:00 2001 From: Brendan Hansen Date: Tue, 13 Apr 2021 12:58:15 -0500 Subject: [PATCH] error message when case expressions aren't CT --- bin/onyx | Bin 348816 -> 348768 bytes src/onyxchecker.c | 21 ++++++++++++++++++--- 2 files changed, 18 insertions(+), 3 deletions(-) diff --git a/bin/onyx b/bin/onyx index 2659edc1821c2a41c6594e663a15c256466cd5d0..d65379e6bef26769a5cc99665db366d6b4eee585 100755 GIT binary patch delta 63522 zcmZr(cR&=!_rDoHK+!{xD$1dVpdz54Afh0khhp!&8+*mxMbyiAmTdHC?7df16pdnu z*n3xEjqZggwkTG9pV>VO@ca4)b35~9=FOWoug%+a!3LK{>s=Q3v(*a&9@?kOveJlu zDN<<`WPj$d@}N1Bn!tis=@y->mFFL&WZ-#a?0Zflt1j9<_6*-~YEZj755llN$uu;UoGv_K{a!w5w30?Yb~weMOte~YtY)#(yA}gT1vX=>L&GY zvn$=9NQ;}q+}u1oE&cizX?2!D+}xyK^cz>CB}nRtmMgAy(lj@JkB`18u1ktQ^_Gsi zxg~g8M&Ded^&d;G-9_rZTIvrLsc$U#xVw2gv$UQm(rP2ML~9AlTz87Jc95o{^{u6^ zT%@(4vaNbT9?4r4W?I_;u)1)Vgh-Ffzhq;Icd zangYHu`EN{(LTYep%c^SjV>=XTWdnjhUDp!PX+5uVGEX8Yvj(7Q-@eDx7`ZB91B3A zp@+NPa9VHZZzq41Ms%3RcI@rgo3V~kpH4oEq*l#(lYH&u4U&K7u4QJI#h}Tjbms6M4Q*1Fb}nzl{z^UA4Ga4{wMCDHR(7{WT50sA zlHF5R_D=D)KWoo4iG~;QLaEwZcU^}`7{ibw_n54fdX(lqU-R-34UhFEmt#_&xpAyd z>Xy0gE^M20VogJ~PqJUzp+e^)Op}t4)F{Ci=NoK{_WyXr5btmH2O?VUIE_XwdqhfJ zThsCRVF5OJTLRG5$?iv_(`$pBH!79d6emEd4L4Hl*VSj-w~y3#{p||N4v9|MnO(R> z6Ju=ZAA>pkujj@X8v2{>e$UI3J4vw{0gVNEB6@Bifsk60)v{7bS z8uM|oe~h7>zuEH}COa(gO}=cgRC!Z*Hdbng->sxUn<_e$Qv0Py07@`U(aBNL>P?|e zXAUUCrAz~&O7%zS`KBID?JU*CeCQOZ!{)BeFZQd@iTTj32c$Eb+d5CR)DOo_D5LD$ zFRj_+BE@eh>r~g$)+K+aLDI-Aot-Z4Q-^x^#nR=w^l(c*=k}KB<@qDc+NX>(WNSHR zCrg_#ze|kTws&h;r^~78aO3j(VYsdRoZ4He_k6a@GD~W|t()_Uy(+YvU+tQz%#yXO ztkZf+TiyJ&>r(OUot_s(L6q&BHrd8w1X?Ayt@NxSx4X7i+} z`zu43Y})_Th7FL`9}Z^W(#^xwx&183=16sRR|-86#I{I%js&xD(jwF(q@Fs`z>3|H zY%>zsq0}}RVXWNA6$1Yx$3z^;H08H;W_=t4z2Tv}DRtxVMvM)UUY&T(#--jonQrZn zHCj2idc#TiTI#Yh5eyuE^K2+P?jmR zJ3o;vldheA$#zH?7uvG+lIz7LyhNnb`(g|`BW<`?g{_dTTx`VJO753x^Kx~hmX~U= zzoa>rDnqvHzEsVcU6Hb`jb$BD+g@+V*g0w4jZti)t_z9d zb-S#Tbh{!OjbDD!(c7+qvbQTRt(1GaGH}%0sm_{7&F`Fbv!1Q8&vMK5hhsvW{7MSC zTNk4ZzB?S-mvy&G$(ntH6wFC5oRL% zf{)aJMoCrf4-~t1f3CyfXpKheEk=HbGkVumQ;Y{9!bEE>(VXiu){BOt+Zs=CD%#t2Qs}f7Nc0etlevHIU9fUd`4>gP#OIiYn!zqT9GBE{`_<^V*{m{e^p?!rFMUXV~6JdmB2!!yMNVXA0^l4 z%b*4JKCd8{?0HSrMzVj=jct(nzo^gpN}FGlXCYGNi-9assv%DjyDQh>73WFWaxL~n zs$fnK2$+MUL1q_ex4Anu&hc+I7AE=s9b0lwa|<8G>g2xCxWDTI!GnJ%VY>pe>$Bm~ zknCFGP-O>!QEp^+WDlk4|8!%~lIfpt==szC^kFrmsxMoMQ~0t1xO(l&2)7V}LJ-|S zVMv;@asII(@_Fg)%gSt>zTU!RWNf4ZY3s<4b~en^+NMZ1H3%3k@PNS37fud z?rY{ct;PRCAqZM{jKFt~W+qw6_Mwhh0J;FO`x$ z>ICb23}DStk9|C4%?#4aueDgK)Wcsl@?uqSI?|gdK>Sqmy>&7#>Z>SoQx zmfti7T0Iw1J~LiZ4Qqo+8LrQa564f9e2(5(vv@X>B5YV@$$!Nm)yCaPFxHWKP|0GL z_c$dM!%RylNfaY!c`;U{RKwwxVPJsB=Cm8d*jUCsq$S$1O^kc|LjT$`tdqQpvun|j zZPY_Kk%>Ny)T8vFwNg2=pIRBL9MsZkWy%>yJV2_I|4>K?=I@zo>EQgML$nT^{N;f( zssx+OdeN5>>;$NE)PW6m9@%A$aXx??O0h0%Jq;+u2C?w8 zo2A%D#$J)$k<~2O8aR&B=~F&vXZmxRi3;{;uTF*E~qU?v(fnBFi& zr;j)@`Z@UQ;VU6vqpqMxG(3?tv4SJxe06#wSlc*UXC{~odgIhsJALv$c5#MFdQ()j zk6e>CT$eZ8J#V;UNQOMPPr+rTC>>OI0B3$E3|zkua0dW`CfXD`oPb1QC;z4?_q8)W z;~}AUY;IGN@5!bSPqoSBa8YB7G}@$olXid_`7j~*IDTB! z&R7R%^H=b${0o(JW@A`Y`o)=5V^ipuGi%~hqX6r2Kl7sE?HWvqafe zXKo4((0Wf3M@ZC9JBoUtP)^CC{UIwrVC(^CHXpMITiWlx37h< z*+X@KOvxjEE2#gDLY_l?U0Kr-#ZOyIqQ@)gcUM-o_{l#6E|YcgZ)D}hg3A7k=LF+a zo!oOJc4D%|BWZK?F;uwA)2OK%Yfxc`9vp!VLdF?z#N6{yjFKudog&4c|`omw)8~&8bkgT7ofNVeJHiIni(} z(eMHE@ARfHeeZQC$l!6{F0FU8My@FEz^0+c!Pi`3&&#kil<3K77mqk0RsxQ2B$Fre zaVUjn)opq98>M@)fcAHD3QzH=bHOQkgRP-=@^RCf0&iZ#I*(nvp#DoVg?-E_G=OmO z!sS$|QRF*|Ywg$sPDp)0Hg=|PPmCUgdi;usUKS845YNFvB)={Yl zT3O`i#p)CvnIYB#u1TOaUaX$33Z4}ogDtgi&C=}MvUR9Z>n@k2yjvk-760QXZAP)vKAH)k5-%X;uzX>`Yz zHD&{;VkK7H!x<+{-`je+o}I~i)Net|^ybzY9fV9Q4XngMSZP{bi3P=tcmg-<|C_X1 zu|NH)YrSU*feL|=Coe&bd6Xh$HTh#56^c->%CrgNU4S7=yOXA5`t24qBePD`OwSX>?^4!N2dL-IZBqe)k!b z^kg~gTM@&>E)QdSuaevQ>Bk`3wy8~ySz z`BY_R?8@F$5ci@tRar;=_ajQI#;TR}^;P9zOxu_?Z6T_Llc5@m;ZJtag=#=z8kG!$ z32H;(fh-)DjR<7U408uE9Sfq3fvkq}jh*TU{~f3klpV+n%$-J8XYE-AU98UB{o6w? znBPMB_FEw0PX}M(@u?z=1;W7=QG7RxN(Qlh%!87G5cVxe>w{PrzrLOB2Z0tlDKCgs z^6I}Av^Zd4&*=sC^!sg!4#uWt(&AuNot>dSg24)B=&xYbz~SFvAigT`2U5)tmSorU zvOv@3+QV_GU!gEe4%D4_jImg9uE%JP zgybnYO_EcB39_mefD{=RL2W`I$x17o%AgZu-m_`6HI!B4Ifv+SDC-z7bCbeaV{0k) z#&Afxaqe;sgi%U{YJs>Xp<}pQms*CgIF?3>!`N}wmO9j8vz;z(u<&JwVq({qm(!bC zz_vY=s?9dowLGgVp%opj4S%67fdke$^gJUfg|`z1x`ks`X3+I;7E^i&jzWU5o;-Y# zT5hIF5iF*7L!}zaDo4X3m{$p%@(i2h<3xgEQ#_O{I^|gePCty1T70Wn;_(Ur0NNcKBhC93Sayr@4BAZ_1J+5d=aIA} zJ43PeR#Ex-%-_8q07NLlUc?Sg3OffF2FpRztv>T%J7`*c7VbDx=(!)}>W8y5y)<*7 ztop1x8$e&{v$>Ugm#a**N8$VrNn$~*b=esZ5v}!xFZ$$6cUeO_qFLQ$*P%;|@%|qg zxJ4(0rhw;S?GjBkv#vr?o1&^;;Tmn4-q+Yd2Y19#Z?gF}oeSF~1CGb1n7lmngf}!& zZycmcG*!w=r`j=KQXiTW1I94X<`@>s&6nt946Ep|{2te&-z^4}W(u3Cn1NA`FF}R= zN&yXU$m1xX0W^Fq8ry)iacJ31T_cbiADU8STPTh?uXUrFsh6$SIyx^&N&$1S7#XjvJ1dycHy;3ALy<4ue;i zBM+vY@yvtOpo#HpfJ1m^brdXa2fdDG8Npu{Sy2Avo8XwbzVf-DV$im_?0td@1Rsj{ zM74B<0R!n#L*`q2GkO6tojjFFHDZ3wfHDXOlc%nh!!#6`{MI%;| z{YqCGvHHcAgOd~n9z~vdR@bYY@(lhA93uErI3&Mi?@<`E360dVcKp;0I;Us;9urVpzf>mcf&!Dd|Cp>IRY_#= zJgW|kNMzGICaTWkBoqJ(KBTkY6idaMviU5Perw8p@)(q@3^o{r0+o+>P4aBUn)1KG zX+Sf!!nq&(xR`_1${vRG6i!`enn!b1ih0JHtu%)m)rJ`ShOwZB)9x=jP)rNf(&?Uz zb}=d>>@ED3x6t|)ut<8+KP}iI+w)-xX(;g`6zuAjthUD@)h}Bt{4&!h-H+vUrPnQ4 zQ>e9ityptt>v^pZrdUVkS}~tuhUXZ#3%zN@%6oLhZz0W5C@XTeth*BVBfJJNn%0`N z_2}`J0@V`*p#CGGKUHdjb>FKYi0DVZwPE%6vq^NX4eQ=f!i`Ui63Y;QHp4CRJh=7! z7RVEe*1t#a|370;?p(C}!G}Wak@QPj<~!9DU_vA43eB-dgbuzS&|j#w>$^fD+%MW* z1zMp128WBb*T?afHx#P1$AY@!yvg0EUOV;*fu_LrEZox;F3urAL(tSpcs=U=y33bn zYI`=zs!>oLwYXDtw=#1r0b80Tb!Prvb^;byL<_LwiFTT# za=`5^jBoiOWpri%WloCUE8l+y9|VZqFu7b^O5ZxOR_u3b(S-%rzk492b9w)OW^`eG z72cNsH-To`9R%x$18UjDsI3ZM*fu%`IEGWxg*gZLuM!A=tK)n-$ekmF6pHg5Cp`HM zqApr*n&~@D%!>y-LY6hVGJm_$>PSx1yDJNcI2a)Kw~epaf)R1D-r z3P`M7x+-Q~fHeN{YP#5!B{E2yZm?IQscSd5h<5ZxH#l8m=wmn5l37zicgPF}TG*ZS z<2P;TQ+F21ys3H**p6RvsC5qjZKe%9U}T@6n?0az6N&X?!`(U;D{^ueB&_U0bI>@| z;~3O8XjB)p5;4$rU`(iEom#Co4fYjs_fs;m})xd>WXvdc)s>oOo6RY9?X?ptMFdQARH| zj+LQ^-XPs}TGJbXvK!^}X5AX}_+6~=YDk7y=-#qoNOaR9PN|1K|Es9|S{!P+={Ipk zr-||O#_r*W>P$a^o~FR@G`|n4XLtE9*I?~>y4iW$aa`HhW@!{*zp2tgntT z1C7}S@ocL;k5tAOgqtOq_V;Bjp6_6b0l_As-W28X-)s@|tS{W{VoC=E$Q+6mXO5a0;V-sNEOBjhT}pF6#E907s!!C>t{g- z$A_FXFG0Kf(oB2$fxkP_`+n?l(3Y#p+1QH0qT!yz92C@-hk1)Vf(t1)@}-c|S$W^n z-u}cEvYKYa!*lr?#UTx#&31X;fzwR%!?wW)meWuHoN$!W{ZS{6r2_-l3@6_r)z7}B zH6AD&gYq;CCPl#Z1y&lZtF^B-0RDaEx58u0{_;H!=APbYv*94^8N|B7c`7}aHLCew zzR;e7eI0*vefza=*S!dz_tOru_Eq~Qr%{XH&=s2pGkx_q^wzpMU`_{LxqFe0-fBk& zOGo*D+A(qnbE@%T9z@~5Ps#?}7r(y)!GeoE`bn9!nx*r6OXuZ7SOrLwV?(guF6j3I z>#;@p*G7NKg7*^}%G~_D3WC=z0{$^KAG{<*4@Gd`fvLdYAF+~x$ff;&4y0)UdU-+U zv?9=Be?WJo3_w@!qCl4c)ynwFV~ar71~kZB#ofT@ck}(7PBe)H2+!v}PEq9nb}x|07+IF167`CEfm1 zV#AqFppydb1%$nP<-j7~FQH2@gO_E7G1PoG>lnA*^*>an8UH7$3$fCIsJ2uGLV#Xj z)F*rCpW)0apc;Drz_n44KDOv%+2*|zGJ?4U{PS}GaN8o_nb6HD_{F_60^t7J3xa1V zM#_IDZ}t!Hc-lPz`#iWH^z0(gjebCvq}PBBs8$fVQ4wg{AJG5qp^%XRb3;MQi-2ds zY_KeJ4~+o0|Mr65nV>^KTF(9fzKC{@WEHCSQlNdYg}%P>(r(FXF6$9mOVXNI-6QeCX$=5N#VC`#W5T-)2VTs38@Eg`S=?}Ueyr4+ZO5KqGA^6t6a3%l%mR`S@o%n?hDyIO^9}R5FiRU z0NpE#-K+(tMzuID1`lgVzm8?WCGIFY^aoU)A6*{HLS5cu;11UQ zouVJ3w4#U0pBdynjwJ*R$|N9pJ?7V*2sSLHjW$J zb8>z9a~!MItS25}x|Dz&rZc3uGCjNoy_x5>taqJ~sG{@ zB2blm#=>VIFU=*@y|kDVMwd57$z}q^YY$)`^U6*c;TYALz^cX>dkBQAubfnOKU#bA zGVqH!CTgRqqX@}>qoPGu^CK&C?A^#(Z`H_7d%#h9pybe_R+>33{b|DlwhPXG+lh$G zkEUr8*%*E+J1uu2jCdA6zLVK4ikrfm$YBbC^{q)a1$Ik3#f!p^28zOw=A$V2a1htj zDdVn9adg#aX!;@+LT{$9G6<&@o5}|9FVE9PO=Y&Mm^VlZw`$rnRtZ-D8>eA}G&(zb+ot0}Ba*I9$HmvvEz2DEPm9XikdaIB!T{{`}2Kx(pzGX(fG3!329( zlKU+5O`@n-OvnH1Mcwhp53Qt>S-|IGZ`wW!y?4>sSs3#Oy_m)P9K%*}O?DlH(}gb) zoK|i&!ZWNk4Vl9NU9M$)hi5hVR)Vo1@(FUZM~5?cW!kPetf~V$O!t3<-#1GX5!7=L zbLQvg)0jnU4@0bGF>73=N;)Lhk4rVgX@ku_(X7R+Qss_o1&hVvA}fxAqgx~O$tE6k z;J1`(N!I$_4RZC&rYc=q4D&6KVut;gDr;rIKmuG8P3klb4BGw0#u692dCy6euKpIj4IjjWPMp2cOAZFGXYPpg<<++(uYZVK% z3tos2voS1|My_IuJpbCQ%CyP%#A$QZ8=HW7AJP6R`K)HG#a+~DR-;b51uW}s5wQ2& zA;B|m2$=w9uW3qNQYRr;5XV=&f<$_}8h2TJC}Ir|T~3SE;3A+Ron8YjkD}LWSQ<|` zMN_tdK`*XlrEydBa4qtC-iSPfj}?byUR*|psaTA6H)l6Er- z3}2FTTai1pn36XxJGV7r%CH(_+J!Y?qjs?v&q=W6Kz@HhM>o6rIX8B4^=6Dy#05mMRn%t}O}~3+IKqJD5WDv5p{+ zaUZTR2ho##%*Y>JrD6NoNT2LIMU?Fmbooz4;MRg4V7&t}aWVwUs4;8B!`7C@s-e-N zvS+~7D;@2K1;{gK-T??{1ceW<1Q9bzV+~mf>C@OIyUEj)MNXlQX;@q^l{*LpwSn{p zah=+aG7n;HjudqWVWxSs>JVGSUu~!8bX?kWr=jVrT#24HzUP^5i51z>;&faDwW9m! zY!v@5B zI9)so%<56jS=OEZxtv;@V^sql4-lL&85t9*^wPV_JB4|JDp8Rh4PppsV4(HqSS{@g z0d9y5PcU@xbwuut`5aiT2|1mI9{6_|MVx0Nps%-`XGiR8hA2E&jD}rcW$jJ~Ib#ZI zO21qH`;4L67m!kGNAVXC{A^7VE&}iSOX=N3AY7WNT|z80YYDZygtIq*ZivS)<*_-1%`zj8X6U0}WFPe;A_WXQ`Czs z)*BFf*h#CdfD>UvTmj3pq_0<4Z=Us)dS1m9b_^}Q3S>`G@oQ`e|2&!2U&ErO(Zy>l zj$fNX&evJ(*eBBeJf+4c`+oWJpVDVWi*PbntOWjA@OaZ##Y4^@({(nOwNCqdoz+Kb zI@P(!I^p7c(M{IA#kAfEF{h)D+dyt4Afz3f9|iBNHugbbx!B6T*a!fqh<=CX`w`(P zXav>0#me)yyQ#}9h=5*n{}%fO?Q!=u8_mD(q!xGB66E8W@4#mJw>>%Ch177N@Vhv) zi)hMSww7HWpL=W?&-SEs_t+VJ^(_s#k7E`~Ki_9p_>(u(-J%+M3 z(dox5$fI&1Zm+Fvg zIQiue+VceCcA;-ikn#OJnS!6f(mF;%pR&*z=h}*!8YRq)U&`4nAi`y%P@%^7V54L5 z=Zd3i>rLgB(2b`cutc8Ea8vhwEp>VZWwT_4Dmb@3V~zQp8T0{-tbAJ7UyL(b+a^Ht z^)#yYoSE1}y6~L!M;J8h1ta*jYFlE$WyfN%Ne&>tuw?OS+L(DUej{S`r_Hm1|S<_11KOodlzT1!9kkUF( zNh3d4mNqgQtfIRkR5!wP?)sDrq!>Ihufq*Met_N-c9KG0vJU)oEX{k#y7^9P0z4G4 zZw#A+-}zegZz2EHk)z1*6}+IUOK9>dwhfkDKn^ULwlpq>UEo*hQ^VJ+gV1EJp?llV zr`K#ZEW)jCSX(*sm6w8}>^ztpt>rnD| z2Z1z^TD^nq<47s*U?E_ncNo43S-of7ya$actOCq85hTzX&X}DL)j(#=wD&N%8qm7; zurl9|NUQTNy5bB;AJ{VfeVEwVft9bth*hel%M-}=b9h#F!f^6Gr8k$3f5cr#J<{f~ z+Wh%Y(&w@^{6#pe%!T?MNM$~;T0E-*C4Pd;g3b5|riSN`A2zEqMSh0W1MT=3<}$Rv zXI9p)S3Ok$CYlBz2_dXA9y2u+v3Y_s1@nscFUwKz7ijSJM(XqhifR5SarL>b(Q@XLi%s;PM;WP@HdEj z-1mIL`vZuNeTT50MYee?qSQY>2{Y@hcrP?lo=?s4*arAo@AKG17Px3QcVRAzX7Ma` zmijQh7zr6)7#|MbZ7}EK$^}#xA|^*~>>4b8MN&r!?juft;5hQTs}r+A?{(y6#mn*B z-c-wqPk}1fZ^iq<+bnC%8|!St@^?sYxF?RXpw{P5%QnepD8-ul!%Ey~&A$i+vEjmL zzHGxA!~OCs#_RH1J*Y!5ex__r&2dN06q_r3)GtkN{RzX?lFfKC=^ zt;Vn^O3}ez9iT<9{PK5Nqvh?iCDry)C_>K4nN-Y?XW&d{I`W2g^~Z=|Y;@#On)|>B zs$H5_vp0`cDz8%;?Dee!eW?W(tEQ-tBq ziYu`?MQgi?+V^#7t25sN1EotD?(V(dA7#9SO3@!tOS2q*2ndMGM`KhvNo9CN{ydou zmf=l=ui?Tg+uzMr`rON=P&^_LzKaXji~C_0ULCxC!-e;O-i~nPWv%XbiHvM#8tBTK z@kid2?#f3v`cx2H5OobH&7jw|Ea9$@Y@^p6Lx==J+pLBDwAf^Q~XEyNry0ivtHrUF&< z-i7E}otW8LvO4NN?`V-+E9NZyw>0<{_$)PGPXY z4YxP<(f+K|L`5py!s^mhZ|n(FmpA{Ub$X=C4IJizWE1Vombk7*)JoiYC)r{h15k}Pf_unI5w$9% zHwJbWH3pXsD2yfd-r<@OB{$=*l5~_*TzkOA6_X}EVg{Q)?LZqV^Qu0BN`oeTpDk&4;uac|=!Z%RB|6jF$~@2|P^oEwBY_l`jFw_`QKc!= zp9gciSkTX(4?|$$mOr129ig@XyuZVI#g6Qk7}vArI6DHh5Qc! zxRw)ckLQqU33z#4#1KJm4Jv-Th9p;Ls!aOyCOU(|q3ZxD6wTe66jl`sU6VRh<%=9$ z1b{Kj6@@sMQz#FO-U%gzoEQEv+T!q_>H(8Wt^?Lzf*Mrg)%f>8G`t!w<2~($GQ@Ng ziNd(uZo0nPKD}$U9*NMg{V4?V1vTf>Eum zD4^$??rkykXzX>=LOK%6J^1ZYbUT<=;O{i_C71^wAE#0X5A%3yi_4WN zVknc#b6nzCF#E!3R0wZ|AmWJ-UZcvLup*O(3Gd)Uk=pF#$mT3xgD3F6Y|{qR;6u3m z;@(27zmSj8!%%3L3@RDM-P!Ckzc3!e%D1-#?yCjbrZ8J8Om2#DL?Ji#{GKNxvQUf1 z^9(CWuf^xV1xcvQ$3W3!)CTs>X@A$|I>stci3nb+Y<8eTN9ZJulAK+dT%( zZ=OCv*3MiA1`umZ{)5RSXSQNNFh?Yk|WR;-vDERF!^d*Xil`wq4 z3&4YfbnR#_VmFV0|hIvPuicsVIma9x%o?WxbJhB{&hEdT5$ zWy*6X@Wm0#YI6Dd3CkZ*59T@oUAO{_#vU|sM+1>#Gz3xy3XA5|${R5aaB%#ALmh?I zDh{P+YBXs5R!hsHc~r&gxe8$q=32;iUOX2f-w65|4YIAKsxhGYSn3|bYisKOUZI*` z9`i@q5Ch3@oF2sRU_h2^z!wUCuK~x47j&ZmAI{~9)G!uj?b`@i7|VUi{ygz}p5X*u zWOk1+v@Zj#rJXq(Op2owN*7~!gr{G{?|BOM3*s4G<)48}FpDmZw`colTpX-o%o4|E zdbY%?q#|7?`bS_zR6rUdj2h3oBObpZo=@Rd^;E7Qk71XndqbRTjM0#{6P|&1!i`Kr z-ZJ2wH^`3|c7h=@Q>2qZX?CzP+VsHPwy6cfd+Z2_#yT2Ynp3YvJSg(MYU4gYfs}$q z!3n1JcqudqZz)bs_?{Q9O>5)_&5`c}>`Td3nTO2kUuMaB_KN zb_Db=d+{H$zuqolD2*K7X@|u+0u7W+bOx8Z+v%>Jw{wYlt?)`cQ5gPKW0Ce0m%tAN z&40%<>0n|(+U_}EW>eIpf5AqZiv36dzz!s`myKlGoNt5inA)7z zn|j}^h(taG{w)w%KU}nZ$iIc!mlbWVfdi|kkdSNUAmQ03Xh1hp$r>-Q+H7^T+^np2 zj+upOvpu1H2ID(wg7qr(}B7nlGw+^`Y2=s0r9A$f1cSrL@)N63eeYnd7wRZ3%v%F>Cpe4VT9Q)MhW6kuj`U#|z# z#CH6cIKg$>^8gRq=U6~R)p`E-SXn?_tOE%EQ`&P+gqfGN=a+E7+`j{?_(3$U1ANq8 zw7mnbiwKHYJlT?MM_x{s^9Y>{Iqx=VDZ@)M6DP7E$Z|+wLQ~kiM-Dt5T9D;2+QPlB;D@F>#)w`)QP`F48*E4?{sMyr|s;e72o>cHx7>cL-2ax$zsobv)js8 zTh}RLZAbIhjPr>-H83J7M^EG3-pA@&xonB!yQ`ErQOw-gb$p%Y-v5g#K3^3IL zqG~G8RCM-f1Vg&@;_0~Z@#xKadA<>Lp$YGnSwvHqtQd-K#aqk0c~em7X>S8&KPYCtlr?vsBeK8m>C{~qAz5;5YUhJ^ck<3fD=$yLevQ6wZIa<0l3wXBdE+z z*buxC@e^->5a#@!V1VArqJuv{z#|a-6K{lD`jGxS5%G>G{rO$~Z#n8XfX@+^Y6B3c zfeSE@4-gkK19@MUFfV}%f+1jl$BUFrd$NeC4FU%QQj0-68iOqy1Pg8mJsJcH|3L+E z8Vm~zNsoikm`KwHa~IEAU%nOcgR%`Ecznn+If`}<2CGNV`N7;*d-J;BV>@$#NCUd^ znZAQ`_OB&n);AKB8^RlL9PfTZcsznC+lRo+{Qilq4B=%O%byC(aK*e`Bn@3FT00uY zS@6VN9aOOq;zuO2w@5UG`r_TJ-4k&5v{Zd4_r|9#nhoWFQ&%9ss!z^UUe3?Oi|LgT z0RuLxflpuI<@`su-N8rCLVe{Wm&I5UamSS@Cw3Jy3-ygRn421MLAdO5Sc2iWVhIE- zVVZW>_lKy9X(KPts(X!5kRWHi4C#qR&tJrvqe{@{q3}?5Q@LS0oPTr^`&5Od4}-x_ znKllCX$wbc7_W^$d8y&tv-|pwg^7?oUtUZb~p z(5w->l2ga|Tyv-bVA6GhRgGaS==Tx4w#S*9LhOqwQ`nu0%8XfJ#@$qMBu}iAIuDk+ zxavtXB#Mj0sNYbLXuunXF~^@H?jtS~chQuQuvh!il99ZQ$8T_oF#Ix67+kyz(7uS} z`Qxpt?2+8lF3+SiYpCQX9M&M3GK#0UZ1PtUQts=GHPf+pOz=XMsBsdn@7h{zdI%>+ z^P{aEtx7^rp;7?N z9L)m)rlL*{d&5qxbwnRPR|9n4g3x!o>DFlO7Z&{Hn{aV(XCkNE6Y}vD-Z#O09Ftx1 zTTaV^(1P4OkryIb94KTAcP=l#2D~xK=Op$ZTF}}URt~@M%_=zX%c$2FUMsRs3Mx#k z{beJBYJ#CFwolBV5MLgv4zT;ge*0WqJSOLbK5R|xF9S2{$ zC0!iHtJ)`l`eNIc6C2N4`HU|sj^$*3OdONH4A~djLa}Mx z6ME)%k|&enMDF30tn5gJ67NZf@K1UydJAC^b?+3#PlP#u#F~lRzj+1AAo&9T3n%%d zQmIJ}XQQ2zAf0^J6>}NzwMD!?3(G6<0*>G$u|KA;e@-e#(Bm|Y;3@hv5t?ih`AtFy ztvfZF#KkLiD<|>V{I)yYp2RodV@Ojc!}BUd$3%g5*C+E;$dp?(1(N!?3&~Sp=&vO0 zR17eNYKx*7b)O2DOO!Vi!%d;)(;&b6X!bNt=Zu?7G#!x8T`2emXF50?!(5_= zqHv>PGk6=M;&h(DYdL=bhlrF8EC=78gc7y!q4hKPL}BkGLyVg!IvGKU`{Sr{GMHuy za_V?T=;-Ik+$VO(e!(A6-B73oTA7m23O#bzWv1c{wlfDM{v1-b2loUf>7}!@=4*7L7-JBJlJVNs)F2N6e@B^&q~29h=Hojf|J{Z5@vynp=6$g zsKAl&fD-0jdbEPJh(FHeJv{dAQBFWAiUd{MRRzZ z%ey}dX^&e7vpo8fUd`bR-0F&m4RSa|VQL$$BJ{$R8X5Rty!XG)fVDhbN>2@ZI#Q;OxX-k0Bjk@e}|2YdF$nIKQBpoBM)`y0lOQA1%S}!SK^*TdUbDaz z)0JF(#Py_dLhc}M?spTP8M*C*fKXovtpATHlWL>xP!u+{UyQ-QT5a{0uf`W1djw6I z2Uh=hoM;{ot~VLq!Tb>sg;8lEWBmw*0>yJky@iOtKAgcXAqLEw?g&nuhB*YP_&Afz ze8{yy6oJBi+Hs*&KFUZioR5wEJA>BG2luR{?D@Qs$6S0fG`)`!Y7RTHOJRO@d>K}} zv%Ubkx``St;DJp#W`E1Kv_Fb>8V6)xOyiJnb1-f>#o)Qe03ebAfZ&DA0>L*x@Em?& z)n$q)wo{!g7OM5(?3YY@lV6s^tI+<+7P>Ww+o_3-^zrf`5 zqCLNGw`Of@#9j9kcX%H1!7LH~Y$v2drJ)LI`=O8*?pHt{lRhiTT|@v)d17Z>zAs=J zA+Zt-*b1B61!=AlcVIzJ1}nXvqQKV3+ja;$Fe(%-mvU&~LxLKC!UMw>t+GB-%U}5< zerzXQ{+0WCJZ_E8DfND@H#Jn3*i0|JGZpx)w^*W|#}n~A+~n_y5&IoRY~Vt`V|8Px z`69^KDKvHw1kS~E0)wcdDAe(T9~ zGe*r`qmW?^3h-=1TIdpP%bZp;$NGMJTM9}4$EfL2zR9Ei4h)(A-&+`u8_KroB*j0R0N_<(%rrFPM0k!cW->=FlWumGmz-bD1UEYeW*Phby-*}4dXt~LIzr;aEaNR2ufr0|bKq%Ug{v@g`ge7OLF*M{)}xSZ_rrF6 zvQMExX91&A5iX&^OcO9q_tE`jxUs`W3YPPVfnRFCfJ%9$ojC(KMSQ;(PDGgB3ZM#a z6ujnALHss+6ms!0bz9EsyVOUN1X8Vl3Hwp5N_&^{CN2-LfubqFSlc4-J|ZL1X$5cL zJwe%9SVQ6iAnpLVkYEh{0n~-2ui%ZG)-MyJaM^%DNX3tGYr3}ruK#ZoyAtxgKmDv(wW!w`>!uFE3Cdj~&qz2#*^+b4j)~k^i7^>v?d= zPLRfpqVQ z4zT#;;f0%e()KMpu)=kGiO?9S2isUrf02jXmVFAtInkFb@Z~YhR)l}>m8q@pDl5{@ zTlv_i62Pp$Y+vtUAxIwpkpn~S<6Bt9Nz36Syu$T2lOG-}1bgK!)!W9aM4ZA9%6r`w zjDN)#=Ai#9tan<+SUY^Zx0--cL$=Dw2Gg2t+{1Bg;ZbAh+&1p1JGdUpHkBNK^P0X= zVW6}($BcP|lD`08F#MKIXCzRH6l0`nLu40S~ZmtoX?JAds_QVca% z9m->wGSo;hR9EV;gAYX3(fJ*`EAveY*a`ELKe$aJcj1nx51DuI{yr1aifr)s!W-O~ zM(*Zo>?06L6p<7iO~1f{DRB?Cv(H72lgQ`N(FhwWPa3<2ui&{vu6y~m+9e=23LS>I zkTV4iLpDT8p>~+U_c3#6%wT^y}rY3DDD6cbnCpQ z2-?lWNy2OW2LS$bHl07fhlo$Yrt$FBk+ZpGPCQF69$kWMhfZyrCB%m|r3OT9V(&h9 z!O&PQ!8pcFxQur4++9Mt;nSC493A7JyG`S4kU8GewDBPN&*@-|w-ipL@v018BuV4d zi_L=zkB0& z_$mptI>LuCWWXJPzlIEm-+3lJq;U3kTxoy2LLYzUL-~s{bTplpTl|O@qo0p*ZJnB1 zzTs9X&KEbHN)m&3>k{X0JtA58hi11yIW+c09GdqFA!dfX0_o4u^`pEWzaCDJ$9NNd z^kaIG$QR*bnY}C;%5WnFujGEK^rh#A!#EN@({zfJX5ng^IS1CK8BIWVahOC1PF#!0 zItsjiJ-Lxi6E48T!OIR8aLwkHF2Ew}9|)^WgncRG1+P&|AdS$-o{P9wK}z98-iF)b z<7_!Rl*V7e{oxAQeF+u;(nc=xmi$SYG6+onjhA_S`=1~m)v+EgvkJByD8>p#Cf3c5#y2e}cU-nV?v)rGaUE|UA z{=%v<&h))P3(g_Yukm$c*&+SvI`3A#nPR`WG)Ezv$>Dm_cHb+?+H>T$r>O1?M3Uh3 z-9V07C~dicz(Ps7aswt9vQcmH!)QBp6GUxHR=0S6{&+VHxrIlN;1-X!Z?{`r(Qq2^ z0`@hMJ3H8AYViGXyoszd#rY0TFm?;4jNMi))O?MV4L!=RvZgM#xqsP%e|*b3mUDE+ zpZbVg?ab!_C-D{*OsAE!>NY09wZd%#)XP$hJMgml(D*yJ>BM`fcX&&-jVj#59_&c# zaTorX{h{rJ2yo~gIy7B;9}rscmtWmRlkfBA_U5fB!ac-x*5+Hb($GH(GQ&`M_yEzE z@)VTCjtjLBUqx74dPu$8g0)(1XWd6*sE&1S<2>OuG35OaGO;p5m$u-y3?0 zi;PON`6=u;HnOkvH@F0WIYo>`g{{xXF{(CX*7PQkn{u!v{W zP39pA^7dO+sif1>&dWGe;w(Z(JbM9|n6r|)%RGYbQ_4`hj=^p0$FIzX7bZjLW&%D^ zsRLp#`l!?`1drxF<91Zn3`$*JK@-iqDWADQ8O$MJg{434PlCFI3Fmya5<08wc;xvb46@5EN4*;no!rp}KzxDf6;L z+Ye?HYX35!NdGI(3$@=b+Wt;1*j_1?b+k$=}Z1o*%{*zeQ^Zo^A|0?<{*4@^O6D#zVsFMpIQQ-`A~|cjJj8N$ZAZOyBY@zz*^238nc6H!C=nKa2nLz!cT0F;3?t z%J~CYTOnS_&1M7u=0z7tYZ1SSpwQ?(E@zx zdG4Y;Rv~=gEV}ZY`;ZN@(({~U)SOuj5Ne-UO~5Olq1>th|G(nS2EM2A|NozT&iQDV znQUwf!(>7x!-Q-#nfoas#NoIWZi88y|H6^zy_V?)$a?J8niXq!DH!gMWM5Fu6zT|=oR+XjSE z&HJa?*1y8J>u4dZvJoP?%U3oM-FXk#7rt978|~bKAF!>%!mtk3!pJZq(>?rtTT`J5 zX)0)8cohoTrp{NPrh6sM9&J_VEssszdo8(anQSLKC_-N?L{>#`X<>p08}GBt-Vot- zEz}A}xID?$Ocr6C7T!VNBoILjFHW@e4@RJWMhgWIMi=*Q2`ai84~=}7VOu;=4U31g zaK4&xkNejNYHJ0fxtd$uXzgAy!8R+bj#;7>T1QgQDK#;QDlV4zV|M&&iPOo#w~Hdd z$#Hh-Wg^Vc!gnIvpoQcb2p^5L%~pw!sf8azXrzVPY9jD-uK##=N`&cJxFABT7P>~` z0G%9dwBewdt`b z0`=5ywaK)$9q&~K+c!trxoi+2LkpG&QChe&2I18aw%KM8#%RH;ix94b0SIgWm{pe^ z8!_CrE?*CW%34UTM}Isv%(L)E!)&vj^)Y*Es4cu8!Xzz}h)`1ty<-s$-D8`* zgdmG*u@qNLb9Xhs;J^^uAV-8zTDayqgeqDXgutUR$qi|b?Ghhq$3q$t=biY5WVwB? zoy%@G_aH4)iK7M|53+0ULL4=iFvxGVvJqC1c3kxp;o#kN`Yj^ds|C;X2vxN(5J4Ve zxt`7$E>KTZXbcr<$A=Ji=MAuP*(pN07AiMED6fSPBD~VyHrpq{09&YZ+Qlky^gD7H z=~<)dHsz@P=`MRFn9`J);K{q}M8}$vC`Aj6Z=i+;`q?$izkwR|>1UhOXogv7Ut5?c z!g?(n79mXwb>b0zz0)?kUxa71@U945wGi8!DfJC?zIk9u-PN2amC2>KJ-IZeHSWEU z1Y3IBSsfIiuNER(Ah@(JL4=KW*k*5taJv?2B^cG+mu^(85{wbFI|ubeYFtT3c;m?2_kGv(*=oeyB2D-M!4M5)=U;*ofh6fU=~Z1S*(Yx ze=rgKGg>GRAyo?v+aR3pZks(M!V_Bfu#J%!^o!bh6W&g}$w-u2!kef-N1M97Ew<;n z+6iZgptNv8gd{CAYlm>Ai)}VngvYh;nFwvQkkB6CbZ6Ua0fL;O+f##9nrm}224AGw z23aD^)55nRG}pq-9S}b0WSgz%z`*L$$sSnOCo!gC$xh6d|#rnia}rMw?rh-6$b2l7k-1D&>5SJWQ>g)48+ImxuiM)h zJl2^E7Hi>@2(7h{*ae}moo%*6g!x+drVCzu)7I9^?@CP;v}Lz>+U}dK#*OX-t!dkh zH2&S1jXv(VH`(TAglwjTr0xhO+SnQ;!YnPE>u&J$dtSvJ#^*uqp{?y1#*;=-m0R29 z>1mknY-J01A`H<&XfK2cS{RNX*BZU3|6Yl6l=d=ayFW^>N6m)YnIf3+Z#SNGzum&l z?fE+>XM!!P>`j|SsL0+%f7vwIe<7-R)24IPo4t)>Bjv^t)%|g!rAq2!1j|0IeT-G^ z@2jY<`WVyQ=i=qMw}4+;oA)(38poTJs8f#`kt*#YZgW@nK9yP_M#s3WWBL;4#nQ(9qm#VzagvcwqUWS6ihPf-OYdkbw@bRk52(w~8M zoBE}{(VQEfMgxpGJP_P@fYG>I+|NFX-wUS=Fvc0f8<(iCO-3zs%|K(k`=jgC?jR#t zSp$q<_2fX~-obBHkRO`)5J4G#3eL!{W&BWc=1Cg(ky8J!IT2@a{eu2M8|@r^apq2N z=>ni~$D_%;~0{%8vSiGr#39l3#MNb6LJATH$0nABOch*=$*H8T~t3 z-#;4^ocZ7&^c}y`nytGUw!O+4V?xFYQ#(V~rl(wF_OY?_VhzaM@9%TFetg9i43AI@o4Tw)~T@QBKzTBCO$LLz&-- z{`p&=G<9aI5qs-_-(_9H_EN)*PIk>+*kw*Ob}KB4RpX2Z??|Vz8q;M_FDEr{UE63S#JdrsQ0v6I~@ zZ5ZKX>lDCRzc}jHm>nvL&N$iVr`~}6z)4^GGVDGTmVt-sol28W`tUHlBmdx|u+yDv z^lsSUPImF9usxk@lQpnyoNV-F?iP#cJL#&qu$5H4c=*djhc8n%pgiSd!#;q0$H~r> zF52#7Z;}<}XPoSh(#!LmY||(aATLO%ZL`vL>u2HXQp9t^j_msE|U}I`ST8Eo|IGXr%v`QY0KB0><`Of zUv{z~(psyXZ1nL>(2qFjRWjU}hVRG2zD{MXObf|QwzEvQjh$@j>#z|{_O_+4R{~2*LcXjX`)k^D_1A=oUDKP4^aojql@1=D)Eq3^G3SuAZ7?_~33rmEp&ljU~J zbh7JZqB{4TDx5*Lo%qgC;}ALjzv^Uvlyl@JRd*(hw9=`Jl}5^Rvc_Yu_d3}rGIjKJ zvfs&caI;!M_TD(B@}wM!*E-q7hhTkY9Nu4$)5JGU_DeaD6*yT_j^f=;HhPXs@9UiO z_i~0`tU5eIH%@gb)8wpokCR<4-N=O+N&2^PDzB4njB&C9jen>9VoZ9tr^u6L_6XodRLd{Dz&UGpul~&4dvaie0*Wby0CP!b2lf6}rJ}%VA zJ|)tr+#pAv+sPJ6Bc1)$QMX@Ywmkl=y5u#MyYtJbA09F4=DnP0T;rBU`yS?(*_%v1 zsaif_JSf|cKf)pvt6h&6cNi6o64h>=(Ljx!&9crrZrhNb!#!%_Y@<7`T>dhf9DWP3 z6;tLIZCMiEI)^nI9;=wc?+KS(_Cp(dF`}nzbT`)+BVXcr)ab`=OE=A9mHWj%6jU=|cN6{lFJa7IyV@Xg@a9-47#!h$ghJySicBwm>~O07&sXR_b?TqJK!3a* zU{%;+qb19;w=Fi>_vjp811rXr$ZMDE^K&NlCsH+X>TCT9Th+OUv@Okql~(!x;<{R@voQiil1;iJMz*}Be8<48>Yu=vr<9%b_%J$0f zH(uOU8gIo;AMeJc5aY?RRV?wII;Y01GH#LQBUc$I<@<5v;%_)rC@Zd(tcKQ5Emj*B z<>~Avj5YGJ#}jy(ta?0YBv$;ry{zw5&nJy`?7p+`Nh39As`~IrtXimnYsy-k|4!Y# z1}nbJxyIdEalQvHoP2As}kqT5(nI5B}n)j43m4^(1o@TDv@s^`WLu3$T zJK0njM2|UH7e`dlWGB0gPLT^dvTvR0RK8Z~zg^nN)9`_3!Vhiqw_&Z9Xu055xRCs6 ztJ?FlaY%ao8RM(!qu+G6$k)EO+E&xDjr(L~$~IEmHNH^?)&+k2>AlvN!sA76uQjFy zS6~@8bwRj)q}EZRpJk$9+If}%$6$HR7+ihKAxG}1k~^;yJZB`kzt2&7o-?9CQcK9i ze(Pt7DtylPOrDWiXWSb8&Z}3Z{(dcQ4@Eq0^sIN`Wok84e-J+KC7$P4B-Qy8yr51! zM~|#|o{`FLWY1HJxKmP#2)mbVd%^fvevw>nv}tl*{*}d?8IF_uYBj*Yf4`KMFXyah zM6qA@28Q{3mAk=cBCkShFg{>w>+Ktjq4N0ki^jyDTk;mX$d41e?7Z$J9uVuGLN^&~ zV_B>Q@#BkRu!(`Q?h{pc6K>{jGS=1|v)kduVsYb--{uS`aK$kF75$Ja!?9%?2D?lc-j|Cd&Snivvqj0|&AV~k=Cdn5n}8Ob-=W66VqDjL z*D;^v-?qU2dN41kEss4xZhH5FCq)~H{D(IG4=oRbze0C%oCqYVkZndSZ+(&kwk~Yn zYOdeu)&k_rjOOxhyi`>3fjB$c&+sZ_s5YQYrIObm`rkHwGwBkHt7yw-V&4ASIhx1j zE8>#pVbL$P^>5Az^161hQX-kWrVX;iV7zUxUNZ1MqsoT~w0?u=dx)N|RmbhhL?rc0 z(JqL12qDSlzM1c*K2wfqHj4zn%ZK!?>Pb?Eynf1TgS zasRTay^CkjTB?4#I2Uj}+-3A~7kr{hcNtB3OyW?IUD3Zg*I3-@i9#P+i@ctE zF(uY?SDrJ57h$_e*HZ4wGyWJHFA=xr5Z<3IVq3DkMrU{9xA_nRPpzix<6Ov-bo+Rq zm0v0M8I#`wjUv)cXDWI?dj@fcu*b zD(7`0JbL>@4)u37I3@3bn=Oz>9AGkiN);S18nDyH#RHtk_##I>Cmw2d zkQL?@YT7{~CHdS6=Bd{9`=Zaz#g#?vCp^k<`ew0D?^FGvfXXj0B6!QH#+$}|!1-|nmZw42APqE3Bcib;;=oWpxUlqJ*gjb6ryKd|=6-lAw`G)u$zE4d&V$`dd zPiFpY8L&^-i_g5L=lA)6{eGX_1$$JF!$xG-3u~`%TB-XF8@G6S+ibwoj^vQSE4tn0 zm*PMQyEC_dVUJw);`t_Z=v0$EYJ=yui!F-2GF_!VrMtYxUy)W)k0tondFVr?YLwezQ?ZP&Ey`a<11Wh>}Nv^e;t3`YxheJ_1;@X zR9LK?cc3!t7XFseqROdf{3Qn1_jjvyZyPnL?SKvx7--aIcl!&h)C1=O1-`1DeA|fg zo)HSinQJC98P5N~f37LIWtVjNxdSp%iW=A@1;#}+T$O#|`CK-MX}|-rsbrD$^cDUT zlSAszz5X+bG*F?fZs*@V>5ZbJsIA;sb^j5gR?V5@81U;nv-EzhX8aA2u*YtQMJnqZ z8e-^`Mf6s?-Z7em9+IXLN5!Q)b@3geGZ&aiM~s>gTc7%KV?3oYju`dFb{79+-wzV) zW1`2e{c@5na)~p)w+Po5c8lC4Cj(9xi3|1=`^$R6-dCA9?gBPDfLkSG7b45=fELa|!Np*F{ zF7RK|`7JX=$)T+^6V;l37!9Jn7mxjeO&XcNr6$lW@~LN&GOPV##KeTW<}?=`$yvSogh;eJW>eV++zPN`F!5gOEgVU zExUZ0#qU)pZ)+O2q>UlN{mEEMCk;YKUU0Km8&_Jd3zQ{h;zaTSnOD9kTCmD)L!Ijk zwe+YFgM;28s(?!GH0mf?;BOs{GEPBvYY>dzneJg{_uejRmJ3*%r4pA5kKdssAER6Y+f9jlJbFBTPw zfeh^{XVf;>{yw8d+r9*5)Jjt44BhB#HvFLx)p#!1=p*jaqDce zd&A3q2fe+eVtT+I-hzXXEThT0zU`We14YB^+yZ6y5x*7!7zoXE|Z`7>g)QsUnCl4PMGj{lh$uXmbj2{+r-{@h(VeF@&ATA@Am>7<$15-UD*N? zNtj5>2v*UV^g~W1oJ9_~N;q;A?rL_zdH+iBpYVJCg96Lu+pThm*V;s4B31*P$r^AW zA?I3}ivDzltiRx$cK@C%{eP80%5rIcv%n?6C`I`m$a4?#*f*)&Vmm|+6>?B-*a|Tz$pE&QIjGT%78@c!|9Qh+p>Hn*E zI+cX;2!fS#CL6$2gyqyC`YK_@Rk*9!UBP+(P9mLV?B7f~kaRwRptofplWI&RgiF_z zSiucTtU_?AMv0dVJO6?&Yx8f$y;o%HOjMu?D*l@V7HG!>4>zI`l8+82kViFa_6KoE zD*_l7$Fxf*AQTglNU&3V7Hw`*Ikn6v^;s>mx;MTF%|#F_8+USL<+65xbbk}QR}@}0 zlR$xjM+kcfn;P4}r!k~yiPa9ipcSn^5WZU(dyyrra1s|=36f6uO^rExB-70#E?a)Mqm;}u^MdM{^@CJgJ#(kr!1({#O&LFWT*lbp(-3oRQiID)V0LQ zC%C$48BFR|+w$m#h<{3;2pVn@MOwb7Nh znl7IFi&N>3t0^=5N{0?EGtU!i-r@F+9K<}__v)d+-B;)T%DyZ=H{DKq-Qa(j2j}F! zDE$8i-vOs`sBi&JeFpw=H~$t>%ZmeTFFhKsR``0Y+dQDeYDxS<@L_`34$@dQ-G=@g z&s*7YZv4a&t9!=(S@8Z}7EamB+y95Px4L`(@0#9Uaqs_W?K7CS0}hO0Al^e5NSI8R zM!1uZM(9FFA>2$zB-}`7Lb#3)L#ROrCxjA$32uUqmc2+Y$8$S8uEd&HCY&XH+Aq`p z$F$;58H2LM|0*6%=DDO>_czk|^Y#ASgpPE}k<-{x$j7!p;Sbp;@j&=(Mu}Bz`X6$D z_XZ;Wzi}dkzcZ6=B-}{27l$g(p#O7Gd?^aN-AH!`mJMw+SD}oq0W};#C~Noc#+zi8 zO;;wa2wExY|x!1O-B090J9=+N%TKjHx{7p@6*A>iIsf9OvVe@Lfmvbw~IEt59D z2lDtU^!}CNf8sY$@ZK`v!b+Nz&_tue10kRjEF0&FD6hp0=3CczV~=xH_n{pYmWd0O z@DZ1#aK2AD&K$Zxn*RnV+iRWG8DF5llPCUgMq~*I=p~%SiOC;xjD5oWFOHdT62t+M zbPM7CCugEb7k!GEt}qZ7g?|WkJOyP6Mok3EgiT*^EsUH1N*d7#p1vZ(Kj-JnzpT96 zOX5S{QPXd(9@d<(`Nem)xoIODBClxBB+M?N zyS}FXeP1)ct`gQ^ApD~muV(Y#bM*h!GTDUJy|q)biC@j;f8zFvFj)yDkR>-KR! zajC=#yUf+>ubh;AV^dn>ei8>)f%Cw0!e(r93Bw4J33~~%2@46m3ClIE1J4sq5Oxv{ z6ACpJX-;?om+V9imQY#3I>Jf9S%QxcQc3`qOPr8Ps7^>HxCk+XG>u7`6JA0*VJzt< z6J`?@5|$Iz5poGBgx;lcJ|QxYaLFpMrm#Ewbi$j2l|iL`?rkuNXI#1wrW0b(Me}LF zZbqp!kg$m`+bp%#5SsAGgBgTe!dXHHx-OxmRu=YG3;A9Y1%$9`O09W>#9$07lv*yn z3X(y{2`ROb%9mP&U?z6?glueD@(GVVgfv1|LPtUeLK{MLLVb;KU=H8mm`8{wNIZ#< zLFh;D=96(g5y5P*Bih#w{d6Tbu&5nO~g zWWhvmFW+h#7D+3C67NPlA+pqKMH86;5u$MuaTg!*i6Nx&NgjzO5>61$C&UrLkOhkg z?-D;o$R(^Jn0z`&@Q~(&mki-cJc_U%rfKsbn|NlHZ_~&%qzm?J7Dg5eb zy#KluBmV5Mbq8Eh8NMm;8fE0G6?Bb5e?hn2sW2V+hsHbd#&t5cdAx=F7zlS!5FwlR ze-lQL#|c6=^6`~HiAPhegb*Fh!V$cFW2s3Kf{=Jn@%Lop#S^LU`BbE3FI-mHo&YBEP3T7aq%LGHxSWuSBPTb~C4@j;Yp`wdydBo% zkPgRBV)tE~Wxf6mmHMdEs(YZ+`r3Q4)LQ#`srATFrpsNWR;R*JtI}J{<$UpL^xjgd z=_h<6?A221oqsUr?m+hwj-29@`A_t3bM`9cko%Ap__ow~eP5}y^*o6ex{-k7wP{!)OM(^)ViKpY{9$g)Zz=5WqnG`2me@V zsn<%a0l#wYc(2qthu0(WO08))@c5UdR#hCRPIFelfw{*^tqRokzWr1H2U^pzduXkn zXod1P@FA_xh04B4E6l)w)nAlaBY&p<2OloAwqGu_{y{6;{ym9kh2}Wm{kYUJXwJ4Y z|K>}jRxP^V@vkX_ZZL63(E|H_W>%vGDpT_Xw7@C)^fAKo)V>E{47Cp@?4Tl_(8WDz zfj8;qQ8@fGEpV-uCK^Tyq~qZS$4affv_L-n9zu)ErUm-rKoTu*FEy=43n*HkGA+=G z8n&ec!f+s;aWIGqG@}K!F)pHMfln;X%b#*FLBVTifjgNWleE;6|K^q6LP~Ri7QF|Ibj19XPO-zG*@e zEvDbDr3E(96%A;SV!V8uE;vKMlj(xvI5mVWh{Tz5w9K{Ce*8XK1Sh{>@bza@@1uow z?B+5m!SaXlEp4>49N=rU^xBF5;l!#sp_Bi2<%Xm;TiGE(V?~XA-iy$vEOC{1ovUzx zO#dBhLHbKQEi3LS!7Jpvt0=B!{J+JODbIU_SJ^mHsGZ3N*Y&cj=(MYc@PDEEt2BS+ z>Hj~ISLgn!z+pHtTRW2g=HFvkhlg5LSo)ts8eG4@mUR*Q9t?{hl0MuvOdDZi>X5u= z?=(L#y#*I8TLnBSnRD^7wV}GpwGS++;c^`S(`&k12f=yZYhVueI(Pzn6O6gV<*NA0 zWhPDg9%_U*bR&c_gTZhG;ju( z0WJq~zu~uFN85Bda?8GIZqF}L`vHDD%q2+Y2fF#~3KQ^=UZ zr2y;(rgijLqeKSNYEkfQ^gS2`P6d-v8H6JD#xXGeP6lml_`akEGy3BQ7&DBfuY+U5 zNe_mN_gRO*!VJ15hCw-z!3uhFh$Ijx2D^drlSlw&fV06IFkAHCVKC-C3I@}_kh<7` zabVbFS_aGqGljpO!3k!AC&Bco*wrIFkDK-bGr){`9RE2pXo31j;?fsL#r|4hQD>c#4P`f$?D2d@3L^@Au?@SqnL=<6JJ+A|@U%2h0T1 z7n6_hOR0Dxj{ods)UXj5E~jRoYb7sX=Cho=VcV=+Qbajgq8wlfH9kC zaxi-vW2PxBmB&$Y1NyxjZeZ3yj{9af{yKv(p8Vdz@#e@!IPASQ;`zIH0;V6ub1?IL z1_u~(j2W#3W8p(G29u66ctrk~8Ykf3CyWU&>`N-p5h(DgMf(TaS)sbCm8D-?)a zL`$@$oPTn(fbo|({^JwLh{y~usf0cTv%n%S8}xzsU|1U*3S#{YOae2&jB>0W z;Jb;Mhp@;8rib#N0hkFc2MfSWq6hQAjLNJsie4VhydVY;!EGrZj0I#cttJJ4`QSn@ zy%wvDU}5bNE3zFmti$p>7!Rg`8Q?%L3(NqsZ(_+4Om9m;q6aU4`CwRkTBIGTu3$zx zFYBj73fi*-2`1gl8Y)-_t`oik3Bl|n65I?XQ$sN9R%!+of(2mAZ8+Wm$M1v(WA370 z&^3UTNuq@Z;ux4Y7{>&M!YAXPcN7H^37g8AFsIY_X%q}*KZ<-S4lN=huy`>Aq~P&t z7Gpuzv(&sJ89Yx5fyJ9}@HPtG%eIM41fjT2{8T(x}qD$e-@F{ZWIh=f-zsQzzgQHls>RK8U0LO_rT+e ztPq1SzcGlw3?CWvBx6>OW5Emy$H8nD3rwIZh}&l2-Q4M<&%V5(RWfHk=|f>EHwrTucL;-gGFH2 z^)zK)9BE7q`_cC|P#{>)j1~doZ-l>#mPuei2`p|&7l_=h)Ee8Lg27c_eiHY2U`z^K zFo5z>xHn5Bl6f0_vJKI4N)SnwpFk=9YfyH;z!eGH5FE@mP@oXqJ>|oMp*2@LQa`Tr? z!WAs?gT*Up5in*oO+ExUmfIaLo}0aP_t5mWTGm1^y`yCn2&P(A_)sd+g==vzqnl+d z2Mc&LzYxs7lk5Lsq>H`FvIY_$M z54xl}ixjUWjx=v&FO%&f%{uMdm0q?Uq&WEtBOD`afRniV2^JC7!9@wdpKv}xj;b=s ztlEAPs#xLq6IE=G%XJv8v7fQIM7Yy%RmyODlhjqLhDa76)@3WAjA}BfNVu|I%!3Pu zt69cw4P1=cN*0ZppsHI&bqG}|Tm{X^iTeaxiu&g$vvI^>R28)<0gQCJT!&QC(Prx) zpBg^eY#0&i@?BxE5Q`YKRxA?L$D_@f?FW{z5Kk{)(GTtxov(1ghRd}aj)TDe7tQ}@ zxI)$ZUb7CJ(d%Bbswdjb)u39s#0*z6k@-f>(tB}oHZ&8K|4&+YFA4M2(R=B|6Y5ui zVpVqxzQ!3otGqUh1XE4ALESyZtQnN59t5IhU=br0DWPElLW5o5L|0)oTWua=R*zbP z+TVJp2Ws_U)Vb<2Q6E8FRj2NXS{m~b>SLkWvp3MrHwUXg7}2%ShKaK zpUK6zTDlQBf2^6n``bT{HQTbab@OpJwoY{iB2IXG)^(CKe=&qnDRh2ct3=TT1R*NQAy*mLn zvefwrc%P!0W+26=UKu1#QR4*qsreaZGxkH@m0|W|OQ7--feq@eiDolTWHqkVRF%c# znmy5sEq4<6F;flNz+>89O*C7&Bl&#zB=hEoe$hTFRD9)6hGaj+XKyublG(b}8dPnC z?;INTh%l7UydJpA6>> zIB3@QSId!skIN1)mioW zgXWl^9Myc9Ig*Ka^)z%T>a%I)(4ZuhJl$*?aV(8XYbl058L=}sVmX+mGujy9)8&}$ z<+E-Ub&t@P2^;}3wH(Ikkos&oQ_E>pg0VaJc2#4Bc^v~bc?M|{)ZH`8hPB$=?z5-! zWEoI>No|+1kXblMtrg2dYTpdAttasgpY?(oGKb+CHq(q_6t$U&cCYF)lb()OYiBZq zn3QJv&oF0Zng`gtY2!owqv7L+m>iZJ5{5H&Av3utcU5a4Qk`Veg|HE*c|GK8|t$* zOE!G+^bzwG+Gf!s80}TtAE8O()US`=!ZJtf5Us6$X&<#^}&oKvcbngS) z<~UV*t~tWfZVK<=sr{CMPWRChmSZYv+cQC!HaCTEI0)b89Gv%KoCz#La;FBxn?8MDG?eIm+w z>eB`0Lv?Qto!TWdGw9aPd4#N>uAv#O3z&{=K$r4Hak!yA-^8fzK8?Z_Ei~Wp3}fCM zrS4wDB(;j@F|~A&`G6<9A&0rDw3rDzjp#zvd9m54{2HQ#+0xeMS5n}f#b$HQCAb82 zeleXK$EcsI>Mk)ydX^Jir4}tQZ>?~WX#5L4tIsv6$14TRkK#mGPy)osjWo4r-`2UfaMdNJ;$o+65MGx?!^43GIvsFu(%S&3>(dDeBgpf z4(?dEIJik-%Yi%B-6=H5JuEaV*-n#!ejfT@(eo$y^n;U)M(~v}r^&I9`H=oX;nE11 za6UD2C5PrQqU@!&(yU&tm}rwib#A5E#gi1zETq~ivvt%AqWLTy1g;3BMpWHa&^svJFVudGMh#1B^qY2Mx@UO;%oujK=tk_vwFR= zL~~pv)@n(b5}NLw&Fr6A(cinlH!{M5RJqkuzaQ~qs?TcrbRN;kYR+o2p(mGUs@l5R z?BKcNXMbL8wl0^@f-66dy737rmPwq3eZsuYbBSoK`uPd7lP4uXhII0i%&@bGo=~%% zWC$JevqzuAAf_dQP1Ras4))9@+E2||16x4!ta^8ixh>+E+{;#q_{`r}!m3u{--@Tq zF%^PYqnX{h#2Q*jJ^i>Dtsa_UUZa{mZ4Rxl3eB*T5^JeP)y_t<<7soQCnZtxPkx3Y zK9lGXHS-x$d7|6M6@FB63dY#zvsyj>hi(mt6$fejmtIRQYU`2y8c;n zyeFIZK=stK=HPN>J4VZW>}Y3R?@1s&Pc?rIKMRP?Q13oRzqr~te5x2I1dG`m*I zFxv^20JpFVcLXj6ZbTVQmTy9qvNlm>yj_4xRp(zYt9!zdq(+t2GkDq&EmjlPn=Q&s zCK|a+-L&4k(X)wolG+IEIZbqwImTi#D3K zmOnu>b_0*q+h+`aua|5z>v&>sl@6}^qS-ZSvP4WCYEF<5+poywy`c)TiEk zk;BGBb%{kE?soluz4;#rm!cwGGVkza5FPkRi8WZOrG;k0ZGa2hiU_v~ZXH~WGIpEb zavXN~aGT)#m$}$V+GB7h9BGT-PQSwPU-dE>`XGxjEX##4yZPYa%GkxiMQ*#&nMAl) zxX?0o-QZ&2$kzWS&ZNT)gtN=wGE~UPkfR_2Q;%@-;MV!W~isOFq;$;U8DZFg+Uj>beqrSgq#oi5sf{p?tIz2&NG|%JT>cOvuDJbXRo|} zC_=Sdef=^=ZWya~XH}&f^A67_qKDM*9J6Qny+qUA=9MMYT<(|(a?F^zm*8^Y{GIKe zrTh6WEt%F_;k40CRb?xqx*O4A)p@JgtXwA1Chw?+wleN_5?`*iZ)IBX5oI>m%Dqow zS1zs!{uoq;$*UWj3ocwndR3MFikVYBl2cso_gU;z=l5|<)qI=Tw!&n%$Pak=#86wt znst@hW_I=zLFTHjx0$WW$989)WI(O})nyZLTE-tZJtGhRtHPp79W>nNMxT!yt zSQO{~OX7bK94)ic>=4!Dc6#?h$?tbM>8O+7#;W$aI3=wkxV;ezsKxQ zA+Zm&Y{io$Zt1-G>h8UiHXHJinzh&bz%%ep8AW&PW4L4!J*%GD$L(z~(U4Q>+&=SW zPeNb+Sz2TWRd2F;wGVjny^Q&{$RD zts0wYyjkOfGlsvMUt;a@hT8l+t~%P_tXB9mcG3K4EqkeDV zI%4LvxlfDRHNL6wlt!P%WS{Nlu4`>SBh>jLECMB~A@6b{k@l_`#>Ruh8wRDRt>2gp zRoJ`SoN9Hk#HZ#({ez|s8n5QR&kgv!d2hXMep@xDe;($Kx`ReYviQ8wXUqeh&iTqd zSEt+H-y78J3T4&SCdT{Q%;owJQTQy)uh#r|&9k=p19#>zPuj_jXmxeBovc``6?L&J zTkmo)j(^7H+d<3UNUhFLLB*&ua&7f-oqD!br>W+m&J-W{8(PT^u02{^ zpoWM#|AMWa!&sHSLaokLOHp@@xxsGk`nJ|pqSdaQcCxpS<*x?4BMnio+vb0=d&|{G z^Ev7~*>R6t{yZxIS*i^Xm8LVVX6NBrrj3i$tn;{*^qrm8eHCo|9<8Q>C6gR=3UJ2^ zQP=)x-WHW}kL}84omp2L7mw1_#2?8lO_o6U3)AWcv^rm{6?JhZTOF;{8?`z~9sQ9) z!X_*CPv#ABkN*?aF*>tYZQa4ck3?imn~FL|XBN1`*@&5_v(!>iXJ~a*oq8tq5_MYM z!Jo_t?jUaPFPhJ&$Y0DbRd~@%RH?t1kwKl+kY8xQK7Q~HzQ(RyVL!W#0@a$J`C`pq z8z@8bVRzZ~y(m-u7QqL(YVbS*Rggcs8C=V>ea1lBKH%$9@TQBs#(y!ZG~c9+ibvQ+ zDK@y?(|pn>n_y>k{~wF{QiT#5u2Hit(HfBqJnT#N+`J8Gt|ETuAo95%|*}OjTTz9D|zf#&T)IqK&SK-fgMRj#u52<9--i11Kn9lVn z+i_R6=8LP^xyk`7e=li1DcUCDwD&tTpHa)^_vmuof|trp)s;o`{~aeH&D!^pS*84! zIx!1|_;hVydpmL9D6xW7jo-}Ljq)`guJZ^jFL_6}vOlx!IrIDfqScV!%sN%FwRx1L zuUAWdqsA>sx@FReSx;mUvC?>)efE3ylbP)x7H&* zaI|IJDUNzwt|~gCUvz?`O?HC7g-{67kF-#h=8tLnnwrnpY}?n@d~@_{9d=jotn=nwlkWg z`Ei=hUvJwF)`#0nc$F))OnM-VbobKyw znlFCZ=J#obPH8?V)8-Sj{W*AXD5k&N_VLVb6S_vhn^Mto$LkABzZ|Eqo4hMHLRnF6lYuaB$N>g`TgDz981)|cX*#$JvReF(=z2v}k zVX&t1nRD$lZo49`Ooo|c88b~ysz6&7tD_bCew?X*AK5CZBEDy+Ar+Bm z=Zc=e&0Rz6ENbgwcSYD)r1!J={x-OdXg){P4e@8$CWK6q)aVe;lBmL)Y^%V+)P0;O z#gBYdrIM#p4Oc6>nfh>5B7a-7I;N$XRLOILJEpmMwvy*Ie$+Wr$@VkU(<~}}kezAZ z8g5*5JJTdJB$T$#zt_$*Z~~WSLhUjShT>qh`Z(0{01o!5jFhHESN1F^pC4nV`9uYU zdE}@1Mq&OzG%*aDVl_X^-_U2mJU`Tkaa1W5HzfPC^XkVc_*$UaT#J)QZ`e)mzv-lE zPinIaH48QUwDnrg4^c7cc2#iE|2L~aUfm=g#!hubGWBj^O!NVlO45j6lW-Z zr|Jp^CiRw@k5?PRIU;gYuLw%aQL`ebOo3V*L6%AC6ySCpSJzkb406W|Qjb;h)DG&Q zHdga=aA*IZzN^Lo%D|}ZIS`eluUNb3f?r`wNWmHEe06fpP<128IYYIHq~bZ{?JBLX zopn{IV;iUE&5HE&4B`^{XcR{^!`EGd=1NzcYj~F6*2gt)izBQiIcBO}HT_PmMv4l1 z#cs+k?2KJw>e@L{hnnK_FWltwVirHpX*6>RXqlE6i(CSE^8`?y5(Yp&BZ$vace z)9;$RzSnz>^Ke2lPk2!4ye7>&DRqLTsEIv1&B{+bZYSZ_-5%tZrp^nSHo%^-(^R9L zp4L^0N7!NjPvlMP>G8TN$j8ofM?dAg#}?Vb+hr*`JF!C!r~wVS8T{{!-0 BG;06= delta 63578 zcmZr(cVJD)_kU-SkPy;)$O|C}k%ABJy?0jcmgrrgJkQhKa#*b1yC8(siPc%X zmtF1?#A264Ke~H(UCV8aD%9G?v>L5bb6a(VTI-muqIF(w zYx_d24Nc_XVbXfqI`u2m5@(9=@bDUu+iy&v)^4UA9v(ErG}a@`D=-&kNg)`M>9~hS zLbKe~O@&&0bL)2%st?JnKTxQCoXOwQ!^<_d^=zTmNK*^6*2- zT3eZRqjhO+>!(7kt4vQkJ!pCAzn+1D)|&i%JiPwQL*jnHZTe_x;p5@$RNhj1yHIOL zdDAqX1{81l&8H#tFgf{#QD0N6uLlh?b?`+^>T2K7R`iR>OM8@lPQ9aj7NApeF+a>tAJCjCdaC@=IS`+bGM2;@`RJhI`UC zVX43LoE~Ji)Q&WX`WH$MQ^*`oZO{aaq0dsnCt6BRl;&Pvb8-^(Pjp7NN2XqL>QmL! z&2v26XuRpf>IRfzvRl)>OvS^bnSLy(VS=H4K)4|$=;IZAe2_T^h&cGw*JzZ?L#E_4 zRUG#pl3*jZCID@%q8u`vSrhIuO09I5?hI&4!@5+vwRK5+=xJ)S?pB$B2W2ORl+Hq< zi8V9{ip3m3zkiC=HwZG{`IeKTR4~P@4<@Z?@OrJtIbfQ%zLa=;z_eq1Svq98wmyIs zn?9~DO`}cj8%k4qQ{)CeiZZp?5Fp;CnZ|D@BeK#=D>sx9SJF&JHk9?>nr4};737UN z)6&?F6N6&)ZG+6-*_g~=5*q`kk123tX=-R{fZt_I12>j+ez;%lH{ArF1j8h)Qo^)q zV^!xRxz$sEs9K$2dcLu{bNSqALmqS+Q~OO_T+;Sg21(3=e!kCic2gUdX1VpluoLPi zllGZbZ*()oZ}xGv&u#0RH&iXt@Xei^SMIe8_2^4(mrJHcoBOx~=2kDy8>#JHb)>;t zO1V5uwRAD$b#bz^?b+hvyfU|KOkO_>x22DBU~cv9&$+X-HMQH?)g^6@Wh5o9`uQGp zmIqsXoRf0fYUj1BH5J>|$+>85_3^ywYNpZKy1MXg%SikwcY-s!)seEdm3D5C+tw_v z%aqhg+Ybq9Z8Gm{N^MM0yO#PN+OGCb*$Ua7k2&Ll%s+$1^Of(G_XKTclyqP zNv0aR+qgX3W|=+id%eAB_3nu@*W|Zn4ox*}+oL6o>EfOlq&Kxr-69^ISh#lwg_?Hm zy-ZzAllKKuwbYIKzS>X?)4D_9WNW%{C{)~;Zn8NXN}Ekp4~NlMQ?J9}q%$o-jaTZa z!}Y9agQ@7TMAE0WJ{C!(Oe-V?Nsfs)lrz=e4k>kU5On%S%IMS$5K>gv^yb8K(xu)w znQm>reWZGDb^4Ran$%@yYY;g8#&1=rtf|!&3>rEAI{wn@nX)@oeOvg>W zw`xP;_}=m{CEY3u;qH5@yy?g-cS+e>Whl(_=~f_c)ZPxI(xzs&fAhFL!?J3(sdo~FAGRzpQicsNg7WmAbqi>Q%l?W20s!1Vl44DB}s zK0YP>T4Z|txK~``lGys>Q=nN^r!KLbW4pw5jqPUs)8T*BK8pNbwR+P}PpXl#>HL#b z^rLCe(_l!k#ZRZoJ$>d6ja&0s1#!Ehsn4^r)GBrMvrR-bO;!FZL+wm$|BS*8&HFQf ztW9_RtW6mv_vg!?1@=5IBbn@Z6$&ufz356KP5oZfrAX7J7p2MHl<{H!6*pB@Cdl1Y zYKr$pQ>Idl&YQ}Z6HLp@Zl)<_ABr_CH;=%^IllBD8&lBBxDr#F6Hn*|h+y6sIkd1zY7$>YLx`V5`aJW~L# z9BN>CpS6Tqtex|g+?zN59}vq-YyMhFt5a*g^RV&PHzG}fzMoz3Iv<0nbn4NMr>v=iDdlT5DwBHX>jqJzF-}K%V^iOp#YJ|O!q4W5 ztY|R#F8YzWP{~D?sSf#ZNumn0j&aBvQ+u9H6iDH`ov1w7@pYmIaVsgUs312%S}tWx zF*KRGTGQy#qh~>@e}a_Hh}VQ*ZBQx0bQ$qc_^DBT=J(bVPp!Fz4P}%l=Z8b;Q2%y< zp{5efC5m9)1)Nv}Gxg^rS;X@4B2=NI`>@<$V1OtG)2+I@-Rmfry%cExgA`- zcZkuVQ;<@VM--=-RGGgNrxT#k5qlcuQm2J_cE|m9c0)L}1R2PYFP5NaajhTQm!!^= z#QjUsK(bA{QIdue?PQ%JRVgtZIF8oprvKxRq7ct=q*`UX`s8P(AD|$TKRJ(dSEgp< z!u4McN|CCv5>V{E@k+gi1b+r>hRro&v~R3s!`3H5%Z?60<#vfxT-Jj`E2g*x#MJxveYpcU<&J5+HIh ziu!u9GKnv{(nROS9}0F^)kAji<#BH0Tx=M&OJ^9bRT}bQHwx_>r9RhE99PNuT8i$0 zEZbW8Debnqxyig?o`pK z`qzT!tme+Zro{c1D((+ZC}ViKJ2fd@;Y_a0Lo4}#JJl}s?6gE?qE<=gvK|!Xvjxuy zhRIrG>Mz);i5jn@O_@hg;i;_R!5&nvOcxzk03D}$LI{51A^cX==2YjXpZru+BAhHdeRX`FGa=B8---AJ>1xff?LiyX(3ei z<(6{E9f?!x0BxpWeuANPKtgg>G39-_q}C&y{8cIK>tQhx^{B$@fY(ZNYr0V)Stu3BMYH* zk;8qdX0e6GRj^cuM)&MK$Y~DxuhR?6uX5w6}KH6=0_E*#=jD#-LG6}4*%#!jT~duF0BJ>b%t?T z#bq&{_oD;{<*<}b^#g1Zq;ZF{p{0fn3sI>vBuP*>W4(B+7Q(m>Z`4vX$DJ?$V3Lh4 zsWXlbSDX&>Yb|L@Uj9k;kfIW!>|q~&D(#x=DK)lR3W`KyPn~p>!?}q+wV{{1)}QJL zk3;;zpQ4KYYLbXg)F{^Txk4FAblE>n>Vc6h6ZN0Lm$KtJ*26>k=P&Z5RVLKUl;ys?f*EvIzly5*^|SD0nK89I7vnXjp3zGR+Vo&u;2 z?<`M|r0}2R$&b#mO&~<#fkPOyRo#|M+Z?u zn#I$DDBQlfQRRUk5T_R(52A|kV{WUAI~GO6HRb7A*&f|ft!xY}9ob#})Spn=uS1Iz zo7MqJZLlf$%VB1BAOiMT#}UEwgYYu*qF@RYPR03jFqNfOYz~G6HHe)mz&1O?Ei0gM zG>@u4p-#F3IXRg-`l!(p=~8&|z6w->c5qe&s$crxUs$EDy2=>vXPj1*WY9O*%~DUf zMMXMm+xUixcq03UPzT}tgeQbhh*Rr;+-+_X+qw-z(<(j~Lb1Ym7k>=_61zCM5^Tyy z?pKMTD3MoJA{WBkl}Jn7_+}-l>|(vsGQxic=pFlnlAeNieJHh~x11eHo4<+!rFhp{r`Fa>d3ajm0JRGz*!eQZ5&UeWk z&|<%Z7O_+F?`i059u|&G{m5s+DU@#W-{D||+w2xW_3XtKl_|tU*(`Sq=lJNf+#mmN^(qurYy%op0XLC{RUzME zQ!Id5r5!J>LjJbfFREkj;G<~8dhS=Dv0-VOj{+v=3k}Fp22P(}L8?`u$$&+5-|+~~>~>YPJv1r)rPq|h! z?JlleDaV0E`#9QE{cEX^Pru0LTFRBtmeO{gq=Uuq$@TXtom3YWdXi)6P?cg!(L-8e z$}pZ-hw9olSD$4hwESpO^Xw|cozx1@P8nsIn_bE0&I;K9wA(cbtdm^FD`|7)G1b1i z%uVZ3kmq6mV3DKjWH8{Qv}=H2xYCX1)+K*>z`N>Fl;d8h*S_1Q?&o-_6S;AT7%ELm zIV6VWlxw}*!c@Ce&M!YwE~u3@^B6=#E1mv}E;+*!YVSb|)oyBa%t~X35BjH`M@&-H z>EO9I+eD+y{;R4Y>3T(I9MW_FhUQxM8;&}oO}Rrt+A7E3Tm;w4$w5y9vxe&o1GS09 za$$$KZ!DO!1#gQ5WBkguV<}E}UFK5tsI1q8yHHf;il~Zer)u^^JE2fcaff<1T(j2$v8Pm87<8q zDXrgsLlb1xC|IlJ=XjV8V`xtt#Nsu6A4hK;f?*3uv1bCE!j&)lu0EBkI5NfJ@U_8Q zQc}nN3zX3=U4#DfENEF=gY#T3o+<{cWK@EYU<@ZgM5%H7@1Dg_t;AqCFNh~E`hmB` zQ-Aw@oh+kZaquA;(6R84#knXi%$6KdJ3#q7L=M_Uo4HqVf#gFOaOj+_GGG^WY)Apc zZZDEB;J=+*ry-Sh*<^XvD3jIB5PJK0bVF)fyb&5K7UB>_xUUMGV$xCFVi&+kDg&?O zMmnnPJ41a2e|8xx`BOR|KWFY%8FW0a(NS9wbb~+ZD9CHeTNRP5C=!h$f)2{7wnY6q zWjNPLpm^JmIuf&1LA;$UjxfIT0tV3GSWCcEEZHJj-L1h>yv$=62 zn&43HccC#fw+6G>g2OhZ-E0Kk-OKP=ooo&YOy>E0vR2$Nk>W*(TD&@urg&|&c#GRm z04)5VHW#N6T(b$yqi1}s3H9|_mZ=W59EA#%hj~wK)RdYCw;H^(DXnl>48JY*fV_%= zpj;rGxL#=q&8Q@Kk2G6p4mw&Ie#CDW3p#k^K}v1@u{pJHE+*UMsOVS(zm+?Dy*VtB z1?<~`78U&xsgi~#T!bFJ(t@gcoqnNWbOr@5(tcl_k+m(U3Dnw&8One^G@A4rj0}}c0cov#4hd= z>B4~o~O8KcX_mQx%ysZ-j`9?`tU@=UBC6Bk&B$WbgWh6v4zwJc9uJ2)p zE0;ce!#)Pf-7vb*&s?c9wWQZPr85QFm3<(ma|?LDdpcA3G6DABCeZ9Y%Gd+)fadOE z^xgXsF!COM1{_>Z|1RVb)_$c#09;)^puJ+KC8bdPfHBf@Z!ha&bjFl`DRN#s=nzEh z*@c2^V=W`qV^bH3sG$T){%swgI~Xnj4bdO5F_`ER3JV6xX%!^SHr*m-UVt<~$`#J; zLW$VTMqOdA4r60ixP(#scUL%F8#u5VwVsTp_e4%@Nf zTTbo{pxb<-JB;j4Y|{hkb^=HApkW?{B851gAYqkwK7hu_6OTfDgGPgjTXbAoFeY51 z6icfHY|L+wWWrZPHb4!v>BVAhkOG(a~c>*;9F#%9oqx{Nmf1oi`pZoU&>F)E@o)DCC z*{>IMt#|5IxyGvz$K*nv`p6;CO^4{E4*vU3vNiBg(%LShtbnm z=>Z?@MRjbe;0bFV!#2ICf^B=tQvWMXV*S(x2vfgR3t~P0ED9j-mesQ>qFWfx~MD4yLB?Z z@l}WMumC;Aleq;XvAj`91`An)X@dT^R0Bn_f%1H1VBz{15W?{hznNvESt<3BpY#EL z>p7q=T@Jf*RXrPbQRHg4r?Cel^_7)=l9+HIWtjc7l+z_NIca73(E_UCbw&1a^G0z{ z18C$zd;?A?=!b2C5v;sG1#rSqP7gwzvXP(nr)kcu3st*jr;Qr`#{i+1l`tuS@6Wf= zIJjE}I0VDL|Cn8HjI=M`a$xT13^q0g`N=@)2Inbu5H+k~k6wv5C63>_mMPTr>E~~d z#zU%xv~d3Dg*vi zH>kM$9a^aKn}5|=LvlN3?YGQ&VK9|}M9CVA1<#qAZ^0X}!2Cq(i~hL_-p>(3$Rj8* zKX~6l;DO)42lKEY2oBiihYlNJtbe&50EGG^BnL|&*qEPwqCSa*rR$BiJ`Tc=bZyAEBEq;FVH&HNb=J&(1gcN7YFA@8qR@2Vc*Rf5bj7 z&kvne2zvB)=)tTVPM*P?^Fxm=1YP|*belcgW4OdTKX~;*;2&W&JDd$?zp(8M}8O$cyI&|3$X3DQ)G-^ToO1U0EY5q4f4J9n7%KgS;cD&=2S z1eZUf5N7(b$CzvnQKpI)TQAq?7PNVv|Fr8kh@R6@oK)1HCFt*WkK@hGU zew(*19!>ik8d^(6ik@;@jvYCbPmQMV;T|s+&KW>)X9o_2Xa%*~6{m zan_BYgi6b@3avN^)KJ>omYY`}S#~lM-Aawr8cH!A8AA>2UThV(!ab)9<&tA5r0H=y z!ceMJOpZIkR{s*adSRWsJUor+094nf*T8WLqEoMjwozH-vC`7sVhE(5>8M`dkvR}>M) z;HV5mSF@uebI*p>I;)1Z4*MM)_LunOh?QoR+Y-Jpj&|bSV)}SQ=5O$>@ia;ld6kA# z&5A@Fxb;N3N$a`dBv>oS+*}qTd891b^3Sq};iD)@I1Cb+ny#J>(;eM48s5DKF;D-= z5P&wQK+?;|DUhtPGR0uHgyEa9>;V(qtGU$M|qE`3u{5{3scLzp0#) zOyxv_)m%OWz-3l*vlI+$yPAikVBki)C5)^itVRkjGC)BY&wAU zaO>%+Yd3y6)>V&}q7dbJ^MUD@whG^vPC=pt;&cEKp({CX1}1P`$+{Wndz}Z*Agw6b zljq@4c&+4pGk{NEFTOtmy&v(vGce{W_LxcK9T)u~G?_KO-{N#nYcdnD8PI&iEUM%t z9)3gIe&o#rLjzm_$ zxm;eM?cNhMeQ-U(XFN|92%UE87Q8ahZXO={Ks-yA&Q^l;_MYjDq705e*xKW2mT9)S>iXI`U^c1L1($oN~&r*WdY*LhR6}TW+g51cH3={ zXA|$r!|I|lGzRrPqWu)NSVgVm72hhVTyx|u3)q7@g}?%ED3y%sQXs(7Ycf42siTxC z2ywaCi4 z$Aj0>EbQ$+YiW@{PK9wDobDa`XdU+PIESpKSR`N#Sx<31iAjlgT7COr!BOWDkSY=DQ#qSQ9J%^E3OvSaOPHOD7+hU z)onOt)wta@YKm*74cn+(@NqCExb7Hs_(Rz!jnIW0EOsm4EreHXw@S zY^Qp*C)cWoA}YF_&e1!ry@ULmr%J~ez>a3C5BOz_Ji~)`kk+}`_xh^{^r3zkuiSyd z`5T|wLFJ0~Oa{N`t+4J6{9y;^p25|2f<=?L?M|Fs_X9j;Cq>&fTrH=JoW{TI#G0^E zJ1N$Co3zFBI6Q{P&G;F60C_VA5WK@RcglWyD8qTgfzDdktJvG+1)_u7{A^Pk<^i0_CTJvJm6Y;Xc}GSBYS8hjpeGTR8y4R z%fnJ>1C3&jy%g&EB2}s_Tv`;c6wXU$cRBaiOC1o0JG2*M zDWqy;y48O|0(Tab_fyZ{k2o5VXDktG)xUOd!m6RqqkWQL=sCqWVga7Xd}KeQG(y7r zDM3bz(x?IL<1uNp(RTY(b&)$b@BkLqotqqhditBk9KdDjV*YplYm4E*2dM{S{pEwS zQk34#!_skOGmn2sr&7fiT>qA1zA0B!ozJA>8fY39KSU!$$!%#MY;*GYIw3EPgP0C} zTaZoEzf?|e=3z+av0E(1C-_$c`6772ueh}wn0De<#JDQo8)v1_Ck5Ec7?oVg?|4Rd zs27xRIqCOHrt*Y5M2JX+{xr&LE_)Q3qSR1sag^pD@$cbL8bO`7|W2>FXUQTHGrdUjJA+30TW9ex`^itjk7xCOVCvdVUN2Z z$^V%01Vjo*cY=PR^ZfJ#MY%e!FSvu5+msv*JqiBAu{?=|cI34vJO=g$i}$q7O^&d{ zbB&Rm*!~pthkzb+iY61M{c{Q`9Tfj|8fpip{R}nMRvD3xmMSJdvpg!*TM7hf51s)! z0L~z$G=82zqea+C?sgVZ;2Li|ixBkYv_H-wZH!iN_HV#!2>YF*ZldH0o^p;V20IOq zoG}sk5*G2L^Hd&MNm(`#)gx`wV?Yck4G!}4b5zY?Pk*^JaZw5S&H;`}5__Eo%Z=xH z=b;G7E$9B{=|?E+d*|t}ZRB8;=c@6_3*=+_PRbc$Lr}LrEGl}vFzSFZZ`x@03Vlv15PSxX_fBK(?)DT^x zPu~2ebQv)+mJALnj=#Bh_@iCop}gf^f2To|oL1pFvdW;52Hc>IxLG@WgW5IU)l;SA zZWKxiG-?9k+2MI1aFeC+CltB2T6wn`9i;LFXjGmL(a!?fp9kHf(xS|6o^ultU?CU3 zMcGgucDHGy2;Iq3ZqpLjPF{Clv&FaPdUqf+dUL-!IJ1B9jytr5zH*DZG)4IM@b7o& ztN?XZ+`}mw!Rhztig13%bMB)rte<`N={^MC!Ux!|TfF}P0^i{92Q*3ewc<$+Dc!DJ>4GNmy0DC2#rGLs~7bjUUm0;7&9D2W?~EM1!bJ7q*cnKgOB2-^gno<2=;mH;-wrsMws>J%O@+!2djxxVpA3DqXV3xMo1b z7~QK0tm;Qx=P4{_=T|)EDaE*5K?-_?MqXBclgu@s;FMBB_{md@yNxS7L;iMX3U_}7 zODl_ic}7($e{LhMY19}ueyK+{p9EJ9Neya<4>vd_e=a++y3SZiVe3CY;FH|w4_wm) ztmWB%K-Zj|W|5nB|DZ;~Hkr%+2?K0MTJJweP|@*UxfzCN(M7>^q1hkl*locSvb1$fQy1m#3}C1g~gq*T}U(hU=yu zLxRC$^IF9J^TPAS$oJgqHMJM+_4&wa>Kd@CF%VJ3z9DiOe&=b`ms0*)Mjp&DZ{P+& zG;DuETj6_j$WkquO<8n7Xk&QPTWT*g*<0w|6b}B2c2O(7`xmvbjdV~6P>rjL}vJnM!fcXYO1Umg$vom5ENUYiQ0XEk{{`~{&%z)u(1O7%=_+Kagp=Ba;nB3d} zfuf#Vrp0!73i^MJ&D#t8$^W$8VgBnQu0n=z-A`0qxDVwqpQyE{UV|@vg8okD`u|cj zQKAD+_!m+OM&rM*H5v{6Zne7bz|SyypdLTNV1^p_LO$ge*0E^7MB_l2HDthJhNdib zPx7W@U->>|6Yl;6Dm-8g&;9~UwU�MW%5BZupf3R2o09(E4l2fI;uVwP5!gr5Qi` zN?nT_YXxhf0oTi>P}}9T)eTv}W3u6&I?v|i*^v3T?)irI0T3Pg264ZitLIRSlD_?< zo%K$>=b51#|7?H_p5!j3cbj`#m?b5~V~?FYaR{Cc%mN(@OM)yV=-UG}2a&%-bNH z{;oXBl2{c`sh$|+6YsMYL9h}ZT8l5D71G@MfuXW&gacNRVd)huMinc#YB1N<~Fiu!4ry!k#K_E6%z|-UE1{Gq5%o7AiiiXJcK5QpWBNF*F_lenkvr6)eUN2<=HW`IBYf3C zv~`HKwAVoq@tg9It2v5eIM^Q@MFZQRqvS9)%{ksl_`?m)+#yeyR>h?hHw(E`b_ zZq6cso^v;6aon~(vZyg#JO{Z5X%M${5p6@Kv@XQ;zsYN{0flS3$l8EtzUv}(!%msw zDm?v;y;8?Jt`_|exHKyx4+1Nh{b-1O$tPV!S>c|-imPZWJq|Y!XlG~XQ|uM@!XxaT zIc`EH?}*(*C^+8QUG#$b?(Z&qtb$6(ENmD4*w0NmbZS|4| zdWaVGn~>FvyHjcTuIIBJ7#POPLe=a4~LBP~4Ee1NIKUGP3NG;r8kHf42UGU1_ zWJfzoWg~BuidIi~pr7y)WxRQgpQvH~!b?^oqe5?kOKv~m?~tz6L=SwT4mpV7{RT?? zr4|1=)O)N}#;JuHygPr)(;=<3zpx_PHXd>)n`+#xj3`^u8Ba>N-g3QeMLc+Z8L`%* zhr5*~x!)%O)DZm4oflaOWkrNTgjy5*^np6XGoD>m1bU3e+ZTDNSIrOFD@h&6XUmF^ z0V~~*Z{m>B0yp-EUCFEOq@q~IQdA?D;2H5+#;!{043*}|8ok>r6owK{ZwpQF61VYJ z%{xje=CI$U0VYj;OnRHsSCJlOm8@7Ne{yk{nS;nT65wmQan}GGTU$9yhRxq;+XBGw zG@I|06ZHv6ROLklDWl7a5X3*nlowZ|$_^A&@NV72K+#Ubl;E3zqN4vYC(xw)=iE#@ zc@YgtEJkH6B@A39NK|s`qSiFWi9nXiu@-W5(XresNQ4VdCte&RhSEkZ5-cW)U`L)F zEc)3WRSgPt7x(hN!D53b;lQgah!HKC-&D!j0)_GlVcgsUUIWh&*AnnTyo@B`=!K)= z`>RJvnI`I_F0wNi9QqERQrpYnLmgl76Rhm_{n2~~j0NsZC1ctDugXuoU^U@bLQxKy~P z21~DXxQJ>0$vPjc5Ww%(AXg4tm&`e?dLfo|Q};RgXQaBS(L#KjK&8wAR48+9$*D(T zucMFit8n2Zik{}85u%KUBd!=Bf@vtXi4c)qWo&W1Qb7)7baUVR9ka$(yf#8KMI7l} zgs5D>wpyXdBc+e4=5i!-HmxiYM5Jxn(#m46ushRJYV{Y&8+M3!O%d;HDhvQ^uL6u?ms+Bm^A8%J-_v@U zj;`c9Mmn#Jo>OXxR%IjQdxVC_YOaE`8q;*hcc3?SE-e46mW z+^*WfNBFz)#o8iR+ZMoJ1qY0ps5fI^Lu7F|kV2Bnq^texbz3rJ8EV0Jx38|9nN;vV8x}sv$7(ik9|Kg1!tmiWdd_@Ga8r>3s zjIz28O!jp+1D3q?hMs76!7(uqNVB+ij0h=x$Wg_?@jDJRRa#qc!0SITpmiBXz7Qj# z%Ua1j0_pVC6IGFyWF04l3C{o?6^FA{X*eH`6aGHw=n(b{3HuG^UZEQ|>Hyv@&I7hwPWM0@%gw-nkPTeMZ6i6y)7@lBkhxb5}@M7Zb zgl{?V4rvX`Lv!T$01sdZV^bfZPc_Q)+ zS4b3}h4wEl-$WSb3-4(nHsIc;LsPK>SE{znz%DnrdNZ*Vsie=Ei8_;udlr6k3#K(|1QvezHobG99UI_L|ik6N$-BF26Qu)nD!d0&9tnxrCD9=Z8KHXDC1;1 z-qD5r9uyFjs8`Ias*w^cWRJF%9{!ddZ&0NqAe~%9BcSTsLi_{=WMd1li6(OMmcj!u zgMKZ=eO$lBw-UF6tC>r;7K;K&H3*}(Y*Y7QD+;9nUf;sUG0ZoCZf+g}LKdw>GG0yY z+D44`O2t`kg4a7D{)xDjp|P<@X>8Fze%D5g+QJ zh|K*#q|m1nKdK|*N((#mMmfC4^3=< z^pWZ8%@Yk(1Mqg%<8e59b-C*h;fKi8q#>fxXJXHuj7BhtLWt>00vyP5MQ&x z>-djx!-MabRSi&v$30huGNFqkS=E4ey}6106X@o19xKovR}Fz~OGwie+wOq6 z*w)H12g_Dt6lBPmFGF~uvC%@gxXb&VM7{cn zkmz%$NYvw3Ea2%Ob!ykmq&bGsF!W~JQI8LFgX@tEL+a+1d-iMsB|mZnGWaWvoChVbPi z#D)BV*l#4_cSQm@YNTitOf!YXLI(t1b7J+!B96s_L>}15=QAYQPc5w-c<)FN9J~{C zI+z=_mf9Hf0dxqU7v+bx)pC(hqI_iczp|x=gNqYo-(4vl-{6fCT*{HsAg|?&vJ5Rq z-jm58vZXfn7$savdjbH%wm6ABh>^55L^i>1e1;1C`*~hCN>r=$({xlATLmeH;1eb2 zyI}j|94hgZjc?Tf9-sJcfcyBZULM(WWUJAldc`srz(Q&rMrfk%4PV&876}>go|qNW zMppum0$X>qs3}S~^6Jr|Ot2kB0!GE;;F60#r`#axW%Y2x$s3Q6EAU>-D}d7sb{GRm z)`DZkh?oF-s0LV6xYNj8S#-_gd59fLRtJvYbz?+%r-gV@@q?`=dx$G{a|&Dmo_ zMZ0yNzTEZ;95Gh3^xq7{g0mfjiDUDYp|pmwP)%A-`9X)VA`*#HcgMo!%HopaL|^$L z`#2F6HWSOoM(%?+z{#-edF-!}uarcouWE%SrCQF1Ow~Nc*T;#r?gE`;2TbUl*GbvV zG2?}oZ>qW@$JB67LXDuLC$hH`Ceam6^T_eA29RAdUIaC32?X=c3M`zJQtHT>@H0Z)kRS+E;>qG~r zX!jK1AGczkm$Sq;d{5%^EK%RB?4ttO z<0hgkj*qysUexm#v`Zaluq=#iqAUn`*z#z-7zD@c4?Wfr2Wx1yn2OJGEt)N&Lh2R= zs~fbL=l=5*KuR-QF(C9(7RFY&1O3GR&c>2nu)9GdcnwCI^ar&t7W>QJ`YfZpMsY96 zV+^9I+kBYaI3)M~lhs+u1U_yMI*%%rCdlfl0lBg|ODXNh+Bu>{>GR+e`C$U}MR*Kw zNoR=o4zz>k%@MKAUse0xEgMC|Z_-TI%1`Iuc;TAQ2o3XrYZyhi?MZM+=0&_)`lC^} zddvf``m$mhojw~Y9F6Bz%3r+PD9VN0YXI{y2T@*CY@AWXpOkVmK1gQ1P#$L_a=7QA&PjJRu z5nksaK708+APSq(M#1_K3k8awk$ejogMIjfUs4R1Z{3!hIt6n`RFwl9IS+E}5cfx6 zx9hl6DjyYO8P3B-dmrcP^T0jV*k`^d=XD>S4^8i-Mw%n-cd5+Z4~2YdeLi;e7LS@Q zDmB(;X6G5&ALUz(OOIhp!{8`$I4(Nn;6bQJmze=T@arat;9o%SGk#&!u0>SaY4&D} z`-tDn7a_jaj%MTJ54B0h^l~6bb?YML!#KPOQr{Mc(R7q|pzv~O2b_9d(ivm_h9!s3 zF5y}kFYt%;<(NgnliMy7PF_w^0F&>lOE$;gR>I7?$x{}>I^Dv{7Q*68{CG?lRm4;T?PPu&5=9n))mn+DX|ju*b1BW z3(^{xggu2h4_14-pupBBTenL)FuE5!F7?pDg#RHaJ2^B&(m5#SkS9gmiFM^!C#2Xhu z;AF3r7(~B8VL9JOgIpvMJnsT;9Axtk(nK`G=7k#ua-+qfqlnqT8y1UNqSg+6wpdh- zxCKLBmm&E`V;&Dm!4m0{EL`G;ZG?!ND0lN#S_2lg7 z5bk7wxgud)_Hps$xUa)!3YLqql`2+&0X6*(hm>j1De{xNa3Uhxt^lfVM!{=tE#+_h zM=2L`c(POxTY~Cw{tIGu}~V=M5B6Dt=Uwx!5o8{Lk@-Um)+7@ZZ0Puwu4frI5%{ zv~M|dB}}8G+-s%yfySj}tQ5DcM2SCm^;%I{G}+6?*CM2_=b1bWi+0HaZ?yS??beB? z>X{Ia`MpGQ4f*E5_k?fdeBt)-GD~7Qk69UOS4O>8pc`5-@Iv^2rtnKo(^j8 z*{dK(wLjP4rfUT|t``wVH?OxICc#}Ev0jAQ-;;c6xhxsO+t(wwHzF-`gBU?x%OvOC zfpP_t)m^Rbt8NYUtS6^$gz2)C-)$6?#jHo%e6R3A&M_WpJ>pfV!j)%k5;da+LQoZ0 zRD8ijH7?vfTrSFH6aTwOv_UAg*=B^Ohx5SAqCv$&5R&l4tz{Mlgy^<=K)UC6dszI+ zs)9`m`2J>5sf^VFbf~2R+gMM1k%Qet<#}&80mB%z&5dBH!*<0XMw&L_HVsvyZ zV3u#T5cn3cNFD%@D@EMH*RTu|mcvVUgUfGH916l}?(&eWqC$-is8-+X&c*oDo$MTQ z*nbw*dk4ojTYQkWvxKumY}J)5=c`+Vm*ce~1uz)FpSKEct+EcwHkLTP1sn5=%0Q8) zm#Z6d5e347Rkw*s<%>0ur$0v|l?8(p>!UuXA~1(gaj>@R;C7j3ZWC|4y2zmhS%&Jr zOdaZk9LmV^w~GOw{+I2d3$;$`umk3)u)ob~cH)ZYC-&MU`r-T8g*JF>!3{R>nq6YG zU4KLpWgtb%yDx}vp0Hck+6Ad~kSe^|#>$&F?iMSAZV5NoBeqtr1(8vJZ{|SGKQa~Z5I^0A`1Epi+Am^7$E#AJ_^|elu;HZrqLPPUcR{qwP31|# zi~SPZWfp(gF9stQqJNr*YBdnP`mA_LFdSKeZHG=Bhm(Sz- zkOX%a{u&Y>eia$`l)}Hi;zm30DhD1BLxjg~{3ab)Q{j(A5l%lM9BTI5oQ<2Y`T@A{ zRFfFwdzUzX9}vpQJ2e`pR_OE&2ArCJg^)8t-+=a?+3Kk1Bdluhz@wtEC~4pWN5xn% zK7+HY!S79uAyW$ZH^;{$+ObnrnlcJyg+4pS*fhsHN6w88Vr1aPy7ElEo*^y^ zyQ94REbiM+vH7g%NqFVzH;jun6AqjcQ-t+Zu6bU(5Qam%{4$P{48qBKF{L?oxqwZv zKEzutz{$ZY4;OIH)-YXy)v&Wqw}`9e+~b9)Tts4x;K-AUxL846;U&>p)HujFS)wX$ zzJv?Ji~RT!Yy#wsTox^a^8s}b82>jfi@J6U38}`A*=e~|c##2etPZ^FvWVcrPlTN) zoyPO8AQc6ya0Tu;a_g?buz>k-RVjzyw1=>J4!SO<6ZU(s5knrsyY}cJqpxcmx4%ig>#jyDaM&#;aezzD9m$ zd)o{RK2(lZk=3U90mBjuU8DHzE-N>lyxPi!9gkaC^PF2E$VWMyopUtn$o7Z28lN0e zo=cSEt5`6dF7f4Cm;`?GZN$?X^AES-W&OmPZ{wnK`{FyI1zxync?TPioi_gt+%r4# zwgSsH-vvCl>K;Jqs)ayMVf#Jt+|CQ~K<+?yxtrC+oh|&!!~DGP3p+eOIHoCgdm!oy zyDhx_0n7nx>H~~5k4rxUXE<(_ood+K*pzRq%0;zu*^4&ulLw+YH-7|)1@3=xs5%rb?!J3rZG<-s|ZgagMvMkuh-MxOduG#B?as8irAixN*D zpRn~$M6@WQ)`qLRBERqV1isj6wtos%X~=z^LT3g~XPakO{2!e73|D3N6*9?TNCtRfB{ z41S$*QuMJ(XXUTac~W!^%#on3tlSyx`?&(=#C_CJ%&PS3vw~Ulq{ijSII+Cpn+C zuUNSK%JTy4#S6E;SMs-)Q8LFBLg3Fo@&hR6`G?nHXuVE_!M5X7_I!BMD%?I9Dl1>R z4>E4vh`v61#v=UU2-4>*T7J+$I_X|Z^D+2uZ$!}KS^&+1QZ;4t-GW0FZXbj_;^cR*8lTb79O z)}ir#u5KrP%M$H8ZjCO~d2JRtALl`Das51kXTKG5MZnfH@4ti#A$L3U9klnHwB7GS z9}BK=fET=e;cg#r2&;7BogW~N&Mf5lZ2?&HZ-EfULQAiU ze+#$hM#BqEpScxQMhfB=2oFp$X6Iah9Wts1bmn7R9pG5rmH&}}F?vlSoX&6T_YV>o zUh?^W1itgeejg#*66RZ`O8E#x@dni=u|Qa_=bt~p*@Ei$B)&?%{}*C!8dv-bAqWxk z8Oj!h-S*Fr&M=)mi%wEBeUYMR4$t|5L;HdaUqp3lX!UJOUtv>S=ik19GHqtd*|a=1 zTRaeL^_GV*-^2_kn4E7gd#>}+9HeV(n#tqZSotj~hYyW5UDVAgP86FdfqfSpv(nPx zMNh0E#LqJp=Lmm}BrBcpTh5cos=rkEWHs*pihCD0o2vi+|IFF@Fz#oV!7!L%+{Gwz zXC{M@OQTe7Wn^;6V3cd@8> z%4Zr?xyj=((-_L-u%Aui7WcRZ)ftZwqf$La8+W)Cb|FabJ;rVPpbyknW6MBQvGaN4 z-P<$lf;Gw_jL^aa5z1@f00Q^u4+y1rR4DmjlD{p)V^eQKxnF+3t|g`%!tGj^E`m!7 z?}@N+wr$p^Ji^Udm|fnuOZG|Sjj`^LvuuO33K&$>!kY*@thu%V4%Dhh{!TkTN%Cdw z{2}u0ocrz4^(r9@*1}W~+*){7gcoPnX0eqK25Mm@0(aTuR5osNKR4YrXj%n>o3xNo z#i+;wlS`@??cLu`vyXJYu3~g{FP&yv$9u7EuLb2bGTbYs+M14GlINRFP<5j8U%gJ`ZGa@{!g`{c-aawp*H z{3OXU$dW%q-kpbz!eA{-6@lAv1KYs6BD^@x7Gk3i25Mm@f(&vL+vBt9hbUvb z`__BxZE98>qm`RmcLO#2qYi~$7;6g+>mu9|5E`fl>KfPbfZyi2jM#dC`l?wyD(!FQ z=a6^*KH4sLOoVJLw2DUPt%Zj~_+^xB_Js&fXrWCELZTKHA@EyQUJL`a@^0I@LwyXo zX(6*d3%7?0#s+sxMhvp+`K!p9;!qlIf?5&CFho(N~}vdun6kjrQdX|AW{ z7Bw)&ik}7FLSz%@Et{ClMCeLZuVDobP1RJ96OYIidz!!)D!J zh`ki7zlNpYoxye?vn7QlYhh?hx_Ek!-NmAobaDP5+w8_xn6=cxS`j|E-PW8JAwvr{ z#UV7+!gC^gaGPybEW%7J3~bFh`kRWmmSga4@kVWRvbE7pR+nq-)#X~E@%XhA_;R3K z`iuwwy zP+JOpIY2ig!oylfx*j1;3r~yiX|irega@_IuN?x9qXxFebs`+S$rdgm$THSmmNCt3 zY>&Zv{R0LoJCL7l=hf{Z#AxAV5#H`+SL5l(3f))>8#)^89vjT>#VN?j1fX(3gFa4qaYklk_@IxwoYZ9TRt2353> zC&Kn5TT`PO!U!!)5TU#l4s>H;&F^JTtReACtlGWoGF##?+uzd`DkRVxPlYDXTy@Ru zfOGHdVHB+Yu#a5vqv;L6K%7I?g%5bkS0P!Exd^!Yj=0TRx6P_ zYq#VlNuIS^@`n-$cj^sxRpWZF<&@LHTRo`i)dX8przgTtEllo7neFkmrbaJ@=nj?K zi*A(B+~HnWztYV%h)yzUaB|o_$+*K^qnkZ5cP242-&6^`@t|UFyy1O@y&2;Oo7xHG z-qXb{A9f?cXf2Ep!K;P6BJAjFn^o_FQ`NPwqYoX~)rmLE6T0es30-O@+iYB4$^_of zY~1SJ*3l*-`#}!ZLb?c{S~w`e<_@-5-Tp>Y$j!N(`Ws*J^{;mJ0@F5`rnb$UmT95u0ECWOSb-qN8aLDZQ<7&Rz1f(@m;ic}ICe9u1grin#xw2<*V#3G zbPH`gt%bOO#I=V?8fXlWwse!jB0#~ ztM4GApKp1UD^Cwj-t`nGTzurv$N1Q`i#$y;6gXJGm3L&k&=jsyD=_TI*t^ ztDesNP#8H@CaiZExt}7-x*`>UYr?8`wy@6O3##U10hcf%7s>VZ& z)||%-9%|I%fM>=~qj{M@=lm8w6TUFi7;mg-UaaCb8Ff^PJXfb7b{E%_-% z7w!_TJc1fi8;SOM4{bCJWIMQjZWw69z6{D6Fh&?%-IE%MS)3Ywmr==mZ9wSY{ynyo zH#=;>_GYFnl&K_sa;NP`8sui)k;X4_|1H;=<5b`Z4v$c#8eO@>yf)PcoSoh-xz=iL zAy-|a>Z|;_jdo=Mo&8cRyW41A=0>TIt8b%>z|}Xv9UUVTc5r_ittyWq0;fmO>Gjcp zvMPSG;o&1aOGZ&?pv4xF4>WZ~%^7X9^Ki4&wt6aO3!~kNX(U=2=@3wxsCjGn z82sm~dkm47Q`h!C5Q!TCLI-!*x`F2GaXDN^gwAeWofq&w5CopCzsKm}u2M%meUIVu zbv?zsP&4hz=x=->v!qM40$Tm_7sTw+z^cq6v^=?jk5yGRc|b+T)A!@lWcV>iQcrE0vvb2(0Bbym&7IZpP@ zH(-IobbJ8tdgDqBZ6Y%i+KO9|sM8fpGlYM?a z>@FuepI`S1*E`u?xplm7sgqstIP4538?{PeIMPW+OAPy|0`ah&Q#s)|lrc{B5s6_1 zCp$x8c<#KTkKaoSzjCrGpN2i`WTQIlg?`OR50V%@sWK(*j7%qIWMUwjC8V5Pre0hIO(dd!2YD-)A8_=-yIP!`KAx|(mUAD_hDaj zvQax>S2)>6KZo@>*%oVH$2!@lmpF4Qyv0dZ+XCA~6^Vz9oyzHaL#Z&#$$CG8z4)8M z?}ucFzIC!4<@)k_PWBfWJ84*K9IV*YQAj)JXTSFG(j!yOq8Q@qayJjnF<=<5Fy+(MA^BiKiA! zP%ir)Q6ug%A_i}BDxZ?DWII_?!t#idZTd0nWG6dz9V~ZYQ@t#_ zX=)!u5^r-V`^X9v?_?|G!ZvfVzsY_*{8v?LijgWepieO(`mXxL(VJ29ocW#eHS>G6 zeH_u|!@&H0=_BU%pwBsu80jpu@dIjR8Ky>GJEwBF>^Wnc>=Ux@t>9!2ODxZwarksP z3-&7~TT!BQ*vUqHyb1a>C%sChJInA?Jbc)x+#<`uBq!Tj7TlpuHt7It4=3Am8Eh*j z>yo`{q?3)hW+SxWq&LXyXBnP`ho2NVA~5Dnl>3})J6RWBbh5qQhF#%gd#!}^IoZ%W z*s)GFs^!bjw>aq)asDp+@=o>*S?|vNTU!q1I7Oz&kcXVgof7MG zCp%h#JjBU1 z9g_+Bf|ETd8+VqIy-AK5c!-DUuNmW1ZjpnNo1JW6_2;UVc+|+Ld_eX`UMIU(M(x6n z4)0s?Nu@*>7Y&=5n&8Y{WmDbo4Z8zO3#? zo%D~ggWsbjKEN<;a4M5!r}vnX&5~i{IE^AhMmd#@WEhj3>`>YGIy%{RW#fx=vNy=a zSNWuh_Q`Qtp`#nm%hvaelWi|sAIE7vhH;xy`LIMO+sPh~t?v;h`-Ny!aXoAd;#a177I4A)vxm9X{FJ3O zKW#*+rVEVtknW=BACj88V}Y?WBxF!-??;U7?u6zXSCu-3|M=v{^H*HW_6==uNlSV)30#SiPcpu*jx05% zR~*BMqud`D$CowLoLjj!_nu5+lzcZVlY3EC{ibF;#!b9()s*M^0$liS>i9CFU3s~B zn7EKn*nOZrU&fT+rufH<5!`V;^D(X={*t@vF(WR7xAvV{j&iPQmSuF8cN1h83G(}T zmN6ox_J@w)DSz>b@bU)l6~;(+jbD^nL1Efi!35%Ckt>Zv`MF@F(UdEki&paM1V1eE zsb1w@X_S|Hdz8_VXLGMtMo0N+S<#d8r`5zPeu4N=8CBe`o>rT)nD;TOjJgdxdx_q6 z_L=P3oIv!ZZzg&Nw)=T9E|DC!m964BXxM4>v5Dvj($~KdL2b zN}I(5h|cnL&NW6KUbbKTN#kaIJsJC?(ZXHh2kAm}mE$ogsO?W0)42lQ`YBec?+!bH zT2bavzLQOod9>5Xy4a`+*E!kO7#2CgqxyE!oys>$0_RJi%)8(%;o&a?qB#CVV%Ppv zjwGwSs(yUR*e~P$wDHdxs}DL{6~@#|1w2Aq|(QBh=GTV55}K|aTR{~g_w7#5#+I{ zri&aB{T^HY`}`1}YX?_Kq>^9f+l^+6!Be)uCvbrqP0@d-^&3S0fav*Lb(0+#h-hCD z?V^a6fx;28ouf<&7R|Jk%S4%|mFc#!Ki^BSwUb5L7_BbVWoUqJJ4}FJWYUn1atwQ) zq(!@9r7wYJb@^Sf{0iLSY3D6QPj}cF_0txk7B_o@Ze_N=r6z7QBIMgU4{c>N;zeLv zjb6MwHgOvVRIjSJ+l;yH=kitYR(?otmTNR)+q^Z`XvAAnX5||5s&0Bux+Cv};Qh<9 zc+=P-Rdu^Dkaup4-fm3ec8IUG8%=5*kjIf1wS5cdy{Jbh-+P|>Mo7}g54ijlvxCk4 zE7gAoH>TaK7VKbGzz%VTF~IHmT(#V3wCMi~Tavt!?OJY#?aj^hP5ScUzIdt|>)ekGwLa{b zYr3nW7kWDmbmU$1@#+|@U# zf&)f))YjkF(l2gstP5`0{=Zd8dyT&CnupZNy{x70uFNwU@}7@IdF;mcCPyB-9Xhv< z3(S0Zc%PA&&~+uNRJ-!Hu%zuT4+(VH`!KVq`cl7sjabs6T{7*tf!u!Y%c;Nw?6O`S zR$kQhIo0Y7qdG^6J>OvR@R;!%#&sbXYW*9=01hN>dXs4t`6h>xJihlP6K|?gZ!)_k zsy%OV)5e9|U*F{5TwbnmfGPV=b>ji!&KmQcar7*%n4WR=cz{s!S6^Xz{dEBw1|)b` zI#Ui8etJY^Yo#yQTy`$9`}FpMfj(`SOP_vLt==-~CDwgbtafduaN#e90{LT-|1OZ9 znN;|?EI9H2?v_Ai*DBF&cqd>fo88cpyl3n!qg9Ox_sO)|6q^Al>nv{-jj-+wS)M#K zT%CH$2y5qi-LD@LUDCG4G6^D=Cih(CuF+gCxIL`R0fW!>s-k=&f+wtQJZLoX`spf1 zx}EhCseCH=pwVJr%3fKbzw14+YvESgAVnKIN1F+Ys`p+pl?VP#7b+1mc#^%!yeL8v zXa&Ca+=HQowW%bb%C@QUd~RXoy(Rg*TU@-1;W@pZNKh*7_G5p@OL z$$)w4Zd~Rey@1Ql?+Liw$QKK35@fGKY~sCI=L zMxnV|-E-JzQT^lW%Y7uSfj+*m%kJX@>I(Mp8;&#h!kgX4hTPaD!}5T#4jYl)fz)A# zDDVIvDs?sCV8rn)o8c2P$W! znaonS@N{5LQ+V$V8S|g_%0wx=l`2bxxF@d4E8_WDHuVv}z4AiI!dA9bFyzr#C5_x2 z*q=y%yt9Ml;@%X>JK2@H1XE;|sftGssz#PX-E z2*f;f@*Sg9<+GFy&b7ktRih(DZ;me0j~KNhzJBu0!FX3?A2AxF&7hrNn?JG4)t|H7BO8cF1BWMC^UcSf+J>M$4nO#iMqSs{G4L;n> z6CJJIHLmwPJU0;2q><<4O=y3tv4g71{Xq4J3oo$qgD5m@tobf=w~_Q|F@@BLcMY$5dal}=Z&Ys@Cw>xg zX<;45U{0U2-?r;Lq}u+&xVguC%o%BU#ldG!prHi@`sc!T5f){|X3$+du)6{WbOFm8 zQL<@k&02NjA4bE-+JOkkWRoD%z8&AmTUWkqgsZym8D+dlcEMmDJE%7Aaf0gEs%E@r zwDsRXGmWaQi_Pl2-35(Gz6$)E*s~VPX)UUKhjz0C&x>ha9H|j>bx%%>?Xpb%K zNhSG4joPENwM6Cf*O*on?2Z-I-4>XL&89&nEt*>Z-P+>aTk`$9>F0?|VLxh>&T6l^ z@}Q=1L-G?;xF-Q?8KXxL5*Bq8>+7zxJ{oLG%*2U=MY61XSGa4{6}4_s``$OA-OabE zf4*-taF^MtLO(E?#(loUZ=LKcmwN)I#Oz&w+^n#1DcDHrV9M(;0H!bIr|>J(_Dm)`Ov6cJx)n*hFx0E z<)b@Mud16rWE>80mKz+0&T7tw+^5JpH$ODm-4Y)N>7Q1h)j6fM>L_gNC8w%%Bp6W7 zCHkUNzwmTmyx95HJ8DFRwc*ID)QB|Pta=|cS|yxaaRvP??J%N+(m&qvarp9@^OiKhiqx+F0G_}?Y4uX(nb21 zt|ObTx_o3rHs40QdP}QtrKf&sy6oN0M19UjMm6`bR{{?C=1E8NOh5lJ4%OuHnLOXy zxwSY@n3Waicd+gG;@6VY*p!pie&Kkg%*^0H*soRUUP!pTFYij{6fWVm-U~lYxV87f za|r_z7W!}H1v81zxAbjVEEfj~tr;}Buh^JeFSp&t#^G|y(-Y&i6&QIYL0RrRG)A*{g6@v->YO-=)UGy;pbSUo~)oJ5pnDR&alqT}LAFK+*!zA$VsR zbBXu;S?M(X-;f7gYS7W1?<(GvZZMRBp+rXTYi-*Exh82h+;KQ(TJsmY(@tdH)yV%T zxA=e1VClM}sucUISrjH?ozp!@BR`CkQI$|Jp3ao=7rfK%-;-thuhK|qF8V)g&`Y^w zlHk|6jd=3B^2!PiFSfF(k$m#6RPvX~m*)Tf%KMK0hYcQ~+$oaaMqNiLy&6bbKsp5H zO!3;u#HZS!yDeOFZMER?Mq z%KHx+%+`(zu4+mrq#m6%Ah&Pa>N0UiD}s0)IkZW!l}*Ycc`2|!eGz58ro45`GTyt! zPMDZJe8heCjU7E<{M{2KtB2~C4dkdz{zi_ud*ry`_e~o+dE^*Z_q2%<#!eU=O^H;n zV|2s2IE8l|Xz|CGI$SO!`CyXD2A0x^ z9F_ZSwAmnp%Tem*7;~qu^OOl=$ET;=Et}WfsnO|~NyV0=f*Xsils;^lq<{<-^rgf7 z*i8Gg+a(2U1@mvZQZB9go4hYj$@$(iMiRqhDhlSWTF}w(Rc&-9uBOYsqC5*wX(R8| zdI1-m`%we)7PqhLolNB0ubvJJyE^|@_NDnoDR$Yn{-%EHeSg__>B|1M@?Q;SG;k;# zoDHfw*z{Z8QEaW$JzYQauY24}+w{ZcBhnO7eQjSd`j-~!9K{#SQWu~j_Lk$g_# z|5*0@$)o>U2Yi1H$^WSXjQ{`B2>ibo|C&t1s-%h}Uo8Kck;;%+ceq(ag+ zq~oNIN%^F=N&88ANZU!Tk~Wc^BW)Sa{)rS*Dy<=(rR8}VCtue4t}rfL(3#&)p;Xeq z%Z2~#vd+3L%Z&eJ;or+A;(&`65pCjSL;GjjDEVM|VOFvA7O!gx%72T#QU(9k@PA+z zGqc#5iDPGRJaY3K_3#K0*u=6`L3jYxW!b-_O+kXd->qh>@ z)_1A#zcKo+Z6?rxEvt(yzWHVCUTLROj|<{qkPu9Lg4vGYZj@=OF6$PPZ>b9(Cx0|h z*wzR6()Ik?`Bd%A-xU}}!)c|`I?9|~fukhB(kZADyp+$a)Y5#ftncVY9Cho|`QyuZ z;Z7ijljJSE10A|xng0f9+h?uO6|bYg#m6o?AhM(rI%VNR?5Av9q{L4cI(SLqz!v1r zpIt8dS56(Fts@02a+eZAeOa*cXTKtP7#tTYm4suTKtWZe^*DUIQ~7?IOyPH(h<@YQkz1C z>s!Wu6AfG~4a7kBb{el{^WSrf|J5oPhS#QctPT0A+59UmO&q7EXQ_vtT3?ZNlR6WP zO+Pb_NRtzPVmAMX;xy~b8733tQ9^y9h|rTJqZ2uZN3ctS50+U&K1;3cV1Dm=^&-cx z=efdgfisIg*d2kZkV7R8CV}liFX;|H&5^=Mv7|Io8&YSINlMf>5L`=IKpI1uPRi7{ zN^`=KeAWgslZxpqX&`AaX$@%;X}2Wwi5gSEgUDVm2h1nA$O{&cgbStu@=+x?N@_#u zOiCmTB&CwhQqC-4BqdW3VuMv|HRPS~%}LWpJwr+Y-2LETlAqL^yJL=GcZ6>t_{mo^ zN~~d|HYT5}ARQ;QK$l8dL)wka1-_dRU*_s5-G?HBlt*e`mb?B)@#Rab98xr&5=p68 zVikp!SealPHtD2fvmn1TcCNd?p)`64hH3?=!} z5z@&BCWGfllX*||QSeA*dPZI_OLM|YnuTmtEwK)P3rN#R+esTpt4KMNIi|4?Oyhfq z;e6k%FDQ9G=|qhZpLK*x3({_l!@wLq=#x)6PXWmnk`|ECNyp&wG-iXd`OeQgQYvX6 zX^Y0mniF2qe$sS4RXK*VfHa7dS(mT8Nyf!zkdA>FU=A1^z}%Hx%x0m!XJSjNruB(e z!xHOzQhVeAJ_FVsPEwJ^pgb74^UxCO)ZqVlYWnALzW=DA|D^G&m+}35FRK69W6OXm z8gjYZ7v$eAC10(fT!((0mX~>T<^hdHZogjUYaU8B$c7u}E*vS_#mYy8fq-z)xiS%fx6y&akLA&@nE|=R+XO3ZUl0`HeOu@=a z+eqdAYsu%REZAU^J8_J3j9%rC7N?T#CQ78Ud`+3$|(xwfp-6TJiFV+pDfr+Hl&2SqT5>l|PzStgLXQzQU>Zh*7*gf9FvZlO4 zr#>#R-rrMVt?(T$u?8F{v95cc<#I=f_4`*P*6W8@%lSlD?N0}2$ z+Fa(+k0sU=o>2ESz^sOR$_J8S7OzBmqz#y(bg>`)}5q0 zyqEOOYuFf;_0&I0tVzF@SPhPpSQCp&tj9hnv8tbDC$pEvLM&_37dUvf#Jcyb5^MB@ z66$a@*1tr#jbBzDE!zETVe~I-OJ-+i4`(1jy)MZ(VKI1#Z^tKnh zsPG5-4tnv_cQisTn&H3=IQ-^s*b{|)l)s*k?j$M=2rKV1vc4w@<9;o%p50$!?V$Yp zd=4Ur(!JY>E)Mi2(lyR8{#6L~-4{!&2RmxirS~PrORU=Tem}!IijF)&1T3OGjR@2v zV*QE08$LV?CjwqVG?xgJB?9S0U^fo6Ap+&kFf@#REkgYPbD$Ry*vmZljtKq8Jjf%& z=|rG1_Fpj%MiPM|uhSSE$o!mx3Ci~+0%dTxB@uX*2-GG5?J55Y^S~F51KXJhcM+n- zMBqgxPB;;`hmamS#&H=D$RYx1gnB9w_>qY;k_f!aST{r81-UK}C}wPDFpm23ELYuFqonE2#2!2 zBJ4z9HKC6s0uM1PVMO2%6YnYJ#v4ShE>sbFk zC!dh*|3Z1S0{K~`<{1CKR$i(5s|Ley zvW<511Wu*jWm(flT2|ihKPOj;Wre~&2RyBRwhdjQY&@Tm``~TnXQnUb>_sb| z`ztelyJ&5w;c`6*7S?jPo(5BDyIgC*1>mz_4!9mX20jml-oUH9z^EQB*I97TK$pw= z`$cPU6d3Bawo|XSoZmVR=7XIpx?CCM{njwhRl(1hjLYZpl9>k)2d)C+!A)Q~m5G(@yptqvm^7595XfPIx2it=wU|%p3OaZgO$zXCNzm+X|a0{3Zo~p#J@X?k1 zRyd!=hy$B|8DI*S2hIZX!Avl^ir-o%dT={f1RfLgQW2OE=C^8Aak+B9M9@{$Zw&(D z!3;11+yEAU`Ct)v!bc{qn%{DHF#w~$Y_JWO5B3FJ;eIO>j00zZ$zT?k3Fe7Df)Io0 zU|bjuRL2gCtAV3n3V2j_um~&w&8j$1({K5jknz@{Auu1z60GO93c!?T9I8e`U>h(! z#&0EqdEhLO>oa6vTmwQX7%R_E(h<-MryejGENbZIZXd9b-1rw`NSi=_(_X29JW-@k~;|1STI_i|YozwFXQ9_k$VTnKNLzFOiDbTyns^U|bKsHAZAGxeg73 zsbCQ}9gI$55{i5aj)B>?F=^|<-%fcjc?gbxu2e!_56AANJXkc|Zyf^j(ixg)Cgmh1 zE9lE4(}qkw*cbHPO93z$oCjut*`fyzfv)>#7>ole#$X3F0gJ#yFncnyUHGX?PA~&J z4#rQ%u0G|tRdo=U45rs-`_G(31R78Qm;z?b_FIbu8JZTc6wF| z=owhR{l1CKD4+;67?({?n`6gwGGoAk7g@nt5UEW#2D)A%<=^cVDu66zSek5rslO&_&ybYaUZZifcYP?`CUiFA2Ie|5x7C* zPw813Cevp)0_J_qP_+gBNjWg*1QEHOdcH*u=6%QJCUPNjq8;u0#883-7uf!5wx^iNJ8%#fU50CMU~&bnLUv^AD{=)A^j7AIAs7eF z0yDrY(SsYn=qlVjCVIK6^SBs56oL7m*@+O^bpLufu4bx-T6Tj%ov8FL6Ow@MSLkf?hBK%z1_Du3++ZuDAAL`%mA=)n78+UGxN$uQU!!qN08Lat3C; z#dTLO?hujcjida;vi(LJlb>2Z@8`uwEw zU;%i(58HqISM;PW4TEFAe13*00Mog&p4g9y&N0^g@%T4xt^)J9%)J4O=Bn{|Fb}MF z6S9TlV6uy|RWJu!BfOjQcrXJDO~xTG3d{lHlG*2AO zZUA$@-C!P=4|+|`wZS;>JeUDi96*P_Xs`fm1EzSmiUDSTDWJD3=lni0d1OLwrr`+A zrNQj#oECxUH8~r(g$g3M&r(i)6m$1RS-b7*;74_wME|}7f3htnxWQGhZ0@J|!0dggap54qTvFLB-3f7%8 zG=wu$FnTDCf!TKuVKC!PA7`S&@oXg5Siqt&oOcV3|KPuyJbxVy*>CqqF|C``N5ptmK8rz9Jj1lV8%epIs~TQW?5z`sr zHrF0*KU`QTt}k4^N*F^Gr%*+dQcXs69XZ2fU1I4wE=6oU9NSi(pa+{Z-(hH)@&SMy8KsIEXKm6=7>d2 zwPUPVyG!R%7UJnyEZW1}pz9Sb)Nr{b!!h{-e^LC8g3D83_n7qUodZ zEF@k{x(DY{-F}M&D)1+f-A#dPwfP=KZ@cxe|vaQV2)K z;feHiRauv7pjtA4+H0zf6U^pyI&;RgNvwKRE(mcyUA}T?LItt(W0|kch~;EeX`*=@ zkxrNxkbr6`eWDr4TWV&ACQH3E5jWD+`xEg#R#i$za;eton8&Jq0`1kJd|Y`Mepa-kfB%b)T=LE=)4JMzoLeTb0E} z{$%D2Vj8wl{q8l})tQB=lkmMOd*`}GR}M{jlL_T=ZNem5t-aSA9#Qb+MT>LLz+Wu? zqbs6T5%)1Cj;b#AnKSWY$9-lW&+$5bYpYta+>BBUC!5V#1O`lIP!iRXlX3Q_`bl82 z>N3Ub({w|9zr`Lo@F$aY1OAWErD!yL!=vcm2+N3;CSxF21tdi{QLWJt7%nQ3;4*pketfHcFO zOw?IypV4a4OePsKd!}rm1N>H3QTMMLJ&}no3&dcHm(zOv)^8{6J$Q!PHDT9#jLf_YK~a0Q%}w^J9%o};+&ie{Nj zm_(7Y(XLT#XEV}XHD@;Soh4{?U_Wwrwz-#=Wi5Oluo3KdfTh4c*l(3c1$9+fpE;ZF zqs{l3H+gms^;-=u)$37beCBm!)(rDoUwKr?7PCQazYKF%2#=DMd(ga{pp1Bs!CIge zJ{V|x{e$L6Pv}U$#eAA?)=|yonl})a@pCa+qgKo%oT2K|xp(r8YMEscg zV;;Ih)n&dpoDKR(zb!LHihnoG2Sw&_AI3rDjF- z>?XDB zQS)}sak4J;)1!<^MW$)Is20j zGgv;CoN4wd)210a{g+hFW#$l17WwIF{W7z0nLM&bURED0GjI0PWbbaOrjMB;E3Kos zd5EE#{ni%}2&VXB=6!)xsxP`0EyRfq%UP7MU9$Q@rfRD3!Qe*!*uWFy;WMHbGY4^^#|X04tr$R{7=ii4EnPs+r@^@S4$ zxxkol-aO+lQA2h+0zr+T9&DZRc5`&7G&c~t~^+YhwH5R ztzwZIMm8OFa3@41u5`FfYW6C#RoiuBkD*S{tGzh89WIv32@}Y(oTs=`?B!f^N6}4J zUsH3LBC>v$Dp_UT=!w79s|j9fm+ zH&wI8&7S4Qkl)W0i>6*xc`kdDYqHI9>hZ_T{++P(Q6P z7e%No7p+8UkiRri#`V&JB~O~;JVj*ts^TZjMV^dyY-DQ5Q>;5J+DnBUo@Q|vLpDoI zdD>JSvxCGVEZdwJad7j+OGk|H)R+}et<9$Q$H-=>Z?nzik?9>>uEnFc)f)@>W6g5S zgWI5%tu-5XHj&LyJJvF=`C>V`_)?uMusi{`K%H4@HZK#-;mr9ls{S+P1kVEUv1-LL z=I}D7$QInIE<9s4^F(!Kva6=g;^%g*7mIG2);;9zuBvee=!uPI z%Bt4So7Z`Uku9*ZS!6@iTG(<&$i^*~`-YcoXCwXndGpqCi3xOfMX~j?%}v~3CY0X* z7t6JrgM?rQyRfe|m}|>V=aeJ%c^>NuQC;PT@6IXgRbJX?)-IEW=G61*9~;>oD|VO3 z5&44ICvuo%xze-JW&g<}ONV2Fd%^7P*-m!9I`D$oD)JQByqsc-litAJK>3e(MOEoV z^A_JAvazogTf=Q_AdqQr>2Sd_6A5?*TpC=hQg&Hz(;apj;3mT{K>~kLb~jwMqijCh zrdPQNSfiBT3CQgjmgdgG?T3@mkw2-hB8zN+qrzyoQ*f07R<>OmxI#Fp2>eOeB)Hhu zf^GP0!(otdkiqp!4AbG#E*aW(^Wdh#mG0dtxOH$->^1^Bn@w=uEyY${%?Zfrx*xtK z{39|QZ>a2Ds=nC7g5&MUeo)nUiJiY(vdd93UNVPzjs&uwzQiWfxtHvBd%w&&C70|H z)ryzRJ~7A0roL5du~7wTTkO6+Fp;IDv*;G6kXJYwh(|tkQ1ySsY~)EJpR8uQV%`*y z^~{xLBKfF>sV`n(eK=2ci}K`{w|J7d^0!#sk;AdzI^@GAU8T-!CA4uj z$?Du?o7tyU2H8#A<}1s;{IQz3vfz#ts%N&D9j`e`emi&X<_5I(nq&QT z`Qf~(TrM$dpDagQJ#yKrEFhc3{lRyrI$Jn~+?H#u^dt_DL#F}TvCJUbSuG(OxtnbK zuf-PC1pearpASc`x0~G}!*6Ct&K6%f(@8(vhukWDx zQ)DyMA3F$1=UW2vYNy$*+;p<3TuJ>-jsOF(_b3i5E2@`vG9wP5HPuHualR%iNSkt8 zC9@BJ>psL%)o+(suY4+s!U`o;L{s(n>+Atn?~>D4$V_!|m)WgM^sSt7wN)*5vy`Qg z&r>sYn;&`-ZQJeS3v?R+r5%aZ7f4B1pQWv|((yj-(1&vDB~nCzru)aQH64vi`f z=4j7jS-7P42kx6>JCbW&P0+O|V_8G0sFsg&x^qXKStZ1iIz*1!C+#!4m)k@(Biyn) zuZ>6?XR5fj%)*eO+{lAwS<|<%p($0mc5D1V<0y@DGO)eyj0! zjbV-K{NtuB&$ zQf}lw%!y{mQ)=M{oUT8fd-wzM`)VQg=VJb_o7aJZak*npntMHbOkEaP&IxP?ykXSs zs_ZISWfKzuT9@l1MB!6b+x%+HpV7QaO*+jXZqehm`iNH7;EIS8%TsGbofo*2>2i&? ztz3y(9jD$Gwd-k{?+h(}qqRC-g%qKV-(ssj)}`lZb+l?N>SXbezmb&!;M%3t*=mHS zGtb)U`Ak~*E70n6wG4Id_?C9K8`xS`u~z5j+Qkkd%U>-D*N6Xbz^L$F3 z>O$gFxiefhNKqYt$aGzKb-NDNa&64Tz%#h!{lTv5zVfzymsUrs%~DB*`WkQ-rKqaE zm^~vi?y_BZNmtef$Hk*KHR%^BOP9-|{K?)~{-$Ylrdlg%uU1FdTGvLc_Nw=Pp^<|7 zl>1k+C2h9;73+9y9jmRod0eg#sxDF^M4jKuZYy}avk@~<=cr|(&eZB^y7X-NCF=Ct zeZQI$-CPT8{hRr8xu&|(9QEmMX1AuxsZ*>n>)4go(4~8qwfTI_S5jfWb17rEYW+I_ z9~S`M6pSPoIfLww2BR=v^Ld)Dsw-Wt`2x)kz(x6cHqcltS3w(`lRw)R*G6q0Kg_N_ z*tOT-P1hOK?sqe+^&8qKZ1cEXdp4}p)A}~eXH>WOhqeEAY2H=e=AY2@O;le?YxkoLaYecc z&e<_bs?-^aXAi^&Fq#YF3HqGZ%vw7Lx)zvN>+^8bTsUQ9@>ozUuV)Nm;j@WWi zcZ4hZ3!CS#BJg*uYJI`17nY~ZBQ+hbMqDs!jOatDz;?dY_B2ZoSRlVT0>EU7dH3U0v`% z{yS}-`Mhn|NjHB%^Z6TWzMY=mdQi5}yZ#K_{_$WlJ8Z)*HUGWli!}e89TwL`oANFz9oYu(f#pkgJQ&!HLHmQYeMD2c<=&c)mmk*nduNf&57xZ*7vVVt(;KcU zRV#{Kv0MC6Muu99b~~=UnonM8^W*hcAJ%-{Q#Sv)cIbD_doygljkY%{+787Jv11>n?JL8xUQ~8v zWZMNU>V|`RggBK@!Y;f}Pi3kP`~`O;F5Qvfg3vbDj^2h&=yq;pWF;WS)LN>Gtf`AJ z0Rn$rDHiZTy)Uh$YjtpZN9kH!jxAH(k}b6!(%xYf_?xZm>#Nq5S;Jj-kh;-g$9qK0 zu*_*3+nuqv*c+!8&c1p!mgm@}Dv^j^F~CzJGG(D1h=sZXU9{GynJUKcJRg#*4jVL-p~6hhGpIV@7NYFZXuvYG@$M&EBY z&`<~V1@`SyL%e#wtfvN6C(BYaUPXq||ALja@r~NJIXiGM=7=Q}Z=#j$^IcjUE)jKC zaV4pJln$Za$B%S% zvOK=WtJW2eh;s$c@YeY$b``-ZAv+@MD&hv&{16*lM>NktW`#i4%2lKiuj)|IvotcN zqiq$uhIJo1M(J9n`nsa0SFQZEcF%9+AVmIN*6N}*>V`_5mhPfBb#En4&k&c|QOWib zh;-d)R~kIR8_&_0RLW2Km5F`kJ$9wR{k7ahYPY$pG7fT0p|WQh4#reL;*xC@&(d<) z(RLYr8>-@IOnCmN5|~5@UTpHzU~eGMJG`FLwTe1i*`-+Akm|Eft2e^%HCvUdij&^A z?9d0!P3hVb+ALlTK+QPKsp>f$Sv1_P3>O1`b7}{DU04kVI8ztMR*~VJR;`P4$9ibv zNRF4K<)X2+^TDmYt>#^7MmSqUhKh-x#SAqdg3e^Cu@O}1Rht2K{zvLUgy&9o(H&|? zbx+-pmTE?IPd9h+8MU)I8z>W_x@T`>iarqSs~dimIUx=7IbNNqLCx{1TunNj zQO@qt3fn1HSUuY~E_Xmp&rKmAyahIrtvY|2`XG{U#i__zo~5|8u@-Kzh1H_QWEE2z zDO!!KO^pSc?NEMYSL_-WW7kL@YBMgb+^{H5y%08p)^*ri^6$6JmTPC1)wiwL#OqLX zrdlRe8Tz{NJ~k%#`$$`H99M@ql&wP=40VGB!5+ud4OB9qE-lBa&2=&MK4`ZXt~a)G z+BjN;)x$VNB?z!G2&AjE_2@6oMtk;3f1?RqPHwpv=|YZbTAzNWt4Z~x-%r@}4%79n zX{39SyQ98mP+2vpfhRnqU9Pv8=MyuxxTU9iy^tO%p}(h9xulQnB1vjS|3H2FgiRl6 zuh{A8kN%!^VcyZU7{t8Xgqu7*ccl&2+aaj~e5~Fb;AtLmUi~q^)2-Zw-t0H{YoO-z I_0;?S07MN=ga7~l diff --git a/src/onyxchecker.c b/src/onyxchecker.c index 83602da1..48f21eee 100644 --- a/src/onyxchecker.c +++ b/src/onyxchecker.c @@ -267,7 +267,11 @@ CheckStatus check_switch(AstSwitch* switchnode) { AstRangeLiteral* rl = (AstRangeLiteral *) (*value); resolve_expression_type(rl->low); resolve_expression_type(rl->high); - assert(rl->low->kind == Ast_Kind_NumLit && rl->high->kind == Ast_Kind_NumLit); + + if (rl->low->kind != Ast_Kind_NumLit || rl->high->kind != Ast_Kind_NumLit) { + onyx_report_error(rl->token->pos, "case statement expected compile time known range."); + return Check_Error; + } promote_numlit_to_larger((AstNumLit *) rl->low); promote_numlit_to_larger((AstNumLit *) rl->high); @@ -568,9 +572,21 @@ CheckStatus check_binop_assignment(AstBinaryOp* binop, b32 assignment_is_ok) { if (binop->right->type->kind == Type_Kind_Compound) { AstCompound* lhs = (AstCompound *) binop->left; - assert(lhs->kind == Ast_Kind_Compound); + if (lhs->kind != Ast_Kind_Compound) { + onyx_report_error(binop->token->pos, + "Expected left hand side to have %d expressions.", + binop->right->type->Compound.count); + return Check_Error; + } i32 expr_count = binop->right->type->Compound.count; + if (bh_arr_length(lhs->exprs) != expr_count) { + onyx_report_error(binop->token->pos, + "Expected left hand side to have %d expressions.", + binop->right->type->Compound.count); + return Check_Error; + } + fori (i, 0, expr_count) { lhs->exprs[i]->type = binop->right->type->Compound.types[i]; } @@ -1346,7 +1362,6 @@ CheckStatus check_expression(AstTyped** pexpr) { break; case Ast_Kind_NumLit: - // NOTE: Literal types should have been decided in the parser (for now). assert(expr->type != NULL); break; -- 2.25.1