minisat2-2.2.1-21.fc42 >t 6 6_ lpt 3!XPȬI^DgQ ȬI^Dq Z4 t,xYI=s/\/EAq;-3 Z[hSj!|>V~K՗3ƚEӞ&?4~MPRGA8Ԙq? ͘F fA/:Q6+a7 #@êxQUsNX=Y# tqI-4pXVMC^3dD}Xܺ}%6fѱAtskޣ6o;Hm+x?M 706 qLQ!HGHmd3`OsCRnɑ`874"8pO0M}&G!tWfXg-A4b ԰熫*" p%ͫa'NdG=d[Mc%+)iV&MIM(39Yf9Glgs jF|#!:kΕdd"u&OnNHx>`,d+(O< a8e4de7dabed119cfe35ad990302ba5d553a4425077e525ad98e6c8dc0951b7232fe122f147d12dbb2eb0785453cdbe9e74c79e003020462f02aa40047304502200bb469d5b626b1d86f89991c3fecb028802cd57930bd029a995fe360256c2fbd022100f3432f67954119e88732d452edbab423a7bac203b344ddbc9ddd2f882e1eacb903020462f02aa400473045022004d97c20bd89b62ba7d9019146405daeca1c14b6535128cc27a9b5ca40f0880b02210094381432aff9dcbadfcaa97b8dbe8a9df4f179b618ecab5eeb5351f7ccc9258a03020462f02aa40047304502202d0eea6b4c6dcc4e6646a1abcf53004b1ce5a251b0323243bb200ea07472fb5c0221009a8bcb75397dfcb50e0f2f9244266576dd2600dc751a9e3da11fc17402b715a103020462f02aa4004630440220429770e61e5cff675dd744cf489a893d34aad55fcc972cf007a9c1c36686a711022076ddbcba236131f1b87c3f0ebf0c186b39877b93ddf3d906985becf97ebefe2c03020462f02aa400483046022100895e01d98d473082682c76e3e402494a0391ec4312fa70ea1e24a355a68a134b022100b5e4cf2fb70a4e27b67ccbccccb95ef2417605f2675f03707472b62803fbbea003020462f02aa40047304502201163c46ed3de838255fec78efc7733705a951e85920bece03dd5e55f81860ee7022100c5a878970cc064af31ebb0ac17e36cbdecb0a93ab2f5a699adeb377f2386bd5fQZΤN?)^L>`>?d   18<dhw        @      J | 4 u( 8 9 : ZG H  I D X PY X\ t ] ^@bdeflt u vwL xt yPTCminisat22.2.121.fc42Minimalistic SAT solverMiniSat is a minimalistic, open-source Boolean satisfiability problem (SAT) solver, developed to help researchers and developers alike to get started on SAT. Together with SatELite, MiniSat was recently awarded in the three industrial categories and one of the "crafted" categories of the SAT 2005 competition. A SAT solver can determine if it is possible to find assignments to boolean variables that would make a given expression true, if the expression is written with only AND, OR, NOT, parentheses, and boolean variables. If the expression is satisfiable, MiniSAT can also produce a set of assignments that make the expression true. Although the problem is NP-complete, SAT solvers (like this one) are often able to decide this problem in a reasonable time frame.gbuildvm-a64-22.iad2.fedoraproject.orgEFedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttp://minisat.se/linuxaarch64 f GC܁AAA큤gggggMbi%gggg45fde2d0468d4164e901602b6121591d3705498944a669325de87a27f5c14085df05c06338f07018b71dcea5e341ee40615b357f8264221b059ef0b988d68444c02847f5dedcf757917a8dd321a8314d1d21268f54823e17ef392311d539afe166b205f28c535427c6097812b98cc7a0593dfe6b60865aeb7b296cda8800868058c328f7d252f96b28e2b1a529bc8bca25f8edf70d4f1f44ba75e1a3522844314c6333a96d6e978c38ab70adb6001478e9f3947a2afe4d6bb9664c8dc616afbb../../../../usr/bin/minisatrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootminisat2-2.2.1-21.fc42.src.rpmminisat2minisat2(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_2.38)(64bit)libc.so.6(GLIBC_ABI_DT_RELR)(64bit)libgcc_s.so.1()(64bit)libgcc_s.so.1(GCC_3.0)(64bit)libgcc_s.so.1(GCC_3.3.1)(64bit)libminisat.so.2()(64bit)libstdc++.so.6()(64bit)libstdc++.so.6(CXXABI_1.3)(64bit)libstdc++.so.6(CXXABI_1.3.9)(64bit)libz.so.1()(64bit)minisat2-libs(aarch-64)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)rtld(GNU_HASH)2.2.1-21.fc423.0.4-14.6.0-14.0-15.4.18-14.20.0gF@feM@e@d!c0Fedora Release Engineering - 2.2.1-21Fedora Release Engineering - 2.2.1-20Fedora Release Engineering - 2.2.1-19Fedora Release Engineering - 2.2.1-18Fedora Release Engineering - 2.2.1-17Fedora Release Engineering - 2.2.1-16- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild 2.2.1-21.fc422.2.1-21.fc42minisat.build-id5af7c41d5b8c87f779720e80e81774683ed9ca5eminisat2ReleaseNotes-2.2.0.txtminisat-user-guide.htmlminisat2-test.inminisat2-test.outminisat.1.gz/usr/bin//usr/lib//usr/lib/.build-id//usr/lib/.build-id/5a//usr/share/doc//usr/share/doc/minisat2//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]=5af7c41d5b8c87f779720e80e81774683ed9ca5e, for GNU/Linux 3.7.0, strippeddirectoryASCII textHTML documenttroff or preprocessor input, ASCII text (gzip compressed data, max compression, from Unix)RR R RR RRRRR RR RRRRhttps://bugz.fedoraproject.org/minisat2utf-8fc7acff094f7c4e8efca551e901facdbd5799139fe575629b7923a86299ebda9ff019e36b78a047c8cac864788ce508aea17bd20f76953c85752173b427e5f73? (/hl >P PL¦ny]RܧbXvTu sl뷔ἘM4Zݍڇ5Z|uw=i-71{?n90X!`t082dn3sm0 QAI12P0 ӧ2'hqɇW#XcFQQ##h7K{YB (?N|=P@)(q\6:xX+FCG~P .H7Λ[1:N.6I L&~#O!(;g&+4a$xx0[z6[b^ D*$'PxRINILF8Ç𣘒Kjf&!M?ͱ&.8Nzh&}Qj,+L3(SFdF::gOsifRc](&&%R.[b,QyILbIXRXK,b=eS 'svײ^2i)&ŵ$k9ke:t4K-&s"t=&3ɤĄ2O$ӆkk{PQ6]KI!_?粡Y٤w(yHx,5ae9?L>MGȆa2͕k&dbt |ZQR\Fʨ~SujR,r ϥjG֏W?\Jcl z,*^}"姅,s4es)7gQl~O3rv>(-_tNw8dGxv>999cYt#Éм~qH "/PIy.=[rL9J oGs8 V)ԊG@ah† 7:BG hsF`JzIOP`sTƜK&R\2D0OMԬLGĈwǵzm]5stItKC;5SrPӰ4kT<XUxYTeSɹD*E1&%0)%bJL%;u3~ #<_^70 _m*QRCP26b>gYaSKԳBįMQ3\ Wcּ^b/wUdc~czi1[EeCYH^ DJ@P8r9%hCc$ a:Z9-ZԮ}` 8-BSsGw4s/QA8J}%b*bZ9)ϳy{)6LPOџE"ig`xz׫.-Y[uQCXY/I,pMÊev + Gc \1`s_"S̙B׋p՘g:<1HV1$LT'JEpvb7Eywa El/BRXB`OKǠ'0gF}U!pg*b MǽNh*fUF(nbנXؿ*@= SU:q {\e:`R|a+n;mr&ץ^z]vjBf2c8p3bJK5~ss"DІPLkkTN-V2qDBR>3f=9YWSPenݣŬ˴_xjDJඅ/鱅P汅m?Qt [#}{lW~vc2ǹyة7_*&*!va! 9Z*p/PYI i& G~h)i %!1pMS&diQ3FE@GiDVjrPjքLkdH? */F;(wkbf 'Qlssn?F Jq,1ʔUoq*&" E"yzW5 Y_wEW\buH.?FǴů[=V|ދVu*#jv0b>Z4O=7&2iyYzu?>׶so b*wUr&^i{6w]b/p[k!"]&(6ޏ5]{O0(lvxk;J!CKvx+*OzM B#?*Ms3hTH-ͱp%PD7ꔇU9P[lQSĦf̣Y8&O%UXŋ_ey/ڂ8p6n» mA88U_Ew~/"ߢExC"qm+{:YeqY;4C0a`ㄽ6 80i6׌:`WCAG[y/~Cm'/y g cf|脀W".Hy%dfKDtb2e >5?϶+7aօ8}ߋ{CnQ7:i9c>\j Lq:Hx"8xWT>MPPetmOnfNbLc9#`I2d-%uD==MDr3QHb+lk\D# c GyŌy6n:$J_6#dhJUh pYD,5\oieuu?#B۟QNӏmĹ_Ug՗9nj$<w|}/L"kW(9 cC[%y6ӬLbjBbJj6eׄFSߐQee% Lk\}p<\κ{PV{@ˤs5_t4}h.YPSXPK'K,!DCaoì[; Rz+tF$G m! jZa+py"^A;< VB.clJb)fS*}:{9J͐Rn&:Hj}s :GzO*}J~ɖ_]㓾˺n攻3:&fLhIhrna?gI5Τhf=I ] .]ҝFv3;cO=\*݀U[X;U[X[^C8eՅU v}\/'9_g4HjfI]"p:KgZF;^5,ryz5\J0ޑ촔fɚ)G.d3 |&rueSSLJ]DT4ƜL91k:Z?HV*HO'pWu$Q2d%,=))D@$#!d͚~GNEef>^5эN1e2DCQ٨D7)#C$2$I:4)$ 5Ypb(Rr C!#2'"Rw_Nx]OZ7B})͹C ݾP6lon yzßб![$_| R.NO5wX~(oPMy9[>sd=엘{N]@D 4k㰿D^LbO y =Yyڶ>~[[퀡Qq[RG?kR\s48bŸW8tRN=zRBbX/\x|՞p9:eiὢ~m=puaێJZ⊤7IGnZriTlC Ll!DdG5ݦqU!&lhȽ!h0Ffod; o*qͅt\@e13+vQV j%cb~YP65/ws&)T{w': K13{{eF%SעPKm>F1@ڧjuܮr}Qא[m{)0Hsי"d.ċND/m2 ,DFrk(V`f7-$ڹ*,c#bb-S ^`@F,0ԔI Î`FF`W:\-2W. ,B˜Bf HiasrjEwJ {wͷR|89rm~8ҙ:u񌖻up Pk9OS_&mz8` s.xBf+oJto8M?<-|G܅}ɕq5}x~ݝ}Z1,d,n[9_ZOAu> x|":8PΌw贺Nuvyb߹:s\ʷaU4 ;Jq'w\q]wM9t_us} ;W5gfX3^n'pJs}^ɨp y!ZT|,}6>q8,۵:rf߿ص{؁M{DE_@XN{B:K,?G^!ʧ{g7Lo?הaz=q6wý(I^1|B<`ᾛzus{ huE(bʘE/xZC!<))SXף'4<*ꨘO~}f6&i-sߐsJx~CE,,WI9uܯ[bsi!xc}ՇF|8{i 纶Y6<)*%>UD»!Y;ݱ m[=|ա"/\bO]FГ*.{fr Nx u>Լrk hK;2.p畴8pYNT3os<'@/gv6S;D'ǻ\G[~aj| W߬wNO|Gz{IҖikb.mahr3{Mdp]kpw;!? |,>wB ;a8FGjL~@41 N>,<יA5/fs?]Wēz`5ZC}yԅ q.3b t6R?+\v֜{i {/03zwLʼ[? P~tLeKĽ͹{'NU=jrTfD7elؿ`?|g5:?%nIQu;/qͿk$~dr]۷=ٸ,(Gfn"g8;1^qv c5Pg߽pq/GR"?øpL#ouDش6_sx!2rI)i8EO`ggQ>'a$}s='L3c 0ÁC" א7KVߎ06;|/Fɍ, F←G8ʕxFrɏCgn%˜_{;1}{ٍ3,K!qV19 _rzZ]t^~Br??wgqfV#tDgOqfn"& `j*Fh1.aMR@w'J$Xz#dIAw $(d\PoFr*V( _ЉS(94dCW~N"4@8Pa']ApW ܟS-qen\(jX(\ Ee{C$WaqؽZKt.Sj[euJe#~KȩYByKK2/JZyT7x7V>3T( h;PXEK)JH |{iuLؐM EXH,QSk@VLM)v %Y "8TEGO}A(wfWK?|P%IORqAx/b9]Z pج#L6$daf4:< [VT$DȎ DRQ#O`88?Nu04L-«JXPb~4JJ ~sopS7(>  H C@w<8 GmHN*| rfxFP!Je`2qZ2dFrMQIG' *ѥ)K,؆U@wCJeR\zn%w~Ir-73ȸᣛhlfBQQBabL8QS|0&+)\ÐydDYzpDo@,]7t<0J:,%0!'E ~Q䐠6evGh(NYOZEC4OQI?fyZy ՏWA*JKT*ٸu G@dBEB llHHPdԀ#O,'XXSH_b eqd3^d_kr A,ɼܤv|g΢(UZ6AM28 ?b !=wiB+Ƃ7AX7 &$μlGd"/%2Ix RL y)dAΑŏ$<^?icË"%#5v-SNR $M; h$(xJ䔎:( q(ID'T"u=;|"D"bYx/^UG@J4vDiΛ/$(ITR=a*~K-Z.mݭn^s7ޒ:mco.{vF?bKci,=owZLW+Ze&⫓jgپwkEvMENѲpl7{mkh٭.7gizuڊzUnhn˅Ƶn=m*J+bh_tW-2#T'cYܨnSہ6?u<^c?[?}~UJ^.j8ƒm,՚c5aalϴ6}uy?i*_'g}<[p?}6~cl8j1ZK>-n~=?TVs^Ek}mq7}_kssf;t[4qV֬f󺘿c.~ W+M|] dgѶUVeb<~66j?+܎s\Gq=_{3~;.&o4yw3nw~a>y:_[op^]xuuh 6uiތ}.mǓ۬;MR4n/}&FO3JpC9MIppw5WJ[V US7$%ŕ›QRvsanݭQOݮSN%zWN֗Dȡup + 3(vtPTr}!q3QQA,"8+v5AG<3<)ACq2(=Y6 È.,6S9\:?s{oکy;'8\\uY\Y\ǍqZ8Ϸv:kw >=5b-v ǾvvAgT&0gz@pML哪tb!X`6ϠߥUc׃)ryvvRs"- M3h|-蛠I^ Fk$}&QE  >ZG*zr FfӨZFoR1dEiH^T$G1RK>-fMv->-%pBTc1˙/93,/M5[jvP0ChHfabʔ#*Eb@pQf}uQ0P^\ ~1HP@- ߅U!D|=o%F9TMoAp1G&؅OA=b9}).$pbe(˲؁Y|TB sJi$Gt}]H6X@\C"97[Vwaf|z5Bo(5#QTmq ‹Lp25 @?,,g¨*䘜Dci&i1tg@2We:x ^TL !#RT,.e r3d 64#vMttbrXr:\BgH61`bÊSø %2a(Bìa _KCF1M*BBa! ul,Hs2> rYjsRq"6餘Dd9] SꄁHQ:Ƴ̕p"I  pj |rGdH!cY,QfPD Q"7FTcj0qU y*^MM5 _{( oo4?|`an8o8V@٬`#Nj jh A,_Yκ,FN YOG8dk;:}xb-Wu:;CqT4T;=IQSm+֒2l*Z̋V[z]uf/ֽ9;ނ`G;y~G߫UJոm9YiV25v ,+UU\gi[jB59톽ON{s,_w>[WjJ\f:XZU|ڧwsorϋZu~B;*4g,NcS;5ES]nRxûM{,9^ƶv\J q{}\jhdc4֌rTl]Qp L*֩~oRNY MY'+tzttde6 *#J#Q$C\EF7H&8*=UZ#%\|V*um'F8|@Qr%/PJ \vHA39JD %.3I٨!gHgЀ RLA6`Ⱥ#K,>5L1O"W.;"(yթ0sTkp @J Jƅ%MW@'6o>U;+q lȲc̗Tkŝ`jp>$ i9sdoHg[UZt5 Wt2r/ 7&H7&D ҩlO&AD//4fHHr&QiJBYb-JwUFG uEarrr$ 4B0V?+~!~D:\ĉUFBE[ i>"#Tah{.N'V)"3Hha \۳,F-L4b #HD\5" sk+w?1Q捡"4%8^;~>>7̉hiʫ(n/|3bTW!a%MO/Av`YyCQQDޔuᣪl y.5D+)W IseBHE c̟\X(0H_n1PFR75z\.&("4? 92wrES: O,ւ/0Jiė=hx*-Ob109f6Q Ӆ y`~+L!b&e.P9̸*8JDQhzgݮd y,|.ZD5rǡz5C;֟Ҳ7i2K^e/*Ƈq'F.c&l^(ˑo$'-Ʃ]$oIxK6eb5 ؈ktf c H_RT?pS&`bf ySFq c8VVi-OW$7~b98`Of.v?D^ Y_W6% \5A>-; R.c P5~Ic`b fǹ@y&2+:3&QxI,'eB\[MǻY]NM@6U >p+퍜 hb&ĥ6;10E sO&&,1JZEE!>e"rXtѓM A}VZs}+!ƅv5&?YTSob*{u7zOQNԄ?zEa뤼! 9хl$xmS}טᅄ hiRH{HSx Ok;$Ɣp4|b2c~O։> D*9A (VA$';ڝ#ۉ4m%ŹkOlQ*oXBJoAf/u|'g},i <`AqS.-|XV/dshMMlmLd>3_$ >,`/wP/ H>]GѳS AI`Y)S$v BmP~ ~J+~xG j=5B̋JI-Z1bDąc.{~ڿhwxAH#'\+ k֋}M$97xV3|ع)#?Ȇ+pĪM9}Q]iN1ʙe2LYP 76?ݼ?YXo]E}#]K R~7)ڧDT8jEQ: Ӆ\IU[2zVC9[oi ?l=svtp;sš ]L06yh0^ ;JPM-X޺ܯ'q@ֈynl LmzV/'L@wj7jӾbABd(D<8^E.ޭgfGܝ{;>|jHC =iHti<r7U X%9)Th`,U >{hY>P',G1u fDcTTO]JKl=o4\1\%}=A$kPfa'4A~ٳx0〛CuxNKfB(Uu// UlWcި<<B̴}&q%wU`:<7Z{vIIeYt8$Sax'rlmv-קk@g-dE4)L >֙']# 뙶I+-LEŦ>PNȭor$ß6iAl iTQka(E6'qP@9ث+53pe+ &Ą7 Rt%b{?尚̓4pj Bf7FMׁK w Sy+xnf)D^v~Je-~FLiΦHG?b 1 t !EkY--Sx&~z;\TVD}gq[? { j˟ 0NݔIȲCω1v[$0m4:6t5BA P! &heEe}xa ChVߣrܨ.LtRcş7yڇ iQEdQ#P.qI:H*pUËCAhZ X60C<=*s@"*JEQ=9}4f ).s1z`^\awQ5ѵZIa i/0Ik憦:Y*)R,̄UϺy1~1ظ$<oʠ1{(Cxxl }{{ j^W`;=vv7, _Ξ:>A0%Pd|A(0>X|=xy(~d$cT[?.]?spum^"JGJuݤaQt1eT P)˃Nƅ&5ceh+{zFQ߃tƃ7mTx( Tk1qwF9/L[`x0n )*iFI ?Taᴃhu6ZD~NH'Rw1>ރ\sM7RLw YQ&] Wwئ*d`+=1lKjy|/!s4:+CTC91$&a $"_. l7loPvD6a]:4|`361 "K ׅ14$ Ӡ=pp=~ 0-~3n ֭uXP"*EPq{Sb?=t*4m&À>"."1`ahp(G')_umJ -bnC}nxv폀io%;] SYk&(Nqtzs Ƣor q+^7i*aN{7–H93h QqGLunvHnS4C<ʍя4:8Zr<?wFn4EFmbiK<ljvQ{2h#~TYj|X5X]Vݶ(9~.Z:[y{s`#CyQi*=}ͱ;oɊ Ĥ,}q̈́q6m:覦| p^HϾ" ȉ&n08+3pĔLbZzB9>䴿C o$2>FRUjb@7W`(ݰ<UONԳ93y2@k@|`n3U3=<`Ynm!]iiArа W$ś1GLVfqQ* RSl䮇w@r(-5gQӺucV5A%*AH E1a-\0 EC*'C~(΍&'w^6QtѼq`Oc6kX+?j0nc;&03\4E~FS{48jF։nrUo.FC[y+lȧn;hD@^"%or=]1ϼ]?f{NJbݡjG$p.= If 0d6]Tp+W޼lF"-pB;7Ӭ6'\񎣫IZih3@&o~^