dccp_tfrc_lookup.h revision 1.1
1 1.1 rjs /* $KAME: dccp_tfrc_lookup.h,v 1.8 2005/10/21 05:33:51 nishida Exp $ */ 2 1.1 rjs /* $NetBSD: dccp_tfrc_lookup.h,v 1.1 2015/02/10 19:11:52 rjs Exp $ */ 3 1.1 rjs 4 1.1 rjs /* 5 1.1 rjs * Copyright (c) 2003 Nils-Erik Mattsson 6 1.1 rjs * All rights reserved. 7 1.1 rjs * 8 1.1 rjs * Redistribution and use in source and binary forms, with or without 9 1.1 rjs * modification, are permitted provided that the following conditions 10 1.1 rjs * are met: 11 1.1 rjs * 12 1.1 rjs * 1. Redistributions of source code must retain the above copyright 13 1.1 rjs * notice, this list of conditions and the following disclaimer. 14 1.1 rjs * 2. Redistributions in binary form must reproduce the above copyright 15 1.1 rjs * notice, this list of conditions and the following disclaimer in the 16 1.1 rjs * documentation and/or other materials provided with the distribution. 17 1.1 rjs * 3. The name of the author may not be used to endorse or promote products 18 1.1 rjs * derived from this software without specific prior written permission. 19 1.1 rjs * 20 1.1 rjs * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR 21 1.1 rjs * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES 22 1.1 rjs * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. 23 1.1 rjs * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, 24 1.1 rjs * INCIDENTALL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT 25 1.1 rjs * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 26 1.1 rjs * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 27 1.1 rjs * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 28 1.1 rjs * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF 29 1.1 rjs * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 30 1.1 rjs * 31 1.1 rjs * Id: dccp_tfrc_lookup.h,v 1.5 2003/05/28 17:37:43 nilmat-8 Exp 32 1.1 rjs */ 33 1.1 rjs 34 1.1 rjs #ifndef _NETINET_DCCP_TFRC_LOOKUP_H_ 35 1.1 rjs #define _NETINET_DCCP_TFRC_LOOKUP_H_ 36 1.1 rjs 37 1.1 rjs const struct fixpoint fsmall_table[] = { 38 1.1 rjs { 0LL, 1LL }, /* 0 */ 39 1.1 rjs { 163305194960931LL, 100000000000000000LL }, /* 0.00163305194960931 */ 40 1.1 rjs { 230956735363637LL, 100000000000000000LL }, /* 0.00230956735363637 */ 41 1.1 rjs { 282873259487707LL, 100000000000000000LL }, /* 0.00282873259487707 */ 42 1.1 rjs { 326645662574537LL, 100000000000000000LL }, /* 0.00326645662574537 */ 43 1.1 rjs { 365214098377853LL, 100000000000000000LL }, /* 0.00365214098377853 */ 44 1.1 rjs { 400086400001593LL, 100000000000000000LL }, /* 0.00400086400001593 */ 45 1.1 rjs { 432158256340322LL, 100000000000000000LL }, /* 0.00432158256340322 */ 46 1.1 rjs { 462013236858081LL, 100000000000000000LL }, /* 0.00462013236858081 */ 47 1.1 rjs { 490056675498551LL, 100000000000000000LL }, /* 0.00490056675498551 */ 48 1.1 rjs { 516583682704458LL, 100000000000000000LL }, /* 0.00516583682704458 */ 49 1.1 rjs { 541817034936234LL, 100000000000000000LL }, /* 0.00541817034936234 */ 50 1.1 rjs { 565929801070833LL, 100000000000000000LL }, /* 0.00565929801070833 */ 51 1.1 rjs { 589059608718062LL, 100000000000000000LL }, /* 0.00589059608718062 */ 52 1.1 rjs { 611318041778383LL, 100000000000000000LL }, /* 0.00611318041778383 */ 53 1.1 rjs { 632797058060318LL, 100000000000000000LL }, /* 0.00632797058060318 */ 54 1.1 rjs { 653573506415987LL, 100000000000000000LL }, /* 0.00653573506415987 */ 55 1.1 rjs { 673712389086595LL, 100000000000000000LL }, /* 0.00673712389086595 */ 56 1.1 rjs { 693269270671348LL, 100000000000000000LL }, /* 0.00693269270671348 */ 57 1.1 rjs { 71229209166037LL, 10000000000000000LL }, /* 0.0071229209166037 */ 58 1.1 rjs { 730822557103113LL, 100000000000000000LL }, /* 0.00730822557103113 */ 59 1.1 rjs { 748897216079408LL, 100000000000000000LL }, /* 0.00748897216079408 */ 60 1.1 rjs { 766548312170872LL, 100000000000000000LL }, /* 0.00766548312170872 */ 61 1.1 rjs { 783804461648552LL, 100000000000000000LL }, /* 0.00783804461648552 */ 62 1.1 rjs { 800691200203843LL, 100000000000000000LL }, /* 0.00800691200203843 */ 63 1.1 rjs { 817231428085712LL, 100000000000000000LL }, /* 0.00817231428085712 */ 64 1.1 rjs { 833445775806404LL, 100000000000000000LL }, /* 0.00833445775806404 */ 65 1.1 rjs { 849352907081277LL, 100000000000000000LL }, /* 0.00849352907081277 */ 66 1.1 rjs { 864969771687212LL, 100000000000000000LL }, /* 0.00864969771687212 */ 67 1.1 rjs { 880311818001545LL, 100000000000000000LL }, /* 0.00880311818001545 */ 68 1.1 rjs { 89539317281132LL, 10000000000000000LL }, /* 0.0089539317281132 */ 69 1.1 rjs { 910226794349901LL, 100000000000000000LL }, /* 0.00910226794349901 */ 70 1.1 rjs { 924824603277504LL, 100000000000000000LL }, /* 0.00924824603277504 */ 71 1.1 rjs { 939197595370597LL, 100000000000000000LL }, /* 0.00939197595370597 */ 72 1.1 rjs { 9533559389484LL, 1000000000000000LL }, /* 0.009533559389484 */ 73 1.1 rjs { 967309059489451LL, 100000000000000000LL }, /* 0.00967309059489451 */ 74 1.1 rjs { 981065713438519LL, 100000000000000000LL }, /* 0.00981065713438519 */ 75 1.1 rjs { 994634052845154LL, 100000000000000000LL }, /* 0.00994634052845154 */ 76 1.1 rjs { 100802168218855LL, 10000000000000000LL }, /* 0.0100802168218855 */ 77 1.1 rjs { 102123570851299LL, 10000000000000000LL }, /* 0.0102123570851299 */ 78 1.1 rjs { 103428278581192LL, 10000000000000000LL }, /* 0.0103428278581192 */ 79 1.1 rjs { 10471691544469LL, 1000000000000000LL }, /* 0.010471691544469 */ 80 1.1 rjs { 105990067626397LL, 10000000000000000LL }, /* 0.0105990067626397 */ 81 1.1 rjs { 107248286596785LL, 10000000000000000LL }, /* 0.0107248286596785 */ 82 1.1 rjs { 108492091922994LL, 10000000000000000LL }, /* 0.0108492091922994 */ 83 1.1 rjs { 109721973793658LL, 10000000000000000LL }, /* 0.0109721973793658 */ 84 1.1 rjs { 110938395292506LL, 10000000000000000LL }, /* 0.0110938395292506 */ 85 1.1 rjs { 112141794450653LL, 10000000000000000LL }, /* 0.0112141794450653 */ 86 1.1 rjs { 113332586103332LL, 10000000000000000LL }, /* 0.0113332586103332 */ 87 1.1 rjs { 114511163573388LL, 10000000000000000LL }, /* 0.0114511163573388 */ 88 1.1 rjs { 115677900200876LL, 10000000000000000LL }, /* 0.0115677900200876 */ 89 1.1 rjs { 116833150735621LL, 10000000000000000LL }, /* 0.0116833150735621 */ 90 1.1 rjs { 11797725260745LL, 1000000000000000LL }, /* 0.011797725260745 */ 91 1.1 rjs { 119110527086984LL, 10000000000000000LL }, /* 0.0119110527086984 */ 92 1.1 rjs { 120233280348285LL, 10000000000000000LL }, /* 0.0120233280348285 */ 93 1.1 rjs { 121345804443331LL, 10000000000000000LL }, /* 0.0121345804443331 */ 94 1.1 rjs { 122448378197079LL, 10000000000000000LL }, /* 0.0122448378197079 */ 95 1.1 rjs { 123541268030903LL, 10000000000000000LL }, /* 0.0123541268030903 */ 96 1.1 rjs { 124624728721277LL, 10000000000000000LL }, /* 0.0124624728721277 */ 97 1.1 rjs { 125699004099823LL, 10000000000000000LL }, /* 0.0125699004099823 */ 98 1.1 rjs { 126764327700174LL, 10000000000000000LL }, /* 0.0126764327700174 */ 99 1.1 rjs { 127820923356504LL, 10000000000000000LL }, /* 0.0127820923356504 */ 100 1.1 rjs { 128869005758063LL, 10000000000000000LL }, /* 0.0128869005758063 */ 101 1.1 rjs { 129908780963614LL, 10000000000000000LL }, /* 0.0129908780963614 */ 102 1.1 rjs { 130940446879258LL, 10000000000000000LL }, /* 0.0130940446879258 */ 103 1.1 rjs { 131964193702772LL, 10000000000000000LL }, /* 0.0131964193702772 */ 104 1.1 rjs { 1329802043373LL, 100000000000000LL }, /* 0.01329802043373 */ 105 1.1 rjs { 133988654776928LL, 10000000000000000LL }, /* 0.0133988654776928 */ 106 1.1 rjs { 134989714466453LL, 10000000000000000LL }, /* 0.0134989714466453 */ 107 1.1 rjs { 135983546637418LL, 10000000000000000LL }, /* 0.0135983546637418 */ 108 1.1 rjs { 136970308622305LL, 10000000000000000LL }, /* 0.0136970308622305 */ 109 1.1 rjs { 137950152148595LL, 10000000000000000LL }, /* 0.0137950152148595 */ 110 1.1 rjs { 138923223614248LL, 10000000000000000LL }, /* 0.0138923223614248 */ 111 1.1 rjs { 139889664346018LL, 10000000000000000LL }, /* 0.0139889664346018 */ 112 1.1 rjs { 140849610841894LL, 10000000000000000LL }, /* 0.0140849610841894 */ 113 1.1 rjs { 141803194998843LL, 10000000000000000LL }, /* 0.0141803194998843 */ 114 1.1 rjs { 142750544326924LL, 10000000000000000LL }, /* 0.0142750544326924 */ 115 1.1 rjs { 143691782150771LL, 10000000000000000LL }, /* 0.0143691782150771 */ 116 1.1 rjs { 144627027799322LL, 10000000000000000LL }, /* 0.0144627027799322 */ 117 1.1 rjs { 145556396784645LL, 10000000000000000LL }, /* 0.0145556396784645 */ 118 1.1 rjs { 146480000970597LL, 10000000000000000LL }, /* 0.0146480000970597 */ 119 1.1 rjs { 14739794873203LL, 1000000000000000LL }, /* 0.014739794873203 */ 120 1.1 rjs { 148310345105165LL, 10000000000000000LL }, /* 0.0148310345105165 */ 121 1.1 rjs { 149217291929752LL, 10000000000000000LL }, /* 0.0149217291929752 */ 122 1.1 rjs { 150118887983524LL, 10000000000000000LL }, /* 0.0150118887983524 */ 123 1.1 rjs { 151015229109484LL, 10000000000000000LL }, /* 0.0151015229109484 */ 124 1.1 rjs { 151906408336458LL, 10000000000000000LL }, /* 0.0151906408336458 */ 125 1.1 rjs { 152792515993363LL, 10000000000000000LL }, /* 0.0152792515993363 */ 126 1.1 rjs { 153673639817576LL, 10000000000000000LL }, /* 0.0153673639817576 */ 127 1.1 rjs { 154549865057777LL, 10000000000000000LL }, /* 0.0154549865057777 */ 128 1.1 rjs { 155421274571605LL, 10000000000000000LL }, /* 0.0155421274571605 */ 129 1.1 rjs { 156287948918437LL, 10000000000000000LL }, /* 0.0156287948918437 */ 130 1.1 rjs { 157149966447599LL, 10000000000000000LL }, /* 0.0157149966447599 */ 131 1.1 rjs { 158007403382266LL, 10000000000000000LL }, /* 0.0158007403382266 */ 132 1.1 rjs { 158860333899315LL, 10000000000000000LL }, /* 0.0158860333899315 */ 133 1.1 rjs { 159708830205358LL, 10000000000000000LL }, /* 0.0159708830205358 */ 134 1.1 rjs { 160552962609193LL, 10000000000000000LL }, /* 0.0160552962609193 */ 135 1.1 rjs { 161392799590851LL, 10000000000000000LL }, /* 0.0161392799590851 */ 136 1.1 rjs { 162228407867464LL, 10000000000000000LL }, /* 0.0162228407867464 */ 137 1.1 rjs { 163059852456097LL, 10000000000000000LL }, /* 0.0163059852456097 */ 138 1.1 rjs { 163887196733746LL, 10000000000000000LL }, /* 0.0163887196733746 */ 139 1.1 rjs { 164710502494631LL, 10000000000000000LL }, /* 0.0164710502494631 */ 140 1.1 rjs { 165529830004946LL, 10000000000000000LL }, /* 0.0165529830004946 */ 141 1.1 rjs { 166345238055199LL, 10000000000000000LL }, /* 0.0166345238055199 */ 142 1.1 rjs { 167156784010267LL, 10000000000000000LL }, /* 0.0167156784010267 */ 143 1.1 rjs { 167964523857295LL, 10000000000000000LL }, /* 0.0167964523857295 */ 144 1.1 rjs { 168768512251538LL, 10000000000000000LL }, /* 0.0168768512251538 */ 145 1.1 rjs { 169568802560266LL, 10000000000000000LL }, /* 0.0169568802560266 */ 146 1.1 rjs { 170365446904829LL, 10000000000000000LL }, /* 0.0170365446904829 */ 147 1.1 rjs { 171158496200964LL, 10000000000000000LL }, /* 0.0171158496200964 */ 148 1.1 rjs { 171948000197448LL, 10000000000000000LL }, /* 0.0171948000197448 */ 149 1.1 rjs { 172734007513173LL, 10000000000000000LL }, /* 0.0172734007513173 */ 150 1.1 rjs { 173516565672713LL, 10000000000000000LL }, /* 0.0173516565672713 */ 151 1.1 rjs { 174295721140473LL, 10000000000000000LL }, /* 0.0174295721140473 */ 152 1.1 rjs { 17507151935348LL, 1000000000000000LL }, /* 0.017507151935348 */ 153 1.1 rjs { 175844004752871LL, 10000000000000000LL }, /* 0.0175844004752871 */ 154 1.1 rjs { 17661322081417LL, 1000000000000000LL }, /* 0.017661322081417 */ 155 1.1 rjs { 177379210076372LL, 10000000000000000LL }, /* 0.0177379210076372 */ 156 1.1 rjs { 178142014169926LL, 10000000000000000LL }, /* 0.0178142014169926 */ 157 1.1 rjs { 178901673843644LL, 10000000000000000LL }, /* 0.0178901673843644 */ 158 1.1 rjs { 179658228990597LL, 10000000000000000LL }, /* 0.0179658228990597 */ 159 1.1 rjs { 180411718673042LL, 10000000000000000LL }, /* 0.0180411718673042 */ 160 1.1 rjs { 181162181146423LL, 10000000000000000LL }, /* 0.0181162181146423 */ 161 1.1 rjs { 181909653882486LL, 10000000000000000LL }, /* 0.0181909653882486 */ 162 1.1 rjs { 182654173591552LL, 10000000000000000LL }, /* 0.0182654173591552 */ 163 1.1 rjs { 183395776243984LL, 10000000000000000LL }, /* 0.0183395776243984 */ 164 1.1 rjs { 18413449709088LL, 1000000000000000LL }, /* 0.018413449709088 */ 165 1.1 rjs { 184870370684027LL, 10000000000000000LL }, /* 0.0184870370684027 */ 166 1.1 rjs { 185603430895154LL, 10000000000000000LL }, /* 0.0185603430895154 */ 167 1.1 rjs { 186333710934504LL, 10000000000000000LL }, /* 0.0186333710934504 */ 168 1.1 rjs { 187061243368762LL, 10000000000000000LL }, /* 0.0187061243368762 */ 169 1.1 rjs { 187786060138361LL, 10000000000000000LL }, /* 0.0187786060138361 */ 170 1.1 rjs { 188508192574198LL, 10000000000000000LL }, /* 0.0188508192574198 */ 171 1.1 rjs { 189227671413778LL, 10000000000000000LL }, /* 0.0189227671413778 */ 172 1.1 rjs { 189944526816812LL, 10000000000000000LL }, /* 0.0189944526816812 */ 173 1.1 rjs { 190658788380296LL, 10000000000000000LL }, /* 0.0190658788380296 */ 174 1.1 rjs { 19137048515308LL, 1000000000000000LL }, /* 0.019137048515308 */ 175 1.1 rjs { 192079645649969LL, 10000000000000000LL }, /* 0.0192079645649969 */ 176 1.1 rjs { 192786297865344LL, 10000000000000000LL }, /* 0.0192786297865344 */ 177 1.1 rjs { 193490469286358LL, 10000000000000000LL }, /* 0.0193490469286358 */ 178 1.1 rjs { 194192186905687LL, 10000000000000000LL }, /* 0.0194192186905687 */ 179 1.1 rjs { 194891477233888LL, 10000000000000000LL }, /* 0.0194891477233888 */ 180 1.1 rjs { 195588366311352LL, 10000000000000000LL }, /* 0.0195588366311352 */ 181 1.1 rjs { 196282879719884LL, 10000000000000000LL }, /* 0.0196282879719884 */ 182 1.1 rjs { 196975042593915LL, 10000000000000000LL }, /* 0.0196975042593915 */ 183 1.1 rjs { 197664879631372LL, 10000000000000000LL }, /* 0.0197664879631372 */ 184 1.1 rjs { 1983524151042LL, 100000000000000LL }, /* 0.01983524151042 */ 185 1.1 rjs { 199037672868568LL, 10000000000000000LL }, /* 0.0199037672868568 */ 186 1.1 rjs { 199720676374761LL, 10000000000000000LL }, /* 0.0199720676374761 */ 187 1.1 rjs { 200401448676771LL, 10000000000000000LL }, /* 0.0200401448676771 */ 188 1.1 rjs { 2010800124416LL, 100000000000000LL }, /* 0.02010800124416 */ 189 1.1 rjs { 20175638995828LL, 1000000000000000LL }, /* 0.020175638995828 */ 190 1.1 rjs { 202430603146631LL, 10000000000000000LL }, /* 0.0202430603146631 */ 191 1.1 rjs { 203102673565755LL, 10000000000000000LL }, /* 0.0203102673565755 */ 192 1.1 rjs { 203772622422282LL, 10000000000000000LL }, /* 0.0203772622422282 */ 193 1.1 rjs { 204440470578377LL, 10000000000000000LL }, /* 0.0204440470578377 */ 194 1.1 rjs { 205106238559511LL, 10000000000000000LL }, /* 0.0205106238559511 */ 195 1.1 rjs { 205769946562011LL, 10000000000000000LL }, /* 0.0205769946562011 */ 196 1.1 rjs { 206431614460395LL, 10000000000000000LL }, /* 0.0206431614460395 */ 197 1.1 rjs { 207091261814494LL, 10000000000000000LL }, /* 0.0207091261814494 */ 198 1.1 rjs { 207748907876375LL, 10000000000000000LL }, /* 0.0207748907876375 */ 199 1.1 rjs { 20840457159707LL, 1000000000000000LL }, /* 0.020840457159707 */ 200 1.1 rjs { 20905827163312LL, 1000000000000000LL }, /* 0.020905827163312 */ 201 1.1 rjs { 209710026352927LL, 10000000000000000LL }, /* 0.0209710026352927 */ 202 1.1 rjs { 210359853842945LL, 10000000000000000LL }, /* 0.0210359853842945 */ 203 1.1 rjs { 211007771913689LL, 10000000000000000LL }, /* 0.0211007771913689 */ 204 1.1 rjs { 211653798105588LL, 10000000000000000LL }, /* 0.0211653798105588 */ 205 1.1 rjs { 212297949694677LL, 10000000000000000LL }, /* 0.0212297949694677 */ 206 1.1 rjs { 212940243698132LL, 10000000000000000LL }, /* 0.0212940243698132 */ 207 1.1 rjs { 213580696879667LL, 10000000000000000LL }, /* 0.0213580696879667 */ 208 1.1 rjs { 214219325754774LL, 10000000000000000LL }, /* 0.0214219325754774 */ 209 1.1 rjs { 214856146595837LL, 10000000000000000LL }, /* 0.0214856146595837 */ 210 1.1 rjs { 215491175437103LL, 10000000000000000LL }, /* 0.0215491175437103 */ 211 1.1 rjs { 216124428079525LL, 10000000000000000LL }, /* 0.0216124428079525 */ 212 1.1 rjs { 216755920095483LL, 10000000000000000LL }, /* 0.0216755920095483 */ 213 1.1 rjs { 217385666833377LL, 10000000000000000LL }, /* 0.0217385666833377 */ 214 1.1 rjs { 218013683422109LL, 10000000000000000LL }, /* 0.0218013683422109 */ 215 1.1 rjs { 218639984775441LL, 10000000000000000LL }, /* 0.0218639984775441 */ 216 1.1 rjs { 219264585596254LL, 10000000000000000LL }, /* 0.0219264585596254 */ 217 1.1 rjs { 219887500380688LL, 10000000000000000LL }, /* 0.0219887500380688 */ 218 1.1 rjs { 220508743422187LL, 10000000000000000LL }, /* 0.0220508743422187 */ 219 1.1 rjs { 221128328815438LL, 10000000000000000LL }, /* 0.0221128328815438 */ 220 1.1 rjs { 22174627046021LL, 1000000000000000LL }, /* 0.022174627046021 */ 221 1.1 rjs { 22236258206511LL, 1000000000000000LL }, /* 0.022236258206511 */ 222 1.1 rjs { 222977277151227LL, 10000000000000000LL }, /* 0.0222977277151227 */ 223 1.1 rjs { 223590369055709LL, 10000000000000000LL }, /* 0.0223590369055709 */ 224 1.1 rjs { 224201870935234LL, 10000000000000000LL }, /* 0.0224201870935234 */ 225 1.1 rjs { 224811795769409LL, 10000000000000000LL }, /* 0.0224811795769409 */ 226 1.1 rjs { 225420156364085LL, 10000000000000000LL }, /* 0.0225420156364085 */ 227 1.1 rjs { 226026965354587LL, 10000000000000000LL }, /* 0.0226026965354587 */ 228 1.1 rjs { 226632235208875LL, 10000000000000000LL }, /* 0.0226632235208875 */ 229 1.1 rjs { 227235978230625LL, 10000000000000000LL }, /* 0.0227235978230625 */ 230 1.1 rjs { 22783820656224LL, 1000000000000000LL }, /* 0.022783820656224 */ 231 1.1 rjs { 228438932187787LL, 10000000000000000LL }, /* 0.0228438932187787 */ 232 1.1 rjs { 229038166935873LL, 10000000000000000LL }, /* 0.0229038166935873 */ 233 1.1 rjs { 229635922482444LL, 10000000000000000LL }, /* 0.0229635922482444 */ 234 1.1 rjs { 230232210353529LL, 10000000000000000LL }, /* 0.0230232210353529 */ 235 1.1 rjs { 230827041927913LL, 10000000000000000LL }, /* 0.0230827041927913 */ 236 1.1 rjs { 231420428439758LL, 10000000000000000LL }, /* 0.0231420428439758 */ 237 1.1 rjs { 232012380981154LL, 10000000000000000LL }, /* 0.0232012380981154 */ 238 1.1 rjs { 232602910504621LL, 10000000000000000LL }, /* 0.0232602910504621 */ 239 1.1 rjs { 233192027825551LL, 10000000000000000LL }, /* 0.0233192027825551 */ 240 1.1 rjs { 233779743624595LL, 10000000000000000LL }, /* 0.0233779743624595 */ 241 1.1 rjs { 234366068449998LL, 10000000000000000LL }, /* 0.0234366068449998 */ 242 1.1 rjs { 234951012719883LL, 10000000000000000LL }, /* 0.0234951012719883 */ 243 1.1 rjs { 235534586724479LL, 10000000000000000LL }, /* 0.0235534586724479 */ 244 1.1 rjs { 236116800628313LL, 10000000000000000LL }, /* 0.0236116800628313 */ 245 1.1 rjs { 236697664472338LL, 10000000000000000LL }, /* 0.0236697664472338 */ 246 1.1 rjs { 237277188176025LL, 10000000000000000LL }, /* 0.0237277188176025 */ 247 1.1 rjs { 23785538153941LL, 1000000000000000LL }, /* 0.023785538153941 */ 248 1.1 rjs { 238432254245091LL, 10000000000000000LL }, /* 0.0238432254245091 */ 249 1.1 rjs { 239007815860187LL, 10000000000000000LL }, /* 0.0239007815860187 */ 250 1.1 rjs { 239582075838253LL, 10000000000000000LL }, /* 0.0239582075838253 */ 251 1.1 rjs { 240155043521156LL, 10000000000000000LL }, /* 0.0240155043521156 */ 252 1.1 rjs { 240726728140909LL, 10000000000000000LL }, /* 0.0240726728140909 */ 253 1.1 rjs { 241297138821471LL, 10000000000000000LL }, /* 0.0241297138821471 */ 254 1.1 rjs { 241866284580502LL, 10000000000000000LL }, /* 0.0241866284580502 */ 255 1.1 rjs { 24243417433109LL, 1000000000000000LL }, /* 0.024243417433109 */ 256 1.1 rjs { 243000816883436LL, 10000000000000000LL }, /* 0.0243000816883436 */ 257 1.1 rjs { 243566220946503LL, 10000000000000000LL }, /* 0.0243566220946503 */ 258 1.1 rjs { 244130395129642LL, 10000000000000000LL }, /* 0.0244130395129642 */ 259 1.1 rjs { 244693347944169LL, 10000000000000000LL }, /* 0.0244693347944169 */ 260 1.1 rjs { 245255087804923LL, 10000000000000000LL }, /* 0.0245255087804923 */ 261 1.1 rjs { 245815623031787LL, 10000000000000000LL }, /* 0.0245815623031787 */ 262 1.1 rjs { 246374961851176LL, 10000000000000000LL }, /* 0.0246374961851176 */ 263 1.1 rjs { 246933112397499LL, 10000000000000000LL }, /* 0.0246933112397499 */ 264 1.1 rjs { 247490082714593LL, 10000000000000000LL }, /* 0.0247490082714593 */ 265 1.1 rjs { 248045880757123LL, 10000000000000000LL }, /* 0.0248045880757123 */ 266 1.1 rjs { 248600514391958LL, 10000000000000000LL }, /* 0.0248600514391958 */ 267 1.1 rjs { 249153991399521LL, 10000000000000000LL }, /* 0.0249153991399521 */ 268 1.1 rjs { 249706319475108LL, 10000000000000000LL }, /* 0.0249706319475108 */ 269 1.1 rjs { 250257506230185LL, 10000000000000000LL }, /* 0.0250257506230185 */ 270 1.1 rjs { 25080755919366LL, 1000000000000000LL }, /* 0.025080755919366 */ 271 1.1 rjs { 251356485813126LL, 10000000000000000LL }, /* 0.0251356485813126 */ 272 1.1 rjs { 251904293456085LL, 10000000000000000LL }, /* 0.0251904293456085 */ 273 1.1 rjs { 252450989411148LL, 10000000000000000LL }, /* 0.0252450989411148 */ 274 1.1 rjs { 252996580889205LL, 10000000000000000LL }, /* 0.0252996580889205 */ 275 1.1 rjs { 253541075024583LL, 10000000000000000LL }, /* 0.0253541075024583 */ 276 1.1 rjs { 254084478876176LL, 10000000000000000LL }, /* 0.0254084478876176 */ 277 1.1 rjs { 254626799428553LL, 10000000000000000LL }, /* 0.0254626799428553 */ 278 1.1 rjs { 25516804359305LL, 1000000000000000LL }, /* 0.025516804359305 */ 279 1.1 rjs { 255708218208836LL, 10000000000000000LL }, /* 0.0255708218208836 */ 280 1.1 rjs { 256247330043961LL, 10000000000000000LL }, /* 0.0256247330043961 */ 281 1.1 rjs { 256785385796388LL, 10000000000000000LL }, /* 0.0256785385796388 */ 282 1.1 rjs { 257322392095LL, 10000000000000LL }, /* 0.0257322392095 */ 283 1.1 rjs { 257858355500594LL, 10000000000000000LL }, /* 0.0257858355500594 */ 284 1.1 rjs { 25839328250685LL, 1000000000000000LL }, /* 0.025839328250685 */ 285 1.1 rjs { 258927179541294LL, 10000000000000000LL }, /* 0.0258927179541294 */ 286 1.1 rjs { 259460052966225LL, 10000000000000000LL }, /* 0.0259460052966225 */ 287 1.1 rjs { 259991909079647LL, 10000000000000000LL }, /* 0.0259991909079647 */ 288 1.1 rjs { 260522754116166LL, 10000000000000000LL }, /* 0.0260522754116166 */ 289 1.1 rjs { 26105259424788LL, 1000000000000000LL }, /* 0.026105259424788 */ 290 1.1 rjs { 261581435585253LL, 10000000000000000LL }, /* 0.0261581435585253 */ 291 1.1 rjs { 262109284177969LL, 10000000000000000LL }, /* 0.0262109284177969 */ 292 1.1 rjs { 262636146015774LL, 10000000000000000LL }, /* 0.0262636146015774 */ 293 1.1 rjs { 263162027029303LL, 10000000000000000LL }, /* 0.0263162027029303 */ 294 1.1 rjs { 263686933090892LL, 10000000000000000LL }, /* 0.0263686933090892 */ 295 1.1 rjs { 264210870015373LL, 10000000000000000LL }, /* 0.0264210870015373 */ 296 1.1 rjs { 264733843560862LL, 10000000000000000LL }, /* 0.0264733843560862 */ 297 1.1 rjs { 265255859429526LL, 10000000000000000LL }, /* 0.0265255859429526 */ 298 1.1 rjs { 265776923268339LL, 10000000000000000LL }, /* 0.0265776923268339 */ 299 1.1 rjs { 266297040669827LL, 10000000000000000LL }, /* 0.0266297040669827 */ 300 1.1 rjs { 266816217172798LL, 10000000000000000LL }, /* 0.0266816217172798 */ 301 1.1 rjs { 26733445826306LL, 1000000000000000LL }, /* 0.026733445826306 */ 302 1.1 rjs { 267851769374128LL, 10000000000000000LL }, /* 0.0267851769374128 */ 303 1.1 rjs { 268368155887916LL, 10000000000000000LL }, /* 0.0268368155887916 */ 304 1.1 rjs { 26888362313542LL, 1000000000000000LL }, /* 0.026888362313542 */ 305 1.1 rjs { 269398176397387LL, 10000000000000000LL }, /* 0.0269398176397387 */ 306 1.1 rjs { 269911820904977LL, 10000000000000000LL }, /* 0.0269911820904977 */ 307 1.1 rjs { 270424561840408LL, 10000000000000000LL }, /* 0.0270424561840408 */ 308 1.1 rjs { 270936404337596LL, 10000000000000000LL }, /* 0.0270936404337596 */ 309 1.1 rjs { 271447353482779LL, 10000000000000000LL }, /* 0.0271447353482779 */ 310 1.1 rjs { 271957414315136LL, 10000000000000000LL }, /* 0.0271957414315136 */ 311 1.1 rjs { 272466591827389LL, 10000000000000000LL }, /* 0.0272466591827389 */ 312 1.1 rjs { 272974890966405LL, 10000000000000000LL }, /* 0.0272974890966405 */ 313 1.1 rjs { 273482316633775LL, 10000000000000000LL }, /* 0.0273482316633775 */ 314 1.1 rjs { 273988873686397LL, 10000000000000000LL }, /* 0.0273988873686397 */ 315 1.1 rjs { 27449456693704LL, 1000000000000000LL }, /* 0.027449456693704 */ 316 1.1 rjs { 274999401154902LL, 10000000000000000LL }, /* 0.0274999401154902 */ 317 1.1 rjs { 27550338106616LL, 1000000000000000LL }, /* 0.027550338106616 */ 318 1.1 rjs { 276006511354511LL, 10000000000000000LL }, /* 0.0276006511354511 */ 319 1.1 rjs { 2765087966617LL, 100000000000000LL }, /* 0.02765087966617 */ 320 1.1 rjs { 277010241588047LL, 10000000000000000LL }, /* 0.0277010241588047 */ 321 1.1 rjs { 27751085069296LL, 1000000000000000LL }, /* 0.027751085069296 */ 322 1.1 rjs { 278010628495439LL, 10000000000000000LL }, /* 0.0278010628495439 */ 323 1.1 rjs { 27850957947458LL, 1000000000000000LL }, /* 0.027850957947458 */ 324 1.1 rjs { 279007708070058LL, 10000000000000000LL }, /* 0.0279007708070058 */ 325 1.1 rjs { 279505018682618LL, 10000000000000000LL }, /* 0.0279505018682618 */ 326 1.1 rjs { 280001515674544LL, 10000000000000000LL }, /* 0.0280001515674544 */ 327 1.1 rjs { 280497203370128LL, 10000000000000000LL }, /* 0.0280497203370128 */ 328 1.1 rjs { 280992086056135LL, 10000000000000000LL }, /* 0.0280992086056135 */ 329 1.1 rjs { 28148616798225LL, 1000000000000000LL }, /* 0.028148616798225 */ 330 1.1 rjs { 281979453361527LL, 10000000000000000LL }, /* 0.0281979453361527 */ 331 1.1 rjs { 28247194637083LL, 1000000000000000LL }, /* 0.028247194637083 */ 332 1.1 rjs { 282963651151265LL, 10000000000000000LL }, /* 0.0282963651151265 */ 333 1.1 rjs { 283454571808605LL, 10000000000000000LL }, /* 0.0283454571808605 */ 334 1.1 rjs { 283944712413708LL, 10000000000000000LL }, /* 0.0283944712413708 */ 335 1.1 rjs { 284434077002936LL, 10000000000000000LL }, /* 0.0284434077002936 */ 336 1.1 rjs { 284922669578557LL, 10000000000000000LL }, /* 0.0284922669578557 */ 337 1.1 rjs { 285410494109145LL, 10000000000000000LL }, /* 0.0285410494109145 */ 338 1.1 rjs { 285897554529981LL, 10000000000000000LL }, /* 0.0285897554529981 */ 339 1.1 rjs { 286383854743433LL, 10000000000000000LL }, /* 0.0286383854743433 */ 340 1.1 rjs { 286869398619349LL, 10000000000000000LL }, /* 0.0286869398619349 */ 341 1.1 rjs { 287354189995426LL, 10000000000000000LL }, /* 0.0287354189995426 */ 342 1.1 rjs { 287838232677585LL, 10000000000000000LL }, /* 0.0287838232677585 */ 343 1.1 rjs { 288321530440338LL, 10000000000000000LL }, /* 0.0288321530440338 */ 344 1.1 rjs { 288804087027148LL, 10000000000000000LL }, /* 0.0288804087027148 */ 345 1.1 rjs { 289285906150784LL, 10000000000000000LL }, /* 0.0289285906150784 */ 346 1.1 rjs { 289766991493673LL, 10000000000000000LL }, /* 0.0289766991493673 */ 347 1.1 rjs { 290247346708242LL, 10000000000000000LL }, /* 0.0290247346708242 */ 348 1.1 rjs { 290726975417263LL, 10000000000000000LL }, /* 0.0290726975417263 */ 349 1.1 rjs { 291205881214181LL, 10000000000000000LL }, /* 0.0291205881214181 */ 350 1.1 rjs { 291684067663454LL, 10000000000000000LL }, /* 0.0291684067663454 */ 351 1.1 rjs { 292161538300869LL, 10000000000000000LL }, /* 0.0292161538300869 */ 352 1.1 rjs { 29263829663387LL, 1000000000000000LL }, /* 0.029263829663387 */ 353 1.1 rjs { 293114346141869LL, 10000000000000000LL }, /* 0.0293114346141869 */ 354 1.1 rjs { 293589690276564LL, 10000000000000000LL }, /* 0.0293589690276564 */ 355 1.1 rjs { 29406433246224LL, 1000000000000000LL }, /* 0.029406433246224 */ 356 1.1 rjs { 294538276096075LL, 10000000000000000LL }, /* 0.0294538276096075 */ 357 1.1 rjs { 295011524548438LL, 10000000000000000LL }, /* 0.0295011524548438 */ 358 1.1 rjs { 295484081163186LL, 10000000000000000LL }, /* 0.0295484081163186 */ 359 1.1 rjs { 29595594925795LL, 1000000000000000LL }, /* 0.029595594925795 */ 360 1.1 rjs { 296427132124425LL, 10000000000000000LL }, /* 0.0296427132124425 */ 361 1.1 rjs { 29689763302865LL, 1000000000000000LL }, /* 0.029689763302865 */ 362 1.1 rjs { 297367455211288LL, 10000000000000000LL }, /* 0.0297367455211288 */ 363 1.1 rjs { 297836601887898LL, 10000000000000000LL }, /* 0.0297836601887898 */ 364 1.1 rjs { 298305076249208LL, 10000000000000000LL }, /* 0.0298305076249208 */ 365 1.1 rjs { 298772881461383LL, 10000000000000000LL }, /* 0.0298772881461383 */ 366 1.1 rjs { 299240020666283LL, 10000000000000000LL }, /* 0.0299240020666283 */ 367 1.1 rjs { 299706496981729LL, 10000000000000000LL }, /* 0.0299706496981729 */ 368 1.1 rjs { 300172313501756LL, 10000000000000000LL }, /* 0.0300172313501756 */ 369 1.1 rjs { 300637473296863LL, 10000000000000000LL }, /* 0.0300637473296863 */ 370 1.1 rjs { 301101979414268LL, 10000000000000000LL }, /* 0.0301101979414268 */ 371 1.1 rjs { 30156583487815LL, 1000000000000000LL }, /* 0.030156583487815 */ 372 1.1 rjs { 302029042689891LL, 10000000000000000LL }, /* 0.0302029042689891 */ 373 1.1 rjs { 302491605828317LL, 10000000000000000LL }, /* 0.0302491605828317 */ 374 1.1 rjs { 302953527249935LL, 10000000000000000LL }, /* 0.0302953527249935 */ 375 1.1 rjs { 303414809889161LL, 10000000000000000LL }, /* 0.0303414809889161 */ 376 1.1 rjs { 303875456658556LL, 10000000000000000LL }, /* 0.0303875456658556 */ 377 1.1 rjs { 304335470449047LL, 10000000000000000LL }, /* 0.0304335470449047 */ 378 1.1 rjs { 304794854130155LL, 10000000000000000LL }, /* 0.0304794854130155 */ 379 1.1 rjs { 305253610550213LL, 10000000000000000LL }, /* 0.0305253610550213 */ 380 1.1 rjs { 305711742536585LL, 10000000000000000LL }, /* 0.0305711742536585 */ 381 1.1 rjs { 30616925289588LL, 1000000000000000LL }, /* 0.030616925289588 */ 382 1.1 rjs { 306626144414165LL, 10000000000000000LL }, /* 0.0306626144414165 */ 383 1.1 rjs { 307082419857174LL, 10000000000000000LL }, /* 0.0307082419857174 */ 384 1.1 rjs { 307538081970513LL, 10000000000000000LL }, /* 0.0307538081970513 */ 385 1.1 rjs { 307993133479868LL, 10000000000000000LL }, /* 0.0307993133479868 */ 386 1.1 rjs { 308447577091201LL, 10000000000000000LL }, /* 0.0308447577091201 */ 387 1.1 rjs { 308901415490953LL, 10000000000000000LL }, /* 0.0308901415490953 */ 388 1.1 rjs { 309354651346236LL, 10000000000000000LL }, /* 0.0309354651346236 */ 389 1.1 rjs { 309807287305032LL, 10000000000000000LL }, /* 0.0309807287305032 */ 390 1.1 rjs { 310259325996379LL, 10000000000000000LL }, /* 0.0310259325996379 */ 391 1.1 rjs { 310710770030561LL, 10000000000000000LL }, /* 0.0310710770030561 */ 392 1.1 rjs { 311161621999296LL, 10000000000000000LL }, /* 0.0311161621999296 */ 393 1.1 rjs { 311611884475917LL, 10000000000000000LL }, /* 0.0311611884475917 */ 394 1.1 rjs { 312061560015558LL, 10000000000000000LL }, /* 0.0312061560015558 */ 395 1.1 rjs { 312510651155326LL, 10000000000000000LL }, /* 0.0312510651155326 */ 396 1.1 rjs { 312959160414486LL, 10000000000000000LL }, /* 0.0312959160414486 */ 397 1.1 rjs { 31340709029463LL, 1000000000000000LL }, /* 0.031340709029463 */ 398 1.1 rjs { 313854443279853LL, 10000000000000000LL }, /* 0.0313854443279853 */ 399 1.1 rjs { 31430122183692LL, 1000000000000000LL }, /* 0.031430122183692 */ 400 1.1 rjs { 314747428415438LL, 10000000000000000LL }, /* 0.0314747428415438 */ 401 1.1 rjs { 315193065448019LL, 10000000000000000LL }, /* 0.0315193065448019 */ 402 1.1 rjs { 315638135350446LL, 10000000000000000LL }, /* 0.0315638135350446 */ 403 1.1 rjs { 316082640521835LL, 10000000000000000LL }, /* 0.0316082640521835 */ 404 1.1 rjs { 316526583344794LL, 10000000000000000LL }, /* 0.0316526583344794 */ 405 1.1 rjs { 316969966185581LL, 10000000000000000LL }, /* 0.0316969966185581 */ 406 1.1 rjs { 317412791394264LL, 10000000000000000LL }, /* 0.0317412791394264 */ 407 1.1 rjs { 317855061304867LL, 10000000000000000LL }, /* 0.0317855061304867 */ 408 1.1 rjs { 318296778235532LL, 10000000000000000LL }, /* 0.0318296778235532 */ 409 1.1 rjs { 318737944488663LL, 10000000000000000LL }, /* 0.0318737944488663 */ 410 1.1 rjs { 319178562351077LL, 10000000000000000LL }, /* 0.0319178562351077 */ 411 1.1 rjs { 319618634094152LL, 10000000000000000LL }, /* 0.0319618634094152 */ 412 1.1 rjs { 320058161973967LL, 10000000000000000LL }, /* 0.0320058161973967 */ 413 1.1 rjs { 320497148231454LL, 10000000000000000LL }, /* 0.0320497148231454 */ 414 1.1 rjs { 320935595092531LL, 10000000000000000LL }, /* 0.0320935595092531 */ 415 1.1 rjs { 321373504768247LL, 10000000000000000LL }, /* 0.0321373504768247 */ 416 1.1 rjs { 32181087945492LL, 1000000000000000LL }, /* 0.032181087945492 */ 417 1.1 rjs { 32224772133427LL, 1000000000000000LL }, /* 0.032224772133427 */ 418 1.1 rjs { 32268403257356LL, 1000000000000000LL }, /* 0.032268403257356 */ 419 1.1 rjs { 323119815325724LL, 10000000000000000LL }, /* 0.0323119815325724 */ 420 1.1 rjs { 323555071729501LL, 10000000000000000LL }, /* 0.0323555071729501 */ 421 1.1 rjs { 323989803909566LL, 10000000000000000LL }, /* 0.0323989803909566 */ 422 1.1 rjs { 324424013976657LL, 10000000000000000LL }, /* 0.0324424013976657 */ 423 1.1 rjs { 324857704027703LL, 10000000000000000LL }, /* 0.0324857704027703 */ 424 1.1 rjs { 325290876145952LL, 10000000000000000LL }, /* 0.0325290876145952 */ 425 1.1 rjs { 32572353240109LL, 1000000000000000LL }, /* 0.032572353240109 */ 426 1.1 rjs { 32615567484937LL, 1000000000000000LL }, /* 0.032615567484937 */ 427 1.1 rjs { 326587305533729LL, 10000000000000000LL }, /* 0.0326587305533729 */ 428 1.1 rjs { 32701842648391LL, 1000000000000000LL }, /* 0.032701842648391 */ 429 1.1 rjs { 327449039716579LL, 10000000000000000LL }, /* 0.0327449039716579 */ 430 1.1 rjs { 327879147235444LL, 10000000000000000LL }, /* 0.0327879147235444 */ 431 1.1 rjs { 328308751031372LL, 10000000000000000LL }, /* 0.0328308751031372 */ 432 1.1 rjs { 328737853082498LL, 10000000000000000LL }, /* 0.0328737853082498 */ 433 1.1 rjs { 329166455354347LL, 10000000000000000LL }, /* 0.0329166455354347 */ 434 1.1 rjs { 329594559799936LL, 10000000000000000LL }, /* 0.0329594559799936 */ 435 1.1 rjs { 330022168359894LL, 10000000000000000LL }, /* 0.0330022168359894 */ 436 1.1 rjs { 330449282962565LL, 10000000000000000LL }, /* 0.0330449282962565 */ 437 1.1 rjs { 330875905524119LL, 10000000000000000LL }, /* 0.0330875905524119 */ 438 1.1 rjs { 331302037948658LL, 10000000000000000LL }, /* 0.0331302037948658 */ 439 1.1 rjs { 331727682128323LL, 10000000000000000LL }, /* 0.0331727682128323 */ 440 1.1 rjs { 332152839943397LL, 10000000000000000LL }, /* 0.0332152839943397 */ 441 1.1 rjs { 332577513262411LL, 10000000000000000LL }, /* 0.0332577513262411 */ 442 1.1 rjs { 333001703942243LL, 10000000000000000LL }, /* 0.0333001703942243 */ 443 1.1 rjs { 333425413828221LL, 10000000000000000LL }, /* 0.0333425413828221 */ 444 1.1 rjs { 333848644754222LL, 10000000000000000LL }, /* 0.0333848644754222 */ 445 1.1 rjs { 334271398542773LL, 10000000000000000LL }, /* 0.0334271398542773 */ 446 1.1 rjs { 334693677005146LL, 10000000000000000LL }, /* 0.0334693677005146 */ 447 1.1 rjs { 335115481941457LL, 10000000000000000LL }, /* 0.0335115481941457 */ 448 1.1 rjs { 335536815140761LL, 10000000000000000LL }, /* 0.0335536815140761 */ 449 1.1 rjs { 335957678381145LL, 10000000000000000LL }, /* 0.0335957678381145 */ 450 1.1 rjs { 336378073429825LL, 10000000000000000LL }, /* 0.0336378073429825 */ 451 1.1 rjs { 336798002043235LL, 10000000000000000LL }, /* 0.0336798002043235 */ 452 1.1 rjs { 337217465967119LL, 10000000000000000LL }, /* 0.0337217465967119 */ 453 1.1 rjs { 337636466936625LL, 10000000000000000LL }, /* 0.0337636466936625 */ 454 1.1 rjs { 338055006676391LL, 10000000000000000LL }, /* 0.0338055006676391 */ 455 1.1 rjs { 338473086900635LL, 10000000000000000LL }, /* 0.0338473086900635 */ 456 1.1 rjs { 338890709313242LL, 10000000000000000LL }, /* 0.0338890709313242 */ 457 1.1 rjs { 33930787560785LL, 1000000000000000LL }, /* 0.033930787560785 */ 458 1.1 rjs { 33972458746794LL, 1000000000000000LL }, /* 0.033972458746794 */ 459 1.1 rjs { 340140846566914LL, 10000000000000000LL }, /* 0.0340140846566914 */ 460 1.1 rjs { 340556654568185LL, 10000000000000000LL }, /* 0.0340556654568185 */ 461 1.1 rjs { 340972013125256LL, 10000000000000000LL }, /* 0.0340972013125256 */ 462 1.1 rjs { 341386923881805LL, 10000000000000000LL }, /* 0.0341386923881805 */ 463 1.1 rjs { 341801388471764LL, 10000000000000000LL }, /* 0.0341801388471764 */ 464 1.1 rjs { 342215408519403LL, 10000000000000000LL }, /* 0.0342215408519403 */ 465 1.1 rjs { 342628985639403LL, 10000000000000000LL }, /* 0.0342628985639403 */ 466 1.1 rjs { 343042121436941LL, 10000000000000000LL }, /* 0.0343042121436941 */ 467 1.1 rjs { 343454817507766LL, 10000000000000000LL }, /* 0.0343454817507766 */ 468 1.1 rjs { 343867075438276LL, 10000000000000000LL }, /* 0.0343867075438276 */ 469 1.1 rjs { 344278896805592LL, 10000000000000000LL }, /* 0.0344278896805592 */ 470 1.1 rjs { 344690283177636LL, 10000000000000000LL }, /* 0.0344690283177636 */ 471 1.1 rjs { 345101236113208LL, 10000000000000000LL }, /* 0.0345101236113208 */ 472 1.1 rjs { 345511757162053LL, 10000000000000000LL }, /* 0.0345511757162053 */ 473 1.1 rjs { 345921847864941LL, 10000000000000000LL }, /* 0.0345921847864941 */ 474 1.1 rjs { 346331509753735LL, 10000000000000000LL }, /* 0.0346331509753735 */ 475 1.1 rjs { 346740744351467LL, 10000000000000000LL }, /* 0.0346740744351467 */ 476 1.1 rjs { 347149553172402LL, 10000000000000000LL }, /* 0.0347149553172402 */ 477 1.1 rjs { 347557937722115LL, 10000000000000000LL }, /* 0.0347557937722115 */ 478 1.1 rjs { 347965899497558LL, 10000000000000000LL }, /* 0.0347965899497558 */ 479 1.1 rjs { 348373439987127LL, 10000000000000000LL }, /* 0.0348373439987127 */ 480 1.1 rjs { 348780560670734LL, 10000000000000000LL }, /* 0.0348780560670734 */ 481 1.1 rjs { 349187263019868LL, 10000000000000000LL }, /* 0.0349187263019868 */ 482 1.1 rjs { 34959354849767LL, 1000000000000000LL }, /* 0.034959354849767 */ 483 1.1 rjs { 349999418558991LL, 10000000000000000LL }, /* 0.0349999418558991 */ 484 1.1 rjs { 350404874650462LL, 10000000000000000LL }, /* 0.0350404874650462 */ 485 1.1 rjs { 35080991821056LL, 1000000000000000LL }, /* 0.035080991821056 */ 486 1.1 rjs { 351214550669666LL, 10000000000000000LL }, /* 0.0351214550669666 */ 487 1.1 rjs { 351618773450133LL, 10000000000000000LL }, /* 0.0351618773450133 */ 488 1.1 rjs { 352022587966348LL, 10000000000000000LL }, /* 0.0352022587966348 */ 489 1.1 rjs { 352425995624795LL, 10000000000000000LL }, /* 0.0352425995624795 */ 490 1.1 rjs { 352828997824113LL, 10000000000000000LL }, /* 0.0352828997824113 */ 491 1.1 rjs { 35323159595516LL, 1000000000000000LL }, /* 0.035323159595516 */ 492 1.1 rjs { 353633791401072LL, 10000000000000000LL }, /* 0.0353633791401072 */ 493 1.1 rjs { 354035585537324LL, 10000000000000000LL }, /* 0.0354035585537324 */ 494 1.1 rjs { 354436979731787LL, 10000000000000000LL }, /* 0.0354436979731787 */ 495 1.1 rjs { 354837975344788LL, 10000000000000000LL }, /* 0.0354837975344788 */ 496 1.1 rjs { 355238573729168LL, 10000000000000000LL }, /* 0.0355238573729168 */ 497 1.1 rjs { 355638776230337LL, 10000000000000000LL }, /* 0.0355638776230337 */ 498 1.1 rjs { 356038584186336LL, 10000000000000000LL }, /* 0.0356038584186336 */ 499 1.1 rjs { 356437998927886LL, 10000000000000000LL }, /* 0.0356437998927886 */ 500 1.1 rjs { 356837021778449LL, 10000000000000000LL }, /* 0.0356837021778449 */ 501 1.1 rjs { 357235654054283LL, 10000000000000000LL }, /* 0.0357235654054283 */ 502 1.1 rjs { 357633897064494LL, 10000000000000000LL }, /* 0.0357633897064494 */ 503 1.1 rjs { 358031752111091LL, 10000000000000000LL }, /* 0.0358031752111091 */ 504 1.1 rjs { 35842922048904LL, 1000000000000000LL }, /* 0.035842922048904 */ 505 1.1 rjs { 358826303486317LL, 10000000000000000LL }, /* 0.0358826303486317 */ 506 1.1 rjs { 359223002383961LL, 10000000000000000LL }, /* 0.0359223002383961 */ 507 1.1 rjs { 359619318456125LL, 10000000000000000LL }, /* 0.0359619318456125 */ 508 1.1 rjs { 360015252970127LL, 10000000000000000LL }, /* 0.0360015252970127 */ 509 1.1 rjs { 360410807186503LL, 10000000000000000LL }, /* 0.0360410807186503 */ 510 1.1 rjs { 360805982359056LL, 10000000000000000LL }, /* 0.0360805982359056 */ 511 1.1 rjs { 361200779734907LL, 10000000000000000LL }, /* 0.0361200779734907 */ 512 1.1 rjs { 361595200554543LL, 10000000000000000LL }, /* 0.0361595200554543 */ 513 1.1 rjs { 361989246051867LL, 10000000000000000LL }, /* 0.0361989246051867 */ 514 1.1 rjs { 362382917454249LL, 10000000000000000LL }, /* 0.0362382917454249 */ 515 1.1 rjs { 362776215982569LL, 10000000000000000LL }, /* 0.0362776215982569 */ 516 1.1 rjs { 36316914285127LL, 1000000000000000LL }, /* 0.036316914285127 */ 517 1.1 rjs { 363561699268402LL, 10000000000000000LL }, /* 0.0363561699268402 */ 518 1.1 rjs { 363953886435669LL, 10000000000000000LL }, /* 0.0363953886435669 */ 519 1.1 rjs { 364345705548478LL, 10000000000000000LL }, /* 0.0364345705548478 */ 520 1.1 rjs { 36473715779598LL, 1000000000000000LL }, /* 0.036473715779598 */ 521 1.1 rjs { 365128244361123LL, 10000000000000000LL }, /* 0.0365128244361123 */ 522 1.1 rjs { 365518966420688LL, 10000000000000000LL }, /* 0.0365518966420688 */ 523 1.1 rjs { 365909325145341LL, 10000000000000000LL }, /* 0.0365909325145341 */ 524 1.1 rjs { 366299321699675LL, 10000000000000000LL }, /* 0.0366299321699675 */ 525 1.1 rjs { 366688957242252LL, 10000000000000000LL }, /* 0.0366688957242252 */ 526 1.1 rjs { 367078232925648LL, 10000000000000000LL }, /* 0.0367078232925648 */ 527 1.1 rjs { 367467149896497LL, 10000000000000000LL }, /* 0.0367467149896497 */ 528 1.1 rjs { 367855709295533LL, 10000000000000000LL }, /* 0.0367855709295533 */ 529 1.1 rjs { 368243912257629LL, 10000000000000000LL }, /* 0.0368243912257629 */ 530 1.1 rjs { 368631759911844LL, 10000000000000000LL }, /* 0.0368631759911844 */ 531 1.1 rjs { 369019253381463LL, 10000000000000000LL }, /* 0.0369019253381463 */ 532 1.1 rjs { 369406393784034LL, 10000000000000000LL }, /* 0.0369406393784034 */ 533 1.1 rjs { 369793182231416LL, 10000000000000000LL }, /* 0.0369793182231416 */ 534 1.1 rjs { 370179619829813LL, 10000000000000000LL }, /* 0.0370179619829813 */ 535 1.1 rjs { 370565707679816LL, 10000000000000000LL }, /* 0.0370565707679816 */ 536 1.1 rjs { 370951446876444LL, 10000000000000000LL }, /* 0.0370951446876444 */ 537 1.1 rjs { 371336838509182LL, 10000000000000000LL }, /* 0.0371336838509182 */ 538 1.1 rjs { 371721883662021LL, 10000000000000000LL }, /* 0.0371721883662021 */ 539 1.1 rjs { 371721883662021LL, 10000000000000000LL } /* 0.0371721883662021 */ 540 1.1 rjs }; 541 1.1 rjs 542 1.1 rjs const struct fixpoint flarge_table[] = { 543 1.1 rjs { 243315981116462LL, 1000000000000LL }, /* 243.315981116462 */ 544 1.1 rjs { 243315981116462LL, 1000000000000LL }, /* 243.315981116462 */ 545 1.1 rjs { 239600361713695LL, 10000000000000LL }, /* 23.9600361713695 */ 546 1.1 rjs { 69139329716018LL, 10000000000000LL }, /* 6.9139329716018 */ 547 1.1 rjs { 316392425109494LL, 100000000000000LL }, /* 3.16392425109494 */ 548 1.1 rjs { 186371728900425LL, 100000000000000LL }, /* 1.86371728900425 */ 549 1.1 rjs { 127777777777778LL, 100000000000000LL }, /* 1.27777777777778 */ 550 1.1 rjs { 964508403261589LL, 1000000000000000LL }, /* 0.964508403261589 */ 551 1.1 rjs { 77581442422356LL, 100000000000000LL }, /* 0.77581442422356 */ 552 1.1 rjs { 651853237448473LL, 1000000000000000LL }, /* 0.651853237448473 */ 553 1.1 rjs { 564939170766789LL, 1000000000000000LL }, /* 0.564939170766789 */ 554 1.1 rjs { 50087416614881LL, 100000000000000LL }, /* 0.50087416614881 */ 555 1.1 rjs { 451762665758072LL, 1000000000000000LL }, /* 0.451762665758072 */ 556 1.1 rjs { 412917778678493LL, 1000000000000000LL }, /* 0.412917778678493 */ 557 1.1 rjs { 381404155091771LL, 1000000000000000LL }, /* 0.381404155091771 */ 558 1.1 rjs { 355299463329141LL, 1000000000000000LL }, /* 0.355299463329141 */ 559 1.1 rjs { 333296455886513LL, 1000000000000000LL }, /* 0.333296455886513 */ 560 1.1 rjs { 314477147580053LL, 1000000000000000LL }, /* 0.314477147580053 */ 561 1.1 rjs { 298178842729622LL, 1000000000000000LL }, /* 0.298178842729622 */ 562 1.1 rjs { 283911535127666LL, 1000000000000000LL }, /* 0.283911535127666 */ 563 1.1 rjs { 271305240150892LL, 1000000000000000LL }, /* 0.271305240150892 */ 564 1.1 rjs { 260075403532531LL, 1000000000000000LL }, /* 0.260075403532531 */ 565 1.1 rjs { 249999578782356LL, 1000000000000000LL }, /* 0.249999578782356 */ 566 1.1 rjs { 24090133037795LL, 100000000000000LL }, /* 0.24090133037795 */ 567 1.1 rjs { 232638888888889LL, 1000000000000000LL }, /* 0.232638888888889 */ 568 1.1 rjs { 225097003008273LL, 1000000000000000LL }, /* 0.225097003008273 */ 569 1.1 rjs { 218180986989316LL, 1000000000000000LL }, /* 0.218180986989316 */ 570 1.1 rjs { 211812304114001LL, 1000000000000000LL }, /* 0.211812304114001 */ 571 1.1 rjs { 205925243280314LL, 1000000000000000LL }, /* 0.205925243280314 */ 572 1.1 rjs { 200464385692282LL, 1000000000000000LL }, /* 0.200464385692282 */ 573 1.1 rjs { 195382650833982LL, 1000000000000000LL }, /* 0.195382650833982 */ 574 1.1 rjs { 19063977276852LL, 100000000000000LL }, /* 0.19063977276852 */ 575 1.1 rjs { 186201099999877LL, 1000000000000000LL }, /* 0.186201099999877 */ 576 1.1 rjs { 182036641362817LL, 1000000000000000LL }, /* 0.182036641362817 */ 577 1.1 rjs { 178120300939LL, 1000000000000LL }, /* 0.178120300939 */ 578 1.1 rjs { 174429259613497LL, 1000000000000000LL }, /* 0.174429259613497 */ 579 1.1 rjs { 170943471418511LL, 1000000000000000LL }, /* 0.170943471418511 */ 580 1.1 rjs { 16764525048842LL, 100000000000000LL }, /* 0.16764525048842 */ 581 1.1 rjs { 164518930106658LL, 1000000000000000LL }, /* 0.164518930106658 */ 582 1.1 rjs { 161550579534251LL, 1000000000000000LL }, /* 0.161550579534251 */ 583 1.1 rjs { 158727767472067LL, 1000000000000000LL }, /* 0.158727767472067 */ 584 1.1 rjs { 156039363405452LL, 1000000000000000LL }, /* 0.156039363405452 */ 585 1.1 rjs { 153475369911586LL, 1000000000000000LL }, /* 0.153475369911586 */ 586 1.1 rjs { 151026780420806LL, 1000000000000000LL }, /* 0.151026780420806 */ 587 1.1 rjs { 148685458018048LL, 1000000000000000LL }, /* 0.148685458018048 */ 588 1.1 rjs { 146444031726265LL, 1000000000000000LL }, /* 0.146444031726265 */ 589 1.1 rjs { 144295807386892LL, 1000000000000000LL }, /* 0.144295807386892 */ 590 1.1 rjs { 142234690785429LL, 1000000000000000LL }, /* 0.142234690785429 */ 591 1.1 rjs { 140255121094728LL, 1000000000000000LL }, /* 0.140255121094728 */ 592 1.1 rjs { 13835201304867LL, 100000000000000LL }, /* 0.13835201304867 */ 593 1.1 rjs { 136520706532794LL, 1000000000000000LL }, /* 0.136520706532794 */ 594 1.1 rjs { 1347569225002LL, 10000000000000LL }, /* 0.1347569225002 */ 595 1.1 rjs { 133056724301448LL, 1000000000000000LL }, /* 0.133056724301448 */ 596 1.1 rjs { 131416483664691LL, 1000000000000000LL }, /* 0.131416483664691 */ 597 1.1 rjs { 129832850683331LL, 1000000000000000LL }, /* 0.129832850683331 */ 598 1.1 rjs { 128302727268412LL, 1000000000000000LL }, /* 0.128302727268412 */ 599 1.1 rjs { 12682324360563LL, 100000000000000LL }, /* 0.12682324360563 */ 600 1.1 rjs { 125391737225632LL, 1000000000000000LL }, /* 0.125391737225632 */ 601 1.1 rjs { 12400573435363LL, 100000000000000LL }, /* 0.12400573435363 */ 602 1.1 rjs { 122662933252459LL, 1000000000000000LL }, /* 0.122662933252459 */ 603 1.1 rjs { 121361189313573LL, 1000000000000000LL }, /* 0.121361189313573 */ 604 1.1 rjs { 12009850168457LL, 100000000000000LL }, /* 0.12009850168457 */ 605 1.1 rjs { 118873001250667LL, 1000000000000000LL }, /* 0.118873001250667 */ 606 1.1 rjs { 117682939811998LL, 1000000000000000LL }, /* 0.117682939811998 */ 607 1.1 rjs { 116526680319474LL, 1000000000000000LL }, /* 0.116526680319474 */ 608 1.1 rjs { 115402688049678LL, 1000000000000000LL }, /* 0.115402688049678 */ 609 1.1 rjs { 114309522614568LL, 1000000000000000LL }, /* 0.114309522614568 */ 610 1.1 rjs { 113245830714757LL, 1000000000000000LL }, /* 0.113245830714757 */ 611 1.1 rjs { 11221033955645LL, 100000000000000LL }, /* 0.11221033955645 */ 612 1.1 rjs { 111201850861809LL, 1000000000000000LL }, /* 0.111201850861809 */ 613 1.1 rjs { 1102192354109LL, 10000000000000LL }, /* 0.1102192354109 */ 614 1.1 rjs { 109261428060689LL, 1000000000000000LL }, /* 0.109261428060689 */ 615 1.1 rjs { 108327423192858LL, 1000000000000000LL }, /* 0.108327423192858 */ 616 1.1 rjs { 107416270547744LL, 1000000000000000LL }, /* 0.107416270547744 */ 617 1.1 rjs { 106527071406495LL, 1000000000000000LL }, /* 0.106527071406495 */ 618 1.1 rjs { 105658975087763LL, 1000000000000000LL }, /* 0.105658975087763 */ 619 1.1 rjs { 104811175728943LL, 1000000000000000LL }, /* 0.104811175728943 */ 620 1.1 rjs { 103982909325178LL, 1000000000000000LL }, /* 0.103982909325178 */ 621 1.1 rjs { 103173451002242LL, 1000000000000000LL }, /* 0.103173451002242 */ 622 1.1 rjs { 102382112501895LL, 1000000000000000LL }, /* 0.102382112501895 */ 623 1.1 rjs { 101608239860516LL, 1000000000000000LL }, /* 0.101608239860516 */ 624 1.1 rjs { 100851211263824LL, 1000000000000000LL }, /* 0.100851211263824 */ 625 1.1 rjs { 100110435062178LL, 1000000000000000LL }, /* 0.100110435062178 */ 626 1.1 rjs { 993853479325371LL, 10000000000000000LL }, /* 0.0993853479325371 */ 627 1.1 rjs { 986754131745014LL, 10000000000000000LL }, /* 0.0986754131745014 */ 628 1.1 rjs { 97980119129101LL, 1000000000000000LL }, /* 0.097980119129101 */ 629 1.1 rjs { 972989777100651LL, 10000000000000000LL }, /* 0.0972989777100651 */ 630 1.1 rjs { 96631523038292LL, 1000000000000000LL }, /* 0.096631523038292 */ 631 1.1 rjs { 959773101711038LL, 10000000000000000LL }, /* 0.0959773101711038 */ 632 1.1 rjs { 953359139186481LL, 10000000000000000LL }, /* 0.0953359139186481 */ 633 1.1 rjs { 947069277405102LL, 10000000000000000LL }, /* 0.0947069277405102 */ 634 1.1 rjs { 940899627162219LL, 10000000000000000LL }, /* 0.0940899627162219 */ 635 1.1 rjs { 934846465839213LL, 10000000000000000LL }, /* 0.0934846465839213 */ 636 1.1 rjs { 928906228419223LL, 10000000000000000LL }, /* 0.0928906228419223 */ 637 1.1 rjs { 923075499084108LL, 10000000000000000LL }, /* 0.0923075499084108 */ 638 1.1 rjs { 917351003348998LL, 10000000000000000LL }, /* 0.0917351003348998 */ 639 1.1 rjs { 911729600694444LL, 10000000000000000LL }, /* 0.0911729600694444 */ 640 1.1 rjs { 906208277659599LL, 10000000000000000LL }, /* 0.0906208277659599 */ 641 1.1 rjs { 900784141362873LL, 10000000000000000LL }, /* 0.0900784141362873 */ 642 1.1 rjs { 895454413419325LL, 10000000000000000LL }, /* 0.0895454413419325 */ 643 1.1 rjs { 890216424226529LL, 10000000000000000LL }, /* 0.0890216424226529 */ 644 1.1 rjs { 885067607592958LL, 10000000000000000LL }, /* 0.0885067607592958 */ 645 1.1 rjs { 88000549568501LL, 1000000000000000LL }, /* 0.088000549568501 */ 646 1.1 rjs { 875027714270677LL, 10000000000000000LL }, /* 0.0875027714270677 */ 647 1.1 rjs { 870131978239609LL, 10000000000000000LL }, /* 0.0870131978239609 */ 648 1.1 rjs { 865316087380871LL, 10000000000000000LL }, /* 0.0865316087380871 */ 649 1.1 rjs { 860577922401151LL, 10000000000000000LL }, /* 0.0860577922401151 */ 650 1.1 rjs { 855915441167475LL, 10000000000000000LL }, /* 0.0855915441167475 */ 651 1.1 rjs { 851326675159692LL, 10000000000000000LL }, /* 0.0851326675159692 */ 652 1.1 rjs { 846809726119106LL, 10000000000000000LL }, /* 0.0846809726119106 */ 653 1.1 rjs { 842362762880613LL, 10000000000000000LL }, /* 0.0842362762880613 */ 654 1.1 rjs { 837984018376643LL, 10000000000000000LL }, /* 0.0837984018376643 */ 655 1.1 rjs { 833671786802068LL, 10000000000000000LL }, /* 0.0833671786802068 */ 656 1.1 rjs { 829424420929991LL, 10000000000000000LL }, /* 0.0829424420929991 */ 657 1.1 rjs { 825240329569059LL, 10000000000000000LL }, /* 0.0825240329569059 */ 658 1.1 rjs { 821117975153618LL, 10000000000000000LL }, /* 0.0821117975153618 */ 659 1.1 rjs { 817055871458615LL, 10000000000000000LL }, /* 0.0817055871458615 */ 660 1.1 rjs { 813052581431724LL, 10000000000000000LL }, /* 0.0813052581431724 */ 661 1.1 rjs { 809106715135683LL, 10000000000000000LL }, /* 0.0809106715135683 */ 662 1.1 rjs { 805216927794322LL, 10000000000000000LL }, /* 0.0805216927794322 */ 663 1.1 rjs { 801381917936175LL, 10000000000000000LL }, /* 0.0801381917936175 */ 664 1.1 rjs { 797600425630009LL, 10000000000000000LL }, /* 0.0797600425630009 */ 665 1.1 rjs { 793871230806953LL, 10000000000000000LL }, /* 0.0793871230806953 */ 666 1.1 rjs { 790193151664281LL, 10000000000000000LL }, /* 0.0790193151664281 */ 667 1.1 rjs { 786565043146194LL, 10000000000000000LL }, /* 0.0786565043146194 */ 668 1.1 rjs { 782985795497303LL, 10000000000000000LL }, /* 0.0782985795497303 */ 669 1.1 rjs { 779454332884719LL, 10000000000000000LL }, /* 0.0779454332884719 */ 670 1.1 rjs { 775969612084976LL, 10000000000000000LL }, /* 0.0775969612084976 */ 671 1.1 rjs { 77253062123222LL, 1000000000000000LL }, /* 0.077253062123222 */ 672 1.1 rjs { 769136378624335LL, 10000000000000000LL }, /* 0.0769136378624335 */ 673 1.1 rjs { 765785931583867LL, 10000000000000000LL }, /* 0.0765785931583867 */ 674 1.1 rjs { 762478355370815LL, 10000000000000000LL }, /* 0.0762478355370815 */ 675 1.1 rjs { 759212752144541LL, 10000000000000000LL }, /* 0.0759212752144541 */ 676 1.1 rjs { 755988249972193LL, 10000000000000000LL }, /* 0.0755988249972193 */ 677 1.1 rjs { 752804001881223LL, 10000000000000000LL }, /* 0.0752804001881223 */ 678 1.1 rjs { 749659184953696LL, 10000000000000000LL }, /* 0.0749659184953696 */ 679 1.1 rjs { 746552999460257LL, 10000000000000000LL }, /* 0.0746552999460257 */ 680 1.1 rjs { 743484668031706LL, 10000000000000000LL }, /* 0.0743484668031706 */ 681 1.1 rjs { 740453434866294LL, 10000000000000000LL }, /* 0.0740453434866294 */ 682 1.1 rjs { 737458564970926LL, 10000000000000000LL }, /* 0.0737458564970926 */ 683 1.1 rjs { 734499343434585LL, 10000000000000000LL }, /* 0.0734499343434585 */ 684 1.1 rjs { 731575074732384LL, 10000000000000000LL }, /* 0.0731575074732384 */ 685 1.1 rjs { 728685082058719LL, 10000000000000000LL }, /* 0.0728685082058719 */ 686 1.1 rjs { 725828706688121LL, 10000000000000000LL }, /* 0.0725828706688121 */ 687 1.1 rjs { 723005307362458LL, 10000000000000000LL }, /* 0.0723005307362458 */ 688 1.1 rjs { 720214259703205LL, 10000000000000000LL }, /* 0.0720214259703205 */ 689 1.1 rjs { 717454955647604LL, 10000000000000000LL }, /* 0.0717454955647604 */ 690 1.1 rjs { 714726802907563LL, 10000000000000000LL }, /* 0.0714726802907563 */ 691 1.1 rjs { 712029224450229LL, 10000000000000000LL }, /* 0.0712029224450229 */ 692 1.1 rjs { 70936165799922LL, 1000000000000000LL }, /* 0.070936165799922 */ 693 1.1 rjs { 706723555555556LL, 10000000000000000LL }, /* 0.0706723555555556 */ 694 1.1 rjs { 704114382937376LL, 10000000000000000LL }, /* 0.0704114382937376 */ 695 1.1 rjs { 701533619337587LL, 10000000000000000LL }, /* 0.0701533619337587 */ 696 1.1 rjs { 698980756898617LL, 10000000000000000LL }, /* 0.0698980756898617 */ 697 1.1 rjs { 696455300303507LL, 10000000000000000LL }, /* 0.0696455300303507 */ 698 1.1 rjs { 693956766382614LL, 10000000000000000LL }, /* 0.0693956766382614 */ 699 1.1 rjs { 691484683735212LL, 10000000000000000LL }, /* 0.0691484683735212 */ 700 1.1 rjs { 689038592365337LL, 10000000000000000LL }, /* 0.0689038592365337 */ 701 1.1 rjs { 686618043331262LL, 10000000000000000LL }, /* 0.0686618043331262 */ 702 1.1 rjs { 684222598407987LL, 10000000000000000LL }, /* 0.0684222598407987 */ 703 1.1 rjs { 681851829762186LL, 10000000000000000LL }, /* 0.0681851829762186 */ 704 1.1 rjs { 679505319639075LL, 10000000000000000LL }, /* 0.0679505319639075 */ 705 1.1 rjs { 677182660060694LL, 10000000000000000LL }, /* 0.0677182660060694 */ 706 1.1 rjs { 674883452535098LL, 10000000000000000LL }, /* 0.0674883452535098 */ 707 1.1 rjs { 672607307776018LL, 10000000000000000LL }, /* 0.0672607307776018 */ 708 1.1 rjs { 670353845432538LL, 10000000000000000LL }, /* 0.0670353845432538 */ 709 1.1 rjs { 668122693828371LL, 10000000000000000LL }, /* 0.0668122693828371 */ 710 1.1 rjs { 665913489710335LL, 10000000000000000LL }, /* 0.0665913489710335 */ 711 1.1 rjs { 663725878005655LL, 10000000000000000LL }, /* 0.0663725878005655 */ 712 1.1 rjs { 66155951158772LL, 1000000000000000LL }, /* 0.066155951158772 */ 713 1.1 rjs { 659414051049953LL, 10000000000000000LL }, /* 0.0659414051049953 */ 714 1.1 rjs { 657289164487471LL, 10000000000000000LL }, /* 0.0657289164487471 */ 715 1.1 rjs { 655184527286211LL, 10000000000000000LL }, /* 0.0655184527286211 */ 716 1.1 rjs { 653099821919232LL, 10000000000000000LL }, /* 0.0653099821919232 */ 717 1.1 rjs { 651034737749902LL, 10000000000000000LL }, /* 0.0651034737749902 */ 718 1.1 rjs { 648988970841695LL, 10000000000000000LL }, /* 0.0648988970841695 */ 719 1.1 rjs { 646962223774351LL, 10000000000000000LL }, /* 0.0646962223774351 */ 720 1.1 rjs { 644954205466131LL, 10000000000000000LL }, /* 0.0644954205466131 */ 721 1.1 rjs { 642964631001948LL, 10000000000000000LL }, /* 0.0642964631001948 */ 722 1.1 rjs { 64099322146713LL, 1000000000000000LL }, /* 0.064099322146713 */ 723 1.1 rjs { 639039703786617LL, 10000000000000000LL }, /* 0.0639039703786617 */ 724 1.1 rjs { 63710381056937LL, 1000000000000000LL }, /* 0.063710381056937 */ 725 1.1 rjs { 635185279957794LL, 10000000000000000LL }, /* 0.0635185279957794 */ 726 1.1 rjs { 633283855482LL, 10000000000000LL }, /* 0.0633283855482 */ 727 1.1 rjs { 631399285918708LL, 10000000000000000LL }, /* 0.0631399285918708 */ 728 1.1 rjs { 629531325154621LL, 10000000000000000LL }, /* 0.0629531325154621 */ 729 1.1 rjs { 62767973205412LL, 1000000000000000LL }, /* 0.062767973205412 */ 730 1.1 rjs { 625844270331088LL, 10000000000000000LL }, /* 0.0625844270331088 */ 731 1.1 rjs { 624024708424753LL, 10000000000000000LL }, /* 0.0624024708424753 */ 732 1.1 rjs { 622220819379358LL, 10000000000000000LL }, /* 0.0622220819379358 */ 733 1.1 rjs { 620432380727561LL, 10000000000000000LL }, /* 0.0620432380727561 */ 734 1.1 rjs { 618659174377399LL, 10000000000000000LL }, /* 0.0618659174377399 */ 735 1.1 rjs { 616900986502709LL, 10000000000000000LL }, /* 0.0616900986502709 */ 736 1.1 rjs { 61515760743686LL, 1000000000000000LL }, /* 0.061515760743686 */ 737 1.1 rjs { 61342883156971LL, 1000000000000000LL }, /* 0.061342883156971 */ 738 1.1 rjs { 611714457247638LL, 10000000000000000LL }, /* 0.0611714457247638 */ 739 1.1 rjs { 610014286676573LL, 10000000000000000LL }, /* 0.0610014286676573 */ 740 1.1 rjs { 608328125827897LL, 10000000000000000LL }, /* 0.0608328125827897 */ 741 1.1 rjs { 606655784347128LL, 10000000000000000LL }, /* 0.0606655784347128 */ 742 1.1 rjs { 604997075465285LL, 10000000000000000LL }, /* 0.0604997075465285 */ 743 1.1 rjs { 60335181591285LL, 1000000000000000LL }, /* 0.060335181591285 */ 744 1.1 rjs { 601719825836224LL, 10000000000000000LL }, /* 0.0601719825836224 */ 745 1.1 rjs { 600100928716606LL, 10000000000000000LL }, /* 0.0600100928716606 */ 746 1.1 rjs { 598494951291204LL, 10000000000000000LL }, /* 0.0598494951291204 */ 747 1.1 rjs { 5969017234767LL, 100000000000000LL }, /* 0.05969017234767 */ 748 1.1 rjs { 595321078294903LL, 10000000000000000LL }, /* 0.0595321078294903 */ 749 1.1 rjs { 593752851800498LL, 10000000000000000LL }, /* 0.0593752851800498 */ 750 1.1 rjs { 592196883010845LL, 10000000000000000LL }, /* 0.0592196883010845 */ 751 1.1 rjs { 590653013837736LL, 10000000000000000LL }, /* 0.0590653013837736 */ 752 1.1 rjs { 589121089021067LL, 10000000000000000LL }, /* 0.0589121089021067 */ 753 1.1 rjs { 587600956064349LL, 10000000000000000LL }, /* 0.0587600956064349 */ 754 1.1 rjs { 586092465171998LL, 10000000000000000LL }, /* 0.0586092465171998 */ 755 1.1 rjs { 584595469188356LL, 10000000000000000LL }, /* 0.0584595469188356 */ 756 1.1 rjs { 583109823538382LL, 10000000000000000LL }, /* 0.0583109823538382 */ 757 1.1 rjs { 58163538616995LL, 1000000000000000LL }, /* 0.058163538616995 */ 758 1.1 rjs { 580172017497721LL, 10000000000000000LL }, /* 0.0580172017497721 */ 759 1.1 rjs { 578719580348524LL, 10000000000000000LL }, /* 0.0578719580348524 */ 760 1.1 rjs { 577277939908204LL, 10000000000000000LL }, /* 0.0577277939908204 */ 761 1.1 rjs { 575846963669894LL, 10000000000000000LL }, /* 0.0575846963669894 */ 762 1.1 rjs { 574426521383656LL, 10000000000000000LL }, /* 0.0574426521383656 */ 763 1.1 rjs { 573016485007461LL, 10000000000000000LL }, /* 0.0573016485007461 */ 764 1.1 rjs { 571616728659458LL, 10000000000000000LL }, /* 0.0571616728659458 */ 765 1.1 rjs { 570227128571493LL, 10000000000000000LL }, /* 0.0570227128571493 */ 766 1.1 rjs { 568847563043846LL, 10000000000000000LL }, /* 0.0568847563043846 */ 767 1.1 rjs { 567477912401137LL, 10000000000000000LL }, /* 0.0567477912401137 */ 768 1.1 rjs { 566118058949378LL, 10000000000000000LL }, /* 0.0566118058949378 */ 769 1.1 rjs { 564767886934124LL, 10000000000000000LL }, /* 0.0564767886934124 */ 770 1.1 rjs { 563427282499708LL, 10000000000000000LL }, /* 0.0563427282499708 */ 771 1.1 rjs { 5620961336495LL, 100000000000000LL }, /* 0.05620961336495 */ 772 1.1 rjs { 560774330207186LL, 10000000000000000LL }, /* 0.0560774330207186 */ 773 1.1 rjs { 559461763779024LL, 10000000000000000LL }, /* 0.0559461763779024 */ 774 1.1 rjs { 558158327717044LL, 10000000000000000LL }, /* 0.0558158327717044 */ 775 1.1 rjs { 556863917083178LL, 10000000000000000LL }, /* 0.0556863917083178 */ 776 1.1 rjs { 555578428614275LL, 10000000000000000LL }, /* 0.0555578428614275 */ 777 1.1 rjs { 554301760687995LL, 10000000000000000LL }, /* 0.0554301760687995 */ 778 1.1 rjs { 553033813289536LL, 10000000000000000LL }, /* 0.0553033813289536 */ 779 1.1 rjs { 551774487979186LL, 10000000000000000LL }, /* 0.0551774487979186 */ 780 1.1 rjs { 550523687860669LL, 10000000000000000LL }, /* 0.0550523687860669 */ 781 1.1 rjs { 549281317550259LL, 10000000000000000LL }, /* 0.0549281317550259 */ 782 1.1 rjs { 548047283146649LL, 10000000000000000LL }, /* 0.0548047283146649 */ 783 1.1 rjs { 546821492201547LL, 10000000000000000LL }, /* 0.0546821492201547 */ 784 1.1 rjs { 545603853690978LL, 10000000000000000LL }, /* 0.0545603853690978 */ 785 1.1 rjs { 544394277987275LL, 10000000000000000LL }, /* 0.0544394277987275 */ 786 1.1 rjs { 543192676831744LL, 10000000000000000LL }, /* 0.0543192676831744 */ 787 1.1 rjs { 541998963307965LL, 10000000000000000LL }, /* 0.0541998963307965 */ 788 1.1 rjs { 540813051815741LL, 10000000000000000LL }, /* 0.0540813051815741 */ 789 1.1 rjs { 539634858045649LL, 10000000000000000LL }, /* 0.0539634858045649 */ 790 1.1 rjs { 538464298954196LL, 10000000000000000LL }, /* 0.0538464298954196 */ 791 1.1 rjs { 537301292739549LL, 10000000000000000LL }, /* 0.0537301292739549 */ 792 1.1 rjs { 536145758817836LL, 10000000000000000LL }, /* 0.0536145758817836 */ 793 1.1 rjs { 534997617799989LL, 10000000000000000LL }, /* 0.0534997617799989 */ 794 1.1 rjs { 533856791469134LL, 10000000000000000LL }, /* 0.0533856791469134 */ 795 1.1 rjs { 532723202758481LL, 10000000000000000LL }, /* 0.0532723202758481 */ 796 1.1 rjs { 531596775729743LL, 10000000000000000LL }, /* 0.0531596775729743 */ 797 1.1 rjs { 530477435552026LL, 10000000000000000LL }, /* 0.0530477435552026 */ 798 1.1 rjs { 529365108481215LL, 10000000000000000LL }, /* 0.0529365108481215 */ 799 1.1 rjs { 528259721839814LL, 10000000000000000LL }, /* 0.0528259721839814 */ 800 1.1 rjs { 527161203997248LL, 10000000000000000LL }, /* 0.0527161203997248 */ 801 1.1 rjs { 526069484350602LL, 10000000000000000LL }, /* 0.0526069484350602 */ 802 1.1 rjs { 524984493305793LL, 10000000000000000LL }, /* 0.0524984493305793 */ 803 1.1 rjs { 523906162259159LL, 10000000000000000LL }, /* 0.0523906162259159 */ 804 1.1 rjs { 522834423579459LL, 10000000000000000LL }, /* 0.0522834423579459 */ 805 1.1 rjs { 521769210590265LL, 10000000000000000LL }, /* 0.0521769210590265 */ 806 1.1 rjs { 52071045755275LL, 1000000000000000LL }, /* 0.052071045755275 */ 807 1.1 rjs { 519658099648841LL, 10000000000000000LL }, /* 0.0519658099648841 */ 808 1.1 rjs { 518612072964751LL, 10000000000000000LL }, /* 0.0518612072964751 */ 809 1.1 rjs { 517572314474861LL, 10000000000000000LL }, /* 0.0517572314474861 */ 810 1.1 rjs { 516538762025956LL, 10000000000000000LL }, /* 0.0516538762025956 */ 811 1.1 rjs { 515511354321798LL, 10000000000000000LL }, /* 0.0515511354321798 */ 812 1.1 rjs { 514490030908028LL, 10000000000000000LL }, /* 0.0514490030908028 */ 813 1.1 rjs { 5134747321574LL, 100000000000000LL }, /* 0.05134747321574 */ 814 1.1 rjs { 512465399255321LL, 10000000000000000LL }, /* 0.0512465399255321 */ 815 1.1 rjs { 511461974185697LL, 10000000000000000LL }, /* 0.0511461974185697 */ 816 1.1 rjs { 510464399717091LL, 10000000000000000LL }, /* 0.0510464399717091 */ 817 1.1 rjs { 509472619389156LL, 10000000000000000LL }, /* 0.0509472619389156 */ 818 1.1 rjs { 508486577499364LL, 10000000000000000LL }, /* 0.0508486577499364 */ 819 1.1 rjs { 507506219090011LL, 10000000000000000LL }, /* 0.0507506219090011 */ 820 1.1 rjs { 506531489935488LL, 10000000000000000LL }, /* 0.0506531489935488 */ 821 1.1 rjs { 505562336529823LL, 10000000000000000LL }, /* 0.0505562336529823 */ 822 1.1 rjs { 504598706074472LL, 10000000000000000LL }, /* 0.0504598706074472 */ 823 1.1 rjs { 503640546466374LL, 10000000000000000LL }, /* 0.0503640546466374 */ 824 1.1 rjs { 502687806286237LL, 10000000000000000LL }, /* 0.0502687806286237 */ 825 1.1 rjs { 501740434787074LL, 10000000000000000LL }, /* 0.0501740434787074 */ 826 1.1 rjs { 500798381882968LL, 10000000000000000LL }, /* 0.0500798381882968 */ 827 1.1 rjs { 499861598138068LL, 10000000000000000LL }, /* 0.0499861598138068 */ 828 1.1 rjs { 498930034755803LL, 10000000000000000LL }, /* 0.0498930034755803 */ 829 1.1 rjs { 498003643568319LL, 10000000000000000LL }, /* 0.0498003643568319 */ 830 1.1 rjs { 497082377026125LL, 10000000000000000LL }, /* 0.0497082377026125 */ 831 1.1 rjs { 496166188187944LL, 10000000000000000LL }, /* 0.0496166188187944 */ 832 1.1 rjs { 495255030710775LL, 10000000000000000LL }, /* 0.0495255030710775 */ 833 1.1 rjs { 494348858840139LL, 10000000000000000LL }, /* 0.0494348858840139 */ 834 1.1 rjs { 493447627400532LL, 10000000000000000LL }, /* 0.0493447627400532 */ 835 1.1 rjs { 492551291786056LL, 10000000000000000LL }, /* 0.0492551291786056 */ 836 1.1 rjs { 491659807951242LL, 10000000000000000LL }, /* 0.0491659807951242 */ 837 1.1 rjs { 490773132402045LL, 10000000000000000LL }, /* 0.0490773132402045 */ 838 1.1 rjs { 489891222187022LL, 10000000000000000LL }, /* 0.0489891222187022 */ 839 1.1 rjs { 489014034888677LL, 10000000000000000LL }, /* 0.0489014034888677 */ 840 1.1 rjs { 488141528614973LL, 10000000000000000LL }, /* 0.0488141528614973 */ 841 1.1 rjs { 487273661991017LL, 10000000000000000LL }, /* 0.0487273661991017 */ 842 1.1 rjs { 486410394150891LL, 10000000000000000LL }, /* 0.0486410394150891 */ 843 1.1 rjs { 485551684729651LL, 10000000000000000LL }, /* 0.0485551684729651 */ 844 1.1 rjs { 484697493855474LL, 10000000000000000LL }, /* 0.0484697493855474 */ 845 1.1 rjs { 483847782141954LL, 10000000000000000LL }, /* 0.0483847782141954 */ 846 1.1 rjs { 48300251068055LL, 1000000000000000LL }, /* 0.048300251068055 */ 847 1.1 rjs { 48216164103317LL, 1000000000000000LL }, /* 0.048216164103317 */ 848 1.1 rjs { 481325135224896LL, 10000000000000000LL }, /* 0.0481325135224896 */ 849 1.1 rjs { 48049295573685LL, 1000000000000000LL }, /* 0.048049295573685 */ 850 1.1 rjs { 479665065499194LL, 10000000000000000LL }, /* 0.0479665065499194 */ 851 1.1 rjs { 478841427884249LL, 10000000000000000LL }, /* 0.0478841427884249 */ 852 1.1 rjs { 478022006699761LL, 10000000000000000LL }, /* 0.0478022006699761 */ 853 1.1 rjs { 477206766182274LL, 10000000000000000LL }, /* 0.0477206766182274 */ 854 1.1 rjs { 476395670990636LL, 10000000000000000LL }, /* 0.0476395670990636 */ 855 1.1 rjs { 475588686199625LL, 10000000000000000LL }, /* 0.0475588686199625 */ 856 1.1 rjs { 474785777293681LL, 10000000000000000LL }, /* 0.0474785777293681 */ 857 1.1 rjs { 47398691016077LL, 1000000000000000LL }, /* 0.047398691016077 */ 858 1.1 rjs { 473192051086343LL, 10000000000000000LL }, /* 0.0473192051086343 */ 859 1.1 rjs { 472401166747416LL, 10000000000000000LL }, /* 0.0472401166747416 */ 860 1.1 rjs { 471614224206753LL, 10000000000000000LL }, /* 0.0471614224206753 */ 861 1.1 rjs { 470831190907155LL, 10000000000000000LL }, /* 0.0470831190907155 */ 862 1.1 rjs { 470052034665852LL, 10000000000000000LL }, /* 0.0470052034665852 */ 863 1.1 rjs { 469276723668991LL, 10000000000000000LL }, /* 0.0469276723668991 */ 864 1.1 rjs { 468505226466234LL, 10000000000000000LL }, /* 0.0468505226466234 */ 865 1.1 rjs { 467737511965439LL, 10000000000000000LL }, /* 0.0467737511965439 */ 866 1.1 rjs { 466973549427445LL, 10000000000000000LL }, /* 0.0466973549427445 */ 867 1.1 rjs { 466213308460944LL, 10000000000000000LL }, /* 0.0466213308460944 */ 868 1.1 rjs { 465456759017447LL, 10000000000000000LL }, /* 0.0465456759017447 */ 869 1.1 rjs { 464703871386338LL, 10000000000000000LL }, /* 0.0464703871386338 */ 870 1.1 rjs { 463954616190012LL, 10000000000000000LL }, /* 0.0463954616190012 */ 871 1.1 rjs { 463208964379101LL, 10000000000000000LL }, /* 0.0463208964379101 */ 872 1.1 rjs { 462466887227783LL, 10000000000000000LL }, /* 0.0462466887227783 */ 873 1.1 rjs { 461728356329171LL, 10000000000000000LL }, /* 0.0461728356329171 */ 874 1.1 rjs { 460993343590784LL, 10000000000000000LL }, /* 0.0460993343590784 */ 875 1.1 rjs { 460261821230094LL, 10000000000000000LL }, /* 0.0460261821230094 */ 876 1.1 rjs { 459533761770151LL, 10000000000000000LL }, /* 0.0459533761770151 */ 877 1.1 rjs { 458809138035283LL, 10000000000000000LL }, /* 0.0458809138035283 */ 878 1.1 rjs { 45808792314687LL, 1000000000000000LL }, /* 0.045808792314687 */ 879 1.1 rjs { 457370090519191LL, 10000000000000000LL }, /* 0.0457370090519191 */ 880 1.1 rjs { 456655613855335LL, 10000000000000000LL }, /* 0.0456655613855335 */ 881 1.1 rjs { 455944467143193LL, 10000000000000000LL }, /* 0.0455944467143193 */ 882 1.1 rjs { 455236624651509LL, 10000000000000000LL }, /* 0.0455236624651509 */ 883 1.1 rjs { 454532060925998LL, 10000000000000000LL }, /* 0.0454532060925998 */ 884 1.1 rjs { 453830750785534LL, 10000000000000000LL }, /* 0.0453830750785534 */ 885 1.1 rjs { 453132669318397LL, 10000000000000000LL }, /* 0.0453132669318397 */ 886 1.1 rjs { 452437791878588LL, 10000000000000000LL }, /* 0.0452437791878588 */ 887 1.1 rjs { 451746094082199LL, 10000000000000000LL }, /* 0.0451746094082199 */ 888 1.1 rjs { 451057551803846LL, 10000000000000000LL }, /* 0.0451057551803846 */ 889 1.1 rjs { 450372141173166LL, 10000000000000000LL }, /* 0.0450372141173166 */ 890 1.1 rjs { 449689838571361LL, 10000000000000000LL }, /* 0.0449689838571361 */ 891 1.1 rjs { 449010620627813LL, 10000000000000000LL }, /* 0.0449010620627813 */ 892 1.1 rjs { 448334464216739LL, 10000000000000000LL }, /* 0.0448334464216739 */ 893 1.1 rjs { 447661346453912LL, 10000000000000000LL }, /* 0.0447661346453912 */ 894 1.1 rjs { 446991244693435LL, 10000000000000000LL }, /* 0.0446991244693435 */ 895 1.1 rjs { 446324136524557LL, 10000000000000000LL }, /* 0.0446324136524557 */ 896 1.1 rjs { 445659999768557LL, 10000000000000000LL }, /* 0.0445659999768557 */ 897 1.1 rjs { 444998812475661LL, 10000000000000000LL }, /* 0.0444998812475661 */ 898 1.1 rjs { 444340552922024LL, 10000000000000000LL }, /* 0.0444340552922024 */ 899 1.1 rjs { 44368519960675LL, 1000000000000000LL }, /* 0.044368519960675 */ 900 1.1 rjs { 443032731248964LL, 10000000000000000LL }, /* 0.0443032731248964 */ 901 1.1 rjs { 442383126784931LL, 10000000000000000LL }, /* 0.0442383126784931 */ 902 1.1 rjs { 44173636536522LL, 1000000000000000LL }, /* 0.044173636536522 */ 903 1.1 rjs { 441092426351912LL, 10000000000000000LL }, /* 0.0441092426351912 */ 904 1.1 rjs { 440451289315857LL, 10000000000000000LL }, /* 0.0440451289315857 */ 905 1.1 rjs { 439812934033966LL, 10000000000000000LL }, /* 0.0439812934033966 */ 906 1.1 rjs { 439177340486556LL, 10000000000000000LL }, /* 0.0439177340486556 */ 907 1.1 rjs { 438544488854725LL, 10000000000000000LL }, /* 0.0438544488854725 */ 908 1.1 rjs { 43791435951778LL, 1000000000000000LL }, /* 0.043791435951778 */ 909 1.1 rjs { 437286933050696LL, 10000000000000000LL }, /* 0.0437286933050696 */ 910 1.1 rjs { 436662190221621LL, 10000000000000000LL }, /* 0.0436662190221621 */ 911 1.1 rjs { 436040111989415LL, 10000000000000000LL }, /* 0.0436040111989415 */ 912 1.1 rjs { 435420679501227LL, 10000000000000000LL }, /* 0.0435420679501227 */ 913 1.1 rjs { 434803874090116LL, 10000000000000000LL }, /* 0.0434803874090116 */ 914 1.1 rjs { 434189677272704LL, 10000000000000000LL }, /* 0.0434189677272704 */ 915 1.1 rjs { 433578070746858LL, 10000000000000000LL }, /* 0.0433578070746858 */ 916 1.1 rjs { 432969036389425LL, 10000000000000000LL }, /* 0.0432969036389425 */ 917 1.1 rjs { 432362556253984LL, 10000000000000000LL }, /* 0.0432362556253984 */ 918 1.1 rjs { 431758612568642LL, 10000000000000000LL }, /* 0.0431758612568642 */ 919 1.1 rjs { 431157187733861LL, 10000000000000000LL }, /* 0.0431157187733861 */ 920 1.1 rjs { 430558264320317LL, 10000000000000000LL }, /* 0.0430558264320317 */ 921 1.1 rjs { 429961825066796LL, 10000000000000000LL }, /* 0.0429961825066796 */ 922 1.1 rjs { 429367852878112LL, 10000000000000000LL }, /* 0.0429367852878112 */ 923 1.1 rjs { 428776330823068LL, 10000000000000000LL }, /* 0.0428776330823068 */ 924 1.1 rjs { 428187242132439LL, 10000000000000000LL }, /* 0.0428187242132439 */ 925 1.1 rjs { 427600570196989LL, 10000000000000000LL }, /* 0.0427600570196989 */ 926 1.1 rjs { 427016298565515LL, 10000000000000000LL }, /* 0.0427016298565515 */ 927 1.1 rjs { 426434410942925LL, 10000000000000000LL }, /* 0.0426434410942925 */ 928 1.1 rjs { 425854891188339LL, 10000000000000000LL }, /* 0.0425854891188339 */ 929 1.1 rjs { 425277723313219LL, 10000000000000000LL }, /* 0.0425277723313219 */ 930 1.1 rjs { 424702891479532LL, 10000000000000000LL }, /* 0.0424702891479532 */ 931 1.1 rjs { 424130379997931LL, 10000000000000000LL }, /* 0.0424130379997931 */ 932 1.1 rjs { 423560173325973LL, 10000000000000000LL }, /* 0.0423560173325973 */ 933 1.1 rjs { 422992256066352LL, 10000000000000000LL }, /* 0.0422992256066352 */ 934 1.1 rjs { 422426612965169LL, 10000000000000000LL }, /* 0.0422426612965169 */ 935 1.1 rjs { 421863228910218LL, 10000000000000000LL }, /* 0.0421863228910218 */ 936 1.1 rjs { 421302088929301LL, 10000000000000000LL }, /* 0.0421302088929301 */ 937 1.1 rjs { 420743178188567LL, 10000000000000000LL }, /* 0.0420743178188567 */ 938 1.1 rjs { 420186481990879LL, 10000000000000000LL }, /* 0.0420186481990879 */ 939 1.1 rjs { 419631985774193LL, 10000000000000000LL }, /* 0.0419631985774193 */ 940 1.1 rjs { 419079675109974LL, 10000000000000000LL }, /* 0.0419079675109974 */ 941 1.1 rjs { 418529535701626LL, 10000000000000000LL }, /* 0.0418529535701626 */ 942 1.1 rjs { 417981553382947LL, 10000000000000000LL }, /* 0.0417981553382947 */ 943 1.1 rjs { 417435714116607LL, 10000000000000000LL }, /* 0.0417435714116607 */ 944 1.1 rjs { 416892003992645LL, 10000000000000000LL }, /* 0.0416892003992645 */ 945 1.1 rjs { 416350409226989LL, 10000000000000000LL }, /* 0.0416350409226989 */ 946 1.1 rjs { 41581091616LL, 1000000000000LL }, /* 0.041581091616 */ 947 1.1 rjs { 415273511255028LL, 10000000000000000LL }, /* 0.0415273511255028 */ 948 1.1 rjs { 414738181096999LL, 10000000000000000LL }, /* 0.0414738181096999 */ 949 1.1 rjs { 414204912391014LL, 10000000000000000LL }, /* 0.0414204912391014 */ 950 1.1 rjs { 413673691960969LL, 10000000000000000LL }, /* 0.0413673691960969 */ 951 1.1 rjs { 413144506748198LL, 10000000000000000LL }, /* 0.0413144506748198 */ 952 1.1 rjs { 412617343810132LL, 10000000000000000LL }, /* 0.0412617343810132 */ 953 1.1 rjs { 412092190318976LL, 10000000000000000LL }, /* 0.0412092190318976 */ 954 1.1 rjs { 411569033560404LL, 10000000000000000LL }, /* 0.0411569033560404 */ 955 1.1 rjs { 411047860932278LL, 10000000000000000LL }, /* 0.0411047860932278 */ 956 1.1 rjs { 410528659943376LL, 10000000000000000LL }, /* 0.0410528659943376 */ 957 1.1 rjs { 410011418212142LL, 10000000000000000LL }, /* 0.0410011418212142 */ 958 1.1 rjs { 409496123465455LL, 10000000000000000LL }, /* 0.0409496123465455 */ 959 1.1 rjs { 40898276353741LL, 1000000000000000LL }, /* 0.040898276353741 */ 960 1.1 rjs { 408471326368122LL, 10000000000000000LL }, /* 0.0408471326368122 */ 961 1.1 rjs { 407961800002536LL, 10000000000000000LL }, /* 0.0407961800002536 */ 962 1.1 rjs { 407454172589268LL, 10000000000000000LL }, /* 0.0407454172589268 */ 963 1.1 rjs { 406948432379447LL, 10000000000000000LL }, /* 0.0406948432379447 */ 964 1.1 rjs { 406444567725581LL, 10000000000000000LL }, /* 0.0406444567725581 */ 965 1.1 rjs { 405942567080438LL, 10000000000000000LL }, /* 0.0405942567080438 */ 966 1.1 rjs { 40544241899594LL, 1000000000000000LL }, /* 0.040544241899594 */ 967 1.1 rjs { 404944112122069LL, 10000000000000000LL }, /* 0.0404944112122069 */ 968 1.1 rjs { 404447635205797LL, 10000000000000000LL }, /* 0.0404447635205797 */ 969 1.1 rjs { 403952977090019LL, 10000000000000000LL }, /* 0.0403952977090019 */ 970 1.1 rjs { 403460126712507LL, 10000000000000000LL }, /* 0.0403460126712507 */ 971 1.1 rjs { 402969073104878LL, 10000000000000000LL }, /* 0.0402969073104878 */ 972 1.1 rjs { 402479805391573LL, 10000000000000000LL }, /* 0.0402479805391573 */ 973 1.1 rjs { 40199231278885LL, 1000000000000000LL }, /* 0.040199231278885 */ 974 1.1 rjs { 401506584603793LL, 10000000000000000LL }, /* 0.0401506584603793 */ 975 1.1 rjs { 401022610233328LL, 10000000000000000LL }, /* 0.0401022610233328 */ 976 1.1 rjs { 400540379163262LL, 10000000000000000LL }, /* 0.0400540379163262 */ 977 1.1 rjs { 400059880967321LL, 10000000000000000LL }, /* 0.0400059880967321 */ 978 1.1 rjs { 399581105306216LL, 10000000000000000LL }, /* 0.0399581105306216 */ 979 1.1 rjs { 399104041926707LL, 10000000000000000LL }, /* 0.0399104041926707 */ 980 1.1 rjs { 398628680660689LL, 10000000000000000LL }, /* 0.0398628680660689 */ 981 1.1 rjs { 398155011424285LL, 10000000000000000LL }, /* 0.0398155011424285 */ 982 1.1 rjs { 397683024216952LL, 10000000000000000LL }, /* 0.0397683024216952 */ 983 1.1 rjs { 397212709120599LL, 10000000000000000LL }, /* 0.0397212709120599 */ 984 1.1 rjs { 396744056298716LL, 10000000000000000LL }, /* 0.0396744056298716 */ 985 1.1 rjs { 396277055995515LL, 10000000000000000LL }, /* 0.0396277055995515 */ 986 1.1 rjs { 39581169853508LL, 1000000000000000LL }, /* 0.039581169853508 */ 987 1.1 rjs { 395347974320531LL, 10000000000000000LL }, /* 0.0395347974320531 */ 988 1.1 rjs { 394885873833192LL, 10000000000000000LL }, /* 0.0394885873833192 */ 989 1.1 rjs { 394425387631782LL, 10000000000000000LL }, /* 0.0394425387631782 */ 990 1.1 rjs { 393966506351601LL, 10000000000000000LL }, /* 0.0393966506351601 */ 991 1.1 rjs { 393509220703742LL, 10000000000000000LL }, /* 0.0393509220703742 */ 992 1.1 rjs { 393053521474297LL, 10000000000000000LL }, /* 0.0393053521474297 */ 993 1.1 rjs { 392599399523587LL, 10000000000000000LL }, /* 0.0392599399523587 */ 994 1.1 rjs { 392146845785392LL, 10000000000000000LL }, /* 0.0392146845785392 */ 995 1.1 rjs { 391695851266197LL, 10000000000000000LL }, /* 0.0391695851266197 */ 996 1.1 rjs { 391246407044446LL, 10000000000000000LL }, /* 0.0391246407044446 */ 997 1.1 rjs { 390798504269797LL, 10000000000000000LL }, /* 0.0390798504269797 */ 998 1.1 rjs { 390352134162404LL, 10000000000000000LL }, /* 0.0390352134162404 */ 999 1.1 rjs { 38990728801219LL, 1000000000000000LL }, /* 0.038990728801219 */ 1000 1.1 rjs { 389463957178138LL, 10000000000000000LL }, /* 0.0389463957178138 */ 1001 1.1 rjs { 389022133087593LL, 10000000000000000LL }, /* 0.0389022133087593 */ 1002 1.1 rjs { 388581807235562LL, 10000000000000000LL }, /* 0.0388581807235562 */ 1003 1.1 rjs { 388142971184039LL, 10000000000000000LL }, /* 0.0388142971184039 */ 1004 1.1 rjs { 387705616561318LL, 10000000000000000LL }, /* 0.0387705616561318 */ 1005 1.1 rjs { 387269735061335LL, 10000000000000000LL }, /* 0.0387269735061335 */ 1006 1.1 rjs { 386835318443004LL, 10000000000000000LL }, /* 0.0386835318443004 */ 1007 1.1 rjs { 386402358529565LL, 10000000000000000LL }, /* 0.0386402358529565 */ 1008 1.1 rjs { 385970847207942LL, 10000000000000000LL }, /* 0.0385970847207942 */ 1009 1.1 rjs { 385540776428107LL, 10000000000000000LL }, /* 0.0385540776428107 */ 1010 1.1 rjs { 385112138202453LL, 10000000000000000LL }, /* 0.0385112138202453 */ 1011 1.1 rjs { 384684924605173LL, 10000000000000000LL }, /* 0.0384684924605173 */ 1012 1.1 rjs { 384259127771645LL, 10000000000000000LL }, /* 0.0384259127771645 */ 1013 1.1 rjs { 38383473989783LL, 1000000000000000LL }, /* 0.038383473989783 */ 1014 1.1 rjs { 383411753239674LL, 10000000000000000LL }, /* 0.0383411753239674 */ 1015 1.1 rjs { 382990160112515LL, 10000000000000000LL }, /* 0.0382990160112515 */ 1016 1.1 rjs { 382569952890498LL, 10000000000000000LL }, /* 0.0382569952890498 */ 1017 1.1 rjs { 382151124006002LL, 10000000000000000LL }, /* 0.0382151124006002 */ 1018 1.1 rjs { 38173366594907LL, 1000000000000000LL }, /* 0.038173366594907 */ 1019 1.1 rjs { 381317571266841LL, 10000000000000000LL }, /* 0.0381317571266841 */ 1020 1.1 rjs { 380902832562998LL, 10000000000000000LL }, /* 0.0380902832562998 */ 1021 1.1 rjs { 380489442497219LL, 10000000000000000LL }, /* 0.0380489442497219 */ 1022 1.1 rjs { 380077393784629LL, 10000000000000000LL }, /* 0.0380077393784629 */ 1023 1.1 rjs { 379666679195267LL, 10000000000000000LL }, /* 0.0379666679195267 */ 1024 1.1 rjs { 379257291553555LL, 10000000000000000LL }, /* 0.0379257291553555 */ 1025 1.1 rjs { 378849223737772LL, 10000000000000000LL }, /* 0.0378849223737772 */ 1026 1.1 rjs { 378442468679537LL, 10000000000000000LL }, /* 0.0378442468679537 */ 1027 1.1 rjs { 378037019363299LL, 10000000000000000LL }, /* 0.0378037019363299 */ 1028 1.1 rjs { 377632868825826LL, 10000000000000000LL }, /* 0.0377632868825826 */ 1029 1.1 rjs { 37723001015571LL, 1000000000000000LL }, /* 0.037723001015571 */ 1030 1.1 rjs { 376828436492868LL, 10000000000000000LL }, /* 0.0376828436492868 */ 1031 1.1 rjs { 376428141028059LL, 10000000000000000LL }, /* 0.0376428141028059 */ 1032 1.1 rjs { 376029117002394LL, 10000000000000000LL }, /* 0.0376029117002394 */ 1033 1.1 rjs { 375631357706867LL, 10000000000000000LL }, /* 0.0375631357706867 */ 1034 1.1 rjs { 375234856481875LL, 10000000000000000LL }, /* 0.0375234856481875 */ 1035 1.1 rjs { 374839606716758LL, 10000000000000000LL }, /* 0.0374839606716758 */ 1036 1.1 rjs { 374445601849334LL, 10000000000000000LL }, /* 0.0374445601849334 */ 1037 1.1 rjs { 374052835365444LL, 10000000000000000LL }, /* 0.0374052835365444 */ 1038 1.1 rjs { 373661300798504LL, 10000000000000000LL }, /* 0.0373661300798504 */ 1039 1.1 rjs { 373270991729057LL, 10000000000000000LL }, /* 0.0373270991729057 */ 1040 1.1 rjs { 372881901784334LL, 10000000000000000LL }, /* 0.0372881901784334 */ 1041 1.1 rjs { 372494024637818LL, 10000000000000000LL }, /* 0.0372494024637818 */ 1042 1.1 rjs { 372107354008813LL, 10000000000000000LL }, /* 0.0372107354008813 */ 1043 1.1 rjs { 371721883662021LL, 10000000000000000LL }, /* 0.0371721883662021 */ 1044 1.1 rjs { 371721883662021LL, 10000000000000000LL } /* 0.0371721883662021 */ 1045 1.1 rjs }; 1046 1.1 rjs 1047 1.1 rjs #endif 1048
Indexes created Tue Sep 30 11:09:46 GMT 2025