github.com/tobgu/qframe@v0.4.0/internal/ryu/tables.go (about)

     1  // Code generated by running "go generate". DO NOT EDIT.
     2  
     3  // Copyright 2018 Ulf Adams
     4  // Modifications copyright 2019 Caleb Spare
     5  //
     6  // The contents of this file may be used under the terms of the Apache License,
     7  // Version 2.0.
     8  //
     9  //    (See accompanying file LICENSE or copy at
    10  //     http://www.apache.org/licenses/LICENSE-2.0)
    11  //
    12  // Unless required by applicable law or agreed to in writing, this software
    13  // is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
    14  // KIND, either express or implied.
    15  //
    16  // The code in this file is part of a Go translation of the C code written by
    17  // Ulf Adams which may be found at https://github.com/ulfjack/ryu. That source
    18  // code is licensed under Apache 2.0 and this code is derivative work thereof.
    19  
    20  package ryu
    21  
    22  const pow5NumBits32 = 61
    23  
    24  var pow5Split32 = [...]uint64{
    25  	1152921504606846976, 1441151880758558720, 1801439850948198400, 2251799813685248000,
    26  	1407374883553280000, 1759218604441600000, 2199023255552000000, 1374389534720000000,
    27  	1717986918400000000, 2147483648000000000, 1342177280000000000, 1677721600000000000,
    28  	2097152000000000000, 1310720000000000000, 1638400000000000000, 2048000000000000000,
    29  	1280000000000000000, 1600000000000000000, 2000000000000000000, 1250000000000000000,
    30  	1562500000000000000, 1953125000000000000, 1220703125000000000, 1525878906250000000,
    31  	1907348632812500000, 1192092895507812500, 1490116119384765625, 1862645149230957031,
    32  	1164153218269348144, 1455191522836685180, 1818989403545856475, 2273736754432320594,
    33  	1421085471520200371, 1776356839400250464, 2220446049250313080, 1387778780781445675,
    34  	1734723475976807094, 2168404344971008868, 1355252715606880542, 1694065894508600678,
    35  	2117582368135750847, 1323488980084844279, 1654361225106055349, 2067951531382569187,
    36  	1292469707114105741, 1615587133892632177, 2019483917365790221,
    37  }
    38  
    39  const pow5InvNumBits32 = 59
    40  
    41  var pow5InvSplit32 = [...]uint64{
    42  	576460752303423489, 461168601842738791, 368934881474191033, 295147905179352826,
    43  	472236648286964522, 377789318629571618, 302231454903657294, 483570327845851670,
    44  	386856262276681336, 309485009821345069, 495176015714152110, 396140812571321688,
    45  	316912650057057351, 507060240091291761, 405648192073033409, 324518553658426727,
    46  	519229685853482763, 415383748682786211, 332306998946228969, 531691198313966350,
    47  	425352958651173080, 340282366920938464, 544451787073501542, 435561429658801234,
    48  	348449143727040987, 557518629963265579, 446014903970612463, 356811923176489971,
    49  	570899077082383953, 456719261665907162, 365375409332725730,
    50  }
    51  
    52  const pow5NumBits64 = 121
    53  
    54  var pow5Split64 = [...]uint128{
    55  	{0, 72057594037927936},
    56  	{0, 90071992547409920},
    57  	{0, 112589990684262400},
    58  	{0, 140737488355328000},
    59  	{0, 87960930222080000},
    60  	{0, 109951162777600000},
    61  	{0, 137438953472000000},
    62  	{0, 85899345920000000},
    63  	{0, 107374182400000000},
    64  	{0, 134217728000000000},
    65  	{0, 83886080000000000},
    66  	{0, 104857600000000000},
    67  	{0, 131072000000000000},
    68  	{0, 81920000000000000},
    69  	{0, 102400000000000000},
    70  	{0, 128000000000000000},
    71  	{0, 80000000000000000},
    72  	{0, 100000000000000000},
    73  	{0, 125000000000000000},
    74  	{0, 78125000000000000},
    75  	{0, 97656250000000000},
    76  	{0, 122070312500000000},
    77  	{0, 76293945312500000},
    78  	{0, 95367431640625000},
    79  	{0, 119209289550781250},
    80  	{4611686018427387904, 74505805969238281},
    81  	{10376293541461622784, 93132257461547851},
    82  	{8358680908399640576, 116415321826934814},
    83  	{612489549322387456, 72759576141834259},
    84  	{14600669991935148032, 90949470177292823},
    85  	{13639151471491547136, 113686837721616029},
    86  	{3213881284082270208, 142108547152020037},
    87  	{4314518811765112832, 88817841970012523},
    88  	{781462496279003136, 111022302462515654},
    89  	{10200200157203529728, 138777878078144567},
    90  	{13292654125893287936, 86736173798840354},
    91  	{7392445620511834112, 108420217248550443},
    92  	{4628871007212404736, 135525271560688054},
    93  	{16728102434789916672, 84703294725430033},
    94  	{7075069988205232128, 105879118406787542},
    95  	{18067209522111315968, 132348898008484427},
    96  	{8986162942105878528, 82718061255302767},
    97  	{6621017659204960256, 103397576569128459},
    98  	{3664586055578812416, 129246970711410574},
    99  	{16125424340018921472, 80779356694631608},
   100  	{1710036351314100224, 100974195868289511},
   101  	{15972603494424788992, 126217744835361888},
   102  	{9982877184015493120, 78886090522101180},
   103  	{12478596480019366400, 98607613152626475},
   104  	{10986559581596820096, 123259516440783094},
   105  	{2254913720070624656, 77037197775489434},
   106  	{12042014186943056628, 96296497219361792},
   107  	{15052517733678820785, 120370621524202240},
   108  	{9407823583549262990, 75231638452626400},
   109  	{11759779479436578738, 94039548065783000},
   110  	{14699724349295723422, 117549435082228750},
   111  	{4575641699882439235, 73468396926392969},
   112  	{10331238143280436948, 91835496157991211},
   113  	{8302361660673158281, 114794370197489014},
   114  	{1154580038986672043, 143492962746861268},
   115  	{9944984561221445835, 89683101716788292},
   116  	{12431230701526807293, 112103877145985365},
   117  	{1703980321626345405, 140129846432481707},
   118  	{17205888765512323542, 87581154020301066},
   119  	{12283988920035628619, 109476442525376333},
   120  	{1519928094762372062, 136845553156720417},
   121  	{12479170105294952299, 85528470722950260},
   122  	{15598962631618690374, 106910588403687825},
   123  	{5663645234241199255, 133638235504609782},
   124  	{17374836326682913246, 83523897190381113},
   125  	{7883487353071477846, 104404871487976392},
   126  	{9854359191339347308, 130506089359970490},
   127  	{10770660513014479971, 81566305849981556},
   128  	{13463325641268099964, 101957882312476945},
   129  	{2994098996302961243, 127447352890596182},
   130  	{15706369927971514489, 79654595556622613},
   131  	{5797904354682229399, 99568244445778267},
   132  	{2635694424925398845, 124460305557222834},
   133  	{6258995034005762182, 77787690973264271},
   134  	{3212057774079814824, 97234613716580339},
   135  	{17850130272881932242, 121543267145725423},
   136  	{18073860448192289507, 75964541966078389},
   137  	{8757267504958198172, 94955677457597987},
   138  	{6334898362770359811, 118694596821997484},
   139  	{13182683513586250689, 74184123013748427},
   140  	{11866668373555425458, 92730153767185534},
   141  	{5609963430089506015, 115912692208981918},
   142  	{17341285199088104971, 72445432630613698},
   143  	{12453234462005355406, 90556790788267123},
   144  	{10954857059079306353, 113195988485333904},
   145  	{13693571323849132942, 141494985606667380},
   146  	{17781854114260483896, 88434366004167112},
   147  	{3780573569116053255, 110542957505208891},
   148  	{114030942967678664, 138178696881511114},
   149  	{4682955357782187069, 86361685550944446},
   150  	{15077066234082509644, 107952106938680557},
   151  	{5011274737320973344, 134940133673350697},
   152  	{14661261756894078100, 84337583545844185},
   153  	{4491519140835433913, 105421979432305232},
   154  	{5614398926044292391, 131777474290381540},
   155  	{12732371365632458552, 82360921431488462},
   156  	{6692092170185797382, 102951151789360578},
   157  	{17588487249587022536, 128688939736700722},
   158  	{15604490549419276989, 80430587335437951},
   159  	{14893927168346708332, 100538234169297439},
   160  	{14005722942005997511, 125672792711621799},
   161  	{15671105866394830300, 78545495444763624},
   162  	{1142138259283986260, 98181869305954531},
   163  	{15262730879387146537, 122727336632443163},
   164  	{7233363790403272633, 76704585395276977},
   165  	{13653390756431478696, 95880731744096221},
   166  	{3231680390257184658, 119850914680120277},
   167  	{4325643253124434363, 74906821675075173},
   168  	{10018740084832930858, 93633527093843966},
   169  	{3300053069186387764, 117041908867304958},
   170  	{15897591223523656064, 73151193042065598},
   171  	{10648616992549794273, 91438991302581998},
   172  	{4087399203832467033, 114298739128227498},
   173  	{14332621041645359599, 142873423910284372},
   174  	{18181260187883125557, 89295889943927732},
   175  	{4279831161144355331, 111619862429909666},
   176  	{14573160988285219972, 139524828037387082},
   177  	{13719911636105650386, 87203017523366926},
   178  	{7926517508277287175, 109003771904208658},
   179  	{684774848491833161, 136254714880260823},
   180  	{7345513307948477581, 85159196800163014},
   181  	{18405263671790372785, 106448996000203767},
   182  	{18394893571310578077, 133061245000254709},
   183  	{13802651491282805250, 83163278125159193},
   184  	{3418256308821342851, 103954097656448992},
   185  	{4272820386026678563, 129942622070561240},
   186  	{2670512741266674102, 81214138794100775},
   187  	{17173198981865506339, 101517673492625968},
   188  	{3019754653622331308, 126897091865782461},
   189  	{4193189667727651020, 79310682416114038},
   190  	{14464859121514339583, 99138353020142547},
   191  	{13469387883465536574, 123922941275178184},
   192  	{8418367427165960359, 77451838296986365},
   193  	{15134645302384838353, 96814797871232956},
   194  	{471562554271496325, 121018497339041196},
   195  	{9518098633274461011, 75636560836900747},
   196  	{7285937273165688360, 94545701046125934},
   197  	{18330793628311886258, 118182126307657417},
   198  	{4539216990053847055, 73863828942285886},
   199  	{14897393274422084627, 92329786177857357},
   200  	{4786683537745442072, 115412232722321697},
   201  	{14520892257159371055, 72132645451451060},
   202  	{18151115321449213818, 90165806814313825},
   203  	{8853836096529353561, 112707258517892282},
   204  	{1843923083806916143, 140884073147365353},
   205  	{12681666973447792349, 88052545717103345},
   206  	{2017025661527576725, 110065682146379182},
   207  	{11744654113764246714, 137582102682973977},
   208  	{422879793461572340, 85988814176858736},
   209  	{528599741826965425, 107486017721073420},
   210  	{660749677283706782, 134357522151341775},
   211  	{7330497575943398595, 83973451344588609},
   212  	{13774807988356636147, 104966814180735761},
   213  	{3383451930163631472, 131208517725919702},
   214  	{15949715511634433382, 82005323578699813},
   215  	{6102086334260878016, 102506654473374767},
   216  	{3015921899398709616, 128133318091718459},
   217  	{18025852251620051174, 80083323807324036},
   218  	{4085571240815512351, 100104154759155046},
   219  	{14330336087874166247, 125130193448943807},
   220  	{15873989082562435760, 78206370905589879},
   221  	{15230800334775656796, 97757963631987349},
   222  	{5203442363187407284, 122197454539984187},
   223  	{946308467778435600, 76373409087490117},
   224  	{5794571603150432404, 95466761359362646},
   225  	{16466586540792816313, 119333451699203307},
   226  	{7985773578781816244, 74583407312002067},
   227  	{5370530955049882401, 93229259140002584},
   228  	{6713163693812353001, 116536573925003230},
   229  	{18030785363914884337, 72835358703127018},
   230  	{13315109668038829614, 91044198378908773},
   231  	{2808829029766373305, 113805247973635967},
   232  	{17346094342490130344, 142256559967044958},
   233  	{6229622945628943561, 88910349979403099},
   234  	{3175342663608791547, 111137937474253874},
   235  	{13192550366365765242, 138922421842817342},
   236  	{3633657960551215372, 86826513651760839},
   237  	{18377130505971182927, 108533142064701048},
   238  	{4524669058754427043, 135666427580876311},
   239  	{9745447189362598758, 84791517238047694},
   240  	{2958436949848472639, 105989396547559618},
   241  	{12921418224165366607, 132486745684449522},
   242  	{12687572408530742033, 82804216052780951},
   243  	{11247779492236039638, 103505270065976189},
   244  	{224666310012885835, 129381587582470237},
   245  	{2446259452971747599, 80863492239043898},
   246  	{12281196353069460307, 101079365298804872},
   247  	{15351495441336825384, 126349206623506090},
   248  	{14206370669262903769, 78968254139691306},
   249  	{8534591299723853903, 98710317674614133},
   250  	{15279925143082205283, 123387897093267666},
   251  	{14161639232853766206, 77117435683292291},
   252  	{13090363022639819853, 96396794604115364},
   253  	{16362953778299774816, 120495993255144205},
   254  	{12532689120651053212, 75309995784465128},
   255  	{15665861400813816515, 94137494730581410},
   256  	{10358954714162494836, 117671868413226763},
   257  	{4168503687137865320, 73544917758266727},
   258  	{598943590494943747, 91931147197833409},
   259  	{5360365506546067587, 114913933997291761},
   260  	{11312142901609972388, 143642417496614701},
   261  	{9375932322719926695, 89776510935384188},
   262  	{11719915403399908368, 112220638669230235},
   263  	{10038208235822497557, 140275798336537794},
   264  	{10885566165816448877, 87672373960336121},
   265  	{18218643725697949000, 109590467450420151},
   266  	{18161618638695048346, 136988084313025189},
   267  	{13656854658398099168, 85617552695640743},
   268  	{12459382304570236056, 107021940869550929},
   269  	{1739169825430631358, 133777426086938662},
   270  	{14922039196176308311, 83610891304336663},
   271  	{14040862976792997485, 104513614130420829},
   272  	{3716020665709083144, 130642017663026037},
   273  	{4628355925281870917, 81651261039391273},
   274  	{10397130925029726550, 102064076299239091},
   275  	{8384727637859770284, 127580095374048864},
   276  	{5240454773662356427, 79737559608780540},
   277  	{6550568467077945534, 99671949510975675},
   278  	{3576524565420044014, 124589936888719594},
   279  	{6847013871814915412, 77868710555449746},
   280  	{17782139376623420074, 97335888194312182},
   281  	{13004302183924499284, 121669860242890228},
   282  	{17351060901807587860, 76043662651806392},
   283  	{3242082053549933210, 95054578314757991},
   284  	{17887660622219580224, 118818222893447488},
   285  	{11179787888887237640, 74261389308404680},
   286  	{13974734861109047050, 92826736635505850},
   287  	{8245046539531533005, 116033420794382313},
   288  	{16682369133275677888, 72520887996488945},
   289  	{7017903361312433648, 90651109995611182},
   290  	{17995751238495317868, 113313887494513977},
   291  	{8659630992836983623, 141642359368142472},
   292  	{5412269370523114764, 88526474605089045},
   293  	{11377022731581281359, 110658093256361306},
   294  	{4997906377621825891, 138322616570451633},
   295  	{14652906532082110942, 86451635356532270},
   296  	{9092761128247862869, 108064544195665338},
   297  	{2142579373455052779, 135080680244581673},
   298  	{12868327154477877747, 84425425152863545},
   299  	{2250350887815183471, 105531781441079432},
   300  	{2812938609768979339, 131914726801349290},
   301  	{6369772649532999991, 82446704250843306},
   302  	{17185587848771025797, 103058380313554132},
   303  	{3035240737254230630, 128822975391942666},
   304  	{6508711479211282048, 80514359619964166},
   305  	{17359261385868878368, 100642949524955207},
   306  	{17087390713908710056, 125803686906194009},
   307  	{3762090168551861929, 78627304316371256},
   308  	{4702612710689827411, 98284130395464070},
   309  	{15101637925217060072, 122855162994330087},
   310  	{16356052730901744401, 76784476871456304},
   311  	{1998321839917628885, 95980596089320381},
   312  	{7109588318324424010, 119975745111650476},
   313  	{13666864735807540814, 74984840694781547},
   314  	{12471894901332038114, 93731050868476934},
   315  	{6366496589810271835, 117163813585596168},
   316  	{3979060368631419896, 73227383490997605},
   317  	{9585511479216662775, 91534229363747006},
   318  	{2758517312166052660, 114417786704683758},
   319  	{12671518677062341634, 143022233380854697},
   320  	{1002170145522881665, 89388895863034186},
   321  	{10476084718758377889, 111736119828792732},
   322  	{13095105898447972362, 139670149785990915},
   323  	{5878598177316288774, 87293843616244322},
   324  	{16571619758500136775, 109117304520305402},
   325  	{11491152661270395161, 136396630650381753},
   326  	{264441385652915120, 85247894156488596},
   327  	{330551732066143900, 106559867695610745},
   328  	{5024875683510067779, 133199834619513431},
   329  	{10058076329834874218, 83249896637195894},
   330  	{3349223375438816964, 104062370796494868},
   331  	{4186529219298521205, 130077963495618585},
   332  	{14145795808130045513, 81298727184761615},
   333  	{13070558741735168987, 101623408980952019},
   334  	{11726512408741573330, 127029261226190024},
   335  	{7329070255463483331, 79393288266368765},
   336  	{13773023837756742068, 99241610332960956},
   337  	{17216279797195927585, 124052012916201195},
   338  	{8454331864033760789, 77532508072625747},
   339  	{5956228811614813082, 96915635090782184},
   340  	{7445286014518516353, 121144543863477730},
   341  	{9264989777501460624, 75715339914673581},
   342  	{16192923240304213684, 94644174893341976},
   343  	{1794409976670715490, 118305218616677471},
   344  	{8039035263060279037, 73940761635423419},
   345  	{5437108060397960892, 92425952044279274},
   346  	{16019757112352226923, 115532440055349092},
   347  	{788976158365366019, 72207775034593183},
   348  	{14821278253238871236, 90259718793241478},
   349  	{9303225779693813237, 112824648491551848},
   350  	{11629032224617266546, 141030810614439810},
   351  	{11879831158813179495, 88144256634024881},
   352  	{1014730893234310657, 110180320792531102},
   353  	{10491785653397664129, 137725400990663877},
   354  	{8863209042587234033, 86078375619164923},
   355  	{6467325284806654637, 107597969523956154},
   356  	{17307528642863094104, 134497461904945192},
   357  	{10817205401789433815, 84060913690590745},
   358  	{18133192770664180173, 105076142113238431},
   359  	{18054804944902837312, 131345177641548039},
   360  	{18201782118205355176, 82090736025967524},
   361  	{4305483574047142354, 102613420032459406},
   362  	{14605226504413703751, 128266775040574257},
   363  	{2210737537617482988, 80166734400358911},
   364  	{16598479977304017447, 100208418000448638},
   365  	{11524727934775246001, 125260522500560798},
   366  	{2591268940807140847, 78287826562850499},
   367  	{17074144231291089770, 97859783203563123},
   368  	{16730994270686474309, 122324729004453904},
   369  	{10456871419179046443, 76452955627783690},
   370  	{3847717237119032246, 95566194534729613},
   371  	{9421332564826178211, 119457743168412016},
   372  	{5888332853016361382, 74661089480257510},
   373  	{16583788103125227536, 93326361850321887},
   374  	{16118049110479146516, 116657952312902359},
   375  	{16991309721690548428, 72911220195563974},
   376  	{12015765115258409727, 91139025244454968},
   377  	{15019706394073012159, 113923781555568710},
   378  	{9551260955736489391, 142404726944460888},
   379  	{5969538097335305869, 89002954340288055},
   380  	{2850236603241744433, 111253692925360069},
   381  }
   382  
   383  const pow5InvNumBits64 = 122
   384  
   385  var pow5InvSplit64 = [...]uint128{
   386  	{1, 288230376151711744},
   387  	{3689348814741910324, 230584300921369395},
   388  	{2951479051793528259, 184467440737095516},
   389  	{17118578500402463900, 147573952589676412},
   390  	{12632330341676300947, 236118324143482260},
   391  	{10105864273341040758, 188894659314785808},
   392  	{15463389048156653253, 151115727451828646},
   393  	{17362724847566824558, 241785163922925834},
   394  	{17579528692795369969, 193428131138340667},
   395  	{6684925324752475329, 154742504910672534},
   396  	{18074578149087781173, 247588007857076054},
   397  	{18149011334012135262, 198070406285660843},
   398  	{3451162622983977240, 158456325028528675},
   399  	{5521860196774363583, 253530120045645880},
   400  	{4417488157419490867, 202824096036516704},
   401  	{7223339340677503017, 162259276829213363},
   402  	{7867994130342094503, 259614842926741381},
   403  	{2605046489531765280, 207691874341393105},
   404  	{2084037191625412224, 166153499473114484},
   405  	{10713157136084480204, 265845599156983174},
   406  	{12259874523609494487, 212676479325586539},
   407  	{13497248433629505913, 170141183460469231},
   408  	{14216899864323388813, 272225893536750770},
   409  	{11373519891458711051, 217780714829400616},
   410  	{5409467098425058518, 174224571863520493},
   411  	{4965798542738183305, 278759314981632789},
   412  	{7661987648932456967, 223007451985306231},
   413  	{2440241304404055250, 178405961588244985},
   414  	{3904386087046488400, 285449538541191976},
   415  	{17880904128604832013, 228359630832953580},
   416  	{14304723302883865611, 182687704666362864},
   417  	{15133127457049002812, 146150163733090291},
   418  	{16834306301794583852, 233840261972944466},
   419  	{9778096226693756759, 187072209578355573},
   420  	{15201174610838826053, 149657767662684458},
   421  	{2185786488890659746, 239452428260295134},
   422  	{5437978005854438120, 191561942608236107},
   423  	{15418428848909281466, 153249554086588885},
   424  	{6222742084545298729, 245199286538542217},
   425  	{16046240111861969953, 196159429230833773},
   426  	{1768945645263844993, 156927543384667019},
   427  	{10209010661905972635, 251084069415467230},
   428  	{8167208529524778108, 200867255532373784},
   429  	{10223115638361732810, 160693804425899027},
   430  	{1599589762411131202, 257110087081438444},
   431  	{4969020624670815285, 205688069665150755},
   432  	{3975216499736652228, 164550455732120604},
   433  	{13739044029062464211, 263280729171392966},
   434  	{7301886408508061046, 210624583337114373},
   435  	{13220206756290269483, 168499666669691498},
   436  	{17462981995322520850, 269599466671506397},
   437  	{6591687966774196033, 215679573337205118},
   438  	{12652048002903177473, 172543658669764094},
   439  	{9175230360419352987, 276069853871622551},
   440  	{3650835473593572067, 220855883097298041},
   441  	{17678063637842498946, 176684706477838432},
   442  	{13527506561580357021, 282695530364541492},
   443  	{3443307619780464970, 226156424291633194},
   444  	{6443994910566282300, 180925139433306555},
   445  	{5155195928453025840, 144740111546645244},
   446  	{15627011115008661990, 231584178474632390},
   447  	{12501608892006929592, 185267342779705912},
   448  	{2622589484121723027, 148213874223764730},
   449  	{4196143174594756843, 237142198758023568},
   450  	{10735612169159626121, 189713759006418854},
   451  	{12277838550069611220, 151771007205135083},
   452  	{15955192865369467629, 242833611528216133},
   453  	{1696107848069843133, 194266889222572907},
   454  	{12424932722681605476, 155413511378058325},
   455  	{1433148282581017146, 248661618204893321},
   456  	{15903913885032455010, 198929294563914656},
   457  	{9033782293284053685, 159143435651131725},
   458  	{14454051669254485895, 254629497041810760},
   459  	{11563241335403588716, 203703597633448608},
   460  	{16629290697806691620, 162962878106758886},
   461  	{781423413297334329, 260740604970814219},
   462  	{4314487545379777786, 208592483976651375},
   463  	{3451590036303822229, 166873987181321100},
   464  	{5522544058086115566, 266998379490113760},
   465  	{4418035246468892453, 213598703592091008},
   466  	{10913125826658934609, 170878962873672806},
   467  	{10082303693170474728, 273406340597876490},
   468  	{8065842954536379782, 218725072478301192},
   469  	{17520720807854834795, 174980057982640953},
   470  	{5897060404116273733, 279968092772225526},
   471  	{1028299508551108663, 223974474217780421},
   472  	{15580034865808528224, 179179579374224336},
   473  	{17549358155809824511, 286687326998758938},
   474  	{2971440080422128639, 229349861599007151},
   475  	{17134547323305344204, 183479889279205720},
   476  	{13707637858644275364, 146783911423364576},
   477  	{14553522944347019935, 234854258277383322},
   478  	{4264120725993795302, 187883406621906658},
   479  	{10789994210278856888, 150306725297525326},
   480  	{9885293106962350374, 240490760476040522},
   481  	{529536856086059653, 192392608380832418},
   482  	{7802327114352668369, 153914086704665934},
   483  	{1415676938738538420, 246262538727465495},
   484  	{1132541550990830736, 197010030981972396},
   485  	{15663428499760305882, 157608024785577916},
   486  	{17682787970132668764, 252172839656924666},
   487  	{10456881561364224688, 201738271725539733},
   488  	{15744202878575200397, 161390617380431786},
   489  	{17812026976236499989, 258224987808690858},
   490  	{3181575136763469022, 206579990246952687},
   491  	{13613306553636506187, 165263992197562149},
   492  	{10713244041592678929, 264422387516099439},
   493  	{12259944048016053467, 211537910012879551},
   494  	{6118606423670932450, 169230328010303641},
   495  	{2411072648389671274, 270768524816485826},
   496  	{16686253377679378312, 216614819853188660},
   497  	{13349002702143502650, 173291855882550928},
   498  	{17669055508687693916, 277266969412081485},
   499  	{14135244406950155133, 221813575529665188},
   500  	{240149081334393137, 177450860423732151},
   501  	{11452284974360759988, 283921376677971441},
   502  	{5472479164746697667, 227137101342377153},
   503  	{11756680961281178780, 181709681073901722},
   504  	{2026647139541122378, 145367744859121378},
   505  	{18000030682233437097, 232588391774594204},
   506  	{18089373360528660001, 186070713419675363},
   507  	{3403452244197197031, 148856570735740291},
   508  	{16513570034941246220, 238170513177184465},
   509  	{13210856027952996976, 190536410541747572},
   510  	{3189987192878576934, 152429128433398058},
   511  	{1414630693863812771, 243886605493436893},
   512  	{8510402184574870864, 195109284394749514},
   513  	{10497670562401807014, 156087427515799611},
   514  	{9417575270359070576, 249739884025279378},
   515  	{14912757845771077107, 199791907220223502},
   516  	{4551508647133041040, 159833525776178802},
   517  	{10971762650154775986, 255733641241886083},
   518  	{16156107749607641435, 204586912993508866},
   519  	{9235537384944202825, 163669530394807093},
   520  	{11087511001168814197, 261871248631691349},
   521  	{12559357615676961681, 209496998905353079},
   522  	{13736834907283479668, 167597599124282463},
   523  	{18289587036911657145, 268156158598851941},
   524  	{10942320814787415393, 214524926879081553},
   525  	{16132554281313752961, 171619941503265242},
   526  	{11054691591134363444, 274591906405224388},
   527  	{16222450902391311402, 219673525124179510},
   528  	{12977960721913049122, 175738820099343608},
   529  	{17075388340318968271, 281182112158949773},
   530  	{2592264228029443648, 224945689727159819},
   531  	{5763160197165465241, 179956551781727855},
   532  	{9221056315464744386, 287930482850764568},
   533  	{14755542681855616155, 230344386280611654},
   534  	{15493782960226403247, 184275509024489323},
   535  	{1326979923955391628, 147420407219591459},
   536  	{9501865507812447252, 235872651551346334},
   537  	{11290841220991868125, 188698121241077067},
   538  	{1653975347309673853, 150958496992861654},
   539  	{10025058185179298811, 241533595188578646},
   540  	{4330697733401528726, 193226876150862917},
   541  	{14532604630946953951, 154581500920690333},
   542  	{1116074521063664381, 247330401473104534},
   543  	{4582208431592841828, 197864321178483627},
   544  	{14733813189500004432, 158291456942786901},
   545  	{16195403473716186445, 253266331108459042},
   546  	{5577625149489128510, 202613064886767234},
   547  	{8151448934333213131, 162090451909413787},
   548  	{16731667109675051333, 259344723055062059},
   549  	{17074682502481951390, 207475778444049647},
   550  	{6281048372501740465, 165980622755239718},
   551  	{6360328581260874421, 265568996408383549},
   552  	{8777611679750609860, 212455197126706839},
   553  	{10711438158542398211, 169964157701365471},
   554  	{9759603424184016492, 271942652322184754},
   555  	{11497031554089123517, 217554121857747803},
   556  	{16576322872755119460, 174043297486198242},
   557  	{11764721337440549842, 278469275977917188},
   558  	{16790474699436260520, 222775420782333750},
   559  	{13432379759549008416, 178220336625867000},
   560  	{3045063541568861850, 285152538601387201},
   561  	{17193446092222730773, 228122030881109760},
   562  	{13754756873778184618, 182497624704887808},
   563  	{18382503128506368341, 145998099763910246},
   564  	{3586563302416817083, 233596959622256395},
   565  	{2869250641933453667, 186877567697805116},
   566  	{17052795772514404226, 149502054158244092},
   567  	{12527077977055405469, 239203286653190548},
   568  	{17400360011128145022, 191362629322552438},
   569  	{2852241564676785048, 153090103458041951},
   570  	{15631632947708587046, 244944165532867121},
   571  	{8815957543424959314, 195955332426293697},
   572  	{18120812478965698421, 156764265941034957},
   573  	{14235904707377476180, 250822825505655932},
   574  	{4010026136418160298, 200658260404524746},
   575  	{17965416168102169531, 160526608323619796},
   576  	{2919224165770098987, 256842573317791675},
   577  	{2335379332616079190, 205474058654233340},
   578  	{1868303466092863352, 164379246923386672},
   579  	{6678634360490491686, 263006795077418675},
   580  	{5342907488392393349, 210405436061934940},
   581  	{4274325990713914679, 168324348849547952},
   582  	{10528270399884173809, 269318958159276723},
   583  	{15801313949391159694, 215455166527421378},
   584  	{1573004715287196786, 172364133221937103},
   585  	{17274202803427156150, 275782613155099364},
   586  	{17508711057483635243, 220626090524079491},
   587  	{10317620031244997871, 176500872419263593},
   588  	{12818843235250086271, 282401395870821749},
   589  	{13944423402941979340, 225921116696657399},
   590  	{14844887537095493795, 180736893357325919},
   591  	{15565258844418305359, 144589514685860735},
   592  	{6457670077359736959, 231343223497377177},
   593  	{16234182506113520537, 185074578797901741},
   594  	{9297997190148906106, 148059663038321393},
   595  	{11187446689496339446, 236895460861314229},
   596  	{12639306166338981880, 189516368689051383},
   597  	{17490142562555006151, 151613094951241106},
   598  	{2158786396894637579, 242580951921985771},
   599  	{16484424376483351356, 194064761537588616},
   600  	{9498190686444770762, 155251809230070893},
   601  	{11507756283569722895, 248402894768113429},
   602  	{12895553841597688639, 198722315814490743},
   603  	{17695140702761971558, 158977852651592594},
   604  	{17244178680193423523, 254364564242548151},
   605  	{10105994129412828495, 203491651394038521},
   606  	{4395446488788352473, 162793321115230817},
   607  	{10722063196803274280, 260469313784369307},
   608  	{1198952927958798777, 208375451027495446},
   609  	{15716557601334680315, 166700360821996356},
   610  	{17767794532651667857, 266720577315194170},
   611  	{14214235626121334286, 213376461852155336},
   612  	{7682039686155157106, 170701169481724269},
   613  	{1223217053622520399, 273121871170758831},
   614  	{15735968901865657612, 218497496936607064},
   615  	{16278123936234436413, 174797997549285651},
   616  	{219556594781725998, 279676796078857043},
   617  	{7554342905309201445, 223741436863085634},
   618  	{9732823138989271479, 178993149490468507},
   619  	{815121763415193074, 286389039184749612},
   620  	{11720143854957885429, 229111231347799689},
   621  	{13065463898708218666, 183288985078239751},
   622  	{6763022304224664610, 146631188062591801},
   623  	{3442138057275642729, 234609900900146882},
   624  	{13821756890046245153, 187687920720117505},
   625  	{11057405512036996122, 150150336576094004},
   626  	{6623802375033462826, 240240538521750407},
   627  	{16367088344252501231, 192192430817400325},
   628  	{13093670675402000985, 153753944653920260},
   629  	{2503129006933649959, 246006311446272417},
   630  	{13070549649772650937, 196805049157017933},
   631  	{17835137349301941396, 157444039325614346},
   632  	{2710778055689733971, 251910462920982955},
   633  	{2168622444551787177, 201528370336786364},
   634  	{5424246770383340065, 161222696269429091},
   635  	{1300097203129523457, 257956314031086546},
   636  	{15797473021471260058, 206365051224869236},
   637  	{8948629602435097724, 165092040979895389},
   638  	{3249760919670425388, 264147265567832623},
   639  	{9978506365220160957, 211317812454266098},
   640  	{15361502721659949412, 169054249963412878},
   641  	{2442311466204457120, 270486799941460606},
   642  	{16711244431931206989, 216389439953168484},
   643  	{17058344360286875914, 173111551962534787},
   644  	{12535955717491360170, 276978483140055660},
   645  	{10028764573993088136, 221582786512044528},
   646  	{15401709288678291155, 177266229209635622},
   647  	{9885339602917624555, 283625966735416996},
   648  	{4218922867592189321, 226900773388333597},
   649  	{14443184738299482427, 181520618710666877},
   650  	{4175850161155765295, 145216494968533502},
   651  	{10370709072591134795, 232346391949653603},
   652  	{15675264887556728482, 185877113559722882},
   653  	{5161514280561562140, 148701690847778306},
   654  	{879725219414678777, 237922705356445290},
   655  	{703780175531743021, 190338164285156232},
   656  	{11631070584651125387, 152270531428124985},
   657  	{162968861732249003, 243632850284999977},
   658  	{11198421533611530172, 194906280227999981},
   659  	{5269388412147313814, 155925024182399985},
   660  	{8431021459435702103, 249480038691839976},
   661  	{3055468352806651359, 199584030953471981},
   662  	{17201769941212962380, 159667224762777584},
   663  	{16454785461715008838, 255467559620444135},
   664  	{13163828369372007071, 204374047696355308},
   665  	{17909760324981426303, 163499238157084246},
   666  	{2830174816776909822, 261598781051334795},
   667  	{2264139853421527858, 209279024841067836},
   668  	{16568707141704863579, 167423219872854268},
   669  	{4373838538276319787, 267877151796566830},
   670  	{3499070830621055830, 214301721437253464},
   671  	{6488605479238754987, 171441377149802771},
   672  	{3003071137298187333, 274306203439684434},
   673  	{6091805724580460189, 219444962751747547},
   674  	{15941491023890099121, 175555970201398037},
   675  	{10748990379256517301, 280889552322236860},
   676  	{8599192303405213841, 224711641857789488},
   677  	{14258051472207991719, 179769313486231590},
   678  }