symfpu-0-0.11.20190517gitc3acaf6.red80> K KtĉH2!c31^ WgeVsupport@red-soft.ru  Wgzӷk)m&G#= wub0xӚ/l \}mX*К8{)d O/F@lD걦2MNEf_d>Y;.崨i,cĩgbs="IIe~nF٤plSH184EF7 !HSDM$FCh\ڨ6GֈFFi n-Y#_w8f,ctfdpUK¬A HrIa748b82b2d4a9ebfc0e93dd2183b4a1d208b6a615e4111ff6f216f47ea125357c3c8c5409744175f02ccf5c7711a724ad7a80b93TZpD` 0ߡ>= ? d   ) `   8  J  \    I      < `Q(s8|9:G@ Hd I XY\ ] ^~b d e f l t u v w x y     T XCsymfpu00.11.20190517gitc3acaf6.red80An implementation of IEEE-754 / SMT-LIB floating-pointSymFPU is an implementation of the SMT-LIB / IEEE-754 operations in terms of bit-vector operations. It is templated in terms of the bit-vectors, propositions, floating-point formats and rounding mode types used. This allow the same code to be executed as an arbitrary precision "SoftFloat" library (although it's performance would not be good) or to be used to build symbolic representation of floating-point operations suitable for use in "bit-blasting" SMT solvers (you could also generate circuits from them but again, performance will likely not be good).d - 0-0.11.20190517gitc3acaf6Alexandr Subbotin - 0:0-0- Build for red80- Initial build (rebranding) 0-0.11.20190517gitc3acaf6.red800-0.11.20190517gitc3acaf6.red80.build-id8bcb817d5a256eb7b0d1f92f3b17bfc28299ce76libsymfpu.so.0libsymfpu.so.0.0.0symfpuREADME.mdsymfpuLICENSE/usr/lib//usr/lib/.build-id//usr/lib/.build-id/8b//usr/lib64//usr/share/doc//usr/share/doc/symfpu//usr/share/licenses//usr/share/licenses/symfpu/-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-gnudirectoryELF 64-bit LSB shared object, x86-64, version 1 (SYSV), dynamically linked, BuildID[sha1]=8bcb817d5a256eb7b0d1f92f3b17bfc28299ce76, strippedC++ source, ASCII textASCII textPRRRutf-8a3a79c6f47236c5b782a3f348c82676ab304be7cf4631b66cea1282c41cc2543147d2bd6f5ed8a4402de5a163e7f01c6d45d13ac8f5afa23fb78d83418ddfd54?0(/hzl5N ;n{zV2 |!}:[dV.ؚ qsAZ%"KL>d> !=Y:Y8ZeD@ZkY?jz֮ y9Eڵ$>/EZ6m-h%c<4HzgZ+\8҂!5wXbiX Mt~`'x2ݦN<]Z,J Jm$9ܦ?,Ψmxv%P -)K.m:Y1c G YekEZU Cky?u`K -Nʏ(;)/~fy$TSXYW,:nqV/ ce%U{/KuT}yl7Į/̮\\qX/g\H&qYPp}N9ns,6cq;=>' 4mk9GO;34TK]3ֳtpӯk祿}Jݏ'kL&<* TAES0 bA'u%qPt'2hT&>[&dbGzRT꒒ZZCQs9U1ٍ^";D6N ő,*=l4L4X_Dtp酃h(CH}Elsw7Ya4DR~$mgnڰLp ѪW][7]]RI00)aVX^\7xB;B,빮[L˜vCpH$ }80u-$pG9RWS>5c6UځӤYH4TmcOqh,A*DzEx}+YI,gDJѿ@2nHU6j%p6+ >qvЫI1Axh)R,v:-\[Ks4O[XTF;[=j;^:CMy>܀g1kO`Nz%Zֆ&{ T` G5։J ZE|LMwJZa4ڮ>G-H;iȂmTF%ښ(CqgtԠdi,1B-Yj_+H&U+;kyx͹9kӴMvzs5Z;ѶK%ڂa贫7#VބSViM[Tc+mki~7 {U\ϬiK;ߞ54f{'KfǙ8,cMNz%C/=Qeh8SH`,)i@ؖF:A:B EQy`Ƃ0# - iBN\9 qDe3+\c{>`HZcHdѥ{"Aϧ78ٽebDd#ppS"f5VB͕l@h&H-A-LPŸZeʖ"&Xjr P[jL3@.O1p)YM%-:'>"sXe,Ua9eU@v,'R^?Q@4髡icM;$1~`Ba3gIA M7JIb'ha|&4lS 6 zxH bf2520Oem hO6&#X (NwxbAh$aԌl\''3ZPirkyR'`*o6Y8d-gR'Ԙiqc!0(: R% > ώaE @4 Wt67t ^rrB@LE6"5m +@QxݠA9&r*mzpL,'Cə^tՀ! !DŒ%W.`%mlAIJE# :(`"$nC2}")%p)7${yY& C!Yܗwi89n>7Y|b|䞅t6豯5fe\3: XV@*~C6U:э^tsO}!{qxՏ][G* ҋd\2Eĕ]DEEw"XDTÉHW"_eSv$bQfOymx(Fzsf~Y~,]V*WғˮdrL7)@Az%?:w]풵b[H/& QoLح{)w[W/cx穰.ݡo]}9;wQ?ѳWu^m=0>jq 7Xj]پBi?FsQ=KfӾ\eq]PNxz_ovƶ\{LvYpܙf~%}v>۽oݿxMӝ=m޶4gEc]?V,޼_)ht<zyi.۽y]֯M[ux{Wg_H&KU&{Ԫ:rD9%2Q$$8o+冒r'"nr5A35-=UxF)0b:ѠVHSy=ތ(P"m v0]T@9=1b; M޷c&sdJ!$I%c($<z@LGB<&BFDd$ ef2^q#`#|;[!KC)93J$Ty"8 \Hd5F=]VjaH9:u9g\jLmQeG0{UҒNce6rP%\RHPse[wϐƁ>rW0/0,-&+ y,3l13 Ǧo6MĔ28Ӛuū#cJ`] E*hʌ_xb$(ҶsW:ĩ-(+"_$0B%$L]:I܋1 #mw\q> tI׋#8(KYkRXNfD U5gW\CEBph6q_Krhu F12 H34[|)gyGdb\+2VaKd;ʫ)맵P {R.K[ڭ[߲apSTEzK-:MWBB}iJϾŠwJx񑻊E~H%`ـ yl $Df&}2m Q6^B~t0nsĥ[zt//ςQ,O;в' EOoMpy͗FkFWE,F':T\Ixd5_"W^s7']R`36@߰3ڣ 5(}PM3!X1^_l|uk&AƎH^.Xn+Km޳mt x& qDk+R5أ3'@_PAc NL&y0()//EWX&H82dpa pBzm<9X\Fa6|5 82!n[y?Ë$I|,j5Icֵoagi V-ڄ}כf?b όwľ]x,Ž=XVtNyĘ??5 N%ʠ%y갞DŵZ:9tNJ5Y_J[G3Wyٌh :wym4%EȀvP0Юb؞8C:KmzԾЋ ֿ/4ڇc, YPRB0puUt%exQW- ]!M.MKc_$8_<:~w'3^XFƠ>௮(ptF>~5D@#,]}|cY}K>7S%pBxVL| Yu-_ /UnXy^2f.q mC}$"KSy=PG_^ߖGɻ-%&hfQ(& ϶h9,,3< .POGœ |[%"`BgU8ϩ2S ZobZxd=!GPF!DGwB.8+uH( -3M|NɟHnHzC|~3#a*/oqB,qz?q)fpy4rr\GEH:55܎)@ 'Mgӄf.d9 υ4Ev5+/E~*Y3ˆa9`a6 VG[:{ڸJ;W.5 ̍ $ɇxNC} zӨ.ea5';ba'`yOe6TsI\̳+;{wk=WG. WjIϻ\P|u,t0J% 1tj,*I hDřԥolnD&#cxC,& INoЇR"r9 #9 n*йG2dm[:NFxL)V;MJs@ u- n,#rNj.1vSI #q$!K~Bꘘ:fPotNv" g~ }l =-NHqĘ.,_ v)=S()F^-Umi2 5ZZIr_80+r$1[*m8S>ZG^Or2qiqڽ~\$D +#3OjߓWݯjVaqHYj0t:uU*F]"ł`R(G۸MT~"ϋF`== 6i3<Hô/x\0fผߓi }g ᳰ.Ug!\3IQvJ̪&!oA{WĚZ7$ti|B  `v)8EHQ_Cxcy(ϯ]47P{m"qO3Î9var$۽ޖ- m.w)߭Bdw ϤZ,I,pB42VVe{u rfAQ؃B#|R[Ev_Q[\J'C77hU03L,Q+r.,D+ rq*ZtW-S˦L?Unv9bJ2tszYܐ}\s̉@DEe5PTfBu<[.$9IbWدaz>r;r8Qܓmr. +mSk:-O3ɏqLrufDe>S\2}[^4DQpy^]-;" Z#C;=U!_*S1ǂd'] >}}C džWw RE9']7sͮ*}Y mĬх襏pI.6?rM_YABe57+. B `Mz#/FY vLЍj }dܪPʬT'S@T(|wC% 6_xoߎ-Y2|dosUx8}Cb00!(jPظnLe j(W(ek4 xHF2P _'$溢#ws7Zifc8xB[4)ZgStik˻#qJKF%a TUXc9.ax!؃(O=h'+qW/wlv(܍ ~2bhB ~<~8Lf MP̌JoL(NS9piVc ;V{}n48KkU7\NY,0tZ)2 TMHuJOb{~FY6F̰L;?!̛LYt144`S}v`dJzRX fX͓ثX,v HD3+~O݉RuD zYP_#Ù6D>T:1PZDoۣ&}b'p:Kj>ml|bHQ6X4p@^/|Y1"߲ޥ]wn0 2|\dobm=Pw -|SG3OezlPKp~3hlm9mؒin_xdThTd_kh`켂yKqv ebǮĩ;zX0eZh4C{!&F1%lc.6.fɤ<߸'k[^d*ZO`[!)ě>[4/ É5 W{cZǗ'ڨ]t̘QoVA E!AsQ\DMp-B~cƁ8N) F+v JY[Dw&bС !`StS`k`[+GX !EYgN =}=2$aa4!uK$D 3pr᳓I+L?/v>s8Ac)[%gJǸvƛ 3IPH+-vճf.r~Khrr&`>pu1dעaC>-)aB ^€ ~{3 F]>‡=G:m !@I-Jt}?&W[tGaI \,`+P~oopdoy'7#fKAK&yy^6"d}VHЛkvBr#,G:iޖebm{Xk2N,A(-{,}+ic Ć* ;J:WSOA8NQdyN]Fy"5YH5VM!~:<VGt̿դ@ĈX(?"~i/9LҖ!#1o_}f-R#yE&"&ÀgX(ݗٚ * -RvxU>a*skh?iH߇tWIGv6 m(2/&O_5R 罤fu &)=PT37vXZЖCaLLȎsgڤN0ŞTtn ~O*2:G".eew<5pc&c>S2vOPjWKIjx%E`C؂(cl*IPubmHe!lp[ܽg:W`~Iyi۠.[7<;_<Ýdx& jxR<6 3W!"Fè'f5$oZ zA=l5Oggni&T+%?Ʈfb bnvJuW[:KwE\14`]Lty pAzk@0# ɚhr&,փ7G$79$1qi $A9%8ɛ_?,ÑWlLc0@? _dQ 6+[Kv.+\_"z-c JMTbDQi)f>778{8o{jƜD~Z|]|gO/X3r[*agG@ʢ Wee1 *c̼tD|0 op2Ü).ǍLmPM =a ™CE>3L7Jk:ta 7SytW/D6}k30\*B S}?n)Ljq^c˖k$,ym!8Üe-6tE;nA0^>ۓ߮e3jv-_ QɡCƹ\m7[[=f0rtEAE=(+t Ȓ$!#z 1HIɊ@㉪pσ1AH?½1!нF8CʒCF`'LIqD$FD4M(> '$DŽ"ᜉrx"%*F\* !M7I'g 'EN1B;UtIb;sNm^̝@?]cjm`ӬͷĚ( `f T]pš ]X*vV,zFf^a33ɲU&?pV$Q W>jYrwܵ4 ÂGf> 9鷎_8wl-HR=7ӉL_ڴؿHoK)`TQPpDׯɂhQ`DO4$-")EP5#ӈOS(9bC8I\h8E8g5"KFI4''F $0ķ((S0 #2~ ɋWdp4B` Ve h})~hql InYF1BxPOJN ˪ڬ"\愾aPt燍@OCz;pW@#}(a$ƸY/]0F'0LݜAHTӏ9 ?:J,+3BA 'a fZi.lfsB5@P@4mnOhpY$iiG0,2-pհܔdDR @y70%Q}M"[MݽO {r}nyN$ObN:ׇkCuP=a"7FgE}~:tn fnLY Kf}F^^ED]S̚Ahњ1]d֠,- ǟ>2Ć]Geۆ~h?/̱ o}zf'Rxk&^L6,c!krUrhn͘f7s-RJgʟdoCiʔW1CWlD5o<ť[P.7B:vHN(|e] p>oA ֧h+&AGeB#`^58"4qmtgCMC ƧT GF4.R-xhhgçiwzb?8/ҌS""NX"ng JFoJH'Ox0+ȜK$v4*E}-RMPVT{i ҤVYuh!|;XIUc'O4s2H.aR|&N~_> A=dµ_\AʄQ"k }zCz &,-S8c`V~"Ch4OWkcY*K?v!֣S2*cõʙźo1X QYF12Տg{fs s"䂹fbV0,H3ǓjD gcl?_?!1@EMA" x-M9` >mdw`F&ጂo=[)]W8hd&`m9x3e=)&?kE*te+=;\-4M)XPsGQ>x L_QW8X¼-e"!:^Lpﱂ t8.]@^ __pLS:)RZ@!Ȕ (K\px'U^?3'ќ,\# ƈ[Nku)v [r2*>\PX,cRMr1ק@o EQ^@r ^/@EE }㪨V5zcb)Ri{PC#dfd=IV]W}8O|;I"W(-MTE;"tB4x|B#DvI/"ЯK@/E# XG%B%5--lh&u*):$DHl/V.Tˈh>NiیE]RdYKq0le #g|m6VJU*;^4)pHԣv .?f9\Њ0UC}_,80PaxibZiNPD (LE@.*5 Ë)fgfA+/mSÇ]daxb޼(%릩hg2(61h_.X]}]<\jgSS'Ro1h_3@:'F+fx[EF 6?zcc$vK7?S- 3"Iɚ[SҎ1o -u qL$K+R)[s 셎g+@ٓdJB(cۇ8 w]7Z#2inZX,Ar&f'cxM~ldv!m޸r ReᵙX^@[ EdF̧``*XdW&<| S>f->@'2lP-PLᶝp@8~qIMJe[QO7eLFw"%I0$u`|.(z'LRG ""VW2&O:>V> s }LegB@T@5 h'ڔ)D@Ky.>n%g(~iL]3Z5@EyYÏhsIΊ0Dفk:)R -^ʂAHaF#tk:83RnW &çTlNQļg{@)aK E TI1GF3?*)lycܸh=0l")}J_(I|D!sE@kDbGW:%9^S[SC.J^8%݂G2>/`EtFi3pFOaECdOw8CH& hp` sNSN[lW#aZ)W'22m̮68+"0P6/Pja!əAfa8+K\à]n4=1&{Lߗ;oYL vtqe p}Vx1۸&ՅAᜍvs)z )j .R_ zq4Zo~O,rw?DI%N#U2lZȫi1~zi3}bee: ͆TU8T++ ]ƧEIb8P5rjblܐO7e{i| k~k^QJ84˷Fh=h{߲eI$-k$ & p(rR+P$iњU qKaH5|9jYNjarDU3 qPx]ko,PSpN r_1b%3]KC~g(;R\&q hd>WK H~4"%34I\ m,r:v KQUthd<_I 7bS((v vXpjL(4e%62# AH>H70"Nq7ĻĄŢa"ň֋T0*AU zQt|m贱sSޛ_j"TɫB=߷l.h,AQQ!N@C6t!cUdɿU/}Yt*Hs'\zmN OZ)! @`%&ɰ,kS u;hҠY0'HԖo\J!HΞY\͓PT" JBvz+k߇>  ~9 70Խz6sդDWȧsHOn+s:A,lg Kx/kBKq͓u"C$UBN oxvg Krzba BYCH3'. !ED/J"?p !] ML>Qdl}:x Ə|DiM{-@؈b#+>76 na+RA(~Hs xl'M@ow(F LY;|~ sP ݊E e0\x+QS 0T+չ0Fvq=16gG<*>N/ v`7C)#t;+#bܛBӓ(bo[utW&n@n3E'K˂͔w-GOa'{C=^0@ m0'M:`^>K~]O@ͽ}6Glv[昐ޙ xZmW4ijgFc%!}>`H=a +Ջ6'%?F.T"-"N¶R:$:q;)7:H+I#RVZ~fEޏ/U0tj=nPea9CQd43 r^{Y1 ?\=0BaWgE+d@2Kl8ͮ”mJ+Ȟ;AWW4BRf 7^  5䃰C@_|ګd[}3 *XB#-0%Q&ow;v)OE9>%A3\'1`d po5 lP㯁TTEkF"z!FPo%Ч)PIvxSg0~ᜦ^p8Rg(I'vR"|/X\A,&՟k^VׄvSѠonCl+!gB¨"==;&5Uk3뀦$BD{fR<oeCSWb9l/krew?83F6t#SQII]>rXچDLZ椢x͑xIRR9 "e8\3A8K,n0%:]\ _K/[Z7L%)8ZaoڱxB> O"kd/>(G LMɾhy| a{{D0(E|eHR 庁]I$@J-a&[R%MV`.׀/l[ľ0&0U3/t~