drat-trim-0-0.21.20230709git16f1d72.fc39 >t 6 6_6&8< 83!92d LuZLdŘ uZLmWȤn5Pz&!BᯃKauN})ʥ;%9%?,~V JNe'w<};`%,]1MQZ#Q w<8/"NZ N|2nFJԼP`-QGh`鷟 *QT ښ$8y]7M7sme_W+ IPՑ?`j2XWgyX×7N-򼱿8>͌JҵbZd:1.}c5a&~b!Ho~[ZZj.XE61DˠhAf6&i0l>נRe /+7(p=}-7:⯍6gPd$ mi /aו|-\ دKн仿 IO(Knr0/y>ɷVZNaR-"熮h4Jafb5c0cfc9c832914a7bb9ee0a789b615aa653f47d240946f9dcbf6bc3a74ab8e0216b2ae9f5a1df2800415df63360e72d320950030204388b603e00483046022100ae542737accb41800d6250acb6542c4f5e4c7275d4645d22cd641216bfac8d34022100bdfca498e85883258da93bcdc7fc375ea0013d75b25a2caed9d5137bf824a94b030204388b603e0047304502201e3c843ae25ed2eb3c34e50235dcea8e78c95f6957c7df2aad21c68f9f041356022100d531569f2e6f3d9ddb877562111dc8780a693ed7100de55aa23874220e5f0917o3!92d LuZLdŘ uZLxt9n>LU 8*"}X#Cqc@i;x|ķseZ'TA^V4`vL` #[!ˆ.YsGcٱ>6Xxsߤ'1&μ/-kK1N<|Ԁ] A֒2X`>?d  + K  )RX`|    ; 4p   (8 9 :Y G \H xI X Y \ ] ^ rb d e f l t u v wxy17x|Cdrat-trim00.21.20230709git16f1d72.fc39Proof 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.d5buildvm-a64-06.iad2.fedoraproject.orgFedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttps://github.com/marijnheule/drat-trimlinuxaarch64+AAA큤ddddddd cb40651592463d8228326bd45241128247f37d9ded524538fa225e03c473293d71ab2a9dc5a294ad8fba4ccb8c45aaa8a439596d314a2a046ac9b62266872a18../../../../usr/lib64/libdrat-trim.so.0.0.0libdrat-trim.so.0.0.0rootrootrootrootrootrootrootrootrootrootrootrootrootrootdrat-trim-0-0.21.20230709git16f1d72.fc39.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.18.91díd@c0c~ @b?by@bA@aaNaJerry 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.20220212git21296edJerry James - 0-0.14.20220104git0c02b4fFedora Release Engineering - 0-0.13.20211120.09d4f74Jerry James - 0-0.12.20211120.09d4f74- 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 fix- Update for ERROR fix - Use the %forge macros- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild- Update for off-by-one error fix0-0.21.20230709git16f1d72.fc390-0.21.20230709git16f1d72.fc39.build-idfcdb77a21d11624a473852375c41e09c9a781b76libdrat-trim.so.0libdrat-trim.so.0.0.0drat-trimLICENSE/usr/lib//usr/lib/.build-id//usr/lib/.build-id/fc//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]=fcdb77a21d11624a473852375c41e09c9a781b76, strippedASCII textPRRRRRhttps://bugz.fedoraproject.org/drat-trimutf-8fc3d58c05f439c87f1372e7d4952d4dc66c04d412393ebd7a52486137940a1843fe58da1d3b2e7f5611a0d21e58f9b0f961c4e135872676c0baf3d212bb5af6b? (/h:N j Ook:M ~4}GAhYU?1a OUOm8&Wm<q$k{-"Mc_噳|#|`"6?::4XwE]'xHo:;֜%'p6y𬛰uKA=m %0KoxX[XqF7Չy$z#HKM Se\ G \S(V:iSoIm/t3C*mI9b\W;'Jd|r %(R:B礼A45fV ^% \}.KԜ> jJMgӛL[aMk6ŝ"KY[ hBl`@R\W^ǺoϚM5޾n&J`0jw ep[w G3б!Z]w_"ȟ&Eo0{袟S6OkE iu-O6vzv ]! y_Y{r{)zh:yg feFo, Mn9%kkҨy@4۠ W˃kK΂<]egȩq)'ϬK 'H)۬<̜V}ƜG$P"$.WAzKTjtRTz,61Ϡ(`(@MjYJLFrӗ r *搕4ߖO m PJr|տ~KĜ{@AյY|j46I 1)Vl u4UKmlTsܿi3ߺmI`!\Ն9`Hs!.HB*oP6Hf`lGV]2W$-,Y8$uMV#z[ *iGGTk0V#( jsIoEiAIFkF DS(Μ5r] rfwO~|YWI@^SON~ `0nb Pg؀b + $Hף35EuDYIQ@Xpa |PA1"܊} cذ1Cii\ 6oUјPO,0gk,Fsk:Pf6{eD#F 䔑TyN/"\Hd#a!啥̫¾dR^H\j!_K届aYG,}yi{d-^S[J/-XZ_YDIJLקȔEb"GY[geieHV,ח, Î_h}}!PX;bD 嗗R+lLE|i}M Z>K,)~!\\̬+⬰{qZZbEŒh!;%MQ}r1tr}da#B?vYr gy[5: ZކU;WpV=hgdXf{'<&/P=w?ϸd D )Mj+6K1C*Fhbl(陡$b#ȜQ2o$H`5m$ch}mGxv(0PĎ GXaT  3C `M] XUU}#Ɵ5/⿋,VP 9?b;i1^ug+-:}AJ|þdDeQN-Nq1eז2,jRjŨECˉ3jĠQ# 3|q-ò1 f! c{myqVR443b|-c !a dĈq$ O1jThik8ѠEFĒՔE#nRKSX\0$cHry[cHcqFrD+pܳSPssQ )Yk2zp|`̶gC&To8V迪ncЫ+yGuyf( R0~pПcХ6KWnr-&D88j;D`Рk5Q}}JfwCK蒩Rkb}[<-4k{I9 nimIܻS `MٞAGFj=zz=:Zݽk:z+, [}%QOȤtl;7p0JWA? [I홖+]]-pLEIiCd,iӄD{P:)T@rk@BFlkX*@{ XW`ZLSMY*&T 2 MB7{BçH$KQ Q<*!CV#zW("~g*t/mmMO!qg_Vp sqV?B i`찁<1*<h>+s+LA; mM@Y[d ]EU ոa+yfMuNM6 [HJ9iq=2ݸÔX1zőo?*Ƿ)X ZU!#I4OYH;飁pQrH_ب~Ü#} q5"zp:猓yJӯ6ղX“I.Ewss)lɷb̘Ɋnܓ~4ƹT *U.HLQ<_pי[`XǁV'vͶ}^ @ʐP];0cD L}GAPE6QoiŪTj҈BDh380[~Fb3*hn&Pd 2MԖJ#)R֌Us=vul:,3hxjC?7Pd##ft'.l8|=UzI SŃKXA97~\[fB*7Jy5Rѭ.jQ@@")BwV@![GO[ku\QF9-7&AoXuTѳ98ޣ15#1Utױ2Ń2hhW`EֆQVI\ y׉KU2w4M|{ɢW=@:ûS(B]0bCQ`שrH.RJ}e~IP:\k t0Vu&G- zkkJp\ꆤBb~\5W&BW )Q4vֵ)hHڌF#kBdv9҉2 > Y"^Zn~bfWs#ᄹ b'M73?DdZ`05 {\j0fVhszcOD@s)we2dLQ+M3;3?u4P"U%ԡ6gn/--RZJ&omP QIk 5`WVWU2k{ nѝBfrɕBt<6-MSfyk3Ś1NLtF.!&x8ŗnSxqK'VT*o'rWr1(S%k@a ݶC|>\g/$Y+%#1\ODL*Z>n*d? Cҙ}>r]̅9_+aSxDq4Hr~n+TUS͘-Y|:o Tev>4y~ g#O+dc_z2Dz2y1&Nj QhsbRO;W +T,&} !f|^ z,|F$/*0[J{Zu~-I6} >ME>1c5Ox=U1%1$ :F&l$ᲄ {FW~*k X#~.#Q H?Iddpӈ!4B[2ͺU^Q0ELݳUkع#=NOOH4J}Tc'v/1#|8^u1#r,XMX5b) UЍ[R 3^d+"3H CX P%ߔ-$n%x/xնuu+ĊU`ֺ LyXv[P!''Da}L&`&%zIqE~y[U=WVQ H4^1VVa*7 mf&j/F4KR4o_;ZM:A0SJa<73K10{ `+bok2ES6 W&?M!,6CLH::JB,]d)! I ^I };8Hpå8PbfJǟ]; q? ,t'o&kWy,Ȇ=L,֑Jfvc9]$﵌ɚ``M] oA0 gQ=sgSIr}5R+$Xb'ffz3= lb '4u4RX4ZOA|-IV1<tÍ@߭bZ ׽d? &> pZVG$MNL>N\Qvqoo3 60}a|#> M _"f?@]Јy,'Ve NEZ*'Bc~Ѣ urԞF4po&6{y}t?1iZ#.S KK *Ѱ3S|"(6B5{PhVzXdM?eg_s"Q:,qKPa7o9Q6NI `k3X`/`7`H? $hO~ $))h@E*܊2X8|hF+W'oK'-3dc61+iyl'lZrnf燠oIaf,^q4ziؿCRQ_g'^0+ z<JR;/o$2.++(]G+g%7DtӹE7_^?f[`;+2g$YR9P @#2P)ݣL.d grQvMYGiR_U?}g#e읨gߕYiM';MUf +eGS=<2'C0ܻrց5^3_V>2R|YJdhN&`do \`9v74a&:t<|K~OϸHL0Cw0VJF!xi^,1\ztC;=?AKl xIYGBӇ9<ivqC[b?5MN`[U]8h7U,8\ʨ'tԨE5%gWFFC>ndAR'/We$֮@f;)w :TqG:6Y'}Јǂ>cڌUj2ÀL[v_9.6M-e5 2x@eRI4v`^UhU$ew= [MwBiͻ/vq< =2{J9ϟt}BU,ml ,k_yPJ&A:i Xd_lf[Xǚ?)i܉fX9 `x$ANQtjePRZJQDNIZ.DTV?ê?jNM%"L11IX'?0ɏo >wܕggMXR{+}rᔱE^Iek!rAMM]7!u׍#tn0P$T(?.'C."/$]=A^(+@~̗~lQ&}XiQn fNO\]Q3C?dJ~Ђ@PD! [ɡ5D56S+Q{vo`5q, Ee>نxhVa~! 0pAT0}_!wKZ5K; ?M~8@ux& [] ԁ΢ϡ~A/TPeRY8l2"(*Ȕ"Nӧ?Ei ޒO (yp"6Erܹ]hC9ж}eujҘY8#mߋD;UGx0[ 5f7* 9'vD)˛ͬ U;Uӭ[kSԱVB`L ,ʬ@2+=BaIr*b -|Wg+]Bj ]9Ƭ0tmP!ltm=HZ2 9H0s%imLљ1 ` @@@'_[':IN57xه;^.E/F:\U,R0 E>0ʒ/?Jxou8x|ZWGjI՝m Lrǥb$3iY!ZHTG naӟW3'.~?pM/v09ZG +fqq^VgAISl!jm;1|ཛ(g!rypﯦ׼!@Oowߧ7?}>m˓>e]pvb9bScxvVŨ*el.EQj!=%P&5~F™20COk#{H+sR[={Ici:c'Wvrec>"҈|qCBizRQ.18.ÕYs_>qu;oEQi=|{1~)Kf3~B%v|i\ްDOx|˻7Gj=iY@;zq$?Mrz]`C:]<\?#`%3g7,ނ'<^oTN9$g#7A37.v l~8}fv322r;-2s&c[tOrP:ѮAz++'޳}[TadIW~ߞ\"qΦc:.~bmLZ1QyfWpW1@wrjWmv} $3y~[k \;ּ:O8Fn=jcM=[U{*CWБf$^ڹ]Zvzź0YG9=@a 'VsyF]@y^-t#iuA00n+d&Yny–>Aޙ:N:MS_1"<ۋ0@n /77ؙ=uN2I3:;;=.}!gP礌Dr0z>9do=wSuz֑/EXr-'o^l<]7mO:>nP_;i8Gm#6f7pC},ae8Ozsnz{#N9cx\y(Ƅ&=f0ĵ=ىTlCNl3zzClw.{|^ޛo. /\†7r QnPQpuQrB5w:w'W_Z`ջ_m#r}>LJVNMLrrٟ!Oy$ut^O;?'T:;{v'h{UKܨ5?j¦zߗjEBН4=6ޫ,>N+IULLJ.7MQ5;fb5VQfj@:}.?bԟ2k슃A/XeL.G1G ,0be7)\8oäHpeGm*lW8^朻l #}~uAVk]Zp>~.h\59&^wL/An Ѩm 󤍷6}*+_m}Q7?;!\ __iu'_R[1mDDں7+zqkNE9aQ|n N%gIt,aazt - 'xg-n? #JcKWc\39wؘp䦟x=}gf}f:!jO*CO[^0(?/=a僆Ҧtx𾅯;{o|wwb|ki7R3[z߆;+~?@xk(tݏVoZ 7dʳ#JOHݗYw66SLqȮ^K!f/-K6xKh.S#_~f4{ ;+Gs_dokZO6[8&w }kӁctއ fͼfKb3֍ef~/͎1#̛ީyB^ag`Ug73 2̡/fŸYs>?KMޮk:rNq5ޭ3_a^O\YkDGUv3Ơ_<>FV_b}M5Ө3^=4ϸrZ~5o4}zLG k SFU*+_(}7<ƒzWAnݖ7 O[9Z=4T/s# 2Otg` N{XW1ˑ9M+c#_r+/xava|r% ,C_7s<%< U"uĘe+[dߠG)0fܧW7ẅ{s< .^>{]ygUJl0 O~;{o??79+ .|E?WeXY N9#N/_}Q?!?#I`Pu|>pf7|u?]#Wz a>ܕO2ۧK`eɢcҟV`Z$cBq, H59d8F&tOº$\Cs6Gm[:|̑5Ԅj=Ţ:|1]kBإ79bhInkwykfi =+iɳϗTjΏYןSvܷC*x10*uSI͘@^|mNSɃOk3sY"J3D =74ہz8鹛+.w:ޟ牿g'!G=A<l rf}Rx?gWcYܠOS&d28)5s\hq6v6ܗp~p<r{tOӕol~wYz1kEw"X54?bz+/}9FN~~\Y>HRVf6]q.t,S/. Ժ:.q߉%ƔKhv^sixaauzH\ʗއMFin>O^zFj;S\'0}!Y*hs,w wP}ZO x|6ue-f U NL/"6l_S^:<:waE,K޳8K:\XPGFrW3 >c̬)^kcF4}^mљՐ/3[1=K_ |> +DM; ~ -K8>$Iҋ3[u{Pտs(|u> +ǫ=\9ylй0/'-dpSde+}w$<1 vG=\Zh}<7;hsZ= |>OܯY_/ܼ0p,5;7Sd1gO"!L?.;_aRg\_gaH7%#&{}hR~-E_j _L0e0԰ogky,/7Zrub/SFh'U^K& wm!hQ,4 a T"0?Kao͗`0N&2#;0 vtU|qi2 S< ߯LXtʼ@@ }[ cu^.]{fVxg>N_|nPGHNu{ t[ fqGhgKQM[6W'ᅰE]\)Gjc x)\2SR3̓_TI8?\=2:2g@!+FUύ\7ٷk3Y wgoB:&%"ggXFxz&1whel\pp8i0f?a'G׿yU6aqq\WG^؛:Н+{o }ܢ9(1^ݾLr*ζV&9tecYU-| ;/'|m/1'`ϭ-(>5^jϛ-w.t+p?O rj2,zAA$'tT5ܐUALƛԫŏϕMc?/㡮}-^8K3X,&ƟN/+ͮvJxl+-42Wxjfq٦Y4{)я5!6{v3:[>l=c9SHWxeيu/*VxmۜQ[QpmGʋ)o8sBGJgp}su8ί~i^G3y)y]7Ѷ '+Hn+gr%uqӃX[q?Io.KU.ח)P84K}i2uא?w?qF8:Heࡗ('y\ p+c\fyJeԔwtbޑlٛ'^ᏙZ37YЎG5q-a~B9+Gݝz*/ ǻ]rsYݿ4}vr`brϔ5c_4\˭!3qns'~ql]&? pV=( (l <ٹVyl5gZ=|sC<A,NH _l_a9~x*]<<)~ƧWONdpY<-;d z'E&鿉nAh#24\a9bZKlG`(cD\[b*G8i9a|X+`ʓ+$ G5d0 x .--Mc^ SXv׍ }Sq_x_^\췥J XQ:AEEV U^ֺ׍+5McaG[s57!1,e-NM ]@Qc-PztSI'Rwc,;LJ W_@ƮiNq;=PR\27V.Nic!TMY85Q1j)22.zqp(9АQ5b'2cR⸗ְ0' >Ԭ!%ZTWX@vw@ٳOJQK1TOC8L0[5l&S/$  [*8ua^+"?L|K!ؒNyBmDG8'r : J}qmqzڋzlz\׃ػ^!/D ͷotnbJ SşzQa#cA#BǁYΒ2r?O>NM'RDm>7 kH|J Oq۩(|&sڷ dlOPpE;8 [1a̗-e(nRm&A_l _DPmn#z>EK5+I!=zj=: $v !n m)|Z1;l0q )@㩊oߏ=%W[r)a08KU8f^JP-}d<}ф6}O~62A}!%Ic$ }a$BI?*s<8{06N/D4A4 11VyXtix'cHq<4OA 2 a̔֕BUES47*uVk[|_m_v,\k9߷}x3*}`~zs`wr鴩WgJ.|ƿޯT׺yV=ZڲgHoswnu`˹>O˦޺֮կ?\ ]>?wv u*SqowLtjA'Q=3:E|ټzc,2 sZdzYu{?L_^܋\^,߿[t߷ Zo6l{ζ~Uh8_oŔ.?Wl7,6͹w,_K+;:?^Sus`cz*N<8{˭wwr]t2%ylG,Ζ_snk׽{-+Xǹ8Vvy}9~6j 'a|8 w\i$k0;nlzp"5z^|Xi\\k޶?\KDx|'t R w^+rqlOn۽UKsoy z`m77^7vn~9 Yn_fy> >֡_c7a3)t ٫87W*8M:FJTjDYJMXř ,/׿^[]35a—8E) 걩Jrs/b*I0z8#mW !c n:W[JT D_Ae2*cN5]<=y mMxʻK;f=F ;{K"!Ú̽J>}9lFk\ۃ2aW'0Pg Ӊхbw|bx{6F$1..!\9"jqmZiN:7vr{=`ōT8:dIF{d.jRoO&3i䛣z(UV΢fe7U]p^򪎀S^U^p9e>{"W}iβTӵļPjJ9fc P@` &e 0Є`w3+g]d2cvO g{ Ƽ ~c25%ENvt]RojO߸uk1@ꠠYR e9O2L1LVVǟzە $d1H.?!b M|ZF=$',CLaJU;LBy4t>){2M@H),ljLHkXW2PFzA$t9 H8'+A`Ս.k$MTe^@7 Fx?v0XXqsPJ@ a[(3Tl( ]$w?F^`jsH}ct\U,[iHQJ(I30B7*F\VE ʅEL,!#gI$`ca/K"QՏ\BlB3#$HJ:=:Ra5C , 9TSd;xÃɑ׍1"37UUT*fEjD5x',ubR")z0r9L x'*Dy rf >hЬmQV5h{$((|Dzmcz@um1pÏcnh@WͿ> nm$c&$$Z,G:J"4sBS2o_4H!(IHF):e/Z(, UE Y-Ti RW0!˖8(C bx̠~b:.PG5)KS#SM\'D /Wwd{_V0t~&]zA)Bm]?B2 1r' Q,.%1izEfO,[DXp0gE/&ue:D^Z#0-G}l)t}<0ZNlӦ!h@TֈK (! |iL91ІfdD'MPܛv&p D<$@d͒=# Sp2T2aIM-'x,(F ,UH-}bS4)8iS!G^b7~9[8LaҊA˝!&^zEһU)@Bhk$C-ld&EÔhhmvo5nV DyC"4^6۟n~R[\=}2Wa= ^ ~@&{M|^ֱ,?g ;/A3O*QC!- |pUCZDёчqSN SF]ǣhCCd ;đ]eK2<]sJHGnԼp4;O@)@ow< ÅL[b:yu׏`?| ΆC`=rZQv[s8WJ DzLA]'<@ YDZ(+Pg -s)臺]SrIsTa1LDchzRٛ(}}u4'" (e06`c gAɶu߭#<{& ܷGzGo=V4Kh+D<5\lg9Wn-Huttj~{(uy(e Iyڌ89yr[(bpd0sp>)q>']کm-q֮{RB1vҬc93o"qⶋ亡Zo61am)&HqMo'3}fY"ynwv!-"zR~-ـ;(ݜ[?yWE۩/@wf'J/:Yk؈7%CWtt'l6$%+{"ߡra[@I6_xŸ`z!ɟ^BWfGc>쓝ɪhhMn~GyEx*lgCd|l2w3^LqNmQ6 7lS^k" Q5iKQ@P{+1})g}zl{0\?~(lػhVZH5PKqD;%oYC_!-_p_neϢAOcJ:DО4Z>ѠNE;CW)~)PU]gSa^ÆV yu[75G4l>6=UAIތS: 7I;&v%/g8HSjL/o_jl-CtۦYm={ѝ+Qz &PzTh(U,u6NVefo(ߑ *L}.&ɢ_d̕e fie1F綡s~HmMj3*`M[R=E b-HBagAI vޯE1֩r2~q޶xxnvx~W:Zs!0 S͜2 .1lGlzlڬj<%C)~bGSO8$(:b>#KVØx=op[7D⁚s3XEy+ߨ;V8z1 7G6YtzraI8gQnñlŊ)  Hv@*|TkI&ICOzpxrd}rAIj9Kuh.&twI[1%QROTwz4؍pYdӗLa{pHjG09nH Xz@`@!AU+~ uRnsbN_r:} RW5