ryu/
d2s_full_table.rs

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