kissat-4.0.0-1.fc41 >t 6 6_ p3!Flض zE>b$bjf- b$bjёE7`.,M{?5kDP:@My:@m6t{ja"u_1 ĥ"SgOF ~F<$(5. JA334Y1?c-a#,ɀ=UИ.G(tjs7뮼BdCh|IDxGy}RWZtV\篢a-)e~ i[ @z23|ɑ5$cw9x|,TLi] {;\W=`I/M|d;y5}GV 2bdR:LhF2F\}J# yb_4~!21Sa859- G$n3"r6"9APzMd cAèw {҉N}Q-jEPd-m[^*PȿWz 0Mq$Yl G#2391bafc33d7ec7b097bdfd3cf04c30e94d9d9515d3f626101f504091721200312bc34c4a0759b139bf7b394482cbd55512d55a1030204876d7435004730450220270648d57c08a8d8e3fb4fb4645aac71fe7980c4fd3a33f7d84788ce91cabe53022100833cf1e90b8d093a1668e40a5de04cfd21148afc43561876201531c982f4bb3b030204876d743500483046022100e8c136312ff0ded015d80cbe2e98d2f5945560154fe95fb4df4c67dd25867889022100a92b6c9c2c6f985c4281f77c8c8b1ca6801f89a8b4cc974dbe8dd0693af9770fQU\m/v˴l~6L!>`??d   0  , 6 @ T   %>\p   (K8T 9x :l G H $I 8X @Y H\ d] x^ b d e f l t u v (w `x ty     HLCkissat4.0.01.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.fbbuildhw-a64-22.iad2.fedoraproject.orgLFedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttp://fmv.jku.at/kissat/linuxaarch64jAAfffff6c39fed7b32302c885fc7a7d0de7288b30afdb57d4a863d8416744b769b8ad589634f8a5f126dfe8e53165d434aad107aefecf97a2cd3daf8c4b84d59466efd6../../../../usr/bin/kissatrootrootrootrootrootrootrootrootrootrootkissat-4.0.0-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.0-1.fc413.0.4-14.6.0-14.0-15.4.18-14.19.92fafeeM@e@eG@d!d~c0Jerry 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.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.0-1.fc414.0.0-1.fc41kissat.build-id4dfb1a902d83eb784f3e1534cde0efaf4b636ea6kissat.1.gz/usr/bin//usr/lib//usr/lib/.build-id//usr/lib/.build-id/4d//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]=4dfb1a902d83eb784f3e1534cde0efaf4b636ea6, 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-81f0d2b6d8ac3c4af508ae9a6a6b5988ba8649f403287db86cdd21d662ebcc1a43811199a31ec65f4fa364b6b29c39fa4984c37ba7829065f03a20c88acf7073d?(/h %BM mPeF$ͼz3n[k&BeH?[z߬gj@7b]vmT{K)SOjYۋQGa\\”Hx ے$``& ;r @+.V`YI OX+HnDl@JFO]s[Vq,Jn:yQ`A{[J nSNP`|p@.DcϜfs9LG/mI j#~CZQ.m@686fCi@5d@ Å߾ebj_Vp)fѢ`A!:QAڠJY*- J 9TE'&-&% }pJy ,Bt (?N|=h!άc#vX#՗\iT~ۉ˃YF#}!n}] 3`8/2\YURV.^/h-, eIfP&ŚKil$sf4#{:%Y s&GYٗXX Y .ÒP0현5eR̗ɲGɞQ&Y҇9N1Cڌ>L2L,Ft&?M2ɠO(}-eMq |A8>G's|6fϣfV2ɾIclBdNI[J\F+ʌ2Øe$qLly[9|9ю_I&̙Ҳ):PfRSt&&Y;&ӖflylA5z/ [r 갽^mvɲӡRPJO-,עX/V$,O]xP7#GNk/_Z~CR]Ol,]q]>LwjY `Pb \b KuDwV.:Gp:H9$&;Evx%336?RtvCEcʁp59s+H8 &7.- *a!Sl]yj?ˎ$#buo8w#b6Bd.{@ٛ3׹'i^˳]ۼe{ۼ#QMh~k_lDK6!jB7辇%[ I1l¼At>g:WԲtE"/gKq1"U\UgT` /8uP{璶;-6=”h{mwbL7:?A!a {]#Ax9M훧gnX JSDɢ|S ^Mq%mᓨ0c×3347)EۻgݨO|f~zz& }Lr3!}bfB_<OղKd,]&o5^RhSOCw!&ji&es,LOuhe'zS=alWmƸL ä͕@r{Bw9~Kmzww!-Ⳡi+Vb]h|VDzc:_|b'_uTҟbी4POD~}wuڌZ?CJ|@J oʗ[ؘ؅?70 b:[Yx9=0j qI W֑Ww^Axm1JWXiHqUrb$MKܚ?e Hn/_D/=\jl_RTW}dZ0]ڮZM=D.ȵ!ܵj$w ;vؘIkl/ A` @IveH|7%SY"M&Ҹfdw-<zhx{@d1̏!o8Ǜd޵dyb}, RQ-{@[u. c3R':?ߩmF?gr fJ^.y.I`!׊5S ]+Or<@(3:OƎ[+Bޭ,/ 0`Od"k&k,;|F4R-ؘ' 篚4_'ߌH/j}+IrD ^"T, w' RzPDch-"Uv%^<J3'ڝi7VnQ^;D;e Ɂcɜ9rBPꖖ"[;sGF"lkCe\+ҕ1?mO.oqE;Z7Ktӄ4[,!D]u]w o>ģfӭiqD]C/b|Xkc5NҮ׿'2%TÆ+6I4fEڛڬ2T+ zi wn>_9c>;ɽ2~n:d.ȓU~؃7F]z3L& dF_esX؇%szFdu.)૮~x=d8|F_P^_ږIyos<I3KհeT)x{{W5q$xG5B~In,ke>aG9 ;~~a\1 ouH?.$ʞZ?Mb}KaW6iX|o˕~2_t:^>bWݬ8cGTޔvu͟s+n5twl} mڀC~+ {yF8kwl_aw׸t#}lΈW:Qq|X2Υ &!'䱫^7[k EzxRMn]%ZƇ1CuOx- <Hk 1~%G+Dkw GIz͢^x7NyEiK`VC 6Q.Ws'}7Υv3'}u/53, ˥IIq`WM#DKň#vbؾ~>S?ٟJ%ETE`/R?lgl:x .0r5M#c:5pzRܔhI8[=>lJݕ9d5u; ' ~.\}"N.gkpVm"O6-<\@&f;|RtkR9\)ܯ~JMp| [^3xK7Fv35Zo?|^zM6 :I{Z*ȧܽGf&=Wd{rM!>6:~>qaWoM»0Tf|z ۾'{+Ńy?lЁ>:!df^sw!3͒["bKN f؋@N4 WX=(G>UGی3:5c6_Lz6r2'?=1ťoE!яUa>AaOij ˂ o)*yywqA m:%8<#=mUs銄^»icOG:c w^x{?SJG^Y}|kBZCmD܌/{>$>Md3zŴ ň_RKb` r0f(EITQ~vEN)FEm,p/{k)ҁ.^{0?S1(Cxܧ͎c[pa<m\"n/1>Tw 8aa[C/ hbd3ԺڜgǖuoT&-ՐyJ=8_SP=A&p)4Wx_fG`>vVNZ͏Tx[KA )cmA0,<&Лnۘ*30|5'ڽ!T2KK@BV^!Mݑ~Ȏ!^*ZA=(Zж #ǖ:O=:Ȯ#s 炣w %FKf4# CFu5 Y,5t햁ۿAz73DZwINnd]NlA|Z4gu(XLF!"Y:!XӒP GDF7\3eZ >ӡB*)M_huԜu3=Pro/jaFdĮf(}bu\sfr (hGw1k1ugo=őf$!6Ad %Jwex\/`'ɱVUnANcNIڠr$|l?fz{e9K%&|HXuUذnbYV')(,'# S]R,kMĨz>'B5n74v?79inx ;Y q~We:V=}*}h#=VÈUPD'f3 NC,7[@jp= R-ec0Բ|ËG yUp8l9{$VƴQo4ɇǢ-{ 7#dlpqqA4.v1tز >MxRҟ5"˖Ϊ<ѳ̉?]WWLmg<~֛sOn/81e,Yvr[ tqi?Q)} W>jS&׏lC[ %s ~Bw]0Hś9ACn$kj[\=[Ua㭱S,|HzM&ʥHtGSV4!<\ƺݟ*=nn[?@0p\dҰh}y#=6ρra%" I$$oVyT޳ ]` M1GzGqdt-ͥ`Exyi$VS {RHf &*>0 Ð!$IARXo<.0\ UQ|*7E#†Zd$]n0i͖@dĉࣽy 8󗋃 z5@~-~mzD٫K :q'"'5~uuA_ˣ&!y_"!ײ q#z6Y^uPCvsW?:;3YQT~|Aͣ[~7zennjwö~L<sT[‘Ic]Yy'\ו9+ pFXC!}Wx:u׈IAC[>7T0 w%c$˦^*ֵTJo>=mZ?vs#\grd2΂ƥg޳sKH`z {x9 ˞WU%ʾt޽B>ΓׯZӿw!ڤ'NΖ^>H#|6~lɮcg,#=4S G+ 3O8fkY*Q ~`΅)$ѬH%+l]@vZ3AO4h:bA-ggzh\d _ȱ@!D7?MZmtޑe(A>eGA6Ro/M1Wr==!vRhpA[P]0k(^!zi]q|:M/GV~ vjNt|V0ߕ\54Des-YK4N:  ?Hanf~R4Yz"9Paл=:ߥsu.`mw X ĊBD[fr4 ( 胘jI?1u 9ʇ4D!;@s Uz ~5p鏻,2:l%D uz$N*-35Ifc@ 1pxo(XH ( H p<$@#% GA$3a1-.debug`7zXZִF '!]?Eh=ڊ"͋S`k/#]IZwr9-kJ3^:#ҳ]wnYVѥ7譧So e6_7)~Ly|f~\h`'޺939|^NVjn&sjs]=biU4L\y38_Cԇ_1NӖWXojp7I 9zj}JAK `8j{2/EZ !EϪVx¹8JBE>!o, M/ynvwncx_#!`1C1AyЄ .H%ˋqY>XR(hJ#VzK:dB MF6V֞] BL,f[ep7][_VwŸ:o""ZhyMlq== S$G Ǿ]2ckLz6p˞p/jݭiO8|>X[3** Q`rZz$)Vi8sW7w}:\XX8ޣ?Rnei혭A/$2p0ahazWrEٸx49G 0xD +vC!t< G }tۛz·\ea<2S^ͪ,HQ^uPV |LS / ?"bkj: jzr="8Bx6ӹߩnCߌMdlΕr?n_^֛pbz"p0! Ò3Q a8RPc~G_ފ[ͳqJtzTA̪LnC]Br̗ kIs9anBko,Tn*kVbi)c:NFCV'A; 7 $ `7=&L]ys $C~;]4[&cjŐ*v Lĕ6WŊ 5j︠>gt㉊o;[>/srlܨZqqE&1n"n?gYZ.shstrtab.interp.note.gnu.property-idABI-tagpackage.dynsym_relapltritexfodata.eh_frame_hdr_arrayamicobss.attribute_link &X$9| GU(_ g o|`ؕB,@hxxXP  />P$tM24437/4d4a1ff1a3e/fb1a902d83eb784f3e1534cde0efaf4b636ea6../581a4f621share/man1.1[[o۸~ׯq^IbS bn[497$[@hItE*33$R"(Y|΍!5y}b?]??[|X\?fbk^:, 0rߥ.5gJ@S 4p@b_~R٘.sֹ`2OcM1wtg6Y b8dK) uL`h9k ]Jn0f7E3t, /+R mGv0?Pև8W`zx2a[(@@YLj:c4MMM3ezG$E"Pـ)+ iùYݝ?r*"iCf4s6z|k`-@Ԇ܍B3H - ZU s`GPM-+L,EW`u!"K >mXB3fVjކ!zH}L1g]euZ//0U){'&=, zJ8LkXT`1{K0FDf 0B9|wKC"Y$L0fE A5v~,sGTGFpq~?Cr@:% tAag.c%8hOB#!Q#Zw`瑹PH~-7? ?㈝9xGFUbԕ]+){6L`? A@i9A^i [5f#:] 0dzaJ)z5˳O`^Ͽ(PR588MlNfs;O}6}qW74B Ƕۿ8z|ҭ.uueru/n.MH$MsH,IS.`l6xsĭG (k?%,"NM]Shmuxz~^9䘫Tf^` ([H+])i[yHs"''CLb>,E<;y 7k ziDiİENLn@-x !'u#+#S C2 y2;j?0 ,Ĥ罻F5↨b7=GΜw(Mf\H N|mo{Ch6n;kaĝRb A,S፣^h h=4k C(ʦ /M(K b7u ()ׂ{idZܧa] b¶:v˓?i60$dvdB.VX('X<θ(xi*k6ve[MvPi$[#Đ).˜pWʩK~R9KWT~ 4(ddhwC`M]ּ-<Vo@o`ndjm%U/!u2W}ݕI.6F!+wn"G`kZ*x0Z6 U.6CCdZC1F[Ev:5?J};ӈU !{"DaIwE=nm~?>d"OZj#ˎEсqOZpx{6>&+QC S=_ 1g!e IH!zM *^l'23iu 91$eSr2j2&ڍXog;`2ç:CPWOesAS-N0{b% wfX19K:$tM,Ͳ oOPAͿ%=b?;hp*.Ϳ{2;o*z!"·:p"j[<8>77 dUx8 V.¾=|Wa$H:LWTڨW(8Y0)SmFOA2FWP&_e*d%4 Yx=n/;g17'9QZgW'4HlyhOֵX/PSA">`U@*M:Fwii1O bLhy1@ 0Mhdu3:#`!U" x %2j=]ۥFx겓 'AN9@`u?z38KFW[Hh@Oَ qaw+`6]YpI){!E<+Ǣ6y/'Sfn?y%O~U:t{y5@l4YKJl2]~O;))>>džJ<$t}^t$J0GXa)Kok;,-wDxٓ'xG(psUoR=b3W^,فu%e?T#֡@ ̷=pţB 0!Y}WՔ1 Sza:9ht-z2e|#~ \],ڏ<;@Jj&s dBod)3%`染 ۗ63!~b`i4sތJ+%'"˶ʵD6eWr-}Ȫ1Zڍ BFB6+ŅMQaWH fI4?M8bTRAILER!!!>ai&$IY5s-A UMU $"@$ "MAA!Nr8Bp`?J+/a3^M pt'D36Zn ;xh7aҡKw ~= ֋Ub6ĐcSJFZ̘x)8M|{HK8L|XPD0uZ3BH xOHz`oo^y;.#Зjb42~dMvvx0 {ĝ3E&_@~X!IVeak,T ܈&bSa8 |S!G(X-Qd<' 'W$443GC*s m$/ţ7N:Zd$~0nF/E=o0 yY NvS ?@c㟪`#93LTH3nD6k`̬h$b_6ȆsNif.MjThp`IKS$3Qn2i|PFZf,