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.

1 files changed, 1005 insertions, 0 deletions

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.2bd07b4642da9ea8ba1dcd4b592p+0L
+-0x2.0b1634fb898222132af576ae772cp+0L
+-0x1.2a4b507339d30170325cefbe003p+0L
+0x7.0982f483ee6db3e19389736876dp+0L
+-0x1.de6690ba2dfb69b7ffe6c2f05fdp+0L
+0x1.e5194f099851ae73215b76bec9cp+0L
+0x4.bc4c7dcac60f05a61bb95dbbd0cp+0L
+-0x4.0f04eb901738a6771f2c577c32f8p+0L
+0x9.fb6e10fe43cd2ef0156ff837696p+0L
+-0x5.d99d706ef061a573c23a0e6d16c8p+0L
+0x7.d676ec34f11a8c5adf45afd1e04p+0L
+0xa.f78560ebabf16f0aa7c49d315bp-4L
+0x3.4724dec419fc732dfe4d6554b0bp+0L
+-0x3.8e83a647e799cb65505aea35318p-4L
+-0x4.a0c8df5d1ac9bf08dc6a4c869ap-4L
+-0x2.832e1b5739265aa389df56ad319cp+0L
+0xb.1822112a0ca0be7230c119a56d8p-4L
+-0x8.d7c63485230d0de6f005c90115c8p+0L
+0x5.234701b6897a67fa59219c95286p+0L
+0x3.2fefe84848b943f8084ede77657p+0L
+0x7.b33616017ac6abcc1b646dcceccp+0L
+-0x7.cac38fa4aabd5b2aad773d51d0dp+0L
+-0x5.2296fb5d953332878dd3eb951048p+0L
+0x3.212f4ba6969f4a5a4ba6a637764p+0L
+0x2.3642fc804bc902537fae33d0c648p+0L
+-0x8.41978074035cba5e707bf457f148p+0L
+-0xd.0dc6e85e234d1ad412b4641b2f8p-4L
+0x3.8e88848599798bb2f7c76e62fbep+0L
+0x3.a54dc3737ae5241b5f7b7802d26p+0L
+0xf.b5b5de10dd6cc9bce00bb0fe388p-4L
+-0x6.70de4e6d61eb695ada7025153b6p+0L
+-0x2.88f28dc271f4707553afd8eeb4ep+0L
+-0x7.f421c91828642b26c7073177b8d4p+0L
+0x4.0d1d9fa7e69d4adbd7a583791188p+0L
+-0x4.2d8969968931093817ba7cf2a5ap+0L
+-0x6.56234e9dc04f16c5b65503f4705p+0L
+0x3.43bd687a4bf88ab71c9643fd62ap+0L
+-0x8.da38c5bcee6385c364cb4611039p+0L
+0x5.7333b0d38bd6f18550022d1352bp+0L
+-0x5.5c3541ad0031b58f8b580c2a6cap+0L
+-0x7.bf9b90871708ce40bfa72f7108dp+0L
+-0x4.c7ea23e710249fb8114e6208d684p+0L
+0x8.87958af9825eba906b7e5789f28p-4L
+0x7.496a2bcd588278d209f2369c798p+0L
+0x7.aba4de5f3b7a36cfc058a554118p+0L
+0x2.b5a53a24eadd6fa56d3e6f948548p+0L
+-0x3.664ef4ab7969aeb324ee83bf04bp+0L
+-0x3.d66f3b7f565898d021de6bfb8074p+0L
+0x3.0199caf98a9f8bc8b188c2ed43p+0L
+0x2.accf8df0023c9773a8fdbbab7d08p+0L
+0x9.45832b47df97decbb6da20abda7p+0L
+0x8.4043dedaab61ca2ede18be331c8p-4L
+0x3.92d084adabdb733274bbef09e87p+0L
+0x4.1d947d2c1ce559b64da32b0370bp+0L
+0x8.183dac63e2167a8e72a520c711cp+0L
+-0x5.fa4b01fed60cbcc989fc962e771p+0L
+0x2.23e5f9d56c8ea3eecdfd8b9ad578p+0L
+-0x5.0c029382e8fe1f03d2be2b00038p+0L
+-0xb.8befece7a3f7ccb737195637cp-8L
+0x7.002c0ec8a91f81e3af072aeab01p+0L
+0x5.1eb4733a47113fa0017104a730ep+0L
+-0x5.82cb8073e5e9347e6242ac530474p+0L
+0x7.817601901890ee1f5949878adcdp+0L
+-0x2.c640a37e405de3e1cc9a55bd9994p+0L
+0x6.415aa334050b058dec618626a53p+0L
+0x1.19492f5a31c8aafbd4fd65fa173p+0L
+-0xf.1b976311d1a32477a82557d6938p-4L
+-0x3.e0d06d6f3ca898e1ef33c953cea8p+0L
+0x3.93b0b26225a5f79e607533e42c5p+0L
+-0x5.1fc51eb9ad7d05e79949c180f9cp+0L
+-0x8.c768c3f2627163adc236c8a0e9cp+0L
+0x5.17a4798cc050fc8cb9995d077168p+0L
+-0x5.24cd14c9aa12974bfcf0359b029p+0L
+-0x5.4b3d6d7b6495e658600024f9a638p+0L
+-0x9.31c276b91fda7b390c0d69dc4d8p+0L
+0x2.a2e0e8dbbeda6cfed7117dcd2bp+0L
+0x2.0005c30292dec52713ac1cb9036p+0L
+-0x6.000d065073caa65310bbcb1cb2p-4L
+0x4.7996daa23160cdfc3b921cb7e198p+0L
+-0x2.3a158ce8de59bc560a50dbaeeb04p+0L
+0x5.228afcfbbfdee91a9c289eff0d3p+0L
+-0x4.0e54ae29731b69aabd2b2b192298p+0L
+-0x1.05d6a64d362d359ba1918556b38p+0L
+0x7.80e0f3174fd7af89c4788569f06p+0L
+0x6.dd83ea57d1f6eb19165d116048ap+0L
+0x9.43cadf10f50bb359621ac443b14p+0L
+-0x1.a6ae3c6ed3cdaeefb6cf02d59848p+0L
+-0x1.a8cb485f0b3c0ae01055425c8ep-4L
+0x4.ebc874f52c5c394d7188450b8988p+0L
+-0x1.ed35c369fd508b9a16f0e2423f6p+0L
+-0x4.b39158cef5c76555305a56a580c4p+0L
+0x9.80db71a3d6a0ebdb7e0416a825p+0L
+-0x7.1c24b6a31fb26eac0dce68182958p+0L
+0x6.4c7b115acdbd877f9358055c8d3p+0L
+0x1.e2c61000078b1e03a4fd59dfde9p+0L
+0x9.921f202d0717431b910e2f2b2ccp+0L
+0x5.608c065ce0c5cd0c8b47e00e6188p+0L
+-0x4.635fa80831b0052b08f4884ebc4p+0L
+-0x7.7dc98cc3c4ca4ec8fb920dc37b38p+0L
+0x7.9fdc2663a047aa080ca7d16e52ap+0L
+-0x1.7ecf30af4a79d81b3d0b3a982a6p+0L
+0x6.6820011d5b6172ce5b268bffafap+0L
+0xa.af03cce1318ed518f0d06fee7p-4L
+-0x2.bd9747e1f3e0a228a54db08dc43p+0L
+0x3.5b7ef657835ce89f9b57eecc511p+0L
+-0x5.0dcb265a1ab9f4d897490a1f87b4p+0L
+0x8.5727993c9111c88520616df3c23p+0L
+0x1.f7a877411cd48ffd95a068fae488p+0L
+0x9.fe2ebb7c6a7309ccdd0a7da0f72p+0L
+0x2.e731b9b55cb233e79c438e86a4c8p+0L
+0x1.df36af281937771d882b82a28488p+0L
+0x6.d8901fc89c023743db7affdc9a4p+0L
+0xe.a5ee6c7d40cc062923bb43e795p-4L
+0x9.bd4a5d4626824bb573438024ad6p+0L
+0x2.06f4e38c15eb1e1b54f69e1274a8p+0L
+-0x8.7aa6aeeac7b0299d5a4659ecc69p+0L
+0x1.4004f5702c9339d740339ff7256p+0L
+-0x5.8a58e2ae399a7aabb278401728ap+0L
+0x6.6a0239ce646e410118d1d436423p+0L
+0x1.92fcdf954b35a4c786c8fec94ca8p+0L
+0x5.d1c68a01623507665b4a699ebf3p+0L
+-0x1.d88ac9411081fcf94394c2bd006p+0L
+0x4.e8bcdfee56f8fb02fe106087p-4L
+0x4.32e49f8d4a4eff6a574a910d158p-4L
+0x5.1625b18dc2f151e7b58e8ceae938p+0L
+0x5.1d0f2ee0dd7ae82df0aa218a4878p+0L
+-0x2.8e2d2c0608e4e184bb8c9e5cef34p+0L
+0x1.6139b408391aed82a06c6b7104f8p+0L
+0x6.4de5da8634180a12a692496ebd1p+0L
+-0x9.23dea996fc872b1403f379f0b248p+0L
+-0x8.9dc990c2533d24f4e365da9a6328p+0L
+0x8.dafa6a2718b36544661df78bb9ap+0L
+-0x6.afbb7df5ecbe699808276cb807dp+0L
+0x1.e965424e445e768b50fc1f6bafp+0L
+-0x3.38c3b0a35f86e65c629199d83ca4p+0L
+0x8.871fd20642866f25a92eb6f2faap+0L
+0x3.431ca3efdfcc867e9c9633da8cep+0L
+-0x1.2df5c1b69035a85510de9f815a78p+0L
+0x7.0a943b67e8391592a80084a37bep+0L
+-0x5.49380d09ffb4841c571b0f64418cp+0L
+-0x8.beae2eaf41505f4fcc68a56af948p+0L
+-0x4.f9a2d9b4bce2834b1935af5401ap+0L
+0x3.fcea28fbe731e1ce3b722c8c4258p+0L
+-0x7.5c93305f96f27fb8a5aa5a44933p+0L
+-0x2.8f52ef7cd5e1fc1a65133a7230cp+0L
+-0x7.2cb57335cd120c06a29dce41ef98p+0L
+-0x4.8dfc2bc3f183f7020bac9d0e4148p+0L
+-0x3.76116b936ca03f2203d87cf16858p+0L
+0x9.fc211d3003977210dc39ee27af3p+0L
+0x9.378a24e9db0e29cbf7777ef7afcp+0L
+0x3.000c169b66827066918d9d4c5eb8p+0L
+-0x9.1c140f5d4a45cd404a85c9ca97bp+0L
+-0x8.8ba141208f97bc139addf7188c28p+0L
+0x3.7268287d7a21b0b5224e3fd0e438p+0L
+0x1.9c8d34ebca4333c10662ca2c1ap-4L
+0x8.465091ee7b540ec42c279b6529ep+0L
+-0x5.2d927fe662f87b30fb91c6dab534p+0L
+-0x8.5f396a971a5653e564a105a79b7p+0L
+0x9.c703eca3c81c52c894318e6f833p+0L
+0x6.a1d4f7d0f3b38a3bd075e4b71a6p+0L
+-0x2.62ed6dbbb841e2b2d45201dbcb18p+0L
+0x9.90a5f1cb76b34b5b3c314c0f0d1p+0L
+-0x9.28caa47255ed3caa3512b2723fep+0L
+-0x9.1909456d12cdf9a410030c1f387p+0L
+-0x8.4821f94b1108dcd976af37f953bp+0L
+0xa.8ce77e88d10709cf3a7d84b947p-4L
+0x8.5cf895348eb60deb069ac149646p+0L
+0x3.17b695e06ebeee7a9ae5cf2ab39p+0L
+0x4.84db300907d0effe9b75dff16238p+0L
+0xf.53d830e948676ba7aa1417b7bcp-4L
+-0x3.1b4be4557c340d8deec412fabbbp+0L
+0xe.5ee376d3f40a262450c2850428p-8L
+0x5.fa3729d0398916ee15ad3437cb2p+0L
+0x3.6cb0628414a3221494750f1bf61p+0L
+0x4.f7a433abe916388e28f248fd7d08p+0L
+-0x5.5b6a078ffad3e6c01b4364864af8p+0L
+-0xf.a91bba8b01df300ecd359796f1p-4L
+-0x3.74f8e881ad508e408d765b0bc39p+0L
+0x8.e8a35208fb6a9be9aee3981b91ep+0L
+0x1.f14fb8239b4cc0d555e274a5ecp+0L
+-0x1.8c4c9eac93a557089506e643d42p+0L
+-0x1.833f912421bb043dabc1fbbe8bp+0L
+0x7.46094bdb942bca846eb1e860afcp+0L
+0x4.706dddcedcda16daff058e47e63p+0L
+0x2.b7a4cd0a92f2167a925f877595p-4L
+0x8.19a723b567b0c5145630a7f11cep+0L
+-0x4.427fa847f4da4932c39d12bd657cp+0L
+-0x7.dd75a0d6bd6566d421967a34aadp+0L
+-0x6.ffef35a8f0dbb7d5df3c34863b6p+0L
+-0x4.29429fcb32509699c4aaa0caa44p+0L
+-0x8.ea9710945204aef8cdba7f0ad98p-4L
+-0xf.cea2cc7723722f1cd8c4a4888ep-4L
+-0x6.ad4c0f36853bb8f838008062caf8p+0L
+-0x1.42a6847281034d984ccf97d03ap-4L
+-0x6.1973355576e685e8ec85dfc01ed8p+0L
+0x3.783a2b3ee18a960799c8628d00b8p+0L
+0x3.1710ce22a12ed350af7dc1b88708p+0L
+-0x7.eba4cd33f75446166d974ddb9c8p+0L
+-0x2.da430d4c6f0acc4f8ce445d1e688p+0L
+0x3.37ebfade24f7d89bdd22273cf77p+0L
+0x2.b4770022eca1e25bf6ae73a9c1bp+0L
+-0x8.cab51af9d32b62f5bc30a0a6b68p+0L
+0x1.850939ded8e9e5bd5c0e1a50156p+0L
+-0x5.0a811fe9b0517b78dbcc24ad0be8p+0L
+-0x4.d367da6090e5bd500a7ea70f4964p+0L
+0x9.7fa9c7ce3c1bec51ddb43e21b9ap+0L
+0x5.aa77116cd39c7f36c55e8712defp+0L
+-0x5.ba5f8233d0db0ba07f9a6928c9a8p+0L
+0x4.6f0fa0d4fc9f827308c6ad2a22p-4L
+-0x5.2fea412c997b06a33aeae3021c6p+0L
+0x9.306b197ca6da684875ae9b8824fp+0L
+-0x4.9c70f9cd4dc70125baab16fcbd48p+0L
+0x9.87a1e67d199b6ce361cd507f804p+0L
+0x6.ece2b5a35bdcc577b13a5538e7bp+0L
+0x1.7b51e31b574c7b848c6db0a082c8p+0L
+-0x8.5155d649753e7028d55a14ff1e6p+0L
+0x2.d689bca5185bf73fe0e806aaa1dp+0L
+0x3.170b71a1994eb407561253f0b3f8p+0L
+-0x3.e4e74e8e1eadf85d6e7f1e66b548p+0L
+-0x9.41f2ab5fb5e24a059d3d3ac8ef78p+0L
+-0x2.f48440d834a1b2d8a2035a54b334p+0L
+-0x2.5711a3e2fe88eb9558a8f99f92d8p+0L
+-0x3.cd5cd1070d28f1a5ebae6ed99c8p+0L
+0x7.da10ab941002b610b40beabdb9bp+0L
+-0x6.3d10e911c1f579fba936470b1b98p+0L
+-0x2.53284b86565b5b54274ba9819578p+0L
+0x2.c70ad6f7b5af3d9c44add656d1ep+0L
+0x7.de38f5aae70de0694e34dd76869p+0L
+-0x7.4220a7964b8dd0421816b0036264p+0L
+-0x8.99aed539be40232425cff1cfc8p-8L
+-0x6.32e4c72f9cb07f9ef0d02f50ab28p+0L
+-0x3.263b809cbcd42838f3fc9a6e26bcp+0L
+-0x9.b25cb1818dee36b1126012e8784p+0L
+-0x2.b5bd709178a14157d3a475ef4828p+0L
+0x6.ba66d6d1afa4821eed28ef6091p+0L
+-0x5.a73881cbfb80e18b632712a4fe6p+0L
+-0x3.c89284f2ffc5f9b4d7124382c4e8p+0L
+0x5.d1498b9a63ee97dce55468754cp-4L
+-0x3.c69721ea5836de33c7dc05e657c8p+0L
+-0x1.3f0bb6c572d76ac7bc7d828f6bep+0L
+-0xa.c3ebd970d168f54c5246313ed5p-4L
+0x5.b7b5064f89401dfbc05d270e483p+0L
+0xc.1830cce873fea3ff621d438ebep-4L
+-0x7.71657de5f02db9f4e17fa3443db8p+0L
+0x4.a381e07a989678ce06e58933792p+0L
+-0x6.d650dab65c8d472feaaf32b2febp+0L
+-0x2.830b571b5d453e341b4884f8822p+0L
+0x6.2529e0d7907cd0253d93658828p-4L
+0x6.e7db37ebf7deaa5df783991032cp+0L
+0x8.3ea922d0d470ba200131f5e5f8bp+0L
+0x2.fcc02b2355a359b0940c54584608p+0L
+-0x6.0ee49acf96b4d2a3236f5b3261ep+0L
+-0x6.0a8369a3ddf88abfb34777832fc8p+0L
+-0x9.f4e212fae00f6523a29da365ff8p-4L
+-0x9.7d43a8bce89cee64900a763f9208p+0L
+0x7.8803378816e954ff12f4895d2c9p+0L
+0x2.138efc6f204c6bb5554c8874d838p+0L
+-0x1.56cf16a0572f8047f2eaa4e9fb9p+0L
+0x7.ff38d7b27db6dbeb6a55b743f63p+0L
+0x6.f667055d0ffeb4e7c7c9bc69d62p+0L
+0x6.fcb7a94884ba99a27f240f58ecfp+0L
+-0x8.a26cfcbdc90d462ba95101d8a1p+0L
+0x5.bc3851c4367c5891058f26d1c4cp+0L
+-0x8.7cb31fdde64aa0b52b3bffbf9fcp+0L
+0x9.765045136513269fcacb044c35dp+0L
+0x6.c200f2f173ffec9b0ca56a771p-8L
+-0x1.2f8493045a4184db1f00b45118p+0L
+-0x6.30990a0daa92a1f59bf95ae77878p+0L
+0x7.d9cb38e718a5d2e09c57d179918p+0L
+-0x8.d9e0c2d232a3ae446f6c93a77cp+0L
+0x7.a0607496ff7eb36db73a8c7efd3p+0L
+0x5.bf583b9b5b4c3307348ca6329778p+0L
+-0x1.06bf7e424199c9b6dd90e02af558p+0L
+-0x5.942a0853fc59d5e4ec216136abd8p+0L
+0x2.f680ffce0b1fe73a4034327e822p+0L
+-0x8.d42aa5e6aecd28b85ed789356afp+0L
+-0x5.bea6b713b9e18381a8be9dae4e14p+0L
+-0x5.a2c594db3c37af22bf515c13af28p+0L
+-0x1.b8fb02bd1f68ea97d34b08f6ce8p+0L
+-0x1.0850efc11c7b3b2478cfa0e9298p+0L
+0x6.7f63b787daafa56f3941e88b539p+0L
+-0x8.fd328b22c0832b4cfdb32425df1p+0L
+0x9.e293996c251ffdc7f8537e5118p+0L
+0x5.2bb27ede5f05b416ae24c052c938p+0L
+0x7.e845be5812324bf77d8b9ab7f4dp+0L
+-0x8.dedcf19237e3671ba26a7b37d7a8p+0L
+0x2.78ebd939beb61b3d52c0b8876f98p+0L
+0x8.c683f974779c4fe504e49a955d1p+0L
+-0x2.ff947ab3a9da2c3c774f9d06db08p+0L
+0x8.ce853bac794ea483a412eb441ecp+0L
+-0x7.02716024dd7c3c3849bea8e2709p+0L
+-0x6.eff386043e35cfd9a12087ead64p+0L
+-0x8.e4fbab91c5450573c88c229dc11p+0L
+0x8.ee9a060e0501642e48fb55ce712p+0L
+-0x9.51b58cac18bebdb16bfa052decd8p+0L
+0x7.1d83dc6b307c90b13c03a5ae45p+0L
+-0x7.bf7cff150f4dff76d1dc18b9862p+0L
+-0xf.ba68f7018258590173f1abd20fp-4L
+0x1.35601c6ee6748ef75f0946dc6018p+0L
+0x8.bf2fece2fde2a11a2107dfeae82p+0L
+-0x4.dba37f671e8b5b1a360d41ed80c4p+0L
+-0x8.388eb0b9f406587d04368ceb3b4p+0L
+-0x5.1f93fc4f17857d0e96ae46c5530cp+0L
+-0x3.de3dbc8dab020f8b28d60273dc34p+0L
+0x7.5635a9e90d995f6d2df74243e87p+0L
+-0x9.3a44a6155d6023d70aeff4616d9p+0L
+-0x5.69087cc86ea525e6f7d4f5122c48p+0L
+-0x5.0b89fb3fd852684973206d2ba36p+0L
+-0x9.435cba18b8706da10f65effbbd7p+0L
+0x8.cbcc410c8c361aa141134305465p+0L
+-0x8.df9a509953465760fa1954eb952p+0L
+-0x5.5773ffacd847e7701621300f60cp+0L
+-0x5.dd4f01ee1e2281a0c1f97fcee51p+0L
+0x3.4678f18eb04877fb5ce1706a9c5p+0L
+0x7.85ff533aba6035010b4e77acf9bp+0L
+0x5.b1e1564012ddef9aae8f5b3033p-4L
+-0x6.a44b661786c22ca254086fc7309cp+0L
+0x1.45c616df3001b21e0d1823e890fp+0L
+-0x8.2c9bc812d9c7cf869ceab8519eep+0L
+-0x6.c18dc2760e178b96900df543489p+0L
+-0x7.b8ccaf0ea730182f53646e96d108p+0L
+-0x9.6d12478afac2d4d0852b7e44f8cp+0L
+0x2.140c1e14c24d858ac360129b2b8p+0L
+0x6.08b2607ef943d8803581c9531dp-4L
+0x5.b190a5869b4639172864f4f4319p+0L
+-0x8.ef5adf69ba6e1d3032d511ab47dp+0L
+-0x8.ec1bafaa0d503213b7e7ae83cfbp+0L
+-0x7.2fbddc0f62c3300f7ae17c654d2p+0L
+-0x6.03bcf4020aa80ae0b96c2a4e2384p+0L
+0x5.6a455b78c447115f7079c5b65998p+0L
+-0x7.a786e7499938bfe47a210234cc5cp+0L
+0x6.2dd24d2ec97a39276e3af92578p-4L
+0x3.325fe0e838f73e561848417d068p-4L
+-0x5.8d2fcccd8b0ef7754ad3419c8958p+0L
+0x4.817189cba82fa55a1bab791559ap+0L
+0x5.3b720554265b711749fac46b89cp+0L
+0x5.fa4f16983cd24e0f8c1ff6856c8p+0L
+-0x6.591061b408e3b95b4a062042053p+0L
+-0x9.64700a8a85aba5ba97d941035548p+0L
+0x9.657a084f72669afef33b05f50bep+0L
+-0x6.619ba8aee93b8b71ef0a1d7798p-4L
+0x3.5f492c3206f3bfb3a08c99638ecp+0L
+-0x1.d00fb08d201212a522aacadf6998p+0L
+0x7.6807782cbfb348b8b7cdb732d28p+0L
+0x6.e42548e685402b1df83edd656aep+0L
+-0x2.8c307d124d3c6df34a66afccd69p+0L
+0x3.034d0f52a8a6c87873a5714b51p+0L
+-0x8.e5efeb59e1f44bdd1f75802c055p+0L
+-0x3.232d95c4e4609a0b08ca7710898p+0L
+0x8.178c573e061423193fbc0d12993p+0L
+0xb.bfab4dbc117962fa1c28bf6f87p-4L
+-0x2.4782080ce662a2fd87fd375ad4e8p+0L
+-0x7.18ad2850429d7b7fa5d261a46a9p+0L
+0x1.7f73abf4ffdbfe543d77d7055a08p+0L
+-0x1.70d5a4f5a1a752032c148efb24e8p+0L
+-0x8.8988aad40a51d55c93d3e9d80e2p+0L
+0x9.53240e3bec507a21dfdc5fe3af2p+0L
+-0x8.e21512dcf899d8892ee078b9caa8p+0L
+0x1.cf7fa16d97968a7ee5ad2009b55p+0L
+-0x2.c38fd4035ddf6a396cd95a24cap-4L
+0x6.0b9624e01436a472b0692e540d9p+0L
+0x9.ee3db3186b3048bd87b1785e07fp+0L
+0x4.5e1a03aef0bf85589d4a3444bb8p+0L
+0x4.7d34e2437ffd0d9de48cb9772ap-4L
+-0x9.ba1bf27d5e3d56d49d1980065e28p+0L
+-0x7.f232862a1c3d467a48b5dded3238p+0L
+0x8.d8bba911338318bb7ac01f997f1p+0L
+0x8.029873e03e99b26398672725898p+0L
+-0x5.9a51809c2e6f4de0b9d4fc86404p+0L
+0x9.a6e0a82def53d27a8be378f347cp+0L
+-0x1.ab76f53c011b2d3914dad38c3a08p+0L
+0x5.3a1f97f6fba49f7940f201b47188p+0L
+-0x1.574a5f3966778128f5d865bf04fp+0L