kissat-3.1.1-4.fc40 >t 6 6_6"48 <3!]W>D] 'p~[yes 'p~[y*stweCEtQF5,8KoYN`A(gBn~ 9nF69n~W޸^Vd1&nCDxWAqYŇ$?OU?ޚQB!.YD[!4w',|%w2}65{6"7w]8@*A:WBuOD [2Si".>pd!$pfwLZn|@ $l1"AB1"# _+*~OƳr0% RE쨔ۯb,}'1B>@\whHFgu쌪h6=R}M-?sjqo[f. H Y001fefeeac9e9716251dd5d29ed5ce698ccb1363c913060615c9fda8f641ef6d3216ec51a2edb6b59808bcf270f7840e019820f8030204a3204a9e004730450220206e89f7f27df961082c7a732aa60bea05671e0940a3dfea3138b096bddd1310022100af9d285263c9e39ebcced93b050addc187a0705638966599c6bc753ca46e9b0e030204a3204a9e00473045022100b5e24fbb112895c92b7e55070d366b43f8fdb846d76f78209386dcd9a7ac1f59022039929ec73b13aad1f1f67ab8a14ab09ac0b3cd53eb3ac329537003b5b540d44bQ3!]W>D] 'p~[yes 'p~[ykEKC[_4Gb3 7Z׿ޤK]f*k2Я }!687@k gȅ/ ;Wkuasy %F6SS g ٬:h†{5rG%0i#fK5~O@4+q혇9,,BzPyM^$oZ֋lVYܱPԺT{E!7m&4 7/=_ atqRrFcF6dPn8]/a;#Y_ :> ͹mM'hxʘmu*&YJ;2RAoW7)ilbѮ.nB"}9'V^zϖ;߱O}xPs-pP2hy>zG%ajfIZBJ8ޥQҬLcTFgY$o*e,s5/0aD;ޮ3\ߤj/0{@>`?i?Yd   0  , 6 @ T   %>\p   ("8, 9P :D GHI X Y \ <] P^ b d e f l t u v w 8x Ly ` |    Ckissat3.1.14.fc40Keep 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.e`$buildvm-a64-25.iad2.fedoraproject.orgFedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttp://fmv.jku.at/kissat/linuxaarch64 ^AAe>e>e>e>e>0e0474014b075e2723d19b4156b6cf4324d92a6425dea35d5170013ee4a7abc050c40ecb77fb3cd3374e5eef2bc1c5e3daafac8c29853d10833c645e323ac162../../../../usr/bin/kissatrootrootrootrootrootrootrootrootrootrootkissat-3.1.1-4.fc40.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)libkissat.so.0()(64bit)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)rtld(GNU_HASH)3.1.1-4.fc403.0.4-14.6.0-14.0-15.4.18-14.19.1.1eeM@e@eG@d!d~c0b?by@Jerry 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-3Fedora Release Engineering - 3.0.0-2Jerry James - 3.0.0-1- 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_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild- Version 3.0.03.1.1-4.fc403.1.1-4.fc40kissat.build-id184841bbf6dd4acd3bafeb2ac7a601d0cebf2cf2kissat.1.gz/usr/bin//usr/lib//usr/lib/.build-id//usr/lib/.build-id/18//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]=184841bbf6dd4acd3bafeb2ac7a601d0cebf2cf2, for GNU/Linux 3.7.0, strippeddirectorytroff or preprocessor input, ASCII text (gzip compressed data, max compression, from Unix)RRRRRRR https://bugz.fedoraproject.org/kissathttps://github.com/arminbiere/kissatutf-820786ebe6925ccc856c2e0d3e6f11f7294ecc139b788ebb204fba37babff9b3f36042e9573a132f6d47120c8522ec7e7d71bf5cb6105531d17b3ec1223a36cca?(/h3G,7p /r UgeY{_sƫoO +ٕݤb<2['rՖ[f鈤n1w-ęhh*J'FaD30,L1L /'EL7V>aN*\#*Ŷ3:ҍ㢥fipڔ}7?Ϛo {p>3xΎFVBe[Tzk9 \ʼn!N'*Zibm(9<b9|Ĩ./^QqW/ܽMm"sWu.L6V7uoe^фoz;a;烄AmEy v7UG!4!|Op(vGy=dY*`ՁUk^ɣ>a?MP<'3!?οx:0! KTEH}vB I?!cM\]6?FoMlޜC1<=]Ns4ws]]/kNnTͭJO]kurg:.uj%b?8|sm&qwh=ݷ\z<$uhF˱i}dW$jS&ƛ4'sҸMt$μOuԽ*Lܐj%DC-{CC6A!hjvE"{5)r"2H%  8(ȘvP Bzrjà P%!: *pgʀ'M8 ZZ΂yx̨jAE eA|ӣW]SC}UU{ SsQ߃ЂRje L\B7H4Q YI7_q@xKLG՟Hӽ߂L(5<е::~\!> jiP< 7~ Y8>:<I`t |OֿFBg0K~۾\Cec _)DV2s l~07ʣ`YV082ٻPE0L3,)OKLʑaM4 r{NH1PZc8hrA +e1Dg(g vqHI0&;f /~0eU|dbBϟP5K;ܬ4s5gt2qckq-=7ߟd7SM#x7S)7)/@A?GsƉUL̙!|[z>ZLPYa=QdS@LAZA@QF^܉<jJj+1>BUN)@XèzA MRR6*w5Ҩ5ygCg:,g&4P.hr[(W5ԷL!"M`['e:ʊb <~=0$M r_RGݣN5:؝v#2}9 T(cA 52:4 ~ZSa\ISa0^DPH;l̀B&"|? >?N>|Q )Xiwjl$۽FIlj7l`$*ySBWTJv[rhޙwoil syG_Ak Vc/۔MtAgup}%/XQ]eNz;7c"]? RY/S/=@lcEtUKu``iQŀ.!󐌐$)(5A-,"JeTk B NaDt}lNdUۃ ýֈxSZ3Fkl7t3瑖cǹHN{7Rx"Rg&53il:{|f ' ߭]?Y=ssq턿%8Ӷd8ubjt LJsm7x?$/6 هAsa9͕̣ N1o [SY 5:w ȿm|,WߊrO !d7\|ZOߋ=Srug_o5ކi?,>XϢ&9SOZ䌸(gݪ˘+VH9Ud`u&!ɥ5/dS^>8S)Ϩ ih{:3{;߮.u]%ù{mB8o<&I6|8ʛ0./~*3Jf)Q zH~ BNRd 3ytEo"P $bwżմZ-̫/@!)yEk$kQx,^=44l硑q?&<H鹋M&4(:1GÌ_gFA項BT׬$QbdEك CgQ,<Vř: p |ʋ<0n13,hAX 2tJ`ux0F@rDP+p&ub#)LP[g%{[S1c497[JgH޺4G\NLy+wz}#M|:_:+ԓ yQl.&wѯwɔ+`c{5_lᓳ}24gzx:BS_%}JwZ6Usl݄oz]j;ge6 SoMc-崘2݅ԇ.[ ג}roFG**HWm^5 [*i]V[;8L#RJv~EvY`oQyz<<8cag|gh|arYol]{6I.Ʒ&$ ÒoPWHOuPSG\C-,?r`YYKKEe{]llj/k%y`grsl!Β݀]v 5X(Jް=DveXݱc)mT6W5\&oQ  dEQ?6{oB ;W$'FP,I0gέd 鹀 `*sﳿȶ)߁ҧ veC6yY,#k"__a{OJ;T&g+D|&wU 9>F7EzR@,b=8H׉t Z`@`2aoBN ӂ3v֩/c)n]B|l[ n۝rze.dxzXSW2qw>akõ 4h"g?ԝ݅M;tG|[sKw},ɖo :ftGa uPW)3lO%mB(GGfY'#?+^D}3쵊a$~G엝[\զQȴq*ZI㋃G|q/@?{av~2SU)Hq/O%C_-D#m9XIuYՎTUGb>>Z}:s"1V:Hz%0~?%߭aL(x@w|=k4unM|٢ֈ!FkyeKX8_Z{#DT=or&߭[2nɒE/]5[xG#%k! j.~<(ۉXm%Ip?qL<' >䩍*+s5L`k$Q$̰}Pmë[UYVVne>JnoŽkpFuL`BC7q{u9DLzfˇq}Rj;3d ?}d?g֛HC&lG7Y{b.|޿. ,5=\DiZדGΞQlGGqC5/=/T.&nػc;iƄuaӐ5s@rε$bK[ Jp?yG)9^>{!1=ź-O^1Ǜ;'r1#A<أҦ('TС3[9E]4/6WRG0% %ב= 6[}#oatq,WR.]{ /sxKƘrMб]ðSaWm4㩩ytէɺ~?зN'c[ؠ>غG=!kWW`xݙFI]wzC5m{/\za3?X;>V^n>iߠCW;:C iSm 4UMПnWxA3&3s<.{U+bkGj{ڴn>mGKbF~{a?|5曗];srJCF]ө|%.7sܱ}`GG(G[~6{ޗz]͚Cr 'aYg`"ynpXL* bouA))k9ǝG>VGcrsQIa(vkʐ~ ɨs*%nֿ[.gA_Oo~?qjp'a(_~WQLKw|nfs\4I:9P:aJIt(s:-(׽9NC<\+IgO^"<|vMl;^dOm m}ƍ :}cevyʥu͸g,dA(^>v>8?ۍj)o[-omWC. yQfACctSeWJryjmkjq[Kcˍ;Ҩa!"ҠrF)pmq=qxK {Z3JOǡR;%oZ?6/㉃XhD$ +MRj⧪ Trڧ1'$-"\L+@AwqReҤț#tq⿌2fĖiJvֲ(&*", !H n4!wcĉb$s::~jK\"M_x_Jؤ4r Oft C`I\4 mUP`qJZ'iABϱS= C8~N+#˺ʚ=yҨ~MhxX}IxzJ@nʐ# T%",bi2EKG 4̋2 or3ov;r8kV+=%"EMm!RjV3kJ6aVe ɠ>,$^). ])@%Yڑ)U]8]f 1ZKȾqz֣:[V=H49x$[<51#"|gXQxy u9[D*/m: O((FPҺ7֣S?Y2QVvhƪ iMIL~LkM3ly f$Jɲm'@{X͹}.1"`eK:ATd 2H*"ߘ15}hǯeV\%8Yf|텺iju֏m~x{0UfIO '_q^=XpИu^9oX) d7X @aʹ6w/;}\z 0\Ѝ&+ ,RYr3.i7/MkG"oH Uhu|/9$MpB,}g <@x'75QAijt \ Q<ΡaaP]h0/uE6R.IU sVfa!R n-]=y5ZЪt8#vTuNbN7KC[[q *Z ŗ?z|G@o+@Z (Ck Z_hc Cg"Ѩ)J(^ o7݊=ETԦKAED>U*̈́m`;ۗ8h~u&! at-YeNSc`KaScPci>9ezJ][քfgo p{s_1eMtlx]|cu}vzn4\'o0\H_FZK> 0fXavd, Fj :^Qw:P׬-UA.M5͖AƊVޚ| Rm EOD #5#Phr";NER"!xTFTQzB2AT=mg*JF8ƋB8 @6@D HERY3PRcc;>&Sy5lak jb6~)=HF;;+\dFۈEe4̫'M4 l5_A>5N|P}39.H{QjLJUXu`TEgN@܏(xB4Fo"pxx &[%*g%no:=\I|Q "ɈbHipdg];;gI.cA{Xk7 ĺ?%BV~Zʝo2<L6 r`&m>3Ipa)A@ "@Ap dqœMd3)SSVWc໐9Nhy-Iy둷ܻ>+y8 >'~F XܕTBbTp4W(Zx T&C-:lCPm  0dܝ$ Ÿ^N V!MY>^F B{P=)A**D % t9q ,Ӷ[Gw 8E,#eYfnWRr![U0Aי ӷ/x~xC{ߝwK6iԉ6jP*O%ܾZSUqU3E$1ANJ6cmQDsBJ+tC[.q_*D*m=ƭ2 8^$i,TIlXfj)aA/lSEӨp6a;>u)_w' IFۅALA #=m1rTR֑0j9/\LeIb"-~Ɉ/7-xJ@2CEwʌ!|%?lzr+⍣Τ)9ɴE>pA%}!OG݆?"'S}@{0#-~5EL(!0pR>l\ZMz\7yv6eNRsR=ue;ϲ el*1@4Je7[n6Sais,1rISKj5y889uf{YuWբY5T1!lF^Gfi3`NR!2QNހXL0_^f9sYNGoK\,lV|}H۝-ϳs[D? Y!w0~G%Y;=Vg.lɘGP.?RC X"EuQZc8" ه#J &kĐgYZ.shstrtab.interp.note.gnu.property-idABI-tagpackage.dynsym_relapltitexfodata.eh_frame_hdr_arrayamicobss.attribute_link &X$9| GU(_ Hg o|hPBp+@X   %((4P,|C24437/184a1ff1a/4841bbf6dd4acd3bafeb2ac7a601d0cebf2cf2../581a4c5e21share/man1gzZYo8~ׯaw;b'A;9{w3[I[U$JlVźy̯^w_/ӗweWcle-7l#*[߳(v˒Wl1<_|d\`//؋O\[<\n|1Ǿٙ*>3/GvAO rY@߽??z9 sި:e}džL<5J=nl֐̘4LU-]VVbn5zyeqKvZV"/ B:|QgZdu*qA@`ZZdh؞UL}kX,~G_!}X,sL#7U)*@SvZC+3!(6C`.ӭřLG]OH~JF FC߉ԠUP)Z]r-~uW j*`F&+PDq|ot-L?ƦP\'9 $̜ vХx"T*@T u4l%Xf2^ֆ$iLLAgl/b=d FZ %s |{rl{TWQ+[o(i'D#m= Q۳s<7Z$LĠQ콧#6=j0&u拞RZصH~X@=U^/i؟T,SV̜;pa@7Dcv7!D`(G߿Z5xZRWo "+yA1fvYQ8Ȟ#2}JH:֍qIߣ]uaBL~Ad,M,$0>胝;UԞ[ie5X`!C0pC8ig^X{\ci2 p+V<+m%!ޙ s 8ۈ&-_4~5nɒC1-sY4E?'k b8VdkDYS dZ_AC6aإյWrz9%d `xi17D@r9.q@&l!ry)V5EZxy}ˎ)78GQI! 90UPXݨ|S}=2 |+d~ps8 1YFw+!\y]"&2@IZU*XGePB"FKȌSapr%<v0|2z8TOn<,zlƇ;FЛF:{ήSH#Q8HK@\ x1]"4jmAPfr!3ܾ`d^(lc B&_h { B67 S1e/NӉ '0/-~A3t[`7hߏH"qkqyGArhiaBu~bM l-D^x؞B W?!4I4wO? 4}Zk5ANi&B!3K%!DV`l~w*]Tc <:bf]tG0t < ϞF +׊}Px7˅H庬wcBw>Y X_tfJE/)cUYjKp {1 uF C(fo$ĺjo]8[q6yCׇ4\%PvX-^ Pqہt @IJzƄwDf6hBo1;d aGnH1bZ/Kt|kmĒ}auO(+ udS`?K' wE\ڠ5UY<sHϚWPnt_ NHϊ:!q4{@fIXmJ6D6g[ ĝS3Z@HBFB6Wx ps ɱp'VN)bTRAILER!!!3qY6DJR(LQ YD1F$@h(ISP)Lae20{S퍁j@amF ݄YF+U e'l$.Ce' W$?k( 5ŧH2:#bbݗNÌmY Xq[g {HMCh L7 14&cLl2_;=ZJvƌ9:Oֵ#֘C,0vz2Om?