benchtests: Add "workload" traces for expf128

This patch adds workload traces for exp in binary128.  The trace is
made of 1000 random numbers, generated with SageMath.

2 files changed, 1006 insertions, 1 deletions

diff --git a/benchtests/Makefile b/benchtests/Makefile
index cd19211fe9..d3edf845e4 100644
--- a/benchtests/Makefile
+++ b/benchtests/Makefile
@@ -25,7 +25,7 @@ bench-math := acos acosh asin asinh atan atanh cos cosh exp exp2 log log2 \
 	      modf pow rint sin sincos sinh sqrt tan tanh fmin fmax fminf \
 	      fmaxf powf trunc truncf roundeven roundevenf expf exp2f logf \
 	      log2f sincosf sinf cosf isnan isinf isfinite hypot logb logbf \
-	      exp10f
+	      exp10f expf128
 
 bench-pthread := pthread_once thread_create
 
diff --git a/benchtests/expf128-inputs b/benchtests/expf128-inputs
new file mode 100644
index 0000000000..5b36f8672a
--- /dev/null
+++ b/benchtests/expf128-inputs
@@ -0,0 +1,1005 @@
+## includes: math.h
+## args: __float128
+## ret: __float128
+# Random inputs in [-10,10]
+## name: workload-random.wrf
+0x4.e6f9d6da10d9a422942a89cdfa1p+0L
+-0x1.8e1f86416c3fb9a82868d7e0ca7p+0L
+-0x5.536e7255a6955e0a90e7a78c84cp+0L
+0x1.37c49712bdb8cb6262da83507f68p+0L
+-0x8.a8349f741af55acef6e0faa818a8p+0L
+0x7.95bf9fd8d048486538a26fa7d08p+0L
+0x2.622b2318b33384d97486897d1be8p+0L
+-0x5.a1cf353b90565e508d7ec5fa569cp+0L
+-0x7.7f658197a7491f69d2aa2cccc25cp+0L
+0x9.065dc6ffb64531e35e99274469ap+0L
+-0x9.37f6d2feda78d7a61fb7f17e6dcp+0L
+0x4.50b236e62bf1e4fb697fcfca6d68p+0L
+0x6.4cc270f14cbf8cd3bc5cd94746cp+0L
+-0x4.905b6bd4a463d86c563e62de65p-4L
+-0x2.f56ef41fbcf0924a8c0f34391d5cp+0L
+0x3.6cf38387e0eea1a58772042c6138p+0L
+0x9.b1ad0b3b2a2f09edf67bfbbfb3cp+0L
+-0x2.9fced586885a4281d08cfe38d374p+0L
+0x3.ab9384ed54de9ef31ee19aee05dp+0L
+-0x2.bbbdbd91c3699059653225191754p+0L
+-0x6.7e6cb4cd790de9881f2d51aefd3p+0L
+0x5.f243a421f15c9b89362e0ae55008p+0L
+0x3.716b6f15fb1924295144d852d748p+0L
+0x5.7172972e3a7de5917bf8d6d094ep+0L
+-0x3.b9df17a000c3394b3fb27e918778p+0L
+-0x8.a61d23f76e1ead3925e6fd65eedp+0L
+-0x5.b4b7c892512a831ab6dac1a0319p+0L
+0x9.49580fa70fb83e3b6d6ae542a01p+0L
+0x2.40b09b78850e53c285e779158a6p+0L
+-0x2.773872e8e05b690c00dbe52e559p+0L
+0x7.9849b79b6edc8e5f6c6600d130ep+0L
+0x5.47e336610350566aecf753193748p+0L
+0x2.56f4c3e246d55e7c364ad90c20ep+0L
+0x8.53a7aa94277cd5f95ba6da0065dp+0L
+-0x3.31f01342aee534a825bccecffc58p+0L
+0x5.a44162b29fef007f6db453247e6p+0L
+-0x9.31b330fa2516d85952c29e3f063p+0L
+0x4.e7b40c04fe4cddfa2ef49d7396fp+0L
+0x3.606bf07b67e9fb426d58eda02c2p+0L
+-0x6.4db45d1b420a0870d0a0b43545b8p+0L
+-0x4.bf839f57ac9925374c656f6f7378p+0L
+0x9.926b83450d9acf9b734d77a30eap+0L
+-0x7.8b120cb16f80fff15c947dfc6478p+0L
+-0x7.37c95223821acf15dc9baf2d50ecp+0L
+-0x5.b827e2df59095e7e416b25fcbe68p+0L
+0x6.03d03978ad7b5d757025df7b3eep+0L
+-0x7.be67c478cf62aa428bef4cbcd724p+0L
+0x2.df0915f0b425a9d2b79a39c4e9p-4L
+0x9.07b1ea15796f6019009c028bdfcp+0L
+0x7.56f655a665f72e9369d22c37bd7p+0L
+-0x1.4222ef4bf7385eaf00be92870258p+0L
+0x6.f17bb52c185439cd4899c9a5a17p+0L
+-0x4.da053ca3f5d4b5b47ede801b6898p+0L
+-0x7.73250dfb33914ade5731fd0308dcp+0L
+-0x6.0f8648f7ea672ca4b7d6243e40cp+0L
+-0x5.28551672f733c9056a7caa601a1p+0L
+-0x5.9c87626e762fee38e6b0fa7523ep+0L
+-0x9.dd7cdc1785cebb80812187e1f7a8p+0L
+-0x5.555f976db5c3fc9c342d7ac0170cp+0L
+0x3.760adbff736c53f0ddd6b415635p+0L
+-0x8.78280688b94c3cf2c50bf4f89578p+0L
+0x8.16dd7c0d5da8f941662f82045d7p+0L
+-0x7.ca35c8c2305d17b06164cea41e9p+0L
+-0x1.f903002d29e530f165b0b0cf56e8p+0L
+0x7.692e04b7f69b6bacf6701e89c4p-4L
+0x2.da06821c13f7f0bd4f138fdc2fep+0L
+0x4.a11e679e2b3be76d0b45437c4fp+0L
+0x4.92685033ceeee09ac2381dbb9ff8p+0L
+0x1.1a218e11dd6a8e87ac383aa8f9ep+0L
+-0x4.21a1bbcf9a10bcc0ae7aaf7d7p+0L
+0x1.2f7a801ff9ca0b1a4f370d1b509p+0L
+-0xd.4de9db331acf2b38ed9e0049eap-4L
+0x3.2195e7c988d6dc5cf241d8b89408p+0L
+0x9.1a34c369748f3e3f0ae4abdc0a2p+0L
+-0x6.6065560011360d179e07816c578p+0L
+-0x8.9528142612f404023cf8f7525cc8p+0L
+0xd.a537752461aec269ad9182ddc78p-4L
+-0x6.4bc97a9a5a0c4b35ebf8fff885a8p+0L
+0x9.21deabbe7cd3cf0e5bda6db1c6bp+0L
+-0xe.dffc3db702e52e5061bab257d3p-4L
+0x1.26ba2bf39d1616e5e0128b53b89p+0L
+0x1.1544e3ef9fc9cdcd111f20e94c9p+0L
+0x7.00923d92e4468c567afbf1942eap+0L
+-0x5.809714291cbbeeda3d9665fbb16p+0L
+-0x2.18e2fb436edd0440835e14f93518p+0L
+-0x3.40cf335fb3d2f1c6b38cabd963ecp+0L
+-0x6.b2ef6516dffcb4204c125d720bc8p+0L
+-0x6.99a2df0db7661a9765f606e67d3p+0L
+-0x4.34e253efcaa96458ba2020498c98p+0L
+0x1.9bae7298cfaf917674cbd6dc32bp+0L
+-0x2.328dacfaf2ac06be5778f5cd4498p+0L
+0x9.1bf147789a8d83ca154e7e16f12p+0L
+0xd.38981ecb06edf1193bd835872bp-4L
+-0x3.657133db952048993e826b9d111p+0L
+-0x7.25d1fc0f88b7fdc1d2677fecc1f8p+0L
+0x1.1aaa75f553e3c1b537e1da64fc18p+0L
+0x4.53b6e8ef7693fde35d892ed6e298p+0L
+-0x1.753267737107300ed5703c6ceeep+0L
+0x8.08d46d1942442dc504a284b6b89p+0L
+-0x8.288b1f28cfe66d68fe43f812ccp+0L
+-0x5.61f9567f73b01894201953872c7p+0L
+-0x9.7ddd69fefa6350c9208bbfc155p+0L
+-0x5.c5bb23f755078357d217178a5a48p+0L
+-0x3.90398872019e9d60bd6381fbce98p+0L
+-0x6.6412fdecf3250fa2a01e444144p-4L
+0x6.7ca583b05479e909fd9e17fea8ep+0L
+0x8.cf55422cc2c3ac9a3bb897218b3p+0L
+-0x3.7a81391b58d58105b8e7b06901p-4L
+0x6.692644b8f89c582ed488aa9b127p+0L
+0x5.9808f9091a488f616fe57ee7848p+0L
+-0x8.f4789faa61ec73b67ba2dd52dd5p+0L
+-0x6.ed996093e6c7c35598b8516a5e2p+0L
+0x3.41cacf6bcd62caa6532d38150ap-4L
+0x7.6dac7a485fe03f713d7d253aee7p+0L
+-0x3.7df0ce12b993bad8b8dc9da2acp-4L
+-0x1.f427f14575937e8a266b4599e9dp+0L
+-0x1.f0ef5ec187f22cea3b315ab896b8p+0L
+0x8.35233d5caee9d838bfaec08b723p+0L
+0x7.06e39b5acefcd1069941072b0b3p+0L
+0x3.fe9aad65a6a9cf5e2a31a3c77248p+0L
+0x3.d9dbf79f7918a7247eaf4018b568p+0L
+0x7.85098f3a51fa3c5322c29d082c6p+0L
+0x3.77ea6f1acccfab68e2a9a8f7e99p+0L
+0x2.f6d4b684f2d4458b1b9becc5bf2p+0L
+-0x2.6c63538a0ff9bc9ae393b5e6c00cp+0L
+0x4.7c4a06b25e36c57375858fea1bbp+0L
+0x5.d5e882a334c431e8ba63109004dp+0L
+0x9.6337d31bc23fd4f4dcf99045e6fp+0L
+0x7.66c1cb651109cfc539d13659815p+0L
+0x8.0a2c4504f4258ed8d430ecc3e86p+0L
+-0x2.5e769e727d029419554d3f3fc51p+0L
+-0x1.7c14f059c08794df291e676ffa4p+0L
+0x5.6d005bec5c19a5c06cd2dabc60ep+0L
+-0x5.a7a86cad4d76f7e496d3bde9e568p+0L
+-0x7.f0f1d1725a8fee5073e583321388p+0L
+-0xf.05950e07202c5ed43d572090038p-4L
+-0x7.28316fdda8772a4aebf185e01d78p+0L
+-0x5.eca40d6d8c8ebea6e4297842406p+0L
+-0x9.9e76b5a86dd906d4033bbdf84888p+0L
+0x7.3187aaa25fd10b02bc409488e1cp+0L
+-0xa.a55cdcec44138aa6084b332454p-4L
+0x1.385ec22a861016226c3165b7df08p+0L
+0x6.ab72053b02c7d358188a5d53ed6p+0L
+0x5.c436084af6be85f25c579c344be8p+0L
+-0x8.5e08792cdd9955b80715fd1e742p+0L
+0x2.9c481f14f267d27d412f5aa7ef8p+0L
+-0x3.46b5a7f4fdc3c662adb9127cb34p+0L
+0x6.3f60cd2db1ad4ed13b356fc93a2p+0L
+0x1.f48e2cecfeb7c53765a633e75f4p+0L
+0x9.3dc48dccad6bda4883616272682p+0L
+-0x9.51dc1643f9a1f66713a002fa765p+0L
+0x5.0664e7034de6a6b074833742eap+0L
+-0x4.d417f3836e88461148424ce1ddccp+0L
+-0x7.dbbc7f9c83130d8e484b1def9b94p+0L
+0x9.b74017cc6b95d0a8be7ea42f759p+0L
+0x4.d99954b57d9500f0960b78c9373p+0L
+-0x1.5496dda6ba28b91d71f55a9698p-4L
+0x4.ea0c9fa1821b72ba54a384b0566p+0L
+0x6.70758842181ce41cf4b93451e0dp+0L
+0x2.50264eeae068aa68a7d409d8ea6p+0L
+0x3.54c393d29cc1aab369425055018p-4L
+-0x2.6ada4586f7cf45d10646c092523p+0L
+-0x7.ed1540aa506270c53327d6ccc1e4p+0L
+0x1.4dfd43d150fca44759697670c5ap+0L
+-0x5.cb5cd713e9811517502bfd71e258p+0L
+0x4.6c661d19ac8dad6e0c6a588790fp+0L
+-0x7.7abd03a578ff1098c5eeca64c6dp+0L
+-0x3.a5dc50cce3c293ee0c6a7fbdcfp-4L
+-0x1.e8b8d2a79a35ca98051290d4487p+0L
+0x6.69b6521e378d7b99761ac6d4985p+0L
+0x5.bd2016ea480d1efbfb47e3add7p+0L
+-0x3.3a221a45c6a4a868b8d9cb18788p-4L
+-0x1.b471c15e44f689219e3b3e4fef08p+0L
+0x7.53ba45682ddad2d76f9093cf784p+0L
+-0x4.253ef5de5dd546dadff16238e4dcp+0L
+-0x4.fce57d4d826ba059ffea8c17cf5p+0L
+0x8.4cd193956791d9c5a087f1d8a25p+0L
+0x9.c133fdef3dca22f311847729defp+0L
+0x3.769e71068780bd610d2d648bb0bp+0L
+-0x1.3edda42c4331fcf68abed7306958p+0L
+-0x5.314f071e657bf86853caf7a766a8p+0L
+0x2.bc775b5a64f2eaf76381d6fd63fp+0L
+-0x7.3cc018d6c4cdd8b85bdfbd28fe7p+0L
+-0x2.3182ab6ab48fcdddd801bf0471p+0L
+-0x6.6e1b9a49aedc47a31b9ea38c18e8p+0L
+0x4.d78cf47a5e10d27ad9424a8bce1p+0L
+-0x9.c2fb65f5ac570bd29a86803913fp+0L
+0x1.4bce311bd6876ad5498b6cd3153p+0L
+-0x9.afcfb5de6732e1ce09196d40c69p+0L
+0x5.5a7ae5afdeb81403f838b500af08p+0L
+0x5.a54016bb5392b4cc3675311e334p+0L
+-0x8.90989e3667b2a1db7a516a10f6p+0L
+0xa.56a6879e16fea7daf205ef5605p-4L
+-0x7.113fed0b6fa8e4282f9e9013764p+0L
+-0x9.a162836b974fb0d91133a04dc18p+0L
+-0x9.f9b7ce2ded9482a3915012b7224p+0L
+0x7.5ce15d9597a4a2890c7991edaf5p+0L
+-0xb.400db3dc118e3516063615fe77p-4L
+0x5.0d22231435f5554ffff3d8650a58p+0L
+0x2.cfe0448d61ec20540add856533ap+0L
+-0x8.27f0e6d78f409a90196ff58ab268p+0L
+-0x6.3ae6ceafcb08dbd49bf6baf40548p+0L
+0x9.604372f460d78ddfa4de9f9ba37p+0L
+-0x5.ad0cffbe779a9eeb8654d5ae38ap+0L
+0x2.a2fc37f359409bdad7bf751b0c8p-4L
+-0x8.df405c485cd08f47092c440086p-4L
+0x2.e7a2fe348ad99d74760500b4272p+0L
+-0x5.345d44f703b4bc339e105e5d8368p+0L
+-0x2.3d3dd4de53df43b2c98d5fae44fcp+0L
+-0x7.cce743e69655cf5a61cc7f7318ap+0L
+-0x3.be72ea6ca620b6147a1c9a392e2p+0L
+-0x5.2847a6f81ef5230586fa949a2edp+0L
+0x5.1e165a2aa6921abe6194d0ccfd8p-4L
+0x5.30ed93d442ca36c9341ccfb63c98p+0L
+-0x4.e2635c244567f408e7732547e77p+0L
+-0x1.fadbe6656ab5eef44550f8e60e8p+0L
+0x5.96e052dd2b39bb75903aa95a759p+0L
+0xa.a154663beb7ba96e15558b7f398p-4L
+0x2.8514723c92299cdcc602f6b5ac8p+0L
+-0x1.7f225973af1475c4a6aca372c24p+0L
+0x2.701721f5d2c7911e99338025dbd8p+0L
+-0x4.4bf99eda550967e412ac727c0288p+0L
+-0x3.fc5a045342f4caaaa8f89c74758p-4L
+-0x2.7ddde0e49a6e8c7733c095b1c978p+0L
+0x2.157c1b9f2b61e587def85581869p+0L
+-0x4.0126c299697b8f7182e73d045648p+0L
+0x2.b102f7c87677b00dec13b8d4ce5p+0L
+-0x3.2ae6d8921bdc6dccac6cc5be5b3cp+0L
+0x6.6c85c915b52e5d8e04ef9007d54p+0L
+-0x3.3b08873cc343bf3d64a86a4b9c18p+0L
+0x5.b68d65e458c4cdf600370f344908p+0L
+0x6.f31c38f8649fd64510d8abcee56p+0L
+-0x4.7a131499856fc10e3435c2f2d32p+0L
+-0x7.288f96418fe0f6d482c6d0522208p+0L
+0x5.73ea9b6ff75710d616af3c39a79p+0L
+0x2.4c1cb3b893ad276853f00734ecap+0L
+-0x8.3c7568bf118dda6e25aa40bea758p+0L
+0x6.3df2d10c4414c888f4c46984cd5p+0L
+-0x9.d7ecfa4fd1a5a89fe74fdfc13a8p-4L
+0x1.5502e074d9bf6c8748cf0ed4c568p+0L
+-0x8.68290ab38218007db655923e073p+0L
+-0x9.e0c45819f442c6a0c0064a76f0e8p+0L
+0x2.b906a42b6b0387fcd6d9a654f98p-4L
+-0x5.c462ab7a6da79599a0ca078ba32p+0L
+0x7.4765f11e2ab1abd4cf505d76048p-4L
+-0x6.615583f7f75fe4114b3e961104p-4L
+-0x9.c44bbbaa9d4d8ac622675460c768p+0L
+0x2.a361b4aba5dc7ceb8705bdf09488p+0L
+0x6.3d423b903b61bbdd9228d427bp-4L
+-0x5.a08ab4661ea07e4ff2aaa16912d8p+0L
+0x8.66fa7738b93e4fda978446680b8p+0L
+-0x2.08bd3f707169740231483dbfe5p-4L
+-0x1.fb391fe1e59c42a448dbeaa03abp+0L
+0x3.2549d88317060393f4aafe560578p+0L
+-0x8.2faf442f390a9211f5af128673fp+0L
+0x4.617881997de8a6e5ee74484d591p+0L
+0x8.2be42c30bb158d960a4366363e1p+0L
+0x1.afdda1f82ce1fcb092087494a13p+0L
+0x9.c283ce65f61a3c03b0d797c8a9cp+0L
+0x6.97f976a1477a72ef1de8a3093cdp+0L
+0x1.688ae64700ef8f15beda25825588p+0L
+-0x8.3602edadc53ec947f3005bbea9bp+0L
+-0x7.ed83e9446fb3b56f57ec9cc5c9f8p+0L
+0x8.1314e470866ea012ebdd345a287p+0L
+0x3.64196b9cea5a9948659126adf4fp+0L
+-0x9.4dbcedce1a46a4efc45873c8525p+0L
+-0x9.4c3df479c6073fa17f566b728dap+0L
+-0x6.70d748f186746dd133c77c4723b8p+0L
+0x3.a718c6cb9c50775d236b4515a918p+0L
+0x8.01b5386f30e2357de6b1882bdfdp+0L
+-0x4.b8b26a36ac859416cf8150e0a478p+0L
+0x5.31e073f8fe777dda57f970325bdp+0L
+0x3.e52764f8dd2ff8c701613aacdfdp+0L
+-0x7.cfe51cb5f2d5332f9d2395a8cd08p+0L
+0x3.0fd3fdfaec3e0de14feb452881bp+0L
+-0x8.dca59d5808dfdd8024a8e12ff388p+0L
+0x5.1ddf0abf52f1e52daab25874aaa8p+0L
+-0x1.613fb07262c51a72420ea7e3a37p+0L
+-0x2.1f95b6882810aef4cda1f591b518p+0L
+-0x5.e4045ab80dfbeac28cb15bff925p+0L
+0x7.e99b8aaafe396a98f5683bfbbfcp+0L
+0x6.47df53b62c3c637770b321b682fp+0L
+-0x9.f4fb596b455c40f0bb39f80d1bep+0L
+0xf.d6bb63e9aac8244f7748caca8e8p-4L
+-0x5.f0ebd2298006c8b3dafbb0d1a438p+0L
+-0x3.87421763079f85bcaefa0f0d68ecp+0L
+-0x7.139c93d0bc8f122c8e9712546098p+0L
+-0x4.d524e59f13f99f341aa8923bc4dp+0L
+-0x2.d3833d2f17c964b9698efc802238p+0L
+-0x9.134156c91d9f9613abe4feb77ddp+0L
+-0x1.a38ae4afe1a695c6bcaf1e85d9ap+0L
+-0x8.352abb69e60ca6ceb64605baa448p+0L
+0x9.da471c06f9f245a96f103366e6dp+0L
+-0xa.615d1a4abe5d397a43c25e8bcep-4L
+-0x7.c7f86d2102b6dea2fac02718c5cp+0L
+0x9.f2a0694a73c7ebf1c095aa7f982p+0L
+-0x5.df86a96b175acb33a1950a629e18p+0L
+0x4.e82684d0a58d25b67cad3a71a0fp+0L
+0x6.a7d24e0f8700e7e468a2bad43d1p+0L
+-0x1.ea4cddb30f10a4ffd6971e43804p+0L
+-0x8.59b20214c3f756d8119401aa2178p+0L
+-0x5.af03bc2c4328b8efc146d073fa18p+0L
+0x2.4f7ece910c27749d8fe801e2527p+0L
+0xf.72270840f5ef0692d6e16f1bb3p-4L
+-0x2.e62a853f0146656709a3e07c8fe8p+0L
+-0x9.5c4564fbf0f16c4b3bd075c788dp+0L
+-0x9.71dc11b3f01ac757c8a22edfcf5p+0L
+-0x4.44273857cc0a93aced2b0644072p+0L
+-0x6.a349af42f1baab536b22245991a8p+0L
+-0x3.34eb3b23e935ef6c01ea258be9e8p+0L
+0xc.1ed1931343598755ee3daae163p-4L
+0x8.4afefd7b68a54751709ff497d2p+0L
+0x6.475bb0256b1719b93991c14487p-4L
+0x7.ec7a7fc34a0f70faf6e151aa82p+0L
+0x8.549dd24a702972e8af41385615ap+0L
+0x7.dd96aac89da8617f36d4a2caa38p-4L
+0xa.d2871ea371c2883d928a6fc0cp-8L
+0x6.886530adbd97fe95f5468564edep+0L
+0x3.972415e1c5ae7b3acf77960657p+0L
+-0x6.516468766bf1e2832931c9f35388p+0L
+0x6.f0d2ef4e7b29eeaf13d31e2ad45p+0L
+0x6.84999a7978d55c7254468a4d00fp+0L
+0x4.5f827ed6ca380a385362dcfe5c5p+0L
+0x3.dde82e809986ea4448a95401a328p+0L
+-0x1.a0466219832f95a10ed9eae6a6cp+0L
+0x8.67cdbe5c6affc04847a27243217p+0L
+0x7.178f35868989856f8ee41176288p+0L
+0x8.848f5cb2030520521d856e44b6fp+0L
+0x5.de4900b912cd8c3636cd008cab2p+0L
+-0x5.9ca6abedda3652c8cea4d1f934c4p+0L
+-0x6.1bac6de045ecb20014ac6f239d98p+0L
+0x8.43557b9ee1b0932cee2236d3a74p+0L
+0x8.97479a785de740d49a13b8936cfp+0L
+0x3.9d681734463ad7a038c248e469cp+0L
+-0x3.f0a218d23d486aa96a2c3b4a9748p+0L
+0xb.79cb582de159bffc8e39f2eae9p-4L
+-0x1.6934c5c44de52dca67112400b9c8p+0L
+-0x9.f259e703461ce43385c861e5a7bp+0L
+0x1.38ee503b1b4b56d14f815411ba7p+0L
+-0x5.2d37bb732d22a2eab3e48e9d6fbp+0L
+-0x6.1c420d39d8a9775e7d961baabc4p+0L
+-0x7.d6799c86cd3df2d86d7a578f38ep+0L
+-0x2.e2c686c121476d2d9e7ee02b1444p+0L
+0x9.0dc5b04baf096290c727995b3e3p+0L
+-0x2.cc194da1ce098e7742c2cce4afa8p+0L
+-0x2.66e7c47175c8cc3f14b078f8e75cp+0L
+0x8.7ea69863b3b95fb0c1ea6919fcp-4L
+-0x1.910c30fe1aef51c22e6e1f4459dp+0L
+-0x9.f756a2601c8fde6e0eb3a96d9dap+0L
+-0xf.e22b3c58d347602656f7e0fc8f8p-4L
+-0x6.fcc9ee601816461fc3672da74cccp+0L
+-0x5.b0f8058f345e99dd5294eb51de78p+0L
+0x7.03b00e3ff27472cc514c74709abp+0L
+0xc.ec9f7abff4bf2c72d4673f9777p-4L
+-0x4.367e7df741d141109bbc58430b5p+0L
+-0x9.3878e722a8c7aad01cfeb2b41868p+0L
+-0x7.3d32b45ed1c7a5c672afa460f26p+0L
+0x7.7960104a1fe244d3ca0825c474p-4L
+-0x3.4cbd9eddadb8a15928c955b270dcp+0L
+-0x6.a88eec1e0c7dce2d2559766f00c8p+0L
+-0x7.14a5bab43a0728e541ed5a150d7p+0L
+0x6.cd9d1eb39d7f64253bc4df052d1p+0L
+-0x9.99bdd2db8e3a3037af7fe879bb98p+0L
+-0x1.6a1c7e197c8395286ce224ca0788p+0L
+-0x7.bfe0829cbaec432902395727dee8p+0L
+0x4.991d87c345e0ebbb61cd931bb348p+0L
+-0x3.6b7ce678fbe321caeff913daa60cp+0L
+0x7.0a6da073fe0974a545a82047d9p+0L
+-0x3.aff17e5a69c92a7da122d75e5e6p+0L
+-0x1.b310ff07c4633910184be6764708p+0L
+-0x1.54fe8a5328d9a35d76a82e0462a8p+0L
+0x1.fa1aa456105988305a50cfe9bbp+0L
+-0x2.a83685facfab3c6be2d9cc0b54ep+0L
+0x1.4c0711e801dab8615c2b24517d58p+0L
+0x5.6d3f702a05f21ef2e10159a4558p-4L
+0x7.e6de6628cad4d92172fc12b22e2p+0L
+-0x6.d35b4a2b9aa3b671f16707259f58p+0L
+0x5.c1b45483fcca5e5e1dd0fc85f4dp+0L
+0x6.1545bc1f99274a3da0b992137dep+0L
+-0x8.d78bc381ae3fe71128f09624347p+0L
+-0x8.884c0a8403f9a21753a0debd2acp+0L
+-0x7.758b68b19854f07dcb88cd6df4a8p+0L
+-0x2.db7e7defb3460cd2f1912e6e43f4p+0L
+-0x1.aed8b1bbb0a68c6cd0027f5f852p+0L
+-0x1.5b91a8429aee9a4334f8ec56b3bp+0L
+0x6.d032f7ffb1b72ac5180afa41236p+0L
+-0x2.22ec229ba295377118d7d64c27d4p+0L
+0x6.52cbba10dd496bb37f68ba7cd15p+0L
+-0x3.f17c7c7084bfa8f222a380b4d6a4p+0L
+-0x2.a1aef2f2fd066e7d3a0b0ae1cb8p+0L
+-0x8.233f3eaf153a79d3f5674185ac78p+0L
+0x3.34792dbe0079c283a6664bf5b94p+0L
+-0x2.5dd7ad8f10321ae14ad0c3ae40fp+0L
+-0x1.2f624f75e6cd0a5ad3173918fcfp+0L
+-0x7.d9f83e776c9f70189522c010d368p+0L
+0x2.51f5c533298376f7242f971beb2p+0L
+0x6.df0a446f2ba0500bf6da0dfd51p-4L
+-0x6.326d476ddda76282eb4ea48c1efp+0L
+-0x2.494fbf1d4bbc17e1778cf6ffb6p-4L
+0x9.36d389c0487b468c83fc6a9048bp+0L
+0x8.1217c9e3bb8bb70ed532e6a5dbp+0L
+-0x8.1933fcce88da334e14b3490e7fp+0L
+-0x5.8d496224e9fa2f959d9196368dd8p+0L
+0x6.8929a095bbd345505c2f3a04282p+0L
+0x3.b263b559645a155fe5368ec86efp+0L
+-0x6.4ce6bc5a585d03960a176ae430f8p+0L
+0x3.08e145489828e0359ef467c1ee2p+0L
+0x1.97988cb29538d8f122acf24c27a8p+0L
+-0x4.c3d7da3e3f31e71d3aa134e9265p+0L
+0x4.0c9d8fb80b1e6540f47c955a23c8p+0L
+-0x6.eef5989d797ebe49a95785e772p+0L
+0x7.e9f9639973bbbd6e9ca3f06e756p+0L
+0x6.2a8c735e6fc60c5ccc5e1a32aaep+0L
+0x4.fab648b3bc0512237cf0e13b22dp+0L
+0x6.cb3fd87bcf79f0e82f49a49ac8ep+0L
+0x7.f206e6349ea93b0683e2d5bf53ep+0L
+0x9.11b7455dd0956aea6a41168cd44p+0L
+-0x2.aba6560885fecd44e897ec34ba98p+0L
+-0x4.d1231c3fe0e89f3d22eed3e9133p+0L
+0xe.4e1879d674c0181de55f9c362p-4L
+0x4.9bdddb18b4dda4e707d5eba27c08p+0L
+0x7.bf5588a51d65e6362af31fee72ap+0L
+-0x1.c015ec2a7657ea6a33b8614cf48p-4L
+0x5.ce29c0b8c3d502baf5d47d5f65a8p+0L
+0x4.e27543d8fb5a29151e558242eaap+0L
+0xa.a79aafecc52759750fdfa9f5068p-4L
+-0x5.3499a020952fcd4d005ab52a9358p+0L
+-0x1.0b14595548195bccb776d21964d8p+0L
+0x5.6bb6bbd17523cee02f6a34dc3288p+0L
+0x4.29842424d23da22d260f5da747d8p+0L
+-0x7.a5bafeec7edf68d36e9aa45b5f9p+0L
+-0x8.6c4ae6aecdf25463feb1d47a71p+0L
+0x5.7f2833835a6b3c62f74354b4fdbp+0L
+-0x4.0167e02689e949c29642aa52b568p+0L
+0x8.90274ceaa4077ce83e3e7edec2cp+0L
+0x8.868ef1922fc89f9614ab8b8e701p+0L
+0x7.ee3632ef71bb58e39f69752dc1cp+0L
+-0x6.515a9365114747f15882cc8ea3f8p+0L
+-0x9.bc6cd3773555822d2d41628b1808p+0L
+-0x6.21a8d20b602957f7cd5d3fd18588p+0L
+0x4.d1f0c853efe87cfe61f5730e8b7p+0L
+-0x9.d9a415c3ef6920a6ea7e6135fdap+0L
+0x9.ec7ca19fb83856d6b450b29fbf6p+0L
+0x6.071a9d2709afaab9611584f84f2p+0L
+-0x1.6351087278e361e04f503e4a756p+0L
+0x9.2d1f1cc15a851c0e9c03214e3adp+0L
+-0x2.3bc4a50d483bd171827e9ea8d034p+0L
+-0x1.563d8c5d92c2541f1bdf07b9dc9p+0L
+0x1.f49e276ea40955b125563aba67p-4L
+0x1.2d610179f855e4c79e2c970a8b8p+0L
+-0x4.58465a81ac3e287a8b6246af4fc8p+0L
+-0x1.81927a929b5088442ebfa92403e8p+0L
+0x7.86af27ade634d283f670fa72fbdp+0L
+-0x4.33d7eabaa59a4459ff7fc2ba3df8p+0L
+-0x2.c4e6bd7bfd2ab5659de35ca6d15p+0L
+0x5.a4c57241d50053c53213b08a085p+0L
+0x7.ae01316c9775b2a6aa42969bd36p+0L
+0x8.e588a1472fe8d83788f1b1bc7aap+0L
+-0x5.63a2c2cc51567bde6ffc0c1b3a18p+0L
+0x4.a40e49d865bf40eed67b551254b8p+0L
+0x9.778d115f9256535a2b4e4ae7eb6p+0L
+-0x3.aeb4091fb16e67f2a51892f55a6p+0L
+-0x8.00d31bd6f38c8125da47c2f42cp-4L
+-0x6.9ceecb37afc6deb66b0b01c14d88p+0L
+-0x9.d06690d0514e0d5cd425871e19bp+0L
+-0x6.9a75b266ec19bdd4ca795eaa809p+0L
+0x5.27992cb538602e0a34d3ab52748p+0L
+-0x2.a35d4662cc6082a9cc6e58b2edp+0L
+0xd.3336326379ac0b43ad29faba708p-4L
+0x3.ae7b5f8dab355e67f0141cf1c6a8p+0L
+0x2.e6f9b4a1a3a72cad6252f5df66fp+0L
+0x8.be113b3faec7f7ee4121b972006p+0L
+-0x8.666c66781e061788b5855d4bf08p-4L
+-0x6.2b2fbd87c302928cbb8dbadc2e18p+0L
+0x5.a8b77e032de501ad866f7dac873p+0L
+-0x4.1da884ac00bb591d6f908c1107ep+0L
+0x5.d2e8aba2cf0789544097bd5246b8p+0L
+0x3.3b39191c5c2e6c37dc4085ef083p+0L
+0x5.fad912e9d27e7042a88ded4e8888p+0L
+0xa.7367a1091b15236922845d26cdp-4L
+-0x7.26bf3a20f00badc9c97878eb588p+0L
+0x2.9f29f38288ee7698618197577278p+0L
+0x6.09d147f0dfe211fdb1a646367d1p+0L
+-0x9.ffea20e0e461d0fdaa1696cad4d8p+0L
+0x7.f0be3f964d896d5a85412855337p+0L
+0x1.5767137091c52f0f282d9e5a78d8p+0L
+-0x5.62b5684ec5ad64be31097d1376e8p+0L
+0x3.9003b4c3998ed3a38c7e94dcec3p+0L
+0x5.75081c627d3f3d068bb30e259058p+0L
+-0x7.a37a8034270e2456ead5e32184d8p+0L
+-0x7.5c2fec9da5a463f13dc2489bc2b8p+0L
+0x4.304be7905ced66a1f00c8a5bb6f8p+0L
+-0x3.0853702933351916155a4cbcfccp+0L
+-0x2.b34220adb924df012c5aed64e2c4p+0L
+-0x9.678f49090c970d6e7ce649d9a38p+0L
+-0x1.a1ba6d971b8c190d06682404509p+0L
+0x9.ea8d899eef14885ce7e88890609p+0L
+-0x8.7849608345d5d56127bc3f7484dp+0L
+-0x2.61b4b6c71e907cbea289556e0cdp+0L
+-0x2.349a872ce7a4025031e274b3006p+0L
+-0xb.649d2997ec1616cf24ee4e1e3f8p-4L
+0x6.ea08a62839c5b70b06925d2ffabp+0L
+0x7.05a7af35855bd61d5ea0d77256ap+0L
+-0x7.b3a00f8f8b9030f15b1b89bf86d8p+0L
+0x1.94fd35d900fb48f9a0fae4f1214p+0L
+0x4.d2e01d148e951c04284a495826c8p+0L
+-0x1.99908a184fb4b0f8cbfc952a718p+0L
+-0x1.2d7439af52e1d36e7900a951017p+0L
+-0x6.3f05c09adb26458e5e666ed15c98p+0L
+-0xa.553f1b82b1778ceaad74477069p-4L
+-0x2.45e03ab966a658b6f993377e5ee4p+0L
+0x6.b789d3f43efb6823328342d63d2p+0L
+0x4.f0ae25c276d59b78295d65fdb1cp+0L
+0x9.3865bb79e1d7aa26672cd1516bp+0L
+0x8.0858798ec14e519cdcfd701831ap+0L
+-0x6.efa424218bb68d52fcc3e8006bep+0L
+-0x1.b1f84e40e32eb1939624254ebd8p+0L
+-0x4.6c14d152e617d6d37468c2b1c3p+0L
+0x9.95939cbbfeb2d388ed9d27ab10dp+0L
+0x9.4959d81114fde1022eae06ad07p+0L
+0x7.7addf3403ae4e4dc98cadc0dbebp+0L
+0x9.3dc6e6b584b3fecfe516e28fb9p-4L
+-0x2.c1d3aa6b1c1ebd71f21e838a4aap+0L
+-0x1.78af44378f82401f7cd7a9571048p+0L
+-0x2.92b41c0b0f8bd4166ac820cccc7cp+0L
+0x8.82834a17cbf750da76f6d7ad98dp+0L
+0x8.f7eaccab1befed18e1f41d20cbap+0L
+0x3.0be8badf9d9de6c51a074579fda8p+0L
+-0x3.3bb1eca1e3af41eb52089ac5f68p-4L
+-0x3.52c2cc0b6c687bd12163d1fc1fbp+0L
+-0x3.bcc0527c131a8da61ea92bc96078p+0L
+-0x5.225fd36cf1bd4d262ff6dda932b8p+0L
+-0x3.711263bd2e63bae69c20951105fp+0L
+-0x2.30f33f1d147b72b7bd1a9ea716p-4L
+0x5.85b0b0da1200fa58aafa9be4588p-4L
+-0x9.e910e4f7e0f13ae3792e15b6bd88p+0L
+-0x2.ee845700f5e12421ba59e344d13p+0L
+-0x7.6c5c2345407c82fe3fdff5216fp+0L
+0x7.06cbc58f403201c876281666418p+0L
+0x1.026d39ef8f9471ca6f6586b59b6p+0L
+-0x6.ded392c7d4de136a3f22eb49999p+0L
+-0x7.6246ea8442a97285b01bffd68b74p+0L
+-0x2.7e1f85f8b397368710070b921dfp+0L
+0x6.64a377461dd27851375a6117f8fp+0L
+0x4.504ae2a37f7730716813861f6e8p+0L
+-0x8.e64ab383e8c3f0eaf39e9e84a06p+0L
+-0x7.36f1150a8f86b7e3261b85f43f78p+0L
+-0x2.3e33b31440ecc44b5a3e1f30fdp-4L
+-0x9.2bb2c0fb620e82b6743a8bcfea7p+0L
+-0x2.f35017c8fdd139222268adb72774p+0L
+0x5.69b7a92492f793aec4179374725p+0L
+-0x7.7ea5cef9a8f451d9032771711be8p+0L
+-0xa.1da9973260f9fa97afc000ba4d8p-4L
+-0x6.58a28493cccdfe4d6be34d215bcp+0L
+-0x5.9db680aceed58abf3f073f2ee79cp+0L
+0x2.93913f45c72847d8e0c96169e27p+0L
+0x4.5c635794c2f012f4d8002f6bd418p+0L
+0x7.4861ae948e5e509a03aaedffd7ap+0L
+-0x8.4471d9d565bc1cf29886aaf80788p+0L
+-0x6.f9f45565b33ab84cd3620604f4c8p+0L
+-0x7.87e369d0600913b2e7acf849456cp+0L
+-0x1.da385724dad827d01a5593d8c2d8p+0L
+-0x7.918cbb847bcde99ef085e13eb284p+0L
+-0x2.563497044d695067330311f2ca78p+0L
+0x3.9fec88f6175cc6d1dfd7f5eff38p-4L
+-0x6.31dec572b80c31385afce64a0e4cp+0L
+0x1.bd03781962db662f1e44cc353b28p+0L
+0x9.3337a9116a9489c7401bcb788b2p+0L
+0x5.48f93317769448c3239f64ca5928p+0L
+-0x6.2d75c7cfb640727e6f57c2a2d5dp+0L
+-0x8.4ad23fcd2fec70570485add955p-4L
+-0x6.66249451568389c690e7971bfad4p+0L
+0xd.c88046ad6bf9281277fda6a15d8p-4L
+0x3.a1bad89f2c12a3e6b6ea840e823p+0L
+0x4.0f40db8402211164a1cf3b889138p+0L
+0x3.063238ccbc86ab81f17ee6b2e788p+0L
+0xf.254741aebb24d7a49d2800879f8p-4L
+-0x7.1740a71496e764baba9d4b3d7f4p+0L
+0x7.e48a517131ecb24fb73c11341d6p+0L
+-0x4.ea40717147440e25ab3aa120e5dp+0L
+-0x9.3685f99d01d6e90505ccefc21c8p+0L
+0x5.7a89169aedb974146a9afe6680bp+0L
+0x8.1801288375bf37a552c715743bdp+0L
+0x8.d52b94152ab31e1437f90b1c28dp+0L
+-0x2.1c1cf3e26e67c46b6b4f913ce2cp+0L
+-0x6.7efb66e61d42387335b81b7fcab8p+0L
+0x5.7f760422e330ca403272adbb0c1p+0L
+0x5.c924395eba789d94de08b94e36p-4L
+-0x5.87fdc394c324cdc899fb2b631c48p+0L
+-0x7.4e9600df58eb073a7cdc51bc02bp+0L
+0xf.133ed7a449200f73f67fad3ad9p-4L
+-0x6.18556aa22fb4f970fece967d5d1p+0L
+0x5.0f89eb53a9a155ad2e815e6e5998p+0L
+-0x2.117962eb94daac39d1d3461625c8p+0L
+0x3.1575d4f6c31475659c4b172d26p-4L
+-0x4.af433a24f6dbb13210100f66e9dp+0L
+0x7.296f85cc35ef4cbd7ab23721859p+0L
+0x5.cddf54bb5914b2c39f0342e3de8p+0L
+0x4.9d8c71a98d5c35b0ffe646545fep+0L
+0xc.1563f7aa036f77dc3d1edae0e88p-4L
+-0x7.1e33026c60992309b890486893c8p+0L
+0x9.ba38725fa0fa769b4933f195971p+0L
+-0x7.6bbdb287ffacd07e6905ff541bfcp+0L
+0x4.750775b7422f8f065eeb2ac9e428p+0L
+-0x7.f772cea0180452e427b524f7861p+0L
+-0x1.84685b195064bd7ab0c19e96c85p+0L
+0x2.aa5e544500587bf572735b498cb8p+0L
+0x8.20d7824c58ed794ad7e4acbfee9p+0L
+-0x6.3e9fb3dfb4227cb43bd1f1618aa4p+0L
+-0x8.7c2b9277bc0a13be98f0f2b2dc88p+0L
+0x1.9adf66760738b7ddf673a2228bfp+0L
+0x3.ef5acebc8330ff25f5796b4c9b88p+0L
+0x5.ef895757865e3be8597ff70b8b38p+0L
+-0xf.253dbd9ddcdc475a05caa654a8p-4L
+-0x3.bf5058a3483e3e06f826e6d4ab4p+0L
+-0x8.6d81d1c5253fc72f21dd9a6a2bf8p+0L
+-0x6.b04da8c7aa93da5cd8146930387p+0L
+-0x6.d3918c0adebf40248591d3579d0cp+0L
+0x3.19d98904e175a15b31201ce32748p+0L
+0x7.706067c28122fdd627caf03e71dp+0L
+-0x3.d90b59939a12b9696f962e3549e4p+0L
+0x6.8418abfd976abeb0626a6e39b6ep+0L
+0x7.2e1da8286a274af297dfbf3af29p+0L
+0x9.7c072170ab3b6d90d7b96ee00a1p+0L
+0x2.8151db55fba7abd5fc867dcac42p+0L
+0x1.333c4ac74d2ba716e24e0f974cp-4L
+0x3.2323161131160c36eff1c770f558p+0L
+0x2.2bd07b4642da9ea8ba1dcd4b592