minisat2-2.2.1-19.fc40 >t 6 6_ lp63!]W>D] 'p~[yeS 'p~[yfegP"M qRQ_B$So0 gxЦgɚ`d dsͥ.lv"F3T=$͌D1iӵ˓*Cmg@B76~ ݰojc&ù'XF/[ޞ_ԚB9(s3McVC GE񜈛#ZUByVp\̵NA,tUjK.Ce9>p޿LxƉ%6P+\=D_F\],%[DDǓA&X(k:PP_o{M~UXB/_賉^}o=[?ڨg:=T=ݬ:/PVr95faa49f2aa5c0d2bb182059d3df6fa313c55f29b220c09f311e509a87a7f47b365c4aa35ffcd6251097ef58c58edf389b1c4d84030204a3204a9e00483046022100f91d856c8b887d1ffd338f1886283475370fbe41796dd90efc591431900b89ed022100c783f9afdb0dcba9673bf1527fdf1d12c642a2f3a5358e06da81c6b0b4cca073030204a3204a9e00483046022100f81c9e7177a2da78ac5c4151eb1a0ad4dc46baf609d2c22ea2113de9b784980f022100e036c2ede62554bb381a88d778ac8821056d908a421832a911b6e43de528ed9a030204a3204a9e00473045022100b35b00f3a04b9a4a741a153592a1aa5ed8fb7e0120439ada0b9a5ec4d68fd2ff022039c92ef9480bf84c8ab5b34f0e9f37da73a6b9185b302951d427bc4f4db6c798030204a3204a9e00473045022100baa38df1064a1886654c134b968affffd245bd0bb5ab7cc54751e2d74b37922202203655b643ab360aeb7924fbf00d39a01b008dc1e6a5a3154cd8b453837ce6c32e030204a3204a9e0047304502205bd31d390b03e28938878aa93a3da1b7e44ecfec109f0c55bcdaf7f6f3f45400022100bcd66e62959a2f610d24befbd4b9b521762d4c2b44941826eff79b4f3cf52812030204a3204a9e0046304402204bb687b7b348187a6c8a20c9342ab2b0e5a275e776711c954f513dbf1ae82fb502202fffc286140b87534ceddee8513e54fabcf0e29374b27d36914cde4f114c44bf[3!]W>D] 'p~[yeS 'p~[y̋8/Xm2#fx@@pU[&ENX88(Yc* ~FTVȃ1RT}ֶ$h#Z:5'řvX u_I7XU'~0lJk{&8ƍK%D6E=[X.j#G|)mgDsaФU?5LsP$ͫiNj#kxy%2/0eTi/Q#mfFQF(Id!A!x˲5{X`bԉMYkU~RZb]$w .rZmB0n0hY8!qc 4D"hI-'^+s֍¿cprJ|PEʬj:qDVLwa)WAoBy-Tj0&ZWژ/&%MGՁ>OCTsy\Ғ 5}uڌڲ> rvjLt>`>=?-d   18<dhw        @      J | 0 M( 8 9 : G H I X Y \  ] 8 ^ bYd e%f*l-tH up vw x y8txCminisat22.2.119.fc40Minimalistic 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.ebuildvm-a64-37.iad2.fedoraproject.orgF,Fedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttp://minisat.se/linuxaarch640 f GC܁AAA큤eeeeeMbi%eeee7c3fb58cf5f82f82849c04a6a3ce9a05d3f6287daca296a6af066a858466857fdf05c06338f07018b71dcea5e341ee40615b357f8264221b059ef0b988d68444c02847f5dedcf757917a8dd321a8314d1d21268f54823e17ef392311d539afe166b205f28c535427c6097812b98cc7a0593dfe6b60865aeb7b296cda8800868058c328f7d252f96b28e2b1a529bc8bca25f8edf70d4f1f44ba75e1a3522844314c6333a96d6e978c38ab70adb6001478e9f3947a2afe4d6bb9664c8dc616afbb../../../../usr/bin/minisatrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootminisat2-2.2.1-19.fc40.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)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-19.fc403.0.4-14.6.0-14.0-15.4.18-14.19.1eM@e@d!c0cb?Fedora 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_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-19.fc402.2.1-19.fc40minisat.build-idf035fbe412cfd5d514ffce9e51de9a563d2425e8minisat2ReleaseNotes-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/f0//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]=f035fbe412cfd5d514ffce9e51de9a563d2425e8, for GNU/Linux 3.7.0, strippeddirectoryASCII textHTML documenttroff or preprocessor input, ASCII text (gzip compressed data, max compression, from Unix)RR R RRRRRR R R RRRRhttps://bugz.fedoraproject.org/minisat2utf-88a0e8a5e3e8902114cfc4f9e19051a1a3a5d8b2e79c92b5e20c4d24e135b1c10fe5745d0b29b88f6b38b9fc4ac4608fbd24ae6429a58719d31fc84f5f3ad4ed2? (/h2:EJmǹΠ`)߿#=x>ֶbKJۖɲ>Du1)N7Q6YȢ1R-)փUsS[MƼxH +ibl\:Uz\XZ]"~(%; 00`A/()r ΕA_% Hə^ O V' 8V~0ͶJIҮnwKVxZX \ Bp!>Œ>~J_h\齃9FR6\C03:ch3|uhY{|֮FsV3klEJB>0>T vn\C`,aqu0Ǎ$d?47Cǽ;Ox︈?xէBhu sӷ|8( ':8672sB惊DᓱS ;\#4 hN#jԆeZim݆yuYC4QyșIer㭯jJVceYH<Risfݑ|<Ӵv$R_&(iIM 2J:\t;ZwGcLH5Xc}ʧi6tXGԪμ5ZuLW-kTD2rUrt|o)g'wNU{,6ɭr4/X=ԩCq'bʼnc1zC?a(t a:_#Q#Y 3? Z﬋!x#/͂H+iv;" 2wNMIJnX)CK6<z8lUgUiZޱ2ڽC\4bJun:BtwKn11촡 0.Ĕjc&ޯ$sa_t(XJ;WjǓvvyҮ+|A^% :׋/<%^d>*#ͅ9b8[[1)FO<”mx@ Nv{ IˊyMv֮(38M#@LNU6>6of3a =7 \^W/kvxTV`noJJ @Yxq7wK;ףp.\&70lq`tIN ?QЊv =גP$2eF.ַoX3틙ska[AK lP4 ,$ڌ_~G->+t&EdDA{0E[+liM HC=9I@j;eIUM ѳOM?M=?+5 ?$\Z~rwPW =Wwgbxiy?Wۧ;:fDǶZd:H_| #2W3zќg(_+\'ni_3 f[p62}<劣e.x*bh~f8/ȴ+kE8 _SfGGvϮMBqA)j[ۂ۟s߂f˛oTshqBw%}η7Yy]'ZJ|t󂮠P!*Q\x~_z;q8 tuk a\kdn-¬6X޼tد לsoaZ }m+-a2zb?܂+Hwvk9X\ՐL?O+V/_}?` 9AfD$I RXLmƒBNj? |,kb0V<Ri 3lYΝ/eO\7ftˋ VɒH޾sdϹ `9ʂy,U@}OM] _7cT)Պ-N: >.vHw4<!*}5X\]`,CqG%R CB1T (hOˬUO:ت.a\8iu{aC=aQQ?B~>BxrG(.t;fAW0!K[e @,atB@QY K>+ܐ 5}2!;mPoDٮ! 4 c˽S7_6X~i?OR@@\To©ni+[֏iCڅ&iChWIt"Y]oUnlLGC+;Q?k؉S8qNB7]a~mV)O+/Os2eQzɉ]|"Ezه3Դ?e?T5ބjF2T]Yuі7_0_;PPLf'( ͢N{'}2`߿5nK_{t߳u;[?a6i@q\Rl02s>HE(VcH ݋Eu͖ 7ӒW٩ВUAZizP~~K{ ͏~2i%F݊}j4R? H ig&aO60d;a6!ӷTi6G"oolBgǭ\pkԅ q#7M-0K|i2=C(R_UtfW8(ӕ ͏+#wO]HY~ _w³u 9=S!%[gO~06~4V~ l"OKH]$L4hAj(#M7G~.2v Ұ=u͗vY2mʪKƚXY6S h&JU|քLiΤN4֠zfJ*i,GRM pt4>$k2?Nj>ꈕAuAe }{k^UJ)Vdr]_wy؍]gyKɠ+XzW[]'?0+1"CZHCڬWR |uC=*yg*_s98h*KbT&TAbi1ByՉtt%8/}k5zm'k.7E J1"I>)IQQCn`ێm[X!d@-.* -@Oo%~ޑ^Yk)l}Xqh8sbn)_{D"7sgsiiֹep~]r~(g]$G`L+7q~j?Y͜I<'s!h]ufmHКi#1a^o;2K}4b-:U0͡M1&T,\b90c4^565f31\q#~7ρzztbD0?<OWZ9\|Ýf#5O71OeO氶%*g^K 3~ > s7z=ZyPkU!B bg7—ҳ@Ư~sZ5ץuB_N-?&C6uʽ˟^Nj)lm+%\'wURPc| ӻ {@WmfýbwFœK| fȦ"ci2y.-Ȝ2COn>'nfb{"{^g>zx2+_OZ}g=BΒ9v5 :2Z WT'eq"f {fo² 2]&ف'Q7go~96̈sԗzO܅vS}'93E$ƕZ{Cqi>,ΝD=[y~νs;@]I?Y@!xIcߡ}zǬ\¯ PDєDzuVdkw3vup\7O}?%5/tǐtzߺ6af%1 1%tУs׼_H3\c9}%yNy@sF}MHD_k2NbYl5vߣz~׭roe;A\>ӧbiT4Pp\qiS #a"anke/9ܶfˬ=$AI?4,oA~OȮbFxߺc}:vAqyyᓺ\gjj2z.3Oii;o2ɦm8](~NK=\u8 ]fP_.;+Ib_1/_8wz ۸otwZ.UΊK؎ 3ˋ@ߟ.d (_^s{k?;Uf&ϏEoh Xh{4^#J6Pg oyqi L=C@ u8 Uw3,(f<sh^l~u+fp-.(Z Ht4:?;owŅ~N$䤼/zQͫj277`$oof@i&YsKfvO9hi[%Ѽ]fƇGFn&48fo_OӠ/ǘȡr5_*,l_zY9ݽޘI{^fs({ŧnVMOٻZㅿovy$Dl;Q,ivĤ7{(/ͫ`}r0Ol#/QrrJJ:My_DH-EYz_<눫)74b7&ϭѼeKB& +j\G4f.Kl;_b6_o#^˫+8zUI_[+1M&Kwι0_zj}c+U4_ǾwAH H{@$ISzrEĐt[z>A EЎB1;Vr8pPA̰.f*C!0Jwo^W H0#^ Dm&/+K 2*s'"n q2}P'~ `rQcD=5b%R+-RI<,DWTX$PTEV A xtHӠT0C` 88DGe_GKD [@p@DDF`L0,BBNO{NOCCP(t,DAL,FGRB -4 BCCEPLUX ` B @I  @I AF4<,?G p1%L}L   hlP@ 8Ph+5 hpo0 x  h pn 0GA$3a1-.debug7zXZִF!t/w+]?Eh=ڊ"KyηQwV|>K1ڬ(&(%`v* 68G.Na.uD%aUb>%0ɰ5y-Q}}:kӹcǟ4;V#_q;uEo}jK>kGW^\8Lү,qԷļ! :;/]4FJ-B:?1`fӊ/8[YEp-DӔ/)jRP4<9Ӣ!"52sL#`y/ 0rTX\z%8O?TQVVvHioR.hEZlY,c eߎ2LmO 0؂[7||'CdT}_EoaeKؒ\Lcs j32Z ċ#C_)>|wO1akZ8f.4o j{rBNcG'׌TΥ3MOo~[8vkHbux ] 'CZ_š{M$'S.E:lWilR5W'fEE't?b呕zjH >e~a*|O,!'-K=fj]}(M/i8<5:u͔yQhE2Ip.[JXLщ,vR!1nrάM  d\0p)$[M·}*Ke9 P]w>D(4sb#LQlVÔ4|8>Ҍa )(Xޢ $`)qf:5CK_YCs͕ _w4xhW&N1z%σ<(-]i8Զ>Z< dg{CiMYcDc߽Y vU5J.+8ZuK԰MfdƄ{^շ(HSn23K3Mz% #5N&hPbG,y_gT(H{?3ԹuJ),1>#C 9񵐴W_8r%0MHC^րJcA?eIV>O⁗0RU?C]msZu+ O`2*({H%0%< ݐ4\)mk/m* pV!gB F?aOf'qbHVO,!(KxD'@Ѷ+$=6_K񙣜8\Wk5H WM :ӗI\G- N]:‚_+eq 0mgYZ.shstrtab.interp.note.gnu.propertybuild-idABI-tagpackagehash.dynsym_relapltitexfodata.eh_frame_hdrcc_le_arrayamicobss.attribute_link &X$9| GU0D_ x`g hFD n!1ʱݢ3b0QH  JJR°8JpO2IquiQzphOسzïcN,+Ob @BvZ"ẏáN"%nZ *` 5R`zjRd`#xʎO ?FWlyp rAjN(@:xl <)'ہԝUt.]9.VrAnFbl܅[z<5Dby)lItըR5Z@vJz噃Rt,;F{4x}X޼Z:+%E{قiI<8O[tڼad4:$I Hv,8p,&$KAJ $ZL`1xpP`H0cJAqxq#%B")Jf,MLo!ĽTzk*k GS.S>*Mk-AAxZɍ6Fo_]LɪQēE*1w56>S`1nΐG۲-la%P;sQH1v)!GKv!Ff3}wɮ]l?j:eugxETId[zivQf4l*T-u+TC<+ޜRJrM789E{sK{$anŌ*MQ!H5r#DP s Wyn3( 2&TvoM+XW⛁du:ƗPjwMÿ!h\`0;}ɭ)"Ph*<;)fcm0L\ƑCTN/L KO&0jz#CMIk?^PH}7dQKR G$bvk& I؆%eSk3IozCrփ7CDfOsœ:".wbA6u` ,^ )i3˅3 fZP1];z O" Kk1\8V5JTz#3O Vc'.R{%YY _"n[%]dubk%lUǟK?"q ":}%nZC% p`b*IX_ lV[ IQ L1Ę`)n#^4a K'2V^dhL)k'}?buyF2~CoӄWn%$E|Φ$V\%$$uG||Hk)h@CS))@! Syb&P%΄=Ѝ d˾Ptm҅x֗ %:nFuFlyZ?-c.a=Ta+> ⤸l QCɇ^aeCb5^oa}5x^iKn0A[i*[Kr )Y.=V<4 967qzg!30gH~6x G3pFaȡ%&H(;1|;dulhɿێh(CX@6"&TaS8@ ;`HsI6;8t2$?N5[r<,%yK!SE Ӂ.@{!4i<_Gė2L,rxg) 9V, Z=ڷLKN8Gæd#\ 5ʦ od﫿6Q*K{K{QUr(uVLFpD|L"Z+Tm-2/ܫ-4/ȷז]mSkWcs+sǡ&M筧2UY%ơ<1 _(p rgȝuH2魼XQ_ VކB%=eݾ}kyX3[=]W|*@L«>G:sgށы> =wƖf?^#qSaKރ$=H u9&cmF#*,!~gr~2H,W\Ns,gϑ\ۦ|OPز ]|VvI\ K/Q?4u3u+;1gQ-fr|(_L\X;hH]euF±ATEnJcקw#[T}s\ÔfG qkEV}2{gMΉ쀱Ütj'RqY`j? Yf{ʖ<},'tɸ(@xxWю͏%6ʠYq'[UdES ٟ8A@ -@d$!;+ptZ`x[d΄ O}n<5rȩ=N4's| u۩ss6Db|rjT]+ZXT".ź+,R\!P/!:sW2N#5r#_bo 91|nɐh H]/nϴ0 frw]2Y˔|̊I eYS 5*Nj%A롷*)icF䨢z ȿv~ IYaT !grX/r՛ ]^ݾXLh4@Ybs=@ھɻG*FVŒ> omSpLс gC t9T=4T8f8q}49w MB8[pna>zP[Q'Su![T<(?Cjm|Sr&gݲR}#{p 3o(ߴ(_ZZD{X:4pdP9D/mV5xiEsƟxpcFW]!B'EBZ%4|po K)1DFQ W guэpQ祁D1&O+[_nQj)sks5hbb ʟ"/ 1zEHrA !󫻌žz=y!t&c QA]-G>E#0V_phZ ԯrUaz R%|\ m$Cxj:'ӰEG^>,v,€bna}4Ӕ9UiIg-$ @DS;wӝB)p, }[$"obv"y addsc.G.,ct(nss4-2 -n.in"W;'s-IEfcstead .m(amel n'ys)en.wikip/__"'""_n_Cl">L! -ks/noonASTesbLIBb/ays/highsura-flossH A (Srafety)Free-e / OSS)...Lot FM (akdig)a tup effr>wby pub dom.ird (tauat-or lat/ 8432a2-c crs 915b-a7dc21.1.gzWms۸_OrOR%'wdLm4SۚHח"A g=yq=Y2^~lq)Z:rzHZyh~lOO `+[MƞبZh ̖R!*Eh\m:P3ժд07N˿*2*D@wUk)XZ(3Mnm*ߺ@q;7'.\ }–) .=);>0Z-#_&Cyj2^| KJS@#ʕڳ9ȜYa-Gj&3ٚoz&d#EuLEdԵfm*,1-QAP`|nH|Kpj͢.ښ*Dh2W*0﫺.8R1;$7tN|~By};xc~SI4J`@#IZ`eLG 6vj0Nr1]y0hpt֤5!ыdm8P">Ըz>a I|JGMRRҌp5Ug'4@-:am9jxe+2+7dk؇7)4d8,t؝@6v1L#E-M$j׾#Pk$QaJh*o֕>)*M )c|Qce7o|7oz|A-$,k<њSO=w(]NrWuLC>غghV6s_S+9{q+l^gmiD-0Ul9˜~oVPUއcF)]dY1KB$h/܊OmQi4^cBȒAeQ(>d|)q`F`;M%}Q o;e?V}7n>]߽;;\Oـ7)d F7N"RtcdK`"Y]\kKo2y7~^L`y k[g /|[ (%lR]gi/(NZ()Qiqw|e ゜[:X[)Ϸeu}jc. FL芝!B(ŸNs!}Z[~ #>#82\q$LOUbQ~W-v{D #ŖblRUb <$T@&']S5Nj L4d ;xMѵNP(%(c;?1Ɖ]FF50 hP2BXu揕8ǫ~=\; <ѿFH2ӎ] ~lmLީ2yy_]cLLǰ̖tW0I:Gn;]Lʕ)0Y7q[{a!vFjߤ)#Ma!vb{(Oj8+f YXZqq^LHmx(Bˤ}UzW?,?=|?DqLޛ'̿thc4'ՃD.;_&tS5]O^U[&qt# hg}h@=t bTRAR!!!JۤP9,˒IT ""H Q16gkxCNZzeyd"4qH12ﶮ*oEvhePAf rPEk EB:MkBi)9zKmt콟[ "`WapqK0`ffXod,pJ͞/'5RsGM E7&R[ɣdfK#,ޣH+r;ub$FEEG/S[ eHPK@c,Ie 9BȬenA/7ZۅcQ>z1ZqШzM ֻ;8.?2R_gD{jL>DZT r"Q S~){0)h'qWMZۄQD̢ tƌQ)Ps"gt~"l:YP4