stp-2.3.1+20171008-bp153.1.17 >  A `CSŜ!M@eeeJnIh+ _JM[_#L&k܍ec@9IA @PBE7ވU=M&pʬ\]yW>>ˍi44+n1m324feaae881a59d53a3f5321f50347057104ca7e6d201620d41cbf3afd34f691fbf04f0dacbac880e23091b4a441771a63f0638b`CSŜ!M@eee=`JזOKʇjAqϫ^2W0.9=gF`^X-1iH}3JUWg+)^ל^S÷sBEυ~JCprR׆`:EW"dA^Л؝@$M17%WN"~2fπ"6R n]b og>Hha-F}4 :EoHC,p>:?:d  2X\dh  " 0 L  ,HX*(W8`9: F5UG5hH5I5X5Y5\5]6^6=b6}c7#d7e7f7l7u7v7w9x9y9!z:L:\:`:f:Cstp2.3.1+20171008bp153.1.17Constraint 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.`CSlamb12SUSE Linux Enterprise 15 SP3openSUSEMIThttps://bugs.opensuse.orgProductivity/Scientific/Otherhttps://github.com/stp/stp/wikilinuxx86_64 ($zA큤`CS`CS`CS`CSYڏYڏYڏ190a21cc752413619283c9bb6f93e32f84f4127a523021aa82263eb83ab9d83f2ddbb649b9b4b19dd495d823411c5c1e38278cf2d9551422720f1249fdb2ef13726b2bda2b363014b03a78123d1399c336a93f71bf8e876e45a3fb12066768a31f780f7e77ce2a8ba5542449ec5d191ba85bf62c98251b005f308e57420286a71ec2ef478221305f3d1956bf680b897dafa323511a300cedfbc4e87a05913e93stp-2.1.2rootrootrootrootrootrootrootrootrootrootrootrootrootrootstp-2.3.1+20171008-bp153.1.17.src.rpmstpstp(x86-64)@@@@@@@@@@@@@@@@@    ld-linux-x86-64.so.2()(64bit)ld-linux-x86-64.so.2(GLIBC_2.3)(64bit)libboost_program_options.so.1.66.0()(64bit)libc.so.6()(64bit)libc.so.6(GLIBC_2.14)(64bit)libc.so.6(GLIBC_2.2.5)(64bit)libc.so.6(GLIBC_2.4)(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.21)(64bit)libstdc++.so.6(GLIBCXX_3.4.9)(64bit)libstp.so.2.1()(64bit)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)3.0.4-14.6.0-14.0-15.2-14.14.1Yܶ@Y@XX7@X1@X.@X=X`@VXEV8UUU6@U4@U/@TR(@TD@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.comjslaby@suse.com- Update to version 2.3.1+20171008: * Reducing scope of upper&lower * Using $() instead of `` * Removing unused code * Removing unused code * Adding docker file -- not working yet * Fixing install and library location RPATH * Updating README, fixing Docker * Fixing static build * Removed unused global variable * Provide thread-safety (if C++11) * Removing tests are too long and hold up development (>10s runtime each) * Cleaning up lexer * Cleanup of smt2.lex * We can use straight-up "thread_local" here * Trying to fix the thread-local storage for C * Mark two more global variables as thread_local * Updating READMEs * No need for this parameter in AppVeyor * No need for INSTALL, it's been incorporated into the README * Updating README * Fixing indentation and some restructuring of README * Better naming of header * Removing DLL_EXPORT on variables that break the build * Using the ctest framework for testing * Actually checking things in tests, reducing their outputs * Making the interface's (vc) more explicit * Removing trailing space * Tabs to spaces conversion * Trailing spaces removed * Minimal cleanup of the lexer * Fixing std::endl -> endl; * Commenting out unused parameter * Fix indentation * Cleaner lexer * Highlighting where GlobalParserInterface is being used * Fixing the assert * No need to undefine this, it should work without * Some cleanup of bison&flex usage * Fixing moving of header file * No need for linenum * Removing helpstring * Removing unneeded files * Removing one more static variable * Reflowing code as per agreed clang-format * Further cleanup * Removing unused code * Cleanup of tests mostly * Making the visibility=hidden work * Don't care about coveralls fail * Fixing AppVeyor build * Fixing the coverage script * Removing comments from CMakeLists * Fixing ARM compile issue as in new libabc * Adding SUSE build files * Fixing fuzz-testing to use python2 * Simplifying the Docker usage * Fixing the Docker example - add 0001-CMake-fix-dirs-again.patch- Update to version 2.2+20170815: * Removing broken link * PEP8 + print function in fuzzer * More correct printf * Fixing double-declaration * Fixing memory leak * NULL-ing ptr sent to DELETE is now automatic and more meaningful * Deleting buckets after they have been used * This will fatal error anyway, so just use the pattern and return false * added support for MSVC attributes * disabled crtdbg.h inclusion in extlib-abc for C++ debug builds * fixed unistd.h dependencies for Windows builds * added missing include directive * refactored gettimeofday() for Win32 * Adding appveyor file * Adding missing appveyor file * Fixing paths * Adding zlib for minisat to appveyor * Using minisat that's been fixed to build in VS * Better comments in the AppVeyor filBetter comments in the AppVeyor filee * Temporarily disable boost * Install for appveyor minisat * Fixing "libs" to "lib" for minisat * Debugging MiniSat finding in AppVeyor * Debugging Windows build * Debugging Windows build * Debugging Windows build * Installing CygWin * Use 64b CygWin * Trying a different way of installing CygWin * Fixing CygWin * Fixing local package dir * Fixing CygWin site location * Adding CygWin prefix path * Fixing some warnings * Fixing one more signed vs unsigned issue * Suppress warning messages from msbuild * Moving implementation of destructor * No warnings from msbuild * We need ZLIB in STP thanks to MiniSat * Warnings cannot be suppressed in msbuild * Trying to fix Boost in AppVeyor * Removing unused cygwin install command * Fixing yml for AppVeyor * Removing a warning * Fixing signedness and unreachable code warnings * Removing useless comments * Removing dead code * Removing more dead code * Fixing unused parameter warning * Trying to make symbol-hiding work * Trying to remove too much warnings * change semantics of division / remainder by zero * fix bvsmod-by-zero for negative first operand. * Adding constants.h that was missing * Removing unused include * Revert "Removing unused include" * Fix simplifications rules made incorrect by change in semantics of division-by-zero. * Work-around another division by zero semantics defect. * documented the entire old C API interface header with doxygen comments * Try to get clang/static build passing on travis ci. * Try to move from precise to trusty on travis ci. Precise ends support soon. * Revert "Try to move from precise to trusty on travis ci. Precise ends support soon." * test that static binary is really staitc. * Fix leak introduced in #f452c0e * Trying again to upgrade to trusty. * fixed DLL_PUBLIC-related linkage errors * Trying to fix static clang build * Renaming clang static build * Renaming build type in Travis * Trying to fix shared/static library building * Updating static binary check * moved DLL_PUBLIC definition, added __declspec(dllimport) definition * Trying to fix AppVeyor * Trying to fix Appveyor -- wrong staticcompile check fix * Importing Felix Kutzner's fixes. Thanks a lot! * added declarations for ..._scan_string functions * Fixing boost library include, thanks to Felix Kutzner * Some obvious fix for MSVC compile * enabled shared library building with MSVC * fixed DLL export warning for isatty * no -static for MSVC linker * Testing more of clang * made the Python binding build scripts usable with MSBuild * re-enabled DLL building with MSVC * Adding an empty global to compiler clang * No need for CPP11 build check, Trusty has CPP11 compiler * added DLL_PUBLIC markers to the C interface * Fixing Travis build instructions * made the query-file-tests usable with MSBuild * Fixing the environment for clang builds * Fixing LIT issue * Final fixes to static compilation * added DLL copying for tests * forcing gtest to use the right C/C++ runtime * added python to AppVeyor (for tests) * Just use CryptoMiniSat from GIT, it's more stable for static compilation * Better visibility into executable files generated * deactivated boost in AppVeyor (not supported yet) * adjusted lit tool path * Fixing cryptominisat GIT link * Fixing clang build issue * Adding build SHA1 * Don't specify makefile type * Trying to fix KLEE build * Fixing static binary check * Adding clang static build script * Fixing tests for static builds * All builds should run "make check" * Debugging fuzzing * Fixing Windows build * Adding clang build files * Fixing static compilation of tests * Fixing local build scripts * Fixing python test generation * Fixing cryptominisat selection in fuzzer * Debugging fuzzing issue in Travis * Fixing directory of build for static CMS * Building all combinations for gcc&clang * KLEE doesn't want to build, so let's not build it * Don't build COVERAGE using clang, it doesn't work * fixed #253: DLL_IMPORT in c_interfaces leaks API and breaks installation of STP * Leave an empty line before "exclude" in TravisCI * Specify OS for Travis * Making python build again both for Windows and Linux * removed unnecesary include of in c_interface.h and moved it into implementation * reverted the python interface build scripts * enabled tests in AppVeyor * added the not tool (test dependency) to AppVeyor * repaired the installed version of library_path.py * removed node typedef in c interface * fixed bug introduced in replacing all the things * replaced 'stdX.h' headers with C++-style headers * enabled building with boost in AppVeyor * improved AppVeyor build time * Playing around a bit with build flags * Don't display test output of LIT, it's too much * Adding some comments to AppVeyor * Removing unused variables * Adding EOL to files * Using $() instead of `` * Removing unused code&variables, reducing scope * Removing unsued code in TravisCI * Adding badges * Fixing badges * Adding coverity badge * Fixing potential memory leak * Code cleanup * Revert "Fixing potential memory leak" * Fixing Linux build * using a single output binary directory on Windows * removed the pre-check target * fixed the python binding installation configuration * installing stp.dll in bin/ on Windows * parse license directive in smt2 format. * fixed output directory setup (thanks @delcypher) * made python binding paths more platform independent * cleaned up a fixme comment * disabled test execution on AppVeyor * Adding explanation to option --output-CNF * No need to build CMS's python interface. This will fix TravisCI * cmake: fix ENABLE_PYTHON_INTERFACE option * Some improvements in CMakeLists.txt - Enable RPATH on MacOS X: the STP dynamic library can thus be found more reliably by applications using it - Do not search for Cryptominisat, if NOCRYPTOMINISAT is set to ON - Added configuration option to disable Python interface (ENABLE_PYTHON, default ON) * [CMake] Fix #192 * Fixing cmake in TravisCI * Using auto type * Don't print cmake build&install to Travis * Use ccache * Don't cache in AppVeyor * Making cmake with 2 cores in Travis * No need for the cmake config in TravisCI * We only need the python interpreter for the tests * circumvent Xcode bug with CMake's TARGET_OBJECTS * Using a cleaner way to set C++11 and C99 standards- 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, upstreamlamb12 16150250742.3.1+20171008-bp153.1.172.3.1+20171008-bp153.1.17stpstp-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-strong -funwind-tables -fasynchronous-unwind-tables -fstack-clash-protectionobs://build.opensuse.org/openSUSE:Backports:SLE-15-SP3/standard/f62d7b0a644e1a6fd786e82d48e5a7f5-stpcpioxz5x86_64-suse-linuxELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, BuildID[sha1]=29c5bb669dccf5d4ac511b410c64fdfb9748a853, for GNU/Linux 3.2.0, not strippedELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, BuildID[sha1]=e5d2e4417e2028bf7699994cdf902a56f15e18e7, for GNU/Linux 3.2.0, not strippeddirectoryASCII textASCII text, with very long linesRRRRRR RR R RR RRR RRRRRRRRR RR R RR RR RRRC-ʊxutf-87a550ec502c907a3099fc366ef7111d8130fd887a1005f1c160f857ae3183208? 7zXZ !t/o] cr$x#Dd/17oH" a RD@@Z 讨H|0'Bk酟v~4G~K^ZK"jfT{ T-Ӭ6]_Ρ6if:DXz:.*a ;:;Ѹ?Q0԰T䵺SzҾ͏?CibL,4lom;|^鲶!r $xȣO?(<_ЮH\RGHrF؊{..}GV\m9(0JOd#/L=y#@L{iq=4:da%M%)Сnߡk/n7)^U_uz G 9T:`y}Sy1\Aj}yY5DiCj5/f9ly~&:!$rn: 䰾B-xU$i,~<?ߵHNҤ B ?'9l&3([g_ O f"9QjlTٿG3'svs/1?8XMg[A3=6'۰BL , 2zNϧ̄K{ӜL궱on)fz9g7i]-zzӗ4)wե8 * wE$՘B\ ,Q9PI.]?'%o]e+VRBkfuy_m9L!j?J",]0nw"A-~v"Κ8V*3'dn71.mp֮_W\!"):ۣ^F 8er) C?Z8՚pU圍8b[5& Y4Q\鋘СwVnW*rPV!5I9 DயUuhp!dCxz th[WyoyrShV Txsny p֖O,~bGq) 2 #b3+!ǧKW9'1 "/7 >`:g iAH }-g,9U+_KUV@~.DE"6_sAi`g}S]\ZJ# q{B<8J*GrM[*5+ĵgAN ۷G~z9v娺y) 햼z(3pMܒTأ8JjuV(uPLP_!6HL < XJ:SeFW$qQt[5B54;Ա`=%;WŨ=깪ƒp 6VxHͮ$()CMj*mT eŽw.$"fFRחy)rkSPaq1>8$zȃbc: [ #hY*9e>,"zg0 U<@:ZEL4Jz> l!@ezMA`O%Fza2nI0Cti 騮8*a @,Ի'b, Bn|2VmdsyH|cw![:L@qz08favt F wuc6o\dŒ p<8%NP%.A3wBƺi`<ݫLT@H8v kNϞ{WA7k;߽cgy|7^_cLXQ7D:X"1t0eRPqJɂ;2aGZַ y.*, W(ZRZIp!@|JC,@TO7mc* [`,[1Yc)^;#ͨy*Q(kgDLN@X w;Ud[J~/}ӊ@nBkBoa@2L'6 L[ޮlӁܛL`rLle#$MaC0u)J5Pmze$SJǓLC0}JQ:s^ZbNƊ|HU˵csR b-;A?j]J>Y(͙3XE_I^;Umg_f^gZu;szD[5(2-'.,7,i{4`Fᙸ9I9Z6[Ϭp9F1z;m -Xs<?_;0# Ѫ| O}(^]fqə(J,7]B#d wA|1[ch.uJ3.*þDga*=HN*'9hvhY[@g5ل $vTk,zT}0 y{aBB;B%"3|ˁi!0e.,obmt$7UHw"rYc8<? @Kh6'!@YtS. שhJ}=ޝu<uS$V_Dk{ KⱲ߬(cvRy u/\,k3Fjeᔀ7YĄC% ӽg RKzHd:cѴJ#42Mios"f呫D\T젔[H?[KDB*l+@tkT,qeNRR &yQ;HtQ7 YcQ``*|Pӯ[@*J_V-dm8AFB_uvRr[ ^ۈzmhcQ$>PKdcTkԿ~gzQ;Bcv+yđN` !ֶ"%S DgOдCC)USj"r֩1k"fW_ G $]dk288.b;lve}{SrIy,}q~6Urt^TJ /tM:F^녻U1.3Jēŋ}ty,9*.fw:%- j޸p,0nHzTпgDt,&<[ 2b{MPj#GG)b={TpM6P,jJMLԢUa˸  cy.v ]܋~ǟ aOE92Mi%7a tdn2v"=Sp0vဪeî=Elk9RY!C5پcvƿᜏ8~kFBF<%oިSȑt]~SH,TQauҘHyk,"fb'_ ͮK>.%ea|3E\c/y;eNdēC֤ߧ/d *YwmqkQ 87,u*KMACeQ3mgxҸNBF. h=_f@S*s 9ʎ0'~1'av&%=bKlQΝ؞az5W:&U'<3 ]&WwW!o9%}5jrA2xU[a jL@U ĨE](<~,"-r 6yJĮ7,A4mҩ.BsP'{&qq,z@i-!r(QBd_oqB<8QD^òOpĬ>3Hig0Өeu@#7g=>ŪЀcbdu낗vdf@bOemk3獌{ꇪqCL8-f.as\z{mSHP ۧT ᲂQ><1KCiV"!qiͷKHQ]-\Z atD¶uNts2sRcg>뙋Sϕ2Bvfb?sh.Y'C 8LE=:}"UUO^ '[$I5)lI]L>FE p\FD9&v`PSc.N&Ks~;k(FXbsq"kw(T ki͕.Q F+ *~cD h~CZxJO6!(ШPޱ`VRh1^aFDj;\JM\&ی<*9]}Ikq:\tɒBE}>ݠe{>y%^P4&UIҖ0vHr YʾN]ղM}#DM!Zl*1NW@V"ruzu ℙ&"D1Dܼ `*1 E \a9aDJ[n6`Rx8# yƪ*% r|P_PΌ=kȽ ֲW6mq:z#Tξ} +vpGxKm/6].~ Fr^c!+j_vn$:inl8+^㐫}n, gSBɃL5_-JY큷d\ni72z^#iq.ng:S~9B e&NaSu6!\#4ԹQǎLI 2QFK'p w(B;C6vVk ݗƬQg;=8~M U%7ps;AX_}9l~^VcLx7spEˉÍ?z<"Z&QU 4 O+&T/CY/|5,§6I"@Ιe3DCh)"5*in:qhmA"8$8yY&h?ZtݔFdxanKǫVÙ$Zapə~{,J_z0 Vۧ=Af7D#e_>k"O>[dG_WU#u>,ՠIY0>!/fy y }o5ISG1v9ҼWĩ'Km԰ Z&{;'vQ;9 %m{nwj gIzGaZ+1ٺim/ݔµ BIeeNybej,^cc:@ |'IEXa=VI;: gHXVk#ߩ*QͨҌ^]7ЛX<]ITWD-z"Ǧ([+9 @EVqΦU4B>bGM^ox (>7KF@cDa~,B(t}V й 'I+=Y >CV2 (8xw׽WrLHof$)09ɋ\͘Qm~>Pߐ*!yG Q|kuZc R(/80{TS,dΥgxQvؤ>"_mlF{. ÛONgJ"5뫅՜)C5 YT_ӭ2N:n+/c\=\{%8>e?}9sˎI7̾Ņ >[(7R6Za_yN a ZЌSN%7iBuO-=pK ڛ>i0VJЏT!Q43.<޼Tj93659<^76 K'eRYe'gABP!qZL[h5!WzPl A5~;pWh9Ui櫿c[N51ߤT?<2qҴSh._8L; ;HF|qR]' J@=OZ ztM qRPqWpGma_ wH4De>Fb>딾H2}ws#=1T 愤{U .=S1 o; 97i ("&\@nby!YaO|V 6ptsDn, R\63ݦ8$ BgћjYERX*VGl$6)e`ep/1`U:"Q`EecwyWm(+tՋJ@S MIH׌ʾX~qϷ$'UAk]Gԇ8$7P/ڞraf*h>\I>5G|{nfDLeQOn]Ag-NPKp=̳\";^nĒxRBYfjZfS Žp?kG y"ޯlkBc%{| C̨e^;" " AmibFyiq $0+YhsnP^dQ, է&;&P\j9{ZLUW;Tq?! fHFrŶ(1-:j0 SmYvٗpĦgs5Վąùfy!? bߜ&ow>T{31by5 r7W[F;:3]t07 )-=ƣePBgFQ ]jG?HA^]TZmaK[oD{ԩL*)FFT16TjVGym4W~e '"50]q0WƷ/\CnH!u[ah'_~')_A}ˢ) 4tT,fiZoYv,Nb^6=3B.D1wJzYe. $2twFbp_gLoIJRm:$Տ8.TjV~x=EB',&u!Г8BpeQ0?aQ&օ2 BM S(>3%`X|^w y[QB;>TZV}1=hqWC?/A/mu̓}5ElyZf[8utwvI-)B5gM$!5s`O'P'2s簴N.F6!kETW frh90 __8Ξ7nĄU+1=:`6}3Re=I߀)tenFbɄX[0UJζq?9Ta")aGZqE`쐡5s:D6E*h(=2iOfG(ÕIH(Wp{㍓ODH0DM9uasF(.ҫ) ݽ ΅b̥npMi+Y3fe.w| l3j6st-f7͖7j($Dc#$2k|L옡_Pcsv\AI;:Σ mLgb\ ^866.ly!X m 1ol6y(1Qe9߶A7zZPs0 9Dz\~ ͣOjHN-\XM~3T,oe[b 2q5 YqJCϸ.!J}tc_唘?͙L&w.%?Iu36z&k4R`ȕdxzIj1,/!U Ttwoȓo$0@KŖW04>;^'+}'0O~]Hgr&jeY9:,f]"p@.˅Pn3!bxL,c 'c/F]=}TYwG5Y3)?4\49ys8,BOȏ~Ce*ZwBB?v\}Ujh%@jCcD!-k _Tո]&g0H* OT%^I:j6SGyΚ&? r KħjN0ZW^pjDȟ`_Z5`-x:L_ZĩQ=au5&G/{QR>r#+8|W$?Raf( 5wRBE3lrR/m QAG+UM'Ds fqx<R4bJr?>HtBy؍hǢwwRa&4+-L`u]~/vppO[0z)R/,a6Y6q-a/X*]tӄ^> %e&!gd\y)\{E/Nt3^3RɿB#˰;|C=g6yWە׀޹S5 /dVyf:[&CmARO [ ƂGz!Kzh%(a 0.pqףs4hi7El'n/`9."I hI$*hiVHֲ#TT)`Pnj1wz v4pdkr\}FF1g;VK VjJx+!W*sVϐ0q-Mئ/WJIy*W|UTu Cձ${:IlS~5=Hoԋs)񀧞^<(vx`oP9@a/Sh4 rvn1]6Z[k^RL;{(òd9DqS On,ؿp0m4N(G{먚\~($tB!̎'ҡ4hKuS 4-|V*)e}N!%8oM&H9pvmلxQ'mqC CXihc[ք{pf`KJrN* vsө= sP Y"S'8UG5g4A֐{=7xf)E= DOCcr6vitwpƇBB+7b 8qeE 6C-8/tݼ+\9f|Q(ɽp;/'Ҽ\{X~|ĞU >ZnYt-ZCƭy vq29((Ҳ [.k]F$mKgo)T`eZQ԰qsӍߒݙp"TZS"|;F#sG7wڭ`g!A/mm]5J/w|+K n]pg1qp+`q ۹&@\ C!?0Ջlr̰gT@Q+O? r'_wt9Z,r^y&U`+GԚ%FKA7 K¼. 㢯H\fu!7'^fm0 #Do!±dbF_й8iQm;#ж`(6L|Mǟ-6(`sعm4ݭ I (GB e$Yq; R& 0WШ'a@1$bx7Aם^ʂZqKdAEe{z~懕-hDy/\)ȱv#.`ЭG^t8x[WSq0#cs\m=oXw/ٛ/iN`d-bc8'K4_ $IYn~%LR0□`=:6X_R+:QJ4azY 'םĵsGUMH p~qM8Ja00zL*KzO`jRAq}!XXw*[@,sG[~\ۃ媧~h0͗g\ϕgH;k^[Wd֬N>?!kK6 r*‡3*zGd_TX ]4c.qp#KI5acl 㲰uC S:h|k8xZS꽰;_#DCSUwъ60,'EFZ[10M*PzK8%S0\ kă+}O1ԴCIA!oYO#X܇p#*c<fhTL)rg 4. 7 xit=xπSs%n/<8$G&4RxH?"$&gs~P:vYp"&ʇ+qno=>DCkI!o ɋaljVֳ&<:472Bޗ?8d.Zfk>ꤜLN^ܨƖ̀i 0AL׆%"Mi?ԁmZйoѢGy>Ὀxy=-ΆlU !֋_|~Q J "8FHիt淡@< u򝦟9Ϸjt1lᐹ~# ŏX{ l:>u@9IɕrQ2PRaLr M،lI;PD)͆RVm0}Ev^كGxUI ړ\LPmEDR't*X#VF [Eq,1`SM}"Zva&Jut|~,y LI8Q Xkvcػe7*WOISw!`c-w0AUߵvE#)Ri UDb?xqEWwwۧȾF:As1r:fIeoj9՛WR }`u쵙mjniIbn 'L]rvy!P-uFB(\l?˝'-̐D#"_-)riapuq8UJ1|Lt x^1?Kmq[yY.ĶgmG\jH!sdi\]s6 鉶hqlK:n#nmϖxU5N%tL9 3ȍ;q#MBfY:|pZ`|Dв:IðMمe3iPߢ]猙\I <}!}KR8{ArˍE~zmo1r |7ۚ&3`N_DotĂ[D04qI 3aqF8\\HXd뛺m^p6bTڃLS [-ke jSlhkoǓT-Aw)nYLwF"N9PuhW-M%9.Ba)iΙs-I150҉Vx7ˀ"8gL$ķMqK:|Vi;{թZNhN;^^Nƣ$ϕʼfW{tr컢 mЉl3mI]I_e[4[5i^m:«JM̑hS .!2i/I+g$v*]wA)`7Z,KRnmħ HgRe~2g ]X;U݈oCOkaq]I@+d|vH75,?I\NĤacpDlc( B]S_xNF]ljq7x {{.a~T@B?^ӴÙ\qs6,!xOM^{%xXǚmd{UUKOfMc ]~$爐Ȏ<#æ`zԋU::=<(ONjEǯ)]*dHt J7|3-nuʩq%^,)/uME攪W'g!h4Ni=a3]S 1X :EN+cOcEk}qD:Eq_a(|gA^4$ .IYujw0~7 DYm\HUOaO5Mrš6"does tC,s@1H1sկ 5pۆG|.eĉIV?dKf(1큩MɹMuI\Ƃl^ tfqpyRSquM[B9zRgϳ a@{XqON"ϷtIݡ~d^%BEf5r<*5E֖C_\2nl! tpJw![G [Lf Ȥޅ7B+ؾ)]b2xj(pPVLKA,"+8W+xGbUt ^V]NuГ6bjޚ̡[ hvm)qm(Jx<>:$g w%GU!7H͝0 ]G[ɟˢ7Nk>oK--"ʸ0{p5!>́ēb}R2RcߥÙ_p&n7]J7l2LGG CKM[NUDW[kOˋsIl>H6t0%'?2PN\bEr`EI&5(z zE)kS2>'QzGސ"X39[Jt 0v֘9aKd2gBaAq;Wh C꡼EsP XN`1Ic|~ywk횿@FuIWoh%pBȻw'oZ*:;d-&wpt&+y ڻ ]jjyRvC\: 5A;͂%v'k98?7*<τ/&rؑu;2kËXTjбU-g9/ɬؿҐEi{l #Q#*02e+$(_*ř6ݔcє=)]@ܞO9 jB;z{"t b-AΒ됈-/F<=4a\S;<j@=cVRqr5e>H:JOalC,[IJ||UM="2s(X|4U{4KR̥au~ŸsaSޯ{b(|f̹e[2X'$?p5'܋gØg4q3wLm`G k?qP[j#!Dܷ(qmg`+4%J0 ڎdqEdz;&T]\> ^ɸT3[bU9훞vƙY]" {;C|8T.JQ1E "͑l zv&pj~ e b,WSBLWAT4ZRh9?ʷ>pAg"N q>Vq[J $KUN]5]^EA{r{=zD±D;WX^'r˪njA<^*˕@,l"ZNqRfa bBlbuyWBLj%6G 6miUl1%4 :>^v 9EY0FvJц?*m|3 0paA2TȅR2swz)JacS.Ҿ)8G;n@(&筐l&㻡Y4 se*Wp"L͘!Y=b\Y_<*oAqiJK+-[=0EڤFKFP8ٞ|ĄdʷH=/ }$CNe"YՊGҿII_I {y*l5R3}a坅xDr~ Nׯ0OߕEȋFwDGFŲԹ}\)mp S%/p?p̛ɪU8u77(@JfnB|:E-+_L~ʝrRKi6DA ]yv?BT#Ό$?՞`Bpmx/$lsdpАuC>ӱ]T6\7 Mr_XBlJ19w+چP8rS/(3.C6CjV ƃZf诳^,.CZKQL}(a6 $V B cWpЗm'Dk.iɞ)>i{j{m0=.vRAr_$YAC|C9\;&g߁=,llyXI8>]&Vu0㵣S wf?_G^POR ,)N)Nr摻˓.S5`ےRFOEF T 2juxcϸX|-^+c^|YyI)`=mtVuE2 ޶yAtC|B2䜍(/W%k5fnktp$4.}Z)a55|(6xvƎtCo GNK]ɬ^~a.n7P}{ JoނR|H0gws>jcEdܠTa.;_UXӛu%RkhPP, Hg :bFtU8k->Q3SF҃eapolr&p#wDgIjO2hof Fē?uklRy* kC> u Fut_ H8Ux;{k40as^aSxkQkkYgKnQZw~(3 }U0EcP tʹ;!Տ c^s5X`Q K} M3G ǃYgs3FfMD滛-7)7Ⱦ_S*r;i7vY.; :aÕ#܉15Y= =AU~@UPq2`Cٮx%D/KſE0]QsB7u.AW3+\E M1׻ Xf') 6HB:a]"|VBJ1:4` @6$v1uHz,ΠSG;4s~6:ڝSuDfToUxxR58>uݹJsŰG%y-l|CeB(èVJtgE#7=DIKk]M9)Jgs0jh#oe=ƷkؐVǽ .83Hb]:*i H9bRn]XK wckݪyv)T7\&&O9cI1)j{Z +U6%:>Z5딃.9PlO޿/$e&}^md{^ ٔx 8kp]PnѨ6~qH ,~D X䧠?y,{ z1FMʲIµzfՀaS"@Q$Dk>()NGC~0)H,~s@,-kw+e_w$ ?nQp$WttS ~V4ѐK( x2B+Kӣ`}pmGC[ 5ž#hpa8 +#FS߳ݳ ĖFwߟ:B`iC/c$h_*p(*HJt*sمi2p dHBpz)9MiLGW֥# Lb`j.1CгyFgZ?}9gh "O@j뻈WNuT &͛uxembJoz=ų?zBKؽ|C9\p6}'uqE FUC[~kCݝkdG!{quu:Yjo7M3/C: %emHLɁ "IЎgaգ]00P \Ҫ!dIW:,J%.]YqIw RmyRvֳ}<2 @^Q!5ljH4 lYߑ$- *D,ftdwb7w]g?T>r[[sؔMG}QI/U v R݌O[)PNSG$2zxwuNp`bt{ر#{yH%ƚYĂ}HK҂K &J^>k?$j s U{R, 8gMI|!%(|LtZP 9#KAe揺]pj%Do)#"㣹JA+jWG[ثkС ze4p\1w\b ΢Y`+hߍ 5oLesG3jdgC=@l>ۙ3N~m-N^C f#_^l.)x&`()3i~5@&3tOJj rhbt bTPp5:U-wtR(}2,:fЩ{䚩H[п{~ 9nUiXby-QMVed 1U2raV2)*s W]M k^'l:(DN|%K2A807MQ]۩#i=OlQd*%n.6h@tX,a4@ST\g0f|Q wBZGhwS\ɼosiKB:K q#I(vmY"׼yt|,/ϵOt)}o,`9o>֊LQ?]^XbB:j0Kð9WhgLiD9IV!`<=HdE&b-crc[2)|!*g{fQLJ{)8n uN!yrp-_{)@22 /']"]<1U rb}LQ{ۏ'W:ƬOSs&@kըeNL[9*z\;P "VK>\8Pn|tAa^DsI@ZHb>֜RN@ Yk{'Ys˩Q/u(5¹# HsgY+OİT_j×ګ`}Hìɱ:k#bMN,;7oyH d%\QR`9.|\֞c !??m{BtbbĨR$SFKn!܅^$\s \vp*턆wL{&rYxf'xWtV~k(cov8~v4je 1Ih'Rӥ )>PG"KLx|Y#MQ[,Һg /ʆ>kfdtljuVZH1$2cfUڒN6,N=!'<DzL%%YPK9$l|zZx*Yߋl:ΖAd\cjT'\ɯ}Ol#A zj>IwͬX~sAG+Q)`@uL`B}_sDsz3uVXMֻ8Gv3~[ƌA5,3ּa( l3)F5 z86S'C1ՇO["0uW8A.$9ip nkeྡྷ&(bYilI ?w7ucs3y@~>b!,[~Hz 8 1*+ct^h#^sQyR?`3ȈC_6¨! L;pQ\gB#EC/N@fAԫj%06hOӞki  Z"1Z˹<;-%.m/h=EI;P2]JSLF0iHW8JJ{.,EՍ$՗VQ\qؔ/,D繲J #;G#ӪQ߷^b^\l;Pug4~r~1=g[$jjjDYdueP\c-B"#j;d)-2pvǞjNc=@ǖk 6N}Wah6!/P4zX sQ~}:S[j xaoKZ*+A1Z.<Lv݂J@r\5JOfgjh&*e&f2EeX|$߀a]Χءֳ^g95s|0aGAN@;4e-7`4XeSaJDHVP/ BP֓Sn/KU1y PdBwO, nPrNfYUUmHउZ,p65Q*GᵄF4ᄧ/jǪ t꣍DvtG iS0|NAⵖxغ2>:X)(wh7ۨs@i.:5ɂY8< fӓ-c5T( 4  8؈x{uy7;Ww[oa(V3xS$ Z:晴&#LnsA /ऽ&?VE]tv#(\(ܙxR:i~w).-M[fwEP_qRbOxyQd)[ވZ1E֪UR%7 e@ [U,LÝ/Շ*< 3̻H*u YVZ{vC}m@h&y:b#_ k#,^S@ 84`8& TDBEr8C+WYLR}ԏapު;^6joCvFWSvWCɀm{al7S@<J *d98"x>G<DbWhհp+?~j+-ώ247q0URX4JOV018nDvd4EiևcX/FY')$(p45_ѓQYes?Ƿ7ԕѾ9QH͆^rrl6dѬԒ%Dã|]ǍD~^K ϹPۥEjS9Jo& L 5>$a=C)/8Kd<Dz^5BS>3.(c09d錧V#>d}gPP)?-a @I< ] We@2nI-$-1UrKa.mR2z, >@7DĚ/VƓ7𴊖.zP{ t Ķ,[i>XyN1)M5T&{l̤§ ^n`>%G<޵> 8&ydW(z?D 'nV`|RNpO.(˾/0/Ŝ23VB H5WIV0QUq'o[i)as:iOP;9 sF S!8e27ݱDvr[1W2p Qcx.(x|A!^|)}\~s0 nK_odĖV;rQ(W#b*:~`f]Z}s؄!ʀx [v*b3w]ƺ}i':@u}6`[s퓅SK>v hJX&XwGVNJRp|lm/DR5 ^Ã02FzlzX>z=\v!2Rj(bVTmzd|ZM[+9283)޼{!h> %HϔeŸ?[Wu{|]y5J6TJȺZl/n$DyoB0Cޛd2-'V1jx<;PĠ"/lɃ>Ե_9D^>f}<%3z;ɂ{saMd =6XP7.a D*K=#,rpAf.較/,^E (4Ȳ3dҷ0VVOl8;p؉~+[V9p1jWShU(_3'6 ^:\;k%WW}7I-zcQ]l=/U'sy˻ hnBmopOj;ՠIKz{<&a FPtZ<{񵐱O y | ^bg݆bk˂RbG͚>iGpeL=)CR)iXǯ{pPT[nghU2 ~G?Ph ЉOsy J8'j]IV]41Sqk$!ܜ)b¨e'+B^;N,0fpp̷Fp]ywaz] w(*bVOykm'y2u]蹉@଻ak?psܫ64Fr`m/fa%8A. ;!eI4p!4diJʣ~2uZw<{j.6azkc?ÑQ56cY?kɼrbgFJ_-ir%-YZLOy2ڒ+(vg;N3VPcoc:틋^dǧqJe0Lc9i_Y n7x@͸\Vȯ|Bi` xyUj@Kgj IkL,z1SkB+dQur̶cO L|_+p Uʛ.b V>ǯ(JVfX NQ^^UĪN-ϓq@QQ5"h5$TT 𣝏A~JqNyk•AyOVg1{x2*J]qi!e~(r=/%2L"$2C񠁾SQ2W>L뤯`6[/ r,H;IaL1R +r'}h{CS)BF⩕PP. e.QUr3 J8XXC711Z$6C&];Қ5lb..kjZtov9)`Ήn\o,rxX2v`RDBInR~.M7k@N%dZ6bp!*ͪgcA'd  5KNꗡ_uh;>{Ge慨v:$XF0ƈأqQ` d< TsϞ^= |dJoFbfVC{)@g'kowJRpS92ÙVDV:$,Vn,$|j,e*ui401wׯ5!Jɮ[!YB G9Km=8,FUD䋘TDVc ی|Zژ}?)'oAJ ~_nN׆~Q%wHD G͹8T'GM[%5(U4zJtZv]yf S;Y䌻99nEQ"c+r+"U"8 -b4m+@wv'c]尡@X\xb7513}tlH fɂiteW|BOܳm3V]}K(3]Ok' S;+mp=`y <7RoOIFc DizDu(]i~*J-"Qϝ1s KB26/M%[=|INkVdNFzi"Od3v=i  +<ydBs7Eaپ~6ixS6_]O}sK^&C*Z;BEڔz~=sz$x yXhY ȥ(ߣ\2WyR/s= &Tl%_q?i L  .l й h!5|@RTfb=G\C-CLgY}CS]|W&hS\Ki=I)˴ D샵ZwcE6f;kB!$STA6EKno`tu(b@#W8_Rt ףoـ k8My)Qvtf8'=_M:nK6p*=ga2dZ*Ƙ s ŒA%x(F0'ِNӋe rg Bف&Tcy]E[| R'sYÕ{+kH d$}r4zt`~s2^[d˻:G諀vt́WI-FUk]RF+N+-$KBuZLg.[*eYA~Г1<[V)E"^86KZJs1cQЛA̮L2v&/=mSt,jXX EWҙ XW7hiuƢӕwowJOIULJΓb T;gy< N ݈@Fg\ w UcT1JPRQrLͰtp쯒u›.jZܡZ!vwAFy)PIʎ":'-ydn;n^ 7O|14-xЃD@u>/&#S0OnmU~(bH6Gܕe>ĩYyVxLg1~iF'q(0 ̝#Iٷ %, HWz)@ .o@)|y6`(#a)'`,fĮ}$#OG7-;iX4{1ؙas" 6 =\ rSLv˜^I:m7}c=yf2p:~Ut&"b\ĉvRs|Y˜pDσ#k Xc04RP*y,<94W`Yn.n:)mzo;9㙌ZI7;_3TW&1| Z#u `r 6iKPO[YxLCīu䖊R_HnDlX&Z5{<ߓ,l`~霼}l뙄G% 5SRsF?t57gZHBDȂabI ;;uPT9OނW;[Var[I{M=0R/IX Rr;[}DrgI6=ߥ:NҳZ7XG,¶T!z9rdD!0K[-B%[ftKg;қU!P&9I[ z3cY0r\bW C3.t&c~kB%_gsSZ`wVwZlv]l>ϴc:( p#3ncq|rєC@ubX_ ~L5$۴4zނ*Κ4n$$ >?\_E#}:Jz7 eMy?:0*TJ:W<]-3go>+1ֵM998:K>_ckJ-BV6eE[ԾضZ@!?1]b@i)I O$xThH\5:u=|s假$ |-F5۩:(>bԲ(pj]Aڜ!m^  p6k ~1IV*ȊiΔ"$Uk#Ť38-|HZ^1dQgPV!Q諶;Gѥ)Fؐx#{1]8l "=@,_ikI)ZǛᱽA AžI1$ZҸ+ys|L\,$rsi=$ wJ[٥M9;Dߢ\MX7Y6Sx=w}eN"SiV $:Q7 DoJlĘqU3h ´՝=؂ř'<0WMF\wKH;hupҍOgJڱf+=P<6s=+ wB9EuQ\fl!VvR@f٘02h:-@ycFgkj:?y%SlNe}^Vy&݃f4eī:a6 UjG h584~j=]q lM֨s)CeTDQi M 84M A<_m{>ީV'܅厶>V>51lբvzMl̇hO#-Q`Kd|doa"]}rwy>E-J7d Get JAIUza %ZHs 9kx[Q3]";8zB9%׫OT'Hajَ6Aef^u({>yڤݾ(SS ZӿRFƪHRO3Q/CWZbM"w@HM9tÓ?xO=K:/of3_K}9b)qD;#x'q]cĄ-Bc|;nG8'`M\5Om,m]m&'|,L~r W 3hۑ;C/ڴ\ZvP+lk- \x`#c,я̥&Cn\ŎCvy@PkTvǖWy]Ԃ*HM t$Z%]X>xiOU=ס7CicB8DX0:E}J EPI3Cs"uR֠-Z>׭0gEL#`uI%VL<Ʊm!AH:\"pW2k=ioEEIDr#y)@)4me1ENzV7 ^mRϘM?~xx{g|gE XOch7o_Ѵs(K5)s0!$tvy(ζ|4w4a^Q9gpWa&e_ܺ 7{<>Mϖ+"*OoYZKwk?<`3y&e^C |V# 3Y5)ᕝ&9hyI P7t0D*ioxF;y ?7/}֟~Wõ:klͻm+X~Շ]!6Sf& ?";T1(x$Dw}2 B6+}7:nDب<ZR Fne(qzh܃B39ڊBtp_{ҡ[~Gt2#,O.-;}&/ϒYsl/.6{CZT߷&PC8#tMPLrG( t}>{P$~7֖Bqo bSw*oBk{UaW^<)̑ 7LqI: *|. x $! @ RbFV]SJ1>X,obT 8<%.xFT/+KXIL tB>Af8J /d$IZ`sNgT8\ݟEtwa HvA؜` = h|+bR ' {IPT!fK\5*DFAz"ֈGxG (û7‡A?w zpsK3{Nʘ2)Dpf5.}FG}wZKeuϭaј123HB26Y1aTUzsl]~~ARlwwQMۆ%|*nQ[<$F_: pyL *^΂\ L1Y ~oLo5r~`,8J(^FWQ_А{>WӉi+ ;31HJsHR@u.#r\!j$p@h8 4= 7:-f}_ S:\AιMO\$8kb$?+8Y#:wܺ~,D/frkOfZܚh9́W;[y^J^!3c$Pq1P<5p @Hoar>;{OsǬ4ĸ5PwH;{jJy>?jEn=^'Ej=\[Dα;12!W>ـf5ʘ>`yG>y jʬ2٦}roMzwD0R(ݪ\L;RZ go} }ư{z[8Zw^Nxk#CVgU$!I&)Jnr|Sh+.v́_al}@^|"L-e4Cθ(} /V4bJC 'QM+ڔd,QrV$;5vۿ4AlC_sӞCN SWj*?ܫc3%@S?*/:X5_f;Hqn'6 ֍<cm0ghD(heYkP,aEI g6DZGf\ cDۻã1W I(Yvxg#;uxJgg?ΌdResߐ"BGBx>xTdhMny\ zZ0&&\W+FK$ti@lw5t*X^n!)QH#ߣ<G{WFqCK`wO/+T8|dlΌ55zm\A+[o{sd"DD,ݼ?ljceg%p{*NcNk.NeZCDgbw Ud _7cme E$3ɔ㠶k^юйc``Exs? %UBpx]&]Z 7 D!ovysbz |mB3C!k+yZØf<8%mSG+>͇y% 85RЊaB 1'bv<eщ梒$4';D } b{5|*ifK +*=h4ZG_hd3*3ŌVwO=[ u,? ;e\nXpLX ʤaA4ϬK42=tgq,i׏@UsLLju@N.곭]k^Lh`ǥUel͓I.5Q$lG-y' yElOad#& nZ:Rr2:ף $qaD[v&o1Fe/g n ܫrfterC2`*-=ѤJ9w:!o,. F%NE:=y POx ",e;ڊWQY7~ *RϬsdA!٤Y-dk)U|& [cF(~6L6'SX/N0QZ'8cUTC[;\>"q,FURځ)+bϷ KgtYnwL'?hGLTFp!" K6kiҪ;I1!g:?D8)-0:01gM=-|CO= -^,l HcVzz#}lEN!B ~6"ȮW;z0vA H#e F41{6!y ;oQ@HIӧM$]Z?ڭCW_Τk67ܔ9vZt 6TCc[~3s6Աf錞?FyU{Ӑ?X'wd{.o(a> [] [aPp_V@^X ==ohN-^lw[H8V8u_cj Ynh.'܉\) _3R*o{g WA@gF@x;|V!UE"/r!?%e8<6UgA}twy:#ܙL rra$ T;-s㠱 GW[brZMJ58d[}&@drYrO MW{";\j^D9|wx[9 7xpI-PX9.Ă)j?@ӥouj*c귫22|7qxdk*&F*Y,[C5KUgAI%=UDSkH:l+!ufbM>- :ՑKaʷ;O冝dP@s9D`6U6akHcKU_*u0e']֑]gc&>EM* V q#58JU=Ld}ɪ iƖXPc]hRGS2u$3$ԫr֙RlN zGLLWz,?PTS&ڕj™1<orQ(U]l vl%g+$jy|+nCZ X1H'1F9Q;2q>4"]v;6% zmGS՞c$6N;KdD^x 13=?]fx6>Hݘ,Or{Aǯ$˜CՅJbKd#a<oq%Odsȓ>ߎMRf+uE&~9dDlPvD]ݮ\d|_9ZC%|*v&3&pl2HSiTZOoww.%^6xq),h-[7ШXrQhya`)j* e\mW"X?A $KAy.h22 HNfx'89@YYUT ݮ+8th mPqXFHAu/i`x[)hC,^ w'ΓW-(uyhm$l鴞p&*d#Qɿr{)ҺѼ)Uh;]Vej|+EYO*%& x#ZښS|YT}+ʱ0 ¤`X4)%hA'[(9촍RXŴ+%jܮ,ftMQn(cc..OUw *R%pB pshK>=0[cYA1КD۽Q$ԅ(H#$@5v9B:ڢrrl`ϭ9Iy2c7 [qRS֫Ydl",G+}`  _"9xb-Δ/9Ýb h&\w w> !0('yaa TZ#I3eS$G 5jx[֙/{C_wZ˾fpm8$yX%িW),Z] |L䗈įcZ[Fɩ[C~Gc&(f@Ɖqì,&osW9SRa4jȸޠav+Ru;QrB o-F,d b7z~MPQ]|lPE2!ܘ-7(930cb+Ԯi 82Y] .ZE񗞄(~SU}[ [!mh}Ɛ(*Rf^4ԒGvŹ)-EhEM 9dtg8#,)Ok3\MHSft1 :ߧ ^؆{Q1͌  ]󔣫%=> 1׎2g$˘Nk:- 8 I%ˠ i%Wvf|W(IFd.6b̮"F08s1*g,xr~6ML{=atLVbҸ짧?Hp s7enT ʂYYcK>k*~vwe* ;io6MOA YZ_ dk p$saY ȱ8s@ѨVa3p_,/;}c)nm !Vɉ!&Ff?fm@\k%I!#馾 7m>j0}z{\z EByͪؗ5J7AR7$jbfC6ɼ|6rQv8Ƀȵ;uݼK5?GMyLJgi{13 dM"ti/ (SCֺۙBWޟWM/+_ qeJ lJZ 9umMvCn=7s)c*ݬH>qa9Wiqdҗ32HMAFW*>xFgI}O[ ~kԇ^Ah^J=̆.Y z&kni388[}+ݞk @ y t.oa__[k HBc`]wwh?dTئUQ O:+kxKfUf!`;.) CoR5Z^9o30=E4Gw5^$Cu0KTKLAޓ(e20aJN8md5+ϧ b&py NT6fϿL?4q +TzRX\'4W_2':Z5e1UIVt*Sc]{a@65geMzX/.mR?WH&A&@Fxɂ,Nz3G>L 4`ܥeU>˧3{ T_1ī> ~~&N;S&hOqki #R_n9 oyҕQ*韚 ٵ2mcFiy]H,F|Ѩ5qzЫ6Zy*>o!uJ̌R6 shl ubm'Vn`i08e?g;?!gЙ=i㸇c:SVsRߊ[%6ހʬ#J< Q<ߟϘc[O||j")p~)u|.~{]Z JoMk/1ݫ( bb3Es:_i?:O| Sw "/Zҧ*G/nF2ꑚ1qѠȪe@AfT)m0iL(XQ\gemR҃[7Ng7 ::"Qݵl&~Ν+U4uR\\Dchjg-WnV"lLd 6o8_]^ 7SîW y'{Ƈ6Τ2L}֮x]xIW d J8 RB}j^V-%MR:l?~u܄qLWyBÌ14S*xbZ@H>a¯^k֪Ziw(5I:I/HDL@`\X7=˧#~41C{?> ~1k>+{q"|LTɵ23d+'uC0nM_9C(s!=/m9;)?Sx]ڙٴ |"z֥*a]za\!0p\IzLKʽ@3jΕ1/k'j*"]lp}g9{i *8F=< ,^E{rөf nwe7! ʜ`u,GL ¢^%ʨ1p=6KB*,1o`ш H.W|UA1-aINPBҝ_ۙ:p FID]s*R%6j7)Es3HHknf X#{ڋXSյ<(E7v\*RGۇh{uZza'VE7J\dǂh2#GĠ0Oq2½11{Y~hi i" pR tV H%ޖQҜFU^'#T>yn,CrȆxpe%"/nU/sSW|OLψ4Rv(^/GrDIɤ<OgviYV7P`ަ?*qx(16v/V̳,&9h~N|17;)͜شHTOYG?GI"{g}gzGaxUGCt땃@wQ rIpǜ0byaז Bjh,Bܩ/\KGESY!" ZV<&'aIk:x1XSYgZj %~1yef=LaDT_&Xt-NE+U8OlE|j@m VcΓx$ 2* ǶܿQ 牑GbΈ,Us qDw0'Z3cLœX)'WE A^r'O]LҾВ WjPW"`)zkM"{*~[b1ōЗkdaQOOТvp S֩);|2K 7Sz窢}#cc`aDɷcEq@5oTX4WV#´:r"!Pp잭2e\mXn>tĉ?8}HJd?M,wbծ -3*]NKFoہ=E]owcV0%I/ F1, +ҖSZQ;eCPr+xB|=OUE O+n d6nN`/DG6QLknt-h(AN'PlMHEašCsGwLlARbx A9fo%C]iT T/ne0n3^-27!fIDT2C4 If8rԏܐ3XmxGQ߷G V#Y2}AWvG KpKc8 .˭fBGQΖg7,@uoɺ.wjĖ)4^b}E)פ\t ;:W_PNM`R7S\\oT$kڿ˕շħE5ר r42>7ϵ p<>_/kBbZz,֘ X7N*"𧒻-NJn3a{QѤ|,Ej٧2~Dl$#>ܓepQr"?M"~P +NOjEpV3jp'ő<hOAKttPXc&-KJ+=Vʵl)g=~0G*&̓ua>o8[arQ .@f­]9 ez߿mۂGKϬB'4+>Kq/OI+g1HTUhc:}fF[W Rг5 &,G0I'\/ALS7>kq/j]!d[jxZ:WO|qQ-$y4 EeT,ΔƇTyޜL7n#~L)pؒ6`\ oPuV$dr$mmmi0e p_׈K{͑`$ D豆Fn"RB|Q*ȷرI<`LW-zH/,G`렑WTqBd\Ǫ7ў.h׀SϠ>MώZl\.&傪q*YM bC{ZqI|s2 hPy=y_O-efjP4(E9Lc]< lj6pǗ~,懺 E0ŗZj2eN,&n+v1r]ᨅ%!c <_o|.a/z\ĄkS vSKnh .^`Fa uS$v%BJT,QkfOdqecC> gf~gMIQH/ 9g^27C n ?P/x('Oo[QO{!v+?"l&Œs/qTew%ڦ+>`E$[I!=$OW/mL8+?UY㼜i-phad)LJ8$% $7E[WEcwvµw="ł,vLTpwIRȘ48#b#M&(20i?!(+ֲǷuNq d:>r>nPg첀KH>"X^RCa/[}`<=+"Zݦ= `ł,bxf7yFOM#~'Yvã3T*1za P:}.?ztWFv%]}m,XJ)b+ϧo1՟2d9!BoSF wJ" ⃢]β!}i'xJf^-$7k}c[tC]Y3!T |!Atw̞c @ Mpɞ@l_<((kZE9!X0w`hڢ]̗YLc( kC;IEe7k-6b?ǘxyp;O<%~z ; z;LÂgbdEČ`+wT4ϥIc"n s˟Y 0̯ QJϖ6'>|vA2V+5&$B%!5.z-^f9Y9cf!,~o%S8_*ݝ,,DŸZƋN;:>Tq-0~GuĉFN}A7M pC.h,ަqB^-p%,F `bG6@9#7ϩl'o=pnڒ,]`zpBh(pY|>%%?~ȧrˆ JϟV6[ ػj/x?i3#4f5?6wnvHBȹF $HQ Y V IqϘ-XoΒ>l̋6+}e*ě}Pah}W*0ץVBFk/6順"|Aj&iz³:g(iyu* #wc<@S#]u=Ӯ}`<2% 17y<ĿѼ5BW 89~$m(>M/k>& QՆN?5)~k팫U6cGemnDfژ`؋RTL;xx&7tβ觋bdBSSuEG29]Bu;,:nM*׹.Ӄ%5eik-D&? :ah892_uy=8oF;_D| ,y۳#M禼 \GVeCk6nV )5ݺܷňS4t¸_rSdOUq9U&ãRB] AZDn:"hT 6Dbѽe0J~>Fa& +4LMSqWٝ +&EAy:%[b禑A #O-$c%8޿ۖR aLC9>R5JsV?yR3"<]U_2 BfJ2q|z|yQqFr(k-VS,y4;-oI9%0@` rOCXKc0ʇSoe"roh(Y;mOUr 94exڜP`bWeϷr@?=l+kbZ0%>;9MDB:rt!=-