kissat-0-0.6.sc2021.red80> K KtĉH2!c31^ Wgesupport@red-soft.ru  WgbKGBtg Cixk71fr!{N @և0Cu9@k,PJnXϭ^rǸKyD9"G!"=vNVɾAs+f|Qwc,Xt? Ujs#Q= ? d    6    0  <Ph(89:GHIXY\]0^wbdhemfrlutuvw x y  0 4 : | Ckissat00.6.sc2021.red80Keep It Simple SAT solverKISSAT is a "keep it simple and clean bare metal SAT solver" written in C. It is a port of CaDiCaL back to C with improved data structures, better scheduling of inprocessing and optimized algorithms and implementation. Coincidentally 'kissat' also means 'cats' in Finnish. This package contains a command-line interface to KISSAT.dstapel80.red-soft.ru5RED SOFTRED SOFTMITRED SOFTUnspecifiedhttp://fmv.jku.at/kissat/linuxi686$ AAddddd8c8433dcc36f31ad9b2fac37cdcc3317f3cf4f950f7a168c215bb4a8d46aee7138d61d86e3d6d642b08bec4c313a4f27d6ff93b6069e90a002e7ccc5c17e288f../../../../usr/bin/kissatrootrootrootrootrootrootrootrootrootrootkissat-0-0.6.sc2021.red80.src.rpmkissatkissat(x86-32)@@@@@@@@    @kissat-libs(x86-32)libc.so.6libc.so.6(GLIBC_2.0)libc.so.6(GLIBC_2.1.3)libc.so.6(GLIBC_2.3)libc.so.6(GLIBC_2.3.4)libc.so.6(GLIBC_2.34)libc.so.6(GLIBC_2.4)libkissat.so.0rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)rtld(GNU_HASH)0-0.6.sc2021.red803.0.4-14.6.0-14.0-15.4.18-14.18.0d@cQ8@Alexandr Subbotin - 0-0.6.sc2021Alexandr Subbotin - 0:0-0- Build for red80- Initial build (rebranding)0-0.6.sc2021.red800-0.6.sc2021.red80kissat.build-id5e89e4e93a40befe0184c9a08037d624021f1624kissat.1.gz/usr/bin//usr/lib//usr/lib/.build-id//usr/lib/.build-id/5e//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]=5e89e4e93a40befe0184c9a08037d624021f1624, for GNU/Linux 3.2.0, strippeddirectorytroff or preprocessor input, ASCII text (gzip compressed data, max compression, from Unix) RRRRRRRRR utf-87d28a2123b71da98a5e843cdac8d3cc3303f0f32aee4bf0b7f4899f2bf369c0586e31b8cc280a9afe80330c9ec94b34057f6513d4039678ab2608c5adbfd155c?0(/h\-vF\Myt4FF?,'1UaٖvV,?; pU 6BD߄#:2L}^5W3ꌉ&GO@^Tw"J eD˔C49`<$~bǢ|h˔xק2Z,YS2|$H:W -Z^|#xI)C;KoT彔2iiN9P|iGYl63*j g3 364vBl[}Cp6^ox|+bo8iT͗*h8v>s4dHLNv~E-8&ӗdsZu;2SS!Ζ:&^x>?DV kzOs/:\#xH_/憤VON˅|p$.^[rLAvxҦ:͖oz:O[yVtOޛMW>kݹH[*ZPw>NGYZoqXl3m\\ӶqsCqqLi9N- nBwǘlշV̴6mt)C0 AB`4x3_O@q?`r_j_"X!2¸Pa!"HSRO|r I~|+S}{}lˠ+j}^'hf+H"H|JpΏa8i v_!Eml$I e 1YU4"(SR)ށ|"=Øu%)<@Di!| T0`B^OR|}'+9#`pۂd$՛zf=+4dwԐ-Uo8:I$BhYG^hBE 843tQi|TU/)RZ<i `bx1 PzX?Y,Y4ъ*R_ƛtӐc$8?!aRXAɸ IUxblv dǢE]>PmABL.+ >GKfo6g q;ᣒD<C8^~rW'lXnrMxh!W*҂ rl޳ $LE"$qcaظɐP`xiҹRFj(+3U)N= w|q,C"B~ !Z=iǹR+8'':\k87=χ^e([(3fi\B=:c" Ŝ i#w|AnV\ӫX0A,g.?8L*zJVctH~#F8v'X<^Rat-{AfȄB-c ScsIC'apmtQi-b*P4t㐲߂cS02g+px$/B=A~g?9} R<_cx/  ?W0;JPB?_`3 :p>1/`b>QdE&cO(x7;݌mv6E:yJdaJJ&&Ҋ#"V4~>FLgl'apmtQU;)fA$٩+JkueEUJliOcsIC'apmtQUz{)fA$٩+JkueEUJmiO͸Ǘ)LWvqLX*"Շ fP<|o/@=pW |Uf8yr&*{-vw듵A8a5A:mlQ~md:_ZtU/ W5t\;eevŵMWٗ{otY(wLe3ֹo̭ KS7%ΐaѮ{{2!Lɛ)3ELNЅihWJ];M{S^4$[?'0!^St[g\@;z{DTEG:/;d$G6s #y ;Ctǐ* ލ7؇?(n/2.('U}8"cX)eb㒘_p;}tN 9=ǽKFD#ܷ=RB iJӉ8z`;ʁRom՗ww( nWolI>|](ctAڦ)jTFټ%%Ѣ CK-aIS-ϵ,QyQoDE1;sEp?79Y9Q93Y8;Y1;%1Y9:xì8njf{] 8num{^?fY{^y7][^׵`hf"mㅢPrBQN( E9tŬrdoT]c< W$ՂKlMa\$E 9;)&rdfHrwnvS]we[4y&f ;Y Պm)< 0^T>k6 QO vjCB}&ov}2 ҴٻӚ7(Ŋk=y@ߙjbOϡL3p<٬iQWS߷ W-ݻ{L$j*fXCL?{ؾ𱹘 bֻ>ِ!22-9 (a2C`0B9{/C}MOH@F}mIPdeQ:Pu(Q9]P+:DJI5vV^R iLqm7EDECU!s e@ 8x\tY&/t"lyjkXVqróATGq"a ĕ#APJq)Q%>Z !B{*%h]*pvxp8lRxg_;Gk> JyU1w5Sx !wHMxIlYB1[ޗ#z7A^2b 9zzmTeTӑt릨CڮkHWLخ0< `Z+F\nj!wϗQX$/ Q66tּt4Ki39R|f6WUqihP&9h6)q;g÷ ^( { fgOfv&"΂!F&Er7^=~5.{SY=5Ḑ+52Hqb)]k&A6*㛍CP[6v[$2y-) MHmf$-r{_&kξ91q={#r G"A2{{g2s&[H;i- 祜sQTA3$왑xɢaCwϸZ?=%@j{ *ع|G("dƪvWI;Nf*/DD%-|58^X Ec M^-r~ku ދpܢBW'K&k%͠_|Mudv$_]& I/p,mZ4{h$3-.TSZHn`Œ&]i3,O~cZ}Zc >73!ǡ-7{v5쏨Ec>y+]It=6ɹ 8>tHށrVluK9 ܻ;@:9e3]%z_⬷n߳3vpG]wHi:6/]߻k/. P쵠gU5=c#i3KWi`Lz70{1ooi3{3$`Md?fpKHaIbyf$I 62"AeX+u#I v* VW*LqJm3 \ Y@Wͻz:AeS[۲lX{꣒. D䇊2 !^C|5JaV&Z&_,HU˵;hm ٦A ^N kĖzKnלρ !k8~D& D+k+ [dH-6v_TzH5ibd**K7A)s⚍]0E%x*1'o[ 8?l:T968W.5kT z[\G.HP& O=Q%D|#HnÅo„m'&BA h)YDhR])<XLھq4IQ ӽZRtd?XۥMX Oaah^BwL)Kf\&&_?=o!'lӷZD|U]/ա  lno?|rgۿWxL}tN:?yyOOtyjvl LLi0|~^K}Iוwi=f8X}jNw_dw]w7h<ǟwuFғ<;}_gH|NBҏκ^봮z;bοy5{ni>nWuuu?<9̳뤽.&]dZ|}nZj5ʪu*Mקн5t^h<59:ߓuzsߧxls߿\bYb304j6׿y]Iny#$C}LotVtyu7oU_l{ғ;dj9Fyw_Nkyo{޼]?⍎^3)~?Hu4Xؼ|Z?si/{}pһVyXU%_]m~?vd>mݻ?|7o_;&-g^lv;m\ڼ>*e}ԟ^&߯w;}^}yow3yG뻛}5w=ok;?NiM.USaF9w9o-BX/;4Ol*=?Sק7vGuYZ"4eՐ. 8t 54B"4-#o%Rjqsͨ10qV$6 Tm UYn Ʈ緧Vl3]>'\Z}7M5zgrN4Π5/ ~rݿe\M3pN8C41/< sn AI+g'࢐ 9CIe98L~?=_Fm ϜE>[s2߉ga :@dx,8}rRƔUj/4jZ7KtJj;ΰ*0iDQ@U!<=(~)xWZ _S0 :=-vG {Q]>Il|->*_SSCâ!_ӛ}uA\-%I*Jʹ:;h}/J|65[_,X5_,<.F* VOFʻD=XYE۫E*́t@SW5*>UԆdy~6cZYY 8)"q .h1Cy?kQ}L8*7k]ޭ JV=f6&M"_oCFTDfT @7ӗE9Y[LSm}"?w(ʛ&*k8x2wF;K{|ebotH$Qlo0A'T4(-M>;X<PJk`MxMES)%nYvmDДH"N䨽@TSʦb/3++/*}0to][lu]09]PőoR~/EmDw3(Y^Nx`"߆]F9eOF]"&KOaRV~Oԭj˥}Ocϥyd 6;{}=msvy: y{o9/G=߭mSu,?K# usGV4u:D*#x3z: C,lPX\ ̐!9$ EwLT֒v\їmF]WۇYle x7WX==4sOk_ݙIԸ`N1D'MЎ S0,iД*Jc[ֳXf涑 Ȥ^0q Q T^47% J@+MA] oQkӢ LjEu lzfFf\/o{XfZiͥiACvi1l1j: a^Wd-Ն9Q{r25T7JJp@F`)'zh,P#0UQAa&(pї8::~@o NԵ0R !'] ICB/vn Lr%0a|"R'[kXt&AnX)ݘ70j*tF+9 J"aK-'p<>!1F+E-R xFJ VG ƈ"ٓIcՇ8y)uCX^+*zJP ךk ܣ!=x!l'.]luuƶ:\)_Ms=Ll~(*Q3$(!#P+1]5YϷ!Th@ë߀Wqi-A .EVwc; (5`0So;TI龨k; ~eXm'[uv&cc[ۺt(o[𝞜O:I/tzMf1; ;͝9Eb$' qc^g[I7' qcNg[I7' qc>g[I7' qc.g[I7' quBOkas94o?Mge} pу_xeZO1FK[F)-6{Na"06$lŘay_ެ-/W,r1fyм^c؋6{x˼/,W7 W,fUyxXr 6^-_K+Ɓ84sj٠xR l@~_xe{>ޱ/WLo+Nk誕 '%)_ejx^_2> ++3=ݗ7 f6ݜO|E\|08Q[F8Ĺ$;jkRe5`Ѱrb[Hǔ\@CM)UWtF|G/0*BgDD<".Psq@4<Ɍ+3(4M;*mwWD 3v+ A}>{Oښ7P4Il,`zS8< j qEXv+ȐN҅S+:;0t !ZU.n ߭JZGGM>R$shKpLmIdj+%*=bd=q$xʖxxߙ̀@,N݊v6X%n[e(ֽ{] !չ%c#.{k$lJiգ D$F1W|7ژayycI9Q6 f e: ${9ݒNJLMn-(cuɉ=bDY)G3!a3I:'dЌݓ;F_dj&\B4DHG'm?U|'_%F?,B/CG1o3RI:$r~,A2?Ӧp(LU=;PaYJD\1\3M"A$TFS9wk*kNG,wZdJ|qZH7iV%Q vR@ E CV䙊p DN5t> &eM:F5!]R0a*&/ H3BıeA$"92Bn*eHϋ,,9h\"*+D^(n< M ଷ8 ea^zƾB0PF{z/"EU8#w=E!JI nIKa!FJM:at0-E0%PƳ2TC?JCN`I s<:u;:6H$CK3rxý.bCom:\@X~@kBT Dr09ث6HCrF$ j[vc_ǒ(Gplɉ;<5x_kjO Cw_u:[q矊2~HcᏚe{E= YU`Se࣊E !=(2{fU[ʞ/!@~Kkzua#Ȟ0HŮRZz0:.%X"At!<4 EM衇 {&1Z*Lkg\eI5>4!e\@D޺TLf-Z^LVL%?; $5Dp-G 9hS=eqL["ё&(Db:Tf 6̺Xr2j#I ?pH[Ԓ$l;H$(tΙ0eB5ʖim@c\[ܥU1S@Ib7O|w/TJI2b0FU"k䎇н-E#Al#z2i2gb[Ƞh̴6P 1갆hƅ 8|W*=D¥ FBP֋VR w' c` At3^]UZ~FA`ZxYe- JX }&6 |rm D)SXۑd.q% ׯR4nIw&1{/PITir؁,2.T@0*VuEhVBT ΜEy0ܤ͹]_3M87b uƘk rĿ@p<'5ЦLjkCT Blv5+T+t@-U^?^?[h"~`$i8SJ+lPuɌ> 0-x`ať b3M^HϊO~G=K5S.)@zoV&\"ڡٗn|P9Ql7}v<=Aڃ¨M'!8<Hqxm8{i!щR"e%bPd\SaAZ*Yg!},I\N!mfOu(\a9J VK1{+!r8M<9 HJT1 $$˄z3\0! 2PCFDDDDDI 9><0L;Y$6mjƷ7:gq,؋bp[8SQzbSF \ᆆ'SPCCx9 Ƹ qܦMo3(p?X{ eڀ?HeV ݨ :B#E7( 2ɽ8*^\d @z4, qH\D\ǯ%Bl9cC;Cs!9GQ;z@ȝ~::Ɗcm6T6"Bۼ=zDe]4֚MQh{ K@}ӓ%؞4 w"\_BAܽԈnSVyˋoTCC?U ( %h z.}U__`.BjgL\c܂\R-Θ>G\Kh6rTAѢD.?Cvy3\ B1#eA(d. 0Em]6r/1\\27T؋}jqrs uH9p%1SR-%;!4Ҳ?=aYO(%I"V<]փ{MH)Oc/ɢ:PĢ\HCSZʶ%*"x?2'C:XN۴{"g*ױ-QMfmX:P`Pb`BA˟G826E|kQ{cnwɶ9Cz')^@MmDaCv8cSȈunUtmtsr7Eu { [aD`n np>-\4B0}7Z)\'fc}/xU)Qh%҅˅ѺzDX2u90 )U5nE0TP0cMa|))i/ؓʜ޼%Z| bלc?1ٿ` <;"M-0"M }OjK}˦HiZ uDF}*L0b0fČbH8NJ rQWin>h y*7m)?H1y*lFw36prv$ q7XYÛ / ҽ?nCq>S}8 Rޯfx рO48BrNz_lmx\!GQ)Z^Ӆ'_cd_GH"C>j^)Vxsp^pub)_e`IOڷM824G+e!7q\iK-yv@LLBC"IC|Jr:>+EcʻBnO }5u.^@Eg.\Ϯ}g. ֣髺+*+kq Xӆ*clM'7!CQ;n xhS|!p)6yПuUN? rv182H`Yt`]h *iu[s_0pӶ0z=NJi)$`2\TB7Ed,qU,mWYdI8ԫg8sbC(MřxS_Bi-)Si85Gڍ%>t:-շ,8̡$ C,6nw"'_^NiԞcn oGJ[. =&߅/'=%_>:pZLHԥuTgXBmzیXl3' [ #&YV+1א[_C7KxKr^uN"hZ hU2(q ly|x ^kd|m1*X4OZL*pZ5[#\O",؄e/dn/FkSX׸>OeX4tG*#LQ,>kH}2AWU[ėk㱽ѪVM\drkC&x㶘E؂!@I"mcf\]1v빵 *avi6T]w*`Vu^.!b>A{qz-I0c :g