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