minisat2-2.2.1-14.red80> K KtĉH2!c31^ Wgesupport@red-soft.ru  WgF$_D% ue|Mr9#z}TUb7@-:*&W=I5Q˲o}=-?d   28<TXajn w             & Xx ( 8 (9 0: G H I  X Y (\ H ] p ^ b d .e 3f 8l ;t T u | v w x yHCminisat22.2.114.red80Minimalistic SAT solverMiniSat is a minimalistic, open-source Boolean satisfiability problem (SAT) solver, developed to help researchers and developers alike to get started on SAT. Together with SatELite, MiniSat was recently awarded in the three industrial categories and one of the "crafted" categories of the SAT 2005 competition. A SAT solver can determine if it is possible to find assignments to boolean variables that would make a given expression true, if the expression is written with only AND, OR, NOT, parentheses, and boolean variables. If the expression is satisfiable, MiniSAT can also produce a set of assignments that make the expression true. Although the problem is NP-complete, SAT solvers (like this one) are often able to decide this problem in a reasonable time frame.dAstapel80.red-soft.ruRED SOFTRED SOFTMITRED SOFTUnspecifiedhttp://minisat.se/linuxi686 f GC܁AAA큤dAdAdAdAdAMbi%`i`idA`i672d8c6c76137f1d26c3e7db69f9f06bbb54162412c05d5da5effbeb03cf0ea7df05c06338f07018b71dcea5e341ee40615b357f8264221b059ef0b988d68444c02847f5dedcf757917a8dd321a8314d1d21268f54823e17ef392311d539afe166b205f28c535427c6097812b98cc7a0593dfe6b60865aeb7b296cda8800868058c328f7d252f96b28e2b1a529bc8bca25f8edf70d4f1f44ba75e1a3522844314c6333a96d6e978c38ab70adb6001478e9f3947a2afe4d6bb9664c8dc616afbb../../../../usr/bin/minisatrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootminisat2-2.2.1-14.red80.src.rpmminisat2minisat2(x86-32)@@@@@@@@@@@@@@@@    @libc.so.6libc.so.6(GLIBC_2.0)libc.so.6(GLIBC_2.1)libc.so.6(GLIBC_2.1.3)libc.so.6(GLIBC_2.2)libc.so.6(GLIBC_2.3.4)libc.so.6(GLIBC_2.34)libc.so.6(GLIBC_2.4)libgcc_s.so.1libgcc_s.so.1(GCC_3.0)libgcc_s.so.1(GCC_3.3.1)libminisat.so.2libstdc++.so.6libstdc++.so.6(CXXABI_1.3)libstdc++.so.6(CXXABI_1.3.9)libz.so.1minisat2-libs(x86-32)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)rtld(GNU_HASH)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.red80minisat.build-ide9d8f2b324452118f95a593ac1e1554dae1d6e8dminisat2ReleaseNotes-2.2.0.txtminisat-user-guide.htmlminisat2-test.inminisat2-test.outminisat.1.gz/usr/bin//usr/lib//usr/lib/.build-id//usr/lib/.build-id/e9//usr/share/doc//usr/share/doc/minisat2//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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protectioncpiozstd19i686-redhat-linux-gnuELF 32-bit LSB pie executable, Intel 80386, version 1 (SYSV), dynamically linked, interpreter /lib/ld-linux.so.2, BuildID[sha1]=e9d8f2b324452118f95a593ac1e1554dae1d6e8d, for GNU/Linux 3.2.0, strippeddirectoryASCII textHTML document, ASCII texttroff or preprocessor input, ASCII text (gzip compressed data, max compression, from Unix)RR R R RRRRRRRR RR RRRutf-8fff7a9d9e891571d28b88dc01255861ad603b65f0f5bc3f60c15400c74889407ddbe178c0f4f56e0b357ae6cb0b206bebb6727eda634433eea2a76cd52389cbd?0(/h1GV I@!O&>l搖^?ʴtJM#mn#iX'Dea_7&"#M;g)JrA/Kc.8qI*[# x00Yws[.JД1DUT1Āyُ=KUWU=vblU: b//d#~|zBaGX;(_ qeSO/ɨ迆H =m ?D_F ?/nS'ڵwԞ #D uڪVe~9r4B f684|zPkV%7\8&P7 5i}7ndlW#>| I-F%$~HJԱI!IQ(l6ՒB-*+uFֺ ZU+fѹ:WMYeZ9}J˙U/im.41 JYKzJWgrkJJ5Z)kҐ|2z**v_?,& j4J4ڔiF!ⱙLBLW&$2 DآDYCs '=:! NX*Uf,-QS% "ss UbLHi ˩9Fɜ8kּ|ʴB`I(Hd2cVXfm>U۰j.Z>i]韫ZU?FRsjJLsK)Bi̚^JXUQ*,FLOչUsuv.Sh#=x<$_ aR1V}~{t<؇yo(WLj_Ƞ}+=i~ù;qax?@@/voy'y"_rydgNgeC#FA# $ 2aj%F I)B5foګ Bى0; J 3RhA 4O%h~A^Z!}]I,'SrF*;Њ^i^~F?(m-!-ICPR(Ո*mD1&Ob bP s& &w žbM9PڰK1r"f ?sS/ \g(,їTsѥfVO댈YFTA6 obE?_ft%{NOn\ K!Ɨ6|\/NU-# ` D!g}7—d:07_9PA)ƳX;5^.8"kE$L}.{r 4u01 k2-ց<Ƣ %^ {g]`_1}R>`6w[d6r N,)%E>`\EVUv>BD'es:A1%T1CdʓD+di:]-#_mz S_6lWŦս/'B!Bv5!E6&q=x%aoJ-8doI+@{~~5^O'苞>q+T+@SƤSUQU5.LY̴ C0n ;ۅb.Յ=wF.xR+ukو'h@t-6)׀C<$/]Cz$wt˾[/kvkߨ;^ȒEv!:49z! Cbcvjq. ڲ#tj"B'7/ HĠtdy(^]#`+C3D~I ŀ %0F+JOSV &^qZ$@퍩 ‚5AvAp0N0{hc$vo@ưwkuWxԺk/ ܲ$^lLv 56Dc7-Scrwevg% J\wz6q wI=`oHy#9d 6ԓROn8dڿ!ܰ7Q ԍY^Q zr=g}z޲c/$+t9Wӯt0•ڦP qR3C17 ,[ff*f &^;~e.Ł!206td; גH4F\!~c0g'D󣖍{g5KLdrV΅8k7BEB#+sE v[zOҵvb3Yۆw5Q&K#6zʗGRPa#Aӕdu rЅA]Jr度0;OjS؆`_fu߬4 p?jX?֬{u/˳LXLR+eZq vhڰ­vAk{ j?ڄk&ԂF<ý0b/e4b/u7 /k3D.xJ @@Py˓Nurm m`n4\lX8,U'UJ $B|mLdWBXEwCADhwRt.Xs'@9s\7X e[5+Ӏ[w.Rt9y[DEFad;teT<:>70< fmA..ah(  P_.1Inb^N$2`4>ތT~ig/|.m PՖ.! 1hx[]CV39[}aG/ӵX %!BUߓ*CT*41G[LA;/}2#3U)9F O$@Y>%w}2݄tդ#~>P(YebMOQynVz*QXsQ1L,L;g#Uk-sEXS=3֔NA{j)b#G9*SUl:egZR1kL'T(*f*Yd.&,JK{:Vz*(S[R(f4Ģ{?:,WOy2tZ4TVAɳ5̒;8prBʈЄGqBZxli騣cբdЌ$I($LELCh P/$IR°$RCm1Zʓ<&_W'AX)bO0xc2iz:^zWtA;wBAyG͒'oJ}W$t<?P6S c/g*I&_ En|@Ao>\1Sسh dkKqFёCusHd >Ŕa&LUaA޳\z H?+ ZBIayO<3B;םSa[1r94=cكt_df igQVk_Lād_ЏcL_5[.x5>P_DZ`Ėp2Irg4z͹$t=8?! Q$|0qz|䜫&Q nٝ: ]76HN8 1[Ev?T1f3tQjёe8}KճPKG/v 9b0  3zK'3l[g@z>q )PqB^7`V!)( -;BBm5ÚH`QaGHH7v `%ƪd"6I358KUe҆zf[Yί뙭L,k @3Q@lcp,N-#Mg| 3]+BJiѶr1Qd{#bMJ-b_ɇUa+9$#TD`!\b + |ܮMK?"Hߐŧԅ`Rת#HS&[c+T?;+!)D8ppGnڌ$s֒9掇MmG%"nrN|McghD.ChQqAC4yg3NZC6|sn_m90:/)E TBA)5aHGp0mK 7dasݍZ4*㵥&7.Kc,1{ q#XMâ]m8.;". <杫|)2N帞iaftP)Aؠ~YfK!, ٗ3*0a:د(߲*4Ν}_s ?͇2¯MiZI iSGdqRSpzBT_NvN9|HhN/0ug[oSS~Q|5E]&j`I|7ЖVnm"=Rm}kjJP} $TxF\JHg5؇2G==E&QT3p:F vg!!dyaƗ[:5"? 0qDJMV 7Q Cv#t~rDr6/fkk0 O+l %zeAb Uڡ,ar&[c (]UNcfSP0ټ9M{(9 `(&{yj!v.勠4#WC",Bu) ґ `_FV"W?|:'+ i`o.CZ)0)Ԧ%rqubX!_:L) Q+~@Ŗ 2aBpP`Dn]ݦz7ʢ4pV aSFGU駩+$J x~ ә}oV1rF|xsbEpڡB|XתXKز1CYORDQl 3y Ɂ;),#9 %`,n}-AIDr5 S .:%c#lUڅZp5jdz-ma P[FJe!RNafg:u&׭Xu(JK)zYf1ttSD0$9@] nA 5I ^Ld JaM0Ϡ҇sm6[|w4+tnBX*{aHЌK\Dϲ$bA[mqqLTGYXUKm`'>ەȉ0yiż_Ϲph ûySRܗҾE_Kj`?/8a̋~15&{w=bDZqzp0 BZ)퀿[RҾrWϠ Ttz7Ap4Ǚ!enRBy'-[@~0u6!pWzЦCLy%0r_(Ʉ2ޑo1A`L+D.0y XRìԾHL_saqxh|a1f: Jl {f-= L[WDuwJzfN)Y.p]{Rboq!?-\BNJ0<օ|C?9ӓ;-O]=awNG1o!rn1}q!Qb*X<0o7ԔO, JiuӕG#t7f[^DTFlCRIe7mXBIJ7|Њ.D̉L"NK_g-PX%kƍ6p-Ň<&L9s6x.Ё3!d(YͩSyC.@quܐ:]$nP6b49 =!rEb4N8|RI\lpZZ^⾔r2N<Ҡ5vf,Nq`A(:n^XG ɦRFPIەs="6sd<٫4Rʨ<, } pd \Cia(D`@]H0f8y±W , aLb^Z*]!4t#h[wk0Β 񖼡7c+qD#PW"#7飰"LGZ zX‘$QgJw} *I,eb3aȄ1%) ̃4: K3;E~7N]$QZ >U8x` u +/aiog=Jڸ8PhҘ 9DBQ9G,k#hp ϪHVA+l`mvyi,XGVG@%["&z+bū[ | 8̜9UDFRو+6&x2.#sR(~,^~x@DՔ=:H&G5%Zy4K2geyzl} ,T8w,ܘCα4,Hݫ, 1C wb!ފ3,mXjSfP[i;-6xdW& ȉJ1ԄSX$ 8}~AT&c+X1\HI0 Hj/ )jOGXKp8!F̕ 1\FdxLH5@qaJ,8e)*([Rѵ._R)0 tm}smqР;PV%+f,8!` z23op ZUjUoݏ/ZvqubN 7œd$bXl$+Dr3ۢ~x̕D"9^@i{K<%!)`q,"B"Mq8>rOJ@qE?>Ta&1 Mj\GWFL!R D;WblxQ@?,4g?e~, t2j\Z%y$Ub@2XGl zC,6?FcxG+}b*D4.faXwyo4.mJ,j~g IYvv_WK<3_jRvfuqk:YOU|Őa:0JK ۥfciY[W&8WR]ZRURm*;-x{t?ow]a|<>wm=w_7u薯f?Z6{]ߵokyw:<k];9x!sq)}C44hMXgҸo&kM&MOX-`I#doL6(S!OLqc@OЗqf NVU#0p^kxO K1E2Ѥ ́K 0n% ,ff$ҩbE* I ǩ.7'6FeC⋉dDruA$ .P!Ք8 Xz?$2xG,R.U=@`OwvH#P ` .kP=f09 Ba^LR%H/ s 皣7GG_e^Qaj!X@jK5,WBfT&.Lan1 W#bSҥL]eqc ;?-}N 5A `"1D@PPw=+M*I#tǰ_ XI9X4EvsAa`9f0`zW+ƅʢqŁš}u}qs봻_s:|GUUUm~ټUͻg9޼{ͫ04*WZzvޯy&粴nMG?׷ҲjZ6rmSף_ #z~07ro}}籦܄{u󦕑(Zُb Q;kv\ibcΚn^ts)*JOը֜o;ZNYXZ6ꭆ\;v2ף4f˰`tshGGߝpM産?~~FP?׹{4qLLLh\hiZD$,<[@- Pzk8UH6eedEf*t%/9 Y,NH{TC̞%duX0\u!zÇBjUiA6O#شq҆ @nxOm;-^fǚB{94]ې:S;ڞ̠B` -^^axH:pQE$7X=?[p،1X*_{p7HA%I ցYHtQ'$TmAҳv5x#"6FtBE҅츂#gkBӌ,eHEB"eDSxg `9)Y8 [t Hp/XEZ-(EB3 'Oե(%ozd$Ȥ/(:0Md (#X0P4Iah΄4J%s !$\jʰJ:XSxA@!-$MD!1=]hFͳk鋐$8+"`DJ o>olVg ) ͆l31z4뼻:lǍNQFQ)0؁YĜut,J$!.cx@Tغ&ܰc8#,ڜ I HL*BuJ$pТ8 ɦVa` q",?(t`B2 !.Zޘ>.\q,ޒ#yH,aH(1yt!D^τ\}R\OOξeXV1d ;!A.. m`!bP&e0%`W\nQQS4[ChXuQuP>a"ŀM`N!FLAhfrK u TP`1Wg:\.q"sɌ`<0T3' ,˨#K3p9Ht+oC˼15,/o$@ؓ h -+~]' Y!̐IBO cү$1ӄIm :qycn\"rD GEzA#F:Z(PYUS cn9(4ut,6H"E">YЌX c3H ybZnI4KH%ΞLQ>ztYl.*Sd9;9e@$ Y)ExTiKHNQC8gXV?<+8<(`y^LMb^iQE[C51,}#tx1<~)#+ء,+vAܐ>dbRM P\_Nml q[y ,ɳN`lt$T 3Rh`H)\\a$G oE̞t1$n8C&Eh5N 00Z@^kᮇ[4dGՊ߱+C)HA a7 &347HHȌH "H$HI dXV@0*F~߰Xtvz EEw0DQ6#Nt+((f\ӲSm]wXA-OIӥ]4 I {Ȉjpˑ]F޸KbXz~#ʥfQ0x>,LJXu Vt9BS?@$>U(V]o4K9I&[H~i+’6jɇp.uwbj_D .S˖c^[:Y 06DՂtmksn .Y1]w&ۊR4nֻt[;ҏ9iMgB=RLEXl+/V*Sv_k\7)d;ߋuCCDm .AuԎ,9)sh:}qq`/((ƽF`wwK}\w|{uI\qNre|mO> 8̻L: *awo8} #@X8F,ri2|^09P$NY VsI@aH3,Cb`erèa}>mARMi|H ȏ#oO_x7"Tr2S=F\%98<8o_|SS`{8Y]ЅWE]sax :0O|S&Š$YVb-{4h'".횜|p{V ('IۡG_p^DiǕaR)O]#$zS{xzr1;vp x@hjfL/fjZbAz8B",,2HM"D6f,C8ReS'eg4PՊ'jkX=cCd Z!-s7\J>-v10!X;.{Ans]Pvk\cgNȀ##w+lP2}Ap,dgM&$L"_!9%/q!bYshOkI -#τ3OfvDpIstJPà23]3JmwtxF'ׁrI׭&hAOx\ޥ W/k'?ēaxI}t9wʙ穌@SC*/.2|vJ0C]:֍+坱c$72T@}bs`|0ibQ+lsH{Yyf+BtͭSlp0Eק{Cx?^@q2ՇJ"WEη& +hi1j 3|"&fgIP&iHഅ1:]Hbw1q'.QuWz^2>fa_5v%I9>ݴ~Dp?ABdAdP.|n+ R8߆93V9=j.nݤJLh7"6.-E |U09x,jH~Bɍ'׹Ua;h6-g.D,|T]tf]UD* `nb#r血#MXke1.`f>`z+C:m^ҕ  -zemB۠ +z4gBv]Fȟ_kFD:p`@㨩u4 <)+[Vn#Ak$ic*!vQ69A&AnY%9Y#P^KXa*۳ ӽQUny_T%`SS1 6]-1=N;Lh9lKΒq/:]}߅EѼ[F;A-АQW.mziWmʹlpkde#Ù<环:gYn: {%T䰂~ji3q8^lAꄇD `_ S-{y\,tlPM]Ssŷl zLܡp5*31i <Z5% 33&5J9RKG̀gIL=MsWWѹ3;4r5ćoQ訅A_|@ :&)"w(mN'oP}} CD$8-bU5dc>褡+ 1k2>X7FpkخGÒGŭ%S m;1^,@İH`H=uэH9pdY{Y GY $0Sx)O#~FKbl:I:Ϛ3mր3*ĵZ ^.vW- }ʥQA)zfO6ipuLVk@/:#cvC&p$oLViPktE=Θ=hÍ *6e$ FȮ.k+x, jʕq̥רa1`܆h7W|'mQ\]Ӭx9z?7Na z+`.'y+OvIvdc)`%'=ӈ]j'Dɪ$:vO\?xs*BmX3Dv="s1l&2hw]˃6ŤAYKv_X\)kJP M4WVq{Ej^ hh,W}1@/o'0/5*64W2O=$E/ \94^sCOڭQx3Jy~0"ֿ=-#db_#zAtR_4 7!} OETf@Ybљ6i&T잚vx"jY&2Vy=GŃKz[q? UH(J@/TMX~m'ry7Fσ?` _u=w> o? ke=)' JM sr%lsYTHېT;|3`ٮd=[Pʨ in%\'aҺbPf"rnjQN2w |]6 .'O2pj=x'_~_HlI=ckȼN~Qàmk1(&hޒeM|6D=mcH+::rzgoJ.kuN0|>@_&T"!n