python3-pycosat-0.6.3-19.red80> K KtĉH2!c31^ Wgeusupport@red-soft.ru  WgYԤ7 ֡Ok;%l68o@[cE2Idp&Y]( Q}AAr|9tF edciK\3!e56Ug^xV@R8լ~D໴wjaco6a¦ےAvfO:u0CɁ[b5KEIe"a*!ҨR6CUEɚc}VIYyt;ˢAj_k]m7Qk5uȼ4e5b7e9ac29fdf71e072ad8f5964a01fc8d2c0cffedbf821494d9ff290418270f31dfb88c480d657be1b1eaa8ad95ed3f05ef11dbo!5".;atsݤz>@?qd ! K48PT]fj s   D  ^ j4   (89: /B AG PH I X Y Z T[ X\ h] ^ b 3defltuvXw xhy ,0Cpython3-pycosat0.6.319.red80Python bindings to picosat (a SAT solver) PicoSAT is a popular SAT solver written by Armin Biere in pure C. This package provides efficient Python bindings to picosat on the C level, i.e. when importing pycosat, the picosat solver becomes part of the Python process itself.dstapel80.red-soft.runRED SOFTRED SOFTMITRED SOFTUnspecifiedhttps://github.com/ContinuumIO/pycosatlinuxx86_64VcdL:P"f7 - 0:0.6.3-1- Build for red80python-pycosat 0.6.3-19.red800.6.3-19.red800.6.3-19.red800.6.3-19.red800.6.30.6.30.6.3-19.red80 .build-id7613544c56db630e28f28a15e36bca8addbb96ef__pycache__test_pycosat.cpython-311.opt-1.pyctest_pycosat.cpython-311.pycpycosat-0.6.3-py3.11.egg-infoPKG-INFOSOURCES.txtdependency_links.txttop_level.txtpycosat.cpython-311-x86_64-linux-gnu.sotest_pycosat.pypython3-pycosatCHANGELOGREADME.rstpython3-pycosatLICENSE/usr/lib//usr/lib/.build-id//usr/lib/.build-id/76//usr/lib64/python3.11/site-packages//usr/lib64/python3.11/site-packages/__pycache__//usr/lib64/python3.11/site-packages/pycosat-0.6.3-py3.11.egg-info//usr/share/doc//usr/share/doc/python3-pycosat//usr/share/licenses//usr/share/licenses/python3-pycosat/-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protectioncpiozstd19x86_64-redhat-linux-gnudirectoryPython script, ASCII text executableASCII textELF 64-bit LSB shared object, x86-64, version 1 (SYSV), dynamically linked, BuildID[sha1]=7613544c56db630e28f28a15e36bca8addbb96ef, stripped RRPPRRRRRRRRutf-8761edb2e86905fcb455f2e95c661965358096789705084e1ca039fc753da1b23dd5af85beb0abfb83b6b36e9ae2779ff9b027dc3bf5288ca58e4d011684742a0?(/hpJ` O$8t*B`Drl 4ak!QfMγNTC>$JdV aO79k]'q>IfTmn>P"MWB<4m@ g޵#CK䕵+BcGQ%BUlB3II53m cM+W[zel>3݇E3 j iÇ[N5zt& L?z-]Jʙ>3x`-Hm,qޭFжb(;24 Ja)'FڦqN׀g<6>8R HQq5ʄi >:]ʩ}=IP+T-]QcTFe ' UO)ԍ'1PI圛:LZ'z3*r+0[,@}V`2y ?>S6$8PdYEyE2%mFIRW^m;gq"!Ғpt"3I&IT e2*,crIR,)T_2a$%J86%$[CbXtMZ0MR4 MCT?{1G04A{XL}NËv3nźrz߼?g9c-0|96p:mY3"nFj{ w*|6>%%Ysbo7tqN0gd_v:yx}!lBxe'iRFhnd%YwYǻх X)L*W|(VĦ.L-ܱ|}b}ݧ{lr\mt*("$EH\JX&"7 4[S-1y($O%K}l vB1 A%{% svj]nSmjU#daшGpFrfPm@/zN BƗ#ÅrJa4ͻ is=WoTAtJX}<IUI>v?HN4mJkkInx#|DhuKՋV(VQCѥ:ov7L׵/~CS.D_DUăAyCu8)xCeD6B bĢO(T:MA΀Uyl/D tYd@ !'Bb,6BAClae f05{+T+k*P3!Vd9r(JjtI!eS=eofoVEwrԻy+ #]eBh"LmqUMHh˦%,;#y[W-aV'M!U*0A0BLv^%_̕r|ZZ$k2,^mts90`buBzک;5]eqe`h[ޛP^ԡZӧvN.a"A ī\qRB ^Fw筟~"NʲuF*?2jمZv!X hB`x/%i$5LopT)䌋Uo=&p n-00V? $N-oYnNEh(r:8J{=)Da0h\{3V}"*IpF56iVQ֪j>ٓ={uޛhaɪMFC΃u  7B!$U#FĈɊe;3}gF1t3;;30=]?bdza!OhhDŽ+1Aх=eb, 3fPPsװ8Vg46iwVo_h]hks^PUH L5۹wchr1bp; & A"=+ km[ ظ{5NFNzno ŶKGo{e1n}ed(84]k5D.p70`Ew on!í@Q F7[v q]ϴSL\svp-yq600}aw=>j?Lq3q ^m% l׀eȐ!]{p(|:8yƁܹ)^hXӷ%`u|=x-9ݠ oR 87hf8ge ^Brs?"<vR]RLoWж}llŴ<i&Fe?vᛆ2Hq4#D | uGnБQO!-g4Fx;.LjH|8,Uzec,r=uS8#gbM3L?.RQ4 צs@43q\/:;("5MNɸBKBM`8÷Vw~L$\ޙx,{BȨ7t`z9'9"nnp;_ /'Vࣇ d`B}]0!++ .^z8Z;-`$x_ .tzK1%:r8ިԓǷަE]:٨˷8)RUPΔ)ڍtL9#3C3M@8F&RYXD!$40BB!dB[iW3Y})=,r^4 qrC`g5D{-25&6S#"zm17'u;e6ȮTSq| h>h#mqK[${ L2Q$|7Y VMVjՅӬ-D i3RudNUK6/Sm4hDOX_gNf ]N"xuİL&`P/\0r"qEMBxc!Q\iОbk[ĄR051I&w0"tO[{휇0S9pfٵ~=ҸjԾȉvwpMNO-CJĿS"]Y䮒&%rEW]U`I 8{t҆"<(GГ<*Sx;^WGՁ| 1(o4Z h?!v=ҕ}"C'~ \T1aG} D5YIM.<)xkJxu{Čbqztp !ԃLvR\AW9./kXFs]57TI#jM#M%хb8~ 4$sK᷽Kus[2-Y/HM0+ehýGzP]/bPZQJ6-SBW/} /!jsF.)&з@LMM>Q6/-lGu k(L^ӊ TJšFSgT.YuFZByZJO JE~EݬnלmEO/*M4w i 3k˄o9)V/Cq -&Bf'k]a "ŕ>fw2XLorx HB)PĢKnK leav'W:T#.? WɓqQ%˾R9\J(ݺsFrfK_?vvY^N(-t2Ma#qp7v%'?CA*XEȹ.]'U5BV]9̑U/@FDW3^ Ɇ(+}N,7ݔ>n h1[%7)ATy/5h7ЈE=J >>}Ҁ[PLP!x3"P `X!-p)2* tn^A/7ihD l)9=a4Lh/O~*`:: !`qIV Yq9R-Tg_6S?n27qcBR:z<΍RvMoJX!1N{1R;ĂO'm-/Й!ŀ4 {̫Dm[O1 hu]hJjd{U͆k?, BFҏ4ANdu!*j}.NCŻ?L>j84Lz0+qK%d(I,*m}8( ,IGPldxqtDM~Hdۑm!"9 !f˟jcqHBM{!Q!hr0V>!W~V딟׬#VemX][kQiR ]-;TCpꠓ/@=9zbHʻǐ,fx60|)B/[Ff{҇a9P^ -Vbs-ac ە X_BF5%pQگi%uDU;F;R"ތpB ;FȣOF}\8f&V46Dgp@;ҺImo|1n6Hï;5G_q?)Zu(a_.۪îV2&ɶW0mw6 j,^.-Ka@䦄L=Jbl1^E+r[ ~-5Җ'z5=\lvѷhΣմ*nd{!C m ;j*6ZbU35r4aѾm,.VB:@0 QRX_Och@1)!fؽr3oؙ0GNYjaU5KL+괝m$$OG wAv8U W('k4שTǣ}Ҿ 8>d,;|CeWeꍟ s5{*>xӟ͊o CvZ Wn2lưBLdN0=n8m ao4w\l\$s {*˝e!ɇ*\44S036ݹ 焙=WڠNQ9= Lp6alGz<b6.*Wy3,";wq~C14(n?Ak0)\|49T7 ݓ'K{,&I(Y_ pDsL2_'2!~ _-av`S4IE\"p;OoqzbPZ ^m(}eeQNS ="ˡ|댓drp({b?s$d )tqE?"R3@].WJ ɐU8=v^9Mq_qV=o(sͳX2P.JkXu>co0GTTU=-?bҧ[wr0|SDaHe^QH)cK;D~J%1 -~<q4>43]9⬢tKد =I<FQ"&P`kf%TJA4FD&*YɅgf@oza-vZɉ:.P!2~y yxz6+,eI#^P򆿍Tʒ B{< W,47[;[&a|™(koqKHl#]CJdsD#ϔFJe]MԖYJاh(թ;?m&2ѽ>Ui5ا;5*0{Y+ݥ .br2y0#pLHN¢L.'g1LsYƨͰiCYtBm8>^̨][Eq ^x'a0# ׾"4rBy#^ŅhpNMQ;?.Sclk np{#")X Dd] %> vBR؈Mf CȶΔ .* a}bE)Ɓv 鍹"[2;n z 8c">vpgid$JNMux ,C.MqnCl8諪aM8>ۑcJBoD lc0^B*m̿c/ gڌ$ҪT0DA.]Ֆ$K͵`C\iFKi ۧR~و4\E]xD wrR^9}|vI+uNΒj*2"/K%õ(?a71ׁ JMe*sqUdn/>g5\xB&j}pNq>Zy ķm6g"lBx#>-r,,% sbK))œ7"a΀ϿZ4~}'ZB ֆW4 mi&8^?pH~G/}8RB\mfZ"DQ]67)wnC!Ұ?83V"&%m -􍔗AgƀR:)C7< K bWgCW]a!%:Eh_[kRz *q>WW cŒjNqj4\f>x4 ~WԨ"u8(qu mD sp} 1FĢ \U!z>RfmVpW !4ޅPѠ<ۙp Thm q\]((0Na:_os~E*;+am[0&:y?RjٺHDq$/}yl?{ lް*`bq$1>k Hq7*{<0 .Ep0 L`X +qK {#Јhć#1BD @|Ӂ_\ >poCO 4O# N$;):,9`32mjH|}x?Xpm/܎Ff{oB6flt#"`Xі(;Uc`EHh@|x筗ǫaL%Δ]]xGyGIz;JYFK 鍲`0hz$ &$,3PӛF\g3TBZmrKPiBSd?լsh5ǯRi=bjō8~˱ ["^rlT0kBЯ(Cu /\.w;q#T zJ-U%t^P^'7Jk1Zo轍Bk-Z=T<ǥP'=wzłQPhOnȓU-p-K1ArN 0,)0R ?/ du3r6  WB8Pe|)5r/*Eف`XvºOOlΝ/6yHNJ) 5Áp3 E&d)} Q%8J©pKG%+7- nY=磕>6~Xl^-SSMz_cՂӼVk5 wR8s?^6%jTY+'ZJ~zѪ~wIHW4? b VeUϵa*]zb8V?^{Taq+.i~ﺾc,ޯ7_ xwKo/#㸉6Z9F pNƮ $ڠfFmx[˦vmoƘƭa-\{̍1N`24|Re)츭m_Pu%^o7uzc#O.lbp=^҇@-vB7I:ݺ ]N 8Q[hqAK14t@и!Q{ j龱^$GBk:87K]{&!^6QAq`Lj8… 8U4/\}"GvMblG"E\hGLiScC<]=߽Գ-~"iJ "# 862)4 ZǨjZ7t$f0Ȝ)oqm'Z x5TѪutp7<"d 虤qm1tW'BkWEZyt[l.Rٰ|ؐ@9)2o΋7Kk#?9|Ȳ^< EEɲ$d?E-@E2Ѯ-mr^=뫺E䢧vQiht^->wk94ts|ξ]g"kC"劤3}P `dZPZb"(U!0AZ#%$=2ʇ'\EM] RʁQ!l_tWOfP>.2ˑ6D][QlAOzE73!$*<6YW-@-#tHEh)(tA xa<ґS dM &V |G %#$#,THU0 H,Y5 I)WĘ ژhrA2Ahgk!p0  LЀK >[D44*BC" (Y!͕RFAaR ÔDTPG<1IiGYG!Q$Fr`}P @v |ZC01X%M,Shd9 R[` 7 5d1BkP#MX1ƍVЖbyO`Af6E gJЅOqLҰBMu)hfC~"1d /PkqG5&R 6,`L%tV48C%p?jxyJ 7]33 $z~!@ `-ABV[M-kB@dm;^5_b9aL8+Xa`K Ig$!eI J' UB[MвFX8pC._1AAPA( #@zVj58X0"KHV v Pgт\-Ԍ*L -$"z@(p7B3ZlM PPQќA9fI7+1 5BwԳ&.sTX 0uOvy6I|v0VlOXiwr*Gba%}YTgsI+T5 CO?~zrH:P%'!M7.|<"D {_D1ؙI;Ng|*юcUmU? Y'T}:K?*d3,U'-~*VǦxt.+oɫbW>T10L"jV.SJ4^%JdZ!;&F%R֟jʺWKtᬇhDX6߉fIt=,^S0잭bMu*fq 0j!ذ}zwe85UfGX?Q/j5/zoB%* uM.MǷWzqZI$ _l.Y,%wRq=Iq-\j8$?4tj~^߄[Qb]HܯXݺ3-)-9V//bnAyi&Zoױ8=$ KN48ӵ_ìNà2¡Z&U.LSb&tzCrT|n!~+gq\;JD0<ljhǿߏ WLN0MjZ>Hw|ũNoYC:UKfK}3]mYgzl{ HCz%HDD4CWR!G%B9ёb? Q0\' v"e0&;(’ڤk~5%U"tgLi\HO'>d(՝5t&*8M猛Z" $2:Yi@"z{Qmov^uWu(ʴ.?tvJUrH3[F1)a:H~/wi3H?gTW(;['C,QT/J/{SN$5p՝&5noaA&v F9_ftxIUkqgO#j{ sWB1TFlkhx5NQ!%tZ3U,T$5u.΄|vg+B0sE.HNsȜ!_U$ d=6q8 ?>_ ^ݯp +zx\P)BrVrjZ9.~cT w"qՓy# ri-w2hT$Dff W]=Θ4n39ݼFM[ <>$f? # kkGk;/ VɄF;tNKz3PTofo.#c'Ξ\/A!S UUibH\= H]? Ǽ,%sO[i ۲3!Ukx9ZDgF'Ъ˸.&*&nVU[z?H7UBlA<BT-pl # lۥz&%-uQN?k2C R4Yt>{{G$;}^Ptsdk?FL4a#zYFDF4[>z$#q,gH_ )]Ga86MdOOE>KTf˸)r KJ7p⮀nNWwǣB(X)iŗ;*?n,rhVx'@5(y.v܅G|8&7hLp0CHKOKҧRZ6[q`0|YՖAtdyt"~g1H`!~tq|,z\(bx^5)f41AAJDzQY-C~+wϴkMsVjץlkqt:[/kFU8*h%7+@Dc1mtifZz48 ,E`ѝy^ Xk9uw:/ sFbZnsВ5K<88m%x` М Olw&QL2A@Jf* Zv6%3*U +8~?v.H&|JK-SH ^Q]_ƃF\., o-l5'N}<|LVANBzs@ 6 9Vz*bAѐצ9wWx,:@i"mt{|ӤH= Q)?4`Ks )eKlQ|pGtQi>WS+ԕF0 %2mB= (Tx3Z[nG/i@59h^Eu'ՓR.t!deC qqP[BP(zzxc)Vt%Fѵ;c$X5c~.} :jh)M>C{B3Y~eeNI("(`xcXV X WXC?BA&c".ZaXE)Ŵojoltم5p=(P]" H? w#{ g|Brc  ݃2ڢjh$!^>7Ě[F_ѫ,+H'`9g‡uT)6.G!뮧( Lq99.Ȭ٫'/"3$K8J;| Tl"d[^s3--Y[Ӽ%oKDN:`_fiL;ܝVHJؓYөu;[#V0X{_ ^ό7_vX+c|P*3 NKV;)^ꢑ͢h+%*9Qe]ҭ>l܀/t@M`NM<)aYj5aoUlHZudfr.ZCF6duuv 0q-ka5x&nG.j£՘c6p]= H2KB )L~U|vE=Gl01K~1$ LjG:BjQt%؈yN6i3Ri$ skߛ J2]jMN$Br L4HH:=?s d[qGeUٖ~,aYxs'5޾JRn>>H5vfvt#cPT%v<|qA뀎yu{̙^ot@%؃w)3Hݱ|V iab|\7E 5"O⎱"1%J{#ƥ*<  t¦Y)Ɗ ?wNj Ծ3 g /܄?3+c;]:?DxR⨀qGEwO wzz-gՆ!0э ֭bg8!9/J@T:zhs݅ u٦?|tРh 5]e °@qr1qrĸDĸaiCQ6& &O^@ ɬO@) 5Ĭ!40DỌ%3At~&55dvkqhfpz٦p$4F@xQ(>J棠<ʏBѢ(4 GEP~<(>JEӹ\4Jy,jOBP~Pp>/Nol2h <1rR񇸛 ɛmX;06j24$r+oU?=A x_DA7Q mk!g kq|Zh^NJ=G;嵧n\C22th[Fs\Ee',.vpedq[2$"j+ -nġ))I }82h(HR~m.i@"hL@h8 -@>(ItKEvcgS/PsR2JAA# ]x=14LLuLj+MO-Ktn(km[Zls ։ FǝʼndKsQ#8!$^#ik$kmT5NjH Tn>$ 9y'xY})gYX@wĿ0 A<'Y`Zd)p/ +0}Aa:iLcQ-FsX' ~QٖQx|5ܓVH}[.~Rݷ=w!]x q!iIG~cIPZ%1^%w ]XMJn/QЄG}GRu4:N2=,TO^+qXR4!jΩ OA~l f oAӡV y|B[\o/\ET]r,mr