z3-4.4.0-1.fc22$>m}:HvZ{>9 ? d   >  )HNXh p x  L P`t<(u89:GHI(X,Y4\P]`^{bd Ve [f ^l `t xu v w x y  Cz34.4.01.fc22Satisfiability Modulo Theories (SMT) solverZ3 is a satisfiability modulo theories (SMT) solver; given a set of constraints with variables, it reports a set of values for those variables that would meet the constraints. The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard. Z3 supports arithmetic, fixed-size bit-vectors, extensional arrays, datatypes, uninterpreted functions, and quantifiers.UgK_buildhw-02.phx2.fedoraproject.orgXFedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttps://github.com/Z3Prover/z3linuxx86_64nA큤UgKIUgKTU@nU@nbc1b458b9ef5a651ffead34a7b2b92e22eeb6197ef3c052319009166f8eae097273ffff37bfb85cec8a233ef9e06b804148d9fb9363182c1674ae3591632be9953c7935477e9cde98aa10f959f812a98eef0a286e5f3794d65ec875fb79e7572rootrootrootrootrootrootrootrootz3-4.4.0-1.fc22.src.rpmz3z3(x86-64)@@@@@@@@@@@@@@@    @libc.so.6()(64bit)libc.so.6(GLIBC_2.17)(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)libgomp.so.1()(64bit)libgomp.so.1(GOMP_1.0)(64bit)libpthread.so.0()(64bit)libpthread.so.0(GLIBC_2.2.5)(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.9)(64bit)libz3.so.0()(64bit)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)rtld(GNU_HASH)z3-libs(x86-64)3.0.4-14.6.0-14.0-15.2-14.4.0-1.fc224.12.0.1UeU7@U:UJerry James - 4.4.0-1Jerry James - 4.3.2-3.20150329git.29606b5Jerry James - 4.3.2-2.20150329git.29606b5Jerry James - 4.3.2-1.20150327git.ac21ffe- New upstream version- Fix issues found on review (bz 1206826)- Update to latest git HEAD - Include examples in -doc- Initial RPM4.4.0-1.fc224.4.0-1.fc22z3z3READMERELEASE_NOTES/usr/bin//usr/share/doc//usr/share/doc/z3/-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=genericdrpmxz2x86_64-redhat-linux-gnuELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, for GNU/Linux 2.6.32, BuildID[sha1]=a923861d2a7f957a60bc86a595921b22c81e25c0, strippeddirectoryASCII textUTF-8 Unicode text, with very long linesRR RRRRR R R RR RRRRR?p7zXZ !PH63t]"k%I&A:ke7 .k )A~cjXHу$̨"%B<~Ie.fLJ7h U+4XGxS~U_;%OR$8Q^ Pu4W=8w:U)r0ҭL%ܫ%5 &I8iw!C¥+ A$b],\nݬ}?ٝ7}"?mxNlf,#e#vvD$@xzRSGhAR<޲Y/%5EtS ꘪng+]ẆlH&$`( ޕ`D-wW&m)М ki!I֋VM+HJQFsq#Qw>RHiZHDN9UC߭TnȚVor='S尖u,u t-"|S¨N/ۏJ>Gj&h̉u/AꨏYʊN`m}޿SEoW<# ^ew5: 8wqLV"kLts38>`Bcӧ!~uНguy>vp;8?/`W(gcv>U%ҸRijj+d_W5$Q81C߂Cy/Fv` }w8YZ6y}݊ LQ4!g}y|'ݢwnm7âW81HUZ` !D;6(Q0Xl&'!HwqP1DW"6i'+",Bj}Zʹǰq((o`ojAr/.t肬 oCt8hi2āK |t pRq 2M Nx*!\#}%Sr(լI:wg@6QvL~$d&n{'De9$aԤrG) 6\cC =Eo({x=Lw_VQt浾(M-(mFYF[~-̎o:Z*~[MEo'3)7188zO:\GJ}r ._5$0v4≮ #][5ں;M p j_C|7v56&S:ziz" ?{PB; ZJ Ate*r㩳ƾ;5TUun[e]tDzuS6Q0(b_iLҝOq a`eO)sAճF0ܣ ~ꮢ Ї'.Pj6 yT 38;:{MׯgJ`h8Z CU)lc=dSp|"J{DO{r۵(Z-ȽJk 8JUZF-!/&\><$X?oel Imz, qLNxiZmFI_0'o6jq &ܶ`Ҥoum{`*H$^g06opn AdGmLnE2(abɇn?55y^ɭ.'g[:H,b3e4u^ts$]UCd%Ag0RŔ=4iQަIE>=f?NBH]=\MT6t wh:Y3A[2c1xY"LَUWy\3Wixݣ Ovsrj {N&E俫8I-ƼZeV{xWw|pEXIPSQoJI-3saX[gH J' jj5~hs+!o]bL>X O3>0"+)SD p*uvGxg4sxbHޗI\MHxCVf.J'"תy G+kJp0h!"!hS>SjGxK.HV3UA>X%!/D 3koQ|g~z_x*zJWͬRa!$+EZMTgBvUexS=cvPndHA/hi1̖5؛sLf{UE QdiK8!UqDH^]?"O?YX[sc)ϱ3u9/2p|0Oްz7WH` d{Y U&/Fw>! `W0L>ua;RuJB&53 :)##s\sQ^Yl8feY%VjDMiEr |qɚx!PXzmOj2h]xdԆ}//TfڤZL 0L7 UIrZ6⳧[X=ϕa/:Odh$_f3'mD`62*Ϧd#,lB$H3!Tyj!K 9 Λ?xgǚXWF% /D;^M@D; ʏ̪Pu;]_Dj ?`7{'խɀq?:HkZKCii:DTtpBGQwr6]`ܬ\D`.L~-b캓KJCC/U[ yj#7~Z]P*ZaSXv@Ϳ i2պ:]&}LzԢ,Slu r(.O ɢZJn?iB$wTS|j2󟮢\B$ 9PjmgJ~a \.Zr:jh}$tp9KT*@|lF[^&5s1Z4=Vh~F/+xH@Xێ4RK> ʼnյyВk@.`a}dƿe񱾆L]L/'P /ok8wm-F) Ua=ة88 o!AHԂ; TuE?gb^H".# "allƮ~_A3e'^]Χ /A6ݵ #フ?̈; :#a9]?+.вy9"1C0(bAԈ`!7dUqjóPcXSir4]G^}+q _͘}/KDG[+WM ~[Qno=K:R6SbsFhnj@ǻ$m+.V|sBo`0/l579p]QZ|l`+vO J~JPe!0QB"*'NhkJ L?&Rx$.z(=M(Rir]!`/s) c(fses*s>ٰLI5z=+җlXLCߖ! D~̣lM0PWf_@G輌^1Ԝ,1aD9)c[LN""~;Ok][\N(6+"xgiR LLA1'sVlx/=jTiĂEOesYZ)b"sLΥMi0#S՗=ŝȘ&Q߈jDQwֆ]^nbP+9hE=/ѤId>g&hzIMg'ޣW@~I35q210t:v%}05wC0bKm.ڒX@g#> 2'p~EEH[իuunKO^!*W j1RH[Ɩ?F޷Y۔Y"BxMy8iI˕}RA3E|&_<~S[ȗ[45?4n^6 8HFyQ :ƛ&f>,RJ`<)m쀓; ;tK/Bpx7d )jJfWָZg9 z{lWY hnϽPـ?e۰Xħ/cۆmmUm(Y42$t(*Іw?cSn,xm% hܠW"g2-݇TOTE*_:3>SB?3Qz(D ~\ &Nɰ^,?JupP2Tt!'t` 4ƿ"+\'Ea<u]ZDd*=#Q/: /т\c,^TJ^O:~p;5[G/WA/{2QnVs=S6^@hHG4-[8d$*v=#vOk ,7x[(^O;mK:(Q(;mӟuۄ%yDc'˃LG;#w,>enσ\(w_fA1K48=Qy[E> * gbIl$oI|7K8Z G-(V |"atn^Vkt\NIչdZH 7l_O{k% v; N6;%vQ.Lak\cXoΗanHye~t]"^L Ag% U[NW܁0;&|r$ G|ԕ.׷N_,!q 7u !mCr&lH=@,OW rH9~?6'=JQү(<ƈ!{Sj ?(.CvwUa݉99`8fp":]wV+_̀2 P|# lKbGɪ[Q}8r%7 9򤥾]JJ^Ѓg{53J%S6] [/{AF#2l)t*Ba)3ln|! 29,Y`DR})M4?n8׎04OJƞ/]R!uD mB!pV K[\?kCVw| g>)һïAb/葘 T2I!w'X MD(Qt0a %8*{?9qcUId.I:wǁ<.%l% ş_-*]Ba_Q!7l_kg Bɑ$6 \7k>T[*0 ޼~\uGH6eo[gjh&c^2ޯ}I Sl dze@v݁/#pFSzn D1 jݪ~Gk#%1"F=UgjAd}IsiJu-&1Nbn7 #_AD]%ճQ˓nEܺNM-mH+6PrUME>+ )e=ô˦+fmզGVUk(eùl!*$1@RXIИXb be2&;-ʲXOxHf|p20쉋&c_uth?-a rGBFῳfI Z.i;ug }T{پ {DZ<7ս5?:$~U`Tc$k Wxl+ Tf.W֨}^~%Oot(ޗ B_[W^y btR ,m*jnsS y}T¿JA:{$ѷIc7%% ~Ko<7QNA.ZULBznJ%N;3H9NJh28tD1ݶ\%ɎPDe}#w(Tpރ.*=p\5`[Ʃ:RF;d"ka鱗-qI~ Z+SwncdT،Wr:;4[ҟe61 Yp7EW1婈\P V|~ 4IP x61OmhvJj-0P>Q?*wA,J["b@>BKMy=斯@rz<%|{5׹ U[.egOV]ì gmƒ![~I$Ͷڷr_5bK[H@ֹH _nҳZTNMPN xNo*}1=u+D2_ R혶!5A*Z{UE@rӥs; Co!͊H2v:hk N^I"[-J9wu;`8ƠaP~#LVt`~YuIS_ORW/Wz-ڋ^NfǴq6&8Fg 5<8n,%yPg0^;/vw{Gil(^'~N!ZxG@P|Ȟ3"2@Tm"5@!S0.mɲ/tqb &sϚ}dcE5ˏ0ݝ}}oܗ0E("E[א %j'-u"\$CHEwƆa4iQ{ΔT~HN) vbGQgB]v.EOTFmYSn 3 V"#^^R@f {q6dGt*-J~V%A\=xjhWR"N~6r0㓆OHY&qn |khhɉz8Wg+0Mrπ}R260>>_*^I;ObUfP(\.#0ħ{&F&`列)@W]@RNR]x׋W7HJ~_>-DX2K)[M]h6 `*61;Wo#`mC{s>3IuFP+uhn(ɦ]1*ceӣC;j4HPlݶpę`%pfiL#ݫT t*&+С\zJ Zt /\U'XV=C/).e8K̸;啷^۳xkJ 0; ɰ oμqGA>Hvm}(Q9<KW6#n8xBTFgm]Qt^޹KsGxhkmt@26oj"Jգ0 1N \Zǖx8OREn$@wO$DL#ll_5]v _6~Yfoo7>Ti-7.ei)f. ;%Z]p,L?TN{YqQjVj*Iݔ 9KY)s~ !5 ]$Ԋ_ٔc/vU}Z&BȰ_3kTmb?QiH4A5NOe\%)XҚУ*#84gxO~P3X/ѓ? g50oh{MLUKٞB,8\8+ĠɅRvr^ {^E4CDnYn:-Rat6 b7Vm?ڐ '5c, թyԖͱq&ڧ 7K C,pEA=dn3ݜKq`x*SHѪp嚍 ^,ӹST54CD7◆fdTpu *I<fm Òwh|_A9 4dg$-^I"^gȄY$I& 1ŪG=S}Ʋ=ym9ШBQzXRv &B-H3O.a 5C_Y<D -DSRo#LOE`j%^ ٺ=_ڽj$s,R=e] nY{gKh i_ sbF+&[ZJ zrM0AlB{WVrނVNGLۡDo X;Q|^6,d GgƉ5zm1KgA+?Vu ^9r5LU&p~t}!~eot JJR+%>mukd2mϟ]is~w.[kzUVmZP*akS3OERQ hu)XHU0ɌsJ[(V<:n?+W_. -)`+SV+Ӡ2D;vKu*JasWanٜrg>_Oګ^}؂)|P/M%f-!b6%{uZEu J2&q'#bGɴcI޺FbFQiը=D NOiɳ\(,E7< XEA%YC~D +c1;ek~`0oV:}%46CƖ%XO<'pɚhW谍 A7l#v[L.Ub20o4k0.'\YWLQK’l_+a,u(6(ߧ? &5/ $ܤ$YgJ[SEV:=# ]l2C{L[Bi`es\c!h&"YE'}4Km뱏{ix4c=wa$u\-}:b>G+HY >@xͭ8zUDhӰ~ ؆5dFXdt͞рs~ U|,@Qe(MH~ Ei5Ԋ\Y""Y(1<>`hBq )VuOtxUaʺ˷y5$%~,ʁԙ<(#R݌$-E˷Gݬ+\|wQ[Fҙz:2Bn$oǒQ'a?j<娐Y0("|͸صxL3eIu!dIi8<{)^||$)qd{mѯRj@Oݚهg8яG |P Fbsw7lOɆ$(p~x2<`OFbyVf"u*1±)#ai [W3^փߘnĭ<*meZP&g:P%tl(zp9,JjC9!7d#l G?)[\;;}.kbf@xRV@77*v`+鷆ɠNBT[.aznQWyM6GB()瑁_~)qEM0(!4,UɬܖAƑָtx;f@u1ʎ>BgiBn10?0**C,oW*jo{m v>94&rk DLzoD؃[Pޏӣ<{:dU:-LT@D:ڍO}.Q:lOܣguoBÙGU7wq9xUFiTM}'ڋL)Ѿe:+=1eS &!`Lٸ:ZsB`+'2`C4d}uY%ق.P؝j$Ii?loHg'[Иѷub-D6_{˜Tƕ'gTgT)O<?OdS؅)4‹nf}Bi(tv7߱&-q5b׾KvV.1sjDD 0qW!4E_73$Kh;&æi;Lb*>KJ$[ƇFP~N?inަ,Fn1tBzʋjWv](DoyRfy_H]ӕp|A96kE fܩKiӄ|++rD16[=K ik2ʊ @_sJDnhe|=NXZ4נ`WG4j>3S3W6~_ņl"DnjEب20-yi)snErwT{)鮗LcH jy^jq-f.x:FjB!2mK|M75ȬRb?wC( Mz>JeFvZsE:wBVѣFvt03^_$789OXtkqDX8]HT{6幑 g7e*|B́+ Lȡ$cTDTVxfpWW:ҺkGb)rZRiJV^tCS9*ZWy;ON6X諶~5ݜ2gs3'F1Ԅ fMY*XV=-BE㝊M%&eV/be#Guh:bFK7(&3q=nHQq4ZWwC֢{@LcB̝@f?4ǰޜ2'5!x ;F^R@U7j`|ϷǠO,pTfk$p=q..*'U#d zM9ꄜ^R@n6Ӊ'"+i⥮s.qX`PQ` QV>U$>rSt\}KYZn?oTԝti E Ȓ$.,fŏ;Rnb2Q47ٔB-N_EB|d[M^)8ٱ[6|}uI3/g|gï4 Ê ƛ賯H49˫qHl!Jx׸(yxH:{/v?/S0x Ij}[JSŬfޢuw CҨ[4n23ɭ(:>u'teWzDȭ46'C6Q햇VDx)cCvp{wQ'8$4e!s@v$YJ g-/ƆM۹Ǟ̦ |{ckPa.KwS琐l 'z\R0oW&/[ÿl|.jQ< AFH x:备y'i t6bfKo_h hGךv>>#; FޗM|hJ=ֲjl 4+0<ߒ,@SQ`71:50h=M*N!}v0؂'&,Mv5a ];, s*1%7(V@Hk!vwu6sP?vEnR[?sCĒ )0WL[[D.wRfכ 2%_}o0WPHD#i<6k%kie₯AZ~#D(tE6|SLZ#kHsYDQZ8W}">Cҵyv73{QtƉsyA<]sֆDnk¿&]׶HFn9`Zƒ|q,"LjvTt}-~;%Rɪ(pvI>m&D-nu]N1,*bNR3C^eŽ}t !tIeΎ6A OLZ\|:?UvW} ' =Kqkx}xzZ)LSD%kr(" qrF|bl-~r ED|y Lt%o*=68֔ RgdFPPR(8._C]j9H<hYhnYfV8fly@fe~TT;ؓh׫m;yVh&XJ,''Z~]TodI2Ht6DÅktm;_fbHN.@[7K5XR xDM:SΖWv9\x| 17}۹7ܻl!P fGڃL,0ҍ:示|Eo d^%p6K =0#[=`,5CƚɔLw=,]|yDZeɯjCM2Mgqo 9 {0J j jhr3HAa+$m,tAMaEЍ@k n/CVlK^`XX5#ZmW`$7Dկ+5~`n4p}:Urٳ0KX7\Vc^}=ҘРMb UZ_u$M+xĝ+Қ5W6IOМ#8yNݙcPڪjΓ6MoC<\Rާ?j/#K/PHgH]U;Q'ޡUN8:faɥ`-jN=ddgL7ݷI%RrJ쭅O'L ezFvDgIo,LuQmrzY @.bHž-KFQVq۠(L٩X'r l1FG4S+-*F4 lf%nʹ}P0` uכC(Uo G:_]uJXT/}g.C}($ %`d 5d9.t0(A궐lV/g.߯f %m,-P# D&l35+?DSgs[t,G$-XJ] I5&>\F}k4prhl|C¡Z_:ԑ@V 㑉.%5>)ۛW~:tF[-~G^5.Zŵ'y?vN)mUw&Ck )nJfS 0ʅ_@ 4@rɐS-v1Pabcg< ]]4(RfS qt9_OXP,NHЅϝIx<8L\Ǖ/Op/ۣ| ܻc;HOU0+\xmMTX%l Ao,G`ǝG3{紵s}h7&S}S3 %rD7Rj)jQ7 hMtycz!'ԙç^@m7+Vz? 2wm^`0ZK~Y4[*[ Z$Hp6E=eA;@xڮֈ^Qm'C#-="4x++1Y6|+ Q:jK 0 )H)2b=_BH-,(|;tQqN?熰`Jޥ\)U NA.mEN3Q@ WD{ո>)wi(q\NSŚkuEҷ$h^i5Y<̤ 6& ML .8&"jurbƀ*|B4y).J+F*8a%vܱNN ApT))d!2(˔~6M[fE'/*Sڳ֫),R p+&KV{L̖&-!h:52bEZPS/KXD]ѶsPZVVRpGV*L)Xv6rxpQ_ݤ,x_J]> KlPg9ɭg,lj ^KZ<~ih᡿)q9K7iqa06*O7Z )ڳg ķqqE!9TLV?u EgJs{JŽ I3R(@e =qGq0_(>)~:hNB- Yt-U^ ; ceXF,>eIk}^i Q}ӈGO Kw֒3 ې}vƑbBԡ="{(8s0hmg': La|V #|'%[⤧w)%*svTD{m\i~)2crA]T Wދf Jό6EiNNS1dDg$ʁ* ]Ib$ κq ۪yUFgx* UߤMEقOgˆ!?lX"qd\7휌8ca֦h$|YBicݩ-nS~XYYZw)[paǐ9)X2m! BZ!ejsL'x_KZ8q2 0u? ?e_*%DxI%vO1m8h ި8:Z55.HUN3ўQq%@2w;̕7ۥ!W\}3vK1HqJ< } 76aGP-΂mXhɼ}:A5|#Ru60{pA]Zβg[Gdn4rA6hW^| >0Yyk " UqP! oUU=۵Op4`Nښ״`5mĮQlË8 i>,OWL{S͡^̰`&)[ 9큤hR=y&KAk\"✖ևXy(0|2ݫfkr)4*Ubv1:_ZdW#@ZoI'$r3n߀\uf'm$"e+;WN8O%\vrP ƺ5趰# &LEW3hh)#ʼi嘮Z?Pd{듳  Qbg bPjG @ Ua ؐ M0D, nl| [bgxu(%ȍ m؝B ǭ1@znVa!1 tLK\$OU$= cz?,ljۂnpVߥgamfߑR=kJzt˛jP)vXȫP{!p2^^O;O4Zy0QЧ vOdyP3$PZwy&T\ "^sNW %=͎J ۪$5 A=[ 9NfZ5|h,$.o~Zcx:sFƗ.raxswR{<$FfjHmO"=BςnNI쳧 CK #lB%hu7)hGHy `^b/bEDZȲxsQ'dJ.F!=X"֝ *<[A?8j9BW h6WL)CRf /ra}3͚EqW4?FK⧒46|"[d&8b rx_K:ʝWz vQg \ay^4unRRS޼Y~p[LŸ'7.DÜ>.ܛҀLPv $_^@Gx2/%Ӆṛ,eR Lt5r;b'Ǭh ɬhd*ha3 *p%4uw?Ԧ=`EuAwא܇yߡ8`[@C |:Tj9.q9§$DnrIAgF=y趀0H.߀G ׌33O>d8!^];1(7Q1zZ>V󐤺C`rso֣1P9i;+~^\QsZ">Ea3ͭ5ŒT;0:ڿЧ|*@Q#ZnHPUOe9]=:^2hiiSeWG?m`~ .eE+8"X 6$BGzKiPIz~eeZW (D""\}p> wۭ؞hW6ZHÈ-:u}V=5ߠEB^G?s1acpQ{P{.%xW\U1N 2-ur~gɳo, X^>q:& h;W-jjND)9 kg.'lizXg6 4 ǎg1'+n38gDb΢=н-EbY/A.myhLG}@Y_qA;桯U71Dj7]CVp?/yȉ޸쒽csL=Ƿ94 p a d/Cm0 ݐjCWye>F䡵%Vz =\p%׼NY\D؏/WQ`(Gm9yN>W,ZJYsrԗ`-6YޗepJ|E; \Fhm\ɷV&{fyX9[iI+֟t\7 SFiؖ:kWY9K%NLUbzFa}JhЏA0,R'мtjPG!K,a\œl[}O)4nɡŲݛUɎl[%z(X0] wvӘئlPuF^+@yq! jRRi6#CEHVǟu*P`m9ltäJ s¿Bhqt.Zž^ݎ?yaYȱv{գ7iv 4A.>J$g,I!^l e֞뎢wp4 -vԐ|+e} ;s D[-KYI3 }Nm[)aamJD>`Sl6Zm ӇնjN2|l*WBMAl9&mBd-xv|yhx~/؄=&`??&]MY;GϞ;i;K,8`37~) [*oWCBGυ&z^oe ?>ky2OZzmhD33U#Du5X\|yHs0O(qmf]: ڡ2\e {$Ce>j|X.;~P'FjHPb CQU`ЯP׳wNlʏ88AӇk@J,!a`=bUJ#xC>~otεCoeDH>c-_w>]ڹ\_{h4uɫ7_mj}Rd}hm=1Ԯ ߽<$8Y,po4|;k>`N{1 jʦ Wݭ͚, k3͋XXR9,tfΥ4{,6G͔mMSSmTkEYqЏ*蓫; ԑaW\._uwIBИ{ mv@ubԉa'To7xkހXO78CDnVuSH۰ J#]j&=eFލ' 8 xA1M~i3>=pJ+yF3pN}]ߦp`.d;L׸BW#Z+KaAyie \W?Ev͋JUSh*Wd=m~54ʍ7؇Ky|aO$ƱtN` =m9N.¨Kf/.xWh &Ź|MTHU Zi􃉓;U`J]-ܠPi-FԪV_ MJZn[֞ՆVLYת+nUM(rB /;d$ <\*\eB Ɉ>6qhh5SvqRMߘ5Ó~JRf&' ѹZ|Ƿ̒JcEş)5)H俹aY%ZwԼO7mM<8fCbK1WZ͆u?CbJޟaB3g@m5ܥD'SXZ]eHx)d;:+h?P|H6:`(*)цR=)q'(.;̕?]2ˀRUivA.^9(WC,jh}H{ٵt$un='D,ӠJn5\Q#v/=i50m&Ę]꟒`UsZ;XJE7TӖGm3nE.7;DgCX\^?fº£u_41wq. 슉gmV$2ÑwSz-Zxokj*"|ygXcAGaO/;e`+U UUt߱Ӥ]zt)9ۈP3((i@ir`25ƪPDeFwYDR1Oۆᬱ^t'ۏ:BM_oKSQŃ8QtEݡBJb"Hv彍\T.(Wa#BTة 4w"QEnB$b('2BZO&>JH ?zyOthr_Bj C^gJPǾZTeǵl@ޱ>Di_QY$"hMZɅBA'M mc0(u]Ѝ SafqY'(΀IڇSÎsrP+vI]2I힑*epo6n{2u"bjeEV hB?w(38M:h'wCFi*y%1+;:ΔKzZvmSDf'%=a}'bW e&4*1Hn|AI +!'c}sƶr;bY`h vi /DIG%z˽ (0* %t]z߽If6izZ~UQ\MFqWkk'K]l8\"rSs^d/ i-`A}|gbijB7܍cH+,}=@.*OgH7"vMT;CE7&TI14y,+ R~? HAr|R~u6SLǟ{}q/WT-Ilg&6!݇wFP%ܽM󩋨QE#dv rɆIuNU%%eOnUE&:<M xX1<ٱ|b0тz0N"bi$B9wIp3Z.tӫR}ޜE, ߐ<2&!5[ ]<6ԍRxa9w,'!v)G<Wg46k݃^1}nb ZGkڝg-UbWv}a8=_dV-A- m 7D#w2tPJ:xo4錳ٞM~/Aj&-5 bD6"!7ҳ}.d*3|):;AZ3Kv}v:S2,Bmٿ oQq |ׄISaݎOJ^_q8@AGopCU9MBA( i㚡!!zKV⚷7Yy̪!S67Pa(t˙6aTՓ)xA q.XK.|Hrq2?UTnfd* Pm›Zf90-R ^چp8C]f}orUg&^3;HbZY0,"svp{_;GYڻFKM`3Yuڅ$Gha;$ƽ}Dg8^2!WSBǛhQTHa@=sO =dHqd;$hs#7_PIMt%Fsv䏌&hħJ<:Eڢp-6Cz8$*J> xvC0TdR:QB6bES,h28-ftPzܷ bV22aOq MؒD9CIapΜiU"z˧iS}}t = pM?UW~kV1S[k*rFQf,Z2:Iۇf(z|sJ`ڼ5gRSRxKkF|U.Bc9!~&l``qӞ[|sx~KQT[a$?hd+ 1=ӥf褼&x^KzjO:՘?ƀV@rA7`谝Q(;;B9d 8kH{8Lu\({X,hG‰!MY)ƒb#(@-3BkgA@QRQv9fǡ/[b:ܹFܘFKt^Q<_׵ؐH6qd֎f0t.4جiͅuE`ҽaIiw290`djAD 1ϟF7FO" 6}C&"*'9AEU,W =m='Hh0PnJ=aHVۏR B̵2 c$DLsʇ`>yI0:VyƋCRf7O/^BdB_=A̰f Ƨṟ3#|Z 135vx6kRz|f9'-G) F]%R!wv[\☚S@fqfآz,d7w`2,Ph\I57yUuMg _t+6.cn/z>Y^DsA۬b $;Ѳ5R[?b"v$s%"zY9t${I!(qz<~❖ Ҧ4y€!;DNƵë֘F(]q!?2Ԯ+Q+ynlJMPEv^m0Mz덌rM``DH$VU̜=a& N_dX$hՏ7eqƧJs,3+y.(⮴i# v.5hr Gkn>Xrga&w ǓoZO@ gۺsc0ax+G TYcмWnTHbR]N濕;w緰0D~x갔ie/Pj;M==t]2. ^NYI}0V?#kP5@h{h6@T~i"笔)Lե'SQ"(rI'=w}lK9^*ȱԤ9$D6H} U{ j# 8bӖҮPvxk,W$^xχoتS;%,زWCfFo;Hk7%7%1.C<yZJL{.R,:VjLܺO2=aIנBhSp{ipNy4>dAː(nL4FF7 o2[L L/`*&2D3ߖ aa ^zHWT;2FM=w3wuJ/g܇'m46&P4M^&I@ bɋWєpJ~,PѠխ=(lFiQv8el)lңO/x<8@󹨘yaF;vqSg~6l;S7[TzjJH-YJfFiOgX~hrثQVQC ?)Jĭ&%:e6w2Mg1b-x!.\ohB  ?U 8xJJ~{0itcAHj=MU\2=Z[&_;hLMŝOs>s@ET2eNRgM' O1!1~s4Vn1y[ɀo} Eo-lqeWBhIJy'4fɄ/$yoqxK=~LJ%hCԽgSq\ߏ5$ ?zQk.('TQ_쁼DvO:S]_J5a6/K$ɉWU4q䫴,RRqPUXhmH@J\*A̿r5d%d \ FD~ЁZl#.ǒMwTHl rŪ].R 479&7):tЎgV}ܓ>ν:8l@-س :L}d۶pR*1Wv7'[.O/H1?kGI#A2l@`H ZS8 HaL˽C/Z3Da'jѭa`Egp3*8bM 2I0pbDSGMU Dg轔KN/9?8bfZ+"4zbi XpnpT^2 JHz2fB6'.Z?(HL(cjGGhQAc.HZ:TdWrg#N|| l %߭vp^{N֊"LX߾W`Ą죕ЂuUi7Xu%M|ͪK Ls`8i98knyP=j>h)ނZHx4nhW{6.plCú V/W,Rt󨻬cx)9U>dgu%OYP"OxK ؀5xwX$iđZ54Nʂ|pF'H»T{!jzyIN\4+bcbYWE$8+El f_8^oXfO ZjOE '+F?!Sf4lG?zk3/lڊ=:OddNQnơ/oTKkb/nWG@H[=@QSeXanIuu/vw7m+¼aW46`{e7;҄hAhLoH5o Źw֬󑉻E4UlpoKgUQz^Bx0)[);GV gJNP%q " [W ~qORB)ECwjhBr&VrIg+̢L6!6cTh_#?,C]pKoC.@7'[)Ԛaf6dc+gyf WazTfŗvt IhJ"[@!h.bOR>>QIIuPs{e;5^HkஞeTHF-`*_R[e'6_lgKdXiQ} _ts!#%wrUD%-]3d Kj18AOKd"z[PKl]k(0/ >L/@HHY뗵P0r~Lv}FUrٔa~$]``_=H8Ҏ𑂏m}ߡp&\LglnHCU12"w}{ aw ۫T˿_ȹSBn0P=t؝i)\θܗë"=a.'n raMo55sa!W챪yMD8Cl BW #:ˣ!%*н\EU/FUrï T]7/C/Qe ~8X2].ΥkRĬa!3_>q%5>vQ  PT(+2Yk&2زm*,RƸ̠5.\yl`j3n: q+ e?'#$D}*+*gg8b>RNTpeapmAPeE&G"qur vI$#@7;P٫8ߍ 4JhzqcqVȁ(42xvjDH 2T)Y{oBVnr}pt{v3<$n\v :l >0 Exzi1p߫X?eo*+ik#®OnXpjc~/7XA7o7Om*avyT tG`tKu"TAY@͍q$ kȁ~vcekZUFIl<m}Z"-̹ȵ*D[>0ifdZrIX2mxLIA!R`o#R?-GHP~˨PY]ʍ# 9:6@'^۔ejsD̶%ȂL-gɻ7J!OoOvmB${x}~[+K^CF\tX!AwƻGeKՃĔpҌ㻒.r;q:p A'yW^Kl/0aW}3ƢГ-9NxcR6Ht@xo+\cMQ5R{Gq] QR[_ 9'0 jX=XRςaO%y#j [p\4D}j&)pq_%2 zP5 |z ПdaZ#!9ZBjdM"d;!=űOqi\=a`X|WlHn^fTPzHVBtB:s8%- V}E&9HyO-۩V%-Fx#>jC0fTYFpiZTkyT3#)?"ḛi85U.1G q5,&GJx=,h@&,ԭ+t m~bsf{H.~K [BQ>t {ZB+@o Q E~7Вrox2Y(kFC =#cp۽ =dNK0vSuA Uk^BjK1Ӳp]4;.ݟ "zݵ3? |ŊzOZܼߦ&ډ[Ǿel&[ V.K>\4iuB ֙)FE􍤵?XJT f.N(P5>~xNy&?#RʹGC>fӆP|\ an#ґ5xnFˮ?v[Kߍ@ʉKv ʫMn/Qu198X{{F]==SG\e .3;.< SFrWM<1fu5 VvfHbe=?{So\Z75X0>Lj'EN5GCA|_YLb2KUns*n$wogД=Kc4p0lkwS)@q3D앷% T7ؚ1t_%~ܐCYxBoTOZ<bԊx҆z0\p?ڢvOQ0֗$N.K4^UxXj!T]R屟`8FUT4h~XH5"]STZmgqaKnX>Ϻ5v8ja]?lj:nZitr0Ьx|'4llʹ()HE!/d$M׵_IpqN=R[a~0>"yB d9^vE̔B)B) K֪'ܓH zzBq8D4) 1|OI1[@'4< v&?cµ%nVH݈nFt/ǭ&rtWw'ǟ#t;!G+Q > (NX_{LƖoݽzYYY^-sDN*T:`1'<'cM'CqS F- `d V7tn8:@?ZEt[FP_#b6óm}BaS2+Q 0Xt}Iqr~ Ռ@ !\ C$ *O)?Wđ+eV vl'rL!B l qCr-7ތVM/_REC!A3q)srE?G/^G߭zׇ? Цa.;R4>8G76̑z\qR <,<¶V56}>-MkK~l*"Q(7>p4_VXmZLvs\9K3518 V3WSq$' t4wAKZ&ީ98^G:[-Iq#NO`1GĂv-U%T ^g>AahhڛyZx+MVo15MKź'8lb5|RzbfiL_%Ө0Wx>qN{G_&"7g:T[ev ]"@p֚CssfOx8ܪ3šCI@NdE|zG.0ȱ~47a*zq .11_N{M}! ۖl-KoG`,z˸?#G sON%n96-Eɕ㽶tyGP< ?R>ql~nzO}# Q ٣/P3M?=6}u%0>Qĥ~6,4@@( \)ۧ*`ݻ)gj M4T{\ٝp4P -HL<;8ǒI:r}{nI NZ\n H>S޻~ V4uDD4|f7Аꈌ=§$A zgHL(e*;!+ zJkRa^3Tu!(RyKm"@Fr.ZC2EZsI5SqmOa_{w%{emd[=TPP F^C D>wq'1nmp&9yU41[4|De+XIL7^9ʥMfGOkT%˰E-97Q*IQHRFuq^CwPa λ1-vۖEb7 {,J4{iM8_Pl;J:4ɟdNuQgr0ݵ"Ln 230Ԗd1-F S-95]YZ1`Ds1̾le&z,?x§rw`"5d1"G):zʦ V jL&P1 V 8U|pBA d8ipA{[EisJ1B$b\ky8̆Ľ'Z3fXwUչC I숾93g}ս‘<*RMkkܾ1>p@ZYv!rnfdF]fv)RY#sd[wh=#jOsxSbKV.ߺԀUɌ``~\REג4y"w + -T/y@F 8F*YP /":臈pjZӸp)ϒby8-yůY,=L"N"y%i1h+1uڈE[W'UJxKrH3-e!Íܛ/p^ 3>:xr;G?&T\Ev5_??;0DQU MYn7euf>7S(Ξ0aKaa+KI+cH]׳C>s?mW .4F:#ɯ.#>|YIMAm)h3ԢjR[i#z YZ