kissat-3.1.1-1.fc39 >t 6 6_6"48 <3!92d LuZLe| uZL?%`Dq=d&îqϛd(WRҎ~9rg,<ĒTA`UeVyHqRz4;Y߄s8z,2VI^s4R2q:Ep&)ů3u7#T)陋0t :+VíSz3]DQwKjJdᩧCdQ! a#'|WqH@'81M;HNAi GMID4p^p0+;Z 6b.6 4k.MQ8q٢ת?0/ON;*M +2Ja0Q[v*M`wOLݖj:,Ok繞_1G´0d4Жcyk |wVRcB9FU3UJUt:.ُBTRl mf; 6"Uw!"%Zi087670dbfed24ecd9b79f00e173ce9efec6908e0c476a3c0a42dd10fe19dd4924bb4f098144b4388410b9449495b3c775fcc46eb030204388b603e00473045022100d692752eac041702d9079a86cd850a4dbb71a4da4afc311aa3d48f2c8347855102207d8c843b30caeea8dfddc9e83b206b75c5707d0ea743ac1b7c4672f442bf3d82030204388b603e00483046022100d57a363757fbcedec0529917845ae5d025d8ccde2d649c86c248588da6324a7c022100db28e57172257e3eb95e9a1bbad8e0607591d2238a159a0a95a2d6962952ba1ePp3!92d LuZLe| uZL~od>MU7  {nDaA>AZI=V\5S(/$]y{[JbeD2Oᢂ~x8-BP5vfpϓt |>o|3B 0ibMc'?ZY$@|on,"rglhEPegE`_ok{ޕtlj%!3"=PK&_Ě;1狽v}oMs[GԌ@h}am}ˮIHHOg)?sOU\U1O̺?S W}.졄_uW10ƠૣPKdl"̽?qAIBp'N xcVS^O/M̻j/)#PABj-M([7I"EZ{ҭ9ŊψQ`Q ^-;5("2;"w Kqose}3bah<Ā6 kH>`>? d   0  ( 2 < P  !:Xl   (0889X:GHIXY\] ^ Kb d oe tf yl |t u v w x y  8 < b h  Ckissat3.1.11.fc39Keep 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.ePbuildvm-x86-14.iad2.fedoraproject.orgFedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttp://fmv.jku.at/kissat/linuxx86_64 `AAeeeeefd784f2cc2189de711b3a4bec2e21c7bfdedd654b1a95a197fea3e2221f5355fd5804baba0c7817b2ce6999dae7b2029325bd3c8b01abf536db0c9d44cd18f16../../../../usr/bin/kissatrootrootrootrootrootrootrootrootrootrootkissat-3.1.1-1.fc39.src.rpmkissatkissat(x86-64)@@@@@@@    @kissat-libs(x86-64)libc.so.6()(64bit)libc.so.6(GLIBC_2.2.5)(64bit)libc.so.6(GLIBC_2.3)(64bit)libc.so.6(GLIBC_2.3.4)(64bit)libc.so.6(GLIBC_2.34)(64bit)libc.so.6(GLIBC_2.4)(64bit)libkissat.so.0()(64bit)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)rtld(GNU_HASH)3.1.1-1.fc393.0.4-14.6.0-14.0-15.4.18-14.18.92eG@d!d~c0b?by@aaNJerry 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-1Jerry James - 0-0.5.sc2021Fedora Release Engineering - 0-0.5.sc2021- 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.0- Work around package-notes breakage - Adapt to a drat-trim change- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild3.1.1-1.fc393.1.1-1.fc39kissat.build-id80d4da6ea132690a5c705e387cda7f1509827a1akissat.1.gz/usr/bin//usr/lib//usr/lib/.build-id//usr/lib/.build-id/80//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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointercpiozstd19x86_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]=80d4da6ea132690a5c705e387cda7f1509827a1a, for GNU/Linux 3.2.0, strippeddirectorytroff or preprocessor input, ASCII text (gzip compressed data, max compression, from Unix)RRRRRRRR https://bugz.fedoraproject.org/kissatutf-879b06d6154039265d384d00dbf832b8d0b374231f1771d2c07e71b2caff1e0ea6ce5a246431560e2c1de4a690321df99174f17c99d77da89ae7254955dc089cf? (/h.vuHMB`zh|4:ina0hKo)ǺJw)c-`֍| )o4  Yh"#+kvn{@I ")dt:T8r4|j6'2_bYPv{x͉5&)aR5I6{7s0csbq{7h'm?~h;]!$&ۼhjaBKhfWԩ7|f=|oTfH(mmIBI3,0#oŇrˋW!Srm(%x Ǡ}cQ Hrp"Y|.dx:!?_b+pC<<`ψ&ʀnU$8ꔀTplЛ[V2!KV"js~suS @U|h1Z ( u夻]1JscmiSmM/7nӸ%Ŝ S˩[mՎ*jm{}f[Գ[9mqin)-^RҦmgKɔ-S83vo=M./+4 nx4zu)E +jN&6H\D _oP%dfQ,WDDV$)! %P-Obo\A)Iu>^U]}^ ~&HG_wXiFmSrjñ^l-ߔ:O[123rH]-o|^qtMfD$IJa 1N:"yFc %1BJ TKRb=/V]˹N<؏1>j7>|ǂ.چ5̭mY,+:DF~ò޺Jt{]&]頊wnfKXoŖ7kQ@]}x7U _(i>~)<ҧuj͐Q#u%ؚN=tEWE,&^+;]f7$,.6$5%IZG\ ![5J ݜѽbE,i?Je@872a7 XSq6x>-O9)jFcUI*$,u_f~E9@, 9gb**U]G0+x(Ddu-NK;$|Sb,J2EfY(bT  (08@HPX `!h"p#x$%&')*+,-./023456789: ;(<0=8>@?H@PAXB`ChDpExFHIJKMNHHoHtH5Jm%L@hfrb R B 2 " rbRB2" !"#$%&'r(b)R*B+2,"-./01234567r8ݨO3C:" ϓ%/ 4D.^x QNhI6#e9>@~BCKH ب0fBd$b9R:B;2<"=>?@ABCDE%hfƾ~vnf^VNF>6.&gƾ~vnf^VNF>6.&fƾUHAWAVIAUATSHHdH%HE1H=xlPffH8ƅQHDžDDžL(1L%af.KL=%I?HeM9u;-{fVicJ 3rmXp4( L+"ѫ{Q#\$KYk|YJFq-KN;~&VxHtH 4579t y08UE⤼2_0fw]nuWwv]n_wxZ$X[< D{vmF,p(.4/˒BdF v݈7SL| Z`Q:= DEb,$O;e/F>LS̜n\eIV29G vj ~Q<0"}Af!:,9]+ Aͩ,cQ B iA~4BY&ށ20k8e-ŌY:ӴF̓" aE=E O)s5K)%8-c^B=8cD_V )Xfď{F-sMhBxg`o!QW!^@X9跱eCB;Dn&'5pSVy1r$lۛJ{.pۂwod}UJd]]MۖrQM{-=DE V7~q*9 fTJBky5Wͩ4Ycd]&Z]zK qF*GlhM"^0t`("Qs_4ܿ[!⟜꽫P- Q)HL) vpY 2_|ZӏzVA;̲Mönֻvo{{_s!YבiVV 5Un;;}Ŭ}qofofՠlG(~`^^4ٿGذ&[xBVde2Zw{퀞,ZuVD4кx0b5Ǹ&_Ph`!3YbX2l5p]$yMrd% q]Xoa">ϙ,2O203V+R2<qt~68$h7T0 Ff#PN4h*9]}]Jib4'-Ud^!vH=Gvq86S#8& Q26_Ax75 <@-E (e^#76dmAFGKkBToq*E N2d2"{3MyY b; @fx!VSeL`Zu)&a&H05Ŵxo\Ý<*Rv"f+#A ) @$F hЀ{<,L"kThQ|esBws3#&~jkqEU#X)N֟'.mlZ/aL4a?ٍ!7|Nʞ(۲3X%rY)QA]h'Cp-iXR ۫ᄠ[yZ$H: )VI&HaTr_K56zU$2NڟY-z0F|_p;`bST\s]׸}q͵xu;y5-U D\|* /LPN2q B+L'ލ[8 ;KݧhLZ1>i m`שialk&&J*ԁPÄ8 >dDUOD33TfܛiPC3Q*"4Qf#>`B)*!Z{ͭKVg%D i/EE5LO5u"3gUaP)nfT<)ewu̦GDk{]Xp1UQN5' 'iڳt*.9f!t׮BɴB>dJ k BPOG6>AoGR\蔍#kkGmI#[|,H*a>_ IR0Ӈ3#Yt_%q; i}:Ԧgy)>ƒ: ^8v4?BV()^c]dDj9KwL|0xi%?`ǝS+`NNNak-py1O6<ӗ)" .`3C 01 k+%}WZ[fyx-z^eP8NMnΛb0A&ǫ8L~|&]%u%siD>׬su"Hj 3kɗlK0ۨUGyd=/k_4[.k\/kH@ǗSzrӧԗoc!Ou]O pIw t@`n{NRVkMfݐfq,|9!6\kEDH$1F:!=Ȍ$IEq/fkl!cMΘIz6J| YSE9#`#):9rPr9G -C|_y&OʒJGH6N#6;!sƒN 9%St3AB*X[Knm N@DNBB.$ң,|5 % zf(2wsqgVW^q6<.tKmڙ}4u[]7gNY }2gW\[>6Vww\t׻Ȉ ,nlnmN8Z'AhХ e(&&fsT d Zϲ8I:("9j[eAP fUu˳8Qug,w\;wYv+Bdzw95jѳ܏#F{k˛c2o[^}_S/m:Y;~?=U9 ]}}םbݸMb͔7qD>l]+rs&k}懛Oȿbzǝ+g&J I2%~c?{kÊ38X|~x#Z[}I]afCgF烸.K aU4"$Icaae1$@McJ93H "A$II e@tg)Z''a |">ПF`-{t &~""PL *꩚1[ptoxY4W}YAsಛrF7'@6|IĽˌ ?p'a{v,/#vnyK8\ꌲ!!ܰ `\B!]P7b F 2qޚZXDg$wFx 6C]2ZaNqv*<ә .*Α1e{uϡk+pt[l=K8"gj]`³+jwP+8|S7*vh!+Cqdk7c 8n ʧܱ Lի @tyuQF{u,K)gBK3MDw6i yDc0?Ǥ5t_u*5qCNej{Qܐ+?QF pHC6*|On$2|R,$]B_unfV2UBY.xXd +g\b6xRpA+'g(0u!gQsRqhc/6,|_1,WN&?6-ꞩ%ig&'iD=gOFe,#<$z.cH6[^_jݴf Z:ĕ:Eb䈳b⼆.%1duuj '{b6' 3lحOEkX&lhA2UT>g[ـ2n O$'Q[D#ߍA#`aeeHVCY`6ũIJ7 J:>K#-KnZx|y|,@f:Qdhɹ.tjNc N` N[(+؞qj6CNvQZ#,BV bD* Nڔ9$ _Qs9U4ht`o9@M В/OwP`Rs']Y|bUEU1xۆVJï.%VSpDm1(>bepE-.:cq\,^s7bejjA$Kg3%V(FaZvR>UU 4 [Vȑrx+*cbT^5g3솰x-۲[{t q ڞafO?P?' Nᶤ"G ɰ (xuk WxZo\ uݨq #Y]MdW]YCbr~y)7 fYKXQlwcroIf zD0$s|[+8$ ײԻfRcu@]`]衻6oJ$1W ɺm;Fщ~_(UHH_$=/as9]c1\zToCba 03~Q6+ʖj3l':IaABҖl@%.2finish,;X4ttd̴$DP|zRx &D$pFJ w?9*3$"\`JEJ An;AS BD`(0C f F cBLHH0REIG TjDHA @EEbTc UoX x h ( h0 @P`p! 0@P`p" 0@P`p# 0@P`p$ 0@P`p$GA$3a1D-..debugp87zXZִF!t/]?Eh=ڊ2Nθ^ͩf|:7n 39㚾Znq ˵{y&]!%>RǼIq 妚.˓a7=|V>SS-?ބ %. W} \|0w#k jU:2-Q"Z˜\JɆ4H62%)o)i!&[r(oٹ =tPU8p.rP죂.T{`b*36+JۑSGgj !sxbͷ[sXziykZu3HD:DbTAʁu%37Ù?7_up+c%d5*(Sݾwb7Sxp1C /E`RPwWfPazyח %+gf4z̛ d~X8CҨhyV7#MiQ$7doy;uD8˃Tj48Dd~4}1QWGqt%7Xb_dlY W\*px>p D 3Gj†Y@u:߼0a^Dž8ݏ_>3 7mT!{dZxBȳp6EjU~0$~h:;/qA"!"{f^bX)'[5-ݴlͿ(eb;]. zKPrcS,5=FFť0rlس_J]Bf2ÆNQ."oQri~Әۧ L{lcРڸ yc.t <){Kυh$˦ߌg#`R׀ѸQ{q9`;TDxXHz RPʱgYZ.shstrtab.interp.note.gnu.property-idABI-tagpackage.dynsymtr_plti..texfodata.eh_frame_hdr_arrayamigobss.attribute_link &$9 ǦUX_ xhg o|(`B  p$`(,U `H{h h  H.L(=t(u+Zd,>n./\ť(Bn1ܲj2uJ̋dy}|yɠN\i./||4܎fJUrĆL<5Yksh3Y~lђ,4LU=]^V;bn9yyqZV"/ B:|SxdZdM*iA@`ZZdh؁UL<]||[X,aO_!}X,sL#wU)*|AԵJÌFh1-P*_)"+E:cq&+ e!R-N譂w"5}A:Tr ƻqE\/@DxC Qr?"Ϲ*74DΛ23膠]+t)+^ P*A][ ٶ3_?jې7ѐI4hPDLz $I ~d.on^؞Jj'#2j%4h s^ j!τLd)}S1(E}tf@ dQ@|50V4=2ZYJkZ/ Ŝ/Dpg"8\.#*3e,\Tњ/︖| 4-J^P 65̎=+= ٓ`DGc{~D1;./#„:2@i]b X7#,9Y0*mIa|02Ex{[҂j7Bȇ9b ȧYxYRbp Ȁc½{3WjHxg6i*l'ڴ@b_~ո!gkֹ`2bAgg_|v'](Xy5o*`5OA&i~aV7ϡ--ѭp\'[K ag>d׫(8p%N2a5R qZ5i呖 ɲ){HHDf0xTS֡+m QOB6 9zle0-Wib0VBb9D,#m e?T0\sv2EfyM K7x%L`SEd`q( (pxXԌ vwt]:'qlj׀ֻI!FCbDi ۃ% B,fQQPv+LGmB|=|40lPmnb ^̽XO`^Z4g#;o!~wXD83^„6>:'=  2?,~4Chh6-Jị"A2vg$x5@fKB˹&֐*]Tc >9cf]t=D0#<[yxX$" M1{\`\nodYL69 5jl6pR =ِ[\DĈzEb*;]r4ڞ"/im wjFKJyJ Wvd)V9 hƟ <-'7ȋ)&:m?mڍCn k=UNq>8qQyZd2l tgJӤG8L]urYSѧq=F[-D0F%Ps.?%v5m4ULLc™c%;YMtJTN1w).e# &4'#6`u h}Və)PFu!V&rL葼C.#Ajd aExoXL[iA=bݸt0´= Vf0՞W'xM97s<7n{'hBD@񶜺v՝Ԋn[e. dX!|R^=ooE 둦{>НEOƲXON:drŋbh^<'Q l? ` =J$  ; +^ErT@{u4Vİ` `O^gǁGAY{pKw=⍪vu>m&s۔b5@yXYA@bJ}?׃,mp w ӹ'g:uں2cdbddm =/n4jt]V,#»!_.Dr=eSO 1}d 4bSݰp̔^FStNJKp {ܱ uF C(IGM/9[qXnG_K?~] @|&CBlρR 0 UǻMkJzU3&; *v~5ͷwD|ٓ'# {x?ҽpxvH zY_u}߲[ n,  {6|F^Qp' ]:)+jɘ9i,X'gÀUcKk HbioJ-:AtWdBùK0$}FȽ#KnVzv*N@YhI`KLdKv,I9ez: !d$)o#CP >{ ed`)bTRAILER!!!lJDD$%IRi$$c,!L $h$hRƐBt癪KY~CJ c_8bw%̡banRzO,:ݦa)Ң X71Lw}Mn{9ɀ|իۘ::āzʹ~̺Sy40aF&*PBFJd-}3N9|m3V|rfOXEaC`@ O=,>PׁzR0؇|,U/B\q=8 ?"Bfo;WmCPNnFbXOs:9fUܽ̋kJXPMv3+kBo%ei'2(яMn5DwDȑZx QM$<Eדh3u-E(Ǭ8h+eϨ*^j>7