drat-trim-0-0.24.20240309git89ddbfb.fc40 >t 6 6_6"48 <3!]W>D] 'p~[yesN 'p~[y+ #K䛼Y5{jNWF,l:+x .kVmKgzh1Hw'rh//}N \wYBh)X{"oAPlKT—Fd!)z {;$Jv_Jff!aG7s[x4 zS~y&|ocqqq |8ǠXL6- wJ 's@le+w<ON~F pCϜ},GQrZ˵IJ׫h+3U@ԑQp0@ھꯃޏyQjˣEl+SU@T(Á$?Q1,gbHD] 'p~[yesN 'p~[yi Q2.i)ضxDK!t!G:] mApM% Mb{B'd}[$puvEƣAMi.Ys?o ``㭟׳o8?n+ʆ"\Ue-ZF(ޯ*O¯Ԅ's*'R<~NEԺp2EK't$"8=ؖ.^-1]B8g dKљ{9WLQ5p^JD֑-srh'la:~bUh* p_1ڗeeJG#톰r+]ntO|"´lk/{ ´QPjq8 a-k!̱#FT "¾2s`fdo~p{TםU;?eKe.!B-sfޒ:lt{uJܛyB~sUg/*]9J*~Gla]+tcD-g>_>`>?d  + K  )RX`|    ; 4p   (8 9 :N G H I X Y \ ] 4^ b d e f l tu v<wxy48agCdrat-trim00.24.20240309git89ddbfb.fc40Proof 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.e\:buildhw-a64-20.iad2.fedoraproject.orgpFedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttps://github.com/marijnheule/drat-trimlinuxaarch64+AAA큤e>e>e>e>e>e>e%6ec3140214ffa644f82330603293063a54ffa4283a2786ba170958aaa6bd112471ab2a9dc5a294ad8fba4ccb8c45aaa8a439596d314a2a046ac9b62266872a18../../../../usr/lib64/libdrat-trim.so.0.0.0libdrat-trim.so.0.0.0rootrootrootrootrootrootrootrootrootrootrootrootrootrootdrat-trim-0-0.24.20240309git89ddbfb.fc40.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)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)rtld(GNU_HASH)3.0.4-14.6.0-14.0-15.4.18-14.19.1.1eeed@díd@c0c~ @b?by@bA@Jerry 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.17Jerry James - 0-0.16.20220423git43fce1cJerry James - 0-0.15.20220212git21296ed- 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_Rebuild- Update for lrat-check print and off-by-one fixes- Update for lrat-check fix0-0.24.20240309git89ddbfb.fc400-0.24.20240309git89ddbfb.fc40.build-id1aaa9260a971613bf76e14a2aaae507f1578fe1dlibdrat-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]=1aaa9260a971613bf76e14a2aaae507f1578fe1d, strippedASCII textPRRRRRhttps://bugz.fedoraproject.org/drat-trimutf-80542563515944a9ef692ba70eb0477e0e862d5d589bc96f7b924ee52511619fddb98e71a5c5222981340eeb0d45e26f2bc698d02b3ccd5a5f494758fda545141? (/h\ ?MH*9~tGDDž HR oCeXF\TF+7F/veZ@WӁEnMg2닪@{/)>8m6d_]YF*f 5khz+iωv13qT*)D(F% ٙuDYjʈ@~r91b *!۳L FheiA}6~ -ӭN'C1hJN!uzdcJ&^3i=²%/òQQ˯0cM|qea9ac2Ts) 2+٥%& eYZ^Z?UưKfsL&XZz16\\}[25@X^Z\ъRlLHWa_\,-0ދ)+kʇW3 W̰0Y/.. \ZrV,"bc_Xba&I:ˤs & Z)giq^ZYIldr)e5cia1=`O&dWWd<0u  xƅ, "GWIShvO  l3{Hƽ ;<5o!6,i{XG ,3Q,s#CC d.cD1:g~[mAx߰j_GAϠe,W/{vCmJow}2MIǬqUIZ}x CF bS*R mΈDwK˵0"c L ̒BSr*$-bZ% rRbaE UlF ^_Za`L"]אŰKPƐ)LlxAC#%== (- כil R @ZπgozXba|<,{`]shY< ԿG1ߒ»ϲ-7MMQg22a sѥ&BL*>pⱘY1LYP0LY" *K%xjʦ,&ePMKkLRX E&L, Fl7,)# 7N93o q02ٳ&땧 8OuPu49ݬ&f-CeLb5,ܪl@r:7J~~WOS7~GO81'Ph8Kj-;=`nw,x&N7S^wvf vbTT'},p, Bہ& =18|)ԍ,VsKoykQ{g!}ygU?ڷY^?e:ljfܸ,Ȯ@W -[$cl$˹Qr}S|7m*g8,C.Ŀ姢LgdMTZ9#;uWFef۵t©%}0>*"Nvg~aΠc靃|J6!R %8;ݿ|`犙X٦K{ԽiK١EP/ch,0 X;ofq¦adK +ΐ6p7 m}@ɐw: 6^՜շJaDɥ?iq##vsWvP?å^'ѡ!>as3L{5Y:&wF3=ZݟOFGźDҊ1$?.u SK-.oTScSm3F P~gα?-W##hWӖr 6ղXm,9{oi][ 8׷|- `H?mH?*NֵsVyuf2T6#B|b'n>Q//-V%UnIȭh])1oImO+P!g%ːm7;(iGn?f6j@1\"Z| "ɺRLPi2-SR|ǙOu$j-F7 _fw5KuQQ8oA RۉaJ ddUM)cᝆ%WfMC"U %.a5rHvQZuHOdJdK{:othn=[n5wu#A-,M#}S2ƿc'Y$C86;?=>E>r3,gy,"݈\nb[vS>X8e=Dw!-AWGRh7 NuD47uHݛP.|LnWROqu_46#j@>0/!eQn;U|gACv6Hsϰlr\28uvey74 zŒVБ YK4HnCsw~♺K+])22E*RD!y>m dVBH0җsbM"sI_;y$YrrzD~./~ɠg)f ߧ6e6p _oܤ)" ДouAuiGPԳ 04W&|021jvE{/1,bn5;ҮqE{RwEӅNgɮ!Uh;9*y.o[Lu-\7q#VE]oUcJ$o\-ݚ'6&݀\7akQWO4뚩 5.>NB!+s1آ/GPjj&kᐖ% S`X: ?o 8 h^;7VC` 3224.;;% 1svۏM%,%XA #&I՝h$yǑ6A ;#nU2u*ƿjv";KjI]Eg<j`B-IJW*KD IYKH$IE%=$q@/@!?2;\+wv<ʓzFXմvҩ5 .[ D 4]K2om &UDTK4oP߱yyBM *Xmri0>tArŤh;#L(Ȥ)5?n@ T xR e3iX4%nQl{lrˎmU )&ԝ>3'(aVn:g7J7b#!$r\- #(E֥r:S\w:DWE b*ΜJxd *=PCʚeÏs@78EBzTa RV1C-!C =+ 2!Wf }:n!=ҭnd"ƥsED"\zPzc@OV?)A\ !E˒_+Շ6@;8ʌXZgO04]#fqZ3m6gvr%Pw {Gα.]Br[[l(hqWQp9g`䖸}\"E Kϧh*+Uk43]o2,p6=jwѩF&KPBՅc=T| ~mo9ToJ QI:$ 5C=KU*5R3to s|ZF_z{E3?ۼGbnTtF'5e,cLo1=bgZ9ʎ`'kƎ;m~Qkdv+<  AdMU aK[7!kPjKЇی?שl2iY-U wzwWӾ*X \@dih%e==[s U>_c7Lωi0b}Y@C֐xbs;PTK%7=sP[6M9eCFoV|%'9R%$9;sbS8@C%H+"З|3HryL^br9' ,ibQnA7S14g[rf@b%Wm.y:J%%QK< [+wV3kwe ˂3O+Ϛm@{J}IRmլ:#fNm΅rƎ&_>fhtb[ V\MpL?.A}*BYE/2P,o/_3uk'[#{H~amk/OP C؎t;T%=3>P5بaL`ߠL+<2.8+qXn𾴄?:% G_<V+bYIf?|Z5$ty g: o|mQ66jHm{ENe8ß5샓\̛/vKר 箟 kvHݺ*S&0 eEAJ\rḣH+QxiIͩT`ROzs)["`mnDO9D"ESYNmy'ʫpE\h UѿAUg{} A- ~}R3Nװ=idxVkHZzUxԡe:FCCB.D dGi2-~CS0s5fy3H|ӉAh ?(pL9y-9<:@ahc6)I/٠iwcf\h< ݴR~aSmlϲx"N,@ >̪2ظiM3Qʏ٦a‰'`hOx@uT +=> AZvJ*9}b˖?vkH?p-| 8Pxb5Z1i%xiaCZV=bl7;]6K]s'-nz_h\sL}WM?OL? |u@"Z.kVƜjLjĶD:( + \f[wb|LHAFo@rR AkB>@ L#KF._wax_R4l рAsngKwa얨?e9m:C[~Cxѻ!`W?\>Xyy]ŏ@xwͼi=Ts~r/&^h}!Tp)zҎ_ 1@j{H;qD^A--[GuN!Zf,3ը}ssAnjiT̽wɠhVuހ[AИhh/"F_6xV@Q Ci4=:pJ*l'w m5tyf7NvU:pBmV3*_J ~#%oW|cZ}sAKv`l;Հz|. *ŷGַOo"vtFt4*]E>(9d7FvZ'I<pUt [hzl p~?O -UEz??9Of<{jٙOȂRo^W7Nr3xj^M[% 7ˍu#4܃? lj~m~fMen}Ƣ.MVq${;_BMV? tBa4; >Ux[T.hx!@c*܊Fp:PafqU?g0y7KC=rk{O?gĕE >T>(*JM0 j? 9d ԳjY6Lv¹G/i$)iHғ5Ў#YhTâ%)I~&L\O N5 ! ;͓"!ɤ=W_b\{/u9uB[O oFP&?7pjz󪲌#e+D~ڶObËy.˨;P{y:0'mE^6j$G &2z%_8j;=#t {nިZq 40#$ Dmm `;c@ ($@/)W[o3CAa q \viy h'?]^p#)$3.6q/Sn' GÃ\*҆\̈6+e᾿kh) 0 uLjTõ4qoFH\};W #\znقgeN}v|{]x_s i pŢ. K|}?I^+699;c` ĕԃ꯾~&ؙ&e5 &_'#^h4*Xә3;zV^>.(ZC1|Xg[)uyd86j:G@iOF&,!;LhH]V}fĻ̾~S=e{俧{av;| $dW3d_Dz'3fXNmEN텯]V?nK\ݽQ^i{H΀=-Nxw/i;S"m8lWt`-]`J| |ܯ8␦c|թ]7kUA|/*h |hoqɍ9F PaX^7{$V])+OqU,zHV<3_.ϹD\~/q|_~(w;% }R3 ѣ{Ay s'5s3<[xr3KM}nWö]{qv%Pm{C qGRY}v.c{gWo'zuo]ü:香nE$]Āt9TO? y*?y.Wxw.[g1%}a=؆;ɧ:S1\c oS4ӥ5 rԳTM ?,UsqaN3*]ku;cg{Bg;z9f`x+Fn|s~o>9ۀ/:8[NIJY[fOe{ȯ{u^cX|_O"9{#L]ρr|UlؠM#zr%: Ja?@u2{j r?S|rz^rC܏>^OOSBɺ-[k?d\' Wf)̷/tGwq`嗆Uƌ?UBNPm-:^Smo>/ goRo4fw#L&2 x$'qһogq1}^qj|W{wZ2,]A+>kCtvnt5=r{_Mw2i)/lKN=}Ŧ[w˙hBTa9PGL[6DZ-ݛ4@cCğ$g=ŏR S@Om;9GC}6<6Eg|~eõ[nRQ=˛qU@%RD͟+Y,VNt};U%n?w|-} q^(1ݦ*WMG<}l,_eoi)S߭{?KrYa>3"C!tko呧$y`onMo0>c~yyoòb:w[K*WSB9_^D99Ջ,;ieủ8ksy}o[ygpm9R: ӧ_csybFf<9嫗.&B~/1]/ >]?,Ɵ1*`[P!>E`}].&b)$5!ga6:kD;y}г{[~ŝ|#%돃~/?Wn3yx ±36kKLܫI,T}D߇4h 2|KoyĎr{X9ZT6uF|d8؁[[O8ϾoZ]|ogxHnc:Og[ % )Y;Dxg5vD kӺesmğyC]?W$-C܇ 1r]{w ހ3V `>`tsc:KF-|ܛS.ɖO;qGѝR22mm}*#6&Rz+K'ͼm& "umѣsO6!=w(/:P~=G~ ~l%TlR"0tyA* <sByWl 4{h_ЃOyj$:oo ƫ`ZDŽώclIyovZ7n__Fcd[/kgMYtfξsepb3ڟ2s.l&Sm%xb1:KYOFP{q|Nde+1s/tz3M;=7XmN]ϧr m: Lxf|VW{ouͺݧ:ii,!.]2yzzhQIOc<_. Vxzf٩ Y,'~^%7wݙ> Cf\.>wh;ysWw$ChdkO߇_*i`}IO\iOf`qKrF&~Ey"X\@47R~˱^2^3Əm41'On* u3Oh\pI4D[u#r[^zpe8C &mZX2yx>wՓè2Cqcr>. js= MfGƙZ-lևR^08q%#c~~JrK0;##://?䵨o g^^_{_[_̲fygXT8mуV+ЁmQYeş 7p F4 gD'm'7Nm}Y24ċOLomji90a!q8/Д`E metqw8x7ow'ߥmٯ䂏}y=5_[d _2pcw:6z4{{:?ЦN#H{o9E. ./ ęgNjm?W?T=EJw[Xh^HN:OPN. F]ή>9598o9t9] ]y"CC,K[5XOU7>nzDfF~ߣ `]4&IMtߝXP<n!_dqMI{ 3E8{?Y4fW%+0m юwXS|CʸM*0!h^^)άf`vz1'{P+|]^8$~7l]xm)% e.}Ijn{w2}1g|2V>$ſ13DuKx zY01h[; X`1<.~;su<m '>f9co_)RY_w\c,]9=r,{>;UNW1fgv^n)A>q0Cq&6Y.kq|1ǿ~po<Лb3z9b0gglwl/<&;l3G D_v;B E'۱vp!]Θ L󯘋eP??`}&Jg4bǕvF-y3la2>gsvll5 ҆A?V?= O~d}oJaAdSfv[4`]{m _<9$1Ksl]7Ore8vO|6l}ldG=8nʝs7 P)SA~}oQj^.E! ~0|Ʈi#Zk(95m{[x~-+U*V٣LG 㰶? r] W16Og:O~M[;cܘui=,~f/{/\x&KZk뫿hL s]O+\W4ӟ_>W HC7U`D#BX#.cR6tRn0_NJ9B>qWK-禯~O6JTޗ<9brբUV)}%lT"a|9x+칹Dc'U4v;tl`Ʃ7޾sӔ i!@,L;جؖ+X@Mc%0v7kO侜<Kq 뮚O\4/KS]TZ}X "|+a\oϷ(a7Gcyu*ySݤܥ~& 8sxNt61I~DnKj}Ezl^( PƢ]X~pg]؞CXj, :wfVg(NTh<{NSi ಒsNLCFCCWz{WLO5O͓-w:AH.DFC9"ҾA=֩5 Yc*0:a>`ްG6Gj#>c,V p|SSř}#9y,6h){ʐ^KqSarYtf$xH[}&@. r?2g"xU zV~tlH'(K#>s^ם:CV"cC4 ܭmiF_ Ŵ}h>qsя1fOzr^|xc79ɠS: cVZBO JGo|5z!j V+|qC?ݭ/ŕ-^ovTzQstbЩёw- >{ڃ@CpjܭzJکz[GN%u0X~l~ѡS_s+9 e Wh@i:`L1 N/3󳕾^vўK6͞6? 4kwY}}|/w9OaZ\Egy;m3G9|n1G{{83!aGv%__̼`_KoJ\mOWR;%ut39{68Fq8 EpI݉><I77޼}hI6}*r,_*1ɦ9cn?T4bx >q]uL_%ti g<пU-/r`}Iz.]eOֵ7h֦2 Wݛ_^4cٿ/*Qc $; Js;՘1SȖﬢDqT?*luj[LQYtwWQvo)b\f1;Y;e#k,*~jjE-CB5*ձ)yR[{ NxJ52xgLԖ9 .&:S Vaʃtٝi2׵mP2>nBosbʜ ^hVS]0GXNPlYK/jgw_&^z6IC%#]RDFt/0:IXlD֭ktTKIkm:ykc[t%Te(X.*~W@J"2K#滣3Ny:xM'D.JcG w+34_b/ޜ>iyd u-e6oUR޳lFpbPzg4[wlqU7ζ?Զ3.Kc.uhwKs{v>tYkN#t%rھf >i4 ZѴ%˶&8> FbXUg7-qX/{-tvԙfuBKC0.L K<±"ig6׶Y1a^z-.aHE&uXMe-3BT,DJu-->"vֹjӍ)}g? hA{E8/* <[ÌI5QVܼmjo^- xK4mKɕK˱~ӠP36ܺZ95%1͋G/s9ũ6ySڡjKWpmGlg㍨QFJ/b ;^ߜ JJiZ^'K`S ubyNP9s.ob5Dz\ Ke0{|Y kM[ \[.WQ 8|yR嘰BI霘x>?zc%/cеpӻ9ӻDzgbNzOw's?2z/ CCL0z'}$w<1zDJ7!sC)!C~t&|t' !Tێ~CeePۜO|0SlqŜ6uΘ5捹@f ( PrnT]Ȱ:@1 -\nN(ju ")$I5 qyS"’Y%)T H..HϢ eA]U#s@(zsL&$(p50(9]6$ Fy`dsTޗ,mA|1)os"hz;*J Bql9 -_InҠ XC}#"M΀F?j,c2B9L$Gt@:J7'%w*$߅c$`O+eSM.5%-AxNeep94?,SE?ۧ1o=~#8Lm~NXe ,_C7- 1H[8gN_k[7N<0jY;3dGgĵIZDO?7^Fg_}%#UGD#-͸jɒ3R LIn{?DE2dʀGL aۚ6 #E]L o+`A4j~wSaUxlEU"5J5.YCo H8 UN|H>Z0":_ ޓkn-cE`2bԂ]2>V۴%? )P&5Vgelı5GA|[r@ (7T`W獅ʜAY `tً`Pݔ;#Um;Aq,LEfx!@wT#'!8}i>BI7hƑr(~Z Y 7(򴌞1nq.0E;}pk[8JɄMb˙'x>E l`2CKN6vtL{ht*LgX:eC@D`a#=u{6 wl˗oe{xqH[}8!FQΎWxx jfS8msScvVz Dopaak`L#_ 8&K̂g#B8QKAb3D4 =9BmQ~z:6EB< NO.b .&u{mޅ%YzGnQ5:2jzG5Gx-Dp&~WYKo~h7(4`ft'7i?[:v?|\mgO1]+UsU%t ݈{*1-zV^! wAN_ϯNOa꟮_ 5XoM7Vjo7r6ӎG(/2o-ֆ6?$2{sSÛ]z8HYZ3Y6< ۽]p%= *uM{Isa-PHvmœTKn/;H8+}+njٶWNDs?L d{99h}ްuϰc+}~Ql?'7FDg`!fG9"(ѢBeOM'ù һ+gBY DqG P}x(P<8W 8o NvhuzvMx \<$r!QhDDD$13LcR cIĔ9(5Y}^f1Dk/0{+njkOV3S5l;i Ou" Y=$;C]'&9^@9c>[~<7@Q=a)ң>'/(AacȂcr;qGtL\[7t(TM] q?y~=ӥ콧c@4B(k MZ 5(y6}@xg6fn5u$ڄǸ^0I昜k(q6[ `Z&A' C y>kq-Qsw*xH5*zȫa0?6ϐNٖڇ}N wX28LZO [ǝtDR>/2r8t&"R'#t܊Dzݜ+TGM7_1)԰CVeaf|g~e~]nR,3kLe0o>3.bUX 5;7e@]}eenLS\ uT$M-1?v ,LpN66 Dʸ9ṆZʃ˂u2ʀW"M,?aO>JH ];BlP.Q6=` k|_}\|ATmH( pf GA$3a1P-.debugcPK7zXZִF!t/]?Eh=ڊ"JS/]%l[U-ro楆hrFiAo|Q+l:J!^WzݤIzu1+AjLjhn>_S3Ws}SWnO`HLo|hKXb6+ѭf_1Jwˍ"tv7"IUOr.9|^^G@n4MZD~ɝv`q_BT/b;[&R: ;ghQ/>˧&^:%j:ݯGU q55GW|,cp9cO]=Ht;2X:Kv00IX%vUnIuj|  ߣg=p4w>Q*.u{!6K*z]Fs>#OG6 I9BѫԠִ4P`0sdwGLQΌuK1 *Jf،C'hl'$Bh%Jݠ%={d>?DMKJ0DqJ{1YqXs2Ӡ0S"[*{pOhP.Jz)D!,S-oG `9X30n`0 4nD9l50VIJW{h;dE1|u71=a%ƪoͫ~< nmuH+n9-lSri>0ݝk{c#;뱊"wm&_h4Pk03aUoQ :z>سmUm@yP>?t[e7~aZV qA]oywoshjsᖾ°` ͂PLѧʃE_,ZE3@Kj״vJ)WS2E'z#ʺwڀAD4#$),aB1%F%E)3\Wq S "=$x_ s+3BzvBDRZ=.3i6UMppnDh(Hip`i1;4bXb#>WlK Duw3,ubfg3=F q !|*aX7m\rfۖc5ǜq 7;/}&2iUxbTF̯%&{HYk>ρ2?Ad%` @e DSK-|uVB6`ިØ10?:cVB FrЂ}Z/mC(G'i&mXۉ