z3-devel-4.5.0+git.20170313-1.1>t  DH`pX僸/=„ulExT n77$6 9QjHJ`M,W0͒zzh|nSz[|yrHUL_x#y_}:[$ Xةd'I+J}x<_&>MeUu!ۼ{ݗv{Rt؏33/:8Eht\%Y)11%됃8`{>yF JF6t=G*g`ڈEeUn(?Ǚ19cc78dacfb8f034a88fa17a2215e67decf7c6deYZX僸/=„}0 d@R/<ӣ^ˏ!V"BbxREvo u9|~VSF8L֫J}KJ][T, cJ %l(amvuvBuW/jq2ol4[{c 3$e$e5>Ӆr|LAFKVسLLJ>ĥf=m!3%U_biPKk;Q5=P؋Zc#2'ԋ \QIJ%%XG-5{C34>:a8?a(d  " ;dhpt H l    P(p((809h:PF\G\H]I]PX]dY]p\]]]^^b_c_d_e_f_l_u`v`Xw`x`yazaCz3-devel4.5.0+git.201703131.1Development files for Z3Developmnet files for the Z3 library.Xbuild32openSUSE Leap 42.3openSUSEMIThttp://bugs.opensuse.orgDevelopment/Languages/C and C++https://github.com/Z3Prover/z3/wikilinuxx86_64:CL5t.X~&_8  x4 A큤XƪXƪXƪXƪXƪXƪXƪXƪXƪXƪXƪXƪXƪXXoXoXoX92cdf086c642ed1e7edc6069fd00e45147ec3ddf6c5992b47eff7854642b959114ce73e0147693dcf7ece1dd231b272307c63f84b6ef6a156b91be798b00d8c45ff6361b2a885f246079c853f6de2a7c5df7eadb2857ddc5bded56f69bdab74488bb63d8b6df5d21132142f0910306fc226c2a9d5d2e276411c074c4be5a2de0c3398f502d9f6b65e3e141a9311da6e2ad80b9be462a101df098a13031ab07ae91a0c7ee25db9cb1fe2b3d9d0c5345bbfce007e7ddc0b20a6efc3438c862a68fb59e0b219892cfb14e7f2d44b7f87ab0ae9f22766c5619fa4d6bf0b09efdcdc13d9e8df2f4e08e546448ff5288f0bb71ebe8dda28208c609a3e15a112c620460libz3.so.4.5rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootz3-4.5.0+git.20170313-1.1.src.rpmcmake(Z3)z3-develz3-devel(x86-64)   libz3-4_5rpmlib(CompressedFileNames)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsLzma)4.5.0+git.201703133.0.4-14.0-14.4.6-14.11.2XƉXqX6@X>@X`@X@WWWgWWVaV@Vjslaby@suse.comjslaby@suse.commpluskal@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.commpluskal@suse.commpluskal@suse.comjengelh@inai.dempluskal@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.com- Z3Config.cmake is not needed anymore - Update to version 4.5.0+git.20170313: * Fixed utf-8 version string handling for python2. Resolved #787 * Set soname version correctly in cmake build * cmake build: set SOVERSION to include the minor version number * fix overflow exposed in #880 * Thread labels through tactic system * Add basic Sine Qua Non filtering * adding parallel threads * Fix off-by-one bug in array indexing in the OCaml bindings * refine parsat * add const & * Introduce and use labels_vec * ensure that parallel threads are only invoked when thread count > 1 * add name * delete comment * delete unused args * reindent * use insert_if_not_there * fix issues with running parallel solver: random strategy should not be a default on all solvers. Also reuse base solver * fix bug in propagation of parameters to combined solvers * bypass combined solver when logic is set to QF_BV or QF_FD * bypass combined solver when logic is set to QF_FD * move exchange par * enable pb theory always as pb terms can be introduced during transformations. Issue #884 * use is_uninterp * correctly pretty-print * add and use new is_pattern recognizer * add par_or tactic to C++ API. #873 * fix bug in lexicographic handling in maxres: previous assumptions were not committed in corner cases * Fixed signed/unsigned warnings * Fixed model-converter segfault in ::check_sat. Relates to #881 * Fixed model-converter segfault in ::check_sat. Relates to #881 * add itos/stoi conversion to API. Issue #895 * fix model generation for non-linear expressions, reported by Martin Suda and Giles Reger * expose numerator/denominators for Martin and Giles * add missing mod/rem/is_int functionality to C++ API * make parameters accessible from expressions. Issue #896 * add par_and_then * use non _ method from z3printer module so to be resilient against how _ is handled as indicator of private functions * add recursive function graphs to model, adapt rewriter to bypass branches whose evaluation is redundant * add octal escape to seq_decl_plugin * C-style octal escapes, including 1- and 2-digit escapes * add _re.unroll internal operator to seq_decl_plugin * expose bounds as vector expressions instead of containing ad-hoc expressions. Issue #911 * expose bounds as vector expressions instead of containing ad-hoc expressions. Issue #911 * remove unreferenced label * fix type on exception message * fix unhandled finite domain sort rewrite case. Issue #918 * Java API for getting the objective value as a triple * Sane indentation + removing extra spaces for Optimize.java * Class Optimize#Handle should be static, * fixed bug where `mk_make.py --build=...` would fail to handle absolute paths correctly. * Free allocated char arrays in JNI API * [CMake] For single configuration generators only allow `CMAKE_BUILD_TYPE` to be one of the pre-defined build configurations that we support. * add boolean operators to zstring and fix ostream * Tabs, whitespace * fix bug for bit-vector optimization. Issue #919 * fix bug for bit-vector optimization. Issue #928 * ensure evaluation of array equalities is enabled for external facing evaluator. Issue #917 * check that formulas are in lira before invoking qsat. Issue #919 * add notes to README based on feedback in #916 * remove scratch notes from readme * include recursive functions to models. Issue #898 * remove print breaking build * fixing build break, adding fixedpoint object to C++ API * adding fixedpoint object to C++ API * fixing build break, addressing #935 * z3py: With tactical should not try to use context as a parameter * move restore relevancy until after literals have been replayed * [CMake] Support including Git hash and description into the build. CMake will automatically pick up changes in git's HEAD so that the necessary code is rebuilt when the build system is invoked. * [CMake] Implement generation of `Z3Config.cmake` and `Z3Target.cmake` file for the build and install tree. * [CMake] Python examples should only be copied over if python bindings are being built. * [CMake] Build `c_example`, `cpp_example` and `z3_tptp5` as external projects. * [CMake] Fix typo handling OpenMP flags. * [CMake] Fix examples linking against libz3 when it is built as a static library on Linux. * [CMake] On Windows when building the examples copy the Z3 library into the directory of the example executable so that it works "out of the box".- add Z3Config for cmake- Update to version 4.5.0+git.20170126: * streamline logging in arithmetic * adding preferred sat, currently disabled, to wmax. Fixing issue #815 * make a few functions static * remove 2 outdated comments * add a few more statics to avoid symbol clashes * Re-added context creation locks in the Java API. Relates to #819. * Bugfix for model construction. Fixes #828. * adding range to C API. Issue #831 * add range constructor to .NET API * add regular expression operations to C and C++ API * add regular expression features to C# API * add missing complement * add python API for newly exposed regex constructors * exposing regular expression features to address issue #831 * produce error message for cores with optimization. Issue #825 * Whitespace * Bugfix for special-case handling in fp.fma. * fix bug in encoding of axioms for indexof. Issue #806 * Bugfix for special-case handling in fp.fma. * Build fix for C++ example * add virtual destructors, fix operator code for API methods complement and intersection per note by Loris d'Antoni * address #835 * address #835 * address warnings from #836 * add virtual destructor to intermediary class in case this helps for #835 * address other warnings per input from delcypher * bail out on failure to properly project * bail out on failure to properly project. issue #837 * remove nested booleans during pre-processing. issue #837 * add suggestions from #835 * fix bug in handling of repeated soft constraints. #815 * Add rewrite rule for property encoded in #812 * Fix implementation of `scoped_timer` under Linux where it was incorrectly assumed that `pthread_cond_timedwait()` would exit due to a condition variable being signaled or a timeout occuring. * handle model generation from issue #748. Deal with warnings from #836 * Build fix for C/C++ example programs. * Style, whitespace. * ensure that FD logic understands pb from command context * Making z3 python look in its installation directory for the z3 lib * fix generation of wcnf * Build fix for static binaries + shared examples * Fix for parallel builds of the OCaml API. Relates to #797. * Fix inconsistent emission of OCaml enumeration files. The ordering of emitted enum values is not consistent between python 2 or 3. The root cause of the problem was a dictionary's keys being iterated over which has no defined order. * Refactor `mk_z3consts_ml()` code into `mk_z3consts_ml_internal()` and move that into `mk_genfile_common.py`. Then adapt `mk_util.py` and `mk_consts_files.py` to call into the code at its new location. * Refactor `update_api.mk_ml()` so that the source and output directories can be different. This feature will be needed by the CMake build system to build the OCaml bindings. * Fix issue with bd1f07f864a7f1790cec08a306ccc17507f7e5a8 pointed out by @nunolopes . * remove sources for unused variable warnings * fix debug build, unused variable warnings * fix build again * Add -fpic to armv7/armv8 build * updated encodings * remove redundant disjunction in compilation of at-most-1 constraints, log mutexes * fix missing else reported in #855 * improve parser error message over API, streamline names of statistics for arithmetic solver * add restart.max parameter to control cancellation based on restart count * initialize watch in assign_eh * make get_consequence call skip check-sat if a model is already there * enable incremental consequence finding with restart timeout * Fixed initialization order warning. * add operator for issue #860 * allow disabling exceptions from C++. Issue #861 * moderate exception behavior for issue #861 * fix bug in antecedent collection for consequence finding: once an antecedent is set, it should not be cleared * add at-least and pbge to API, fix for issue #864 * remove polynomial factorization as suggested by issue #852 * Removed polynomial factorization test cases. Relates to #852 and fixes #865. * GCC compilation/keyword fix. Relates to #864 * update CMakeList to remove polynomial-factorization * Formatting, whitespace * Added option to extend unsat cores with literals that (potentially) provide quantifier instances. * Cleaned up #include in api* objects. * Formatting, whitespace, and Z3_API annotations. * Bugfix for smt.core.extend_patterns * Omit '.dll' from library name for DllImport. * Mark void DummyContracts as Conditional to avoid compiling their arguments. * Corner-case fix for smt::solver::pop_core * Update README.md * remove unused features related to weighted check-sat * Added win64 build badge * Separated win32/64 builds * Added MAKEJOBS env var to mk_unix_dist.py * Fix unsound handling of upper bounds in wmax, thanks to Patrick Trentin for report and careful repros #847 * use stirngs for env variables * fix crash with unary xor #870 * fix memory leaks from cancellations * update macro_util logging to uniform format * build fix * Added (include ...) SMT2 command. * Added filenames to error messages for when we have more than one file. * Enabled filenames in error messages during inclusion of files. * Updated cmake build * Windows build fix. * Bugfix for macro finder. Fixes #832. * fix bug in consequence extraction: the order of bcp is not fixed between restarts, so the order of unit literals may not be preserved. This is relatively rare, so we optimize for the case where we assume bcp preserves order (and maybe miss some consequences) * Another fix for #847. Reset wmax theory solver state between lex calls, otherwise it uses stale constraints * Added .NET 3.5 solution/project files * x64 build fix for .NET 3.5 API * Windows build fix. * access parameters from Python API * Added option to limit the distance of unsat core extension through patterns. * fix test for int-value * fix regression for z3num * fix bug in sat-simplifier decreasing heap values of variables that are not in the heap * fix part 1 of #875 * add warning for scearios of #876 * add format #879 * rework sat.mus to use restart count for bounded minimization- Update to version 4.5.0+git.20161129: * remove legacy interface to dt2bv tactic * Fixed potential problems with invalidated iterators. * Fix for previous commit. * whitespace * Silenced GCC warning about empty loop body. * local * fix mutex finding for smt-core: it was returning mutexes for negations of literals * Bugfixes for the FPA API * fix at-most-1 constraint compiler bug * fix at-most-1 constraint compiler bug * add bounded-int and pb2bv solvers to fd_solver, use sorting networks for pb2bv rewriter when applicable, hoist to pb2bv_rewriter module and remove it from the pb2bv_tactic * add example to exercise at-most-1 constraints * add documentation * add missing file * disable local optimization in presence of non-linear constraints, addresses issue #758 * whitespace * Added accessors to extract sign/exponent/significand BV numerals from FP numerals. * Added functions to test FP numerals for special values. * Fixed FP numeral special value sig/exp extraction functions. * Resolved rebase conflicts * Refactored FPA numeral accessors. * Replaced antiquated header with modern equivalent. * removed unused variables * fixed GCC build issue in tests * a more efficient encoding for pseudo-Boolean inequality constraints into bit-vectors * merge * fix incorrect assertion when checking signs of literals, exposed by mitls regressions * fix incorrection assertion when checking signs of literals, exposed by miTLS regressions * remove dead (and incorrect) code * add handling of pseudo-boolean inequalities that use if-expressions over Booleans and arihmetic instead of built-in PB predicates * fix sign of constant in pb constraint * removed debug output * fix for biased flag on get_numeral_exponent_string * fix for Python API installation * fixed initialization order warning in pb2bv_rewriter * fixed unhandled case warning in test/qe_arith.cpp * additional robustness check for incremental sat solver core when it recieves interpreted constants, added PB equality to interface and special handling of equalities to adddress performance gap documented in #755 * fix unit tests for pb * disabled unnecessary assertion * Bugfix for Python API. * Marked .NET Z3Exception as serializable * Fixed FPA unbiased exponent accessors * Bugfix for bv2fpa_converter. Fixes #767. * Added FPA numeral predicates to .NET API * Added FPA numeral predicates to Java API * Added FPA numeral predicates to ML API * remove conflict on false disequality, introduced regression * Added Z3_fpa_is_numeral_negative to FPA API * Added is_numeral_negative to .NET and Java APIs * Added FPA numeral accessors/predicates to Python API * speed up consequence finding by avoiding local search whenver assumption level is reached during the initial phase * fix enum2bv to handle singleton enumeration types, differentiate disequality conflicts for theories that handle disequalities vs. theories that don't * rewind qhead to ensure re-propagation after cancellation * catch cancellation exceptions, return undef * fixing cancellation code paths for inc_sat_solver * removed debug output * Build fix for libz3.vcxproj. * whitespace * Bugfix for bouned_int2bv_solver * ensure that variables passed to consequence finding have bound constraints, if applicable. Even if those variables do not occur in the constraints * merge * fix performance bottlnecks: gc of literals walk through potentially huge watch-lists, avoid user-push/pop around calls to solver2tactic * fix memory abuse in internalization in inc-sat-solver * remove buggy and unused equivalence relation plugin. Github issue #770 * disable sat solver when proofs are turned on. Fixes issue #768 * fix bug in mutex extraction, reported by Patrick Trentin * build fix * bugfix for disequality propagation in smt_context * enable unsat core extraction in nlsat_tactic * Fixes for .NET Core build * fixing unsat core extraction for tactics * fix evaluator for array store expressions * remove recursive expansion of else-case * fixed log output typo * Added signed .NET assemblies in unix builds * Whitespace * Disabled some ITE rewrite rules that were applied by default, but too expensive. Added re-computation of subterm occurrences in ctx_simplify_tactic. (Performance fixes for QF_LIA benchmarks). * check for logic in solver * fix generation of fresh constants for uninterpreted sort in EPR, Issue #649 * Added release notes for the upcoming 4.5.0 release * fix crash in poly normalizer exposed by qe. Issue #775 * Updated optimization ML API. Addresses #776. * Whitespace, typo * eliminated unnecessary variable * fix breaking change to theory-seq * Whitespace * Whitespace * updated release notes * added is_numeral_negative to ML API. * FPA API clarification * Bugfix for denormal numeral exponents * build fix * bugfix for macro finder * detect quantifiers in model expressions to quiet down failing model validation * Include Python API files in distributions. * Bumped version to 4.5.0 * Standardize on __uint64 instead of unsigned __int64 * Bumped version number. * [CMake] Bump the version number in the CMake build. * fixed hard-coded version number in setup.py * Whitespace * Typo * Bugfix for Z3_fpa_get_numeral_*_uint64. Relates to #570. * Bugfix for Z3_fpa_get_numeral_sign. Relates to #570. * typo * fix crash reported in #784 * Fixed problems with aborted rewriters in theory_fpa. Relates to #570. * Fix cleanup/initialization of sat::simplifier. Relates to #570. * Fixed compiler warning * Fixed interruption cleanup bug in sat_solver. Relates to #570. * Fixed potential SAT solver cleanup problem. Renamed functions for consistency. Relates to #570. * fix lexicographic combinations for wmax: pb constrsaints were not interpreted in Boolean benchmarks. #782 * make semantics of extract/substr deterministic. Issue #781 * Fixed Windows distribution script. * Bugfix for rewriter exceptions in theory_fpa. Relates to #570. * Assertion fix for theory_fpa. Relates to #570. * improving perf of mutex finding, revert semantics of 0 timeout to no-timeout. Issue #791 * fix perf bug reported in #790 * Fixed interruption/cancelation issue in rewriter. * Cleaned up hacky rewriter cancelation fix in theory_fpa. * fix and coallesce clique functionality * tune initialization for wmax and sortmax * fix bug incorrect clearing of goals during node creation. Issue #777 * fix unsoundness reported in issue #777, disable ematching on recursive function definition axioms exposed in #793 * Fix GCC/Clang compilation. * fix crash in new clique code * re-enable ematching on recursive function definitions, disabling ematching breaks regressions * Fix for the documentation scripts. Fixes #799. * Added optional synchronization for multi-thread API logs. Relates to #798. * Fixed OpenMP problems in log synchronization. Relates to #798. * fix handling of AC operator ++ on regular expressions. Issue #804 * fix warnings in configure script * Do not request time stamp if not needed * Fixed iterator invalidation bug in SAT probing. Relates to #798. * optimize pattern matching code generator for DAG patterns generated code now uses COMPARE instructions to compare subtrees instead of diving into both subtrees. Code is thus smaller and fails faster. * small optimization in compilation of multi-patterns also make the path faster for single patterns * mam compiler: move reset of matched_exprs cache next to code reset * blast distinct in incremental BV solver- Update to version 4.4.1+git.20161018: * adding enumeration tests * spacing, unit test * Bugfix for bv2fpa (model) conversion. * Removed unnecessary variables. * [CMake] Fix building the Java bindings. * adding unit test for enumeration types * Tabs * undo breaking commit * Whitespace * Fixed iterator invalidation bug in theory_arith_nl. * add fd solver for finite domain queries - remove link-against_libs.patch- make -devel require libz3, not z3 - add link-against_libs.patch- Update to version 4.4.1+git.20161007: * Z3_query_constructor documentation clarification * add mutex pass * Build/test fix for python3 * Test fix for python3 * Added dummy code contracts for .NET Core/CoreCLR builds. * Remove unnecessary "unsafe" qualifier on internal .NET API class. * add mutex preprocessing to maxsat, add parsing functions to C++ API * add example of parsing with external declarations - Speedup build by using ninja- Update to version 4.4.1+git.20160914: * addressing max-segment issue for AMD64 + Debug * safe sat clause_offset in debug mode * safe sat clause_offset in debug mode * fixes to consequence generation and cancellation * move from uint_set to hashtable over unsigned to save memory overhead in consequence generation * ensure stoi axiom even when no value is present for argument. Issue #731 * add missing rewrite rule. Issue #731 * fix heisenbug, unintialized variable, issue #720 * add patch to deal with bug exposed in issue #721 * fix regression in seq-replace rewriting * ensure that status is displayed in SMT-LIB2 compliant way. Issue #734 * Create socrates.py * remove special characters * Update socrates.py - Rename python bindnigs to follow openSUSE guidelines - Change _service to disabled to avoid unnecessary executions - Small packaging changes- Update descriptions- Update to version 4.4.1+git.20160717: * fix bugs exposed in #677. to_int(x) has the semantics that to_int(x) <= x, and to_int(x) is the largest integer satisfying this inequality. The encoding in purify_arith had it the other way x <= to_int(x) contrary to how to_int(x) is handled elsewhere. Another bug in theory_arith for mixed-integer linear case was also exposed. Fractional bounds on expressions of the form to_int(x), and more generally on integer rows were not rounded prior to internalization * garbage collect all api::object references when calling del_context. Request issue #679 * add proper garbage collection to ast_manager. Issue #679 * remove unfinished ite-macro finder, tune ast GC to ensure nodes are roots only once * fix rounding mode for pseudo-boolean constraint creation, Issue #683 * add object z3 objects to target context during translation, to fix build regression failure on z3test.py * add tptp5 example to cmake, adding output SZS directives for Geoff * fix ubuntu build failure * mark also ast in parameters as GC roots. Issue #676 - Use cmake macros - Some spec file polishing with spec-cleaner- update to 20160717 * a lot of changes, see the repo - remove CMake-Provide-a-way-to-customise-the-install-directo.patch - add remove-timestamp.patch- disable build of examples (unused)- update to 20160309 - remove: 0001-cmake-add-base-files.patch (not needed anymore) - add CMake-Provide-a-way-to-customise-the-install-directo.patch - correct packaging- initial packagebuild32 1490215862 4.5.0+git.20170313-1.14.5.0+git.20170313-1.1z3++.hz3.hz3_algebraic.hz3_api.hz3_ast_containers.hz3_fixedpoint.hz3_fpa.hz3_interp.hz3_macros.hz3_optimization.hz3_polynomial.hz3_rcf.hz3_v1.hz3Z3Config.cmakeZ3Targets-relwithdebinfo.cmakeZ3Targets.cmakelibz3.so/usr/include//usr/lib64/cmake//usr/lib64/cmake/z3//usr/lib64/-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/4902d16db90428b7558c89eb9bb979f2-z3cpiolzma5x86_64-suse-linuxC source, ASCII textASCII textdirectoryPܻxܿD?`] crv(vX0C(i7N!.,iM Ĕ/y;]ӥկ] @kɝI^DCkӔԋ$2BjȧZcIXQEb9rZƷre,~Q'-nC:p VBk0Z^mL1-@}g1>kCƎ3̋rn(#F !) hOȺ?uZp99Jr nލX5bRf ])U3JB( :gL2ێYÞO>6ka\ ij R_\Ew$/cM(;/Yd19leU??DؾkHa Zf]Yd[^m׺JϚ4/b ! jBA be^Z[7.s)Ҳi!3Ǫ}Dː/8֔8C,hvJ !%m̮Zv]Y}6?z0M@\!CA4rsb,qM !p&UqB*, $3'@qeٻ:O k؉t eRw-}kF)⠗qAbblS &?ֿ;OSR=L4jǢo#HEU[P2~>&xx{˴} PI;o  ~-gw؂Hf痧P&  -S i"3u25vPN=S?)mfb;,V0EZ:ƌϠL iձT ?צ_ KLmyCjyEQ0ț&PZ!}GokR^YT)CK~IqwZ*>Q_S#bBN[ `xN?jrsnlЗ)JXV)d1h3@nInT\ְJBoW?! [8&w+oиQ`IɪVR;ҖȜs8W`wQT+LsD$8' @ {G^3yR@N^Cc bP4O\'򘬝$:ŕ 3LJŞAY?Tfa~mKחC/3P oH_(;/rK>0pXv5ryu= 3B Yw}-K\vG>s8Љ/F'uNHPN"'ݎ!W lUOѻvTd-TCeϋjYK_ hWSGz:Ƅ}."bp;N5C!UhU *_\N4U]{^z%s ߃9$^+HF(q;i.UM|;"Q:Cgzu4y-V USoʕdK{sukGHXOŲȟCF5Z(W4.Z73UR'Z咗o\EIg]65luKbNU˯}\R1OTJoLVr8hCO\3k憫5G H%TN-yoCaZ̦dʸrxۚ647OXps\0arS-̈iHsL \ű(~*?N,NN< n_O- (,SdNDZQ_>@<<,DlIh=7|ӅYScWSHj4'Zb"M,˭u+%ZiFs`(Oh=c8/A5v\lh?bHe 25"׊ژVɂaaB7c6f2t^}h!_ck?4ԿG\ܿjx˜Uy:2(>k}Fޟ/RX,_f,7ŵJ08A<q>0qz)5R[LPO(KTGމ9 hS#Dț-mBc_1uߓQj_sU|>KXhKqg[$PC.8xclKVior+hD-mX k#.=vWoPtjʠIJdQ;!'ZV:?K;429lP-Z"n$HNJ9 -PO߫on7f-btE\ )cbq76M5ꨀCp'bTs$txo:Xڂ:@ d`sf݄Ra$▇fg+WcEқDͩ$txZa*\Q*,I ƜW |#]>ړى-G[pS$둷3`ǂ8`Q*0G [5h͛ekѵVκj+J ۰qj̀qFA3moB$n"ɰI[DE(&}&O8x)cd) V>{omj8X( mk#Ԛc;8\%^ЉF-g䭒4ŎߙB\]!S&mB>nTf9ݕMNGʌs}=WOH,ĈqMVA%%>EJ=z,ĉ?AQ:d I@ݷ `fUu$t\0Xc9 F9"nl yGvv yx3:s뉛7HȝA AtWY gmtmwuv2ͅ9Vy*i.Kkm>lxn=gijꧠn YL ?iŹM.'Fs@n*Q9,Hv<?B5 B^%gd!JQ~N%;)pIr&@xh s.GfP޲Lz7\5/Z#Cr眕RNJ2σyD+}x[V(2BuFI,+5‡0ZƲV-f275 =:اГMP{, c̩#p@,&t&!p؇x8xU.G{h]}d9vX}4IlE"`PupJKn cnAP?LL9BYұL_9H7k'}U)Z$ Jhlim;n= ҭQt C5㎈:S38>B͓'z]0^!W`]1?J!L0cwX?7;vC<9ct-^rAwқ+纴yD9< ;1mYs>PzO`l2_K;ç$Źӟ-,wC8VٚrrG~S!; EdR3 l)d=&}- ԰TbޱF=q]RBc y_"WbB;hng1 %w'R7ִCuʲWA ~MhtA`7ƵirTwy W@`Kl@MA[c!L@3_o0&@li1"f c~wOY=+g5HOT bꋼ|đ% v`C6t#^1G'z= gT,a[ug8ݵf­F|`d+m]AMp]dn͟1Fb|3_~a^SZ҈-RWA(]dqO :նvGE@a*-!݅WGцAH# O`zö:TCShͯϝ:?B% Q]Mc-guEn1WzE,~LkT7 P~.Ek T/k-|tW=&= h7g!j ߿|:0(Qf&ΉzdY&; uѼ1PK1𗏋 jMjh}m/20AFWݽ-& 'Xg%scD>1s8ިOMP2t]s4w e#Ώ2O R&ЛvPݮl~Xh,#5yzqԟyD)BVLJe4rA7gw b+ D OXtlߪOl֗P^AsM,l>#M>Ҷũ/MCڹf:!#Q͜H=N7"^_b])}N9OAh.Ob`Dq9N{Nb/r4ٴ0#yRWCV~AA5?1WUysy! R8!Bu˖~c*g#$r}.i̺h Ë\^s#@S-j sбgQ9N2VʹosM@d Ҧod?Ab$8[)Йap\WNFmSg m$ 46NeR״˛:YZYfayX:+u5LoԖDa;NXKvyhV"WZmS|˶訜G\[^LAGKI?Nmk\M>lQMdՀv |=ܤJ/H@Rty1xˑF˜k{G>MYsaQ:^7~gIӇ׮jA H/{05T0c kL )}L]ɏe%P9P+cֹ>} ; y˽;hV5jV QjpLԸV4\鬾\ O Qwb,=4;V)!i] Vj%ppigؽg jĞiDVQ6wɺf*_?A^$%̓oΧd"؛OўR-_,۱1fҍB"xE{8E8 ogNk￞PP")JH΃cIx ci=Τ6l8Qd?-4Qu/&f~Ec< 4MB5=/"DԞ-ycDxLHfWGl}*?K#"|fMXb Hro"9n=ƆyyN7!aF3 a]\JNHJA'VzŒ^Wxb<^bK{DIQ݀;iV"*a~DX5DK|L=[ut@;;a J⪊$ EpHڈr:˴'N$ 5P<" c^1ՃZ o٠!bј+̚Ϫ PSaBY62tSAA j8ݴ2TsW{p[уC7=dK0,RR:5%5i9p\ !Z'3TtÞ ӡ ϔQ;_ܖTs=%ߚlKfxo% e輤nW~$б`慩El)BA]CC[)emجoLIȐ-,l2({1viK$uۈpK3ٜ2D63mOIqcxFSYJ}::m`r[dw^3k:ܒl.O/)b~*Pfza-ly`v84Q%EE.w߾Vrt}k%t<,3,}bq*z;^bB }%IbN$w5i%Z|;n< ZM2ɃbQlf(iI=č.χB};sFX]F$"<0vv=ΧaFX;k{BjEMg/uK +/3|A*=7[\e YiP6tV^jմO84Rw9`jDN]IIP09[M$>M)3#FO, sN33f[0VZт0TKk#SV ;$ `@ `&P_ϒaKXiGԌg_Aaaf8  /#y@<:cVeA8FE0\nˁ߶BLQfzC,=Ki~nZG1x` G=> :)t]׽/P~;}5ICYM Gk2Xnt&96TN&} MG\gׯKXETq?<o}$/re 0t:%|Zv% (JR섟ϳ=Z0  yMLJ(rDi%xw6ֆf)-ȋm+uHVE5(jȂS"!e8} ؈,{}䷩5'~V}v0[9܅}9G,$ wy B )Pܭ5WzC?t@B7j?/bOv #\wu׏*[iW\d59'il$/iȔ-m!<6/%%)|$k^嫥YZ/؍T&f[1K(\LEm |"3wd"$Am{׼v e Y_"=n5ORdVqƤs<, ؔGXIo,v% t/&}-)dz%~YD;fo`L'3pMoghmĽ(TڿA~y› Fcg?D 1^C.nF (Xn6rݬ"cN.N|$@ny^GY\1l2&!J3&hPNL%Y͊YUJSffD5#3gLmv29wr *Ko"/]DU⏀T?c47oz`7/Zrihl\q&ډ51˜4NS& d=k3MSi-'j&=|ٻ&I@(Wڣ XȽG͙4×>+}QX_` z(o"G(7YXx a6uW {nUś/t݅1fJ97{GԐeL^J95n;!*A3Ҽa~AN~I+knxNdE{+ і>)pr<`AppsǏ!0t+EtӾX+ \|  }(YDZm9VBxz4$Bu-i׿,y^VR;l\ 7VG*b:?G$Pk ld(71r<Șy+ˢF;bzދ̕ECoL {Z5C|EdK]1e>öSۍlgLV#hIKj$!Pp[FWf9NSeroq^+)}o rG7%G4ЙΡ%x;&,O~(nJxs=&nja3lpyC)UL۾{6#^N ~^ pe`oLieꥅ?nק)jsH1MFozV pB!$3.g?D%CGZcwեT/[mCdGYT~p(@+ mp @@pȯɿ,"5yDץ%jl)g;ؖRd{n6:3!)ÄKXX/Bt' ᴶDS^ͅ=ݩ Aa;_3s۾~@^L2_4 tU;c_d?)LY,Pi; e߂,Q荺J+,'E*Z)4\ F$**0Լe" ZzN܅4T*nHN џ]Sӄ>ݨ6G %1jf~X5*!#yʳ[NDBmhH4]amAf rGU n+in۝>*o /T>Cu]i rZmT@JX:o0_Edfζ%D.z9V[o N H)~<!]`*Oov;t3eH-e,0~a(ԎѭY:vB~X;ͦ j9::Yjoyh(WcH$<3JN1Zs4h/(g&K P{aXGSd Xw׫D9lު7jyI~itCͣ8ضǺ{=ѱ;I+!"Y)3#mr)e;g-0yAtC*NG-J][ M4?穸m< :DӃs9f @ ܋+f2?\tF6;66Ӱ9v߱(@Sza6W)082/=јM ʣ- aAZ;bb/{3p_q2 ۧuS%S|4]$Ɨ01{U_o|oA̗s8LjПS.SdL}(cա+ڠ8@Yob# j5lաSTȚ(V(_L =AbEP ?J5iJdL {תǞf V&Ւ̊DTNW$zDXnԳK֭wOC@9kܔ@?ၿJ2K88^h(Ea:~ʶ$Yq\f.r&]@,uMHCAikKIk_U83Gx[b} ܁m(',}5>o\]Z[,u-cYu#=~R.,K^I%=/뻔hf{>.U9 4Jbh&p\I'a 2I\N6{n #+ʡIܸ^]eƓdɲ1Dŵ5Ɖ3{ayV&0 kY?a,?gv{#!0GkɈ5-u(\ ΣC1 4 -KR$,DS-E@2tj [bdnJTcۂ8b(0j *;u)CM`*Uz3d\ >7 nO2\]E| ǠŌ\>?7Fg^?VI՗4+}i tP- 'oaɣSNhKX!c2]Ca3nSn0 !:q+ rOtp&傷VV^j'֜j3'+rEFfI%SAL,WuHԯzm@ePKw}wTbhM{8=<+9u;n#&P8ŧnj|VKTg.[ްAq`3ؠRU ij++|]m;=U(nя#2K)MM 8po-@~z4XW}C y20A Q'oPĮŽ̹+(HEwܳ8oUM-2*UO;'O&Fa3œr}|BX(c82kU?p_'kY S+$d0˼hhypt]QN Gq~AdZ'/8cӲ1:{y *T7KUɬת[vv]&ғvM6wpcyWw%.R"^gnYJi5c[ (>sYE4 j1ph`ب[pn6Ei&_9j%x!'NF٣ \D+$N9?ִ,r  vqU{qucÀ,aЉr ӗ 6s:17{0 u@e2__!']{^V/a0p^;:wtNkfl\K5iWF22 e=;ENj{}VUC)K*M,#AVB`tv@!dvHAJA9Si)$CugRJ@֐,Z?<]j/7ӪL<`}KK{t(/]}b{m>aB ؕ _k)C5 I4JgmNw֢ "OQH`‹"~]Iz" w^d@mǶb BVWʢG']t`7V]bL~CzaOrTZij8D0hJP_l1--b;VNL mUڦ !yFz@+i;1il]Ӊ螒+8&@P>, Qij 2Ad4zV^MtvF̋$P.gf 0nOxhXamً=U gdkGP;Gx.XqfrF3iBvvVk;?OXm""xCwEyoc'BN!8AoSBA{EL?s )TU60nL%*!$yU}W=obˊj5PiWuU>+G6ho'8¯510v:7zpv%ea36sXoAؗKKՠܧ\FY耠6Ra SDdS~/GA|4y+;:5Ŗz<LO;Xtckܴ:1(]?"7E<6EJ<:( ,PITx="wZUVu{G06TpU;.0ӠnškOzrw&$(2'耗6wcuE$ΨUxA3b*yPp pXV@aJ|@ʯU)fV ;wT3 u@^=r0A}I`4FM \6E5 ݡo{w 7ᄫh#H 2Jl 6K&X{9Fr|d_T7q'q`ܠ͢?)/%r_'H@ARnL)I33ڇjAp[S)YX(aiɅLsdA(B)REo.ƠKgݧ;6':~(,c'19 _+Tvma#Ū9_dP+p@X d_mw6t9ǰ%ӥvSoQa}Y0'\n◈?w WwtҤF)њ)= ٍEBwVܲJ`7YKAW"(>VY3 <.r%7A*3@: 3D󍶽uϫx9ʵ2<ŧ8# )罺qO}wzݸN{(L=^@aも;Ѳ"~I?i:st$I[fdV[=sc}cElSϋHҷbђAg=P`8.P \1渟K{C1$Σ.Uo/*aaj^ȪJ$T;E{ njx3v>FWi)PP6;Vjy i4n'wv]42lbq)fEܵ꟒RHkMLߟwNmbԿg(<Ӕ.ph44ߩ"AԱES 7||d^V iy9T砠-3l} ~q|[U=ިlWUż hyn]p+ ?ÊotӻcZ Jcrz(/-Z*{BѺrX+`(/I}vsZ Fai 6*)p屄aDMN9lINU 3yҔ| tBEG\BEBT>5ӊVi*b*'cO:a(bӠ~QƊVRFO+`(@/ہAz/z䰷uT8y^rm2c2j̈́ /^0F})Bg6B?5cN^;U}5Nd^j´l]+n; ddخtm~WY+'ebg51Nwǥ]JԋzJVnՀ7/|8zi#ue}9Ÿ́|pM+sH<7aֿ;C~Pqg 㖨RQ޺v<\Q%cDP=9w'P.CRezۢ|6Nrst<NQT(L~Jm6#_X-(# Yۊsnisb7PV$T^,by(T/4( ڏLՊЩjV*(^\awIV3oXK=ҿJ^(N>E(XFgŁ{}`T}f!SSω3E&XX ))sG]uM]N!oD ge#R$qTJ4 :O_/fC5Ƿ\O*jܑnʼn}K>.8ڬ8@-26ѣvz%yZH?R-շ~4Qr +![pe(?@t ]G % *6P?ΛO@h(噩9{*;}פ^!(.80- 4fC>7)IC :bD[i@Ȱ1>-GbmM梁RlkWHe:oa1#ZEV%:/`(ԃ`\_& = 6DSMuxib X]=5*p^+r _$B^cyR2oG,mDYI74Ro=PO AȞCXGXϑ:1.) CB/u=W^޼FQb7VpXFS_cM"D?Z?"XKQ[5r:©%VAA6 m Ud?[K@U?hcAt+~ndM&sixtu-SOoZ V׳|  /;#{ث;!aQ}tfӯUaO+놖#[<^"YӼՂ"$+kt% oщ 2IDmO U_956մjH@Nκ^"f˙#6 W9dJ4lJG\Xk N)1ii-O/T5$jL %5½EtLy8^f*(qdL~w*_CSryvm]Yũ|9P܆(4AhIGHqƮ1Pd 'RW+zjB=Nt-=E.J-uV h< E1]`J("3VF;jzd buQ*fc:8a$* ^qӰ]PwGyMJG!>O5%b=lK{ܻNZq' :WFgVQ(x=}Ѱ:9]6|cQƎ") :zd&>թwZo? ^ۘs{ 56Rbt^!sq&>^pZ@9 07%2 \VZS6/o"RM;Ƨ[\[HK}q^/k|V:ՠ%4fts/qeK*KE\Pka+ӛv82M Bts P&P5,(f2LN{GiJ)|2*/tr$Lk\m]'Ьr&x PPM?u.~Ok%(pަ c}b+QJZBU.e$`WP=>ܕ$%Ş$#apmOB8 3[sT'EգW,!qmCf8t.2.{~E jXS65X`د^_z(k3LSлN4x>S\Dlj/qUZաQ)Эm؅SGyŘ~jg-OhIk7Kҭp> U?̀B,%:0Dpm`((i^VJKͧ꼲L'\+V2P5rf43Ũqqωo/3)?埾ۜw0oBXDt8`8/6YsY>0.`~sRu_nL%8V) $Mg83u ӧWioSbqa (.l<چ+@ц 7 eN؁푔ͦ ?G*`Qd Bat.W'ߑ[$J8,*rN>7L`59v( _H$\/"5AG hP3ѱ3oU,9->`$U%@;ׇDK}Õ :˚L K1X+e8' ëw ) I>MG7,]b$r Nѯ9oG4Z1~]9Vb Fk!z>`elVJ3O跍RU [!P ~(D^ZdB~G7gYuih:$ z`X.dT$!^C>/Vx-ʑ}'P_ i|홈6Sfϖ@N$bOrt2~m+=qv#C`Vj xogbeO~f.Y8F9vuMN<,1cҨ º- s3VLFlVzG=GЛӭjQs{Iw͂Ưcfӕ&(Y;L.S'*לy(pZ(4x&1>mX?dHkhJZ6uPXty#>Q6Yu Cee& \y@Omso5ጬ,GAY\{?A@@4,t2$wghaQh3Y.w԰(U5cL6SjmS[}:KnP:+ gB0HBک}*N-~1$LJutlAߣ||'zx&!mhAm{`EfLkn[QT?/̕+ TLPݨuLp;[4#Q,2YQG&uxnb|]R/Y/,%Z^9KC63ԄV#Q)߾A*-v2%%}LJY"ME#0ߟ!B@2XrN|񔚰P-tozd?16LdZ_}n0P y[ctUn$867uBds]\D֝gv3[K} V?3@^&I779n;RWűh8<2Eq_S ϕoKҪ]c5|c{ ޙ[w_睽@W( 8)d_"'xhM(~u=)tNֳ}@,r멙i 2^sC"Kf d ib%PzS=i}@8&b7xX`+']Z^oRSZخ3 $FdN<%PjM0y@gtG% \' TN9PUJ51_yd2 ?4BWоP$t;WY69kAikAڃZ&mAFzz'yl~uܪ(h`sIŲ3R0-^OiӬ2"B}ޔf)WuؽЁo{QdWPõDi_"kSq2V F? wcZ +<آ?L3&FLJW6_+CuN4M'/]DG;$S$cYb[(7ģ6p}d"7O8 v _TQh [®fhD\kq3A:]H& tAt60C;*O={\wǸ9ǀ  +g5{D.e_+EFVP4 f9+8z}V\g>"rIpƅ% U"+,kNp6;i"xb/+?0EW+`x_'$;B޺E0ЭY*؜?.h]fr+T?7!svr"/RgDEt ]j ?0c~]|f˺v7o e00?:76a[u=vou : 5 | eD=WAmLʼni(ݣctg!lX$̣sybj?_NX/3&}Q g]u(`C0<Ula=<@o0u?ǰ7k9H3Yi97txo`ܮ "l#Z kLyu&h >|;pvڷZFo=/ڧPN ;cJZ"?l\LN :+a;$&j;M}ƒoJ=ɏt7U-/͌^%F 3h`zWDi׶2Y @rpUܢJA qQ>?E̐ߙm2lg} RF!?pe5J3uCb:d C ;F dfZGC4P䶄T.SHYȣ}u7Wng"`+JiCL-^3s2:Gjңw5Ecs ΃7HTD n`ޠ\k7Rb}[' R8*`d16ɥ0f)!gQ?<^|K*6dQ`u4Ev{鮅?4TX[8+]Fy9CkY]̛}DF+O@qbe'JPtG`ְX$ir,vSՁ.pF@.qd Ӛm$F Yߙ;'<d`k"%Z|ߕūOxKf{19i&|({[K $6rRϿ޵Y0HKHBYcǙg,\šI.؁('ٮ@n`} e@݈J`@'[AV E<)cs{$,Dn8R >6j8!Fyҧf\FL%rxW! `8,J$EhSeH9=݄셖k&f(v ؜x$o\űRZf䲉j4[Y$rCu(E[R_XՒtB]+(=\cǓ.{Bj _ީSO/n79(dCvF͖!+^dARRPpGO P9҈ʼfa~{;{a#HYB:UP ܔrj)][KC`ETXOur"24E]rP WUM\3uypyyd®$DwɡėT(I.=gX9sή{/[%s^;I/_ھ5訮<?EWĺ^&+?mc\#^Z4.o\bN~KtWX.',ge6]-¹A\>I4Um&W|VKo߰h7!O/ѵs[->!4|^7p];ksL .KW<]x* fӧ?l `V*0Wx>āQqW񗉻 cOw/?`DŽh]G=)[ :"xBm8,36x_3tQ+s+bUZE]sgK؃}rS);Zh7a6ȠO2+B}rf0zdoHz!p߇i')1U{޾I M#)ϗKPˑ=lʒD}ln(b.Xg(+*bbDEK/ˍ4@viƋC*'}oF9ѻZ{;-eUǪl&R !b6j ΨiN(HOg洧a[[;uͨ{¦lk;9+GLal-b$w7j_߈:8%jSqYĘ'(B-ykYAbdMaݪoo x4?˝xve6/6J v%֙QWz՟/D49csX~CJ!z/7pbA.Wɲ;4Y3LQQx@, mvFxFϑ$j~=,2swCq71OtE64{`[N\ QǀcpͮF8@Z86SsPrHzʈd9cg̙țU'$sZ-_!J(d؊%`0щV%X-=Xi\H]V)잒SY6KtdȨ&MǺoW-Z I$5mcOIp1Ѐ82ւG|+vVJVk1OHYZI둱'﷤W$")UmБ@cJ,<AQ}pkq'Wgl]Fkg/)E Pi21Ut:Vdp2c'ϔoPkȫL@$(+ >(᧟X<+IcIp(AYK=;^^P{)XyQUy/xrV,G875!T斃pt(:7BFA˦LZyZ=a+:cWL MAd0NWFkhNF bhV3Sl=)Λͽ"2;_Y${C@,$)gEN\x @XΚz<`qx+ԋ`w= `Ү.Yo@d0(_a{?9]aVe"b ݯāNKd䬪q5^{ Rֶd~BZ"틱> )݅ dT8 j8z'}yõ0*J ܝ"Ke>cϝ-e'­Fp,LK^zDTͣ+j0rH 2Ƥ_V6^75KTfXd2P%uWnUmM3hi܏SK`ߙQa^ UH2q=DGdDxv26~G{l$TI.N0}3_DBVqaIJT փ7߇}lհn5sP#S7"[@qf-5Woczlc CE], o>Yqt*Nτ9WUq;_iydGdP^ЃҠTTwCEP ~BE)\U&F[/.N {["j>i`&јwI)l $L44y)g+.ϫcccͼ"fݳVGh8 w/䝱 go`a*ᦲw{͗-/$HTiжA2@*,Uۚ&[1>~5 ˭]8/dhR(Vhx5]\oTåDdžH\yKaBE0>8J5UA[@]{@=S;mi sѹֽmPF9sH=4&"/FM Q( -b{^ޛ_漕5W4 PO/yz|qiucn(?,r?sT BL0gpAe}`rΐ|NVʯ'K5&b*zZ7/*` ?W:mљu?gAY,6^cxEC!BeD<*Uؾ)]6A47GcgU l<'D22J hЎx#! v|j|޳g~Ko9j98+ۣ@g^ԚA)T3YZT1u/^!-гvw)åw>j‡ݽMs~s?崰{P`1Tlv:P8m(b's tjCF|^nZOFhAG=k'*$~Ծʂ<6*ܢeDԩ4gJJxѽJp*!&@(17$Oᷘ⋘BZ}}>Jcº$^biN<CE#yᢤ=~7,"!0)Cz&S5mǽx[$Jоt7{i"$|=po>Vt42&8<~LU2gj\Q DW!2{:CGr,#z Y7` -&ŵ%n;wa;b8D,Dk|@T@:PVE^h.])+ 7i5"O33wLt)pX`/#A:YS%or  Cp5ZL%DZUyU)}l:N;Sh߶^ aO"G'@VhE!WibhpC'NYgabQ+X vb(zR$ScE ;T8\Y J{˞Zuϭ5[C ;~8IUb :7IBs)[hO¦ErKuC {j5|N=}q(v*si:i:ANZV-:Ok*+{4qGus8@~(*oAثX*Ԁ(JsT)jӂxPx{Z@T"`%݆n[ K[Dsԫ(wى6 &t!pgji?gsuIan+|܋D^Ou$wEޛw1™Cw:6wz)؄KV]ry$I@ʰE~"†\n~0<55HU!/acQx 9@'^H>%Q&7 DsrCP轀Iyn(-. _V5NPxl }Q_r{ךa4=~LY`4 `&Sc ;t/渪 Mn'n{Q'YLfͩ;cWpM줩Di=bJgŴP{D9?Z /مUK/ߍtuNLŃ4uAԂJR$;Q@T.@wܲ'tbpЃ9Ei tp J7d7/: r<>ѾŇS-ϖVZ;Lt\QaH "ZgD5-<$0eQ~`XT6$\Dez/F^?@'0zlYߐ[r0O"b<9zMdS*C{V`o`Q _Zv& ^a; R-i2 U::Wd e> =xjdR?<4zxL|ߔ\VI WM {"1ۃ‚u=3J\y Յu@kƚ=@DMe:t?jkXd4BUfGn,~/l"ƨc&@HnFAa}GFrL2Qyo'pƒ 4D̬ew]'igVHɛsiX<OsDAq`|"gM qy4Xn+){_ ;a':G>ͷC|_3_DWC) Wu*|3hrLF.A,m"C;1͜60`Oi g/cc*Y0'_z%sTg0u9}JFNnK$ZVJqbu4 [>"8?,1rSʧ+;2vINhdw< =H.snU3 "2zTyQھ`\J]z:MGsVNw`B䂨BNBf|3{/,'Հ]73'wM&Ȍ'q _/.ySCwl9&x /^Ên]n#b<jEg8+eUZo&ƬyQͧQ44B-Q:0q7*^dj_BӠ!4ڈ,i"faV,*n?J:xHYU4=GRSs}𪪺x\vN*7y.ef*̂K2ոu^~qXUֿ,YKXPvC?Aw-\\Ј4p_ *HB|&^EB#2#PeSJbO+P0=5 H!`hQ,ge0i졊'HVA?i.~ )擐daPXk:'&i} $ 7Czr2i= 0^~A=VS"jG@k\8Iƃ2aVBlN~V.7*A&J5yuH"S aw\It.0LeWF( E:t9?ah5j53G;ACV0az{[T3%0Grm5?k.uШKi:% "fZX]$ kFR|%(6pz;GKb+H3%=CCMV3xĸ[C;%Xn|,IKR:d-nt{@4)?vQ%P?M}js¯,%ah4u ~`G9A!yWhe/ >S&l)%#糶fhM ट[ cuk' QvUeDQIL?Sim Z۫ra&ԣatlR!+_#_>S@#!q. wᣋ58lWuJh݄F7Z,'S_š\U e7c \Pڈb'_qTYk\U(-7V DRMU ItX*^GY bYWiZw=mskRŃ ޥzE:>Z-x`f/;x?D q+XRv~!UfC%'P ˗@[WC Q笒x%phqʼnk ~iZ*Q&¯Ӛ\ RdaJfTat&b8hVt2v٦b+*)u>[i[8a\9]bǰo)~c|X:zO``ELUJ F9}s 0)/_2?JF͊uD2S$o?#fb; ^@mtx1/kX&*6ڍm*/Eid 2a#J7_smZ.&xzpxEW,ǦN"zJ @X ,[Гr [C׻V2,O!|x**)n;?Lz5.=܁]⤚o"4hSg&^ki=5rKLyEx_u+):vB|glDۥI& %Zw[c,3_C a0sE65|vWr Q==w=CvGSKg,! 9Zy],jQJF+ E_7k2aO"j)^ǣA`Ci:-+<^}!/_ؿ>jk!9g0GE 835{rjq A.Ï&bz/kẒAuVۢB_i2jT-~LʕjpȔ^Ҥ?D@E KG'5(KC|Z9Äe7^Ewh. *@_*1]$Se=ߵU>"z'4ODͭE~AJ cwZ 4ZBE}D~JJ=U9NϘx cP;,4!ORsWRL/>QƬqG4`v ?]Ժ~u:3 IM9k)Le%:~]rMZ2^Xuj _.zXX^Oz͋ރ] /޷-g-@4HŚcef|vf1b1U诓9۩yaf'*2`>ذ)Lp*"E>n~B;7<rNoF%A0GtD/c⟮}#̇sRwAOFiڵu tos4 \P>}nWR[c,fӲ*:4͊ CCau˒#s'ԦYob۾g[v{WP}T!r,%:r0(ϯѪ!*-(lHX"pAlW\dopHYypvBma5&"'RzIR=V@- QDJG׃a$h*{=qs-ȳn\*Pr$}jFR*R]7ltadSҁYrK1 9HVqxBPf^/YB ;D[d6>\KǗ"pe/%MlfJ.r <ߵ`Wgb/.,ZTzȹ H): ^/ 71%$dlhlc]>\nޑLχK ,yH3=\ks8EŠi~&`~}OByEd+m06!hEv+7v  VEwiBQ VۆSq?[%YQ< anY_u=G((TCꋄ ~)SɞIvIsf[Gav{vn-`7^sh'I?39GCj(W]?Y-|tK#_9ח,WaP7s54r%:EGHS/odzG$ kkӤgK؉u@~ {`G$/Z!oWpugVwcZ­Ǒ8th`G~d!H^V day5"ee:qQ)0'/ SIDRhc|"9վqtjC5Axs5[ZDv7%PrL7ҡitqJ9+è!fCaΘ7OJ*-JS+V1 HONȶ=  sdv;`$\hޯo!"~n=3 ?THJ3 |1Oo}mMqꞄ2w̢>t. W Z>7HfVeU"HDszrP^xi-@y0i m ?"UbLb2-Sc]JJjΣh0` y&˭DZ*!k=kh&؄E +X$Eܯ X̶!+,8V VRE<2֙b>n%z'*%`!_kH|j AJqH[ip)*nò桅~?vn3hQ0틨C(Nx<_& z7sYg6#'3Co@w{aŞAJ(ss7F"PzβoɣmFHV LNÛ#n]*`d4-5n'*]"Y$ZhA XQs)p@!"ʕz+%-1?;I?lD^6,yjՔSt+]/K0޷vgߡPplE~sv#:٠%ۄ9yq<Őck+gxE'0m~B&*̣]XĀatR aZ>ER n=v=2%\u%Eoj{zU}3"E~vƩ4oJ N)-fza=GF!0qXL ƹ{騿_Q bu>֕e (uF: |D.r- %q ӘORCVN`%aGb蚵s^{3a;sC3d%_h8I8V^#g<}m40 UVD7,$.( fa :KÙ ż(({eXOP\45̼H$9T>r<iQKP8^GCo'\ |жvzs᫚N'sX I j,ޑiɶwPNM| Arq؝/18ݒ/XtE'yq+8;Rz?{E8M)OP?\Esc˲N?560%ba!Z=,Ї~:ѥ>xSɩFCHm"Jꁽ>gO[, pcyݮp KoS߀ t@ڧgJ\8LBL{oƘuil5F{D;W?0AOU, _;BuZMcL@æ͛_В—:֮$S?\FBŻ%|y!eZʴ!X$h0C R!xl@$SM'4I@ӦR0ig/՝yNo0y0xIS9FY,]P˅1Ci$iȳߟ7|b% CN,$)ze#~JaNG˳>7x i#:@4f{Ү)=pxxx4eKkf@Jk.~F àf2Le%=":\bI`Yp*sCa۽$$4# G$rjp^*ѥ`ΰ5z;PQ9߬>GA҉ROY][o u״k LJkTT6s9'RmE7(Aɤߖ"Rq\*A_73bUr6vKe>Ų8LdOT CSWk6|)~w< ׮-Q\)9*r=(⸡.zcTw7f!Nnĉ3P!HǷ=6UvQvHc@=q,WNDJwfT~  Yi,QH(cU W@FPcKd뫲A;,O) d}0L+ì/؎Rus [ /e@],mfzmԫ:t<9a2{sb&?:u- 9sTn k-!oN8ɻm=((EŪ_٦GSZ!XV̕?N9\h+fw ,;tjH SeGTbdf":MB_y\odmT_X Z*Aa`ڧ$Ȝ<-NwXb-Dm39fwP4~07dlG({??KISY^#-2 yO9nQ+~G6 a5h9F*&T]ά&a&Cͻ_f ^¸4>" %XoI 3xS7^R*f3=ȩ +cQ&eLa-d+ӮMnatew@!aG:͡2@wrVnAGe2}] :`z~Qp jN/%2ZKY6>']?(kdgwB#X3}N _]3'Vͪ>tZN`x DC|L1;;^+t^gڔ+kS#%pn(Vg-θzS!Ip~bFGNPHBUzx kO ~XZdnaeؐۗԯi8쵟Q JVKGۥ ǢJbn7<_chr~n"j$\V=t ,l>IcrĶ.9H0I;z@%> S"'Dt q'P̽dم%; )^K!׽ =@ev918|Fiqbi,eA 0˯ws_޽.QR!vD!=g3w8#S ZJ[7Wv)oV??Sxf{k>Qy.jF:2\"%$])znH|VMbeƼ q_Ejx:QϿbZ/ p\Cn7\q5o=^ç<7,]wk$^㫟ꬢDG#M!Bra$s+hdEJ~h X[ fiL˵ʪåw?B=ԂUoR?*xb0u 1U#PMΚ960ˏ j7N^9NAR8grl|DbW`€ o2*Zh2?SZ+N,^'(H뢒o{iyOhg`芬^$#T+M< g}A-*,3"G<5t%^̓O}(GqOr4 _=z, :I f2ﶜYTsI48VLbGesJm̠?^`4OйH?ry/(ZHvu']GB5|J?d:?MppeWYrPxU>t/oqB՚Lth|yU.( z@bJd%Z  ):=c;,b6jb~^KS㖽Q5s~|{bl}41|÷",(S)xB Xw|xwD33Ar}4ޟ &Pw%' '|xNu+г5}UHFEٗk'3oզ*9{} B>|7nhֻY TTKgail}5$RX +6?9 Lc"MxȾ~3l{KnoxYSjn7TqKEYy_" o&Hx Vu,@%KEόȼKA.sg{Pm6ɚWҌ?{2S3uPkֺEB1Y-_7 :H51WBhiV#^caB ,1KpAS/}vCML*_Xqa7 pcu-֊;Wb{!kIq˱> ]Y4g1-Wh"^ҾvzݝwWBWY{NKn"nʐv+9>to2 D80KE(x9?452z"gՅ Yf%~)yЫ ju-֡D8w5ayUWz%Bdnx>}lW7c0^4@ʱՁ?8 q;+\?-@]ɲBl_YbGo!1RDMˀb6G7H a6&5ʧcio扸R ay1o6Ĉ^0H-i'@ᩜy7h(FhWL_bd!}|No.!eA_ɉ¨{/~Ri%ny͍ZTs ^Z+g.pG2H䉑`Y[(jk4&Haeށߵ_2C`AGXiJJX-39zj"*={' 8lݑJp+Ք>S%ӎo8Cъ$O}|Wkǽu@|?.8*1TkYA@(aն!1 ^OY%0> w&L!ܮDe"HE(xĩ)@Jv| a'ucEv XWK09Mī+wQ"Q{l'Ұ%bfV·cFvT #iȓʻǔ/&`B<")Wsz4N( 8;mP~q2Q5ݘR)|:;pp6Tc.~JȈ?RҜ 6; sFf[ y>)kEeңHic%1|WxDAO]G0bû؎/8D)lJF;^;`g[: m<=dXe$tTuhKB§kQ]aБm%+9h:Ph}m-1%Ty0Qc0{nsr*NL#!OGf׵ @)6 q2 `I5O3g9 KȋaezYAEy0XT45`nDST9]ߧgH{Ⱥo=i3d+4mHsZhh&\ʜMER0`@[x`M,z3l&a&jVk#: dXr<<֌zJ'E)5'ÞElS0ہ(U%-=pJH`5bC7[0tSMog(X( _RGwbvD}ԩc PX}!<Fj>Su,5 *BAT1}}!`В$4]fD}ʼVߎsΩC !"'^KN9Ӽ9Eҁaø1xD+DiYGtam+ %oؒQOȺs>63 WJh a *Yb$"ȊthnМg-qMS;XYȒplCJ`%g#$ec}}(&,j} D *Δ4/0 =\>*.8K%_ڍF'i!q][Ƥ xǴzI %h9v.8E+7l~5I_d{Eit%»0,\ޑgrܙ|Iq!7K'8_Cl~~z1[w,0 5<VMF z ̐@BO[)OlbM }OG6Vl"LJ_+v|0 bSg0!e?E\qM̞ZJ= 2\ox `.tD(+mg!{ ٪9H]Cygr-ϱy:QQ, XKZΈjkYhFp/(]E@Ydksi#89nY { {X< ?&+7/:Fa^‡`_X~]̸Dv^ SRDӡqn-nsvDy`X҃b@zA?.@1y,V O~K':t|N^u 0/cM:D8{`' 5IN9qH`.4p":Νd((W/rHW_j:<:ZhrȤ}Msi: x@FR L݂Z1zbnD`6n)uddaZ%c7Yq-v;_֭gFW($!5>G0p&o+#v->GW;$LSYqez/a.N& lо1q}PjS2-).$0fuQ"◀|5"nV{ݝkgXGj.V>J`^#)cW!!8:d Թf" 0-8!8VIwW?3 .`G@"63@Xx;dY̹8"wH^ڞ#z9(k r! [=joHF^ǣ*Lk!o `߼T,tHUޝXL8c}\w:!e?=\); 4!I af'dd)1HBT hPMa?ミvbo;v*-1LʼXx͑ϳ|E̪-y#R#1?V +;.A@ ď9AI q$:9 NWėr,Sw60a:iJwRs]]Vr0S{`Ѻn 8:7peD|Mb$8~iO5, frNP7LѱHd4ґq񵶄i2ql2'V:H=.gkiݱ`% $s<χՠhR}Ur3,{?zZyYAJm:{R7|g`OM,JCP@H9+e]ɦXrNx1cļZ.g0rw!c,i3dEnol&(?O8D\;$4n,Oh۫n2hxU mO>qo]e$CٍPOX0r]A&,xBI| msJVuY:ݏ3~oV]ot}2VqH`+&hg'H8b]:LWqSm̽&W"zbN{mu_yg_$bZNs;YzVO1j,cOjD*:M9WL CG,B1Z@iӲ}QYa c r}tW8OtRӵ):xJ%{\С뤬̅_Oήz}|D-btrp9Q`$1 JdVև,Yj8(m>/Y#ǓI<,<Ψ)^26P{&Ϛ/ѹvaNk}o Kl⓾`̯3d`4h%&7I$8HԠ4#sKSN9%Rgt0}bl~C*^2g\*e(,G5sJGl2k}ȉNTt47bhE}O<2֥SҺryʑ61Ο^ݬ%Sm0@xї/^X]0e< Iq.&@M (YZPΔZjB:GԆj'Z9}w XS c`]/2\,@yj nF2O6^e"ڹA͖T-NVN9%obr:ag8hJӸr0j($Sj18;;ϐ68bl޷J5 s{2t%r7sr;_&rw.SwiBW P9;2u!{@J?Ms;h̵kǮ@1tlX#j!{Ov~mޣ&??}+B2I$ge鞟uЍ@7:;Ty"#Šg`IӖKP\"c{fK)*p5K$uYvoԁ*B\2&W CL^bx3`OSs>ihG@ f J Cnum\sRZ< A[*t6%Dȣ /c:V2τ]1=kO6יRq[4(8 i$ ~#qPmkhL<~ĕolp;d *wÓO[jp2sw~YI_H[LHXn5xE sxiHC3ǂ^\kx^7gDN&59Ikaṭ[]kZf.FJ}׻O"Zmvx_Fo첛mhs866_u#~َ̟zrv]Vj\wow 3%X{ıKB7ϚeNYKDbbƷHHմbGB9FN2C+}Kr7C,I+b d<4HfGW. jS&g@ց=%ƶH~N's -~jT󓮗ۣf1ф`9s :C>"b毘=Ww11)"0}HWvW{ʸ6]iJAK=1pR's5[Nbբ(V}ع:aw 360RޖP{>E)>9QkKz Rbz. Hv~щ|B: 7XjlN}~ڤL/z'?02qM&O;MdUdAj?ٵGGVMW?+_g{ q@%j? tcU1hK23Oi'ȑa0L TQ oa@n#)Ɓi`)̴l(, z]GV `n:=XV/s5dt;:E6@od$lۧA#췞toN1r6JyHJr ",g_dH)C$83K;q|||mU(" 5jIǡC  ws[fXu66ߗ5YJ'm' _^%J^`[Aԧ [~t(TZʄ_=nNKf@o4zkYzc0 ɷpl_ τpDPެ &two֏VAurWf\HN7PrRsSnL~Zrj`^2ܳ~ ta@ Ͻ4Z'[:`̆򝿏dc᠟M]pu u@*iQ/wVpkvE i&d@ /yj.=-f6; TO v8c\~$brJXO=;빵PA)2exu ;KX[-)QR"u|> ),P#} Z>v@E ~L˱+Aý s#&kz.SI7|i[uN7DDs ٕݪp M10.Mċϓ|޻Lc"3A"2(]n`xNjTFX>r~TCK`\S,~\{&ŀX鲃{tc*X^Ez-{ uFZٕ4K۔3(_@1c1ZKudEdB"8Wcu Ffӟ]r}C@pJaw8VX ͏Yeglr7Di;1j^Qdav'YYƂfcYUa)"#e98!Qs4.UG0G~kUX)BTiŵ1票ԇ&o&L,)2Otxt}-rhA}!VKB/30=|>ҍW0 %bCwPyy$;_Q!Ix:mˁe 3M(;>("/Y0TYsyRU:53F7-qw6-\|-_+Oy>jdky+/d֞^HIl{q) <삟=Tj UJuY5rxT 儽B3*n`f\0k9n7u~U8&k0;QM+'6Bϩ~x^#m[fzN1bs5y jMXGQԽu8L!ۺW (6U6WN|SǃXKZ!m-\qаF9YU,tt#_bE q[䶝 W|ؔҨbT72,HfKUBoi![Y=HYV:&2S018 4)0= `Cu^wf8)!7]"yG=w66 4 2;ztY\o9np:Y936"d!"5]ar>yJ!/e]«T7m1ɫB"/OopINRä QC}S/'K5R,Tf坷~~k7cgwM~e EmU^&ߎоģx]EՉ+J2́s<5Me͍hDNRXRɺGǃP8BVd6ӫsq`gFKpSr>>^s/۹as#6`o &d~W\FfԚZioT6!X||:{ M"̫ō(~-`; JmZ?hZWM+=[Z mTes^a3c&a{1v#1Yzߋ;ʆO9Y8sVBH Mť5lᴟW+]&˱aOyB0CEf,@Bwi&=:pH5^v-Tqě/VgX>UZ_Mx = Fzn k"eHW#wIWѬ 4.Q{KO!{|mXhSR)e#, @Jy '0bMƜ mlr|$heՊZx!_zݓe)I?lj!33k7Woŀ1uEB3y{T[?~]2! >?DIuO}{Q#a4SU*ȧ^AM[E"GE} zG?&(=c*,4bQp844|+>7V{ȌQL)k ps@d=SRk<2W;G$"qobm&D5Q!Wtz{0K-/PsLщIO}zfa%i΢{y61Uv\ب^AP׊g$*FH֓mr*!M\w:.oeĩw~c  6%O]A'7y[\b\ҩj Dp4qOZ#G} chMJ >몀SԈQfNUXsOoh)FJq,TH;5dME R8 Shsr{SXhLKclN;}{8aa]ŀ}~߻fym'0cFn26Ol5L%F;܎NZ "p 7M$WTHќjnq2!ΰ"x.:p',XK+J4gP~ ڴ_x@6x=ߢ/jC(uP.OS'>d+/*wd43}M=}Pd>5C3yh]x3+Vȩ&VRbxz> nZ1w32콞 bG87C 3ԱNCpj[ZM%jDU2RvP4DC &ع2&@JMjmx?i s%&a8[5VȀ4s-d'xGWʧ\o`zGCtmmf !PZ1yn+Xdy&'x00wW 'Mq(7t&"ᐠ0bM\y-'n(QJ Lm)TzѠRڢN-).}\6K:4tT]y#]ω^v\K*虧-/֡@w1™90ɩ@AX֢,h8<󾮲7A@Vv뫟36r9Aӏ|^pD|'Pv{Ne| uهuй<-2RQ+EQdϫ8/$ U}E~mqh'<샮׋$)z f? Py|Βzij]i#*TE))Y(a˝lH*l&팢F|]4vN?ғ Q3$אNf2[ q00;Lt4)>˙;7J!97+$٥flAl]t'6"q;l`eͫ+nk`cmw_z{B>pr[m<Խ=AZ|d< fS"cAS? t~Kw7;u= |Bw9g߀Z)Uqor@@a3sTQ9X"" omQ)IR_aRsyJ+eu!#xӕ>i(L'ɵϿMb)]>:|zk1TvNvT/kقVוCDsoxe⽊/sX`Riu2hfޢĆLR &}Dx|KMFQG8/Ŷ/X1(2ox7]`݂td Hdĝ 6DDZhl'RF.iRSzpLEafZn<6 ]bd cmWӾA)g{4Kf6%6[&JuTs%J\3ȁHEՒ-^7(F,M^;\$ ۶!zx]$r]GZQ.n2/d2HucjKgA pyƥ4~OKEzgo6蔸KƦϛ4at{e5Y'GI 5zW~C8M\|+/8iIz{KQ, LIz WpFm1T,I|.|Ͷmœ]S0c\&NͿ&ס>9UȟF{7)!%QMd=z!gg^8(YFБȍ>Ջ7*RH\\q?SYgAw0VDUw`vr+`}z&,_,F=&piC]=Sm;| y6 z` )GT 8'<׸) TWWUzm/\XP\fa-tqׅȃʴHi!Y4NP~!D/.ίuD(M5}\,T*`:DՅ+]u7 B)9̐$zNt=C@,boИAs0\֥s/w 0G# Ȳk >9nyU,t!Ɖ*0{{ C.1DFf,>&Gq>MZiIA@8"(5?e7R];CΚHGa g;iuR)렼oF/PMBȠ1a<ݳA'|xYQK{w݇;1I#lO4[#wQgM2'1묭e~A<R"/|;GٷXҖPUMm`:̩hgV$3 }H{m;%w MժfIŴ[O2%ӺQ)!.\Mk8 5 Rb;6l@m^;^:]/תo%4 q4t'Kq3 bYg[T* ͝bVp4}K^"Zwԋ8׆tQ)z$&.(SѠJWP3B UU9G}3}nl D-&EHI8?)MfTNR*!1|*T7>ݱ*;^ֲ8&4Wo_9.-Z/kΏ~1}Um@G^93{kD]팡ӵ^- ؗ9ErGŇI?T;hYF.kbUJDbw7~_*O[JU=fBFqB\+y/9+(C(ֹ쳒Ԥ2B \{dY3"Eߦ3+NsIPR08QϗsKip2 V< $%ք1Mfvюu.ՓSikv 0J72 8?tojPdHެ+15XƯRC 3 95a6.T)T=cs^<%n4c:UL%y٩j.gtx"ύsq7C@R0Z1R{اdGYC3EBJ|%GYAƴk|xCxíl-L?!ZD/=CM`aojl! I94UGo>D"_l#?&I3]W,Ȩ} eX/# x $\^?q!i9ᵬ/mBUťS[YY,VTT&?Sbwi)7)QxBj{*$2Ҙwmo+;.S'ӦsT g;**((_N7?glɻ0YsϢYXDsZBjGvˋλaN7f2#{T5ݛ,j6 VU50 О\#Dʓڊ'4i7롐*k V*:IFv9M*|bO9ABHX=ctBl2/gPI3-X3&=wxe/&L^M n x#y}qU+6$Gm(SB@G%!^]