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