exp_tables.c
1 /* 2 * Copyright (C) 2008-2020 Advanced Micro Devices, Inc. All rights reserved. 3 * 4 * Redistribution and use in source and binary forms, with or without modification, 5 * are permitted provided that the following conditions are met: 6 * 1. Redistributions of source code must retain the above copyright notice, 7 * this list of conditions and the following disclaimer. 8 * 2. Redistributions in binary form must reproduce the above copyright notice, 9 * this list of conditions and the following disclaimer in the documentation 10 * and/or other materials provided with the distribution. 11 * 3. Neither the name of the copyright holder nor the names of its contributors 12 * may be used to endorse or promote products derived from this software without 13 * specific prior written permission. 14 * 15 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND 16 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED 17 * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. 18 * IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, 19 * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, 20 * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, 21 * OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, 22 * WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 23 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 24 * POSSIBILITY OF SUCH DAMAGE. 25 * 26 */ 27 28 #include <stdint.h> 29 30 uint64_t __two_to_jby64_table[] = { 31 0x3ff0000000000000, 0x3ff02c9a3e778061, 0x3ff059b0d3158574, 0x3ff0874518759bc8, 32 0x3ff0b5586cf9890f, 0x3ff0e3ec32d3d1a2, 0x3ff11301d0125b51, 0x3ff1429aaea92de0, 33 0x3ff172b83c7d517b, 0x3ff1a35beb6fcb75, 0x3ff1d4873168b9aa, 0x3ff2063b88628cd6, 34 0x3ff2387a6e756238, 0x3ff26b4565e27cdd, 0x3ff29e9df51fdee1, 0x3ff2d285a6e4030b, 35 0x3ff306fe0a31b715, 0x3ff33c08b26416ff, 0x3ff371a7373aa9cb, 0x3ff3a7db34e59ff7, 36 0x3ff3dea64c123422, 0x3ff4160a21f72e2a, 0x3ff44e086061892d, 0x3ff486a2b5c13cd0, 37 0x3ff4bfdad5362a27, 0x3ff4f9b2769d2ca7, 0x3ff5342b569d4f82, 0x3ff56f4736b527da, 38 0x3ff5ab07dd485429, 0x3ff5e76f15ad2148, 0x3ff6247eb03a5585, 0x3ff6623882552225, 39 0x3ff6a09e667f3bcd, 0x3ff6dfb23c651a2f, 0x3ff71f75e8ec5f74, 0x3ff75feb564267c9, 40 0x3ff7a11473eb0187, 0x3ff7e2f336cf4e62, 0x3ff82589994cce13, 0x3ff868d99b4492ed, 41 0x3ff8ace5422aa0db, 0x3ff8f1ae99157736, 0x3ff93737b0cdc5e5, 0x3ff97d829fde4e50, 42 0x3ff9c49182a3f090, 0x3ffa0c667b5de565, 0x3ffa5503b23e255d, 0x3ffa9e6b5579fdbf, 43 0x3ffae89f995ad3ad, 0x3ffb33a2b84f15fb, 0x3ffb7f76f2fb5e47, 0x3ffbcc1e904bc1d2, 44 0x3ffc199bdd85529c, 0x3ffc67f12e57d14b, 0x3ffcb720dcef9069, 0x3ffd072d4a07897c, 45 0x3ffd5818dcfba487, 0x3ffda9e603db3285, 0x3ffdfc97337b9b5f, 0x3ffe502ee78b3ff6, 46 0x3ffea4afa2a490da, 0x3ffefa1bee615a27, 0x3fff50765b6e4540, 0x3fffa7c1819e90d8, 47 }; 48 49 uint64_t __two_to_jby64_head_table[] = { 50 0x3ff0000000000000, 0x3ff02c9a30000000, 0x3ff059b0d0000000, 0x3ff0874510000000, 51 0x3ff0b55860000000, 0x3ff0e3ec30000000, 0x3ff11301d0000000, 0x3ff1429aa0000000, 52 0x3ff172b830000000, 0x3ff1a35be0000000, 0x3ff1d48730000000, 0x3ff2063b80000000, 53 0x3ff2387a60000000, 0x3ff26b4560000000, 0x3ff29e9df0000000, 0x3ff2d285a0000000, 54 0x3ff306fe00000000, 0x3ff33c08b0000000, 0x3ff371a730000000, 0x3ff3a7db30000000, 55 0x3ff3dea640000000, 0x3ff4160a20000000, 0x3ff44e0860000000, 0x3ff486a2b0000000, 56 0x3ff4bfdad0000000, 0x3ff4f9b270000000, 0x3ff5342b50000000, 0x3ff56f4730000000, 57 0x3ff5ab07d0000000, 0x3ff5e76f10000000, 0x3ff6247eb0000000, 0x3ff6623880000000, 58 0x3ff6a09e60000000, 0x3ff6dfb230000000, 0x3ff71f75e0000000, 0x3ff75feb50000000, 59 0x3ff7a11470000000, 0x3ff7e2f330000000, 0x3ff8258990000000, 0x3ff868d990000000, 60 0x3ff8ace540000000, 0x3ff8f1ae90000000, 0x3ff93737b0000000, 0x3ff97d8290000000, 61 0x3ff9c49180000000, 0x3ffa0c6670000000, 0x3ffa5503b0000000, 0x3ffa9e6b50000000, 62 0x3ffae89f90000000, 0x3ffb33a2b0000000, 0x3ffb7f76f0000000, 0x3ffbcc1e90000000, 63 0x3ffc199bd0000000, 0x3ffc67f120000000, 0x3ffcb720d0000000, 0x3ffd072d40000000, 64 0x3ffd5818d0000000, 0x3ffda9e600000000, 0x3ffdfc9730000000, 0x3ffe502ee0000000, 65 0x3ffea4afa0000000, 0x3ffefa1be0000000, 0x3fff507650000000, 0x3fffa7c180000000, 66 }; 67 68 uint64_t __two_to_jby64_tail_table[] = { 69 0x0000000000000000, 0x3e6cef00c1dcdef9, 0x3e48ac2ba1d73e2a, 0x3e60eb37901186be, 70 0x3e69f3121ec53172, 0x3e469e8d10103a17, 0x3df25b50a4ebbf1a, 0x3e6d525bbf668203, 71 0x3e68faa2f5b9bef9, 0x3e66df96ea796d31, 0x3e368b9aa7805b80, 0x3e60c519ac771dd6, 72 0x3e6ceac470cd83f5, 0x3e5789f37495e99c, 0x3e547f7b84b09745, 0x3e5b900c2d002475, 73 0x3e64636e2a5bd1ab, 0x3e4320b7fa64e430, 0x3e5ceaa72a9c5154, 0x3e53967fdba86f24, 74 0x3e682468446b6824, 0x3e3f72e29f84325b, 0x3e18624b40c4dbd0, 0x3e5704f3404f068e, 75 0x3e54d8a89c750e5e, 0x3e5a74b29ab4cf62, 0x3e5a753e077c2a0f, 0x3e5ad49f699bb2c0, 76 0x3e6a90a852b19260, 0x3e56b48521ba6f93, 0x3e0d2ac258f87d03, 0x3e42a91124893ecf, 77 0x3e59fcef32422cbe, 0x3e68ca345de441c5, 0x3e61d8bee7ba46e1, 0x3e59099f22fdba6a, 78 0x3e4f580c36bea881, 0x3e5b3d398841740a, 0x3e62999c25159f11, 0x3e668925d901c83b, 79 0x3e415506dadd3e2a, 0x3e622aee6c57304e, 0x3e29b8bc9e8a0387, 0x3e6fbc9c9f173d24, 80 0x3e451f8480e3e235, 0x3e66bbcac96535b5, 0x3e41f12ae45a1224, 0x3e55e7f6fd0fac90, 81 0x3e62b5a75abd0e69, 0x3e609e2bf5ed7fa1, 0x3e47daf237553d84, 0x3e12f074891ee83d, 82 0x3e6b0aa538444196, 0x3e6cafa29694426f, 0x3e69df20d22a0797, 0x3e640f12f71a1e45, 83 0x3e69f7490e4bb40b, 0x3e4ed9942b84600d, 0x3e4bdcdaf5cb4656, 0x3e5e2cffd89cf44c, 84 0x3e452486cc2c7b9d, 0x3e6cc2b44eee3fa4, 0x3e66dc8a80ce9f09, 0x3e39e90d82e90a7e, 85 }; 86 87 uint64_t __two_to_jby1024_table[] = { 88 0x3ff0000000000000, 0x3ff002c605e2e8cf, 0x3ff0058c86da1c0a, 0x3ff0085382faef83, 89 0x3ff00b1afa5abcbf, 0x3ff00de2ed0ee0f5, 0x3ff010ab5b2cbd11, 0x3ff0137444c9b5b5, 90 0x3ff0163da9fb3335, 0x3ff019078ad6a19f, 0x3ff01bd1e77170b4, 0x3ff01e9cbfe113ef, 91 0x3ff02168143b0281, 0x3ff02433e494b755, 0x3ff027003103b10e, 0x3ff029ccf99d720a, 92 0x3ff02c9a3e778061, 0x3ff02f67ffa765e6, 0x3ff032363d42b027, 0x3ff03504f75ef071, 93 0x3ff037d42e11bbcc, 0x3ff03aa3e170aafe, 0x3ff03d7411915a8a, 0x3ff04044be896ab6, 94 0x3ff04315e86e7f85, 0x3ff045e78f5640b9, 0x3ff048b9b35659d8, 0x3ff04b8c54847a28, 95 0x3ff04e5f72f654b1, 0x3ff051330ec1a03f, 0x3ff0540727fc1762, 0x3ff056dbbebb786b, 96 0x3ff059b0d3158574, 0x3ff05c866520045b, 0x3ff05f5c74f0bec2, 0x3ff06233029d8216, 97 0x3ff0650a0e3c1f89, 0x3ff067e197e26c14, 0x3ff06ab99fa6407c, 0x3ff06d92259d794d, 98 0x3ff0706b29ddf6de, 0x3ff07344ac7d9d51, 0x3ff0761ead925493, 0x3ff078f92d32085d, 99 0x3ff07bd42b72a836, 0x3ff07eafa86a2771, 0x3ff0818ba42e7d30, 0x3ff084681ed5a462, 100 0x3ff0874518759bc8, 0x3ff08a22912465f2, 0x3ff08d0088f8093f, 0x3ff08fdf00068fe2, 101 0x3ff092bdf66607e0, 0x3ff0959d6c2c830d, 0x3ff0987d61701716, 0x3ff09b5dd646dd77, 102 0x3ff09e3ecac6f383, 0x3ff0a1203f067a63, 0x3ff0a402331b9715, 0x3ff0a6e4a71c726e, 103 0x3ff0a9c79b1f3919, 0x3ff0acab0f3a1b9c, 0x3ff0af8f03834e52, 0x3ff0b27378110974, 104 0x3ff0b5586cf9890f, 0x3ff0b83de2530d11, 0x3ff0bb23d833d93f, 0x3ff0be0a4eb2353b, 105 0x3ff0c0f145e46c85, 0x3ff0c3d8bde0ce7a, 0x3ff0c6c0b6bdae53, 0x3ff0c9a93091632a, 106 0x3ff0cc922b7247f7, 0x3ff0cf7ba776bb94, 0x3ff0d265a4b520ba, 0x3ff0d5502343de02, 107 0x3ff0d83b23395dec, 0x3ff0db26a4ac0ed5, 0x3ff0de12a7b26300, 0x3ff0e0ff2c62d096, 108 0x3ff0e3ec32d3d1a2, 0x3ff0e6d9bb1be415, 0x3ff0e9c7c55189c6, 0x3ff0ecb6518b4874, 109 0x3ff0efa55fdfa9c5, 0x3ff0f294f0653b45, 0x3ff0f58503328e6d, 0x3ff0f875985e389b, 110 0x3ff0fb66affed31b, 0x3ff0fe584a2afb21, 0x3ff1014a66f951ce, 0x3ff1043d06807c2f, 111 0x3ff1073028d7233e, 0x3ff10a23ce13f3e2, 0x3ff10d17f64d9ef1, 0x3ff1100ca19ad92f, 112 0x3ff11301d0125b51, 0x3ff115f781cae1fa, 0x3ff118edb6db2dc1, 0x3ff11be46f5a032c, 113 0x3ff11edbab5e2ab6, 0x3ff121d36afe70c9, 0x3ff124cbae51a5c8, 0x3ff127c4756e9e05, 114 0x3ff12abdc06c31cc, 0x3ff12db78f613d5b, 0x3ff130b1e264a0e9, 0x3ff133acb98d40a2, 115 0x3ff136a814f204ab, 0x3ff139a3f4a9d922, 0x3ff13ca058cbae1e, 0x3ff13f9d416e77af, 116 0x3ff1429aaea92de0, 0x3ff14598a092ccb7, 0x3ff1489717425438, 0x3ff14b9612cec861, 117 0x3ff14e95934f312e, 0x3ff1519598da9a9a, 0x3ff154962388149e, 0x3ff15797336eb333, 118 0x3ff15a98c8a58e51, 0x3ff15d9ae343c1f2, 0x3ff1609d83606e12, 0x3ff163a0a912b6ac, 119 0x3ff166a45471c3c2, 0x3ff169a88594c157, 0x3ff16cad3c92df73, 0x3ff16fb279835224, 120 0x3ff172b83c7d517b, 0x3ff175be85981992, 0x3ff178c554eaea89, 0x3ff17bccaa8d0888, 121 0x3ff17ed48695bbc0, 0x3ff181dce91c506a, 0x3ff184e5d23816c9, 0x3ff187ef4200632b, 122 0x3ff18af9388c8dea, 0x3ff18e03b5f3f36b, 0x3ff1910eba4df41f, 0x3ff1941a45b1f487, 123 0x3ff1972658375d2f, 0x3ff19a32f1f59ab4, 0x3ff19d4013041dc2, 0x3ff1a04dbb7a5b13, 124 0x3ff1a35beb6fcb75, 0x3ff1a66aa2fbebc7, 0x3ff1a979e2363cf8, 0x3ff1ac89a936440d, 125 0x3ff1af99f8138a1c, 0x3ff1b2aacee59c53, 0x3ff1b5bc2dc40bf0, 0x3ff1b8ce14c66e4c, 126 0x3ff1bbe084045cd4, 0x3ff1bef37b95750b, 0x3ff1c206fb91588f, 0x3ff1c51b040fad15, 127 0x3ff1c82f95281c6b, 0x3ff1cb44aef2547a, 0x3ff1ce5a51860746, 0x3ff1d1707cfaeaed, 128 0x3ff1d4873168b9aa, 0x3ff1d79e6ee731d7, 0x3ff1dab6358e15e8, 0x3ff1ddce85752c71, 129 0x3ff1e0e75eb44027, 0x3ff1e400c1631fdb, 0x3ff1e71aad999e82, 0x3ff1ea35236f9330, 130 0x3ff1ed5022fcd91d, 0x3ff1f06bac594fa0, 0x3ff1f387bf9cda38, 0x3ff1f6a45cdf6085, 131 0x3ff1f9c18438ce4d, 0x3ff1fcdf35c1137a, 0x3ff1fffd7190241e, 0x3ff2031c37bdf872, 132 0x3ff2063b88628cd6, 0x3ff2095b6395e1d2, 0x3ff20c7bc96ffc18, 0x3ff20f9cba08e483, 133 0x3ff212be3578a819, 0x3ff215e03bd7580c, 0x3ff21902cd3d09b9, 0x3ff21c25e9c1d6aa, 134 0x3ff21f49917ddc96, 0x3ff2226dc4893d64, 0x3ff2259282fc1f27, 0x3ff228b7cceeac25, 135 0x3ff22bdda27912d1, 0x3ff22f0403b385d2, 0x3ff2322af0b63bff, 0x3ff2355269997062, 136 0x3ff2387a6e756238, 0x3ff23ba2ff6254f4, 0x3ff23ecc1c78903a, 0x3ff241f5c5d05fe6, 137 0x3ff2451ffb82140a, 0x3ff2484abda600ef, 0x3ff24b760c547f15, 0x3ff24ea1e7a5eb35, 138 0x3ff251ce4fb2a63f, 0x3ff254fb44931561, 0x3ff25828c65fa1ff, 0x3ff25b56d530b9bc, 139 0x3ff25e85711ece75, 0x3ff261b49a425645, 0x3ff264e450b3cb82, 0x3ff26814948bacc3, 140 0x3ff26b4565e27cdd, 0x3ff26e76c4d0c2e5, 0x3ff271a8b16f0a30, 0x3ff274db2bd5e254, 141 0x3ff2780e341ddf29, 0x3ff27b41ca5f98cb, 0x3ff27e75eeb3ab98, 0x3ff281aaa132b832, 142 0x3ff284dfe1f56381, 0x3ff28815b11456b1, 0x3ff28b4c0ea83f36, 0x3ff28e82fac9ceca, 143 0x3ff291ba7591bb70, 0x3ff294f27f18bf72, 0x3ff2982b17779965, 0x3ff29b643ec70c27, 144 0x3ff29e9df51fdee1, 0x3ff2a1d83a9add08, 0x3ff2a5130f50d65c, 0x3ff2a84e735a9eec, 145 0x3ff2ab8a66d10f13, 0x3ff2aec6e9cd037b, 0x3ff2b203fc675d1f, 0x3ff2b5419eb90148, 146 0x3ff2b87fd0dad990, 0x3ff2bbbe92e5d3e3, 0x3ff2befde4f2e280, 0x3ff2c23dc71afbf7, 147 0x3ff2c57e39771b2f, 0x3ff2c8bf3c203f5f, 0x3ff2cc00cf2f6c18, 0x3ff2cf42f2bda93d, 148 0x3ff2d285a6e4030b, 0x3ff2d5c8ebbb8a15, 0x3ff2d90cc15d5346, 0x3ff2dc5127e277e3, 149 0x3ff2df961f641589, 0x3ff2e2dba7fb4e33, 0x3ff2e621c1c14833, 0x3ff2e9686ccf2e3b, 150 0x3ff2ecafa93e2f56, 0x3ff2eff777277ef0, 0x3ff2f33fd6a454d2, 0x3ff2f688c7cded23, 151 0x3ff2f9d24abd886b, 0x3ff2fd1c5f8c6b93, 0x3ff300670653dfe4, 0x3ff303b23f2d330b, 152 0x3ff306fe0a31b715, 0x3ff30a4a677ac276, 0x3ff30d975721b004, 0x3ff310e4d93fdefb, 153 0x3ff31432edeeb2fd, 0x3ff3178195479413, 0x3ff31ad0cf63eeac, 0x3ff31e209c5d33a0, 154 0x3ff32170fc4cd831, 0x3ff324c1ef4c560a, 0x3ff3281375752b40, 0x3ff32b658ee0da54, 155 0x3ff32eb83ba8ea32, 0x3ff3320b7be6e633, 0x3ff3355f4fb45e20, 0x3ff338b3b72ae62d, 156 0x3ff33c08b26416ff, 0x3ff33f5e41798daa, 0x3ff342b46484ebb4, 0x3ff3460b1b9fd712, 157 0x3ff3496266e3fa2d, 0x3ff34cba466b03e1, 0x3ff35012ba4ea77d, 0x3ff3536bc2a89cc4, 158 0x3ff356c55f929ff1, 0x3ff35a1f912671b1, 0x3ff35d7a577dd72b, 0x3ff360d5b2b299fc, 159 0x3ff36431a2de883b, 0x3ff3678e281b7475, 0x3ff36aeb428335b4, 0x3ff36e48f22fa77c, 160 0x3ff371a7373aa9cb, 0x3ff3750611be211c, 0x3ff3786581d3f669, 0x3ff37bc587961726, 161 0x3ff37f26231e754a, 0x3ff3828754870746, 0x3ff385e91be9c811, 0x3ff3894b7960b71f, 162 0x3ff38cae6d05d866, 0x3ff39011f6f3345f, 0x3ff393761742d808, 0x3ff396dace0ed4e1, 163 0x3ff39a401b7140ef, 0x3ff39da5ff8436bc, 0x3ff3a10c7a61d55b, 0x3ff3a4738c244064, 164 0x3ff3a7db34e59ff7, 0x3ff3ab4374c020bd, 0x3ff3aeac4bcdf3ea, 0x3ff3b215ba294f39, 165 0x3ff3b57fbfec6cf4, 0x3ff3b8ea5d318bef, 0x3ff3bc559212ef89, 0x3ff3bfc15eaadfb1, 166 0x3ff3c32dc313a8e5, 0x3ff3c69abf679c2e, 0x3ff3ca0853c10f28, 0x3ff3cd76803a5c00, 167 0x3ff3d0e544ede173, 0x3ff3d454a1f602d0, 0x3ff3d7c4976d27fa, 0x3ff3db35256dbd67, 168 0x3ff3dea64c123422, 0x3ff3e2180b7501cc, 0x3ff3e58a63b0a09b, 0x3ff3e8fd54df8f5c, 169 0x3ff3ec70df1c5175, 0x3ff3efe502816ee3, 0x3ff3f359bf29743f, 0x3ff3f6cf152ef2b8, 170 0x3ff3fa4504ac801c, 0x3ff3fdbb8dbcb6d2, 0x3ff40132b07a35df, 0x3ff404aa6cffa0e5, 171 0x3ff40822c367a024, 0x3ff40b9bb3cce07c, 0x3ff40f153e4a136a, 0x3ff4128f62f9ef0e, 172 0x3ff4160a21f72e2a, 0x3ff419857b5c901f, 0x3ff41d016f44d8f5, 0x3ff4207dfdcad153, 173 0x3ff423fb2709468a, 0x3ff42778eb1b0a8b, 0x3ff42af74a1af3f1, 0x3ff42e764423ddfd, 174 0x3ff431f5d950a897, 0x3ff4357609bc3850, 0x3ff438f6d5817663, 0x3ff43c783cbb50b4, 175 0x3ff43ffa3f84b9d4, 0x3ff4437cddf8a8fe, 0x3ff4470018321a1a, 0x3ff44a83ee4c0dbd, 176 0x3ff44e086061892d, 0x3ff4518d6e8d965b, 0x3ff4551318eb43ec, 0x3ff458995f95a532, 177 0x3ff45c2042a7d232, 0x3ff45fa7c23ce7a4, 0x3ff4632fde7006f4, 0x3ff466b8975c563e, 178 0x3ff46a41ed1d0057, 0x3ff46dcbdfcd34c8, 0x3ff471566f8827d0, 0x3ff474e19c691265, 179 0x3ff4786d668b3237, 0x3ff47bf9ce09c9ab, 0x3ff47f86d3001fe5, 0x3ff48314758980bf, 180 0x3ff486a2b5c13cd0, 0x3ff48a3193c2a96c, 0x3ff48dc10fa920a1, 0x3ff491512990013f, 181 0x3ff494e1e192aed2, 0x3ff4987337cc91a5, 0x3ff49c052c5916c4, 0x3ff49f97bf53affd, 182 0x3ff4a32af0d7d3de, 0x3ff4a6bec100fdba, 0x3ff4aa532feaada6, 0x3ff4ade83db0687a, 183 0x3ff4b17dea6db7d7, 0x3ff4b514363e2a20, 0x3ff4b8ab213d5283, 0x3ff4bc42ab86c8f1, 184 0x3ff4bfdad5362a27, 0x3ff4c3739e6717aa, 0x3ff4c70d073537ca, 0x3ff4caa70fbc35a1, 185 0x3ff4ce41b817c114, 0x3ff4d1dd00638ed8, 0x3ff4d578e8bb586b, 0x3ff4d915713adc1e, 186 0x3ff4dcb299fddd0d, 0x3ff4e05063202327, 0x3ff4e3eeccbd7b2a, 0x3ff4e78dd6f1b6a6, 187 0x3ff4eb2d81d8abff, 0x3ff4eecdcd8e3669, 0x3ff4f26eba2e35f0, 0x3ff4f61047d48f73, 188 0x3ff4f9b2769d2ca7, 0x3ff4fd5546a3fc17, 0x3ff500f8b804f127, 0x3ff5049ccadc0412, 189 0x3ff508417f4531ee, 0x3ff50be6d55c7ca9, 0x3ff50f8ccd3deb0d, 0x3ff51333670588bf, 190 0x3ff516daa2cf6642, 0x3ff51a8280b798f4, 0x3ff51e2b00da3b14, 0x3ff521d423536bbe, 191 0x3ff5257de83f4eef, 0x3ff529284fba0d84, 0x3ff52cd359dfd53d, 0x3ff5307f06ccd8ba, 192 0x3ff5342b569d4f82, 0x3ff537d8496d75fc, 0x3ff53b85df598d78, 0x3ff53f34187ddc28, 193 0x3ff542e2f4f6ad27, 0x3ff5469274e05078, 0x3ff54a4298571b06, 0x3ff54df35f7766a3, 194 0x3ff551a4ca5d920f, 0x3ff55556d92600f1, 0x3ff559098bed1bdf, 0x3ff55cbce2cf505b, 195 0x3ff56070dde910d2, 0x3ff564257d56d4a2, 0x3ff567dac1351819, 0x3ff56b90a9a05c72, 196 0x3ff56f4736b527da, 0x3ff572fe68900573, 0x3ff576b63f4d854c, 0x3ff57a6ebb0a3c6d, 197 0x3ff57e27dbe2c4cf, 0x3ff581e1a1f3bd60, 0x3ff5859c0d59ca07, 0x3ff589571e31939f, 198 0x3ff58d12d497c7fd, 0x3ff590cf30a919ed, 0x3ff5948c32824135, 0x3ff59849da3ffa96, 199 0x3ff59c0827ff07cc, 0x3ff59fc71bdc2f8e, 0x3ff5a386b5f43d92, 0x3ff5a746f664028b, 200 0x3ff5ab07dd485429, 0x3ff5aec96abe0d1f, 0x3ff5b28b9ee20d1e, 0x3ff5b64e79d138d8, 201 0x3ff5ba11fba87a03, 0x3ff5bdd62484bf56, 0x3ff5c19af482fc8f, 0x3ff5c5606bc02a6d, 202 0x3ff5c9268a5946b7, 0x3ff5cced506b543a, 0x3ff5d0b4be135acc, 0x3ff5d47cd36e6747, 203 0x3ff5d84590998b93, 0x3ff5dc0ef5b1de9e, 0x3ff5dfd902d47c65, 0x3ff5e3a3b81e85ec, 204 0x3ff5e76f15ad2148, 0x3ff5eb3b1b9d799a, 0x3ff5ef07ca0cbf0f, 0x3ff5f2d5211826e8, 205 0x3ff5f6a320dceb71, 0x3ff5fa71c9784c0b, 0x3ff5fe411b078d26, 0x3ff6021115a7f849, 206 0x3ff605e1b976dc09, 0x3ff609b306918c13, 0x3ff60d84fd15612a, 0x3ff611579d1fb925, 207 0x3ff6152ae6cdf6f4, 0x3ff618feda3d829f, 0x3ff61cd3778bc944, 0x3ff620a8bed63d1f, 208 0x3ff6247eb03a5585, 0x3ff628554bd58ee5, 0x3ff62c2c91c56acd, 0x3ff6300482276fe8, 209 0x3ff633dd1d1929fd, 0x3ff637b662b829f5, 0x3ff63b90532205d8, 0x3ff63f6aee7458cd, 210 0x3ff6434634ccc320, 0x3ff647222648ea3d, 0x3ff64afec30678b7, 0x3ff64edc0b231e41, 211 0x3ff652b9febc8fb7, 0x3ff656989df08719, 0x3ff65a77e8dcc390, 0x3ff65e57df9f096b, 212 0x3ff6623882552225, 0x3ff66619d11cdc5f, 0x3ff669fbcc140be7, 0x3ff66dde735889b8, 213 0x3ff671c1c70833f6, 0x3ff675a5c740edf5, 0x3ff6798a7420a036, 0x3ff67d6fcdc5386a, 214 0x3ff68155d44ca973, 0x3ff6853c87d4eb62, 0x3ff68923e87bfb7a, 0x3ff68d0bf65fdc34, 215 0x3ff690f4b19e9538, 0x3ff694de1a563367, 0x3ff698c830a4c8d4, 0x3ff69cb2f4a86cca, 216 0x3ff6a09e667f3bcd, 0x3ff6a48a86475795, 0x3ff6a877541ee718, 0x3ff6ac64d0241683, 217 0x3ff6b052fa75173e, 0x3ff6b441d3301fee, 0x3ff6b8315a736c75, 0x3ff6bc21905d3df0, 218 0x3ff6c012750bdabf, 0x3ff6c404089d8e7d, 0x3ff6c7f64b30aa09, 0x3ff6cbe93ce38381, 219 0x3ff6cfdcddd47645, 0x3ff6d3d12e21e2fb, 0x3ff6d7c62dea2f8a, 0x3ff6dbbbdd4bc720, 220 0x3ff6dfb23c651a2f, 0x3ff6e3a94b549e71, 0x3ff6e7a10a38cee8, 0x3ff6eb9979302bdd, 221 0x3ff6ef9298593ae5, 0x3ff6f38c67d286dd, 0x3ff6f786e7ba9fef, 0x3ff6fb8218301b90, 222 0x3ff6ff7df9519484, 0x3ff7037a8b3daadb, 0x3ff70777ce1303f6, 0x3ff70b75c1f04a84, 223 0x3ff70f7466f42e87, 0x3ff71373bd3d6551, 0x3ff71773c4eaa988, 0x3ff71b747e1abb24, 224 0x3ff71f75e8ec5f74, 0x3ff72378057e611a, 0x3ff7277ad3ef9011, 0x3ff72b7e545ec1a8, 225 0x3ff72f8286ead08a, 0x3ff733876bb29cb8, 0x3ff7378d02d50b8f, 0x3ff73b934c7107c7, 226 0x3ff73f9a48a58174, 0x3ff743a1f7916e05, 0x3ff747aa5953c849, 0x3ff74bb36e0b906d, 227 0x3ff74fbd35d7cbfd, 0x3ff753c7b0d785e8, 0x3ff757d2df29ce7c, 0x3ff75bdec0edbb6b, 228 0x3ff75feb564267c9, 0x3ff763f89f46f40f, 0x3ff768069c1a861d, 0x3ff76c154cdc4937, 229 0x3ff77024b1ab6e09, 0x3ff77434caa72aa7, 0x3ff7784597eeba8f, 0x3ff77c5719a15ea6, 230 0x3ff780694fde5d3f, 0x3ff7847c3ac50219, 0x3ff7888fda749e5d, 0x3ff78ca42f0c88a5, 231 0x3ff790b938ac1cf6, 0x3ff794cef772bcc9, 0x3ff798e56b7fcf03, 0x3ff79cfc94f2bfff, 232 0x3ff7a11473eb0187, 0x3ff7a52d08880ad9, 0x3ff7a94652e958aa, 0x3ff7ad60532e6d20, 233 0x3ff7b17b0976cfdb, 0x3ff7b59675e20def, 0x3ff7b9b2988fb9ec, 0x3ff7bdcf719f6bd7, 234 0x3ff7c1ed0130c132, 0x3ff7c60b47635cf9, 0x3ff7ca2a4456e7a3, 0x3ff7ce49f82b0f24, 235 0x3ff7d26a62ff86f0, 0x3ff7d68b84f407f8, 0x3ff7daad5e2850ac, 0x3ff7decfeebc24fe, 236 0x3ff7e2f336cf4e62, 0x3ff7e71736819bcd, 0x3ff7eb3bedf2e1b9, 0x3ff7ef615d42fa24, 237 0x3ff7f3878491c491, 0x3ff7f7ae63ff260a, 0x3ff7fbd5fbab091f, 0x3ff7fffe4bb55dec, 238 0x3ff80427543e1a12, 0x3ff80851156538be, 0x3ff80c7b8f4abaa9, 0x3ff810a6c20ea617, 239 0x3ff814d2add106d9, 0x3ff818ff52b1ee50, 0x3ff81d2cb0d1736a, 0x3ff8215ac84fb2a6, 240 0x3ff82589994cce13, 0x3ff829b923e8ed53, 0x3ff82de968443d9a, 0x3ff8321a667ef1b2, 241 0x3ff8364c1eb941f7, 0x3ff83a7e91136c5d, 0x3ff83eb1bdadb46d, 0x3ff842e5a4a8634a, 242 0x3ff8471a4623c7ad, 0x3ff84b4fa24035ea, 0x3ff84f85b91e07f1, 0x3ff853bc8add9d4c, 243 0x3ff857f4179f5b21, 0x3ff85c2c5f83ac35, 0x3ff8606562ab00ec, 0x3ff8649f2135cf48, 244 0x3ff868d99b4492ed, 0x3ff86d14d0f7cd1d, 0x3ff87150c27004c2, 0x3ff8758d6fcdc666, 245 0x3ff879cad931a436, 0x3ff87e08febc3608, 0x3ff88247e08e1957, 0x3ff886877ec7f144, 246 0x3ff88ac7d98a6699, 0x3ff88f08f0f627cb, 0x3ff8934ac52be8f7, 0x3ff8978d564c63e7, 247 0x3ff89bd0a478580f, 0x3ff8a014afd08a94, 0x3ff8a4597875c644, 0x3ff8a89efe88dba1, 248 0x3ff8ace5422aa0db, 0x3ff8b12c437bf1d4, 0x3ff8b574029db01e, 0x3ff8b9bc7fb0c302, 249 0x3ff8be05bad61778, 0x3ff8c24fb42ea033, 0x3ff8c69a6bdb5598, 0x3ff8cae5e1fd35c4, 250 0x3ff8cf3216b5448c, 0x3ff8d37f0a248b7f, 0x3ff8d7ccbc6c19e6, 0x3ff8dc1b2dad04c4, 251 0x3ff8e06a5e0866d9, 0x3ff8e4ba4d9f60a1, 0x3ff8e90afc931857, 0x3ff8ed5c6b04b9f6, 252 0x3ff8f1ae99157736, 0x3ff8f60186e68793, 0x3ff8fa553499284b, 0x3ff8fea9a24e9c5c, 253 0x3ff902fed0282c8a, 0x3ff90754be472760, 0x3ff90bab6ccce12c, 0x3ff91002dbdab403, 254 0x3ff9145b0b91ffc6, 0x3ff918b3fc142a19, 0x3ff91d0dad829e70, 0x3ff921681ffece05, 255 0x3ff925c353aa2fe2, 0x3ff92a1f48a640dc, 0x3ff92e7bff148396, 0x3ff932d977168083, 256 0x3ff93737b0cdc5e5, 0x3ff93b96ac5be7d1, 0x3ff93ff669e2802b, 0x3ff94456e9832ead, 257 0x3ff948b82b5f98e5, 0x3ff94d1a2f996a33, 0x3ff9517cf65253d1, 0x3ff955e07fac0ccd, 258 0x3ff95a44cbc8520f, 0x3ff95ea9dac8e658, 0x3ff9630faccf9243, 0x3ff9677641fe2446, 259 0x3ff96bdd9a7670b3, 0x3ff97045b65a51ba, 0x3ff974ae95cba768, 0x3ff9791838ec57ab, 260 0x3ff97d829fde4e50, 0x3ff981edcac37d05, 0x3ff98659b9bddb5b, 0x3ff98ac66cef66c8, 261 0x3ff98f33e47a22a2, 0x3ff993a220801829, 0x3ff9981121235681, 0x3ff99c80e685f2b5, 262 0x3ff9a0f170ca07ba, 0x3ff9a562c011b66d, 0x3ff9a9d4d47f2598, 0x3ff9ae47ae3481ed, 263 0x3ff9b2bb4d53fe0d, 0x3ff9b72fb1ffd285, 0x3ff9bba4dc5a3dd3, 0x3ff9c01acc858463, 264 0x3ff9c49182a3f090, 0x3ff9c908fed7d2aa, 0x3ff9cd81414380f2, 0x3ff9d1fa4a09579d, 265 0x3ff9d674194bb8d5, 0x3ff9daeeaf2d0cb8, 0x3ff9df6a0bcfc15e, 0x3ff9e3e62f564ad5, 266 0x3ff9e86319e32323, 0x3ff9ece0cb98ca4b, 0x3ff9f15f4499c647, 0x3ff9f5de8508a311, 267 0x3ff9fa5e8d07f29e, 0x3ff9fedf5cba4ce0, 0x3ffa0360f4424fcb, 0x3ffa07e353c29f50, 268 0x3ffa0c667b5de565, 0x3ffa10ea6b36d1fe, 0x3ffa156f23701b15, 0x3ffa19f4a42c7ca9, 269 0x3ffa1e7aed8eb8bb, 0x3ffa2301ffb99757, 0x3ffa2789dacfe68c, 0x3ffa2c127ef47a74, 270 0x3ffa309bec4a2d33, 0x3ffa352622f3def6, 0x3ffa39b1231475f7, 0x3ffa3e3ceccede7c, 271 0x3ffa42c980460ad8, 0x3ffa4756dd9cf36e, 0x3ffa4be504f696b1, 0x3ffa5073f675f924, 272 0x3ffa5503b23e255d, 0x3ffa599438722c03, 0x3ffa5e25893523d4, 0x3ffa62b7a4aa29a1, 273 0x3ffa674a8af46052, 0x3ffa6bde3c36f0e6, 0x3ffa7072b8950a73, 0x3ffa75080031e22b, 274 0x3ffa799e1330b358, 0x3ffa7e34f1b4bf62, 0x3ffa82cc9be14dca, 0x3ffa876511d9ac32, 275 0x3ffa8bfe53c12e59, 0x3ffa909861bb2e1d, 0x3ffa95333beb0b7e, 0x3ffa99cee2742c9d, 276 0x3ffa9e6b5579fdbf, 0x3ffaa308951ff14d, 0x3ffaa7a6a1897fd2, 0x3ffaac457ada2803, 277 0x3ffab0e521356eba, 0x3ffab58594bedefa, 0x3ffaba26d59a09ee, 0x3ffabec8e3ea86ee, 278 0x3ffac36bbfd3f37a, 0x3ffac80f6979f340, 0x3ffaccb3e100301e, 0x3ffad159268a5a1c, 279 0x3ffad5ff3a3c2774, 0x3ffadaa61c395493, 0x3ffadf4dcca5a413, 0x3ffae3f64ba4dec6, 280 0x3ffae89f995ad3ad, 0x3ffaed49b5eb5803, 0x3ffaf1f4a17a4735, 0x3ffaf6a05c2b82e9, 281 0x3ffafb4ce622f2ff, 0x3ffafffa3f84858c, 0x3ffb04a868742ee4, 0x3ffb09576115e994, 282 0x3ffb0e07298db666, 0x3ffb12b7c1ff9c61, 0x3ffb17692a8fa8cd, 0x3ffb1c1b6361ef31, 283 0x3ffb20ce6c9a8952, 0x3ffb2582465d973c, 0x3ffb2a36f0cf3f3a, 0x3ffb2eec6c13addd, 284 0x3ffb33a2b84f15fb, 0x3ffb3859d5a5b0b1, 0x3ffb3d11c43bbd62, 0x3ffb41ca843581ba, 285 0x3ffb468415b749b1, 0x3ffb4b3e78e56786, 0x3ffb4ff9ade433c6, 0x3ffb54b5b4d80d4a, 286 0x3ffb59728de5593a, 0x3ffb5e303930830c, 0x3ffb62eeb6ddfc87, 0x3ffb67ae07123dc3, 287 0x3ffb6c6e29f1c52a, 0x3ffb712f1fa1177b, 0x3ffb75f0e844bfc6, 0x3ffb7ab384014f76, 288 0x3ffb7f76f2fb5e47, 0x3ffb843b35578a51, 0x3ffb89004b3a7804, 0x3ffb8dc634c8d228, 289 0x3ffb928cf22749e4, 0x3ffb9754837a96b7, 0x3ffb9c1ce8e77680, 0x3ffba0e62292ad7d, 290 0x3ffba5b030a1064a, 0x3ffbaa7b133751e3, 0x3ffbaf46ca7a67a7, 0x3ffbb413568f255a, 291 0x3ffbb8e0b79a6f1f, 0x3ffbbdaeedc12f82, 0x3ffbc27df9285775, 0x3ffbc74dd9f4de4f, 292 0x3ffbcc1e904bc1d2, 0x3ffbd0f01c520628, 0x3ffbd5c27e2cb5e5, 0x3ffbda95b600e20b, 293 0x3ffbdf69c3f3a207, 0x3ffbe43ea82a13b5, 0x3ffbe91462c95b60, 0x3ffbedeaf3f6a3c2, 294 0x3ffbf2c25bd71e09, 0x3ffbf79a9a9001d2, 0x3ffbfc73b0468d30, 0x3ffc014d9d2004aa, 295 0x3ffc06286141b33d, 0x3ffc0b03fcd0ea5c, 0x3ffc0fe06ff301f4, 0x3ffc14bdbacd586a, 296 0x3ffc199bdd85529c, 0x3ffc1e7ad8405be6, 0x3ffc235aab23e61e, 0x3ffc283b56556999, 297 0x3ffc2d1cd9fa652c, 0x3ffc31ff36385e29, 0x3ffc36e26b34e065, 0x3ffc3bc679157e38, 298 0x3ffc40ab5fffd07a, 0x3ffc45912019768c, 0x3ffc4a77b9881650, 0x3ffc4f5f2c715c31, 299 0x3ffc544778fafb22, 0x3ffc59309f4aac9f, 0x3ffc5e1a9f8630ad, 0x3ffc630579d34ddd, 300 0x3ffc67f12e57d14b, 0x3ffc6cddbd398ea4, 0x3ffc71cb269e601f, 0x3ffc76b96aac2686, 301 0x3ffc7ba88988c933, 0x3ffc8098835a3611, 0x3ffc8589584661a1, 0x3ffc8a7b087346f4, 302 0x3ffc8f6d9406e7b5, 0x3ffc9460fb274c22, 0x3ffc99553dfa8313, 0x3ffc9e4a5ca6a1f8, 303 0x3ffca3405751c4db, 0x3ffca8372e220e61, 0x3ffcad2ee13da7cb, 0x3ffcb22770cac0f9, 304 0x3ffcb720dcef9069, 0x3ffcbc1b25d25337, 0x3ffcc1164b994d23, 0x3ffcc6124e6ac88b, 305 0x3ffccb0f2e6d1675, 0x3ffcd00cebc68e87, 0x3ffcd50b869d8f0f, 0x3ffcda0aff187d02, 306 0x3ffcdf0b555dc3fa, 0x3ffce40c8993d63d, 0x3ffce90e9be12cb9, 0x3ffcee118c6c4709, 307 0x3ffcf3155b5bab74, 0x3ffcf81a08d5e6ec, 0x3ffcfd1f95018d17, 0x3ffd022600053845, 308 0x3ffd072d4a07897c, 0x3ffd0c35732f2870, 0x3ffd113e7ba2c38c, 0x3ffd164863890fee, 309 0x3ffd1b532b08c968, 0x3ffd205ed248b287, 0x3ffd256b596f948c, 0x3ffd2a78c0a43f72, 310 0x3ffd2f87080d89f2, 0x3ffd34962fd2517a, 0x3ffd39a638197a3c, 0x3ffd3eb72109ef21, 311 0x3ffd43c8eacaa1d6, 0x3ffd48db95828ac7, 0x3ffd4def2158a91f, 0x3ffd53038e7402ce, 312 0x3ffd5818dcfba487, 0x3ffd5d2f0d16a1c3, 0x3ffd62461eec14be, 0x3ffd675e12a31e7f, 313 0x3ffd6c76e862e6d3, 0x3ffd7190a0529c51, 0x3ffd76ab3a99745b, 0x3ffd7bc6b75eab1f, 314 0x3ffd80e316c98398, 0x3ffd86005901478f, 0x3ffd8b1e7e2d479d, 0x3ffd903d8674db2b, 315 0x3ffd955d71ff6075, 0x3ffd9a7e40f43c89, 0x3ffd9f9ff37adb4a, 0x3ffda4c289baaf6e, 316 0x3ffda9e603db3285, 0x3ffdaf0a6203e4f5, 0x3ffdb42fa45c4dfd, 0x3ffdb955cb0bfbb6, 317 0x3ffdbe7cd63a8315, 0x3ffdc3a4c60f7fea, 0x3ffdc8cd9ab294e4, 0x3ffdcdf7544b6b92, 318 0x3ffdd321f301b460, 0x3ffdd84d76fd269e, 0x3ffddd79e065807d, 0x3ffde2a72f628712, 319 0x3ffde7d5641c0658, 0x3ffded047eb9d12d, 0x3ffdf2347f63c159, 0x3ffdf7656641b78c, 320 0x3ffdfc97337b9b5f, 0x3ffe01c9e7395b56, 0x3ffe06fd81a2ece1, 0x3ffe0c3202e04c5d, 321 0x3ffe11676b197d17, 0x3ffe169dba768949, 0x3ffe1bd4f11f8220, 0x3ffe210d0f3c7fba, 322 0x3ffe264614f5a129, 0x3ffe2b8002730c71, 0x3ffe30bad7dcee90, 0x3ffe35f6955b7b78, 323 0x3ffe3b333b16ee12, 0x3ffe4070c9378842, 0x3ffe45af3fe592e8, 0x3ffe4aee9f495ddc, 324 0x3ffe502ee78b3ff6, 0x3ffe557018d3970b, 0x3ffe5ab2334ac7ee, 0x3ffe5ff537193e75, 325 0x3ffe653924676d76, 0x3ffe6a7dfb5dceca, 0x3ffe6fc3bc24e350, 0x3ffe750a66e532eb, 326 0x3ffe7a51fbc74c83, 0x3ffe7f9a7af3c60b, 0x3ffe84e3e4933c7e, 0x3ffe8a2e38ce53df, 327 0x3ffe8f7977cdb740, 0x3ffe94c5a1ba18bd, 0x3ffe9a12b6bc3181, 0x3ffe9f60b6fcc1c7, 328 0x3ffea4afa2a490da, 0x3ffea9ff79dc6d14, 0x3ffeaf503ccd2be5, 0x3ffeb4a1eb9fa9d1, 329 0x3ffeb9f4867cca6e, 0x3ffebf480d8d786d, 0x3ffec49c80faa594, 0x3ffec9f1e0ed4ac2, 330 0x3ffecf482d8e67f1, 0x3ffed49f67070435, 0x3ffed9f78d802dc2, 0x3ffedf50a122f9e6, 331 0x3ffee4aaa2188510, 0x3ffeea059089f2d0, 0x3ffeef616ca06dd6, 0x3ffef4be368527f6, 332 0x3ffefa1bee615a27, 0x3ffeff7a945e4487, 0x3fff04da28a52e59, 0x3fff0a3aab5f6609, 333 0x3fff0f9c1cb6412a, 0x3fff14fe7cd31c7b, 0x3fff1a61cbdf5be7, 0x3fff1fc60a046a84, 334 0x3fff252b376bba97, 0x3fff2a91543ec595, 0x3fff2ff860a70c22, 0x3fff35605cce1613, 335 0x3fff3ac948dd7274, 0x3fff403324feb781, 0x3fff459df15b82ac, 0x3fff4b09ae1d78a1, 336 0x3fff50765b6e4540, 0x3fff55e3f9779ba5, 0x3fff5b5288633625, 0x3fff60c2085ad652, 337 0x3fff6632798844f8, 0x3fff6ba3dc155226, 0x3fff7116302bd526, 0x3fff768975f5ac86, 338 0x3fff7bfdad9cbe14, 0x3fff8172d74af6e1, 0x3fff86e8f32a4b45, 0x3fff8c600164b6dc, 339 0x3fff91d802243c89, 0x3fff9750f592e677, 0x3fff9ccadbdac61d, 0x3fffa245b525f439, 340 0x3fffa7c1819e90d8, 0x3fffad3e416ec354, 0x3fffb2bbf4c0ba54, 0x3fffb83a9bbeabd1, 341 0x3fffbdba3692d514, 0x3fffc33ac5677ab8, 0x3fffc8bc4866e8ad, 0x3fffce3ebfbb7237, 342 0x3fffd3c22b8f71f1, 0x3fffd9468c0d49cc, 0x3fffdecbe15f6314, 0x3fffe4522bb02e6e, 343 0x3fffe9d96b2a23d9, 0x3fffef619ff7c2b3, 0x3ffff4eaca4391b6, 0x3ffffa74ea381efc, 344 }; 345 346 uint64_t __two_to_jby1024_head_table[] = { 347 0x3ff0000000000000, 0x3ff002c600000000, 0x3ff0058c80000000, 0x3ff0085380000000, 348 0x3ff00b1af0000000, 0x3ff00de2e0000000, 0x3ff010ab50000000, 0x3ff0137440000000, 349 0x3ff0163da0000000, 0x3ff0190780000000, 0x3ff01bd1e0000000, 0x3ff01e9cb0000000, 350 0x3ff0216810000000, 0x3ff02433e0000000, 0x3ff0270030000000, 0x3ff029ccf0000000, 351 0x3ff02c9a30000000, 0x3ff02f67f0000000, 0x3ff0323630000000, 0x3ff03504f0000000, 352 0x3ff037d420000000, 0x3ff03aa3e0000000, 0x3ff03d7410000000, 0x3ff04044b0000000, 353 0x3ff04315e0000000, 0x3ff045e780000000, 0x3ff048b9b0000000, 0x3ff04b8c50000000, 354 0x3ff04e5f70000000, 0x3ff0513300000000, 0x3ff0540720000000, 0x3ff056dbb0000000, 355 0x3ff059b0d0000000, 0x3ff05c8660000000, 0x3ff05f5c70000000, 0x3ff0623300000000, 356 0x3ff0650a00000000, 0x3ff067e190000000, 0x3ff06ab990000000, 0x3ff06d9220000000, 357 0x3ff0706b20000000, 0x3ff07344a0000000, 0x3ff0761ea0000000, 0x3ff078f920000000, 358 0x3ff07bd420000000, 0x3ff07eafa0000000, 0x3ff0818ba0000000, 0x3ff0846810000000, 359 0x3ff0874510000000, 0x3ff08a2290000000, 0x3ff08d0080000000, 0x3ff08fdf00000000, 360 0x3ff092bdf0000000, 0x3ff0959d60000000, 0x3ff0987d60000000, 0x3ff09b5dd0000000, 361 0x3ff09e3ec0000000, 0x3ff0a12030000000, 0x3ff0a40230000000, 0x3ff0a6e4a0000000, 362 0x3ff0a9c790000000, 0x3ff0acab00000000, 0x3ff0af8f00000000, 0x3ff0b27370000000, 363 0x3ff0b55860000000, 0x3ff0b83de0000000, 0x3ff0bb23d0000000, 0x3ff0be0a40000000, 364 0x3ff0c0f140000000, 0x3ff0c3d8b0000000, 0x3ff0c6c0b0000000, 0x3ff0c9a930000000, 365 0x3ff0cc9220000000, 0x3ff0cf7ba0000000, 0x3ff0d265a0000000, 0x3ff0d55020000000, 366 0x3ff0d83b20000000, 0x3ff0db26a0000000, 0x3ff0de12a0000000, 0x3ff0e0ff20000000, 367 0x3ff0e3ec30000000, 0x3ff0e6d9b0000000, 0x3ff0e9c7c0000000, 0x3ff0ecb650000000, 368 0x3ff0efa550000000, 0x3ff0f294f0000000, 0x3ff0f58500000000, 0x3ff0f87590000000, 369 0x3ff0fb66a0000000, 0x3ff0fe5840000000, 0x3ff1014a60000000, 0x3ff1043d00000000, 370 0x3ff1073020000000, 0x3ff10a23c0000000, 0x3ff10d17f0000000, 0x3ff1100ca0000000, 371 0x3ff11301d0000000, 0x3ff115f780000000, 0x3ff118edb0000000, 0x3ff11be460000000, 372 0x3ff11edba0000000, 0x3ff121d360000000, 0x3ff124cba0000000, 0x3ff127c470000000, 373 0x3ff12abdc0000000, 0x3ff12db780000000, 0x3ff130b1e0000000, 0x3ff133acb0000000, 374 0x3ff136a810000000, 0x3ff139a3f0000000, 0x3ff13ca050000000, 0x3ff13f9d40000000, 375 0x3ff1429aa0000000, 0x3ff14598a0000000, 0x3ff1489710000000, 0x3ff14b9610000000, 376 0x3ff14e9590000000, 0x3ff1519590000000, 0x3ff1549620000000, 0x3ff1579730000000, 377 0x3ff15a98c0000000, 0x3ff15d9ae0000000, 0x3ff1609d80000000, 0x3ff163a0a0000000, 378 0x3ff166a450000000, 0x3ff169a880000000, 0x3ff16cad30000000, 0x3ff16fb270000000, 379 0x3ff172b830000000, 0x3ff175be80000000, 0x3ff178c550000000, 0x3ff17bcca0000000, 380 0x3ff17ed480000000, 0x3ff181dce0000000, 0x3ff184e5d0000000, 0x3ff187ef40000000, 381 0x3ff18af930000000, 0x3ff18e03b0000000, 0x3ff1910eb0000000, 0x3ff1941a40000000, 382 0x3ff1972650000000, 0x3ff19a32f0000000, 0x3ff19d4010000000, 0x3ff1a04db0000000, 383 0x3ff1a35be0000000, 0x3ff1a66aa0000000, 0x3ff1a979e0000000, 0x3ff1ac89a0000000, 384 0x3ff1af99f0000000, 0x3ff1b2aac0000000, 0x3ff1b5bc20000000, 0x3ff1b8ce10000000, 385 0x3ff1bbe080000000, 0x3ff1bef370000000, 0x3ff1c206f0000000, 0x3ff1c51b00000000, 386 0x3ff1c82f90000000, 0x3ff1cb44a0000000, 0x3ff1ce5a50000000, 0x3ff1d17070000000, 387 0x3ff1d48730000000, 0x3ff1d79e60000000, 0x3ff1dab630000000, 0x3ff1ddce80000000, 388 0x3ff1e0e750000000, 0x3ff1e400c0000000, 0x3ff1e71aa0000000, 0x3ff1ea3520000000, 389 0x3ff1ed5020000000, 0x3ff1f06ba0000000, 0x3ff1f387b0000000, 0x3ff1f6a450000000, 390 0x3ff1f9c180000000, 0x3ff1fcdf30000000, 0x3ff1fffd70000000, 0x3ff2031c30000000, 391 0x3ff2063b80000000, 0x3ff2095b60000000, 0x3ff20c7bc0000000, 0x3ff20f9cb0000000, 392 0x3ff212be30000000, 0x3ff215e030000000, 0x3ff21902c0000000, 0x3ff21c25e0000000, 393 0x3ff21f4990000000, 0x3ff2226dc0000000, 0x3ff2259280000000, 0x3ff228b7c0000000, 394 0x3ff22bdda0000000, 0x3ff22f0400000000, 0x3ff2322af0000000, 0x3ff2355260000000, 395 0x3ff2387a60000000, 0x3ff23ba2f0000000, 0x3ff23ecc10000000, 0x3ff241f5c0000000, 396 0x3ff2451ff0000000, 0x3ff2484ab0000000, 0x3ff24b7600000000, 0x3ff24ea1e0000000, 397 0x3ff251ce40000000, 0x3ff254fb40000000, 0x3ff25828c0000000, 0x3ff25b56d0000000, 398 0x3ff25e8570000000, 0x3ff261b490000000, 0x3ff264e450000000, 0x3ff2681490000000, 399 0x3ff26b4560000000, 0x3ff26e76c0000000, 0x3ff271a8b0000000, 0x3ff274db20000000, 400 0x3ff2780e30000000, 0x3ff27b41c0000000, 0x3ff27e75e0000000, 0x3ff281aaa0000000, 401 0x3ff284dfe0000000, 0x3ff28815b0000000, 0x3ff28b4c00000000, 0x3ff28e82f0000000, 402 0x3ff291ba70000000, 0x3ff294f270000000, 0x3ff2982b10000000, 0x3ff29b6430000000, 403 0x3ff29e9df0000000, 0x3ff2a1d830000000, 0x3ff2a51300000000, 0x3ff2a84e70000000, 404 0x3ff2ab8a60000000, 0x3ff2aec6e0000000, 0x3ff2b203f0000000, 0x3ff2b54190000000, 405 0x3ff2b87fd0000000, 0x3ff2bbbe90000000, 0x3ff2befde0000000, 0x3ff2c23dc0000000, 406 0x3ff2c57e30000000, 0x3ff2c8bf30000000, 0x3ff2cc00c0000000, 0x3ff2cf42f0000000, 407 0x3ff2d285a0000000, 0x3ff2d5c8e0000000, 0x3ff2d90cc0000000, 0x3ff2dc5120000000, 408 0x3ff2df9610000000, 0x3ff2e2dba0000000, 0x3ff2e621c0000000, 0x3ff2e96860000000, 409 0x3ff2ecafa0000000, 0x3ff2eff770000000, 0x3ff2f33fd0000000, 0x3ff2f688c0000000, 410 0x3ff2f9d240000000, 0x3ff2fd1c50000000, 0x3ff3006700000000, 0x3ff303b230000000, 411 0x3ff306fe00000000, 0x3ff30a4a60000000, 0x3ff30d9750000000, 0x3ff310e4d0000000, 412 0x3ff31432e0000000, 0x3ff3178190000000, 0x3ff31ad0c0000000, 0x3ff31e2090000000, 413 0x3ff32170f0000000, 0x3ff324c1e0000000, 0x3ff3281370000000, 0x3ff32b6580000000, 414 0x3ff32eb830000000, 0x3ff3320b70000000, 0x3ff3355f40000000, 0x3ff338b3b0000000, 415 0x3ff33c08b0000000, 0x3ff33f5e40000000, 0x3ff342b460000000, 0x3ff3460b10000000, 416 0x3ff3496260000000, 0x3ff34cba40000000, 0x3ff35012b0000000, 0x3ff3536bc0000000, 417 0x3ff356c550000000, 0x3ff35a1f90000000, 0x3ff35d7a50000000, 0x3ff360d5b0000000, 418 0x3ff36431a0000000, 0x3ff3678e20000000, 0x3ff36aeb40000000, 0x3ff36e48f0000000, 419 0x3ff371a730000000, 0x3ff3750610000000, 0x3ff3786580000000, 0x3ff37bc580000000, 420 0x3ff37f2620000000, 0x3ff3828750000000, 0x3ff385e910000000, 0x3ff3894b70000000, 421 0x3ff38cae60000000, 0x3ff39011f0000000, 0x3ff3937610000000, 0x3ff396dac0000000, 422 0x3ff39a4010000000, 0x3ff39da5f0000000, 0x3ff3a10c70000000, 0x3ff3a47380000000, 423 0x3ff3a7db30000000, 0x3ff3ab4370000000, 0x3ff3aeac40000000, 0x3ff3b215b0000000, 424 0x3ff3b57fb0000000, 0x3ff3b8ea50000000, 0x3ff3bc5590000000, 0x3ff3bfc150000000, 425 0x3ff3c32dc0000000, 0x3ff3c69ab0000000, 0x3ff3ca0850000000, 0x3ff3cd7680000000, 426 0x3ff3d0e540000000, 0x3ff3d454a0000000, 0x3ff3d7c490000000, 0x3ff3db3520000000, 427 0x3ff3dea640000000, 0x3ff3e21800000000, 0x3ff3e58a60000000, 0x3ff3e8fd50000000, 428 0x3ff3ec70d0000000, 0x3ff3efe500000000, 0x3ff3f359b0000000, 0x3ff3f6cf10000000, 429 0x3ff3fa4500000000, 0x3ff3fdbb80000000, 0x3ff40132b0000000, 0x3ff404aa60000000, 430 0x3ff40822c0000000, 0x3ff40b9bb0000000, 0x3ff40f1530000000, 0x3ff4128f60000000, 431 0x3ff4160a20000000, 0x3ff4198570000000, 0x3ff41d0160000000, 0x3ff4207df0000000, 432 0x3ff423fb20000000, 0x3ff42778e0000000, 0x3ff42af740000000, 0x3ff42e7640000000, 433 0x3ff431f5d0000000, 0x3ff4357600000000, 0x3ff438f6d0000000, 0x3ff43c7830000000, 434 0x3ff43ffa30000000, 0x3ff4437cd0000000, 0x3ff4470010000000, 0x3ff44a83e0000000, 435 0x3ff44e0860000000, 0x3ff4518d60000000, 0x3ff4551310000000, 0x3ff4589950000000, 436 0x3ff45c2040000000, 0x3ff45fa7c0000000, 0x3ff4632fd0000000, 0x3ff466b890000000, 437 0x3ff46a41e0000000, 0x3ff46dcbd0000000, 0x3ff4715660000000, 0x3ff474e190000000, 438 0x3ff4786d60000000, 0x3ff47bf9c0000000, 0x3ff47f86d0000000, 0x3ff4831470000000, 439 0x3ff486a2b0000000, 0x3ff48a3190000000, 0x3ff48dc100000000, 0x3ff4915120000000, 440 0x3ff494e1e0000000, 0x3ff4987330000000, 0x3ff49c0520000000, 0x3ff49f97b0000000, 441 0x3ff4a32af0000000, 0x3ff4a6bec0000000, 0x3ff4aa5320000000, 0x3ff4ade830000000, 442 0x3ff4b17de0000000, 0x3ff4b51430000000, 0x3ff4b8ab20000000, 0x3ff4bc42a0000000, 443 0x3ff4bfdad0000000, 0x3ff4c37390000000, 0x3ff4c70d00000000, 0x3ff4caa700000000, 444 0x3ff4ce41b0000000, 0x3ff4d1dd00000000, 0x3ff4d578e0000000, 0x3ff4d91570000000, 445 0x3ff4dcb290000000, 0x3ff4e05060000000, 0x3ff4e3eec0000000, 0x3ff4e78dd0000000, 446 0x3ff4eb2d80000000, 0x3ff4eecdc0000000, 0x3ff4f26eb0000000, 0x3ff4f61040000000, 447 0x3ff4f9b270000000, 0x3ff4fd5540000000, 0x3ff500f8b0000000, 0x3ff5049cc0000000, 448 0x3ff5084170000000, 0x3ff50be6d0000000, 0x3ff50f8cc0000000, 0x3ff5133360000000, 449 0x3ff516daa0000000, 0x3ff51a8280000000, 0x3ff51e2b00000000, 0x3ff521d420000000, 450 0x3ff5257de0000000, 0x3ff5292840000000, 0x3ff52cd350000000, 0x3ff5307f00000000, 451 0x3ff5342b50000000, 0x3ff537d840000000, 0x3ff53b85d0000000, 0x3ff53f3410000000, 452 0x3ff542e2f0000000, 0x3ff5469270000000, 0x3ff54a4290000000, 0x3ff54df350000000, 453 0x3ff551a4c0000000, 0x3ff55556d0000000, 0x3ff5590980000000, 0x3ff55cbce0000000, 454 0x3ff56070d0000000, 0x3ff5642570000000, 0x3ff567dac0000000, 0x3ff56b90a0000000, 455 0x3ff56f4730000000, 0x3ff572fe60000000, 0x3ff576b630000000, 0x3ff57a6eb0000000, 456 0x3ff57e27d0000000, 0x3ff581e1a0000000, 0x3ff5859c00000000, 0x3ff5895710000000, 457 0x3ff58d12d0000000, 0x3ff590cf30000000, 0x3ff5948c30000000, 0x3ff59849d0000000, 458 0x3ff59c0820000000, 0x3ff59fc710000000, 0x3ff5a386b0000000, 0x3ff5a746f0000000, 459 0x3ff5ab07d0000000, 0x3ff5aec960000000, 0x3ff5b28b90000000, 0x3ff5b64e70000000, 460 0x3ff5ba11f0000000, 0x3ff5bdd620000000, 0x3ff5c19af0000000, 0x3ff5c56060000000, 461 0x3ff5c92680000000, 0x3ff5cced50000000, 0x3ff5d0b4b0000000, 0x3ff5d47cd0000000, 462 0x3ff5d84590000000, 0x3ff5dc0ef0000000, 0x3ff5dfd900000000, 0x3ff5e3a3b0000000, 463 0x3ff5e76f10000000, 0x3ff5eb3b10000000, 0x3ff5ef07c0000000, 0x3ff5f2d520000000, 464 0x3ff5f6a320000000, 0x3ff5fa71c0000000, 0x3ff5fe4110000000, 0x3ff6021110000000, 465 0x3ff605e1b0000000, 0x3ff609b300000000, 0x3ff60d84f0000000, 0x3ff6115790000000, 466 0x3ff6152ae0000000, 0x3ff618fed0000000, 0x3ff61cd370000000, 0x3ff620a8b0000000, 467 0x3ff6247eb0000000, 0x3ff6285540000000, 0x3ff62c2c90000000, 0x3ff6300480000000, 468 0x3ff633dd10000000, 0x3ff637b660000000, 0x3ff63b9050000000, 0x3ff63f6ae0000000, 469 0x3ff6434630000000, 0x3ff6472220000000, 0x3ff64afec0000000, 0x3ff64edc00000000, 470 0x3ff652b9f0000000, 0x3ff6569890000000, 0x3ff65a77e0000000, 0x3ff65e57d0000000, 471 0x3ff6623880000000, 0x3ff66619d0000000, 0x3ff669fbc0000000, 0x3ff66dde70000000, 472 0x3ff671c1c0000000, 0x3ff675a5c0000000, 0x3ff6798a70000000, 0x3ff67d6fc0000000, 473 0x3ff68155d0000000, 0x3ff6853c80000000, 0x3ff68923e0000000, 0x3ff68d0bf0000000, 474 0x3ff690f4b0000000, 0x3ff694de10000000, 0x3ff698c830000000, 0x3ff69cb2f0000000, 475 0x3ff6a09e60000000, 0x3ff6a48a80000000, 0x3ff6a87750000000, 0x3ff6ac64d0000000, 476 0x3ff6b052f0000000, 0x3ff6b441d0000000, 0x3ff6b83150000000, 0x3ff6bc2190000000, 477 0x3ff6c01270000000, 0x3ff6c40400000000, 0x3ff6c7f640000000, 0x3ff6cbe930000000, 478 0x3ff6cfdcd0000000, 0x3ff6d3d120000000, 0x3ff6d7c620000000, 0x3ff6dbbbd0000000, 479 0x3ff6dfb230000000, 0x3ff6e3a940000000, 0x3ff6e7a100000000, 0x3ff6eb9970000000, 480 0x3ff6ef9290000000, 0x3ff6f38c60000000, 0x3ff6f786e0000000, 0x3ff6fb8210000000, 481 0x3ff6ff7df0000000, 0x3ff7037a80000000, 0x3ff70777c0000000, 0x3ff70b75c0000000, 482 0x3ff70f7460000000, 0x3ff71373b0000000, 0x3ff71773c0000000, 0x3ff71b7470000000, 483 0x3ff71f75e0000000, 0x3ff7237800000000, 0x3ff7277ad0000000, 0x3ff72b7e50000000, 484 0x3ff72f8280000000, 0x3ff7338760000000, 0x3ff7378d00000000, 0x3ff73b9340000000, 485 0x3ff73f9a40000000, 0x3ff743a1f0000000, 0x3ff747aa50000000, 0x3ff74bb360000000, 486 0x3ff74fbd30000000, 0x3ff753c7b0000000, 0x3ff757d2d0000000, 0x3ff75bdec0000000, 487 0x3ff75feb50000000, 0x3ff763f890000000, 0x3ff7680690000000, 0x3ff76c1540000000, 488 0x3ff77024b0000000, 0x3ff77434c0000000, 0x3ff7784590000000, 0x3ff77c5710000000, 489 0x3ff7806940000000, 0x3ff7847c30000000, 0x3ff7888fd0000000, 0x3ff78ca420000000, 490 0x3ff790b930000000, 0x3ff794cef0000000, 0x3ff798e560000000, 0x3ff79cfc90000000, 491 0x3ff7a11470000000, 0x3ff7a52d00000000, 0x3ff7a94650000000, 0x3ff7ad6050000000, 492 0x3ff7b17b00000000, 0x3ff7b59670000000, 0x3ff7b9b290000000, 0x3ff7bdcf70000000, 493 0x3ff7c1ed00000000, 0x3ff7c60b40000000, 0x3ff7ca2a40000000, 0x3ff7ce49f0000000, 494 0x3ff7d26a60000000, 0x3ff7d68b80000000, 0x3ff7daad50000000, 0x3ff7decfe0000000, 495 0x3ff7e2f330000000, 0x3ff7e71730000000, 0x3ff7eb3be0000000, 0x3ff7ef6150000000, 496 0x3ff7f38780000000, 0x3ff7f7ae60000000, 0x3ff7fbd5f0000000, 0x3ff7fffe40000000, 497 0x3ff8042750000000, 0x3ff8085110000000, 0x3ff80c7b80000000, 0x3ff810a6c0000000, 498 0x3ff814d2a0000000, 0x3ff818ff50000000, 0x3ff81d2cb0000000, 0x3ff8215ac0000000, 499 0x3ff8258990000000, 0x3ff829b920000000, 0x3ff82de960000000, 0x3ff8321a60000000, 500 0x3ff8364c10000000, 0x3ff83a7e90000000, 0x3ff83eb1b0000000, 0x3ff842e5a0000000, 501 0x3ff8471a40000000, 0x3ff84b4fa0000000, 0x3ff84f85b0000000, 0x3ff853bc80000000, 502 0x3ff857f410000000, 0x3ff85c2c50000000, 0x3ff8606560000000, 0x3ff8649f20000000, 503 0x3ff868d990000000, 0x3ff86d14d0000000, 0x3ff87150c0000000, 0x3ff8758d60000000, 504 0x3ff879cad0000000, 0x3ff87e08f0000000, 0x3ff88247e0000000, 0x3ff8868770000000, 505 0x3ff88ac7d0000000, 0x3ff88f08f0000000, 0x3ff8934ac0000000, 0x3ff8978d50000000, 506 0x3ff89bd0a0000000, 0x3ff8a014a0000000, 0x3ff8a45970000000, 0x3ff8a89ef0000000, 507 0x3ff8ace540000000, 0x3ff8b12c40000000, 0x3ff8b57400000000, 0x3ff8b9bc70000000, 508 0x3ff8be05b0000000, 0x3ff8c24fb0000000, 0x3ff8c69a60000000, 0x3ff8cae5e0000000, 509 0x3ff8cf3210000000, 0x3ff8d37f00000000, 0x3ff8d7ccb0000000, 0x3ff8dc1b20000000, 510 0x3ff8e06a50000000, 0x3ff8e4ba40000000, 0x3ff8e90af0000000, 0x3ff8ed5c60000000, 511 0x3ff8f1ae90000000, 0x3ff8f60180000000, 0x3ff8fa5530000000, 0x3ff8fea9a0000000, 512 0x3ff902fed0000000, 0x3ff90754b0000000, 0x3ff90bab60000000, 0x3ff91002d0000000, 513 0x3ff9145b00000000, 0x3ff918b3f0000000, 0x3ff91d0da0000000, 0x3ff9216810000000, 514 0x3ff925c350000000, 0x3ff92a1f40000000, 0x3ff92e7bf0000000, 0x3ff932d970000000, 515 0x3ff93737b0000000, 0x3ff93b96a0000000, 0x3ff93ff660000000, 0x3ff94456e0000000, 516 0x3ff948b820000000, 0x3ff94d1a20000000, 0x3ff9517cf0000000, 0x3ff955e070000000, 517 0x3ff95a44c0000000, 0x3ff95ea9d0000000, 0x3ff9630fa0000000, 0x3ff9677640000000, 518 0x3ff96bdd90000000, 0x3ff97045b0000000, 0x3ff974ae90000000, 0x3ff9791830000000, 519 0x3ff97d8290000000, 0x3ff981edc0000000, 0x3ff98659b0000000, 0x3ff98ac660000000, 520 0x3ff98f33e0000000, 0x3ff993a220000000, 0x3ff9981120000000, 0x3ff99c80e0000000, 521 0x3ff9a0f170000000, 0x3ff9a562c0000000, 0x3ff9a9d4d0000000, 0x3ff9ae47a0000000, 522 0x3ff9b2bb40000000, 0x3ff9b72fb0000000, 0x3ff9bba4d0000000, 0x3ff9c01ac0000000, 523 0x3ff9c49180000000, 0x3ff9c908f0000000, 0x3ff9cd8140000000, 0x3ff9d1fa40000000, 524 0x3ff9d67410000000, 0x3ff9daeea0000000, 0x3ff9df6a00000000, 0x3ff9e3e620000000, 525 0x3ff9e86310000000, 0x3ff9ece0c0000000, 0x3ff9f15f40000000, 0x3ff9f5de80000000, 526 0x3ff9fa5e80000000, 0x3ff9fedf50000000, 0x3ffa0360f0000000, 0x3ffa07e350000000, 527 0x3ffa0c6670000000, 0x3ffa10ea60000000, 0x3ffa156f20000000, 0x3ffa19f4a0000000, 528 0x3ffa1e7ae0000000, 0x3ffa2301f0000000, 0x3ffa2789d0000000, 0x3ffa2c1270000000, 529 0x3ffa309be0000000, 0x3ffa352620000000, 0x3ffa39b120000000, 0x3ffa3e3ce0000000, 530 0x3ffa42c980000000, 0x3ffa4756d0000000, 0x3ffa4be500000000, 0x3ffa5073f0000000, 531 0x3ffa5503b0000000, 0x3ffa599430000000, 0x3ffa5e2580000000, 0x3ffa62b7a0000000, 532 0x3ffa674a80000000, 0x3ffa6bde30000000, 0x3ffa7072b0000000, 0x3ffa750800000000, 533 0x3ffa799e10000000, 0x3ffa7e34f0000000, 0x3ffa82cc90000000, 0x3ffa876510000000, 534 0x3ffa8bfe50000000, 0x3ffa909860000000, 0x3ffa953330000000, 0x3ffa99cee0000000, 535 0x3ffa9e6b50000000, 0x3ffaa30890000000, 0x3ffaa7a6a0000000, 0x3ffaac4570000000, 536 0x3ffab0e520000000, 0x3ffab58590000000, 0x3ffaba26d0000000, 0x3ffabec8e0000000, 537 0x3ffac36bb0000000, 0x3ffac80f60000000, 0x3ffaccb3e0000000, 0x3ffad15920000000, 538 0x3ffad5ff30000000, 0x3ffadaa610000000, 0x3ffadf4dc0000000, 0x3ffae3f640000000, 539 0x3ffae89f90000000, 0x3ffaed49b0000000, 0x3ffaf1f4a0000000, 0x3ffaf6a050000000, 540 0x3ffafb4ce0000000, 0x3ffafffa30000000, 0x3ffb04a860000000, 0x3ffb095760000000, 541 0x3ffb0e0720000000, 0x3ffb12b7c0000000, 0x3ffb176920000000, 0x3ffb1c1b60000000, 542 0x3ffb20ce60000000, 0x3ffb258240000000, 0x3ffb2a36f0000000, 0x3ffb2eec60000000, 543 0x3ffb33a2b0000000, 0x3ffb3859d0000000, 0x3ffb3d11c0000000, 0x3ffb41ca80000000, 544 0x3ffb468410000000, 0x3ffb4b3e70000000, 0x3ffb4ff9a0000000, 0x3ffb54b5b0000000, 545 0x3ffb597280000000, 0x3ffb5e3030000000, 0x3ffb62eeb0000000, 0x3ffb67ae00000000, 546 0x3ffb6c6e20000000, 0x3ffb712f10000000, 0x3ffb75f0e0000000, 0x3ffb7ab380000000, 547 0x3ffb7f76f0000000, 0x3ffb843b30000000, 0x3ffb890040000000, 0x3ffb8dc630000000, 548 0x3ffb928cf0000000, 0x3ffb975480000000, 0x3ffb9c1ce0000000, 0x3ffba0e620000000, 549 0x3ffba5b030000000, 0x3ffbaa7b10000000, 0x3ffbaf46c0000000, 0x3ffbb41350000000, 550 0x3ffbb8e0b0000000, 0x3ffbbdaee0000000, 0x3ffbc27df0000000, 0x3ffbc74dd0000000, 551 0x3ffbcc1e90000000, 0x3ffbd0f010000000, 0x3ffbd5c270000000, 0x3ffbda95b0000000, 552 0x3ffbdf69c0000000, 0x3ffbe43ea0000000, 0x3ffbe91460000000, 0x3ffbedeaf0000000, 553 0x3ffbf2c250000000, 0x3ffbf79a90000000, 0x3ffbfc73b0000000, 0x3ffc014d90000000, 554 0x3ffc062860000000, 0x3ffc0b03f0000000, 0x3ffc0fe060000000, 0x3ffc14bdb0000000, 555 0x3ffc199bd0000000, 0x3ffc1e7ad0000000, 0x3ffc235aa0000000, 0x3ffc283b50000000, 556 0x3ffc2d1cd0000000, 0x3ffc31ff30000000, 0x3ffc36e260000000, 0x3ffc3bc670000000, 557 0x3ffc40ab50000000, 0x3ffc459120000000, 0x3ffc4a77b0000000, 0x3ffc4f5f20000000, 558 0x3ffc544770000000, 0x3ffc593090000000, 0x3ffc5e1a90000000, 0x3ffc630570000000, 559 0x3ffc67f120000000, 0x3ffc6cddb0000000, 0x3ffc71cb20000000, 0x3ffc76b960000000, 560 0x3ffc7ba880000000, 0x3ffc809880000000, 0x3ffc858950000000, 0x3ffc8a7b00000000, 561 0x3ffc8f6d90000000, 0x3ffc9460f0000000, 0x3ffc995530000000, 0x3ffc9e4a50000000, 562 0x3ffca34050000000, 0x3ffca83720000000, 0x3ffcad2ee0000000, 0x3ffcb22770000000, 563 0x3ffcb720d0000000, 0x3ffcbc1b20000000, 0x3ffcc11640000000, 0x3ffcc61240000000, 564 0x3ffccb0f20000000, 0x3ffcd00ce0000000, 0x3ffcd50b80000000, 0x3ffcda0af0000000, 565 0x3ffcdf0b50000000, 0x3ffce40c80000000, 0x3ffce90e90000000, 0x3ffcee1180000000, 566 0x3ffcf31550000000, 0x3ffcf81a00000000, 0x3ffcfd1f90000000, 0x3ffd022600000000, 567 0x3ffd072d40000000, 0x3ffd0c3570000000, 0x3ffd113e70000000, 0x3ffd164860000000, 568 0x3ffd1b5320000000, 0x3ffd205ed0000000, 0x3ffd256b50000000, 0x3ffd2a78c0000000, 569 0x3ffd2f8700000000, 0x3ffd349620000000, 0x3ffd39a630000000, 0x3ffd3eb720000000, 570 0x3ffd43c8e0000000, 0x3ffd48db90000000, 0x3ffd4def20000000, 0x3ffd530380000000, 571 0x3ffd5818d0000000, 0x3ffd5d2f00000000, 0x3ffd624610000000, 0x3ffd675e10000000, 572 0x3ffd6c76e0000000, 0x3ffd7190a0000000, 0x3ffd76ab30000000, 0x3ffd7bc6b0000000, 573 0x3ffd80e310000000, 0x3ffd860050000000, 0x3ffd8b1e70000000, 0x3ffd903d80000000, 574 0x3ffd955d70000000, 0x3ffd9a7e40000000, 0x3ffd9f9ff0000000, 0x3ffda4c280000000, 575 0x3ffda9e600000000, 0x3ffdaf0a60000000, 0x3ffdb42fa0000000, 0x3ffdb955c0000000, 576 0x3ffdbe7cd0000000, 0x3ffdc3a4c0000000, 0x3ffdc8cd90000000, 0x3ffdcdf750000000, 577 0x3ffdd321f0000000, 0x3ffdd84d70000000, 0x3ffddd79e0000000, 0x3ffde2a720000000, 578 0x3ffde7d560000000, 0x3ffded0470000000, 0x3ffdf23470000000, 0x3ffdf76560000000, 579 0x3ffdfc9730000000, 0x3ffe01c9e0000000, 0x3ffe06fd80000000, 0x3ffe0c3200000000, 580 0x3ffe116760000000, 0x3ffe169db0000000, 0x3ffe1bd4f0000000, 0x3ffe210d00000000, 581 0x3ffe264610000000, 0x3ffe2b8000000000, 0x3ffe30bad0000000, 0x3ffe35f690000000, 582 0x3ffe3b3330000000, 0x3ffe4070c0000000, 0x3ffe45af30000000, 0x3ffe4aee90000000, 583 0x3ffe502ee0000000, 0x3ffe557010000000, 0x3ffe5ab230000000, 0x3ffe5ff530000000, 584 0x3ffe653920000000, 0x3ffe6a7df0000000, 0x3ffe6fc3b0000000, 0x3ffe750a60000000, 585 0x3ffe7a51f0000000, 0x3ffe7f9a70000000, 0x3ffe84e3e0000000, 0x3ffe8a2e30000000, 586 0x3ffe8f7970000000, 0x3ffe94c5a0000000, 0x3ffe9a12b0000000, 0x3ffe9f60b0000000, 587 0x3ffea4afa0000000, 0x3ffea9ff70000000, 0x3ffeaf5030000000, 0x3ffeb4a1e0000000, 588 0x3ffeb9f480000000, 0x3ffebf4800000000, 0x3ffec49c80000000, 0x3ffec9f1e0000000, 589 0x3ffecf4820000000, 0x3ffed49f60000000, 0x3ffed9f780000000, 0x3ffedf50a0000000, 590 0x3ffee4aaa0000000, 0x3ffeea0590000000, 0x3ffeef6160000000, 0x3ffef4be30000000, 591 0x3ffefa1be0000000, 0x3ffeff7a90000000, 0x3fff04da20000000, 0x3fff0a3aa0000000, 592 0x3fff0f9c10000000, 0x3fff14fe70000000, 0x3fff1a61c0000000, 0x3fff1fc600000000, 593 0x3fff252b30000000, 0x3fff2a9150000000, 0x3fff2ff860000000, 0x3fff356050000000, 594 0x3fff3ac940000000, 0x3fff403320000000, 0x3fff459df0000000, 0x3fff4b09a0000000, 595 0x3fff507650000000, 0x3fff55e3f0000000, 0x3fff5b5280000000, 0x3fff60c200000000, 596 0x3fff663270000000, 0x3fff6ba3d0000000, 0x3fff711630000000, 0x3fff768970000000, 597 0x3fff7bfda0000000, 0x3fff8172d0000000, 0x3fff86e8f0000000, 0x3fff8c6000000000, 598 0x3fff91d800000000, 0x3fff9750f0000000, 0x3fff9ccad0000000, 0x3fffa245b0000000, 599 0x3fffa7c180000000, 0x3fffad3e40000000, 0x3fffb2bbf0000000, 0x3fffb83a90000000, 600 0x3fffbdba30000000, 0x3fffc33ac0000000, 0x3fffc8bc40000000, 0x3fffce3eb0000000, 601 0x3fffd3c220000000, 0x3fffd94680000000, 0x3fffdecbe0000000, 0x3fffe45220000000, 602 0x3fffe9d960000000, 0x3fffef6190000000, 0x3ffff4eac0000000, 0x3ffffa74e0000000, 603 }; 604 605 uint64_t __two_to_jby1024_tail_table [] = { 606 0x0, 0x3e578ba33b141b48, 0x3e5b687027a87fc6, 0x3e47d77c18ed49fd, 607 0x3e64b5797dac2535, 0x3e6a1dc1e9ebf954, 0x3e66597a22e0e833, 0x3e5326d6d3b52545, 608 0x3e63f6666adb094d, 0x3e65ad433ddfee20, 0x3e5dc5c2d0579d8a, 0x3e6fc227dd8fb82b, 609 0x3e50ec0a036a0678, 0x3e5252dd52ceb55f, 0x3e303b10def7d10b, 0x3e633ae4140b265e, 610 0x3e6cef00c1dcdef9, 0x3e6f4ecbcb91c93c, 0x3e6a85604eff546b, 0x3e5d7bc1c5bc2ee9, 611 0x3e6c237798156812, 0x3e370aafd8395b10, 0x3e3915a8a6df003a, 0x3e6d12d56ccee1d7, 612 0x3e60dcff097ae71f, 0x3e6eac817226b791, 0x3e4ab2cec0487355, 0x3e5211e89f8619b7, 613 0x3e47b2a5894c3794, 0x3e6d83407ebcd45f, 0x3e5ff05d8654351e, 0x3e6d76f0d641b21d, 614 0x3e48ac2ba1d73e2a, 0x3e5480116aa51f2f, 0x3e53c2fb09996d50, 0x3e44ec10b242a8b7, 615 0x3e6c783f1151a425, 0x3e5f89b050324159, 0x3e6f4c80f79685bf, 0x3e5675e532de0a3f, 616 0x3e63bbedbb8db880, 0x3e68fb3aa173f7e8, 0x3e6b24a92589ea67, 0x3e6a6410ba6f5125, 617 0x3e66e5506c4c8cd1, 0x3e60d44ee223dd7a, 0x3e50b9f4be45b9bf, 0x3e6dab48c3f43342, 618 0x3e60eb37901186be, 0x3e32465f18ad29db, 0x3e61f0127e0ee8f9, 0x3dda3f89a3af8986, 619 0x3e59981f7e97f9c8, 0x3e6859061ad6fdb9, 0x3e3701715c5f4984, 0x3e591b75db2d8400, 620 0x3e658de7068a43c1, 0x3e6e0cf4c6b3e2ee, 0x3e48dcb8a9c01f5a, 0x3e5c71c9b6fd090b, 621 0x3e663e72325745b2, 0x3e6e7437377f3ebc, 0x3e4c1a7293764302, 0x3e602212e710ecd7, 622 0x3e69f3121ec53172, 0x3e42986888250c15, 0x3e6067b27da51fde, 0x3e6d646a76702f53, 623 0x3e5791b2154f9890, 0x3e6bc19cf3460b11, 0x3e5af6b94ab1757f, 0x3e222c65358a1e6f, 624 0x3e66e48fee80f6e1, 0x3e5ddaee504e2734, 0x3e52d482e624c9ea, 0x3e4a1ef01352572a, 625 0x3e49caef5c87d643, 0x3e52b03b52543578, 0x3e5ec98c01e181a9, 0x3e68c5a12ca6e25d, 626 0x3e469e8d10103a17, 0x3e6637c8299ffabc, 0x3e5546271898a049, 0x3e38b4874375a83b, 627 0x3e6fbf53895b1232, 0x3e194ed155c28cc4, 0x3e499473669fa755, 0x3e60bc7136873bb9, 628 0x3e6ffda635e46412, 0x3e6455f6420cdf93, 0x3e5be54738bdf791, 0x3e5a01f0bd4b8312, 629 0x3e61ae467c751bac, 0x3e6c27e7c4863a25, 0x3e59367bc42862ec, 0x3e39ad92f1c6b500, 630 0x3df25b50a4ebbf1b, 0x3e3cae1fa1b07d74, 0x3e5b6cb703c63407, 0x3e6eb406588b1e90, 631 0x3e66bc556b1add58, 0x3e65fce1928ff5aa, 0x3e6ca34b8f576a36, 0x3e55ba781558c3c6, 632 0x3e1b0c72fee4aeb5, 0x3e6ec27ab62c5a0b, 0x3e43250744b1e1dc, 0x3e631a8143238190, 633 0x3e53c812abd1dee1, 0x3e52a76488bfc77b, 0x3e61975c3bd792f7, 0x3e36e77aeb5f66f2, 634 0x3e6d525bbf668203, 0x3e225996e9fa677c, 0x3e5d0950dfbfa37c, 0x3e4676430504efdf, 635 0x3e4a79896e46e17c, 0x3e61b53533b4cd1a, 0x3e4c40a4f01821b0, 0x3e4b759996ee4d58, 636 0x3e614b1ca24901ab, 0x3e4a1e0f93097e9e, 0x3e4b03708cfdf453, 0x3e62256d583f7602, 637 0x3e51c70f0818f23c, 0x3e5653055c3f9782, 0x3e6925bee6860ba8, 0x3e6306a44743ae75, 638 0x3e68faa2f5b9bef9, 0x3e5660664815b0ae, 0x3e53abaa2500be0f, 0x3e651a1110eff7c7, 639 0x3e5a56ef00427900, 0x3e6238a0d333af2f, 0x3e41c0b64413ab6a, 0x3e400319565c4a82, 640 0x3e61191bd3777ee1, 0x3e57cfcdaa4b513b, 0x3e649be83e7a5306, 0x3e56c7d21c1de6ab, 641 0x3e606eba5ea556ec, 0x3e3f59ab447c3e7f, 0x3e4820ee0c5fbe16, 0x3e66f4b625e9b85d, 642 0x3e66df96ea796d32, 0x3e47df5e35b75ed4, 0x3e41b1e7c02474f4, 0x3e626c8819921a35, 643 0x3e60271438bdfc2d, 0x3e6dcb38a51a1a99, 0x3e6b8817e0760e4b, 0x3e5319b9309c0f58, 644 0x3e5011734e6ac79d, 0x3e672aea1641804f, 0x3e6722b11e74ce25, 0x3e503eb4545446b1, 645 0x3e54a071ad009778, 0x3e6de4a8f4c5d8a8, 0x3e3860745f297e2f, 0x3e69f5d5d9d0d8fa, 646 0x3e368b9aa7805b80, 0x3e6dce63ad8b79de, 0x3e5638579e74bbfb, 0x3e55d4b1c49f86a5, 647 0x3e6d68804d481140, 0x3e3631fdb1b6a3de, 0x3e6b333d0434c7ec, 0x3e4b7c99833873ca, 648 0x3e47e6c8e5c40d00, 0x3e68b29f40dc7026, 0x3e6f39b4708f2585, 0x3e69bec10a36f854, 649 0x3e50e3393240adb6, 0x3e57044de74c1d2d, 0x3e390241e50a8f3e, 0x3e5ef7e1c9b3fb10, 650 0x3e60c519ac771dd6, 0x3e4caf0e91bed019, 0x3e62dff82ffbbb3c, 0x3e6411c906056d9d, 651 0x3e55e2a0653592d3, 0x3e67aeb0185f561b, 0x3e6a7a1371fe29a8, 0x3e6383ad539c2ddf, 652 0x3e37ddc962552fd3, 0x3e5224f58ef3e8d7, 0x3e47e0f939b283a8, 0x3e69dd5849aa9ed4, 653 0x3e43c89689d34fb5, 0x3e4d9c2e90e37e0b, 0x3e26c77fe0521ff5, 0x3e6332e0c3fd0501, 654 0x3e6ceac470cd83f6, 0x3e6ec4a9e721f548, 0x3e68f12073191430, 0x3e57417f9774965a, 655 0x3e670428146b3f32, 0x3e6b4c01de659b96, 0x3e68a8fe2a2d1ecb, 0x3e5e97acd20bcfe9, 656 0x3e6f654c7e6b0557, 0x3e524c55830a8778, 0x3e597e87fd447d94, 0x3e54c2e6f15764c6, 657 0x3e31ece754f86893, 0x3e6484ac89054394, 0x3e26797036ae5806, 0x3e522eb30bb0e65e, 658 0x3e5789f37495e99d, 0x3e53430b9459a58e, 0x3e36f0a2fe777b95, 0x3e67abc4a7e20230, 659 0x3e50777ca5e067c0, 0x3e64bf3196d6fcdb, 0x3e6d675730414460, 0x3e332b83210e0cc1, 660 0x3e3f5638096cf15d, 0x3e31456b0abad3c9, 0x3e6d507e6b49f37d, 0x3e65939d93e44a73, 661 0x3e5646edbf699c6f, 0x3e6e317ee475667e, 0x3e5dde65950f41c2, 0x3e6d8e184e711fd8, 662 0x3e547f7b84b09745, 0x3e6535ba0f81452c, 0x3e6ea1acb7cb1afd, 0x3e4ad4f75cb50100, 663 0x3e5b443c4a6a8bce, 0x3e639a06f684d5fa, 0x3e68ceba3e4ff11e, 0x3e6d72028fdb6e5f, 664 0x3e2b5b31ffbbd48d, 0x3e472e9f1a4fa958, 0x3e53cb8a0029cb8e, 0x3e5c6befddfa19d0, 665 0x3e62ee365d57f5d3, 0x3e68407ebe3e7dba, 0x3e6e5ed82f5719c6, 0x3e45ed49e959aa30, 666 0x3e5b900c2d002475, 0x3e6777142a27cd70, 0x3e35d534619676be, 0x3e5f89df8b32bb28, 667 0x3e6ec82b12e8b680, 0x3e5fed38cb8a60a7, 0x3e3c1483336515dc, 0x3e699e5c75391066, 668 0x3e627c5eac23941f, 0x3e5c9dfbc08f21e4, 0x3e5a915346cc4af5, 0x3e5f37b48ad3c49f, 669 0x3e657b10d5eac3ab, 0x3e6f18d725b26e52, 0x3e594f7f90815f95, 0x3e6e5a66155041e4, 670 0x3e64636e2a5bd1ab, 0x3e5deb09d8469390, 0x3e5c86c01062c0b4, 0x3e627fbdf661685a, 671 0x3e6bdd65fa656690, 0x3e551e504a98d44b, 0x3e6ec7dd570928e5, 0x3e68ba673ff8df2b, 672 0x3e6899b0626a739e, 0x3e6e98ac1425deaf, 0x3e55d4acffe7abed, 0x3e6dc1b4a725bb73, 673 0x3e6751d4631dd0be, 0x3e67cdcc66d7ae36, 0x3e6f68bc4070fe38, 0x3e5cab98b564f8c7, 674 0x3e4320b7fa64e431, 0x3e3798daa7010649, 0x3e5213aecf139089, 0x3e673fae236a7c4b, 675 0x3e5b8fe8b3652c53, 0x3e59ac0f82f228d7, 0x3e649d4ef94677f7, 0x3e4544e6227f9687, 676 0x3e6f253fe1928c47, 0x3e32671b11fa7ae7, 0x3e5df75caccd6c5d, 0x3e4594cfe3d47eae, 677 0x3e46f441d63cebb6, 0x3e6036e8ea1ec475, 0x3e4419ada17e20a7, 0x3e417d3bddb2a0d0, 678 0x3e5ceaa72a9c5154, 0x3e3be211c4360175, 0x3e3d3f668d0f6c10, 0x3e5e585c9984a42b, 679 0x3e48f3aa4cc146ac, 0x3e521c1d19d1ee21, 0x3e67d390222d1dff, 0x3e62c16e3d10e22c, 680 0x3e6a0bb0cb0b5396, 0x3e5bccd17d0ce041, 0x3e5d0b6020dec4fb, 0x3e6c1da9c1c7067e, 681 0x3e66e281dd32b2d0, 0x3e6f086d788d4831, 0x3e64c3aab678862e, 0x3e684880c7eea56a, 682 0x3e53967fdba86f25, 0x3e530082f51499d4, 0x3e679be7d380df9b, 0x3e64529e72c984bd, 683 0x3e6fd8d9e8aa6337, 0x3e6a6317dd31706d, 0x3e40977c471fcb75, 0x3e6d55bf62c64ab0, 684 0x3e489d47242000f9, 0x3e6ecf385b8018ad, 0x3e4e08794336c259, 0x3e0d2e00343736bd, 685 0x3e53b785cc7fa342, 0x3e3f602d01e27c72, 0x3e5db49fe7d2ae92, 0x3e55b6f59c02469c, 686 0x3e682468446b6824, 0x3e66ea0397d3daff, 0x3e4d8504d503fb5b, 0x3e537e3d6f567009, 687 0x3e6e38a2e9942672, 0x3e440b771a791993, 0x3e6e52e87d24d7f0, 0x3e54bbcadfa81a3e, 688 0x3e52b2006e82fdc0, 0x3e6b796da384e8be, 0x3e1e8d77ba256df3, 0x3e69ff41ca0d9656, 689 0x3e4b3d0121bddf8b, 0x3e4e6703dc4fd424, 0x3e6c9426d39a27ae, 0x3e47cf7872f610ea, 690 0x3e3f72e29f84325c, 0x3e66b9203ef7a494, 0x3e6e89b1e9848bfb, 0x3e6b95a2a6d1a206, 691 0x3e5c251a267b9d24, 0x3e66361515e88cf6, 0x3e6435e7e24e448d, 0x3e508f77f3c9d17b, 692 0x3e62a1512db8e088, 0x3e637870a00a35aa, 0x3e5605d98bd416b5, 0x3e6976a168d85cbb, 693 0x3e6f0973a86202fa, 0x3e6bf151fbbf0341, 0x3e6064343371246a, 0x3e6c981b7ae2cca0, 694 0x3e18624b40c4dbd0, 0x3e6d1b2cb6f4906b, 0x3e61d687d78e4e57, 0x3e6f2b4a631a8b08, 695 0x3e453e918f9e6f9a, 0x3e41e73d23ae3cab, 0x3e6ce00de76501e8, 0x3e5d7158f8f87ca8, 696 0x3e6a3a00aee4a25f, 0x3e6f9a69907e4ea2, 0x3e6f104f9ff81dc1, 0x3e68d224ca71e42c, 697 0x3e5a2cc8da3df0f1, 0x3e6c139356e90433, 0x3e4800ff284c755b, 0x3e562602fbba50d4, 698 0x3e5704f3404f068f, 0x3e4e154b5c5be2af, 0x3e6f524142b8fc8e, 0x3e6320027ea83152, 699 0x3e392aed1d89aed4, 0x3e5f324692ef792a, 0x3e68b22d881beb7d, 0x3e6ea75ff9e00531, 700 0x3e2afa7bcce5b17a, 0x3e300fdba2fc457c, 0x3e6fd55b4b20f80e, 0x3e6b60d0f45baf9d, 701 0x3e64db6fadbb691e, 0x3e58f8a881ebe41b, 0x3e33d5282b96ab17, 0x3e670d91e1f34ec2, 702 0x3e54d8a89c750e5f, 0x3e6cce2f54b61b46, 0x3e5cd4df284dd61c, 0x3e6f786b414a336c, 703 0x3e602f822882f14b, 0x3e18e3b5f071cfb7, 0x3e6176b0d6f7d869, 0x3e33adc1e17a0458, 704 0x3e63fbba1ac766de, 0x3e490119395bb8c9, 0x3e697af654189a82, 0x3e5bc6da992d729d, 705 0x3e3d8abfeab6a0b4, 0x3e6b1c6cd285acef, 0x3e645c6be0a3854c, 0x3e5f523dcc615e0e, 706 0x3e5a74b29ab4cf63, 0x3e5a8ff05b4ffc78, 0x3e6009e24da84302, 0x3e65b808249f4248, 707 0x3e6e8a63dc344937, 0x3e5571f2a4406abb, 0x3e6a7bd619dc0ed4, 0x3e5c1622fc9fd9f4, 708 0x3e467b320e0897a9, 0x3e26f31e846c8ad6, 0x3e2b47627ef62368, 0x3e4a9b5defec34e6, 709 0x3e607e9dddc6cce5, 0x3e6f741b083e3293, 0x3e63bfaa798c4e6f, 0x3e5b3362e999d66d, 710 0x3e5a753e077c2a0f, 0x3e62daebf871eb59, 0x3e6eb31aef00be29, 0x3e60fbb84f3b7669, 711 0x3e53dab49cbc9369, 0x3e538141e18772d7, 0x3e60ae360b97dd2a, 0x3e6eeecd468bf8bc, 712 0x3e64bb241d8a5d8c, 0x3e624c01e26a97ab, 0x3e67da37bea5e667, 0x3e467a82d4300257, 713 0x3e6bd221a378248f, 0x3e6aada9448673ef, 0x3e3351818a4cd91b, 0x3e6340b8e300c4dc, 714 0x3e5ad49f699bb2c0, 0x3e61200ae56c09e3, 0x3e6e9b0a98e6a7d7, 0x3e661478da504852, 715 0x3e67c5899d7a339c, 0x3e3f3bd6056106d3, 0x3e6ab3940e5c3e04, 0x3e6c63273ee78411, 716 0x3e525f1ff494af0b, 0x3e25233d9d9755bb, 0x3e441209a7ecb170, 0x3e647ff52be0e2f1, 717 0x3e5ffc1f2e81d312, 0x3e67b85f1c109984, 0x3e57d0f6487d81a5, 0x3e59900a2adcb475, 718 0x3e6a90a852b19260, 0x3e657c1a3e45199a, 0x3e6dc41a3b4bc29b, 0x3e63a271af8a6e06, 719 0x3e6750f4052442f6, 0x3e5212fd58ae68fc, 0x3e520bf23a71a88f, 0x3e678054d973723c, 720 0x3e64b28d6e038963, 0x3e1ad50e9eaf3e01, 0x3e6c26b597239097, 0x3e4b733a37d16cc4, 721 0x3e2331725194ac2c, 0x3e56c77a789b45d2, 0x3e46a3e32456db08, 0x3e603d0bd87e7360, 722 0x3e56b48521ba6f93, 0x3e673af3338ffaa3, 0x3e64197e1ebdbd81, 0x3e31826e78ba6fd8, 723 0x3e2b9d6e19854887, 0x3e62f0981548b132, 0x3e660f1a4cfe262a, 0x3e569fe1223ca0b3, 724 0x3e62edb81160edeb, 0x3e5a46304d24e5c3, 0x3e6a2ac25456ebce, 0x3e6a3f724aed2eac, 725 0x3e5b37dbd1e4b3e5, 0x3e647b053d25a1ee, 0x3e5e2f251058d8d0, 0x3e6dac7a3e56baa9, 726 0x3e0d2ac258f87d03, 0x3e67ab1dca47926d, 0x3e3c56acd779649f, 0x3e413b7f401d952a, 727 0x3e6a3253fac23886, 0x3e45c14faa74aaac, 0x3e49102ebc9f62ad, 0x3e6ce8b199cad6ed, 728 0x3e53330c7f1dbe1c, 0x3e5923a8f5c89918, 0x3e4833c5b5aba188, 0x3e66463c81ba03ab, 729 0x3e6d791f6d28e152, 0x3e6be10e31976ede, 0x3e61b9871f374c72, 0x3e6f3e12d65523fc, 730 0x3e42a91124893ecf, 0x3e31cdc5ebf67f3e, 0x3e682817cec39032, 0x3e4ac44dbe33f068, 731 0x3e5c20cfd70bc66d, 0x3e5d03b7d26559b6, 0x3e508280d779b6ba, 0x3e6b8a70d4bedf04, 732 0x3e5132a5cc20715d, 0x3e5f53ad8723d869, 0x3e60f7f6f4fb42a5, 0x3e597f70cf4db8b0, 733 0x3e39e953830097b3, 0x3e64ac66cd30ab74, 0x3e24991a72ed817c, 0x3e52a1b328971532, 734 0x3e59fcef32422cbf, 0x3e591d5e558445ea, 0x3e507b9c6111dd77, 0x3e020b4179b87a6a, 735 0x3e64ea2e7c3471ea, 0x3e4980ff72055486, 0x3e64e6d8e965072a, 0x3e174f7c19f3b303, 736 0x3e542f6afbb5daa6, 0x3e613b1cfa9c008b, 0x3e66615411f4dd60, 0x3e69c70701669d4c, 737 0x3e6ba8ec8ae3d54e, 0x3e6c43c5f6a34ef8, 0x3e6bd45f14f31260, 0x3e6a978e400bc107, 738 0x3e68ca345de441c6, 0x3e66a93ce205bdc4, 0x3e64719dcf5fee9c, 0x3e626057ba1dbd9e, 739 0x3e60b275c97a345b, 0x3e5f4a1b732b7cde, 0x3e5eea7fba97795b, 0x3e606037200869ac, 740 0x3e62a329079f0fc3, 0x3e667b55b6209097, 0x3e6c2607ebb23e26, 0x3e3f04a843282bff, 741 0x3e5bd0ba1c19d645, 0x3e6a7acaa218d916, 0x3e53aaa61ed57da4, 0x3e6c3576483002f4, 742 0x3e61d8bee7ba46e2, 0x3e55f98468b0f8c0, 0x3e4f7c8084c13489, 0x3e517b06a02fa8ea, 743 0x3e5bab4226df55fd, 0x3e6765396ffd44b2, 0x3e46a85c7b1683da, 0x3e68e20f8ee84d1f, 744 0x3e614b02e77ab935, 0x3e5e45b812c7be47, 0x3e62a79091383c65, 0x3e6c1720d9161e22, 745 0x3e575f2ff5047fd6, 0x3e2af0bd044bd0fc, 0x3e6e539cf846549f, 0x3e2db76d56e0024f, 746 0x3e59099f22fdba6b, 0x3e6e8de81ef669c8, 0x3e68350c3aeb1382, 0x3e69b8926eeb19ed, 747 0x3e3ab6e096de1dc6, 0x3e654e554ed8e709, 0x3e5fbaea3a2989ca, 0x3e6342bd4bb837d6, 748 0x3e6fbcba7ec335c0, 0x3e658a0431eda50d, 0x3e64e93cba888524, 0x3e6e1911495f6a58, 749 0x3e615839ec9a4d43, 0x3e5dcaf3233f5b53, 0x3e66ff9e06f708f1, 0x3e53cafffc57486f, 750 0x3e4f580c36bea881, 0x3e611015b2bf9c58, 0x3e474ac54d1863af, 0x3e497368feffcded, 751 0x3e62ed9fb520a254, 0x3e578837bd6dff0e, 0x3e611f73d8125e06, 0x3e39f6bd773f96ab, 752 0x3e330c1327c49334, 0x3e5d8d73e3ed8441, 0x3e515b9e8ada3c5e, 0x3e60561e48a513a0, 753 0x3e47fc378237bb7f, 0x3e53d01fdf487d4e, 0x3e6c50a157d98b5e, 0x3e6d7849fc7c6314, 754 0x3e5b3d398841740b, 0x3e5a066f35113fae, 0x3e6be5c3728d497f, 0x3e6a85f448086ff4, 755 0x3e524712437c0772, 0x3e4ff9304d18d508, 0x3e6756123ef7d252, 0x3e676abbd7d2f855, 756 0x3e50f86846d8379a, 0x3e5594e2f7aec9b5, 0x3e6e9575519460f3, 0x3e407530b5e82748, 757 0x3e6ba20db2a321b8, 0x3e458f72816b93f9, 0x3e2a2e6d40a11129, 0x3e609f654b2440ef, 758 0x3e62999c25159f11, 0x3e4f476a94c3b42e, 0x3e60887b349de0b3, 0x3e59fbc6c88fae0d, 759 0x3e6d7283eeccdcd2, 0x3e3136c5d368690a, 0x3e6b5b68dafa4598, 0x3e52a18d2790615b, 760 0x3e588f1eb3394bdb, 0x3e4201af528180fd, 0x3e623c0fe2500a49, 0x3e65bb3a976da0fd, 761 0x3e5e7d6c83e458b7, 0x3e6f07586affce83, 0x3e4558076350a430, 0x3e335cf485d8c6ab, 762 0x3e668925d901c83b, 0x3e2ef9a3aea17d5b, 0x3e43802612797726, 0x3e6f9b8ccb257bb8, 763 0x3e6263486c574b5f, 0x3e6d786c10d161fb, 0x3e21c32adec2a736, 0x3e6d8fe287b05664, 764 0x3e6314cd32cca618, 0x3e2ec4f968c07787, 0x3e54afa3dd98181a, 0x3e59318f9be76c1f, 765 0x3e51e1603dd53954, 0x3e6fa11527106770, 0x3e60eb8c8834a11b, 0x3e6d11b7428ee199, 766 0x3e415506dadd3e2b, 0x3e4bdf8e9e7de4b7, 0x3e44ed80f22e1327, 0x3e6f6186030bb8b5, 767 0x3e65ac2ef0f65af8, 0x3e50ba80ccc3d13f, 0x3e67b6ab2f9fa4d4, 0x3e3fd35c39b3fded, 768 0x3e5ad5122fbcaa87, 0x3e644916fe7b83bf, 0x3e68d833cc1adaa9, 0x3e6b5a0987ede14f, 769 0x3e6c10cdb14775ad, 0x3e6b3ec14198c36a, 0x3e692630ae6e9315, 0x3e660973eb6ef1a3, 770 0x3e622aee6c57304f, 0x3e5b9a1e4df479b3, 0x3e5264a12a7ea491, 0x3e4274e2dc840895, 771 0x3e0416452b25950c, 0x3e6c8e4ec001cb92, 0x3e6999c25752e4a7, 0x3e67b56806e51659, 772 0x3e6723ff8b114c37, 0x3e68285432454643, 0x3e6b053cdf050f94, 0x3e6ffd9c09eccdf0, 773 0x3e4d517f0ecbaa06, 0x3e614c81b72a93a7, 0x3e6e29072b4697f5, 0x3e5c5a020a3934ea, 774 0x3e29b8bc9e8a0388, 0x3e68b7cfa110f744, 0x3e63c500562a76ed, 0x3e63065d5afd19b3, 775 0x3e66bf31c988f0a6, 0x3e6f32d4660b7068, 0x3e59494f420a2fbb, 0x3e6f5819993f7097, 776 0x3e6790a41dd36907, 0x3e6591ccb0300890, 0x3e699f2486217d82, 0x3e3fe2445ec42850, 777 0x3e64ece165f22d35, 0x3e596946e6ffe201, 0x3e572e9da0205d3d, 0x3e61d8af55b6f7e9, 778 0x3e6fbc9c9f173d24, 0x3e6586fa096c5211, 0x3e637bb6b693cd70, 0x3e69decd8f17c2f2, 779 0x3e51e88a8872af6b, 0x3e2003051fbb1575, 0x3e3235680979fd56, 0x3e5a17cad2fac24b, 780 0x3e2940f737462137, 0x3df1b66d49eb4e60, 0x3e51fc965eb29f67, 0x3e6c6903d94d6af5, 781 0x3e6aa7fc19113d8e, 0x3e3ffd285360d19d, 0x3e68b47ba659b245, 0x3e690b08c5189217, 782 0x3e451f8480e3e236, 0x3e6dafa554ac0a01, 0x3e34380f269af45d, 0x3e6412af3a90ebc6, 783 0x3e629771a9574a0b, 0x3e6e5a19703a5548, 0x3e679f82bc002979, 0x3e6eac95a9327acd, 784 0x3e63c64646304995, 0x3e673194953ff1ff, 0x3e5267191d432f73, 0x3e54228c4543db09, 785 0x3e6a0fe53bad58c5, 0x3e697499c063712f, 0x3e51093f2b55b910, 0x3e4e14fa83161aa3, 786 0x3e66bbcac96535b5, 0x3e666da3fbc07aac, 0x3e4b80d8aa9ff964, 0x3e50b1f2a3385567, 787 0x3e6b1d7176e330c7, 0x3e6f732ead9f6b29, 0x3e659fcd17e61d0e, 0x3e6de8f4e8d68e18, 788 0x3e68945a66b182e4, 0x3e479ef7b3c44996, 0x3e48a3afb98360ad, 0x3e699dbcf7368393, 789 0x3e1182b5e5587fa7, 0x3e6b39e6db92921c, 0x3e53da5ac2f1acb5, 0x3e59d7e48f70d8fc, 790 0x3e41f12ae45a1225, 0x3e60e458065d60f0, 0x3e626a47a8777233, 0x3e52a8a685159fd3, 791 0x3e65e8c0a4150f56, 0x3e686de1cb077789, 0x3e612a14e5e39328, 0x3e08f1157607fc1c, 792 0x3e49859ac3796fd9, 0x3e3b4bf61ebd85e7, 0x3e67c29b94abbc34, 0x3e3d9ac32335bd49, 793 0x3e4e0972c560f30a, 0x3e3bb2e1c9934455, 0x3e67d616fb295ca7, 0x3e43a164e84c7b13, 794 0x3e55e7f6fd0fac91, 0x3e547fc53204d0b8, 0x3e3897fd200b92f6, 0x3e65b4500628a2d1, 795 0x3e3356eba313863b, 0x3e52fb7be80463ea, 0x3e566827b9cd1ec4, 0x3e4f54376e716370, 796 0x3e6fa7e6f381b72d, 0x3e62f3e680e9bd30, 0x3e300301da02be90, 0x3e5a29686e5d3a12, 797 0x3e64784ee8bf79de, 0x3e6872a92584bf8c, 0x3e694b4826bc8fd5, 0x3e6749bd8b77288a, 798 0x3e62b5a75abd0e6a, 0x3e57ad600b6b2eb3, 0x3e37a4734e6ea06b, 0x3e685705d2dfd931, 799 0x3e588bcbfab4d03f, 0x3e6f090b1868f73d, 0x3e60e85dc81c1a02, 0x3e315e993c924619, 800 0x3e631b6ccb210856, 0x3e3ff9c613f38c66, 0x3e651f519aeb18b0, 0x3e4b0f79857153db, 801 0x3e693512a4a6e812, 0x3e59765cef540bcc, 0x3e29e7e737abc6fa, 0x3e68275bb98fbbf9, 802 0x3e609e2bf5ed7fa2, 0x3e5696c2c2a5ac9c, 0x3e50eef586cb9828, 0x3e50d606e9c1e858, 803 0x3e56dd26c3822708, 0x3e61cacf0b732bf5, 0x3e6bc8678b02e839, 0x3e5360352692d162, 804 0x3e6bcab2731c7102, 0x3e626106177df6a4, 0x3e5b77f21b9820df, 0x3e5c48f70be28e76, 805 0x3e63e38a5495479b, 0x3e6f422ef54df4cd, 0x3e60897f8cd0dcf0, 0x3e50053dd64a1d0e, 806 0x3e47daf237553d84, 0x3e555e29444569f7, 0x3e6674f007379e66, 0x3e532348a0b61f79, 807 0x3e413a4f1c91bd35, 0x3e4bd4b5b6be91ce, 0x3e61ceed00d1983d, 0x3e44956be9345fb8, 808 0x3e2420c930819679, 0x3e49ba8f15058656, 0x3e64f4cf4ec68ce2, 0x3e5a3c956654f396, 809 0x3e5e69bc7bf82b4c, 0x3e6b825f04fd8ba5, 0x3e6250aeea5bd62f, 0x3e63e9bc9ee6b295, 810 0x3e12f074891ee83d, 0x3e68a40c4f414c6b, 0x3e6c596bc9db4757, 0x3e5803882b51d09b, 811 0x3e4f9d1037f1ecee, 0x3e6054276a22db24, 0x3e464adafe7861a8, 0x3e4fb51e1182080f, 812 0x3e67ae3c110811ae, 0x3e652003a31a3b2b, 0x3e11a34be803d426, 0x3e6a400953831e27, 813 0x3e341b33cc4eb4ac, 0x3e69a1d4b8d57ba8, 0x3e6fe603e8ff9783, 0x3e659ab0d3f82daf, 814 0x3e6b0aa538444196, 0x3e6080b7cb3cc0a0, 0x3e6647cc3b4dcff1, 0x3e5955a6646cfbc7, 815 0x3e63f4ca5748d74f, 0x3e58e178a354c157, 0x3e6669c0ca94f31f, 0x3e622afc6f97fd8f, 816 0x3e6fffa0f4da29bf, 0x3df9768badb2c9a1, 0x3e63102c9f375085, 0x3e68e2b861e80d5a, 817 0x3e61f5f644897839, 0x3e6e95593e1cc11a, 0x3e6f0c6159cc6aba, 0x3e63a69bb930ae13, 818 0x3e6cafa296944270, 0x3e6a731d47398a32, 0x3e5a79807b40489a, 0x3e65584d0bcae29c, 819 0x3e63119265862511, 0x3e4ad1b08aba6763, 0x3e608cc341786286, 0x3e60e68de8b69e50, 820 0x3e501b9ed446b2f1, 0x3e664e9844a7e1ec, 0x3e6bf50626a5812b, 0x3e694d43f03e9b90, 821 0x3e5d47136b406a09, 0x3e6c441cc14bdb33, 0x3e33da7cb30faa43, 0x3e29581f2ec795fe, 822 0x3e69df20d22a0798, 0x3e57494cddb2d5e6, 0x3e67329a45858012, 0x3e6cd59116d181d1, 823 0x3e6cda2ce9c5bbe1, 0x3e678d1d0e1ca374, 0x3e5a763c3d20abfc, 0x3e6e30fa03287e2a, 824 0x3e55770fe7113e25, 0x3e6327ac793ec5c8, 0x3e67c2597212a140, 0x3e68d88e125500bb, 825 0x3e66b756e72fb8b2, 0x3e61abcdd8f5ee5b, 0x3e5406345ae993bd, 0x3dd4e114891e8f2d, 826 0x3e640f12f71a1e46, 0x3e49794380636337, 0x3e6745871824f0af, 0x3e4c487f6cd870b2, 827 0x3e661192d0aab1b1, 0x3e424594366caa9a, 0x3e62df29172e0d8b, 0x3e2487ee4ec3f51f, 828 0x3e601b13e315bc24, 0x3e6fa4a2f4f6b790, 0x3e6032f4773d243a, 0x3e309ef212751927, 829 0x3e659543ac9eda9e, 0x3e560a2b1a0c69c4, 0x3e358a91e8c83466, 0x3e6ce8059b7f1ce2, 830 0x3e69f7490e4bb40b, 0x3e6a2d438555d54c, 0x3e6dd8297c911d51, 0x3e4518f3f99baa82, 831 0x3e60c5cda60ff43d, 0x3e14a7143dc91304, 0x3e6532e8b5e7b4d8, 0x3e5d7aac7b812921, 832 0x3e5b260e5eee13e7, 0x3e62028f1d9e9e99, 0x3e6c5a8f39bc4ce4, 0x3e59d36cad45e444, 833 0x3e3ff60756814b6f, 0x3e2e87912c98f6cd, 0x3e4bd6da4de9bbdc, 0x3e63755edc91d6be, 834 0x3e4ed9942b84600d, 0x3e401f27aaeab9c4, 0x3e517137f4a3224c, 0x3e6617f76c18ed08, 835 0x3e58ea0c524890e7, 0x3e583dffa710209a, 0x3e656529c8ba8e9a, 0x3e512dae47ea9547, 836 0x3e480da3025b4aef, 0x3e5bf49a7909df72, 0x3e19601f51e84699, 0x3e6ec50e24d249a7, 837 0x3e5070195e35aad7, 0x3e6d73a25949dfc1, 0x3e6ec782b1b8d2de, 0x3e5906de2f3c704f, 838 0x3e4bdcdaf5cb4656, 0x3e5ce56d56ae3acf, 0x3e3a2ece0bca216e, 0x3e470262e9edc4fb, 839 0x3e6632fa2dda95ad, 0x3e64ed12925595cb, 0x3e31f82202a70ab7, 0x3e6e78ff74527658, 840 0x3e53d684a2849d88, 0x3e4398638bece417, 0x3e5f73ba414036d2, 0x3e556dedde134517, 841 0x3e662ddc23305ade, 0x3e626f108497354f, 0x3e6fcb25cfb67724, 0x3e6e92bbb8671525, 842 0x3e5e2cffd89cf44c, 0x3e61a72e154ab8f5, 0x3e4a563f6f7ca75c, 0x3e5c64f9d342e723, 843 0x3e519db5d74e003c, 0x3e66bb9d94f2dd19, 0x3e6849c6a0e407f8, 0x3e5b94cbab484c52, 844 0x3e678e990696a916, 0x3e65e78c16c85e3d, 0x3e524cf1f6bed6a6, 0x3e619ca7be0bb695, 845 0x3e5f36dcfeef76b8, 0x3e3ba18bcdce57ae, 0x3e5af0c6058b73d4, 0x3e5bf3071dbdf35d, 846 0x3e452486cc2c7b9d, 0x3e63b8da2784d43f, 0x3e699a57ca2f39ed, 0x3e673f53a109b201, 847 0x3e59f329b94832f2, 0x3e6b1af0da936e48, 0x3e2f54b27e6e24e0, 0x3e2da95839d5b5cf, 848 0x3e6b1ccfe11b6062, 0x3e5c1c10d542e779, 0x3e6b005b83c2dad8, 0x3e322f9e5ee6991b, 849 0x3e40c4288238d1b5, 0x3e213e5a02f80c27, 0x3e6940dbac4b61db, 0x3e5a149fd82f2852, 850 0x3e6cc2b44eee3fa4, 0x3e5179121d8f7cad, 0x3e614a5cb2b4d0cd, 0x3e66becc11594075, 851 0x3e696c825366effd, 0x3e69a638f61959c8, 0x3e67beb7cdb17c92, 0x3e6408d507f23646, 852 0x3e5daeea5d3a1a5c, 0x3e50fb1653decef4, 0x3e24e18432031477, 0x3e699c2c26ddf128, 853 0x3e61bae4e7cd4b4c, 0x3e53fade020fe6a5, 0x3e35b82ac4e06739, 0x3e6c3af1420bfb2b, 854 0x3e66dc8a80ce9f09, 0x3e62ef374ad0048c, 0x3e60c66c4af27f39, 0x3e60b5aca3903595, 855 0x3e631089f0fd1bda, 0x3e682aa44c095dfb, 0x3e05ea93210e3f4b, 0x3e57d6b2177e878d, 856 0x3e6b397c27122769, 0x3e5d2bdb84bd8e17, 0x3e49525a2a575dcb, 0x3e364b6dc1df327b, 857 0x3e4121e447bb455d, 0x3e564b99ddd75a89, 0x3e67b58c39951cc8, 0x3e5497d0e3f42f1a, 858 0x3e39e90d82e90a7e, 0x3e36ec353ddf898f, 0x3e5302e950af1290, 0x3e677d57a23cbe87, 859 0x3e5a4b544f9a6234, 0x3e559deae0916a68, 0x3e60cdd15a572c7c, 0x3e6f76e46e92d018, 860 0x3e671ee3e212eb75, 0x3e681a9398f707d7, 0x3e35f631479446b3, 0x3e67605cdbd8b9bf, 861 0x3e665447b2294c07, 0x3e6fef85659d46d9, 0x3e6487236bb467cf, 0x3e64703df842f4ee, 862 }; 863 864