// Translated from C to Rust. The original C code can be found at
// https://github.com/ulfjack/ryu and carries the following license:
//
// Copyright 2018 Ulf Adams
//
// The contents of this file may be used under the terms of the Apache License,
// Version 2.0.
//
//    (See accompanying file LICENSE-Apache or copy at
//     http://www.apache.org/licenses/LICENSE-2.0)
//
// Alternatively, the contents of this file may be used under the terms of
// the Boost Software License, Version 1.0.
//    (See accompanying file LICENSE-Boost or copy at
//     https://www.boost.org/LICENSE_1_0.txt)
//
// Unless required by applicable law or agreed to in writing, this software
// is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
// KIND, either express or implied.

pub static DOUBLE_POW5_INV_SPLIT: [(u64, u64); 292] = [
    (1, 288230376151711744),
    (3689348814741910324, 230584300921369395),
    (2951479051793528259, 184467440737095516),
    (17118578500402463900, 147573952589676412),
    (12632330341676300947, 236118324143482260),
    (10105864273341040758, 188894659314785808),
    (15463389048156653253, 151115727451828646),
    (17362724847566824558, 241785163922925834),
    (17579528692795369969, 193428131138340667),
    (6684925324752475329, 154742504910672534),
    (18074578149087781173, 247588007857076054),
    (18149011334012135262, 198070406285660843),
    (3451162622983977240, 158456325028528675),
    (5521860196774363583, 253530120045645880),
    (4417488157419490867, 202824096036516704),
    (7223339340677503017, 162259276829213363),
    (7867994130342094503, 259614842926741381),
    (2605046489531765280, 207691874341393105),
    (2084037191625412224, 166153499473114484),
    (10713157136084480204, 265845599156983174),
    (12259874523609494487, 212676479325586539),
    (13497248433629505913, 170141183460469231),
    (14216899864323388813, 272225893536750770),
    (11373519891458711051, 217780714829400616),
    (5409467098425058518, 174224571863520493),
    (4965798542738183305, 278759314981632789),
    (7661987648932456967, 223007451985306231),
    (2440241304404055250, 178405961588244985),
    (3904386087046488400, 285449538541191976),
    (17880904128604832013, 228359630832953580),
    (14304723302883865611, 182687704666362864),
    (15133127457049002812, 146150163733090291),
    (16834306301794583852, 233840261972944466),
    (9778096226693756759, 187072209578355573),
    (15201174610838826053, 149657767662684458),
    (2185786488890659746, 239452428260295134),
    (5437978005854438120, 191561942608236107),
    (15418428848909281466, 153249554086588885),
    (6222742084545298729, 245199286538542217),
    (16046240111861969953, 196159429230833773),
    (1768945645263844993, 156927543384667019),
    (10209010661905972635, 251084069415467230),
    (8167208529524778108, 200867255532373784),
    (10223115638361732810, 160693804425899027),
    (1599589762411131202, 257110087081438444),
    (4969020624670815285, 205688069665150755),
    (3975216499736652228, 164550455732120604),
    (13739044029062464211, 263280729171392966),
    (7301886408508061046, 210624583337114373),
    (13220206756290269483, 168499666669691498),
    (17462981995322520850, 269599466671506397),
    (6591687966774196033, 215679573337205118),
    (12652048002903177473, 172543658669764094),
    (9175230360419352987, 276069853871622551),
    (3650835473593572067, 220855883097298041),
    (17678063637842498946, 176684706477838432),
    (13527506561580357021, 282695530364541492),
    (3443307619780464970, 226156424291633194),
    (6443994910566282300, 180925139433306555),
    (5155195928453025840, 144740111546645244),
    (15627011115008661990, 231584178474632390),
    (12501608892006929592, 185267342779705912),
    (2622589484121723027, 148213874223764730),
    (4196143174594756843, 237142198758023568),
    (10735612169159626121, 189713759006418854),
    (12277838550069611220, 151771007205135083),
    (15955192865369467629, 242833611528216133),
    (1696107848069843133, 194266889222572907),
    (12424932722681605476, 155413511378058325),
    (1433148282581017146, 248661618204893321),
    (15903913885032455010, 198929294563914656),
    (9033782293284053685, 159143435651131725),
    (14454051669254485895, 254629497041810760),
    (11563241335403588716, 203703597633448608),
    (16629290697806691620, 162962878106758886),
    (781423413297334329, 260740604970814219),
    (4314487545379777786, 208592483976651375),
    (3451590036303822229, 166873987181321100),
    (5522544058086115566, 266998379490113760),
    (4418035246468892453, 213598703592091008),
    (10913125826658934609, 170878962873672806),
    (10082303693170474728, 273406340597876490),
    (8065842954536379782, 218725072478301192),
    (17520720807854834795, 174980057982640953),
    (5897060404116273733, 279968092772225526),
    (1028299508551108663, 223974474217780421),
    (15580034865808528224, 179179579374224336),
    (17549358155809824511, 286687326998758938),
    (2971440080422128639, 229349861599007151),
    (17134547323305344204, 183479889279205720),
    (13707637858644275364, 146783911423364576),
    (14553522944347019935, 234854258277383322),
    (4264120725993795302, 187883406621906658),
    (10789994210278856888, 150306725297525326),
    (9885293106962350374, 240490760476040522),
    (529536856086059653, 192392608380832418),
    (7802327114352668369, 153914086704665934),
    (1415676938738538420, 246262538727465495),
    (1132541550990830736, 197010030981972396),
    (15663428499760305882, 157608024785577916),
    (17682787970132668764, 252172839656924666),
    (10456881561364224688, 201738271725539733),
    (15744202878575200397, 161390617380431786),
    (17812026976236499989, 258224987808690858),
    (3181575136763469022, 206579990246952687),
    (13613306553636506187, 165263992197562149),
    (10713244041592678929, 264422387516099439),
    (12259944048016053467, 211537910012879551),
    (6118606423670932450, 169230328010303641),
    (2411072648389671274, 270768524816485826),
    (16686253377679378312, 216614819853188660),
    (13349002702143502650, 173291855882550928),
    (17669055508687693916, 277266969412081485),
    (14135244406950155133, 221813575529665188),
    (240149081334393137, 177450860423732151),
    (11452284974360759988, 283921376677971441),
    (5472479164746697667, 227137101342377153),
    (11756680961281178780, 181709681073901722),
    (2026647139541122378, 145367744859121378),
    (18000030682233437097, 232588391774594204),
    (18089373360528660001, 186070713419675363),
    (3403452244197197031, 148856570735740291),
    (16513570034941246220, 238170513177184465),
    (13210856027952996976, 190536410541747572),
    (3189987192878576934, 152429128433398058),
    (1414630693863812771, 243886605493436893),
    (8510402184574870864, 195109284394749514),
    (10497670562401807014, 156087427515799611),
    (9417575270359070576, 249739884025279378),
    (14912757845771077107, 199791907220223502),
    (4551508647133041040, 159833525776178802),
    (10971762650154775986, 255733641241886083),
    (16156107749607641435, 204586912993508866),
    (9235537384944202825, 163669530394807093),
    (11087511001168814197, 261871248631691349),
    (12559357615676961681, 209496998905353079),
    (13736834907283479668, 167597599124282463),
    (18289587036911657145, 268156158598851941),
    (10942320814787415393, 214524926879081553),
    (16132554281313752961, 171619941503265242),
    (11054691591134363444, 274591906405224388),
    (16222450902391311402, 219673525124179510),
    (12977960721913049122, 175738820099343608),
    (17075388340318968271, 281182112158949773),
    (2592264228029443648, 224945689727159819),
    (5763160197165465241, 179956551781727855),
    (9221056315464744386, 287930482850764568),
    (14755542681855616155, 230344386280611654),
    (15493782960226403247, 184275509024489323),
    (1326979923955391628, 147420407219591459),
    (9501865507812447252, 235872651551346334),
    (11290841220991868125, 188698121241077067),
    (1653975347309673853, 150958496992861654),
    (10025058185179298811, 241533595188578646),
    (4330697733401528726, 193226876150862917),
    (14532604630946953951, 154581500920690333),
    (1116074521063664381, 247330401473104534),
    (4582208431592841828, 197864321178483627),
    (14733813189500004432, 158291456942786901),
    (16195403473716186445, 253266331108459042),
    (5577625149489128510, 202613064886767234),
    (8151448934333213131, 162090451909413787),
    (16731667109675051333, 259344723055062059),
    (17074682502481951390, 207475778444049647),
    (6281048372501740465, 165980622755239718),
    (6360328581260874421, 265568996408383549),
    (8777611679750609860, 212455197126706839),
    (10711438158542398211, 169964157701365471),
    (9759603424184016492, 271942652322184754),
    (11497031554089123517, 217554121857747803),
    (16576322872755119460, 174043297486198242),
    (11764721337440549842, 278469275977917188),
    (16790474699436260520, 222775420782333750),
    (13432379759549008416, 178220336625867000),
    (3045063541568861850, 285152538601387201),
    (17193446092222730773, 228122030881109760),
    (13754756873778184618, 182497624704887808),
    (18382503128506368341, 145998099763910246),
    (3586563302416817083, 233596959622256395),
    (2869250641933453667, 186877567697805116),
    (17052795772514404226, 149502054158244092),
    (12527077977055405469, 239203286653190548),
    (17400360011128145022, 191362629322552438),
    (2852241564676785048, 153090103458041951),
    (15631632947708587046, 244944165532867121),
    (8815957543424959314, 195955332426293697),
    (18120812478965698421, 156764265941034957),
    (14235904707377476180, 250822825505655932),
    (4010026136418160298, 200658260404524746),
    (17965416168102169531, 160526608323619796),
    (2919224165770098987, 256842573317791675),
    (2335379332616079190, 205474058654233340),
    (1868303466092863352, 164379246923386672),
    (6678634360490491686, 263006795077418675),
    (5342907488392393349, 210405436061934940),
    (4274325990713914679, 168324348849547952),
    (10528270399884173809, 269318958159276723),
    (15801313949391159694, 215455166527421378),
    (1573004715287196786, 172364133221937103),
    (17274202803427156150, 275782613155099364),
    (17508711057483635243, 220626090524079491),
    (10317620031244997871, 176500872419263593),
    (12818843235250086271, 282401395870821749),
    (13944423402941979340, 225921116696657399),
    (14844887537095493795, 180736893357325919),
    (15565258844418305359, 144589514685860735),
    (6457670077359736959, 231343223497377177),
    (16234182506113520537, 185074578797901741),
    (9297997190148906106, 148059663038321393),
    (11187446689496339446, 236895460861314229),
    (12639306166338981880, 189516368689051383),
    (17490142562555006151, 151613094951241106),
    (2158786396894637579, 242580951921985771),
    (16484424376483351356, 194064761537588616),
    (9498190686444770762, 155251809230070893),
    (11507756283569722895, 248402894768113429),
    (12895553841597688639, 198722315814490743),
    (17695140702761971558, 158977852651592594),
    (17244178680193423523, 254364564242548151),
    (10105994129412828495, 203491651394038521),
    (4395446488788352473, 162793321115230817),
    (10722063196803274280, 260469313784369307),
    (1198952927958798777, 208375451027495446),
    (15716557601334680315, 166700360821996356),
    (17767794532651667857, 266720577315194170),
    (14214235626121334286, 213376461852155336),
    (7682039686155157106, 170701169481724269),
    (1223217053622520399, 273121871170758831),
    (15735968901865657612, 218497496936607064),
    (16278123936234436413, 174797997549285651),
    (219556594781725998, 279676796078857043),
    (7554342905309201445, 223741436863085634),
    (9732823138989271479, 178993149490468507),
    (815121763415193074, 286389039184749612),
    (11720143854957885429, 229111231347799689),
    (13065463898708218666, 183288985078239751),
    (6763022304224664610, 146631188062591801),
    (3442138057275642729, 234609900900146882),
    (13821756890046245153, 187687920720117505),
    (11057405512036996122, 150150336576094004),
    (6623802375033462826, 240240538521750407),
    (16367088344252501231, 192192430817400325),
    (13093670675402000985, 153753944653920260),
    (2503129006933649959, 246006311446272417),
    (13070549649772650937, 196805049157017933),
    (17835137349301941396, 157444039325614346),
    (2710778055689733971, 251910462920982955),
    (2168622444551787177, 201528370336786364),
    (5424246770383340065, 161222696269429091),
    (1300097203129523457, 257956314031086546),
    (15797473021471260058, 206365051224869236),
    (8948629602435097724, 165092040979895389),
    (3249760919670425388, 264147265567832623),
    (9978506365220160957, 211317812454266098),
    (15361502721659949412, 169054249963412878),
    (2442311466204457120, 270486799941460606),
    (16711244431931206989, 216389439953168484),
    (17058344360286875914, 173111551962534787),
    (12535955717491360170, 276978483140055660),
    (10028764573993088136, 221582786512044528),
    (15401709288678291155, 177266229209635622),
    (9885339602917624555, 283625966735416996),
    (4218922867592189321, 226900773388333597),
    (14443184738299482427, 181520618710666877),
    (4175850161155765295, 145216494968533502),
    (10370709072591134795, 232346391949653603),
    (15675264887556728482, 185877113559722882),
    (5161514280561562140, 148701690847778306),
    (879725219414678777, 237922705356445290),
    (703780175531743021, 190338164285156232),
    (11631070584651125387, 152270531428124985),
    (162968861732249003, 243632850284999977),
    (11198421533611530172, 194906280227999981),
    (5269388412147313814, 155925024182399985),
    (8431021459435702103, 249480038691839976),
    (3055468352806651359, 199584030953471981),
    (17201769941212962380, 159667224762777584),
    (16454785461715008838, 255467559620444135),
    (13163828369372007071, 204374047696355308),
    (17909760324981426303, 163499238157084246),
    (2830174816776909822, 261598781051334795),
    (2264139853421527858, 209279024841067836),
    (16568707141704863579, 167423219872854268),
    (4373838538276319787, 267877151796566830),
    (3499070830621055830, 214301721437253464),
    (6488605479238754987, 171441377149802771),
    (3003071137298187333, 274306203439684434),
    (6091805724580460189, 219444962751747547),
    (15941491023890099121, 175555970201398037),
    (10748990379256517301, 280889552322236860),
    (8599192303405213841, 224711641857789488),
    (14258051472207991719, 179769313486231590),
];

pub static DOUBLE_POW5_SPLIT: [(u64, u64); 326] = [
    (0, 72057594037927936),
    (0, 90071992547409920),
    (0, 112589990684262400),
    (0, 140737488355328000),
    (0, 87960930222080000),
    (0, 109951162777600000),
    (0, 137438953472000000),
    (0, 85899345920000000),
    (0, 107374182400000000),
    (0, 134217728000000000),
    (0, 83886080000000000),
    (0, 104857600000000000),
    (0, 131072000000000000),
    (0, 81920000000000000),
    (0, 102400000000000000),
    (0, 128000000000000000),
    (0, 80000000000000000),
    (0, 100000000000000000),
    (0, 125000000000000000),
    (0, 78125000000000000),
    (0, 97656250000000000),
    (0, 122070312500000000),
    (0, 76293945312500000),
    (0, 95367431640625000),
    (0, 119209289550781250),
    (4611686018427387904, 74505805969238281),
    (10376293541461622784, 93132257461547851),
    (8358680908399640576, 116415321826934814),
    (612489549322387456, 72759576141834259),
    (14600669991935148032, 90949470177292823),
    (13639151471491547136, 113686837721616029),
    (3213881284082270208, 142108547152020037),
    (4314518811765112832, 88817841970012523),
    (781462496279003136, 111022302462515654),
    (10200200157203529728, 138777878078144567),
    (13292654125893287936, 86736173798840354),
    (7392445620511834112, 108420217248550443),
    (4628871007212404736, 135525271560688054),
    (16728102434789916672, 84703294725430033),
    (7075069988205232128, 105879118406787542),
    (18067209522111315968, 132348898008484427),
    (8986162942105878528, 82718061255302767),
    (6621017659204960256, 103397576569128459),
    (3664586055578812416, 129246970711410574),
    (16125424340018921472, 80779356694631608),
    (1710036351314100224, 100974195868289511),
    (15972603494424788992, 126217744835361888),
    (9982877184015493120, 78886090522101180),
    (12478596480019366400, 98607613152626475),
    (10986559581596820096, 123259516440783094),
    (2254913720070624656, 77037197775489434),
    (12042014186943056628, 96296497219361792),
    (15052517733678820785, 120370621524202240),
    (9407823583549262990, 75231638452626400),
    (11759779479436578738, 94039548065783000),
    (14699724349295723422, 117549435082228750),
    (4575641699882439235, 73468396926392969),
    (10331238143280436948, 91835496157991211),
    (8302361660673158281, 114794370197489014),
    (1154580038986672043, 143492962746861268),
    (9944984561221445835, 89683101716788292),
    (12431230701526807293, 112103877145985365),
    (1703980321626345405, 140129846432481707),
    (17205888765512323542, 87581154020301066),
    (12283988920035628619, 109476442525376333),
    (1519928094762372062, 136845553156720417),
    (12479170105294952299, 85528470722950260),
    (15598962631618690374, 106910588403687825),
    (5663645234241199255, 133638235504609782),
    (17374836326682913246, 83523897190381113),
    (7883487353071477846, 104404871487976392),
    (9854359191339347308, 130506089359970490),
    (10770660513014479971, 81566305849981556),
    (13463325641268099964, 101957882312476945),
    (2994098996302961243, 127447352890596182),
    (15706369927971514489, 79654595556622613),
    (5797904354682229399, 99568244445778267),
    (2635694424925398845, 124460305557222834),
    (6258995034005762182, 77787690973264271),
    (3212057774079814824, 97234613716580339),
    (17850130272881932242, 121543267145725423),
    (18073860448192289507, 75964541966078389),
    (8757267504958198172, 94955677457597987),
    (6334898362770359811, 118694596821997484),
    (13182683513586250689, 74184123013748427),
    (11866668373555425458, 92730153767185534),
    (5609963430089506015, 115912692208981918),
    (17341285199088104971, 72445432630613698),
    (12453234462005355406, 90556790788267123),
    (10954857059079306353, 113195988485333904),
    (13693571323849132942, 141494985606667380),
    (17781854114260483896, 88434366004167112),
    (3780573569116053255, 110542957505208891),
    (114030942967678664, 138178696881511114),
    (4682955357782187069, 86361685550944446),
    (15077066234082509644, 107952106938680557),
    (5011274737320973344, 134940133673350697),
    (14661261756894078100, 84337583545844185),
    (4491519140835433913, 105421979432305232),
    (5614398926044292391, 131777474290381540),
    (12732371365632458552, 82360921431488462),
    (6692092170185797382, 102951151789360578),
    (17588487249587022536, 128688939736700722),
    (15604490549419276989, 80430587335437951),
    (14893927168346708332, 100538234169297439),
    (14005722942005997511, 125672792711621799),
    (15671105866394830300, 78545495444763624),
    (1142138259283986260, 98181869305954531),
    (15262730879387146537, 122727336632443163),
    (7233363790403272633, 76704585395276977),
    (13653390756431478696, 95880731744096221),
    (3231680390257184658, 119850914680120277),
    (4325643253124434363, 74906821675075173),
    (10018740084832930858, 93633527093843966),
    (3300053069186387764, 117041908867304958),
    (15897591223523656064, 73151193042065598),
    (10648616992549794273, 91438991302581998),
    (4087399203832467033, 114298739128227498),
    (14332621041645359599, 142873423910284372),
    (18181260187883125557, 89295889943927732),
    (4279831161144355331, 111619862429909666),
    (14573160988285219972, 139524828037387082),
    (13719911636105650386, 87203017523366926),
    (7926517508277287175, 109003771904208658),
    (684774848491833161, 136254714880260823),
    (7345513307948477581, 85159196800163014),
    (18405263671790372785, 106448996000203767),
    (18394893571310578077, 133061245000254709),
    (13802651491282805250, 83163278125159193),
    (3418256308821342851, 103954097656448992),
    (4272820386026678563, 129942622070561240),
    (2670512741266674102, 81214138794100775),
    (17173198981865506339, 101517673492625968),
    (3019754653622331308, 126897091865782461),
    (4193189667727651020, 79310682416114038),
    (14464859121514339583, 99138353020142547),
    (13469387883465536574, 123922941275178184),
    (8418367427165960359, 77451838296986365),
    (15134645302384838353, 96814797871232956),
    (471562554271496325, 121018497339041196),
    (9518098633274461011, 75636560836900747),
    (7285937273165688360, 94545701046125934),
    (18330793628311886258, 118182126307657417),
    (4539216990053847055, 73863828942285886),
    (14897393274422084627, 92329786177857357),
    (4786683537745442072, 115412232722321697),
    (14520892257159371055, 72132645451451060),
    (18151115321449213818, 90165806814313825),
    (8853836096529353561, 112707258517892282),
    (1843923083806916143, 140884073147365353),
    (12681666973447792349, 88052545717103345),
    (2017025661527576725, 110065682146379182),
    (11744654113764246714, 137582102682973977),
    (422879793461572340, 85988814176858736),
    (528599741826965425, 107486017721073420),
    (660749677283706782, 134357522151341775),
    (7330497575943398595, 83973451344588609),
    (13774807988356636147, 104966814180735761),
    (3383451930163631472, 131208517725919702),
    (15949715511634433382, 82005323578699813),
    (6102086334260878016, 102506654473374767),
    (3015921899398709616, 128133318091718459),
    (18025852251620051174, 80083323807324036),
    (4085571240815512351, 100104154759155046),
    (14330336087874166247, 125130193448943807),
    (15873989082562435760, 78206370905589879),
    (15230800334775656796, 97757963631987349),
    (5203442363187407284, 122197454539984187),
    (946308467778435600, 76373409087490117),
    (5794571603150432404, 95466761359362646),
    (16466586540792816313, 119333451699203307),
    (7985773578781816244, 74583407312002067),
    (5370530955049882401, 93229259140002584),
    (6713163693812353001, 116536573925003230),
    (18030785363914884337, 72835358703127018),
    (13315109668038829614, 91044198378908773),
    (2808829029766373305, 113805247973635967),
    (17346094342490130344, 142256559967044958),
    (6229622945628943561, 88910349979403099),
    (3175342663608791547, 111137937474253874),
    (13192550366365765242, 138922421842817342),
    (3633657960551215372, 86826513651760839),
    (18377130505971182927, 108533142064701048),
    (4524669058754427043, 135666427580876311),
    (9745447189362598758, 84791517238047694),
    (2958436949848472639, 105989396547559618),
    (12921418224165366607, 132486745684449522),
    (12687572408530742033, 82804216052780951),
    (11247779492236039638, 103505270065976189),
    (224666310012885835, 129381587582470237),
    (2446259452971747599, 80863492239043898),
    (12281196353069460307, 101079365298804872),
    (15351495441336825384, 126349206623506090),
    (14206370669262903769, 78968254139691306),
    (8534591299723853903, 98710317674614133),
    (15279925143082205283, 123387897093267666),
    (14161639232853766206, 77117435683292291),
    (13090363022639819853, 96396794604115364),
    (16362953778299774816, 120495993255144205),
    (12532689120651053212, 75309995784465128),
    (15665861400813816515, 94137494730581410),
    (10358954714162494836, 117671868413226763),
    (4168503687137865320, 73544917758266727),
    (598943590494943747, 91931147197833409),
    (5360365506546067587, 114913933997291761),
    (11312142901609972388, 143642417496614701),
    (9375932322719926695, 89776510935384188),
    (11719915403399908368, 112220638669230235),
    (10038208235822497557, 140275798336537794),
    (10885566165816448877, 87672373960336121),
    (18218643725697949000, 109590467450420151),
    (18161618638695048346, 136988084313025189),
    (13656854658398099168, 85617552695640743),
    (12459382304570236056, 107021940869550929),
    (1739169825430631358, 133777426086938662),
    (14922039196176308311, 83610891304336663),
    (14040862976792997485, 104513614130420829),
    (3716020665709083144, 130642017663026037),
    (4628355925281870917, 81651261039391273),
    (10397130925029726550, 102064076299239091),
    (8384727637859770284, 127580095374048864),
    (5240454773662356427, 79737559608780540),
    (6550568467077945534, 99671949510975675),
    (3576524565420044014, 124589936888719594),
    (6847013871814915412, 77868710555449746),
    (17782139376623420074, 97335888194312182),
    (13004302183924499284, 121669860242890228),
    (17351060901807587860, 76043662651806392),
    (3242082053549933210, 95054578314757991),
    (17887660622219580224, 118818222893447488),
    (11179787888887237640, 74261389308404680),
    (13974734861109047050, 92826736635505850),
    (8245046539531533005, 116033420794382313),
    (16682369133275677888, 72520887996488945),
    (7017903361312433648, 90651109995611182),
    (17995751238495317868, 113313887494513977),
    (8659630992836983623, 141642359368142472),
    (5412269370523114764, 88526474605089045),
    (11377022731581281359, 110658093256361306),
    (4997906377621825891, 138322616570451633),
    (14652906532082110942, 86451635356532270),
    (9092761128247862869, 108064544195665338),
    (2142579373455052779, 135080680244581673),
    (12868327154477877747, 84425425152863545),
    (2250350887815183471, 105531781441079432),
    (2812938609768979339, 131914726801349290),
    (6369772649532999991, 82446704250843306),
    (17185587848771025797, 103058380313554132),
    (3035240737254230630, 128822975391942666),
    (6508711479211282048, 80514359619964166),
    (17359261385868878368, 100642949524955207),
    (17087390713908710056, 125803686906194009),
    (3762090168551861929, 78627304316371256),
    (4702612710689827411, 98284130395464070),
    (15101637925217060072, 122855162994330087),
    (16356052730901744401, 76784476871456304),
    (1998321839917628885, 95980596089320381),
    (7109588318324424010, 119975745111650476),
    (13666864735807540814, 74984840694781547),
    (12471894901332038114, 93731050868476934),
    (6366496589810271835, 117163813585596168),
    (3979060368631419896, 73227383490997605),
    (9585511479216662775, 91534229363747006),
    (2758517312166052660, 114417786704683758),
    (12671518677062341634, 143022233380854697),
    (1002170145522881665, 89388895863034186),
    (10476084718758377889, 111736119828792732),
    (13095105898447972362, 139670149785990915),
    (5878598177316288774, 87293843616244322),
    (16571619758500136775, 109117304520305402),
    (11491152661270395161, 136396630650381753),
    (264441385652915120, 85247894156488596),
    (330551732066143900, 106559867695610745),
    (5024875683510067779, 133199834619513431),
    (10058076329834874218, 83249896637195894),
    (3349223375438816964, 104062370796494868),
    (4186529219298521205, 130077963495618585),
    (14145795808130045513, 81298727184761615),
    (13070558741735168987, 101623408980952019),
    (11726512408741573330, 127029261226190024),
    (7329070255463483331, 79393288266368765),
    (13773023837756742068, 99241610332960956),
    (17216279797195927585, 124052012916201195),
    (8454331864033760789, 77532508072625747),
    (5956228811614813082, 96915635090782184),
    (7445286014518516353, 121144543863477730),
    (9264989777501460624, 75715339914673581),
    (16192923240304213684, 94644174893341976),
    (1794409976670715490, 118305218616677471),
    (8039035263060279037, 73940761635423419),
    (5437108060397960892, 92425952044279274),
    (16019757112352226923, 115532440055349092),
    (788976158365366019, 72207775034593183),
    (14821278253238871236, 90259718793241478),
    (9303225779693813237, 112824648491551848),
    (11629032224617266546, 141030810614439810),
    (11879831158813179495, 88144256634024881),
    (1014730893234310657, 110180320792531102),
    (10491785653397664129, 137725400990663877),
    (8863209042587234033, 86078375619164923),
    (6467325284806654637, 107597969523956154),
    (17307528642863094104, 134497461904945192),
    (10817205401789433815, 84060913690590745),
    (18133192770664180173, 105076142113238431),
    (18054804944902837312, 131345177641548039),
    (18201782118205355176, 82090736025967524),
    (4305483574047142354, 102613420032459406),
    (14605226504413703751, 128266775040574257),
    (2210737537617482988, 80166734400358911),
    (16598479977304017447, 100208418000448638),
    (11524727934775246001, 125260522500560798),
    (2591268940807140847, 78287826562850499),
    (17074144231291089770, 97859783203563123),
    (16730994270686474309, 122324729004453904),
    (10456871419179046443, 76452955627783690),
    (3847717237119032246, 95566194534729613),
    (9421332564826178211, 119457743168412016),
    (5888332853016361382, 74661089480257510),
    (16583788103125227536, 93326361850321887),
    (16118049110479146516, 116657952312902359),
    (16991309721690548428, 72911220195563974),
    (12015765115258409727, 91139025244454968),
    (15019706394073012159, 113923781555568710),
    (9551260955736489391, 142404726944460888),
    (5969538097335305869, 89002954340288055),
    (2850236603241744433, 111253692925360069),
];