kissat-4.0.1-1.fc41 >t 6 6_ p3!Flض zE>b$bjfN b$bjbٮr_#l=]/OШ ){JN: ǭvfF~3I떄r(O=oTц z}U(5_߄v#Q0*wT%05.QQգŎ4 TiX ~Qz|Yo] k_՝=3S/?|U7Ǣox +,@e8(X4_BtY=vFgdHKu` 2l`??d   0  , 6 @ T   %>\p   (K8T 9| : G PH dI xX Y \ ] ^ b Sd e f $l 't @u Tv hw x y   ?ECkissat4.0.11.fc41Keep 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.fNbuildhw-a64-19.iad2.fedoraproject.orgLFedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttp://fmv.jku.at/kissat/linuxaarch64jAAf f f f f 1fdd51cbf6c3c3bfd7a40131c9e9d2e2b9f41100642c10624d074e8fe709d62cbf5a7eb1d73d093c7c01074efe46610db06249b50cce2cabad20b49846a92fd7../../../../usr/bin/kissatrootrootrootrootrootrootrootrootrootrootkissat-4.0.1-1.fc41.src.rpmkissatkissat(aarch-64)@@@@@@@    @kissat-libs(aarch-64)ld-linux-aarch64.so.1()(64bit)ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)libc.so.6()(64bit)libc.so.6(GLIBC_2.17)(64bit)libc.so.6(GLIBC_2.34)(64bit)libc.so.6(GLIBC_ABI_DT_RELR)(64bit)libkissat.so.0()(64bit)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)rtld(GNU_HASH)4.0.1-1.fc413.0.4-14.6.0-14.0-15.4.18-14.19.92f)@fafeeM@e@eG@d!d~c0Jerry James - 4.0.1-1Jerry James - 4.0.0-1Fedora Release Engineering - 3.1.1-5Jerry James - 3.1.1-4Fedora Release Engineering - 3.1.1-3Fedora Release Engineering - 3.1.1-2Jerry James - 3.1.1-1Fedora Release Engineering - 3.1.0-2Jerry James - 3.1.0-1Fedora Release Engineering - 3.0.0-3- Version 4.0.1- Version 4.0.0- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild- Stop building for 32-bit x86- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild- Version 3.1.1- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild- Version 3.1.0- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild4.0.1-1.fc414.0.1-1.fc41kissat.build-ida56f0be6aa0f70a3777c97b21eb21576d3ba664bkissat.1.gz/usr/bin//usr/lib//usr/lib/.build-id//usr/lib/.build-id/a5//usr/share/man/man1/-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wno-complain-wrong-lang -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointercpiozstd19aarch64-redhat-linux-gnuELF 64-bit LSB pie executable, ARM aarch64, version 1 (SYSV), dynamically linked, interpreter /lib/ld-linux-aarch64.so.1, BuildID[sha1]=a56f0be6aa0f70a3777c97b21eb21576d3ba664b, for GNU/Linux 3.7.0, strippeddirectorytroff or preprocessor input, ASCII text (gzip compressed data, max compression, from Unix)RRRRRRRR https://bugz.fedoraproject.org/kissatgit:https://github.com/arminbiere/kissat.gitutf-81a15b6d57292815a21cd4576a3e4ebb3ca02b499d54edfed8efcf51716ee7c3ddf4c20646ad48da362f05663bffac0946128d5a2a32f64c24acbe85c2e8941b0?(/h7ClIqMsh2kTlXs3)߽ҲX[]W^IF{ztu.k7gd'!;mmh2QۏvVn6[kH-˃e׸\ypCڭSW-LJ@KN6Ҥ^E .tఱ_DqV #LJ4*pַH$d[=Et??=5^=Ϙ@sHg"c31-#EqDb2mˡl*zjr߈nh̍pne~sC+Իݴ-몼@wӿkpTzX\口=gkso+zm9pm&R~O_Ix`4GX$Ѹw8/q,~ vE3$Xu<s:0?>>((VA^b6M  FОH(|d,;D0"y#>!(@6L&D^耫mG%/*oov^fGf &R[pA-@--7a0c9ǘV_+ ';*@\" *c9?#cIʳ[ Oi?5v.+0nΠGxI`8ͨ/Ta9ݖRD4+?Cq?f EA W%M 6Y/TܳF2,p`8苴B@v0r_"`0Gz O"/(4x@Jؔa N% UUDC+O  [EDQƸrt# 9f7ISDE5w^/!Fr쯞"-#>*z1U {wHei=a~vşlg"[#+?|s*),=)o7a@"2iׇFVuRp tpG2}xbh[X2"X竻*(ڒT43[;Et}<빻CGljUSD\f2wa8aq)5+ԋoh|s|\vx&٭/zp_ھ<zc-hbO`.o!5DAtK(G= z1Fq#g{F(v~RӝLyZi, :қk5sm-^y6lrhDuP rWf@F P(,OL9o=jݥ[ \ִzGR0kIw9*@OCG7SbU zt/YƄ_+&JwXWzV5֚uY\sUsR6 ]):&`W#u\5w$qsflf5|HS_^W,c9]Qg[1 Fu吅0uNɇtˌtΙ_((ɶ8Q_wkn&sB{}?o00"Dy׾zߦ 1k ;7}SSk)SZGz3|S$!*$-51)3J)ݰL:6 ࡺ@ob1Cٚ! ׽Ћ!4P g Gגfʐ8bP՟O9V6z!m'8nNCqZ8mwiǒOI>Ok8;$}^sݷ|(e_•LÊ\ƌ9RpC 1l,Pn?up[e'Gy=&˵s֞/o~7_wCoƻؽ\ٸ??v̈l}5 C"h0z8S͌z#=Q/t qc`x &e=)k.2ppC`[v.X}8ځDc#Dž,m?.`Gnr΋+t  ߰Bs@Uܦ,?N\P易I)i.-D,G3PM@~ ;0SPa6Ftb$P?yK}K׈ ˑ(f ڮw?!.>kvi`YMYV, QUV,fB4otY4s3u KMј ㈳c=<ˁBx^Ͷgdh4olrUq7/ܙҫ?J(W,G@1 |:۲-tk9d_!\m:JBK%`4M O(x?^^&Fx҃6X#'V[F'pt-u#5a+3X.|JT?|R'J?dzgogr֫q}2X ?ZW0.qwkx+qnݭm(q#$^ksz\K#g@co'Q=4oqdRރPϵ LX)`nlpnYN;ڟ:{]ZuW{`_Yn2z_`י*~e[1⿤{OO/T%ۃrҙ"":tpi(P$`%b&K󻣯=,a8gT&JImKN E :=ء%6 Rԟ@#Rmt統GNU$6Qߟ.'ܽs*4u6 Lkb߷$SBk&agdU*:{me>Iz ml/Z 6&Ͼ.KÔW;!:0}nnwE9QYr?(TttԻ+kDQNWrXL_BNZ3B^aW[W4lI:Hlc; ڽ PP>{ކ%yq :_x3<$7 ~< m)&Eul6#) 9;Mqṃ;ҙ$Lz y,i\Ԛ`Ke q:~涍[Ƕm8::ۮjնy +l0?Ov`[;sR했I5+Jʗ i$5;;\ѭI%h'wmyRpaisoR(NUڑyc!_ezg_Yً78(vSOLݺřY&[nϬܿJ-0_H|EሪI4]T^<:㝐ls #zJ'Z[_ruL3G+Wy@5詋\:\UΙ0'ϥb {RFIIEدf-ϒnնZ}\cwn{'Zf.}^dZ!_87TX8/l$k"5#!q_LnUQ¦%>hgyH_c۱#܍SP 3˚,yw~>Yœ'.0㫃=lդ/e.\-`u57juyjd-)xy/Xc{@ӦFTLsGW46w,CqJk!#9^wxWOwrbMߎǻ<4r]h} 9. `FlϜ_}kÐ'q8_67?l:OH_RX'b4Ga]{!(-.\VޭEs~ u³7XuC'0܋fGJdt︬ךQ?F~nc\&+Y92 Wu4k52;.3`rߟAd:<ٱr#\ϱM0pdzI2aS*R^ڶ{'KlB>*!^pܫ;얒yX~.">Hà4mx øO=&,{=';W!U=8УJ2͖\:]xt>u{nIǾ.w5:<,^YH.9K:z'տ/#j,ef0ޔT/s,~yj/@3Ihح־Q~^RL⟿&ǖNOH OOH^^ow>݃xd)=ݼ9ݘ(I<\hmcƜoymXp ~=- ג/y_ ]<Օ:z@ijW7>2бMzA (P}%uI4C= cP V55pȗXχ)SsIT!uibRpqؗT<+}XW1vw_% VߏI>/2쟕^_A^=ч>Fm?[ڜNtk6vvXJ)fq~Og3璮='*Clca(r?D}e9Ko, [v<0 ddooeAY>ycyhJmٱbSe/ps;ōkl<򶒚S Lҡ0RtYbALj48҂6;Zuϣ[K^/\t3R"s?4 srY X̛lگ*|K$"SFe<'}_v{2H‡l-rظxѝ{ywz떗i-$>y)zsY}\^qԬM37gvHLz? }?g-%:oguqGk QYe\[NI>ч>0:WGU>ۏ7ONٺq:n$sb],R2+}UY8/̖~pr}xD#cw#rIW15ꓤώ#i[9T_YYG5j̊&ϺDş+I]+օR [VK%S|0|cX°:ŦA"^ Kn],`в&7#o!-S~c9 0~;Ct:! !pqK'@VhXTH䁠<JEn\њ,7 Kqvx ncfopQrqBIyNW' mr֝eSaA0 #G4 @Fؼ>}u9nTq)]=dYm,?=2l6nqNiP<URRVd/sIu [9eݽLVc)61\%5XjXj^ Eb֩iU#5î iLsGIhW Җu݆14=D,Rg*$#kq2+ʼ@d*z`uS'-v̒H2(*>B,!IR5$ش<%z&JQ4ׂ>mYC1zl~p@) 5H\{3E*vsheQ%aa|bO4UhWC!jy|t/@ 򴛋{  zmMFޖ/x mc5% *K J ޷-uUH\D!"Ur ԟzB}sy#^5!C -g@\O&;I<#@t'q+F=Ћ1dr9]!zp&U&8&hΐj O95%%0J*bb kP](fY@qʅrz&@PFbt?]?V[tvpXA!ͭ.ck}OS##9 p3)3~ď#<8g9N8)Y{!pc_;G@R#\=f ! Ziidn#c q(\pDu' 0EnϹw\ lBDvkm]?$/TfmýTwO~bw=∶M?0m9Ic2LGͣ%,˓epJ%ꞳŤO}\\W+8vИ|b`]m^BaLh2Ro?6Q.L\h:Ja5qP#3%;GH PIImb"{7X=`{!QZ L!:CǦYXtbP|q[.`%\3ݐb$grV. $obp'4d|\blyC|57ҙ(Zsr[>,d -%O[_a IϾU:k`\aT{K b+Cߡ@ڕW텳gm2a 8\;4+Q61ixtF_B?0Eo/Խ 3 {h6tgzލ%(Vo5gh0 Ygz.Za(%D-k *ҍ `:@zNr,\ikUYy3j=ybIdњl+CGv LqwKGՠb&a%gph$?g~21W>5+%|[^H1o!W'c rx2@At*hx`46-6)A.OkL#64ei| 7&AfC_& 2/:~:TTEc"hWй(I`Յ:D< i8dA Nq{~!s-\G 3&tC!|$HlmmwLxuɜq%%-30, r d'susw uldhutdownt; 4x8X(TD|xzRx 4A,0@<$TP-A BN|HPTDL(DD  ALCT4` B @I  A@p AFh0BCVݘPEr ި\pC D G^OiO U C m OB LjOF_ONAQOIfOPIOCEODOiLq]6Ei7Fdh҃t ,]]O;d_nYٯa%& vF"@ץ֙m ORO krV-T[<ɀ޷xq!FGǗr*[ɉ+G“˹lBO{ź,1) }_/wƾr˚1Hgd/RMXd2`jRٗ  㲖N:aDp+ L J{JOk<k;w!^d!Q/V&әk-Ry $~9#l?>iAϡVk X g!lSSU0 n0'xu}xz3}{@J>yS0ϭ ^^8衮vl>k9],x2"KRTղNn&G"԰h[N=1g4O=_ZfnWR'š[˺>L_/ٗTD.ʖkQwH44 UswJɅYUDžva{ΪD)牲Ae4$Zː!^̍]WF̸\mQ-5M4OZ횕5`IM1'{mL yL"Q٩7GVGl8OJMw=ofy9'*[27[X[b/fN, 0{[gYZ.shstrtab.note.gnu.property-idABI-tagpackage.interp.dynsym_relapltritexfodata.eh_frame_hdr_arrayamicobss.attribute_link 8$1\ ?|MU(_ HgX o<|`ؕBp-@phtxxXP  />P$tM24437/a54a1ff1a3e/6f0be6aa0f70a3777c97b21e576d3ba664./581a4f621share/man1.1[[o۸~q^IbS bn[497$[@(ItE*33$R"(Y|΍!5y}b?]??[~X^?fbk^:oxٴ%289rY^Tkb&yrv9 &2֢@P1 J%C\CߓozJYYCM#u.딳Zhd&؁?{"naB=}d0"*DJ^fR4@0(ɦ(ozꌥ"8鈲oq\TiJ߂b`TA,wÊ.pbyͿ5u*dE z737$F?@8ϓL1) hWURtP*A]? v[qپ3}z]*FCK&A˧ `w‘m./ Yo~SoBMA/x}>QSϪ]H/1 k^IY]')VZ_ACصvcvS43PEa]xƩGlb@&l !z1C-_tlfheSL? E0g>`J_5!m8ך"kpSn]Vd4m(`،P`F:Coy%0ڐR@Qh ᲡA !v!bl#4Je%% ̼.ZIAG{ KvJ40D:e쿟TsM!@h$$jDn"2W ɯ!yèJ!qU ' m`4V F ;PZCJHm;!/܀( C欔BYQ]< *z+լTS 5m yRcyۦ/F$vB~:g9_OEaPNŰiI3WtiE0ioa3E!Yad=_dЩk 2/S|?3OT`le aE+%;`KX:yQd Uq0]Ple[#@(}s4﷔F`mA/#@$]^dI l !vs4ydƅT@47`( ֛X6@ٍ !eZ)V,ޫ28CN8;JO̮h?Ql;Ma/v\2-F&}61"&lkc,n7<Lyf3j @rJfkWHa;>{-"B!?E~;㢨⡞(+XdwڀoMm _4C RWoCXc%S9L%",r T~ lBP(ȴ:Ӈ>-y)r[Vyb W+f- 9S~%2$VK^BdXo=+\m'C swn"G`kZ*x0Z6 U.6CCdZC1F[Ev:5?J};ӈU !{"DaIwE=nm~?>d"OZj#ˎEсqOZpx{6>&+QC S=_ 1!e IH!zM *^l'23iu 91$eSr2j2&ڍXog;`2ç:CPWOe AS-N0{b% wfX19K:$tM,ͪ oOPA-Mz~v(T\Z|=;04e~TȳCD\ %uDԶ8Vyp|no,p,]Ѕ}{02OH:u'J< QPp(:ixBpzm[^l /y7=^݉ZRbG 6ܦǓۢHE:0?ZSG ^rm a ] ,ѬxN@ݗ @;J;p1{q◷=@Fgtg H1Hޱ#ݍ[ V{[)vWh\;-0ěڋ16Dn0`y^a}u zLOЋ[~|ğkŋ)α^E7|x]&/U,u`BwcLa%0b>atV >"fD]uFB wEA2@Jz/d"R{K ;e'#3FAO< rҁ>)nxgp}@)x捁}e `V~m3RB"yWEm4}]_Oft~$R$K t&r>@ll4 ,)KtwS|/|x} /A5y.&t}^tBLZm%#,ה%}܃75LWŖ[u;aC'xG(psUo=gT[YK}{ϢVZk>?.0$ 9w'tLb"fYmМ*hE Sـ0 Ek[VHr~aRR30'0I&TF@v2Z)Yfs~dzR0B|sF:o^ ,f՛Q{vIȲr-1Ն3Ǫ&qKMdՋ-Fu!#!MY¦+$~c;V8bTRAILER!!!AAYFFDD(%ISy ec"$*@$BZLHu *D 1)P^Խ}P+J,g qXqlʕ2m{Dxp}[]`7:ۇgZȽ&/HxAsqW}*>7Utb bi rt lY7*R.*ltTW