picosat-965-15.red80> K KtĉH2!c31^ WgeDsupport@red-soft.ru  WgD|ev,#̚SY% l=1?!d   $TXpt}  : `   ` j4( 8 9 (: G H I hX |Y \ ] ^ $ b dCeHfMlPthuvwPxy*Cpicosat96515.red80A SAT solverPicoSAT solves the SAT problem, which is the classical NP complete problem of searching for a satisfying assignment of a propositional formula in conjunctive normal form (CNF). PicoSAT can generate proofs and cores in memory by compressing the proof trace. It supports the proof format of TraceCheck.d|pstapel80.red-soft.ruRED SOFTRED SOFTMITRED SOFTUnspecifiedhttp://fmv.jku.at/picosat/linuxx86_64@HPP!?J"AAAAAAd|d|d|d|d|d|d|d|d|d|d|d|d|d|d|d|`9`9`94948fb46269d54aa5aac12aef57dfe822e0424acc2eb39e631dc87fa51d9800d99ab42eab31c245e19ef9574564769225d1debff3b54759f2630cc9c77a7bef25366a5715560373295ec257244cccb44fa3b1b7e04446b2afad2bd869a8c288ae7561effa8b0847857dc107cb99f34e9f524dbdad0a10cb14f814e7873b015b9b211d21760d128aca2a55d8e6972729607da0e71e98b2a7b61d1edf8da1c38d735645d3aae9644e19e24f9018bd4cf6405f770e26d24e78b891a0a4a5affaf1f6627d15202e6ff2f37919d893cf6bac2e8e299fe4476a4b2106feec7de67fae9c2e37b609a79ba36f828b8185c87e90a5d7dcdce5a3e13f78d6cfbf5b22ba9a5../../../../usr/bin/picomcs../../../../usr/bin/picosat.trace../../../../usr/bin/picomus../../../../usr/bin/picosat../../../../usr/bin/picogcnfrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootpicosat-965-15.red80.src.rpmpicosatpicosat(x86-64)@@@@@@@@@@    @bzip2gziplibc.so.6()(64bit)libc.so.6(GLIBC_2.14)(64bit)libc.so.6(GLIBC_2.2.5)(64bit)libc.so.6(GLIBC_2.3)(64bit)libc.so.6(GLIBC_2.3.4)(64bit)libc.so.6(GLIBC_2.34)(64bit)libc.so.6(GLIBC_2.4)(64bit)libc.so.6(GLIBC_2.7)(64bit)libpicosat-trace.so.0()(64bit)libpicosat.so.0()(64bit)picosat-libs(x86-64)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)rtld(GNU_HASH)965-15.red803.0.4-14.6.0-14.0-15.4.18-14.18.0dcQ8@Alexandr Subbotin - 965-15Alexandr Subbotin - 0:965-1- Build for red80- Initial build (rebranding) 965-15.red80965-15.red80picogcnfpicomcspicomuspicosatpicosat.trace.build-id2826357bf14d8c55d7c35bdc6084f7cac3eaa2b94bb25d8e6eacdee6d16588fd068f506c79a7a4a89667895cf96d75913ea78d5322ebd43d7106471b99ec127529e5a40874bfb0bdd720e5d43c90915aa3d819844641416cd666a4bf529fe53ba8235172picomus.1.gzpicosat.1.gzpicosat.trace.1.gz/usr/bin//usr/lib//usr/lib/.build-id//usr/lib/.build-id/28//usr/lib/.build-id/4b//usr/lib/.build-id/96//usr/lib/.build-id/99//usr/lib/.build-id/a3//usr/share/man/man1/-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protectioncpiozstd19x86_64-redhat-linux-gnuELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, BuildID[sha1]=a3d819844641416cd666a4bf529fe53ba8235172, for GNU/Linux 3.2.0, strippedELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, BuildID[sha1]=2826357bf14d8c55d7c35bdc6084f7cac3eaa2b9, for GNU/Linux 3.2.0, strippedELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, BuildID[sha1]=9667895cf96d75913ea78d5322ebd43d7106471b, for GNU/Linux 3.2.0, strippedELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, BuildID[sha1]=99ec127529e5a40874bfb0bdd720e5d43c90915a, for GNU/Linux 3.2.0, strippedELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, BuildID[sha1]=4bb25d8e6eacdee6d16588fd068f506c79a7a4a8, for GNU/Linux 3.2.0, strippeddirectorytroff or preprocessor input, ASCII text (gzip compressed data, max compression, from Unix) # RRR RRRR RRRRRR RRRR RRRRR RRRR RRRRRRR RRRRRRR RRutf-89bedc7470b5105600226844dd5fcf3d099fc6ee57da3f5e853001cc26c77b9dc21212d66b1cf675ed209e5f1d947f3d50b73314a8ddfb70acebd18833dc6ef0c?0(/hmAD<MhldQ VP Qr"[9Ď׸.%qfTk?"0G6YBR'eI;RaP]D sx+xlEt`s~ނ S Q᫊{?GC{}vL(FA+Wn=&~T:`f):*=sM'σ9|bG湓@5Puul{^afa@aTo:ɘNk0Hꩌ^^w!?ry? بH)_B8<@D[oXl--7ǫy(bFb@?| geeS4 Xч/&&&& ^qĸ3TTL] qƴ9&LKa8/'?M_e)Mv\ZNNvp6եi=7_Vx{}nq;W 6*H^,RЊ#/bd@DS|)Y }дGLE"|mQ}m&0+<~?7$s{\׍mJE$}"#O3"DFWb~csLV,MsYӫ?D TiDGZ/#b]iCD-6-QS=QOߩke %Q5--rynrZlglp4\zf[]/6p]m^of K^nvrx4o-{黙py.0&Ć8$/pvCUeXdFO{& w0I%DOj0+h{"kc0=ɩphkC+f"ALR Xayұ6A/ DhXP X ,vDh=ˤS"~ƩXP"dAbrar)Y(C?xO9kj"W/Zp@!CA6VP"ALe; ,QEΗo |r \6哦5ylzЋsgJqjuhB^nc0Mғm]ēX&%3p\y?3 N=,c4TCJ: Ye!C 9T+ΐ:)Խ̺Ga7Vg P92pWEjzQ$Tz {`N.q@ Y$`d!x+aY%PfE#Ĕ- eQƫ%hCż DK@`f3/ɂ]&Ghֱe fRC ERN(I#䧦LORkņ!'W+ؤI~y(rWBeFJ-HܸX:tOZ.m$jʒbO(6ʒ 7j0@L)/cQ∏.wMBs a>r!H$=,q+(0y'# w7͋ԴUW54;Y؀~Q/?>=}87(UMVb]kj]4U%0QyjZ Z5x@~[p56vcZ6|KDFn|v˵Uh"yN?֗VݵrZa`^\;*cʸe/++b6oﵜ=Z-4:>ץiy 7irx:>7rZ7<-ᣉ>< Eoiii9K(NTEpֶ_f[*Tm9תkjJi?:ɇGX{VM 8=r:"Ν#9b=.3d뮤p+ @;諄D\:$B$G?g2ڡquHO9WKU Wq8w! C'd8HaCfGضVlh|#WPNFCG,b2 kQ1!zK;Lgޣ I%O?VYɜ, Պja/ QQE;Xޣi;[lvh Zx<|'G6XЄtbǔjn)<{_"o4·FuI9'R^IϔUac >|WKPИqzy,S;CfPr:c>s_& >u@۟A8Ng>t&J2]jrrzrZjb*+Pg~^<Oimfvnlu/7q7hfvm>l`_~՟6 sZs[.-/_ץY>?3Z^깴| S8<{m;fy{ccAWWl8Z?ѫ ڨú"6Qd?7ܹ|(G1!S&W->*;QiMtO:E<S@i_zB}uElh'>r2}]}e~G)??R#m?lfg3/߾/?n}~soڍ 3-q>G9utFq8B|1;"5i#-LT؆ 8m_;W{ N+0T4MtXo.K^ A5J0/|asID V> o}CB*RG&]G?1h̳"4rd' CO3"\/JrLfp lQ'%7VʯתfX Udf5A``"ce)C <$mdZ 2pZ( "˚CFE g+Q 1'+2Ϩ'kP /(1FdTb9T|2]Xe {׏pՙXE1zV+(N ]GKĜ8SqɡN>S)r3tg(H;6.&N(PA'S| &nnWRF0$P|LA-YuB4[0`̓S eӰ9#QQ޻Mk6oߪP3"B`*('-CA{8*{@_4$@{Wp:8e0' e ,ﺽ|^R{"2hu8Yą[hYiFˬuڪZn~ϏZVsf#5ngKY?Nj"%0.i-O[v{m]B%u< w[6h'wcYrpZ[%oe}i8 A(miZ٬eYqH+Oi76Qk9kZVki״jڵڰo}j5͞h&mH{jk ۗu|7.BܶwϵR Q/1ܡYx -P)Q銓] 0xo"U؂QJ8F>5s442TdV' !YQ#,H@d"K #]Yy0i3)FRi&}3醫^1wYaț/v%(̘1,Nn<&Ǽw114.#G6;{O8AKSRgsܲ\~jv NwQ39ZeQ5v_MR_ ('4qyp\s3v w-}CC1M/e:0e v3aSۜ#Gsh>ˀ2AnpڙqL9=Ӓx4Gdh#g[^w0+TL_1:GY@OG>n% ]DEnlOUӺK)jKqjOإ1Qul.l"Q_'tYR'&h'CL2`pY]a7y/L_bvcVPeBaw>vqH@} :wː0"nO) iҋ-@j3%JHfҴy=LOE:_~0}{3ɛC;_ErzPg3"y4@y2bwJ'YMU >K)IXQ1$x2H~hU_8*S$JdA&P x9G5־>##&BLYTN >z@;Y\W:%P&(宼A"pY 9'92`'@\.y^(G%3C⯦}'MӠ›J_PUe"L7?=:6h^ P>pfȫѶq'ֿ-_zʳW#'\XsyS+|h"vl!쥘u,mg.4^j9 HOyt܉ HJX?۹vڮU k9زvB+zULi҈Ɛ_a_G1x^^uӚ&<_OF{/PZ,d 3P{^qx"=X,Q[>8CKp< rU*S1-aSsT7}ЇR' ) wi۔s-vumÇ-̷at`wYވXڣƨ:TUiffWP`=XZZnWPŌDCBApFFE=D١X UKþtR/M ~itFݦfy>fx~cKp9[;m˵3\-(E0 "žRB~BaUdYCʎa&AeUr`>~ $~K(i'ڬhUUX+b?}3)jÕ4;Ͻ+kY 4&yy141% r̖uI  R P)# 12:I΍=9"\ˢco@f"&lA@([&A97 ;*8c1YOX#Fz h Uٰ'2COc&^>FOxrT ۵x+dlAܔw n9v]W脱-w6}/QAbCم&t+w ) '@.T'(@,`I t:r1a(GzD56O +@+`v$.<2@mZNLJJlk';8n`pm+W_ |JPzG Fi)1+Sz96U :$e)-~ȳ6Vb` Ȋ/>䢠$(FOԂ]Z(#x. $o,p9”u-&pA(11a+.Gw;@)A6RD Muᗛߑ'4|Xm-DF}8$v\/+$yYY73lɵd6m+Aa"i|u1Z}b>ذxtmK# 7V%C6$"'\CP$Juw Q# {Bv*:'@2D%`ǟJ51. B*W p-3آ :+ȡՐ@fЊO@D8G% q>ͦ *U`ީ:HF@F[aDD!%FSejylP(+؄oflEď9 fs>'# uߺ?L ehd|QM,6fqVuf1 Ԙ?\+S_:j~k8NǿՊN6uɭnZ|nqs[5Zzn-_4~/FJڴV M$'E['_EOf-ܭ-i9׮} p7lȋvp%x;b< J&.v-({جɖ3w&.,ݖzn܅[ih3_&K1R\SvvJh֟):ϸݱ*i / Mˇj Ot2Q#CMq^Ƭ4qbV:a>evJ1zoԱ]4X{XY4%zig̳Ch2.')I\s| 'e'@%xP| y*|t:iJ=_X?b7 ~ٓ_6h&NΦ>OI-j^=ee"{.co=H,+{~t-/}]wCyTZ!y/ wzt>Q2;=Lse(v.!dd/ZO蓰<ܑ')=^6Xv@2) DG)/@]FbG4dͫxh@t˳aSOKdSRBax<71kֈ2+Fww=[3Λÿ{< *2څ+8ľY@3{9#-YET֨s]aj<"E!L 66Auh׃+/CeM |h ."6OAyZVdY4o&bmT* <4VD֥`~x*ġA 'TL039)<ۛS i)pVΰ=`jC Ca5CV6MɄ|3ks`ҪKm 6d ׇt‹K%EJ x JK`\Gp (bQ§PJޛ"X@7@ jm-JeOYH[@'{BH ctD`fa=.;޷8#@Q>_ dMv} QSAPc@SCH^AT]TP6HBs.՟Jr** 6JfF鹹N톣VUQiZ,l U5*k̴RV+j=ϵZVl6fZj,7%& Gm?|Ͷ_폳_o~vܼe12Y8l=7ݯҪ"TrtGHe dh}ܣ3QTUd<~gʨ&魾`{J/I+2 wJ8yHc3b"M e(.,0|bf0o nc/c3 xD}-4?Yع"\Qz_ ;G*"vFsiFȜd-bz!d)w=YoT9G3bN\{b[x!`pJp1J2b˽]H6kMsQs.*R!NBBۘRS(+#LvkjhRkj]}"gNEz_',&Fz5Tط|_yhWA\v."R&qDX.I:'*qOߑzl%#z`O:rGN$gu{:s37$|R\B%q zjd$q6|w}PQ1<"ZUÅ/ؽtRmv4]=uV(b-LVҢb;טeK^uW~" V?ZO5Vyձ5b*}Tu+Lz80ZXN\Y{4P&dAHp򰩦e^eR @@D1L0m &>{>^Ƕ-l ܘ%tM&Q-Ya!:phlRrK f|}0/ވ(Lc9Mp0kâ7r8puCn\ApeQ-ٵ͖hMB3p/?5ZUC6]E]JFwP]WlnEB-w ]MTl(A,caT^=XIO V,[}&W]]kKF۞4}π ~>^E3y@¿BTQ;XN,jFuaDS:O*ڿL[:#)Y+Jg@=H&W$2W%P,z5_&G;!K;4բG`tʏ{/']KƇu tZÀR{"-0){^ϣ& O&_/b , g\N=렑F1 gU}  #c<5==.AT| :oMVKWhrv:ϾÊqb1O9V{#>NJg))5l;\w مiUӋ]li/?V_H|}_YŒ3,1*bZԱ0(h'CWGBV/K`C9Z*ov9 鴑فuɍ`Ɲ u@a'hٸLٹ?pB+JZ8-L0)DA8,e x#%d\Mr$ (&I앲ϙN3O~exW^.9ٟrugf=9 t6Լwb$]JJ؅Oo-VS#A 83Ϫt3/1z!"iCe <|ط|TLIhmCQt>_ft Ѫ#v]>ipH ٫Ch1s7 BZM& 8.F@$EBf ~G+Zܠwa5tQeօ!L' J H\ d$d fQiaj|b\wZQ: t~}Chg\Ϫc0]5R#+ |R:V椎VcD%A|9| JjUݿV5L$kȀ9.6i`mb3e>w]QE"zbFԿ{TF<dAųbjJ"zZ_gki9^C 3r.i"rZ(h k}98>95uLK[$#plllA*S'߾=: Ω)+%3]-}\%$-RQB~  gG''@sC}+**D #cz9$LT*:եr f<>{k9mr8fmw[^n9.f~f77NfWqt-lSSZ$@ 1"gx8hrN0-XGgtoqÐԪPXjʫ+,9XB|߯-I^5~/b? q!! ?U+. D6#"UL5 AqFK#bo0ʏ9<@ c?loT|V;ub@mw`QF1A.2ʾP@cdn^jd= QH$Z0'ƒn$'8JhÄ0 \4Q<[YrĐ<`ȌL%w3:]' `-A}Sc Zt\MhCHaƑ#YS-^M:9L{,7b22_9!+,J'H%0&$FH ;zv9%6m^Ӽ#>.'sdDp`G·Èwgé V%j8UPb@ciaZ^xJ'C}2m %ʻBH/< ΔSCҫIa" i2DJ^t c⢜ q C@|fR.|RUp,OSX֨b,h_@C)HI/Q #-MT`"R:1nʬymFLDrTyAEJJt\~T)>yąm:B$?^bF)>6(^xh!cE5Ꙟ$p6)xXĉ2=!YF/u[-0A@A-M}K + :8ess| 4u&fm#V {.MO& c/RL8 B9@,H^j<d Hw׆S\_4ѩC9OaPU9EޤRZ'<e0Z=pyܫR7ęby5 Ox+KԨG.$ٕ2;8*ͮơ@f kf( htz`\e7yN8 vxӖjd?y_+;:D)@AYxB(3^}&棐hP~*.!Y,`7_k.Ajb`' Ί <ͺ,DM}bSED䎔ğ2rHB(d/T|Xbj'8nω{νQ8&<#Wz P3ڐozxP/JɅbb5遀(]^#D zRm*ѳ nG_Iay[>7!DXafdbOǗx bc ltu÷P%DsSI檡0OBj!ɷX~E!ax K {#bI +_[Wϩ4?'OpA~{ D -H6BUw2x>"[\Pݍ!2xWӀࡲK"2FdK 5SD GmTzh@&!S?[P:C2T srJB&hnܸXx<40 蝿|&2=p NbԜ AïHmQd L=rM01a搨J~FRbv-ciL Jn&EaU .)XbOFcPa̝GRVkS^w` ֦B`" ^p &ń#W dZÜa1wN}X !!"%E`pmsMzc<`Ho }:e4]ɐ d-4a/Xu|2bdV))i29NDeI<相pV+h9_BǨC-{2tMQ .'2P$g Sq 1-=ƻZÏjl%E+nQqr2B Zhy!1R2DیkZQ`LJE pEf|}{ 3*{5=Aa+ۇ¸ %a˕q[A/8ՙ5tU^!63m ] gTQLGU]3֤tktvAH,cx~XM3242!3cBWmD4MUyF.pZ`w/[;N4 NśT:d[JY-I[OQQiaLr\\0%l0I4 )@Ë+LذRb|9&@U+y c' a&&O0W&P(EyC+ ȀrM 4K|Ǩ%\8t$Ah2ul|]#(J#찆9BQ i_.0fH% u* &{6V0e[*0z ps, 3czHMbC })akЁ!cO-CL(P8*%R#}r$ɖO 03/loq a QـxZ Tdda#Ev E)@PnCSOR" zH`>w4ܢ b ly%#Ml7D Y. &wudrNc4;v2 Y㬋EM!£F(+S@w˔MMj''0dVsnST59yj3 }zz_4ɬ6{`.Msh7)}2{&oTSf`ܭFn&'/{P` FA1nk~2GQg(W߯Jgs*E{ܘMf'05i~rh79 觮-Ĕvr]>AJ%NO&`&Da@"Y<¾ЊۢX%.-Q"ƏG'h&&ID}mG1.o v($8mykы7?Q#{ıF{# t@@H lmŀ-\QRH3G fp 89],n(AKl6ԉZA??b]v Q-s&;8!ж& Zd*a2h lcP`p$ af00Am\Wf4I])KU0tƤ(ӕY0(Ⅽn(NkHɰZ (p\ @ b <[6WB{h*z!_zsPX$ M.i<+iPKa"HçV |2^./VBpd&(H rZ;`aOO3qh. G>qݶ IE*#&8fUPX4;pG`0j`[H!3#+.︸Hj۱xи-y2F#ӫ20tđ$vRrŒjPEuZ `hGC!XXqrcd/s,E{&a111Hffȣ璈˥*P\Mv$? qZGWZhtzPrrYQ5.jJ&DE~y&(7/ɄJK5:%`cư0D !{8fpq&agndE|刞XPX4)uBЎ-a&/ y9EF; UPy4FAǣ[!(75;qgbC|E[tOaN?ӘJ)x#\|' ؂퟉Gl/:JT^Zx 3עJe&@d3>jh7KP1V0i123H0>u bL1J@S`G*< .h@h*ҦvoTQ%驫վINi2kl-]Mqb(2|7b%:YG2,v'$UU\ch*Xm =g` 08`~(r>eH,cB5H6qJ3(zt'g$Ha P 0@fny.˚~:GC8edB0#VJAjEq~QܤD`w ψ nHOc.>ӗbaS7Pr1:;cqyqrac9>&Sq/&Jg唍r_Z!_䰛u+c5[:z7A?}^=J]>[,'""^kPOcĈ}"^h SaűU6.3kivfb𵌵g/u &)cOqAp̫8DY8㴢M(tUl7_ U{(!`-:6\y1؜. ` 6N$.Vcۼ/3l-?t[^.2IH}.hTbM(u !O(RE/jPS|q=W4Jl8uu(rX\"'r]Ķ7Ĝݕ!; M@Ư6 ðG¡"+A%^/ gWWn[O ,!O="7q1Do]Lٍ9KquE3mi((>oD39A5bD` 8~v7 -?Ae) [P,y[Z4(_29sّ*> J7 kбȿeͨCx*Y_0aLG $ZY6P.moё/j))\m,֠Oc ň֊">E`Oػn@=s[/dkGkИMtk$p&]c >?$`,ҞAZ,(_j@10| x1ezRV U> .'{ZyTTEGˬ# jb'Q~0ZEha <3I0d]g[2}C D _#C4 J?J  <CwIw-emQ(`-r4k OXK0) + >̓ZOG[G|}+&~W߅ Oqh|f! Ƹ |&fؿUh Vvw#&@@*͘O:}ቮ]\ \H| !ՋyB#i+'mKgt\ E.?~2&Z"I,;fc[܉h !q>!lm@ZDGK Ө?IlH&&4j- wS6pR ͲE-{/=D˗jp($43q1mm\j:~K *'RxBϯs _ЍS_H#R#>_3 uVOQ _VtCwү ZI\-uMQ$pڱ92;w7v|L!{>Հ݅S.mh/`v ݹX1+$!DOy Q>5~{K?!\rP3ZyV}p$J$FYw ~|h+$Uvݽf3Ln/ h=V=(%UfHX@׀zG_uhyV'=&gbNhn|ҿYSCO?<my UZyNX4jLoq' vCPUE5]cYX;L9ا9<9iVZ[X^cIZI*h|C;+__vU1OKGg.=WG5 m]5P];e2苿)iෑ^T(?O"m8ۈ40OhjZ`yUmmsv`#/lj #E!fiY H ZaAh.Z!LnsPLCz$lYGt|1hmX|x4ߠ#diP^&Ä`^ vi: 6*w lvJO#36 2Nx5~ǫX:bg%H #J7cqn7ycL[{tM|/IfQP^ay&5XK-H3:CȬ\V]j+@Z lF9DǹS|[wHHC*VKb~@wֿd|oXX6YxԖD:a_K mz9rv[SDzK΍2¹;bt7q$F;sU |W5/徊Gd޻scNnGT<4]QS֟} ]~]3cفӆL_KE{v(Eј$~eTzA1h2ojh`2os:e߁\.@($› &WWĠWbpb%(@C( >@mƫc#.V R1TwXa"č"^fХI<%IU=:.e3ЁJ&ewLbVl$8+d k6E-Q(2)znB'z޻X=SV~$zQ-i4U u>FmwP(~2M¤fӳ\l`d>觜.4 pi22z|%H]H[K,I)ndO/S I#AG˦qO%A2/,\-xk ZO5_ &\=|J&Ffuڑdϼ7%RkzgRbee7ipO 7c1a^e߬pY`Kh4-61MTڳ.G䲶sNQO{:FoI~֣@a^zq83,>6mfDBa T:Iۑ /w.(=<\* |C+AFv˩|ڀS`׻~=z!i&#Zd@cTd2; j Wo|gt9 z>s8'%7[JHZ& oo[ Fj%{B3ࢀD3/U.aVmk&Ӄ:{%9jPcc ]tr-+IkZm~׫WXȰ_[ޅ; n5Ya E}1[ӞVꬰG N #lNh|&)U7Dq 0:ǾCEfR3&Om,.GzwܮVW# G&9OV!$\*bkmuW•vj _B]6_Wp\b8 }ᏰĹHԤeGQkhTH61KK?{)ն''erQ$F m~*XjE@9803)9@_7 PBSGu{{d)Ey7a5$;:6 WuG'7ߐᎪb:f)`¿Gb>"SaRXmzAMM#,SǣEnq9Rv``BCbQ$3H R _UCPYD0( \{.|*^]9~E!"829w<BL.2y6%%f 85g::+8 mXv_0^NUo:R>AH;!w8/Bj 1MϕKb$2q!IņM{_4957evb}3є饣J~AWͭ~Pv΍~gՎ ˸0c&~O 'S/_ܘ #el] tQsrτO.nW}0*̺"Г@ܝ5':rh_R{IMęi(VzR?d@ !YWJ'.90eIL JT"҅P2:½0:h1&:ApnxWE~>mGZ4~8-8J,ѯl%]CR&C.AvjlSR,!c Šn$;g141)ف%#R1w\@}}{4ab\oșMO\<1WO/V`$pqf3k|F#!8p+,^?P,U|}LUV G~ՋZ!Va]ڕfv,}y:ڒB&[ca tOuLIJu[)ȧtEtzn<)wgIyJS.V?P.:v-f "h6!zp}T)\/XxuJf(l6NJ5u_*BdOiF"sQV!>\` ?/;LtSK3-Fx՘-b$^S]ë(RIJgWge!o!sLMyf3t x.wMV=[ٟwsˑ{7ՈHY7h6O7JX=˜P՚ e$"FrϻCBfLTWQvuy2O$YVhsz(d o$gG5153"FDnJ,{ز {]59G:eNu7b& =o ȇ7;& zKk+E H;r&=\)ngk%GZ:m\UY>bζd/Du)33Zx()#4~NR}D r>"~@5-$VrA!+Qj/We^ʔ 68fdJu_ǎ`;%nqKcϛ`cJ8\"|29/7RJR}'JJ̕TwA_L;i2ӘW%MA_o/ud-f8woMԩ&TX>9qo6b-\Ǣs@=xiIG(eޏKHzxdTDbdCP*᷒E4 5dnlv8MNodQ?8Ixd(97L(U#1ut"aq5RVU襦:AdxFXL}AnDeόX9 rcA6x7bZpg cc@H,:5' ҵ\Dz8b;:gN+P 9CH¼-ChHdbB!]ƶGp粷c zy 4spFڀ`g=,m, HWNAID0YjcaGux9ǘmk&mk+2~lbgוV(7~~]kAw9+yHz6؀!%bS \?Qi>[%OZcƨ$_J`ه70.@ws2b$="J!3siF.{*vD%Z.dRPt {ɦPJ8g튴XL[4:^J *%MBS{5)aMSM]<'?Ge+~]+~@Va#ȵy }Mh(hSxV**\";}JbdL&$m=g RŘ,|$(1nfP!"P=646;]epBOz2B!ZW"a*ur{H55ȲGf~Ѯ50/] 2,NK8C~P~EZa @ɂH_5pm Lmgc E!A G=|k{`5`r' 5gN XfFf-_YWȒ {GP)ADMEً`=LmV8S쳕Ft^[tB4LLBfփj W`P4j )|M&8./q t@x^0*3,5(;f\!EA֖h{ǘq ƈh޾ք҄i%n`O'|K>"BXp<"0-& N&ؐ5:OOp&ƃ8) H$=PTP@?;o5wNb٩=qdJŬ/ևF.M'*;Ӏgjaͤn1pS̭WPR*-ݺk/Fk;Wr=;vvS7!\GDAgfHzU2'%[4yqQ[gXLJ 3lAh55kR6m&6@zLؘƁdi>?WֺK\m|v-BQX/wM6>.yQ7߇r_Ԙgb_~N>?M\.VMxnVDOmCmp JA]5TND($2e>p0DW^+s]Y7_T0PR34z`* l~+9J\rn觡ܳY#\$o)X4```̎'JRͧnp[v d/7Ϳn57I7z^9M{>/?`jkI-_z OJ8cF7ٔhjͦfM·}pEEZb>;ϑ΋l&9JI$#n4Ablj<5XIo0} ⢜~9<|3"o;Ow3׷sIy?YB`>P>MQy X #iLJ,A]V!Ƕ/WW},ƍ8#nltD0OddyI^ZK%;q$5 QIo;#`4!"-n;Cn;C-Gߗtf;jAye+LapOZQps 6 2kd|3iT %qjB` (JLW6s3DL稨#lگJdwT1 f@Gf-עbh 5gSڌpH? WR&l)[Wy{ eP