drat-trim-0-0.26.20240427giteffa1dc.fc41 >t 6 6_ p3!Flض zE>b$bjfS b$bj4I/C0&.X;,cՐlEj싼^Xur2T~ :ufvbFkFL>7uLZW}N4Hʸfb J1o$z@@!GYNOw/u@XO_ ~_?' Lyz>*QYU~.V"-.\'pZsS֊ IcSvű3-@ꠥg3QjRtnpm3 p P) c@BnZDf" ڐ}Jb5w!9/ ]3qfc}jAXKڛ@|{`CL}xǰt9 h/, P6e~l;<*d _TM̸fC!̜w6cĺ1\g)@)xނ!4X{; N<ƠļZ2@RHZ9+FU(K142266659e6f639d4906a050a536d080fc8d80f954df028895815642b004f03d1155031d95cfe3ecb0c35ae8e7598686cfefc0f2030204876d743500473045022100ec15ec8c40f7f61a6a6b98d25e6422e8af51b4524ac8da374a5c4392e497914b02206f0d782415cd1b8b1b6f8fff559f83081a17d67abc15a25e35863940e6d46626030204876d743500463044022073dfdbea41cd7d895bf292a9b663cfa7afd5fdc5488889ec38f0b1d4f39c344c022033ad13a28d152bc6d0c72c26f2fa670bdaa8a487e149c3993e64ebfba1c3d429Pq9u[Kxpv\>`?q?ad  + K  )RX`|    ; 4p   (8 9 :v G H I X Y \ T] p^ b Sdef$l't@u\vxw x<yXtx Cdrat-trim00.26.20240427giteffa1dc.fc41Proof checker for DIMACS proofsThe proof checker DRAT-trim can be used to check whether a propositional formula in the DIMACS format is unsatisfiable. Given a propositional formula and a clausal proof, DRAT-trim validates that the proof is a certificate of unsatisfiability of the formula. Clausal proofs should be in the DRAT format which is used to validate the results of the SAT competitions.f7Obuildhw-a64-11.iad2.fedoraproject.orgFedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttps://github.com/marijnheule/drat-trimlinuxaarch64+AAA큤f f f f f f f-|dd31d64603e088ac5085145a784dbd3ad54dfe64c0d130394b4764e732baac5f71ab2a9dc5a294ad8fba4ccb8c45aaa8a439596d314a2a046ac9b62266872a18../../../../usr/lib64/libdrat-trim.so.0.0.0libdrat-trim.so.0.0.0rootrootrootrootrootrootrootrootrootrootrootrootrootrootdrat-trim-0-0.26.20240427giteffa1dc.fc41.src.rpmdrat-trimdrat-trim(aarch-64)libdrat-trim.so.0()(64bit)@@@@@    @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_ABI_DT_RELR)(64bit)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)rtld(GNU_HASH)3.0.4-14.6.0-14.0-15.4.18-14.19.92f@faeeed@díd@c0c~ @b?Fedora Release Engineering - 0-0.26Jerry James - 0-0.25.20240427giteffa1dcJerry James - 0-0.24.20240309git89ddbfbFedora Release Engineering - 0-0.23Fedora Release Engineering - 0-0.22Jerry James - 0-0.21.20230709git16f1d72Fedora Release Engineering - 0-0.20Fedora Release Engineering - 0-0.19Jerry James - 0-0.18.20221019gitcbd2915Fedora Release Engineering - 0-0.17- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild- Update for LRAT bug fixes- Update for proof (de)compression fixes - 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- Update for several minor bug fixes- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild- Update for drat-gapless and minor bug fixes- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild0-0.26.20240427giteffa1dc.fc410-0.26.20240427giteffa1dc.fc41.build-id1ad4661207f7d860d78544018896f3843e42794clibdrat-trim.so.0libdrat-trim.so.0.0.0drat-trimLICENSE/usr/lib//usr/lib/.build-id//usr/lib/.build-id/1a//usr/lib64//usr/share/licenses//usr/share/licenses/drat-trim/-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-gnudirectoryELF 64-bit LSB shared object, ARM aarch64, version 1 (SYSV), dynamically linked, BuildID[sha1]=1ad4661207f7d860d78544018896f3843e42794c, strippedASCII textPRRRRRRhttps://bugz.fedoraproject.org/drat-trimgit:https://github.com/marijnheule/drat-trim.gitutf-86415915a8608ead079687f1567b86672b72249f1ac76deefc19676fca277d75e5fad7f6b55ca1f49265005f8ef1df7d59c9d9b78db7ed03a179f1ca303183f08?(/h?QJN RؤfBdEH pהWa()~us*}"{s;rEi9̎FȡP+ԾH1 UO{=I ވyKL0#ƢPnK0}@~eG ]bt4VF K<\IDDJA?@|j̠a0FYbێ:Wr7 +DQ", >!5EsCIID !0xh2iC 7:oV~rS>ƧcbRѐѩGِjl>+?eUXVJQi[OgrT*+eRL6Y=P4O<4cja-:hJ\:O'QyڒP\%U촲ϷUki$LF|ZCM|lOs"WrUYWUˣ,J+lT^9~(jL{x>(x,2x<;pFYbEǃ\`R8~~X(n )~Ld Vt^Á17jɫp8$jh1VbwΫ5 rț z:Bhek00 >ZBQ$/EcH^0B$ Qd$(F\&ruT7F&T׆-UbJ-:rFW"XOak+*zv``c8@1NOJ|p<:06l)!d [@vOQx;A/\߽`hD"bѐh *RڈC%$0 H))h8$&!%HK$"ah,q\tU6VUZȡ*O֍aQQQRY4$*B" ^Ċt2p {a d6$X1/$A[C`kmg#aלOsp"3d7u27N"b^^9}yYŷwjx!aBӨCLd:D?zahf(ŘϩM a+lHp5=I*Lӳ;XS[Lk51iqƓ5xՁl6?0ךK#ֽ|^8mVШ]8u~Ϻs}w~N~&uGsoYO4+ q:VLY{]tA>-7l똶 )Yvggxn auB/\>}eMԿ)܉;9D洺Hx>QRUFƹ,?bk^KLP9qƜ7!ū/ #fbzfEَ2+1jy L#9d ]c``S.6X XzzO}! X$Xy^]uU)*67cpNOCWv}ۓuRb&K^"׾5qlZd D5.0Lwu3Uo|m<5>/1Po~'q ?މ?dOc= zapO~HޓW} fƐ iե#5]@#b5qdu`P$nK4\'ZX.@ZX]  Xk}Z _zV.x"jkTa{ Gw;Џwşg.7MeeD]g-@Y]5:/*)B<2 =_w.:׌Q7$w2nWo,͘^$u"t&XCѴ6=#W#QAe?)V_.ݓwIhv*7ޅ!r N<ڗ-͢ [) (]~oUOH̱9?qb`$օs!!8xt`VƣPnAGWSl(ח3|a,֚ ޯngra`!-޵2glaP-.bmT-MVv+rE@$C!0]i(̖4;[)KNMhB9QrlOjKl#CnLa>*ޢڛIqd|a;:"pySkX͇WPUO.}$YbNDDah,󽱹ݕ E)ZHfnyʘ_"޲%& rO>Ge?,_"(@pp̑yÜ^7E i @2H+侜_r7㏝7/ >~2aF wB! D_gdGWw2Mr/6'\oenv&,5|17CȌCOnf9\̷:qB,`u.3>R5:I&&gk$o}8gb;Rz1~ =8{Pb(qK>\]rXz@YjFRT )PFpru^~ 0[1Fl#Dwlǿیx{-#HRp@=hrv]MjrvTT?$E+5>pmojō|uZj  0p;?7eWR|j8LO+b2woFa&pnpGQ\_9INa HxɼЂՉyL2;]&{S %׾Wѵ/k 2 b=xDJgD7G^{ ;Sb-TyZ;Or: `h~HX.gB p/D1>p-(B>əe"`[c[$ YSDd=sHݘ`yYA:|#$':ơ|5nCHj^pāX1 mR3HdU^|Խ!!慄L.#[Y0@oHΊ b!ʛoVfUAD @r1h@@_撅 Q[#`HU!El+lma\{2Je gƺ|St><u -MѽKRfq d}6 MPWݑiTZIּN` QnXJ])Lzwod4mҟ1ƞfj R7n89l/B3/3aViDY/;El#L'+S4P9cWŋSE'.h؟?Nmv$2ul!&J ;74M."wCp̐[-mRu>Q ՎI#~N q/sVVį坔 ykRךה,kю<b}(0aB|ZR>b`^~gaI\.͕kS[ ho).rP*uފ/,\ mQdBߦd=ԅ Ww M]Im 50#B ]MTf$2AA/_K`s~æcgs 0O\'8mf1y(q?RBFr f^R\-j>M'N {4@I1=1Ҫ:!<AU1ν'[=}-^L.86G_C 7^ל-zhq3%ϺO߀Wgs>Nx3zG&f7]w=G4a1As3fq[X%̉< nW _'0l?)h7L5V} Ǭt+oCFBwᚘh?gƧo\ A˼IJ7 qسo 3D+p/ڇ_M= e5 *yX"Y\ 9aŸ uvLK 39lE7Q=C%I9^}/ dffػčՁCI/njh8<e} 3)ozp* ݄;~ԂYytPٻmM>_E vLnnowdps ~X'Wq?\~Ae"/u ?IwnɁ9l0wo<"83^8u`?s!m,<ˇ 6:>{vT7upW4\6қQs o㫁L㬼5vJ˩ZǾ<$_8ɐ\?ma<֭sxx*{'GO! G绛`GY^L7#D vGJ#m/-Z\/M>I_܋wV=9}w=ԟ6{PnO>wEā杙H[\ vL_݈u,.|%{؋x-i@p-GͺpYz6`òq;>:Sv@TLj]XE\٢-?"4O nzp#j~^+ G #hNl] K;55m; sV6rsjX_9G~{ :JR=eaP>9f?y};Q^23|N!_%p|aO䝻uE&w%ynMX&^r$=X/Ir4'ռW2'Lt/S/A_}Es,sY.M;=<4^#Gq@Ӝe6GQ{$g+`#ŕX_v?BGΙ}\Umm{t)VϦ"B>ɽ[F|/=hfs%XxsoKDO͵TGxt(?2"}̽Ě7tWe# Qu do%=5u_x'U=m⌨iɷ 8wݗsI)' J^<p}7[o?\Rs\ ](?F{|31ןm+^y#d~\S犪͓u`kY+ow=trau,`~aMkaŸ[]X9e7]W^]cK6~E'jgxX;a8',ǟ]'w[.0GC/ln/|n;,k_$mL{Ftlce.7mrFyجٙ( <ь3'C+,;?v;N. ŶSfe#b%|(z\eeUn.gOSg4%]W@ׁ?F$o)A&^/G^g;ߺx1n 'MG _f?.7Dυa7a;Ћ8z'=mk<}~MbN+;0ENORħWQ۟k3 *o{?6-Y/C#ȧΐ3k/.ߐW%ۧ#?+kOyttM_OYIXXN K8.ϘY!{x0u7.{]3 M#78'Z2%n%5/7jy5uKg30,c Əss&^p7=12geg ^?^q-xۑ- tNutl1zIr cU!FuJ2ս7n~vU$ dk[mf~v,mjhj^>4KhKJf[Fǹewޭn"F[7˧Jk  '0Qo1%N}Лzpj ւ^f2(`9X4uv㋰⦤tqa\$NJ&.x@8P3_&PF#gaDiT%]âiv'RқF&=V! !˅GڪəPH_@DRgZ6YDO &~Q>Iv9K|!{B_7y*|`$򣝫r@`!Y+V{%vA< Fg ޭ B2e,I$GGk AX2,DUN i=1:@4} z\ib|smZ=&f""tL}b/cԯ6?ѧp-f=P)΢PP%(($D΍u'XImBJg`9_ӧ7gZjm2|AxJ7&P;#{'1w<6; $VC !Ѻ06ѨJ!Ρj)Ya= uuW<C/m]dREG%-uWDLzoq0b_ J\Žp A9GĴCQ%f @A@~cb'Om&`s$A#"o=2/U.>YƕB(,_w=*^^8T\<DyQ'RC%JcMÔ- 8sF]m+. }.\2QH-n8L0Fx%;id.oEoho^m[ثB3]qӺVǨȶ \ <@ܴ 6܄Vr~U:~:~m?`/Lww|v92 )f("3,P?{|S]{|# AI`ߕ9l͒s/7Y5s~0`u+%&c̸O6S1̓s㷅JΛoIb=s_>刋;j .Tu*^StO#G$%K-] t,۶\90] {ke/TnчW̓% TΝsސb=\nx*CY_ε 0ҘҢY{b#,qap5V`f0(_SaRf'w]CʚwIߛXV(Pth;}Ki Z| /n |St}0,d¬*\O1&̬ ey5LaBϛTP'{V^hd9ce[%IZ<’7Egaho l_VO^Ԣ[1ӒFqZvSV+C*g>Q+>T5k)0۴gJ;)O{M%yߕ.I{a+ 2 Pœ |2"΁ro24<8O,eJ,polęۻ.җdHЪfD#K̈ю|- 32Y~PUװ; W9K-&ZIS.[խ]a9dA^G};eR[wP62j&) zg/.0bKcE#& n>i%/(kk'wμkݥ3/L~Ds=hN>SDs;{|'w~!zh3ufF0EhsžuQeVͣbh%(|PR}%_1=U˲= Ye{uٌ ^(0[:N8q@#<p4vuygWj|湯{X2ŏjvZbVLLmviCΖ/-Eί]2,ȿ'w_~4A_t>)X[yr-08ĉa!&UX$!%l!:D צ.2h؀ 8pGYﰫ!'e@q(_3zţ֕нWmGXQWA"l6}͒>ϖ2pY`X:Sto8vZLVX7-hȘIHwF)ج'JbJ `im> ۻ左z\fS}:j?mˌ@ qߤJ)V,N?^/!J8CR_](o~\&Uy?t)k̆?ߕ~`'9#Ŀ[.ԹϢTkkgU-o}5NVP[eϼuXs=Yn ;HI ;ln|]lo+u{B>T焷}CC@yJaV3i%Kc!|ta:*e'&G[h8DQ'ymd`vWtۄc8[tFUŽ)eKX,ƳD:L|[ciZ.R9% ub 1 ` OM &BiLqε&j1զ[sbL?vHƺMgu^b}rWOc fw^{: v k5%A>|6:G)1Rw7]QY/tm#ͽR~)UpNIpd_$vT$]ea\Avl7W#&uPl=`<^!nwXX2 XnWhaAD\fK͋Af"NrEj0}"Ǵ12PIƪa\F4{K*_xpgf5k(A=_f/ />; xKf5u5ĉ"nFCĢp_0SR i&}kvlObg֬{c&gK:j_'p!}G?1 <}Gߍчu呭a<?š_K@<$0;?mZ15vsкQlT2vn8KR":+F$d`aWtۃLeX'*V']?ñ|۽,/58o`e娻^xm7hkm$itgg-ss×@03s|vcpӊG{7 ‹#Pz?~>]r_HYP Ϛ{=ֵK}ZG4wdc_([?p#\lOθxK}2k쇋_(-Uށx灬ᙷۘ@ƀ}[d5W|o}/gm~[Ԓ{u~m_eGr;tuyZ% [wvA05? -lӌC'oxLRq#=˛ۺ79@ҳzG?{!7}t0fr*첆kOeIo"Nnft>1^xi7'xo[R}DNqjujß7j$S˽rV,j@hͿ?>Fi`f1.ϊĺy< э/FЎ7޽Ƅ+~?#*7owmfbܩY lьnac8Ӄ r-D?׾k`c~d]Ȑ_wg`L-Oݺi'3{HeO {L{5ۘm^0/"/FL~90lBv{k9c9d>=Q`yΖCmI ʵ}tw'k&g߁ocZvcԛ :C|:'עk/! ߅{{ ńg;03~5{( 群=M@z'%vhS>'_c[mrLcį:% V,g~gF~N{zxWRƲ\\=]#nm5<5_QѴ|JFO6,e/&.i/vz?V;D태!FOPlQo<8n7ħcGcZ}; ɏ0' k@f)M߯ jCkCG{IMvDY|ob[;2-:{~GvDcjo} QzLRˋRljES#'6=PM7%6ZE06Qxژ#2~ֲSv4r~!p!XKFGSpj86f讞8 u0{Åɶ,ǻʌ?lͬB; X8Vti Me|:*}Ybu:T`rzrd7p觎Qfm< o~]~=2z򭯿%O#)Z#박׹g2OmxΧžz-ݟ $w&!htv~=/Q~lji%D;(\ĹO3 {N w``}NDow|8/7-A)_ ,yCi3B.LsK9 ._lhkءwNR+z-иoW* {#^6fv87y>g"W0/_F!s5G{p{,nY-]9.r #|}7qqc?r V ٷ0hsXxMg\~Fy8sI^+L"wvdK煗yl/.gu({.:\;>nwH/l: X7:Pr~^UQz,Sya}ݞ(^D?BlNv޴-HDޱ~)ه]|%H>'q͕B$L] Z3ڱ?g ˨Q_NsK}=X1ty7#ٶE|sH=~k0Ň8?|@t6Z[Ϯ?]}o CuOJ\>EpN)o]/Q]ih. {`>q2&kla.mc޽Z)ޥ^ìGt:d1n?pC6n?{ l czsqc/&Be :=7 0u+`~ov/q4܂8'S%v>{.q`VД/LFN\&bb*EbIE?ŀSYssyS(i~ܭ߱}xe9|νav6~>skf֍ż<չm_6]]ǷZʭ{ ßb}ydZu.^Zh6{^L:lb)gtٴonmkk?8*_QOϵpo2lvٌ͆w|Ͷ=~jƚq;wv7vwǻnvJsZ\X *p:[- ZU_ï⿁wkԺFG՘;OAЛm__08û8~Õ~=0׋a۽s mֿųϳP~ow2xxA˚g_oMug#V0~X"P!L$izWx*2=\0( `А#٥6EG1pȁEX\p(ϫ!HN AdWHH>1iJԞ h,#^Tk6sى6&Іt!Mx3xaTUqھX̻d9^`Z7 *"aw6%:5MyLsKtb#W}"?Iaցi7 ^MXaNL&Mv 4:s,j,4Jt"3 $MJ4Y[HI'ɐH(4j-15xPbIoio959=E- dŬcv =rqdTdi(ap~FeJXXF5#,lN 0;sꦡYKAEՆv9(9(:fR\c8=1qMmrs8eD֫N $, e;,$\q35w KvLu&yngQ"#2_dA+A:4wIXOLQNKnN[ F&3':jXjтtum9H.z3ډ@%F_`$l In = pX"Ȟ-rxWb$MRBŀ T+ySeFMa>L'Q-i[V1O5hPd ҾI)n(R jyb"6KpErNikT9&3eFH\#N}JȫQOɐ4(y% SF%}d Ӹ=!f Dޛ"io[C%|o/A<4RK7dtd4EU4%-XRDM ~C:d13EP "ZM$3Y+}]c@+DOJ?Aap.K=bDF}Jw4 !qeGA:2Y(sGzQ,)D= ]&|5BO(0SI*'4;H/DH"$+/J={O> cPkH"򷄻ʼn 0PMx˙Yip^ R XsPb-4{LU yYxXPb/lSh%i *UaAqLϐͤS3T:izu/Q@PX96sI(YcTpJtak ?=x"eI(9<.ƬbD($bbW-uKg}P$ΉaEVP9+6VD ΀Xw`gmN+6f)$w,~,K 1+lY>ik Hrp(ThD#7R=S]>01v!!SMUOB[(  rD$@kffLTA^v g `0$ʂ&t-q 4'v޲BYkt>Wٵ^L;N0:J7geIC5tI˺ XسF2eP(-ffJUZGS6kZ-* -c>Uit~e }.i1fZ^:_˖?LlAgR_~RlJd?MJ]tU\/ ]Y Z/+޽wm}{ؕԁÁXQR ,/J`Q$#7V\Ern݊6;۾H;ʓd(,Y)qǮ.*԰ @zTD.<SV GQqoi}@gLTsA*5i<o`cZk! O%l`aD;eP+8udB(g|^tiH8O8z[B_,T3G܋c@eA* ᐨU%XEGaT &_h]4ƈbwGN X"4%I!3Fq>S|6B*[_UG/ aAV4! )B! . kdn$ Lj M!9ELz!/-ѱ3f H$i7 FzD(<ŐBƐ DDDDD$JAAAR4~"Bvz .\>RXr ɼ{)SAAs"M"N+ G-SA}CaUW ݗݫʩ mr)\ =;P RA䧖$-|79G%ʹEsC*Zw Cgq {ثYԳz﫭>SfvNƏ{]oorԝyru-~p`2rSpNdG5qizM m68|eq~RM^`<:Y S2@Cθ|/"Ms3Nzl5R w5 B訡=&Az+gdsK81[3Tȸ{lMÑZRVjtݵG_}I1,Yݓΰ] hkgy'mO%8%λ%ٗ-ֳ{;Ow2WW`“Otф0jC݉ȃvynpDզ_7ܷ0_:t!ڶR. ױ=`"Ehj@{Kh/IM#/zc K bo1Ca:pw]Lʹ]NiȶH})$uS110*e|n CO‘Wg͈%:up [ & f㮹S$o5\D=F_Z;1kS˄R=e& 89<}/Uo/*h3nhDu;\rt7L'{DήQbUS;ߢ64ZLVr- iuq)?DѶ%wkC"mK0sDr`~TIqLhg2M"`7a%_Up_GPI!St 9(r( A"ʺ_<&pAr#9%wQ$,\t2ݓu mAІBtQ Up{dcjRÌ`7mvUr ޭ;# uɗ qڃj \Գ`ӱ )L)wW`:#23E[Hclx{>5r’6ϕ|추&:(KG>Ec>QA{Icr{wӂW4t\Ŷ14_AaQۘ h٭TQV 7UJ*zvu+"w4eXc^[rr&߂T[Ɯ|gb_k+ W%Y X ;;nIkEѶL"ޞym^5당a].g-exG0קA! 1`G=S/KL 7Q}h(QhyfSg ׅUtx 2&_K翩6q]\i1ԗ,M}zοNZ=n p&Hamĺμ o=/L/6~'S{z (Bۥ!5DC~ni,ɝqh|txJBr"lje " !LN^Τm" a`>D Pw*!vC.eDsmVp#K,A գȊn6$'QĽB_3O> ,}FS"0ªArdρ},SG>w"wѬh w˹=?O/