From 1f02f49cdf7c4d98c0c446d11e7e67ff4a800fe8 Mon Sep 17 00:00:00 2001 From: Elias Bennour Date: Thu, 18 Jan 2024 20:18:21 +0100 Subject: [PATCH] fix comparisons --- njvm.c | 23 +++++++++++------------ njvm.o | Bin 52704 -> 45984 bytes support.o | Bin 4856 -> 3432 bytes 3 files changed, 11 insertions(+), 12 deletions(-) diff --git a/njvm.c b/njvm.c index 21ac61b..530076e 100644 --- a/njvm.c +++ b/njvm.c @@ -142,49 +142,48 @@ void execute(struct program program) { bip.op2 = pop(stack).u.objRef; bip.op1 = pop(stack).u.objRef; bigFromInt(bigCmp() != 0); - push(stack,stackSlotWithObjRef(bip.res)); + push(stack, stackSlotWithObjRef(bip.res)); break; case EQ: if (debug == 1) printf("eq: %i == %i\n", peek(stack, 2), peek(stack, 1)); bip.op2 = pop(stack).u.objRef; bip.op1 = pop(stack).u.objRef; - if (bigCmp() == 0) push(stack, stackSlotWithObjRef(getIntObj(true))); - else push(stack, stackSlotWithObjRef(getIntObj(false))); + bigFromInt(bigCmp() == 0); + push(stack, stackSlotWithObjRef(bip.res)); break; case LT: if (debug == 1) printf("lt: %i < %i\n", peek(stack, 2), peek(stack, 1)); bip.op2 = pop(stack).u.objRef; bip.op1 = pop(stack).u.objRef; - if (bigCmp() < 0) push(stack, stackSlotWithObjRef(getIntObj(true))); - else push(stack, stackSlotWithObjRef(getIntObj(false))); + bigFromInt(bigCmp() < 0); + push(stack, stackSlotWithObjRef(bip.res)); break; case LE: if (debug == 1) printf("le: %i <= %i\n", peek(stack, 2), peek(stack, 1)); bip.op2 = pop(stack).u.objRef; bip.op1 = pop(stack).u.objRef; - if (bigCmp() <= 0) push(stack, stackSlotWithObjRef(getIntObj(true))); - else push(stack, stackSlotWithObjRef(getIntObj(false))); + bigFromInt(bigCmp() <= 0); + push(stack, stackSlotWithObjRef(bip.res)); break; case GT: if (debug == 1) printf("gt: %i > %i\n", peek(stack, 2), peek(stack, 1)); bip.op2 = pop(stack).u.objRef; bip.op1 = pop(stack).u.objRef; - if (bigCmp() > 0) push(stack, stackSlotWithObjRef(getIntObj(true))); - else push(stack, stackSlotWithObjRef(getIntObj(false))); + bigFromInt(bigCmp() > 0); + push(stack, stackSlotWithObjRef(bip.res)); break; case GE: if (debug == 1) printf("ge: %i >= %i\n", peek(stack, 2), peek(stack, 1)); bip.op2 = pop(stack).u.objRef; bip.op1 = pop(stack).u.objRef; - if (bigCmp() >= 0) push(stack, stackSlotWithObjRef(getIntObj(true))); - else push(stack, stackSlotWithObjRef(getIntObj(false))); + bigFromInt(bigCmp() >= 0); + push(stack, stackSlotWithObjRef(bip.res)); break; case BRF: if (debug == 1) printf("brf: %i\n", SIGN_EXTEND(IMMEDIATE(program.program[i]))); if (debug == 1) printf("pop: %i\n", peek(stack, 1)); bip.op1 = pop(stack).u.objRef; int b = bigToInt(); - printf("%i , %i",b, false); if (b == false) { i = SIGN_EXTEND(IMMEDIATE(program.program[i])) - 1; if (debug == 1) printf("new i: %i\n", i); diff --git a/njvm.o b/njvm.o index 44becfad46f33736862a725ba8c93cb5e714700a..f15b1440e53075a26af518b64a35cd03f299a40e 100644 GIT binary patch literal 45984 zcmchA3w%`7wf>nonaRu~Ktck9_aGoad4x9zM*=~G5Gx8QRbq%qAc4G^hhjmA3010C zNJZsVtWmTEjEdE(32>DfT4}X^@lngYYC9^eLFv`1tx1*g|GvG~IWw6gh<)7ovGc9H z_S$Q&z4qhmeIA=v{`RN8#~X&rz>j}o5Y~C{Cy0RGK!kQOd-%oNtP^%H4}TJm16a8|LKXESR@! zUN~;+$ro08y4Dw#=uGA0>WfwY9Po--zQ#gymNw!R+dbEeumwWBC z6$RI^eLCwqDf<2{hTL_A`ie?dm9fBReP7PkX1tfI@y>-BeLD>U|M=_HzKYz^)diJZ z^}TbY&XlIXsLmE54BhHOBP)q$`+61v#a;B{Z)~eYdXA`qWqg zIp$g&kN6v9pVn7)?Hbj<(e}kk{!yafe!HWF6?Usn*;k&M7p?EyD1EJGsITgV@^0&U ziRimktoYz-^|e!x6se?^LVt>dE!)-6!je`i9ow%|2JnWo>#@3wX<8kR7sUD++xY?+=EY)SSgg~EMKYusM zsy}Gvym>0acr_GjbhO2$cNm`Z7Q{8bPV?VIS#2ZJXQ7#?wZ$FkC16}95+!1ZTl?RsNx>j1is-q zXoX^HEY|7WK2i0G)CnI(>SW&GE@Kw`s`UBcI z?PS0wuJo1<(MGygM9J2U3Y_L>q>>LNIkH>!{<-$*lph5>`V0D4t=vW$4EOxr+Mf*qyB4kKu+0} zsQXu&OWV<A0F^BKdMPmMHM zn3w$=?^7rOm&+e^8@ae1~+l)A5ltEp|KkTt;8EePrDlGp=a{FR>B2ZM&$K zyf&2eN7zLf_Ls(tA2%C+zVUT6PS77u4T!L1KsUCSQML@|!4|u{ZJTX5)a^L>)E<=k zkr~*t7PdbMJ5z5sr`@p?Pi2TtBgZGkIp>-8 zWL&ku$M*Q}V{AD-#kgqeX1)tze$f31a|Qf-4s6YI)wG0S4_d|zd*-AfE@Lf`ZG`^T z(rFHivW0yz(gw7ZYNxL)J6z6pXv0F3Lwj_;sA(~7I6mi$=BwDK`9Tgski zzs476zi`>3DEqMV z6V>+zq<4JCesaT_X4aK7`i1Jl%xCwBkJ%?+7xe@%4=jRz{P2&=?=8+Xsg>i+i|Zi9 z+hFtsT-(roY(wc!7=NupmHy*{!E4P%-6Hx4eRG!dcclAZ)9%*$nteAEHT!N%S*rYp zI{I$J9Cr`q+JVN5k5GpI%E@#Y^(Zf4(G8E%*YMTwHyaikucD7{8-eTVe3!m9{S4#2 zJO2J2`2X1h|A`*>yL;g8>Vbb>5Bz(2;A5fCt^K$6!2ezk{Ea>EZ|H%Kb#u4nVrkYb zA4|$^`MEvtukL|=c@O+cdf+eWfuGR>-|B%sqX+(^9{A_>z#rWMAM4C+{WGu!eo_zo zUOn(*d*EX{B)3J6t!$&BZNUA5Qa$0Zw+CbMIIb7RlQ7;Q$6+?Ee=fh0$2_Ulu-)kE z>l^Bu%(W)QWOwEDWty@j3G)utpT}j5(}*z(JFrd*>`C=^UN>Rgp1d1&MXp_J`N;JZ z^)hgN@$tHhIp^5lPYu{zm(w0OC!ro6vEGH@Yt#0V>o3F_TVLzAp-6z@RD^T{Zad2n zHX}43G$R~AXhTSWY#IW5Vyr}1hp-Ky5#b=hQG`zreAtu(5oRJRK`2D1LD+$?7vV5M z2%#O}8`pl)C%+x7K%7_QGlah<-V9jetl2UE5;)D3BGtXt8J`BLpQ zHcLA-LXP_e+t-kF_8wf*+t=e=$lH)-yjpA2y!Ni?R{NL6x@($$x#;_sEjrv-p{^zH z8|vL<4`b_SY{i;rAg;e(Cx^9SW5!Sfph;xEGwOGnL)!g+x#{(>mQg?UPaA%?yKX>x z0_;t2V-4z_`{tgyE88g-bOk=bSgLO@Q&8u@?acok*7K~x&9I;TXsr7-e6$>E{_JM% zJszxcz1m>@Xb#tQjppEXC1YkcH@2q0h869N=D_wd=_?Jb%OU^mcI-*&pNB0c*Z-_h z?V;+7SM7BX_8i;?VhzT1L{Yo5&w|W*aYo1cxK>lwfCuc;VjlL$#KU*l*UE zxVHD&eKNzWrwu-|Mdxe#;PwYv2XRO^eae<`;~L*kX}o%~Td(&TGk!PI_iLA0n-$t~ z2<&{I^(xgqA+>&}vDiLsv(+4+_r}auFZrbJ(FaQ3e`)?gpYD_F8;$T=YV_U<<**Ng z>aZV-lQOVYp?^Xn)%vL;l!WvFHP$J6j^g~Z6u#ja>K?2+?0Iq`+G}`Ci?5gec9zGo z8j@UUU+%)%wif$g+y~i~C;R(%v4(1ZO)Lw(>9mK4^jmlP9aSIbj;@dD1F%oE8|?iJ z+Ks$3>Axq}U%dNNovHRp?6<1#nr^gnEcVN;diFEB4I|cY&75-{G>5kDY8}$7%4%KF zX-ch_1i`*aB*O5pc+jG@dWzX$Cx!#3wjq8j#=he_!TPMa| zSp;1fL0=z1uaBTNhWFTPkK=1Gzh+$1WsSdis7qZpwC$?z>V29$7gVBOl%;nBF{kZ9 zeva1%GB{`7D|7Y`ULLp2kGOBvhO*Q;1^e7i`-Ro8PxcF`16?ydTHW)0A=;k9;XdT} zmG$~BpOM@}*0w#$jsVt6Y&W%@iJFV3tBc*;t*@eV`Y6No)r&?8?C4ep)2Ki6VtNbv zUfX)idzeoZ4gWTngRpiO)K1?vV9Ym|JH)pG+aEBmYJafqDs^4l&`n(%?Ryf?qw?1= z|J{;*K>Iw|*S8@()QWp}stgk{+eM~d`v{TwuvM@9Z2z?Jz7qO%WM5T&a>}BfABvtN zW#fma8_Q}i6H%u`T)QuAUql_8=gpb*p}IPKEs2X&^*;{z(3jqhcTagc+D=`_`wH4G zQ9cTN2AMCsqGv{Zs8aNN1pa3icD(n+g(}~aGw@NUZhC!at>k~p+tJBK&ubrrOvvPk z%uC)5$4Ae9GarTOrqze87Crl6Kic2+QRq?F{)D&V_!Ad)I6i8fS|7SZ)OgpbaJ>_qrz;%R&|5;9}N zM|EjfcZi8a3aZx^cR(w=9u|D)=t?u(*dcyta*>C706M8-q zJs){G_oKHw9q<0$({cRw7liv!#)SIN2O|HvmRJ3#6|ygSI@(^mpy#o+A2QD)565iA z`1;UqMbA^<@4ukqz2`4bLGwWq{K8IXBVWbTac(No{hN3G}9 zhn^Qbbx}U5gzeYEN7qOA$b|e;BEL4mM^{5O2R_P)@=-6$v7Em-moA0OmEt4wocho% z(X$x*rSQ>}+DCo5@lj9LGP#by?@~_m95@@g=SrCwW9virNSRZ>pN%r->N2CRhpF~G zbeXq9t*P~)t&(?S*x&lv*!{DFcf4Kaj4paJp!ZhMn{;M+=}XnmTF2CfHcDO-b%dW) zfBh^5^L|W6+ZPK|e~tFhv)$O$lYd#i#_PN8LmH<1ZYIlf+V&%q`EiWcb#{HIOze6e z{ErrNy!Y_}WnZ+P7s|S05A>aGopDSu8>efdurEi~hjJuuE9znU z@+sK=EPVN__NC&h^-$L~&+W#>g)wrEsk=2$^nIxAWVlXx;xy|dq;Y-m;S-(5J?!kX z=KH7CX^)91$Z=;_W)VO~XK77LN8>4Wo7C-L-|55afCv@LP z{CD~9k<-|ZH08fX{*C_Ib(->#X0H#A?}82Y+w(j8bdmV!PTe2d;A8aVJ)!#{R|ntS z%CMk=ds9<}Poe|1Mu|J&jFBQ@-AMdS5G>;Wym(P=3N5fqO09^Wwc0wO{Qrf3}{5wW+j0 z-Zz{-P2?RZc^B*c$~|ysDcbVNn2yl7FJPZ`-<-y}>}J~1|KH`i+fU;=q$%IsetO@r zpV9UY(dRO;=lpQ4p`HaFzZJUw(SCOQY3xE8?c!W{{8sd{>(OTDXU8k;xnM+nXn^>3 ziukq?_d@5wzq8@rx$y7s7cAr3yXPE?`8SRKveVd)H09T_Z|K)4;@7qRgkN(`V;9nB zml_LG(2i@a9V%S5s?^MLQoK8PgGY{VM6kmtFUK$R8_h zlN8f=t$ww%U+eJt(5ajCe#Q)ss}Ha4?60=3xpxrCfSxZz&u6B(#yb1r_sx!XKQKFv ze~=O0&(sa84}B!^Z)th8K70wXub3TeuVgs;8O#l8PQWuGyx!9FeoLqod0vDL`mAnf zedsOGyC3}4jE?tS%ux0O&%|dY^1m+mA2mDs>`L)j-H`gwOCocx>8#~Gyz(3R%!Hm+ z(Q|v0&(_2CjqusV2%lvPt`9vc@|6)j%Y*D{_-u8Q&+vSxN1t7dJUQaCj6wCGM?~*Z z@UMo?aiXlJmE?cR-MOD#B0e)AlP5ASxx@YJl5gm_qr%VwBH*dm5jOM4mCwq2{v$+|v@hgTWsOpN*NXe0IWp z24mAiepB+tMfvO^L;I|*5AJEn^SUox;eK|}H}shaJ)eo5k6fMm*;_8$({kaS*1T{( z%jk`JS|b0tmRCM&h3tzi+|!!Zd2HhOYmZ}dKk_^e9rRg7FWlo2y-$I^e;)2}%~ST= z-;K}yC3}#J(_HJ3rq&=Co&AY%*l8d9^=sgG+53xc(K&J)Gm<^_0(kuYxuV_;>Y>*{7*L(p3ML{ZICfy14q#ere`p}$orJ!T^rFqu15dJLI23zw;9 znLnnSrv6A%{bS1M`^P_ZA8q1k%14^=|HOaZ|9HmU<@xTv#DC|W#(tzJ|DAh!|26P= zxP4!6Df<1Day>Bvcpe~QV=?$kaXqRMvhwc?W&i;n;Q>zc_e#tvh&rhLq(H0Y3xPLPb zsN19ApSX7H_y%=V_hE2P#JSHm67BJi-hUZ>nzlq5+fv;p7>WBY!_lUAXWhQfxAvRZ z414wZ2)?{ke3>M^G~vrw%=5AH@ILvF_J+C@>iNIANB$+=-8yAR-q`xk^^*59@V~@6 zaHsS=^-g)-N7@IHr_PJLj^ud@{P&UP1Dyw-lb&(^3O^6=;CYDXYeg9xv)AK((@W6( zijcma712HPhH+x>>|242!n!N<#+@WOHmG9SbXR6B5|BtOwGUdGGKMnA)tikGem z2O$3td}o?s7zgn2;1D?CWxU|o9K<`fXBoyggyIp%kN4F+za;$bl7DagWl-z9A9`wJ z`m3kR>92lda@-?F+ zca_mm($}o_-B@#3;V+DqHEy$h;|oU19e8i#HoRxDrf+(E=DV}&Z}S@+#h<$C3!j6` zd+z#;`;3-i$gH7^mol#UHIP~J8f2a^S_)r)%ukILervYoTC@Hf$nl-$jgKSkH9ar3 zVc*&&-;|}|oteU)=&@G#lk}D%%E)&ejdA)pS>YnAnpT~joT^G-18+39^l`hfb- zel2`w{_FBJhUe4m^vmu4K%Se_D3N!UMS-Hn(QT~PRIR?55kv28RdzSF4ekLGmwapQJqK?AH*+zOD z=Zo$7zI5S(=nK7#j>0|ZErkI?y$@M*KKdfQ5%b~Q=XkvPeB6xR6WO=d22h{gs8@eH z(?S3Cx#BRG793zJLfS8>+%OH;K z-%ML}uRd8CceMSf$$=<*Fl>gb}epo%sa zbH@8GToNEG1q5{d;3d};RIDm4yWWmpUYc(+%Bw32^Nig5e511ZTBD@8*vK!s&L}C% zH!AXrN~?_PajroX=)A%T(EMANTU=!@+iIh{tbDbRTe-@pKp?A_tYV|!I|ja_hFEcd zvAW7wU0|#!DL1aIScOn!xy3*yLx+_mLp@ani=MRn;o zlvq$cF8H15A{1nNtEhBMZt#ktimK||;^4)(d4>2UJt!6jM;8TC`RO|(d(W6yV^;E5x zet}}uYncIkhFuqJlBWu0dLGlkL^?>-leH+jv!>9eCAUo=%@I6}8A!quq92ul@N z@EsMibgZ~a#pbA_Vl6mFC#}{==c^<(7j&GjlQ38q4PYQ$A1urP=vK^R$k6zvAwh` zV!U$96|E{_@)j(^_)E|yC14)Cqh=%K)y}^y=jnKZpxap2SpYFtqHA>TB#+s2fW?N-t)Fu_$Q<)?%Jf5I8?B4y2c4 zT-^B}W2Yk7&f=4Zhxz?UE($RXlYK9xospS{#`Qri!-($>Fneo}UP*XPsmb009I_8q z1xCUInBCW#o}y*P45Xcgk?1kp!lJgmQ#(bIbfynB4vfy1+)WDg^@}cs%>HqzY{M9! z)h|k#3T_G_1GF_Pdf)_u21b;{tb;T+Ts)bB1Mmc^nTU(skS_Vg45ZLdrz#$*9~S4j z91HE?PN9k$JX<+&L_f6C7-Txjqv9izP{16-N2!)W_R)&KO5gY$F8aI%<7&!Ftr2ge z;V(X(H11{;zXvp^zdY#2{VR|cA-H1wrhW2{xfG0;tMDhz@Eife#(3WW_+s6E2H?ya z!9wYW?B)U`lrhP1sc@PX$SgheW3EJz5Jqj=f z_|2DW1&+*6Bla&$9OyUkEt2|$6~q{^eNk_7u-`nu1lg<*Ej}NO_oIEf|yZ$b9yJn7{7U5C&oE`^ZZVX@qTl@%}^z#`OOPEF{b#< ztWJ#Se)FzU4PJ*o-f*hK#w?Z{947a2uFLtV&$wH#c>XzS3{r+KF+M-@L68BinD@ z(TTCrZ*H?0%IZA7d1oiaD!+M8Cq|JU-^8eXqB~nmvERJkW+)wHe)A!lq3TuPHydq+ zs(H2Fe9UGjiFJPSDVw2mtoNJEHbZ5($!{L88A%xbF*p0o7laY^O)n!hjfu5>^OY`% z0o}7bz5M2X+p4aCw5N~Xe5;Fe(1=~n#Qqp5T@nWvu{)SJ$Zz(=_uTx2jp(O)vloMV zj3mbX0@AU){pPt{q|erFj7{>Jm)g>7-&kb7!e)3pU|>S|c9-mZj95&XMl2?a!Y+v^ zx~s&(%oo$W;;#=xB-?bT>SA7_ApV$m# z4u;$pofsH$ZfpbiQ`ZS!f#2+9GuZGx47p^Rp>!1b%>kVlYyIX~ofzeQbG*&q0Pt1$ z&6zesc^D&XekTS7)Z$Kz8o#;BW+)xs^PAZ=L)r0tzq#6GCoyy`by>8cg8g` z1HU;|7(Twc=^Ntmn-hd%9yBmBamC>?e9FPYkUCvbeX9G604Lq%C=H{)xya@ynK9s8 zVsnP$wt{auI9CWKT*`0`NTkj|YIP_1^TF9J9Ct6&B%gAL7}fIglbK@11(JaENHpV( zK#EQG@&%ZFH~GC2j5y8-arYt?{}cQPBFWviSAsh}a1O{2Sngg%U>4{XNGJMw``o<) zvl0J*@jgai1!yX9?qvF>uX}641B~@!8e;K}GS;8^j3nme5BnCwRknpXhA|g(_@1KNFy=Cn zwonMabOcw~eUuwv%QaJO1l!U`ei?uG8;9U3dzx}%99?6?x)^2M80I$;+9{6TG6Yx2 z&zR#}>PmEP^(nb?#cpFC%NfTWWF%xkj=v=cu9Dv{*JQ~RuX0V6y6aq1RIYwICD&I# zSILL?YxYkx>(_bNHO>BPc^F$ocbomGp#KSw{51gky6eji!3Hx$S#Bikkak>#L|4gQ zm}^W09u`1lp;kGDDw*#W%$LeU#PVNZY^+$A@-4 z{B1`-TCz%;s7>j2LK4|du9A~9WqP8y)#qj7nA3I5wkG^m#Z*%z*vCk2Qd!(gnX6pr zWSh%uM#5KYC;YUamx2pftn!@FztHyFJ5HjJTqFB*+-gQwh(k(DBD|aWzM_6aKe_8i zak7X>6m=q}z45D!}8H0+#)S zi2;g2=aN`7pGS>$#1{5tEPl6c^TIzc*7tkK*if7G%^Oc3T8{_^p5cW}p5Z$XHInRG z9itF&l}&_xZ!Z})@wD07OF7G3pFr1pdvQuJlBdcI55aBeUj8UTmcMy(AVn{jgLgbJ2C&tw8 z-KaWXtY38yv%YB~$5yPLRe+1~2f)18xJOWNx^F0B@hWE4AJ{m8(O!)9-_E-s{2_N= zbL$Z!m1)TwPyLTdS~HSi*AUtjD|Q(J56LtMdAO59Eq2(z!=0E*$sEz|WnuEt?<%>5 z%+YLrW$|d`bhCcB8rQL-rNb}b@-}ufCwhox(c7^~)T!LrwBH!C0+#Z(0KrvK2<5(E zgBpZ6L@~?BJgeUUVa^;y$!apsRuc+`hVN|Yc=@cQPfejHDsM6h_N5+#9{Q0pg>Nj! zGGYraVC)<=`ru1Q{`J^&$l=#tJJV0p;<`@^dlU~p8{*3T8LrpZ;70t7 zXvfW{k(t~p!Ax{kA!c7AumfyP_hu3<@b^P5$O$CwApbm$XnYI)41kCI_xXnacKB}! zi~{~N39OAqU<_!w(O=^WoMY2B#|OrPewH$|34!x$x~^{^9rSbLZ%PSVY0G~vHLw!& z>#)PWIW15K`uCLi{>(rb=#NR?mL8}E?MIFLw=WDl40m65-# zFmMpGvaP;6a0v7b25Uz!b{6Yn#C_f=eikS1vzTne^@jctEJR73 zr6`pWKLO13Q0l)leiq1DkZ~8qF92B&GLYiA7vS;5EdeK7)>#FJitaTagQ^v)K#hDB z^5I3M8F4!>#_+TwG1jN<5RT&V{tix{CNrxgX|fSVqfHLt(M-pHQ^HP!16t)=3OO9q zbsqm3##e$da-+^Cs8hp#=kciNU|uoK!gik7OqwBaY4a#1;uy(S21x(ac<5pO7vsE~_$%DlfTq&1D6vjGXypWyMCdfyaN03Rj&O z@06}ImsXctTTp>#nRpahQMS4wx5TK-y{-UeYdSyISXGY4pH+)WtDuF{6}iP1R+N>5 z8KA&h1>RCVdQ_HFDmjr+Hj{m2QB|SX63NRe{FXMOoR4ai5*7r@E7ij-K3g@)3kuf4 zC*?ORE3>Ur;&z1PUx>$w%(-;IJOdUGv`P^25Yyl@OgzN3A7N_OUR+RGZP*Ww_{`5J zSXYo&T~%OI72rXsQIcC!DqdvwK}q8MhC25&gue)6qHx0wq912f!Y~(%9mSJ2o9tcmEyqm>O9qhsjR9f?~2@tN;C=1 zaldd;)&=N3l^V;9oC+i7dLw5Qx*l^96nSwa;`;($f>-x8gOlHB^avvzZDgz0t;FO%4>xy%spu8e2JWf;r zXuqoYT1Y*6hS$rh@mwE{Mpz1m(8IcA*tHj_`QhrUxVS}v z$1j@Cr62S6L*Pn!5CX-A0*4`tK=|L+?%D9xMY#!!i!loO|7gRq5l@)OKi(Yo<*2Lf z&%R<->$ry(^;viK!JFImf7X`q@aDJ&mb^XFQ`36EAHKVD!;`(OKK{RM8vNEDbMt-* z`okxW4H>lT^B+A0`bp#QXa2k3>`&HJuT6NNYVE?euK%`?y?b-qjlFL@HTQp3_u1o` z6#y)fgK-~z*6p`_PHI@i!l?~rvjm(PsjMu+-wC&_q{JiFy)fbo?g&vh*0 zb9kl3k4tFAZ{YPAKQ4J0=etDwahuM#S2_sq(J($n@^hum_(+lG%>c%au#@1&%`oF3 z$^R?Rj88`3kDDcxE?XGxR2i=n`}t&#@mvJ{xH)1xDD~k@4#o?mye~jAUW>pVZ)q_8 zBT47(lJVhE9#__kPr)mO{Bg<2c#6n#|H1fkQeWO4V!Te`+#)i*NA&UL4CCpNpPOUG zk4SyEXlHz(l;@TB97%U0u>|S65MD$$hTsBk7{Ww^bc9P0u0^12ys5(Xr`|;P0D*nj z51oS$&PAAma4`bgsSKe8p&sEu1m0re%KA45e?&0RFOv~QBTPrQ2!VaK2;sX3w-@(`*JzK3u(!XpSjNBAwmafB}sdSRTN zi(tuk<&8l6Q?IfD4BnSw{Br64_Pk3Tf6?>cCO ze9Q#675hK<7J+%#Jy|w~5xe5()bHHE`PlmIB`;oGx#jJppOl|?^WB@i+wh(7w=DVD zUr%xlZ+PUTj$hw7=ck`ce7pCf-(67k&fgBdGwoFQ7il${<0_sx(!u%nH=kUU@bFJJ zZO9AWwV@q)<4{rd-AM=w5Uxa6gK#4P_xigKocGhVcAm{?<~>> zL8L&*uS#Q#9k)^V`c_+l0cUppZINg?G1xWzWl0}L>?S`u8Gp+(bSXdbUNuCzq(|PB z?k=4dYyNnf8NV+1Bk%oommYbex4ZPn`@7wx*I;7fZ!`a-b@fl=y;w+eu`lxGYIo_8 zcRaiEf8@Q*?$RUgU3RBG^4?^3>5;bxk=~_$MBXjzE`5p@o(gfy6)`jbkDAv{Kv3zjxqj--sN(+zUG=Db;wN4KhddL{Pm5m8Ob{Q@0fhRd*TEU3_N?3y&8?p$zt zt)p^p22GYzS(RT@HldK6I7j`zTA(p~I5ay?j9abGK;dU5xjYF0-}#=wi#^HST2J3h z&*)lDY^_;T>+yKalvFEtNrCned`#mNkdO=BlD52hdOj+zP>O8$@2{W;r{ty`;<@C>l;Q>lx?;r!P1oU}B~xfU0MD#;BwL zu+)$8`+9xVs7aZ?1dIGp-WqPK-vP`%Ra)ZEup5aQ#IMB6beywM$ z*BqMZnTWKJnVzXiO|M!g_f>n%YcoC5ye2ZtM)E}XEYsuPhg$j`_auPR3r5wNIklc7 zbA-bFUK2(3K@v*$??>>0fgev2JCsz4v zvB&4lG_S~n+H;h-C>CvC)|yw;qOHtxS)WXg4=z=IgZNwPNkdiksfHQ55U|gaI2bRS`1&a1A z@+2)r>!Mq-utlEKMV-oLUom`hJ@EnGAK+KjPj!+0T5}N`GPAbMYhDC>UUPP)?O3#6 z5*nFq28p`%kzRO!imH_&SPd2FQ1LT^I-c7IM|sUdMyBdEXjbG)VE?9ls+Q;{=vnBX z%AUuR8gyQ0f_tFs*^SWlE2Zr}p>4F+{57<(FTv|GGdDBB%~NZZ)_R6{P55Ul^1{i9Dh-8rV9fA^Y9A#pi~@gyz-kw)SY5K~BGftXHW5r|nNE(9@$LLl7Cd> ze~>(`$h%3NP~@E?KUU;6lAkK_4w8RS7mzqir7 z*X6>5?N05FX%;gL3tX(ahriY{MNN8{UJRpw7puH}Ox#J3L&sfwhkyj%= zsJ6~CFiUm)zEH!lG!*Co4)VI^BzeZ8vtc+4_wHBBc+Qe845V!LI2Y!s7%zMHnorRa zKT{)${hn8m?|G8h=VPG=lPj)CPLBi z%j?J4oLg-k=ih;5TBf;#y~dpMsmC<0gWt{g%ou#&Xs&gqxjY_RxLxjXNxYPJ&}6K{ zCQO&^WdqbSaycdn+J@-}lMW^v%u}$pm)FGAko~4tt+@=IHOJL*q8pfLE_08<#c6!h zB(oHg%=k=mDe8ym78jAh$lI^h#Pwr@Ik6U1L?42oNSy2>eyi3qgV7P6n%}}87=q~q zUO zc+HbHsp7wf1j+g3O>{gM=9gSH2+?E{EZ*kf(rw=2+6PzEda#H18|807Mi5OlQRN9L z8C)O|y|`q-dAi8&hl~6IMb0q6Fu$M*A)0K0McO>9;LY1mmw^A(C2S9u za6*+phEu``yM(*`ff7E@CEOb>;SVTbmPrP#FZx3B2fKuw|3C>LUBZLm5`L%ZK!#I? z-`OSX`Ugt*Z(YLfa0$Ovbs)p3!*A^p_WT1SyrxUo8!q99sskBL9gf%~Joyil@RBa! z*>DNJLsg(gbTt8kH)G8Tk zn4cpDE=&iw$Unr=K#^#&2~Kz5aho>~)4_1`R;=u1*Yds$t_;C-4D$(=DMXV^ zu$DHDwS0|Q9;YNI5=}NyB(Hx%cUoBDdL%4%l-d|OtX9TK_|7{Qz1?VT83IEtR%m={*VEP8>Rkd)J6{ z{asqqpTe5%RGR(-O{Addf02gk+9=%V!*!-!XZUkC!&a5y&&WV(DE9Rc89bgW?DU>N zChY5QU&oc1g>Bt7S3i40=MT86l5v*_+h**v_Iv!_tMl~E@+2xcSE$dE?Q%*R5~dpo&;3;_eK#w!Epz`oUYcgke{eSZf}GIIiROxv|s2tskV~ zR?Tp=8J>o}?6Gy=*Lg-EN%OHy>Xwh45%_&kNUsB(HR&8W#cRHKBMR}FkHSLUenNRL zZ=l+)VQ2OR48nbk$K9V|t5?EX4EwmJOh$Kp6&aEAq&pM-!lsz@#*M0%Zp7V$XHWs` z&T-q-{N;`Ablj)FR0|%Q)vM0lKK=r_2b%lbndUEUL^p-5{q9UOx@R%6wQB9pxp7~@ zwaIHfenZ{|%P5|x!KOR_yW1{%VB+zQdtCZw_ z4lD)#6OGmh;Ck?12I866cpf`&1JZYDw6*~shkhPQ0L(4~{t)qejoExvlX|BD@uEdm znno)bxD9**NPS<;QfM6nZUBEBa4)b5Sd8>?jaItw=K$A&KU1R>1lB@6UebNQHAs)q zXq}je7cr226iB^q0E>`*M5A>8cmv{3YqT1Gl-mg`1b>G{>t(zXPJbTOn0*k)`XA7k z{WS1V#P@2b2;H)zb>0;In-Ys@}09WQ>M+#SGMf$Mq);b{VSSC0MNPB`BtrXzx)OU_9Cj?|UM}RD+8OU-r3l;+R zAf6Ar8hTc0v=#taPEhcZu~Ki1)-fQr&4N3CEN46LO6b|9(W(O80{#-gAduw@(P$+DSt&$w8*nM)4{5a0b$Zqujn>Yfw!a+s1L#=^WWE)^%UBPM)*Hj6 z9vZE~z%7t_2uS;e0GTfZcq#HFYqYiv)A_b&v^D|hujN3t%Q9dM@a>^G|54x) zwFF3iXKAz+09j5t@M7@iXtc%w9{@iYNP9jXqUAmTUIMuj8ZDliNq;o~skc$1wG&9a zJAmH;f4fGjT&HIhYqSc1w0{ne_Rj>~2uuS$1{?>ZU8x$aWFYk>0JHEfUZd4MSeO5~ zM(YId$B;V)ya(%#kjCu8K-Q-bNIee$7eh~jMr#|8^;rpIeO73+mH;WA1WRv}Qe1CaXDfYhG?r2e)P zjfa7>_Ym+R_iD5@0KbcT z>vVcnl}2lh#Aix82KYGoEno2jX1DjnOW%lpt}*)runF-tjoBgK6Nta9G5ZbRPY^$% zF?%nN_BH|2VNat*Yn$-50Ox|gS))}0JRk858m%gzg?PC}D+{XCQruM(a=?yyy>pBarj!L%``sZ_sG*!;ag)9|vSThX7g66ph)* zK-!rAoQ8by8m;!;x}KkF%;s6klsf>N3b|&D))vu6U?ZfQX39|xQQ{izzQ1WETvdJJ$f(hZFkKOCXnmx0uC5UA_~PNJO} ztu4TZk-iz22L2|ERxyzF7HZ5s9H;BC7f61S#_TOX>fH>S$ov|ueBrMIP5^&}MyoNP z`)LDkJoq~`THA!b890u5G+OI~kHa0+{6i7nMyn0TamM$~v4qQdTcdSE_=ka`z(1tX zY8L)p;7IVBG+GV9-vPu@EQ{xO1Fg-%uK{AIm9;^mRWAHOU=V!1Fb}kr3x5d^OQ)((h$Tjajn-b_Hv&_@e@LUXL-^Z(xU^+$(P-5Oe;p8)rYwF?0<;Q+zY^FF z{1qClCBk0_Oa^~}Mr)?<(}0-Lv&Lz(g2GP$Vv5Y-f$%`fCwv2lsV(cPScTRnK>DE# zh$$xPm`3ZU@Q(m7MP$9K(K;ynW+0}5tfw_v{E&uv8h{w8Svxgan}8T6|(X*S}TOl51inltYsRlal%gp!sM(`8m$=N^MziRnDv!gp@sju zO5G1S45Xd>pb92r9n@&?13&VMfiNkHAM^pOal+?EE>M{@N~3kmrR76Fu(J434A5E$ zWPRcV7Z~^u3h{IxSn7C0poOudZCSFlKMp5Q>i-=MQl?j_()(6u>lKMq_3d=xkp*aTdGPV)rtA|RW7n&1FI zkKkwML`;8I@D;%)1@9O9f#8jT#e!E0W(v*{Ocfj;=oS16Iw#BH_$9tB_=4b*f*hYr z-zs>MV2R)g!Nr2-362%yxMluW!M~#OGyVs`Hw0S+e=7KZ;5I=X9L#*Bg4u!`|KyJp zjWzVa|M?O&J~;>I8-oR@MAqscz-AOYrzA8 zJYNi=-X95mUvQn^YQZZ6FA$t6I8v~$piA%*3>NDBz2FOi4-4|cYNoFhyh@OVzL7su zaExF;@K2bpn0`bMV@}1l0#UTLR1kX$6+at@tll6p5h+XzL6~?@utBg!aHU|nU{KHy z3?Z}1FW4YhBe+s9T`(wU2!_P2gMtl$HG(Sz(*=Wq0IKlHhoat#(f@mcVgELP=#4ts z2NN$~I^y;r#J@y8XWTw__*)XUj~ad*{gvtV>B2b@w+|QQ$Gc3o&lYC?WZaF-7k~XE z?w9x@@E6nV!-W4+?6J=eULp1$#XQU3L`k=g5Pn+hvri44C2{-EV2(@bx6cgDl(>Cl z@Y`a~e6gog;`V{T><`RupBH?e*lQmb{HWMtpB6k?;`U*|d&D05tl)_fFOu?}7JKZI zg3~2#9~AtWly9FC%=HHCv5yJ0d+ZZ_H%i<-)b|dt$2rGW z;`TAVTf`pwEh8Lf&sC4`M+@;Kq`QUSG`uW4_^eWvxLU)VUXP=;(B60iB+&yBS zeNOHiiT@loXZZVnQoemk?plf4hveQM_Sx5@nnhb6?=wBoQFX$|44~HFZPX< z_$-M}koa?A-*ky*NIYHQhsC~&B)&}Imq`4NV$T&4UnlWui3cRUUE;4%KWwy5{l8Mm zv#)<|Q$K=zoOL1N*i#(M2M<3^D}69t?C*xTe(V#WFI(bUaMO>!_mH3I_WugN>pJt- zzz_WGWjvxhEcaEq{oQd$GCx4$#zdW`b+ciFc| z{wk4wUE~|EzvGY9ro8=~HSQUx_#y1u`1=Zh>GpTXt3;pu-TBjYI{d;PPerD@{ayJK zv1cWG%wMIX+uzOak+}UGye0DXcjJ_!zL#}&-s4np`@8&?B)whIOC;U?uKGQRuaNqF zggCM|KOQI%8J`gq|12ur5|w{IL}kuX3F4u8kaZ;#rP9!>!9fZOpJl{SR3= z5r?9YyQ~byw<(2k+#3(}DgwtoNi9d8jh3?tsw)i^piXQn&Y6Hy%ZwZxtcU;Uir;z5 zp>R0;%{l2U2M3Z><(E}g;oLHw?xy27(u?vHdHBD!XhH^29mj?k$W;jTDQ(D+SGcya zYOS12X5^?t+HzLmM88rfl@shh;IK0Lkhq-A2gtFEi}4?ZsnTI3HRi0!EfP*eUil4V zsdS}hm5!>j=yb(c5(?0V)`^pO&KOBJJL04~oTx?)oT}3K-x*0W@yIotpr%WJ1M+f9 zaa3ER-|SQK&;t5cx*X@YyH2*RuFkE%*=?xSynNs)eUuxb{5GE+QvW3z)0gs~w#s}Q z)28jmDQ7eg-|Z{YiMk;t%$j9Wcw0|+GaPEVLrrt2sSY*8p(Z=jB!>zUGi}8)9cqR{ zO?Rki4mH)Gra07Ohnf_o(j3wuX3cO)bEp{(HQk}6In-2#n&MEC9cogTN^?kum^Ixg z&7o#E)O3fM=1@}|YKlWmcBn~VD$OAsV%9XLG>4kuP}3c1nnO)>s3{IL*`X$dsWgWK zQB{Ih0qqXrPp{6_3G>4k%P*WUgvO`S@Q)vzf0!2^OMNf8$cBq*SHN&B%JJd9Xn(9zf9BQ&d zO$t+K4haH9PtrwCa*B4SnGQ9>p{6?&{u4cM=~RcB;!u+vYEqa=3zMqoG^03k*`mo) qax^h%G6^-oPnhLUGaYJ%Lrr(6X%02jp{6+0WQUp*L8Zy{@&5zS{7ohR literal 52704 zcmeI5cUTn3)`y#*Vg!tsa15A1#2hd(IO?K^AZ8_lk|dZjqK+fVn%A5oDrRL3fC!i| ztT|v<1;Ly!e|5U+z_Awg-o1Bszx&75^T2e!_3KloPKB=S>6w|N{=r^fPfx<6C$*FE z_K-@_>Xf|g4)SIPsiI^ixoEV%Y9g{#+6mby>NiF#N2h+H(WYd8Mx#~dXd))$Na4ns zs6qt$>Xw3?SvfI(?rA@>ZCz3)8=TjFE!dz%vfs(+A$MWI{KW!4$4TD z^x#FKbGfF`IvOe4@XBhHtkGW8XcIKrOIqg04UKLP_gc26op38Zb5OYqoy)C%+ZYck zJIqXH!v34+Bvx{691lV~6_-IFMP%q{)t@tKv)0q8KNqM}>0CZ*JT7Vy?i*_K(v0^@ zEP~^h_3ybx*TD$tnSW`&)w1Gq48w=zZ%1yz{EcO`_{||u*A7My;AFXW`5(wSP8;>- zaML^wWpP$*W{(ANI%C zQYj9mi7_*bP@mC@P^UpJkqb6a&Nlry!^W!34d+h+VuKV|ha z5l0g{EVrMvN*rHNi0m<#6?k`ZfuOKT%hfd0M3sOc{DPIq2B@A!+Y3gEV#_QdQBP|^ z!mDISk@4ZbS3vI3PuS7S?)T;CrD=5kY9z`vobXxkvw`|^Wc--lD-cUyN?s|wG_fP* zPD~lv@P{et&vJWOvau$&Pb6=j3^uBm$7VVQHq1_H67K11^iHvn%UbKR9uv1wKOBFW zxn-hrc?fk=t5W0%m(NHr=sh($LyNl5+-&}A9G{|=!=7nwAa?*WXj*vyGs|f@DIvow zBBz@13_E>E(#Er%qIjZ=T%Dmlcvnt#PA~0Sx+Y5fEJX?q5B2p<>0sy~Wty|Y6zJyZ zDP#4JJUwJjLZr+Exo}iSE}WDLeck-Sk~{j$my6s&y`{`% zxw|2-3-jdn!C>_>&4WR~{<4*?&<-qU-YJsTh~y6XQf77@3G|Z5jXVNAGEFKWie`Tv z@liDE2~jljI7yL)1q4f(5xKkWA>LBfD8*g(kT5B0xU%ix<}Z7hH9*-9@nU&Bm2JNC|bqJ-T(W4>QlNu6agu>dO&1h5xnc znpPdFQ{U36_v+NK+C)vn6E+dM#OF;22VsSyVT%MdX&i#>IQA!L-oMlgk2lfOOM;q5 z#2aW5GW6NGOP@_WsXCWfjn3g9t8D7`zK1hDA(c&4M(oc_qrJx@CNSycP5&y5wxfw0 za7{##N~hkd(cWT;4AvZF<++VFN8Z{=%Vuls1r4mIJ}Qem))cJU$*U&5WHFE@S6mLl z0pU#U!h{aL5wf!+EE9352NSD?obzPkIEy!9^_0(=7;qvu&7A`QGvjWoPrN;Pp zTtR52WJj~GYLAR(BZT%XHjn4m&>EdGHAkseA1w>*!HZ@~+tqDD!<*>#fuVmLY3=*m zSj&e78Am23YOt##qI{%9MfxAhM% zmKQ(SlKXE+XjmgTCnOxMg3^?Ww5%#J8xdaY7&L|4Gm_QmQf74s((gnmw}<9Uz==oY z*34%<##rWN$>negD`^c4ESp?Lou#& z8JxGVod2!?4%hmp0Whv)6@kIUM*Qm9+AyX<1(H;a3V|6=`|Z;1ZfGBi5nQkY-k=iOKMGkZYh+)96cnEs2^^OfI;ag}`X zrd{@$N`ItH(nTTygzr*q{Qvdz0KlM=AZV!xc;l#EbM0eKyqjA&pf|no;8)EygSu@ zZX1taw*MJ(@=&91$Q3Z=#{6Y%oN4^mwQ&@){ZAYJyKOw_FKgpMrT)4$-ojQe|FrSH z+r|_BvNo<>;;(Dt6UF~&9P){NMA8n2;nHM^1wkbHTU4s^*g?U-+@7ezGd(lPO>O$ZsR~qd#@}UJaol&#cb1el|{4C@aSn<5Ozkl-W z-g*h_ri)T8yWiXO_nr6;Zg*jfTvA!jO8rx>>i=|uncdi1mU(SZHt)f&yeIJflUsfm zga7VvpzZ9m|G(;7R+;E5ljy9H(OJc!vx-D#8AfO6MMtRP;o(^MS?qY@*~ZttePa|J zJcQ?ezk3`z@A=={CkLlw8%4n*w4X!Rldsx+FW3v4c5^=w0Z$S}mI(d!ErU%MDUl{@ zOTH|MlA(sbNfISzK{IQY~a@};15C!Go=ife<&hE__ zr^r>4EqMHA7UbKma(B-h2a~}c_kmbw^&eR%5uwB(b2Y2=A9tWAKRnCx_l~vx0|Qw@ zo~zbI)?#gx5(y0mapr|7MYV~9-fBF%6Z!Tu+<2P&;S%NZ1>Zk2 ztCKBjJkpe>_7_^S67m|KKDd9BJh=bvy9f7+um|_q!~5`|v&fcke3W984+otBmA$;V zr0E}sh1|OG{rdmpWbl2B*@pq-o|Z*sTBY|uWDEYB0Lv5-n*;RN=PKYZeRkQZ$JVg0 z&9DR?w=e?6Ug3j(`6kw0kY9xT8G=a=3(gNVs+i$E_ z>!L+1{EBrB4+-%K3~LSBl7(MUX}m@7c&V<1Up==@sJb zA2f>Zx&(UieGBU*e#}m&Vv6q+SU=|L-0#%J$ zs%)%nn#%F*;TJf}P1VOQBrM#`U*+KD;p-RZrQ$VFS@@~ydISXovmkh~C^Te$^^_)a z33c=FYOS(r6gX^TfNDTca2Tt3=pa?w+^DrHR@Bnc)5|^Frzop?NSJCQFC>5$;uolr zvsLUvcwQjpr4|kK4H}i}f?J>`)ISUazFz*pMV0I@U%yZl?5j{9!3XW+PY8OnW{ww= z*yjRaL)AduV;>8Y_blZ-_NhR5ufDv;J`^bLHB$0|l;bQcUGq_t!R*t0$`<=jA3qp3SYED3c1t;uZw9h3vszTQ zl}q#*A@A8Ld;YQ?s+PeFVf z#gU|6vp6sJ}ta>4GC}5oZe<$80rQF`ewxAoa z7kPxryKcc!{^LUK$X=cW<^}}^vs@m-z#uY(z%=0J?ZF|Y0HPq^1b_S-VQ}nkPEpu}I;YR63+Q!MT zFXwHYusNx&aiuZV(>EJyM!R%vYG18s?di2m9?aMFYTWv<&FfJks(C+J_IkzX<)Pjq z-!GnRvLjZ1O}iD=F(y|h%(+!%XBlh5yOt5#RWD3iwQM$b>zW32{Ua@HDrjo-HLqS_ zV_=G9wV#|$?bub}T(h=bSAv=++!)~4`Ce4tpDQ+BlBt6Fa@tJEq@c%9`l1 zCNW*2Ev#p+UKwB5aJylkeVRJGykVBntyx2t#0MDJ8_iak)wG^9ba{MLqmd@poZ|+Z zI5Z=EMdXM=rA*C^Z*E|?U$vx0uxp6DL(ekTmQK<*)G2yv+4XH3eTw=QH+Q_UvS#oQ z?@m)H6wUtO*!qpV4bA(Hbng1dD0^7THSzjWW;9;j#Bk&c$Gv+D&AYzYoLOaxt=Y{n z`r{%hZV3JH$$~eP+c{nuwjf6P#O>WP=Mdxl6E>H(Te$wt%RtxR_uG2+={--o)7O2) zi#s#oj@uUx9^9s6`8Bs9FO7X3-gm^O;Nl@&NiIU&$8E*!KdmMUUclzqvSnPv+JH~IjxmR%f!1o9IrQT6~DJ%(Z>gG zyqbPFwsvfdPnP?93w5pSa^nB|{lmn>q`uwvzN>*^h@ z{??{m)hqM27{*jwZ<(SA?ZT5RWtivdanB7yJ3i3fYH?Khe?f1x7$U#q!%^4J$d!uTccAJjWFH5yS?*f zpP)lE*3KzwcD&f9AB+3VZ1BU+hcdP;jcf5kk1AzPWHs0JUsZL)u+71TSAFx6VIn=URqSt`!?~~qye$* zKTP!h(B-Eoiys=A?4J^oQlfj`qvaB&3@&nI+q@zditNsQZZjeIQl08!e@e8i*5%UN zPd`6>(_--1le>%COkH&7$u8F)Q*6HI!kZr&<-7lp>z17jmzkMbFMqOg@uo5BOsDmD z`}p)Fzgh$A4kq`tX?LjQpiw_u>$9;A+&cdEri z-5Gv$>ev;xKa44NWZRB|R|m&uIUY%=J?xXK*~+2U>b&%=St7{dm098E;py*VV&)V- z)AQ!HJy&~`xf@E27kkp64nhwmrXf`rvvsMqN#>Q)>E?^39%4Zgspu*{uWo z+upm}`ex~yAtx8bn3s2N)&G=VpSimhXhIqsI#gxP?K;(LV}^FGxF@#A=Z9mj8-IBb zeyQX2!)HF5tl4+=)Y5HjH)ZX$+^{_G(y5$-E!~<{%9`cs@O4t!nwIxwwXiN4x@Y#M zL#G=@_Rv2T`t*tZhFe{2CN3UPe@vzBA=5{+Gu{|}w~gh823-$cee7);w_1AneuhKN zs#|zjcT?I-=FK-j#lh-q_A>bCVyc zZr%B^>E#|fe=#q$w@HhPq?J3&-d>qGzh;{@*Q8gTuD4Zht0n}l3cT|8a=G1guIuhM ze!VgCK=Dp4Mdxqp9d_l%ma9J9AAf3a`JjtFmx9(VX=?jrcF`S|4?lGIaYNw6+g=Ul z_TTmE$AeCzM{YY-`}Bab*W34g^fIphmu)$gCyw_s`0=^p;vc6pYgRZpYRd5B_@$-d zp1(QTe|VH$cDHT4v-VfMeXqo-vrqhM-R|tUb-u^-o;xFd>2t}wMJ0n7Hho8L+uqrA zY0lYZpQqkC=2fNn&Y?5hZSQwFJ8ti7U&pqQrRyx4)8~g+n}pI|8%^;&F{yX;+3+S( z-g$BlTq%+L(aXb~`t{LoY!YK#s!5uO+1mJ-vwD?x4en@qPkSs>+IdfJ{MT{LJKgqA zi9deq@UtD=!d-XO*Zb+Z7uz+hS&h}hCN8+pcKOM9CtjEi*jUO!cih?d z=z(Lszqp>QaPWt>qmMlKvSo4iJ~_em$D5WZZV)hf@5b!c#cJM44L(;hZROaULb4FTy^C~=NRM606 zbqv-W82-H9h2S0SFW2Z1^=;m-%~PW+I*qHDerD;~>*u0+y>e}Jxk=9r+gGhyYw0n$ zZU?Bbn9v0A?wwH>ylPfIJmX2-Tf zy)7f_zxA!za`Lq8cly`c*y&cMLvM%vyu7m2^2uNIO5I;BJ&xO4Wm(M%cb4^QbFRyP z1^a`yR6T!YT$|@#?p!^SomAoNhx9T>cTQ-xYNOwz8J%zW{m?aeX6Cr$E?4c}Ow8)n z)A*yW)9lLYF6Ff8d7=6jvsZ=QG`}0$%i82KN;R&~vBH`LY2`n3^sPD}JjrjcUY!c29}8)>7aKdt`^X~$ z-;J@2T{`8gxqtQNoQYL0B}dh`Gr;GU$5jL8ubsMCXKkuBEEa25&cJH=(u~vhN0+)} zbuR5%q-8g=un~K;U3VuZIP1;PU9X+24QpKInR|kIb-kA>m%0~fZtQAWC*q?;qG6L) zMx{NLPLJ!gp*le3l6|Y&9c6j62c-^DrLw`Ema_i>xPwwAp z6}!XZpxx5Yab9yDS$9khTKinDM_c!+8~dKspHugP-Y+Lw4;#BJt#08>?d_{Y)=qa% zbE|hx6+Jw`KekczpXPNuHMqEG1=~_iRv-5)kNeT$&4lCbD?7v_+}lvG%Rsx`{{0hw zU2tPZiOUg;HHkGQA3GD;Px?i_ETJ}|9!_iaY)y?1%)`Bf-0*CaLZV$T!%U7xIYzW@F0 zdF@YJ?|(hxW9guc?eHSdL{q5qN$&`U)_tVhgxSg>VC0Nm0=D|<}O=a zytn_>Tb14i>Q-5Ay{IXY}GI=c=Z%b(Yn=_7JBnO;FPapdyn27KF3dcsqNc&X4$@F*9I*AX-YktjBwL{ zPTSH`OD8%PExS9+zIJ!V38$y%Mr8g{K~vQ?JN%fo>w{2NJGZvgn@pWHd}O!go6jdN zv0K<@fPveW#+|HN)Z(zqgHtY-E+uv?wcy~4#wQ$tyF|V>ux-@w z=cySr4pdlVS1G5rbI~PLv)7b+x-hbxN0ZEcRkl8_*{N0Fk%m>ajX3%2hmN-oc1t73bO)Js@9?`+L2kF!@??A|N0dLQQw!(;nv zwp&l=;b8vuaJ5Ho9GjKwKHkNu>41_4XMc9K5A`n8r=Mlr-jh<^IoJCoWb5ELHN2df zKAgC&k=?>xp2-szxg-p{7j^XN`bOustQ;P`a(@4n7hH;dEHci}>CE-H7jJCqv-x=7 ze9LwncIJE-vSnfGSI)hPT=wWUFRs6N>xFgZhuxpO)nQJ5$5ty_s5_Q_`r&ce?HB7f zJS}$NbKu?&w|!q1Su<#!Z$OKAD=V+m4?3M$J6!!_Wp%Il?^+g`II=~~_1oz_#`*`0 z20o42>%5_w)~1^Ko5D7Il4DvwOfuNwUNWewozvOM8`|skwk{KM=3Yt7p7#do^`|vn zar4@oIq8sf+F7q`)Wv(pmkph~>s4Tvive9m4|sL;MfFkJoa0v5nXmOvHamGeA}lVd z>4xZr6>TQmv$&cOtp3H$e9v~*gKr*`ds}$}@odz=gJ_}KntMV~f{{Xz!bYcy{6h{$8v_ih$zzwcnyz!>w1qq4KV z^?bklfakovll*iy+=9ZhHdN7Qdg%S?^I*)p-rFmz>iq0zsBe*xu`7l**yOza`sp3_ zR*o{+b*=f+NaLtufvxO^T**1UxLK#`qZ$p4&g#*kdEkbdi+eW;D?QgLBY9``+LsS3 z&0Fkiy0@2I<{gJdpFO&}mz$CjZdWPxz|er|FUD29S9tEna;5>QqmdnJOpG`0qA zvl6d$rz+L3Y4z%E$p@CTv`x}S#8eq#mXg)T+rI0&dxOtiKA?J*Ff*Mm;D@W zuQ+97Rx~aq&9+8##KAe%q05XGWDFZ*=X`9~9^;3X&Z%pxK7aj9ouhW^3k9gFz4E)! zUN6iXzUd0j8=><140-#bmj^iC?D4?bWJS+RC-!5C4XWg;i9QMgQQ-5IEB-3Fr zPQ`14T}i3m%%pLWqq*lo>gOl@wZHv05=yn2ehLrKfzw@;g;-7P#}$M`{4tGsv? zZda;n?Tjl!Z7*F8(Y5m(-l3`a1rL)WrA*fcm8<%8cggf!Yo0~Csa&j3^|06{ubd1m z9GXnYS-0+q`9;TGu2!b*0lgE-KinTy%5;$1TK}kFmEEFkf7D;xsmtE`9&e}D?-b;mfc3comik=@DxWqWN3v>F?4T=m}Lu5~8< zbhyjK^6ecr%q-H!?TO{KkS^i&UK=kw)V6$c=VPb1pS;g*`6+8_%Z2Ag&U1|N@mHPy zcEW1=r!$txH?qGTG2QcaS&UJ~s(R6%md6~6QZE{}vh0X$2UPoe^|5_+E6wrO=2K8s%Zh5-=%C&wwuO!V`Tq(?K#Fvz}`*)67P@`1f%f-7&Jo+MCa}r_OwJrOE=UxCsgE zQg>Ht`|5(9dghsFH+_d}9I4RN(z-FLF}zu# zVt+8anS?Dq_2PkH(&PIW2l%ogNP1(PB)!oldX-BQF^XoH>?5Y~ALKd1zmBC$rt5bu zSy;a(Qz&_DfwLsrzVv_2*#W3yFwciK z>T=8PlxIKsU*yN~e6#QDm&vuC#`EQOb1()$dG=rM{PMK?UP``-F%y0r-J~w@4`Nua zZf+f$a!r19sKpL*=K0lO;Gqv1W}~d3QV_!hC8(C6^iqBlLev=Kp1r@%F_1_5_YC$7 zITCNLngQ;vmmWjKOigEme}>ERY|!;dbzNC=XI+_6PQT z2mep1=_!=?b3pkhOGRBT`{*-fh z4rA;B=RffEraX5sc8C4tSMGDJ-vb?nC3!AmuQ}{5KmFGNILztbr#*j1U7qilwm9db zIG5)+#!GX)fpd9&W4tow#o1>XAj$I@d#%ZMe*V-efHx|D!@49tJN5-|2gadZ>-bQW z=OE^f6X#n6K8W*OoXhhj)B7-PDz6sU4oke*qyWy*Co?5m3gz6I?;{_@xud`*aURS$ z+Kb?PGUr(CbjG1xC;3#2#yFNGXYhX;3*cJ| z;JXUo2MgfG3gF2F@N)(5Ukc!N3gC|m;LjMB`+svK0N797aPGjle2xMMJhx!wA;IGc zjphF~^8Y51k5^dNz_6a~!zBJpOt2R`8v?wKo4hL9GQ`7o_z-V5KYs~av}aFoNZ#;h3)}T_ z^Mo4pw(AHE!;9hp+u+ZYFhALo50W=ig-Sz)_=N^}v}!dZlszHCsvwJ@Dj^>18-L*e z6e;id6G?uo!@(;sT-j1;EQNUautF4XLp|Lj?_dd^n33Os_Zscx5gz6xx%>I>D6`FA z*zL%^;hDYkX5Z}0UL4prI~k2PanaK6}J;c^wiG?L67m(5k32oid_4v1br)Re^UYaJ%q#Djee?lz@c8Wy>4?3 zhrwoh_6O-#qNn~mC!BrXPp^X-QYR8dqYG-Ewb`B6dwUaIAF|>V03;N+)A6bBYJK-v(#rC=-*va8`9us{H zqL=tmAN~By^(8qM{j5MZjayT~YZCiv!9I?2C!(iu7)Us^KU}cWgpbeBL{IHZC7jxM zK{)l(oUiMkzUIXLwuGw)zead1!XI;v@x<%?H$+eUwBqYV)c?Ti)rNC1{+)=vE-AM+ z(bpq<7UA%qhh+)_ag@aSr}BV1KA@L3l&L zI|+8iay#9Ko{rz%f_^5~4=6zIC+Jsk{Yavx?XrS!74h?iU}rtI^O)$Voo7T(+v^+A z)AlOK*RdE+^s^G@Vt?pCcpc)WC*hWak0czUyPvac@yvgHmL*NfN z&lEVUGaL%qAep&UrT z0_V*qO(2|>8_78w--!L8{X;|#4Xm_-8f^b^y8G)nzhQP7h2b_bB zmiwOQps=;8?CF=VG~|iJtb)2}IwP zlsiq(qy5=LPy6RiqNo1v7dZN#ByhBUme{BL^A^$5{`sD8TJBeYW4R^3X_l~kvD`|W zgO2u38$pl#p_RbVeiwnGefZ8dNTPjDqKEzoAK8X9g6L`gj39bi-&q1jf0hUw{aHio z)Bd@S=xP5+R;cSk~kI79#Z!29PbqNn}S5H9Li0vWAuae<>h6$Os|)ZiR+w4XF5dfGoV zgwt|+3LMKFBycR(n{%<;u|!Y%=Om(U$9%>3PZ#uPe-6>p{<(|jss9HBj{YYL9POVc z_G$mTL-e$N!uO>@65C5&WD}0%mV(A69Luf3Ip}ErY%1t6K5Yb!_PYuk?YkCW-<#;6 ze-?p%EQJz1Y+|{QL{H;9Tj1!=Qh}pC>o^A;?VksTp7zg^gwt}<1diq25jd9nm~*k* zPef1qr+iV$d;~r1pGDwel_h9*(DUIe8FLPL+COcGp8DTP;OKuBfusM9#6InxLx`UC z&*6ka)0W5fC3avF+jlI{)B77!i5~6^qh3q&5C`=0N1~^3*h};@4nGSV<8V^oX#XOy zPvdZl=xH3@6Hd$hDsU{f1b@R5$2FE)iF44=aaxDyA;eX9oSPCobTN!ud!na)_92}5 zIY{8>=Wv0epJO-|{hUtp;9?!_=X|24er_Oo>Q9Wo(VsYhqd&)qeLCK+5Iq2v(`atyHqCNMsFjSHy&{IFnILC2{@vkOu^v6=*=udNEpZ3pgMBkc~jrMyI zeJ8^E5Dr}r^=`xtjpq@35DesTcuDNgI2b@9u_U&8F@d9>W&%e) zt8)%I*hD{P5Iv3a9D$?#pNJiJRt)W|Cwf|6xzlt1p{m}zz9nHWumpB#eamnT^=-!f z(0(PNhcyUtTcW4!XeV&=-$~#Yp8>=^ZAWiGk9GnHr+$VL4*sD2LIL~^;WTco;mtgj zAPx|+ARf0aoQrXDAbRSLGvU;qfrQg?LkXwx94m0F*Gz$9JQr~eI;bMH*E*tyDvjp# ziY0p59}be!4{J#8-s!fCnA0>^UQ1&-wga}GM%pJxhs z>{oLIj`mjw9PMu_z$P0q zSg)-DNBet-ecEpmiJtb`+l13{9||1HeI;-#SE|V>&l2cpzcu4rpK)rxn!wS%rNGfX z{1Pc7(SA3gH(>ee;U7z`L{IyzAJJ2Pf(4HLOcXf!GlSTt{bw1`(|)_1a9ZwOfn&Le z0>^Ssa}GLM?p>m%{q`ZzcV@?6e||+cz0UebIPITRYe7_hyFRQXaP;3s;OKuF&Ot}} zXAi=uKYa+N{*2*V>{pWoZYX;#Npl2_{w(Gkbkv`XL{G;{0^zhBQw0w8AYBnSmiv%% z(9!YoSJxZX}%c&y&PH^*>GE=>HvoqyLYIecC@i5>EZmhnw{*fnDm41?OTr zHWWDe(^}x@PiJDE`r}0Obi4!*PU8?Ja4dJKz_HwD&Ot}V%Vt53<7KD7(f$#Eqy5tb z*uO#aFjQ{v@$#7H>3I1-^t8V6L*(puj6eEQ3LY*e9Q~=lIp}D=Z9w#Nyx0;>%e50Y zmg^*NEO!9sV!1&?Psd9b(bMrVm2lcWXAw^O=XPSB`oCA;=zpTX(f`xLKJA}(2&eu$ zBAohDw4vNAx$TAh%0%GkkGa6npE{g_j{4J_=;?TwM>upf`0)TptB4)i-!>3EwR4zo z8qebbNB=Jfyo6G$beD6`(Q%he^xz`izx_b;)X(CUib3rE7|+rIM}JfTM}O*Z4mvt6 zY>A%s&rU?&i5-LG_91%k|0R#J2hmgiPZ2$h^IgKh#0PFCy8t^yteA);hyzFsd4ETiE`f9N(lLQ!d!6MRbhQ86 zAbRi<`_E&dr+$7Qdg_n-;RJR(_AB(KR3ionM}I1C4m#R@8W270Kh{J~`_EFMr*Yd! zIMfUK!(n2F*6XUEugWX%umJrt!fAhaL+nt09ASqg>~EIb{vgg_m--V&^wiFI!fCy3 z6=3Hv(NjB}q48Kkf0}cD961;L=}$O)zi$Gu1DiN5rU{&zm*xo^`@=HMK}YB34Mb1< zKSVghp#v`{sk0-H1pZ6F>^wiE2 z!l5b{&zS<}=A}gf$9S&i9CUQN?;?8e6UX~eqNj07BYNu3Re_^FzX}}vc}DEh@m{70 zbAlx}-jw}eeXDRTwpU}qX?wLJcBubdiJr#Ug>bObgI8b>u|wO-ljtE1Sl@&K_&LI9 zxi<)ha(i<__c@1MTJ9U7r}6(JaP+4rJT$-(#0~Tq|I(a;j>f+s;bmAJ#=oav2YDZX zW4WFJ$8rOReLAiu5KhZoE!e?wHwhfe-6wD?_b9PX%RNi{ah|^^mD7g(a$}^K8?c-qNj1bCvdd?T;OOwhuEiaXxp4sk|j7^#r`nP z^Et=%LcT`eSnf`NW4RXyr}4QfaJ2JO;AqFV1#^xi@CSxI`cqZlXs3a|(M~ww(7q4( z0h2k0-G;>eETV^glEc5R;{f4cC!5AL?5YJ=C`Z_rC+tS0MVeL=RIG+KCl7`oEuW>d#riX&f#K9PQi}IL0B1 zbI`#fGw6?AYqrCZ*w2jwj`qt79PL-*9CQ$Jv|pd-A#U|~+-!)R#;voU*KmFJ0`#7Q zt4O)y*)}Ao7yQAG>_VC>|Ig!lx&3JZKg;<{fv0mmTi~xbj}~}gUhV>cSLA$&z#DSD zT;OWXR||YF=j#PNiu26^U&ncjzz=gCEAUI4?-lqX&JPOw1LubYUb=_^;ssuh^CW?{ z=R8&5E}Wkc_;AkC1U`lH%K~4_`89!W=lqty<2g?kcpB#q1)k1%hQQx&o-J@gBL%z= zxEbef1a8H7j=(!{?rW%IVE;c?O4;`p_*>3{1)grK=)(l=WvcMe0)J9k;o}7!R94}W z1^%X-!lwy*3`_v2>pFi6x@E5fd{Xv0WtF7?E0*|k&@OXja z`v*w^?_sUzQw6@Dp~BAyd^*2Bl_qcpSUj?HS>SQ7C}ZiGzz@L5jip-xzs1*)=>qS} zIj*O$eKk!LJA4?(KP<_oW;vszk}Y%4)Pn8+)zrZ)b z$(g0G%1f?4iJVUo_$h8jC-B}p*y{wY$Ah$8;9a?$LjvEy_mc%)f!nzx@cG=&bb)W- zaegZBb==NJfiL9#6ye7~yF))2&2?o3?#=64UEtVGRsz4v%WWg@_Iw||cM8jW&C7KW z^l_ZK3*3tP6C`l>{!d8b1>TzLwE}O(53fi2Dor;wWaX)j7xb2XVa>(U&0l_JY0|-~U12ZrqPy0yp6M(*%y!zjFotgzv8t zcqQ)VQGp-eaXT*XbzFa5;P}4VO@U**@cmDW4_;rt74&GQ94`m;Xs3q2_wktG_(r{k z+wCamQ+d4{1djIm3mo-60)NljWro1f&RT)v=SmFtctSt1wF>6 zHqrB?iL7r!IA5B`+)l8A_3B0Re90o~@jL+j@Fj@M#}YkXvdBC_u&?9sQGSP88C!7P z;mcuZv7pDe^=MbDuFlW_U{UO46oNm zk#l{8!iquke>LaT1b&>C+eF}jT<7`hBws9I9JYWFmdphn#_QEc;5d%(x*6@@yfIkNKjd}-1wN10 zD@x!h*&9h(A#fbmX9bSGM{%2Ttgn3w#gIN^ZwIE(7)jN(SrS+V34JWf*yajV6DK9^8G}?&QNYARnX(_BHR`9*j^Y9 z$cC=!0nV^gp8JdS#d>NuM}07_FMgjb>hbp;h6#H3-g`)61&-rUEAUv}Pks{kWM1wT zfj8#*LjoVB6f30)9IsEl3j6{0(~u8XtQY?7MP<%04(LCAUoPrB_`KmG=vABt2=?*! zHl_*sV!U4S1&;IoT7jcKIKI)J9NwR=2>MRkpL?969`B0v4`2AGmb$NSL=N#h}&h6I`^sbz@6ZGgme*Z1npT_m$1pP$_8cWj!`^C6E zM$kJba_O+ZxAQos2zK!P!&5O>I?eZ`%wb-+6!=lTkL`o@Q#tP^=zrn+^!_Kr=O*VKf*!{&_7}AOjOzjf{d>M2BJgi~f0V#W z^7b7saJ+Abam8}+d-bOadiWh8NIK<3?k7;MhMY$Wycy?9Ifq@|^<|>s92n&t1deeZ zDsYU~WP#)OT`h2&ACd%)^G}Arao#iH^*}#yKF4|^$MXe#?>=%o?*t2W@cb1ma6He( z3LMYxX#&Uf41NzfmW%76vH(~@j_a^cov%qm37AA09-!2e1u9No)9MAWc1&-GR zZv>9l7iIZ82ifq4*G(-2j@Ms!Ujg-aJu6v-jtK~Jb7!w%AJJ~56biIh%yP@wuJLXhg_m;bQr3< z=GZH*<=G1yYozQ-X8aY-AHaF@aw{lI#zQ!T8T(41BW247LrauA}mr#gA9^@{Y%PtY8`W9dFiK zIRe+=1sxCFL_Qt`{PhVxowbQGu7Gb8#uK@afyW_EW*g8ig=$Jh{CI4C z)C*yffA0}&ipRI)$K&(v1s#8#W#rd>nk3~2ysrT52SW+V$M(ywY&bHOFL2ls({7g%@g(P- z$36GE&vSP6`d`2PQ_h&gK-74_Tc}aNpgQoRY^#elgFeSSKx06zO>W{KIYF9c=|?R` zckI0#1AFIfSGz0}!t+3%1c0A>UUr&>+Qi%HXx z`p`&9iw_Ou^-)@H`~KFxU2`En3hgH$x0T?*y#Uh1OB=%`4JpODYM(g#LatIA;CtAw zP#49+rtQE|ytU$vQUdRJaW4+4-In0RbGeMJ8S$)MKzAwLtKvS-34ovNODICSZ@&(n zIdnKdQKfjR#d*~Wh+}07u*i7u`f~9^DPBhj-rEm}XC2Eey5F?G`#~)0%75Y|%q-Sr zX(Psww2{=bp7!D$#l$5Z6wZkNV{}CgNH%d*CHr;WUnXtnG^BLD9|*jQ0?#iJtHn*; zlJnbuxLUCD975;?gJ@Fn@5VTSxCfboBs~TuqN51PN=?0Y{b6| zF>;7TGFDazgRwwZ3I-iduma%@@D>D=N3ehzrKQ#x@p#>nsMQsmd4z*The~5Q!xUAy zaY0m-6LsrU-8`5R$PVC4ol1a%2bHrXv|GV%kqLU&5q3*O*VBeZ@|VeO1(ti^@a{uX z&GiI(2G}Puzk)}wK+F*Mdn>RHzMVjH+5ZSbj6-IJ7GjBx_EJ{PuiMWL!h3G)S zOzII-;Aop^Sh`^qqV4*qo-uQJJ{rr!tzk2tEkyUk6TSTdk(_W8#q_s#&vh4)&oL26 zYV@fBRu;{~QzO~95l`t^;78kfFmWtzQf3sQ#^KQ{OB{;lQMX$A`dSCI{?4a6w7r9| z4ozbW3Dl<#vqJi~&PI$vI%VidHEmcdiHw`~*Z{+ngdLQF3)7FKbZb5t+YuEr0iowv zwve)c`U##;hterABYusTX|mn@t-EpH_DiPM?7j)|N%*;)1wo|;Wfw@kl(A>)-_eh3 z{48?m%9cAZ_~~g_;1|HZfT@sDk$nbCWIq~6>Laor8srzY#hCp(pf9IMK<=7^x#*hy zPYmjg{o%00Mt6!f?M+50_aa$nk3`h%XtT4lho;jn1uwk+^>jjgrk6`=ri7@61W}@qi;_>cD9_17k6pMZL&-(yD_oS_sAA-rb~ilUVy>F-bl30enOim;-@ zgAcDNuMZ;$DS(yHDcV%aR|W2JS?N;zBb@Ew;lQ7Kxzfd-P&#=fWJMSEDLuRzs&7m- z$2eEynlUbS^QGN1jEB2;Kyg&2e9Bh@&hT=eb@M88@-B}bs}gh3_24(UF$0MO^c-^J zjvh#Sx-_nb^h44a;?tv1g~ZsN<&NC3f;NU1Bd$Q1a{S6LB=D4NLar7579mw3A?)$n zg{1jI?&6@+b%p?R8IlN9z_#5|KPYUszn^R@)ctN+0lTsYZ=JB+d!)}>>UZy*LW{y# zcZqHPD#15Lntn8GF>S$5Jj-Yi`oPwTijelex})Xr|HB$)S~i}^m~C5hV$Rph3+d0xk%+ zDu`4;u~w`-*6OO&F1n413Tmq@9z0#!9;HWQTkFT7U9h_DotJyV^P0c9b51fdznS0M zxgYPoSCo`I(?ujgR77Yx8t^EJQ0&kFTfv(OG!prtR8_?tRmnXsRfV-rRhiVMs<@!4 zc7+60#l@4Ld*JU2sL5M|Ag!?8t4zA5s#lfR2H{jbrmDaNO00dTVE8~0K2n)_52{yq z!GHTXzDR|&2YWp{2}Z_+GS1D^m^Hal&SWy0rb^$)_do`2Rf;J`|F(7+muZd|Bh?wr zQiD;d=k!KXA#%+1BAGOuyQN{;l{TC0lCA9w8l+CB6AevPXpgQN+`YUjO|fxHNpNds zmgt>^penCK|M#V5t8%?U#+G+!HD6vCD_SP%t&jBfI2oVY>~^?NJ^Q00aY4yZ4K4nP zO=54CO%nO!owsC%-?E%ucYTbs`)I<+>WaoYf#o|y3kLgT*jn$3KAce;bjaQ3w!3GM zri*i3-8iLM)Vy_4%@+688rLBwTmoDq>(%bF^DI)=V&B^Ah7sb0ZM$~Yo|o2a)ct92_jvw={HU)M~XBiH5ml$%{qP5E^Mg7aj2`d%DB7H2jRy z)!Z$0p7@)ps;V#gE%Cl#iuQERIZS0 z`}((^R@%lM>n_u6sLU#qTx>dit}^BL>v??sTdgE;SH7DJEFqA(V{@_5nD(sUd9{(8K>o%u#>3PRG?s{ciGpcWU zl*%O~);-ad5R)-q{pRuUEk_nTdeqqVhwnaJJ2#yKL1#w^;^Fv-|PJ?FQ)A}G5oxy{m-Wke)+jauWP|Aw@s;U zKku0wk7gw%PL)Q?nwL688Z$vQUKS%AFCRZa9xIO_ZJ|Nfkm4U)X*dtLAdw9)Dk9?3 zbL2|`qSXtK$l@g$C2=3T83+9_9z3km&JcPkp2|kA4pkROL^OM2kPbB$EnSAKyoC2TJ-DM!Rfpyt|Ryqrp^lDPiOEo z#7|`KQsS!^oSrk``G@}NNZz|dv-6b_9M(X%4si@l_v<|dr~8g%`GtD3MvJxCWYt+)A7VWCEEq1|0{~ z0W3Giz)=bwkD354;r&dbUe6iu&<3NKli^o;biP@Wxt#bqLxC*MWX$7C=0Z}JTe>9M zq|tL^qW`CoVm_?7@UDZB3i!ja*{&S_T zoLj)f01D)qz!sY9_)$0rHGeN3&JENQo-OPmIzGMk0Rv&jhv$OF=*0Le3L-@BeG0Q_ z@Vq%&KQEHlLmGqigFT{rx_)yo=4^a_!n=;+LZN($WnjY@{~_VC^Jn?+J?O0eKDb!0 z$n6S2|L}gNeA++UFV4o7k_}x;_*79o^>eY|Z2SoLD8cg3uK4i*qI^2O6=N{IoCZjK z6B+*o@u{L|e9ssx$3JI$3p9nL%&r{&EWaK{c)laUZagRaAO@%7QoV=pnKTq2{Adyc zDUU)&umO)Md;X<_Pxp`J)BdU7jt!{E@>2-kLKBH*`K=gtwtxN-J3&QwaDLz$kMimM vIU5@&ZDf4