From: Adhemerval Zanella <adhemerval.zanella@linaro.org>
Date: Mon, 25 Aug 2025 16:38:21 +0000 (-0300)
Subject: benchtests: Add workload for acosh
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=ddd8c33f87889513c0929bed13656c9f040525a9;p=thirdparty%2Fglibc.git

benchtests: Add workload for acosh

Random inputs in range [1.00,21.00]
Reviewed-by: DJ Delorie <dj@redhat.com>
---

diff --git a/benchtests/acosh-inputs b/benchtests/acosh-inputs
index 22b900f542..d8c9056327 100644
--- a/benchtests/acosh-inputs
+++ b/benchtests/acosh-inputs
@@ -1,303 +1,1005 @@
 ## args: double
 ## ret: double
 ## includes: math.h
-0x1.6d46e7252da2fp388
-0x1.c18cc3982093ep775
-0x1.2e9a406645b9bp609
-0x1.006d075b935c9p0
-0x1.4d49f6cda4ceap0
-0x1.e0ba4580ef871p21
-0x1.ffab14f637eaap733
-0x1.f0a22293c4ecbp852
-0x1.24baf479f025cp0
-0x1.91bc310a7648ep243
-0x1.93d4c19692fbfp80
-0x1.9eb0b40303dcap843
-0x1.945a20aa092e2p4
-0x1.ac2677a0ed292p0
-0x1.64c6a3d5a0867p304
-0x1.e0d6324c882e9p0
-0x1.7e0ba7c987b9ep7
-0x1.3975f02686229p10
-0x1.cc4916f089070p25
-0x1.729be339c67b2p0
-0x1.c64b8297569c4p207
-0x1.2c1544d816155p340
-0x1.ad443265c6b4ap845
-0x1.f53624533eb2cp0
-0x1.92e4800542f83p108
-0x1.f873e456e1975p0
-0x1.84a7b4b80f227p4
-0x1.46dd43031fe1fp0
-0x1.e28b805a73a97p0
-0x1.9e11325b1c3c4p22
-0x1.5c76b43d66941p15
-0x1.98109155dd7bfp21
-0x1.3d88b121650aap8
-0x1.adff01fab2117p0
-0x1.5e76d52c7f729p15
-0x1.0a46e3262c2b8p20
-0x1.52f9a11ad6e66p0
-0x1.96f8f26a41c3bp122
-0x1.161fd6fd320d5p745
-0x1.c5fb927d2cb09p8
-0x1.265a61a0bb1d4p0
-0x1.09a5d681397d0p0
-0x1.ebef22f6aa8aap0
-0x1.3ac9b75c613bdp160
-0x1.b77615a1e2a3ap0
-0x1.68f9d755d5eadp0
-0x1.ed2c9188571d9p0
-0x1.e8f886346b284p15
-0x1.f65bd2ce4416ap0
-0x1.4574341b05968p656
-0x1.5c2cb3414299cp154
-0x1.c4ea7682d0661p832
-0x1.b221562a61af2p0
-0x1.d7f9c739e0b26p561
-0x1.eb28429726661p423
-0x1.e7a5f5b2cc9e8p902
-0x1.9fd093db922f4p0
-0x1.c1cb5159d4e46p0
-0x1.a0bed3234b8cdp0
-0x1.bc8ff7e59e82ep18
-0x1.de8f25287ff7cp0
-0x1.a1ab66b8f9098p0
-0x1.c36c11c290063p20
-0x1.72e9e736d6e41p0
-0x1.38b134391f71ep21
-0x1.a500e5cf1a2cfp246
-0x1.253da08c9c318p144
-0x1.f5efb379e3b3fp952
-0x1.07c767a225a7bp21
-0x1.f82770adf361dp19
-0x1.39e42524c048ep894
-0x1.a4ae84e202a44p0
-0x1.e17e23b598415p925
-0x1.08fa931bd21f5p10
-0x1.b52541759872ep0
-0x1.91bf33cdb6804p710
-0x1.5c18505e522d6p0
-0x1.9fe7c5ca15212p9
-0x1.62c360b992b13p10
-0x1.57a000ceee049p800
-0x1.da296671c3e5cp0
-0x1.ff43325a40608p0
-0x1.295d65809666fp111
-0x1.2781e3f5d0e0fp249
-0x1.875d5703776fcp0
-0x1.0f8045a313158p26
-0x1.bd30a3b638a67p11
-0x1.0a3184db8d287p0
-0x1.c6d33006f978ep0
-0x1.8c6476a610245p0
-0x1.aa7fc36f3cea9p461
-0x1.afb5c0c4f933ap6
-0x1.20b75365bd50fp16
-0x1.69c8245c09535p19
-0x1.30dcf0414c561p292
-0x1.c2323455e5501p0
-0x1.c2e3d08f78fb2p0
-0x1.f479457ec8f4fp25
-0x1.4c1e32e79005dp7
-0x1.86b9a4aed3300p26
-0x1.ee654167b045bp0
-0x1.a339c796ccd9fp0
-0x1.75f6f32348765p4
-0x1.6120d7e4e5d9ep498
-0x1.01c843ae8b440p20
-0x1.034a67c534113p0
-0x1.94d6d681be7e6p0
-0x1.2576745f4cca6p22
-0x1.813994f759a60p171
-0x1.0308a4c5b820dp0
-0x1.d073e0e895907p580
-0x1.6094d2dc7af3bp0
-0x1.3348d7ba303bep0
-0x1.a0830483382afp2
-0x1.e3558408e36dep0
-0x1.d55db05590c97p0
-0x1.95680648261ecp0
-0x1.d54c401b55bd9p18
-0x1.584be75027a11p872
-0x1.594273cdd339dp4
-0x1.85d9676b1ae49p752
-0x1.38f122e7f7be0p220
-0x1.75c3a575deb13p251
-0x1.2c85f1a74ac0fp0
-0x1.0dc9e789128acp947
-0x1.51dbf3461a224p0
-0x1.61c9644526617p809
-0x1.89494217ed887p204
-0x1.2a57014d8c24bp317
-0x1.c4d527df0d553p762
-0x1.ad2717638f0adp986
-0x1.63352752d72c5p847
-0x1.d124a052e9410p0
-0x1.373d228ee6061p505
-0x1.0bbe63d8b48d2p0
-0x1.0b5115dd5774dp4
-0x1.f50d62ef77ac6p3
-0x1.4cb6110ea61e4p1
-0x1.b056b690aef8ap0
-0x1.a32cd47340669p2
-0x1.f917868895288p872
-0x1.332a86c10c0e1p14
-0x1.07f7c34023735p881
-0x1.7935f21efcfadp24
-0x1.644ad1a392b18p0
-0x1.f930b772bba49p0
-0x1.019a86d2e2300p18
-0x1.a25af297e68fep194
-0x1.80ab316f210c8p0
-0x1.f73a3049f9d76p16
-0x1.8b1a0407ae636p7
-0x1.9bdf23a917930p2
-0x1.d139574e3913ep168
-0x1.caf9468b5f459p0
-0x1.c3b5f0096df0dp24
-0x1.d3451096baf1ep0
-0x1.7bb5671e2bfcap719
-0x1.64b7e3621a6ddp0
-0x1.08b544290bb37p0
-0x1.2b65c78ec87a4p0
-0x1.993a6363227e2p12
-0x1.a09d26d2a558fp216
-0x1.daff104bb08a5p25
-0x1.7d77308fd73cap655
-0x1.8946b691ecf5ap10
-0x1.8ec222d562aa9p25
-0x1.b7da17cd3268ap0
-0x1.250500a0b4266p831
-0x1.8e6f071075758p0
-0x1.984146d8a6c69p20
-0x1.558480e0da8bdp15
-0x1.b6bea5e996fdbp11
-0x1.f289853c632ddp11
-0x1.8fbe179f273aap0
-0x1.6b4382f669e8dp0
-0x1.a966a17972ca9p601
-0x1.dbd635362ec6bp6
-0x1.899e75c43e065p675
-0x1.f11c07e219bafp7
-0x1.3ab637a02ed36p0
-0x1.36b913a68fe70p901
-0x1.049fe294eb450p0
-0x1.0547247e7518ap677
-0x1.9e07054aa7309p743
-0x1.aff281fbb3a6ap874
-0x1.6c1b6312efacfp783
-0x1.a38c639c0df57p243
-0x1.f07b95fd415ccp9
-0x1.ca1c23fd6ce37p7
-0x1.9ed9906a6f029p18
-0x1.f1a483c62adecp74
-0x1.617df662bbf02p0
-0x1.22e1608c31f55p13
-0x1.d840853d46285p15
-0x1.023fd69d438dep12
-0x1.8184a3fcc1ac3p942
-0x1.25c5071d2dc6ep8
-0x1.0eec25d2a59ccp27
-0x1.d55b11ee07cc4p0
-0x1.175347bf29152p23
-0x1.546624c66c38bp0
-0x1.212fc4abebddep723
-0x1.75f1269063e4dp5
-0x1.3b51233fed0a5p381
-0x1.486e24ad660e1p686
-0x1.7788055510c4dp23
-0x1.55bf96fcf9458p905
-0x1.0a5aa2d61be59p0
-0x1.5da757c1a95c6p895
-0x1.d596e1ea9dcefp0
-0x1.e91b460893372p0
-0x1.d934d6ea17649p728
-0x1.cd74423b4c4aep15
-0x1.dc3151a1b4289p0
-0x1.5799c072442dep0
-0x1.97ae606371057p22
-0x1.7369c3195238ap0
-0x1.43a1d0e6eae29p109
-0x1.7fd922252a24ep425
-0x1.bf01d7e826d2cp0
-0x1.a397b7c711fcfp14
-0x1.7b40809d9f6b5p0
-0x1.58098134bf6afp0
-0x1.567e92bdee806p3
-0x1.641866cfab5e7p382
-0x1.11d483657f659p0
-0x1.f0b1d4cd82236p18
-0x1.a18365ad84301p6
-0x1.4f749259eb02dp140
-0x1.4b1d721633901p747
-0x1.fa9e9543d1dfbp5
-0x1.ae33e3ae5e0ecp0
-0x1.29c444207fa90p0
-0x1.b55e708600082p19
-0x1.bb1464c1f136fp0
-0x1.d36f165b63b8fp880
-0x1.c1a0d0ee96f75p27
-0x1.9b1376e7377a3p0
-0x1.6e88361aa13bbp619
-0x1.d109f410d341bp822
-0x1.654255768c727p0
-0x1.c938959e450d6p0
-0x1.26fd92ae3e170p356
-0x1.157c240adb715p982
-0x1.749735f182597p15
-0x1.2291e3ab7501cp0
-0x1.96d320a0153bap383
-0x1.b569919b79b6fp214
-0x1.0872c2cff972dp276
-0x1.bd98342544357p0
-0x1.853327d0e2f4dp11
-0x1.23438314fb10bp0
-0x1.342f35eabf622p707
-0x1.d19f05a5a1fe4p13
-0x1.67c566bcf73aap0
-0x1.2ce065238fb73p27
-0x1.5219d2e05f184p0
-0x1.4a163440f7c98p4
-0x1.d780c4711b212p0
-0x1.395461c5f96a6p5
-0x1.21efa25110e19p12
-0x1.c9ddf4f375933p17
-0x1.3da0800fe1f5ep0
-0x1.90f147b3d0164p829
-0x1.001d955d8a436p344
-0x1.c6b2115b84675p319
-0x1.650441a7059bdp554
-0x1.3a49216bbe75ep0
-0x1.fdd3c3404c763p750
-0x1.0b97d555f912cp1
-0x1.95c32605e6c59p20
-0x1.6acfa746531b2p0
-0x1.13f4d3bbd6417p8
-0x1.ac31b628eaa2cp0
-0x1.4293b3d3169d2p8
-0x1.6e8a94f758a02p802
-0x1.701604374d526p0
-0x1.bec162f84a16cp13
-0x1.2015764e98ea6p481
-0x1.b9d12441e91a7p11
-0x1.55a4c648ebcc2p378
-0x1.65b6e4f33cc66p0
-0x1.b12c01289b0c4p15
-0x1.ce91f580c5091p228
-0x1.719ec056f57fep1
-0x1.0b2c87979b28cp23
-0x1.218c0592aa7fcp95
-0x1.ec1e878f29cf8p97
-0x1.adc8d213f43b1p0
-0x1.e788f6152fe51p0
-0x1.a026b0485c0e8p12
-0x1.f181e3ec38f77p3
-0x1.dafd9764a705fp13
-0x1.a292f29dfe6c4p0
-0x1.661d765a50087p13
-0x1.f619932e8e376p1010
-0x1.4a1600b2e95dbp880
-0x1.f5b95104bb64dp320
-0x1.a7a935f93958ap22
-0x1.5fe3a6a58526dp20
+## name: workload-random
+# Random inputs in [1.00,21.00]
+0x1.9b7fc20bc70eep+2
+0x1.0ad782257f07cp+4
+0x1.e29a835b6a7fcp+3
+0x1.0c6b7475c3ecfp+4
+0x1.0b5cf1ec48484p+4
+0x1.dd7de08a8e947p+3
+0x1.491cf25a86757p+4
+0x1.fc41906b7515bp+2
+0x1.3566630cb8b33p+4
+0x1.8e894dc9c3cfcp+3
+0x1.3f400acaef1bep+2
+0x1.458d68d75a2a8p+1
+0x1.514423dbfb008p+1
+0x1.8b913f691e94fp+3
+0x1.29d50b0170e5ep+4
+0x1.d31eac4ef3c45p+3
+0x1.332f69d972125p+1
+0x1.4e7c34c7cec28p+4
+0x1.371fa4b817f6ap+3
+0x1.818e4050b9f08p+2
+0x1.b4533ec198014p+1
+0x1.b98e417dd7851p+3
+0x1.3d218a529466p+4
+0x1.52c969d4f6885p+3
+0x1.26d41531139e7p+4
+0x1.4a5293e6ad5d3p+3
+0x1.b9e043ed37948p+2
+0x1.ba7978ae1b00cp+3
+0x1.e00e70b5a37fcp+2
+0x1.366bdb960c437p+1
+0x1.bd22a66a1957ep+3
+0x1.8de6ef5ec5fc4p+0
+0x1.47543f01cfdacp+2
+0x1.65f663bb8ecbep+1
+0x1.855017f7feeb6p+3
+0x1.3146e253b61fcp+4
+0x1.a9e1aa83d5ae5p+3
+0x1.19b84d8e5f22bp+3
+0x1.478b13def7251p+3
+0x1.b30c5a90b6a47p+2
+0x1.6693a9a4153dp+3
+0x1.48b9627859f46p+4
+0x1.b8004465663b5p+2
+0x1.75fbf660e2418p+2
+0x1.0ecd5b93da6b5p+0
+0x1.0bcfa1c55dd58p+4
+0x1.4fba52119332fp+4
+0x1.53ceb73e37962p+3
+0x1.0bb07c24599bap+4
+0x1.4caccf2862bb6p+4
+0x1.cd76535e9e1cap+1
+0x1.0008b49d6e8cbp+4
+0x1.12633eca6521cp+4
+0x1.0e74594144dfap+3
+0x1.eaf59e01492d5p+1
+0x1.cafcd26863c14p+3
+0x1.694c095096499p+3
+0x1.cb622363fcb1dp+2
+0x1.7ccf6e9bdb6adp+2
+0x1.968783177727bp+2
+0x1.61feccdc820fap+0
+0x1.42e9abca0849p+4
+0x1.5cfa465fe49d3p+1
+0x1.359cb0c67ed8dp+2
+0x1.3ea50832e3c4ap+4
+0x1.20d23e30c5e74p+4
+0x1.1d47c219c8053p+1
+0x1.8033d36a63bd4p+1
+0x1.0908e0b23526ap+3
+0x1.640de52e7ceefp+2
+0x1.9f4e4acc57c48p+0
+0x1.7220e1b605d3ap+3
+0x1.5f24f5fc15348p+3
+0x1.22e39e9253e7ep+4
+0x1.5e20bad3fb9fdp+3
+0x1.c418aa5a145b2p+3
+0x1.973d8a0beea14p+2
+0x1.33de3507e8a15p+3
+0x1.41013bc66f9edp+3
+0x1.952691a392f8ep+1
+0x1.fa8b407ea9741p+3
+0x1.d2668495ead9dp+1
+0x1.d173a5bf8decp+2
+0x1.183939433fb44p+3
+0x1.3d1eaa5b22b61p+3
+0x1.745bfe1e4ff14p+3
+0x1.cfc20343e8868p+3
+0x1.d4c15ec5d7d8ap+3
+0x1.0739139dc1124p+1
+0x1.b4c2b71b93f68p+2
+0x1.1631e237c7107p+4
+0x1.af4b41864d0d1p+3
+0x1.198e549b94716p+2
+0x1.002f27e0f9862p+2
+0x1.8494d41ccd0cfp+3
+0x1.38e9d47467986p+2
+0x1.0c8d0ccafc25cp+4
+0x1.de6f3940f74ep+3
+0x1.430c1fa0fef4p+2
+0x1.4108bee25346cp+3
+0x1.4d14588e73879p+4
+0x1.7b7edd0b137ccp+3
+0x1.432b42cb241b2p+3
+0x1.4d3f854f4dd3dp+1
+0x1.486c016363912p+2
+0x1.1e8ed3167456dp+4
+0x1.363c2a07b2328p+2
+0x1.1ccf9becbd2c5p+2
+0x1.1332a8be6746fp+3
+0x1.ec3bf9cef9044p+3
+0x1.ccd98c78187e1p+3
+0x1.484ef744149c4p+4
+0x1.2df75231daf6p+2
+0x1.7528ebdfaf389p+3
+0x1.c6c87e223374fp+3
+0x1.01fc0ba9a4e65p+4
+0x1.af20ffb2c2702p+2
+0x1.101fe50f8386fp+4
+0x1.07a6ea877e29cp+4
+0x1.73d860b5d1bcfp+3
+0x1.33b280e9bd3b1p+4
+0x1.4e63e9ededb43p+2
+0x1.03d347b44af66p+3
+0x1.cf03d5944916p+2
+0x1.13b4dc9b0a273p+4
+0x1.6c1aae60b9d2p+2
+0x1.351d6bb7e3d89p+4
+0x1.d73df72416a97p+3
+0x1.0484352eb943ap+3
+0x1.25ad36b14124p+3
+0x1.7a3fcb8f6588ep+2
+0x1.c98857f059d8p+3
+0x1.8f1347da9b0e3p+1
+0x1.1af28428bfe38p+2
+0x1.189824b98b17p+4
+0x1.99b782ce00f9ap+3
+0x1.3ef1ed7eca768p+0
+0x1.9fd1a442d97dap+3
+0x1.75cfc338740b2p+0
+0x1.3ce7f88245723p+0
+0x1.60bf1fb56884ap+0
+0x1.4c3a2c7b11a2dp+4
+0x1.2c9fae57152c4p+4
+0x1.bf0cba9a3dbb5p+3
+0x1.e4fba4f8a56f5p+0
+0x1.e4b4b5aef39a4p+2
+0x1.97cf2a27b11ebp+2
+0x1.44b490db73892p+3
+0x1.0bb0c6d1b5ed4p+1
+0x1.43b91ce035a59p+4
+0x1.b078eef7730c4p+2
+0x1.50f1c4bbb5e2cp+2
+0x1.0980873bca638p+4
+0x1.1cb96a43d2168p+4
+0x1.59d8ac6c3bbecp+3
+0x1.0f03f6524c85fp+4
+0x1.cd3efa903acccp+3
+0x1.32451e4d0e27ep+3
+0x1.e0585c3cd638bp+3
+0x1.e52b28d9cadcdp+2
+0x1.6b357e3f1712ap+2
+0x1.dea49b2c2cef4p+3
+0x1.01eaa5342235dp+2
+0x1.610e0e3551873p+2
+0x1.3ec6f63a77f8ap+4
+0x1.409ce044e344bp+3
+0x1.cc1758e53e5e5p+3
+0x1.226563bf9b376p+4
+0x1.c500a85030bfap+3
+0x1.5abe35229c166p+2
+0x1.f4701374e36d9p+3
+0x1.99ee264d01d7ap+2
+0x1.272ed735dd76fp+3
+0x1.b4236ca3a9d28p+2
+0x1.116b46e649994p+4
+0x1.047e6d73a54e3p+4
+0x1.988a27db247c1p+2
+0x1.8b1c497247b3bp+3
+0x1.630369398efb5p+1
+0x1.503edfbb19192p+3
+0x1.f6076c5ab7745p+0
+0x1.a194c1b796c72p+1
+0x1.1cf7063ce7cbep+3
+0x1.181044759b3dcp+4
+0x1.fd5f3e4a7ee92p+2
+0x1.177ec882fec9ap+4
+0x1.05f274910b1e4p+2
+0x1.480275bc549aap+3
+0x1.acba079262e0dp+1
+0x1.f45948915e04dp+3
+0x1.f40180ef3519dp+2
+0x1.f1a7b6e787d02p+0
+0x1.0f86f3b05b23dp+4
+0x1.477fe6248dabcp+4
+0x1.42e30f503ecbp+4
+0x1.e2d3e7d9744bcp+2
+0x1.1c19ad568f642p+2
+0x1.3707be3d1046ep+3
+0x1.0cdf5dd79bbfp+4
+0x1.4b1a82e6d16c8p+4
+0x1.2016cb23c4c9dp+3
+0x1.3e353dcc9c49ap+4
+0x1.332839bfedcb9p+4
+0x1.5b354288f15c9p+3
+0x1.246bd1c8ddeeap+4
+0x1.4b5bfcd98a5aep+4
+0x1.3e3e41ffd11a8p+4
+0x1.af10b32097168p+3
+0x1.45ad8c02b26fp+3
+0x1.120bab0d8ccf9p+4
+0x1.1bb2ac4857f6ep+3
+0x1.7874bec30dcaep+3
+0x1.4f50b5ffeb331p+4
+0x1.0130fa83c8ff2p+4
+0x1.94ae17fff3fe4p+1
+0x1.5b2d49803abbp+0
+0x1.71d2edc0276dp+1
+0x1.34d3a86c830abp+4
+0x1.e8de82ba14cadp+3
+0x1.778ce74e29dd9p+2
+0x1.4905416f8d9acp+4
+0x1.61939ab7a682fp+3
+0x1.27b0939d507d2p+4
+0x1.b8afcb816d2e6p+3
+0x1.a94ed2a981581p+2
+0x1.d4cf1ec31ac63p+3
+0x1.8f807e1f40a83p+2
+0x1.0bc0a6d3da40ap+1
+0x1.234f728b0e38cp+4
+0x1.d11ec6f9ab80ep+3
+0x1.3dddba8a0edc7p+3
+0x1.82c0ce2d15593p+0
+0x1.4ddbe60f1abaap+4
+0x1.c281e9073f614p+3
+0x1.2670c25a5e14ep+4
+0x1.38498e261ba0fp+4
+0x1.5bc81d3926462p+2
+0x1.3d0a94684ee68p+2
+0x1.4b54298b0dbf4p+4
+0x1.3e8683c34c258p+1
+0x1.25e0103083ff5p+4
+0x1.fbbabf960275ap+2
+0x1.35765b8ecf953p+3
+0x1.bf6d31e49a76dp+3
+0x1.8280226efba0ep+0
+0x1.2c7baeebe42dep+4
+0x1.bec549779a0a3p+3
+0x1.171570dfaab71p+4
+0x1.6ebd38979565cp+1
+0x1.283676f62bf64p+4
+0x1.47afa35a99546p+3
+0x1.136457833da35p+1
+0x1.0983fb1117db4p+1
+0x1.252f708ee5c55p+4
+0x1.b6b707164eb8p+2
+0x1.45724cbb035c2p+4
+0x1.3d53aee5c7164p+4
+0x1.ffcbfd5f5a55ap+2
+0x1.514231a201972p+2
+0x1.bce9ebce96affp+3
+0x1.ebdecc6986569p+3
+0x1.00174629725f8p+4
+0x1.2b79473aaa0e7p+4
+0x1.da1fdeb8c363cp+1
+0x1.297fc305c7ep+4
+0x1.2b0706f81a62bp+4
+0x1.4350e8bec55e4p+3
+0x1.0de4b74d29179p+4
+0x1.43a18a2b0f8eap+4
+0x1.3ddf30a8cd53ep+4
+0x1.4e352b3731e68p+3
+0x1.39363d65227b6p+3
+0x1.e876322e2dc3fp+3
+0x1.362589b2a4f3p+2
+0x1.39bdb56da917bp+4
+0x1.5cef2537d7ecfp+3
+0x1.193cff0aa0329p+2
+0x1.46f34ec328476p+2
+0x1.d5b605feedbd6p+3
+0x1.1379903780dffp+0
+0x1.45858768d055dp+3
+0x1.29507fb713a8fp+4
+0x1.72c5fcd6d1167p+3
+0x1.3f440c787560bp+3
+0x1.85ab34edcef0dp+2
+0x1.0391f37ff5e95p+3
+0x1.2232760f2565cp+4
+0x1.3423b4fc6612p+3
+0x1.85c1a263fc85ep+3
+0x1.8411988257b57p+3
+0x1.c75ab262575d6p+3
+0x1.1789445739937p+1
+0x1.092db1db898ccp+4
+0x1.51344468ebcb1p+2
+0x1.c248e5a5c3e56p+2
+0x1.317c303157fd9p+0
+0x1.5852c727ef999p+2
+0x1.456a67b2dcf5ep+4
+0x1.b46ff0a4109f2p+3
+0x1.b5150df4cae6cp+3
+0x1.2c233f1f9870ap+4
+0x1.0cff7c387ea44p+4
+0x1.cb43518c475a2p+2
+0x1.04c43c41f0a78p+4
+0x1.4b10e7311dc8p+3
+0x1.38d53dbf9b3f1p+3
+0x1.3c217a3e5c376p+3
+0x1.37a020edc5678p+1
+0x1.487236af95131p+4
+0x1.2ffe472e01291p+3
+0x1.32aa155a2742ep+3
+0x1.89645977b6cd6p+2
+0x1.5dd57235310e6p+3
+0x1.397f6dc95db89p+4
+0x1.02dd180a3855ep+1
+0x1.3a6e19809791ap+4
+0x1.108726f7f426fp+3
+0x1.0271dd8e32eebp+2
+0x1.4cb0fe04d74eap+4
+0x1.a738b67cf6322p+3
+0x1.b45187d2e7ea2p+0
+0x1.dde8701e9a368p+3
+0x1.9903c2a9d2e54p+2
+0x1.49ba294dc7fd5p+3
+0x1.82a6811a55385p+3
+0x1.19989a0341d75p+3
+0x1.6911761df7ddap+3
+0x1.3000542e39a32p+4
+0x1.cf9dccb84f5b8p+3
+0x1.35cf25d50f78cp+3
+0x1.1c2cc3e425892p+3
+0x1.c1b8e1f997775p+3
+0x1.17eebc4c17a59p+3
+0x1.5b29a9407ccf6p+2
+0x1.3bcd80b475d25p+4
+0x1.2ff5d2ba4a6d9p+0
+0x1.b849d21de8bdap+3
+0x1.f35306959a11ep+0
+0x1.21bad04f45c61p+4
+0x1.0a3c04cb8950ap+2
+0x1.ff396cf439c82p+0
+0x1.a3061cda1f0e4p+3
+0x1.b2fe4f348398cp+2
+0x1.e6ea3f0f98f71p+3
+0x1.e14288dc37eecp+2
+0x1.73a69c7c223a2p+1
+0x1.a84dc343cbfd7p+1
+0x1.5ce5e0646c789p+3
+0x1.1214f85418c09p+4
+0x1.450a890531252p+4
+0x1.5e2f0c959815cp+3
+0x1.c557bc13f4218p+2
+0x1.1ee07d8bd7957p+4
+0x1.44b873f1de839p+1
+0x1.0a563935b025cp+4
+0x1.de2f12b1e1c28p+2
+0x1.fefb28b5e5612p+3
+0x1.f3bc32714ed15p+3
+0x1.14dc45f487f33p+4
+0x1.617304a139056p+1
+0x1.21eef0e0d1f16p+4
+0x1.2e79546a9c4c7p+4
+0x1.d9c15cbb6ef2ap+3
+0x1.3e7b3e028a314p+2
+0x1.4dce106ba35bbp+4
+0x1.ab1591bf78328p+0
+0x1.136b218841d83p+4
+0x1.ecc5a960d3f0ap+3
+0x1.30f36adcce12fp+4
+0x1.302819cd517c3p+4
+0x1.da2203dae98b7p+3
+0x1.cf0e0f5b218e7p+0
+0x1.0c9c78222bf31p+3
+0x1.3bb11980670b2p+3
+0x1.241e5f8489d9ap+4
+0x1.2911a3049aabep+4
+0x1.56de448e7acccp+3
+0x1.1d64a9f295b5ep+3
+0x1.d0ada9a6c5fa4p+2
+0x1.3e15091ad7fe7p+4
+0x1.092936ce87e4ep+3
+0x1.94c671b1e8d76p+1
+0x1.fb62eca2f7ae2p+2
+0x1.7de7bf00f468fp+3
+0x1.46c814521416ep+4
+0x1.2bc2645919ba1p+4
+0x1.e90c7cdbaef1ep+3
+0x1.5aa90a0dbda0cp+1
+0x1.a7f9ebc5f1201p+1
+0x1.7bdd02b6d0611p+2
+0x1.8c8869c4284aap+2
+0x1.d91a0fabea2f9p+2
+0x1.84b29bb0ad249p+2
+0x1.4d6d43780459bp+2
+0x1.8463cdeb1c6b7p+1
+0x1.11545d2f73b4p+3
+0x1.499a7f45eb2acp+1
+0x1.32d1803109445p+4
+0x1.b6f0b9e416215p+3
+0x1.e83ba9e704445p+2
+0x1.0bab916dc0416p+2
+0x1.02ed9ba4a78ecp+4
+0x1.1cac07f895205p+4
+0x1.56794c61798d2p+0
+0x1.e0c89b5c8cda9p+0
+0x1.1567e33afd399p+4
+0x1.420f4660bb81ap+3
+0x1.cee8cd58954e9p+1
+0x1.820cacba3004ap+1
+0x1.a427c0b1b757p+2
+0x1.b7d6fed50b0f2p+3
+0x1.5c2481eed073p+1
+0x1.ffbd6e005caadp+0
+0x1.0f5495269ea15p+4
+0x1.bc5bce2fbe06p+2
+0x1.88c59bc7628d6p+1
+0x1.61809805fd9p+1
+0x1.cdb939cac888fp+3
+0x1.25bad4f3ea0aep+4
+0x1.7d28c967b3d82p+3
+0x1.048a927300929p+0
+0x1.301a60187f308p+3
+0x1.22f162e27a9a3p+4
+0x1.07ecf12e9de46p+4
+0x1.057d0b2c8fe93p+1
+0x1.3a2c13afaaa26p+4
+0x1.bd98f5230c3eap+3
+0x1.1e575336e2f57p+4
+0x1.5ca70f783e0e6p+0
+0x1.7e06e04b918eap+3
+0x1.a237752d531fp+1
+0x1.405cdfeab8c14p+4
+0x1.5abb047c6002bp+2
+0x1.6704a334f7607p+2
+0x1.d591d90b13821p+3
+0x1.ef84ba1f1ff93p+1
+0x1.1aa9e21938243p+4
+0x1.c2fd89934716bp+3
+0x1.36c21ef230851p+3
+0x1.047d039559ac2p+4
+0x1.0b0a75a7b3b8ep+4
+0x1.64cc817d3e89p+2
+0x1.0bb22de40838ap+3
+0x1.d2694c785a489p+3
+0x1.662de54e27732p+1
+0x1.da576fce608dap+3
+0x1.cfe1a61f99b5cp+3
+0x1.14f790e106ce3p+4
+0x1.0cb9f5679a05dp+2
+0x1.9f3b947efedebp+2
+0x1.006232fa1e539p+3
+0x1.9995bec74c946p+3
+0x1.08a44431063a9p+4
+0x1.86913f4ed328fp+0
+0x1.045de1cc8578ep+4
+0x1.21ea6f062dff5p+4
+0x1.a9bc04c72e71p+3
+0x1.06d6ca45dfd02p+4
+0x1.0b9d718490182p+4
+0x1.0dc5380acc52ap+4
+0x1.7df3971130f47p+2
+0x1.7e42569d98d06p+2
+0x1.b441cd6deec26p+1
+0x1.3219be39f71bbp+4
+0x1.968fac431a865p+3
+0x1.4f4613455f88p+3
+0x1.be0578729f48bp+3
+0x1.28e9ecec6beccp+2
+0x1.faa7abd46d2c8p+3
+0x1.c132c3fd5622ap+3
+0x1.abcbb4869d3ddp+2
+0x1.47dce09e73664p+2
+0x1.2fdf7bb3ba29bp+4
+0x1.2ce7d95313412p+3
+0x1.1c73a12d3c1b5p+4
+0x1.191cd2fe38f72p+4
+0x1.4019e0ce3db79p+3
+0x1.2bfc49d5c30ep+2
+0x1.2236b0b0d9e67p+4
+0x1.dd2490018ed2ap+2
+0x1.3c92b1f07f84dp+3
+0x1.fddedab98a1ep+2
+0x1.001991bb43232p+3
+0x1.322a6acff6a8fp+4
+0x1.16220c67076cap+2
+0x1.747d9c944a7cdp+3
+0x1.59b3bc1431d44p+1
+0x1.2068d041621b9p+3
+0x1.9ea30b1e0c57p+3
+0x1.2477bff0aa31fp+4
+0x1.26bff0e706798p+0
+0x1.f85c3ac7bf9b4p+2
+0x1.845a8221f504ap+3
+0x1.158238c7409ecp+0
+0x1.ef942a9a7bb34p+3
+0x1.201b4d34be736p+4
+0x1.667a9af097593p+3
+0x1.a5b1428f0b092p+1
+0x1.5ef17a0039859p+2
+0x1.4afad7f4f1cefp+4
+0x1.cafd89e56a339p+3
+0x1.4bb797c50ee69p+4
+0x1.4b947fa3c86b2p+4
+0x1.1351636d034d1p+1
+0x1.641c032742c1cp+3
+0x1.2895e269003b5p+4
+0x1.c8671969d7faep+3
+0x1.47ce2c7521c75p+4
+0x1.e50f3787cb8fp+3
+0x1.7e14d108dfc1cp+3
+0x1.77977c0029ce2p+3
+0x1.8de1872654c89p+2
+0x1.25bb7cfa23ccdp+3
+0x1.0c930fa72c1a4p+3
+0x1.e8ed57d159d22p+1
+0x1.1f1bdee1647b8p+4
+0x1.7837c92fa1c3dp+3
+0x1.5a1073796006cp+1
+0x1.69f5ac13f049ep+0
+0x1.3bd5d7ffd076cp+0
+0x1.1c044ca79e09bp+2
+0x1.3915d3ce34112p+4
+0x1.7d6187e7b30a2p+3
+0x1.2fe28cf6da352p+4
+0x1.204f104afb4c9p+2
+0x1.507e1b2ca9ebfp+3
+0x1.246d6f42c80c1p+4
+0x1.10f57368815e1p+4
+0x1.f4ea0337e6936p+3
+0x1.3b649203563eap+4
+0x1.0534f70f5b828p+3
+0x1.ffc7c883881bfp+1
+0x1.7cede967d7c6ap+3
+0x1.4476c435acc06p+3
+0x1.6d21025a81fedp+3
+0x1.1566995359ea2p+4
+0x1.6d95f56fc85d9p+2
+0x1.0c6a36e011962p+1
+0x1.72f83403b056ap+3
+0x1.ef01bde96e7dbp+1
+0x1.4f862fe873d62p+3
+0x1.30d6913e863cp+4
+0x1.34dc8a204219ap+4
+0x1.de197ca60bc5bp+3
+0x1.008a208854896p+2
+0x1.f230bafce2e16p+0
+0x1.1a38b845c7284p+4
+0x1.3e9f0c6dc6baap+0
+0x1.0074094d8d6bap+4
+0x1.b4c3d734f1904p+3
+0x1.503166f202efap+1
+0x1.2ad0dec4426ccp+4
+0x1.6a10f3a06e86bp+1
+0x1.026673b1b333fp+4
+0x1.3bbb095107b89p+4
+0x1.8d2bdf28a8412p+3
+0x1.3a8537229cbcbp+4
+0x1.2d1b62e33ef44p+2
+0x1.ba9452544d014p+1
+0x1.2f1dd9c23bea5p+2
+0x1.424c8305f8009p+4
+0x1.033cbc1fe205ep+3
+0x1.1138f9fc9a81ap+2
+0x1.c11ba3de538c6p+2
+0x1.2e92aaac11cdap+2
+0x1.a4c72fc134e04p+1
+0x1.93bdd37a646dcp+1
+0x1.dd7067f5cc8f9p+3
+0x1.131ad84cd15eep+0
+0x1.d8fe97a5ec17cp+2
+0x1.8f83fde687734p+3
+0x1.001888124687p+4
+0x1.84a149c4f2dcp+3
+0x1.1ba44d054321bp+2
+0x1.4cf194e5f891bp+4
+0x1.1e1dc459ed674p+4
+0x1.30bdb2aa3e5cdp+4
+0x1.a5c272a6d9e6cp+3
+0x1.cfb88977ceb84p+3
+0x1.2f1ba18b5672ep+3
+0x1.23378f06e1971p+4
+0x1.0750a8ee6d7f2p+1
+0x1.9904f2d7d0a84p+2
+0x1.fda8e72fd7c6ap+2
+0x1.2fcd13ffb1698p+4
+0x1.155b6ebfdfb72p+4
+0x1.f4e689db8e1b6p+3
+0x1.7bea46b92051ap+2
+0x1.705531184e5f1p+0
+0x1.45a5da1c62ae4p+3
+0x1.4b2548571293p+4
+0x1.87ac772d291d6p+1
+0x1.137f3770579fp+4
+0x1.445a8a4d20512p+4
+0x1.44e216c7f0296p+3
+0x1.396a75c020789p+3
+0x1.144a4c0f53e56p+3
+0x1.976261cb16d02p+1
+0x1.021b25a2d4c0bp+4
+0x1.2ebb267b71186p+4
+0x1.2e120bf4dbc46p+2
+0x1.4729cfe43f441p+3
+0x1.cb91dc0980db3p+0
+0x1.d3102c9d86c6ep+3
+0x1.b37e74746595p+2
+0x1.ea96e5f9540ccp+3
+0x1.c3ff68136d5d1p+0
+0x1.d44613733c83cp+3
+0x1.130ec73feda13p+4
+0x1.ea690d88bf8dp+3
+0x1.fb113619bf051p+0
+0x1.65685b98093ddp+0
+0x1.12f19cf204b08p+4
+0x1.9049d7fb85ecdp+3
+0x1.18383b6b4c132p+4
+0x1.99495e8ca535cp+3
+0x1.a6c344c1aea5cp+3
+0x1.8d96d18558ed1p+1
+0x1.b3c8246d3125p+3
+0x1.0d472728e4b92p+4
+0x1.25c9b0ba042adp+4
+0x1.17a6c0b11fe74p+4
+0x1.40f12564ee98ap+4
+0x1.8ec73ec0fc737p+2
+0x1.26f88cbaa552ap+4
+0x1.f4f792a4355a8p+3
+0x1.41a501b0c4c79p+4
+0x1.41511ec2e48dep+4
+0x1.d29977891a73dp+2
+0x1.bc8060fcb230ep+2
+0x1.694d311f0de4ep+2
+0x1.51a87fca323aep+3
+0x1.89faa84839fcap+2
+0x1.5853020d35facp+2
+0x1.77d474d8d0a27p+3
+0x1.1b9150fb76e1bp+4
+0x1.0f34b3a15aa8p+3
+0x1.bd22537864bc2p+3
+0x1.633641547025p+2
+0x1.bcf9eb1f1aa4dp+1
+0x1.fb5ff50d00816p+3
+0x1.accd8c322e2dp+2
+0x1.06c3a23c5729cp+2
+0x1.713408add6e18p+3
+0x1.3ed8c363b4881p+4
+0x1.3f95ba757a19p+4
+0x1.3064f446848a5p+3
+0x1.a0989601ffebdp+3
+0x1.2f9a99c7e1867p+4
+0x1.2c06353613c42p+3
+0x1.e24d0b02eda08p+3
+0x1.623b89cefce44p+3
+0x1.1155e67af4fc5p+4
+0x1.b2fcf0ba20091p+1
+0x1.31c05df8c677ep+3
+0x1.f50a4e4e835e8p+3
+0x1.8f5c8d3774e29p+2
+0x1.3b92327091382p+4
+0x1.cceb27c7579eap+2
+0x1.4d4d2b830bd86p+4
+0x1.107532316830cp+4
+0x1.e789605e38263p+3
+0x1.c48c47dfbe0ep+2
+0x1.d8ca37e653213p+3
+0x1.d3d7c0a61b242p+3
+0x1.11b89db0e974ep+4
+0x1.f86af61e2f874p+3
+0x1.3ed67132b106p+4
+0x1.27744ada9eaa9p+4
+0x1.03242f1054833p+3
+0x1.d3acffda6036fp+3
+0x1.2564f83bd428bp+3
+0x1.35f0145433fa4p+4
+0x1.75b9fab50a92fp+2
+0x1.bbeaaf0e34458p+3
+0x1.058e1feb53ed6p+4
+0x1.9b2689259c536p+3
+0x1.f364edc09eeccp+1
+0x1.6876a3fc2e37cp+1
+0x1.347f0ba3be12dp+3
+0x1.530750fbf9714p+3
+0x1.5f1f6c2c7818ep+2
+0x1.95955dda07946p+0
+0x1.3e03978eb053ap+3
+0x1.13aee4466482ap+3
+0x1.743d829bbcc92p+3
+0x1.4dfd86ff2c5ebp+4
+0x1.14b691041d618p+2
+0x1.e4eeec581aad8p+3
+0x1.bd267eeacfa5ap+1
+0x1.247a74e2af8b9p+4
+0x1.471442d730906p+4
+0x1.a620d581fc7ddp+3
+0x1.7f800c3599266p+3
+0x1.7643ba1873735p+0
+0x1.f79460658c93cp+2
+0x1.405a39e426b1dp+2
+0x1.29b21ee2c7cc6p+4
+0x1.eb51a32110ec4p+2
+0x1.0caf072cc4fafp+4
+0x1.a975636c56afp+2
+0x1.5f8b2ac604d83p+3
+0x1.2312654c8cf71p+3
+0x1.929f65ab90141p+3
+0x1.4425b94b96761p+4
+0x1.0c8a9974a06dap+4
+0x1.0e64f96d7034p+3
+0x1.e650aaa2d865dp+3
+0x1.3187224e0b77dp+4
+0x1.8cb9a037f22d5p+3
+0x1.1cfef2997360ap+4
+0x1.128f446e49ed9p+4
+0x1.07b8c4616c16ap+4
+0x1.6374096e84168p+2
+0x1.9ab614e0f1504p+3
+0x1.768673b636438p+0
+0x1.45e6d5b49ce4cp+4
+0x1.2f1ac8a436445p+2
+0x1.5ad9a3fa20397p+2
+0x1.bac4b024cd251p+3
+0x1.aca9d6011f82fp+3
+0x1.0a6491bb608cdp+4
+0x1.7fa13347f3781p+2
+0x1.ee7ae9cdac88fp+1
+0x1.be5b192f6ba14p+3
+0x1.be29ac197ec52p+3
+0x1.20d03c2c07ca5p+3
+0x1.b69c6687da572p+2
+0x1.b096b7f3236d6p+0
+0x1.3b4b0c3e6449fp+3
+0x1.40e731e905b46p+3
+0x1.125edfa3929a4p+3
+0x1.f27bf6402c768p+2
+0x1.17f60dc032109p+3
+0x1.311136561f5e6p+3
+0x1.6e435b1be7b58p+0
+0x1.90152b112dcccp+2
+0x1.ad04a63fb6cf7p+3
+0x1.d57c756947871p+1
+0x1.1206945021c05p+4
+0x1.6e50d506ab3e3p+3
+0x1.84b0dfe4ba27ep+3
+0x1.01733bded94fcp+4
+0x1.18581e36c04dbp+4
+0x1.f81ce3b4be3cp+2
+0x1.372cabca10e2ap+3
+0x1.a05fc85b1cebp+3
+0x1.32734ac717994p+0
+0x1.7af5903c6c565p+2
+0x1.470cb8eccfa7p+2
+0x1.e95e594e883b2p+3
+0x1.5c8a342f90c6p+2
+0x1.134c132132662p+4
+0x1.48cedaf10b7abp+4
+0x1.1be0ccbb16d2cp+2
+0x1.636e3c28d8d26p+2
+0x1.78603a398895cp+3
+0x1.81b757d5fbfd6p+0
+0x1.3dcd14c0671f6p+3
+0x1.fc4fdc5ef88ffp+3
+0x1.354fe086d68b6p+3
+0x1.d4f7c65ae6fcp+2
+0x1.805fbc8a81722p+3
+0x1.1118323a10893p+4
+0x1.9cc99d81aeefp+3
+0x1.bfbfd19c2e661p+3
+0x1.89851d98f065ap+1
+0x1.9565b4a2a6083p+2
+0x1.521ecd51606c1p+0
+0x1.a86ab7051096ap+1
+0x1.b1189c3e4bd6dp+3
+0x1.f3528c7db9e88p+2
+0x1.38bbb39dbffddp+4
+0x1.19ac090558ab4p+3
+0x1.3d5f228734471p+3
+0x1.f86c921de81a4p+3
+0x1.1376e6cec7a97p+4
+0x1.4fb49ceb37389p+2
+0x1.4b57d79216b4fp+3
+0x1.2cd8ed711e737p+3
+0x1.c8321295476b8p+2
+0x1.a2b6ffa85615p+3
+0x1.20aa1b6f866f2p+2
+0x1.e3c4ccac9f977p+1
+0x1.4c6829cba3501p+4
+0x1.314e696227fa5p+4
+0x1.35d6ede179c2ap+4
+0x1.a869889041defp+0
+0x1.109d6d98e3a34p+4
+0x1.f9b7cf2a42b68p+3
+0x1.2a274762da0e6p+2
+0x1.03be92ab90e2p+4
+0x1.ffa2a1dc59c42p+3
+0x1.465087599211bp+4
+0x1.47d2f2dc60cb9p+4
+0x1.996f695b6975p+1
+0x1.22fef9cdf1aeep+0
+0x1.157fb6560fa27p+0
+0x1.d9bfda0cc78f7p+1
+0x1.40d6fca573ad6p+2
+0x1.5453d608addf7p+2
+0x1.1f22ad13883ccp+4
+0x1.ca0f2f327ce7ep+3
+0x1.409ebf51d8c6p+4
+0x1.39e3cb6003786p+4
+0x1.1a801b471e61p+4
+0x1.2720c655e1865p+4
+0x1.a8e12b4a3a9cep+3
+0x1.1fe0f63c52fdap+4
+0x1.e0ca9ada7e622p+3
+0x1.38de80353a40ep+3
+0x1.2d02a1d85e144p+4
+0x1.23e8eae9ebba2p+4
+0x1.e27c48ee180c5p+1
+0x1.c1d8ec1718f42p+3
+0x1.f8923bc457e88p+1
+0x1.8b3e006533b9cp+3
+0x1.129558bbc028cp+4
+0x1.0bfcd82a478aap+4
+0x1.8b8ed49f67786p+1
+0x1.2d8cc3afc2d06p+3
+0x1.1a11f8448c258p+4
+0x1.f80c36a646be1p+1
+0x1.2ebd4bf35d0bap+3
+0x1.a9248ea1aa774p+3
+0x1.75e91598fea4p+2
+0x1.3ad3ddb86dee3p+4
+0x1.e4e9cd17eeebap+1
+0x1.0b5e166befc31p+3
+0x1.1a9f08eecb10ep+2
+0x1.ee6752455c0e9p+3
+0x1.0313f0654a01ep+2
+0x1.6e30ab442e4dap+3
+0x1.54bc20ea6328ep+3
+0x1.5a6d592506a4cp+2
+0x1.8c72025467d36p+3
+0x1.bfc3e0ed0b855p+3
+0x1.0298298168622p+3
+0x1.c536b1586a396p+3
+0x1.a2f0c4be494fap+1
+0x1.b378c5b4d1fd9p+2
+0x1.1b926c921358ep+4
+0x1.7c9e9e2cdd8d8p+1
+0x1.1c64477cb30dep+2
+0x1.a2ead206ebb5p+2
+0x1.e90baa086b4a3p+3
+0x1.0ef10787235ap+3
+0x1.8a2123d63b5f6p+2
+0x1.d851ece0688bcp+2
+0x1.f28eda493231fp+2
+0x1.66f14aa7d0a7p+3
+0x1.21653a0b016e5p+3
+0x1.4a30648bdf347p+4
+0x1.4095ac872d81cp+3
+0x1.0dc6782049883p+4
+0x1.a987b13d4357fp+0
+0x1.9afccd179846p+1
+0x1.59ca6cbbb5d4ep+3
+0x1.78159db2412b3p+2
+0x1.887f7c203810ep+3
+0x1.07a96e3cb6561p+4
+0x1.44a78de287809p+4
+0x1.2a3a39b0e12bap+2
+0x1.002988700974bp+2
+0x1.7e15a9f83ffb6p+2
+0x1.d1487f37bbc4ep+3
+0x1.fff08ca5dda46p+1
+0x1.a5519e9703745p+1
+0x1.3adc502bc7f93p+4
+0x1.c6fc1293e655cp+2
+0x1.2cd663ce2c7f6p+4
+0x1.4e8e137d01e68p+3
+0x1.98b3376fd2f9bp+3
+0x1.07110022cf908p+2
+0x1.073cc5d60475ap+2
+0x1.4f1dc4f95406fp+3
+0x1.e079749d41cfcp+0
+0x1.a37a6acfb3e18p+2
+0x1.ccb86737f7cdap+3
+0x1.84a5db68881f7p+2
+0x1.bdffcf2d3c6fbp+2
+0x1.95327d0ae329p+0
+0x1.be41b90fa9e66p+2
+0x1.a7f99d35e0e14p+3
+0x1.8fede7684bdbep+2
+0x1.8e59937a1f516p+1
+0x1.3b609e5cf5d5ep+4
+0x1.2f99916837c4cp+4
+0x1.2c9e946b9a35fp+4
+0x1.6ac558d61a916p+3
+0x1.0da0248498d02p+3
+0x1.a14722c0383b2p+3
+0x1.91d4a59129cdbp+2
+0x1.b6468de57becap+2
+0x1.8bf98a9a5a73dp+1
+0x1.a04e627ad4bfcp+2
+0x1.04aa26638f10ep+4
+0x1.37156cfdee40ep+4
+0x1.0aaf423b38bfp+2
+0x1.0049e14e42d9p+4
+0x1.64b8bb6ff0d31p+2
+0x1.c1d12cc09be39p+2
+0x1.48f2601c7a11cp+1
+0x1.1bc636469e59p+2
+0x1.05ba7324d8106p+1
+0x1.f497ee14cda2ap+2
+0x1.fc20fb88a6d4ep+3
+0x1.1f6fbab4437d6p+3
+0x1.30f0fbd3877cap+2
+0x1.21300aacf357bp+4
+0x1.40dffcd014182p+4
+0x1.148c6c65fa79cp+1
+0x1.0ced111e61bbcp+4
+0x1.05d7db1d9080cp+3
+0x1.b97d93b60aed9p+3
+0x1.225c571069ee6p+2
+0x1.c1000ccf3309p+3
+0x1.5d1e28b8fe92bp+3
+0x1.282c0a42f18b7p+4
+0x1.48365f44e855ep+3
+0x1.ac0913776f348p+3
+0x1.89825126a61a5p+2
+0x1.43019e662c957p+3
+0x1.21ea1df5d23e8p+4
+0x1.53f9f878339c9p+3
+0x1.c4c7d358f8452p+1
+0x1.f0bde6ac30fd6p+1
+0x1.0bf03d5822ab7p+3
+0x1.13d385a5a4eb3p+2
+0x1.407a4e5d5d82ap+2
+0x1.d0a87c01ed5c3p+2
+0x1.0fa659e4d51eap+3
+0x1.2a3cb8bca7d68p+2
+0x1.c4ef70bbcd754p+3
+0x1.c50759cd6e6cep+3
+0x1.4913bdfacaca5p+4
+0x1.3928ed5033b26p+0
+0x1.05212afb96914p+4
+0x1.69c42fc808697p+2
+0x1.f3a8417a8d3a8p+3
+0x1.193b42b55650bp+0
+0x1.a532c703eaac6p+3
+0x1.799c845ced603p+3
+0x1.f417c5488614cp+3
+0x1.2cb510853a476p+0
+0x1.9c4ba0b99724dp+3
+0x1.38d090c927606p+3
+0x1.f56fb1a0e08c4p+3
+0x1.0dc074d15e592p+4
+0x1.f3c737709ea24p+3
+0x1.09a7ab48d83bbp+2
+0x1.2e98b5a2aee9bp+2
+0x1.6186c7b8c3602p+2
+0x1.cd0449d8f7ac8p+0
+0x1.38a34af161e4cp+4
+0x1.53fc9977d3005p+2
+0x1.c2490dc1c2997p+2
+0x1.0eaf905666b47p+4
+0x1.94b3804f4cd82p+3
+0x1.d12ea3e32d8c8p+3
+0x1.40f888799196dp+3
+0x1.dd9716e656128p+0
+0x1.a4e087d90063p+3
+0x1.209e1db6906ffp+4
+0x1.6780ec2ed20c3p+1
+0x1.93c01e851d722p+1
+0x1.2280589c5c8dfp+4
+0x1.8fbb465b190f1p+2
+0x1.bb194e1e66e81p+0
+0x1.1cb2ca8085d12p+2
+0x1.5ec11c1e0de9ep+3
+0x1.100bbc984642ap+4
+0x1.f0c1e29ffb819p+1
+0x1.b8a2dcfcd7f8bp+2
+0x1.2d1cd988a981p+4
+0x1.c4aad47b104a8p+1
+0x1.cfb6fdc18dc9fp+3
+0x1.220d9e58d0915p+3
+0x1.5b21ee66da86ap+2
+0x1.b366d2921e31ep+2
+0x1.eec7a45c6b97ep+1
+0x1.3fc9596c17ae3p+4
+0x1.4996ab56fc1e8p+3
+0x1.3037fd0e2290dp+4
+0x1.0a455f3864d3ep+4
+0x1.fba9d2081cd61p+3
+0x1.3043a9426e167p+4
+0x1.309882065ac72p+0
+0x1.4710767ce0f93p+2
+0x1.4cc4376b3c97ap+1
+0x1.20b1986a94dbdp+4
+0x1.8ef335a9c64a5p+2
+0x1.03bfc77b8909p+4
+0x1.25294bdd7e96cp+4
+0x1.9b8a275b628dap+2
+0x1.05b9c8e58d19ap+4
+0x1.21ce53da7a726p+4
+0x1.e6e75b656d893p+3
+0x1.3fb161b4c84f4p+4
+0x1.65494e3783097p+2