diff options
Diffstat (limited to 'benchtests/expl-inputs')
| -rw-r--r-- | benchtests/expl-inputs | 1004 |
1 files changed, 1004 insertions, 0 deletions
diff --git a/benchtests/expl-inputs b/benchtests/expl-inputs new file mode 100644 index 0000000..9e429fd --- /dev/null +++ b/benchtests/expl-inputs @@ -0,0 +1,1004 @@ +## args: long double +## ret: long double +## includes: math.h +# Random inputs in [-10,10] +-0x1.e789bfea7e0b7b2p+2l +-0x1.402ce9cd820ba22p-1l +0x1.0aff75533049c4fp+3l +-0x1.5e877741882a3faap+2l +0x1.52f42e7ceb880f2p-1l +-0x1.02403d7952f2780cp+2l +0x1.ff3411a45d039e88p+2l +-0x1.0f3cad2392b81492p+3l +-0x1.1f0a76abe016e8b8p+3l +0x1.d4bf8c1a75ec682p+2l +0x1.9229a9dec96315e8p+1l +-0x1.a4b22031d574ae68p+2l +0x1.64138024cea3d334p+2l +-0x1.02a0b11943757306p+2l +-0x1.454f53ef5d0b9acp-2l +0x1.7ba5053e60291c98p+2l +-0x1.2ab42be196e5cfep+3l +0x1.3bcc82111aa14b34p+2l +-0x1.630435ce88cce36p+2l +0x1.04f4dc3e9bd7853p+1l +-0x1.0ebbeceb9e3be7bp+3l +0x1.26cbb541e5e4e5ap+0l +0x1.1b8ea75123208ac8p+3l +-0x1.cbd4daee8a4761p+0l +-0x1.b4d89d5bd14f609cp+2l +-0x1.fa6003cab764811p+0l +-0x1.6f912b9f1ffec2p-2l +0x1.3772cd49fb3fa0ap+3l +-0x1.92c58088516e164p-2l +0x1.05289001a75a4344p+3l +0x1.a648980822811a8p+1l +0x1.3a211c91d642cc1p+1l +-0x1.bd4350d7fd5a7148p+1l +-0x1.09175c9e71a9ffccp+3l +-0x1.396634f7a2beb314p+2l +0x1.5ceb175223db80bp+2l +0x1.e32149055424404p+2l +0x1.3fcb04ef68b2dbfp+0l +0x1.3001a196923e54c8p+3l +0x1.eacf870f01812fa8p+2l +-0x1.7e1e2c766408b34p+2l +0x1.0b9e00d8faf97658p+3l +-0x1.65c588bbe879a5p-2l +-0x1.13ccd97ab4820c5cp+3l +-0x1.596f1545fa1f64eep+2l +0x1.209c78fec17e73c8p+3l +-0x1.d145923081d6ab62p+2l +-0x1.a2bd852cafcaae3cp+1l +0x1.76dfdfa7fa4dd6ep+2l +-0x1.1b4208a1c5c101b2p+3l +-0x1.44d756cd1ce5f4cp+0l +0x1.c6bafeae6458edep-1l +0x1.2e1041051d49deap+3l +-0x1.906d7a88f19e726p+2l +-0x1.e72a1dffcd7095p-3l +0x1.f9047a6579beeaa8p+1l +-0x1.e4543fc8c8342e14p+2l +-0x1.61e482b5ad0dc1eap+2l +0x1.38d67ef82f9a0b9p+2l +0x1.08579fdcf8114788p+3l +-0x1.b9a29a68db9fd9c2p+2l +-0x1.b68b06b758e43b88p+1l +-0x1.20766050a9f169eep+3l +0x1.c7708e9625e93ap+2l +0x1.ade8f58cb43dab2p-1l +0x1.049fe37d9d715c1p+0l +0x1.b887277f1f02cp-1l +-0x1.b243bfadc5ddc2ep+2l +-0x1.11487236451fa91cp+3l +0x1.2630dec58a45c1f8p+3l +-0x1.01fc94737a1eff26p+3l +-0x1.28dfdfe7e0cfa078p+3l +-0x1.c6973626cd0b89a4p+2l +0x1.6828109c3d1e4b8p+0l +-0x1.9f4932f5dc3d6b72p+2l +-0x1.26207aaa7c150e6p+1l +-0x1.d179181846330eacp+2l +-0x1.f38c8bea3c560d54p+1l +0x1.17c623cc8f38148p+2l +0x1.3363bf8e6499c4p-2l +-0x1.8a53aaa55b40a648p+1l +-0x1.ad40b55b66fa3dap+0l +0x1.6e998340d2819cf8p+2l +-0x1.0694046421688544p+3l +-0x1.49bace6eab49acf4p+2l +0x1.fa40f72bfa662a88p+1l +-0x1.18b9a8d41eb699p-2l +-0x1.0a52573ff6356f8p+0l +0x1.8fc3ddbaeee00eap+2l +-0x1.9c5b48a3d51f0c2p+2l +-0x1.435b7d4fabc1880cp+1l +-0x1.6f53dadb30f2c35p+1l +-0x1.0b55f0a12aa5f808p+2l +-0x1.fa22b2bdb0a8f54p+0l +-0x1.f154f0683db6d1bcp+2l +0x1.043cec84fc912114p+3l +-0x1.f00870521a8faf3p+1l +-0x1.a661670f8bd47e2p+2l +-0x1.1ea1774a6d65dd68p+1l +0x1.283e1ec165ca678p+2l +0x1.93411f1537237d78p+2l +0x1.ce098081bbf2816p+1l +-0x1.160e35e2a2ca6edcp+3l +0x1.c5233ba4f9bb23cp-1l +0x1.674d499bce136968p+1l +0x1.5a33d5430077a7ap+1l +0x1.080e0a8444240e1p+1l +0x1.9bb39f0e4304aedp+2l +0x1.03630a4d4d27b2dp+2l +0x1.073c436c47848fe8p+3l +0x1.d02157960cad702p+2l +-0x1.5f40f740f3a54c58p+1l +-0x1.e5a024b7308934p-2l +0x1.3b65be5ae5c566fcp+3l +-0x1.ecc75fa9fa61633cp+2l +0x1.250c9992277475ap+2l +-0x1.9ff4f42793ebep+1l +-0x1.c912ae3277f07d7p+2l +-0x1.d4544b83fc79c3bcp+2l +-0x1.e12fe6386590d5f4p+2l +0x1.2edf6b2fda92293cp+2l +0x1.3a06739825b0b0dp+1l +0x1.ffd0cbda983bcd88p+2l +0x1.5778f7a61ce22964p+2l +-0x1.333b908c4c42149p+0l +-0x1.f322c1791082e234p+2l +0x1.dea0513ebca1c6a8p+2l +-0x1.104486b017e1c158p+2l +-0x1.0d184c4ff9ca712p+0l +-0x1.1ec3e8cb81b61b44p+3l +0x1.f7cfb63f44f73fap+1l +-0x1.a1919055b48e144p-1l +-0x1.bf388de1caf8539ep+2l +0x1.f8736096d49c7fa8p+2l +-0x1.93dbbc3e453b24b8p+1l +-0x1.8da7879e66dd1aep+1l +0x1.098ad76d82c0398p+1l +0x1.522d3502802087bp+1l +0x1.928ab228775239p-3l +0x1.df25df6d3ff68p-11l +-0x1.5813cc1b2e02c98p+2l +0x1.362a38bae6052d2p+1l +-0x1.eed6cb53e0d9b6cp+2l +-0x1.d0940a5ff2d33052p+2l +-0x1.fa024b4ea1276ap-5l +-0x1.0d7d9c64a8072854p+3l +-0x1.8e766aa23898249cp+2l +-0x1.b8db5a928f5923a4p+2l +0x1.e85c9845d4472658p+2l +0x1.1c6e50e6c12b3788p+2l +-0x1.200a4c0baa64f3fp+1l +0x1.014aa890a6583508p+3l +0x1.d9863011deec2ep-1l +0x1.0db57ad176bdec34p+2l +-0x1.2f4410925993f59cp+1l +0x1.e4c91152d55628e8p+2l +0x1.3a55bc651e299544p+2l +0x1.04a94d5e97273934p+2l +0x1.0d130ef9bdc9bb1p+2l +0x1.18e64636178f5a74p+2l +-0x1.93f458f549797858p+1l +0x1.1e9e0d5e0343d8f8p+2l +0x1.26d4bdf1c51e714p-1l +-0x1.7b62a4a4f802532p-1l +0x1.e5aa90c97c4675bp+2l +-0x1.312951dbdb3dabcp+0l +0x1.dc6a39a05567779p+2l +-0x1.e004b4f2820f97eep+2l +-0x1.0aa3096fc16a844ep+3l +0x1.c765a9d57994cee8p+1l +0x1.914eb4e20f1457a8p+1l +0x1.1f906f18a0962ep-4l +-0x1.c65e9a780146cd84p+2l +0x1.dc97b1e7ba1eabcp-1l +-0x1.7dc65952eafbbc48p+2l +0x1.335c604104264078p+3l +0x1.689d6a5e179e216cp+2l +0x1.0eda20d2be0c9238p+3l +-0x1.03a823fa7ffb0198p+1l +0x1.47702f41f2c487cp-2l +0x1.a4679ddb7d5c62cp+2l +0x1.1e9ae7cde6d64378p+3l +0x1.106a0e0a14170108p+3l +-0x1.9b5afcacb7ce6dfp+1l +-0x1.311a2386b2d368d2p+3l +-0x1.266e5116df96878ep+3l +-0x1.1689855fcd97ac5p+2l +0x1.f6359036d7ee49a8p+1l +-0x1.1199a6917f4bbf5ap+3l +0x1.193f46f4f5ef899cp+3l +-0x1.560ad53795d5322p+0l +-0x1.2f316f34137dd8ap+1l +0x1.27349ad563cdb2bp+3l +-0x1.036cdb509a4b3c54p+2l +0x1.fe680bfe14b2426p+0l +-0x1.c9fb596c3b347ad8p+2l +-0x1.7e562a84532cd38p-2l +0x1.314b5818c555f5cp-2l +0x1.7daabd936b1f25bcp+2l +0x1.c5c8b6f4c0121p-3l +0x1.16dfcdeedae826a4p+3l +-0x1.a934f04d2b86333p+0l +0x1.123a572565ea2114p+3l +-0x1.160528e9183a258cp+2l +0x1.5d39d58ed2ef036p+2l +0x1.12804e2a233e3278p+3l +0x1.ea0786e29d495cp-3l +-0x1.0f8b9abe97665d8cp+1l +-0x1.19f405cd85ccdaaap+2l +-0x1.9b4110c73b2a972p+1l +0x1.134ce743f9d40fap+1l +0x1.3aa72e6f3bb6f03p+3l +0x1.fe72e134af47798p+2l +0x1.949d34efeb82b6ap+0l +0x1.2deb59ce44ae872p-1l +-0x1.f9ac8621bb4b33f8p+2l +-0x1.94e948db4960c0fp+2l +-0x1.241f54727184909ep+3l +0x1.a541fb872349d03p+2l +-0x1.9a1afd055e65bd2p-1l +0x1.d718277aa515798p+1l +0x1.cb82bd737c0f39ep+0l +0x1.f4d19bc02f6497ap+2l +0x1.f396eed13d3a7ad8p+2l +0x1.1ed7d0d5cfeaf55p+1l +0x1.6d920d5e1161b8p+0l +-0x1.1452f89366e70baap+3l +-0x1.bdda90cd25ed2b28p+2l +-0x1.52c7f405410f9acp+0l +-0x1.abcc2fde1abf3074p+2l +0x1.28c060175a14431cp+3l +-0x1.3392531603c4d24p+0l +-0x1.2a179120e3c23e2p-1l +-0x1.c20aa8ec83aea1d8p+2l +0x1.238be8cce341f9bp+1l +-0x1.d24ac8996328526p+2l +-0x1.190c701b70a62986p+3l +-0x1.14854910de2766e4p+2l +-0x1.1f35343d09c6f8fcp+1l +0x1.230cd6ed94aaecacp+2l +-0x1.2107c372b3059b12p+3l +-0x1.a6a563a1d0ae1ebp+1l +-0x1.776f8cca0bdb4ae4p+1l +0x1.66b3fb3d827646d8p+2l +0x1.d3fc5e541ff0e27p+0l +-0x1.1a2f4761fc7a0b4p-1l +0x1.e116afd8ff6c92cp-1l +-0x1.99fa54aca05566ep+0l +-0x1.b3c60c9436471794p+2l +-0x1.ca24c3fca327468ep+2l +0x1.eea89a51f83c5db8p+2l +0x1.f294236f9a04ed38p+2l +0x1.05acb5b1ece32dcp+0l +0x1.3e096846750d5d4p+2l +0x1.2f6a957eeb24b87p+1l +0x1.d69ae3cd1891d22p+2l +0x1.c372c9dd4f80a05p+2l +-0x1.c4ef9624b7a4d61p+2l +0x1.0792c878d381c7p-1l +0x1.244c8c1635e56638p+3l +-0x1.105b6845cc40a1ap+0l +-0x1.02cddc1271b225dp+1l +-0x1.6cd86b16e08527d2p+2l +-0x1.9c4cb251b9e67038p+2l +-0x1.aacc9646b1da61dap+2l +0x1.adbcf3398cc4b98p-1l +-0x1.1be21090bfd7a5cap+3l +0x1.b30f414ce703da7p+2l +0x1.3977936bf61b56bp+2l +0x1.7486f1c34fef44c8p+1l +0x1.196c5444ab658518p+1l +0x1.4bcd5aea20c7b8ep+1l +-0x1.481f3b109feebcfp+0l +0x1.2cc94273ec3ba0dp+2l +0x1.0cb56d0382ef7b04p+3l +-0x1.78c8714e98b6e16cp+2l +-0x1.e8096b8f4435df3p+0l +-0x1.73839566ca1d951p+0l +-0x1.8ade9ae79f9621dp+2l +0x1.31435fd6a51cb4fp+3l +0x1.2fcfef197e307d34p+3l +0x1.56af3f89adf57668p+2l +0x1.7344fd837d6e1ed8p+2l +0x1.fbfe3a5c345bdc48p+2l +-0x1.2800b9524cc067f6p+2l +0x1.f8f2df26a8f9094p+1l +-0x1.3c7d15f2577fd0b4p+2l +0x1.c7e6edb48bbdfecp+2l +-0x1.7066004abaa8633ap+2l +0x1.747ac849e3853b2p-1l +0x1.f55f987bc716b518p+1l +0x1.a956a85983143118p+2l +0x1.a3b25268c75f953p+0l +0x1.d82d76bd2fadb54p+2l +-0x1.bab4ab2d73a153dp+1l +-0x1.b4b819289c9d1d58p+1l +-0x1.ca7e30dd6c3c3e2ap+2l +0x1.2a566ebdbfb07e6cp+2l +0x1.891fbcee66dcecdp+2l +-0x1.29f325541634f09ep+3l +0x1.1abcb0740d4d6a74p+3l +-0x1.29e4d1429f8e835cp+3l +0x1.1302daedb1324d3p+0l +0x1.9bd0d8834894e28p-3l +-0x1.2a0f985d3776e58p+1l +0x1.1396416a30ab1cep-1l +-0x1.20e7002263cbd456p+3l +0x1.9b137b6bf47bd78p+0l +0x1.4f69ad880ffe21bp+2l +-0x1.c25b9bac58b8c3a8p+1l +-0x1.19da47962c6c49p+1l +0x1.da570eee749717b8p+2l +-0x1.e46dbd51e4b20fe8p+2l +0x1.8dd2bef1437c2p+2l +-0x1.12f621369ab01d44p+2l +0x1.797731d804aa37dp+2l +0x1.29e8d5ea5ff3031p+1l +0x1.4d44f9ef640caf1p+1l +-0x1.3eaf6c647598cdd4p+3l +0x1.c0c0e11854be758p+2l +0x1.5eacd355235e2528p+2l +0x1.3cfc847834a5c3d8p+3l +0x1.049820624dd6002p-1l +-0x1.0db663ef006fea5ep+3l +0x1.9b1437fa3da40808p+2l +0x1.0c25883913d3dbfp+2l +0x1.852ade7cd1607d2p+2l +-0x1.3abac366d0b4d5cp+3l +0x1.6a56257c1138d54cp+2l +0x1.3d427dc7a7116528p+3l +-0x1.a397980397d57c94p+2l +0x1.aad7371fa96b16d8p+2l +-0x1.e4136a1e660cc1d6p+2l +0x1.6da2bf98726d9d5p+0l +-0x1.6c63ec6cb561414p+2l +0x1.eca1d0e20cb302e8p+2l +-0x1.528a9884ce32de9p+1l +0x1.d5c981ffe6294ep-1l +-0x1.3bdabad98013cae4p+3l +0x1.9cbada1299c0f01p+2l +0x1.2e40a5376c780cp+3l +-0x1.102530c75f18dd8p+2l +0x1.72b0235c9ad31e8p-1l +-0x1.14a8449de2605732p+3l +0x1.3bd357e3504fb25cp+2l +0x1.80d45a6aaa792a9p+2l +-0x1.06df9b55792fe0bp+3l +-0x1.ca984018b26730acp+2l +0x1.f2f316bfa49064ap+1l +-0x1.0a059c4ed3e1a58p+2l +0x1.e9804b664b96fbfp+0l +0x1.00cf399683208b2cp+3l +-0x1.4c24fb12d818e7p+1l +-0x1.174e2bc629e041fp+1l +-0x1.0901ba575d86318p+0l +0x1.6051bc1f7d3b22ep+1l +-0x1.a28f83dda623abb4p+2l +0x1.9c8c63c9eff99888p+2l +-0x1.1b7553e771eadaa8p+3l +-0x1.d57d95bb4ee98c98p+1l +0x1.6e974a46254b0448p+2l +0x1.36fa2f09839e2c08p+3l +-0x1.2d126d9f61610f68p+1l +-0x1.9e75033444aee792p+2l +0x1.ed1f3d4d3025592p+2l +0x1.39fa499e03db7038p+2l +-0x1.d65a09b4abd32ed4p+2l +0x1.eb86d3a8b7d70308p+2l +0x1.d86a560c16f5ad48p+2l +-0x1.9dd8e3fa57fc65p-3l +-0x1.80f61cf71388ad52p+2l +-0x1.fb956480a7143ef2p+2l +0x1.a823b7686813c308p+2l +-0x1.3d2b09b19056dc9p+0l +-0x1.14dee653a4b9f776p+3l +0x1.4330c1e6f5bf92a4p+2l +-0x1.70d154f4c770ab54p+2l +0x1.bca715264dce36cp+1l +0x1.7d939287cb2ac32p+1l +0x1.e1abb17f8289b16p+0l +-0x1.d67096348890a4fp+1l +0x1.97360e3c0fa1e908p+2l +-0x1.74e99eb4bd342b6p-1l +-0x1.26cc55807b8317c8p+1l +-0x1.3807131facc49f58p+3l +-0x1.a40902b12d5a7f3cp+1l +-0x1.ba6b0233e66c0eep+0l +0x1.78a074e6fdb7a02p+1l +-0x1.3a79b3dc308e18dcp+3l +-0x1.993761846a8b9cfp+2l +0x1.559b8c147a4bd3dcp+2l +0x1.7ae21fe6de6e55f8p+1l +0x1.325837f838ad0cc4p+3l +0x1.74feb5b1cc5b8858p+2l +-0x1.352bf1044b3e356cp+2l +-0x1.21034f18363433c6p+2l +-0x1.0932b475c2785a18p+3l +-0x1.393aacad24767802p+3l +-0x1.2b9dc282cbd494cp-1l +0x1.2fb62c86c34c4a78p+3l +0x1.5d3284cbaa6874cp-1l +0x1.d7ec63bb0c195b3p+1l +-0x1.bf30cae0543685e4p+2l +0x1.50110e87dd2acfp+1l +0x1.303f3b4c06d05d9p+3l +0x1.0005c20b0a013368p+3l +0x1.269ac3086fd1e3ep+3l +0x1.ccc200a070d76p+2l +-0x1.ab2984a5ba30ddep+2l +0x1.05bda482442163ccp+3l +-0x1.aca2410d02a70dap-1l +0x1.9acb4ace85a1c108p+2l +-0x1.9713b1e496721cfp+1l +-0x1.1fac392ebf3c4316p+3l +-0x1.d500a5eb3b37725cp+2l +0x1.b10803c7cfba934p-1l +0x1.e4e0da1d4fc40788p+2l +-0x1.d582953beed93738p+1l +-0x1.cb20d44974a921b4p+2l +0x1.2becf58983cde2p-3l +-0x1.181938f703525d3p+2l +0x1.05a62ef5285d819cp+2l +0x1.215428be91005318p+2l +0x1.bc943e2de4643db8p+1l +0x1.1ef991db3164e258p+2l +0x1.9a11733c6e7f0288p+2l +0x1.7f7a31af9dfa7b78p+2l +-0x1.eb83717b9e590d98p+1l +-0x1.dd275539027c9364p+2l +-0x1.121d2e6c48e321p+2l +-0x1.16335eb55946394ep+3l +0x1.b25ed5721f917d48p+2l +0x1.acdc9d4f4c6a2a7p+2l +0x1.9c17298383879cb8p+2l +-0x1.06c0a469a7b3d4cep+3l +0x1.4a2784e0866ad04p+0l +0x1.b2f86175e491a94p+2l +-0x1.5a0efd32de3d49cp+2l +-0x1.caee58ed27798cep-1l +-0x1.080c394be4c93a2p+1l +0x1.9d8eda813d1604p-5l +-0x1.7a56f17a687d819cp+2l +-0x1.90d3ce2a0d4a2bd8p+1l +0x1.d6d9a69e1d61ee2p-1l +-0x1.bcafd1cab992786cp+2l +-0x1.e9596fb61dd8e118p+2l +0x1.76e5acd280e8254p-1l +-0x1.b231fe826949035cp+2l +0x1.36f9e752f5ef551p+1l +-0x1.9ba8e1b5ff1aff4p+2l +-0x1.13b605316a459c1cp+1l +0x1.c4563c920875cc18p+2l +-0x1.db261127d316b868p+1l +0x1.f84cbfab8e3e87fp+2l +-0x1.958f6ee2556b48dp+2l +-0x1.11c368f6f0134e64p+2l +0x1.5d765b8020eff56p-1l +-0x1.d78d93cf69ba1c64p+2l +-0x1.1646d8c8ab7aedfcp+2l +0x1.944e53e265368c5p+1l +0x1.337f97e427b2c698p+1l +-0x1.0ee186a16907511cp+2l +-0x1.8e4c6350b691802p+1l +-0x1.9d83332006d7381p+0l +0x1.f17f5e27fd952f3p+2l +0x1.092ffff97fadc79p+3l +0x1.38d112f031bee00cp+2l +0x1.2a34380200420bep+2l +-0x1.d7b3edac5817ab88p+1l +0x1.d7bc196f339e5068p+2l +0x1.448032d4229b5e04p+2l +-0x1.2a4e435a2afdb34ep+3l +-0x1.b0cddef58df775b8p+1l +-0x1.5d0afe9056f985cp+0l +0x1.250dfc5b93041c08p+3l +-0x1.757da5f57b8c0a44p+2l +-0x1.751d9e3ff11652p-4l +-0x1.1c2078930e749bcp-1l +-0x1.fe6b4ec84b4a40b6p+2l +-0x1.997efffddaf8ada8p+2l +-0x1.f795ba692e2093acp+2l +-0x1.c88d12fc37ffe208p+2l +-0x1.43a53bef954628aap+2l +0x1.de776d19a286bb8p-3l +0x1.dd7be8ee602c51bp+2l +-0x1.2b2c4f7acf6707b8p+2l +0x1.b9fc6ec4626d643p+1l +0x1.3f8ecb24d4a8d578p+2l +0x1.d81ffede4da75dcp+1l +-0x1.ae3b082796ed39b4p+2l +-0x1.4579b82e2647eea8p+2l +0x1.a0f13db4e190a56p-1l +-0x1.845dbd61b2cd3566p+2l +0x1.db010cc7884f14dp+1l +-0x1.545bed856e604fa8p+2l +0x1.8848c528b2ac791p+2l +0x1.6ff743db80dd0b4p-1l +-0x1.0a31dae0e3e0cab4p+3l +0x1.dd2b87ca514b208p-3l +0x1.e50cf26e835cfd2p-1l +-0x1.d8a2204c9bc27224p+2l +-0x1.3c2c5e5d5910bd42p+3l +-0x1.ac701821499797dp+2l +-0x1.eff66b74059aa2aap+2l +-0x1.1417314c2b35a64cp+3l +0x1.e7d7f658e028664p+1l +0x1.0f447041460a1dccp+3l +-0x1.aef6aa7a737a169p+0l +-0x1.7577a4e455d99b94p+2l +0x1.fe213dd581a5cf28p+2l +-0x1.be97aebbd9b8d288p+2l +0x1.cf8cdbb6815299ap+1l +-0x1.569fc518ed44a7e2p+2l +-0x1.2dd5f460c33a880cp+1l +0x1.2cf2d5079b631ddp+3l +0x1.dd9a8cea6ec239p-4l +-0x1.7bc7ad5066de3938p+1l +-0x1.b16b002a76ce77p-2l +0x1.8bbacfb463be6928p+1l +-0x1.fdd185899dda686p+0l +-0x1.6e81c6861fd43034p+2l +-0x1.7c4efd5875b60a98p+2l +0x1.bcf2549f9bf9375p+2l +0x1.bd8899a88425616p+0l +0x1.636209b5a92d87d8p+1l +-0x1.69eb096c0b42c598p+2l +0x1.c821a82e7282c808p+1l +0x1.12482cd19df491cp+0l +0x1.024091708e2adadcp+3l +0x1.2829a98226212df8p+2l +0x1.b3b1084744747b8p+1l +-0x1.c4a554a7c86a691ap+2l +0x1.0d3543a7208c0e18p+2l +0x1.b4ef8862c1b56b48p+1l +0x1.47bcefb630ba9cf8p+2l +0x1.f89f71d7c142fap-3l +0x1.b4402ca4d014f718p+1l +0x1.565f47630e95292p-1l +-0x1.ac0f9dd3a2f5fb8p-2l +0x1.536e16001074268p-1l +0x1.3033f1cdebbbfa58p+3l +0x1.b3687b960ce3fb1p+2l +-0x1.f2e3d99dad555cp-1l +0x1.2e7e71a495f4a0dp+2l +0x1.a8a58472f27d84cp-2l +-0x1.24c60111af2ac6p-5l +-0x1.e57c0cc7e7431812p+2l +0x1.46b2e56621f82e6p-1l +0x1.ad81e81333d72f78p+1l +-0x1.5e3331e54eafb1ecp+1l +-0x1.fc72c7c9e12c2d7cp+2l +0x1.51589b244c66d408p+2l +-0x1.370113ade2575f4ep+2l +-0x1.1067a189494e7a1ap+3l +-0x1.b5ce9143e00ba1cp+0l +-0x1.097b18eac5d841f8p+3l +0x1.fbb187564d9d6a3p+2l +0x1.7ae8c777ea5f275p+0l +0x1.7fc60f6d3d28072p-1l +0x1.fd9312cc8dca8edp+2l +-0x1.c1b3c854234522ep+2l +0x1.e72f953d0a4ba4e8p+2l +0x1.78167ea0cafe5328p+2l +-0x1.faa7575fd53e38cp+0l +0x1.1227bd27c1c7a1fp+3l +-0x1.03f1561a5bb0a8f8p+2l +0x1.0c5c7fa1c4fc89bp+3l +0x1.535362b33b0606ap+2l +-0x1.1f451d72396ea7cap+3l +0x1.fe19b2aea9bdac5p+2l +-0x1.a7803f8ba3fcc4p-2l +-0x1.035b2485848edp-2l +0x1.6f323500c53b42c8p+1l +-0x1.2cf86635f125bf18p+2l +0x1.59e2453f9086bep+2l +-0x1.8b0869bdd099487p+1l +0x1.d72169c2b4c71ap-2l +0x1.d7d41622e65127ep+2l +0x1.2bf7cf80057df3e4p+3l +0x1.4fe78019918017bp+2l +0x1.190857657014b9ap+0l +-0x1.1fcd86c4f1004d34p+3l +-0x1.1a521ed1e3db87eap+3l +-0x1.30619a0869df0522p+2l +0x1.9f07a57401581bp-4l +-0x1.2e9c1180841184b8p+1l +0x1.e1d8212c45242bc8p+1l +-0x1.bd536f11349b4afp+1l +-0x1.0ea6b0f854cff35p+2l +-0x1.02a8cce3ddf7e58ap+3l +-0x1.2d9a7b97a7965676p+3l +-0x1.f9df01e8141bd004p+1l +-0x1.bb17bd6ee28cdd8p-1l +0x1.ecda03107d093eep+2l +0x1.18c73022d2d764ccp+2l +-0x1.f52ade79328bd05p+1l +-0x1.21945ff3c8192424p+3l +0x1.967f5b88b65619ap+2l +-0x1.dabb785b74e98f6p+0l +-0x1.2c6dd0f7e84f618p+0l +0x1.48a3d15ed427069p+2l +0x1.13652e71c8e4b3b4p+3l +0x1.0eaf34ee7b712fap+0l +0x1.c3b2daf4c28d31bp+0l +-0x1.428134bb231b4446p+2l +-0x1.69617bd7a32694fp+2l +-0x1.87a1f3e364aded88p+1l +-0x1.9dc4cf7adeae3914p+2l +-0x1.5f9c1c6ca67ebep+2l +0x1.794e71eb9fa9d884p+2l +0x1.fd0011380488fe58p+2l +-0x1.512b3229657452p-3l +0x1.00ec4f75b15779fp+2l +0x1.a1898f99805fb1p+2l +-0x1.62528abfe7ab39p+0l +0x1.62a63bf7387fab4p+2l +0x1.7e442efe24d2734p+1l +-0x1.dc5aa9032b60bb68p+1l +0x1.c493f99d5b83981p+1l +-0x1.8eb0166508ff708p-3l +-0x1.af618a87657c7d8cp+2l +-0x1.b22aad922c3c5868p+2l +-0x1.cb9b741410a463p+0l +-0x1.7ec2b1d5baacc8p+0l +0x1.112f01dbeac0999p+1l +0x1.1dc57a97d2f79994p+3l +0x1.d9f52ceae81bace8p+2l +-0x1.37d953d9974f9082p+3l +-0x1.14b904ec2257f2ep-1l +0x1.49c06199d695fc54p+2l +0x1.d1ee0f46a19513cp+2l +-0x1.0809acd9b861caaap+3l +0x1.663f7285506a27dp+0l +0x1.0ae55707429d511p+1l +0x1.57c0c150464618a8p+1l +0x1.f110471afccd825p+2l +-0x1.de2cecd4d85e666p+1l +-0x1.49c5b5053fb731acp+2l +-0x1.d4a48992d685a936p+2l +0x1.cbd4aabd51058e48p+2l +0x1.2b9cd3b7ed2eeedp+1l +0x1.753d43672584ceep+0l +-0x1.8c9bde42cfe2ae54p+1l +-0x1.c817c79b1249beep-1l +-0x1.aba3e8a654cc03e8p+2l +0x1.2e06ed606674806p+3l +0x1.4d1563fbe883d138p+1l +-0x1.ec8b43e6b12b7478p+2l +-0x1.de735128a55e9ce8p+2l +-0x1.e0aa63afd857247p+0l +-0x1.8a61f0f9aaba77ep+2l +-0x1.f2d5dd5a362d358p-1l +0x1.281c7bf1ff8f2978p+3l +0x1.cfccf00333a55138p+1l +0x1.936eb275b6509eap+1l +-0x1.73229bf4a5755d4cp+1l +-0x1.8c4e3b34e32901c4p+2l +-0x1.38ae748d01eacdbp+0l +0x1.2917dceee47264p+2l +0x1.c660d7fe501909b8p+2l +-0x1.ca7c5a46983d386p-1l +-0x1.c5f05b81502d11p+1l +-0x1.56e941ca08827d8cp+2l +-0x1.6081bc0ed72a4d8p+2l +-0x1.148c19ce1bfcebc8p+2l +-0x1.008529b7ab4a2642p+3l +0x1.db1ac03dbd3d8758p+2l +0x1.f014639fc5421p+2l +-0x1.336514d6adee196p+2l +-0x1.09c74e61daac94bap+3l +0x1.b994ee6b9c4b85b8p+1l +0x1.02f715dfa2435ec8p+3l +0x1.46f3710d981ad09p+1l +-0x1.bd0a086b0a389e3p+1l +-0x1.0eb2e64673586916p+3l +0x1.adb841087261638p+2l +-0x1.aa5b7265e1d0cebcp+2l +0x1.d9c0e35dd5b9362p+1l +0x1.19643f2062cb0558p+2l +-0x1.16bdd8a578384d58p+2l +0x1.09d24ed36d3ed9e8p+3l +-0x1.66db6bfbb88fb458p+1l +-0x1.dbaac6191de075ep-1l +0x1.774a38297764db84p+2l +-0x1.755336bf5bf5e3c4p+1l +-0x1.5411b54a6984d5dp+1l +-0x1.bbe8381cd853953p+0l +0x1.8f24cb28c238774p+2l +-0x1.ace2f6530cfe5ap-3l +0x1.4915eb62cdafb9d8p+2l +0x1.a39457a2db47396p+0l +-0x1.0d27aee9f8b545c4p+2l +-0x1.96b3a51cbe9aef54p+2l +-0x1.20e206c1d398458p+0l +-0x1.28d4e3eaf2427d4p-2l +-0x1.2524be13a10445cep+3l +0x1.2b1c91e5fe21a778p+2l +0x1.3570dfe170b2e9a4p+3l +0x1.1328dacf9c5f6e58p+3l +-0x1.e5a3b37ad3b30dc6p+2l +0x1.1e2f5a2216c45f98p+3l +0x1.57fb010365d538p-3l +-0x1.09e43365625638ecp+3l +0x1.11bd2a96b6e21bp-2l +-0x1.f334dff953126fep+0l +-0x1.43856069d03d735ep+2l +0x1.03d1bf9287d80dep+1l +-0x1.2432548ea35080f8p+3l +0x1.1a7557c43a144f68p+1l +-0x1.933720c486e8b098p+1l +-0x1.11567aaae2ff57ap+3l +-0x1.092bd1ad0b9c6c32p+3l +0x1.fd6ef6f3670c7fcp+1l +-0x1.593830f0edf58e34p+1l +0x1.68190ed9fc9edfecp+2l +-0x1.936e5b2700f79ddap+2l +0x1.b447e0b06a4555c8p+1l +-0x1.25365be442f1b434p+2l +0x1.3f5a26dc52dc813cp+3l +-0x1.44c9c9d22dbf793p+2l +-0x1.519151213026518p+0l +0x1.285a28892fa918ecp+3l +-0x1.2cdf1bd2270d1f88p+2l +0x1.c4341fddf096a19p+2l +0x1.292df2fa474c2b6p+2l +-0x1.01c745e96e41fe6p+1l +-0x1.3c7262bb38370982p+2l +0x1.542d4880dc0609p+0l +0x1.9208acc6c3b1793p+0l +0x1.2b97d27b7628e4ecp+2l +-0x1.93dc44f723dfbfap+1l +-0x1.6d0f4e0ad3ef96p-4l +0x1.6292aa3124daf6dp+1l +0x1.04111377a83b69d4p+3l +-0x1.2a2600742df2965p+3l +-0x1.423ee6c53d4c40fp+1l +-0x1.033ca69b08f17e6ep+3l +-0x1.6b01e441f6d6c0bap+2l +-0x1.0177f41b2db53dbap+2l +0x1.74de655eab7ef2p+1l +-0x1.6585b7026d231fbp+0l +-0x1.29608c0d0ce0e6d8p+1l +-0x1.effceee4766c28bap+2l +-0x1.61438c42c8e9149cp+2l +0x1.2b72a672a4adefap+0l +-0x1.80f421b90678e78p-2l +0x1.59ab4ed5858b948p+0l +-0x1.35433d878f314caap+2l +0x1.37e5db07d1b10f7p+3l +0x1.f23c369e83e8b2ep-1l +0x1.7b55b17bbe0eebd8p+2l +-0x1.340548c18fa31b5p+0l +-0x1.ae5fc0a436cc37dcp+2l +0x1.09f958e6f40609bcp+2l +0x1.b800bf38b40b579p+2l +-0x1.2988356eb3df568p-2l +0x1.f6eb6f421ebea9ap+2l +0x1.293afc5862bd9a84p+3l +0x1.13ab2034e91386e4p+3l +-0x1.d890ac5be58230f4p+2l +0x1.1f9bb34079d07c4p+1l +0x1.2b2096cebdd7c3cp+3l +-0x1.2cb901ce63c1d3dp+1l +-0x1.d59ca1e539ef5cb8p+1l +-0x1.6f4dd551433dcf0cp+1l +-0x1.aab0a50455d0aa38p+2l +-0x1.675869550e5cc6e4p+2l +0x1.47ca2c5c1c22703cp+2l +0x1.1c437c52a02eb248p+1l +0x1.85200c408cd1fp+0l +-0x1.872dff034b008d7p+1l +-0x1.7de8ee0a485bf5a6p+2l +-0x1.06bd1be769dc951cp+2l +0x1.552e4ee8d81b4e3p+0l +0x1.8d9a7098d713be2p+1l +0x1.2dcc57ec5733a2bp+0l +-0x1.be45aa299cd303a4p+1l +0x1.6861fd8969de5dc8p+1l +-0x1.1b217198dc78cb88p+3l +-0x1.29b210f62c55c368p+1l +-0x1.3e3f2da052f9855ap+2l +-0x1.a1311fce6788024p-1l +-0x1.c70ed29bc9e83ccp+2l +-0x1.1168ad8650f058f8p+2l +0x1.27218831bdb4af3cp+3l +-0x1.321f2fbf85e3b646p+3l +0x1.8f71f682bdf06e58p+2l +0x1.9cdf1b9bb772078p+1l +0x1.86469e7247877e4p+2l +0x1.9c93efaf226e574p-1l +0x1.9e7dde158dff3fp+2l +0x1.e5790055340944e8p+2l +0x1.9dd88a00f9ff876p-1l +0x1.38c327063f8b6d18p+1l +0x1.13af8e86498ee81p+3l +-0x1.7d41e39c23bfa928p+2l +-0x1.330bb2d70257d82p+3l +-0x1.daa358f7358dabb2p+2l +-0x1.f681c01c030d74d4p+2l +-0x1.9c4c5f13bd2a4818p+2l +0x1.d57743abdacc943p+2l +0x1.51164d812d6975d8p+1l +-0x1.20e7027af5d623p+0l +0x1.fb341bc9eb2dd26p+0l +0x1.b9a5009bfdcad9p+0l +-0x1.95369638a23fe42p+0l +-0x1.3ff760db08462b4p+3l +-0x1.290d888cd634c4d8p+2l +0x1.39dbb183260c7d2cp+3l +-0x1.d2251b0d3396f3bcp+1l +0x1.164a741a87e1ab6p+3l +-0x1.ee5157e4f616bb5p+1l +0x1.7eefde481c7639cp-2l +-0x1.02dc5cbbf5c14c38p+1l +0x1.efdb1c39658d0308p+2l +0x1.65e55524006bd328p+2l +0x1.5d5fd107dee15c4cp+2l +-0x1.1d3dcadd2988e96ap+3l +0x1.a5674afbd96afdp+2l +-0x1.7d632522bfc25e8p-1l +-0x1.908e51efbc36173p+2l +-0x1.3206c9b681046042p+3l +0x1.513c441f7e2334dp+2l +-0x1.1996451edc2184c4p+2l +0x1.b38b6a1575304708p+1l +-0x1.30e781af07304778p+3l +0x1.862e3fa5742869a8p+2l +-0x1.30a2c3422d22247p+2l +0x1.8e2f90affded13p+0l +0x1.60418360f7b1ad64p+2l +0x1.c6e3f76d27560e38p+1l +-0x1.03603a32e7b4933p+3l +0x1.2ec29a4dbd33a2d4p+2l +0x1.3e3a60705820b548p+1l +0x1.09563aa03f541b9cp+3l +0x1.71cceb27c30f085p+2l +-0x1.b6c00d1a9799d8fp+2l +0x1.784f05a55a05a4f8p+1l +0x1.e809000bed00b91p+2l +-0x1.3d57aff6c2fe620cp+3l +-0x1.37698735e1211aecp+3l +0x1.2a6b6d426fb679c4p+2l +-0x1.f9a2aaf6abb87168p+1l +-0x1.3cf089b12bea3c6p+0l +0x1.15354c723d55720cp+3l +-0x1.9a237362f75c1016p+2l +-0x1.891ba0331c95d67p+0l +0x1.933de74faece1b78p+2l +0x1.2cbbcd09e7c27f4p+3l +-0x1.9a6ebf001089bf5p+2l +0x1.2922ef92bc3372a4p+3l +0x1.70e05231d7f1ee38p+2l +-0x1.fad9f3c83ec350f8p+2l +0x1.63e93ac5b5c3ef8p+0l +-0x1.f2129f03426e579ap+2l +-0x1.4bb443206203c62p+0l +0x1.03a0c42d46716878p+2l +0x1.14e4596e667e94cp+3l +-0x1.bd08244c4523788p+1l +-0x1.978ac90b3b0da028p+2l +-0x1.a2ec4ba6d93924e6p+2l +0x1.6d029fe3698c8c74p+2l +0x1.4c738e3e199603ep+1l +-0x1.34507bf89caa607cp+1l +-0x1.0f40e718176d92p+1l +0x1.ec70557e293d3a4p+0l +-0x1.8154d4e79070fc78p+1l +-0x1.91135dcde581b71p+0l +-0x1.3f25db28d50211f4p+3l +0x1.187fb934e2fc50cp+2l +0x1.53172ed11433e18p+1l +0x1.1ab62fd78574e57p+1l +-0x1.a699cc6fed6215p+0l +-0x1.054be46c696fdc3cp+3l +-0x1.3df135a5d4d6fccep+3l +0x1.3b9abc0a75dd395p+3l +-0x1.71309b99f107788ep+2l +0x1.0aa96a60e9aa1ca8p+3l +-0x1.ca5a69a0f99603cp-1l +0x1.3349458cd2e99f1p+3l +-0x1.000c16e5308da70ap+3l +-0x1.5d87ddc473f6f32cp+2l +-0x1.496e40ce61b01c82p+2l +-0x1.38c34a938d00b652p+3l +-0x1.f68e6d79de6db324p+1l +-0x1.28fecca2c3f4f858p+3l +0x1.828ce124be53f78p+1l +0x1.17cbf7ae9a2f4a7p+3l +0x1.ccca89e567df2b88p+2l +0x1.14235d293d3e84c4p+2l +0x1.c9395b43eefe0078p+2l +-0x1.e742ea22dbcc538ap+2l +-0x1.5324a12912147b2p+1l +-0x1.375bd290cff89b6cp+2l +0x1.a9633c2ce2c4d98p-3l +0x1.894be1bfe0220d98p+2l +-0x1.8997f35e1562828cp+2l +0x1.8cb0f689e6751bcp+2l +0x1.4721a726072644a8p+2l +0x1.185ececd6b3f9dbp+2l +-0x1.08a2d97429d55a5ap+3l +-0x1.0f715ff1af0b10c6p+3l +0x1.e6583c5f7f93319p+2l +-0x1.00c09ff57791c046p+3l +0x1.238466a4de3e36ecp+3l +-0x1.a18d61615779738p-3l +0x1.696d1c905c0b09bp+1l +0x1.07b81ada25ab65f8p+1l +0x1.3ccf20abcd549af8p+1l +0x1.fe5350bea3b6b6ap+2l +-0x1.be5eb7bd7a8e4ddp+0l +0x1.114d7c2cc6ec6e98p+3l +0x1.75ae6a62162a622p+2l +-0x1.574b06b59d756c08p+2l +0x1.3867a0061f60bbcp+2l +0x1.9356d91ed07def78p+2l +0x1.4b0c35e6cba93a2p+2l +-0x1.12fab525fb50715ep+2l +0x1.26793b0c9c209f6p+2l +0x1.eb5668ad0e15d71p+1l +0x1.286ea4b95b40e388p+2l +0x1.1e4c636565744e4p+2l +-0x1.9c128f53c3ce28d8p+1l +0x1.7ec4ced37e904a1p+2l +0x1.7fe84f7e7fd0824p+2l +-0x1.04d8847afde0e902p+3l +-0x1.6e32a39112af123cp+2l +-0x1.cbe0dc3c4dfc5c1p+1l +0x1.a426acd914a11cp+0l +-0x1.28e0084c66e6a57p+3l +0x1.77c3e1535866fddp+0l +0x1.dbad40266fbf4bbp+1l +0x1.06dbd580e34eda9p+1l +-0x1.3930dc8dd62ab2c4p+3l +-0x1.f75e11936efe1f4ap+2l +0x1.6e2cd5b75300378cp+2l +-0x1.7b2b6748568b1f2p-1l +0x1.b08ce51e9cb0aap-2l +0x1.b288fb151cb2542p+1l +0x1.78f8881c651b18fp+1l +0x1.5099630932614904p+2l +-0x1.4db3120a358df488p+2l +-0x1.3a646ff8fd878f1p+0l +-0x1.27d432ab0ea20744p+2l +0x1.25bbe1a9770fdf94p+2l +-0x1.0ff44c7349094a94p+1l +-0x1.55fd18082a9c507p+0l +-0x1.a40303f0fc831abp+2l +-0x1.0dc0abc1c876cfccp+3l +-0x1.2eee35b56c4d084ep+3l +0x1.291dbd62fe5b4e6p+1l +0x1.148ec7f57c1203p-2l +0x1.440ad26a29f944cp+1l +0x1.15c17bc2e30eafp+3l +0x1.61ed20f2f8917dcp-2l +0x1.c222265f403d215p+2l +-0x1.ab7d409aac332672p+2l +0x1.b1a35d545020ffp+0l +0x1.3edadd5573482ef8p+1l +-0x1.ea62f4deb1d1ec4p+2l +0x1.0b4210ea1ab3c164p+3l +-0x1.7c70a4adbc8b7bc4p+2l +0x1.210da0af7bb8663cp+3l +-0x1.ae89e42967b86a7p+0l +-0x1.0231e4660e7771aep+3l +0x1.12cf2364d3aa935cp+3l +-0x1.eab245dd56b54f8cp+2l +-0x1.224a0d61291392aap+3l +0x1.23f2d9fae79b9318p+3l +0x1.828fdbc955c0d91p+2l +-0x1.2bffe9a85e06de42p+3l +0x1.cd766d8488cd28p+2l +0x1.2621f8d5774a237p+3l +0x1.39601d88aa65e858p+3l +0x1.7b9a8056a6b898ecp+2l +0x1.264209636d11a528p+3l +-0x1.1e6c7c11ea603554p+3l +-0x1.3fd2058969413fap+3l +0x1.aea2fbb41cff82fp+0l +0x1.91681ccf3196398p+2l +-0x1.72d7c25943b8e78p-3l +0x1.3d8dd9bf27fa6f8cp+2l +0x1.5d43b1244ed977fcp+2l +-0x1.c13490d5291c65d4p+1l +0x1.671d9640ecb6fb18p+2l +0x1.11016109b1f1a684p+3l +0x1.6aaabd66c77abfap+0l +-0x1.5768338d272cba98p+2l +0x1.795432bbab4f223p+0l +0x1.66eb3923a842bfp-4l +0x1.7acb910e2795bebp+0l +0x1.d06ccd46355e1b4p+2l +-0x1.ed5b72262998455cp+2l +-0x1.8153f12738051bap+2l +0x1.c00ecc83cba858p-3l +0x1.03e2162a21226a88p+3l +0x1.bf5fb0484d3c9da8p+1l +-0x1.5ffb251561b48c1cp+1l +0x1.a6760a4bb7976ccp+2l +-0x1.71746c4ec39b3b64p+1l |