| // 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), |
| ]; |
