minisat2-devel-2.2.1-14.red80> K KtĉH2!c31^ Wgesupport@red-soft.ru  Wg0;71o+q6ɁAjHhQPۡ9 rl {r3iQ5}?η7?6b,ڇ?kYU{ ol`tb7oJμg+':PJgҬA*s2"9f|Nh/0j66M*.o>Wp\ow߸bo]&@ߦ.>ճtHEpeiimT#ś56x`<^~u9f36c24b75635e6f364236a640be31138ec527bcd492950f53ff4e525fb97338a11666a062b2617a8b0cb297896b8966b5719a56aΗL`t“|L>=5?%d  ? t   $ : `& 4P( 8 (9 0: G H I tX Y \ ] ^ b ad efl t$u|vwx8yCminisat2-devel2.2.114.red80Development files for minisat2The minisat2-devel package contains libraries and header files for developing applications that use minisat2.dAstapel80.red-soft.ruPRED SOFTRED SOFTMITRED SOFTUnspecifiedhttp://minisat.se/linuxi686 VD< 3A2 y&/ |AA큤A큤A큤A큤dAdAMbi%Mbi%dAdAMbi%Mbi%Mbi%Mbi%Mbi%Mbi%Mbi%Mbi%Mbi%dAMbi%dAMbi%Mbi%Mbi%dA5c48c76a75ba1dc22543852abf2bbf7f080a63b589acb30acbe33fbfe835a280a9bfda2acf553f79cbc3864527fefff71aa6bbd8ec509eb337f4a838a9a7395ee1a82b73a35e6caad37627e2cc278d00df986234a0ea7e96dfa89689c7a28d6156fd8213c71a277d1f8129107f27c55527f47d8b8abb7d00f5eef4df908bb3f7bced853d985d4e2740f9b8868987400dc2b225a741c4aea5b75a5f8126688e4268a32e1f0875a4edd784b4ae1d7d81e9fc8430bdf0377259ef1a564a8a110d0477d5cc50cbbaeccc85db25cf3e4a652158e1decbf79ebf92283371ddfb0152df98e035eb6fb0d6200a46e5de8662b0c62d2abb8800172af6888eea4cd3f6c2aef6eaf0beda57c79e805e5819f3c1f60f2a6bd9c0b765720e95e8204ce6de8c0f69677457dec510ca14bdff4f3a7c8a4e8271bab830bfc3bfa2e6ac8653bc4f3454e9eddbc1c68ae40f72281bc180aefb0ffb557e1bd8b1ab9f068736db4b1b56190209abdab80a3562125525890254048bb732cfeb5017603c52cc2b00ca62cf708e0cac4c835e4b8f9ec36d5965d31c0e5ac15f0d3cd0aa7a7d6826dd2234dad5b9b031071af58f1ce46ead395d5b40321eaf0c88fb17008e6b4b74d91d4c9c0bb4fdfd697d222a2645096d1b88e43ee84352ed10b7206f464882afb1ccea079228103c1af0c7a3c12a40d5e22630e4f6678fa622ce8308cf4a6d01529fe807libminisat.so.2rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootminisat2-2.2.1-14.red80.src.rpmminisat2-develminisat2-devel(x86-32)@    libminisat.so.2minisat2-libs(x86-32)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)zlib-devel(x86-32)2.2.1-14.red803.0.4-14.6.0-14.0-15.4.18-14.18.0d@by@Alexandr Subbotin - 2.2.1-14Anton Fadeev - 0:2.2.1-1- Build for red80- Initial build 2.2.1-14.red802.2.1-14.red80minisatcoreDimacs.hSolver.hSolverTypes.hmtlAlg.hAlloc.hHeap.hIntTypes.hMap.hQueue.hSort.hVec.hXAlloc.hsimpSimpSolver.hutilsOptions.hParseUtils.hSystem.hlibminisat.so/usr/include//usr/include/minisat//usr/include/minisat/core//usr/include/minisat/mtl//usr/include/minisat/simp//usr/include/minisat/utils//usr/lib/-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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protectioncpiozstd19i686-redhat-linux-gnudirectoryRutf-8c058c0be95b7986bae907d884cb335e7ddd552e0cfde6e4a294819eec2cd1e9ca7f4429c8e4e8e694c96a90d81c5011d0b68a3f112f8f040e67616865539d4cc?0(/h,B)2Xc?=g)GVEa₡.ǂERD n )!$C%h\ -n`K8IcN Oq8 hU0t0 Lf,4`Xfө8B3l6`pn8h8ӹ`\܃`Lh@1UfTLx0yXh6u8C 8 f4 =>U1 8StxT4 ^%|0 `͂19Va]͌/ 0g59lATSKrl,]oMu6 #]64֦۫q6Ty3Q%Ix;n: sV'vdQU3os/Ux_Qf}WsWRַGNvbj CJWS=D8;1id(0,63 Z@8@ȇH}md:7u2\1X"@A80ӷmvE6W g(+eCw$(p>`L;|>B%60ТncsPƣឍ1B^J;6G_gQ\8ByVKڛCun1^ }feƖRfW6\Nu[0um kB5vN;LuV>أHD`vH+^vk گRQ% _-Z>MdsNB4 {s- qM1vgpmV^@ᤚ͵)ߙ63$}gў[Ǚ]fluLVq,*I;֞p# &w+ FCasg'c z M1}Y7}nStH(^['{jxf_9֞%X6עVR6 6^Y;ViJxIU2a.^J|pݩ}qj36/".Q õ9N\GD1 h \XprjZ^mq'WXwÿ*u$kiFB"KG䫜\Yw 2URӴK @ڷnm}ucQ ʴ)/E] jaޫukv ^Q{)-,U^|f? >]UTf]S#‘H;C&UbSQ9M.5g$54ZRc)AFu}\v0Q.KkOrvsiLJL.:@q  q <  o(ҷ񤨆dhgX\)W6ɑf8疬Ֆhvȝ[Μ &b6PY>9fyvr\\__V"D@# aPE+0f+e5vKRa|-0 B>.dƳ4~&ܒH^4 ~FD1+H À&36$%b(8TQ$ %P5NLE w|:TF!ijF I=:a !x8Wa_vmţ9!Ըda$з_& 7莼{)^ε'g Mh*N=1o4D`w5ufFilK {He1~Nq)8+U5)ˡѸwfi K!D㈨:+)z*y'# d%zdqU@ nFF=#˸[;~ߓ\qڐ[7er>zTwI}]jǓf?a=Pr[}{P"|Rur/ch"^9]8_Q{(P4SZmh+ıLBYVb$* _V0;п=X CwU!Ia]}I_E20 'Ȫ帚 ϧT>[ňG DM>FE,W鰉"IҳyD!Kpg妠|SqOΉ5];"]uQE!aa3Ysc2e(5+cVYI TZ?)r> `d@Bkx {QsWRvjq.42 BE Scd^Wd]^|KJSEm"IU:_WmS8$1> U>3R}5|>eХo+|J]w߱`0:VL?rj4*p CrHLy\3j#Q _1wwty}FsSN'~D '|0Cj픈ut_DIqULoU/0 ,h#@jY$(D2mK0*^ة*>9\~-{6"j!,L7TcA3 + 3R\.{7mʱ)!p ɰҫ}_|Ȣ+Y}0y$1F{'$CW4Lz9=9DcKC~CT>??0$[A WcpQ05yR /]֌BI/Q[.EcHDI'"ޅ7$sg~5 \3P5 ъv⁵?l-U|svGE[DGsZ-~/vO|̨]5~.:$ *, Wyۃ ؼPY.Batzi‡+5riI pu ߇a.`--(@0YIR, %@PddxoQjB Ox)JK%Ie,`X;"g"QfO%3+5Lꝟpg8 ~bOFz[5 u o=rm؄:6l΍y˚*HoPqջ;hBn Tv2Hͫ}\ꍉ.?P%ϳkRۑl%;m+H}@"BBOH4AУJIl ʠQ e»"y(J*P(jtkV̍9#ʖC]B')_=#]$e9?d{A?j6wSzVQe5݅$ZOgͦ1$FHCOD\#.@Tq( !ޭfN38 IAQz$rGqP1F0б~w`_Cq ȧd&yd@7[S`"剀F{Q'#|e2 .s&m砳qU ʺt;K[q@ MUtgG~Vrɛ#Rs6UݎW{GE٭kKJRBůCu*풲m*~4C9sIpLlMTf[G"OJDVOPM`dB$eQ 9 ODb i'&/R -ej~{g{tY-bH~n _f *{\ԭ| ]'¢fQVn+„x pJ2w%),$]_`B _ЛN4xgn}|59hczsU^HfCHRSy*VQJ=ZLi(Yi(271)vaW̮(T?>D'0 jQT| \e!ql[Uv\u })"!yׂe'1 oiD"뭕! Yk2ʡ^ٸܫ Qd/ub^rfϺ]9:UN>lBC)f} oЁU"I2NKJ;:%טآFzzȝi[1cdoFt-}! fݾ.nkʾh\tՋ%r}k!s8>֐(അH'xW);o>֖h8+AX{n6qK<Үq #a BR;d=cX̅;O+ drRGQxRmPs:;1OTme8LPDgWT2769T*MEeZjeW "(76TWNi?]d?'@V ,`젾㚻nm9y_hTv3;x;Wr>6: σK>LӦ4,A%#8NVᒱI&a$ԮX+2,H0K꓾%wr/}pe  U,XÓ\,zu}I}} g%@|$w7eLbƫ١Zs5 jICw|q [Ugԩ}\G( =ϫ&ǟnoSiэ4hIT>DܦZOc1N!!2,P?E~,S,ݕ"+5-lC[X0Vl3YOMf)ru;"}">:O|/Rɓo (53~6B]w>rhZm>GC$˒ğ(P͙ܷ,,&D4X-ȅcIFNxlP8kɋ"х1;ş vJ7YXgIΐ!k謾* 3/B7[4H= ?Bu]~;,&馬fՔ`aF5yO$1 (>|WU ||k}*[x G:7mR8Losgp8^vPt` X&o/k>'sm(c Ɛ¹`pLU@,Oo<IO/|E Gzo~rrBgxIi`;X)͘@Ǻ`nۛ Zچi_;b[6Ft扸,PdL>h>aTSΞkQ֓>k[:o+kF@ Z1a)N9 x/z΅SHLq<BW\I0&WDw-D q$4ECBXh1QeL@ȵ)[L=2&3XDCY‰)x4>TWw3)D-͡Io a/@[<4dXJIn+sQJrS) |˹pxQZ'Lq iǼzc}]G2g>;$o/EE}3zj{vrЮ>s׾5brmBԜЯFlbN)j>;/?>8.HKvLIN~BĊNS}fyN+"LmsՒ+n>q BEh2 SXv?H.Ip( @XC 8|#kF#Ni ):p_HoUͫw8AwCβčJA94,IKa E/Co:N S'6G0e~ƠçHzm(hL* nT&ۍ* 93VzNHXnc\\gpֳe KvBõ=x{#Tg^o9"x1%+8֌i>ݏCrQ4S? ,&*u#EyS3 ւ-aL'[ A2x`v  ˪垕pi_zp*6ix@[{Ԃ9] FTl瑫 n$?JyCf-kCN!I+9@k|E BYhX\=ߢ0 %I}!6fυ&a@O?ZLLˉ?#_9U;*uYq:!D@11]YDji&\iaЧK]ؠbE41HH9),83 Yk.8pB4`L2s;u ۷)apn\cPئFw ?>ʒ˶YZS)HBiOE1[adt<. {)c?9d'+`(t M#$q<ԡ'N7:0)d@o)+*Q#W)JpEÈGz&CfMYjHRt5jhT:p=a-٦lBhH}Fqa1./fpkXR?u ?gԕ#u缫N z$BJr<K.[;W0H \]; &D)0!BSOɊ}gd O~ ;8lWy =X< Sx,*:m'^rà,@x2#xn@%b@ɭLPXr;$îM63Xg"dMөrwS#P E=@&&7a?7X Ƚ^e/j+A-$Z0^ٷL-PTN 䴊*⿉K>}hϑKCq'mn9wa2q}+ڄ0[ Opgͬ(‘hcU"P@mn -֥-75HIe+WS(^RgzBzs`YUYYz]݊S3oyGq.E9q0A_R+woա`0T"}:1>Q -vw󉉬!T9gJbV:50rb gTeZ<Ϗ5OW"n 48'sNRUuBs rzGq]h۲5/^QnޑXAER:n `CJF7(PO" 52dmwg$fL4}Eŝx!SB%wsN,]wHs }?d#}N 7>_@ŋ>ƃM?d:xEP?QÂ7eOW؜#PFv EkBVwI %[˵OliL$?TkP%yxsXۙh<@ ?Qg9*nVG`u!PO D@ġY0IMsN@E|pE@I,jE$딑dbyEpYhp$?3WZXaf_ӝ-"tjrN=8xT nr8۽0l+ W6 q\Bgk"A7[[eSh&P)g*,RK5zMհhm%EI)`Hm d"A?+Nb~G_­v0>_#_1( u.yسy(A*}iX०]&O݉D3"`X^U!hbL4;> ~= ʺAӷKbcͯ+"]L卑s+r?(w5}yM2%wy a7a"䄕?Vl*)w^?ۙ J@Q.+:<ְEJBCi 1Gj<}4چuÍ Ee+A#={~g3;u=>RE2}bX53‰]^$^ E/Z g}fBa2_g(s}哿l8<}Jt\@M1K3;a>yy!p9 Y 3_7`q^vn2{qGQIа?{`.֤d"&JUXE.ʒT($b*e]WuI.H*UU,BY(%RI"UMJ]R ժXlRa0K$ơBb@(>!!PQj߉׹5ԉ;|;Yiݾn_1!iOu;-pFEiNqt_\^* R˫(CŠӸS<6 tڍk̴'ߋ9L!=BoxeN+L[)qF,v`oc/gmngy+b TmM9h&zo`o`(JEQJ/e4~3޶ _' XKūj0 &R>zsj?qQl꺍r>E(p8&4H5m>Y<ϣ.eLxmQ}AQ11Ů 69Q<ǽxmŁ y3GumvK rMs-YgG'w9}?/TjE$juuйuMl'Fp^5fZugwb ENFL,pzxƟ~[k߁# x %;<&4 E6}{o<_ B-*C4ʩь"A~$b+B4jz0q@ФaSߐ=FT-epe2@d$JD(QLp @` g@c0A6(cĐZUh;B.X^>L<ֈƘL()`ޥ+ eWa)/qiFvhˊ!&obluQ6b(&Mʂ c 8밙#$kTw({L/i9{TarFm@OZ!8ELد bD`}IOݮ]uAa[+Xqt)@ly#ZvwTU]L A.=e0%A1jQzIl-ņ R]p*uc0E[pUm :6aF)Ŧ$2ş2^PV"@>Z_#s:z5a͇1(s;;|[c"#GS{r60ksxp@Q1kH4$R3 @lr@z}u;{'6u#K`LXI@Èa+Dh1Z۪@U*1^bOs`dG,D8+vא|(7yHZw8=Aڈ>tm`7.ky'̘HZ߯4<@0r\Lܵ=o2B YoԇwW650縎!+p 쒌)r@uk *2ٳQ*֣SELw,Rb0ה٠.; /+) o!6uJHvpn޻v;Okf2ze ACsh)I}|g-@͚Rp$k;T , LLs5 ݀{(G&Os.p,B ulie֭p%3]"AS ?[aC-׀]*V7B.z"~; #j_7dzvIC5tuUJ~`l?^:qugؕ>6d[ 2cQRL1rU)AP )F֪$FhjRu8 89H׉ALZlش Aa;.|֭"hpU(jEBg?|97s^ƴq3.d5.W#gө\!@'ο2 UR`yCs/K7jýV̲(/WSECضH  .i̲NQ~%E{Ż)ս\"SCI}mI#FNݾP5jlHa 'Ҏ8>X ZAÇaϬ5bCU<||+çYV\H~DHuRmdWՃ4@+Qpb:f^Fw@Wh-iʌΪqO,$Mg(W=K&5韹Lt e,?|%F|aԿhSESΉp`O-]Wc,_ڬ2G`0XF !uh['w'sτBi$!\1`-]Y%BMeW]J =?plFCQ헐-;֏jV#-"+(PBhSQwhVK:L"4n b&e0UZ8`7lȟQEˌeNP+BJF9DLuonb UЇ0dZW2`78-td<Ӻ63PB_# a&?tQ P?:Nì Yɶ;:b$4o@[M<&pbt' iCZ#t9mq2 &LoBj`k!]WXÃ.[R|6ܴ-9OɟݴqES܊OBq5w#L/ ZPZ>m &7zOu#8tRtWIEN#3/@)"odh|l r H떻T}))4 ws=$SAgf&np[2:` :CdVz`,mlK|-*W U5þʩ\3RTm }FӼJxL+P*5q8#YuA Y@69@`=;ICr|$ y"@AU:%P uێvR&멯Anju-R7~oA3g 4n{M5qA T$H&Ϩ?s[;,CW*ڃ̜e[<ZĿd)\Z v8n8eE3W1CEs 2<#*t\Ή'vłm}w^C|-0`]tK jUYAE p@_U1 qKF[Y,*=?NoP\AϵAfbQ6|V?BgK6|օ" 87E`RDTglX0p64I*(SPsX^:;  VUk+r}.P*wPFw&X x9P)u9v bcFQ)Iʤe7"&^}z(M2MNRp+ |(d'XBCM]it!Thy}k[̲᪠{mq̇Kܪb5FY*ؗTY"Nh@7/4`7?6=".6sJ#偝D'w= .A67ed=ܫi\!"bu$Fq_*2L z5PtSB&Q3\YO& _ƮWxjl!:< ̸X=]'Ge[]fo月b[}bҴ*Gf.2OzԶ1v#OCbAuBˀ=U_tVL_i ^^\?.ѼH/y%t0A a𫆅wA;G}X>!{QP;>踚"[v~xmz͙FDws ~wƃ> Ǻ9.˴}NG@zVq@jYJ*3(vI}̲U8\@6lzSPy3aʯP6DdZ9znz Wc[Q} /2IdDE/yYEWǻ2ɂ墭 ym^.iG22/A;ڐPӹ|!SG/Ӄ& tj%VuRc U*F?[r1iEUe6e~;BQ%JjDǃ˴ ;(5Eϭ)mJ;?5WKtX2VqJi?ezDV+4KFd,pip2Kd̊/9KREӽm./ L[C*ش˺TyR%]>vT{t* " Hs8!c|L}\LUDB*\nğz% B}PjDƕ`9@qeoE,d@ {:Pv4R>XֿtV$sx.ɋ>><5\E%-Oeb;ToyZ;h<O [p{ iϖkӴ/XB՛{ÿ D>( ß{?)1mh&A Јר'@)W?νB x7-fY燣~-f)\!pjXY5AKvNN͒">*QG!ssqJ󄎁Z\~{ 5n2&ʖI.jRȾ1S߀ӴS15%q (,94B˪ʈ淒9ٙ#=I"Jf}g쭾8_Չ=f))@^"$F0lw#ի,t?uXyѣ.U8!o%>jf\5_P&SrZ2U+o̚]|K|4!=yI%Lԩi-Иx*d@E'ۛ9XD:W+Qjg '!CzhyJu$.jh2 Q" 1PE t1FJZfB=0'*AР `PH: yǮp+5"7B-o3< H" niR5@EVV1;G'ߖz%usem1E$n,J&̇p՗0S.@>l1Rq[vx+uvR@wxR 幫^+Zfгo։A(6,6 ~u-<FrA[E}+!فW$ $6Ӑ\gs0sxP( 6 Rzd.x_ir;+B]CN}5a3LOem5;rtCGu4Yy*aI+!A|2zn>sdgؘx#u@O:vC`'\LrS<ki h1Ҥgi|IO;+uQ!b37e2fd8kUEj{ Q5$ P/h'H~1ˆ1Ә( 0 ;0w<)θI#CY+xLG@WQ<&3[[yΥ/mRRxw,` 28j؈p]fPϽg,h+}~'}Blp%*.I94he{2LV(f,M&@i|8@߅čWԦ,CEJJ 2 y*=Ae?]Sy=(+h\OT~A׵I3%;$,P CXt nnXd| Nê+pϛ0_ P !-4VA@~~ֻ$Lx$y.96Am#> 1 }2 nM1ǡVơQS#cGDANgl[C'.m&s Aů8XT)Bˢk!uOIy+Lۓ^:hV2k mk9ZQs݃b=FsGSjSs݅8U wqGuH=gژD0^(Y3.Ic^B35)rbR ^#9MF9S%yG^5 la&ݫqGWnLKTX5XaRSgHz;3 xkbt-bܜ sZx^^I7KjXHiUL/Cx&(uO9nE0UȕPM) &ՀiЩC:zo~ 3ca+Ø^n9En*7<ְ5,++x Wqe-9ZOCYVܭ4@׻0zZ?[.7˜`hI!.UސȮ_1U{ >'Obȫ,O f!G3ŔՇRy^+vEꤥ \m3ӉMW-@ەʟqA Y`c"Q5i12NVGTk'4Zt MT,Z*Waʦ%ɂ`^ aYVY\Ht ;%D 4Ԏ&LF@zKA6)hv}b?V/”|a-l¼AHr/(wm=pWDЯ_Jdh6L(|fv$CƚI_Ot,|*j6ɿP~ɀ1/:H,8h뾟M-RXhje#0b.歹F*OװܓYYzmjU N0}-@dZFI P#S68CkGj _Zp,#dC%1,>T%DbPQXX@2$GaeӲz~ڍ0CŃ?gU#2DásG*AfSe' H&%5,'7AȯQtW]k.u+0*r+j ]%jo/>|U_dž9H:%oRavZ>rIyzdX{FR^Ь)վ"p2k7kc}U_[i8=%9'tvC e !g-~O @Z L_/(?Z2r l([8`Xm ))k_2 B4/ˮF 4/g6Y}E ҀSUBlXzTChJm"KP$>Ъaw9:Pmlc^ruCLVrЋ~\{/NPsMe .3 8Lh{St:(2$Q= "}a.]0ETEDCƱkh4j_7UbޟAu Pdk[0sӝAЊ`6d(s4?Eb$|Ѫ6H_W +2!=J8NЎެ,rS1NVmXپ:˛!5_!@KH )id1͎^L - $;JN&a&9 ]9SMKf*v3'(;23jٚOFoŻ}/<( %2~U=\/si$w|W^P9hw)v)>&.BYyF.r.u 6>A5cmNN 0;|mrwVsLu\;a!afϭPy Tl'ttKf$~Z!@e oU(n}3N6NLyo؁Ɯ^в̔PPŮ`"z;mB=ENdDJYg!ZDtiS\w->jҐos.GFK20(