stp-2.2+20161105-1.1>t  DH`pXc/=„lyRsxdl5' m_7zX ' r%Z]UCSi 1Ke8a=lU#ʭdw^ʭzp@~`;%Z#(Mޣ~/T.NIA:?d  )PT\`s|    8   /Rp(89 : FtGHIXY\]^Mbcdpeufzl|uvw\xxyzCstp2.2+201611051.1Constraint SolverSTP is an efficient decision procedure for the validity (or satisfiability) of formulas from a quantifier-free many-sorted theory of fixed-width bitvectors and (non-extensional) one-dimensional arrays. The functions in STP's input language include concatenation, extraction, left/right shift, sign-extension, unary minus, addition, multiplication, (signed) modulo/division, bitwise Boolean operations, if-then-else terms, and array reads and writes. The predicates in the language include equality and (signed) comparators between bitvector terms.X?lamb26'openSUSE Leap 42.3openSUSEMIThttp://bugs.opensuse.orgProductivity/Scientific/Otherhttps://github.com/stp/stp/wikilinuxx86_64 Y$ ZA큤X;XXLXLXLddf258d64f9f95cd52cd9337e257a61f7f24c80d13d17a508fa551b5d0d30467a120429e4a5f86414bbfa2b880124397617f2020c044085f6e07c32c3b0e0af77600801878c22d1932b4118dc0601273stp-2.1.2rootrootrootrootrootrootrootrootrootrootrootrootrootrootstp-2.2+20161105-1.1.src.rpmstpstp(x86-64)@@@@@@@@@@@@   libboost_program_options.so.1.54.0()(64bit)libc.so.6()(64bit)libc.so.6(GLIBC_2.2.5)(64bit)libgcc_s.so.1()(64bit)libgcc_s.so.1(GCC_3.0)(64bit)libstdc++.so.6()(64bit)libstdc++.so.6(CXXABI_1.3)(64bit)libstdc++.so.6(GLIBCXX_3.4)(64bit)libstdc++.so.6(GLIBCXX_3.4.11)(64bit)libstdc++.so.6(GLIBCXX_3.4.18)(64bit)libstdc++.so.6(GLIBCXX_3.4.9)(64bit)libstp.so.2.1()(64bit)rpmlib(CompressedFileNames)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsLzma)3.0.4-14.0-14.4.6-14.11.2XX7@X1@X.@X=X`@VXEV8UUU6@U4@U/@TR(@TD@SM@jslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.com- require only boost-program-options in tumbleweed- create libstp2_1 for library as required by policy- require minisat-devel and boost-devel in -devel- package also stp_simple, needed for cmake find_package - Update to version 2.2+20161105: * Improve performance by creating fewer strings. * GitSHA1: really disable timestamp when requested * ASTNode rvalue reference assignment and copy constructor. * simplifier: use abort() after assert(false) * bug fix. * (1) fix building. (2) make index width / value width out of the base class. Saves 8 bytes in bvconst. * Might fix the issue described in #235. Missing dependencies. * oops. fix build.- update to 20161028 - remove simplifier-use-abort-instead-of-assert-false.patch - remove GitSHA1-really-disable-timestamp-when-requested.patch- update to 20161005 - switch to ninja and %cmake macros - disable timestamps - add simplifier-use-abort-instead-of-assert-false.patch - add GitSHA1-really-disable-timestamp-when-requested.patch- update to 20151122- update to 20151030 - package AUTHORS and LICENSE- update to 20150904 * remove: AST-simplify-FatalError-and-mark-as-noreturn.patch- remove: fix-no-return-in-nonvoid.patch - add: AST-simplify-FatalError-and-mark-as-noreturn.patch- update to 20150828 * drop one hunk from fix-no-return-in-nonvoid.patch- update to 20150418 * remove: fix-install-paths.patch * remove: no-build-timestamps.patch- update to 20150415 * drop one hunk from fix-no-return-in-nonvoid.patch- add no-build-timestamps.patch- update to 20140928 * many fixes * remove-broken-functions.patch: remove, upstream- initial commitlamb26 14910008952.2+20161105-1.12.2+20161105-1.1stpstp-2.1.2stp_simplestpAUTHORSLICENSEREADME.markdown/usr/bin//usr/share/doc/packages//usr/share/doc/packages/stp/-fmessage-length=0 -grecord-gcc-switches -O2 -Wall -D_FORTIFY_SOURCE=2 -fstack-protector -funwind-tables -fasynchronous-unwind-tables -gobs://build.opensuse.org/openSUSE:Leap:42.3/standard/706cd30da6183e32472bfe3e93af0b73-stpcpiolzma5x86_64-suse-linuxELF 64-bit LSB executable, x86-64, version 1 (GNU/Linux), dynamically linked (uses shared libs), for GNU/Linux 3.0.0, BuildID[sha1]=b18798b554159ea007e55e1c75addce269bb74aa, strippedELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 3.0.0, BuildID[sha1]=1c7bae2c0c9fdb78612efddbcf92b547c803b95a, strippeddirectoryASCII textHTML document, ASCII text, with very long lines RRRR R RRR RRRRRRRR R RRR RRR) ²GdyN?`] cr$x#̡|g\fOƎѻvG?)5(TޘT7a.QTƴFmcvqy?푝I,FD/I^ggr9a΋<7ݸt򄃑8OP2A%ͽV+؀GXfIY@j]!9> ?L Ӯ/}1@fY>1C @ ]z\K8|gƁ(mNr]E}=+*@8\2:L81faX =;blzݴR+MB:jx=)i4 ѹy#y jrViC-M,ۥԂ$:6c*-J: E~rt!L¥Vvmu:a%PF:Gƶ7V~ {%Koa9H^sL7 )<[c 0z4hL)E W]cLE4z[C$MQ8HԿ#X$,jWAϰS;&;]p# ^$ոjEOċ+(H[~BfDGJޓo/sv ] !?:$r h_:B1:dR $ŐV0+: D&q8WuӬ9?U?MN̦M{hsּBl*$B }FN.FSvgD D9n.nx±~SNjZgz}og ;#7W$K _串V7V"m;c ;q>&OX-TWQIf `*ClЈHi,OM2K*S1ul_ J{/^}.8>~6s/X7i0t'ulj#k[6)J k9<&H̎OI<UaWiܬ\A7$/>GyX)k,yVϙ1W}pQ~ ɨA bI>xAfF(ڢpptܠN% waL`hw+l^xBa-^]JjA ٦K7ɐqGvlBDYr0lh,/v,P,e't\~N(Gfͳd2I#m;3ԦlOu,!$Y?qm yP&9K.O“IcJҼvBϿlv7sNKW_ l>S`0 +:'{De*>:(mq4Oq#A p &d06s52unZ2ēu˘}gSi9 PDQO ץyIZ<Q*aߖ`cHAtwl^d(G1`Θ;q x&u84H4_V¾gOo}L$MT*Hr-2뵻("R#m{)*^x˘tULo ŜwRtV/XAK35p~V=_} a- j\-tʍE*fh!bb!LYlP-FV(\LM*٫(֦CpfG@;k'CEٶֈ*llo 9){ǩ>q!""HS9SYIcyvPs^^x*)K6[69dSMpct٫"VFpe^[\$̿8hw =j?0O!0 *_$=s;lf2 c^@ɦSnr j{$#:u5/ :er~UH8*&sXsh|)F:WMl o4LXw]ƅ^B 7b~cۀXwDJ,cmwLĚsʟL{úGy캊{'!5*rOWĉpe)(=X١ *^ ڨ#LZiݔqz^ ^ݮrO/@):Kz.c_"y?Cy;sQFc -М ȼ|A ٻ5E.+Ac R@fet_Zxg#go7 4k~yIn+fexmnw"^hB>[[DH):$O? UΩ -6zʂLEȕu%jk7RVu*[o:)#K屴~f14c A#h]JU-\_ 9r@*"a'" h.nws 5DC ُWDZ# |SE9&‹wQ ިX]GcͳSZ)ڝFKDFT#yNOk{tb2PdSD 6+F=ߨqU|vK r0vB)bL[i@ײvrpt`{*~t"XEϮ@ `4 r䩱KU+jR'} AiFb*Yc(Rʈ8|WְBX1CTcģ́At2〄L2$o%9(j-aIEBڳƕ`؇>_PfbHtE^F=q}mEKZu/&>FA[fw ȸ,7t2"ɓaZ.ԠgES{˴H}`mX4{>_ WqO`ɤp?o:FYiݮ741DJ X.I2"{iaˑ(`PTte#^N?D*kN$_ߺ2ޞ.U4 `!&>RZ'E]8b]1kPk4f <hwAgK*Rf.jI8 LphEaPX޹Xey)?F\WC @̶^ˇˑޓ{7=-@z4ӌ QC3Q\{[td3Z<SgEݼ _H$8Ykwcj ?EF'ja4 [k3QnZX\H-A]ÙděLm\߆Q َkpõ: Č^wŸIzAQ4uƯ} ORtv爡O40S@378yu Hs +&FZ TXc/+MXK Jhhצb8.Fd?f>AYc[o/oR"-'H_^aa+1K"eYr(EYo[\VJygһW 4Ա'<^@tX[DźU@+`:nїiFyU^}?-jQg.m2~5 -Tr{iy ǒf|blcpSv`!r 0`WE-M {.M9RWe6%O\΋߱V (aH p}hAaʂdқ`A֝0_$rJsO(zfluޟ' Y-MMLmǗ_J Daozyvg%0%8?)3X=Ru%ѰttKbݶ[r=L6Ue.!h!Ӷa1H Bo.Z>j Fh \{K.~ݿLY10L'DN\X=eE~jQJj7#UT]9{bBkZ6mxL9WR@~s{$KDb_<2X Oe&Vjn1w! l6)zി΢k j' [0}x8 v9h3_˿2gLt 1!tiq#p0 S$UJ *^P[p*[ Gr ťx L"{N/}Bk挰]ƒ6ג]n _,q/f='căO>#0~SIؼP+^鰨E$f֔'IJFtaIߙ3т{ٱYg$H@[c(<Ӎ2]Sxj8jJ`6,Ea3[ChQ[}\hHgFCE]U_H`].5'Rgqr#BjוJP|3%N41<TPcW{ӗhs;O഍wy$lʢB^~U[dhk ͜ntb£ ى u>@?}@09TK3kŐBy4ϕ2ͣ|!%:J 0uCA5cݒ#r'1[9Jmo,= r uY.ð#ӣX:|["[7.za/E1ꘗBӧ %W5GW @0w.KﺋC5q> D @Bߠ h'=>CVz=WJ4yCYB;Z#xcpN8cw^sWbP:]>ݯ:lR 3qvFfO%G1x8;-Go)KM.̮3QK3n߉f} )1c"]goJGR{hQF^p%^?Csn*/Nx;rv ۘǯEC'>J=3&'lo"wn|RNKڲ]Mz&ճd gR1v(3!P΄L_wi-GWY FLm񳵝:sGr>:dզ'eOؕ,!^)~=uX=a.!O8q@Vmbx=Ƚ ̟V ˼f5(דFotN(ۂ 7U~h#\n3S ]xOO}F: ^Fa/Xh:qm`:(T;'5^ *{ҟvu|Y&8nO858;-d|~^{6]ٝ9#Iͧ3hG2ӗ)5M-ۀ+zbcw X=W_g2;_lIN-Xl#VPS"!ZH+רϚ0IQ#mo`g"I&N, nWU z( WhQ{ߓ,OxirQZ 9K C'-VwhҨ8V9P~ ˦pO,(}d`QXߢ@UEy,T(8"Zc!H˪ꈪ?=5/9HЈsbpv7쓾s_R̀/ݺ.<5V t1ɳ~Dn+:hIw?Q"{G\֭c" p9셃)g]Gwh.뎒Lh/Vx8c*iw1%f%i,B\7I\G݈RdwIV? c~Qɿ൰\K_}vޓHxqoK){P9eȊ 2'I["r?S0k\ɏsb8we){E?݅8Ƨ0i :J5xERY4Df=G%tohGiK3?1}qvo=~o5 2nԬIc_H^ID-CCdkW6ݢ=QLQȾLc}(U-Buː++m >K.+p@&!u 2|ɈR/nl9䣂Sezc^CMq,\o[M)onw^]I $3eSO({B(Z41]OcY'V"Iܐdõn?JF5?3NGLW՟\ma l"̯  D]e$7^.a @Y|͞iKgȤeL/@QցiGYu$[66fV" HGyg /pHm*mc>ٺGD9"N|[U 91یQomB#@t!%7Ps VŦR[=|.n%ĭM߰3^ eZs>rvOxʄtׁC|ڢW ,BT6#TY{=w~x([dJFakCRԒ?( frT,2m.òӫMڃ!jiǃA{^Y^oD#"FG肴]皿pfėTFjj39AEM=F&4:aL֣vpT\|dT `pup#kWH4RlmeC<5FW:x ]\rE)OJ2^DJȤhfS?i,=ÀCV4~ゾtas u%#FnS`/]jP%E SWN>Q6f>#!cpd/>7g:g|:oHľZk _ ;5KPa_\ϛu[VB$RUmD-,3 OއŎ}jyo4gT!eβ"#6})~B T$Al T5E"6 (^jXˀg&\23QiOVTW/s> {YPKb{RahOBB:G2F"f; R6Fm|lUN2Z.zݰWkO&/w1;Rܣu'"7aL&U*tVX]Zgzjv8W[]r_ lJ9ņMaۙ~-#I`|2Yؙ|_}j kwMcjlQY<ϜjX"6rΗ Q $μ3Go| r( w.V {S]\@QxaS}Ƣ^=|zɉX{$Z?cFYGp^~#ͅ$|E'y]^mzl\_JOnvE^s,o)d^LgCVjͧolkefctl- ea )2L VUL6 F3>qD-;-wR *.CuK 'M写 !(_C8Ksnj6;LD)-6c'ԲxY Qf^Q꯴R.V ?-_nճda; <ˀ7䇻u0T΄8Uh?Knma9!ʽ*씓ur2hxyr@u[4W:O7a,wA8⡩>7͉ܛޒB_cci^c`, ZDh=F@*k8maw]D蹙gBv9W%ٻQ-o 6s6D|ˌUo1qSO]6H{Ә{ ؤCZU!^e0<&a6#XX_⌰"!m8G+\:B҈i;&+[3o0a d2},ojRt\ SZ`%Jh\$*m51B[U\LοӤ&z|;f?:1ӣ h]} -6S5hj8k#^n)I.ةΨח+\%1_rK\IʫYZռPu],?okZ9ˁ K2yQ!F1gekK9]D„Ǟl"!z@TۤQY>2E׈)4#4GLȯ+GӃU8D xF7Cm<`sI.#O0&bEUlWeq?B;pW"2oG}r҇3u+g&$W~T/X1Q* &;9=ka-GtJ;h<aŚd :yG,]9]cǼciZJxP`(c<"5`hF5F7``D @M= NOP\p /F7P+ʛ4P{c ;hp:/9Y1)TLQ8XGZâeɠ,ڟUrʟ"kOCZZ-aŎ"*iGE.Om.Rq F|`/).}YG\c0`%٦1Y40.;R0%oA̔^AaYCf{Y#,9B"v4 O">Q^q:1Q ZqBBYw-窭X.󜄯 b-IdD&h58&)?[dkgrglDP`HjI5bt%IYl2L}٧k/a~ (jڐ GiRPgq[(o?7rMD*t?bJo㹝 Y>6d2\|!x4D',6{%kΜ(6x@qd cJLj1cu;ӿ:ۉ4dJ) zZ׺c]$ CĪr;ђ\o5hC,X vGI]Ս JO_AӍ9j A83[' SN\is[k%BL- NCoDAil*0P$FnȉpBϿwi5$ƬY_ s|4 2".u?@`ܭAW-R2 b6Bݱ^"wQb$mop({!8e5/^ҒHOo!ґxK|ϝw"z7J?y>jpH)XŞ'],ZJ$Q/̝PTë 4d7I8T oQ$:rJD9H$gx"__ip  )eV;+SGمCA%?k& ޾1.pwUM*2".}`Yq=/Ȯmt,|#ΣWIw3W )"QJ{pb`˅uFk鬈`DrCD+|A(GES 0@Bf/c<4w ⩻>unya˒qp/ZiTٙmr+1(9 \ruw_jlǾzsHT[[h(3$pM\;ZqX'*Hձ.J'_GAΜp½lN\3)īkWӌM#,/okPjDWd1a7phLh'jA4^b[xM 47ow}VF?>ōc'~?QmڜBJ}2uqlH gc̓7ۘ9pxJArjyx[3u?{ߩ`!}|2\iY »YsO$uB r8~jXY]jDؚ"LQNG|$uYjҹf&ZD 7z;SK媭RRFZUohKKO8`E} jrXn)q|"O C228OWJź|e h2q:G~8?^RP ;ֲgOSLNP[3&2L`%g^btҲ]Ю ֌SPti˞~KXb=-b}jid&- Ka&{=tXY:)B-E$c>B[N @ta07uX־Է#ZJpPpo}N iSO>egp4ǩ]}韵ð#It$$48ަj| $@ғjثW{$ah_=:,=1 !(4[U_per P Ik勝 ͱWIo m]gGGg[3_js.?„{@PQ:UrhO7q9ϐZk\#aqGj E,x#z|pYBdC0W)dLB5/1jGg.YQb"+T<@a]{DK^M.1&rvUЃڔGRE}z\G;+;<|mLv.J x6/4>pɚS xJ>\6m=`޾q`!U渟qY}UY^ g^t ,<94ߴb.`SZ ~2b$u|C<ˍ}0sg4>^gPb9-+ާ̙EU ,MVo)@No܊UfOۦ6@.L 1`]zgɟ^n9!o<~ es{܇ZLdP|z |RƸ  #!{bzXʽ5(F{4qv \(߿' 7,T )׽G}UϮF-ޛ7 9ZB5_*U4-S>HZgpWP-of3.!P]3LbbwĽm~̌(!c_W*㶬B%ؿetI:B8CiYڟ8``8Qz)CۃPN/R|ďੀx#SuOmeMX EPGE1.#]Վ+ ㉍ P =SLq?+ͩ^ zއT$ܞPϻ{WK~5TFD"J%!}~G܄5~ǂK͈zg%抸}A@'K)RC;O;=HL?Lyw5NjOt7KeU YzJ^Ũ}"8SQnyd Lꅟm ,!LƋX0|1E~^O/S|B`QHd+8ч{u](w?H5q&xoYUP(v|Dz3z:?٦% B78ʳ|?0XVC qML=όO(2p; S*}-fOR,ص_4ϸ WnT{Lp.0waoL{աY)*܎Vt;Yi]ֻ4`>ӐFpO,#z([9rO}va]$i:ajL/ג7e[gkWv1:zO$V5?Z!BPKݷl C-Z[8ӡh(6X<~q (vIu%X[KFJ"\m(6.Y_NHc` B[ q5PيzԑZ;W۲5h\w9MBkMZ9#NjU?$v$E՟" }adϲlP0_-C9Bm(} ]~.]dQ'^˪4&TJkY#9qC3d!cGx-x`e݇u &$"KGhs˿̂yHNEϴza"XhZtf~j:ݍE71Fg sIjFrn] b=feq#f R[#<; t78Gݔi4Li ]){Q>\MY T,3p -f#ӯ D98Hw5A ?$}.VIXmSUԹ t8`&?gG4-QR={!lj#jX j$K"Y\hmj&9ɭq3 @nEEnq5󭩓v RߨbqxNjucNWGOMW{mN"Z3ĕ C 8,n.cdua05VK_ '5-&meO|;c9Y01FR!˩QS -6]>piAE4 n!gsG)SO3<>tausԈWB@+fLtAVd-#iWwCuba_AN>n[]x/j مj֗+Pn?B䜎ct$Y* KXLk7.Zw#AȹHV Sf0/pKQ!>8נ8%thXŅO bZL+4Mh \o;Hj͵J3:+ou}\y*O ĴLp+(.ըɕY"P2FG@ۈ4*[ B#da^ 4h$ǀ6ؖpny+ЎB0Cb4r@o'` e!YM^cPB S 2tmUcs7aiӉ;0p3VS^SOcRU`XxN]$LD#D6m soN" A1{_åN"XܴkNpGORp$bInLLrv>~i܁54Һ߳/~j_HH7tMK*pAL‡1;mNPĶ ܍GxRѺdP/F/;뽒0r{vqؚi$т͢kDr;Wsr9R}%^ap&OWDOVgplm&@'l&4w(i)\fl;z)FU0q? qaGraxqbZkL$GxӖٻ6 И㧓 *J&>}H׿h*\N>[dJR32=«v&D ߚXZI]+6.?_{5+0͐؋^mUT"i0 ]._ F)ꕹ0?Zbko{@lr,AeHF6/5C&'G@Ǟp9QU)j9dκU,}ϖ8&.7$.`+Ebjy3{ ɇ Erӡb> M-KK4m*?4ĉ{+YoME\dz:m&k^YXQiժo R(äANn/4"+i<hwLaVqQJ[zF\gyz }m~S5:3/=v~!}D<8{t\_x,;7t~WSwġ&'eHOaV?Q M鹀cq&K[Rwx&rR=[4v\ouǴhӘXGƍA9*ie*z\S3D(wEaY} b{77Oa*mf%%rD˯wj7ܝ:&=@q jkآ?ħ3qs /+(v[ҳ >2&B[ p!hP>,1_^ ʕy:'LIVwlv&ʓdzh He,7<B@x^􊛍Н$|d35S`?eόFq6Su4>bjPNR) A `٘|`PsŸSp<}x1/|x2g~!;>ﮂF>K2 K:}7=ȥ9:Jq]rݰx/. o=. NM\~{U0~2 P5b0]Gvc p`oa( "CһBL8w5 Y N*{mII\ރ7=K 4OoKZ̕^,M5>j}6\w-Sv,Mp6Q*L2;ˣ#ke&,-=Cib+/V~YpY-6cyrSX,SP+|p i;1rK y^.Y3bz-A%\֚5CʻW?*cnqϒ6qK\=Hw$@ހ?([(V̥t@&HrA cʋVYi[JVT@M(A]oKHūn[o[%™asWC~?sDX֥.rEڰF4`8_vםDe+ Laҋ|ٳ ̫:7)Cc2.:+Wi1vFBre{ljF/eLAU;.o,46ǮO!35:W7Ȟ zPFХ$4ۡ$8n.^bBuGѪc9ܴ4ct!S.D8O $ඟf1,% lO(c ?>CqR>W`ХgTa~HMݟ_\&2? Z u6=ԉ4)id7rFi>#Bբ;Ȋ;T"Fa$IȕБ _Nfײ܉y E .gk_5n8&4nfDFIYWM2=bhc(-KA48wa͉}Cjw 8Ы ^i7Gd5tWO:f8/С˧@/A:V@ǃ *kgu*:y)ذpAߦU9ơOûА=}Vҕ/jJ|4.Ńf25nR+<2Z'} ӣIŵzj/"uwc\t. \  l]B3~yTgf6,R[td{ReA}bv[3}v1K\3A2u"<u%x6^"a;K{ ˅{5.o-^D4[b2ѩnv10En ,N\:PlhЫW hg1c>:$GAйMq;;\^,gaz΄_cS/NDڮ\ 3X2b@#dκ%]7ut i2.YSLC۽ڣʦr,11Lw,o/wiImz=|( -ͻVҕ2FD|.r⌍N%68?XFbit;jmNb73C`bYr R]N6oH|5Ca@ېhj>\[:| O+VW{ة}/IB=8YΩ?Ӳ ho&i8jN8jR8Ƙ^3 -Iq>=/'ӢfOLJhh5G("Nb (%fÕ_V$>K= #=Ą@kX ֧GnSXAQSbKaR)T2t(ءX+`/MxRUW>9Z*tI_o'֨u[DcxWUSG"|IWCϟpmˉ9"Ou,zE(F%t ybpq SHz%X%NeVj;to6|c1EY^9 V=;-sJD kսrT| G|2"HfW꫍Ko;!pH}7,K>%?܌jщ|ϭݚNnkv S˨mb B(HrQ{#T / `ؽduA:AJ%?C WKM$!rƸT~5R6o} (~.5DXG"ְY=`P(++t{'fbNy9? @WDQ%Lpg9$JKS낥 m/Khg W<=+\dk5}Fqe+.ج4}V>u?5뒨mN q!ù2G"@L_㔃p[&`{2ʔy7 Nj`7k-oX&`x. r]k+pvOtw'˳#IbI}pѕf#P/Rzx_<8_B Iv\ܼ]a6,X䜹qX`$Df#S+aƳyhzg@9 We ȴ\G%d^!PF(nyh{$Tc&۞ͯd',:xY4QgOmyR~/Mfc]d$;E"k}PZLrN8Gs W*nN֫BO,pnH@X~d&4szJ#AJ_RQ>V?*oYa?͓)Q R轸8 LiޏU6}&pÈ3%:慭yFG VeBPn,c3(bCFb~8.KYz3|D<ȲQ5H [K3yKY?^fMU䋑N9Ŵ.T.'u+[IPuX:"_ocet^Ɏl&asme~oG9cOJCof_(Vg?h*|z$0r8J5I~×$At-,Y$ԡv/wV|Xv๛tӼGVUu{Q:x׳PR[`$+Gt PJs:nT__uw AW.7NL1Hm<'809kq_ubGlE].4('3.X49)#Kl8ST^biG=JRt38!*s>|z 1v?/Eo*1'U< sC>pb}|Q@/%[ GH .r1lCp$_.(=y|zޱFcP4@O >NP9Åeb؝0>$yr6O$R)ꦗֺ:[]?~siF51k1ϕ);}oXB͈1 7]29Ёj--TA0@|B`ЊcgI/C*a3(vFf3h=Aܢ 0DLkj+n j_V}O9֭~)cb%sȦt8c2+TpU7]Aߣ=Kzjҧ s cC檪2eMv6N4RkxԨ`bScm)o?K+j}:5肤26a:vlM/Fd&y[|6RC'v@~&Xyf . (3N~07RhĨ fӧjj`IюESTo,;W惢h@R="Ƶytrd1fz݆4em:$[*)5w1Jsje ׋()˳22ɻ"'}cfgh kND}B*h7kgwgHT 6T$4NL\[}\ |̉4 qTKFe\ѽl Sv|oXn ЉVW:00 I|2*v W{{|M+K5Ƿy-J6D6FPزԴ zd0SQAC!n`Ż h6&"m|ț"Mܒ1̟׿JsRZ>Ëj.K ֭-{';eX_eZ$3xxҁM 4v|mZ4 @KI6-B Qs%:խ)y|'65Ѵ&QyWN"1V2+P2l8bXdȌx/>sQ+#D{Կ=pIU6M<_>[|GwJ!fޤit"EPu5cW]uxƶ^Z' p6xstONܱjm`o;W,'ݫ7v #奁o[S Rj*K$G &bch(s:]>NYg18"8[} u9H$P.j$Ŗ֝_n(D>̭GKpj܈Ya{zƏ\ZBsa6IO2SaR>M#ƨH%ޔ׎wWT >&^dJ&%uAI3\9!'LҘߖل #©e J_2zɿ~+ݸ[Oԃ֏- m}>fZnP܃lCT_ГQȈ}VK e싶k+j15^K#cg'fxd#vO,F ?mcN܈?]S1-c_ۃM *8̵NqՈ[RlPWsV/ErpDOJhRR)MF8{.jRc=NWV6*yxH!v/7''Q0bi!)aNݥ0H6Hy/uӼcC9R#KZv]qlPjة̀ʹ`c\!6 ~bFIv *vIccg;dM!CƂ[ruP]-X?HJM1e!V KNᾗw ?!~RN7e:͗gbI TNbB B-99f#'AL`8.q,=@Tb@풫u|n .1Cw|x( " >CevQdsJ%l}Nw_^>Ryً>д`߼, b U(MoPqQ jDEMIq^&d vAUEBW,W +iD1,ncez{> V9Ҡ]KHoa`%NobPWnXLR7Y-PR6S҉ "pm1؃ZSD-@Nd[C$JW _6c Q⃎tY+,)2CcJ"NxxhE?c2[ʧ9?ϡ2+x`u\d`F f A[JW雿tms,29N1 9,e`8}ȍ^ HCҤ_;(y̔9ŏ,N7{S{Y;p~h7U1-9=DN2]9M8C҉ZZySiI H#p,X 03.mvN4^ʹǤ(4׿Jdo&+*+dڗ1Y4+N7N%}mzhFSn>;- nQn&ӎdW̄Ζ,^^b}h`5` nmwՂMOCb`i^n#vzӠaKٚ:>L[YEv(X)jj 998W.#'bVF1(p!?L|n ^3hR2j4.5qN5pA?ѱw Q<ՄMO))ĸdGп=45+{^L[{;r$q8Ͱۗ9e4'fqy&a.j៴ =^/EjlI ;rI() xPE&oJ^D/Rν;s4-IErX0̳2D}駨1 zڳt788գ8c귘/pC{ UqdlRK{1ydUwdA,z᫞9[Os3c$JKaxUB]vUȸgv!+Xv ‰zuIu:?ijԋLD}#l:eh<93Û>cLG16:%9戣CJRnSN}dł+WdF$e-zf%eP6]lѣ#@f-m z LdPYn7lA+@ljs<~ @Cco^6 ^1׳)^bq7<- eBȦI{K۠F!=D56,^smd^`290ñ ,d*ት_~υ@}*g7uC~LlqoQkx\8DTY:PMe.9XpQڢ X 6cqBF XV,@>%*M%N@l=,xq'þ^H`gޓg"aeZ/okl?R)$ITF)PO0{THN^x rԿ`57f5@_X؉9UD~ 5E˛ۯjCumaRJS3G HUx$ɭp8?*YE_?Y+Uz *?gwKz/d^(ag4 }2I:7HYq_I-n'[2-S6Q"/*;kQhj;D&ަ騮9Ѻ֭g1s" 4!9ĉNvMy.+h?WQ9 `L.t-:/UHt6c[qlm <2l,<:ͶZDFbwA#u}CmZiJ~?Ǣ"d3I޼ھ":'mݜd,BPrv7!Wu1_W1#(75:L.z/S1 yOk?Ax%Aq:wqӂI~!)9]Q `;4V&|fȫsC%uym+~x8"'o?Dj#F<急 (,{ DbH{rUCU gwyAf;Sϙ֑1γ\яѝ.&qTp71h[M; Xǔ@1iČ[: &B[;iV|L" ]O.'b2JRc K\LNJo4wW T]") akO )RDo>9/iՃ7c:hf}:mP v1U6)0jxhpf%iɃR[u5~QtL1o]fv9Tw)13~$XQbvCX䆸$V)v4N*2xc*"}X9fuUƧ<Z!1r<1I9Znɘ`߳8n<1yy0Q9B:'L:M2E*Wos#H#VHQo@ʊJ8lIj\WFD5VqI q>Ba>>֩u,q\e fq].nJ-q'JDKOA6Rdj\ՋT0ʣh+Sq%av3I*Y,`ݧ24Cs,} {Aѱ߁Lp~F_߾1dbH:'`t= prBu.w+6__mz@pBtK\07;َr'N,}& 0H'VBo#uȫ/w#į[7~: BZM,k}5 r_S3RMA,P;pR~ަyfq V5SZv<Щeݨ;bB'ZzSwO͌d%Qçwb-+6QX 3ꃷZ``ǡ aQ) 4!y˲(cYjb@$:P1a3uN_g=F_#zE>~Me]~l:.d{Ι3Ă4C=?ҫA7Y$]ezjmЋq.vdHjMvK;" 0Y9_mn|[HKv\A(}j\_wL11+eӥP 'ɴY_qB)PU3T^*v QPWϨ/Z1"(sOȮљ] x/==Fpn/Bgm ]u'wt1Svt~%gẰ6rw >$NT̆/՘!yW~<ѦwN1H{Ӕ/f,fءwu 7f 5ض7)ղӣNv^Th9[aPnl̅,;)V |?ZӝND)!iS(Sx.U\mKBmW7g$2pNo= 2ܶwiu;-^)*OPx^KwQqXG/$)ѪM .TСyȻ=C#M=莗ʧ:iϡ 2Q /ssOyBh gIN]ha# >/`ސ Ql0M)zKΤC|,}WͳfVﲹD(Efr42GPoEZr1_7t? <nڜ8AЎ1N=OAG~$BaO16xB2"(y*ۦu~ͦ,H8m#Ҏ Sy1WЗ<3z_=kѵ'G/Za5"ޖ m&-#V@CrIs ߒ۠6S W ݳ@'b>dޗǽf_e l>Y\Lfэ,S+9~ŀSe߻1a4}MAw/дU #Pd9qٶF<0ħ=+`pyeڑO}x ?SU+'U.sY `;NQZx!J$(X?ˆegմoCBKW {[U5.%alXcؿiٗk:*]HKJ%$qϚt :29gA#RR.sȗXYS(nIbISf E=nH(Q؇?Z7dnoNA{]Q=8QC)'A7rP[`n gRn Y% [/|-7> RE 1yCtSX6i1&f [+',Ù_kmd3k_;d/nUv F Js'V-Mm WM&#WȞ uxh}L AURQ36fFY`ȗ1I]\#4'mlR˲1`mHM!==CeZ3߽ k+mK ](Ի |ۡ ~ǕZDOsƊǕكNxd8}ϡn0 "Vg` $!y1@|{-b41y$UN7R[[Ya],ٯ7`j:^bʠf4 ( RK M}љ<+_A6oR56NnVJ0d!vYHlaR7: G Kr"5[PV;B!*OU<$97Z1/J-wGU JaCӖ?/8ױnCY Q 0DgZhm"oa|I窙s¬I^lAaAF9]n~)R<2!Y-+u9>|RLքO"FX'a|onNN +Olw<#kAiCF&N4@̥1fƃvز`)2/@TtȱrGrh|.X_TFJWro.}Kd1ux{#2zkvo}>װtMl%<6Xw`fy{踍#\Tl/9p(ȡ_v$-#/92HlrA/>S̀j [ 7_Jy.s/+.I#ͷ|_=<#02\Uj4P޼(g~0.0SS@HԶyS/N^._ynO=Ƿq-7:+'ݻ"olm+:C?o@Iӭŭ6POvTj'AςQ"g=B@\.TJ8-Nu5{ L p?ЇӹR,Q.[wa#ӊ!DeM &!mHd,yx! oR!po>6p \f*!]6e"\h9#D.仈Z:3=+Y^RtȴlpkФL tTBJk{Pi"3S>*NhK(g`i"n`ۑ(,_ ?g )Sn6Lw:D=/@Ie Jn6UX{>9rajg =,6$v~ %`mgN34ڐz, !<#!*{N $>yh}0=c;JAC54ʟN5#'Mbaf#X&ÒaИ} \RE'jM#7v9.g\։Cp}DKLIҢcPU=X(Vr!W?XK c{ZuưϱUۇ`9ʹ>AVH/CٯT<ȵuXlء!m,&)o9-cVv ˖’ VŠh(?}8JD3 a7vbެ{x$#a:ު M2 V.ae p? L&{W9d`Q.> \HVXoHW)<]pң6.[ wJF Y+Hyvaԩɤ25r<)Trʋ*Lmpc217"FF[)8#1~G@ iieM~h`)gI5".?iFK9c͍EDL_ݹ^HzL4a#DNY>^:}VX"|ZxAЦYsLxw?XL*'Cf eRjo  8)U@Olg9c?.!PuR3%Gg9kPiVXDY;aJ^y-umw j/ꮔCPy-gR . DŽ8Bn<3_8ܹT͐-h9QRy^{dY~zj P`dGɪ [Ovd ꆧTql^${Ӂ$griiZ@Lí#8v,IWU,/ϧ_=TApM|RYn"Ck- o}[g֟|>҉߮ ɍqR`i{gkp/t=Xc~!_2+kYy+9Hs5K8jZsb&O7YgwD"PvΘbe Vxb!%\OcϾI-!x4njLiΫzVz_؆p, r>\dÆTy+$͏. S\`1i|tS&cO_/`#PH:މdjyVG$2vDmBn ha5ltPasuaG*&(iv7Dfǟœy=\J5~v%^Dmd iq6X. )Z{ЈlDߨyM8.6 a mi΍*8 U,5qp=}K ?Iz @/s9H K`@?%n99jgc$x?pRn?Ī8SzqM:tC@p=kcc%*fXd(\PLIsj5]tG[gA `?XSxR%*3;PqUଛ>'$`0X(7PNҀcP-]ژnoC o-54?YT+H-݀RbuՇJ\d 1 _gq^홢l찀i}%'Hg[ؒ3˨GZɍΪ aYH d \ISKVI" cҝvY|L%Bxz2dEU,Be56wAn3/ٖ{U8J ٜUƎ}6n'$;ƨ^Mf0xzYDzkN5Fa/y<%#Q3|K(:^ @,|f"[(?wÁφ_LO~ l8&85|\ycЦ;7LBo,2H|u Px^5y5.g=wAq" Z]"c80Kt/ioX, W:jKVCTYA;joLx~h gJgxG>X- k/e^)-IaKH,6}^Kp tȫZU,MU4M.C Xd"zؤuu*f(m ƃ*Ve=[^Zd^v[u#h M?%q$bmOe7'&+9G/(Q9!6oW4\ >)8 X3ʐ4~B'͂Mhݔg~a8}ZDR*_5;0opϧޑ~xIU6X(\ϬQzᤍ6@a>v_.~P}Alc%!/咡_nG"pdpGZ_* #XVFA-47s :ܽ|I֚nWr+DU|R:#'_xą7@,!LN?ITN$33!t7x_Z6\'{Д3'|"eAd0άtJG |=]]]Fv@uvyY0쨶R Ԁئg<@2?yp%1gl-smn<%N\wr t!މ#WpGTfv"un!NYpx֜'YNt\`IY,MP-)RʗpږD|9n}H;]R*:^VURpZf~gq-gjM{v)17K23cԡAӢLOFHi7QB`|\:b -͔(Aqrbd%FUԺjxa/鋞ҕ7ּ%krK ]/=>l81#F+W{ v})& L% n@dJe_P(wjm>ԯ^h/ Q`{7)|;Q8oWuo`w6F94UwftJ2D|7oÎ{$zEbm^T0-.6.EPڻuN8y8m1Jt'23ED8P*~X( }?J֤BHК lY|pǗqf|h(tZZ[%G5-XxtGo[SI0VI2zklI|1ܗ\^MĎ1$=~`d0~,mkiMY]d"pyl<'쿿Fy`Pm-Ij'U\Gv6B&#ΆV~&**M&5;X0T%'lzJ617 )E/,KG!,?ʪ4J,g1jwW$:NQ< zz/f!/Q7.3,ݳFB!& eh{I烹*%.pPCz Z`D|*=$dQ8=QQg/=9!$/v$-Ql۠(EYF;mHk(H$m*trBs/Š9 Py;Y~wM➢{-3χX]zIE/Ph8|*r)ArՁ {9=mEEFRg9W;[ǎ)S\qʱ30Sȵ8]9 w˚P~ˈBIڌˈ4 QEWđ } wڇ&59ԍծzW;tR3Ⱦ7a'ٛOX6ONbaiw]ap9;xyV g"l JcX>T*Dk%fxc21i+W =w7-)T=2+lbOc-4Lytf@?*–@]s$G$di/T>)rҞ8eY*ab=h-:0}D|!6n'Ntj:6W pSKՐi}R.XV[Z^gX0^BƏοiS8+zb^>QsQVsr"dc+:4P'$#%nc{A Ĝ)z: mY%f/Eo9tLoՐI1YK+ ΔFUE6I*-IR8i-'S^\YPVfGŭcr*{GMSo(`I#e/?g uM8B!]di ӾNl3)췌I1{w3o5qc$oHJ[n(` Sa>BPƽ zW ƊMp4 pHyuvv,Ze9Ԟ>HKXDnʄE $^Npru_xK fbsS;1FntwUȔlWӄaY &HZ^RJF{S-:]@H<XC`d_z_}P zA Sفy =JJz joi:쀦 nsQuX:0&Mʣ~93/ F"u1ɮ̅O!3.Ց>\qj1˅Dv" I1Z0θKw*nHtey" {D>y_cW*}*1Zy{]q5G?9LzĽ,I z0H!2|3N7Ok{m9eALv C8:?BLsb|T:wOn8pKޖ5Y)bݒX|^j4ΩW ҵ,~}$k#ŗ|2GTs`".n$;"&*)=pUQwHbm1<VKHwmHZᎂt{+wh`)uCTWљ0O;!rTӐ*.tMXY:1tq˜iS>s#67r҇ڧ%(ĄS; D:Q-S82v~dV5d$IKij8MQxl`|YP뺯p^yJ xނ(A"0ȘS&$tĜGP,6A8R^Lj2Wġv_ݽ$ ,.C@l:dA6u-hWQsn`Ke3 1 g\{E96*BU84ܼ]''C0ފmܶhfM6fzCv_P}P{a Tv&k@fZTWea`ʕ֐0rea뛁ӯ2W1=:iZpfP-Wrie8p^Hxcٟ;Z.^eׄWczVƃT<~$L n'Yr#oeASFcwr}C+9t}N{*7X]::H.ɧ X+!{2՜sd1[BۨFzR'GGbhI*y+hPF`o +uee7us/XxCyWEQBMUss4<6AM.8AT* iD4캏[s&+PlLB< 9k7BdYzpV8OoBRõ=B/Zm&z LT(EA%2E9@hGTE RCMPG G/k_s$sޫ#MnkbKwySnej{p`3Y,RBl$:[ND]tSB%M'E މ41!o)# (jt<;^ꯚX[*!WwZItFPHUbcd)5eL!C󠗟n^K aC RH緻-za;5d&Og6<qV H ڤʚ$5x7:a<5UpMBU.bI3a]u4zQX0؊8z"&wQy^pO~>: UONh_#^GBY+,\& iL/ӣiڝ-#o<+>ig7CI");yCe|-֓dz.9w߬Y{qӳo;}Df.uŸ;,: ɠjඓ '۸rS`Mtmgy9]*ў&lBxXἧ<.ȑG3E,crQGO/N?FѤh]i4ʁm3N=b_2iT띊֒2:7]KlW|g~V}J+*w?U JjħOD,ku;B7>70h$0jGu Pu,'N+a8i ԰ hlIo5Ge rުVo+s1R% P7smJ0Q ,k`6Ԍ2߹5$ JZ!3{v3C{ZQZ)>&YnR9խh-ڍ ۉ[lQqbCEfZ|1KX M~VỜaاfOsJJΟSf[uܟǁ,Td$I+Z(sh#l\ #5 ?a UZ-4RJ+ofwS6³MU@=فZX!H~S!,; u3#TxkK ;HƤCsbJI0 '\ ɦo Gt;X.J@l&1 y$fK#ZN|LǨ#r^FՕ~hw1Z9h1XDǭ+7(rZ*D_Vvz#`Lz4]4ؿ#aN /#Eu\>nU:%'s-lG!6]^peb4xz[DA',jhs[(_0x^AV'fJb3Vu)?\] PFZT[9rDs+:Íh=6FfhQS#V9ȸ%\V,K*@脕e9hH#79b3&.Fx>d"sy$WcRӂ9Se] L,rh8%MJr7$Ca7pA=i & o4ICʂ(H7Єc#T'8&SzzHv)[>'Y)'e+ دF(iy}73NuIf6pb>* !@dηb ,^%l'¡3s݊_\XDԍxcڼ3]!74P8ϸe[ b*Ð0*YzEϲ5Fcc.y/ J>p)D?xDeQO( xѲZV&dr._SNoIuJ—rJ=')@+|U0+7u^m$vt3Jgժw;'?.MzMQOE`>I7Dԓ7OT&125gQK"'^Q;kw@lܺkQQ-䷜t0?9]'X&: 5&-+7BzwOcsϩAL m 5:TMgO>tNwٌLDo*LŝѢ"./Dx^m$:KWQ}ȮiIdђ'p[ vCdn xøFS%;Bt/m!zbJyGmu4Fʘt&}DG3ͩX"]f=|˧Gvzaۚ^j! $ QzMLCh@Y'=qnVPˢKjOqT*C,HyJ٢57FR x遣G; 蟵&q뽞?̢/Wk \ܜ>#dP<ڑ ϯ#Յ7WdC R#ƋJvJԖy k!4i㧺"ijw2Ow؄Rh50<Ŵ'8o 2HM{v -j*G V//ǻhanE;'ޫ q`Jgp!=.r= :["eH r1 Ho/-<"nc}[$DR-e=Q?%>}$!P ØI6*"?ax!p)P&6̄gZN;)qB%'F#.9@"AYc̵co%+*Qcr5<]D