add workload traces for missing functions (double format)

This patch adds workload traces for all double format functions where such
files are missing.  For each function, a set of 1000 random values is
generated at random using SageMath, such that the output values are
meaningful (for example avoiding too large inputs for exp10 where the
output would be +Inf).  More details about the generated values are
given at the beginning of each file.
Reviewed-by: Siddhesh Poyarekar <siddhesh@sourceware.org>

1 files changed, 1004 insertions, 0 deletions

diff --git a/benchtests/j0-inputs b/benchtests/j0-inputs
new file mode 100644
index 0000000..14d901c
--- /dev/null
+++ b/benchtests/j0-inputs
@@ -0,0 +1,1004 @@
+## args: double
+## ret: double
+## includes: math.h
+# Random inputs x*2^e where x is random in [1/2,1] and e in [-23,1024]
+0xd.447c2c78361p+552
+0x1.6464b5dd324bep+660
+0x1.dcd519e1c86p+936
+0x5.0a32ef3f79af8p+360
+0x6.213e1b66945e8p+84
+0xf.d1e6f2b42f7f8p+548
+0x1.028a53e4c903dp+932
+0x1.d793b37c40708p+944
+0x2.260b7be806dc4p+60
+0x2.f17f206ab777p+212
+0x1.231b2bbdc1a4ap+612
+0x7.7bdea07f9148p-12
+0x2.97547a33d9e7cp+352
+0x8.f406ac340115p+416
+0xb.40ec38aba7aap+996
+0x8.0577824701eap+856
+0x4.584f852840308p+652
+0xe.a0889625f6acp+756
+0x5.0b6ea6e127a4cp+600
+0xe.e489b0adaa0dp+904
+0x1.71e534ed8bb22p+88
+0x6.0612635cdbcap+416
+0x1.3ff1fc700e6adp+644
+0x2.235ae43b007eep+432
+0xa.d70447a8cd488p+1008
+0x6.8b971aa5c5b28p+932
+0x5.b829a1430e7d8p+184
+0xd.2e2bd7d34697p+1000
+0x8.93c381f17194p+616
+0x2.f5d3162fcb3c4p+1004
+0x1.86ba2090d94c2p+608
+0x1.e101d5ca2bce9p+100
+0x3.4359bdcfde93p+68
+0xb.9b03953fe9e1p+544
+0xa.4f838e5b9effp+1008
+0x3.7cf69bc7405p+512
+0x2.8ea8f6e0e66c4p+96
+0xd.68e2eec345038p+336
+0xe.feece47f59bep+696
+0x2.a038a423e5e4cp+768
+0x1.e7350f633be32p+844
+0xb.6df88ca2d25cp+304
+0x1.29b02592c6c4cp+952
+0xa.889b52b89bf9p+160
+0x1.47d9e623c956ap+372
+0x3.06896f5fc36fp-20
+0xb.40fadcf4ec9ep+112
+0x9.6122f006c9ddp+876
+0x9.4b13ead4762dp+948
+0x2.fa703f5705a24p+600
+0x2.296dafd88265cp+804
+0x2.a4de1083b7628p+468
+0x1.1d3287b00073ep+16
+0x1.83c471052356ap+452
+0x4.51df86e5b18c4p-8
+0xe.120e74a1e65ap+804
+0x6.3e72bb5c5beep+284
+0x5.6f7e05ae38c54p+828
+0x8.7d0a4a4ee9d88p+364
+0x3.bcebbe7847d9p+260
+0x5.f332650777788p+736
+0x9.1fac1b30ba37p+424
+0x2.3d659cadd7c3cp+376
+0x1.d7e4869eb31b4p-12
+0x3.a009bcd56069ep+240
+0x4.33e750631b718p+916
+0x2.65d59f6468d5cp+248
+0x1.da5f85148fe29p+448
+0x2.4c88dccb2d64p+276
+0x1.a33b0ebb71c94p+740
+0x1.b4f0e99131cb1p+352
+0xf.7a0247808c4cp+932
+0x3.e1b4fbf79fad6p+1020
+0x1.8264b03ac73c4p+532
+0xd.1dde901efbf6p+756
+0x2.924027e7c5448p+60
+0x1.0e023c778ee19p+472
+0x3.7bf04eff4d3e4p+236
+0x1.a92c8250a7bb1p+652
+0xc.8b8af6d2bce6p+676
+0x4.bdbc076468a5p+100
+0x4.2493e9f03bd54p+436
+0x6.b021388979008p+300
+0x1.e043b1173bb6cp+740
+0x1.5fff2b632545ap+632
+0x1.dddf21446c106p+452
+0x3.25359784563a8p+952
+0xd.15b1081c6d09p+424
+0x8.d318c13acb78p+728
+0xf.b542233e8997p+180
+0x3.1f37e847e677p+592
+0x6.0c76fa632beb8p+812
+0x1.3663c02c78458p+540
+0xb.1f46dd51c482p+704
+0x3.22dc8e2271c5ap+148
+0x5.3c149eb6ba3p+956
+0x1.0a1ace208b78ap+920
+0x1.27d6c21bdc007p+720
+0xc.12ae83e9dca6p+984
+0xc.2118c5a6f596p+884
+0x1.33b8e77b1e697p+936
+0xa.174d72c5482cp+104
+0xa.0d9cd9d44b18p+488
+0x1.684551382889ap-24
+0x6.66964859226ap+828
+0xa.1afd9b250679p+32
+0xb.1b4f0ee78575p+784
+0x1.bf7dcd721156ap+308
+0x1.6d2cb4d377b05p+128
+0x3.a91acf18273a8p+736
+0x1.be72c1209e0bp+192
+0xc.8264a01053728p+16
+0xd.a33acccb7259p+104
+0x8.14fcc00480d2p+64
+0x5.d2a68348360ap+652
+0xd.5133cbc060dcp+572
+0x8.157463d18ba4p+920
+0xc.743968d7e1968p+212
+0x5.cc55077ad442p+64
+0x6.82088dcf948a8p+668
+0xb.e11e567b7355p+312
+0x3.f9ecd1e9a7e1cp+904
+0x1.e2fe35f73b6eap+184
+0x5.ecb261c4822d8p+1020
+0x3.1842b9f86b8e4p+328
+0x1.69f9f830575e8p+620
+0xe.b3eb298b9cf5p+924
+0x3.3a6d421bc3efep+1012
+0x1.836812b1491a3p+936
+0x1.d3480374fa3c8p+208
+0x4.f6a28b190c128p+104
+0x2.6300ec9e0df0cp+740
+0x7.df2dc0611ff58p+580
+0xb.bc07b9419709p+828
+0x1.a93f8a3a08df5p+332
+0x6.599930c8c3c8p+952
+0x7.99eecb9e5a9bcp+188
+0x8.09216073db9f8p+664
+0xc.f58b4456d44fp+1008
+0x6.f1d796379f61p+432
+0x6.1097ab8e864ccp+800
+0x7.6faeaa84fda7p+340
+0xe.0d92a7a0103dp-12
+0x2.873793f6a04c6p+472
+0x4.342ee46c50074p+168
+0xb.04ec0d7eb80ap+404
+0x1.a7c39c5cc94bbp+836
+0x1.205a554b3f8ep+584
+0x2.966918c849106p+732
+0x1.0a63105ba84cp+496
+0x6.cfd9eb08f8cap+164
+0x2.0c6b468a1f99cp+936
+0x6.cf6c8f5849d08p+808
+0x7.f4f0a258f3414p+868
+0x3.094db507b7458p+996
+0x3.c9758be1ec3e2p+272
+0xb.b5c4e1790e3p+928
+0xf.3aaab54319b4p+52
+0xe.603e9208fc9a8p+1020
+0x5.880ccf35051c4p+944
+0x8.29aeaf2aa479p+472
+0x1.3d3934ffba2e8p+656
+0x1.0e71ee3726ffap+144
+0x8.9fa3e4d2ed41p+348
+0x8.ecd3e09b110ap+972
+0x7.c7a011d69243cp+400
+0x4.b5b22c387cd78p+112
+0x9.3342b09c31b7p+888
+0x1.63fbbe2038386p+700
+0x3.a7d554213cb88p+356
+0x3.705271261d3ep+20
+0x1.759ac4f20a09ep+792
+0x1.b3aae51329e87p+432
+0xe.99d12f67b5a2p+520
+0x5.4084a29571b88p+888
+0x1.5502935cb4996p+896
+0x2.b3daf8f64998cp+920
+0x2.bb0e02966e55cp+224
+0x1.aa9f8181e03ccp+200
+0x4.eb7963886f91p+508
+0x4.44c24f15e7418p+288
+0x3.f3744de92d9f6p+308
+0x2.b65fadee9a6a4p+140
+0xd.4b498e5365bap+484
+0xc.d271f330039fp+384
+0x8.ef68f56fca2cp+656
+0x6.6d916fe45aa8p+964
+0x2.22d95fac5affcp+356
+0x2.5d794647d4df8p+976
+0x3.1698289631582p+176
+0x1.c4487f5ba80edp+272
+0x3.3bd88d6a746bap+400
+0xb.f53af7050e5ap+192
+0x5.25fcb8056e848p+544
+0x1.cf775381aedd2p+512
+0x1.e72a98574c954p+308
+0x2.5fc6caac9cc4ap+956
+0x2.a7991a00bdc5ep+412
+0x1.cff143cb86c92p+120
+0xf.0c67362358f2p+1016
+0x1.9986cbe574505p-8
+0x9.d3007a5b8c75p+512
+0x4.b02b4ad503c5cp+128
+0x7.b94c35cdc6cdp+184
+0x2.3e6233ed6479p+36
+0x4.912452ac21e4cp+448
+0x4.5e8b14ba8a27p+848
+0xa.1cea3c89ed658p+284
+0x1.42a6f670d3fdap+984
+0x7.de084403f7d6p+572
+0x4.c119b1c36a5cp+720
+0x2.ec4272ec87ee4p+636
+0x5.2434b0eb1ad68p+836
+0x2.e01b8f8d773f4p+212
+0x6.af2a9807a8fcp+40
+0x3.dbd2695dd2e9p+844
+0x6.db502e5b417c8p+300
+0xa.04f2c0994fb3p+584
+0x4.dc5bb11f1c908p+784
+0x5.84aa7a5708c7p+760
+0x5.667c81ba4c7d8p+956
+0x1.6d3bd8a2939e8p+212
+0x9.7dc777a46006p+64
+0x1.9230a6536958cp+220
+0x1.a1cda42f4de51p+508
+0x6.f79cc2f208ea8p+304
+0x2.7aa3823704474p+308
+0xf.67d1dc60ee4p+804
+0x2.c2857d032138cp+896
+0x1.eae435540e748p+724
+0xe.47134c74c53fp+956
+0x8.f9dc83921f64p+748
+0x1.0f55620d757cdp+468
+0x1.3816d6a18d642p+260
+0x4.c038f7d73b668p+488
+0x1.407269222160ap+12
+0x3.dfe3db8bac86p+896
+0x4.3bd6d882b556p+104
+0x3.c27e12adbb1c4p+948
+0x3.7d5bd270a6bp+440
+0x1.9c060c8eb264p+560
+0x2.268cff4ad5092p+836
+0xc.63f166bc7b27p+448
+0x3.9a6dbdb702f9ep+328
+0x7.4fbac4749de74p+224
+0x5.292db991974bcp+540
+0x2.72f049897b6bcp+968
+0x5.57e0f15ef70ep+240
+0x3.da33131a3a6ep+980
+0x2.c8a472621a498p-16
+0x3.181a98a4df3p+576
+0x5.fe2b9e4eb1a94p+128
+0x9.c88afcdd54b2p+588
+0x1.1ad8c68273227p+200
+0x1.33b9a825304f4p+952
+0x9.0fcaff7c8c33p+504
+0x3.820b13fbc4aap+384
+0xe.c8a5afc3b1afp+652
+0x6.97ab4bd658f64p+108
+0x3.25332749178fp+468
+0xf.d05a82531979p+744
+0xa.abeb051e1c6ap+148
+0x1.58bd31353b73fp+448
+0x4.781684024d318p+48
+0x7.4c4b55d8c4318p+856
+0x1.461e3eadf651ep+228
+0x1.cff0816a84a78p+136
+0x2.a6ac811639a48p+4
+0x2.aa55c14da96ecp+404
+0x5.53ce36ee340c8p+560
+0x3.f8108923a3514p+792
+0x1.506946a32ca65p+608
+0x1.5f18a2499536bp+736
+0x2.457375001b14cp+196
+0x3.f69a1738e408cp+928
+0x3.6e6c26f72dae8p+244
+0x2.527442d819c74p+176
+0x3.590190a001338p+860
+0x2.1794dfd35d95p+92
+0x2.1833bb3477b9p+544
+0x6.91435dcaa1c88p+920
+0x9.9f6d80fa4c64p+988
+0xe.559b2754b3fap+812
+0x7.dbe433a186974p+1000
+0x2.8430bbea774ap+768
+0xa.1dd840e72f66p+32
+0x2.e93667899bbfp+224
+0x1.064b56bc58ce5p+280
+0x6.a8820bb49aeap-12
+0x2.777c3442a7da8p+636
+0xe.96c18d4db0378p+936
+0x8.dde8e44fa32cp+992
+0x5.ba7f31983485p+76
+0x1.3737909dfd41ep+160
+0x3.84302ef49c5ap+1008
+0x1.84d54f80ea8f4p+316
+0x1.40f8537f7113ap+784
+0x3.0ff846f0ab214p+312
+0x1.4448f79dd3b77p+80
+0x5.b916896dbc9cp+140
+0xa.b24a5398f33ep+160
+0x1.e66daa6c67f18p+876
+0x6.bf975cc512d24p+404
+0x1.9a8a2970b6f93p+956
+0x4.ae8c42665ae28p+80
+0x1.db4a82ac7214ap+368
+0x5.cc20f8e3fc3c4p+284
+0x1.599270322507ap+552
+0x5.2760be021dbf8p+128
+0xa.5a4ff626fbf8p+936
+0x1.fd76d3627f7c8p+348
+0xe.2aa0017b9e988p-20
+0x6.346728300a668p+164
+0x1.77e3f6f0cd12fp+984
+0xe.b105576ecd7p+160
+0xd.86e5d26d5acc8p+512
+0x2.b91cc33fedb6cp+676
+0x7.1f1511643a058p+32
+0x6.37766b8a8f6a8p+92
+0x7.66668ca57940cp+168
+0xc.7b3382cebeafp+400
+0x6.4213b5522bf18p+648
+0x1.2d499660e11bap+372
+0x3.40e2416d1a222p+988
+0x1.62ed1fd05bf64p+364
+0x3.96f6af11b3092p+508
+0x1.ede1f33f241d8p+488
+0x1.c81c23d93e7cep+928
+0x1.de430b5453f91p+88
+0x3.44a76f5154fa8p+532
+0x7.f516c599667ep+588
+0x3.6e5cbd7445e18p+104
+0x3.bb0ebe278a8bap+312
+0x1.786bd57a8cb4p+468
+0xb.352aa0ad8df28p+672
+0xc.b94bdae8577a8p+900
+0x6.14560403fdf24p+92
+0xd.c5bc3f9d81dd8p+708
+0x1.e9a8bffa8a3c1p+124
+0xb.3a764ca0e0dc8p+432
+0x3.ea29d46c4e6ecp+360
+0x3.567bbd3c1d008p+508
+0x3.feff699ad064p+280
+0xc.9a59d30caf858p+756
+0x4.854b2353a478cp+580
+0x1.ad1750adb590ep+244
+0x1.bfcbfe79e1292p+884
+0x1.64f1d6c525099p+1008
+0x1.11c0b19a59e56p-4
+0xc.55e70fdabf758p+120
+0x1.051343caa7fe3p+452
+0x1.a6b6568030833p+984
+0x2.1c8b9170cb62cp+1020
+0x4.2d4a208bac8d8p+444
+0x1.5f8f54b44efeep+308
+0x5.b1642fb030754p+560
+0x6.810ded3984cc8p+904
+0x7.3adb8221fed8p+268
+0x2.ac1b36e36a3cap+480
+0x1.a39066baaf5e6p+288
+0xe.c8134e83f35ep+152
+0x3.f1c6849d8fb26p+68
+0x1.96fe693728bd4p+608
+0x6.6f455f3193e68p+112
+0xe.e403b62d4b3a8p+592
+0x1.ef6a39ba59ac6p+972
+0x1.5c15c021cdbep+860
+0x4.17301ffc39968p+936
+0x8.d7d7d022d54ap+172
+0x1.eecf10b437049p+404
+0x1.8c6d2e55a3c45p+124
+0x9.62d0b34d3074p+652
+0x6.0ca13bf97a7e8p+776
+0x1.a15d615e53fcap+760
+0x1.544e441dbf90ap+356
+0x3.4174514be479ep-12
+0x3.d588869591c8p+924
+0x9.96a7c1dc75c7p+836
+0x1.381d03f0590dfp+296
+0xa.bec236f209f1p+760
+0x1.a771972610f7ap+928
+0x6.12f9d94063cfp+672
+0xb.d3d65ec97639p+920
+0x1.a025bc38383ecp+1000
+0x2.d1279ee9c550cp+480
+0x2.66c5ddadaff8cp+872
+0x1.f5a633e9374acp+784
+0x3.2d09f3cff454p+664
+0x1.42956b7b9d396p+620
+0xa.c001a02125878p+636
+0xa.637df352d57ap-16
+0x3.7da324480d454p+852
+0x4.3d5df594562ecp+720
+0x2.5ccaa8ea424eep+308
+0x2.9ff71b4ef5aeep+344
+0x3.c543ceb3b6e6cp+448
+0x6.c470fc51f3804p+564
+0x1.d1d86500c2998p+424
+0x6.1793a595426b8p+516
+0x1.77323ebf68eefp+416
+0x3.071f49cf3a73p+456
+0xf.5057e44628dbp+212
+0x1.a9d7275dec33p+268
+0x2.21c0718196964p+764
+0x2.bce50a7b76af4p+632
+0x1.88364f9318466p+156
+0x3.ca0e498548cacp+912
+0x5.56cbc888a0858p+468
+0x1.e72e51fbb88b6p+360
+0x7.750d103e52248p+208
+0x2.ea7acf3667ca4p+548
+0x2.d47297fc32024p+520
+0x1.7ba3a624dff81p+116
+0x7.4449a93961a3p+596
+0xc.85d92fe3cacd8p+792
+0x1.57e74798e78cep+964
+0x3.480afbdf32c0cp+624
+0x4.33d82cef0543p+436
+0x6.9791ee4d7bbf4p+948
+0x8.10a00bd6bc2f8p+704
+0x7.5b5ff5eb6ac08p+480
+0x9.a3a8dca7e7948p+792
+0x1.1d37ccfd767cap+500
+0x5.459d0668e11d8p+584
+0x3.07dd0a8ce28acp+996
+0x5.e8ea2bb2a6fecp+548
+0x1.a6763347fe228p+896
+0x2.de398e03ac934p+952
+0x9.bc356e1d3c1bp+1004
+0x5.43b3ebf7d57a8p+444
+0x6.00f18f30bbe3p+920
+0x6.f9420d2aba87p+100
+0xd.f4f1cd4432e1p+160
+0x4.d65ba68c36c9cp+52
+0x2.6c7b3e9dc6ebcp+552
+0x9.ec0952ae874dp+972
+0x4.b6f8f311ebbccp+96
+0xd.7e54c28f8e91p+332
+0x1.23fdd282f72bap+440
+0x6.f1766d9da871p+344
+0x1.a8c538c1ec47bp-8
+0xf.5965e5b626e6p+216
+0x3.a54326ea086e6p+932
+0x4.c0bb33a56491cp-20
+0x6.e0348f11aae58p+404
+0x7.cceb599fcdcc8p+40
+0x2.84380295e5548p+508
+0x1.0930fcb020fbfp+900
+0x4.36c9bd2b0b9f8p+148
+0x1.4aee1c251d664p+80
+0x2.2493e4096377p+800
+0xa.7b9ef3ef9359p+160
+0x5.8a01edeafbb24p+744
+0x1.72b0bda4e55ebp+224
+0x9.c7794e20a52ep+708
+0x4.b08df3641a018p+52
+0x2.235a24826dfa6p+328
+0x1.8880c439b466dp+864
+0x1.34448d90a66bep+336
+0x3.06d1295381d38p+948
+0xf.b2418dd4e235p+688
+0x4.7550476dc0014p+384
+0x3.c3b1c9bd69ea4p+464
+0xc.2008e42d97918p+332
+0xa.ec7771cf405bp+988
+0x2.724528d305814p+964
+0x7.1c93ed560a47p+840
+0x1.e231b0e53b5b7p+692
+0x7.b9f028c3f61dp-12
+0xe.133a2a9a61798p+60
+0xc.d248141e3729p+320
+0x4.3af9285abc6a8p+816
+0x2.d7091922a9834p+544
+0x3.655085a811ee8p+892
+0x1.936656828d3a7p+708
+0x3.b56b2f75b226cp+924
+0x8.803c5ffc5307p+680
+0x4.e048eb54b9b08p+344
+0x6.e8cf25ad1b194p+1008
+0x1.f375a065f7573p+20
+0x2.7ba5d085abee8p+448
+0x3.1a66c9808ba1p+808
+0xc.30e110964fcap+236
+0x2.750feaf87e208p+368
+0x8.0e7daae69a72p+424
+0x4.8a74d8e9f2138p+396
+0x2.91861e1672dc8p+432
+0x7.3170e4671b618p+608
+0x2.1c9d9fabbbde4p+144
+0x5.79e419dfe5af4p+756
+0x3.f66f084550c22p+708
+0x1.2e7c1087e4058p+652
+0x1.1c7910e37f333p+324
+0x1.4fdbc65e0bb96p+916
+0x4.5c9f88524b8d4p+20
+0x1.cc7b84a0f6988p+652
+0xb.7d589d1f84bfp+544
+0x3.03686bbaf57e8p+0
+0x4.95e993f06bd64p+744
+0x1.a3798bf9dd5dap+32
+0xe.4f3ad3069be4p+456
+0x1.57b2c51d14a96p+512
+0x1.32ef1d5e68331p+136
+0xf.fba65debece4p+872
+0x4.b4c238b62755p+700
+0xf.6af873035735p+252
+0x4.662c90c0c3dbp+460
+0x6.cfabec7802518p+564
+0x2.64792cc749608p+260
+0x4.dcaf436115a24p+200
+0xd.86ff33eb52b3p+1020
+0x8.11a6622753e68p+604
+0x6.4a78e9cb1a38p+756
+0x2.1f363d67a9fc4p+284
+0x5.906e9a3c8bf9p+276
+0x3.75ef5b9f17726p+512
+0x2.1bfd601487646p+672
+0x6.50d02ff80ccfp+768
+0x9.4554af6edc258p+776
+0xa.1901bd25d0f4p+380
+0x2.e38e1b7e7e6cap+704
+0xd.cd123207147a8p+244
+0x9.cb1e214e911dp+888
+0x2.3b1921bed804cp+40
+0x2.28f409a03658ap+20
+0x2.76a402e86eb9cp+908
+0x5.8079215aaabb8p+892
+0xe.6de9c9eeedbbp+892
+0x1.3ec5c44d6c0acp+880
+0x5.15f4466a344ecp+616
+0x5.96645befeccf4p+36
+0x3.43943b33808b8p+936
+0xa.3962a3055dfb8p+900
+0x7.f04f56f15d4p+760
+0x1.ee0b23afc268ap+408
+0xd.9f55ff2b1ed9p+688
+0x1.6ae8fc63262ep+952
+0x1.823bacd6cdc82p+992
+0x9.7b77fea6c478p+664
+0x6.e4ab474f0309cp+404
+0x1.e61c1616e8d58p+936
+0x6.dcee4ccf8a47p+344
+0x4.60b5c44fe831p+572
+0x2.8110b995da142p+12
+0x2.c513cb0d5eb7cp+80
+0x7.66b4220a2fc4cp+296
+0x5.6d2c6bc0cdf6p+828
+0x1.5c57a62b64598p+828
+0x2.699b24a7e2ec8p+536
+0x1.e1c1ef8c12578p+860
+0xf.f2d889a43b04p+388
+0x6.51014548bfebp+200
+0x5.6ac02e78f4b48p+888
+0x5.a7f23853db428p+608
+0x1.e22799319c0fap+8
+0xd.d07efec68df58p+444
+0x9.41b759bd1406p+764
+0x3.2a845a788a024p+580
+0xc.36f7ebd38fdcp+832
+0x7.33df5218c217p+412
+0x1.3cfd1c2179274p+220
+0xd.fff657960459p+620
+0x2.58c29b36a8528p+668
+0x4.cf24b6cfbecc8p+584
+0x4.9833ed021fc2cp+428
+0xd.049b6920ec0b8p+160
+0x1.df68676fac8c1p+624
+0x7.b7130cfb86e8p+504
+0x1.da72dd20c190bp+880
+0x7.fc16b3e6f2d78p+744
+0x3.5b223627ad3ccp+588
+0x2.46008d7348e78p+540
+0x3.342a93250630ap+452
+0x1.0a57822f222f2p+64
+0x1.f8da6ef32da1ep+152
+0x4.681534c9b4498p+836
+0x9.c4c6dd2a48fap+668
+0x4.5c09749115728p+444
+0x5.1f0fd8125565p+444
+0x8.908ce122b1078p+488
+0x3.13dded32c8584p+32
+0xb.3c47ec7f3cddp+684
+0x4.abc2b35e7152cp+656
+0x9.2a4612b1103b8p+952
+0x2.b91fa983a5e66p+304
+0x1.e3f868609c6ap+300
+0x2.ce175937c4dd4p+100
+0x1.f58d42741785ep+372
+0xc.4b0cba7c26c5p+664
+0x6.5369f38ea0884p+636
+0x1.11f1cf27729bp+692
+0x2.0d02c751c1228p+552
+0x6.c32a26d780648p+888
+0x5.a90190462b8b8p+664
+0x2.0dc60c187cf88p+152
+0x4.07eeb219a233p+664
+0x1.a4fb1b15dd828p+468
+0x1.49af79c6884c7p+292
+0x2.f9ff7f637a5bp+100
+0x1.289175cbc329ep+756
+0xe.5bc185c6ae498p+348
+0x7.5143fa039fac8p+56
+0x4.48abb9775e968p+856
+0x1.fca4fe94a2147p+316
+0x5.7ae36cafba57p+860
+0x6.8d1b1513ece24p+468
+0x3.9b31d41f5e318p+436
+0xa.016151473fb5p+380
+0xb.706d04ea30c4p+848
+0x3.1e3f2a060ec8p+324
+0x5.1367664f13888p+680
+0x1.9d81996f3e5b8p+504
+0x3.88a0b10a910cp+68
+0x1.b4a0ef0f69998p+840
+0x1.90b2ed338c9ebp+364
+0x3.27945d884b46p+328
+0x2.b4b589a9ae9b4p+1016
+0x1.850473640834fp+544
+0x5.266c702a18b38p+984
+0x2.c441875e053f6p+112
+0xf.0d52b072dc168p+212
+0x7.525d2ec4806d8p+0
+0x9.e82f11ba98508p+480
+0xa.4e7d5159983cp+796
+0x4.56c07ae49091p+620
+0x5.ad571a714441p+332
+0x3.e2805a0f75ffp+32
+0x4.cc102d368932cp+168
+0x1.86dda3e69b42p+576
+0xc.b9867dcb0d3f8p+688
+0xf.6e996b52ed0fp+896
+0x1.f110a2f2d1006p+920
+0x2.9337bf2136f68p+672
+0x9.4f5f9d91d163p+912
+0x2.ae490928ee4c6p+544
+0x1.848f5d8966669p+968
+0x8.d130ee6c00e2p+156
+0x7.35786e9de0b8p+476
+0x1.c4c175302bf9ep+888
+0x1.02d23a1849aaep+664
+0x3.d10e565514272p+164
+0xf.fe96fe774a28p+920
+0x7.8e8dc8848e36cp+964
+0x1.afcb67ad4e5fap+780
+0x3.7bfcdae24523cp+528
+0x4.f72f67e5c038cp+388
+0x3.b306a76d9523cp+652
+0x1.03613e071e6cep+140
+0x2.511e000d554acp+772
+0x1.beaee1beed94ep+480
+0x6.90d78959d3aap+684
+0x2.11efc569e2fe8p+972
+0x6.43998bd264a74p+636
+0x8.e73ef019373c8p+68
+0x1.e626a3da0d3bbp+436
+0x2.3f9c34bcfbd5p+996
+0x1.cb476e1b7d2bcp+36
+0x1.3138c45d4496cp+828
+0x5.7efba48dec02p+212
+0xb.fb077a62252cp+40
+0x1.ffeef3da6e3cep+652
+0x1.12b83290a5582p+864
+0x3.f18a3f36eae8cp+48
+0x7.e801911c5d1bcp+1020
+0x2.cdafda7ee06b6p+496
+0x7.6ad2e7451b8bp+984
+0xa.f91c6718aaa5p+412
+0x1.3489be8db1698p+600
+0x3.d3fca62aaf438p+604
+0x7.dd3a17cc8cbc8p+816
+0x2.f48bac62af2cap+296
+0xb.15f6d7801fbdp+772
+0x3.0cbbad2658188p+320
+0x1.4f9b85b1676p+364
+0xc.d960de27d38fp+504
+0x5.b7022942e02b8p+620
+0x5.8e42ef9dd979p+360
+0x5.9076a284ef47p+716
+0x4.0b667ab8eb0f8p+956
+0x3.928e63bf70932p+44
+0xe.16071ac8f46fp+616
+0x6.2bdc85178f12p+16
+0x2.c4c9703ef849cp+764
+0x3.7850430d63a7p+96
+0x2.0b0d8a175379p+500
+0x2.e36a168a16da8p+176
+0xf.038c5844896ep+624
+0x4.7e1839370476p+744
+0x2.b8ced8f208416p+412
+0x2.fd02f17e1813ep+160
+0x8.61f51fe1b3c8p+384
+0x1.19b5e97942b25p+952
+0x2.f242b59843fcap+560
+0x1.e1086b7c5af91p+244
+0x6.d8647fd4dd5p+256
+0x3.401911f853a1p+260
+0x1.16f920cad84e4p+976
+0x1.7557518bd617p+472
+0x1.96a35c384f8b3p+168
+0x6.fa8f83e5f232cp+828
+0xb.6103a0fa1105p+320
+0xe.83931bd15e8bp+368
+0x8.2bc0c32c712ep+8
+0xd.a8fa95e288aep+480
+0x1.037dbf003673p+804
+0xb.bc9f7249ed0ep+840
+0x5.d99552826439cp+228
+0x7.b7efdb9ecd4e8p+832
+0x1.32dc277676ffp+1004
+0x2.308b94ea88f6cp+412
+0x1.86d46f90e0549p+140
+0x2.f96343b675244p+372
+0x3.f42b62651d3a2p+28
+0x1.18844e83d491fp+536
+0x1.bc58355e469ffp+424
+0x1.e5389a8423f02p+252
+0x2.3b85764c89a4ep+608
+0x5.0934c43fcf6d8p+324
+0x1.bc973e0667afep+248
+0x1.aa01a31d205d1p+188
+0x7.95ab26407e544p+12
+0x1.00702e355318p+764
+0x3.a9f4522ca433ap+796
+0xd.17d42c6ac427p+720
+0x2.671e4b78ec8d4p+436
+0x5.700d953c5fb38p+352
+0xd.5d0d18f92c3cp+716
+0x7.4187c35343ce8p+812
+0x3.1bc8e29dbd148p+780
+0x4.6b6f1079a010cp+560
+0x1.c1101c3ba876cp+244
+0xe.2a51a4b4d146p+528
+0x2.bb9f5b94675e8p+740
+0x1.ff4ab799342d7p+268
+0x6.f62bb27632fap+692
+0x2.158c39ffbc694p+1008
+0x7.912970acf7f44p+924
+0x1.4e5413d21f11p+840
+0x1.26bf875d00266p+884
+0x1.79f78266f1fp+952
+0x5.99723c23e13dp+100
+0x1.5ff5d03989274p+548
+0x7.b7f846a65be68p+76
+0x6.8ade6b94d80c4p+56
+0xa.27656e7e2985p+252
+0x1.5fdb93c5499f9p+248
+0xa.bc1bdb32188fp+204
+0x3.1c4b57dfe838ep+224
+0x3.704e31830a16p+676
+0xd.be7355dab16dp+604
+0x1.57d5f2c8655c5p+64
+0x3.e8598340b06cap+884
+0x1.5f7e3c77ce9d8p+780
+0x8.88944f25304bp+592
+0x1.8c2ca4d55365p+352
+0x4.cedc0dc95d5c4p+888
+0x9.53ffa734b58fp+640
+0x2.c2b17013eb584p+8
+0x2.63ca4bedd28e4p+164
+0x1.827e9225bb60cp+532
+0x2.ab339a40e0294p+320
+0xd.6624eb5652fdp+252
+0x1.9a6996d38528ep+488
+0x1.f83a4572e14fp+292
+0x1.a3abcb95c9aacp+560
+0xf.284aaf8dcb9dp+348
+0x9.9e591d15514cp+952
+0x5.ce160c719ff08p+464
+0xa.6d4bb84e7d04p+408
+0x2.2808a6ae3e22p+224
+0xc.0311f07d5207p+660
+0xa.f8a94ad2a9cbp+80
+0x1.78b9b005a10cbp+516
+0x2.1b7825effa53cp+628
+0x2.bdd2ff23a3854p+404
+0x4.06cbe4283046p+472
+0xe.5532295ad396p+308
+0x3.32ca66d3c82d8p+980
+0x8.6a0c3d8c72d2p+40
+0x4.a7b04272e18ep+856
+0x5.d76c6aaf62978p+412
+0x6.366d1b255891cp+172
+0x1.e3743cfb1892p+668
+0xe.1f97e0422bcdp+128
+0x3.937e3cc9e3d02p+64
+0x9.e7ad537e104dp+188
+0x6.b65a4565dd0bcp+124
+0x7.42c191d1a1358p+304
+0x2.259c775f35a4ap+788
+0xe.ac711fe7d3e78p+492
+0x1.8128354536f58p+312
+0x3.45ffc7ffe12f6p+616
+0x1.cb6f268d9281fp+200
+0x1.425e3b8e006fcp+300
+0x7.ce0ae6bb58198p+732
+0xf.2f697ebbb1fp+692
+0xe.b21eb40ef3f2p+632
+0x6.de06e9b0ab57cp+744
+0x2.6ddf6515e9504p+16
+0x7.a82aea7c541ccp+704
+0x3.24e2e76039d04p-16
+0x9.21a8c95c8deap+588
+0x2.23849dc388b8ep+288
+0x3.2201a18d069b4p+116
+0xb.0d0cb159d8c6p+412
+0x2.c080671f12a74p+964
+0x1.d7c17b8f9ba3p+360
+0x1.c0af85a83eb76p+208
+0x1.a5293e2cf3e02p+720
+0x1.8b25658817c9cp+904
+0xc.dd0f48f0e993p+476
+0x2.a13612839213p+584
+0xf.555b1597fad7p+216
+0xf.a9e2eb88025p+584
+0x6.3af427493d9d8p+420
+0x1.f7ec7d7d98b8ep+576
+0x1.733a0df639a58p+848
+0x7.4bc3e7a3dbbdp+316
+0x1.4f82c0e7a38eap+1004
+0x2.c9fda69c36e9p+204
+0xe.9a07b56fb7208p+260
+0xb.b6d88b4911378p+336
+0x1.35482f45c8fd1p+656
+0x4.c1f5293199fp+984
+0xf.95ece3291bf9p+928
+0x7.3c1f18b3eaeap+356
+0x7.7de76c477b8p+272
+0x6.f676912527a7cp+228
+0x8.53b7d92f0b5ap+732
+0xc.e2160e18fd7ap+912
+0x1.0f2229fd855c6p+524
+0x1.b644da26fb37ep+384
+0x1.d212e22e919b2p+536
+0xf.377c01a7407bp+788
+0x1.77865315ced2cp+760
+0xb.d3d299544bdc8p+452
+0x4.c96ab40ef9c64p+684
+0x2.d72cf2ff2fa8ap+488
+0x3.481236545c234p+708
+0x1.232ac25a7a474p+460
+0x9.c09c327ec8bcp+528
+0x1.a237b0a1524b9p+744
+0xc.8cffa51f81a3p+440
+0x7.782129c3d44dp+696
+0x2.b779bb4467c3p+352
+0x3.79df70ae1033p+496
+0x3.d1c3d9307a864p+432
+0x4.508fe083498ecp+536
+0x1.6e35722a0b3dap+512
+0x8.a6396abc8a5d8p+504
+0x1.4ae9baec27686p+212
+0x4.6d91d1f93ec7cp+200
+0x9.ca0918138d958p+1000
+0x2.0a4a73b76d19cp+828
+0x7.8bd1749b61378p+480
+0xf.8c07d521ffafp+12
+0xb.fc89648ec7fdp+440
+0x1.3c68dd383ac76p+724
+0x6.97b68317e32dp+104
+0x3.1f42c8c8f94fcp+716
+0x5.18bc0cd87585cp+20
+0x3.a2340bccd1844p+484
+0x2.840894c89a242p+960
+0x9.b90a74616992p+920
+0x1.2759adcbc463ap+616
+0x8.cff6391e122fp+452
+0x1.e16ae343c525ap+700
+0xf.442178e2301bp+328
+0x1.4ef855aee0cadp+764
+0x1.d3901a4fee2eap+556
+0x1.ca08a502edaa4p+500
+0xb.7200d80217a3p+932
+0xa.ef43b9151723p+724
+0x9.a7ef9b1491f6p+264
+0x1.970b416c593b4p+724
+0x9.d6e357897e2d8p+752
+0x1.9137a0733c06fp+276
+0x8.5d98abcf215c8p+316
+0x5.3824a5011dc74p+604
+0x4.9a8fc9ce5a638p+976
+0x1.c88cec68f7bcbp-4
+0x8.31bd7747df118p+8
+0x2.d3fdfbc68f88p+84
+0x1.71474fbdaaec8p+100
+0x2.85e8ce325e8a4p+396
+0x1.0f44915adab8cp+528
+0xf.adb68622acbfp+416
+0x2.4c4c7bf341c0cp+976
+0x2.c8cadb9f152b6p+992
+0x7.2e3b2c16d831p+496
+0x1.48e8dabf1dcp+688
+0x5.2827182b077f4p+112
+0x1.e7b48b30956eap+1000
+0x2.849fa1acb057p+508
+0x2.6e34b3ee10af4p+816
+0x3.0e9ba2be418e4p+236
+0x1.783750e8476e4p+712
+0x3.96c3d21bc27b4p+428
+0x9.4d31514bd526p+312
+0x1.437ce37526076p+888
+0x2.af8c275da4a22p+32
+0xf.3546870e73abp+304
+0x4.4fc7a9dbb186p+1012
+0x1.99d1b34e76768p+488
+0x5.f07a5eb512a9cp+752
+0x1.19370798f91cfp+852
+0x7.0c56bbaf88218p+48
+0xd.3c0f3cbd9a628p-24
+0x5.d619eb5dc0738p+252
+0x1.febefc426bfdbp+528
+0x3.b57c448f480dep+652
+0x3.b3d0deb84899cp+868
+0x1.7fbdd1a276072p-12
+0x1.146219f2e6f06p+276
+0x1.1706f1904c3eap+972
+0xb.29dfbe706fa68p+312
+0xe.d96b78f97826p+492
+0x7.31392ecd43098p+20
+0x2.7c64fb58dc77ep+412
+0x7.91e8f3ca2c948p+936
+0x5.0a3fc9899a728p+548
+0x1.7e97380d8033ap+336
+0x1.173ac93694d45p+720
+0xc.21adee7705b18p+504
+0x1.ac4c128d7430fp+640
+0x6.1d600a7ca8a8p+256
+0x1.0afa3766cfdf1p+616
+0x1.a30e2ddba298ap+548
+0x1.ceb6e242dfcf5p+20
+0x6.a46b818029478p+212
+0x8.c34e072f8df68p+96
+0x6.387d96d78f3cp-4
+0x4.5e67756fca6cp+196
+0x1.5e9605a8244cep+348
+0x1.2ee37474853f3p+920
+0x9.ed8649a7fdf4p+664
+0x5.621b0c30ac01cp+860
+0x7.71e094b4011d8p+456
+0x7.c46cfd8bbd8f4p+908
+0xb.117acd6369ecp+940
+0x1.5257ce6bf695p+208
+0x2.77decff8e5c5p+120
+0x8.0b6ba614b494p+952
+0x1.83efe58d5cf9ap+68
+0x1.a377f82043057p+408
+0x5.2b9a1da6f6b08p+592
+0x7.88a7de7b9d864p+308
+0x2.1f56a80bb4034p+52
+0x2.94431d5a1a148p+804
+0x3.3ba4519cd5d3p+688
+0xf.a005bfebf785p+300
+0x1.653bd437fcfb2p+248
+0x1.eddfef1371d44p+40
+0xb.5676b80dd9da8p+904
+0x1.4c9f3009eb3f3p+172
+0x1.31247feda91e4p+960
+0xe.8f4a26201e79p+128
+0x6.5d578834adc34p+344
+0x6.ec87893c048ecp+192
+0x1.657280f5f2f1ap+392
+0x1.1e90b0ea0c544p+556
+0x5.9b5255e9a4abcp+760
+0x2.d3d2d683f74d6p+44
+0x2.8df79261dbab8p+96
+0x1.0aa1e518d5eefp+624
+0x3.36f4588e2605p+628
+0x3.d0517a1153b2cp+656
+0x8.fac877d51946p+300
+0x1.00b28b2ac3fbfp+584
+0x6.0300c48bb2928p+244
+0x3.0ac9826059124p+892
+0x5.c5d00fa9bd99p+904
+0x3.a56fa76ee883p+696
+0x3.1376e2acd4bd2p+676
+0x5.ce18e760eb80cp+68
+0x3.50cbc95837c18p+84
+0xe.da5472e153258p+388
+0xf.0924938f76edp+900
+0x1.95695a2f8a796p+572
+0x8.6c1aa6cf39178p+652
+0x3.e375724c050a6p+928
+0x1.dcdc0014f2c6cp+1004
+0x3.3a498de5e902p+24
+0xa.ca56533cd8ecp+724
+0x7.dcb2d093642c8p+616
+0xc.4394f165c79ep+688
+0xc.6ce7582fd6a9p+464
+0x1.efa190b6e0f83p+596
+0x9.8b6bf73bc061p+408
+0x7.8bf58669aeb8p+380
+0x1.f720a15a1c79p-20
+0x2.bdc996ec74934p+320
+0x2.96ef2f30866dcp+316
+0x7.cb09f83280988p+156
+0x7.70d244b8aff4p+240
+0x2.b8b7b799d1a58p+624
+0x4.dd2ff19170d24p+552
+0x2.b322ec8f4a5bp+572
+0x1.ccc5257a35844p+956
+0x2.c2389e4d7e548p+608