python3-pycosat-0.6.3-19.red80> K KtĉH2!c31^ Wgeusupport@red-soft.ru  Wg8f% 8 +22*E2`"-49D \x5P*޺D;@e^rjD?Jv Yz'&SDO''D2O 8 YJu“Je in,zdtCeQ'jI-OO^SMLez0Gxa vV򷄎  ʓ$1 ۖ70bXsM,++>Rf'9%Nxtf)oEE3a5b873825e4c169511d6395b7ed57fa09634adeeb337dc0ba2e896954d06c190e816d444ad8ef62ccc5c29ae9a64fdf56643b81cC(nmxkS{xfx>@?d ! K48PT]fj s   D  ^  f0   (89: #B 5G DH I X Y Z H[ L\ \] ^ b defltu(vpw@xy PTCpython3-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.ruZRED SOFTRED SOFTMITRED SOFTUnspecifiedhttps://github.com/ContinuumIO/pycosatlinuxi686RcdJ:<"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-id098c253ed25c23c4e6f26c3f8edaac1b49d32668__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-i386-linux-gnu.sotest_pycosat.pypython3-pycosatCHANGELOGREADME.rstpython3-pycosatLICENSE/usr/lib//usr/lib/.build-id//usr/lib/.build-id/09//usr/lib/python3.11/site-packages//usr/lib/python3.11/site-packages/__pycache__//usr/lib/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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protectioncpiozstd19i686-redhat-linux-gnudirectoryPython script, ASCII text executableASCII textELF 32-bit LSB shared object, Intel 80386, version 1 (SYSV), dynamically linked, BuildID[sha1]=098c253ed25c23c4e6f26c3f8edaac1b49d32668, stripped RRPPRRRRRRRR Rutf-89caf1dd56d01b5ee9da9b84c2e0f64daf2871438d11d347b47f3bacf7375ec11a53ce4a7b342d9b5a9655b126cdb6db40d376aaf97bc921dc1ff40c5ac7d426b?(/hCWN^0vй.C T#Q[HnƮ%WoXr*߫dy+2ٰ7w/pcM4*y9]6ws1w݇Q  (}*:@B/|mKp)Fۻ޽f.x"d9_{yVW`{0чCJ5"t_ϖۮu'l)k6|N^ *jc!l4] }t-Ekxײ$Hԧ+YZ]JGُ9j6%ِ"gX(Jv[;柈W&}dzkvUfMlԖLB02:v*! *gJfPQ0 (n5ڄD#Sh1z zMq^߈i\6 &>:HQquʄi }Ryڟ`֯eM d/#yN紻:0u̠ Hmʊ.-/L,& Lqi=#2ujo3l2Ņ'kȗ4WK@OPb}p]g7"WgsulsQn96]$NՖ#F(j$U#k  Ti],yGܸP<8_X8$58s5m\۵D!H&@Qf} Qu~\)O+ MFY%<m9E1-LjﻜtxFee։ڌLj[K@t?B_7t S?eRi4K#e^WVGQt)WQ蔤W,-t䃲$I–'U% d;LC+"/'ᵓhsNy@0U0@pXXE gGv?LWY`ffj~UYG͌ө| y( !v>P9k 4V}E^D!bH@ "(Dd,6>bCSEj 'ovBƔ J3GFA/',[,sL5Vrh=_yv/$n9@O: 5y &%\VZ9N: DCZiv9qsOV2Z"10(LyfEk޶Gюw˾M7b{ {:]CMߵ}o:M<=3j۠K-v]} 7r(d3նvn3kzz?lpGTٯ{$E5V=>$ "(SHK{KK,aigp^]m1]FdeE&њ;ѪCf5buAKa V}T\eUVfofmR!/A<,YbLkx%kZ}Mxo16 oNH۩ 듍z|SgJ҅R1Փ|rJEN|>B%a~T qd9CK`A܀3Q&HT7oF|3Qo_V[9zDĬ'q(^{(Plׁ:i g{wݫZ\~iiTPeBIEWywu:3W0 ĺXu3U6Ь9ͺӬ'UYk VA0u2] lWm dB3CyKnik|//qpEibs뛨,v?;8j 69z%Į,G ˻iF)⪚5p bіMMXVVj²- l:^  tACm?AM&^X\))exǣeM&)ġ84^tL"XPS5G냵CwhˮжP[7-QShMC}jzJp aNs (9[?K #C]ʲǵF:O2) B.̈8044 m&۫,9bFE[dl=*~!F * AUuG1~sHm4=N"Ah8r:8J=*Fh!h\qj<c]uHv4?223>>JZ Rr"qb;Nl:adUc!;WX5vLoVw=EHK[r2i@;Gc.( m.Ez녖 +se7LHLsh> D Q63YjY Ĉ3=fVnfCrg'Ҕ8O j; 0)^r@rO_N,h4)d|0%*J+Lt+(ӫNB B=F1''sFI=EmG!0p'!OAU DQ#2L|$t[$C-KƏjKT,5t pJ6-m̅]՛"C >BF!`А)#gBڣ j+`X9,16jVoA&a!aqy{2g:m:޾кЂ漟.rݜƦDи,;Cg͘n2&'CFLD4v5$n!&?5Dܽ'#'M77q DwCq  Oc9;J{' ~zG߈k[nb^ss'.;.'}tS n8BX8\'pb%evrK5..n"n㙦qhdzHɴ611cwQ($7.HqA1(xp[sl#0&ވiРA#ݛ{p]}tn3O+tM/!FϮmK?$F'e:D8u1iZ)^h\"@:n\܏>bw$2-$}ll.L Mp,4X:(ac8#S \Âpݠ#Zv5^ kp;=ŏ1p( hŐo8(6]ƞxg"oq/ىo#.G1n"QH7@t [HE*n)\b!} i{w۲(wEhk&Kxٹ8\[4u1&ٮ/#׍wlp:7gUBFE!,lNN' 8mnn9YI,Ej)~FdrP),4ARNLjUSHDB ?vda+/d| {2 pP{{ 7|LУ0G9@87 7.0fu'ϐ}aȅ 0!*$Ju.2g0 RpEυ+BXܣ2x ˠ^Ȑ05,j`,^|D4T2. ˀR\7rfbLY\et8Ļe\x!q9VD'^Et;h+>_c _ZO pS>$ٍtL93C3 @4F&&KaB,HbH8 dB1C>JcB1uQhàF(#h o7LiOێf^535f+`og ^,Dڬ0Y*܄V3|d1% 㟂j&J??7wN p rcǸcc ee뤠sk뇭,(VO燬,$i6Ju1alVUdk?_v 4D瞼.Hv֛Jf!,~uIL~H84.!C.rd\cȹs! }V]ۦut_(\Cpfw%̈́RFoEz+n!6^>s12l$3qoTrT'z`>w]~Q^meRbp]ٝ%4zɢWbk[d_xj{IK>x1Ǔ\(I ]C.lX0,i#й:p^e$SࡣJTGclȖK9Wga{/;,-`4/NoW pQ.Nt.M㺍Dz=txm\bt"c 47y:AeפLגrmR6u?)[OMQ,cgPK.e3[?G(JX/9CQbYr, UNu7eS3USXb͈g8nlH.ʔ'˱[Fq"P桨WKh9N`HҹބCYj\5 ìOԠfº-ʋ`MȖ@L[}뻓C&e兦L"HIuEcU#0(%NԡП0ZOxfm}tK\NP3QA]1Q17z`Ep1/B؅٘0 ?x 2`l4I8d>iQdU*}"yv2gh-V]4 Ulhn4T1X+ڠn6q*!t!yP#U6c-ǫe_JJ#ƋmtBҢwZPn".5V\~p`>ӹr5%TR{ D__ 5gza' e{n1E ,uCc5s3Y*ȝ}.#Iđ[?O"s- HV֝PJC mH,Cw]"n?Z۫SiIolʣ::eW?Y;ei!xeVDыZѯADSoFXz8unS#5͎ /Uأfq}Q#sF&RIryؽGvohdA/98q*BH=ΚpǕ^= jXnaFʪ[ @ճt s=PX}X,ؔ\.mB][}Eʿ{j`Tn7W|HR'Z *;s9r T6{6KD!c@}%lOVAVp[rBUVl0!^AnE_`u%r[ZH[6TzfR!`7L,>a˷줩oAAt9teat{qj ƃ áٰ)ۮF A^|FqTx>"=ԜC`$ 0y1f 7؍DX|w.$4!?@$X 0 ¸i~>+ǜ. 7iat|S<>0]_ X Set8Y2-4b.`A{5\1E)]L;'3͵D[G1gѸ(CqǭqIghҁ w" bl'mn?xvOPuv큎PI{N4M"2 :(D|ICd+RJ}}5"$Fv|U>uAn`$[V*ސGRHϮt@D=1r%{!N*/id$kjX⤲nPAbJG/@"OpCTaAK~5MמI,lQ>.?0FF1Pr[lp0/@AR!.gIK<Lʹ-)zȴ<274P3d&B-/mM f?uJhS^ X-bL/@]uR`80VУ)SͰ]@\ozۜw^'n/}SW3兹iH)9i~vGOW.i1rTCv_$ %+Ǒ9/NSQPQ9&Gd^&1'J G#n?n dAgEߴK>,Y$s+P`]/j36*bnTxQc͘NhLO"k7LP g`ē>\euk֦zgNRŋ(RDD5ײdѣ vDgi^?<'&$p%.uDgMf1KoD>_M=Jc8 vԻAe/KfŖ zL ,Irƕ^:1zk:vl˃*a5^ff*̌)%hM_o6F5"Q{C6m|_+1ᢓ)UerѾ p͵"rʦ3HC\b6h霦 ÂZZaUSc=,I6kp5z^(P ayN60~*t-HܭM$?F"_r 'RP[1&&="-fD5,D;kə3S e; Tש%3¥$St]t豸:iC#"=cj'1YO^_;or"9SHn"Bg 0kzPϹU|kR u9<00j{Y]Ws@q#P$u"4< iX=y0va)έ1[ efX ^\XsLC-fz07~iV;n EOALLb'`>-w̍=r68{oCL:0*1C~K4.oq -6t1fncXcXȂ %k (KAS?F@RbfUjl+c6+p0صVsLoҘ1X;q0%{qǏZeʸ5qHܫian .L@v?bz\5aE(}k%3&}"HRJ'eu*٪U)NWi/%^Wd'WGsCoJ㾂%-uP r)ǧ3xwH@' 9\:/JuI)1sӽa)N%Aێzd.YjOaq9m:! kU;L|3Nr\jvHPpvB(l)ŻbӪ6\oUos~+̾H-4%@)5D6Բ.܅ @)XҷA=h@">>Cp,bfvU!#fï@>$ϮՀ@C池two] n:6[R֙&eM9&<"yʉٲ qUåTԮo%aV]x8}|3;yO&ƺ˨X ?+8)t_j>\Ǵ"{dבc1{2iVGhcC _ ]Sw F08Ɩֻ^^8:J]:\nыaw),Â-Ajwۨl*X|y柽|FmSq"U(:@U 'n ..N`:HiCB., }do"m:$~0c&|MXU-)cUoyv-<9f k ?҈zLQ(?F/4<;?Znr6pL2!@q24`, ߺv9( z\<_$$&鑦Cct5j:F8>OvRbYl,QѮ:ʆ55KdkV3z:U5msSfm?NSFFѿW-(~^Ǡfgh}t3e`ͯq\tFcU55UF?mYmW4߄QGY ےa##"Nܨ>*9}`@2pJ vd|OHyq0pgMҧHKf)@YY^TRO6<0e5+ wc|!4vCNyϛ_WlaeRliZMGDiHG%:zۈMdrN:/\LT'(+uKثWWijcŅﭖlE L4vjEE!,jMzRa!::u1סym fZZK%@}uç\Viqwx檱u f7UKc*m v,0b?,#+cK8O<9FQAII:>=Cyi.,ԓ<5F9BnRŚ?$2AZ<O?MWG 4 ?'Ou9A'G{پ2?_x. ~'-7oc.g~P_|a/6>p0xkMf,mq_uO_?E5*ps˟nA*]ռG66X(:7x>#3(l7w;'3yUOi 02tf(QfsK@n1pՖܸ}QؘN;v͚*ttpL ^!/]½RQgOeV俐VF\7[yV7U54r*&*^5AOnZo2[CU7|Wͻ!;r*2ƚ7S/ԯL{|_|gDRE3TN1tdINwIJ^(r {+!vTZ">]h$#" FuP#I&zr̀0|C>,( .0`klW YRδxq@pQc ]^ ~VkF4CN0%U9PjH$D9fJ 9tDXZA4xDp#ѥ1.,tRC,\$2(b-Nn9q bq{ʘ1` $`  Z(L< %++=1GY+ h@sʘHA&xBS &^nt4Bf[a&kkD_ Zhz$ x  C +YrEdK0+p㜘0C$5[(d<WZS¡KD8DXbڶ4VGըV5^r )L>sJ5/I u2rPpu,%"X,]X$锫kYnoH0Zpڈt웟t:m4OY .07 iG1Dlaqdviv^,iJmK3=m߯5Ztm&aնݏUϨj"r*״aܢlm -KTw{,[,5[wjlXtc#k(DFC"-KkE UZw--4nnh/,-ɢ"ѐHDL>IPtRQRZ =,Z,X= B11\"bqw]uڅю5+Ͳm"{ l١LBJ"*u+ӰԃEE"5 uXآNXH %D aC!q* ;\|JkEbH,b" l5GL*0 qE;!QlCĢfA!p[ M:SbfVށ`ũUT]:)-#:\pہ L: `0myᡠ`^ e&eZ&$x=pbX&7W A`DCNDvvA@Ps( ƒ'gꄅ@"h0Ġ F@q|s<`Vֹ$TO)peJM(@ɾ!17־ . (6I\ <3hU\ـ"C.*2[ЮKB)t~9 g衦C҈s#4[Q(z1 K($DROkHI 3I妱B,JsfqIl*S\Yx#,Q9x~!AOO';vnnzewjWB:b*<o h'D1/ yCBbcAܠ^h(4w%JpGoE' _@:^/_1`TGTo+;EeDP$^~7'? lCkA`Săivt粖qTo% &Ȩk -DP1g@3̾lLT+,tj־x8O:ݲȂ$ |DVp߻hq-U0SXM4! 񷾕5漺8Fuغj:㳬s0UޞU pDŐ\6 5imJ@bLy\'Ą?GD .ΊA왘?Enzly88 aLY >jqCB]^G*esVM#XZ {EDz!c29dJ~:J8n7OX!H o𞦑5 RDzdtpL",^ZG[:V a 8 v>yM#aǥiqtDS])b:grt5N[n5[6$J@݋ǘ^/>֙ HL5k٢A]LFR@_('(I#{.*BdtDF .ur79Tṍ7:vl53]uG{ xw]tjfV"_}PiI MHgae0+ΚTxz)v^2Qܫ D*?m:J`m#4}E3Uvۥ0Ηˮ~9qsEo[8AKzK+94R|~2dvwʉ[e0coylmYI&?;8L0?H~ B @}[͹ZؙWvcŬrl<Y]jӳs 0kV,h=e<4鹭)MOx}L/}%Gpa3#-q!;/0\UGf º΍9?e gIrq!1d#5Gjkxqgz<.'IXVdpI>ɌNiܓx=-Uu Ca-c¦h| &}LDswq@t]T(.VkQ>:>!G\t`&F*a4Kv(-tt\jCXq "ۋt76k s5!Z,`*tދ߶B%Ӌ.eo;!jjLhVf3hB%2αČ1V~5 BHS|Ixىo%rFN'gO?"hl1c߷.nB z@{$La9cGkG/Q dd7Z6D'9jH1d }x))~#Sڸ (uHm@AWsgg3S?Ce(2DuDaX2ەF:*G,j<س η_ʸmP SlC"ݝa %<۝37z7[e [,Gl,}5TBWQE9SI;4 7=9~CZp*wBg'jSډ*(PbpIQeD3α3ڤM!ٸ̹xCq T[%K/!mmf] dzHc]/K:${yE ,81 oV5Cd*XaV2#&cU::}e3a 9#G>QO2h7~$NFY9L`.\]O>|.,^<ˈS*a%'́]^m34Gg Xw2lrweorl̙_\&;RDY ãGoԖGt24fO_խy> xNbˮ4BSѦ ]Ϊ TO)#^+cώQ92nPw рGɖ9Cum4E)Ԕ~jnJc9-2xu -\M||쎆5r&|N*zɘ-:fjoHs2He;e*P=VG_C-}XGԫIir"?oe50W BrxOOk^ "CPMI,2x鼀*Z>d fDne 2EEϋ{O` ҝJh 3pQnzk$ے@,40 A]p@5+RbӲb( ݜ>5x K1nYCD똊U#Wh5za#+ "Bצ}ӼЩFG3FAB!>mi]㭹sne?YYIC9;fL2l8vME)y&dE(^sTlj̋Pc9\ؿ{]0r hjs ɢ~h2.p>ZG_HcaKŭ?s ;Fc1W^_sao?c2w\4s!0(:=BGkg #uW: c-z/Q>jk7~K.ne {_EPfH/?&8/k[<(F6"!j]0=H#6(vt#p#mSaz