abc-1.01-32.git20210328.red80> K KtĉH2!c31^ Wge6support@red-soft.ru  WgJtY 䠳$yNp]l).ުhk<4PK<Ɉ)'唷J"W3>ճ@/[-S9qN*<>e nލf/M3;> qikP# Խ}Te,KzG6 71 Ҝ{+9sκ%6Wa/"Ts:23F` c0Jk'7elTVnC;blKCu* 6124f76b23b2844623f7ae8ee35c159b2bab772afc9b7f95740cdd9b468488024cf7177667b3ba823b2f5aa43fc4f5dcdb62339a83UD6Y 7xO CLj,>= ? d   S$(@DMVZ co      4T| $  (*849<:GHIX$Y,\`]^b Qd e f l t u 4v Tw x y    " d hCabc1.0132.git20210328.red80Sequential logic synthesis and formal verificationABC is a growing software system for synthesis and verification of binary sequential logic circuits appearing in synchronous hardware designs. ABC combines scalable logic optimization based on And-Inverter Graphs (AIGs), optimal-delay DAG-based technology mapping for look-up tables and standard cells, and innovative algorithms for sequential synthesis and verification. ABC provides an experimental implementation of these algorithms and a programming environment for building similar applications. Future development will focus on improving the algorithms and making most of the packages stand-alone. This will allow the user to customize ABC for their needs as if it were a toolbox rather than a complete tool.d stapel80.red-soft.rueSRED SOFTRED SOFTMITRED SOFTUnspecifiedhttp://www.eecs.berkeley.edu/~alanmi/abc/abc.htmlinuxi686;| AAA큤ddddd`a0 `a0 `Y977d7773359662ce3f357431a822693864160c8089120847db751428dd85b143bfc760070af040a8611bceaf55bbd30721aad1722fb704f667c90e5868b052fe530ec6175cf7fbeb7b595cbe7a50994429c4e62cae6666fb3a1d5745f3127b199db4de1ae26f6de94c0ea391158caf3661d8ee139f74e741869ed263c8e95d3b../../../../usr/bin/abcrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootabc-1.01-32.git20210328.red80.src.rpmabcabc(x86-32)@@@@    @abc-libs(x86-32)libabc.so.0libc.so.6libc.so.6(GLIBC_2.1.3)libc.so.6(GLIBC_2.34)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)rtld(GNU_HASH)1.01-32.git20210328.red803.0.4-14.6.0-14.0-15.4.18-14.18.0d@c1@Alexandr Subbotin - 1.01-32.git20210328Anton Fadeev - 0:1.01-3- Build for red80- Initial build1.01-32.git20210328.red801.01-32.git20210328.red80abc.build-idd351accba7fa73b6d95ec706fdae90ae8987cb5aabcREADME.mdreadmeaigabc.1.gz/usr/bin//usr/lib//usr/lib/.build-id//usr/lib/.build-id/d3//usr/share/doc//usr/share/doc/abc//usr/share/man/man1/-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-gnuELF 32-bit LSB pie executable, Intel 80386, version 1 (SYSV), dynamically linked, interpreter /lib/ld-linux.so.2, BuildID[sha1]=d351accba7fa73b6d95ec706fdae90ae8987cb5a, for GNU/Linux 3.2.0, strippeddirectoryASCII textASCII text, with very long lines (321)troff or preprocessor input, Unicode text, UTF-8 text (gzip compressed data, max compression, from Unix)RRRRRutf-8ce90a431d4aa3f9c9d388768dfe3b8c9969fa97b08da83c0e7f51f873f523dd3740a67310c7f4c5dc929bce0a9970a078e1b007a6ac602fe6ab58c4ab4bcf2ec?0(/h ]eTApCR@+a#XF+nvO6M č`%9V\ `` pC[!'{;8 E-mIz菈v> (Z4V+eAL #ۥrL "Snt!xhI˶F!ÔːGAc冔* biMwvJPeУs}a( <BĀ^9( 823-q<󅘤_N6c\p=.Tؘse}y5ܗdxJA'HI{6B X\⢃!Ru^sgH(Q-^u  zIKBH;HKnTJTQ<`JUb Vi|$SCL > 4Vz8A"Q&@ Tčl <! 8:u:Fsq{[RY~W3FPƾVWM6c+̴t x6jzuUZi}YmOڤո8*&ԍÙ"Xk6v< zZ}kZAcM[oۆP 6@QR#% ukbaw|7pRyw,yC0AсOf9zw'P#aB+!z>%&7 "Ejq3ۇPMBCJR )M)-eKG'X)(I۵({ΠAD4AydBLejMd;L"PSʤ(&? (<'c .ĀG( ~{\<>} m +$GB%~eIu4EQ/kZpE5@Q.@Vi']G[B(>?^Wxz<&=~=+h({nʹx5zuZUƦT9YM~S_ ?p؎ +xz qw DZ  :qq8&хdF*hsl/DW~}JBJBEϹ00d, \2䁌)`ƿu@czmnʵJNeU5/FG| 嗰WQH+SIAP%%!OTa-&Hk ^q+3Y [aM[x;oY\K * o=og٦z.//)˸>\o:32ZC.]SzYf"#{S6a+~/9~/A* zvqAic_5^jlΡXQ>'[9͊BוcY9]KJtp߳)u쳙]guO̥ YemݤfѬΦ8-m\5Rho?T7ѤeZ)۳x9ޟ_gWYjK[56O\eM1uW3sL2o<Kf;X[筞Y]xp\vV{}εֿm=m=z,7cR=^rMw뭰y6 nqC1K}C?7F5d^ ޒ#5WLeSԤb7c,iJ`cOm꤀Y{:diD8 $2iO:1V"($ bBFj/`&&!jQR!L6QY"OMnD׿\*!'6Xʡ&=e* $(0NՁ=pg` UG$T ^`&s^WռB,$ ,ƘHM$TФ6a fP10/1 ƉQCAؒ {Ysꐹ pB t4dh:V*%  H@X ʈ P1F4& C x^DxJhQPQO[}8D|Tdj ZBB8M+k*1( j[z"DŽω%~>A@s^]ۣ,m42-I%I5(\ |@hi;A. ^mm9CxW= @n:Y  ^nA ?T(g*…76OZ6 YAh?"pNcjhֿvD툕=7,k}}rڊ50㦤KF!(282z؄[rAPP`'tm\g[bcB6~[i#AŽ2Kf8qQ-$̂Ѫi? "u4'b"Kؙ$ㄛA/,YҐM&t͹zk͹jΙ/޲zfNm)>_v?vzr~_彎mzeLgj[Y\g [٘y=etɼ6>0,{4!VÐy@Wۃl[ij]rٺw9Ote~Rf| Us minkfԪuK tZ%?(6.Ws6^ - s{e}pciYVW9uʺ4<0.ƻn|KOKڻa.x9vzx[_.}p]lV5k {fFJܬ "|)SYw; kcf gvQDL1+aڔĤ&*NʭL ?ǎ3M8\ (c fLMR]TMNrrE΅h-;hzS{LN8Apw(hNpSFH dA*FV>ћBen}~8(N b"GH?XjVIqH6x\yA ??حJue3g!p0Qc#,i 񨾰Xsj$K 'A6%D1fB$HMJ+z :0CQ^}D&$9!aQnC ^t f{'OK!r=痘TӔ@yjbP e!"HFH>e_GVr9ASMp:U5#ME#-t Xw VZrm5 r tqdd #ц֭Jq\R "7$'HxÅ :"hˮh{w?d# h~ 3^R1y$Pm(nSoa@Ld? (E2bX SءuO G}|x9"~Yxp(DG %+ Z@`Ǒ8YK2AAET=,iO$ K"eDw=y`Lr ]/ ׄ"SC&E;clz x) 5;)xiUkp& 6T.Tx"Ac,lqK3%(lsu2 v".%6'`NF6;4ʀ@&f,fǖ5Q U'e#, hh#tjwsछ7>R g٫r 6ݟXŵ.2 ? BO7DYm@ *8sKd*e e3KxEf$Q*&ܜH$IJC8$ 'e4=Sa81"L$0E;텣څ 6á`B;Pu`OzNThϝ':{wgU -b_'!b+b PLrs]iTyKqҸWXHYߍFDWk~)H S^!0i )z.qDo΂%\@M (Co%odpGK]¡d(xs}xD0܅ r+Cy\ ' 뺇BKȝpNh{SJbwѝz p Hs݀@GSG=GeS7)`^);t(,aC!G)n6z(Ue2ߙ1o*xwpC2(c-oXU o4Q la."l嗔!ҝPdtFu\F8`%Pt ,"Jx!Rjǡ?WBrewzBr=p!/MBZ3=&Z tPٽ*!S&ψt/ :@ھݰL7cAuj =  u%\qj9yĔ5)fhk!pXLmCv/HMh-&!;P\ O~ԠKqSORnMzf¨gA<6Ie#gx)>h4;O3~FLw]޴R'SN(u&-~.U:eKPE c,p$CqvlFbtعG)h7tQO؄3^pGL\0& "BF@SuLNNIZ\rePj_Go1Uz>^jJƂۙ+ȵ|=NޢFVu֯DB\rUfOX; O#5iO'Yg%~ ROK{cq^,7 MkF1,,L)If¤ k\^n*Sjr,1TLBdŎ^u3v|pԚS%s4x3V6Lۚ<^q\2YsgPjnH.mQ^ tYX'4׽ZI}wF;Q/GGb-⻟ ,R>( a@+)cyU@L e"XYˣ-l+/3HPm|V|z^xvóg%c~7$kuf-B1͂Ud-,mr}-G*ez;m;Z a6Ne|i-AL%|2Dcyxq*5HvGCWk+YX^c ꇽ(4PTL(U3@F串@z(ⴍ:N2>u;hv|u;}pZ>zKutKKwqʃBI%#w>3CSG9Q<7t!͉@"ϋ~5i 7b Pչ&Yg}Alurَ^|̗3m)xu$-@G:,Ů <;O4 6hPFyxoJi/8=7DUۓ>R_6ҿzOAP[U 3Ks!aN2+tFx^9vz$^"$'P^cX8_4>vcz1u)ܺoe %3H{B({M+<ʂ1v hh88x] 2i|RsS}hd(ɭ uS7Ġ|g ^SO 9$ġUh9P~GԘ`$%L; +lL=\{`D%|zSr&Rƈv<ʏ ǖrcf