From f2b3b9bd7b09af7408079b973c65b0cf0edc3276 Mon Sep 17 00:00:00 2001 From: Vojtech Forejt Date: Thu, 20 Dec 2012 21:46:09 +0000 Subject: [PATCH] =?UTF-8?q?disabling=20ignored=20weights=20due=20to=20a=20?= =?UTF-8?q?numerical=20problem=20(multi(Pmax=3D=3F[F=20s1=3D7&s2=3D7&d1+d2?= =?UTF-8?q?=3D7],Pmax=3D=3F[F=20s1=3D7&s2=3D7&d1+d2=3D8])=20with=20two-dic?= =?UTF-8?q?e.nm)?= git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6256 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- .../lib/mac/liblpsolve55j.jnilib | Bin 98432 -> 115164 bytes prism/src/sparse/PS_NondetMultiObj.cc | 5 +++-- prism/src/sparse/PS_NondetMultiObjGS.cc | 3 ++- 3 files changed, 5 insertions(+), 3 deletions(-) diff --git a/prism/ext/lp_solve_5.5_java/lib/mac/liblpsolve55j.jnilib b/prism/ext/lp_solve_5.5_java/lib/mac/liblpsolve55j.jnilib index 47ff33b2184179b05ceab79bb0a5244dd265cfc4..41800ea6c8ff778296d57f4d52be753ffc858529 100755 GIT binary patch literal 115164 zcmeFa3v^Y*^*??MhhB{LW&5{Qj8ijD%C@cny@;%PQw}AB`(nAEVNJnUz&qRzAJd zE{ddg-|OnukrWDlymoV%py}z`;E(jO@^TA`b4!39NpD4~kTE_@P&u!m7UwUDzZs=v zCHaN3G)5%7y7$zLD-KaPuh|FIpNBRIv$DzyZ^$pq$;vOBStQrq{`lyhs%C~JU|s9W zs4OchH!o{uN%ovvbt{s;ksqt_=5tlfYd3$91ZgKhC^#!CW%R_+uDh0f4ANy0*R&JT zwfZ_MtFR!e^u{^Uiwd%e%SyVXXOS~N&&?P6^C0kH{bgm%Dsq`!6um*3AKk46uOsR8 z_0TKG?uoy_n%-bdkk@W{l((OU-i)F-bBYQbe!cn|o}`fLECl3kdM;9e!G1`^|E#RE zvEzOoNEvI5+2IIbSZiQ^2x}jAs>!TsX4!wQF)|c3>w?Z$ODtKZ_-Z4>17;&i&53R zj5^rbVJOSMfA`-|FvkD?a2H0vgBSNQ4k6KqzaQb6?fiDgBaJWo>ioLya8)$Y^<|=NFz;R66hcbI)>1J}l=(Eq7Esg9GMZ^~dJ}FeEz6xVY>d0!X}}`i^QQMQYTO-$vhV-C*TDB0 z_+A6wYv6kge6NA;HSoO#qBW428u~|SsG=)1RNk2y4j}J)`mw!?O#!nvqOWkk3 zriRm-%*2;jsqfREDXgeE$EZ3-Gm|N*kjZbibv zf51Yd25ZfFg>-|3R6QVUBbXN|j@xx}?cjKUYVI}*sk~A(S83)bO6Ms`sAF?n$U6?l zixi2FMPk*wy?gfxm1;uf(TdO)$9RmO*g{u)cQ%P|Z&*mx1E$&t<^rJ*Xw{9jg6|2c z(W@<_RmFCrgv>`2y*m^=)U>&8;2nqiOBA6iY(jZ9AwuTWiqJTVG1W_FTIh=V5en&S zFVc@(NYz5@P=$Ad7q7Pq4_)|=mqZm`9If?LJ>c^emSA*kHRlS2K#P{31*-UncdO6q zu#i?wvn3#8-mmDbQ1npKR>i}-Lse7{*kRS)YW_eq(X5+jMiYNkO}t_ut(t5%LC74b zn)rpqayXr}es7^eNrA@H(9#U4wLUdmO~~x6YMrcVp*@?i{=BnbLxW)$wjUb!<3+gC z{%T=IqV0@AnH+-nKj4=~QDvDJ8gPA~H&R2JQ$y>_Ctd`xg&Pt{DJ4ezaNiT99$F7) zq8>)&j?~b4GoSTBfp!pYN3I$XIx~fk+kZy$17dKHs?*lFDJ|?W%6_PI3))~_A>BhH zHsz?Hua|SxtoZAN9fNH79a}zs8##uZfd9?r3~GDfhCx$bj>YfrsQQYHo!@fsl8wHz ze?WCcs^yloq81D(3`hzyAho*h73di1=;MS`Of>8!EsB}?0saiU35H2 zF5EDjJ*4KNg&oDA7K=knSfJV}G&TibRKVU8Xx4d?1)t=kanAyj{=Xh9|%Vr z|4O%G*d8?=PKO}k!p>4fFd(79IdF)B)ugcwK~XrcCKT8e4(x(uafC12P(1ZzZU6ga zABlr{wvSURKB@;Cw8ie2-YgBt^dlDUv5%btd$x~9VgGLXxB%B4jrD9FpT1(VanK&e zK3`X2rYb{PZ~*`DLtJ|__Rp&He~SOu zDXu{|UGX1eW7uY!jSs$peV{h<+4nYSm18^;PS)}to1PO!ThNyBLi8V`GRUE_98^9o z2Z^+pBo+w?+6N3`z;H)65Ups1|7dpn2VAc9ANAUQ3}bCAC}EGFAIlxbPaJF^I}^nh ztEGNBTnCgT;q!Z{2$I@9XDf>qZkWdDBw5WT3py&P7;9O?kYQgl%BBEyiO5Q3mJbg@ zH@c=WY5U)*ZB8fKH<7%U!{1oyaTjwOb9j<;!kO@g)^zfe%N(9E=c&r2}R|k zm{dv>6?A}jc~dukwkmE!aifF@*Mkr9P)aX+pw)8POcQLTF);kE=$ks}(sE2YjK6?a zi^_Frp+L>p5Xsl11k>*r8(LQtxWnAFQlu9h5%%clBh8C739Yq|9pidT6=B%flhC~m zR+AQD5sMaVsD%7>9BR!!mN9J#w4o>HSz<>fjvduw#5{0F3_E&4wOkK7TJjh6iP%w? zr7E(JP9C^uvSUXxNhh2MlI1P2!jj>tGW!<8aFf~eY=n;NX@}1efu#ZpS^(L&ZKKV` zl7GVj-l2ryzJ|1#j#e|FTg$B!gEkmt7d6?z4XNZiR4yl#T191jf>=QWl{172Jqv7R zz$1bq@_}wevtuPN4=XB32{xODiD1F>=g^aobep;3nFvWgs7n6;Bc}ZLs=#xjdX*ot zDX@zj_VK|0kYg4>e9xo^aQ_Ea}ZQUG7EV?~nc?wfw~2mvdmMHZe5_ z&&!`iQAGTm?43WoOg4Tl&0+NPJw7IrQ%TWfyTau3E+v{Q656SH@Btd>?Fc#DVLO;A zht|1lYz}2^fHMfEZ!jNJqlC(8(TwlH3K5JaV~I1&r+&ZrKU=?7;xRRdMdJxv%cxJ{~iAB!ejYp{(8saZx*6DpZq09^SAsdQKN^yM9V%y z=o@eEztFjNZ#caJeSi&#cWI7#bzR9m?RI^tY^?&7QPaF%)f;5{)rkHZWVIjB_$9i2 z>3-J#<}=m)iThc9t**aKjhSxw??HbzfrPEUUn@GYJK;xvm+1C0{k9*Wzi&QOmV#oF z{cvM9?c4T={tu;_5mcU2R9Zn~;EPQVX5fo|WdIo38d`5o0!gj{+A*?2>0G}l=i=GF z@UGv`0_OSlv=H_LtO;{d0G4i#rS?b%QKuXPvh`*vA{3Z^Be+z-#;-KLt?rmjeBIs^ zf{FkP;R?4eE{_nc?GsTDW~V?s1PfP~oO{v`Cxj}NiOq)t%R=kZLhI5)&E^WU{Q1Bm zWb&hDYKOCKlpP47GM3rOZP{nps*EDU8O&gTOM1)4~& znGljA0xg6P0C4SV$FmDNh6kI2uUTUxnEqKX@M(k~KTv|SRs}wdHSJXeK2yb}H5-~* z-L2ttGn}~#JPusFF0^sr>h)0ZPL~f8JB=8x!-Fk0H-XP0SP6EBPFw6Yy)!VdTf*sf zgJ$NFY6_Rhy4_;0o$O(Q43o7z!46!Fh=UtPQU1T!;sybHTWU4zsycIfYBgd`QGJ70 z4<0#uM$=)>R1f$__JPDo20kuU(u_MQFd6`}6b5$x5nO2TxXF15mxR^ly=2wpeiJu^ z>&=rN6BCLnsopYbnN43DzzDoDswftDh2K zITQ?h1nv;`3k7VoU}TKeVn*-b)w7`x+g9oscz4q&y@G)^sse9}GRhEPwPNpa@5iN@ zK&R+@tGVExVg^lBfsd5wN#x8xtW7seX_~^BZEA6+Ebq?{*4k9S5aVtyqXR^r97h~L z4d!`ZNOl9@ky;@=_fZ#a$benc==o^4Eve&9*(g5$xR$?ykLxi1z*l>He4P4TxxO>i@XC<)&AkSA0k9C3e$)XR7vK6ly-Z zfu1%-JknkLPd*ZU+fl!r{r}*j%Gyjg!4TX(_MWXh|JctTqT{3cTqNyz{$l9C!&ij= z?2f;5Ma-7(xkn=CX#4K2{(y-33psRS=*PC#Xn8h&=ya(qPcN;fU2xo(y{Ub1#8Kld zn%+&Z==}?Fag=vQuRHn9RK)E5TlH|9{fCZ+SFzV$JOAOehq0P3-}VqeuR4O>i3iBv zB@y)Ac<8|7{bZL{-d`Uez2y<~E;&GY>586h|9{2&Ypd9`At%#z`v(w44cEx^;I!0G zr*a{IPJ5=?6lju(#|k-N3eWfE6evrZt$(0u7vkB?GW96ujjHrFu#fm@G*J#f3QQ594vp9fk0?|Rp4238Yp4DY!b%dWTvQV&fgNR4qVJo7gxZr zXY(IO^P%*W;q;XY*Y!%Bfju(Dm-vruj+Ze0+*5G*IYPX8z$LQrChB;N>hKbM=J%+k zx&OETH=Cu!aAs4ud?lW`LgI=QpdVr!vm>0j0+9@M-^?|v2W;>HMmF|IFh2ePt|5WV z@6`&$EkcT}1xED*3pb%$1$JjW>jB&U;N=l#b5?MXgk7!Zhhj|EWSBgNB zen5FRd%9mlby@M0&40ANt8%C#%+>4W$I-hC?^_w(BRL|_PN>~#BgHUc>nEE28L{a9 zVt?sJsOHsnmzJT2BQ#ybE%`RdxAy+d^IKaV5%ek|==~dgy$pN)hkZx|O*lF_ zz34%7l`A^smfv=E)yFqPFw^<22nUmuktd5Tj4l~Gvthfzb;0zPs?uL#I0#dETTJO~ zn9|$9z>9YK*bH@6d1bfpNwD z^7raaul>IbdQjs&`Rh*JiU@iipnLq-zb&r}kqDua6j5PHjYjm$9kdK9c7;3fr@x(T z-u~SL{`~0A<}cbmRk=vocAIZ=XPckLpCrS{iF=*lbG3G z%SEx;JLmx0>u$Wf`i6JBJcx&w2j~xPa*?$4bp^)Z{@CN0ikLlresj-vV2`ak9HH&` z+V*|wB@~GY0vi3U4Nvzh*91n4xGQQUvosZ`Fj?6w0uA;d+v_E zCtSqHU#|n_?;00Lo4=>_lfMBjV&v~ncgESj5%#jS#ZeyVP4G$2_6ITipCTzP!It+- z=+T}h4lsU*et!MsHb)9HiHE$Q3Osbe3k`gtc1_OV;E1BgG9ds+`B zsYadW%TW&&vGKi-Aw1XZJc<(UB; zNA{0Bek1JdOidca?esr?5Bu{!Hoa(n@Yd!S{@?}|PqF65?)*WuB4&?=*FeWlyw@GQ zOCsn6Ag`bOI9pzMzTn+h-ThZbVAlhN*I^o}8&m+P(tYfYE_c&Hf4p6F!2NNhi=;h2 zX4%ZejvsCPMfdO5%_6Ss2;21j7*hS>_jyE*{lw#>ytebiCYS9nzJe@% z_6O|#iQsywqGykn^4t847n?t-f)ClcV9A{j49_FX1Q(O``shShrrW&z?Jup}DDv9; zy?yIfQgk4Hg+cf5%7gclvk1U-Ms_PPX;84Luz{e-(<9t-pnfzXSax#p3Vu z{o-%u25+zS^zXl6IX?J{ zHQs6!J@K%%z5EzGZAZf0zSYRrW$h;j?)N>r*$+5VHD%k=)eFCa{%TzxLmvnE(?|4t zQ>Ca0i}rkzg?_WO;UoISQp_{|+Ws@Tz2joFw-9>yAGP<`I%mk(@?G%1Ywse}o_GG< zjW;A{ihk#BTYnK##m**27{-&2BG|L_b^zy)#sMUVHc%`fb1LAzFW%Ule(~^#6PFe$tPyw>gTq z?Z1xre_?N3Yegcz_Vyh5F4ErY`7T19<%+a=%?ab@8^~kT1-Q@mE2c)&f4ZCc$<};; z{)*n;`k|s?b(!pMZNYHn{?-=kZ(UWun6a{W2+{I}Ug8hJd(T2gHB=4eCjZEU%Ndzr>yiRcx2re7l^ll{fRX zopt7yH%Sl5N+iYZKbt@5Bli0`cl}xP;(cG|i21^C6IySQx9lU|*Xg=Z5Txs@r>c&K zo&^z1BOZQw$KvO2l&+`uhw}bs{FJ;9LqDSJp7?2<_rKE5`_ISVXZgPLlX`&s^l0Bj zin#KQuy4M~*3Mr4_?ieqKUFcW%*Od*em)3<)`v2;@YPg&I03&@(K@=3B;Y`r_$@8o z{lvE=<{)6wImpKo>b(H?t!~%fZu^h+Kle6@D!cVRy`WXwJNSr&g$+cE_|y9@cKg=b ztP%P++Qk9mn5&g0WiWci9R|Cskt^qlUFnG^>IE;`ElT?fIYSBXjuo2Zl`3C6Z|~l{0_yi(%SLIbqCMZKirpF@)KDJ% z3C=TBfoDeHu$iZOfv~*c2d8+IrqZrO-L0Of1yLLnUD$8V{;pj0i@`T%SIX;-D~+na z%3$DGyvIz!`WtjP2*oDMFK4*VP@@P}f^emmaI%~5Y9YKDgjWXxtEvL4NSK17o_y+F zHb!&Y67~JwnIM!J5>2IsRpv|{dL@|tkPmeATV=r}d>C0)Fn z50w&L%p!BVGLU+-Tudp(*{aCCva!e4Z(T$B&#X($}&(b+l z*^JZ`j8Ts7qr*#SOS;AnRgF5Z*a&RAqN?8)U9f?cXifN@_0=@DW#h99SZfn-X|;_y zZ_v52a?4~bW3yhdUw)n?RKf#}Y-TIcNe!{i zQbO0f#5cRY$hJLsFDsKH=A*0KA zo7mRxPaI?a^|LPhw%tOd%HV$+&BfI3GaIR#?)6)*Dn{z}U>0lrzQTTwOTWbt_Djdy zt?fp7=n5pPxC$8ZQ}ke?}hMqo{Xk%Evc2K^z%apm=Nob+5;`#j)H!p^oh_ z4y~k6V$p}Fx|%agq?X5Mf01xlTIm1iw9^ryP`I+3s4^BjgV)gX$Nv%%@;bx*nEJc&ynCFhBXUDXqq z`fNG7*4uJ6D+BP#`RN>ylL|s*Th4SAyS<>jLgOd7v7T2g=)lQrsMGhl7no6b5W51M ziikCo*$!%)Pt2dANBDFFA5Ev5>O0}k4)bE^r}aR@d6-KRIPu}Mt#CyfKC5oQ*+Oa6 zM>nBYLu>n3lkcjoZ};v^3++e?FC~PtDLbX$^_1{ZBBk)WyJmBya`By*NZ!JVS*Z(i zE0N8Eo@6_HS3IvcruY{&mmh-jf+)+>m(7z<+y4GI*|y&p-#3+wgn(U?DJtH%q=4<} z&o-P$=OcbYZItKfdY1M7_zAIob_j+W;sA9>)(|L&-?FF|9*pwibTz2!=nak?{EDiu z7?G31WEiww4;J)NAUQhzj!&LBB<5S5t5(F6=k*@s>Ep=r`)^{(lMqXuX(_=bPZuGW z4+h@Fl!52~EJubt-AxhI>QP%G^eB$l33o1;?V2L~E>pzcF-8167}#DF*iPsEH#TGi z?LXH&(XI#Sxr%TDidFbx2kpD^U4-8d!f$}^8^OSis=y9d$<3OSWhGxdCR)Yg*>}}< z_^mKlIS{E;WL0qvM8FnEd8_)G5yzCNuNj}>Cr#_jqjeW-s!HF))0Hff;+Y6F_E<4b z*dtxg$idr>!<4iEe@&Mo!I551P3z5@eXm>1j27Y@|IyK>6?L}DL`-dU!s0D$^;3@l z>rpJxymSNQH&^Gmv=t-jEHBff=y15GdF4-{E%qqL;dH9%r7LMzYG|E^@yVg}TvhsW z)WZ;68)!%0C3`(W%w2*B-7g>XBMgM=JV>xt)wdyLx}S|R)IWoJ%mANMtCTP=p+%oWiEY|DDq zo)Y)wqe;U?J` z5(!6sB@#A6GBc45TfC)5{}~>6_#v+|mp8EwY!Bm=@e=iXj|S4@mGP5YmyA1Q*zd%! z-x&F@6t9ox@V)V~@*>TGApFhNu=NH=Q zV)?s+9eGl}aQbJsa^v3pQTKW1$^ltZNrh_IME6QWzgIX9rhinG{*gP5FfoTbAiEKw z!5#lXi}E>P)c$XL@#iPgXk~um>21FkHPOexla3;v zL7HCY-Kz9=-Mzu6?qo->)XzPFwY-S-Id((kIIIz$zi%+tWLYv={pDZ2DXeS7Ki$c9 zUY+zzobo*-<36^0>9U0)9hdii`;xEix(NBA=O=G}EPhb<Egu4|R6mGc-ao-l(uUAacOa*g@rR3Hlm z*Wr9P3i|fZTRe4Zo%t$pWV*4wmzd^>cf7i|@d43=GGMs)UXX{Y`evTtEXSO1uwid3 zfp&$z)PYaoryRDKo6&vH5tY~^yIef4mfO6K%I=5A-3H>jSF#erXXixM6g1+VP#LJR zC%6XwjZ=NjX9(2i;T}Acy`d4DLI$DR3tzL&g3LY%^+SE#`ir-fwapfXB0StcQ09#Va8!LUQMc+@{6F*cZ~Jc^2sHgWuoJ zK3F^%cd;sy41IYz_=I&=PegH8Qq>bwh;5%^YHO|(v41Tq2 z*-0mSj8=Dleh?lvHa>;xTunp)8$Fv7lXc9y1x48-#Tp{^D){^m$p5gW!Pl#EKAvQ7rr*1%hGn2 z;~D6^O+Vl2y4`uTr}mF=n=TJqC$c_&&2zf~k94=lx^4^Bbz6dgSE>T9xHJ`(oklUK z+TVfO2YXRd+KCB+7?+hVaR`Lgjsm|*Kf?vu8eYtz(9)qy*N3Z_Ls`6Q-U&X05-jin zz*iYQ=JHTiHqja<6U!{q-h_YWX{7 z>!BIN+^X1J-k`u14`2nFR4xfqt`~+&L<3mok3NiNP28ur&!a zq+JfAi_mq36JorrgIQ$vZrrVtlQXCWEr2^q- zvmNG!iNdBm`)D8AUKMEPzR9VYdRSGK3F}T(r3vIE^w3q_s|viwDxYiPbyvAgRcS;O z*=x~N-meP0&nhp)sPa=)MY&eTr+rWr_<&WGI76gULOlc)c%cWU6LVKp`z|`IX%w30 z&{hkioMf7snsA(3nsQNQXBTyYPJ|6TFd<@;?5axNC8GqtRz|~yw%}Qu5OG^*mCQFd zCQgl3#DUL(h($0xlHfn8(*Gd@|H9s<9xZ}s0A>S%8NxRRDqx*C-9>QE_y`X5Z()?r z12Je>bBE4T#L_Hc3c#MVi`Y|<#HF$JtMn?V4m_0-)^xM{#G zu)kL1*dL{n$NvQznm~Zhyiy|0bIY&?BiFC);6wQ%_Ah9ZxATQ9KF0#S4!xVCXSv~q zLxb^3hjb{896O17Y3kJ5$o3X=w1^=3z~6n1YwOJMZGSh zqAUyv42!7vyC*0`vsXZUsq_b+TBXxWk=+wQM13f#n%B}Eb67~x{ISJ7uL zTk+vN4)Is+1o7oEhOIZEz!~0%QZ9QtG{_jZ47E(D?U3Xrgik?B+VH zY`j^eC$JpW5obPGAWUE^3WJ+~`?!N};Z7Xuc*lneqq4|Ayk)|s0@ zz+yfpl9=0-z?3vG+sTcxh$S)qv4Ky~JO%16Pi(52zO<4QP$_3xjl_YWgo2!>As z$0G82$(7!$5!Cw*3K4*K_>ZP)&@7kT%dnzSOOhrq+Z4SdnLwUgOGIsQ5s~)E(}^YV z<7Bk7`**bG04O)1ZVMW1i5@9m(TRrmTur$EO?eyM0&_*Cf6cZje|tM9|4i8+`>6qz z3|&d9hl&ve(_gGge-ZOcIm2PGQ<(9I4s+pmL1GWpj)kG-Az<<7@G=2)$lY zhuQYH9r2O!z_vx$+YuYGY$NyzZM(N4ECcwdXv%rIz+R-@xgBxtG`o7$PG>t}C3uJ5 zfA&h=Wr&0SnAgf&+Yu{Wx_wA>8F~)e5f6nj?`D_X4XxIiD@a1e14AeTNyXfbumki; zn1=N}#WY*rj0d~}cWhX6t;P^^y&Fw&;DTLjUqRO!b-@N~poy+GP}lffj;0=UEgsnN zGn~z>*<-RSuw_tHqiy$g8XS_8zl0{c+fHkCs-MsnV>|7_v1+6>b-$hVEjJWZONW62 z_jVdguDns(I=c_sLofjJ$I4LVL+p=-&>!{Y5Htckl3#NP9jtm4Q|(Vi?Eh>E)Uqq! zH*0hr)On@K{p#bKE_du>)THXWc9 z+jH4eeFcSzifdNl1#w14M`#xGCYKDXYgCmWdLrlwg{+sp-_dcNyUI^gl}c1`Z-A}F z+v05Haa3{dbTvvRM}zW?uzs{E{ZY=LRx~KaQhl`Hh>_BYHcpT> z#L3p!I~wyqNC#-=3U#)Vq}mBDW>IMADNHdbF-L&LyXNcw83r+o*g=3jlb-$+H}t=n z{OQ+&c9RrKH<<`f)Uax>K!^!h6k2)|Q#8pOP4ce!Ws1|}a=@M@?FH~ir^!mYNvcpc zIS8O?GC?3T$)b?FO2{Vr;0jIhuDQt77!t$Jh9i9aINtF9$7d~|GI?VU1@Swz8{-JsQAgzMaQvC~h`j{UAE`=z#2tTEBK+Fq5It-=h^|sY$`mV7G4{!$B`T0^KnTvg?snJh zKHl35?%_0HgR1sFlHIi#q{n#0()Rcd$|716xZ)PDbDCm@PQ}z4h2ipAJ-iEK#L%T>v5)DKa^f7t*UW{ zR`+B5P(TuT{m>?k^E+EV9P%5{wY`4$6Pog@A8yqJajqXOCY!O=4})b{FUm?s+p*RU zKM`AXUZJtpYJ433q*MK!Z86plUyYKnp4r3t;YF@%mHU0==KWef;0;RlMCS-X zI2s9UbqrWPkALQ3X*H$+V@UdW9{)H==;!f2q7dCKfR&^0o;NkEr}Zx!BvfMC?{2gt z_Pek5Med_>jP<_A4crS<=CK0A-3HpE%UjV%cMIGTovye9pM*udFEaTeWuQI0FLJ!Y z!5QGdy}(5$_<3LCVl)CBlV9_3dgi#^7y0*1Ui(}qEcmt zXS3F+H7{9%o*Ohfo$9+^iL%clFO*gf#6Axr32mRhR?fDY4VrlE^G`Q=?ehY(t*=w~Wx_3v zWR*NwQ4ur|+P1%lXofZ%;?IQQJ;oOE>+^;2;e3R*hO;`k*J zb-r*b31ge8HMHJbst1C#m22_W4*ouuHNW(Ido#$WPb4CLFUZ|K&-r0fZp9p}I1t5v z1D--g<#4Z48;&&yt+uI~#ZKEfcH1%cE8Xo!G=1M(kMOG1Com@1Be5ht#%c9ae&wW( zmh9~V1qZQbBV z?HwPk_G0O~uWB@gKlnyV8EX`5lN|$*a-yr{82WbmgIMh^F6pkn*PhqC)lYWX-_8%A zy6(hXmw+BdhIt00E3mGpsFSY8Y*uGZK3jzhTf*sE7JjwY{*&&gBapkkqIXt?*0Z%kY-YkAWjc{j}hr ztonI6XcjNZy6m^uWly#iRm+xO&tTUFic*pz2ptcy_`S?^z1)xaFt+fFD(X#c1D%e# z^;h18=pYWvQ_zxoU|MlxBeZp$L*V!LSSw`_P{*%M`+U&%GD+x#`Z?zc+yqf%WFc?Iy>?5T*o@H6Q>VH0iPwEpAK7ut%p%dH zif^IIerMUbbROe%qsx`&h)lKx+AGF8xolOs+z9%+^{!L1(j`p;x@?6w)a54qA+M!N ze)4f7_}2t7n{*rr&h1UN;xkno=~{^E`Q3gm{yc|=G2p?DBk|C>$=`##31|e`BD?0x zBLJ&~ctkw*9ghE@6x#pzSLn9(%c92r93SI<6ncS6hFIhOUPp!7Ufk#SCp-HZ|G@b! z#y@sJp(uO&Cxfi-@ehB8y3yl*m27{=jB_Lu7km8ohDmfc{(tKb`2E`G@qdQ5bN6Tb zlY}+?mA7qzC_ z6KnjRzVGqx@Gu5E?9cc|Blh^G?~OVBhr9eM&ZCPJg7ls(I+l)t3k+AtFW0t*Dq6%7 zaxPqNUaUTOVSZm;V{GBpT8F-Q9ky#uw*%8h6FJpJ3R~m}9lL!_nUM7pxXz zuE(Z@AccCpGlbu)*DsV}=5Cg_$BKizGk9m7FvStv1-BmkrP*gcp#iwwi?P<<(Q(it z3bhHeBy1{6Wv8jB2Gbf|RHh}CH!#pjZ!iz(MruysrfiFdp5J*M99rDrQz|Fm!Iwc; zp|3C}vt7sG>1OIwz*EPMhSr(Gh@;HL`aaF>uO81|eCafiza0&<%X>k2nwd^LuAamP zAbRiv$v!vWT|KB`_2~~C=?q6Yllu>v=q$FXLtQI=@W=1ZBKfuY%i{OjnKr)|2ljCp z<#0FM+2CAmgexzS(P;OE@ayzOi{3BUe5%8`YkjhyqfW)pgVVy9gDgX(>T$GO3WBB- zoavLs^LuD)Rx}0pQR>hmru5Ay-8a$ONL{B$H`31CZ{n*5p92@SDBd^(q7NM0 zs_IJku9gG8chH-ozRg^#(Cg8Z1h!>!d7%4CO`whDGwbYwi5k-IbU9Rkxc!Y#c`ek3 zr)}xA2+;9Lcg^S!DgZU)f z_H>h418g-1ku^0^5J}ow`irENd}$+tMm~rN2Nq%6{O4r5Ml)(K`o>dGKI~PPgcRoM z#9Xj}y=*-W^sdK;Tb+*G62*ia`_9gBY?A&$!qRjt>h^H@cK3payHsCtCs&F3;wo~m z9SXL7%G888P~Y8+pP2h~AI%UJ+QC`O{km5$t~fqo?OxsJa5Eg-sD`6{-`keIM}KqG zNtDc5Ltwu%FG5$BDn>DOiDdhmayYo|#_w+Ir)X`}tOS3`o67jr#b2HXj0k-tyZejl z73-TJ%M*^&grX;nDw4Av*Kh%Schf1oaF!B}8#2o0L`YOHT~rVI;sYLh0}T7%>-$`a zkAXL#Sk~Ia+JNEOP*2WbQ~*VqsrKZRo4i`W}7%<$EkK9{HAJcQ0RZ z5AuzZt#1+J&1YiDmrOofCu4Zz^R9;w5y7qC16No~&mqCiX~HgiRW~6)+mA(h_E)pG zUF&qI=#b#I3bhHS7>}^#34j<9s83r!f+rAHG)RAy*GptjkC!(a%uKkGSoX~5U<|k9 zRS!2k?NN*?I>3v%hz=eyFCq(3(E;2o5BP?+eF$D|5OE^+KQf}?DMbb&L1sNTI>iM8 z8}1z;TW`K}0!#H;fD)JMTAiBXo3li{u=D_aeTZ8ct+<0__*9I1N^E^7Xqh_q8mG!; ziI~FH29Lz8&J2tPxsZ5`nMxL1UjbR~b9?0RZx63tw-0;Ra=eJ_#~v0c)cvrB{d>;S92{4|_0(^WE6PQ$s{Kbl0si0wV39aB4U9@MAcy?(AW@ zZ1{*hy!fO?;u!WYk}O2qgFPQb&&O{~5uVz?G$%u4p8=2|Ke1-Ox40{#dSDp&(NoDH zj*{#Ja#arb3H#IS~zhJa*g~MIV6SlTY483;E^q0qpisT`m z#qWNtr|Pa1&2{fQA7o4Z)>D%dsxw$pp^EO;Q@;j!cOG-1Y_^EK+`hur0F)eSJ(a+A zqee)bXFc`Kv7)ePm|5dnPd&(r?)WBheRAD3qCquaob}1Qs258*_U}UO!RYb-xGkOZ zuj3sN6Ug)2GZg31&vTQlct9^oxP~VeU5H7d7Zi^U7CFR?i=EDku+w{fDRMNUSVcAE zySU_sv)>ltjIj|D2Ih;W;c6&XtN>@VZ0ks`werA5ix(%r`5C#;2MMM0^nEE7Sv|{h zaD+Sq7cIoljgVvx$Qa9i#b+P49YZBJE@D)wV8s zvX3zQVRyP*$9-|7%f|Yc_VHtK5z{^vbX1~$Jt2X$WrUUZb{b3cGF%y;70IleBofqX zBZ*!HJbSe0pb-da(Y@#v$EKo##hD7d0qE*{)2jj1s~8D1${WHJ;A>EzIaFbNg(U%F zZ3?0|Gl<%;6jcug@i?}cw4&~K)K(PTU!!AmcZ-9#+dPD9IPR}OD)NPA28_XQ;BEwr z?;Zu51skYB{XOQwj*Phc$GxQBvX7YKZG5I}Bk&{LjwbU2xEMGBtvM6z2xtRY$o(wQf8LfeE5*a`X?deIhj+v-Pd+QDJ7QbdzdL=!NYMJ}2b)vS$@KXMbfDx2! z9aol~7K&Z0hRd<}VOve8d^-dVXKs&SGa|FcZ#1|#ReocCd}d{{`3 zNVc?DvQI;nVB9wBt0Ce#k7$Yo{EWdYI~ae zTEW_psGAmgH#PK5TIln%@N#wi=IFgRG+)1QVr{`#Avn%yLKj^-`Z^T}s9tNZdaX+c zR+A?PsN`I$gx7MeqA=(+N;mNI>ITV{)=9R!MzV)1C3~V+vQ^V0TbqHbY!-S=)s*w{ z&})i-oH&SHQ*`7^EcBWpw_Np;ruwkzCrx|~`bjrXUV|=UBj~a^bXg}rbXk(>G71KX z5>=Ne!IrA-T-7S~*kvt%RF}026xn4sfQnsafC{>5-(6M%y+(9dDhRu~OkK0fIF+po zr?13s>R~;AwJDzVVeQ4fk?xXFtNN?X>aPTFf>B0>Ae|C&t&)7H5^@zKL4Q#+^p{fp z(gwL&uGIZ-ja)rZDcP!G$<|IoR+fYQQZ?nfNc5K?P_0Iirn6M_kS4cW^^m5TiyqRH z=b(o)_3}D&7F$4PHK4PU0Eq>9l1(L#m;I+b=6s&0!4OKlj^KN zpyI2uI-@&lG6=gnOI^$O!V_StV;D(&KaRrx!*Mh`x@)>0M_jEwhu5-BiCFwDe4wm#dNry;!f~1L(o+RlhlAb1MlB8!y zI#kkOk`9-2grw(6dcLG1CA~<}QIcLNX|kkaBu$a@a!FGqy;9ONNykZ=A?bKYCrUa= z(#euuBk2@Luak6|q|+tk>4$qyohfOaq_ZV0khDh%W10Scu z{w3`rX+KF5B;`4adr$2z>EV(NlJrPPkCOBlNe4@MoTNh}Jweh$Nl%jW6iH8$G)dAk zBpoX0FiD3?IzrNOB|Tr#k&<2{=_pArl{8t>F_NZ8dby;jl3poknxx|-&5(4wq!T5b zB0C+YNqUo{^O2@iAD?*z z7P%Alo*F=2lZQaT*!>}5^}IoZ+6bLY=ygIP2{jW!U1Rr)gji)aUh~_VH=ht5vhK~h zlTaO@-xIor&~t>A5ZX)#hv4kZdymjOLjNLENT?rXz1?_0b8jB!zukB|zc=qpLR{SWfGc1Xf~lVLKTF@5aKT+>}Cv*_Yk3Bgc=E*La3S0 zafEp4-R?nz{za%Cp@aJX+Vc&d;|YCEXapgX&=rKw3=um9@?XD;E6G9IVN+xtSp-F_Q2+bx`NhnBYE}>_1? z{{?g#p)Uyip3pxDttQk?XcM6wgxUygA@qNQ))VS`2%ttn#}ayy(3ylDA~c%NeS{_v zsv&eep<4<4hR}RMHH1nCJxnN%&^~|gbE40L@0;QHbU1BdY4cJp)Uzt zPU!IdfJPBYBs7B11%#3ar4c%T&`d%{5vn9~D51Lv8H64s^q;Q)y+Ejg(BBEYPpFen zE1|;%0NP3@kZ6!3D z&_4)GBlI<)NrVnR98emelL?I>bPgf@7G~a9Lc<7MOXw6rMTCwc^czBh2;E7jAE8GG z?dby4Na%AyTL_ti-Xru5q5mVaozTGp0c|F99HAycXAxRW=yF0U2wh9)4}?kx)e^dm z(Cvhl6Iw)Q1)-Y=ts_)SXgi^qgmw{{Lg*_(;|U#xNqKiFp_2$*O6Yt-=Mwrkp)&|g zC6q|0oX|0Z?jY2k&>so)CbWuB7f$iddxg-agxU!0BJ??-w+J0_1fUi|ClcC7=sZGe z2wg_#8A8_(swY%V=mA32gzhHv5TPnUeP9E6FBr@eobt^lOZQqFK=lr8$LYt7w*s z8LMR%3Nfr!{k7}jWI|aYESi}(CwER!$&E%yZgx)A;iQ_WU(p2%xlHA<%j0v%BbyJ*{5rI6TsQAXLg5rqMIoa3eMwbT0kH2bsVt!%b zsihYsmX>9gm6s-7l6Y!PV$!LlryIra17%q`xzo#M<&@7UHcE5LvLH%vdD+Z-IKdlA z^2>55h+=(uc4>a8;IK&Dq&RbmOBF(Kc1iY}Qhi5ZD=cCt2rfCNJi8$OCh{t@#$2Ak z;g#i3SJ15T+|p8AIwQNVu&69CyP%+GMs``QrDs+v$euGjCtF61VNA>}L0MvUNlEsN ziTS08Wkp4arFroGfD-eH3UU(XW*302MrXSjCHZr*3ov1nD=X}wsnXoS()_agx%p)` zW^vTcGpn{)GR5w0o4eO zFS?<}O2Cv>=VU8pp?JAQo;8zgLswa1w^HD`XJqH(WKFngf@YOU%__UGSc$2Wtgkf% z=wWW|450v4vkJ54C|t1MT-Y+RO)U{YC6R`VoZJHYCa9AWjq8Bm-MJ7kcv+A=3#f&1 z%Yqd(%PMSC$51pO3&W;t6^Kj)#Y&2j+)_RKuyJDG6CL?;=h)&fIuSFUi=6-Oe_c=n z#^!_3-{@@|h5z{LRrS1KoM`kWsa_~lf4y!RZ}gfssMnzW2Pf3v)=(6)fnk5gh7JBk zYdoV5>m5Gm*4}+ccK}x5@<;qM{7=^SSE*v7Cwy*QP1E@J+E4xUKz{`=W@>y2DStiS zw*g_c#{Zc{?}?xO5bY+7Z%^z!&>sc-C*!~`0RHnG5eNP#;BSe8p90`_#(}>K z_(!!W{a@lkpId-`lE(MrfA#>s@dQQxbRYDGVuRDd#|LKWuLu7y1^D%v{sOcme?8zY z0e-^CiXWUDx=;Kyz#pvfFY|%l0sN5~Ki3ET5IFaF8vh(0_-VioYW(Fs@aF@+OXDYE zY|39Z`k}vH0sOo4_+1U(6%)S?_6?1NeQt;C^N;m*q23^E7f<=DC-Wb+dgq<0`oj-@ zX~3WSroyj{qn$;lH~c56UjKdQfqbn5{-Dzp{@8usi~Qv4ErritWRSl|JxAzGZ!@E}F z`=Or({Dfit`I!&=c^dyhAN;HUeo*6|?E}A!{KtXcA48`;4*XHTZ;S)K0Qk)s-;cb@ zfZrMi{Vl*Z_+1+R8Xx)`ipKy+XQ}>W>?ePb<470NKBoYGBwysj-vV9Ulf5kg zeyzs8)d&6>;CE^KV}0<`0etgp#m}cc=nv@+d*CBp{7v_P&&MBT9QgBrpLC9Y`YV8+ z7YBYD`PcYua*N#;3-r@s)5AeG*z8`xYibrIFFI4o$`k+4r_#-vGANosxKRFKiYk)sb zh(zMu61AOAJR!G9X?TQ$BPe>flbT^fI?4}Goxe$qus|FeDIw*fyd4*dT3 zg1lbi`{}Pyz;D+0e&j6xz8MGoWx!9kSjp>${ubaTX?#ESum||58sCpS3_S|^)cAhl zfhoYR*Z6+=YYFhpIPlj1KWUWGkDvbP0Dh{*_oL4tI3yxZR3e#T21@CRR_^mCPu@zNj19gK_ve-!X1YkWWYF97~LjqgYQ%Ya|2@%`w3 z3-B8?z90SX0e)*7{13(X6kT!fKLz-MFZFMqOMpKz4*WI1pRDoy=(7X(^WvaC1m9rR z#z8*~_>FPUpAY=jIOwkcepejy+kij#Xa4oy|5)f>EAZsr)qpZ{>uh;l~w;`Mw2wYANpy)PmP2AeBkHB zL4O7CgK^Mr1AcuR^!ww4*ycFsj{?3K2mJ!zCj|WKe;M$TG`=7GZvlR)#xL+;pL>8G zjDw${iO^>p{7eCUv&Q!`pDqD@0zWgspC9}+z)y_>zXSL|jqk@l3^@_=m&W%qKc)e{ zOXE*9^j{DA!}EckbcKI;R{%dR4*WLY*K2$~^7cOo^H&`Bqkx}~s`&S#p90{gYJ5NX zSqA)h8vjBc`rHEiU>x{+fM2WeXZWB$^knEq^7XUx?7YhGnAM}@zpYaNRw-0%@0Ka~M z!hg>P{vP1xO;q^r_`n}}8syDX_*;D7PXT^o9QaFsKY5a(U+F_XYk*&WwZhNzf!_iA z*2xP0k3RSx@)Pj$ONGDL2YwpxyEJ~X4}RtYKjB(M-w*x@;18bSpPx41H^zbAKMC?q z^-q5k@VhkrG#~mY0DjVSioPHFSqA)OjoHkyc z=SGFU(ucgGfZsJ=;rrpg0Qe(s_Rs$^;LrPw!uMl8TYz6%sqp>S=N{lUF7Qu(=ur62 zTl~|X0{pIp3ct~Zy)6NLaFN2F>jQrc`O)|#KJYt$pR`!f&+~yl8l{OgCmW|^n){qR!&{Kh!&mjOQ^ zsQ5|qG2XY3|B%A}xexq3z)!7G_*eVDA9@zXW7t1GQ-EK~!x!-9ho2?DZ>(1Me)w4f zeDijNU+JTNJAgm(4u$WhzlIEly=nYmKJ=4D{2E372_O8-2Y$kx3g3@^SONT6jsGtn z{Imf-@3)G6g%5uEpAG$Md_VqY6z~)7_AhS%@PitEyAOVr0e|FDMc)tp7T}v2-_QGL zdw}0{kD|ZX2R}ncK>znDd_VN30KdN0Km8@ZPyL<3_v4?}06(bl{n%Rv@DuJ+^!?cL zkaK{4zry!ppJ~9a)%bt$q0jliAGu7?_tU>CfNyGiKl*6{e$sM9-w!|i&&B+u@iTmk zuTj7^AMnqA0q|=dRQOwb=w})5N7gC)eT_$pTx5RQdR4N1oyyb-i(e%Byt!7qmhXbiS)a-JkcW$_MNEw`%&sbo~@f?-qT3kFH;9m214& zy8NbQMK5Ec${*7C7dmflQsuYmeAqU1eTJ^Lrd3^U)Om}}-_rRmoqwwHE}i#&Q`PIQ z^J8?LsPi*)ey+|h)p@GU$LoBG&S&bpSm!tCe38y?*LkhZ|Df{~I$y2xCY^8A`F5SZ zqjOW|pX+>&&ilQk6J=*LB{e^AC02sq?RO-lt8;bGXh2>-;3057qhk zI#1U5l{%lO^Xqh;r}Gk>&)4~_If9m`ToqwzI zgq=#BBXvGR=cnm>xXv%qd5X@*>3p)zr|Y~x=W}&lsq-qG->vfpbY8FXXLPby(mz4eA*f1Mwr^F*DWq4RTfeyPq=bv|C_Q*=I4=fyg|N#~1ne!I?V zb^ZsPuh98woj2)xv(C5c{2iT}I{#efdvxCKT|NGFew@xv(fKf)kJR}Xou}!1lFp~; ze74TZbbhnWgF3%U=gV~dh|U{y{({ao=zOcrTXp`v&O3DeADtWRN{&Nyew5Bn(0P*1 zN9cT%&M((_hR(0id5+Etbv{q$x9EI{&hOEAoz5TA`AVI?sPkr>zpnE(oqwqFPMv?P z^FHqx@^`q-2kZPKoe$Od`8rS5`IS1KsPpS|o~QE?ozK_#tvavKxoY+M^m`3_uYvD1 z@Vy4U*TDB0`2Vv8jyQ4fG#(9mWO7#4H8}+tbB$m8s%B6PuW%}iQS$>pSvXB;#`Re< z@~+RCRi0gvV^ns2rgj(h_NqzFxv?Mz809#aD<4Pblo*w!zKOdA35~np%5h@@g>$pc z9)3k`+2#4U1vz6=0vQ)%&7M(^U0Ry)^BEJ)$wIq>rCA62Y+$G7mgN=2LXW^50o=5r z!dXH+kTEiAwmNMrg9;GACXh02fgR6ZT1SUSyqfF2m7HV+%Fk zZbr@?o;7=pmgc6&YUi@rq@w&BC9nT_DY*r?Ww~iMEUI99?o3y`s21!~+b+w?opF6& zZWIDEIGV>vrR5gRD$A4pk>jOeAzmd%xy7OEbD`{%qH-MWBy9xpqo@KwQPl{Jeb}8D zS?7FeO;w6hZx^uUn4+SB-0Z@5tJ;dZYQ~K6l9Jq`b1abb7$d{wm`<&XJ^fxZWZR|XJkj#x-d{! zT3({8<+AMJ>=`)UE4n8x1Z`Nb>V|^cIk`BV3&df*I7UlKqxcyy97Dy`y*5YZWX;ZT zdL2CdJST#w5oeEw31^q)+Cwo)`lyjP;%qeMHWtMtm_&O;Vw%EdzT*cXTOC0IP+jCT zAlobTG+sy0-MHipIBN1r9IdHyw7C1waDLEHD%|Mi(pmChLZE z^cawvS*F^-k#Rh>4}~qNP!1yGbt|uN!ew@OfpwH0O50VbeHI#uOsB}rQKv43+tw{~ zNr`h-AnH~gghpoJu(dSwS}B_iS|#HYgHl*y7Z#P|^E5S{QYUw6y>~1sb#}2;Qg4-H z7nbEiu35Q-qE4$=9Z?7d8a*X5O0rAgm5g6C*~QaQySOZ`Ab(DN8SgZ^?#wJGDk_)Z{8E&Mm=Fn?kJFU7SC+NGaDU%%4+SQZ!d7*DfoZ$peL@u-z)u z2TP(I(=L*e4^h%-mlR`2=ai`0<<2^7F z_bU5o9jnt!L5($nRw+)z#AS_hsSmqEVXa+=Lnd)u=eoApuXhz{r)rgyBEHPEM|PvT zSc}dVbF(qxCj5WdjjYw=x}gtKMQO8Lnp-lxs8npQ z#VWg@sN{O|qMY<<4~kZ~>pGbhRN7gVmtC60lWcKqTGu=!7uTJ<&M)Orq&&TqMP0gx z2YzCx%z=JbT$!LSy^~H*m+F&SfmdUdSf1aWLu&P%2;W_&i{+$Wwp6bRW+KMS$MS<^ z4Z1AfJ55GjlYNb& zv`MJhF3@JxVi(vET&rEAkLG5@cDqoYX^k>dmGOvQyK<*f<{)N4=-S4nrF}#oGBa+J%v^X_M=YH#Ti{-LZyQi(RIU zl!lzGc9A+onws<$xg%K9z7^%iI-_pc;bxb0%N=}F_SXtl!9Ke%=q*ySYK>FK)rUI& z8OXI(x$PnAtP(p$brq->)m5NlR9A@=qq>Uhc(2)2=n7n0+{IQH*lHEJ0@rrC%;l<0 zr%-%#r*-Xd$z67-70Xr*(5kb}ho>f*SbpVkhRV(L^v%DzuqaagV+YE ztk4y%Hd=*nQtZ7Z*R>O=HoHq_${MD{TcoSRvxZ3s6x%4bLoVdHLgM)GLCAsc9D)gUDr=JJ{*=m>Txxfw@+pRmUP|&o?tm(hgD)G#cU3MuCl&AUzYW0=7 z=gpv1>WvI*+{M;8_*AA{?u2r6Qf4hK>gCFN7&|I9c#GY85{>R#t__hUtDGL4D=B4( z&F*4-mOL70VKMcTm0OTqT#D25QP|4D@vtD`+2xd~ zDZg@%O^iRh0Fk=QVB(7qBj3}W#QM~`d(?AnstrwX0KUU zv**q+K0GUZY)Y2Van|L`HV-#?j~knHRiTlBjV?qyD&Wz-a*}0SXY@`h%FZz+W)>DO z|K&kO=kdltM%@WG06yPn?p2a&{Hc#LYW$;bsd2}_vy49{6sVu_(LcFi>^&55w$XN& zrMa&T%Q0T+Pvr)*Zg&ixQDnS1gmG0`vGL0BqEq98<1w)sO(z+>vCKEN_bN3)haO}! zq3J&78=v$#+jzeB2;GeExKr)&dX9rSkn%#2%+>-)NX zC&syvF~isd8lC5$dgVyc7=@%}G?IofNIEa$WdNt+PcUlxQM+onx4Pd%9oqi6UyAXU zewVp^m*bs&u&xjK83$QW^3(me7f@<6^+SMs`#_MsoTQmFTtVmx@GU|5oBiycTY2Mn z+)d?OCJkeOl3Qkc*$;su$bSY)%uv6mQg!ec`Rx_6KX8F|5YYZ`uz0rD2BE>bPcn`e zV{{#yX?%3ZIBQmY?uZG-x+5}-PmdUDRQ=#8%Z1=|>U7lgQ zdV-4m?my8uh~eex1QmPYm+0O+0U}+gMB19bC9{&@-4l!>Kzz+1EEvn9wH!1kQ|n%$O#J~ig$V|awsY=l04Jx0!!EfabN*4 z4@gF3IT27m21P&=9FdITfGEhJj$%e-NMb_9LsYyw{r{fOGd<;YFMQs&mtWD}uBWQI zt8;bF^VIKxX7255mq&AP%+o{58x@C}WerSLKkg(wP*J)m-^%Sn5kWp}iap?3v}?&A zIyg$q#IusIPhM<7)oyHp{iZuYRP;3m&+1{;R_f|JIZwe-Ev?>dgxOW2xB0$CXS2KJ z6=rVj>-rDr!xzH+wdMb*+T2U)bmzz6Sbf={cma+#FqzK0e@V@IOMM(#J!l8%iBn0k z&o5HxcJp2pxz#N(Q_kjI>j%$vHvH;pSessGd3kbvqmuIsy`jFzq^o`3Z&b_QXdf`K%GfNjWAA8WGWkV;><|Yl4>z;U#+Bekn(>X8UC>Oc!t3;Q6~0T| zRbPVq97e%z+}-+k71~bbB!Vi0Z$ka(qBPG{!L8%5swPWJc2NVd)#3)IjK^Mrec~os ztD8|s`$Z2|q0(PhL8IM*saImxq1OfftI~^JGEBgd#cx58$gN01e@7DgJFOAkF9%Kd zZ0yQ!Hp5aBU|I({$>JTDytM1V&Cl=cQYTZqwZ+~@_h-|pUTmFm3+^Z$J(NBxK#-yuop z41TPeiJ(Jjdbp}|l6_Ybtulz}9!zT|r@#q0ooNf3orrLo7>vy55bTH2Q5el}-7UUU z4W~czL=ES#`}aAi>yFeYcj`~In_p+li1s?;}}QFtH~3{s#@4K!)O(TBS}ya zy$wm}2<%g?h5d>bc8#;Ja#uUO)*$l%9d0nr9A$p3Mh{@LoxZ6~yYEBQal?fNb>Z+CSpN)XEv8i_NFQ~ej! zN14xR;RN*!4w%G9TINxxN#9aTs^L80eO(WwOHw(H)fizCm=>pL+6n!94O-x(*piXa zsj08=)Mqg@GzL>gn~!Vg>yAV9P}J3r_iYU`3r!G%Sr%Q+%!4(Z2Zu@Zd-m>!J?=NO zI`@<6vX=P` zGmXO{+e9Yw><}Cqv*0v3l}aYBgOS=rML1vaHhI4`DxQ{>{kAK6FS0|^siqjG(HT7c zAPQtT7p)0(_{954lOUfrziOUsq7RW-_+hG-FKppDdfXnUgZa(mMdLJ1A)l~lbhzxQ zR$NYNnD9sg?`>~Zm2%=J;4I@HXpi$~>c4bTRU zW@Pl@m}PU(im^GA&F6>Jb*bm!C{3J8^+hRk#u-8LVO@05tf_~GfO-SW?t0Wa^AYX+ z^49RHy4>BeydD;e!jAs|Z`$xN z5x06THl%c8LzutPP;MgTHqu+==NqBS1}YiZLTTw%N)xYA8r{Lu-=H-7FG@piQW|^9 zna8X~&ODxSDtxAq%wcUKn(5|7nCVu`BOK#e_HZp9P#XD=$3Lbtx|hd4r!=;Y((ryt z69;(8L7sA$($En~<6lym_!`Sm;X1k5+1%Lm%x88qPP?t0nTrd&`^Z|BiyM&_b8(8+ zOZ|JfI31WHXy@ors=G8nt&JON^M2!ALrcv3TWYbYHXCt+3k5mgZV7`9pT-OdM1v5jUm$CCl> z{LR+pnDt(s-9D;~o>Jslpy_b)8;XbGoVlMe`QUlD8MWfG&9LAHs7{{vbTcg0)@Ei0 zCYK%}TkzUuW-~Z(m}-c8$@P3qX_TUt@iAxiH%s<)?ZBdxen&Z2z@M7w0&d3hCvUeI z&6AdI(n23g*70;IXAi6~=jWT7wXlgKXm0U;QyTt((!>c$V?R+E{aKguv*zX?&HERc z8vifn{Yq(RD2vvbzmGLfw>X7Qr{KOIyOY`7!sC;!sV&=?hg-Hc-?cWG>EClrXj%Rz zT%WYf&YnCz%VcNoL~1HtY(6`;gNdBi$t-N;`#tW#R(>D%e$}eIdGY*H{AzJU+f)6D zc4ynu_yjcG)?}6S?dFQ}_(8@jYJKIYe-!#2+G*Ydw9pyeU*OJdg^JCwR%mte?FGqM zJKx`~YfJMxm5+Yk!pz>HnPry!0q18lqi*GWviV}0?Cc2-(5BtS>C%Z*qjW&{eaXA> zeEyj7cb^4+aY1(Wbn>5+g}Ima?e!zAaSkcRXqaI+AmSjng)IyWMx zn`Y4Xf03F@>;-OPpHE`v@t%JgU*B%S0T6qTX0_xYN`K&VJA&2WD4a>@x16phrSV@l zjm)O;_*_bVew@-(Pf&VjF;WwWW#eXRxOpmX2=>dM*`Al|l{RzQId9&-Xs0pNx3!nO zvcT+YkNaJ-r`ofJn}brT`5_NAn(e5~eA^D?&37nc z7QlWdS!O1~yiad;b^j4X^py(oVqDipoW|4bRy%eZVD}|kBsl#!-R={|E)KiUJG5+5 zIW0wMGW8DR*LKt)ZNgZ!@H%>h_NIe#b8M8mw?(u(^C>mEOP?;C2Lw9z=@SU_>2rBtT~;J(Ue-GN(MvDv3Q*Ov z;K%Sh+#X}7p&U?dsT@|mRC%6qKslm3KzX?``5~eDgUXYXhbqrezFPSS<*CXml|#x~ zh_R>?yqShw5OHo*Mnmp6hzmCg|E!$1LAW0BIG-xQaJh2M%fdy=s;mS32}ZHzSC&PL<5t3&U)dd%CXJDU6sRl>qEmJ{Xqcp&-$i)2 zV~;L08g?ji0BZ0z4qw692K|dX|Jdci7b}M~{|4op-jaWxa`ex_OO)g2XPQJXd&(!&8OlE9dkS-l!bxA^f2-y{Vw#N9Bmx*E&Py zUwWP7U#gs^_7r25w_hj8zgIa*J2Hkv%0cuH((sCMZeQWg9lk*LH{}?*+i7V02dO`* z`Ijr>O#=@%JA9Gwy~_EWg%>FY@UDi2SCn(`=8=X2%0~B>>% z|7YbqI`LvCRL<4obG&kFqU1lLTpAMIqa2wj{2%3A7 z|tx92q6rySMgUF6v7`6;TL-%IQ%W+Bxd)BPhWM>x<`@|!D% z^!(M?$!{(BMao9kcd~N4x8yH#%IopFLpewJh?B3!^O@CT{`q*RO2fIzkv|D{bMlpk zDHmQZ`4rQS)+blnV})`+_m|y{{kdX)R5_tsy}Fc-6iI$tH-hGxp8O@*&@I9GVAa?UxzihgkMw6Q~pLd{zu8LjB>Pn652j( zlyjnz-(5MX$Hz!zqdZ$VHd5?gP!5#{$CLv)zaNzIT1bAaTDrbh2vbZo-e2^3H9$F` z`4b%bC&d0qCx4OfHsw%n;jffqdc0PxE%oOpU!;w=`Tdjw3x&ri$FCD!pd9Khyv51a`=5QvIoC^m zMqQa-T-&RWa#YVJ`O1Zh#lAo}{}ti;o$}8JQ%o*e-_m}>Jb*j&>BjT)A+C@Xb!XZvT57eopciD96?QW#zyS$=|P>-$^*DzRWLjvGBRd_=Jjw zZpt}&y&I++TOj#Ul!Ll|Emw}*Ao)9#^VbOehw~->M`d%3aP5XN|582wc2o|ACI3d{xbhv!v6hnmm~vo& zFvVQr?LS{Qt{m3+Wi-QGXtI}BJAJyw&Yh`o0)OVe7M3?V&<#15)A5xB~{d3Bp;gbKBa_&&!qr_(!6V>P0 z%v|A}$~BY=m76MWP;R4~uiQy_oN`y?OO$U?E>#{vjN{8-yVEc+S2%&=j)riqZ~*N@ z!^^qCg}4sTus>Hgat;wbn{6T-)BL6m*OvS)$~ohNrzx8};Z4fnLBhuzd#$euu48;Y zz;%y?3z74l(%gao~-QnEnTnd_%HoHx&5nRe`YhPKV%$#rk5!@eoaf1duaXh zl^s8)o0MPQF7@qKcKn{!#C4MDcl@7TsO}yJn3i|KcB%gwWyinjbY;iS>JDYc-|BD5 zj^EXe=SqE!|J4%Zol&WOj`C#X7nB{ptZ`+>KWoMFP#=z;Jl&sjz!@f#DYYTqhsBMV zO_r12&f+e@8BTt8i*K}eh{bnUJk8=c7B8`QrNu83EIw%QF^hk(_{>(+Ui43f z`WCmgxTD2gExz93{uYn6c#6fdEnaRh#q4k|?=Fi!u=tS0CoHaTetLa%EN*S_MHc_X z;%hAKXYpW*M_WAJ;+YoDw|J?=Yb@Ss@h*!$w)lv}KUkcF>!Q2;t6ALG;x-mvW^s3m z3oIUK@%LoW@3r`_#V0JTctQI5HnzB(#rYO@x46jSkrv-&@dFmmw0M!lt1RAV z@otML28et6eqr%(i%pw!`!g-BZ*eP&FSPgyi+fspi^atjkG1##i)UH9$l~WLUT5)k zi{G{Qki|zWrhaR8`&P5Kk;Ug(+{xmrEWW|w0Tz$6IArl77B8{*1&g;>yu;#mEZ%GJ z5sOb)oQeBncY9T}xS_@8S=`RzOD(?E;+riVZ1Gr&Ct5t$;uRLJxA;|y-?sRm#XnhG z3H@yD_Ni-e3yUwbxQoR-Exys>ffkRj_%4g5T0GCS^TlZhb;cy;$JL2 zqkVe&)v&mc#jP#wWN~MUuebPCi-%c!x5d*ee$3)!7O%5-i^aPw{>b9}79X?t7mLrj zFunb1Tin9pJd3ZexR1sCEgo+1-4;)>c(%n$EM9BzHjCd7PCh@qYvmuX_(zK?bg166~nLp7k9&^b^o zs5VpwsteJ#1@)l@P(!E@)ELTznm|pVW>9me1=JEc7otbmR?zuS9@GwM4_yd#fG&bM zLKj1qK%JmVp+7+sSLiZ`zGL_cln-42b%w5lxH+nH z0?_qPFQ_-v2kHy;gKmKS2HgnV1lM93T=m8gIkPz-tpdKcOQy$8JyeE@w3 zeFS|BeFE);K7~GmK8N-}acDnu06GXAf(}DpKu4f2p|7B?p>LpXp`*}u&@m_heGmN` zIu88+oq&FXeu936PC~yx|AGDs{SW#T`VFEFnlhj)C>uHh`U6w}Iuoi0ods2bDnnJE zv!SZcA5s1Ss0~El?c_ih^4o$dL6xB@(AiK`C7Env*TJIgQdO`u{dZ-uF8|nk~h5A7^ zK!1a7gl>XvhHimwh5il|K!s3$XaF=2DuM<PS$=wHxo=uPM?=xrzly#u`q?SbBd-iJPbK7>AkK88Ml_ClXRpFy8P z`=B_qA36XXgbqQ6p)a5#(3j9x(AUs6(6`W0=sV~blz_g6{tX?6et=FuKSDo2KSL*> zU!ea$|Aqbs{R;gC{r@~K&LRG3CYi7dD4IZ@~N%c%$a6e(zm$jb~Gj3 z3hp1=CO|7cD9eV=j@@>^lpUP1!-)yIDk+e0by!kx4St0Jmml(#v*XtUensR5{m7Y*w`=MaRKLR!@o23wCJY(0=x|zKLVZ>`mL|q91WQrQj?oh)XgL49gN(4a{zd`E zsfOp`1RUoaCAYerxWR@A@e_cB|7c^}CW_5nc7tkJ|kfA@$REPpe)-y=&+-RQyeN7xrrcw2%L; z3j@DZ?L9E*Y20%G$cFsCcpIdA^7w89SEJG|DZOr7aV>XQ`Zj-Wm-ij-#Z%`&;&7#0 zGx5*jZ6;od%E@Q9M4mQ%)WM0j0XZ;YS4I9N^r+&qce3L$&l<4f>Ms)gOz6N@mrj0W za!j9^p*V)}t4)1Pc$=sr7f*xV`Fr!QOu3IM+W>AMJHw@!XD0a%DLa#Yh3S!10^bfe zFxjb&r%BQUkC#Pf@o?ms?RJOcWmN7>b8(3{^Yf}8>8{Sppqu{t{D-PAXw{vlcSom!065N1^S3Iwo;2wg#b@}A`JdYKZlyiqsT!Ke% z9MPUl$!B`sJ&rBd2bb3}_IA8>c^QaDLa*GuN#BQ_7LKpNvJEV+tz{dji`KF;gYa0O zPl|pIcx=Wye$klQ(797)7mXO<^yqa4W&`}%-KRKR2gN0xj}dPe-NhL= zq~0&v@kv_ta^PH2e`HqJp?;1SYf{K$DB=4f?g~{8%``{dffNkVEHsuu7s}`~A zti6ZqCAK_Mx&ohqq2rp?zq;<~%GS#Yexdz00u0J&s1k9NS@s-Iyxc1j*_3l>qQ&&Q zXi_G-{q$Ufay!DDD#m)A?#QD2t}?bNx2ue;d```j?{_7peDQ4Sy~d}|)kf8ne??DO z`E_!^3Xg_94-R7B-65CE_q>T`3wpF<*HfNr?ss#6Dt!9SB-g9|OmaQ@&m`Ns|4j15 zE1&1GW8wUJ*rXP}?jczC_pp(H{|yvdc-=uEvz&V)vheAEqik{2=-CY39cU=*cjG15 z9O+0Q{`efv4Yz^|G47Rv9*9#xQy zcRvRi_}~7r1$n;oT*dOcE2s{=mn&y!{reD5kKesGvdg;}Clhi|?zu93{qNOLzPt_w zF>yRJdd>(z8aRlWr-ApaAHP%eT7}W0aI@pvMT*N8n>byhzBT#2B1KKT`CQ|DvS15w z@>uqoy2DYFZQ+EkC_9%!R`}g}v4Q_xJezpl#&fRseLQFT-k-7sZ%zsUf+rRnj}(|y zTw4{mCQA1TO-OkX<9u}?#^WeS%Su)n!9gM2r5GFFWxd?T7u?jYom!_yq(Hm}gja9p zxGPJ~Eap7VU>j8MqH;oIu#HbV49>S)yQkc_!;L!`_=f}`i~r}SAE>1LX?dil0;lbh z9)&t$`+3Adq1^JLslX}~-`>w*W}2a|&~=79j-h@PnhYYyj^dm+x^b72rOtV7pWC<(XbWuFL3!b1$E-U(dAi?df1T4d~vkJx(j>wKX#i~0qxVWk_Vq>ID0Wa1&_=H5+)4x9MK;CkLZ6J zPKy-bWZ{s@fA->T6FJ`Uh6j?_3kLI|a9`O?|37>;r$(z>yV?>Q`sXX|X%SdO(3IXs0u26h$Br;NGib08W`k zT~(>r@jMMJCE*7h;>M?$N*hws3Q^lg2u=5du^eH^HAQ>ysSGt7g-z66aGErTzrE5i zY(2dZ^s($?)r(33T2ra4zjLu9|3vN#7_m z1-p%FGx0+4Q!&*LO!gtTNk3_kN$FwKc`^7s2nV%f9EGnT$QGdtC91p-J^u6LwE1Ic zoc*E%&*vJDh7F06OIDKl27y{ZsIjMH{Ec<8*4o29mdm#CS1))7y|iI4=S< zusDx8=L3l-PLpuWPqa!;aX@c z6%sr}&br`G(wDX{#GWqEzsZh3&Ts_Dy&k}OVRDU`_Esi-?T5j(wTHi<&fa_HM@lh@&lIye&9WuSz^Vm?E+y zZGsZ55Cza>q(QP3Tv-|xI~fm~N4R<_mA0?)1lP{$sx~>Q7sVv=+a{*;OQcS6Um|sq z>_80qf{4fUWl(B7b?M}3)}fL%O|OA8Ep_Hr;>&4joX&PauH%d*=z&I~a*fn6TqAXi zu8}&**GL`L_aREjE2hJ8#Ux5zF&UEYFNAOe(}?SMWt6KYj|TPnL%`Qd8Q~*ZNA+6C zByR|0RDwbC3{uxg%HnH+j%eIxw!(A@v+Ejn+6`xJ?9GFV={AQ7rmloct{!(~K9tp# zJ~NOj9%a%MPyTnVcuEwpS#s#=#}kuRKP6{z`0&*W4`mVa)sG>0;t}FrXdZQ6)p$aB z?=nqFUZxo26iTD6(-tH52J=|z3`Xd_TsiDSQ08?S>s)l47UC1qV61R@)MOW@?v5Rs zdu0>Oi6Wuan%gi$WhrkES; zW@=O}lpC29niiQArR6oPu&l65-tRec?tSj_Jb?G<_x|(#-uUR5Gc(^gbLPyM<<7m& zy`TK`)42d!QtPjOW1{tHxT?g+_CnK>;gF+L*2l^WIESHD$HYII|2 z6#gh)L$gflh&;)Lyh$mpg7Ma`AXjJHTvvw_C!3jn9=akC`a!XX*qHdFm}HK7 z+OJ}TF8OmE9hz|+1NCWdYQp_-3DFU836m3%?X6$gOS)vV2%vbN@RbD-5izk5lanK- z#pqmbdAGl;)AM@jkmC0C!cQjZ98Jkju7iOiB0>g^8)(ZZ6~3W_UUBjhl55J2h)6)6 z>aI<4C08jg7-jgc)YDI>KLczX9T5>9S)IIKl&8NI(hn53_a*6ffrq^4NLM74(0|_T zz0T0-d6G|Yvu%>(5s=-&@IN9VeCWvGp&>)fF;*t9JP9S9mZRgOmrX6z0P$}4-@;6< zh0%xq@o`b{Nhyi((_?z|n%ZS*LL3qRQLP1=@$*wx#~saiIB$R2>e^d6Mz>QcjpQiQ zM<%I*a3aE3gxz4=+&=(ljC$(UP~D(B*^256Yga=xMP%LZ8mbsRL-WXJ{HH&{(EqEU za2NdlffB3u%NSfkT}WWBzxs$@hyPR;XG{B{;u5+hrp)Nwv#Y(OU7}}7JAKO4nlSMNhiwsxH0VrIhk6SFh$Q)Lg@(+}N2Zu9#_E2HDF2^xxlq7WmHs|5@Na z3;bt+|19vI1^%aye{6yAVVU2DWzH%O%SIH=gB~&-(uizAbkm6MJrQXd@faa4(ufZkL0a~jN6D)>8I8_L#edd5 zLzl{@?5`hT?dNH^j4*ztGyr|*RJ=Hif4+XND%_YQqjkwFL#sidmnN|b# zr#@gcW@@=FQ}%7TRC6tt5ylixHL^7P8G^Ud@C!WENY-kk6GCakPY0+eY>fvg`6*5g zHJ}Fmvl^rxlz*18iysD`S!*qq(g>rJ(%jY{F@R?h{8f&H*2KP)XC*Wk{#X9LT5EQv7Z&!s2lC5Za^6rkfmXn<4JXDn_+BWRp94yXO$~g zqp&Q_E9bmtDNp;qVKlVMveh`AtHQ9k8*XIeR8&-0t#H?9);1j3VVN|ln!ThI)mrR) zh)fn*1}(~zt3g0=X+Z|eh2=zeuJDN!?F}kL)ZdAEpxKP}xb+kG0WRBmA zvN%Wra(5^nlp!pYxR#lnS{#;j!?Jx!v1sERQY33uG1{{RzGN)3D;AVah0q;E(EkCH zVI)Ro0m(GRX)FzpV&m9@N~ISDEhz+9h%zU}p+K^|z&u?5-Fibmq=#pXFU|_xtUHsOC$)57=6gdk zi^DSi3eWspt9vcVWQLw)ZTnJrYBrF@@qkiUp=bXmcE7yX zwEG}aa(1sSG(uPh(;+x!{U+m5)G3Fyujor)1 z7pwI9Y?`rdcLx@-|{}vUqOi#k=Qon}$1=ByvBAb=%wZxSf!?h#>WiUONQ_Vl5P(zeCF%_oY zZ78wi$B$OyuKXl1_;Atp?Wrf0B##?`C+UacOU-hBc9fhXo>|U>6eK%H7+&u%GV%u?dq@j$o zUS^;P8mniZpHgkz@eUR9nECf(D`jjfM|bcj$!a##EzU4DqcCdqnt^svnb|0FVj8+5 z*j^w@7l56cmG3e2BD3phe`sc50aU=c0bE9C1si*~Tf@{#(q>iENUgg&bTe7)#06jo zkI_V~sQb9oXhOB^c*55u3}e%K=H`@^cZj=kdHJ{7Nq+e4M&6SVWd>VPJV zfE@ScquAI=V?gi74dc(0%IdZ%zTI8%{U2~KtG?E%J+Ya_^$aIkzZ-#MKDN@zyHI)9(t`$nM30!Wt36rHKp1Xnj?Vk*bNnf)8P z3jCKgTO-P{#usI!?nPE9rWs>6o;&z8s1Y@AJk;ci{*t%3wr~=dMOQMq8lBpWQ-RM6 z&Hpv1VQ9Y9Z3C~%@=A6aDG;P*lPCa0z9-zv}V6+`hJz#9N zo6TMa^wNX!p;Cg8FK*HMWmN|0M1TS%EJ^fANfc;t^;?D+(Q))TVuAb~Bp9jY)VO116It!i^u5 z6^b4?oi(C7E0uQjrC5TE@T|LwG6Opd%-lCHvncZv@Bcpw&-_L&3cIu@@;I)^xQY^J z)y@osKZF)o%^7Vv8MZt{86$RB-Zghtk#b!H0Y#`%{HLuJtFPvQ7UL4gMGFkB{dg-U z-gMI`wzZKqYX{r1(6n`-wzZyevc?x0lVBmfQenU1ii|H4co&=*x*1EArKZ)XR*!yB zrh63Hl^avxak}FUo0T1=$}qI55wX-R;v?wdzlgDR5$XR*L_@oXXB~*}oq<03#b%3h z7_L^MeX%R-*q$)9g|%#KUtW_1o|Vc=rSS(8v`Y9&A8ePta9Xw4i|yD1yWC1OF@DyK zG&QMtUfnl&m1t});j8<6fwM=I#aFBQopx+~_3i9x$F8bgZh#&8aP`>Ff3o%Zkm|87 z+p$+ykA1|BJ$x@s9C{YjD@+e$TOKgLnm)W&CG$WAlgHMY7>Y*ORHfcC+F;ITfJp{> z7p0Ex1;GY)ej!)Fi;6kun&0J9!HmThBPUH0S zlzIh~#bwgV*a#YzQk(Q-SYlj8I8ot5IHtq0tPz-4d8#bIil^Jz4=9KZ%MA+%E!%}H zbOW(NiSbn&>#MaZ<_NBqGea?hg%(-1vAh^lYYFNrrzY!*se2#_lQXuj8*uD{l5$Lk zDv*{Ai7->`U7?@XI1vb{f;NSIo?b{zlJ)G%6I_gzV=T+F%8XL5zpzh(# zihW2g*JZJq=pnrlT}{?oK>@|OJOdH3nc_wt#`xno> zEk=~DLUutpUV^T4Ajr30hlv!n@w<~Nvx2?S)?Srn+C9Nn`pF+`o^UGWeA2fF+_cTk zO8e33l7)8Z{h_=6el}c0xc%(6>g#M}uX7RVbiDVpoAJQ+o=)(nCCE=F$np}@$AKW< zZVDAC>;&b}=j*2CUX|{`H0JB8RyQ3xYIB0zN&lvsR*49AH{FGXR#Rt+z0M-E$Z z$NV)SrTQ`d;d%Y~`y-y+{X2}{tGwMo-t;Q*hP{Mu2c`?0JFtD!`J|8cl76DnF1I@H za=Y}IknaCDJMx{jfV%_x*sbQ%&_UefziFFoEaeZ_gD-{2)ZwR-6n*`;UMrTbd(yHeXE zaEBdR=_>iAz|H==Bhnng&L&9vsofM)7Vb&O*7@t|yS$fO+0FNyughzj6^Qh3H1A(6 z>07?>^qpR4weLJ(jmw1sXW!WuVOHwkD8)X>g=r~e<|OBHT31F#b*s=ObK8u)wu4@< z)I9dJt?MWMTQygR6jM!44afwzG&5FL>RFa5ciC0B^xvw|+>t5=s#j&-S2nBkfRFvF z6)H=lRBx3LXsP8#zGHKUU6oJnvSBM7n->e*986EyrCTK|n;VC14Q&FWRI_^c>h_Yo z^rA|2$^ON5@k6}C?={b2>6i!I)i9JUs4>3w8i{w?yu;U; zXAjx>`U~h|d7ZCc6x*>M+)=GxSf#~x+M7Vbq^DFH^%NOsm*Lml^slY_Van|7`i5$<+o!;7l1t;=5Lo&T!N?ml%kslHBSuk+j6{!Kf#lxS1A+xc|$ zKJ=Ir;1%$Ze^uvDpE~YMu?Q^JLxxA%IYNFHLs3c zm7&#R4}WSK?v3nNyP514FE2?6dZ11&FFqRM%vkmTKgkp$GMKsvpE z?YC08Yfa<^94_y6P%odj0VsVdrGu{6K!U!D5`hw4PXOqy{S{T??ptQ)j;zof)~K-t zFnrSP-Fu5=9&meiTeL}gX7%eRyNu7Bmj|^#QnJigrkmx{rCUe%nrBBE+^_&o?W}`& z^20JmXXPkYJLr%@Xsz%MC_?uZA*M*N!l}vn0p#&; z4Ib2`Az7gfjS(2r0O}i}{M>2*ZsMNC9B17A37#{#o@64W6f3GxqNPgDw1q&-5Y5)D zfCznWte}8QXl&9rbSK|2D==D90zbj3t!hMb0&X@xrI})5p@xu)b32TIoDf=Od80Ki z&`8MSXJ^W(I`mwbgocEr9P%?YeIO7*QB{FH@6nyerY$ithMT6{&ZgZ?rrnNvzcDCM znw7f4xXv8zG-tAb=q~q`WlAB%w~WgDhu<1L7D&vT}M9?!E3RH6;EMB_{Yl^A~w zBgm{$V?O2J7Wx0RR==;$i9A~UBx=(xSyijMnNyKRtAnW313$90`U6bt#(Si^b)VF1 z_0!9}TfJQ4+^r5YTm1wxwpLHXu-1=#;nDES5gRb7^Bs@qxw8uNkSc&li;O~j?qjn+ zk&!dhw7^>K_qEjTYiUS53D?nc01YXc1B&#JT7)8Kr5@XQNX5aYOSGeGF#aTe^%zO? zBe>tlEiT$CCZm+4m?@2gTA0^Jnv6%8Wy}<5M~T-s(_}@)zA%EoQSPA}{VO9@(rCm9 zHXG9H?K$0=1I1h)0zc$=+<-vC7^SP zt}iLq-A6gJuvuLn<$}DGbKOk(TguHoiC<`Yk=^SCOh`u32du+Ci%19T)2?mks%6{;^(&t@tSOSGL~`sR>Lcyg?+l?v%8$mh zW8*0u*+P6+z<3C<|Ak6dRHxEN zZ3y`OVEa%Ql3AF6UwoM(#eC@3e7uV7N9(WNq7s3 z((Nc#%*BT7=5E31|7L#Zv%oz2W5+=klmZH`pM__w3XF+f2I2vVK08RR)aW1TGfV*W zp*WaQBfxE;*(V3oB=6W#La5A*#T+at;xe@!eu7GvLtyv3G9>fLyL+DDW=l;_v%Eh7TsBx7C$*t9J~Rq7=GQkGN-)9k6vNi&+6yr#-$z~*Bfw)6_GGd2D=_KeDLbhd^h}(d|)FHRg}`rvN%!QJG8yJ77ROTk?`SV7X5 zJ1J8j0UIyzaVpTTwl}m&7LOM5i zI~c3M13YF}Z`bRfwe;xC(>IxotJ3v`TUv_irDMvfOv5Wl!>*==S2|ZLOCJw;D0b)h z6u0>7Qb{Cm`9O#eUUCLLQ2}f8%*A*3w(Cd#X_EB2w(1KSZ%| zNVXIUMpyFVtr#AqJeIc?n$5*^`{ihacOMv-N_S$%V7v^8mY~XgqO!foWvIW(y-BF9 z-91CTgpp>~fTktdn~Wq4I&+(Bdy~=|Y;E&UiGG;jF*&~osHKJrzvYxUdiyqRzk}ai zT#JTOrrNuhGmVA6leyih=`)$zo$FV(3jNwU)^9$BMrHbSB>jFqU73Cb*H>jf+DKV8 zTE3NS1c$M2I#W^DZPDS#L&hK2p#yrlE{a`_4fVw9o6J@L^J=FR2m% zolCj+XDDuOpE>p#5%yL59_+-m`r-K!qoWq8&n;clno`{wwu#l6egvcaXbLm7E88Tr z$T}T>v#q1!0UY|}Rk?dG5Bs#66&V+9=AI=p6dN-k->2n)b|v|$$VD%mpey(*u-F*= zAmMm<4LUZpJH$tQZ4TjCtPC@*5kSS>^C`Ae7t?n3EcP}P+xsqxE$}H8p^MqhBrGN8 zP_ZRcY%Gew#yF^;i*#!!6~oZR$7rS5Yc0{2WDqp5*)A&mXBkR2421cPU$Zx@LN6=EiyXmlv#Lge>v~Zmec-hIego+=s(!38pb=QZVg5i zl*MHWof#C6M9U#a4p*_i53P6nQjpXc?!mwsS?Iq3V)QB-dYIeUSX&GIk%^veLz8Qk zXif4wG+D0EWkv}Yb6MMw2Di+`Su~wJm(lcq(2%fH!V(FKB`lJ#P{INU*KwEydD*>2 zk#+8(D(MuA&Zkr9H$52yIsPj5&vCP*1Cea(?#*zyH{gapth+OZ;6~uvJPN37 zc}5BA|mIndk8C72_0N@SqVpds)s9G;bkG;NR?*Q4`-m zTp4Ep;RZkL#->h|8Z-`?<4sv6?miptM&O_gPuRKd;A&VIub8-@HXJ7P5zt(40fbA} zxFX{XX81=-8E9aJ=`ts2ZZ3z*l;QjVTdNVJn8`{olR=P=8OmUWa&I&Ih|4NV+C)gx zH$$8{pg!FHc>t9CyC-{05#KUk2g^qr)Ny*W03A{U0~TlpV;fA?aGQf^_=^nZ*`dH# zxrrUD5M>LE#xMd+v-}gP0;7!<;Nf6*vICVe4*&9^k1N_A5 z_%mF@oHPu|x2Bk>)F5hE6ENoV6;BP~19vMaTx#@(JfGEb7uDu* zrpWfC&Czk}RgJTdaQrOv^6bsWbupVySjE;;v7J69NIn8T`yv^Kozn{GIROjs{Llveu7pIS)FJ|xPQQy1tBc0 zCm6GPZCf?2%5sLgHM-1L3dS111JDI}V`Huy=7!~tH*F?AgfcKWYAZE1Gk+R(tSAf! zJq?>fKidxVdaB60ZNVq!w1tVrZq&FRGI<9_-d$>Z4WwyC+M$veX)kb$uqW_4D%!!( zY*}PX>c&EKKk*I@%OtXRx^^$vGYCdL_XabehDSr)zGnKBYdtrThK*tTjxxHDhVeP` zRX6fBlJB!keFR%l<4MTmZ8$Z@FwOvJZzR=4zEYDKS(_T^-iF`Tl^mtaa~nQ}gx)|x zW#dZC_Vk3=CX+>RuS5l17%uyG_jVwO;e5w6*Z6%Mn?Da_^Ni`JAagsjcYw_f48U2W?%-Twk``y1 zb%W;7X9Udr!8+eIy#~!Y&2u~1JJ)Eh^YvOIi$6U#Krh6|wJxq^Yg8dtq(XfYn`Z+6 zdac67*LVy19)I4a*f3qJ0L2QticOfmH7@6eeF?Tgucf9N=+>?cA*CL*COLZu;Q;C{?wh6FlPz(MOFd)X&g4c#uUgq ze!q`n{B;!_qvn&wPw zcL>djS?CcOU1~f^%-kKZ;vJYb2UNKzhP+~16nCPaxhSq>zUuYj3aZ3sQCy4doe>3@ zwngzi^rC&eD1`xNQ7k9yXWs&AEs7&Mv(WP`ijxRNi{f+4oOe--c-ginmZFTgD8A2p z)r}lP@=bTQ?wL=;X33ZZnYKmoF_^>NNOTV`icP4Ir|{T}ZBe|dQzeVy4J5P^39WKb zj7K?$Ej3nyvGxIU{iF8*<`s*%7l?hy*6iabgJyef7Nba_Px}^NJ8C?S!nU)ib3j(s zzMDzyM$|s*Y%22#7Fvc?0B=y0)|A6t%g82{yDlRbwdQkXY-dyCt-d>(XI|vikdQK? zb!DwttSi>uWA)Z%Y>16dP}p{o*v+dotQlN#CbfL^^Y5ao1w%%Io)jrc3UnI3B zeGRPDTVHl`)LUf)qu%Pw%{p&yom^|{tvgZ1r!_z5ioJU4B5F-rYK{BccNdId_dT<> zz9j6DuYh&;mV#8DbKh^VV>R|dqpEwWp>7|Z;Q?dymbWKz59IR4TQ;y;X0m(snv;tJYUhRXeI`ZdFxzcJwf*%%h|CRUvpEcJ{`V zcENPiVY(#?2C??8hH-MGZVE}qsIgpWa!@B+ore}sdV%pU23ut&OQh=F#WO9Hn#}U6 z`BI7LSCLg{e-(*~uS%S!S+2DyZu$R3RR}J{Hq&V0Oz@!>+!nC}|BjJfnE`T0@H-_o z16W5(c*u`#4&s#aJTF!pA8enY=r&UU%}{#!YNaz}r!@$fdiv_AwZvRNJIwL;1vI}^ z(Krb_j<)B{I$OcdtkGmqf~n;cE(nZ9P*i5ILP~!dduwHU+lH15zFEQ*>(re{wZAjk znqsM4-aD8zE7)eVd>O_SP@$sGXB}Ba)%dK6lS!{HQ2ay`biiZC)C|LD0~w~h>41hL zQ#0-$_%J-g<6aowzszpFDz`D86O0zdhTPoB7DnkY%f`id+7nQ$%(w-`Drr@buH9>O zEW-qE1W>D7WLfif7DFM!-YS}Ts8w^Z^EO*dd*wEgV;*a|yu319XZm>MvgK^CQg5&9hlW??l}oT2Hy)%1WAxg} zP0{{0oZI2;m0gkQ*ee@qZM0WDf|8Z=Ume{NIW018K-VF?2BWyAS5ARR?fqwZWjS@r zh68|G+qJ7Nv74_-uN+7)^2!I8apINzmf5`WMHH)~RXud=US2r?%egTP#XY_937Ej% zD$^_5QLDbjGdMP{9NM}Pue_4vHY2&VO*VI><&}4!9DC)HU@Win+A?`g@ME6W?bPd@ zd-F8iHi+z-k_WMaFuFqBO2vE1{^L2jY}q^wtU@qtO^na>+XOotO?swYpzA6%N4B2V zC$_Tt$4F$_CjE{&Q-)V}@6q&<%?-%{5Y5vFUCUhr$_bfEqpic z>a%Q~OolP5e~hYc>Q(*Qy!ah$VKYGz_Db0GU@ zx*;TJTQT0$i?KQ$SGBL`bHWmA;7Y^r^4_8H^4^fl{o$Ek8(mRcPrv#pPT=@t=Mik{ zjI;RdlXMF!ZM=E0=_|8}*hsA3Mx9D-%!+CAtwyTlLH6Mc7`dfkWIfHM!3ITNqTFKX zqBkfs+t9Vo-`HUpNzet;dv2v7?LW)wWlD9=3xSwf%xTO%FRUlQ7elZmbb!~nMG;hx z?bg%HZGGi(d-~2?ZiU;^fAFf!bhU9*+l%~D>CT!U2*#td6(n+q*#2bs$s{O%3>pnhO>o#7y z)YrtnV>H_JGyDGcw$QI>rTQIhV$;N5JHNh!b?~zDJczVB!`sfobY}H-u2+SfucLN^ ze^{BFFCn=;c2@S*S;O8OcOG{Bq_MZw+Rh&?_O)|F6?T3BS1raX_>q>~m9-x{1o2jn zS2|Hf>58n0ave(8JJXyfL#dLRQHdqaYMAfJ{XrvptK9S1?~BY<$;y2W^NhVV({;YX zrpWk$e}Xk08pv}6IS^}AZ}*yNu6VUMAJP?jxy%?3HNAF27wgQbc0>0d+pal8^PucQ znzwOlUP$S>Gk$4UnX`O~RI5?d*mO0Owsu4A?Z}EJy==M_K)Yt9O=js7##~u#+>QywuU1*Tb$;r6Z|@uFV=r z@m`gfBWWmA@(+GOGHugr1xzPp*Q_)D0BDr@2)T%#F}pmq<7_l9^&or&f~ zMP@8IOTvD1133cyM!1Z&um}wf&AxA`HSro^zcjGxO7>#E1AaIJ7JP0i8w zD0Xhf1#V4kqwn+jHk~|Y0Mpo&{cFOU5EV^LwXfHzmjUHi&{R|p2Oc`oqMt&ysVrb%%q!+S?H?)-QXTH zO3EvW-MC;2M-OmX*d*y&AH0@p;bwTt^Q||nfc)83wOzx^)YDd_X~h6$QG!-caGo0C z5mR@8I{N7Yr0_+srR@1jmf`UZ37DCpRoXkAR=3&{#%O;mFuLjzm1uK&HQJD`kdt~ecp?|jrmDtw=+jgl<&vaamiwDk zG%Tw0&2_+6BcBzstW?6n{jpM+!xEVzj=J5yMQ!Lr3FoiLqg*#<5u!QKYZbK>li zw6fx-;GHUH^4=KCL3S*H@XUEh9AwWxfI9H|=!TS?mCZqRU^Xwt*$w)$2%XwlW3uUM zdYn@6ZBXYKr-C{sA&lJ@)Oq52L7i`ZBdGJ}6+xZDo(SqZV0KvMk`^R4dtNsLyA>{p z@PYT%db9mAKRV1v$W;N>9tB;hvpM!osq&=q%l^EN*5+ zF7b99j&jwMFKHlU+l%3ZS|C?J+Kk}*G4>IPBf*;@o3>3($ z^}lgM&=o}WmiYf?c4%>4ukf~os^~a<1a8E2oWb+~rVlZFm}wf*IZV@;KFTzM=>n#Y zFzJ-*x`F8?rUgvj zVY-SFmX(`k1m>y;N z15<VpKn1(PN!ZeKOFs9*5M=~AFbPUsROmAg+JJShF?_zon(}_%@m_{?5%ruti zRHpGv6PPA3O=jw1I-ThZrVlWEi0Q*j)0oa-n$Gl5rWs5ZFnx^aLZ&%PpJck2=~AY- zOrK%;9Mfe?^O(NCbQRMzO!Jw(#Pk)WuQ6T6bUo7zOgAwtVEPWz%}lp4EoAyW(;ZBA zF)d=chv{CXA2Tgxx}WI*rk^n_VS0$^VWwX*EoJ&0)1yp(U}`Y^k?BdMKQk?3`YY4Z zO#fh7&h#&)XPKU3sz$N@GYw=~n`s@U7c#BS^dhDWnKowHlxcIOEts}qdI{6Zm1qN^c;n=-7|x^-OPMI)LdQrXfs+Fb!imjA=O2 zkxWN39m8}S(_5L|&U6CPyO`d?bRyFzrqN6%GmT|Bm1#WF1g1$$lbO1hPG>rU=>woj zbsEbAk1)@##btSdP#VM>444$?jK7?EPrW12gnz*nM& z4enHrp{N$ZJgXfPIzPr96T*%T4M4{ zl^hcp9dUd3(BR}4S88%XOmy(b@!{b*d2(`0%!turE6b`PIefGicv520%!v3TuheOg z_s009hK?CCYD{okLU6~Fe!(fONLOk~@D0Hoqk}tj#FO$#m=9bL(J@h}Q=(I+C8?Ac zR|J}plv& zs+5?7lsH%1^f=ed2pY9B)SV%$x>p9LQ7a>`V6a#pRB~(zr=bH-yC-f^VnT{5ITAgi zG1DWH<07Ntp*3|6ViEVp#7&7st{K;3pQFjK9KflWHI9_N_5!;?P{9vvk zb^vjBkh&uF4&v}IO+{=XagPxdmq6T3;-ZN=NZbVC4C3hEHMWAd zA;dK!O|K{J3gUVYH;_0wm5sffxXXx(Bd#fNvxvKpxF?8H#N`q9$2oBC5ONTT?qlLc6Ssr7n}~adxUR&lBd#@ZYlypmxaWxbe( zZ6&TYaW4{g_8)M$#QjQKI&t*=(%3}ez9w!0aR-PSLfjtWdJtDg+-1aVA}%-(+$+S@ zC+-E}{=~8P@m%7*C2k>c`-n>?ZVPb_5SLF}5^+n3n@rqX;_f0Yfw(cmO&~6exKQG5 zB(4i_J&9{g+?B-DB`%max>I<(IdR8`t54iV#MLBjBXQ+t!97RZ&%~t@ca*q9;tmma z7jebJ-Avpr;;trcGjWZGTTk3SINUm(PuvmWmJ#;`jg-a2Jx|;M;vOX~jkpxzrW1Du zaq-06L|hbcR}gnQarKBBN!(AkLv=iaxP8R+BW??E-H2O5+~veAChijA9wDwVaf!s$ zA#MV3=l%vaoVe4(^&;*^;#v|{N?Zl?9@fO4#A?_mL{vs}rxcbybfBglHKEZIjjJWQ^{XpCh;tmrx zk+}WD(Qo>X7ZI09+*ac9h}%HidgAEyw6Px$mq%Q5LvTxp8%5k>#Pug`4sjibn?YP- z;u47aCkR|Laj|$t?f3-ZZY6FsaiPQwA+9TN*Av&8xE{pSC9V^3XYkzC@ym!iN?cRo zJ|gZy;x-Ydh+9V7A7{YLCGI3~@x*;c++D<#5I2&zkBRF?+z#T}5%&&p^@v+X-0#$m zHN+hy?m6NIca72-w{_X2T!iOVJK3gQ+L*O0h$;>u}-cz`&AxFq6Ah?`8@ zF5>PY?hWF`5cfQBVZ>z;cO!8w;(8MI6M4>+#2q3on7Ez9H79NparKGIBd#WKS;Up& z<*~6Y;(jJBg1Do^g%Nj%xNC_kCN7w`UBq2T+-Bnbx(M8Q;=U&?pSXR*EhBClaf^w2 ziMR#Cq)Itd0}#;vGv9#VZvg&dVNvx}Efvg? zlzOF+s`1JsRrC8;Rb$nYB)5pD9rY>suXw5*XssW~b{v-T2{NFG5t~$9|e7X&f$2Ij|HS#wA@xI8v z(gFS`Fq;KWHsrr*Cu>|2S#yV&D(^(cT@vf9;1pr-3gK{B;iO-vJ(Ow$}-M9Poz7cj9m9 zHu+BMvjO<;{IJha;E(#z-ll;{o%91A0{m&g4{~5n7x1+Y>-oe9eiiU71mDqt`~$#W zBzPzDPat-Y;gMP&JOHi#s+k{p0^d*Yv?t`hYVgs(w-@{k=!^5=X-C|Rt}OA_Mc~!V zw>yCEBKXT4;7A){Mq}y8$a~JP0)JNIJL#`z;7h*J@}1xp1OI27#yjz!9l+l(RpTFW zVE@y=XA0hl{0=xf_{0zVIN+PztM$3Yfj)Ga(OB?TIKXcJzOEnmqrfXa@J(?>^QW}e zi9R8~|15YX?R5cv!VmeYfd5YLw7=xPYUYOnz<(`x92TAzABZcHlY;-$0lp{jkBdE{ z9pIyZ-!AwF2l&On|0?)T9N>2V|3tj@x3v!Nr-83CP2&eUz;~#xRBJ!*>myMAV1o>82B6g!0!OQpC9Vh2=E*Iz`KCoF8E~*^j`&h_e5=< z2@dcFfWK4lPW&?vCn2}_f$s_YSU>R5z>o3+zZm%8f_Gy79l+lq_}&iea~k*vKlJI) z*lkZI^Wiw)?-u!C4)jR}K2`8T9pE#L>_i&(32=J@@knaM1 zg&*=)+4OPZ4+nsML*zU0hd{hs;4Q&B*$?ytevjat^j9?SNBqDq2L7zzos8cdz?Tc& zNq?ON{x88hv1bSTTDne>o`0O!a~$v&3Eqi4(}8a*cqij!1MqzX@1(s)f$#4JzG-t@ zPYK?M{X>BFM;{mPran&WzY6%FqEBxJ-4*V?y_`Cej#|8ZDf_I|ND&X%Eyp!>M0QeNaJDGn1TPgLZ;GJC0_5}VN zKjcRP|B>LG%x{Z<|K1PzJAg0uL;h*t8{Vhqb0_xcfOiG77rYbw#{u78@J{?W9r!+i zchbKbfbT1KC-dh~;BWRrpQgC+I9TvKo%lcS{>XRPhx~Nlzw$%=2H;QlA^#}wr~HuL6gQzO{E#04e63_XpWNuce_X&f5xkTBT?Kqg z!H;kt{{Zm4{m>^cSg8;{^yvxwFu^-nzoLPk@Qrz5Via!H;r)PY3>E!H;u*-vIotfz?TUA zX$SZYxCuJ&VJ-iZ1N=DPYd+!}pAP(X!8_4s1MpX;Y57j@M}c4B2fk@1rOpZ7$$S_B z{Kd1iK2H3>1^feo&vRhURlxt~2mS!?6XYOh2lySpugK8&kq-1Z4g5C2-{?R-eb4Np1zP@G2jg)Z z@WJ#88vGr1piesRUkLs;2lx%ZKbNiL({CyG&)c5#P?wq;K>LfMz|YUo_{*wluMOYy zD%_8FQsbTI9|C-rMH=r!e;4ql1nfodhadQK;41|0q`ez}@06?UljuPIqrguQyc7F0?Sk__!8_3>1o+qez`KAi5qyaQ z{Z|2>_Ox#AAqV&az+d@{#vgTn5A2HPg#_Pfln9wO%B$V4Zts2uH}z) zpwCg@HwoU!{L{3%QeO(*Nqa+pzcNqj^RxqfT);2#1HTIRvx5KHf&2r&zqCT@v%mp9 zum`4Zd`XJ_oXGD9{CdGVksl3weSD~k{zf^_XEE?s3EqkQcL4u@;GOvMY2e$e()u{@ z&kon(dPMM#JJ5d|@cRY7*a1Er_}=(#9sN16&j#Sf3*L!7M}glUcqjXrra1JUwnppY zME?-r_X&QHgZ8?B@3~gXKi_yX#hov_CqpATNVrGBq)eTDR^kt2>v;M?9qym6!xoR} z@SNat1)nPp-bupTCp2!37=FE!?=9t?k#KRA#+{Y?LMi{5r0*5nL`hGO`hS&p2f^JX z;T(}OLBhv!wEP>T+>(49UoPQ`63$(t)3YUfO2QQqzAWKJ3Aai3frOt*_?3jmBs?YI z-xAhZtLq7pu%(3UCA>z$J`xU;aJYoyCA@95mNP=a!4meBu&aa}C2TEWBMC2%@Sjy$ z&TkSPm+%`24@&rPLwkB)nO|8zj6|!p;)5k+7MB^(3qz;h$oMpCmjY;TIBqBH>O6-<9wU3D-*ayo8G+ z%#`pE2~#D!SHegM+rOage~pBFBpfK=a0$mt7$IStgeelvl5oC+Pe}NzgsUZdUBb5| z+%Dlq5`He>w-TO^@OKF-B&@qq>)k}cOC=1F{FV~lB>mY-!mA`~E8)cwHjpqt!ZRZ8 z7YVVW@=tCG0NY6%xMp zqPE9d622F%VY#?EPglA-) z`$fX7`!u}F=m+%S+FO{%~gmopXka~ZY@PvflO8B{iA4#}f z!nY-SUBcB8J}aT_-T&x+7WmHs|5@Na3;bt+|19wTq6HeY4W2l+CVnS7AR=Nybo}V) z>X!TRYUWT3Z@*K-L`<16BO(c}yi82MYa8+A!|C1BeJZC3W#N62lkSa}6nk&Pl+?)N zXyBt~#z!ML74IXB!mA;@Rfg}428#y#IVR}UOZa2rchQ!6hM-L4N9o;8l>ZJI{ zl$6oKCyl)}0`&)T^=@=`phv{GViPNadtrM38=jajg{6m%zAj>_e!J@Ez7bO=>l(RH zHf4H@jJaRG<#qhHA)(O12Qc=$GG};~xppvKRXH?4^tLO~y<5c8Y0{bpyo>duVz(y7 zMeFuDFBcLMALEJ%$ICI}$HYvwmGh~=dQI)%*qBN8hEDeZz=8wm^_k%@2~%9L+&}y} z&B}nI_|>(37`rEo9g>)emsxThp>aM^0nkzf;PwxzGri07CadW}e%h@Ml^m3q7#|av z;BQgOkfSC|N=;6ViT1T+AJ}p%Ubz}KNei#U-M#!*m!Ow4!x;z1Mkc3lU*gS`NE#jM z-SX>D0lku#Z8aul3f@W^I=XxJh^bL#VqDzlNbgd8LlaU`leM=Dj!cT2gi-C=6MZ2Y z9;~||K4w}BUPlVya9_MOlv925>Cp{C#n!!+M%PA6jdu4sbQ(@`g?&!w(R~bDI5H*1 z8j3!x_ZgWzx}!R~vuG`$Bd4yHkp;DQ2pIdbUe(bLCvi_jJGy2I|kYYwfW_pPhxwZKe{ zjEl!&a$iBsMg#bDs`O%4#0$;1yj~SaMV?7`87dNs-HFyqQITBYo2>DrW`_9=R)7sk z)Aiupx%B>GB$nw!ej_u*%PEdmeMhFoo9{G6YFYrNS}%n~QieOpu2GI8V?LJ}ayiBQ z(qxp)qogT#>ufl>GlirO-+?Q;N)#$OKm$ z+BGF6fz4?q>vuInffA3DNy(8Zn6A`)rB-qjN+-Eu7xpqm{v>7 zDsR|EJsDOKzXBR5IaW#%hD5YBT&^vVU!n|Po|#7PaYj7f9iI`QUsa9Nb+*(bQ{w_F zF)k@$N+gfELNkrzTNM{ssWDUZ8?7O;*h)-HcpxS@k^R5KOvE}7!Ed={JK9q535Ymt z9m7hcL1a}{W>2>JSGhd{l}sx!k%#Cw_P;}w*ck@1h{;rOg+xPr|IhewX2$ zV`-gZ|C;Ii zR&@Xi%>;VCyS&dG$wl^Lnm*tpSXfAOu{}$_N8X)T;+2W{-!+p;mD)1ot@21Utkjs~ zsKgZZ!7?-L{>0>a(Tn`bduvdXbFS?b{g9GY2Ud@bOo^aZ`XioU#_4kbi04o|E`{F7 zPOq`2q+Cg&H=kpuOoM$WInPY?Sak9wRbF8a+&VMGocXOaq(E})?|DaoLP_RN9#Bn1 zk}w&Y&p2F{P+GC1#o1=V5-W|3U+RuxNlYgH7e_ZFhxQG4i~l5TOG%s-IU^32)o@%% zNWj&>^cb;MT3u})ohU}jFcV{@FqTT^NE+sm2-9S_wls6m%rnz$Q%k<2@sKqOud^qb zgQ&nvG(R7JnhPb(YFUvaxW5%Z1~d~>VtDq@Q!XXq9rQfO;YIuW5e;fhDP_plD=2PI zTz{Fu{f2uMQRdEZf3pH5%5CWwBaBVE(2}AzY8mbXeQ_YudyYGuZNjBh8-I5pK3VSQkPQVYyfkI%1APN6Nw{7?*~7n$ki_j-_4Y^IqX z(?MDZrSVrs!g=JCT5)_+gajE@g1A+gm0<1Q%B>{%MhO*6t7l4g=Vs)N0CR0wGA!yNS4W`#7gwu zo0i&gJol!CEyo;YWmcO0wg%c+ZYAl@X^{H1^H`2gmbKl?HM8uS zk33tVY;N;Clk}>(&YkG7xh*i$tr@b=OtJQ;wgkOLwI#?N)s|xJQEf@qe$TKa+BU9b z_GEJ#SZ*fTHm+$6#HRMCI>VjFb9Igx_n4A%tyFU_n`foShceJ<`DU7ITi3bcGLskB zQmid&p_Pd3G*9?N?i6biTWqE!*tV-BW+Emj8i1v?xO=B+*i$F-HB6ajlJ4emE7AQ` zAM(YE#BLrtQ7bVyW^zn2?KVh(99y!rLCtk1qJPb;W}caMcONJAuAP1;{#ginVOf0aT3$ zyyd;tFx4?)g8HJyl!&R*r>R%Eju;veq1JaDLP1V9RdeLfh*1eD1P5K%*yw$YeAO*N z-J@!TCq_oAapM!>DZC>?N-=6f%>b2mC7Sl}mH5SeFZEtPACCJg!q2fFAe zG$O|QY@Z#VRt2I3=0?m@zc@9wR)9K9?Jc|tUj&#!ACyd1TLM#*Q5*fd^AZ&}C`ug- z#JBJ03v}wUTH*4s#V>2|*X201v=-b)J_)GK1?n#!a?U=8|KTc#KYTUFfv)(~qwTYL zc0;~j%l2J7cgE;RYByx;?SbN3dx7k~4&+#Wkgu)>`QiqUPw+~G+GAC2ZL+Sus@qh1 zoa|uVtsSCv)*fv84%yeW;ax{+s{nH|{6=lMIcLv2-~L8|=w0R->`%y+)(e&y9wv1x-e&kD858uQVU1)?OU0 z4qQA=ow+!KG*L@h+^ULOgkl2tu;m!_VQboY9=UXIqRMZlYIC(K>(D-Ipi6CR8m01@ z=`GyJRzpUsMVIL<-nYRjfOe6a>gX-zJN4D_%h0Ytx=A0`p(|tEhSis;Mi9Qa?nsqh zZ;(1yFI@eE@4+r_aI0Drbeq1mc6Y*$L1Wcp4acd^8jeus8je=`8V^-vjR#`a8^UL= z=@*Yt-?Q@1wj59E#)8%%F!NZmU%qUEF^|(q^+DZu^;2sVa4VmMepgqYMlKE>M_)jD zp&k4Kx(1}g(BMc>=@(kxdOH(LVk?3J)bbE~f?~Wna^Xm|vEC5#0(m~PTGM!Fg4)w$ ztUA?XklNdHpvt^BJaWo7Uhh7+Scj*@+&L{q@Kx{9*4m+1fwwPFHO;#Ja@Rc%KRlcp z3g7rH6jOS=U;&Tt6WJe+($71u|%XvfaJOx5K30ooys)Q?wBToj;wCiFAms4hum zHsCgW(m-!UTkDS+zKnuH`Be3p2Gmb#+a&>N7fRH`Nu+wE0d|PL1gQWG*+T|m)UnnO z#@rm>%fnF(eWtvo9Djb_fJ*<^AV7Uase{F=|1=mw_Y&qnvpFMC!6*UV`2gf0E5q?QgOP>c8 zHneRDH#frcrZ-u0++fWUi4JreI_}K8h7J3ax zQD+(srA6dbIPzPBi&T#_ic7i~XWjn*Gea$H7iIsyT*k*X(XQg3j^wHii)=K%ZrIVx}?0 z|Ij#D9cYdT>J1E-V|OBZ(Or-vHzVdXG0)uIX@xb#mh*Iz1hoxmrzlO%nqO~13a>#= zuDsiwx|361M(Vee>QY}ck-HijF<|Y-btjvsuORZNd!QdJXX>%0=Jmm+twxQ#6&|+} zR_6n;=bG|i*$Rj~bPu#%83A&VNbW?CJrhxto+)-W9m03AjsuzziDW&E=)|K<^#W3Y zdbdWR;Or=n4~YC71vQ4a?}R{ik0sa8>HMJqaCd6`^W-}&3sl5Ia1 zg1!a5c9J?t_$PsX4)`^UU)M?>!W;~?%AM2YGEi=LDk?ijWYKhx4~WdaA7l%Wzlppt z1LPMXt7n27A@cMCAU`|+Kq+{&en1qY~A4uYd z!B{{aMn?K0ARj%V0@c#A8lZ=mE}M-XvSNP|qh4(--?aTQI8c3yY6}tbDC_k{krlvM zPhWx)hqZ0ho5;+ZPbFw4GBg1T;+vNw%|wuOX`niSoIv$W2GQ5(3xTz1qw(7%L+Fdo z*lnJqN*;NR=(^=Z^Ye(lw}R;Ul|)yr zCc1eI(SvJ={+v(rtrv;zd5P$cFB4txD$x&KgB}-z>n+RdHnuA_mEFc;b9%51mTCLA z`Kb-I6KC3BqLl^vnP3cY^(ySVdL7CB^9`~#w#Vw(He+H_)VEk#(HE=Rs1Mo%s)cWv zxo>msF`c`;jrs(+@4ZVB9^Xv#qe7y^+ljutljtkEiSGW0==b}Ge*7s(GtW6v)WTru zW%VqSdG8h;IFn=+cu!%YGty z;1{BAmer^+1Y2~>#3+8Ctx9Vbs2)2-;_%RvGTIKr`M|5~*|fm@)pkrQjg4(Uefuj3 zDE$rC0D8#gxpwHI&)Z{vkNvxv-yu*PJxz#}f08sZm)_C0i&r~Q{0}5!O=2od#DXpshXZoWfgTi|ASb0T>}FTL8ZXJIgdlJx_#8jD|)IwuIQ_dbgK5L+7~-l z_lWN6oqMP=ogF@VSk}eqv#<-h`tcy=nyxCKvL`UhuHefN_5GEDoj=<74D7U?EL5xN z=V-s`1i@-!XINdWzs9QCe2VsL7pl+6qq~by*?y|5X627zuI!A8hMw=i%QM#m2A+kK zz`#{GM85{*!Hf%;>Ym5_tusFo>GN>!E0CA_1Y`uD_VYbK{l%4-L(T)5p}x5iw$fLI z=9AU=R|N*{K`qdo>Z0rQsvnJg;i{^igMAHxHa$s#%9uX02;y+8xaaB~s^S{w4_6-T z;_vg6KX&owA=f{;;F8F}gRN_>fkpKpko|$%Y9D3&30<}q?G6k)N3Ewt5}mJ$$5r;& z^s#H~4~@pD-yk3#Uxf?|EM=Ozg!n>GRTExd2Uqi8>(}i0emp~)fdTLRd|@` zV!XmDFz_>`xw*t|W%@JIzn-C#^yi7rSx)q^6-0Aaf~tbz0BpA6)$y)V;Fn2iK{xAc zS-sQEyiLBKdsGx3u&(c}y)r^A?161IU(({)NIo@7?ZxVAhDL@6T-re&VEb0#jm zd!Q<3L>fMp9;hqZpPj@<8RwtpLrAet-@&}a6=Q8WK zjD?ufLu6<4fK?e$$Ozb#o-vSr9luB7r_*(u zt~v-mXReN~l6W+(o#^j9i60rPen{+3C6ST`NtA@PHQbo_gXPjKmYE%*|(FCSOU^mm2CS3aoY^j&$%4{xjENfKXl zuZ}N~_}fuB{;tHkU$5g|NPJ6w9sg6}LnYq4mX^O-@VzA-*-zsqNc^D0ACh<|-kC*z z&r5vr4LZI};zM!RM}OZ)e8K>Zs&f(_a=DJTsjcgOEkws}lK4xKe~-jx57hY&O8f}! zP|@G>65lEPu}$KceRcjf5`Uw;j@P_E*Ed1@rGv!#U#;_pNc^+Qbv#z$H3h#=;$0;E zhQuG0c(KIm;hjPB_p8LmU#a8G>gf7si2Um${-F5B-4gFQSmWnN{Ma=*zDnYw#GiLb zyuHMKlK96sVWPigm@CMCPV~|7J`zt$(eViqe-CF)^fyQ1#gRJxvcx;yuHzp|9Nz`! zzcUhVK3&IKUa0E}!pS53g-CqiojQJ>#PMx${(Da1IC$c}_az=G{r9!RH_G^`ka(HY zcS${6U#8gW28rL8s^#4!@s;AQX%at)yN~p@LgFJPa#VdF@%M1RN`JpeeD`D>Z(U#4 z_qzDY0EvGk{XIqEk4Su>#Cys3c}?QouhR1NOML!yI{ur)gRa)`<_&axZwbDi#G4P$ z`L|2_L7AT(l=$PFb^Z$y|5V~1N_?o`%OpN7bq5`PPU6o>{B4OJk@e+(#8>vx_&+7yN#ZSobbalmzps<{R+&%lmUx8B7ikio zDE_@n;)_JzZ4z%O^HZtB<3;{iiC^4R>(joWu76l>9S@QCvH?0CCGoZ$bv#|-w@Z81 zNId-}oxj^Ge~peGllXXvUjVz1eIJzZ+ezXd4%GOYCB9Phi<9^SiDyatkhG81b&_{b z^rv;5;vb1VCnY|&otEFAvCjWa;yon3eVEQ4CGmy9IzCG%&4KXS8< z)3?jW9_w$>@s1L&8LH!hB|b{@xmV)HF4g%c&``L=yZZ7zv#*zud)5FeH(rK3AVnvn4j56#fV%#rzDr zUO2>j-4nI_IP)PVt6yXO)k*44m=Cni{{!?&ims&orMQ&ij9W{XqV%X{Ww_o1k?MnfGNok-sg&E^+D>_n}5EEI`@l(foqy@Pj_*mu_x~&BZJlr7d{^haoDXz9 z!udq!)11$8eu?uNoZsdAapx~MU*!Bl=U+Roe1P+M=Z(&% zJ3r6)T<3Q-}$FALD$o^BK-(JHOKTtHJXVL!BS({B-AYoL}YqR_FIQU*LS9^N*Z=<>Mm7xaccZ~*j$ ze$XEVz=7~PI0z1gL*P(23=Rjmuc87+!ax`VgP|UVz)%;025&n91W9U3LFE+!c;g8j)xOq8k`6x!E`toPJvTl2F!%h;B+_xX2F^8dpHZu zhI8Otm<@k`^Wc1#0~f%Ba1mS#m%ycP8C(umz?E3H^I$t z3;YS@!L9ITxD9THJK#>Z3+{${;9j^7=EME)06Yi}!Nc$fJPMD&)@FKhfFT*SFD*PQ@gN5)qEP^-SO?V65hIimySPcJwf5LmP1m1@a z;6wNbK88==Q}_%%hcDnu_zM07|AwXTHGBi#!gugJ`~W|~Pw+EH&rb_j0e%51!hgVj z!Y^SZSQ-8cR)Jr^s?ZWz!D_HNtN|UE-?lPOb}M03hFd}_SPfQ(HDFCx3w{l2!#dC! z+CW=a7uJLI;lE)6Xb0_KL)Zv@0~^C{VH4OCHiOM!3)m92hHaoDYzN!J4$uj9gwC)N z{15C5yTGo{1$KkoVGrmEd%|9@H|zu5U|;AC`#}%bA9_MB=nZ|~0O$+-pg#8K;m>dz z+zxlZop2Z24fnvka39Qv`{4n25FUbu;SqQg9)ri>FYp9B2~WWS_$xdO&%m?r96S#% zz~A6ScnMyHSKw9nJG=%9;dNL9Z@`=I7Q7Abz`L**{sI4l_h1RU4nKN_E)==vpOQb%`=P|G)Qk1Erw;|e5BkYG$ST8CwoFB zIv07Ers+m~vOPRc77GYZnKj*L$!7J5vRKH-E9(jrUardU%xrMlz z#UL7zdJ}RJvOJitkKD&+F{tp^Y$B@gq-`Q9JarpyFXaP>hZPeEM5FkG!n0AS0C|+E zMtgJ+yi>nf7ReJvs@9mo^YsrJGH+43ND^Fvc-5*D#A zUwJe;HQ(w3-qEPO!{c-4J6v-k#3xRz0@hD@($BW0A;e zDzl~oNKq*1wW5uZ1*7T4@GN1ZsgVo??3f|lOEe@;4ik&$s@Zm;&BfF_v7nk4%?*v3 zSS~h$Jat+upnLiPv7wRY!DFjX+KM@iVy}_sXNv`BmbO@{CijYe&JB$kk@&D1xd77) zZLt^O8X{zlO0*}wk2N&bxWZ^?I+^73mbm@#8GtaGV{_5CuGV`P9;mMsDrewk1ZHVc)3fVoX;ouUq#jOx2n5tv zQH`3mvFTS}@|tHRiK%gFlEsXkG^H`5po}g;&5p2a7L%ffJBg^>RTiRZc9n&w#GzT* zQ)gmn*DR~?cifDwHknQBGkP^D)yYK^Ukwvq95f)_A(yvDFXBUle6ela5A-&nOV)m5bteTkXp^*5-Ro0o>@ptyq`k?(wDy>Lh?68-(v0V3Ymvp%hg!gbRPoqNnMN6T9_+Ab#l=@*l?FHLIemqYtcx@` zr{qth%&A{E*2E7MAwp9XHvLYEr4gEr$Vw?R-5Sa#q^`X}K>8{^ghVgnLu>pxJ~St< zPeVlbIHeo~-&oimr530rXsQ%OYWIqasOG~8?Uo2D3^S!Ht3+8f0h4lKtPsGD^?Ds& zIizDpi!N73p!NV|eLHrv$Z}&tXp0tpkO_CFQMMt(Bx*B+c9&+nnp&Kc;u4T9PazTi z=L!_eWZUJ+jxG}{cYbsx>cr<4smmd)wJUoNRjsw2O8Zy}Os0=4MK-4-dwGIo(gv2B zIY!jXJy@Eexd|vs6E(XOdwHsO0?BgRG6^Kh&E5C{*<=y+Wx}*`B$e{9JP9kenAk7u zlGV>&>a*({6L|znGhB|Gou%oPr}TPx!hF>g3a^(VSbH_ft~U`chtZ~su9t$FnfA0a zO{Cy@IfjL%C%2gWaoKX~#VMAn*m`Ngj?KwPS)M}A%XxaqW)xa4O~37)%U5Q-JTYsg zxXC7RQI@7_eiqQuWXqcnv^a4ji*GT+6<04c5pOI8sds;l#V^uSS^ z{3^pHPp-&~f@4N=AwOYCWl{$jOAU^}BPxT3kEnz?>!mTnCJr1=7s5a)w1zv_WPn=+ zLdQpSSiV@ORWAg~o<)qLFzR6GhSix^C3Q?osJq(fXkIkkhN~~2x1@3UtE<%O?PplT2Kg-RP`fkT&Kw`^a=- z@;cz55zT&c2(7Zs6y_uwO!-5RF>E%4k0~rv_^vE-7@PMj6wPjQ(NX1k-eEDquOp$l zVo=H|+JCF3s3x5PGK=!-W7&4mSh#~h0>$$sYpmXxAZtNq}_kZn+b}e>vAIox5z{ z*>CO=EitUuYDJ(tlCgY@)XC1qWIwTo$+B0iJ3sbF^DYKrKm&KIhMCiB3>qzGXq?@Q5ZKJ|!(%&j|zmhG3ZCFK4B05yq z_jN>A)I6|yth847%}@uk3eXk#+Ew_@Em|sx$OJk{wqpHC9lohq^6Ai;f7zBF{wmaU z)&kExDd?<2;j;*hc2)|*L#5hC9y3}R7eY(EiIhpVT~FwX5NrEzu+lyTJ~w^=xy zR)^(ir&id{WQ6T#GN|WB8{!;kLvoI^!ElbWVf&TDEI(sru4hcK{EQhS|5ZbcJy-?` z`)g1=dxk+PTpYr}`BKK(9&Lkmt_-HX8|a``B@RG8#?$}V8P7~g2WyL*{ldun>}!@SPS}0z z#3N1O;p`VAKk%r9zUeSnJgbEf!K+utSxkPxEhFS*@=wm(O7e!clh@+Si|`hz@7kapZbC<7 jMUFS4=0; i--) { if (weights[i] > 0) { ignoredWeight = i; break; } - } + }*/ //determine the minimal nonzero weight double min_weight = 1; diff --git a/prism/src/sparse/PS_NondetMultiObjGS.cc b/prism/src/sparse/PS_NondetMultiObjGS.cc index 7d18607f..d0d4d44e 100644 --- a/prism/src/sparse/PS_NondetMultiObjGS.cc +++ b/prism/src/sparse/PS_NondetMultiObjGS.cc @@ -133,12 +133,13 @@ JNIEXPORT jdoubleArray __jlongpointer JNICALL Java_sparse_PrismSparse_PS_1Nondet //otherwise we can't compute it. int ignoredWeight = -1; + /* HOTFIX not used for numerical problems for (i = lenProb + lenRew - 1; i>=0; i--) { if (weights[i] > 0) { ignoredWeight = i; break; } - } + }*/ //determine the minimal nonzero weight double min_weight = 1;