benchtests: Add "workload" traces for sin

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

diff --git a/benchtests/sin-inputs b/benchtests/sin-inputs
index 754f8d909b99a7ad0ce2215861469ada94fe7de0..3e7cc3d00fc7197686dc1068e785ee3d80b386b6 100644 (file)
--- a/benchtests/sin-inputs
+++ b/benchtests/sin-inputs
@@ -2911,3 +2911,2007 @@
 -0x1.082555c869c25p980
 -0x1.1b1e726bdbf7ep429
 0x1.f475c1183eeb5p844
+# Random inputs in [-10,10]
+## name: workload-random.wrf
+-0x8.7887613684358p+0
+0x5.3129833cbfad8p+0
+0x5.84ded29b387p-4
+0x8.ca85c9d1e203p+0
+0x1.5f508827b46d8p+0
+0x9.d267e1834fafp+0
+-0x9.e1247e5d5254p+0
+0x6.3f74bfd6db69p+0
+0x7.874fe18cefe6p+0
+0x4.7603d47b6e8p-4
+-0x1.2f822fccda96p+0
+-0x2.de5656c259ad8p+0
+0x2.c4ce4c22dd34p+0
+0x5.24f82b1ca1908p+0
+0x9.da1a4e66818p+0
+0x7.2c750b974b98p+0
+0x2.f4ee4942674dp+0
+-0x5.90ad40a2f022p+0
+0x8.67449f6adb6fp+0
+-0x7.abeba0325591p+0
+-0x9.bd157a15243dp+0
+0x9.38eaa808e334p+0
+-0x9.3d90705d1a88p+0
+-0x3.c6a0947cb3dp-4
+0xf.8dea751a2adp-4
+0x7.c90a647629edp+0
+-0x6.a32d95b0b3b1p+0
+0x6.e14188c02ecfp+0
+-0x8.6560954ddc25p+0
+-0x8.1f323bae0955p+0
+0x5.b876866dd608p+0
+-0x8.bb002c14aa19p+0
+0x9.b6411c587608p-4
+-0x2.ae29de28b11dp+0
+-0x2.7322876492d8cp+0
+-0xc.6689346c39c8p-4
+-0x2.742b65f5d98e4p+0
+-0x6.a6839144bd7p-4
+0x8.641532da45fp+0
+-0x2.410a5a6473858p+0
+-0x6.d4228d3acfe1cp+0
+-0x7.4a2321f654538p+0
+0x4.b6f0d76f29d8p+0
+0x4.2f7b7f00c8ad8p+0
+-0x6.e33acdba46dp+0
+0x5.db9ca875b9e3p+0
+0x5.7cba6bc66a66p+0
+-0x1.61e6fc772cc4p+0
+0x2.576a712dace68p+0
+0xb.ea87570c256p-4
+0x1.323fa4506e99p+0
+-0xa.c66850b9c218p-4
+0x7.4dbfe90a1729p+0
+0xf.e345ac23311p-4
+0x9.82a3b7b62328p+0
+-0x7.8e05402bd9f68p+0
+-0x6.275bf87dd9128p+0
+-0x6.10d51205214dcp+0
+0x1.1a5f1342a8p+0
+0x9.8d79c56157c4p+0
+-0x4.ee60027cf89cp+0
+-0x5.849103113ad0cp+0
+-0x5.02a94964d61ecp+0
+0x5.6fec2f204808p+0
+0x7.4071765136e1p+0
+0x6.4e7001fa1f92p+0
+0xe.63ecf109ee4p-4
+-0x8.91c4523ac9528p+0
+0x5.9b9955a28493p+0
+0x5.7faa5080ea73p+0
+0x6.cd14cbe523aep+0
+-0x3.c3bc557b94ddcp+0
+-0x4.9e7669a5b2a84p+0
+0x1.0c8306596bbc8p+0
+-0x5.eea5a6d91ffp+0
+0x4.f64852449473p+0
+-0x7.6ee06cf32e068p+0
+0x4.a8dec731fd828p+0
+0x7.c932233d8305p+0
+0x7.281eacc81977p+0
+0x6.608ec058cb23p+0
+0x6.194d04ba7c2cp+0
+-0x8.2c797933272p-4
+0x5.3db7ee70885fp+0
+0x7.75d4ac7d1a18p+0
+-0x8.cd08f4ef1cp-4
+0x2.4394c3fc0319p+0
+-0x4.60b9d5fdccep-4
+-0x8.48be49b11948p+0
+-0xd.c3a989a13798p-4
+0x2.ed9e6f189fa68p+0
+0x1.a682bf34e2038p+0
+0x9.4cea41101067p+0
+0x3.5d693bb70c84p+0
+-0x8.6b9b1da00bddp+0
+-0x5.553727bba8a3p+0
+0x3.c7a02ab6287bp+0
+-0x4.94d1c0dcc9cp-4
+0x2.176c2fb8256a8p+0
+0x8.b8dc1b2fd082p+0
+0x4.a95307a9b5d98p+0
+-0x7.0b36a7cec7ab8p+0
+-0x6.879f59ddf0688p+0
+-0x6.d01ce9fa7cec8p+0
+0x7.7cb42522cc24p+0
+0x9.d987c585da2dp+0
+-0x7.4df437e0e7d68p+0
+0x4.86ccb3271baep+0
+0x6.2157ba8414ffp+0
+0x2.2e606c0d6998p+0
+-0x1.1663b488d7aep+0
+0x8.17c1ad33eaap-4
+0x1.bbeb4ab4b2eb8p+0
+-0x5.e4c34a4fa1a38p+0
+-0x5.621dab8aa1148p+0
+0x5.54f042082a8ap+0
+-0x4.9afecb76a9ddcp+0
+-0x3.4dfca36f85c4p+0
+-0x7.b044bc2e6e32p+0
+-0x7.4df38a048cadp+0
+-0x5.e5bdc8f94ec88p+0
+0x7.3919e1b65fedp+0
+-0x6.1738f5842f8f8p+0
+0x2.4f58bdb9177c8p+0
+-0x3.cc644bcd2cbf8p+0
+-0x4.523dd195a4754p+0
+0x8.fddab17c1c33p+0
+0x2.1469be71f80dp+0
+0x6.99bf36c60068p+0
+-0x3.2749ca21fa1d8p+0
+-0x8.34a97946970b8p+0
+0x7.11a44ee40e68p-4
+0x8.0fa9c840377dp+0
+0x4.9067b87afa75p+0
+0x4.a4f572d10e72p+0
+-0x3.f7b3ca0188168p+0
+-0x7.3aa73cb307764p+0
+0x1.9bad1350a9b3p+0
+-0x2.6d53960b0b2d4p+0
+0x6.4c5fd6396a54p+0
+0x8.5e4e76d368fp+0
+-0x3.b3be91e3b9e5cp+0
+-0x9.78b1d0aefa398p+0
+0x4.bdffec6989b08p+0
+0x9.d27a2a9bb555p+0
+0x8.0d978aec89ddp+0
+-0x4.a5689011c8ad8p+0
+-0x2.469ab24ac797cp+0
+-0x6.176a91462ae54p+0
+0x5.af1476a5212dp+0
+-0x5.4d71d7cc4c1ccp+0
+-0x4.cfc90c1d320fcp+0
+-0x6.b05e30819297p+0
+0x3.84ce45cd403fp+0
+0x2.01065705f8d7p+0
+0x2.b9e8097b2a4ep+0
+0x6.69f46441514dp+0
+0x5.f2ece0e2cf7p+0
+0x2.aaf0387c2264p+0
+-0x5.2724943169628p+0
+0x6.b349b2c5ff9fp+0
+0x4.b7006853868fp+0
+-0x1.58376c41d665p+0
+0x3.e01353a11d1c8p+0
+0x5.d3591146bad4p+0
+-0x2.9b88dc5d5575p+0
+0x4.f594a878741ep+0
+-0x8.48dda08264ecp+0
+-0xc.187edfecd058p-4
+0x3.3bafc7a571658p+0
+0x8.f51c4bb2f78fp+0
+-0x7.3114b95338c1p+0
+0x8.4fa80f3e416fp+0
+0x6.8d5a69a43c8p-4
+-0x4.6c9e1066a7d84p+0
+-0x4.a204c73077ce8p+0
+0x8.14693bb59af7p+0
+-0x6.f0b94025a7928p+0
+-0x1.fd5d81172f96p+0
+0x4.304ad196541e8p+0
+-0x6.218f0208c4e3p+0
+-0x5.03c2a814e9afp+0
+-0xb.3160aae06bcp-4
+0x3.3de902676554p+0
+0x2.74eb36f19f7p+0
+-0x7.9709016b98634p+0
+0x3.dd041914dd798p+0
+-0x2.1b6ab628cf068p+0
+-0x1.b285d5455ef28p+0
+-0x3.fa62d419fef58p+0
+0x5.20031a7594f88p+0
+-0x3.3126b2cf851p-4
+-0x5.3cda1b247fe1p+0
+-0x7.ee5df0b72bd94p+0
+0x6.20eff3439ad2p+0
+-0x4.909a3360477c8p+0
+0x7.eb5c0ce46153p+0
+0x3.324cf578d2bap+0
+-0x6.01315eb644fe8p+0
+-0x7.61fb9f187aap+0
+0x1.624712b97a418p+0
+0xe.16261f974c7p-4
+0x6.5512299c2dc8p+0
+0x9.51768e42f308p+0
+0x2.31b62e1f916d8p+0
+-0x5.379407fdc9af8p+0
+0x4.d9a0f1ea8bbe8p+0
+-0x5.7b5faa6bb53bp+0
+0x4.408fa2515765p+0
+-0x5.a283aec9ea288p+0
+0x3.a1d1b04b8ccbp+0
+-0x4.be1908366d258p+0
+-0x7.97bfa5d9c0d04p+0
+-0x3.ee3fc4f96a058p+0
+-0x7.8098dda4cd3f8p+0
+-0x4.e15fd4369c588p+0
+-0x6.73592e2dc07b4p+0
+0x5.56d9ab837a79p+0
+0x3.90a50ea4a9a08p+0
+-0x4.c57eed9c83538p+0
+-0xd.a6a6ca8e06ep-4
+0x9.73ae5417880bp+0
+0x3.7df196ed38df8p+0
+-0x5.5ae507cf81f08p+0
+-0x8.1aab18131e1b8p+0
+0xe.5f0a7222ce78p-4
+-0x6.af3942d4adc9p+0
+0x6.92598391cap+0
+0x1.85f7977c33aep+0
+0x1.b43410e6a869p+0
+0x5.ad3907bada7ap+0
+-0x7.80663d22263d4p+0
+0x9.779f70f3d1b2p+0
+0x7.a8e7175389f8p-4
+0x1.f38ec6558491p+0
+0x9.949af21b4a7fp+0
+-0x1.6bf63fc8b10fp+0
+0x8.4383123ff3cp+0
+-0x4.512f334a665dp+0
+-0x8.40166c9814c68p+0
+-0x2.2c75bae77a7b8p+0
+-0x5.0759fba146764p+0
+0x2.d84e8f076adbp+0
+-0x9.3b130d2196afp+0
+0x6.4f28e3026d83p+0
+0xf.2fd218ddf808p-4
+0x8.a48de71350cep+0
+-0x2.41feca0a0ef1cp+0
+-0x8.fa67c259b911p+0
+-0x6.9d5841fcdd128p+0
+0x2.d97ef16c86cf8p+0
+0x6.b96d43082a0ep+0
+0x5.58e3b584b81fp+0
+-0x2.6089f89f59f88p+0
+-0x6.72794ba71fb58p+0
+0x3.29b3f7d5d31ep+0
+0x7.b68f787a2fa2p+0
+0x8.673931a03544p+0
+-0x6.314dfde2e526p+0
+-0x8.e5df8869aa81p+0
+-0x3.7656d9dcc9eb8p+0
+0x2.31f5c81b7b3f8p+0
+-0x2.1761210fbcf18p+0
+-0x5.1cf07ca9acebp+0
+-0x6.1d684df0de7cp+0
+-0x4.a2195fa15abfcp+0
+0x1.5ee98277461bp+0
+-0x5.20a25930fa29p+0
+0x2.464b53bf86078p+0
+0x3.c8df5a4c641fp+0
+-0x5.c6d69192319d8p+0
+0x6.736e6b11407ep+0
+0x7.45770a04bc02p+0
+-0x7.c2b515c986c64p+0
+0x4.0597adbe5482p+0
+-0x7.7ae3a9fd35138p+0
+0x1.98afd56f3ce6p+0
+0x6.5f3b8205d0b5p+0
+0x3.d478562175eap+0
+-0x2.2960eef3de8c8p+0
+-0x9.b3bd7a63bbaa8p+0
+-0x7.df797b5ba8124p+0
+0x6.4338448a5f57p+0
+-0x2.7bc8fdbf34c4p+0
+-0x3.3f5e042f7db38p+0
+0xd.17cc5c22b89p-4
+-0x3.89d27f36c3ad8p+0
+0x4.8a79a6e24b2p-4
+-0x2.07b37ef4492ep+0
+-0x3.60138cf723ac8p+0
+-0x6.88f13bf578028p+0
+-0xf.f1bd55ce3a9p-4
+-0x7.40dbc1e6ecdf8p+0
+0x1.a41553e81feep+0
+-0x8.355f786ac145p+0
+-0x2.4fe90b6fc4f1cp+0
+0x8.ebb438a20ddep+0
+0x5.6f1c6732e5a1p+0
+-0x7.8f237fbbcfb8p-4
+0x5.068c6d0e8fdap+0
+-0x1.14b772c42d13p+0
+0x2.c18a986b6234p+0
+0x8.58d99e9a848p-4
+0x2.288f0e1f99278p+0
+0x4.d6fab83a5662p+0
+0x2.0b4467b7fd048p+0
+0x9.013bdbc22fb6p+0
+0x6.911fba6ad406p+0
+-0x9.ca20ef18fb528p+0
+-0x9.5c08cc6dc9adp+0
+0x3.e3422ea2afd8p+0
+0x2.ad49ef7f5e4fp+0
+0x4.ea6825bc0c77p+0
+-0x8.932814da5a7fp+0
+0x6.adc00e5d6e47p+0
+0x1.6a783274bfff8p+0
+-0x2.765e2ee9aea5p+0
+0x5.621d8a9524918p+0
+0x8.337244fe7d2ep+0
+0x2.10581e76b0738p+0
+-0x1.f3c790b916378p+0
+0x5.b125446334168p+0
+0x6.9dd2d59617a2p+0
+0x6.0f6646abeb37p+0
+-0x1.f6121f95f778p+0
+0x4.7e1060cfb7d8p+0
+-0x9.b4c3fe8ca37ep+0
+0x4.5b8726d3cc1ep+0
+0x7.f7789f58569fp+0
+0x1.ec5b5bb72dffp+0
+0x1.6921f43d1ac58p+0
+0x2.053ba6fd5feep+0
+0x3.3397a9e207b68p+0
+0x8.ad419592a96dp+0
+0x1.6de3af260147p+0
+-0x9.91b206b735ap+0
+-0x2.3dc997732488p-4
+-0x1.498a244afe25p+0
+-0x6.d7147fc009948p+0
+-0x8.2ece82373a1bp+0
+0x5.f92af763041ep+0
+0x6.af741a7a675dp+0
+0x8.80bc1bbb40e3p+0
+-0x4.1d3e1584313p-4
+0x3.f454b88e52e78p+0
+0x7.6f8fa262705dp+0
+0x1.660418d97d18p+0
+-0x4.d6bf48fcf0c08p+0
+-0x5.ecbfc5931682cp+0
+-0x4.ed92ab0a9d8p-4
+-0x1.7f6cda2c389p+0
+-0x2.9abd82db0402p+0
+-0x7.40da54aea31bp+0
+0x6.7e8bfb87a6ap+0
+0x4.cc233d994831p+0
+-0x4.a5eaaaa4dccb8p+0
+0x3.18c1861eb35cp+0
+0x4.80b115c28fb68p+0
+-0x4.a304f2ad99018p+0
+-0x5.6fb051c84819p+0
+0x3.ac3cc8480a05p+0
+0x3.2e0ef1fa8bf6p+0
+0x5.a32b6d583e688p+0
+0x8.7ad747db057fp+0
+0x3.9d9ebc20963cp+0
+0x1.578dd3d421a08p+0
+0xb.05e9ff7e7f4p-4
+0x2.7ffc7eea28b5p+0
+0x1.e3519cc1e581p+0
+-0x2.2e13b06a11144p+0
+-0x5.5584c855a3a3p+0
+-0x8.a407419bc9e3p+0
+0x6.d7668c78b78ep+0
+0x6.fea0e87a29fbp+0
+-0x1.48c799ecb821p+0
+-0x2.2d2f33e690344p+0
+0x8.a647004f5859p+0
+0x4.3d809face203p+0
+0x6.c52be9be63ap+0
+-0x2.38d1a1f379648p+0
+-0x7.17bb90145abdp+0
+-0x8.b8a6a439122ep+0
+0x3.f9beb8780ca68p+0
+0x6.4269229c97eap+0
+0x8.0c4fde467bafp+0
+-0x1.cfdf5b4121e6p+0
+0x4.0a8815b8c3dbp+0
+-0x7.aa101d0146acp+0
+0x3.c8cb4122e5p+0
+-0x6.0dccde607ab6p+0
+-0x9.441ef3eb544c8p+0
+-0x5.dba3c8cd59fcp+0
+0x4.2698401d24158p+0
+-0x7.35f3c08995c28p+0
+-0x4.af7b1d1e2e5ap+0
+0x5.64583415d4778p+0
+-0x5.1360ac7e130d8p+0
+-0x4.13504e788c18p+0
+0x4.4c60153920d58p+0
+-0xd.63aa2daa9228p-4
+-0x1.423faebd8135p+0
+-0xa.2a435b6cbd7p-4
+-0x3.93022e098c954p+0
+0x2.e4de733a1516p+0
+0x9.6c9fed55231dp+0
+-0x5.d53d82e0f203cp+0
+0x7.37b106a250ddp+0
+-0x1.6525e8a9ff9d8p+0
+0x8.dfd591e912f3p+0
+0x7.8e019a136a04p+0
+-0x3.d9ce977c0ece4p+0
+-0x7.d7c2577e68cc8p+0
+0x3.32df84f5a92d8p+0
+0x4.81df54f65312p+0
+0x5.8991e83e6affp+0
+-0x7.9e49f1669b0bp+0
+0x9.73646ea120fcp+0
+-0x8.fec840c5f4cd8p+0
+-0x7.6b49480469p-8
+-0x1.d37ba8e275338p+0
+0x8.e3277a84ea35p+0
+0x7.75f59df114a9p+0
+0x6.eb5389b2a6d2p+0
+0x2.33ce43b74c8dp+0
+-0x4.acaf69f9762cp+0
+-0x9.f3be3051a83c8p+0
+-0xb.316cb640a47p-4
+-0x4.d7b6aa403be9p+0
+0x6.a5e27e55cc28p-4
+-0x8.a1ce17f61f61p+0
+-0x5.d22dd45c9d504p+0
+0x5.0015990bc35p+0
+0x9.c56d45e47e65p+0
+-0x6.684bbf379a1cp+0
+-0x9.400a3866bc78p+0
+-0x5.cd09a912dcf38p+0
+-0x8.1b4a6816a467p+0
+-0x3.4791b7e2503a4p+0
+0x6.52934c42d5a8p-4
+-0x5.3f474b92e1668p+0
+-0x6.0e45b66cc303p+0
+-0x1.bbb6b1422fe4p+0
+-0x5.77d9681db5e58p+0
+-0x5.db66fdf516518p+0
+-0x4.b34fc3e648148p+0
+0x1.80a9b5e247b3p+0
+0x6.140e9891d23ep+0
+0x1.507a609cb009p+0
+0x3.50cd678095ce8p+0
+-0x6.9cf603e7a56ep+0
+-0x1.88721f7b2a0f8p+0
+0x9.f6d7274dc088p+0
+-0x5.f3a6ccdaf6774p+0
+-0x5.b3b84e52a299cp+0
+-0x6.6a3fe4d975308p+0
+0x4.9c858e1e98768p+0
+-0x9.fa38e062e3bfp+0
+0x1.3ceb2bb9c886p+0
+-0x4.41183f7203568p+0
+-0x3.56040f52c2808p+0
+0x7.a296b1a80d63p+0
+0x9.f71d755033cp+0
+0x8.2faa48c894f2p+0
+-0x1.2731ca7da6618p+0
+-0x5.fdef14deec1e8p+0
+0x3.47599e606d0d8p+0
+0x3.bf809f1200f68p+0
+-0x3.0f16136b039c8p+0
+-0x5.c4f403f5ea64p+0
+0x4.106850e608c68p+0
+0x5.41b3b2c3cc928p+0
+-0x9.5cdb2f70ff388p+0
+-0x8.80f014aa8befp+0
+0x3.a8609e370a8p+0
+-0x4.f876f92fe8ed8p+0
+0x1.bc459d699882p+0
+0x6.740617ad758ep+0
+-0x7.30cf883f25888p+0
+0x7.6452a7bac11fp+0
+0x1.de50fbfac2fc8p+0
+-0x4.8a4bb63fbea8p+0
+0x3.e4f5d36025af8p+0
+-0x3.8f820c8fbd44cp+0
+0x3.6eb1716977cdp+0
+0x7.edf6cdff5f0ep+0
+-0x7.54ba329f8383p+0
+0x2.99e0b3611927p+0
+0x6.7d59285c9dc6p+0
+0x4.04c3c8f0b7c8p+0
+0x9.ab8d47eca4dcp+0
+0x3.9361e52aeeb38p+0
+0x8.661fd3feddc2p+0
+0x2.3a03ae1badbp+0
+-0x3.9dbe33271c548p+0
+0x8.61dd16eb6614p+0
+0x2.0ed692989057p+0
+-0x2.e58c86284932cp+0
+-0xe.e75dae73b92p-4
+-0x4.be66b5ca04aacp+0
+0x7.416a36a5b06dp+0
+0x3.4a1508778a888p+0
+-0x1.07bd367890ep-4
+-0x6.61554cfaa2408p+0
+-0x2.bd7ae20d4d6e8p+0
+0x2.6115e73f59e6p+0
+0x5.e03bc6dc9e9fp+0
+0x9.f4c3ce1a2e9bp+0
+-0x8.48be2e9e48998p+0
+-0x8.0cc8ced34318p-4
+0x8.761246fe8e62p+0
+-0x2.95a0a33566828p+0
+-0xa.9b1e2c7643f8p-4
+-0x2.f6b2d56c2c33p+0
+-0x3.838ad012784dp+0
+0x3.f78ee68a76ca8p+0
+-0x6.4935d15778938p+0
+0x8.6e4edeee7514p+0
+-0x1.2fb5a04f2802p+0
+-0x8.2dff345005c8p+0
+-0x7.d702ce9b5539p+0
+-0x1.06af3bb6fe8a8p+0
+-0x7.870e9741d8c3p+0
+-0x7.43eacd22f0718p+0
+0x6.e59672708c6p-4
+-0x6.a16a1a9c27648p+0
+0x3.1e4a239031a9p+0
+-0x3.eb8536ebb4e68p+0
+0xe.65f6a279d88p-4
+0x1.cb4709c49bf78p+0
+-0x7.6726043144eap+0
+0x8.487e564c3b4cp+0
+-0x4.dd2a135a37248p+0
+0x2.894edf263e738p+0
+0x9.51a7fe073786p+0
+-0x1.0da5113ca0a38p+0
+0x9.1fea136a0ec8p+0
+-0x6.6d764c290f5dp+0
+0x8.9e9233cfd069p+0
+0x4.540da7111257p+0
+0x8.8195949e69f2p+0
+-0x5.80ea0e38f097cp+0
+0xf.4371f473cap-8
+-0x6.b6932ad7d54p-4
+-0x6.84c57842e91p+0
+-0x4.8f80911a0aeap+0
+-0x1.5780be902844p+0
+0x9.b8ac65c00b57p+0
+-0x1.930dde0f3532p+0
+-0x7.d4d9fb41b69ap+0
+0x4.9c54dc38ec94p+0
+-0x6.34aab6a0546cp+0
+-0x5.8d36f9d5a0a1cp+0
+-0x3.47d33e54958ap+0
+0x1.64d1454a0b448p+0
+0x8.85d63511ce59p+0
+0x8.8f5aece39677p+0
+0x9.5958b1f65bcfp+0
+-0x2.43d323e428264p+0
+-0x5.fddf5e685c34cp+0
+0x5.dad336eb1a96p+0
+0x2.62af255203f1p+0
+-0x4.40b04eea69144p+0
+-0x1.87e5e7f02681p+0
+-0x8.df1ae1fa26a58p+0
+0x8.9c670edbab11p+0
+0x8.164e96eec42dp+0
+-0x3.144c0f0ac0ce8p+0
+-0x1.205fd6b21d0d8p+0
+0x7.d93a45ee3a85p+0
+0x3.be1bb6f189c3p+0
+0x1.3c180d2f5c1cp+0
+0x8.e4bd8e278494p+0
+0x8.62a8b7e808efp+0
+0x1.c72de74747cf8p+0
+-0x1.867f64434d1bp+0
+0x7.8a62221ad2d7p+0
+-0x6.aca7d7c7b88cp+0
+-0x4.686a419f0640cp+0
+-0x7.1eaa4c93d65a8p+0
+-0x3.4f8094221618p+0
+-0x8.ab70579ebc2cp+0
+-0x6.b375ac2c63c68p+0
+-0x6.86bd4bb9eff34p+0
+-0x3.436036bc5829p+0
+0x8.af9448bf18c6p+0
+-0x3.f1bd986b40cb8p+0
+0x6.4cd76e68451dp+0
+-0x9.7848a54ce1288p+0
+-0x4.81db3f8c95d44p+0
+0x5.8ea8ebe2c84fp+0
+-0x6.4bec411c49624p+0
+-0x3.6b25e058ea54p+0
+0x7.382b356e8d63p+0
+-0x5.7abfe1e786p-4
+-0x9.41e345aa0e1bp+0
+0x5.ebfcd83ade7ep+0
+0x3.1c91698e8f3bp+0
+0x3.02343216e87fp+0
+-0x6.3b2d842e4b1d8p+0
+-0x8.4b790f2149318p+0
+0x9.49c8b6d0b324p+0
+-0x8.e3a1ce73eb81p+0
+-0x3.e5bec7d80e218p+0
+0x8.8f332a0d865dp+0
+0x8.4845e7966e01p+0
+0x3.9724b52b29c08p+0
+-0x5.8bea46ac7a1p-4
+-0x3.8e8a2ccd6decp+0
+-0x2.94fd4e1203288p+0
+0x2.1ff56c21902cp+0
+-0x8.8c6f429fd4f38p+0
+-0x9.0927dbf1c2b38p+0
+0x1.6bcd8bf9b00c8p+0
+0x6.14dd2d171b8fp+0
+-0x3.dffc268a94d3p+0
+-0x8.0ebd785d45e5p+0
+0x2.e1ac083b73858p+0
+0x6.94c4040ddd1p+0
+-0x7.3e30bce861ep-4
+-0x5.4709a804aa83cp+0
+0x4.ddcdb9dfc616p+0
+0x2.5f403a46e59ap+0
+0x1.76a880b5dc038p+0
+-0x9.d6aff1cdb4b2p+0
+0x1.f58f7f0bdcf9p+0
+0x1.8613bddda57fp+0
+-0x1.0b2136325d3p-4
+-0x5.d6332c78f3328p+0
+0x5.aedc35d03b6p+0
+-0x7.00af1805265a8p+0
+-0xf.359b55da0ap-8
+0x9.f896b9961b06p+0
+0x2.195568dde066p+0
+-0x1.da821113fa8e8p+0
+-0x2.07ad5a843ead8p+0
+-0x2.a60f6d32e633cp+0
+0x1.5b8b469491fa8p+0
+0x7.1db643fb579p+0
+0x6.826ee569afafp+0
+-0x5.628f9ffbd595cp+0
+0x4.81266358b747p+0
+-0x9.9e3a63f0509p+0
+-0x4.9bfed5e63d64p+0
+-0x5.5c1d113d3189p+0
+-0x7.cc48bf29a535cp+0
+0x4.dfd5f26d61cdp+0
+-0x3.c922579a2d63p+0
+-0x2.aec632bc69e7p+0
+-0x3.3db90f969e314p+0
+-0x2.85110a257a0cp+0
+0x4.a37fa3c84fe78p+0
+-0x9.0b94bcf134ep+0
+-0x6.9588b244d6e58p+0
+0x4.825367b64cb3p+0
+0xa.c4f20e47d0fp-4
+0x5.cadf6eb819b8p+0
+0x4.fbfcc9eb08f9p+0
+0x6.7e7eba15ccb9p+0
+0x8.6a870c984f1p+0
+-0x7.6adf4ecd0dfbp+0
+0x2.2da4d7e0e0eep+0
+0x6.28712e0f10b7p+0
+-0x5.300ec9e787bdp+0
+-0x9.59149678ac6bp+0
+-0x8.0ee678cc261bp+0
+-0x6.cf04f80e9401cp+0
+0x9.e199454c0a1dp+0
+-0x2.a9bb31e7d584p+0
+-0x6.d0a133c005a48p+0
+0x6.1a223ccfecdp+0
+-0x9.d749b6b22428p-4
+-0x3.e3f14ea3dc42p+0
+0x5.89247030b9b68p+0
+0x8.d01a8aa1355cp+0
+0x2.e4dee17d725e8p+0
+0x1.8a797257c3a68p+0
+0x3.f7dc5f6e0cc8p-4
+0x3.cac11ab85223p+0
+-0x3.8281834ce8d6p+0
+0x3.70a322122be6p+0
+0x8.973a35cc1ae3p+0
+0x6.00c5466d0f2p-4
+-0x6.b54b855436d2p+0
+0xb.f6b3b3938278p-4
+0x9.b43236896853p+0
+0xb.ad19c8d233cp-4
+0x5.9ee74da8f6aa8p+0
+0x6.f3f2777b5b2ep+0
+0x9.935801756d7ep+0
+-0x7.7448414d0c63cp+0
+-0x3.008b5a67711d8p+0
+0x8.ef8bf15f102ap+0
+-0x5.d775e5726502cp+0
+0x7.b7374dff9481p+0
+-0x1.a03a3dffae788p+0
+0x8.750bb85fa1e6p+0
+0x4.8ff8a4de49e18p+0
+-0x6.1d35fd1de2cp-4
+0x1.917c0521867cp+0
+-0x7.2ad265c1b64ep+0
+-0x6.29152e5003ebp+0
+0x7.4ffe88c6d841p+0
+0x5.b637f1abe0b4p+0
+0x2.bfef985254dap+0
+0x9.8af97f133318p-4
+0x1.573cf8ad2422p+0
+0x2.69050712f9cc8p+0
+0x9.527c4e129f8p+0
+-0x8.85bcc2483739p+0
+0x2.75c78ac0a8e3p+0
+0x1.c59e80300f9p-4
+-0x1.8deed35505b58p+0
+-0x2.85249e4fe2fecp+0
+-0x1.bdd2780f7367p+0
+-0x1.cda0bf169409p+0
+0x4.a8b285b8debe8p+0
+0x2.57b441adda788p+0
+-0x4.0f5b66b6871b4p+0
+-0x2.4b0be9612dcb4p+0
+-0x9.c09393e8f9cp+0
+-0x3.bb7c4b4d032a4p+0
+0x4.fa519af6cb9ap+0
+0x6.09acd545d8cep+0
+-0x6.9b96c3cbd8e4cp+0
+-0xe.cebe38a8b26p-4
+0x8.e6dc41dec882p+0
+-0x1.9ce8ebc5555p+0
+-0x1.3f3e55c0963bp+0
+-0x8.1e988492cfbd8p+0
+0x1.30f1ad7f6b6ap+0
+0x8.d961b9e8a4bp+0
+-0x6.0058fd83151dcp+0
+-0x3.231a8d27f9cf8p+0
+-0x4.7b3462aac1898p+0
+0x9.0b21fa24b4b8p+0
+0x5.7f738d639f808p+0
+-0x5.20fb1bae27978p+0
+-0x8.460a0884504ep+0
+-0x3.17454b4441dbp+0
+-0x2.8a3742f0a10c8p+0
+0x6.406fd53ea7f8p+0
+0x7.70e94177dd15p+0
+-0x1.4ba7718f54f28p+0
+-0x2.89db9b5e430a8p+0
+-0x2.7f6856155eb08p+0
+-0x6.ce7a6f67ae0e4p+0
+-0x6.5932cf3740a7cp+0
+-0x2.ed29df90c2c18p+0
+-0x9.5e54d620439fp+0
+0xc.57f38e2be678p-4
+0x1.5990ecd3b0dp+0
+0x8.154cfe12f414p+0
+-0x6.18e26365f50e8p+0
+0x5.c86c56bab34ep+0
+-0x6.1b0865dcb1388p+0
+-0x2.22c85295d5b9p+0
+-0x3.a6ff79c23da78p+0
+-0xc.e516b9ae658p-4
+-0x4.1da2ac1c008c8p+0
+-0x1.3cf0f05c56088p+0
+-0x9.d1b4c2cccfd38p+0
+-0x6.3fab936a398p+0
+-0x7.da94ef588893cp+0
+-0x9.fa11f959139ap+0
+-0x5.d2ad0b9bdaf1cp+0
+-0x5.96457ac750508p+0
+0x2.2bc34e08dce58p+0
+-0x1.d7558899c8ff8p+0
+-0x2.b902fe5c029ep+0
+0xe.dafa5f72411p-4
+0x8.282a394fca48p+0
+0x4.eb2deafeda9a8p+0
+0x2.0fe2506be10e8p+0
+0x8.4819654e3b2bp+0
+0x8.e109a54fb1d7p+0
+-0x4.0d508462fa274p+0
+0x7.bc5e5f0894ap+0
+0x6.7ecfebb6452bp+0
+-0x7.f0a5fea428be8p+0
+-0x4.2064da124205cp+0
+-0x1.031b8a46db57p+0
+0x1.8f083db19729p+0
+0x2.ad93d0eb734b8p+0
+0x9.cd6bf2a84b67p+0
+0xc.a1afdece12cp-4
+0x4.6c5adb3d08bcp+0
+-0x3.78ad3f18b3a3p+0
+0x2.0dbe8b31284ep+0
+-0x1.5f6dee917bea8p+0
+-0x9.53c26e349799p+0
+0x3.d90116f990928p+0
+-0x5.143a19da4dap-4
+-0xe.3b246dd38ccp-4
+0x5.34969b4f82b9p+0
+0x7.7587ba154ee1p+0
+-0x3.09df03b689e9p+0
+-0x3.8ad9273ffafap+0
+0x9.daf0c9d5193ap+0
+-0x6.e420d9a6fdd3p+0
+-0x9.373f5503aad78p+0
+-0x9.f912ea98b0bep+0
+0x8.b74325ab531ep+0
+-0x6.6cb50283b73c4p+0
+-0x6.f120159c7bc1p+0
+0x7.77fccc0ae21ap+0
+0x2.48365f5cf57p+0
+0x3.7d32fe44895a8p+0
+-0x3.7f9d47f646e84p+0
+-0x8.7c2565d80b73p+0
+-0x9.44aef2d3b676p+0
+-0x9.cb661c9a3bd8p+0
+-0x9.b9cf06629a5cp+0
+-0x6.667047a9f31a8p+0
+-0x6.b61caf082fcacp+0
+-0x3.ab63a134c221cp+0
+0x6.9e408b0aabfbp+0
+-0x1.e081897d20dfp+0
+-0x6.317846408fddp+0
+0x9.ef922b68c45cp+0
+0x3.ffb8cb4001e88p+0
+-0x2.5e2e744a9e488p+0
+-0x4.03006776fc424p+0
+-0x4.4bf28ad1012ep+0
+-0x7.bb892eb21754p+0
+0x8.286da9562794p+0
+0x6.e109d955191bp+0
+0x7.6d615c23736p+0
+0x3.3936b076fb08p+0
+-0x2.28105d4fe37f8p+0
+-0x6.1e08d4918766cp+0
+0x6.8097916367b5p+0
+0x5.8d7eca2791398p+0
+-0x9.aa69b216ed048p+0
+-0x2.7eac1f18e121p+0
+0x2.fc186f3cdb518p+0
+0x6.de629b6d07e3p+0
+0x3.09b96545fa768p+0
+0x1.6c1c9f6e8293p+0
+0x5.b4d1c1d0e58d8p+0
+-0x9.334ead1bbda38p+0
+-0x1.2a0890a0e9ebp+0
+0x3.db16ce51885c8p+0
+-0x5.24c3068e50dbcp+0
+0x7.02b6be9bc102p+0
+-0x4.8039aea0b9a78p+0
+-0x9.99e4996a362ep+0
+0xb.bedb522eceap-4
+0x6.f47b0c9c398cp+0
+-0x9.18a47ac95177p+0
+-0x8.6e13f841aa5p+0
+0x9.e65d45429912p+0
+-0x7.efa5c4e484314p+0
+-0x5.d7e376119e4ep+0
+-0x8.e998bb5f9d4p+0
+0x7.434a7f2c83cp+0
+-0x7.d7d68b99a4d5p+0
+0x6.99a001cc2f0ap+0
+0xc.1c8ea042363p-4
+0xe.959cf283acf8p-4
+-0x7.9133744a14988p+0
+0x2.ce87547088d48p+0
+0x1.f88a0e409f748p+0
+-0x5.756601dafe628p+0
+0x7.7c0ab0173c6dp+0
+-0x8.4f517b93b7c28p+0
+0x3.cdc78e6589ccp+0
+-0xe.50c48c39b368p-4
+-0x6.4124aed8ed9d4p+0
+0x3.eae208141cb08p+0
+0x8.14181ceffa19p+0
+0x7.6f7b3c428ap-4
+0x5.7e2d59e624358p+0
+0x3.e84db00fb2498p+0
+0x4.ce8574184b098p+0
+0x5.7aa09e520fa8p-4
+0x2.77108e1fa744p+0
+-0x6.22617de97fad8p+0
+0x5.ce9c715233e58p+0
+-0x1.39f4dd707f008p+0
+0x8.67bcad40015ap+0
+-0x5.e140ae0e49958p+0
+0x6.b52ca0ad1386p+0
+-0x9.38dd1cd675618p+0
+0x1.7d2a6fcabb6d8p+0
+0x5.6b1ec2b6fa398p+0
+0x1.1069ad7f50bdp+0
+0x2.6f44d15a8b9p-4
+-0x4.64045ab948688p+0
+0x7.5c80ce9a7f1ap+0
+0x9.38a9cd64f365p+0
+0x9.544fb2bbd6ap-4
+0x6.8123b802859dp+0
+0x2.2071e348d124p+0
+-0x7.4be2b0151a408p+0
+0x6.623beee6ff2dp+0
+-0x9.9db57adf411cp+0
+-0x9.67f0b71f70c5p+0
+-0x6.74cea27613148p+0
+-0x2.c43c5aa41f8ccp+0
+-0x4.d94a8547b65cp+0
+-0x4.a0320df0259p-4
+-0x8.e2ac98df35858p+0
+0x8.8911c244158p-8
+-0x2.85f25c5d73238p+0
+-0x7.a0497535dd93cp+0
+-0x3.1bf49d1c9fd54p+0
+-0x9.fdb6eb721e21p+0
+-0x1.6b525029f5e78p+0
+0x3.28d886485b32p+0
+-0x6.2677a488f1b08p+0
+0x2.4cd7d512ba818p+0
+-0x5.9e1b6e8ed0208p+0
+0x2.dc61dbd68a03p+0
+-0x8.fc27aca0c193p+0
+0x9.c6bf747add3bp+0
+0x7.09fbfa6bdep-4
+0x6.b41a00e472cbp+0
+0xf.952403c9eaep-4
+-0x3.4e637ab315268p+0
+-0x7.e6beea277c968p+0
+-0x9.51d8b73d1ccf8p+0
+-0x7.73905a2e6f7c8p+0
+0x5.d0d079a9d31ap+0
+0x9.c34641113133p+0
+0x1.5de5e2951a04p+0
+0x1.1885b8fce5168p+0
+-0x8.a300dbef3752p+0
+-0x8.df4a3f16f37p+0
+-0xf.063bc1ae3afp-4
+0x2.7fa13cd516698p+0
+-0x4.4ef8407db81d8p+0
+0x7.11a8aa742b8p-4
+0x6.acd9525117cbp+0
+-0x8.b370823f123dp+0
+-0x8.f5f58600ffap+0
+-0x9.9da454cddbfap+0
+0x5.f689489b8ad18p+0
+0x8.b540f09c97e5p+0
+0x8.55b7d5fe658ap+0
+-0x9.a0ec7f64f2d9p+0
+-0x2.4512b0e6a25fp+0
+0x8.481a1babd548p+0
+-0x6.6ba0cfcf0c238p+0
+-0x2.29f10cc5cb694p+0
+-0x9.c4d73f8e9a9fp+0
+0x4.dccda4baf6cp+0
+0x5.2daa3f930d9a8p+0
+-0x6.fbdb768439b6p+0
+0x9.962a64135ca1p+0
+0x1.2cc9b2fe0adbp+0
+0x3.579d0576cb8e8p+0
+-0x3.8bdaec04e0f3p+0
+0x7.47f58133d733p+0
+0x8.c6f5825170dep+0
+0x3.c1e83579ab688p+0
+-0x4.64174f254a3dp+0
+0x8.40e7f69340bdp+0
+0x5.96b025f6dc4ep+0
+-0x9.704dcde08a5cp+0
+0x2.12e3b64f411dp+0
+0x9.4b234f38e481p+0
+-0x9.a1c4b951b045p+0
+0x4.158089f6b393p+0
+-0x2.0a0219c8c63p+0
+0x2.2905635aa95d8p+0
+-0x7.9a19510e2eabcp+0
+0x6.c49acf951f4bp+0
+-0x5.d796be75c2dd8p+0
+-0x3.71595c87a0c4cp+0
+0xe.9f2132a0899p-4
+0x8.8dbe69b1261dp+0
+-0x2.6a0e0cb3a2fdcp+0
+-0x8.093ca30a1f1dp+0
+-0x3.1b53acd5545ap+0
+0x7.36cdef34625bp+0
+0x8.c8a152965269p+0
+0x4.d7cb9020e765p+0
+0x9.784a84bc0522p+0
+-0x6.9372f0dc4f638p+0
+-0x7.963db083246dp+0
+-0x2.061aa11ac426p+0
+-0x2.11d1a658575c4p+0
+-0x4.8a6bab0cbd188p+0
+-0x5.ac16a0759901p+0
+0x5.bb031e429524p+0
+-0x8.1a232204c6cd8p+0
+-0x8.8c59ac90f41cp+0
+-0x8.020b415a0334p+0
+0x8.cd00abee1e2fp+0
+0x7.a905cb3645e8p+0
+-0x2.4dd6397232658p+0
+-0x5.1072b4461a0a4p+0
+-0x3.76c7b3f49a3a8p+0
+0x1.70335a10c58p-8
+-0x5.b1943c20af79p+0
+-0x2.cdd004dcb9ed4p+0
+0x8.c55e74fb92e8p+0
+-0x7.a6e622e4fc7dp+0
+0x1.e908fd53079dp+0
+0x9.de0d562d6cafp+0
+# Random inputs in the largest binary64 binade [2^1023,2^1024)
+## name: workload-huge.wrf
+0xd.62d69e255e78p+1020
+0xa.0823e7ee6c0bp+1020
+0xe.407c2fbb84818p+1020
+0xe.a92a4e13400ap+1020
+0xc.cb283882f87p+1020
+0x8.4491398d6fdfp+1020
+0xe.0a6a3682f89dp+1020
+0xc.cc1207e379cdp+1020
+0xd.a408e183d0558p+1020
+0x8.d30115a54ff4p+1020
+0xd.aa43e1cd2f938p+1020
+0x9.ea9c6ec84047p+1020
+0xf.15ff276eff02p+1020
+0xe.67845d433ad48p+1020
+0xb.8832ec968328p+1020
+0x9.8dc5bc81c963p+1020
+0xc.f93480f5046p+1020
+0xb.ce6aff1ff9b58p+1020
+0xb.bca35178e63ap+1020
+0xe.698ef0d86d89p+1020
+0x8.96fa00d86f5cp+1020
+0xc.d768a6ba63e2p+1020
+0x9.3d453a6b70acp+1020
+0xf.babe71cadb788p+1020
+0xb.5be90d39d5d78p+1020
+0x8.9137114398c9p+1020
+0xe.89328ddab7e78p+1020
+0xb.54a5d0385528p+1020
+0xb.fc68406c979dp+1020
+0x8.c43700d169afp+1020
+0xb.a487f0158068p+1020
+0x8.31681660e48fp+1020
+0x8.434eaf3c937p+1020
+0xe.134e99b21a21p+1020
+0xe.865e75852ac18p+1020
+0xd.bba5031decacp+1020
+0x8.25f3f4c50a7fp+1020
+0xf.4dc7b3620ae9p+1020
+0xf.28679e416fbdp+1020
+0x8.4762f988dfd8p+1020
+0xb.78a94103cc7d8p+1020
+0xb.694a632574838p+1020
+0xc.1d8f101be872p+1020
+0xa.c9e2a122c7a8p+1020
+0xc.6d4f7310084p+1020
+0xe.dce3b216b163p+1020
+0xa.d00bd5c6cc65p+1020
+0x9.99d2c177d3dbp+1020
+0x8.68c79b0a248c8p+1020
+0xa.3bbe4e93e7e7p+1020
+0xd.11439971bc5fp+1020
+0xb.5ac73a2cf61ap+1020
+0xa.556526122afcp+1020
+0xe.5b5ee6dddc59p+1020
+0xa.9faac85de741p+1020
+0x9.3d4d05adf6418p+1020
+0xb.260b3cc2a66fp+1020
+0xa.427c1222e335p+1020
+0xc.40335de4cd27p+1020
+0xc.66a37fb624dep+1020
+0xe.926a3cb4e0b2p+1020
+0xe.6e5e18e8071dp+1020
+0xb.b68f5b3e60a5p+1020
+0xf.747abcf26941p+1020
+0xe.538336db5217p+1020
+0xb.099c42e18dbfp+1020
+0xe.443344926b7ep+1020
+0xb.98ddf9fc8982p+1020
+0xa.ff7eebaf8e5bp+1020
+0xc.63aad1d98a6bp+1020
+0x8.e1c632a94d7ep+1020
+0xa.454aa0e86925p+1020
+0x9.374d26c9bd86p+1020
+0xd.eaed825e6a5dp+1020
+0xf.2da28af111c1p+1020
+0xa.89a8adaacb62p+1020
+0xd.c3e2989d01e28p+1020
+0xb.08972b52723p+1020
+0x9.0bd592d492ef8p+1020
+0xf.ea18b66a487d8p+1020
+0x8.966b4922f4f38p+1020
+0x9.6b3757b9d4aep+1020
+0x8.d1df4bc218cp+1020
+0xe.ebe40fe00e8fp+1020
+0xb.a65f81bc975f8p+1020
+0x9.a7577fa3240dp+1020
+0xf.6ea8916f2a588p+1020
+0xe.fe3a286edb6p+1020
+0x9.54c1e12ae5ebp+1020
+0xa.234ea7217e14p+1020
+0xc.68c47e81da02p+1020
+0x8.51f6f8f8ee6ep+1020
+0xb.2d6fd61713eep+1020
+0x8.0dc27494e6f28p+1020
+0xd.8c7faf757666p+1020
+0xb.a5cbc714d697p+1020
+0xc.7b04263722058p+1020
+0x9.1337b0f37fb28p+1020
+0xe.2bc2ff41547cp+1020
+0xe.46c7c56352948p+1020
+0xd.4cdd0350f2228p+1020
+0xb.f1879e1655efp+1020
+0x8.fab0eb24d3cbp+1020
+0xd.8d009233a5e8p+1020
+0xf.674ce9d1a0028p+1020
+0xe.371a8553d62bp+1020
+0x8.f53408026e13p+1020
+0xb.c54273fc95bep+1020
+0xf.b61546766dd2p+1020
+0x9.6891c8a9888p+1020
+0xb.390257106ff5p+1020
+0xb.4bbe95dc9792p+1020
+0xb.aeabe94aa2f9p+1020
+0xf.1334a3162e468p+1020
+0xd.89c71bb44685p+1020
+0xf.80875778f78fp+1020
+0xd.780865b817e5p+1020
+0x9.4b56049601308p+1020
+0xb.841931eca193p+1020
+0xe.16b7372fd063p+1020
+0xb.a2d5cbb73422p+1020
+0xd.e83e038fdcffp+1020
+0xe.e8e568e48a2fp+1020
+0xc.7436053105c9p+1020
+0xd.211282e806d98p+1020
+0x9.869c3c7265ec8p+1020
+0xf.86933f98deeep+1020
+0xa.084f1b844824p+1020
+0xe.96884bf8387cp+1020
+0xb.43caedd214038p+1020
+0xf.b364d2fde987p+1020
+0x8.aad55d3807b2p+1020
+0xc.48d066004b05p+1020
+0x8.358a7fce5f578p+1020
+0x9.f4354e4da5e88p+1020
+0x9.0b4ea252cefd8p+1020
+0xd.9fe48df59f27p+1020
+0x9.2f2326af26798p+1020
+0xf.34c7e3cdbd17p+1020
+0xa.95bdf61c1d02p+1020
+0xe.75528d5e662cp+1020
+0xa.8757134d28f9p+1020
+0xc.5d5edfa26106p+1020
+0x9.3a1e505a6ec9p+1020
+0xa.01b4898b97a9p+1020
+0xc.afe4e1bc57c5p+1020
+0xe.83736adc224fp+1020
+0xe.f8826a70ada18p+1020
+0xc.1993188d9ebdp+1020
+0xa.d770708d2c9ap+1020
+0xe.18ceae5d8337p+1020
+0xc.ec9ac4219959p+1020
+0x8.2b73c5e0238ep+1020
+0xb.7c97e5a1461bp+1020
+0xa.00eff57bd962p+1020
+0xc.0baa5dcdcf65p+1020
+0xc.32a06f6c87fdp+1020
+0x8.211181e18c4p+1020
+0xc.2e401e8e98598p+1020
+0xf.f9e139c84713p+1020
+0xd.a965accb3e47p+1020
+0xe.f9de2e8c8cb6p+1020
+0x8.6473c2622fd2p+1020
+0x9.c187e777d16p+1020
+0x9.555bfaa6eb58p+1020
+0xa.efc36c7b12898p+1020
+0xb.d40fa56ee581p+1020
+0xf.d6971b06125c8p+1020
+0x9.a67d75c10378p+1020
+0xe.a146c3e6f72p+1020
+0xd.ac489828c8f4p+1020
+0xa.b6b4d5b5e7fp+1020
+0xd.e6ebca9ba36bp+1020
+0x9.87af188801e1p+1020
+0xc.ff1ccd3417538p+1020
+0xb.df914fda5bb4p+1020
+0x9.c06d63527e5e8p+1020
+0x9.4c89018d43b1p+1020
+0xe.dff086dab57e8p+1020
+0xb.7c5a3afa87b98p+1020
+0xd.e4e9852312b1p+1020
+0x9.d6ad32daea82p+1020
+0xf.ae09c2a84bedp+1020
+0x8.133a4d78dc37p+1020
+0xf.02b93c6d4a7dp+1020
+0x8.b7728152f797p+1020
+0x9.1886f861519f8p+1020
+0xf.70fd6e91f801p+1020
+0xa.a1c71a1d583e8p+1020
+0xe.43ba309a2c78p+1020
+0xb.18a0dd272da68p+1020
+0xf.ac7f1f1f452p+1020
+0xf.0bbd9e0b77448p+1020
+0x9.dddda14f94b9p+1020
+0x9.a81bbd3a7124p+1020
+0x8.4da580261e8cp+1020
+0xe.e6a0c3b19c93p+1020
+0x9.ed5f89f0c6f58p+1020
+0xb.a2ed876943d2p+1020
+0x9.e98977519f9ap+1020
+0x8.56c2e4be54e7p+1020
+0xd.74535d08c003p+1020
+0xc.ca7db047cd4b8p+1020
+0xa.d8bf57fd2a828p+1020
+0xc.3a396e08ba37p+1020
+0x8.27306a7378bc8p+1020
+0xa.0d9bf905a37ep+1020
+0xd.f1e5f90368bcp+1020
+0xd.383b5e657efcp+1020
+0xb.d8be0575ddbb8p+1020
+0xc.b702a309782fp+1020
+0x8.a8810aff80478p+1020
+0x8.d79a173934c2p+1020
+0xe.e80531c8f68p+1020
+0xc.14a8e2c4063ap+1020
+0x9.00476e882303p+1020
+0xc.63637502ac92p+1020
+0x8.f40de19430828p+1020
+0xe.431d8b27c0dc8p+1020
+0x8.468b64f5a1aep+1020
+0xa.a03f1d87a085p+1020
+0x8.404ec6c235f6p+1020
+0xf.60dca908eefep+1020
+0x9.0d167ee64fcfp+1020
+0xf.7ccdfcb0766a8p+1020
+0xb.75d59217fc55p+1020
+0xf.5d3b443ba5fa8p+1020
+0xa.5ccecb0d91a7p+1020
+0xf.3dffd28b7fe7p+1020
+0x9.726bea58eee78p+1020
+0xc.0d90b0aac04fp+1020
+0xb.682a76385714p+1020
+0x8.e6c351f422bcp+1020
+0xe.d17788868df2p+1020
+0xe.225de0dbccfap+1020
+0xe.c7866497c0abp+1020
+0x8.c92094d9d738p+1020
+0xd.7da47b69bf28p+1020
+0x9.fe2780bccb34p+1020
+0xf.d9ce7c103eccp+1020
+0xb.a57a6afaa0adp+1020
+0x9.4cb24da0cfecp+1020
+0xe.df09e34f314bp+1020
+0xf.7eff8a3340f1p+1020
+0xe.73994a234a45p+1020
+0x8.7540cdad92228p+1020
+0x8.3bd5be56d42d8p+1020
+0xf.21e058eb1b758p+1020
+0xd.d9f6d72156abp+1020
+0xb.b6a69ad242298p+1020
+0xe.9c50899d150ap+1020
+0xf.508c0d6157a4p+1020
+0x9.0a5a12ce9c3cp+1020
+0xd.94a79a8bd1e78p+1020
+0xd.b8b5f882a13cp+1020
+0xb.b3f6251d0b46p+1020
+0xd.01084c5666d68p+1020
+0xa.cb4e70b7ef2a8p+1020
+0xa.1637d5c3a9938p+1020
+0x9.d8a92642fbebp+1020
+0xd.8b7e831256afp+1020
+0xd.4436490d383p+1020
+0xa.df4b9b5a47edp+1020
+0xa.2c8b22e08244p+1020
+0xb.916e5869cea2p+1020
+0x9.153781cf6e91p+1020
+0xd.39167f27b7ce8p+1020
+0xb.0b9153810097p+1020
+0x9.037b18e1d3688p+1020
+0xa.a1ab3b37b216p+1020
+0xf.3e9ae11fb993p+1020
+0xd.d51674fee856p+1020
+0xb.a19f48e5e9c4p+1020
+0xb.dcbd8757b6ffp+1020
+0xa.2e51edc84353p+1020
+0xb.81abcd81c77fp+1020
+0x9.e6dab4bd6f45p+1020
+0xf.c54db9dcb07cp+1020
+0xd.8a09f2e899fep+1020
+0x9.fbe1554875dbp+1020
+0xe.4741f1fd87f88p+1020
+0xa.52fb1e59da6d8p+1020
+0xe.a2324a0af2edp+1020
+0x8.20523d7fa5258p+1020
+0x8.2f7eea23b0bdp+1020
+0xe.e451a2614631p+1020
+0xb.683055ccde0fp+1020
+0xb.4b48f97b8c4cp+1020
+0xe.8a666b4c7b1bp+1020
+0xc.1f86cf45ca3ep+1020
+0xe.189f53ce5c59p+1020
+0xa.e8e3991bc9b68p+1020
+0xf.9be769d821298p+1020
+0xe.7e4fc41e3a17p+1020
+0xd.e32d6c9ccfdd8p+1020
+0xe.da4e5c4f14fbp+1020
+0xd.2b4488edca5p+1020
+0xe.81d2aa4e8be9p+1020
+0xe.733b076d9f2fp+1020
+0x8.dad854ebae1ep+1020
+0xe.657222794982p+1020
+0xc.ea96e4d278ccp+1020
+0xc.16821b387cc2p+1020
+0xf.782a11b92dfb8p+1020
+0xb.48b92a6f456bp+1020
+0xa.45cc05ef907fp+1020
+0xc.4e8e5076a8bdp+1020
+0x8.7479a1bf02f98p+1020
+0xf.8f287bb69929p+1020
+0x8.642bce2859f6p+1020
+0x9.8bcf4cd09beap+1020
+0xc.480457e4d7b8p+1020
+0xe.be28679337a9p+1020
+0xa.436c440c3f498p+1020
+0xa.a6675d9747138p+1020
+0xc.2e9d3a7d0792p+1020
+0xa.9fad7727fad3p+1020
+0xe.85842f72427c8p+1020
+0xe.3bb1a22a0513p+1020
+0x9.025ff22b6d3ap+1020
+0xc.04173516fc39p+1020
+0xc.84da05e82654p+1020
+0xf.dd41d1aa79f5p+1020
+0xe.9655e36d21c98p+1020
+0xa.e374a6d6361ap+1020
+0xc.c5619476b26fp+1020
+0xf.36b251d7019cp+1020
+0xa.92113e03e99a8p+1020
+0x9.40104ce4ac3dp+1020
+0xe.b60ebe75eef9p+1020
+0xd.45d74d3e07d5p+1020
+0xa.9548ab108eeap+1020
+0x9.0cc9742b0cabp+1020
+0x8.636c094413bbp+1020
+0xc.2ddb2578725fp+1020
+0xb.3051b6b4cb1ep+1020
+0x9.88d311fb03dfp+1020
+0xc.9be94ccbe49cp+1020
+0x9.2019b00ef76fp+1020
+0xc.622c4c617f4ep+1020
+0xb.6642f43ea0ap+1020
+0xd.10822cd19dc7p+1020
+0x8.27f06bf7b8b6p+1020
+0xd.7ebcd46ce1ac8p+1020
+0xb.f51daf0bc5b8p+1020
+0xb.c8740a252d9cp+1020
+0xc.276d3985e6e2p+1020
+0xd.6a6a4529922fp+1020
+0x9.f6c25770975cp+1020
+0x8.2e26c2a8186f8p+1020
+0xb.da6fbe4fd183p+1020
+0xc.6f408bda21b88p+1020
+0xd.67c0141603e48p+1020
+0xb.b16315421a35p+1020
+0xd.33c0c824304f8p+1020
+0xa.9349d374224bp+1020
+0x8.f43726ecf83dp+1020
+0xa.9f95cd8b63edp+1020
+0xa.0c5844825ca5p+1020
+0xd.a9f215e6a244p+1020
+0xd.01777e92af188p+1020
+0xf.4c5f1a9a41a1p+1020
+0xb.c6b0fa08217b8p+1020
+0xc.9c93cd2857718p+1020
+0xe.e18667ab1f7fp+1020
+0xc.83adeda9246p+1020
+0xc.5e117286b1af8p+1020
+0x9.1ddc66bad2e4p+1020
+0x8.06af65ce6265p+1020
+0xb.d178057466c5p+1020
+0xd.c3fb9fd44a28p+1020
+0xb.e94a6b79fc6c8p+1020
+0xc.46ed043ae397p+1020
+0xf.f2e97c8e249p+1020
+0xc.2b9ef4b682b68p+1020
+0x8.d1bae8f9b96ap+1020
+0x9.05140dbb1f45p+1020
+0x8.623b3ec4a362p+1020
+0x9.0d51a3a9d8abp+1020
+0xa.710db5109ea3p+1020
+0xc.47afd31b38088p+1020
+0xc.6667f1abfc238p+1020
+0xb.77d8363c1b1ap+1020
+0xf.90736ed08ccd8p+1020
+0xb.4c9dfaa3ffcep+1020
+0xb.0739e4a8ca57p+1020
+0xb.27880d99754dp+1020
+0xc.ef2d5a8dee4ap+1020
+0xa.16698fc81f3d8p+1020
+0x9.b69f5fd8358d8p+1020
+0x9.308ad1cad13ep+1020
+0x9.292c262df7198p+1020
+0xf.7f6eb61e82748p+1020
+0xf.f924318f145bp+1020
+0xb.71c2fd60951d8p+1020
+0xb.c626a52615ff8p+1020
+0xb.e186562e2726p+1020
+0x8.e1126ff5d38b8p+1020
+0x8.776ec6ef2f72p+1020
+0x8.17eca0b55f408p+1020
+0xa.a3b43fee0336p+1020
+0x9.6c8b61a0504ep+1020
+0xd.eee4174306dp+1020
+0x9.08a93d6943128p+1020
+0xa.6881108b59ea8p+1020
+0xa.d55a8fcb8dbb8p+1020
+0x9.7d3b2e03218dp+1020
+0xe.27f764509c8b8p+1020
+0xa.dafb2af173d48p+1020
+0xd.aaa4027b9702p+1020
+0xe.b2d32bf792fep+1020
+0x9.8e08cefc46f8p+1020
+0xe.11de054224bfp+1020
+0xc.9b30da1cfee2p+1020
+0xc.b145d89e04e7p+1020
+0x9.3f8f45179ea08p+1020
+0xc.a08f891bf1b5p+1020
+0xe.3e555d0a2c95p+1020
+0xb.8478bf22517p+1020
+0x9.381954d03b12p+1020
+0xf.4902a8c78c59p+1020
+0xd.9438f696f53f8p+1020
+0x9.806109e279c6p+1020
+0xf.c55ef8e9c8158p+1020
+0xf.09d9527a89f3p+1020
+0xe.be06e957125dp+1020
+0xd.289bc44e6fe2p+1020
+0xc.30ae70d01d408p+1020
+0xa.bd72e12a38a88p+1020
+0x9.b3835b19633fp+1020
+0x9.acc201b46aa4p+1020
+0xe.4a759cdbe0f1p+1020
+0x9.c91c61005dbbp+1020
+0xc.0258562ab4b88p+1020
+0xd.e4f1a7230653p+1020
+0x8.a59fa270134bp+1020
+0xf.77b556109cddp+1020
+0xa.5f15657b4d218p+1020
+0x9.49fc474b5eccp+1020
+0xe.63cceb2b0c928p+1020
+0xc.cf4285d425b9p+1020
+0xc.5ea736f9b678p+1020
+0xf.4e7c75733722p+1020
+0x8.15dc2b1eae6fp+1020
+0x9.5eb85493363dp+1020
+0x8.f549bd3406efp+1020
+0xc.524427cfa7dbp+1020
+0x9.1f5af46de26dp+1020
+0xf.c661c2eaac95p+1020
+0xa.c61d1a12ff23p+1020
+0xe.af2dcfbf02f38p+1020
+0xd.98ec2fe57dc5p+1020
+0xf.e8a17c66c8a1p+1020
+0x9.bed95d380d24p+1020
+0xe.800ebef8949ap+1020
+0xf.d4c5f54f7027p+1020
+0xc.4d9daea44bb2p+1020
+0xa.32545e496ef1p+1020
+0xd.426aec533bbbp+1020
+0xc.2ff6baa4e418p+1020
+0xc.f95d3c783215p+1020
+0x8.1e3f13b40d9dp+1020
+0xc.87da132cd6dp+1020
+0xa.56e50238788fp+1020
+0xe.19e2d65683d1p+1020
+0x8.edeb40da87888p+1020
+0xc.0e45f3e426e7p+1020
+0xb.331fb70e93bf8p+1020
+0xf.bbb80532e8d18p+1020
+0xb.243bbd7b4177p+1020
+0xd.57d33e97be76p+1020
+0x8.980287976b89p+1020
+0xf.2d96dcb0dd358p+1020
+0xd.6053e10d69f98p+1020
+0xa.5f1c5016fe5ap+1020
+0xa.4818128d0088p+1020
+0xe.9765a012a5d8p+1020
+0xc.71a1dada4f17p+1020
+0xf.63cf0082aa318p+1020
+0xa.0f1b030f8e31p+1020
+0x9.ccee6ad3d225p+1020
+0xf.29c82fd1f91c8p+1020
+0xf.5fb681ebf1fcp+1020
+0xf.7d1ce704ed208p+1020
+0xb.66c96c18a6a08p+1020
+0x8.1550c0cd140cp+1020
+0x9.1fce84ff0ba6p+1020
+0x9.3bba7c31adc4p+1020
+0xa.709a6afd6afbp+1020
+0xf.ab2b8f664f048p+1020
+0xd.5a9e60c43fe6p+1020
+0xa.8914eea8a828p+1020
+0xc.6e6e1e357b3bp+1020
+0xa.ce4f78b2bffbp+1020
+0x9.4fb3a8280a32p+1020
+0x8.1ab8b5fd7efa8p+1020
+0xf.2929946e11f9p+1020
+0xa.9fa5d7bd57e68p+1020
+0xe.48a094ecb5b3p+1020
+0xb.122509c9b36p+1020
+0xe.1a5bb70e565fp+1020
+0xf.afb59617f98cp+1020
+0xc.483b751369138p+1020
+0x9.8a7649620ca78p+1020
+0xd.d3309077554dp+1020
+0xc.d99915b395aep+1020
+0xf.dbd9ad7f79bcp+1020
+0x8.f99441719fd1p+1020
+0x9.c352d109c35bp+1020
+0xd.b2229c5a7275p+1020
+0xa.cd2a8f65ef8bp+1020
+0xa.55b230adb0a5p+1020
+0xf.e968aba8db7b8p+1020
+0xe.07b289e5de7d8p+1020
+0xd.181bab3f4055p+1020
+0x8.166d91a949cb8p+1020
+0xe.7e3d7ac08392p+1020
+0x9.3087f5f385628p+1020
+0xd.a54040373d5fp+1020
+0xd.3bf81543aea48p+1020
+0x8.9652be7e9ade8p+1020
+0x8.96c26712a17fp+1020
+0xe.c3b88305a8bep+1020
+0x9.fd340693259dp+1020
+0x9.515a5de34e17p+1020
+0xe.a5463f001a3c8p+1020
+0x9.585a4d5ead068p+1020
+0xe.faef8ce4afcbp+1020
+0xc.d875961a8964p+1020
+0xf.d842dc0f9684p+1020
+0xc.bd58f428ff7ap+1020
+0xe.5b1ba6b0cd41p+1020
+0xd.812254960359p+1020
+0xa.b9aa7670e6d3p+1020
+0xe.805a37ff34afp+1020
+0xa.af9f241b6558p+1020
+0x9.d29b8ca5415cp+1020
+0xb.be1d076534c6p+1020
+0x8.09c005f5de8bp+1020
+0xb.f00d95c56aaap+1020
+0xa.34beccf7c9ffp+1020
+0xf.f4bb513f3374p+1020
+0xb.75293aae7a4dp+1020
+0xc.17357bc389208p+1020
+0xd.8a9f67616e81p+1020
+0xb.5140199a3e578p+1020
+0xd.a0da67bfab1a8p+1020
+0xb.9c3dbe493e97p+1020
+0x8.de47ca759c6ep+1020
+0xe.3a2ee906be27p+1020
+0xb.46359e76b0c38p+1020
+0xf.31396c3f89448p+1020
+0x8.d511d87ce477p+1020
+0xe.4481ead6cb56p+1020
+0x8.7157d75dbecep+1020
+0x9.cb9441a077cap+1020
+0xd.c4c97b18fec7p+1020
+0xf.2dca01e5b939p+1020
+0xf.217e1bbdf2aep+1020
+0xc.2436703ba6cc8p+1020
+0x8.7b42aa73ecd2p+1020
+0x8.44fcd215b6988p+1020
+0xc.b7f8a2d14bf1p+1020
+0xd.0230da1155b7p+1020
+0x9.4f4f74f5d04ap+1020
+0xb.52462ea3d7f1p+1020
+0xe.45c0dcb0bd88p+1020
+0xc.0e5b2e9c1cc4p+1020
+0xe.b10377b9bf928p+1020
+0xd.c0e3f6123fedp+1020
+0x9.39029ef211258p+1020
+0xc.c9bafff8f3d3p+1020
+0xb.5cba0946bc838p+1020
+0x8.e19a436d3646p+1020
+0xb.6b1907722a99p+1020
+0xa.3af4780c5b7p+1020
+0x9.1016a2fd234bp+1020
+0x9.ee17196e0bbap+1020
+0xa.ebdf8258a1718p+1020
+0xb.262515d63d34p+1020
+0xf.12aa3d103871p+1020
+0xe.2ff6e2f056fdp+1020
+0xb.d3ce3071f166p+1020
+0xa.969daf438bbap+1020
+0x8.33ba57054972p+1020
+0xe.f12a7051b517p+1020
+0xc.c5ee48cef64dp+1020
+0xa.d5d85fb01e75p+1020
+0xe.60d72c285727p+1020
+0xa.4df1ffbe2de7p+1020
+0xa.3ad84cb349de8p+1020
+0xe.5bbb143fbd82p+1020
+0x8.c4834ea35edep+1020
+0x9.b27abc6f9b59p+1020
+0xc.b7c6e319d5c88p+1020
+0x8.16647337c198p+1020
+0xa.89bb83015b0ep+1020
+0xd.5cfdf235918ep+1020
+0x8.5fb614a2b50fp+1020
+0xc.dde2e09e5becp+1020
+0xb.aadee9d81dap+1020
+0xf.b8daca690f36p+1020
+0xb.3985fe79f113p+1020
+0x9.f7175b76fae8p+1020
+0xa.cfde8ab89c13p+1020
+0xf.002b37c0ceeap+1020
+0xc.574ad0ec0612p+1020
+0xe.0ff254c598bcp+1020
+0x9.d80a83906afep+1020
+0xb.0100f2d01bfap+1020
+0xe.f2ee6c6682308p+1020
+0xf.17f3dcb073e1p+1020
+0xa.96a282b7c604p+1020
+0xe.1d069e61d6fap+1020
+0xc.2b3629c4a851p+1020
+0xa.10e57986c646p+1020
+0x9.3e0f6d44b2728p+1020
+0x8.01fea797d0edp+1020
+0xe.6e684b0ddc6ep+1020
+0xa.14bbf60ec1fap+1020
+0xc.2a382be3b9b9p+1020
+0xb.654d138b00b5p+1020
+0xb.380b8c20bb96p+1020
+0xa.53522def4c428p+1020
+0x8.c45c9988d761p+1020
+0xd.999b8c6c7ec3p+1020
+0xf.adaa37ce1fafp+1020
+0xd.883c4f7887dep+1020
+0xe.685676abe8398p+1020
+0xc.31f59208ff08p+1020
+0xd.cc913ea7fbd5p+1020
+0xc.a9242aa511e4p+1020
+0xb.c145e679b5f8p+1020
+0xd.56dd25875c25p+1020
+0xd.cf5780cf816p+1020
+0x9.7d06979bd1708p+1020
+0xd.19bdb013a2ccp+1020
+0xf.d3d975cd141bp+1020
+0xf.685a6a209df5p+1020
+0x8.8c796dd3afc38p+1020
+0x9.47ce656e8ceap+1020
+0x9.814be749e0e1p+1020
+0x9.2060fbfb1ce6p+1020
+0xc.86a4987008ccp+1020
+0xe.909b1be5f73cp+1020
+0xc.faa51baf61bp+1020
+0xb.b90c2f47939ep+1020
+0x9.8fdc225c88bbp+1020
+0xa.e3c143d60f498p+1020
+0x9.a7370dee9358p+1020
+0x8.d15460f2fc2cp+1020
+0xc.3bcd1793bda1p+1020
+0x8.c56c29fe5d0cp+1020
+0xa.cddb8cfc58e48p+1020
+0xb.f1a4a5583616p+1020
+0xd.09ce90ac1102p+1020
+0xf.24176f57bf07p+1020
+0xb.990e258ce9a1p+1020
+0xd.206ac21c1948p+1020
+0xb.d3503f15b8c7p+1020
+0x8.64244d9d2568p+1020
+0xb.077a59499619p+1020
+0x8.3ed8618b02c1p+1020
+0xe.9d99641fd3d8p+1020
+0xf.5bc8786ab386p+1020
+0xc.90ac136346eep+1020
+0xd.5ef2107761bd8p+1020
+0xd.380292f052eep+1020
+0xc.c95e3bf8ac3fp+1020
+0xf.269f6f14209ep+1020
+0xb.22a67266dff4p+1020
+0xb.ae8855e4add8p+1020
+0xd.4e18f27e2f86p+1020
+0xb.251aec150ebfp+1020
+0xe.216ddd8095918p+1020
+0xe.fe71b4c61c9ap+1020
+0xb.4d44c6426d8c8p+1020
+0xb.8206f0852744p+1020
+0x8.9d92caec1aefp+1020
+0x8.49e64df33db1p+1020
+0xd.1afad39581568p+1020
+0xc.cab749639b21p+1020
+0xa.48579dc9d361p+1020
+0xc.55baba19330b8p+1020
+0xb.209e0f7c7c8c8p+1020
+0xf.3ef0799d52498p+1020
+0xc.392db9b56b7ap+1020
+0xf.a299070e18cb8p+1020
+0xf.ee3b2f6e112ap+1020
+0xf.dc63868c3c23p+1020
+0x9.9ed3b255a6p+1020
+0xe.20a7358d0f518p+1020
+0xe.6894f15addbep+1020
+0xb.f82d5f0eed29p+1020
+0xb.36de962725c3p+1020
+0xe.e756eaac6802p+1020
+0xa.320ae9e9bbf3p+1020
+0xc.c67c62b8aecap+1020
+0xe.e970409cbcf9p+1020
+0xf.a906a5341495p+1020
+0x9.238cad4177b1p+1020
+0x9.990b7b19d14fp+1020
+0x8.5725c419122ep+1020
+0xf.201477d2c895p+1020
+0xf.cb61c2f82ea5p+1020
+0x9.3836390f847p+1020
+0xa.622edaf01d6ap+1020
+0xa.ba911f53dc3p+1020
+0xd.c0b9e0c025f4p+1020
+0xb.aabfa502830e8p+1020
+0xa.e23956b9a559p+1020
+0xd.5bafb7265dbep+1020
+0xa.8c824d449a11p+1020
+0xf.a78c011b494fp+1020
+0xc.4ca2ba8811648p+1020
+0x9.befc8ac79727p+1020
+0xd.e88c69a2dc8p+1020
+0xd.3da8b403f0a88p+1020
+0x8.3589a0b7c88ap+1020
+0xf.5086e2e67d0fp+1020
+0xf.98e520386619p+1020
+0x8.598234c5fbap+1020
+0xb.6ac75243063cp+1020
+0xe.c44b5a11adfp+1020
+0xc.e8a7523bb708p+1020
+0xb.ad895c51e28p+1020
+0xf.c31126bd2536p+1020
+0xe.7dadd504b48ap+1020
+0xc.431fb34e637dp+1020
+0xf.109c0a2b0d99p+1020
+0x8.0d81f7161563p+1020
+0xa.cf693663d1a3p+1020
+0xe.478560ac6a03p+1020
+0x9.0a1ec3790b5bp+1020
+0xb.d00ac9f92983p+1020
+0xa.aac033ca44dbp+1020
+0xe.cb88bd8aa6b38p+1020
+0xa.c50edec1581bp+1020
+0xf.6ea4731b2a6cp+1020
+0xe.e7702a3bdf1e8p+1020
+0x9.987aa4cff659p+1020
+0x8.fa3389db739ep+1020
+0xe.d96e7afda47c8p+1020
+0xb.cdef4872171fp+1020
+0xd.b9bb05dbcefp+1020
+0xf.461aa133f639p+1020
+0x9.382ff35dc68ap+1020
+0xf.d3127dfb2be7p+1020
+0x8.d4898ad67359p+1020
+0xf.3474295fe3308p+1020
+0xe.0ae38ca054288p+1020
+0xd.9b1bac45ba2fp+1020
+0xb.a03766d4b8bfp+1020
+0x8.873d07d821bbp+1020
+0xa.b59a6d09d4adp+1020
+0xc.491f081e6d2fp+1020
+0xe.0b689eec817e8p+1020
+0xc.af1c3acbb6fc8p+1020
+0xf.fc2aba59ed58p+1020
+0x9.8b7b843bf69d8p+1020
+0xd.453ccdd646d4p+1020
+0xe.849185d145d58p+1020
+0xd.e23e734dc425p+1020
+0xe.a92a2645a2fa8p+1020
+0xc.6697e413375bp+1020
+0xf.d7d84296b58ap+1020
+0xf.417c9adb35abp+1020
+0xa.517f5c635b0b8p+1020
+0xa.f5aa725bc95ep+1020
+0xd.2cfb5648f8aap+1020
+0xa.5eb43ec742c58p+1020
+0x9.bc2aa717ad288p+1020
+0xa.56e0b4c0be85p+1020
+0xa.ca03b208190dp+1020
+0xf.ee8c4f4b64c2p+1020
+0x9.d93414630396p+1020
+0xa.e96c6b4a6d29p+1020
+0xd.6b826f74c90cp+1020
+0xd.9a285d692438p+1020
+0x8.a54492e440428p+1020
+0xe.ca6aebc7d8cp+1020
+0x8.df30b8e6f7dp+1020
+0xd.b24360d76dc8p+1020
+0xa.7b343dd2f7f3p+1020
+0xa.12f095221818p+1020
+0xb.770eb73f0257p+1020
+0xb.c9e95e27ed92p+1020
+0xe.db026b2d8532p+1020
+0xe.c55859df67958p+1020
+0xe.0a15789c5347p+1020
+0xf.818e5d0371d48p+1020
+0xd.b3f1f62ab057p+1020
+0xf.546208d695e5p+1020
+0xe.836d78c50196p+1020
+0xa.4c06103a0b4bp+1020
+0xa.898d59985f028p+1020
+0x8.fafe43bc566d8p+1020
+0x9.3a7b0581c1d58p+1020
+0xd.1dc1822d2affp+1020
+0xd.3ece76b83e9e8p+1020
+0xc.620986d49126p+1020
+0xd.907e95a775a7p+1020
+0xd.1a8609aae33e8p+1020
+0xc.5ff9a8ab05208p+1020
+0xd.0b424184f486p+1020
+0xc.9763aa80095ep+1020
+0xe.69f9f78c7271p+1020
+0xc.3f18cf23068fp+1020
+0xf.f75e4622b72bp+1020
+0xb.e641b4b4722dp+1020
+0xb.8c1871c0c6cbp+1020
+0x8.59f697ba8baap+1020
+0xd.a2dc77659ab5p+1020
+0xf.958ad100fcf4p+1020
+0xd.035f95806c888p+1020
+0x8.ae4fe2b1becp+1020
+0x8.eeb57e8e893bp+1020
+0xa.bf9416a136398p+1020
+0xa.846e3e42a5658p+1020
+0xb.80d0e0ffd1758p+1020
+0xe.be7e9fc6917b8p+1020
+0xa.c85c4683dad6p+1020
+0xb.15d32f0e27d7p+1020
+0xb.8d4968bce69bp+1020
+0xa.409771765087p+1020
+0xa.4fa5dadc9565p+1020
+0xf.a02d07181c088p+1020
+0x9.afeda41f92348p+1020
+0x9.5befae5f6feap+1020
+0xa.ead7980070e8p+1020
+0xc.4f593f72fad6p+1020
+0xb.2557f5286ec5p+1020
+0x8.952779b7f96dp+1020
+0xa.10b47b797044p+1020
+0xb.d51140415879p+1020
+0xa.0f4ba3c33dc3p+1020
+0xd.4b9355eeda78p+1020
+0xe.32de03f02f2dp+1020
+0x8.5418d6d948b8p+1020
+0xf.8191e685a1cd8p+1020
+0xf.c10c8ff83c658p+1020
+0xb.308630615b668p+1020
+0xf.ccb895bc3276p+1020
+0xf.7fc2a8e83a61p+1020
+0x8.7e41b1a27b138p+1020
+0x9.ea522185fa7ap+1020
+0xb.a5812b42a67dp+1020
+0xe.53cfaad581dcp+1020
+0xf.d02fd240fd19p+1020
+0xc.6973810aa7d1p+1020
+0xc.cfe7f0e2df588p+1020
+0x9.afe5daa5ea118p+1020
+0xa.816100580182p+1020
+0xc.26d0e67f8bb1p+1020
+0xe.259745d615e4p+1020
+0xa.75215be2e9f9p+1020
+0xf.4514d4fb1bb9p+1020
+0xd.c0bae71c8fe38p+1020
+0xa.65656ea6a1acp+1020
+0x8.6109214e26c7p+1020
+0xd.279d1d616e28p+1020
+0xa.bab3164b0648p+1020
+0xb.00606b944209p+1020
+0xd.4891af522c3cp+1020
+0x9.3f443af62204p+1020
+0xe.e5c6e8afd0d2p+1020
+0x8.967e7f62ddcap+1020
+0xf.abb116b672ac8p+1020
+0xb.588243762e5ep+1020
+0xb.949c558a972dp+1020
+0xd.0c8a79ed24dcp+1020
+0x8.71e52bc58c4f8p+1020
+0xf.1c94289f4f3p+1020
+0xd.7168d7124b78p+1020
+0xe.d827ac9d5d5fp+1020
+0xe.720bbf86c6bep+1020
+0x8.5c3bf60e18f9p+1020
+0xf.a2442bf36565p+1020
+0xf.92718c448bd5p+1020
+0x8.7edf86853c0e8p+1020
+0xe.d5bcc342f5bcp+1020
+0xe.037e0b0436f18p+1020
+0xd.c3a80b61fd9fp+1020
+0xf.7d34c2a511a88p+1020
+0xa.f0f97d0977ed8p+1020
+0xb.8b94ad9da418p+1020
+0x9.29ad6a5e2c88p+1020
+0xd.94bddc9bc30f8p+1020
+0xe.1dcbb38de7508p+1020
+0x9.6a8c5fdaf524p+1020
+0xc.7fea87e93c41p+1020
+0xd.0a64299e514cp+1020
+0x9.0343fca13732p+1020
+0xc.cf91fbeb17a78p+1020
+0xf.2b6ccca6bf818p+1020
+0xe.3ad381a04d84p+1020
+0x9.9b0845d132fcp+1020
+0x9.84762dbc3f57p+1020
+0xf.4f1dbeed26dep+1020
+0xe.c1963d5201cd8p+1020
+0x8.1cf7331c055c8p+1020
+0xc.59585e8fd321p+1020
+0xb.7897d2285c518p+1020
+0xd.c9ac7303b11ep+1020
+0xb.2ef2fdea20c58p+1020
+0xb.749d2b18ee42p+1020
+0xa.41fe88b5a364p+1020
+0xa.c4e78c878b7cp+1020
+0x9.259701425fd08p+1020
+0xb.b36dcf6ea196p+1020
+0xa.3406b375d194p+1020
+0xe.b7ef13f1e43e8p+1020
+0xc.097835e1d5148p+1020
+0xd.e223e034389b8p+1020
+0xf.409fd45c3febp+1020
+0x9.671cf8c6db858p+1020
+0xe.1606987313eap+1020
+0xc.38fcd4c5ceda8p+1020
+0xe.71532c6bfb63p+1020
+0xf.3ac769cfcfbc8p+1020
+0xe.9e130a5b6edb8p+1020
+0xa.4b0234312a7b8p+1020
+0xd.12ee331e57c5p+1020
+0x8.1d3c673fe8898p+1020
+0xc.768c852f5ep+1020
+0x8.fd0b13c4f5cfp+1020
+0xb.21d32309fff7p+1020
+0xf.8fb6e3eab2b4p+1020
+0x9.ee94c16fa8f1p+1020
+0xb.a8a73737d09cp+1020
+0xf.f530992677fdp+1020
+0xb.a6e70fa60e33p+1020
+0x9.06abff6726b88p+1020
+0xa.3401c1617e928p+1020
+0x9.49fdacf487a3p+1020
+0xf.b3f055a1045b8p+1020
+0xf.7e370a7494ebp+1020
+0x8.cf952d415dcb8p+1020
+0xd.25197f22bb86p+1020
+0xe.5e34f85cbc688p+1020
+0x8.94e0296d3469p+1020
+0xb.87ad51ccab308p+1020
+0x8.de20c39d4ef7p+1020
+0xf.36e27d4883d5p+1020
+0xe.d2c28f6491ccp+1020
+0x9.99bb24cf60828p+1020
+0xd.9544154269018p+1020
+0xb.5d864bdcb6918p+1020
+0xa.5186cab9ca488p+1020
+0xc.fbb6ad7fed1a8p+1020
+0xf.4bcf61a95ad1p+1020
+0xe.0f46e70fc2e08p+1020
+0x8.a26bfe1b1234p+1020
+0x8.ca598353fd23p+1020
+0xb.c830116b47bbp+1020
+0xa.693948385b7p+1020
+0xb.e32e49621c2b8p+1020
+0xc.ae643af48d88p+1020
+0xc.b92fb8bf5012p+1020
+0x9.d07051bda116p+1020
+0xe.843f064e858d8p+1020
+0xa.c6a7f0892cd78p+1020
+0x9.942074802a9dp+1020
+0xa.673ea7bef876p+1020
+0xf.1a26c0b34cc2p+1020
+0xb.7693464c7bebp+1020
+0xf.c96395b56faap+1020
+0xc.6610b03900bap+1020
+0xe.8b73045c5852p+1020
+0xd.b8775ea1321ap+1020
+0x9.21518b7583878p+1020
+0x8.078009ba5a75p+1020
+0xc.bca21666a80fp+1020
+0xa.6afb8a8bec908p+1020
+0xb.3eb62c67a7938p+1020
+0xd.ef4f1c93049bp+1020
+0xe.4b89a4f6e252p+1020
+0xa.6421033a3d268p+1020
+0xa.dddb937aac85p+1020
+0xe.508c67eeb2e1p+1020
+0xd.095e4e745e618p+1020
+0xc.2b47cc1abdb8p+1020
+0xa.8819cfa2358fp+1020
+0x9.02447ab9c5968p+1020
+0x9.0d93861418ca8p+1020
+0xd.d359afc683c2p+1020
+0xe.fdf8d6908493p+1020
+0xf.68dba8150c39p+1020
+0x8.caea813cfa36p+1020
+0xe.fd057b1fa9b4p+1020
+0xf.2a5a85d18afep+1020
+0xb.f11b019b1435p+1020
+0x9.133ffe8ed089p+1020
+0x8.1dc60c5976a68p+1020
+0xb.e4f2b9244aec8p+1020
+0xb.11df81257b95p+1020
+0xb.4ca02878a8dbp+1020
+0xe.8283d2ed3f3b8p+1020
+0xe.a7f305e68cd3p+1020
+0xb.f64bc52ec0e78p+1020