minisat2-2.2.1-20.fc41 >t 6 6_ ptx 3!Flض zE>b$bjf@ b$bjuy[Ski6+ vaA%jjŐr;9|ˌ݌ʸkZ(=lLmSP99^.H?JT{4N]o%ԵKam=Iz؝> 4?{U:˅_E2^Núӯc=iP!qiJ;I+^M& D´/3N=`sl(["dNտ8M[R xM]B &}Sb2b/n=%SJ]c"\`DX!I3xԡX>M(\&GK"V)ib=ᕡ'=2Vn6F0GЬVi/`v]X&nwTEFn[d'&=fHC`Ҁf[~>uIv\>x^a)Vd< X M.-€DlQXoLnR(fӆwgZV`^$;ؿ=.6*ApwCA(0fb37f8978f7df390431a9f418f0a83a3bcdbb37b79317f501d80a42e9f40441a9695906890e496b4703cebab2c85ec78113f28f030204876d743500483046022100a6daa967fc96b73d3dfd0dab4c40e801a06049b2343539003aa3b48871dd828f02210081f2265907aac635f79c7d079063fdd697657a3ac6c84f5deb39b8d3135395d4030204876d74350048304602210099938b4b6384d9f9beae7578bdedae5ea053fdef8c8acd2bcfece1ff2f03a14a022100eddaf412c919818263f810896b36759790cd9a97fff49de836ae47d5c6cc867c030204876d7435004630440220434d400f8666a428351c65eedda038acec3628bb6d5854c5cad8f744330fbd4402202cd6d31d9576e9e4c9e86d1539e08ed46331013f78a700a54c2b09282e16f2ca030204876d7435004730450220612b6c69995c679b21b61d42d1a48fffc58e35d06ec1dc2f51167c82cb03ea03022100dbca4512b4b0501048489b01249bd0d179528fc54f1bafbec16f1c95c34d0728030204876d743500473045022100b0db34342d6f72513c0330dd24cfa3a7c8899561ff83742b233b4dfdb005771302204d37d23485abf661b5538ac81df135c07b6022afd9c111c0bbd63ac88e080810030204876d743500483046022100905c2958c6d182bf36ca6758376c4354edbfa0ba8282a8345c287ce5b86df316022100e3b72ee05a2729bba2468ffc28146550a21789026ca88668d707465a491fe4feQ]dB<êac>`> ?d   18<dhw        @      J | 4 f( 8 9 : |G 4 H \ I X Y \ ] ^bdeflt u< vdw x y@DlrCminisat22.2.120.fc41Minimalistic 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.fbuildhw-x86-03.iad2.fedoraproject.orgFedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttp://minisat.se/linuxx86_64 f GC܁AAA큤f[f[f[f[f[Mbi%f[f[f[f[9e557232003aff0df32fc5470a4716351b32139e63585257527dcb6a3130d4abdf05c06338f07018b71dcea5e341ee40615b357f8264221b059ef0b988d68444c02847f5dedcf757917a8dd321a8314d1d21268f54823e17ef392311d539afe166b205f28c535427c6097812b98cc7a0593dfe6b60865aeb7b296cda8800868058c328f7d252f96b28e2b1a529bc8bca25f8edf70d4f1f44ba75e1a3522844314c6333a96d6e978c38ab70adb6001478e9f3947a2afe4d6bb9664c8dc616afbb../../../../usr/bin/minisatrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootminisat2-2.2.1-20.fc41.src.rpmminisat2minisat2(x86-64)@@@@@@@@@@@@@@@    @libc.so.6()(64bit)libc.so.6(GLIBC_2.2.5)(64bit)libc.so.6(GLIBC_2.3.4)(64bit)libc.so.6(GLIBC_2.34)(64bit)libc.so.6(GLIBC_2.38)(64bit)libc.so.6(GLIBC_2.4)(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(x86-64)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)rtld(GNU_HASH)2.2.1-20.fc413.0.4-14.6.0-14.0-15.4.18-14.19.92feM@e@d!c0cb?Fedora 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-16Jerry James - 2.2.1-15Fedora Release Engineering - 2.2.1-15- 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- Do not glob the library name- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild 2.2.1-20.fc412.2.1-20.fc41minisat.build-ida70d240fb6ee6daf4558ab879782e2342924eeaaminisat2ReleaseNotes-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/a7//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 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointercpiozstd19x86_64-redhat-linux-gnuELF 64-bit LSB pie executable, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, BuildID[sha1]=a70d240fb6ee6daf4558ab879782e2342924eeaa, for GNU/Linux 3.2.0, strippeddirectoryASCII textHTML documenttroff or preprocessor input, ASCII text (gzip compressed data, max compression, from Unix)R R RR RRRRRRR RR RRRhttps://bugz.fedoraproject.org/minisat2utf-83ddc96cf3f712ab4ade6d2ae5986960df18f05fb9f772a7cb6e47d1bb994c58580c697fa6049ba0936b910ff5cf6b5c295bbcb9173a4fe771a72ea64ec0d0f53? (/h*uALP);}c뇰k\!TJ;uz=u2 ̨[QnuHHZS$20ԭvLGxE;#7qfUrܫ =+&9LAM8}m„fff&00JfFъ[5dԒ)uD5I e҆$+xAy:Jk+KE\NiMjw&XZЙWs:M閝)<^ F,Ri}x^6uzn::ty[39*稭%:\vnCc1IWUVq^}z;u GE}JCij*h~=? tMh9zk6t FK9J7:>ySzG_CfZzCSXx6Wֲyӹ@N|/ ԏ6nLLU BԔ 2j!\}[EJp^Pד/a*ets @vc 21 rŀg$GZ/|hxP)&ESSQ/uthzK=~HL;n|:㷳~20)o$&NZh|."!(,Cs2FgOt00OCcJފ1w!p"BD|q{6nfQIw>DR*- R*tBa )mPn*Hcr@WSrqA~= fvTitU?'L0Y{s?rЇ"}`>>Ԏ[0 ch,fVQI謋KO_[n7pY/ t=iGϣ"oM.˚lyD?jKHOxG&*|ޕRc*,V.砲/(ZE2 'T º7 ۢsjGf]@C廄_|\X2dIԞ\%"ߓ0.XvSw5v^2!T/w;"*2/M"LɄErIBdŽTA2vZ"EM!ւ')D]7Nd. ^Fe;6zgкU6!C^_Wko𶣼Ú|źsM0T`iFu e'JsS "$6J> br~ڵ} A%7%:8';Upʪgto3Z-Ԏ#tu;"%-f3\D?*<]~65+/qrqF"Hؙ7Je+^0fP%zMxF8oI+ѫU9!wDB~#D]ߋqZI*"Np˾w&13*LNW-9csDmh@1'},!vZH"t5Zvv8+?Yd=.A.3z.V&aGY̿\KRV»Qy4:(\ bPixJƀ@0Mx<.JO1Wg/p~IIl?r>X2w==%Z0J N$ab ,S"8"f `&ɏ'=DzyI}tUƕldnoBH-4DˌErDr]HlZ 3U/Wab, ^fv}SrF$-~[ҥO $"j$wpd~ t$˼B[;[zE#ĄqenՐ±)HU@΅ە&`"F8E*;R6y-ЃʑVE2P6yָi Ibd 3sȾqǵ:ݺ[|Q؟p_l3@c;@++mRp`m q@ r{0D3yWkV*Qn;QY{x IZ HY9ZƩ+SkD*Lq|X=by[=7k 'iVFHfPKPЃ/O1IaW4$<~{B[^lKg]xyGnR\,<Z8ٽbTG 0Qx׼^#qd[ onX,;L)[/ENnOfrWm]m]>3"AXy>CԂbB59&=J 5"x9\pD58J x6!x:8hfxEf_ >4hRDiCjl;[ivvH#s,u!Hd\b.N|t|&/;+.8@He< eu?ag18ZT!*D;~.+ !H@404{5apF/$bGfBv Ad kb$YB1;J_1Qw8:T*2]ᳰu@T5hV.bE>>C<H/~{RP[ԢkÑS  +KMJf @v]E|xT$ڋtL) Avz@|H6ҲY484VOH3 :8:*I#gx$g8جWcUA 7@M 2%Ru*PzЛehr4{R1!~V$MNV&' `̜1Q$H Y{8~+ U׈WN A5Ja ` nV<ܟbhάCl)|;Di[1*=n4eKb}?8?b_},= `U}/wZ|! Cꕱy-oGIҟjB,$r*VR-M̌B.c\]Qe'=oO) O?¢ZEEE0׿Bk 'RKNp.ad?m*gsA0D%}'pNz_o8Sh% C'>Goi%d5SoN(NRo'|jo\395C]6Gaz 'NJ& 8WYD6wTtiDW t;Zk|08UàPCyuy^5>՟3<6^6\:먭YUI=lk(̤s[Q(ιȩZRY!k0]Oji_Y!uNkh̡3^6gyzS8?Cܦk']0'q4D uچ>7 f0~? }pnOyP\ScE*s[,5?`*C65 3X\tw .=4f`:1 kG=࠼4-- YXNn1N0;skc5"`XEݞ+˰OѲ+3#e@ c^{g+q=}8Hv?S# 5 񨣓FrX*FD$tC ( vD8a( !F sDD$$Ky8+:5ɧÙTYc Zh !'yLHP&/:rf"p2tnC~r @{ q' | }~P&c瑼͢V ae'@MȓY 8tADCͪ"g{JBkKB0u@Z k ȵ잫)&{DRa փsz{d#-Z@eφ|aS?$Do,HZ$^^em#X7X9<GE"Vq 6 @jI\ @`+~ .g31 70hKQ:U94|;[*xEz/k^mkXni wr{F|&$NBsЧ}V@eG N(^ mיU1q@8.'˪ K}K-NX(A /E ^zٿ-D-JEީ͂>OT0|#kiOڏAtJ&4o╼1 cFz{YPEΩO#a] /%fm҆ m+,+?k Yfw*HFdoYMev|S*AwӎT.ҥ ?bZ, yod>0ǡG `vek|}xO$94M2㿽Yp}u'&ʏ7*,*52&Z7_J~ޅف-#o[ܠxWV,\eHCa|6GfNJ!YKoStFXYd ܰmYH_ZyXݠ`\)sm LBoR?ߟ&XuY @{5 3$q[!zHn);6_n2BjSt˘ AӰ/H {ZF Od_ H|#Nq҅U^v%bT~Ѹ&rjOI"ߍ©ܺpQ Jug-|[z_ĺ*2katU5)sXf!ĭx=OS!P)]N6s|\Qi32:S.[XuQv3#?iB Ǿ~-@~+Z$utr>+BKO{2輴 U l;e,ձ$0|6Eq{plz}V(#ne0dr439$Ɍf=-M?rvl<33jTRU:F~TSZ=f9OSZ׾*gZn>{G5$/ !OncvVvL^ޕќ z]# a|Ard'7MoPcK>2(@>AtC)dTnBoMj %2_E1dD5ƈ_ń]:181*I޻7浀 #y=d~6>I[ N,Cb,mv8q+Uٔ E#irZ~&gu%H8bVHp~عtKsi*s#btZ \}EW |@Ӧ6^CP\On,8f^ >D33VUT]45{E9$eOrT  aS(N18e [oOV"դW: 8ۊ'`i@  / m9JlX8; :eu7rB1˒7LSwM}mvgf ?@P!!>O^9fB|,E|0B`Q4+* qȱT-()i? @!ie-M. "Xz-t! yi`*HYl-nB)b_5 KnKT! 2jCED(R3 9JU@B3&HRJ$V-opņX5@ s,,_fc"@R!@ʅN2/eQ8y]*䏩9P Ix5d~ }`՞u>|lhyK1Ȅ™ Tp < I̊.4^(ئF6@;ʚ .A˖FWAz~P!LC+1{Œ?U2 -v"Y,Oh׎8 +sbV|J/ѦL\JᶹD)/B?TqB(|c-xauo R\~GwE8ʎM^,&.rv1)d`4%K{fɃC&t DN ?2m2 3'A|fDRFt<,Z=\"'S(UK+Q~#"K!NP@APCPD9sjdT2ssBA t0=BH:>1ʉsaXM^ v(dl39+̒/T  PȥRz[c3*kT5ˑY) {.U8M%ޤՀ3g1gyX:6VZR~ pW4t& ̌X^lGdS-bo[ Eߒ!X9I [ Zv@,0$1++t)٢B 7)Cg8Ϸe i#)`qMTlSW36*[6;\K1kkCg 8MTd/k.L]Jаc+D1wsvmA 0D1 @&@7l1 e.t6Xy š1\VU Ϫtk(ٰ/!٢k)$ h@3MsAnH}d2 h@2P8c^f~(2ùɠo*)ĤU\)"Dx UApG 5:D24eSH4JNs\b!fRMR$,/H:3]qmjT^t+ dլ|Dr8j>8"y5CA |Aw4zrv2 ~RPy;S5> ; p``gM攋^V!TDH`'=a=um G dO;?}:"-8a$MI3~k&-Q J)<}QJ􀘢zQ.F 1:sbKej_?]SmUb-Z*9=g_??eZe!Pb\ۭ{4~ж[ mjklpڗE5e!56M.ԗ }ubӷt;kuvկ9nF*s,ۂY\4W9{q+h4=o{Y۞笟g^kOer82v/9o;4}Y6v-fO굹c{^.;Ǽ+-<|-{ͼl:6~5s<6w0mo).kQUTr}1z>ݍzy|RN[_ͽQPRPQ;;< _/M{-TY@\FG;i=逻;9cL2LJ)-Hn|PxSi.yrDs`,FeIAwSuU.WjkL;7ߺUwם׬םVZR{*:OYҪf3XX}{OW+.Vkr.w}{o=ق{2|<ێ*;Wղbq -m,N;2`shidb`xl%|N7f,ֿչ.׾suTh?'u߶j5k7u6۵Mӗ-|ϸ{~u_c::KkaQps K~:ڞW̥euoTW3羟6V'[cܧs~<~yRNuvwjeo;Y6X2Z}Xn6!P}}ǻسviY=R~Qg%2ژ5柊s5K[h`aRyS}]BFyOܬjs.Z5UT koϺ=;w?b6{Wsncab&_kj~4 *h4jddde# mVy]M˃yv:e4~-qI 8X0KSoˊ6N*mLYTQ:RUS hQP%8s3V.uU*IbWӑF,6%܄a HYqEgĐo]r|F >ㄠd-aAii ڽ<4.Taa m% 8Y\#hcʌ/ u͊C pXrP f*8E$c!FohF-E4'Y9z|9O18nK rD%(~GܜPWR'Y<Y!2Ђ2+\TMM 6s'CIJk툱?B(LxwTqѷ Z2 Y֓ G36>SӚpHIr[ g(-L˛z䤌<*#Kذ#Y箱/`S d-7:>#rIcVw,Z[CALPccX|I=$]%a+zsgOρQ&KX^lETǩc~DG&?wgE1T:KbP0(4x NOCgA -Ꮾo(,=ă?UINp|:}0ؙ}9 8@`J`J&zq#KN(\kFvdȞ;fI:;v"++zYh&%mja93@ymo`T)Ym) coX]$WkBRP"N~CU89% vCm !Vá%粎u#PxWtf5Y<ϕPG?N"5XnzXVF ,ԄݵHi[|Q]Pn)գ [9 Z14%0"VL'ǸV7T\^*?mM{wg9PL]҃Kʃi}|H;DSz~Lz WOwLbE u 8s֌Kp7_, ܍i3J9W.¡FoG`ÑoWwsK]I ~*Cb8wT ֙3iӾ$"wgy;$rpYgς%ms6,vc#@:'ei*Ϸ;'& ý3g =mr zBSBߓÒ]з+] .BnDe<@z (#}q*m91VN.p(O pLLʑx΁sWr:[| H2"q_=hZ, ٩Y@{t :J1qEn`4,ׅ> 5ZMs!oY@ӆ:Euj2չt&$sǰ+WE #W"5v`UG@hl$6!'&yǣa{^=W2tý/,O"džMuqs[uDTb(Pek"W\%Ui[ WNbsht=qfqڈueBDoVE58MoxYqlA3X[#'ϗ[Q]kcwTDN9PM{DMXV^6'3ytx\)Zzl.頌du4cτ䐈lyU&OQ ~Z4wX`8T zL2>R\L~@t\0D^-&PGY+92ɮ~^M]+CD|t\{1R &h,WДK(矠Ka2Ḙtڙg>|l`uE *ۃ=fc@ĬP5պ3H ڑ6Cέ;5 0s\`t@#BHq ; YNaPvh1s@8ģNlٸP vpCqX cն~W 'p$=jߨw/>Y@y̛o1ׁ$jXv:HPgBP1lS}!a_PS{VS0y=`08~[[YKe=%[Reߞ*{g8P̂|"9*S/ ;K.BS.e+Jԥhmt