abc-1.01-32.git20210328.red80> K KtĉH2!c31^ Wge6support@red-soft.ru  Wgc 1ԫxtPCo.Sëo)'WcfY9|:f6'#jU1?s&LLkIDǒ<*(T׶&Ѵ =ޅ /oBࡋ˃y5~]rߠ= ? d   S$(@DMVZ co     8X (  (N8X9`:GH I@XHYP\]^b ud e f l t u ,v Lw x y     ` dCabc1.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.ruh/RED SOFTRED SOFTMITRED SOFTUnspecifiedhttp://www.eecs.berkeley.edu/~alanmi/abc/abc.htmlinuxx86_64>X AAA큤d dddd`a0 `a0 `Yd969f3c0f53d2e7b15b6773ab944f604496482834477b295a067e494b62399a9bfc760070af040a8611bceaf55bbd30721aad1722fb704f667c90e5868b052fe530ec6175cf7fbeb7b595cbe7a50994429c4e62cae6666fb3a1d5745f3127b199db4de1ae26f6de94c0ea391158caf3661d8ee139f74e741869ed263c8e95d3b../../../../usr/bin/abcrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootabc-1.01-32.git20210328.red80.src.rpmabcabc(x86-64)@@@@    @abc-libs(x86-64)libabc.so.0()(64bit)libc.so.6()(64bit)libc.so.6(GLIBC_2.2.5)(64bit)libc.so.6(GLIBC_2.34)(64bit)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-id0c4a8217e1a39f5c1e1c1024cf76dd60ade4a1f9abcREADME.mdreadmeaigabc.1.gz/usr/bin//usr/lib//usr/lib/.build-id//usr/lib/.build-id/0c//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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protectioncpiozstd19x86_64-redhat-linux-gnuELF 64-bit LSB pie executable, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, BuildID[sha1]=0c4a8217e1a39f5c1e1c1024cf76dd60ade4a1f9, 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-8f1a2f683a60a5797f3bff47e46f7fe445d9300f94795e32f50e92be9c50837d9121a7989f1265f85e48d85d0657c68ef2dc68512e70d9c3abd067d488514950f?0(/h [S?R#  GŲ蠀~4@?BL$row'(EZQNF$,jFiqQdERP0~v #e|3E'd [Y 5^C$8ge/-&mPZB  L)Yerx2M9`$%(E"-ή)f\ppzBǩ+ܢ6(j_X"8N|ZwꗧSL+jB/Smk/z)^3^rk{=PDwܤ8IhS<n^[nCґR$k=cںӷrA\\O.8zu #"^cOܞܧYרI?I!WeJL:te,UHѭХE-p CmO{xMp J%&'?;6$GXeFZN;Lw\Ymx m.@Ky[TvAϖ7>-$|Q)>N2I) e@rvH1u*S0y 4F'Ro ʴFBAprrR{:@¤¯I%.oEz7uA|[#fHK!$>Gw.9]|M1J[d~\^]/T-- Z>g`8shiS/gO:4M_gǿ" MQn2(nkXL̯3ݔiu뜛e#9Y#=rXrbGMYН['WPFhT(ɕr\10CSk5rʢ686nLLu|z`P/0bOh3ZZYkӴ]GKnX,^5ϭ9i9o_z2[qzI_fn߲q;[ks\Vcݖ_vǦ&'eC0;SS=YNpXŷ^2_UuuZ<}՗Ġd_O1>m|[}C[n9ڏ{(na\xgů3*/9h᥯g߇Z}Egea8gϲ {[{=>}}.6]km38aco-d|cm5oOSm?gSup{c5|}_.xvkszVz244o;]f|V1aNg?X;~q{ ˬ,{vk^fO>SV~縙YםN+^.i<2e[CcsE=`XlΏח',Uc/'4~hU낡? %{9W 3Ii/ RZ3b:^IoIiyttu' =JMGָKMbX'P@Sz9f4x8"O?Z*N5(!iQWMgz:nSm댅0S\^kWYo4^]+7ihܔynu^[uץ:uY8u!&P)lM"2И|b*%L YYxaRƆ G$EvfC)cXc N a:%Vcn~<93WϼԬ43ά?~mNfmQekm5>cgg>m[eƟbg`9يu[y-{Sa{;њ\7ngKEs}LLRkm7v_Z- ߱5,c ?WؽRlgaALP_7L4ܶYw\oOL=j5rȱsmḩu[e~sfՇk\run5~-p5Olt߼_ _ 36v_Gmך|K׻^c?^mUn[lGoU:ѸggSo_V$kcݧ5վy׫|{[r/t\K/j[xz'Tm_s::{[V0,׻_k㸫tjf湝\utSg8Α1ޥNjܤiW>.w\]㻝-mCnay=ͫ|e| *7}eK56_ڻY\,nfcdߴq>S\]ˢo&TTTslpQ9:j䗓DGy 7ES"b\p6@ QQhձ@7eh•$GA&9c"3v#P2q$%,Ds x#pwĔH2(ɱjZA"L =OKT2tAQ&E)'8Z.`hbX-ЖB ,@Vu]QboQDN0sz΅NU*#G, w`yLDHEgs)3mjDU 7@oe1 vN6m*Ph b V8"L@9xH+GSDCgqr <&K kSpǴ@AD^nɓaIsbfF~S$2pICyIFZ{rG^$`&8d5z[oLB܉K b ;,WPrcV7h*RK$g;t1`QhDf 2P1"χ*' Ei}ؑ4WtV -ܰ݋=9l>4zHcm"eG?rf2GjbQU##sfE <\ט -P @GcKen 턁F XAs)N!.$UW~1:I iQ(5zĐ"&GW K|QD (,p^bɒ0I T:;-EP|qa%"ĐF8HFcqPj65ikloaC, NHD0 @\$+jy0ѤžGqLkssXPpf6Dk.2LM>\9,勋0 k&C:0ӥTv3)E5Y:*a8Æz ;'=֓8)3&i Et ++"KxäU]%+A𙂬룤+ (s^%i;`yuf$H-zeW""  m};zpB'+=x=((4Nsuhр 6HRAi&cwd QB"tnlY1ΐ1͞1Q%s2Q&9'<;|L*R̶qf2C4RZ(̢)m$9ƪgۡm4@1 ]#0oN @isGpT% Ċ5>i&1l`h (8XFpTt,P ADq0wA`dH‘SќDd]Oal=B7h&0"( HAJ|5xR͹1%3lPp@D90GJEG1c6 !fшH($&a3=Sc=J1$a5-`,?? ͲF[-ދ҉Fĉ܌AJMiC]0mUSݸWT쉀||f+v 0ٮX@2I B_HJĄXBXs'"!0QJ4=VX$ƀh~5P/tQLfc(" W=:*u [WmJ#pxv=D<>)L116\"H87W3R)Mߘ. BmhqKfFp5c~@*ʁiD~t8 gi̞"eHoCuHUń抟7G}|Wtd)# L^&?M-w!\Ӌg>bh~;w%:Np5 ?er9 y %6J]=`1T 6:_4v`/7*ڒ+ w vf)pq)ĨKӭ`6D3:6\ǽ7icJJZ@z%Ma)kDR3 ҫYX~.0K^6E:/1ă:1rz}ލKgZBъx!g`Ԓ)džmc`.Kckw {ٯ1诖)+xq9,[{{ vMEt-N8]DFm+Ot],g1a|՗<~b xe.<6F7Cr gx8!BZ}j\0;P!ѵ1* "Ó',xlzD)A%tСZ7C ; 4ם>^ lG[Œn?z\y'arǑcW\4yEROM6 rs؍K`}IW[=&1#l/.;H OD<懆/L+};өW> G7ܬU{8*.@l*"V'R OǫMG8;bg X9LF/u3Qj깼 ^bNWskD}i_!:wL7 6+-$!?£tYCR+}.?񡲦)Rh~Dc+DO+k끎[X[i_q-SPJA1Cכ [&[ʃtdĉ $t-) lFJ1&M}lA`=]o *HuwUEMTx,o9ۣ,Z">c߃nM* (z 2p1C6r:lӄZ8xqL|l#Z5sM&8%H9롛FS(Ps4*d4p ajp0J{!X"DF&)!3=n~8,TXcCЙR_,ju +ZC~f4وIbQ*#a#C<"udxBvJSo_y(cr$3˜=ݎ}@0l!-4jk^gDz-[4ݝX1&Z:I$ܛ 014 =)su/]Ռhw:Vvg7xA[_JI~~B.C=1\Eb 7vBW:] +F0!w!.l⼘}zF\qc˴mj c_ј~G;RU!}܆CHqJ|>~fO2@wK:82mbt\kQ,ܓ%ٕlLu'ClGA7W%BF80ybt*eHF\%鋁HK '/`#x-jsuK琼z?dP$I g"8w3a&A$z]zf S lTJл |bqJ\W}wvE3+O0/ާ|S;'ɹM=&;nӪ\"q~hI]!x s]n\N6 =35V.eS(