minisat2-2.2.1-17.fc39 >t 6 6_ lp63!92d LuZLdU uZLlxuR8+2o'd d}0</]'ݩLgTB4$$Q9] ?T¢8Px9I59|IsL] {RR\N¸X>4[$= MIېodS9K\D<DA]NLDz|lq6c36d5d40dedd108e2bdd0bd6c9dcef8a33f10bf9ca6eaaa130a2821e10f1f740c49ff7e4680360137ec4a4bc50ead9752c4f6952b030204388b603e00473045022029449702cb04a49cec23c7bad5660bbe9fa6e2e1d4f6065df6650b187d2346f9022100fd1cf7603c591fb30149a1bcbd4b229ec843c9d9940a77a14fa796df83156882030204388b603e00473045022100d550a977170ef62bee453aaaf8ea074bf8be205ac21dad4b9567597ea4c12d1a022018aa6a408b4967d483fa9bdfca318f8ec67603fe7e9dad5e87aba9b5c32b1079030204388b603e00483046022100eb919bf4f0e90d4ff26b1907789e8699d0087bdcca23bab4c8571948081a0ae9022100e8a636d98cdc61654e21f05a5e2fcc19a0b2d403ee61ed3b0788239868256ea4030204388b603e0046304402203ae42a70e1746ae2a0f5fe93bcec32d85046178556de16042b93be11f052e3e70220350bd37e47cc82fa3125bbcda6df3641cc50d4e99a61ed54658fc4c9ad0d0b4a030204388b603e004730450221009920d3ee4a5c2174c403bbb9cf83e8a3ffe9c3b853323f8f73379b61265568e90220579d01df42f206d78b326a635331f2c5a78e2475d62dfb88f9c9ddc5969b3689030204388b603e00473045022100ac1f0c7974aa00caab5830ca14f6a58295376809d7aa077e1d1f41c74ced3f010220792aaec4f1175f1398a41ed5cb11b047a6e29ff9e41a04bedb81cbc570769f2f\3!92d LuZLdU uZL Xl 'bX,AoFr6"<{˩WFz(( )ʠ<;#|?@v ^%m7u2OuWi:Al!`?Zd2.,g75fPH;JK85n{(Us/3w535 ~McWx"izaj>|7H 6,WY6Jsϻ5˵ \@Yu2>JoT[,P TbkΣbMMk0{m91"!/ܤ|z_߫=Źw"(:5کVƻc뇻уgb[.;q"#(*gO]tb}@%}~*4x .g misRd>At)amIJ0۳jgAYN >`>Y?Id   18<dhw        @      J | 4 W( 8 9 : 3G H I X Y \ ( ] P ^ bqd8e=fBlEt` u vw x( yPCminisat22.2.117.fc39Minimalistic 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.dbuildvm-a64-25.iad2.fedoraproject.orgGFedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttp://minisat.se/linuxaarch64 f GC܁AAA큤dydydydydyMbi%dydydydya96d2301b2e9c3e0cb04c1b07e559f35fd77f60f25e177ffb3ce2179258bd613df05c06338f07018b71dcea5e341ee40615b357f8264221b059ef0b988d68444c02847f5dedcf757917a8dd321a8314d1d21268f54823e17ef392311d539afe166b205f28c535427c6097812b98cc7a0593dfe6b60865aeb7b296cda8800868058c328f7d252f96b28e2b1a529bc8bca25f8edf70d4f1f44ba75e1a3522844314c6333a96d6e978c38ab70adb6001478e9f3947a2afe4d6bb9664c8dc616afbb../../../../usr/bin/minisatrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootminisat2-2.2.1-17.fc39.src.rpmminisat2minisat2(aarch-64)@ @@@@@@@@@@@@@@    @glibcld-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.37.9000-182.2.1-17.fc393.0.4-14.6.0-14.0-15.4.18-14.18.91d!c0cb?aN`]Fedora Release Engineering - 2.2.1-17Fedora Release Engineering - 2.2.1-16Jerry James - 2.2.1-15Fedora Release Engineering - 2.2.1-15Fedora Release Engineering - 2.2.1-14Fedora Release Engineering - 2.2.1-13- 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- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild 2.2.1-17.fc392.2.1-17.fc39minisat.build-id7741f5516a0ab0ec7986620a41fde0d571d2f411minisat2ReleaseNotes-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/77//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]=7741f5516a0ab0ec7986620a41fde0d571d2f411, for GNU/Linux 3.7.0, strippeddirectoryASCII textHTML documenttroff or preprocessor input, ASCII text (gzip compressed data, max compression, from Unix)RRR R RR RRRR RR RRRRhttps://bugz.fedoraproject.org/minisat2utf-8fe6708e927bb3ceb3974f474b3615ad2ac7ee1b9b2c896fda28324ad956c68debbe9e8f36c761a10c178401cc59a6a2a3a18cd9a8716d305a1d00a434958c304? (/ht2CJZq=€}`A㰕RHD оTdiҍ$*b]amϺ`rԏlQ[?y4]ǹk6Yz^μz*O}U61A@'$X9 L9:#O*J#K嬞{+v>+g QWy޼=ˑQ>mfH2#TO(ϋ|"<>Y!2uVqw-kq|d3\Ol,8s2W(Mio[kTEs~>q)I#Bڹs;fM f0J|"SXx࿼_*aJT>xGC~4HD7  tx 5AfB4*ßaRzZivq|QAXӼ9}F6r=3_H9bJB$P gFwu8TUi*94vG+\q|*L3rjHת)V˛7TswM7̓Ќ#h~Ͻq߭o'͞꽚?վa/r}k&M8wnUTr> džð.^ů?9b~ z!-@w6Ol^l%u uԿF9 g5S/` s`Fz5ښh/4 !!c&7&ivSWΫrf~yw}k]/)N{Ƒqԭy |m.lgӚOMyq82{<$IRq!Q*6yB,bAB1/Pi7'F7k v+pʀ-w$XEO5K&߼M]yp!g[?O='CpE娀D/|P /S 9aut7ympQȗi c 4!&J?<9snY0N~cFmh%`ߖ/Vy fmѲdر;3g[_mUV t/Y^f,+`wn|e.ە vnVwbe&G:}~0μ2T#QXD{f?sYbG#RxF lWY񖚮H:yLZve IYiZ6Zm#hW6鷼7Hs3=@bǙѮK.]zA]/B~(&,n;o{mF2{^pwo\ٳ9ş@K^{of,Kzj9lE޻ L'j rEJy$\\2ڥ>Yv5l?G}tڵjA&r"ywi|lzpqW0O|Q63a7Q:RJFsjyŋ U: @ghėo,8 L- }\l=wۥ"e]v^֫RISZLi^^ÏJCoӡjx3kJ܈Š^#.t}XwCY?/+ET9M٘O]8 t)W{>NqU ^ko M5$;2.Y|9qJb)a{19d~: v+?̂E2ױht5 S)&*Kf|S k?_&*ssG$zP6_HS4EÅ<Ĵ]a'.^Rfe GJ&kW%eCO Bں㪮^군@+}U|"Vƙa=< [U`8Z{ЛZ 9C;x1ARcžȧ %SʸҞiݍ,EfV=ldȹBq;SwUzFPL5LޙRk%O t=>oeI}$xY"SI*|:ZK1C_]"`@|\ax_HR{'/b]}N^ 9q% Ŕ'gYX9] fҷ2W@eض辭ʘZF#K0+2P@(*ЖDC/*'GE?A>H<̽Kl2@Ψ5s)hc09cp31֪msfeicDZ8o0c FyԔ TM_l%{je7J;arCDH$֠ԁNniasD1ѩ-k64p1{ΓTkvtI|?qxG} ejm|93>y,|i L+^AX @lo> 'MPR T}RSQ8z~\iHWТ1n ZIID:9RhP?`h׃-ϏgELuiqIt>!9߃?0o5On˨Q_(:9פu1&jr"r)̌H$i rAp9BAFD$(((HA ٯin~"+<Ԁ,\2,N)ݳݸrñmV\΁ʚwNklǥgVR8=N<ܼG@k\=t؁>ΦvFyOHHo)m_pE>n@+]vNu>9;|ş}0r.w x(nǧݤI,&kc{J̲ӵHٺGs~zӤ0StF};nEOm}Bod6e/z 21t(J_2s*}]l ҍӷIz m=Iw|]\}w0EY@zن>P"ǧ Sw:,{]n=+#:˻{ 4҉g#l >)sVJ9M_V\}Mv}%yC~l |0۩<țo?֚橯2A̾к_D NB'+/B7BNWPK!^1T1Lnsb^}#o 2:[ X9ץ\Pƽ}'6ܐ^E7 ]X jooyoURc;=+_n}#p~অXs7FQFrÂyy3n/lsp`thtơѾT1-fLcZ=|Ɍrǯ2^T(\hwHdL^bqGgJCMo\!x9r<2)կz[Ot &$!fn'=|rxTtQ_TLpx2_٬M|!l6Nͳdy$7T5vw)l#|+ψ!G` ']b9# }"ڏ=Ñ;6)V6_}8gT.<a}X,GnJí!%[>y<5 OO]';Lmnr`(܎"e[-}9:WueH zq[>/݃.5_*@kٱjKv klkHZ跽ltzƆxD2&#}G~}fX)bُʵ8#xQ>*g7d5#/Fm|rP 7 l6>)zZ>S#I?_vIΙ:牻{7~OrVD;_<-4ⅻcNؗ{`\98&zWzbS@o2Hl'~cT(6<:QVE:(T@:疻"nmsf\Rrr <>##hOSOg9!m^j{-Zm"PLbDEY/9^lf/a/VkyKV͙+{Ybw{Q*~A^*lci|Y?̱{3^U-Pc?O,ab\v.{XpUo ̉:{eh!i-NlDZ/$!zxYw["0yr-FIFD#JE\+S6_:[4d |x(AG%㜦(a%ox /ױgYZ.shstrtab.interp.n.gnu.pertybuild-idABI-tagpageh.dynsym_relapltitexfodata.eh_frame_hdrcc_le_arrayamicobss.attribute_link &X$9| G \fdDR$Q!A1j;y+D4qR  $Q*  (P p+=Pd2aOB'3qq"+6 ܗUkm1|Z?0cw,(qCV{lt@V+%^)nSǟ!Olh_He+;gCR+[΁h-bS l3'Y'{uwy[ =a0KS\պvظ 6}RF`br"-HA"堆FM$S2Lz2ʖ@"0t6NTh!&MĶ=lkSJ7Nuvj*~_@U-fkťR>Qe=vok+U z}3D<5!$_pAqՏxN r\OA-۱! 8I[ωYyh.]L&g*ϒ@bc~3ePV̉2҈ 0a@24N n,ݶ7q4E^=)2pj^s&T mH sl/:9{-P > ovq؍%Yb^y8l;Po$]ګT񗙙655X_͡:J yK %dG%Qw"cvi^jjp=ƜC$e݂z}FRi(/::$AQK1w?VN',Bk!WtM4=Ԇ]xX HeoIcdϋ>b~ @Fv'WHJ6SqFll?]z7xԯzcQak :I!  ZnA9eP'g3p!Ǧ tɶ])dr Y؝})`ſ%I$i4E~n thzWYW; 1p3Wx! b-O.T5ZZ\HSww{3(k%Lu-.7^H!5jY>zAUYq]1{j!9p-j4CI%]S[&h5@6"D@T-ԩ|EAH6s<㥱`͈.mõ#}mxy(0cnݬOf-]^ 7 ĝj4Yi@EjN^ YKΫGvC6P+$/7QtC?L`ӂd3<5$xL)N=.X0P VXX eQ *T,$F*2\fT&mǝcd3ubEA# Y}xVlt)&jJݱw'FBzexzUDEj\9 Z=ڷLK Q Bæd#\ x#{_XH8Bz.]-G8edu[ʆC!i:*Kh83[  eWhޏo-ڪ6zocs+3Ǡ&MԾ-2ìK9wa@B;A<ϮsDIo&_Z0H`@U۷>cU9yoW5M!_eIpHy|n;2ODuϝ鏮mܕye_:{|j6#Бj[.;$YkBγj^5~Ҋa<c<߿drTºZsɻۡחjoqY>[GwjW'Ûq9*ѦS1H%Ơ<>!`SQ^o{Z>;u0b-aD\Et&(4)0TB@ь$)d B, Ґ2$$%G[D ٱǪ*9NM+Vvj cR;aD$_@rE(p هKn^N_| ō>r<[AlnѰe4q"R%0ׁ=W,#2_A spMSyvb#^Q9ЌúRThOaA!r[sBM@mΪSr{QiLQu5v` ;[t+YzS%~_S;Iv:ɭ ^Ӡ mutJ ;̳q{XYD8(@Fx{1k͉UU(l,dHkH!SAWV"Rb #Zd2bMtoiӻ [g'0khg~PkPV8i6ߓ ,/St1wR=1L7Q] KWWˣ[i;K(1C ' '` ̇pcNRW%M#.E.\Jq&L/XT=ɹ Wv?L~"pqZ\\-$:b(O:y+z Q[#vJ9 : P[xCAG#qy&S@mۤ-wMn-B ʁ$LPl\k^H@^AN;~?2G-FCgMc]8B'Nz.ҦUȓZb X)-Ϊm*`غÍ8%kԫ@D1Jae~R;UT8FmObʶ;yɭyw$Hs6X2YKSYADqeMi~g9lvJJx\1 d[֟9̴4|Z Xb};_)a%-XIOַUDene1FfҞC\pkHa6CХm F֫#Dӱc]`My5Q HX.h>b(6z~,0L30}8[0sfQAC1P'${RȌ,wpˆ3J9&  @b ] ޏw88`٭Z!aHx1/kPm._9{؎};_nZqDHs!dծ6Ш-0CvUI-yq0_p.nϛ{愊>p{p q: !@0権1Ia kJF9gHT|tkeAw `Xeɱ8X<4q΄bYhDŽVk/W<p?C-h RE[ظQ@S"Nh<0?Lj|SrM~]Yiݚɾ(]ZEa,<0翤 mF)]5^;$j]0I1 \J.@Z|-OKy )R n2NusQ KWi'bL򝒄_r`BFBG=ydV 2 ?daDgpM"m eȁd ,H_٫ >2DԐc?o |-bXj9}EOYdC>9ivB%yVܿ+7J6 DR[̠Fr4?6-^JE>Z]K‚n  p)֍X՟v3GcC598dnQ=&!_S Nܖ/rJzLy||];EKGWP[twanget"obv"y addsc.G.,ct(ns4-2 -n ".in"W;'s-IEfcstead .m(amel n'ys)en.wikip/__"'""_n_Cl">L! -ks/noonASTesbb/ays/highsura-flossH A (Srafety)Free-e / OSS)...Lot FM (akdig)a tup effrwby pub dom.r, pd (tauat-or lst/ 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!!!!JIs0˒9B`DD$H$J 6V`kb}O Uu Zq@XԱ |n Vuz4.!KpmX.zj}wS rpIu@˷yQf4jOtY[Ub6NΠ'fv:t 3vbbY pG {7 7Rà^ x6CȤ~AF=mgݖPneWy  mphuyqD ` ,0N{( }}. q. ~L{HFqlU@Tr'%:8R3af7A6Zمs CqzE1;],x/'iP@Z hOaJgA}oj r"sb9춳\$ {AB`+]fFE:ϊNo!