rscrypto 0.1.1

Pure Rust cryptography, hardware-accelerated: BLAKE3, SHA-2/3, AES-GCM, ChaCha20-Poly1305, Ed25519, X25519, HMAC, HKDF, Argon2, CRC. no_std, WASM, ten CPU architectures.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525

//! Precomputed wNAF(8) basepoint table for IFMA Ed25519 verify.
//!
//! 64 entries: `[B, 3B, 5B, ..., 127B]` in Hamburg-scaled cached format.
//! Each entry is 5 limbs × 4 lanes (radix-2^51), matching `CachedPointIfma`.
//!
//! Lanes: `(d2·(Y−X), d2·(Y+X), 2·d2·Z, −2·d1·T)`.
//!
//! Generated from the canonical Ed25519 basepoint using portable scalar math.
//! Validated by `gen_basepoint_wnaf8_ifma_table` test in `point.rs`.
#![allow(clippy::unreadable_literal)]

pub(crate) static BASEPOINT_WNAF8_IFMA_RAW: [[[i64; 4]; 5]; 64] = [
  // 1B
  [
    [1277522120965857, 73557767439946, 243332, 1943719795065404],
    [108375142003455, 341984820733594, 0, 2097709862669256],
    [150073485536043, 750646439938056, 0, 581130035634455],
    [2149983732744869, 1903255931888577, 0, 646644904824193],
    [291045673509296, 1060034214701851, 0, 325245010451737],
  ],
  // 3B
  [
    [1582161270588119, 875672844322241, 233114202722766, 1649646415010529],
    [54000896512460, 2017437889623752, 1794726300953461, 1608777399297649],
    [1088927143596288, 2000363083984049, 1023085021907824, 433180798260372],
    [814308551462925, 432451317295541, 852768091968142, 1388984617368433],
    [1858193489365188, 719121712521788, 498786399386591, 375481393040777],
  ],
  // 5B
  [
    [1756490922933767, 557965432443477, 1954593098773210, 739149422042809],
    [2197774014685738, 1259683302354772, 1406555490957525, 2030483080483359],
    [1067555750581416, 1915546441253795, 1599263045275106, 37065637176421],
    [740814948533954, 1233492089791291, 631314035719863, 640296949043229],
    [2218384163257530, 197894243761672, 1595524026553305, 1898584577749935],
  ],
  // 7B
  [
    [1655593623289753, 468188785950427, 1284367033483888, 818800557353749],
    [1432648266132252, 1276816794355033, 1843412825160681, 995721745997769],
    [1413800334045237, 1847076933910222, 1141904654399807, 1475083791857854],
    [986994793275118, 825031056048647, 1074140321878260, 1909308463877471],
    [1329518956617221, 301337294120592, 680999553796289, 1127438843169673],
  ],
  // 9B
  [
    [1567551457131336, 795982151802669, 921311012304026, 875118961950558],
    [512448231452461, 257074643169355, 973919912899569, 67321317055275],
    [1454948538919659, 1885610381565396, 1977225793407558, 359261122159966],
    [1265578927931541, 1540085067845888, 2117792532797545, 677072255729958],
    [1666121256197154, 2213027670433075, 1215557824340883, 1128030661946487],
  ],
  // 11B
  [
    [1406951823167413, 1523860968648567, 1999478177340722, 557614043910960],
    [1895740677650734, 1169822288881460, 959251972141157, 700655435122083],
    [1516953170653977, 834961490447223, 1477159685815312, 505890540957241],
    [1614012088788882, 321227365270044, 1550824154053464, 1137752032850251],
    [1531992592412630, 1190891918008562, 1288281022196174, 2152041146063444],
  ],
  // 13B
  [
    [707177229122574, 721831999819304, 1267342287563488, 1648994385504480],
    [780134938051920, 803823502022642, 308824749622753, 1571984561044493],
    [123158337861778, 866050839276675, 1749933496626835, 254670113641409],
    [1607762693333478, 970952950273126, 1213448320061605, 1012407944156164],
    [1397896307226343, 654627949408088, 30752087203726, 781556503876428],
  ],
  // 15B
  [
    [946021104428650, 1341563405694697, 1000456173085345, 644087714294333],
    [1371297859234443, 2241799372993253, 1424311567681873, 2193342309075450],
    [250400876534184, 347176293660229, 634570241608933, 1074306847859360],
    [639056224939913, 385485784738175, 1876848077191889, 180018294880209],
    [829053726123166, 344732449955818, 301309226367394, 1602208025608110],
  ],
  // 17B
  [
    [1528114707801602, 2221622819593834, 3551849379420, 2070969977754627],
    [1505607265405239, 1278492560894293, 2034569569588022, 247098792211345],
    [88645634004362, 363343066327854, 471791852682559, 501397560247326],
    [472030761455676, 1040432680682085, 2134546363023702, 2105807969906666],
    [1399373013807123, 976703121373042, 1375773308354192, 529751453456578],
  ],
  // 19B
  [
    [1489825654440758, 833625110730083, 604603839062319, 248546258440663],
    [1110532412573109, 1297493900361627, 1619590128864354, 411535443346367],
    [543381341040824, 816171312676246, 1284246786188320, 1541881425057540],
    [178363656074359, 2074505660363435, 17453837452466, 535347146295245],
    [1260473790016922, 421177412731455, 1982859060242001, 969416162250135],
  ],
  // 21B
  [
    [64708127647254, 1128711692947636, 93577487398831, 181699404179985],
    [208203311351680, 1203942625469677, 793820850524228, 1439970577484954],
    [827865653708139, 1465186215052442, 893030571999874, 1569918748757879],
    [1432171637062015, 2196821857874452, 645890913835037, 2241939127153071],
    [1676478306466115, 1976587761997242, 83798899485153, 1628198813615582],
  ],
  // 23B
  [
    [1812845236313604, 245309240049011, 1239979829127492, 308327582005165],
    [1944710835067292, 2142157771625297, 662114798236492, 122132290035268],
    [1517180337921115, 612850318857772, 1238310362927213, 195491929709458],
    [1714635930881185, 491878353095717, 1466478508111981, 1206069311425203],
    [2194824091406393, 845902771236698, 815471479520075, 818070479154287],
  ],
  // 25B
  [
    [966749124258958, 46272182170453, 2091856085563458, 737188674682849],
    [165960860745825, 1962505366417202, 1716106985376017, 757065216708636],
    [183434466948123, 1295421026901958, 547034437731665, 1721928756874559],
    [117714636403032, 990471431173797, 958383151342767, 1262879151266696],
    [40645095197636, 1034445222586693, 1260588365549335, 494505884929402],
  ],
  // 27B
  [
    [1438077620007473, 1122146995565755, 429282206115008, 460144533667105],
    [1740864257100140, 228595014248311, 1198329188652433, 489935836162709],
    [904812246665724, 690389824118269, 54497280322059, 1103896461251462],
    [878642590751270, 315832965743190, 1212184419329036, 307588966086098],
    [1684422968352576, 635931246046986, 1662094990470704, 54181975801151],
  ],
  // 29B
  [
    [1209630327348504, 743505729351619, 849629783484805, 922312721195186],
    [556798776684410, 2082830905336753, 1802366112031530, 1878162117622686],
    [2120010582370104, 67957843264011, 2139697217803940, 562754515619200],
    [724618013207354, 2090774819620450, 2142157820699146, 1306785281988043],
    [577538636261304, 528968448800610, 1571202505279742, 694953382782756],
  ],
  // 31B
  [
    [1469980628067783, 847205920337468, 240694135798169, 498894566498041],
    [1706481136824529, 583384562749104, 180864438959085, 1069482003497418],
    [598981522528812, 1972952895999808, 1532544016332138, 2113239355372387],
    [1099101065527841, 1091231645564040, 242563233051372, 360880324823373],
    [1435280374756707, 1644011783888512, 1596857916367635, 1318733124803643],
  ],
  // 33B
  [
    [738347124501392, 374542207688063, 521849973253598, 560842037053686],
    [917860597817649, 1757903463055709, 810261415063085, 1994984419796181],
    [1008323287731179, 1088992841883392, 1841652692029936, 572463625339503],
    [1673721304546852, 1065907744726632, 1824384652059097, 677516226601490],
    [1421356468532644, 539349851662837, 925159407211236, 1636033783550824],
  ],
  // 35B
  [
    [668936547784941, 549879018041437, 1057305390987200, 1238392231489093],
    [331654835948841, 1621291101867858, 1135413592574439, 1620188251094741],
    [1612999170130585, 923060086831605, 2216404446718637, 126843723439550],
    [2195256056032909, 977816204620067, 1471316654952217, 2131000645009906],
    [2152284483277657, 149166313408142, 408165676771497, 1829673818634030],
  ],
  // 37B
  [
    [986839126403922, 1710585596215985, 97218462123880, 1680640676724740],
    [134025360959584, 986637006568197, 601685468310832, 1175788319210414],
    [1804116921509774, 1171419715077491, 896639940463566, 2140252172194960],
    [885798221895434, 668351385864431, 296590025874189, 900723486052001],
    [1879808612947145, 854769019953016, 750003112959176, 664876075162036],
  ],
  // 39B
  [
    [164433007542871, 1781487403382604, 1064994865887404, 2209690649614406],
    [2085104906429788, 2100172316717847, 1254990191304746, 148890474464969],
    [337852421560627, 1746463233619600, 355417297073939, 1474910631525375],
    [1414771860987862, 392093764710464, 1536443780569358, 1530091931698405],
    [312554940111051, 1929656561272525, 633833231432771, 392683614258491],
  ],
  // 41B
  [
    [914083103633259, 759518398864939, 1304218681353059, 329239588889205],
    [326437047139787, 785181251145348, 933131276851398, 2105929593436672],
    [1815811996664616, 1797931600365215, 1871804973554015, 1747463678139027],
    [2210067704611571, 2002908973957160, 671485023435775, 1206107482056062],
    [1505233669040826, 1458951606404481, 1329291890162308, 1476557145103231],
  ],
  // 43B
  [
    [847392992725682, 1342552684078594, 768544182298565, 459507794126324],
    [475025352465575, 797769926945870, 2176347593028951, 25690613275738],
    [413631219279621, 838118623945044, 879990429406172, 1081449603881784],
    [696809172188013, 1324601584641506, 340239333209284, 2080263083366735],
    [178622835844653, 1610475111766007, 1345533404878925, 1597102105359998],
  ],
  // 45B
  [
    [1822851551615007, 294752268021229, 1875520534648805, 1593941046388208],
    [808034105105359, 375710126923898, 1438229682361439, 15533324683767],
    [117384064871728, 1721589595968405, 1429368866935116, 1933984816664367],
    [883422812622655, 2066125667148447, 1187515096952645, 292061823824714],
    [1011105776063267, 212026281318072, 830026270494734, 1651198721318309],
  ],
  // 47B
  [
    [1544887428494754, 2204059171394877, 582664172240936, 634553298671981],
    [314658982080046, 177042611681170, 1359933602123409, 1423521073125473],
    [1372011579871288, 326146675775288, 1370382740385008, 1437130139371098],
    [1116947078758740, 44936123304783, 1908848873142409, 1111109032230856],
    [107608566040900, 531979155127087, 791640751391143, 2086659821344698],
  ],
  // 49B
  [
    [688279172331759, 1006628539209067, 1947762712011964, 268596899810302],
    [409975029316123, 14719981934523, 69014579656347, 995626316398005],
    [658585226302944, 1224486809056519, 51134905572522, 787337635522233],
    [604678199345852, 887024888547848, 1105423395426224, 956325343694739],
    [227311070194490, 57355778418601, 273831146658532, 1150222405054264],
  ],
  // 51B
  [
    [1209610610892764, 249112232480658, 535686479863479, 621620302868469],
    [2011613971345888, 167946788841343, 1109700589651037, 1451153680419148],
    [1470927777564737, 1555172696090090, 337761624932157, 2196123748846857],
    [1976182031703721, 1953950986192935, 2170665965530839, 1503549350904694],
    [1474512802741685, 2142779789679822, 337932553409712, 1392840258394916],
  ],
  // 53B
  [
    [1445996730328604, 59293187798452, 2244062320078877, 328675802165019],
    [694713021833013, 1067155538019728, 1141238113973414, 238857100946574],
    [1244907636267301, 1875986079939520, 30101729260661, 1140092019632026],
    [2051115749389887, 360973165650656, 1386441780543834, 1445551287292382],
    [872506829007131, 877515268809364, 1535405134152162, 140238224270384],
  ],
  // 55B
  [
    [318084243094969, 2208075723958257, 2195713516731822, 672846350831237],
    [642298732198660, 1169100329407825, 992047417460220, 157851059253123],
    [1481482431417258, 1231110567626385, 1818374739625195, 207544948077877],
    [1997618110766344, 1024567500575653, 1625489846803752, 939651966909914],
    [168349890091412, 782649544219852, 1844354606719773, 221407156210429],
  ],
  // 57B
  [
    [1911352049201283, 1423620766426100, 885789788800192, 604009771447314],
    [138367642156349, 662088080354431, 1737635711569281, 679354430370055],
    [1253769114968381, 182220411221585, 209451320692972, 1747882157385252],
    [356674566880461, 287436864978061, 1390896438726127, 1635582312036993],
    [1322767459790277, 1216335115627901, 836350794451652, 35937012273851],
  ],
  // 59B
  [
    [1858785203079460, 1128386349842183, 147302069007050, 1896421096304925],
    [1105888758804363, 1463794149922505, 595589859170772, 9942611387605],
    [1938532698967281, 1350750552635136, 311680686474046, 1623857755651340],
    [126272825099509, 2226225161834679, 1045726501971011, 1562391617480523],
    [821120598722948, 1455049225848187, 2105728826915448, 1254385097627282],
  ],
  // 61B
  [
    [1054396726661931, 1029642736902962, 317147025183582, 2116581523504120],
    [823391633870403, 1011757209277677, 1684343253938749, 1091756463423682],
    [2026283482338729, 2114770415908610, 1523361785852138, 1014555947269198],
    [1309728512009645, 2016917193234518, 408303912012581, 818258878071352],
    [2198940738182319, 325780058078702, 1603094481757239, 957262406640565],
  ],
  // 63B
  [
    [1266527984480860, 2240074619873326, 2165543997769447, 1304841588405160],
    [1125914511513675, 522162074165626, 1483911450822299, 707521646180208],
    [1854628521334167, 2073004977223880, 1253960019054135, 742460221243080],
    [2202833240293091, 387092844788217, 548668545801088, 1378724583217043],
    [718400935466697, 928073986630351, 471738720867957, 1609183583277454],
  ],
  // 65B
  [
    [533171505879201, 144332130463099, 2214877569775751, 1106919734364685],
    [1943641218035525, 354235477366451, 493609638504433, 269517202213803],
    [881911885198682, 176549584709842, 2015545370580601, 1556761410254309],
    [1684847223075068, 1519421381452893, 1232285284410499, 159380287175199],
    [2226361354281051, 1990796865800167, 232017381625939, 564390988596093],
  ],
  // 67B
  [
    [1161416372813040, 424143936070396, 1639787076132990, 2246990118761989],
    [692272587644172, 129237082318323, 678572335450679, 527567065068484],
    [2131846709681259, 1204715498154647, 751927071290967, 653291160869775],
    [863170372117055, 946856228084852, 972820885211798, 1680429130872895],
    [7896473634820, 2100829245008716, 1379114609729686, 1939033211437629],
  ],
  // 69B
  [
    [705420260234321, 1985609086282335, 1730603239859215, 97871481287574],
    [1407504698371257, 1674679472585143, 1454547106779285, 1730240091432706],
    [1258586391541614, 1781605475118558, 1745121563005073, 1032371527808853],
    [1024669510523478, 2079269628225400, 1450967840646711, 2235695937821173],
    [343334798018975, 1226746908483653, 803310961944027, 181521476070654],
  ],
  // 71B
  [
    [1994655578337062, 308109102952368, 308928969327571, 1273588548579610],
    [1871183641635502, 1611897364000154, 565077147988420, 880538963560815],
    [531270263151701, 28202828066469, 2003637283015141, 1910192359670581],
    [973386969792074, 1099937726658917, 1739006459200295, 1864851713651557],
    [284545645695616, 1574713553790278, 1716075175571190, 983010438439058],
  ],
  // 73B
  [
    [1832081269268801, 511262115009954, 1903975976399455, 12399614573614],
    [1983940442600078, 926166889747160, 57921746000812, 1997959310699648],
    [1275652695865931, 1480338802712968, 401387900812536, 377880446546396],
    [2032306037973172, 6647315471815, 1299293865382491, 2154766276875802],
    [1606162073015131, 2127104350003552, 1750355295890430, 262772358234764],
  ],
  // 75B
  [
    [333920652087755, 1410302944858963, 1631969949017195, 1474072852998674],
    [246518197860098, 279324209992397, 470668187993150, 1118524554126576],
    [1376033798707046, 1778959345691196, 1564016377075362, 1671369208255925],
    [1880800986371765, 2211723125570107, 1792634112524043, 1454549933907744],
    [1784470225829685, 1446955269404332, 634231417222326, 428591357818005],
  ],
  // 77B
  [
    [278405287768601, 982805513110406, 1193695123256540, 1446746608163144],
    [413496465641140, 7386007563037, 1666871692760894, 212088824226855],
    [543685779008864, 2060500232161762, 2079001165914665, 1775448079041321],
    [1182504806401773, 775510972454907, 566612908850831, 1847844837710941],
    [1034791414147906, 1503295773577980, 329257381670005, 1930338502489328],
  ],
  // 79B
  [
    [1471314000236975, 252094064318203, 1060521855099888, 1006244886149130],
    [1886809795590865, 1997092052461791, 1055075438669524, 179314214984564],
    [1619916609508243, 2143457080894566, 505817840962282, 243101495530109],
    [1859531887094145, 191381862302559, 264994946859576, 1083291458047789],
    [1292887476669404, 2222318077081750, 546619541051089, 1371875626240079],
  ],
  // 81B
  [
    [1271438812784448, 1324530234479490, 1747694055494226, 1004403690469821],
    [1053308187616623, 165721423513412, 1511100522998216, 1747591918726410],
    [1375233956635319, 165136131776347, 1267301072979003, 1793434364907184],
    [1699044000526078, 2090840680503222, 2236036035806650, 2109259588824909],
    [524014783002690, 533275945303621, 875371196556950, 409923600061259],
  ],
  // 83B
  [
    [561274170109621, 915380518394967, 797777101931980, 1323820490144431],
    [1466494632531373, 266399545499581, 981423364708400, 372533005159277],
    [2077102975759944, 1467873219413428, 493550636848294, 773714713583195],
    [39264926039517, 870166479013802, 1823388762987596, 2135333438692409],
    [22894104923682, 678317863991282, 1789483157823695, 1295614357623919],
  ],
  // 85B
  [
    [1522889501741524, 1338238871113752, 209136453150857, 1068447491354438],
    [1273135461619439, 559866155085060, 2094851565242142, 1421056800597665],
    [1233260572477242, 1259560560240434, 1776985932647290, 137065061821548],
    [794994161693043, 1553364059949963, 960013281552277, 1287094137085325],
    [1914042689779999, 1468017665711905, 59775320300977, 84680367527821],
  ],
  // 87B
  [
    [2091870127405680, 1591373598934151, 1986851313058794, 1350215552117823],
    [2039074577196375, 58226886388251, 2092345899704800, 2012956970601979],
    [1374065135124629, 319535187569741, 1192079463886839, 1286050205032533],
    [2190622154632821, 337340150020054, 1094780210713660, 741477400522950],
    [1866319590820127, 939597490175039, 201952210341869, 2192156009664495],
  ],
  // 89B
  [
    [1503464771565138, 118613636242553, 2200892478649500, 212454988111284],
    [830385279714937, 502340239100435, 308412379331046, 3687514227229],
    [1945458422906999, 1419205054401076, 1231376813527605, 368100697259259],
    [1332122905106607, 1270796074101876, 1504022097599202, 608933517775527],
    [2046553787760248, 2105340268333118, 1356503887447275, 1162817627169866],
  ],
  // 91B
  [
    [2011650129920940, 1670254224937463, 1819713314440701, 194428084061749],
    [318435989967856, 272889874404164, 119385716165300, 2008772502544296],
    [1016841057863217, 1879471760432142, 516823916624515, 641072832732493],
    [1218909137946233, 2184356143498497, 600428769525503, 1393525088688557],
    [1593316666014013, 572123399858379, 128899720212352, 1606160762576226],
  ],
  // 93B
  [
    [1692537137573499, 555078437452243, 728205760861114, 2206064853261821],
    [2242346511723963, 1064522139011818, 147330119977289, 1596031654362668],
    [1982218375910013, 1663632002121479, 1580985923686356, 2135432894791457],
    [1377124988873625, 1684628776552843, 655134729133210, 2228800703823936],
    [2035952794842292, 1973298979445345, 834893659244461, 322773892996284],
  ],
  // 95B
  [
    [389172600215576, 1720085022696638, 229007443229619, 494550878087117],
    [424647087641894, 1109892372428076, 1733766411936398, 246330877019979],
    [2165598433945507, 755068927994044, 1778664490295227, 1372913556073464],
    [1619982583331423, 123908302109970, 442031171948071, 686555963390641],
    [1876794510243582, 879028299208493, 2126310410330233, 225782272212955],
  ],
  // 97B
  [
    [1609442311211552, 1547190409051937, 1230474394344296, 222757540156962],
    [1795603832582188, 796930305132457, 499342178900791, 1538319682146140],
    [1590924189431573, 816143684656815, 83642041374500, 1210542191105824],
    [542903000534270, 1024830470974235, 994264845865231, 966391777279951],
    [1953504758199782, 1162341371224528, 825718891384068, 2064040808654022],
  ],
  // 99B
  [
    [880234777445360, 234064806654775, 1010205220566587, 2232177555741898],
    [1898104007102032, 730503947340872, 1766621134849788, 2058928731766055],
    [1269622028420768, 257700571076120, 1077328730267257, 616017405521829],
    [74767085163430, 2148069629339385, 737375972413397, 1939526923732261],
    [552577903237057, 1965704488683224, 1221194263264493, 1242942664638259],
  ],
  // 101B
  [
    [60933853015376, 1975133608938568, 615969288012809, 1828423676708497],
    [1171202033947088, 133567838680848, 1649929715126073, 1644314459600804],
    [262394040319095, 214329193298041, 1171869829026299, 1572026545084126],
    [1931396888447822, 726981053858646, 1587418244955719, 1992836487585713],
    [229699609193030, 1956189240169510, 1382725623658400, 19627496078336],
  ],
  // 103B
  [
    [1028814822302123, 1860612798282233, 437001954420273, 851838373778855],
    [767253375825660, 1736795945913583, 1703576326169015, 1143772608183731],
    [550987194727472, 418416076096226, 785509984779594, 998232037901307],
    [854828875523840, 56949957643504, 780294332991014, 247645082082554],
    [1681709776761420, 1107414244534793, 683951424723773, 2051305681339888],
  ],
  // 105B
  [
    [141817354059899, 1160013692324774, 1772284342755752, 381377908736697],
    [1709684220123330, 1155035730314591, 274502800332993, 1758294823783933],
    [1715795636703901, 847904488250438, 1472791245671444, 2180298543273167],
    [1581067782590716, 1346150977106751, 2096957143719937, 961965333172178],
    [1968898340168153, 287703647352922, 1975045776835731, 1813377506659908],
  ],
  // 107B
  [
    [866935049819295, 2093911920479970, 1626622255160433, 1813608871286513],
    [1392720742219865, 148066088959445, 198711957699387, 953871205256385],
    [832361130791297, 2003911100147750, 850317174853898, 1641929434406448],
    [1308611181933634, 1024051822377182, 1526557437173531, 1257504207950440],
    [2116250606548497, 385863221395253, 287236954662802, 471034134904873],
  ],
  // 109B
  [
    [906207238179242, 2158023966674502, 21077792445799, 1503349424125035],
    [2116808229206788, 1962790832932783, 2218144194203609, 1202388348916004],
    [913638297771628, 989054870555069, 1902172257400771, 23242920188869],
    [1940209978946706, 252192212958095, 1478235832941768, 1970763898121803],
    [2174320791070626, 569037641814837, 1629603355026931, 1888674781410353],
  ],
  // 111B
  [
    [234382569279490, 1108780987190568, 79005777065099, 2185837903482819],
    [422583641929324, 603114461584938, 529055005249437, 767795357348808],
    [1576219257879327, 646105709566154, 1558856640212644, 369107987032853],
    [1814232725477467, 1674806322731648, 2112083143996964, 1691056747275962],
    [535631534803808, 701387316180020, 1738301975688090, 1450272300888582],
  ],
  // 113B
  [
    [1059041108334158, 2109761995770992, 1101920457162937, 2235641677446433],
    [756575367172883, 198199543757324, 2170363438279828, 2096166832790787],
    [1292764908033847, 1658230579941003, 92261398565308, 468234862471164],
    [121591951485422, 1920230081229684, 1270574266702865, 2052697473063258],
    [1282261768879172, 509294229876387, 481825155347107, 158534167955075],
  ],
  // 115B
  [
    [284340195236110, 1975753453541327, 1509936151292692, 207196521767462],
    [515371647280418, 1316837288963217, 2094172885222692, 983731167213564],
    [1995691392267800, 1126033506092374, 1928696993443347, 1805592609894013],
    [101564720800357, 1165697742221841, 58073305822629, 617333995428977],
    [1391854429775886, 1043958970122776, 1594439835404120, 1147154971475877],
  ],
  // 117B
  [
    [759259542587966, 1955230190635457, 1299224636616666, 1126750135999193],
    [447117810128875, 2169290254568948, 2086291164508794, 643337635469487],
    [1407865749018492, 1569338713007998, 106474755081603, 124987173246080],
    [794574049910763, 1917550855142552, 2034773096193190, 537747307575815],
    [2084008944052379, 1530037682440472, 632117964301922, 1426680808825626],
  ],
  // 119B
  [
    [1741899933172209, 2199008183134083, 1203346159006185, 386427939470999],
    [943298571218354, 1568063549624224, 1290330582472288, 773790011890111],
    [1492477926876097, 2220105456481284, 559251828024926, 7998446834480],
    [1400823018500562, 2122712085005203, 1628968608819124, 400841288680255],
    [43773285924215, 461329119739040, 150258555652434, 1986164507242931],
  ],
  // 121B
  [
    [1400193816560290, 205109041746928, 482427736872499, 1882259291243469],
    [1567938214422346, 2210838766030018, 459370723546555, 1476430155367551],
    [2131758562164314, 870919564015545, 561352492462341, 1825707397849739],
    [1222516085538751, 1180031326611740, 1125428991486994, 2104070544634669],
    [2250721106293603, 45361033713609, 524805357008868, 1592414113760875],
  ],
  // 123B
  [
    [1732020024099809, 579192187825542, 551534717431508, 639939029983320],
    [1784407982650136, 1051565925268142, 2109079781894503, 976557199337974],
    [1741802898615874, 2019084801616258, 677262354392895, 1187496547177553],
    [324789811294141, 2195177774687783, 1810990968167990, 1342640177856928],
    [852188509251848, 1949774613603012, 13032988642635, 1805264171727500],
  ],
  // 125B
  [
    [725758684428069, 2274383934201, 1350237925310854, 855899212450985],
    [1560652356095510, 869531222782674, 599434079350611, 556109756914221],
    [1752174586786229, 1543330962714761, 1946671855426982, 845529169372716],
    [374944901398076, 190115334973079, 1466759495295434, 1468662398530506],
    [1971789709358871, 1386780029582001, 823813934715328, 1279702479089073],
  ],
  // 127B
  [
    [1858016657809225, 1564933822653082, 738446199530213, 774108965929432],
    [1602023272541051, 1896690933974503, 1507880104135116, 1942156691890645],
    [1602919120804046, 892742509464158, 816681851197874, 1426972574169520],
    [1057086441386533, 1536101106581101, 147791159251950, 1785080958511753],
    [118780086971404, 926161482632750, 1004049533526221, 1762226452683138],
  ],
];