acosh_data.ipp 22 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273
  1. // Copyright John Maddock 2008.
  2. // Use, modification and distribution are subject to the
  3. // Boost Software License, Version 1.0.
  4. // (See accompanying file LICENSE_1_0.txt
  5. // or copy at http://www.boost.org/LICENSE_1_0.txt)
  6. #define SC_(x) static_cast<typename table_type<T>::type>(BOOST_JOIN(x, L))
  7. static const boost::array<boost::array<typename table_type<T>::type, 2>, 261> acosh_data = {{
  8. {{ SC_(1.000001430511474609375), SC_(0.001691455665129294448190238354291760044433) }},
  9. {{ SC_(1.0000019073486328125), SC_(0.001953124689559275021527821917817027620963) }},
  10. {{ SC_(1.000007152557373046875), SC_(0.003782208044661295168504799813496158490314) }},
  11. {{ SC_(1.000013828277587890625), SC_(0.005258943946801101349061072655743616330534) }},
  12. {{ SC_(1.0000171661376953125), SC_(0.005859366618129202398694086527594451883545) }},
  13. {{ SC_(1.00006008148193359375), SC_(0.0109618319921888517811096976159923461784) }},
  14. {{ SC_(1.000116825103759765625), SC_(0.01528547213183042467192017645636643040682) }},
  15. {{ SC_(1.000148773193359375), SC_(0.01724931909352987823311560583970196658141) }},
  16. {{ SC_(1.000398159027099609375), SC_(0.02821817173865537359266716853098519889415) }},
  17. {{ SC_(1.000638484954833984375), SC_(0.03573281468231456624811499142438796295686) }},
  18. {{ SC_(1.001071453094482421875), SC_(0.04628740247287877599360006621134226755174) }},
  19. {{ SC_(1.003021717071533203125), SC_(0.07771996527168971264969648279358369972575) }},
  20. {{ SC_(1.004993915557861328125), SC_(0.09989759308602780434912638996550489375369) }},
  21. {{ SC_(1.00928401947021484375), SC_(0.1361593876803246479600670434737716450022) }},
  22. {{ SC_(1.024169921875), SC_(0.2194227900495835483852561715845842241518) }},
  23. {{ SC_(1.062277317047119140625), SC_(0.3511165938166054588185413287563455693446) }},
  24. {{ SC_(1.12234401702880859375), SC_(0.4897502671128818535428474267470966393752) }},
  25. {{ SC_(1.2495574951171875), SC_(0.6925568837084910405419269283192900693752) }},
  26. {{ SC_(1.491221904754638671875), SC_(0.9545305722214140465734705961617555409538) }},
  27. {{ SC_(1.983847141265869140625), SC_(1.307581416910453029674373062377350125402) }},
  28. {{ SC_(2.15761280059814453125), SC_(1.403518877974133434572205965467405839077) }},
  29. {{ SC_(2.40639781951904296875), SC_(1.525007084542751786819384889715403191957) }},
  30. {{ SC_(3.38695812225341796875), SC_(1.890537201307279875549078665860235683411) }},
  31. {{ SC_(4.4516773223876953125), SC_(2.173567339994825397387431806918552342932) }},
  32. {{ SC_(6.9391326904296875), SC_(2.625091127868242256287879402513352014572) }},
  33. {{ SC_(7.756023406982421875), SC_(2.737434918695162165715461546271032662695) }},
  34. {{ SC_(8.8823699951171875), SC_(2.874031716780194544439172840789924579634) }},
  35. {{ SC_(9.869171142578125), SC_(2.979986393289490221624555712675426245527) }},
  36. {{ SC_(16.848876953125), SC_(3.516549380542481075157493697729821147595) }},
  37. {{ SC_(16.88458251953125), SC_(3.518670034680249794623612003576884164306) }},
  38. {{ SC_(18.18859100341796875), SC_(3.593185165198828891634086870735797352995) }},
  39. {{ SC_(18.82012176513671875), SC_(3.627367214296338506596699897092700261917) }},
  40. {{ SC_(19.18418121337890625), SC_(3.646553244410946142822321573885913155251) }},
  41. {{ SC_(24.039520263671875), SC_(3.872413451393967155852229598937671193827) }},
  42. {{ SC_(26.5569915771484375), SC_(3.97208556893332931613088010770137243142) }},
  43. {{ SC_(27.92110443115234375), SC_(4.022209178119237972634584536383754567227) }},
  44. {{ SC_(32.314666748046875), SC_(4.168428891496629419926716002725343213186) }},
  45. {{ SC_(34.7300872802734375), SC_(4.24054622986100481621284684937772318866) }},
  46. {{ SC_(36.51556396484375), SC_(4.290698214968890417003449585503652329902) }},
  47. {{ SC_(38.851287841796875), SC_(4.352722738491573736218790864551080662126) }},
  48. {{ SC_(49.46875), SC_(4.59438616262944868606926670858880728888) }},
  49. {{ SC_(49.6726531982421875), SC_(4.598500387004538200979463375829093317529) }},
  50. {{ SC_(55.821014404296875), SC_(4.715217340185609026248077357993388963859) }},
  51. {{ SC_(57.119781494140625), SC_(4.738221040019820009132180121068224048563) }},
  52. {{ SC_(60.3798370361328125), SC_(4.793733825338028989056646578701956447074) }},
  53. {{ SC_(63.4661865234375), SC_(4.843592376953016901945130034442741537681) }},
  54. {{ SC_(63.822418212890625), SC_(4.849190310904695081724453083230505499) }},
  55. {{ SC_(64.366424560546875), SC_(4.857678972284480806836897045666147581194) }},
  56. {{ SC_(65.82318115234375), SC_(4.880061548144127001309581646898589070845) }},
  57. {{ SC_(68.60302734375), SC_(4.921430721025434361496543279369773904556) }},
  58. {{ SC_(70.173583984375), SC_(4.944068352080570156852448111271304401145) }},
  59. {{ SC_(71.80126953125), SC_(4.967000841791218009854450984654955748527) }},
  60. {{ SC_(75.407867431640625), SC_(5.016014824864731856945880331601344083118) }},
  61. {{ SC_(75.497711181640625), SC_(5.017205657609766266706283982466292758789) }},
  62. {{ SC_(78.06475830078125), SC_(5.050644871655082237287791451581061020693) }},
  63. {{ SC_(79.64892578125), SC_(5.070736320140527520131044330827542555678) }},
  64. {{ SC_(79.8707275390625), SC_(5.073517411135062274633407326047677797493) }},
  65. {{ SC_(82.14324951171875), SC_(5.101574796209937553992594384708408566472) }},
  66. {{ SC_(86.422149658203125), SC_(5.152357710985635411723269669070507384393) }},
  67. {{ SC_(87.758697509765625), SC_(5.167705692500116617668438212039278403675) }},
  68. {{ SC_(94.249420166015625), SC_(5.239063709802807411774762976165711451289) }},
  69. {{ SC_(95.002593994140625), SC_(5.24702367651990363562135237922593081374) }},
  70. {{ SC_(96.06402587890625), SC_(5.258134994273664228925894855596706922092) }},
  71. {{ SC_(99.10101318359375), SC_(5.289261389093961411474730159621540149161) }},
  72. {{ SC_(104.825958251953125), SC_(5.345425863147170918152692907733404160171) }},
  73. {{ SC_(105.894317626953125), SC_(5.355566478724588805787125327460047194459) }},
  74. {{ SC_(106.750244140625), SC_(5.363617180711894834893456209993366372702) }},
  75. {{ SC_(109.40167236328125), SC_(5.388152468690488330936438928871930644775) }},
  76. {{ SC_(111.295989990234375), SC_(5.40532022596301299871913818031312501789) }},
  77. {{ SC_(112.682159423828125), SC_(5.417698597745428582703028438959417637741) }},
  78. {{ SC_(115.847869873046875), SC_(5.445406415908932972979361284782173288771) }},
  79. {{ SC_(122.518951416015625), SC_(5.501396249028249309478903043850515943644) }},
  80. {{ SC_(126.29083251953125), SC_(5.531718947357248141901016725943097821463) }},
  81. {{ SC_(127.88677978515625), SC_(5.544277233951786833046255699209839124282) }},
  82. {{ SC_(128.29241943359375), SC_(5.547444176085567387868629933507681372844) }},
  83. {{ SC_(129.49658203125), SC_(5.556786759298987489018162005929203901677) }},
  84. {{ SC_(138.73651123046875), SC_(5.625710723366437130110566517151979116591) }},
  85. {{ SC_(139.18450927734375), SC_(5.628934733085021889655473009134778907233) }},
  86. {{ SC_(139.9705810546875), SC_(5.63456668505549125187745033695013277031) }},
  87. {{ SC_(143.6336669921875), SC_(5.660401141376928390068911580516739480767) }},
  88. {{ SC_(149.2176513671875), SC_(5.698541939965667319302405718431306124964) }},
  89. {{ SC_(150.61602783203125), SC_(5.707869896181299042045964962097048877529) }},
  90. {{ SC_(151.65460205078125), SC_(5.714741890601692470131657476637875234333) }},
  91. {{ SC_(154.77532958984375), SC_(5.735111323217677235163096422075933590581) }},
  92. {{ SC_(158.9586181640625), SC_(5.76178119164116056169664536557902282984) }},
  93. {{ SC_(159.23260498046875), SC_(5.76350337802895912932271749968885321291) }},
  94. {{ SC_(166.89166259765625), SC_(5.810483079631769347906173026231591180669) }},
  95. {{ SC_(169.22418212890625), SC_(5.824362807770767372309724658583543187687) }},
  96. {{ SC_(170.85247802734375), SC_(5.833939098607024938518744061528880726076) }},
  97. {{ SC_(175.641845703125), SC_(5.861586030831371111277316749706184493497) }},
  98. {{ SC_(176.47808837890625), SC_(5.866335876872543841804521246497450515591) }},
  99. {{ SC_(177.0284423828125), SC_(5.869449614294116474831852726381675383803) }},
  100. {{ SC_(178.81622314453125), SC_(5.879497954012966336157412623485146460234) }},
  101. {{ SC_(181.28570556640625), SC_(5.893213844044450514365554597289542581697) }},
  102. {{ SC_(190.84246826171875), SC_(5.944588630523773589353947366401268565142) }},
  103. {{ SC_(191.39764404296875), SC_(5.94749352592071287963619396611460598163) }},
  104. {{ SC_(194.2606201171875), SC_(5.962341215900494050109187978733428591562) }},
  105. {{ SC_(194.89630126953125), SC_(5.965608227627600046293288118981009401155) }},
  106. {{ SC_(196.72125244140625), SC_(5.974928484931286802822226328854017998272) }},
  107. {{ SC_(196.76788330078125), SC_(5.97516550017620215691682414383193227447) }},
  108. {{ SC_(198.0592041015625), SC_(5.981706804024238659640680772319516752432) }},
  109. {{ SC_(199.97052001953125), SC_(5.991310884439669647644011374615753552043) }},
  110. {{ SC_(202.70001220703125), SC_(6.004868209578553896003834136537443847497) }},
  111. {{ SC_(204.95684814453125), SC_(6.015940689286515853596140406483086930665) }},
  112. {{ SC_(206.92059326171875), SC_(6.025476453825986378650455090165700700781) }},
  113. {{ SC_(211.4588623046875), SC_(6.047172064627678522672151564001319932574) }},
  114. {{ SC_(211.6217041015625), SC_(6.047941864223159215142104276243607189411) }},
  115. {{ SC_(212.15936279296875), SC_(6.050479329955437674042299338123601544698) }},
  116. {{ SC_(219.93341064453125), SC_(6.086466833749718691309844243695794396376) }},
  117. {{ SC_(223.34747314453125), SC_(6.101870903204913623855234973179987714517) }},
  118. {{ SC_(228.56036376953125), SC_(6.12494274439855238424605675602915271015) }},
  119. {{ SC_(229.53656005859375), SC_(6.129204755426344240698049588914342485212) }},
  120. {{ SC_(231.15753173828125), SC_(6.136241935513705416652882857399712029477) }},
  121. {{ SC_(235.22589111328125), SC_(6.153688953514382528837249519861026992294) }},
  122. {{ SC_(237.17108154296875), SC_(6.16192447986332112027066888322817886098) }},
  123. {{ SC_(237.904541015625), SC_(6.165012268502458223847465413629334545746) }},
  124. {{ SC_(243.202392578125), SC_(6.187036941752031847781237018817248226575) }},
  125. {{ SC_(244.296875), SC_(6.191527178125453588013362995547294190556) }},
  126. {{ SC_(245.39239501953125), SC_(6.196001570568187444354689455736723305464) }},
  127. {{ SC_(245.80389404296875), SC_(6.197677082130341298614824238362609944761) }},
  128. {{ SC_(249.68365478515625), SC_(6.213337906126028634019511362668656048871) }},
  129. {{ SC_(252.32763671875), SC_(6.223871642756904989009941455863848621693) }},
  130. {{ SC_(253.4725341796875), SC_(6.228398760115368978419785861340394334949) }},
  131. {{ SC_(264.1583251953125), SC_(6.269692237869834655812588535960729291645) }},
  132. {{ SC_(265.867919921875), SC_(6.276143287577458434544566538806340395227) }},
  133. {{ SC_(273.893798828125), SC_(6.305884283737175999056149819356227140283) }},
  134. {{ SC_(274.060546875), SC_(6.306492908028796208195612980534832526609) }},
  135. {{ SC_(274.06298828125), SC_(6.306501816321711306242744764166827854238) }},
  136. {{ SC_(275.31201171875), SC_(6.311048924823309539122894248298646711515) }},
  137. {{ SC_(281.2171630859375), SC_(6.332271212543191917887016682596127229871) }},
  138. {{ SC_(284.3428955078125), SC_(6.343324976847916523668021506516982451804) }},
  139. {{ SC_(284.8428955078125), SC_(6.345081883725142172010442438360996090607) }},
  140. {{ SC_(287.3035888671875), SC_(6.353683609448095450690653155116609411345) }},
  141. {{ SC_(290.8973388671875), SC_(6.366114643735996187010064226141367713494) }},
  142. {{ SC_(293.0467529296875), SC_(6.373476431987165195009419682926258568514) }},
  143. {{ SC_(293.048583984375), SC_(6.3734826803404046607923256022891007467) }},
  144. {{ SC_(296.819091796875), SC_(6.386267177599691603449621482941540136447) }},
  145. {{ SC_(297.6572265625), SC_(6.389086936901673374370938395043767464615) }},
  146. {{ SC_(308.40625), SC_(6.424562459508494815578189029717236448261) }},
  147. {{ SC_(316.5472412109375), SC_(6.450617177370153067374226847837008577358) }},
  148. {{ SC_(320.2418212890625), SC_(6.462221144761522067224169792659123404149) }},
  149. {{ SC_(322.33642578125), SC_(6.468740575092417615259160797033210213863) }},
  150. {{ SC_(323.5101318359375), SC_(6.472375224718483717268648919441488851024) }},
  151. {{ SC_(327.8939208984375), SC_(6.485834999462653559161623555380871809288) }},
  152. {{ SC_(328.0833740234375), SC_(6.486412623146554512400295875149968123595) }},
  153. {{ SC_(328.214599609375), SC_(6.486812521370483270051173204357170113696) }},
  154. {{ SC_(332.13916015625), SC_(6.498698952535686590971725425771901435577) }},
  155. {{ SC_(339.6888427734375), SC_(6.521175044233962334855405597829204127829) }},
  156. {{ SC_(340.171630859375), SC_(6.522595306993372841176959822169835487203) }},
  157. {{ SC_(340.22998046875), SC_(6.522766822935215301119395768816736464171) }},
  158. {{ SC_(340.9984130859375), SC_(6.525022854134450397488249525584977969848) }},
  159. {{ SC_(347.719482421875), SC_(6.544541182598698837108180066568285561192) }},
  160. {{ SC_(347.921142578125), SC_(6.545120967585682780158986289403626335039) }},
  161. {{ SC_(349.8392333984375), SC_(6.550618853671590396954212923343777795426) }},
  162. {{ SC_(353.1812744140625), SC_(6.560126626713879038902701972848577987576) }},
  163. {{ SC_(353.3170166015625), SC_(6.560510895819138848557847535694659145744) }},
  164. {{ SC_(354.9730224609375), SC_(6.56518699003913475265728787337345634833) }},
  165. {{ SC_(355.6412353515625), SC_(6.567067660815945254763768403011524099801) }},
  166. {{ SC_(363.193603515625), SC_(6.588081320423385926941395650884632048324) }},
  167. {{ SC_(363.7503662109375), SC_(6.589613116365141119507599520545813820205) }},
  168. {{ SC_(366.66650390625), SC_(6.597598047275183820713128823864925712214) }},
  169. {{ SC_(370.5828857421875), SC_(6.608222493065004674432923629831401595644) }},
  170. {{ SC_(371.822998046875), SC_(6.611563301604297330780249554012149222974) }},
  171. {{ SC_(375.8822021484375), SC_(6.622421213257872616605790226875280590718) }},
  172. {{ SC_(377.1107177734375), SC_(6.625684248051367798967594517111734939065) }},
  173. {{ SC_(377.588623046875), SC_(6.626950731244344518396423054010667385835) }},
  174. {{ SC_(378.8428955078125), SC_(6.630267034079058832474904688332205765807) }},
  175. {{ SC_(379.1123046875), SC_(6.630977920761718188663355128303457269644) }},
  176. {{ SC_(381.1038818359375), SC_(6.636217452968849140199299619634845177402) }},
  177. {{ SC_(382.1112060546875), SC_(6.63885714989915892916806173377813464616) }},
  178. {{ SC_(382.9927978515625), SC_(6.641161660644278254856011296094169025726) }},
  179. {{ SC_(387.1845703125), SC_(6.652047018118426624071335253039983067027) }},
  180. {{ SC_(389.669921875), SC_(6.658445560711747733097363184134660374201) }},
  181. {{ SC_(389.804443359375), SC_(6.658790721334144459483338624834811878532) }},
  182. {{ SC_(396.3114013671875), SC_(6.675345858154136306174834824525273599533) }},
  183. {{ SC_(397.005126953125), SC_(6.677094789236718239327386065258295745882) }},
  184. {{ SC_(397.1934814453125), SC_(6.677569116668089765968288575699796076917) }},
  185. {{ SC_(397.8046875), SC_(6.679106750673113062518913783394959687397) }},
  186. {{ SC_(398.8426513671875), SC_(6.681712590609844816466059398426090860379) }},
  187. {{ SC_(399.1663818359375), SC_(6.682523938576487571986006995202709018951) }},
  188. {{ SC_(399.2547607421875), SC_(6.682745323455160373493982153327465350514) }},
  189. {{ SC_(400.33984375), SC_(6.68545941647717813159478393220239518843) }},
  190. {{ SC_(403.9578857421875), SC_(6.6944562778394978005276529277337054901) }},
  191. {{ SC_(404.279541015625), SC_(6.69525222285407608719250824812439781544) }},
  192. {{ SC_(405.0574951171875), SC_(6.697174677114241660699777628750006369949) }},
  193. {{ SC_(407.328125), SC_(6.702764738337774266407206003201536960489) }},
  194. {{ SC_(407.547119140625), SC_(6.703302231179959306927821131625588949855) }},
  195. {{ SC_(410.5994873046875), SC_(6.710763953621196143396177253879091429692) }},
  196. {{ SC_(410.8016357421875), SC_(6.711256159037372934708585809074885390587) }},
  197. {{ SC_(411.129638671875), SC_(6.712054288828398871484168355341928910672) }},
  198. {{ SC_(411.9053955078125), SC_(6.71393940750234669898410033879058990879) }},
  199. {{ SC_(415.5833740234375), SC_(6.722828986708716597641935076657699092718) }},
  200. {{ SC_(417.669189453125), SC_(6.727835453862131466839432640652077316451) }},
  201. {{ SC_(420.517822265625), SC_(6.734632628835640647510302384260878716087) }},
  202. {{ SC_(424.3853759765625), SC_(6.743787740494532100937084679719803238806) }},
  203. {{ SC_(424.7154541015625), SC_(6.744565219553757289338296980369793898726) }},
  204. {{ SC_(436.3419189453125), SC_(6.771572021268065472972105624143419455948) }},
  205. {{ SC_(438.501953125), SC_(6.776510146304200360440233381235270942742) }},
  206. {{ SC_(439.3369140625), SC_(6.778412462065226061129312213528458641603) }},
  207. {{ SC_(445.5606689453125), SC_(6.792479340600349658156225315328718026016) }},
  208. {{ SC_(452.9901123046875), SC_(6.809016260337228831936738732897410136218) }},
  209. {{ SC_(453.77490234375), SC_(6.810747231716348697176150895548602377257) }},
  210. {{ SC_(456.7745361328125), SC_(6.817335895109250694056391088138248559173) }},
  211. {{ SC_(457.9520263671875), SC_(6.819910421197310978529029433663908470507) }},
  212. {{ SC_(458.6795654296875), SC_(6.821497844004013502448409287800537132756) }},
  213. {{ SC_(460.5164794921875), SC_(6.825494642872147128332763285398798677976) }},
  214. {{ SC_(461.8717041015625), SC_(6.828433164406686771701521855077910926631) }},
  215. {{ SC_(464.7025146484375), SC_(6.834543470287694007429787493802694241702) }},
  216. {{ SC_(467.0626220703125), SC_(6.839609377592375029558701051277174984946) }},
  217. {{ SC_(467.0712890625), SC_(6.83962793384421245687931998241985864452) }},
  218. {{ SC_(470.096923828125), SC_(6.846084943645238808995975141700921096311) }},
  219. {{ SC_(475.1607666015625), SC_(6.856799276049143563229337105263608232029) }},
  220. {{ SC_(477.5537109375), SC_(6.861822721577315741859023908594798480392) }},
  221. {{ SC_(478.626220703125), SC_(6.864066049482580522441871176709541953581) }},
  222. {{ SC_(478.7958984375), SC_(6.8644204973336804815313774177052514308) }},
  223. {{ SC_(479.6864013671875), SC_(6.86627865397306926299976132455469132911) }},
  224. {{ SC_(479.7867431640625), SC_(6.866487814627139251181098007832885765806) }},
  225. {{ SC_(479.9122314453125), SC_(6.866749331118839213169502276407114725047) }},
  226. {{ SC_(482.4793701171875), SC_(6.872084270243208288559827917865564857217) }},
  227. {{ SC_(482.5181884765625), SC_(6.872164723177874204251489651336382789811) }},
  228. {{ SC_(483.8797607421875), SC_(6.874982560453873383658251901541786496761) }},
  229. {{ SC_(484.4649658203125), SC_(6.876191234145179554349993597841191267853) }},
  230. {{ SC_(485.3258056640625), SC_(6.877966548833207350351265217595172972905) }},
  231. {{ SC_(490.57373046875), SC_(6.888721726428236039221890401406352667404) }},
  232. {{ SC_(493.7423095703125), SC_(6.895159895589969853078001763235883415882) }},
  233. {{ SC_(494.272216796875), SC_(6.896232568812717932403585431953843090099) }},
  234. {{ SC_(496.44775390625), SC_(6.900624415355815565025217006388610220335) }},
  235. {{ SC_(497.0401611328125), SC_(6.901816998553274960978831433918910814375) }},
  236. {{ SC_(498.234130859375), SC_(6.904216282287646841845864948036717548583) }},
  237. {{ SC_(665.0791015625), SC_(7.193052598670792558912351099032198333184) }},
  238. {{ SC_(1170.29150390625), SC_(7.758155143419731595147190189684865359835) }},
  239. {{ SC_(2058.7958984375), SC_(8.323023697145112010072186763207801515396) }},
  240. {{ SC_(5824.533203125), SC_(9.362981311610990187535171280837584820237) }},
  241. {{ SC_(9114.30859375), SC_(9.810748008110925084589570791503788344652) }},
  242. {{ SC_(31388.40625), SC_(11.04734105631420306080680845572519805956) }},
  243. {{ SC_(53732.765625), SC_(11.58492543551253544550738607240822985131) }},
  244. {{ SC_(117455.09375), SC_(12.3669585392073964063765790447351364021) }},
  245. {{ SC_(246210.625), SC_(13.10708982832787479175510220013343945066) }},
  246. {{ SC_(513670.125), SC_(13.84248373881161892648765606597953800527) }},
  247. {{ SC_(788353.25), SC_(14.2708487357510805583139091933979145572) }},
  248. {{ SC_(1736171.0), SC_(15.06033985221540896276800056693696357419) }},
  249. {{ SC_(3770530.0), SC_(15.83587331365755605568701554508826253991) }},
  250. {{ SC_(4344090.0), SC_(15.97747403917326507392988269405762331118) }},
  251. {{ SC_(11419360.0), SC_(16.94396789915014469006155507384872743685) }},
  252. {{ SC_(31023240.0), SC_(17.9433943395609684013300439026124645108) }},
  253. {{ SC_(40665424.0), SC_(18.21403593674543079149440340324547029148) }},
  254. {{ SC_(129788064.0), SC_(19.37456058170921543648305825985098346634) }},
  255. {{ SC_(225668224.0), SC_(19.9277236237785460971743917048171789264) }},
  256. {{ SC_(450631936.0), SC_(20.61930863840059519949232655148142693395) }},
  257. {{ SC_(750941952.0), SC_(21.1299860930266968673735341410555546727) }},
  258. {{ SC_(1887358976.0), SC_(22.05159150215413004649732665310838648331) }},
  259. {{ SC_(3738011648.0), SC_(22.73496684263974142690946105862900518113) }},
  260. {{ SC_(7486695424.0), SC_(23.42954051928097083366085869187241049078) }},
  261. {{ SC_(12668080128.0), SC_(23.95549847139166892348970713379911103008) }},
  262. {{ SC_(23918272512.0), SC_(24.59105572458284785473015955570721968617) }},
  263. {{ SC_(48862560256.0), SC_(25.30542448179939429678484289438720749573) }},
  264. {{ SC_(113763549184.0), SC_(26.15053518194943663075151882301281675861) }},
  265. {{ SC_(161334755328.0), SC_(26.49989444953256419131899378956019192586) }},
  266. {{ SC_(321933279232.0), SC_(27.19075733422631778452130090694771384112) }},
  267. {{ SC_(715734122496.0), SC_(27.98972177820814613504868209029528272152) }},
  268. {{ SC_(1875817529344.0), SC_(28.95321287653379863631300659442341812344) }}
  269. }};
  270. #undef SC_