1extern crate alloc;
2
3use crate::poseidon::ArithmeticSpongeParams;
4use core::str::FromStr;
5use mina_curves::pasta::Fp;
6use once_cell::sync::Lazy;
7
8type Params = ArithmeticSpongeParams<Fp, { super::LEGACY_ROUNDS }>;
9#[allow(clippy::too_many_lines)]
12fn params() -> Params {
13 Params {
14 mds: [
15 [
16 Fp::from_str(
17 "5328350144166205084223774245058198666309664348635459768305312917086056785354",
18 )
19 .unwrap(),
20 Fp::from_str(
21 "15214731724107930304595906373487084110291887262136882623959435918484004667388",
22 )
23 .unwrap(),
24 Fp::from_str(
25 "22399519358931858664262538157042328690232277435337286643350379269028878354609",
26 )
27 .unwrap(),
28 ],
29 [
30 Fp::from_str(
31 "10086628405675314879458652402278736459294354590428582803795166650930540770072",
32 )
33 .unwrap(),
34 Fp::from_str(
35 "17127968360683744052278857147989507037142007029142438136689352416106177192235",
36 )
37 .unwrap(),
38 Fp::from_str(
39 "14207324749280135281015658576564097509614634975132487654324863824516044294735",
40 )
41 .unwrap(),
42 ],
43 [
44 Fp::from_str(
45 "3059104278162906687184746935153057867173086006783171716838577369156969739687",
46 )
47 .unwrap(),
48 Fp::from_str(
49 "16755849208683706534025643823697988418063305979108082130624352443958404325985",
50 )
51 .unwrap(),
52 Fp::from_str(
53 "16889774624482628108075965871448623911656600744832339664842346756371603433407",
54 )
55 .unwrap(),
56 ],
57 ],
58 round_constants: [
59 [
60 Fp::from_str(
61 "1346081094044643970582493287085428191977688221215786919106342366360741041016",
62 )
63 .unwrap(),
64 Fp::from_str(
65 "10635969173348128974923358283368657934408577270968219574411363948927109531877",
66 )
67 .unwrap(),
68 Fp::from_str(
69 "18431955373344919956072236142080066866861234899777299873162413437379924987003",
70 )
71 .unwrap(),
72 ],
73 [
74 Fp::from_str(
75 "5797044060651575840084283729791357462720161727701814038830889113712361837236",
76 )
77 .unwrap(),
78 Fp::from_str(
79 "931288489507796144596974766082847744938192694315568692730730202141894005205",
80 )
81 .unwrap(),
82 Fp::from_str(
83 "13659894470945121760517769979107966886673294523737498361566285362771110125394",
84 )
85 .unwrap(),
86 ],
87 [
88 Fp::from_str(
89 "6076231707445968054305995680347976771585015308155855387339303513025362636128",
90 )
91 .unwrap(),
92 Fp::from_str(
93 "28822740034050339685362260108484262889265034407340240070058997651710236456303",
94 )
95 .unwrap(),
96 Fp::from_str(
97 "23420266473857869790486107029614186913447272961845992963194006142267563993493",
98 )
99 .unwrap(),
100 ],
101 [
102 Fp::from_str(
103 "13753917374184785903125509246122783296344288469304898921025291716613575849357",
104 )
105 .unwrap(),
106 Fp::from_str(
107 "22396739346703340038555577564698139382745239004673153148674304627904081092826",
108 )
109 .unwrap(),
110 Fp::from_str(
111 "13064238335532551154986111986409392866270911640785653458047811526842088084911",
112 )
113 .unwrap(),
114 ],
115 [
116 Fp::from_str(
117 "23165923875642452719095776619341762858050322341374771345641255745672274104746",
118 )
119 .unwrap(),
120 Fp::from_str(
121 "1876216571769482372914291210815859835162659440705283782713345335434924136736",
122 )
123 .unwrap(),
124 Fp::from_str(
125 "25448252060136178247213604035267580231762596830634036926922217427938159849142",
126 )
127 .unwrap(),
128 ],
129 [
130 Fp::from_str(
131 "2161875315509206970842862195937323600322108268401381254431163181777726747153",
132 )
133 .unwrap(),
134 Fp::from_str(
135 "19159855698625842998331760283165907305622417625829203038229273729196960321630",
136 )
137 .unwrap(),
138 Fp::from_str(
139 "24828563875172432296791053766778475681869974948122169083176331088266823626561",
140 )
141 .unwrap(),
142 ],
143 [
144 Fp::from_str(
145 "15959479662608710141128458274961057999257961784282074767105536637788386907463",
146 )
147 .unwrap(),
148 Fp::from_str(
149 "8006369581283017287449277389162056290714176164680299906116833200510117952858",
150 )
151 .unwrap(),
152 Fp::from_str(
153 "18794336794618132129607701188430371953320538976527988886453665523008714542779",
154 )
155 .unwrap(),
156 ],
157 [
158 Fp::from_str(
159 "19408271715954593722501381885401160867835377473312521553027032015227895029571",
160 )
161 .unwrap(),
162 Fp::from_str(
163 "13654747284005184272412579731446984220568337794941823533879059135026064413631",
164 )
165 .unwrap(),
166 Fp::from_str(
167 "14094055032353750931629930778481002727722804310855727808905931659115939920989",
168 )
169 .unwrap(),
170 ],
171 [
172 Fp::from_str(
173 "13241818625838429282823260827177433104574315653706102174619924764342778921524",
174 )
175 .unwrap(),
176 Fp::from_str(
177 "25709259239494174564705048436260891089407557689981668111890003079561388887725",
178 )
179 .unwrap(),
180 Fp::from_str(
181 "26866626910239634723971078462134580196819809568632305020800296809092442642381",
182 )
183 .unwrap(),
184 ],
185 [
186 Fp::from_str(
187 "23886826350713085163238005260075062110062681905356997481925492650252417143049",
188 )
189 .unwrap(),
190 Fp::from_str(
191 "16853602711255261520713463306790360324679500458440235992292027384928526778856",
192 )
193 .unwrap(),
194 Fp::from_str(
195 "18444710386168488194610417945072711530390091945738595259171890487504771614189",
196 )
197 .unwrap(),
198 ],
199 [
200 Fp::from_str(
201 "16896789009769903615328691751424474161656500693270070895928499575572871141439",
202 )
203 .unwrap(),
204 Fp::from_str(
205 "23842266984616972287898037872537536999393060934879414668030219493005225085992",
206 )
207 .unwrap(),
208 Fp::from_str(
209 "24369698563802298585444760814856330583118549706483939267059237951238240608187",
210 )
211 .unwrap(),
212 ],
213 [
214 Fp::from_str(
215 "25360195173713628054110426524260405937218170863260484655473435413697869858790",
216 )
217 .unwrap(),
218 Fp::from_str(
219 "1486437708678506228822038923353468635394979165769861487132708983207562337116",
220 )
221 .unwrap(),
222 Fp::from_str(
223 "18653498960429911228442559598959970807723487073275324556015861725806677047150",
224 )
225 .unwrap(),
226 ],
227 [
228 Fp::from_str(
229 "18878179044241268037057256060083772636369783391816038647949347814518015576522",
230 )
231 .unwrap(),
232 Fp::from_str(
233 "178715779905629247116805974152863592571182389085419970371289655361443016848",
234 )
235 .unwrap(),
236 Fp::from_str(
237 "8381006794425876451998903949255801618132578446062133243427381291481465852184",
238 )
239 .unwrap(),
240 ],
241 [
242 Fp::from_str(
243 "4176946262813877719206528849579392120806054050640974718891398605746592169324",
244 )
245 .unwrap(),
246 Fp::from_str(
247 "16376345520728802444699629729684297833862527190772376028981704525651968727081",
248 )
249 .unwrap(),
250 Fp::from_str(
251 "8399065769082251057361366626601550736334213197703006866551331927128775757919",
252 )
253 .unwrap(),
254 ],
255 [
256 Fp::from_str(
257 "15435308585611812393531506745122614542196708285088622615406141986333182280857",
258 )
259 .unwrap(),
260 Fp::from_str(
261 "4082259282787276939431186930090898350392871145699460879678141552997816391817",
262 )
263 .unwrap(),
264 Fp::from_str(
265 "26348742719959309014730178326877937464605873211235784184917342950648457078699",
266 )
267 .unwrap(),
268 ],
269 [
270 Fp::from_str(
271 "9707631711734344681918469569872517425107158187591261754498805460753455298868",
272 )
273 .unwrap(),
274 Fp::from_str(
275 "27910768846011709391567916011595957279088224137468948238696800459136335473132",
276 )
277 .unwrap(),
278 Fp::from_str(
279 "20407239095656434708569263842372155762970847207558227886302782130015730063802",
280 )
281 .unwrap(),
282 ],
283 [
284 Fp::from_str(
285 "22726225412881182965250630589245572283256255052470345984553083359461473893802",
286 )
287 .unwrap(),
288 Fp::from_str(
289 "12443967854426795490638709950679156338200426963050610832781263082981525248175",
290 )
291 .unwrap(),
292 Fp::from_str(
293 "27102543658848146076219989119639465430524061997280788166887046421706499775415",
294 )
295 .unwrap(),
296 ],
297 [
298 Fp::from_str(
299 "14427224233985680214097547669945064793149553513421479297921556194475574770861",
300 )
301 .unwrap(),
302 Fp::from_str(
303 "22917454832925781549840198815703114840452733537799472739275668965081704937832",
304 )
305 .unwrap(),
306 Fp::from_str(
307 "3455076056123630366063931123762198941796412458154689469887583689725886013901",
308 )
309 .unwrap(),
310 ],
311 [
312 Fp::from_str(
313 "4513100023937785913596662867311227004762025658663076805918211014066645403017",
314 )
315 .unwrap(),
316 Fp::from_str(
317 "18187619530784075723418065322038024507729605774832001333883311123910954334059",
318 )
319 .unwrap(),
320 Fp::from_str(
321 "9447065431426150382325592560406989926365684509675374414068135115024495130938",
322 )
323 .unwrap(),
324 ],
325 [
326 Fp::from_str(
327 "3227816098015819796753427754968234889554095489076864339942014527747604603014",
328 )
329 .unwrap(),
330 Fp::from_str(
331 "14798316759185072116520458171957899889489461918408669809912344751222514418582",
332 )
333 .unwrap(),
334 Fp::from_str(
335 "23013904852315603905843158448056763116188801262838729536210355401378476650033",
336 )
337 .unwrap(),
338 ],
339 [
340 Fp::from_str(
341 "20979191509934291452182967564058656088941447895799901211038858159903580333267",
342 )
343 .unwrap(),
344 Fp::from_str(
345 "20772973010251235271448378823573767262405703078344288856168565499702414379868",
346 )
347 .unwrap(),
348 Fp::from_str(
349 "10105446427739226002497411811738001382334316505480517822035303561899927603685",
350 )
351 .unwrap(),
352 ],
353 [
354 Fp::from_str(
355 "11079074761356717003579108002319997196881121172538617046865136940931215263187",
356 )
357 .unwrap(),
358 Fp::from_str(
359 "4693927775411489288330326150094711670434597808961717172753867514688725690438",
360 )
361 .unwrap(),
362 Fp::from_str(
363 "18581720304902876944842830383273503265470859268712618325357902881821721540119",
364 )
365 .unwrap(),
366 ],
367 [
368 Fp::from_str(
369 "3065369948183164725765083504606321683481629263177690053939474679689088169185",
370 )
371 .unwrap(),
372 Fp::from_str(
373 "18515622379147081456114962668688706121098539582467584736624699157043365677487",
374 )
375 .unwrap(),
376 Fp::from_str(
377 "17563088600719312877716085528177751048248154461245613291986010180187238198006",
378 )
379 .unwrap(),
380 ],
381 [
382 Fp::from_str(
383 "26199746176994924146211004840756471702409132230831594954444947705902602287290",
384 )
385 .unwrap(),
386 Fp::from_str(
387 "7576136600627345523051497639367002272003104458453478964661395239732811642605",
388 )
389 .unwrap(),
390 Fp::from_str(
391 "20058687874612168338994287374025378897088936171250328231848098497610185784281",
392 )
393 .unwrap(),
394 ],
395 [
396 Fp::from_str(
397 "16894722532414195606958290526999761110785277556463400588047573469106594850228",
398 )
399 .unwrap(),
400 Fp::from_str(
401 "13961730805696859614283621225672002906734926278118993580398533742874863598733",
402 )
403 .unwrap(),
404 Fp::from_str(
405 "25256842011135514243352951950573936602906198374305137963222382546140030647211",
406 )
407 .unwrap(),
408 ],
409 [
410 Fp::from_str(
411 "18530360047537856737482157200091774590035773602620205695980247565433703032532",
412 )
413 .unwrap(),
414 Fp::from_str(
415 "23014819965938599260086897799541446473887833964178378497976832161473586995397",
416 )
417 .unwrap(),
418 Fp::from_str(
419 "27911426213258307990762460361663504655967992659180759140364181941291843542489",
420 )
421 .unwrap(),
422 ],
423 [
424 Fp::from_str(
425 "1067338118323302017358103178057182291035336430305886255160210378977812067042",
426 )
427 .unwrap(),
428 Fp::from_str(
429 "17219092885519007424608854460610388434712113621163885775309496940189894433620",
430 )
431 .unwrap(),
432 Fp::from_str(
433 "16432921127615937542183846559291144733339643093361323334499888895135356545408",
434 )
435 .unwrap(),
436 ],
437 [
438 Fp::from_str(
439 "28608851042959977114787048070153637607786033079364369200270218128830983558707",
440 )
441 .unwrap(),
442 Fp::from_str(
443 "10121629780013165888398831090128011045011860641816380162950736555305748332191",
444 )
445 .unwrap(),
446 Fp::from_str(
447 "2348036340843128746981122630521268144839343500596932561106759754644596320722",
448 )
449 .unwrap(),
450 ],
451 [
452 Fp::from_str(
453 "16619881370356823200358060093334065394764987467483650323706184068451904156452",
454 )
455 .unwrap(),
456 Fp::from_str(
457 "2302436627861989749837563733434625231689351276818486757748445924305258835336",
458 )
459 .unwrap(),
460 Fp::from_str(
461 "27514536540953539473280001431110316405453388911725550380123851609652679788049",
462 )
463 .unwrap(),
464 ],
465 [
466 Fp::from_str(
467 "9459277727420672604737117687200019308525004979918488827092207438664125039815",
468 )
469 .unwrap(),
470 Fp::from_str(
471 "23425670740358068509956137586663046763224562225383386726193078231034380596217",
472 )
473 .unwrap(),
474 Fp::from_str(
475 "7641885067011661443791509688937280323563328029517832788240965464798835873658",
476 )
477 .unwrap(),
478 ],
479 [
480 Fp::from_str(
481 "9579420382351699601929202663836555665702024548386778299996961509578687980280",
482 )
483 .unwrap(),
484 Fp::from_str(
485 "18513671386572584282611234979588379470994484682444053600751415262497237017703",
486 )
487 .unwrap(),
488 Fp::from_str(
489 "24923151431234706142737221165378041700050312199585085101919834422744926421604",
490 )
491 .unwrap(),
492 ],
493 [
494 Fp::from_str(
495 "21131320841803068139502705966375283830095161079635803028011171241658723560073",
496 )
497 .unwrap(),
498 Fp::from_str(
499 "19208476595309656066589572658712717685014329237892885950958199953675225096566",
500 )
501 .unwrap(),
502 Fp::from_str(
503 "24023185216737416080949689106968568821656545490748664446389634158498624398204",
504 )
505 .unwrap(),
506 ],
507 [
508 Fp::from_str(
509 "7510552996848634969347937904645640209946785877619890235458182993413526028718",
510 )
511 .unwrap(),
512 Fp::from_str(
513 "3694415017252995094553868781762548289196990492336482360084813900937464847638",
514 )
515 .unwrap(),
516 Fp::from_str(
517 "9219021070107873028263141554048987416559034633883158827414043929220388719352",
518 )
519 .unwrap(),
520 ],
521 [
522 Fp::from_str(
523 "5058327241234443421111591959922712922949620710493120384930391763032694640881",
524 )
525 .unwrap(),
526 Fp::from_str(
527 "13148252221647574076185511663661016015859769210867362839817254885265598775418",
528 )
529 .unwrap(),
530 Fp::from_str(
531 "15186790492457240277904880519227706403545816456632095870015828239411033220638",
532 )
533 .unwrap(),
534 ],
535 [
536 Fp::from_str(
537 "2775942914650502409705888572245750999561427024488403026572311267798009048466",
538 )
539 .unwrap(),
540 Fp::from_str(
541 "6277965230841030155341171319927732572492215818164736949144854827643964384893",
542 )
543 .unwrap(),
544 Fp::from_str(
545 "24144742149845235561087977558785057713814731737434473021812189457617252043745",
546 )
547 .unwrap(),
548 ],
549 [
550 Fp::from_str(
551 "25789129719327437503403457598813971826156253950521984610569937361506914183550",
552 )
553 .unwrap(),
554 Fp::from_str(
555 "21500534320778995945845999974779950304491968082325255355181901574840373597824",
556 )
557 .unwrap(),
558 Fp::from_str(
559 "17185359848218837018503091932245529880546896465437232425673134558221638601375",
560 )
561 .unwrap(),
562 ],
563 [
564 Fp::from_str(
565 "12253896579078110143384981818031883112606762215016553811786428215758384195713",
566 )
567 .unwrap(),
568 Fp::from_str(
569 "12956658260778456372481429232709881794962204180363200699121804724437678625542",
570 )
571 .unwrap(),
572 Fp::from_str(
573 "3023603786717368708677300377055384474816569333060487675635618249403832078921",
574 )
575 .unwrap(),
576 ],
577 [
578 Fp::from_str(
579 "4186492855716808019562789862833898284927736051002588766326482010810259565130",
580 )
581 .unwrap(),
582 Fp::from_str(
583 "4263939782228419774639068267872291539552889472311225829898746091327730032923",
584 )
585 .unwrap(),
586 Fp::from_str(
587 "24068843626280451423530509388397151179174104901782990365720205643492047328816",
588 )
589 .unwrap(),
590 ],
591 [
592 Fp::from_str(
593 "14564937827374621319716285527475223392664010281568256859627186463065876537730",
594 )
595 .unwrap(),
596 Fp::from_str(
597 "28367596550218705971881480694115935470211319172596432472834880507822452927283",
598 )
599 .unwrap(),
600 Fp::from_str(
601 "28712267437482356021504544448225827500268648754270274754623969882031853409874",
602 )
603 .unwrap(),
604 ],
605 [
606 Fp::from_str(
607 "4542596163006916397403529184431773692747461300288194722982487051249951403191",
608 )
609 .unwrap(),
610 Fp::from_str(
611 "2530461821259252672899452671728393208543894014761816288817584587718369998371",
612 )
613 .unwrap(),
614 Fp::from_str(
615 "12886393063011539390567049190923398676964700147222878509238966758839020897414",
616 )
617 .unwrap(),
618 ],
619 [
620 Fp::from_str(
621 "21593897590707514492037699253654745501762191795293908682495110982956631870528",
622 )
623 .unwrap(),
624 Fp::from_str(
625 "13233005790593128135480716846773978578237145313006994631606474472023504621256",
626 )
627 .unwrap(),
628 Fp::from_str(
629 "21621863098292803642478350494794106282518362577273973885587684567452726939909",
630 )
631 .unwrap(),
632 ],
633 [
634 Fp::from_str(
635 "26068620073001644720969640099644251616742620988609091568084348314770436291745",
636 )
637 .unwrap(),
638 Fp::from_str(
639 "18248589586787935500122854210401321966459127818593446990365211078521058875685",
640 )
641 .unwrap(),
642 Fp::from_str(
643 "21247134484403265289037859533347798468858819117600251067578809852124865474448",
644 )
645 .unwrap(),
646 ],
647 [
648 Fp::from_str(
649 "7947383127165915366383984718363902897504221803836013123394785749404572432524",
650 )
651 .unwrap(),
652 Fp::from_str(
653 "22173041014621867335598230447618036223462011647696367239478182269973488867154",
654 )
655 .unwrap(),
656 Fp::from_str(
657 "16773227734018849308448505860847939069870370055633571816925675705713088305139",
658 )
659 .unwrap(),
660 ],
661 [
662 Fp::from_str(
663 "10708707957340055662073314227607620808612686977606082605219160019699644826999",
664 )
665 .unwrap(),
666 Fp::from_str(
667 "21249897193797038261479589555720746994050836195265348846222835266344091683000",
668 )
669 .unwrap(),
670 Fp::from_str(
671 "12581195059139097540117398803363514148192715293133623516709277290477633379593",
672 )
673 .unwrap(),
674 ],
675 [
676 Fp::from_str(
677 "19779599816866992123290302397082614570282926215253589712189610064229996603178",
678 )
679 .unwrap(),
680 Fp::from_str(
681 "21749216503901548676985371189807470207364320167486559936962401093285243029177",
682 )
683 .unwrap(),
684 Fp::from_str(
685 "17600045923623503357380202389718735904174992978547372448837488832457719009224",
686 )
687 .unwrap(),
688 ],
689 [
690 Fp::from_str(
691 "2732872979548118117758016335601225525660858727422778256671975055129965858636",
692 )
693 .unwrap(),
694 Fp::from_str(
695 "13703031005128062046175331918702218558750713240446179585947851411173844703597",
696 )
697 .unwrap(),
698 Fp::from_str(
699 "28447710105386636841938034820015573492556750872924193415447818187228356409281",
700 )
701 .unwrap(),
702 ],
703 [
704 Fp::from_str(
705 "28539960355005748517007309210788803416171161412204526246799800716567376494244",
706 )
707 .unwrap(),
708 Fp::from_str(
709 "21329318452221893900731030722137844458345358926323127858742388587761302609863",
710 )
711 .unwrap(),
712 Fp::from_str(
713 "28135302149599894709369178097439582767613940517471323224020113411362601191873",
714 )
715 .unwrap(),
716 ],
717 [
718 Fp::from_str(
719 "24980774120400248734054527936006392540889095705961960837980443629260392758683",
720 )
721 .unwrap(),
722 Fp::from_str(
723 "20339911045808632098936066397942175169549806052128535543540543556255197716643",
724 )
725 .unwrap(),
726 Fp::from_str(
727 "7929293103930252545581851978492699598413941396422930641071359388697302362494",
728 )
729 .unwrap(),
730 ],
731 [
732 Fp::from_str(
733 "8911092207145893152276662096451247820054843777071569723455408545101628926203",
734 )
735 .unwrap(),
736 Fp::from_str(
737 "19648860643145256523615441075182036100116634560394529500146405733687718224516",
738 )
739 .unwrap(),
740 Fp::from_str(
741 "14635387208623683806428528837466762532853903031263830054986064902455379735903",
742 )
743 .unwrap(),
744 ],
745 [
746 Fp::from_str(
747 "11555212214346132926966321609673228184079851030522218543981385635403167028692",
748 )
749 .unwrap(),
750 Fp::from_str(
751 "20896918157639814425520058178561910811657326967880217845710779511927814874973",
752 )
753 .unwrap(),
754 Fp::from_str(
755 "4650158165912007049140499755153804318686705949436165235742106170124284287326",
756 )
757 .unwrap(),
758 ],
759 [
760 Fp::from_str(
761 "13880660273492757167295696447853232191657893303250187467329180558670697369810",
762 )
763 .unwrap(),
764 Fp::from_str(
765 "8043529172463774320604378774840863923445982272478964686447801046272917236836",
766 )
767 .unwrap(),
768 Fp::from_str(
769 "2134399296482715903442913099374581981696436050603410080564843555725771329441",
770 )
771 .unwrap(),
772 ],
773 [
774 Fp::from_str(
775 "27320952903412641133501507962185246982787769547770982814240701526492601978122",
776 )
777 .unwrap(),
778 Fp::from_str(
779 "23417491374379751329394424924400186404791519133465537872457405970098902747611",
780 )
781 .unwrap(),
782 Fp::from_str(
783 "17612427354278346772575179176139417348059847375297761006336024476146551185903",
784 )
785 .unwrap(),
786 ],
787 [
788 Fp::from_str(
789 "10710998507064742997612080847223278109404482930427999113323732519626499166548",
790 )
791 .unwrap(),
792 Fp::from_str(
793 "14958094513415797513745395709487730603918953350067504982704138489305723550923",
794 )
795 .unwrap(),
796 Fp::from_str(
797 "24096319595904213497633343966229498735553590589105811393277073274927955202995",
798 )
799 .unwrap(),
800 ],
801 [
802 Fp::from_str(
803 "17983724131200292654039765185049138356840415443160477259330748730019147254309",
804 )
805 .unwrap(),
806 Fp::from_str(
807 "17598096800487588874709548646068838880468456205252324677357706597166777506441",
808 )
809 .unwrap(),
810 Fp::from_str(
811 "27420647821110229619898200875848631488422182349567475956209153112306555222281",
812 )
813 .unwrap(),
814 ],
815 [
816 Fp::from_str(
817 "448538544835457571662601142415301047108854812427100562339376187510452313026",
818 )
819 .unwrap(),
820 Fp::from_str(
821 "23494184556634922103535803143214434479598067155171780264810485708203176455201",
822 )
823 .unwrap(),
824 Fp::from_str(
825 "22626342941879801989161990529511235538216563009907378573817996229389756621777",
826 )
827 .unwrap(),
828 ],
829 [
830 Fp::from_str(
831 "26128268137723417163973860961686381960826033145738852158792607959175787222856",
832 )
833 .unwrap(),
834 Fp::from_str(
835 "20225791828042873305317281581105429726352058325970107209484198122707862156597",
836 )
837 .unwrap(),
838 Fp::from_str(
839 "7538871133759632802857159609785118198934349221046986784429069814655215585732",
840 )
841 .unwrap(),
842 ],
843 [
844 Fp::from_str(
845 "26184554861259642274153262777073624024579929401668865520166966302070394487366",
846 )
847 .unwrap(),
848 Fp::from_str(
849 "28755259264665180745537307265993667261709206143628938749669440804401623257679",
850 )
851 .unwrap(),
852 Fp::from_str(
853 "11896066093033549470312328497237649508068258723531931099214795928200015717321",
854 )
855 .unwrap(),
856 ],
857 [
858 Fp::from_str(
859 "21657721599978732693249012287058163532690942515202465984736373311077240614059",
860 )
861 .unwrap(),
862 Fp::from_str(
863 "9214914097169852704753116653702415951907628005986883140609006971322091003693",
864 )
865 .unwrap(),
866 Fp::from_str(
867 "18710111680849814325169297240208687402588261569152088592693815711857504371037",
868 )
869 .unwrap(),
870 ],
871 [
872 Fp::from_str(
873 "6813635166770764528979084175325709935892248249948967889926276426090222296643",
874 )
875 .unwrap(),
876 Fp::from_str(
877 "20546585456429436268067726231902751119458200511988152296570567167520382569278",
878 )
879 .unwrap(),
880 Fp::from_str(
881 "20087466019194902429054761607398988292568594301671509779549344754172952693871",
882 )
883 .unwrap(),
884 ],
885 [
886 Fp::from_str(
887 "28185105286740691904534067831357491310995891986363455251895371651360605333143",
888 )
889 .unwrap(),
890 Fp::from_str(
891 "10108348212894231193041286244259038275269464277821588425688314560368589986063",
892 )
893 .unwrap(),
894 Fp::from_str(
895 "11433633215392393209829215018579238412423821563056156785641278458497271271546",
896 )
897 .unwrap(),
898 ],
899 [
900 Fp::from_str(
901 "27870881917195016999862550657996865268956893566432995492427618003637597051321",
902 )
903 .unwrap(),
904 Fp::from_str(
905 "102309803677783876701097881491240456320211833502658383473112057006867019389",
906 )
907 .unwrap(),
908 Fp::from_str(
909 "22844040227595875612525628393174357057929113317578127744718774517498324646590",
910 )
911 .unwrap(),
912 ],
913 [
914 Fp::from_str(
915 "18364790233947478619325319418813215212267974311771564959136180502266118026133",
916 )
917 .unwrap(),
918 Fp::from_str(
919 "2480624341921718230432383518425561514824501138863702825916674641657321180841",
920 )
921 .unwrap(),
922 Fp::from_str(
923 "16778939567530361665956758171503829349658551798564323167725356065198936433124",
924 )
925 .unwrap(),
926 ],
927 [
928 Fp::from_str(
929 "11947564511486966895926950599696532964589539443187518177489990556481125699966",
930 )
931 .unwrap(),
932 Fp::from_str(
933 "3133187646540385483015602955087323554103587039123577645562801570574691666057",
934 )
935 .unwrap(),
936 Fp::from_str(
937 "27704797101265438206569218421707753788081674727344603874614391656565567951541",
938 )
939 .unwrap(),
940 ],
941 [
942 Fp::from_str(
943 "13001484695584753475562184349533365512515447041450030471627087395341039487710",
944 )
945 .unwrap(),
946 Fp::from_str(
947 "477322000667279478600757543806155989948171541982639893984064422067850617496",
948 )
949 .unwrap(),
950 Fp::from_str(
951 "13913755821658634147813329813115566967428755223601185963529801459396673113438",
952 )
953 .unwrap(),
954 ],
955 [
956 Fp::from_str(
957 "16621869429023470107454028095846067937827722393398508604914831452950874033411",
958 )
959 .unwrap(),
960 Fp::from_str(
961 "21755744236927410239079501831014076529931327263341620300431356747367343619046",
962 )
963 .unwrap(),
964 Fp::from_str(
965 "26538666591151124505694487799121414506088199961481579132019627484065014831180",
966 )
967 .unwrap(),
968 ],
969 [
970 Fp::from_str(
971 "3066480818457008068617042549071052338581291837882909165666223566402713429090",
972 )
973 .unwrap(),
974 Fp::from_str(
975 "16182268213934119294035309949459684472027705439038023775276926916166831108357",
976 )
977 .unwrap(),
978 Fp::from_str(
979 "28907604876608422892474268478706783033050951245339691569015166507728369585190",
980 )
981 .unwrap(),
982 ],
983 [
984 Fp::from_str(
985 "27973960109508292680965426133498827831691369851701664449575719912259359998113",
986 )
987 .unwrap(),
988 Fp::from_str(
989 "1456924360278399121996742356757866616312146358469991014696110099534285524446",
990 )
991 .unwrap(),
992 Fp::from_str(
993 "8234248752911525485438611255163504976087091103090603316695312869292347668495",
994 )
995 .unwrap(),
996 ],
997 [
998 Fp::from_str(
999 "8716078950082339630026654067608811496722305720644485560320987802533380421009",
1000 )
1001 .unwrap(),
1002 Fp::from_str(
1003 "19016744645809919602099479306503354923553336014593353020688463619133130053825",
1004 )
1005 .unwrap(),
1006 Fp::from_str(
1007 "24379650661051444982012238084495990858827340608012118841005379796362233056432",
1008 )
1009 .unwrap(),
1010 ],
1011 [
1012 Fp::from_str(
1013 "2245379544097631382062919677963998259142792890502492881341386639439507471783",
1014 )
1015 .unwrap(),
1016 Fp::from_str(
1017 "28788137434161061988371619554419440748189388934884757179010092973102292086583",
1018 )
1019 .unwrap(),
1020 Fp::from_str(
1021 "7187000185648741287953633167647835668543536354944774631102766873251849991238",
1022 )
1023 .unwrap(),
1024 ],
1025 [
1026 Fp::from_str(
1027 "18319349500538500800225762827448369057030532278398270164660609327776487168142",
1028 )
1029 .unwrap(),
1030 Fp::from_str(
1031 "2622932985948021877314529887962683530522545893985767148345336304947201715671",
1032 )
1033 .unwrap(),
1034 Fp::from_str(
1035 "13805188629797792210337544360632964855143280581052079479249966961215582531026",
1036 )
1037 .unwrap(),
1038 ],
1039 [
1040 Fp::from_str(
1041 "27457600993464082637917106210690168172469473943609357897393615707457194410878",
1042 )
1043 .unwrap(),
1044 Fp::from_str(
1045 "15448646156961779103834447043970817898237835202826003934642165760908058355399",
1046 )
1047 .unwrap(),
1048 Fp::from_str(
1049 "9396792545729486882231669677795667529746274932273033601723318032992363022062",
1050 )
1051 .unwrap(),
1052 ],
1053 [
1054 Fp::from_str(
1055 "9927877141952679457141759789181418464292082444806533413864151258248124544859",
1056 )
1057 .unwrap(),
1058 Fp::from_str(
1059 "23827901395971835838179844085051957393677906360196119690926757794561937573142",
1060 )
1061 .unwrap(),
1062 Fp::from_str(
1063 "3273544693673216914876067527455588276979859627093391584406340272737391174619",
1064 )
1065 .unwrap(),
1066 ],
1067 [
1068 Fp::from_str(
1069 "19571510438350300564152393820251652609646082150148656806391655428002614034315",
1070 )
1071 .unwrap(),
1072 Fp::from_str(
1073 "4458840243585913642400750597703353770666314833058197517675446022682775625834",
1074 )
1075 .unwrap(),
1076 Fp::from_str(
1077 "6452218213610300363069953741424106105609715382419342511693148495219793324457",
1078 )
1079 .unwrap(),
1080 ],
1081 [
1082 Fp::from_str(
1083 "14558167930891460678441266912176752652821641543245953113671886345167213541771",
1084 )
1085 .unwrap(),
1086 Fp::from_str(
1087 "10650967986920075561478528461783351160938460620955779955379459848889204404950",
1088 )
1089 .unwrap(),
1090 Fp::from_str(
1091 "19990009778942542934049216419052172134625404062770188357110708518621145688588",
1092 )
1093 .unwrap(),
1094 ],
1095 [
1096 Fp::from_str(
1097 "26855242974447190235826233682457047761532515293146087151296725996543442567035",
1098 )
1099 .unwrap(),
1100 Fp::from_str(
1101 "22785340043356532865086769889360674409753343398766563441587096485751538658065",
1102 )
1103 .unwrap(),
1104 Fp::from_str(
1105 "28603049427449348335651629195385434188071937908693764500052489540779792538285",
1106 )
1107 .unwrap(),
1108 ],
1109 [
1110 Fp::from_str(
1111 "20545812864989828913452616721240947168977365844984763819184465128164378967167",
1112 )
1113 .unwrap(),
1114 Fp::from_str(
1115 "23234068381345797209897730226956922073109641728569353961504167817770340037954",
1116 )
1117 .unwrap(),
1118 Fp::from_str(
1119 "26031714567641615877877111172701145299483019910006153132858512509897185854695",
1120 )
1121 .unwrap(),
1122 ],
1123 [
1124 Fp::from_str(
1125 "9512221744061419790435674197238913998387834650389922233458121639503195504983",
1126 )
1127 .unwrap(),
1128 Fp::from_str(
1129 "12587458000103271975978240683793268604398305885278203470492658961734100340536",
1130 )
1131 .unwrap(),
1132 Fp::from_str(
1133 "9670291694005369437277651504604785512303147991710650505302465204429311229197",
1134 )
1135 .unwrap(),
1136 ],
1137 [
1138 Fp::from_str(
1139 "26995526763045548800439747262386290359229145489609341602564040676717570935439",
1140 )
1141 .unwrap(),
1142 Fp::from_str(
1143 "23742712112104280264401317024221734961713400615669958343926511931219510484675",
1144 )
1145 .unwrap(),
1146 Fp::from_str(
1147 "27931469778579449247589315744656633392873808631802461175539563849884447358271",
1148 )
1149 .unwrap(),
1150 ],
1151 [
1152 Fp::from_str(
1153 "20669006894143187877081688942720159738269397552445286314270368345994751825389",
1154 )
1155 .unwrap(),
1156 Fp::from_str(
1157 "26891772301075275370472640177651637211280740381619976926886106618375467277414",
1158 )
1159 .unwrap(),
1160 Fp::from_str(
1161 "28387986011980449959047232529988203397251084614417760995257355718700961696092",
1162 )
1163 .unwrap(),
1164 ],
1165 [
1166 Fp::from_str(
1167 "6579105010484741592730389416372694666279917604793318157514380025250233913402",
1168 )
1169 .unwrap(),
1170 Fp::from_str(
1171 "11007035767869292700964744408562802781669930023548892567535397874932420229930",
1172 )
1173 .unwrap(),
1174 Fp::from_str(
1175 "981148366863906885900456473323410468923514528856216824044152942069412627408",
1176 )
1177 .unwrap(),
1178 ],
1179 [
1180 Fp::from_str(
1181 "22213671088722307302576907504985884923571642958053627659840326928319445671280",
1182 )
1183 .unwrap(),
1184 Fp::from_str(
1185 "1318836216310789598614608105109389429335273432455224127576823891011367206122",
1186 )
1187 .unwrap(),
1188 Fp::from_str(
1189 "25586582796990779718352441955439394949194222626688223867952982491529809559257",
1190 )
1191 .unwrap(),
1192 ],
1193 [
1194 Fp::from_str(
1195 "4923739488579452777913681531125585976446366144127161879759262506690369040090",
1196 )
1197 .unwrap(),
1198 Fp::from_str(
1199 "23505612338866210737103599484620591026802005128655081877133994175016351514827",
1200 )
1201 .unwrap(),
1202 Fp::from_str(
1203 "323887003859465324514901860965142186539600668250760639664361851354147799637",
1204 )
1205 .unwrap(),
1206 ],
1207 [
1208 Fp::from_str(
1209 "10198923064967306784017949469108033682156920551672348936591491217255268794658",
1210 )
1211 .unwrap(),
1212 Fp::from_str(
1213 "9593680688139131432883442351722730169325112619984238956948153423155998917175",
1214 )
1215 .unwrap(),
1216 Fp::from_str(
1217 "27027988263960602112273050725720071355535922812577299127302015348825197871870",
1218 )
1219 .unwrap(),
1220 ],
1221 [
1222 Fp::from_str(
1223 "14419883951157390867695097127684346981136020111885301573583640959136319507752",
1224 )
1225 .unwrap(),
1226 Fp::from_str(
1227 "5104414988075833278683649298543440897371415916271358703850262680431809374355",
1228 )
1229 .unwrap(),
1230 Fp::from_str(
1231 "24739655595299332818980677669648719986462429574612913501586844601377825836782",
1232 )
1233 .unwrap(),
1234 ],
1235 [
1236 Fp::from_str(
1237 "28522818684103966731129743408029731246564480741348128436668680764518115102581",
1238 )
1239 .unwrap(),
1240 Fp::from_str(
1241 "21520350704208288978690888796633940487888044365108767319141211249242880355961",
1242 )
1243 .unwrap(),
1244 Fp::from_str(
1245 "17391005598311948834360476853940353239444383292422171321575043660157438608537",
1246 )
1247 .unwrap(),
1248 ],
1249 [
1250 Fp::from_str(
1251 "15367833944125677011173327826570204350687925236257190051755087781855930646142",
1252 )
1253 .unwrap(),
1254 Fp::from_str(
1255 "21715073802090413714601069529558707101797361591183718695054701329871284436172",
1256 )
1257 .unwrap(),
1258 Fp::from_str(
1259 "8994093285353831008525761670339342200997965950202092028313103110478252647618",
1260 )
1261 .unwrap(),
1262 ],
1263 [
1264 Fp::from_str(
1265 "8370824693889782161629525898408725452177580012023459750897244954935682978671",
1266 )
1267 .unwrap(),
1268 Fp::from_str(
1269 "16123253540853556024347150096993154278773652905830608614979368087152152043083",
1270 )
1271 .unwrap(),
1272 Fp::from_str(
1273 "3535380953353495025888433493640531836449699255364366295870140701379497967423",
1274 )
1275 .unwrap(),
1276 ],
1277 [
1278 Fp::from_str(
1279 "6954518484798178646508803478426114267143074508396663899281411171704702743829",
1280 )
1281 .unwrap(),
1282 Fp::from_str(
1283 "28903134801897070276701950388422104654018369750191967384271618837091859516942",
1284 )
1285 .unwrap(),
1286 Fp::from_str(
1287 "20872505363530172448468374920196608937030884647150175861507911076568784054834",
1288 )
1289 .unwrap(),
1290 ],
1291 [
1292 Fp::from_str(
1293 "6902861581703501105786795670676641959401710346423594578401934671029571262513",
1294 )
1295 .unwrap(),
1296 Fp::from_str(
1297 "10124161387604183369443890585742198433184078889862870469507328332805848271064",
1298 )
1299 .unwrap(),
1300 Fp::from_str(
1301 "10488004060799269337071647841224034919633445750252076195310163972966405029030",
1302 )
1303 .unwrap(),
1304 ],
1305 [
1306 Fp::from_str(
1307 "507704911991278613147490289466075160618843900088471236546244459176211783848",
1308 )
1309 .unwrap(),
1310 Fp::from_str(
1311 "7252739745607302667257774481690407709040936359589867974787811552896597703097",
1312 )
1313 .unwrap(),
1314 Fp::from_str(
1315 "23278073497974004442836030100920157527910770509761505828038443336325476654930",
1316 )
1317 .unwrap(),
1318 ],
1319 [
1320 Fp::from_str(
1321 "22766285055433137793164317120096790621982728188995759745859222009100808389090",
1322 )
1323 .unwrap(),
1324 Fp::from_str(
1325 "23129058299483468195787339200845749049960038336751758017949899311636830205152",
1326 )
1327 .unwrap(),
1328 Fp::from_str(
1329 "16665333681978951552434356320651834889869437822496200946959897681307959400425",
1330 )
1331 .unwrap(),
1332 ],
1333 [
1334 Fp::from_str(
1335 "12145699202182574939376505075528461451757079041659894988784442097333218352048",
1336 )
1337 .unwrap(),
1338 Fp::from_str(
1339 "26340666275844437932755852805027863696219004039301187587209926587657008948704",
1340 )
1341 .unwrap(),
1342 Fp::from_str(
1343 "19208771804191839410002226941825269105677187954811130189835856228258013753206",
1344 )
1345 .unwrap(),
1346 ],
1347 [
1348 Fp::from_str(
1349 "21957102494792377508237608216278079874536155315851198461024084071231867104453",
1350 )
1351 .unwrap(),
1352 Fp::from_str(
1353 "6933367436450995525851693784691226222726503560893470094614235356287049091852",
1354 )
1355 .unwrap(),
1356 Fp::from_str(
1357 "15707767379191450768747057313641112321773921923533732633534831270357733757271",
1358 )
1359 .unwrap(),
1360 ],
1361 [
1362 Fp::from_str(
1363 "27661963645951389261638591385668507557739541354225916772550248746235106571003",
1364 )
1365 .unwrap(),
1366 Fp::from_str(
1367 "19699458096897937575096494582288688995241392471402204995195057374756282223421",
1368 )
1369 .unwrap(),
1370 Fp::from_str(
1371 "902873385171181344315871113842580653512118892800584003934454469411716098791",
1372 )
1373 .unwrap(),
1374 ],
1375 [
1376 Fp::from_str(
1377 "17184835876565576154014372215369798779520343573944211203710896053325717110660",
1378 )
1379 .unwrap(),
1380 Fp::from_str(
1381 "664657295519303589036289440053175741110032988007278988577620229144220576240",
1382 )
1383 .unwrap(),
1384 Fp::from_str(
1385 "10803972669668998371638869508774217165881281885838503958226056357738500321396",
1386 )
1387 .unwrap(),
1388 ],
1389 [
1390 Fp::from_str(
1391 "2329846733754251453632375727999372856194157027336139087170310553870624325301",
1392 )
1393 .unwrap(),
1394 Fp::from_str(
1395 "14139944357035048486675740400655356660678187875721949218090128899571575479791",
1396 )
1397 .unwrap(),
1398 Fp::from_str(
1399 "18368148273419807418427674359327442879484531833435081951870369910704734685351",
1400 )
1401 .unwrap(),
1402 ],
1403 [
1404 Fp::from_str(
1405 "10480273665080572189328459165704340191901489646067580012574464138528963201459",
1406 )
1407 .unwrap(),
1408 Fp::from_str(
1409 "21773636700078124500346009061678153597323236568110076029811348966753228682835",
1410 )
1411 .unwrap(),
1412 Fp::from_str(
1413 "18184268307211429260956076021417309535471438696101133218049142374847151474905",
1414 )
1415 .unwrap(),
1416 ],
1417 [
1418 Fp::from_str(
1419 "25957533025669311312382992376854735734491934602484112256289764602447226406852",
1420 )
1421 .unwrap(),
1422 Fp::from_str(
1423 "22223261506176684934865714490719116745135417403915426392159449667435294570739",
1424 )
1425 .unwrap(),
1426 Fp::from_str(
1427 "22937309162832499167063076416585504361695925730111272512450449042837586253575",
1428 )
1429 .unwrap(),
1430 ],
1431 [
1432 Fp::from_str(
1433 "16956181785481598286719868503945127919581091625126206673934113115358441284347",
1434 )
1435 .unwrap(),
1436 Fp::from_str(
1437 "8497782777197814773596870810881707148695901557289856910220737358078100998191",
1438 )
1439 .unwrap(),
1440 Fp::from_str(
1441 "21135503731586600979470064722475007625236017670426339278983640892218291297054",
1442 )
1443 .unwrap(),
1444 ],
1445 [
1446 Fp::from_str(
1447 "17809297343844488723046665739910571149089769215421130894378638450427880983923",
1448 )
1449 .unwrap(),
1450 Fp::from_str(
1451 "72435395972188389387093550708873189001876361107443937983754878061522372356",
1452 )
1453 .unwrap(),
1454 Fp::from_str(
1455 "7511239878692099209014947248389283109997289411550315391143819429585903287870",
1456 )
1457 .unwrap(),
1458 ],
1459 ],
1460 }
1461}
1462
1463#[must_use]
1465pub fn static_params() -> &'static Params {
1466 static PARAMS: Lazy<Params> = Lazy::new(params);
1467 &PARAMS
1468}