minisat2-2.2.1-14.red80> K KtĉH2!c31^ Wgesupport@red-soft.ru  Wg-l? ʙ=q/&= y@rk7y&_/.-BJ DMEΩbRRBXFL .okBp3 4Cɰ/rHٶ('pGחSd>=CZAVlԑwɦd\aiԆ~ Ld%霨V^57~=j !Ϊ:5S&@pC\n-̓+@o䵁Mnt;4696777cc116c1aa07968ea8f986f595eeb767f2e4ddfdc1b4633bef31852d323ce164f1102e450d3895b487fc4be9f2d59ef9d4X7u%0Go%ݲ1:4>= ?d   28<TXajn w             & Xx ( 58 <9 D: G H I ( X 4Y <\ \ ] ^ (b d e f l !t < u d v w x y4lpvCminisat22.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.ru|RED SOFTRED SOFTMITRED SOFTUnspecifiedhttp://minisat.se/linuxx86_64r f GC܁AAA큤dAdAdAdAdAMbi%`i`idA`i216865c908fae412b49e9e76aa324cb651efabdc235d1b7b7a33469d40aab6d0df05c06338f07018b71dcea5e341ee40615b357f8264221b059ef0b988d68444c02847f5dedcf757917a8dd321a8314d1d21268f54823e17ef392311d539afe166b205f28c535427c6097812b98cc7a0593dfe6b60865aeb7b296cda8800868058c328f7d252f96b28e2b1a529bc8bca25f8edf70d4f1f44ba75e1a3522844314c6333a96d6e978c38ab70adb6001478e9f3947a2afe4d6bb9664c8dc616afbb../../../../usr/bin/minisatrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootminisat2-2.2.1-14.red80.src.rpmminisat2minisat2(x86-64)@@@@@@@@@@@@@    @libc.so.6()(64bit)libc.so.6(GLIBC_2.2.5)(64bit)libc.so.6(GLIBC_2.3.4)(64bit)libc.so.6(GLIBC_2.34)(64bit)libc.so.6(GLIBC_2.4)(64bit)libgcc_s.so.1()(64bit)libgcc_s.so.1(GCC_3.0)(64bit)libgcc_s.so.1(GCC_3.3.1)(64bit)libminisat.so.2()(64bit)libstdc++.so.6()(64bit)libstdc++.so.6(CXXABI_1.3)(64bit)libstdc++.so.6(CXXABI_1.3.9)(64bit)libz.so.1()(64bit)minisat2-libs(x86-64)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-id0fb41951ed3f4a9a2c700597a47bde36e9c42e79minisat2ReleaseNotes-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/0f//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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protectioncpiozstd19x86_64-redhat-linux-gnuELF 64-bit LSB pie executable, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, BuildID[sha1]=0fb41951ed3f4a9a2c700597a47bde36e9c42e79, for GNU/Linux 3.2.0, strippeddirectoryASCII textHTML document, ASCII texttroff or preprocessor input, ASCII text (gzip compressed data, max compression, from Unix)R R RRRRRRRR R RRRutf-83f7a080f047a5ed91bcb59fa6fdc1c5d9863fd1e1713a6e75f10162ce65977807593d3772a0b01259d95e538b1f80e6bb0788e4a40588b4a12703ba93c6805c2?0(/hBV(ESB@w2f?\`p raj"[PFtSD>8{cF:d$60d'2/,%|v6~v?/f;ާ1C_,35*"4(d$GP (J H%ʧbSC`?!1}/p hٔ 2DG,su8-8U UКPI`f2<_J/fVVdaD!5II+[5t5 )%bАKq]eF FHjou'&=eD@v5 di p5Ե^pcr09:\PhH(dZR.!&S7 DrXUԼJhm4Q]G\R*n1]̮y5Bi+^uJj2X->6z&-^pMZx]4iJ[[PP'.UKI)J2oEݤ6r|}OMiMfٷ D&JS,Th=S-Dr+"0zєLR٬P& ZĔzJV\ԨZoARԨ-5LRfWҫ:NPH95q96PwuF]}zZ[t oh%L<ŨUjĭԧqO\jW⷇YCɬ̢ok|mÆRɤR6LJ7S:f1bSt ermgtR2L2bNXɃ3Wjs3mFp̸p ty]Y5Y8P Sp\N hmZ)~\YxPasXu~@TЕ`1P " hP¬|710`~< KF ;*PVPsat\&[Hd4*vRtBlh0< ErV<2Cu k7@a:z:D[KNܭ!j~䙍D-qd"<ǀ-]R͊d`%$!clYOD>Oeܤ]$. XÎ٦,q2\ ;S"3m7L9/9Eo$E^cW9m!@\YYlxSZL%iJ5"w |\p+xƂ%Bɕ&V^$]*"uY yt(ə4kB\ȫҼ֘.M:,dY^~`3DrĈ`CrR@J&9%e'܉ZqB53}3A-]mU<NJΈY{O\%+C^`eVAQYI%`M$]|V;a'@|fzlSЉ_v_M+a.v`ot,Ro$nT{j >r#G=MZHȸuw#켑\ L}1D@T^Z'fe5CqCfփmւs]vw!ۖ)jcРchp`Gd>dч6#t-́(} 4<KjhYxOVK$m#:${X"oπa$i##WcF~Û2 W :s$]3Z? >mȈ~F}_LigE9{8< eM,Q{ߡ>T^l{A ?q(\gr/t.泏N;;!i;rwE,:f)\9u:88Ew 3w6~_ڹMg'Db=I V`0~i !%fQ  `E /; 8;>"$'A?$#DB_x"ׁ͆.g6Szo/0FCO 8B's]r],/+0+6Q4\ 5>&0n I}{ڒaЫ> s-5%:NSxMD ~|5s4&I\脊w{ \9ń [8w :+XC-" ޚX /D8yV63!9"2ϗy3BAogE%w-ǁŤ хoLuq-/1{ Ctޜ{yde~ ^âޜYq.Ht6,tRB].cwrpTVz1q6~}kv<߳JA~;(_vU@wGNk|=p3\ *Ÿ켯y5E }j˿󏹆)7ztI98Cγw@6vbHts nkDRv% ~aA=r IEϑ}@[6"[%./ء6gF q2oX3HV.BY9"CX +1v|95J% 06̖ +f sK"%F<6g5hxxkRhg')I=Hlj1 |ɜKvz f΢%P8S Msy䆼& |b yG o抃vy{Yuzgׄ}S 2GTp4M1oIyN>G? S;xGo y;vx9Ƽ*IhI?)N)m~H'Y~ }8ggI㥾3*od?m}"<Ҍ7mƥ~tZVH~F8 T_(:ttZ}FAݬZTP ¢l:og5ufI[v*%9 VRS&5p4~hUC=Ū/|S秂Rax} /ZWTF ~ܮufN8zU? nJmmdӱy+j,IZ_D'SF7kjW-I#Ԓ;kJWk܆~΢*DtBBnNϡh >xӆ>&JGo!YUSO}P ~OT 'crT*E#"IB:3!$ UInth.!B !DD$ ɲt}SG!*^<ؙIKCl x7]&|[1Q^$ޞaE-{iiSۇ/w=&Cc} O_=qt+mOZs{o!ZmCAA|I fYlp5E7򏨗<'X^ - YnQK?M~vc ~$7rEx_W]#1yzW'בDcFVUU@}uHALb=)2k\XA2Ew7.d8lxMոr( RR[?9&fm{nCO}.K6.!S"VxCP\ xT,{caPj bTe8 ,75*=f @jBQ[C\iPl IO9yq7 =}%·$Đh0 5o*c$?' Dg^x~#&ܺcfnA_04g,:]OdqɲJV^2E@x[V;2(Fe"?oY߿7CH\c|plYom2C1XE76DJC&j3-Boxl_6yѳh92(L'1A f^7ߑ=9; SV (HDgA@!պMěcM Lrf|3~4b3~n`LfhquF^^ d|p-.3PE"B>(bHUF[$~p%Tw,[[6>&]/ B#ep,«ٕ(i GCst,SA_dv0 }t` o/f!Nf T|lk:a!齏6d,~{7.AXޚc$U?vCgKq+-BdѬ']~+):1O'd}uLP=⢮6"'yK$1IX?잼y 9Y 6[s} :d?0OBln;6Peџ Em˗Νd}ұ?q7 Df~f+r,TaR,bSi`~Pla_*F]ZA "01zr"O@KJxEY53LX? a:'C=PI@ hZ-zN3TJ'LBg76(50'̤gČ_9ɨ|xFYG–jz 6'|ftU.<6%D O.X_ׁ9QW> Uw -,E9yEtg F0r P ZY ]BjaL:Yͱÿ~ >7\ӟjʵgWܲScžriRZ*OEޣFAGh6Q8#(]_64T;E-ф;˅#G awZ | 5R@ bYI\P2x`3㺃GTiѤyW+|A6S 2̢V:Y5ewAK:qEOvRl;Y-VԆ'$TE=(ઈɊH`ȿ .RȼuZ-p_F+Z V [$. C_'&UDd#̏8@A ( Y "oKr  ; P c̍"ǽ@ۿ.۶!ThhgdS,%]l.Py'/k0MYO_jh{Z?NOcڼjHa E)(Д":~Y F\ȳo/H~IΦјڃ{ ?&k)Iܟ~gBO =G06m9C*H_[T\ξ.T/+c(}B!YN/g\<~iH]4ȼJ] g ojp oO;ɑOӅdl9C!Z7I/ YYQ&8~7ZxtgcS y$}M}(RМT)z\*]4h@=A)$RqQH=g, B`&J @↡Ŝ(zVfXa"dD7t[aʾ0P&P J[޹ U o8{,jcBuzPOmZ&9%$Ah̘ ΩY~8CY67<,*}|KS>Vua@GŴ'1R|!![xDhS‰kL!piSpUI(!ZukJ*|Ad [9)v"04-4%D!QC+.c~B!m L͕&'M0vRtW^O .;(*|Zx,Nsg&'I"eovWZq0yĒp^PŽ?-cc6g3JNs`Jc[tb l(@1,=Q_+jqHDFr":եX̉-1CtGK?-9Ui %G؁ 4" 7 @ 1O%ү2"C0S@t#D[VE A(oT &z&0-nM,IaEF4p8D<u\8+lfd$%hPac|z0…_c,B@<ҶF0Hvls衺(QI%4's/T1OIlMx/d2 Dl,@բXqcB CW̰{L?[N 9QKIxBkkBa1`mi*XZEz\B??A@O?D\rRk@yλtz.7k>׻tYvJXm ͚`i('"uw7 RS*UJϳ66qy7iYZIqv*GT3`OBnqHBD.K$'.DtҺh Ѕn] &Y`8Y٤CQ#$\ Y A ZJ䕔v&`# pW[ z)AH&b*M wPrh B/疜ϱ^o4zڲK(΋ jk>|>sI{3~;o;e:Mg_y׊fys56m {-+Ԛ?~۠xʳ{kZn1Ģ[?հh,-2?X-_ȾX60,6P:JVS*+9B^wh^A|w<.koKޮM5}w\w|LOhYkn^{w&2ug}z~{~s{ }s>]3{ڼ}'ݷzw kl9rŽ~˻kz噮ޝtmg=cy嚶_]y3/{_ᅠ}Z.oܼ|m\qjԜշܕw 9\=vm,:^iֻ3^x t_ۻ\<{mn=϶w_ϻy\s\kyyk:z㹾.?xF߹\x_{nٿٜgylg,Z5]r3߶;_l;tWz_o?~97{bۻ`˥2هa>gkѩ)Zj5EUyZ5Es:ZVR8jjujKUfl%WQRV*6ZGaTfQ(־RJIW% "h,FHf`& F܁\&HA3X.TA \p&& !bM>")Q8F#HCH@Wᚯ+Ϝ&4e0lBEV#Q+^4/5S Ib6RK)}b^V5v(}amOX}XhEy;Hz4ٍ`"Sᣁ *ʐa8Aa0O.`XqQiJ:8 X `fւ MCP?(؉ .Hl"1c0sD?qpwcܖV "E0ZY*gJ8K+X/Ol`-9d `/ˎfi` ԍe F7i05d( WqK8>I Apj`SiEjIيXD F>;=lPP; F<v=3HegIL{pPm2@#_tO'."̛^F9=Pi("4U ?5 ?{xC&(tx,hBP20"f%F*wxJi*0Vje\^0*SU˨|/˽7tKֿ_vjmwrY?_8v诡u[YYgk~OPYFo66/<~K- L'&]k^u—7WnrߖY~be ϙ3?T3Ӵ29DzK[|,kIUZQT^kRJmۉ\:LR_vkNyƼ~_Yu?&Zϝgj1M2szB_뷜~~\}okfgyO}uZߊv2^f˵tޕ4.-N~ϹNe6\Cϰ33Ϯݮ+fֿ̌YK,sl0 KKKk^kmXy jj  X@/L:ǣ#ȝ& %Т {pBA /H >5=/(ԴI>RVkѤ9>S%A ș4-IiE" zX NO@8^,@vgRVb4u9rl$ Ǭح)DHy*8 C@qx)<`e'Jz$+d$Z"Ob|e %Pzּ;.#"$)e F3ʶ9a8H !"#""шH$V:aeov7U=ʵdtGF?_<* ]5ct\SrbI,A& s;eSLG}tKq^U'/Ȟ Tm91 FgwMҁJPhmDWs4-yR ?Oru|c⧄J8{"h - YH{uC(`̗^azҲ>LI Kmh*KpG bS UZnG>*Y2#oxr,2RgڰRB9*#wZhfnlr]][5^@qڡO|@ uKGE`IU[K Zm4v.\oj`D*9t~oT 򄇥.k /\ŻK5qTrԄjj\TWv:$hzd9}>&E)'8Ӹ+B\#UHu}ڷު_ Hm#\Ά槙BRjfRP[TQv(GB[U I%u갖vVSC*J6\a)ov|D9|Je$ yrAʮʉNܜ́FD~oi15]d &h^!kVɖs {yA$`d+!C'vDF9z36m7dnP:: v8UYd@vh iYH{-(!"jO_^'#m fٰC#Anlh1U}e&a(Nem2D\FbзY8l3 n+I8,U (+"^Kg& >Fybt$FoGo9g&1hG8A*R|xbд;-7ڪ {ЙOp&h+I@K0Z!ny=}CЖSxuhb,hdxcH1%1_a%@B !AQ ZxhUͲ_ieyY[͵pTV40 '#rqG ^˓j {Њ{1!88N+xIMoLN` `P (j_ƉG?xwrQ<\M!hg1S`.cB|aѴ χL>}9lOf6*n ӸȮ5 A|:*(+~Oo:዁PA5WzeR`_qO"q Na 78a8ԉA dZ`Xsj3w}696`{oc!*WxEL.QT3W ]B!@qmtkCG?Z tjvlZe !@莄Nz-XhwM?&л`4ûp)k2u-ۊa2@94ڀ=4mⵥ̌=ܨ_[A>h=eRXCtcı>&7' ޘ*o0}XHyTG`#@05f Ib p6Ư h'{2Y)`yWZ(:7C(d~ͱE;VYUڤX8~ 4.Gm0ҁΩe1{qU$ ZÞGW{>a[%+d̙41T8fǒ356Ul"Qc L> RH{ KcNpQDR؄`L2X `Pꚠ.aU#jV؇QQxd|ح|v7eJ `izu2ZfvmL߶Shen- {iWM*ᚉ6^Ψ>4 b"X?PU1ؔ`Q S"VRFҔPxaT6Jׄ4 f 1g׭^;⯖v 3׈)9\Q )B]R0ccDvHLmy *J) P;S/p/e䊾ӆˎ pZxDP0S(u$藥zS5\5%hpUHkJN 8лN#7so*?\d`=€L֝ka-9TcC#8@';ޠ|aBMhzt^`")5Ýy Uq R ?5~ɛ8W;v(LJ8s iAݼ{yՙ>tQ jl~{nTQˆңAA20V[Rټ 9U#\(-Nhc~ZuXwAɞYrFP\҂SXT