1*412f47f9SXin Li /* 2*412f47f9SXin Li * Data used in single-precision erfc(x) function. 3*412f47f9SXin Li * 4*412f47f9SXin Li * Copyright (c) 2023, Arm Limited. 5*412f47f9SXin Li * SPDX-License-Identifier: MIT OR Apache-2.0 WITH LLVM-exception 6*412f47f9SXin Li */ 7*412f47f9SXin Li 8*412f47f9SXin Li #include "math_config.h" 9*412f47f9SXin Li 10*412f47f9SXin Li /* Lookup table used in erfcf. 11*412f47f9SXin Li For each possible rounded input r (multiples of 1/64), between 12*412f47f9SXin Li r = 0.0 and r = 10.0625 (645 values): 13*412f47f9SXin Li - the first entry __erfcf_data.tab.erfc contains the values of erfc(r), 14*412f47f9SXin Li - the second entry __erfcf_data.tab.scale contains the values of 15*412f47f9SXin Li 2/sqrt(pi)*exp(-r^2). Both values may go into subnormal range, therefore 16*412f47f9SXin Li they are scaled by a large enough value 2^47 (fits in 8 bits). */ 17*412f47f9SXin Li const struct erfcf_data __erfcf_data = { 18*412f47f9SXin Li .tab = { { 0x1p47, 0x1.20dd76p47 }, 19*412f47f9SXin Li { 0x1.f6f944p46, 0x1.20cb68p47 }, 20*412f47f9SXin Li { 0x1.edf3aap46, 0x1.209546p47 }, 21*412f47f9SXin Li { 0x1.e4f05p46, 0x1.203b26p47 }, 22*412f47f9SXin Li { 0x1.dbf056p46, 0x1.1fbd28p47 }, 23*412f47f9SXin Li { 0x1.d2f4dcp46, 0x1.1f1b7ap47 }, 24*412f47f9SXin Li { 0x1.c9fefep46, 0x1.1e565cp47 }, 25*412f47f9SXin Li { 0x1.c10fd4p46, 0x1.1d6e14p47 }, 26*412f47f9SXin Li { 0x1.b8287ap46, 0x1.1c62fap47 }, 27*412f47f9SXin Li { 0x1.af4ap46, 0x1.1b3572p47 }, 28*412f47f9SXin Li { 0x1.a6757ep46, 0x1.19e5eap47 }, 29*412f47f9SXin Li { 0x1.9dabfcp46, 0x1.1874dep47 }, 30*412f47f9SXin Li { 0x1.94ee88p46, 0x1.16e2d8p47 }, 31*412f47f9SXin Li { 0x1.8c3e24p46, 0x1.153068p47 }, 32*412f47f9SXin Li { 0x1.839bd6p46, 0x1.135e3p47 }, 33*412f47f9SXin Li { 0x1.7b0894p46, 0x1.116cd8p47 }, 34*412f47f9SXin Li { 0x1.728558p46, 0x1.0f5d16p47 }, 35*412f47f9SXin Li { 0x1.6a1312p46, 0x1.0d2fa6p47 }, 36*412f47f9SXin Li { 0x1.61b2acp46, 0x1.0ae55p47 }, 37*412f47f9SXin Li { 0x1.596508p46, 0x1.087ee4p47 }, 38*412f47f9SXin Li { 0x1.512b06p46, 0x1.05fd3ep47 }, 39*412f47f9SXin Li { 0x1.49057ap46, 0x1.03614p47 }, 40*412f47f9SXin Li { 0x1.40f536p46, 0x1.00abdp47 }, 41*412f47f9SXin Li { 0x1.38fbp46, 0x1.fbbbbep46 }, 42*412f47f9SXin Li { 0x1.311796p46, 0x1.f5f0cep46 }, 43*412f47f9SXin Li { 0x1.294bb4p46, 0x1.eff8c4p46 }, 44*412f47f9SXin Li { 0x1.21980ap46, 0x1.e9d5a8p46 }, 45*412f47f9SXin Li { 0x1.19fd3ep46, 0x1.e38988p46 }, 46*412f47f9SXin Li { 0x1.127bf2p46, 0x1.dd167cp46 }, 47*412f47f9SXin Li { 0x1.0b14bcp46, 0x1.d67ea2p46 }, 48*412f47f9SXin Li { 0x1.03c82ap46, 0x1.cfc41ep46 }, 49*412f47f9SXin Li { 0x1.f92d8cp45, 0x1.c8e91cp46 }, 50*412f47f9SXin Li { 0x1.eb0214p45, 0x1.c1efcap46 }, 51*412f47f9SXin Li { 0x1.dd0edap45, 0x1.bada5ap46 }, 52*412f47f9SXin Li { 0x1.cf54b4p45, 0x1.b3aafcp46 }, 53*412f47f9SXin Li { 0x1.c1d46ap45, 0x1.ac63e8p46 }, 54*412f47f9SXin Li { 0x1.b48eaep45, 0x1.a5074ep46 }, 55*412f47f9SXin Li { 0x1.a78428p45, 0x1.9d9762p46 }, 56*412f47f9SXin Li { 0x1.9ab566p45, 0x1.96165p46 }, 57*412f47f9SXin Li { 0x1.8e22eap45, 0x1.8e8646p46 }, 58*412f47f9SXin Li { 0x1.81cd24p45, 0x1.86e96ap46 }, 59*412f47f9SXin Li { 0x1.75b47p45, 0x1.7f41dcp46 }, 60*412f47f9SXin Li { 0x1.69d91ep45, 0x1.7791b8p46 }, 61*412f47f9SXin Li { 0x1.5e3b66p45, 0x1.6fdb12p46 }, 62*412f47f9SXin Li { 0x1.52db78p45, 0x1.681ff2p46 }, 63*412f47f9SXin Li { 0x1.47b96ep45, 0x1.60625cp46 }, 64*412f47f9SXin Li { 0x1.3cd554p45, 0x1.58a446p46 }, 65*412f47f9SXin Li { 0x1.322f26p45, 0x1.50e79ep46 }, 66*412f47f9SXin Li { 0x1.27c6d2p45, 0x1.492e42p46 }, 67*412f47f9SXin Li { 0x1.1d9c34p45, 0x1.417a0cp46 }, 68*412f47f9SXin Li { 0x1.13af1ep45, 0x1.39ccc2p46 }, 69*412f47f9SXin Li { 0x1.09ff5p45, 0x1.32281ep46 }, 70*412f47f9SXin Li { 0x1.008c8p45, 0x1.2a8dcep46 }, 71*412f47f9SXin Li { 0x1.eeaca8p44, 0x1.22ff72p46 }, 72*412f47f9SXin Li { 0x1.dcb8cap44, 0x1.1b7e98p46 }, 73*412f47f9SXin Li { 0x1.cb3c86p44, 0x1.140cc4p46 }, 74*412f47f9SXin Li { 0x1.ba36dap44, 0x1.0cab62p46 }, 75*412f47f9SXin Li { 0x1.a9a6bap44, 0x1.055bd6p46 }, 76*412f47f9SXin Li { 0x1.998afap44, 0x1.fc3ee6p45 }, 77*412f47f9SXin Li { 0x1.89e25ep44, 0x1.edeeeep45 }, 78*412f47f9SXin Li { 0x1.7aab98p44, 0x1.dfca26p45 }, 79*412f47f9SXin Li { 0x1.6be542p44, 0x1.d1d2dp45 }, 80*412f47f9SXin Li { 0x1.5d8decp44, 0x1.c40b08p45 }, 81*412f47f9SXin Li { 0x1.4fa40ep44, 0x1.b674c8p45 }, 82*412f47f9SXin Li { 0x1.422616p44, 0x1.a911fp45 }, 83*412f47f9SXin Li { 0x1.351262p44, 0x1.9be438p45 }, 84*412f47f9SXin Li { 0x1.28674p44, 0x1.8eed36p45 }, 85*412f47f9SXin Li { 0x1.1c22f8p44, 0x1.822e66p45 }, 86*412f47f9SXin Li { 0x1.1043c2p44, 0x1.75a91ap45 }, 87*412f47f9SXin Li { 0x1.04c7cap44, 0x1.695e8cp45 }, 88*412f47f9SXin Li { 0x1.f35a72p43, 0x1.5d4fd4p45 }, 89*412f47f9SXin Li { 0x1.dde456p43, 0x1.517de6p45 }, 90*412f47f9SXin Li { 0x1.c9296cp43, 0x1.45e99cp45 }, 91*412f47f9SXin Li { 0x1.b525d6p43, 0x1.3a93b2p45 }, 92*412f47f9SXin Li { 0x1.a1d5a6p43, 0x1.2f7cc4p45 }, 93*412f47f9SXin Li { 0x1.8f34eap43, 0x1.24a554p45 }, 94*412f47f9SXin Li { 0x1.7d3fa6p43, 0x1.1a0dc6p45 }, 95*412f47f9SXin Li { 0x1.6bf1dcp43, 0x1.0fb662p45 }, 96*412f47f9SXin Li { 0x1.5b4784p43, 0x1.059f5ap45 }, 97*412f47f9SXin Li { 0x1.4b3c98p43, 0x1.f79184p44 }, 98*412f47f9SXin Li { 0x1.3bcd14p43, 0x1.e4653p44 }, 99*412f47f9SXin Li { 0x1.2cf4eep43, 0x1.d1b982p44 }, 100*412f47f9SXin Li { 0x1.1eb024p43, 0x1.bf8e1cp44 }, 101*412f47f9SXin Li { 0x1.10fab8p43, 0x1.ade26cp44 }, 102*412f47f9SXin Li { 0x1.03d0acp43, 0x1.9cb5bep44 }, 103*412f47f9SXin Li { 0x1.ee5c18p42, 0x1.8c0732p44 }, 104*412f47f9SXin Li { 0x1.d61dd6p42, 0x1.7bd5c8p44 }, 105*412f47f9SXin Li { 0x1.bedec8p42, 0x1.6c2056p44 }, 106*412f47f9SXin Li { 0x1.a8973cp42, 0x1.5ce596p44 }, 107*412f47f9SXin Li { 0x1.933f9p42, 0x1.4e241ep44 }, 108*412f47f9SXin Li { 0x1.7ed03ap42, 0x1.3fda6cp44 }, 109*412f47f9SXin Li { 0x1.6b41ccp42, 0x1.3206dcp44 }, 110*412f47f9SXin Li { 0x1.588cf2p42, 0x1.24a7b8p44 }, 111*412f47f9SXin Li { 0x1.46aa72p42, 0x1.17bb2cp44 }, 112*412f47f9SXin Li { 0x1.359332p42, 0x1.0b3f52p44 }, 113*412f47f9SXin Li { 0x1.254038p42, 0x1.fe646p43 }, 114*412f47f9SXin Li { 0x1.15aaa8p42, 0x1.e72372p43 }, 115*412f47f9SXin Li { 0x1.06cbcap42, 0x1.d0b7ap43 }, 116*412f47f9SXin Li { 0x1.f13a04p41, 0x1.bb1c98p43 }, 117*412f47f9SXin Li { 0x1.d62fbep41, 0x1.a64de6p43 }, 118*412f47f9SXin Li { 0x1.bc6c1ep41, 0x1.92470ap43 }, 119*412f47f9SXin Li { 0x1.a3e2ccp41, 0x1.7f036cp43 }, 120*412f47f9SXin Li { 0x1.8c87b8p41, 0x1.6c7e64p43 }, 121*412f47f9SXin Li { 0x1.764f2p41, 0x1.5ab342p43 }, 122*412f47f9SXin Li { 0x1.612d8ap41, 0x1.499d48p43 }, 123*412f47f9SXin Li { 0x1.4d17cap41, 0x1.3937b2p43 }, 124*412f47f9SXin Li { 0x1.3a03p41, 0x1.297dbap43 }, 125*412f47f9SXin Li { 0x1.27e498p41, 0x1.1a6a96p43 }, 126*412f47f9SXin Li { 0x1.16b24cp41, 0x1.0bf97ep43 }, 127*412f47f9SXin Li { 0x1.066222p41, 0x1.fc4b5ep42 }, 128*412f47f9SXin Li { 0x1.edd4d2p40, 0x1.e1d4dp42 }, 129*412f47f9SXin Li { 0x1.d08382p40, 0x1.c885ep42 }, 130*412f47f9SXin Li { 0x1.b4be2p40, 0x1.b0553p42 }, 131*412f47f9SXin Li { 0x1.9a7316p40, 0x1.99397ap42 }, 132*412f47f9SXin Li { 0x1.81915cp40, 0x1.83298ep42 }, 133*412f47f9SXin Li { 0x1.6a088p40, 0x1.6e1c58p42 }, 134*412f47f9SXin Li { 0x1.53c89ep40, 0x1.5a08e8p42 }, 135*412f47f9SXin Li { 0x1.3ec25ep40, 0x1.46e66cp42 }, 136*412f47f9SXin Li { 0x1.2ae6fap40, 0x1.34ac36p42 }, 137*412f47f9SXin Li { 0x1.18282ep40, 0x1.2351c2p42 }, 138*412f47f9SXin Li { 0x1.067844p40, 0x1.12ceb4p42 }, 139*412f47f9SXin Li { 0x1.eb940ep39, 0x1.031ad6p42 }, 140*412f47f9SXin Li { 0x1.cc2186p39, 0x1.e85c44p41 }, 141*412f47f9SXin Li { 0x1.ae808cp39, 0x1.cc018p41 }, 142*412f47f9SXin Li { 0x1.9299bp39, 0x1.b1160ap41 }, 143*412f47f9SXin Li { 0x1.785674p39, 0x1.978ae8p41 }, 144*412f47f9SXin Li { 0x1.5fa14ap39, 0x1.7f5188p41 }, 145*412f47f9SXin Li { 0x1.486586p39, 0x1.685bb6p41 }, 146*412f47f9SXin Li { 0x1.328f5ep39, 0x1.529b9ep41 }, 147*412f47f9SXin Li { 0x1.1e0be6p39, 0x1.3e03d8p41 }, 148*412f47f9SXin Li { 0x1.0ac8fcp39, 0x1.2a875cp41 }, 149*412f47f9SXin Li { 0x1.f16aaep38, 0x1.181984p41 }, 150*412f47f9SXin Li { 0x1.cf80d4p38, 0x1.06ae14p41 }, 151*412f47f9SXin Li { 0x1.afb4e2p38, 0x1.ec7262p40 }, 152*412f47f9SXin Li { 0x1.91e8bep38, 0x1.cd5ecap40 }, 153*412f47f9SXin Li { 0x1.75ffb4p38, 0x1.b00b38p40 }, 154*412f47f9SXin Li { 0x1.5bde72p38, 0x1.94624ep40 }, 155*412f47f9SXin Li { 0x1.436af4p38, 0x1.7a4f6ap40 }, 156*412f47f9SXin Li { 0x1.2c8c7ap38, 0x1.61beaep40 }, 157*412f47f9SXin Li { 0x1.172b7ap38, 0x1.4a9cf6p40 }, 158*412f47f9SXin Li { 0x1.033198p38, 0x1.34d7dcp40 }, 159*412f47f9SXin Li { 0x1.e11332p37, 0x1.205dacp40 }, 160*412f47f9SXin Li { 0x1.be3ebp37, 0x1.0d1d6ap40 }, 161*412f47f9SXin Li { 0x1.9dbf72p37, 0x1.f60d8ap39 }, 162*412f47f9SXin Li { 0x1.7f714p37, 0x1.d4143ap39 }, 163*412f47f9SXin Li { 0x1.6331cap37, 0x1.b430ecp39 }, 164*412f47f9SXin Li { 0x1.48e09cp37, 0x1.9646f4p39 }, 165*412f47f9SXin Li { 0x1.305ef8p37, 0x1.7a3adep39 }, 166*412f47f9SXin Li { 0x1.198fd6p37, 0x1.5ff276p39 }, 167*412f47f9SXin Li { 0x1.0457c6p37, 0x1.4754acp39 }, 168*412f47f9SXin Li { 0x1.e139bcp36, 0x1.30499cp39 }, 169*412f47f9SXin Li { 0x1.bc8d52p36, 0x1.1aba78p39 }, 170*412f47f9SXin Li { 0x1.9a7c3p36, 0x1.06918cp39 }, 171*412f47f9SXin Li { 0x1.7adadep36, 0x1.e77448p38 }, 172*412f47f9SXin Li { 0x1.5d806ap36, 0x1.c4412cp38 }, 173*412f47f9SXin Li { 0x1.424642p36, 0x1.a36454p38 }, 174*412f47f9SXin Li { 0x1.290826p36, 0x1.84ba3p38 }, 175*412f47f9SXin Li { 0x1.11a3f8p36, 0x1.6821p38 }, 176*412f47f9SXin Li { 0x1.f7f358p35, 0x1.4d78bcp38 }, 177*412f47f9SXin Li { 0x1.cfd652p35, 0x1.34a306p38 }, 178*412f47f9SXin Li { 0x1.aab85ap35, 0x1.1d8318p38 }, 179*412f47f9SXin Li { 0x1.88647p35, 0x1.07fdb4p38 }, 180*412f47f9SXin Li { 0x1.68a8e4p35, 0x1.e7f232p37 }, 181*412f47f9SXin Li { 0x1.4b5726p35, 0x1.c2b9dp37 }, 182*412f47f9SXin Li { 0x1.30439cp35, 0x1.a02436p37 }, 183*412f47f9SXin Li { 0x1.174578p35, 0x1.8005fp37 }, 184*412f47f9SXin Li { 0x1.003692p35, 0x1.6235fcp37 }, 185*412f47f9SXin Li { 0x1.d5e678p34, 0x1.468daep37 }, 186*412f47f9SXin Li { 0x1.aeb442p34, 0x1.2ce898p37 }, 187*412f47f9SXin Li { 0x1.8a9848p34, 0x1.15246ep37 }, 188*412f47f9SXin Li { 0x1.695876p34, 0x1.fe41cep36 }, 189*412f47f9SXin Li { 0x1.4abea2p34, 0x1.d57f52p36 }, 190*412f47f9SXin Li { 0x1.2e984ep34, 0x1.afc85ep36 }, 191*412f47f9SXin Li { 0x1.14b676p34, 0x1.8ce75ep36 }, 192*412f47f9SXin Li { 0x1.f9daap33, 0x1.6caa0ep36 }, 193*412f47f9SXin Li { 0x1.ce283ap33, 0x1.4ee142p36 }, 194*412f47f9SXin Li { 0x1.a609f8p33, 0x1.3360ccp36 }, 195*412f47f9SXin Li { 0x1.81396ap33, 0x1.19ff46p36 }, 196*412f47f9SXin Li { 0x1.5f7524p33, 0x1.0295fp36 }, 197*412f47f9SXin Li { 0x1.40806ep33, 0x1.da011p35 }, 198*412f47f9SXin Li { 0x1.2422eep33, 0x1.b23a5ap35 }, 199*412f47f9SXin Li { 0x1.0a286p33, 0x1.8d986ap35 }, 200*412f47f9SXin Li { 0x1.e4c0bp32, 0x1.6be022p35 }, 201*412f47f9SXin Li { 0x1.b93bf4p32, 0x1.4cda54p35 }, 202*412f47f9SXin Li { 0x1.916f7cp32, 0x1.30539p35 }, 203*412f47f9SXin Li { 0x1.6d0e7p32, 0x1.161be4p35 }, 204*412f47f9SXin Li { 0x1.4bd1cp32, 0x1.fc0d56p34 }, 205*412f47f9SXin Li { 0x1.2d77bep32, 0x1.cfd4a6p34 }, 206*412f47f9SXin Li { 0x1.11c3bep32, 0x1.a74068p34 }, 207*412f47f9SXin Li { 0x1.f0fb86p31, 0x1.8208bcp34 }, 208*412f47f9SXin Li { 0x1.c2e43ep31, 0x1.5feadap34 }, 209*412f47f9SXin Li { 0x1.98e254p31, 0x1.40a8c2p34 }, 210*412f47f9SXin Li { 0x1.729df6p31, 0x1.2408eap34 }, 211*412f47f9SXin Li { 0x1.4fc63cp31, 0x1.09d5f8p34 }, 212*412f47f9SXin Li { 0x1.3010aap31, 0x1.e3bcf4p33 }, 213*412f47f9SXin Li { 0x1.1338b8p31, 0x1.b7e946p33 }, 214*412f47f9SXin Li { 0x1.f1fecp30, 0x1.8fdc1cp33 }, 215*412f47f9SXin Li { 0x1.c2556ap30, 0x1.6b4702p33 }, 216*412f47f9SXin Li { 0x1.970b06p30, 0x1.49e178p33 }, 217*412f47f9SXin Li { 0x1.6fbddep30, 0x1.2b6876p33 }, 218*412f47f9SXin Li { 0x1.4c144ep30, 0x1.0f9e1cp33 }, 219*412f47f9SXin Li { 0x1.2bbc1ep30, 0x1.ec929ap32 }, 220*412f47f9SXin Li { 0x1.0e69f2p30, 0x1.be6abcp32 }, 221*412f47f9SXin Li { 0x1.e7b188p29, 0x1.94637ep32 }, 222*412f47f9SXin Li { 0x1.b792bcp29, 0x1.6e2368p32 }, 223*412f47f9SXin Li { 0x1.8c03d2p29, 0x1.4b581cp32 }, 224*412f47f9SXin Li { 0x1.649b02p29, 0x1.2bb5ccp32 }, 225*412f47f9SXin Li { 0x1.40f794p29, 0x1.0ef6c4p32 }, 226*412f47f9SXin Li { 0x1.20c13p29, 0x1.e9b5e8p31 }, 227*412f47f9SXin Li { 0x1.03a72ap29, 0x1.ba4f04p31 }, 228*412f47f9SXin Li { 0x1.d2bfc6p28, 0x1.8f4cccp31 }, 229*412f47f9SXin Li { 0x1.a35068p28, 0x1.684c22p31 }, 230*412f47f9SXin Li { 0x1.7885cep28, 0x1.44f21ep31 }, 231*412f47f9SXin Li { 0x1.51f06ap28, 0x1.24eb72p31 }, 232*412f47f9SXin Li { 0x1.2f2aaap28, 0x1.07ebd2p31 }, 233*412f47f9SXin Li { 0x1.0fd816p28, 0x1.db5adp30 }, 234*412f47f9SXin Li { 0x1.e7493p27, 0x1.abe09ep30 }, 235*412f47f9SXin Li { 0x1.b48774p27, 0x1.80f43ap30 }, 236*412f47f9SXin Li { 0x1.86e006p27, 0x1.5a2aep30 }, 237*412f47f9SXin Li { 0x1.5dd4bp27, 0x1.37231p30 }, 238*412f47f9SXin Li { 0x1.38f2e8p27, 0x1.1783cep30 }, 239*412f47f9SXin Li { 0x1.17d2c6p27, 0x1.f5f7d8p29 }, 240*412f47f9SXin Li { 0x1.f42c18p26, 0x1.c282cep29 }, 241*412f47f9SXin Li { 0x1.beceb2p26, 0x1.94219cp29 }, 242*412f47f9SXin Li { 0x1.8ef2aap26, 0x1.6a5972p29 }, 243*412f47f9SXin Li { 0x1.640bf6p26, 0x1.44ba86p29 }, 244*412f47f9SXin Li { 0x1.3d9be6p26, 0x1.22df2ap29 }, 245*412f47f9SXin Li { 0x1.1b2fe4p26, 0x1.046aeap29 }, 246*412f47f9SXin Li { 0x1.f8c0c2p25, 0x1.d21398p28 }, 247*412f47f9SXin Li { 0x1.c19fa8p25, 0x1.a0df1p28 }, 248*412f47f9SXin Li { 0x1.90538cp25, 0x1.74adc8p28 }, 249*412f47f9SXin Li { 0x1.6443fep25, 0x1.4d0232p28 }, 250*412f47f9SXin Li { 0x1.3ce784p25, 0x1.296a7p28 }, 251*412f47f9SXin Li { 0x1.19c232p25, 0x1.097f62p28 }, 252*412f47f9SXin Li { 0x1.f4c8c4p24, 0x1.d9c736p27 }, 253*412f47f9SXin Li { 0x1.bcd30ep24, 0x1.a6852cp27 }, 254*412f47f9SXin Li { 0x1.8aee4cp24, 0x1.789fb8p27 }, 255*412f47f9SXin Li { 0x1.5e77b6p24, 0x1.4f8c96p27 }, 256*412f47f9SXin Li { 0x1.36dcf2p24, 0x1.2acee2p27 }, 257*412f47f9SXin Li { 0x1.139a7cp24, 0x1.09f5dp27 }, 258*412f47f9SXin Li { 0x1.e8747p23, 0x1.d9371ep26 }, 259*412f47f9SXin Li { 0x1.b0a44ap23, 0x1.a4c89ep26 }, 260*412f47f9SXin Li { 0x1.7f064ap23, 0x1.75fa8ep26 }, 261*412f47f9SXin Li { 0x1.52efep23, 0x1.4c37cp26 }, 262*412f47f9SXin Li { 0x1.2bc82ap23, 0x1.26f9ep26 }, 263*412f47f9SXin Li { 0x1.09064p23, 0x1.05c804p26 }, 264*412f47f9SXin Li { 0x1.d45f16p22, 0x1.d06ad6p25 }, 265*412f47f9SXin Li { 0x1.9dacb2p22, 0x1.9bc0ap25 }, 266*412f47f9SXin Li { 0x1.6d3126p22, 0x1.6ce1aap25 }, 267*412f47f9SXin Li { 0x1.423d14p22, 0x1.43302cp25 }, 268*412f47f9SXin Li { 0x1.1c33cep22, 0x1.1e1e86p25 }, 269*412f47f9SXin Li { 0x1.f512dep21, 0x1.fa5b5p24 }, 270*412f47f9SXin Li { 0x1.b9823cp21, 0x1.bfd756p24 }, 271*412f47f9SXin Li { 0x1.84d6fep21, 0x1.8be4f8p24 }, 272*412f47f9SXin Li { 0x1.564a92p21, 0x1.5dcd66p24 }, 273*412f47f9SXin Li { 0x1.2d2c0ap21, 0x1.34ecf8p24 }, 274*412f47f9SXin Li { 0x1.08ddd2p21, 0x1.10b148p24 }, 275*412f47f9SXin Li { 0x1.d1a75p20, 0x1.e12eep23 }, 276*412f47f9SXin Li { 0x1.99218cp20, 0x1.a854eap23 }, 277*412f47f9SXin Li { 0x1.674c6ap20, 0x1.7603bap23 }, 278*412f47f9SXin Li { 0x1.3b62b6p20, 0x1.4980ccp23 }, 279*412f47f9SXin Li { 0x1.14b54p20, 0x1.2225b2p23 }, 280*412f47f9SXin Li { 0x1.e55102p19, 0x1.febc1p22 }, 281*412f47f9SXin Li { 0x1.a964eep19, 0x1.c14b22p22 }, 282*412f47f9SXin Li { 0x1.74b17ap19, 0x1.8b0cfcp22 }, 283*412f47f9SXin Li { 0x1.465daap19, 0x1.5b2fe6p22 }, 284*412f47f9SXin Li { 0x1.1da944p19, 0x1.30f93cp22 }, 285*412f47f9SXin Li { 0x1.f3d41p18, 0x1.0bc30cp22 }, 286*412f47f9SXin Li { 0x1.b512a2p18, 0x1.d5f3a8p21 }, 287*412f47f9SXin Li { 0x1.7e03b2p18, 0x1.9c3518p21 }, 288*412f47f9SXin Li { 0x1.4dbb98p18, 0x1.6961b8p21 }, 289*412f47f9SXin Li { 0x1.236a1ap18, 0x1.3cab14p21 }, 290*412f47f9SXin Li { 0x1.fcae94p17, 0x1.155a0ap21 }, 291*412f47f9SXin Li { 0x1.bbc1ap17, 0x1.e5989p20 }, 292*412f47f9SXin Li { 0x1.82eedcp17, 0x1.a8e406p20 }, 293*412f47f9SXin Li { 0x1.5139a6p17, 0x1.7397c6p20 }, 294*412f47f9SXin Li { 0x1.25c354p17, 0x1.44d26ep20 }, 295*412f47f9SXin Li { 0x1.ff8f84p16, 0x1.1bcca4p20 }, 296*412f47f9SXin Li { 0x1.bd3474p16, 0x1.efac52p19 }, 297*412f47f9SXin Li { 0x1.834586p16, 0x1.b0a68ap19 }, 298*412f47f9SXin Li { 0x1.50b75cp16, 0x1.7974e8p19 }, 299*412f47f9SXin Li { 0x1.249ef2p16, 0x1.4924a8p19 }, 300*412f47f9SXin Li { 0x1.fc5b88p15, 0x1.1edfa4p19 }, 301*412f47f9SXin Li { 0x1.b95ceep15, 0x1.f3d218p18 }, 302*412f47f9SXin Li { 0x1.7f03bap15, 0x1.b334fap18 }, 303*412f47f9SXin Li { 0x1.4c389cp15, 0x1.7ac2d8p18 }, 304*412f47f9SXin Li { 0x1.2006aep15, 0x1.4979acp18 }, 305*412f47f9SXin Li { 0x1.f32eap14, 0x1.1e767cp18 }, 306*412f47f9SXin Li { 0x1.b05cfep14, 0x1.f1e352p17 }, 307*412f47f9SXin Li { 0x1.764f46p14, 0x1.b0778cp17 }, 308*412f47f9SXin Li { 0x1.43e56cp14, 0x1.77756ep17 }, 309*412f47f9SXin Li { 0x1.18238p14, 0x1.45ce66p17 }, 310*412f47f9SXin Li { 0x1.e45a98p13, 0x1.1a95p17 }, 311*412f47f9SXin Li { 0x1.a284ccp13, 0x1.e9f2p16 }, 312*412f47f9SXin Li { 0x1.697596p13, 0x1.a887bep16 }, 313*412f47f9SXin Li { 0x1.3807acp13, 0x1.6fab64p16 }, 314*412f47f9SXin Li { 0x1.0d3b36p13, 0x1.3e44e4p16 }, 315*412f47f9SXin Li { 0x1.d0624p12, 0x1.135f28p16 }, 316*412f47f9SXin Li { 0x1.904e0cp12, 0x1.dc479ep15 }, 317*412f47f9SXin Li { 0x1.58e72ap12, 0x1.9baed4p15 }, 318*412f47f9SXin Li { 0x1.2906ccp12, 0x1.63ac6cp15 }, 319*412f47f9SXin Li { 0x1.ff58dap11, 0x1.33225ap15 }, 320*412f47f9SXin Li { 0x1.b7f1f4p11, 0x1.0916fp15 }, 321*412f47f9SXin Li { 0x1.7a551p11, 0x1.c960cp14 }, 322*412f47f9SXin Li { 0x1.453142p11, 0x1.8a6174p14 }, 323*412f47f9SXin Li { 0x1.1761f8p11, 0x1.53e4f8p14 }, 324*412f47f9SXin Li { 0x1.dfd296p10, 0x1.24caf2p14 }, 325*412f47f9SXin Li { 0x1.9bd5fp10, 0x1.f830cp13 }, 326*412f47f9SXin Li { 0x1.61501p10, 0x1.b1e5acp13 }, 327*412f47f9SXin Li { 0x1.2ef6p10, 0x1.7538c6p13 }, 328*412f47f9SXin Li { 0x1.03a918p10, 0x1.40dfd8p13 }, 329*412f47f9SXin Li { 0x1.bce26ap9, 0x1.13bc08p13 }, 330*412f47f9SXin Li { 0x1.7cef42p9, 0x1.d9a88p12 }, 331*412f47f9SXin Li { 0x1.46056p9, 0x1.96a0b4p12 }, 332*412f47f9SXin Li { 0x1.16e3cap9, 0x1.5ce9acp12 }, 333*412f47f9SXin Li { 0x1.dcea68p8, 0x1.2b3e54p12 }, 334*412f47f9SXin Li { 0x1.97945ap8, 0x1.0085p12 }, 335*412f47f9SXin Li { 0x1.5c2828p8, 0x1.b7937ep11 }, 336*412f47f9SXin Li { 0x1.29415p8, 0x1.7872dap11 }, 337*412f47f9SXin Li { 0x1.fb58fap7, 0x1.423acp11 }, 338*412f47f9SXin Li { 0x1.b0c1a8p7, 0x1.13af5p11 }, 339*412f47f9SXin Li { 0x1.70f474p7, 0x1.d77f0cp10 }, 340*412f47f9SXin Li { 0x1.3a68a8p7, 0x1.92ff34p10 }, 341*412f47f9SXin Li { 0x1.0bcc6p7, 0x1.5847eep10 }, 342*412f47f9SXin Li { 0x1.c7fa0cp6, 0x1.25f9eep10 }, 343*412f47f9SXin Li { 0x1.8401b6p6, 0x1.f5cc78p9 }, 344*412f47f9SXin Li { 0x1.4a029ap6, 0x1.ac0f6p9 }, 345*412f47f9SXin Li { 0x1.188c46p6, 0x1.6cfa9cp9 }, 346*412f47f9SXin Li { 0x1.dcc4fap5, 0x1.370ab8p9 }, 347*412f47f9SXin Li { 0x1.94ec06p5, 0x1.08f24p9 }, 348*412f47f9SXin Li { 0x1.57bc96p5, 0x1.c324c2p8 }, 349*412f47f9SXin Li { 0x1.23a81ap5, 0x1.7fe904p8 }, 350*412f47f9SXin Li { 0x1.eeb278p4, 0x1.46897ep8 }, 351*412f47f9SXin Li { 0x1.a35794p4, 0x1.159a38p8 }, 352*412f47f9SXin Li { 0x1.634b8p4, 0x1.d7c594p7 }, 353*412f47f9SXin Li { 0x1.2ce2a4p4, 0x1.90ae4ep7 }, 354*412f47f9SXin Li { 0x1.fd5f08p3, 0x1.5422fp7 }, 355*412f47f9SXin Li { 0x1.aef3cep3, 0x1.20998p7 }, 356*412f47f9SXin Li { 0x1.6c6e62p3, 0x1.e98102p6 }, 357*412f47f9SXin Li { 0x1.3407b6p3, 0x1.9eee06p6 }, 358*412f47f9SXin Li { 0x1.043bap3, 0x1.5f8b88p6 }, 359*412f47f9SXin Li { 0x1.b77e5cp2, 0x1.29b294p6 }, 360*412f47f9SXin Li { 0x1.72f0c4p2, 0x1.f7f338p5 }, 361*412f47f9SXin Li { 0x1.38ee18p2, 0x1.aa5772p5 }, 362*412f47f9SXin Li { 0x1.07dd68p2, 0x1.68823ep5 }, 363*412f47f9SXin Li { 0x1.bcc58ep1, 0x1.30b14ep5 }, 364*412f47f9SXin Li { 0x1.76aca4p1, 0x1.01647cp5 }, 365*412f47f9SXin Li { 0x1.3b7912p1, 0x1.b2a87ep4 }, 366*412f47f9SXin Li { 0x1.097f82p1, 0x1.6ed2f2p4 }, 367*412f47f9SXin Li { 0x1.beaa3ep0, 0x1.356cd6p4 }, 368*412f47f9SXin Li { 0x1.778be2p0, 0x1.04e15ep4 }, 369*412f47f9SXin Li { 0x1.3b9984p0, 0x1.b7b04p3 }, 370*412f47f9SXin Li { 0x1.09182cp0, 0x1.725862p3 }, 371*412f47f9SXin Li { 0x1.bd20fcp-1, 0x1.37c92cp3 }, 372*412f47f9SXin Li { 0x1.75892p-1, 0x1.065b96p3 }, 373*412f47f9SXin Li { 0x1.394e7ap-1, 0x1.b950d4p2 }, 374*412f47f9SXin Li { 0x1.06a996p-1, 0x1.72fd94p2 }, 375*412f47f9SXin Li { 0x1.b8328ep-2, 0x1.37b83cp2 }, 376*412f47f9SXin Li { 0x1.70aff4p-2, 0x1.05ca5p2 }, 377*412f47f9SXin Li { 0x1.34a53cp-2, 0x1.b7807ep1 }, 378*412f47f9SXin Li { 0x1.0241dep-2, 0x1.70bebp1 }, 379*412f47f9SXin Li { 0x1.affb9p-3, 0x1.353a6cp1 }, 380*412f47f9SXin Li { 0x1.691c7cp-3, 0x1.0330fp1 }, 381*412f47f9SXin Li { 0x1.2db8cap-3, 0x1.b24a16p0 }, 382*412f47f9SXin Li { 0x1.f7f4f8p-4, 0x1.6ba91ap0 }, 383*412f47f9SXin Li { 0x1.a4ab64p-4, 0x1.305e98p0 }, 384*412f47f9SXin Li { 0x1.5efa4ep-4, 0x1.fd3de2p-1 }, 385*412f47f9SXin Li { 0x1.24b0d8p-4, 0x1.a9cc94p-1 }, 386*412f47f9SXin Li { 0x1.e7eeap-5, 0x1.63daf8p-1 }, 387*412f47f9SXin Li { 0x1.96826ep-5, 0x1.294176p-1 }, 388*412f47f9SXin Li { 0x1.5282d2p-5, 0x1.f05e82p-2 }, 389*412f47f9SXin Li { 0x1.19c05p-5, 0x1.9e39dcp-2 }, 390*412f47f9SXin Li { 0x1.d4ca9cp-6, 0x1.5982p-2 }, 391*412f47f9SXin Li { 0x1.85cfacp-6, 0x1.200c8ap-2 }, 392*412f47f9SXin Li { 0x1.43fb32p-6, 0x1.e00e92p-3 }, 393*412f47f9SXin Li { 0x1.0d2382p-6, 0x1.8fd4ep-3 }, 394*412f47f9SXin Li { 0x1.bef1b2p-7, 0x1.4cd9cp-3 }, 395*412f47f9SXin Li { 0x1.72ede4p-7, 0x1.14f48ap-3 }, 396*412f47f9SXin Li { 0x1.33b1cap-7, 0x1.ccaaeap-4 }, 397*412f47f9SXin Li { 0x1.fe3bdp-8, 0x1.7eef14p-4 }, 398*412f47f9SXin Li { 0x1.a6d7d2p-8, 0x1.3e2964p-4 }, 399*412f47f9SXin Li { 0x1.5e4062p-8, 0x1.083768p-4 }, 400*412f47f9SXin Li { 0x1.21fb7ap-8, 0x1.b69f1p-5 }, 401*412f47f9SXin Li { 0x1.dfefbep-9, 0x1.6be574p-5 }, 402*412f47f9SXin Li { 0x1.8cf816p-9, 0x1.2dc11ap-5 }, 403*412f47f9SXin Li { 0x1.482fa8p-9, 0x1.f4343cp-6 }, 404*412f47f9SXin Li { 0x1.0f30c4p-9, 0x1.9e614ep-6 }, 405*412f47f9SXin Li { 0x1.bff86ep-10, 0x1.571d34p-6 }, 406*412f47f9SXin Li { 0x1.71d0b6p-10, 0x1.1bf742p-6 }, 407*412f47f9SXin Li { 0x1.3125f6p-10, 0x1.d5cc6cp-7 }, 408*412f47f9SXin Li { 0x1.f755eap-11, 0x1.846e9ep-7 }, 409*412f47f9SXin Li { 0x1.9eebaap-11, 0x1.410048p-7 }, 410*412f47f9SXin Li { 0x1.55df18p-11, 0x1.09258p-7 }, 411*412f47f9SXin Li { 0x1.198c18p-11, 0x1.b5ceb6p-8 }, 412*412f47f9SXin Li { 0x1.cf82ep-12, 0x1.69468p-8 }, 413*412f47f9SXin Li { 0x1.7d5af6p-12, 0x1.29f9e8p-8 }, 414*412f47f9SXin Li { 0x1.399c28p-12, 0x1.eb4b9ep-9 }, 415*412f47f9SXin Li { 0x1.01c65ap-12, 0x1.94d1dep-9 }, 416*412f47f9SXin Li { 0x1.a78e82p-13, 0x1.4d6706p-9 }, 417*412f47f9SXin Li { 0x1.5bcf92p-13, 0x1.127346p-9 }, 418*412f47f9SXin Li { 0x1.1d791cp-13, 0x1.c39fap-10 }, 419*412f47f9SXin Li { 0x1.d463dcp-14, 0x1.73679cp-10 }, 420*412f47f9SXin Li { 0x1.8011fcp-14, 0x1.314916p-10 }, 421*412f47f9SXin Li { 0x1.3ac71cp-14, 0x1.f5a11ap-11 }, 422*412f47f9SXin Li { 0x1.01dcc2p-14, 0x1.9beca8p-11 }, 423*412f47f9SXin Li { 0x1.a6459cp-15, 0x1.52189ap-11 }, 424*412f47f9SXin Li { 0x1.59962ap-15, 0x1.155d48p-11 }, 425*412f47f9SXin Li { 0x1.1ab0e4p-15, 0x1.c6dc8ap-12 }, 426*412f47f9SXin Li { 0x1.ce42dep-16, 0x1.74ca88p-12 }, 427*412f47f9SXin Li { 0x1.79c43p-16, 0x1.31612ap-12 }, 428*412f47f9SXin Li { 0x1.349128p-16, 0x1.f4125ap-13 }, 429*412f47f9SXin Li { 0x1.f7d80ep-17, 0x1.993e82p-13 }, 430*412f47f9SXin Li { 0x1.9b270cp-17, 0x1.4ec006p-13 }, 431*412f47f9SXin Li { 0x1.4f59fap-17, 0x1.11aebp-13 }, 432*412f47f9SXin Li { 0x1.1164acp-17, 0x1.bf4ab2p-14 }, 433*412f47f9SXin Li { 0x1.bd8c96p-18, 0x1.6d561ep-14 }, 434*412f47f9SXin Li { 0x1.6ae172p-18, 0x1.2a406ep-14 }, 435*412f47f9SXin Li { 0x1.276874p-18, 0x1.e6bba6p-15 }, 436*412f47f9SXin Li { 0x1.e0bad2p-19, 0x1.8cf814p-15 }, 437*412f47f9SXin Li { 0x1.86f788p-19, 0x1.4399f8p-15 }, 438*412f47f9SXin Li { 0x1.3dcfaep-19, 0x1.07aa3p-15 }, 439*412f47f9SXin Li { 0x1.023828p-19, 0x1.ad7302p-16 }, 440*412f47f9SXin Li { 0x1.a3666ep-20, 0x1.5d90f4p-16 }, 441*412f47f9SXin Li { 0x1.546e38p-20, 0x1.1c674ep-16 }, 442*412f47f9SXin Li { 0x1.143264p-20, 0x1.ce8ccp-17 }, 443*412f47f9SXin Li { 0x1.bff316p-21, 0x1.77f562p-17 }, 444*412f47f9SXin Li { 0x1.6b13ecp-21, 0x1.316da8p-17 }, 445*412f47f9SXin Li { 0x1.2624f4p-21, 0x1.f0046p-18 }, 446*412f47f9SXin Li { 0x1.dc5de4p-22, 0x1.92920ap-18 }, 447*412f47f9SXin Li { 0x1.818d3ap-22, 0x1.4691b2p-18 }, 448*412f47f9SXin Li { 0x1.37e62p-22, 0x1.08c96ap-18 }, 449*412f47f9SXin Li { 0x1.f8637ep-23, 0x1.ad2d0ap-19 }, 450*412f47f9SXin Li { 0x1.97a3dcp-23, 0x1.5ba462p-19 }, 451*412f47f9SXin Li { 0x1.494a4p-23, 0x1.1975ep-19 }, 452*412f47f9SXin Li { 0x1.09dee4p-23, 0x1.c78892p-20 }, 453*412f47f9SXin Li { 0x1.ad1fap-24, 0x1.7073c4p-20 }, 454*412f47f9SXin Li { 0x1.5a245ep-24, 0x1.29df48p-20 }, 455*412f47f9SXin Li { 0x1.171278p-24, 0x1.e163bep-21 }, 456*412f47f9SXin Li { 0x1.c1c74cp-25, 0x1.84cbbp-21 }, 457*412f47f9SXin Li { 0x1.6a46f4p-25, 0x1.39dbcep-21 }, 458*412f47f9SXin Li { 0x1.23a858p-25, 0x1.fa7b92p-22 }, 459*412f47f9SXin Li { 0x1.d56196p-26, 0x1.9876ap-22 }, 460*412f47f9SXin Li { 0x1.7984b6p-26, 0x1.4940bcp-22 }, 461*412f47f9SXin Li { 0x1.2f7cc4p-26, 0x1.094608p-22 }, 462*412f47f9SXin Li { 0x1.e7b62cp-27, 0x1.ab3e8cp-23 }, 463*412f47f9SXin Li { 0x1.87b15ep-27, 0x1.57e33ep-23 }, 464*412f47f9SXin Li { 0x1.3a6dp-27, 0x1.14a8b6p-23 }, 465*412f47f9SXin Li { 0x1.f88ebap-28, 0x1.bcede6p-24 }, 466*412f47f9SXin Li { 0x1.94a282p-28, 0x1.659918p-24 }, 467*412f47f9SXin Li { 0x1.44580ap-28, 0x1.1f4498p-24 }, 468*412f47f9SXin Li { 0x1.03dbf8p-28, 0x1.cd5086p-25 }, 469*412f47f9SXin Li { 0x1.a03066p-29, 0x1.723974p-25 }, 470*412f47f9SXin Li { 0x1.4d1f2ep-29, 0x1.28f9cap-25 }, 471*412f47f9SXin Li { 0x1.0a814ap-29, 0x1.dc34b6p-26 }, 472*412f47f9SXin Li { 0x1.aa36cap-30, 0x1.7d9dbp-26 }, 473*412f47f9SXin Li { 0x1.54a6b6p-30, 0x1.31aa56p-26 }, 474*412f47f9SXin Li { 0x1.102232p-30, 0x1.e96c26p-27 }, 475*412f47f9SXin Li { 0x1.b2959ep-31, 0x1.87a218p-27 }, 476*412f47f9SXin Li { 0x1.5ad66cp-31, 0x1.393ad2p-27 }, 477*412f47f9SXin Li { 0x1.14ac7ep-31, 0x1.f4ccdap-28 }, 478*412f47f9SXin Li { 0x1.b931b8p-32, 0x1.9026a8p-28 }, 479*412f47f9SXin Li { 0x1.5f9a24p-32, 0x1.3f92eap-28 }, 480*412f47f9SXin Li { 0x1.181154p-32, 0x1.fe3208p-29 }, 481*412f47f9SXin Li { 0x1.bdf55ep-33, 0x1.970fbp-29 }, 482*412f47f9SXin Li { 0x1.62e226p-33, 0x1.449de6p-29 }, 483*412f47f9SXin Li { 0x1.1a4576p-33, 0x1.02be7p-29 }, 484*412f47f9SXin Li { 0x1.c0d0bep-34, 0x1.9c4672p-30 }, 485*412f47f9SXin Li { 0x1.64a386p-34, 0x1.484b1ep-30 }, 486*412f47f9SXin Li { 0x1.1b418cp-34, 0x1.054a9ap-30 }, 487*412f47f9SXin Li { 0x1.c1ba4ap-35, 0x1.9fb994p-31 }, 488*412f47f9SXin Li { 0x1.64d86p-35, 0x1.4a8e4ep-31 }, 489*412f47f9SXin Li { 0x1.1b0242p-35, 0x1.06b4fep-31 }, 490*412f47f9SXin Li { 0x1.c0aee6p-36, 0x1.a15d86p-32 }, 491*412f47f9SXin Li { 0x1.637ffap-36, 0x1.4b5fdep-32 }, 492*412f47f9SXin Li { 0x1.198862p-36, 0x1.06f8dap-32 }, 493*412f47f9SXin Li { 0x1.bdb204p-37, 0x1.a12cc8p-33 }, 494*412f47f9SXin Li { 0x1.609ec2p-37, 0x1.4abd0ap-33 }, 495*412f47f9SXin Li { 0x1.16d8d2p-37, 0x1.06154ap-33 }, 496*412f47f9SXin Li { 0x1.b8cd88p-38, 0x1.9f27fap-34 }, 497*412f47f9SXin Li { 0x1.5c3e42p-38, 0x1.48a7fcp-34 }, 498*412f47f9SXin Li { 0x1.12fc6cp-38, 0x1.040d4ap-34 }, 499*412f47f9SXin Li { 0x1.b2119p-39, 0x1.9b55e8p-35 }, 500*412f47f9SXin Li { 0x1.566cep-39, 0x1.4527acp-35 }, 501*412f47f9SXin Li { 0x1.0dffep-39, 0x1.00e7acp-35 }, 502*412f47f9SXin Li { 0x1.a99426p-40, 0x1.95c358p-36 }, 503*412f47f9SXin Li { 0x1.4f3d92p-40, 0x1.4047cep-36 }, 504*412f47f9SXin Li { 0x1.07f35ep-40, 0x1.f95dcep-37 }, 505*412f47f9SXin Li { 0x1.9f70cp-41, 0x1.8e82cep-37 }, 506*412f47f9SXin Li { 0x1.46c77ap-41, 0x1.3a1882p-37 }, 507*412f47f9SXin Li { 0x1.00ea48p-41, 0x1.eee1d4p-38 }, 508*412f47f9SXin Li { 0x1.93c7acp-42, 0x1.85ac18p-38 }, 509*412f47f9SXin Li { 0x1.3d256ap-42, 0x1.32ae04p-38 }, 510*412f47f9SXin Li { 0x1.f1f59p-43, 0x1.e27d88p-39 }, 511*412f47f9SXin Li { 0x1.86bd6ap-43, 0x1.7b5bdap-39 }, 512*412f47f9SXin Li { 0x1.327554p-43, 0x1.2a2036p-39 }, 513*412f47f9SXin Li { 0x1.e07ab4p-44, 0x1.d458ap-40 }, 514*412f47f9SXin Li { 0x1.7879ecp-44, 0x1.6fb2eap-40 }, 515*412f47f9SXin Li { 0x1.26d7bp-44, 0x1.208a2cp-40 }, 516*412f47f9SXin Li { 0x1.cd98a2p-45, 0x1.c49f8ap-41 }, 517*412f47f9SXin Li { 0x1.6927c2p-45, 0x1.62d5aap-41 }, 518*412f47f9SXin Li { 0x1.1a6ed6p-45, 0x1.16098ep-41 }, 519*412f47f9SXin Li { 0x1.b986acp-46, 0x1.b3828ep-42 }, 520*412f47f9SXin Li { 0x1.58f35ap-46, 0x1.54eb3ep-42 }, 521*412f47f9SXin Li { 0x1.0d5e6p-46, 0x1.0abe0ep-42 }, 522*412f47f9SXin Li { 0x1.a47db6p-47, 0x1.a134d4p-43 }, 523*412f47f9SXin Li { 0x1.480a18p-47, 0x1.461cdap-43 }, 524*412f47f9SXin Li { 0x1.ff94e4p-48, 0x1.fd9182p-44 }, 525*412f47f9SXin Li { 0x1.8eb738p-48, 0x1.8deb62p-44 }, 526*412f47f9SXin Li { 0x1.369994p-48, 0x1.3694e8p-44 }, 527*412f47f9SXin Li { 0x1.e3ae4ap-49, 0x1.e49706p-45 }, 528*412f47f9SXin Li { 0x1.786c3ep-49, 0x1.79dc28p-45 }, 529*412f47f9SXin Li { 0x1.24cec8p-49, 0x1.267e46p-45 }, 530*412f47f9SXin Li { 0x1.c74fc4p-50, 0x1.cad0bp-46 }, 531*412f47f9SXin Li { 0x1.61d46cp-50, 0x1.653d08p-46 }, 532*412f47f9SXin Li { 0x1.12d55cp-50, 0x1.16038cp-46 }, 533*412f47f9SXin Li { 0x1.aabdacp-51, 0x1.b081aap-47 }, 534*412f47f9SXin Li { 0x1.4b252ep-51, 0x1.5042e2p-47 }, 535*412f47f9SXin Li { 0x1.00d6f8p-51, 0x1.054e44p-47 }, 536*412f47f9SXin Li { 0x1.8e38ep-52, 0x1.95eb2cp-48 }, 537*412f47f9SXin Li { 0x1.3490e8p-52, 0x1.3b20c6p-48 }, 538*412f47f9SXin Li { 0x1.ddf56ap-53, 0x1.e90cb6p-49 }, 539*412f47f9SXin Li { 0x1.71fdep-53, 0x1.7b4b76p-49 }, 540*412f47f9SXin Li { 0x1.1e465ap-53, 0x1.26072ap-49 }, 541*412f47f9SXin Li { 0x1.bac92ep-54, 0x1.c7a2ecp-50 }, 542*412f47f9SXin Li { 0x1.56441cp-54, 0x1.60dcfp-50 }, 543*412f47f9SXin Li { 0x1.08700cp-54, 0x1.112346p-50 }, 544*412f47f9SXin Li { 0x1.986a66p-55, 0x1.a6a50ap-51 }, 545*412f47f9SXin Li { 0x1.3b3d56p-55, 0x1.46d572p-51 }, 546*412f47f9SXin Li { 0x1.e667dap-56, 0x1.f93d0ep-52 }, 547*412f47f9SXin Li { 0x1.7712b8p-56, 0x1.86529ep-52 }, 548*412f47f9SXin Li { 0x1.211544p-56, 0x1.2d65aep-52 }, 549*412f47f9SXin Li { 0x1.bd660ap-57, 0x1.d13c32p-53 }, 550*412f47f9SXin Li { 0x1.56f3eep-57, 0x1.66e45ap-53 }, 551*412f47f9SXin Li { 0x1.07f14ap-57, 0x1.14b8b6p-53 }, 552*412f47f9SXin Li { 0x1.96129cp-58, 0x1.aa854cp-54 }, 553*412f47f9SXin Li { 0x1.3837cp-58, 0x1.488b94p-54 }, 554*412f47f9SXin Li { 0x1.dfe0c2p-59, 0x1.f9e772p-55 }, 555*412f47f9SXin Li { 0x1.709b5ap-59, 0x1.85503p-55 }, 556*412f47f9SXin Li { 0x1.1affd2p-59, 0x1.2b7218p-55 }, 557*412f47f9SXin Li { 0x1.b2564p-60, 0x1.cc6bb6p-56 }, 558*412f47f9SXin Li { 0x1.4d23fap-60, 0x1.61cb1ap-56 }, 559*412f47f9SXin Li { 0x1.fecbdp-61, 0x1.0fba0ep-56 }, 560*412f47f9SXin Li { 0x1.8767d8p-61, 0x1.a13072p-57 }, 561*412f47f9SXin Li { 0x1.2bc67ep-61, 0x1.401abcp-57 }, 562*412f47f9SXin Li { 0x1.caf846p-62, 0x1.eafc2cp-58 }, 563*412f47f9SXin Li { 0x1.5f2e7ap-62, 0x1.785cp-58 }, 564*412f47f9SXin Li { 0x1.0c93acp-62, 0x1.205a7ep-58 }, 565*412f47f9SXin Li { 0x1.9a9b06p-63, 0x1.b9a31ap-59 }, 566*412f47f9SXin Li { 0x1.39b7fcp-63, 0x1.520968p-59 }, 567*412f47f9SXin Li { 0x1.df277ap-64, 0x1.029ce6p-59 }, 568*412f47f9SXin Li { 0x1.6dbcdp-64, 0x1.8b81d6p-60 }, 569*412f47f9SXin Li { 0x1.17080ap-64, 0x1.2e48f2p-60 }, 570*412f47f9SXin Li { 0x1.a98e26p-65, 0x1.cdd86cp-61 }, 571*412f47f9SXin Li { 0x1.445a6ap-65, 0x1.60a47ap-61 }, 572*412f47f9SXin Li { 0x1.ee324ep-66, 0x1.0d210cp-61 }, 573*412f47f9SXin Li { 0x1.784e3p-66, 0x1.9a961ep-62 }, 574*412f47f9SXin Li { 0x1.1e65fep-66, 0x1.390b74p-62 }, 575*412f47f9SXin Li { 0x1.b3bb86p-67, 0x1.dd1e52p-63 }, 576*412f47f9SXin Li { 0x1.4b4e36p-67, 0x1.6b6a7ap-63 }, 577*412f47f9SXin Li { 0x1.f790f6p-68, 0x1.14acc2p-63 }, 578*412f47f9SXin Li { 0x1.7e82cep-68, 0x1.a511aap-64 }, 579*412f47f9SXin Li { 0x1.226a7ap-68, 0x1.404114p-64 }, 580*412f47f9SXin Li { 0x1.b8c634p-69, 0x1.e6ea96p-65 }, 581*412f47f9SXin Li { 0x1.4e53acp-69, 0x1.71f97ap-65 }, 582*412f47f9SXin Li { 0x1.faed5cp-70, 0x1.18fb2ep-65 }, 583*412f47f9SXin Li { 0x1.80217ep-70, 0x1.aa947ep-66 }, 584*412f47f9SXin Li { 0x1.22f066p-70, 0x1.43a796p-66 }, 585*412f47f9SXin Li { 0x1.b87f86p-71, 0x1.eae2fp-67 }, 586*412f47f9SXin Li { 0x1.4d4ec8p-71, 0x1.7414e6p-67 }, 587*412f47f9SXin Li { 0x1.f8283ep-72, 0x1.19e474p-67 }, 588*412f47f9SXin Li { 0x1.7d1b22p-72, 0x1.aaeb7ep-68 }, 589*412f47f9SXin Li { 0x1.1ff2dp-72, 0x1.431f66p-68 }, 590*412f47f9SXin Li { 0x1.b2e9e8p-73, 0x1.e8e272p-69 }, 591*412f47f9SXin Li { 0x1.4848dep-73, 0x1.71a91ep-69 }, 592*412f47f9SXin Li { 0x1.ef5b16p-74, 0x1.176014p-69 }, 593*412f47f9SXin Li { 0x1.758b92p-74, 0x1.a6137cp-70 }, 594*412f47f9SXin Li { 0x1.198d42p-74, 0x1.3ead74p-70 }, 595*412f47f9SXin Li { 0x1.a838bp-75, 0x1.e0fbc2p-71 }, 596*412f47f9SXin Li { 0x1.3f700cp-75, 0x1.6accaep-71 }, 597*412f47f9SXin Li { 0x1.e0d68ep-76, 0x1.118578p-71 }, 598*412f47f9SXin Li { 0x1.69b7f4p-76, 0x1.9c3974p-72 }, 599*412f47f9SXin Li { 0x1.0ffa12p-76, 0x1.367afap-72 }, 600*412f47f9SXin Li { 0x1.98cd1cp-77, 0x1.d377fap-73 }, 601*412f47f9SXin Li { 0x1.33148p-77, 0x1.5fbee6p-73 }, 602*412f47f9SXin Li { 0x1.cd1dbap-78, 0x1.088a8p-73 }, 603*412f47f9SXin Li { 0x1.5a0a9cp-78, 0x1.8db7ccp-74 }, 604*412f47f9SXin Li { 0x1.038ef4p-78, 0x1.2ad2ecp-74 }, 605*412f47f9SXin Li { 0x1.85308ap-79, 0x1.c0d23ep-75 }, 606*412f47f9SXin Li { 0x1.23a3cp-79, 0x1.50e41ap-75 }, 607*412f47f9SXin Li { 0x1.b4de68p-80, 0x1.f980a8p-76 }, 608*412f47f9SXin Li { 0x1.470ce4p-80, 0x1.7b10fep-76 }, 609*412f47f9SXin Li { 0x1.e9700cp-81, 0x1.1c1d98p-76 }, 610*412f47f9SXin Li { 0x1.6e0c9p-81, 0x1.a9b08p-77 }, 611*412f47f9SXin Li { 0x1.11a25ap-81, 0x1.3ebfb4p-77 }, 612*412f47f9SXin Li { 0x1.98e73ap-82, 0x1.dd1d36p-78 }, 613*412f47f9SXin Li { 0x1.315f58p-82, 0x1.64e7fp-78 }, 614*412f47f9SXin Li { 0x1.c7e35cp-83, 0x1.0ada94p-78 }, 615*412f47f9SXin Li { 0x1.542176p-83, 0x1.8ed9e8p-79 }, 616*412f47f9SXin Li { 0x1.fb491ep-84, 0x1.29ecb2p-79 }, 617*412f47f9SXin Li { 0x1.7a1c34p-84, 0x1.bcdb34p-80 }, 618*412f47f9SXin Li { 0x1.19b0f2p-84, 0x1.4bf6cap-80 }, 619*412f47f9SXin Li { 0x1.a383cap-85, 0x1.ef3318p-81 }, 620*412f47f9SXin Li { 0x1.383bf2p-85, 0x1.712bc2p-81 }, 621*412f47f9SXin Li { 0x1.d08cdap-86, 0x1.13151p-81 }, 622*412f47f9SXin Li { 0x1.596adp-86, 0x1.99bf36p-82 }, 623*412f47f9SXin Li { 0x1.00b602p-86, 0x1.3104d6p-82 }, 624*412f47f9SXin Li { 0x1.7d62a2p-87, 0x1.c5e534p-83 }, 625*412f47f9SXin Li { 0x1.1b2abcp-87, 0x1.518db2p-83 }, 626*412f47f9SXin Li { 0x1.a4480ep-88, 0x1.f5d1c6p-84 }, 627*412f47f9SXin Li { 0x1.37be42p-88, 0x1.74d45ap-84 }, 628*412f47f9SXin Li { 0x1.ce3ee4p-89, 0x1.14dc4ap-84 }, 629*412f47f9SXin Li { 0x1.568986p-89, 0x1.9afd0ep-85 }, 630*412f47f9SXin Li { 0x1.fb69c6p-90, 0x1.30e632p-85 }, 631*412f47f9SXin Li { 0x1.77a47ep-90, 0x1.c42b48p-86 }, 632*412f47f9SXin Li { 0x1.15f4ep-90, 0x1.4f1f52p-86 }, 633*412f47f9SXin Li { 0x1.9b25dcp-91, 0x1.f08156p-87 }, 634*412f47f9SXin Li { 0x1.2feeeep-91, 0x1.6f9f62p-87 }, 635*412f47f9SXin Li { 0x1.c122bcp-92, 0x1.100ffap-87 }, 636*412f47f9SXin Li { 0x1.4bb154p-92, 0x1.927ce6p-88 }, 637*412f47f9SXin Li { 0x1.e9ae56p-93, 0x1.2992f4p-88 }, 638*412f47f9SXin Li { 0x1.6948e8p-93, 0x1.b7cccap-89 }, 639*412f47f9SXin Li { 0x1.0a6cd2p-93, 0x1.44d7c4p-89 }, 640*412f47f9SXin Li { 0x1.88c0cap-94, 0x1.dfa22p-90 }, 641*412f47f9SXin Li { 0x1.215988p-94, 0x1.61eb26p-90 }, 642*412f47f9SXin Li { 0x1.aa222ap-95, 0x1.0506e2p-90 }, 643*412f47f9SXin Li { 0x1.39a30ep-95, 0x1.80d828p-91 }, 644*412f47f9SXin Li { 0x1.cd740ep-96, 0x1.1b8f04p-91 }, 645*412f47f9SXin Li { 0x1.534d82p-96, 0x1.a1a7ecp-92 }, 646*412f47f9SXin Li { 0x1.f2bb06p-97, 0x1.336f3p-92 }, 647*412f47f9SXin Li { 0x1.6e5b34p-97, 0x1.c46172p-93 }, 648*412f47f9SXin Li { 0x1.0cfc82p-97, 0x1.4cab82p-93 }, 649*412f47f9SXin Li { 0x1.8acc82p-98, 0x1.e9094cp-94 }, 650*412f47f9SXin Li { 0x1.219686p-98, 0x1.67465p-94 }, 651*412f47f9SXin Li { 0x1.a89fa6p-99, 0x1.07d0b8p-94 }, 652*412f47f9SXin Li { 0x1.372982p-99, 0x1.833ffap-95 }, 653*412f47f9SXin Li { 0x1.c7d094p-100, 0x1.1c147ap-95 }, 654*412f47f9SXin Li { 0x1.4db1c8p-100, 0x1.a096ccp-96 }, 655*412f47f9SXin Li { 0x1.e858d8p-101, 0x1.314decp-96 }, 656*412f47f9SXin Li { 0x1.6529ep-101, 0x1.bf46cep-97 }, 657*412f47f9SXin Li { 0x1.0517bap-101, 0x1.47796ap-97 }, 658*412f47f9SXin Li { 0x1.7d8a8p-102, 0x1.df49a2p-98 }, 659*412f47f9SXin Li { 0x1.16a46p-102, 0x1.5e9198p-98 }, 660*412f47f9SXin Li { 0x1.96ca76p-103, 0x1.004b34p-98 }, 661*412f47f9SXin Li { 0x1.28cb2cp-103, 0x1.768f3ep-99 }, 662*412f47f9SXin Li { 0x1.b0de98p-104, 0x1.1190d2p-99 }, 663*412f47f9SXin Li }, 664*412f47f9SXin Li }; 665