author: kx <kx@radix-linux.su> 2024-12-20 16:11:07 +0300
committer: kx <kx@radix-linux.su> 2024-12-20 16:11:07 +0300
commit: 868b2b66b564b5c00e3a74d10be45db7151627ac
parent: cce2ae8d3312493b7653358bb4af201d3271377b
Commit Summary:
Diffstat:
2 files changed, 154 insertions, 0 deletions
diff --git a/mpu/math/cosh/emu01024/ei_cosh_008_emu32lsb.dfn b/mpu/math/cosh/emu01024/ei_cosh_008_emu32lsb.dfn
new file mode 100644
index 0000000..0b5a2b3
--- /dev/null
+++ b/mpu/math/cosh/emu01024/ei_cosh_008_emu32lsb.dfn
@@ -0,0 +1,83 @@
+
+#ifndef __REAL_EINTERNAL_COSH_008_32LSB
+#define __REAL_EINTERNAL_COSH_008_32LSB
+
+#if BITS_PER_EMUSHORT == 32
+
+#define N_COSH_C1024 64
+
+static EMUSHORT _ei_cosh__C_1024_[N_COSH_C1024][NPIR_1024] =
+{
+/* lgw S i g n i f i c a n d hgw Exp Sign */
+/* ========== ====================================================================================================================================================================================================================================================================================================================================================================== ========== ====================== ==========*/
+ { 0x00000000, 0x17b3877d, 0xe95312d2, 0x80ce745b, 0x0066dbde, 0xeb9d89fa, 0xa1791b54, 0x85bb80ae, 0x9e35dd3e, 0xa128df7b, 0x563892a7, 0x3f6884c0, 0x27aa18a4, 0x7adfbfcc, 0xe146c8b5, 0x470c2049, 0x8c877ef2, 0xac32cd8d, 0x8d7fa4df, 0x9aa73f20, 0x9eb01b3f, 0x7c642e44, 0x88bc9a99, 0x5d03f064, 0xc562b0a0, 0x989850ce, 0x054af44e, 0x8fd8b02d, 0x8bda1434, 0xc34f91ff, 0xe4e45324, 0x00000000, 0xfffffcb2, 0x3fffffff, 0x00000000 }, /* 7.62209059567224693928831308459442793788192143378169508009613385642697953342125804135841897788904952079140263391992845264182788129149101667526100969142433342970060868121129283109261160401535557549750971033206935725589001379394568906122843431700301453216612489593155820894848520378408967809E-255 */
+ { 0x00000000, 0x63b6aee8, 0xc01afdc6, 0x6f1555c7, 0x302effab, 0xe0d3781b, 0xf56cdbc4, 0xa8048ef4, 0x7c5a9a36, 0xfd17ca64, 0x353487dd, 0xb32cdb18, 0x389114f6, 0x2fa5e27c, 0x3ec6c541, 0xc661e11d, 0x465282f3, 0x217cbcb8, 0x37de70cc, 0x91f832be, 0x8ed6df2e, 0x7f1a44e1, 0xc791f657, 0x36147050, 0xcfdf4df3, 0x73d6773c, 0xcb75d503, 0xd6fe0c3a, 0xae8c118f, 0x880e1633, 0xe310aea6, 0x00000000, 0xfffffcc2, 0x3fffffff, 0x00000000 }, /* 4.95534775007716677913775422716726912030038596575454820440301402354915978930566894092717621678105588465700071745346931563002619862027164571058386739982695865883778964082128420030900814622824784037029779753356402468304269935435504236847286765734072615558500389634976427877162165873859504236E-250 */
+ { 0x00000000, 0x4dc532bf, 0xd1fac04c, 0x886e13b7, 0xc2b16884, 0x8ca95e82, 0xadfcb111, 0x872278cb, 0xd9bc92ca, 0xb1eaa418, 0x001f7a4f, 0xb13fac47, 0x1f82c685, 0x5c9bb8bd, 0xc2291e0b, 0x733b9837, 0x74917af4, 0x28192c5e, 0x7774b02b, 0x37a012a8, 0x3d1e0502, 0xbf32a204, 0x1e19014a, 0x63d4b384, 0xcea4cb35, 0x0d58354f, 0x57b562b7, 0x7d9f68b0, 0xe65ae9d4, 0x38047393, 0xda475198, 0x00000000, 0xfffffcd2, 0x3fffffff, 0x00000000 }, /* 3.12186912672322363127341527777592353392469187152273205312150754907133019163331672832743846437680055137240910446762134635066205117550234795831141677379938840958504338974590009964802952064907661614916334406222003705598640530309228106277622567535203263213592585124283784419148073111019964619E-245 */
+ { 0x00000000, 0xf612e848, 0x1cd41708, 0x0ff70b15, 0x3ae0ef6f, 0xd49a4ccc, 0x3efb45e3, 0x0286f1e0, 0xc886e5c0, 0x1783b317, 0x0f185bd0, 0xd5a35613, 0xec76d462, 0x07f287b0, 0x4c3b7aad, 0x6aa5262e, 0x61432b98, 0xb95c0575, 0x2e8205e7, 0x9712a0ff, 0x1292e4d2, 0x155cd85e, 0xee26233b, 0xca116f66, 0xd3926ce7, 0x9bf51a64, 0xa03dad12, 0xd543e1b8, 0x3e984e72, 0x02f920cb, 0xcb328425, 0x00000000, 0xfffffce2, 0x3fffffff, 0x00000000 }, /* 1.90458991682983361198364709908100338450639747960475707992485419301316378222306910916263658026254915899115862712275459294414228384873083559652098882771844827934947267708521850247763353662284480913886812127766735649809166184877628269778061012171077076915521297947710175676050751023517926101E-240 */
+ { 0x00000000, 0x603260b8, 0xa084dfc4, 0xdf313eed, 0xa82356cc, 0x73a2d7d5, 0x98c5dbed, 0x1f6a7e24, 0xbce1230d, 0x218d0784, 0x3d0f7685, 0x36236eeb, 0x729c1186, 0x21ea02bc, 0xc6a19818, 0xb8117511, 0xba2e0a3e, 0x907503c6, 0x3e84673f, 0x21ac0311, 0x0c7b3682, 0x145dc09f, 0x6144e2e2, 0x85838291, 0xe69f1bbd, 0x7af63829, 0x85ab8d8d, 0x2aa54c9a, 0xac45ea19, 0xf8f5c88b, 0xb714bbdf, 0x00000000, 0xfffffcf2, 0x3fffffff, 0x00000000 }, /* 1.12462225408968018594683533215496566315867817297590144078272008884901187665716583613336077553770209701752444300281348834440159449682618658781811848116670210371107851788443487380463981531851956251559997929597105162110759686221664174306109780211116337980370287890027299229295357619770409712E-235 */
+ { 0x00000000, 0x7d54a0bd, 0x5e0286c2, 0x3323bc15, 0x052a0cd7, 0x0da7dbe3, 0xd8dc5d40, 0x34c661c2, 0x9689b226, 0x8ac60e14, 0x259d96fd, 0xe1d78b53, 0xf6c2813c, 0x0a9cb6c8, 0x9be75ab4, 0x574ab0b3, 0x892263d6, 0x467ab0c3, 0xec3792cc, 0x29a3abf3, 0x2b440302, 0x0efd5916, 0x7e7c280e, 0x0136f049, 0x46fce097, 0x44f96ff1, 0xc7946cca, 0xbd27136e, 0xb9b1763f, 0x95dd386a, 0x9f91f23f, 0x00000000, 0xfffffd02, 0x3fffffff, 0x00000000 }, /* 6.42384231536025322212214316432634557664756014074241565402866199711224264899815597818725763328024710059413765424458279806277275849702356564161376956179915353506335613138931856206537742651927544365920580999287772487483421493711242143306010853409070036167221887448944197536217316924769097459E-231 */
+ { 0x00000000, 0xc2afcee8, 0x77b9056d, 0xee86f152, 0x4a01a84d, 0x28feedee, 0xe86191eb, 0x7dec0067, 0xcacd19b9, 0x42fc0bbe, 0xc85991ee, 0xda31eb75, 0xaeb97ce9, 0xb8ad440e, 0x40312f89, 0xea5f738c, 0xd11744de, 0xace27861, 0xb0c515ae, 0xe58283b6, 0x61841513, 0x86b3dd4f, 0x5c84f05a, 0x2867c9a7, 0x34607d9f, 0x7a3e8d55, 0x19ff5ab7, 0x62ba383c, 0x2ea985c9, 0x84908162, 0x86764359, 0x00000000, 0xfffffd12, 0x3fffffff, 0x00000000 }, /* 3.54750268023454623938473242673007851736776464924531150273114482425438287877316865008563494117996581262678932117213234072359980967505218791178779795999968264090331832930536569689383148758831063447240661992085797179525285533988404810282332000303376206300861472405438893636744021706356519851E-226 */
+ { 0x00000000, 0x7c62b086, 0xfb8a60e6, 0x16dd2cbf, 0x17ae26f3, 0x45e03c6b, 0xa67c074b, 0x5da0f453, 0xb6817df5, 0xc4cb95a3, 0xbc9828a0, 0x42ca7a43, 0xe4118099, 0x2d96ef1d, 0xb6d0de20, 0xc79ce1c1, 0xfc731c81, 0x6e79b82f, 0x0b486786, 0xc530308e, 0xc33204da, 0x624202c8, 0xf16bf0b0, 0x35959403, 0xe1a847ca, 0xa4ba643d, 0x2c3be55d, 0x4800148c, 0xc1bc4dbc, 0x65bed0b0, 0xdaf5d4ec, 0x00000000, 0xfffffd21, 0x3fffffff, 0x00000000 }, /* 1.89294743017315387333569322290222666592124077970143369462624654577626052421506071624022240002836110998922809569453451991476523125185868385920191724824537124095270461546907616044039061448432236390233036298834513828246047802751814048154521554197133255462727080804135779084435242701301235172E-221 */
+ { 0x00000000, 0xfeed42ed, 0x3e1cbbcf, 0x79656c81, 0xc6412546, 0x511827bc, 0x927f2aed, 0x276278dc, 0x53c17f3d, 0xacdf09b8, 0xa3cdecce, 0x00ef13ac, 0xddd0c78d, 0x43cc24b4, 0xe5b2bcdc, 0x6fb15bdc, 0xf58ed40c, 0xe656e0e0, 0xccebba2c, 0x6aad20d3, 0xaf476876, 0xc7fb7594, 0x86bf0927, 0x966782af, 0x35068be0, 0x55642c26, 0x73fb104e, 0xb17c57c7, 0x79d355fe, 0x7e5f6f85, 0xac289951, 0x00000000, 0xfffffd31, 0x3fffffff, 0x00000000 }, /* 9.75397951819622727852416003897059364734456832621046379018725242843045647478052125896440547962560872788489526268286942025421554284096132763025120841116980162976711751119241892662131666973776453471799608668964634971272665595389668207738540815498877926378362392010140206451891969026401818543E-217 */
+ { 0x00000000, 0xe027c9bf, 0xc238bdbc, 0x547f4ce1, 0x194207ac, 0x2975b770, 0x8ac73034, 0xaa825320, 0x2fb3266e, 0xb5ed5e7f, 0x73da4515, 0xdd859869, 0xfb19c064, 0xe9879a36, 0xd8b5bf23, 0x94654887, 0x42262ddd, 0x853d36ce, 0x86ff1bd2, 0xc8a7b82c, 0x30c76f2c, 0x5df6d629, 0x37731f11, 0x12bfd22e, 0xc545dc51, 0x94c5f44d, 0x1262fe18, 0x822c999b, 0x07b09c00, 0x1623ea5f, 0x82a1ce56, 0x00000000, 0xfffffd41, 0x3fffffff, 0x00000000 }, /* 4.85045893480861990106449430417929680895092117262562236294890525269013037061153937453107799212888286512103246639782315036934846413565537009210681596580021999727467103056706092187428745559818098796462433018439791852882299542588948427083011786577493911207282515078530663710234633918391542342E-212 */
+ { 0x00000000, 0x0a3fa568, 0xe6cccc47, 0xb23eba01, 0x048d2493, 0x7cfc2a3b, 0xa238477c, 0x29ba91c3, 0xb501305f, 0xa1add1e1, 0xc1b23415, 0x06028fbc, 0xf56195f7, 0xdbc2ddd0, 0x377f3680, 0x18eb1ba1, 0x174c5380, 0x0018f3b8, 0xac3d764c, 0xa034e798, 0x26095c55, 0x346bf824, 0xbf81b224, 0x586587cd, 0x8727f3d0, 0xb4f391be, 0x27794931, 0xfe86a712, 0xf6914d53, 0x9f87b117, 0xbf3232af, 0x00000000, 0xfffffd50, 0x3fffffff, 0x00000000 }, /* 2.32628010513421410455053146828439074957286179762023478257531735694990972191543695021035253734515503379151364922691631661968031165297881783123001214459191019010124511921203341020649823881594073748148585556192799720593578339296317224552590533909809997041494052291814647239485314818776639159E-207 */
+ { 0x00000000, 0x80a6300d, 0x77316680, 0x6a700264, 0x47cb0daf, 0xc7acc56d, 0x506aa1b5, 0x67d640a0, 0x4ba67945, 0x64ba630d, 0xb6a984a5, 0x6608b16d, 0x6cd01148, 0xf0bb0891, 0x364ea9e9, 0x851f9630, 0xada8529c, 0x12d1f4a2, 0x393f37a9, 0xed35ee5a, 0x850a3ced, 0x61bcbce8, 0x0d353576, 0x7817499c, 0x82ee53de, 0x1cc6fca5, 0xbdf77bb0, 0x8e35d936, 0x76d8dc1a, 0xfef524d8, 0x86dad7df, 0x00000000, 0xfffffd60, 0x3fffffff, 0x00000000 }, /* 1.07529971579723912768743766589977678008255963733196415386273590541794097908080790366216974432487080531677883967779538340420390800573097307956966107851379041541346307740683111459863322419234446915706555799061314795766919233707506269384356878019250058330442567053290356290362318235475445068E-202 */
+ { 0x00000000, 0xc1b809f5, 0xd1d3b27b, 0x5c37880f, 0x1bf64d4c, 0xd0102d1c, 0x7e1763eb, 0x8ce3af4c, 0x23ff2682, 0x9758b564, 0x0165cae0, 0xd74e2d32, 0x72fcc1c3, 0x6df62e9c, 0xdb1011d8, 0xa04013f9, 0xcd245e6b, 0x1fa5884b, 0xed655ae0, 0x4abb3335, 0xd0a94b04, 0x29f57319, 0xbf1560cc, 0x2796fb1f, 0xba6c23c3, 0x36191b55, 0xaff8cdbc, 0xd456892d, 0x58f8828a, 0x0495701f, 0xb738346c, 0x00000000, 0xfffffd6f, 0x3fffffff, 0x00000000 }, /* 4.78723433472930859646447248858580622492755550540190441332521899354063181758603520572782482327198063692080372431213829043164938513305324887170746759236103076580323505395086806889418123620389735135174827414587512868581248987440257437345075400344551634464178241581443926372656633132573322884E-198 */
+ { 0x00000000, 0x9fe4fa7f, 0xaf98f2a4, 0x0b3b39ac, 0xa01d3eef, 0xf87c7fcf, 0xc755d2db, 0xfe59a039, 0x9d2991ef, 0xa2481c41, 0x7e750c8b, 0xee6b8e42, 0xf8c1749b, 0x23426c4a, 0x71f07a0f, 0x4e3c2431, 0x94d2547e, 0xda1798eb, 0x9d4a1b66, 0x7d1389d4, 0x54fd8ad0, 0xba77e0ff, 0x81c7b2fa, 0x7e0a6b43, 0x599558ed, 0xdbbd547e, 0x7dda9705, 0x092827e0, 0xfd96f4b3, 0x3efe685c, 0xef94be8c, 0x00000000, 0xfffffd7e, 0x3fffffff, 0x00000000 }, /* 2.05123416774481414741309717190924625125695898295460800302158992195541265737973453652629509422642866601544220242322690858785253480184045206553235555603318010409980998321073472058434293219371886273305871482806062684958750825545448614544881987909560183862377792456067179539047784004382077164E-193 */
+ { 0x00000000, 0xae223a30, 0xc952692d, 0xa00e6628, 0x1caf643c, 0x14562e7a, 0xd3fe498d, 0x13dc88dd, 0xd880ee79, 0x7ce141f0, 0x8ebdfe14, 0xa2d29ea1, 0x8e9a59dc, 0xd234cda9, 0xd2d810df, 0xc6f6b618, 0xa05f4f4f, 0xee8dd244, 0xf738ca34, 0x099438e0, 0x76a6d43d, 0x65bc8480, 0x98aa4622, 0x865fedd3, 0xd2641fe0, 0xf7033438, 0xf0228a25, 0xf329f7d2, 0x3894032c, 0x3f3c07af, 0x96a50f30, 0x00000000, 0xfffffd8e, 0x3fffffff, 0x00000000 }, /* 8.45272575844283013865989082600362195217967657695934865885136775034162002474374242175876933181381007566438345465212647843588984999594880215680409006702506321428944763020688559239968608674570743201212742167813400602580327332708899819329872171948053826286004576053126234441228573303610230554E-189 */
+ { 0x00000000, 0x6fbbd59b, 0xb81d950d, 0xcfea510d, 0x47af3541, 0x09fa2d11, 0x5aa2e725, 0x7aee6273, 0xf5a562eb, 0x5427d180, 0x5e81b914, 0xcc60edc9, 0x831768f4, 0xe4e23da7, 0x4723f3e7, 0x827c5300, 0x55e70a9d, 0x5b5cb1a8, 0x0ae7c60d, 0x7d4a3712, 0x1155dd5c, 0xae302bfa, 0xeaf87b2a, 0xf6c25eb5, 0x2b41c005, 0xa1637f3c, 0x8af3bdb3, 0x725cd7de, 0x60ffdf56, 0xee6b2bc9, 0xb60db93a, 0x00000000, 0xfffffd9d, 0x3fffffff, 0x00000000 }, /* 3.34727940034336073490931676709743429306315192447590206890514162913528178072071554777608134304896669811130230654020673100917590767663048288137039907645931449765034047427027854325979967308876368150414242553585561143484412573954267946436559343039683309571440260533585285066194037742611485611E-184 */
+ { 0x00000000, 0x86d69070, 0x64ad08a8, 0x9ece3643, 0x525d9c0b, 0xb2f96780, 0x1c3466c9, 0x6fa1c142, 0xef46e8df, 0xdf604d52, 0x4d303f2a, 0x54c3c836, 0x4c47b514, 0x5d3d3766, 0x6b65f6f3, 0x65837b15, 0x6723a7a4, 0xeb3e10cc, 0x7f8b0faf, 0xe0c0e71b, 0xe9ce18fe, 0x977ee890, 0x8de7b75a, 0xeba6ebdf, 0xc1f1fbe2, 0x417684d4, 0xad1d7651, 0x4014dc3e, 0x5e1eea19, 0xf2493c7f, 0xd3414cc0, 0x00000000, 0xfffffdac, 0x3fffffff, 0x00000000 }, /* 1.27276951918655948584191860752112841559433288776271700268049105306239954430071982968925512664273737225785823803889847083577327128271389286371557240525378010743398401602593474160800654421977990059861628288639707405658876247383369968692772716325538345686502403217268150103846281375669302047E-179 */
+ { 0x00000000, 0x26fc50b2, 0x3a0e332c, 0x0811fdd0, 0x289c1a04, 0x9a0b3133, 0x782f3b78, 0xd64bcf9b, 0xef4d2056, 0x9332890d, 0x7072f8e1, 0xedcef43e, 0x12a84891, 0x7e060f12, 0x26f1eba7, 0xe6bbd6eb, 0x277a1d25, 0xa0144b07, 0x5ac193bc, 0xe7f8813a, 0xb3108b72, 0xb93e4a7f, 0xe0f30bbf, 0xa058d497, 0xdbea656b, 0x75e0f1e0, 0xc6b9ccb8, 0x1c573931, 0xcbc86a9e, 0xcdbb8859, 0xeb2fb272, 0x00000000, 0xfffffdbb, 0x3fffffff, 0x00000000 }, /* 4.64306320599256900435131908023707646008812637455839162577843136157163353760902593343206515072892475735683466946392778416770510640885106983157521076936782320454411806329522871814728645533470877507094587438265575329979264131111586146205374603683750728864058458771691991480256013307028609635E-175 */
+ { 0x00000000, 0x9b2695ef, 0x9957a1ee, 0x7bae4fe8, 0x7975fb50, 0x4cd57ac7, 0x1c01829d, 0x280cd403, 0xfcf753c0, 0xb3284375, 0x6fb6aec3, 0x66f89e70, 0x52a732d6, 0x28fdb2ba, 0x429945d3, 0x50d638a1, 0x5d8234ec, 0xef3a6c1d, 0x3f70d85a, 0x92f8076a, 0xfd22473d, 0x35cb7c3c, 0xd35d5d2f, 0xca2ccb5d, 0x24ae321a, 0x184afc1e, 0xce416627, 0x99de5458, 0x5326ef46, 0xe2eb8f91, 0xfaf9f63d, 0x00000000, 0xfffffdca, 0x3fffffff, 0x00000000 }, /* 1.62358634187148152944156925597730089656361603065557838370220187851436881543112418840259630984834865597265987951912539667962695804527279022345937038565300740455002462054876869098897369648931170707276166419115171374056651294736619003420805602404378090421174277513242751202077573456654362572E-170 */
+ { 0x00000000, 0x04527993, 0x225afc91, 0x34a6a19c, 0xeae96c7b, 0x5b1d6af6, 0xc2c79682, 0x6bec24c8, 0x559184fb, 0xc6159967, 0x520916dc, 0x61deb55e, 0x35c188d1, 0x85688e99, 0xf0d2bd0b, 0x649ddcd1, 0x19a80370, 0x4cbe4df8, 0xd30eb402, 0x8f543d27, 0x1543ba14, 0xafa6fbd4, 0xe191252d, 0x506f03aa, 0x271e42fa, 0xda19d0f4, 0xa0e4cb02, 0x437feb79, 0x724d5524, 0x7f83fe4c, 0x803eda23, 0x00000000, 0xfffffdda, 0x3fffffff, 0x00000000 }, /* 5.43706594165921734579392712441678524241223736345940089134193365076891828911574868212261452040317006381540514976194289448545801873921968457513748275927030480730886449903130550503046649744712525056223187888796722849062708861430793556887134957273131793694525731559081193359789537140688660118E-166 */
+ { 0x00000000, 0x2a781329, 0x07512f9b, 0x70f44efa, 0xee2a96ec, 0x413a2c27, 0x714ea0a0, 0x225fe8a6, 0x6a2c6caf, 0x9e501341, 0x35f79248, 0xa443e169, 0xd1ea66b5, 0xda3ae493, 0xbb23615a, 0xf4654f23, 0x7765715f, 0x398e0a96, 0x7237e56b, 0x3a48d311, 0x344b1e83, 0x779fec38, 0x0b5c7754, 0xc18b188c, 0x74ff8dba, 0x73c2bc3f, 0xba436b80, 0x0a8007dc, 0x3f067aa0, 0xab3d7f2c, 0xfacae955, 0x00000000, 0xfffffde8, 0x3fffffff, 0x00000000 }, /* 1.74203592770761323759237425066313799166888085125239204558595554170636141983268587775208569233717617691905789325086501746826456596465803227388062685800858641101544228965430148841052292251217486736602361223286731732745974530613084351320573672838157696411760940981896935013098847600576145606E-161 */
+ { 0x00000000, 0x31f8187c, 0xfaf1491f, 0xa23e7964, 0xfb88fa11, 0xdecb965c, 0x8a35ef2b, 0x069b135b, 0x543bbaa8, 0x198d373b, 0xfbbfb8e0, 0x93939250, 0x44796d64, 0x1d852865, 0x425dca0c, 0x364147e3, 0x71db48a3, 0xfba956b1, 0x69aaafa4, 0x10b21206, 0x86e28ad9, 0xb0cc3583, 0xe19e2a85, 0xc9613eb0, 0x4e17d534, 0xcc2fbe6e, 0x09138237, 0x11d02759, 0x19e6ce1a, 0x5049391a, 0xea622291, 0x00000000, 0xfffffdf7, 0x3fffffff, 0x00000000 }, /* 5.33481082501179477880288690523079378568678071887532540040243025092156121209561723202798722421336832433587570667945993373919730478381520126497453433977555989235096923278081239100268417052904926145568389573495274828468654492467812944591431540196251274371704015512291018918378505072368277429E-157 */
+ { 0x00000000, 0xdcb94868, 0x33c5b78d, 0x1f77e520, 0x70e6195b, 0xfbbd343f, 0xb5264da2, 0x080a601a, 0xbde083b0, 0x7b25090f, 0xb281f833, 0x1011a6b8, 0x13bf0453, 0x78bcd9db, 0xc8b228ac, 0x132d8ac4, 0x0881c433, 0xd8b0aff0, 0x7ceba4bf, 0x1bbe3fe6, 0x8dacc6c4, 0xabf33900, 0xf6539311, 0x4a72b660, 0x8dcf6450, 0xaa43da7d, 0x83095882, 0x63452e1c, 0x3a7ce489, 0x8b1456e4, 0xd125f1b8, 0x00000000, 0xfffffe06, 0x3fffffff, 0x00000000 }, /* 1.55989868523344879332196413108948410293481468219914514707767060536946449841675847864498346435998889803580964843836179633625794151806800934040194101632478560948612213168161126681538939586007404099654738839399420099029953391169922654561030053159745222108143764976990188306747712753230308973E-152 */
+ { 0x00000000, 0x826b0186, 0x6c7e13db, 0xd49c6ce6, 0x7fabf0b2, 0x66a4d0b4, 0x5a377b71, 0x88c1fb80, 0x4b6df326, 0x3a285ff5, 0x0f7a830d, 0x48637d9d, 0x6cd62fd3, 0xb8767f08, 0xb2b28c50, 0x03cfb805, 0x928a564f, 0x0f234416, 0xecd600eb, 0x271ca7ae, 0x58936baa, 0xaa37a023, 0xc5a460ca, 0xd55c60f7, 0x9b10e17f, 0x34a87f93, 0x84059434, 0x6d5c809e, 0x7d470b00, 0xef5def73, 0xb2002b18, 0x00000000, 0xfffffe15, 0x3fffffff, 0x00000000 }, /* 4.35024545337904199481629356878235326626461118571697598617020778425436259318465604524512988540713703884226594756608421587511075770150056463247049627641489256815661619968346424416142082351399104752203929125322313491393974421960139892962162029526289042379860638485117550876269370202021782579E-148 */
+ { 0x00000000, 0x5d10e558, 0x6fbc961f, 0xfc89a2fe, 0x0f619b74, 0xd76accf9, 0x4af197f4, 0xab168080, 0x1395cb73, 0xf42bdd02, 0x0ec09b47, 0x786a31b4, 0xa6e42db0, 0x33e2426f, 0xf888b222, 0x018284a7, 0xb966c359, 0xdbbe3652, 0x2da5cdc8, 0x25562bb5, 0xa88106fb, 0x51a2b9c6, 0xe42f16ba, 0x356db65e, 0x1d69dfd5, 0x93f1ddf0, 0x85eac5f9, 0x88ab5008, 0x1342e9db, 0x67939975, 0x905242f1, 0x00000000, 0xfffffe24, 0x3fffffff, 0x00000000 }, /* 1.15577321205374387718279287535409561578118189982128618000570080412069905375729941810072610795496816847961321694935727596668653492251870865743160415180461432535276833167808529401191456726941029511687795143099826221536838360386419221851032666916406407383317594935660144233711837181804034655E-143 */
+ { 0x00000000, 0x8a51384a, 0x87d5ca9b, 0x916f0727, 0x8b04ed00, 0x8a8f49d1, 0x6859d19c, 0x8e8a31de, 0x13d1ffe1, 0xbd3390a8, 0xdaf88df2, 0x24319ee6, 0x513acae0, 0x8e4f22b9, 0xa377d153, 0x73c43225, 0xe81313be, 0x4f82460c, 0x8d6e6eb6, 0x829bf570, 0x85ff15c5, 0x7bf614a5, 0x6a14a811, 0xf9704864, 0x7d625c5d, 0x17463171, 0x26a13f78, 0xbbe0547d, 0xa4b83ed5, 0x7ad0bdc7, 0xdeaeed4a, 0x00000000, 0xfffffe32, 0x3fffffff, 0x00000000 }, /* 2.92179468007186452151810038889515371669482784274821146305441163281712720789845292895863560091015952991646221244797519364326626125442245114760519455034833665939194276700833611024184958942913545848585989327311976575628032620643908132396924620761902855667832956305009391754132952350337149429E-139 */
+ { 0x00000000, 0x1fdd1c33, 0xfee7e7af, 0xae812b60, 0xdd62d6a2, 0x2603a4d4, 0xac79424b, 0x1465e386, 0x3a72aeb3, 0xac46aeb4, 0xc62a9a50, 0x4ed7945c, 0x6a5956d8, 0xfb45e876, 0x96cc7098, 0x1b16e8bb, 0x1ed282f6, 0x465cebb0, 0xf4b0e6cb, 0x3e31b781, 0x1aad7446, 0x5191fa43, 0x1e8604f8, 0x25d08213, 0xe49d0d18, 0x5b90465f, 0x81425838, 0x532e07f1, 0x4e93d491, 0x8aeaea23, 0xa342df98, 0x00000000, 0xfffffe41, 0x3fffffff, 0x00000000 }, /* 7.01931953940464732649508437428171728898765440941830321884191850667986640425524331653022616762656725467130881918501560520858286526165184582147376028347286429762710283983783042781040624308462608373359306109689472524655285736513573533663465070752220050114393164466528761484531384566051100668E-135 */
+ { 0x00000000, 0xeb526d65, 0x942c718a, 0x2ea18a23, 0xaaa93c2a, 0x684193c6, 0x6479ca34, 0x6a0789ab, 0x48e04b38, 0xb799cdd5, 0xd627ea90, 0x15e376bc, 0xd935e934, 0x6444ec5d, 0x2d423883, 0x1a246b70, 0x24745938, 0x60aaf708, 0x98c32d2c, 0xc00caf9e, 0xe1dfe10e, 0x8f836483, 0x1b3a006a, 0xda9f6903, 0xf1e38d78, 0x6d6b85ee, 0xd4209344, 0x3c00ce8d, 0xa219388f, 0x07516853, 0xe331cfa8, 0x00000000, 0xfffffe4f, 0x3fffffff, 0x00000000 }, /* 1.60040485498425959044087923733623154188918520534737313389595741952300954017019547616889156621885733406505841077418355798755689327968205722372247495807250789225135272305614794930136141260308860342937821226347115770903081589171399338745840730506684677112819222920507180879104557277933892405E-130 */
+ { 0x00000000, 0x937280c8, 0xfe303848, 0xf3ba9841, 0x43d859ed, 0xf82e999c, 0xcf4a1059, 0x7194149f, 0xf7073235, 0x15505074, 0xaf74c463, 0x60077c42, 0x11c61320, 0xee2ca919, 0x3917be50, 0x70d24920, 0x0254a363, 0xd37ebd06, 0xc51c3439, 0x8a045d8e, 0x37627198, 0x44c2d4b8, 0x5c642f66, 0x41aa3e6f, 0xa0e1ddba, 0x8f677741, 0xe671bb1c, 0xf3c14834, 0xa654419b, 0xfd535e9b, 0x95d148be, 0x00000000, 0xfffffe5e, 0x3fffffff, 0x00000000 }, /* 3.45815481064998812302465185603612911571415139171460386772238479210531901439975838490574089628570692744777821400085583209951293499873698886131545770010744764217646596091605741565545834107073330680128208409493116061517656150875055403745976575278769229655887857255744874303094288218126760222E-126 */
+ { 0x00000000, 0x5065fd97, 0xb72628e7, 0x167b69d0, 0x7edbc8a6, 0x6535bbe4, 0x54a7b0e8, 0xee83f955, 0xdfd8fe65, 0xe966732c, 0x2268949a, 0x333b1f15, 0x33ceb414, 0xdd24b592, 0xfe09ed80, 0xab1b60df, 0xffe89cb3, 0x2b74ace8, 0xaf00b32e, 0xe04072c3, 0xe91f5cc5, 0x22d1287b, 0xfbcf0928, 0xf4f3f8eb, 0x6849e439, 0x24f9a156, 0x059af106, 0x22b7b99e, 0x421627e2, 0x5d298c93, 0xbafab24a, 0x00000000, 0xfffffe6c, 0x3fffffff, 0x00000000 }, /* 7.07123495681709571396080811522267681581229676577802198871873242289695632064462594545525898472501352524521689198895000547708404948541739482361370786066325995510327086294542248313291346900284551729189928442551322081064533680498887766214177103879493419483446296609044164179634461745768286535E-122 */
+ { 0x00000000, 0x78c37bc5, 0x1e07abd4, 0xb4b97b5a, 0x1f6a6f96, 0xbe3a879d, 0x2a440927, 0x97dcbf67, 0x9d1a358b, 0x8a897994, 0x3e13ed8c, 0x56caf975, 0x331fec2e, 0x667e48d7, 0x2ce58893, 0x6774fe47, 0x40c46bc8, 0x117e3565, 0x7ffcf34a, 0xd5cfff54, 0x1d85db85, 0x340e639d, 0x458ec2ec, 0xd7b93127, 0xc43a21ff, 0x1ed9dd1f, 0x36dc14f7, 0xc8b06601, 0x258de047, 0x709b5ea4, 0xdc7c5efd, 0x00000000, 0xfffffe7a, 0x3fffffff, 0x00000000 }, /* 1.36616259365706289193722812786102116081493573514831384822045910410369196114854173266195603584887261307737590353226514105817263836058264067992216837865316457552816345112484948139522879291817802831718552999107719589289139607599774802139036855859271809026316706190177565300574752482791031400E-117 */
+ { 0x00000000, 0x15a3ce04, 0x462e37d8, 0x853d5729, 0xc0e0ce3b, 0x2e9c9676, 0xa5c6b5ef, 0x93b3e7c1, 0xbb0729c7, 0xb0b41b72, 0x445ddf1d, 0xae282884, 0x44eaf30e, 0x40b21739, 0x37186a00, 0x29135f69, 0x5fca7ae3, 0xa2f521e4, 0x3d5c9b9c, 0x1d931b41, 0x0296a3ed, 0x3ae7014d, 0x6e9e8b50, 0x53333d6c, 0x1583a951, 0xdf90d4b5, 0xd9c54c51, 0xd87a3575, 0x14c58f37, 0x6700d185, 0xf53f56a8, 0x00000000, 0xfffffe88, 0x3fffffff, 0x00000000 }, /* 2.48969471068063141426640454021392496346913888373428715699696467131856822999710245360314867973098545007220984659719999306441381614832580437509015965325740685915453935021788344445295632216483200206485639625852995034504383378852795797534064625643456649755288486146909680893430554356374271774E-113 */
+ { 0x00000000, 0x2eee68ee, 0x2cb057e0, 0xb352528b, 0xc983ddfa, 0x3bbdb148, 0x0d22e63c, 0x40033ad9, 0x56474d2f, 0x2c20deb7, 0x453269de, 0x9b6e7069, 0x69440f1b, 0x1908c2ea, 0x078099d1, 0x95b2b527, 0xa869f8fa, 0xb7167f0f, 0xda324f3d, 0x5c4cd975, 0x642b0338, 0xb3d8991e, 0x98ade6d4, 0x26a2055a, 0x149442db, 0xa023c864, 0x075ae247, 0x2ecd7f9f, 0xc130b550, 0x9070ddb8, 0x806e7b51, 0x00000000, 0xfffffe97, 0x3fffffff, 0x00000000 }, /* 4.27231612352796350688115019100709523731304232448803676140679137598266308267502781038300313441837103232391209676079518809853410851052708030765471396498971016556398825578099871003747077224969101207391003773880427590101882606885908119764030657647047711507264490093576581230530524770854530122E-109 */
+ { 0x00000000, 0x637c0c16, 0x0356dea8, 0xbae0c674, 0x2ddc44c1, 0x29416478, 0xcf667981, 0x19d24d47, 0x88605eea, 0xb3869d6d, 0x97ae64dc, 0x1ccfbc75, 0xa38d45ee, 0x4b5a4484, 0xd6c5319e, 0x56b7d4a4, 0xd390a22d, 0x80744a26, 0x05930c01, 0xf5b74c20, 0xd534ae56, 0xc2126d73, 0x5c965e72, 0x740efa8a, 0x0883e39f, 0x03467285, 0x167aed7d, 0xdc249341, 0xbc57e4f5, 0x945e3483, 0xfcd982c8, 0x00000000, 0xfffffea4, 0x3fffffff, 0x00000000 }, /* 6.89039144402589954389791902805624319873847466093430568879687313118483901973828485258570745518994880093200542965581047936531581020577807512018552268273540455502168683282115423008688742340269590535677922674824971168530686460917367290969113187088875714078469027851775883502779565658453657021E-105 */
+ { 0x00000000, 0xd71fac7a, 0x77ce5d36, 0xae79cc05, 0x958262dd, 0x04a66d09, 0xbd960064, 0x7071c810, 0x2463c7d9, 0xc5c3a8a7, 0x8f6a8aed, 0x2843688c, 0x9c144d7d, 0x894c39ba, 0xb3ce53b0, 0x9cf1fcf7, 0x9998abbe, 0xe2fb5ff7, 0x1125a635, 0x8b211eea, 0xd3fc8479, 0x35f1c3cf, 0x813d5775, 0x5ac95495, 0x95bcc74c, 0x4de62bfd, 0x3921c108, 0x83244577, 0x2307a808, 0xf3fe7bbd, 0xe9775621, 0x00000000, 0xfffffeb2, 0x3fffffff, 0x00000000 }, /* 1.04237841765223808300087719056434847110515644670614176460119096728564244690600773249916582382113545460499378139833100931838497576793010720418166587144421200108368078410575556513516812028546106582615355295122749143781118755923970734078507560339448969911749070445180567284524373217680632387E-100 */
+ { 0x00000000, 0x656fe672, 0x4f7d2403, 0x345c010b, 0x0b3eefe5, 0xc3d4ac1e, 0x8aeeef0e, 0x83958092, 0xe2afb4cf, 0xe4dabacd, 0x259e37c8, 0x71f88c37, 0x5ceba23d, 0x52a91fa4, 0x142611d4, 0x7d2423e1, 0xbd7f326e, 0x126bc0b0, 0xcb51c9e6, 0x0b7e5ff7, 0x5df5fd7e, 0x0cdf327b, 0x35f243d6, 0xbd76805a, 0xe9a9673e, 0x6d532d84, 0x4a206c14, 0x5b571909, 0x36865df9, 0xd81fb071, 0xc9c66330, 0x00000000, 0xfffffec0, 0x3fffffff, 0x00000000 }, /* 1.47600783939556912552924210183911743508490152853589673867528640967646970481890694921881880653072780372067119446003670919483312568738903180112123887396500419353449199029374745608434661830360920926261584201253175143164921521650428906806648852154280926822424724434692364413361135276583005383E-96 */
+ { 0x00000000, 0x7b9aa583, 0x00369191, 0x125970d7, 0x17d598fd, 0x026ddbb4, 0xcd2b186a, 0x4d8df966, 0xe3d21090, 0x5c903312, 0x081bcdbf, 0x9bac8be8, 0x09c284a1, 0xff37c12a, 0x8ae33a23, 0x6dc14b75, 0xa6f2ca14, 0x529e3866, 0x607ae395, 0xdc06e035, 0xd2b6abb9, 0xa423a61e, 0xcfcaaa00, 0x03abc558, 0x67185af5, 0xfcbd429d, 0x1f746b3b, 0x63592c95, 0x60a23399, 0x4c7093c9, 0xa2dbbfcf, 0x00000000, 0xfffffece, 0x3fffffff, 0x00000000 }, /* 1.95187276681670061159986975547204889615627378133586984722419874815616353765252254964696598975623444764021558755395254423924732540900325565380272628693132154553001220796445163593859035074374402873345255557402739887167548962304457216340171894512604749410345724656592100418630117074771130069E-92 */
+ { 0x00000000, 0x430cdca6, 0x6a751d6c, 0x9954a782, 0x7ee55647, 0x474d0634, 0xdfa161c8, 0xcad7c39e, 0xbe85f4ce, 0xdd6a8960, 0xfdcb55dc, 0x3b87f715, 0x38ad8a1c, 0x22d2d980, 0xc5dfba70, 0xb90fb27b, 0x611321e8, 0x913ff2d2, 0x4618d043, 0x83e65730, 0x5ae4b842, 0xf6d99cd4, 0x907fc9aa, 0x7a8553ca, 0xb80ba0ca, 0x3718a12e, 0x444e1545, 0xae691c0c, 0xda53ef99, 0xc1f54e41, 0xf4ec7b76, 0x00000000, 0xfffffedb, 0x3fffffff, 0x00000000 }, /* 2.40470724871817515349103953874156424006452929860579165178021285772839347838790778116506209937968083949274560386646953450275270490389201096548495878549938814409297504021220441547634370297096657601193579857552905560660476555585386498598323450592295029993632194462994418941141231103398158254E-88 */
+ { 0x00000000, 0x4b9d40b5, 0x7ea8efeb, 0x694efd74, 0x9d98a110, 0xdb3be8ac, 0xad04de48, 0x8076bc7b, 0xdaf17854, 0x0a75e401, 0xb0f1d88f, 0x79c1ca59, 0x779a41e0, 0x1a5513b9, 0x3be2b365, 0x7c4ed7d6, 0xbf943e51, 0x361d8eca, 0xdafa9685, 0x79e9922b, 0xe102903f, 0x553b4d74, 0x29b74a09, 0x7a5be8ec, 0x84d91ff9, 0xbcdf559f, 0x123a0f1c, 0x81bdb179, 0x436d660a, 0x9ac6470e, 0xab22bcc4, 0x00000000, 0xfffffee9, 0x3fffffff, 0x00000000 }, /* 2.75290885833256691571654206395134274202587314104391028295798767952746485405847682787776309136985862505129516730633432309875129657397557415328718081763969954735763782603493161483731827115602586663375305118554159652696371847198145425583687325135168843686871988333001879137208507406093501744E-84 */
+ { 0x00000000, 0xf60bf92b, 0x6bd44a95, 0xc500ab03, 0x43390f7c, 0xb9f7b876, 0xe3df26b6, 0x1d7d465d, 0xb4cf8bd6, 0x21cd5092, 0x7d05cf3a, 0x2daa715b, 0xaa60404e, 0x6b992b0a, 0xea8c0f4d, 0x8478187d, 0x8b1476b2, 0x7f934667, 0xca0f7de9, 0x325df4c7, 0xd95ed1ca, 0x15de4acc, 0xd004d85f, 0x8df2041d, 0x108728e7, 0xb6933360, 0x471a2e91, 0x9b012350, 0xf85029a2, 0x966bc102, 0xdd9b7b70, 0x00000000, 0xfffffef6, 0x3fffffff, 0x00000000 }, /* 2.92028571691918698419210782143958438074104622801938002816183333044273471718523221901273108732514602945441391347855944994315537540567328906180704141135219327983698220585785545701942722204231220704645692871468354674136266536784866704577453902429382086418851070252681432228528540617536283539E-80 */
+ { 0x00000000, 0xb563cf1e, 0xe0eb2c03, 0x51fdace9, 0x02a612bc, 0xcc08f284, 0x0d62b4e6, 0x7180161a, 0x69344405, 0x618c2925, 0xd95d1d68, 0xc310930d, 0xc128d276, 0x2efbfdde, 0x50eb06a7, 0x877c55a6, 0xaf109d7f, 0x4a6ef77c, 0x00bc8430, 0x1160730a, 0xc784d73c, 0xdff4967d, 0x550ce5eb, 0x80c762b6, 0xd5e2d857, 0xe854cc1a, 0x6487891a, 0x62f70e3f, 0xe6c6f2e7, 0xb7f933d2, 0x848da035, 0x00000000, 0xffffff04, 0x3fffffff, 0x00000000 }, /* 2.86188000258080324450826566501079269312622530345899242759859666383388002284152757463247646557864310886532563520898826094429226789755982328057090058312514941424024256174069834787903867760146596290650778185967410248239356537791995687146490037992077905889700324080340217257934152472234501391E-76 */
+ { 0x00000000, 0xff4598d0, 0x0aed30a7, 0x28b1077e, 0x70591117, 0x6bde3090, 0x20e0d5d1, 0x4b8a9ee4, 0x08f77293, 0x7cc8ab2a, 0x41709261, 0xd2e041fd, 0x60c6f7d6, 0x29c195a7, 0x3522e554, 0x7b3ef659, 0x58d84d7e, 0x31fe3c9f, 0x04cfa99d, 0x2b243eb9, 0x8dc85518, 0xd4b36dc6, 0xd9b03545, 0x63dba2bc, 0x8f9be250, 0xa3ed68d5, 0xd4bd4d07, 0xe30425b1, 0x52372792, 0x2ca88316, 0x9204027b, 0x00000000, 0xffffff11, 0x3fffffff, 0x00000000 }, /* 2.58256051432891684784425893610573932627710571384139476666497362944369333261219448334834676253816754144006985321259100667612934255075798452838718068621213483141039488771480618912604450266756288492683262154264255344549906272187262617366722054432508654402076060443051685541006199864276809343E-72 */
+ { 0x00000000, 0x6a281db9, 0x1a76a00c, 0xbc3518fb, 0x0b686542, 0xf3781581, 0x20b41f6d, 0x11e73f44, 0x33b8cd8b, 0x08b6704a, 0xb9e487f4, 0x61a42ab2, 0xed111b00, 0xd1346a02, 0xaa75054a, 0x9711e37e, 0x0f0ca053, 0xa247b7c6, 0x819ce4af, 0x2d9ae265, 0x6fce3c02, 0x54bc5b34, 0x6106d9d8, 0xc0ee3ebc, 0xdae6cefe, 0x78f035b5, 0x7dc6559b, 0xb6f47119, 0xcf993f3f, 0xff63527e, 0x93958d81, 0x00000000, 0xffffff1e, 0x3fffffff, 0x00000000 }, /* 2.13836010586434315001504639909555216215744353106067486679859816517937807940289703221243111938160272431237783846002535352783509563202761118950458560818364764040780696702785952459636484820874206871941741063718849977557581365021622585555853481869690878972428608067231879071482422777105170756E-68 */
+ { 0x00000000, 0xdab2386b, 0x5943e85d, 0xbdc447f0, 0x0b250eed, 0x29def79a, 0x67b7527a, 0x19de60b1, 0xbe659515, 0xf20c8acd, 0x1cbb9f98, 0xda342972, 0xb4024d71, 0x9e44ebef, 0x84791b63, 0x391006aa, 0x78e72a1d, 0x416b4146, 0xc63d7144, 0x03219626, 0xf14a0670, 0x5a480241, 0x07a2d440, 0x593c18f5, 0x80ba3a3a, 0x2139e99e, 0x0cb1ba16, 0x5c84d27c, 0x26c912ee, 0x986f41b6, 0x8857a93a, 0x00000000, 0xffffff2b, 0x3fffffff, 0x00000000 }, /* 1.61831092811813489593138711483551387632075326430671873919317909140775333049211247397836787114799694175960754814654718754986560037431849614821707038827338453426062831264668408821452891712437599760685509637022425725091906108610963440159337195870874696202442598440578694751334599346866772989E-64 */
+ { 0x00000000, 0xce47d416, 0x63291eee, 0x49b24c10, 0xb32ff233, 0xdf5a51a6, 0x3512b57e, 0xd958cc1c, 0xfcd902a5, 0xb30a176a, 0x655183e2, 0xf570b7b2, 0x9835df3b, 0x05a6e6c2, 0xbfc5a88f, 0x24757335, 0x0250bc52, 0x4802dd45, 0x345e52f9, 0x5d43fb00, 0xe442fbd3, 0x37d217cb, 0x0d5751ee, 0x1f0f8ff8, 0x0b792aeb, 0x36dfe35d, 0x9b58df6e, 0xd6955bf5, 0xd0392255, 0x09571800, 0xe5476a15, 0x00000000, 0xffffff37, 0x3fffffff, 0x00000000 }, /* 1.11469256728777131631753944469870195800973484845446786755626175816166049404296707207629978964674029348401767916334170278434742553783058014689191808344270726719872078175103599996216751811527018715160179037981046839444279401573450043708627748205864373197292376988818180466072960370940824205E-60 */
+ { 0x00000000, 0x4aec72e6, 0x923afc9e, 0x2d5398d0, 0xe34162b5, 0x01d1bdac, 0xb6240654, 0xdd831a38, 0x7e994ce3, 0xae60afd6, 0xe32d1775, 0xabf4dbec, 0x39f1090a, 0xf14e21c6, 0xf1138f64, 0x91c576c1, 0x90c37f72, 0xe1da2e8b, 0x27e3d933, 0x000ac831, 0x4edf05d2, 0x74850820, 0xf2298368, 0x18a8daa9, 0xdfbd4bb1, 0xf3cc8a2f, 0x1554b230, 0x6273c50c, 0x9e9b8527, 0x061d5748, 0xaea565ce, 0x00000000, 0xffffff44, 0x3fffffff, 0x00000000 }, /* 6.95568161987569301382144613491990021798074545435587949355107337092876148282811452975611068739565943134027031797925222537432793535606282011660556884068249334732001767812646463976392531303928596782599517197001732278132303374246967155773854538803109271955676082869721115239618280320462019981E-57 */
+ { 0x00000000, 0x1024df3c, 0x42d1ec3c, 0x28a51fb5, 0xc53bec28, 0x6309f4ca, 0xabb29b78, 0xde88f9fe, 0x02d37d12, 0x14edc16f, 0xc1ec69b6, 0x271ab3f7, 0xac8e73ea, 0x1952c75f, 0x4a825b63, 0xcf26a08f, 0xa1446d7d, 0xbc9b12e8, 0x7e4558ba, 0xd70ecddf, 0x5c4b387d, 0xebfca8a8, 0x57ffffed, 0xa95bd83c, 0xbbb4696d, 0x36bf57bc, 0x1749caaa, 0x93adf50e, 0x35c68953, 0x61654958, 0xefcc1948, 0x00000000, 0xffffff50, 0x3fffffff, 0x00000000 }, /* 3.91187534301808975097318130627895188259237124352974662717312366381033545794253161153483665059131886418576802683153145155052203084424973003357897191599983425853277794217832371340323159605329442830533968471593774233221607417675991320220509857848607082142596123194934584194631078411615573662E-53 */
+ { 0x00000000, 0xddce1883, 0x026d043d, 0xad1b9dfa, 0x2910da6d, 0x30279499, 0xabb41cb1, 0x1be945f2, 0xcc3d1d73, 0x85e04681, 0xedcef309, 0x8f0eedb8, 0x5ca9a450, 0x78146da9, 0x28573339, 0xe6f243c8, 0x1f37995c, 0xe3096822, 0x002faa16, 0x6bcf9ba9, 0x94c84741, 0xe0aff1c3, 0x2023fff4, 0xf7b20189, 0x9d7b7edc, 0xb8aeb87a, 0x2b53e62f, 0xeb5b8644, 0xc515a57c, 0x07ebd09f, 0x9388118e, 0x00000000, 0xffffff5d, 0x3fffffff, 0x00000000 }, /* 1.97158517288111723449048337836459174882655510673899230009525432656040907080303593221355767189802470754962708552309185158146310354550186393692380184566391646630052008285787515155522872441086039186589120109683262213543690138508699633431777639928485172171845574958311022218534955415569124519E-49 */
+ { 0x00000000, 0x3d749fb0, 0x37430a4b, 0xdf1a9ed7, 0x26f91f7b, 0x4efc1348, 0x652b8d96, 0xa0151924, 0x3848f6c4, 0xef303d41, 0x2091414b, 0x44bfdb79, 0x1207e08a, 0x78126228, 0xd0338ba0, 0x4b0c7344, 0x63346b8a, 0x13c3ce99, 0xacb439de, 0x2ea0fa0e, 0xcc857213, 0xd030c866, 0xbfb771f3, 0x1d668aae, 0x598dd081, 0x49db7122, 0xb1796db7, 0x5fe1c89d, 0x0f7237d3, 0x1fade217, 0xa1a6973c, 0x00000000, 0xffffff69, 0x3fffffff, 0x00000000 }, /* 8.84847425589045414839328940210028776873357931904459744282750141760311590976402526377444683147833488748272635982763622989760640871221236534891402268333965710075673413186614368017986651515594143869411971052258480814384081341627043954841937920157127436147639460951515127855619598344493217623E-46 */
+ { 0x00000000, 0xac77e3a3, 0x5d10b964, 0xe10dfc2a, 0x98bb65ed, 0x79dafbe9, 0x420230f2, 0x7b14705b, 0x2e86af0e, 0x8fb6bb57, 0x578cb741, 0xf299dc9d, 0xd177a185, 0x7451cf16, 0xa9b1ef43, 0xf8b40faa, 0x981ac82d, 0x2325b024, 0x374e980f, 0x952bf23e, 0x96214682, 0x31af4223, 0x49b9b664, 0x147b5659, 0x46c161fd, 0x8f8c9599, 0xc3eda249, 0xc4e2ba58, 0x56f6a614, 0x3eb07306, 0x9c996282, 0x00000000, 0xffffff75, 0x3fffffff, 0x00000000 }, /* 3.51107458473733220608245723475339418663348427379689626531395256250491639299436522466570050273060328335314581957960605602337022297700586657044908420074917593758027210352448581229537103321387756287382670113536165187147603476357611041281280961972382969006743936749224545028467858977500440246E-42 */
+ { 0x00000000, 0x244d45e1, 0x46c1c5bd, 0x9e92ef1a, 0x20e6260d, 0x028d8c9c, 0x8894dc96, 0xcd91dd75, 0x92076dba, 0x3399c02a, 0xade20db2, 0x4d9db8ef, 0xe2f723bb, 0xcf538171, 0x7f2cacc7, 0x0eccfb4f, 0x173ac113, 0xdc5c8527, 0xdbfd4630, 0xf1bcd64f, 0x3c0d4567, 0x203666b1, 0xdc234876, 0x84e6c9dc, 0xb99d4cc0, 0x7f75f119, 0x6a766561, 0xa546a152, 0xe2e28e1a, 0xa842e9b9, 0x850c5131, 0x00000000, 0xffffff81, 0x3fffffff, 0x00000000 }, /* 1.22185395548859160771669511769418117694845252728131990032925549175171090476203909818366377495024994260689474521370290749613283759599804156651628130186071322627793469202652106267878911955842939188009169199510585485127366009772448642365885774766392500276396876763853020488553404526157163313E-38 */
+ { 0x00000000, 0xd9fbdcd3, 0xd7fd39fa, 0xb2c13910, 0x1b9e09bf, 0x7fc50211, 0x8babcdb5, 0xd38960ff, 0xdb9ef805, 0x203105be, 0xe6bfc839, 0x909ae311, 0x2920eac2, 0x08214d22, 0x61c7f71f, 0x23daab13, 0xb84cc116, 0x25609c9b, 0xead3f9a4, 0x7af0d471, 0xb2ab987b, 0x6b9053a1, 0x1d0c18fe, 0x443cc610, 0xfc124354, 0xf63425ff, 0xb132d1b1, 0x580a4a33, 0x790285d3, 0x5272cd1c, 0xc4742fe3, 0x00000000, 0xffffff8c, 0x3fffffff, 0x00000000 }, /* 3.69488636139750102173528603590720387909212044249871137859566860705717377600040623290739925544955582644324970952623759226830570089029807769714523465682679679626447450868819969354065829754469048104539727659320010507025154813551884694514438582893570922762069477044037548155070924363994341111E-35 */
+ { 0x00000000, 0x2abe3540, 0x2fdb6432, 0xda0c8c37, 0xb7c65d7c, 0x6b351b9f, 0x6c511c27, 0x658d6824, 0x4cd0d0df, 0x85de3c4b, 0xb9f17930, 0x0194a245, 0x5e36ca09, 0x655246ec, 0x9b22dcba, 0x1b849b2f, 0xb0f97121, 0x6373a6d1, 0x9f1f1bed, 0xc313bdb4, 0x47d3d894, 0xfe8e3a2c, 0x74e05bba, 0xfaa12772, 0xfb032f79, 0xed90343d, 0x9ff58436, 0x4ec51033, 0x25a033e5, 0x97abbe65, 0xf96780cb, 0x00000000, 0xffffff97, 0x3fffffff, 0x00000000 }, /* 9.60670453963350265651174369335873008563951315049664958434873837834865181760105620555923806416884514875244924476821773989759482231477500201257761010774967167028763372258931920320571157361619525071803291914232027318265402515234900205737540315523284399181342146144460158310052548509859967680E-32 */
+ { 0x00000000, 0x52f64c4e, 0xc8e18da7, 0xbb2fa062, 0x1910edc3, 0x3fcaa0e4, 0xa263b92d, 0x6cbe3a23, 0x97689098, 0x2829cc80, 0x963c2b54, 0xdada1f79, 0x6ac988e8, 0x7a9e5a3b, 0xa9a0cafc, 0xd8d57ba7, 0x096676fb, 0xf79c57ed, 0x5dc6c50d, 0x3128a443, 0xdeb832c0, 0xcd38ab5b, 0xb300f172, 0xc11adf43, 0x694fb797, 0x9c0fbc29, 0xd43a5945, 0x9c763abb, 0x86485bf9, 0xbfc294a2, 0x8671cb6d, 0x00000000, 0xffffffa3, 0x3fffffff, 0x00000000 }, /* 2.12116036235107738655779300749360760290920450362966022822420143393938232132631321018747976456848100884454079324482247696938893676710232044437713631179112750479950952594772168006782111545445591135854166854662431631873000875363865965426848901667541195339240345338155201659868631929808796373E-28 */
+ { 0x00000000, 0x142cce01, 0xb8a8bd15, 0x3cf02bcf, 0xa53c8d17, 0xa91fae5b, 0x4f0ff82f, 0x143f4cec, 0x113eb4f3, 0xe07b6f10, 0x6d209631, 0x3af5a4cd, 0x3ab7b514, 0xa549c6d7, 0x94202e53, 0x81514528, 0xc6f6eaba, 0x34dc26ad, 0x933cb79f, 0xd8b75871, 0xcbf06b96, 0x2e5c453f, 0x2d0bb3bd, 0xde7e7eec, 0xbc0ddd53, 0x9fa46592, 0xf9014d1b, 0x785d5dfe, 0x4e5695fc, 0x1011283d, 0xf2a15d20, 0x00000000, 0xffffffad, 0x3fffffff, 0x00000000 }, /* 3.91990434962479101035880147784818685017620992270761210175832424991997852981102681242646260492255290434471138591643193743943075514560508818120894790419000362886949360395138966476533342135983452419058500347416173655701305617672424304108816770281616128986916158184925600296421428589372277548E-25 */
+ { 0x00000000, 0xa8c37093, 0xfd9602cd, 0x3f3a42d6, 0x04a2f0b7, 0x5f858368, 0x62adda33, 0x6906fb17, 0xeccc8a4c, 0x049b9c6d, 0x76fe2f79, 0x03c25050, 0xbd945865, 0x14acc193, 0x1defe262, 0x6bfa5154, 0xf9ab4236, 0x293b64b4, 0x4b471048, 0xf4d813a4, 0x595c6fd9, 0x68687b65, 0x496eaf66, 0x3f21e233, 0xe7924a44, 0x807c0362, 0x3ccef73a, 0x61554bc3, 0x80244351, 0xcbecbbdd, 0xb413c31d, 0x00000000, 0xffffffb8, 0x3fffffff, 0x00000000 }, /* 5.95825461142968233574537824632924401226783908251557039467265285987836736531276075488822315948228041460396130659297654490793474782131973403543760081436880551588163027800611229044330680046694847676968920528072583956665984538862084942245401490828056516060112560441086913404259957817903233437E-22 */
+ { 0x00000000, 0x2cb99f1c, 0xf66d3f4b, 0x0993a3e4, 0x558ac3bb, 0x682d9712, 0xf3f3ced1, 0x558a5821, 0x650c7d4f, 0xa78200fb, 0x2e3bd4be, 0xbe7e4400, 0x989b51a8, 0x3cb67f62, 0x8bc8bc99, 0x0d113536, 0x526eb525, 0x4148fe60, 0x61faf176, 0x86aa477a, 0x24d07db2, 0x68cce37f, 0x4dc64da8, 0x93768061, 0x38ccdcc5, 0xed943c0c, 0x5eaf6383, 0x4657f48f, 0xc32b5877, 0x9dc0f88e, 0xd73f9f39, 0x00000000, 0xffffffc2, 0x3fffffff, 0x00000000 }, /* 7.29290364438993117895234297350699467101583503699905816307932710049112165514281916398318514720631122747524863926980329096731213133329535445937562339678741795143911546027948144350260752377154493556609958726360842762959165075567191969308371424773541175657577773979890382006784124272355817004E-19 */
+ { 0x00000000, 0xacdc07fa, 0xa70660ee, 0x58fa69a6, 0x3032177f, 0x51aabda1, 0xd4b491e4, 0x6031b29f, 0xaebbb57a, 0xbd09e0eb, 0x2b581772, 0x32965fc0, 0x6f119c8e, 0xa8eb176c, 0x230c30cf, 0xbc4021e3, 0x4d47c9d2, 0xdd346e7a, 0xbbdb425e, 0x5e3fa302, 0x328375d7, 0xe2401547, 0x38e9e8cd, 0x3a3f185b, 0x75400ef9, 0xaebaf84b, 0x68c46d4b, 0xd1f27546, 0xd6f8a2ef, 0x03e4e905, 0xc9cba546, 0x00000000, 0xffffffcc, 0x3fffffff, 0x00000000 }, /* 7.00118749861433393179424925456671488417520163551909583655615401647147678893710639742385774131805877837623869369901115932861964607996354028100059846091592123338155084186830218576250322282068313814345560377306409052440798472544504290536036567782599528631274663020694766726512758258745609075E-16 */
+ { 0x00000000, 0xc3888d28, 0x7abe88e9, 0x8942071c, 0x98439cb4, 0x520f62d0, 0xa1385fb8, 0x006354fd, 0x8e397305, 0x926505e7, 0x9ed0a0ab, 0x17f6e812, 0x16f6854d, 0xa21722a7, 0x7aeaaab3, 0xd1d59817, 0xf2f1097b, 0x7143468a, 0xf18de12f, 0x1d013de3, 0x9de975c7, 0x5ed98f20, 0xda764b82, 0x2f68db50, 0xa55b8aa5, 0xce38ec85, 0x0e7ba5b3, 0x7f425f60, 0x26d4c3d6, 0xc6c4bdaa, 0x8f76c77f, 0x00000000, 0xffffffd6, 0x3fffffff, 0x00000000 }, /* 5.09686449899123510234621345732456843567954679065790176901288012399123510234621345732456843567954679065790176901288012399123510234621345732456843567954679065790176901288012399123510234621345732456843567954679065790176901288012399123510234621345732456843567954679065790176901288012399122352E-13 */
+ { 0x00000000, 0x11a5038f, 0x5e947d31, 0x2d8c1755, 0x1d05b99a, 0x149fdde7, 0x8e4222b6, 0x28666fa5, 0xcaab3e9d, 0xeef82e16, 0x33c725b0, 0x80b69f53, 0x4fae3977, 0x3f27dbbc, 0x36c20009, 0xb06444d8, 0x4a8891c7, 0xeccd60bf, 0x111a5038, 0x55e947d3, 0xa2d8c175, 0x71d05b99, 0x6149fdde, 0x58e4222b, 0xd28666fa, 0x6caab3e9, 0x0eef82e1, 0x333c725b, 0x780b69f5, 0xc4fae397, 0x93f27dbb, 0x00000000, 0xffffffdf, 0x3fffffff, 0x00000000 }, /* 2.69114445546737213403880070546737213403880070546737213403880070546737213403880070546737213403880070546737213403880070546737213403880070546737213403880070546737213403880070546737213403880070546737213403880070546737213403880070546737213403880070546737213403880070546737213403880070546737213E-10 */
+ { 0x00000000, 0x00d00d00, 0x0d00d00d, 0xd00d00d0, 0x00d00d00, 0x0d00d00d, 0xd00d00d0, 0x00d00d00, 0x0d00d00d, 0xd00d00d0, 0x00d00d00, 0x0d00d00d, 0xd00d00d0, 0x00d00d00, 0x0d00d00d, 0xd00d00d0, 0x00d00d00, 0x0d00d00d, 0xd00d00d0, 0x00d00d00, 0x0d00d00d, 0xd00d00d0, 0x00d00d00, 0x0d00d00d, 0xd00d00d0, 0x00d00d00, 0x0d00d00d, 0xd00d00d0, 0x00d00d00, 0x0d00d00d, 0xd00d00d0, 0x00000000, 0xffffffe7, 0x3fffffff, 0x00000000 }, /* 9.68812003968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968E-8 */
+ { 0x00000000, 0x60b60b60, 0x0b60b60b, 0xb60b60b6, 0x60b60b60, 0x0b60b60b, 0xb60b60b6, 0x60b60b60, 0x0b60b60b, 0xb60b60b6, 0x60b60b60, 0x0b60b60b, 0xb60b60b6, 0x60b60b60, 0x0b60b60b, 0xb60b60b6, 0x60b60b60, 0x0b60b60b, 0xb60b60b6, 0x60b60b60, 0x0b60b60b, 0xb60b60b6, 0x60b60b60, 0x0b60b60b, 0xb60b60b6, 0x60b60b60, 0x0b60b60b, 0xb60b60b6, 0x60b60b60, 0x0b60b60b, 0xb60b60b6, 0x00000000, 0xffffffef, 0x3fffffff, 0x00000000 }, /* 2.17013888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888889E-5 */
+ { 0x00000000, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0x00000000, 0xfffffff6, 0x3fffffff, 0x00000000 }, /* 2.60416666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667E-3 */
+ { 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x80000000, 0x00000000, 0xfffffffc, 0x3fffffff, 0x00000000 }, /* 1.25000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000E-1 */
+};
+
+#else /* BITS_PER_EMUSHORT != 32 */
+#error ei_cosh_008_emu32lsb.dfn: ERROR: Failed size of EMUSHORT data type.
+#endif /* BITS_PER_EMUSHORT == 32 */
+
+#endif /* __REAL_EINTERNAL_COSH_008_32LSB */
diff --git a/mpu/math/cosh/emu01024/ei_cosh_008_emu32msb.dfn b/mpu/math/cosh/emu01024/ei_cosh_008_emu32msb.dfn
new file mode 100644
index 0000000..6c7a7e2
--- /dev/null
+++ b/mpu/math/cosh/emu01024/ei_cosh_008_emu32msb.dfn
@@ -0,0 +1,83 @@
+
+#ifndef __REAL_EINTERNAL_COSH_008_32MSB
+#define __REAL_EINTERNAL_COSH_008_32MSB
+
+#if BITS_PER_EMUSHORT == 32
+
+#define N_COSH_C1024 64
+
+static EMUSHORT _ei_cosh__C_1024_[N_COSH_C1024][NPIR_1024] =
+{
+/* Sign Exp hgw S i g n i f i c a n d lgw */
+/* ========== ====================== ========== ====================================================================================================================================================================================================================================================================================================================================================================== ==========*/
+ { 0x00000000, 0x3fffffff, 0xfffffcb2, 0x00000000, 0xe4e45324, 0xc34f91ff, 0x8bda1434, 0x8fd8b02d, 0x054af44e, 0x989850ce, 0xc562b0a0, 0x5d03f064, 0x88bc9a99, 0x7c642e44, 0x9eb01b3f, 0x9aa73f20, 0x8d7fa4df, 0xac32cd8d, 0x8c877ef2, 0x470c2049, 0xe146c8b5, 0x7adfbfcc, 0x27aa18a4, 0x3f6884c0, 0x563892a7, 0xa128df7b, 0x9e35dd3e, 0x85bb80ae, 0xa1791b54, 0xeb9d89fa, 0x0066dbde, 0x80ce745b, 0xe95312d2, 0x17b3877d, 0x00000000 }, /* 7.62209059567224693928831308459442793788192143378169508009613385642697953342125804135841897788904952079140263391992845264182788129149101667526100969142433342970060868121129283109261160401535557549750971033206935725589001379394568906122843431700301453216612489593155820894848520378408967809E-255 */
+ { 0x00000000, 0x3fffffff, 0xfffffcc2, 0x00000000, 0xe310aea6, 0x880e1633, 0xae8c118f, 0xd6fe0c3a, 0xcb75d503, 0x73d6773c, 0xcfdf4df3, 0x36147050, 0xc791f657, 0x7f1a44e1, 0x8ed6df2e, 0x91f832be, 0x37de70cc, 0x217cbcb8, 0x465282f3, 0xc661e11d, 0x3ec6c541, 0x2fa5e27c, 0x389114f6, 0xb32cdb18, 0x353487dd, 0xfd17ca64, 0x7c5a9a36, 0xa8048ef4, 0xf56cdbc4, 0xe0d3781b, 0x302effab, 0x6f1555c7, 0xc01afdc6, 0x63b6aee8, 0x00000000 }, /* 4.95534775007716677913775422716726912030038596575454820440301402354915978930566894092717621678105588465700071745346931563002619862027164571058386739982695865883778964082128420030900814622824784037029779753356402468304269935435504236847286765734072615558500389634976427877162165873859504236E-250 */
+ { 0x00000000, 0x3fffffff, 0xfffffcd2, 0x00000000, 0xda475198, 0x38047393, 0xe65ae9d4, 0x7d9f68b0, 0x57b562b7, 0x0d58354f, 0xcea4cb35, 0x63d4b384, 0x1e19014a, 0xbf32a204, 0x3d1e0502, 0x37a012a8, 0x7774b02b, 0x28192c5e, 0x74917af4, 0x733b9837, 0xc2291e0b, 0x5c9bb8bd, 0x1f82c685, 0xb13fac47, 0x001f7a4f, 0xb1eaa418, 0xd9bc92ca, 0x872278cb, 0xadfcb111, 0x8ca95e82, 0xc2b16884, 0x886e13b7, 0xd1fac04c, 0x4dc532bf, 0x00000000 }, /* 3.12186912672322363127341527777592353392469187152273205312150754907133019163331672832743846437680055137240910446762134635066205117550234795831141677379938840958504338974590009964802952064907661614916334406222003705598640530309228106277622567535203263213592585124283784419148073111019964619E-245 */
+ { 0x00000000, 0x3fffffff, 0xfffffce2, 0x00000000, 0xcb328425, 0x02f920cb, 0x3e984e72, 0xd543e1b8, 0xa03dad12, 0x9bf51a64, 0xd3926ce7, 0xca116f66, 0xee26233b, 0x155cd85e, 0x1292e4d2, 0x9712a0ff, 0x2e8205e7, 0xb95c0575, 0x61432b98, 0x6aa5262e, 0x4c3b7aad, 0x07f287b0, 0xec76d462, 0xd5a35613, 0x0f185bd0, 0x1783b317, 0xc886e5c0, 0x0286f1e0, 0x3efb45e3, 0xd49a4ccc, 0x3ae0ef6f, 0x0ff70b15, 0x1cd41708, 0xf612e848, 0x00000000 }, /* 1.90458991682983361198364709908100338450639747960475707992485419301316378222306910916263658026254915899115862712275459294414228384873083559652098882771844827934947267708521850247763353662284480913886812127766735649809166184877628269778061012171077076915521297947710175676050751023517926101E-240 */
+ { 0x00000000, 0x3fffffff, 0xfffffcf2, 0x00000000, 0xb714bbdf, 0xf8f5c88b, 0xac45ea19, 0x2aa54c9a, 0x85ab8d8d, 0x7af63829, 0xe69f1bbd, 0x85838291, 0x6144e2e2, 0x145dc09f, 0x0c7b3682, 0x21ac0311, 0x3e84673f, 0x907503c6, 0xba2e0a3e, 0xb8117511, 0xc6a19818, 0x21ea02bc, 0x729c1186, 0x36236eeb, 0x3d0f7685, 0x218d0784, 0xbce1230d, 0x1f6a7e24, 0x98c5dbed, 0x73a2d7d5, 0xa82356cc, 0xdf313eed, 0xa084dfc4, 0x603260b8, 0x00000000 }, /* 1.12462225408968018594683533215496566315867817297590144078272008884901187665716583613336077553770209701752444300281348834440159449682618658781811848116670210371107851788443487380463981531851956251559997929597105162110759686221664174306109780211116337980370287890027299229295357619770409712E-235 */
+ { 0x00000000, 0x3fffffff, 0xfffffd02, 0x00000000, 0x9f91f23f, 0x95dd386a, 0xb9b1763f, 0xbd27136e, 0xc7946cca, 0x44f96ff1, 0x46fce097, 0x0136f049, 0x7e7c280e, 0x0efd5916, 0x2b440302, 0x29a3abf3, 0xec3792cc, 0x467ab0c3, 0x892263d6, 0x574ab0b3, 0x9be75ab4, 0x0a9cb6c8, 0xf6c2813c, 0xe1d78b53, 0x259d96fd, 0x8ac60e14, 0x9689b226, 0x34c661c2, 0xd8dc5d40, 0x0da7dbe3, 0x052a0cd7, 0x3323bc15, 0x5e0286c2, 0x7d54a0bd, 0x00000000 }, /* 6.42384231536025322212214316432634557664756014074241565402866199711224264899815597818725763328024710059413765424458279806277275849702356564161376956179915353506335613138931856206537742651927544365920580999287772487483421493711242143306010853409070036167221887448944197536217316924769097459E-231 */
+ { 0x00000000, 0x3fffffff, 0xfffffd12, 0x00000000, 0x86764359, 0x84908162, 0x2ea985c9, 0x62ba383c, 0x19ff5ab7, 0x7a3e8d55, 0x34607d9f, 0x2867c9a7, 0x5c84f05a, 0x86b3dd4f, 0x61841513, 0xe58283b6, 0xb0c515ae, 0xace27861, 0xd11744de, 0xea5f738c, 0x40312f89, 0xb8ad440e, 0xaeb97ce9, 0xda31eb75, 0xc85991ee, 0x42fc0bbe, 0xcacd19b9, 0x7dec0067, 0xe86191eb, 0x28feedee, 0x4a01a84d, 0xee86f152, 0x77b9056d, 0xc2afcee8, 0x00000000 }, /* 3.54750268023454623938473242673007851736776464924531150273114482425438287877316865008563494117996581262678932117213234072359980967505218791178779795999968264090331832930536569689383148758831063447240661992085797179525285533988404810282332000303376206300861472405438893636744021706356519851E-226 */
+ { 0x00000000, 0x3fffffff, 0xfffffd21, 0x00000000, 0xdaf5d4ec, 0x65bed0b0, 0xc1bc4dbc, 0x4800148c, 0x2c3be55d, 0xa4ba643d, 0xe1a847ca, 0x35959403, 0xf16bf0b0, 0x624202c8, 0xc33204da, 0xc530308e, 0x0b486786, 0x6e79b82f, 0xfc731c81, 0xc79ce1c1, 0xb6d0de20, 0x2d96ef1d, 0xe4118099, 0x42ca7a43, 0xbc9828a0, 0xc4cb95a3, 0xb6817df5, 0x5da0f453, 0xa67c074b, 0x45e03c6b, 0x17ae26f3, 0x16dd2cbf, 0xfb8a60e6, 0x7c62b086, 0x00000000 }, /* 1.89294743017315387333569322290222666592124077970143369462624654577626052421506071624022240002836110998922809569453451991476523125185868385920191724824537124095270461546907616044039061448432236390233036298834513828246047802751814048154521554197133255462727080804135779084435242701301235172E-221 */
+ { 0x00000000, 0x3fffffff, 0xfffffd31, 0x00000000, 0xac289951, 0x7e5f6f85, 0x79d355fe, 0xb17c57c7, 0x73fb104e, 0x55642c26, 0x35068be0, 0x966782af, 0x86bf0927, 0xc7fb7594, 0xaf476876, 0x6aad20d3, 0xccebba2c, 0xe656e0e0, 0xf58ed40c, 0x6fb15bdc, 0xe5b2bcdc, 0x43cc24b4, 0xddd0c78d, 0x00ef13ac, 0xa3cdecce, 0xacdf09b8, 0x53c17f3d, 0x276278dc, 0x927f2aed, 0x511827bc, 0xc6412546, 0x79656c81, 0x3e1cbbcf, 0xfeed42ed, 0x00000000 }, /* 9.75397951819622727852416003897059364734456832621046379018725242843045647478052125896440547962560872788489526268286942025421554284096132763025120841116980162976711751119241892662131666973776453471799608668964634971272665595389668207738540815498877926378362392010140206451891969026401818543E-217 */
+ { 0x00000000, 0x3fffffff, 0xfffffd41, 0x00000000, 0x82a1ce56, 0x1623ea5f, 0x07b09c00, 0x822c999b, 0x1262fe18, 0x94c5f44d, 0xc545dc51, 0x12bfd22e, 0x37731f11, 0x5df6d629, 0x30c76f2c, 0xc8a7b82c, 0x86ff1bd2, 0x853d36ce, 0x42262ddd, 0x94654887, 0xd8b5bf23, 0xe9879a36, 0xfb19c064, 0xdd859869, 0x73da4515, 0xb5ed5e7f, 0x2fb3266e, 0xaa825320, 0x8ac73034, 0x2975b770, 0x194207ac, 0x547f4ce1, 0xc238bdbc, 0xe027c9bf, 0x00000000 }, /* 4.85045893480861990106449430417929680895092117262562236294890525269013037061153937453107799212888286512103246639782315036934846413565537009210681596580021999727467103056706092187428745559818098796462433018439791852882299542588948427083011786577493911207282515078530663710234633918391542342E-212 */
+ { 0x00000000, 0x3fffffff, 0xfffffd50, 0x00000000, 0xbf3232af, 0x9f87b117, 0xf6914d53, 0xfe86a712, 0x27794931, 0xb4f391be, 0x8727f3d0, 0x586587cd, 0xbf81b224, 0x346bf824, 0x26095c55, 0xa034e798, 0xac3d764c, 0x0018f3b8, 0x174c5380, 0x18eb1ba1, 0x377f3680, 0xdbc2ddd0, 0xf56195f7, 0x06028fbc, 0xc1b23415, 0xa1add1e1, 0xb501305f, 0x29ba91c3, 0xa238477c, 0x7cfc2a3b, 0x048d2493, 0xb23eba01, 0xe6cccc47, 0x0a3fa568, 0x00000000 }, /* 2.32628010513421410455053146828439074957286179762023478257531735694990972191543695021035253734515503379151364922691631661968031165297881783123001214459191019010124511921203341020649823881594073748148585556192799720593578339296317224552590533909809997041494052291814647239485314818776639159E-207 */
+ { 0x00000000, 0x3fffffff, 0xfffffd60, 0x00000000, 0x86dad7df, 0xfef524d8, 0x76d8dc1a, 0x8e35d936, 0xbdf77bb0, 0x1cc6fca5, 0x82ee53de, 0x7817499c, 0x0d353576, 0x61bcbce8, 0x850a3ced, 0xed35ee5a, 0x393f37a9, 0x12d1f4a2, 0xada8529c, 0x851f9630, 0x364ea9e9, 0xf0bb0891, 0x6cd01148, 0x6608b16d, 0xb6a984a5, 0x64ba630d, 0x4ba67945, 0x67d640a0, 0x506aa1b5, 0xc7acc56d, 0x47cb0daf, 0x6a700264, 0x77316680, 0x80a6300d, 0x00000000 }, /* 1.07529971579723912768743766589977678008255963733196415386273590541794097908080790366216974432487080531677883967779538340420390800573097307956966107851379041541346307740683111459863322419234446915706555799061314795766919233707506269384356878019250058330442567053290356290362318235475445068E-202 */
+ { 0x00000000, 0x3fffffff, 0xfffffd6f, 0x00000000, 0xb738346c, 0x0495701f, 0x58f8828a, 0xd456892d, 0xaff8cdbc, 0x36191b55, 0xba6c23c3, 0x2796fb1f, 0xbf1560cc, 0x29f57319, 0xd0a94b04, 0x4abb3335, 0xed655ae0, 0x1fa5884b, 0xcd245e6b, 0xa04013f9, 0xdb1011d8, 0x6df62e9c, 0x72fcc1c3, 0xd74e2d32, 0x0165cae0, 0x9758b564, 0x23ff2682, 0x8ce3af4c, 0x7e1763eb, 0xd0102d1c, 0x1bf64d4c, 0x5c37880f, 0xd1d3b27b, 0xc1b809f5, 0x00000000 }, /* 4.78723433472930859646447248858580622492755550540190441332521899354063181758603520572782482327198063692080372431213829043164938513305324887170746759236103076580323505395086806889418123620389735135174827414587512868581248987440257437345075400344551634464178241581443926372656633132573322884E-198 */
+ { 0x00000000, 0x3fffffff, 0xfffffd7e, 0x00000000, 0xef94be8c, 0x3efe685c, 0xfd96f4b3, 0x092827e0, 0x7dda9705, 0xdbbd547e, 0x599558ed, 0x7e0a6b43, 0x81c7b2fa, 0xba77e0ff, 0x54fd8ad0, 0x7d1389d4, 0x9d4a1b66, 0xda1798eb, 0x94d2547e, 0x4e3c2431, 0x71f07a0f, 0x23426c4a, 0xf8c1749b, 0xee6b8e42, 0x7e750c8b, 0xa2481c41, 0x9d2991ef, 0xfe59a039, 0xc755d2db, 0xf87c7fcf, 0xa01d3eef, 0x0b3b39ac, 0xaf98f2a4, 0x9fe4fa7f, 0x00000000 }, /* 2.05123416774481414741309717190924625125695898295460800302158992195541265737973453652629509422642866601544220242322690858785253480184045206553235555603318010409980998321073472058434293219371886273305871482806062684958750825545448614544881987909560183862377792456067179539047784004382077164E-193 */
+ { 0x00000000, 0x3fffffff, 0xfffffd8e, 0x00000000, 0x96a50f30, 0x3f3c07af, 0x3894032c, 0xf329f7d2, 0xf0228a25, 0xf7033438, 0xd2641fe0, 0x865fedd3, 0x98aa4622, 0x65bc8480, 0x76a6d43d, 0x099438e0, 0xf738ca34, 0xee8dd244, 0xa05f4f4f, 0xc6f6b618, 0xd2d810df, 0xd234cda9, 0x8e9a59dc, 0xa2d29ea1, 0x8ebdfe14, 0x7ce141f0, 0xd880ee79, 0x13dc88dd, 0xd3fe498d, 0x14562e7a, 0x1caf643c, 0xa00e6628, 0xc952692d, 0xae223a30, 0x00000000 }, /* 8.45272575844283013865989082600362195217967657695934865885136775034162002474374242175876933181381007566438345465212647843588984999594880215680409006702506321428944763020688559239968608674570743201212742167813400602580327332708899819329872171948053826286004576053126234441228573303610230554E-189 */
+ { 0x00000000, 0x3fffffff, 0xfffffd9d, 0x00000000, 0xb60db93a, 0xee6b2bc9, 0x60ffdf56, 0x725cd7de, 0x8af3bdb3, 0xa1637f3c, 0x2b41c005, 0xf6c25eb5, 0xeaf87b2a, 0xae302bfa, 0x1155dd5c, 0x7d4a3712, 0x0ae7c60d, 0x5b5cb1a8, 0x55e70a9d, 0x827c5300, 0x4723f3e7, 0xe4e23da7, 0x831768f4, 0xcc60edc9, 0x5e81b914, 0x5427d180, 0xf5a562eb, 0x7aee6273, 0x5aa2e725, 0x09fa2d11, 0x47af3541, 0xcfea510d, 0xb81d950d, 0x6fbbd59b, 0x00000000 }, /* 3.34727940034336073490931676709743429306315192447590206890514162913528178072071554777608134304896669811130230654020673100917590767663048288137039907645931449765034047427027854325979967308876368150414242553585561143484412573954267946436559343039683309571440260533585285066194037742611485611E-184 */
+ { 0x00000000, 0x3fffffff, 0xfffffdac, 0x00000000, 0xd3414cc0, 0xf2493c7f, 0x5e1eea19, 0x4014dc3e, 0xad1d7651, 0x417684d4, 0xc1f1fbe2, 0xeba6ebdf, 0x8de7b75a, 0x977ee890, 0xe9ce18fe, 0xe0c0e71b, 0x7f8b0faf, 0xeb3e10cc, 0x6723a7a4, 0x65837b15, 0x6b65f6f3, 0x5d3d3766, 0x4c47b514, 0x54c3c836, 0x4d303f2a, 0xdf604d52, 0xef46e8df, 0x6fa1c142, 0x1c3466c9, 0xb2f96780, 0x525d9c0b, 0x9ece3643, 0x64ad08a8, 0x86d69070, 0x00000000 }, /* 1.27276951918655948584191860752112841559433288776271700268049105306239954430071982968925512664273737225785823803889847083577327128271389286371557240525378010743398401602593474160800654421977990059861628288639707405658876247383369968692772716325538345686502403217268150103846281375669302047E-179 */
+ { 0x00000000, 0x3fffffff, 0xfffffdbb, 0x00000000, 0xeb2fb272, 0xcdbb8859, 0xcbc86a9e, 0x1c573931, 0xc6b9ccb8, 0x75e0f1e0, 0xdbea656b, 0xa058d497, 0xe0f30bbf, 0xb93e4a7f, 0xb3108b72, 0xe7f8813a, 0x5ac193bc, 0xa0144b07, 0x277a1d25, 0xe6bbd6eb, 0x26f1eba7, 0x7e060f12, 0x12a84891, 0xedcef43e, 0x7072f8e1, 0x9332890d, 0xef4d2056, 0xd64bcf9b, 0x782f3b78, 0x9a0b3133, 0x289c1a04, 0x0811fdd0, 0x3a0e332c, 0x26fc50b2, 0x00000000 }, /* 4.64306320599256900435131908023707646008812637455839162577843136157163353760902593343206515072892475735683466946392778416770510640885106983157521076936782320454411806329522871814728645533470877507094587438265575329979264131111586146205374603683750728864058458771691991480256013307028609635E-175 */
+ { 0x00000000, 0x3fffffff, 0xfffffdca, 0x00000000, 0xfaf9f63d, 0xe2eb8f91, 0x5326ef46, 0x99de5458, 0xce416627, 0x184afc1e, 0x24ae321a, 0xca2ccb5d, 0xd35d5d2f, 0x35cb7c3c, 0xfd22473d, 0x92f8076a, 0x3f70d85a, 0xef3a6c1d, 0x5d8234ec, 0x50d638a1, 0x429945d3, 0x28fdb2ba, 0x52a732d6, 0x66f89e70, 0x6fb6aec3, 0xb3284375, 0xfcf753c0, 0x280cd403, 0x1c01829d, 0x4cd57ac7, 0x7975fb50, 0x7bae4fe8, 0x9957a1ee, 0x9b2695ef, 0x00000000 }, /* 1.62358634187148152944156925597730089656361603065557838370220187851436881543112418840259630984834865597265987951912539667962695804527279022345937038565300740455002462054876869098897369648931170707276166419115171374056651294736619003420805602404378090421174277513242751202077573456654362572E-170 */
+ { 0x00000000, 0x3fffffff, 0xfffffdda, 0x00000000, 0x803eda23, 0x7f83fe4c, 0x724d5524, 0x437feb79, 0xa0e4cb02, 0xda19d0f4, 0x271e42fa, 0x506f03aa, 0xe191252d, 0xafa6fbd4, 0x1543ba14, 0x8f543d27, 0xd30eb402, 0x4cbe4df8, 0x19a80370, 0x649ddcd1, 0xf0d2bd0b, 0x85688e99, 0x35c188d1, 0x61deb55e, 0x520916dc, 0xc6159967, 0x559184fb, 0x6bec24c8, 0xc2c79682, 0x5b1d6af6, 0xeae96c7b, 0x34a6a19c, 0x225afc91, 0x04527993, 0x00000000 }, /* 5.43706594165921734579392712441678524241223736345940089134193365076891828911574868212261452040317006381540514976194289448545801873921968457513748275927030480730886449903130550503046649744712525056223187888796722849062708861430793556887134957273131793694525731559081193359789537140688660118E-166 */
+ { 0x00000000, 0x3fffffff, 0xfffffde8, 0x00000000, 0xfacae955, 0xab3d7f2c, 0x3f067aa0, 0x0a8007dc, 0xba436b80, 0x73c2bc3f, 0x74ff8dba, 0xc18b188c, 0x0b5c7754, 0x779fec38, 0x344b1e83, 0x3a48d311, 0x7237e56b, 0x398e0a96, 0x7765715f, 0xf4654f23, 0xbb23615a, 0xda3ae493, 0xd1ea66b5, 0xa443e169, 0x35f79248, 0x9e501341, 0x6a2c6caf, 0x225fe8a6, 0x714ea0a0, 0x413a2c27, 0xee2a96ec, 0x70f44efa, 0x07512f9b, 0x2a781329, 0x00000000 }, /* 1.74203592770761323759237425066313799166888085125239204558595554170636141983268587775208569233717617691905789325086501746826456596465803227388062685800858641101544228965430148841052292251217486736602361223286731732745974530613084351320573672838157696411760940981896935013098847600576145606E-161 */
+ { 0x00000000, 0x3fffffff, 0xfffffdf7, 0x00000000, 0xea622291, 0x5049391a, 0x19e6ce1a, 0x11d02759, 0x09138237, 0xcc2fbe6e, 0x4e17d534, 0xc9613eb0, 0xe19e2a85, 0xb0cc3583, 0x86e28ad9, 0x10b21206, 0x69aaafa4, 0xfba956b1, 0x71db48a3, 0x364147e3, 0x425dca0c, 0x1d852865, 0x44796d64, 0x93939250, 0xfbbfb8e0, 0x198d373b, 0x543bbaa8, 0x069b135b, 0x8a35ef2b, 0xdecb965c, 0xfb88fa11, 0xa23e7964, 0xfaf1491f, 0x31f8187c, 0x00000000 }, /* 5.33481082501179477880288690523079378568678071887532540040243025092156121209561723202798722421336832433587570667945993373919730478381520126497453433977555989235096923278081239100268417052904926145568389573495274828468654492467812944591431540196251274371704015512291018918378505072368277429E-157 */
+ { 0x00000000, 0x3fffffff, 0xfffffe06, 0x00000000, 0xd125f1b8, 0x8b1456e4, 0x3a7ce489, 0x63452e1c, 0x83095882, 0xaa43da7d, 0x8dcf6450, 0x4a72b660, 0xf6539311, 0xabf33900, 0x8dacc6c4, 0x1bbe3fe6, 0x7ceba4bf, 0xd8b0aff0, 0x0881c433, 0x132d8ac4, 0xc8b228ac, 0x78bcd9db, 0x13bf0453, 0x1011a6b8, 0xb281f833, 0x7b25090f, 0xbde083b0, 0x080a601a, 0xb5264da2, 0xfbbd343f, 0x70e6195b, 0x1f77e520, 0x33c5b78d, 0xdcb94868, 0x00000000 }, /* 1.55989868523344879332196413108948410293481468219914514707767060536946449841675847864498346435998889803580964843836179633625794151806800934040194101632478560948612213168161126681538939586007404099654738839399420099029953391169922654561030053159745222108143764976990188306747712753230308973E-152 */
+ { 0x00000000, 0x3fffffff, 0xfffffe15, 0x00000000, 0xb2002b18, 0xef5def73, 0x7d470b00, 0x6d5c809e, 0x84059434, 0x34a87f93, 0x9b10e17f, 0xd55c60f7, 0xc5a460ca, 0xaa37a023, 0x58936baa, 0x271ca7ae, 0xecd600eb, 0x0f234416, 0x928a564f, 0x03cfb805, 0xb2b28c50, 0xb8767f08, 0x6cd62fd3, 0x48637d9d, 0x0f7a830d, 0x3a285ff5, 0x4b6df326, 0x88c1fb80, 0x5a377b71, 0x66a4d0b4, 0x7fabf0b2, 0xd49c6ce6, 0x6c7e13db, 0x826b0186, 0x00000000 }, /* 4.35024545337904199481629356878235326626461118571697598617020778425436259318465604524512988540713703884226594756608421587511075770150056463247049627641489256815661619968346424416142082351399104752203929125322313491393974421960139892962162029526289042379860638485117550876269370202021782579E-148 */
+ { 0x00000000, 0x3fffffff, 0xfffffe24, 0x00000000, 0x905242f1, 0x67939975, 0x1342e9db, 0x88ab5008, 0x85eac5f9, 0x93f1ddf0, 0x1d69dfd5, 0x356db65e, 0xe42f16ba, 0x51a2b9c6, 0xa88106fb, 0x25562bb5, 0x2da5cdc8, 0xdbbe3652, 0xb966c359, 0x018284a7, 0xf888b222, 0x33e2426f, 0xa6e42db0, 0x786a31b4, 0x0ec09b47, 0xf42bdd02, 0x1395cb73, 0xab168080, 0x4af197f4, 0xd76accf9, 0x0f619b74, 0xfc89a2fe, 0x6fbc961f, 0x5d10e558, 0x00000000 }, /* 1.15577321205374387718279287535409561578118189982128618000570080412069905375729941810072610795496816847961321694935727596668653492251870865743160415180461432535276833167808529401191456726941029511687795143099826221536838360386419221851032666916406407383317594935660144233711837181804034655E-143 */
+ { 0x00000000, 0x3fffffff, 0xfffffe32, 0x00000000, 0xdeaeed4a, 0x7ad0bdc7, 0xa4b83ed5, 0xbbe0547d, 0x26a13f78, 0x17463171, 0x7d625c5d, 0xf9704864, 0x6a14a811, 0x7bf614a5, 0x85ff15c5, 0x829bf570, 0x8d6e6eb6, 0x4f82460c, 0xe81313be, 0x73c43225, 0xa377d153, 0x8e4f22b9, 0x513acae0, 0x24319ee6, 0xdaf88df2, 0xbd3390a8, 0x13d1ffe1, 0x8e8a31de, 0x6859d19c, 0x8a8f49d1, 0x8b04ed00, 0x916f0727, 0x87d5ca9b, 0x8a51384a, 0x00000000 }, /* 2.92179468007186452151810038889515371669482784274821146305441163281712720789845292895863560091015952991646221244797519364326626125442245114760519455034833665939194276700833611024184958942913545848585989327311976575628032620643908132396924620761902855667832956305009391754132952350337149429E-139 */
+ { 0x00000000, 0x3fffffff, 0xfffffe41, 0x00000000, 0xa342df98, 0x8aeaea23, 0x4e93d491, 0x532e07f1, 0x81425838, 0x5b90465f, 0xe49d0d18, 0x25d08213, 0x1e8604f8, 0x5191fa43, 0x1aad7446, 0x3e31b781, 0xf4b0e6cb, 0x465cebb0, 0x1ed282f6, 0x1b16e8bb, 0x96cc7098, 0xfb45e876, 0x6a5956d8, 0x4ed7945c, 0xc62a9a50, 0xac46aeb4, 0x3a72aeb3, 0x1465e386, 0xac79424b, 0x2603a4d4, 0xdd62d6a2, 0xae812b60, 0xfee7e7af, 0x1fdd1c33, 0x00000000 }, /* 7.01931953940464732649508437428171728898765440941830321884191850667986640425524331653022616762656725467130881918501560520858286526165184582147376028347286429762710283983783042781040624308462608373359306109689472524655285736513573533663465070752220050114393164466528761484531384566051100668E-135 */
+ { 0x00000000, 0x3fffffff, 0xfffffe4f, 0x00000000, 0xe331cfa8, 0x07516853, 0xa219388f, 0x3c00ce8d, 0xd4209344, 0x6d6b85ee, 0xf1e38d78, 0xda9f6903, 0x1b3a006a, 0x8f836483, 0xe1dfe10e, 0xc00caf9e, 0x98c32d2c, 0x60aaf708, 0x24745938, 0x1a246b70, 0x2d423883, 0x6444ec5d, 0xd935e934, 0x15e376bc, 0xd627ea90, 0xb799cdd5, 0x48e04b38, 0x6a0789ab, 0x6479ca34, 0x684193c6, 0xaaa93c2a, 0x2ea18a23, 0x942c718a, 0xeb526d65, 0x00000000 }, /* 1.60040485498425959044087923733623154188918520534737313389595741952300954017019547616889156621885733406505841077418355798755689327968205722372247495807250789225135272305614794930136141260308860342937821226347115770903081589171399338745840730506684677112819222920507180879104557277933892405E-130 */
+ { 0x00000000, 0x3fffffff, 0xfffffe5e, 0x00000000, 0x95d148be, 0xfd535e9b, 0xa654419b, 0xf3c14834, 0xe671bb1c, 0x8f677741, 0xa0e1ddba, 0x41aa3e6f, 0x5c642f66, 0x44c2d4b8, 0x37627198, 0x8a045d8e, 0xc51c3439, 0xd37ebd06, 0x0254a363, 0x70d24920, 0x3917be50, 0xee2ca919, 0x11c61320, 0x60077c42, 0xaf74c463, 0x15505074, 0xf7073235, 0x7194149f, 0xcf4a1059, 0xf82e999c, 0x43d859ed, 0xf3ba9841, 0xfe303848, 0x937280c8, 0x00000000 }, /* 3.45815481064998812302465185603612911571415139171460386772238479210531901439975838490574089628570692744777821400085583209951293499873698886131545770010744764217646596091605741565545834107073330680128208409493116061517656150875055403745976575278769229655887857255744874303094288218126760222E-126 */
+ { 0x00000000, 0x3fffffff, 0xfffffe6c, 0x00000000, 0xbafab24a, 0x5d298c93, 0x421627e2, 0x22b7b99e, 0x059af106, 0x24f9a156, 0x6849e439, 0xf4f3f8eb, 0xfbcf0928, 0x22d1287b, 0xe91f5cc5, 0xe04072c3, 0xaf00b32e, 0x2b74ace8, 0xffe89cb3, 0xab1b60df, 0xfe09ed80, 0xdd24b592, 0x33ceb414, 0x333b1f15, 0x2268949a, 0xe966732c, 0xdfd8fe65, 0xee83f955, 0x54a7b0e8, 0x6535bbe4, 0x7edbc8a6, 0x167b69d0, 0xb72628e7, 0x5065fd97, 0x00000000 }, /* 7.07123495681709571396080811522267681581229676577802198871873242289695632064462594545525898472501352524521689198895000547708404948541739482361370786066325995510327086294542248313291346900284551729189928442551322081064533680498887766214177103879493419483446296609044164179634461745768286535E-122 */
+ { 0x00000000, 0x3fffffff, 0xfffffe7a, 0x00000000, 0xdc7c5efd, 0x709b5ea4, 0x258de047, 0xc8b06601, 0x36dc14f7, 0x1ed9dd1f, 0xc43a21ff, 0xd7b93127, 0x458ec2ec, 0x340e639d, 0x1d85db85, 0xd5cfff54, 0x7ffcf34a, 0x117e3565, 0x40c46bc8, 0x6774fe47, 0x2ce58893, 0x667e48d7, 0x331fec2e, 0x56caf975, 0x3e13ed8c, 0x8a897994, 0x9d1a358b, 0x97dcbf67, 0x2a440927, 0xbe3a879d, 0x1f6a6f96, 0xb4b97b5a, 0x1e07abd4, 0x78c37bc5, 0x00000000 }, /* 1.36616259365706289193722812786102116081493573514831384822045910410369196114854173266195603584887261307737590353226514105817263836058264067992216837865316457552816345112484948139522879291817802831718552999107719589289139607599774802139036855859271809026316706190177565300574752482791031400E-117 */
+ { 0x00000000, 0x3fffffff, 0xfffffe88, 0x00000000, 0xf53f56a8, 0x6700d185, 0x14c58f37, 0xd87a3575, 0xd9c54c51, 0xdf90d4b5, 0x1583a951, 0x53333d6c, 0x6e9e8b50, 0x3ae7014d, 0x0296a3ed, 0x1d931b41, 0x3d5c9b9c, 0xa2f521e4, 0x5fca7ae3, 0x29135f69, 0x37186a00, 0x40b21739, 0x44eaf30e, 0xae282884, 0x445ddf1d, 0xb0b41b72, 0xbb0729c7, 0x93b3e7c1, 0xa5c6b5ef, 0x2e9c9676, 0xc0e0ce3b, 0x853d5729, 0x462e37d8, 0x15a3ce04, 0x00000000 }, /* 2.48969471068063141426640454021392496346913888373428715699696467131856822999710245360314867973098545007220984659719999306441381614832580437509015965325740685915453935021788344445295632216483200206485639625852995034504383378852795797534064625643456649755288486146909680893430554356374271774E-113 */
+ { 0x00000000, 0x3fffffff, 0xfffffe97, 0x00000000, 0x806e7b51, 0x9070ddb8, 0xc130b550, 0x2ecd7f9f, 0x075ae247, 0xa023c864, 0x149442db, 0x26a2055a, 0x98ade6d4, 0xb3d8991e, 0x642b0338, 0x5c4cd975, 0xda324f3d, 0xb7167f0f, 0xa869f8fa, 0x95b2b527, 0x078099d1, 0x1908c2ea, 0x69440f1b, 0x9b6e7069, 0x453269de, 0x2c20deb7, 0x56474d2f, 0x40033ad9, 0x0d22e63c, 0x3bbdb148, 0xc983ddfa, 0xb352528b, 0x2cb057e0, 0x2eee68ee, 0x00000000 }, /* 4.27231612352796350688115019100709523731304232448803676140679137598266308267502781038300313441837103232391209676079518809853410851052708030765471396498971016556398825578099871003747077224969101207391003773880427590101882606885908119764030657647047711507264490093576581230530524770854530122E-109 */
+ { 0x00000000, 0x3fffffff, 0xfffffea4, 0x00000000, 0xfcd982c8, 0x945e3483, 0xbc57e4f5, 0xdc249341, 0x167aed7d, 0x03467285, 0x0883e39f, 0x740efa8a, 0x5c965e72, 0xc2126d73, 0xd534ae56, 0xf5b74c20, 0x05930c01, 0x80744a26, 0xd390a22d, 0x56b7d4a4, 0xd6c5319e, 0x4b5a4484, 0xa38d45ee, 0x1ccfbc75, 0x97ae64dc, 0xb3869d6d, 0x88605eea, 0x19d24d47, 0xcf667981, 0x29416478, 0x2ddc44c1, 0xbae0c674, 0x0356dea8, 0x637c0c16, 0x00000000 }, /* 6.89039144402589954389791902805624319873847466093430568879687313118483901973828485258570745518994880093200542965581047936531581020577807512018552268273540455502168683282115423008688742340269590535677922674824971168530686460917367290969113187088875714078469027851775883502779565658453657021E-105 */
+ { 0x00000000, 0x3fffffff, 0xfffffeb2, 0x00000000, 0xe9775621, 0xf3fe7bbd, 0x2307a808, 0x83244577, 0x3921c108, 0x4de62bfd, 0x95bcc74c, 0x5ac95495, 0x813d5775, 0x35f1c3cf, 0xd3fc8479, 0x8b211eea, 0x1125a635, 0xe2fb5ff7, 0x9998abbe, 0x9cf1fcf7, 0xb3ce53b0, 0x894c39ba, 0x9c144d7d, 0x2843688c, 0x8f6a8aed, 0xc5c3a8a7, 0x2463c7d9, 0x7071c810, 0xbd960064, 0x04a66d09, 0x958262dd, 0xae79cc05, 0x77ce5d36, 0xd71fac7a, 0x00000000 }, /* 1.04237841765223808300087719056434847110515644670614176460119096728564244690600773249916582382113545460499378139833100931838497576793010720418166587144421200108368078410575556513516812028546106582615355295122749143781118755923970734078507560339448969911749070445180567284524373217680632387E-100 */
+ { 0x00000000, 0x3fffffff, 0xfffffec0, 0x00000000, 0xc9c66330, 0xd81fb071, 0x36865df9, 0x5b571909, 0x4a206c14, 0x6d532d84, 0xe9a9673e, 0xbd76805a, 0x35f243d6, 0x0cdf327b, 0x5df5fd7e, 0x0b7e5ff7, 0xcb51c9e6, 0x126bc0b0, 0xbd7f326e, 0x7d2423e1, 0x142611d4, 0x52a91fa4, 0x5ceba23d, 0x71f88c37, 0x259e37c8, 0xe4dabacd, 0xe2afb4cf, 0x83958092, 0x8aeeef0e, 0xc3d4ac1e, 0x0b3eefe5, 0x345c010b, 0x4f7d2403, 0x656fe672, 0x00000000 }, /* 1.47600783939556912552924210183911743508490152853589673867528640967646970481890694921881880653072780372067119446003670919483312568738903180112123887396500419353449199029374745608434661830360920926261584201253175143164921521650428906806648852154280926822424724434692364413361135276583005383E-96 */
+ { 0x00000000, 0x3fffffff, 0xfffffece, 0x00000000, 0xa2dbbfcf, 0x4c7093c9, 0x60a23399, 0x63592c95, 0x1f746b3b, 0xfcbd429d, 0x67185af5, 0x03abc558, 0xcfcaaa00, 0xa423a61e, 0xd2b6abb9, 0xdc06e035, 0x607ae395, 0x529e3866, 0xa6f2ca14, 0x6dc14b75, 0x8ae33a23, 0xff37c12a, 0x09c284a1, 0x9bac8be8, 0x081bcdbf, 0x5c903312, 0xe3d21090, 0x4d8df966, 0xcd2b186a, 0x026ddbb4, 0x17d598fd, 0x125970d7, 0x00369191, 0x7b9aa583, 0x00000000 }, /* 1.95187276681670061159986975547204889615627378133586984722419874815616353765252254964696598975623444764021558755395254423924732540900325565380272628693132154553001220796445163593859035074374402873345255557402739887167548962304457216340171894512604749410345724656592100418630117074771130069E-92 */
+ { 0x00000000, 0x3fffffff, 0xfffffedb, 0x00000000, 0xf4ec7b76, 0xc1f54e41, 0xda53ef99, 0xae691c0c, 0x444e1545, 0x3718a12e, 0xb80ba0ca, 0x7a8553ca, 0x907fc9aa, 0xf6d99cd4, 0x5ae4b842, 0x83e65730, 0x4618d043, 0x913ff2d2, 0x611321e8, 0xb90fb27b, 0xc5dfba70, 0x22d2d980, 0x38ad8a1c, 0x3b87f715, 0xfdcb55dc, 0xdd6a8960, 0xbe85f4ce, 0xcad7c39e, 0xdfa161c8, 0x474d0634, 0x7ee55647, 0x9954a782, 0x6a751d6c, 0x430cdca6, 0x00000000 }, /* 2.40470724871817515349103953874156424006452929860579165178021285772839347838790778116506209937968083949274560386646953450275270490389201096548495878549938814409297504021220441547634370297096657601193579857552905560660476555585386498598323450592295029993632194462994418941141231103398158254E-88 */
+ { 0x00000000, 0x3fffffff, 0xfffffee9, 0x00000000, 0xab22bcc4, 0x9ac6470e, 0x436d660a, 0x81bdb179, 0x123a0f1c, 0xbcdf559f, 0x84d91ff9, 0x7a5be8ec, 0x29b74a09, 0x553b4d74, 0xe102903f, 0x79e9922b, 0xdafa9685, 0x361d8eca, 0xbf943e51, 0x7c4ed7d6, 0x3be2b365, 0x1a5513b9, 0x779a41e0, 0x79c1ca59, 0xb0f1d88f, 0x0a75e401, 0xdaf17854, 0x8076bc7b, 0xad04de48, 0xdb3be8ac, 0x9d98a110, 0x694efd74, 0x7ea8efeb, 0x4b9d40b5, 0x00000000 }, /* 2.75290885833256691571654206395134274202587314104391028295798767952746485405847682787776309136985862505129516730633432309875129657397557415328718081763969954735763782603493161483731827115602586663375305118554159652696371847198145425583687325135168843686871988333001879137208507406093501744E-84 */
+ { 0x00000000, 0x3fffffff, 0xfffffef6, 0x00000000, 0xdd9b7b70, 0x966bc102, 0xf85029a2, 0x9b012350, 0x471a2e91, 0xb6933360, 0x108728e7, 0x8df2041d, 0xd004d85f, 0x15de4acc, 0xd95ed1ca, 0x325df4c7, 0xca0f7de9, 0x7f934667, 0x8b1476b2, 0x8478187d, 0xea8c0f4d, 0x6b992b0a, 0xaa60404e, 0x2daa715b, 0x7d05cf3a, 0x21cd5092, 0xb4cf8bd6, 0x1d7d465d, 0xe3df26b6, 0xb9f7b876, 0x43390f7c, 0xc500ab03, 0x6bd44a95, 0xf60bf92b, 0x00000000 }, /* 2.92028571691918698419210782143958438074104622801938002816183333044273471718523221901273108732514602945441391347855944994315537540567328906180704141135219327983698220585785545701942722204231220704645692871468354674136266536784866704577453902429382086418851070252681432228528540617536283539E-80 */
+ { 0x00000000, 0x3fffffff, 0xffffff04, 0x00000000, 0x848da035, 0xb7f933d2, 0xe6c6f2e7, 0x62f70e3f, 0x6487891a, 0xe854cc1a, 0xd5e2d857, 0x80c762b6, 0x550ce5eb, 0xdff4967d, 0xc784d73c, 0x1160730a, 0x00bc8430, 0x4a6ef77c, 0xaf109d7f, 0x877c55a6, 0x50eb06a7, 0x2efbfdde, 0xc128d276, 0xc310930d, 0xd95d1d68, 0x618c2925, 0x69344405, 0x7180161a, 0x0d62b4e6, 0xcc08f284, 0x02a612bc, 0x51fdace9, 0xe0eb2c03, 0xb563cf1e, 0x00000000 }, /* 2.86188000258080324450826566501079269312622530345899242759859666383388002284152757463247646557864310886532563520898826094429226789755982328057090058312514941424024256174069834787903867760146596290650778185967410248239356537791995687146490037992077905889700324080340217257934152472234501391E-76 */
+ { 0x00000000, 0x3fffffff, 0xffffff11, 0x00000000, 0x9204027b, 0x2ca88316, 0x52372792, 0xe30425b1, 0xd4bd4d07, 0xa3ed68d5, 0x8f9be250, 0x63dba2bc, 0xd9b03545, 0xd4b36dc6, 0x8dc85518, 0x2b243eb9, 0x04cfa99d, 0x31fe3c9f, 0x58d84d7e, 0x7b3ef659, 0x3522e554, 0x29c195a7, 0x60c6f7d6, 0xd2e041fd, 0x41709261, 0x7cc8ab2a, 0x08f77293, 0x4b8a9ee4, 0x20e0d5d1, 0x6bde3090, 0x70591117, 0x28b1077e, 0x0aed30a7, 0xff4598d0, 0x00000000 }, /* 2.58256051432891684784425893610573932627710571384139476666497362944369333261219448334834676253816754144006985321259100667612934255075798452838718068621213483141039488771480618912604450266756288492683262154264255344549906272187262617366722054432508654402076060443051685541006199864276809343E-72 */
+ { 0x00000000, 0x3fffffff, 0xffffff1e, 0x00000000, 0x93958d81, 0xff63527e, 0xcf993f3f, 0xb6f47119, 0x7dc6559b, 0x78f035b5, 0xdae6cefe, 0xc0ee3ebc, 0x6106d9d8, 0x54bc5b34, 0x6fce3c02, 0x2d9ae265, 0x819ce4af, 0xa247b7c6, 0x0f0ca053, 0x9711e37e, 0xaa75054a, 0xd1346a02, 0xed111b00, 0x61a42ab2, 0xb9e487f4, 0x08b6704a, 0x33b8cd8b, 0x11e73f44, 0x20b41f6d, 0xf3781581, 0x0b686542, 0xbc3518fb, 0x1a76a00c, 0x6a281db9, 0x00000000 }, /* 2.13836010586434315001504639909555216215744353106067486679859816517937807940289703221243111938160272431237783846002535352783509563202761118950458560818364764040780696702785952459636484820874206871941741063718849977557581365021622585555853481869690878972428608067231879071482422777105170756E-68 */
+ { 0x00000000, 0x3fffffff, 0xffffff2b, 0x00000000, 0x8857a93a, 0x986f41b6, 0x26c912ee, 0x5c84d27c, 0x0cb1ba16, 0x2139e99e, 0x80ba3a3a, 0x593c18f5, 0x07a2d440, 0x5a480241, 0xf14a0670, 0x03219626, 0xc63d7144, 0x416b4146, 0x78e72a1d, 0x391006aa, 0x84791b63, 0x9e44ebef, 0xb4024d71, 0xda342972, 0x1cbb9f98, 0xf20c8acd, 0xbe659515, 0x19de60b1, 0x67b7527a, 0x29def79a, 0x0b250eed, 0xbdc447f0, 0x5943e85d, 0xdab2386b, 0x00000000 }, /* 1.61831092811813489593138711483551387632075326430671873919317909140775333049211247397836787114799694175960754814654718754986560037431849614821707038827338453426062831264668408821452891712437599760685509637022425725091906108610963440159337195870874696202442598440578694751334599346866772989E-64 */
+ { 0x00000000, 0x3fffffff, 0xffffff37, 0x00000000, 0xe5476a15, 0x09571800, 0xd0392255, 0xd6955bf5, 0x9b58df6e, 0x36dfe35d, 0x0b792aeb, 0x1f0f8ff8, 0x0d5751ee, 0x37d217cb, 0xe442fbd3, 0x5d43fb00, 0x345e52f9, 0x4802dd45, 0x0250bc52, 0x24757335, 0xbfc5a88f, 0x05a6e6c2, 0x9835df3b, 0xf570b7b2, 0x655183e2, 0xb30a176a, 0xfcd902a5, 0xd958cc1c, 0x3512b57e, 0xdf5a51a6, 0xb32ff233, 0x49b24c10, 0x63291eee, 0xce47d416, 0x00000000 }, /* 1.11469256728777131631753944469870195800973484845446786755626175816166049404296707207629978964674029348401767916334170278434742553783058014689191808344270726719872078175103599996216751811527018715160179037981046839444279401573450043708627748205864373197292376988818180466072960370940824205E-60 */
+ { 0x00000000, 0x3fffffff, 0xffffff44, 0x00000000, 0xaea565ce, 0x061d5748, 0x9e9b8527, 0x6273c50c, 0x1554b230, 0xf3cc8a2f, 0xdfbd4bb1, 0x18a8daa9, 0xf2298368, 0x74850820, 0x4edf05d2, 0x000ac831, 0x27e3d933, 0xe1da2e8b, 0x90c37f72, 0x91c576c1, 0xf1138f64, 0xf14e21c6, 0x39f1090a, 0xabf4dbec, 0xe32d1775, 0xae60afd6, 0x7e994ce3, 0xdd831a38, 0xb6240654, 0x01d1bdac, 0xe34162b5, 0x2d5398d0, 0x923afc9e, 0x4aec72e6, 0x00000000 }, /* 6.95568161987569301382144613491990021798074545435587949355107337092876148282811452975611068739565943134027031797925222537432793535606282011660556884068249334732001767812646463976392531303928596782599517197001732278132303374246967155773854538803109271955676082869721115239618280320462019981E-57 */
+ { 0x00000000, 0x3fffffff, 0xffffff50, 0x00000000, 0xefcc1948, 0x61654958, 0x35c68953, 0x93adf50e, 0x1749caaa, 0x36bf57bc, 0xbbb4696d, 0xa95bd83c, 0x57ffffed, 0xebfca8a8, 0x5c4b387d, 0xd70ecddf, 0x7e4558ba, 0xbc9b12e8, 0xa1446d7d, 0xcf26a08f, 0x4a825b63, 0x1952c75f, 0xac8e73ea, 0x271ab3f7, 0xc1ec69b6, 0x14edc16f, 0x02d37d12, 0xde88f9fe, 0xabb29b78, 0x6309f4ca, 0xc53bec28, 0x28a51fb5, 0x42d1ec3c, 0x1024df3c, 0x00000000 }, /* 3.91187534301808975097318130627895188259237124352974662717312366381033545794253161153483665059131886418576802683153145155052203084424973003357897191599983425853277794217832371340323159605329442830533968471593774233221607417675991320220509857848607082142596123194934584194631078411615573662E-53 */
+ { 0x00000000, 0x3fffffff, 0xffffff5d, 0x00000000, 0x9388118e, 0x07ebd09f, 0xc515a57c, 0xeb5b8644, 0x2b53e62f, 0xb8aeb87a, 0x9d7b7edc, 0xf7b20189, 0x2023fff4, 0xe0aff1c3, 0x94c84741, 0x6bcf9ba9, 0x002faa16, 0xe3096822, 0x1f37995c, 0xe6f243c8, 0x28573339, 0x78146da9, 0x5ca9a450, 0x8f0eedb8, 0xedcef309, 0x85e04681, 0xcc3d1d73, 0x1be945f2, 0xabb41cb1, 0x30279499, 0x2910da6d, 0xad1b9dfa, 0x026d043d, 0xddce1883, 0x00000000 }, /* 1.97158517288111723449048337836459174882655510673899230009525432656040907080303593221355767189802470754962708552309185158146310354550186393692380184566391646630052008285787515155522872441086039186589120109683262213543690138508699633431777639928485172171845574958311022218534955415569124519E-49 */
+ { 0x00000000, 0x3fffffff, 0xffffff69, 0x00000000, 0xa1a6973c, 0x1fade217, 0x0f7237d3, 0x5fe1c89d, 0xb1796db7, 0x49db7122, 0x598dd081, 0x1d668aae, 0xbfb771f3, 0xd030c866, 0xcc857213, 0x2ea0fa0e, 0xacb439de, 0x13c3ce99, 0x63346b8a, 0x4b0c7344, 0xd0338ba0, 0x78126228, 0x1207e08a, 0x44bfdb79, 0x2091414b, 0xef303d41, 0x3848f6c4, 0xa0151924, 0x652b8d96, 0x4efc1348, 0x26f91f7b, 0xdf1a9ed7, 0x37430a4b, 0x3d749fb0, 0x00000000 }, /* 8.84847425589045414839328940210028776873357931904459744282750141760311590976402526377444683147833488748272635982763622989760640871221236534891402268333965710075673413186614368017986651515594143869411971052258480814384081341627043954841937920157127436147639460951515127855619598344493217623E-46 */
+ { 0x00000000, 0x3fffffff, 0xffffff75, 0x00000000, 0x9c996282, 0x3eb07306, 0x56f6a614, 0xc4e2ba58, 0xc3eda249, 0x8f8c9599, 0x46c161fd, 0x147b5659, 0x49b9b664, 0x31af4223, 0x96214682, 0x952bf23e, 0x374e980f, 0x2325b024, 0x981ac82d, 0xf8b40faa, 0xa9b1ef43, 0x7451cf16, 0xd177a185, 0xf299dc9d, 0x578cb741, 0x8fb6bb57, 0x2e86af0e, 0x7b14705b, 0x420230f2, 0x79dafbe9, 0x98bb65ed, 0xe10dfc2a, 0x5d10b964, 0xac77e3a3, 0x00000000 }, /* 3.51107458473733220608245723475339418663348427379689626531395256250491639299436522466570050273060328335314581957960605602337022297700586657044908420074917593758027210352448581229537103321387756287382670113536165187147603476357611041281280961972382969006743936749224545028467858977500440246E-42 */
+ { 0x00000000, 0x3fffffff, 0xffffff81, 0x00000000, 0x850c5131, 0xa842e9b9, 0xe2e28e1a, 0xa546a152, 0x6a766561, 0x7f75f119, 0xb99d4cc0, 0x84e6c9dc, 0xdc234876, 0x203666b1, 0x3c0d4567, 0xf1bcd64f, 0xdbfd4630, 0xdc5c8527, 0x173ac113, 0x0eccfb4f, 0x7f2cacc7, 0xcf538171, 0xe2f723bb, 0x4d9db8ef, 0xade20db2, 0x3399c02a, 0x92076dba, 0xcd91dd75, 0x8894dc96, 0x028d8c9c, 0x20e6260d, 0x9e92ef1a, 0x46c1c5bd, 0x244d45e1, 0x00000000 }, /* 1.22185395548859160771669511769418117694845252728131990032925549175171090476203909818366377495024994260689474521370290749613283759599804156651628130186071322627793469202652106267878911955842939188009169199510585485127366009772448642365885774766392500276396876763853020488553404526157163313E-38 */
+ { 0x00000000, 0x3fffffff, 0xffffff8c, 0x00000000, 0xc4742fe3, 0x5272cd1c, 0x790285d3, 0x580a4a33, 0xb132d1b1, 0xf63425ff, 0xfc124354, 0x443cc610, 0x1d0c18fe, 0x6b9053a1, 0xb2ab987b, 0x7af0d471, 0xead3f9a4, 0x25609c9b, 0xb84cc116, 0x23daab13, 0x61c7f71f, 0x08214d22, 0x2920eac2, 0x909ae311, 0xe6bfc839, 0x203105be, 0xdb9ef805, 0xd38960ff, 0x8babcdb5, 0x7fc50211, 0x1b9e09bf, 0xb2c13910, 0xd7fd39fa, 0xd9fbdcd3, 0x00000000 }, /* 3.69488636139750102173528603590720387909212044249871137859566860705717377600040623290739925544955582644324970952623759226830570089029807769714523465682679679626447450868819969354065829754469048104539727659320010507025154813551884694514438582893570922762069477044037548155070924363994341111E-35 */
+ { 0x00000000, 0x3fffffff, 0xffffff97, 0x00000000, 0xf96780cb, 0x97abbe65, 0x25a033e5, 0x4ec51033, 0x9ff58436, 0xed90343d, 0xfb032f79, 0xfaa12772, 0x74e05bba, 0xfe8e3a2c, 0x47d3d894, 0xc313bdb4, 0x9f1f1bed, 0x6373a6d1, 0xb0f97121, 0x1b849b2f, 0x9b22dcba, 0x655246ec, 0x5e36ca09, 0x0194a245, 0xb9f17930, 0x85de3c4b, 0x4cd0d0df, 0x658d6824, 0x6c511c27, 0x6b351b9f, 0xb7c65d7c, 0xda0c8c37, 0x2fdb6432, 0x2abe3540, 0x00000000 }, /* 9.60670453963350265651174369335873008563951315049664958434873837834865181760105620555923806416884514875244924476821773989759482231477500201257761010774967167028763372258931920320571157361619525071803291914232027318265402515234900205737540315523284399181342146144460158310052548509859967680E-32 */
+ { 0x00000000, 0x3fffffff, 0xffffffa3, 0x00000000, 0x8671cb6d, 0xbfc294a2, 0x86485bf9, 0x9c763abb, 0xd43a5945, 0x9c0fbc29, 0x694fb797, 0xc11adf43, 0xb300f172, 0xcd38ab5b, 0xdeb832c0, 0x3128a443, 0x5dc6c50d, 0xf79c57ed, 0x096676fb, 0xd8d57ba7, 0xa9a0cafc, 0x7a9e5a3b, 0x6ac988e8, 0xdada1f79, 0x963c2b54, 0x2829cc80, 0x97689098, 0x6cbe3a23, 0xa263b92d, 0x3fcaa0e4, 0x1910edc3, 0xbb2fa062, 0xc8e18da7, 0x52f64c4e, 0x00000000 }, /* 2.12116036235107738655779300749360760290920450362966022822420143393938232132631321018747976456848100884454079324482247696938893676710232044437713631179112750479950952594772168006782111545445591135854166854662431631873000875363865965426848901667541195339240345338155201659868631929808796373E-28 */
+ { 0x00000000, 0x3fffffff, 0xffffffad, 0x00000000, 0xf2a15d20, 0x1011283d, 0x4e5695fc, 0x785d5dfe, 0xf9014d1b, 0x9fa46592, 0xbc0ddd53, 0xde7e7eec, 0x2d0bb3bd, 0x2e5c453f, 0xcbf06b96, 0xd8b75871, 0x933cb79f, 0x34dc26ad, 0xc6f6eaba, 0x81514528, 0x94202e53, 0xa549c6d7, 0x3ab7b514, 0x3af5a4cd, 0x6d209631, 0xe07b6f10, 0x113eb4f3, 0x143f4cec, 0x4f0ff82f, 0xa91fae5b, 0xa53c8d17, 0x3cf02bcf, 0xb8a8bd15, 0x142cce01, 0x00000000 }, /* 3.91990434962479101035880147784818685017620992270761210175832424991997852981102681242646260492255290434471138591643193743943075514560508818120894790419000362886949360395138966476533342135983452419058500347416173655701305617672424304108816770281616128986916158184925600296421428589372277548E-25 */
+ { 0x00000000, 0x3fffffff, 0xffffffb8, 0x00000000, 0xb413c31d, 0xcbecbbdd, 0x80244351, 0x61554bc3, 0x3ccef73a, 0x807c0362, 0xe7924a44, 0x3f21e233, 0x496eaf66, 0x68687b65, 0x595c6fd9, 0xf4d813a4, 0x4b471048, 0x293b64b4, 0xf9ab4236, 0x6bfa5154, 0x1defe262, 0x14acc193, 0xbd945865, 0x03c25050, 0x76fe2f79, 0x049b9c6d, 0xeccc8a4c, 0x6906fb17, 0x62adda33, 0x5f858368, 0x04a2f0b7, 0x3f3a42d6, 0xfd9602cd, 0xa8c37093, 0x00000000 }, /* 5.95825461142968233574537824632924401226783908251557039467265285987836736531276075488822315948228041460396130659297654490793474782131973403543760081436880551588163027800611229044330680046694847676968920528072583956665984538862084942245401490828056516060112560441086913404259957817903233437E-22 */
+ { 0x00000000, 0x3fffffff, 0xffffffc2, 0x00000000, 0xd73f9f39, 0x9dc0f88e, 0xc32b5877, 0x4657f48f, 0x5eaf6383, 0xed943c0c, 0x38ccdcc5, 0x93768061, 0x4dc64da8, 0x68cce37f, 0x24d07db2, 0x86aa477a, 0x61faf176, 0x4148fe60, 0x526eb525, 0x0d113536, 0x8bc8bc99, 0x3cb67f62, 0x989b51a8, 0xbe7e4400, 0x2e3bd4be, 0xa78200fb, 0x650c7d4f, 0x558a5821, 0xf3f3ced1, 0x682d9712, 0x558ac3bb, 0x0993a3e4, 0xf66d3f4b, 0x2cb99f1c, 0x00000000 }, /* 7.29290364438993117895234297350699467101583503699905816307932710049112165514281916398318514720631122747524863926980329096731213133329535445937562339678741795143911546027948144350260752377154493556609958726360842762959165075567191969308371424773541175657577773979890382006784124272355817004E-19 */
+ { 0x00000000, 0x3fffffff, 0xffffffcc, 0x00000000, 0xc9cba546, 0x03e4e905, 0xd6f8a2ef, 0xd1f27546, 0x68c46d4b, 0xaebaf84b, 0x75400ef9, 0x3a3f185b, 0x38e9e8cd, 0xe2401547, 0x328375d7, 0x5e3fa302, 0xbbdb425e, 0xdd346e7a, 0x4d47c9d2, 0xbc4021e3, 0x230c30cf, 0xa8eb176c, 0x6f119c8e, 0x32965fc0, 0x2b581772, 0xbd09e0eb, 0xaebbb57a, 0x6031b29f, 0xd4b491e4, 0x51aabda1, 0x3032177f, 0x58fa69a6, 0xa70660ee, 0xacdc07fa, 0x00000000 }, /* 7.00118749861433393179424925456671488417520163551909583655615401647147678893710639742385774131805877837623869369901115932861964607996354028100059846091592123338155084186830218576250322282068313814345560377306409052440798472544504290536036567782599528631274663020694766726512758258745609075E-16 */
+ { 0x00000000, 0x3fffffff, 0xffffffd6, 0x00000000, 0x8f76c77f, 0xc6c4bdaa, 0x26d4c3d6, 0x7f425f60, 0x0e7ba5b3, 0xce38ec85, 0xa55b8aa5, 0x2f68db50, 0xda764b82, 0x5ed98f20, 0x9de975c7, 0x1d013de3, 0xf18de12f, 0x7143468a, 0xf2f1097b, 0xd1d59817, 0x7aeaaab3, 0xa21722a7, 0x16f6854d, 0x17f6e812, 0x9ed0a0ab, 0x926505e7, 0x8e397305, 0x006354fd, 0xa1385fb8, 0x520f62d0, 0x98439cb4, 0x8942071c, 0x7abe88e9, 0xc3888d28, 0x00000000 }, /* 5.09686449899123510234621345732456843567954679065790176901288012399123510234621345732456843567954679065790176901288012399123510234621345732456843567954679065790176901288012399123510234621345732456843567954679065790176901288012399123510234621345732456843567954679065790176901288012399122352E-13 */
+ { 0x00000000, 0x3fffffff, 0xffffffdf, 0x00000000, 0x93f27dbb, 0xc4fae397, 0x780b69f5, 0x333c725b, 0x0eef82e1, 0x6caab3e9, 0xd28666fa, 0x58e4222b, 0x6149fdde, 0x71d05b99, 0xa2d8c175, 0x55e947d3, 0x111a5038, 0xeccd60bf, 0x4a8891c7, 0xb06444d8, 0x36c20009, 0x3f27dbbc, 0x4fae3977, 0x80b69f53, 0x33c725b0, 0xeef82e16, 0xcaab3e9d, 0x28666fa5, 0x8e4222b6, 0x149fdde7, 0x1d05b99a, 0x2d8c1755, 0x5e947d31, 0x11a5038f, 0x00000000 }, /* 2.69114445546737213403880070546737213403880070546737213403880070546737213403880070546737213403880070546737213403880070546737213403880070546737213403880070546737213403880070546737213403880070546737213403880070546737213403880070546737213403880070546737213403880070546737213403880070546737213E-10 */
+ { 0x00000000, 0x3fffffff, 0xffffffe7, 0x00000000, 0xd00d00d0, 0x0d00d00d, 0x00d00d00, 0xd00d00d0, 0x0d00d00d, 0x00d00d00, 0xd00d00d0, 0x0d00d00d, 0x00d00d00, 0xd00d00d0, 0x0d00d00d, 0x00d00d00, 0xd00d00d0, 0x0d00d00d, 0x00d00d00, 0xd00d00d0, 0x0d00d00d, 0x00d00d00, 0xd00d00d0, 0x0d00d00d, 0x00d00d00, 0xd00d00d0, 0x0d00d00d, 0x00d00d00, 0xd00d00d0, 0x0d00d00d, 0x00d00d00, 0xd00d00d0, 0x0d00d00d, 0x00d00d00, 0x00000000 }, /* 9.68812003968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968253968E-8 */
+ { 0x00000000, 0x3fffffff, 0xffffffef, 0x00000000, 0xb60b60b6, 0x0b60b60b, 0x60b60b60, 0xb60b60b6, 0x0b60b60b, 0x60b60b60, 0xb60b60b6, 0x0b60b60b, 0x60b60b60, 0xb60b60b6, 0x0b60b60b, 0x60b60b60, 0xb60b60b6, 0x0b60b60b, 0x60b60b60, 0xb60b60b6, 0x0b60b60b, 0x60b60b60, 0xb60b60b6, 0x0b60b60b, 0x60b60b60, 0xb60b60b6, 0x0b60b60b, 0x60b60b60, 0xb60b60b6, 0x0b60b60b, 0x60b60b60, 0xb60b60b6, 0x0b60b60b, 0x60b60b60, 0x00000000 }, /* 2.17013888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888889E-5 */
+ { 0x00000000, 0x3fffffff, 0xfffffff6, 0x00000000, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0x00000000 }, /* 2.60416666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667E-3 */
+ { 0x00000000, 0x3fffffff, 0xfffffffc, 0x00000000, 0x80000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000 } /* 1.25000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000E-1 */
+};
+
+#else /* BITS_PER_EMUSHORT != 32 */
+#error ei_cosh_008_emu32msb.dfn: ERROR: Failed size of EMUSHORT data type.
+#endif /* BITS_PER_EMUSHORT == 32 */
+
+#endif /* __REAL_EINTERNAL_COSH_008_32MSB */