benchtests: Add "workload" traces for pow

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

1 files changed, 1002 insertions, 0 deletions

diff --git a/benchtests/pow-inputs b/benchtests/pow-inputs
index 4a51aac..a279ac2 100644
--- a/benchtests/pow-inputs
+++ b/benchtests/pow-inputs
@@ -507,3 +507,1005 @@
 0x1.f8b79758182dap-884, 0x1.ed6174093fca4p-6
 0x1.fa5c677254961p133, -0x1.c91962524971ep-1
 0x1.ff0544adacb78p649, -0x1.6c17c3a7210e2p-1
+# Random inputs in [-10,10] such that x and y are not both negative
+## name: workload-random.wrf
+0x3.ce2511ece91e8p+0, 0x1.9e90c0ca2218p-4
+0x7.692a884bd643p+0, 0x1.61719582df02p+0
+0x8.5a364bb0bb13p+0, 0x9.ba9d4a5f863cp+0
+0x9.2b8b60a7cd48p+0, -0x6.db5f6b75e8f98p+0
+0x9.ce9f3a5bb2ap+0, 0x6.d48ad0581599p+0
+0x5.1e4bebf516p+0, -0x6.b103b10027p-8
+0x9.e6c0c55f3d44p+0, -0x5.511293f3125fp+0
+0x1.e484e7b5bf1p-4, 0x7.1e35e7bbbd6p+0
+0x2.b0fcb70c1af5p+0, -0x8.e7e953d69d9ap+0
+0x7.151487116c28p+0, -0x5.6485af5b81bp-4
+0x6.c37f0e2c1eabp+0, -0x4.eaf2f9606566cp+0
+0x7.b9b5f723a5d9p+0, -0x9.4079c1084fddp+0
+0x1.2b47feb5106c8p+0, 0x1.c72f700417158p+0
+0x7.232a3a7c7dbep+0, -0x2.572d86edc19e4p+0
+0x1.40a18642ea45p+0, -0x2.20f92269323cp+0
+0x6.b7753f456febp+0, -0x2.55c3e6fe677ep+0
+0xe.e47489bbe958p-4, -0x1.d4aa03857cb58p+0
+0x7.42681229db62p+0, -0x6.995e23d231b28p+0
+0x5.5bd90b71c6528p+0, 0x5.7abb5176d7548p+0
+0x7.b19f4d2835ap+0, 0x4.c7660f21e6e28p+0
+0x8.e06d5ce45d44p+0, 0x6.722acc25b875p+0
+0x4.fa48abb56cap+0, 0x3.29ddeada34a6p+0
+0x3.db574174b8fep+0, -0x6.fd9befb3e2bf8p+0
+0x6.50a015bc6f5dp+0, 0x6.49e175ec931ep+0
+0x2.0de511038b138p+0, -0x6.b183e028e1b3p+0
+0xc.c23b008c2d08p-4, 0x1.12b21157f5448p+0
+0x5.6e13e9440c78p+0, -0x5.a5a1d2c0c616p+0
+0xd.c5d8f7667fap-4, -0x3.a24da9acc5514p+0
+0x4.15006c03254bp+0, 0x1.c19be64a74f8p+0
+0x1.715978c5b7548p+0, 0x5.a2e3b0fe6c2b8p+0
+0x6.77a94ca75a1p+0, 0x4.f89cdb4868ebp+0
+0x9.5abe166e108p-8, 0x2.0b9dca017f348p+0
+0x4.21d85acbdb528p+0, -0x3.3123dfc05a988p+0
+0x1.5cb3e70b61b4p+0, 0x6.66bfc4d147e8p+0
+0x2.c505bdbb8bf5p+0, -0xf.b5a0bffb2a78p-4
+0x2.96d18a88f52ep+0, -0x3.2153980f92f44p+0
+0x4.71781e628ac9p+0, 0x4.82626880f08fp+0
+0x3.6dc735c93f9f8p+0, 0x4.7fb99ba43bb5p+0
+0x1.7790e186f35ep+0, 0x5.dbb4c7897fe6p+0
+0x7.d8222a4713c1p+0, 0x7.21b6de6057b3p+0
+0x6.405578a53c1p-4, 0x5.9103c241e5c4p+0
+0x2.f12b9a04462p+0, 0x8.bd6ef9441f57p+0
+0x6.3bc471d4643fp+0, 0x5.65f9c961c0048p+0
+0x9.d76cba22a83p-4, -0x1.d10325e9eb6ep+0
+0x8.9ff5d1e7f6d8p+0, -0x1.bd150cca509cp+0
+0x8.30507438f97cp+0, 0x2.8dcf5165adaep+0
+0x6.65dd465b3ba6p+0, -0x4.2ca0891c872c8p+0
+0x4.48e1d31c9901p+0, -0x9.9c0c2fc028358p+0
+0x2.12c1fe73dc7fp+0, 0x2.29e558257106p+0
+0x3.5bcd80a07b4p-4, 0xa.475b279f341p-4
+0x2.8b5b1fc262bdp+0, -0x5.370c6dc0a07dcp+0
+0x5.e6829d9c9057p+0, 0x5.ceaf9287d7878p+0
+0x1.540d0855d9a28p+0, -0x9.3be6a9769b0e8p+0
+0x7.e676bb8b134bp+0, 0x2.7eee118bd4ebp+0
+0x5.4389ca922f63p+0, -0x2.0df421a24e618p+0
+0xc.e5f1183c2438p-4, -0x2.270613f7b5e98p+0
+0x8.535f54330594p+0, 0x6.7059de317426p+0
+0x3.6e0088fe6c59p+0, 0x6.53eea1ae85a1p+0
+0x6.1e313a889ea8p+0, -0x5.3c8cddfedea6p+0
+0x8.d9594e93ff0dp+0, 0x9.45cf4e98db6fp+0
+0x5.5d844441cbb88p+0, -0x4.0108c18c5e66p+0
+0xa.e1c8f45624dp-4, 0x2.0a879ed07cp-4
+0x1.2ac6f9cdc93cp+0, -0x4.3b86971467e98p+0
+0x6.4dc22ffe6b5bp+0, 0x2.c7fdee590e34p+0
+0x5.1ae0d988f3d8p+0, -0x8.f88212c640498p+0
+0x6.f60f15737483p+0, 0x1.e52585a6e2268p+0
+0x2.8ea508821a8b8p+0, -0x7.f6bb72f86c7f8p+0
+0x7.68a12edbbd12p+0, -0x7.66e8afac67874p+0
+0x5.442fd86ad7e2p+0, 0x7.4b60204d3cefp+0
+0x2.f6dcac294ce4p+0, 0x7.91bc40d2964ep+0
+0x3.9bba5c43121a8p+0, 0x5.e65acff949f2p+0
+0x9.c83c58048d7p+0, -0x8.b13b30b37896p+0
+0x1.43edb00fb805p+0, 0x6.39b375d88c1p+0
+0x9.ba21e6724b8bp+0, 0x7.5a313f83c598p+0
+0x4.004ad8e48611p+0, -0x5.eabc4908796cp+0
+0x7.0c144e72094ep+0, -0x7.a4b6cf9ce8118p+0
+0x8.0564e9770d14p+0, -0x3.a03d4ee6675cp+0
+0x5.3b8b94ee30f58p+0, 0x9.713e9768efccp+0
+0x2.6dcf8929c4dbp+0, -0x3.8eece3ef12244p+0
+0x2.7745d6146b36p+0, -0x7.a52de4eb36d38p+0
+0x3.16245ba5d23cp+0, -0x6.be7ef66b5fbp-4
+0x2.29a962f844b8p-4, -0x1.5cce02556467p+0
+0x4.d00f52ed7c22p+0, -0x3.a672cdc31022cp+0
+0x9.0e56b1681e02p+0, 0x2.fef87acf2cabp+0
+0x7.dc97abd3f464p+0, 0x9.078eb22c7724p+0
+0x4.14e1616f4583p+0, -0x6.16af415bbb7b8p+0
+0x7.512b51cad7e2p+0, 0xb.b35e7d93724p-4
+0x1.ba130ce325c4p+0, 0x5.87f6d828d7b98p+0
+0x7.ce87bcd4cc3ap+0, -0x5.29233e767d7ep+0
+0x4.2b4d2945c15ep+0, 0x9.79e26b1815aap+0
+0x9.f49652d2a3eep+0, 0x2.b89dedbae179p+0
+0x6.280d7f09ed28p+0, 0x4.fc68b5df27fbp+0
+0x2.49f4017f3ca3p+0, 0x7.3d02fe252da2p+0
+0x3.783b47fe67008p+0, -0x3.2c205cbe1dbp-4
+0x5.af32aaa99051p+0, 0x3.f001ea4f5eaep+0
+0x5.804c9f55bdd48p+0, -0x9.3f29ef8c2c98p+0
+0x4.f355396195b48p+0, 0x1.9dd784162b048p+0
+0x6.102af5a8a9aap+0, 0x5.76dcc59899e4p+0
+0x6.bd9f405ece83p+0, 0xa.90c8e0e023dp-4
+0x6.574539e35bc2p+0, -0x6.6f702c22e34p+0
+0x5.457bbc6627098p+0, -0x4.522896922cd3p+0
+0x3.64c0d09d2e5p+0, 0x1.7c775ff250fp-4
+0x8.1a6bee5b3888p+0, 0x7.6eef6dddb06ap+0
+0x8.7aff5b6646adp+0, -0x1.c4ec7a1747b4p+0
+0x5.cf3f82f57c498p+0, 0x1.dcc08a920456p+0
+0x2.f979f787074bp+0, 0x5.7300410373c58p+0
+0x8.6a7dc5c12d0dp+0, -0x3.4224e260dafcp+0
+0x3.5176d7b146cp-4, -0x3.4b29d8958268p+0
+0x2.918ca88838c5p+0, -0x6.88e0164711cep+0
+0x3.4d56f5d76d7a8p+0, 0x3.1f4ac7d5f49fp+0
+0x2.931aaa8e5bb6p+0, -0x4.07ead967fb7p-4
+0x2.0eb995f0066bp+0, 0x4.0089c859c01c8p+0
+0x9.21b9abde4b86p+0, 0x1.e4d2a1b3ce06p+0
+0xf.647f80c24bbp-4, 0x7.094470ee8ab8p+0
+0x6.b5b3284d4afap+0, 0x8.986ca4fba76p-4
+0x5.cd1dded376adp+0, 0x1.c09ba47296dep+0
+0xf.6f79607e9b18p-4, -0x4.d8fde8ea24688p+0
+0x8.cb929023885ep+0, -0x4.448d8c99c9e98p+0
+0x8.849e37a01b8dp+0, 0xe.8f7e5ea45308p-4
+0xf.970e7d2334ap-4, 0x6.b00bf5ea7f73p+0
+0x9.895614e6100ep+0, 0x6.caad16c22f4ap+0
+0x4.c6b11bd7d5cd8p+0, -0x9.57a5cbf9a149p+0
+0x9.0a3303b89c1cp+0, -0x4.e2525f45a8558p+0
+0x9.0a12718c5329p+0, 0x7.ad9b54a5b24fp+0
+0x5.1572fcbc186c8p+0, 0x9.d6d8389000a7p+0
+0x9.67cb4c8f82a8p+0, 0x4.32b51fc09d3p+0
+0x9.7f0e07f11f6bp+0, -0x6.6fab889efb4p+0
+0xd.b625e8c026f8p-4, 0x9.0e11daf2367p-4
+0xb.7232717ba5p-8, 0x2.cc3dc3f296148p+0
+0x3.d6fdcffe0c51p+0, -0x5.de5290d2db4a4p+0
+0x4.9b6ba53f2e48p-4, 0x7.39a8196c3a9ep+0
+0x9.e85addaaac88p+0, 0x8.d492c6de51eep+0
+0x1.e17e52f5eee4p+0, 0x5.93372f901e58p+0
+0x8.6faed93354e4p+0, -0x9.b890015d19658p+0
+0x3.43efce1bf87bp+0, 0x8.257e2883b3ebp+0
+0x7.6be9b49d1d0cp+0, 0x2.d2c4194431f3p+0
+0x7.a5027b4f71e4p+0, 0x6.53785d1586b1p+0
+0x7.4d6712d81837p+0, -0x8.a9eb297395aa8p+0
+0x4.01891cd9df9dp+0, 0x6.fd19cf0dbaebp+0
+0x5.9f257a5728de8p+0, 0x8.d1196762a9e5p+0
+0x8.215a7db50032p+0, -0x5.9d6cb13901ffp+0
+0x4.e7ef68ab0ca8p+0, -0x7.9b3007005d508p+0
+0x3.c81c806913e8p-4, -0x4.9d45c7be577b8p+0
+0x3.8ac72ea310578p+0, 0x4.74fb036b2afc8p+0
+0x6.2c0af08e281ep+0, -0x9.2cfbb01f0a91p+0
+0x1.d9d51b9bc4268p+0, 0x1.65bc055aa73cp+0
+0x1.0c81c77034e5p+0, -0xe.5bcb09a3976p-4
+0x5.5174e92bea348p+0, 0x3.f9a2821781aap+0
+0x4.15f6670be3998p+0, -0x4.14cb27cc569ap+0
+0x5.bb2acc452483p+0, -0xa.6c1c6900555p-4
+0xb.f4281855d49p-4, 0x5.bc50d7c8c7c9p+0
+0x4.46e939e60f57p+0, -0x3.1f92ed4ab8b68p+0
+0x3.1d6571403208p-4, 0x4.ca1d21db11a38p+0
+0x8.21607a9faebbp+0, 0x5.9f5b2e80c6a4p+0
+0x3.7ffb7a81a4e7p+0, -0x3.0b08e25a26ddp+0
+0x7.18af739dc5c8p+0, -0x8.e52f6ccf6e6e8p+0
+0x9.76ec4be6046fp+0, -0x6.131d7358c1348p+0
+0x6.f2ca9f78cdfcp+0, -0x9.873e866be5e5p+0
+0x8.ec2d17f21025p+0, 0x1.dfd73ea07b198p+0
+0xa.327e7c82f8b8p-4, -0x5.161c0524ba76p+0
+0x6.6749900bf637p+0, 0x6.7cc481bc2063p+0
+0x2.cc54e44e449p-4, 0x6.2abf9f518fb9p+0
+0x8.35dbc9157f7dp+0, -0x7.946f7d4bdb11p+0
+0x5.f52a2f8a3e218p+0, -0x8.2a87b0faf9758p+0
+0x9.d588d1221a8cp+0, -0x7.2ea98226e7c48p+0
+0x1.b31c462b0e3p-4, 0x4.07f37a89008cp+0
+0x7.4798c9198988p+0, 0x8.f6bcf747654p-4
+0xd.6ac831844p-4, -0x1.d38ef60844728p+0
+0x1.192af8eb6033p+0, -0x2.b169b1379c88cp+0
+0x9.9703153cbabbp+0, -0x8.b0123279810ep+0
+0x5.6e08cdf5a1018p+0, -0x1.a8538adfc8e88p+0
+0x2.6bfbba113612p+0, 0x8.1558757bfp+0
+0xa.6a9acaec61p-8, 0x2.dac569ed1408p+0
+0x2.f609beea96fd8p+0, 0x5.0e5bc39d6625p+0
+0x5.728052b717738p+0, -0x7.c1b952ad87c6cp+0
+0x4.83c4df54a9ap+0, 0x3.7978d69d6d5ep+0
+0x4.0b2556a8474bp+0, -0x4.8353c719078a8p+0
+0x5.2fada66dd8f88p+0, 0x1.e89c0968af64p+0
+0x7.d951a3600875p+0, 0x6.b9b5d81cdf1ep+0
+0x6.77b7b7ca5204p+0, -0x2.b0d6adff9a1dp+0
+0x5.982af423f0ce8p+0, -0x7.912e68dc0b108p+0
+0x4.25193a9c803cp+0, -0x8.ad3a240c733bp+0
+0x7.3030a7135467p+0, 0x8.aa406eca93fap+0
+0x2.9c8a95a693p+0, 0x1.74bc0af84609p+0
+0x4.920c9a6adde8p-4, -0x9.c71bb38a92bcp+0
+0x8.0cdc74eea191p+0, 0x5.5532b8940d36p+0
+0x6.80d0603c6511p+0, 0x3.2752caaf63abp+0
+0x6.178c5407c65ep+0, -0x7.3f93128e7ecdp+0
+0x9.577516fe6747p+0, 0x1.b66eaaf7c909p+0
+0x8.14fc13702987p+0, -0x9.0596d4e7bc6dp+0
+0x3.f408fe0502bd8p+0, 0x2.ab12b9a9fb02p+0
+0x4.eb4410ae27dep+0, -0x7.1440d04921688p+0
+0x4.41c7a8d54fa48p+0, 0x5.d6aa7445d0378p+0
+0x4.4a4bf9e8b6dfp+0, 0x8.8557a52978a7p+0
+0x1.73444da3691f8p+0, -0x4.99215f4e2bc18p+0
+0x5.7f94339a7d2bp+0, 0x8.1a7ef6867087p+0
+0x5.1dffbe41a528p+0, 0x9.8e3e0b32c588p+0
+0x4.5e71fb730f2bp+0, -0x8.f502c6194dd4p+0
+0x8.b17a60f02d71p+0, -0x2.8cad76a578f2p+0
+0x4.a00e0106031fp+0, 0x3.7cc25704f533p+0
+0x4.0d0e4135f4728p+0, 0x8.20d89e744cap+0
+0x6.c1eef9da042ep+0, 0x1.e85bfac393608p+0
+0x8.51fbadb06dd5p+0, -0x8.3950b36889e68p+0
+0xe.6bc5f843b04p-4, 0x3.58cc0134bc82p+0
+0x2.a38da7795f35p+0, -0x5.f71b9a98b0b88p+0
+0x5.cc52566f773p-4, -0x2.f39d85a5993ep+0
+0x4.f3f4f81c28afp+0, -0x8.bca3ed17d84fp+0
+0x7.77fd84a6a3a1p+0, -0x6.d3db4a77a0b8cp+0
+0x9.2f121fa29908p+0, 0x7.aa122042c106p+0
+0x7.c64dce2e150bp+0, -0x6.d4c8b6136576p+0
+0x7.5c789e292d98p-4, -0x6.827d568c03cc8p+0
+0x4.5537054fe2588p+0, 0x8.97a5673573d2p+0
+0x9.2f03c3e5fd38p+0, 0x6.3dac14c20f47p+0
+0x8.61cbfbe742p+0, -0x4.202181ed17eap+0
+0x6.3e2b304bb804p+0, -0x1.27aafd0742cp-4
+0x5.b3f9e935f323p+0, 0x8.15519438089dp+0
+0x8.60125102285bp+0, 0x6.089c84cca1a8p-4
+0x4.566d77d6f4568p+0, 0x9.b7b3c86c5bcp+0
+0x3.7efeef4ac6c98p+0, -0x4.7d20825886b9p+0
+0x9.afa9f927c91dp+0, -0x1.5f5832f8c9bp-4
+0x9.31ff4a7eb272p+0, 0x7.ff3060165809p+0
+0x1.974bed99a24p-4, 0x5.c7cf5fb398ed8p+0
+0x9.d7347d527be1p+0, 0x4.fb8465d65d85p+0
+0x7.3870d4e20e04p+0, -0x6.d6d2fcdeb9d44p+0
+0x3.9ff6d3d63b2fp+0, 0x4.37649a4441a48p+0
+0x8.39a9eb75bc08p-4, -0x7.560a903ba976p+0
+0x8.3bc5e48da4d6p+0, -0x6.e11ee4cb0295p+0
+0x7.78eb53678693p+0, 0x3.9fff1cd6e98c8p+0
+0x7.de109b6f2cf5p+0, 0xe.7de6e773a708p-4
+0x8.45ef2b298a08p+0, 0x5.e067c09ac65ep+0
+0x1.b576ee772275p+0, 0x2.d0ad00ecb5fe8p+0
+0x1.84c815c6c88ep+0, 0x8.abb70ea9f60ap+0
+0x1.859797a78a42p+0, 0x2.671340c9d772p+0
+0x9.534135908c1p+0, -0x4.e175edff470ecp+0
+0x1.0098a4f0eedep+0, 0x1.2d5517cdc195p+0
+0x8.358dc716c9f8p+0, 0x5.f5d46fdac5868p+0
+0x3.a3ddaaf0cf7ap+0, -0x2.141f08385fd2p+0
+0x8.2d9cd93d221ap+0, 0x3.81fd3ce2f959p+0
+0xf.a713fa6c301p-4, -0x1.bb49d25569e4p+0
+0x1.9ccd4233b1478p+0, -0x1.f892d45cfd04p+0
+0x3.2f34132633e2p+0, -0x6.81563ca2d266p+0
+0x1.4bd0c9b236c38p+0, -0x6.d7b1dc3845214p+0
+0x2.a73cf3bfa8f7p+0, -0x4.cf7b8fba1aff8p+0
+0x8.1b4c46632c59p+0, -0x9.deb5e00ed5ap+0
+0x1.7827fd682869p+0, -0x8.189f88156fp-4
+0x1.fbf86f7aa6d6p+0, -0x7.64659e915353p+0
+0x9.64a5feda1c09p+0, -0x5.4c71864080348p+0
+0x4.6fdfe5fea1p-8, -0x2.098a00ea71f2cp+0
+0x1.0f8b3cdc0e9c8p+0, -0x2.f35f154dfadp-4
+0x4.fb5385152727p+0, 0x2.9df39dc870ebp+0
+0x3.375e4fc4f994p+0, 0x7.b9a65f5284b3p+0
+0x4.adc94a9e589a8p+0, -0x1.2ab056ea16358p+0
+0x7.b28af104bcb1p+0, -0x9.3e5c9e317d788p+0
+0x4.26e603ddd566p+0, 0x1.afa72ef5548p-4
+0x3.1616094b34d68p+0, 0x9.a7ae93c23babp+0
+0x1.d688ac924a5b8p+0, -0x7.ba3e72452291p+0
+0x9.022407d6f109p+0, -0x8.a47d953181468p+0
+0x5.9162e96d2ca8p-4, 0x2.afc169fcbff8p+0
+0x3.2e52d3d501628p+0, 0x5.a7a501be5605p+0
+0x1.a6841f86109bp+0, 0x2.1461d172769p+0
+0x7.04fd11f6178bp+0, -0x2.c9d002eabc244p+0
+0xc.42119ae2d5fp-4, 0x2.092f5705d7e8p+0
+0x1.c8fef00a3fb8p+0, 0x3.4a1b481cdc798p+0
+0x9.5ab68d2d95d8p+0, -0x4.d3ba567765ap-4
+0x3.cdd84a3e0bep+0, 0x4.be2b0bd687dc8p+0
+0x9.c1d906bcc7ap+0, -0x1.13c7e70973308p+0
+0x8.f25aa34b9ed4p+0, 0x8.bbf08f24cdafp+0
+0x3.73dcd8923244p+0, 0x4.1be75e76e485p+0
+0x9.9a95c20a4ed2p+0, 0x4.bf118244eb598p+0
+0x5.e382c64feea1p+0, -0x1.4f989bcd0b92p+0
+0x6.9998f3f19d03p+0, 0x3.888b5121b1c88p+0
+0x5.a9fa873cd2dd8p+0, 0x8.72db8ddc6f48p-4
+0x6.9f6913400576p+0, -0x1.dd1fc9f7e6108p+0
+0x5.b9d8683f6a0ap+0, -0x1.c7791fb1398p-4
+0x2.07d4a45549c7p+0, 0x8.54c67dcde78cp+0
+0x2.6dcf040cbe6ep+0, 0x3.7c6c248549ecp+0
+0x2.d58dd4a8cd098p+0, 0x7.558cde85c1b8p+0
+0x9.4f19a787dd92p+0, -0x7.7f4b6102dfcd4p+0
+0x6.c2c6fe679c42p+0, -0x2.aa7bf2b716898p+0
+0x2.232dd332f948p+0, -0x6.f75b1fe7747b8p+0
+0x2.753f59099725p+0, 0x5.a5c92b286da78p+0
+0x2.8265b770f9a38p+0, 0x8.df3cf7fe75afp+0
+0x1.c9cb9c5ee74dp+0, -0x6.3b164c9085aap+0
+0x7.2d799f1a973bp+0, -0x1.6400fe56cbdf8p+0
+0x8.5c2807eb3368p+0, -0x4.870abb91ef43p+0
+0x3.b15f9722dd3d8p+0, 0x8.d4ad9b1a6903p+0
+0x4.4cac71089eab8p+0, 0x9.dc8d3b1ed21p-4
+0x8.59f5d38c7b9ep+0, 0x1.c628368df9d5p+0
+0x6.52c07fbe16bcp+0, -0x6.3b61116ab1bcp+0
+0x2.d1ea279677cdp+0, 0x6.292ae926dc51p+0
+0x8.499b4e06500cp+0, -0x8.937b540028bdp+0
+0x6.d2a8e3f9516ap+0, 0x3.3d1192d7570dp+0
+0x8.b7f0e5067be3p+0, 0x9.230b43d09c25p+0
+0x6.0931296b6d0dp+0, 0x6.6b8b1f56d6f3p+0
+0x7.dbeee9666f08p+0, -0x6.e3ada8c47f684p+0
+0x5.c815c59dfbefp+0, -0x4.84956530b3898p+0
+0x4.0e4b6be4604fp+0, -0xb.a1387df7c2fp-4
+0x8.f80c288b3e26p+0, 0x3.f3b08a4e9f79p+0
+0x8.2f01b41f6abp-4, -0x3.0c36fbc31694p+0
+0x5.0770e749ce0d8p+0, 0x7.4e6801c66a51p+0
+0x5.c2f52b51fd108p+0, -0x5.70e098efd4fdp+0
+0x5.61bd532098e38p+0, 0x8.012ee74cf319p+0
+0x2.55ad8f32e859p+0, -0x3.3805d9c9ed49p+0
+0x7.4b6f2c55f664p+0, -0x7.6a1ef6a88f8acp+0
+0x7.eee1cbc46303p+0, -0x6.11edbf2d7e618p+0
+0x4.0b9be565b5678p+0, 0x3.1ff16b86f981p+0
+0x8.37e592ff2ff9p+0, -0x9.f31773369715p+0
+0x6.9bb8e5f8722cp+0, -0x7.eee488d5023a8p+0
+0x9.e4b0f31b4a38p-4, -0x3.af23992aa30d8p+0
+0xe.1b2c991d8c88p-4, 0x4.58a4178a84128p+0
+0x6.7af7471c2e7dp+0, 0x6.7a4844ac3cd4p+0
+0x2.e49c3e0298bep+0, 0x7.42ebe527cf6ep+0
+0x5.5da28dcb9c598p+0, -0x9.aeb10868c1dap+0
+0x9.04f9c7da23bep+0, -0x8.ec2f5ccd90edp+0
+0x8.fc03d6d0c185p+0, 0x7.c2b1786a6bd4p+0
+0x8.f2062724f1cp+0, -0x7.dcbb62ebc39e8p+0
+0x2.78fee6d6440e8p+0, -0x9.2b61f0297d4ap+0
+0x4.7223f2ba6438p-4, 0x5.97cf72307fb8p+0
+0x1.468398424718p+0, 0x5.c8d0c7019c8f8p+0
+0x2.fbb5ee64ba95p+0, -0x7.3baf36d86b7b4p+0
+0x7.038cb830683fp+0, -0x3.fb809ad23e1f8p+0
+0x5.8b4943f590c08p+0, -0x7.5a1e5d8cc843p+0
+0x1.0ade0da7f6ddp+0, 0x9.06f8c5840dc7p+0
+0x3.0a4ddd66c8ac8p+0, 0x2.943aa485f5598p+0
+0x1.2dafa2635eecp+0, -0x6.65030000989f4p+0
+0x1.d170d67cb19p-4, 0x6.e238f1bf212fp+0
+0x8.213d2474f37fp+0, 0x2.b230ed0f59a2p+0
+0x6.1f31226dfc3bp+0, 0x2.1cafba68632b8p+0
+0x5.56e7e6ec4f648p+0, 0x6.136be586f1ddp+0
+0x2.57b1a3bbee98p+0, 0x5.0dd208bfdc4e8p+0
+0x3.ada8940f2ec5p+0, 0x1.f9193b3a65bd8p+0
+0x6.86486e16fa72p+0, 0x2.d17bc066b8fa8p+0
+0x8.f436e6f5b81ep+0, -0x8.05aca5b10a04p+0
+0x6.d88c1bfff9ap-4, 0x5.a7d29ff3a48ep+0
+0x6.c57334a86f0bp+0, 0x7.74c2fcbc108dp+0
+0x1.884fc1c04f418p+0, -0x1.f339f96758bcp+0
+0x2.76520e887b228p+0, 0x5.1313aca62174p+0
+0xb.0cadfff14eep-4, -0x1.04619ececaae8p+0
+0x6.cb0bed526e39p+0, 0x2.785914845feep+0
+0x2.6b5e5a37ac118p+0, 0x2.38e40cd355dap+0
+0x8.19d3d4c02203p+0, 0x3.0fae9e63d3ebp+0
+0x4.7765d3ccc08p+0, 0xb.7fb8c5e68d1p-4
+0x9.96e638cebc26p+0, -0x1.14935ea03f6ep+0
+0x2.c459b65ede9f8p+0, -0x3.15695386a26d8p+0
+0x8.e09e577324a5p+0, 0x7.dd568a53179cp+0
+0x7.e4a6e1fc3e49p+0, -0x8.22272abc70fap+0
+0x9.ae73aa8de1c7p+0, -0x5.36b929656c434p+0
+0x2.3e95803a1c04p+0, -0x8.d468b892583p-4
+0x4.b62ba1d5f0428p+0, 0x7.4cc007270ff2p+0
+0x7.b3203dfec2a4p+0, 0x2.50e3b605c9b68p+0
+0xe.94822de4749p-4, 0x1.a0caaecaf7408p+0
+0x3.9b7e65c1934ep+0, -0x5.a77c5477f81c8p+0
+0x4.6f150f32d0af8p+0, -0x4.4e44d7aaa3fb8p+0
+0x9.f9a26628150ap+0, -0x3.90d9aa3e31dacp+0
+0x1.896538b9853d8p+0, 0x8.5d9196dc14b2p+0
+0x4.c2598e1e2d338p+0, -0x4.a5494920058p+0
+0x9.8ec9895e8252p+0, 0x4.e6c96905c48d8p+0
+0x3.368027c1d78p-4, 0x1.66e445fc3d76p+0
+0x1.38b137e6a5718p+0, 0x6.d842bc1d0943p+0
+0x3.a75592728627p+0, 0x5.39721cbfa1b08p+0
+0x8.faeb7b140c5fp+0, -0x6.93ce8ebae0decp+0
+0x7.f030c7b8d24ep+0, 0x2.60cc11658f57p+0
+0x7.6000b7de2f6ep+0, -0x4.85fc2ad4c9f74p+0
+0x1.f9fa57c3dc34p+0, 0x4.ef1cb310a5dcp+0
+0x1.5dbf33d81ccfp+0, -0x4.cedb9527b7958p+0
+0x1.b82df8746355p+0, 0x3.6e4c64f38e54p+0
+0x4.505dc46f8b578p+0, 0x7.5f0947ee7a61p+0
+0x9.bd406feaf072p+0, -0x7.ba8694eee849cp+0
+0x2.2d8169e0b829p+0, -0x9.8715b7abe75bp+0
+0x5.f70b2c2a9fab8p+0, 0x4.a969ba2c4a848p+0
+0x9.f5d14ce6f6afp+0, -0x4.7226aa6e074bcp+0
+0x4.3864115f698dp+0, 0x5.4c57e0205a038p+0
+0x1.f7858873aa98p+0, 0x9.a12e609cd6fap+0
+0x6.756b7c1b8a79p+0, -0x3.7dfa04d2a5088p+0
+0x9.dee329a75f02p+0, 0x4.649a57fd0c1b8p+0
+0x1.7f7347d06a0cp+0, -0x4.3c62af79ad1c8p+0
+0x8.fc9495075e5bp+0, 0x5.80ea6cc29a668p+0
+0x8.0fca692cb5f2p+0, -0x6.d10b23c8a5edcp+0
+0x8.51e97db601bdp+0, -0x7.20978d9ae45acp+0
+0x6.7f96ac53adaap+0, -0x6.72c1814e62fe8p+0
+0x5.678323656f5ep+0, -0x6.d8b51256acf6p+0
+0x1.50f6f9ceb80ep+0, 0x5.e68b05f06934p+0
+0x6.658dc406d1bap+0, -0x6.8390847b0fc7p+0
+0x6.c269134a4ddbp+0, -0x9.48245b374dc08p+0
+0x6.6282a70899edp+0, -0x1.0311b9050ceap+0
+0x6.5052d8094543p+0, 0x6.731277501bd2p+0
+0x3.99f6425b94bap+0, -0x6.15d7bc913fcap+0
+0x5.84e8ec0fd683p+0, 0x4.742e79c4bf99p+0
+0x1.66f1b0f3d7bp+0, 0x1.36e458f3e6ab8p+0
+0x9.9f4968a6bd67p+0, 0x7.ed66bc493f95p+0
+0x4.6c8bb9c0b6328p+0, 0xd.4e62a8d54b1p-4
+0x5.f4073440f4f3p+0, -0x4.00953852ed1b8p+0
+0x1.43dc51c67544p+0, 0x5.e17fc6eefe578p+0
+0x7.35eda4eb7184p+0, 0x4.1acd3382597p-4
+0x1.7a84e25e6b9dp+0, 0x2.e0bca6606a78p-4
+0x2.7c6cc26367c3p+0, 0x7.562c50cb2786p+0
+0x1.feade8f1dd8c8p+0, -0x9.01bace3ff41fp+0
+0x8.94c49914f8f4p+0, -0x9.269560f5f87p+0
+0x7.4b905e78defep+0, -0x1.40006cecae6bp+0
+0x9.fe8901205afap+0, -0x7.ef4eb6c220bp+0
+0x9.591b0e824727p+0, 0x3.fbb32b6c98dcp+0
+0x6.5ed69b104c39p+0, -0x7.d65b7831ea26cp+0
+0x3.9972f718eaa4p+0, -0x8.b102f9eed48ep+0
+0x2.94d9095a96ebp+0, 0x1.28d7cb3a4a5ep+0
+0x4.07ad861fb4748p+0, 0x3.4b67863609c8p-4
+0x3.cf70fa9b3b3a8p+0, 0x3.563463a177fdp+0
+0x7.37c74f56ea51p+0, -0x4.26805a2246378p+0
+0x7.c6863445ee4ap+0, 0x3.558574ff8386p+0
+0x2.dd8b8a5693dep+0, 0x4.7be9dfea66e78p+0
+0x7.6bff380b67afp+0, 0x5.a4cfe0f30eac8p+0
+0x5.02ff1b2c41p-4, -0x6.44796efe8704p+0
+0x3.1697ab5689p-4, 0x5.6c9a05f2cf53p+0
+0x7.82a20ff22e61p+0, 0x3.a4b66b0c293ap+0
+0x7.29b5ccd5e2c6p+0, 0xc.96086df126cp-4
+0x9.797f9e69bda5p+0, 0x9.12342010055ep+0
+0x9.421206712922p+0, -0x3.9df633310f748p+0
+0x9.6a8f2d6d6388p-4, 0x1.16bbb386bac8p+0
+0x3.4b95e4ece4e3p+0, 0x1.cb1a8bf65894p+0
+0x1.d73c32c7f227p+0, -0x6.60a4e8a6f698p-4
+0x3.cf4fe0accb89p+0, -0x3.48ed187d2c2p+0
+0x4.e9d90f5c81848p+0, 0x6.656eca600ce8p+0
+0x8.cc67d218741cp+0, -0x1.df3ed93a8a388p+0
+0x4.13ca8d4831a58p+0, -0x1.391ceaaf0e888p+0
+0x1.5740f8a94576p+0, -0x5.41dc9d9581924p+0
+0x1.2d5cf24dff28p+0, -0x8.87ac5b617b7b8p+0
+0x4.3c1e1392523p-4, -0x7.33185e138ce4cp+0
+0x1.9143c03cc88p-8, 0x6.3ca717059f92p+0
+0x3.f84459eb883c8p+0, 0x9.93d8a6bc4f8cp+0
+0x4.0b97884025ddp+0, -0x5.bc1c08232dd6p+0
+0x9.83bff866e8c4p+0, 0x2.932b20167be3p+0
+0x9.931d7b99d43fp+0, -0x6.25425d8071388p+0
+0x2.836377c9a413p+0, -0x8.f2db5415f9e9p+0
+0x8.b999ecaea0bfp+0, 0x8.20c3cfba68fep+0
+0x7.15338dc9acep-4, -0x7.2bf208e7c2afp+0
+0x5.d1af90365cdcp+0, 0x2.241c66a8bfap+0
+0x2.9d9f91f58108p-4, 0x1.d533eb69b8fep+0
+0x1.ae8246d3afe98p+0, -0x2.26f265eb30b44p+0
+0x4.48b7b0b914a2p+0, -0x4.735086d82b28p+0
+0x1.41b825adb54c8p+0, 0x2.b29b5fbc71c98p+0
+0x4.3929b4bbafb4p+0, -0x6.8f8a1f5491f44p+0
+0x9.92a50263dd85p+0, -0x1.3e0724ea2bcp+0
+0x3.1073c097843d8p+0, 0xc.f25e9a02a1p-8
+0x1.1c3cf1c05b8d8p+0, -0x8.cd0f0e6fce0d8p+0
+0x6.54dd0f78e65bp+0, -0x7.89249746b533cp+0
+0x6.91045b43adp+0, 0x2.49a5f12d5a54p+0
+0x7.e6b5b0bb2d0dp+0, -0x2.ccccd55902858p+0
+0xc.7b1bf8137p-4, -0x7.906d54e3e8ee4p+0
+0x8.aaddedf69b96p+0, 0x9.4962ef9c7e9bp+0
+0x8.fc4a0ca62504p+0, 0x2.6dbe6ccf0b5a8p+0
+0x1.30eed0d837b38p+0, 0x6.e2cd36ceaff6p+0
+0x3.90cff264184b8p+0, 0x4.733dfc22989a8p+0
+0x3.02f9756f42efp+0, 0x5.8b38f55f31628p+0
+0x3.ce66b8e3c81ep+0, -0x2.bc0d172bb8978p+0
+0x9.fb12c603406ap+0, 0x6.8096fe6d2595p+0
+0x2.c28c1d14cf5a8p+0, -0x8.d2b77b78d799p+0
+0x5.77056dd4f2abp+0, 0x3.53b367381eee8p+0
+0x7.63efd40c7f25p+0, 0x3.f0b085a281208p+0
+0x1.7202a7eef333p+0, 0x9.a92211c31459p+0
+0x7.72f7515b7956p+0, -0x3.cf476c3017148p+0
+0x8.514af838d8fap+0, -0x6.a1a76462eb0e4p+0
+0x3.a5110c01ce1dp+0, 0x4.65a8ececfa73p+0
+0x4.46db6f02fe4p+0, 0x9.24e25b559087p+0
+0x3.c67f4a1d9785p+0, -0x7.0e95a57bbb834p+0
+0x3.101a4f52a82ep+0, 0x8.661cea6b43d3p+0
+0x9.c12b839b2b18p-4, 0x2.d435e3090d678p+0
+0x1.6ca7a1e8df9fp+0, -0x8.241d5096077c8p+0
+0x7.eb9c2d0de871p+0, -0x2.2e362ea9783c8p+0
+0x7.f2a183eff998p+0, -0x6.839669a5fb73p+0
+0x5.2a32fa04d0b6p+0, 0x5.119b2e37edep+0
+0x4.9524ce5ad9f08p+0, -0x3.4f3bb16ffa1fp+0
+0x6.dc6bfccb5e9fp+0, 0x1.bf0d2ef67735p+0
+0x5.fea62465f255p+0, -0x6.9f189fe5c2cd4p+0
+0x7.a6aae7f28a6fp+0, -0x9.4044c87805628p+0
+0x5.654b388f0c4ep+0, -0xc.b63b038b0a4p-4
+0x1.758709959395p+0, -0x9.db5f596dd334p+0
+0x4.02a4bd94aa94p+0, 0x4.790343bd4bf9p+0
+0x2.df8d100d5d5cp+0, 0x1.2a6e7bc1bb948p+0
+0x5.fd2b73b0fd4dp+0, 0x3.19c0a65d02dbp+0
+0x9.3c236342b68p+0, 0x1.3d7b546d9ef5p+0
+0x2.d206bc0371e68p+0, -0x5.f9e4b474c613p+0
+0x5.bbbaaf6cf56d8p+0, 0x9.a795588375e9p+0
+0x5.03e396111fc2p+0, -0x4.72464c39b74d4p+0
+0x3.46c8e3a8c5c8p+0, -0x6.7da445ee26548p+0
+0x5.a944e750cc4dp+0, -0x8.847659715df48p+0
+0x1.674dd2a486148p+0, -0xe.cddae74fa66p-4
+0x1.b7c051f44f0ep+0, -0x2.e60d88f66942p+0
+0x9.67eb43c0f9e3p+0, -0x1.22216c1273dep+0
+0x1.b4757ab7692ep+0, 0x8.32f85b14ea94p+0
+0x8.bfe06a3267p-8, -0x9.99b384b498dp-4
+0x2.43b04658c71b8p+0, -0x9.f951b361ee6p+0
+0x3.eb079bee81f1p+0, 0x6.3e31a96c14fbp+0
+0x8.5c56e5d44578p+0, -0x1.cdb684057f82p+0
+0x7.99ac791ab51p+0, -0x9.7ccb082d977cp+0
+0x4.529e2e0bbf148p+0, -0x3.22f37f0b98f5p+0
+0x9.fecc4446fc8fp+0, -0x3.760c3a0a4861p+0
+0x7.a3fcb0b30df7p+0, -0x3.473be8a89416p+0
+0x7.635e7b22ce1ap+0, -0x8.758875dbf2dp+0
+0x9.9a403f9a7ee2p+0, -0x1.f465c790afcp-4
+0x6.286a54ffd7f3p+0, -0x5.a7fab30502d88p+0
+0x9.33f011f03d6bp+0, -0x1.3de937f73065p+0
+0x6.1e750ff1142fp+0, 0x2.da73368e62018p+0
+0x8.1fce070fc847p+0, 0x4.f0af9c354b22p+0
+0x5.a8454563a7d8p-4, 0x8.8a506877968p-4
+0x4.b71b17028671p+0, -0xd.2078d35bc31p-4
+0x4.8df3ab3b6f8fp+0, -0x1.905dd42bd04cp+0
+0x8.9c7fab80863cp+0, -0x1.dd32c398e0888p+0
+0x3.5a99946c2a75p+0, 0x6.53806e4b1259p+0
+0x3.b286e1c93a07p+0, 0x1.f0818118fecfp+0
+0x3.5dee20abad58p+0, -0x6.11f2ad9f440a8p+0
+0x8.0399c33446c8p+0, -0x5.87b0bbfebe438p+0
+0x1.ffe4735b8532p+0, 0x3.15b16a9899a58p+0
+0x9.5ba1dfa44f5dp+0, -0x7.0e1ce8e5853f4p+0
+0x1.0152d355fp-12, 0x6.1ab22ec701a2p+0
+0x4.250775d284bcp+0, 0x1.b6afc8e938cb8p+0
+0x8.96108874945fp+0, 0xc.f8ad0ec1be08p-4
+0x7.005dc349542p+0, -0x8.154174fe9c91p+0
+0x2.140b46494f4a8p+0, 0x1.b107852322a3p+0
+0x8.7f02f67db002p+0, 0x8.2a4e831dbca7p+0
+0x6.2e0798bcbfcap+0, -0x6.70a01665edf18p+0
+0x6.bac39954d576p+0, -0x1.28ad7d4af3a2p+0
+0x7.7864673b8511p+0, 0x3.f3be01953161p+0
+0x8.40536adb8d4bp+0, 0x9.ba2788d26414p+0
+0x7.edfa45648216p+0, 0x1.9027c44dd6f4p+0
+0x3.8590cc6d3ffep+0, -0x5.8447e592aaebp+0
+0x1.26b9122ddff9p+0, 0x3.74d016cf55b88p+0
+0x6.eb1c8037751p-4, -0x2.7ae13571311ap+0
+0x2.1f0b86a520e9p+0, 0x6.0989928a1ee1p+0
+0x3.62e2fc714892p+0, 0x1.913891882fe38p+0
+0x6.fe15290e66p-8, -0x8.b31d9df5ff368p+0
+0x5.3ef1b82be29ep+0, -0xa.58f64b9f668p-4
+0x1.28cd5d08ce72p+0, -0x9.6ce11edb5e2ep+0
+0x8.7a20c9826763p+0, -0x9.d76c274a78c1p+0
+0x7.7b5c26cb9879p+0, -0x8.fbd3f0118f3p+0
+0x3.f6d574368fa2p+0, -0x7.399ebfd652238p+0
+0x2.7396c4e7ecep+0, 0x1.16bd3f95a9078p+0
+0x2.53e858e9e71p+0, 0x3.68518e36044cp+0
+0x4.88855965392fp+0, 0x4.7a20dbe101bp-4
+0x7.aa4e16348066p+0, 0x4.1c02e1a8f758p+0
+0x4.8e46891372e58p+0, 0x6.8ee93bdba8p-12
+0x3.81f5678f8a11p+0, -0x5.9ece1e4decdp-4
+0x8.3937f14c54dcp+0, -0x3.a060687d2e7a4p+0
+0xe.e86ee6843458p-4, 0x8.c00b43c93503p+0
+0x8.8d8c8373bacap+0, -0x5.18b5b5dae4d8p+0
+0x6.c082c1665e72p+0, -0x7.095df759c7dbcp+0
+0x7.540aa28eb8c2p+0, -0x8.996aba09ddbp-4
+0x9.286f1f41f019p+0, -0x8.7f181a22aa648p+0
+0x7.d491176e317fp+0, 0x4.4707dab3124d8p+0
+0x2.66e801ddd3068p+0, 0x3.3426c6de8c17p+0
+0xa.c91488850aep-4, 0x3.6e744fe87b758p+0
+0x5.dc31d736ad15p+0, 0x1.78cc07bc3c728p+0
+0x9.5082a01a3328p+0, -0x5.9cb197d9c3e14p+0
+0x3.c392ba52672p-4, -0x1.6c5377105p-12
+0x5.12da21ac3b65p+0, -0x3.a9f21eb0d31p-4
+0x5.27520c87cc7ap+0, -0x8.de70da86cb73p+0
+0x2.f3d081f13a0ap+0, -0x9.5e2dab286b868p+0
+0x2.847e581851978p+0, 0x7.bede1cdd805fp+0
+0x9.4b25ef99cb6cp+0, 0x5.ec2f85f9f6b28p+0
+0x4.8718bf320b9a8p+0, -0x6.a2d09df84d714p+0
+0x4.54fbc54b2445p+0, 0x7.d793a0c11dd9p+0
+0x2.dac2707ed4ccp+0, -0x8.5602bad7a26p+0
+0x7.8576e9eb6bfap+0, 0x3.71ff9f51c213p+0
+0xd.ebd244e6e53p-4, -0x3.65361b70438p-8
+0x1.ed366269fd938p+0, 0x8.8d7eec77434dp+0
+0x4.ad16f8b6c2728p+0, 0x1.87789de947c8p-4
+0x3.97239e88448ep+0, 0x4.d3d69033af608p+0
+0x3.af98bcfe6dd18p+0, -0x1.ea7df961482bp+0
+0x4.6f068374b9938p+0, 0x7.0dd3edc66a8cp+0
+0x7.b660d1941ce5p+0, -0x3.90b4772570e88p+0
+0x3.6bf0a5fef59fp+0, 0x2.3338cb6a2f88p+0
+0x8.966a640beef1p+0, 0x2.a1bc48cbae348p+0
+0x5.6e53a27eec0ap+0, 0x1.05b8fe7154318p+0
+0x5.247125c767f7p+0, 0x4.ec5f7271438p-4
+0x8.2eeed4c57becp+0, -0xf.1752617ac18p-8
+0x8.4b22eda51492p+0, 0x2.efca717bd6ebp+0
+0x6.529ba8b829b4p+0, -0x1.5c4e63b89037p+0
+0x3.d21a22695a8fp+0, 0x3.fed4bffda5f4p+0
+0x1.6b64fbd7af148p+0, -0x1.6125af5c350ap+0
+0x3.85d2c87ccdc7p+0, 0x3.5ef43345742p+0
+0x3.a6a7cdf675d2p+0, 0x9.98f79af05d13p+0
+0x7.059382700b29p+0, -0x6.ee1bbb049a84p+0
+0x5.a9e41b91cbbp+0, 0x2.08cd07b82088p+0
+0x6.22c2eed61dbcp+0, -0x6.ba6384782f17cp+0
+0x3.631d54ce056c8p+0, 0x2.df37d518db0fp+0
+0x7.b3fa857f831ep+0, -0x8.9897ad8c4641p+0
+0x2.3849974c8416p+0, -0x1.c38071cf1b778p+0
+0x2.bf6c3d42cf64p+0, -0x1.82b384cd529b8p+0
+0x1.f2543c418c6b8p+0, -0x3.7773bf2305034p+0
+0x7.79ef3d648a6p+0, -0x2.d635b2151332p+0
+0x5.90b58ca3d3d28p+0, -0xb.a32d8112dc3p-4
+0x5.db1469c7c7f2p+0, -0x9.87774c137ca08p+0
+0x9.ee4df7c938dfp+0, -0x4.de5adbb8258p-4
+0x1.eb47c44b92ec8p+0, -0x1.3ecf2bc99dd8p+0
+0x1.99d5637aa10f8p+0, -0x4.d1bee37ae6184p+0
+0x6.c6927e699e08p+0, -0x6.496be19110544p+0
+0x3.21d11027bec28p+0, 0x6.4884bfc42492p+0
+0x5.1393c9ae3f7fp+0, 0x9.79b056c724d4p+0
+0x3.c9eb9e3fd7b4p+0, 0x7.2b85daedbfb3p+0
+0x8.ae6a52d097b8p+0, 0x4.3501d9763cfep+0
+0x4.164be430e5d4p+0, 0x6.475325092dep+0
+0x2.e9550cb3eedp+0, 0x4.579a0a36f34ep+0
+0x7.c5318072842ap+0, -0x5.1c05401be3f1p+0
+0x1.20665a49f7bcp+0, 0x5.20d281e7431f8p+0
+0x1.c37a25101b0c8p+0, 0x4.121e822df9158p+0
+0x9.f8fc010482ap+0, 0x8.922d781158c6p+0
+0x4.c30ca7ee2a4fp+0, 0x5.c7991369dfc98p+0
+0x9.a61e48b7a3dcp+0, 0x9.b274d912b6a6p+0
+0x3.a4a16aa480f1p+0, 0x7.2e1bd4f1d807p+0
+0x3.af11cebfa62a8p+0, -0x6.88b19b0e5fp+0
+0xc.03d5e00af3ep-4, -0x5.ec65dad3a7a68p+0
+0x9.9d4110b95619p+0, -0x7.9b9c0ce73029p+0
+0x7.f93a73da0ce1p+0, 0x3.e434edf310c2p+0
+0x5.ccb5d1deb8fe8p+0, -0x3.14d054c4ed338p+0
+0x6.dd3b2a238668p+0, -0x3.f1c4efeaabd3p+0
+0x5.361403ee8e5bp+0, 0x8.5324ba9192e8p+0
+0x6.9b5bb6565ad1p+0, -0x6.225103ccaa068p+0
+0x3.ddbee69ed82a8p+0, 0x1.f8596691a488p+0
+0x3.89771174d0c6p+0, 0x4.3031aed9192fp+0
+0x3.e206449f4497p+0, 0x5.0f7aaf369bab8p+0
+0x5.afaf47eb951ep+0, -0x7.164a5ea410468p+0
+0x3.b09b6201e09d8p+0, -0x5.399993ae34e3p+0
+0xd.c69b969a85bp-4, -0x3.c0ffc590850d8p+0
+0x2.f0efb8e32af58p+0, -0x8.fa9dfe75abbbp+0
+0x5.6f89aad380418p+0, 0x1.3a4b1b98abbbp+0
+0x2.2cb8c46571d6p+0, 0xe.369913d9e68p-8
+0x3.013c2b728d88p+0, 0x3.999ac4128da4p+0
+0xf.e58496f63p-4, 0x7.324fc93e3ca2p+0
+0x8.eee96db90429p+0, -0x3.546aa4632a988p+0
+0x1.8cb41d2f21cbp+0, -0x3.1955efade7644p+0
+0x8.5a441c8417f8p+0, 0x1.8d768473f1edp+0
+0x8.0019eabe0a29p+0, -0x3.9ecfa19c67fe8p+0
+0x3.a2f05bc2049ap+0, 0x4.90cf7085191b8p+0
+0x6.3d38778b96cfp+0, -0x1.099713bf4023p+0
+0x8.fc7d2babc67cp+0, -0x7.620d0814e0e4p+0
+0x9.0d65362be223p+0, 0x1.55ed0ee908cp-4
+0x4.929c4813cedfp+0, 0x3.d75a0a110876p+0
+0x2.1e167f7c938p+0, -0x2.f24a269b3a6e8p+0
+0x8.cfd0a658d146p+0, -0x9.468bbf5aec2fp+0
+0x8.4949d22e93f1p+0, 0x4.c13e2b5ca945p+0
+0x8.6ff13d27f2bep+0, 0x8.cb110df8dc52p+0
+0x7.3046927ed56ep+0, -0x1.5aaf6580998b8p+0
+0x1.e8057d92e6bp+0, -0x5.eb83134e0108p+0
+0x2.527040f1a0cp+0, -0x8.f8508b843463p+0
+0x9.fdfa8afddfe2p+0, -0x4.7b766e105d8p-8
+0x2.4c0ae8a1fecp+0, 0x8.a3168e87044ep+0
+0x7.425fae123c6p-4, 0x9.1ead264a2d54p+0
+0x2.263830afea2p+0, 0x6.72ebefd2bd7cp+0
+0x2.eef1973d7a7c8p+0, -0x3.b4e676b90894p+0
+0x8.dc41e497bc3p+0, 0xf.ef4ca4d57dap-4
+0x4.336fd3be8ce98p+0, -0x8.5b98089e054p+0
+0x2.3190e35b86e4p+0, 0x5.8969a054445b8p+0
+0x7.a8c11ccbd866p+0, -0x8.c513990adbbdp+0
+0x5.e67995ebd683p+0, 0x1.ea2e0cc1fc1f8p+0
+0xd.aab4636cf2d8p-4, 0x8.99e280809361p+0
+0x1.b973c07e97b38p+0, 0x2.7cfa74de1e07p+0
+0x3.60e0e4e9c483p+0, 0x6.276d9de79f33p+0
+0x7.5b17a8b935e3p+0, -0x8.52d09ee6a61b8p+0
+0x5.bae3bdb971098p+0, 0x8.1503c2db2f82p+0
+0x1.debdfa26ddae8p+0, 0x6.d97c789ddap-4
+0x5.5bd91eb0750cp+0, 0x1.23ef71d7f095p+0
+0x9.dbe641a18791p+0, -0x4.70070b4f75bf4p+0
+0x7.3477d4aeeb2p+0, 0x2.54a83e6a14b18p+0
+0x4.9591c3904a768p+0, 0x6.3a5354d7c88ep+0
+0x9.9584403af7e1p+0, 0x3.15c88b2c5b26p+0
+0x8.74adcd90b063p+0, 0x3.15883a79d22p-4
+0x3.0bb322ec1af9p+0, 0x4.c3bdbba3ec21p+0
+0x8.564a48e653dp+0, -0x6.66df164b97cbp+0
+0x9.8fa1948cb3a9p+0, -0x3.ea39e2b8a7aep+0
+0x5.045224913aadp+0, 0x1.69211e122fa08p+0
+0x5.90b4dc42d8dbp+0, 0x1.07da8d144c7dp+0
+0x6.31a172a7432ap+0, -0xf.74c7385183b8p-4
+0x6.8e9ace442fap+0, 0x5.835e4eb1c64bp+0
+0x6.11aaee53b19p-4, -0x2.0f7d81004p-12
+0x1.cd70b1251cfep+0, -0x7.39dfe442b4914p+0
+0x1.dcc0a739ca89p+0, 0x7.a447fa0e591cp+0
+0x6.d7d559970bdp-4, -0x5.98e2fbb83a2e8p+0
+0x3.d3f62b4a356fp+0, 0xa.7d4cb9332ddp-4
+0x8.595eb28e5fb7p+0, 0x1.4b434d478eac8p+0
+0x9.39a2fb096c21p+0, 0x3.80a0c44180c38p+0
+0x6.fe9ffb1f6dc4p+0, -0x1.db8a5a8085c5p+0
+0x9.ac6d82df23b6p+0, 0x5.a0490b50399bp+0
+0x7.f3fbd0e496eap+0, -0x4.df58bf63d9718p+0
+0x2.679490d57afp-4, -0x1.dfcb8c173ea7p+0
+0x3.06b1567371098p+0, -0x6.5ffe2a3c57f74p+0
+0x8.31b1b1318c4cp+0, 0x4.e04a9c1e83b9p+0
+0x9.3312e65f3b44p+0, -0x4.73264b4e7e0e8p+0
+0x1.e56388483929p+0, -0x2.e810724fb6ce4p+0
+0x7.7f93306e9bd7p+0, -0x4.b89c7fcb9a854p+0
+0x5.f36da72d4373p+0, 0x2.1a2432a3cffb8p+0
+0x5.06ed75860df8p+0, 0x3.e6154e1fa933p+0
+0x8.564868e5f347p+0, -0x4.8ee30762cc168p+0
+0x5.3a73e4cfb268p-4, -0x3.ef48aff1034f8p+0
+0x6.c7d10adb53a8p+0, -0x9.b60994e382ccp+0
+0x4.8a7089281716p+0, 0x2.ba7d701b85e1p+0
+0x4.3dee878ce1b68p+0, -0x1.6775ddef906ep+0
+0x2.4445c38c81fp-4, 0x6.a0cff3c74d54p+0
+0x6.e6d6d2669acbp+0, 0x7.27fd626901eap+0
+0x3.a66406084f5p-4, -0x7.abf29c7c213p-4
+0x7.f05a009fb65p+0, 0x5.edbaf25c75fcp+0
+0x9.b5a7000af3a2p+0, -0x6.e62f6ff6c9128p+0
+0x7.b6ed37c6a70ap+0, -0x2.9d7e8124908ap+0
+0x1.461d0796ee9a8p+0, -0x9.1aec27c73f2bp+0
+0x8.3ac6633355d9p+0, -0x6.eb57b269750cp+0
+0x1.22b318f13f77p+0, -0x8.1ecc00c8df138p+0
+0x1.14feee5a8ef28p+0, -0x5.7a14d9453ff68p+0
+0x3.5308066454dp+0, 0x7.f898e7e2c9f7p+0
+0x4.c5ef47ed2264p+0, -0x9.981e505b4394p+0
+0x6.14f587450af3p+0, 0x1.a3f0397d936p-4
+0x1.8dd1d93241c8p+0, 0x1.677bd91b27d18p+0
+0x7.5857492e0be8p+0, 0x5.e6c04861592fp+0
+0x9.ebef032f61f2p+0, 0x9.c5ae2d634948p+0
+0x3.22bf7c658e168p+0, -0x7.f17d823cd8dap+0
+0x7.9326d35856e8p+0, 0x8.2dd87e1f63c7p+0
+0x6.7ac49c9adf4dp+0, -0x8.5b6d3ff68b0b8p+0
+0x1.b3da61485168p+0, 0xe.e28c137cac5p-4
+0x8.5f430099089bp+0, -0x8.274adbebda74p+0
+0x4.639e73a4a5168p+0, 0x9.40bd6fae8cbep+0
+0x1.ea38749d76328p+0, 0xb.10af0afd9218p-4
+0x9.045b2e4ad827p+0, -0x2.3ee9754ce17f8p+0
+0x1.62f92dc5becap+0, -0x2.afdf7acd294bp+0
+0x4.c105de7f83dfp+0, 0x8.d0cb31e80a41p+0
+0x2.5eee1a40d3e9p+0, -0x8.556c041619e18p+0
+0x5.96f677dd21c88p+0, 0x5.e33ae33cdc4p+0
+0x4.7d133d4584c6p+0, 0x5.d6e57e119fbb8p+0
+0x4.f9f45bf33394p+0, -0x5.80023699e2888p+0
+0xb.e56a846e8018p-4, 0x9.3dedd1dd16ebp+0
+0xe.3348d3248a38p-4, -0x9.9464b8053da38p+0
+0x5.8f0b1cc6d1fp+0, -0x1.859d48a248ed8p+0
+0x9.3c96c4f16a2cp+0, 0x8.600b579c26f7p+0
+0x5.ab96904b52cf8p+0, -0x9.951b0a208d228p+0
+0x8.e15e6655c587p+0, -0x4.60029c1a5e478p+0
+0x5.96ae6b3f97d7p+0, -0x6.7cb4c4e6e04d8p+0
+0x3.fd365eae6561p+0, -0x2.f6c2fedc95474p+0
+0x6.dc0a42b637ccp+0, -0x1.cf0e3cde465bp+0
+0x2.f1f8e672bda8p+0, 0x8.6c11f47cdccap+0
+0x7.de8ca49fc16fp+0, -0x5.40210c30dd54p+0
+0x1.a46c134bd9dep+0, 0x4.209e022fdf628p+0
+0x9.562592189ecp+0, 0x5.4dff73748d338p+0
+0xd.48f41d8bc1p-8, 0x6.85443fc9f02ep+0
+0xb.1fe9051308c8p-4, -0x2.dbd9f36bde548p+0
+0x2.5402d65e8536p+0, 0x8.ba7e9c198c91p+0
+0x7.fb52b5f219d8p+0, -0x4.d204ae0f8c724p+0
+0x8.e8b05f5f556cp+0, 0x2.6cdf7dc06a8b8p+0
+0x8.dd37c9ef9248p+0, -0x7.4183cca0d7p-4
+0x5.a6ffa6a6a6788p+0, 0x9.b3304d695c1fp+0
+0x7.f5d14b375372p+0, -0x2.c1eda2cfbd6cp+0
+0x2.e67c90658e98p-4, -0x8.b5986949ef77p+0
+0x1.7a9854534bdfp+0, 0x1.157f85d4cb2p+0
+0xa.1e59ddc2e42p-4, 0x5.1a93b72f11938p+0
+0x8.02516622c63fp+0, -0x3.751cb080dbfe8p+0
+0x8.7dd7612081ffp+0, -0x3.690a760af6ac8p+0
+0x7.dbd6afe63fb1p+0, -0x5.9a1ba18921c9cp+0
+0x8.9239d951e5bcp+0, 0x1.05043aca7d66p+0
+0x2.633754790bcp-4, 0x6.f1f7883e28a6p+0
+0x4.d730d5d6ebbp+0, 0x1.55bcebdb39dap+0
+0x4.b2176dada9678p+0, 0x4.3ae3d2f369a5p+0
+0x1.d85d474eec48p-4, 0x6.11ad12bd472dp+0
+0x2.88b1d318e07d8p+0, -0x6.1a589543bfcd8p+0
+0x2.f9773a80ddc58p+0, 0x9.afee081639p-8
+0x9.c4e1f9f581f4p+0, -0x8.939947a16e5ep+0
+0x4.94b98d5bfb56p+0, 0x4.359d55da5728p+0
+0x6.46b3c0479924p+0, -0x3.f755c850f5b9p+0
+0x6.3257ab941aa7p+0, 0x7.788abb3fb9e7p+0
+0x6.a4b4ccef693fp+0, 0x1.36268088bf258p+0
+0x9.28c7a261e704p+0, -0x2.ca6ac1f7fdf0cp+0
+0x4.b4df3bc6c9fp-4, 0x9.637eda0c1664p+0
+0x4.1b996a2fe671p+0, -0xa.85758b1b9b8p-4
+0x1.3fcfa8661e46p+0, -0x3.ec70abfafdab4p+0
+0x2.096c86afb8558p+0, -0x9.db153a86f482p+0
+0x9.520238021403p+0, 0x8.23120a682badp+0
+0x1.1c8c9f00c3a6p+0, 0x8.4c44a1e60c92p+0
+0x1.69843a837a8c8p+0, 0x9.f79568848c7bp+0
+0x8.2b0920912532p+0, -0x3.47f7816f24058p+0
+0x9.92745c2773f4p+0, 0x1.8542534e51p+0
+0x7.e945f6573216p+0, 0x3.12e1deb8fd82p+0
+0x9.39b20361a288p+0, -0x6.1b67cac9af08p-4
+0x5.2befed81fa0dp+0, 0x9.8e346ed65815p+0
+0x1.ee8951e628698p+0, 0x2.b7d8c18c3cfdp+0
+0x6.f66f134b47c4p+0, 0x9.6003ed3bbb45p+0
+0x6.78fa0be735c6p+0, 0x8.4b86fc77e818p+0
+0xd.6545aad6a9e8p-4, 0x4.40b2d86d5994p+0
+0x9.00d3752fc163p+0, 0x5.225496b60a938p+0
+0x2.1d8019ef81c7p+0, -0x2.7fad686edb0f8p+0
+0x6.02ee40aa81c3p+0, -0x4.ab21d11338dp+0
+0x9.e6d4f9e1ec1cp+0, 0x2.720da127d84ep+0
+0x7.a7cb710f14aep+0, -0xc.e88d98e87a6p-4
+0x7.4ac1aad80504p+0, -0x2.4e2cf74c81dc4p+0
+0x7.d319a3c98d7cp+0, -0x2.06a0a36eaabf8p+0
+0x2.0f6b2fba30228p+0, 0x5.c379a25805bd8p+0
+0x6.9d23860adcc5p+0, 0x4.353eb967c547p+0
+0x2.662a0f1c009ep+0, 0x7.a92069796d1dp+0
+0x2.165e2904e422p+0, 0x7.476402a791fp+0
+0x9.ed628528b5d6p+0, 0x4.eacdcacf5e8ap+0
+0x9.1d029edfd0fp+0, 0x1.6c8f79bccc84p+0
+0xd.331626bfabd8p-4, -0x6.529ed76d3d718p+0
+0x1.211e072b4126p+0, 0x2.0d27f9743ed08p+0
+0x3.c8d657820a86p+0, 0x9.ae3e8d00efa2p+0
+0x6.28226b1de44dp+0, -0x5.4915dbc4d0f08p+0
+0x8.51a866ed3797p+0, -0x9.cbaa053fc726p+0
+0x6.a64d1f903e5p+0, 0x4.17bbf2161b7p-4
+0x4.ef20340711998p+0, 0x9.8b151150692ap+0
+0x2.af2604e672bp-4, 0x4.53f921f190cp-4
+0x5.f27735eeacccp+0, 0x3.eaf958fd577ap+0
+0xf.cd2ce693802p-4, 0x9.30030d876108p+0
+0x6.c22efcfc117bp+0, 0x9.d867fbf1d111p+0
+0x3.afb69d41056e8p+0, -0x9.138e5e837adf8p+0
+0x2.f69e2cf2d3158p+0, 0x7.7d03c9bfffc4p+0
+0x4.75c5d817574cp+0, -0x5.519f66890c2fcp+0
+0x5.c3465643dcc98p+0, -0x3.b6c247e0d943p+0
+0x9.eb5ed42c59bdp+0, 0x5.676cab1dce128p+0
+0x3.d772b02375508p+0, -0xa.d7daf92b86bp-4
+0x3.dc1560f10478p-4, -0x5.9354f58fb24cp+0
+0x9.8caed718feccp+0, 0x4.adfb656d506p-4
+0x2.46a393d977f18p+0, -0x4.ac5ca4d47c0ap+0
+0x2.5e87dcdcad6bp+0, -0x7.5582413ca50fp+0
+0x1.8418b72f63ap+0, -0x5.3959c38780984p+0
+0x6.8c12b2216f04p+0, 0x5.4a0934148cedp+0
+0x1.2fb2b6f35a778p+0, -0x8.c045559e7cd8p+0
+0x4.c248489bd452p+0, -0x9.ae1efb5f30238p+0
+0x9.a345f8e15982p+0, 0x2.2153cfb0267cp+0
+0x6.5e6f4a6fa68dp+0, 0x6.d19e76b87382p+0
+0x1.7ec158bb9424p+0, 0x4.f6f3edb11fdd8p+0
+0x2.c192fd47ef108p+0, 0x3.da8b2604490ep+0
+0x5.fd22723da62ap+0, 0x6.a8e7878a2c5cp+0
+0x4.f8ed75235456p+0, 0x4.10d23732340dp+0
+0x8.314d5627c085p+0, -0x1.cc1baa9c73728p+0
+0x2.acfdd06aa3858p+0, 0x5.dbcff382f155p+0
+0x5.0f96583b8db68p+0, -0x6.c029152b5a9p-4
+0x2.1f717a47db068p+0, 0x2.4fd56a9cf1b3p+0
+0x7.4bb596400101p+0, -0x1.16acc37225e58p+0
+0x7.70e314c00ad6p+0, -0x3.3c7d9a490d4p+0
+0x7.4f00107c6557p+0, 0x1.1d0138ee8a64p+0
+0x1.0008db30c939p+0, -0x7.d0073caf4abap+0
+0x7.c801d0abb925p+0, 0x7.a68033104db1p+0
+0x7.e0addbe73fcbp+0, -0x8.c8ba1cdc5963p+0
+0x2.4924b9174796p+0, 0x9.8b362a982ca8p+0
+0x8.dd40a65e1ed9p+0, -0x2.ba2230c89e708p+0
+0x8.6ed3473455b6p+0, 0x7.7e437fe2fcb3p+0
+0x4.8818de819194p+0, -0x9.1b2065877d6bp+0
+0x2.def76cb9c905p+0, -0xc.37fe48ef3eb8p-4
+0x7.14a2ddbd869fp+0, 0x3.325e644700ecp+0
+0x1.f2281f5ad50a8p+0, 0x1.510c3f6f7148p+0
+0x3.c1460bf26f028p+0, 0x5.3500a7790fc68p+0
+0x8.de92554d597p-4, -0x1.0a26d8a6036c8p+0
+0x4.92f7d70fc4f8p+0, 0x6.7e6fffce77ccp+0
+0x9.791d43ea95cep+0, 0x5.696c2c4ab7108p+0
+0x1.924163109cb7p+0, -0x5.88abbb0f00038p+0
+0x6.261310b7c059p+0, -0x4.4302b643fa74p+0
+0x2.f2781a977bad8p+0, 0x9.3c5b062472aap+0
+0xf.aebe1f5f6768p-4, -0x1.e5efbb103e4p-4
+0x6.b9032977b8c6p+0, 0x6.1a381942d2c8p+0
+0x3.0375fd1e7a9a8p+0, -0x9.1bd52a54cad8p-4
+0x2.145cc4ae9903p+0, -0x2.4f2bb7d8e407cp+0
+0x1.6202e58be742p+0, -0x5.a37fbe7fa73p-4
+0x9.7620a0ec308cp+0, 0x4.57441d23ba3a8p+0
+0x3.ace57844768p-4, -0x6.7affacc9b1bbp+0
+0x3.ea5d8079b6b2p+0, 0x5.4d2080c6066a8p+0
+0x6.503f66195c53p+0, -0xc.729f6b2291dp-4
+0x6.b57ca272e29ep+0, 0x9.51445310bcc9p+0
+0x2.aa6dd7afc4a28p+0, 0x7.9bd80e0618fbp+0
+0x1.1569ec0dfef08p+0, -0x5.0ab48bcb5e39cp+0
+0x4.9ed0db7171a8p-4, 0x6.088cb92c1e64p+0
+0x3.f75da43a6ae3p+0, -0x5.08aa78916dc1p+0
+0x8.b8aeea35068p-8, -0x2.f5214c533a8p-8
+0x3.51561e614e938p+0, -0x7.2b94307dd1cp-4
+0x1.bf457515696ap+0, 0x9.b74b80501c92p+0
+0x5.4a4a37898a6a8p+0, -0x6.118e8feb3cdd8p+0
+0x4.e59febef2cdap+0, -0x2.8300ac0b7b6b4p+0
+0x8.e6cc2965ba1ep+0, 0x5.b52ae15418c6p+0
+0x5.9e6666c9c5c38p+0, 0x8.006e3b3d2aa3p+0
+0x7.c86613dda69ap+0, 0x3.cc82710332838p+0
+0x3.c57eb2d8901bp+0, 0x1.d2552ae20916p+0
+0x4.f66b9a0dbe96p+0, 0x1.0c122fa566fp-4
+0x2.85b0f378e878p+0, -0x3.739251b7f66dcp+0
+0x4.c500c8df586e8p+0, -0x4.5c599a307e528p+0
+0x7.56a5cfde05p-8, 0x7.2bdae818772bp+0
+0x8.e4fb51c21db9p+0, -0x5.e55c232f381c8p+0
+0x5.f6e0a02dcd638p+0, -0x8.d662edbb353dp+0
+0x5.767c28e1bf4d8p+0, -0x4.b9dfd19546708p+0
+0x9.cc16e2c65d6ap+0, 0x1.8e6bb70a26478p+0
+0x6.25804ded4f8p-4, -0x3.370778d5684e8p+0
+0x7.15ab5f0c86bp+0, 0x4.cb4431e5a54f8p+0
+0x8.f344050cef5fp+0, -0x7.995fdda165e8p+0
+0x7.1d8997e8a634p+0, 0x1.20acdd4b303bp+0
+0x2.a20dade3cf08p-4, 0x6.8119d33f0f1cp+0
+0x9.9077fd32c404p+0, -0x3.5e489191d1248p+0
+0x6.1cacb73030eap+0, 0x2.59ba15b760218p+0
+0x2.800eddb81ce38p+0, -0x3.c02782d27bd14p+0
+0x7.02d40f578c8fp+0, -0x9.cf04a241e8d38p+0
+0x3.8e2f12a13295p+0, 0x9.43c965c01eb5p+0
+0x2.e9e1b6a7fc4p+0, 0x7.aa544298bb52p+0
+0x2.7b6503bd898p-8, 0xc.f8e3f5f55858p-4
+0x2.39ec3774bdcd8p+0, 0x7.b4b5e20e98f9p+0
+0x8.9c7bea08bf9ap+0, 0x1.99b9a33d34398p+0
+0xf.c08b10114d68p-4, -0x4.549afb25ff2bcp+0
+0x9.abdf6e506b6dp+0, 0x1.496284c9f7de8p+0
+0x9.dd78f753d391p+0, 0x3.3034037872acp+0
+0x9.a7db4310407ap+0, -0x5.1476fd7d334a4p+0
+0x7.d23a95a9378p+0, -0x2.080865dd9a428p+0
+0x4.9d573c2366b68p+0, -0x1.43ff3723fb3c8p+0
+0x3.f3fc541a624ap+0, -0x6.bbc4150a405d8p+0
+0x9.a17ad0dfb708p+0, -0x4.4d3d87a977cf8p+0
+0x3.873e1537cc5p+0, 0x9.afdb4a26edaep+0
+0x2.2049115feac8p-4, -0x1.4535c768bd5bp+0
+0x7.d730d355113bp+0, -0x2.1ff0711129a8p+0
+0x7.d2c6e3be2a7p+0, 0x2.07ea239538138p+0
+0x2.d4400ee37fdp+0, -0x4.18190995dd24p+0
+0x8.60c12c9659ccp+0, -0x9.b0203cec4397p+0
+0x3.558b276a10f8p+0, 0x8.d3b9a6c97907p+0
+0x3.5bf057e587098p+0, -0x8.b6341c9f1f67p+0
+0xd.799884bc33dp-4, 0x8.6de1719dd79cp+0
+0x5.69fc4f1d89e1p+0, 0x9.8e6d61a4197dp+0
+0xc.dd459a2531p-8, -0x1.77cfa0b212ccp+0
+0x4.7fc7276e7aa7p+0, -0x7.a3e247d50526p+0
+0x1.eb3ad8f23a04p+0, 0x5.1837bb71b737p+0
+0x1.18e131834628p+0, -0x2.5818090e9ec44p+0
+0x7.1fe1c7a79dcep+0, -0x9.8ab19a68f96ep+0
+0x4.148a19fc9462p+0, -0x8.c4b21d342b0ep+0
+0xa.06b2b1fa67cp-4, 0x4.ec16c8e6a4c28p+0
+0x9.c6821fb80f2fp+0, 0x1.b846e11bf09d8p+0
+0x4.a361835ebbae8p+0, 0x3.14ec96e669698p+0
+0x1.ceeebdeb62efp+0, 0x4.1c6b7c65691fp+0
+0x1.2627f0c206cap+0, 0x5.99221346a47p-4
+0x5.86fc44364bc48p+0, 0x8.bcf06d1b0313p+0
+0x6.08cde834a2ep+0, 0x3.7944f2f3ea39p+0
+0x3.07fd13d3d4dep+0, 0x6.58a098232c78p+0
+0x3.0f944a7a6be1p+0, 0x6.d44de1ab6007p+0
+0x5.55076e821745p+0, -0x5.cd0cd721b3bdcp+0
+0x4.52967b76a6188p+0, 0x2.cb7d171160108p+0
+0x8.3809aec8ad06p+0, 0x6.bc24dfbad07fp+0
+0x6.c829b8683777p+0, 0x1.c08cd72ccef1p+0
+0x8.aec06787cdb8p+0, 0x1.c59f2f9d6b1bp+0
+0x9.4f255de0f218p+0, 0x7.38a74174f2afp+0
+0x5.3ee1c4582b288p+0, -0x7.0490a81a3f06cp+0
+0x7.6c974d3d3c8p+0, -0x1.7cf1229f0602p+0
+0x9.6d31e369fap+0, 0x1.ca68b88466p+0
+0x9.26d6b33e536fp+0, -0x7.6ead697fdb98cp+0
+0x8.420077782bc5p+0, -0x5.dc83dec0800cp+0
+0xa.42909f01d39p-4, -0x9.acb71f81e81p+0
+0x9.1a62e4676ab7p+0, -0x9.515ef7a7031d8p+0
+0x6.752c5980ed13p+0, 0x3.89b2fe54aecf8p+0
+0x4.14244ede45b08p+0, 0x9.9e5274f34171p+0
+0x8.6f5e5cdf256bp+0, 0x9.1decc5558ea1p+0
+0x7.3837bafee103p+0, 0x8.fc1fbd4292d3p+0
+0x2.0f9765959f628p+0, 0x2.a8575abc62c58p+0
+0x3.17ae798a74b68p+0, -0x1.5fb668264b2a8p+0
+0x6.403645f6fefbp+0, -0x4.9565241afa324p+0
+0x5.86563a679154p+0, 0xf.088944fe1ce8p-4
+0x9.e8e064f7f688p+0, 0x9.a94956b7d89p+0
+0x5.b022dd117ecdp+0, -0x1.a0f251ea46078p+0
+0x3.df19b923a3d8p-4, -0x6.7e9ea614c3464p+0
+0x3.eef06bceadb48p+0, -0x9.04a16d6c86bap+0
+0x4.5ef4842266d18p+0, 0xd.507d9ac6ed1p-4
+0xd.9966a3d69d8p-8, 0x5.8c03b53decef8p+0
+0x4.5ac078abf6c78p+0, 0x5.67976f5d4554p+0
+0x3.e0cda96d5461p+0, 0x6.559609bea815p+0
+0x9.e35f4d8f3ab8p+0, 0x4.15adec702d11p+0
+0x5.f33bb75211fd8p+0, 0x8.b67d3b0e9344p+0
+0x6.698266726b5ep+0, -0x2.daa485ef97f8p+0
+0x3.4eb388ad31a9p+0, 0x1.b0e864e653eep+0
+0x6.1658a8192f48p+0, -0x1.111f202ca8e9p+0
+0x6.dae351e1566ep+0, 0xc.cd1a331fec9p-4
+0x3.685db75c6244p+0, -0x2.6266789877228p+0
+0x8.9dd1ea569edfp+0, -0x7.80e71b65e881p+0
+0x8.a020a4d0c3fbp+0, 0x6.50bb39023ae5p+0
+0x6.7b0608f2d9ecp+0, 0x8.22779f412fd9p+0
+0x2.c7ac717681f18p+0, 0xe.501d20a650dp-4
+0x1.97d8272c85ebp+0, 0x4.d47424a195ddp+0
+0x3.3134e04aeeeap+0, 0x8.56dfa0e7c108p+0
+0x1.738882c21b83p+0, 0x2.b54401f65522p+0
+0x6.0eae53974a52p+0, 0x4.cd01eb6cfbb8p+0
+0x9.782d66064846p+0, -0x1.bb37580ac695p+0
+0x4.cdf8d5eaacdd8p+0, -0x3.1b4a9957457p+0
+0x2.e34c406a52268p+0, 0x4.2d0b29037c9ep+0
+0x6.b5cedc8e3b46p+0, 0x3.a5ac81192bb68p+0
+0x6.88317e3d10acp+0, 0x9.1afaccf6bdd8p-4
+0x1.5b30389b0bc2p+0, -0x8.f83fe1b30a63p+0
+0x1.6561b3b6b95a8p+0, 0x5.2493952472bep+0
+0x1.b4da63e89b468p+0, 0x1.3c62c718b10d8p+0
+0x8.0c8b92204458p+0, -0x6.1096b4e10cb7p+0
+0x8.e29a1d21b82ep+0, -0x4.76af6fdca50b8p+0
+0x4.025704e546aap+0, -0x7.63f64294adf08p+0
+0x9.049658a725e7p+0, 0x3.b56188267b92p+0
+0x6.50610d393d3cp+0, 0x2.7fe3cf3dd90cp+0
+0x2.f478043a5d458p+0, 0x8.5386f779fc71p+0
+0x9.a493b0222385p+0, 0x1.d3d326d67382p+0
+0x2.093d56c82623p+0, -0x8.32946f867956p+0
+0x2.6ed150cd5cef8p+0, -0x1.4ae3c524a94c8p+0
+0x8.6fb263d8c9eap+0, -0x8.6c95c3761cf1p+0
+0x3.237fe2eeca1cp+0, -0x2.c5cec7df7182p+0
+0x1.65341f711cedp+0, -0x2.c134a8dfb7588p+0
+0x5.a8c032f8b485p+0, -0x3.7b8a5181a0ee8p+0
+0x6.42505c3b0686p+0, 0x8.68edc72218e8p-4
+0x3.e1dac43a29518p+0, 0x5.75ef8c8f263p-4
+0x4.88f6d956f2bc8p+0, 0x3.9d6fb85582368p+0
+0x9.bb78d56b399cp+0, 0x4.658bf832195fp+0
+0x4.49f1adf10c82p+0, 0x1.0a9c9a8d78848p+0
+0x1.6fae514dced98p+0, 0x5.d708081b369fp+0
+0xc.a16585b8912p-4, -0x2.3bcd7cbcbc7p-4
+0x4.87b5f0f8050ap+0, -0x8.a1ce9d5a7e4f8p+0
+0x7.2c22a85d8c42p+0, -0x3.ec8e1f417f508p+0