symfpu-0-0.11.20190517gitc3acaf6.red80> K KtĉH2!c31^ WgeVsupport@red-soft.ru  Wgn)5WCp i0b/3iU;Nl]YA iQQ uSVyrˋ!Z= ? d   ) `   8  J  \    I      < `R(u8|9:G@ Hd I XY\ ] ^~b d e f l t u v w x y  0 4 : | Csymfpu00.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-id28fb8506a4fb9d59c36519abf3f393032234c283libsymfpu.so.0libsymfpu.so.0.0.0symfpuREADME.mdsymfpuLICENSE/usr/lib//usr/lib/.build-id//usr/lib/.build-id/28//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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protectioncpiozstd19i686-redhat-linux-gnudirectoryELF 32-bit LSB shared object, Intel 80386, version 1 (SYSV), dynamically linked, BuildID[sha1]=28fb8506a4fb9d59c36519abf3f393032234c283, strippedC++ source, ASCII textASCII textPRRRRutf-818ca3dcfa635b50cd4fad981ed4e4abd9adfe63bd0ba023cc61a5b3cdbe2113219f816e50effe424e65fb9d18234eaaa5c32b8f643ed79c2091ed2eaf8b8ddcf?0(/hDR'i7Kj{F4@( A^Aҧ@h3yϊ{yohwL+$_[P}L3L0Pm,Fpq]:1l~3.8ݥݏrjJ m7#_Fb?#swHo~n3Ѫ}#s݇:"ؤp_ſWيVff10 29e.UH㊺hQdQ7cђ4o͢즅w[؊B2wѩ2]VXYPHm4 @@5%>mʶVf`+ ^#;sIV[`ܧlbq}=|y F**[(xg^AjU.o)V: |@pf<"TNÔPXu{0oCޣ`?֪Km̲[Gdwpme`OL)Ohٜ"sByZ[al6ʧ<kM[TQt*_V]EXe! FjjZ+5Fa 21;[Wvm2Nfm͊ٸl4@[mZ8-öWǦ*+$uu9n{wMJ]EE}4tGX1hԟ7jc ΁ ? Â$ IY{x{`<"+taГ\!Qb9t`.ᣌ! μp[q쁱ϯn]dкxԓ{T%^Sjk9L /(t4%:!dLa9^0}_'grHzrI$GjU12\DGCS%QhIT%J\dD4]QҪ6JIB5P:DhHĐjQVV !sJJZl"yR^Sw㩫:)݇ѥvXݙ-yf8יd ICQSD#˻OtݾpIj: p]~b +K''}6h/h|z?VvnK?`*/L~IYa~JHB};fAU~VȤwN=+:O-6$Cґ+csOpgUQhp$p_Hd/-y,p~H0AvpI'>u r~B=m.WY]%ʋk~%)Kp~t*αi(nM{gEcee6W'f}Ç YN$Q \XKW5dk[9O56!KhftpV$K<~Ӧ~OYgIEbNZ8'b㙽+Im\iuᘞǥ0K9uJ'b2{ۘ-\-o8}?Tdj| v>>^SF;haϪ%D,]/u.STT>vQvcK>}_'<6}d7[:J2Yw 4~\ |&DEvwOt~Yehs(ue/RP#y:m[5.4p򴻞vq5smǃ_vb|P]?۶\> w{wo ~}|v?<'u5T&Yyۦq=:q[bFË"΁Jx/l eGPrm]/m72Jso?RGuqdUÎ! JC8 ]U^'bDpGٔ`.X<^8`S6vF Q.$퓫 @(z,qЧ߀o.rf=0fB}_GLRM8DoBXOR Y!̞2x ٢78 ):NPTB# r'\# lˈ0u`I]%fO5. R:BU`SBcE6 +0aȣ]Iؑ` ɪvQ2RRj{]FpyFnFPa`'!K=Z#A-ؘpxPxI/M Px.,'=Pz$ _da^ZiMEFUzJMs\4gdۡJN[ѰiFj4Ű:hucY+Ԋ3U@uU‰OLpվ^j1ꥵfq<4CC!94ө|땎$^L^=3MOBٮ璇::8ih$Wa^"=)8~krttdADGdNFC%c&Pǘᙔ¾soLإ8Rt31yZRjQz@5}bX[Kq31*f6]Q-!0MUcY 8V89'c291c1nC 2Y-Lљk01mPX n02ym0«Fd1RTGq2 &)UM)8rYAVYc\'8n)X b613ajcfM7ϒeMN̼l'c< cf .=ア8Db ?4E0}o&ۀab+,{}h&.84rP6tYdd8+Z^%ƸTlx/<)Ǽ}ۀ9w(T9kC۩=mL_aNMUΫu.FSZY6զh9Ujd>=[o\TCW[iYɫX}t-RSZe$Ƶr>W-9-vc٠ce |(S뜮DhQRWGH &!9T5FWd.Cv@2E'itKC] d$X9?i®5ZZ}98.zd}ћU#=TluΑ~ZHWskZQa\ɨ/OuV{B^/؂]PROƫ_  AjTjȢ$d+ D5%#p2`!nmp [o0cq-"e  !=hSbETUe (0%BK&&^+ (>% %&[s.DqQjBl$`I=x Ŋ(.faCJ kr)CG pYU%`^ZLQuD)s9Dt%6 /hdB UC*_P`ã>A T|@pJ#Id)pbPJc$\Dzޤ|`Zr@ E~><.i |Cj6O>`3 #2$'ÃfJ1+-K#+CǓzWV5dbfpxV­ JxHGdbti#9';5k<1!$@DDDd$I2N0 K ^_Y@ Hb~Epp]Rx!w,Z@*uX{OMK=jNΙ98{KE%\In[ѕ0;E%d>_QjRkzn4ShXy$رPGmq8TKfx w q$W]ICMG X"'q!"@*pQZՂJR])\}%@H:fE#`R`U ̻Gc*@%!ģv_0kdիм2k1k|3IְNd@vQׇC츭|OE(3ҡ> 679Б7q\YWh Kk$Ԝ}R(t;!hhxOSj D⥶@/ר+P eqHkɨ]kBME15=JC[w&*zwO&+ 9p#t&9S~UJQ]j\R, ; k_\>-;.cѯF(t4yGKf_GZm*_cSa߈+15r^x% VVm&4BZ' kw-$9ܰ,̑?Lk s4|_Ttl=5Y@ixo ,u6dtV!|_(lvZxĜ)ɗy¸,^B<ݖb|ı#t?<$%PVnOQ$rΉx'Jȿg!Jp t@2}O. i.!9 Ȇn(X߿]TjSz= 276߇sy[V;`mF}p#I8";$]c30Hf+@M X]4L}ΊӭhKE/PrhqK @?e\p`p5ʦZ/} }ݟr۵Q]l i3/T&߃xwJo^x /AtɍCkncZb᳴jZ8WRoEOK> T@|te4˾G IB[ke"y W2%Wlg0t`,5} Sv\A㪦E~ۀU[0z1']H}21BӜG$pHלiG>j%*XC 7P1P"@koI,juWSrϵ/=quX|ouC0VӗRylQ{8>^,v* ;z)`۳S̭-T= Bϭ#sQ,Lb.*Vx=@%zxIY~Jo)E^i<St, 3ɠ\rR/w&n0.LA&*?kz>V`X -{ox|;V>q(tj>cqPl3|} G!3Kc_e=y m;4K¦ՉBad4y o-GSI%b%l|Ct|Cp OVԧRCL$ZiV,`6tS칀e`u/9.s <뭷·&̙0ס|G9[ik wl $2cOh,pZ*U[EoM'vAkڪFwlN3%Q#?{Z^3`1Q|N}[U^$vi"84o}{/otLp._UJtYseEU#w޲MGڹ:1'61EQ+z)Y8Enq&g2ACuQ$oQ~wHE^gqh;8K*0O5!#alTY++ʰf(7nQQؐ/KS&IwT:1 \5hSU\ _*"3t#VLQt"Tq ,0y@a[Xe <&,..6 k&ދKe+fT~@Vt,LpP(TL8eՠ4-2CCҲUr}-vKregJ٩گlg-ϳ4k=; Y,V5)'_vC:/ ety+(a'>KF`fZHlc  (dz 脤$aHDDD ɰXs=܃a>0h`P #1$ _%l*Ap7~\ #xXP 13)D/}GZ0Dde/@cE;m_VTl=g .I."l37,(3E%)yr'PB:2>Id NdirizO3(kz7*3nI.vp/;X:s1V 0TI^Q6aG5@?yt"!:r@"꟧D(;?+d=z.cf[5O 3W-0ÓOt~Ͱ O|cDs.F x+x5߰=p|d @OBq"X29yA_P@lޥr1s(( /@hؗb^*.a3{E 2 Mf[xedw UO`kYC < YKA*r58mlX^mD.| *< | Xl餂&Nŕ-KgA 7"dZ2L}K˲ aKX/>dNAїB*pbmU=w,*ĉabuթ7[ʭ2u^wh5%O@$U 8m{B<>9} M!Mڽ?f!b7no S\q/yFlݻdӼ+`ߚ H/$85$N&]p?Uh~Fˡq+~tNMd]of'S( RP߳MV5ӵOi[IkH[iF@ 1Y*Z y}EmjU!WQh<ȒsɂލFߝ/[fЪs/|*iݮ;ٍ|H\tMwDÆP4dJ Սzʕjr0$k} 31=MJXY p R!4V2 7b奭-]3[ekcRVT"o+^NZ8rDnom'^ >N#JNl:j< Bs%A&<&bu}cNGI-*&^44\JK,d8cQ̃;2Y# 6&GDg"34$H,)<2 P;b4?I:-7),-0P>?Yb?hP]/Ĝ;}xĆдڧݣ!0W ^4Іv7#9泝]yn6dËa VJ3oneyabsDeXgg\@qNd顸HH49rɳ$2ƅY;0c1| Ѕ>c,57I, -M [\I:B,?e/,٦WQ-rRI<[:2Pg9٪E,`d#E/Nʃ#x&}wݐF EnI,Y}V0=7WC,Sqȹ(3ri:0"# P(2tH >(bUg"ޠq_vR!7S|,AD #r|FXL\X4fgZk?|EәFe)h9hŷ$vX_j' -5ڄ/:Gs;ϛ^mXay$5! |yʆ/aȷI&6T@S574E*zBa:7J8xƔ:(<%&"F^p f.ÓTv#WG,&G)l= p  K^+a`fcdKDbcTf%_E?F< 3 LwY?i /ťAfC&p']AIO'H϶PzWG`|ܞ2Uĭ L9T8&@2 1Z(H]A,٪j2 ګ}hr '3.7eܘMp施4wNGJHZgŌ75r=2z̪@ %/*aԹ)'2xb[bW{a7y H =+1]MƄ@*Ib@ncDG57⌨lH&-8xdح+kQ}>{Ćht+R%k3b2e`, יNSPz~404Y#XBE_7Fr8F"<-jF @W@$= K%8Bj}:z1O+AH!5F1dD8uꌖ yn-)d };ŏ`a#_'1@+Tcٕ Fّ! _.z6 SB_uD{k~6AJex$O$(7wph^*{w[u0fM'i]-s@$ptݯx|h>L+"t eWhO -R4 R]e/¯, [ dIէ8I΍>W)|]Wǹ}EfeHAG3qxMHSy5OKe3_P嚸"N+ЌZJҵ,;ş^96ԣ}/db M$n-u/eV*v.I뱦Jo٭>pzےkzAQ\续FnU).Zս7of[طveYP(*o1[,FVboVnT`i@8o+r\-Ɩxتޥ/M0(bL)ԀVŭj}p6h6 VmwR֭n;{2b˫j UO=Y,'^鯾(0=g9`wgF _YjyVp`h`p4rɋ__O +oVj?i{IJzQBNMcH1p $9H2)'|&pҘ1MDA砞$cDJRs@r4FtD[@%FH]0^D !QE㌀b@DJlH%7j ((c02]?JN *,2L , EVm`%.Iد7v[2;@uGl:ƚB8fs`V`FmK6S'E9s ^栘 jD7bl;O=h$1)1M܌'a.ڠmШzUR^nZmTޏ:j[87^A"\;œIYH{|5VcA"] 4e̛N٩!ۖǐ/)v,:Mʏr 5VD8V[(&2Ev5( M0|֓pz+.9Qr%frv].k9y,5*g"aIiNJЧpIkTm<_mV|92_}~r D(4A-2X,d `IG%,vauE5Hx@ԫ >/[;6">NwX^+5$r:\kn2d sN뫸rq-tj4Oʞ3icPGqtHNWPD=O;oC)OYwU.(}%j?SVSM\Lc6DFfKɶщ /3sjM>U)C'ljiF]M(:%q%ҕ67)xc!~K#2i U^-İ+Ҁ"E~ NM҅au#Fb6QF7 P (f9SJoW٤FaXm' :vpnehz4BgVc37gsAT"z)RS}<ȶShĿ"ve;`7%Ɯ躌9vw3nȂbb.zxW^ᨇBƚ (n: 7Ҫ`8I>Fh E_{/D_V +j#:V%St lzc/)"˔#2T7(K\⏴yxp ^?;S̜ Qn`0jn%iRO2@mz=լ՟+/B| oI웘gYHT%?WsXȫhxjC{y/cHXajP_,>5Eȥn6J Ѥ"&7wU% o)YjTp'5)QOfwZc_VJDm5j2bCS#F@ fQ6eX :*!tNa34TIv !!e*g"1q"в{l \ޯL^DL30)W;MvVTetV!x {j*uo@8ui7Z$Fbtm R?p͆,k`a^܏cORҭ5:UiG1k2tm<Tr2ST,)ͦ}a.->O "4}y131] 3#(KօR%E#Ȩ=d5T}ֻ'j{pq{ ͦFDK͓)AV>31`2nc@g~ 'lePx R ?o$qgMl3=}afn{6b4u1&jK5/\QF.[s^vI +p#jRGb>tj1&C(c&Q)^ŕ)`T)[6,ԫpXb3 ^2%ի!#RfP`/y@ `WcAUɓc1gMWH.o@lZ9Lc[3h3B6A0QҥKcY*J% :|4bj`,0mKR m"6{uYMT:㝲vKJJCThר%Z%!z(6[.d7hTo'#KJ3mtpBAiҾT+\}[Ѫ ǷQGWK L_V3wmEOXFDv[>ݸv>,eTU2̬3lN1>(\Cb @(+ C=9bar0K1 4_ #QrvwL@/LA6l#FPn\ײ j;1,j=_L9bŎ+ Ԛf zpmYo.3,1;ݽ[B͎xiq ?:t>hӐ4eZ":6N7՜+IsA4˩z^"mC.LQA2D0''lmԔ#V~EozW /H$XjT.lϣ -1Bɂ5s4Ȋ#9SKAsn3)4"J{5[%sfۅb9rW :fH*>/@ 5nnV :{}DkiE c^ݡ5e7kCw*6U01q`7NIfO< .:NfgYIaוT7и4MLO )-D2Pxj}i &AK^JHV)C@ cK~g)oE{}GCFv_hqA;d~j3l?:ݬF½025I8rRe,|f1G.4^ 1H 3u;|ȋlQCXN-B'&z9 BnHݹ;PuwՁr[NO\YZ{Ba@n$&>ŶkC#5syH8x)a/H{ !egDQCVR|za1γ48/Zo`X3iCCƴlwqI:A399(Pe"V17MK{ ҃ѥ )e*m"3p2ˠF,v x^+*O'쯜|Hᬡzb|` Lm.ŏ{%0/%9da7}Ѱ2U渠AóHhk4ɺx"1aSw@@iN| _) 4^;Q|Fk3GJ&x,ٔIZh߂p]JP&̄bZ1B!"AHXI<&.Obk6eI}1Rֈt-SpI4SBi'a-XoZՏ])hJP_I:V.3`Zyb1uei'JyzkYE l)蔇U[ЙHKm24y3fu!}Vg,\¬"*G<‰8O}!(EQ㎆o"㝤`SCruog9gdA V?jE8"4w)=sjHuGhJiTձɯ|chN9[Њ/2[* |JaYLA}VBheuOR} {9BH2VbGh<6>O\V8P [B~`3AY<daHėc{B/ּ.` qz+}P_ H:m p\Ԍ\H p(dCzBV EtIWAʬQ v~\ɩ!Z޹gf"D轤I; !*&< T!"+󀒞GVIvwI#j%!h`:z쥌(8v~ IJ#$ua Y`Dax;^ jLdpg@n5R0,g:dQUg(*?EPZqkp+gJ$o& _h+pV ^( t=lkٻ&qtO<:jz4c?bz7Oڋֶ;M 0`DqѨ R$|ɧ(di71!mKyX 0XBn'u햒c { S1Ow]R.r}`(IP?2w  nZrXs." u! X}%52pc?*hf:D56F#" VؤȭiBUWӾA¤**pS~bZ1 Fx,@ GNC}#1aa ݩ`ii(T⺅lAt1[ '1pܐL_X75FhTMs:=[}Ë3aS@x5F"D!RK^hcn6٘L .f&IO;3mTYl'P2n((& 0%L++N`H q2e#V30mU3&V$t##~Dw0zR-U S~NVj^)N^3hc+ofvZqfdǀR1(=K6?z<,HgZ>X~M ,eHah㽘 D IH/҇;BCQ{ 0G-0*M ,.R\&}r`@Y:HsJ+&ӑxr.S/clؙG I`XSOgAs΁^3a _,"`m1/AͿz_B?19 ŐsL2H!gOބNCIm@&)>jόF4zѧbg9)9t8ζ̎xҥB*J";R; ~ʇ=O!' }N)Q{t`R=+*$e%fjgn==_I:]9¢dMHidtH<뿧чi JD %Š] 9mOҚzRe,C 1r+OaϬ <)%I/F7 bC*ksj9X6|B<X ^9>QI3eΊ Oꈂ`d}taEd2I 䢱PE aZYp uZ>o4[K,8ywoBV߽SOǔ#a2^Hoc` 7& |j"e~T+|`6D ܃نBf I")a AacW,y1sE~t5l׆ %oqꆄ㒕QMvS6c/V HQ58q!>\@wQ<*-7 \,X hF2ta)8)Ɔ-V8f`dVV-= -ȻʯF5U_zg(&ʝ7 z=v