kissat-4.0.2-1.fc42 >t 6 6_ p3!XPȬI^DgW ȬI^DA]u 4RB-0ј{bϕ|?2x@ suI+"\"j.`Fxu,&ҎА:^4 )zowE  s{2xCb2Pm볲Z$_%/e(`>Iݲ8066cda2d6268755554f4b9c56a17dd2b95a9a6de3678f044615f9eca907dc5a6aae82dcd2e6b39a8b2f025da89f2955e40100cb03020462f02aa400483046022100eb6542de9fa96b1c323c49c4e7c5c36cac738cc28d0c71d887b06554ec3b90e4022100ff5754635c432fd561dfa0af98b58a7248531c16e052e6593cd743ca4542c5b803020462f02aa400473045022100c0c616a444c10d96d43c2d7e7bf45fa75487a44e723c60f9d138e4921a101c6d022072e4f6902ddcce306ebc01a96dd003ab21e4eb195aaccd5f5e41fff2588fda1bQVFMO}- >`?u?ed   0  , 6 @ T   %>\p   (K8T 9 : G H I X Y \ <] P^ b d e f l t u v w8xLy` $Ckissat4.0.21.fc42Keep 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.gbuildvm-a64-17.iad2.fedoraproject.orgFedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttp://fmv.jku.at/kissat/linuxaarch64(lAAggggge19471dae053fedbcd7b8c595ed270ffd89672590486466f1709e154492803c0a682b43b3d4f9431199a855e5d82e017e59ca55ab81a69c379d0a775da76a58c../../../../usr/bin/kissatrootrootrootrootrootrootrootrootrootrootkissat-4.0.2-1.fc42.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.2-1.fc423.0.4-14.6.0-14.0-15.4.18-14.20.0ggF@gQf)@fafeeM@e@eG@d!d~Jerry James - 4.0.2-1Fedora Release Engineering - 4.0.1-3Jerry James - 4.0.1-2Jerry 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-1- Version 4.0.2- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild- Move configuration steps to %conf- 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.04.0.2-1.fc424.0.2-1.fc42kissat.build-id885f02e1fafcba9914c22ae25413285bfabd4d4dkissat.1.gz/usr/bin//usr/lib//usr/lib/.build-id//usr/lib/.build-id/88//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]=885f02e1fafcba9914c22ae25413285bfabd4d4d, 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-834eaf8ab2d79c85b289d9ed44d8d7513ea399a00aa355332f23ed47f58f4d49a2fd61c180cb8f518e597779dde96ac00d2387f5911ef1105c8d27f487772e7ae?(/h-vG\m2|d1Hl Gi [EV7 młAY4^6y=v/-}7f{lM7{6>w1y^d9\ρł40T w|_.1JLGux=#iIR;o:(\Y"r:#Ezs\g"^9Wk "QPL"X瓊m/yx{w`};HkSo-CbJӬKҷ451m%"ѐsh莼GEUʧ'bv~ J'"Z|i^|=y8H YhA= w{'^ /Ňë+bm,5n'sE|OoCQw~ҺOYZ kyܞ R/7nSX'ǜ+T-zo5my; GwˠlCo754p[,Ze19~?bm-i[Gj- 020.`TF%щ;h@ 3>aP)JG AԎ#x*c M̜,wԠ0 Ô+)Q;P8J/O1 !S*yׁRR%J#Ad"bABt )B؋dǓZv2ڲfw5Ԇbj\7 YMH$51*"a@" 1 ,D&dg7p& # 0OqfxF0#(}C`\g/,Hg3\G28D~o+{n1)yi*q}-s?KXĠ >F!̟mG(Y%rAq$8׏†;cN^[\7U3M1L8X0וW.A8M`Oz'PKOrL4#w85‘#0%M?T 2lBRkLH :});=G7NHaqwo9+t*x!7=D_G0\нz*MT$&~)7P7,KZ2;~HY{>=U:?v47O,;"Ϻ}v3 DY42DY`1*%M]l\(= T9BR'iUj6;4dGI+#kEMJS!^RϘ~}*ܟ@7A3Vp I;+⇬wU!mΌ*Ic4հ˽g&6~evL:.~B[v x}zH=;F߄_=VsmOI}"e|Z0 +h,p-x./012346789:;<=>?@ABC D(E0F8G@HHIPJXK`LhMpOxPQRSU?#{n{__$F4  բ5"Bb¾6"Bb҂֢7"BbG8G Bb"9&*.26:>B:FJNRVZ^b;fjnrvz~<=ߨ ُ1pKA `H XFR,X%T=ݓM"1Nw=#){]َ(Nݘ+4wBfk}e7k,[ܧvm`KFV7O7QHEFZGh$$s3t=/kH|nBk2&+a 5ox!Y-axRI_R%ĪUg{zv*u۟t_A \rEW9*_+s'DtK+mz"dy(hװ?L`G' GN^MN&7:{vm ҿ:56ʟ0ŏ/n..٣3K|XͶi ,k&YvQe%<#{)7Nb_~]._h^#*z= ^d^D u%6*m#R[m;9dA+xʃX-} 7&6EWj l-syriήү V}~3uن>u~.UGVyy-ֳwYϪIfkx=d[u/]Ao\ Vbx# b qglyϛc? _\3ao'ū6xpnT!,%كK⶚ٯ>íKQ>6}P]aH8bac/ĝJ1GӛLrKاx ۗ.1t5m!^lYGW+mWjz2]/ j+^P ?OEKFvL4MMv:I4IHdhr3$Up/?Gs*<$j Q+p}KԻXscc|eٚ6Iڕl @֥{ݯl?;iNֳۣry/'2lM faI'Sd# f{´YƐ* ` BΣ3{ngl_r{^6osҽ}R,(2_,<ƫOQtU0zh|OC﷽Op1} iu }@]a0-?^,HԳpg"Cmg=~ERf$O#Jg\Fr51KH[[ʈ_DhۛB.t`q(؃.mDV2>&|M&Cz{{ B{͍:>1 H=NͭlQշy2!8[[|nr&jD/$Rj*@cЮ}PȐNqw wߖj+O i\RNoP`֖G, i$-1x!/$#^Á\bu!"t`:%J- X R-W:ޢ' CxM4wE#Kc * ̺f{ v  ?B}tym%,(IwTt;.]< COD']]b\Wg}TǴB`0#ќ#7}Qy"c/B%EI^YJ6}Pd x Ro}b޷{w# U|IG`tqH}0Q-Ş>|]Ml%Ew_.-cdR\ -PKx}u|µ6]8Uqrٕ@8>HO''WitvZZq~CD&~\e%҃x;צ1TN[6;9UdhEkXq=7ĶeGnUےk$`05Ͷ5BAW2*Mm*ZveJ&ZZ{u)TEF7h.ߵ$UP~"b-뙈$IA ABAik1Ǧ&Hsɟ)qtP̍Z Yzg[S_C]caUeNjfF)M>㟕̿% S}׵Cl=꧎pwgxa ܮs>t޾az\xZa w7_x3LKg._4>~/%:fX3X7)z8\o&I?^W_މ~hw=|n Ǿ+\U=YMf[r`JN~[tLG.vǓrY@s=L֜s'ȺcDŽhߺw&C5 )S;(Ίij셮ާ X2'Ax_bU6/8eo׹h7$ ,U&ޠo\5,G0n5$ՌiJrSЋrt뚣Oeq:<GoͲ .j7&)oXxfC߽7OIo_1ր=Q4 /qri? G6XlGΏ{Nj"#!~wҢ{*{؞M0h=p{,u>sOv}Q6ؔ,WǑg]L13' Msv1O>'m{x]/kwMb_c}jt8gӽSf48M q9ɐDs/[;="~lm)<#e^_8aor]NS=_yw9d9hrqwQT3zgr49@ў2~, +V´id86O{%n ?s/>>5}ianaFc UoW? Z?JNG/O[nPn]ΞE3։Zq'۫[}̆-9ݣC\t.|* [w6٦\祤09}Z\wS˿PGuspaW9fAmE};ۍuu˰^e|[)ۄ.9bp`+-w<]FF G/<f;+t?b=Yp|3Dz#z8SՖ 0-O}_&?OT oؽnՁ(LQOTGnU1>ie* K}8fU0iOX@uظ0fWP@\01t;Xh Zk]\*Jfa4gV,[B"d(YCˎ17o s2 S׉><7'^qI84IOV@{&o`iW`_%_P|ضܸqg >4 D./nOeI:9x3eL!' |x4&b&Y:耍5@,MJV9IVz65/"̀.ǝָl1)% fy_ QCpfK+7q$)%l*JAKp·In1nwYN wGQ?)Xʎ#+uSq]9{}l~ t]|_Aˆ!~KWL& Hށ]/t:tfr%Pߩjur/#U 4(?[I^G_o(cI^U_h3bO)m/[}үVAs%} Y/=EnQ)8o %y~%N*Pl.W@[}B|qs0}gi%j7r>=fnF8*QUh$᐀~Y{:Y`l,9RjDNLgo0 -?җo.]0.|g dFyh<|C.HUj~Xjii&M~DUG`z%|>%j΋I}uViQ+e*EbuND0ݽYMowl"J`cy{lO;V7zhu9{So$%cÍkt] Ƭ+6g(pOߊ޶5IDx:  (Y][ьU"hj-kϐb"-KۍajvfBc :y GY;7ݨΟ 1ZC; ^d|6sn<,hVN?cvЅaֈQB?llL3]S$)(d:A B9iݤYd$@$ %)(BH q7^Qlڅj5E"ja b*Rw,6%C&6V&\ XZy@I^ DHiZ d[Jv8\V/Y^YpZhiAhsݑ! t,[Db몛DDKv!rR[Wi.Ij*-8tyѲ)OݺLGɖGrHd;is4@y*It ׀*:,;kw-I(K)/AI#t4DCC 띉9q.pMl]"zs('\ȘLbuGt$onLUX UeM9:|N:Yt}WnH5s݋J⥘(Y)o$\!%rr|+"h 1oy!'OAM~䜑Ma >%g"DNS-(sҙaٱ6WpE0 ~6@쁜ģ҈gdJ@. ābT&6}3WTb$ZPA|b+3G0xhbAX#m.׌-"MHyWFX,Ft 2Z=&Q-\t1iTHRz[4͂H~i׳Y~~dcSjMaടIFYESټYm#=^~>\Xw+*grnJ<M`xrݦ V`x$ 8n#_BB8$)9]e,;#v^a?$d|1ET"ޟ&[Ua~k:`A8x!aH)g0<_62]g!-0yW sL"YRd2NdFD)#9?.;wܝ7C)71y &~g2࿝CP.vXoz15?!g\|vG}9e%17vidAnYիʹ7ȻaB,T4AֳMow7빻+7u.!AŲqd<PWxEgZ1laOɚdr`ewf4ꙍAv'"61d}cvh&Fy ֏TkC,p\+ʀh '1ߵ @v֪4Svfu MXU $/\K.Y #;^@GŀtL/uݤ'LÕ[𱡗7,0Dg@sCNN:go[I2)؃1a?)1UxbΕc!ly'1$m$6X̄eͿ z& J6}KwI-;&%ri3//-ti8ڼ$ņ0.L+rD"[@D~)-Jg:7t4\/no\MsTʛ@57H9 d tV7[/xF0ϱ  y-a/Pu^!gLq) ֘l_nƗ IRbaJyK*d{‘pUfj6%b !M*9>( `F94ǛT¶s#Z_d/pb–iJ<&'DC-wFZaZ6_ϐQ 7̀c"&'Q:̋ V[SN|EgXB`:$cv9z1JWx|!j-1&ZcP`N !`-pTꗐ1!P*NPS:H຤ DeX[ǖep08B}z\\gr[ھbqqgx7O},rt; 40Pp(T\|pzRx A,0@ <$T4P-A BN|`hT0EL(DD A ALCT؈` B @I  A@m AFhBCVݘdPEDq tXA BJ \h\OgOBnzN HIHCOEJFSUSX LOiOF_ONAQOIfOIOCEODA D |~FDO{"type":"rpm","4.0.2-1.fc42cosCcpe:/o:fedoraj:} 98RU_HP`px p PLxo@ ` ( 8` pT$X#%؀GA$3a1hL-.debug57zXZִF3!*?]?Eh=ڊ"͌hpi#I-$23B6)yeHN+p? 4yޮvy4lD,tZ#״s;D, MoJ{}w TgBԐQLVS~:qy|.!w֩QPk;YdQQ~f+^3JFT5Kfj}%-l)E$m[uϹ! bŜ^_AYq]ؼLX1B;GJC-%qǰ7'7@f2<ʇ~9'5h6cCٟ瑣e6@B *V=MDza+#O!?d^5IXW>Kh:Sx(JI{HSMuqNav+EkPO%2MXk1sWB-BPyLFrEwӜ#Sr{LQԌk5bSF*+WԳɄnVԖar.?M~ kb] HmGov =vD2hƚd?%ŸZc}vj_lV2+`j]pn@ECЀ0 YW44(&JNL~D8DnԞpBnpڷd0wњ(o7]QJIW:vfT8Kn#lP/?MrhK"Tůg{غ+N ?n;yk8䊉U|E^3U78R: u9֠VIhq'Iy$D2*2S_`{ώ 00NܾOLȞDH *F 6 Z$6X.Z'c1-Mk%G^YPo` avm1==IGzRi'Hy{L@^=s(\x"ʛ4smN4!'Lk&ɔ躺}+ Kqd+R+wisA+Ck!gYZ.shstrtab.note.gnu.property.rp.dynsym_pltritexfodata.eh_frame_hdrABI-tagpackagrrayamicobss.attribute_link 19@C `Kp ST``o`yB~,@PhL@jl mxxXP  />PM24437/884a1ff1a3e/5f02e1fafcba9914c22ae25413285bfabd4../581a4f6c21share/man1.1[o8HŦ@$m^H-6/TofHID:.P4q8/{}t%p1va=l%*Qs#rxdkQl%l2:g_\^bώgUG6?[57dv8jQ\?.7n7BlpKYn WN˷_.>_]|8i4__#fzf _~Zkxd~-j-ɔIT%Z2lBj2UUӿt?On;tQS˪](/1 k^(US d+@ۯ ϡ_+xԍ+Trv1)fco;gGQ(4##q:M Qt=?”V ̯C:rH ɲ){lOHGHC s8`JkCpn  Ev' hP 8ht2iXK`>!#eHCDB$;Fh l]Jy ̾.Jf %:cfGm0DOK;`ԥӡx,ZFx n;?zEqxq~7cj@:% tJAq}KD5'i FBF6sZn~@~㈝9xGFufԕ]$R?A!~lbsyh[ax @H |G>05_0d{aJ)z5OO`^Ͽ (B788P3ضT Xs;OB6}W74B ǶۿG8ztܭ>uueu/n>KHL$MsH,IS.bl.sĭG $k?,"NM]ShmuxHa^9K#3/` (H+]h[yHs"CL b., E<{y7kzi DzTzk 51d0&\rÒi$@ET*O`M %_L3}ۢZ"eՔ'ؘutU ۸b֢К^<W"ۍLRa5$^γ~_P8%(}R:RfMUH4MMKzFv]Y8bc?D5Fcd严GjW3 *N)G8 ,|ow#BJtWtN v܄hM&AĮ\,;.'ɉ)&:kL/1"c]:z ,3~3 u T6:i[:a #_g-)]@dxe kbjy|{Mot#GNSϚE!4*mrEU<phWID"vD)C`0j[ G#&EpsjM R4hZT K۬A%! e,F#0J^y~Jh~r!X-@64eBLN !leסqx2<_<`~VԫZdʙKrΏr<{7fd&mDژqpܸa-XGCw90Ha j0¿ZY(ai$+u`Y\$Re%`*d/NZ>\7DNtK5MOTwVTтgA!h)Qa Ώɂn/q<MzE`XCGW=R>(q4'(ljw媿|E0Ўd4N>\JGqm{-8wt:Q4R wHwVE#yV&U(0Nh8fUb ц X+-PXm_z{H1.l BW0KLzg28bTRAILER!!!1IgFDDDDI R:!1L$mD2x('@"P"$IAAAcT*"{T-Ruba^2CŞ9SF]Ef>4"٤n@8UM`G?Dδ @-a1@'  H7PWxC X]x.`@HxIX2|tooI-I_2b. 32\Ӿ0T$ˌe"l@nDd68pY1u4ж-3pY 6 %Vpo`PL>R2,s *KK̆۠nS5y9Gb(?H 5P@r;u27 ƵZ$O+={k Oc`RIoؒVMrMd]/.K-[Xp hԞv_ z`-B=>跦O$-e.7(WćjS[6gL.+<6bHtق wt'-pəm00Y!0'f+O&D2@G,3PZ"ԧ23w⺁O8QoFIcg7Tu%\J#$J'Հs17[~yOWbfИ$QBD\Wޔ4vtEj"6w8,U!y VcC9%rya8Cw.jp#.:X41>=A7anCyaY,H