cbrt-inputs 20 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004
  1. ## args: double
  2. ## ret: double
  3. ## includes: math.h
  4. # Random inputs in [1,8]
  5. 0x6.f294c302574d8p+0
  6. 0x4.4cd8b0e0e3c38p+0
  7. 0x6.a8cdce7b36bfp+0
  8. 0x1.39dd798444ee4p+0
  9. 0x1.8c047fcf6466ep+0
  10. 0x7.f799e3199a3e8p+0
  11. 0x2.e0e48737b73fp+0
  12. 0x5.1f3ad359c359p+0
  13. 0x6.b4d672226a908p+0
  14. 0x4.93cf5ae3179b4p+0
  15. 0x4.4663b68760758p+0
  16. 0x4.cc1b5d3f26d88p+0
  17. 0x6.df1b753faf78cp+0
  18. 0x4.657e511d92aep+0
  19. 0x7.3c368ebecbd54p+0
  20. 0x5.bea94eb7753c4p+0
  21. 0x3.504be8042f87p+0
  22. 0x3.7b7816ef1dfdcp+0
  23. 0x1.69732558fb6aep+0
  24. 0x6.92345bfab08bp+0
  25. 0x5.a1dc50e8cd9ecp+0
  26. 0x5.20ef13d9e3168p+0
  27. 0x6.ab3aaabf70e28p+0
  28. 0x4.27dbb9f99f6c8p+0
  29. 0x1.5587656fffca5p+0
  30. 0x2.34935b90a21p+0
  31. 0x6.5b3fe27098ee8p+0
  32. 0x4.bd4bb1a1d4048p+0
  33. 0x6.55d6324b379dp+0
  34. 0x4.ad660c4e3be14p+0
  35. 0x5.b86ab50172128p+0
  36. 0x5.94a03d1cefd08p+0
  37. 0x4.74479c552e278p+0
  38. 0x3.5dfe9ff6c50bcp+0
  39. 0x5.4e1f9ec2e7e04p+0
  40. 0x3.3502bf59a71bcp+0
  41. 0x2.01dc119c164cp+0
  42. 0x3.60030f61b9c58p+0
  43. 0x5.ac0579bddcf7p+0
  44. 0x2.18898bba15452p+0
  45. 0x3.ebee3729be59ep+0
  46. 0x1.ece8d2ee4b1c9p+0
  47. 0x1.a1923c7dc3132p+0
  48. 0x4.a23e33de3bdf4p+0
  49. 0x1.0c862be4cc59ap+0
  50. 0x4.a25ffe6f93bp+0
  51. 0x5.fe7a26fb37e3p+0
  52. 0x4.6aecf81e341c8p+0
  53. 0x2.164fd23519b8ep+0
  54. 0x6.0f171eee6d53p+0
  55. 0x4.8dbd1b2dd1e44p+0
  56. 0x1.ee67d53d8334ep+0
  57. 0x3.48bec4f26dd8ep+0
  58. 0x1.7e39bdb258ce2p+0
  59. 0x3.3bd10b3460cacp+0
  60. 0x3.47edf61104706p+0
  61. 0x1.7490b6a26cfa2p+0
  62. 0x7.225530d8dcdacp+0
  63. 0x1.52e81bef74bcp+0
  64. 0x3.b534a03920f8p+0
  65. 0x7.dc99cb5e6942p+0
  66. 0x3.8f779e75021bcp+0
  67. 0x3.3f797eaf5ff1cp+0
  68. 0x7.cf86b666d526cp+0
  69. 0x6.9c6a2b518f4b8p+0
  70. 0x4.4795a48798668p+0
  71. 0x7.b18afada18c38p+0
  72. 0x6.d8c0d0c6c72bp+0
  73. 0x1.0b9f3827f506p+0
  74. 0x4.4d0ac94098fbcp+0
  75. 0x4.5548b2c38ca7p+0
  76. 0x6.e0340428dac4cp+0
  77. 0x6.52feb05c06508p+0
  78. 0x2.605c335d06652p+0
  79. 0x5.0132e5b5b7c18p+0
  80. 0x7.0c365db26f208p+0
  81. 0x5.7afbfb9d7783cp+0
  82. 0x3.bfa387c812c16p+0
  83. 0x6.c05e514a5c44p+0
  84. 0x4.623cdc5df4p+0
  85. 0x6.293ca44c2a45p+0
  86. 0x2.c5b31179958b8p+0
  87. 0x6.7d7ee1a56135cp+0
  88. 0x6.e45786ce663ccp+0
  89. 0x7.12eb264f18edp+0
  90. 0x7.6494eb3db8e8cp+0
  91. 0x2.47fc9d3584828p+0
  92. 0x1.2b6e16718d7c6p+0
  93. 0x7.61ae6b06a5ed4p+0
  94. 0x6.aeed85ba17cdcp+0
  95. 0x3.4bd844fab7accp+0
  96. 0x6.e9f345c92dfep+0
  97. 0x4.df4d02b2a96f4p+0
  98. 0x7.8cccbd6923158p+0
  99. 0x3.c9887f696c5dp+0
  100. 0x4.e7857bdfa0c8p+0
  101. 0x7.d3c38d8d0241p+0
  102. 0x2.3419a4dfa78fep+0
  103. 0x7.629d7e87bae64p+0
  104. 0x7.67f00b0d1c1e8p+0
  105. 0x3.14dae820d9eap+0
  106. 0x3.41866e14d2808p+0
  107. 0x1.7bed46b85dc7bp+0
  108. 0x2.fa247cbff4fe8p+0
  109. 0x2.3a90dbc789d02p+0
  110. 0x6.a9ffdc59be75cp+0
  111. 0x4.6bc9f548a4af4p+0
  112. 0x4.ae3c18fd50d64p+0
  113. 0x6.ddb22c9380ba8p+0
  114. 0x2.f2bde400d64a8p+0
  115. 0x5.5e712dc54d5ap+0
  116. 0x1.447d745a449b5p+0
  117. 0x1.d838da2f65352p+0
  118. 0x5.a88984374a558p+0
  119. 0x2.c0d7f4318c6dp+0
  120. 0x2.026706d87dfdep+0
  121. 0x7.7ed0661c8e178p+0
  122. 0x1.bd43b3350a6a6p+0
  123. 0x2.8e7ec6b709912p+0
  124. 0x2.1c33492d8e1cp+0
  125. 0x4.b86ef31207908p+0
  126. 0x4.ad656b0297054p+0
  127. 0x7.4c9498c49c048p+0
  128. 0x7.d43f0fa385e64p+0
  129. 0x3.958322762a142p+0
  130. 0x1.6375f383154dap+0
  131. 0x6.a8abfa093b108p+0
  132. 0x1.b1898d88c73dap+0
  133. 0x6.f0238b0eec8fp+0
  134. 0x6.3b831a71de89cp+0
  135. 0x4.b1386fa5102f8p+0
  136. 0x7.c946815ac9008p+0
  137. 0x4.bf47d6ac15578p+0
  138. 0x6.41697e32f2d64p+0
  139. 0x4.2a4f39d42c644p+0
  140. 0x4.f004c7397a688p+0
  141. 0x2.7649a33d388dp+0
  142. 0x5.9afe29f308554p+0
  143. 0x1.5dfaebdf81dc2p+0
  144. 0x3.0e10370624e7ap+0
  145. 0x7.5696e12993518p+0
  146. 0x3.dd1ba48869b5ep+0
  147. 0x6.ef7c3da8e8b3cp+0
  148. 0x1.d046b4051f96p+0
  149. 0x7.659ff961a65cp+0
  150. 0x3.5e160b780204ap+0
  151. 0x2.021e1a791ca2ep+0
  152. 0x7.8bc2322044914p+0
  153. 0x4.df89e6c90a5ap+0
  154. 0x1.4c3c4f24c5bap+0
  155. 0x1.31a825b3a5934p+0
  156. 0x5.e996fe4189dd8p+0
  157. 0x4.e10a42fbe8724p+0
  158. 0x6.0664ddb71f464p+0
  159. 0x5.c33ea1f458838p+0
  160. 0x4.0b9bbd078ff84p+0
  161. 0x1.ac6c53562394cp+0
  162. 0x6.c30bf304c7934p+0
  163. 0x4.5953b027d6c6p+0
  164. 0x5.584772db8dee8p+0
  165. 0x7.a9e852baf60cp+0
  166. 0x1.b100d351bdb74p+0
  167. 0x1.ffe1f34996abcp+0
  168. 0x3.b5974ef11a78ep+0
  169. 0x1.c51e59b8a3d1ep+0
  170. 0x3.184709fa0dbc8p+0
  171. 0x5.9c7cd7b8592ap+0
  172. 0x5.b60bceded98e4p+0
  173. 0x6.37c12bcf8741p+0
  174. 0x5.32ea539ffd454p+0
  175. 0x5.241f78296046p+0
  176. 0x2.345c4113d0278p+0
  177. 0x1.d2f7dd09c554cp+0
  178. 0x4.85085758e1888p+0
  179. 0x2.4da5d63ae05d6p+0
  180. 0x3.6aef228067fp+0
  181. 0x5.185d58a12575cp+0
  182. 0x1.cbd3d00a32e94p+0
  183. 0x3.8bbfcb5b0179p+0
  184. 0x3.7de38f56dbaf2p+0
  185. 0x4.c493ad357adep+0
  186. 0x2.62143bf1ee0b4p+0
  187. 0x2.9dda5d7d1c4b6p+0
  188. 0x5.f5a778056ec5cp+0
  189. 0x3.e125afb8ea334p+0
  190. 0x5.db7ffb3be83ep+0
  191. 0x3.de1e59227dae2p+0
  192. 0x5.66c972a9f511p+0
  193. 0x2.e602c3cf0146ap+0
  194. 0x2.59f5b220ef4e6p+0
  195. 0x3.7cf09a804fd8cp+0
  196. 0x3.abaa652433244p+0
  197. 0x3.50edebd97e132p+0
  198. 0x4.2f5a3a30b8838p+0
  199. 0x2.ba191864b7326p+0
  200. 0x1.76f1943f3eab8p+0
  201. 0x2.d0d67cf694834p+0
  202. 0x2.51e511bbf65bp+0
  203. 0x6.1f9eede1c43c4p+0
  204. 0x4.fb54c10d53488p+0
  205. 0x1.c572625fa39aep+0
  206. 0x2.aad6ddf3ca43ep+0
  207. 0x7.b09a7c2eb6718p+0
  208. 0x5.9d4f1fe6c9bc4p+0
  209. 0x3.c518deaa653fep+0
  210. 0x1.7d0bea3c7ee37p+0
  211. 0x3.03a26381d2826p+0
  212. 0x7.2a4c1a2be3914p+0
  213. 0x2.d82ab1e6bf7d2p+0
  214. 0x3.d488be41544fap+0
  215. 0x1.76bfa64eb4e38p+0
  216. 0x2.a76a9dc958ac4p+0
  217. 0x4.6efbceb34b1a4p+0
  218. 0x1.1e7c708955251p+0
  219. 0x6.08e62d4e52768p+0
  220. 0x1.70ed66d332c68p+0
  221. 0x1.c6e18a997dffcp+0
  222. 0x4.8230e1d018128p+0
  223. 0x7.3cf5d992519c4p+0
  224. 0x1.22266defbe5b9p+0
  225. 0x1.0d7b18d2fccaap+0
  226. 0x2.b0734dd50d258p+0
  227. 0x2.46ef97765ba76p+0
  228. 0x4.4d89692f3bef4p+0
  229. 0x4.c79f57187d61cp+0
  230. 0x1.36d17996ded2cp+0
  231. 0x1.54b5773a333a4p+0
  232. 0x3.56fa94c27bd2ap+0
  233. 0x4.b738956c57bcp+0
  234. 0x2.ecd9a5b8170fp+0
  235. 0x6.57c7a78f7bd1p+0
  236. 0x1.bb55dda0e9ccap+0
  237. 0x2.1b2ca13a3dc0cp+0
  238. 0x2.614dd4ca4d948p+0
  239. 0x4.4370612f4b288p+0
  240. 0x2.afded58203b58p+0
  241. 0x4.e2c9213bb49p+0
  242. 0x3.972d11d908966p+0
  243. 0x6.aec2d37666e6p+0
  244. 0x7.a1cef3ba87dfp+0
  245. 0x6.20528b8cc3fb8p+0
  246. 0x5.20d7a4e526abp+0
  247. 0x5.767e32a837158p+0
  248. 0x5.7e8a85c1ab31cp+0
  249. 0x3.b86bb402597ecp+0
  250. 0x3.70c6ed1184c62p+0
  251. 0x7.1e3fdc7c33d9cp+0
  252. 0x6.3d531d892392cp+0
  253. 0x6.74f6c773a52e8p+0
  254. 0x7.21b1dda25bffcp+0
  255. 0x6.0d451fdaba9c8p+0
  256. 0x3.983dd31b501e8p+0
  257. 0x4.d9f6861a47e9p+0
  258. 0x1.3813934bc4d77p+0
  259. 0x3.db86692b13c74p+0
  260. 0x4.982c76f67ce08p+0
  261. 0x2.1d46d141ece3cp+0
  262. 0x4.f393a65aa7074p+0
  263. 0x6.8dc244bb6a588p+0
  264. 0x4.456eadbbaf81p+0
  265. 0x3.465d077b05374p+0
  266. 0x4.8bf5eb0c12998p+0
  267. 0x1.7fbc81b5846p+0
  268. 0x4.e793ebb49361p+0
  269. 0x7.94d511ad55c04p+0
  270. 0x5.1e210f7a982c8p+0
  271. 0x3.ebdecfe4c4c9ep+0
  272. 0x5.ec478ce2a0108p+0
  273. 0x2.6ffc665dc82a4p+0
  274. 0x5.34f0cf25b1f08p+0
  275. 0x7.0c90f8ab5fd58p+0
  276. 0x5.f7c7fe5f2a7c4p+0
  277. 0x1.bbbe34f413b75p+0
  278. 0x5.041277c354d1cp+0
  279. 0x5.4db16038900d8p+0
  280. 0x5.1796e35f03d9p+0
  281. 0x1.25d013305b18ap+0
  282. 0x7.20b055ad2faa8p+0
  283. 0x5.ff8d07f26ac24p+0
  284. 0x1.2a02e3c6a788ep+0
  285. 0x4.cfde208bee66p+0
  286. 0x4.0f1b24c8b9c88p+0
  287. 0x4.ac372f99a393p+0
  288. 0x1.0b21ae7bba03bp+0
  289. 0x6.7b95f4603661cp+0
  290. 0x4.94f806bf35448p+0
  291. 0x6.b09aa30339504p+0
  292. 0x5.fd0dad064afep+0
  293. 0x4.a54b0ec489558p+0
  294. 0x3.fbf82786509cp+0
  295. 0x6.3fa00027b8ce8p+0
  296. 0x7.a2c0498f012p+0
  297. 0x5.2f24ccf0b7eap+0
  298. 0x6.7d80d0310d8a8p+0
  299. 0x2.291caf33479b2p+0
  300. 0x4.6d76461b80598p+0
  301. 0x1.2536d9157cb44p+0
  302. 0x4.cf9d69b2321dp+0
  303. 0x2.16e68f24e871ap+0
  304. 0x5.6f3ea231225ep+0
  305. 0x6.a80899667bbap+0
  306. 0x6.57cbc6b4a34e4p+0
  307. 0x1.4170f8165d406p+0
  308. 0x1.c1f4955a91509p+0
  309. 0x1.9aa2427409936p+0
  310. 0x4.1a2dfe4d30608p+0
  311. 0x3.ecf2027fe05p+0
  312. 0x5.0d6f40f93202p+0
  313. 0x4.2c0854025d39p+0
  314. 0x5.beccaaf746ae4p+0
  315. 0x7.c371c963103ep+0
  316. 0x5.41639d315636p+0
  317. 0x7.15879ffb62e18p+0
  318. 0x2.71edda6000472p+0
  319. 0x1.f00316e255cafp+0
  320. 0x1.50299629c9bacp+0
  321. 0x5.6a67c77bfbe3p+0
  322. 0x6.dec288b8145b4p+0
  323. 0x6.f8c0a64d10238p+0
  324. 0x5.fa51b919d8f04p+0
  325. 0x4.0863d3447b4acp+0
  326. 0x5.8c82b6c1c505p+0
  327. 0x1.9c77b1522982p+0
  328. 0x6.ef5f761ca6a94p+0
  329. 0x1.799ff35866f98p+0
  330. 0x5.cc175390e28a8p+0
  331. 0x1.2f396220973f8p+0
  332. 0x6.54838b4387fap+0
  333. 0x4.ed0ecbc4a21cp+0
  334. 0x1.2cc962409b313p+0
  335. 0x3.330f6b5c1b492p+0
  336. 0x4.c6d4c2bbc6bcp+0
  337. 0x1.b1bd404febb66p+0
  338. 0x2.4f5f533da298cp+0
  339. 0x3.715f4fde8877p+0
  340. 0x4.930b4986013ep+0
  341. 0x6.7125291964218p+0
  342. 0x4.4e2706d4abcfcp+0
  343. 0x3.428e7986746ecp+0
  344. 0x4.9f8043efdcbap+0
  345. 0x4.83663e314636cp+0
  346. 0x7.371a1bd486504p+0
  347. 0x2.8974e9600ae14p+0
  348. 0x6.c2fd72236124p+0
  349. 0x6.d0956acc31724p+0
  350. 0x6.1abed8b7d7d7p+0
  351. 0x4.1e47f42759238p+0
  352. 0x1.bc66048df79a4p+0
  353. 0x3.26cd73fee6d58p+0
  354. 0x3.871dcd97b255cp+0
  355. 0x6.a7062f744deacp+0
  356. 0x5.aa0202574545p+0
  357. 0x7.c9fd8d61947dcp+0
  358. 0x5.0b6b8a29ceb38p+0
  359. 0x3.9d3b1e79e2462p+0
  360. 0x5.904dc11021d1cp+0
  361. 0x5.58efa8e356b84p+0
  362. 0x5.f9e21e3debaa4p+0
  363. 0x6.1e4b30924a018p+0
  364. 0x1.35604b3a19ed8p+0
  365. 0x5.85cac84a84dcp+0
  366. 0x7.4d793f7ff1374p+0
  367. 0x6.d8e832587b3ccp+0
  368. 0x3.3027547ad9ap+0
  369. 0x5.b579e6b1ba4bp+0
  370. 0x6.eced3c9d83ec8p+0
  371. 0x6.9c3398c698d4cp+0
  372. 0x1.a592be602d469p+0
  373. 0x3.0c9f2a998996p+0
  374. 0x6.d1c6dad31e214p+0
  375. 0x7.647ef8792ff1p+0
  376. 0x1.ea41635e8ad68p+0
  377. 0x5.869fb26b4a68p+0
  378. 0x3.4bfda4832453ap+0
  379. 0x1.fdad9365d4acep+0
  380. 0x3.f666da0398862p+0
  381. 0x7.55d148c6141p+0
  382. 0x6.6e955cf9cf26cp+0
  383. 0x4.592f1a51c8238p+0
  384. 0x1.cca8c00d9df3cp+0
  385. 0x4.13cc290094408p+0
  386. 0x6.51fdf47b9cfdcp+0
  387. 0x5.18a29d97d64a4p+0
  388. 0x5.9e8b58482dd9cp+0
  389. 0x6.9d916e288b76p+0
  390. 0x2.3eb2f46a7d14p+0
  391. 0x2.a17230d5c9b62p+0
  392. 0x7.88e3df534098cp+0
  393. 0x6.9a84fc9a95178p+0
  394. 0x3.166310021f184p+0
  395. 0x5.9036f6b09c87cp+0
  396. 0x3.ff7843e147938p+0
  397. 0x7.69bccc8393a1p+0
  398. 0x1.cdd3e7d0890ap+0
  399. 0x4.c1d6bc2d9a7ecp+0
  400. 0x6.2b63bfedd283p+0
  401. 0x6.5a07c83420968p+0
  402. 0x6.64bea2b1c66f8p+0
  403. 0x1.df7dd17ea619cp+0
  404. 0x3.5cd6b76f28c46p+0
  405. 0x5.872fcf1386c4p+0
  406. 0x6.604d61fb49744p+0
  407. 0x4.44cb30cbebf98p+0
  408. 0x3.99d1549147798p+0
  409. 0x7.c3922a2a6a09cp+0
  410. 0x3.b798e158be822p+0
  411. 0x5.69a74992d28a8p+0
  412. 0x4.5077336d31058p+0
  413. 0x6.e22494af1c978p+0
  414. 0x6.0b7e6dbdbce78p+0
  415. 0x6.3c7d3143b41f8p+0
  416. 0x4.57f98de438a5cp+0
  417. 0x6.dc123acde56ap+0
  418. 0x7.8b6cb48b305a4p+0
  419. 0x3.ce701713fb638p+0
  420. 0x7.2eab2716df47p+0
  421. 0x6.148f628fcc4c8p+0
  422. 0x5.fafd66ef180a8p+0
  423. 0x6.0694fb432f7fp+0
  424. 0x3.0011396610afcp+0
  425. 0x5.2d643ec885adp+0
  426. 0x3.60a7fa2f45708p+0
  427. 0x3.417f477f0108ap+0
  428. 0x6.a32ea8673f124p+0
  429. 0x2.b663eb612abc8p+0
  430. 0x7.e00fc30f60094p+0
  431. 0x6.a87ca1cbfb9b8p+0
  432. 0x3.af68c7472fe96p+0
  433. 0x7.45499932727a4p+0
  434. 0x1.cb5dbd138ed4p+0
  435. 0x3.da52128aab004p+0
  436. 0x6.2af70f6881458p+0
  437. 0x6.7d687a9b56b78p+0
  438. 0x4.7783dd6952128p+0
  439. 0x6.7528480db4bd8p+0
  440. 0x6.cdd1944ca5c74p+0
  441. 0x2.c97b3206a86ep+0
  442. 0x1.9563c1169e59ep+0
  443. 0x1.a77768cda0748p+0
  444. 0x1.ea8fd7e0383ecp+0
  445. 0x1.272d722a25302p+0
  446. 0x1.e0c614494e89ep+0
  447. 0x2.f6373952d62cep+0
  448. 0x7.13072de9322dcp+0
  449. 0x3.42bfd6b702424p+0
  450. 0x5.5f8b82c04ea24p+0
  451. 0x5.11de856e7059cp+0
  452. 0x5.c65c8642d17d8p+0
  453. 0x4.a6afe5540a838p+0
  454. 0x5.b22f17b58cf6p+0
  455. 0x2.a2ba1ac8f23p+0
  456. 0x6.b35040cfab474p+0
  457. 0x2.61449706cb42p+0
  458. 0x2.a6f93be0ccc9p+0
  459. 0x7.39ee1152124ap+0
  460. 0x2.ab8a7ac415e58p+0
  461. 0x7.ecd07607af5f4p+0
  462. 0x7.3f100362bc9bp+0
  463. 0x2.2e93670c3b274p+0
  464. 0x3.b6e56042fcea4p+0
  465. 0x3.4e0c2cfe01a38p+0
  466. 0x6.12c43c18c093cp+0
  467. 0x2.beee1f88e4b48p+0
  468. 0x6.d2b1c768f504cp+0
  469. 0x2.4dab9a92c72c2p+0
  470. 0x4.aa43a543a8b2p+0
  471. 0x6.83007b19b7e5p+0
  472. 0x5.c49b499b0c9a8p+0
  473. 0x5.4751bec51ec84p+0
  474. 0x2.ebe6f10040cccp+0
  475. 0x1.75fb12d0b208ep+0
  476. 0x4.a011c364775cp+0
  477. 0x2.2759830d47b9ap+0
  478. 0x6.6d92473aa6534p+0
  479. 0x3.cad11f722f8bcp+0
  480. 0x5.0e68c406c4714p+0
  481. 0x6.eaa38b50957d4p+0
  482. 0x7.b48814d0d8b9p+0
  483. 0x5.894a8b73a2bep+0
  484. 0x4.d6c630fd425cp+0
  485. 0x1.3f519de429e57p+0
  486. 0x6.533756cea3858p+0
  487. 0x3.cd3aa8ff6b524p+0
  488. 0x3.70e2f2bcc078p+0
  489. 0x1.0b1a8e8e687c4p+0
  490. 0x6.1ca1df5477f2cp+0
  491. 0x3.6df0d1b8ad98p+0
  492. 0x2.49fb5b66910f6p+0
  493. 0x1.b6f797be816efp+0
  494. 0x1.a5d6a59ac8d46p+0
  495. 0x3.e6462cef4a798p+0
  496. 0x7.5a354e1547608p+0
  497. 0x1.24ecef4ab1dcap+0
  498. 0x2.5529b8536cc7p+0
  499. 0x2.70e5a5aa2930cp+0
  500. 0x2.dd0ee67ec1ff8p+0
  501. 0x2.2699f537e321p+0
  502. 0x3.613a2215a16e8p+0
  503. 0x2.4e0a0a1711d8ep+0
  504. 0x3.c946cc4d8685cp+0
  505. 0x5.55030b2247b2p+0
  506. 0x2.adeca9a890324p+0
  507. 0x3.db52d0f31d37ep+0
  508. 0x7.5bd76cab8e434p+0
  509. 0x5.98b3f583fba5p+0
  510. 0x2.d8d29a4ef3f7ap+0
  511. 0x6.032f0813f62a8p+0
  512. 0x7.92b1686f43ed4p+0
  513. 0x6.693552aa13bap+0
  514. 0x2.c01c36876c1bcp+0
  515. 0x3.e0eaf7799c0bcp+0
  516. 0x4.ca62c2c4ea6bcp+0
  517. 0x1.fee1c6872bc7ap+0
  518. 0x2.6d11184dd381p+0
  519. 0x1.383dcb87dbc31p+0
  520. 0x3.8e2a017bd01d2p+0
  521. 0x1.33d8a8c84c8e9p+0
  522. 0x3.6621dc5d470aep+0
  523. 0x1.95f582445f859p+0
  524. 0x3.4ed8499d28262p+0
  525. 0x1.01583734d328dp+0
  526. 0x2.a18353afda4d4p+0
  527. 0x1.774c10793a46fp+0
  528. 0x6.fd1f42aef9638p+0
  529. 0x5.abe73cf5c2ebcp+0
  530. 0x1.ebdeef1a28212p+0
  531. 0x2.5a111e24822acp+0
  532. 0x7.2499886b41914p+0
  533. 0x7.d341ddb3fe254p+0
  534. 0x2.86eedd785e7ep+0
  535. 0x7.831be20168d78p+0
  536. 0x6.01df68e615dap+0
  537. 0x6.827e099cc7f6cp+0
  538. 0x4.64c21a2d15f44p+0
  539. 0x6.5dc92d1a1299p+0
  540. 0x5.656f830048dd8p+0
  541. 0x7.382e5502908e8p+0
  542. 0x7.ff96c6dba653p+0
  543. 0x2.1f7d353f8327p+0
  544. 0x3.53a1fa503b8ep+0
  545. 0x7.e386b7ddd4bb8p+0
  546. 0x2.9f3e529b53016p+0
  547. 0x7.58c30b2c5c02cp+0
  548. 0x4.e3659626d1de4p+0
  549. 0x3.4148923e2954ap+0
  550. 0x5.8461e5d50dcf4p+0
  551. 0x3.5bf808fc3b944p+0
  552. 0x3.ab7500eb6e09ep+0
  553. 0x3.f6ceb02a39f9p+0
  554. 0x6.f88d1457a0d4p+0
  555. 0x4.f2e0c85956fdcp+0
  556. 0x7.f65eda1d83ef4p+0
  557. 0x4.bc471429d934p+0
  558. 0x4.598ed91238b4p+0
  559. 0x6.4f7381ebb75cp+0
  560. 0x5.06322d893d05p+0
  561. 0x4.4cbe75f12c9ap+0
  562. 0x1.3aba94ebb2dedp+0
  563. 0x4.89669157b5194p+0
  564. 0x4.80c5af786dbdp+0
  565. 0x1.63a8b70a227d6p+0
  566. 0x4.d65ef91d7a084p+0
  567. 0x6.41c78a8a1a65p+0
  568. 0x7.b5e8e7d3d30fp+0
  569. 0x6.d1265565ecf28p+0
  570. 0x3.03c4822371a1ep+0
  571. 0x6.6b1aaa9db739cp+0
  572. 0x6.3de8926f73fcp+0
  573. 0x6.d95aa8dcf1c38p+0
  574. 0x2.2e0e92d57da4cp+0
  575. 0x2.b7a22baedbfc8p+0
  576. 0x3.612d303053a3ap+0
  577. 0x1.77887292390d5p+0
  578. 0x6.a3284bf52376cp+0
  579. 0x2.45276ed975aa4p+0
  580. 0x1.3ad04ffa76b1cp+0
  581. 0x6.41e8d74f2dfa4p+0
  582. 0x7.03b3db5dc0c98p+0
  583. 0x6.a840d321f9a98p+0
  584. 0x2.f2c5b64cadd9p+0
  585. 0x2.a33824abec71p+0
  586. 0x1.4566d1f54a5dfp+0
  587. 0x2.a929e36591408p+0
  588. 0x3.9b7fb51ed71acp+0
  589. 0x3.5605e6c60295p+0
  590. 0x2.1851006ebd91p+0
  591. 0x3.31382db2dc4a6p+0
  592. 0x3.dd708e8a9dc9cp+0
  593. 0x5.8e95dd2429accp+0
  594. 0x5.b4e22686a1dfp+0
  595. 0x6.ecd8e5d2f7448p+0
  596. 0x4.3fa5bcbbf42ap+0
  597. 0x3.8119331e4ec68p+0
  598. 0x6.4880457d2a5c4p+0
  599. 0x2.88cafa76106acp+0
  600. 0x4.52e865f10f58p+0
  601. 0x3.0369225e2a2b8p+0
  602. 0x2.6a3a50bbc0c3p+0
  603. 0x2.56032030f9a4p+0
  604. 0x3.9fadd0ea69ccp+0
  605. 0x4.a3d7b1ea19dfp+0
  606. 0x1.27374f316f3dep+0
  607. 0x1.d070aaf0d2287p+0
  608. 0x2.5bb6fea73dc78p+0
  609. 0x7.c8825b12abd7p+0
  610. 0x6.5a06d67f5eefp+0
  611. 0x5.8707342ef236p+0
  612. 0x4.d19a767478ecp+0
  613. 0x1.c8cc47a6bda2cp+0
  614. 0x7.81482c59851a8p+0
  615. 0x2.0b4b57b2649d4p+0
  616. 0x1.ae75f09bb6d02p+0
  617. 0x3.3547c341f1b3p+0
  618. 0x7.be0bc5755c7a4p+0
  619. 0x3.d69c92e249bc6p+0
  620. 0x6.a2d385f39f1c4p+0
  621. 0x4.d451706dd37f8p+0
  622. 0x5.0fbf2afb3bb8cp+0
  623. 0x4.30971672cf848p+0
  624. 0x4.16d50375f3eep+0
  625. 0x6.55cd7816ecde4p+0
  626. 0x2.d29846c1854b2p+0
  627. 0x7.78acb34a6e88p+0
  628. 0x6.8eaf8ab4f0b54p+0
  629. 0x2.36eaa7f31754ep+0
  630. 0x6.363928304d1ap+0
  631. 0x4.dbbd0e15af2cp+0
  632. 0x1.c310ed3480da6p+0
  633. 0x1.2203bea750c7cp+0
  634. 0x5.93371d507c7dp+0
  635. 0x7.35055660df608p+0
  636. 0x2.9d323102d7e2ap+0
  637. 0x1.31bf613d15db8p+0
  638. 0x3.c17d3bbd4519p+0
  639. 0x6.7a6e2728b833p+0
  640. 0x5.bd081dbf31504p+0
  641. 0x5.1d866e0a08b8p+0
  642. 0x1.69a50acc1fadfp+0
  643. 0x3.0b6818a90c218p+0
  644. 0x4.74cf25bf078f4p+0
  645. 0x3.4828c9cfd632ap+0
  646. 0x1.cb3d5f86428c8p+0
  647. 0x3.9dd6e25f6194cp+0
  648. 0x5.f40b54197e678p+0
  649. 0x7.c1579fd83dfa4p+0
  650. 0x5.972ab0ba77a1p+0
  651. 0x3.e98c19aa4816p+0
  652. 0x5.ad34439a6b3ecp+0
  653. 0x7.9be64c30d40dp+0
  654. 0x6.cd998a01f12d8p+0
  655. 0x5.105d6aa12e70cp+0
  656. 0x6.ddb30e75dd66cp+0
  657. 0x2.3b214c866fbb8p+0
  658. 0x5.c8ae1c5aea758p+0
  659. 0x2.d92a54f04aa3p+0
  660. 0x3.1c5238fbde882p+0
  661. 0x4.63a2003ae01a8p+0
  662. 0x2.12878d842eedcp+0
  663. 0x6.192ed9143e6cp+0
  664. 0x5.03894f5e3096cp+0
  665. 0x2.fde78702e6f24p+0
  666. 0x2.6ce3e98d20336p+0
  667. 0x5.ec0443e6d42dcp+0
  668. 0x1.53385b4b2df56p+0
  669. 0x6.58d58a79a7f1p+0
  670. 0x3.894172fba3318p+0
  671. 0x4.b435924c84794p+0
  672. 0x1.2813c2970aff3p+0
  673. 0x4.9bdcfc8fca61p+0
  674. 0x5.8cbc2f4a4dca8p+0
  675. 0x1.854ae36d19e8p+0
  676. 0x7.317c0fb798dc8p+0
  677. 0x7.cb75542b4efbp+0
  678. 0x5.6eb7e6267b19cp+0
  679. 0x4.969f4f9f8b0c8p+0
  680. 0x4.83d11c78e85bcp+0
  681. 0x1.9148022906b75p+0
  682. 0x5.bbf39f6f1407p+0
  683. 0x4.b2b655ecd7e5cp+0
  684. 0x3.91ca2660a05fap+0
  685. 0x7.33077e66595cp+0
  686. 0x1.e786238e6f9c9p+0
  687. 0x4.c6a1cfcce7638p+0
  688. 0x6.ba5b70be3df7p+0
  689. 0x3.cd0f487fa8944p+0
  690. 0x7.fcfa49b478c4cp+0
  691. 0x5.050ac5efb80fp+0
  692. 0x2.afaae9fa36458p+0
  693. 0x4.3516701b9719cp+0
  694. 0x5.b7c65fd004138p+0
  695. 0x4.e6d51d81b3dcp+0
  696. 0x3.17856ed466d08p+0
  697. 0x3.baf111caa481p+0
  698. 0x5.ff0b6fdb2331p+0
  699. 0x6.3e9290ba6e8ecp+0
  700. 0x6.c7f84a50bc99cp+0
  701. 0x3.d7bfe6582d696p+0
  702. 0x5.b1f850994977cp+0
  703. 0x5.1cdb1efa088ccp+0
  704. 0x7.59ec255ff4028p+0
  705. 0x2.bba3a948e4eb4p+0
  706. 0x3.26229a5d51c6p+0
  707. 0x7.464dc31d77becp+0
  708. 0x5.b93a97fee48f8p+0
  709. 0x7.8f9502378608cp+0
  710. 0x6.5c4949c143e4cp+0
  711. 0x5.30038daa3d9c8p+0
  712. 0x3.fcc4e31f9a192p+0
  713. 0x7.6ecb48785c29cp+0
  714. 0x5.adb1cc3e7f334p+0
  715. 0x5.75fbaa3e2ad98p+0
  716. 0x5.a2b48e3a790e8p+0
  717. 0x6.1af2925b836dcp+0
  718. 0x7.81f5537d2e944p+0
  719. 0x2.dfd977c05fed8p+0
  720. 0x2.616ca85907784p+0
  721. 0x1.6415dd5291ca6p+0
  722. 0x6.668312f81b358p+0
  723. 0x7.9365323050088p+0
  724. 0x3.525209ff991ep+0
  725. 0x4.5aa543f374e5p+0
  726. 0x4.10474c7b494fp+0
  727. 0x5.f5c18c3bba638p+0
  728. 0x5.f020dacf590dcp+0
  729. 0x5.893784a4dd4bp+0
  730. 0x4.a43a99f409c9p+0
  731. 0x5.79a42c6e3dcdcp+0
  732. 0x1.470523565a6dep+0
  733. 0x1.42e6c2194d5b5p+0
  734. 0x6.e6d21da55683p+0
  735. 0x7.3005bd46038a4p+0
  736. 0x5.e04819f086f4p+0
  737. 0x7.f8b0ba3928b88p+0
  738. 0x1.49d9393a92f34p+0
  739. 0x2.a735bac1743ep+0
  740. 0x4.a9577083b359p+0
  741. 0x4.11935e68b657p+0
  742. 0x6.32a5442ff67fp+0
  743. 0x1.02bdd630c31ap+0
  744. 0x5.c99e04cdbde44p+0
  745. 0x1.943d5ebf57b04p+0
  746. 0x1.b90bfc90c5653p+0
  747. 0x4.e61b2645915d8p+0
  748. 0x2.77600064e65f2p+0
  749. 0x3.376352ec1f428p+0
  750. 0x3.fe1b7c2d6dc0ap+0
  751. 0x3.45a63468571acp+0
  752. 0x4.a8ab9b4522308p+0
  753. 0x2.1ccf02d35ea26p+0
  754. 0x4.3c4ffee1dbc68p+0
  755. 0x2.d8dcdbb70ec6p+0
  756. 0x6.a5ca1b9916c48p+0
  757. 0x5.3ed17c5729448p+0
  758. 0x2.35857e9207fb6p+0
  759. 0x2.a0f71253023b6p+0
  760. 0x3.bfd659646292p+0
  761. 0x3.ccf0b6f58143p+0
  762. 0x2.9e4aa021e8282p+0
  763. 0x5.f4782b68f33ap+0
  764. 0x5.662b9e15ca7ccp+0
  765. 0x6.8602d1c5d4c84p+0
  766. 0x3.a19489030b4bp+0
  767. 0x7.ddeacdb5ad7a8p+0
  768. 0x6.824cd72222f88p+0
  769. 0x5.a6488d0818e8p+0
  770. 0x7.34ef8a34f7914p+0
  771. 0x5.6cb91decd5dp+0
  772. 0x1.3f3a745b0c09cp+0
  773. 0x3.8526e6dc65c2cp+0
  774. 0x7.cb4e82639159p+0
  775. 0x6.cc8d59cc06e8p+0
  776. 0x4.128b59956f5fp+0
  777. 0x2.eba04d6b183ccp+0
  778. 0x3.b2e7cee350ccp+0
  779. 0x4.7ebf312ad6cc4p+0
  780. 0x3.1360c57c96caep+0
  781. 0x4.da075b9d2a37cp+0
  782. 0x2.8779de6e4b31cp+0
  783. 0x3.839484bb4031cp+0
  784. 0x1.3a0d1bd3bf8c6p+0
  785. 0x2.cabd6e43b787ap+0
  786. 0x1.c08cbb9d8c827p+0
  787. 0x7.6255bf32646f4p+0
  788. 0x4.19e926177aa38p+0
  789. 0x1.6973a863c01cbp+0
  790. 0x7.8fae8d080afdp+0
  791. 0x2.b37420484fe78p+0
  792. 0x6.032b5476fb26cp+0
  793. 0x2.ce82e6a837a32p+0
  794. 0x1.0e8b4fcf99984p+0
  795. 0x3.5dfa2cc6a5f48p+0
  796. 0x3.e631bef3813bp+0
  797. 0x2.fa2f0f3b70a1p+0
  798. 0x2.6cd17aedea1p+0
  799. 0x2.ad4fd7f6f50f2p+0
  800. 0x4.1d177b753e2bp+0
  801. 0x7.5aa1817b2fe68p+0
  802. 0x5.95641cbd79798p+0
  803. 0x7.a17aa891bfdccp+0
  804. 0x2.862bd4d4f2eap+0
  805. 0x2.493e046de5746p+0
  806. 0x7.7998e935e9e38p+0
  807. 0x5.00b7da0344754p+0
  808. 0x6.7675ec277591cp+0
  809. 0x7.0a3d1fad8d4ap+0
  810. 0x1.9e6d4cd355d14p+0
  811. 0x1.03c039996a71cp+0
  812. 0x2.22fdb176ab56p+0
  813. 0x1.08a8cfb899198p+0
  814. 0x1.379483e480c4ap+0
  815. 0x1.87584ad774e32p+0
  816. 0x1.32ee86c63e644p+0
  817. 0x4.2b34722c33208p+0
  818. 0x6.e9dea7e401df8p+0
  819. 0x1.512c11a683984p+0
  820. 0x7.8652bd63f20a8p+0
  821. 0x1.1e4098e62a16p+0
  822. 0x6.2060d7be0d3fp+0
  823. 0x6.31a8f834c42ecp+0
  824. 0x2.cc98acd57b2b4p+0
  825. 0x3.89daa62b567dp+0
  826. 0x1.a3db366fcf4cp+0
  827. 0x5.a342723e4832p+0
  828. 0x4.836fc10bcfa2p+0
  829. 0x5.75dec12be1f54p+0
  830. 0x1.0b4ab07181494p+0
  831. 0x1.cae1718b0b35ap+0
  832. 0x7.dc4540378e4bcp+0
  833. 0x4.1f5094456098p+0
  834. 0x1.0c60eccbd1266p+0
  835. 0x7.98a1c9e5442b8p+0
  836. 0x4.cb6a07a10e498p+0
  837. 0x6.8cd50dccead44p+0
  838. 0x7.9c256119c4dbp+0
  839. 0x7.86748426d5808p+0
  840. 0x5.0d964411f54ap+0
  841. 0x6.d0c48d0dcbe1p+0
  842. 0x1.c2e8e0fc8a8aap+0
  843. 0x6.492e4e2d55374p+0
  844. 0x4.c9a4bcdd5e398p+0
  845. 0x1.d2c28c8f3651cp+0
  846. 0x2.1433aca2c4dfcp+0
  847. 0x6.a638057c8a1ep+0
  848. 0x3.bb8d1f23a3488p+0
  849. 0x2.efd15f6426b84p+0
  850. 0x3.8ecf0efe62f6cp+0
  851. 0x6.1638927d5af24p+0
  852. 0x2.260d6fcdf2b9ap+0
  853. 0x4.5582f09408e7p+0
  854. 0x2.d7cae2f528ea6p+0
  855. 0x5.4b7a2af7689d4p+0
  856. 0x7.550bfc4631558p+0
  857. 0x7.f77794fa76718p+0
  858. 0x7.c211c6d7746e8p+0
  859. 0x3.d23785d348886p+0
  860. 0x1.a0b8db00292dap+0
  861. 0x6.5eab24afd50dcp+0
  862. 0x1.aa8ef0d56ef7p+0
  863. 0x4.074f2d2041bf8p+0
  864. 0x1.4469a018deb2fp+0
  865. 0x2.47fbad9256b44p+0
  866. 0x3.b8c8e673f9bcp+0
  867. 0x1.5221d01d05fdap+0
  868. 0x3.95d2b245c9654p+0
  869. 0x1.0ed6d074411dfp+0
  870. 0x3.51e1b3374e144p+0
  871. 0x4.495f4e882802cp+0
  872. 0x2.19e3cdb6e1adp+0
  873. 0x1.c58c36f023d2ap+0
  874. 0x6.01a41f23e7e5p+0
  875. 0x7.01fd972a4f67cp+0
  876. 0x4.22403b7350fdcp+0
  877. 0x5.5a57edf6389e4p+0
  878. 0x6.69489b7d021f4p+0
  879. 0x5.014e2a43416a8p+0
  880. 0x2.cc39a3a7a85c8p+0
  881. 0x5.374dd60d56efcp+0
  882. 0x2.c8ae73013aa1ap+0
  883. 0x3.61e526ec4d556p+0
  884. 0x7.78732323bbffp+0
  885. 0x7.0db5ebcdadc94p+0
  886. 0x3.bf614342b094p+0
  887. 0x5.6243c75f3c098p+0
  888. 0x4.9e4e7fe39f588p+0
  889. 0x1.6f1d853b8b603p+0
  890. 0x3.10424a67a99b4p+0
  891. 0x7.8a9fd5336b99p+0
  892. 0x6.4b9c4c9c05fb4p+0
  893. 0x2.6f857dbcf2b6p+0
  894. 0x4.6c33dd5471238p+0
  895. 0x4.6d6559b0a33e4p+0
  896. 0x1.7d3d8b2c3c7abp+0
  897. 0x1.86a57f97266bcp+0
  898. 0x7.6e8d8709fd2dcp+0
  899. 0x4.628d8a69f5eap+0
  900. 0x1.5ac19f48c535fp+0
  901. 0x3.662973d01f678p+0
  902. 0x2.de9aaf9f9005p+0
  903. 0x5.56c948a251158p+0
  904. 0x4.25fceac6da63cp+0
  905. 0x5.5d863a97b765p+0
  906. 0x2.39bf7be0974b2p+0
  907. 0x2.7d2bd06622302p+0
  908. 0x4.21543e3082968p+0
  909. 0x3.af55920fc91e4p+0
  910. 0x5.cfa0a4a45cf9p+0
  911. 0x1.4cdf2bc915b9cp+0
  912. 0x6.694a4a74fa36cp+0
  913. 0x5.96f0e180969d8p+0
  914. 0x6.0b798a924c38p+0
  915. 0x3.aa5c4f43305f6p+0
  916. 0x4.2ae62486fcf4cp+0
  917. 0x5.9ff8d9dd5cdcp+0
  918. 0x2.ca86df417d36ap+0
  919. 0x3.1011dc7bf069ep+0
  920. 0x1.58395475566dcp+0
  921. 0x7.1af99da96c084p+0
  922. 0x1.94eaf293aaa3p+0
  923. 0x6.14d54cd5c23a4p+0
  924. 0x7.c7ea3c6c41e2p+0
  925. 0x4.ed76333fccd88p+0
  926. 0x3.e09a3e77b75d8p+0
  927. 0x6.43446315de4d8p+0
  928. 0x1.6db7b857bb988p+0
  929. 0x6.24058ed706008p+0
  930. 0x5.ed7ce5a78599p+0
  931. 0x1.dc06561c54924p+0
  932. 0x6.aa171dc26f278p+0
  933. 0x3.f73deb1e29eeap+0
  934. 0x7.1995e2ec0b3c8p+0
  935. 0x1.3f623d518c20fp+0
  936. 0x2.5e94487d2a11ap+0
  937. 0x2.457073ddde776p+0
  938. 0x6.cb99614d1bd74p+0
  939. 0x2.b4c3f0bb5973ap+0
  940. 0x7.a559474e4269cp+0
  941. 0x4.2bca65c083178p+0
  942. 0x5.a0d001d00e504p+0
  943. 0x7.409e6f6f66e0cp+0
  944. 0x1.48af8e3cd0afcp+0
  945. 0x5.3c7b6a99acdc4p+0
  946. 0x3.98c1404b34276p+0
  947. 0x4.3502f18145c08p+0
  948. 0x6.013e63cbef1b8p+0
  949. 0x5.1fa3f53ed3704p+0
  950. 0x1.6d4e99b562634p+0
  951. 0x3.b123790143e38p+0
  952. 0x6.df499166cb258p+0
  953. 0x5.6ca10740c1898p+0
  954. 0x5.76b35c5ba6668p+0
  955. 0x3.938c2da23215p+0
  956. 0x7.653e57dc5a634p+0
  957. 0x5.6170b7dbb9374p+0
  958. 0x7.87a42e3a9eae4p+0
  959. 0x4.9e6afe0c2d6b8p+0
  960. 0x7.0d4a20cfab3c4p+0
  961. 0x3.cc19d520c52fp+0
  962. 0x7.a61a53b71efcp+0
  963. 0x3.d66d838f0989ep+0
  964. 0x7.11c610aff3e78p+0
  965. 0x2.6268f8f71acf4p+0
  966. 0x2.b5b2c56dd087ap+0
  967. 0x7.f142e3aac38a8p+0
  968. 0x1.f338517989f05p+0
  969. 0x3.649c754cd8164p+0
  970. 0x5.8115ee4049174p+0
  971. 0x2.a0eaa760ecd0cp+0
  972. 0x6.b42d3531c11ap+0
  973. 0x4.f2b83f24408dp+0
  974. 0x1.b9e0d8c1e740ep+0
  975. 0x1.38ba1457a690cp+0
  976. 0x6.f7cc3bd780f8p+0
  977. 0x3.8692c31ce122ap+0
  978. 0x6.371ad27c0920cp+0
  979. 0x7.866d0cdef77acp+0
  980. 0x7.4ad1036306ddp+0
  981. 0x6.3b81f7fcc1b54p+0
  982. 0x3.93e850af2bc4cp+0
  983. 0x7.e451b8720d944p+0
  984. 0x7.7d698d8206878p+0
  985. 0x2.852bc9ab2b05cp+0
  986. 0x2.e9902b51436dcp+0
  987. 0x7.1e6a52f49c61p+0
  988. 0x1.cd3d194ee15eap+0
  989. 0x3.ab044430cbcaep+0
  990. 0x5.015dc5c600abp+0
  991. 0x1.ea44de9f362dcp+0
  992. 0x2.bb9eedb4d93d2p+0
  993. 0x1.18a233b461f28p+0
  994. 0x2.0a1b1465e6904p+0
  995. 0x7.4100c552866dp+0
  996. 0x6.c89b879538658p+0
  997. 0x2.813cbd5e991b8p+0
  998. 0x4.51fe85b4f9d08p+0
  999. 0x5.bc8df3b4f999cp+0
  1000. 0x7.6d1f50afa6494p+0
  1001. 0x4.42d9fe2c1fe08p+0
  1002. 0x7.37cdda5ac10e4p+0
  1003. 0x3.9b8728121b56ap+0
  1004. 0x4.44636b8d0fe28p+0