1 files changed, 643 insertions, 0 deletions
diff --git a/third_party/rust/ryu/src/d2s_full_table.rs b/third_party/rust/ryu/src/d2s_full_table.rs
new file mode 100644
index 0000000000..eac50dcfc8
--- /dev/null
+++ b/third_party/rust/ryu/src/d2s_full_table.rs
@@ -0,0 +1,643 @@
+// 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),
+];